Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972400272.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is FlexibleBarrier-PT-04b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972400272
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 232K
-rw-r--r-- 1 mcc users 3.4K Apr 4 18:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 4 18:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 4 06:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 4 06:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 3 20:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 3 20:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 3 13:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 3 13:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 69K 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 1589394883040

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

Filename model.pnml
Petri model created: 268 places, 305 transitions, 743 arcs.
AT ITER 0 NEW BEST:: SOT 51847 SOS 21531 HAS SOPS 21531 HAS SOUS 18658 HAS SOUPS 18658 WITH SCORE 18679.531
AT ITER 7 NEW BEST:: SOT 51827 SOS 21491 HAS SOPS 21491 HAS SOUS 18615 HAS SOUPS 18615 WITH SCORE 18636.491
AT ITER 11 NEW BEST:: SOT 51732 SOS 21406 HAS SOPS 21406 HAS SOUS 18529 HAS SOUPS 18529 WITH SCORE 18550.406
AT ITER 12 NEW BEST:: SOT 51688 SOS 21403 HAS SOPS 21403 HAS SOUS 18503 HAS SOUPS 18503 WITH SCORE 18524.403
AT ITER 15 NEW BEST:: SOT 51606 SOS 21389 HAS SOPS 21389 HAS SOUS 18500 HAS SOUPS 18500 WITH SCORE 18521.389
AT ITER 16 NEW BEST:: SOT 51584 SOS 21367 HAS SOPS 21367 HAS SOUS 18498 HAS SOUPS 18498 WITH SCORE 18519.367
AT ITER 32 NEW BEST:: SOT 51584 SOS 21363 HAS SOPS 21363 HAS SOUS 18497 HAS SOUPS 18497 WITH SCORE 18518.363
AT ITER 34 NEW BEST:: SOT 51601 SOS 21360 HAS SOPS 21360 HAS SOUS 18494 HAS SOUPS 18494 WITH SCORE 18515.36
AT ITER 36 NEW BEST:: SOT 51523 SOS 21290 HAS SOPS 21290 HAS SOUS 18420 HAS SOUPS 18420 WITH SCORE 18441.29
AT ITER 40 NEW BEST:: SOT 51462 SOS 21290 HAS SOPS 21290 HAS SOUS 18359 HAS SOUPS 18359 WITH SCORE 18380.29
AT ITER 42 NEW BEST:: SOT 51373 SOS 21165 HAS SOPS 21165 HAS SOUS 18217 HAS SOUPS 18217 WITH SCORE 18238.165
AT ITER 46 NEW BEST:: SOT 51373 SOS 21165 HAS SOPS 21165 HAS SOUS 18216 HAS SOUPS 18216 WITH SCORE 18237.165
AT ITER 49 NEW BEST:: SOT 51346 SOS 21039 HAS SOPS 21039 HAS SOUS 18139 HAS SOUPS 18139 WITH SCORE 18160.039
AT ITER 51 NEW BEST:: SOT 51297 SOS 20911 HAS SOPS 20911 HAS SOUS 18059 HAS SOUPS 18059 WITH SCORE 18079.911
AT ITER 59 NEW BEST:: SOT 51258 SOS 20760 HAS SOPS 20760 HAS SOUS 18032 HAS SOUPS 18032 WITH SCORE 18052.76
AT ITER 61 NEW BEST:: SOT 51271 SOS 20785 HAS SOPS 20785 HAS SOUS 18027 HAS SOUPS 18027 WITH SCORE 18047.785
AT ITER 62 NEW BEST:: SOT 51254 SOS 20768 HAS SOPS 20768 HAS SOUS 18010 HAS SOUPS 18010 WITH SCORE 18030.768
AT ITER 65 NEW BEST:: SOT 51235 SOS 20667 HAS SOPS 20667 HAS SOUS 17972 HAS SOUPS 17972 WITH SCORE 17992.667
AT ITER 69 NEW BEST:: SOT 50557 SOS 20062 HAS SOPS 20062 HAS SOUS 17294 HAS SOUPS 17294 WITH SCORE 17314.062
AT ITER 74 NEW BEST:: SOT 50541 SOS 20014 HAS SOPS 20014 HAS SOUS 17246 HAS SOUPS 17246 WITH SCORE 17266.014
AT ITER 76 NEW BEST:: SOT 50536 SOS 19969 HAS SOPS 19969 HAS SOUS 17240 HAS SOUPS 17240 WITH SCORE 17259.969
AT ITER 77 NEW BEST:: SOT 50536 SOS 19939 HAS SOPS 19939 HAS SOUS 17229 HAS SOUPS 17229 WITH SCORE 17248.939
AT ITER 80 NEW BEST:: SOT 50478 SOS 19782 HAS SOPS 19782 HAS SOUS 17096 HAS SOUPS 17096 WITH SCORE 17115.782
AT ITER 91 NEW BEST:: SOT 50310 SOS 19742 HAS SOPS 19742 HAS SOUS 16939 HAS SOUPS 16939 WITH SCORE 16958.742
AT ITER 100 NEW BEST:: SOT 50259 SOS 19731 HAS SOPS 19731 HAS SOUS 16930 HAS SOUPS 16930 WITH SCORE 16949.731
AT ITER 102 NEW BEST:: SOT 50261 SOS 19698 HAS SOPS 19698 HAS SOUS 16906 HAS SOUPS 16906 WITH SCORE 16925.698
AT ITER 103 NEW BEST:: SOT 50202 SOS 19769 HAS SOPS 19769 HAS SOUS 16864 HAS SOUPS 16864 WITH SCORE 16883.769
AT ITER 107 NEW BEST:: SOT 50112 SOS 19679 HAS SOPS 19679 HAS SOUS 16775 HAS SOUPS 16775 WITH SCORE 16794.679
AT ITER 110 NEW BEST:: SOT 50106 SOS 19667 HAS SOPS 19667 HAS SOUS 16763 HAS SOUPS 16763 WITH SCORE 16782.667
AT ITER 112 NEW BEST:: SOT 50055 SOS 19701 HAS SOPS 19701 HAS SOUS 16729 HAS SOUPS 16729 WITH SCORE 16748.701
AT ITER 123 NEW BEST:: SOT 50055 SOS 19699 HAS SOPS 19699 HAS SOUS 16720 HAS SOUPS 16720 WITH SCORE 16739.699
AT ITER 126 NEW BEST:: SOT 50055 SOS 19632 HAS SOPS 19632 HAS SOUS 16693 HAS SOUPS 16693 WITH SCORE 16712.632
AT ITER 139 NEW BEST:: SOT 50036 SOS 19594 HAS SOPS 19594 HAS SOUS 16677 HAS SOUPS 16677 WITH SCORE 16696.594
AT ITER 142 NEW BEST:: SOT 50036 SOS 19594 HAS SOPS 19594 HAS SOUS 16646 HAS SOUPS 16646 WITH SCORE 16665.594
AT ITER 144 NEW BEST:: SOT 50022 SOS 19580 HAS SOPS 19580 HAS SOUS 16646 HAS SOUPS 16646 WITH SCORE 16665.58
AT ITER 152 NEW BEST:: SOT 50036 SOS 19569 HAS SOPS 19569 HAS SOUS 16555 HAS SOUPS 16555 WITH SCORE 16574.569
AT ITER 162 NEW BEST:: SOT 49990 SOS 19385 HAS SOPS 19385 HAS SOUS 16493 HAS SOUPS 16493 WITH SCORE 16512.385
AT ITER 180 NEW BEST:: SOT 49796 SOS 19194 HAS SOPS 19194 HAS SOUS 16299 HAS SOUPS 16299 WITH SCORE 16318.194
AT ITER 184 NEW BEST:: SOT 49822 SOS 19154 HAS SOPS 19154 HAS SOUS 16269 HAS SOUPS 16269 WITH SCORE 16288.154
AT ITER 187 NEW BEST:: SOT 49788 SOS 19147 HAS SOPS 19147 HAS SOUS 16268 HAS SOUPS 16268 WITH SCORE 16287.147
AT ITER 188 NEW BEST:: SOT 49788 SOS 19139 HAS SOPS 19139 HAS SOUS 16268 HAS SOUPS 16268 WITH SCORE 16287.139
AT ITER 192 NEW BEST:: SOT 49788 SOS 19100 HAS SOPS 19100 HAS SOUS 16229 HAS SOUPS 16229 WITH SCORE 16248.1
AT ITER 198 NEW BEST:: SOT 49756 SOS 18766 HAS SOPS 18766 HAS SOUS 16059 HAS SOUPS 16059 WITH SCORE 16077.766
AT ITER 202 NEW BEST:: SOT 49748 SOS 18750 HAS SOPS 18750 HAS SOUS 16043 HAS SOUPS 16043 WITH SCORE 16061.75
AT ITER 203 NEW BEST:: SOT 49757 SOS 18687 HAS SOPS 18687 HAS SOUS 15992 HAS SOUPS 15992 WITH SCORE 16010.687
AT ITER 204 NEW BEST:: SOT 49752 SOS 18599 HAS SOPS 18599 HAS SOUS 15909 HAS SOUPS 15909 WITH SCORE 15927.599
AT ITER 205 NEW BEST:: SOT 49611 SOS 18587 HAS SOPS 18587 HAS SOUS 15793 HAS SOUPS 15793 WITH SCORE 15811.587
AT ITER 211 NEW BEST:: SOT 49596 SOS 18542 HAS SOPS 18542 HAS SOUS 15778 HAS SOUPS 15778 WITH SCORE 15796.542
AT ITER 214 NEW BEST:: SOT 49599 SOS 18542 HAS SOPS 18542 HAS SOUS 15775 HAS SOUPS 15775 WITH SCORE 15793.542
AT ITER 222 NEW BEST:: SOT 49527 SOS 18545 HAS SOPS 18545 HAS SOUS 15695 HAS SOUPS 15695 WITH SCORE 15713.545
AT ITER 224 NEW BEST:: SOT 49522 SOS 18525 HAS SOPS 18525 HAS SOUS 15682 HAS SOUPS 15682 WITH SCORE 15700.525
AT ITER 230 NEW BEST:: SOT 49522 SOS 18492 HAS SOPS 18492 HAS SOUS 15680 HAS SOUPS 15680 WITH SCORE 15698.492
AT ITER 235 NEW BEST:: SOT 49521 SOS 18491 HAS SOPS 18491 HAS SOUS 15678 HAS SOUPS 15678 WITH SCORE 15696.491
AT ITER 236 NEW BEST:: SOT 49521 SOS 18472 HAS SOPS 18472 HAS SOUS 15675 HAS SOUPS 15675 WITH SCORE 15693.472
AT ITER 238 NEW BEST:: SOT 49501 SOS 18432 HAS SOPS 18432 HAS SOUS 15635 HAS SOUPS 15635 WITH SCORE 15653.432
AT ITER 248 NEW BEST:: SOT 49437 SOS 18368 HAS SOPS 18368 HAS SOUS 15635 HAS SOUPS 15635 WITH SCORE 15653.368
AT ITER 250 NEW BEST:: SOT 49432 SOS 18358 HAS SOPS 18358 HAS SOUS 15630 HAS SOUPS 15630 WITH SCORE 15648.358
AT ITER 252 NEW BEST:: SOT 49417 SOS 18298 HAS SOPS 18298 HAS SOUS 15596 HAS SOUPS 15596 WITH SCORE 15614.298
AT ITER 253 NEW BEST:: SOT 49378 SOS 18195 HAS SOPS 18195 HAS SOUS 15532 HAS SOUPS 15532 WITH SCORE 15550.195
AT ITER 255 NEW BEST:: SOT 49373 SOS 18170 HAS SOPS 18170 HAS SOUS 15527 HAS SOUPS 15527 WITH SCORE 15545.17
AT ITER 258 NEW BEST:: SOT 49276 SOS 18164 HAS SOPS 18164 HAS SOUS 15505 HAS SOUPS 15505 WITH SCORE 15523.164
AT ITER 276 NEW BEST:: SOT 49217 SOS 18101 HAS SOPS 18101 HAS SOUS 15471 HAS SOUPS 15471 WITH SCORE 15489.101
AT ITER 280 NEW BEST:: SOT 48530 SOS 19082 HAS SOPS 19082 HAS SOUS 15047 HAS SOUPS 15047 WITH SCORE 15066.082
AT ITER 287 NEW BEST:: SOT 48453 SOS 19066 HAS SOPS 19066 HAS SOUS 15031 HAS SOUPS 15031 WITH SCORE 15050.066
AT ITER 294 NEW BEST:: SOT 48409 SOS 19022 HAS SOPS 19022 HAS SOUS 14945 HAS SOUPS 14945 WITH SCORE 14964.022
AT ITER 300 NEW BEST:: SOT 48415 SOS 18985 HAS SOPS 18985 HAS SOUS 14910 HAS SOUPS 14910 WITH SCORE 14928.985
AT ITER 303 NEW BEST:: SOT 48364 SOS 18920 HAS SOPS 18920 HAS SOUS 14844 HAS SOUPS 14844 WITH SCORE 14862.92
AT ITER 315 NEW BEST:: SOT 48331 SOS 18788 HAS SOPS 18788 HAS SOUS 14773 HAS SOUPS 14773 WITH SCORE 14791.788
AT ITER 321 NEW BEST:: SOT 48331 SOS 18748 HAS SOPS 18748 HAS SOUS 14773 HAS SOUPS 14773 WITH SCORE 14791.748
AT ITER 322 NEW BEST:: SOT 48299 SOS 18716 HAS SOPS 18716 HAS SOUS 14741 HAS SOUPS 14741 WITH SCORE 14759.716
AT ITER 333 NEW BEST:: SOT 48299 SOS 18714 HAS SOPS 18714 HAS SOUS 14739 HAS SOUPS 14739 WITH SCORE 14757.714
AT ITER 337 NEW BEST:: SOT 48299 SOS 18562 HAS SOPS 18562 HAS SOUS 14730 HAS SOUPS 14730 WITH SCORE 14748.562
AT ITER 345 NEW BEST:: SOT 48316 SOS 18622 HAS SOPS 18622 HAS SOUS 14729 HAS SOUPS 14729 WITH SCORE 14747.622
AT ITER 347 NEW BEST:: SOT 48316 SOS 18622 HAS SOPS 18622 HAS SOUS 14727 HAS SOUPS 14727 WITH SCORE 14745.622
AT ITER 351 NEW BEST:: SOT 48300 SOS 18602 HAS SOPS 18602 HAS SOUS 14711 HAS SOUPS 14711 WITH SCORE 14729.602
AT ITER 352 NEW BEST:: SOT 48285 SOS 18572 HAS SOPS 18572 HAS SOUS 14696 HAS SOUPS 14696 WITH SCORE 14714.572
AT ITER 360 NEW BEST:: SOT 48305 SOS 18568 HAS SOPS 18568 HAS SOUS 14692 HAS SOUPS 14692 WITH SCORE 14710.568
AT ITER 363 NEW BEST:: SOT 48305 SOS 18568 HAS SOPS 18568 HAS SOUS 14669 HAS SOUPS 14669 WITH SCORE 14687.568
AT ITER 368 NEW BEST:: SOT 48304 SOS 18556 HAS SOPS 18556 HAS SOUS 14667 HAS SOUPS 14667 WITH SCORE 14685.556
AT ITER 373 NEW BEST:: SOT 48337 SOS 18506 HAS SOPS 18506 HAS SOUS 14629 HAS SOUPS 14629 WITH SCORE 14647.506
AT ITER 374 NEW BEST:: SOT 48284 SOS 18453 HAS SOPS 18453 HAS SOUS 14545 HAS SOUPS 14545 WITH SCORE 14563.453
AT ITER 377 NEW BEST:: SOT 48277 SOS 18446 HAS SOPS 18446 HAS SOUS 14538 HAS SOUPS 14538 WITH SCORE 14556.446
AT ITER 381 NEW BEST:: SOT 48167 SOS 18226 HAS SOPS 18226 HAS SOUS 14374 HAS SOUPS 14374 WITH SCORE 14392.226
AT ITER 434 NEW BEST:: SOT 48207 SOS 18187 HAS SOPS 18187 HAS SOUS 14335 HAS SOUPS 14335 WITH SCORE 14353.187
AT ITER 443 NEW BEST:: SOT 48186 SOS 18285 HAS SOPS 18285 HAS SOUS 14334 HAS SOUPS 14334 WITH SCORE 14352.285
AT ITER 446 NEW BEST:: SOT 48190 SOS 18265 HAS SOPS 18265 HAS SOUS 14330 HAS SOUPS 14330 WITH SCORE 14348.265
AT ITER 450 NEW BEST:: SOT 48185 SOS 18260 HAS SOPS 18260 HAS SOUS 14325 HAS SOUPS 14325 WITH SCORE 14343.26
AT ITER 457 NEW BEST:: SOT 48140 SOS 18170 HAS SOPS 18170 HAS SOUS 14261 HAS SOUPS 14261 WITH SCORE 14279.17
AT ITER 463 NEW BEST:: SOT 47840 SOS 18011 HAS SOPS 18011 HAS SOUS 13933 HAS SOUPS 13933 WITH SCORE 13951.011
AT ITER 467 NEW BEST:: SOT 47827 SOS 17985 HAS SOPS 17985 HAS SOUS 13907 HAS SOUPS 13907 WITH SCORE 13924.985
AT ITER 471 NEW BEST:: SOT 47827 SOS 17985 HAS SOPS 17985 HAS SOUS 13893 HAS SOUPS 13893 WITH SCORE 13910.985
AT ITER 473 NEW BEST:: SOT 47878 SOS 18021 HAS SOPS 18021 HAS SOUS 13854 HAS SOUPS 13854 WITH SCORE 13872.021
AT ITER 482 NEW BEST:: SOT 47893 SOS 18011 HAS SOPS 18011 HAS SOUS 13854 HAS SOUPS 13854 WITH SCORE 13872.011
AT ITER 486 NEW BEST:: SOT 47899 SOS 18017 HAS SOPS 18017 HAS SOUS 13839 HAS SOUPS 13839 WITH SCORE 13857.017
AT ITER 492 NEW BEST:: SOT 47869 SOS 17957 HAS SOPS 17957 HAS SOUS 13817 HAS SOUPS 13817 WITH SCORE 13834.957
AT ITER 502 NEW BEST:: SOT 47869 SOS 17957 HAS SOPS 17957 HAS SOUS 13793 HAS SOUPS 13793 WITH SCORE 13810.957
AT ITER 507 NEW BEST:: SOT 47815 SOS 17765 HAS SOPS 17765 HAS SOUS 13669 HAS SOUPS 13669 WITH SCORE 13686.765
AT ITER 508 NEW BEST:: SOT 47805 SOS 17750 HAS SOPS 17750 HAS SOUS 13654 HAS SOUPS 13654 WITH SCORE 13671.75
AT ITER 511 NEW BEST:: SOT 47801 SOS 17742 HAS SOPS 17742 HAS SOUS 13650 HAS SOUPS 13650 WITH SCORE 13667.742
AT ITER 529 NEW BEST:: SOT 47796 SOS 17737 HAS SOPS 17737 HAS SOUS 13645 HAS SOUPS 13645 WITH SCORE 13662.737
AT ITER 530 NEW BEST:: SOT 47760 SOS 17722 HAS SOPS 17722 HAS SOUS 13607 HAS SOUPS 13607 WITH SCORE 13624.722
AT ITER 531 NEW BEST:: SOT 47745 SOS 17692 HAS SOPS 17692 HAS SOUS 13592 HAS SOUPS 13592 WITH SCORE 13609.692
AT ITER 538 NEW BEST:: SOT 47734 SOS 17688 HAS SOPS 17688 HAS SOUS 13513 HAS SOUPS 13513 WITH SCORE 13530.688
AT ITER 541 NEW BEST:: SOT 47734 SOS 17631 HAS SOPS 17631 HAS SOUS 13453 HAS SOUPS 13453 WITH SCORE 13470.631
AT ITER 543 NEW BEST:: SOT 47757 SOS 17597 HAS SOPS 17597 HAS SOUS 13444 HAS SOUPS 13444 WITH SCORE 13461.597
AT ITER 544 NEW BEST:: SOT 47674 SOS 17541 HAS SOPS 17541 HAS SOUS 13430 HAS SOUPS 13430 WITH SCORE 13447.541
AT ITER 555 NEW BEST:: SOT 47663 SOS 17306 HAS SOPS 17306 HAS SOUS 13387 HAS SOUPS 13387 WITH SCORE 13404.306
AT ITER 558 NEW BEST:: SOT 47658 SOS 17290 HAS SOPS 17290 HAS SOUS 13369 HAS SOUPS 13369 WITH SCORE 13386.29
AT ITER 559 NEW BEST:: SOT 47662 SOS 17253 HAS SOPS 17253 HAS SOUS 13368 HAS SOUPS 13368 WITH SCORE 13385.253
AT ITER 569 NEW BEST:: SOT 47628 SOS 17176 HAS SOPS 17176 HAS SOUS 13364 HAS SOUPS 13364 WITH SCORE 13381.176
AT ITER 573 NEW BEST:: SOT 47611 SOS 17142 HAS SOPS 17142 HAS SOUS 13331 HAS SOUPS 13331 WITH SCORE 13348.142
AT ITER 574 NEW BEST:: SOT 47755 SOS 17070 HAS SOPS 17070 HAS SOUS 13315 HAS SOUPS 13315 WITH SCORE 13332.07
AT ITER 580 NEW BEST:: SOT 47749 SOS 17052 HAS SOPS 17052 HAS SOUS 13297 HAS SOUPS 13297 WITH SCORE 13314.052
AT ITER 583 NEW BEST:: SOT 47727 SOS 17008 HAS SOPS 17008 HAS SOUS 13275 HAS SOUPS 13275 WITH SCORE 13292.008
AT ITER 585 NEW BEST:: SOT 47716 SOS 16975 HAS SOPS 16975 HAS SOUS 13253 HAS SOUPS 13253 WITH SCORE 13269.975
AT ITER 587 NEW BEST:: SOT 47722 SOS 16957 HAS SOPS 16957 HAS SOUS 13240 HAS SOUPS 13240 WITH SCORE 13256.957
AT ITER 589 NEW BEST:: SOT 47683 SOS 17156 HAS SOPS 17156 HAS SOUS 13209 HAS SOUPS 13209 WITH SCORE 13226.156
AT ITER 591 NEW BEST:: SOT 47691 SOS 17172 HAS SOPS 17172 HAS SOUS 13200 HAS SOUPS 13200 WITH SCORE 13217.172
AT ITER 609 NEW BEST:: SOT 47682 SOS 17163 HAS SOPS 17163 HAS SOUS 13194 HAS SOUPS 13194 WITH SCORE 13211.163
AT ITER 618 NEW BEST:: SOT 47682 SOS 17205 HAS SOPS 17205 HAS SOUS 13188 HAS SOUPS 13188 WITH SCORE 13205.205
AT ITER 626 NEW BEST:: SOT 47682 SOS 17205 HAS SOPS 17205 HAS SOUS 13181 HAS SOUPS 13181 WITH SCORE 13198.205
AT ITER 630 NEW BEST:: SOT 47677 SOS 17196 HAS SOPS 17196 HAS SOUS 13177 HAS SOUPS 13177 WITH SCORE 13194.196
AT ITER 649 NEW BEST:: SOT 47675 SOS 17192 HAS SOPS 17192 HAS SOUS 13174 HAS SOUPS 13174 WITH SCORE 13191.192
AT ITER 659 NEW BEST:: SOT 47675 SOS 17192 HAS SOPS 17192 HAS SOUS 13162 HAS SOUPS 13162 WITH SCORE 13179.192
AT ITER 660 NEW BEST:: SOT 47655 SOS 17152 HAS SOPS 17152 HAS SOUS 13122 HAS SOUPS 13122 WITH SCORE 13139.152
AT ITER 667 NEW BEST:: SOT 47646 SOS 17134 HAS SOPS 17134 HAS SOUS 13112 HAS SOUPS 13112 WITH SCORE 13129.134
AT ITER 668 NEW BEST:: SOT 47623 SOS 17101 HAS SOPS 17101 HAS SOUS 13078 HAS SOUPS 13078 WITH SCORE 13095.101
AT ITER 683 NEW BEST:: SOT 47599 SOS 17101 HAS SOPS 17101 HAS SOUS 13063 HAS SOUPS 13063 WITH SCORE 13080.101
AT ITER 687 NEW BEST:: SOT 47595 SOS 17097 HAS SOPS 17097 HAS SOUS 13059 HAS SOUPS 13059 WITH SCORE 13076.097
AT ITER 691 NEW BEST:: SOT 47595 SOS 17021 HAS SOPS 17021 HAS SOUS 12983 HAS SOUPS 12983 WITH SCORE 13000.021
AT ITER 695 NEW BEST:: SOT 47595 SOS 17021 HAS SOPS 17021 HAS SOUS 12963 HAS SOUPS 12963 WITH SCORE 12980.021
AT ITER 705 NEW BEST:: SOT 47595 SOS 17021 HAS SOPS 17021 HAS SOUS 12918 HAS SOUPS 12918 WITH SCORE 12935.021
AT ITER 730 NEW BEST:: SOT 47591 SOS 17013 HAS SOPS 17013 HAS SOUS 12914 HAS SOUPS 12914 WITH SCORE 12931.013
AT ITER 734 NEW BEST:: SOT 47647 SOS 16953 HAS SOPS 16953 HAS SOUS 12790 HAS SOUPS 12790 WITH SCORE 12806.953
AT ITER 740 NEW BEST:: SOT 47643 SOS 16945 HAS SOPS 16945 HAS SOUS 12786 HAS SOUPS 12786 WITH SCORE 12802.945
AT ITER 742 NEW BEST:: SOT 47619 SOS 16886 HAS SOPS 16886 HAS SOUS 12738 HAS SOUPS 12738 WITH SCORE 12754.886
AT ITER 761 NEW BEST:: SOT 47608 SOS 16834 HAS SOPS 16834 HAS SOUS 12697 HAS SOUPS 12697 WITH SCORE 12713.834
AT ITER 772 NEW BEST:: SOT 47589 SOS 16764 HAS SOPS 16764 HAS SOUS 12659 HAS SOUPS 12659 WITH SCORE 12675.764
AT ITER 783 NEW BEST:: SOT 47586 SOS 16758 HAS SOPS 16758 HAS SOUS 12653 HAS SOUPS 12653 WITH SCORE 12669.758
AT ITER 785 NEW BEST:: SOT 47586 SOS 16755 HAS SOPS 16755 HAS SOUS 12653 HAS SOUPS 12653 WITH SCORE 12669.755
AT ITER 788 NEW BEST:: SOT 47615 SOS 16741 HAS SOPS 16741 HAS SOUS 12642 HAS SOUPS 12642 WITH SCORE 12658.741
AT ITER 790 NEW BEST:: SOT 47638 SOS 16535 HAS SOPS 16535 HAS SOUS 12624 HAS SOUPS 12624 WITH SCORE 12640.535
AT ITER 797 NEW BEST:: SOT 47593 SOS 16445 HAS SOPS 16445 HAS SOUS 12534 HAS SOUPS 12534 WITH SCORE 12550.445
AT ITER 812 NEW BEST:: SOT 47649 SOS 16291 HAS SOPS 16291 HAS SOUS 12518 HAS SOUPS 12518 WITH SCORE 12534.291
AT ITER 816 NEW BEST:: SOT 47633 SOS 16259 HAS SOPS 16259 HAS SOUS 12486 HAS SOUPS 12486 WITH SCORE 12502.259
AT ITER 829 NEW BEST:: SOT 47633 SOS 16259 HAS SOPS 16259 HAS SOUS 12482 HAS SOUPS 12482 WITH SCORE 12498.259
AT ITER 836 NEW BEST:: SOT 47628 SOS 16249 HAS SOPS 16249 HAS SOUS 12472 HAS SOUPS 12472 WITH SCORE 12488.249
AT ITER 843 NEW BEST:: SOT 47343 SOS 18291 HAS SOPS 18291 HAS SOUS 12451 HAS SOUPS 12451 WITH SCORE 12469.291
AT ITER 850 NEW BEST:: SOT 47270 SOS 18218 HAS SOPS 18218 HAS SOUS 12419 HAS SOUPS 12419 WITH SCORE 12437.218
AT ITER 853 NEW BEST:: SOT 47248 SOS 18152 HAS SOPS 18152 HAS SOUS 12353 HAS SOUPS 12353 WITH SCORE 12371.152
AT ITER 856 NEW BEST:: SOT 47248 SOS 18143 HAS SOPS 18143 HAS SOUS 12344 HAS SOUPS 12344 WITH SCORE 12362.143
AT ITER 858 NEW BEST:: SOT 47244 SOS 18131 HAS SOPS 18131 HAS SOUS 12336 HAS SOUPS 12336 WITH SCORE 12354.131
AT ITER 903 NEW BEST:: SOT 47225 SOS 18120 HAS SOPS 18120 HAS SOUS 12312 HAS SOUPS 12312 WITH SCORE 12330.12
AT ITER 912 NEW BEST:: SOT 47201 SOS 18096 HAS SOPS 18096 HAS SOUS 12288 HAS SOUPS 12288 WITH SCORE 12306.096
AT ITER 913 NEW BEST:: SOT 47308 SOS 16516 HAS SOPS 16516 HAS SOUS 12278 HAS SOUPS 12278 WITH SCORE 12294.516
AT ITER 919 NEW BEST:: SOT 47304 SOS 16482 HAS SOPS 16482 HAS SOUS 12202 HAS SOUPS 12202 WITH SCORE 12218.482
AT ITER 924 NEW BEST:: SOT 47293 SOS 16460 HAS SOPS 16460 HAS SOUS 12191 HAS SOUPS 12191 WITH SCORE 12207.46
AT ITER 947 NEW BEST:: SOT 47203 SOS 16345 HAS SOPS 16345 HAS SOUS 12099 HAS SOUPS 12099 WITH SCORE 12115.345
AT ITER 958 NEW BEST:: SOT 47247 SOS 16276 HAS SOPS 16276 HAS SOUS 12093 HAS SOUPS 12093 WITH SCORE 12109.276
AT ITER 963 NEW BEST:: SOT 47235 SOS 16186 HAS SOPS 16186 HAS SOUS 12053 HAS SOUPS 12053 WITH SCORE 12069.186
AT ITER 989 NEW BEST:: SOT 47235 SOS 16151 HAS SOPS 16151 HAS SOUS 12018 HAS SOUPS 12018 WITH SCORE 12034.151
AT ITER 992 NEW BEST:: SOT 47078 SOS 15722 HAS SOPS 15722 HAS SOUS 11746 HAS SOUPS 11746 WITH SCORE 11761.722
AT ITER 993 NEW BEST:: SOT 47072 SOS 15675 HAS SOPS 15675 HAS SOUS 11720 HAS SOUPS 11720 WITH SCORE 11735.675
AT ITER 994 NEW BEST:: SOT 47009 SOS 15549 HAS SOPS 15549 HAS SOUS 11597 HAS SOUPS 11597 WITH SCORE 11612.549
AT ITER 995 NEW BEST:: SOT 46971 SOS 15473 HAS SOPS 15473 HAS SOUS 11511 HAS SOUPS 11511 WITH SCORE 11526.473
AT ITER 996 NEW BEST:: SOT 46957 SOS 15459 HAS SOPS 15459 HAS SOUS 11504 HAS SOUPS 11504 WITH SCORE 11519.459
AT ITER 1030 NEW BEST:: SOT 46965 SOS 15401 HAS SOPS 15401 HAS SOUS 11492 HAS SOUPS 11492 WITH SCORE 11507.401
AT ITER 1034 NEW BEST:: SOT 46962 SOS 15395 HAS SOPS 15395 HAS SOUS 11485 HAS SOUPS 11485 WITH SCORE 11500.395
AT ITER 1036 NEW BEST:: SOT 46955 SOS 15383 HAS SOPS 15383 HAS SOUS 11478 HAS SOUPS 11478 WITH SCORE 11493.383
AT ITER 1048 NEW BEST:: SOT 46945 SOS 15373 HAS SOPS 15373 HAS SOUS 11467 HAS SOUPS 11467 WITH SCORE 11482.373
AT ITER 1063 NEW BEST:: SOT 46930 SOS 15343 HAS SOPS 15343 HAS SOUS 11459 HAS SOUPS 11459 WITH SCORE 11474.343
AT ITER 1098 NEW BEST:: SOT 46930 SOS 15343 HAS SOPS 15343 HAS SOUS 11458 HAS SOUPS 11458 WITH SCORE 11473.343
AT ITER 1103 NEW BEST:: SOT 46930 SOS 15321 HAS SOPS 15321 HAS SOUS 11453 HAS SOUPS 11453 WITH SCORE 11468.321
AT ITER 1105 NEW BEST:: SOT 46938 SOS 15298 HAS SOPS 15298 HAS SOUS 11453 HAS SOUPS 11453 WITH SCORE 11468.298
AT ITER 1111 NEW BEST:: SOT 46893 SOS 15272 HAS SOPS 15272 HAS SOUS 11453 HAS SOUPS 11453 WITH SCORE 11468.272
AT ITER 1123 NEW BEST:: SOT 46866 SOS 15235 HAS SOPS 15235 HAS SOUS 11444 HAS SOUPS 11444 WITH SCORE 11459.235
AT ITER 1129 NEW BEST:: SOT 46713 SOS 15011 HAS SOPS 15011 HAS SOUS 11273 HAS SOUPS 11273 WITH SCORE 11288.011
AT ITER 1143 NEW BEST:: SOT 46713 SOS 14995 HAS SOPS 14995 HAS SOUS 11254 HAS SOUPS 11254 WITH SCORE 11268.995
AT ITER 1159 NEW BEST:: SOT 46713 SOS 14995 HAS SOPS 14995 HAS SOUS 11246 HAS SOUPS 11246 WITH SCORE 11260.995
AT ITER 1176 NEW BEST:: SOT 46706 SOS 14974 HAS SOPS 14974 HAS SOUS 11234 HAS SOUPS 11234 WITH SCORE 11248.974
AT ITER 1197 NEW BEST:: SOT 46635 SOS 14911 HAS SOPS 14911 HAS SOUS 11177 HAS SOUPS 11177 WITH SCORE 11191.911
AT ITER 1203 NEW BEST:: SOT 46613 SOS 14889 HAS SOPS 14889 HAS SOUS 11155 HAS SOUPS 11155 WITH SCORE 11169.889
AT ITER 1206 NEW BEST:: SOT 46613 SOS 14884 HAS SOPS 14884 HAS SOUS 11153 HAS SOUPS 11153 WITH SCORE 11167.884
AT ITER 1221 NEW BEST:: SOT 46608 SOS 14880 HAS SOPS 14880 HAS SOUS 11149 HAS SOUPS 11149 WITH SCORE 11163.88
AT ITER 1222 NEW BEST:: SOT 46586 SOS 14883 HAS SOPS 14883 HAS SOUS 11146 HAS SOUPS 11146 WITH SCORE 11160.883
AT ITER 1223 NEW BEST:: SOT 46585 SOS 14878 HAS SOPS 14878 HAS SOUS 11141 HAS SOUPS 11141 WITH SCORE 11155.878
AT ITER 1229 NEW BEST:: SOT 46581 SOS 14878 HAS SOPS 14878 HAS SOUS 11137 HAS SOUPS 11137 WITH SCORE 11151.878
AT ITER 1234 NEW BEST:: SOT 46568 SOS 14826 HAS SOPS 14826 HAS SOUS 11098 HAS SOUPS 11098 WITH SCORE 11112.826
AT ITER 1236 NEW BEST:: SOT 46557 SOS 14815 HAS SOPS 14815 HAS SOUS 11089 HAS SOUPS 11089 WITH SCORE 11103.815
AT ITER 1240 NEW BEST:: SOT 46533 SOS 14765 HAS SOPS 14765 HAS SOUS 11042 HAS SOUPS 11042 WITH SCORE 11056.765
AT ITER 1242 NEW BEST:: SOT 46531 SOS 14768 HAS SOPS 14768 HAS SOUS 11040 HAS SOUPS 11040 WITH SCORE 11054.768
AT ITER 1256 NEW BEST:: SOT 46517 SOS 14754 HAS SOPS 14754 HAS SOUS 11012 HAS SOUPS 11012 WITH SCORE 11026.754
AT ITER 1259 NEW BEST:: SOT 46517 SOS 14754 HAS SOPS 14754 HAS SOUS 11000 HAS SOUPS 11000 WITH SCORE 11014.754
AT ITER 1261 NEW BEST:: SOT 46526 SOS 14756 HAS SOPS 14756 HAS SOUS 10994 HAS SOUPS 10994 WITH SCORE 11008.756
AT ITER 1269 NEW BEST:: SOT 46526 SOS 14756 HAS SOPS 14756 HAS SOUS 10971 HAS SOUPS 10971 WITH SCORE 10985.756
AT ITER 1276 NEW BEST:: SOT 46526 SOS 14753 HAS SOPS 14753 HAS SOUS 10968 HAS SOUPS 10968 WITH SCORE 10982.753
AT ITER 1284 NEW BEST:: SOT 46516 SOS 14743 HAS SOPS 14743 HAS SOUS 10966 HAS SOUPS 10966 WITH SCORE 10980.743
AT ITER 1287 NEW BEST:: SOT 46508 SOS 14735 HAS SOPS 14735 HAS SOUS 10958 HAS SOUPS 10958 WITH SCORE 10972.735
AT ITER 1291 NEW BEST:: SOT 46508 SOS 14732 HAS SOPS 14732 HAS SOUS 10958 HAS SOUPS 10958 WITH SCORE 10972.732
AT ITER 1304 NEW BEST:: SOT 46491 SOS 14722 HAS SOPS 14722 HAS SOUS 10948 HAS SOUPS 10948 WITH SCORE 10962.722
AT ITER 1311 NEW BEST:: SOT 46476 SOS 14707 HAS SOPS 14707 HAS SOUS 10946 HAS SOUPS 10946 WITH SCORE 10960.707
AT ITER 1314 NEW BEST:: SOT 46476 SOS 14705 HAS SOPS 14705 HAS SOUS 10944 HAS SOUPS 10944 WITH SCORE 10958.705
AT ITER 1328 NEW BEST:: SOT 46466 SOS 14685 HAS SOPS 14685 HAS SOUS 10934 HAS SOUPS 10934 WITH SCORE 10948.685
AT ITER 1331 NEW BEST:: SOT 46464 SOS 14681 HAS SOPS 14681 HAS SOUS 10932 HAS SOUPS 10932 WITH SCORE 10946.681
AT ITER 1343 NEW BEST:: SOT 46448 SOS 14641 HAS SOPS 14641 HAS SOUS 10929 HAS SOUPS 10929 WITH SCORE 10943.641
AT ITER 1387 NEW BEST:: SOT 46448 SOS 14619 HAS SOPS 14619 HAS SOUS 10907 HAS SOUPS 10907 WITH SCORE 10921.619
AT ITER 1403 NEW BEST:: SOT 46448 SOS 14611 HAS SOPS 14611 HAS SOUS 10899 HAS SOUPS 10899 WITH SCORE 10913.611
AT ITER 1411 NEW BEST:: SOT 46451 SOS 14594 HAS SOPS 14594 HAS SOUS 10882 HAS SOUPS 10882 WITH SCORE 10896.594
AT ITER 1415 NEW BEST:: SOT 46415 SOS 14562 HAS SOPS 14562 HAS SOUS 10850 HAS SOUPS 10850 WITH SCORE 10864.562
AT ITER 1436 NEW BEST:: SOT 46401 SOS 14517 HAS SOPS 14517 HAS SOUS 10825 HAS SOUPS 10825 WITH SCORE 10839.517
AT ITER 1461 NEW BEST:: SOT 46380 SOS 14496 HAS SOPS 14496 HAS SOUS 10825 HAS SOUPS 10825 WITH SCORE 10839.496
AT ITER 1462 NEW BEST:: SOT 46374 SOS 14477 HAS SOPS 14477 HAS SOUS 10819 HAS SOUPS 10819 WITH SCORE 10833.477
AT ITER 1483 NEW BEST:: SOT 46374 SOS 14473 HAS SOPS 14473 HAS SOUS 10783 HAS SOUPS 10783 WITH SCORE 10797.473
AT ITER 1500 NEW BEST:: SOT 46361 SOS 14460 HAS SOPS 14460 HAS SOUS 10770 HAS SOUPS 10770 WITH SCORE 10784.46
AT ITER 1518 NEW BEST:: SOT 46360 SOS 14441 HAS SOPS 14441 HAS SOUS 10768 HAS SOUPS 10768 WITH SCORE 10782.441
AT ITER 1521 NEW BEST:: SOT 46392 SOS 14461 HAS SOPS 14461 HAS SOUS 10743 HAS SOUPS 10743 WITH SCORE 10757.461
AT ITER 1523 NEW BEST:: SOT 46386 SOS 14483 HAS SOPS 14483 HAS SOUS 10723 HAS SOUPS 10723 WITH SCORE 10737.483
AT ITER 1535 NEW BEST:: SOT 46372 SOS 14469 HAS SOPS 14469 HAS SOUS 10695 HAS SOUPS 10695 WITH SCORE 10709.469
AT ITER 1549 NEW BEST:: SOT 46366 SOS 14457 HAS SOPS 14457 HAS SOUS 10692 HAS SOUPS 10692 WITH SCORE 10706.457
AT ITER 1565 NEW BEST:: SOT 46357 SOS 14448 HAS SOPS 14448 HAS SOUS 10683 HAS SOUPS 10683 WITH SCORE 10697.448
AT ITER 1567 NEW BEST:: SOT 46355 SOS 14444 HAS SOPS 14444 HAS SOUS 10679 HAS SOUPS 10679 WITH SCORE 10693.444
AT ITER 1571 NEW BEST:: SOT 46355 SOS 14444 HAS SOPS 14444 HAS SOUS 10669 HAS SOUPS 10669 WITH SCORE 10683.444
AT ITER 1574 NEW BEST:: SOT 46343 SOS 14440 HAS SOPS 14440 HAS SOUS 10657 HAS SOUPS 10657 WITH SCORE 10671.44
AT ITER 1587 NEW BEST:: SOT 46362 SOS 14442 HAS SOPS 14442 HAS SOUS 10639 HAS SOUPS 10639 WITH SCORE 10653.442
AT ITER 1598 NEW BEST:: SOT 46360 SOS 14438 HAS SOPS 14438 HAS SOUS 10637 HAS SOUPS 10637 WITH SCORE 10651.438
AT ITER 1604 NEW BEST:: SOT 46229 SOS 14307 HAS SOPS 14307 HAS SOUS 10584 HAS SOUPS 10584 WITH SCORE 10598.307
AT ITER 1612 NEW BEST:: SOT 46227 SOS 14344 HAS SOPS 14344 HAS SOUS 10582 HAS SOUPS 10582 WITH SCORE 10596.344
AT ITER 1624 NEW BEST:: SOT 46227 SOS 14344 HAS SOPS 14344 HAS SOUS 10567 HAS SOUPS 10567 WITH SCORE 10581.344
AT ITER 1636 NEW BEST:: SOT 46230 SOS 14350 HAS SOPS 14350 HAS SOUS 10550 HAS SOUPS 10550 WITH SCORE 10564.35
AT ITER 1643 NEW BEST:: SOT 46207 SOS 14297 HAS SOPS 14297 HAS SOUS 10478 HAS SOUPS 10478 WITH SCORE 10492.297
AT ITER 1645 NEW BEST:: SOT 46121 SOS 14724 HAS SOPS 14724 HAS SOUS 10473 HAS SOUPS 10473 WITH SCORE 10487.724
AT ITER 1657 NEW BEST:: SOT 46105 SOS 14710 HAS SOPS 14710 HAS SOUS 10457 HAS SOUPS 10457 WITH SCORE 10471.71
AT ITER 1661 NEW BEST:: SOT 46102 SOS 14695 HAS SOPS 14695 HAS SOUS 10445 HAS SOUPS 10445 WITH SCORE 10459.695
AT ITER 1679 NEW BEST:: SOT 46082 SOS 14633 HAS SOPS 14633 HAS SOUS 10425 HAS SOUPS 10425 WITH SCORE 10439.633
AT ITER 1680 NEW BEST:: SOT 46038 SOS 14567 HAS SOPS 14567 HAS SOUS 10381 HAS SOUPS 10381 WITH SCORE 10395.567
AT ITER 1682 NEW BEST:: SOT 46038 SOS 14525 HAS SOPS 14525 HAS SOUS 10374 HAS SOUPS 10374 WITH SCORE 10388.525
AT ITER 1696 NEW BEST:: SOT 46033 SOS 14526 HAS SOPS 14526 HAS SOUS 10369 HAS SOUPS 10369 WITH SCORE 10383.526
AT ITER 1728 NEW BEST:: SOT 46042 SOS 13969 HAS SOPS 13969 HAS SOUS 10347 HAS SOUPS 10347 WITH SCORE 10360.969
AT ITER 1730 NEW BEST:: SOT 46038 SOS 13965 HAS SOPS 13965 HAS SOUS 10343 HAS SOUPS 10343 WITH SCORE 10356.965
AT ITER 1731 NEW BEST:: SOT 46040 SOS 13969 HAS SOPS 13969 HAS SOUS 10341 HAS SOUPS 10341 WITH SCORE 10354.969
AT ITER 1732 NEW BEST:: SOT 46050 SOS 13979 HAS SOPS 13979 HAS SOUS 10320 HAS SOUPS 10320 WITH SCORE 10333.979
AT ITER 1773 NEW BEST:: SOT 46056 SOS 13776 HAS SOPS 13776 HAS SOUS 10297 HAS SOUPS 10297 WITH SCORE 10310.776
AT ITER 1775 NEW BEST:: SOT 46066 SOS 13712 HAS SOPS 13712 HAS SOUS 10293 HAS SOUPS 10293 WITH SCORE 10306.712
AT ITER 1789 NEW BEST:: SOT 46039 SOS 13706 HAS SOPS 13706 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10299.706
AT ITER 1805 NEW BEST:: SOT 46009 SOS 13676 HAS SOPS 13676 HAS SOUS 10275 HAS SOUPS 10275 WITH SCORE 10288.676
AT ITER 1808 NEW BEST:: SOT 46001 SOS 13660 HAS SOPS 13660 HAS SOUS 10255 HAS SOUPS 10255 WITH SCORE 10268.66
AT ITER 1817 NEW BEST:: SOT 45985 SOS 13612 HAS SOPS 13612 HAS SOUS 10235 HAS SOUPS 10235 WITH SCORE 10248.612
AT ITER 1824 NEW BEST:: SOT 45958 SOS 13544 HAS SOPS 13544 HAS SOUS 10210 HAS SOUPS 10210 WITH SCORE 10223.544
AT ITER 1849 NEW BEST:: SOT 45954 SOS 13532 HAS SOPS 13532 HAS SOUS 10206 HAS SOUPS 10206 WITH SCORE 10219.532
AT ITER 1866 NEW BEST:: SOT 45954 SOS 13532 HAS SOPS 13532 HAS SOUS 10196 HAS SOUPS 10196 WITH SCORE 10209.532
AT ITER 1889 NEW BEST:: SOT 45984 SOS 13514 HAS SOPS 13514 HAS SOUS 10170 HAS SOUPS 10170 WITH SCORE 10183.514
AT ITER 1900 NEW BEST:: SOT 45980 SOS 13518 HAS SOPS 13518 HAS SOUS 10166 HAS SOUPS 10166 WITH SCORE 10179.518
AT ITER 1917 NEW BEST:: SOT 45970 SOS 13516 HAS SOPS 13516 HAS SOUS 10164 HAS SOUPS 10164 WITH SCORE 10177.516
AT ITER 1955 NEW BEST:: SOT 45961 SOS 13507 HAS SOPS 13507 HAS SOUS 10155 HAS SOUPS 10155 WITH SCORE 10168.507
AT ITER 1968 NEW BEST:: SOT 45961 SOS 13490 HAS SOPS 13490 HAS SOUS 10155 HAS SOUPS 10155 WITH SCORE 10168.49
AT ITER 1987 NEW BEST:: SOT 45960 SOS 14359 HAS SOPS 14359 HAS SOUS 10154 HAS SOUPS 10154 WITH SCORE 10168.359
AT ITER 1994 NEW BEST:: SOT 45960 SOS 14333 HAS SOPS 14333 HAS SOUS 10141 HAS SOUPS 10141 WITH SCORE 10155.333
AT ITER 1998 NEW BEST:: SOT 45966 SOS 14316 HAS SOPS 14316 HAS SOUS 10124 HAS SOUPS 10124 WITH SCORE 10138.316
AT ITER 2008 NEW BEST:: SOT 45956 SOS 14296 HAS SOPS 14296 HAS SOUS 10114 HAS SOUPS 10114 WITH SCORE 10128.296
AT ITER 2013 NEW BEST:: SOT 45938 SOS 14267 HAS SOPS 14267 HAS SOUS 10082 HAS SOUPS 10082 WITH SCORE 10096.267
AT ITER 2020 NEW BEST:: SOT 45959 SOS 14253 HAS SOPS 14253 HAS SOUS 10080 HAS SOUPS 10080 WITH SCORE 10094.253
AT ITER 2030 NEW BEST:: SOT 45953 SOS 14238 HAS SOPS 14238 HAS SOUS 10068 HAS SOUPS 10068 WITH SCORE 10082.238
AT ITER 2074 NEW BEST:: SOT 45953 SOS 14225 HAS SOPS 14225 HAS SOUS 10056 HAS SOUPS 10056 WITH SCORE 10070.225
AT ITER 2128 NEW BEST:: SOT 45953 SOS 14225 HAS SOPS 14225 HAS SOUS 10046 HAS SOUPS 10046 WITH SCORE 10060.225
AT ITER 2153 NEW BEST:: SOT 45953 SOS 14224 HAS SOPS 14224 HAS SOUS 10046 HAS SOUPS 10046 WITH SCORE 10060.224
AT ITER 2185 NEW BEST:: SOT 45926 SOS 14197 HAS SOPS 14197 HAS SOUS 10045 HAS SOUPS 10045 WITH SCORE 10059.197
AT ITER 2213 NEW BEST:: SOT 45930 SOS 14205 HAS SOPS 14205 HAS SOUS 10036 HAS SOUPS 10036 WITH SCORE 10050.205
AT ITER 2217 NEW BEST:: SOT 45928 SOS 14201 HAS SOPS 14201 HAS SOUS 10034 HAS SOUPS 10034 WITH SCORE 10048.201
AT ITER 2253 NEW BEST:: SOT 45907 SOS 14159 HAS SOPS 14159 HAS SOUS 10013 HAS SOUPS 10013 WITH SCORE 10027.159
AT ITER 2268 NEW BEST:: SOT 45899 SOS 14303 HAS SOPS 14303 HAS SOUS 10005 HAS SOUPS 10005 WITH SCORE 10019.303
AT ITER 2269 NEW BEST:: SOT 45875 SOS 14268 HAS SOPS 14268 HAS SOUS 9983 HAS SOUPS 9983 WITH SCORE 9997.268
AT ITER 2276 NEW BEST:: SOT 45869 SOS 14250 HAS SOPS 14250 HAS SOUS 9971 HAS SOUPS 9971 WITH SCORE 9985.25
AT ITER 2288 NEW BEST:: SOT 45856 SOS 14224 HAS SOPS 14224 HAS SOUS 9953 HAS SOUPS 9953 WITH SCORE 9967.224
AT ITER 2297 NEW BEST:: SOT 45849 SOS 14240 HAS SOPS 14240 HAS SOUS 9951 HAS SOUPS 9951 WITH SCORE 9965.24
AT ITER 2308 NEW BEST:: SOT 45823 SOS 14214 HAS SOPS 14214 HAS SOUS 9925 HAS SOUPS 9925 WITH SCORE 9939.214
AT ITER 2310 NEW BEST:: SOT 45813 SOS 14204 HAS SOPS 14204 HAS SOUS 9915 HAS SOUPS 9915 WITH SCORE 9929.204
AT ITER 2332 NEW BEST:: SOT 45809 SOS 14200 HAS SOPS 14200 HAS SOUS 9911 HAS SOUPS 9911 WITH SCORE 9925.2
AT ITER 2344 NEW BEST:: SOT 45809 SOS 14199 HAS SOPS 14199 HAS SOUS 9910 HAS SOUPS 9910 WITH SCORE 9924.199
AT ITER 2360 NEW BEST:: SOT 45792 SOS 14098 HAS SOPS 14098 HAS SOUS 9851 HAS SOUPS 9851 WITH SCORE 9865.098
AT ITER 2425 NEW BEST:: SOT 45795 SOS 14101 HAS SOPS 14101 HAS SOUS 9842 HAS SOUPS 9842 WITH SCORE 9856.101
AT ITER 2437 NEW BEST:: SOT 45782 SOS 14067 HAS SOPS 14067 HAS SOUS 9822 HAS SOUPS 9822 WITH SCORE 9836.067
AT ITER 2450 NEW BEST:: SOT 45781 SOS 14066 HAS SOPS 14066 HAS SOUS 9822 HAS SOUPS 9822 WITH SCORE 9836.066
AT ITER 2459 NEW BEST:: SOT 45754 SOS 14017 HAS SOPS 14017 HAS SOUS 9810 HAS SOUPS 9810 WITH SCORE 9824.017
AT ITER 2462 NEW BEST:: SOT 45754 SOS 14013 HAS SOPS 14013 HAS SOUS 9808 HAS SOUPS 9808 WITH SCORE 9822.013
AT ITER 2463 NEW BEST:: SOT 45771 SOS 13997 HAS SOPS 13997 HAS SOUS 9800 HAS SOUPS 9800 WITH SCORE 9813.997
AT ITER 2483 NEW BEST:: SOT 45756 SOS 13967 HAS SOPS 13967 HAS SOUS 9763 HAS SOUPS 9763 WITH SCORE 9776.967
AT ITER 2522 NEW BEST:: SOT 45726 SOS 13940 HAS SOPS 13940 HAS SOUS 9733 HAS SOUPS 9733 WITH SCORE 9746.94
AT ITER 2525 NEW BEST:: SOT 45727 SOS 13917 HAS SOPS 13917 HAS SOUS 9732 HAS SOUPS 9732 WITH SCORE 9745.917
AT ITER 2536 NEW BEST:: SOT 45718 SOS 13941 HAS SOPS 13941 HAS SOUS 9730 HAS SOUPS 9730 WITH SCORE 9743.941
AT ITER 2545 NEW BEST:: SOT 45715 SOS 13935 HAS SOPS 13935 HAS SOUS 9727 HAS SOUPS 9727 WITH SCORE 9740.935
AT ITER 2554 NEW BEST:: SOT 45724 SOS 13934 HAS SOPS 13934 HAS SOUS 9726 HAS SOUPS 9726 WITH SCORE 9739.934
AT ITER 2602 NEW BEST:: SOT 45698 SOS 13924 HAS SOPS 13924 HAS SOUS 9716 HAS SOUPS 9716 WITH SCORE 9729.924
AT ITER 2613 NEW BEST:: SOT 45695 SOS 13918 HAS SOPS 13918 HAS SOUS 9710 HAS SOUPS 9710 WITH SCORE 9723.918
AT ITER 2628 NEW BEST:: SOT 45685 SOS 13898 HAS SOPS 13898 HAS SOUS 9690 HAS SOUPS 9690 WITH SCORE 9703.898
AT ITER 2649 NEW BEST:: SOT 45652 SOS 13882 HAS SOPS 13882 HAS SOUS 9666 HAS SOUPS 9666 WITH SCORE 9679.882
AT ITER 2657 NEW BEST:: SOT 45640 SOS 13910 HAS SOPS 13910 HAS SOUS 9663 HAS SOUPS 9663 WITH SCORE 9676.91
AT ITER 2659 NEW BEST:: SOT 45638 SOS 13906 HAS SOPS 13906 HAS SOUS 9661 HAS SOUPS 9661 WITH SCORE 9674.906
AT ITER 2664 NEW BEST:: SOT 45625 SOS 13880 HAS SOPS 13880 HAS SOUS 9635 HAS SOUPS 9635 WITH SCORE 9648.88
AT ITER 2673 NEW BEST:: SOT 45625 SOS 13880 HAS SOPS 13880 HAS SOUS 9632 HAS SOUPS 9632 WITH SCORE 9645.88
AT ITER 2676 NEW BEST:: SOT 45599 SOS 13864 HAS SOPS 13864 HAS SOUS 9624 HAS SOUPS 9624 WITH SCORE 9637.864
AT ITER 2679 NEW BEST:: SOT 45562 SOS 14084 HAS SOPS 14084 HAS SOUS 9592 HAS SOUPS 9592 WITH SCORE 9606.084
AT ITER 2690 NEW BEST:: SOT 45550 SOS 14074 HAS SOPS 14074 HAS SOUS 9586 HAS SOUPS 9586 WITH SCORE 9600.074
AT ITER 2743 NEW BEST:: SOT 45539 SOS 14091 HAS SOPS 14091 HAS SOUS 9574 HAS SOUPS 9574 WITH SCORE 9588.091
AT ITER 2754 NEW BEST:: SOT 45539 SOS 14082 HAS SOPS 14082 HAS SOUS 9574 HAS SOUPS 9574 WITH SCORE 9588.082
AT ITER 2792 NEW BEST:: SOT 45519 SOS 14052 HAS SOPS 14052 HAS SOUS 9554 HAS SOUPS 9554 WITH SCORE 9568.052
AT ITER 2795 NEW BEST:: SOT 45547 SOS 14074 HAS SOPS 14074 HAS SOUS 9553 HAS SOUPS 9553 WITH SCORE 9567.074
AT ITER 2798 NEW BEST:: SOT 45525 SOS 14090 HAS SOPS 14090 HAS SOUS 9542 HAS SOUPS 9542 WITH SCORE 9556.09
AT ITER 2802 NEW BEST:: SOT 45524 SOS 14088 HAS SOPS 14088 HAS SOUS 9540 HAS SOUPS 9540 WITH SCORE 9554.088
AT ITER 2804 NEW BEST:: SOT 45514 SOS 14073 HAS SOPS 14073 HAS SOUS 9525 HAS SOUPS 9525 WITH SCORE 9539.073
AT ITER 2805 NEW BEST:: SOT 45499 SOS 14083 HAS SOPS 14083 HAS SOUS 9511 HAS SOUPS 9511 WITH SCORE 9525.083
AT ITER 2808 NEW BEST:: SOT 45508 SOS 14116 HAS SOPS 14116 HAS SOUS 9505 HAS SOUPS 9505 WITH SCORE 9519.116
AT ITER 2812 NEW BEST:: SOT 45550 SOS 14151 HAS SOPS 14151 HAS SOUS 9492 HAS SOUPS 9492 WITH SCORE 9506.151
AT ITER 2819 NEW BEST:: SOT 45550 SOS 14151 HAS SOPS 14151 HAS SOUS 9473 HAS SOUPS 9473 WITH SCORE 9487.151
AT ITER 2863 NEW BEST:: SOT 45550 SOS 14150 HAS SOPS 14150 HAS SOUS 9473 HAS SOUPS 9473 WITH SCORE 9487.15
AT ITER 2897 NEW BEST:: SOT 45544 SOS 14143 HAS SOPS 14143 HAS SOUS 9461 HAS SOUPS 9461 WITH SCORE 9475.143
AT ITER 2912 NEW BEST:: SOT 45544 SOS 14133 HAS SOPS 14133 HAS SOUS 9441 HAS SOUPS 9441 WITH SCORE 9455.133
AT ITER 2920 NEW BEST:: SOT 45538 SOS 14124 HAS SOPS 14124 HAS SOUS 9440 HAS SOUPS 9440 WITH SCORE 9454.124
AT ITER 2944 NEW BEST:: SOT 45538 SOS 14131 HAS SOPS 14131 HAS SOUS 9433 HAS SOUPS 9433 WITH SCORE 9447.131
AT ITER 2961 NEW BEST:: SOT 45502 SOS 14059 HAS SOPS 14059 HAS SOUS 9405 HAS SOUPS 9405 WITH SCORE 9419.059
AT ITER 2983 NEW BEST:: SOT 45502 SOS 14053 HAS SOPS 14053 HAS SOUS 9405 HAS SOUPS 9405 WITH SCORE 9419.053
AT ITER 3010 NEW BEST:: SOT 45499 SOS 14047 HAS SOPS 14047 HAS SOUS 9399 HAS SOUPS 9399 WITH SCORE 9413.047
AT ITER 3015 NEW BEST:: SOT 45495 SOS 14052 HAS SOPS 14052 HAS SOUS 9391 HAS SOUPS 9391 WITH SCORE 9405.052
AT ITER 3022 NEW BEST:: SOT 45495 SOS 14031 HAS SOPS 14031 HAS SOUS 9391 HAS SOUPS 9391 WITH SCORE 9405.031
AT ITER 3037 NEW BEST:: SOT 45486 SOS 13980 HAS SOPS 13980 HAS SOUS 9381 HAS SOUPS 9381 WITH SCORE 9394.98
AT ITER 3043 NEW BEST:: SOT 45490 SOS 13989 HAS SOPS 13989 HAS SOUS 9380 HAS SOUPS 9380 WITH SCORE 9393.989
AT ITER 3056 NEW BEST:: SOT 45475 SOS 13928 HAS SOPS 13928 HAS SOUS 9320 HAS SOUPS 9320 WITH SCORE 9333.928
AT ITER 3084 NEW BEST:: SOT 45466 SOS 13925 HAS SOPS 13925 HAS SOUS 9317 HAS SOUPS 9317 WITH SCORE 9330.925
AT ITER 3128 NEW BEST:: SOT 45460 SOS 13928 HAS SOPS 13928 HAS SOUS 9311 HAS SOUPS 9311 WITH SCORE 9324.928
AT ITER 3139 NEW BEST:: SOT 45460 SOS 13893 HAS SOPS 13893 HAS SOUS 9298 HAS SOUPS 9298 WITH SCORE 9311.893
AT ITER 3157 NEW BEST:: SOT 45456 SOS 13889 HAS SOPS 13889 HAS SOUS 9294 HAS SOUPS 9294 WITH SCORE 9307.889
AT ITER 3280 NEW BEST:: SOT 45465 SOS 13885 HAS SOPS 13885 HAS SOUS 9290 HAS SOUPS 9290 WITH SCORE 9303.885
AT ITER 3287 NEW BEST:: SOT 45464 SOS 13884 HAS SOPS 13884 HAS SOUS 9289 HAS SOUPS 9289 WITH SCORE 9302.884
AT ITER 3341 NEW BEST:: SOT 45463 SOS 13882 HAS SOPS 13882 HAS SOUS 9288 HAS SOUPS 9288 WITH SCORE 9301.882
AT ITER 3357 NEW BEST:: SOT 45454 SOS 13834 HAS SOPS 13834 HAS SOUS 9270 HAS SOUPS 9270 WITH SCORE 9283.834
AT ITER 3394 NEW BEST:: SOT 45447 SOS 13820 HAS SOPS 13820 HAS SOUS 9263 HAS SOUPS 9263 WITH SCORE 9276.82
AT ITER 3407 NEW BEST:: SOT 45436 SOS 13809 HAS SOPS 13809 HAS SOUS 9263 HAS SOUPS 9263 WITH SCORE 9276.809
AT ITER 3409 NEW BEST:: SOT 45434 SOS 13805 HAS SOPS 13805 HAS SOUS 9259 HAS SOUPS 9259 WITH SCORE 9272.805
AT ITER 3427 NEW BEST:: SOT 45415 SOS 13767 HAS SOPS 13767 HAS SOUS 9240 HAS SOUPS 9240 WITH SCORE 9253.767
AT ITER 3434 NEW BEST:: SOT 45409 SOS 13782 HAS SOPS 13782 HAS SOUS 9235 HAS SOUPS 9235 WITH SCORE 9248.782
AT ITER 3441 NEW BEST:: SOT 45404 SOS 13772 HAS SOPS 13772 HAS SOUS 9230 HAS SOUPS 9230 WITH SCORE 9243.772
AT ITER 3456 NEW BEST:: SOT 45403 SOS 13770 HAS SOPS 13770 HAS SOUS 9228 HAS SOUPS 9228 WITH SCORE 9241.77
AT ITER 3472 NEW BEST:: SOT 45372 SOS 13708 HAS SOPS 13708 HAS SOUS 9160 HAS SOUPS 9160 WITH SCORE 9173.708
AT ITER 3499 NEW BEST:: SOT 45375 SOS 13703 HAS SOPS 13703 HAS SOUS 9155 HAS SOUPS 9155 WITH SCORE 9168.703
AT ITER 3505 NEW BEST:: SOT 45379 SOS 13699 HAS SOPS 13699 HAS SOUS 9151 HAS SOUPS 9151 WITH SCORE 9164.699
AT ITER 3512 NEW BEST:: SOT 45374 SOS 13694 HAS SOPS 13694 HAS SOUS 9146 HAS SOUPS 9146 WITH SCORE 9159.694
AT ITER 3533 NEW BEST:: SOT 45367 SOS 13740 HAS SOPS 13740 HAS SOUS 9141 HAS SOUPS 9141 WITH SCORE 9154.74
AT ITER 3543 NEW BEST:: SOT 45369 SOS 13649 HAS SOPS 13649 HAS SOUS 9139 HAS SOUPS 9139 WITH SCORE 9152.649
AT ITER 3564 NEW BEST:: SOT 45369 SOS 13662 HAS SOPS 13662 HAS SOUS 9125 HAS SOUPS 9125 WITH SCORE 9138.662
AT ITER 3579 NEW BEST:: SOT 45328 SOS 13621 HAS SOPS 13621 HAS SOUS 9121 HAS SOUPS 9121 WITH SCORE 9134.621
AT ITER 3589 NEW BEST:: SOT 45316 SOS 13597 HAS SOPS 13597 HAS SOUS 9116 HAS SOUPS 9116 WITH SCORE 9129.597
AT ITER 3595 NEW BEST:: SOT 45308 SOS 13581 HAS SOPS 13581 HAS SOUS 9100 HAS SOUPS 9100 WITH SCORE 9113.581
AT ITER 3604 NEW BEST:: SOT 45306 SOS 13539 HAS SOPS 13539 HAS SOUS 9098 HAS SOUPS 9098 WITH SCORE 9111.539
AT ITER 3617 NEW BEST:: SOT 45294 SOS 13528 HAS SOPS 13528 HAS SOUS 9086 HAS SOUPS 9086 WITH SCORE 9099.528
AT ITER 3714 NEW BEST:: SOT 45292 SOS 13524 HAS SOPS 13524 HAS SOUS 9082 HAS SOUPS 9082 WITH SCORE 9095.524
AT ITER 3720 NEW BEST:: SOT 45288 SOS 13516 HAS SOPS 13516 HAS SOUS 9074 HAS SOUPS 9074 WITH SCORE 9087.516
AT ITER 3736 NEW BEST:: SOT 45285 SOS 13516 HAS SOPS 13516 HAS SOUS 9072 HAS SOUPS 9072 WITH SCORE 9085.516
AT ITER 3809 NEW BEST:: SOT 45285 SOS 13506 HAS SOPS 13506 HAS SOUS 9072 HAS SOUPS 9072 WITH SCORE 9085.506
AT ITER 3813 NEW BEST:: SOT 45284 SOS 13509 HAS SOPS 13509 HAS SOUS 9071 HAS SOUPS 9071 WITH SCORE 9084.509
AT ITER 3815 NEW BEST:: SOT 45284 SOS 13505 HAS SOPS 13505 HAS SOUS 9071 HAS SOUPS 9071 WITH SCORE 9084.505
AT ITER 3818 NEW BEST:: SOT 45268 SOS 13500 HAS SOPS 13500 HAS SOUS 9065 HAS SOUPS 9065 WITH SCORE 9078.5
AT ITER 3828 NEW BEST:: SOT 45274 SOS 13504 HAS SOPS 13504 HAS SOUS 9061 HAS SOUPS 9061 WITH SCORE 9074.504
AT ITER 3852 NEW BEST:: SOT 45253 SOS 13477 HAS SOPS 13477 HAS SOUS 9049 HAS SOUPS 9049 WITH SCORE 9062.477
AT ITER 3893 NEW BEST:: SOT 45242 SOS 13475 HAS SOPS 13475 HAS SOUS 9038 HAS SOUPS 9038 WITH SCORE 9051.475
AT ITER 3897 NEW BEST:: SOT 45234 SOS 13471 HAS SOPS 13471 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9043.471
AT ITER 3904 NEW BEST:: SOT 45199 SOS 13516 HAS SOPS 13516 HAS SOUS 9018 HAS SOUPS 9018 WITH SCORE 9031.516
AT ITER 3913 NEW BEST:: SOT 45200 SOS 13514 HAS SOPS 13514 HAS SOUS 9018 HAS SOUPS 9018 WITH SCORE 9031.514
AT ITER 3933 NEW BEST:: SOT 45197 SOS 13508 HAS SOPS 13508 HAS SOUS 9012 HAS SOUPS 9012 WITH SCORE 9025.508
AT ITER 3939 NEW BEST:: SOT 45186 SOS 13497 HAS SOPS 13497 HAS SOUS 9001 HAS SOUPS 9001 WITH SCORE 9014.497
AT ITER 3947 NEW BEST:: SOT 45187 SOS 13548 HAS SOPS 13548 HAS SOUS 8998 HAS SOUPS 8998 WITH SCORE 9011.548
AT ITER 3959 NEW BEST:: SOT 45214 SOS 13575 HAS SOPS 13575 HAS SOUS 8985 HAS SOUPS 8985 WITH SCORE 8998.575
AT ITER 4053 NEW BEST:: SOT 45214 SOS 13572 HAS SOPS 13572 HAS SOUS 8985 HAS SOUPS 8985 WITH SCORE 8998.572
AT ITER 4065 NEW BEST:: SOT 45219 SOS 13540 HAS SOPS 13540 HAS SOUS 8981 HAS SOUPS 8981 WITH SCORE 8994.54
AT ITER 4075 NEW BEST:: SOT 45218 SOS 13538 HAS SOPS 13538 HAS SOUS 8979 HAS SOUPS 8979 WITH SCORE 8992.538
AT ITER 4078 NEW BEST:: SOT 45218 SOS 13534 HAS SOPS 13534 HAS SOUS 8976 HAS SOUPS 8976 WITH SCORE 8989.534
AT ITER 4100 NEW BEST:: SOT 45212 SOS 13528 HAS SOPS 13528 HAS SOUS 8970 HAS SOUPS 8970 WITH SCORE 8983.528
AT ITER 4118 NEW BEST:: SOT 45212 SOS 13528 HAS SOPS 13528 HAS SOUS 8965 HAS SOUPS 8965 WITH SCORE 8978.528
AT ITER 4124 NEW BEST:: SOT 45210 SOS 13526 HAS SOPS 13526 HAS SOUS 8962 HAS SOUPS 8962 WITH SCORE 8975.526
AT ITER 4135 NEW BEST:: SOT 45187 SOS 13503 HAS SOPS 13503 HAS SOUS 8962 HAS SOUPS 8962 WITH SCORE 8975.503
AT ITER 4194 NEW BEST:: SOT 45180 SOS 13500 HAS SOPS 13500 HAS SOUS 8955 HAS SOUPS 8955 WITH SCORE 8968.5
AT ITER 4197 NEW BEST:: SOT 45178 SOS 13512 HAS SOPS 13512 HAS SOUS 8953 HAS SOUPS 8953 WITH SCORE 8966.512
AT ITER 4204 NEW BEST:: SOT 45173 SOS 13502 HAS SOPS 13502 HAS SOUS 8948 HAS SOUPS 8948 WITH SCORE 8961.502
AT ITER 4225 NEW BEST:: SOT 45170 SOS 13496 HAS SOPS 13496 HAS SOUS 8945 HAS SOUPS 8945 WITH SCORE 8958.496
AT ITER 4262 NEW BEST:: SOT 45170 SOS 13440 HAS SOPS 13440 HAS SOUS 8945 HAS SOUPS 8945 WITH SCORE 8958.44
AT ITER 4319 NEW BEST:: SOT 45170 SOS 13439 HAS SOPS 13439 HAS SOUS 8945 HAS SOUPS 8945 WITH SCORE 8958.439
AT ITER 4347 NEW BEST:: SOT 45166 SOS 13431 HAS SOPS 13431 HAS SOUS 8937 HAS SOUPS 8937 WITH SCORE 8950.431
AT ITER 4355 NEW BEST:: SOT 45166 SOS 13431 HAS SOPS 13431 HAS SOUS 8935 HAS SOUPS 8935 WITH SCORE 8948.431
AT ITER 4366 NEW BEST:: SOT 45161 SOS 13429 HAS SOPS 13429 HAS SOUS 8930 HAS SOUPS 8930 WITH SCORE 8943.429
AT ITER 4374 NEW BEST:: SOT 45148 SOS 13443 HAS SOPS 13443 HAS SOUS 8925 HAS SOUPS 8925 WITH SCORE 8938.443
AT ITER 4382 NEW BEST:: SOT 45142 SOS 13448 HAS SOPS 13448 HAS SOUS 8919 HAS SOUPS 8919 WITH SCORE 8932.448
AT ITER 4399 NEW BEST:: SOT 45142 SOS 13446 HAS SOPS 13446 HAS SOUS 8915 HAS SOUPS 8915 WITH SCORE 8928.446
AT ITER 4421 NEW BEST:: SOT 45143 SOS 13445 HAS SOPS 13445 HAS SOUS 8914 HAS SOUPS 8914 WITH SCORE 8927.445
AT ITER 4434 NEW BEST:: SOT 45115 SOS 13410 HAS SOPS 13410 HAS SOUS 8900 HAS SOUPS 8900 WITH SCORE 8913.41
AT ITER 4453 NEW BEST:: SOT 45109 SOS 13360 HAS SOPS 13360 HAS SOUS 8869 HAS SOUPS 8869 WITH SCORE 8882.36
AT ITER 4459 NEW BEST:: SOT 45120 SOS 13339 HAS SOPS 13339 HAS SOUS 8855 HAS SOUPS 8855 WITH SCORE 8868.339
AT ITER 4502 NEW BEST:: SOT 45120 SOS 13339 HAS SOPS 13339 HAS SOUS 8853 HAS SOUPS 8853 WITH SCORE 8866.339
AT ITER 4522 NEW BEST:: SOT 45119 SOS 13338 HAS SOPS 13338 HAS SOUS 8852 HAS SOUPS 8852 WITH SCORE 8865.338
AT ITER 4531 NEW BEST:: SOT 45087 SOS 13250 HAS SOPS 13250 HAS SOUS 8820 HAS SOUPS 8820 WITH SCORE 8833.25
AT ITER 4575 NEW BEST:: SOT 45082 SOS 13279 HAS SOPS 13279 HAS SOUS 8815 HAS SOUPS 8815 WITH SCORE 8828.279
AT ITER 4576 NEW BEST:: SOT 45083 SOS 13281 HAS SOPS 13281 HAS SOUS 8813 HAS SOUPS 8813 WITH SCORE 8826.281
AT ITER 4604 NEW BEST:: SOT 45082 SOS 13279 HAS SOPS 13279 HAS SOUS 8812 HAS SOUPS 8812 WITH SCORE 8825.279
AT ITER 4607 NEW BEST:: SOT 45085 SOS 13263 HAS SOPS 13263 HAS SOUS 8808 HAS SOUPS 8808 WITH SCORE 8821.263
AT ITER 4611 NEW BEST:: SOT 45079 SOS 13251 HAS SOPS 13251 HAS SOUS 8802 HAS SOUPS 8802 WITH SCORE 8815.251
AT ITER 4658 NEW BEST:: SOT 45074 SOS 13262 HAS SOPS 13262 HAS SOUS 8800 HAS SOUPS 8800 WITH SCORE 8813.262
AT ITER 4670 NEW BEST:: SOT 45076 SOS 13226 HAS SOPS 13226 HAS SOUS 8800 HAS SOUPS 8800 WITH SCORE 8813.226
AT ITER 4720 NEW BEST:: SOT 45091 SOS 13241 HAS SOPS 13241 HAS SOUS 8792 HAS SOUPS 8792 WITH SCORE 8805.241
AT ITER 4747 NEW BEST:: SOT 45085 SOS 13235 HAS SOPS 13235 HAS SOUS 8786 HAS SOUPS 8786 WITH SCORE 8799.235
AT ITER 4755 NEW BEST:: SOT 45081 SOS 13256 HAS SOPS 13256 HAS SOUS 8782 HAS SOUPS 8782 WITH SCORE 8795.256
AT ITER 4762 NEW BEST:: SOT 45077 SOS 13249 HAS SOPS 13249 HAS SOUS 8777 HAS SOUPS 8777 WITH SCORE 8790.249
AT ITER 4792 NEW BEST:: SOT 45079 SOS 13246 HAS SOPS 13246 HAS SOUS 8774 HAS SOUPS 8774 WITH SCORE 8787.246
AT ITER 4797 NEW BEST:: SOT 45074 SOS 13236 HAS SOPS 13236 HAS SOUS 8764 HAS SOUPS 8764 WITH SCORE 8777.236
AT ITER 4848 NEW BEST:: SOT 45073 SOS 13234 HAS SOPS 13234 HAS SOUS 8763 HAS SOUPS 8763 WITH SCORE 8776.234
AT ITER 4872 NEW BEST:: SOT 45073 SOS 13227 HAS SOPS 13227 HAS SOUS 8763 HAS SOUPS 8763 WITH SCORE 8776.227
AT ITER 4879 NEW BEST:: SOT 45067 SOS 13221 HAS SOPS 13221 HAS SOUS 8757 HAS SOUPS 8757 WITH SCORE 8770.221
AT ITER 4909 NEW BEST:: SOT 45074 SOS 13221 HAS SOPS 13221 HAS SOUS 8756 HAS SOUPS 8756 WITH SCORE 8769.221
AT ITER 5068 NEW BEST:: SOT 45055 SOS 13043 HAS SOPS 13043 HAS SOUS 8717 HAS SOUPS 8717 WITH SCORE 8730.043
AT ITER 5074 NEW BEST:: SOT 45027 SOS 13030 HAS SOPS 13030 HAS SOUS 8689 HAS SOUPS 8689 WITH SCORE 8702.03
AT ITER 5085 NEW BEST:: SOT 45027 SOS 13022 HAS SOPS 13022 HAS SOUS 8689 HAS SOUPS 8689 WITH SCORE 8702.022
AT ITER 5113 NEW BEST:: SOT 45026 SOS 13019 HAS SOPS 13019 HAS SOUS 8687 HAS SOUPS 8687 WITH SCORE 8700.019
AT ITER 5117 NEW BEST:: SOT 45013 SOS 12993 HAS SOPS 12993 HAS SOUS 8687 HAS SOUPS 8687 WITH SCORE 8699.993
AT ITER 5136 NEW BEST:: SOT 45015 SOS 12983 HAS SOPS 12983 HAS SOUS 8687 HAS SOUPS 8687 WITH SCORE 8699.983
AT ITER 5176 NEW BEST:: SOT 45057 SOS 12245 HAS SOPS 12245 HAS SOUS 8687 HAS SOUPS 8687 WITH SCORE 8699.245
AT ITER 5251 NEW BEST:: SOT 45060 SOS 12229 HAS SOPS 12229 HAS SOUS 8679 HAS SOUPS 8679 WITH SCORE 8691.229
AT ITER 5256 NEW BEST:: SOT 45039 SOS 12201 HAS SOPS 12201 HAS SOUS 8677 HAS SOUPS 8677 WITH SCORE 8689.201
AT ITER 5261 NEW BEST:: SOT 45033 SOS 12195 HAS SOPS 12195 HAS SOUS 8671 HAS SOUPS 8671 WITH SCORE 8683.195
AT ITER 5262 NEW BEST:: SOT 45024 SOS 12195 HAS SOPS 12195 HAS SOUS 8662 HAS SOUPS 8662 WITH SCORE 8674.195
AT ITER 5281 NEW BEST:: SOT 45021 SOS 12189 HAS SOPS 12189 HAS SOUS 8657 HAS SOUPS 8657 WITH SCORE 8669.189
AT ITER 5291 NEW BEST:: SOT 45053 SOS 12202 HAS SOPS 12202 HAS SOUS 8653 HAS SOUPS 8653 WITH SCORE 8665.202
AT ITER 5377 NEW BEST:: SOT 45072 SOS 12198 HAS SOPS 12198 HAS SOUS 8651 HAS SOUPS 8651 WITH SCORE 8663.198
AT ITER 5386 NEW BEST:: SOT 45076 SOS 12194 HAS SOPS 12194 HAS SOUS 8649 HAS SOUPS 8649 WITH SCORE 8661.194
AT ITER 5429 NEW BEST:: SOT 45074 SOS 12192 HAS SOPS 12192 HAS SOUS 8646 HAS SOUPS 8646 WITH SCORE 8658.192
AT ITER 5446 NEW BEST:: SOT 45074 SOS 12189 HAS SOPS 12189 HAS SOUS 8646 HAS SOUPS 8646 WITH SCORE 8658.189
AT ITER 5498 NEW BEST:: SOT 45074 SOS 12159 HAS SOPS 12159 HAS SOUS 8646 HAS SOUPS 8646 WITH SCORE 8658.159
AT ITER 5507 NEW BEST:: SOT 45074 SOS 12159 HAS SOPS 12159 HAS SOUS 8645 HAS SOUPS 8645 WITH SCORE 8657.159
AT ITER 5593 NEW BEST:: SOT 45073 SOS 12118 HAS SOPS 12118 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8638.118
AT ITER 5621 NEW BEST:: SOT 45072 SOS 12134 HAS SOPS 12134 HAS SOUS 8625 HAS SOUPS 8625 WITH SCORE 8637.134
AT ITER 5670 NEW BEST:: SOT 45071 SOS 12129 HAS SOPS 12129 HAS SOUS 8623 HAS SOUPS 8623 WITH SCORE 8635.129
AT ITER 5681 NEW BEST:: SOT 45070 SOS 12127 HAS SOPS 12127 HAS SOUS 8621 HAS SOUPS 8621 WITH SCORE 8633.127
AT ITER 5692 NEW BEST:: SOT 45071 SOS 12125 HAS SOPS 12125 HAS SOUS 8621 HAS SOUPS 8621 WITH SCORE 8633.125
AT ITER 5693 NEW BEST:: SOT 45065 SOS 12119 HAS SOPS 12119 HAS SOUS 8615 HAS SOUPS 8615 WITH SCORE 8627.119
AT ITER 5697 NEW BEST:: SOT 45057 SOS 12113 HAS SOPS 12113 HAS SOUS 8610 HAS SOUPS 8610 WITH SCORE 8622.113
AT ITER 5740 NEW BEST:: SOT 45031 SOS 12123 HAS SOPS 12123 HAS SOUS 8605 HAS SOUPS 8605 WITH SCORE 8617.123
AT ITER 5746 NEW BEST:: SOT 45014 SOS 12106 HAS SOPS 12106 HAS SOUS 8588 HAS SOUPS 8588 WITH SCORE 8600.106
AT ITER 5754 NEW BEST:: SOT 45012 SOS 12104 HAS SOPS 12104 HAS SOUS 8584 HAS SOUPS 8584 WITH SCORE 8596.104
AT ITER 5775 NEW BEST:: SOT 44997 SOS 12074 HAS SOPS 12074 HAS SOUS 8579 HAS SOUPS 8579 WITH SCORE 8591.074
AT ITER 5791 NEW BEST:: SOT 44996 SOS 12072 HAS SOPS 12072 HAS SOUS 8577 HAS SOUPS 8577 WITH SCORE 8589.072
AT ITER 5807 NEW BEST:: SOT 44985 SOS 12041 HAS SOPS 12041 HAS SOUS 8556 HAS SOUPS 8556 WITH SCORE 8568.041
AT ITER 5844 NEW BEST:: SOT 44982 SOS 12050 HAS SOPS 12050 HAS SOUS 8550 HAS SOUPS 8550 WITH SCORE 8562.05
AT ITER 5853 NEW BEST:: SOT 44970 SOS 12026 HAS SOPS 12026 HAS SOUS 8550 HAS SOUPS 8550 WITH SCORE 8562.026
AT ITER 5874 NEW BEST:: SOT 44970 SOS 12022 HAS SOPS 12022 HAS SOUS 8546 HAS SOUPS 8546 WITH SCORE 8558.022
AT ITER 5883 NEW BEST:: SOT 44898 SOS 12022 HAS SOPS 12022 HAS SOUS 8504 HAS SOUPS 8504 WITH SCORE 8516.022
AT ITER 5885 NEW BEST:: SOT 44905 SOS 11980 HAS SOPS 11980 HAS SOUS 8502 HAS SOUPS 8502 WITH SCORE 8513.98
AT ITER 5961 NEW BEST:: SOT 44894 SOS 11972 HAS SOPS 11972 HAS SOUS 8480 HAS SOUPS 8480 WITH SCORE 8491.972
AT ITER 6040 NEW BEST:: SOT 44867 SOS 11945 HAS SOPS 11945 HAS SOUS 8463 HAS SOUPS 8463 WITH SCORE 8474.945
AT ITER 6086 NEW BEST:: SOT 44860 SOS 11931 HAS SOPS 11931 HAS SOUS 8449 HAS SOUPS 8449 WITH SCORE 8460.931
AT ITER 6100 NEW BEST:: SOT 44860 SOS 11922 HAS SOPS 11922 HAS SOUS 8449 HAS SOUPS 8449 WITH SCORE 8460.922
AT ITER 6186 NEW BEST:: SOT 44853 SOS 11909 HAS SOPS 11909 HAS SOUS 8435 HAS SOUPS 8435 WITH SCORE 8446.909
AT ITER 6208 NEW BEST:: SOT 44851 SOS 11907 HAS SOPS 11907 HAS SOUS 8431 HAS SOUPS 8431 WITH SCORE 8442.907
AT ITER 6217 NEW BEST:: SOT 44848 SOS 11871 HAS SOPS 11871 HAS SOUS 8405 HAS SOUPS 8405 WITH SCORE 8416.871
AT ITER 6239 NEW BEST:: SOT 44848 SOS 11860 HAS SOPS 11860 HAS SOUS 8405 HAS SOUPS 8405 WITH SCORE 8416.86
AT ITER 6315 NEW BEST:: SOT 44834 SOS 11873 HAS SOPS 11873 HAS SOUS 8402 HAS SOUPS 8402 WITH SCORE 8413.873
AT ITER 6403 NEW BEST:: SOT 44830 SOS 11887 HAS SOPS 11887 HAS SOUS 8398 HAS SOUPS 8398 WITH SCORE 8409.887
AT ITER 6453 NEW BEST:: SOT 44829 SOS 11861 HAS SOPS 11861 HAS SOUS 8382 HAS SOUPS 8382 WITH SCORE 8393.861
AT ITER 6471 NEW BEST:: SOT 44827 SOS 11857 HAS SOPS 11857 HAS SOUS 8380 HAS SOUPS 8380 WITH SCORE 8391.857
AT ITER 6500 NEW BEST:: SOT 44827 SOS 11845 HAS SOPS 11845 HAS SOUS 8380 HAS SOUPS 8380 WITH SCORE 8391.845
AT ITER 6503 NEW BEST:: SOT 44831 SOS 11853 HAS SOPS 11853 HAS SOUS 8377 HAS SOUPS 8377 WITH SCORE 8388.853
AT ITER 6532 NEW BEST:: SOT 44828 SOS 11857 HAS SOPS 11857 HAS SOUS 8374 HAS SOUPS 8374 WITH SCORE 8385.857
AT ITER 6541 NEW BEST:: SOT 44821 SOS 11850 HAS SOPS 11850 HAS SOUS 8371 HAS SOUPS 8371 WITH SCORE 8382.85
AT ITER 6584 NEW BEST:: SOT 44822 SOS 11844 HAS SOPS 11844 HAS SOUS 8357 HAS SOUPS 8357 WITH SCORE 8368.844
AT ITER 6623 NEW BEST:: SOT 44819 SOS 11838 HAS SOPS 11838 HAS SOUS 8353 HAS SOUPS 8353 WITH SCORE 8364.838
AT ITER 6645 NEW BEST:: SOT 44816 SOS 11835 HAS SOPS 11835 HAS SOUS 8350 HAS SOUPS 8350 WITH SCORE 8361.835
AT ITER 6675 NEW BEST:: SOT 44792 SOS 11781 HAS SOPS 11781 HAS SOUS 8317 HAS SOUPS 8317 WITH SCORE 8328.781
AT ITER 6683 NEW BEST:: SOT 44830 SOS 11804 HAS SOPS 11804 HAS SOUS 8310 HAS SOUPS 8310 WITH SCORE 8321.804
AT ITER 6693 NEW BEST:: SOT 44828 SOS 11802 HAS SOPS 11802 HAS SOUS 8306 HAS SOUPS 8306 WITH SCORE 8317.802
AT ITER 6703 NEW BEST:: SOT 44822 SOS 11770 HAS SOPS 11770 HAS SOUS 8295 HAS SOUPS 8295 WITH SCORE 8306.77
AT ITER 6736 NEW BEST:: SOT 44802 SOS 11749 HAS SOPS 11749 HAS SOUS 8275 HAS SOUPS 8275 WITH SCORE 8286.749
AT ITER 6775 NEW BEST:: SOT 44803 SOS 11747 HAS SOPS 11747 HAS SOUS 8250 HAS SOUPS 8250 WITH SCORE 8261.747
AT ITER 6802 NEW BEST:: SOT 44802 SOS 11745 HAS SOPS 11745 HAS SOUS 8249 HAS SOUPS 8249 WITH SCORE 8260.745
AT ITER 6816 NEW BEST:: SOT 44793 SOS 11727 HAS SOPS 11727 HAS SOUS 8242 HAS SOUPS 8242 WITH SCORE 8253.727
AT ITER 6839 NEW BEST:: SOT 44791 SOS 11723 HAS SOPS 11723 HAS SOUS 8238 HAS SOUPS 8238 WITH SCORE 8249.723
AT ITER 6862 NEW BEST:: SOT 44773 SOS 11687 HAS SOPS 11687 HAS SOUS 8220 HAS SOUPS 8220 WITH SCORE 8231.687
AT ITER 6915 NEW BEST:: SOT 44768 SOS 11665 HAS SOPS 11665 HAS SOUS 8210 HAS SOUPS 8210 WITH SCORE 8221.665
AT ITER 6963 NEW BEST:: SOT 44771 SOS 11613 HAS SOPS 11613 HAS SOUS 8204 HAS SOUPS 8204 WITH SCORE 8215.613
AT ITER 7152 NEW BEST:: SOT 44763 SOS 11613 HAS SOPS 11613 HAS SOUS 8196 HAS SOUPS 8196 WITH SCORE 8207.613
AT ITER 7203 NEW BEST:: SOT 44763 SOS 11607 HAS SOPS 11607 HAS SOUS 8195 HAS SOUPS 8195 WITH SCORE 8206.607
AT ITER 7208 NEW BEST:: SOT 44767 SOS 11580 HAS SOPS 11580 HAS SOUS 8191 HAS SOUPS 8191 WITH SCORE 8202.58
AT ITER 7263 NEW BEST:: SOT 44765 SOS 11576 HAS SOPS 11576 HAS SOUS 8187 HAS SOUPS 8187 WITH SCORE 8198.576
AT ITER 7264 NEW BEST:: SOT 44757 SOS 11544 HAS SOPS 11544 HAS SOUS 8163 HAS SOUPS 8163 WITH SCORE 8174.544
AT ITER 7269 NEW BEST:: SOT 44756 SOS 11542 HAS SOPS 11542 HAS SOUS 8161 HAS SOUPS 8161 WITH SCORE 8172.542
AT ITER 7281 NEW BEST:: SOT 44756 SOS 11539 HAS SOPS 11539 HAS SOUS 8161 HAS SOUPS 8161 WITH SCORE 8172.539
AT ITER 7332 NEW BEST:: SOT 44751 SOS 11547 HAS SOPS 11547 HAS SOUS 8156 HAS SOUPS 8156 WITH SCORE 8167.547
AT ITER 7404 NEW BEST:: SOT 44749 SOS 11530 HAS SOPS 11530 HAS SOUS 8154 HAS SOUPS 8154 WITH SCORE 8165.53
AT ITER 7442 NEW BEST:: SOT 44755 SOS 11507 HAS SOPS 11507 HAS SOUS 8153 HAS SOUPS 8153 WITH SCORE 8164.507
AT ITER 7454 NEW BEST:: SOT 44755 SOS 11510 HAS SOPS 11510 HAS SOUS 8152 HAS SOUPS 8152 WITH SCORE 8163.51
AT ITER 7507 NEW BEST:: SOT 44755 SOS 11510 HAS SOPS 11510 HAS SOUS 8146 HAS SOUPS 8146 WITH SCORE 8157.51
AT ITER 7524 NEW BEST:: SOT 44754 SOS 11509 HAS SOPS 11509 HAS SOUS 8145 HAS SOUPS 8145 WITH SCORE 8156.509
AT ITER 7554 NEW BEST:: SOT 44753 SOS 11547 HAS SOPS 11547 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8155.547
AT ITER 7684 NEW BEST:: SOT 44748 SOS 11537 HAS SOPS 11537 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8155.537
AT ITER 7693 NEW BEST:: SOT 44748 SOS 11521 HAS SOPS 11521 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8155.521
AT ITER 7757 NEW BEST:: SOT 44744 SOS 11510 HAS SOPS 11510 HAS SOUS 8133 HAS SOUPS 8133 WITH SCORE 8144.51
AT ITER 7812 NEW BEST:: SOT 44743 SOS 11508 HAS SOPS 11508 HAS SOUS 8133 HAS SOUPS 8133 WITH SCORE 8144.508
AT ITER 7861 NEW BEST:: SOT 44750 SOS 11502 HAS SOPS 11502 HAS SOUS 8133 HAS SOUPS 8133 WITH SCORE 8144.502
AT ITER 7983 NEW BEST:: SOT 44678 SOS 12033 HAS SOPS 12033 HAS SOUS 8130 HAS SOUPS 8130 WITH SCORE 8142.033
AT ITER 7997 NEW BEST:: SOT 44688 SOS 12041 HAS SOPS 12041 HAS SOUS 8129 HAS SOUPS 8129 WITH SCORE 8141.041
AT ITER 8067 NEW BEST:: SOT 44685 SOS 12037 HAS SOPS 12037 HAS SOUS 8124 HAS SOUPS 8124 WITH SCORE 8136.037
AT ITER 8157 NEW BEST:: SOT 44683 SOS 12035 HAS SOPS 12035 HAS SOUS 8122 HAS SOUPS 8122 WITH SCORE 8134.035
AT ITER 8191 NEW BEST:: SOT 44681 SOS 12031 HAS SOPS 12031 HAS SOUS 8118 HAS SOUPS 8118 WITH SCORE 8130.031
AT ITER 8217 NEW BEST:: SOT 44680 SOS 12030 HAS SOPS 12030 HAS SOUS 8117 HAS SOUPS 8117 WITH SCORE 8129.03
AT ITER 8229 NEW BEST:: SOT 44675 SOS 12020 HAS SOPS 12020 HAS SOUS 8112 HAS SOUPS 8112 WITH SCORE 8124.02
AT ITER 8230 NEW BEST:: SOT 44668 SOS 12006 HAS SOPS 12006 HAS SOUS 8098 HAS SOUPS 8098 WITH SCORE 8110.006
AT ITER 8231 NEW BEST:: SOT 44664 SOS 11998 HAS SOPS 11998 HAS SOUS 8094 HAS SOUPS 8094 WITH SCORE 8105.998
AT ITER 8425 NEW BEST:: SOT 44663 SOS 11998 HAS SOPS 11998 HAS SOUS 8093 HAS SOUPS 8093 WITH SCORE 8104.998
AT ITER 8449 NEW BEST:: SOT 44666 SOS 12004 HAS SOPS 12004 HAS SOUS 8092 HAS SOUPS 8092 WITH SCORE 8104.004
AT ITER 8493 NEW BEST:: SOT 44666 SOS 12002 HAS SOPS 12002 HAS SOUS 8092 HAS SOUPS 8092 WITH SCORE 8104.002
AT ITER 8501 NEW BEST:: SOT 44662 SOS 12004 HAS SOPS 12004 HAS SOUS 8088 HAS SOUPS 8088 WITH SCORE 8100.004
AT ITER 8555 NEW BEST:: SOT 44658 SOS 12014 HAS SOPS 12014 HAS SOUS 8085 HAS SOUPS 8085 WITH SCORE 8097.014
AT ITER 8623 NEW BEST:: SOT 44658 SOS 12002 HAS SOPS 12002 HAS SOUS 8084 HAS SOUPS 8084 WITH SCORE 8096.002
AT ITER 8626 NEW BEST:: SOT 44652 SOS 11980 HAS SOPS 11980 HAS SOUS 8076 HAS SOUPS 8076 WITH SCORE 8087.98
AT ITER 8715 NEW BEST:: SOT 44648 SOS 11976 HAS SOPS 11976 HAS SOUS 8073 HAS SOUPS 8073 WITH SCORE 8084.976
AT ITER 8721 NEW BEST:: SOT 44642 SOS 11965 HAS SOPS 11965 HAS SOUS 8071 HAS SOUPS 8071 WITH SCORE 8082.965
AT ITER 8791 NEW BEST:: SOT 44627 SOS 11950 HAS SOPS 11950 HAS SOUS 8055 HAS SOUPS 8055 WITH SCORE 8066.95
AT ITER 8840 NEW BEST:: SOT 44637 SOS 11735 HAS SOPS 11735 HAS SOUS 8052 HAS SOUPS 8052 WITH SCORE 8063.735
AT ITER 8920 NEW BEST:: SOT 44640 SOS 11741 HAS SOPS 11741 HAS SOUS 8051 HAS SOUPS 8051 WITH SCORE 8062.741
AT ITER 9053 NEW BEST:: SOT 44639 SOS 11741 HAS SOPS 11741 HAS SOUS 8050 HAS SOUPS 8050 WITH SCORE 8061.741
AT ITER 9108 NEW BEST:: SOT 44631 SOS 11725 HAS SOPS 11725 HAS SOUS 8034 HAS SOUPS 8034 WITH SCORE 8045.725
AT ITER 9109 NEW BEST:: SOT 44627 SOS 11719 HAS SOPS 11719 HAS SOUS 8030 HAS SOUPS 8030 WITH SCORE 8041.719
AT ITER 9115 NEW BEST:: SOT 44617 SOS 11709 HAS SOPS 11709 HAS SOUS 8030 HAS SOUPS 8030 WITH SCORE 8041.709
AT ITER 9128 NEW BEST:: SOT 44617 SOS 11687 HAS SOPS 11687 HAS SOUS 8021 HAS SOUPS 8021 WITH SCORE 8032.687
AT ITER 9136 NEW BEST:: SOT 44623 SOS 11686 HAS SOPS 11686 HAS SOUS 8020 HAS SOUPS 8020 WITH SCORE 8031.686
AT ITER 9192 NEW BEST:: SOT 44622 SOS 11687 HAS SOPS 11687 HAS SOUS 8019 HAS SOUPS 8019 WITH SCORE 8030.687
AT ITER 9244 NEW BEST:: SOT 44622 SOS 11686 HAS SOPS 11686 HAS SOUS 8018 HAS SOUPS 8018 WITH SCORE 8029.686
AT ITER 9301 NEW BEST:: SOT 44628 SOS 11698 HAS SOPS 11698 HAS SOUS 8013 HAS SOUPS 8013 WITH SCORE 8024.698
AT ITER 9338 NEW BEST:: SOT 44631 SOS 11697 HAS SOPS 11697 HAS SOUS 8012 HAS SOUPS 8012 WITH SCORE 8023.697
AT ITER 9351 NEW BEST:: SOT 44631 SOS 11697 HAS SOPS 11697 HAS SOUS 8010 HAS SOUPS 8010 WITH SCORE 8021.697
AT ITER 9389 NEW BEST:: SOT 44620 SOS 11686 HAS SOPS 11686 HAS SOUS 7999 HAS SOUPS 7999 WITH SCORE 8010.686
AT ITER 9425 NEW BEST:: SOT 44614 SOS 11680 HAS SOPS 11680 HAS SOUS 7993 HAS SOUPS 7993 WITH SCORE 8004.68
AT ITER 9476 NEW BEST:: SOT 44614 SOS 11678 HAS SOPS 11678 HAS SOUS 7991 HAS SOUPS 7991 WITH SCORE 8002.678
AT ITER 9597 NEW BEST:: SOT 44612 SOS 11684 HAS SOPS 11684 HAS SOUS 7989 HAS SOUPS 7989 WITH SCORE 8000.684
AT ITER 9623 NEW BEST:: SOT 44612 SOS 11684 HAS SOPS 11684 HAS SOUS 7988 HAS SOUPS 7988 WITH SCORE 7999.684
AT ITER 9661 NEW BEST:: SOT 44606 SOS 11672 HAS SOPS 11672 HAS SOUS 7982 HAS SOUPS 7982 WITH SCORE 7993.672
AT ITER 9689 NEW BEST:: SOT 44603 SOS 11666 HAS SOPS 11666 HAS SOUS 7976 HAS SOUPS 7976 WITH SCORE 7987.666
AT ITER 9691 NEW BEST:: SOT 44600 SOS 11660 HAS SOPS 11660 HAS SOUS 7962 HAS SOUPS 7962 WITH SCORE 7973.66
AT ITER 9727 NEW BEST:: SOT 44600 SOS 11652 HAS SOPS 11652 HAS SOUS 7961 HAS SOUPS 7961 WITH SCORE 7972.652
AT ITER 9737 NEW BEST:: SOT 44600 SOS 11626 HAS SOPS 11626 HAS SOUS 7959 HAS SOUPS 7959 WITH SCORE 7970.626
AT ITER 9869 NEW BEST:: SOT 44600 SOS 11626 HAS SOPS 11626 HAS SOUS 7956 HAS SOUPS 7956 WITH SCORE 7967.626
AT ITER 9953 NEW BEST:: SOT 44608 SOS 11618 HAS SOPS 11618 HAS SOUS 7956 HAS SOUPS 7956 WITH SCORE 7967.618
AT ITER 9970 NEW BEST:: SOT 44603 SOS 11616 HAS SOPS 11616 HAS SOUS 7952 HAS SOUPS 7952 WITH SCORE 7963.616

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="FlexibleBarrier-PT-04b"
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 FlexibleBarrier-PT-04b, 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 r078-smll-158922972400272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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