Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r043-tajo-167813697100624.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is CANConstruction-PT-010, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813697100624
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 604K
-rw-r--r-- 1 mcc users 7.1K Feb 25 21:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 25 21:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 21:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 25 21:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 15:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 21:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 25 21:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 21:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 21:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 15:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 173K 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 1678795975494

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=CANConstruction-PT-010
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 12:13:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 12:13:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 12:13:01] [INFO ] Load time of PNML (sax parser for PT used): 170 ms
[2023-03-14 12:13:01] [INFO ] Transformed 322 places.
[2023-03-14 12:13:01] [INFO ] Transformed 480 transitions.
[2023-03-14 12:13:01] [INFO ] Parsed PT model containing 322 places and 480 transitions and 1400 arcs in 341 ms.
[2023-03-14 12:13:01] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 322 places, 480 transitions and 1400 arcs took 21 ms.
Total runtime 566 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CANConstruction (PT), instance 010
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: 322 places, 480 transitions, 1400 arcs.
AT ITER 0 NEW BEST:: SOT 103956 SOS 64612 HAS SOPS 64497 HAS SOUS 37053 HAS SOUPS 36938 WITH SCORE 37002.612
AT ITER 5 NEW BEST:: SOT 103956 SOS 64592 HAS SOPS 64477 HAS SOUS 37015 HAS SOUPS 36900 WITH SCORE 36964.592
AT ITER 7 NEW BEST:: SOT 103825 SOS 64568 HAS SOPS 64453 HAS SOUS 36991 HAS SOUPS 36876 WITH SCORE 36940.568
AT ITER 11 NEW BEST:: SOT 103825 SOS 64328 HAS SOPS 64213 HAS SOUS 36911 HAS SOUPS 36796 WITH SCORE 36860.328
AT ITER 22 NEW BEST:: SOT 103607 SOS 64123 HAS SOPS 63995 HAS SOUS 36704 HAS SOUPS 36576 WITH SCORE 36640.123
AT ITER 25 NEW BEST:: SOT 103647 SOS 62832 HAS SOPS 62704 HAS SOUS 36683 HAS SOUPS 36555 WITH SCORE 36617.832
AT ITER 27 NEW BEST:: SOT 102966 SOS 63197 HAS SOPS 62973 HAS SOUS 36050 HAS SOUPS 35876 WITH SCORE 35939.197
AT ITER 29 NEW BEST:: SOT 102966 SOS 63189 HAS SOPS 62965 HAS SOUS 36026 HAS SOUPS 35852 WITH SCORE 35915.189
AT ITER 32 NEW BEST:: SOT 102966 SOS 63187 HAS SOPS 62963 HAS SOUS 36026 HAS SOUPS 35852 WITH SCORE 35915.187
AT ITER 40 NEW BEST:: SOT 102986 SOS 63187 HAS SOPS 62963 HAS SOUS 36006 HAS SOUPS 35832 WITH SCORE 35895.187
AT ITER 44 NEW BEST:: SOT 102678 SOS 62897 HAS SOPS 62655 HAS SOUS 35720 HAS SOUPS 35528 WITH SCORE 35590.897
AT ITER 47 NEW BEST:: SOT 102722 SOS 62940 HAS SOPS 62698 HAS SOUS 35689 HAS SOUPS 35497 WITH SCORE 35559.94
AT ITER 58 NEW BEST:: SOT 102083 SOS 62340 HAS SOPS 61964 HAS SOUS 35533 HAS SOUPS 35290 WITH SCORE 35352.34
AT ITER 59 NEW BEST:: SOT 102083 SOS 62154 HAS SOPS 61778 HAS SOUS 35471 HAS SOUPS 35228 WITH SCORE 35290.154
AT ITER 60 NEW BEST:: SOT 101555 SOS 61736 HAS SOPS 61250 HAS SOUS 35163 HAS SOUPS 34867 WITH SCORE 34928.736
AT ITER 64 NEW BEST:: SOT 100829 SOS 61223 HAS SOPS 60445 HAS SOUS 35118 HAS SOUPS 34685 WITH SCORE 34746.223
AT ITER 65 NEW BEST:: SOT 100778 SOS 60780 HAS SOPS 60081 HAS SOUS 35067 HAS SOUPS 34668 WITH SCORE 34728.78
AT ITER 67 NEW BEST:: SOT 100108 SOS 60372 HAS SOPS 59330 HAS SOUS 34993 HAS SOUPS 34471 WITH SCORE 34531.372
AT ITER 69 NEW BEST:: SOT 100146 SOS 60410 HAS SOPS 59337 HAS SOUS 34926 HAS SOUPS 34404 WITH SCORE 34464.41
AT ITER 70 NEW BEST:: SOT 100146 SOS 60291 HAS SOPS 59218 HAS SOUS 34899 HAS SOUPS 34377 WITH SCORE 34437.291
AT ITER 74 NEW BEST:: SOT 100233 SOS 60374 HAS SOPS 59301 HAS SOUS 34812 HAS SOUPS 34290 WITH SCORE 34350.374
AT ITER 89 NEW BEST:: SOT 100233 SOS 60372 HAS SOPS 59301 HAS SOUS 34812 HAS SOUPS 34290 WITH SCORE 34350.372
AT ITER 92 NEW BEST:: SOT 100185 SOS 60132 HAS SOPS 59061 HAS SOUS 34812 HAS SOUPS 34290 WITH SCORE 34350.132
AT ITER 96 NEW BEST:: SOT 100241 SOS 60188 HAS SOPS 59117 HAS SOUS 34734 HAS SOUPS 34212 WITH SCORE 34272.188
AT ITER 101 NEW BEST:: SOT 100165 SOS 60036 HAS SOPS 58965 HAS SOUS 34696 HAS SOUPS 34174 WITH SCORE 34234.036
AT ITER 103 NEW BEST:: SOT 100173 SOS 60015 HAS SOPS 58944 HAS SOUS 34675 HAS SOUPS 34153 WITH SCORE 34213.015
AT ITER 116 NEW BEST:: SOT 100173 SOS 59670 HAS SOPS 58599 HAS SOUS 34586 HAS SOUPS 34064 WITH SCORE 34123.67
AT ITER 120 NEW BEST:: SOT 100173 SOS 59667 HAS SOPS 58599 HAS SOUS 34568 HAS SOUPS 34046 WITH SCORE 34105.667
AT ITER 123 NEW BEST:: SOT 100246 SOS 59726 HAS SOPS 58659 HAS SOUS 34416 HAS SOUPS 33894 WITH SCORE 33953.726
AT ITER 129 NEW BEST:: SOT 100211 SOS 59414 HAS SOPS 58382 HAS SOUS 34346 HAS SOUPS 33824 WITH SCORE 33883.414
AT ITER 130 NEW BEST:: SOT 100127 SOS 59350 HAS SOPS 58318 HAS SOUS 34206 HAS SOUPS 33684 WITH SCORE 33743.35
AT ITER 136 NEW BEST:: SOT 100126 SOS 59348 HAS SOPS 58316 HAS SOUS 34204 HAS SOUPS 33682 WITH SCORE 33741.348
AT ITER 137 NEW BEST:: SOT 100126 SOS 58871 HAS SOPS 57839 HAS SOUS 34057 HAS SOUPS 33535 WITH SCORE 33593.871
AT ITER 140 NEW BEST:: SOT 100126 SOS 58861 HAS SOPS 57839 HAS SOUS 33867 HAS SOUPS 33345 WITH SCORE 33403.861
AT ITER 148 NEW BEST:: SOT 100076 SOS 58811 HAS SOPS 57789 HAS SOUS 33811 HAS SOUPS 33289 WITH SCORE 33347.811
AT ITER 150 NEW BEST:: SOT 99892 SOS 58553 HAS SOPS 57531 HAS SOUS 33471 HAS SOUPS 32949 WITH SCORE 33007.553
AT ITER 153 NEW BEST:: SOT 99947 SOS 58536 HAS SOPS 57514 HAS SOUS 33380 HAS SOUPS 32858 WITH SCORE 32916.536
AT ITER 154 NEW BEST:: SOT 99961 SOS 58550 HAS SOPS 57481 HAS SOUS 33295 HAS SOUPS 32773 WITH SCORE 32831.55
AT ITER 156 NEW BEST:: SOT 99939 SOS 58429 HAS SOPS 57360 HAS SOUS 33262 HAS SOUPS 32740 WITH SCORE 32798.429
AT ITER 158 NEW BEST:: SOT 99715 SOS 58250 HAS SOPS 57185 HAS SOUS 33030 HAS SOUPS 32508 WITH SCORE 32566.25
AT ITER 163 NEW BEST:: SOT 98895 SOS 57574 HAS SOPS 56305 HAS SOUS 32642 HAS SOUPS 32010 WITH SCORE 32067.574
AT ITER 166 NEW BEST:: SOT 98791 SOS 57433 HAS SOPS 56164 HAS SOUS 32449 HAS SOUPS 31817 WITH SCORE 31874.433
AT ITER 172 NEW BEST:: SOT 98913 SOS 57491 HAS SOPS 56222 HAS SOUS 32396 HAS SOUPS 31764 WITH SCORE 31821.491
AT ITER 173 NEW BEST:: SOT 98868 SOS 57463 HAS SOPS 56194 HAS SOUS 32389 HAS SOUPS 31757 WITH SCORE 31814.463
AT ITER 180 NEW BEST:: SOT 98848 SOS 57489 HAS SOPS 56174 HAS SOUS 32385 HAS SOUPS 31745 WITH SCORE 31802.489
AT ITER 183 NEW BEST:: SOT 98848 SOS 57488 HAS SOPS 56173 HAS SOUS 32384 HAS SOUPS 31744 WITH SCORE 31801.488
AT ITER 188 NEW BEST:: SOT 97970 SOS 56775 HAS SOPS 55208 HAS SOUS 31788 HAS SOUPS 31015 WITH SCORE 31071.775
AT ITER 190 NEW BEST:: SOT 98042 SOS 56762 HAS SOPS 55195 HAS SOUS 31605 HAS SOUPS 30832 WITH SCORE 30888.762
AT ITER 197 NEW BEST:: SOT 97963 SOS 56076 HAS SOPS 54509 HAS SOUS 31487 HAS SOUPS 30714 WITH SCORE 30770.076
AT ITER 198 NEW BEST:: SOT 98087 SOS 56104 HAS SOPS 54537 HAS SOUS 31409 HAS SOUPS 30636 WITH SCORE 30692.104
AT ITER 201 NEW BEST:: SOT 98091 SOS 56058 HAS SOPS 54491 HAS SOUS 31197 HAS SOUPS 30424 WITH SCORE 30480.058
AT ITER 204 NEW BEST:: SOT 98062 SOS 56029 HAS SOPS 54462 HAS SOUS 31194 HAS SOUPS 30421 WITH SCORE 30477.029
AT ITER 218 NEW BEST:: SOT 98022 SOS 55989 HAS SOPS 54462 HAS SOUS 31154 HAS SOUPS 30381 WITH SCORE 30436.989
AT ITER 219 NEW BEST:: SOT 97949 SOS 55808 HAS SOPS 54264 HAS SOUS 31034 HAS SOUPS 30261 WITH SCORE 30316.808
AT ITER 228 NEW BEST:: SOT 98093 SOS 55952 HAS SOPS 54345 HAS SOUS 30989 HAS SOUPS 30198 WITH SCORE 30253.952
AT ITER 229 NEW BEST:: SOT 98141 SOS 55969 HAS SOPS 54329 HAS SOUS 30899 HAS SOUPS 30108 WITH SCORE 30163.969
AT ITER 242 NEW BEST:: SOT 98154 SOS 56466 HAS SOPS 54826 HAS SOUS 30884 HAS SOUPS 30093 WITH SCORE 30149.466
AT ITER 248 NEW BEST:: SOT 98148 SOS 56454 HAS SOPS 54814 HAS SOUS 30872 HAS SOUPS 30081 WITH SCORE 30137.454
AT ITER 256 NEW BEST:: SOT 98079 SOS 56255 HAS SOPS 54550 HAS SOUS 30673 HAS SOUPS 29882 WITH SCORE 29938.255
AT ITER 262 NEW BEST:: SOT 97326 SOS 55574 HAS SOPS 53797 HAS SOUS 30057 HAS SOUPS 29214 WITH SCORE 29269.574
AT ITER 268 NEW BEST:: SOT 97316 SOS 55554 HAS SOPS 53772 HAS SOUS 30037 HAS SOUPS 29194 WITH SCORE 29249.554
AT ITER 278 NEW BEST:: SOT 97297 SOS 55535 HAS SOPS 53753 HAS SOUS 30015 HAS SOUPS 29172 WITH SCORE 29227.535
AT ITER 288 NEW BEST:: SOT 97263 SOS 55501 HAS SOPS 53719 HAS SOUS 29998 HAS SOUPS 29155 WITH SCORE 29210.501
AT ITER 289 NEW BEST:: SOT 97269 SOS 55507 HAS SOPS 53708 HAS SOUS 29941 HAS SOUPS 29098 WITH SCORE 29153.507
AT ITER 291 NEW BEST:: SOT 97241 SOS 55479 HAS SOPS 53652 HAS SOUS 29885 HAS SOUPS 29042 WITH SCORE 29097.479
AT ITER 296 NEW BEST:: SOT 97207 SOS 55445 HAS SOPS 53618 HAS SOUS 29834 HAS SOUPS 28991 WITH SCORE 29046.445
AT ITER 297 NEW BEST:: SOT 97230 SOS 55468 HAS SOPS 53628 HAS SOUS 29826 HAS SOUPS 28983 WITH SCORE 29038.468
AT ITER 300 NEW BEST:: SOT 97215 SOS 55357 HAS SOPS 53517 HAS SOUS 29707 HAS SOUPS 28864 WITH SCORE 28919.357
AT ITER 301 NEW BEST:: SOT 97213 SOS 55340 HAS SOPS 53513 HAS SOUS 29617 HAS SOUPS 28774 WITH SCORE 28829.34
AT ITER 309 NEW BEST:: SOT 97213 SOS 55326 HAS SOPS 53513 HAS SOUS 29617 HAS SOUPS 28774 WITH SCORE 28829.326
AT ITER 311 NEW BEST:: SOT 97161 SOS 55274 HAS SOPS 53461 HAS SOUS 29539 HAS SOUPS 28696 WITH SCORE 28751.274
AT ITER 315 NEW BEST:: SOT 97151 SOS 55274 HAS SOPS 53461 HAS SOUS 29529 HAS SOUPS 28686 WITH SCORE 28741.274
AT ITER 317 NEW BEST:: SOT 97114 SOS 55066 HAS SOPS 53253 HAS SOUS 29473 HAS SOUPS 28630 WITH SCORE 28685.066
AT ITER 323 NEW BEST:: SOT 96888 SOS 53308 HAS SOPS 51313 HAS SOUS 29420 HAS SOUPS 28577 WITH SCORE 28630.308
AT ITER 338 NEW BEST:: SOT 96888 SOS 53290 HAS SOPS 51295 HAS SOUS 29390 HAS SOUPS 28547 WITH SCORE 28600.29
AT ITER 344 NEW BEST:: SOT 96888 SOS 53283 HAS SOPS 51295 HAS SOUS 29390 HAS SOUPS 28547 WITH SCORE 28600.283
AT ITER 345 NEW BEST:: SOT 96856 SOS 53251 HAS SOPS 51263 HAS SOUS 29356 HAS SOUPS 28513 WITH SCORE 28566.251
AT ITER 346 NEW BEST:: SOT 96856 SOS 53228 HAS SOPS 51240 HAS SOUS 29333 HAS SOUPS 28490 WITH SCORE 28543.228
AT ITER 353 NEW BEST:: SOT 96856 SOS 53213 HAS SOPS 51225 HAS SOUS 29318 HAS SOUPS 28475 WITH SCORE 28528.213
AT ITER 367 NEW BEST:: SOT 96933 SOS 52290 HAS SOPS 50190 HAS SOUS 29280 HAS SOUPS 28437 WITH SCORE 28489.29
AT ITER 368 NEW BEST:: SOT 96933 SOS 52272 HAS SOPS 50172 HAS SOUS 29226 HAS SOUPS 28383 WITH SCORE 28435.272
AT ITER 388 NEW BEST:: SOT 96929 SOS 52252 HAS SOPS 50152 HAS SOUS 29226 HAS SOUPS 28383 WITH SCORE 28435.252
AT ITER 394 NEW BEST:: SOT 96974 SOS 51718 HAS SOPS 49574 HAS SOUS 29140 HAS SOUPS 28297 WITH SCORE 28348.718
AT ITER 396 NEW BEST:: SOT 96888 SOS 51632 HAS SOPS 49488 HAS SOUS 29054 HAS SOUPS 28211 WITH SCORE 28262.632
AT ITER 398 NEW BEST:: SOT 96886 SOS 51640 HAS SOPS 49484 HAS SOUS 29054 HAS SOUPS 28209 WITH SCORE 28260.64
AT ITER 408 NEW BEST:: SOT 96856 SOS 52586 HAS SOPS 50474 HAS SOUS 29040 HAS SOUPS 28195 WITH SCORE 28247.586
AT ITER 411 NEW BEST:: SOT 96830 SOS 52547 HAS SOPS 50435 HAS SOUS 28988 HAS SOUPS 28143 WITH SCORE 28195.547
AT ITER 414 NEW BEST:: SOT 96829 SOS 52545 HAS SOPS 50433 HAS SOUS 28986 HAS SOUPS 28141 WITH SCORE 28193.545
AT ITER 420 NEW BEST:: SOT 96829 SOS 52545 HAS SOPS 50433 HAS SOUS 28985 HAS SOUPS 28140 WITH SCORE 28192.545
AT ITER 427 NEW BEST:: SOT 96815 SOS 52531 HAS SOPS 50433 HAS SOUS 28972 HAS SOUPS 28127 WITH SCORE 28179.531
AT ITER 437 NEW BEST:: SOT 96842 SOS 52558 HAS SOPS 50460 HAS SOUS 28945 HAS SOUPS 28100 WITH SCORE 28152.558
AT ITER 447 NEW BEST:: SOT 96886 SOS 52233 HAS SOPS 50135 HAS SOUS 28940 HAS SOUPS 28095 WITH SCORE 28147.233
AT ITER 448 NEW BEST:: SOT 96813 SOS 52177 HAS SOPS 50062 HAS SOUS 28929 HAS SOUPS 28084 WITH SCORE 28136.177
AT ITER 450 NEW BEST:: SOT 96723 SOS 52110 HAS SOPS 49995 HAS SOUS 28907 HAS SOUPS 28062 WITH SCORE 28114.11
AT ITER 456 NEW BEST:: SOT 96718 SOS 52100 HAS SOPS 49985 HAS SOUS 28897 HAS SOUPS 28052 WITH SCORE 28104.1
AT ITER 462 NEW BEST:: SOT 96718 SOS 52025 HAS SOPS 49835 HAS SOUS 28822 HAS SOUPS 27977 WITH SCORE 28029.025
AT ITER 467 NEW BEST:: SOT 96575 SOS 52031 HAS SOPS 49819 HAS SOUS 28679 HAS SOUPS 27812 WITH SCORE 27864.031
AT ITER 468 NEW BEST:: SOT 96569 SOS 52019 HAS SOPS 49807 HAS SOUS 28661 HAS SOUPS 27794 WITH SCORE 27846.019
AT ITER 477 NEW BEST:: SOT 96569 SOS 52016 HAS SOPS 49804 HAS SOUS 28652 HAS SOUPS 27785 WITH SCORE 27837.016
AT ITER 484 NEW BEST:: SOT 96720 SOS 52172 HAS SOPS 49965 HAS SOUS 28635 HAS SOUPS 27768 WITH SCORE 27820.172
AT ITER 487 NEW BEST:: SOT 96714 SOS 52166 HAS SOPS 49956 HAS SOUS 28626 HAS SOUPS 27759 WITH SCORE 27811.166
AT ITER 488 NEW BEST:: SOT 96894 SOS 52242 HAS SOPS 50136 HAS SOUS 28576 HAS SOUPS 27709 WITH SCORE 27761.242
AT ITER 489 NEW BEST:: SOT 96821 SOS 52049 HAS SOPS 49943 HAS SOUS 28389 HAS SOUPS 27522 WITH SCORE 27574.049
AT ITER 499 NEW BEST:: SOT 96832 SOS 52042 HAS SOPS 49936 HAS SOUS 28358 HAS SOUPS 27491 WITH SCORE 27543.042
AT ITER 509 NEW BEST:: SOT 96829 SOS 52036 HAS SOPS 49933 HAS SOUS 28355 HAS SOUPS 27488 WITH SCORE 27540.036
AT ITER 511 NEW BEST:: SOT 96648 SOS 51145 HAS SOPS 48991 HAS SOUS 28339 HAS SOUPS 27472 WITH SCORE 27523.145
AT ITER 524 NEW BEST:: SOT 96833 SOS 51316 HAS SOPS 49218 HAS SOUS 28318 HAS SOUPS 27451 WITH SCORE 27502.316
AT ITER 529 NEW BEST:: SOT 96855 SOS 51316 HAS SOPS 49218 HAS SOUS 28274 HAS SOUPS 27407 WITH SCORE 27458.316
AT ITER 530 NEW BEST:: SOT 96859 SOS 51282 HAS SOPS 49180 HAS SOUS 28240 HAS SOUPS 27373 WITH SCORE 27424.282
AT ITER 531 NEW BEST:: SOT 96827 SOS 51410 HAS SOPS 49356 HAS SOUS 28216 HAS SOUPS 27349 WITH SCORE 27400.41
AT ITER 532 NEW BEST:: SOT 96795 SOS 51378 HAS SOPS 49292 HAS SOUS 28152 HAS SOUPS 27285 WITH SCORE 27336.378
AT ITER 533 NEW BEST:: SOT 96743 SOS 51326 HAS SOPS 49240 HAS SOUS 28100 HAS SOUPS 27233 WITH SCORE 27284.326
AT ITER 536 NEW BEST:: SOT 96711 SOS 51150 HAS SOPS 49064 HAS SOUS 28052 HAS SOUPS 27185 WITH SCORE 27236.15
AT ITER 537 NEW BEST:: SOT 96823 SOS 51259 HAS SOPS 49043 HAS SOUS 27989 HAS SOUPS 27122 WITH SCORE 27173.259
AT ITER 546 NEW BEST:: SOT 96822 SOS 51258 HAS SOPS 49041 HAS SOUS 27987 HAS SOUPS 27120 WITH SCORE 27171.258
AT ITER 550 NEW BEST:: SOT 96792 SOS 51228 HAS SOPS 49013 HAS SOUS 27927 HAS SOUPS 27060 WITH SCORE 27111.228
AT ITER 559 NEW BEST:: SOT 96749 SOS 51210 HAS SOPS 48995 HAS SOUS 27905 HAS SOUPS 27038 WITH SCORE 27089.21
AT ITER 560 NEW BEST:: SOT 96654 SOS 51020 HAS SOPS 48805 HAS SOUS 27757 HAS SOUPS 26890 WITH SCORE 26941.02
AT ITER 561 NEW BEST:: SOT 96660 SOS 50922 HAS SOPS 48707 HAS SOUS 27659 HAS SOUPS 26792 WITH SCORE 26842.922
AT ITER 566 NEW BEST:: SOT 96660 SOS 50899 HAS SOPS 48684 HAS SOUS 27636 HAS SOUPS 26769 WITH SCORE 26819.899
AT ITER 569 NEW BEST:: SOT 96662 SOS 50868 HAS SOPS 48626 HAS SOUS 27602 HAS SOUPS 26741 WITH SCORE 26791.868
AT ITER 576 NEW BEST:: SOT 96597 SOS 50679 HAS SOPS 48512 HAS SOUS 27505 HAS SOUPS 26644 WITH SCORE 26694.679
AT ITER 577 NEW BEST:: SOT 96585 SOS 50667 HAS SOPS 48518 HAS SOUS 27484 HAS SOUPS 26623 WITH SCORE 26673.667
AT ITER 613 NEW BEST:: SOT 96597 SOS 50651 HAS SOPS 48502 HAS SOUS 27420 HAS SOUPS 26559 WITH SCORE 26609.651
AT ITER 622 NEW BEST:: SOT 96569 SOS 50595 HAS SOPS 48446 HAS SOUS 27364 HAS SOUPS 26503 WITH SCORE 26553.595
AT ITER 627 NEW BEST:: SOT 96538 SOS 50579 HAS SOPS 48430 HAS SOUS 27341 HAS SOUPS 26480 WITH SCORE 26530.579
AT ITER 629 NEW BEST:: SOT 96491 SOS 50557 HAS SOPS 48377 HAS SOUS 27325 HAS SOUPS 26452 WITH SCORE 26502.557
AT ITER 632 NEW BEST:: SOT 96607 SOS 50542 HAS SOPS 48362 HAS SOUS 27102 HAS SOUPS 26229 WITH SCORE 26279.542
AT ITER 636 NEW BEST:: SOT 96467 SOS 50499 HAS SOPS 48222 HAS SOUS 27117 HAS SOUPS 26216 WITH SCORE 26266.499
AT ITER 638 NEW BEST:: SOT 96453 SOS 50471 HAS SOPS 48194 HAS SOUS 27089 HAS SOUPS 26188 WITH SCORE 26238.471
AT ITER 639 NEW BEST:: SOT 96459 SOS 50453 HAS SOPS 48158 HAS SOUS 27071 HAS SOUPS 26170 WITH SCORE 26220.453
AT ITER 640 NEW BEST:: SOT 96448 SOS 50441 HAS SOPS 48137 HAS SOUS 27045 HAS SOUPS 26148 WITH SCORE 26198.441
AT ITER 644 NEW BEST:: SOT 96448 SOS 50434 HAS SOPS 48130 HAS SOUS 27038 HAS SOUPS 26141 WITH SCORE 26191.434
AT ITER 647 NEW BEST:: SOT 96413 SOS 50434 HAS SOPS 48130 HAS SOUS 27010 HAS SOUPS 26113 WITH SCORE 26163.434
AT ITER 649 NEW BEST:: SOT 96380 SOS 50214 HAS SOPS 47910 HAS SOUS 26999 HAS SOUPS 26102 WITH SCORE 26152.214
AT ITER 653 NEW BEST:: SOT 96379 SOS 50212 HAS SOPS 47908 HAS SOUS 26997 HAS SOUPS 26100 WITH SCORE 26150.212
AT ITER 656 NEW BEST:: SOT 96343 SOS 50218 HAS SOPS 47914 HAS SOUS 26985 HAS SOUPS 26088 WITH SCORE 26138.218
AT ITER 658 NEW BEST:: SOT 96331 SOS 50206 HAS SOPS 47902 HAS SOUS 26967 HAS SOUPS 26070 WITH SCORE 26120.206
AT ITER 660 NEW BEST:: SOT 96276 SOS 49981 HAS SOPS 47617 HAS SOUS 26790 HAS SOUPS 25893 WITH SCORE 25942.981
AT ITER 668 NEW BEST:: SOT 96334 SOS 49997 HAS SOPS 47633 HAS SOUS 26630 HAS SOUPS 25733 WITH SCORE 25782.997
AT ITER 676 NEW BEST:: SOT 96312 SOS 49975 HAS SOPS 47611 HAS SOUS 26597 HAS SOUPS 25700 WITH SCORE 25749.975
AT ITER 680 NEW BEST:: SOT 96270 SOS 49933 HAS SOPS 47569 HAS SOUS 26570 HAS SOUPS 25673 WITH SCORE 25722.933
AT ITER 684 NEW BEST:: SOT 96330 SOS 49960 HAS SOPS 47629 HAS SOUS 26477 HAS SOUPS 25613 WITH SCORE 25662.96
AT ITER 687 NEW BEST:: SOT 96434 SOS 48971 HAS SOPS 46459 HAS SOUS 26347 HAS SOUPS 25483 WITH SCORE 25531.971
AT ITER 699 NEW BEST:: SOT 96470 SOS 49007 HAS SOPS 46495 HAS SOUS 26311 HAS SOUPS 25447 WITH SCORE 25496.007
AT ITER 704 NEW BEST:: SOT 96470 SOS 49003 HAS SOPS 46491 HAS SOUS 26311 HAS SOUPS 25447 WITH SCORE 25496.003
AT ITER 705 NEW BEST:: SOT 96404 SOS 48937 HAS SOPS 46392 HAS SOUS 26278 HAS SOUPS 25414 WITH SCORE 25462.937
AT ITER 709 NEW BEST:: SOT 96391 SOS 48870 HAS SOPS 46325 HAS SOUS 26235 HAS SOUPS 25371 WITH SCORE 25419.87
AT ITER 710 NEW BEST:: SOT 96496 SOS 48894 HAS SOPS 46349 HAS SOUS 26031 HAS SOUPS 25167 WITH SCORE 25215.894
AT ITER 714 NEW BEST:: SOT 96443 SOS 48515 HAS SOPS 45970 HAS SOUS 25952 HAS SOUPS 25088 WITH SCORE 25136.515
AT ITER 719 NEW BEST:: SOT 96443 SOS 48515 HAS SOPS 45970 HAS SOUS 25950 HAS SOUPS 25086 WITH SCORE 25134.515
AT ITER 721 NEW BEST:: SOT 96465 SOS 48531 HAS SOPS 45939 HAS SOUS 25778 HAS SOUPS 24914 WITH SCORE 24962.531
AT ITER 723 NEW BEST:: SOT 96465 SOS 48481 HAS SOPS 45839 HAS SOUS 25778 HAS SOUPS 24914 WITH SCORE 24962.481
AT ITER 760 NEW BEST:: SOT 96465 SOS 48474 HAS SOPS 45832 HAS SOUS 25757 HAS SOUPS 24893 WITH SCORE 24941.474
AT ITER 776 NEW BEST:: SOT 96470 SOS 48479 HAS SOPS 45837 HAS SOUS 25752 HAS SOUPS 24888 WITH SCORE 24936.479
AT ITER 777 NEW BEST:: SOT 96449 SOS 48500 HAS SOPS 45809 HAS SOUS 25738 HAS SOUPS 24867 WITH SCORE 24915.5
AT ITER 779 NEW BEST:: SOT 96603 SOS 48648 HAS SOPS 45879 HAS SOUS 25659 HAS SOUPS 24788 WITH SCORE 24836.648
AT ITER 793 NEW BEST:: SOT 96585 SOS 48459 HAS SOPS 45690 HAS SOUS 25618 HAS SOUPS 24747 WITH SCORE 24795.459
AT ITER 802 NEW BEST:: SOT 96559 SOS 48482 HAS SOPS 45701 HAS SOUS 25585 HAS SOUPS 24714 WITH SCORE 24762.482
AT ITER 833 NEW BEST:: SOT 96511 SOS 48386 HAS SOPS 45605 HAS SOUS 25561 HAS SOUPS 24690 WITH SCORE 24738.386
AT ITER 835 NEW BEST:: SOT 96506 SOS 48324 HAS SOPS 45566 HAS SOUS 25505 HAS SOUPS 24663 WITH SCORE 24711.324
AT ITER 840 NEW BEST:: SOT 96483 SOS 48453 HAS SOPS 45522 HAS SOUS 25487 HAS SOUPS 24624 WITH SCORE 24672.453
AT ITER 842 NEW BEST:: SOT 96458 SOS 48412 HAS SOPS 45472 HAS SOUS 25446 HAS SOUPS 24574 WITH SCORE 24622.412
AT ITER 846 NEW BEST:: SOT 96407 SOS 48389 HAS SOPS 45449 HAS SOUS 25410 HAS SOUPS 24538 WITH SCORE 24586.389
AT ITER 847 NEW BEST:: SOT 96405 SOS 48387 HAS SOPS 45446 HAS SOUS 25409 HAS SOUPS 24537 WITH SCORE 24585.387
AT ITER 849 NEW BEST:: SOT 96405 SOS 48300 HAS SOPS 45446 HAS SOUS 25409 HAS SOUPS 24537 WITH SCORE 24585.3
AT ITER 850 NEW BEST:: SOT 96303 SOS 48067 HAS SOPS 45191 HAS SOUS 25303 HAS SOUPS 24431 WITH SCORE 24479.067
AT ITER 865 NEW BEST:: SOT 96292 SOS 48045 HAS SOPS 45169 HAS SOUS 25292 HAS SOUPS 24420 WITH SCORE 24468.045
AT ITER 871 NEW BEST:: SOT 96256 SOS 48036 HAS SOPS 45169 HAS SOUS 25247 HAS SOUPS 24384 WITH SCORE 24432.036
AT ITER 879 NEW BEST:: SOT 96240 SOS 48016 HAS SOPS 45149 HAS SOUS 25227 HAS SOUPS 24364 WITH SCORE 24412.016
AT ITER 899 NEW BEST:: SOT 96140 SOS 47230 HAS SOPS 44363 HAS SOUS 25221 HAS SOUPS 24358 WITH SCORE 24405.23
AT ITER 902 NEW BEST:: SOT 96057 SOS 47162 HAS SOPS 44280 HAS SOUS 25202 HAS SOUPS 24339 WITH SCORE 24386.162
AT ITER 916 NEW BEST:: SOT 96040 SOS 47128 HAS SOPS 44246 HAS SOUS 25168 HAS SOUPS 24305 WITH SCORE 24352.128
AT ITER 925 NEW BEST:: SOT 96100 SOS 46863 HAS SOPS 43981 HAS SOUS 25164 HAS SOUPS 24301 WITH SCORE 24347.863
AT ITER 927 NEW BEST:: SOT 96096 SOS 46699 HAS SOPS 43817 HAS SOUS 25134 HAS SOUPS 24271 WITH SCORE 24317.699
AT ITER 932 NEW BEST:: SOT 95635 SOS 47261 HAS SOPS 43193 HAS SOUS 25158 HAS SOUPS 24113 WITH SCORE 24160.261
AT ITER 953 NEW BEST:: SOT 95670 SOS 47330 HAS SOPS 43262 HAS SOUS 25157 HAS SOUPS 24112 WITH SCORE 24159.33
AT ITER 959 NEW BEST:: SOT 95658 SOS 47318 HAS SOPS 43238 HAS SOUS 25145 HAS SOUPS 24088 WITH SCORE 24135.318
AT ITER 968 NEW BEST:: SOT 95657 SOS 47314 HAS SOPS 43234 HAS SOUS 25143 HAS SOUPS 24086 WITH SCORE 24133.314
AT ITER 969 NEW BEST:: SOT 95313 SOS 47471 HAS SOPS 42662 HAS SOUS 24917 HAS SOUPS 23784 WITH SCORE 23831.471
AT ITER 972 NEW BEST:: SOT 95275 SOS 47371 HAS SOPS 42648 HAS SOUS 24870 HAS SOUPS 23758 WITH SCORE 23805.371
AT ITER 984 NEW BEST:: SOT 95315 SOS 47411 HAS SOPS 42675 HAS SOUS 24791 HAS SOUPS 23679 WITH SCORE 23726.411
AT ITER 986 NEW BEST:: SOT 95313 SOS 47401 HAS SOPS 42665 HAS SOUS 24789 HAS SOUPS 23677 WITH SCORE 23724.401
AT ITER 987 NEW BEST:: SOT 95256 SOS 47338 HAS SOPS 42651 HAS SOUS 24702 HAS SOUPS 23590 WITH SCORE 23637.338
AT ITER 996 NEW BEST:: SOT 95271 SOS 47143 HAS SOPS 42456 HAS SOUS 24202 HAS SOUPS 23090 WITH SCORE 23137.143
AT ITER 997 NEW BEST:: SOT 95499 SOS 46421 HAS SOPS 42753 HAS SOUS 23926 HAS SOUPS 22936 WITH SCORE 22982.421
AT ITER 1005 NEW BEST:: SOT 95495 SOS 46421 HAS SOPS 42749 HAS SOUS 23926 HAS SOUPS 22932 WITH SCORE 22978.421
AT ITER 1011 NEW BEST:: SOT 95482 SOS 46291 HAS SOPS 42619 HAS SOUS 23913 HAS SOUPS 22919 WITH SCORE 22965.291
AT ITER 1018 NEW BEST:: SOT 95599 SOS 46335 HAS SOPS 42736 HAS SOUS 23840 HAS SOUPS 22846 WITH SCORE 22892.335
AT ITER 1034 NEW BEST:: SOT 95587 SOS 46314 HAS SOPS 42712 HAS SOUS 23823 HAS SOUPS 22829 WITH SCORE 22875.314
AT ITER 1035 NEW BEST:: SOT 95607 SOS 46334 HAS SOPS 42732 HAS SOUS 23803 HAS SOUPS 22809 WITH SCORE 22855.334
AT ITER 1042 NEW BEST:: SOT 95604 SOS 46328 HAS SOPS 42729 HAS SOUS 23800 HAS SOUPS 22806 WITH SCORE 22852.328
AT ITER 1043 NEW BEST:: SOT 95676 SOS 46444 HAS SOPS 42845 HAS SOUS 23776 HAS SOUPS 22782 WITH SCORE 22828.444
AT ITER 1060 NEW BEST:: SOT 95485 SOS 46731 HAS SOPS 43040 HAS SOUS 23694 HAS SOUPS 22653 WITH SCORE 22699.731
AT ITER 1075 NEW BEST:: SOT 95485 SOS 46719 HAS SOPS 43028 HAS SOUS 23694 HAS SOUPS 22653 WITH SCORE 22699.719
AT ITER 1077 NEW BEST:: SOT 95394 SOS 46550 HAS SOPS 42846 HAS SOUS 23608 HAS SOUPS 22588 WITH SCORE 22634.55
AT ITER 1080 NEW BEST:: SOT 95394 SOS 46550 HAS SOPS 42846 HAS SOUS 23606 HAS SOUPS 22586 WITH SCORE 22632.55
AT ITER 1093 NEW BEST:: SOT 95386 SOS 46508 HAS SOPS 42813 HAS SOUS 23590 HAS SOUPS 22570 WITH SCORE 22616.508
AT ITER 1097 NEW BEST:: SOT 95390 SOS 46508 HAS SOPS 42817 HAS SOUS 23586 HAS SOUPS 22566 WITH SCORE 22612.508
AT ITER 1102 NEW BEST:: SOT 95390 SOS 46500 HAS SOPS 42809 HAS SOUS 23578 HAS SOUPS 22558 WITH SCORE 22604.5
AT ITER 1104 NEW BEST:: SOT 95326 SOS 46433 HAS SOPS 42742 HAS SOUS 23478 HAS SOUPS 22458 WITH SCORE 22504.433
AT ITER 1139 NEW BEST:: SOT 95391 SOS 46457 HAS SOPS 42801 HAS SOUS 23455 HAS SOUPS 22435 WITH SCORE 22481.457
AT ITER 1146 NEW BEST:: SOT 95365 SOS 45762 HAS SOPS 42106 HAS SOUS 23420 HAS SOUPS 22400 WITH SCORE 22445.762
AT ITER 1147 NEW BEST:: SOT 95255 SOS 45542 HAS SOPS 41831 HAS SOUS 23200 HAS SOUPS 22180 WITH SCORE 22225.542
AT ITER 1153 NEW BEST:: SOT 95258 SOS 45545 HAS SOPS 41824 HAS SOUS 23173 HAS SOUPS 22153 WITH SCORE 22198.545
AT ITER 1156 NEW BEST:: SOT 95246 SOS 45561 HAS SOPS 41808 HAS SOUS 23165 HAS SOUPS 22141 WITH SCORE 22186.561
AT ITER 1161 NEW BEST:: SOT 95230 SOS 45586 HAS SOPS 41788 HAS SOUS 23145 HAS SOUPS 22117 WITH SCORE 22162.586
AT ITER 1168 NEW BEST:: SOT 95279 SOS 45493 HAS SOPS 41672 HAS SOUS 22829 HAS SOUPS 21801 WITH SCORE 21846.493
AT ITER 1182 NEW BEST:: SOT 95348 SOS 45562 HAS SOPS 41691 HAS SOUS 22730 HAS SOUPS 21702 WITH SCORE 21747.562
AT ITER 1187 NEW BEST:: SOT 95348 SOS 45524 HAS SOPS 41634 HAS SOUS 22692 HAS SOUPS 21664 WITH SCORE 21709.524
AT ITER 1193 NEW BEST:: SOT 95318 SOS 45450 HAS SOPS 41538 HAS SOUS 22618 HAS SOUPS 21590 WITH SCORE 21635.45
AT ITER 1219 NEW BEST:: SOT 95270 SOS 45394 HAS SOPS 41478 HAS SOUS 22607 HAS SOUPS 21579 WITH SCORE 21624.394
AT ITER 1221 NEW BEST:: SOT 95270 SOS 45394 HAS SOPS 41478 HAS SOUS 22557 HAS SOUPS 21529 WITH SCORE 21574.394
AT ITER 1226 NEW BEST:: SOT 95279 SOS 45403 HAS SOPS 41461 HAS SOUS 22504 HAS SOUPS 21476 WITH SCORE 21521.403
AT ITER 1239 NEW BEST:: SOT 95225 SOS 45349 HAS SOPS 41407 HAS SOUS 22504 HAS SOUPS 21476 WITH SCORE 21521.349
AT ITER 1245 NEW BEST:: SOT 95253 SOS 45370 HAS SOPS 41403 HAS SOUS 22436 HAS SOUPS 21408 WITH SCORE 21453.37
AT ITER 1246 NEW BEST:: SOT 95239 SOS 45433 HAS SOPS 41389 HAS SOUS 22436 HAS SOUPS 21401 WITH SCORE 21446.433
AT ITER 1256 NEW BEST:: SOT 95257 SOS 45343 HAS SOPS 41416 HAS SOUS 22427 HAS SOUPS 21401 WITH SCORE 21446.343
AT ITER 1279 NEW BEST:: SOT 95246 SOS 45276 HAS SOPS 41381 HAS SOUS 22400 HAS SOUPS 21374 WITH SCORE 21419.276
AT ITER 1286 NEW BEST:: SOT 95231 SOS 45261 HAS SOPS 41351 HAS SOUS 22355 HAS SOUPS 21314 WITH SCORE 21359.261
AT ITER 1294 NEW BEST:: SOT 95209 SOS 45239 HAS SOPS 41320 HAS SOUS 22350 HAS SOUPS 21309 WITH SCORE 21354.239
AT ITER 1301 NEW BEST:: SOT 95145 SOS 45100 HAS SOPS 41192 HAS SOUS 22286 HAS SOUPS 21245 WITH SCORE 21290.1
AT ITER 1313 NEW BEST:: SOT 95185 SOS 45107 HAS SOPS 41239 HAS SOUS 22267 HAS SOUPS 21226 WITH SCORE 21271.107
AT ITER 1316 NEW BEST:: SOT 95028 SOS 45010 HAS SOPS 41142 HAS SOUS 22240 HAS SOUPS 21199 WITH SCORE 21244.01
AT ITER 1318 NEW BEST:: SOT 95064 SOS 45046 HAS SOPS 41178 HAS SOUS 22204 HAS SOUPS 21163 WITH SCORE 21208.046
AT ITER 1339 NEW BEST:: SOT 95055 SOS 45028 HAS SOPS 41160 HAS SOUS 22186 HAS SOUPS 21145 WITH SCORE 21190.028
AT ITER 1345 NEW BEST:: SOT 95050 SOS 44988 HAS SOPS 41150 HAS SOUS 22176 HAS SOUPS 21135 WITH SCORE 21179.988
AT ITER 1350 NEW BEST:: SOT 95037 SOS 44962 HAS SOPS 41124 HAS SOUS 22150 HAS SOUPS 21109 WITH SCORE 21153.962
AT ITER 1352 NEW BEST:: SOT 95032 SOS 44944 HAS SOPS 41106 HAS SOUS 22132 HAS SOUPS 21091 WITH SCORE 21135.944
AT ITER 1354 NEW BEST:: SOT 95162 SOS 45015 HAS SOPS 41171 HAS SOUS 22126 HAS SOUPS 21085 WITH SCORE 21130.015
AT ITER 1359 NEW BEST:: SOT 95174 SOS 45015 HAS SOPS 41171 HAS SOUS 22114 HAS SOUPS 21073 WITH SCORE 21118.015
AT ITER 1378 NEW BEST:: SOT 95090 SOS 45873 HAS SOPS 41684 HAS SOUS 22118 HAS SOUPS 21005 WITH SCORE 21050.873
AT ITER 1390 NEW BEST:: SOT 95108 SOS 46143 HAS SOPS 41954 HAS SOUS 22097 HAS SOUPS 20984 WITH SCORE 21030.143
AT ITER 1396 NEW BEST:: SOT 95108 SOS 46099 HAS SOPS 41888 HAS SOUS 22075 HAS SOUPS 20962 WITH SCORE 21008.099
AT ITER 1398 NEW BEST:: SOT 95257 SOS 46185 HAS SOPS 42089 HAS SOUS 22072 HAS SOUPS 20959 WITH SCORE 21005.185
AT ITER 1399 NEW BEST:: SOT 95251 SOS 46179 HAS SOPS 42077 HAS SOUS 22060 HAS SOUPS 20947 WITH SCORE 20993.179
AT ITER 1405 NEW BEST:: SOT 95233 SOS 46136 HAS SOPS 42060 HAS SOUS 22043 HAS SOUPS 20930 WITH SCORE 20976.136
AT ITER 1410 NEW BEST:: SOT 95190 SOS 46093 HAS SOPS 41974 HAS SOUS 21957 HAS SOUPS 20844 WITH SCORE 20890.093
AT ITER 1417 NEW BEST:: SOT 94499 SOS 45867 HAS SOPS 41182 HAS SOUS 21540 HAS SOUPS 20278 WITH SCORE 20323.867
AT ITER 1425 NEW BEST:: SOT 94566 SOS 45890 HAS SOPS 41205 HAS SOUS 21464 HAS SOUPS 20202 WITH SCORE 20247.89
AT ITER 1429 NEW BEST:: SOT 94652 SOS 45930 HAS SOPS 41245 HAS SOUS 21455 HAS SOUPS 20193 WITH SCORE 20238.93
AT ITER 1443 NEW BEST:: SOT 94619 SOS 45897 HAS SOPS 41179 HAS SOUS 21389 HAS SOUPS 20127 WITH SCORE 20172.897
AT ITER 1462 NEW BEST:: SOT 94548 SOS 45732 HAS SOPS 41020 HAS SOUS 21239 HAS SOUPS 19977 WITH SCORE 20022.732
AT ITER 1464 NEW BEST:: SOT 94484 SOS 45677 HAS SOPS 40924 HAS SOUS 21207 HAS SOUPS 19945 WITH SCORE 19990.677
AT ITER 1467 NEW BEST:: SOT 94490 SOS 45683 HAS SOPS 40930 HAS SOUS 21201 HAS SOUPS 19939 WITH SCORE 19984.683
AT ITER 1472 NEW BEST:: SOT 94490 SOS 45683 HAS SOPS 40925 HAS SOUS 21186 HAS SOUPS 19924 WITH SCORE 19969.683
AT ITER 1475 NEW BEST:: SOT 94490 SOS 45683 HAS SOPS 40864 HAS SOUS 21003 HAS SOUPS 19741 WITH SCORE 19786.683
AT ITER 1496 NEW BEST:: SOT 94486 SOS 45679 HAS SOPS 40856 HAS SOUS 20995 HAS SOUPS 19733 WITH SCORE 19778.679
AT ITER 1501 NEW BEST:: SOT 94309 SOS 45440 HAS SOPS 40617 HAS SOUS 20717 HAS SOUPS 19455 WITH SCORE 19500.44
AT ITER 1515 NEW BEST:: SOT 94367 SOS 45470 HAS SOPS 40617 HAS SOUS 20646 HAS SOUPS 19384 WITH SCORE 19429.47
AT ITER 1529 NEW BEST:: SOT 94349 SOS 44802 HAS SOPS 39949 HAS SOUS 20570 HAS SOUPS 19308 WITH SCORE 19352.802
AT ITER 1530 NEW BEST:: SOT 94313 SOS 44752 HAS SOPS 39899 HAS SOUS 20532 HAS SOUPS 19270 WITH SCORE 19314.752
AT ITER 1533 NEW BEST:: SOT 94306 SOS 44745 HAS SOPS 39885 HAS SOUS 20518 HAS SOUPS 19256 WITH SCORE 19300.745
AT ITER 1539 NEW BEST:: SOT 94323 SOS 44749 HAS SOPS 39885 HAS SOUS 20501 HAS SOUPS 19239 WITH SCORE 19283.749
AT ITER 1540 NEW BEST:: SOT 94349 SOS 44727 HAS SOPS 39863 HAS SOUS 20467 HAS SOUPS 19205 WITH SCORE 19249.727
AT ITER 1542 NEW BEST:: SOT 94349 SOS 44617 HAS SOPS 39863 HAS SOUS 20401 HAS SOUPS 19150 WITH SCORE 19194.617
AT ITER 1543 NEW BEST:: SOT 94376 SOS 44602 HAS SOPS 39848 HAS SOUS 20308 HAS SOUPS 19057 WITH SCORE 19101.602
AT ITER 1562 NEW BEST:: SOT 94400 SOS 44626 HAS SOPS 39869 HAS SOUS 20305 HAS SOUPS 19054 WITH SCORE 19098.626
AT ITER 1570 NEW BEST:: SOT 94416 SOS 44625 HAS SOPS 39868 HAS SOUS 20278 HAS SOUPS 19027 WITH SCORE 19071.625
AT ITER 1571 NEW BEST:: SOT 94416 SOS 44569 HAS SOPS 39812 HAS SOUS 20278 HAS SOUPS 19027 WITH SCORE 19071.569
AT ITER 1574 NEW BEST:: SOT 94425 SOS 44572 HAS SOPS 39813 HAS SOUS 20245 HAS SOUPS 18994 WITH SCORE 19038.572
AT ITER 1604 NEW BEST:: SOT 94423 SOS 44538 HAS SOPS 39809 HAS SOUS 20241 HAS SOUPS 18990 WITH SCORE 19034.538
AT ITER 1616 NEW BEST:: SOT 94426 SOS 44541 HAS SOPS 39812 HAS SOUS 20238 HAS SOUPS 18987 WITH SCORE 19031.541
AT ITER 1625 NEW BEST:: SOT 94413 SOS 44528 HAS SOPS 39751 HAS SOUS 20225 HAS SOUPS 18974 WITH SCORE 19018.528
AT ITER 1630 NEW BEST:: SOT 94404 SOS 44553 HAS SOPS 39776 HAS SOUS 20203 HAS SOUPS 18952 WITH SCORE 18996.553
AT ITER 1631 NEW BEST:: SOT 94404 SOS 44553 HAS SOPS 39774 HAS SOUS 20197 HAS SOUPS 18946 WITH SCORE 18990.553
AT ITER 1640 NEW BEST:: SOT 94513 SOS 44653 HAS SOPS 39874 HAS SOUS 20193 HAS SOUPS 18942 WITH SCORE 18986.653
AT ITER 1642 NEW BEST:: SOT 94511 SOS 44649 HAS SOPS 39869 HAS SOUS 20188 HAS SOUPS 18937 WITH SCORE 18981.649
AT ITER 1650 NEW BEST:: SOT 94511 SOS 44649 HAS SOPS 39869 HAS SOUS 20122 HAS SOUPS 18871 WITH SCORE 18915.649
AT ITER 1658 NEW BEST:: SOT 94464 SOS 44602 HAS SOPS 39811 HAS SOUS 20118 HAS SOUPS 18867 WITH SCORE 18911.602
AT ITER 1682 NEW BEST:: SOT 94463 SOS 44601 HAS SOPS 39809 HAS SOUS 20116 HAS SOUPS 18865 WITH SCORE 18909.601
AT ITER 1686 NEW BEST:: SOT 94431 SOS 44555 HAS SOPS 39763 HAS SOUS 20068 HAS SOUPS 18817 WITH SCORE 18861.555
AT ITER 1698 NEW BEST:: SOT 94431 SOS 44542 HAS SOPS 39763 HAS SOUS 20068 HAS SOUPS 18817 WITH SCORE 18861.542
AT ITER 1719 NEW BEST:: SOT 94407 SOS 44488 HAS SOPS 39715 HAS SOUS 19990 HAS SOUPS 18739 WITH SCORE 18783.488
AT ITER 1722 NEW BEST:: SOT 94228 SOS 43495 HAS SOPS 38722 HAS SOUS 19964 HAS SOUPS 18713 WITH SCORE 18756.495
AT ITER 1731 NEW BEST:: SOT 94198 SOS 43465 HAS SOPS 38692 HAS SOUS 19964 HAS SOUPS 18713 WITH SCORE 18756.465
AT ITER 1737 NEW BEST:: SOT 94282 SOS 42854 HAS SOPS 38037 HAS SOUS 19954 HAS SOUPS 18703 WITH SCORE 18745.854
AT ITER 1739 NEW BEST:: SOT 94350 SOS 42892 HAS SOPS 38075 HAS SOUS 19938 HAS SOUPS 18687 WITH SCORE 18729.892
AT ITER 1743 NEW BEST:: SOT 94350 SOS 42898 HAS SOPS 38081 HAS SOUS 19931 HAS SOUPS 18680 WITH SCORE 18722.898
AT ITER 1744 NEW BEST:: SOT 94316 SOS 42728 HAS SOPS 37911 HAS SOUS 19931 HAS SOUPS 18680 WITH SCORE 18722.728
AT ITER 1761 NEW BEST:: SOT 94273 SOS 42884 HAS SOPS 37851 HAS SOUS 19922 HAS SOUPS 18654 WITH SCORE 18696.884
AT ITER 1778 NEW BEST:: SOT 94287 SOS 42898 HAS SOPS 37865 HAS SOUS 19908 HAS SOUPS 18640 WITH SCORE 18682.898
AT ITER 1791 NEW BEST:: SOT 94287 SOS 42833 HAS SOPS 37865 HAS SOUS 19908 HAS SOUPS 18640 WITH SCORE 18682.833
AT ITER 1829 NEW BEST:: SOT 94287 SOS 42832 HAS SOPS 37864 HAS SOUS 19908 HAS SOUPS 18640 WITH SCORE 18682.832
AT ITER 1837 NEW BEST:: SOT 94289 SOS 42820 HAS SOPS 37852 HAS SOUS 19896 HAS SOUPS 18628 WITH SCORE 18670.82
AT ITER 1851 NEW BEST:: SOT 94295 SOS 42820 HAS SOPS 37858 HAS SOUS 19890 HAS SOUPS 18622 WITH SCORE 18664.82
AT ITER 1862 NEW BEST:: SOT 94293 SOS 42818 HAS SOPS 37854 HAS SOUS 19862 HAS SOUPS 18604 WITH SCORE 18646.818
AT ITER 1877 NEW BEST:: SOT 94288 SOS 42813 HAS SOPS 37847 HAS SOUS 19861 HAS SOUPS 18603 WITH SCORE 18645.813
AT ITER 1879 NEW BEST:: SOT 94244 SOS 42769 HAS SOPS 37803 HAS SOUS 19817 HAS SOUPS 18559 WITH SCORE 18601.769
AT ITER 1887 NEW BEST:: SOT 94196 SOS 42721 HAS SOPS 37707 HAS SOUS 19721 HAS SOUPS 18463 WITH SCORE 18505.721
AT ITER 1889 NEW BEST:: SOT 94189 SOS 42705 HAS SOPS 37691 HAS SOUS 19705 HAS SOUPS 18447 WITH SCORE 18489.705
AT ITER 1892 NEW BEST:: SOT 94144 SOS 42722 HAS SOPS 37708 HAS SOUS 19615 HAS SOUPS 18357 WITH SCORE 18399.722
AT ITER 1893 NEW BEST:: SOT 94133 SOS 42891 HAS SOPS 37697 HAS SOUS 19579 HAS SOUPS 18286 WITH SCORE 18328.891
AT ITER 1906 NEW BEST:: SOT 94116 SOS 42721 HAS SOPS 37527 HAS SOUS 19545 HAS SOUPS 18252 WITH SCORE 18294.721
AT ITER 1910 NEW BEST:: SOT 94127 SOS 42732 HAS SOPS 37539 HAS SOUS 19537 HAS SOUPS 18244 WITH SCORE 18286.732
AT ITER 1914 NEW BEST:: SOT 94115 SOS 42720 HAS SOPS 37515 HAS SOUS 19537 HAS SOUPS 18244 WITH SCORE 18286.72
AT ITER 1916 NEW BEST:: SOT 94071 SOS 42662 HAS SOPS 37449 HAS SOUS 19515 HAS SOUPS 18222 WITH SCORE 18264.662
AT ITER 1919 NEW BEST:: SOT 94070 SOS 42678 HAS SOPS 37430 HAS SOUS 19513 HAS SOUPS 18220 WITH SCORE 18262.678
AT ITER 1931 NEW BEST:: SOT 94059 SOS 42674 HAS SOPS 37411 HAS SOUS 19487 HAS SOUPS 18194 WITH SCORE 18236.674
AT ITER 1933 NEW BEST:: SOT 94059 SOS 42653 HAS SOPS 37411 HAS SOUS 19487 HAS SOUPS 18194 WITH SCORE 18236.653
AT ITER 1940 NEW BEST:: SOT 94149 SOS 42674 HAS SOPS 37415 HAS SOUS 19416 HAS SOUPS 18123 WITH SCORE 18165.674
AT ITER 1945 NEW BEST:: SOT 94125 SOS 42643 HAS SOPS 37384 HAS SOUS 19392 HAS SOUPS 18099 WITH SCORE 18141.643
AT ITER 1955 NEW BEST:: SOT 94107 SOS 42625 HAS SOPS 37366 HAS SOUS 19380 HAS SOUPS 18087 WITH SCORE 18129.625
AT ITER 1969 NEW BEST:: SOT 94101 SOS 42583 HAS SOPS 37360 HAS SOUS 19370 HAS SOUPS 18083 WITH SCORE 18125.583
AT ITER 1972 NEW BEST:: SOT 94089 SOS 42531 HAS SOPS 37316 HAS SOUS 19326 HAS SOUPS 18059 WITH SCORE 18101.531
AT ITER 1977 NEW BEST:: SOT 94028 SOS 42475 HAS SOPS 37260 HAS SOUS 19236 HAS SOUPS 17969 WITH SCORE 18011.475
AT ITER 2000 NEW BEST:: SOT 94020 SOS 42467 HAS SOPS 37244 HAS SOUS 19220 HAS SOUPS 17953 WITH SCORE 17995.467
AT ITER 2007 NEW BEST:: SOT 94020 SOS 42489 HAS SOPS 37244 HAS SOUS 19198 HAS SOUPS 17931 WITH SCORE 17973.489
AT ITER 2008 NEW BEST:: SOT 94020 SOS 42413 HAS SOPS 37204 HAS SOUS 19194 HAS SOUPS 17931 WITH SCORE 17973.413
AT ITER 2011 NEW BEST:: SOT 94020 SOS 42413 HAS SOPS 37193 HAS SOUS 19161 HAS SOUPS 17898 WITH SCORE 17940.413
AT ITER 2013 NEW BEST:: SOT 94102 SOS 42491 HAS SOPS 37198 HAS SOUS 19016 HAS SOUPS 17753 WITH SCORE 17795.491
AT ITER 2019 NEW BEST:: SOT 94102 SOS 42491 HAS SOPS 37188 HAS SOUS 19011 HAS SOUPS 17748 WITH SCORE 17790.491
AT ITER 2032 NEW BEST:: SOT 94093 SOS 42482 HAS SOPS 37170 HAS SOUS 18993 HAS SOUPS 17730 WITH SCORE 17772.482
AT ITER 2047 NEW BEST:: SOT 94044 SOS 42426 HAS SOPS 37169 HAS SOUS 18968 HAS SOUPS 17705 WITH SCORE 17747.426
AT ITER 2073 NEW BEST:: SOT 94062 SOS 42438 HAS SOPS 37181 HAS SOUS 18955 HAS SOUPS 17692 WITH SCORE 17734.438
AT ITER 2074 NEW BEST:: SOT 94061 SOS 42437 HAS SOPS 37179 HAS SOUS 18953 HAS SOUPS 17690 WITH SCORE 17732.437
AT ITER 2102 NEW BEST:: SOT 94043 SOS 42509 HAS SOPS 37269 HAS SOUS 18935 HAS SOUPS 17672 WITH SCORE 17714.509
AT ITER 2103 NEW BEST:: SOT 94063 SOS 42529 HAS SOPS 37269 HAS SOUS 18895 HAS SOUPS 17632 WITH SCORE 17674.529
AT ITER 2134 NEW BEST:: SOT 94023 SOS 42448 HAS SOPS 37228 HAS SOUS 18854 HAS SOUPS 17591 WITH SCORE 17633.448
AT ITER 2160 NEW BEST:: SOT 94023 SOS 42440 HAS SOPS 37245 HAS SOUS 18846 HAS SOUPS 17583 WITH SCORE 17625.44
AT ITER 2168 NEW BEST:: SOT 94030 SOS 42350 HAS SOPS 37200 HAS SOUS 18771 HAS SOUPS 17567 WITH SCORE 17609.35
AT ITER 2176 NEW BEST:: SOT 94030 SOS 42346 HAS SOPS 37200 HAS SOUS 18771 HAS SOUPS 17567 WITH SCORE 17609.346
AT ITER 2203 NEW BEST:: SOT 94012 SOS 42328 HAS SOPS 37191 HAS SOUS 18771 HAS SOUPS 17567 WITH SCORE 17609.328
AT ITER 2206 NEW BEST:: SOT 94007 SOS 42323 HAS SOPS 37181 HAS SOUS 18761 HAS SOUPS 17557 WITH SCORE 17599.323
AT ITER 2223 NEW BEST:: SOT 94011 SOS 42361 HAS SOPS 37219 HAS SOUS 18755 HAS SOUPS 17551 WITH SCORE 17593.361
AT ITER 2264 NEW BEST:: SOT 93896 SOS 41592 HAS SOPS 36454 HAS SOUS 18571 HAS SOUPS 17367 WITH SCORE 17408.592
AT ITER 2270 NEW BEST:: SOT 93885 SOS 41551 HAS SOPS 36413 HAS SOUS 18560 HAS SOUPS 17356 WITH SCORE 17397.551
AT ITER 2280 NEW BEST:: SOT 93885 SOS 41534 HAS SOPS 36413 HAS SOUS 18560 HAS SOUPS 17356 WITH SCORE 17397.534
AT ITER 2290 NEW BEST:: SOT 93885 SOS 41534 HAS SOPS 36413 HAS SOUS 18556 HAS SOUPS 17352 WITH SCORE 17393.534
AT ITER 2320 NEW BEST:: SOT 93918 SOS 41536 HAS SOPS 36413 HAS SOUS 18523 HAS SOUPS 17319 WITH SCORE 17360.536
AT ITER 2358 NEW BEST:: SOT 93936 SOS 41559 HAS SOPS 36416 HAS SOUS 18510 HAS SOUPS 17306 WITH SCORE 17347.559
AT ITER 2366 NEW BEST:: SOT 93942 SOS 41561 HAS SOPS 36428 HAS SOUS 18507 HAS SOUPS 17303 WITH SCORE 17344.561
AT ITER 2374 NEW BEST:: SOT 93987 SOS 41606 HAS SOPS 36471 HAS SOUS 18460 HAS SOUPS 17256 WITH SCORE 17297.606
AT ITER 2376 NEW BEST:: SOT 93986 SOS 41605 HAS SOPS 36469 HAS SOUS 18458 HAS SOUPS 17254 WITH SCORE 17295.605
AT ITER 2382 NEW BEST:: SOT 93955 SOS 41319 HAS SOPS 36183 HAS SOUS 18396 HAS SOUPS 17192 WITH SCORE 17233.319
AT ITER 2386 NEW BEST:: SOT 93955 SOS 41314 HAS SOPS 36178 HAS SOUS 18391 HAS SOUPS 17187 WITH SCORE 17228.314
AT ITER 2413 NEW BEST:: SOT 93958 SOS 41310 HAS SOPS 36162 HAS SOUS 18366 HAS SOUPS 17162 WITH SCORE 17203.31
AT ITER 2441 NEW BEST:: SOT 93948 SOS 41300 HAS SOPS 36152 HAS SOUS 18366 HAS SOUPS 17162 WITH SCORE 17203.3
AT ITER 2468 NEW BEST:: SOT 93946 SOS 41288 HAS SOPS 36140 HAS SOUS 18362 HAS SOUPS 17158 WITH SCORE 17199.288
AT ITER 2511 NEW BEST:: SOT 93889 SOS 41419 HAS SOPS 36064 HAS SOUS 18313 HAS SOUPS 17090 WITH SCORE 17131.419
AT ITER 2525 NEW BEST:: SOT 93871 SOS 41395 HAS SOPS 36040 HAS SOUS 18301 HAS SOUPS 17078 WITH SCORE 17119.395
AT ITER 2532 NEW BEST:: SOT 93871 SOS 41376 HAS SOPS 36040 HAS SOUS 18301 HAS SOUPS 17078 WITH SCORE 17119.376
AT ITER 2562 NEW BEST:: SOT 94042 SOS 41545 HAS SOPS 36205 HAS SOUS 18258 HAS SOUPS 17035 WITH SCORE 17076.545
AT ITER 2588 NEW BEST:: SOT 94044 SOS 41541 HAS SOPS 36203 HAS SOUS 18244 HAS SOUPS 17021 WITH SCORE 17062.541
AT ITER 2597 NEW BEST:: SOT 94035 SOS 41523 HAS SOPS 36185 HAS SOUS 18230 HAS SOUPS 17007 WITH SCORE 17048.523
AT ITER 2608 NEW BEST:: SOT 94035 SOS 41522 HAS SOPS 36184 HAS SOUS 18229 HAS SOUPS 17006 WITH SCORE 17047.522
AT ITER 2623 NEW BEST:: SOT 94017 SOS 41505 HAS SOPS 36167 HAS SOUS 18229 HAS SOUPS 17006 WITH SCORE 17047.505
AT ITER 2626 NEW BEST:: SOT 94021 SOS 40836 HAS SOPS 35702 HAS SOUS 18201 HAS SOUPS 17004 WITH SCORE 17044.836
AT ITER 2638 NEW BEST:: SOT 94019 SOS 40834 HAS SOPS 35698 HAS SOUS 18197 HAS SOUPS 17000 WITH SCORE 17040.834
AT ITER 2641 NEW BEST:: SOT 94043 SOS 40858 HAS SOPS 35722 HAS SOUS 18173 HAS SOUPS 16976 WITH SCORE 17016.858
AT ITER 2666 NEW BEST:: SOT 94025 SOS 40840 HAS SOPS 35704 HAS SOUS 18146 HAS SOUPS 16949 WITH SCORE 16989.84
AT ITER 2667 NEW BEST:: SOT 94017 SOS 40832 HAS SOPS 35688 HAS SOUS 18126 HAS SOUPS 16929 WITH SCORE 16969.832
AT ITER 2676 NEW BEST:: SOT 93968 SOS 40783 HAS SOPS 35621 HAS SOUS 18121 HAS SOUPS 16924 WITH SCORE 16964.783
AT ITER 2679 NEW BEST:: SOT 93894 SOS 40702 HAS SOPS 35524 HAS SOUS 18105 HAS SOUPS 16908 WITH SCORE 16948.702
AT ITER 2681 NEW BEST:: SOT 93896 SOS 40715 HAS SOPS 35537 HAS SOUS 18103 HAS SOUPS 16906 WITH SCORE 16946.715
AT ITER 2697 NEW BEST:: SOT 93863 SOS 40682 HAS SOPS 35493 HAS SOUS 18103 HAS SOUPS 16906 WITH SCORE 16946.682
AT ITER 2705 NEW BEST:: SOT 93841 SOS 40843 HAS SOPS 35471 HAS SOUS 18085 HAS SOUPS 16874 WITH SCORE 16914.843
AT ITER 2754 NEW BEST:: SOT 93832 SOS 40834 HAS SOPS 35456 HAS SOUS 18079 HAS SOUPS 16865 WITH SCORE 16905.834
AT ITER 2795 NEW BEST:: SOT 93832 SOS 40823 HAS SOPS 35445 HAS SOUS 18074 HAS SOUPS 16860 WITH SCORE 16900.823
AT ITER 2814 NEW BEST:: SOT 93857 SOS 40848 HAS SOPS 35477 HAS SOUS 18070 HAS SOUPS 16856 WITH SCORE 16896.848
AT ITER 2815 NEW BEST:: SOT 93850 SOS 40818 HAS SOPS 35447 HAS SOUS 18040 HAS SOUPS 16826 WITH SCORE 16866.818
AT ITER 2845 NEW BEST:: SOT 93846 SOS 40810 HAS SOPS 35439 HAS SOUS 18036 HAS SOUPS 16822 WITH SCORE 16862.81
AT ITER 2858 NEW BEST:: SOT 93881 SOS 41147 HAS SOPS 35776 HAS SOUS 18017 HAS SOUPS 16803 WITH SCORE 16844.147
AT ITER 2862 NEW BEST:: SOT 93881 SOS 41146 HAS SOPS 35775 HAS SOUS 18017 HAS SOUPS 16803 WITH SCORE 16844.146
AT ITER 2880 NEW BEST:: SOT 93876 SOS 41167 HAS SOPS 35796 HAS SOUS 18012 HAS SOUPS 16798 WITH SCORE 16839.167
AT ITER 2887 NEW BEST:: SOT 93853 SOS 40852 HAS SOPS 35511 HAS SOUS 17983 HAS SOUPS 16769 WITH SCORE 16809.852
AT ITER 2904 NEW BEST:: SOT 93849 SOS 40844 HAS SOPS 35503 HAS SOUS 17975 HAS SOUPS 16761 WITH SCORE 16801.844
AT ITER 2906 NEW BEST:: SOT 93853 SOS 40876 HAS SOPS 35535 HAS SOUS 17971 HAS SOUPS 16757 WITH SCORE 16797.876
AT ITER 2939 NEW BEST:: SOT 93846 SOS 40806 HAS SOPS 35465 HAS SOUS 17964 HAS SOUPS 16750 WITH SCORE 16790.806
AT ITER 2945 NEW BEST:: SOT 93827 SOS 40869 HAS SOPS 35541 HAS SOUS 17920 HAS SOUPS 16706 WITH SCORE 16746.869
AT ITER 2966 NEW BEST:: SOT 93812 SOS 40854 HAS SOPS 35511 HAS SOUS 17904 HAS SOUPS 16676 WITH SCORE 16716.854
AT ITER 2976 NEW BEST:: SOT 93807 SOS 40553 HAS SOPS 35210 HAS SOUS 17899 HAS SOUPS 16671 WITH SCORE 16711.553
AT ITER 2993 NEW BEST:: SOT 93795 SOS 40589 HAS SOPS 35198 HAS SOUS 17897 HAS SOUPS 16665 WITH SCORE 16705.589
AT ITER 2997 NEW BEST:: SOT 93801 SOS 40589 HAS SOPS 35204 HAS SOUS 17891 HAS SOUPS 16659 WITH SCORE 16699.589
AT ITER 3000 NEW BEST:: SOT 93801 SOS 40612 HAS SOPS 35204 HAS SOUS 17879 HAS SOUPS 16647 WITH SCORE 16687.612
AT ITER 3015 NEW BEST:: SOT 93801 SOS 40610 HAS SOPS 35202 HAS SOUS 17879 HAS SOUPS 16647 WITH SCORE 16687.61
AT ITER 3016 NEW BEST:: SOT 93840 SOS 40630 HAS SOPS 35222 HAS SOUS 17860 HAS SOUPS 16628 WITH SCORE 16668.63
AT ITER 3067 NEW BEST:: SOT 93831 SOS 40401 HAS SOPS 34993 HAS SOUS 17842 HAS SOUPS 16610 WITH SCORE 16650.401
AT ITER 3101 NEW BEST:: SOT 93806 SOS 40368 HAS SOPS 34960 HAS SOUS 17817 HAS SOUPS 16585 WITH SCORE 16625.368
AT ITER 3122 NEW BEST:: SOT 93795 SOS 40346 HAS SOPS 34938 HAS SOUS 17795 HAS SOUPS 16563 WITH SCORE 16603.346
AT ITER 3138 NEW BEST:: SOT 93671 SOS 41127 HAS SOPS 34812 HAS SOUS 17806 HAS SOUPS 16513 WITH SCORE 16554.127
AT ITER 3178 NEW BEST:: SOT 93630 SOS 41073 HAS SOPS 34730 HAS SOUS 17711 HAS SOUPS 16418 WITH SCORE 16459.073
AT ITER 3183 NEW BEST:: SOT 93630 SOS 41070 HAS SOPS 34733 HAS SOUS 17711 HAS SOUPS 16418 WITH SCORE 16459.07
AT ITER 3191 NEW BEST:: SOT 93638 SOS 41078 HAS SOPS 34717 HAS SOUS 17631 HAS SOUPS 16338 WITH SCORE 16379.078
AT ITER 3198 NEW BEST:: SOT 93607 SOS 41109 HAS SOPS 34686 HAS SOUS 17600 HAS SOUPS 16276 WITH SCORE 16317.109
AT ITER 3206 NEW BEST:: SOT 93581 SOS 41075 HAS SOPS 34634 HAS SOUS 17548 HAS SOUPS 16224 WITH SCORE 16265.075
AT ITER 3215 NEW BEST:: SOT 93563 SOS 41073 HAS SOPS 34661 HAS SOUS 17541 HAS SOUPS 16217 WITH SCORE 16258.073
AT ITER 3219 NEW BEST:: SOT 93551 SOS 41027 HAS SOPS 34637 HAS SOUS 17517 HAS SOUPS 16193 WITH SCORE 16234.027
AT ITER 3237 NEW BEST:: SOT 93620 SOS 41081 HAS SOPS 34681 HAS SOUS 17500 HAS SOUPS 16176 WITH SCORE 16217.081
AT ITER 3252 NEW BEST:: SOT 93544 SOS 40663 HAS SOPS 34263 HAS SOUS 17386 HAS SOUPS 16062 WITH SCORE 16102.663
AT ITER 3256 NEW BEST:: SOT 93544 SOS 40654 HAS SOPS 34254 HAS SOUS 17359 HAS SOUPS 16035 WITH SCORE 16075.654
AT ITER 3264 NEW BEST:: SOT 93548 SOS 40658 HAS SOPS 34249 HAS SOUS 17356 HAS SOUPS 16032 WITH SCORE 16072.658
AT ITER 3270 NEW BEST:: SOT 93489 SOS 40599 HAS SOPS 34163 HAS SOUS 17334 HAS SOUPS 16010 WITH SCORE 16050.599
AT ITER 3289 NEW BEST:: SOT 93501 SOS 40599 HAS SOPS 34175 HAS SOUS 17310 HAS SOUPS 15998 WITH SCORE 16038.599
AT ITER 3292 NEW BEST:: SOT 93498 SOS 40568 HAS SOPS 34169 HAS SOUS 17304 HAS SOUPS 15992 WITH SCORE 16032.568
AT ITER 3296 NEW BEST:: SOT 93590 SOS 40614 HAS SOPS 34277 HAS SOUS 17260 HAS SOUPS 15948 WITH SCORE 15988.614
AT ITER 3319 NEW BEST:: SOT 93594 SOS 40618 HAS SOPS 34285 HAS SOUS 17237 HAS SOUPS 15934 WITH SCORE 15974.618
AT ITER 3321 NEW BEST:: SOT 93570 SOS 40582 HAS SOPS 34249 HAS SOUS 17213 HAS SOUPS 15910 WITH SCORE 15950.582
AT ITER 3335 NEW BEST:: SOT 93566 SOS 40628 HAS SOPS 34245 HAS SOUS 17213 HAS SOUPS 15906 WITH SCORE 15946.628
AT ITER 3353 NEW BEST:: SOT 93570 SOS 40628 HAS SOPS 34249 HAS SOUS 17209 HAS SOUPS 15902 WITH SCORE 15942.628
AT ITER 3372 NEW BEST:: SOT 93548 SOS 40606 HAS SOPS 34227 HAS SOUS 17176 HAS SOUPS 15869 WITH SCORE 15909.606
AT ITER 3376 NEW BEST:: SOT 93548 SOS 40578 HAS SOPS 34199 HAS SOUS 17176 HAS SOUPS 15869 WITH SCORE 15909.578
AT ITER 3404 NEW BEST:: SOT 93513 SOS 40548 HAS SOPS 34169 HAS SOUS 17146 HAS SOUPS 15839 WITH SCORE 15879.548
AT ITER 3445 NEW BEST:: SOT 93513 SOS 40548 HAS SOPS 34169 HAS SOUS 17142 HAS SOUPS 15835 WITH SCORE 15875.548
AT ITER 3479 NEW BEST:: SOT 93507 SOS 40536 HAS SOPS 34157 HAS SOUS 17130 HAS SOUPS 15823 WITH SCORE 15863.536
AT ITER 3498 NEW BEST:: SOT 93507 SOS 40536 HAS SOPS 34156 HAS SOUS 17127 HAS SOUPS 15820 WITH SCORE 15860.536
AT ITER 3515 NEW BEST:: SOT 93525 SOS 40517 HAS SOPS 34153 HAS SOUS 17081 HAS SOUPS 15774 WITH SCORE 15814.517
AT ITER 3526 NEW BEST:: SOT 93410 SOS 40903 HAS SOPS 33463 HAS SOUS 17001 HAS SOUPS 15629 WITH SCORE 15669.903
AT ITER 3528 NEW BEST:: SOT 93286 SOS 40745 HAS SOPS 33279 HAS SOUS 16903 HAS SOUPS 15531 WITH SCORE 15571.745
AT ITER 3556 NEW BEST:: SOT 93286 SOS 40745 HAS SOPS 33279 HAS SOUS 16899 HAS SOUPS 15527 WITH SCORE 15567.745
AT ITER 3605 NEW BEST:: SOT 93283 SOS 40742 HAS SOPS 33273 HAS SOUS 16893 HAS SOUPS 15521 WITH SCORE 15561.742
AT ITER 3624 NEW BEST:: SOT 93306 SOS 40763 HAS SOPS 33296 HAS SOUS 16870 HAS SOUPS 15498 WITH SCORE 15538.763
AT ITER 3629 NEW BEST:: SOT 93304 SOS 40761 HAS SOPS 33294 HAS SOUS 16868 HAS SOUPS 15496 WITH SCORE 15536.761
AT ITER 3639 NEW BEST:: SOT 93237 SOS 40732 HAS SOPS 33269 HAS SOUS 16819 HAS SOUPS 15447 WITH SCORE 15487.732
AT ITER 3654 NEW BEST:: SOT 93248 SOS 40759 HAS SOPS 33291 HAS SOUS 16817 HAS SOUPS 15445 WITH SCORE 15485.759
AT ITER 3674 NEW BEST:: SOT 93248 SOS 40703 HAS SOPS 33235 HAS SOUS 16817 HAS SOUPS 15445 WITH SCORE 15485.703
AT ITER 3681 NEW BEST:: SOT 93248 SOS 40695 HAS SOPS 33227 HAS SOUS 16809 HAS SOUPS 15437 WITH SCORE 15477.695
AT ITER 3687 NEW BEST:: SOT 93246 SOS 40693 HAS SOPS 33223 HAS SOUS 16805 HAS SOUPS 15433 WITH SCORE 15473.693
AT ITER 3716 NEW BEST:: SOT 93238 SOS 40685 HAS SOPS 33211 HAS SOUS 16801 HAS SOUPS 15425 WITH SCORE 15465.685
AT ITER 3728 NEW BEST:: SOT 93238 SOS 40682 HAS SOPS 33211 HAS SOUS 16801 HAS SOUPS 15425 WITH SCORE 15465.682
AT ITER 3731 NEW BEST:: SOT 93184 SOS 40628 HAS SOPS 33130 HAS SOUS 16797 HAS SOUPS 15394 WITH SCORE 15434.628
AT ITER 3748 NEW BEST:: SOT 93176 SOS 40608 HAS SOPS 33110 HAS SOUS 16777 HAS SOUPS 15374 WITH SCORE 15414.608
AT ITER 3777 NEW BEST:: SOT 93203 SOS 40635 HAS SOPS 33137 HAS SOUS 16754 HAS SOUPS 15351 WITH SCORE 15391.635
AT ITER 3780 NEW BEST:: SOT 93140 SOS 40504 HAS SOPS 33006 HAS SOUS 16686 HAS SOUPS 15283 WITH SCORE 15323.504
AT ITER 3800 NEW BEST:: SOT 93140 SOS 40503 HAS SOPS 33005 HAS SOUS 16685 HAS SOUPS 15282 WITH SCORE 15322.503
AT ITER 3808 NEW BEST:: SOT 93140 SOS 40499 HAS SOPS 33001 HAS SOUS 16685 HAS SOUPS 15282 WITH SCORE 15322.499
AT ITER 3809 NEW BEST:: SOT 93160 SOS 40525 HAS SOPS 33042 HAS SOUS 16677 HAS SOUPS 15274 WITH SCORE 15314.525
AT ITER 3823 NEW BEST:: SOT 93158 SOS 40431 HAS SOPS 32935 HAS SOUS 16661 HAS SOUPS 15258 WITH SCORE 15298.431
AT ITER 3868 NEW BEST:: SOT 93183 SOS 40456 HAS SOPS 32962 HAS SOUS 16642 HAS SOUPS 15239 WITH SCORE 15279.456
AT ITER 3876 NEW BEST:: SOT 93183 SOS 40447 HAS SOPS 32953 HAS SOUS 16642 HAS SOUPS 15239 WITH SCORE 15279.447
AT ITER 3897 NEW BEST:: SOT 93202 SOS 40455 HAS SOPS 32961 HAS SOUS 16631 HAS SOUPS 15228 WITH SCORE 15268.455
AT ITER 3903 NEW BEST:: SOT 93186 SOS 40439 HAS SOPS 32929 HAS SOUS 16599 HAS SOUPS 15196 WITH SCORE 15236.439
AT ITER 3905 NEW BEST:: SOT 93188 SOS 40441 HAS SOPS 32919 HAS SOUS 16589 HAS SOUPS 15186 WITH SCORE 15226.441
AT ITER 3928 NEW BEST:: SOT 93175 SOS 40415 HAS SOPS 32893 HAS SOUS 16563 HAS SOUPS 15160 WITH SCORE 15200.415
AT ITER 3929 NEW BEST:: SOT 93165 SOS 40315 HAS SOPS 32793 HAS SOUS 16547 HAS SOUPS 15144 WITH SCORE 15184.315
AT ITER 3956 NEW BEST:: SOT 93158 SOS 40331 HAS SOPS 32744 HAS SOUS 16541 HAS SOUPS 15131 WITH SCORE 15171.331
AT ITER 3997 NEW BEST:: SOT 93145 SOS 40395 HAS SOPS 32725 HAS SOUS 16545 HAS SOUPS 15129 WITH SCORE 15169.395
AT ITER 3999 NEW BEST:: SOT 93144 SOS 40380 HAS SOPS 32710 HAS SOUS 16530 HAS SOUPS 15114 WITH SCORE 15154.38
AT ITER 4004 NEW BEST:: SOT 93081 SOS 40394 HAS SOPS 32704 HAS SOUS 16506 HAS SOUPS 15090 WITH SCORE 15130.394
AT ITER 4018 NEW BEST:: SOT 93073 SOS 40414 HAS SOPS 32692 HAS SOUS 16506 HAS SOUPS 15086 WITH SCORE 15126.414
AT ITER 4028 NEW BEST:: SOT 93063 SOS 40399 HAS SOPS 32677 HAS SOUS 16491 HAS SOUPS 15071 WITH SCORE 15111.399
AT ITER 4038 NEW BEST:: SOT 93063 SOS 40399 HAS SOPS 32674 HAS SOUS 16491 HAS SOUPS 15068 WITH SCORE 15108.399
AT ITER 4084 NEW BEST:: SOT 93051 SOS 40405 HAS SOPS 32662 HAS SOUS 16491 HAS SOUPS 15065 WITH SCORE 15105.405
AT ITER 4097 NEW BEST:: SOT 93001 SOS 40380 HAS SOPS 32587 HAS SOUS 16466 HAS SOUPS 15040 WITH SCORE 15080.38
AT ITER 4104 NEW BEST:: SOT 93000 SOS 40379 HAS SOPS 32571 HAS SOUS 16457 HAS SOUPS 15031 WITH SCORE 15071.379
AT ITER 4107 NEW BEST:: SOT 92989 SOS 40357 HAS SOPS 32549 HAS SOUS 16435 HAS SOUPS 15009 WITH SCORE 15049.357
AT ITER 4136 NEW BEST:: SOT 92990 SOS 40285 HAS SOPS 32507 HAS SOUS 16376 HAS SOUPS 14981 WITH SCORE 15021.285
AT ITER 4149 NEW BEST:: SOT 92990 SOS 40271 HAS SOPS 32507 HAS SOUS 16376 HAS SOUPS 14981 WITH SCORE 15021.271
AT ITER 4160 NEW BEST:: SOT 92990 SOS 40271 HAS SOPS 32507 HAS SOUS 16338 HAS SOUPS 14943 WITH SCORE 14983.271
AT ITER 4171 NEW BEST:: SOT 92982 SOS 40263 HAS SOPS 32491 HAS SOUS 16319 HAS SOUPS 14927 WITH SCORE 14967.263
AT ITER 4192 NEW BEST:: SOT 92947 SOS 40169 HAS SOPS 32375 HAS SOUS 16190 HAS SOUPS 14798 WITH SCORE 14838.169
AT ITER 4201 NEW BEST:: SOT 92936 SOS 40154 HAS SOPS 32360 HAS SOUS 16168 HAS SOUPS 14776 WITH SCORE 14816.154
AT ITER 4243 NEW BEST:: SOT 92936 SOS 40172 HAS SOPS 32378 HAS SOUS 16165 HAS SOUPS 14773 WITH SCORE 14813.172
AT ITER 4261 NEW BEST:: SOT 92977 SOS 40213 HAS SOPS 32407 HAS SOUS 16088 HAS SOUPS 14696 WITH SCORE 14736.213
AT ITER 4268 NEW BEST:: SOT 92841 SOS 40263 HAS SOPS 32639 HAS SOUS 16082 HAS SOUPS 14690 WITH SCORE 14730.263
AT ITER 4275 NEW BEST:: SOT 92837 SOS 40291 HAS SOPS 32663 HAS SOUS 16082 HAS SOUPS 14686 WITH SCORE 14726.291
AT ITER 4290 NEW BEST:: SOT 92837 SOS 40254 HAS SOPS 32663 HAS SOUS 16048 HAS SOUPS 14652 WITH SCORE 14692.254
AT ITER 4297 NEW BEST:: SOT 92816 SOS 40234 HAS SOPS 32652 HAS SOUS 16025 HAS SOUPS 14635 WITH SCORE 14675.234
AT ITER 4305 NEW BEST:: SOT 92798 SOS 40216 HAS SOPS 32616 HAS SOUS 15989 HAS SOUPS 14599 WITH SCORE 14639.216
AT ITER 4315 NEW BEST:: SOT 92797 SOS 40208 HAS SOPS 32608 HAS SOUS 15981 HAS SOUPS 14591 WITH SCORE 14631.208
AT ITER 4327 NEW BEST:: SOT 92791 SOS 40202 HAS SOPS 32599 HAS SOUS 15978 HAS SOUPS 14588 WITH SCORE 14628.202
AT ITER 4362 NEW BEST:: SOT 92780 SOS 40202 HAS SOPS 32577 HAS SOUS 15967 HAS SOUPS 14566 WITH SCORE 14606.202
AT ITER 4374 NEW BEST:: SOT 92732 SOS 40142 HAS SOPS 32517 HAS SOUS 15879 HAS SOUPS 14478 WITH SCORE 14518.142
AT ITER 4398 NEW BEST:: SOT 92719 SOS 40108 HAS SOPS 32491 HAS SOUS 15853 HAS SOUPS 14452 WITH SCORE 14492.108
AT ITER 4417 NEW BEST:: SOT 92703 SOS 39914 HAS SOPS 32300 HAS SOUS 15821 HAS SOUPS 14420 WITH SCORE 14459.914
AT ITER 4440 NEW BEST:: SOT 92722 SOS 39933 HAS SOPS 32319 HAS SOUS 15802 HAS SOUPS 14401 WITH SCORE 14440.933
AT ITER 4472 NEW BEST:: SOT 92728 SOS 39968 HAS SOPS 32331 HAS SOUS 15756 HAS SOUPS 14355 WITH SCORE 14394.968
AT ITER 4517 NEW BEST:: SOT 92746 SOS 39959 HAS SOPS 32304 HAS SOUS 15755 HAS SOUPS 14354 WITH SCORE 14393.959
AT ITER 4522 NEW BEST:: SOT 92743 SOS 39956 HAS SOPS 32298 HAS SOUS 15749 HAS SOUPS 14348 WITH SCORE 14387.956
AT ITER 4542 NEW BEST:: SOT 92740 SOS 39953 HAS SOPS 32292 HAS SOUS 15743 HAS SOUPS 14342 WITH SCORE 14381.953
AT ITER 4584 NEW BEST:: SOT 92708 SOS 39941 HAS SOPS 32248 HAS SOUS 15739 HAS SOUPS 14338 WITH SCORE 14377.941
AT ITER 4605 NEW BEST:: SOT 92706 SOS 39759 HAS SOPS 32025 HAS SOUS 15734 HAS SOUPS 14333 WITH SCORE 14372.759
AT ITER 4607 NEW BEST:: SOT 92699 SOS 39745 HAS SOPS 32011 HAS SOUS 15720 HAS SOUPS 14319 WITH SCORE 14358.745
AT ITER 4625 NEW BEST:: SOT 92616 SOS 39662 HAS SOPS 31898 HAS SOUS 15713 HAS SOUPS 14312 WITH SCORE 14351.662
AT ITER 4630 NEW BEST:: SOT 92611 SOS 39652 HAS SOPS 31888 HAS SOUS 15703 HAS SOUPS 14302 WITH SCORE 14341.652
AT ITER 4657 NEW BEST:: SOT 92594 SOS 39635 HAS SOPS 31876 HAS SOUS 15680 HAS SOUPS 14279 WITH SCORE 14318.635
AT ITER 4661 NEW BEST:: SOT 92588 SOS 39587 HAS SOPS 31816 HAS SOUS 15662 HAS SOUPS 14261 WITH SCORE 14300.587
AT ITER 4684 NEW BEST:: SOT 92572 SOS 39475 HAS SOPS 31777 HAS SOUS 15630 HAS SOUPS 14229 WITH SCORE 14268.475
AT ITER 4694 NEW BEST:: SOT 92562 SOS 39465 HAS SOPS 31771 HAS SOUS 15617 HAS SOUPS 14216 WITH SCORE 14255.465
AT ITER 4700 NEW BEST:: SOT 92578 SOS 39468 HAS SOPS 31783 HAS SOUS 15587 HAS SOUPS 14186 WITH SCORE 14225.468
AT ITER 4729 NEW BEST:: SOT 92531 SOS 39361 HAS SOPS 31689 HAS SOUS 15469 HAS SOUPS 14092 WITH SCORE 14131.361
AT ITER 4766 NEW BEST:: SOT 92498 SOS 39308 HAS SOPS 31623 HAS SOUS 15419 HAS SOUPS 14042 WITH SCORE 14081.308
AT ITER 4778 NEW BEST:: SOT 92500 SOS 39308 HAS SOPS 31625 HAS SOUS 15417 HAS SOUPS 14040 WITH SCORE 14079.308
AT ITER 4808 NEW BEST:: SOT 92495 SOS 39091 HAS SOPS 31408 HAS SOUS 15412 HAS SOUPS 14035 WITH SCORE 14074.091
AT ITER 4814 NEW BEST:: SOT 92483 SOS 39049 HAS SOPS 31366 HAS SOUS 15410 HAS SOUPS 14033 WITH SCORE 14072.049
AT ITER 4834 NEW BEST:: SOT 92463 SOS 39029 HAS SOPS 31326 HAS SOUS 15374 HAS SOUPS 13997 WITH SCORE 14036.029
AT ITER 4845 NEW BEST:: SOT 92463 SOS 38957 HAS SOPS 31254 HAS SOUS 15374 HAS SOUPS 13997 WITH SCORE 14035.957
AT ITER 4867 NEW BEST:: SOT 92465 SOS 38937 HAS SOPS 31236 HAS SOUS 15312 HAS SOUPS 13935 WITH SCORE 13973.937
AT ITER 4896 NEW BEST:: SOT 92465 SOS 38930 HAS SOPS 31229 HAS SOUS 15291 HAS SOUPS 13914 WITH SCORE 13952.93
AT ITER 4907 NEW BEST:: SOT 92523 SOS 38940 HAS SOPS 31239 HAS SOUS 15278 HAS SOUPS 13901 WITH SCORE 13939.94
AT ITER 4912 NEW BEST:: SOT 92487 SOS 38922 HAS SOPS 31221 HAS SOUS 15278 HAS SOUPS 13901 WITH SCORE 13939.922
AT ITER 4915 NEW BEST:: SOT 92486 SOS 38920 HAS SOPS 31219 HAS SOUS 15276 HAS SOUPS 13899 WITH SCORE 13937.92
AT ITER 4953 NEW BEST:: SOT 92623 SOS 39008 HAS SOPS 31290 HAS SOUS 15214 HAS SOUPS 13837 WITH SCORE 13876.008
AT ITER 5010 NEW BEST:: SOT 92618 SOS 39003 HAS SOPS 31285 HAS SOUS 15209 HAS SOUPS 13832 WITH SCORE 13871.003
AT ITER 5015 NEW BEST:: SOT 92666 SOS 39051 HAS SOPS 31305 HAS SOUS 15185 HAS SOUPS 13808 WITH SCORE 13847.051
AT ITER 5024 NEW BEST:: SOT 92666 SOS 39041 HAS SOPS 31295 HAS SOUS 15155 HAS SOUPS 13778 WITH SCORE 13817.041
AT ITER 5036 NEW BEST:: SOT 92663 SOS 39059 HAS SOPS 31313 HAS SOUS 15152 HAS SOUPS 13775 WITH SCORE 13814.059
AT ITER 5060 NEW BEST:: SOT 92648 SOS 39044 HAS SOPS 31303 HAS SOUS 15132 HAS SOUPS 13755 WITH SCORE 13794.044
AT ITER 5067 NEW BEST:: SOT 92631 SOS 39226 HAS SOPS 31485 HAS SOUS 15115 HAS SOUPS 13738 WITH SCORE 13777.226
AT ITER 5068 NEW BEST:: SOT 92617 SOS 39212 HAS SOPS 31464 HAS SOUS 15111 HAS SOUPS 13731 WITH SCORE 13770.212
AT ITER 5168 NEW BEST:: SOT 92613 SOS 39186 HAS SOPS 31428 HAS SOUS 15101 HAS SOUPS 13721 WITH SCORE 13760.186
AT ITER 5193 NEW BEST:: SOT 92611 SOS 39184 HAS SOPS 31424 HAS SOUS 15108 HAS SOUPS 13717 WITH SCORE 13756.184
AT ITER 5219 NEW BEST:: SOT 92604 SOS 39170 HAS SOPS 31410 HAS SOUS 15102 HAS SOUPS 13711 WITH SCORE 13750.17
AT ITER 5228 NEW BEST:: SOT 92604 SOS 39494 HAS SOPS 31410 HAS SOUS 15102 HAS SOUPS 13693 WITH SCORE 13732.494
AT ITER 5231 NEW BEST:: SOT 92598 SOS 39444 HAS SOPS 31360 HAS SOUS 15090 HAS SOUPS 13681 WITH SCORE 13720.444
AT ITER 5264 NEW BEST:: SOT 92593 SOS 39409 HAS SOPS 31308 HAS SOUS 15074 HAS SOUPS 13665 WITH SCORE 13704.409
AT ITER 5314 NEW BEST:: SOT 92554 SOS 39370 HAS SOPS 31251 HAS SOUS 15059 HAS SOUPS 13650 WITH SCORE 13689.37
AT ITER 5318 NEW BEST:: SOT 92558 SOS 39370 HAS SOPS 31251 HAS SOUS 15051 HAS SOUPS 13642 WITH SCORE 13681.37
AT ITER 5320 NEW BEST:: SOT 92585 SOS 39356 HAS SOPS 31237 HAS SOUS 15010 HAS SOUPS 13601 WITH SCORE 13640.356
AT ITER 5333 NEW BEST:: SOT 92585 SOS 39332 HAS SOPS 31237 HAS SOUS 15010 HAS SOUPS 13601 WITH SCORE 13640.332
AT ITER 5340 NEW BEST:: SOT 92552 SOS 39354 HAS SOPS 31196 HAS SOUS 14982 HAS SOUPS 13565 WITH SCORE 13604.354
AT ITER 5354 NEW BEST:: SOT 92548 SOS 39350 HAS SOPS 31188 HAS SOUS 14974 HAS SOUPS 13557 WITH SCORE 13596.35
AT ITER 5371 NEW BEST:: SOT 92539 SOS 39323 HAS SOPS 31170 HAS SOUS 14974 HAS SOUPS 13557 WITH SCORE 13596.323
AT ITER 5374 NEW BEST:: SOT 92530 SOS 39314 HAS SOPS 31174 HAS SOUS 14967 HAS SOUPS 13550 WITH SCORE 13589.314
AT ITER 5389 NEW BEST:: SOT 92505 SOS 39282 HAS SOPS 31145 HAS SOUS 14959 HAS SOUPS 13542 WITH SCORE 13581.282
AT ITER 5402 NEW BEST:: SOT 92524 SOS 39301 HAS SOPS 31166 HAS SOUS 14946 HAS SOUPS 13529 WITH SCORE 13568.301
AT ITER 5418 NEW BEST:: SOT 92523 SOS 39299 HAS SOPS 31164 HAS SOUS 14944 HAS SOUPS 13527 WITH SCORE 13566.299
AT ITER 5437 NEW BEST:: SOT 92525 SOS 39227 HAS SOPS 31092 HAS SOUS 14943 HAS SOUPS 13526 WITH SCORE 13565.227
AT ITER 5468 NEW BEST:: SOT 92417 SOS 39270 HAS SOPS 30984 HAS SOUS 14936 HAS SOUPS 13501 WITH SCORE 13540.27
AT ITER 5490 NEW BEST:: SOT 92403 SOS 39256 HAS SOPS 30964 HAS SOUS 14932 HAS SOUPS 13497 WITH SCORE 13536.256
AT ITER 5529 NEW BEST:: SOT 92407 SOS 39260 HAS SOPS 30972 HAS SOUS 14928 HAS SOUPS 13493 WITH SCORE 13532.26
AT ITER 5543 NEW BEST:: SOT 92467 SOS 39293 HAS SOPS 31005 HAS SOUS 14905 HAS SOUPS 13470 WITH SCORE 13509.293
AT ITER 5567 NEW BEST:: SOT 92475 SOS 39304 HAS SOPS 31004 HAS SOUS 14883 HAS SOUPS 13448 WITH SCORE 13487.304
AT ITER 5588 NEW BEST:: SOT 92483 SOS 39312 HAS SOPS 31013 HAS SOUS 14879 HAS SOUPS 13445 WITH SCORE 13484.312
AT ITER 5605 NEW BEST:: SOT 92465 SOS 39294 HAS SOPS 31004 HAS SOUS 14879 HAS SOUPS 13445 WITH SCORE 13484.294
AT ITER 5607 NEW BEST:: SOT 92425 SOS 39294 HAS SOPS 31014 HAS SOUS 14849 HAS SOUPS 13415 WITH SCORE 13454.294
AT ITER 5618 NEW BEST:: SOT 92423 SOS 39291 HAS SOPS 31011 HAS SOUS 14846 HAS SOUPS 13412 WITH SCORE 13451.291
AT ITER 5633 NEW BEST:: SOT 92425 SOS 39527 HAS SOPS 31013 HAS SOUS 14850 HAS SOUPS 13403 WITH SCORE 13442.527
AT ITER 5640 NEW BEST:: SOT 92405 SOS 39543 HAS SOPS 30989 HAS SOUS 14850 HAS SOUPS 13399 WITH SCORE 13438.543
AT ITER 5659 NEW BEST:: SOT 92408 SOS 39546 HAS SOPS 30974 HAS SOUS 14835 HAS SOUPS 13384 WITH SCORE 13423.546
AT ITER 5676 NEW BEST:: SOT 92407 SOS 39545 HAS SOPS 30972 HAS SOUS 14833 HAS SOUPS 13382 WITH SCORE 13421.545
AT ITER 5680 NEW BEST:: SOT 92387 SOS 39534 HAS SOPS 30962 HAS SOUS 14833 HAS SOUPS 13382 WITH SCORE 13421.534
AT ITER 5683 NEW BEST:: SOT 92292 SOS 39277 HAS SOPS 30772 HAS SOUS 14779 HAS SOUPS 13342 WITH SCORE 13381.277
AT ITER 5731 NEW BEST:: SOT 92280 SOS 39160 HAS SOPS 30655 HAS SOUS 14758 HAS SOUPS 13321 WITH SCORE 13360.16
AT ITER 5734 NEW BEST:: SOT 92278 SOS 39159 HAS SOPS 30654 HAS SOUS 14757 HAS SOUPS 13320 WITH SCORE 13359.159
AT ITER 5740 NEW BEST:: SOT 92287 SOS 39168 HAS SOPS 30650 HAS SOUS 14756 HAS SOUPS 13319 WITH SCORE 13358.168
AT ITER 5746 NEW BEST:: SOT 92300 SOS 39168 HAS SOPS 30663 HAS SOUS 14743 HAS SOUPS 13306 WITH SCORE 13345.168
AT ITER 5875 NEW BEST:: SOT 92286 SOS 39154 HAS SOPS 30642 HAS SOUS 14736 HAS SOUPS 13299 WITH SCORE 13338.154
AT ITER 5876 NEW BEST:: SOT 92273 SOS 39137 HAS SOPS 30625 HAS SOUS 14723 HAS SOUPS 13286 WITH SCORE 13325.137
AT ITER 5994 NEW BEST:: SOT 92272 SOS 39136 HAS SOPS 30623 HAS SOUS 14721 HAS SOUPS 13284 WITH SCORE 13323.136
AT ITER 6064 NEW BEST:: SOT 92268 SOS 39130 HAS SOPS 30617 HAS SOUS 14715 HAS SOUPS 13278 WITH SCORE 13317.13
AT ITER 6090 NEW BEST:: SOT 92237 SOS 39112 HAS SOPS 30555 HAS SOUS 14667 HAS SOUPS 13216 WITH SCORE 13255.112
AT ITER 6120 NEW BEST:: SOT 92237 SOS 39102 HAS SOPS 30545 HAS SOUS 14657 HAS SOUPS 13206 WITH SCORE 13245.102
AT ITER 6144 NEW BEST:: SOT 92232 SOS 39092 HAS SOPS 30540 HAS SOUS 14652 HAS SOUPS 13201 WITH SCORE 13240.092
AT ITER 6145 NEW BEST:: SOT 92232 SOS 39092 HAS SOPS 30540 HAS SOUS 14634 HAS SOUPS 13183 WITH SCORE 13222.092
AT ITER 6148 NEW BEST:: SOT 92230 SOS 39088 HAS SOPS 30536 HAS SOUS 14632 HAS SOUPS 13181 WITH SCORE 13220.088
AT ITER 6156 NEW BEST:: SOT 92176 SOS 39160 HAS SOPS 30469 HAS SOUS 14649 HAS SOUPS 13179 WITH SCORE 13218.16
AT ITER 6167 NEW BEST:: SOT 92185 SOS 39169 HAS SOPS 30478 HAS SOUS 14640 HAS SOUPS 13170 WITH SCORE 13209.169
AT ITER 6171 NEW BEST:: SOT 92185 SOS 39172 HAS SOPS 30481 HAS SOUS 14639 HAS SOUPS 13169 WITH SCORE 13208.172
AT ITER 6191 NEW BEST:: SOT 92183 SOS 39156 HAS SOPS 30465 HAS SOUS 14637 HAS SOUPS 13167 WITH SCORE 13206.156
AT ITER 6197 NEW BEST:: SOT 92153 SOS 39126 HAS SOPS 30422 HAS SOUS 14628 HAS SOUPS 13158 WITH SCORE 13197.126
AT ITER 6212 NEW BEST:: SOT 92149 SOS 39122 HAS SOPS 30416 HAS SOUS 14626 HAS SOUPS 13156 WITH SCORE 13195.122
AT ITER 6227 NEW BEST:: SOT 92127 SOS 39090 HAS SOPS 30384 HAS SOUS 14616 HAS SOUPS 13146 WITH SCORE 13185.09
AT ITER 6232 NEW BEST:: SOT 92126 SOS 39089 HAS SOPS 30382 HAS SOUS 14614 HAS SOUPS 13144 WITH SCORE 13183.089
AT ITER 6246 NEW BEST:: SOT 92124 SOS 39087 HAS SOPS 30378 HAS SOUS 14610 HAS SOUPS 13140 WITH SCORE 13179.087
AT ITER 6288 NEW BEST:: SOT 92119 SOS 39112 HAS SOPS 30403 HAS SOUS 14608 HAS SOUPS 13138 WITH SCORE 13177.112
AT ITER 6308 NEW BEST:: SOT 92109 SOS 39202 HAS SOPS 30516 HAS SOUS 14601 HAS SOUPS 13131 WITH SCORE 13170.202
AT ITER 6435 NEW BEST:: SOT 92115 SOS 39208 HAS SOPS 30523 HAS SOUS 14598 HAS SOUPS 13128 WITH SCORE 13167.208
AT ITER 6443 NEW BEST:: SOT 92115 SOS 39206 HAS SOPS 30521 HAS SOUS 14592 HAS SOUPS 13122 WITH SCORE 13161.206
AT ITER 6484 NEW BEST:: SOT 92159 SOS 39250 HAS SOPS 30575 HAS SOUS 14578 HAS SOUPS 13108 WITH SCORE 13147.25
AT ITER 6499 NEW BEST:: SOT 92161 SOS 39250 HAS SOPS 30577 HAS SOUS 14574 HAS SOUPS 13106 WITH SCORE 13145.25
AT ITER 6505 NEW BEST:: SOT 92200 SOS 39256 HAS SOPS 30622 HAS SOUS 14553 HAS SOUPS 13085 WITH SCORE 13124.256
AT ITER 6515 NEW BEST:: SOT 92176 SOS 39210 HAS SOPS 30576 HAS SOUS 14508 HAS SOUPS 13040 WITH SCORE 13079.21
AT ITER 6542 NEW BEST:: SOT 92175 SOS 39205 HAS SOPS 30568 HAS SOUS 14506 HAS SOUPS 13038 WITH SCORE 13077.205
AT ITER 6544 NEW BEST:: SOT 92172 SOS 39184 HAS SOPS 30547 HAS SOUS 14500 HAS SOUPS 13032 WITH SCORE 13071.184
AT ITER 6550 NEW BEST:: SOT 92176 SOS 39182 HAS SOPS 30545 HAS SOUS 14498 HAS SOUPS 13030 WITH SCORE 13069.182
AT ITER 6603 NEW BEST:: SOT 92180 SOS 39186 HAS SOPS 30549 HAS SOUS 14494 HAS SOUPS 13026 WITH SCORE 13065.186
AT ITER 6604 NEW BEST:: SOT 92180 SOS 39175 HAS SOPS 30549 HAS SOUS 14494 HAS SOUPS 13026 WITH SCORE 13065.175
AT ITER 6671 NEW BEST:: SOT 92182 SOS 39193 HAS SOPS 30567 HAS SOUS 14492 HAS SOUPS 13024 WITH SCORE 13063.193
AT ITER 6752 NEW BEST:: SOT 92182 SOS 39193 HAS SOPS 30567 HAS SOUS 14491 HAS SOUPS 13023 WITH SCORE 13062.193
AT ITER 6791 NEW BEST:: SOT 92137 SOS 39148 HAS SOPS 30492 HAS SOUS 14446 HAS SOUPS 12978 WITH SCORE 13017.148
AT ITER 6792 NEW BEST:: SOT 92137 SOS 39226 HAS SOPS 30583 HAS SOUS 14445 HAS SOUPS 12977 WITH SCORE 13016.226
AT ITER 6808 NEW BEST:: SOT 92137 SOS 39224 HAS SOPS 30581 HAS SOUS 14443 HAS SOUPS 12975 WITH SCORE 13014.224
AT ITER 6826 NEW BEST:: SOT 92135 SOS 39222 HAS SOPS 30577 HAS SOUS 14439 HAS SOUPS 12971 WITH SCORE 13010.222
AT ITER 6864 NEW BEST:: SOT 92136 SOS 39223 HAS SOPS 30578 HAS SOUS 14438 HAS SOUPS 12970 WITH SCORE 13009.223
AT ITER 6893 NEW BEST:: SOT 92144 SOS 39231 HAS SOPS 30586 HAS SOUS 14430 HAS SOUPS 12962 WITH SCORE 13001.231
AT ITER 6939 NEW BEST:: SOT 92123 SOS 39035 HAS SOPS 30390 HAS SOUS 14402 HAS SOUPS 12934 WITH SCORE 12973.035
AT ITER 6952 NEW BEST:: SOT 92122 SOS 39034 HAS SOPS 30388 HAS SOUS 14400 HAS SOUPS 12932 WITH SCORE 12971.034
AT ITER 6977 NEW BEST:: SOT 92122 SOS 39034 HAS SOPS 30382 HAS SOUS 14382 HAS SOUPS 12914 WITH SCORE 12953.034
AT ITER 6982 NEW BEST:: SOT 92122 SOS 39034 HAS SOPS 30382 HAS SOUS 14380 HAS SOUPS 12912 WITH SCORE 12951.034
AT ITER 7080 NEW BEST:: SOT 92142 SOS 39038 HAS SOPS 30386 HAS SOUS 14358 HAS SOUPS 12890 WITH SCORE 12929.038
AT ITER 7090 NEW BEST:: SOT 92139 SOS 39033 HAS SOPS 30381 HAS SOUS 14358 HAS SOUPS 12890 WITH SCORE 12929.033
AT ITER 7102 NEW BEST:: SOT 92136 SOS 39030 HAS SOPS 30375 HAS SOUS 14358 HAS SOUPS 12890 WITH SCORE 12929.03
AT ITER 7138 NEW BEST:: SOT 92129 SOS 39023 HAS SOPS 30368 HAS SOUS 14351 HAS SOUPS 12883 WITH SCORE 12922.023
AT ITER 7182 NEW BEST:: SOT 92135 SOS 39029 HAS SOPS 30374 HAS SOUS 14345 HAS SOUPS 12877 WITH SCORE 12916.029
AT ITER 7185 NEW BEST:: SOT 92118 SOS 38995 HAS SOPS 30340 HAS SOUS 14311 HAS SOUPS 12843 WITH SCORE 12881.995
AT ITER 7194 NEW BEST:: SOT 92123 SOS 38858 HAS SOPS 30203 HAS SOUS 14307 HAS SOUPS 12839 WITH SCORE 12877.858
AT ITER 7220 NEW BEST:: SOT 92111 SOS 38849 HAS SOPS 30194 HAS SOUS 14298 HAS SOUPS 12830 WITH SCORE 12868.849
AT ITER 7229 NEW BEST:: SOT 92111 SOS 38839 HAS SOPS 30194 HAS SOUS 14298 HAS SOUPS 12830 WITH SCORE 12868.839
AT ITER 7236 NEW BEST:: SOT 92101 SOS 38829 HAS SOPS 30179 HAS SOUS 14293 HAS SOUPS 12825 WITH SCORE 12863.829
AT ITER 7318 NEW BEST:: SOT 92102 SOS 38794 HAS SOPS 30118 HAS SOUS 14277 HAS SOUPS 12809 WITH SCORE 12847.794
AT ITER 7323 NEW BEST:: SOT 92088 SOS 38780 HAS SOPS 30097 HAS SOUS 14270 HAS SOUPS 12802 WITH SCORE 12840.78
AT ITER 7356 NEW BEST:: SOT 92088 SOS 38764 HAS SOPS 30097 HAS SOUS 14270 HAS SOUPS 12802 WITH SCORE 12840.764
AT ITER 7371 NEW BEST:: SOT 92134 SOS 38824 HAS SOPS 30145 HAS SOUS 14250 HAS SOUPS 12782 WITH SCORE 12820.824
AT ITER 7405 NEW BEST:: SOT 92134 SOS 38824 HAS SOPS 30145 HAS SOUS 14238 HAS SOUPS 12770 WITH SCORE 12808.824
AT ITER 7448 NEW BEST:: SOT 92130 SOS 38822 HAS SOPS 30139 HAS SOUS 14236 HAS SOUPS 12768 WITH SCORE 12806.822
AT ITER 7475 NEW BEST:: SOT 92121 SOS 38738 HAS SOPS 30055 HAS SOUS 14224 HAS SOUPS 12756 WITH SCORE 12794.738
AT ITER 7493 NEW BEST:: SOT 92118 SOS 38783 HAS SOPS 30052 HAS SOUS 14224 HAS SOUPS 12753 WITH SCORE 12791.783
AT ITER 7564 NEW BEST:: SOT 92120 SOS 38785 HAS SOPS 30056 HAS SOUS 14220 HAS SOUPS 12749 WITH SCORE 12787.785
AT ITER 7577 NEW BEST:: SOT 92116 SOS 38779 HAS SOPS 30050 HAS SOUS 14214 HAS SOUPS 12743 WITH SCORE 12781.779
AT ITER 7623 NEW BEST:: SOT 92114 SOS 38777 HAS SOPS 30046 HAS SOUS 14210 HAS SOUPS 12739 WITH SCORE 12777.777
AT ITER 7676 NEW BEST:: SOT 92114 SOS 38768 HAS SOPS 30046 HAS SOUS 14210 HAS SOUPS 12739 WITH SCORE 12777.768
AT ITER 7710 NEW BEST:: SOT 92181 SOS 38855 HAS SOPS 30097 HAS SOUS 14197 HAS SOUPS 12726 WITH SCORE 12764.855
AT ITER 7734 NEW BEST:: SOT 92161 SOS 38845 HAS SOPS 30092 HAS SOUS 14176 HAS SOUPS 12705 WITH SCORE 12743.845
AT ITER 7743 NEW BEST:: SOT 92101 SOS 38785 HAS SOPS 29992 HAS SOUS 14123 HAS SOUPS 12645 WITH SCORE 12683.785
AT ITER 7771 NEW BEST:: SOT 92081 SOS 38745 HAS SOPS 29952 HAS SOUS 14119 HAS SOUPS 12641 WITH SCORE 12679.745
AT ITER 7784 NEW BEST:: SOT 92074 SOS 38791 HAS SOPS 29998 HAS SOUS 14109 HAS SOUPS 12631 WITH SCORE 12669.791
AT ITER 7851 NEW BEST:: SOT 92036 SOS 38744 HAS SOPS 29955 HAS SOUS 14054 HAS SOUPS 12576 WITH SCORE 12614.744
AT ITER 7865 NEW BEST:: SOT 92034 SOS 38742 HAS SOPS 29951 HAS SOUS 14050 HAS SOUPS 12572 WITH SCORE 12610.742
AT ITER 7869 NEW BEST:: SOT 92051 SOS 38759 HAS SOPS 29972 HAS SOUS 14045 HAS SOUPS 12567 WITH SCORE 12605.759
AT ITER 7920 NEW BEST:: SOT 91982 SOS 38990 HAS SOPS 29903 HAS SOUS 14035 HAS SOUPS 12528 WITH SCORE 12566.99
AT ITER 7933 NEW BEST:: SOT 91966 SOS 38989 HAS SOPS 29871 HAS SOUS 14019 HAS SOUPS 12496 WITH SCORE 12534.989
AT ITER 8062 NEW BEST:: SOT 91958 SOS 38981 HAS SOPS 29860 HAS SOUS 14021 HAS SOUPS 12495 WITH SCORE 12533.981
AT ITER 8081 NEW BEST:: SOT 91947 SOS 38970 HAS SOPS 29849 HAS SOUS 14010 HAS SOUPS 12484 WITH SCORE 12522.97
AT ITER 8092 NEW BEST:: SOT 91945 SOS 38968 HAS SOPS 29847 HAS SOUS 14008 HAS SOUPS 12482 WITH SCORE 12520.968
AT ITER 8145 NEW BEST:: SOT 91948 SOS 38971 HAS SOPS 29850 HAS SOUS 14005 HAS SOUPS 12479 WITH SCORE 12517.971
AT ITER 8193 NEW BEST:: SOT 91955 SOS 38968 HAS SOPS 29851 HAS SOUS 13980 HAS SOUPS 12454 WITH SCORE 12492.968
AT ITER 8293 NEW BEST:: SOT 91954 SOS 38965 HAS SOPS 29849 HAS SOUS 13978 HAS SOUPS 12452 WITH SCORE 12490.965
AT ITER 8304 NEW BEST:: SOT 91939 SOS 38955 HAS SOPS 29839 HAS SOUS 13963 HAS SOUPS 12437 WITH SCORE 12475.955
AT ITER 8381 NEW BEST:: SOT 91883 SOS 38899 HAS SOPS 29756 HAS SOUS 13938 HAS SOUPS 12412 WITH SCORE 12450.899
AT ITER 8422 NEW BEST:: SOT 91874 SOS 38890 HAS SOPS 29742 HAS SOUS 13936 HAS SOUPS 12406 WITH SCORE 12444.89
AT ITER 8433 NEW BEST:: SOT 91874 SOS 38879 HAS SOPS 29731 HAS SOUS 13936 HAS SOUPS 12406 WITH SCORE 12444.879
AT ITER 8462 NEW BEST:: SOT 91826 SOS 39197 HAS SOPS 29672 HAS SOUS 13944 HAS SOUPS 12389 WITH SCORE 12428.197
AT ITER 8476 NEW BEST:: SOT 91831 SOS 39237 HAS SOPS 29712 HAS SOUS 13939 HAS SOUPS 12384 WITH SCORE 12423.237
AT ITER 8539 NEW BEST:: SOT 91831 SOS 39207 HAS SOPS 29712 HAS SOUS 13939 HAS SOUPS 12384 WITH SCORE 12423.207
AT ITER 8572 NEW BEST:: SOT 91823 SOS 39199 HAS SOPS 29700 HAS SOUS 13935 HAS SOUPS 12380 WITH SCORE 12419.199
AT ITER 8579 NEW BEST:: SOT 91832 SOS 39208 HAS SOPS 29710 HAS SOUS 13923 HAS SOUPS 12374 WITH SCORE 12413.208
AT ITER 8619 NEW BEST:: SOT 91832 SOS 39192 HAS SOPS 29710 HAS SOUS 13923 HAS SOUPS 12374 WITH SCORE 12413.192
AT ITER 8648 NEW BEST:: SOT 91827 SOS 39187 HAS SOPS 29700 HAS SOUS 13913 HAS SOUPS 12364 WITH SCORE 12403.187
AT ITER 8650 NEW BEST:: SOT 91826 SOS 39186 HAS SOPS 29698 HAS SOUS 13911 HAS SOUPS 12362 WITH SCORE 12401.186
AT ITER 8670 NEW BEST:: SOT 91818 SOS 39178 HAS SOPS 29686 HAS SOUS 13907 HAS SOUPS 12358 WITH SCORE 12397.178
AT ITER 8700 NEW BEST:: SOT 91824 SOS 39184 HAS SOPS 29692 HAS SOUS 13901 HAS SOUPS 12352 WITH SCORE 12391.184
AT ITER 8704 NEW BEST:: SOT 91814 SOS 39174 HAS SOPS 29682 HAS SOUS 13891 HAS SOUPS 12342 WITH SCORE 12381.174
AT ITER 8747 NEW BEST:: SOT 91814 SOS 39165 HAS SOPS 29682 HAS SOUS 13891 HAS SOUPS 12342 WITH SCORE 12381.165
AT ITER 8765 NEW BEST:: SOT 91826 SOS 39113 HAS SOPS 29626 HAS SOUS 13888 HAS SOUPS 12339 WITH SCORE 12378.113
AT ITER 8818 NEW BEST:: SOT 91752 SOS 39039 HAS SOPS 29524 HAS SOUS 13878 HAS SOUPS 12329 WITH SCORE 12368.039
AT ITER 8829 NEW BEST:: SOT 91689 SOS 39347 HAS SOPS 29431 HAS SOUS 13818 HAS SOUPS 12239 WITH SCORE 12278.347
AT ITER 8889 NEW BEST:: SOT 91688 SOS 39350 HAS SOPS 29431 HAS SOUS 13818 HAS SOUPS 12237 WITH SCORE 12276.35
AT ITER 8904 NEW BEST:: SOT 91699 SOS 39361 HAS SOPS 29442 HAS SOUS 13807 HAS SOUPS 12226 WITH SCORE 12265.361
AT ITER 8960 NEW BEST:: SOT 91694 SOS 39367 HAS SOPS 29443 HAS SOUS 13802 HAS SOUPS 12221 WITH SCORE 12260.367
AT ITER 8980 NEW BEST:: SOT 91702 SOS 39265 HAS SOPS 29316 HAS SOUS 13769 HAS SOUPS 12188 WITH SCORE 12227.265
AT ITER 9009 NEW BEST:: SOT 91698 SOS 39261 HAS SOPS 29310 HAS SOUS 13767 HAS SOUPS 12186 WITH SCORE 12225.261
AT ITER 9036 NEW BEST:: SOT 91698 SOS 39257 HAS SOPS 29306 HAS SOUS 13767 HAS SOUPS 12186 WITH SCORE 12225.257
AT ITER 9073 NEW BEST:: SOT 91697 SOS 39254 HAS SOPS 29303 HAS SOUS 13764 HAS SOUPS 12183 WITH SCORE 12222.254
AT ITER 9086 NEW BEST:: SOT 91685 SOS 39271 HAS SOPS 29320 HAS SOUS 13752 HAS SOUPS 12171 WITH SCORE 12210.271
AT ITER 9100 NEW BEST:: SOT 91703 SOS 39289 HAS SOPS 29342 HAS SOUS 13746 HAS SOUPS 12165 WITH SCORE 12204.289
AT ITER 9111 NEW BEST:: SOT 91732 SOS 39318 HAS SOPS 29374 HAS SOUS 13726 HAS SOUPS 12145 WITH SCORE 12184.318
AT ITER 9149 NEW BEST:: SOT 91734 SOS 39298 HAS SOPS 29376 HAS SOUS 13715 HAS SOUPS 12136 WITH SCORE 12175.298
AT ITER 9199 NEW BEST:: SOT 91717 SOS 39281 HAS SOPS 29353 HAS SOUS 13720 HAS SOUPS 12135 WITH SCORE 12174.281
AT ITER 9303 NEW BEST:: SOT 91720 SOS 39280 HAS SOPS 29352 HAS SOUS 13719 HAS SOUPS 12134 WITH SCORE 12173.28
AT ITER 9305 NEW BEST:: SOT 91695 SOS 39541 HAS SOPS 29535 HAS SOUS 13717 HAS SOUPS 12119 WITH SCORE 12158.541
AT ITER 9433 NEW BEST:: SOT 91708 SOS 39554 HAS SOPS 29550 HAS SOUS 13710 HAS SOUPS 12112 WITH SCORE 12151.554
AT ITER 9445 NEW BEST:: SOT 91692 SOS 39474 HAS SOPS 29470 HAS SOUS 13710 HAS SOUPS 12112 WITH SCORE 12151.474
AT ITER 9463 NEW BEST:: SOT 91689 SOS 39468 HAS SOPS 29464 HAS SOUS 13704 HAS SOUPS 12106 WITH SCORE 12145.468
AT ITER 9473 NEW BEST:: SOT 91684 SOS 39463 HAS SOPS 29454 HAS SOUS 13694 HAS SOUPS 12096 WITH SCORE 12135.463
AT ITER 9475 NEW BEST:: SOT 91682 SOS 39447 HAS SOPS 29450 HAS SOUS 13674 HAS SOUPS 12076 WITH SCORE 12115.447
AT ITER 9524 NEW BEST:: SOT 91656 SOS 39499 HAS SOPS 29502 HAS SOUS 13661 HAS SOUPS 12063 WITH SCORE 12102.499
AT ITER 9534 NEW BEST:: SOT 91648 SOS 39485 HAS SOPS 29488 HAS SOUS 13659 HAS SOUPS 12061 WITH SCORE 12100.485
AT ITER 9541 NEW BEST:: SOT 91643 SOS 39480 HAS SOPS 29483 HAS SOUS 13654 HAS SOUPS 12056 WITH SCORE 12095.48
AT ITER 9624 NEW BEST:: SOT 91645 SOS 39482 HAS SOPS 29485 HAS SOUS 13652 HAS SOUPS 12054 WITH SCORE 12093.482
AT ITER 9668 NEW BEST:: SOT 91663 SOS 40074 HAS SOPS 28999 HAS SOUS 13708 HAS SOUPS 12049 WITH SCORE 12089.074
AT ITER 9707 NEW BEST:: SOT 91651 SOS 40008 HAS SOPS 28939 HAS SOUS 13708 HAS SOUPS 12049 WITH SCORE 12089.008
AT ITER 9708 NEW BEST:: SOT 91681 SOS 40030 HAS SOPS 28961 HAS SOUS 13705 HAS SOUPS 12046 WITH SCORE 12086.03
AT ITER 9767 NEW BEST:: SOT 91665 SOS 40243 HAS SOPS 28675 HAS SOUS 13712 HAS SOUPS 12023 WITH SCORE 12063.243
AT ITER 9770 NEW BEST:: SOT 91672 SOS 40574 HAS SOPS 28672 HAS SOUS 13726 HAS SOUPS 12019 WITH SCORE 12059.574
AT ITER 9775 NEW BEST:: SOT 91672 SOS 40573 HAS SOPS 28671 HAS SOUS 13726 HAS SOUPS 12019 WITH SCORE 12059.573
AT ITER 9813 NEW BEST:: SOT 91666 SOS 40567 HAS SOPS 28659 HAS SOUS 13714 HAS SOUPS 12007 WITH SCORE 12047.567
AT ITER 9844 NEW BEST:: SOT 91666 SOS 40618 HAS SOPS 28656 HAS SOUS 13714 HAS SOUPS 12004 WITH SCORE 12044.618
AT ITER 9889 NEW BEST:: SOT 91666 SOS 40617 HAS SOPS 28655 HAS SOUS 13714 HAS SOUPS 12004 WITH SCORE 12044.617
AT ITER 9898 NEW BEST:: SOT 91651 SOS 40602 HAS SOPS 28633 HAS SOUS 13708 HAS SOUPS 11998 WITH SCORE 12038.602
AT ITER 9927 NEW BEST:: SOT 91649 SOS 40600 HAS SOPS 28630 HAS SOUS 13707 HAS SOUPS 11997 WITH SCORE 12037.6
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 167992 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16251916 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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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="CANConstruction-PT-010"
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 CANConstruction-PT-010, 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 r043-tajo-167813697100624"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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