Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897680200568.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680200568
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 312K
-rw-r--r-- 1 mcc users 3.2K Mar 26 02:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 26 02:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 25 22:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 22:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 157K Mar 24 05:37 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 1590869256921

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 15
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 630 places, 566 transitions, 1666 arcs.
AT ITER 0 NEW BEST:: SOT 225435 SOS 87383 HAS SOPS 87383 HAS SOUS 84782 HAS SOUPS 84782 WITH SCORE 84869.383
AT ITER 5 NEW BEST:: SOT 225434 SOS 87354 HAS SOPS 87354 HAS SOUS 84779 HAS SOUPS 84779 WITH SCORE 84866.354
AT ITER 11 NEW BEST:: SOT 225137 SOS 86971 HAS SOPS 86971 HAS SOUS 84396 HAS SOUPS 84396 WITH SCORE 84482.971
AT ITER 27 NEW BEST:: SOT 224950 SOS 86768 HAS SOPS 86768 HAS SOUS 84193 HAS SOUPS 84193 WITH SCORE 84279.768
AT ITER 37 NEW BEST:: SOT 224771 SOS 86549 HAS SOPS 86549 HAS SOUS 83974 HAS SOUPS 83974 WITH SCORE 84060.549
AT ITER 47 NEW BEST:: SOT 224771 SOS 86490 HAS SOPS 86490 HAS SOUS 83915 HAS SOUPS 83915 WITH SCORE 84001.49
AT ITER 51 NEW BEST:: SOT 224739 SOS 86488 HAS SOPS 86488 HAS SOUS 83882 HAS SOUPS 83882 WITH SCORE 83968.488
AT ITER 54 NEW BEST:: SOT 224699 SOS 86240 HAS SOPS 86240 HAS SOUS 83634 HAS SOUPS 83634 WITH SCORE 83720.24
AT ITER 57 NEW BEST:: SOT 224579 SOS 86000 HAS SOPS 86000 HAS SOUS 83394 HAS SOUPS 83394 WITH SCORE 83480.0
AT ITER 68 NEW BEST:: SOT 221311 SOS 83632 HAS SOPS 83632 HAS SOUS 80169 HAS SOUPS 80169 WITH SCORE 80252.632
AT ITER 77 NEW BEST:: SOT 221310 SOS 83630 HAS SOPS 83630 HAS SOUS 80167 HAS SOUPS 80167 WITH SCORE 80250.63
AT ITER 82 NEW BEST:: SOT 221310 SOS 83556 HAS SOPS 83556 HAS SOUS 80093 HAS SOUPS 80093 WITH SCORE 80176.556
AT ITER 124 NEW BEST:: SOT 221310 SOS 83556 HAS SOPS 83556 HAS SOUS 80081 HAS SOUPS 80081 WITH SCORE 80164.556
AT ITER 126 NEW BEST:: SOT 221308 SOS 83543 HAS SOPS 83543 HAS SOUS 80077 HAS SOUPS 80077 WITH SCORE 80160.543
AT ITER 131 NEW BEST:: SOT 221308 SOS 83488 HAS SOPS 83488 HAS SOUS 80077 HAS SOUPS 80077 WITH SCORE 80160.488
AT ITER 135 NEW BEST:: SOT 221263 SOS 83488 HAS SOPS 83488 HAS SOUS 80032 HAS SOUPS 80032 WITH SCORE 80115.488
AT ITER 151 NEW BEST:: SOT 221312 SOS 83475 HAS SOPS 83475 HAS SOUS 79845 HAS SOUPS 79845 WITH SCORE 79928.475
AT ITER 156 NEW BEST:: SOT 221263 SOS 83377 HAS SOPS 83377 HAS SOUS 79763 HAS SOUPS 79763 WITH SCORE 79846.377
AT ITER 161 NEW BEST:: SOT 221262 SOS 83375 HAS SOPS 83375 HAS SOUS 79761 HAS SOUPS 79761 WITH SCORE 79844.375
AT ITER 164 NEW BEST:: SOT 221262 SOS 83323 HAS SOPS 83323 HAS SOUS 79723 HAS SOUPS 79723 WITH SCORE 79806.323
AT ITER 171 NEW BEST:: SOT 221231 SOS 83286 HAS SOPS 83286 HAS SOUS 79686 HAS SOUPS 79686 WITH SCORE 79769.286
AT ITER 175 NEW BEST:: SOT 221231 SOS 83274 HAS SOPS 83274 HAS SOUS 79674 HAS SOUPS 79674 WITH SCORE 79757.274
AT ITER 180 NEW BEST:: SOT 221049 SOS 83043 HAS SOPS 83043 HAS SOUS 79443 HAS SOUPS 79443 WITH SCORE 79526.043
AT ITER 183 NEW BEST:: SOT 221046 SOS 82942 HAS SOPS 82942 HAS SOUS 79437 HAS SOUPS 79437 WITH SCORE 79519.942
AT ITER 187 NEW BEST:: SOT 221046 SOS 82894 HAS SOPS 82894 HAS SOUS 79389 HAS SOUPS 79389 WITH SCORE 79471.894
AT ITER 198 NEW BEST:: SOT 221045 SOS 82751 HAS SOPS 82751 HAS SOUS 79246 HAS SOUPS 79246 WITH SCORE 79328.751
AT ITER 201 NEW BEST:: SOT 221045 SOS 82677 HAS SOPS 82677 HAS SOUS 79172 HAS SOUPS 79172 WITH SCORE 79254.677
AT ITER 206 NEW BEST:: SOT 221045 SOS 82668 HAS SOPS 82668 HAS SOUS 79163 HAS SOUPS 79163 WITH SCORE 79245.668
AT ITER 211 NEW BEST:: SOT 221045 SOS 82639 HAS SOPS 82639 HAS SOUS 79134 HAS SOUPS 79134 WITH SCORE 79216.639
AT ITER 214 NEW BEST:: SOT 221045 SOS 82563 HAS SOPS 82563 HAS SOUS 79057 HAS SOUPS 79057 WITH SCORE 79139.563
AT ITER 231 NEW BEST:: SOT 221042 SOS 82560 HAS SOPS 82560 HAS SOUS 79054 HAS SOUPS 79054 WITH SCORE 79136.56
AT ITER 234 NEW BEST:: SOT 221042 SOS 82481 HAS SOPS 82481 HAS SOUS 78975 HAS SOUPS 78975 WITH SCORE 79057.481
AT ITER 248 NEW BEST:: SOT 220846 SOS 82206 HAS SOPS 82206 HAS SOUS 78700 HAS SOUPS 78700 WITH SCORE 78782.206
AT ITER 252 NEW BEST:: SOT 220829 SOS 82172 HAS SOPS 82172 HAS SOUS 78666 HAS SOUPS 78666 WITH SCORE 78748.172
AT ITER 259 NEW BEST:: SOT 220827 SOS 82168 HAS SOPS 82168 HAS SOUS 78662 HAS SOUPS 78662 WITH SCORE 78744.168
AT ITER 263 NEW BEST:: SOT 220714 SOS 82124 HAS SOPS 82124 HAS SOUS 78601 HAS SOUPS 78601 WITH SCORE 78683.124
AT ITER 278 NEW BEST:: SOT 220134 SOS 82275 HAS SOPS 82275 HAS SOUS 78343 HAS SOUPS 78343 WITH SCORE 78425.275
AT ITER 307 NEW BEST:: SOT 220134 SOS 82165 HAS SOPS 82165 HAS SOUS 78343 HAS SOUPS 78343 WITH SCORE 78425.165
AT ITER 318 NEW BEST:: SOT 219993 SOS 81998 HAS SOPS 81998 HAS SOUS 78176 HAS SOUPS 78176 WITH SCORE 78257.998
AT ITER 321 NEW BEST:: SOT 219817 SOS 81822 HAS SOPS 81822 HAS SOUS 78000 HAS SOUPS 78000 WITH SCORE 78081.822
AT ITER 324 NEW BEST:: SOT 219737 SOS 81594 HAS SOPS 81594 HAS SOUS 77772 HAS SOUPS 77772 WITH SCORE 77853.594
AT ITER 327 NEW BEST:: SOT 219734 SOS 81402 HAS SOPS 81402 HAS SOUS 77580 HAS SOUPS 77580 WITH SCORE 77661.402
AT ITER 331 NEW BEST:: SOT 219734 SOS 81380 HAS SOPS 81380 HAS SOUS 77558 HAS SOUPS 77558 WITH SCORE 77639.38
AT ITER 332 NEW BEST:: SOT 219733 SOS 81378 HAS SOPS 81378 HAS SOUS 77556 HAS SOUPS 77556 WITH SCORE 77637.378
AT ITER 355 NEW BEST:: SOT 219571 SOS 81269 HAS SOPS 81269 HAS SOUS 77447 HAS SOUPS 77447 WITH SCORE 77528.269
AT ITER 365 NEW BEST:: SOT 219466 SOS 81214 HAS SOPS 81214 HAS SOUS 77392 HAS SOUPS 77392 WITH SCORE 77473.214
AT ITER 373 NEW BEST:: SOT 217837 SOS 79635 HAS SOPS 79635 HAS SOUS 75788 HAS SOUPS 75788 WITH SCORE 75867.635
AT ITER 381 NEW BEST:: SOT 217667 SOS 79465 HAS SOPS 79465 HAS SOUS 75618 HAS SOUPS 75618 WITH SCORE 75697.465
AT ITER 386 NEW BEST:: SOT 217667 SOS 79437 HAS SOPS 79437 HAS SOUS 75590 HAS SOUPS 75590 WITH SCORE 75669.437
AT ITER 390 NEW BEST:: SOT 217601 SOS 79437 HAS SOPS 79437 HAS SOUS 75589 HAS SOUPS 75589 WITH SCORE 75668.437
AT ITER 397 NEW BEST:: SOT 215687 SOS 100000 HAS SOPS 100000 HAS SOUS 74128 HAS SOUPS 74128 WITH SCORE 74228.0
AT ITER 400 NEW BEST:: SOT 215605 SOS 99714 HAS SOPS 99714 HAS SOUS 74005 HAS SOUPS 74005 WITH SCORE 74104.714
AT ITER 407 NEW BEST:: SOT 212736 SOS 96899 HAS SOPS 96899 HAS SOUS 71190 HAS SOUPS 71190 WITH SCORE 71286.899
AT ITER 409 NEW BEST:: SOT 212604 SOS 96755 HAS SOPS 96755 HAS SOUS 71048 HAS SOUPS 71048 WITH SCORE 71144.755
AT ITER 412 NEW BEST:: SOT 212723 SOS 96665 HAS SOPS 96665 HAS SOUS 70976 HAS SOUPS 70976 WITH SCORE 71072.665
AT ITER 418 NEW BEST:: SOT 212694 SOS 96607 HAS SOPS 96607 HAS SOUS 70973 HAS SOUPS 70973 WITH SCORE 71069.607
AT ITER 421 NEW BEST:: SOT 212494 SOS 96361 HAS SOPS 96361 HAS SOUS 70881 HAS SOUPS 70881 WITH SCORE 70977.361
AT ITER 435 NEW BEST:: SOT 212233 SOS 95904 HAS SOPS 95904 HAS SOUS 70424 HAS SOUPS 70424 WITH SCORE 70519.904
AT ITER 440 NEW BEST:: SOT 212232 SOS 95902 HAS SOPS 95902 HAS SOUS 70422 HAS SOUPS 70422 WITH SCORE 70517.902
AT ITER 445 NEW BEST:: SOT 212096 SOS 95618 HAS SOPS 95618 HAS SOUS 70272 HAS SOUPS 70272 WITH SCORE 70367.618
AT ITER 451 NEW BEST:: SOT 212145 SOS 95632 HAS SOPS 95632 HAS SOUS 70235 HAS SOUPS 70235 WITH SCORE 70330.632
AT ITER 457 NEW BEST:: SOT 212075 SOS 95471 HAS SOPS 95471 HAS SOUS 70095 HAS SOUPS 70095 WITH SCORE 70190.471
AT ITER 468 NEW BEST:: SOT 212070 SOS 95466 HAS SOPS 95466 HAS SOUS 70090 HAS SOUPS 70090 WITH SCORE 70185.466
AT ITER 471 NEW BEST:: SOT 212070 SOS 95429 HAS SOPS 95429 HAS SOUS 70053 HAS SOUPS 70053 WITH SCORE 70148.429
AT ITER 478 NEW BEST:: SOT 211588 SOS 95018 HAS SOPS 95018 HAS SOUS 69860 HAS SOUPS 69860 WITH SCORE 69955.018
AT ITER 479 NEW BEST:: SOT 211440 SOS 94722 HAS SOPS 94722 HAS SOUS 69784 HAS SOUPS 69784 WITH SCORE 69878.722
AT ITER 496 NEW BEST:: SOT 211439 SOS 94720 HAS SOPS 94720 HAS SOUS 69782 HAS SOUPS 69782 WITH SCORE 69876.72
AT ITER 507 NEW BEST:: SOT 211061 SOS 94210 HAS SOPS 94210 HAS SOUS 69429 HAS SOUPS 69429 WITH SCORE 69523.21
AT ITER 515 NEW BEST:: SOT 210956 SOS 94063 HAS SOPS 94063 HAS SOUS 69345 HAS SOUPS 69345 WITH SCORE 69439.063
AT ITER 527 NEW BEST:: SOT 210956 SOS 93981 HAS SOPS 93981 HAS SOUS 69263 HAS SOUPS 69263 WITH SCORE 69356.981
AT ITER 529 NEW BEST:: SOT 210947 SOS 93972 HAS SOPS 93972 HAS SOUS 69254 HAS SOUPS 69254 WITH SCORE 69347.972
AT ITER 530 NEW BEST:: SOT 210947 SOS 93962 HAS SOPS 93962 HAS SOUS 69244 HAS SOUPS 69244 WITH SCORE 69337.962
AT ITER 533 NEW BEST:: SOT 210962 SOS 93694 HAS SOPS 93694 HAS SOUS 69167 HAS SOUPS 69167 WITH SCORE 69260.694
AT ITER 540 NEW BEST:: SOT 210902 SOS 93605 HAS SOPS 93605 HAS SOUS 69078 HAS SOUPS 69078 WITH SCORE 69171.605
AT ITER 542 NEW BEST:: SOT 210902 SOS 93605 HAS SOPS 93605 HAS SOUS 69077 HAS SOUPS 69077 WITH SCORE 69170.605
AT ITER 552 NEW BEST:: SOT 210894 SOS 93590 HAS SOPS 93590 HAS SOUS 69062 HAS SOUPS 69062 WITH SCORE 69155.59
AT ITER 553 NEW BEST:: SOT 210723 SOS 93418 HAS SOPS 93418 HAS SOUS 68890 HAS SOUPS 68890 WITH SCORE 68983.418
AT ITER 555 NEW BEST:: SOT 210432 SOS 93127 HAS SOPS 93127 HAS SOUS 68786 HAS SOUPS 68786 WITH SCORE 68879.127
AT ITER 562 NEW BEST:: SOT 210432 SOS 93116 HAS SOPS 93116 HAS SOUS 68775 HAS SOUPS 68775 WITH SCORE 68868.116
AT ITER 563 NEW BEST:: SOT 210222 SOS 92696 HAS SOPS 92696 HAS SOUS 68564 HAS SOUPS 68564 WITH SCORE 68656.696
AT ITER 568 NEW BEST:: SOT 210193 SOS 92670 HAS SOPS 92670 HAS SOUS 68538 HAS SOUPS 68538 WITH SCORE 68630.67
AT ITER 569 NEW BEST:: SOT 210130 SOS 92607 HAS SOPS 92607 HAS SOUS 68475 HAS SOUPS 68475 WITH SCORE 68567.607
AT ITER 580 NEW BEST:: SOT 210088 SOS 92565 HAS SOPS 92565 HAS SOUS 68433 HAS SOUPS 68433 WITH SCORE 68525.565
AT ITER 587 NEW BEST:: SOT 210070 SOS 92529 HAS SOPS 92529 HAS SOUS 68397 HAS SOUPS 68397 WITH SCORE 68489.529
AT ITER 588 NEW BEST:: SOT 210000 SOS 92459 HAS SOPS 92459 HAS SOUS 68397 HAS SOUPS 68397 WITH SCORE 68489.459
AT ITER 589 NEW BEST:: SOT 209982 SOS 92441 HAS SOPS 92441 HAS SOUS 68379 HAS SOUPS 68379 WITH SCORE 68471.441
AT ITER 603 NEW BEST:: SOT 209986 SOS 92362 HAS SOPS 92362 HAS SOUS 68315 HAS SOUPS 68315 WITH SCORE 68407.362
AT ITER 604 NEW BEST:: SOT 210023 SOS 92396 HAS SOPS 92396 HAS SOUS 68312 HAS SOUPS 68312 WITH SCORE 68404.396
AT ITER 607 NEW BEST:: SOT 209933 SOS 92216 HAS SOPS 92216 HAS SOUS 68220 HAS SOUPS 68220 WITH SCORE 68312.216
AT ITER 611 NEW BEST:: SOT 207667 SOS 89950 HAS SOPS 89950 HAS SOUS 66110 HAS SOUPS 66110 WITH SCORE 66199.95
AT ITER 620 NEW BEST:: SOT 207653 SOS 89936 HAS SOPS 89936 HAS SOUS 66096 HAS SOUPS 66096 WITH SCORE 66185.936
AT ITER 640 NEW BEST:: SOT 207450 SOS 89476 HAS SOPS 89476 HAS SOUS 65839 HAS SOUPS 65839 WITH SCORE 65928.476
AT ITER 651 NEW BEST:: SOT 207398 SOS 89292 HAS SOPS 89292 HAS SOUS 65735 HAS SOUPS 65735 WITH SCORE 65824.292
AT ITER 654 NEW BEST:: SOT 207355 SOS 89248 HAS SOPS 89248 HAS SOUS 65733 HAS SOUPS 65733 WITH SCORE 65822.248
AT ITER 664 NEW BEST:: SOT 207383 SOS 89200 HAS SOPS 89200 HAS SOUS 65708 HAS SOUPS 65708 WITH SCORE 65797.2
AT ITER 669 NEW BEST:: SOT 207331 SOS 89096 HAS SOPS 89096 HAS SOUS 65604 HAS SOUPS 65604 WITH SCORE 65693.096
AT ITER 672 NEW BEST:: SOT 207328 SOS 89093 HAS SOPS 89093 HAS SOUS 65601 HAS SOUPS 65601 WITH SCORE 65690.093
AT ITER 682 NEW BEST:: SOT 207230 SOS 89040 HAS SOPS 89040 HAS SOUS 65485 HAS SOUPS 65485 WITH SCORE 65574.04
AT ITER 695 NEW BEST:: SOT 207221 SOS 89013 HAS SOPS 89013 HAS SOUS 65467 HAS SOUPS 65467 WITH SCORE 65556.013
AT ITER 717 NEW BEST:: SOT 207212 SOS 88996 HAS SOPS 88996 HAS SOUS 65442 HAS SOUPS 65442 WITH SCORE 65530.996
AT ITER 723 NEW BEST:: SOT 205814 SOS 87595 HAS SOPS 87595 HAS SOUS 64041 HAS SOUPS 64041 WITH SCORE 64128.595
AT ITER 727 NEW BEST:: SOT 205793 SOS 87495 HAS SOPS 87495 HAS SOUS 63941 HAS SOUPS 63941 WITH SCORE 64028.495
AT ITER 742 NEW BEST:: SOT 205791 SOS 87493 HAS SOPS 87493 HAS SOUS 63939 HAS SOUPS 63939 WITH SCORE 64026.493
AT ITER 761 NEW BEST:: SOT 205778 SOS 87480 HAS SOPS 87480 HAS SOUS 63939 HAS SOUPS 63939 WITH SCORE 64026.48
AT ITER 763 NEW BEST:: SOT 205703 SOS 87219 HAS SOPS 87219 HAS SOUS 63678 HAS SOUPS 63678 WITH SCORE 63765.219
AT ITER 770 NEW BEST:: SOT 205591 SOS 87086 HAS SOPS 87086 HAS SOUS 63545 HAS SOUPS 63545 WITH SCORE 63632.086
AT ITER 772 NEW BEST:: SOT 205591 SOS 87059 HAS SOPS 87059 HAS SOUS 63529 HAS SOUPS 63529 WITH SCORE 63616.059
AT ITER 773 NEW BEST:: SOT 205617 SOS 87046 HAS SOPS 87046 HAS SOUS 63524 HAS SOUPS 63524 WITH SCORE 63611.046
AT ITER 805 NEW BEST:: SOT 205616 SOS 87045 HAS SOPS 87045 HAS SOUS 63523 HAS SOUPS 63523 WITH SCORE 63610.045
AT ITER 817 NEW BEST:: SOT 205615 SOS 86946 HAS SOPS 86946 HAS SOUS 63424 HAS SOUPS 63424 WITH SCORE 63510.946
AT ITER 818 NEW BEST:: SOT 205585 SOS 86886 HAS SOPS 86886 HAS SOUS 63364 HAS SOUPS 63364 WITH SCORE 63450.886
AT ITER 831 NEW BEST:: SOT 205581 SOS 86878 HAS SOPS 86878 HAS SOUS 63361 HAS SOUPS 63361 WITH SCORE 63447.878
AT ITER 838 NEW BEST:: SOT 205567 SOS 86850 HAS SOPS 86850 HAS SOUS 63333 HAS SOUPS 63333 WITH SCORE 63419.85
AT ITER 856 NEW BEST:: SOT 205554 SOS 86806 HAS SOPS 86806 HAS SOUS 63289 HAS SOUPS 63289 WITH SCORE 63375.806
AT ITER 863 NEW BEST:: SOT 205552 SOS 86809 HAS SOPS 86809 HAS SOUS 63274 HAS SOUPS 63274 WITH SCORE 63360.809
AT ITER 875 NEW BEST:: SOT 205551 SOS 86808 HAS SOPS 86808 HAS SOUS 63272 HAS SOUPS 63272 WITH SCORE 63358.808
AT ITER 880 NEW BEST:: SOT 205500 SOS 86650 HAS SOPS 86650 HAS SOUS 63065 HAS SOUPS 63065 WITH SCORE 63151.65
AT ITER 886 NEW BEST:: SOT 205470 SOS 86590 HAS SOPS 86590 HAS SOUS 63035 HAS SOUPS 63035 WITH SCORE 63121.59
AT ITER 890 NEW BEST:: SOT 205394 SOS 86567 HAS SOPS 86567 HAS SOUS 63012 HAS SOUPS 63012 WITH SCORE 63098.567
AT ITER 901 NEW BEST:: SOT 205362 SOS 86503 HAS SOPS 86503 HAS SOUS 62980 HAS SOUPS 62980 WITH SCORE 63066.503
AT ITER 914 NEW BEST:: SOT 205409 SOS 86520 HAS SOPS 86520 HAS SOUS 62887 HAS SOUPS 62887 WITH SCORE 62973.52
AT ITER 915 NEW BEST:: SOT 205379 SOS 86460 HAS SOPS 86460 HAS SOUS 62827 HAS SOUPS 62827 WITH SCORE 62913.46
AT ITER 923 NEW BEST:: SOT 205369 SOS 86450 HAS SOPS 86450 HAS SOUS 62817 HAS SOUPS 62817 WITH SCORE 62903.45
AT ITER 926 NEW BEST:: SOT 205369 SOS 86429 HAS SOPS 86429 HAS SOUS 62796 HAS SOUPS 62796 WITH SCORE 62882.429
AT ITER 941 NEW BEST:: SOT 205369 SOS 86533 HAS SOPS 86533 HAS SOUS 62795 HAS SOUPS 62795 WITH SCORE 62881.533
AT ITER 943 NEW BEST:: SOT 205292 SOS 86380 HAS SOPS 86380 HAS SOUS 62642 HAS SOUPS 62642 WITH SCORE 62728.38
AT ITER 946 NEW BEST:: SOT 205295 SOS 86328 HAS SOPS 86328 HAS SOUS 62590 HAS SOUPS 62590 WITH SCORE 62676.328
AT ITER 980 NEW BEST:: SOT 205276 SOS 86290 HAS SOPS 86290 HAS SOUS 62571 HAS SOUPS 62571 WITH SCORE 62657.29
AT ITER 987 NEW BEST:: SOT 205260 SOS 86270 HAS SOPS 86270 HAS SOUS 62563 HAS SOUPS 62563 WITH SCORE 62649.27
AT ITER 997 NEW BEST:: SOT 205227 SOS 86267 HAS SOPS 86267 HAS SOUS 62496 HAS SOUPS 62496 WITH SCORE 62582.267
AT ITER 1006 NEW BEST:: SOT 205285 SOS 86324 HAS SOPS 86324 HAS SOUS 62478 HAS SOUPS 62478 WITH SCORE 62564.324
AT ITER 1008 NEW BEST:: SOT 205318 SOS 86286 HAS SOPS 86286 HAS SOUS 62440 HAS SOUPS 62440 WITH SCORE 62526.286
AT ITER 1015 NEW BEST:: SOT 205217 SOS 86185 HAS SOPS 86185 HAS SOUS 62440 HAS SOUPS 62440 WITH SCORE 62526.185
AT ITER 1027 NEW BEST:: SOT 205118 SOS 86007 HAS SOPS 86007 HAS SOUS 62415 HAS SOUPS 62415 WITH SCORE 62501.007
AT ITER 1037 NEW BEST:: SOT 205118 SOS 85966 HAS SOPS 85966 HAS SOUS 62333 HAS SOUPS 62333 WITH SCORE 62418.966
AT ITER 1039 NEW BEST:: SOT 205032 SOS 85880 HAS SOPS 85880 HAS SOUS 62290 HAS SOUPS 62290 WITH SCORE 62375.88
AT ITER 1055 NEW BEST:: SOT 204845 SOS 85646 HAS SOPS 85646 HAS SOUS 62286 HAS SOUPS 62286 WITH SCORE 62371.646
AT ITER 1056 NEW BEST:: SOT 204844 SOS 85644 HAS SOPS 85644 HAS SOUS 62284 HAS SOUPS 62284 WITH SCORE 62369.644
AT ITER 1058 NEW BEST:: SOT 204844 SOS 85644 HAS SOPS 85644 HAS SOUS 62219 HAS SOUPS 62219 WITH SCORE 62304.644
AT ITER 1065 NEW BEST:: SOT 203977 SOS 85228 HAS SOPS 85228 HAS SOUS 61411 HAS SOUPS 61411 WITH SCORE 61496.228
AT ITER 1074 NEW BEST:: SOT 204234 SOS 85164 HAS SOPS 85164 HAS SOUS 61347 HAS SOUPS 61347 WITH SCORE 61432.164
AT ITER 1078 NEW BEST:: SOT 204233 SOS 85162 HAS SOPS 85162 HAS SOUS 61345 HAS SOUPS 61345 WITH SCORE 61430.162
AT ITER 1100 NEW BEST:: SOT 204224 SOS 85153 HAS SOPS 85153 HAS SOUS 61336 HAS SOUPS 61336 WITH SCORE 61421.153
AT ITER 1111 NEW BEST:: SOT 204224 SOS 85073 HAS SOPS 85073 HAS SOUS 61256 HAS SOUPS 61256 WITH SCORE 61341.073
AT ITER 1112 NEW BEST:: SOT 204223 SOS 85071 HAS SOPS 85071 HAS SOUS 61254 HAS SOUPS 61254 WITH SCORE 61339.071
AT ITER 1124 NEW BEST:: SOT 204192 SOS 85040 HAS SOPS 85040 HAS SOUS 61247 HAS SOUPS 61247 WITH SCORE 61332.04
AT ITER 1142 NEW BEST:: SOT 204189 SOS 85034 HAS SOPS 85034 HAS SOUS 61241 HAS SOUPS 61241 WITH SCORE 61326.034
AT ITER 1143 NEW BEST:: SOT 204189 SOS 85000 HAS SOPS 85000 HAS SOUS 61182 HAS SOUPS 61182 WITH SCORE 61267.0
AT ITER 1148 NEW BEST:: SOT 204174 SOS 84970 HAS SOPS 84970 HAS SOUS 61167 HAS SOUPS 61167 WITH SCORE 61251.97
AT ITER 1149 NEW BEST:: SOT 204077 SOS 84829 HAS SOPS 84829 HAS SOUS 61026 HAS SOUPS 61026 WITH SCORE 61110.829
AT ITER 1162 NEW BEST:: SOT 204171 SOS 84796 HAS SOPS 84796 HAS SOUS 60993 HAS SOUPS 60993 WITH SCORE 61077.796
AT ITER 1177 NEW BEST:: SOT 204170 SOS 84795 HAS SOPS 84795 HAS SOUS 60992 HAS SOUPS 60992 WITH SCORE 61076.795
AT ITER 1179 NEW BEST:: SOT 203732 SOS 84214 HAS SOPS 84214 HAS SOUS 60735 HAS SOUPS 60735 WITH SCORE 60819.214
AT ITER 1181 NEW BEST:: SOT 203759 SOS 84268 HAS SOPS 84268 HAS SOUS 60684 HAS SOUPS 60684 WITH SCORE 60768.268
AT ITER 1183 NEW BEST:: SOT 203734 SOS 83741 HAS SOPS 83741 HAS SOUS 60225 HAS SOUPS 60225 WITH SCORE 60308.741
AT ITER 1210 NEW BEST:: SOT 203699 SOS 83671 HAS SOPS 83671 HAS SOUS 60191 HAS SOUPS 60191 WITH SCORE 60274.671
AT ITER 1220 NEW BEST:: SOT 203601 SOS 83475 HAS SOPS 83475 HAS SOUS 59995 HAS SOUPS 59995 WITH SCORE 60078.475
AT ITER 1240 NEW BEST:: SOT 203596 SOS 83465 HAS SOPS 83465 HAS SOUS 59990 HAS SOUPS 59990 WITH SCORE 60073.465
AT ITER 1251 NEW BEST:: SOT 203664 SOS 83330 HAS SOPS 83330 HAS SOUS 59962 HAS SOUPS 59962 WITH SCORE 60045.33
AT ITER 1252 NEW BEST:: SOT 203486 SOS 82974 HAS SOPS 82974 HAS SOUS 59664 HAS SOUPS 59664 WITH SCORE 59746.974
AT ITER 1253 NEW BEST:: SOT 203443 SOS 82888 HAS SOPS 82888 HAS SOUS 59578 HAS SOUPS 59578 WITH SCORE 59660.888
AT ITER 1258 NEW BEST:: SOT 203417 SOS 82769 HAS SOPS 82769 HAS SOUS 59459 HAS SOUPS 59459 WITH SCORE 59541.769
AT ITER 1272 NEW BEST:: SOT 203210 SOS 82488 HAS SOPS 82488 HAS SOUS 59354 HAS SOUPS 59354 WITH SCORE 59436.488
AT ITER 1325 NEW BEST:: SOT 203108 SOS 82284 HAS SOPS 82284 HAS SOUS 59150 HAS SOUPS 59150 WITH SCORE 59232.284
AT ITER 1328 NEW BEST:: SOT 203081 SOS 82199 HAS SOPS 82199 HAS SOUS 59085 HAS SOUPS 59085 WITH SCORE 59167.199
AT ITER 1331 NEW BEST:: SOT 203047 SOS 82072 HAS SOPS 82072 HAS SOUS 59054 HAS SOUPS 59054 WITH SCORE 59136.072
AT ITER 1333 NEW BEST:: SOT 203047 SOS 82072 HAS SOPS 82072 HAS SOUS 59051 HAS SOUPS 59051 WITH SCORE 59133.072
AT ITER 1342 NEW BEST:: SOT 203050 SOS 81962 HAS SOPS 81962 HAS SOUS 58941 HAS SOUPS 58941 WITH SCORE 59022.962
AT ITER 1358 NEW BEST:: SOT 202831 SOS 81859 HAS SOPS 81859 HAS SOUS 58838 HAS SOUPS 58838 WITH SCORE 58919.859
AT ITER 1363 NEW BEST:: SOT 202894 SOS 81817 HAS SOPS 81817 HAS SOUS 58807 HAS SOUPS 58807 WITH SCORE 58888.817
AT ITER 1371 NEW BEST:: SOT 202783 SOS 81569 HAS SOPS 81569 HAS SOUS 58791 HAS SOUPS 58791 WITH SCORE 58872.569
AT ITER 1372 NEW BEST:: SOT 202759 SOS 81545 HAS SOPS 81545 HAS SOUS 58767 HAS SOUPS 58767 WITH SCORE 58848.545
AT ITER 1378 NEW BEST:: SOT 202712 SOS 81451 HAS SOPS 81451 HAS SOUS 58721 HAS SOUPS 58721 WITH SCORE 58802.451
AT ITER 1383 NEW BEST:: SOT 202757 SOS 81496 HAS SOPS 81496 HAS SOUS 58704 HAS SOUPS 58704 WITH SCORE 58785.496
AT ITER 1389 NEW BEST:: SOT 202861 SOS 81371 HAS SOPS 81371 HAS SOUS 58684 HAS SOUPS 58684 WITH SCORE 58765.371
AT ITER 1399 NEW BEST:: SOT 202851 SOS 81361 HAS SOPS 81361 HAS SOUS 58674 HAS SOUPS 58674 WITH SCORE 58755.361
AT ITER 1400 NEW BEST:: SOT 202789 SOS 81237 HAS SOPS 81237 HAS SOUS 58578 HAS SOUPS 58578 WITH SCORE 58659.237
AT ITER 1411 NEW BEST:: SOT 202795 SOS 81380 HAS SOPS 81380 HAS SOUS 58553 HAS SOUPS 58553 WITH SCORE 58634.38
AT ITER 1416 NEW BEST:: SOT 202722 SOS 81349 HAS SOPS 81349 HAS SOUS 58522 HAS SOUPS 58522 WITH SCORE 58603.349
AT ITER 1419 NEW BEST:: SOT 202650 SOS 81101 HAS SOPS 81101 HAS SOUS 58430 HAS SOUPS 58430 WITH SCORE 58511.101
AT ITER 1425 NEW BEST:: SOT 202650 SOS 80971 HAS SOPS 80971 HAS SOUS 58300 HAS SOUPS 58300 WITH SCORE 58380.971
AT ITER 1444 NEW BEST:: SOT 202625 SOS 80964 HAS SOPS 80964 HAS SOUS 58282 HAS SOUPS 58282 WITH SCORE 58362.964
AT ITER 1460 NEW BEST:: SOT 202550 SOS 80710 HAS SOPS 80710 HAS SOUS 58207 HAS SOUPS 58207 WITH SCORE 58287.71
AT ITER 1463 NEW BEST:: SOT 202488 SOS 80676 HAS SOPS 80676 HAS SOUS 58173 HAS SOUPS 58173 WITH SCORE 58253.676
AT ITER 1469 NEW BEST:: SOT 202471 SOS 80642 HAS SOPS 80642 HAS SOUS 58139 HAS SOUPS 58139 WITH SCORE 58219.642
AT ITER 1470 NEW BEST:: SOT 202455 SOS 80646 HAS SOPS 80646 HAS SOUS 58123 HAS SOUPS 58123 WITH SCORE 58203.646
AT ITER 1476 NEW BEST:: SOT 202389 SOS 80580 HAS SOPS 80580 HAS SOUS 58107 HAS SOUPS 58107 WITH SCORE 58187.58
AT ITER 1479 NEW BEST:: SOT 202340 SOS 80482 HAS SOPS 80482 HAS SOUS 58009 HAS SOUPS 58009 WITH SCORE 58089.482
AT ITER 1502 NEW BEST:: SOT 202414 SOS 80512 HAS SOPS 80512 HAS SOUS 57909 HAS SOUPS 57909 WITH SCORE 57989.512
AT ITER 1514 NEW BEST:: SOT 202414 SOS 80508 HAS SOPS 80508 HAS SOUS 57907 HAS SOUPS 57907 WITH SCORE 57987.508
AT ITER 1530 NEW BEST:: SOT 202337 SOS 80354 HAS SOPS 80354 HAS SOUS 57830 HAS SOUPS 57830 WITH SCORE 57910.354
AT ITER 1533 NEW BEST:: SOT 202337 SOS 80254 HAS SOPS 80254 HAS SOUS 57830 HAS SOUPS 57830 WITH SCORE 57910.254
AT ITER 1535 NEW BEST:: SOT 202347 SOS 80152 HAS SOPS 80152 HAS SOUS 57728 HAS SOUPS 57728 WITH SCORE 57808.152
AT ITER 1536 NEW BEST:: SOT 202302 SOS 80062 HAS SOPS 80062 HAS SOUS 57638 HAS SOUPS 57638 WITH SCORE 57718.062
AT ITER 1540 NEW BEST:: SOT 202223 SOS 79983 HAS SOPS 79983 HAS SOUS 57638 HAS SOUPS 57638 WITH SCORE 57717.983
AT ITER 1571 NEW BEST:: SOT 202105 SOS 79865 HAS SOPS 79865 HAS SOUS 57619 HAS SOUPS 57619 WITH SCORE 57698.865
AT ITER 1591 NEW BEST:: SOT 202096 SOS 79829 HAS SOPS 79829 HAS SOUS 57583 HAS SOUPS 57583 WITH SCORE 57662.829
AT ITER 1597 NEW BEST:: SOT 202063 SOS 79764 HAS SOPS 79764 HAS SOUS 57518 HAS SOUPS 57518 WITH SCORE 57597.764
AT ITER 1617 NEW BEST:: SOT 202063 SOS 79626 HAS SOPS 79626 HAS SOUS 57255 HAS SOUPS 57255 WITH SCORE 57334.626
AT ITER 1620 NEW BEST:: SOT 202036 SOS 79572 HAS SOPS 79572 HAS SOUS 57201 HAS SOUPS 57201 WITH SCORE 57280.572
AT ITER 1623 NEW BEST:: SOT 201937 SOS 79374 HAS SOPS 79374 HAS SOUS 57003 HAS SOUPS 57003 WITH SCORE 57082.374
AT ITER 1626 NEW BEST:: SOT 201843 SOS 79339 HAS SOPS 79339 HAS SOUS 56968 HAS SOUPS 56968 WITH SCORE 57047.339
AT ITER 1635 NEW BEST:: SOT 201786 SOS 79291 HAS SOPS 79291 HAS SOUS 56920 HAS SOUPS 56920 WITH SCORE 56999.291
AT ITER 1639 NEW BEST:: SOT 201858 SOS 79362 HAS SOPS 79362 HAS SOUS 56919 HAS SOUPS 56919 WITH SCORE 56998.362
AT ITER 1645 NEW BEST:: SOT 201858 SOS 79335 HAS SOPS 79335 HAS SOUS 56865 HAS SOUPS 56865 WITH SCORE 56944.335
AT ITER 1652 NEW BEST:: SOT 201843 SOS 79320 HAS SOPS 79320 HAS SOUS 56865 HAS SOUPS 56865 WITH SCORE 56944.32
AT ITER 1655 NEW BEST:: SOT 201809 SOS 79310 HAS SOPS 79310 HAS SOUS 56855 HAS SOUPS 56855 WITH SCORE 56934.31
AT ITER 1665 NEW BEST:: SOT 201785 SOS 79293 HAS SOPS 79293 HAS SOUS 56838 HAS SOUPS 56838 WITH SCORE 56917.293
AT ITER 1667 NEW BEST:: SOT 201790 SOS 79302 HAS SOPS 79302 HAS SOUS 56831 HAS SOUPS 56831 WITH SCORE 56910.302
AT ITER 1668 NEW BEST:: SOT 201699 SOS 79211 HAS SOPS 79211 HAS SOUS 56740 HAS SOUPS 56740 WITH SCORE 56819.211
AT ITER 1684 NEW BEST:: SOT 201699 SOS 79211 HAS SOPS 79211 HAS SOUS 56715 HAS SOUPS 56715 WITH SCORE 56794.211
AT ITER 1694 NEW BEST:: SOT 201564 SOS 79158 HAS SOPS 79158 HAS SOUS 56541 HAS SOUPS 56541 WITH SCORE 56620.158
AT ITER 1695 NEW BEST:: SOT 201545 SOS 79126 HAS SOPS 79126 HAS SOUS 56509 HAS SOUPS 56509 WITH SCORE 56588.126
AT ITER 1702 NEW BEST:: SOT 201410 SOS 78868 HAS SOPS 78868 HAS SOUS 56251 HAS SOUPS 56251 WITH SCORE 56329.868
AT ITER 1711 NEW BEST:: SOT 201367 SOS 78766 HAS SOPS 78766 HAS SOUS 56149 HAS SOUPS 56149 WITH SCORE 56227.766
AT ITER 1729 NEW BEST:: SOT 201399 SOS 78790 HAS SOPS 78790 HAS SOUS 56133 HAS SOUPS 56133 WITH SCORE 56211.79
AT ITER 1730 NEW BEST:: SOT 201338 SOS 78758 HAS SOPS 78758 HAS SOUS 56085 HAS SOUPS 56085 WITH SCORE 56163.758
AT ITER 1738 NEW BEST:: SOT 201364 SOS 78744 HAS SOPS 78744 HAS SOUS 56080 HAS SOUPS 56080 WITH SCORE 56158.744
AT ITER 1761 NEW BEST:: SOT 201268 SOS 78713 HAS SOPS 78713 HAS SOUS 56049 HAS SOUPS 56049 WITH SCORE 56127.713
AT ITER 1768 NEW BEST:: SOT 201245 SOS 78667 HAS SOPS 78667 HAS SOUS 56026 HAS SOUPS 56026 WITH SCORE 56104.667
AT ITER 1779 NEW BEST:: SOT 201210 SOS 78597 HAS SOPS 78597 HAS SOUS 55991 HAS SOUPS 55991 WITH SCORE 56069.597
AT ITER 1810 NEW BEST:: SOT 201182 SOS 78547 HAS SOPS 78547 HAS SOUS 55990 HAS SOUPS 55990 WITH SCORE 56068.547
AT ITER 1817 NEW BEST:: SOT 201002 SOS 78367 HAS SOPS 78367 HAS SOUS 55964 HAS SOUPS 55964 WITH SCORE 56042.367
AT ITER 1829 NEW BEST:: SOT 201014 SOS 78391 HAS SOPS 78391 HAS SOUS 55963 HAS SOUPS 55963 WITH SCORE 56041.391
AT ITER 1831 NEW BEST:: SOT 200858 SOS 78264 HAS SOPS 78264 HAS SOUS 55932 HAS SOUPS 55932 WITH SCORE 56010.264
AT ITER 1853 NEW BEST:: SOT 200828 SOS 78252 HAS SOPS 78252 HAS SOUS 55872 HAS SOUPS 55872 WITH SCORE 55950.252
AT ITER 1855 NEW BEST:: SOT 200827 SOS 78251 HAS SOPS 78251 HAS SOUS 55872 HAS SOUPS 55872 WITH SCORE 55950.251
AT ITER 1860 NEW BEST:: SOT 200541 SOS 77965 HAS SOPS 77965 HAS SOUS 55766 HAS SOUPS 55766 WITH SCORE 55843.965
AT ITER 1862 NEW BEST:: SOT 200537 SOS 77960 HAS SOPS 77960 HAS SOUS 55682 HAS SOUPS 55682 WITH SCORE 55759.96
AT ITER 1900 NEW BEST:: SOT 200461 SOS 77465 HAS SOPS 77465 HAS SOUS 55618 HAS SOUPS 55618 WITH SCORE 55695.465
AT ITER 1929 NEW BEST:: SOT 200460 SOS 77463 HAS SOPS 77463 HAS SOUS 55617 HAS SOUPS 55617 WITH SCORE 55694.463
AT ITER 1930 NEW BEST:: SOT 200446 SOS 77435 HAS SOPS 77435 HAS SOUS 55541 HAS SOUPS 55541 WITH SCORE 55618.435
AT ITER 1945 NEW BEST:: SOT 200455 SOS 77431 HAS SOPS 77431 HAS SOUS 55537 HAS SOUPS 55537 WITH SCORE 55614.431
AT ITER 1955 NEW BEST:: SOT 200455 SOS 77431 HAS SOPS 77431 HAS SOUS 55536 HAS SOUPS 55536 WITH SCORE 55613.431
AT ITER 1957 NEW BEST:: SOT 200392 SOS 77407 HAS SOPS 77407 HAS SOUS 55531 HAS SOUPS 55531 WITH SCORE 55608.407
AT ITER 1988 NEW BEST:: SOT 200364 SOS 77295 HAS SOPS 77295 HAS SOUS 55419 HAS SOUPS 55419 WITH SCORE 55496.295
AT ITER 2000 NEW BEST:: SOT 200356 SOS 77213 HAS SOPS 77213 HAS SOUS 55337 HAS SOUPS 55337 WITH SCORE 55414.213
AT ITER 2005 NEW BEST:: SOT 200340 SOS 77185 HAS SOPS 77185 HAS SOUS 55309 HAS SOUPS 55309 WITH SCORE 55386.185
AT ITER 2009 NEW BEST:: SOT 200335 SOS 77180 HAS SOPS 77180 HAS SOUS 55304 HAS SOUPS 55304 WITH SCORE 55381.18
AT ITER 2010 NEW BEST:: SOT 200184 SOS 76961 HAS SOPS 76961 HAS SOUS 55168 HAS SOUPS 55168 WITH SCORE 55244.961
AT ITER 2015 NEW BEST:: SOT 200121 SOS 76855 HAS SOPS 76855 HAS SOUS 55062 HAS SOUPS 55062 WITH SCORE 55138.855
AT ITER 2020 NEW BEST:: SOT 200117 SOS 76842 HAS SOPS 76842 HAS SOUS 55049 HAS SOUPS 55049 WITH SCORE 55125.842
AT ITER 2022 NEW BEST:: SOT 200224 SOS 76900 HAS SOPS 76900 HAS SOUS 55022 HAS SOUPS 55022 WITH SCORE 55098.9
AT ITER 2042 NEW BEST:: SOT 200235 SOS 75487 HAS SOPS 75487 HAS SOUS 55012 HAS SOUPS 55012 WITH SCORE 55087.487
AT ITER 2046 NEW BEST:: SOT 200223 SOS 75475 HAS SOPS 75475 HAS SOUS 55012 HAS SOUPS 55012 WITH SCORE 55087.475
AT ITER 2058 NEW BEST:: SOT 200180 SOS 75563 HAS SOPS 75563 HAS SOUS 54998 HAS SOUPS 54998 WITH SCORE 55073.563
AT ITER 2059 NEW BEST:: SOT 200170 SOS 75553 HAS SOPS 75553 HAS SOUS 54988 HAS SOUPS 54988 WITH SCORE 55063.553
AT ITER 2076 NEW BEST:: SOT 200086 SOS 75496 HAS SOPS 75496 HAS SOUS 54924 HAS SOUPS 54924 WITH SCORE 54999.496
AT ITER 2083 NEW BEST:: SOT 199844 SOS 75289 HAS SOPS 75289 HAS SOUS 54876 HAS SOUPS 54876 WITH SCORE 54951.289
AT ITER 2088 NEW BEST:: SOT 199786 SOS 75172 HAS SOPS 75172 HAS SOUS 54759 HAS SOUPS 54759 WITH SCORE 54834.172
AT ITER 2101 NEW BEST:: SOT 199683 SOS 75069 HAS SOPS 75069 HAS SOUS 54688 HAS SOUPS 54688 WITH SCORE 54763.069
AT ITER 2112 NEW BEST:: SOT 199673 SOS 75054 HAS SOPS 75054 HAS SOUS 54678 HAS SOUPS 54678 WITH SCORE 54753.054
AT ITER 2114 NEW BEST:: SOT 199662 SOS 74991 HAS SOPS 74991 HAS SOUS 54641 HAS SOUPS 54641 WITH SCORE 54715.991
AT ITER 2117 NEW BEST:: SOT 199620 SOS 74937 HAS SOPS 74937 HAS SOUS 54587 HAS SOUPS 54587 WITH SCORE 54661.937
AT ITER 2118 NEW BEST:: SOT 199573 SOS 74843 HAS SOPS 74843 HAS SOUS 54493 HAS SOUPS 54493 WITH SCORE 54567.843
AT ITER 2121 NEW BEST:: SOT 199365 SOS 74288 HAS SOPS 74288 HAS SOUS 54181 HAS SOUPS 54181 WITH SCORE 54255.288
AT ITER 2161 NEW BEST:: SOT 199364 SOS 74154 HAS SOPS 74154 HAS SOUS 53914 HAS SOUPS 53914 WITH SCORE 53988.154
AT ITER 2176 NEW BEST:: SOT 199311 SOS 74048 HAS SOPS 74048 HAS SOUS 53808 HAS SOUPS 53808 WITH SCORE 53882.048
AT ITER 2180 NEW BEST:: SOT 199237 SOS 73904 HAS SOPS 73904 HAS SOUS 53664 HAS SOUPS 53664 WITH SCORE 53737.904
AT ITER 2182 NEW BEST:: SOT 199193 SOS 73838 HAS SOPS 73838 HAS SOUS 53598 HAS SOUPS 53598 WITH SCORE 53671.838
AT ITER 2198 NEW BEST:: SOT 199192 SOS 73837 HAS SOPS 73837 HAS SOUS 53597 HAS SOUPS 53597 WITH SCORE 53670.837
AT ITER 2200 NEW BEST:: SOT 199172 SOS 73797 HAS SOPS 73797 HAS SOUS 53557 HAS SOUPS 53557 WITH SCORE 53630.797
AT ITER 2201 NEW BEST:: SOT 199127 SOS 73744 HAS SOPS 73744 HAS SOUS 53544 HAS SOUPS 53544 WITH SCORE 53617.744
AT ITER 2206 NEW BEST:: SOT 199123 SOS 73570 HAS SOPS 73570 HAS SOUS 53481 HAS SOUPS 53481 WITH SCORE 53554.57
AT ITER 2222 NEW BEST:: SOT 199123 SOS 73539 HAS SOPS 73539 HAS SOUS 53481 HAS SOUPS 53481 WITH SCORE 53554.539
AT ITER 2226 NEW BEST:: SOT 199093 SOS 73483 HAS SOPS 73483 HAS SOUS 53351 HAS SOUPS 53351 WITH SCORE 53424.483
AT ITER 2236 NEW BEST:: SOT 199108 SOS 73513 HAS SOPS 73513 HAS SOUS 53324 HAS SOUPS 53324 WITH SCORE 53397.513
AT ITER 2243 NEW BEST:: SOT 199092 SOS 73497 HAS SOPS 73497 HAS SOUS 53308 HAS SOUPS 53308 WITH SCORE 53381.497
AT ITER 2257 NEW BEST:: SOT 199043 SOS 73447 HAS SOPS 73447 HAS SOUS 53258 HAS SOUPS 53258 WITH SCORE 53331.447
AT ITER 2278 NEW BEST:: SOT 199025 SOS 73411 HAS SOPS 73411 HAS SOUS 53240 HAS SOUPS 53240 WITH SCORE 53313.411
AT ITER 2285 NEW BEST:: SOT 198972 SOS 73290 HAS SOPS 73290 HAS SOUS 53119 HAS SOUPS 53119 WITH SCORE 53192.29
AT ITER 2292 NEW BEST:: SOT 198960 SOS 73266 HAS SOPS 73266 HAS SOUS 53095 HAS SOUPS 53095 WITH SCORE 53168.266
AT ITER 2308 NEW BEST:: SOT 198833 SOS 72935 HAS SOPS 72935 HAS SOUS 52764 HAS SOUPS 52764 WITH SCORE 52836.935
AT ITER 2314 NEW BEST:: SOT 198821 SOS 72934 HAS SOPS 72934 HAS SOUS 52763 HAS SOUPS 52763 WITH SCORE 52835.934
AT ITER 2338 NEW BEST:: SOT 198820 SOS 72922 HAS SOPS 72922 HAS SOUS 52751 HAS SOUPS 52751 WITH SCORE 52823.922
AT ITER 2345 NEW BEST:: SOT 198837 SOS 72887 HAS SOPS 72887 HAS SOUS 52716 HAS SOUPS 52716 WITH SCORE 52788.887
AT ITER 2362 NEW BEST:: SOT 198786 SOS 72836 HAS SOPS 72836 HAS SOUS 52665 HAS SOUPS 52665 WITH SCORE 52737.836
AT ITER 2364 NEW BEST:: SOT 198611 SOS 72632 HAS SOPS 72632 HAS SOUS 52424 HAS SOUPS 52424 WITH SCORE 52496.632
AT ITER 2368 NEW BEST:: SOT 198611 SOS 72619 HAS SOPS 72619 HAS SOUS 52411 HAS SOUPS 52411 WITH SCORE 52483.619
AT ITER 2381 NEW BEST:: SOT 198689 SOS 72479 HAS SOPS 72479 HAS SOUS 52271 HAS SOUPS 52271 WITH SCORE 52343.479
AT ITER 2387 NEW BEST:: SOT 198688 SOS 72469 HAS SOPS 72469 HAS SOUS 52262 HAS SOUPS 52262 WITH SCORE 52334.469
AT ITER 2396 NEW BEST:: SOT 198681 SOS 72448 HAS SOPS 72448 HAS SOUS 52248 HAS SOUPS 52248 WITH SCORE 52320.448
AT ITER 2409 NEW BEST:: SOT 198697 SOS 72394 HAS SOPS 72394 HAS SOUS 52099 HAS SOUPS 52099 WITH SCORE 52171.394
AT ITER 2452 NEW BEST:: SOT 198763 SOS 72459 HAS SOPS 72459 HAS SOUS 52097 HAS SOUPS 52097 WITH SCORE 52169.459
AT ITER 2464 NEW BEST:: SOT 198763 SOS 72443 HAS SOPS 72443 HAS SOUS 52081 HAS SOUPS 52081 WITH SCORE 52153.443
AT ITER 2488 NEW BEST:: SOT 198729 SOS 72409 HAS SOPS 72409 HAS SOUS 52047 HAS SOUPS 52047 WITH SCORE 52119.409
AT ITER 2511 NEW BEST:: SOT 198729 SOS 72409 HAS SOPS 72409 HAS SOUS 52009 HAS SOUPS 52009 WITH SCORE 52081.409
AT ITER 2513 NEW BEST:: SOT 198766 SOS 72366 HAS SOPS 72366 HAS SOUS 51966 HAS SOUPS 51966 WITH SCORE 52038.366
AT ITER 2530 NEW BEST:: SOT 198761 SOS 72356 HAS SOPS 72356 HAS SOUS 51956 HAS SOUPS 51956 WITH SCORE 52028.356
AT ITER 2531 NEW BEST:: SOT 198705 SOS 72287 HAS SOPS 72287 HAS SOUS 51887 HAS SOUPS 51887 WITH SCORE 51959.287
AT ITER 2550 NEW BEST:: SOT 198705 SOS 72286 HAS SOPS 72286 HAS SOUS 51886 HAS SOUPS 51886 WITH SCORE 51958.286
AT ITER 2582 NEW BEST:: SOT 198717 SOS 72270 HAS SOPS 72270 HAS SOUS 51870 HAS SOUPS 51870 WITH SCORE 51942.27
AT ITER 2600 NEW BEST:: SOT 198708 SOS 72252 HAS SOPS 72252 HAS SOUS 51852 HAS SOUPS 51852 WITH SCORE 51924.252
AT ITER 2611 NEW BEST:: SOT 198866 SOS 72357 HAS SOPS 72357 HAS SOUS 51843 HAS SOUPS 51843 WITH SCORE 51915.357
AT ITER 2633 NEW BEST:: SOT 198789 SOS 72280 HAS SOPS 72280 HAS SOUS 51766 HAS SOUPS 51766 WITH SCORE 51838.28
AT ITER 2639 NEW BEST:: SOT 198779 SOS 72271 HAS SOPS 72271 HAS SOUS 51757 HAS SOUPS 51757 WITH SCORE 51829.271
AT ITER 2643 NEW BEST:: SOT 198787 SOS 72271 HAS SOPS 72271 HAS SOUS 51754 HAS SOUPS 51754 WITH SCORE 51826.271
AT ITER 2661 NEW BEST:: SOT 198720 SOS 72204 HAS SOPS 72204 HAS SOUS 51754 HAS SOUPS 51754 WITH SCORE 51826.204
AT ITER 2664 NEW BEST:: SOT 198700 SOS 72184 HAS SOPS 72184 HAS SOUS 51734 HAS SOUPS 51734 WITH SCORE 51806.184
AT ITER 2680 NEW BEST:: SOT 198698 SOS 72156 HAS SOPS 72156 HAS SOUS 51716 HAS SOUPS 51716 WITH SCORE 51788.156
AT ITER 2689 NEW BEST:: SOT 198690 SOS 72126 HAS SOPS 72126 HAS SOUS 51686 HAS SOUPS 51686 WITH SCORE 51758.126
AT ITER 2691 NEW BEST:: SOT 198701 SOS 72125 HAS SOPS 72125 HAS SOUS 51685 HAS SOUPS 51685 WITH SCORE 51757.125
AT ITER 2701 NEW BEST:: SOT 198390 SOS 71833 HAS SOPS 71833 HAS SOUS 51374 HAS SOUPS 51374 WITH SCORE 51445.833
AT ITER 2715 NEW BEST:: SOT 198498 SOS 71689 HAS SOPS 71689 HAS SOUS 51344 HAS SOUPS 51344 WITH SCORE 51415.689
AT ITER 2718 NEW BEST:: SOT 198518 SOS 71668 HAS SOPS 71668 HAS SOUS 51330 HAS SOUPS 51330 WITH SCORE 51401.668
AT ITER 2746 NEW BEST:: SOT 198518 SOS 71668 HAS SOPS 71668 HAS SOUS 51323 HAS SOUPS 51323 WITH SCORE 51394.668
AT ITER 2810 NEW BEST:: SOT 198530 SOS 71655 HAS SOPS 71655 HAS SOUS 51310 HAS SOUPS 51310 WITH SCORE 51381.655
AT ITER 2822 NEW BEST:: SOT 198453 SOS 71570 HAS SOPS 71570 HAS SOUS 51225 HAS SOUPS 51225 WITH SCORE 51296.57
AT ITER 2825 NEW BEST:: SOT 198437 SOS 71526 HAS SOPS 71526 HAS SOUS 51153 HAS SOUPS 51153 WITH SCORE 51224.526
AT ITER 2828 NEW BEST:: SOT 198408 SOS 71468 HAS SOPS 71468 HAS SOUS 51095 HAS SOUPS 51095 WITH SCORE 51166.468
AT ITER 2836 NEW BEST:: SOT 198407 SOS 71469 HAS SOPS 71469 HAS SOUS 51093 HAS SOUPS 51093 WITH SCORE 51164.469
AT ITER 2839 NEW BEST:: SOT 198490 SOS 71521 HAS SOPS 71521 HAS SOUS 51080 HAS SOUPS 51080 WITH SCORE 51151.521
AT ITER 2848 NEW BEST:: SOT 198440 SOS 71471 HAS SOPS 71471 HAS SOUS 51030 HAS SOUPS 51030 WITH SCORE 51101.471
AT ITER 2854 NEW BEST:: SOT 198450 SOS 71444 HAS SOPS 71444 HAS SOUS 51003 HAS SOUPS 51003 WITH SCORE 51074.444
AT ITER 2867 NEW BEST:: SOT 198384 SOS 71312 HAS SOPS 71312 HAS SOUS 50871 HAS SOUPS 50871 WITH SCORE 50942.312
AT ITER 2868 NEW BEST:: SOT 198388 SOS 71280 HAS SOPS 71280 HAS SOUS 50839 HAS SOUPS 50839 WITH SCORE 50910.28
AT ITER 2875 NEW BEST:: SOT 198396 SOS 71252 HAS SOPS 71252 HAS SOUS 50811 HAS SOUPS 50811 WITH SCORE 50882.252
AT ITER 2887 NEW BEST:: SOT 198394 SOS 71248 HAS SOPS 71248 HAS SOUS 50807 HAS SOUPS 50807 WITH SCORE 50878.248
AT ITER 2889 NEW BEST:: SOT 198368 SOS 71196 HAS SOPS 71196 HAS SOUS 50755 HAS SOUPS 50755 WITH SCORE 50826.196
AT ITER 2902 NEW BEST:: SOT 198349 SOS 71158 HAS SOPS 71158 HAS SOUS 50736 HAS SOUPS 50736 WITH SCORE 50807.158
AT ITER 2911 NEW BEST:: SOT 198386 SOS 71186 HAS SOPS 71186 HAS SOUS 50698 HAS SOUPS 50698 WITH SCORE 50769.186
AT ITER 2992 NEW BEST:: SOT 198386 SOS 71061 HAS SOPS 71061 HAS SOUS 50613 HAS SOUPS 50613 WITH SCORE 50684.061
AT ITER 2994 NEW BEST:: SOT 198386 SOS 71061 HAS SOPS 71061 HAS SOUS 50592 HAS SOUPS 50592 WITH SCORE 50663.061
AT ITER 3000 NEW BEST:: SOT 198378 SOS 71049 HAS SOPS 71049 HAS SOUS 50584 HAS SOUPS 50584 WITH SCORE 50655.049
AT ITER 3025 NEW BEST:: SOT 198368 SOS 71029 HAS SOPS 71029 HAS SOUS 50564 HAS SOUPS 50564 WITH SCORE 50635.029
AT ITER 3033 NEW BEST:: SOT 198368 SOS 71029 HAS SOPS 71029 HAS SOUS 50542 HAS SOUPS 50542 WITH SCORE 50613.029
AT ITER 3040 NEW BEST:: SOT 198389 SOS 71071 HAS SOPS 71071 HAS SOUS 50517 HAS SOUPS 50517 WITH SCORE 50588.071
AT ITER 3052 NEW BEST:: SOT 198256 SOS 70884 HAS SOPS 70884 HAS SOUS 50375 HAS SOUPS 50375 WITH SCORE 50445.884
AT ITER 3056 NEW BEST:: SOT 198229 SOS 70831 HAS SOPS 70831 HAS SOUS 50322 HAS SOUPS 50322 WITH SCORE 50392.831
AT ITER 3058 NEW BEST:: SOT 198201 SOS 70803 HAS SOPS 70803 HAS SOUS 50266 HAS SOUPS 50266 WITH SCORE 50336.803
AT ITER 3065 NEW BEST:: SOT 198186 SOS 70762 HAS SOPS 70762 HAS SOUS 50225 HAS SOUPS 50225 WITH SCORE 50295.762
AT ITER 3078 NEW BEST:: SOT 198179 SOS 70755 HAS SOPS 70755 HAS SOUS 50211 HAS SOUPS 50211 WITH SCORE 50281.755
AT ITER 3097 NEW BEST:: SOT 198171 SOS 70528 HAS SOPS 70528 HAS SOUS 49984 HAS SOUPS 49984 WITH SCORE 50054.528
AT ITER 3100 NEW BEST:: SOT 198085 SOS 70386 HAS SOPS 70386 HAS SOUS 49842 HAS SOUPS 49842 WITH SCORE 49912.386
AT ITER 3114 NEW BEST:: SOT 198148 SOS 70346 HAS SOPS 70346 HAS SOUS 49802 HAS SOUPS 49802 WITH SCORE 49872.346
AT ITER 3147 NEW BEST:: SOT 198143 SOS 70336 HAS SOPS 70336 HAS SOUS 49792 HAS SOUPS 49792 WITH SCORE 49862.336
AT ITER 3153 NEW BEST:: SOT 198134 SOS 70335 HAS SOPS 70335 HAS SOUS 49791 HAS SOUPS 49791 WITH SCORE 49861.335
AT ITER 3165 NEW BEST:: SOT 198102 SOS 70271 HAS SOPS 70271 HAS SOUS 49727 HAS SOUPS 49727 WITH SCORE 49797.271
AT ITER 3191 NEW BEST:: SOT 198183 SOS 70142 HAS SOPS 70142 HAS SOUS 49655 HAS SOUPS 49655 WITH SCORE 49725.142
AT ITER 3195 NEW BEST:: SOT 198183 SOS 70072 HAS SOPS 70072 HAS SOUS 49605 HAS SOUPS 49605 WITH SCORE 49675.072
AT ITER 3196 NEW BEST:: SOT 197376 SOS 69404 HAS SOPS 69404 HAS SOUS 48894 HAS SOUPS 48894 WITH SCORE 48963.404
AT ITER 3205 NEW BEST:: SOT 197335 SOS 69322 HAS SOPS 69322 HAS SOUS 48862 HAS SOUPS 48862 WITH SCORE 48931.322
AT ITER 3220 NEW BEST:: SOT 197301 SOS 69254 HAS SOPS 69254 HAS SOUS 48794 HAS SOUPS 48794 WITH SCORE 48863.254
AT ITER 3237 NEW BEST:: SOT 197239 SOS 69130 HAS SOPS 69130 HAS SOUS 48670 HAS SOUPS 48670 WITH SCORE 48739.13
AT ITER 3242 NEW BEST:: SOT 197212 SOS 69108 HAS SOPS 69108 HAS SOUS 48648 HAS SOUPS 48648 WITH SCORE 48717.108
AT ITER 3246 NEW BEST:: SOT 197201 SOS 69086 HAS SOPS 69086 HAS SOUS 48626 HAS SOUPS 48626 WITH SCORE 48695.086
AT ITER 3251 NEW BEST:: SOT 197154 SOS 69036 HAS SOPS 69036 HAS SOUS 48576 HAS SOUPS 48576 WITH SCORE 48645.036
AT ITER 3266 NEW BEST:: SOT 197119 SOS 69008 HAS SOPS 69008 HAS SOUS 48536 HAS SOUPS 48536 WITH SCORE 48605.008
AT ITER 3307 NEW BEST:: SOT 197113 SOS 68994 HAS SOPS 68994 HAS SOUS 48522 HAS SOUPS 48522 WITH SCORE 48590.994
AT ITER 3315 NEW BEST:: SOT 197113 SOS 68964 HAS SOPS 68964 HAS SOUS 48492 HAS SOUPS 48492 WITH SCORE 48560.964
AT ITER 3321 NEW BEST:: SOT 197113 SOS 68934 HAS SOPS 68934 HAS SOUS 48462 HAS SOUPS 48462 WITH SCORE 48530.934
AT ITER 3366 NEW BEST:: SOT 197104 SOS 68926 HAS SOPS 68926 HAS SOUS 48454 HAS SOUPS 48454 WITH SCORE 48522.926
AT ITER 3417 NEW BEST:: SOT 197084 SOS 68905 HAS SOPS 68905 HAS SOUS 48452 HAS SOUPS 48452 WITH SCORE 48520.905
AT ITER 3440 NEW BEST:: SOT 197292 SOS 68885 HAS SOPS 68885 HAS SOUS 48432 HAS SOUPS 48432 WITH SCORE 48500.885
AT ITER 3443 NEW BEST:: SOT 197289 SOS 68879 HAS SOPS 68879 HAS SOUS 48426 HAS SOUPS 48426 WITH SCORE 48494.879
AT ITER 3450 NEW BEST:: SOT 197103 SOS 68729 HAS SOPS 68729 HAS SOUS 48276 HAS SOUPS 48276 WITH SCORE 48344.729
AT ITER 3457 NEW BEST:: SOT 197096 SOS 68717 HAS SOPS 68717 HAS SOUS 48264 HAS SOUPS 48264 WITH SCORE 48332.717
AT ITER 3474 NEW BEST:: SOT 197078 SOS 68679 HAS SOPS 68679 HAS SOUS 48226 HAS SOUPS 48226 WITH SCORE 48294.679
AT ITER 3482 NEW BEST:: SOT 197068 SOS 68669 HAS SOPS 68669 HAS SOUS 48216 HAS SOUPS 48216 WITH SCORE 48284.669
AT ITER 3497 NEW BEST:: SOT 197020 SOS 68607 HAS SOPS 68607 HAS SOUS 48145 HAS SOUPS 48145 WITH SCORE 48213.607
AT ITER 3506 NEW BEST:: SOT 197006 SOS 68599 HAS SOPS 68599 HAS SOUS 48139 HAS SOUPS 48139 WITH SCORE 48207.599
AT ITER 3509 NEW BEST:: SOT 196883 SOS 68516 HAS SOPS 68516 HAS SOUS 48107 HAS SOUPS 48107 WITH SCORE 48175.516
AT ITER 3510 NEW BEST:: SOT 196879 SOS 68512 HAS SOPS 68512 HAS SOUS 48107 HAS SOUPS 48107 WITH SCORE 48175.512
AT ITER 3520 NEW BEST:: SOT 196854 SOS 68462 HAS SOPS 68462 HAS SOUS 48057 HAS SOUPS 48057 WITH SCORE 48125.462
AT ITER 3536 NEW BEST:: SOT 196887 SOS 68440 HAS SOPS 68440 HAS SOUS 48035 HAS SOUPS 48035 WITH SCORE 48103.44
AT ITER 3559 NEW BEST:: SOT 196836 SOS 68389 HAS SOPS 68389 HAS SOUS 47984 HAS SOUPS 47984 WITH SCORE 48052.389
AT ITER 3570 NEW BEST:: SOT 196822 SOS 68375 HAS SOPS 68375 HAS SOUS 47970 HAS SOUPS 47970 WITH SCORE 48038.375
AT ITER 3575 NEW BEST:: SOT 196786 SOS 68303 HAS SOPS 68303 HAS SOUS 47898 HAS SOUPS 47898 WITH SCORE 47966.303
AT ITER 3586 NEW BEST:: SOT 196758 SOS 68247 HAS SOPS 68247 HAS SOUS 47842 HAS SOUPS 47842 WITH SCORE 47910.247
AT ITER 3593 NEW BEST:: SOT 196838 SOS 68316 HAS SOPS 68316 HAS SOUS 47820 HAS SOUPS 47820 WITH SCORE 47888.316
AT ITER 3636 NEW BEST:: SOT 196724 SOS 68088 HAS SOPS 68088 HAS SOUS 47779 HAS SOUPS 47779 WITH SCORE 47847.088
AT ITER 3637 NEW BEST:: SOT 196739 SOS 67986 HAS SOPS 67986 HAS SOUS 47740 HAS SOUPS 47740 WITH SCORE 47807.986
AT ITER 3638 NEW BEST:: SOT 196726 SOS 67960 HAS SOPS 67960 HAS SOUS 47709 HAS SOUPS 47709 WITH SCORE 47776.96
AT ITER 3652 NEW BEST:: SOT 196804 SOS 67908 HAS SOPS 67908 HAS SOUS 47657 HAS SOUPS 47657 WITH SCORE 47724.908
AT ITER 3654 NEW BEST:: SOT 196804 SOS 67908 HAS SOPS 67908 HAS SOUS 47641 HAS SOUPS 47641 WITH SCORE 47708.908
AT ITER 3676 NEW BEST:: SOT 196802 SOS 67866 HAS SOPS 67866 HAS SOUS 47619 HAS SOUPS 47619 WITH SCORE 47686.866
AT ITER 3687 NEW BEST:: SOT 196797 SOS 67861 HAS SOPS 67861 HAS SOUS 47614 HAS SOUPS 47614 WITH SCORE 47681.861
AT ITER 3710 NEW BEST:: SOT 196665 SOS 67729 HAS SOPS 67729 HAS SOUS 47614 HAS SOUPS 47614 WITH SCORE 47681.729
AT ITER 3723 NEW BEST:: SOT 196663 SOS 67725 HAS SOPS 67725 HAS SOUS 47610 HAS SOUPS 47610 WITH SCORE 47677.725
AT ITER 3740 NEW BEST:: SOT 196683 SOS 67752 HAS SOPS 67752 HAS SOUS 47577 HAS SOUPS 47577 WITH SCORE 47644.752
AT ITER 3741 NEW BEST:: SOT 196676 SOS 67660 HAS SOPS 67660 HAS SOUS 47561 HAS SOUPS 47561 WITH SCORE 47628.66
AT ITER 3772 NEW BEST:: SOT 196675 SOS 67659 HAS SOPS 67659 HAS SOUS 47560 HAS SOUPS 47560 WITH SCORE 47627.659
AT ITER 3777 NEW BEST:: SOT 196667 SOS 67642 HAS SOPS 67642 HAS SOUS 47528 HAS SOUPS 47528 WITH SCORE 47595.642
AT ITER 3782 NEW BEST:: SOT 196666 SOS 67641 HAS SOPS 67641 HAS SOUS 47527 HAS SOUPS 47527 WITH SCORE 47594.641
AT ITER 3803 NEW BEST:: SOT 196648 SOS 67581 HAS SOPS 67581 HAS SOUS 47467 HAS SOUPS 47467 WITH SCORE 47534.581
AT ITER 3809 NEW BEST:: SOT 196648 SOS 67581 HAS SOPS 67581 HAS SOUS 47431 HAS SOUPS 47431 WITH SCORE 47498.581
AT ITER 3834 NEW BEST:: SOT 196665 SOS 67575 HAS SOPS 67575 HAS SOUS 47425 HAS SOUPS 47425 WITH SCORE 47492.575
AT ITER 3838 NEW BEST:: SOT 196690 SOS 67565 HAS SOPS 67565 HAS SOUS 47415 HAS SOUPS 47415 WITH SCORE 47482.565
AT ITER 3840 NEW BEST:: SOT 196685 SOS 67426 HAS SOPS 67426 HAS SOUS 47292 HAS SOUPS 47292 WITH SCORE 47359.426
AT ITER 3843 NEW BEST:: SOT 196673 SOS 67399 HAS SOPS 67399 HAS SOUS 47282 HAS SOUPS 47282 WITH SCORE 47349.399
AT ITER 3854 NEW BEST:: SOT 196651 SOS 67355 HAS SOPS 67355 HAS SOUS 47206 HAS SOUPS 47206 WITH SCORE 47273.355
AT ITER 3857 NEW BEST:: SOT 196745 SOS 67543 HAS SOPS 67543 HAS SOUS 47119 HAS SOUPS 47119 WITH SCORE 47186.543
AT ITER 3859 NEW BEST:: SOT 196735 SOS 67523 HAS SOPS 67523 HAS SOUS 47109 HAS SOUPS 47109 WITH SCORE 47176.523
AT ITER 3866 NEW BEST:: SOT 196726 SOS 67505 HAS SOPS 67505 HAS SOUS 47091 HAS SOUPS 47091 WITH SCORE 47158.505
AT ITER 3869 NEW BEST:: SOT 196589 SOS 67368 HAS SOPS 67368 HAS SOUS 47091 HAS SOUPS 47091 WITH SCORE 47158.368
AT ITER 3883 NEW BEST:: SOT 196453 SOS 67215 HAS SOPS 67215 HAS SOUS 47027 HAS SOUPS 47027 WITH SCORE 47094.215
AT ITER 3893 NEW BEST:: SOT 196420 SOS 67149 HAS SOPS 67149 HAS SOUS 46961 HAS SOUPS 46961 WITH SCORE 47028.149
AT ITER 3899 NEW BEST:: SOT 196391 SOS 67120 HAS SOPS 67120 HAS SOUS 46932 HAS SOUPS 46932 WITH SCORE 46999.12
AT ITER 3914 NEW BEST:: SOT 196333 SOS 67120 HAS SOPS 67120 HAS SOUS 46902 HAS SOUPS 46902 WITH SCORE 46969.12
AT ITER 3926 NEW BEST:: SOT 196387 SOS 67174 HAS SOPS 67174 HAS SOUS 46895 HAS SOUPS 46895 WITH SCORE 46962.174
AT ITER 3936 NEW BEST:: SOT 196306 SOS 67093 HAS SOPS 67093 HAS SOUS 46814 HAS SOUPS 46814 WITH SCORE 46881.093
AT ITER 3955 NEW BEST:: SOT 196206 SOS 66924 HAS SOPS 66924 HAS SOUS 46645 HAS SOUPS 46645 WITH SCORE 46711.924
AT ITER 3960 NEW BEST:: SOT 196206 SOS 66924 HAS SOPS 66924 HAS SOUS 46637 HAS SOUPS 46637 WITH SCORE 46703.924
AT ITER 3971 NEW BEST:: SOT 196200 SOS 66912 HAS SOPS 66912 HAS SOUS 46631 HAS SOUPS 46631 WITH SCORE 46697.912
AT ITER 3972 NEW BEST:: SOT 196099 SOS 66790 HAS SOPS 66790 HAS SOUS 46621 HAS SOUPS 46621 WITH SCORE 46687.79
AT ITER 4011 NEW BEST:: SOT 196097 SOS 66773 HAS SOPS 66773 HAS SOUS 46604 HAS SOUPS 46604 WITH SCORE 46670.773
AT ITER 4055 NEW BEST:: SOT 196086 SOS 66751 HAS SOPS 66751 HAS SOUS 46582 HAS SOUPS 46582 WITH SCORE 46648.751
AT ITER 4061 NEW BEST:: SOT 196063 SOS 66728 HAS SOPS 66728 HAS SOUS 46542 HAS SOUPS 46542 WITH SCORE 46608.728
AT ITER 4062 NEW BEST:: SOT 196025 SOS 66705 HAS SOPS 66705 HAS SOUS 46528 HAS SOUPS 46528 WITH SCORE 46594.705
AT ITER 4071 NEW BEST:: SOT 196028 SOS 66682 HAS SOPS 66682 HAS SOUS 46476 HAS SOUPS 46476 WITH SCORE 46542.682
AT ITER 4079 NEW BEST:: SOT 196028 SOS 66612 HAS SOPS 66612 HAS SOUS 46406 HAS SOUPS 46406 WITH SCORE 46472.612
AT ITER 4100 NEW BEST:: SOT 196004 SOS 66504 HAS SOPS 66504 HAS SOUS 46336 HAS SOUPS 46336 WITH SCORE 46402.504
AT ITER 4131 NEW BEST:: SOT 196026 SOS 66338 HAS SOPS 66338 HAS SOUS 46273 HAS SOUPS 46273 WITH SCORE 46339.338
AT ITER 4134 NEW BEST:: SOT 195988 SOS 66232 HAS SOPS 66232 HAS SOUS 46167 HAS SOUPS 46167 WITH SCORE 46233.232
AT ITER 4137 NEW BEST:: SOT 195987 SOS 66227 HAS SOPS 66227 HAS SOUS 46162 HAS SOUPS 46162 WITH SCORE 46228.227
AT ITER 4146 NEW BEST:: SOT 195867 SOS 66107 HAS SOPS 66107 HAS SOUS 46076 HAS SOUPS 46076 WITH SCORE 46142.107
AT ITER 4202 NEW BEST:: SOT 195867 SOS 66039 HAS SOPS 66039 HAS SOUS 46008 HAS SOUPS 46008 WITH SCORE 46074.039
AT ITER 4212 NEW BEST:: SOT 195898 SOS 65973 HAS SOPS 65973 HAS SOUS 45975 HAS SOUPS 45975 WITH SCORE 46040.973
AT ITER 4213 NEW BEST:: SOT 195901 SOS 65970 HAS SOPS 65970 HAS SOUS 45972 HAS SOUPS 45972 WITH SCORE 46037.97
AT ITER 4227 NEW BEST:: SOT 195876 SOS 65924 HAS SOPS 65924 HAS SOUS 45926 HAS SOUPS 45926 WITH SCORE 45991.924
AT ITER 4234 NEW BEST:: SOT 195876 SOS 65860 HAS SOPS 65860 HAS SOUS 45889 HAS SOUPS 45889 WITH SCORE 45954.86
AT ITER 4243 NEW BEST:: SOT 196009 SOS 65805 HAS SOPS 65805 HAS SOUS 45822 HAS SOUPS 45822 WITH SCORE 45887.805
AT ITER 4248 NEW BEST:: SOT 195877 SOS 65925 HAS SOPS 65925 HAS SOUS 45717 HAS SOUPS 45717 WITH SCORE 45782.925
AT ITER 4261 NEW BEST:: SOT 195860 SOS 65636 HAS SOPS 65636 HAS SOUS 45683 HAS SOUPS 45683 WITH SCORE 45748.636
AT ITER 4319 NEW BEST:: SOT 195952 SOS 65670 HAS SOPS 65670 HAS SOUS 45675 HAS SOUPS 45675 WITH SCORE 45740.67
AT ITER 4338 NEW BEST:: SOT 195926 SOS 65619 HAS SOPS 65619 HAS SOUS 45673 HAS SOUPS 45673 WITH SCORE 45738.619
AT ITER 4349 NEW BEST:: SOT 195913 SOS 65588 HAS SOPS 65588 HAS SOUS 45642 HAS SOUPS 45642 WITH SCORE 45707.588
AT ITER 4371 NEW BEST:: SOT 195913 SOS 65552 HAS SOPS 65552 HAS SOUS 45606 HAS SOUPS 45606 WITH SCORE 45671.552
AT ITER 4393 NEW BEST:: SOT 195912 SOS 65550 HAS SOPS 65550 HAS SOUS 45604 HAS SOUPS 45604 WITH SCORE 45669.55
AT ITER 4399 NEW BEST:: SOT 195971 SOS 65276 HAS SOPS 65276 HAS SOUS 45520 HAS SOUPS 45520 WITH SCORE 45585.276
AT ITER 4405 NEW BEST:: SOT 195913 SOS 65582 HAS SOPS 65582 HAS SOUS 45469 HAS SOUPS 45469 WITH SCORE 45534.582
AT ITER 4410 NEW BEST:: SOT 195905 SOS 65574 HAS SOPS 65574 HAS SOUS 45461 HAS SOUPS 45461 WITH SCORE 45526.574
AT ITER 4420 NEW BEST:: SOT 195828 SOS 65420 HAS SOPS 65420 HAS SOUS 45307 HAS SOUPS 45307 WITH SCORE 45372.42
AT ITER 4421 NEW BEST:: SOT 195796 SOS 65365 HAS SOPS 65365 HAS SOUS 45252 HAS SOUPS 45252 WITH SCORE 45317.365
AT ITER 4433 NEW BEST:: SOT 195773 SOS 65375 HAS SOPS 65375 HAS SOUS 45229 HAS SOUPS 45229 WITH SCORE 45294.375
AT ITER 4436 NEW BEST:: SOT 195773 SOS 65375 HAS SOPS 65375 HAS SOUS 45182 HAS SOUPS 45182 WITH SCORE 45247.375
AT ITER 4449 NEW BEST:: SOT 195777 SOS 65373 HAS SOPS 65373 HAS SOUS 45180 HAS SOUPS 45180 WITH SCORE 45245.373
AT ITER 4471 NEW BEST:: SOT 195733 SOS 65329 HAS SOPS 65329 HAS SOUS 45180 HAS SOUPS 45180 WITH SCORE 45245.329
AT ITER 4479 NEW BEST:: SOT 195634 SOS 65126 HAS SOPS 65126 HAS SOUS 44977 HAS SOUPS 44977 WITH SCORE 45042.126
AT ITER 4480 NEW BEST:: SOT 195409 SOS 64698 HAS SOPS 64698 HAS SOUS 44673 HAS SOUPS 44673 WITH SCORE 44737.698
AT ITER 4486 NEW BEST:: SOT 195365 SOS 64654 HAS SOPS 64654 HAS SOUS 44629 HAS SOUPS 44629 WITH SCORE 44693.654
AT ITER 4569 NEW BEST:: SOT 195329 SOS 64600 HAS SOPS 64600 HAS SOUS 44558 HAS SOUPS 44558 WITH SCORE 44622.6
AT ITER 4576 NEW BEST:: SOT 195414 SOS 64456 HAS SOPS 64456 HAS SOUS 44509 HAS SOUPS 44509 WITH SCORE 44573.456
AT ITER 4598 NEW BEST:: SOT 195352 SOS 64437 HAS SOPS 64437 HAS SOUS 44490 HAS SOUPS 44490 WITH SCORE 44554.437
AT ITER 4635 NEW BEST:: SOT 195299 SOS 64376 HAS SOPS 64376 HAS SOUS 44429 HAS SOUPS 44429 WITH SCORE 44493.376
AT ITER 4651 NEW BEST:: SOT 195297 SOS 64374 HAS SOPS 64374 HAS SOUS 44427 HAS SOUPS 44427 WITH SCORE 44491.374
AT ITER 4652 NEW BEST:: SOT 195073 SOS 64123 HAS SOPS 64123 HAS SOUS 44373 HAS SOUPS 44373 WITH SCORE 44437.123
AT ITER 4684 NEW BEST:: SOT 195007 SOS 63991 HAS SOPS 63991 HAS SOUS 44224 HAS SOUPS 44224 WITH SCORE 44287.991
AT ITER 4702 NEW BEST:: SOT 195007 SOS 63955 HAS SOPS 63955 HAS SOUS 44206 HAS SOUPS 44206 WITH SCORE 44269.955
AT ITER 4717 NEW BEST:: SOT 194997 SOS 63945 HAS SOPS 63945 HAS SOUS 44206 HAS SOUPS 44206 WITH SCORE 44269.945
AT ITER 4721 NEW BEST:: SOT 194984 SOS 63931 HAS SOPS 63931 HAS SOUS 44192 HAS SOUPS 44192 WITH SCORE 44255.931
AT ITER 4727 NEW BEST:: SOT 194977 SOS 63924 HAS SOPS 63924 HAS SOUS 44185 HAS SOUPS 44185 WITH SCORE 44248.924
AT ITER 4747 NEW BEST:: SOT 195016 SOS 63891 HAS SOPS 63891 HAS SOUS 44180 HAS SOUPS 44180 WITH SCORE 44243.891
AT ITER 4762 NEW BEST:: SOT 195016 SOS 63891 HAS SOPS 63891 HAS SOUS 44129 HAS SOUPS 44129 WITH SCORE 44192.891
AT ITER 4779 NEW BEST:: SOT 195006 SOS 63880 HAS SOPS 63880 HAS SOUS 44127 HAS SOUPS 44127 WITH SCORE 44190.88
AT ITER 4818 NEW BEST:: SOT 195006 SOS 63892 HAS SOPS 63892 HAS SOUS 44112 HAS SOUPS 44112 WITH SCORE 44175.892
AT ITER 4855 NEW BEST:: SOT 195006 SOS 63887 HAS SOPS 63887 HAS SOUS 44107 HAS SOUPS 44107 WITH SCORE 44170.887
AT ITER 4858 NEW BEST:: SOT 194927 SOS 63808 HAS SOPS 63808 HAS SOUS 44107 HAS SOUPS 44107 WITH SCORE 44170.808
AT ITER 4869 NEW BEST:: SOT 194916 SOS 63797 HAS SOPS 63797 HAS SOUS 44096 HAS SOUPS 44096 WITH SCORE 44159.797
AT ITER 4899 NEW BEST:: SOT 194819 SOS 63614 HAS SOPS 63614 HAS SOUS 43999 HAS SOUPS 43999 WITH SCORE 44062.614
AT ITER 4913 NEW BEST:: SOT 194866 SOS 63497 HAS SOPS 63497 HAS SOUS 43882 HAS SOUPS 43882 WITH SCORE 43945.497
AT ITER 4936 NEW BEST:: SOT 194812 SOS 63443 HAS SOPS 63443 HAS SOUS 43828 HAS SOUPS 43828 WITH SCORE 43891.443
AT ITER 4939 NEW BEST:: SOT 194688 SOS 63195 HAS SOPS 63195 HAS SOUS 43580 HAS SOUPS 43580 WITH SCORE 43643.195
AT ITER 4949 NEW BEST:: SOT 194688 SOS 63195 HAS SOPS 63195 HAS SOUS 43569 HAS SOUPS 43569 WITH SCORE 43632.195
AT ITER 4978 NEW BEST:: SOT 194636 SOS 63091 HAS SOPS 63091 HAS SOUS 43517 HAS SOUPS 43517 WITH SCORE 43580.091
AT ITER 4985 NEW BEST:: SOT 194586 SOS 62982 HAS SOPS 62982 HAS SOUS 43443 HAS SOUPS 43443 WITH SCORE 43505.982
AT ITER 5008 NEW BEST:: SOT 194580 SOS 62974 HAS SOPS 62974 HAS SOUS 43435 HAS SOUPS 43435 WITH SCORE 43497.974
AT ITER 5020 NEW BEST:: SOT 194580 SOS 62968 HAS SOPS 62968 HAS SOUS 43431 HAS SOUPS 43431 WITH SCORE 43493.968
AT ITER 5077 NEW BEST:: SOT 194574 SOS 62962 HAS SOPS 62962 HAS SOUS 43335 HAS SOUPS 43335 WITH SCORE 43397.962
AT ITER 5079 NEW BEST:: SOT 194504 SOS 62818 HAS SOPS 62818 HAS SOUS 43244 HAS SOUPS 43244 WITH SCORE 43306.818
AT ITER 5130 NEW BEST:: SOT 194492 SOS 62794 HAS SOPS 62794 HAS SOUS 43232 HAS SOUPS 43232 WITH SCORE 43294.794
AT ITER 5138 NEW BEST:: SOT 194563 SOS 62666 HAS SOPS 62666 HAS SOUS 43138 HAS SOUPS 43138 WITH SCORE 43200.666
AT ITER 5141 NEW BEST:: SOT 194486 SOS 62512 HAS SOPS 62512 HAS SOUS 43123 HAS SOUPS 43123 WITH SCORE 43185.512
AT ITER 5187 NEW BEST:: SOT 194435 SOS 62440 HAS SOPS 62440 HAS SOUS 43081 HAS SOUPS 43081 WITH SCORE 43143.44
AT ITER 5205 NEW BEST:: SOT 194431 SOS 62418 HAS SOPS 62418 HAS SOUS 43063 HAS SOUPS 43063 WITH SCORE 43125.418
AT ITER 5234 NEW BEST:: SOT 194276 SOS 62259 HAS SOPS 62259 HAS SOUS 42904 HAS SOUPS 42904 WITH SCORE 42966.259
AT ITER 5250 NEW BEST:: SOT 194254 SOS 62263 HAS SOPS 62263 HAS SOUS 42882 HAS SOUPS 42882 WITH SCORE 42944.263
AT ITER 5267 NEW BEST:: SOT 194221 SOS 62197 HAS SOPS 62197 HAS SOUS 42849 HAS SOUPS 42849 WITH SCORE 42911.197
AT ITER 5279 NEW BEST:: SOT 194195 SOS 62114 HAS SOPS 62114 HAS SOUS 42766 HAS SOUPS 42766 WITH SCORE 42828.114
AT ITER 5292 NEW BEST:: SOT 194095 SOS 61950 HAS SOPS 61950 HAS SOUS 42602 HAS SOUPS 42602 WITH SCORE 42663.95
AT ITER 5357 NEW BEST:: SOT 194086 SOS 61949 HAS SOPS 61949 HAS SOUS 42601 HAS SOUPS 42601 WITH SCORE 42662.949
AT ITER 5377 NEW BEST:: SOT 194078 SOS 61933 HAS SOPS 61933 HAS SOUS 42585 HAS SOUPS 42585 WITH SCORE 42646.933
AT ITER 5408 NEW BEST:: SOT 194074 SOS 61929 HAS SOPS 61929 HAS SOUS 42581 HAS SOUPS 42581 WITH SCORE 42642.929
AT ITER 5422 NEW BEST:: SOT 194072 SOS 61877 HAS SOPS 61877 HAS SOUS 42564 HAS SOUPS 42564 WITH SCORE 42625.877
AT ITER 5431 NEW BEST:: SOT 194049 SOS 61854 HAS SOPS 61854 HAS SOUS 42541 HAS SOUPS 42541 WITH SCORE 42602.854
AT ITER 5438 NEW BEST:: SOT 193970 SOS 61736 HAS SOPS 61736 HAS SOUS 42383 HAS SOUPS 42383 WITH SCORE 42444.736
AT ITER 5464 NEW BEST:: SOT 193820 SOS 61632 HAS SOPS 61632 HAS SOUS 42230 HAS SOUPS 42230 WITH SCORE 42291.632
AT ITER 5469 NEW BEST:: SOT 193749 SOS 61547 HAS SOPS 61547 HAS SOUS 42145 HAS SOUPS 42145 WITH SCORE 42206.547
AT ITER 5474 NEW BEST:: SOT 193809 SOS 61536 HAS SOPS 61536 HAS SOUS 42134 HAS SOUPS 42134 WITH SCORE 42195.536
AT ITER 5507 NEW BEST:: SOT 193809 SOS 61534 HAS SOPS 61534 HAS SOUS 42132 HAS SOUPS 42132 WITH SCORE 42193.534
AT ITER 5509 NEW BEST:: SOT 193767 SOS 61450 HAS SOPS 61450 HAS SOUS 42118 HAS SOUPS 42118 WITH SCORE 42179.45
AT ITER 5510 NEW BEST:: SOT 193770 SOS 61442 HAS SOPS 61442 HAS SOUS 42110 HAS SOUPS 42110 WITH SCORE 42171.442
AT ITER 5551 NEW BEST:: SOT 193786 SOS 61441 HAS SOPS 61441 HAS SOUS 42105 HAS SOUPS 42105 WITH SCORE 42166.441
AT ITER 5586 NEW BEST:: SOT 193770 SOS 61411 HAS SOPS 61411 HAS SOUS 42075 HAS SOUPS 42075 WITH SCORE 42136.411
AT ITER 5595 NEW BEST:: SOT 193741 SOS 61382 HAS SOPS 61382 HAS SOUS 42046 HAS SOUPS 42046 WITH SCORE 42107.382
AT ITER 5607 NEW BEST:: SOT 193741 SOS 61382 HAS SOPS 61382 HAS SOUS 42026 HAS SOUPS 42026 WITH SCORE 42087.382
AT ITER 5676 NEW BEST:: SOT 193741 SOS 61258 HAS SOPS 61258 HAS SOUS 42018 HAS SOUPS 42018 WITH SCORE 42079.258
AT ITER 5687 NEW BEST:: SOT 193718 SOS 61236 HAS SOPS 61236 HAS SOUS 41996 HAS SOUPS 41996 WITH SCORE 42057.236
AT ITER 5733 NEW BEST:: SOT 193678 SOS 61176 HAS SOPS 61176 HAS SOUS 41938 HAS SOUPS 41938 WITH SCORE 41999.176
AT ITER 5745 NEW BEST:: SOT 193678 SOS 61170 HAS SOPS 61170 HAS SOUS 41932 HAS SOUPS 41932 WITH SCORE 41993.17
AT ITER 5749 NEW BEST:: SOT 193667 SOS 61234 HAS SOPS 61234 HAS SOUS 41915 HAS SOUPS 41915 WITH SCORE 41976.234
AT ITER 5770 NEW BEST:: SOT 193664 SOS 61231 HAS SOPS 61231 HAS SOUS 41915 HAS SOUPS 41915 WITH SCORE 41976.231
AT ITER 5832 NEW BEST:: SOT 193624 SOS 61151 HAS SOPS 61151 HAS SOUS 41835 HAS SOUPS 41835 WITH SCORE 41896.151
AT ITER 5837 NEW BEST:: SOT 193624 SOS 61148 HAS SOPS 61148 HAS SOUS 41832 HAS SOUPS 41832 WITH SCORE 41893.148
AT ITER 5857 NEW BEST:: SOT 193605 SOS 61134 HAS SOPS 61134 HAS SOUS 41818 HAS SOUPS 41818 WITH SCORE 41879.134
AT ITER 5867 NEW BEST:: SOT 193617 SOS 61146 HAS SOPS 61146 HAS SOUS 41808 HAS SOUPS 41808 WITH SCORE 41869.146
AT ITER 5891 NEW BEST:: SOT 193589 SOS 61230 HAS SOPS 61230 HAS SOUS 41780 HAS SOUPS 41780 WITH SCORE 41841.23
AT ITER 5900 NEW BEST:: SOT 193535 SOS 61122 HAS SOPS 61122 HAS SOUS 41614 HAS SOUPS 41614 WITH SCORE 41675.122
AT ITER 5909 NEW BEST:: SOT 193526 SOS 61104 HAS SOPS 61104 HAS SOUS 41596 HAS SOUPS 41596 WITH SCORE 41657.104
AT ITER 5940 NEW BEST:: SOT 193407 SOS 61104 HAS SOPS 61104 HAS SOUS 41483 HAS SOUPS 41483 WITH SCORE 41544.104
AT ITER 5949 NEW BEST:: SOT 193377 SOS 61107 HAS SOPS 61107 HAS SOUS 41441 HAS SOUPS 41441 WITH SCORE 41502.107
AT ITER 5985 NEW BEST:: SOT 193375 SOS 61103 HAS SOPS 61103 HAS SOUS 41437 HAS SOUPS 41437 WITH SCORE 41498.103
AT ITER 6065 NEW BEST:: SOT 193271 SOS 60875 HAS SOPS 60875 HAS SOUS 41271 HAS SOUPS 41271 WITH SCORE 41331.875
AT ITER 6066 NEW BEST:: SOT 193237 SOS 60841 HAS SOPS 60841 HAS SOUS 41237 HAS SOUPS 41237 WITH SCORE 41297.841
AT ITER 6079 NEW BEST:: SOT 193205 SOS 60769 HAS SOPS 60769 HAS SOUS 41165 HAS SOUPS 41165 WITH SCORE 41225.769
AT ITER 6080 NEW BEST:: SOT 193200 SOS 60764 HAS SOPS 60764 HAS SOUS 41160 HAS SOUPS 41160 WITH SCORE 41220.764
AT ITER 6081 NEW BEST:: SOT 193178 SOS 60763 HAS SOPS 60763 HAS SOUS 41159 HAS SOUPS 41159 WITH SCORE 41219.763
AT ITER 6086 NEW BEST:: SOT 193125 SOS 60762 HAS SOPS 60762 HAS SOUS 41158 HAS SOUPS 41158 WITH SCORE 41218.762
AT ITER 6105 NEW BEST:: SOT 193032 SOS 60714 HAS SOPS 60714 HAS SOUS 41110 HAS SOUPS 41110 WITH SCORE 41170.714
AT ITER 6124 NEW BEST:: SOT 192906 SOS 60581 HAS SOPS 60581 HAS SOUS 40989 HAS SOUPS 40989 WITH SCORE 41049.581
AT ITER 6186 NEW BEST:: SOT 192898 SOS 60462 HAS SOPS 60462 HAS SOUS 40870 HAS SOUPS 40870 WITH SCORE 40930.462
AT ITER 6188 NEW BEST:: SOT 192920 SOS 60457 HAS SOPS 60457 HAS SOUS 40843 HAS SOUPS 40843 WITH SCORE 40903.457
AT ITER 6193 NEW BEST:: SOT 192932 SOS 60450 HAS SOPS 60450 HAS SOUS 40836 HAS SOUPS 40836 WITH SCORE 40896.45
AT ITER 6213 NEW BEST:: SOT 192932 SOS 60448 HAS SOPS 60448 HAS SOUS 40834 HAS SOUPS 40834 WITH SCORE 40894.448
AT ITER 6226 NEW BEST:: SOT 192905 SOS 60430 HAS SOPS 60430 HAS SOUS 40816 HAS SOUPS 40816 WITH SCORE 40876.43
AT ITER 6267 NEW BEST:: SOT 192927 SOS 60399 HAS SOPS 60399 HAS SOUS 40785 HAS SOUPS 40785 WITH SCORE 40845.399
AT ITER 6372 NEW BEST:: SOT 192927 SOS 60329 HAS SOPS 60329 HAS SOUS 40715 HAS SOUPS 40715 WITH SCORE 40775.329
AT ITER 6396 NEW BEST:: SOT 192915 SOS 60305 HAS SOPS 60305 HAS SOUS 40691 HAS SOUPS 40691 WITH SCORE 40751.305
AT ITER 6404 NEW BEST:: SOT 192906 SOS 60287 HAS SOPS 60287 HAS SOUS 40690 HAS SOUPS 40690 WITH SCORE 40750.287
AT ITER 6410 NEW BEST:: SOT 192881 SOS 60276 HAS SOPS 60276 HAS SOUS 40679 HAS SOUPS 40679 WITH SCORE 40739.276
AT ITER 6427 NEW BEST:: SOT 192859 SOS 60254 HAS SOPS 60254 HAS SOUS 40657 HAS SOUPS 40657 WITH SCORE 40717.254
AT ITER 6481 NEW BEST:: SOT 192890 SOS 60242 HAS SOPS 60242 HAS SOUS 40645 HAS SOUPS 40645 WITH SCORE 40705.242
AT ITER 6490 NEW BEST:: SOT 192883 SOS 60228 HAS SOPS 60228 HAS SOUS 40631 HAS SOUPS 40631 WITH SCORE 40691.228
AT ITER 6492 NEW BEST:: SOT 192848 SOS 60158 HAS SOPS 60158 HAS SOUS 40561 HAS SOUPS 40561 WITH SCORE 40621.158
AT ITER 6501 NEW BEST:: SOT 192846 SOS 60156 HAS SOPS 60156 HAS SOUS 40559 HAS SOUPS 40559 WITH SCORE 40619.156
AT ITER 6514 NEW BEST:: SOT 192837 SOS 60147 HAS SOPS 60147 HAS SOUS 40548 HAS SOUPS 40548 WITH SCORE 40608.147
AT ITER 6585 NEW BEST:: SOT 192975 SOS 60276 HAS SOPS 60276 HAS SOUS 40530 HAS SOUPS 40530 WITH SCORE 40590.276
AT ITER 6605 NEW BEST:: SOT 192945 SOS 60252 HAS SOPS 60252 HAS SOUS 40506 HAS SOUPS 40506 WITH SCORE 40566.252
AT ITER 6625 NEW BEST:: SOT 192933 SOS 60240 HAS SOPS 60240 HAS SOUS 40506 HAS SOUPS 40506 WITH SCORE 40566.24
AT ITER 6636 NEW BEST:: SOT 192904 SOS 60194 HAS SOPS 60194 HAS SOUS 40460 HAS SOUPS 40460 WITH SCORE 40520.194
AT ITER 6641 NEW BEST:: SOT 192890 SOS 60180 HAS SOPS 60180 HAS SOUS 40460 HAS SOUPS 40460 WITH SCORE 40520.18
AT ITER 6654 NEW BEST:: SOT 192932 SOS 60222 HAS SOPS 60222 HAS SOUS 40434 HAS SOUPS 40434 WITH SCORE 40494.222
AT ITER 6684 NEW BEST:: SOT 192878 SOS 60310 HAS SOPS 60310 HAS SOUS 40355 HAS SOUPS 40355 WITH SCORE 40415.31
AT ITER 6696 NEW BEST:: SOT 192875 SOS 60295 HAS SOPS 60295 HAS SOUS 40352 HAS SOUPS 40352 WITH SCORE 40412.295
AT ITER 6701 NEW BEST:: SOT 192859 SOS 60279 HAS SOPS 60279 HAS SOUS 40336 HAS SOUPS 40336 WITH SCORE 40396.279
AT ITER 6721 NEW BEST:: SOT 192814 SOS 60247 HAS SOPS 60247 HAS SOUS 40304 HAS SOUPS 40304 WITH SCORE 40364.247
AT ITER 6790 NEW BEST:: SOT 192813 SOS 60245 HAS SOPS 60245 HAS SOUS 40302 HAS SOUPS 40302 WITH SCORE 40362.245
AT ITER 6869 NEW BEST:: SOT 192966 SOS 60398 HAS SOPS 60398 HAS SOUS 40260 HAS SOUPS 40260 WITH SCORE 40320.398
AT ITER 6890 NEW BEST:: SOT 192969 SOS 60380 HAS SOPS 60380 HAS SOUS 40242 HAS SOUPS 40242 WITH SCORE 40302.38
AT ITER 6909 NEW BEST:: SOT 192964 SOS 60376 HAS SOPS 60376 HAS SOUS 40238 HAS SOUPS 40238 WITH SCORE 40298.376
AT ITER 6920 NEW BEST:: SOT 192956 SOS 60360 HAS SOPS 60360 HAS SOUS 40214 HAS SOUPS 40214 WITH SCORE 40274.36
AT ITER 6936 NEW BEST:: SOT 193008 SOS 60403 HAS SOPS 60403 HAS SOUS 40193 HAS SOUPS 40193 WITH SCORE 40253.403
AT ITER 6972 NEW BEST:: SOT 192998 SOS 60383 HAS SOPS 60383 HAS SOUS 40178 HAS SOUPS 40178 WITH SCORE 40238.383
AT ITER 6978 NEW BEST:: SOT 192699 SOS 60084 HAS SOPS 60084 HAS SOUS 40162 HAS SOUPS 40162 WITH SCORE 40222.084
AT ITER 6992 NEW BEST:: SOT 192656 SOS 59998 HAS SOPS 59998 HAS SOUS 40110 HAS SOUPS 40110 WITH SCORE 40169.998
AT ITER 7035 NEW BEST:: SOT 192651 SOS 59993 HAS SOPS 59993 HAS SOUS 40105 HAS SOUPS 40105 WITH SCORE 40164.993
AT ITER 7083 NEW BEST:: SOT 192614 SOS 59919 HAS SOPS 59919 HAS SOUS 40059 HAS SOUPS 40059 WITH SCORE 40118.919
AT ITER 7179 NEW BEST:: SOT 192614 SOS 59890 HAS SOPS 59890 HAS SOUS 40030 HAS SOUPS 40030 WITH SCORE 40089.89
AT ITER 7238 NEW BEST:: SOT 192575 SOS 59812 HAS SOPS 59812 HAS SOUS 39953 HAS SOUPS 39953 WITH SCORE 40012.812
AT ITER 7358 NEW BEST:: SOT 192581 SOS 59785 HAS SOPS 59785 HAS SOUS 39926 HAS SOUPS 39926 WITH SCORE 39985.785
AT ITER 7372 NEW BEST:: SOT 192578 SOS 59782 HAS SOPS 59782 HAS SOUS 39923 HAS SOUPS 39923 WITH SCORE 39982.782
AT ITER 7414 NEW BEST:: SOT 192526 SOS 59708 HAS SOPS 59708 HAS SOUS 39849 HAS SOUPS 39849 WITH SCORE 39908.708
AT ITER 7435 NEW BEST:: SOT 192520 SOS 59666 HAS SOPS 59666 HAS SOUS 39837 HAS SOUPS 39837 WITH SCORE 39896.666
AT ITER 7437 NEW BEST:: SOT 192403 SOS 59549 HAS SOPS 59549 HAS SOUS 39720 HAS SOUPS 39720 WITH SCORE 39779.549
AT ITER 7564 NEW BEST:: SOT 192391 SOS 59537 HAS SOPS 59537 HAS SOUS 39696 HAS SOUPS 39696 WITH SCORE 39755.537
AT ITER 7626 NEW BEST:: SOT 192391 SOS 59509 HAS SOPS 59509 HAS SOUS 39696 HAS SOUPS 39696 WITH SCORE 39755.509
AT ITER 7718 NEW BEST:: SOT 192372 SOS 59490 HAS SOPS 59490 HAS SOUS 39696 HAS SOUPS 39696 WITH SCORE 39755.49
AT ITER 7758 NEW BEST:: SOT 192369 SOS 59484 HAS SOPS 59484 HAS SOUS 39690 HAS SOUPS 39690 WITH SCORE 39749.484
AT ITER 7770 NEW BEST:: SOT 192369 SOS 59477 HAS SOPS 59477 HAS SOUS 39683 HAS SOUPS 39683 WITH SCORE 39742.477
AT ITER 7779 NEW BEST:: SOT 192369 SOS 59504 HAS SOPS 59504 HAS SOUS 39680 HAS SOUPS 39680 WITH SCORE 39739.504
AT ITER 7783 NEW BEST:: SOT 192362 SOS 59490 HAS SOPS 59490 HAS SOUS 39532 HAS SOUPS 39532 WITH SCORE 39591.49
AT ITER 7833 NEW BEST:: SOT 192442 SOS 59550 HAS SOPS 59550 HAS SOUS 39512 HAS SOUPS 39512 WITH SCORE 39571.55
AT ITER 7868 NEW BEST:: SOT 192413 SOS 59463 HAS SOPS 59463 HAS SOUS 39454 HAS SOUPS 39454 WITH SCORE 39513.463
AT ITER 7873 NEW BEST:: SOT 192400 SOS 59462 HAS SOPS 59462 HAS SOUS 39453 HAS SOUPS 39453 WITH SCORE 39512.462
AT ITER 7899 NEW BEST:: SOT 192393 SOS 59456 HAS SOPS 59456 HAS SOUS 39451 HAS SOUPS 39451 WITH SCORE 39510.456
AT ITER 7900 NEW BEST:: SOT 192393 SOS 59439 HAS SOPS 59439 HAS SOUS 39434 HAS SOUPS 39434 WITH SCORE 39493.439
AT ITER 7911 NEW BEST:: SOT 192382 SOS 59417 HAS SOPS 59417 HAS SOUS 39423 HAS SOUPS 39423 WITH SCORE 39482.417
AT ITER 7924 NEW BEST:: SOT 192382 SOS 59399 HAS SOPS 59399 HAS SOUS 39405 HAS SOUPS 39405 WITH SCORE 39464.399
AT ITER 7973 NEW BEST:: SOT 192364 SOS 59363 HAS SOPS 59363 HAS SOUS 39369 HAS SOUPS 39369 WITH SCORE 39428.363
AT ITER 7977 NEW BEST:: SOT 192363 SOS 59361 HAS SOPS 59361 HAS SOUS 39367 HAS SOUPS 39367 WITH SCORE 39426.361
AT ITER 7986 NEW BEST:: SOT 192358 SOS 59351 HAS SOPS 59351 HAS SOUS 39357 HAS SOUPS 39357 WITH SCORE 39416.351
AT ITER 7995 NEW BEST:: SOT 192328 SOS 59291 HAS SOPS 59291 HAS SOUS 39327 HAS SOUPS 39327 WITH SCORE 39386.291
AT ITER 8057 NEW BEST:: SOT 192335 SOS 59269 HAS SOPS 59269 HAS SOUS 39305 HAS SOUPS 39305 WITH SCORE 39364.269
AT ITER 8064 NEW BEST:: SOT 192349 SOS 59261 HAS SOPS 59261 HAS SOUS 39297 HAS SOUPS 39297 WITH SCORE 39356.261
AT ITER 8081 NEW BEST:: SOT 192349 SOS 59261 HAS SOPS 59261 HAS SOUS 39284 HAS SOUPS 39284 WITH SCORE 39343.261
AT ITER 8103 NEW BEST:: SOT 192315 SOS 59193 HAS SOPS 59193 HAS SOUS 39250 HAS SOUPS 39250 WITH SCORE 39309.193
AT ITER 8134 NEW BEST:: SOT 192309 SOS 59187 HAS SOPS 59187 HAS SOUS 39244 HAS SOUPS 39244 WITH SCORE 39303.187
AT ITER 8163 NEW BEST:: SOT 192298 SOS 59069 HAS SOPS 59069 HAS SOUS 39143 HAS SOUPS 39143 WITH SCORE 39202.069
AT ITER 8218 NEW BEST:: SOT 192235 SOS 59020 HAS SOPS 59020 HAS SOUS 39094 HAS SOUPS 39094 WITH SCORE 39153.02
AT ITER 8255 NEW BEST:: SOT 192255 SOS 59058 HAS SOPS 59058 HAS SOUS 39083 HAS SOUPS 39083 WITH SCORE 39142.058
AT ITER 8288 NEW BEST:: SOT 192323 SOS 59028 HAS SOPS 59028 HAS SOUS 39053 HAS SOUPS 39053 WITH SCORE 39112.028
AT ITER 8296 NEW BEST:: SOT 192317 SOS 59025 HAS SOPS 59025 HAS SOUS 39050 HAS SOUPS 39050 WITH SCORE 39109.025
AT ITER 8340 NEW BEST:: SOT 192285 SOS 58967 HAS SOPS 58967 HAS SOUS 39024 HAS SOUPS 39024 WITH SCORE 39082.967
AT ITER 8347 NEW BEST:: SOT 192285 SOS 58953 HAS SOPS 58953 HAS SOUS 39024 HAS SOUPS 39024 WITH SCORE 39082.953
AT ITER 8354 NEW BEST:: SOT 192249 SOS 59112 HAS SOPS 59112 HAS SOUS 38988 HAS SOUPS 38988 WITH SCORE 39047.112
AT ITER 8368 NEW BEST:: SOT 192166 SOS 58980 HAS SOPS 58980 HAS SOUS 38942 HAS SOUPS 38942 WITH SCORE 39000.98
AT ITER 8373 NEW BEST:: SOT 192119 SOS 58899 HAS SOPS 58899 HAS SOUS 38908 HAS SOUPS 38908 WITH SCORE 38966.899
AT ITER 8374 NEW BEST:: SOT 192113 SOS 58854 HAS SOPS 58854 HAS SOUS 38869 HAS SOUPS 38869 WITH SCORE 38927.854
AT ITER 8403 NEW BEST:: SOT 192001 SOS 58741 HAS SOPS 58741 HAS SOUS 38867 HAS SOUPS 38867 WITH SCORE 38925.741
AT ITER 8405 NEW BEST:: SOT 191993 SOS 58725 HAS SOPS 58725 HAS SOUS 38851 HAS SOUPS 38851 WITH SCORE 38909.725
AT ITER 8409 NEW BEST:: SOT 192022 SOS 58724 HAS SOPS 58724 HAS SOUS 38850 HAS SOUPS 38850 WITH SCORE 38908.724
AT ITER 8428 NEW BEST:: SOT 192026 SOS 58722 HAS SOPS 58722 HAS SOUS 38848 HAS SOUPS 38848 WITH SCORE 38906.722
AT ITER 8446 NEW BEST:: SOT 192026 SOS 58725 HAS SOPS 58725 HAS SOUS 38847 HAS SOUPS 38847 WITH SCORE 38905.725
AT ITER 8451 NEW BEST:: SOT 192026 SOS 58593 HAS SOPS 58593 HAS SOUS 38836 HAS SOUPS 38836 WITH SCORE 38894.593
AT ITER 8474 NEW BEST:: SOT 192026 SOS 58592 HAS SOPS 58592 HAS SOUS 38835 HAS SOUPS 38835 WITH SCORE 38893.592
AT ITER 8475 NEW BEST:: SOT 192017 SOS 58574 HAS SOPS 58574 HAS SOUS 38817 HAS SOUPS 38817 WITH SCORE 38875.574
AT ITER 8486 NEW BEST:: SOT 191960 SOS 58521 HAS SOPS 58521 HAS SOUS 38768 HAS SOUPS 38768 WITH SCORE 38826.521
AT ITER 8518 NEW BEST:: SOT 191924 SOS 58449 HAS SOPS 58449 HAS SOUS 38696 HAS SOUPS 38696 WITH SCORE 38754.449
AT ITER 8545 NEW BEST:: SOT 191981 SOS 58415 HAS SOPS 58415 HAS SOUS 38663 HAS SOUPS 38663 WITH SCORE 38721.415
AT ITER 8562 NEW BEST:: SOT 191988 SOS 58411 HAS SOPS 58411 HAS SOUS 38659 HAS SOUPS 38659 WITH SCORE 38717.411
AT ITER 8582 NEW BEST:: SOT 191997 SOS 58429 HAS SOPS 58429 HAS SOUS 38648 HAS SOUPS 38648 WITH SCORE 38706.429
AT ITER 8583 NEW BEST:: SOT 191996 SOS 58427 HAS SOPS 58427 HAS SOUS 38647 HAS SOUPS 38647 WITH SCORE 38705.427
AT ITER 8612 NEW BEST:: SOT 191938 SOS 58247 HAS SOPS 58247 HAS SOUS 38525 HAS SOUPS 38525 WITH SCORE 38583.247
AT ITER 8622 NEW BEST:: SOT 191937 SOS 58246 HAS SOPS 58246 HAS SOUS 38524 HAS SOUPS 38524 WITH SCORE 38582.246
AT ITER 8629 NEW BEST:: SOT 191925 SOS 58201 HAS SOPS 58201 HAS SOUS 38479 HAS SOUPS 38479 WITH SCORE 38537.201
AT ITER 8635 NEW BEST:: SOT 191897 SOS 58145 HAS SOPS 58145 HAS SOUS 38451 HAS SOUPS 38451 WITH SCORE 38509.145
AT ITER 8647 NEW BEST:: SOT 191957 SOS 58171 HAS SOPS 58171 HAS SOUS 38430 HAS SOUPS 38430 WITH SCORE 38488.171
AT ITER 8651 NEW BEST:: SOT 191884 SOS 58102 HAS SOPS 58102 HAS SOUS 38361 HAS SOUPS 38361 WITH SCORE 38419.102
AT ITER 8687 NEW BEST:: SOT 191906 SOS 58107 HAS SOPS 58107 HAS SOUS 38330 HAS SOUPS 38330 WITH SCORE 38388.107
AT ITER 8707 NEW BEST:: SOT 191864 SOS 58050 HAS SOPS 58050 HAS SOUS 38273 HAS SOUPS 38273 WITH SCORE 38331.05
AT ITER 8709 NEW BEST:: SOT 191788 SOS 57974 HAS SOPS 57974 HAS SOUS 38248 HAS SOUPS 38248 WITH SCORE 38305.974
AT ITER 8727 NEW BEST:: SOT 191795 SOS 57985 HAS SOPS 57985 HAS SOUS 38242 HAS SOUPS 38242 WITH SCORE 38299.985
AT ITER 8760 NEW BEST:: SOT 191738 SOS 57905 HAS SOPS 57905 HAS SOUS 38201 HAS SOUPS 38201 WITH SCORE 38258.905
AT ITER 8805 NEW BEST:: SOT 191701 SOS 57849 HAS SOPS 57849 HAS SOUS 38145 HAS SOUPS 38145 WITH SCORE 38202.849
AT ITER 8808 NEW BEST:: SOT 191693 SOS 57848 HAS SOPS 57848 HAS SOUS 38144 HAS SOUPS 38144 WITH SCORE 38201.848
AT ITER 8840 NEW BEST:: SOT 191692 SOS 57846 HAS SOPS 57846 HAS SOUS 38143 HAS SOUPS 38143 WITH SCORE 38200.846
AT ITER 8842 NEW BEST:: SOT 191672 SOS 57830 HAS SOPS 57830 HAS SOUS 38127 HAS SOUPS 38127 WITH SCORE 38184.83
AT ITER 8863 NEW BEST:: SOT 191692 SOS 57828 HAS SOPS 57828 HAS SOUS 38125 HAS SOUPS 38125 WITH SCORE 38182.828
AT ITER 8890 NEW BEST:: SOT 191721 SOS 57886 HAS SOPS 57886 HAS SOUS 38122 HAS SOUPS 38122 WITH SCORE 38179.886
AT ITER 8947 NEW BEST:: SOT 191721 SOS 57886 HAS SOPS 57886 HAS SOUS 38113 HAS SOUPS 38113 WITH SCORE 38170.886
AT ITER 9009 NEW BEST:: SOT 191718 SOS 57883 HAS SOPS 57883 HAS SOUS 38110 HAS SOUPS 38110 WITH SCORE 38167.883
AT ITER 9066 NEW BEST:: SOT 191688 SOS 57781 HAS SOPS 57781 HAS SOUS 38035 HAS SOUPS 38035 WITH SCORE 38092.781
AT ITER 9076 NEW BEST:: SOT 191626 SOS 57760 HAS SOPS 57760 HAS SOUS 38014 HAS SOUPS 38014 WITH SCORE 38071.76
AT ITER 9081 NEW BEST:: SOT 191626 SOS 57725 HAS SOPS 57725 HAS SOUS 37982 HAS SOUPS 37982 WITH SCORE 38039.725
AT ITER 9107 NEW BEST:: SOT 191602 SOS 57706 HAS SOPS 57706 HAS SOUS 37963 HAS SOUPS 37963 WITH SCORE 38020.706
AT ITER 9136 NEW BEST:: SOT 191601 SOS 57704 HAS SOPS 57704 HAS SOUS 37954 HAS SOUPS 37954 WITH SCORE 38011.704
AT ITER 9207 NEW BEST:: SOT 191597 SOS 57700 HAS SOPS 57700 HAS SOUS 37950 HAS SOUPS 37950 WITH SCORE 38007.7
AT ITER 9230 NEW BEST:: SOT 191530 SOS 57566 HAS SOPS 57566 HAS SOUS 37816 HAS SOUPS 37816 WITH SCORE 37873.566
AT ITER 9354 NEW BEST:: SOT 191522 SOS 57550 HAS SOPS 57550 HAS SOUS 37800 HAS SOUPS 37800 WITH SCORE 37857.55
AT ITER 9372 NEW BEST:: SOT 191513 SOS 57538 HAS SOPS 57538 HAS SOUS 37788 HAS SOUPS 37788 WITH SCORE 37845.538
AT ITER 9379 NEW BEST:: SOT 191532 SOS 57530 HAS SOPS 57530 HAS SOUS 37780 HAS SOUPS 37780 WITH SCORE 37837.53
AT ITER 9522 NEW BEST:: SOT 191504 SOS 57393 HAS SOPS 57393 HAS SOUS 37773 HAS SOUPS 37773 WITH SCORE 37830.393
AT ITER 9569 NEW BEST:: SOT 191498 SOS 57373 HAS SOPS 57373 HAS SOUS 37753 HAS SOUPS 37753 WITH SCORE 37810.373
AT ITER 9571 NEW BEST:: SOT 191467 SOS 57342 HAS SOPS 57342 HAS SOUS 37722 HAS SOUPS 37722 WITH SCORE 37779.342
AT ITER 9643 NEW BEST:: SOT 191452 SOS 57327 HAS SOPS 57327 HAS SOUS 37707 HAS SOUPS 37707 WITH SCORE 37764.327
AT ITER 9644 NEW BEST:: SOT 191421 SOS 57275 HAS SOPS 57275 HAS SOUS 37655 HAS SOUPS 37655 WITH SCORE 37712.275
AT ITER 9645 NEW BEST:: SOT 191556 SOS 57259 HAS SOPS 57259 HAS SOUS 37655 HAS SOUPS 37655 WITH SCORE 37712.259
AT ITER 9655 NEW BEST:: SOT 191510 SOS 57201 HAS SOPS 57201 HAS SOUS 37599 HAS SOUPS 37599 WITH SCORE 37656.201
AT ITER 9660 NEW BEST:: SOT 191504 SOS 57189 HAS SOPS 57189 HAS SOUS 37587 HAS SOUPS 37587 WITH SCORE 37644.189
AT ITER 9682 NEW BEST:: SOT 191522 SOS 57225 HAS SOPS 57225 HAS SOUS 37561 HAS SOUPS 37561 WITH SCORE 37618.225
AT ITER 9693 NEW BEST:: SOT 191474 SOS 57081 HAS SOPS 57081 HAS SOUS 37417 HAS SOUPS 37417 WITH SCORE 37474.081
AT ITER 9741 NEW BEST:: SOT 191439 SOS 57011 HAS SOPS 57011 HAS SOUS 37405 HAS SOUPS 37405 WITH SCORE 37462.011
AT ITER 9744 NEW BEST:: SOT 191429 SOS 56991 HAS SOPS 56991 HAS SOUS 37385 HAS SOUPS 37385 WITH SCORE 37441.991
AT ITER 9776 NEW BEST:: SOT 191412 SOS 56960 HAS SOPS 56960 HAS SOUS 37354 HAS SOUPS 37354 WITH SCORE 37410.96
AT ITER 9799 NEW BEST:: SOT 191387 SOS 56910 HAS SOPS 56910 HAS SOUS 37317 HAS SOUPS 37317 WITH SCORE 37373.91
AT ITER 9818 NEW BEST:: SOT 191370 SOS 56893 HAS SOPS 56893 HAS SOUS 37296 HAS SOUPS 37296 WITH SCORE 37352.893
AT ITER 9891 NEW BEST:: SOT 191346 SOS 56864 HAS SOPS 56864 HAS SOUS 37286 HAS SOUPS 37286 WITH SCORE 37342.864
AT ITER 9938 NEW BEST:: SOT 191346 SOS 56731 HAS SOPS 56731 HAS SOUS 37286 HAS SOUPS 37286 WITH SCORE 37342.731
AT ITER 9941 NEW BEST:: SOT 191345 SOS 56728 HAS SOPS 56728 HAS SOUS 37284 HAS SOUPS 37284 WITH SCORE 37340.728
AT ITER 9942 NEW BEST:: SOT 191329 SOS 56635 HAS SOPS 56635 HAS SOUS 37191 HAS SOUPS 37191 WITH SCORE 37247.635
AT ITER 9952 NEW BEST:: SOT 191324 SOS 56625 HAS SOPS 56625 HAS SOUS 37186 HAS SOUPS 37186 WITH SCORE 37242.625
AT ITER 9979 NEW BEST:: SOT 191320 SOS 56621 HAS SOPS 56621 HAS SOUS 37182 HAS SOUPS 37182 WITH SCORE 37238.621
AT ITER 9995 NEW BEST:: SOT 191314 SOS 56568 HAS SOPS 56568 HAS SOUS 37148 HAS SOUPS 37148 WITH SCORE 37204.568

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BusinessProcesses-PT-15"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-15, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897680200568"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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