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.r011-oct2-167813600700760.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 BART-PT-002, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600700760
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.4M
-rw-r--r-- 1 mcc users 191K Feb 26 04:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 715K Feb 26 04:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 206K Feb 26 03:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 693K Feb 26 03:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 105K Feb 25 15:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 280K Feb 25 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 58K Feb 25 15:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 156K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 479K Feb 26 04:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.8M Feb 26 04:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 273K Feb 26 04:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 930K Feb 26 04:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 21K Feb 25 15:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 41K Feb 25 15:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 534K 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 1678743657804

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=BART-PT-002
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 21:41:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 21:41:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 21:41:00] [INFO ] Load time of PNML (sax parser for PT used): 101 ms
[2023-03-13 21:41:00] [INFO ] Transformed 474 places.
[2023-03-13 21:41:00] [INFO ] Transformed 404 transitions.
[2023-03-13 21:41:00] [INFO ] Found NUPN structural information;
[2023-03-13 21:41:00] [INFO ] Parsed PT model containing 474 places and 404 transitions and 3240 arcs in 170 ms.
[2023-03-13 21:41:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 474 places, 404 transitions and 3240 arcs took 8 ms.
Total runtime 212 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BART (PT), instance 002
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: 474 places, 404 transitions, 3240 arcs.
AT ITER 0 NEW BEST:: SOT 160295 SOS 123206 HAS SOPS 70114 HAS SOUS 93226 HAS SOUPS 68854 WITH SCORE 68977.206
AT ITER 4 NEW BEST:: SOT 160295 SOS 123505 HAS SOPS 70114 HAS SOUS 93095 HAS SOUPS 68677 WITH SCORE 68800.505
AT ITER 6 NEW BEST:: SOT 160405 SOS 123625 HAS SOPS 70113 HAS SOUS 93244 HAS SOUPS 68676 WITH SCORE 68799.625
AT ITER 19 NEW BEST:: SOT 160242 SOS 123462 HAS SOPS 70107 HAS SOUS 93237 HAS SOUPS 68670 WITH SCORE 68793.462
AT ITER 26 NEW BEST:: SOT 160203 SOS 123423 HAS SOPS 70101 HAS SOUS 93230 HAS SOUPS 68664 WITH SCORE 68787.423
AT ITER 27 NEW BEST:: SOT 160168 SOS 123388 HAS SOPS 70095 HAS SOUS 93223 HAS SOUPS 68658 WITH SCORE 68781.388
AT ITER 31 NEW BEST:: SOT 160209 SOS 123449 HAS SOPS 70090 HAS SOUS 93308 HAS SOUPS 68653 WITH SCORE 68776.449
AT ITER 37 NEW BEST:: SOT 160209 SOS 123449 HAS SOPS 70082 HAS SOUS 93432 HAS SOUPS 68645 WITH SCORE 68768.449
AT ITER 41 NEW BEST:: SOT 160108 SOS 123348 HAS SOPS 70076 HAS SOUS 93425 HAS SOUPS 68639 WITH SCORE 68762.348
AT ITER 42 NEW BEST:: SOT 160108 SOS 123320 HAS SOPS 70076 HAS SOUS 93369 HAS SOUPS 68611 WITH SCORE 68734.32
AT ITER 47 NEW BEST:: SOT 160257 SOS 123535 HAS SOPS 70015 HAS SOUS 93644 HAS SOUPS 68550 WITH SCORE 68673.535
AT ITER 54 NEW BEST:: SOT 160311 SOS 123969 HAS SOPS 69964 HAS SOUS 93793 HAS SOUPS 68499 WITH SCORE 68622.969
AT ITER 55 NEW BEST:: SOT 160198 SOS 123832 HAS SOPS 69964 HAS SOUS 93773 HAS SOUPS 68499 WITH SCORE 68622.832
AT ITER 61 NEW BEST:: SOT 160176 SOS 123810 HAS SOPS 69942 HAS SOUS 93760 HAS SOUPS 68477 WITH SCORE 68600.81
AT ITER 65 NEW BEST:: SOT 160293 SOS 124045 HAS SOPS 69924 HAS SOUS 93987 HAS SOUPS 68459 WITH SCORE 68583.045
AT ITER 66 NEW BEST:: SOT 160293 SOS 124421 HAS SOPS 69924 HAS SOUS 93918 HAS SOUPS 68375 WITH SCORE 68499.421
AT ITER 71 NEW BEST:: SOT 160293 SOS 124273 HAS SOPS 69924 HAS SOUS 93878 HAS SOUPS 68375 WITH SCORE 68499.273
AT ITER 73 NEW BEST:: SOT 160293 SOS 124267 HAS SOPS 69924 HAS SOUS 93866 HAS SOUPS 68369 WITH SCORE 68493.267
AT ITER 74 NEW BEST:: SOT 160291 SOS 124265 HAS SOPS 69922 HAS SOUS 93862 HAS SOUPS 68367 WITH SCORE 68491.265
AT ITER 82 NEW BEST:: SOT 160291 SOS 124301 HAS SOPS 69777 HAS SOUS 93968 HAS SOUPS 68222 WITH SCORE 68346.301
AT ITER 84 NEW BEST:: SOT 160291 SOS 124180 HAS SOPS 69777 HAS SOUS 94012 HAS SOUPS 68222 WITH SCORE 68346.18
AT ITER 88 NEW BEST:: SOT 160291 SOS 122696 HAS SOPS 64523 HAS SOUS 90851 HAS SOUPS 64450 WITH SCORE 64572.696
AT ITER 94 NEW BEST:: SOT 160291 SOS 122514 HAS SOPS 60823 HAS SOUS 90747 HAS SOUPS 60776 WITH SCORE 60898.514
AT ITER 95 NEW BEST:: SOT 160291 SOS 122470 HAS SOPS 60823 HAS SOUS 90745 HAS SOUPS 60776 WITH SCORE 60898.47
AT ITER 97 NEW BEST:: SOT 160279 SOS 122458 HAS SOPS 60817 HAS SOUS 90738 HAS SOUPS 60770 WITH SCORE 60892.458
AT ITER 101 NEW BEST:: SOT 160224 SOS 122425 HAS SOPS 60631 HAS SOUS 90985 HAS SOUPS 60584 WITH SCORE 60706.425
AT ITER 111 NEW BEST:: SOT 160224 SOS 122898 HAS SOPS 60631 HAS SOUS 90986 HAS SOUPS 60567 WITH SCORE 60689.898
AT ITER 115 NEW BEST:: SOT 160224 SOS 122976 HAS SOPS 60631 HAS SOUS 90922 HAS SOUPS 60501 WITH SCORE 60623.976
AT ITER 116 NEW BEST:: SOT 160224 SOS 122976 HAS SOPS 60584 HAS SOUS 90982 HAS SOUPS 60454 WITH SCORE 60576.976
AT ITER 119 NEW BEST:: SOT 160224 SOS 122362 HAS SOPS 60584 HAS SOUS 90925 HAS SOUPS 60454 WITH SCORE 60576.362
AT ITER 122 NEW BEST:: SOT 160293 SOS 122599 HAS SOPS 60449 HAS SOUS 91089 HAS SOUPS 60319 WITH SCORE 60441.599
AT ITER 123 NEW BEST:: SOT 160293 SOS 122545 HAS SOPS 60449 HAS SOUS 91091 HAS SOUPS 60319 WITH SCORE 60441.545
AT ITER 127 NEW BEST:: SOT 160138 SOS 122403 HAS SOPS 60127 HAS SOUS 90769 HAS SOUPS 59997 WITH SCORE 60119.403
AT ITER 129 NEW BEST:: SOT 160170 SOS 122435 HAS SOPS 60095 HAS SOUS 90830 HAS SOUPS 59965 WITH SCORE 60087.435
AT ITER 148 NEW BEST:: SOT 160136 SOS 122401 HAS SOPS 60078 HAS SOUS 90792 HAS SOUPS 59948 WITH SCORE 60070.401
AT ITER 149 NEW BEST:: SOT 160067 SOS 122332 HAS SOPS 60072 HAS SOUS 90786 HAS SOUPS 59942 WITH SCORE 60064.332
AT ITER 159 NEW BEST:: SOT 160067 SOS 122407 HAS SOPS 60010 HAS SOUS 90858 HAS SOUPS 59880 WITH SCORE 60002.407
AT ITER 169 NEW BEST:: SOT 160067 SOS 122803 HAS SOPS 60010 HAS SOUS 90859 HAS SOUPS 59874 WITH SCORE 59996.803
AT ITER 173 NEW BEST:: SOT 160067 SOS 122803 HAS SOPS 59981 HAS SOUS 90903 HAS SOUPS 59845 WITH SCORE 59967.803
AT ITER 182 NEW BEST:: SOT 160194 SOS 122930 HAS SOPS 59979 HAS SOUS 91028 HAS SOUPS 59843 WITH SCORE 59965.93
AT ITER 189 NEW BEST:: SOT 160208 SOS 123086 HAS SOPS 59937 HAS SOUS 91081 HAS SOUPS 59801 WITH SCORE 59924.086
AT ITER 195 NEW BEST:: SOT 160208 SOS 123311 HAS SOPS 59937 HAS SOUS 91076 HAS SOUPS 59796 WITH SCORE 59919.311
AT ITER 203 NEW BEST:: SOT 160208 SOS 123429 HAS SOPS 59937 HAS SOUS 91013 HAS SOUPS 59704 WITH SCORE 59827.429
AT ITER 205 NEW BEST:: SOT 160208 SOS 123429 HAS SOPS 59820 HAS SOUS 91116 HAS SOUPS 59587 WITH SCORE 59710.429
AT ITER 211 NEW BEST:: SOT 160208 SOS 123555 HAS SOPS 59820 HAS SOUS 91049 HAS SOUPS 59551 WITH SCORE 59674.555
AT ITER 214 NEW BEST:: SOT 160208 SOS 123963 HAS SOPS 59820 HAS SOUS 91050 HAS SOUPS 59529 WITH SCORE 59652.963
AT ITER 221 NEW BEST:: SOT 160208 SOS 124134 HAS SOPS 59820 HAS SOUS 90993 HAS SOUPS 59450 WITH SCORE 59574.134
AT ITER 222 NEW BEST:: SOT 160147 SOS 124073 HAS SOPS 59628 HAS SOUS 91042 HAS SOUPS 59258 WITH SCORE 59382.073
AT ITER 228 NEW BEST:: SOT 160147 SOS 123905 HAS SOPS 59628 HAS SOUS 90997 HAS SOUPS 59258 WITH SCORE 59381.905
AT ITER 229 NEW BEST:: SOT 160147 SOS 124053 HAS SOPS 59628 HAS SOUS 90949 HAS SOUPS 59190 WITH SCORE 59314.053
AT ITER 243 NEW BEST:: SOT 160270 SOS 124190 HAS SOPS 59622 HAS SOUS 91153 HAS SOUPS 59184 WITH SCORE 59308.19
AT ITER 254 NEW BEST:: SOT 160270 SOS 124543 HAS SOPS 59622 HAS SOUS 91154 HAS SOUPS 59131 WITH SCORE 59255.543
AT ITER 262 NEW BEST:: SOT 160270 SOS 124405 HAS SOPS 59622 HAS SOUS 91174 HAS SOUPS 59131 WITH SCORE 59255.405
AT ITER 266 NEW BEST:: SOT 160270 SOS 124345 HAS SOPS 59622 HAS SOUS 91054 HAS SOUPS 59071 WITH SCORE 59195.345
AT ITER 273 NEW BEST:: SOT 160270 SOS 124788 HAS SOPS 59622 HAS SOUS 91055 HAS SOUPS 59056 WITH SCORE 59180.788
AT ITER 274 NEW BEST:: SOT 156473 SOS 121063 HAS SOPS 55825 HAS SOUS 87330 HAS SOUPS 55259 WITH SCORE 55380.063
AT ITER 282 NEW BEST:: SOT 156473 SOS 121031 HAS SOPS 55825 HAS SOUS 87323 HAS SOUPS 55259 WITH SCORE 55380.031
AT ITER 293 NEW BEST:: SOT 156473 SOS 120925 HAS SOPS 55825 HAS SOUS 87335 HAS SOUPS 55259 WITH SCORE 55379.925
AT ITER 297 NEW BEST:: SOT 156517 SOS 120969 HAS SOPS 55791 HAS SOUS 87391 HAS SOUPS 55225 WITH SCORE 55345.969
AT ITER 311 NEW BEST:: SOT 156517 SOS 120969 HAS SOPS 55785 HAS SOUS 87390 HAS SOUPS 55219 WITH SCORE 55339.969
AT ITER 316 NEW BEST:: SOT 156492 SOS 120944 HAS SOPS 55775 HAS SOUS 87437 HAS SOUPS 55209 WITH SCORE 55329.944
AT ITER 324 NEW BEST:: SOT 156521 SOS 120973 HAS SOPS 55752 HAS SOUS 87464 HAS SOUPS 55186 WITH SCORE 55306.973
AT ITER 327 NEW BEST:: SOT 156521 SOS 120921 HAS SOPS 55752 HAS SOUS 87438 HAS SOUPS 55186 WITH SCORE 55306.921
AT ITER 338 NEW BEST:: SOT 156521 SOS 120921 HAS SOPS 55715 HAS SOUS 87438 HAS SOUPS 55149 WITH SCORE 55269.921
AT ITER 340 NEW BEST:: SOT 155921 SOS 120325 HAS SOPS 55115 HAS SOUS 86842 HAS SOUPS 54549 WITH SCORE 54669.325
AT ITER 357 NEW BEST:: SOT 155921 SOS 119885 HAS SOPS 55115 HAS SOUS 86784 HAS SOUPS 54549 WITH SCORE 54668.885
AT ITER 366 NEW BEST:: SOT 155921 SOS 119954 HAS SOPS 55115 HAS SOUS 86784 HAS SOUPS 54480 WITH SCORE 54599.954
AT ITER 367 NEW BEST:: SOT 155894 SOS 119927 HAS SOPS 55115 HAS SOUS 86753 HAS SOUPS 54480 WITH SCORE 54599.927
AT ITER 372 NEW BEST:: SOT 155881 SOS 119914 HAS SOPS 55102 HAS SOUS 86740 HAS SOUPS 54467 WITH SCORE 54586.914
AT ITER 379 NEW BEST:: SOT 155881 SOS 119800 HAS SOPS 55102 HAS SOUS 86628 HAS SOUPS 54355 WITH SCORE 54474.8
AT ITER 380 NEW BEST:: SOT 155881 SOS 119805 HAS SOPS 55102 HAS SOUS 86628 HAS SOUPS 54350 WITH SCORE 54469.805
AT ITER 381 NEW BEST:: SOT 156600 SOS 120453 HAS SOPS 54260 HAS SOUS 87479 HAS SOUPS 53508 WITH SCORE 53628.453
AT ITER 389 NEW BEST:: SOT 156600 SOS 120417 HAS SOPS 54260 HAS SOUS 87479 HAS SOUPS 53508 WITH SCORE 53628.417
AT ITER 404 NEW BEST:: SOT 156636 SOS 120503 HAS SOPS 54257 HAS SOUS 87565 HAS SOUPS 53505 WITH SCORE 53625.503
AT ITER 407 NEW BEST:: SOT 156636 SOS 120503 HAS SOPS 54242 HAS SOUS 87563 HAS SOUPS 53490 WITH SCORE 53610.503
AT ITER 409 NEW BEST:: SOT 156704 SOS 120571 HAS SOPS 54202 HAS SOUS 87684 HAS SOUPS 53450 WITH SCORE 53570.571
AT ITER 410 NEW BEST:: SOT 155568 SOS 119618 HAS SOPS 53066 HAS SOUS 86698 HAS SOUPS 52314 WITH SCORE 52433.618
AT ITER 415 NEW BEST:: SOT 155568 SOS 119618 HAS SOPS 53051 HAS SOUS 86698 HAS SOUPS 52299 WITH SCORE 52418.618
AT ITER 418 NEW BEST:: SOT 155426 SOS 119476 HAS SOPS 53039 HAS SOUS 86686 HAS SOUPS 52287 WITH SCORE 52406.476
AT ITER 426 NEW BEST:: SOT 155426 SOS 119330 HAS SOPS 53039 HAS SOUS 86634 HAS SOUPS 52287 WITH SCORE 52406.33
AT ITER 428 NEW BEST:: SOT 155465 SOS 119481 HAS SOPS 52942 HAS SOUS 86707 HAS SOUPS 52190 WITH SCORE 52309.481
AT ITER 432 NEW BEST:: SOT 155465 SOS 119898 HAS SOPS 52942 HAS SOUS 86708 HAS SOUPS 52169 WITH SCORE 52288.898
AT ITER 433 NEW BEST:: SOT 155465 SOS 119798 HAS SOPS 52942 HAS SOUS 86610 HAS SOUPS 52073 WITH SCORE 52192.798
AT ITER 435 NEW BEST:: SOT 155465 SOS 119798 HAS SOPS 52874 HAS SOUS 86610 HAS SOUPS 52005 WITH SCORE 52124.798
AT ITER 437 NEW BEST:: SOT 155586 SOS 119929 HAS SOPS 52870 HAS SOUS 86764 HAS SOUPS 52001 WITH SCORE 52120.929
AT ITER 440 NEW BEST:: SOT 155561 SOS 119904 HAS SOPS 52845 HAS SOUS 86739 HAS SOUPS 51976 WITH SCORE 52095.904
AT ITER 445 NEW BEST:: SOT 155561 SOS 119820 HAS SOPS 52845 HAS SOUS 86739 HAS SOUPS 51976 WITH SCORE 52095.82
AT ITER 453 NEW BEST:: SOT 155561 SOS 119564 HAS SOPS 52845 HAS SOUS 86658 HAS SOUPS 51898 WITH SCORE 52017.564
AT ITER 458 NEW BEST:: SOT 155599 SOS 119816 HAS SOPS 52731 HAS SOUS 86653 HAS SOUPS 51784 WITH SCORE 51903.816
AT ITER 466 NEW BEST:: SOT 155599 SOS 119780 HAS SOPS 52731 HAS SOUS 86653 HAS SOUPS 51784 WITH SCORE 51903.78
AT ITER 469 NEW BEST:: SOT 155599 SOS 120113 HAS SOPS 52731 HAS SOUS 86654 HAS SOUPS 51755 WITH SCORE 51875.113
AT ITER 476 NEW BEST:: SOT 155579 SOS 120093 HAS SOPS 52729 HAS SOUS 86692 HAS SOUPS 51753 WITH SCORE 51873.093
AT ITER 479 NEW BEST:: SOT 155403 SOS 119803 HAS SOPS 52703 HAS SOUS 86570 HAS SOUPS 51727 WITH SCORE 51846.803
AT ITER 482 NEW BEST:: SOT 155403 SOS 119743 HAS SOPS 52703 HAS SOUS 86552 HAS SOUPS 51727 WITH SCORE 51846.743
AT ITER 483 NEW BEST:: SOT 155403 SOS 119725 HAS SOPS 52703 HAS SOUS 86516 HAS SOUPS 51709 WITH SCORE 51828.725
AT ITER 484 NEW BEST:: SOT 139549 SOS 104303 HAS SOPS 36849 HAS SOUS 71029 HAS SOUPS 35855 WITH SCORE 35959.303
AT ITER 492 NEW BEST:: SOT 139517 SOS 104271 HAS SOPS 36849 HAS SOUS 70997 HAS SOUPS 35855 WITH SCORE 35959.271
AT ITER 496 NEW BEST:: SOT 139499 SOS 104253 HAS SOPS 36695 HAS SOUS 70977 HAS SOUPS 35701 WITH SCORE 35805.253
AT ITER 497 NEW BEST:: SOT 139525 SOS 104432 HAS SOPS 36683 HAS SOUS 71026 HAS SOUPS 35689 WITH SCORE 35793.432
AT ITER 501 NEW BEST:: SOT 139567 SOS 104474 HAS SOPS 36531 HAS SOUS 71165 HAS SOUPS 35537 WITH SCORE 35641.474
AT ITER 507 NEW BEST:: SOT 139567 SOS 103952 HAS SOPS 36531 HAS SOUS 71102 HAS SOUPS 35537 WITH SCORE 35640.952
AT ITER 510 NEW BEST:: SOT 139522 SOS 103907 HAS SOPS 36429 HAS SOUS 71054 HAS SOUPS 35435 WITH SCORE 35538.907
AT ITER 513 NEW BEST:: SOT 139522 SOS 103847 HAS SOPS 36429 HAS SOUS 71004 HAS SOUPS 35435 WITH SCORE 35538.847
AT ITER 514 NEW BEST:: SOT 139632 SOS 103957 HAS SOPS 36379 HAS SOUS 71240 HAS SOUPS 35385 WITH SCORE 35488.957
AT ITER 518 NEW BEST:: SOT 139461 SOS 103671 HAS SOPS 36330 HAS SOUS 71028 HAS SOUPS 35288 WITH SCORE 35391.671
AT ITER 525 NEW BEST:: SOT 139461 SOS 103609 HAS SOPS 36330 HAS SOUS 70997 HAS SOUPS 35288 WITH SCORE 35391.609
AT ITER 528 NEW BEST:: SOT 139461 SOS 103568 HAS SOPS 36330 HAS SOUS 70915 HAS SOUPS 35247 WITH SCORE 35350.568
AT ITER 537 NEW BEST:: SOT 139461 SOS 103720 HAS SOPS 36330 HAS SOUS 70848 HAS SOUPS 35149 WITH SCORE 35252.72
AT ITER 539 NEW BEST:: SOT 139461 SOS 103458 HAS SOPS 36330 HAS SOUS 70828 HAS SOUPS 35149 WITH SCORE 35252.458
AT ITER 541 NEW BEST:: SOT 139442 SOS 103439 HAS SOPS 36208 HAS SOUS 70965 HAS SOUPS 35027 WITH SCORE 35130.439
AT ITER 546 NEW BEST:: SOT 139442 SOS 103385 HAS SOPS 36208 HAS SOUS 70956 HAS SOUPS 35027 WITH SCORE 35130.385
AT ITER 553 NEW BEST:: SOT 139426 SOS 103369 HAS SOPS 36196 HAS SOUS 70940 HAS SOUPS 35015 WITH SCORE 35118.369
AT ITER 554 NEW BEST:: SOT 139426 SOS 103876 HAS SOPS 36196 HAS SOUS 70941 HAS SOUPS 34984 WITH SCORE 35087.876
AT ITER 558 NEW BEST:: SOT 139366 SOS 103816 HAS SOPS 36142 HAS SOUS 70881 HAS SOUPS 34930 WITH SCORE 35033.816
AT ITER 561 NEW BEST:: SOT 139364 SOS 103814 HAS SOPS 36138 HAS SOUS 70877 HAS SOUPS 34926 WITH SCORE 35029.814
AT ITER 562 NEW BEST:: SOT 139364 SOS 103807 HAS SOPS 36138 HAS SOUS 70802 HAS SOUPS 34863 WITH SCORE 34966.807
AT ITER 577 NEW BEST:: SOT 139683 SOS 104236 HAS SOPS 36123 HAS SOUS 71122 HAS SOUPS 34848 WITH SCORE 34952.236
AT ITER 578 NEW BEST:: SOT 139683 SOS 104291 HAS SOPS 36123 HAS SOUS 71103 HAS SOUPS 34829 WITH SCORE 34933.291
AT ITER 579 NEW BEST:: SOT 139546 SOS 104276 HAS SOPS 35986 HAS SOUS 71042 HAS SOUPS 34692 WITH SCORE 34796.276
AT ITER 589 NEW BEST:: SOT 139436 SOS 104102 HAS SOPS 35986 HAS SOUS 70902 HAS SOUPS 34692 WITH SCORE 34796.102
AT ITER 608 NEW BEST:: SOT 139426 SOS 104092 HAS SOPS 35966 HAS SOUS 70883 HAS SOUPS 34672 WITH SCORE 34776.092
AT ITER 610 NEW BEST:: SOT 139534 SOS 104565 HAS SOPS 36074 HAS SOUS 70749 HAS SOUPS 34588 WITH SCORE 34692.565
AT ITER 613 NEW BEST:: SOT 139466 SOS 104420 HAS SOPS 36141 HAS SOUS 70617 HAS SOUPS 34533 WITH SCORE 34637.42
AT ITER 618 NEW BEST:: SOT 139466 SOS 104228 HAS SOPS 36141 HAS SOUS 70575 HAS SOUPS 34491 WITH SCORE 34595.228
AT ITER 624 NEW BEST:: SOT 139466 SOS 104124 HAS SOPS 36141 HAS SOUS 70549 HAS SOUPS 34491 WITH SCORE 34595.124
AT ITER 626 NEW BEST:: SOT 139466 SOS 103996 HAS SOPS 36141 HAS SOUS 70503 HAS SOUPS 34491 WITH SCORE 34594.996
AT ITER 635 NEW BEST:: SOT 139250 SOS 103698 HAS SOPS 36129 HAS SOUS 70378 HAS SOUPS 34479 WITH SCORE 34582.698
AT ITER 636 NEW BEST:: SOT 139250 SOS 103686 HAS SOPS 36129 HAS SOUS 70394 HAS SOUPS 34479 WITH SCORE 34582.686
AT ITER 640 NEW BEST:: SOT 139177 SOS 103613 HAS SOPS 35984 HAS SOUS 70327 HAS SOUPS 34334 WITH SCORE 34437.613
AT ITER 641 NEW BEST:: SOT 139177 SOS 103622 HAS SOPS 35984 HAS SOUS 70309 HAS SOUPS 34319 WITH SCORE 34422.622
AT ITER 642 NEW BEST:: SOT 139181 SOS 103626 HAS SOPS 35864 HAS SOUS 70433 HAS SOUPS 34190 WITH SCORE 34293.626
AT ITER 647 NEW BEST:: SOT 139155 SOS 103600 HAS SOPS 35759 HAS SOUS 70333 HAS SOUPS 34085 WITH SCORE 34188.6
AT ITER 652 NEW BEST:: SOT 139155 SOS 103548 HAS SOPS 35759 HAS SOUS 70304 HAS SOUPS 34085 WITH SCORE 34188.548
AT ITER 662 NEW BEST:: SOT 139069 SOS 103613 HAS SOPS 35758 HAS SOUS 70663 HAS SOUPS 34084 WITH SCORE 34187.613
AT ITER 664 NEW BEST:: SOT 139068 SOS 103612 HAS SOPS 35756 HAS SOUS 70665 HAS SOUPS 34082 WITH SCORE 34185.612
AT ITER 667 NEW BEST:: SOT 139068 SOS 103542 HAS SOPS 35756 HAS SOUS 70664 HAS SOUPS 34082 WITH SCORE 34185.542
AT ITER 676 NEW BEST:: SOT 139068 SOS 103542 HAS SOPS 35727 HAS SOUS 70661 HAS SOUPS 34053 WITH SCORE 34156.542
AT ITER 680 NEW BEST:: SOT 139123 SOS 103678 HAS SOPS 35648 HAS SOUS 70835 HAS SOUPS 34027 WITH SCORE 34130.678
AT ITER 686 NEW BEST:: SOT 139123 SOS 103678 HAS SOPS 35648 HAS SOUS 70835 HAS SOUPS 33967 WITH SCORE 34070.678
AT ITER 687 NEW BEST:: SOT 139123 SOS 103674 HAS SOPS 35648 HAS SOUS 70844 HAS SOUPS 33967 WITH SCORE 34070.674
AT ITER 695 NEW BEST:: SOT 139123 SOS 103670 HAS SOPS 35648 HAS SOUS 70816 HAS SOUPS 33967 WITH SCORE 34070.67
AT ITER 708 NEW BEST:: SOT 139098 SOS 103645 HAS SOPS 35623 HAS SOUS 70813 HAS SOUPS 33942 WITH SCORE 34045.645
AT ITER 709 NEW BEST:: SOT 139098 SOS 103599 HAS SOPS 35623 HAS SOUS 70818 HAS SOUPS 33942 WITH SCORE 34045.599
AT ITER 711 NEW BEST:: SOT 139102 SOS 103603 HAS SOPS 35491 HAS SOUS 70820 HAS SOUPS 33810 WITH SCORE 33913.603
AT ITER 718 NEW BEST:: SOT 139095 SOS 103596 HAS SOPS 35414 HAS SOUS 70785 HAS SOUPS 33733 WITH SCORE 33836.596
AT ITER 724 NEW BEST:: SOT 139161 SOS 103846 HAS SOPS 35204 HAS SOUS 70827 HAS SOUPS 33523 WITH SCORE 33626.846
AT ITER 728 NEW BEST:: SOT 139107 SOS 104000 HAS SOPS 35150 HAS SOUS 70982 HAS SOUPS 33469 WITH SCORE 33573.0
AT ITER 732 NEW BEST:: SOT 139108 SOS 104001 HAS SOPS 35128 HAS SOUS 70983 HAS SOUPS 33447 WITH SCORE 33551.001
AT ITER 733 NEW BEST:: SOT 139155 SOS 104164 HAS SOPS 35056 HAS SOUS 71108 HAS SOUPS 33375 WITH SCORE 33479.164
AT ITER 740 NEW BEST:: SOT 139132 SOS 104111 HAS SOPS 35059 HAS SOUS 71051 HAS SOUPS 33348 WITH SCORE 33452.111
AT ITER 760 NEW BEST:: SOT 139132 SOS 104107 HAS SOPS 35059 HAS SOUS 71049 HAS SOUPS 33348 WITH SCORE 33452.107
AT ITER 761 NEW BEST:: SOT 139132 SOS 104107 HAS SOPS 35054 HAS SOUS 71104 HAS SOUPS 33343 WITH SCORE 33447.107
AT ITER 765 NEW BEST:: SOT 139132 SOS 104157 HAS SOPS 35054 HAS SOUS 71104 HAS SOUPS 33309 WITH SCORE 33413.157
AT ITER 766 NEW BEST:: SOT 139132 SOS 103967 HAS SOPS 35054 HAS SOUS 71088 HAS SOUPS 33309 WITH SCORE 33412.967
AT ITER 774 NEW BEST:: SOT 139132 SOS 103753 HAS SOPS 35054 HAS SOUS 70921 HAS SOUPS 33309 WITH SCORE 33412.753
AT ITER 779 NEW BEST:: SOT 139227 SOS 104050 HAS SOPS 34979 HAS SOUS 71160 HAS SOUPS 33234 WITH SCORE 33338.05
AT ITER 785 NEW BEST:: SOT 139171 SOS 103994 HAS SOPS 34979 HAS SOUS 71134 HAS SOUPS 33234 WITH SCORE 33337.994
AT ITER 788 NEW BEST:: SOT 139173 SOS 104052 HAS SOPS 34922 HAS SOUS 71150 HAS SOUPS 33177 WITH SCORE 33281.052
AT ITER 797 NEW BEST:: SOT 139173 SOS 103940 HAS SOPS 34922 HAS SOUS 71094 HAS SOUPS 33177 WITH SCORE 33280.94
AT ITER 826 NEW BEST:: SOT 139173 SOS 104041 HAS SOPS 34922 HAS SOUS 71007 HAS SOUPS 33100 WITH SCORE 33204.041
AT ITER 843 NEW BEST:: SOT 139173 SOS 103759 HAS SOPS 34922 HAS SOUS 70960 HAS SOUPS 33100 WITH SCORE 33203.759
AT ITER 850 NEW BEST:: SOT 139105 SOS 103691 HAS SOPS 34820 HAS SOUS 70822 HAS SOUPS 32964 WITH SCORE 33067.691
AT ITER 858 NEW BEST:: SOT 139105 SOS 102679 HAS SOPS 34820 HAS SOUS 68702 HAS SOUPS 32964 WITH SCORE 33066.679
AT ITER 862 NEW BEST:: SOT 139105 SOS 102131 HAS SOPS 34820 HAS SOUS 68702 HAS SOUPS 32964 WITH SCORE 33066.131
AT ITER 876 NEW BEST:: SOT 139045 SOS 102071 HAS SOPS 34750 HAS SOUS 68642 HAS SOUPS 32894 WITH SCORE 32996.071
AT ITER 886 NEW BEST:: SOT 139045 SOS 102107 HAS SOPS 34723 HAS SOUS 68651 HAS SOUPS 32867 WITH SCORE 32969.107
AT ITER 888 NEW BEST:: SOT 139045 SOS 102050 HAS SOPS 34723 HAS SOUS 68592 HAS SOUPS 32810 WITH SCORE 32912.05
AT ITER 889 NEW BEST:: SOT 139045 SOS 102050 HAS SOPS 34705 HAS SOUS 68608 HAS SOUPS 32792 WITH SCORE 32894.05
AT ITER 893 NEW BEST:: SOT 139045 SOS 102041 HAS SOPS 34705 HAS SOUS 68590 HAS SOUPS 32783 WITH SCORE 32885.041
AT ITER 901 NEW BEST:: SOT 139043 SOS 102039 HAS SOPS 34701 HAS SOUS 68588 HAS SOUPS 32779 WITH SCORE 32881.039
AT ITER 906 NEW BEST:: SOT 139043 SOS 101997 HAS SOPS 34743 HAS SOUS 68546 HAS SOUPS 32779 WITH SCORE 32880.997
AT ITER 914 NEW BEST:: SOT 139083 SOS 102037 HAS SOPS 34637 HAS SOUS 68676 HAS SOUPS 32673 WITH SCORE 32775.037
AT ITER 915 NEW BEST:: SOT 139083 SOS 101705 HAS SOPS 34637 HAS SOUS 68660 HAS SOUPS 32673 WITH SCORE 32774.705
AT ITER 916 NEW BEST:: SOT 139074 SOS 101696 HAS SOPS 34599 HAS SOUS 68659 HAS SOUPS 32635 WITH SCORE 32736.696
AT ITER 928 NEW BEST:: SOT 138814 SOS 101263 HAS SOPS 34631 HAS SOUS 68064 HAS SOUPS 32493 WITH SCORE 32594.263
AT ITER 943 NEW BEST:: SOT 138736 SOS 101185 HAS SOPS 34532 HAS SOUS 67986 HAS SOUPS 32394 WITH SCORE 32495.185
AT ITER 953 NEW BEST:: SOT 138730 SOS 101179 HAS SOPS 34520 HAS SOUS 67980 HAS SOUPS 32382 WITH SCORE 32483.179
AT ITER 957 NEW BEST:: SOT 138730 SOS 101137 HAS SOPS 34520 HAS SOUS 67959 HAS SOUPS 32382 WITH SCORE 32483.137
AT ITER 968 NEW BEST:: SOT 138730 SOS 101072 HAS SOPS 34520 HAS SOUS 67884 HAS SOUPS 32317 WITH SCORE 32418.072
AT ITER 969 NEW BEST:: SOT 138736 SOS 101078 HAS SOPS 34516 HAS SOUS 67910 HAS SOUPS 32313 WITH SCORE 32414.078
AT ITER 974 NEW BEST:: SOT 138736 SOS 101080 HAS SOPS 34514 HAS SOUS 67909 HAS SOUPS 32311 WITH SCORE 32412.08
AT ITER 994 NEW BEST:: SOT 138426 SOS 102589 HAS SOPS 34204 HAS SOUS 67599 HAS SOUPS 32001 WITH SCORE 32103.589
AT ITER 1007 NEW BEST:: SOT 138426 SOS 102480 HAS SOPS 34204 HAS SOUS 67672 HAS SOUPS 31916 WITH SCORE 32018.48
AT ITER 1021 NEW BEST:: SOT 138426 SOS 102194 HAS SOPS 34204 HAS SOUS 67607 HAS SOUPS 31916 WITH SCORE 32018.194
AT ITER 1026 NEW BEST:: SOT 138555 SOS 102911 HAS SOPS 34075 HAS SOUS 67885 HAS SOUPS 31787 WITH SCORE 31889.911
AT ITER 1037 NEW BEST:: SOT 138576 SOS 102932 HAS SOPS 33991 HAS SOUS 67969 HAS SOUPS 31703 WITH SCORE 31805.932
AT ITER 1043 NEW BEST:: SOT 138498 SOS 102854 HAS SOPS 33913 HAS SOUS 67873 HAS SOUPS 31607 WITH SCORE 31709.854
AT ITER 1048 NEW BEST:: SOT 138498 SOS 102854 HAS SOPS 33888 HAS SOUS 67823 HAS SOUPS 31557 WITH SCORE 31659.854
AT ITER 1060 NEW BEST:: SOT 138498 SOS 102716 HAS SOPS 33888 HAS SOUS 67823 HAS SOUPS 31557 WITH SCORE 31659.716
AT ITER 1063 NEW BEST:: SOT 138527 SOS 102745 HAS SOPS 33844 HAS SOUS 67812 HAS SOUPS 31542 WITH SCORE 31644.745
AT ITER 1065 NEW BEST:: SOT 138590 SOS 102808 HAS SOPS 33812 HAS SOUS 67954 HAS SOUPS 31510 WITH SCORE 31612.808
AT ITER 1077 NEW BEST:: SOT 138521 SOS 103239 HAS SOPS 33743 HAS SOUS 68039 HAS SOUPS 31441 WITH SCORE 31544.239
AT ITER 1081 NEW BEST:: SOT 138580 SOS 103298 HAS SOPS 33721 HAS SOUS 68169 HAS SOUPS 31419 WITH SCORE 31522.298
AT ITER 1084 NEW BEST:: SOT 138593 SOS 103311 HAS SOPS 33662 HAS SOUS 68110 HAS SOUPS 31360 WITH SCORE 31463.311
AT ITER 1086 NEW BEST:: SOT 138684 SOS 103510 HAS SOPS 33649 HAS SOUS 68247 HAS SOUPS 31347 WITH SCORE 31450.51
AT ITER 1090 NEW BEST:: SOT 138680 SOS 103506 HAS SOPS 33645 HAS SOUS 68243 HAS SOUPS 31343 WITH SCORE 31446.506
AT ITER 1105 NEW BEST:: SOT 138680 SOS 103271 HAS SOPS 33645 HAS SOUS 68116 HAS SOUPS 31230 WITH SCORE 31333.271
AT ITER 1111 NEW BEST:: SOT 138668 SOS 103259 HAS SOPS 33621 HAS SOUS 68129 HAS SOUPS 31206 WITH SCORE 31309.259
AT ITER 1116 NEW BEST:: SOT 138668 SOS 103247 HAS SOPS 33621 HAS SOUS 68116 HAS SOUPS 31206 WITH SCORE 31309.247
AT ITER 1124 NEW BEST:: SOT 138653 SOS 102968 HAS SOPS 33606 HAS SOUS 68057 HAS SOUPS 31191 WITH SCORE 31293.968
AT ITER 1134 NEW BEST:: SOT 138662 SOS 102948 HAS SOPS 33615 HAS SOUS 68017 HAS SOUPS 31180 WITH SCORE 31282.948
AT ITER 1136 NEW BEST:: SOT 138624 SOS 102852 HAS SOPS 33663 HAS SOUS 67860 HAS SOUPS 31167 WITH SCORE 31269.852
AT ITER 1147 NEW BEST:: SOT 138624 SOS 102852 HAS SOPS 33622 HAS SOUS 67819 HAS SOUPS 31126 WITH SCORE 31228.852
AT ITER 1148 NEW BEST:: SOT 138619 SOS 102847 HAS SOPS 33617 HAS SOUS 67814 HAS SOUPS 31121 WITH SCORE 31223.847
AT ITER 1158 NEW BEST:: SOT 138619 SOS 102877 HAS SOPS 33617 HAS SOUS 67862 HAS SOUPS 31033 WITH SCORE 31135.877
AT ITER 1171 NEW BEST:: SOT 138657 SOS 102915 HAS SOPS 33391 HAS SOUS 68075 HAS SOUPS 30807 WITH SCORE 30909.915
AT ITER 1174 NEW BEST:: SOT 138649 SOS 102907 HAS SOPS 33375 HAS SOUS 68059 HAS SOUPS 30791 WITH SCORE 30893.907
AT ITER 1175 NEW BEST:: SOT 138649 SOS 102897 HAS SOPS 33375 HAS SOUS 68054 HAS SOUPS 30791 WITH SCORE 30893.897
AT ITER 1190 NEW BEST:: SOT 138592 SOS 102840 HAS SOPS 33261 HAS SOUS 67895 HAS SOUPS 30677 WITH SCORE 30779.84
AT ITER 1193 NEW BEST:: SOT 138563 SOS 104584 HAS SOPS 33232 HAS SOUS 68047 HAS SOUPS 30648 WITH SCORE 30752.584
AT ITER 1199 NEW BEST:: SOT 138563 SOS 104558 HAS SOPS 33232 HAS SOUS 68047 HAS SOUPS 30648 WITH SCORE 30752.558
AT ITER 1207 NEW BEST:: SOT 138545 SOS 104540 HAS SOPS 33196 HAS SOUS 67934 HAS SOUPS 30612 WITH SCORE 30716.54
AT ITER 1218 NEW BEST:: SOT 140910 SOS 104118 HAS SOPS 29902 HAS SOUS 67338 HAS SOUPS 29874 WITH SCORE 29978.118
AT ITER 1236 NEW BEST:: SOT 140910 SOS 103662 HAS SOPS 29902 HAS SOUS 67260 HAS SOUPS 29874 WITH SCORE 29977.662
AT ITER 1246 NEW BEST:: SOT 140910 SOS 103544 HAS SOPS 29902 HAS SOUS 67287 HAS SOUPS 29874 WITH SCORE 29977.544
AT ITER 1264 NEW BEST:: SOT 140967 SOS 103601 HAS SOPS 29896 HAS SOUS 67283 HAS SOUPS 29868 WITH SCORE 29971.601
AT ITER 1278 NEW BEST:: SOT 140967 SOS 103559 HAS SOPS 29896 HAS SOUS 67282 HAS SOUPS 29868 WITH SCORE 29971.559
AT ITER 1280 NEW BEST:: SOT 140967 SOS 103559 HAS SOPS 29798 HAS SOUS 67278 HAS SOUPS 29770 WITH SCORE 29873.559
AT ITER 1295 NEW BEST:: SOT 140967 SOS 103443 HAS SOPS 29798 HAS SOUS 67235 HAS SOUPS 29770 WITH SCORE 29873.443
AT ITER 1302 NEW BEST:: SOT 140967 SOS 103391 HAS SOPS 29798 HAS SOUS 67222 HAS SOUPS 29770 WITH SCORE 29873.391
AT ITER 1326 NEW BEST:: SOT 140967 SOS 103235 HAS SOPS 29798 HAS SOUS 67214 HAS SOUPS 29770 WITH SCORE 29873.235
AT ITER 1328 NEW BEST:: SOT 141003 SOS 103271 HAS SOPS 29782 HAS SOUS 67307 HAS SOUPS 29754 WITH SCORE 29857.271
AT ITER 1348 NEW BEST:: SOT 140966 SOS 103234 HAS SOPS 29745 HAS SOUS 67270 HAS SOUPS 29717 WITH SCORE 29820.234
AT ITER 1351 NEW BEST:: SOT 140966 SOS 103214 HAS SOPS 29745 HAS SOUS 67242 HAS SOUPS 29717 WITH SCORE 29820.214
AT ITER 1360 NEW BEST:: SOT 140966 SOS 103202 HAS SOPS 29745 HAS SOUS 67216 HAS SOUPS 29717 WITH SCORE 29820.202
AT ITER 1375 NEW BEST:: SOT 140958 SOS 103194 HAS SOPS 29743 HAS SOUS 67201 HAS SOUPS 29715 WITH SCORE 29818.194
AT ITER 1376 NEW BEST:: SOT 140982 SOS 103218 HAS SOPS 29741 HAS SOUS 67179 HAS SOUPS 29713 WITH SCORE 29816.218
AT ITER 1379 NEW BEST:: SOT 140852 SOS 102801 HAS SOPS 29481 HAS SOUS 66835 HAS SOUPS 29453 WITH SCORE 29555.801
AT ITER 1381 NEW BEST:: SOT 140852 SOS 102783 HAS SOPS 29481 HAS SOUS 66835 HAS SOUPS 29453 WITH SCORE 29555.783
AT ITER 1398 NEW BEST:: SOT 140890 SOS 102821 HAS SOPS 29469 HAS SOUS 66910 HAS SOUPS 29441 WITH SCORE 29543.821
AT ITER 1406 NEW BEST:: SOT 140872 SOS 102803 HAS SOPS 29463 HAS SOUS 66903 HAS SOUPS 29435 WITH SCORE 29537.803
AT ITER 1417 NEW BEST:: SOT 140848 SOS 102826 HAS SOPS 29439 HAS SOUS 66852 HAS SOUPS 29387 WITH SCORE 29489.826
AT ITER 1418 NEW BEST:: SOT 140848 SOS 102826 HAS SOPS 29424 HAS SOUS 66822 HAS SOUPS 29372 WITH SCORE 29474.826
AT ITER 1426 NEW BEST:: SOT 140819 SOS 102797 HAS SOPS 29395 HAS SOUS 66788 HAS SOUPS 29338 WITH SCORE 29440.797
AT ITER 1442 NEW BEST:: SOT 140819 SOS 102425 HAS SOPS 29395 HAS SOUS 66788 HAS SOUPS 29338 WITH SCORE 29440.425
AT ITER 1446 NEW BEST:: SOT 140792 SOS 102398 HAS SOPS 29291 HAS SOUS 66708 HAS SOUPS 29234 WITH SCORE 29336.398
AT ITER 1460 NEW BEST:: SOT 140742 SOS 102348 HAS SOPS 29256 HAS SOUS 66602 HAS SOUPS 29177 WITH SCORE 29279.348
AT ITER 1462 NEW BEST:: SOT 140714 SOS 102320 HAS SOPS 29242 HAS SOUS 66098 HAS SOUPS 29163 WITH SCORE 29265.32
AT ITER 1467 NEW BEST:: SOT 140664 SOS 102270 HAS SOPS 29142 HAS SOUS 66034 HAS SOUPS 29063 WITH SCORE 29165.27
AT ITER 1472 NEW BEST:: SOT 140757 SOS 102595 HAS SOPS 29081 HAS SOUS 66128 HAS SOUPS 29017 WITH SCORE 29119.595
AT ITER 1477 NEW BEST:: SOT 140804 SOS 102642 HAS SOPS 29077 HAS SOUS 66190 HAS SOUPS 29013 WITH SCORE 29115.642
AT ITER 1480 NEW BEST:: SOT 140804 SOS 102786 HAS SOPS 28969 HAS SOUS 66118 HAS SOUPS 28905 WITH SCORE 29007.786
AT ITER 1481 NEW BEST:: SOT 140804 SOS 102716 HAS SOPS 28969 HAS SOUS 66083 HAS SOUPS 28905 WITH SCORE 29007.716
AT ITER 1484 NEW BEST:: SOT 140762 SOS 102674 HAS SOPS 28885 HAS SOUS 66052 HAS SOUPS 28821 WITH SCORE 28923.674
AT ITER 1496 NEW BEST:: SOT 140756 SOS 102668 HAS SOPS 28873 HAS SOUS 66046 HAS SOUPS 28809 WITH SCORE 28911.668
AT ITER 1506 NEW BEST:: SOT 140750 SOS 102662 HAS SOPS 28861 HAS SOUS 66052 HAS SOUPS 28797 WITH SCORE 28899.662
AT ITER 1508 NEW BEST:: SOT 140750 SOS 102624 HAS SOPS 28861 HAS SOUS 66052 HAS SOUPS 28797 WITH SCORE 28899.624
AT ITER 1509 NEW BEST:: SOT 140613 SOS 102357 HAS SOPS 28797 HAS SOUS 65900 HAS SOUPS 28733 WITH SCORE 28835.357
AT ITER 1521 NEW BEST:: SOT 140613 SOS 102187 HAS SOPS 28797 HAS SOUS 65868 HAS SOUPS 28733 WITH SCORE 28835.187
AT ITER 1533 NEW BEST:: SOT 140638 SOS 102212 HAS SOPS 28640 HAS SOUS 66093 HAS SOUPS 28576 WITH SCORE 28678.212
AT ITER 1536 NEW BEST:: SOT 140638 SOS 102206 HAS SOPS 28640 HAS SOUS 66090 HAS SOUPS 28576 WITH SCORE 28678.206
AT ITER 1538 NEW BEST:: SOT 140510 SOS 101973 HAS SOPS 28610 HAS SOUS 65997 HAS SOUPS 28546 WITH SCORE 28647.973
AT ITER 1543 NEW BEST:: SOT 140467 SOS 101930 HAS SOPS 28474 HAS SOUS 65954 HAS SOUPS 28410 WITH SCORE 28511.93
AT ITER 1551 NEW BEST:: SOT 140344 SOS 101715 HAS SOPS 28474 HAS SOUS 65931 HAS SOUPS 28410 WITH SCORE 28511.715
AT ITER 1564 NEW BEST:: SOT 140344 SOS 101645 HAS SOPS 28474 HAS SOUS 65896 HAS SOUPS 28410 WITH SCORE 28511.645
AT ITER 1581 NEW BEST:: SOT 140344 SOS 101645 HAS SOPS 28446 HAS SOUS 65887 HAS SOUPS 28382 WITH SCORE 28483.645
AT ITER 1587 NEW BEST:: SOT 140344 SOS 101551 HAS SOPS 28446 HAS SOUS 65887 HAS SOUPS 28382 WITH SCORE 28483.551
AT ITER 1605 NEW BEST:: SOT 140339 SOS 101546 HAS SOPS 28431 HAS SOUS 65867 HAS SOUPS 28367 WITH SCORE 28468.546
AT ITER 1610 NEW BEST:: SOT 140367 SOS 101574 HAS SOPS 28209 HAS SOUS 65912 HAS SOUPS 28145 WITH SCORE 28246.574
AT ITER 1615 NEW BEST:: SOT 140367 SOS 101572 HAS SOPS 28209 HAS SOUS 65904 HAS SOUPS 28145 WITH SCORE 28246.572
AT ITER 1619 NEW BEST:: SOT 140308 SOS 101513 HAS SOPS 28209 HAS SOUS 65786 HAS SOUPS 28145 WITH SCORE 28246.513
AT ITER 1624 NEW BEST:: SOT 140258 SOS 101413 HAS SOPS 28184 HAS SOUS 65711 HAS SOUPS 28120 WITH SCORE 28221.413
AT ITER 1634 NEW BEST:: SOT 140255 SOS 101410 HAS SOPS 28184 HAS SOUS 65711 HAS SOUPS 28120 WITH SCORE 28221.41
AT ITER 1662 NEW BEST:: SOT 140255 SOS 101410 HAS SOPS 28114 HAS SOUS 65676 HAS SOUPS 28050 WITH SCORE 28151.41
AT ITER 1663 NEW BEST:: SOT 140234 SOS 101389 HAS SOPS 28100 HAS SOUS 65655 HAS SOUPS 28036 WITH SCORE 28137.389
AT ITER 1671 NEW BEST:: SOT 140254 SOS 101409 HAS SOPS 28084 HAS SOUS 65675 HAS SOUPS 28020 WITH SCORE 28121.409
AT ITER 1674 NEW BEST:: SOT 140254 SOS 101391 HAS SOPS 28084 HAS SOUS 65670 HAS SOUPS 28020 WITH SCORE 28121.391
AT ITER 1677 NEW BEST:: SOT 140289 SOS 101426 HAS SOPS 28078 HAS SOUS 65705 HAS SOUPS 28014 WITH SCORE 28115.426
AT ITER 1679 NEW BEST:: SOT 139968 SOS 101177 HAS SOPS 28029 HAS SOUS 65655 HAS SOUPS 27965 WITH SCORE 28066.177
AT ITER 1680 NEW BEST:: SOT 139568 SOS 100812 HAS SOPS 27757 HAS SOUS 65287 HAS SOUPS 27690 WITH SCORE 27790.812
AT ITER 1684 NEW BEST:: SOT 139558 SOS 100802 HAS SOPS 27737 HAS SOUS 65264 HAS SOUPS 27670 WITH SCORE 27770.802
AT ITER 1700 NEW BEST:: SOT 139575 SOS 100819 HAS SOPS 27617 HAS SOUS 65281 HAS SOUPS 27550 WITH SCORE 27650.819
AT ITER 1704 NEW BEST:: SOT 139572 SOS 100824 HAS SOPS 27611 HAS SOUS 65296 HAS SOUPS 27544 WITH SCORE 27644.824
AT ITER 1729 NEW BEST:: SOT 139480 SOS 100732 HAS SOPS 27532 HAS SOUS 65132 HAS SOUPS 27393 WITH SCORE 27493.732
AT ITER 1742 NEW BEST:: SOT 139480 SOS 100546 HAS SOPS 27532 HAS SOUS 65039 HAS SOUPS 27393 WITH SCORE 27493.546
AT ITER 1744 NEW BEST:: SOT 139494 SOS 100560 HAS SOPS 27496 HAS SOUS 65053 HAS SOUPS 27357 WITH SCORE 27457.56
AT ITER 1757 NEW BEST:: SOT 139517 SOS 100858 HAS SOPS 27261 HAS SOUS 64980 HAS SOUPS 27122 WITH SCORE 27222.858
AT ITER 1762 NEW BEST:: SOT 139517 SOS 100850 HAS SOPS 27261 HAS SOUS 64980 HAS SOUPS 27122 WITH SCORE 27222.85
AT ITER 1773 NEW BEST:: SOT 139535 SOS 100888 HAS SOPS 27162 HAS SOUS 64982 HAS SOUPS 27023 WITH SCORE 27123.888
AT ITER 1774 NEW BEST:: SOT 139540 SOS 100893 HAS SOPS 27156 HAS SOUS 64987 HAS SOUPS 27017 WITH SCORE 27117.893
AT ITER 1778 NEW BEST:: SOT 139535 SOS 100888 HAS SOPS 27151 HAS SOUS 65063 HAS SOUPS 27012 WITH SCORE 27112.888
AT ITER 1799 NEW BEST:: SOT 139535 SOS 100888 HAS SOPS 27127 HAS SOUS 65049 HAS SOUPS 26988 WITH SCORE 27088.888
AT ITER 1812 NEW BEST:: SOT 139535 SOS 100884 HAS SOPS 27127 HAS SOUS 65049 HAS SOUPS 26988 WITH SCORE 27088.884
AT ITER 1831 NEW BEST:: SOT 139535 SOS 100884 HAS SOPS 27103 HAS SOUS 65025 HAS SOUPS 26964 WITH SCORE 27064.884
AT ITER 1844 NEW BEST:: SOT 139307 SOS 100300 HAS SOPS 27103 HAS SOUS 64619 HAS SOUPS 26938 WITH SCORE 27038.3
AT ITER 1851 NEW BEST:: SOT 139278 SOS 100271 HAS SOPS 27045 HAS SOUS 64460 HAS SOUPS 26880 WITH SCORE 26980.271
AT ITER 1866 NEW BEST:: SOT 139293 SOS 100286 HAS SOPS 26938 HAS SOUS 64475 HAS SOUPS 26773 WITH SCORE 26873.286
AT ITER 1867 NEW BEST:: SOT 139293 SOS 100286 HAS SOPS 26911 HAS SOUS 64463 HAS SOUPS 26746 WITH SCORE 26846.286
AT ITER 1893 NEW BEST:: SOT 139269 SOS 100268 HAS SOPS 26887 HAS SOUS 64445 HAS SOUPS 26722 WITH SCORE 26822.268
AT ITER 1920 NEW BEST:: SOT 139259 SOS 100258 HAS SOPS 26862 HAS SOUS 64423 HAS SOUPS 26697 WITH SCORE 26797.258
AT ITER 1926 NEW BEST:: SOT 139130 SOS 100022 HAS SOPS 26778 HAS SOUS 64283 HAS SOUPS 26613 WITH SCORE 26713.022
AT ITER 1927 NEW BEST:: SOT 139130 SOS 100014 HAS SOPS 26778 HAS SOUS 64283 HAS SOUPS 26613 WITH SCORE 26713.014
AT ITER 1930 NEW BEST:: SOT 139212 SOS 100260 HAS SOPS 26696 HAS SOUS 64422 HAS SOUPS 26531 WITH SCORE 26631.26
AT ITER 1932 NEW BEST:: SOT 139212 SOS 100246 HAS SOPS 26696 HAS SOUS 63996 HAS SOUPS 26531 WITH SCORE 26631.246
AT ITER 1938 NEW BEST:: SOT 139189 SOS 100223 HAS SOPS 26573 HAS SOUS 63969 HAS SOUPS 26408 WITH SCORE 26508.223
AT ITER 1942 NEW BEST:: SOT 139181 SOS 100370 HAS SOPS 26565 HAS SOUS 64002 HAS SOUPS 26400 WITH SCORE 26500.37
AT ITER 1943 NEW BEST:: SOT 139181 SOS 100334 HAS SOPS 26565 HAS SOUS 64002 HAS SOUPS 26400 WITH SCORE 26500.334
AT ITER 1965 NEW BEST:: SOT 139181 SOS 100334 HAS SOPS 26475 HAS SOUS 63912 HAS SOUPS 26310 WITH SCORE 26410.334
AT ITER 1977 NEW BEST:: SOT 139325 SOS 100478 HAS SOPS 26442 HAS SOUS 64056 HAS SOUPS 26277 WITH SCORE 26377.478
AT ITER 1980 NEW BEST:: SOT 139325 SOS 100478 HAS SOPS 26429 HAS SOUS 64040 HAS SOUPS 26264 WITH SCORE 26364.478
AT ITER 1982 NEW BEST:: SOT 139325 SOS 100112 HAS SOPS 26429 HAS SOUS 63953 HAS SOUPS 26264 WITH SCORE 26364.112
AT ITER 1985 NEW BEST:: SOT 139325 SOS 100048 HAS SOPS 26429 HAS SOUS 63937 HAS SOUPS 26264 WITH SCORE 26364.048
AT ITER 1986 NEW BEST:: SOT 139325 SOS 99996 HAS SOPS 26429 HAS SOUS 63924 HAS SOUPS 26264 WITH SCORE 26363.996
AT ITER 1988 NEW BEST:: SOT 139258 SOS 100393 HAS SOPS 26362 HAS SOUS 64072 HAS SOUPS 26226 WITH SCORE 26326.393
AT ITER 1995 NEW BEST:: SOT 139258 SOS 100437 HAS SOPS 26329 HAS SOUS 64050 HAS SOUPS 26193 WITH SCORE 26293.437
AT ITER 2014 NEW BEST:: SOT 139258 SOS 100077 HAS SOPS 26329 HAS SOUS 63968 HAS SOUPS 26193 WITH SCORE 26293.077
AT ITER 2017 NEW BEST:: SOT 139259 SOS 100078 HAS SOPS 26328 HAS SOUS 63969 HAS SOUPS 26192 WITH SCORE 26292.078
AT ITER 2020 NEW BEST:: SOT 139250 SOS 100069 HAS SOPS 26310 HAS SOUS 63973 HAS SOUPS 26174 WITH SCORE 26274.069
AT ITER 2022 NEW BEST:: SOT 139250 SOS 100013 HAS SOPS 26310 HAS SOUS 63973 HAS SOUPS 26174 WITH SCORE 26274.013
AT ITER 2037 NEW BEST:: SOT 139250 SOS 100005 HAS SOPS 26310 HAS SOUS 63973 HAS SOUPS 26174 WITH SCORE 26274.005
AT ITER 2040 NEW BEST:: SOT 139194 SOS 99949 HAS SOPS 26235 HAS SOUS 63917 HAS SOUPS 26099 WITH SCORE 26198.949
AT ITER 2046 NEW BEST:: SOT 139202 SOS 99957 HAS SOPS 26208 HAS SOUS 63934 HAS SOUPS 26081 WITH SCORE 26180.957
AT ITER 2049 NEW BEST:: SOT 139178 SOS 99933 HAS SOPS 26160 HAS SOUS 63910 HAS SOUPS 26033 WITH SCORE 26132.933
AT ITER 2077 NEW BEST:: SOT 139156 SOS 99911 HAS SOPS 26151 HAS SOUS 63888 HAS SOUPS 26024 WITH SCORE 26123.911
AT ITER 2091 NEW BEST:: SOT 139044 SOS 99588 HAS SOPS 26151 HAS SOUS 63703 HAS SOUPS 26024 WITH SCORE 26123.588
AT ITER 2092 NEW BEST:: SOT 139044 SOS 97961 HAS SOPS 26151 HAS SOUS 63518 HAS SOUPS 26024 WITH SCORE 26121.961
AT ITER 2093 NEW BEST:: SOT 139044 SOS 97773 HAS SOPS 26151 HAS SOUS 63424 HAS SOUPS 26024 WITH SCORE 26121.773
AT ITER 2096 NEW BEST:: SOT 139005 SOS 97770 HAS SOPS 25982 HAS SOUS 63353 HAS SOUPS 25855 WITH SCORE 25952.77
AT ITER 2099 NEW BEST:: SOT 138974 SOS 97739 HAS SOPS 25920 HAS SOUS 63263 HAS SOUPS 25793 WITH SCORE 25890.739
AT ITER 2103 NEW BEST:: SOT 138970 SOS 97735 HAS SOPS 25908 HAS SOUS 63253 HAS SOUPS 25781 WITH SCORE 25878.735
AT ITER 2107 NEW BEST:: SOT 138960 SOS 98292 HAS SOPS 25898 HAS SOUS 63304 HAS SOUPS 25771 WITH SCORE 25869.292
AT ITER 2111 NEW BEST:: SOT 138960 SOS 98282 HAS SOPS 25898 HAS SOUS 63284 HAS SOUPS 25771 WITH SCORE 25869.282
AT ITER 2115 NEW BEST:: SOT 138960 SOS 98204 HAS SOPS 25898 HAS SOUS 63245 HAS SOUPS 25771 WITH SCORE 25869.204
AT ITER 2124 NEW BEST:: SOT 138960 SOS 98100 HAS SOPS 25898 HAS SOUS 63294 HAS SOUPS 25771 WITH SCORE 25869.1
AT ITER 2125 NEW BEST:: SOT 138960 SOS 98068 HAS SOPS 25898 HAS SOUS 63294 HAS SOUPS 25771 WITH SCORE 25869.068
AT ITER 2134 NEW BEST:: SOT 138960 SOS 97876 HAS SOPS 25898 HAS SOUS 63294 HAS SOUPS 25771 WITH SCORE 25868.876
AT ITER 2149 NEW BEST:: SOT 138960 SOS 97836 HAS SOPS 25898 HAS SOUS 63294 HAS SOUPS 25771 WITH SCORE 25868.836
AT ITER 2152 NEW BEST:: SOT 139042 SOS 97918 HAS SOPS 25894 HAS SOUS 63376 HAS SOUPS 25767 WITH SCORE 25864.918
AT ITER 2169 NEW BEST:: SOT 139062 SOS 97965 HAS SOPS 25664 HAS SOUS 63558 HAS SOUPS 25537 WITH SCORE 25634.965
AT ITER 2177 NEW BEST:: SOT 139057 SOS 97960 HAS SOPS 25663 HAS SOUS 63553 HAS SOUPS 25536 WITH SCORE 25633.96
AT ITER 2188 NEW BEST:: SOT 139057 SOS 97614 HAS SOPS 25663 HAS SOUS 63482 HAS SOUPS 25536 WITH SCORE 25633.614
AT ITER 2190 NEW BEST:: SOT 139057 SOS 97610 HAS SOPS 25663 HAS SOUS 63480 HAS SOUPS 25536 WITH SCORE 25633.61
AT ITER 2202 NEW BEST:: SOT 139057 SOS 97432 HAS SOPS 25663 HAS SOUS 63481 HAS SOUPS 25536 WITH SCORE 25633.432
AT ITER 2212 NEW BEST:: SOT 139013 SOS 97388 HAS SOPS 25575 HAS SOUS 63405 HAS SOUPS 25448 WITH SCORE 25545.388
AT ITER 2266 NEW BEST:: SOT 139111 SOS 97486 HAS SOPS 25537 HAS SOUS 63547 HAS SOUPS 25410 WITH SCORE 25507.486
AT ITER 2294 NEW BEST:: SOT 139103 SOS 97478 HAS SOPS 25521 HAS SOUS 63558 HAS SOUPS 25394 WITH SCORE 25491.478
AT ITER 2299 NEW BEST:: SOT 139103 SOS 97446 HAS SOPS 25521 HAS SOUS 63549 HAS SOUPS 25394 WITH SCORE 25491.446
AT ITER 2306 NEW BEST:: SOT 139103 SOS 97390 HAS SOPS 25521 HAS SOUS 63563 HAS SOUPS 25394 WITH SCORE 25491.39
AT ITER 2313 NEW BEST:: SOT 139134 SOS 97408 HAS SOPS 25534 HAS SOUS 63542 HAS SOUPS 25384 WITH SCORE 25481.408
AT ITER 2316 NEW BEST:: SOT 139087 SOS 97361 HAS SOPS 25440 HAS SOUS 63480 HAS SOUPS 25290 WITH SCORE 25387.361
AT ITER 2322 NEW BEST:: SOT 138966 SOS 97240 HAS SOPS 25440 HAS SOUS 63358 HAS SOUPS 25290 WITH SCORE 25387.24
AT ITER 2335 NEW BEST:: SOT 138966 SOS 97204 HAS SOPS 25440 HAS SOUS 63349 HAS SOUPS 25290 WITH SCORE 25387.204
AT ITER 2339 NEW BEST:: SOT 138948 SOS 97186 HAS SOPS 25422 HAS SOUS 63331 HAS SOUPS 25272 WITH SCORE 25369.186
AT ITER 2348 NEW BEST:: SOT 138948 SOS 97138 HAS SOPS 25422 HAS SOUS 63317 HAS SOUPS 25272 WITH SCORE 25369.138
AT ITER 2367 NEW BEST:: SOT 138931 SOS 97121 HAS SOPS 25422 HAS SOUS 63300 HAS SOUPS 25272 WITH SCORE 25369.121
AT ITER 2384 NEW BEST:: SOT 138930 SOS 97120 HAS SOPS 25420 HAS SOUS 63298 HAS SOUPS 25270 WITH SCORE 25367.12
AT ITER 2386 NEW BEST:: SOT 138978 SOS 97168 HAS SOPS 25372 HAS SOUS 63346 HAS SOUPS 25222 WITH SCORE 25319.168
AT ITER 2425 NEW BEST:: SOT 139011 SOS 97201 HAS SOPS 25358 HAS SOUS 63379 HAS SOUPS 25208 WITH SCORE 25305.201
AT ITER 2431 NEW BEST:: SOT 139043 SOS 97233 HAS SOPS 25344 HAS SOUS 63411 HAS SOUPS 25194 WITH SCORE 25291.233
AT ITER 2438 NEW BEST:: SOT 139065 SOS 97543 HAS SOPS 25100 HAS SOUS 63375 HAS SOUPS 24950 WITH SCORE 25047.543
AT ITER 2454 NEW BEST:: SOT 139110 SOS 97763 HAS SOPS 25062 HAS SOUS 63411 HAS SOUPS 24912 WITH SCORE 25009.763
AT ITER 2473 NEW BEST:: SOT 139231 SOS 97884 HAS SOPS 25058 HAS SOUS 63332 HAS SOUPS 24908 WITH SCORE 25005.884
AT ITER 2481 NEW BEST:: SOT 139217 SOS 97870 HAS SOPS 25002 HAS SOUS 63318 HAS SOUPS 24852 WITH SCORE 24949.87
AT ITER 2488 NEW BEST:: SOT 139217 SOS 97926 HAS SOPS 24918 HAS SOUS 63262 HAS SOUPS 24768 WITH SCORE 24865.926
AT ITER 2499 NEW BEST:: SOT 139217 SOS 97894 HAS SOPS 24918 HAS SOUS 63262 HAS SOUPS 24768 WITH SCORE 24865.894
AT ITER 2501 NEW BEST:: SOT 139217 SOS 97686 HAS SOPS 24918 HAS SOUS 63232 HAS SOUPS 24768 WITH SCORE 24865.686
AT ITER 2504 NEW BEST:: SOT 139217 SOS 97672 HAS SOPS 24918 HAS SOUS 63232 HAS SOUPS 24768 WITH SCORE 24865.672
AT ITER 2509 NEW BEST:: SOT 139217 SOS 97486 HAS SOPS 24918 HAS SOUS 63112 HAS SOUPS 24765 WITH SCORE 24862.486
AT ITER 2510 NEW BEST:: SOT 139215 SOS 97484 HAS SOPS 24914 HAS SOUS 63113 HAS SOUPS 24761 WITH SCORE 24858.484
AT ITER 2514 NEW BEST:: SOT 139154 SOS 97423 HAS SOPS 24803 HAS SOUS 63008 HAS SOUPS 24650 WITH SCORE 24747.423
AT ITER 2527 NEW BEST:: SOT 139152 SOS 97421 HAS SOPS 24799 HAS SOUS 63000 HAS SOUPS 24646 WITH SCORE 24743.421
AT ITER 2553 NEW BEST:: SOT 139152 SOS 97453 HAS SOPS 24767 HAS SOUS 62984 HAS SOUPS 24614 WITH SCORE 24711.453
AT ITER 2569 NEW BEST:: SOT 139152 SOS 97363 HAS SOPS 24767 HAS SOUS 62939 HAS SOUPS 24614 WITH SCORE 24711.363
AT ITER 2580 NEW BEST:: SOT 139128 SOS 97339 HAS SOPS 24763 HAS SOUS 62915 HAS SOUPS 24610 WITH SCORE 24707.339
AT ITER 2589 NEW BEST:: SOT 139188 SOS 97615 HAS SOPS 24631 HAS SOUS 62837 HAS SOUPS 24478 WITH SCORE 24575.615
AT ITER 2602 NEW BEST:: SOT 139162 SOS 97589 HAS SOPS 24605 HAS SOUS 62811 HAS SOUPS 24452 WITH SCORE 24549.589
AT ITER 2617 NEW BEST:: SOT 139162 SOS 97589 HAS SOPS 24601 HAS SOUS 62815 HAS SOUPS 24448 WITH SCORE 24545.589
AT ITER 2618 NEW BEST:: SOT 139156 SOS 97787 HAS SOPS 24595 HAS SOUS 62809 HAS SOUPS 24442 WITH SCORE 24539.787
AT ITER 2624 NEW BEST:: SOT 139055 SOS 97606 HAS SOPS 24585 HAS SOUS 62679 HAS SOUPS 24432 WITH SCORE 24529.606
AT ITER 2641 NEW BEST:: SOT 139069 SOS 97620 HAS SOPS 24581 HAS SOUS 62675 HAS SOUPS 24428 WITH SCORE 24525.62
AT ITER 2646 NEW BEST:: SOT 139044 SOS 97595 HAS SOPS 24581 HAS SOUS 62675 HAS SOUPS 24428 WITH SCORE 24525.595
AT ITER 2664 NEW BEST:: SOT 139114 SOS 97737 HAS SOPS 24577 HAS SOUS 62733 HAS SOUPS 24424 WITH SCORE 24521.737
AT ITER 2665 NEW BEST:: SOT 139124 SOS 97767 HAS SOPS 24567 HAS SOUS 62753 HAS SOUPS 24414 WITH SCORE 24511.767
AT ITER 2685 NEW BEST:: SOT 139317 SOS 98158 HAS SOPS 24557 HAS SOUS 62842 HAS SOUPS 24404 WITH SCORE 24502.158
AT ITER 2691 NEW BEST:: SOT 139343 SOS 98184 HAS SOPS 24509 HAS SOUS 62794 HAS SOUPS 24356 WITH SCORE 24454.184
AT ITER 2703 NEW BEST:: SOT 139438 SOS 98279 HAS SOPS 24463 HAS SOUS 62970 HAS SOUPS 24310 WITH SCORE 24408.279
AT ITER 2714 NEW BEST:: SOT 139457 SOS 98298 HAS SOPS 24461 HAS SOUS 62989 HAS SOUPS 24308 WITH SCORE 24406.298
AT ITER 2734 NEW BEST:: SOT 139452 SOS 98293 HAS SOPS 24451 HAS SOUS 62979 HAS SOUPS 24298 WITH SCORE 24396.293
AT ITER 2751 NEW BEST:: SOT 139452 SOS 98161 HAS SOPS 24451 HAS SOUS 62987 HAS SOUPS 24298 WITH SCORE 24396.161
AT ITER 2753 NEW BEST:: SOT 139470 SOS 98179 HAS SOPS 24373 HAS SOUS 62976 HAS SOUPS 24220 WITH SCORE 24318.179
AT ITER 2766 NEW BEST:: SOT 139470 SOS 98262 HAS SOPS 24309 HAS SOUS 62945 HAS SOUPS 24156 WITH SCORE 24254.262
AT ITER 2791 NEW BEST:: SOT 139526 SOS 98502 HAS SOPS 24283 HAS SOUS 62966 HAS SOUPS 24130 WITH SCORE 24228.502
AT ITER 2798 NEW BEST:: SOT 139509 SOS 98485 HAS SOPS 24249 HAS SOUS 62945 HAS SOUPS 24096 WITH SCORE 24194.485
AT ITER 2824 NEW BEST:: SOT 139509 SOS 98475 HAS SOPS 24249 HAS SOUS 62945 HAS SOUPS 24096 WITH SCORE 24194.475
AT ITER 2825 NEW BEST:: SOT 139513 SOS 98479 HAS SOPS 24235 HAS SOUS 62949 HAS SOUPS 24082 WITH SCORE 24180.479
AT ITER 2830 NEW BEST:: SOT 139513 SOS 98219 HAS SOPS 24235 HAS SOUS 62859 HAS SOUPS 24082 WITH SCORE 24180.219
AT ITER 2838 NEW BEST:: SOT 139544 SOS 98342 HAS SOPS 24204 HAS SOUS 62851 HAS SOUPS 24051 WITH SCORE 24149.342
AT ITER 2847 NEW BEST:: SOT 139544 SOS 98364 HAS SOPS 24171 HAS SOUS 62829 HAS SOUPS 24018 WITH SCORE 24116.364
AT ITER 2853 NEW BEST:: SOT 139538 SOS 98358 HAS SOPS 24189 HAS SOUS 62806 HAS SOUPS 24012 WITH SCORE 24110.358
AT ITER 2854 NEW BEST:: SOT 139534 SOS 98298 HAS SOPS 24185 HAS SOUS 62774 HAS SOUPS 24008 WITH SCORE 24106.298
AT ITER 2855 NEW BEST:: SOT 139552 SOS 98316 HAS SOPS 24175 HAS SOUS 62777 HAS SOUPS 23998 WITH SCORE 24096.316
AT ITER 2861 NEW BEST:: SOT 139525 SOS 98289 HAS SOPS 24121 HAS SOUS 62723 HAS SOUPS 23944 WITH SCORE 24042.289
AT ITER 2875 NEW BEST:: SOT 139512 SOS 98276 HAS SOPS 24095 HAS SOUS 62728 HAS SOUPS 23918 WITH SCORE 24016.276
AT ITER 2898 NEW BEST:: SOT 139504 SOS 98373 HAS SOPS 24087 HAS SOUS 62774 HAS SOUPS 23910 WITH SCORE 24008.373
AT ITER 2918 NEW BEST:: SOT 139684 SOS 98900 HAS SOPS 23907 HAS SOUS 62774 HAS SOUPS 23730 WITH SCORE 23828.9
AT ITER 2942 NEW BEST:: SOT 139722 SOS 98938 HAS SOPS 23874 HAS SOUS 62845 HAS SOUPS 23697 WITH SCORE 23795.938
AT ITER 2973 NEW BEST:: SOT 139645 SOS 98861 HAS SOPS 23817 HAS SOUS 62785 HAS SOUPS 23657 WITH SCORE 23755.861
AT ITER 2977 NEW BEST:: SOT 139510 SOS 98604 HAS SOPS 23743 HAS SOUS 62613 HAS SOUPS 23566 WITH SCORE 23664.604
AT ITER 2979 NEW BEST:: SOT 139882 SOS 99044 HAS SOPS 23545 HAS SOUS 63126 HAS SOUPS 23368 WITH SCORE 23467.044
AT ITER 2999 NEW BEST:: SOT 139886 SOS 99048 HAS SOPS 23525 HAS SOUS 63092 HAS SOUPS 23348 WITH SCORE 23447.048
AT ITER 3002 NEW BEST:: SOT 139890 SOS 99052 HAS SOPS 23469 HAS SOUS 63096 HAS SOUPS 23292 WITH SCORE 23391.052
AT ITER 3015 NEW BEST:: SOT 139890 SOS 99016 HAS SOPS 23469 HAS SOUS 63115 HAS SOUPS 23292 WITH SCORE 23391.016
AT ITER 3043 NEW BEST:: SOT 139857 SOS 98983 HAS SOPS 23469 HAS SOUS 63092 HAS SOUPS 23292 WITH SCORE 23390.983
AT ITER 3058 NEW BEST:: SOT 139925 SOS 99165 HAS SOPS 23434 HAS SOUS 63186 HAS SOUPS 23257 WITH SCORE 23356.165
AT ITER 3070 NEW BEST:: SOT 139925 SOS 99149 HAS SOPS 23434 HAS SOUS 63186 HAS SOUPS 23257 WITH SCORE 23356.149
AT ITER 3076 NEW BEST:: SOT 139925 SOS 99083 HAS SOPS 23434 HAS SOUS 63153 HAS SOUPS 23257 WITH SCORE 23356.083
AT ITER 3080 NEW BEST:: SOT 139874 SOS 98996 HAS SOPS 23332 HAS SOUS 63047 HAS SOUPS 23155 WITH SCORE 23253.996
AT ITER 3133 NEW BEST:: SOT 139949 SOS 99071 HAS SOPS 23294 HAS SOUS 63122 HAS SOUPS 23117 WITH SCORE 23216.071
AT ITER 3135 NEW BEST:: SOT 139949 SOS 98957 HAS SOPS 23294 HAS SOUS 63121 HAS SOUPS 23117 WITH SCORE 23215.957
AT ITER 3187 NEW BEST:: SOT 139990 SOS 98998 HAS SOPS 23238 HAS SOUS 63181 HAS SOUPS 23061 WITH SCORE 23159.998
AT ITER 3193 NEW BEST:: SOT 139985 SOS 98993 HAS SOPS 23233 HAS SOUS 63176 HAS SOUPS 23056 WITH SCORE 23154.993
AT ITER 3239 NEW BEST:: SOT 140054 SOS 99109 HAS SOPS 23174 HAS SOUS 63117 HAS SOUPS 22997 WITH SCORE 23096.109
AT ITER 3257 NEW BEST:: SOT 140054 SOS 99037 HAS SOPS 23174 HAS SOUS 63117 HAS SOUPS 22997 WITH SCORE 23096.037
AT ITER 3265 NEW BEST:: SOT 140054 SOS 98997 HAS SOPS 23174 HAS SOUS 63117 HAS SOUPS 22997 WITH SCORE 23095.997
AT ITER 3266 NEW BEST:: SOT 140054 SOS 98912 HAS SOPS 23174 HAS SOUS 63122 HAS SOUPS 22997 WITH SCORE 23095.912
AT ITER 3278 NEW BEST:: SOT 140037 SOS 98895 HAS SOPS 23140 HAS SOUS 63049 HAS SOUPS 22963 WITH SCORE 23061.895
AT ITER 3285 NEW BEST:: SOT 140004 SOS 98862 HAS SOPS 23131 HAS SOUS 63040 HAS SOUPS 22954 WITH SCORE 23052.862
AT ITER 3310 NEW BEST:: SOT 139992 SOS 99003 HAS SOPS 23119 HAS SOUS 63140 HAS SOUPS 22942 WITH SCORE 23041.003
AT ITER 3313 NEW BEST:: SOT 140021 SOS 99032 HAS SOPS 23114 HAS SOUS 63135 HAS SOUPS 22937 WITH SCORE 23036.032
AT ITER 3327 NEW BEST:: SOT 139997 SOS 99008 HAS SOPS 23082 HAS SOUS 63111 HAS SOUPS 22905 WITH SCORE 23004.008
AT ITER 3332 NEW BEST:: SOT 139997 SOS 98934 HAS SOPS 23082 HAS SOUS 63074 HAS SOUPS 22905 WITH SCORE 23003.934
AT ITER 3338 NEW BEST:: SOT 140006 SOS 98943 HAS SOPS 23062 HAS SOUS 63083 HAS SOUPS 22885 WITH SCORE 22983.943
AT ITER 3341 NEW BEST:: SOT 140006 SOS 98917 HAS SOPS 23062 HAS SOUS 63069 HAS SOUPS 22885 WITH SCORE 22983.917
AT ITER 3361 NEW BEST:: SOT 139992 SOS 99121 HAS SOPS 23048 HAS SOUS 63025 HAS SOUPS 22871 WITH SCORE 22970.121
AT ITER 3362 NEW BEST:: SOT 139978 SOS 99107 HAS SOPS 23048 HAS SOUS 63011 HAS SOUPS 22871 WITH SCORE 22970.107
AT ITER 3408 NEW BEST:: SOT 140020 SOS 99190 HAS SOPS 23011 HAS SOUS 62974 HAS SOUPS 22834 WITH SCORE 22933.19
AT ITER 3427 NEW BEST:: SOT 140020 SOS 99090 HAS SOPS 23011 HAS SOUS 62897 HAS SOUPS 22834 WITH SCORE 22933.09
AT ITER 3450 NEW BEST:: SOT 140018 SOS 99088 HAS SOPS 22989 HAS SOUS 62875 HAS SOUPS 22812 WITH SCORE 22911.088
AT ITER 3453 NEW BEST:: SOT 140014 SOS 99076 HAS SOPS 22989 HAS SOUS 62871 HAS SOUPS 22812 WITH SCORE 22911.076
AT ITER 3459 NEW BEST:: SOT 139929 SOS 98991 HAS SOPS 22900 HAS SOUS 62723 HAS SOUPS 22723 WITH SCORE 22821.991
AT ITER 3471 NEW BEST:: SOT 139969 SOS 99031 HAS SOPS 22860 HAS SOUS 62776 HAS SOUPS 22683 WITH SCORE 22782.031
AT ITER 3473 NEW BEST:: SOT 139969 SOS 99029 HAS SOPS 22860 HAS SOUS 62775 HAS SOUPS 22683 WITH SCORE 22782.029
AT ITER 3495 NEW BEST:: SOT 139967 SOS 99027 HAS SOPS 22856 HAS SOUS 62773 HAS SOUPS 22679 WITH SCORE 22778.027
AT ITER 3502 NEW BEST:: SOT 139967 SOS 99014 HAS SOPS 22856 HAS SOUS 62773 HAS SOUPS 22679 WITH SCORE 22778.014
AT ITER 3510 NEW BEST:: SOT 139967 SOS 99014 HAS SOPS 22853 HAS SOUS 62773 HAS SOUPS 22676 WITH SCORE 22775.014
AT ITER 3518 NEW BEST:: SOT 139954 SOS 99001 HAS SOPS 22827 HAS SOUS 62708 HAS SOUPS 22650 WITH SCORE 22749.001
AT ITER 3520 NEW BEST:: SOT 139890 SOS 98937 HAS SOPS 22827 HAS SOUS 62708 HAS SOUPS 22650 WITH SCORE 22748.937
AT ITER 3522 NEW BEST:: SOT 140063 SOS 99538 HAS SOPS 22671 HAS SOUS 62910 HAS SOUPS 22511 WITH SCORE 22610.538
AT ITER 3541 NEW BEST:: SOT 140063 SOS 99524 HAS SOPS 22671 HAS SOUS 62910 HAS SOUPS 22511 WITH SCORE 22610.524
AT ITER 3544 NEW BEST:: SOT 140063 SOS 99388 HAS SOPS 22671 HAS SOUS 62910 HAS SOUPS 22511 WITH SCORE 22610.388
AT ITER 3567 NEW BEST:: SOT 140106 SOS 99431 HAS SOPS 22535 HAS SOUS 62995 HAS SOUPS 22375 WITH SCORE 22474.431
AT ITER 3568 NEW BEST:: SOT 140106 SOS 99237 HAS SOPS 22535 HAS SOUS 62988 HAS SOUPS 22375 WITH SCORE 22474.237
AT ITER 3574 NEW BEST:: SOT 140162 SOS 99441 HAS SOPS 22437 HAS SOUS 62956 HAS SOUPS 22277 WITH SCORE 22376.441
AT ITER 3593 NEW BEST:: SOT 140064 SOS 99238 HAS SOPS 22413 HAS SOUS 62862 HAS SOUPS 22253 WITH SCORE 22352.238
AT ITER 3621 NEW BEST:: SOT 140064 SOS 99238 HAS SOPS 22391 HAS SOUS 62862 HAS SOUPS 22231 WITH SCORE 22330.238
AT ITER 3635 NEW BEST:: SOT 140071 SOS 99259 HAS SOPS 22384 HAS SOUS 62876 HAS SOUPS 22224 WITH SCORE 22323.259
AT ITER 3658 NEW BEST:: SOT 139653 SOS 98841 HAS SOPS 22367 HAS SOUS 62458 HAS SOUPS 22207 WITH SCORE 22305.841
AT ITER 3687 NEW BEST:: SOT 139653 SOS 98841 HAS SOPS 22360 HAS SOUS 62465 HAS SOUPS 22200 WITH SCORE 22298.841
AT ITER 3691 NEW BEST:: SOT 139586 SOS 98774 HAS SOPS 22314 HAS SOUS 62355 HAS SOUPS 22154 WITH SCORE 22252.774
AT ITER 3692 NEW BEST:: SOT 139587 SOS 98775 HAS SOPS 22310 HAS SOUS 62351 HAS SOUPS 22150 WITH SCORE 22248.775
AT ITER 3695 NEW BEST:: SOT 139597 SOS 98785 HAS SOPS 22306 HAS SOUS 62347 HAS SOUPS 22146 WITH SCORE 22244.785
AT ITER 3699 NEW BEST:: SOT 139620 SOS 99012 HAS SOPS 22046 HAS SOUS 62189 HAS SOUPS 21886 WITH SCORE 21985.012
AT ITER 3723 NEW BEST:: SOT 139620 SOS 98858 HAS SOPS 22046 HAS SOUS 62189 HAS SOUPS 21886 WITH SCORE 21984.858
AT ITER 3771 NEW BEST:: SOT 139668 SOS 98908 HAS SOPS 21999 HAS SOUS 62220 HAS SOUPS 21839 WITH SCORE 21937.908
AT ITER 3772 NEW BEST:: SOT 139670 SOS 98910 HAS SOPS 21965 HAS SOUS 62222 HAS SOUPS 21805 WITH SCORE 21903.91
AT ITER 3773 NEW BEST:: SOT 139670 SOS 98954 HAS SOPS 21921 HAS SOUS 62200 HAS SOUPS 21761 WITH SCORE 21859.954
AT ITER 3776 NEW BEST:: SOT 139622 SOS 99430 HAS SOPS 21873 HAS SOUS 62261 HAS SOUPS 21713 WITH SCORE 21812.43
AT ITER 3799 NEW BEST:: SOT 139622 SOS 99342 HAS SOPS 21873 HAS SOUS 62240 HAS SOUPS 21713 WITH SCORE 21812.342
AT ITER 3800 NEW BEST:: SOT 139622 SOS 99288 HAS SOPS 21873 HAS SOUS 62240 HAS SOUPS 21713 WITH SCORE 21812.288
AT ITER 3804 NEW BEST:: SOT 139622 SOS 99144 HAS SOPS 21873 HAS SOUS 62226 HAS SOUPS 21713 WITH SCORE 21812.144
AT ITER 3818 NEW BEST:: SOT 139622 SOS 98992 HAS SOPS 21873 HAS SOUS 62217 HAS SOUPS 21713 WITH SCORE 21811.992
AT ITER 3826 NEW BEST:: SOT 139599 SOS 98969 HAS SOPS 21737 HAS SOUS 62249 HAS SOUPS 21577 WITH SCORE 21675.969
AT ITER 3835 NEW BEST:: SOT 139612 SOS 99000 HAS SOPS 21701 HAS SOUS 62244 HAS SOUPS 21541 WITH SCORE 21640.0
AT ITER 3860 NEW BEST:: SOT 139612 SOS 97984 HAS SOPS 21701 HAS SOUS 62221 HAS SOUPS 21541 WITH SCORE 21638.984
AT ITER 3885 NEW BEST:: SOT 139612 SOS 97974 HAS SOPS 21701 HAS SOUS 62221 HAS SOUPS 21541 WITH SCORE 21638.974
AT ITER 3917 NEW BEST:: SOT 139612 SOS 97902 HAS SOPS 21701 HAS SOUS 62198 HAS SOUPS 21541 WITH SCORE 21638.902
AT ITER 3919 NEW BEST:: SOT 139612 SOS 97850 HAS SOPS 21701 HAS SOUS 62198 HAS SOUPS 21541 WITH SCORE 21638.85
AT ITER 3921 NEW BEST:: SOT 139663 SOS 97901 HAS SOPS 21699 HAS SOUS 62249 HAS SOUPS 21539 WITH SCORE 21636.901
AT ITER 3925 NEW BEST:: SOT 139663 SOS 97809 HAS SOPS 21699 HAS SOUS 62268 HAS SOUPS 21539 WITH SCORE 21636.809
AT ITER 3935 NEW BEST:: SOT 139649 SOS 97795 HAS SOPS 21678 HAS SOUS 62254 HAS SOUPS 21518 WITH SCORE 21615.795
AT ITER 3943 NEW BEST:: SOT 139715 SOS 97861 HAS SOPS 21670 HAS SOUS 62197 HAS SOUPS 21510 WITH SCORE 21607.861
AT ITER 3963 NEW BEST:: SOT 139750 SOS 97896 HAS SOPS 21635 HAS SOUS 62232 HAS SOUPS 21475 WITH SCORE 21572.896
AT ITER 3998 NEW BEST:: SOT 139732 SOS 97878 HAS SOPS 21599 HAS SOUS 62214 HAS SOUPS 21439 WITH SCORE 21536.878
AT ITER 4011 NEW BEST:: SOT 139732 SOS 97866 HAS SOPS 21599 HAS SOUS 62211 HAS SOUPS 21439 WITH SCORE 21536.866
AT ITER 4020 NEW BEST:: SOT 139709 SOS 97843 HAS SOPS 21540 HAS SOUS 62152 HAS SOUPS 21380 WITH SCORE 21477.843
AT ITER 4035 NEW BEST:: SOT 139751 SOS 97885 HAS SOPS 21498 HAS SOUS 62110 HAS SOUPS 21338 WITH SCORE 21435.885
AT ITER 4057 NEW BEST:: SOT 139749 SOS 97883 HAS SOPS 21487 HAS SOUS 62092 HAS SOUPS 21327 WITH SCORE 21424.883
AT ITER 4068 NEW BEST:: SOT 139749 SOS 97841 HAS SOPS 21487 HAS SOUS 62073 HAS SOUPS 21327 WITH SCORE 21424.841
AT ITER 4087 NEW BEST:: SOT 139749 SOS 97767 HAS SOPS 21487 HAS SOUS 62085 HAS SOUPS 21327 WITH SCORE 21424.767
AT ITER 4108 NEW BEST:: SOT 139806 SOS 98036 HAS SOPS 21451 HAS SOUS 62161 HAS SOUPS 21291 WITH SCORE 21389.036
AT ITER 4115 NEW BEST:: SOT 139806 SOS 97948 HAS SOPS 21451 HAS SOUS 62160 HAS SOUPS 21291 WITH SCORE 21388.948
AT ITER 4145 NEW BEST:: SOT 139803 SOS 97945 HAS SOPS 21451 HAS SOUS 62157 HAS SOUPS 21291 WITH SCORE 21388.945
AT ITER 4146 NEW BEST:: SOT 139803 SOS 97909 HAS SOPS 21451 HAS SOUS 62175 HAS SOUPS 21291 WITH SCORE 21388.909
AT ITER 4151 NEW BEST:: SOT 139803 SOS 97897 HAS SOPS 21451 HAS SOUS 62175 HAS SOUPS 21291 WITH SCORE 21388.897
AT ITER 4154 NEW BEST:: SOT 139814 SOS 97908 HAS SOPS 21377 HAS SOUS 62146 HAS SOUPS 21217 WITH SCORE 21314.908
AT ITER 4167 NEW BEST:: SOT 139879 SOS 98277 HAS SOPS 21279 HAS SOUS 62124 HAS SOUPS 21119 WITH SCORE 21217.277
AT ITER 4185 NEW BEST:: SOT 139879 SOS 98181 HAS SOPS 21279 HAS SOUS 62114 HAS SOUPS 21119 WITH SCORE 21217.181
AT ITER 4203 NEW BEST:: SOT 139913 SOS 97801 HAS SOPS 21313 HAS SOUS 61834 HAS SOUPS 21062 WITH SCORE 21159.801
AT ITER 4220 NEW BEST:: SOT 139869 SOS 97713 HAS SOPS 21313 HAS SOUS 61821 HAS SOUPS 21062 WITH SCORE 21159.713
AT ITER 4283 NEW BEST:: SOT 139869 SOS 97697 HAS SOPS 21313 HAS SOUS 61812 HAS SOUPS 21062 WITH SCORE 21159.697
AT ITER 4286 NEW BEST:: SOT 139869 SOS 97689 HAS SOPS 21313 HAS SOUS 61801 HAS SOUPS 21062 WITH SCORE 21159.689
AT ITER 4293 NEW BEST:: SOT 139869 SOS 97673 HAS SOPS 21313 HAS SOUS 61737 HAS SOUPS 21062 WITH SCORE 21159.673
AT ITER 4303 NEW BEST:: SOT 139860 SOS 97664 HAS SOPS 21295 HAS SOUS 61728 HAS SOUPS 21044 WITH SCORE 21141.664
AT ITER 4342 NEW BEST:: SOT 139808 SOS 97646 HAS SOPS 21295 HAS SOUS 61707 HAS SOUPS 21044 WITH SCORE 21141.646
AT ITER 4343 NEW BEST:: SOT 139808 SOS 97552 HAS SOPS 21295 HAS SOUS 61729 HAS SOUPS 21044 WITH SCORE 21141.552
AT ITER 4367 NEW BEST:: SOT 139795 SOS 97539 HAS SOPS 21254 HAS SOUS 61716 HAS SOUPS 21003 WITH SCORE 21100.539
AT ITER 4368 NEW BEST:: SOT 139781 SOS 97525 HAS SOPS 21226 HAS SOUS 61688 HAS SOUPS 20975 WITH SCORE 21072.525
AT ITER 4371 NEW BEST:: SOT 139778 SOS 97522 HAS SOPS 21220 HAS SOUS 61671 HAS SOUPS 20969 WITH SCORE 21066.522
AT ITER 4373 NEW BEST:: SOT 139999 SOS 97743 HAS SOPS 21164 HAS SOUS 61892 HAS SOUPS 20913 WITH SCORE 21010.743
AT ITER 4381 NEW BEST:: SOT 139999 SOS 97689 HAS SOPS 21164 HAS SOUS 61883 HAS SOUPS 20913 WITH SCORE 21010.689
AT ITER 4384 NEW BEST:: SOT 139999 SOS 97687 HAS SOPS 21164 HAS SOUS 61886 HAS SOUPS 20913 WITH SCORE 21010.687
AT ITER 4401 NEW BEST:: SOT 139999 SOS 97771 HAS SOPS 21122 HAS SOUS 61865 HAS SOUPS 20871 WITH SCORE 20968.771
AT ITER 4415 NEW BEST:: SOT 139971 SOS 97659 HAS SOPS 21122 HAS SOUS 61842 HAS SOUPS 20871 WITH SCORE 20968.659
AT ITER 4465 NEW BEST:: SOT 139965 SOS 97653 HAS SOPS 21110 HAS SOUS 61909 HAS SOUPS 20859 WITH SCORE 20956.653
AT ITER 4469 NEW BEST:: SOT 140036 SOS 98076 HAS SOPS 20984 HAS SOUS 61901 HAS SOUPS 20733 WITH SCORE 20831.076
AT ITER 4515 NEW BEST:: SOT 140036 SOS 97994 HAS SOPS 20984 HAS SOUS 61859 HAS SOUPS 20733 WITH SCORE 20830.994
AT ITER 4518 NEW BEST:: SOT 140036 SOS 97902 HAS SOPS 20984 HAS SOUS 61798 HAS SOUPS 20729 WITH SCORE 20826.902
AT ITER 4526 NEW BEST:: SOT 140071 SOS 97937 HAS SOPS 20960 HAS SOUS 61833 HAS SOUPS 20705 WITH SCORE 20802.937
AT ITER 4528 NEW BEST:: SOT 140077 SOS 97943 HAS SOPS 20943 HAS SOUS 61839 HAS SOUPS 20688 WITH SCORE 20785.943
AT ITER 4532 NEW BEST:: SOT 140077 SOS 97937 HAS SOPS 20943 HAS SOUS 61899 HAS SOUPS 20688 WITH SCORE 20785.937
AT ITER 4554 NEW BEST:: SOT 140077 SOS 97862 HAS SOPS 20943 HAS SOUS 61876 HAS SOUPS 20688 WITH SCORE 20785.862
AT ITER 4573 NEW BEST:: SOT 140077 SOS 97772 HAS SOPS 20943 HAS SOUS 61831 HAS SOUPS 20688 WITH SCORE 20785.772
AT ITER 4582 NEW BEST:: SOT 140077 SOS 97764 HAS SOPS 20943 HAS SOUS 61834 HAS SOUPS 20688 WITH SCORE 20785.764
AT ITER 4641 NEW BEST:: SOT 140070 SOS 97757 HAS SOPS 20929 HAS SOUS 61827 HAS SOUPS 20674 WITH SCORE 20771.757
AT ITER 4665 NEW BEST:: SOT 140086 SOS 97773 HAS SOPS 20913 HAS SOUS 61843 HAS SOUPS 20658 WITH SCORE 20755.773
AT ITER 4685 NEW BEST:: SOT 140081 SOS 97768 HAS SOPS 20903 HAS SOUS 61897 HAS SOUPS 20648 WITH SCORE 20745.768
AT ITER 4695 NEW BEST:: SOT 140077 SOS 97764 HAS SOPS 20895 HAS SOUS 61890 HAS SOUPS 20640 WITH SCORE 20737.764
AT ITER 4696 NEW BEST:: SOT 140230 SOS 98205 HAS SOPS 20883 HAS SOUS 62081 HAS SOUPS 20632 WITH SCORE 20730.205
AT ITER 4702 NEW BEST:: SOT 140230 SOS 98201 HAS SOPS 20883 HAS SOUS 62055 HAS SOUPS 20632 WITH SCORE 20730.201
AT ITER 4742 NEW BEST:: SOT 140287 SOS 98258 HAS SOPS 20877 HAS SOUS 62053 HAS SOUPS 20626 WITH SCORE 20724.258
AT ITER 4784 NEW BEST:: SOT 140284 SOS 98255 HAS SOPS 20875 HAS SOUS 62043 HAS SOUPS 20624 WITH SCORE 20722.255
AT ITER 4798 NEW BEST:: SOT 140284 SOS 98251 HAS SOPS 20875 HAS SOUS 62043 HAS SOUPS 20624 WITH SCORE 20722.251
AT ITER 4812 NEW BEST:: SOT 140284 SOS 98225 HAS SOPS 20875 HAS SOUS 61987 HAS SOUPS 20624 WITH SCORE 20722.225
AT ITER 4834 NEW BEST:: SOT 140284 SOS 98225 HAS SOPS 20846 HAS SOUS 62016 HAS SOUPS 20595 WITH SCORE 20693.225
AT ITER 4862 NEW BEST:: SOT 140284 SOS 98177 HAS SOPS 20846 HAS SOUS 62016 HAS SOUPS 20595 WITH SCORE 20693.177
AT ITER 4878 NEW BEST:: SOT 140276 SOS 98153 HAS SOPS 20846 HAS SOUS 62008 HAS SOUPS 20595 WITH SCORE 20693.153
AT ITER 4884 NEW BEST:: SOT 140276 SOS 98121 HAS SOPS 20846 HAS SOUS 61994 HAS SOUPS 20595 WITH SCORE 20693.121
AT ITER 4887 NEW BEST:: SOT 140276 SOS 97999 HAS SOPS 20846 HAS SOUS 61989 HAS SOUPS 20595 WITH SCORE 20692.999
AT ITER 4891 NEW BEST:: SOT 140335 SOS 98058 HAS SOPS 20778 HAS SOUS 61921 HAS SOUPS 20527 WITH SCORE 20625.058
AT ITER 4892 NEW BEST:: SOT 140335 SOS 97737 HAS SOPS 20778 HAS SOUS 61810 HAS SOUPS 20527 WITH SCORE 20624.737
AT ITER 4903 NEW BEST:: SOT 140335 SOS 97699 HAS SOPS 20778 HAS SOUS 61791 HAS SOUPS 20527 WITH SCORE 20624.699
AT ITER 4904 NEW BEST:: SOT 140335 SOS 97697 HAS SOPS 20778 HAS SOUS 61791 HAS SOUPS 20527 WITH SCORE 20624.697
AT ITER 4929 NEW BEST:: SOT 140333 SOS 97695 HAS SOPS 20777 HAS SOUS 61796 HAS SOUPS 20526 WITH SCORE 20623.695
AT ITER 4931 NEW BEST:: SOT 140269 SOS 97631 HAS SOPS 20725 HAS SOUS 61770 HAS SOUPS 20474 WITH SCORE 20571.631
AT ITER 4944 NEW BEST:: SOT 140283 SOS 97645 HAS SOPS 20577 HAS SOUS 61658 HAS SOUPS 20326 WITH SCORE 20423.645
AT ITER 4959 NEW BEST:: SOT 140253 SOS 97615 HAS SOPS 20547 HAS SOUS 61640 HAS SOUPS 20296 WITH SCORE 20393.615
AT ITER 4978 NEW BEST:: SOT 140247 SOS 97609 HAS SOPS 20535 HAS SOUS 61634 HAS SOUPS 20284 WITH SCORE 20381.609
AT ITER 4992 NEW BEST:: SOT 140237 SOS 97599 HAS SOPS 20515 HAS SOUS 61614 HAS SOUPS 20264 WITH SCORE 20361.599
AT ITER 4996 NEW BEST:: SOT 140237 SOS 97569 HAS SOPS 20515 HAS SOUS 61614 HAS SOUPS 20264 WITH SCORE 20361.569
AT ITER 5063 NEW BEST:: SOT 140235 SOS 97567 HAS SOPS 20511 HAS SOUS 61612 HAS SOUPS 20260 WITH SCORE 20357.567
AT ITER 5070 NEW BEST:: SOT 140164 SOS 97496 HAS SOPS 20369 HAS SOUS 61426 HAS SOUPS 20118 WITH SCORE 20215.496
AT ITER 5181 NEW BEST:: SOT 140164 SOS 97412 HAS SOPS 20369 HAS SOUS 61396 HAS SOUPS 20118 WITH SCORE 20215.412
AT ITER 5196 NEW BEST:: SOT 140193 SOS 97523 HAS SOPS 20345 HAS SOUS 61425 HAS SOUPS 20094 WITH SCORE 20191.523
AT ITER 5236 NEW BEST:: SOT 140185 SOS 97515 HAS SOPS 20345 HAS SOUS 61425 HAS SOUPS 20094 WITH SCORE 20191.515
AT ITER 5237 NEW BEST:: SOT 140185 SOS 97481 HAS SOPS 20345 HAS SOUS 61413 HAS SOUPS 20094 WITH SCORE 20191.481
AT ITER 5255 NEW BEST:: SOT 140250 SOS 97590 HAS SOPS 20328 HAS SOUS 61407 HAS SOUPS 20077 WITH SCORE 20174.59
AT ITER 5260 NEW BEST:: SOT 140250 SOS 97582 HAS SOPS 20328 HAS SOUS 61407 HAS SOUPS 20077 WITH SCORE 20174.582
AT ITER 5272 NEW BEST:: SOT 140250 SOS 97528 HAS SOPS 20328 HAS SOUS 61376 HAS SOUPS 20077 WITH SCORE 20174.528
AT ITER 5280 NEW BEST:: SOT 140250 SOS 97470 HAS SOPS 20328 HAS SOUS 61373 HAS SOUPS 20077 WITH SCORE 20174.47
AT ITER 5284 NEW BEST:: SOT 140250 SOS 97462 HAS SOPS 20328 HAS SOUS 61370 HAS SOUPS 20077 WITH SCORE 20174.462
AT ITER 5293 NEW BEST:: SOT 140493 SOS 97705 HAS SOPS 20313 HAS SOUS 61426 HAS SOUPS 20062 WITH SCORE 20159.705
AT ITER 5304 NEW BEST:: SOT 140481 SOS 97693 HAS SOPS 20187 HAS SOUS 61504 HAS SOUPS 19936 WITH SCORE 20033.693
AT ITER 5322 NEW BEST:: SOT 140481 SOS 97653 HAS SOPS 20187 HAS SOUS 61498 HAS SOUPS 19936 WITH SCORE 20033.653
AT ITER 5328 NEW BEST:: SOT 140461 SOS 97633 HAS SOPS 20147 HAS SOUS 61458 HAS SOUPS 19896 WITH SCORE 19993.633
AT ITER 5358 NEW BEST:: SOT 140461 SOS 97605 HAS SOPS 20147 HAS SOUS 61451 HAS SOUPS 19896 WITH SCORE 19993.605
AT ITER 5360 NEW BEST:: SOT 140439 SOS 97583 HAS SOPS 20103 HAS SOUS 61429 HAS SOUPS 19852 WITH SCORE 19949.583
AT ITER 5410 NEW BEST:: SOT 140467 SOS 97667 HAS SOPS 20075 HAS SOUS 61429 HAS SOUPS 19824 WITH SCORE 19921.667
AT ITER 5414 NEW BEST:: SOT 140467 SOS 97659 HAS SOPS 20075 HAS SOUS 61429 HAS SOUPS 19824 WITH SCORE 19921.659
AT ITER 5426 NEW BEST:: SOT 140465 SOS 97657 HAS SOPS 20071 HAS SOUS 61423 HAS SOUPS 19820 WITH SCORE 19917.657
AT ITER 5431 NEW BEST:: SOT 140465 SOS 97647 HAS SOPS 20071 HAS SOUS 61396 HAS SOUPS 19820 WITH SCORE 19917.647
AT ITER 5450 NEW BEST:: SOT 140507 SOS 97689 HAS SOPS 20053 HAS SOUS 61378 HAS SOUPS 19802 WITH SCORE 19899.689
AT ITER 5477 NEW BEST:: SOT 140511 SOS 97693 HAS SOPS 20049 HAS SOUS 61382 HAS SOUPS 19798 WITH SCORE 19895.693
AT ITER 5486 NEW BEST:: SOT 140503 SOS 97685 HAS SOPS 20049 HAS SOUS 61374 HAS SOUPS 19798 WITH SCORE 19895.685
AT ITER 5488 NEW BEST:: SOT 140607 SOS 98128 HAS SOPS 19994 HAS SOUS 61423 HAS SOUPS 19743 WITH SCORE 19841.128
AT ITER 5512 NEW BEST:: SOT 140607 SOS 98112 HAS SOPS 19994 HAS SOUS 61423 HAS SOUPS 19743 WITH SCORE 19841.112
AT ITER 5516 NEW BEST:: SOT 140591 SOS 98096 HAS SOPS 19989 HAS SOUS 61404 HAS SOUPS 19738 WITH SCORE 19836.096
AT ITER 5519 NEW BEST:: SOT 140593 SOS 98098 HAS SOPS 19939 HAS SOUS 61939 HAS SOUPS 19688 WITH SCORE 19786.098
AT ITER 5543 NEW BEST:: SOT 140593 SOS 98072 HAS SOPS 19939 HAS SOUS 61939 HAS SOUPS 19688 WITH SCORE 19786.072
AT ITER 5545 NEW BEST:: SOT 140584 SOS 98063 HAS SOPS 19902 HAS SOUS 61930 HAS SOUPS 19651 WITH SCORE 19749.063
AT ITER 5547 NEW BEST:: SOT 140584 SOS 97999 HAS SOPS 19902 HAS SOUS 61885 HAS SOUPS 19651 WITH SCORE 19748.999
AT ITER 5589 NEW BEST:: SOT 140584 SOS 97939 HAS SOPS 19902 HAS SOUS 61885 HAS SOUPS 19651 WITH SCORE 19748.939
AT ITER 5596 NEW BEST:: SOT 140584 SOS 97939 HAS SOPS 19897 HAS SOUS 61890 HAS SOUPS 19646 WITH SCORE 19743.939
AT ITER 5598 NEW BEST:: SOT 140549 SOS 98386 HAS SOPS 19862 HAS SOUS 62153 HAS SOUPS 19644 WITH SCORE 19742.386
AT ITER 5620 NEW BEST:: SOT 140549 SOS 98358 HAS SOPS 19862 HAS SOUS 62072 HAS SOUPS 19644 WITH SCORE 19742.358
AT ITER 5641 NEW BEST:: SOT 140545 SOS 98354 HAS SOPS 19840 HAS SOUS 62074 HAS SOUPS 19622 WITH SCORE 19720.354
AT ITER 5643 NEW BEST:: SOT 140545 SOS 98314 HAS SOPS 19840 HAS SOUS 62072 HAS SOUPS 19622 WITH SCORE 19720.314
AT ITER 5646 NEW BEST:: SOT 140605 SOS 98542 HAS SOPS 19792 HAS SOUS 62187 HAS SOUPS 19574 WITH SCORE 19672.542
AT ITER 5648 NEW BEST:: SOT 140592 SOS 98529 HAS SOPS 19734 HAS SOUS 62170 HAS SOUPS 19516 WITH SCORE 19614.529
AT ITER 5660 NEW BEST:: SOT 140567 SOS 98504 HAS SOPS 19684 HAS SOUS 62099 HAS SOUPS 19466 WITH SCORE 19564.504
AT ITER 5670 NEW BEST:: SOT 140545 SOS 98482 HAS SOPS 19640 HAS SOUS 62103 HAS SOUPS 19422 WITH SCORE 19520.482
AT ITER 5717 NEW BEST:: SOT 140550 SOS 98487 HAS SOPS 19608 HAS SOUS 62108 HAS SOUPS 19390 WITH SCORE 19488.487
AT ITER 5730 NEW BEST:: SOT 140593 SOS 98530 HAS SOPS 19603 HAS SOUS 62194 HAS SOUPS 19385 WITH SCORE 19483.53
AT ITER 5764 NEW BEST:: SOT 140593 SOS 98316 HAS SOPS 19603 HAS SOUS 62127 HAS SOUPS 19385 WITH SCORE 19483.316
AT ITER 5786 NEW BEST:: SOT 140579 SOS 98288 HAS SOPS 19575 HAS SOUS 62096 HAS SOUPS 19357 WITH SCORE 19455.288
AT ITER 5797 NEW BEST:: SOT 140563 SOS 98272 HAS SOPS 19543 HAS SOUS 62056 HAS SOUPS 19325 WITH SCORE 19423.272
AT ITER 5799 NEW BEST:: SOT 140571 SOS 98280 HAS SOPS 19517 HAS SOUS 62064 HAS SOUPS 19299 WITH SCORE 19397.28
AT ITER 5804 NEW BEST:: SOT 140571 SOS 98120 HAS SOPS 19517 HAS SOUS 62027 HAS SOUPS 19299 WITH SCORE 19397.12
AT ITER 5821 NEW BEST:: SOT 140571 SOS 98024 HAS SOPS 19517 HAS SOUS 62003 HAS SOUPS 19299 WITH SCORE 19397.024
AT ITER 5851 NEW BEST:: SOT 140571 SOS 97976 HAS SOPS 19517 HAS SOUS 61998 HAS SOUPS 19299 WITH SCORE 19396.976
AT ITER 5858 NEW BEST:: SOT 140571 SOS 97890 HAS SOPS 19517 HAS SOUS 61949 HAS SOUPS 19299 WITH SCORE 19396.89
AT ITER 5860 NEW BEST:: SOT 140544 SOS 97863 HAS SOPS 19490 HAS SOUS 61922 HAS SOUPS 19272 WITH SCORE 19369.863
AT ITER 5870 NEW BEST:: SOT 140376 SOS 97391 HAS SOPS 19530 HAS SOUS 61727 HAS SOUPS 19250 WITH SCORE 19347.391
AT ITER 5891 NEW BEST:: SOT 140373 SOS 97388 HAS SOPS 19530 HAS SOUS 61727 HAS SOUPS 19250 WITH SCORE 19347.388
AT ITER 5904 NEW BEST:: SOT 140362 SOS 97377 HAS SOPS 19508 HAS SOUS 61705 HAS SOUPS 19228 WITH SCORE 19325.377
AT ITER 5940 NEW BEST:: SOT 140362 SOS 97325 HAS SOPS 19508 HAS SOUS 61702 HAS SOUPS 19228 WITH SCORE 19325.325
AT ITER 5974 NEW BEST:: SOT 140356 SOS 97319 HAS SOPS 19496 HAS SOUS 61690 HAS SOUPS 19216 WITH SCORE 19313.319
AT ITER 6048 NEW BEST:: SOT 140356 SOS 97259 HAS SOPS 19496 HAS SOUS 61675 HAS SOUPS 19216 WITH SCORE 19313.259
AT ITER 6068 NEW BEST:: SOT 140394 SOS 97359 HAS SOPS 19474 HAS SOUS 61702 HAS SOUPS 19197 WITH SCORE 19294.359
AT ITER 6087 NEW BEST:: SOT 140399 SOS 97364 HAS SOPS 19470 HAS SOUS 61707 HAS SOUPS 19193 WITH SCORE 19290.364
AT ITER 6098 NEW BEST:: SOT 140390 SOS 97355 HAS SOPS 19452 HAS SOUS 61689 HAS SOUPS 19175 WITH SCORE 19272.355
AT ITER 6101 NEW BEST:: SOT 140390 SOS 97333 HAS SOPS 19452 HAS SOUS 61679 HAS SOUPS 19175 WITH SCORE 19272.333
AT ITER 6122 NEW BEST:: SOT 140371 SOS 97781 HAS SOPS 19433 HAS SOUS 61867 HAS SOUPS 19156 WITH SCORE 19253.781
AT ITER 6125 NEW BEST:: SOT 140371 SOS 97781 HAS SOPS 19377 HAS SOUS 61819 HAS SOUPS 19100 WITH SCORE 19197.781
AT ITER 6126 NEW BEST:: SOT 140371 SOS 97781 HAS SOPS 19343 HAS SOUS 61768 HAS SOUPS 19066 WITH SCORE 19163.781
AT ITER 6131 NEW BEST:: SOT 140331 SOS 97741 HAS SOPS 19343 HAS SOUS 61768 HAS SOUPS 19066 WITH SCORE 19163.741
AT ITER 6134 NEW BEST:: SOT 140331 SOS 97741 HAS SOPS 19332 HAS SOUS 61790 HAS SOUPS 19055 WITH SCORE 19152.741
AT ITER 6136 NEW BEST:: SOT 140328 SOS 97738 HAS SOPS 19326 HAS SOUS 61787 HAS SOUPS 19049 WITH SCORE 19146.738
AT ITER 6171 NEW BEST:: SOT 140299 SOS 97709 HAS SOPS 19305 HAS SOUS 61721 HAS SOUPS 18991 WITH SCORE 19088.709
AT ITER 6179 NEW BEST:: SOT 140299 SOS 97661 HAS SOPS 19305 HAS SOUS 61690 HAS SOUPS 18991 WITH SCORE 19088.661
AT ITER 6251 NEW BEST:: SOT 140299 SOS 97643 HAS SOPS 19305 HAS SOUS 61677 HAS SOUPS 18991 WITH SCORE 19088.643
AT ITER 6263 NEW BEST:: SOT 140299 SOS 97621 HAS SOPS 19305 HAS SOUS 61677 HAS SOUPS 18991 WITH SCORE 19088.621
AT ITER 6265 NEW BEST:: SOT 140299 SOS 97595 HAS SOPS 19305 HAS SOUS 61650 HAS SOUPS 18991 WITH SCORE 19088.595
AT ITER 6277 NEW BEST:: SOT 140299 SOS 97587 HAS SOPS 19305 HAS SOUS 61628 HAS SOUPS 18991 WITH SCORE 19088.587
AT ITER 6280 NEW BEST:: SOT 140299 SOS 97533 HAS SOPS 19305 HAS SOUS 61627 HAS SOUPS 18991 WITH SCORE 19088.533
AT ITER 6296 NEW BEST:: SOT 140367 SOS 97574 HAS SOPS 19243 HAS SOUS 61708 HAS SOUPS 18929 WITH SCORE 19026.574
AT ITER 6310 NEW BEST:: SOT 140367 SOS 97586 HAS SOPS 19215 HAS SOUS 61684 HAS SOUPS 18901 WITH SCORE 18998.586
AT ITER 6326 NEW BEST:: SOT 140433 SOS 97724 HAS SOPS 19187 HAS SOUS 61778 HAS SOUPS 18873 WITH SCORE 18970.724
AT ITER 6359 NEW BEST:: SOT 140399 SOS 97690 HAS SOPS 19164 HAS SOUS 61719 HAS SOUPS 18850 WITH SCORE 18947.69
AT ITER 6365 NEW BEST:: SOT 140431 SOS 97722 HAS SOPS 19158 HAS SOUS 61721 HAS SOUPS 18844 WITH SCORE 18941.722
AT ITER 6385 NEW BEST:: SOT 140431 SOS 97692 HAS SOPS 19158 HAS SOUS 61667 HAS SOUPS 18844 WITH SCORE 18941.692
AT ITER 6391 NEW BEST:: SOT 140486 SOS 97848 HAS SOPS 19103 HAS SOUS 61667 HAS SOUPS 18789 WITH SCORE 18886.848
AT ITER 6395 NEW BEST:: SOT 140486 SOS 97824 HAS SOPS 19103 HAS SOUS 61667 HAS SOUPS 18789 WITH SCORE 18886.824
AT ITER 6408 NEW BEST:: SOT 140486 SOS 97772 HAS SOPS 19103 HAS SOUS 61641 HAS SOUPS 18789 WITH SCORE 18886.772
AT ITER 6429 NEW BEST:: SOT 140482 SOS 97768 HAS SOPS 19095 HAS SOUS 61639 HAS SOUPS 18781 WITH SCORE 18878.768
AT ITER 6445 NEW BEST:: SOT 140480 SOS 97766 HAS SOPS 19093 HAS SOUS 61637 HAS SOUPS 18779 WITH SCORE 18876.766
AT ITER 6501 NEW BEST:: SOT 140492 SOS 97778 HAS SOPS 19091 HAS SOUS 61635 HAS SOUPS 18777 WITH SCORE 18874.778
AT ITER 6511 NEW BEST:: SOT 140492 SOS 97776 HAS SOPS 19091 HAS SOUS 61634 HAS SOUPS 18777 WITH SCORE 18874.776
AT ITER 6512 NEW BEST:: SOT 140315 SOS 97293 HAS SOPS 19125 HAS SOUS 61267 HAS SOUPS 18733 WITH SCORE 18830.293
AT ITER 6556 NEW BEST:: SOT 140239 SOS 97217 HAS SOPS 19075 HAS SOUS 61217 HAS SOUPS 18683 WITH SCORE 18780.217
AT ITER 6568 NEW BEST:: SOT 140237 SOS 97215 HAS SOPS 19075 HAS SOUS 61215 HAS SOUPS 18683 WITH SCORE 18780.215
AT ITER 6571 NEW BEST:: SOT 140236 SOS 97214 HAS SOPS 19070 HAS SOUS 61217 HAS SOUPS 18678 WITH SCORE 18775.214
AT ITER 6582 NEW BEST:: SOT 140236 SOS 97196 HAS SOPS 19070 HAS SOUS 61222 HAS SOUPS 18678 WITH SCORE 18775.196
AT ITER 6622 NEW BEST:: SOT 140259 SOS 97219 HAS SOPS 19017 HAS SOUS 61192 HAS SOUPS 18625 WITH SCORE 18722.219
AT ITER 6633 NEW BEST:: SOT 140271 SOS 97231 HAS SOPS 19005 HAS SOUS 61180 HAS SOUPS 18613 WITH SCORE 18710.231
AT ITER 6657 NEW BEST:: SOT 140363 SOS 97705 HAS SOPS 18952 HAS SOUS 61253 HAS SOUPS 18560 WITH SCORE 18657.705
AT ITER 6706 NEW BEST:: SOT 140363 SOS 97703 HAS SOPS 18952 HAS SOUS 61253 HAS SOUPS 18560 WITH SCORE 18657.703
AT ITER 6719 NEW BEST:: SOT 140328 SOS 97629 HAS SOPS 18952 HAS SOUS 61197 HAS SOUPS 18560 WITH SCORE 18657.629
AT ITER 6726 NEW BEST:: SOT 140320 SOS 97621 HAS SOPS 18932 HAS SOUS 61177 HAS SOUPS 18540 WITH SCORE 18637.621
AT ITER 6736 NEW BEST:: SOT 140320 SOS 97491 HAS SOPS 18932 HAS SOUS 61172 HAS SOUPS 18540 WITH SCORE 18637.491
AT ITER 6784 NEW BEST:: SOT 140303 SOS 97474 HAS SOPS 18932 HAS SOUS 61172 HAS SOUPS 18540 WITH SCORE 18637.474
AT ITER 6786 NEW BEST:: SOT 140303 SOS 97474 HAS SOPS 18930 HAS SOUS 61174 HAS SOUPS 18538 WITH SCORE 18635.474
AT ITER 6795 NEW BEST:: SOT 140303 SOS 97434 HAS SOPS 18930 HAS SOUS 61174 HAS SOUPS 18538 WITH SCORE 18635.434
AT ITER 6798 NEW BEST:: SOT 140297 SOS 97428 HAS SOPS 18930 HAS SOUS 61168 HAS SOUPS 18538 WITH SCORE 18635.428
AT ITER 6800 NEW BEST:: SOT 140297 SOS 97310 HAS SOPS 18930 HAS SOUS 61155 HAS SOUPS 18538 WITH SCORE 18635.31
AT ITER 6823 NEW BEST:: SOT 140297 SOS 97242 HAS SOPS 18930 HAS SOUS 61121 HAS SOUPS 18538 WITH SCORE 18635.242
AT ITER 6828 NEW BEST:: SOT 140297 SOS 97208 HAS SOPS 18930 HAS SOUS 61121 HAS SOUPS 18538 WITH SCORE 18635.208
AT ITER 6883 NEW BEST:: SOT 140247 SOS 97158 HAS SOPS 18858 HAS SOUS 61043 HAS SOUPS 18466 WITH SCORE 18563.158
AT ITER 6888 NEW BEST:: SOT 140247 SOS 97158 HAS SOPS 18826 HAS SOUS 61014 HAS SOUPS 18434 WITH SCORE 18531.158
AT ITER 6931 NEW BEST:: SOT 140247 SOS 97144 HAS SOPS 18826 HAS SOUS 61001 HAS SOUPS 18434 WITH SCORE 18531.144
AT ITER 6940 NEW BEST:: SOT 140275 SOS 97272 HAS SOPS 18782 HAS SOUS 61066 HAS SOUPS 18390 WITH SCORE 18487.272
AT ITER 6941 NEW BEST:: SOT 140275 SOS 97268 HAS SOPS 18782 HAS SOUS 61066 HAS SOUPS 18390 WITH SCORE 18487.268
AT ITER 6946 NEW BEST:: SOT 140356 SOS 97525 HAS SOPS 18760 HAS SOUS 61187 HAS SOUPS 18368 WITH SCORE 18465.525
AT ITER 6964 NEW BEST:: SOT 140354 SOS 97523 HAS SOPS 18758 HAS SOUS 61185 HAS SOUPS 18366 WITH SCORE 18463.523
AT ITER 6977 NEW BEST:: SOT 140362 SOS 97531 HAS SOPS 18728 HAS SOUS 61193 HAS SOUPS 18336 WITH SCORE 18433.531
AT ITER 7002 NEW BEST:: SOT 140362 SOS 97515 HAS SOPS 18728 HAS SOUS 61185 HAS SOUPS 18336 WITH SCORE 18433.515
AT ITER 7010 NEW BEST:: SOT 140362 SOS 97511 HAS SOPS 18728 HAS SOUS 61184 HAS SOUPS 18336 WITH SCORE 18433.511
AT ITER 7061 NEW BEST:: SOT 140347 SOS 97496 HAS SOPS 18667 HAS SOUS 61177 HAS SOUPS 18283 WITH SCORE 18380.496
AT ITER 7062 NEW BEST:: SOT 140324 SOS 97427 HAS SOPS 18667 HAS SOUS 61131 HAS SOUPS 18283 WITH SCORE 18380.427
AT ITER 7070 NEW BEST:: SOT 140310 SOS 97385 HAS SOPS 18667 HAS SOUS 61117 HAS SOUPS 18283 WITH SCORE 18380.385
AT ITER 7092 NEW BEST:: SOT 140307 SOS 97382 HAS SOPS 18667 HAS SOUS 61111 HAS SOUPS 18283 WITH SCORE 18380.382
AT ITER 7093 NEW BEST:: SOT 140430 SOS 97840 HAS SOPS 18551 HAS SOUS 61415 HAS SOUPS 18167 WITH SCORE 18264.84
AT ITER 7108 NEW BEST:: SOT 140422 SOS 97832 HAS SOPS 18535 HAS SOUS 61423 HAS SOUPS 18151 WITH SCORE 18248.832
AT ITER 7110 NEW BEST:: SOT 140386 SOS 97796 HAS SOPS 18535 HAS SOUS 61379 HAS SOUPS 18151 WITH SCORE 18248.796
AT ITER 7143 NEW BEST:: SOT 140386 SOS 97728 HAS SOPS 18535 HAS SOUS 61345 HAS SOUPS 18151 WITH SCORE 18248.728
AT ITER 7158 NEW BEST:: SOT 140377 SOS 97719 HAS SOPS 18517 HAS SOUS 61336 HAS SOUPS 18133 WITH SCORE 18230.719
AT ITER 7162 NEW BEST:: SOT 140377 SOS 97711 HAS SOPS 18517 HAS SOUS 61336 HAS SOUPS 18133 WITH SCORE 18230.711
AT ITER 7171 NEW BEST:: SOT 140351 SOS 97581 HAS SOPS 18517 HAS SOUS 61284 HAS SOUPS 18133 WITH SCORE 18230.581
AT ITER 7172 NEW BEST:: SOT 140338 SOS 97568 HAS SOPS 18504 HAS SOUS 61271 HAS SOUPS 18120 WITH SCORE 18217.568
AT ITER 7176 NEW BEST:: SOT 140338 SOS 97550 HAS SOPS 18504 HAS SOUS 61277 HAS SOUPS 18120 WITH SCORE 18217.55
AT ITER 7199 NEW BEST:: SOT 140336 SOS 97548 HAS SOPS 18500 HAS SOUS 61291 HAS SOUPS 18116 WITH SCORE 18213.548
AT ITER 7215 NEW BEST:: SOT 140336 SOS 97502 HAS SOPS 18500 HAS SOUS 61291 HAS SOUPS 18116 WITH SCORE 18213.502
AT ITER 7242 NEW BEST:: SOT 140340 SOS 97506 HAS SOPS 18497 HAS SOUS 61246 HAS SOUPS 18092 WITH SCORE 18189.506
AT ITER 7246 NEW BEST:: SOT 140340 SOS 97506 HAS SOPS 18461 HAS SOUS 61210 HAS SOUPS 18056 WITH SCORE 18153.506
AT ITER 7262 NEW BEST:: SOT 140340 SOS 97454 HAS SOPS 18461 HAS SOUS 61210 HAS SOUPS 18056 WITH SCORE 18153.454
AT ITER 7263 NEW BEST:: SOT 140299 SOS 97413 HAS SOPS 18435 HAS SOUS 61169 HAS SOUPS 18030 WITH SCORE 18127.413
AT ITER 7267 NEW BEST:: SOT 140299 SOS 97333 HAS SOPS 18435 HAS SOUS 61133 HAS SOUPS 18030 WITH SCORE 18127.333
AT ITER 7276 NEW BEST:: SOT 140299 SOS 97311 HAS SOPS 18435 HAS SOUS 61133 HAS SOUPS 18030 WITH SCORE 18127.311
AT ITER 7278 NEW BEST:: SOT 140299 SOS 97281 HAS SOPS 18435 HAS SOUS 61066 HAS SOUPS 18030 WITH SCORE 18127.281
AT ITER 7320 NEW BEST:: SOT 140282 SOS 97264 HAS SOPS 18433 HAS SOUS 61033 HAS SOUPS 18028 WITH SCORE 18125.264
AT ITER 7335 NEW BEST:: SOT 140302 SOS 97396 HAS SOPS 18380 HAS SOUS 61011 HAS SOUPS 17975 WITH SCORE 18072.396
AT ITER 7349 NEW BEST:: SOT 140302 SOS 97340 HAS SOPS 18380 HAS SOUS 61011 HAS SOUPS 17975 WITH SCORE 18072.34
AT ITER 7356 NEW BEST:: SOT 140302 SOS 97276 HAS SOPS 18380 HAS SOUS 61011 HAS SOUPS 17975 WITH SCORE 18072.276
AT ITER 7367 NEW BEST:: SOT 140302 SOS 97268 HAS SOPS 18380 HAS SOUS 60938 HAS SOUPS 17975 WITH SCORE 18072.268
AT ITER 7412 NEW BEST:: SOT 140302 SOS 97266 HAS SOPS 18380 HAS SOUS 60938 HAS SOUPS 17975 WITH SCORE 18072.266
AT ITER 7423 NEW BEST:: SOT 140302 SOS 97160 HAS SOPS 18380 HAS SOUS 60870 HAS SOUPS 17975 WITH SCORE 18072.16
AT ITER 7431 NEW BEST:: SOT 140273 SOS 97131 HAS SOPS 18354 HAS SOUS 60845 HAS SOUPS 17949 WITH SCORE 18046.131
AT ITER 7440 NEW BEST:: SOT 140273 SOS 97131 HAS SOPS 18288 HAS SOUS 60775 HAS SOUPS 17883 WITH SCORE 17980.131
AT ITER 7466 NEW BEST:: SOT 140260 SOS 97118 HAS SOPS 18288 HAS SOUS 60762 HAS SOUPS 17883 WITH SCORE 17980.118
AT ITER 7479 NEW BEST:: SOT 140254 SOS 97112 HAS SOPS 18276 HAS SOUS 60789 HAS SOUPS 17871 WITH SCORE 17968.112
AT ITER 7533 NEW BEST:: SOT 140222 SOS 97080 HAS SOPS 18251 HAS SOUS 60757 HAS SOUPS 17846 WITH SCORE 17943.08
AT ITER 7557 NEW BEST:: SOT 139907 SOS 96837 HAS SOPS 18231 HAS SOUS 60669 HAS SOUPS 17826 WITH SCORE 17922.837
AT ITER 7562 NEW BEST:: SOT 139907 SOS 96945 HAS SOPS 18141 HAS SOUS 60623 HAS SOUPS 17736 WITH SCORE 17832.945
AT ITER 7630 NEW BEST:: SOT 139904 SOS 96942 HAS SOPS 18135 HAS SOUS 60620 HAS SOUPS 17730 WITH SCORE 17826.942
AT ITER 7631 NEW BEST:: SOT 139852 SOS 96890 HAS SOPS 18135 HAS SOUS 60546 HAS SOUPS 17730 WITH SCORE 17826.89
AT ITER 7652 NEW BEST:: SOT 139852 SOS 96712 HAS SOPS 18135 HAS SOUS 60462 HAS SOUPS 17730 WITH SCORE 17826.712
AT ITER 7699 NEW BEST:: SOT 139852 SOS 96696 HAS SOPS 18135 HAS SOUS 60462 HAS SOUPS 17730 WITH SCORE 17826.696
AT ITER 7722 NEW BEST:: SOT 139817 SOS 96593 HAS SOPS 18135 HAS SOUS 60427 HAS SOUPS 17730 WITH SCORE 17826.593
AT ITER 7738 NEW BEST:: SOT 139801 SOS 96577 HAS SOPS 18063 HAS SOUS 60331 HAS SOUPS 17658 WITH SCORE 17754.577
AT ITER 7741 NEW BEST:: SOT 139792 SOS 96559 HAS SOPS 18036 HAS SOUS 60304 HAS SOUPS 17631 WITH SCORE 17727.559
AT ITER 7752 NEW BEST:: SOT 139789 SOS 96550 HAS SOPS 18036 HAS SOUS 60298 HAS SOUPS 17631 WITH SCORE 17727.55
AT ITER 7803 NEW BEST:: SOT 139770 SOS 96531 HAS SOPS 18017 HAS SOUS 60279 HAS SOUPS 17612 WITH SCORE 17708.531
AT ITER 7806 NEW BEST:: SOT 139770 SOS 96509 HAS SOPS 18017 HAS SOUS 60268 HAS SOUPS 17612 WITH SCORE 17708.509
AT ITER 7833 NEW BEST:: SOT 139763 SOS 96502 HAS SOPS 18003 HAS SOUS 60183 HAS SOUPS 17598 WITH SCORE 17694.502
AT ITER 7838 NEW BEST:: SOT 139763 SOS 96462 HAS SOPS 18003 HAS SOUS 60134 HAS SOUPS 17598 WITH SCORE 17694.462
AT ITER 7851 NEW BEST:: SOT 139763 SOS 96410 HAS SOPS 18003 HAS SOUS 60107 HAS SOUPS 17598 WITH SCORE 17694.41
AT ITER 7858 NEW BEST:: SOT 139665 SOS 96116 HAS SOPS 18003 HAS SOUS 59911 HAS SOUPS 17598 WITH SCORE 17694.116
AT ITER 7876 NEW BEST:: SOT 139665 SOS 96110 HAS SOPS 18003 HAS SOUS 59867 HAS SOUPS 17598 WITH SCORE 17694.11
AT ITER 7896 NEW BEST:: SOT 139665 SOS 96026 HAS SOPS 18003 HAS SOUS 59867 HAS SOUPS 17598 WITH SCORE 17694.026
AT ITER 8005 NEW BEST:: SOT 139675 SOS 96036 HAS SOPS 17981 HAS SOUS 59862 HAS SOUPS 17576 WITH SCORE 17672.036
AT ITER 8030 NEW BEST:: SOT 139673 SOS 96032 HAS SOPS 17980 HAS SOUS 59859 HAS SOUPS 17575 WITH SCORE 17671.032
AT ITER 8062 NEW BEST:: SOT 139677 SOS 96036 HAS SOPS 17976 HAS SOUS 59855 HAS SOUPS 17571 WITH SCORE 17667.036
AT ITER 8073 NEW BEST:: SOT 139681 SOS 96049 HAS SOPS 17966 HAS SOUS 59868 HAS SOUPS 17561 WITH SCORE 17657.049
AT ITER 8100 NEW BEST:: SOT 139723 SOS 95679 HAS SOPS 18008 HAS SOUS 59661 HAS SOUPS 17533 WITH SCORE 17628.679
AT ITER 8128 NEW BEST:: SOT 139721 SOS 95677 HAS SOPS 17986 HAS SOUS 59677 HAS SOUPS 17529 WITH SCORE 17624.677
AT ITER 8129 NEW BEST:: SOT 139737 SOS 95693 HAS SOPS 18018 HAS SOUS 59565 HAS SOUPS 17504 WITH SCORE 17599.693
AT ITER 8160 NEW BEST:: SOT 139730 SOS 95686 HAS SOPS 18016 HAS SOUS 59560 HAS SOUPS 17502 WITH SCORE 17597.686
AT ITER 8173 NEW BEST:: SOT 139728 SOS 95684 HAS SOPS 18012 HAS SOUS 59558 HAS SOUPS 17498 WITH SCORE 17593.684
AT ITER 8177 NEW BEST:: SOT 139752 SOS 97492 HAS SOPS 17914 HAS SOUS 61240 HAS SOUPS 17400 WITH SCORE 17497.492
AT ITER 8188 NEW BEST:: SOT 139749 SOS 97489 HAS SOPS 17947 HAS SOUS 61198 HAS SOUPS 17394 WITH SCORE 17491.489
AT ITER 8203 NEW BEST:: SOT 139643 SOS 97271 HAS SOPS 17927 HAS SOUS 61015 HAS SOUPS 17370 WITH SCORE 17467.271
AT ITER 8251 NEW BEST:: SOT 139634 SOS 97262 HAS SOPS 17926 HAS SOUS 61025 HAS SOUPS 17369 WITH SCORE 17466.262
AT ITER 8271 NEW BEST:: SOT 139634 SOS 97332 HAS SOPS 17862 HAS SOUS 60984 HAS SOUPS 17305 WITH SCORE 17402.332
AT ITER 8340 NEW BEST:: SOT 139634 SOS 97304 HAS SOPS 17862 HAS SOUS 60956 HAS SOUPS 17305 WITH SCORE 17402.304
AT ITER 8360 NEW BEST:: SOT 139634 SOS 97304 HAS SOPS 17750 HAS SOUS 60900 HAS SOUPS 17249 WITH SCORE 17346.304
AT ITER 8375 NEW BEST:: SOT 139649 SOS 97092 HAS SOPS 17765 HAS SOUS 60775 HAS SOUPS 17245 WITH SCORE 17342.092
AT ITER 8397 NEW BEST:: SOT 139651 SOS 97094 HAS SOPS 17757 HAS SOUS 60789 HAS SOUPS 17237 WITH SCORE 17334.094
AT ITER 8418 NEW BEST:: SOT 139651 SOS 96684 HAS SOPS 17757 HAS SOUS 60247 HAS SOUPS 17237 WITH SCORE 17333.684
AT ITER 8440 NEW BEST:: SOT 139651 SOS 96630 HAS SOPS 17757 HAS SOUS 60247 HAS SOUPS 17237 WITH SCORE 17333.63
AT ITER 8447 NEW BEST:: SOT 139651 SOS 95126 HAS SOPS 17757 HAS SOUS 59073 HAS SOUPS 17237 WITH SCORE 17332.126
AT ITER 8450 NEW BEST:: SOT 139651 SOS 95054 HAS SOPS 17757 HAS SOUS 59065 HAS SOUPS 17237 WITH SCORE 17332.054
AT ITER 8467 NEW BEST:: SOT 139641 SOS 95044 HAS SOPS 17757 HAS SOUS 59055 HAS SOUPS 17237 WITH SCORE 17332.044
AT ITER 8490 NEW BEST:: SOT 139753 SOS 95156 HAS SOPS 17755 HAS SOUS 59045 HAS SOUPS 17235 WITH SCORE 17330.156
AT ITER 8492 NEW BEST:: SOT 139788 SOS 95247 HAS SOPS 17720 HAS SOUS 59024 HAS SOUPS 17200 WITH SCORE 17295.247
AT ITER 8499 NEW BEST:: SOT 139788 SOS 95050 HAS SOPS 17720 HAS SOUS 58974 HAS SOUPS 17200 WITH SCORE 17295.05
AT ITER 8500 NEW BEST:: SOT 139869 SOS 95131 HAS SOPS 17709 HAS SOUS 59055 HAS SOUPS 17189 WITH SCORE 17284.131
AT ITER 8502 NEW BEST:: SOT 139807 SOS 94951 HAS SOPS 17719 HAS SOUS 58904 HAS SOUPS 17187 WITH SCORE 17281.951
AT ITER 8505 NEW BEST:: SOT 139807 SOS 94883 HAS SOPS 17719 HAS SOUS 58893 HAS SOUPS 17187 WITH SCORE 17281.883
AT ITER 8511 NEW BEST:: SOT 139807 SOS 94851 HAS SOPS 17719 HAS SOUS 58879 HAS SOUPS 17187 WITH SCORE 17281.851
AT ITER 8518 NEW BEST:: SOT 139804 SOS 94848 HAS SOPS 17719 HAS SOUS 58882 HAS SOUPS 17187 WITH SCORE 17281.848
AT ITER 8547 NEW BEST:: SOT 139804 SOS 94830 HAS SOPS 17719 HAS SOUS 58873 HAS SOUPS 17187 WITH SCORE 17281.83
AT ITER 8551 NEW BEST:: SOT 139804 SOS 94748 HAS SOPS 17719 HAS SOUS 58860 HAS SOUPS 17187 WITH SCORE 17281.748
AT ITER 8555 NEW BEST:: SOT 139800 SOS 94744 HAS SOPS 17707 HAS SOUS 58852 HAS SOUPS 17171 WITH SCORE 17265.744
AT ITER 8578 NEW BEST:: SOT 139813 SOS 94757 HAS SOPS 17688 HAS SOUS 58833 HAS SOUPS 17152 WITH SCORE 17246.757
AT ITER 8613 NEW BEST:: SOT 139773 SOS 94717 HAS SOPS 17678 HAS SOUS 58886 HAS SOUPS 17142 WITH SCORE 17236.717
AT ITER 8648 NEW BEST:: SOT 139773 SOS 94693 HAS SOPS 17678 HAS SOUS 58895 HAS SOUPS 17142 WITH SCORE 17236.693
AT ITER 8654 NEW BEST:: SOT 139773 SOS 94691 HAS SOPS 17674 HAS SOUS 58893 HAS SOUPS 17138 WITH SCORE 17232.691
AT ITER 8672 NEW BEST:: SOT 139771 SOS 94689 HAS SOPS 17670 HAS SOUS 58905 HAS SOUPS 17134 WITH SCORE 17228.689
AT ITER 8708 NEW BEST:: SOT 139771 SOS 94677 HAS SOPS 17670 HAS SOUS 58905 HAS SOUPS 17134 WITH SCORE 17228.677
AT ITER 8776 NEW BEST:: SOT 139771 SOS 94649 HAS SOPS 17670 HAS SOUS 58891 HAS SOUPS 17134 WITH SCORE 17228.649
AT ITER 8782 NEW BEST:: SOT 139771 SOS 94637 HAS SOPS 17670 HAS SOUS 58885 HAS SOUPS 17134 WITH SCORE 17228.637
AT ITER 8786 NEW BEST:: SOT 139806 SOS 94672 HAS SOPS 17660 HAS SOUS 58915 HAS SOUPS 17124 WITH SCORE 17218.672
AT ITER 8839 NEW BEST:: SOT 139762 SOS 94628 HAS SOPS 17467 HAS SOUS 58694 HAS SOUPS 16931 WITH SCORE 17025.628
AT ITER 8844 NEW BEST:: SOT 139767 SOS 94633 HAS SOPS 17466 HAS SOUS 58693 HAS SOUPS 16930 WITH SCORE 17024.633
AT ITER 8865 NEW BEST:: SOT 139577 SOS 95007 HAS SOPS 17276 HAS SOUS 58808 HAS SOUPS 16752 WITH SCORE 16847.007
AT ITER 8873 NEW BEST:: SOT 139555 SOS 94985 HAS SOPS 17210 HAS SOUS 58764 HAS SOUPS 16708 WITH SCORE 16802.985
AT ITER 8890 NEW BEST:: SOT 139627 SOS 95006 HAS SOPS 17282 HAS SOUS 58692 HAS SOUPS 16676 WITH SCORE 16771.006
AT ITER 8893 NEW BEST:: SOT 139626 SOS 95005 HAS SOPS 17281 HAS SOUS 58691 HAS SOUPS 16675 WITH SCORE 16770.005
AT ITER 8897 NEW BEST:: SOT 139626 SOS 94999 HAS SOPS 17281 HAS SOUS 58691 HAS SOUPS 16675 WITH SCORE 16769.999
AT ITER 8928 NEW BEST:: SOT 139581 SOS 95463 HAS SOPS 17236 HAS SOUS 58904 HAS SOUPS 16653 WITH SCORE 16748.463
AT ITER 8929 NEW BEST:: SOT 139566 SOS 95448 HAS SOPS 17206 HAS SOUS 58716 HAS SOUPS 16623 WITH SCORE 16718.448
AT ITER 8956 NEW BEST:: SOT 139566 SOS 95366 HAS SOPS 17206 HAS SOUS 58716 HAS SOUPS 16623 WITH SCORE 16718.366
AT ITER 8957 NEW BEST:: SOT 139536 SOS 95336 HAS SOPS 17202 HAS SOUS 58656 HAS SOUPS 16619 WITH SCORE 16714.336
AT ITER 8959 NEW BEST:: SOT 139533 SOS 95333 HAS SOPS 17202 HAS SOUS 58653 HAS SOUPS 16619 WITH SCORE 16714.333
AT ITER 9006 NEW BEST:: SOT 139533 SOS 95319 HAS SOPS 17202 HAS SOUS 58641 HAS SOUPS 16619 WITH SCORE 16714.319
AT ITER 9012 NEW BEST:: SOT 139484 SOS 95270 HAS SOPS 17194 HAS SOUS 58592 HAS SOUPS 16611 WITH SCORE 16706.27
AT ITER 9041 NEW BEST:: SOT 139484 SOS 95264 HAS SOPS 17194 HAS SOUS 58592 HAS SOUPS 16611 WITH SCORE 16706.264
AT ITER 9100 NEW BEST:: SOT 139484 SOS 95252 HAS SOPS 17194 HAS SOUS 58586 HAS SOUPS 16611 WITH SCORE 16706.252
AT ITER 9123 NEW BEST:: SOT 139469 SOS 95237 HAS SOPS 17179 HAS SOUS 58571 HAS SOUPS 16596 WITH SCORE 16691.237
AT ITER 9195 NEW BEST:: SOT 139454 SOS 95222 HAS SOPS 17173 HAS SOUS 58559 HAS SOUPS 16590 WITH SCORE 16685.222
AT ITER 9214 NEW BEST:: SOT 139322 SOS 95090 HAS SOPS 17157 HAS SOUS 58456 HAS SOUPS 16574 WITH SCORE 16669.09
AT ITER 9246 NEW BEST:: SOT 139306 SOS 95074 HAS SOPS 17214 HAS SOUS 58372 HAS SOUPS 16563 WITH SCORE 16658.074
AT ITER 9258 NEW BEST:: SOT 139322 SOS 95163 HAS SOPS 17172 HAS SOUS 58367 HAS SOUPS 16521 WITH SCORE 16616.163
AT ITER 9264 NEW BEST:: SOT 139322 SOS 95163 HAS SOPS 17165 HAS SOUS 58367 HAS SOUPS 16514 WITH SCORE 16609.163
AT ITER 9266 NEW BEST:: SOT 139360 SOS 95201 HAS SOPS 17159 HAS SOUS 58392 HAS SOUPS 16509 WITH SCORE 16604.201
AT ITER 9280 NEW BEST:: SOT 139358 SOS 95199 HAS SOPS 17153 HAS SOUS 58386 HAS SOUPS 16503 WITH SCORE 16598.199
AT ITER 9287 NEW BEST:: SOT 139358 SOS 95181 HAS SOPS 17153 HAS SOUS 58354 HAS SOUPS 16503 WITH SCORE 16598.181
AT ITER 9311 NEW BEST:: SOT 139294 SOS 95533 HAS SOPS 17089 HAS SOUS 58546 HAS SOUPS 16471 WITH SCORE 16566.533
AT ITER 9325 NEW BEST:: SOT 139323 SOS 95678 HAS SOPS 17060 HAS SOUS 58546 HAS SOUPS 16442 WITH SCORE 16537.678
AT ITER 9347 NEW BEST:: SOT 139317 SOS 95677 HAS SOPS 17041 HAS SOUS 58552 HAS SOUPS 16430 WITH SCORE 16525.677
AT ITER 9381 NEW BEST:: SOT 139291 SOS 95643 HAS SOPS 17041 HAS SOUS 58506 HAS SOUPS 16430 WITH SCORE 16525.643
AT ITER 9398 NEW BEST:: SOT 139229 SOS 95598 HAS SOPS 17038 HAS SOUS 58447 HAS SOUPS 16414 WITH SCORE 16509.598
AT ITER 9428 NEW BEST:: SOT 139229 SOS 95588 HAS SOPS 17038 HAS SOUS 58455 HAS SOUPS 16414 WITH SCORE 16509.588
AT ITER 9444 NEW BEST:: SOT 139018 SOS 95069 HAS SOPS 17100 HAS SOUS 57900 HAS SOUPS 16300 WITH SCORE 16395.069
AT ITER 9480 NEW BEST:: SOT 139018 SOS 94999 HAS SOPS 17100 HAS SOUS 57865 HAS SOUPS 16300 WITH SCORE 16394.999
AT ITER 9537 NEW BEST:: SOT 139018 SOS 94963 HAS SOPS 17100 HAS SOUS 57865 HAS SOUPS 16300 WITH SCORE 16394.963
AT ITER 9628 NEW BEST:: SOT 139014 SOS 94959 HAS SOPS 17098 HAS SOUS 57861 HAS SOUPS 16298 WITH SCORE 16392.959
AT ITER 9641 NEW BEST:: SOT 139016 SOS 94961 HAS SOPS 17095 HAS SOUS 57851 HAS SOUPS 16295 WITH SCORE 16389.961
AT ITER 9650 NEW BEST:: SOT 138997 SOS 94942 HAS SOPS 17086 HAS SOUS 57842 HAS SOUPS 16286 WITH SCORE 16380.942
AT ITER 9684 NEW BEST:: SOT 138997 SOS 94902 HAS SOPS 17086 HAS SOUS 57822 HAS SOUPS 16286 WITH SCORE 16380.902
AT ITER 9704 NEW BEST:: SOT 138997 SOS 94902 HAS SOPS 17082 HAS SOUS 57822 HAS SOUPS 16282 WITH SCORE 16376.902
AT ITER 9740 NEW BEST:: SOT 138997 SOS 94870 HAS SOPS 17082 HAS SOUS 57814 HAS SOUPS 16282 WITH SCORE 16376.87
AT ITER 9750 NEW BEST:: SOT 138963 SOS 94836 HAS SOPS 17082 HAS SOUS 57814 HAS SOUPS 16282 WITH SCORE 16376.836
AT ITER 9808 NEW BEST:: SOT 139126 SOS 94999 HAS SOPS 17147 HAS SOUS 57804 HAS SOUPS 16272 WITH SCORE 16366.999
AT ITER 9839 NEW BEST:: SOT 139113 SOS 94986 HAS SOPS 17134 HAS SOUS 57791 HAS SOUPS 16259 WITH SCORE 16353.986
AT ITER 9845 NEW BEST:: SOT 139129 SOS 95002 HAS SOPS 17113 HAS SOUS 57816 HAS SOUPS 16238 WITH SCORE 16333.002
AT ITER 9890 NEW BEST:: SOT 139073 SOS 94946 HAS SOPS 17001 HAS SOUS 57810 HAS SOUPS 16126 WITH SCORE 16220.946
AT ITER 9941 NEW BEST:: SOT 139069 SOS 94942 HAS SOPS 16993 HAS SOUS 57791 HAS SOUPS 16118 WITH SCORE 16212.942
AT ITER 9947 NEW BEST:: SOT 139079 SOS 94938 HAS SOPS 16985 HAS SOUS 57769 HAS SOUPS 16110 WITH SCORE 16204.938
AT ITER 9975 NEW BEST:: SOT 139086 SOS 94945 HAS SOPS 16979 HAS SOUS 57762 HAS SOUPS 16104 WITH SCORE 16198.945
STATE_SPACE STATES 17424 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 212 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 53328 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678743675098

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BART-PT-002"
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 BART-PT-002, 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 r011-oct2-167813600700760"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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