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.r459-smll-167912651600672.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 StigmergyElection-PT-09a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651600672
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 17M
-rw-r--r-- 1 mcc users 8.1K Feb 26 16:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 16:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 16:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 16:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 16:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 16:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 16:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 16:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:15 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 17M 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 1679462588610

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=StigmergyElection-PT-09a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 05:23:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 05:23:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 05:23:12] [INFO ] Load time of PNML (sax parser for PT used): 1294 ms
[2023-03-22 05:23:12] [INFO ] Transformed 128 places.
[2023-03-22 05:23:12] [INFO ] Transformed 18490 transitions.
[2023-03-22 05:23:12] [INFO ] Found NUPN structural information;
[2023-03-22 05:23:12] [INFO ] Parsed PT model containing 128 places and 18490 transitions and 329609 arcs in 1565 ms.
[2023-03-22 05:23:13] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 128 places, 18490 transitions and 329609 arcs took 316 ms.
Total runtime 1928 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 09a
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: 128 places, 18490 transitions, 329609 arcs.
AT ITER 0 NEW BEST:: SOT 1262381 SOS 431681 HAS SOPS 401711 HAS SOUS 20882 HAS SOUPS 20846 WITH SCORE 21277.681
AT ITER 2 NEW BEST:: SOT 1262379 SOS 431661 HAS SOPS 401691 HAS SOUS 20872 HAS SOUPS 20836 WITH SCORE 21267.661
AT ITER 3 NEW BEST:: SOT 1262413 SOS 431689 HAS SOPS 401719 HAS SOUS 20866 HAS SOUPS 20830 WITH SCORE 21261.689
AT ITER 4 NEW BEST:: SOT 1262413 SOS 431676 HAS SOPS 401706 HAS SOUS 20866 HAS SOUPS 20830 WITH SCORE 21261.676
AT ITER 10 NEW BEST:: SOT 1262439 SOS 431692 HAS SOPS 401722 HAS SOUS 20856 HAS SOUPS 20820 WITH SCORE 21251.692
AT ITER 11 NEW BEST:: SOT 1262630 SOS 431723 HAS SOPS 401753 HAS SOUS 20824 HAS SOUPS 20788 WITH SCORE 21219.723
AT ITER 14 NEW BEST:: SOT 1262660 SOS 431699 HAS SOPS 401729 HAS SOUS 20798 HAS SOUPS 20762 WITH SCORE 21193.699
AT ITER 16 NEW BEST:: SOT 1262652 SOS 431683 HAS SOPS 401713 HAS SOUS 20790 HAS SOUPS 20754 WITH SCORE 21185.683
AT ITER 19 NEW BEST:: SOT 1262714 SOS 431669 HAS SOPS 401699 HAS SOUS 20730 HAS SOUPS 20694 WITH SCORE 21125.669
AT ITER 30 NEW BEST:: SOT 1262743 SOS 431695 HAS SOPS 401725 HAS SOUS 20727 HAS SOUPS 20691 WITH SCORE 21122.695
AT ITER 41 NEW BEST:: SOT 1262708 SOS 431669 HAS SOPS 401699 HAS SOUS 20714 HAS SOUPS 20678 WITH SCORE 21109.669
AT ITER 46 NEW BEST:: SOT 1262741 SOS 431677 HAS SOPS 401707 HAS SOUS 20689 HAS SOUPS 20653 WITH SCORE 21084.677
AT ITER 52 NEW BEST:: SOT 1262754 SOS 431679 HAS SOPS 401709 HAS SOUS 20678 HAS SOUPS 20642 WITH SCORE 21073.679
AT ITER 58 NEW BEST:: SOT 1262730 SOS 431665 HAS SOPS 401695 HAS SOUS 20635 HAS SOUPS 20599 WITH SCORE 21030.665
AT ITER 59 NEW BEST:: SOT 1261162 SOS 431435 HAS SOPS 400131 HAS SOUS 20349 HAS SOUPS 20238 WITH SCORE 20669.435
AT ITER 60 NEW BEST:: SOT 1261117 SOS 431285 HAS SOPS 400041 HAS SOUS 20304 HAS SOUPS 20193 WITH SCORE 20624.285
AT ITER 73 NEW BEST:: SOT 1261107 SOS 431265 HAS SOPS 400021 HAS SOUS 20294 HAS SOUPS 20183 WITH SCORE 20614.265
AT ITER 81 NEW BEST:: SOT 1261107 SOS 431264 HAS SOPS 400021 HAS SOUS 20294 HAS SOUPS 20183 WITH SCORE 20614.264
AT ITER 91 NEW BEST:: SOT 1261034 SOS 431141 HAS SOPS 399925 HAS SOUS 20239 HAS SOUPS 20128 WITH SCORE 20559.141
AT ITER 104 NEW BEST:: SOT 1261218 SOS 431187 HAS SOPS 399977 HAS SOUS 20234 HAS SOUPS 20123 WITH SCORE 20554.187
AT ITER 112 NEW BEST:: SOT 1261203 SOS 431171 HAS SOPS 399961 HAS SOUS 20233 HAS SOUPS 20122 WITH SCORE 20553.171
AT ITER 113 NEW BEST:: SOT 1261191 SOS 431159 HAS SOPS 399949 HAS SOUS 20233 HAS SOUPS 20122 WITH SCORE 20553.159
AT ITER 116 NEW BEST:: SOT 1261151 SOS 431075 HAS SOPS 399921 HAS SOUS 20208 HAS SOUPS 20097 WITH SCORE 20528.075
AT ITER 120 NEW BEST:: SOT 1261181 SOS 431081 HAS SOPS 399927 HAS SOUS 20202 HAS SOUPS 20091 WITH SCORE 20522.081
AT ITER 121 NEW BEST:: SOT 1272789 SOS 442672 HAS SOPS 405414 HAS SOUS 18429 HAS SOUPS 18307 WITH SCORE 18749.672
AT ITER 132 NEW BEST:: SOT 1272789 SOS 442672 HAS SOPS 404813 HAS SOUS 16638 HAS SOUPS 16516 WITH SCORE 16958.672
AT ITER 139 NEW BEST:: SOT 1272789 SOS 442654 HAS SOPS 404041 HAS SOUS 16360 HAS SOUPS 16238 WITH SCORE 16680.654
AT ITER 148 NEW BEST:: SOT 1272788 SOS 442647 HAS SOPS 404039 HAS SOUS 16358 HAS SOUPS 16236 WITH SCORE 16678.647
AT ITER 151 NEW BEST:: SOT 1272775 SOS 442607 HAS SOPS 403999 HAS SOUS 16345 HAS SOUPS 16223 WITH SCORE 16665.607
AT ITER 156 NEW BEST:: SOT 1272747 SOS 442565 HAS SOPS 403957 HAS SOUS 16303 HAS SOUPS 16181 WITH SCORE 16623.565
AT ITER 160 NEW BEST:: SOT 1272738 SOS 442547 HAS SOPS 403939 HAS SOUS 16294 HAS SOUPS 16172 WITH SCORE 16614.547
AT ITER 172 NEW BEST:: SOT 1272742 SOS 442547 HAS SOPS 403939 HAS SOUS 16290 HAS SOUPS 16168 WITH SCORE 16610.547
AT ITER 177 NEW BEST:: SOT 1272741 SOS 442541 HAS SOPS 403937 HAS SOUS 16288 HAS SOUPS 16166 WITH SCORE 16608.541
AT ITER 179 NEW BEST:: SOT 1272761 SOS 442559 HAS SOPS 403955 HAS SOUS 16262 HAS SOUPS 16140 WITH SCORE 16582.559
AT ITER 184 NEW BEST:: SOT 1272766 SOS 442554 HAS SOPS 403950 HAS SOUS 16257 HAS SOUPS 16135 WITH SCORE 16577.554
AT ITER 193 NEW BEST:: SOT 1303671 SOS 473399 HAS SOPS 427910 HAS SOUS 14986 HAS SOUPS 14859 WITH SCORE 15332.399
AT ITER 204 NEW BEST:: SOT 1303715 SOS 473341 HAS SOPS 427908 HAS SOUS 14969 HAS SOUPS 14842 WITH SCORE 15315.341
AT ITER 209 NEW BEST:: SOT 1303715 SOS 473341 HAS SOPS 427524 HAS SOUS 13433 HAS SOUPS 13306 WITH SCORE 13779.341
AT ITER 241 NEW BEST:: SOT 1302699 SOS 472325 HAS SOPS 425908 HAS SOUS 13141 HAS SOUPS 13014 WITH SCORE 13486.325
AT ITER 243 NEW BEST:: SOT 1302708 SOS 472325 HAS SOPS 425908 HAS SOUS 13132 HAS SOUPS 13005 WITH SCORE 13477.325
AT ITER 272 NEW BEST:: SOT 1302621 SOS 472197 HAS SOPS 425816 HAS SOUS 13045 HAS SOUPS 12918 WITH SCORE 13390.197
AT ITER 274 NEW BEST:: SOT 1302565 SOS 472126 HAS SOPS 425763 HAS SOUS 12999 HAS SOUPS 12872 WITH SCORE 13344.126
AT ITER 275 NEW BEST:: SOT 1302586 SOS 472064 HAS SOPS 425745 HAS SOUS 12972 HAS SOUPS 12845 WITH SCORE 13317.064
AT ITER 280 NEW BEST:: SOT 1302683 SOS 472066 HAS SOPS 425747 HAS SOUS 12957 HAS SOUPS 12830 WITH SCORE 13302.066
AT ITER 281 NEW BEST:: SOT 1302681 SOS 472062 HAS SOPS 425743 HAS SOUS 12955 HAS SOUPS 12828 WITH SCORE 13300.062
AT ITER 285 NEW BEST:: SOT 1302676 SOS 472052 HAS SOPS 425733 HAS SOUS 12950 HAS SOUPS 12823 WITH SCORE 13295.052
AT ITER 304 NEW BEST:: SOT 1302682 SOS 472054 HAS SOPS 425674 HAS SOUS 12698 HAS SOUPS 12571 WITH SCORE 13043.054
AT ITER 324 NEW BEST:: SOT 1302682 SOS 472054 HAS SOPS 425674 HAS SOUS 12676 HAS SOUPS 12549 WITH SCORE 13021.054
AT ITER 331 NEW BEST:: SOT 1302682 SOS 472051 HAS SOPS 425667 HAS SOUS 12676 HAS SOUPS 12549 WITH SCORE 13021.051
AT ITER 342 NEW BEST:: SOT 1302686 SOS 472035 HAS SOPS 425651 HAS SOUS 12660 HAS SOUPS 12533 WITH SCORE 13005.035
AT ITER 346 NEW BEST:: SOT 1302681 SOS 472025 HAS SOPS 425641 HAS SOUS 12655 HAS SOUPS 12528 WITH SCORE 13000.025
AT ITER 362 NEW BEST:: SOT 1302714 SOS 472036 HAS SOPS 423613 HAS SOUS 12401 HAS SOUPS 12274 WITH SCORE 12746.036
AT ITER 364 NEW BEST:: SOT 1302720 SOS 472036 HAS SOPS 423613 HAS SOUS 12395 HAS SOUPS 12268 WITH SCORE 12740.036
AT ITER 366 NEW BEST:: SOT 1302720 SOS 478676 HAS SOPS 430253 HAS SOUS 12384 HAS SOUPS 12257 WITH SCORE 12735.676
AT ITER 368 NEW BEST:: SOT 1330284 SOS 506201 HAS SOPS 455861 HAS SOUS 11968 HAS SOUPS 11839 WITH SCORE 12345.201000000001
AT ITER 373 NEW BEST:: SOT 1330286 SOS 506187 HAS SOPS 455847 HAS SOUS 11954 HAS SOUPS 11825 WITH SCORE 12331.187
AT ITER 399 NEW BEST:: SOT 1330286 SOS 506187 HAS SOPS 455847 HAS SOUS 11951 HAS SOUPS 11822 WITH SCORE 12328.187
AT ITER 417 NEW BEST:: SOT 1330295 SOS 506190 HAS SOPS 455850 HAS SOUS 11950 HAS SOUPS 11821 WITH SCORE 12327.19
AT ITER 432 NEW BEST:: SOT 1330429 SOS 506157 HAS SOPS 455817 HAS SOUS 11882 HAS SOUPS 11753 WITH SCORE 12259.157
AT ITER 453 NEW BEST:: SOT 1330429 SOS 506157 HAS SOPS 455802 HAS SOUS 11876 HAS SOUPS 11747 WITH SCORE 12253.157
AT ITER 457 NEW BEST:: SOT 1330400 SOS 506099 HAS SOPS 455744 HAS SOUS 11835 HAS SOUPS 11706 WITH SCORE 12212.099
AT ITER 464 NEW BEST:: SOT 1330398 SOS 506095 HAS SOPS 455740 HAS SOUS 11833 HAS SOUPS 11704 WITH SCORE 12210.095
AT ITER 467 NEW BEST:: SOT 1330394 SOS 506093 HAS SOPS 455738 HAS SOUS 11833 HAS SOUPS 11704 WITH SCORE 12210.093
AT ITER 497 NEW BEST:: SOT 1330508 SOS 506124 HAS SOPS 455772 HAS SOUS 11829 HAS SOUPS 11700 WITH SCORE 12206.124
AT ITER 499 NEW BEST:: SOT 1330509 SOS 506064 HAS SOPS 455712 HAS SOUS 11816 HAS SOUPS 11687 WITH SCORE 12193.064
AT ITER 505 NEW BEST:: SOT 1330532 SOS 506069 HAS SOPS 455728 HAS SOUS 11810 HAS SOUPS 11681 WITH SCORE 12187.069
AT ITER 528 NEW BEST:: SOT 1330534 SOS 506065 HAS SOPS 455724 HAS SOUS 11804 HAS SOUPS 11675 WITH SCORE 12181.065
AT ITER 547 NEW BEST:: SOT 1330520 SOS 505978 HAS SOPS 455696 HAS SOUS 11776 HAS SOUPS 11647 WITH SCORE 12152.978
AT ITER 561 NEW BEST:: SOT 1330517 SOS 505972 HAS SOPS 455690 HAS SOUS 11770 HAS SOUPS 11641 WITH SCORE 12146.972
AT ITER 594 NEW BEST:: SOT 1330543 SOS 507435 HAS SOPS 455693 HAS SOUS 11796 HAS SOUPS 11634 WITH SCORE 12141.435
AT ITER 609 NEW BEST:: SOT 1330568 SOS 507417 HAS SOPS 455709 HAS SOUS 11787 HAS SOUPS 11625 WITH SCORE 12132.417
AT ITER 640 NEW BEST:: SOT 1330562 SOS 507411 HAS SOPS 455703 HAS SOUS 11787 HAS SOUPS 11625 WITH SCORE 12132.411
AT ITER 654 NEW BEST:: SOT 1330591 SOS 507381 HAS SOPS 455687 HAS SOUS 11761 HAS SOUPS 11599 WITH SCORE 12106.381
AT ITER 655 NEW BEST:: SOT 1330584 SOS 507360 HAS SOPS 455666 HAS SOUS 11754 HAS SOUPS 11592 WITH SCORE 12099.36
AT ITER 671 NEW BEST:: SOT 1330581 SOS 507399 HAS SOPS 455705 HAS SOUS 11751 HAS SOUPS 11589 WITH SCORE 12096.399
AT ITER 679 NEW BEST:: SOT 1330579 SOS 507391 HAS SOPS 455699 HAS SOUS 11747 HAS SOUPS 11585 WITH SCORE 12092.391
AT ITER 720 NEW BEST:: SOT 1330579 SOS 507382 HAS SOPS 455690 HAS SOUS 11747 HAS SOUPS 11585 WITH SCORE 12092.382
AT ITER 731 NEW BEST:: SOT 1330578 SOS 507381 HAS SOPS 455688 HAS SOUS 11745 HAS SOUPS 11583 WITH SCORE 12090.381
AT ITER 751 NEW BEST:: SOT 1330573 SOS 507371 HAS SOPS 455678 HAS SOUS 11740 HAS SOUPS 11578 WITH SCORE 12085.371
AT ITER 790 NEW BEST:: SOT 1330578 SOS 507361 HAS SOPS 455671 HAS SOUS 11732 HAS SOUPS 11570 WITH SCORE 12077.361
AT ITER 792 NEW BEST:: SOT 1330575 SOS 507355 HAS SOPS 455665 HAS SOUS 11729 HAS SOUPS 11567 WITH SCORE 12074.355
AT ITER 803 NEW BEST:: SOT 1330574 SOS 507347 HAS SOPS 455663 HAS SOUS 11728 HAS SOUPS 11566 WITH SCORE 12073.347
AT ITER 811 NEW BEST:: SOT 1330568 SOS 507335 HAS SOPS 453381 HAS SOUS 11695 HAS SOUPS 11533 WITH SCORE 12040.335
AT ITER 834 NEW BEST:: SOT 1330500 SOS 507208 HAS SOPS 453292 HAS SOUS 11634 HAS SOUPS 11472 WITH SCORE 11979.208
AT ITER 845 NEW BEST:: SOT 1330507 SOS 507208 HAS SOPS 453292 HAS SOUS 11627 HAS SOUPS 11465 WITH SCORE 11972.208
AT ITER 902 NEW BEST:: SOT 1330530 SOS 507218 HAS SOPS 453302 HAS SOUS 11626 HAS SOUPS 11464 WITH SCORE 11971.218
AT ITER 903 NEW BEST:: SOT 1330542 SOS 507206 HAS SOPS 453302 HAS SOUS 11626 HAS SOUPS 11464 WITH SCORE 11971.206
AT ITER 928 NEW BEST:: SOT 1330542 SOS 507190 HAS SOPS 453294 HAS SOUS 11618 HAS SOUPS 11456 WITH SCORE 11963.19
AT ITER 948 NEW BEST:: SOT 1330542 SOS 507190 HAS SOPS 451096 HAS SOUS 11362 HAS SOUPS 11200 WITH SCORE 11707.19
AT ITER 969 NEW BEST:: SOT 1330542 SOS 507190 HAS SOPS 451096 HAS SOUS 11353 HAS SOUPS 11191 WITH SCORE 11698.19
AT ITER 984 NEW BEST:: SOT 1330539 SOS 507187 HAS SOPS 451087 HAS SOUS 11350 HAS SOUPS 11188 WITH SCORE 11695.187
AT ITER 997 NEW BEST:: SOT 1330504 SOS 507176 HAS SOPS 451065 HAS SOUS 11340 HAS SOUPS 11178 WITH SCORE 11685.176
AT ITER 1014 NEW BEST:: SOT 1330504 SOS 507172 HAS SOPS 451061 HAS SOUS 11340 HAS SOUPS 11178 WITH SCORE 11685.172
AT ITER 1052 NEW BEST:: SOT 1330522 SOS 507163 HAS SOPS 451052 HAS SOUS 11328 HAS SOUPS 11166 WITH SCORE 11673.163
AT ITER 1066 NEW BEST:: SOT 1330528 SOS 507169 HAS SOPS 450494 HAS SOUS 11142 HAS SOUPS 10980 WITH SCORE 11487.169
AT ITER 1076 NEW BEST:: SOT 1330526 SOS 507168 HAS SOPS 450493 HAS SOUS 11141 HAS SOUPS 10979 WITH SCORE 11486.168
AT ITER 1082 NEW BEST:: SOT 1348863 SOS 525542 HAS SOPS 465715 HAS SOUS 10470 HAS SOUPS 10308 WITH SCORE 10833.542
AT ITER 1083 NEW BEST:: SOT 1348852 SOS 525530 HAS SOPS 465703 HAS SOUS 10469 HAS SOUPS 10307 WITH SCORE 10832.53
AT ITER 1116 NEW BEST:: SOT 1348816 SOS 525494 HAS SOPS 465655 HAS SOUS 10463 HAS SOUPS 10301 WITH SCORE 10826.494
AT ITER 1121 NEW BEST:: SOT 1348989 SOS 525472 HAS SOPS 465633 HAS SOUS 10423 HAS SOUPS 10261 WITH SCORE 10786.472
AT ITER 1134 NEW BEST:: SOT 1348981 SOS 525466 HAS SOPS 465627 HAS SOUS 10417 HAS SOUPS 10255 WITH SCORE 10780.466
AT ITER 1156 NEW BEST:: SOT 1348969 SOS 525454 HAS SOPS 465615 HAS SOUS 10417 HAS SOUPS 10255 WITH SCORE 10780.454
AT ITER 1173 NEW BEST:: SOT 1348965 SOS 525452 HAS SOPS 465613 HAS SOUS 10417 HAS SOUPS 10255 WITH SCORE 10780.452
AT ITER 1177 NEW BEST:: SOT 1348968 SOS 525442 HAS SOPS 465587 HAS SOUS 10395 HAS SOUPS 10233 WITH SCORE 10758.442
AT ITER 1191 NEW BEST:: SOT 1348960 SOS 525452 HAS SOPS 465571 HAS SOUS 10387 HAS SOUPS 10225 WITH SCORE 10750.452
AT ITER 1212 NEW BEST:: SOT 1348942 SOS 525412 HAS SOPS 465535 HAS SOUS 10372 HAS SOUPS 10210 WITH SCORE 10735.412
AT ITER 1243 NEW BEST:: SOT 1348939 SOS 525394 HAS SOPS 465521 HAS SOUS 10365 HAS SOUPS 10203 WITH SCORE 10728.394
AT ITER 1287 NEW BEST:: SOT 1348952 SOS 525377 HAS SOPS 465525 HAS SOUS 10364 HAS SOUPS 10202 WITH SCORE 10727.377
AT ITER 1329 NEW BEST:: SOT 1348953 SOS 525376 HAS SOPS 463571 HAS SOUS 10363 HAS SOUPS 10201 WITH SCORE 10726.376
AT ITER 1336 NEW BEST:: SOT 1348953 SOS 525376 HAS SOPS 463149 HAS SOUS 10043 HAS SOUPS 9881 WITH SCORE 10406.376
AT ITER 1343 NEW BEST:: SOT 1348932 SOS 525355 HAS SOPS 463128 HAS SOUS 10029 HAS SOUPS 9867 WITH SCORE 10392.355
AT ITER 1354 NEW BEST:: SOT 1348937 SOS 525335 HAS SOPS 463108 HAS SOUS 10024 HAS SOUPS 9862 WITH SCORE 10387.335
AT ITER 1363 NEW BEST:: SOT 1348960 SOS 525357 HAS SOPS 463130 HAS SOUS 10023 HAS SOUPS 9861 WITH SCORE 10386.357
AT ITER 1396 NEW BEST:: SOT 1348953 SOS 525364 HAS SOPS 463134 HAS SOUS 10021 HAS SOUPS 9859 WITH SCORE 10384.364
AT ITER 1439 NEW BEST:: SOT 1348952 SOS 525362 HAS SOPS 463132 HAS SOUS 10019 HAS SOUPS 9857 WITH SCORE 10382.362
AT ITER 1449 NEW BEST:: SOT 1348940 SOS 525338 HAS SOPS 463108 HAS SOUS 10007 HAS SOUPS 9845 WITH SCORE 10370.338
AT ITER 1453 NEW BEST:: SOT 1348949 SOS 525328 HAS SOPS 463112 HAS SOUS 10002 HAS SOUPS 9840 WITH SCORE 10365.328
AT ITER 1464 NEW BEST:: SOT 1348949 SOS 525320 HAS SOPS 463112 HAS SOUS 10002 HAS SOUPS 9840 WITH SCORE 10365.32
AT ITER 1533 NEW BEST:: SOT 1348951 SOS 525299 HAS SOPS 463093 HAS SOUS 9983 HAS SOUPS 9821 WITH SCORE 10346.298999999999
AT ITER 1553 NEW BEST:: SOT 1348950 SOS 525282 HAS SOPS 463091 HAS SOUS 9973 HAS SOUPS 9819 WITH SCORE 10344.282
AT ITER 1562 NEW BEST:: SOT 1348950 SOS 525282 HAS SOPS 463091 HAS SOUS 9970 HAS SOUPS 9816 WITH SCORE 10341.282
AT ITER 1586 NEW BEST:: SOT 1348934 SOS 525274 HAS SOPS 463083 HAS SOUS 9965 HAS SOUPS 9811 WITH SCORE 10336.274
AT ITER 1613 NEW BEST:: SOT 1348932 SOS 525264 HAS SOPS 463073 HAS SOUS 9961 HAS SOUPS 9807 WITH SCORE 10332.264
AT ITER 1644 NEW BEST:: SOT 1348878 SOS 525256 HAS SOPS 463015 HAS SOUS 9957 HAS SOUPS 9803 WITH SCORE 10328.256
AT ITER 1676 NEW BEST:: SOT 1341540 SOS 517916 HAS SOPS 455679 HAS SOUS 9449 HAS SOUPS 9295 WITH SCORE 9812.916
AT ITER 1698 NEW BEST:: SOT 1341544 SOS 517912 HAS SOPS 451279 HAS SOUS 9337 HAS SOUPS 9183 WITH SCORE 9700.912
AT ITER 1710 NEW BEST:: SOT 1341673 SOS 517890 HAS SOPS 451313 HAS SOUS 9315 HAS SOUPS 9161 WITH SCORE 9678.89
AT ITER 1719 NEW BEST:: SOT 1341673 SOS 517886 HAS SOPS 451309 HAS SOUS 9312 HAS SOUPS 9158 WITH SCORE 9675.886
AT ITER 1768 NEW BEST:: SOT 1341668 SOS 517886 HAS SOPS 451309 HAS SOUS 9307 HAS SOUPS 9153 WITH SCORE 9670.886
AT ITER 1772 NEW BEST:: SOT 1341668 SOS 517882 HAS SOPS 451305 HAS SOUS 9305 HAS SOUPS 9151 WITH SCORE 9668.882
AT ITER 1791 NEW BEST:: SOT 1341666 SOS 517886 HAS SOPS 451309 HAS SOUS 9304 HAS SOUPS 9150 WITH SCORE 9667.886
AT ITER 1800 NEW BEST:: SOT 1341670 SOS 517849 HAS SOPS 451287 HAS SOUS 9293 HAS SOUPS 9139 WITH SCORE 9656.849
AT ITER 1860 NEW BEST:: SOT 1341674 SOS 517846 HAS SOPS 451284 HAS SOUS 9290 HAS SOUPS 9136 WITH SCORE 9653.846
AT ITER 1876 NEW BEST:: SOT 1341670 SOS 517838 HAS SOPS 451276 HAS SOUS 9290 HAS SOUPS 9136 WITH SCORE 9653.838
AT ITER 1899 NEW BEST:: SOT 1341670 SOS 517838 HAS SOPS 451536 HAS SOUS 9226 HAS SOUPS 9072 WITH SCORE 9589.838
AT ITER 1919 NEW BEST:: SOT 1341676 SOS 517834 HAS SOPS 451540 HAS SOUS 9224 HAS SOUPS 9070 WITH SCORE 9587.834
AT ITER 1934 NEW BEST:: SOT 1341688 SOS 517822 HAS SOPS 451528 HAS SOUS 9212 HAS SOUPS 9058 WITH SCORE 9575.822
AT ITER 1941 NEW BEST:: SOT 1341683 SOS 517801 HAS SOPS 451507 HAS SOUS 9196 HAS SOUPS 9042 WITH SCORE 9559.801
AT ITER 1954 NEW BEST:: SOT 1341677 SOS 517807 HAS SOPS 451513 HAS SOUS 9193 HAS SOUPS 9039 WITH SCORE 9556.807
AT ITER 1970 NEW BEST:: SOT 1341643 SOS 517739 HAS SOPS 451445 HAS SOUS 9103 HAS SOUPS 8949 WITH SCORE 9466.739
AT ITER 1976 NEW BEST:: SOT 1341645 SOS 517735 HAS SOPS 451445 HAS SOUS 9101 HAS SOUPS 8947 WITH SCORE 9464.735
AT ITER 1987 NEW BEST:: SOT 1341541 SOS 517706 HAS SOPS 451397 HAS SOUS 9099 HAS SOUPS 8945 WITH SCORE 9462.706
AT ITER 2032 NEW BEST:: SOT 1341557 SOS 517642 HAS SOPS 451349 HAS SOUS 9025 HAS SOUPS 8871 WITH SCORE 9388.642
AT ITER 2042 NEW BEST:: SOT 1341553 SOS 517638 HAS SOPS 451345 HAS SOUS 9021 HAS SOUPS 8867 WITH SCORE 9384.638
AT ITER 2057 NEW BEST:: SOT 1341547 SOS 517629 HAS SOPS 451336 HAS SOUS 9015 HAS SOUPS 8861 WITH SCORE 9378.629
AT ITER 2071 NEW BEST:: SOT 1341547 SOS 517627 HAS SOPS 451335 HAS SOUS 9014 HAS SOUPS 8860 WITH SCORE 9377.627
AT ITER 2081 NEW BEST:: SOT 1341530 SOS 517610 HAS SOPS 451306 HAS SOUS 9011 HAS SOUPS 8857 WITH SCORE 9374.61
AT ITER 2098 NEW BEST:: SOT 1341529 SOS 517621 HAS SOPS 451291 HAS SOUS 9010 HAS SOUPS 8856 WITH SCORE 9373.621
AT ITER 2100 NEW BEST:: SOT 1341507 SOS 517634 HAS SOPS 451288 HAS SOUS 9007 HAS SOUPS 8853 WITH SCORE 9370.634
AT ITER 2208 NEW BEST:: SOT 1341494 SOS 517628 HAS SOPS 451282 HAS SOUS 9001 HAS SOUPS 8847 WITH SCORE 9364.628
AT ITER 2224 NEW BEST:: SOT 1341479 SOS 517623 HAS SOPS 451277 HAS SOUS 8998 HAS SOUPS 8844 WITH SCORE 9361.623
AT ITER 2243 NEW BEST:: SOT 1341476 SOS 517623 HAS SOPS 451274 HAS SOUS 8995 HAS SOUPS 8841 WITH SCORE 9358.623
AT ITER 2274 NEW BEST:: SOT 1341482 SOS 517892 HAS SOPS 451273 HAS SOUS 8998 HAS SOUPS 8839 WITH SCORE 9356.892
AT ITER 2280 NEW BEST:: SOT 1341482 SOS 517784 HAS SOPS 451273 HAS SOUS 8996 HAS SOUPS 8839 WITH SCORE 9356.784
AT ITER 2308 NEW BEST:: SOT 1341481 SOS 517782 HAS SOPS 451271 HAS SOUS 8995 HAS SOUPS 8838 WITH SCORE 9355.782
AT ITER 2362 NEW BEST:: SOT 1341481 SOS 517781 HAS SOPS 451270 HAS SOUS 8994 HAS SOUPS 8837 WITH SCORE 9354.781
AT ITER 2394 NEW BEST:: SOT 1341494 SOS 517791 HAS SOPS 451280 HAS SOUS 8991 HAS SOUPS 8834 WITH SCORE 9351.791
AT ITER 2413 NEW BEST:: SOT 1341491 SOS 517788 HAS SOPS 453230 HAS SOUS 8989 HAS SOUPS 8832 WITH SCORE 9349.788
AT ITER 2420 NEW BEST:: SOT 1341481 SOS 517778 HAS SOPS 453220 HAS SOUS 8984 HAS SOUPS 8827 WITH SCORE 9344.778
AT ITER 2422 NEW BEST:: SOT 1341479 SOS 517770 HAS SOPS 453216 HAS SOUS 8982 HAS SOUPS 8825 WITH SCORE 9342.77
AT ITER 2450 NEW BEST:: SOT 1341475 SOS 517776 HAS SOPS 453208 HAS SOUS 8978 HAS SOUPS 8821 WITH SCORE 9338.776
AT ITER 2502 NEW BEST:: SOT 1341492 SOS 517779 HAS SOPS 453214 HAS SOUS 8977 HAS SOUPS 8820 WITH SCORE 9337.779
AT ITER 2536 NEW BEST:: SOT 1343648 SOS 519935 HAS SOPS 455254 HAS SOUS 8974 HAS SOUPS 8817 WITH SCORE 9336.935
AT ITER 2542 NEW BEST:: SOT 1343648 SOS 519929 HAS SOPS 455248 HAS SOUS 8971 HAS SOUPS 8814 WITH SCORE 9333.929
AT ITER 2547 NEW BEST:: SOT 1343670 SOS 519929 HAS SOPS 455248 HAS SOUS 8960 HAS SOUPS 8803 WITH SCORE 9322.929
AT ITER 2577 NEW BEST:: SOT 1343676 SOS 519928 HAS SOPS 455247 HAS SOUS 8953 HAS SOUPS 8796 WITH SCORE 9315.928
AT ITER 2604 NEW BEST:: SOT 1343651 SOS 519903 HAS SOPS 455197 HAS SOUS 8926 HAS SOUPS 8769 WITH SCORE 9288.903
AT ITER 2636 NEW BEST:: SOT 1343681 SOS 507249 HAS SOPS 450470 HAS SOUS 8932 HAS SOUPS 8776 WITH SCORE 9283.249
AT ITER 2639 NEW BEST:: SOT 1343683 SOS 507250 HAS SOPS 449107 HAS SOUS 8930 HAS SOUPS 8774 WITH SCORE 9281.25
AT ITER 2659 NEW BEST:: SOT 1343681 SOS 507246 HAS SOPS 449103 HAS SOUS 8926 HAS SOUPS 8770 WITH SCORE 9277.246
AT ITER 2705 NEW BEST:: SOT 1343679 SOS 507236 HAS SOPS 449099 HAS SOUS 8924 HAS SOUPS 8768 WITH SCORE 9275.236
AT ITER 2748 NEW BEST:: SOT 1343666 SOS 507227 HAS SOPS 449085 HAS SOUS 8920 HAS SOUPS 8764 WITH SCORE 9271.227
AT ITER 2763 NEW BEST:: SOT 1343663 SOS 507223 HAS SOPS 449081 HAS SOUS 8919 HAS SOUPS 8763 WITH SCORE 9270.223
AT ITER 2782 NEW BEST:: SOT 1343662 SOS 507221 HAS SOPS 449079 HAS SOUS 8917 HAS SOUPS 8761 WITH SCORE 9268.221
AT ITER 2794 NEW BEST:: SOT 1343662 SOS 507200 HAS SOPS 446301 HAS SOUS 8839 HAS SOUPS 8683 WITH SCORE 9190.2
AT ITER 2997 NEW BEST:: SOT 1343664 SOS 507192 HAS SOPS 446297 HAS SOUS 8830 HAS SOUPS 8677 WITH SCORE 9184.192
AT ITER 3001 NEW BEST:: SOT 1343670 SOS 507180 HAS SOPS 446297 HAS SOUS 8824 HAS SOUPS 8671 WITH SCORE 9178.18
AT ITER 3036 NEW BEST:: SOT 1343658 SOS 507131 HAS SOPS 446273 HAS SOUS 8802 HAS SOUPS 8649 WITH SCORE 9156.131
AT ITER 3037 NEW BEST:: SOT 1343659 SOS 507132 HAS SOPS 446263 HAS SOUS 8798 HAS SOUPS 8645 WITH SCORE 9152.132
AT ITER 3106 NEW BEST:: SOT 1343669 SOS 507127 HAS SOPS 446263 HAS SOUS 8793 HAS SOUPS 8640 WITH SCORE 9147.127
AT ITER 3123 NEW BEST:: SOT 1343672 SOS 507129 HAS SOPS 446265 HAS SOUS 8791 HAS SOUPS 8638 WITH SCORE 9145.129
AT ITER 3139 NEW BEST:: SOT 1343670 SOS 507128 HAS SOPS 446264 HAS SOUS 8791 HAS SOUPS 8638 WITH SCORE 9145.128
AT ITER 3152 NEW BEST:: SOT 1343624 SOS 507124 HAS SOPS 446216 HAS SOUS 8789 HAS SOUPS 8636 WITH SCORE 9143.124
AT ITER 3165 NEW BEST:: SOT 1343650 SOS 507126 HAS SOPS 446220 HAS SOUS 8781 HAS SOUPS 8628 WITH SCORE 9135.126
AT ITER 3188 NEW BEST:: SOT 1343649 SOS 507126 HAS SOPS 446220 HAS SOUS 8780 HAS SOUPS 8627 WITH SCORE 9134.126
AT ITER 3194 NEW BEST:: SOT 1343649 SOS 507125 HAS SOPS 446219 HAS SOUS 8779 HAS SOUPS 8626 WITH SCORE 9133.125
AT ITER 3195 NEW BEST:: SOT 1343650 SOS 507127 HAS SOPS 444986 HAS SOUS 8522 HAS SOUPS 8369 WITH SCORE 8876.127
AT ITER 3208 NEW BEST:: SOT 1343650 SOS 507127 HAS SOPS 444986 HAS SOUS 8519 HAS SOUPS 8366 WITH SCORE 8873.127
AT ITER 3238 NEW BEST:: SOT 1343642 SOS 507111 HAS SOPS 444970 HAS SOUS 8511 HAS SOUPS 8358 WITH SCORE 8865.111
AT ITER 3276 NEW BEST:: SOT 1343635 SOS 507105 HAS SOPS 444964 HAS SOUS 8511 HAS SOUPS 8358 WITH SCORE 8865.105
AT ITER 3318 NEW BEST:: SOT 1343632 SOS 507100 HAS SOPS 444958 HAS SOUS 8500 HAS SOUPS 8347 WITH SCORE 8854.1
AT ITER 3436 NEW BEST:: SOT 1343631 SOS 507098 HAS SOPS 444956 HAS SOUS 8498 HAS SOUPS 8345 WITH SCORE 8852.098
AT ITER 3438 NEW BEST:: SOT 1343623 SOS 507096 HAS SOPS 444952 HAS SOUS 8497 HAS SOUPS 8344 WITH SCORE 8851.096
AT ITER 3611 NEW BEST:: SOT 1343743 SOS 507104 HAS SOPS 444974 HAS SOUS 8470 HAS SOUPS 8317 WITH SCORE 8824.104
AT ITER 3679 NEW BEST:: SOT 1343785 SOS 507188 HAS SOPS 436978 HAS SOUS 8468 HAS SOUPS 8315 WITH SCORE 8822.188
AT ITER 3729 NEW BEST:: SOT 1343785 SOS 490880 HAS SOPS 436986 HAS SOUS 8460 HAS SOUPS 8309 WITH SCORE 8799.88
AT ITER 3790 NEW BEST:: SOT 1343761 SOS 490832 HAS SOPS 439290 HAS SOUS 8452 HAS SOUPS 8301 WITH SCORE 8791.832
AT ITER 3806 NEW BEST:: SOT 1340093 SOS 487162 HAS SOPS 435622 HAS SOUS 8198 HAS SOUPS 8047 WITH SCORE 8534.162
AT ITER 3879 NEW BEST:: SOT 1340073 SOS 487152 HAS SOPS 438450 HAS SOUS 8198 HAS SOUPS 8047 WITH SCORE 8534.152
AT ITER 4245 NEW BEST:: SOT 1340076 SOS 481522 HAS SOPS 438452 HAS SOUS 8200 HAS SOUPS 8050 WITH SCORE 8531.522
AT ITER 4294 NEW BEST:: SOT 1340075 SOS 481521 HAS SOPS 438451 HAS SOUS 8199 HAS SOUPS 8049 WITH SCORE 8530.521
AT ITER 4400 NEW BEST:: SOT 1340073 SOS 481519 HAS SOPS 438449 HAS SOUS 8197 HAS SOUPS 8047 WITH SCORE 8528.519
AT ITER 4401 NEW BEST:: SOT 1340070 SOS 481516 HAS SOPS 438443 HAS SOUS 8194 HAS SOUPS 8041 WITH SCORE 8522.516
AT ITER 4436 NEW BEST:: SOT 1340062 SOS 481516 HAS SOPS 438427 HAS SOUS 8186 HAS SOUPS 8033 WITH SCORE 8514.516
AT ITER 4483 NEW BEST:: SOT 1340068 SOS 481528 HAS SOPS 437025 HAS SOUS 8131 HAS SOUPS 7978 WITH SCORE 8459.528
AT ITER 4538 NEW BEST:: SOT 1340062 SOS 481522 HAS SOPS 437013 HAS SOUS 8125 HAS SOUPS 7972 WITH SCORE 8453.522
AT ITER 4545 NEW BEST:: SOT 1340062 SOS 481286 HAS SOPS 435313 HAS SOUS 8112 HAS SOUPS 7959 WITH SCORE 8440.286
AT ITER 4597 NEW BEST:: SOT 1340060 SOS 481282 HAS SOPS 435309 HAS SOUS 8110 HAS SOUPS 7957 WITH SCORE 8438.282
AT ITER 4605 NEW BEST:: SOT 1340059 SOS 481281 HAS SOPS 435308 HAS SOUS 8109 HAS SOUPS 7956 WITH SCORE 8437.281
AT ITER 4616 NEW BEST:: SOT 1340057 SOS 481277 HAS SOPS 435304 HAS SOUS 8107 HAS SOUPS 7954 WITH SCORE 8435.277
AT ITER 4619 NEW BEST:: SOT 1340043 SOS 481274 HAS SOPS 435296 HAS SOUS 8100 HAS SOUPS 7947 WITH SCORE 8428.274
AT ITER 4658 NEW BEST:: SOT 1340043 SOS 481273 HAS SOPS 435295 HAS SOUS 8099 HAS SOUPS 7946 WITH SCORE 8427.273
AT ITER 4770 NEW BEST:: SOT 1340048 SOS 481271 HAS SOPS 435299 HAS SOUS 8098 HAS SOUPS 7945 WITH SCORE 8426.271
AT ITER 4820 NEW BEST:: SOT 1340026 SOS 480873 HAS SOPS 436959 HAS SOUS 8087 HAS SOUPS 7934 WITH SCORE 8414.873
AT ITER 4821 NEW BEST:: SOT 1340027 SOS 480871 HAS SOPS 436959 HAS SOUS 8086 HAS SOUPS 7933 WITH SCORE 8413.871
AT ITER 4867 NEW BEST:: SOT 1340026 SOS 480868 HAS SOPS 436957 HAS SOUS 8084 HAS SOUPS 7931 WITH SCORE 8411.868
AT ITER 4877 NEW BEST:: SOT 1340014 SOS 486573 HAS SOPS 435493 HAS SOUS 8069 HAS SOUPS 7915 WITH SCORE 8401.573
AT ITER 4929 NEW BEST:: SOT 1340007 SOS 486571 HAS SOPS 435485 HAS SOUS 8068 HAS SOUPS 7914 WITH SCORE 8400.571
AT ITER 4964 NEW BEST:: SOT 1340004 SOS 486574 HAS SOPS 434809 HAS SOUS 8004 HAS SOUPS 7850 WITH SCORE 8336.574
AT ITER 5100 NEW BEST:: SOT 1340014 SOS 473546 HAS SOPS 418381 HAS SOUS 7995 HAS SOUPS 7841 WITH SCORE 8314.546
AT ITER 5358 NEW BEST:: SOT 1340017 SOS 473706 HAS SOPS 418379 HAS SOUS 7996 HAS SOUPS 7839 WITH SCORE 8312.706
AT ITER 5544 NEW BEST:: SOT 1340017 SOS 473701 HAS SOPS 418379 HAS SOUS 7992 HAS SOUPS 7839 WITH SCORE 8312.701000000001
AT ITER 5583 NEW BEST:: SOT 1340017 SOS 473700 HAS SOPS 418378 HAS SOUS 7992 HAS SOUPS 7839 WITH SCORE 8312.7
AT ITER 5637 NEW BEST:: SOT 1340035 SOS 473715 HAS SOPS 418386 HAS SOUS 7990 HAS SOUPS 7837 WITH SCORE 8310.715
AT ITER 5688 NEW BEST:: SOT 1340037 SOS 473714 HAS SOPS 418385 HAS SOUS 7989 HAS SOUPS 7836 WITH SCORE 8309.714
AT ITER 5705 NEW BEST:: SOT 1340034 SOS 473712 HAS SOPS 418383 HAS SOUS 7987 HAS SOUPS 7834 WITH SCORE 8307.712
AT ITER 5708 NEW BEST:: SOT 1340034 SOS 473710 HAS SOPS 418381 HAS SOUS 7986 HAS SOUPS 7833 WITH SCORE 8306.71
AT ITER 5783 NEW BEST:: SOT 1340038 SOS 473710 HAS SOPS 418381 HAS SOUS 7982 HAS SOUPS 7829 WITH SCORE 8302.71
AT ITER 5872 NEW BEST:: SOT 1340100 SOS 473718 HAS SOPS 418397 HAS SOUS 7971 HAS SOUPS 7818 WITH SCORE 8291.718
AT ITER 5898 NEW BEST:: SOT 1340100 SOS 473708 HAS SOPS 418389 HAS SOUS 7969 HAS SOUPS 7816 WITH SCORE 8289.708
AT ITER 5925 NEW BEST:: SOT 1340101 SOS 473699 HAS SOPS 418385 HAS SOUS 7966 HAS SOUPS 7813 WITH SCORE 8286.699
AT ITER 5941 NEW BEST:: SOT 1340101 SOS 473697 HAS SOPS 418383 HAS SOUS 7965 HAS SOUPS 7812 WITH SCORE 8285.697
AT ITER 5984 NEW BEST:: SOT 1340101 SOS 473691 HAS SOPS 414901 HAS SOUS 7937 HAS SOUPS 7784 WITH SCORE 8257.691
AT ITER 6162 NEW BEST:: SOT 1340095 SOS 473687 HAS SOPS 414893 HAS SOUS 7935 HAS SOUPS 7782 WITH SCORE 8255.687
AT ITER 6242 NEW BEST:: SOT 1340094 SOS 473685 HAS SOPS 414891 HAS SOUS 7933 HAS SOUPS 7780 WITH SCORE 8253.685
AT ITER 6428 NEW BEST:: SOT 1340093 SOS 473681 HAS SOPS 414887 HAS SOUS 7929 HAS SOUPS 7776 WITH SCORE 8249.681
AT ITER 6810 NEW BEST:: SOT 1340094 SOS 473679 HAS SOPS 414887 HAS SOUS 7928 HAS SOUPS 7775 WITH SCORE 8248.679
AT ITER 6949 NEW BEST:: SOT 1340110 SOS 473671 HAS SOPS 413143 HAS SOUS 7922 HAS SOUPS 7769 WITH SCORE 8242.671
AT ITER 7263 NEW BEST:: SOT 1340105 SOS 473669 HAS SOPS 413137 HAS SOUS 7921 HAS SOUPS 7768 WITH SCORE 8241.669
AT ITER 7278 NEW BEST:: SOT 1340104 SOS 473667 HAS SOPS 413135 HAS SOUS 7919 HAS SOUPS 7766 WITH SCORE 8239.667
AT ITER 7312 NEW BEST:: SOT 1340076 SOS 473653 HAS SOPS 413121 HAS SOUS 7919 HAS SOUPS 7766 WITH SCORE 8239.653
AT ITER 7378 NEW BEST:: SOT 1340060 SOS 473645 HAS SOPS 413113 HAS SOUS 7915 HAS SOUPS 7762 WITH SCORE 8235.645
AT ITER 7451 NEW BEST:: SOT 1340024 SOS 473638 HAS SOPS 413095 HAS SOUS 7914 HAS SOUPS 7761 WITH SCORE 8234.638
AT ITER 7585 NEW BEST:: SOT 1340019 SOS 473634 HAS SOPS 413091 HAS SOUS 7913 HAS SOUPS 7760 WITH SCORE 8233.634
AT ITER 7641 NEW BEST:: SOT 1340019 SOS 473630 HAS SOPS 413087 HAS SOUS 7913 HAS SOUPS 7760 WITH SCORE 8233.63
AT ITER 7656 NEW BEST:: SOT 1340018 SOS 473629 HAS SOPS 413086 HAS SOUS 7912 HAS SOUPS 7759 WITH SCORE 8232.629
AT ITER 7779 NEW BEST:: SOT 1340017 SOS 473627 HAS SOPS 413084 HAS SOUS 7910 HAS SOUPS 7757 WITH SCORE 8230.627
AT ITER 7797 NEW BEST:: SOT 1340015 SOS 473627 HAS SOPS 413082 HAS SOUS 7908 HAS SOUPS 7755 WITH SCORE 8228.627
AT ITER 7851 NEW BEST:: SOT 1340013 SOS 473625 HAS SOPS 413080 HAS SOUS 7907 HAS SOUPS 7754 WITH SCORE 8227.625
AT ITER 7871 NEW BEST:: SOT 1340043 SOS 473588 HAS SOPS 413080 HAS SOUS 7905 HAS SOUPS 7752 WITH SCORE 8225.588
AT ITER 7906 NEW BEST:: SOT 1340090 SOS 473558 HAS SOPS 413074 HAS SOUS 7898 HAS SOUPS 7745 WITH SCORE 8218.558
AT ITER 7923 NEW BEST:: SOT 1331318 SOS 464790 HAS SOPS 404555 HAS SOUS 7769 HAS SOUPS 7617 WITH SCORE 8081.79
AT ITER 8054 NEW BEST:: SOT 1331318 SOS 464788 HAS SOPS 404553 HAS SOUS 7767 HAS SOUPS 7615 WITH SCORE 8079.7880000000005
AT ITER 8108 NEW BEST:: SOT 1331316 SOS 464785 HAS SOPS 404550 HAS SOUS 7766 HAS SOUPS 7614 WITH SCORE 8078.785
AT ITER 8152 NEW BEST:: SOT 1331309 SOS 464777 HAS SOPS 404542 HAS SOUS 7765 HAS SOUPS 7613 WITH SCORE 8077.777
AT ITER 8201 NEW BEST:: SOT 1331302 SOS 464776 HAS SOPS 404535 HAS SOUS 7758 HAS SOUPS 7606 WITH SCORE 8070.776
AT ITER 8218 NEW BEST:: SOT 1331295 SOS 464774 HAS SOPS 404527 HAS SOUS 7757 HAS SOUPS 7605 WITH SCORE 8069.774
AT ITER 8277 NEW BEST:: SOT 1331310 SOS 464769 HAS SOPS 404529 HAS SOUS 7752 HAS SOUPS 7600 WITH SCORE 8064.769
AT ITER 8316 NEW BEST:: SOT 1331310 SOS 464767 HAS SOPS 404527 HAS SOUS 7751 HAS SOUPS 7599 WITH SCORE 8063.767
AT ITER 8348 NEW BEST:: SOT 1331332 SOS 464789 HAS SOPS 404548 HAS SOUS 7751 HAS SOUPS 7598 WITH SCORE 8062.789
AT ITER 8354 NEW BEST:: SOT 1331323 SOS 464786 HAS SOPS 404542 HAS SOUS 7748 HAS SOUPS 7595 WITH SCORE 8059.786
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 15137784 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16072164 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="StigmergyElection-PT-09a"
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 StigmergyElection-PT-09a, 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 r459-smll-167912651600672"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/StigmergyElection-PT-09a.tgz
mv StigmergyElection-PT-09a 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 ;