About the Execution of Smart+red for TokenRing-PT-040
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1117.199 | 3600000.00 | 3737914.00 | 12059.60 | [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.r491-tall-167912710800696.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 TokenRing-PT-040, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710800696
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 442M
-rw-r--r-- 1 mcc users 1.2M Feb 25 21:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 5.3M Feb 25 21:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 31M Feb 25 19:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 105M Feb 25 19:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 838K Feb 25 17:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.7M Feb 25 17:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 16M Feb 25 17:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 41M Feb 25 17:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4M Feb 26 16:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16M Feb 26 16:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 43M Feb 26 15:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 147M Feb 26 14:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 180K Feb 25 17:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 457K Feb 25 17:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 32M Mar 5 18:23 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 1679283184576
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=TokenRing-PT-040
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 03:33:06] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 03:33:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 03:33:08] [INFO ] Load time of PNML (sax parser for PT used): 1104 ms
[2023-03-20 03:33:08] [INFO ] Transformed 1681 places.
[2023-03-20 03:33:08] [INFO ] Transformed 65641 transitions.
[2023-03-20 03:33:08] [INFO ] Parsed PT model containing 1681 places and 65641 transitions and 262564 arcs in 1411 ms.
[2023-03-20 03:33:08] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1681 places, 65641 transitions and 262564 arcs took 225 ms.
Total runtime 1671 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TokenRing (PT), instance 040
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: 1681 places, 65641 transitions, 262564 arcs.
AT ITER 0 NEW BEST:: SOT 57104861 SOS 6292350 HAS SOPS 4091274 HAS SOUS 2912577 HAS SOUPS 2845771 WITH SCORE 2852063.35
AT ITER 244 NEW BEST:: SOT 57104443 SOS 6292328 HAS SOPS 4090834 HAS SOUS 2911785 HAS SOUPS 2844979 WITH SCORE 2851271.328
AT ITER 257 NEW BEST:: SOT 57106103 SOS 6300088 HAS SOPS 4098008 HAS SOUS 2910625 HAS SOUPS 2843799 WITH SCORE 2850099.088
AT ITER 275 NEW BEST:: SOT 57105763 SOS 6300108 HAS SOPS 4097688 HAS SOUS 2909953 HAS SOUPS 2843127 WITH SCORE 2849427.108
AT ITER 296 NEW BEST:: SOT 57107340 SOS 6306044 HAS SOPS 4103603 HAS SOUS 2909590 HAS SOUPS 2842763 WITH SCORE 2849069.044
AT ITER 313 NEW BEST:: SOT 57108078 SOS 6311374 HAS SOPS 4108871 HAS SOUS 2908442 HAS SOUPS 2841611 WITH SCORE 2847922.374
AT ITER 371 NEW BEST:: SOT 57109964 SOS 6317568 HAS SOPS 4114097 HAS SOUS 2907742 HAS SOUPS 2840877 WITH SCORE 2847194.568
AT ITER 494 NEW BEST:: SOT 57110089 SOS 6319083 HAS SOPS 4115612 HAS SOUS 2906477 HAS SOUPS 2839612 WITH SCORE 2845931.083
AT ITER 506 NEW BEST:: SOT 57112088 SOS 6327203 HAS SOPS 4122723 HAS SOUS 2906209 HAS SOUPS 2839310 WITH SCORE 2845637.203
AT ITER 512 NEW BEST:: SOT 57114109 SOS 6334894 HAS SOPS 4129388 HAS SOUS 2906004 HAS SOUPS 2839063 WITH SCORE 2845397.894
AT ITER 538 NEW BEST:: SOT 57113850 SOS 6334153 HAS SOPS 4129129 HAS SOUS 2905448 HAS SOUPS 2838526 WITH SCORE 2844860.153
AT ITER 547 NEW BEST:: SOT 57114566 SOS 6338728 HAS SOPS 4133611 HAS SOUS 2905380 HAS SOUPS 2838451 WITH SCORE 2844789.728
AT ITER 627 NEW BEST:: SOT 57114848 SOS 6341139 HAS SOPS 4137239 HAS SOUS 2903879 HAS SOUPS 2836991 WITH SCORE 2843332.139
AT ITER 646 NEW BEST:: SOT 57114963 SOS 6343074 HAS SOPS 4139174 HAS SOUS 2902748 HAS SOUPS 2835860 WITH SCORE 2842203.074
AT ITER 721 NEW BEST:: SOT 57114668 SOS 6342567 HAS SOPS 4138879 HAS SOUS 2902132 HAS SOUPS 2835257 WITH SCORE 2841599.567
AT ITER 798 NEW BEST:: SOT 57113927 SOS 6340866 HAS SOPS 4136596 HAS SOUS 2900407 HAS SOUPS 2833532 WITH SCORE 2839872.866
AT ITER 817 NEW BEST:: SOT 57110759 SOS 6337122 HAS SOPS 4137020 HAS SOUS 2898778 HAS SOUPS 2831997 WITH SCORE 2838334.122
AT ITER 829 NEW BEST:: SOT 57111508 SOS 6339405 HAS SOPS 4141329 HAS SOUS 2898370 HAS SOUPS 2831593 WITH SCORE 2837932.405
AT ITER 849 NEW BEST:: SOT 57111177 SOS 6340020 HAS SOPS 4140746 HAS SOUS 2897865 HAS SOUPS 2831069 WITH SCORE 2837409.02
AT ITER 995 NEW BEST:: SOT 57111893 SOS 6341572 HAS SOPS 4142900 HAS SOUS 2897848 HAS SOUPS 2831053 WITH SCORE 2837394.572
AT ITER 1022 NEW BEST:: SOT 57112142 SOS 6344508 HAS SOPS 4145849 HAS SOUS 2897050 HAS SOUPS 2830255 WITH SCORE 2836599.508
AT ITER 1069 NEW BEST:: SOT 57112116 SOS 6344468 HAS SOPS 4145783 HAS SOUS 2897034 HAS SOUPS 2830239 WITH SCORE 2836583.468
AT ITER 1114 NEW BEST:: SOT 57111718 SOS 6344478 HAS SOPS 4145381 HAS SOUS 2896244 HAS SOUPS 2829449 WITH SCORE 2835793.478
AT ITER 1137 NEW BEST:: SOT 57111424 SOS 6344462 HAS SOPS 4145071 HAS SOUS 2895661 HAS SOUPS 2828866 WITH SCORE 2835210.462
AT ITER 1164 NEW BEST:: SOT 57111732 SOS 6348254 HAS SOPS 4148863 HAS SOUS 2894617 HAS SOUPS 2827822 WITH SCORE 2834170.254
AT ITER 1171 NEW BEST:: SOT 57113448 SOS 6354262 HAS SOPS 4154857 HAS SOUS 2894009 HAS SOUPS 2827214 WITH SCORE 2833568.262
AT ITER 1226 NEW BEST:: SOT 57115132 SOS 6360499 HAS SOPS 4160387 HAS SOUS 2892575 HAS SOUPS 2825759 WITH SCORE 2832119.499
AT ITER 1228 NEW BEST:: SOT 57117284 SOS 6366984 HAS SOPS 4165737 HAS SOUS 2892485 HAS SOUPS 2825620 WITH SCORE 2831986.984
AT ITER 1235 NEW BEST:: SOT 57119666 SOS 6375902 HAS SOPS 4173835 HAS SOUS 2890545 HAS SOUPS 2823656 WITH SCORE 2830031.902
AT ITER 1241 NEW BEST:: SOT 57121203 SOS 6379357 HAS SOPS 4178318 HAS SOUS 2890463 HAS SOUPS 2823575 WITH SCORE 2829954.357
AT ITER 1287 NEW BEST:: SOT 57121125 SOS 6379381 HAS SOPS 4178264 HAS SOUS 2890287 HAS SOUPS 2823399 WITH SCORE 2829778.381
AT ITER 1292 NEW BEST:: SOT 57120891 SOS 6378867 HAS SOPS 4177580 HAS SOUS 2889766 HAS SOUPS 2822878 WITH SCORE 2829256.867
AT ITER 1328 NEW BEST:: SOT 57121008 SOS 6379623 HAS SOPS 4178331 HAS SOUS 2889183 HAS SOUPS 2822295 WITH SCORE 2828674.623
AT ITER 1334 NEW BEST:: SOT 57120828 SOS 6379350 HAS SOPS 4178151 HAS SOUS 2888809 HAS SOUPS 2821928 WITH SCORE 2828307.35
AT ITER 1387 NEW BEST:: SOT 57120711 SOS 6379233 HAS SOPS 4178034 HAS SOUS 2888692 HAS SOUPS 2821811 WITH SCORE 2828190.233
AT ITER 1394 NEW BEST:: SOT 57120502 SOS 6378884 HAS SOPS 4177369 HAS SOUS 2888557 HAS SOUPS 2821676 WITH SCORE 2828054.884
AT ITER 1487 NEW BEST:: SOT 57120840 SOS 6381990 HAS SOPS 4180475 HAS SOUS 2886865 HAS SOUPS 2819984 WITH SCORE 2826365.99
AT ITER 1508 NEW BEST:: SOT 57120345 SOS 6382119 HAS SOPS 4180104 HAS SOUS 2885809 HAS SOUPS 2818928 WITH SCORE 2825310.119
AT ITER 1542 NEW BEST:: SOT 57122585 SOS 6387927 HAS SOPS 4186566 HAS SOUS 2885599 HAS SOUPS 2818726 WITH SCORE 2825113.927
AT ITER 1588 NEW BEST:: SOT 57122490 SOS 6387771 HAS SOPS 4186471 HAS SOUS 2885401 HAS SOUPS 2818532 WITH SCORE 2824919.771
AT ITER 1607 NEW BEST:: SOT 57124170 SOS 6392621 HAS SOPS 4191453 HAS SOUS 2884273 HAS SOUPS 2817400 WITH SCORE 2823792.621
AT ITER 1622 NEW BEST:: SOT 57124786 SOS 6395777 HAS SOPS 4194609 HAS SOUS 2882513 HAS SOUPS 2815640 WITH SCORE 2822035.777
AT ITER 1756 NEW BEST:: SOT 57124742 SOS 6395775 HAS SOPS 4194563 HAS SOUS 2882429 HAS SOUPS 2815556 WITH SCORE 2821951.775
AT ITER 1784 NEW BEST:: SOT 57125345 SOS 6398957 HAS SOPS 4197638 HAS SOUS 2881314 HAS SOUPS 2814430 WITH SCORE 2820828.957
AT ITER 1785 NEW BEST:: SOT 57128266 SOS 6407923 HAS SOPS 4205169 HAS SOUS 2881060 HAS SOUPS 2814106 WITH SCORE 2820513.923
AT ITER 1818 NEW BEST:: SOT 57127962 SOS 6407537 HAS SOPS 4204479 HAS SOUS 2880875 HAS SOUPS 2813921 WITH SCORE 2820328.537
AT ITER 1837 NEW BEST:: SOT 57129020 SOS 6413039 HAS SOPS 4209981 HAS SOUS 2879621 HAS SOUPS 2812667 WITH SCORE 2819080.039
AT ITER 1875 NEW BEST:: SOT 57132249 SOS 6422158 HAS SOPS 4218070 HAS SOUS 2879502 HAS SOUPS 2812486 WITH SCORE 2818908.158
AT ITER 1882 NEW BEST:: SOT 57132418 SOS 6422593 HAS SOPS 4218643 HAS SOUS 2879339 HAS SOUPS 2812323 WITH SCORE 2818745.593
AT ITER 1899 NEW BEST:: SOT 57132340 SOS 6422545 HAS SOPS 4218535 HAS SOUS 2879237 HAS SOUPS 2812221 WITH SCORE 2818643.545
AT ITER 1902 NEW BEST:: SOT 57132232 SOS 6422563 HAS SOPS 4218445 HAS SOUS 2878977 HAS SOUPS 2811961 WITH SCORE 2818383.563
AT ITER 1906 NEW BEST:: SOT 57131983 SOS 6422532 HAS SOPS 4218156 HAS SOUS 2878529 HAS SOUPS 2811513 WITH SCORE 2817935.532
AT ITER 1907 NEW BEST:: SOT 57131822 SOS 6422675 HAS SOPS 4218081 HAS SOUS 2878013 HAS SOUPS 2810997 WITH SCORE 2817419.675
AT ITER 1942 NEW BEST:: SOT 57132326 SOS 6425563 HAS SOPS 4222253 HAS SOUS 2877645 HAS SOUPS 2810597 WITH SCORE 2817022.563
AT ITER 2014 NEW BEST:: SOT 57132082 SOS 6425097 HAS SOPS 4222239 HAS SOUS 2877617 HAS SOUPS 2810575 WITH SCORE 2817000.097
AT ITER 2079 NEW BEST:: SOT 57131771 SOS 6424668 HAS SOPS 4221928 HAS SOUS 2876973 HAS SOUPS 2809942 WITH SCORE 2816366.668
AT ITER 2113 NEW BEST:: SOT 57132362 SOS 6427237 HAS SOPS 4224579 HAS SOUS 2876693 HAS SOUPS 2809655 WITH SCORE 2816082.237
AT ITER 2140 NEW BEST:: SOT 57132359 SOS 6427198 HAS SOPS 4224576 HAS SOUS 2876685 HAS SOUPS 2809648 WITH SCORE 2816075.198
AT ITER 2206 NEW BEST:: SOT 57132188 SOS 6427183 HAS SOPS 4224395 HAS SOUS 2876366 HAS SOUPS 2809329 WITH SCORE 2815756.183
AT ITER 2278 NEW BEST:: SOT 57131869 SOS 6427116 HAS SOPS 4224006 HAS SOUS 2875775 HAS SOUPS 2808738 WITH SCORE 2815165.116
AT ITER 2288 NEW BEST:: SOT 57131625 SOS 6427174 HAS SOPS 4223820 HAS SOUS 2875215 HAS SOUPS 2808178 WITH SCORE 2814605.174
AT ITER 2300 NEW BEST:: SOT 57132240 SOS 6430038 HAS SOPS 4226603 HAS SOUS 2874237 HAS SOUPS 2807188 WITH SCORE 2813618.038
AT ITER 2304 NEW BEST:: SOT 57132438 SOS 6432546 HAS SOPS 4229111 HAS SOUS 2872863 HAS SOUPS 2805814 WITH SCORE 2812246.546
AT ITER 2313 NEW BEST:: SOT 57132359 SOS 6432541 HAS SOPS 4229024 HAS SOUS 2872713 HAS SOUPS 2805664 WITH SCORE 2812096.541
AT ITER 2320 NEW BEST:: SOT 57132439 SOS 6434098 HAS SOPS 4230584 HAS SOUS 2872546 HAS SOUPS 2805497 WITH SCORE 2811931.098
AT ITER 2346 NEW BEST:: SOT 57132071 SOS 6434016 HAS SOPS 4230140 HAS SOUS 2871907 HAS SOUPS 2804858 WITH SCORE 2811292.016
AT ITER 2402 NEW BEST:: SOT 57130936 SOS 6432831 HAS SOPS 4228585 HAS SOUS 2869793 HAS SOUPS 2802769 WITH SCORE 2809201.831
AT ITER 2415 NEW BEST:: SOT 57130730 SOS 6432833 HAS SOPS 4228381 HAS SOUS 2869385 HAS SOUPS 2802361 WITH SCORE 2808793.833
AT ITER 2498 NEW BEST:: SOT 57130269 SOS 6432914 HAS SOPS 4227984 HAS SOUS 2868324 HAS SOUPS 2801300 WITH SCORE 2807732.914
AT ITER 2508 NEW BEST:: SOT 57130163 SOS 6433020 HAS SOPS 4227950 HAS SOUS 2867986 HAS SOUPS 2800962 WITH SCORE 2807395.02
AT ITER 2520 NEW BEST:: SOT 57130252 SOS 6435227 HAS SOPS 4230157 HAS SOUS 2867269 HAS SOUPS 2800245 WITH SCORE 2806680.227
AT ITER 2528 NEW BEST:: SOT 57130464 SOS 6437543 HAS SOPS 4232487 HAS SOUS 2865377 HAS SOUPS 2798353 WITH SCORE 2804790.543
AT ITER 2610 NEW BEST:: SOT 57133384 SOS 6446841 HAS SOPS 4238945 HAS SOUS 2864871 HAS SOUPS 2797775 WITH SCORE 2804221.841
AT ITER 2649 NEW BEST:: SOT 57132836 SOS 6446211 HAS SOPS 4237749 HAS SOUS 2864470 HAS SOUPS 2797374 WITH SCORE 2803820.211
AT ITER 2685 NEW BEST:: SOT 57127755 SOS 6439201 HAS SOPS 4233566 HAS SOUS 2861796 HAS SOUPS 2794753 WITH SCORE 2801192.201
AT ITER 2695 NEW BEST:: SOT 57127679 SOS 6439195 HAS SOPS 4233480 HAS SOUS 2861568 HAS SOUPS 2794523 WITH SCORE 2800962.195
AT ITER 2696 NEW BEST:: SOT 57127943 SOS 6441719 HAS SOPS 4236004 HAS SOUS 2859572 HAS SOUPS 2792527 WITH SCORE 2798968.719
AT ITER 2763 NEW BEST:: SOT 57127623 SOS 6441549 HAS SOPS 4235506 HAS SOUS 2859083 HAS SOUPS 2792038 WITH SCORE 2798479.549
AT ITER 2772 NEW BEST:: SOT 57128809 SOS 6445255 HAS SOPS 4239212 HAS SOUS 2857749 HAS SOUPS 2790704 WITH SCORE 2797149.255
AT ITER 2892 NEW BEST:: SOT 57128401 SOS 6445215 HAS SOPS 4238806 HAS SOUS 2856999 HAS SOUPS 2789954 WITH SCORE 2796399.215
AT ITER 2935 NEW BEST:: SOT 57127908 SOS 6445054 HAS SOPS 4238177 HAS SOUS 2856199 HAS SOUPS 2789154 WITH SCORE 2795599.054
AT ITER 2939 NEW BEST:: SOT 57129083 SOS 6451015 HAS SOPS 4243930 HAS SOUS 2854105 HAS SOUPS 2787051 WITH SCORE 2793502.015
AT ITER 3008 NEW BEST:: SOT 57128857 SOS 6450897 HAS SOPS 4243562 HAS SOUS 2853785 HAS SOUPS 2786731 WITH SCORE 2793181.897
AT ITER 3018 NEW BEST:: SOT 57128903 SOS 6451589 HAS SOPS 4244254 HAS SOUS 2853185 HAS SOUPS 2786131 WITH SCORE 2792582.589
AT ITER 3060 NEW BEST:: SOT 57130805 SOS 6457412 HAS SOPS 4249918 HAS SOUS 2851330 HAS SOUPS 2784272 WITH SCORE 2790729.412
AT ITER 3131 NEW BEST:: SOT 57131617 SOS 6461665 HAS SOPS 4254190 HAS SOUS 2848701 HAS SOUPS 2781643 WITH SCORE 2788104.665
AT ITER 3157 NEW BEST:: SOT 57131212 SOS 6461516 HAS SOPS 4253627 HAS SOUS 2848024 HAS SOUPS 2780966 WITH SCORE 2787427.516
AT ITER 3178 NEW BEST:: SOT 57131796 SOS 6463314 HAS SOPS 4255317 HAS SOUS 2847927 HAS SOUPS 2780856 WITH SCORE 2787319.314
AT ITER 3222 NEW BEST:: SOT 57131458 SOS 6462378 HAS SOPS 4254979 HAS SOUS 2847203 HAS SOUPS 2780156 WITH SCORE 2786618.378
AT ITER 3229 NEW BEST:: SOT 57131117 SOS 6462384 HAS SOPS 4254662 HAS SOUS 2846534 HAS SOUPS 2779487 WITH SCORE 2785949.384
AT ITER 3236 NEW BEST:: SOT 57133072 SOS 6469016 HAS SOPS 4261121 HAS SOUS 2845985 HAS SOUPS 2778931 WITH SCORE 2785400.016
AT ITER 3242 NEW BEST:: SOT 57133441 SOS 6471271 HAS SOPS 4263376 HAS SOUS 2844468 HAS SOUPS 2777414 WITH SCORE 2783885.271
AT ITER 3248 NEW BEST:: SOT 57133348 SOS 6471154 HAS SOPS 4263283 HAS SOUS 2844276 HAS SOUPS 2777225 WITH SCORE 2783696.154
AT ITER 3310 NEW BEST:: SOT 57133731 SOS 6474215 HAS SOPS 4266344 HAS SOUS 2841981 HAS SOUPS 2774930 WITH SCORE 2781404.215
AT ITER 3380 NEW BEST:: SOT 57134338 SOS 6479831 HAS SOPS 4270735 HAS SOUS 2841878 HAS SOUPS 2774746 WITH SCORE 2781225.831
AT ITER 3449 NEW BEST:: SOT 57134624 SOS 6482299 HAS SOPS 4273237 HAS SOUS 2839982 HAS SOUPS 2772850 WITH SCORE 2779332.299
AT ITER 3467 NEW BEST:: SOT 57137061 SOS 6489611 HAS SOPS 4279156 HAS SOUS 2839471 HAS SOUPS 2772292 WITH SCORE 2778781.611
AT ITER 3482 NEW BEST:: SOT 57137702 SOS 6495057 HAS SOPS 4284169 HAS SOUS 2837808 HAS SOUPS 2770614 WITH SCORE 2777109.057
AT ITER 3504 NEW BEST:: SOT 57137976 SOS 6495727 HAS SOPS 4284897 HAS SOUS 2837697 HAS SOUPS 2770503 WITH SCORE 2776998.727
AT ITER 3521 NEW BEST:: SOT 57137978 SOS 6495809 HAS SOPS 4284981 HAS SOUS 2837625 HAS SOUPS 2770431 WITH SCORE 2776926.809
AT ITER 3533 NEW BEST:: SOT 57137606 SOS 6495653 HAS SOPS 4284411 HAS SOUS 2837023 HAS SOUPS 2769829 WITH SCORE 2776324.653
AT ITER 3566 NEW BEST:: SOT 57137229 SOS 6495734 HAS SOPS 4284184 HAS SOUS 2836219 HAS SOUPS 2769025 WITH SCORE 2775520.734
AT ITER 3567 NEW BEST:: SOT 57137025 SOS 6496214 HAS SOPS 4284414 HAS SOUS 2835385 HAS SOUPS 2768191 WITH SCORE 2774687.214
AT ITER 3590 NEW BEST:: SOT 57137383 SOS 6497168 HAS SOPS 4285368 HAS SOUS 2835147 HAS SOUPS 2767953 WITH SCORE 2774450.168
AT ITER 3713 NEW BEST:: SOT 57136804 SOS 6496153 HAS SOPS 4284987 HAS SOUS 2833844 HAS SOUPS 2766679 WITH SCORE 2773175.153
AT ITER 3767 NEW BEST:: SOT 57137467 SOS 6498871 HAS SOPS 4287514 HAS SOUS 2832821 HAS SOUPS 2765647 WITH SCORE 2772145.871
AT ITER 3794 NEW BEST:: SOT 57137836 SOS 6501611 HAS SOPS 4290261 HAS SOUS 2831147 HAS SOUPS 2763973 WITH SCORE 2770474.611
AT ITER 3823 NEW BEST:: SOT 57137329 SOS 6500882 HAS SOPS 4289054 HAS SOUS 2830792 HAS SOUPS 2763622 WITH SCORE 2770122.882
AT ITER 3920 NEW BEST:: SOT 57139232 SOS 6505738 HAS SOPS 4293829 HAS SOUS 2830031 HAS SOUPS 2762854 WITH SCORE 2769359.738
AT ITER 3949 NEW BEST:: SOT 57136767 SOS 6498904 HAS SOPS 4288822 HAS SOUS 2828990 HAS SOUPS 2761883 WITH SCORE 2768381.904
AT ITER 3969 NEW BEST:: SOT 57136829 SOS 6499163 HAS SOPS 4289500 HAS SOUS 2828523 HAS SOUPS 2761425 WITH SCORE 2767924.163
AT ITER 4083 NEW BEST:: SOT 57136839 SOS 6499255 HAS SOPS 4289602 HAS SOUS 2828459 HAS SOUPS 2761361 WITH SCORE 2767860.255
AT ITER 4168 NEW BEST:: SOT 57136795 SOS 6499196 HAS SOPS 4289414 HAS SOUS 2828430 HAS SOUPS 2761332 WITH SCORE 2767831.196
AT ITER 4249 NEW BEST:: SOT 57137833 SOS 6504062 HAS SOPS 4294280 HAS SOUS 2825886 HAS SOUPS 2758788 WITH SCORE 2765292.062
AT ITER 4336 NEW BEST:: SOT 57140959 SOS 6513923 HAS SOPS 4301854 HAS SOUS 2825762 HAS SOUPS 2758603 WITH SCORE 2765116.923
AT ITER 4393 NEW BEST:: SOT 57141724 SOS 6517339 HAS SOPS 4308519 HAS SOUS 2824821 HAS SOUPS 2757748 WITH SCORE 2764265.339
AT ITER 4406 NEW BEST:: SOT 57141685 SOS 6517287 HAS SOPS 4308402 HAS SOUS 2824782 HAS SOUPS 2757709 WITH SCORE 2764226.287
AT ITER 4493 NEW BEST:: SOT 57141752 SOS 6518450 HAS SOPS 4309565 HAS SOUS 2823753 HAS SOUPS 2756680 WITH SCORE 2763198.45
AT ITER 4530 NEW BEST:: SOT 57141734 SOS 6518411 HAS SOPS 4309547 HAS SOUS 2823715 HAS SOUPS 2756643 WITH SCORE 2763161.411
AT ITER 4602 NEW BEST:: SOT 57141840 SOS 6518679 HAS SOPS 4309893 HAS SOUS 2823639 HAS SOUPS 2756567 WITH SCORE 2763085.679
AT ITER 4626 NEW BEST:: SOT 57141731 SOS 6518628 HAS SOPS 4309782 HAS SOUS 2823492 HAS SOUPS 2756420 WITH SCORE 2762938.628
AT ITER 4668 NEW BEST:: SOT 57141644 SOS 6518640 HAS SOPS 4310967 HAS SOUS 2823340 HAS SOUPS 2756268 WITH SCORE 2762786.64
AT ITER 4694 NEW BEST:: SOT 57141016 SOS 6518566 HAS SOPS 4310219 HAS SOUS 2822125 HAS SOUPS 2755053 WITH SCORE 2761571.566
AT ITER 4772 NEW BEST:: SOT 57141008 SOS 6518568 HAS SOPS 4310213 HAS SOUS 2822108 HAS SOUPS 2755036 WITH SCORE 2761554.568
AT ITER 4778 NEW BEST:: SOT 57143307 SOS 6525873 HAS SOPS 4316526 HAS SOUS 2821088 HAS SOUPS 2753972 WITH SCORE 2760497.873
AT ITER 4795 NEW BEST:: SOT 57146188 SOS 6533769 HAS SOPS 4324171 HAS SOUS 2820881 HAS SOUPS 2753752 WITH SCORE 2760285.769
AT ITER 4806 NEW BEST:: SOT 57148232 SOS 6537939 HAS SOPS 4330683 HAS SOUS 2820434 HAS SOUPS 2753312 WITH SCORE 2759849.939
AT ITER 4807 NEW BEST:: SOT 57148007 SOS 6537940 HAS SOPS 4330446 HAS SOUS 2819990 HAS SOUPS 2752868 WITH SCORE 2759405.94
AT ITER 4837 NEW BEST:: SOT 57147548 SOS 6537739 HAS SOPS 4329749 HAS SOUS 2819237 HAS SOUPS 2752115 WITH SCORE 2758652.739
AT ITER 4849 NEW BEST:: SOT 57145337 SOS 6532222 HAS SOPS 4327102 HAS SOUS 2817503 HAS SOUPS 2750450 WITH SCORE 2756982.222
AT ITER 4858 NEW BEST:: SOT 57145127 SOS 6531926 HAS SOPS 4326612 HAS SOUS 2817360 HAS SOUPS 2750307 WITH SCORE 2756838.926
AT ITER 4910 NEW BEST:: SOT 57144845 SOS 6531310 HAS SOPS 4326314 HAS SOUS 2816812 HAS SOUPS 2749774 WITH SCORE 2756305.31
AT ITER 4919 NEW BEST:: SOT 57145828 SOS 6536320 HAS SOPS 4331207 HAS SOUS 2816556 HAS SOUPS 2749486 WITH SCORE 2756022.32
AT ITER 5015 NEW BEST:: SOT 57147296 SOS 6540771 HAS SOPS 4335619 HAS SOUS 2815041 HAS SOUPS 2747971 WITH SCORE 2754511.771
AT ITER 5228 NEW BEST:: SOT 57149029 SOS 6547686 HAS SOPS 4342036 HAS SOUS 2814298 HAS SOUPS 2747198 WITH SCORE 2753745.686
AT ITER 5236 NEW BEST:: SOT 57148801 SOS 6547689 HAS SOPS 4341784 HAS SOUS 2813750 HAS SOUPS 2746649 WITH SCORE 2753196.689
AT ITER 5246 NEW BEST:: SOT 57153296 SOS 6561228 HAS SOPS 4352239 HAS SOUS 2812481 HAS SOUPS 2745300 WITH SCORE 2751861.228
AT ITER 5252 NEW BEST:: SOT 57152332 SOS 6560812 HAS SOPS 4350903 HAS SOUS 2811015 HAS SOUPS 2743834 WITH SCORE 2750394.812
AT ITER 5267 NEW BEST:: SOT 57151712 SOS 6560188 HAS SOPS 4350283 HAS SOUS 2810352 HAS SOUPS 2743175 WITH SCORE 2749735.188
AT ITER 5316 NEW BEST:: SOT 57152320 SOS 6564582 HAS SOPS 4354677 HAS SOUS 2807174 HAS SOUPS 2739997 WITH SCORE 2746561.582
AT ITER 5325 NEW BEST:: SOT 57153729 SOS 6570774 HAS SOPS 4360996 HAS SOUS 2807080 HAS SOUPS 2739913 WITH SCORE 2746483.774
AT ITER 5434 NEW BEST:: SOT 57157640 SOS 6582526 HAS SOPS 4370877 HAS SOUS 2806922 HAS SOUPS 2739701 WITH SCORE 2746283.526
AT ITER 5441 NEW BEST:: SOT 57157542 SOS 6581756 HAS SOPS 4371027 HAS SOUS 2806635 HAS SOUPS 2739435 WITH SCORE 2746016.756
AT ITER 5596 NEW BEST:: SOT 57159450 SOS 6588646 HAS SOPS 4377979 HAS SOUS 2804627 HAS SOUPS 2737427 WITH SCORE 2744015.646
AT ITER 5616 NEW BEST:: SOT 57159323 SOS 6588701 HAS SOPS 4377902 HAS SOUS 2804327 HAS SOUPS 2737127 WITH SCORE 2743715.701
AT ITER 5653 NEW BEST:: SOT 57159111 SOS 6588529 HAS SOPS 4377470 HAS SOUS 2804063 HAS SOUPS 2736863 WITH SCORE 2743451.529
AT ITER 5682 NEW BEST:: SOT 57158848 SOS 6588463 HAS SOPS 4377193 HAS SOUS 2803629 HAS SOUPS 2736429 WITH SCORE 2743017.463
AT ITER 5700 NEW BEST:: SOT 57159514 SOS 6590653 HAS SOPS 4379297 HAS SOUS 2802810 HAS SOUPS 2735610 WITH SCORE 2742200.653
AT ITER 5717 NEW BEST:: SOT 57161387 SOS 6595844 HAS SOPS 4384776 HAS SOUS 2802034 HAS SOUPS 2734804 WITH SCORE 2741399.844
AT ITER 5821 NEW BEST:: SOT 57161489 SOS 6596726 HAS SOPS 4385658 HAS SOUS 2801356 HAS SOUPS 2734126 WITH SCORE 2740722.726
AT ITER 5880 NEW BEST:: SOT 57164268 SOS 6605223 HAS SOPS 4393759 HAS SOUS 2801043 HAS SOUPS 2733786 WITH SCORE 2740391.223
AT ITER 5998 NEW BEST:: SOT 57163442 SOS 6604829 HAS SOPS 4392403 HAS SOUS 2799707 HAS SOUPS 2732453 WITH SCORE 2739057.829
AT ITER 6015 NEW BEST:: SOT 57163658 SOS 6605639 HAS SOPS 4392987 HAS SOUS 2799426 HAS SOUPS 2732170 WITH SCORE 2738775.639
AT ITER 6076 NEW BEST:: SOT 57165255 SOS 6609846 HAS SOPS 4397192 HAS SOUS 2798495 HAS SOUPS 2731237 WITH SCORE 2737846.846
AT ITER 6082 NEW BEST:: SOT 57165046 SOS 6609294 HAS SOPS 4397055 HAS SOUS 2798074 HAS SOUPS 2730834 WITH SCORE 2737443.294
AT ITER 6126 NEW BEST:: SOT 57166182 SOS 6611695 HAS SOPS 4400279 HAS SOUS 2797983 HAS SOUPS 2730743 WITH SCORE 2737354.695
AT ITER 6251 NEW BEST:: SOT 57167454 SOS 6616605 HAS SOPS 4405189 HAS SOUS 2795617 HAS SOUPS 2728377 WITH SCORE 2734993.605
AT ITER 6263 NEW BEST:: SOT 57170352 SOS 6625839 HAS SOPS 4413249 HAS SOUS 2795049 HAS SOUPS 2727759 WITH SCORE 2734384.839
AT ITER 6280 NEW BEST:: SOT 57171594 SOS 6630352 HAS SOPS 4417329 HAS SOUS 2794332 HAS SOUPS 2727014 WITH SCORE 2733644.352
AT ITER 6289 NEW BEST:: SOT 57171429 SOS 6630703 HAS SOPS 4417164 HAS SOUS 2794020 HAS SOUPS 2726693 WITH SCORE 2733323.703
AT ITER 6301 NEW BEST:: SOT 57170574 SOS 6629845 HAS SOPS 4416309 HAS SOUS 2793084 HAS SOUPS 2725760 WITH SCORE 2732389.845
AT ITER 6388 NEW BEST:: SOT 57169652 SOS 6628285 HAS SOPS 4415387 HAS SOUS 2791160 HAS SOUPS 2723876 WITH SCORE 2730504.285
AT ITER 6435 NEW BEST:: SOT 57169548 SOS 6628488 HAS SOPS 4415441 HAS SOUS 2790734 HAS SOUPS 2723450 WITH SCORE 2730078.488
AT ITER 6484 NEW BEST:: SOT 57169510 SOS 6628449 HAS SOPS 4415403 HAS SOUS 2790656 HAS SOUPS 2723373 WITH SCORE 2730001.449
AT ITER 6574 NEW BEST:: SOT 57169791 SOS 6629248 HAS SOPS 4416494 HAS SOUS 2790570 HAS SOUPS 2723286 WITH SCORE 2729915.248
AT ITER 6735 NEW BEST:: SOT 57169427 SOS 6629144 HAS SOPS 4415962 HAS SOUS 2789930 HAS SOUPS 2722646 WITH SCORE 2729275.144
AT ITER 6821 NEW BEST:: SOT 57164975 SOS 6622636 HAS SOPS 4412813 HAS SOUS 2788184 HAS SOUPS 2720966 WITH SCORE 2727588.636
AT ITER 6831 NEW BEST:: SOT 57165487 SOS 6624907 HAS SOPS 4415089 HAS SOUS 2786937 HAS SOUPS 2719719 WITH SCORE 2726343.907
AT ITER 6834 NEW BEST:: SOT 57165223 SOS 6624954 HAS SOPS 4414679 HAS SOUS 2786444 HAS SOUPS 2719224 WITH SCORE 2725848.954
AT ITER 6840 NEW BEST:: SOT 57167404 SOS 6630104 HAS SOPS 4420770 HAS SOUS 2786167 HAS SOUPS 2718951 WITH SCORE 2725581.104
AT ITER 6879 NEW BEST:: SOT 57166364 SOS 6628522 HAS SOPS 4419938 HAS SOUS 2785685 HAS SOUPS 2718485 WITH SCORE 2725113.522
AT ITER 6921 NEW BEST:: SOT 57163843 SOS 6625814 HAS SOPS 4421182 HAS SOUS 2784257 HAS SOUPS 2717137 WITH SCORE 2723762.814
AT ITER 6951 NEW BEST:: SOT 57163361 SOS 6625795 HAS SOPS 4420658 HAS SOUS 2783331 HAS SOUPS 2716211 WITH SCORE 2722836.795
AT ITER 6991 NEW BEST:: SOT 57162963 SOS 6625450 HAS SOPS 4420010 HAS SOUS 2782885 HAS SOUPS 2715765 WITH SCORE 2722390.45
AT ITER 7024 NEW BEST:: SOT 57162909 SOS 6625466 HAS SOPS 4420004 HAS SOUS 2782769 HAS SOUPS 2715649 WITH SCORE 2722274.466
AT ITER 7044 NEW BEST:: SOT 57164403 SOS 6629794 HAS SOPS 4423960 HAS SOUS 2782659 HAS SOUPS 2715509 WITH SCORE 2722138.794
AT ITER 7151 NEW BEST:: SOT 57166033 SOS 6633308 HAS SOPS 4430244 HAS SOUS 2781111 HAS SOUPS 2713985 WITH SCORE 2720618.308
AT ITER 7181 NEW BEST:: SOT 57168145 SOS 6638946 HAS SOPS 4435956 HAS SOUS 2780368 HAS SOUPS 2713219 WITH SCORE 2719857.946
AT ITER 7204 NEW BEST:: SOT 57168158 SOS 6639401 HAS SOPS 4436427 HAS SOUS 2779999 HAS SOUPS 2712850 WITH SCORE 2719489.401
AT ITER 7303 NEW BEST:: SOT 57170146 SOS 6646705 HAS SOPS 4443353 HAS SOUS 2778885 HAS SOUPS 2711724 WITH SCORE 2718370.705
AT ITER 7318 NEW BEST:: SOT 57170119 SOS 6646843 HAS SOPS 4443234 HAS SOUS 2778857 HAS SOUPS 2711692 WITH SCORE 2718338.843
AT ITER 7349 NEW BEST:: SOT 57169868 SOS 6647166 HAS SOPS 4443231 HAS SOUS 2777982 HAS SOUPS 2710817 WITH SCORE 2717464.166
AT ITER 7385 NEW BEST:: SOT 57169110 SOS 6646881 HAS SOPS 4442299 HAS SOUS 2776795 HAS SOUPS 2709630 WITH SCORE 2716276.881
AT ITER 7429 NEW BEST:: SOT 57171195 SOS 6651090 HAS SOPS 4447860 HAS SOUS 2776703 HAS SOUPS 2709538 WITH SCORE 2716189.09
AT ITER 7463 NEW BEST:: SOT 57171355 SOS 6651636 HAS SOPS 4447400 HAS SOUS 2776507 HAS SOUPS 2709332 WITH SCORE 2715983.636
AT ITER 7475 NEW BEST:: SOT 57168587 SOS 6647917 HAS SOPS 4447896 HAS SOUS 2774690 HAS SOUPS 2707619 WITH SCORE 2714266.917
AT ITER 7476 NEW BEST:: SOT 57168187 SOS 6647864 HAS SOPS 4447454 HAS SOUS 2773955 HAS SOUPS 2706884 WITH SCORE 2713531.864
AT ITER 7512 NEW BEST:: SOT 57167216 SOS 6645668 HAS SOPS 4445835 HAS SOUS 2773389 HAS SOUPS 2706338 WITH SCORE 2712983.668
AT ITER 7523 NEW BEST:: SOT 57169066 SOS 6650665 HAS SOPS 4450591 HAS SOUS 2773404 HAS SOUPS 2706321 WITH SCORE 2712971.665
AT ITER 7538 NEW BEST:: SOT 57168893 SOS 6649691 HAS SOPS 4450500 HAS SOUS 2773048 HAS SOUPS 2705989 WITH SCORE 2712638.691
AT ITER 7590 NEW BEST:: SOT 57165450 SOS 6647540 HAS SOPS 4451749 HAS SOUS 2771446 HAS SOUPS 2704372 WITH SCORE 2711019.54
AT ITER 7612 NEW BEST:: SOT 57165176 SOS 6647495 HAS SOPS 4451423 HAS SOUS 2770958 HAS SOUPS 2703884 WITH SCORE 2710531.495
AT ITER 7732 NEW BEST:: SOT 57164655 SOS 6647234 HAS SOPS 4450458 HAS SOUS 2770114 HAS SOUPS 2703048 WITH SCORE 2709695.234
AT ITER 7733 NEW BEST:: SOT 57165449 SOS 6651587 HAS SOPS 4454838 HAS SOUS 2769317 HAS SOUPS 2702251 WITH SCORE 2708902.587
AT ITER 7790 NEW BEST:: SOT 57164441 SOS 6649253 HAS SOPS 4452606 HAS SOUS 2769232 HAS SOUPS 2702175 WITH SCORE 2708824.253
AT ITER 7854 NEW BEST:: SOT 57164363 SOS 6649058 HAS SOPS 4452528 HAS SOUS 2769066 HAS SOUPS 2702014 WITH SCORE 2708663.058
AT ITER 7891 NEW BEST:: SOT 57166022 SOS 6653126 HAS SOPS 4457027 HAS SOUS 2768712 HAS SOUPS 2701652 WITH SCORE 2708305.126
AT ITER 7900 NEW BEST:: SOT 57165947 SOS 6653141 HAS SOPS 4456958 HAS SOUS 2768550 HAS SOUPS 2701490 WITH SCORE 2708143.141
AT ITER 7904 NEW BEST:: SOT 57166083 SOS 6653411 HAS SOPS 4457302 HAS SOUS 2768529 HAS SOUPS 2701469 WITH SCORE 2708122.411
AT ITER 7954 NEW BEST:: SOT 57165921 SOS 6653267 HAS SOPS 4457050 HAS SOUS 2768367 HAS SOUPS 2701307 WITH SCORE 2707960.267
AT ITER 7969 NEW BEST:: SOT 57168943 SOS 6662512 HAS SOPS 4464994 HAS SOUS 2767708 HAS SOUPS 2700600 WITH SCORE 2707262.512
AT ITER 8002 NEW BEST:: SOT 57168829 SOS 6662334 HAS SOPS 4464922 HAS SOUS 2767656 HAS SOUPS 2700550 WITH SCORE 2707212.334
AT ITER 8161 NEW BEST:: SOT 57168450 SOS 6662233 HAS SOPS 4464455 HAS SOUS 2767010 HAS SOUPS 2699904 WITH SCORE 2706566.233
AT ITER 8202 NEW BEST:: SOT 57168307 SOS 6662120 HAS SOPS 4464190 HAS SOUS 2766832 HAS SOUPS 2699726 WITH SCORE 2706388.12
AT ITER 8212 NEW BEST:: SOT 57168177 SOS 6661964 HAS SOPS 4464060 HAS SOUS 2766564 HAS SOUPS 2699462 WITH SCORE 2706123.964
AT ITER 8225 NEW BEST:: SOT 57168815 SOS 6665498 HAS SOPS 4467584 HAS SOUS 2764306 HAS SOUPS 2697204 WITH SCORE 2703869.498
AT ITER 8243 NEW BEST:: SOT 57171646 SOS 6673061 HAS SOPS 4473795 HAS SOUS 2764086 HAS SOUPS 2696943 WITH SCORE 2703616.061
AT ITER 8257 NEW BEST:: SOT 57171129 SOS 6672164 HAS SOPS 4473278 HAS SOUS 2763006 HAS SOUPS 2695886 WITH SCORE 2702558.164
AT ITER 8302 NEW BEST:: SOT 57166960 SOS 6667340 HAS SOPS 4473769 HAS SOUS 2760216 HAS SOUPS 2693099 WITH SCORE 2699766.34
AT ITER 8331 NEW BEST:: SOT 57165700 SOS 6666848 HAS SOPS 4474255 HAS SOUS 2759992 HAS SOUPS 2692891 WITH SCORE 2699557.848
AT ITER 8480 NEW BEST:: SOT 57165807 SOS 6667957 HAS SOPS 4475354 HAS SOUS 2759384 HAS SOUPS 2692282 WITH SCORE 2698949.957
AT ITER 8514 NEW BEST:: SOT 57165737 SOS 6667878 HAS SOPS 4475204 HAS SOUS 2759341 HAS SOUPS 2692239 WITH SCORE 2698906.878
AT ITER 8516 NEW BEST:: SOT 57165233 SOS 6667367 HAS SOPS 4474200 HAS SOUS 2758914 HAS SOUPS 2691812 WITH SCORE 2698479.367
AT ITER 8560 NEW BEST:: SOT 57164629 SOS 6667079 HAS SOPS 4473366 HAS SOUS 2757994 HAS SOUPS 2690892 WITH SCORE 2697559.079
AT ITER 8589 NEW BEST:: SOT 57164616 SOS 6667015 HAS SOPS 4473353 HAS SOUS 2757930 HAS SOUPS 2690879 WITH SCORE 2697546.015
AT ITER 8599 NEW BEST:: SOT 57166325 SOS 6672795 HAS SOPS 4478622 HAS SOUS 2756798 HAS SOUPS 2689717 WITH SCORE 2696389.795
AT ITER 8630 NEW BEST:: SOT 57166363 SOS 6672871 HAS SOPS 4478728 HAS SOUS 2756797 HAS SOUPS 2689716 WITH SCORE 2696388.871
AT ITER 8662 NEW BEST:: SOT 57169940 SOS 6683046 HAS SOPS 4487587 HAS SOUS 2756687 HAS SOUPS 2689535 WITH SCORE 2696218.046
AT ITER 8677 NEW BEST:: SOT 57169103 SOS 6682322 HAS SOPS 4487490 HAS SOUS 2756393 HAS SOUPS 2689231 WITH SCORE 2695913.322
AT ITER 8687 NEW BEST:: SOT 57168799 SOS 6682126 HAS SOPS 4486954 HAS SOUS 2755889 HAS SOUPS 2688728 WITH SCORE 2695410.126
AT ITER 8717 NEW BEST:: SOT 57170358 SOS 6685247 HAS SOPS 4491109 HAS SOUS 2755840 HAS SOUPS 2688679 WITH SCORE 2695364.247
AT ITER 8794 NEW BEST:: SOT 57170100 SOS 6684796 HAS SOPS 4490343 HAS SOUS 2755657 HAS SOUPS 2688496 WITH SCORE 2695180.796
AT ITER 8919 NEW BEST:: SOT 57171049 SOS 6689848 HAS SOPS 4495290 HAS SOUS 2754389 HAS SOUPS 2687224 WITH SCORE 2693913.848
AT ITER 8945 NEW BEST:: SOT 57170976 SOS 6689770 HAS SOPS 4495217 HAS SOUS 2754239 HAS SOUPS 2687076 WITH SCORE 2693765.77
AT ITER 8977 NEW BEST:: SOT 57171287 SOS 6691017 HAS SOPS 4496464 HAS SOUS 2753614 HAS SOUPS 2686451 WITH SCORE 2693142.017
AT ITER 8981 NEW BEST:: SOT 57171031 SOS 6691019 HAS SOPS 4496180 HAS SOUS 2753109 HAS SOUPS 2685946 WITH SCORE 2692637.019
AT ITER 8984 NEW BEST:: SOT 57170526 SOS 6690465 HAS SOPS 4495293 HAS SOUS 2752695 HAS SOUPS 2685532 WITH SCORE 2692222.465
AT ITER 9042 NEW BEST:: SOT 57170614 SOS 6690933 HAS SOPS 4495757 HAS SOUS 2752485 HAS SOUPS 2685320 WITH SCORE 2692010.933
AT ITER 9124 NEW BEST:: SOT 57170095 SOS 6690134 HAS SOPS 4494760 HAS SOUS 2751874 HAS SOUPS 2684719 WITH SCORE 2691409.134
AT ITER 9136 NEW BEST:: SOT 57169926 SOS 6690095 HAS SOPS 4494529 HAS SOUS 2751567 HAS SOUPS 2684412 WITH SCORE 2691102.095
AT ITER 9233 NEW BEST:: SOT 57171721 SOS 6695989 HAS SOPS 4500420 HAS SOUS 2750329 HAS SOUPS 2683174 WITH SCORE 2689869.989
AT ITER 9250 NEW BEST:: SOT 57171709 SOS 6695781 HAS SOPS 4500458 HAS SOUS 2750273 HAS SOUPS 2683124 WITH SCORE 2689819.781
AT ITER 9353 NEW BEST:: SOT 57170656 SOS 6693542 HAS SOPS 4498259 HAS SOUS 2749750 HAS SOUPS 2682617 WITH SCORE 2689310.542
AT ITER 9361 NEW BEST:: SOT 57169700 SOS 6692864 HAS SOPS 4496553 HAS SOUS 2748566 HAS SOUPS 2681433 WITH SCORE 2688125.864
AT ITER 9369 NEW BEST:: SOT 57169114 SOS 6691550 HAS SOPS 4495733 HAS SOUS 2748093 HAS SOUPS 2680975 WITH SCORE 2687666.55
AT ITER 9398 NEW BEST:: SOT 57168762 SOS 6691043 HAS SOPS 4495381 HAS SOUS 2747363 HAS SOUPS 2680258 WITH SCORE 2686949.043
AT ITER 9435 NEW BEST:: SOT 57168762 SOS 6691031 HAS SOPS 4495381 HAS SOUS 2747351 HAS SOUPS 2680258 WITH SCORE 2686949.031
AT ITER 9457 NEW BEST:: SOT 57171579 SOS 6699591 HAS SOPS 4502770 HAS SOUS 2746639 HAS SOUPS 2679494 WITH SCORE 2686193.591
AT ITER 9490 NEW BEST:: SOT 57171691 SOS 6700044 HAS SOPS 4502292 HAS SOUS 2746419 HAS SOUPS 2679274 WITH SCORE 2685974.044
AT ITER 9491 NEW BEST:: SOT 57173411 SOS 6704683 HAS SOPS 4506290 HAS SOUS 2746368 HAS SOUPS 2679195 WITH SCORE 2685899.683
AT ITER 9492 NEW BEST:: SOT 57173348 SOS 6704143 HAS SOPS 4506571 HAS SOUS 2745982 HAS SOUPS 2678829 WITH SCORE 2685533.143
AT ITER 9563 NEW BEST:: SOT 57172824 SOS 6704119 HAS SOPS 4505961 HAS SOUS 2744923 HAS SOUPS 2677770 WITH SCORE 2684474.119
AT ITER 9826 NEW BEST:: SOT 57173060 SOS 6704873 HAS SOPS 4506751 HAS SOUS 2744655 HAS SOUPS 2677502 WITH SCORE 2684206.873
AT ITER 9869 NEW BEST:: SOT 57172732 SOS 6703777 HAS SOPS 4505887 HAS SOUS 2744644 HAS SOUPS 2677498 WITH SCORE 2684201.777
AT ITER 9872 NEW BEST:: SOT 57173651 SOS 6707252 HAS SOPS 4509400 HAS SOUS 2743827 HAS SOUPS 2676681 WITH SCORE 2683388.252
AT ITER 9939 NEW BEST:: SOT 57173537 SOS 6707135 HAS SOPS 4509286 HAS SOUS 2743593 HAS SOUPS 2676450 WITH SCORE 2683157.135
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 15253976 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15558528 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:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
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="TokenRing-PT-040"
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 TokenRing-PT-040, 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 r491-tall-167912710800696"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-040.tgz
mv TokenRing-PT-040 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 ;