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.r235-tall-167856421400184.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 JoinFreeModules-PT-0050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421400184
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 644K
-rw-r--r-- 1 mcc users 8.6K Feb 25 11:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 98K Feb 25 11:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 11:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 11:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:18 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:18 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:18 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:18 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 11:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 145K Feb 25 11:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 25 11:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 11:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:18 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 152K 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 1678634738943

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=JoinFreeModules-PT-0050
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 15:25:40] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 15:25:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 15:25:40] [INFO ] Load time of PNML (sax parser for PT used): 62 ms
[2023-03-12 15:25:40] [INFO ] Transformed 251 places.
[2023-03-12 15:25:40] [INFO ] Transformed 401 transitions.
[2023-03-12 15:25:40] [INFO ] Parsed PT model containing 251 places and 401 transitions and 1152 arcs in 125 ms.
[2023-03-12 15:25:40] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 251 places, 401 transitions and 1152 arcs took 7 ms.
Total runtime 158 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running JoinFreeModules (PT), instance 0050
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: 251 places, 401 transitions, 1152 arcs.
AT ITER 0 NEW BEST:: SOT 70451 SOS 47951 HAS SOPS 47900 HAS SOUS 47951 HAS SOUPS 47900 WITH SCORE 47947.951
AT ITER 1 NEW BEST:: SOT 70341 SOS 47781 HAS SOPS 47551 HAS SOUS 47681 HAS SOUPS 47451 WITH SCORE 47498.781
AT ITER 2 NEW BEST:: SOT 70336 SOS 47703 HAS SOPS 47473 HAS SOUS 47603 HAS SOUPS 47373 WITH SCORE 47420.703
AT ITER 3 NEW BEST:: SOT 70198 SOS 47412 HAS SOPS 47182 HAS SOUS 47276 HAS SOUPS 47046 WITH SCORE 47093.412
AT ITER 4 NEW BEST:: SOT 70149 SOS 47163 HAS SOPS 46933 HAS SOUS 46928 HAS SOUPS 46698 WITH SCORE 46745.163
AT ITER 5 NEW BEST:: SOT 70012 SOS 46870 HAS SOPS 46640 HAS SOUS 46602 HAS SOUPS 46372 WITH SCORE 46418.87
AT ITER 6 NEW BEST:: SOT 69964 SOS 46728 HAS SOPS 46498 HAS SOUS 46460 HAS SOUPS 46230 WITH SCORE 46276.728
AT ITER 7 NEW BEST:: SOT 69825 SOS 46454 HAS SOPS 46224 HAS SOUS 46131 HAS SOUPS 45901 WITH SCORE 45947.454
AT ITER 9 NEW BEST:: SOT 69823 SOS 46450 HAS SOPS 46220 HAS SOUS 46127 HAS SOUPS 45897 WITH SCORE 45943.45
AT ITER 11 NEW BEST:: SOT 69866 SOS 46407 HAS SOPS 46177 HAS SOUS 46084 HAS SOUPS 45854 WITH SCORE 45900.407
AT ITER 12 NEW BEST:: SOT 69768 SOS 46229 HAS SOPS 45999 HAS SOUS 45840 HAS SOUPS 45610 WITH SCORE 45656.229
AT ITER 13 NEW BEST:: SOT 69577 SOS 45970 HAS SOPS 45740 HAS SOUS 45581 HAS SOUPS 45351 WITH SCORE 45396.97
AT ITER 15 NEW BEST:: SOT 69557 SOS 45909 HAS SOPS 45679 HAS SOUS 45520 HAS SOUPS 45290 WITH SCORE 45335.909
AT ITER 16 NEW BEST:: SOT 69570 SOS 45755 HAS SOPS 45525 HAS SOUS 45432 HAS SOUPS 45202 WITH SCORE 45247.755
AT ITER 18 NEW BEST:: SOT 69530 SOS 45695 HAS SOPS 45465 HAS SOUS 45372 HAS SOUPS 45142 WITH SCORE 45187.695
AT ITER 19 NEW BEST:: SOT 69530 SOS 45645 HAS SOPS 45415 HAS SOUS 45272 HAS SOUPS 45042 WITH SCORE 45087.645
AT ITER 20 NEW BEST:: SOT 69610 SOS 45632 HAS SOPS 45399 HAS SOUS 45159 HAS SOUPS 44926 WITH SCORE 44971.632
AT ITER 21 NEW BEST:: SOT 69449 SOS 45471 HAS SOPS 45238 HAS SOUS 44947 HAS SOUPS 44714 WITH SCORE 44759.471
AT ITER 22 NEW BEST:: SOT 69427 SOS 45405 HAS SOPS 45172 HAS SOUS 44881 HAS SOUPS 44648 WITH SCORE 44693.405
AT ITER 23 NEW BEST:: SOT 69314 SOS 45139 HAS SOPS 44906 HAS SOUS 44604 HAS SOUPS 44371 WITH SCORE 44416.139
AT ITER 24 NEW BEST:: SOT 69164 SOS 44989 HAS SOPS 44756 HAS SOUS 44454 HAS SOUPS 44221 WITH SCORE 44265.989
AT ITER 25 NEW BEST:: SOT 69062 SOS 44766 HAS SOPS 44533 HAS SOUS 44231 HAS SOUPS 43998 WITH SCORE 44042.766
AT ITER 26 NEW BEST:: SOT 69031 SOS 44611 HAS SOPS 44378 HAS SOUS 44076 HAS SOUPS 43843 WITH SCORE 43887.611
AT ITER 28 NEW BEST:: SOT 69196 SOS 44614 HAS SOPS 44381 HAS SOUS 44052 HAS SOUPS 43819 WITH SCORE 43863.614
AT ITER 29 NEW BEST:: SOT 69130 SOS 44507 HAS SOPS 44274 HAS SOUS 43945 HAS SOUPS 43712 WITH SCORE 43756.507
AT ITER 30 NEW BEST:: SOT 69138 SOS 44499 HAS SOPS 44266 HAS SOUS 43937 HAS SOUPS 43704 WITH SCORE 43748.499
AT ITER 32 NEW BEST:: SOT 68987 SOS 44122 HAS SOPS 43889 HAS SOUS 43560 HAS SOUPS 43327 WITH SCORE 43371.122
AT ITER 33 NEW BEST:: SOT 68749 SOS 43785 HAS SOPS 43552 HAS SOUS 43223 HAS SOUPS 42990 WITH SCORE 43033.785
AT ITER 34 NEW BEST:: SOT 68626 SOS 43662 HAS SOPS 43429 HAS SOUS 43100 HAS SOUPS 42867 WITH SCORE 42910.662
AT ITER 36 NEW BEST:: SOT 68646 SOS 43576 HAS SOPS 43343 HAS SOUS 43014 HAS SOUPS 42781 WITH SCORE 42824.576
AT ITER 37 NEW BEST:: SOT 68744 SOS 43538 HAS SOPS 43305 HAS SOUS 42976 HAS SOUPS 42743 WITH SCORE 42786.538
AT ITER 44 NEW BEST:: SOT 68613 SOS 43281 HAS SOPS 43048 HAS SOUS 42662 HAS SOUPS 42429 WITH SCORE 42472.281
AT ITER 45 NEW BEST:: SOT 68533 SOS 43149 HAS SOPS 42916 HAS SOUS 42563 HAS SOUPS 42330 WITH SCORE 42373.149
AT ITER 48 NEW BEST:: SOT 68502 SOS 42954 HAS SOPS 42721 HAS SOUS 42328 HAS SOUPS 42095 WITH SCORE 42137.954
AT ITER 50 NEW BEST:: SOT 68624 SOS 42962 HAS SOPS 42729 HAS SOUS 42206 HAS SOUPS 41973 WITH SCORE 42015.962
AT ITER 51 NEW BEST:: SOT 68618 SOS 42944 HAS SOPS 42711 HAS SOUS 42188 HAS SOUPS 41955 WITH SCORE 41997.944
AT ITER 52 NEW BEST:: SOT 68551 SOS 42781 HAS SOPS 42548 HAS SOUS 42025 HAS SOUPS 41792 WITH SCORE 41834.781
AT ITER 54 NEW BEST:: SOT 68506 SOS 42544 HAS SOPS 42311 HAS SOUS 41788 HAS SOUPS 41555 WITH SCORE 41597.544
AT ITER 56 NEW BEST:: SOT 68232 SOS 41977 HAS SOPS 41744 HAS SOUS 41299 HAS SOUPS 41066 WITH SCORE 41107.977
AT ITER 58 NEW BEST:: SOT 68218 SOS 41957 HAS SOPS 41724 HAS SOUS 41279 HAS SOUPS 41046 WITH SCORE 41087.957
AT ITER 59 NEW BEST:: SOT 68189 SOS 41841 HAS SOPS 41608 HAS SOUS 41163 HAS SOUPS 40930 WITH SCORE 40971.841
AT ITER 62 NEW BEST:: SOT 68126 SOS 41757 HAS SOPS 41524 HAS SOUS 41079 HAS SOUPS 40846 WITH SCORE 40887.757
AT ITER 66 NEW BEST:: SOT 67979 SOS 41610 HAS SOPS 41377 HAS SOUS 40900 HAS SOUPS 40667 WITH SCORE 40708.61
AT ITER 69 NEW BEST:: SOT 67936 SOS 41567 HAS SOPS 41334 HAS SOUS 40857 HAS SOUPS 40624 WITH SCORE 40665.567
AT ITER 71 NEW BEST:: SOT 67938 SOS 41522 HAS SOPS 41289 HAS SOUS 40757 HAS SOUPS 40524 WITH SCORE 40565.522
AT ITER 74 NEW BEST:: SOT 67955 SOS 41505 HAS SOPS 41272 HAS SOUS 40740 HAS SOUPS 40507 WITH SCORE 40548.505
AT ITER 78 NEW BEST:: SOT 67983 SOS 41438 HAS SOPS 41205 HAS SOUS 40730 HAS SOUPS 40497 WITH SCORE 40538.438
AT ITER 80 NEW BEST:: SOT 67919 SOS 41342 HAS SOPS 41109 HAS SOUS 40666 HAS SOUPS 40433 WITH SCORE 40474.342
AT ITER 81 NEW BEST:: SOT 67895 SOS 41318 HAS SOPS 41085 HAS SOUS 40642 HAS SOUPS 40409 WITH SCORE 40450.318
AT ITER 84 NEW BEST:: SOT 67879 SOS 41254 HAS SOPS 41021 HAS SOUS 40577 HAS SOUPS 40344 WITH SCORE 40385.254
AT ITER 91 NEW BEST:: SOT 67795 SOS 41216 HAS SOPS 40983 HAS SOUS 40513 HAS SOUPS 40280 WITH SCORE 40321.216
AT ITER 92 NEW BEST:: SOT 67756 SOS 40778 HAS SOPS 40545 HAS SOUS 40174 HAS SOUPS 39941 WITH SCORE 39981.778
AT ITER 94 NEW BEST:: SOT 67800 SOS 40772 HAS SOPS 40539 HAS SOUS 40168 HAS SOUPS 39935 WITH SCORE 39975.772
AT ITER 96 NEW BEST:: SOT 67723 SOS 40618 HAS SOPS 40385 HAS SOUS 40014 HAS SOUPS 39781 WITH SCORE 39821.618
AT ITER 97 NEW BEST:: SOT 67700 SOS 40595 HAS SOPS 40362 HAS SOUS 39991 HAS SOUPS 39758 WITH SCORE 39798.595
AT ITER 101 NEW BEST:: SOT 67641 SOS 40469 HAS SOPS 40236 HAS SOUS 39822 HAS SOUPS 39589 WITH SCORE 39629.469
AT ITER 102 NEW BEST:: SOT 67240 SOS 39594 HAS SOPS 39361 HAS SOUS 39046 HAS SOUPS 38813 WITH SCORE 38852.594
AT ITER 103 NEW BEST:: SOT 67200 SOS 39554 HAS SOPS 39321 HAS SOUS 39006 HAS SOUPS 38773 WITH SCORE 38812.554
AT ITER 104 NEW BEST:: SOT 67144 SOS 39302 HAS SOPS 39069 HAS SOUS 38754 HAS SOUPS 38521 WITH SCORE 38560.302
AT ITER 106 NEW BEST:: SOT 67087 SOS 39292 HAS SOPS 39059 HAS SOUS 38744 HAS SOUPS 38511 WITH SCORE 38550.292
AT ITER 107 NEW BEST:: SOT 66987 SOS 39192 HAS SOPS 38959 HAS SOUS 38644 HAS SOUPS 38411 WITH SCORE 38450.192
AT ITER 113 NEW BEST:: SOT 66911 SOS 39040 HAS SOPS 38807 HAS SOUS 38530 HAS SOUPS 38297 WITH SCORE 38336.04
AT ITER 114 NEW BEST:: SOT 66803 SOS 38615 HAS SOPS 38378 HAS SOUS 38125 HAS SOUPS 37888 WITH SCORE 37926.615
AT ITER 119 NEW BEST:: SOT 66808 SOS 38593 HAS SOPS 38356 HAS SOUS 38103 HAS SOUPS 37866 WITH SCORE 37904.593
AT ITER 123 NEW BEST:: SOT 66422 SOS 37974 HAS SOPS 37737 HAS SOUS 37484 HAS SOUPS 37247 WITH SCORE 37284.974
AT ITER 127 NEW BEST:: SOT 66375 SOS 37884 HAS SOPS 37647 HAS SOUS 37394 HAS SOUPS 37157 WITH SCORE 37194.884
AT ITER 132 NEW BEST:: SOT 66288 SOS 37797 HAS SOPS 37560 HAS SOUS 37307 HAS SOUPS 37070 WITH SCORE 37107.797
AT ITER 133 NEW BEST:: SOT 66163 SOS 37585 HAS SOPS 37348 HAS SOUS 37095 HAS SOUPS 36858 WITH SCORE 36895.585
AT ITER 134 NEW BEST:: SOT 66117 SOS 37521 HAS SOPS 37284 HAS SOUS 37031 HAS SOUPS 36794 WITH SCORE 36831.521
AT ITER 135 NEW BEST:: SOT 66091 SOS 37430 HAS SOPS 37193 HAS SOUS 36973 HAS SOUPS 36736 WITH SCORE 36773.43
AT ITER 136 NEW BEST:: SOT 66085 SOS 37422 HAS SOPS 37185 HAS SOUS 36965 HAS SOUPS 36728 WITH SCORE 36765.422
AT ITER 137 NEW BEST:: SOT 66085 SOS 37404 HAS SOPS 37167 HAS SOUS 36947 HAS SOUPS 36710 WITH SCORE 36747.404
AT ITER 138 NEW BEST:: SOT 66030 SOS 37349 HAS SOPS 37112 HAS SOUS 36892 HAS SOUPS 36655 WITH SCORE 36692.349
AT ITER 142 NEW BEST:: SOT 65839 SOS 37066 HAS SOPS 36829 HAS SOUS 36609 HAS SOUPS 36372 WITH SCORE 36409.066
AT ITER 147 NEW BEST:: SOT 65681 SOS 36728 HAS SOPS 36491 HAS SOUS 36214 HAS SOUPS 35977 WITH SCORE 36013.728
AT ITER 149 NEW BEST:: SOT 65681 SOS 36728 HAS SOPS 36491 HAS SOUS 36197 HAS SOUPS 35960 WITH SCORE 35996.728
AT ITER 151 NEW BEST:: SOT 65489 SOS 36475 HAS SOPS 36238 HAS SOUS 35963 HAS SOUPS 35726 WITH SCORE 35762.475
AT ITER 153 NEW BEST:: SOT 65470 SOS 36399 HAS SOPS 36162 HAS SOUS 35911 HAS SOUPS 35674 WITH SCORE 35710.399
AT ITER 156 NEW BEST:: SOT 65333 SOS 36112 HAS SOPS 35875 HAS SOUS 35587 HAS SOUPS 35350 WITH SCORE 35386.112
AT ITER 158 NEW BEST:: SOT 65327 SOS 36094 HAS SOPS 35857 HAS SOUS 35569 HAS SOUPS 35332 WITH SCORE 35368.094
AT ITER 169 NEW BEST:: SOT 65057 SOS 35659 HAS SOPS 35422 HAS SOUS 35134 HAS SOUPS 34897 WITH SCORE 34932.659
AT ITER 187 NEW BEST:: SOT 64947 SOS 35416 HAS SOPS 35179 HAS SOUS 34954 HAS SOUPS 34717 WITH SCORE 34752.416
AT ITER 195 NEW BEST:: SOT 64787 SOS 35232 HAS SOPS 34995 HAS SOUS 34770 HAS SOUPS 34533 WITH SCORE 34568.232
AT ITER 196 NEW BEST:: SOT 64659 SOS 34994 HAS SOPS 34757 HAS SOUS 34532 HAS SOUPS 34295 WITH SCORE 34329.994
AT ITER 201 NEW BEST:: SOT 64770 SOS 34920 HAS SOPS 34683 HAS SOUS 34362 HAS SOUPS 34125 WITH SCORE 34159.92
AT ITER 202 NEW BEST:: SOT 64629 SOS 34741 HAS SOPS 34504 HAS SOUS 34183 HAS SOUPS 33946 WITH SCORE 33980.741
AT ITER 205 NEW BEST:: SOT 64732 SOS 34749 HAS SOPS 34512 HAS SOUS 34133 HAS SOUPS 33896 WITH SCORE 33930.749
AT ITER 208 NEW BEST:: SOT 64630 SOS 34489 HAS SOPS 34252 HAS SOUS 33873 HAS SOUPS 33636 WITH SCORE 33670.489
AT ITER 210 NEW BEST:: SOT 64582 SOS 34441 HAS SOPS 34204 HAS SOUS 33825 HAS SOUPS 33588 WITH SCORE 33622.441
AT ITER 212 NEW BEST:: SOT 64534 SOS 34160 HAS SOPS 33923 HAS SOUS 33611 HAS SOUPS 33374 WITH SCORE 33408.16
AT ITER 213 NEW BEST:: SOT 64483 SOS 33988 HAS SOPS 33751 HAS SOUS 33439 HAS SOUPS 33202 WITH SCORE 33235.988
AT ITER 219 NEW BEST:: SOT 64484 SOS 33948 HAS SOPS 33711 HAS SOUS 33348 HAS SOUPS 33111 WITH SCORE 33144.948
AT ITER 222 NEW BEST:: SOT 64359 SOS 33704 HAS SOPS 33467 HAS SOUS 33104 HAS SOUPS 32867 WITH SCORE 32900.704
AT ITER 231 NEW BEST:: SOT 64345 SOS 33614 HAS SOPS 33377 HAS SOUS 33014 HAS SOUPS 32777 WITH SCORE 32810.614
AT ITER 233 NEW BEST:: SOT 64235 SOS 33499 HAS SOPS 33262 HAS SOUS 32943 HAS SOUPS 32706 WITH SCORE 32739.499
AT ITER 234 NEW BEST:: SOT 64261 SOS 33288 HAS SOPS 33051 HAS SOUS 32688 HAS SOUPS 32451 WITH SCORE 32484.288
AT ITER 238 NEW BEST:: SOT 64251 SOS 33248 HAS SOPS 33011 HAS SOUS 32658 HAS SOUPS 32421 WITH SCORE 32454.248
AT ITER 260 NEW BEST:: SOT 64083 SOS 32842 HAS SOPS 32605 HAS SOUS 32272 HAS SOUPS 32035 WITH SCORE 32067.842
AT ITER 261 NEW BEST:: SOT 64148 SOS 32804 HAS SOPS 32567 HAS SOUS 32234 HAS SOUPS 31997 WITH SCORE 32029.804
AT ITER 262 NEW BEST:: SOT 64042 SOS 32456 HAS SOPS 32219 HAS SOUS 31886 HAS SOUPS 31649 WITH SCORE 31681.456
AT ITER 263 NEW BEST:: SOT 64042 SOS 32447 HAS SOPS 32210 HAS SOUS 31868 HAS SOUPS 31631 WITH SCORE 31663.447
AT ITER 265 NEW BEST:: SOT 64011 SOS 32323 HAS SOPS 32086 HAS SOUS 31715 HAS SOUPS 31478 WITH SCORE 31510.323
AT ITER 274 NEW BEST:: SOT 63843 SOS 31917 HAS SOPS 31680 HAS SOUS 31309 HAS SOUPS 31072 WITH SCORE 31103.917
AT ITER 276 NEW BEST:: SOT 63721 SOS 31696 HAS SOPS 31459 HAS SOUS 31088 HAS SOUPS 30851 WITH SCORE 30882.696
AT ITER 278 NEW BEST:: SOT 63667 SOS 31642 HAS SOPS 31405 HAS SOUS 31034 HAS SOUPS 30797 WITH SCORE 30828.642
AT ITER 282 NEW BEST:: SOT 63630 SOS 31531 HAS SOPS 31294 HAS SOUS 30923 HAS SOUPS 30686 WITH SCORE 30717.531
AT ITER 286 NEW BEST:: SOT 63612 SOS 31463 HAS SOPS 31223 HAS SOUS 30879 HAS SOUPS 30639 WITH SCORE 30670.463
AT ITER 289 NEW BEST:: SOT 63581 SOS 31401 HAS SOPS 31161 HAS SOUS 30817 HAS SOUPS 30577 WITH SCORE 30608.401
AT ITER 294 NEW BEST:: SOT 63569 SOS 31385 HAS SOPS 31145 HAS SOUS 30801 HAS SOUPS 30561 WITH SCORE 30592.385
AT ITER 295 NEW BEST:: SOT 63590 SOS 31302 HAS SOPS 31062 HAS SOUS 30718 HAS SOUPS 30478 WITH SCORE 30509.302
AT ITER 297 NEW BEST:: SOT 63570 SOS 31235 HAS SOPS 30995 HAS SOUS 30647 HAS SOUPS 30407 WITH SCORE 30438.235
AT ITER 299 NEW BEST:: SOT 63570 SOS 31182 HAS SOPS 30942 HAS SOUS 30541 HAS SOUPS 30301 WITH SCORE 30332.182
AT ITER 301 NEW BEST:: SOT 63579 SOS 31063 HAS SOPS 30821 HAS SOUS 30413 HAS SOUPS 30171 WITH SCORE 30202.063
AT ITER 302 NEW BEST:: SOT 63557 SOS 31041 HAS SOPS 30799 HAS SOUS 30391 HAS SOUPS 30149 WITH SCORE 30180.041
AT ITER 307 NEW BEST:: SOT 63546 SOS 31030 HAS SOPS 30788 HAS SOUS 30380 HAS SOUPS 30138 WITH SCORE 30169.03
AT ITER 314 NEW BEST:: SOT 63406 SOS 30617 HAS SOPS 30375 HAS SOUS 29912 HAS SOUPS 29670 WITH SCORE 29700.617
AT ITER 316 NEW BEST:: SOT 63320 SOS 30359 HAS SOPS 30117 HAS SOUS 29654 HAS SOUPS 29412 WITH SCORE 29442.359
AT ITER 320 NEW BEST:: SOT 63288 SOS 30311 HAS SOPS 30069 HAS SOUS 29606 HAS SOUPS 29364 WITH SCORE 29394.311
AT ITER 323 NEW BEST:: SOT 63174 SOS 29798 HAS SOPS 29556 HAS SOUS 29062 HAS SOUPS 28820 WITH SCORE 28849.798
AT ITER 333 NEW BEST:: SOT 63169 SOS 29783 HAS SOPS 29541 HAS SOUS 29052 HAS SOUPS 28810 WITH SCORE 28839.783
AT ITER 339 NEW BEST:: SOT 63143 SOS 29768 HAS SOPS 29526 HAS SOUS 29037 HAS SOUPS 28795 WITH SCORE 28824.768
AT ITER 348 NEW BEST:: SOT 63098 SOS 29507 HAS SOPS 29265 HAS SOUS 28723 HAS SOUPS 28481 WITH SCORE 28510.507
AT ITER 349 NEW BEST:: SOT 63094 SOS 29503 HAS SOPS 29261 HAS SOUS 28719 HAS SOUPS 28477 WITH SCORE 28506.503
AT ITER 354 NEW BEST:: SOT 63139 SOS 29468 HAS SOPS 29226 HAS SOUS 28684 HAS SOUPS 28442 WITH SCORE 28471.468
AT ITER 362 NEW BEST:: SOT 63139 SOS 29467 HAS SOPS 29225 HAS SOUS 28683 HAS SOUPS 28441 WITH SCORE 28470.467
AT ITER 363 NEW BEST:: SOT 63045 SOS 29377 HAS SOPS 29135 HAS SOUS 28593 HAS SOUPS 28351 WITH SCORE 28380.377
AT ITER 364 NEW BEST:: SOT 62929 SOS 28988 HAS SOPS 28746 HAS SOUS 28204 HAS SOUPS 27962 WITH SCORE 27990.988
AT ITER 367 NEW BEST:: SOT 62883 SOS 28971 HAS SOPS 28729 HAS SOUS 28187 HAS SOUPS 27945 WITH SCORE 27973.971
AT ITER 369 NEW BEST:: SOT 62881 SOS 28967 HAS SOPS 28725 HAS SOUS 28183 HAS SOUPS 27941 WITH SCORE 27969.967
AT ITER 372 NEW BEST:: SOT 62836 SOS 28862 HAS SOPS 28620 HAS SOUS 28093 HAS SOUPS 27851 WITH SCORE 27879.862
AT ITER 375 NEW BEST:: SOT 62836 SOS 28824 HAS SOPS 28582 HAS SOUS 28055 HAS SOUPS 27813 WITH SCORE 27841.824
AT ITER 378 NEW BEST:: SOT 62747 SOS 28870 HAS SOPS 28628 HAS SOUS 28054 HAS SOUPS 27812 WITH SCORE 27840.87
AT ITER 383 NEW BEST:: SOT 62703 SOS 28769 HAS SOPS 28527 HAS SOUS 27953 HAS SOUPS 27711 WITH SCORE 27739.769
AT ITER 389 NEW BEST:: SOT 62697 SOS 28757 HAS SOPS 28515 HAS SOUS 27941 HAS SOUPS 27699 WITH SCORE 27727.757
AT ITER 392 NEW BEST:: SOT 62676 SOS 28736 HAS SOPS 28494 HAS SOUS 27899 HAS SOUPS 27657 WITH SCORE 27685.736
AT ITER 396 NEW BEST:: SOT 62615 SOS 28717 HAS SOPS 28475 HAS SOUS 27880 HAS SOUPS 27638 WITH SCORE 27666.717
AT ITER 401 NEW BEST:: SOT 62675 SOS 28456 HAS SOPS 28214 HAS SOUS 27669 HAS SOUPS 27427 WITH SCORE 27455.456
AT ITER 408 NEW BEST:: SOT 62671 SOS 28442 HAS SOPS 28200 HAS SOUS 27655 HAS SOUPS 27413 WITH SCORE 27441.442
AT ITER 413 NEW BEST:: SOT 62665 SOS 28424 HAS SOPS 28182 HAS SOUS 27637 HAS SOUPS 27395 WITH SCORE 27423.424
AT ITER 416 NEW BEST:: SOT 62607 SOS 28366 HAS SOPS 28124 HAS SOUS 27579 HAS SOUPS 27337 WITH SCORE 27365.366
AT ITER 418 NEW BEST:: SOT 62593 SOS 28228 HAS SOPS 27986 HAS SOUS 27441 HAS SOUPS 27199 WITH SCORE 27227.228
AT ITER 419 NEW BEST:: SOT 62525 SOS 28084 HAS SOPS 27842 HAS SOUS 27317 HAS SOUPS 27075 WITH SCORE 27103.084
AT ITER 420 NEW BEST:: SOT 62516 SOS 28065 HAS SOPS 27823 HAS SOUS 27298 HAS SOUPS 27056 WITH SCORE 27084.065
AT ITER 422 NEW BEST:: SOT 62472 SOS 27889 HAS SOPS 27647 HAS SOUS 27118 HAS SOUPS 26876 WITH SCORE 26903.889
AT ITER 425 NEW BEST:: SOT 62422 SOS 27839 HAS SOPS 27597 HAS SOUS 27068 HAS SOUPS 26826 WITH SCORE 26853.839
AT ITER 426 NEW BEST:: SOT 62374 SOS 27742 HAS SOPS 27500 HAS SOUS 26971 HAS SOUPS 26729 WITH SCORE 26756.742
AT ITER 429 NEW BEST:: SOT 62364 SOS 27722 HAS SOPS 27480 HAS SOUS 26961 HAS SOUPS 26719 WITH SCORE 26746.722
AT ITER 433 NEW BEST:: SOT 62322 SOS 27677 HAS SOPS 27435 HAS SOUS 26916 HAS SOUPS 26674 WITH SCORE 26701.677
AT ITER 436 NEW BEST:: SOT 62250 SOS 27653 HAS SOPS 27411 HAS SOUS 26892 HAS SOUPS 26650 WITH SCORE 26677.653
AT ITER 448 NEW BEST:: SOT 62196 SOS 27599 HAS SOPS 27357 HAS SOUS 26838 HAS SOUPS 26596 WITH SCORE 26623.599
AT ITER 453 NEW BEST:: SOT 62195 SOS 27595 HAS SOPS 27353 HAS SOUS 26834 HAS SOUPS 26592 WITH SCORE 26619.595
AT ITER 461 NEW BEST:: SOT 62065 SOS 27454 HAS SOPS 27212 HAS SOUS 26693 HAS SOUPS 26451 WITH SCORE 26478.454
AT ITER 463 NEW BEST:: SOT 62040 SOS 27420 HAS SOPS 27178 HAS SOUS 26659 HAS SOUPS 26417 WITH SCORE 26444.42
AT ITER 466 NEW BEST:: SOT 61948 SOS 27110 HAS SOPS 26868 HAS SOUS 26493 HAS SOUPS 26251 WITH SCORE 26278.11
AT ITER 472 NEW BEST:: SOT 61918 SOS 27070 HAS SOPS 26828 HAS SOUS 26443 HAS SOUPS 26201 WITH SCORE 26228.07
AT ITER 483 NEW BEST:: SOT 61809 SOS 26901 HAS SOPS 26659 HAS SOUS 26376 HAS SOUPS 26134 WITH SCORE 26160.901
AT ITER 486 NEW BEST:: SOT 61818 SOS 26892 HAS SOPS 26650 HAS SOUS 26376 HAS SOUPS 26134 WITH SCORE 26160.892
AT ITER 491 NEW BEST:: SOT 61818 SOS 26873 HAS SOPS 26631 HAS SOUS 26357 HAS SOUPS 26115 WITH SCORE 26141.873
AT ITER 494 NEW BEST:: SOT 61700 SOS 26716 HAS SOPS 26474 HAS SOUS 26255 HAS SOUPS 26013 WITH SCORE 26039.716
AT ITER 496 NEW BEST:: SOT 61751 SOS 26567 HAS SOPS 26325 HAS SOUS 26106 HAS SOUPS 25864 WITH SCORE 25890.567
AT ITER 497 NEW BEST:: SOT 61751 SOS 26562 HAS SOPS 26320 HAS SOUS 26096 HAS SOUPS 25854 WITH SCORE 25880.562
AT ITER 499 NEW BEST:: SOT 61747 SOS 26552 HAS SOPS 26310 HAS SOUS 26086 HAS SOUPS 25844 WITH SCORE 25870.552
AT ITER 501 NEW BEST:: SOT 61745 SOS 26456 HAS SOPS 26214 HAS SOUS 25990 HAS SOUPS 25748 WITH SCORE 25774.456
AT ITER 502 NEW BEST:: SOT 61745 SOS 26454 HAS SOPS 26212 HAS SOUS 25986 HAS SOUPS 25744 WITH SCORE 25770.454
AT ITER 504 NEW BEST:: SOT 61607 SOS 26206 HAS SOPS 25964 HAS SOUS 25738 HAS SOUPS 25496 WITH SCORE 25522.206
AT ITER 507 NEW BEST:: SOT 61644 SOS 26134 HAS SOPS 25892 HAS SOUS 25666 HAS SOUPS 25424 WITH SCORE 25450.134
AT ITER 526 NEW BEST:: SOT 61611 SOS 26101 HAS SOPS 25859 HAS SOUS 25600 HAS SOUPS 25358 WITH SCORE 25384.101
AT ITER 533 NEW BEST:: SOT 61585 SOS 26010 HAS SOPS 25768 HAS SOUS 25509 HAS SOUPS 25267 WITH SCORE 25293.01
AT ITER 538 NEW BEST:: SOT 61521 SOS 25754 HAS SOPS 25512 HAS SOUS 25317 HAS SOUPS 25075 WITH SCORE 25100.754
AT ITER 540 NEW BEST:: SOT 61307 SOS 25475 HAS SOPS 25233 HAS SOUS 25023 HAS SOUPS 24781 WITH SCORE 24806.475
AT ITER 544 NEW BEST:: SOT 61254 SOS 25148 HAS SOPS 24906 HAS SOUS 24698 HAS SOUPS 24456 WITH SCORE 24481.148
AT ITER 545 NEW BEST:: SOT 61239 SOS 25049 HAS SOPS 24807 HAS SOUS 24575 HAS SOUPS 24333 WITH SCORE 24358.049
AT ITER 553 NEW BEST:: SOT 61239 SOS 25067 HAS SOPS 24827 HAS SOUS 24564 HAS SOUPS 24324 WITH SCORE 24349.067
AT ITER 554 NEW BEST:: SOT 61212 SOS 25004 HAS SOPS 24764 HAS SOUS 24498 HAS SOUPS 24258 WITH SCORE 24283.004
AT ITER 557 NEW BEST:: SOT 61112 SOS 24883 HAS SOPS 24643 HAS SOUS 24340 HAS SOUPS 24100 WITH SCORE 24124.883
AT ITER 560 NEW BEST:: SOT 61086 SOS 24827 HAS SOPS 24587 HAS SOUS 24284 HAS SOUPS 24044 WITH SCORE 24068.827
AT ITER 565 NEW BEST:: SOT 61042 SOS 24735 HAS SOPS 24495 HAS SOUS 24117 HAS SOUPS 23877 WITH SCORE 23901.735
AT ITER 580 NEW BEST:: SOT 60920 SOS 24576 HAS SOPS 24336 HAS SOUS 23958 HAS SOUPS 23718 WITH SCORE 23742.576
AT ITER 583 NEW BEST:: SOT 60834 SOS 24361 HAS SOPS 24121 HAS SOUS 23786 HAS SOUPS 23546 WITH SCORE 23570.361
AT ITER 600 NEW BEST:: SOT 60822 SOS 24306 HAS SOPS 24066 HAS SOUS 23731 HAS SOUPS 23491 WITH SCORE 23515.306
AT ITER 601 NEW BEST:: SOT 60822 SOS 24235 HAS SOPS 23995 HAS SOUS 23660 HAS SOUPS 23420 WITH SCORE 23444.235
AT ITER 605 NEW BEST:: SOT 60832 SOS 24229 HAS SOPS 23989 HAS SOUS 23654 HAS SOUPS 23414 WITH SCORE 23438.229
AT ITER 612 NEW BEST:: SOT 60820 SOS 24157 HAS SOPS 23917 HAS SOUS 23582 HAS SOUPS 23342 WITH SCORE 23366.157
AT ITER 613 NEW BEST:: SOT 60611 SOS 23849 HAS SOPS 23609 HAS SOUS 23250 HAS SOUPS 23010 WITH SCORE 23033.849
AT ITER 627 NEW BEST:: SOT 60581 SOS 23804 HAS SOPS 23564 HAS SOUS 23205 HAS SOUPS 22965 WITH SCORE 22988.804
AT ITER 634 NEW BEST:: SOT 60627 SOS 23758 HAS SOPS 23518 HAS SOUS 23175 HAS SOUPS 22935 WITH SCORE 22958.758
AT ITER 639 NEW BEST:: SOT 60590 SOS 23684 HAS SOPS 23444 HAS SOUS 23101 HAS SOUPS 22861 WITH SCORE 22884.684
AT ITER 644 NEW BEST:: SOT 60554 SOS 23603 HAS SOPS 23363 HAS SOUS 23020 HAS SOUPS 22780 WITH SCORE 22803.603
AT ITER 648 NEW BEST:: SOT 60582 SOS 23563 HAS SOPS 23323 HAS SOUS 22941 HAS SOUPS 22701 WITH SCORE 22724.563
AT ITER 650 NEW BEST:: SOT 60628 SOS 23558 HAS SOPS 23318 HAS SOUS 22928 HAS SOUPS 22688 WITH SCORE 22711.558
AT ITER 652 NEW BEST:: SOT 60624 SOS 23538 HAS SOPS 23298 HAS SOUS 22908 HAS SOUPS 22668 WITH SCORE 22691.538
AT ITER 656 NEW BEST:: SOT 60502 SOS 23434 HAS SOPS 23194 HAS SOUS 22804 HAS SOUPS 22564 WITH SCORE 22587.434
AT ITER 664 NEW BEST:: SOT 60501 SOS 23433 HAS SOPS 23193 HAS SOUS 22803 HAS SOUPS 22563 WITH SCORE 22586.433
AT ITER 667 NEW BEST:: SOT 60358 SOS 23250 HAS SOPS 23010 HAS SOUS 22683 HAS SOUPS 22443 WITH SCORE 22466.25
AT ITER 670 NEW BEST:: SOT 60218 SOS 22898 HAS SOPS 22658 HAS SOUS 22384 HAS SOUPS 22144 WITH SCORE 22166.898
AT ITER 686 NEW BEST:: SOT 60173 SOS 22637 HAS SOPS 22397 HAS SOUS 22166 HAS SOUPS 21926 WITH SCORE 21948.637
AT ITER 691 NEW BEST:: SOT 60089 SOS 22387 HAS SOPS 22147 HAS SOUS 21916 HAS SOUPS 21676 WITH SCORE 21698.387
AT ITER 693 NEW BEST:: SOT 60083 SOS 22108 HAS SOPS 21868 HAS SOUS 21674 HAS SOUPS 21434 WITH SCORE 21456.108
AT ITER 696 NEW BEST:: SOT 60095 SOS 22096 HAS SOPS 21856 HAS SOUS 21662 HAS SOUPS 21422 WITH SCORE 21444.096
AT ITER 719 NEW BEST:: SOT 60095 SOS 22083 HAS SOPS 21843 HAS SOUS 21646 HAS SOUPS 21406 WITH SCORE 21428.083
AT ITER 722 NEW BEST:: SOT 60095 SOS 22064 HAS SOPS 21824 HAS SOUS 21627 HAS SOUPS 21387 WITH SCORE 21409.064
AT ITER 735 NEW BEST:: SOT 60020 SOS 21989 HAS SOPS 21749 HAS SOUS 21552 HAS SOUPS 21312 WITH SCORE 21333.989
AT ITER 739 NEW BEST:: SOT 59968 SOS 21898 HAS SOPS 21658 HAS SOUS 21461 HAS SOUPS 21221 WITH SCORE 21242.898
AT ITER 769 NEW BEST:: SOT 59962 SOS 21880 HAS SOPS 21640 HAS SOUS 21449 HAS SOUPS 21209 WITH SCORE 21230.88
AT ITER 777 NEW BEST:: SOT 60000 SOS 21712 HAS SOPS 21472 HAS SOUS 21281 HAS SOUPS 21041 WITH SCORE 21062.712
AT ITER 796 NEW BEST:: SOT 59901 SOS 21613 HAS SOPS 21373 HAS SOUS 21182 HAS SOUPS 20942 WITH SCORE 20963.613
AT ITER 809 NEW BEST:: SOT 59858 SOS 21443 HAS SOPS 21203 HAS SOUS 21012 HAS SOUPS 20772 WITH SCORE 20793.443
AT ITER 811 NEW BEST:: SOT 59856 SOS 21440 HAS SOPS 21200 HAS SOUS 21009 HAS SOUPS 20769 WITH SCORE 20790.44
AT ITER 814 NEW BEST:: SOT 59836 SOS 21293 HAS SOPS 21053 HAS SOUS 20806 HAS SOUPS 20566 WITH SCORE 20587.293
AT ITER 844 NEW BEST:: SOT 59612 SOS 20961 HAS SOPS 20721 HAS SOUS 20458 HAS SOUPS 20218 WITH SCORE 20238.961
AT ITER 845 NEW BEST:: SOT 59594 SOS 20889 HAS SOPS 20649 HAS SOUS 20404 HAS SOUPS 20164 WITH SCORE 20184.889
AT ITER 851 NEW BEST:: SOT 59583 SOS 20888 HAS SOPS 20648 HAS SOUS 20403 HAS SOUPS 20163 WITH SCORE 20183.888
AT ITER 855 NEW BEST:: SOT 59578 SOS 20848 HAS SOPS 20608 HAS SOUS 20363 HAS SOUPS 20123 WITH SCORE 20143.848
AT ITER 856 NEW BEST:: SOT 59583 SOS 20760 HAS SOPS 20520 HAS SOUS 20275 HAS SOUPS 20035 WITH SCORE 20055.76
AT ITER 857 NEW BEST:: SOT 59533 SOS 20660 HAS SOPS 20420 HAS SOUS 20190 HAS SOUPS 19950 WITH SCORE 19970.66
AT ITER 859 NEW BEST:: SOT 59495 SOS 20470 HAS SOPS 20230 HAS SOUS 20038 HAS SOUPS 19798 WITH SCORE 19818.47
AT ITER 862 NEW BEST:: SOT 59427 SOS 20402 HAS SOPS 20162 HAS SOUS 19970 HAS SOUPS 19730 WITH SCORE 19750.402
AT ITER 870 NEW BEST:: SOT 59378 SOS 20320 HAS SOPS 20080 HAS SOUS 19888 HAS SOUPS 19648 WITH SCORE 19668.32
AT ITER 876 NEW BEST:: SOT 59364 SOS 20306 HAS SOPS 20066 HAS SOUS 19874 HAS SOUPS 19634 WITH SCORE 19654.306
AT ITER 877 NEW BEST:: SOT 59350 SOS 20302 HAS SOPS 20062 HAS SOUS 19870 HAS SOUPS 19630 WITH SCORE 19650.302
AT ITER 880 NEW BEST:: SOT 59350 SOS 20275 HAS SOPS 20035 HAS SOUS 19843 HAS SOUPS 19603 WITH SCORE 19623.275
AT ITER 890 NEW BEST:: SOT 59350 SOS 20275 HAS SOPS 20035 HAS SOUS 19821 HAS SOUPS 19581 WITH SCORE 19601.275
AT ITER 903 NEW BEST:: SOT 59345 SOS 20183 HAS SOPS 19943 HAS SOUS 19729 HAS SOUPS 19489 WITH SCORE 19509.183
AT ITER 904 NEW BEST:: SOT 59343 SOS 20177 HAS SOPS 19937 HAS SOUS 19723 HAS SOUPS 19483 WITH SCORE 19503.177
AT ITER 907 NEW BEST:: SOT 59304 SOS 20094 HAS SOPS 19854 HAS SOUS 19645 HAS SOUPS 19405 WITH SCORE 19425.094
AT ITER 909 NEW BEST:: SOT 59280 SOS 20046 HAS SOPS 19806 HAS SOUS 19609 HAS SOUPS 19369 WITH SCORE 19389.046
AT ITER 910 NEW BEST:: SOT 59265 SOS 19986 HAS SOPS 19746 HAS SOUS 19564 HAS SOUPS 19324 WITH SCORE 19343.986
AT ITER 938 NEW BEST:: SOT 59164 SOS 19703 HAS SOPS 19463 HAS SOUS 19333 HAS SOUPS 19093 WITH SCORE 19112.703
AT ITER 940 NEW BEST:: SOT 59149 SOS 19679 HAS SOPS 19439 HAS SOUS 19300 HAS SOUPS 19060 WITH SCORE 19079.679
AT ITER 949 NEW BEST:: SOT 59105 SOS 19654 HAS SOPS 19414 HAS SOUS 19275 HAS SOUPS 19035 WITH SCORE 19054.654
AT ITER 953 NEW BEST:: SOT 59097 SOS 19638 HAS SOPS 19398 HAS SOUS 19259 HAS SOUPS 19019 WITH SCORE 19038.638
AT ITER 958 NEW BEST:: SOT 59029 SOS 19526 HAS SOPS 19286 HAS SOUS 19147 HAS SOUPS 18907 WITH SCORE 18926.526
AT ITER 963 NEW BEST:: SOT 59029 SOS 19512 HAS SOPS 19272 HAS SOUS 19133 HAS SOUPS 18893 WITH SCORE 18912.512
AT ITER 966 NEW BEST:: SOT 58893 SOS 19172 HAS SOPS 18932 HAS SOUS 18793 HAS SOUPS 18553 WITH SCORE 18572.172
AT ITER 980 NEW BEST:: SOT 58872 SOS 19112 HAS SOPS 18872 HAS SOUS 18733 HAS SOUPS 18493 WITH SCORE 18512.112
AT ITER 982 NEW BEST:: SOT 58857 SOS 19097 HAS SOPS 18857 HAS SOUS 18718 HAS SOUPS 18478 WITH SCORE 18497.097
AT ITER 991 NEW BEST:: SOT 58873 SOS 18991 HAS SOPS 18751 HAS SOUS 18552 HAS SOUPS 18312 WITH SCORE 18330.991
AT ITER 1006 NEW BEST:: SOT 58847 SOS 18958 HAS SOPS 18718 HAS SOUS 18519 HAS SOUPS 18279 WITH SCORE 18297.958
AT ITER 1010 NEW BEST:: SOT 58845 SOS 18874 HAS SOPS 18634 HAS SOUS 18435 HAS SOUPS 18195 WITH SCORE 18213.874
AT ITER 1017 NEW BEST:: SOT 58811 SOS 18638 HAS SOPS 18398 HAS SOUS 18259 HAS SOUPS 18019 WITH SCORE 18037.638
AT ITER 1021 NEW BEST:: SOT 58777 SOS 18601 HAS SOPS 18361 HAS SOUS 18257 HAS SOUPS 18017 WITH SCORE 18035.601
AT ITER 1022 NEW BEST:: SOT 58741 SOS 18533 HAS SOPS 18293 HAS SOUS 18189 HAS SOUPS 17949 WITH SCORE 17967.533
AT ITER 1024 NEW BEST:: SOT 58741 SOS 18533 HAS SOPS 18293 HAS SOUS 18182 HAS SOUPS 17942 WITH SCORE 17960.533
AT ITER 1028 NEW BEST:: SOT 58696 SOS 18473 HAS SOPS 18233 HAS SOUS 18107 HAS SOUPS 17867 WITH SCORE 17885.473
AT ITER 1031 NEW BEST:: SOT 58691 SOS 18453 HAS SOPS 18213 HAS SOUS 18092 HAS SOUPS 17852 WITH SCORE 17870.453
AT ITER 1037 NEW BEST:: SOT 58659 SOS 18354 HAS SOPS 18114 HAS SOUS 18017 HAS SOUPS 17777 WITH SCORE 17795.354
AT ITER 1046 NEW BEST:: SOT 58622 SOS 18318 HAS SOPS 18078 HAS SOUS 17981 HAS SOUPS 17741 WITH SCORE 17759.318
AT ITER 1059 NEW BEST:: SOT 58616 SOS 18312 HAS SOPS 18072 HAS SOUS 17972 HAS SOUPS 17732 WITH SCORE 17750.312
AT ITER 1068 NEW BEST:: SOT 58616 SOS 18263 HAS SOPS 18023 HAS SOUS 17912 HAS SOUPS 17672 WITH SCORE 17690.263
AT ITER 1075 NEW BEST:: SOT 58585 SOS 18147 HAS SOPS 17907 HAS SOUS 17824 HAS SOUPS 17584 WITH SCORE 17602.147
AT ITER 1078 NEW BEST:: SOT 58590 SOS 18140 HAS SOPS 17900 HAS SOUS 17817 HAS SOUPS 17577 WITH SCORE 17595.14
AT ITER 1095 NEW BEST:: SOT 58588 SOS 18108 HAS SOPS 17868 HAS SOUS 17785 HAS SOUPS 17545 WITH SCORE 17563.108
AT ITER 1098 NEW BEST:: SOT 58616 SOS 18118 HAS SOPS 17878 HAS SOUS 17781 HAS SOUPS 17541 WITH SCORE 17559.118
AT ITER 1111 NEW BEST:: SOT 58594 SOS 18093 HAS SOPS 17853 HAS SOUS 17756 HAS SOUPS 17516 WITH SCORE 17534.093
AT ITER 1126 NEW BEST:: SOT 58594 SOS 17994 HAS SOPS 17754 HAS SOUS 17678 HAS SOUPS 17438 WITH SCORE 17455.994
AT ITER 1143 NEW BEST:: SOT 58316 SOS 17324 HAS SOPS 17084 HAS SOUS 17106 HAS SOUPS 16866 WITH SCORE 16883.324
AT ITER 1145 NEW BEST:: SOT 58262 SOS 17187 HAS SOPS 16947 HAS SOUS 16969 HAS SOUPS 16729 WITH SCORE 16746.187
AT ITER 1155 NEW BEST:: SOT 58157 SOS 17023 HAS SOPS 16783 HAS SOUS 16805 HAS SOUPS 16565 WITH SCORE 16582.023
AT ITER 1179 NEW BEST:: SOT 58130 SOS 16978 HAS SOPS 16738 HAS SOUS 16751 HAS SOUPS 16511 WITH SCORE 16527.978
AT ITER 1209 NEW BEST:: SOT 58132 SOS 16977 HAS SOPS 16737 HAS SOUS 16750 HAS SOUPS 16510 WITH SCORE 16526.977
AT ITER 1212 NEW BEST:: SOT 58107 SOS 16957 HAS SOPS 16717 HAS SOUS 16730 HAS SOUPS 16490 WITH SCORE 16506.957
AT ITER 1215 NEW BEST:: SOT 58073 SOS 16889 HAS SOPS 16649 HAS SOUS 16662 HAS SOUPS 16422 WITH SCORE 16438.889
AT ITER 1230 NEW BEST:: SOT 58073 SOS 16889 HAS SOPS 16649 HAS SOUS 16628 HAS SOUPS 16388 WITH SCORE 16404.889
AT ITER 1234 NEW BEST:: SOT 58085 SOS 16806 HAS SOPS 16566 HAS SOUS 16496 HAS SOUPS 16256 WITH SCORE 16272.806
AT ITER 1242 NEW BEST:: SOT 58059 SOS 16700 HAS SOPS 16460 HAS SOUS 16368 HAS SOUPS 16128 WITH SCORE 16144.7
AT ITER 1245 NEW BEST:: SOT 58110 SOS 16755 HAS SOPS 16515 HAS SOUS 16365 HAS SOUPS 16125 WITH SCORE 16141.755
AT ITER 1261 NEW BEST:: SOT 58109 SOS 16754 HAS SOPS 16514 HAS SOUS 16364 HAS SOUPS 16124 WITH SCORE 16140.754
AT ITER 1263 NEW BEST:: SOT 58107 SOS 16752 HAS SOPS 16512 HAS SOUS 16362 HAS SOUPS 16122 WITH SCORE 16138.752
AT ITER 1302 NEW BEST:: SOT 57932 SOS 16486 HAS SOPS 16246 HAS SOUS 16110 HAS SOUPS 15870 WITH SCORE 15886.486
AT ITER 1320 NEW BEST:: SOT 57865 SOS 16362 HAS SOPS 16122 HAS SOUS 15981 HAS SOUPS 15741 WITH SCORE 15757.362
AT ITER 1326 NEW BEST:: SOT 57860 SOS 16347 HAS SOPS 16107 HAS SOUS 15974 HAS SOUPS 15734 WITH SCORE 15750.347
AT ITER 1343 NEW BEST:: SOT 57758 SOS 16194 HAS SOPS 15954 HAS SOUS 15872 HAS SOUPS 15632 WITH SCORE 15648.194
AT ITER 1347 NEW BEST:: SOT 57758 SOS 16158 HAS SOPS 15918 HAS SOUS 15836 HAS SOUPS 15596 WITH SCORE 15612.158
AT ITER 1367 NEW BEST:: SOT 57744 SOS 16137 HAS SOPS 15897 HAS SOUS 15815 HAS SOUPS 15575 WITH SCORE 15591.137
AT ITER 1369 NEW BEST:: SOT 57732 SOS 16089 HAS SOPS 15849 HAS SOUS 15767 HAS SOUPS 15527 WITH SCORE 15543.089
AT ITER 1399 NEW BEST:: SOT 57718 SOS 16060 HAS SOPS 15820 HAS SOUS 15726 HAS SOUPS 15486 WITH SCORE 15502.06
AT ITER 1402 NEW BEST:: SOT 57713 SOS 16035 HAS SOPS 15795 HAS SOUS 15706 HAS SOUPS 15466 WITH SCORE 15482.035
AT ITER 1407 NEW BEST:: SOT 57695 SOS 16025 HAS SOPS 15785 HAS SOUS 15654 HAS SOUPS 15414 WITH SCORE 15430.025
AT ITER 1412 NEW BEST:: SOT 57698 SOS 16024 HAS SOPS 15784 HAS SOUS 15653 HAS SOUPS 15413 WITH SCORE 15429.024
AT ITER 1418 NEW BEST:: SOT 57586 SOS 15842 HAS SOPS 15602 HAS SOUS 15471 HAS SOUPS 15231 WITH SCORE 15246.842
AT ITER 1425 NEW BEST:: SOT 57573 SOS 15753 HAS SOPS 15513 HAS SOUS 15382 HAS SOUPS 15142 WITH SCORE 15157.753
AT ITER 1450 NEW BEST:: SOT 57553 SOS 15598 HAS SOPS 15358 HAS SOUS 15227 HAS SOUPS 14987 WITH SCORE 15002.598
AT ITER 1459 NEW BEST:: SOT 57560 SOS 15580 HAS SOPS 15340 HAS SOUS 15208 HAS SOUPS 14968 WITH SCORE 14983.58
AT ITER 1462 NEW BEST:: SOT 57551 SOS 15568 HAS SOPS 15328 HAS SOUS 15196 HAS SOUPS 14956 WITH SCORE 14971.568
AT ITER 1474 NEW BEST:: SOT 57537 SOS 15492 HAS SOPS 15252 HAS SOUS 15120 HAS SOUPS 14880 WITH SCORE 14895.492
AT ITER 1491 NEW BEST:: SOT 57483 SOS 15427 HAS SOPS 15187 HAS SOUS 15055 HAS SOUPS 14815 WITH SCORE 14830.427
AT ITER 1493 NEW BEST:: SOT 57449 SOS 15366 HAS SOPS 15126 HAS SOUS 14994 HAS SOUPS 14754 WITH SCORE 14769.366
AT ITER 1503 NEW BEST:: SOT 57440 SOS 15336 HAS SOPS 15096 HAS SOUS 14974 HAS SOUPS 14734 WITH SCORE 14749.336
AT ITER 1509 NEW BEST:: SOT 57425 SOS 15311 HAS SOPS 15071 HAS SOUS 14944 HAS SOUPS 14704 WITH SCORE 14719.311
AT ITER 1512 NEW BEST:: SOT 57425 SOS 15304 HAS SOPS 15064 HAS SOUS 14930 HAS SOUPS 14690 WITH SCORE 14705.304
AT ITER 1520 NEW BEST:: SOT 57413 SOS 15271 HAS SOPS 15031 HAS SOUS 14897 HAS SOUPS 14657 WITH SCORE 14672.271
AT ITER 1524 NEW BEST:: SOT 57314 SOS 15142 HAS SOPS 14899 HAS SOUS 14774 HAS SOUPS 14531 WITH SCORE 14546.142
AT ITER 1533 NEW BEST:: SOT 57331 SOS 15126 HAS SOPS 14883 HAS SOUS 14758 HAS SOUPS 14515 WITH SCORE 14530.126
AT ITER 1543 NEW BEST:: SOT 57280 SOS 15056 HAS SOPS 14813 HAS SOUS 14688 HAS SOUPS 14445 WITH SCORE 14460.056
AT ITER 1545 NEW BEST:: SOT 57276 SOS 15010 HAS SOPS 14767 HAS SOUS 14642 HAS SOUPS 14399 WITH SCORE 14414.01
AT ITER 1550 NEW BEST:: SOT 57273 SOS 15003 HAS SOPS 14760 HAS SOUS 14635 HAS SOUPS 14392 WITH SCORE 14407.003
AT ITER 1560 NEW BEST:: SOT 57258 SOS 14988 HAS SOPS 14745 HAS SOUS 14620 HAS SOUPS 14377 WITH SCORE 14391.988
AT ITER 1561 NEW BEST:: SOT 57242 SOS 14972 HAS SOPS 14729 HAS SOUS 14604 HAS SOUPS 14361 WITH SCORE 14375.972
AT ITER 1563 NEW BEST:: SOT 57242 SOS 14994 HAS SOPS 14751 HAS SOUS 14586 HAS SOUPS 14343 WITH SCORE 14357.994
AT ITER 1564 NEW BEST:: SOT 57254 SOS 14970 HAS SOPS 14727 HAS SOUS 14551 HAS SOUPS 14308 WITH SCORE 14322.97
AT ITER 1570 NEW BEST:: SOT 57219 SOS 14836 HAS SOPS 14593 HAS SOUS 14417 HAS SOUPS 14174 WITH SCORE 14188.836
AT ITER 1575 NEW BEST:: SOT 57246 SOS 14834 HAS SOPS 14591 HAS SOUS 14415 HAS SOUPS 14172 WITH SCORE 14186.834
AT ITER 1577 NEW BEST:: SOT 57242 SOS 14826 HAS SOPS 14583 HAS SOUS 14407 HAS SOUPS 14164 WITH SCORE 14178.826
AT ITER 1582 NEW BEST:: SOT 57227 SOS 14771 HAS SOPS 14528 HAS SOUS 14384 HAS SOUPS 14141 WITH SCORE 14155.771
AT ITER 1585 NEW BEST:: SOT 57227 SOS 14757 HAS SOPS 14514 HAS SOUS 14377 HAS SOUPS 14134 WITH SCORE 14148.757
AT ITER 1604 NEW BEST:: SOT 57227 SOS 14723 HAS SOPS 14480 HAS SOUS 14377 HAS SOUPS 14134 WITH SCORE 14148.723
AT ITER 1614 NEW BEST:: SOT 57223 SOS 14713 HAS SOPS 14470 HAS SOUS 14365 HAS SOUPS 14122 WITH SCORE 14136.713
AT ITER 1621 NEW BEST:: SOT 57228 SOS 14671 HAS SOPS 14428 HAS SOUS 14328 HAS SOUPS 14085 WITH SCORE 14099.671
AT ITER 1624 NEW BEST:: SOT 57206 SOS 14663 HAS SOPS 14420 HAS SOUS 14320 HAS SOUPS 14077 WITH SCORE 14091.663
AT ITER 1638 NEW BEST:: SOT 57192 SOS 14607 HAS SOPS 14364 HAS SOUS 14278 HAS SOUPS 14035 WITH SCORE 14049.607
AT ITER 1660 NEW BEST:: SOT 57192 SOS 14621 HAS SOPS 14378 HAS SOUS 14251 HAS SOUPS 14008 WITH SCORE 14022.621
AT ITER 1661 NEW BEST:: SOT 57199 SOS 14609 HAS SOPS 14366 HAS SOUS 14247 HAS SOUPS 14004 WITH SCORE 14018.609
AT ITER 1663 NEW BEST:: SOT 57185 SOS 14605 HAS SOPS 14362 HAS SOUS 14243 HAS SOUPS 14000 WITH SCORE 14014.605
AT ITER 1674 NEW BEST:: SOT 57180 SOS 14585 HAS SOPS 14342 HAS SOUS 14228 HAS SOUPS 13985 WITH SCORE 13999.585
AT ITER 1677 NEW BEST:: SOT 57127 SOS 14498 HAS SOPS 14255 HAS SOUS 14144 HAS SOUPS 13901 WITH SCORE 13915.498
AT ITER 1733 NEW BEST:: SOT 57120 SOS 14470 HAS SOPS 14227 HAS SOUS 14123 HAS SOUPS 13880 WITH SCORE 13894.47
AT ITER 1735 NEW BEST:: SOT 57156 SOS 14468 HAS SOPS 14225 HAS SOUS 14121 HAS SOUPS 13878 WITH SCORE 13892.468
AT ITER 1740 NEW BEST:: SOT 57096 SOS 14329 HAS SOPS 14086 HAS SOUS 13934 HAS SOUPS 13691 WITH SCORE 13705.329
AT ITER 1760 NEW BEST:: SOT 57061 SOS 14267 HAS SOPS 14024 HAS SOUS 13872 HAS SOUPS 13629 WITH SCORE 13643.267
AT ITER 1774 NEW BEST:: SOT 56998 SOS 14171 HAS SOPS 13928 HAS SOUS 13776 HAS SOUPS 13533 WITH SCORE 13547.171
AT ITER 1785 NEW BEST:: SOT 56990 SOS 14166 HAS SOPS 13923 HAS SOUS 13771 HAS SOUPS 13528 WITH SCORE 13542.166
AT ITER 1789 NEW BEST:: SOT 56956 SOS 14108 HAS SOPS 13865 HAS SOUS 13713 HAS SOUPS 13470 WITH SCORE 13484.108
AT ITER 1792 NEW BEST:: SOT 56910 SOS 13958 HAS SOPS 13715 HAS SOUS 13563 HAS SOUPS 13320 WITH SCORE 13333.958
AT ITER 1794 NEW BEST:: SOT 56891 SOS 13930 HAS SOPS 13687 HAS SOUS 13528 HAS SOUPS 13285 WITH SCORE 13298.93
AT ITER 1798 NEW BEST:: SOT 56889 SOS 13927 HAS SOPS 13684 HAS SOUS 13525 HAS SOUPS 13282 WITH SCORE 13295.927
AT ITER 1803 NEW BEST:: SOT 56791 SOS 13795 HAS SOPS 13552 HAS SOUS 13363 HAS SOUPS 13120 WITH SCORE 13133.795
AT ITER 1813 NEW BEST:: SOT 56773 SOS 13806 HAS SOPS 13563 HAS SOUS 13356 HAS SOUPS 13113 WITH SCORE 13126.806
AT ITER 1826 NEW BEST:: SOT 56686 SOS 13603 HAS SOPS 13360 HAS SOUS 13182 HAS SOUPS 12939 WITH SCORE 12952.603
AT ITER 1839 NEW BEST:: SOT 56642 SOS 13546 HAS SOPS 13303 HAS SOUS 13125 HAS SOUPS 12882 WITH SCORE 12895.546
AT ITER 1840 NEW BEST:: SOT 56616 SOS 13501 HAS SOPS 13258 HAS SOUS 13080 HAS SOUPS 12837 WITH SCORE 12850.501
AT ITER 1843 NEW BEST:: SOT 56617 SOS 13504 HAS SOPS 13261 HAS SOUS 13067 HAS SOUPS 12824 WITH SCORE 12837.504
AT ITER 1845 NEW BEST:: SOT 56588 SOS 13420 HAS SOPS 13177 HAS SOUS 12978 HAS SOUPS 12735 WITH SCORE 12748.42
AT ITER 1852 NEW BEST:: SOT 56561 SOS 13340 HAS SOPS 13097 HAS SOUS 12914 HAS SOUPS 12671 WITH SCORE 12684.34
AT ITER 1877 NEW BEST:: SOT 56542 SOS 13320 HAS SOPS 13077 HAS SOUS 12894 HAS SOUPS 12651 WITH SCORE 12664.32
AT ITER 1886 NEW BEST:: SOT 56506 SOS 13254 HAS SOPS 13011 HAS SOUS 12828 HAS SOUPS 12585 WITH SCORE 12598.254
AT ITER 1903 NEW BEST:: SOT 56501 SOS 13249 HAS SOPS 13006 HAS SOUS 12823 HAS SOUPS 12580 WITH SCORE 12593.249
AT ITER 1931 NEW BEST:: SOT 56468 SOS 13207 HAS SOPS 12964 HAS SOUS 12781 HAS SOUPS 12538 WITH SCORE 12551.207
AT ITER 1935 NEW BEST:: SOT 56468 SOS 13203 HAS SOPS 12960 HAS SOUS 12777 HAS SOUPS 12534 WITH SCORE 12547.203
AT ITER 1942 NEW BEST:: SOT 56448 SOS 13123 HAS SOPS 12880 HAS SOUS 12738 HAS SOUPS 12495 WITH SCORE 12508.123
AT ITER 1949 NEW BEST:: SOT 56440 SOS 13111 HAS SOPS 12868 HAS SOUS 12726 HAS SOUPS 12483 WITH SCORE 12496.111
AT ITER 1958 NEW BEST:: SOT 56414 SOS 13079 HAS SOPS 12836 HAS SOUS 12694 HAS SOUPS 12451 WITH SCORE 12464.079
AT ITER 1975 NEW BEST:: SOT 56412 SOS 13078 HAS SOPS 12835 HAS SOUS 12693 HAS SOUPS 12450 WITH SCORE 12463.078
AT ITER 1988 NEW BEST:: SOT 56387 SOS 13048 HAS SOPS 12805 HAS SOUS 12650 HAS SOUPS 12407 WITH SCORE 12420.048
AT ITER 2005 NEW BEST:: SOT 56383 SOS 13042 HAS SOPS 12799 HAS SOUS 12644 HAS SOUPS 12401 WITH SCORE 12414.042
AT ITER 2008 NEW BEST:: SOT 56381 SOS 13038 HAS SOPS 12795 HAS SOUS 12640 HAS SOUPS 12397 WITH SCORE 12410.038
AT ITER 2021 NEW BEST:: SOT 56375 SOS 13032 HAS SOPS 12789 HAS SOUS 12634 HAS SOUPS 12391 WITH SCORE 12404.032
AT ITER 2039 NEW BEST:: SOT 56347 SOS 12983 HAS SOPS 12740 HAS SOUS 12585 HAS SOUPS 12342 WITH SCORE 12354.983
AT ITER 2041 NEW BEST:: SOT 56343 SOS 12971 HAS SOPS 12728 HAS SOUS 12578 HAS SOUPS 12335 WITH SCORE 12347.971
AT ITER 2055 NEW BEST:: SOT 56328 SOS 12957 HAS SOPS 12714 HAS SOUS 12556 HAS SOUPS 12313 WITH SCORE 12325.957
AT ITER 2060 NEW BEST:: SOT 56316 SOS 12934 HAS SOPS 12691 HAS SOUS 12543 HAS SOUPS 12300 WITH SCORE 12312.934
AT ITER 2072 NEW BEST:: SOT 56311 SOS 12914 HAS SOPS 12671 HAS SOUS 12536 HAS SOUPS 12293 WITH SCORE 12305.914
AT ITER 2105 NEW BEST:: SOT 56264 SOS 12822 HAS SOPS 12579 HAS SOUS 12442 HAS SOUPS 12199 WITH SCORE 12211.822
AT ITER 2109 NEW BEST:: SOT 56062 SOS 12615 HAS SOPS 12372 HAS SOUS 12235 HAS SOUPS 11992 WITH SCORE 12004.615
AT ITER 2113 NEW BEST:: SOT 56077 SOS 12580 HAS SOPS 12337 HAS SOUS 12220 HAS SOUPS 11977 WITH SCORE 11989.58
AT ITER 2119 NEW BEST:: SOT 56052 SOS 12528 HAS SOPS 12285 HAS SOUS 12163 HAS SOUPS 11920 WITH SCORE 11932.528
AT ITER 2142 NEW BEST:: SOT 55964 SOS 12370 HAS SOPS 12127 HAS SOUS 11997 HAS SOUPS 11754 WITH SCORE 11766.37
AT ITER 2162 NEW BEST:: SOT 55934 SOS 12317 HAS SOPS 12074 HAS SOUS 11949 HAS SOUPS 11706 WITH SCORE 11718.317
AT ITER 2167 NEW BEST:: SOT 55928 SOS 12305 HAS SOPS 12062 HAS SOUS 11937 HAS SOUPS 11694 WITH SCORE 11706.305
AT ITER 2178 NEW BEST:: SOT 55942 SOS 12248 HAS SOPS 12005 HAS SOUS 11880 HAS SOUPS 11637 WITH SCORE 11649.248
AT ITER 2198 NEW BEST:: SOT 55936 SOS 12224 HAS SOPS 11981 HAS SOUS 11862 HAS SOUPS 11619 WITH SCORE 11631.224
AT ITER 2252 NEW BEST:: SOT 55921 SOS 12189 HAS SOPS 11946 HAS SOUS 11827 HAS SOUPS 11584 WITH SCORE 11596.189
AT ITER 2253 NEW BEST:: SOT 55897 SOS 12168 HAS SOPS 11925 HAS SOUS 11806 HAS SOUPS 11563 WITH SCORE 11575.168
AT ITER 2276 NEW BEST:: SOT 55883 SOS 12119 HAS SOPS 11876 HAS SOUS 11757 HAS SOUPS 11514 WITH SCORE 11526.119
AT ITER 2303 NEW BEST:: SOT 55890 SOS 12126 HAS SOPS 11883 HAS SOUS 11748 HAS SOUPS 11505 WITH SCORE 11517.126
AT ITER 2311 NEW BEST:: SOT 55860 SOS 12068 HAS SOPS 11825 HAS SOUS 11690 HAS SOUPS 11447 WITH SCORE 11459.068
AT ITER 2332 NEW BEST:: SOT 55831 SOS 12051 HAS SOPS 11808 HAS SOUS 11656 HAS SOUPS 11413 WITH SCORE 11425.051
AT ITER 2364 NEW BEST:: SOT 55738 SOS 11824 HAS SOPS 11581 HAS SOUS 11462 HAS SOUPS 11219 WITH SCORE 11230.824
AT ITER 2365 NEW BEST:: SOT 55733 SOS 11815 HAS SOPS 11572 HAS SOUS 11453 HAS SOUPS 11210 WITH SCORE 11221.815
AT ITER 2370 NEW BEST:: SOT 55733 SOS 11813 HAS SOPS 11570 HAS SOUS 11452 HAS SOUPS 11209 WITH SCORE 11220.813
AT ITER 2386 NEW BEST:: SOT 55691 SOS 11700 HAS SOPS 11457 HAS SOUS 11339 HAS SOUPS 11096 WITH SCORE 11107.7
AT ITER 2393 NEW BEST:: SOT 55590 SOS 11558 HAS SOPS 11315 HAS SOUS 11197 HAS SOUPS 10954 WITH SCORE 10965.558
AT ITER 2399 NEW BEST:: SOT 55563 SOS 11399 HAS SOPS 11156 HAS SOUS 11038 HAS SOUPS 10795 WITH SCORE 10806.399
AT ITER 2407 NEW BEST:: SOT 55626 SOS 11311 HAS SOPS 11068 HAS SOUS 11013 HAS SOUPS 10770 WITH SCORE 10781.311
AT ITER 2419 NEW BEST:: SOT 55605 SOS 11303 HAS SOPS 11060 HAS SOUS 11007 HAS SOUPS 10764 WITH SCORE 10775.303
AT ITER 2426 NEW BEST:: SOT 55600 SOS 11288 HAS SOPS 11045 HAS SOUS 10992 HAS SOUPS 10749 WITH SCORE 10760.288
AT ITER 2428 NEW BEST:: SOT 55596 SOS 11234 HAS SOPS 10991 HAS SOUS 10938 HAS SOUPS 10695 WITH SCORE 10706.234
AT ITER 2437 NEW BEST:: SOT 55609 SOS 11241 HAS SOPS 10998 HAS SOUS 10930 HAS SOUPS 10687 WITH SCORE 10698.241
AT ITER 2443 NEW BEST:: SOT 55600 SOS 11220 HAS SOPS 10977 HAS SOUS 10900 HAS SOUPS 10657 WITH SCORE 10668.22
AT ITER 2446 NEW BEST:: SOT 55588 SOS 11192 HAS SOPS 10949 HAS SOUS 10872 HAS SOUPS 10629 WITH SCORE 10640.192
AT ITER 2448 NEW BEST:: SOT 55569 SOS 11168 HAS SOPS 10925 HAS SOUS 10848 HAS SOUPS 10605 WITH SCORE 10616.168
AT ITER 2458 NEW BEST:: SOT 55563 SOS 11157 HAS SOPS 10914 HAS SOUS 10837 HAS SOUPS 10594 WITH SCORE 10605.157
AT ITER 2470 NEW BEST:: SOT 55560 SOS 11152 HAS SOPS 10909 HAS SOUS 10832 HAS SOUPS 10589 WITH SCORE 10600.152
AT ITER 2488 NEW BEST:: SOT 55547 SOS 11082 HAS SOPS 10839 HAS SOUS 10775 HAS SOUPS 10532 WITH SCORE 10543.082
AT ITER 2508 NEW BEST:: SOT 55548 SOS 11062 HAS SOPS 10819 HAS SOUS 10772 HAS SOUPS 10529 WITH SCORE 10540.062
AT ITER 2509 NEW BEST:: SOT 55515 SOS 11044 HAS SOPS 10801 HAS SOUS 10754 HAS SOUPS 10511 WITH SCORE 10522.044
AT ITER 2533 NEW BEST:: SOT 55503 SOS 11028 HAS SOPS 10785 HAS SOUS 10738 HAS SOUPS 10495 WITH SCORE 10506.028
AT ITER 2562 NEW BEST:: SOT 55506 SOS 10997 HAS SOPS 10754 HAS SOUS 10722 HAS SOUPS 10479 WITH SCORE 10489.997
AT ITER 2591 NEW BEST:: SOT 55507 SOS 10984 HAS SOPS 10741 HAS SOUS 10709 HAS SOUPS 10466 WITH SCORE 10476.984
AT ITER 2595 NEW BEST:: SOT 55501 SOS 10966 HAS SOPS 10723 HAS SOUS 10703 HAS SOUPS 10460 WITH SCORE 10470.966
AT ITER 2615 NEW BEST:: SOT 55497 SOS 10954 HAS SOPS 10711 HAS SOUS 10695 HAS SOUPS 10452 WITH SCORE 10462.954
AT ITER 2641 NEW BEST:: SOT 55473 SOS 10914 HAS SOPS 10671 HAS SOUS 10655 HAS SOUPS 10412 WITH SCORE 10422.914
AT ITER 2656 NEW BEST:: SOT 55455 SOS 10878 HAS SOPS 10635 HAS SOUS 10619 HAS SOUPS 10376 WITH SCORE 10386.878
AT ITER 2679 NEW BEST:: SOT 55313 SOS 10614 HAS SOPS 10371 HAS SOUS 10355 HAS SOUPS 10112 WITH SCORE 10122.614
AT ITER 2708 NEW BEST:: SOT 55289 SOS 10553 HAS SOPS 10310 HAS SOUS 10314 HAS SOUPS 10071 WITH SCORE 10081.553
AT ITER 2718 NEW BEST:: SOT 55265 SOS 10497 HAS SOPS 10254 HAS SOUS 10258 HAS SOUPS 10015 WITH SCORE 10025.497
AT ITER 2730 NEW BEST:: SOT 55235 SOS 10475 HAS SOPS 10232 HAS SOUS 10236 HAS SOUPS 9993 WITH SCORE 10003.475
AT ITER 2752 NEW BEST:: SOT 55229 SOS 10439 HAS SOPS 10196 HAS SOUS 10200 HAS SOUPS 9957 WITH SCORE 9967.439
AT ITER 2830 NEW BEST:: SOT 55221 SOS 10396 HAS SOPS 10153 HAS SOUS 10157 HAS SOUPS 9914 WITH SCORE 9924.396
AT ITER 2852 NEW BEST:: SOT 55187 SOS 10330 HAS SOPS 10087 HAS SOUS 10099 HAS SOUPS 9856 WITH SCORE 9866.33
AT ITER 2860 NEW BEST:: SOT 55175 SOS 10315 HAS SOPS 10072 HAS SOUS 10093 HAS SOUPS 9850 WITH SCORE 9860.315
AT ITER 2874 NEW BEST:: SOT 55127 SOS 10225 HAS SOPS 9982 HAS SOUS 10017 HAS SOUPS 9774 WITH SCORE 9784.225
AT ITER 2891 NEW BEST:: SOT 55087 SOS 10149 HAS SOPS 9906 HAS SOUS 9941 HAS SOUPS 9698 WITH SCORE 9708.149
AT ITER 2926 NEW BEST:: SOT 55092 SOS 10119 HAS SOPS 9876 HAS SOUS 9911 HAS SOUPS 9668 WITH SCORE 9678.119
AT ITER 2933 NEW BEST:: SOT 55090 SOS 10119 HAS SOPS 9876 HAS SOUS 9909 HAS SOUPS 9666 WITH SCORE 9676.119
AT ITER 2940 NEW BEST:: SOT 55088 SOS 10117 HAS SOPS 9874 HAS SOUS 9907 HAS SOUPS 9664 WITH SCORE 9674.117
AT ITER 2968 NEW BEST:: SOT 55061 SOS 10081 HAS SOPS 9838 HAS SOUS 9871 HAS SOUPS 9628 WITH SCORE 9638.081
AT ITER 2971 NEW BEST:: SOT 55049 SOS 10029 HAS SOPS 9786 HAS SOUS 9819 HAS SOUPS 9576 WITH SCORE 9586.029
AT ITER 2976 NEW BEST:: SOT 55048 SOS 10024 HAS SOPS 9781 HAS SOUS 9814 HAS SOUPS 9571 WITH SCORE 9581.024
AT ITER 2984 NEW BEST:: SOT 55008 SOS 9966 HAS SOPS 9723 HAS SOUS 9738 HAS SOUPS 9495 WITH SCORE 9504.966
AT ITER 3009 NEW BEST:: SOT 55000 SOS 9958 HAS SOPS 9715 HAS SOUS 9730 HAS SOUPS 9487 WITH SCORE 9496.958
AT ITER 3022 NEW BEST:: SOT 55005 SOS 9956 HAS SOPS 9713 HAS SOUS 9727 HAS SOUPS 9484 WITH SCORE 9493.956
AT ITER 3026 NEW BEST:: SOT 54995 SOS 9946 HAS SOPS 9703 HAS SOUS 9717 HAS SOUPS 9474 WITH SCORE 9483.946
AT ITER 3033 NEW BEST:: SOT 54970 SOS 9825 HAS SOPS 9582 HAS SOUS 9596 HAS SOUPS 9353 WITH SCORE 9362.825
AT ITER 3042 NEW BEST:: SOT 54898 SOS 9681 HAS SOPS 9438 HAS SOUS 9480 HAS SOUPS 9237 WITH SCORE 9246.681
AT ITER 3045 NEW BEST:: SOT 54963 SOS 9648 HAS SOPS 9405 HAS SOUS 9434 HAS SOUPS 9191 WITH SCORE 9200.648
AT ITER 3100 NEW BEST:: SOT 54950 SOS 9609 HAS SOPS 9366 HAS SOUS 9395 HAS SOUPS 9152 WITH SCORE 9161.609
AT ITER 3114 NEW BEST:: SOT 54969 SOS 9594 HAS SOPS 9351 HAS SOUS 9378 HAS SOUPS 9135 WITH SCORE 9144.594
AT ITER 3132 NEW BEST:: SOT 54967 SOS 9591 HAS SOPS 9348 HAS SOUS 9375 HAS SOUPS 9132 WITH SCORE 9141.591
AT ITER 3138 NEW BEST:: SOT 54945 SOS 9580 HAS SOPS 9337 HAS SOUS 9364 HAS SOUPS 9121 WITH SCORE 9130.58
AT ITER 3144 NEW BEST:: SOT 54925 SOS 9560 HAS SOPS 9317 HAS SOUS 9344 HAS SOUPS 9101 WITH SCORE 9110.56
AT ITER 3145 NEW BEST:: SOT 54892 SOS 9520 HAS SOPS 9277 HAS SOUS 9304 HAS SOUPS 9061 WITH SCORE 9070.52
AT ITER 3148 NEW BEST:: SOT 54897 SOS 9507 HAS SOPS 9264 HAS SOUS 9291 HAS SOUPS 9048 WITH SCORE 9057.507
AT ITER 3155 NEW BEST:: SOT 54894 SOS 9492 HAS SOPS 9249 HAS SOUS 9276 HAS SOUPS 9033 WITH SCORE 9042.492
AT ITER 3158 NEW BEST:: SOT 54878 SOS 9484 HAS SOPS 9241 HAS SOUS 9268 HAS SOUPS 9025 WITH SCORE 9034.484
AT ITER 3165 NEW BEST:: SOT 54877 SOS 9484 HAS SOPS 9241 HAS SOUS 9267 HAS SOUPS 9024 WITH SCORE 9033.484
AT ITER 3174 NEW BEST:: SOT 54875 SOS 9476 HAS SOPS 9233 HAS SOUS 9261 HAS SOUPS 9018 WITH SCORE 9027.476
AT ITER 3175 NEW BEST:: SOT 54873 SOS 9473 HAS SOPS 9230 HAS SOUS 9258 HAS SOUPS 9015 WITH SCORE 9024.473
AT ITER 3179 NEW BEST:: SOT 54866 SOS 9452 HAS SOPS 9209 HAS SOUS 9237 HAS SOUPS 8994 WITH SCORE 9003.452
AT ITER 3193 NEW BEST:: SOT 54842 SOS 9434 HAS SOPS 9191 HAS SOUS 9219 HAS SOUPS 8976 WITH SCORE 8985.434
AT ITER 3201 NEW BEST:: SOT 54840 SOS 9430 HAS SOPS 9187 HAS SOUS 9215 HAS SOUPS 8972 WITH SCORE 8981.43
AT ITER 3204 NEW BEST:: SOT 54805 SOS 9379 HAS SOPS 9136 HAS SOUS 9164 HAS SOUPS 8921 WITH SCORE 8930.379
AT ITER 3232 NEW BEST:: SOT 54803 SOS 9377 HAS SOPS 9134 HAS SOUS 9162 HAS SOUPS 8919 WITH SCORE 8928.377
AT ITER 3239 NEW BEST:: SOT 54785 SOS 9341 HAS SOPS 9098 HAS SOUS 9126 HAS SOUPS 8883 WITH SCORE 8892.341
AT ITER 3295 NEW BEST:: SOT 54766 SOS 9318 HAS SOPS 9075 HAS SOUS 9106 HAS SOUPS 8863 WITH SCORE 8872.318
AT ITER 3323 NEW BEST:: SOT 54760 SOS 9295 HAS SOPS 9052 HAS SOUS 9093 HAS SOUPS 8850 WITH SCORE 8859.295
AT ITER 3360 NEW BEST:: SOT 54751 SOS 9288 HAS SOPS 9045 HAS SOUS 9082 HAS SOUPS 8839 WITH SCORE 8848.288
AT ITER 3386 NEW BEST:: SOT 54741 SOS 9268 HAS SOPS 9025 HAS SOUS 9067 HAS SOUPS 8824 WITH SCORE 8833.268
AT ITER 3408 NEW BEST:: SOT 54736 SOS 9234 HAS SOPS 8991 HAS SOUS 9033 HAS SOUPS 8790 WITH SCORE 8799.234
AT ITER 3413 NEW BEST:: SOT 54734 SOS 9220 HAS SOPS 8977 HAS SOUS 9019 HAS SOUPS 8776 WITH SCORE 8785.22
AT ITER 3422 NEW BEST:: SOT 54728 SOS 9208 HAS SOPS 8965 HAS SOUS 9007 HAS SOUPS 8764 WITH SCORE 8773.208
AT ITER 3459 NEW BEST:: SOT 54707 SOS 9176 HAS SOPS 8933 HAS SOUS 8975 HAS SOUPS 8732 WITH SCORE 8741.176
AT ITER 3491 NEW BEST:: SOT 54693 SOS 9152 HAS SOPS 8904 HAS SOUS 8951 HAS SOUPS 8703 WITH SCORE 8712.152
AT ITER 3497 NEW BEST:: SOT 54653 SOS 9080 HAS SOPS 8832 HAS SOUS 8888 HAS SOUPS 8640 WITH SCORE 8649.08
AT ITER 3523 NEW BEST:: SOT 54648 SOS 9075 HAS SOPS 8827 HAS SOUS 8883 HAS SOUPS 8635 WITH SCORE 8644.075
AT ITER 3546 NEW BEST:: SOT 54640 SOS 9063 HAS SOPS 8815 HAS SOUS 8871 HAS SOUPS 8623 WITH SCORE 8632.063
AT ITER 3568 NEW BEST:: SOT 54607 SOS 8945 HAS SOPS 8697 HAS SOUS 8775 HAS SOUPS 8527 WITH SCORE 8535.945
AT ITER 3570 NEW BEST:: SOT 54570 SOS 8883 HAS SOPS 8635 HAS SOUS 8717 HAS SOUPS 8469 WITH SCORE 8477.883
AT ITER 3619 NEW BEST:: SOT 54560 SOS 8863 HAS SOPS 8615 HAS SOUS 8697 HAS SOUPS 8449 WITH SCORE 8457.863
AT ITER 3649 NEW BEST:: SOT 54568 SOS 8886 HAS SOPS 8638 HAS SOUS 8682 HAS SOUPS 8434 WITH SCORE 8442.886
AT ITER 3651 NEW BEST:: SOT 54574 SOS 8883 HAS SOPS 8635 HAS SOUS 8679 HAS SOUPS 8431 WITH SCORE 8439.883
AT ITER 3655 NEW BEST:: SOT 54570 SOS 8881 HAS SOPS 8633 HAS SOUS 8677 HAS SOUPS 8429 WITH SCORE 8437.881
AT ITER 3662 NEW BEST:: SOT 54546 SOS 8845 HAS SOPS 8597 HAS SOUS 8641 HAS SOUPS 8393 WITH SCORE 8401.845
AT ITER 3673 NEW BEST:: SOT 54537 SOS 8836 HAS SOPS 8588 HAS SOUS 8632 HAS SOUPS 8384 WITH SCORE 8392.836
AT ITER 3718 NEW BEST:: SOT 54529 SOS 8827 HAS SOPS 8579 HAS SOUS 8618 HAS SOUPS 8370 WITH SCORE 8378.827
AT ITER 3722 NEW BEST:: SOT 54526 SOS 8817 HAS SOPS 8569 HAS SOUS 8608 HAS SOUPS 8360 WITH SCORE 8368.817
AT ITER 3737 NEW BEST:: SOT 54518 SOS 8794 HAS SOPS 8546 HAS SOUS 8585 HAS SOUPS 8337 WITH SCORE 8345.794
AT ITER 3742 NEW BEST:: SOT 54525 SOS 8758 HAS SOPS 8510 HAS SOUS 8549 HAS SOUPS 8301 WITH SCORE 8309.758
AT ITER 3807 NEW BEST:: SOT 54524 SOS 8755 HAS SOPS 8507 HAS SOUS 8546 HAS SOUPS 8298 WITH SCORE 8306.755
AT ITER 3844 NEW BEST:: SOT 54528 SOS 8811 HAS SOPS 8563 HAS SOUS 8534 HAS SOUPS 8286 WITH SCORE 8294.811
AT ITER 3870 NEW BEST:: SOT 54523 SOS 8790 HAS SOPS 8542 HAS SOUS 8513 HAS SOUPS 8265 WITH SCORE 8273.79
AT ITER 3873 NEW BEST:: SOT 54518 SOS 8777 HAS SOPS 8529 HAS SOUS 8496 HAS SOUPS 8248 WITH SCORE 8256.777
AT ITER 3899 NEW BEST:: SOT 54424 SOS 8658 HAS SOPS 8410 HAS SOUS 8377 HAS SOUPS 8129 WITH SCORE 8137.658
AT ITER 3926 NEW BEST:: SOT 54415 SOS 8632 HAS SOPS 8384 HAS SOUS 8350 HAS SOUPS 8102 WITH SCORE 8110.632
AT ITER 3929 NEW BEST:: SOT 54412 SOS 8629 HAS SOPS 8381 HAS SOUS 8347 HAS SOUPS 8099 WITH SCORE 8107.629
AT ITER 3946 NEW BEST:: SOT 54411 SOS 8626 HAS SOPS 8378 HAS SOUS 8344 HAS SOUPS 8096 WITH SCORE 8104.626
AT ITER 3976 NEW BEST:: SOT 54405 SOS 8591 HAS SOPS 8343 HAS SOUS 8309 HAS SOUPS 8061 WITH SCORE 8069.591
AT ITER 3984 NEW BEST:: SOT 54400 SOS 8586 HAS SOPS 8338 HAS SOUS 8304 HAS SOUPS 8056 WITH SCORE 8064.586
AT ITER 3992 NEW BEST:: SOT 54390 SOS 8576 HAS SOPS 8328 HAS SOUS 8294 HAS SOUPS 8046 WITH SCORE 8054.576
AT ITER 4042 NEW BEST:: SOT 54387 SOS 8571 HAS SOPS 8323 HAS SOUS 8289 HAS SOUPS 8041 WITH SCORE 8049.571
AT ITER 4048 NEW BEST:: SOT 54355 SOS 8507 HAS SOPS 8259 HAS SOUS 8233 HAS SOUPS 7985 WITH SCORE 7993.507
AT ITER 4150 NEW BEST:: SOT 54343 SOS 8495 HAS SOPS 8247 HAS SOUS 8221 HAS SOUPS 7973 WITH SCORE 7981.495
AT ITER 4160 NEW BEST:: SOT 54282 SOS 8388 HAS SOPS 8140 HAS SOUS 8114 HAS SOUPS 7866 WITH SCORE 7874.388
AT ITER 4174 NEW BEST:: SOT 54274 SOS 8380 HAS SOPS 8132 HAS SOUS 8106 HAS SOUPS 7858 WITH SCORE 7866.38
AT ITER 4188 NEW BEST:: SOT 54259 SOS 8363 HAS SOPS 8115 HAS SOUS 8089 HAS SOUPS 7841 WITH SCORE 7849.363
AT ITER 4233 NEW BEST:: SOT 54237 SOS 8341 HAS SOPS 8093 HAS SOUS 8067 HAS SOUPS 7819 WITH SCORE 7827.341
AT ITER 4250 NEW BEST:: SOT 54197 SOS 8236 HAS SOPS 7988 HAS SOUS 7973 HAS SOUPS 7725 WITH SCORE 7733.236
AT ITER 4307 NEW BEST:: SOT 54184 SOS 8194 HAS SOPS 7946 HAS SOUS 7940 HAS SOUPS 7692 WITH SCORE 7700.194
AT ITER 4332 NEW BEST:: SOT 54181 SOS 8188 HAS SOPS 7940 HAS SOUS 7934 HAS SOUPS 7686 WITH SCORE 7694.188
AT ITER 4335 NEW BEST:: SOT 54181 SOS 8180 HAS SOPS 7932 HAS SOUS 7926 HAS SOUPS 7678 WITH SCORE 7686.18
AT ITER 4336 NEW BEST:: SOT 54181 SOS 8217 HAS SOPS 7969 HAS SOUS 7918 HAS SOUPS 7670 WITH SCORE 7678.217
AT ITER 4403 NEW BEST:: SOT 54181 SOS 8214 HAS SOPS 7966 HAS SOUS 7915 HAS SOUPS 7667 WITH SCORE 7675.214
AT ITER 4422 NEW BEST:: SOT 54163 SOS 8186 HAS SOPS 7938 HAS SOUS 7887 HAS SOUPS 7639 WITH SCORE 7647.186
AT ITER 4429 NEW BEST:: SOT 54149 SOS 8172 HAS SOPS 7924 HAS SOUS 7873 HAS SOUPS 7625 WITH SCORE 7633.172
AT ITER 4438 NEW BEST:: SOT 54145 SOS 8168 HAS SOPS 7920 HAS SOUS 7869 HAS SOUPS 7621 WITH SCORE 7629.168
AT ITER 4444 NEW BEST:: SOT 54123 SOS 8167 HAS SOPS 7919 HAS SOUS 7868 HAS SOUPS 7620 WITH SCORE 7628.167
AT ITER 4455 NEW BEST:: SOT 54104 SOS 8133 HAS SOPS 7885 HAS SOUS 7834 HAS SOUPS 7586 WITH SCORE 7594.133
AT ITER 4459 NEW BEST:: SOT 54083 SOS 8097 HAS SOPS 7849 HAS SOUS 7802 HAS SOUPS 7554 WITH SCORE 7562.097
AT ITER 4497 NEW BEST:: SOT 54051 SOS 8059 HAS SOPS 7811 HAS SOUS 7764 HAS SOUPS 7516 WITH SCORE 7524.059
AT ITER 4518 NEW BEST:: SOT 54044 SOS 8049 HAS SOPS 7801 HAS SOUS 7754 HAS SOUPS 7506 WITH SCORE 7514.049
AT ITER 4527 NEW BEST:: SOT 54040 SOS 8039 HAS SOPS 7791 HAS SOUS 7744 HAS SOUPS 7496 WITH SCORE 7504.039
AT ITER 4531 NEW BEST:: SOT 54030 SOS 8024 HAS SOPS 7776 HAS SOUS 7734 HAS SOUPS 7486 WITH SCORE 7494.024
AT ITER 4537 NEW BEST:: SOT 54022 SOS 8016 HAS SOPS 7768 HAS SOUS 7726 HAS SOUPS 7478 WITH SCORE 7486.016
AT ITER 4549 NEW BEST:: SOT 53961 SOS 7915 HAS SOPS 7667 HAS SOUS 7655 HAS SOUPS 7407 WITH SCORE 7414.915
AT ITER 4551 NEW BEST:: SOT 53957 SOS 7907 HAS SOPS 7659 HAS SOUS 7646 HAS SOUPS 7398 WITH SCORE 7405.907
AT ITER 4553 NEW BEST:: SOT 53942 SOS 7891 HAS SOPS 7643 HAS SOUS 7640 HAS SOUPS 7392 WITH SCORE 7399.891
AT ITER 4573 NEW BEST:: SOT 53919 SOS 7850 HAS SOPS 7602 HAS SOUS 7599 HAS SOUPS 7351 WITH SCORE 7358.85
AT ITER 4615 NEW BEST:: SOT 53912 SOS 7848 HAS SOPS 7600 HAS SOUS 7597 HAS SOUPS 7349 WITH SCORE 7356.848
AT ITER 4689 NEW BEST:: SOT 53872 SOS 7755 HAS SOPS 7507 HAS SOUS 7519 HAS SOUPS 7271 WITH SCORE 7278.755
AT ITER 4702 NEW BEST:: SOT 53872 SOS 7747 HAS SOPS 7499 HAS SOUS 7511 HAS SOUPS 7263 WITH SCORE 7270.747
AT ITER 4728 NEW BEST:: SOT 53874 SOS 7743 HAS SOPS 7495 HAS SOUS 7507 HAS SOUPS 7259 WITH SCORE 7266.743
AT ITER 4730 NEW BEST:: SOT 53862 SOS 7757 HAS SOPS 7509 HAS SOUS 7501 HAS SOUPS 7253 WITH SCORE 7260.757
AT ITER 4734 NEW BEST:: SOT 53861 SOS 7736 HAS SOPS 7488 HAS SOUS 7480 HAS SOUPS 7232 WITH SCORE 7239.736
AT ITER 4744 NEW BEST:: SOT 53857 SOS 7726 HAS SOPS 7478 HAS SOUS 7472 HAS SOUPS 7224 WITH SCORE 7231.726
AT ITER 4745 NEW BEST:: SOT 53857 SOS 7724 HAS SOPS 7476 HAS SOUS 7470 HAS SOUPS 7222 WITH SCORE 7229.724
AT ITER 4766 NEW BEST:: SOT 53853 SOS 7716 HAS SOPS 7468 HAS SOUS 7464 HAS SOUPS 7216 WITH SCORE 7223.716
AT ITER 4777 NEW BEST:: SOT 53837 SOS 7692 HAS SOPS 7444 HAS SOUS 7440 HAS SOUPS 7192 WITH SCORE 7199.692
AT ITER 4789 NEW BEST:: SOT 53833 SOS 7676 HAS SOPS 7428 HAS SOUS 7428 HAS SOUPS 7180 WITH SCORE 7187.676
AT ITER 4798 NEW BEST:: SOT 53808 SOS 7661 HAS SOPS 7413 HAS SOUS 7413 HAS SOUPS 7165 WITH SCORE 7172.661
AT ITER 4807 NEW BEST:: SOT 53757 SOS 7634 HAS SOPS 7386 HAS SOUS 7386 HAS SOUPS 7138 WITH SCORE 7145.634
AT ITER 4818 NEW BEST:: SOT 53769 SOS 7634 HAS SOPS 7386 HAS SOUS 7366 HAS SOUPS 7118 WITH SCORE 7125.634
AT ITER 4821 NEW BEST:: SOT 53757 SOS 7630 HAS SOPS 7382 HAS SOUS 7362 HAS SOUPS 7114 WITH SCORE 7121.63
AT ITER 4878 NEW BEST:: SOT 53748 SOS 7621 HAS SOPS 7373 HAS SOUS 7353 HAS SOUPS 7105 WITH SCORE 7112.621
AT ITER 4886 NEW BEST:: SOT 53729 SOS 7580 HAS SOPS 7332 HAS SOUS 7318 HAS SOUPS 7070 WITH SCORE 7077.58
AT ITER 4898 NEW BEST:: SOT 53735 SOS 7613 HAS SOPS 7365 HAS SOUS 7294 HAS SOUPS 7046 WITH SCORE 7053.613
AT ITER 4915 NEW BEST:: SOT 53721 SOS 7585 HAS SOPS 7337 HAS SOUS 7266 HAS SOUPS 7018 WITH SCORE 7025.585
AT ITER 4918 NEW BEST:: SOT 53719 SOS 7580 HAS SOPS 7332 HAS SOUS 7265 HAS SOUPS 7017 WITH SCORE 7024.58
AT ITER 4919 NEW BEST:: SOT 53720 SOS 7584 HAS SOPS 7336 HAS SOUS 7262 HAS SOUPS 7014 WITH SCORE 7021.584
AT ITER 4920 NEW BEST:: SOT 53705 SOS 7559 HAS SOPS 7311 HAS SOUS 7238 HAS SOUPS 6990 WITH SCORE 6997.559
AT ITER 4970 NEW BEST:: SOT 53695 SOS 7549 HAS SOPS 7301 HAS SOUS 7228 HAS SOUPS 6980 WITH SCORE 6987.549
AT ITER 5011 NEW BEST:: SOT 53687 SOS 7533 HAS SOPS 7285 HAS SOUS 7212 HAS SOUPS 6964 WITH SCORE 6971.533
AT ITER 5064 NEW BEST:: SOT 53665 SOS 7488 HAS SOPS 7240 HAS SOUS 7212 HAS SOUPS 6964 WITH SCORE 6971.488
AT ITER 5075 NEW BEST:: SOT 53662 SOS 7476 HAS SOPS 7228 HAS SOUS 7200 HAS SOUPS 6952 WITH SCORE 6959.476
AT ITER 5091 NEW BEST:: SOT 53647 SOS 7449 HAS SOPS 7201 HAS SOUS 7173 HAS SOUPS 6925 WITH SCORE 6932.449
AT ITER 5106 NEW BEST:: SOT 53641 SOS 7413 HAS SOPS 7165 HAS SOUS 7151 HAS SOUPS 6903 WITH SCORE 6910.413
AT ITER 5113 NEW BEST:: SOT 53641 SOS 7405 HAS SOPS 7157 HAS SOUS 7143 HAS SOUPS 6895 WITH SCORE 6902.405
AT ITER 5183 NEW BEST:: SOT 53617 SOS 7354 HAS SOPS 7106 HAS SOUS 7092 HAS SOUPS 6844 WITH SCORE 6851.354
AT ITER 5185 NEW BEST:: SOT 53571 SOS 7284 HAS SOPS 7036 HAS SOUS 7022 HAS SOUPS 6774 WITH SCORE 6781.284
AT ITER 5215 NEW BEST:: SOT 53568 SOS 7277 HAS SOPS 7029 HAS SOUS 7015 HAS SOUPS 6767 WITH SCORE 6774.277
AT ITER 5216 NEW BEST:: SOT 53552 SOS 7245 HAS SOPS 6997 HAS SOUS 6987 HAS SOUPS 6739 WITH SCORE 6746.245
AT ITER 5228 NEW BEST:: SOT 53540 SOS 7221 HAS SOPS 6973 HAS SOUS 6963 HAS SOUPS 6715 WITH SCORE 6722.221
AT ITER 5246 NEW BEST:: SOT 53538 SOS 7220 HAS SOPS 6972 HAS SOUS 6962 HAS SOUPS 6714 WITH SCORE 6721.22
AT ITER 5256 NEW BEST:: SOT 53512 SOS 7172 HAS SOPS 6924 HAS SOUS 6927 HAS SOUPS 6679 WITH SCORE 6686.172
AT ITER 5259 NEW BEST:: SOT 53510 SOS 7167 HAS SOPS 6919 HAS SOUS 6917 HAS SOUPS 6669 WITH SCORE 6676.167
AT ITER 5275 NEW BEST:: SOT 53510 SOS 7166 HAS SOPS 6918 HAS SOUS 6917 HAS SOUPS 6669 WITH SCORE 6676.166
AT ITER 5309 NEW BEST:: SOT 53507 SOS 7162 HAS SOPS 6914 HAS SOUS 6913 HAS SOUPS 6665 WITH SCORE 6672.162
AT ITER 5363 NEW BEST:: SOT 53468 SOS 7089 HAS SOPS 6841 HAS SOUS 6840 HAS SOUPS 6592 WITH SCORE 6599.089
AT ITER 5407 NEW BEST:: SOT 53467 SOS 7085 HAS SOPS 6837 HAS SOUS 6836 HAS SOUPS 6588 WITH SCORE 6595.085
AT ITER 5418 NEW BEST:: SOT 53456 SOS 7041 HAS SOPS 6793 HAS SOUS 6803 HAS SOUPS 6555 WITH SCORE 6562.041
AT ITER 5453 NEW BEST:: SOT 53456 SOS 7035 HAS SOPS 6787 HAS SOUS 6793 HAS SOUPS 6545 WITH SCORE 6552.035
AT ITER 5464 NEW BEST:: SOT 53440 SOS 6971 HAS SOPS 6723 HAS SOUS 6761 HAS SOUPS 6513 WITH SCORE 6519.971
AT ITER 5471 NEW BEST:: SOT 53436 SOS 6966 HAS SOPS 6718 HAS SOUS 6756 HAS SOUPS 6508 WITH SCORE 6514.966
AT ITER 5484 NEW BEST:: SOT 53430 SOS 6956 HAS SOPS 6708 HAS SOUS 6746 HAS SOUPS 6498 WITH SCORE 6504.956
AT ITER 5506 NEW BEST:: SOT 53429 SOS 6952 HAS SOPS 6704 HAS SOUS 6743 HAS SOUPS 6495 WITH SCORE 6501.952
AT ITER 5518 NEW BEST:: SOT 53376 SOS 6925 HAS SOPS 6677 HAS SOUS 6718 HAS SOUPS 6470 WITH SCORE 6476.925
AT ITER 5613 NEW BEST:: SOT 53376 SOS 6911 HAS SOPS 6663 HAS SOUS 6704 HAS SOUPS 6456 WITH SCORE 6462.911
AT ITER 5644 NEW BEST:: SOT 53372 SOS 6905 HAS SOPS 6657 HAS SOUS 6697 HAS SOUPS 6449 WITH SCORE 6455.905
AT ITER 5655 NEW BEST:: SOT 53368 SOS 6897 HAS SOPS 6649 HAS SOUS 6690 HAS SOUPS 6442 WITH SCORE 6448.897
AT ITER 5658 NEW BEST:: SOT 53349 SOS 6871 HAS SOPS 6623 HAS SOUS 6688 HAS SOUPS 6440 WITH SCORE 6446.871
AT ITER 5667 NEW BEST:: SOT 53349 SOS 6871 HAS SOPS 6623 HAS SOUS 6686 HAS SOUPS 6438 WITH SCORE 6444.871
AT ITER 5686 NEW BEST:: SOT 53349 SOS 6869 HAS SOPS 6621 HAS SOUS 6682 HAS SOUPS 6434 WITH SCORE 6440.869
AT ITER 5687 NEW BEST:: SOT 53337 SOS 6849 HAS SOPS 6601 HAS SOUS 6662 HAS SOUPS 6414 WITH SCORE 6420.849
AT ITER 5723 NEW BEST:: SOT 53334 SOS 6848 HAS SOPS 6600 HAS SOUS 6661 HAS SOUPS 6413 WITH SCORE 6419.848
AT ITER 5744 NEW BEST:: SOT 53324 SOS 6833 HAS SOPS 6585 HAS SOUS 6641 HAS SOUPS 6393 WITH SCORE 6399.833
AT ITER 5786 NEW BEST:: SOT 53315 SOS 6788 HAS SOPS 6540 HAS SOUS 6605 HAS SOUPS 6357 WITH SCORE 6363.788
AT ITER 5820 NEW BEST:: SOT 53295 SOS 6748 HAS SOPS 6500 HAS SOUS 6565 HAS SOUPS 6317 WITH SCORE 6323.748
AT ITER 5834 NEW BEST:: SOT 53287 SOS 6745 HAS SOPS 6497 HAS SOUS 6564 HAS SOUPS 6316 WITH SCORE 6322.745
AT ITER 5837 NEW BEST:: SOT 53285 SOS 6732 HAS SOPS 6484 HAS SOUS 6551 HAS SOUPS 6303 WITH SCORE 6309.732
AT ITER 5877 NEW BEST:: SOT 53281 SOS 6711 HAS SOPS 6463 HAS SOUS 6534 HAS SOUPS 6286 WITH SCORE 6292.711
AT ITER 5905 NEW BEST:: SOT 53236 SOS 6609 HAS SOPS 6361 HAS SOUS 6431 HAS SOUPS 6183 WITH SCORE 6189.609
AT ITER 5926 NEW BEST:: SOT 53235 SOS 6604 HAS SOPS 6356 HAS SOUS 6427 HAS SOUPS 6179 WITH SCORE 6185.604
AT ITER 5982 NEW BEST:: SOT 53235 SOS 6574 HAS SOPS 6326 HAS SOUS 6397 HAS SOUPS 6149 WITH SCORE 6155.574
AT ITER 6016 NEW BEST:: SOT 53230 SOS 6567 HAS SOPS 6319 HAS SOUS 6387 HAS SOUPS 6139 WITH SCORE 6145.567
AT ITER 6022 NEW BEST:: SOT 53230 SOS 6547 HAS SOPS 6299 HAS SOUS 6367 HAS SOUPS 6119 WITH SCORE 6125.547
AT ITER 6024 NEW BEST:: SOT 53185 SOS 6502 HAS SOPS 6254 HAS SOUS 6322 HAS SOUPS 6074 WITH SCORE 6080.502
AT ITER 6057 NEW BEST:: SOT 53140 SOS 6442 HAS SOPS 6194 HAS SOUS 6247 HAS SOUPS 5999 WITH SCORE 6005.442
AT ITER 6061 NEW BEST:: SOT 53137 SOS 6437 HAS SOPS 6189 HAS SOUS 6243 HAS SOUPS 5995 WITH SCORE 6001.437
AT ITER 6113 NEW BEST:: SOT 53133 SOS 6429 HAS SOPS 6181 HAS SOUS 6235 HAS SOUPS 5987 WITH SCORE 5993.429
AT ITER 6157 NEW BEST:: SOT 53131 SOS 6425 HAS SOPS 6177 HAS SOUS 6231 HAS SOUPS 5983 WITH SCORE 5989.425
AT ITER 6173 NEW BEST:: SOT 53131 SOS 6424 HAS SOPS 6176 HAS SOUS 6230 HAS SOUPS 5982 WITH SCORE 5988.424
AT ITER 6177 NEW BEST:: SOT 53120 SOS 6401 HAS SOPS 6153 HAS SOUS 6207 HAS SOUPS 5959 WITH SCORE 5965.401
AT ITER 6205 NEW BEST:: SOT 53117 SOS 6398 HAS SOPS 6150 HAS SOUS 6204 HAS SOUPS 5956 WITH SCORE 5962.398
AT ITER 6231 NEW BEST:: SOT 53097 SOS 6358 HAS SOPS 6110 HAS SOUS 6164 HAS SOUPS 5916 WITH SCORE 5922.358
AT ITER 6286 NEW BEST:: SOT 53098 SOS 6357 HAS SOPS 6109 HAS SOUS 6163 HAS SOUPS 5915 WITH SCORE 5921.357
AT ITER 6307 NEW BEST:: SOT 53097 SOS 6350 HAS SOPS 6102 HAS SOUS 6154 HAS SOUPS 5906 WITH SCORE 5912.35
AT ITER 6318 NEW BEST:: SOT 53095 SOS 6347 HAS SOPS 6099 HAS SOUS 6151 HAS SOUPS 5903 WITH SCORE 5909.347
AT ITER 6335 NEW BEST:: SOT 53088 SOS 6331 HAS SOPS 6083 HAS SOUS 6142 HAS SOUPS 5894 WITH SCORE 5900.331
AT ITER 6340 NEW BEST:: SOT 53078 SOS 6320 HAS SOPS 6072 HAS SOUS 6131 HAS SOUPS 5883 WITH SCORE 5889.32
AT ITER 6349 NEW BEST:: SOT 53063 SOS 6287 HAS SOPS 6039 HAS SOUS 6092 HAS SOUPS 5844 WITH SCORE 5850.287
AT ITER 6355 NEW BEST:: SOT 53059 SOS 6285 HAS SOPS 6037 HAS SOUS 6090 HAS SOUPS 5842 WITH SCORE 5848.285
AT ITER 6404 NEW BEST:: SOT 53053 SOS 6277 HAS SOPS 6029 HAS SOUS 6082 HAS SOUPS 5834 WITH SCORE 5840.277
AT ITER 6459 NEW BEST:: SOT 53053 SOS 6265 HAS SOPS 6017 HAS SOUS 6070 HAS SOUPS 5822 WITH SCORE 5828.265
AT ITER 6460 NEW BEST:: SOT 53054 SOS 6264 HAS SOPS 6016 HAS SOUS 6068 HAS SOUPS 5820 WITH SCORE 5826.264
AT ITER 6492 NEW BEST:: SOT 53050 SOS 6260 HAS SOPS 6012 HAS SOUS 6064 HAS SOUPS 5816 WITH SCORE 5822.26
AT ITER 6514 NEW BEST:: SOT 53050 SOS 6258 HAS SOPS 6010 HAS SOUS 6062 HAS SOUPS 5814 WITH SCORE 5820.258
AT ITER 6544 NEW BEST:: SOT 53049 SOS 6257 HAS SOPS 6007 HAS SOUS 6062 HAS SOUPS 5812 WITH SCORE 5818.257
AT ITER 6566 NEW BEST:: SOT 53049 SOS 6254 HAS SOPS 6004 HAS SOUS 6059 HAS SOUPS 5809 WITH SCORE 5815.254
AT ITER 6585 NEW BEST:: SOT 53042 SOS 6247 HAS SOPS 5997 HAS SOUS 6051 HAS SOUPS 5801 WITH SCORE 5807.247
AT ITER 6617 NEW BEST:: SOT 53038 SOS 6245 HAS SOPS 5995 HAS SOUS 6049 HAS SOUPS 5799 WITH SCORE 5805.245
AT ITER 6687 NEW BEST:: SOT 53032 SOS 6237 HAS SOPS 5987 HAS SOUS 6039 HAS SOUPS 5789 WITH SCORE 5795.237
AT ITER 6693 NEW BEST:: SOT 53047 SOS 6235 HAS SOPS 5985 HAS SOUS 6037 HAS SOUPS 5787 WITH SCORE 5793.235
AT ITER 6720 NEW BEST:: SOT 53036 SOS 6215 HAS SOPS 5965 HAS SOUS 6015 HAS SOUPS 5765 WITH SCORE 5771.215
AT ITER 6817 NEW BEST:: SOT 53032 SOS 6207 HAS SOPS 5957 HAS SOUS 6008 HAS SOUPS 5758 WITH SCORE 5764.207
AT ITER 6827 NEW BEST:: SOT 53032 SOS 6207 HAS SOPS 5957 HAS SOUS 6004 HAS SOUPS 5754 WITH SCORE 5760.207
AT ITER 6841 NEW BEST:: SOT 53040 SOS 6201 HAS SOPS 5951 HAS SOUS 5998 HAS SOUPS 5748 WITH SCORE 5754.201
AT ITER 6843 NEW BEST:: SOT 53037 SOS 6197 HAS SOPS 5947 HAS SOUS 5994 HAS SOUPS 5744 WITH SCORE 5750.197
AT ITER 6861 NEW BEST:: SOT 53032 SOS 6185 HAS SOPS 5935 HAS SOUS 5984 HAS SOUPS 5734 WITH SCORE 5740.185
AT ITER 6862 NEW BEST:: SOT 53033 SOS 6183 HAS SOPS 5933 HAS SOUS 5980 HAS SOUPS 5730 WITH SCORE 5736.183
AT ITER 6882 NEW BEST:: SOT 53024 SOS 6167 HAS SOPS 5917 HAS SOUS 5965 HAS SOUPS 5715 WITH SCORE 5721.167
AT ITER 6964 NEW BEST:: SOT 53025 SOS 6162 HAS SOPS 5912 HAS SOUS 5960 HAS SOUPS 5710 WITH SCORE 5716.162
AT ITER 7032 NEW BEST:: SOT 53031 SOS 6151 HAS SOPS 5901 HAS SOUS 5949 HAS SOUPS 5699 WITH SCORE 5705.151
AT ITER 7047 NEW BEST:: SOT 53032 SOS 6136 HAS SOPS 5886 HAS SOUS 5934 HAS SOUPS 5684 WITH SCORE 5690.136
AT ITER 7056 NEW BEST:: SOT 53025 SOS 6119 HAS SOPS 5869 HAS SOUS 5915 HAS SOUPS 5665 WITH SCORE 5671.119
AT ITER 7066 NEW BEST:: SOT 53024 SOS 6111 HAS SOPS 5861 HAS SOUS 5912 HAS SOUPS 5662 WITH SCORE 5668.111
AT ITER 7085 NEW BEST:: SOT 52993 SOS 6016 HAS SOPS 5766 HAS SOUS 5845 HAS SOUPS 5595 WITH SCORE 5601.016
AT ITER 7106 NEW BEST:: SOT 52990 SOS 6012 HAS SOPS 5762 HAS SOUS 5841 HAS SOUPS 5591 WITH SCORE 5597.012
AT ITER 7127 NEW BEST:: SOT 52958 SOS 5955 HAS SOPS 5705 HAS SOUS 5784 HAS SOUPS 5534 WITH SCORE 5539.955
AT ITER 7192 NEW BEST:: SOT 52962 SOS 5923 HAS SOPS 5673 HAS SOUS 5760 HAS SOUPS 5510 WITH SCORE 5515.923
AT ITER 7198 NEW BEST:: SOT 52903 SOS 5817 HAS SOPS 5567 HAS SOUS 5654 HAS SOUPS 5404 WITH SCORE 5409.817
AT ITER 7238 NEW BEST:: SOT 52881 SOS 5759 HAS SOPS 5509 HAS SOUS 5596 HAS SOUPS 5346 WITH SCORE 5351.759
AT ITER 7268 NEW BEST:: SOT 52873 SOS 5747 HAS SOPS 5497 HAS SOUS 5583 HAS SOUPS 5333 WITH SCORE 5338.747
AT ITER 7286 NEW BEST:: SOT 52874 SOS 5744 HAS SOPS 5494 HAS SOUS 5580 HAS SOUPS 5330 WITH SCORE 5335.744
AT ITER 7302 NEW BEST:: SOT 52873 SOS 5739 HAS SOPS 5489 HAS SOUS 5575 HAS SOUPS 5325 WITH SCORE 5330.739
AT ITER 7318 NEW BEST:: SOT 52871 SOS 5731 HAS SOPS 5481 HAS SOUS 5567 HAS SOUPS 5317 WITH SCORE 5322.731
AT ITER 7349 NEW BEST:: SOT 52829 SOS 5668 HAS SOPS 5418 HAS SOUS 5502 HAS SOUPS 5252 WITH SCORE 5257.668
AT ITER 7441 NEW BEST:: SOT 52827 SOS 5658 HAS SOPS 5408 HAS SOUS 5492 HAS SOUPS 5242 WITH SCORE 5247.658
AT ITER 7571 NEW BEST:: SOT 52829 SOS 5645 HAS SOPS 5395 HAS SOUS 5487 HAS SOUPS 5237 WITH SCORE 5242.645
AT ITER 7648 NEW BEST:: SOT 52809 SOS 5635 HAS SOPS 5385 HAS SOUS 5477 HAS SOUPS 5227 WITH SCORE 5232.635
AT ITER 7696 NEW BEST:: SOT 52809 SOS 5613 HAS SOPS 5363 HAS SOUS 5455 HAS SOUPS 5205 WITH SCORE 5210.613
AT ITER 7706 NEW BEST:: SOT 52802 SOS 5604 HAS SOPS 5354 HAS SOUS 5445 HAS SOUPS 5195 WITH SCORE 5200.604
AT ITER 7723 NEW BEST:: SOT 52798 SOS 5600 HAS SOPS 5350 HAS SOUS 5441 HAS SOUPS 5191 WITH SCORE 5196.6
AT ITER 7767 NEW BEST:: SOT 52800 SOS 5598 HAS SOPS 5348 HAS SOUS 5439 HAS SOUPS 5189 WITH SCORE 5194.598
AT ITER 7786 NEW BEST:: SOT 52793 SOS 5590 HAS SOPS 5340 HAS SOUS 5430 HAS SOUPS 5180 WITH SCORE 5185.59
AT ITER 7816 NEW BEST:: SOT 52765 SOS 5518 HAS SOPS 5268 HAS SOUS 5358 HAS SOUPS 5108 WITH SCORE 5113.518
AT ITER 7820 NEW BEST:: SOT 52759 SOS 5482 HAS SOPS 5232 HAS SOUS 5322 HAS SOUPS 5072 WITH SCORE 5077.482
AT ITER 7839 NEW BEST:: SOT 52736 SOS 5424 HAS SOPS 5174 HAS SOUS 5264 HAS SOUPS 5014 WITH SCORE 5019.424
AT ITER 7925 NEW BEST:: SOT 52740 SOS 5410 HAS SOPS 5160 HAS SOUS 5250 HAS SOUPS 5000 WITH SCORE 5005.41
AT ITER 7962 NEW BEST:: SOT 52736 SOS 5408 HAS SOPS 5158 HAS SOUS 5248 HAS SOUPS 4998 WITH SCORE 5003.408
AT ITER 7990 NEW BEST:: SOT 52724 SOS 5396 HAS SOPS 5146 HAS SOUS 5236 HAS SOUPS 4986 WITH SCORE 4991.396
AT ITER 8050 NEW BEST:: SOT 52711 SOS 5376 HAS SOPS 5126 HAS SOUS 5217 HAS SOUPS 4967 WITH SCORE 4972.376
AT ITER 8114 NEW BEST:: SOT 52709 SOS 5370 HAS SOPS 5120 HAS SOUS 5213 HAS SOUPS 4963 WITH SCORE 4968.37
AT ITER 8131 NEW BEST:: SOT 52709 SOS 5356 HAS SOPS 5106 HAS SOUS 5199 HAS SOUPS 4949 WITH SCORE 4954.356
AT ITER 8159 NEW BEST:: SOT 52684 SOS 5308 HAS SOPS 5058 HAS SOUS 5155 HAS SOUPS 4905 WITH SCORE 4910.308
AT ITER 8167 NEW BEST:: SOT 52677 SOS 5291 HAS SOPS 5041 HAS SOUS 5138 HAS SOUPS 4888 WITH SCORE 4893.291
AT ITER 8193 NEW BEST:: SOT 52665 SOS 5269 HAS SOPS 5019 HAS SOUS 5112 HAS SOUPS 4862 WITH SCORE 4867.269
AT ITER 8220 NEW BEST:: SOT 52665 SOS 5269 HAS SOPS 5019 HAS SOUS 5105 HAS SOUPS 4855 WITH SCORE 4860.269
AT ITER 8227 NEW BEST:: SOT 52645 SOS 5257 HAS SOPS 5007 HAS SOUS 5093 HAS SOUPS 4843 WITH SCORE 4848.257
AT ITER 8286 NEW BEST:: SOT 52643 SOS 5254 HAS SOPS 5004 HAS SOUS 5090 HAS SOUPS 4840 WITH SCORE 4845.254
AT ITER 8389 NEW BEST:: SOT 52641 SOS 5252 HAS SOPS 5002 HAS SOUS 5088 HAS SOUPS 4838 WITH SCORE 4843.252
AT ITER 8400 NEW BEST:: SOT 52632 SOS 5231 HAS SOPS 4981 HAS SOUS 5076 HAS SOUPS 4826 WITH SCORE 4831.231
AT ITER 8453 NEW BEST:: SOT 52632 SOS 5216 HAS SOPS 4966 HAS SOUS 5061 HAS SOUPS 4811 WITH SCORE 4816.216
AT ITER 8469 NEW BEST:: SOT 52627 SOS 5188 HAS SOPS 4938 HAS SOUS 5033 HAS SOUPS 4783 WITH SCORE 4788.188
AT ITER 8470 NEW BEST:: SOT 52634 SOS 5191 HAS SOPS 4941 HAS SOUS 5027 HAS SOUPS 4777 WITH SCORE 4782.191
AT ITER 8485 NEW BEST:: SOT 52619 SOS 5173 HAS SOPS 4923 HAS SOUS 5014 HAS SOUPS 4764 WITH SCORE 4769.173
AT ITER 8487 NEW BEST:: SOT 52615 SOS 5165 HAS SOPS 4915 HAS SOUS 5007 HAS SOUPS 4757 WITH SCORE 4762.165
AT ITER 8503 NEW BEST:: SOT 52615 SOS 5165 HAS SOPS 4915 HAS SOUS 5002 HAS SOUPS 4752 WITH SCORE 4757.165
AT ITER 8510 NEW BEST:: SOT 52615 SOS 5165 HAS SOPS 4915 HAS SOUS 5001 HAS SOUPS 4751 WITH SCORE 4756.165
AT ITER 8511 NEW BEST:: SOT 52600 SOS 5147 HAS SOPS 4897 HAS SOUS 4987 HAS SOUPS 4737 WITH SCORE 4742.147
AT ITER 8574 NEW BEST:: SOT 52590 SOS 5127 HAS SOPS 4877 HAS SOUS 4967 HAS SOUPS 4717 WITH SCORE 4722.127
AT ITER 8579 NEW BEST:: SOT 52588 SOS 5112 HAS SOPS 4862 HAS SOUS 4955 HAS SOUPS 4705 WITH SCORE 4710.112
AT ITER 8583 NEW BEST:: SOT 52585 SOS 5109 HAS SOPS 4859 HAS SOUS 4951 HAS SOUPS 4701 WITH SCORE 4706.109
AT ITER 8599 NEW BEST:: SOT 52543 SOS 5023 HAS SOPS 4773 HAS SOUS 4865 HAS SOUPS 4615 WITH SCORE 4620.023
AT ITER 8646 NEW BEST:: SOT 52537 SOS 5009 HAS SOPS 4759 HAS SOUS 4851 HAS SOUPS 4601 WITH SCORE 4606.009
AT ITER 8649 NEW BEST:: SOT 52541 SOS 4993 HAS SOPS 4743 HAS SOUS 4835 HAS SOUPS 4585 WITH SCORE 4589.993
AT ITER 8653 NEW BEST:: SOT 52538 SOS 4981 HAS SOPS 4731 HAS SOUS 4823 HAS SOUPS 4573 WITH SCORE 4577.981
AT ITER 8668 NEW BEST:: SOT 52530 SOS 4973 HAS SOPS 4723 HAS SOUS 4815 HAS SOUPS 4565 WITH SCORE 4569.973
AT ITER 8777 NEW BEST:: SOT 52514 SOS 4957 HAS SOPS 4707 HAS SOUS 4799 HAS SOUPS 4549 WITH SCORE 4553.957
AT ITER 8787 NEW BEST:: SOT 52498 SOS 4927 HAS SOPS 4677 HAS SOUS 4765 HAS SOUPS 4515 WITH SCORE 4519.927
AT ITER 8794 NEW BEST:: SOT 52492 SOS 4920 HAS SOPS 4670 HAS SOUS 4758 HAS SOUPS 4508 WITH SCORE 4512.92
AT ITER 8832 NEW BEST:: SOT 52486 SOS 4914 HAS SOPS 4664 HAS SOUS 4752 HAS SOUPS 4502 WITH SCORE 4506.914
AT ITER 8834 NEW BEST:: SOT 52482 SOS 4906 HAS SOPS 4656 HAS SOUS 4744 HAS SOUPS 4494 WITH SCORE 4498.906
AT ITER 8841 NEW BEST:: SOT 52480 SOS 4904 HAS SOPS 4654 HAS SOUS 4742 HAS SOUPS 4492 WITH SCORE 4496.904
AT ITER 8863 NEW BEST:: SOT 52455 SOS 4858 HAS SOPS 4608 HAS SOUS 4694 HAS SOUPS 4444 WITH SCORE 4448.858
AT ITER 8942 NEW BEST:: SOT 52446 SOS 4838 HAS SOPS 4588 HAS SOUS 4677 HAS SOUPS 4427 WITH SCORE 4431.838
AT ITER 9000 NEW BEST:: SOT 52416 SOS 4802 HAS SOPS 4552 HAS SOUS 4635 HAS SOUPS 4385 WITH SCORE 4389.802
AT ITER 9034 NEW BEST:: SOT 52402 SOS 4782 HAS SOPS 4532 HAS SOUS 4623 HAS SOUPS 4373 WITH SCORE 4377.782
AT ITER 9042 NEW BEST:: SOT 52397 SOS 4760 HAS SOPS 4510 HAS SOUS 4601 HAS SOUPS 4351 WITH SCORE 4355.76
AT ITER 9154 NEW BEST:: SOT 52396 SOS 4756 HAS SOPS 4506 HAS SOUS 4596 HAS SOUPS 4346 WITH SCORE 4350.756
AT ITER 9280 NEW BEST:: SOT 52388 SOS 4715 HAS SOPS 4465 HAS SOUS 4555 HAS SOUPS 4305 WITH SCORE 4309.715
AT ITER 9286 NEW BEST:: SOT 52386 SOS 4712 HAS SOPS 4462 HAS SOUS 4552 HAS SOUPS 4302 WITH SCORE 4306.712
AT ITER 9317 NEW BEST:: SOT 52380 SOS 4706 HAS SOPS 4456 HAS SOUS 4546 HAS SOUPS 4296 WITH SCORE 4300.706
AT ITER 9448 NEW BEST:: SOT 52383 SOS 4698 HAS SOPS 4448 HAS SOUS 4542 HAS SOUPS 4292 WITH SCORE 4296.698
AT ITER 9478 NEW BEST:: SOT 52379 SOS 4696 HAS SOPS 4446 HAS SOUS 4540 HAS SOUPS 4290 WITH SCORE 4294.696
AT ITER 9599 NEW BEST:: SOT 52381 SOS 4687 HAS SOPS 4437 HAS SOUS 4531 HAS SOUPS 4281 WITH SCORE 4285.687
AT ITER 9611 NEW BEST:: SOT 52381 SOS 4676 HAS SOPS 4426 HAS SOUS 4520 HAS SOUPS 4270 WITH SCORE 4274.676
AT ITER 9667 NEW BEST:: SOT 52381 SOS 4648 HAS SOPS 4398 HAS SOUS 4492 HAS SOUPS 4242 WITH SCORE 4246.648
AT ITER 9668 NEW BEST:: SOT 52358 SOS 4634 HAS SOPS 4384 HAS SOUS 4482 HAS SOUPS 4232 WITH SCORE 4236.634
AT ITER 9674 NEW BEST:: SOT 52358 SOS 4634 HAS SOPS 4384 HAS SOUS 4480 HAS SOUPS 4230 WITH SCORE 4234.634
AT ITER 9675 NEW BEST:: SOT 52352 SOS 4626 HAS SOPS 4376 HAS SOUS 4470 HAS SOUPS 4220 WITH SCORE 4224.626
AT ITER 9677 NEW BEST:: SOT 52372 SOS 4626 HAS SOPS 4376 HAS SOUS 4464 HAS SOUPS 4214 WITH SCORE 4218.626
AT ITER 9772 NEW BEST:: SOT 52372 SOS 4599 HAS SOPS 4349 HAS SOUS 4464 HAS SOUPS 4214 WITH SCORE 4218.599
AT ITER 9784 NEW BEST:: SOT 52372 SOS 4596 HAS SOPS 4346 HAS SOUS 4460 HAS SOUPS 4210 WITH SCORE 4214.596
AT ITER 9847 NEW BEST:: SOT 52333 SOS 4529 HAS SOPS 4279 HAS SOUS 4393 HAS SOUPS 4143 WITH SCORE 4147.529
AT ITER 9861 NEW BEST:: SOT 52329 SOS 4524 HAS SOPS 4274 HAS SOUS 4388 HAS SOUPS 4138 WITH SCORE 4142.524
AT ITER 9890 NEW BEST:: SOT 52317 SOS 4515 HAS SOPS 4265 HAS SOUS 4379 HAS SOUPS 4129 WITH SCORE 4133.515
AT ITER 9922 NEW BEST:: SOT 52291 SOS 4460 HAS SOPS 4210 HAS SOUS 4323 HAS SOUPS 4073 WITH SCORE 4077.46
AT ITER 9944 NEW BEST:: SOT 52271 SOS 4428 HAS SOPS 4178 HAS SOUS 4291 HAS SOUPS 4041 WITH SCORE 4045.428
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 5108048 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16126772 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="JoinFreeModules-PT-0050"
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 JoinFreeModules-PT-0050, 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 r235-tall-167856421400184"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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