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.r163-tall-167838847300136.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 smart
Input is EnergyBus-PT-none, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r163-tall-167838847300136
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 6.7K Feb 26 15:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 15:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 15:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 15:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 15:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 26 15:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 15:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 15:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.2M Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678439059713

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=EnergyBus-PT-none
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EnergyBus (PT), instance none
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 157 places, 4430 transitions, 63389 arcs.
AT ITER 0 NEW BEST:: SOT 603808 SOS 495441 HAS SOPS 494768 HAS SOUS 184910 HAS SOUPS 184686 WITH SCORE 185181.441
AT ITER 1 NEW BEST:: SOT 603808 SOS 495413 HAS SOPS 494740 HAS SOUS 184777 HAS SOUPS 184553 WITH SCORE 185048.413
AT ITER 6 NEW BEST:: SOT 603808 SOS 495417 HAS SOPS 494744 HAS SOUS 180734 HAS SOUPS 180510 WITH SCORE 181005.417
AT ITER 10 NEW BEST:: SOT 603690 SOS 495305 HAS SOPS 494632 HAS SOUS 180588 HAS SOUPS 180364 WITH SCORE 180859.305
AT ITER 17 NEW BEST:: SOT 603690 SOS 495310 HAS SOPS 494637 HAS SOUS 180363 HAS SOUPS 180139 WITH SCORE 180634.31
AT ITER 18 NEW BEST:: SOT 606463 SOS 498001 HAS SOPS 497328 HAS SOUS 178169 HAS SOUPS 177945 WITH SCORE 178443.001
AT ITER 21 NEW BEST:: SOT 606401 SOS 498079 HAS SOPS 497406 HAS SOUS 178072 HAS SOUPS 177848 WITH SCORE 178346.079
AT ITER 23 NEW BEST:: SOT 606379 SOS 498075 HAS SOPS 497402 HAS SOUS 177273 HAS SOUPS 177049 WITH SCORE 177547.075
AT ITER 24 NEW BEST:: SOT 606423 SOS 498141 HAS SOPS 497468 HAS SOUS 175922 HAS SOUPS 175698 WITH SCORE 176196.141
AT ITER 28 NEW BEST:: SOT 606368 SOS 498047 HAS SOPS 497374 HAS SOUS 175810 HAS SOUPS 175586 WITH SCORE 176084.047
AT ITER 32 NEW BEST:: SOT 606368 SOS 497937 HAS SOPS 497374 HAS SOUS 175724 HAS SOUPS 175522 WITH SCORE 176019.937
AT ITER 39 NEW BEST:: SOT 605440 SOS 497355 HAS SOPS 497132 HAS SOUS 175518 HAS SOUPS 175384 WITH SCORE 175881.355
AT ITER 42 NEW BEST:: SOT 605282 SOS 497204 HAS SOPS 496981 HAS SOUS 175495 HAS SOUPS 175361 WITH SCORE 175858.204
AT ITER 45 NEW BEST:: SOT 605307 SOS 497354 HAS SOPS 497006 HAS SOUS 173544 HAS SOUPS 173385 WITH SCORE 173882.354
AT ITER 46 NEW BEST:: SOT 605270 SOS 497317 HAS SOPS 496969 HAS SOUS 173150 HAS SOUPS 172991 WITH SCORE 173488.317
AT ITER 48 NEW BEST:: SOT 605269 SOS 497311 HAS SOPS 496964 HAS SOUS 173147 HAS SOUPS 172989 WITH SCORE 173486.311
AT ITER 49 NEW BEST:: SOT 605519 SOS 497577 HAS SOPS 497325 HAS SOUS 171582 HAS SOUPS 171443 WITH SCORE 171940.577
AT ITER 50 NEW BEST:: SOT 605375 SOS 497436 HAS SOPS 497184 HAS SOUS 171510 HAS SOUPS 171371 WITH SCORE 171868.436
AT ITER 53 NEW BEST:: SOT 604751 SOS 496812 HAS SOPS 496560 HAS SOUS 171200 HAS SOUPS 171061 WITH SCORE 171557.812
AT ITER 59 NEW BEST:: SOT 604741 SOS 496950 HAS SOPS 496698 HAS SOUS 171196 HAS SOUPS 171057 WITH SCORE 171553.95
AT ITER 60 NEW BEST:: SOT 604803 SOS 496968 HAS SOPS 496716 HAS SOUS 165015 HAS SOUPS 164876 WITH SCORE 165372.968
AT ITER 61 NEW BEST:: SOT 604785 SOS 496777 HAS SOPS 496525 HAS SOUS 164892 HAS SOUPS 164753 WITH SCORE 165249.777
AT ITER 63 NEW BEST:: SOT 604752 SOS 496689 HAS SOPS 496448 HAS SOUS 164848 HAS SOUPS 164720 WITH SCORE 165216.689
AT ITER 68 NEW BEST:: SOT 604750 SOS 496763 HAS SOPS 496522 HAS SOUS 130454 HAS SOUPS 130326 WITH SCORE 130822.763
AT ITER 71 NEW BEST:: SOT 604658 SOS 496562 HAS SOPS 496321 HAS SOUS 130299 HAS SOUPS 130171 WITH SCORE 130667.562
AT ITER 73 NEW BEST:: SOT 604808 SOS 496414 HAS SOPS 496230 HAS SOUS 100259 HAS SOUPS 100187 WITH SCORE 100683.414
AT ITER 75 NEW BEST:: SOT 604837 SOS 496418 HAS SOPS 496234 HAS SOUS 100202 HAS SOUPS 100130 WITH SCORE 100626.418
AT ITER 87 NEW BEST:: SOT 604837 SOS 496410 HAS SOPS 496226 HAS SOUS 100202 HAS SOUPS 100130 WITH SCORE 100626.41
AT ITER 91 NEW BEST:: SOT 604790 SOS 496363 HAS SOPS 496179 HAS SOUS 99595 HAS SOUPS 99523 WITH SCORE 100019.363
AT ITER 97 NEW BEST:: SOT 604787 SOS 496297 HAS SOPS 496048 HAS SOUS 99581 HAS SOUPS 99471 WITH SCORE 99967.297
AT ITER 107 NEW BEST:: SOT 603523 SOS 495059 HAS SOPS 494814 HAS SOUS 98925 HAS SOUPS 98820 WITH SCORE 99315.059
AT ITER 108 NEW BEST:: SOT 600969 SOS 492505 HAS SOPS 492260 HAS SOUS 97595 HAS SOUPS 97490 WITH SCORE 97982.505
AT ITER 110 NEW BEST:: SOT 600974 SOS 492621 HAS SOPS 492376 HAS SOUS 97473 HAS SOUPS 97368 WITH SCORE 97860.621
AT ITER 114 NEW BEST:: SOT 600973 SOS 492619 HAS SOPS 492374 HAS SOUS 97447 HAS SOUPS 97342 WITH SCORE 97834.619
AT ITER 128 NEW BEST:: SOT 600967 SOS 492707 HAS SOPS 492462 HAS SOUS 92465 HAS SOUPS 92360 WITH SCORE 92852.707
AT ITER 129 NEW BEST:: SOT 600991 SOS 492755 HAS SOPS 492510 HAS SOUS 92414 HAS SOUPS 92309 WITH SCORE 92801.755
AT ITER 130 NEW BEST:: SOT 599110 SOS 490898 HAS SOPS 490653 HAS SOUS 92340 HAS SOUPS 92235 WITH SCORE 92725.898
AT ITER 137 NEW BEST:: SOT 599129 SOS 490917 HAS SOPS 490672 HAS SOUS 91353 HAS SOUPS 91248 WITH SCORE 91738.917
AT ITER 138 NEW BEST:: SOT 598847 SOS 490672 HAS SOPS 490390 HAS SOUS 91194 HAS SOUPS 91068 WITH SCORE 91558.672
AT ITER 142 NEW BEST:: SOT 598680 SOS 490475 HAS SOPS 490193 HAS SOUS 90958 HAS SOUPS 90832 WITH SCORE 91322.475
AT ITER 147 NEW BEST:: SOT 598573 SOS 490368 HAS SOPS 490086 HAS SOUS 90939 HAS SOUPS 90813 WITH SCORE 91303.368
AT ITER 149 NEW BEST:: SOT 598507 SOS 490236 HAS SOPS 489954 HAS SOUS 90829 HAS SOUPS 90703 WITH SCORE 91193.236
AT ITER 150 NEW BEST:: SOT 598507 SOS 490284 HAS SOPS 490002 HAS SOUS 90821 HAS SOUPS 90695 WITH SCORE 91185.284
AT ITER 152 NEW BEST:: SOT 598600 SOS 490355 HAS SOPS 490073 HAS SOUS 90348 HAS SOUPS 90222 WITH SCORE 90712.355
AT ITER 153 NEW BEST:: SOT 598613 SOS 490386 HAS SOPS 490104 HAS SOUS 90342 HAS SOUPS 90216 WITH SCORE 90706.386
AT ITER 163 NEW BEST:: SOT 598489 SOS 490215 HAS SOPS 489933 HAS SOUS 90171 HAS SOUPS 90045 WITH SCORE 90535.215
AT ITER 166 NEW BEST:: SOT 598467 SOS 490182 HAS SOPS 489911 HAS SOUS 90166 HAS SOUPS 90045 WITH SCORE 90535.182
AT ITER 168 NEW BEST:: SOT 598457 SOS 490165 HAS SOPS 489894 HAS SOUS 90152 HAS SOUPS 90031 WITH SCORE 90521.165
AT ITER 169 NEW BEST:: SOT 598525 SOS 490152 HAS SOPS 489881 HAS SOUS 87368 HAS SOUPS 87247 WITH SCORE 87737.152
AT ITER 170 NEW BEST:: SOT 598521 SOS 490143 HAS SOPS 489872 HAS SOUS 87366 HAS SOUPS 87245 WITH SCORE 87735.143
AT ITER 171 NEW BEST:: SOT 598423 SOS 490187 HAS SOPS 489774 HAS SOUS 85920 HAS SOUPS 85761 WITH SCORE 86251.187
AT ITER 178 NEW BEST:: SOT 598540 SOS 490307 HAS SOPS 489894 HAS SOUS 83929 HAS SOUPS 83770 WITH SCORE 84260.307
AT ITER 180 NEW BEST:: SOT 598512 SOS 490261 HAS SOPS 489848 HAS SOUS 83875 HAS SOUPS 83716 WITH SCORE 84206.261
AT ITER 182 NEW BEST:: SOT 598694 SOS 490440 HAS SOPS 490027 HAS SOUS 83490 HAS SOUPS 83331 WITH SCORE 83821.44
AT ITER 185 NEW BEST:: SOT 598691 SOS 490434 HAS SOPS 490021 HAS SOUS 83304 HAS SOUPS 83145 WITH SCORE 83635.434
AT ITER 187 NEW BEST:: SOT 598691 SOS 490428 HAS SOPS 490015 HAS SOUS 83304 HAS SOUPS 83145 WITH SCORE 83635.428
AT ITER 190 NEW BEST:: SOT 598700 SOS 490437 HAS SOPS 490024 HAS SOUS 82809 HAS SOUPS 82650 WITH SCORE 83140.437
AT ITER 199 NEW BEST:: SOT 603940 SOS 495784 HAS SOPS 495371 HAS SOUS 80467 HAS SOUPS 80308 WITH SCORE 80803.784
AT ITER 201 NEW BEST:: SOT 603922 SOS 495766 HAS SOPS 495362 HAS SOUS 80107 HAS SOUPS 79948 WITH SCORE 80443.766
AT ITER 203 NEW BEST:: SOT 603918 SOS 495762 HAS SOPS 495358 HAS SOUS 80095 HAS SOUPS 79936 WITH SCORE 80431.762
AT ITER 205 NEW BEST:: SOT 603914 SOS 495737 HAS SOPS 495333 HAS SOUS 80060 HAS SOUPS 79901 WITH SCORE 80396.737
AT ITER 207 NEW BEST:: SOT 603926 SOS 495755 HAS SOPS 495351 HAS SOUS 80039 HAS SOUPS 79880 WITH SCORE 80375.755
AT ITER 209 NEW BEST:: SOT 603968 SOS 495797 HAS SOPS 495393 HAS SOUS 78791 HAS SOUPS 78632 WITH SCORE 79127.797
AT ITER 211 NEW BEST:: SOT 603950 SOS 495738 HAS SOPS 495334 HAS SOUS 78785 HAS SOUPS 78626 WITH SCORE 79121.738
AT ITER 214 NEW BEST:: SOT 603926 SOS 495799 HAS SOPS 495395 HAS SOUS 78654 HAS SOUPS 78495 WITH SCORE 78990.799
AT ITER 216 NEW BEST:: SOT 603926 SOS 495818 HAS SOPS 495414 HAS SOUS 78632 HAS SOUPS 78473 WITH SCORE 78968.818
AT ITER 221 NEW BEST:: SOT 603817 SOS 495665 HAS SOPS 495261 HAS SOUS 78570 HAS SOUPS 78411 WITH SCORE 78906.665
AT ITER 227 NEW BEST:: SOT 603803 SOS 495673 HAS SOPS 495269 HAS SOUS 78569 HAS SOUPS 78410 WITH SCORE 78905.673
AT ITER 228 NEW BEST:: SOT 604056 SOS 495982 HAS SOPS 495578 HAS SOUS 73933 HAS SOUPS 73774 WITH SCORE 74269.982
AT ITER 230 NEW BEST:: SOT 604114 SOS 496040 HAS SOPS 495636 HAS SOUS 72433 HAS SOUPS 72274 WITH SCORE 72770.04
AT ITER 238 NEW BEST:: SOT 604067 SOS 495993 HAS SOPS 495589 HAS SOUS 72419 HAS SOUPS 72260 WITH SCORE 72755.993
AT ITER 242 NEW BEST:: SOT 590891 SOS 483021 HAS SOPS 482554 HAS SOUS 69402 HAS SOUPS 69181 WITH SCORE 69664.021
AT ITER 247 NEW BEST:: SOT 590878 SOS 482978 HAS SOPS 482511 HAS SOUS 69342 HAS SOUPS 69121 WITH SCORE 69603.978
AT ITER 250 NEW BEST:: SOT 590873 SOS 482973 HAS SOPS 482506 HAS SOUS 69342 HAS SOUPS 69121 WITH SCORE 69603.973
AT ITER 253 NEW BEST:: SOT 590843 SOS 482943 HAS SOPS 482476 HAS SOUS 69342 HAS SOUPS 69121 WITH SCORE 69603.943
AT ITER 255 NEW BEST:: SOT 590747 SOS 482764 HAS SOPS 482297 HAS SOUS 69270 HAS SOUPS 69049 WITH SCORE 69531.764
AT ITER 260 NEW BEST:: SOT 590731 SOS 482727 HAS SOPS 482260 HAS SOUS 69231 HAS SOUPS 69010 WITH SCORE 69492.727
AT ITER 263 NEW BEST:: SOT 590796 SOS 482816 HAS SOPS 482349 HAS SOUS 69212 HAS SOUPS 68991 WITH SCORE 69473.816
AT ITER 266 NEW BEST:: SOT 590884 SOS 482812 HAS SOPS 482341 HAS SOUS 59692 HAS SOUPS 59471 WITH SCORE 59953.812
AT ITER 271 NEW BEST:: SOT 590882 SOS 482810 HAS SOPS 482339 HAS SOUS 59678 HAS SOUPS 59457 WITH SCORE 59939.81
AT ITER 279 NEW BEST:: SOT 590916 SOS 482706 HAS SOPS 482269 HAS SOUS 59064 HAS SOUPS 58877 WITH SCORE 59359.706
AT ITER 282 NEW BEST:: SOT 590916 SOS 482711 HAS SOPS 482268 HAS SOUS 58931 HAS SOUPS 58738 WITH SCORE 59220.711
AT ITER 284 NEW BEST:: SOT 591236 SOS 482707 HAS SOPS 482404 HAS SOUS 58671 HAS SOUPS 58506 WITH SCORE 58988.707
AT ITER 286 NEW BEST:: SOT 589887 SOS 481358 HAS SOPS 481055 HAS SOUS 58152 HAS SOUPS 57987 WITH SCORE 58468.358
AT ITER 291 NEW BEST:: SOT 589670 SOS 481140 HAS SOPS 480837 HAS SOUS 57961 HAS SOUPS 57796 WITH SCORE 58277.14
AT ITER 296 NEW BEST:: SOT 589668 SOS 481138 HAS SOPS 480835 HAS SOUS 57960 HAS SOUPS 57795 WITH SCORE 58276.138
AT ITER 303 NEW BEST:: SOT 590414 SOS 481884 HAS SOPS 481562 HAS SOUS 57365 HAS SOUPS 57200 WITH SCORE 57681.884
AT ITER 305 NEW BEST:: SOT 590704 SOS 482174 HAS SOPS 481827 HAS SOUS 56903 HAS SOUPS 56713 WITH SCORE 57195.174
AT ITER 308 NEW BEST:: SOT 590495 SOS 481965 HAS SOPS 481618 HAS SOUS 56580 HAS SOUPS 56390 WITH SCORE 56871.965
AT ITER 309 NEW BEST:: SOT 590495 SOS 482028 HAS SOPS 481670 HAS SOUS 56150 HAS SOUPS 55988 WITH SCORE 56470.028
AT ITER 313 NEW BEST:: SOT 590483 SOS 481989 HAS SOPS 481638 HAS SOUS 56088 HAS SOUPS 55926 WITH SCORE 56407.989
AT ITER 314 NEW BEST:: SOT 590483 SOS 482019 HAS SOPS 481668 HAS SOUS 55862 HAS SOUPS 55700 WITH SCORE 56182.019
AT ITER 316 NEW BEST:: SOT 590441 SOS 481977 HAS SOPS 481626 HAS SOUS 55143 HAS SOUPS 54981 WITH SCORE 55462.977
AT ITER 321 NEW BEST:: SOT 590375 SOS 481920 HAS SOPS 481593 HAS SOUS 55140 HAS SOUPS 54978 WITH SCORE 55459.92
AT ITER 322 NEW BEST:: SOT 590248 SOS 481903 HAS SOPS 481576 HAS SOUS 55001 HAS SOUPS 54839 WITH SCORE 55320.903
AT ITER 323 NEW BEST:: SOT 590231 SOS 481831 HAS SOPS 481504 HAS SOUS 54463 HAS SOUPS 54301 WITH SCORE 54782.831
AT ITER 324 NEW BEST:: SOT 590190 SOS 481698 HAS SOPS 481371 HAS SOUS 54384 HAS SOUPS 54222 WITH SCORE 54703.698
AT ITER 325 NEW BEST:: SOT 590185 SOS 481708 HAS SOPS 481381 HAS SOUS 54324 HAS SOUPS 54162 WITH SCORE 54643.708
AT ITER 326 NEW BEST:: SOT 590209 SOS 481684 HAS SOPS 481357 HAS SOUS 53523 HAS SOUPS 53361 WITH SCORE 53842.684
AT ITER 336 NEW BEST:: SOT 590203 SOS 481705 HAS SOPS 481378 HAS SOUS 53514 HAS SOUPS 53352 WITH SCORE 53833.705
AT ITER 340 NEW BEST:: SOT 590154 SOS 481666 HAS SOPS 481346 HAS SOUS 53157 HAS SOUPS 52995 WITH SCORE 53476.666
AT ITER 352 NEW BEST:: SOT 588586 SOS 480174 HAS SOPS 479854 HAS SOUS 52642 HAS SOUPS 52480 WITH SCORE 52960.174
AT ITER 353 NEW BEST:: SOT 588573 SOS 480149 HAS SOPS 479829 HAS SOUS 52605 HAS SOUPS 52443 WITH SCORE 52923.149
AT ITER 355 NEW BEST:: SOT 588578 SOS 480127 HAS SOPS 479807 HAS SOUS 52588 HAS SOUPS 52426 WITH SCORE 52906.127
AT ITER 356 NEW BEST:: SOT 588577 SOS 480109 HAS SOPS 479789 HAS SOUS 52487 HAS SOUPS 52325 WITH SCORE 52805.109
AT ITER 360 NEW BEST:: SOT 589213 SOS 480763 HAS SOPS 480454 HAS SOUS 52421 HAS SOUPS 52269 WITH SCORE 52749.763
AT ITER 365 NEW BEST:: SOT 589213 SOS 480764 HAS SOPS 480455 HAS SOUS 52401 HAS SOUPS 52249 WITH SCORE 52729.764
AT ITER 367 NEW BEST:: SOT 589057 SOS 480284 HAS SOPS 480060 HAS SOUS 36301 HAS SOUPS 36172 WITH SCORE 36652.284
AT ITER 369 NEW BEST:: SOT 589056 SOS 480251 HAS SOPS 480028 HAS SOUS 36300 HAS SOUPS 36171 WITH SCORE 36651.251
AT ITER 374 NEW BEST:: SOT 589133 SOS 480276 HAS SOPS 480064 HAS SOUS 36241 HAS SOUPS 36123 WITH SCORE 36603.276
AT ITER 376 NEW BEST:: SOT 588032 SOS 479175 HAS SOPS 478963 HAS SOUS 35739 HAS SOUPS 35621 WITH SCORE 36100.175
AT ITER 380 NEW BEST:: SOT 588040 SOS 479040 HAS SOPS 478753 HAS SOUS 35645 HAS SOUPS 35453 WITH SCORE 35932.04
AT ITER 386 NEW BEST:: SOT 587672 SOS 478744 HAS SOPS 478457 HAS SOUS 34889 HAS SOUPS 34697 WITH SCORE 35175.744
AT ITER 387 NEW BEST:: SOT 587668 SOS 478646 HAS SOPS 478359 HAS SOUS 34750 HAS SOUPS 34558 WITH SCORE 35036.646
AT ITER 393 NEW BEST:: SOT 587593 SOS 478504 HAS SOPS 478217 HAS SOUS 34673 HAS SOUPS 34481 WITH SCORE 34959.504
AT ITER 399 NEW BEST:: SOT 587312 SOS 478223 HAS SOPS 477936 HAS SOUS 34584 HAS SOUPS 34392 WITH SCORE 34870.223
AT ITER 401 NEW BEST:: SOT 587302 SOS 478360 HAS SOPS 478014 HAS SOUS 34126 HAS SOUPS 33934 WITH SCORE 34412.36
AT ITER 409 NEW BEST:: SOT 587302 SOS 478445 HAS SOPS 478126 HAS SOUS 34044 HAS SOUPS 33859 WITH SCORE 34337.445
AT ITER 420 NEW BEST:: SOT 587360 SOS 478536 HAS SOPS 478217 HAS SOUS 33959 HAS SOUPS 33774 WITH SCORE 34252.536
AT ITER 421 NEW BEST:: SOT 587608 SOS 478784 HAS SOPS 478465 HAS SOUS 33714 HAS SOUPS 33529 WITH SCORE 34007.784
AT ITER 424 NEW BEST:: SOT 587647 SOS 478918 HAS SOPS 478599 HAS SOUS 33710 HAS SOUPS 33525 WITH SCORE 34003.918
AT ITER 431 NEW BEST:: SOT 587644 SOS 478957 HAS SOPS 478638 HAS SOUS 33628 HAS SOUPS 33443 WITH SCORE 33921.957
AT ITER 439 NEW BEST:: SOT 585742 SOS 477055 HAS SOPS 476736 HAS SOUS 32686 HAS SOUPS 32501 WITH SCORE 32978.055
AT ITER 443 NEW BEST:: SOT 585739 SOS 477019 HAS SOPS 476700 HAS SOUS 32686 HAS SOUPS 32501 WITH SCORE 32978.019
AT ITER 444 NEW BEST:: SOT 585736 SOS 477013 HAS SOPS 476694 HAS SOUS 32675 HAS SOUPS 32490 WITH SCORE 32967.013
AT ITER 445 NEW BEST:: SOT 585744 SOS 477037 HAS SOPS 476718 HAS SOUS 32647 HAS SOUPS 32462 WITH SCORE 32939.037
AT ITER 448 NEW BEST:: SOT 585713 SOS 477006 HAS SOPS 476687 HAS SOUS 32616 HAS SOUPS 32431 WITH SCORE 32908.006
AT ITER 451 NEW BEST:: SOT 585627 SOS 476805 HAS SOPS 476486 HAS SOUS 32519 HAS SOUPS 32334 WITH SCORE 32810.805
AT ITER 453 NEW BEST:: SOT 585617 SOS 476767 HAS SOPS 476448 HAS SOUS 32494 HAS SOUPS 32309 WITH SCORE 32785.767
AT ITER 455 NEW BEST:: SOT 585613 SOS 476751 HAS SOPS 476432 HAS SOUS 32493 HAS SOUPS 32308 WITH SCORE 32784.751
AT ITER 461 NEW BEST:: SOT 585643 SOS 476754 HAS SOPS 476435 HAS SOUS 32477 HAS SOUPS 32292 WITH SCORE 32768.754
AT ITER 463 NEW BEST:: SOT 585562 SOS 476685 HAS SOPS 476366 HAS SOUS 32472 HAS SOUPS 32287 WITH SCORE 32763.685
AT ITER 467 NEW BEST:: SOT 585563 SOS 476686 HAS SOPS 476367 HAS SOUS 32471 HAS SOUPS 32286 WITH SCORE 32762.686
AT ITER 469 NEW BEST:: SOT 585536 SOS 476632 HAS SOPS 476313 HAS SOUS 32444 HAS SOUPS 32259 WITH SCORE 32735.632
AT ITER 481 NEW BEST:: SOT 583941 SOS 475032 HAS SOPS 474713 HAS SOUS 31644 HAS SOUPS 31459 WITH SCORE 31934.032
AT ITER 486 NEW BEST:: SOT 584009 SOS 475065 HAS SOPS 474746 HAS SOUS 31588 HAS SOUPS 31403 WITH SCORE 31878.065
AT ITER 490 NEW BEST:: SOT 583949 SOS 474903 HAS SOPS 474584 HAS SOUS 31558 HAS SOUPS 31373 WITH SCORE 31847.903
AT ITER 517 NEW BEST:: SOT 583946 SOS 466536 HAS SOPS 466217 HAS SOUS 31555 HAS SOUPS 31370 WITH SCORE 31836.536
AT ITER 519 NEW BEST:: SOT 583953 SOS 466543 HAS SOPS 466208 HAS SOUS 27986 HAS SOUPS 27789 WITH SCORE 28255.543
AT ITER 525 NEW BEST:: SOT 583956 SOS 466549 HAS SOPS 466214 HAS SOUS 27966 HAS SOUPS 27769 WITH SCORE 28235.549
AT ITER 528 NEW BEST:: SOT 583952 SOS 466543 HAS SOPS 466208 HAS SOUS 27948 HAS SOUPS 27751 WITH SCORE 28217.543
AT ITER 546 NEW BEST:: SOT 583951 SOS 466534 HAS SOPS 466199 HAS SOUS 27947 HAS SOUPS 27750 WITH SCORE 28216.534
AT ITER 556 NEW BEST:: SOT 583936 SOS 466493 HAS SOPS 466158 HAS SOUS 27944 HAS SOUPS 27747 WITH SCORE 28213.493
AT ITER 572 NEW BEST:: SOT 583903 SOS 466427 HAS SOPS 466092 HAS SOUS 27911 HAS SOUPS 27714 WITH SCORE 28180.427
AT ITER 573 NEW BEST:: SOT 583903 SOS 466450 HAS SOPS 466115 HAS SOUS 27799 HAS SOUPS 27602 WITH SCORE 28068.45
AT ITER 576 NEW BEST:: SOT 583879 SOS 466414 HAS SOPS 466076 HAS SOUS 27775 HAS SOUPS 27578 WITH SCORE 28044.414
AT ITER 580 NEW BEST:: SOT 583655 SOS 466115 HAS SOPS 465777 HAS SOUS 27599 HAS SOUPS 27402 WITH SCORE 27868.115
AT ITER 593 NEW BEST:: SOT 583624 SOS 466177 HAS SOPS 465808 HAS SOUS 27356 HAS SOUPS 27128 WITH SCORE 27594.177
AT ITER 603 NEW BEST:: SOT 583659 SOS 466230 HAS SOPS 465861 HAS SOUS 27022 HAS SOUPS 26794 WITH SCORE 27260.23
AT ITER 607 NEW BEST:: SOT 583526 SOS 466084 HAS SOPS 465715 HAS SOUS 26391 HAS SOUPS 26163 WITH SCORE 26629.084
AT ITER 608 NEW BEST:: SOT 583642 SOS 466200 HAS SOPS 465831 HAS SOUS 26243 HAS SOUPS 26015 WITH SCORE 26481.2
AT ITER 615 NEW BEST:: SOT 583635 SOS 466231 HAS SOPS 465862 HAS SOUS 26095 HAS SOUPS 25867 WITH SCORE 26333.231
AT ITER 616 NEW BEST:: SOT 583366 SOS 466039 HAS SOPS 465633 HAS SOUS 25906 HAS SOUPS 25660 WITH SCORE 26126.039
AT ITER 623 NEW BEST:: SOT 583362 SOS 466017 HAS SOPS 465611 HAS SOUS 25880 HAS SOUPS 25634 WITH SCORE 26100.017
AT ITER 649 NEW BEST:: SOT 583340 SOS 466042 HAS SOPS 465636 HAS SOUS 25408 HAS SOUPS 25162 WITH SCORE 25628.042
AT ITER 652 NEW BEST:: SOT 583332 SOS 466034 HAS SOPS 465628 HAS SOUS 25396 HAS SOUPS 25150 WITH SCORE 25616.034
AT ITER 657 NEW BEST:: SOT 583314 SOS 466089 HAS SOPS 465650 HAS SOUS 25411 HAS SOUPS 25132 WITH SCORE 25598.089
AT ITER 658 NEW BEST:: SOT 583301 SOS 466063 HAS SOPS 465624 HAS SOUS 25276 HAS SOUPS 24997 WITH SCORE 25463.063
AT ITER 676 NEW BEST:: SOT 583311 SOS 466086 HAS SOPS 465646 HAS SOUS 25245 HAS SOUPS 24966 WITH SCORE 25432.086
AT ITER 677 NEW BEST:: SOT 583269 SOS 466029 HAS SOPS 465589 HAS SOUS 25203 HAS SOUPS 24924 WITH SCORE 25390.029
AT ITER 681 NEW BEST:: SOT 583296 SOS 466174 HAS SOPS 465734 HAS SOUS 25161 HAS SOUPS 24882 WITH SCORE 25348.174
AT ITER 686 NEW BEST:: SOT 583288 SOS 466158 HAS SOPS 465718 HAS SOUS 25158 HAS SOUPS 24879 WITH SCORE 25345.158
AT ITER 690 NEW BEST:: SOT 583282 SOS 466195 HAS SOPS 465751 HAS SOUS 25122 HAS SOUPS 24839 WITH SCORE 25305.195
AT ITER 699 NEW BEST:: SOT 583262 SOS 466178 HAS SOPS 465734 HAS SOUS 25039 HAS SOUPS 24756 WITH SCORE 25222.178
AT ITER 706 NEW BEST:: SOT 583256 SOS 466163 HAS SOPS 465719 HAS SOUS 25030 HAS SOUPS 24747 WITH SCORE 25213.163
AT ITER 722 NEW BEST:: SOT 574314 SOS 457245 HAS SOPS 456801 HAS SOUS 22691 HAS SOUPS 22408 WITH SCORE 22865.245
AT ITER 725 NEW BEST:: SOT 574279 SOS 457203 HAS SOPS 456745 HAS SOUS 22661 HAS SOUPS 22378 WITH SCORE 22835.203
AT ITER 730 NEW BEST:: SOT 574213 SOS 457122 HAS SOPS 456640 HAS SOUS 22541 HAS SOUPS 22256 WITH SCORE 22713.122
AT ITER 743 NEW BEST:: SOT 574147 SOS 457036 HAS SOPS 456554 HAS SOUS 22455 HAS SOUPS 22170 WITH SCORE 22627.036
AT ITER 750 NEW BEST:: SOT 574147 SOS 457031 HAS SOPS 456549 HAS SOUS 22450 HAS SOUPS 22165 WITH SCORE 22622.031
AT ITER 754 NEW BEST:: SOT 574144 SOS 457027 HAS SOPS 456545 HAS SOUS 22448 HAS SOUPS 22163 WITH SCORE 22620.027
AT ITER 780 NEW BEST:: SOT 574144 SOS 457027 HAS SOPS 456545 HAS SOUS 22426 HAS SOUPS 22141 WITH SCORE 22598.027
AT ITER 781 NEW BEST:: SOT 576297 SOS 459173 HAS SOPS 458691 HAS SOUS 22372 HAS SOUPS 22087 WITH SCORE 22546.173
AT ITER 787 NEW BEST:: SOT 576314 SOS 459178 HAS SOPS 458696 HAS SOUS 22349 HAS SOUPS 22064 WITH SCORE 22523.178
AT ITER 794 NEW BEST:: SOT 576338 SOS 459269 HAS SOPS 458787 HAS SOUS 22236 HAS SOUPS 21951 WITH SCORE 22410.269
AT ITER 805 NEW BEST:: SOT 576317 SOS 459249 HAS SOPS 458757 HAS SOUS 22223 HAS SOUPS 21930 WITH SCORE 22389.249
AT ITER 806 NEW BEST:: SOT 576315 SOS 459246 HAS SOPS 458754 HAS SOUS 22220 HAS SOUPS 21927 WITH SCORE 22386.246
AT ITER 807 NEW BEST:: SOT 576315 SOS 459246 HAS SOPS 458754 HAS SOUS 22211 HAS SOUPS 21918 WITH SCORE 22377.246
AT ITER 812 NEW BEST:: SOT 576315 SOS 459246 HAS SOPS 458754 HAS SOUS 22139 HAS SOUPS 21846 WITH SCORE 22305.246
AT ITER 843 NEW BEST:: SOT 576316 SOS 459303 HAS SOPS 458811 HAS SOUS 22070 HAS SOUPS 21777 WITH SCORE 22236.303
AT ITER 859 NEW BEST:: SOT 576316 SOS 459307 HAS SOPS 458815 HAS SOUS 22066 HAS SOUPS 21773 WITH SCORE 22232.307
AT ITER 860 NEW BEST:: SOT 576309 SOS 459293 HAS SOPS 458801 HAS SOUS 21888 HAS SOUPS 21595 WITH SCORE 22054.293
AT ITER 867 NEW BEST:: SOT 576342 SOS 459246 HAS SOPS 458754 HAS SOUS 21803 HAS SOUPS 21510 WITH SCORE 21969.246
AT ITER 868 NEW BEST:: SOT 576342 SOS 459245 HAS SOPS 458753 HAS SOUS 21800 HAS SOUPS 21507 WITH SCORE 21966.245
AT ITER 877 NEW BEST:: SOT 576322 SOS 459230 HAS SOPS 458738 HAS SOUS 21800 HAS SOUPS 21507 WITH SCORE 21966.23
AT ITER 879 NEW BEST:: SOT 576333 SOS 459211 HAS SOPS 458703 HAS SOUS 21808 HAS SOUPS 21507 WITH SCORE 21966.211
AT ITER 889 NEW BEST:: SOT 576320 SOS 459211 HAS SOPS 458703 HAS SOUS 21664 HAS SOUPS 21363 WITH SCORE 21822.211
AT ITER 900 NEW BEST:: SOT 576318 SOS 459174 HAS SOPS 458666 HAS SOUS 21631 HAS SOUPS 21330 WITH SCORE 21789.174
AT ITER 903 NEW BEST:: SOT 576366 SOS 459203 HAS SOPS 458693 HAS SOUS 21594 HAS SOUPS 21293 WITH SCORE 21752.203
AT ITER 908 NEW BEST:: SOT 576305 SOS 459157 HAS SOPS 458621 HAS SOUS 21425 HAS SOUPS 21113 WITH SCORE 21572.157
AT ITER 929 NEW BEST:: SOT 576305 SOS 459144 HAS SOPS 458608 HAS SOUS 21422 HAS SOUPS 21110 WITH SCORE 21569.144
AT ITER 942 NEW BEST:: SOT 576290 SOS 459099 HAS SOPS 458563 HAS SOUS 21392 HAS SOUPS 21080 WITH SCORE 21539.099
AT ITER 990 NEW BEST:: SOT 576174 SOS 458927 HAS SOPS 458391 HAS SOUS 21250 HAS SOUPS 20938 WITH SCORE 21396.927
AT ITER 995 NEW BEST:: SOT 576166 SOS 458919 HAS SOPS 458383 HAS SOUS 21250 HAS SOUPS 20938 WITH SCORE 21396.919
AT ITER 1015 NEW BEST:: SOT 576146 SOS 458895 HAS SOPS 458359 HAS SOUS 21206 HAS SOUPS 20894 WITH SCORE 21352.895
AT ITER 1018 NEW BEST:: SOT 576140 SOS 458891 HAS SOPS 458350 HAS SOUS 21200 HAS SOUPS 20888 WITH SCORE 21346.891
AT ITER 1029 NEW BEST:: SOT 576130 SOS 458855 HAS SOPS 458314 HAS SOUS 21184 HAS SOUPS 20872 WITH SCORE 21330.855
AT ITER 1034 NEW BEST:: SOT 576129 SOS 458853 HAS SOPS 458312 HAS SOUS 21179 HAS SOUPS 20867 WITH SCORE 21325.853
AT ITER 1035 NEW BEST:: SOT 576129 SOS 458853 HAS SOPS 458312 HAS SOUS 21170 HAS SOUPS 20858 WITH SCORE 21316.853
AT ITER 1040 NEW BEST:: SOT 576125 SOS 458847 HAS SOPS 458306 HAS SOUS 21168 HAS SOUPS 20856 WITH SCORE 21314.847
AT ITER 1050 NEW BEST:: SOT 576127 SOS 458867 HAS SOPS 458326 HAS SOUS 21160 HAS SOUPS 20848 WITH SCORE 21306.867
AT ITER 1053 NEW BEST:: SOT 576141 SOS 458937 HAS SOPS 458396 HAS SOUS 21116 HAS SOUPS 20804 WITH SCORE 21262.937
AT ITER 1059 NEW BEST:: SOT 576103 SOS 459062 HAS SOPS 458521 HAS SOUS 21074 HAS SOUPS 20762 WITH SCORE 21221.062
AT ITER 1064 NEW BEST:: SOT 576100 SOS 459059 HAS SOPS 458510 HAS SOUS 21018 HAS SOUPS 20704 WITH SCORE 21163.059
AT ITER 1070 NEW BEST:: SOT 576088 SOS 459049 HAS SOPS 458493 HAS SOUS 21001 HAS SOUPS 20687 WITH SCORE 21146.049
AT ITER 1081 NEW BEST:: SOT 576075 SOS 459036 HAS SOPS 458480 HAS SOUS 20988 HAS SOUPS 20674 WITH SCORE 21133.036
AT ITER 1082 NEW BEST:: SOT 576039 SOS 459000 HAS SOPS 458444 HAS SOUS 20952 HAS SOUPS 20638 WITH SCORE 21097.0
AT ITER 1100 NEW BEST:: SOT 576036 SOS 458997 HAS SOPS 458441 HAS SOUS 20945 HAS SOUPS 20631 WITH SCORE 21089.997
AT ITER 1102 NEW BEST:: SOT 576056 SOS 458951 HAS SOPS 458395 HAS SOUS 20905 HAS SOUPS 20591 WITH SCORE 21049.951
AT ITER 1113 NEW BEST:: SOT 576033 SOS 458859 HAS SOPS 458303 HAS SOUS 20874 HAS SOUPS 20560 WITH SCORE 21018.859
AT ITER 1121 NEW BEST:: SOT 575955 SOS 458625 HAS SOPS 458069 HAS SOUS 20743 HAS SOUPS 20429 WITH SCORE 20887.625
AT ITER 1147 NEW BEST:: SOT 575955 SOS 458625 HAS SOPS 458069 HAS SOUS 20722 HAS SOUPS 20408 WITH SCORE 20866.625
AT ITER 1160 NEW BEST:: SOT 575978 SOS 458641 HAS SOPS 458095 HAS SOUS 20697 HAS SOUPS 20383 WITH SCORE 20841.641
AT ITER 1177 NEW BEST:: SOT 575996 SOS 458605 HAS SOPS 458059 HAS SOUS 20661 HAS SOUPS 20347 WITH SCORE 20805.605
AT ITER 1191 NEW BEST:: SOT 575993 SOS 458595 HAS SOPS 458049 HAS SOUS 20659 HAS SOUPS 20345 WITH SCORE 20803.595
AT ITER 1198 NEW BEST:: SOT 575992 SOS 458612 HAS SOPS 458066 HAS SOUS 20635 HAS SOUPS 20321 WITH SCORE 20779.612
AT ITER 1205 NEW BEST:: SOT 575974 SOS 458571 HAS SOPS 458025 HAS SOUS 20621 HAS SOUPS 20307 WITH SCORE 20765.571
AT ITER 1257 NEW BEST:: SOT 575972 SOS 458553 HAS SOPS 458014 HAS SOUS 20609 HAS SOUPS 20302 WITH SCORE 20760.553
AT ITER 1259 NEW BEST:: SOT 576009 SOS 458590 HAS SOPS 458051 HAS SOUS 20604 HAS SOUPS 20297 WITH SCORE 20755.59
AT ITER 1265 NEW BEST:: SOT 575994 SOS 458575 HAS SOPS 458036 HAS SOUS 20393 HAS SOUPS 20086 WITH SCORE 20544.575
AT ITER 1280 NEW BEST:: SOT 575981 SOS 458530 HAS SOPS 457991 HAS SOUS 20372 HAS SOUPS 20065 WITH SCORE 20523.53
AT ITER 1282 NEW BEST:: SOT 576195 SOS 458708 HAS SOPS 458158 HAS SOUS 20163 HAS SOUPS 19845 WITH SCORE 20303.708
AT ITER 1284 NEW BEST:: SOT 576102 SOS 458674 HAS SOPS 458124 HAS SOUS 20140 HAS SOUPS 19822 WITH SCORE 20280.674
AT ITER 1290 NEW BEST:: SOT 576089 SOS 458661 HAS SOPS 458111 HAS SOUS 20140 HAS SOUPS 19822 WITH SCORE 20280.661
AT ITER 1310 NEW BEST:: SOT 576082 SOS 458633 HAS SOPS 458083 HAS SOUS 20132 HAS SOUPS 19814 WITH SCORE 20272.633
AT ITER 1322 NEW BEST:: SOT 576077 SOS 458627 HAS SOPS 458077 HAS SOUS 20120 HAS SOUPS 19802 WITH SCORE 20260.627
AT ITER 1329 NEW BEST:: SOT 576078 SOS 458627 HAS SOPS 458078 HAS SOUS 20119 HAS SOUPS 19801 WITH SCORE 20259.627
AT ITER 1339 NEW BEST:: SOT 576076 SOS 457634 HAS SOPS 457085 HAS SOUS 20115 HAS SOUPS 19797 WITH SCORE 20254.634
AT ITER 1352 NEW BEST:: SOT 576077 SOS 457493 HAS SOPS 456944 HAS SOUS 19912 HAS SOUPS 19594 WITH SCORE 20051.493
AT ITER 1373 NEW BEST:: SOT 576048 SOS 457435 HAS SOPS 456886 HAS SOUS 19854 HAS SOUPS 19536 WITH SCORE 19993.435
AT ITER 1377 NEW BEST:: SOT 575976 SOS 457155 HAS SOPS 456606 HAS SOUS 19791 HAS SOUPS 19473 WITH SCORE 19930.155
AT ITER 1379 NEW BEST:: SOT 575975 SOS 457076 HAS SOPS 456527 HAS SOUS 19782 HAS SOUPS 19464 WITH SCORE 19921.076
AT ITER 1391 NEW BEST:: SOT 576811 SOS 457904 HAS SOPS 457355 HAS SOUS 19492 HAS SOUPS 19174 WITH SCORE 19631.904
AT ITER 1408 NEW BEST:: SOT 576782 SOS 457875 HAS SOPS 457326 HAS SOUS 19492 HAS SOUPS 19174 WITH SCORE 19631.875
AT ITER 1412 NEW BEST:: SOT 576762 SOS 457865 HAS SOPS 457306 HAS SOUS 19472 HAS SOUPS 19154 WITH SCORE 19611.865
AT ITER 1444 NEW BEST:: SOT 576790 SOS 457897 HAS SOPS 457338 HAS SOUS 19471 HAS SOUPS 19153 WITH SCORE 19610.897
AT ITER 1447 NEW BEST:: SOT 576860 SOS 457967 HAS SOPS 457383 HAS SOUS 19440 HAS SOUPS 19097 WITH SCORE 19554.967
AT ITER 1486 NEW BEST:: SOT 576853 SOS 457964 HAS SOPS 457380 HAS SOUS 19437 HAS SOUPS 19094 WITH SCORE 19551.964
AT ITER 1509 NEW BEST:: SOT 576971 SOS 458120 HAS SOPS 457511 HAS SOUS 19414 HAS SOUPS 19071 WITH SCORE 19529.12
AT ITER 1522 NEW BEST:: SOT 576978 SOS 458127 HAS SOPS 457518 HAS SOUS 19413 HAS SOUPS 19070 WITH SCORE 19528.127
AT ITER 1531 NEW BEST:: SOT 576973 SOS 458117 HAS SOPS 457508 HAS SOUS 19406 HAS SOUPS 19063 WITH SCORE 19521.117
AT ITER 1532 NEW BEST:: SOT 576950 SOS 458054 HAS SOPS 457461 HAS SOUS 19369 HAS SOUPS 19042 WITH SCORE 19500.054
AT ITER 1551 NEW BEST:: SOT 576947 SOS 458048 HAS SOPS 457455 HAS SOUS 19367 HAS SOUPS 19040 WITH SCORE 19498.048
AT ITER 1562 NEW BEST:: SOT 576949 SOS 458051 HAS SOPS 457459 HAS SOUS 19359 HAS SOUPS 19033 WITH SCORE 19491.051
AT ITER 1567 NEW BEST:: SOT 576942 SOS 458065 HAS SOPS 457451 HAS SOUS 19345 HAS SOUPS 19019 WITH SCORE 19477.065
AT ITER 1581 NEW BEST:: SOT 576933 SOS 458056 HAS SOPS 457442 HAS SOUS 19345 HAS SOUPS 19019 WITH SCORE 19477.056
AT ITER 1621 NEW BEST:: SOT 576927 SOS 458050 HAS SOPS 457430 HAS SOUS 19333 HAS SOUPS 19007 WITH SCORE 19465.05
AT ITER 1671 NEW BEST:: SOT 576927 SOS 458341 HAS SOPS 457721 HAS SOUS 19326 HAS SOUPS 19000 WITH SCORE 19458.341
AT ITER 1680 NEW BEST:: SOT 576921 SOS 458338 HAS SOPS 457718 HAS SOUS 19323 HAS SOUPS 18997 WITH SCORE 19455.338
AT ITER 1696 NEW BEST:: SOT 576896 SOS 458260 HAS SOPS 457643 HAS SOUS 19321 HAS SOUPS 18995 WITH SCORE 19453.26
AT ITER 1703 NEW BEST:: SOT 576891 SOS 458260 HAS SOPS 457638 HAS SOUS 19256 HAS SOUPS 18930 WITH SCORE 19388.26
AT ITER 1736 NEW BEST:: SOT 576867 SOS 458230 HAS SOPS 457608 HAS SOUS 19221 HAS SOUPS 18895 WITH SCORE 19353.23
AT ITER 1737 NEW BEST:: SOT 576876 SOS 458254 HAS SOPS 457632 HAS SOUS 19218 HAS SOUPS 18892 WITH SCORE 19350.254
AT ITER 1739 NEW BEST:: SOT 576874 SOS 458248 HAS SOPS 457622 HAS SOUS 19212 HAS SOUPS 18882 WITH SCORE 19340.248
AT ITER 1767 NEW BEST:: SOT 576872 SOS 458247 HAS SOPS 457621 HAS SOUS 19211 HAS SOUPS 18881 WITH SCORE 19339.247
AT ITER 1784 NEW BEST:: SOT 576940 SOS 458280 HAS SOPS 457654 HAS SOUS 19088 HAS SOUPS 18758 WITH SCORE 19216.28
AT ITER 1792 NEW BEST:: SOT 577224 SOS 458561 HAS SOPS 457933 HAS SOUS 18847 HAS SOUPS 18515 WITH SCORE 18973.561
AT ITER 1819 NEW BEST:: SOT 577220 SOS 458555 HAS SOPS 457931 HAS SOUS 18841 HAS SOUPS 18513 WITH SCORE 18971.555
AT ITER 1821 NEW BEST:: SOT 577222 SOS 458557 HAS SOPS 457933 HAS SOUS 18829 HAS SOUPS 18501 WITH SCORE 18959.557
AT ITER 1825 NEW BEST:: SOT 577214 SOS 458545 HAS SOPS 457921 HAS SOUS 18817 HAS SOUPS 18489 WITH SCORE 18947.545
AT ITER 1853 NEW BEST:: SOT 577208 SOS 458530 HAS SOPS 457912 HAS SOUS 18811 HAS SOUPS 18486 WITH SCORE 18944.53
AT ITER 1859 NEW BEST:: SOT 576438 SOS 457760 HAS SOPS 457142 HAS SOUS 18788 HAS SOUPS 18463 WITH SCORE 18920.76
AT ITER 1861 NEW BEST:: SOT 574193 SOS 455513 HAS SOPS 454895 HAS SOUS 18328 HAS SOUPS 18003 WITH SCORE 18458.513
AT ITER 1897 NEW BEST:: SOT 574191 SOS 455509 HAS SOPS 454891 HAS SOUS 18315 HAS SOUPS 17990 WITH SCORE 18445.509
AT ITER 1915 NEW BEST:: SOT 574182 SOS 455501 HAS SOPS 454883 HAS SOUS 18306 HAS SOUPS 17981 WITH SCORE 18436.501
AT ITER 1925 NEW BEST:: SOT 574141 SOS 461769 HAS SOPS 461070 HAS SOUS 18297 HAS SOUPS 17959 WITH SCORE 18420.769
AT ITER 1952 NEW BEST:: SOT 574138 SOS 461764 HAS SOPS 461065 HAS SOUS 18290 HAS SOUPS 17952 WITH SCORE 18413.764
AT ITER 1953 NEW BEST:: SOT 574136 SOS 461761 HAS SOPS 461064 HAS SOUS 18288 HAS SOUPS 17951 WITH SCORE 18412.761
AT ITER 1957 NEW BEST:: SOT 574128 SOS 461753 HAS SOPS 461044 HAS SOUS 18257 HAS SOUPS 17911 WITH SCORE 18372.753
AT ITER 1988 NEW BEST:: SOT 574119 SOS 461738 HAS SOPS 461029 HAS SOUS 18242 HAS SOUPS 17896 WITH SCORE 18357.738
AT ITER 2009 NEW BEST:: SOT 574110 SOS 461718 HAS SOPS 461009 HAS SOUS 18242 HAS SOUPS 17896 WITH SCORE 18357.718
AT ITER 2027 NEW BEST:: SOT 574740 SOS 462348 HAS SOPS 461639 HAS SOUS 18240 HAS SOUPS 17894 WITH SCORE 18356.348
AT ITER 2072 NEW BEST:: SOT 574767 SOS 462368 HAS SOPS 461659 HAS SOUS 18199 HAS SOUPS 17853 WITH SCORE 18315.368
AT ITER 2074 NEW BEST:: SOT 574741 SOS 462291 HAS SOPS 461582 HAS SOUS 18128 HAS SOUPS 17782 WITH SCORE 18244.291
AT ITER 2078 NEW BEST:: SOT 573013 SOS 460567 HAS SOPS 459854 HAS SOUS 17693 HAS SOUPS 17343 WITH SCORE 17803.567
AT ITER 2086 NEW BEST:: SOT 573012 SOS 460566 HAS SOPS 459853 HAS SOUS 17692 HAS SOUPS 17342 WITH SCORE 17802.566
AT ITER 2091 NEW BEST:: SOT 573014 SOS 460566 HAS SOPS 459853 HAS SOUS 17690 HAS SOUPS 17340 WITH SCORE 17800.566
AT ITER 2099 NEW BEST:: SOT 573014 SOS 460569 HAS SOPS 459853 HAS SOUS 17682 HAS SOUPS 17332 WITH SCORE 17792.569
AT ITER 2112 NEW BEST:: SOT 572988 SOS 460543 HAS SOPS 459827 HAS SOUS 17603 HAS SOUPS 17253 WITH SCORE 17713.543
AT ITER 2127 NEW BEST:: SOT 572987 SOS 460541 HAS SOPS 459825 HAS SOUS 17603 HAS SOUPS 17253 WITH SCORE 17713.541
AT ITER 2145 NEW BEST:: SOT 572981 SOS 460535 HAS SOPS 459819 HAS SOUS 17599 HAS SOUPS 17249 WITH SCORE 17709.535
AT ITER 2161 NEW BEST:: SOT 575807 SOS 463371 HAS SOPS 462655 HAS SOUS 17567 HAS SOUPS 17217 WITH SCORE 17680.371
AT ITER 2177 NEW BEST:: SOT 575807 SOS 463374 HAS SOPS 462658 HAS SOUS 17566 HAS SOUPS 17216 WITH SCORE 17679.374
AT ITER 2185 NEW BEST:: SOT 575916 SOS 463483 HAS SOPS 462767 HAS SOUS 17430 HAS SOUPS 17080 WITH SCORE 17543.483
AT ITER 2201 NEW BEST:: SOT 575868 SOS 463435 HAS SOPS 462711 HAS SOUS 17376 HAS SOUPS 17025 WITH SCORE 17488.435
AT ITER 2206 NEW BEST:: SOT 575846 SOS 463388 HAS SOPS 462664 HAS SOUS 17312 HAS SOUPS 16961 WITH SCORE 17424.388
AT ITER 2219 NEW BEST:: SOT 575900 SOS 463464 HAS SOPS 462740 HAS SOUS 17311 HAS SOUPS 16960 WITH SCORE 17423.464
AT ITER 2226 NEW BEST:: SOT 577408 SOS 464963 HAS SOPS 464239 HAS SOUS 16896 HAS SOUPS 16545 WITH SCORE 17009.963
AT ITER 2229 NEW BEST:: SOT 577399 SOS 464926 HAS SOPS 464202 HAS SOUS 16882 HAS SOUPS 16531 WITH SCORE 16995.926
AT ITER 2272 NEW BEST:: SOT 577395 SOS 464897 HAS SOPS 464194 HAS SOUS 16875 HAS SOUPS 16524 WITH SCORE 16988.897
AT ITER 2294 NEW BEST:: SOT 577395 SOS 464897 HAS SOPS 464194 HAS SOUS 16855 HAS SOUPS 16504 WITH SCORE 16968.897
AT ITER 2299 NEW BEST:: SOT 577391 SOS 464885 HAS SOPS 464182 HAS SOUS 16823 HAS SOUPS 16472 WITH SCORE 16936.885
AT ITER 2304 NEW BEST:: SOT 577389 SOS 464877 HAS SOPS 464171 HAS SOUS 16814 HAS SOUPS 16463 WITH SCORE 16927.877
AT ITER 2339 NEW BEST:: SOT 577389 SOS 464887 HAS SOPS 464168 HAS SOUS 16811 HAS SOUPS 16460 WITH SCORE 16924.887
AT ITER 2360 NEW BEST:: SOT 577379 SOS 464882 HAS SOPS 464163 HAS SOUS 16805 HAS SOUPS 16454 WITH SCORE 16918.882
AT ITER 2365 NEW BEST:: SOT 577324 SOS 464823 HAS SOPS 464104 HAS SOUS 16785 HAS SOUPS 16434 WITH SCORE 16898.823
AT ITER 2370 NEW BEST:: SOT 577337 SOS 464851 HAS SOPS 464132 HAS SOUS 16771 HAS SOUPS 16420 WITH SCORE 16884.851
AT ITER 2387 NEW BEST:: SOT 577361 SOS 464883 HAS SOPS 464164 HAS SOUS 16750 HAS SOUPS 16399 WITH SCORE 16863.883
AT ITER 2423 NEW BEST:: SOT 577361 SOS 464879 HAS SOPS 464160 HAS SOUS 16692 HAS SOUPS 16341 WITH SCORE 16805.879
AT ITER 2433 NEW BEST:: SOT 577385 SOS 464875 HAS SOPS 464156 HAS SOUS 16689 HAS SOUPS 16338 WITH SCORE 16802.875
AT ITER 2494 NEW BEST:: SOT 577385 SOS 464875 HAS SOPS 464156 HAS SOUS 16686 HAS SOUPS 16335 WITH SCORE 16799.875
AT ITER 2508 NEW BEST:: SOT 577379 SOS 464912 HAS SOPS 464193 HAS SOUS 16680 HAS SOUPS 16329 WITH SCORE 16793.912
AT ITER 2513 NEW BEST:: SOT 577384 SOS 465026 HAS SOPS 464307 HAS SOUS 16671 HAS SOUPS 16320 WITH SCORE 16785.026
AT ITER 2519 NEW BEST:: SOT 577371 SOS 465213 HAS SOPS 464494 HAS SOUS 16661 HAS SOUPS 16310 WITH SCORE 16775.213
AT ITER 2528 NEW BEST:: SOT 577369 SOS 465209 HAS SOPS 464490 HAS SOUS 16657 HAS SOUPS 16306 WITH SCORE 16771.209
AT ITER 2547 NEW BEST:: SOT 577359 SOS 465189 HAS SOPS 464470 HAS SOUS 16657 HAS SOUPS 16306 WITH SCORE 16771.189
AT ITER 2571 NEW BEST:: SOT 577356 SOS 465184 HAS SOPS 464465 HAS SOUS 16652 HAS SOUPS 16301 WITH SCORE 16766.184
AT ITER 2575 NEW BEST:: SOT 577354 SOS 465182 HAS SOPS 464463 HAS SOUS 16650 HAS SOUPS 16299 WITH SCORE 16764.182
AT ITER 2637 NEW BEST:: SOT 577353 SOS 465181 HAS SOPS 464462 HAS SOUS 16649 HAS SOUPS 16298 WITH SCORE 16763.181
AT ITER 2710 NEW BEST:: SOT 577187 SOS 465019 HAS SOPS 464300 HAS SOUS 16490 HAS SOUPS 16139 WITH SCORE 16604.019
AT ITER 2716 NEW BEST:: SOT 577216 SOS 465061 HAS SOPS 464342 HAS SOUS 16474 HAS SOUPS 16123 WITH SCORE 16588.061
AT ITER 2741 NEW BEST:: SOT 577208 SOS 465053 HAS SOPS 464334 HAS SOUS 16462 HAS SOUPS 16111 WITH SCORE 16576.053
AT ITER 2747 NEW BEST:: SOT 577207 SOS 465052 HAS SOPS 464333 HAS SOUS 16461 HAS SOUPS 16110 WITH SCORE 16575.052
AT ITER 2760 NEW BEST:: SOT 578164 SOS 466009 HAS SOPS 465290 HAS SOUS 16458 HAS SOUPS 16107 WITH SCORE 16573.009
AT ITER 2762 NEW BEST:: SOT 578136 SOS 465974 HAS SOPS 465255 HAS SOUS 16431 HAS SOUPS 16080 WITH SCORE 16545.974
AT ITER 2764 NEW BEST:: SOT 578082 SOS 465839 HAS SOPS 465120 HAS SOUS 16324 HAS SOUPS 15973 WITH SCORE 16438.839
AT ITER 2774 NEW BEST:: SOT 578076 SOS 465814 HAS SOPS 465095 HAS SOUS 16317 HAS SOUPS 15966 WITH SCORE 16431.814
AT ITER 2828 NEW BEST:: SOT 578076 SOS 465814 HAS SOPS 465095 HAS SOUS 16311 HAS SOUPS 15960 WITH SCORE 16425.814
AT ITER 2840 NEW BEST:: SOT 578098 SOS 465726 HAS SOPS 465092 HAS SOUS 16296 HAS SOUPS 15958 WITH SCORE 16423.726
AT ITER 2867 NEW BEST:: SOT 578083 SOS 465641 HAS SOPS 465007 HAS SOUS 16212 HAS SOUPS 15874 WITH SCORE 16339.641
AT ITER 2868 NEW BEST:: SOT 578039 SOS 465553 HAS SOPS 464921 HAS SOUS 16198 HAS SOUPS 15860 WITH SCORE 16325.553
AT ITER 2873 NEW BEST:: SOT 578039 SOS 465553 HAS SOPS 464921 HAS SOUS 16196 HAS SOUPS 15858 WITH SCORE 16323.553
AT ITER 2879 NEW BEST:: SOT 575213 SOS 462736 HAS SOPS 462104 HAS SOUS 16063 HAS SOUPS 15725 WITH SCORE 16187.736
AT ITER 2884 NEW BEST:: SOT 575187 SOS 462708 HAS SOPS 462076 HAS SOUS 16057 HAS SOUPS 15719 WITH SCORE 16181.708
AT ITER 2896 NEW BEST:: SOT 575187 SOS 462707 HAS SOPS 462075 HAS SOUS 16056 HAS SOUPS 15718 WITH SCORE 16180.707
AT ITER 2919 NEW BEST:: SOT 575177 SOS 462695 HAS SOPS 462063 HAS SOUS 16042 HAS SOUPS 15704 WITH SCORE 16166.695
AT ITER 2952 NEW BEST:: SOT 575176 SOS 462685 HAS SOPS 462053 HAS SOUS 16034 HAS SOUPS 15696 WITH SCORE 16158.685
AT ITER 2995 NEW BEST:: SOT 575175 SOS 462684 HAS SOPS 462052 HAS SOUS 16033 HAS SOUPS 15695 WITH SCORE 16157.684
AT ITER 3039 NEW BEST:: SOT 575093 SOS 462595 HAS SOPS 461963 HAS SOUS 15954 HAS SOUPS 15616 WITH SCORE 16078.595
AT ITER 3065 NEW BEST:: SOT 575208 SOS 462705 HAS SOPS 462073 HAS SOUS 15941 HAS SOUPS 15603 WITH SCORE 16065.705
AT ITER 3101 NEW BEST:: SOT 575200 SOS 462697 HAS SOPS 462065 HAS SOUS 15935 HAS SOUPS 15597 WITH SCORE 16059.697
AT ITER 3155 NEW BEST:: SOT 575199 SOS 462695 HAS SOPS 462063 HAS SOUS 15934 HAS SOUPS 15596 WITH SCORE 16058.695
AT ITER 3162 NEW BEST:: SOT 575206 SOS 462702 HAS SOPS 462070 HAS SOUS 15906 HAS SOUPS 15568 WITH SCORE 16030.702
AT ITER 3192 NEW BEST:: SOT 575201 SOS 462697 HAS SOPS 462065 HAS SOUS 15905 HAS SOUPS 15567 WITH SCORE 16029.697
AT ITER 3193 NEW BEST:: SOT 575199 SOS 462695 HAS SOPS 462061 HAS SOUS 15879 HAS SOUPS 15539 WITH SCORE 16001.695
AT ITER 3222 NEW BEST:: SOT 575200 SOS 462655 HAS SOPS 462021 HAS SOUS 15879 HAS SOUPS 15539 WITH SCORE 16001.655
AT ITER 3254 NEW BEST:: SOT 575179 SOS 462592 HAS SOPS 461969 HAS SOUS 15826 HAS SOUPS 15497 WITH SCORE 15959.592
AT ITER 3280 NEW BEST:: SOT 575182 SOS 462583 HAS SOPS 461960 HAS SOUS 15817 HAS SOUPS 15488 WITH SCORE 15950.583
AT ITER 3285 NEW BEST:: SOT 575177 SOS 462597 HAS SOPS 461974 HAS SOUS 15740 HAS SOUPS 15411 WITH SCORE 15873.597
AT ITER 3290 NEW BEST:: SOT 575162 SOS 462576 HAS SOPS 461953 HAS SOUS 15684 HAS SOUPS 15355 WITH SCORE 15817.576000000001
AT ITER 3300 NEW BEST:: SOT 575118 SOS 462609 HAS SOPS 461939 HAS SOUS 15658 HAS SOUPS 15330 WITH SCORE 15792.609
AT ITER 3316 NEW BEST:: SOT 575169 SOS 462660 HAS SOPS 461990 HAS SOUS 15641 HAS SOUPS 15313 WITH SCORE 15775.66
AT ITER 3343 NEW BEST:: SOT 575162 SOS 462649 HAS SOPS 461976 HAS SOUS 15261 HAS SOUPS 14931 WITH SCORE 15393.649
AT ITER 3364 NEW BEST:: SOT 575190 SOS 462673 HAS SOPS 462000 HAS SOUS 15242 HAS SOUPS 14912 WITH SCORE 15374.673
AT ITER 3377 NEW BEST:: SOT 576143 SOS 463624 HAS SOPS 462951 HAS SOUS 15233 HAS SOUPS 14903 WITH SCORE 15366.624
AT ITER 3384 NEW BEST:: SOT 576140 SOS 463620 HAS SOPS 462947 HAS SOUS 15232 HAS SOUPS 14902 WITH SCORE 15365.62
AT ITER 3389 NEW BEST:: SOT 576139 SOS 463619 HAS SOPS 462946 HAS SOUS 15231 HAS SOUPS 14901 WITH SCORE 15364.619
AT ITER 3436 NEW BEST:: SOT 576136 SOS 463616 HAS SOPS 462943 HAS SOUS 15211 HAS SOUPS 14881 WITH SCORE 15344.616
AT ITER 3534 NEW BEST:: SOT 576135 SOS 463613 HAS SOPS 462940 HAS SOUS 15208 HAS SOUPS 14878 WITH SCORE 15341.613
AT ITER 3637 NEW BEST:: SOT 576133 SOS 463622 HAS SOPS 462949 HAS SOUS 15207 HAS SOUPS 14877 WITH SCORE 15340.622
AT ITER 3643 NEW BEST:: SOT 576125 SOS 463598 HAS SOPS 462925 HAS SOUS 15197 HAS SOUPS 14867 WITH SCORE 15330.598
AT ITER 3648 NEW BEST:: SOT 576123 SOS 463596 HAS SOPS 462923 HAS SOUS 15197 HAS SOUPS 14867 WITH SCORE 15330.596
AT ITER 3683 NEW BEST:: SOT 576122 SOS 463557 HAS SOPS 462884 HAS SOUS 15178 HAS SOUPS 14848 WITH SCORE 15311.557
AT ITER 3695 NEW BEST:: SOT 576122 SOS 463556 HAS SOPS 462883 HAS SOUS 15178 HAS SOUPS 14848 WITH SCORE 15311.556
AT ITER 3747 NEW BEST:: SOT 576131 SOS 463568 HAS SOPS 462898 HAS SOUS 15172 HAS SOUPS 14842 WITH SCORE 15305.568
AT ITER 3756 NEW BEST:: SOT 575781 SOS 463218 HAS SOPS 462548 HAS SOUS 15158 HAS SOUPS 14828 WITH SCORE 15291.218
AT ITER 3770 NEW BEST:: SOT 575776 SOS 463213 HAS SOPS 462541 HAS SOUS 15156 HAS SOUPS 14826 WITH SCORE 15289.213
AT ITER 3784 NEW BEST:: SOT 575760 SOS 463193 HAS SOPS 462521 HAS SOUS 15136 HAS SOUPS 14806 WITH SCORE 15269.193
AT ITER 3795 NEW BEST:: SOT 575754 SOS 463177 HAS SOPS 462507 HAS SOUS 15126 HAS SOUPS 14796 WITH SCORE 15259.177
AT ITER 3805 NEW BEST:: SOT 576400 SOS 463825 HAS SOPS 463155 HAS SOUS 15048 HAS SOUPS 14718 WITH SCORE 15181.825
AT ITER 3815 NEW BEST:: SOT 576400 SOS 463806 HAS SOPS 463136 HAS SOUS 15039 HAS SOUPS 14709 WITH SCORE 15172.806
AT ITER 3859 NEW BEST:: SOT 576392 SOS 463790 HAS SOPS 463120 HAS SOUS 15032 HAS SOUPS 14702 WITH SCORE 15165.79
AT ITER 3903 NEW BEST:: SOT 576407 SOS 463793 HAS SOPS 463123 HAS SOUS 15025 HAS SOUPS 14695 WITH SCORE 15158.793
AT ITER 3906 NEW BEST:: SOT 575765 SOS 463145 HAS SOPS 462475 HAS SOUS 15017 HAS SOUPS 14687 WITH SCORE 15150.145
AT ITER 3972 NEW BEST:: SOT 575762 SOS 463142 HAS SOPS 462472 HAS SOUS 15014 HAS SOUPS 14684 WITH SCORE 15147.142
AT ITER 3974 NEW BEST:: SOT 575758 SOS 463138 HAS SOPS 462468 HAS SOUS 15012 HAS SOUPS 14682 WITH SCORE 15145.138
AT ITER 4016 NEW BEST:: SOT 575746 SOS 463124 HAS SOPS 462454 HAS SOUS 15010 HAS SOUPS 14680 WITH SCORE 15143.124
AT ITER 4039 NEW BEST:: SOT 575741 SOS 463113 HAS SOPS 462441 HAS SOUS 15005 HAS SOUPS 14673 WITH SCORE 15136.113
AT ITER 4042 NEW BEST:: SOT 575732 SOS 463101 HAS SOPS 462429 HAS SOUS 15002 HAS SOUPS 14670 WITH SCORE 15133.101
AT ITER 4047 NEW BEST:: SOT 575727 SOS 463096 HAS SOPS 462424 HAS SOUS 14996 HAS SOUPS 14664 WITH SCORE 15127.096
AT ITER 4069 NEW BEST:: SOT 575705 SOS 463077 HAS SOPS 462405 HAS SOUS 14980 HAS SOUPS 14648 WITH SCORE 15111.077
AT ITER 4094 NEW BEST:: SOT 575706 SOS 463073 HAS SOPS 462401 HAS SOUS 14978 HAS SOUPS 14646 WITH SCORE 15109.073
AT ITER 4123 NEW BEST:: SOT 575706 SOS 463073 HAS SOPS 462401 HAS SOUS 14956 HAS SOUPS 14624 WITH SCORE 15087.073
AT ITER 4131 NEW BEST:: SOT 575703 SOS 463070 HAS SOPS 462398 HAS SOUS 14953 HAS SOUPS 14621 WITH SCORE 15084.07
AT ITER 4141 NEW BEST:: SOT 575706 SOS 463073 HAS SOPS 462401 HAS SOUS 14950 HAS SOUPS 14618 WITH SCORE 15081.073
AT ITER 4181 NEW BEST:: SOT 575706 SOS 463072 HAS SOPS 462400 HAS SOUS 14949 HAS SOUPS 14617 WITH SCORE 15080.072
AT ITER 4229 NEW BEST:: SOT 575726 SOS 463092 HAS SOPS 462420 HAS SOUS 14945 HAS SOUPS 14613 WITH SCORE 15076.092
AT ITER 4253 NEW BEST:: SOT 576686 SOS 464049 HAS SOPS 463377 HAS SOUS 14942 HAS SOUPS 14610 WITH SCORE 15074.049
AT ITER 4255 NEW BEST:: SOT 576683 SOS 464073 HAS SOPS 463401 HAS SOUS 14936 HAS SOUPS 14604 WITH SCORE 15068.073
AT ITER 4292 NEW BEST:: SOT 576674 SOS 464061 HAS SOPS 463389 HAS SOUS 14924 HAS SOUPS 14592 WITH SCORE 15056.061
AT ITER 4378 NEW BEST:: SOT 576704 SOS 464107 HAS SOPS 463435 HAS SOUS 14894 HAS SOUPS 14562 WITH SCORE 15026.107
AT ITER 4402 NEW BEST:: SOT 576704 SOS 464101 HAS SOPS 463435 HAS SOUS 14894 HAS SOUPS 14562 WITH SCORE 15026.101
AT ITER 4422 NEW BEST:: SOT 576708 SOS 459929 HAS SOPS 459267 HAS SOUS 14897 HAS SOUPS 14565 WITH SCORE 15024.929
AT ITER 4440 NEW BEST:: SOT 576672 SOS 459893 HAS SOPS 459231 HAS SOUS 14885 HAS SOUPS 14553 WITH SCORE 15012.893
AT ITER 4445 NEW BEST:: SOT 576667 SOS 459888 HAS SOPS 459226 HAS SOUS 14880 HAS SOUPS 14548 WITH SCORE 15007.888
AT ITER 4450 NEW BEST:: SOT 576588 SOS 459826 HAS SOPS 459164 HAS SOUS 14872 HAS SOUPS 14540 WITH SCORE 14999.826000000001
AT ITER 4456 NEW BEST:: SOT 576588 SOS 459822 HAS SOPS 459160 HAS SOUS 14861 HAS SOUPS 14529 WITH SCORE 14988.822
AT ITER 4462 NEW BEST:: SOT 576578 SOS 459810 HAS SOPS 459148 HAS SOUS 14841 HAS SOUPS 14509 WITH SCORE 14968.81
AT ITER 4513 NEW BEST:: SOT 576570 SOS 459805 HAS SOPS 459143 HAS SOUS 14831 HAS SOUPS 14499 WITH SCORE 14958.805
AT ITER 4550 NEW BEST:: SOT 576493 SOS 459728 HAS SOPS 459066 HAS SOUS 14812 HAS SOUPS 14480 WITH SCORE 14939.728
AT ITER 4556 NEW BEST:: SOT 576505 SOS 459748 HAS SOPS 459074 HAS SOUS 14814 HAS SOUPS 14478 WITH SCORE 14937.748
AT ITER 4570 NEW BEST:: SOT 576761 SOS 460055 HAS SOPS 459381 HAS SOUS 14805 HAS SOUPS 14469 WITH SCORE 14929.055
AT ITER 4584 NEW BEST:: SOT 576761 SOS 460053 HAS SOPS 459379 HAS SOUS 14803 HAS SOUPS 14467 WITH SCORE 14927.053
AT ITER 4605 NEW BEST:: SOT 576775 SOS 460051 HAS SOPS 459377 HAS SOUS 14797 HAS SOUPS 14461 WITH SCORE 14921.051
AT ITER 4636 NEW BEST:: SOT 576776 SOS 460050 HAS SOPS 459375 HAS SOUS 14797 HAS SOUPS 14461 WITH SCORE 14921.05
AT ITER 4689 NEW BEST:: SOT 576692 SOS 459932 HAS SOPS 459257 HAS SOUS 14778 HAS SOUPS 14442 WITH SCORE 14901.932
AT ITER 4694 NEW BEST:: SOT 576714 SOS 459976 HAS SOPS 459301 HAS SOUS 14588 HAS SOUPS 14252 WITH SCORE 14711.976
AT ITER 4770 NEW BEST:: SOT 576721 SOS 459983 HAS SOPS 459315 HAS SOUS 14530 HAS SOUPS 14194 WITH SCORE 14653.983
AT ITER 4809 NEW BEST:: SOT 576719 SOS 459973 HAS SOPS 459308 HAS SOUS 14524 HAS SOUPS 14188 WITH SCORE 14647.973
AT ITER 4828 NEW BEST:: SOT 576717 SOS 459972 HAS SOPS 459307 HAS SOUS 14524 HAS SOUPS 14188 WITH SCORE 14647.972
AT ITER 4839 NEW BEST:: SOT 576721 SOS 459976 HAS SOPS 459311 HAS SOUS 14508 HAS SOUPS 14172 WITH SCORE 14631.976
AT ITER 4871 NEW BEST:: SOT 576717 SOS 459976 HAS SOPS 459311 HAS SOUS 14480 HAS SOUPS 14144 WITH SCORE 14603.976
AT ITER 4874 NEW BEST:: SOT 576715 SOS 459964 HAS SOPS 459299 HAS SOUS 14476 HAS SOUPS 14140 WITH SCORE 14599.964
AT ITER 4906 NEW BEST:: SOT 576715 SOS 459956 HAS SOPS 459291 HAS SOUS 14476 HAS SOUPS 14140 WITH SCORE 14599.956
AT ITER 4915 NEW BEST:: SOT 576707 SOS 459944 HAS SOPS 459279 HAS SOUS 14472 HAS SOUPS 14136 WITH SCORE 14595.944
AT ITER 4931 NEW BEST:: SOT 576707 SOS 459970 HAS SOPS 459305 HAS SOUS 14466 HAS SOUPS 14130 WITH SCORE 14589.97
AT ITER 4939 NEW BEST:: SOT 576748 SOS 459970 HAS SOPS 459265 HAS SOUS 14455 HAS SOUPS 14119 WITH SCORE 14578.97
AT ITER 4942 NEW BEST:: SOT 576748 SOS 459963 HAS SOPS 459258 HAS SOUS 14378 HAS SOUPS 14042 WITH SCORE 14501.963
AT ITER 4992 NEW BEST:: SOT 576713 SOS 459942 HAS SOPS 459237 HAS SOUS 14364 HAS SOUPS 14028 WITH SCORE 14487.942
AT ITER 5048 NEW BEST:: SOT 576713 SOS 459944 HAS SOPS 459237 HAS SOUS 14340 HAS SOUPS 14004 WITH SCORE 14463.944
AT ITER 5128 NEW BEST:: SOT 576715 SOS 459938 HAS SOPS 459233 HAS SOUS 14330 HAS SOUPS 13996 WITH SCORE 14455.938
AT ITER 5209 NEW BEST:: SOT 576695 SOS 459916 HAS SOPS 459211 HAS SOUS 14329 HAS SOUPS 13995 WITH SCORE 14454.916
AT ITER 5310 NEW BEST:: SOT 576703 SOS 459925 HAS SOPS 459220 HAS SOUS 14298 HAS SOUPS 13964 WITH SCORE 14423.925
AT ITER 5316 NEW BEST:: SOT 576703 SOS 459925 HAS SOPS 459220 HAS SOUS 14292 HAS SOUPS 13958 WITH SCORE 14417.925
AT ITER 5329 NEW BEST:: SOT 576715 SOS 459935 HAS SOPS 459230 HAS SOUS 14272 HAS SOUPS 13938 WITH SCORE 14397.935
AT ITER 5340 NEW BEST:: SOT 576711 SOS 459927 HAS SOPS 459222 HAS SOUS 14266 HAS SOUPS 13932 WITH SCORE 14391.927
AT ITER 5344 NEW BEST:: SOT 576703 SOS 459868 HAS SOPS 459163 HAS SOUS 14257 HAS SOUPS 13923 WITH SCORE 14382.868
AT ITER 5353 NEW BEST:: SOT 576669 SOS 459834 HAS SOPS 459129 HAS SOUS 14248 HAS SOUPS 13914 WITH SCORE 14373.834
AT ITER 5354 NEW BEST:: SOT 576668 SOS 457736 HAS SOPS 457037 HAS SOUS 14244 HAS SOUPS 13911 WITH SCORE 14368.736
AT ITER 5371 NEW BEST:: SOT 576662 SOS 457794 HAS SOPS 457095 HAS SOUS 14238 HAS SOUPS 13905 WITH SCORE 14362.794
AT ITER 5372 NEW BEST:: SOT 576662 SOS 457782 HAS SOPS 457083 HAS SOUS 14234 HAS SOUPS 13901 WITH SCORE 14358.782
AT ITER 5382 NEW BEST:: SOT 576661 SOS 457779 HAS SOPS 457083 HAS SOUS 14233 HAS SOUPS 13901 WITH SCORE 14358.779
AT ITER 5388 NEW BEST:: SOT 576659 SOS 457771 HAS SOPS 457075 HAS SOUS 14229 HAS SOUPS 13897 WITH SCORE 14354.771
AT ITER 5409 NEW BEST:: SOT 576658 SOS 457775 HAS SOPS 457079 HAS SOUS 14228 HAS SOUPS 13896 WITH SCORE 14353.775
AT ITER 5434 NEW BEST:: SOT 576654 SOS 457771 HAS SOPS 457075 HAS SOUS 14223 HAS SOUPS 13891 WITH SCORE 14348.771
AT ITER 5565 NEW BEST:: SOT 576653 SOS 457771 HAS SOPS 457075 HAS SOUS 14221 HAS SOUPS 13889 WITH SCORE 14346.771
AT ITER 5636 NEW BEST:: SOT 576653 SOS 457778 HAS SOPS 457075 HAS SOUS 14207 HAS SOUPS 13875 WITH SCORE 14332.778
AT ITER 5747 NEW BEST:: SOT 576653 SOS 457762 HAS SOPS 457059 HAS SOUS 14207 HAS SOUPS 13875 WITH SCORE 14332.762
AT ITER 5753 NEW BEST:: SOT 576629 SOS 457738 HAS SOPS 457035 HAS SOUS 14207 HAS SOUPS 13875 WITH SCORE 14332.738
AT ITER 5782 NEW BEST:: SOT 576635 SOS 457744 HAS SOPS 457047 HAS SOUS 14177 HAS SOUPS 13845 WITH SCORE 14302.744
AT ITER 5829 NEW BEST:: SOT 576635 SOS 457750 HAS SOPS 457053 HAS SOUS 14175 HAS SOUPS 13843 WITH SCORE 14300.75
AT ITER 5833 NEW BEST:: SOT 576634 SOS 457758 HAS SOPS 457061 HAS SOUS 14173 HAS SOUPS 13841 WITH SCORE 14298.758
AT ITER 5923 NEW BEST:: SOT 576628 SOS 457721 HAS SOPS 457062 HAS SOUS 14166 HAS SOUPS 13834 WITH SCORE 14291.721
AT ITER 5986 NEW BEST:: SOT 576628 SOS 457717 HAS SOPS 457058 HAS SOUS 14166 HAS SOUPS 13834 WITH SCORE 14291.717
AT ITER 5992 NEW BEST:: SOT 576628 SOS 457717 HAS SOPS 457058 HAS SOUS 14165 HAS SOUPS 13833 WITH SCORE 14290.717
AT ITER 6023 NEW BEST:: SOT 576658 SOS 457737 HAS SOPS 457078 HAS SOUS 14164 HAS SOUPS 13832 WITH SCORE 14289.737
AT ITER 6048 NEW BEST:: SOT 576658 SOS 457737 HAS SOPS 457078 HAS SOUS 14163 HAS SOUPS 13831 WITH SCORE 14288.737
AT ITER 6049 NEW BEST:: SOT 576641 SOS 457713 HAS SOPS 457054 HAS SOUS 14136 HAS SOUPS 13804 WITH SCORE 14261.713
AT ITER 6076 NEW BEST:: SOT 576618 SOS 457660 HAS SOPS 456971 HAS SOUS 14132 HAS SOUPS 13800 WITH SCORE 14257.66
AT ITER 6098 NEW BEST:: SOT 576615 SOS 457654 HAS SOPS 456965 HAS SOUS 14132 HAS SOUPS 13800 WITH SCORE 14257.654
AT ITER 6102 NEW BEST:: SOT 576496 SOS 457535 HAS SOPS 456863 HAS SOUS 14131 HAS SOUPS 13799 WITH SCORE 14256.535
AT ITER 6257 NEW BEST:: SOT 576478 SOS 457528 HAS SOPS 456856 HAS SOUS 14131 HAS SOUPS 13799 WITH SCORE 14256.528
AT ITER 6269 NEW BEST:: SOT 576479 SOS 457528 HAS SOPS 456856 HAS SOUS 14130 HAS SOUPS 13798 WITH SCORE 14255.528
AT ITER 6283 NEW BEST:: SOT 576473 SOS 457512 HAS SOPS 456856 HAS SOUS 14122 HAS SOUPS 13797 WITH SCORE 14254.512
AT ITER 6284 NEW BEST:: SOT 576473 SOS 457518 HAS SOPS 456862 HAS SOUS 14116 HAS SOUPS 13791 WITH SCORE 14248.518
AT ITER 6309 NEW BEST:: SOT 576473 SOS 457517 HAS SOPS 456861 HAS SOUS 14115 HAS SOUPS 13790 WITH SCORE 14247.517
AT ITER 6313 NEW BEST:: SOT 576472 SOS 457520 HAS SOPS 456864 HAS SOUS 14114 HAS SOUPS 13789 WITH SCORE 14246.52
AT ITER 6359 NEW BEST:: SOT 576471 SOS 457519 HAS SOPS 456863 HAS SOUS 14114 HAS SOUPS 13789 WITH SCORE 14246.519
AT ITER 6360 NEW BEST:: SOT 576468 SOS 457518 HAS SOPS 456862 HAS SOUS 14093 HAS SOUPS 13768 WITH SCORE 14225.518
AT ITER 6394 NEW BEST:: SOT 576464 SOS 457514 HAS SOPS 456858 HAS SOUS 14092 HAS SOUPS 13767 WITH SCORE 14224.514
AT ITER 6416 NEW BEST:: SOT 576454 SOS 457502 HAS SOPS 456846 HAS SOUS 14075 HAS SOUPS 13750 WITH SCORE 14207.502
AT ITER 6430 NEW BEST:: SOT 576456 SOS 457503 HAS SOPS 456848 HAS SOUS 14072 HAS SOUPS 13748 WITH SCORE 14205.503
AT ITER 6526 NEW BEST:: SOT 576454 SOS 457499 HAS SOPS 456844 HAS SOUS 14068 HAS SOUPS 13744 WITH SCORE 14201.499
AT ITER 6560 NEW BEST:: SOT 576450 SOS 457484 HAS SOPS 456829 HAS SOUS 13998 HAS SOUPS 13674 WITH SCORE 14131.484
AT ITER 6628 NEW BEST:: SOT 576449 SOS 457483 HAS SOPS 456828 HAS SOUS 13997 HAS SOUPS 13673 WITH SCORE 14130.483
AT ITER 6718 NEW BEST:: SOT 576453 SOS 457480 HAS SOPS 456825 HAS SOUS 13995 HAS SOUPS 13671 WITH SCORE 14128.48
AT ITER 6764 NEW BEST:: SOT 576451 SOS 457490 HAS SOPS 456835 HAS SOUS 13994 HAS SOUPS 13670 WITH SCORE 14127.49
AT ITER 6873 NEW BEST:: SOT 576434 SOS 457463 HAS SOPS 456808 HAS SOUS 13981 HAS SOUPS 13657 WITH SCORE 14114.463
AT ITER 6928 NEW BEST:: SOT 576432 SOS 457459 HAS SOPS 456804 HAS SOUS 13979 HAS SOUPS 13655 WITH SCORE 14112.459
AT ITER 6973 NEW BEST:: SOT 576405 SOS 457397 HAS SOPS 456749 HAS SOUS 13965 HAS SOUPS 13641 WITH SCORE 14098.397
AT ITER 6982 NEW BEST:: SOT 576398 SOS 457391 HAS SOPS 456743 HAS SOUS 13958 HAS SOUPS 13634 WITH SCORE 14091.391
AT ITER 6986 NEW BEST:: SOT 576422 SOS 457399 HAS SOPS 456751 HAS SOUS 13950 HAS SOUPS 13626 WITH SCORE 14083.399
AT ITER 6990 NEW BEST:: SOT 576422 SOS 457396 HAS SOPS 456748 HAS SOUS 13950 HAS SOUPS 13626 WITH SCORE 14083.396
AT ITER 6993 NEW BEST:: SOT 576422 SOS 457392 HAS SOPS 456744 HAS SOUS 13948 HAS SOUPS 13624 WITH SCORE 14081.392
AT ITER 6995 NEW BEST:: SOT 576423 SOS 457394 HAS SOPS 456746 HAS SOUS 13869 HAS SOUPS 13545 WITH SCORE 14002.394
AT ITER 7049 NEW BEST:: SOT 576442 SOS 442734 HAS SOPS 442121 HAS SOUS 13870 HAS SOUPS 13553 WITH SCORE 13995.734
AT ITER 7078 NEW BEST:: SOT 576438 SOS 446914 HAS SOPS 446301 HAS SOUS 13863 HAS SOUPS 13546 WITH SCORE 13992.914
AT ITER 7145 NEW BEST:: SOT 576429 SOS 446905 HAS SOPS 446292 HAS SOUS 13860 HAS SOUPS 13543 WITH SCORE 13989.905
AT ITER 7163 NEW BEST:: SOT 576428 SOS 446904 HAS SOPS 446290 HAS SOUS 13859 HAS SOUPS 13542 WITH SCORE 13988.904
AT ITER 7182 NEW BEST:: SOT 576428 SOS 446902 HAS SOPS 446288 HAS SOUS 13849 HAS SOUPS 13532 WITH SCORE 13978.902
AT ITER 7195 NEW BEST:: SOT 576417 SOS 446891 HAS SOPS 446277 HAS SOUS 13843 HAS SOUPS 13526 WITH SCORE 13972.891
AT ITER 7365 NEW BEST:: SOT 574509 SOS 444983 HAS SOPS 444369 HAS SOUS 13535 HAS SOUPS 13218 WITH SCORE 13662.983
AT ITER 7372 NEW BEST:: SOT 574508 SOS 444977 HAS SOPS 444363 HAS SOUS 13533 HAS SOUPS 13216 WITH SCORE 13660.977
AT ITER 7397 NEW BEST:: SOT 574496 SOS 445007 HAS SOPS 444417 HAS SOUS 13515 HAS SOUPS 13210 WITH SCORE 13655.007
AT ITER 7415 NEW BEST:: SOT 574442 SOS 444987 HAS SOPS 444397 HAS SOUS 13508 HAS SOUPS 13203 WITH SCORE 13647.987
AT ITER 7499 NEW BEST:: SOT 574440 SOS 444985 HAS SOPS 444395 HAS SOUS 13506 HAS SOUPS 13201 WITH SCORE 13645.985
AT ITER 7532 NEW BEST:: SOT 574449 SOS 444979 HAS SOPS 444395 HAS SOUS 13497 HAS SOUPS 13192 WITH SCORE 13636.979
AT ITER 7625 NEW BEST:: SOT 574464 SOS 444994 HAS SOPS 444410 HAS SOUS 13492 HAS SOUPS 13187 WITH SCORE 13631.994
AT ITER 7647 NEW BEST:: SOT 574475 SOS 445002 HAS SOPS 444418 HAS SOUS 13491 HAS SOUPS 13186 WITH SCORE 13631.002
AT ITER 7676 NEW BEST:: SOT 574478 SOS 445001 HAS SOPS 444417 HAS SOUS 13481 HAS SOUPS 13176 WITH SCORE 13621.001
AT ITER 7678 NEW BEST:: SOT 574477 SOS 444999 HAS SOPS 444415 HAS SOUS 13481 HAS SOUPS 13176 WITH SCORE 13620.999
AT ITER 7689 NEW BEST:: SOT 574468 SOS 445061 HAS SOPS 444477 HAS SOUS 13466 HAS SOUPS 13161 WITH SCORE 13606.061
AT ITER 7787 NEW BEST:: SOT 574465 SOS 445064 HAS SOPS 444480 HAS SOUS 13463 HAS SOUPS 13158 WITH SCORE 13603.064
AT ITER 7845 NEW BEST:: SOT 574465 SOS 445055 HAS SOPS 444471 HAS SOUS 13454 HAS SOUPS 13149 WITH SCORE 13594.055
AT ITER 7868 NEW BEST:: SOT 574467 SOS 445051 HAS SOPS 444467 HAS SOUS 13450 HAS SOUPS 13145 WITH SCORE 13590.051
AT ITER 7977 NEW BEST:: SOT 574472 SOS 445058 HAS SOPS 444474 HAS SOUS 13446 HAS SOUPS 13141 WITH SCORE 13586.058
AT ITER 8039 NEW BEST:: SOT 574472 SOS 445058 HAS SOPS 444474 HAS SOUS 13445 HAS SOUPS 13140 WITH SCORE 13585.058
AT ITER 8069 NEW BEST:: SOT 574472 SOS 445057 HAS SOPS 444473 HAS SOUS 13444 HAS SOUPS 13139 WITH SCORE 13584.057
AT ITER 8161 NEW BEST:: SOT 574473 SOS 445054 HAS SOPS 444470 HAS SOUS 13427 HAS SOUPS 13122 WITH SCORE 13567.054
AT ITER 8174 NEW BEST:: SOT 574470 SOS 445050 HAS SOPS 444466 HAS SOUS 13427 HAS SOUPS 13122 WITH SCORE 13567.05
AT ITER 8241 NEW BEST:: SOT 574464 SOS 445056 HAS SOPS 444472 HAS SOUS 13425 HAS SOUPS 13120 WITH SCORE 13565.056
AT ITER 8251 NEW BEST:: SOT 574462 SOS 445084 HAS SOPS 444500 HAS SOUS 13422 HAS SOUPS 13117 WITH SCORE 13562.084
AT ITER 8273 NEW BEST:: SOT 574462 SOS 445049 HAS SOPS 444465 HAS SOUS 13422 HAS SOUPS 13117 WITH SCORE 13562.049
AT ITER 8345 NEW BEST:: SOT 574456 SOS 445037 HAS SOPS 444453 HAS SOUS 13422 HAS SOUPS 13117 WITH SCORE 13562.037
AT ITER 8357 NEW BEST:: SOT 574439 SOS 444988 HAS SOPS 444404 HAS SOUS 13417 HAS SOUPS 13112 WITH SCORE 13556.988
AT ITER 8362 NEW BEST:: SOT 574439 SOS 444986 HAS SOPS 444402 HAS SOUS 13416 HAS SOUPS 13111 WITH SCORE 13555.986
AT ITER 8505 NEW BEST:: SOT 574433 SOS 444977 HAS SOPS 444393 HAS SOUS 13412 HAS SOUPS 13107 WITH SCORE 13551.977
AT ITER 8519 NEW BEST:: SOT 574433 SOS 444975 HAS SOPS 444391 HAS SOUS 13412 HAS SOUPS 13107 WITH SCORE 13551.975
AT ITER 8592 NEW BEST:: SOT 574433 SOS 444955 HAS SOPS 444371 HAS SOUS 13412 HAS SOUPS 13107 WITH SCORE 13551.955
AT ITER 8678 NEW BEST:: SOT 574428 SOS 444950 HAS SOPS 444366 HAS SOUS 13412 HAS SOUPS 13107 WITH SCORE 13551.95
AT ITER 8691 NEW BEST:: SOT 574430 SOS 444923 HAS SOPS 444339 HAS SOUS 13399 HAS SOUPS 13094 WITH SCORE 13538.923
AT ITER 8736 NEW BEST:: SOT 574438 SOS 444931 HAS SOPS 444345 HAS SOUS 13391 HAS SOUPS 13086 WITH SCORE 13530.931
AT ITER 8846 NEW BEST:: SOT 574431 SOS 444923 HAS SOPS 444337 HAS SOUS 13388 HAS SOUPS 13083 WITH SCORE 13527.923
AT ITER 8920 NEW BEST:: SOT 574400 SOS 444880 HAS SOPS 444294 HAS SOUS 13382 HAS SOUPS 13077 WITH SCORE 13521.88
AT ITER 8949 NEW BEST:: SOT 574400 SOS 444612 HAS SOPS 444026 HAS SOUS 13382 HAS SOUPS 13077 WITH SCORE 13521.612
AT ITER 8997 NEW BEST:: SOT 574400 SOS 444612 HAS SOPS 444026 HAS SOUS 13363 HAS SOUPS 13058 WITH SCORE 13502.612
AT ITER 9146 NEW BEST:: SOT 574397 SOS 444610 HAS SOPS 444024 HAS SOUS 13362 HAS SOUPS 13057 WITH SCORE 13501.61
AT ITER 9159 NEW BEST:: SOT 574077 SOS 444290 HAS SOPS 443704 HAS SOUS 13362 HAS SOUPS 13057 WITH SCORE 13501.29
AT ITER 9284 NEW BEST:: SOT 574074 SOS 444285 HAS SOPS 443699 HAS SOUS 13357 HAS SOUPS 13052 WITH SCORE 13496.285
AT ITER 9343 NEW BEST:: SOT 574074 SOS 444285 HAS SOPS 443699 HAS SOUS 13355 HAS SOUPS 13050 WITH SCORE 13494.285
AT ITER 9351 NEW BEST:: SOT 574077 SOS 444279 HAS SOPS 443693 HAS SOUS 13353 HAS SOUPS 13048 WITH SCORE 13492.279
AT ITER 9484 NEW BEST:: SOT 574085 SOS 444250 HAS SOPS 443664 HAS SOUS 13345 HAS SOUPS 13040 WITH SCORE 13484.25
AT ITER 9486 NEW BEST:: SOT 574085 SOS 444249 HAS SOPS 443663 HAS SOUS 13344 HAS SOUPS 13039 WITH SCORE 13483.249
AT ITER 9557 NEW BEST:: SOT 574084 SOS 444248 HAS SOPS 443662 HAS SOUS 13339 HAS SOUPS 13034 WITH SCORE 13478.248
AT ITER 9652 NEW BEST:: SOT 573653 SOS 443813 HAS SOPS 443233 HAS SOUS 13300 HAS SOUPS 13001 WITH SCORE 13444.813
AT ITER 9775 NEW BEST:: SOT 573651 SOS 443811 HAS SOPS 443231 HAS SOUS 13299 HAS SOUPS 13000 WITH SCORE 13443.811
AT ITER 9782 NEW BEST:: SOT 573657 SOS 443811 HAS SOPS 443231 HAS SOUS 13297 HAS SOUPS 12998 WITH SCORE 13441.811
AT ITER 9805 NEW BEST:: SOT 573658 SOS 443809 HAS SOPS 443229 HAS SOUS 13293 HAS SOUPS 12994 WITH SCORE 13437.809
AT ITER 9830 NEW BEST:: SOT 573657 SOS 443807 HAS SOPS 443227 HAS SOUS 13293 HAS SOUPS 12994 WITH SCORE 13437.807
AT ITER 9850 NEW BEST:: SOT 573658 SOS 443809 HAS SOPS 443229 HAS SOUS 13291 HAS SOUPS 12992 WITH SCORE 13435.809
AT ITER 9902 NEW BEST:: SOT 573656 SOS 443799 HAS SOPS 443219 HAS SOUS 13289 HAS SOUPS 12990 WITH SCORE 13433.799
AT ITER 9910 NEW BEST:: SOT 573655 SOS 443798 HAS SOPS 443218 HAS SOUS 13288 HAS SOUPS 12989 WITH SCORE 13432.798
AT ITER 9963 NEW BEST:: SOT 573601 SOS 443760 HAS SOPS 443173 HAS SOUS 13262 HAS SOUPS 12963 WITH SCORE 13406.76
STATE_SPACE STATES 2131836945601 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 22 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 40858680778941 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678440914532

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

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="EnergyBus-PT-none"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is EnergyBus-PT-none, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r163-tall-167838847300136"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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