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.r331-tall-167889204000080.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 RERS17pb114-PT-1, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204000080
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 5.1K Feb 26 04:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 49K Feb 26 04:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 26 04:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 04:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 04:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 26 04:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 04:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 26 04:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 73M 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 1679057502702

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=RERS17pb114-PT-1
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 12:51:44] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 12:51:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 12:51:47] [INFO ] Load time of PNML (sax parser for PT used): 2327 ms
[2023-03-17 12:51:47] [INFO ] Transformed 1446 places.
[2023-03-17 12:51:47] [INFO ] Transformed 151085 transitions.
[2023-03-17 12:51:47] [INFO ] Found NUPN structural information;
[2023-03-17 12:51:47] [INFO ] Parsed PT model containing 1446 places and 151085 transitions and 604252 arcs in 2854 ms.
[2023-03-17 12:51:48] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1446 places, 151085 transitions and 604252 arcs took 412 ms.
Total runtime 3304 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 1
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: 1446 places, 151085 transitions, 604252 arcs.
AT ITER 0 NEW BEST:: SOT 133637376 SOS 82102937 HAS SOPS 66701866 HAS SOUS 26450299 HAS SOUPS 25820610 WITH SCORE 2.5902712937E7
AT ITER 1 NEW BEST:: SOT 133620423 SOS 82085781 HAS SOPS 66682442 HAS SOUS 26430825 HAS SOUPS 25801006 WITH SCORE 2.5883091781E7
AT ITER 4 NEW BEST:: SOT 133607745 SOS 82090829 HAS SOPS 66698693 HAS SOUS 26383987 HAS SOUPS 25754168 WITH SCORE 2.5836258829E7
AT ITER 12 NEW BEST:: SOT 133586979 SOS 82067621 HAS SOPS 66685092 HAS SOUS 26355387 HAS SOUPS 25725536 WITH SCORE 2.5807603621E7
AT ITER 21 NEW BEST:: SOT 133608588 SOS 82133895 HAS SOPS 66765033 HAS SOUS 26338701 HAS SOUPS 25708850 WITH SCORE 2.5790983895E7
AT ITER 22 NEW BEST:: SOT 133609025 SOS 82133525 HAS SOPS 66763812 HAS SOUS 26334023 HAS SOUPS 25704172 WITH SCORE 2.5786305525E7
AT ITER 33 NEW BEST:: SOT 133599745 SOS 82124024 HAS SOPS 66751431 HAS SOUS 26332085 HAS SOUPS 25702234 WITH SCORE 2.5784358024E7
AT ITER 37 NEW BEST:: SOT 133617124 SOS 82197646 HAS SOPS 66817605 HAS SOUS 26314560 HAS SOUPS 25684709 WITH SCORE 2.5766906646E7
AT ITER 57 NEW BEST:: SOT 133628119 SOS 82209765 HAS SOPS 66837788 HAS SOUS 26306041 HAS SOUPS 25676614 WITH SCORE 2.5758823765E7
AT ITER 74 NEW BEST:: SOT 133627875 SOS 82209643 HAS SOPS 66837512 HAS SOUS 26305363 HAS SOUPS 25675936 WITH SCORE 2.5758145643E7
AT ITER 78 NEW BEST:: SOT 133678226 SOS 82373147 HAS SOPS 66978207 HAS SOUS 26287988 HAS SOUPS 25658561 WITH SCORE 2.5740934147E7
AT ITER 92 NEW BEST:: SOT 133667333 SOS 82358924 HAS SOPS 66985486 HAS SOUS 26251658 HAS SOUPS 25622231 WITH SCORE 2.5704589924E7
AT ITER 106 NEW BEST:: SOT 133658929 SOS 82344450 HAS SOPS 66973082 HAS SOUS 26244053 HAS SOUPS 25614626 WITH SCORE 2.569697045E7
AT ITER 108 NEW BEST:: SOT 133658509 SOS 82341868 HAS SOPS 66971236 HAS SOUS 26243485 HAS SOUPS 25614058 WITH SCORE 2.5696399868E7
AT ITER 109 NEW BEST:: SOT 133651118 SOS 82329623 HAS SOPS 66954476 HAS SOUS 26227938 HAS SOUPS 25598511 WITH SCORE 2.5680840623E7
AT ITER 115 NEW BEST:: SOT 133641356 SOS 82317831 HAS SOPS 66959172 HAS SOUS 26186057 HAS SOUPS 25556831 WITH SCORE 2.5639148831E7
AT ITER 120 NEW BEST:: SOT 133637259 SOS 82316053 HAS SOPS 66953092 HAS SOUS 26176693 HAS SOUPS 25547467 WITH SCORE 2.5629783053E7
AT ITER 127 NEW BEST:: SOT 133640352 SOS 82321597 HAS SOPS 66957091 HAS SOUS 26173200 HAS SOUPS 25544402 WITH SCORE 2.5626723597E7
AT ITER 142 NEW BEST:: SOT 133640978 SOS 82322595 HAS SOPS 66956235 HAS SOUS 26172978 HAS SOUPS 25544152 WITH SCORE 2.5626474595E7
AT ITER 153 NEW BEST:: SOT 133642024 SOS 82324382 HAS SOPS 66954284 HAS SOUS 26172081 HAS SOUPS 25543132 WITH SCORE 2.5625456382E7
AT ITER 159 NEW BEST:: SOT 133641562 SOS 82329735 HAS SOPS 66981845 HAS SOUS 26159764 HAS SOUPS 25531170 WITH SCORE 2.5613499735E7
AT ITER 178 NEW BEST:: SOT 133639805 SOS 82330653 HAS SOPS 66980004 HAS SOUS 26153888 HAS SOUPS 25525294 WITH SCORE 2.5607624653E7
AT ITER 194 NEW BEST:: SOT 133641559 SOS 82348817 HAS SOPS 66990123 HAS SOUS 26140142 HAS SOUPS 25511548 WITH SCORE 2.5593896817E7
AT ITER 236 NEW BEST:: SOT 133660438 SOS 82459765 HAS SOPS 67104429 HAS SOUS 26135629 HAS SOUPS 25507035 WITH SCORE 2.5589494765E7
AT ITER 243 NEW BEST:: SOT 133616741 SOS 82340115 HAS SOPS 67035711 HAS SOUS 26125124 HAS SOUPS 25496805 WITH SCORE 2.5579145115E7
AT ITER 244 NEW BEST:: SOT 133557533 SOS 82261812 HAS SOPS 66961005 HAS SOUS 26062243 HAS SOUPS 25433835 WITH SCORE 2.5516096812E7
AT ITER 256 NEW BEST:: SOT 133557581 SOS 82262172 HAS SOPS 66961113 HAS SOUS 26062125 HAS SOUPS 25433717 WITH SCORE 2.5515979172E7
AT ITER 289 NEW BEST:: SOT 133569625 SOS 82349633 HAS SOPS 67032460 HAS SOUS 26021670 HAS SOUPS 25393262 WITH SCORE 2.5475611633E7
AT ITER 296 NEW BEST:: SOT 133568638 SOS 82346422 HAS SOPS 67029929 HAS SOUS 26021495 HAS SOUPS 25393087 WITH SCORE 2.5475433422E7
AT ITER 298 NEW BEST:: SOT 133554443 SOS 82334208 HAS SOPS 67026211 HAS SOUS 26015876 HAS SOUPS 25387468 WITH SCORE 2.5469802208E7
AT ITER 305 NEW BEST:: SOT 133554246 SOS 82334054 HAS SOPS 67027065 HAS SOUS 26013579 HAS SOUPS 25385234 WITH SCORE 2.5467568054E7
AT ITER 313 NEW BEST:: SOT 133540233 SOS 82319685 HAS SOPS 67007642 HAS SOUS 25985550 HAS SOUPS 25357096 WITH SCORE 2.5439415685E7
AT ITER 318 NEW BEST:: SOT 133558834 SOS 82382923 HAS SOPS 67096938 HAS SOUS 25970753 HAS SOUPS 25342299 WITH SCORE 2.5424681923E7
AT ITER 330 NEW BEST:: SOT 133561692 SOS 82383926 HAS SOPS 67096404 HAS SOUS 25968874 HAS SOUPS 25341197 WITH SCORE 2.5423580926E7
AT ITER 333 NEW BEST:: SOT 133546570 SOS 82358096 HAS SOPS 67082888 HAS SOUS 25966831 HAS SOUPS 25339154 WITH SCORE 2.5421512096E7
AT ITER 342 NEW BEST:: SOT 133593563 SOS 82486125 HAS SOPS 67197663 HAS SOUS 25957639 HAS SOUPS 25329962 WITH SCORE 2.5412448125E7
AT ITER 367 NEW BEST:: SOT 133597940 SOS 82480338 HAS SOPS 67193732 HAS SOUS 25949646 HAS SOUPS 25321969 WITH SCORE 2.5404449338E7
AT ITER 371 NEW BEST:: SOT 133605472 SOS 82491394 HAS SOPS 67201746 HAS SOUS 25949484 HAS SOUPS 25321807 WITH SCORE 2.5404298394E7
AT ITER 389 NEW BEST:: SOT 133616339 SOS 82532811 HAS SOPS 67227539 HAS SOUS 25937501 HAS SOUPS 25309824 WITH SCORE 2.5392356811E7
AT ITER 399 NEW BEST:: SOT 133618260 SOS 82550929 HAS SOPS 67249691 HAS SOUS 25929404 HAS SOUPS 25301727 WITH SCORE 2.5384277929E7
AT ITER 402 NEW BEST:: SOT 133618257 SOS 82553100 HAS SOPS 67253092 HAS SOUS 25927046 HAS SOUPS 25299369 WITH SCORE 2.53819221E7
AT ITER 407 NEW BEST:: SOT 133612383 SOS 82545852 HAS SOPS 67245770 HAS SOUS 25908054 HAS SOUPS 25280377 WITH SCORE 2.5362922852E7
AT ITER 417 NEW BEST:: SOT 133599124 SOS 82539241 HAS SOPS 67232546 HAS SOUS 25862645 HAS SOUPS 25234834 WITH SCORE 2.5317373241E7
AT ITER 422 NEW BEST:: SOT 133594962 SOS 82531398 HAS SOPS 67224639 HAS SOUS 25854987 HAS SOUPS 25227216 WITH SCORE 2.5309747398E7
AT ITER 425 NEW BEST:: SOT 133588243 SOS 82519317 HAS SOPS 67213420 HAS SOUS 25851713 HAS SOUPS 25223942 WITH SCORE 2.5306461317E7
AT ITER 428 NEW BEST:: SOT 133599987 SOS 82553248 HAS SOPS 67279844 HAS SOUS 25817604 HAS SOUPS 25190412 WITH SCORE 2.5272965248E7
AT ITER 429 NEW BEST:: SOT 133410924 SOS 82340343 HAS SOPS 67072778 HAS SOUS 25593458 HAS SOUPS 24966597 WITH SCORE 2.5048937343E7
AT ITER 431 NEW BEST:: SOT 133410456 SOS 82353715 HAS SOPS 67087490 HAS SOUS 25580217 HAS SOUPS 24953356 WITH SCORE 2.5035709715E7
AT ITER 440 NEW BEST:: SOT 133412243 SOS 82359134 HAS SOPS 67093094 HAS SOUS 25580151 HAS SOUPS 24953290 WITH SCORE 2.5035649134E7
AT ITER 455 NEW BEST:: SOT 133399389 SOS 82331814 HAS SOPS 67074245 HAS SOUS 25573145 HAS SOUPS 24946284 WITH SCORE 2.5028615814E7
AT ITER 471 NEW BEST:: SOT 133397345 SOS 82329770 HAS SOPS 67072185 HAS SOUS 25571101 HAS SOUPS 24944224 WITH SCORE 2.502655377E7
AT ITER 472 NEW BEST:: SOT 133391273 SOS 82315738 HAS SOPS 67063634 HAS SOUS 25564719 HAS SOUPS 24939089 WITH SCORE 2.5021404738E7
AT ITER 485 NEW BEST:: SOT 133386254 SOS 82306479 HAS SOPS 67054345 HAS SOUS 25553926 HAS SOUPS 24928331 WITH SCORE 2.5010637479E7
AT ITER 486 NEW BEST:: SOT 133382768 SOS 82301904 HAS SOPS 67050714 HAS SOUS 25550714 HAS SOUPS 24925119 WITH SCORE 2.5007420904E7
AT ITER 495 NEW BEST:: SOT 133372428 SOS 82280985 HAS SOPS 67026132 HAS SOUS 25544035 HAS SOUPS 24918440 WITH SCORE 2.5000720985E7
AT ITER 502 NEW BEST:: SOT 133365590 SOS 82249469 HAS SOPS 67007837 HAS SOUS 25525931 HAS SOUPS 24900336 WITH SCORE 2.4982585469E7
AT ITER 517 NEW BEST:: SOT 133370549 SOS 82252183 HAS SOPS 67013374 HAS SOUS 25518092 HAS SOUPS 24893172 WITH SCORE 2.4975424183E7
AT ITER 520 NEW BEST:: SOT 133358659 SOS 82233241 HAS SOPS 66994260 HAS SOUS 25510727 HAS SOUPS 24885807 WITH SCORE 2.4968040241E7
AT ITER 525 NEW BEST:: SOT 133387742 SOS 82344486 HAS SOPS 67089645 HAS SOUS 25507686 HAS SOUPS 24882766 WITH SCORE 2.4965110486E7
AT ITER 528 NEW BEST:: SOT 133386312 SOS 82343004 HAS SOPS 67086915 HAS SOUS 25504190 HAS SOUPS 24879270 WITH SCORE 2.4961613004E7
AT ITER 534 NEW BEST:: SOT 133386082 SOS 82341230 HAS SOPS 67086721 HAS SOUS 25503420 HAS SOUPS 24878500 WITH SCORE 2.496084123E7
AT ITER 537 NEW BEST:: SOT 133383815 SOS 82339885 HAS SOPS 67089256 HAS SOUS 25485590 HAS SOUPS 24860670 WITH SCORE 2.4943009885E7
AT ITER 546 NEW BEST:: SOT 133386220 SOS 82354797 HAS SOPS 67099624 HAS SOUS 25481528 HAS SOUPS 24856608 WITH SCORE 2.4938962797E7
AT ITER 549 NEW BEST:: SOT 133382274 SOS 82350745 HAS SOPS 67094897 HAS SOUS 25473684 HAS SOUPS 24848764 WITH SCORE 2.4931114745E7
AT ITER 552 NEW BEST:: SOT 133375074 SOS 82345815 HAS SOPS 67095842 HAS SOUS 25456997 HAS SOUPS 24832077 WITH SCORE 2.4914422815E7
AT ITER 553 NEW BEST:: SOT 133364826 SOS 82331583 HAS SOPS 67081411 HAS SOUS 25440518 HAS SOUPS 24815598 WITH SCORE 2.4897929583E7
AT ITER 556 NEW BEST:: SOT 133362336 SOS 82339266 HAS SOPS 67088652 HAS SOUS 25430528 HAS SOUPS 24805608 WITH SCORE 2.4887947266E7
AT ITER 566 NEW BEST:: SOT 133366697 SOS 82382293 HAS SOPS 67125628 HAS SOUS 25422823 HAS SOUPS 24797903 WITH SCORE 2.4880285293E7
AT ITER 567 NEW BEST:: SOT 133366440 SOS 82384264 HAS SOPS 67125980 HAS SOUS 25420553 HAS SOUPS 24795633 WITH SCORE 2.4878017264E7
AT ITER 603 NEW BEST:: SOT 133326442 SOS 82272015 HAS SOPS 67070493 HAS SOUS 25397632 HAS SOUPS 24772712 WITH SCORE 2.4854984015E7
AT ITER 629 NEW BEST:: SOT 133324574 SOS 82264835 HAS SOPS 67065927 HAS SOUS 25395920 HAS SOUPS 24771000 WITH SCORE 2.4853264835E7
AT ITER 637 NEW BEST:: SOT 133320737 SOS 82261547 HAS SOPS 67063458 HAS SOUS 25390116 HAS SOUPS 24765230 WITH SCORE 2.4847491547E7
AT ITER 649 NEW BEST:: SOT 133303686 SOS 82234738 HAS SOPS 67045557 HAS SOUS 25373415 HAS SOUPS 24748529 WITH SCORE 2.4830763738E7
AT ITER 650 NEW BEST:: SOT 133302949 SOS 82231705 HAS SOPS 67043197 HAS SOUS 25372944 HAS SOUPS 24748128 WITH SCORE 2.4830359705E7
AT ITER 670 NEW BEST:: SOT 133299937 SOS 82228532 HAS SOPS 67038452 HAS SOUS 25366907 HAS SOUPS 24742091 WITH SCORE 2.4824319532E7
AT ITER 674 NEW BEST:: SOT 133307606 SOS 82240447 HAS SOPS 67046983 HAS SOUS 25363451 HAS SOUPS 24738635 WITH SCORE 2.4820875447E7
AT ITER 675 NEW BEST:: SOT 133324457 SOS 82283341 HAS SOPS 67080478 HAS SOUS 25348495 HAS SOUPS 24723679 WITH SCORE 2.4805962341E7
AT ITER 676 NEW BEST:: SOT 133292730 SOS 82233008 HAS SOPS 67045355 HAS SOUS 25316267 HAS SOUPS 24691726 WITH SCORE 2.4773959008E7
AT ITER 696 NEW BEST:: SOT 133289390 SOS 82229258 HAS SOPS 67045540 HAS SOUS 25307775 HAS SOUPS 24683302 WITH SCORE 2.4765531258E7
AT ITER 697 NEW BEST:: SOT 133288150 SOS 82233711 HAS SOPS 67053755 HAS SOUS 25298322 HAS SOUPS 24673849 WITH SCORE 2.4756082711E7
AT ITER 710 NEW BEST:: SOT 133301420 SOS 82279739 HAS SOPS 67096816 HAS SOUS 25292476 HAS SOUPS 24668003 WITH SCORE 2.4750282739E7
AT ITER 719 NEW BEST:: SOT 133300529 SOS 82277620 HAS SOPS 67093692 HAS SOUS 25291392 HAS SOUPS 24666919 WITH SCORE 2.474919662E7
AT ITER 723 NEW BEST:: SOT 133302351 SOS 82278673 HAS SOPS 67112111 HAS SOUS 25284161 HAS SOUPS 24659624 WITH SCORE 2.4741902673E7
AT ITER 735 NEW BEST:: SOT 133278356 SOS 82249796 HAS SOPS 67083058 HAS SOUS 25255361 HAS SOUPS 24630942 WITH SCORE 2.4713191796E7
AT ITER 748 NEW BEST:: SOT 133281902 SOS 82263847 HAS SOPS 67092074 HAS SOUS 25253731 HAS SOUPS 24629280 WITH SCORE 2.4711543847E7
AT ITER 756 NEW BEST:: SOT 133312455 SOS 82370896 HAS SOPS 67181402 HAS SOUS 25230550 HAS SOUPS 24606099 WITH SCORE 2.4688469896E7
AT ITER 775 NEW BEST:: SOT 133310495 SOS 82367484 HAS SOPS 67178710 HAS SOUS 25228518 HAS SOUPS 24604403 WITH SCORE 2.4686770484E7
AT ITER 776 NEW BEST:: SOT 133324767 SOS 82399150 HAS SOPS 67233451 HAS SOUS 25218558 HAS SOUPS 24594443 WITH SCORE 2.467684215E7
AT ITER 780 NEW BEST:: SOT 133316223 SOS 82390335 HAS SOPS 67224313 HAS SOUS 25185531 HAS SOUPS 24561217 WITH SCORE 2.4643607335E7
AT ITER 795 NEW BEST:: SOT 133311606 SOS 82384754 HAS SOPS 67214098 HAS SOUS 25174980 HAS SOUPS 24550666 WITH SCORE 2.4633050754E7
AT ITER 813 NEW BEST:: SOT 133304187 SOS 82377335 HAS SOPS 67206167 HAS SOUS 25167113 HAS SOUPS 24542511 WITH SCORE 2.4624888335E7
AT ITER 852 NEW BEST:: SOT 133305312 SOS 82383440 HAS SOPS 67212173 HAS SOUS 25162480 HAS SOUPS 24537878 WITH SCORE 2.462026144E7
AT ITER 865 NEW BEST:: SOT 133303309 SOS 82381288 HAS SOPS 67205952 HAS SOUS 25158026 HAS SOUPS 24533424 WITH SCORE 2.4615805288E7
AT ITER 868 NEW BEST:: SOT 133299856 SOS 82380135 HAS SOPS 67203169 HAS SOUS 25148692 HAS SOUPS 24524090 WITH SCORE 2.4606470135E7
AT ITER 887 NEW BEST:: SOT 133300380 SOS 82390955 HAS SOPS 67210627 HAS SOUS 25140136 HAS SOUPS 24515534 WITH SCORE 2.4597924955E7
AT ITER 917 NEW BEST:: SOT 133286880 SOS 82394416 HAS SOPS 67237682 HAS SOUS 25131669 HAS SOUPS 24507067 WITH SCORE 2.4589461416E7
AT ITER 929 NEW BEST:: SOT 133283846 SOS 82391873 HAS SOPS 67233944 HAS SOUS 25121004 HAS SOUPS 24496402 WITH SCORE 2.4578793873E7
AT ITER 943 NEW BEST:: SOT 133368162 SOS 82451931 HAS SOPS 67252688 HAS SOUS 25107485 HAS SOUPS 24483006 WITH SCORE 2.4565457931E7
AT ITER 949 NEW BEST:: SOT 133373461 SOS 82494995 HAS SOPS 67263214 HAS SOUS 25083886 HAS SOUPS 24459407 WITH SCORE 2.4541901995E7
AT ITER 954 NEW BEST:: SOT 133373379 SOS 82498258 HAS SOPS 67267558 HAS SOUS 25079087 HAS SOUPS 24454608 WITH SCORE 2.4537106258E7
AT ITER 959 NEW BEST:: SOT 133372675 SOS 82498614 HAS SOPS 67270089 HAS SOUS 25077527 HAS SOUPS 24453048 WITH SCORE 2.4535546614E7
AT ITER 964 NEW BEST:: SOT 133371250 SOS 82495194 HAS SOPS 67267329 HAS SOUS 25076562 HAS SOUPS 24452083 WITH SCORE 2.4534578194E7
AT ITER 967 NEW BEST:: SOT 133368029 SOS 82489455 HAS SOPS 67264176 HAS SOUS 25067514 HAS SOUPS 24443035 WITH SCORE 2.4525524455E7
AT ITER 969 NEW BEST:: SOT 133368184 SOS 82496136 HAS SOPS 67267234 HAS SOUS 25050999 HAS SOUPS 24426970 WITH SCORE 2.4509466136E7
AT ITER 990 NEW BEST:: SOT 133364316 SOS 82490756 HAS SOPS 67261744 HAS SOUS 25048980 HAS SOUPS 24424650 WITH SCORE 2.4507140756E7
AT ITER 993 NEW BEST:: SOT 133359548 SOS 82485498 HAS SOPS 67254771 HAS SOUS 25039664 HAS SOUPS 24415360 WITH SCORE 2.4497845498E7
AT ITER 1004 NEW BEST:: SOT 133362965 SOS 82485602 HAS SOPS 67255201 HAS SOUS 25031958 HAS SOUPS 24407802 WITH SCORE 2.4490287602E7
AT ITER 1017 NEW BEST:: SOT 133361649 SOS 82483139 HAS SOPS 67251722 HAS SOUS 25028900 HAS SOUPS 24404801 WITH SCORE 2.4487284139E7
AT ITER 1033 NEW BEST:: SOT 133365445 SOS 82495327 HAS SOPS 67260733 HAS SOUS 25024526 HAS SOUPS 24400427 WITH SCORE 2.4482922327E7
AT ITER 1034 NEW BEST:: SOT 133354156 SOS 82479401 HAS SOPS 67246838 HAS SOUS 24997049 HAS SOUPS 24372950 WITH SCORE 2.4455429401E7
AT ITER 1038 NEW BEST:: SOT 133353217 SOS 82482633 HAS SOPS 67248881 HAS SOUS 24988285 HAS SOUPS 24364186 WITH SCORE 2.4446668633E7
AT ITER 1064 NEW BEST:: SOT 133353092 SOS 82482398 HAS SOPS 67248346 HAS SOUS 24988115 HAS SOUPS 24364016 WITH SCORE 2.4446498398E7
AT ITER 1066 NEW BEST:: SOT 133352451 SOS 82478768 HAS SOPS 67239033 HAS SOUS 24982652 HAS SOUPS 24358553 WITH SCORE 2.4441031768E7
AT ITER 1067 NEW BEST:: SOT 133334015 SOS 82451252 HAS SOPS 67211149 HAS SOUS 24955123 HAS SOUPS 24331124 WITH SCORE 2.4413575252E7
AT ITER 1073 NEW BEST:: SOT 133330906 SOS 82443510 HAS SOPS 67199778 HAS SOUS 24953201 HAS SOUPS 24329202 WITH SCORE 2.441164551E7
AT ITER 1094 NEW BEST:: SOT 133326574 SOS 82433633 HAS SOPS 67190256 HAS SOUS 24949912 HAS SOUPS 24325913 WITH SCORE 2.4408346633E7
AT ITER 1097 NEW BEST:: SOT 133325927 SOS 82433136 HAS SOPS 67187910 HAS SOUS 24943636 HAS SOUPS 24319625 WITH SCORE 2.4402058136E7
AT ITER 1109 NEW BEST:: SOT 133322999 SOS 82426631 HAS SOPS 67182491 HAS SOUS 24943113 HAS SOUPS 24319102 WITH SCORE 2.4401528631E7
AT ITER 1121 NEW BEST:: SOT 133322071 SOS 82424113 HAS SOPS 67179432 HAS SOUS 24940486 HAS SOUPS 24316475 WITH SCORE 2.4398899113E7
AT ITER 1136 NEW BEST:: SOT 133313916 SOS 82394783 HAS SOPS 67168103 HAS SOUS 24935979 HAS SOUPS 24311968 WITH SCORE 2.4394362783E7
AT ITER 1138 NEW BEST:: SOT 133312370 SOS 82386360 HAS SOPS 67163072 HAS SOUS 24933374 HAS SOUPS 24309363 WITH SCORE 2.439174936E7
AT ITER 1168 NEW BEST:: SOT 133311647 SOS 82386992 HAS SOPS 67163042 HAS SOUS 24932026 HAS SOUPS 24307965 WITH SCORE 2.4390351992E7
AT ITER 1169 NEW BEST:: SOT 133325771 SOS 82404104 HAS SOPS 67188984 HAS SOUS 24921938 HAS SOUPS 24297776 WITH SCORE 2.4380180104E7
AT ITER 1182 NEW BEST:: SOT 133250879 SOS 82266562 HAS SOPS 67083180 HAS SOUS 24862075 HAS SOUPS 24238921 WITH SCORE 2.4321187562E7
AT ITER 1183 NEW BEST:: SOT 133257148 SOS 82278080 HAS SOPS 67088767 HAS SOUS 24859202 HAS SOUPS 24236048 WITH SCORE 2.431832608E7
AT ITER 1184 NEW BEST:: SOT 133255206 SOS 82280236 HAS SOPS 67090237 HAS SOUS 24853748 HAS SOUPS 24230558 WITH SCORE 2.4312838236E7
AT ITER 1187 NEW BEST:: SOT 133260297 SOS 82294778 HAS SOPS 67100502 HAS SOUS 24850316 HAS SOUPS 24227126 WITH SCORE 2.4309420778E7
AT ITER 1217 NEW BEST:: SOT 133254212 SOS 82284860 HAS SOPS 67087372 HAS SOUS 24831607 HAS SOUPS 24208417 WITH SCORE 2.429070186E7
AT ITER 1224 NEW BEST:: SOT 133253425 SOS 82282910 HAS SOPS 67088779 HAS SOUS 24822050 HAS SOUPS 24200671 WITH SCORE 2.428295391E7
AT ITER 1249 NEW BEST:: SOT 133253457 SOS 82283198 HAS SOPS 67088843 HAS SOUS 24821700 HAS SOUPS 24200321 WITH SCORE 2.4282604198E7
AT ITER 1260 NEW BEST:: SOT 133248412 SOS 82254174 HAS SOPS 67061535 HAS SOUS 24817206 HAS SOUPS 24195827 WITH SCORE 2.4278081174E7
AT ITER 1278 NEW BEST:: SOT 133280164 SOS 82395189 HAS SOPS 67211623 HAS SOUS 24780519 HAS SOUPS 24159140 WITH SCORE 2.4241535189E7
AT ITER 1286 NEW BEST:: SOT 133277075 SOS 82391455 HAS SOPS 67211807 HAS SOUS 24780413 HAS SOUPS 24159034 WITH SCORE 2.4241425455E7
AT ITER 1288 NEW BEST:: SOT 133235692 SOS 82345858 HAS SOPS 67166024 HAS SOUS 24754845 HAS SOUPS 24133466 WITH SCORE 2.4215811858E7
AT ITER 1291 NEW BEST:: SOT 133235319 SOS 82346752 HAS SOPS 67171848 HAS SOUS 24753053 HAS SOUPS 24131674 WITH SCORE 2.4214020752E7
AT ITER 1312 NEW BEST:: SOT 133232077 SOS 82343515 HAS SOPS 67167589 HAS SOUS 24749270 HAS SOUPS 24127891 WITH SCORE 2.4210234515E7
AT ITER 1317 NEW BEST:: SOT 133200177 SOS 82275385 HAS SOPS 67122356 HAS SOUS 24735347 HAS SOUPS 24114343 WITH SCORE 2.4196618385E7
AT ITER 1330 NEW BEST:: SOT 133213429 SOS 82309161 HAS SOPS 67142205 HAS SOUS 24728818 HAS SOUPS 24107814 WITH SCORE 2.4190123161E7
AT ITER 1346 NEW BEST:: SOT 133196734 SOS 82280029 HAS SOPS 67121809 HAS SOUS 24717325 HAS SOUPS 24096321 WITH SCORE 2.4178601029E7
AT ITER 1351 NEW BEST:: SOT 133191520 SOS 82263822 HAS SOPS 67109374 HAS SOUS 24715121 HAS SOUPS 24094117 WITH SCORE 2.4176380822E7
AT ITER 1353 NEW BEST:: SOT 133195012 SOS 82261794 HAS SOPS 67111157 HAS SOUS 24713380 HAS SOUPS 24092376 WITH SCORE 2.4174637794E7
AT ITER 1354 NEW BEST:: SOT 133187857 SOS 82251993 HAS SOPS 67097753 HAS SOUS 24695775 HAS SOUPS 24074518 WITH SCORE 2.4156769993E7
AT ITER 1361 NEW BEST:: SOT 133188718 SOS 82262270 HAS SOPS 67100597 HAS SOUS 24688678 HAS SOUPS 24067421 WITH SCORE 2.414968327E7
AT ITER 1363 NEW BEST:: SOT 133219231 SOS 82363640 HAS SOPS 67220167 HAS SOUS 24661274 HAS SOUPS 24040017 WITH SCORE 2.412238064E7
AT ITER 1372 NEW BEST:: SOT 133263940 SOS 82494590 HAS SOPS 67348456 HAS SOUS 24650217 HAS SOUPS 24028881 WITH SCORE 2.411137559E7
AT ITER 1377 NEW BEST:: SOT 133259266 SOS 82484412 HAS SOPS 67343662 HAS SOUS 24649811 HAS SOUPS 24028540 WITH SCORE 2.4111024412E7
AT ITER 1383 NEW BEST:: SOT 133234375 SOS 82451730 HAS SOPS 67313700 HAS SOUS 24624341 HAS SOUPS 24003070 WITH SCORE 2.408552173E7
AT ITER 1395 NEW BEST:: SOT 133213937 SOS 82426118 HAS SOPS 67289462 HAS SOUS 24593262 HAS SOUPS 23972453 WITH SCORE 2.4054879118E7
AT ITER 1419 NEW BEST:: SOT 133102533 SOS 82301205 HAS SOPS 67168260 HAS SOUS 24426831 HAS SOUPS 23806153 WITH SCORE 2.3888454205E7
AT ITER 1429 NEW BEST:: SOT 133090615 SOS 82286804 HAS SOPS 67177752 HAS SOUS 24423074 HAS SOUPS 23802396 WITH SCORE 2.3884682804E7
AT ITER 1436 NEW BEST:: SOT 133084354 SOS 82278070 HAS SOPS 67169559 HAS SOUS 24415072 HAS SOUPS 23794436 WITH SCORE 2.387671407E7
AT ITER 1438 NEW BEST:: SOT 133052467 SOS 82221497 HAS SOPS 67117036 HAS SOUS 24368138 HAS SOUPS 23747502 WITH SCORE 2.3829723497E7
AT ITER 1441 NEW BEST:: SOT 132978225 SOS 82093642 HAS SOPS 67102291 HAS SOUS 24328287 HAS SOUPS 23708799 WITH SCORE 2.3790892642E7
AT ITER 1446 NEW BEST:: SOT 132979339 SOS 82105382 HAS SOPS 67108021 HAS SOUS 24319174 HAS SOUPS 23699545 WITH SCORE 2.3781650382E7
AT ITER 1449 NEW BEST:: SOT 133031395 SOS 82144920 HAS SOPS 67146680 HAS SOUS 24316058 HAS SOUPS 23696761 WITH SCORE 2.377890592E7
AT ITER 1450 NEW BEST:: SOT 133026037 SOS 82126095 HAS SOPS 67131357 HAS SOUS 24313608 HAS SOUPS 23694311 WITH SCORE 2.3776437095E7
AT ITER 1456 NEW BEST:: SOT 133024840 SOS 82124935 HAS SOPS 67130309 HAS SOUS 24311094 HAS SOUPS 23691797 WITH SCORE 2.3773921935E7
AT ITER 1498 NEW BEST:: SOT 133026016 SOS 82127984 HAS SOPS 67149121 HAS SOUS 24292345 HAS SOUPS 23674340 WITH SCORE 2.3756467984E7
AT ITER 1509 NEW BEST:: SOT 133025739 SOS 82125092 HAS SOPS 67146588 HAS SOUS 24292192 HAS SOUPS 23674187 WITH SCORE 2.3756312092E7
AT ITER 1511 NEW BEST:: SOT 133021756 SOS 82134208 HAS SOPS 67174232 HAS SOUS 24284130 HAS SOUPS 23666125 WITH SCORE 2.3748259208E7
AT ITER 1515 NEW BEST:: SOT 133022607 SOS 82133768 HAS SOPS 67173927 HAS SOUS 24283931 HAS SOUPS 23665988 WITH SCORE 2.3748121768E7
AT ITER 1516 NEW BEST:: SOT 133019295 SOS 82129725 HAS SOPS 67171368 HAS SOUS 24281110 HAS SOUPS 23661596 WITH SCORE 2.3743725725E7
AT ITER 1518 NEW BEST:: SOT 133015048 SOS 82125478 HAS SOPS 67166865 HAS SOUS 24277951 HAS SOUPS 23658181 WITH SCORE 2.3740306478E7
AT ITER 1526 NEW BEST:: SOT 133012544 SOS 82121474 HAS SOPS 67163236 HAS SOUS 24275361 HAS SOUPS 23655591 WITH SCORE 2.3737712474E7
AT ITER 1531 NEW BEST:: SOT 133018303 SOS 82127213 HAS SOPS 67170661 HAS SOUS 24271781 HAS SOUPS 23652073 WITH SCORE 2.3734200213E7
AT ITER 1536 NEW BEST:: SOT 133002176 SOS 82106601 HAS SOPS 67151685 HAS SOUS 24247367 HAS SOUPS 23628561 WITH SCORE 2.3710667601E7
AT ITER 1545 NEW BEST:: SOT 133002222 SOS 82106364 HAS SOPS 67150771 HAS SOUS 24247055 HAS SOUPS 23628249 WITH SCORE 2.3710355364E7
AT ITER 1554 NEW BEST:: SOT 133017739 SOS 82150415 HAS SOPS 67189233 HAS SOUS 24246729 HAS SOUPS 23627923 WITH SCORE 2.3710073415E7
AT ITER 1574 NEW BEST:: SOT 133010770 SOS 82131236 HAS SOPS 67174605 HAS SOUS 24240762 HAS SOUPS 23621956 WITH SCORE 2.3704087236E7
AT ITER 1579 NEW BEST:: SOT 133010536 SOS 82129758 HAS SOPS 67173299 HAS SOUS 24240620 HAS SOUPS 23621814 WITH SCORE 2.3703943758E7
AT ITER 1594 NEW BEST:: SOT 133001252 SOS 82108764 HAS SOPS 67157381 HAS SOUS 24237762 HAS SOUPS 23618956 WITH SCORE 2.3701064764E7
AT ITER 1595 NEW BEST:: SOT 133000037 SOS 82108517 HAS SOPS 67156652 HAS SOUS 24233219 HAS SOUPS 23614413 WITH SCORE 2.3696521517E7
AT ITER 1632 NEW BEST:: SOT 132996158 SOS 82110770 HAS SOPS 67155900 HAS SOUS 24228045 HAS SOUPS 23609239 WITH SCORE 2.369134977E7
AT ITER 1639 NEW BEST:: SOT 132939145 SOS 82011136 HAS SOPS 67072580 HAS SOUS 24161193 HAS SOUPS 23543046 WITH SCORE 2.3625057136E7
AT ITER 1650 NEW BEST:: SOT 132931971 SOS 81999331 HAS SOPS 67062414 HAS SOUS 24133328 HAS SOUPS 23515181 WITH SCORE 2.3597180331E7
AT ITER 1655 NEW BEST:: SOT 132932582 SOS 82006326 HAS SOPS 67062090 HAS SOUS 24114014 HAS SOUPS 23495867 WITH SCORE 2.3577873326E7
AT ITER 1656 NEW BEST:: SOT 132903498 SOS 81955157 HAS SOPS 67015639 HAS SOUS 24083873 HAS SOUPS 23465726 WITH SCORE 2.3547681157E7
AT ITER 1663 NEW BEST:: SOT 132895571 SOS 81928013 HAS SOPS 66997170 HAS SOUS 24079293 HAS SOUPS 23461146 WITH SCORE 2.3543074013E7
AT ITER 1670 NEW BEST:: SOT 132894843 SOS 81927282 HAS SOPS 66996058 HAS SOUS 24077749 HAS SOUPS 23459602 WITH SCORE 2.3541529282E7
AT ITER 1672 NEW BEST:: SOT 132896576 SOS 81934807 HAS SOPS 67001997 HAS SOUS 24077288 HAS SOUPS 23459141 WITH SCORE 2.3541075807E7
AT ITER 1676 NEW BEST:: SOT 132902896 SOS 81977429 HAS SOPS 67044638 HAS SOUS 24072732 HAS SOUPS 23454585 WITH SCORE 2.3536562429E7
AT ITER 1680 NEW BEST:: SOT 132892188 SOS 81967078 HAS SOPS 67032054 HAS SOUS 24027423 HAS SOUPS 23410534 WITH SCORE 2.3492501078E7
AT ITER 1697 NEW BEST:: SOT 132894723 SOS 81985265 HAS SOPS 67059359 HAS SOUS 24009349 HAS SOUPS 23392460 WITH SCORE 2.3474445265E7
AT ITER 1699 NEW BEST:: SOT 132876150 SOS 81958658 HAS SOPS 67032321 HAS SOUS 23968836 HAS SOUPS 23351111 WITH SCORE 2.3433069658E7
AT ITER 1707 NEW BEST:: SOT 132876432 SOS 81959273 HAS SOPS 67032846 HAS SOUS 23968794 HAS SOUPS 23351048 WITH SCORE 2.3433007273E7
AT ITER 1738 NEW BEST:: SOT 132916124 SOS 82064135 HAS SOPS 67130898 HAS SOUS 23960746 HAS SOUPS 23343000 WITH SCORE 2.3425064135E7
AT ITER 1744 NEW BEST:: SOT 132938810 SOS 82148383 HAS SOPS 67199464 HAS SOUS 23954823 HAS SOUPS 23337077 WITH SCORE 2.3419225383E7
AT ITER 1745 NEW BEST:: SOT 132937671 SOS 82147121 HAS SOPS 67195767 HAS SOUS 23950001 HAS SOUPS 23332255 WITH SCORE 2.3414402121E7
AT ITER 1768 NEW BEST:: SOT 132936652 SOS 82151458 HAS SOPS 67199123 HAS SOUS 23945933 HAS SOUPS 23328187 WITH SCORE 2.3410338458E7
AT ITER 1783 NEW BEST:: SOT 132933581 SOS 82135851 HAS SOPS 67191558 HAS SOUS 23938864 HAS SOUPS 23321118 WITH SCORE 2.3403253851E7
AT ITER 1791 NEW BEST:: SOT 132902443 SOS 82099144 HAS SOPS 67178747 HAS SOUS 23902749 HAS SOUPS 23285003 WITH SCORE 2.3367102144E7
AT ITER 1794 NEW BEST:: SOT 132901687 SOS 82088759 HAS SOPS 67167863 HAS SOUS 23900209 HAS SOUPS 23282463 WITH SCORE 2.3364551759E7
AT ITER 1802 NEW BEST:: SOT 132901303 SOS 82090770 HAS SOPS 67175688 HAS SOUS 23895733 HAS SOUPS 23278104 WITH SCORE 2.336019477E7
AT ITER 1803 NEW BEST:: SOT 132890752 SOS 82046596 HAS SOPS 67123303 HAS SOUS 23876186 HAS SOUPS 23258557 WITH SCORE 2.3340603596E7
AT ITER 1818 NEW BEST:: SOT 132776013 SOS 81904534 HAS SOPS 66989017 HAS SOUS 23758428 HAS SOUPS 23141230 WITH SCORE 2.3223134534E7
AT ITER 1823 NEW BEST:: SOT 132758013 SOS 81890167 HAS SOPS 66987929 HAS SOUS 23730419 HAS SOUPS 23113674 WITH SCORE 2.3195564167E7
AT ITER 1838 NEW BEST:: SOT 132761270 SOS 81903357 HAS SOPS 66998409 HAS SOUS 23728994 HAS SOUPS 23112249 WITH SCORE 2.3194152357E7
AT ITER 1856 NEW BEST:: SOT 132767048 SOS 81912829 HAS SOPS 67007072 HAS SOUS 23725839 HAS SOUPS 23109094 WITH SCORE 2.3191006829E7
AT ITER 1883 NEW BEST:: SOT 132769739 SOS 81916375 HAS SOPS 67000505 HAS SOUS 23723828 HAS SOUPS 23107083 WITH SCORE 2.3188999375E7
AT ITER 1898 NEW BEST:: SOT 132769836 SOS 81915782 HAS SOPS 66999757 HAS SOUS 23723654 HAS SOUPS 23106909 WITH SCORE 2.3188824782E7
AT ITER 1899 NEW BEST:: SOT 132769836 SOS 81909103 HAS SOPS 66995947 HAS SOUS 23723221 HAS SOUPS 23106476 WITH SCORE 2.3188385103E7
AT ITER 1907 NEW BEST:: SOT 132772057 SOS 81911174 HAS SOPS 66993775 HAS SOUS 23714542 HAS SOUPS 23097732 WITH SCORE 2.3179643174E7
AT ITER 1916 NEW BEST:: SOT 132772206 SOS 81913322 HAS SOPS 66994137 HAS SOUS 23712440 HAS SOUPS 23095630 WITH SCORE 2.3177543322E7
AT ITER 1935 NEW BEST:: SOT 132772963 SOS 81918567 HAS SOPS 67001563 HAS SOUS 23709417 HAS SOUPS 23092607 WITH SCORE 2.3174525567E7
AT ITER 1936 NEW BEST:: SOT 132772751 SOS 81918293 HAS SOPS 67001085 HAS SOUS 23708917 HAS SOUPS 23092107 WITH SCORE 2.3174025293E7
AT ITER 1957 NEW BEST:: SOT 132771477 SOS 81918677 HAS SOPS 67001974 HAS SOUS 23706878 HAS SOUPS 23090068 WITH SCORE 2.3171986677E7
AT ITER 1962 NEW BEST:: SOT 132768905 SOS 81920739 HAS SOPS 66996275 HAS SOUS 23682033 HAS SOUPS 23065223 WITH SCORE 2.3147143739E7
AT ITER 1965 NEW BEST:: SOT 132769394 SOS 81926250 HAS SOPS 67013566 HAS SOUS 23676552 HAS SOUPS 23059742 WITH SCORE 2.314166825E7
AT ITER 1990 NEW BEST:: SOT 132778229 SOS 81943331 HAS SOPS 67030123 HAS SOUS 23674989 HAS SOUPS 23058174 WITH SCORE 2.3140117331E7
AT ITER 1995 NEW BEST:: SOT 132786978 SOS 81987371 HAS SOPS 67079123 HAS SOUS 23656273 HAS SOUPS 23039458 WITH SCORE 2.3121445371E7
AT ITER 1996 NEW BEST:: SOT 132784847 SOS 81986427 HAS SOPS 67083387 HAS SOUS 23634907 HAS SOUPS 23018092 WITH SCORE 2.3100078427E7
AT ITER 2002 NEW BEST:: SOT 132862405 SOS 82122458 HAS SOPS 67206654 HAS SOUS 23634661 HAS SOUPS 23017530 WITH SCORE 2.3099652458E7
AT ITER 2005 NEW BEST:: SOT 132863163 SOS 82123214 HAS SOPS 67206515 HAS SOUS 23633766 HAS SOUPS 23016635 WITH SCORE 2.3098758214E7
AT ITER 2006 NEW BEST:: SOT 132870846 SOS 82143269 HAS SOPS 67215889 HAS SOUS 23633258 HAS SOUPS 23016127 WITH SCORE 2.3098270269E7
AT ITER 2008 NEW BEST:: SOT 132869683 SOS 82140186 HAS SOPS 67212251 HAS SOUS 23631322 HAS SOUPS 23014191 WITH SCORE 2.3096331186E7
AT ITER 2031 NEW BEST:: SOT 132830149 SOS 82088446 HAS SOPS 67154332 HAS SOUS 23564097 HAS SOUPS 22947115 WITH SCORE 2.3029203446E7
AT ITER 2034 NEW BEST:: SOT 132825283 SOS 82073551 HAS SOPS 67146927 HAS SOUS 23561913 HAS SOUPS 22944885 WITH SCORE 2.3026958551E7
AT ITER 2067 NEW BEST:: SOT 132829443 SOS 82085030 HAS SOPS 67155721 HAS SOUS 23561096 HAS SOUPS 22944068 WITH SCORE 2.302615303E7
AT ITER 2075 NEW BEST:: SOT 132829671 SOS 82078413 HAS SOPS 67149543 HAS SOUS 23561078 HAS SOUPS 22944050 WITH SCORE 2.3026128413E7
AT ITER 2082 NEW BEST:: SOT 132832887 SOS 82106552 HAS SOPS 67191901 HAS SOUS 23555429 HAS SOUPS 22938401 WITH SCORE 2.3020507552E7
AT ITER 2086 NEW BEST:: SOT 132814991 SOS 82076327 HAS SOPS 67157712 HAS SOUS 23535583 HAS SOUPS 22918438 WITH SCORE 2.3000514327E7
AT ITER 2087 NEW BEST:: SOT 132793738 SOS 82039805 HAS SOPS 67122845 HAS SOUS 23507328 HAS SOUPS 22890183 WITH SCORE 2.2972222805E7
AT ITER 2094 NEW BEST:: SOT 132838033 SOS 82121847 HAS SOPS 67261103 HAS SOUS 23494617 HAS SOUPS 22878558 WITH SCORE 2.2960679847E7
AT ITER 2118 NEW BEST:: SOT 132840694 SOS 82119273 HAS SOPS 67248996 HAS SOUS 23493205 HAS SOUPS 22877146 WITH SCORE 2.2959265273E7
AT ITER 2126 NEW BEST:: SOT 132807578 SOS 82071049 HAS SOPS 67196816 HAS SOUS 23448428 HAS SOUPS 22832369 WITH SCORE 2.2914440049E7
AT ITER 2128 NEW BEST:: SOT 132784352 SOS 82043022 HAS SOPS 67167420 HAS SOUS 23401814 HAS SOUPS 22786037 WITH SCORE 2.2868080022E7
AT ITER 2129 NEW BEST:: SOT 132786686 SOS 82050046 HAS SOPS 67173376 HAS SOUS 23401159 HAS SOUPS 22785382 WITH SCORE 2.2867432046E7
AT ITER 2136 NEW BEST:: SOT 132786107 SOS 82046988 HAS SOPS 67170602 HAS SOUS 23399939 HAS SOUPS 22784162 WITH SCORE 2.2866208988E7
AT ITER 2137 NEW BEST:: SOT 132772444 SOS 82003127 HAS SOPS 67162202 HAS SOUS 23399547 HAS SOUPS 22784096 WITH SCORE 2.2866099127E7
AT ITER 2143 NEW BEST:: SOT 132822294 SOS 82082411 HAS SOPS 67238798 HAS SOUS 23332098 HAS SOUPS 22716341 WITH SCORE 2.2798423411E7
AT ITER 2144 NEW BEST:: SOT 132821779 SOS 82081618 HAS SOPS 67238294 HAS SOUS 23331766 HAS SOUPS 22716009 WITH SCORE 2.2798090618E7
AT ITER 2154 NEW BEST:: SOT 132811856 SOS 82056209 HAS SOPS 67219209 HAS SOUS 23327253 HAS SOUPS 22711496 WITH SCORE 2.2793552209E7
AT ITER 2168 NEW BEST:: SOT 132806491 SOS 82041686 HAS SOPS 67208711 HAS SOUS 23325492 HAS SOUPS 22709764 WITH SCORE 2.2791805686E7
AT ITER 2176 NEW BEST:: SOT 132807139 SOS 82032138 HAS SOPS 67200858 HAS SOUS 23323297 HAS SOUPS 22707569 WITH SCORE 2.2789601138E7
AT ITER 2179 NEW BEST:: SOT 132720506 SOS 81894369 HAS SOPS 67111307 HAS SOUS 23280863 HAS SOUPS 22665738 WITH SCORE 2.2747632369E7
AT ITER 2180 NEW BEST:: SOT 132743310 SOS 81939900 HAS SOPS 67143668 HAS SOUS 23280659 HAS SOUPS 22665534 WITH SCORE 2.27474739E7
AT ITER 2200 NEW BEST:: SOT 132745032 SOS 81941578 HAS SOPS 67145001 HAS SOUS 23278236 HAS SOUPS 22663111 WITH SCORE 2.2745052578E7
AT ITER 2202 NEW BEST:: SOT 132744830 SOS 81941366 HAS SOPS 67144774 HAS SOUS 23277799 HAS SOUPS 22662679 WITH SCORE 2.2744620366E7
AT ITER 2247 NEW BEST:: SOT 132744830 SOS 81933542 HAS SOPS 67136950 HAS SOUS 23277802 HAS SOUPS 22662682 WITH SCORE 2.2744615542E7
AT ITER 2256 NEW BEST:: SOT 132744655 SOS 81933199 HAS SOPS 67136685 HAS SOUS 23277609 HAS SOUPS 22662489 WITH SCORE 2.2744422199E7
AT ITER 2279 NEW BEST:: SOT 132741869 SOS 81934404 HAS SOPS 67135223 HAS SOUS 23268341 HAS SOUPS 22652941 WITH SCORE 2.2734875404E7
AT ITER 2286 NEW BEST:: SOT 132726838 SOS 81906070 HAS SOPS 67108911 HAS SOUS 23263348 HAS SOUPS 22647948 WITH SCORE 2.272985407E7
AT ITER 2302 NEW BEST:: SOT 132733566 SOS 81930570 HAS SOPS 67130340 HAS SOUS 23246005 HAS SOUPS 22630651 WITH SCORE 2.271258157E7
AT ITER 2314 NEW BEST:: SOT 132730190 SOS 81925997 HAS SOPS 67146768 HAS SOUS 23236637 HAS SOUPS 22621283 WITH SCORE 2.2703208997E7
AT ITER 2328 NEW BEST:: SOT 132719612 SOS 81907900 HAS SOPS 67127937 HAS SOUS 23212785 HAS SOUPS 22597431 WITH SCORE 2.26793389E7
AT ITER 2339 NEW BEST:: SOT 132719568 SOS 81907908 HAS SOPS 67127953 HAS SOUS 23212670 HAS SOUPS 22597308 WITH SCORE 2.2679215908E7
AT ITER 2340 NEW BEST:: SOT 132719043 SOS 81907203 HAS SOPS 67127269 HAS SOUS 23211989 HAS SOUPS 22596627 WITH SCORE 2.2678534203E7
AT ITER 2356 NEW BEST:: SOT 132709791 SOS 81897951 HAS SOPS 67118017 HAS SOUS 23201233 HAS SOUPS 22585871 WITH SCORE 2.2667768951E7
AT ITER 2375 NEW BEST:: SOT 132706646 SOS 81887413 HAS SOPS 67110248 HAS SOUS 23200456 HAS SOUPS 22585406 WITH SCORE 2.2667293413E7
AT ITER 2382 NEW BEST:: SOT 132743750 SOS 81924650 HAS SOPS 67147366 HAS SOUS 23199485 HAS SOUPS 22584594 WITH SCORE 2.266651865E7
AT ITER 2386 NEW BEST:: SOT 132724272 SOS 81885506 HAS SOPS 67111246 HAS SOUS 23181221 HAS SOUPS 22566330 WITH SCORE 2.2648215506E7
AT ITER 2389 NEW BEST:: SOT 132723938 SOS 81884384 HAS SOPS 67105981 HAS SOUS 23174006 HAS SOUPS 22559115 WITH SCORE 2.2640999384E7
AT ITER 2390 NEW BEST:: SOT 132723480 SOS 81884794 HAS SOPS 67109434 HAS SOUS 23168181 HAS SOUPS 22553290 WITH SCORE 2.2635174794E7
AT ITER 2395 NEW BEST:: SOT 132731763 SOS 81907806 HAS SOPS 67129503 HAS SOUS 23164978 HAS SOUPS 22550087 WITH SCORE 2.2631994806E7
AT ITER 2410 NEW BEST:: SOT 132732735 SOS 81925319 HAS SOPS 67141155 HAS SOUS 23141232 HAS SOUPS 22526341 WITH SCORE 2.2608266319E7
AT ITER 2411 NEW BEST:: SOT 132731849 SOS 81933053 HAS SOPS 67150242 HAS SOUS 23138230 HAS SOUPS 22523339 WITH SCORE 2.2605272053E7
AT ITER 2422 NEW BEST:: SOT 132729049 SOS 81930376 HAS SOPS 67147408 HAS SOUS 23131132 HAS SOUPS 22516192 WITH SCORE 2.2598122376E7
AT ITER 2426 NEW BEST:: SOT 132732560 SOS 81934257 HAS SOPS 67153743 HAS SOUS 23125298 HAS SOUPS 22513277 WITH SCORE 2.2595211257E7
AT ITER 2430 NEW BEST:: SOT 132717701 SOS 81908192 HAS SOPS 67124544 HAS SOUS 23103096 HAS SOUPS 22491075 WITH SCORE 2.2572983192E7
AT ITER 2437 NEW BEST:: SOT 132717601 SOS 81908167 HAS SOPS 67124487 HAS SOUS 23102777 HAS SOUPS 22490756 WITH SCORE 2.2572664167E7
AT ITER 2445 NEW BEST:: SOT 132725896 SOS 81933457 HAS SOPS 67145689 HAS SOUS 23102527 HAS SOUPS 22490506 WITH SCORE 2.2572439457E7
AT ITER 2448 NEW BEST:: SOT 132721768 SOS 81916252 HAS SOPS 67140712 HAS SOUS 23099035 HAS SOUPS 22487014 WITH SCORE 2.2568930252E7
AT ITER 2459 NEW BEST:: SOT 132757213 SOS 82043242 HAS SOPS 67213309 HAS SOUS 23092635 HAS SOUPS 22480614 WITH SCORE 2.2562657242E7
AT ITER 2460 NEW BEST:: SOT 132751982 SOS 82036580 HAS SOPS 67204925 HAS SOUS 23077650 HAS SOUPS 22465753 WITH SCORE 2.254778958E7
AT ITER 2463 NEW BEST:: SOT 132751940 SOS 82036538 HAS SOPS 67204883 HAS SOUS 23077560 HAS SOUPS 22465663 WITH SCORE 2.2547699538E7
AT ITER 2478 NEW BEST:: SOT 132754929 SOS 82044724 HAS SOPS 67209672 HAS SOUS 23075797 HAS SOUPS 22463900 WITH SCORE 2.2545944724E7
AT ITER 2498 NEW BEST:: SOT 132762984 SOS 82068379 HAS SOPS 67225001 HAS SOUS 23073007 HAS SOUPS 22461110 WITH SCORE 2.2543178379E7
AT ITER 2502 NEW BEST:: SOT 132766007 SOS 82078634 HAS SOPS 67230290 HAS SOUS 23064301 HAS SOUPS 22452180 WITH SCORE 2.2534258634E7
AT ITER 2506 NEW BEST:: SOT 132788338 SOS 82154695 HAS SOPS 67255247 HAS SOUS 23022443 HAS SOUPS 22410322 WITH SCORE 2.2492476695E7
AT ITER 2525 NEW BEST:: SOT 132797917 SOS 82195667 HAS SOPS 67283394 HAS SOUS 23015691 HAS SOUPS 22403570 WITH SCORE 2.2485765667E7
AT ITER 2527 NEW BEST:: SOT 132796039 SOS 82192274 HAS SOPS 67283320 HAS SOUS 23009755 HAS SOUPS 22398680 WITH SCORE 2.2480872274E7
AT ITER 2532 NEW BEST:: SOT 132782281 SOS 82145873 HAS SOPS 67247937 HAS SOUS 23006006 HAS SOUPS 22394931 WITH SCORE 2.2477076873E7
AT ITER 2535 NEW BEST:: SOT 132782094 SOS 82145686 HAS SOPS 67247750 HAS SOUS 23005659 HAS SOUPS 22394584 WITH SCORE 2.2476729686E7
AT ITER 2543 NEW BEST:: SOT 132766024 SOS 82120141 HAS SOPS 67214835 HAS SOUS 22988618 HAS SOUPS 22376930 WITH SCORE 2.2459050141E7
AT ITER 2548 NEW BEST:: SOT 132710510 SOS 82030836 HAS SOPS 67131450 HAS SOUS 22922104 HAS SOUPS 22310477 WITH SCORE 2.2392507836E7
AT ITER 2549 NEW BEST:: SOT 132707186 SOS 82041936 HAS SOPS 67147835 HAS SOUS 22896900 HAS SOUPS 22285472 WITH SCORE 2.2367513936E7
AT ITER 2554 NEW BEST:: SOT 132705601 SOS 82042373 HAS SOPS 67148184 HAS SOUS 22892611 HAS SOUPS 22281183 WITH SCORE 2.2363225373E7
AT ITER 2570 NEW BEST:: SOT 132703991 SOS 82041723 HAS SOPS 67146974 HAS SOUS 22890586 HAS SOUPS 22279023 WITH SCORE 2.2361064723E7
AT ITER 2608 NEW BEST:: SOT 132703359 SOS 82040877 HAS SOPS 67146521 HAS SOUS 22889701 HAS SOUPS 22278138 WITH SCORE 2.2360178877E7
AT ITER 2631 NEW BEST:: SOT 132716222 SOS 82088280 HAS SOPS 67201408 HAS SOUS 22883697 HAS SOUPS 22272134 WITH SCORE 2.235422228E7
AT ITER 2641 NEW BEST:: SOT 132714909 SOS 82080145 HAS SOPS 67204997 HAS SOUS 22882865 HAS SOUPS 22271302 WITH SCORE 2.2353382145E7
AT ITER 2652 NEW BEST:: SOT 132713050 SOS 82078231 HAS SOPS 67202154 HAS SOUS 22878762 HAS SOUPS 22267225 WITH SCORE 2.2349303231E7
AT ITER 2683 NEW BEST:: SOT 132709459 SOS 82072964 HAS SOPS 67194994 HAS SOUS 22871730 HAS SOUPS 22260193 WITH SCORE 2.2342265964E7
AT ITER 2698 NEW BEST:: SOT 132709175 SOS 82082430 HAS SOPS 67216714 HAS SOUS 22870872 HAS SOUPS 22259335 WITH SCORE 2.234141743E7
AT ITER 2703 NEW BEST:: SOT 132718955 SOS 82115236 HAS SOPS 67236641 HAS SOUS 22854558 HAS SOUPS 22243021 WITH SCORE 2.2325136236E7
AT ITER 2704 NEW BEST:: SOT 132717864 SOS 82114534 HAS SOPS 67234646 HAS SOUS 22851711 HAS SOUPS 22240174 WITH SCORE 2.2322288534E7
AT ITER 2709 NEW BEST:: SOT 132713481 SOS 82105092 HAS SOPS 67225410 HAS SOUS 22841826 HAS SOUPS 22230310 WITH SCORE 2.2312415092E7
AT ITER 2720 NEW BEST:: SOT 132715230 SOS 82109155 HAS SOPS 67235662 HAS SOUS 22840851 HAS SOUPS 22229335 WITH SCORE 2.2311444155E7
AT ITER 2739 NEW BEST:: SOT 132731098 SOS 82133417 HAS SOPS 67293072 HAS SOUS 22838153 HAS SOUPS 22226637 WITH SCORE 2.2308770417E7
AT ITER 2742 NEW BEST:: SOT 132725750 SOS 82119177 HAS SOPS 67274109 HAS SOUS 22826187 HAS SOUPS 22214671 WITH SCORE 2.2296790177E7
AT ITER 2757 NEW BEST:: SOT 132713347 SOS 82091436 HAS SOPS 67256636 HAS SOUS 22825174 HAS SOUPS 22213941 WITH SCORE 2.2296032436E7
AT ITER 2774 NEW BEST:: SOT 132711752 SOS 82090266 HAS SOPS 67257218 HAS SOUS 22822178 HAS SOUPS 22210945 WITH SCORE 2.2293035266E7
AT ITER 2807 NEW BEST:: SOT 132725514 SOS 82136600 HAS SOPS 67287778 HAS SOUS 22817905 HAS SOUPS 22206672 WITH SCORE 2.22888086E7
AT ITER 2821 NEW BEST:: SOT 132725965 SOS 82138210 HAS SOPS 67289391 HAS SOUS 22816665 HAS SOUPS 22205432 WITH SCORE 2.228757021E7
AT ITER 2824 NEW BEST:: SOT 132721172 SOS 82123785 HAS SOPS 67278430 HAS SOUS 22812235 HAS SOUPS 22201181 WITH SCORE 2.2283304785E7
AT ITER 2827 NEW BEST:: SOT 132728323 SOS 82133175 HAS SOPS 67298198 HAS SOUS 22812155 HAS SOUPS 22201101 WITH SCORE 2.2283234175E7
AT ITER 2828 NEW BEST:: SOT 132733800 SOS 82150851 HAS SOPS 67319992 HAS SOUS 22807632 HAS SOUPS 22196578 WITH SCORE 2.2278728851E7
AT ITER 2833 NEW BEST:: SOT 132750761 SOS 82219852 HAS SOPS 67363102 HAS SOUS 22789567 HAS SOUPS 22178513 WITH SCORE 2.2260732852E7
AT ITER 2855 NEW BEST:: SOT 132748090 SOS 82217706 HAS SOPS 67358542 HAS SOUS 22776558 HAS SOUPS 22165504 WITH SCORE 2.2247721706E7
AT ITER 2861 NEW BEST:: SOT 132749364 SOS 82220317 HAS SOPS 67360264 HAS SOUS 22776075 HAS SOUPS 22165021 WITH SCORE 2.2247241317E7
AT ITER 2878 NEW BEST:: SOT 132747544 SOS 82217911 HAS SOPS 67357639 HAS SOUS 22772921 HAS SOUPS 22161867 WITH SCORE 2.2244084911E7
AT ITER 2896 NEW BEST:: SOT 132746374 SOS 82215753 HAS SOPS 67355953 HAS SOUS 22771496 HAS SOUPS 22160442 WITH SCORE 2.2242657753E7
AT ITER 2899 NEW BEST:: SOT 132733176 SOS 82156425 HAS SOPS 67314843 HAS SOUS 22756188 HAS SOUPS 22145134 WITH SCORE 2.2227290425E7
AT ITER 2907 NEW BEST:: SOT 132732852 SOS 82156077 HAS SOPS 67314535 HAS SOUS 22755628 HAS SOUPS 22144570 WITH SCORE 2.2226726077E7
AT ITER 2909 NEW BEST:: SOT 132735302 SOS 82179968 HAS SOPS 67347667 HAS SOUS 22753468 HAS SOUPS 22142410 WITH SCORE 2.2224589968E7
AT ITER 2912 NEW BEST:: SOT 132731486 SOS 82168891 HAS SOPS 67324417 HAS SOUS 22739000 HAS SOUPS 22128213 WITH SCORE 2.2210381891E7
AT ITER 2913 NEW BEST:: SOT 132729000 SOS 82162658 HAS SOPS 67313401 HAS SOUS 22736563 HAS SOUPS 22125776 WITH SCORE 2.2207938658E7
AT ITER 2915 NEW BEST:: SOT 132730493 SOS 82168020 HAS SOPS 67320113 HAS SOUS 22731026 HAS SOUPS 22120169 WITH SCORE 2.220233702E7
AT ITER 2916 NEW BEST:: SOT 132727673 SOS 82164804 HAS SOPS 67317616 HAS SOUS 22725108 HAS SOUPS 22114269 WITH SCORE 2.2196433804E7
AT ITER 2928 NEW BEST:: SOT 132722659 SOS 82158460 HAS SOPS 67305296 HAS SOUS 22718409 HAS SOUPS 22107570 WITH SCORE 2.218972846E7
AT ITER 2930 NEW BEST:: SOT 132704517 SOS 82148383 HAS SOPS 67280947 HAS SOUS 22700011 HAS SOUPS 22088936 WITH SCORE 2.2171084383E7
AT ITER 2938 NEW BEST:: SOT 132702408 SOS 82143884 HAS SOPS 67275693 HAS SOUS 22696662 HAS SOUPS 22085587 WITH SCORE 2.2167730884E7
AT ITER 2944 NEW BEST:: SOT 132700222 SOS 82137538 HAS SOPS 67289410 HAS SOUS 22691071 HAS SOUPS 22080204 WITH SCORE 2.2162341538E7
AT ITER 2946 NEW BEST:: SOT 132720180 SOS 82182330 HAS SOPS 67322731 HAS SOUS 22687801 HAS SOUPS 22076934 WITH SCORE 2.215911633E7
AT ITER 2947 NEW BEST:: SOT 132721236 SOS 82187110 HAS SOPS 67327332 HAS SOUS 22680432 HAS SOUPS 22069686 WITH SCORE 2.215187311E7
AT ITER 2948 NEW BEST:: SOT 132720493 SOS 82186278 HAS SOPS 67325933 HAS SOUS 22678379 HAS SOUPS 22067633 WITH SCORE 2.2149819278E7
AT ITER 2952 NEW BEST:: SOT 132719286 SOS 82185109 HAS SOPS 67323932 HAS SOUS 22675624 HAS SOUPS 22064878 WITH SCORE 2.2147063109E7
AT ITER 2963 NEW BEST:: SOT 132715719 SOS 82181003 HAS SOPS 67319284 HAS SOUS 22668550 HAS SOUPS 22057852 WITH SCORE 2.2140033003E7
AT ITER 2974 NEW BEST:: SOT 132708824 SOS 82173560 HAS SOPS 67317815 HAS SOUS 22668193 HAS SOUPS 22057495 WITH SCORE 2.213966856E7
AT ITER 2976 NEW BEST:: SOT 132698191 SOS 82162927 HAS SOPS 67307150 HAS SOUS 22652824 HAS SOUPS 22042126 WITH SCORE 2.2124288927E7
AT ITER 2998 NEW BEST:: SOT 132694148 SOS 82165439 HAS SOPS 67304623 HAS SOUS 22646311 HAS SOUPS 22035492 WITH SCORE 2.2117657439E7
AT ITER 3000 NEW BEST:: SOT 132667479 SOS 82093981 HAS SOPS 67253958 HAS SOUS 22637875 HAS SOUPS 22027056 WITH SCORE 2.2109149981E7
AT ITER 3008 NEW BEST:: SOT 132666618 SOS 82092441 HAS SOPS 67253058 HAS SOUS 22637262 HAS SOUPS 22026443 WITH SCORE 2.2108535441E7
AT ITER 3018 NEW BEST:: SOT 132583082 SOS 81978342 HAS SOPS 67145581 HAS SOUS 22607441 HAS SOUPS 21996772 WITH SCORE 2.2078750342E7
AT ITER 3027 NEW BEST:: SOT 132565789 SOS 81943691 HAS SOPS 67124773 HAS SOUS 22571922 HAS SOUPS 21967949 WITH SCORE 2.2049892691E7
AT ITER 3038 NEW BEST:: SOT 132593012 SOS 82004778 HAS SOPS 67173962 HAS SOUS 22562038 HAS SOUPS 21958065 WITH SCORE 2.2040069778E7
AT ITER 3041 NEW BEST:: SOT 132591063 SOS 82003613 HAS SOPS 67180394 HAS SOUS 22556533 HAS SOUPS 21952560 WITH SCORE 2.2034563613E7
AT ITER 3043 NEW BEST:: SOT 132591007 SOS 82003413 HAS SOPS 67180202 HAS SOUS 22556425 HAS SOUPS 21952420 WITH SCORE 2.2034423413E7
AT ITER 3046 NEW BEST:: SOT 132641535 SOS 82091569 HAS SOPS 67266051 HAS SOUS 22555510 HAS SOUPS 21951505 WITH SCORE 2.2033596569E7
AT ITER 3047 NEW BEST:: SOT 132638870 SOS 82089595 HAS SOPS 67262018 HAS SOUS 22549671 HAS SOUPS 21945666 WITH SCORE 2.2027755595E7
AT ITER 3050 NEW BEST:: SOT 132637616 SOS 82084869 HAS SOPS 67255947 HAS SOUS 22546997 HAS SOUPS 21942992 WITH SCORE 2.2025076869E7
AT ITER 3056 NEW BEST:: SOT 132617404 SOS 82052418 HAS SOPS 67216577 HAS SOUS 22524946 HAS SOUPS 21920659 WITH SCORE 2.2002711418E7
AT ITER 3061 NEW BEST:: SOT 132619038 SOS 82047818 HAS SOPS 67207300 HAS SOUS 22524393 HAS SOUPS 21920106 WITH SCORE 2.2002153818E7
AT ITER 3069 NEW BEST:: SOT 132600233 SOS 82018760 HAS SOPS 67176170 HAS SOUS 22505642 HAS SOUPS 21901355 WITH SCORE 2.198337376E7
AT ITER 3072 NEW BEST:: SOT 132600627 SOS 82019329 HAS SOPS 67176697 HAS SOUS 22504993 HAS SOUPS 21900797 WITH SCORE 2.1982816329E7
AT ITER 3096 NEW BEST:: SOT 132598151 SOS 81996416 HAS SOPS 67177228 HAS SOUS 22491454 HAS SOUPS 21887258 WITH SCORE 2.1969254416E7
AT ITER 3097 NEW BEST:: SOT 132597828 SOS 81995817 HAS SOPS 67173279 HAS SOUS 22482611 HAS SOUPS 21878415 WITH SCORE 2.1960410817E7
AT ITER 3100 NEW BEST:: SOT 132602279 SOS 82005021 HAS SOPS 67182081 HAS SOUS 22481809 HAS SOUPS 21877613 WITH SCORE 2.1959618021E7
AT ITER 3118 NEW BEST:: SOT 132602463 SOS 82018054 HAS SOPS 67190519 HAS SOUS 22475893 HAS SOUPS 21871697 WITH SCORE 2.1953715054E7
AT ITER 3127 NEW BEST:: SOT 132604394 SOS 82028774 HAS SOPS 67198687 HAS SOUS 22455974 HAS SOUPS 21851778 WITH SCORE 2.1933806774E7
AT ITER 3133 NEW BEST:: SOT 132601733 SOS 82025522 HAS SOPS 67193773 HAS SOUS 22451601 HAS SOUPS 21847405 WITH SCORE 2.1929430522E7
AT ITER 3148 NEW BEST:: SOT 132643940 SOS 82143710 HAS SOPS 67291163 HAS SOUS 22441339 HAS SOUPS 21837143 WITH SCORE 2.191928671E7
AT ITER 3159 NEW BEST:: SOT 132642876 SOS 82141708 HAS SOPS 67289233 HAS SOUS 22439965 HAS SOUPS 21835769 WITH SCORE 2.1917910708E7
AT ITER 3172 NEW BEST:: SOT 132640190 SOS 82139689 HAS SOPS 67288100 HAS SOUS 22435160 HAS SOUPS 21830803 WITH SCORE 2.1912942689E7
AT ITER 3179 NEW BEST:: SOT 132612838 SOS 82051470 HAS SOPS 67223139 HAS SOUS 22419599 HAS SOUPS 21815242 WITH SCORE 2.189729347E7
AT ITER 3191 NEW BEST:: SOT 132647778 SOS 82137972 HAS SOPS 67315624 HAS SOUS 22412893 HAS SOUPS 21808536 WITH SCORE 2.1890673972E7
AT ITER 3195 NEW BEST:: SOT 132648470 SOS 82138630 HAS SOPS 67316526 HAS SOUS 22412609 HAS SOUPS 21808252 WITH SCORE 2.189039063E7
AT ITER 3205 NEW BEST:: SOT 132652575 SOS 82114405 HAS SOPS 67295405 HAS SOUS 22407654 HAS SOUPS 21803297 WITH SCORE 2.1885411405E7
AT ITER 3213 NEW BEST:: SOT 132647328 SOS 82107071 HAS SOPS 67288391 HAS SOUS 22394530 HAS SOUPS 21790173 WITH SCORE 2.1872280071E7
AT ITER 3223 NEW BEST:: SOT 132647390 SOS 82108671 HAS SOPS 67286441 HAS SOUS 22392424 HAS SOUPS 21788067 WITH SCORE 2.1870175671E7
AT ITER 3226 NEW BEST:: SOT 132631303 SOS 82088966 HAS SOPS 67265418 HAS SOUS 22330721 HAS SOUPS 21726586 WITH SCORE 2.1808674966E7
AT ITER 3238 NEW BEST:: SOT 132624213 SOS 82081264 HAS SOPS 67256472 HAS SOUS 22313616 HAS SOUPS 21709538 WITH SCORE 2.1791619264E7
AT ITER 3247 NEW BEST:: SOT 132617681 SOS 82080063 HAS SOPS 67251509 HAS SOUS 22283260 HAS SOUPS 21679182 WITH SCORE 2.1761262063E7
AT ITER 3248 NEW BEST:: SOT 132601272 SOS 82050006 HAS SOPS 67227611 HAS SOUS 22271677 HAS SOUPS 21667666 WITH SCORE 2.1749716006E7
AT ITER 3282 NEW BEST:: SOT 132598127 SOS 82039577 HAS SOPS 67218936 HAS SOUS 22246048 HAS SOUPS 21642037 WITH SCORE 2.1724076577E7
AT ITER 3302 NEW BEST:: SOT 132598481 SOS 82040279 HAS SOPS 67212997 HAS SOUS 22225114 HAS SOUPS 21621103 WITH SCORE 2.1703143279E7
AT ITER 3321 NEW BEST:: SOT 132596851 SOS 82038194 HAS SOPS 67211200 HAS SOUS 22221677 HAS SOUPS 21617666 WITH SCORE 2.1699704194E7
AT ITER 3332 NEW BEST:: SOT 132578569 SOS 82007357 HAS SOPS 67184665 HAS SOUS 22202091 HAS SOUPS 21598182 WITH SCORE 2.1680189357E7
AT ITER 3336 NEW BEST:: SOT 132583227 SOS 82018578 HAS SOPS 67188059 HAS SOUS 22194896 HAS SOUPS 21590987 WITH SCORE 2.1673005578E7
AT ITER 3346 NEW BEST:: SOT 132580050 SOS 82016965 HAS SOPS 67186811 HAS SOUS 22189224 HAS SOUPS 21585315 WITH SCORE 2.1667331965E7
AT ITER 3359 NEW BEST:: SOT 132572544 SOS 81994889 HAS SOPS 67167939 HAS SOUS 22180883 HAS SOUPS 21576974 WITH SCORE 2.1658968889E7
AT ITER 3368 NEW BEST:: SOT 132572124 SOS 81995388 HAS SOPS 67167701 HAS SOUS 22179184 HAS SOUPS 21575275 WITH SCORE 2.1657270388E7
AT ITER 3377 NEW BEST:: SOT 132536762 SOS 81941661 HAS SOPS 67123339 HAS SOUS 22108044 HAS SOUPS 21504135 WITH SCORE 2.1586076661E7
AT ITER 3378 NEW BEST:: SOT 132515840 SOS 81888228 HAS SOPS 67083334 HAS SOUS 22094715 HAS SOUPS 21491723 WITH SCORE 2.1573611228E7
AT ITER 3421 NEW BEST:: SOT 132512408 SOS 81880431 HAS SOPS 67074760 HAS SOUS 22089063 HAS SOUPS 21486071 WITH SCORE 2.1567951431E7
AT ITER 3435 NEW BEST:: SOT 132527977 SOS 81908541 HAS SOPS 67097698 HAS SOUS 22077122 HAS SOUPS 21474130 WITH SCORE 2.1556038541E7
AT ITER 3444 NEW BEST:: SOT 132527798 SOS 81908361 HAS SOPS 67097480 HAS SOUS 22076753 HAS SOUPS 21473761 WITH SCORE 2.1555669361E7
AT ITER 3446 NEW BEST:: SOT 132514233 SOS 81878870 HAS SOPS 67072397 HAS SOUS 22063742 HAS SOUPS 21460806 WITH SCORE 2.154268487E7
AT ITER 3449 NEW BEST:: SOT 132480570 SOS 81809135 HAS SOPS 67011020 HAS SOUS 22060963 HAS SOUPS 21458027 WITH SCORE 2.1539836135E7
AT ITER 3463 NEW BEST:: SOT 132481030 SOS 81812051 HAS SOPS 67014164 HAS SOUS 22059960 HAS SOUPS 21457024 WITH SCORE 2.1538836051E7
AT ITER 3468 NEW BEST:: SOT 132472409 SOS 81802551 HAS SOPS 67002576 HAS SOUS 22044029 HAS SOUPS 21441093 WITH SCORE 2.1522895551E7
AT ITER 3472 NEW BEST:: SOT 132430945 SOS 81743755 HAS SOPS 66945704 HAS SOUS 21992121 HAS SOUPS 21389330 WITH SCORE 2.1471073755E7
AT ITER 3484 NEW BEST:: SOT 132355942 SOS 81620129 HAS SOPS 66876496 HAS SOUS 21943493 HAS SOUPS 21341261 WITH SCORE 2.1422881129E7
AT ITER 3487 NEW BEST:: SOT 132354040 SOS 81619306 HAS SOPS 66892080 HAS SOUS 21942733 HAS SOUPS 21340501 WITH SCORE 2.1422120306E7
AT ITER 3508 NEW BEST:: SOT 132376115 SOS 81661386 HAS SOPS 66921560 HAS SOUS 21934170 HAS SOUPS 21331938 WITH SCORE 2.1413599386E7
AT ITER 3515 NEW BEST:: SOT 132374542 SOS 81657483 HAS SOPS 66918494 HAS SOUS 21931770 HAS SOUPS 21329538 WITH SCORE 2.1411195483E7
AT ITER 3516 NEW BEST:: SOT 132373402 SOS 81651679 HAS SOPS 66915618 HAS SOUS 21927756 HAS SOUPS 21325524 WITH SCORE 2.1407175679E7
AT ITER 3536 NEW BEST:: SOT 132373094 SOS 81650095 HAS SOPS 66913528 HAS SOUS 21927492 HAS SOUPS 21325260 WITH SCORE 2.1406910095E7
AT ITER 3538 NEW BEST:: SOT 132372954 SOS 81650942 HAS SOPS 66914178 HAS SOUS 21926528 HAS SOUPS 21324263 WITH SCORE 2.1405913942E7
AT ITER 3554 NEW BEST:: SOT 132347864 SOS 81583110 HAS SOPS 66862677 HAS SOUS 21885106 HAS SOUPS 21282841 WITH SCORE 2.136442411E7
AT ITER 3555 NEW BEST:: SOT 132358357 SOS 81619342 HAS SOPS 66892487 HAS SOUS 21882208 HAS SOUPS 21279943 WITH SCORE 2.1361562342E7
AT ITER 3572 NEW BEST:: SOT 132358198 SOS 81616693 HAS SOPS 66903661 HAS SOUS 21878454 HAS SOUPS 21276390 WITH SCORE 2.1358006693E7
AT ITER 3574 NEW BEST:: SOT 132338426 SOS 81578021 HAS SOPS 66869567 HAS SOUS 21843178 HAS SOUPS 21241944 WITH SCORE 2.1323522021E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 13599568 kB
After kill :
MemTotal: 16393232 kB
MemFree: 15947964 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="RERS17pb114-PT-1"
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 RERS17pb114-PT-1, 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 r331-tall-167889204000080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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