fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r491-tall-167912710500440
Last Updated
May 14, 2023

About the Execution of Smart+red for Szymanski-PT-a10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16217.415 3203435.00 3230777.00 16491.90 [undef] Cannot compute

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r491-tall-167912710500440.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 Szymanski-PT-a10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710500440
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 5.7K Feb 26 17:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 17:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 16:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 16:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 17:18 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:18 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:18 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 17:18 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 17:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 26 17:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 17:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 26 17:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 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 101K 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 1679251512393

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=Szymanski-PT-a10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 18:45:14] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 18:45:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 18:45:14] [INFO ] Load time of PNML (sax parser for PT used): 65 ms
[2023-03-19 18:45:14] [INFO ] Transformed 61 places.
[2023-03-19 18:45:14] [INFO ] Transformed 224 transitions.
[2023-03-19 18:45:14] [INFO ] Parsed PT model containing 61 places and 224 transitions and 900 arcs in 135 ms.
[2023-03-19 18:45:14] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 61 places, 224 transitions and 900 arcs took 6 ms.
Total runtime 185 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Szymanski (PT), instance a10
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: 61 places, 224 transitions, 900 arcs.
AT ITER 0 NEW BEST:: SOT 7814 SOS 6985 HAS SOPS 5466 HAS SOUS 4363 HAS SOUPS 4240 WITH SCORE 4246.985
AT ITER 3 NEW BEST:: SOT 7995 SOS 7037 HAS SOPS 5123 HAS SOUS 4282 HAS SOUPS 4133 WITH SCORE 4140.037
AT ITER 4 NEW BEST:: SOT 7935 SOS 6967 HAS SOPS 5023 HAS SOUS 4202 HAS SOUPS 4053 WITH SCORE 4059.967
AT ITER 9 NEW BEST:: SOT 7936 SOS 6478 HAS SOPS 5062 HAS SOUS 4082 HAS SOUPS 3946 WITH SCORE 3952.478
AT ITER 10 NEW BEST:: SOT 7466 SOS 6044 HAS SOPS 4532 HAS SOUS 3562 HAS SOUPS 3416 WITH SCORE 3422.044
AT ITER 11 NEW BEST:: SOT 7441 SOS 5986 HAS SOPS 4363 HAS SOUS 3521 HAS SOUPS 3375 WITH SCORE 3380.986
AT ITER 29 NEW BEST:: SOT 7503 SOS 5929 HAS SOPS 4443 HAS SOUS 3449 HAS SOUPS 3309 WITH SCORE 3314.929
AT ITER 31 NEW BEST:: SOT 7485 SOS 5867 HAS SOPS 4337 HAS SOUS 3431 HAS SOUPS 3291 WITH SCORE 3296.867
AT ITER 32 NEW BEST:: SOT 8600 SOS 6220 HAS SOPS 5310 HAS SOUS 3348 HAS SOUPS 3253 WITH SCORE 3259.22
AT ITER 38 NEW BEST:: SOT 8534 SOS 6166 HAS SOPS 5260 HAS SOUS 3283 HAS SOUPS 3188 WITH SCORE 3194.166
AT ITER 39 NEW BEST:: SOT 8541 SOS 6138 HAS SOPS 5215 HAS SOUS 3264 HAS SOUPS 3169 WITH SCORE 3175.138
AT ITER 52 NEW BEST:: SOT 8537 SOS 6134 HAS SOPS 5211 HAS SOUS 3264 HAS SOUPS 3169 WITH SCORE 3175.134
AT ITER 54 NEW BEST:: SOT 8778 SOS 5741 HAS SOPS 5377 HAS SOUS 2852 HAS SOUPS 2782 WITH SCORE 2787.741
AT ITER 63 NEW BEST:: SOT 8778 SOS 5725 HAS SOPS 5361 HAS SOUS 2845 HAS SOUPS 2775 WITH SCORE 2780.725
AT ITER 66 NEW BEST:: SOT 8738 SOS 5685 HAS SOPS 5329 HAS SOUS 2797 HAS SOUPS 2735 WITH SCORE 2740.685
AT ITER 67 NEW BEST:: SOT 8737 SOS 5684 HAS SOPS 5328 HAS SOUS 2796 HAS SOUPS 2734 WITH SCORE 2739.684
AT ITER 74 NEW BEST:: SOT 8363 SOS 5350 HAS SOPS 4966 HAS SOUS 2442 HAS SOUPS 2372 WITH SCORE 2377.35
AT ITER 76 NEW BEST:: SOT 8507 SOS 5462 HAS SOPS 5121 HAS SOUS 2352 HAS SOUPS 2287 WITH SCORE 2292.462
AT ITER 83 NEW BEST:: SOT 8507 SOS 5428 HAS SOPS 5087 HAS SOUS 2348 HAS SOUPS 2283 WITH SCORE 2288.428
AT ITER 88 NEW BEST:: SOT 8507 SOS 5344 HAS SOPS 5003 HAS SOUS 2343 HAS SOUPS 2278 WITH SCORE 2283.344
AT ITER 93 NEW BEST:: SOT 8539 SOS 5369 HAS SOPS 5034 HAS SOUS 2327 HAS SOUPS 2263 WITH SCORE 2268.369
AT ITER 97 NEW BEST:: SOT 8603 SOS 5465 HAS SOPS 5030 HAS SOUS 2345 HAS SOUPS 2261 WITH SCORE 2266.465
AT ITER 100 NEW BEST:: SOT 8601 SOS 5439 HAS SOPS 5031 HAS SOUS 2333 HAS SOUPS 2257 WITH SCORE 2262.439
AT ITER 113 NEW BEST:: SOT 8595 SOS 5415 HAS SOPS 5001 HAS SOUS 2327 HAS SOUPS 2251 WITH SCORE 2256.415
AT ITER 116 NEW BEST:: SOT 8597 SOS 5350 HAS SOPS 4935 HAS SOUS 2308 HAS SOUPS 2232 WITH SCORE 2237.35
AT ITER 121 NEW BEST:: SOT 8597 SOS 5326 HAS SOPS 4911 HAS SOUS 2301 HAS SOUPS 2225 WITH SCORE 2230.326
AT ITER 122 NEW BEST:: SOT 8594 SOS 5323 HAS SOPS 4908 HAS SOUS 2298 HAS SOUPS 2222 WITH SCORE 2227.323
AT ITER 124 NEW BEST:: SOT 8577 SOS 5306 HAS SOPS 4895 HAS SOUS 2293 HAS SOUPS 2217 WITH SCORE 2222.306
AT ITER 126 NEW BEST:: SOT 8560 SOS 5279 HAS SOPS 4868 HAS SOUS 2280 HAS SOUPS 2204 WITH SCORE 2209.279
AT ITER 161 NEW BEST:: SOT 8520 SOS 5239 HAS SOPS 4860 HAS SOUS 2268 HAS SOUPS 2196 WITH SCORE 2201.239
AT ITER 171 NEW BEST:: SOT 8520 SOS 5183 HAS SOPS 4804 HAS SOUS 2261 HAS SOUPS 2189 WITH SCORE 2194.183
AT ITER 175 NEW BEST:: SOT 8520 SOS 5123 HAS SOPS 4744 HAS SOUS 2256 HAS SOUPS 2184 WITH SCORE 2189.123
AT ITER 184 NEW BEST:: SOT 8517 SOS 5123 HAS SOPS 4747 HAS SOUS 2253 HAS SOUPS 2181 WITH SCORE 2186.123
AT ITER 186 NEW BEST:: SOT 8512 SOS 5050 HAS SOPS 4666 HAS SOUS 2253 HAS SOUPS 2181 WITH SCORE 2186.05
AT ITER 192 NEW BEST:: SOT 8511 SOS 5015 HAS SOPS 4629 HAS SOUS 2253 HAS SOUPS 2181 WITH SCORE 2186.015
AT ITER 197 NEW BEST:: SOT 8511 SOS 4980 HAS SOPS 4589 HAS SOUS 2224 HAS SOUPS 2152 WITH SCORE 2156.98
AT ITER 212 NEW BEST:: SOT 8512 SOS 4936 HAS SOPS 4534 HAS SOUS 2206 HAS SOUPS 2134 WITH SCORE 2138.936
AT ITER 213 NEW BEST:: SOT 8502 SOS 4920 HAS SOPS 4522 HAS SOUS 2196 HAS SOUPS 2124 WITH SCORE 2128.92
AT ITER 230 NEW BEST:: SOT 8503 SOS 4906 HAS SOPS 4503 HAS SOUS 2183 HAS SOUPS 2111 WITH SCORE 2115.906
AT ITER 237 NEW BEST:: SOT 8503 SOS 4906 HAS SOPS 4483 HAS SOUS 2163 HAS SOUPS 2091 WITH SCORE 2095.906
AT ITER 241 NEW BEST:: SOT 8510 SOS 4913 HAS SOPS 4478 HAS SOUS 2162 HAS SOUPS 2086 WITH SCORE 2090.913
AT ITER 245 NEW BEST:: SOT 8493 SOS 4896 HAS SOPS 4477 HAS SOUS 2161 HAS SOUPS 2085 WITH SCORE 2089.896
AT ITER 246 NEW BEST:: SOT 8493 SOS 4890 HAS SOPS 4471 HAS SOUS 2155 HAS SOUPS 2079 WITH SCORE 2083.89
AT ITER 249 NEW BEST:: SOT 8481 SOS 4878 HAS SOPS 4443 HAS SOUS 2127 HAS SOUPS 2051 WITH SCORE 2055.878
AT ITER 257 NEW BEST:: SOT 8481 SOS 4900 HAS SOPS 4465 HAS SOUS 2126 HAS SOUPS 2050 WITH SCORE 2054.9
AT ITER 259 NEW BEST:: SOT 8482 SOS 4898 HAS SOPS 4459 HAS SOUS 2116 HAS SOUPS 2040 WITH SCORE 2044.898
AT ITER 264 NEW BEST:: SOT 8480 SOS 4896 HAS SOPS 4457 HAS SOUS 2114 HAS SOUPS 2038 WITH SCORE 2042.896
AT ITER 284 NEW BEST:: SOT 8488 SOS 4904 HAS SOPS 4449 HAS SOUS 2110 HAS SOUPS 2030 WITH SCORE 2034.904
AT ITER 294 NEW BEST:: SOT 8488 SOS 4896 HAS SOPS 4441 HAS SOUS 2108 HAS SOUPS 2028 WITH SCORE 2032.896
AT ITER 323 NEW BEST:: SOT 8488 SOS 4864 HAS SOPS 4409 HAS SOUS 2102 HAS SOUPS 2022 WITH SCORE 2026.864
AT ITER 334 NEW BEST:: SOT 8484 SOS 4848 HAS SOPS 4389 HAS SOUS 2090 HAS SOUPS 2010 WITH SCORE 2014.848
AT ITER 338 NEW BEST:: SOT 8105 SOS 4533 HAS SOPS 3982 HAS SOUS 2091 HAS SOUPS 2002 WITH SCORE 2006.533
AT ITER 351 NEW BEST:: SOT 8144 SOS 4533 HAS SOPS 3957 HAS SOUS 2088 HAS SOUPS 1999 WITH SCORE 2003.533
AT ITER 361 NEW BEST:: SOT 8144 SOS 4529 HAS SOPS 3953 HAS SOUS 2087 HAS SOUPS 1998 WITH SCORE 2002.529
AT ITER 371 NEW BEST:: SOT 8484 SOS 4820 HAS SOPS 4353 HAS SOUS 2073 HAS SOUPS 1993 WITH SCORE 1997.82
AT ITER 373 NEW BEST:: SOT 8452 SOS 4788 HAS SOPS 4317 HAS SOUS 2037 HAS SOUPS 1957 WITH SCORE 1961.788
AT ITER 387 NEW BEST:: SOT 8634 SOS 4818 HAS SOPS 4471 HAS SOUS 1915 HAS SOUPS 1843 WITH SCORE 1847.818
AT ITER 388 NEW BEST:: SOT 8634 SOS 4798 HAS SOPS 4451 HAS SOUS 1908 HAS SOUPS 1836 WITH SCORE 1840.798
AT ITER 395 NEW BEST:: SOT 8634 SOS 4789 HAS SOPS 4442 HAS SOUS 1908 HAS SOUPS 1836 WITH SCORE 1840.789
AT ITER 448 NEW BEST:: SOT 8634 SOS 4789 HAS SOPS 4422 HAS SOUS 1888 HAS SOUPS 1816 WITH SCORE 1820.789
AT ITER 455 NEW BEST:: SOT 8634 SOS 4785 HAS SOPS 4418 HAS SOUS 1887 HAS SOUPS 1815 WITH SCORE 1819.785
AT ITER 458 NEW BEST:: SOT 8634 SOS 4825 HAS SOPS 4458 HAS SOUS 1886 HAS SOUPS 1814 WITH SCORE 1818.825
AT ITER 475 NEW BEST:: SOT 8619 SOS 4810 HAS SOPS 4455 HAS SOUS 1883 HAS SOUPS 1811 WITH SCORE 1815.81
AT ITER 495 NEW BEST:: SOT 8619 SOS 4742 HAS SOPS 4387 HAS SOUS 1880 HAS SOUPS 1808 WITH SCORE 1812.742
AT ITER 497 NEW BEST:: SOT 8619 SOS 4726 HAS SOPS 4371 HAS SOUS 1870 HAS SOUPS 1798 WITH SCORE 1802.726
AT ITER 523 NEW BEST:: SOT 8612 SOS 4720 HAS SOPS 4365 HAS SOUS 1864 HAS SOUPS 1792 WITH SCORE 1796.72
AT ITER 541 NEW BEST:: SOT 8612 SOS 4744 HAS SOPS 4389 HAS SOUS 1860 HAS SOUPS 1788 WITH SCORE 1792.744
AT ITER 546 NEW BEST:: SOT 8609 SOS 4741 HAS SOPS 4386 HAS SOUS 1857 HAS SOUPS 1785 WITH SCORE 1789.741
AT ITER 556 NEW BEST:: SOT 8636 SOS 4765 HAS SOPS 4378 HAS SOUS 1851 HAS SOUPS 1779 WITH SCORE 1783.765
AT ITER 564 NEW BEST:: SOT 8731 SOS 4830 HAS SOPS 4476 HAS SOUS 1811 HAS SOUPS 1742 WITH SCORE 1746.83
AT ITER 568 NEW BEST:: SOT 8948 SOS 4996 HAS SOPS 4682 HAS SOUS 1727 HAS SOUPS 1664 WITH SCORE 1668.996
AT ITER 585 NEW BEST:: SOT 8974 SOS 4993 HAS SOPS 4653 HAS SOUS 1724 HAS SOUPS 1661 WITH SCORE 1665.993
AT ITER 589 NEW BEST:: SOT 8974 SOS 4965 HAS SOPS 4625 HAS SOUS 1718 HAS SOUPS 1655 WITH SCORE 1659.965
AT ITER 638 NEW BEST:: SOT 8974 SOS 4937 HAS SOPS 4597 HAS SOUS 1714 HAS SOUPS 1651 WITH SCORE 1655.937
AT ITER 639 NEW BEST:: SOT 8966 SOS 4929 HAS SOPS 4593 HAS SOUS 1714 HAS SOUPS 1647 WITH SCORE 1651.929
AT ITER 656 NEW BEST:: SOT 8950 SOS 4913 HAS SOPS 4577 HAS SOUS 1698 HAS SOUPS 1631 WITH SCORE 1635.913
AT ITER 658 NEW BEST:: SOT 8991 SOS 4946 HAS SOPS 4618 HAS SOUS 1690 HAS SOUPS 1624 WITH SCORE 1628.946
AT ITER 663 NEW BEST:: SOT 8988 SOS 4911 HAS SOPS 4602 HAS SOUS 1674 HAS SOUPS 1616 WITH SCORE 1620.911
AT ITER 697 NEW BEST:: SOT 8991 SOS 4895 HAS SOPS 4583 HAS SOUS 1670 HAS SOUPS 1612 WITH SCORE 1616.895
AT ITER 705 NEW BEST:: SOT 8991 SOS 4849 HAS SOPS 4537 HAS SOUS 1669 HAS SOUPS 1611 WITH SCORE 1615.849
AT ITER 715 NEW BEST:: SOT 8995 SOS 4853 HAS SOPS 4529 HAS SOUS 1673 HAS SOUPS 1603 WITH SCORE 1607.853
AT ITER 722 NEW BEST:: SOT 9135 SOS 4965 HAS SOPS 4677 HAS SOUS 1629 HAS SOUPS 1563 WITH SCORE 1567.965
AT ITER 738 NEW BEST:: SOT 9135 SOS 4941 HAS SOPS 4653 HAS SOUS 1621 HAS SOUPS 1555 WITH SCORE 1559.941
AT ITER 782 NEW BEST:: SOT 9135 SOS 4947 HAS SOPS 4659 HAS SOUS 1618 HAS SOUPS 1552 WITH SCORE 1556.947
AT ITER 801 NEW BEST:: SOT 9135 SOS 4915 HAS SOPS 4627 HAS SOUS 1612 HAS SOUPS 1546 WITH SCORE 1550.915
AT ITER 841 NEW BEST:: SOT 9135 SOS 4899 HAS SOPS 4611 HAS SOUS 1604 HAS SOUPS 1538 WITH SCORE 1542.899
AT ITER 853 NEW BEST:: SOT 9135 SOS 4879 HAS SOPS 4591 HAS SOUS 1603 HAS SOUPS 1537 WITH SCORE 1541.879
AT ITER 859 NEW BEST:: SOT 9151 SOS 4877 HAS SOPS 4589 HAS SOUS 1601 HAS SOUPS 1535 WITH SCORE 1539.877
AT ITER 861 NEW BEST:: SOT 9151 SOS 4773 HAS SOPS 4485 HAS SOUS 1587 HAS SOUPS 1521 WITH SCORE 1525.773
AT ITER 863 NEW BEST:: SOT 9151 SOS 4775 HAS SOPS 4487 HAS SOUS 1586 HAS SOUPS 1520 WITH SCORE 1524.775
AT ITER 869 NEW BEST:: SOT 9151 SOS 4763 HAS SOPS 4475 HAS SOUS 1581 HAS SOUPS 1515 WITH SCORE 1519.763
AT ITER 897 NEW BEST:: SOT 9151 SOS 4763 HAS SOPS 4475 HAS SOUS 1576 HAS SOUPS 1510 WITH SCORE 1514.763
AT ITER 908 NEW BEST:: SOT 9151 SOS 4747 HAS SOPS 4459 HAS SOUS 1574 HAS SOUPS 1508 WITH SCORE 1512.747
AT ITER 910 NEW BEST:: SOT 9138 SOS 4748 HAS SOPS 4450 HAS SOUS 1563 HAS SOUPS 1493 WITH SCORE 1497.748
AT ITER 916 NEW BEST:: SOT 9138 SOS 4748 HAS SOPS 4450 HAS SOUS 1562 HAS SOUPS 1492 WITH SCORE 1496.748
AT ITER 927 NEW BEST:: SOT 9127 SOS 4727 HAS SOPS 4449 HAS SOUS 1557 HAS SOUPS 1491 WITH SCORE 1495.727
AT ITER 971 NEW BEST:: SOT 9127 SOS 4719 HAS SOPS 4441 HAS SOUS 1557 HAS SOUPS 1491 WITH SCORE 1495.719
AT ITER 976 NEW BEST:: SOT 9127 SOS 4719 HAS SOPS 4441 HAS SOUS 1556 HAS SOUPS 1490 WITH SCORE 1494.719
AT ITER 990 NEW BEST:: SOT 9127 SOS 4653 HAS SOPS 4375 HAS SOUS 1545 HAS SOUPS 1479 WITH SCORE 1483.653
AT ITER 1010 NEW BEST:: SOT 9127 SOS 4613 HAS SOPS 4335 HAS SOUS 1535 HAS SOUPS 1469 WITH SCORE 1473.613
AT ITER 1013 NEW BEST:: SOT 9127 SOS 4609 HAS SOPS 4331 HAS SOUS 1534 HAS SOUPS 1468 WITH SCORE 1472.609
AT ITER 1061 NEW BEST:: SOT 9127 SOS 4581 HAS SOPS 4303 HAS SOUS 1527 HAS SOUPS 1461 WITH SCORE 1465.581
AT ITER 1077 NEW BEST:: SOT 9123 SOS 4577 HAS SOPS 4291 HAS SOUS 1515 HAS SOUPS 1449 WITH SCORE 1453.577
AT ITER 1134 NEW BEST:: SOT 9123 SOS 4561 HAS SOPS 4275 HAS SOUS 1511 HAS SOUPS 1445 WITH SCORE 1449.561
AT ITER 1142 NEW BEST:: SOT 9123 SOS 4573 HAS SOPS 4287 HAS SOUS 1510 HAS SOUPS 1444 WITH SCORE 1448.573
AT ITER 1216 NEW BEST:: SOT 9123 SOS 4557 HAS SOPS 4271 HAS SOUS 1508 HAS SOUPS 1442 WITH SCORE 1446.557
AT ITER 1235 NEW BEST:: SOT 9123 SOS 4561 HAS SOPS 4275 HAS SOUS 1507 HAS SOUPS 1441 WITH SCORE 1445.561
AT ITER 1249 NEW BEST:: SOT 9123 SOS 4573 HAS SOPS 4287 HAS SOUS 1506 HAS SOUPS 1440 WITH SCORE 1444.573
AT ITER 1324 NEW BEST:: SOT 9123 SOS 4525 HAS SOPS 4239 HAS SOUS 1506 HAS SOUPS 1440 WITH SCORE 1444.525
AT ITER 1352 NEW BEST:: SOT 9123 SOS 4525 HAS SOPS 4239 HAS SOUS 1501 HAS SOUPS 1435 WITH SCORE 1439.525
AT ITER 1381 NEW BEST:: SOT 9123 SOS 4521 HAS SOPS 4235 HAS SOUS 1500 HAS SOUPS 1434 WITH SCORE 1438.521
AT ITER 1387 NEW BEST:: SOT 9123 SOS 4521 HAS SOPS 4235 HAS SOUS 1499 HAS SOUPS 1433 WITH SCORE 1437.521
AT ITER 1409 NEW BEST:: SOT 9123 SOS 4513 HAS SOPS 4227 HAS SOUS 1497 HAS SOUPS 1431 WITH SCORE 1435.513
AT ITER 1422 NEW BEST:: SOT 9123 SOS 4489 HAS SOPS 4203 HAS SOUS 1496 HAS SOUPS 1430 WITH SCORE 1434.489
AT ITER 1426 NEW BEST:: SOT 9123 SOS 4459 HAS SOPS 4173 HAS SOUS 1494 HAS SOUPS 1428 WITH SCORE 1432.459
AT ITER 1438 NEW BEST:: SOT 9123 SOS 4451 HAS SOPS 4165 HAS SOUS 1491 HAS SOUPS 1425 WITH SCORE 1429.451
AT ITER 1463 NEW BEST:: SOT 9123 SOS 4439 HAS SOPS 4153 HAS SOUS 1491 HAS SOUPS 1425 WITH SCORE 1429.439
AT ITER 1484 NEW BEST:: SOT 9123 SOS 4435 HAS SOPS 4149 HAS SOUS 1489 HAS SOUPS 1423 WITH SCORE 1427.435
AT ITER 1569 NEW BEST:: SOT 9117 SOS 4429 HAS SOPS 4143 HAS SOUS 1483 HAS SOUPS 1417 WITH SCORE 1421.429
AT ITER 1610 NEW BEST:: SOT 9117 SOS 4417 HAS SOPS 4131 HAS SOUS 1480 HAS SOUPS 1414 WITH SCORE 1418.417
AT ITER 1615 NEW BEST:: SOT 9117 SOS 4413 HAS SOPS 4127 HAS SOUS 1479 HAS SOUPS 1413 WITH SCORE 1417.413
AT ITER 1639 NEW BEST:: SOT 9117 SOS 4437 HAS SOPS 4151 HAS SOUS 1478 HAS SOUPS 1412 WITH SCORE 1416.437
AT ITER 1727 NEW BEST:: SOT 9117 SOS 4451 HAS SOPS 4165 HAS SOUS 1470 HAS SOUPS 1404 WITH SCORE 1408.451
AT ITER 1740 NEW BEST:: SOT 9117 SOS 4439 HAS SOPS 4153 HAS SOUS 1467 HAS SOUPS 1401 WITH SCORE 1405.439
AT ITER 1741 NEW BEST:: SOT 9117 SOS 4435 HAS SOPS 4149 HAS SOUS 1467 HAS SOUPS 1401 WITH SCORE 1405.435
AT ITER 1858 NEW BEST:: SOT 9117 SOS 4439 HAS SOPS 4153 HAS SOUS 1466 HAS SOUPS 1400 WITH SCORE 1404.439
AT ITER 1879 NEW BEST:: SOT 9117 SOS 4443 HAS SOPS 4157 HAS SOUS 1465 HAS SOUPS 1399 WITH SCORE 1403.443
AT ITER 1897 NEW BEST:: SOT 8931 SOS 4294 HAS SOPS 3961 HAS SOUS 1465 HAS SOUPS 1394 WITH SCORE 1398.294
AT ITER 1983 NEW BEST:: SOT 8931 SOS 4302 HAS SOPS 3969 HAS SOUS 1463 HAS SOUPS 1392 WITH SCORE 1396.302
AT ITER 1985 NEW BEST:: SOT 8931 SOS 4294 HAS SOPS 3961 HAS SOUS 1461 HAS SOUPS 1390 WITH SCORE 1394.294
AT ITER 1999 NEW BEST:: SOT 8931 SOS 4270 HAS SOPS 3937 HAS SOUS 1458 HAS SOUPS 1387 WITH SCORE 1391.27
AT ITER 2034 NEW BEST:: SOT 8931 SOS 4266 HAS SOPS 3933 HAS SOUS 1458 HAS SOUPS 1387 WITH SCORE 1391.266
AT ITER 2072 NEW BEST:: SOT 8931 SOS 4254 HAS SOPS 3921 HAS SOUS 1457 HAS SOUPS 1386 WITH SCORE 1390.254
AT ITER 2110 NEW BEST:: SOT 8931 SOS 4272 HAS SOPS 3939 HAS SOUS 1451 HAS SOUPS 1380 WITH SCORE 1384.272
AT ITER 2139 NEW BEST:: SOT 8931 SOS 4268 HAS SOPS 3935 HAS SOUS 1450 HAS SOUPS 1379 WITH SCORE 1383.268
AT ITER 2209 NEW BEST:: SOT 8931 SOS 4252 HAS SOPS 3919 HAS SOUS 1448 HAS SOUPS 1377 WITH SCORE 1381.252
AT ITER 2253 NEW BEST:: SOT 8931 SOS 4240 HAS SOPS 3907 HAS SOUS 1445 HAS SOUPS 1374 WITH SCORE 1378.24
AT ITER 2298 NEW BEST:: SOT 8931 SOS 4216 HAS SOPS 3883 HAS SOUS 1442 HAS SOUPS 1371 WITH SCORE 1375.216
AT ITER 2337 NEW BEST:: SOT 8933 SOS 4218 HAS SOPS 3881 HAS SOUS 1440 HAS SOUPS 1369 WITH SCORE 1373.218
AT ITER 2389 NEW BEST:: SOT 8933 SOS 4214 HAS SOPS 3877 HAS SOUS 1439 HAS SOUPS 1368 WITH SCORE 1372.214
AT ITER 2451 NEW BEST:: SOT 8933 SOS 4210 HAS SOPS 3873 HAS SOUS 1438 HAS SOUPS 1367 WITH SCORE 1371.21
AT ITER 2530 NEW BEST:: SOT 8933 SOS 4206 HAS SOPS 3869 HAS SOUS 1438 HAS SOUPS 1367 WITH SCORE 1371.206
AT ITER 2545 NEW BEST:: SOT 8931 SOS 4204 HAS SOPS 3867 HAS SOUS 1436 HAS SOUPS 1365 WITH SCORE 1369.204
AT ITER 2616 NEW BEST:: SOT 8931 SOS 4196 HAS SOPS 3859 HAS SOUS 1434 HAS SOUPS 1363 WITH SCORE 1367.196
AT ITER 2663 NEW BEST:: SOT 8931 SOS 4188 HAS SOPS 3851 HAS SOUS 1433 HAS SOUPS 1362 WITH SCORE 1366.188
AT ITER 2710 NEW BEST:: SOT 8927 SOS 4184 HAS SOPS 3851 HAS SOUS 1429 HAS SOUPS 1362 WITH SCORE 1366.184
AT ITER 2733 NEW BEST:: SOT 8927 SOS 4180 HAS SOPS 3847 HAS SOUS 1428 HAS SOUPS 1361 WITH SCORE 1365.18
AT ITER 2744 NEW BEST:: SOT 8927 SOS 4176 HAS SOPS 3843 HAS SOUS 1428 HAS SOUPS 1361 WITH SCORE 1365.176
AT ITER 2846 NEW BEST:: SOT 8923 SOS 4172 HAS SOPS 3839 HAS SOUS 1424 HAS SOUPS 1357 WITH SCORE 1361.172
AT ITER 2937 NEW BEST:: SOT 8923 SOS 4164 HAS SOPS 3831 HAS SOUS 1423 HAS SOUPS 1356 WITH SCORE 1360.164
AT ITER 2997 NEW BEST:: SOT 8923 SOS 4162 HAS SOPS 3829 HAS SOUS 1423 HAS SOUPS 1356 WITH SCORE 1360.162
AT ITER 3006 NEW BEST:: SOT 8923 SOS 4154 HAS SOPS 3821 HAS SOUS 1422 HAS SOUPS 1355 WITH SCORE 1359.154
AT ITER 3026 NEW BEST:: SOT 8923 SOS 4146 HAS SOPS 3813 HAS SOUS 1422 HAS SOUPS 1355 WITH SCORE 1359.146
AT ITER 3031 NEW BEST:: SOT 8923 SOS 4149 HAS SOPS 3817 HAS SOUS 1421 HAS SOUPS 1354 WITH SCORE 1358.149
AT ITER 3073 NEW BEST:: SOT 8818 SOS 4074 HAS SOPS 3718 HAS SOUS 1404 HAS SOUPS 1334 WITH SCORE 1338.074
AT ITER 3573 NEW BEST:: SOT 8818 SOS 4068 HAS SOPS 3712 HAS SOUS 1404 HAS SOUPS 1334 WITH SCORE 1338.068
AT ITER 3936 NEW BEST:: SOT 8815 SOS 4065 HAS SOPS 3709 HAS SOUS 1404 HAS SOUPS 1334 WITH SCORE 1338.065
AT ITER 4102 NEW BEST:: SOT 8815 SOS 4061 HAS SOPS 3705 HAS SOUS 1404 HAS SOUPS 1334 WITH SCORE 1338.061
AT ITER 4469 NEW BEST:: SOT 8670 SOS 3938 HAS SOPS 3520 HAS SOUS 1364 HAS SOUPS 1290 WITH SCORE 1293.938
AT ITER 4629 NEW BEST:: SOT 8669 SOS 3937 HAS SOPS 3519 HAS SOUS 1363 HAS SOUPS 1289 WITH SCORE 1292.937
AT ITER 4667 NEW BEST:: SOT 8669 SOS 3927 HAS SOPS 3509 HAS SOUS 1362 HAS SOUPS 1288 WITH SCORE 1291.927
AT ITER 4748 NEW BEST:: SOT 8669 SOS 3923 HAS SOPS 3505 HAS SOUS 1362 HAS SOUPS 1288 WITH SCORE 1291.923
AT ITER 5237 NEW BEST:: SOT 8669 SOS 3923 HAS SOPS 3505 HAS SOUS 1361 HAS SOUPS 1287 WITH SCORE 1290.923
AT ITER 5284 NEW BEST:: SOT 8669 SOS 3931 HAS SOPS 3513 HAS SOUS 1360 HAS SOUPS 1286 WITH SCORE 1289.931
AT ITER 5324 NEW BEST:: SOT 8669 SOS 3927 HAS SOPS 3509 HAS SOUS 1360 HAS SOUPS 1286 WITH SCORE 1289.927
AT ITER 5948 NEW BEST:: SOT 8669 SOS 3925 HAS SOPS 3507 HAS SOUS 1360 HAS SOUPS 1286 WITH SCORE 1289.925
AT ITER 6025 NEW BEST:: SOT 8669 SOS 3921 HAS SOPS 3503 HAS SOUS 1360 HAS SOUPS 1286 WITH SCORE 1289.921
AT ITER 6492 NEW BEST:: SOT 8669 SOS 3917 HAS SOPS 3499 HAS SOUS 1360 HAS SOUPS 1286 WITH SCORE 1289.917
AT ITER 7021 NEW BEST:: SOT 8541 SOS 3835 HAS SOPS 3363 HAS SOUS 1357 HAS SOUPS 1279 WITH SCORE 1282.835
AT ITER 7240 NEW BEST:: SOT 8413 SOS 3757 HAS SOPS 3227 HAS SOUS 1338 HAS SOUPS 1256 WITH SCORE 1259.757
AT ITER 7274 NEW BEST:: SOT 8429 SOS 3773 HAS SOPS 3181 HAS SOUS 1330 HAS SOUPS 1242 WITH SCORE 1245.773
AT ITER 7964 NEW BEST:: SOT 8463 SOS 3807 HAS SOPS 3215 HAS SOUS 1327 HAS SOUPS 1239 WITH SCORE 1242.807
AT ITER 7996 NEW BEST:: SOT 8463 SOS 3803 HAS SOPS 3211 HAS SOUS 1326 HAS SOUPS 1238 WITH SCORE 1241.803
AT ITER 8447 NEW BEST:: SOT 8463 SOS 3865 HAS SOPS 3225 HAS SOUS 1335 HAS SOUPS 1235 WITH SCORE 1238.865
AT ITER 8904 NEW BEST:: SOT 8463 SOS 3901 HAS SOPS 3261 HAS SOUS 1331 HAS SOUPS 1231 WITH SCORE 1234.901
AT ITER 8961 NEW BEST:: SOT 8463 SOS 3901 HAS SOPS 3257 HAS SOUS 1331 HAS SOUPS 1230 WITH SCORE 1233.901
AT ITER 9010 NEW BEST:: SOT 8463 SOS 3897 HAS SOPS 3253 HAS SOUS 1330 HAS SOUPS 1229 WITH SCORE 1232.897
AT ITER 9085 NEW BEST:: SOT 8463 SOS 3829 HAS SOPS 3185 HAS SOUS 1323 HAS SOUPS 1222 WITH SCORE 1225.829
AT ITER 9173 NEW BEST:: SOT 8463 SOS 3825 HAS SOPS 3181 HAS SOUS 1323 HAS SOUPS 1222 WITH SCORE 1225.825
AT ITER 9562 NEW BEST:: SOT 8463 SOS 3825 HAS SOPS 3161 HAS SOUS 1319 HAS SOUPS 1218 WITH SCORE 1221.825
AT ITER 9568 NEW BEST:: SOT 8467 SOS 3829 HAS SOPS 3157 HAS SOUS 1315 HAS SOUPS 1214 WITH SCORE 1217.829
AT ITER 9603 NEW BEST:: SOT 8451 SOS 3813 HAS SOPS 3137 HAS SOUS 1295 HAS SOUPS 1194 WITH SCORE 1197.813
AT ITER 9760 NEW BEST:: SOT 8451 SOS 3807 HAS SOPS 3131 HAS SOUS 1295 HAS SOUPS 1194 WITH SCORE 1197.807
AT ITER 9946 NEW BEST:: SOT 8447 SOS 3803 HAS SOPS 3123 HAS SOUS 1291 HAS SOUPS 1190 WITH SCORE 1193.803

BK_STOP 1679254715828

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 482 Killed ${SMART}/smart ${INPUT_SM}

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="Szymanski-PT-a10"
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 Szymanski-PT-a10, 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-167912710500440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Szymanski-PT-a10.tgz
mv Szymanski-PT-a10 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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;