Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r515-tall-167987241900056.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is Anderson-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r515-tall-167987241900056
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 8.1K Mar 23 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Mar 23 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Mar 23 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Mar 23 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 23 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 23 07:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 23 07:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 23 07:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 13K Mar 23 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 125K Mar 23 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Mar 23 15:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Mar 23 15:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 07:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 07:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 1.2M Mar 26 22:42 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 1679873548454

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Anderson-PT-10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Anderson (PT), instance 10
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 621 places, 2480 transitions, 9560 arcs.
AT ITER 0 NEW BEST:: SOT 882745 SOS 567124 HAS SOPS 567124 HAS SOUS 154179 HAS SOUPS 154179 WITH SCORE 154746.124
AT ITER 2 NEW BEST:: SOT 882587 SOS 565472 HAS SOPS 565472 HAS SOUS 153959 HAS SOUPS 153959 WITH SCORE 154524.472
AT ITER 5 NEW BEST:: SOT 882467 SOS 564752 HAS SOPS 564752 HAS SOUS 153779 HAS SOUPS 153779 WITH SCORE 154343.752
AT ITER 21 NEW BEST:: SOT 882181 SOS 562812 HAS SOPS 562812 HAS SOUS 153358 HAS SOUPS 153358 WITH SCORE 153920.812
AT ITER 22 NEW BEST:: SOT 882029 SOS 561900 HAS SOPS 561900 HAS SOUS 153130 HAS SOUPS 153130 WITH SCORE 153691.9
AT ITER 27 NEW BEST:: SOT 881844 SOS 559858 HAS SOPS 559858 HAS SOUS 153073 HAS SOUPS 153073 WITH SCORE 153632.858
AT ITER 29 NEW BEST:: SOT 881842 SOS 559854 HAS SOPS 559854 HAS SOUS 153071 HAS SOUPS 153071 WITH SCORE 153630.854
AT ITER 34 NEW BEST:: SOT 881694 SOS 558966 HAS SOPS 558966 HAS SOUS 152849 HAS SOUPS 152849 WITH SCORE 153407.966
AT ITER 35 NEW BEST:: SOT 880421 SOS 556512 HAS SOPS 556512 HAS SOUS 152763 HAS SOUPS 152763 WITH SCORE 153319.512
AT ITER 37 NEW BEST:: SOT 880192 SOS 554522 HAS SOPS 554522 HAS SOUS 152620 HAS SOUPS 152620 WITH SCORE 153174.522
AT ITER 44 NEW BEST:: SOT 880088 SOS 553898 HAS SOPS 553898 HAS SOUS 152464 HAS SOUPS 152464 WITH SCORE 153017.898
AT ITER 51 NEW BEST:: SOT 880038 SOS 553798 HAS SOPS 553798 HAS SOUS 152414 HAS SOUPS 152414 WITH SCORE 152967.798
AT ITER 59 NEW BEST:: SOT 879952 SOS 553282 HAS SOPS 553282 HAS SOUS 152285 HAS SOUPS 152285 WITH SCORE 152838.282
AT ITER 70 NEW BEST:: SOT 880270 SOS 553633 HAS SOPS 553633 HAS SOUS 152009 HAS SOUPS 152009 WITH SCORE 152562.633
AT ITER 71 NEW BEST:: SOT 880154 SOS 553401 HAS SOPS 553401 HAS SOUS 151834 HAS SOUPS 151834 WITH SCORE 152387.401
AT ITER 82 NEW BEST:: SOT 880154 SOS 553401 HAS SOPS 553401 HAS SOUS 151824 HAS SOUPS 151824 WITH SCORE 152377.401
AT ITER 98 NEW BEST:: SOT 879953 SOS 552095 HAS SOPS 552095 HAS SOUS 151529 HAS SOUPS 151529 WITH SCORE 152081.095
AT ITER 104 NEW BEST:: SOT 879926 SOS 552371 HAS SOPS 552371 HAS SOUS 151528 HAS SOUPS 151528 WITH SCORE 152080.371
AT ITER 107 NEW BEST:: SOT 879856 SOS 551783 HAS SOPS 551783 HAS SOUS 151444 HAS SOUPS 151444 WITH SCORE 151995.783
AT ITER 108 NEW BEST:: SOT 879172 SOS 550402 HAS SOPS 550402 HAS SOUS 151408 HAS SOUPS 151408 WITH SCORE 151958.402
AT ITER 117 NEW BEST:: SOT 879160 SOS 550378 HAS SOPS 550378 HAS SOUS 151396 HAS SOUPS 151396 WITH SCORE 151946.378
AT ITER 125 NEW BEST:: SOT 879190 SOS 548283 HAS SOPS 548283 HAS SOUS 151319 HAS SOUPS 151319 WITH SCORE 151867.283
AT ITER 126 NEW BEST:: SOT 879190 SOS 548283 HAS SOPS 548283 HAS SOUS 151315 HAS SOUPS 151315 WITH SCORE 151863.283
AT ITER 128 NEW BEST:: SOT 879190 SOS 548205 HAS SOPS 548205 HAS SOUS 151237 HAS SOUPS 151237 WITH SCORE 151785.205
AT ITER 148 NEW BEST:: SOT 878989 SOS 548179 HAS SOPS 548179 HAS SOUS 151152 HAS SOUPS 151152 WITH SCORE 151700.179
AT ITER 150 NEW BEST:: SOT 878980 SOS 548161 HAS SOPS 548161 HAS SOUS 151134 HAS SOUPS 151134 WITH SCORE 151682.161
AT ITER 161 NEW BEST:: SOT 878732 SOS 546673 HAS SOPS 546673 HAS SOUS 150762 HAS SOUPS 150762 WITH SCORE 151308.673
AT ITER 180 NEW BEST:: SOT 877915 SOS 545069 HAS SOPS 545069 HAS SOUS 150700 HAS SOUPS 150700 WITH SCORE 151245.069
AT ITER 190 NEW BEST:: SOT 876243 SOS 541933 HAS SOPS 541933 HAS SOUS 150612 HAS SOUPS 150612 WITH SCORE 151153.933
AT ITER 211 NEW BEST:: SOT 876237 SOS 541921 HAS SOPS 541921 HAS SOUS 150606 HAS SOUPS 150606 WITH SCORE 151147.921
AT ITER 244 NEW BEST:: SOT 871369 SOS 576934 HAS SOPS 576934 HAS SOUS 146253 HAS SOUPS 146253 WITH SCORE 146829.934
AT ITER 257 NEW BEST:: SOT 871308 SOS 576380 HAS SOPS 576380 HAS SOUS 146143 HAS SOUPS 146143 WITH SCORE 146719.38
AT ITER 258 NEW BEST:: SOT 871176 SOS 574748 HAS SOPS 574748 HAS SOUS 145964 HAS SOUPS 145964 WITH SCORE 146538.748
AT ITER 265 NEW BEST:: SOT 871112 SOS 574684 HAS SOPS 574684 HAS SOUS 145890 HAS SOUPS 145890 WITH SCORE 146464.684
AT ITER 266 NEW BEST:: SOT 871112 SOS 574684 HAS SOPS 574684 HAS SOUS 145850 HAS SOUPS 145850 WITH SCORE 146424.684
AT ITER 291 NEW BEST:: SOT 871086 SOS 574632 HAS SOPS 574632 HAS SOUS 145824 HAS SOUPS 145824 WITH SCORE 146398.632
AT ITER 297 NEW BEST:: SOT 871121 SOS 574587 HAS SOPS 574587 HAS SOUS 145814 HAS SOUPS 145814 WITH SCORE 146388.587
AT ITER 299 NEW BEST:: SOT 870892 SOS 574521 HAS SOPS 574521 HAS SOUS 145670 HAS SOUPS 145670 WITH SCORE 146244.521
AT ITER 303 NEW BEST:: SOT 871603 SOS 575232 HAS SOPS 575232 HAS SOUS 145355 HAS SOUPS 145355 WITH SCORE 145930.232
AT ITER 304 NEW BEST:: SOT 871525 SOS 575076 HAS SOPS 575076 HAS SOUS 145270 HAS SOUPS 145270 WITH SCORE 145845.076
AT ITER 305 NEW BEST:: SOT 871523 SOS 574766 HAS SOPS 574553 HAS SOUS 145339 HAS SOUPS 145126 WITH SCORE 145700.766
AT ITER 306 NEW BEST:: SOT 871316 SOS 572722 HAS SOPS 572509 HAS SOUS 145243 HAS SOUPS 145030 WITH SCORE 145602.722
AT ITER 324 NEW BEST:: SOT 871243 SOS 572649 HAS SOPS 572436 HAS SOUS 145110 HAS SOUPS 144897 WITH SCORE 145469.649
AT ITER 325 NEW BEST:: SOT 869034 SOS 571052 HAS SOPS 570689 HAS SOUS 143049 HAS SOUPS 142686 WITH SCORE 143257.052
AT ITER 334 NEW BEST:: SOT 868852 SOS 570870 HAS SOPS 570507 HAS SOUS 142776 HAS SOUPS 142413 WITH SCORE 142983.87
AT ITER 336 NEW BEST:: SOT 867439 SOS 571404 HAS SOPS 569024 HAS SOUS 142044 HAS SOUPS 141467 WITH SCORE 142038.404
AT ITER 345 NEW BEST:: SOT 867500 SOS 571373 HAS SOPS 568993 HAS SOUS 142044 HAS SOUPS 141467 WITH SCORE 142038.373
AT ITER 351 NEW BEST:: SOT 867434 SOS 571307 HAS SOPS 568927 HAS SOUS 141957 HAS SOUPS 141380 WITH SCORE 141951.307
AT ITER 353 NEW BEST:: SOT 867242 SOS 571061 HAS SOPS 568681 HAS SOUS 141624 HAS SOUPS 141047 WITH SCORE 141618.061
AT ITER 360 NEW BEST:: SOT 867013 SOS 569387 HAS SOPS 567007 HAS SOUS 141284 HAS SOUPS 140707 WITH SCORE 141276.387
AT ITER 376 NEW BEST:: SOT 867013 SOS 568676 HAS SOPS 566296 HAS SOUS 141284 HAS SOUPS 140707 WITH SCORE 141275.676
AT ITER 402 NEW BEST:: SOT 866999 SOS 568662 HAS SOPS 566282 HAS SOUS 141270 HAS SOUPS 140693 WITH SCORE 141261.662
AT ITER 407 NEW BEST:: SOT 866999 SOS 567752 HAS SOPS 565372 HAS SOUS 141179 HAS SOUPS 140602 WITH SCORE 141169.752
AT ITER 409 NEW BEST:: SOT 866856 SOS 565834 HAS SOPS 563454 HAS SOUS 140989 HAS SOUPS 140412 WITH SCORE 140977.834
AT ITER 413 NEW BEST:: SOT 866856 SOS 564448 HAS SOPS 562068 HAS SOUS 140989 HAS SOUPS 140412 WITH SCORE 140976.448
AT ITER 420 NEW BEST:: SOT 866850 SOS 564436 HAS SOPS 562056 HAS SOUS 140983 HAS SOUPS 140406 WITH SCORE 140970.436
AT ITER 428 NEW BEST:: SOT 866849 SOS 564435 HAS SOPS 562055 HAS SOUS 140982 HAS SOUPS 140405 WITH SCORE 140969.435
AT ITER 433 NEW BEST:: SOT 866802 SOS 564341 HAS SOPS 561961 HAS SOUS 140930 HAS SOUPS 140353 WITH SCORE 140917.341
AT ITER 435 NEW BEST:: SOT 866794 SOS 564325 HAS SOPS 561945 HAS SOUS 140922 HAS SOUPS 140345 WITH SCORE 140909.325
AT ITER 447 NEW BEST:: SOT 866794 SOS 563189 HAS SOPS 560809 HAS SOUS 140922 HAS SOUPS 140345 WITH SCORE 140908.189
AT ITER 459 NEW BEST:: SOT 866779 SOS 563174 HAS SOPS 560794 HAS SOUS 140907 HAS SOUPS 140330 WITH SCORE 140893.174
AT ITER 462 NEW BEST:: SOT 866779 SOS 563045 HAS SOPS 560794 HAS SOUS 140907 HAS SOUPS 140330 WITH SCORE 140893.045
AT ITER 478 NEW BEST:: SOT 866681 SOS 562947 HAS SOPS 560696 HAS SOUS 140727 HAS SOUPS 140150 WITH SCORE 140712.947
AT ITER 479 NEW BEST:: SOT 866681 SOS 562894 HAS SOPS 560643 HAS SOUS 140674 HAS SOUPS 140097 WITH SCORE 140659.894
AT ITER 496 NEW BEST:: SOT 866641 SOS 562622 HAS SOPS 560371 HAS SOUS 140618 HAS SOUPS 140041 WITH SCORE 140603.622
AT ITER 503 NEW BEST:: SOT 866661 SOS 562600 HAS SOPS 560349 HAS SOUS 140596 HAS SOUPS 140019 WITH SCORE 140581.6
AT ITER 517 NEW BEST:: SOT 866617 SOS 562556 HAS SOPS 560305 HAS SOUS 140552 HAS SOUPS 139975 WITH SCORE 140537.556
AT ITER 523 NEW BEST:: SOT 866617 SOS 562556 HAS SOPS 560305 HAS SOUS 140547 HAS SOUPS 139970 WITH SCORE 140532.556
AT ITER 527 NEW BEST:: SOT 866497 SOS 561836 HAS SOPS 559585 HAS SOUS 140367 HAS SOUPS 139790 WITH SCORE 140351.836
AT ITER 539 NEW BEST:: SOT 866402 SOS 561741 HAS SOPS 559490 HAS SOUS 140256 HAS SOUPS 139679 WITH SCORE 140240.741
AT ITER 540 NEW BEST:: SOT 866386 SOS 561725 HAS SOPS 559474 HAS SOUS 140232 HAS SOUPS 139655 WITH SCORE 140216.725
AT ITER 559 NEW BEST:: SOT 866305 SOS 560883 HAS SOPS 558632 HAS SOUS 140114 HAS SOUPS 139537 WITH SCORE 140097.883
AT ITER 561 NEW BEST:: SOT 866278 SOS 560829 HAS SOPS 558578 HAS SOUS 140060 HAS SOUPS 139483 WITH SCORE 140043.829
AT ITER 563 NEW BEST:: SOT 866265 SOS 560803 HAS SOPS 558552 HAS SOUS 140034 HAS SOUPS 139457 WITH SCORE 140017.803
AT ITER 567 NEW BEST:: SOT 866203 SOS 560183 HAS SOPS 557932 HAS SOUS 139972 HAS SOUPS 139395 WITH SCORE 139955.183
AT ITER 574 NEW BEST:: SOT 865945 SOS 558291 HAS SOPS 556040 HAS SOUS 139611 HAS SOUPS 139034 WITH SCORE 139592.291
AT ITER 580 NEW BEST:: SOT 865919 SOS 558265 HAS SOPS 556014 HAS SOUS 139568 HAS SOUPS 138991 WITH SCORE 139549.265
AT ITER 590 NEW BEST:: SOT 865805 SOS 557581 HAS SOPS 555330 HAS SOUS 139397 HAS SOUPS 138820 WITH SCORE 139377.581
AT ITER 591 NEW BEST:: SOT 865772 SOS 556571 HAS SOPS 554320 HAS SOUS 139351 HAS SOUPS 138774 WITH SCORE 139330.571
AT ITER 594 NEW BEST:: SOT 865766 SOS 556565 HAS SOPS 554314 HAS SOUS 139326 HAS SOUPS 138749 WITH SCORE 139305.565
AT ITER 603 NEW BEST:: SOT 867072 SOS 557871 HAS SOPS 555620 HAS SOUS 139138 HAS SOUPS 138561 WITH SCORE 139118.871
AT ITER 605 NEW BEST:: SOT 867005 SOS 557804 HAS SOPS 555553 HAS SOUS 139036 HAS SOUPS 138459 WITH SCORE 139016.804
AT ITER 615 NEW BEST:: SOT 866976 SOS 557746 HAS SOPS 555495 HAS SOUS 138978 HAS SOUPS 138401 WITH SCORE 138958.746
AT ITER 618 NEW BEST:: SOT 866976 SOS 557698 HAS SOPS 555447 HAS SOUS 138978 HAS SOUPS 138401 WITH SCORE 138958.698
AT ITER 620 NEW BEST:: SOT 866976 SOS 557698 HAS SOPS 555447 HAS SOUS 138944 HAS SOUPS 138367 WITH SCORE 138924.698
AT ITER 624 NEW BEST:: SOT 870733 SOS 561455 HAS SOPS 559341 HAS SOUS 138167 HAS SOUPS 137701 WITH SCORE 138262.455
AT ITER 631 NEW BEST:: SOT 870638 SOS 561265 HAS SOPS 559151 HAS SOUS 138072 HAS SOUPS 137606 WITH SCORE 138167.265
AT ITER 650 NEW BEST:: SOT 870581 SOS 561156 HAS SOPS 559094 HAS SOUS 137919 HAS SOUPS 137492 WITH SCORE 138053.156
AT ITER 657 NEW BEST:: SOT 870291 SOS 559416 HAS SOPS 557354 HAS SOUS 137484 HAS SOUPS 137057 WITH SCORE 137616.416
AT ITER 661 NEW BEST:: SOT 870247 SOS 559350 HAS SOPS 557288 HAS SOUS 137396 HAS SOUPS 136969 WITH SCORE 137528.35
AT ITER 664 NEW BEST:: SOT 870172 SOS 559275 HAS SOPS 557213 HAS SOUS 137246 HAS SOUPS 136819 WITH SCORE 137378.275
AT ITER 666 NEW BEST:: SOT 870144 SOS 559247 HAS SOPS 557185 HAS SOUS 137182 HAS SOUPS 136755 WITH SCORE 137314.247
AT ITER 676 NEW BEST:: SOT 869857 SOS 558763 HAS SOPS 556622 HAS SOUS 136594 HAS SOUPS 136088 WITH SCORE 136646.763
AT ITER 677 NEW BEST:: SOT 869815 SOS 558679 HAS SOPS 556538 HAS SOUS 136510 HAS SOUPS 136004 WITH SCORE 136562.679
AT ITER 678 NEW BEST:: SOT 869719 SOS 558583 HAS SOPS 556442 HAS SOUS 136328 HAS SOUPS 135822 WITH SCORE 136380.583
AT ITER 683 NEW BEST:: SOT 869664 SOS 558033 HAS SOPS 555892 HAS SOUS 136273 HAS SOUPS 135767 WITH SCORE 136325.033
AT ITER 702 NEW BEST:: SOT 869457 SOS 556131 HAS SOPS 553990 HAS SOUS 135966 HAS SOUPS 135460 WITH SCORE 136016.131
AT ITER 705 NEW BEST:: SOT 869407 SOS 554903 HAS SOPS 552762 HAS SOUS 135925 HAS SOUPS 135419 WITH SCORE 135973.903
AT ITER 706 NEW BEST:: SOT 869372 SOS 554545 HAS SOPS 552404 HAS SOUS 135891 HAS SOUPS 135385 WITH SCORE 135939.545
AT ITER 727 NEW BEST:: SOT 869286 SOS 554373 HAS SOPS 552232 HAS SOUS 135797 HAS SOUPS 135291 WITH SCORE 135845.373
AT ITER 730 NEW BEST:: SOT 869259 SOS 554319 HAS SOPS 552178 HAS SOUS 135760 HAS SOUPS 135254 WITH SCORE 135808.319
AT ITER 750 NEW BEST:: SOT 869199 SOS 554259 HAS SOPS 552118 HAS SOUS 135686 HAS SOUPS 135180 WITH SCORE 135734.259
AT ITER 757 NEW BEST:: SOT 869198 SOS 553885 HAS SOPS 551633 HAS SOUS 135654 HAS SOUPS 135037 WITH SCORE 135590.885
AT ITER 758 NEW BEST:: SOT 869192 SOS 553873 HAS SOPS 551621 HAS SOUS 135642 HAS SOUPS 135025 WITH SCORE 135578.873
AT ITER 764 NEW BEST:: SOT 869192 SOS 553873 HAS SOPS 551621 HAS SOUS 135603 HAS SOUPS 134986 WITH SCORE 135539.873
AT ITER 767 NEW BEST:: SOT 869181 SOS 553699 HAS SOPS 551447 HAS SOUS 135589 HAS SOUPS 134972 WITH SCORE 135525.699
AT ITER 776 NEW BEST:: SOT 869089 SOS 553607 HAS SOPS 551355 HAS SOUS 135405 HAS SOUPS 134788 WITH SCORE 135341.607
AT ITER 781 NEW BEST:: SOT 869067 SOS 553387 HAS SOPS 551135 HAS SOUS 135383 HAS SOUPS 134766 WITH SCORE 135319.387
AT ITER 782 NEW BEST:: SOT 868997 SOS 553317 HAS SOPS 551065 HAS SOUS 135313 HAS SOUPS 134696 WITH SCORE 135249.317
AT ITER 783 NEW BEST:: SOT 868984 SOS 553304 HAS SOPS 551052 HAS SOUS 135300 HAS SOUPS 134683 WITH SCORE 135236.304
AT ITER 785 NEW BEST:: SOT 868896 SOS 553216 HAS SOPS 550964 HAS SOUS 135124 HAS SOUPS 134507 WITH SCORE 135060.216
AT ITER 787 NEW BEST:: SOT 868757 SOS 551722 HAS SOPS 549470 HAS SOUS 134975 HAS SOUPS 134358 WITH SCORE 134909.722
AT ITER 793 NEW BEST:: SOT 868723 SOS 551502 HAS SOPS 549250 HAS SOUS 134926 HAS SOUPS 134309 WITH SCORE 134860.502
AT ITER 795 NEW BEST:: SOT 868668 SOS 551447 HAS SOPS 549195 HAS SOUS 134816 HAS SOUPS 134199 WITH SCORE 134750.447
AT ITER 832 NEW BEST:: SOT 868455 SOS 551234 HAS SOPS 548982 HAS SOUS 134504 HAS SOUPS 133887 WITH SCORE 134438.234
AT ITER 841 NEW BEST:: SOT 868581 SOS 550908 HAS SOPS 548605 HAS SOUS 134539 HAS SOUPS 133871 WITH SCORE 134421.908
AT ITER 846 NEW BEST:: SOT 868570 SOS 550897 HAS SOPS 548594 HAS SOUS 134519 HAS SOUPS 133851 WITH SCORE 134401.897
AT ITER 849 NEW BEST:: SOT 868535 SOS 550862 HAS SOPS 548559 HAS SOUS 134449 HAS SOUPS 133781 WITH SCORE 134331.862
AT ITER 856 NEW BEST:: SOT 872802 SOS 555129 HAS SOPS 552826 HAS SOUS 134424 HAS SOUPS 133756 WITH SCORE 134311.129
AT ITER 862 NEW BEST:: SOT 872771 SOS 555067 HAS SOPS 552764 HAS SOUS 134362 HAS SOUPS 133694 WITH SCORE 134249.067
AT ITER 873 NEW BEST:: SOT 875601 SOS 557897 HAS SOPS 555594 HAS SOUS 134114 HAS SOUPS 133446 WITH SCORE 134003.897
AT ITER 874 NEW BEST:: SOT 874024 SOS 556071 HAS SOPS 553768 HAS SOUS 134031 HAS SOUPS 133363 WITH SCORE 133919.071
AT ITER 879 NEW BEST:: SOT 873968 SOS 556043 HAS SOPS 553740 HAS SOUS 133947 HAS SOUPS 133279 WITH SCORE 133835.043
AT ITER 883 NEW BEST:: SOT 873961 SOS 556048 HAS SOPS 553733 HAS SOUS 133940 HAS SOUPS 133272 WITH SCORE 133828.048
AT ITER 885 NEW BEST:: SOT 873899 SOS 555986 HAS SOPS 553671 HAS SOUS 133863 HAS SOUPS 133195 WITH SCORE 133750.986
AT ITER 886 NEW BEST:: SOT 873782 SOS 555752 HAS SOPS 553437 HAS SOUS 133676 HAS SOUPS 133008 WITH SCORE 133563.752
AT ITER 894 NEW BEST:: SOT 873809 SOS 555635 HAS SOPS 553320 HAS SOUS 133559 HAS SOUPS 132891 WITH SCORE 133446.635
AT ITER 900 NEW BEST:: SOT 873736 SOS 555562 HAS SOPS 553247 HAS SOUS 133489 HAS SOUPS 132821 WITH SCORE 133376.562
AT ITER 902 NEW BEST:: SOT 873474 SOS 553710 HAS SOPS 551395 HAS SOUS 133105 HAS SOUPS 132437 WITH SCORE 132990.71
AT ITER 904 NEW BEST:: SOT 873448 SOS 552778 HAS SOPS 550463 HAS SOUS 133079 HAS SOUPS 132411 WITH SCORE 132963.778
AT ITER 912 NEW BEST:: SOT 873309 SOS 552639 HAS SOPS 550324 HAS SOUS 132788 HAS SOUPS 132120 WITH SCORE 132672.639
AT ITER 916 NEW BEST:: SOT 876151 SOS 555481 HAS SOPS 553166 HAS SOUS 132593 HAS SOUPS 131925 WITH SCORE 132480.481
AT ITER 926 NEW BEST:: SOT 876106 SOS 555391 HAS SOPS 553076 HAS SOUS 132541 HAS SOUPS 131873 WITH SCORE 132428.391
AT ITER 928 NEW BEST:: SOT 879116 SOS 558401 HAS SOPS 556086 HAS SOUS 132349 HAS SOUPS 131681 WITH SCORE 132239.401
AT ITER 929 NEW BEST:: SOT 879116 SOS 558301 HAS SOPS 555986 HAS SOUS 132339 HAS SOUPS 131671 WITH SCORE 132229.301
AT ITER 937 NEW BEST:: SOT 879019 SOS 558204 HAS SOPS 555889 HAS SOUS 132229 HAS SOUPS 131561 WITH SCORE 132119.204
AT ITER 940 NEW BEST:: SOT 878727 SOS 556356 HAS SOPS 554041 HAS SOUS 131796 HAS SOUPS 131128 WITH SCORE 131684.356
AT ITER 969 NEW BEST:: SOT 878723 SOS 556332 HAS SOPS 554017 HAS SOUS 131790 HAS SOUPS 131122 WITH SCORE 131678.332
AT ITER 989 NEW BEST:: SOT 878672 SOS 556558 HAS SOPS 554354 HAS SOUS 131563 HAS SOUPS 131006 WITH SCORE 131562.558
AT ITER 990 NEW BEST:: SOT 878590 SOS 555882 HAS SOPS 553678 HAS SOUS 131450 HAS SOUPS 130893 WITH SCORE 131448.882
AT ITER 999 NEW BEST:: SOT 878609 SOS 555901 HAS SOPS 553697 HAS SOUS 131389 HAS SOUPS 130832 WITH SCORE 131387.901
AT ITER 1003 NEW BEST:: SOT 878542 SOS 554999 HAS SOPS 552795 HAS SOUS 131340 HAS SOUPS 130783 WITH SCORE 131337.999
AT ITER 1004 NEW BEST:: SOT 878454 SOS 554471 HAS SOPS 552267 HAS SOUS 131208 HAS SOUPS 130651 WITH SCORE 131205.471
AT ITER 1023 NEW BEST:: SOT 878398 SOS 554415 HAS SOPS 552211 HAS SOUS 131119 HAS SOUPS 130562 WITH SCORE 131116.415
AT ITER 1030 NEW BEST:: SOT 878314 SOS 554247 HAS SOPS 552043 HAS SOUS 131035 HAS SOUPS 130478 WITH SCORE 131032.247
AT ITER 1041 NEW BEST:: SOT 878311 SOS 554244 HAS SOPS 552040 HAS SOUS 131029 HAS SOUPS 130472 WITH SCORE 131026.244
AT ITER 1069 NEW BEST:: SOT 878227 SOS 554076 HAS SOPS 551872 HAS SOUS 130938 HAS SOUPS 130381 WITH SCORE 130935.076
AT ITER 1077 NEW BEST:: SOT 878127 SOS 553876 HAS SOPS 551672 HAS SOUS 130822 HAS SOUPS 130265 WITH SCORE 130818.876
AT ITER 1080 NEW BEST:: SOT 878070 SOS 553762 HAS SOPS 551558 HAS SOUS 130758 HAS SOUPS 130201 WITH SCORE 130754.762
AT ITER 1088 NEW BEST:: SOT 878057 SOS 553736 HAS SOPS 551532 HAS SOUS 130732 HAS SOUPS 130175 WITH SCORE 130728.736
AT ITER 1096 NEW BEST:: SOT 878057 SOS 553736 HAS SOPS 551532 HAS SOUS 130708 HAS SOUPS 130151 WITH SCORE 130704.736
AT ITER 1101 NEW BEST:: SOT 878023 SOS 553532 HAS SOPS 551328 HAS SOUS 130657 HAS SOUPS 130100 WITH SCORE 130653.532
AT ITER 1102 NEW BEST:: SOT 878001 SOS 553510 HAS SOPS 551306 HAS SOUS 130613 HAS SOUPS 130056 WITH SCORE 130609.51
AT ITER 1110 NEW BEST:: SOT 877940 SOS 553449 HAS SOPS 551245 HAS SOUS 130555 HAS SOUPS 129998 WITH SCORE 130551.449
AT ITER 1125 NEW BEST:: SOT 877882 SOS 553391 HAS SOPS 551187 HAS SOUS 130489 HAS SOUPS 129932 WITH SCORE 130485.391
AT ITER 1146 NEW BEST:: SOT 877712 SOS 553221 HAS SOPS 551102 HAS SOUS 130219 HAS SOUPS 129747 WITH SCORE 130300.221
AT ITER 1160 NEW BEST:: SOT 877686 SOS 553195 HAS SOPS 551076 HAS SOUS 130193 HAS SOUPS 129721 WITH SCORE 130274.195
AT ITER 1185 NEW BEST:: SOT 877630 SOS 553139 HAS SOPS 551020 HAS SOUS 130137 HAS SOUPS 129665 WITH SCORE 130218.139
AT ITER 1187 NEW BEST:: SOT 877443 SOS 552991 HAS SOPS 550872 HAS SOUS 129973 HAS SOUPS 129501 WITH SCORE 130053.991
AT ITER 1199 NEW BEST:: SOT 877430 SOS 553069 HAS SOPS 550950 HAS SOUS 129953 HAS SOUPS 129481 WITH SCORE 130034.069
AT ITER 1202 NEW BEST:: SOT 877342 SOS 551765 HAS SOPS 549646 HAS SOUS 129838 HAS SOUPS 129366 WITH SCORE 129917.765
AT ITER 1220 NEW BEST:: SOT 877371 SOS 551710 HAS SOPS 549591 HAS SOUS 129812 HAS SOUPS 129340 WITH SCORE 129891.71
AT ITER 1230 NEW BEST:: SOT 877252 SOS 550984 HAS SOPS 548865 HAS SOUS 129635 HAS SOUPS 129163 WITH SCORE 129713.984
AT ITER 1239 NEW BEST:: SOT 877252 SOS 550768 HAS SOPS 548649 HAS SOUS 129635 HAS SOUPS 129163 WITH SCORE 129713.768
AT ITER 1240 NEW BEST:: SOT 877840 SOS 551356 HAS SOPS 549237 HAS SOUS 129431 HAS SOUPS 128959 WITH SCORE 129510.356
AT ITER 1244 NEW BEST:: SOT 877766 SOS 550000 HAS SOPS 547881 HAS SOUS 129357 HAS SOUPS 128885 WITH SCORE 129435.0
AT ITER 1258 NEW BEST:: SOT 877694 SOS 549856 HAS SOPS 547737 HAS SOUS 129213 HAS SOUPS 128741 WITH SCORE 129290.856
AT ITER 1262 NEW BEST:: SOT 877633 SOS 549877 HAS SOPS 547758 HAS SOUS 129203 HAS SOUPS 128731 WITH SCORE 129280.877
AT ITER 1264 NEW BEST:: SOT 877501 SOS 548685 HAS SOPS 546566 HAS SOUS 129055 HAS SOUPS 128583 WITH SCORE 129131.685
AT ITER 1265 NEW BEST:: SOT 877411 SOS 548595 HAS SOPS 546476 HAS SOUS 128886 HAS SOUPS 128414 WITH SCORE 128962.595
AT ITER 1278 NEW BEST:: SOT 877377 SOS 549239 HAS SOPS 547120 HAS SOUS 128852 HAS SOUPS 128380 WITH SCORE 128929.239
AT ITER 1288 NEW BEST:: SOT 877351 SOS 549187 HAS SOPS 547068 HAS SOUS 128800 HAS SOUPS 128328 WITH SCORE 128877.187
AT ITER 1301 NEW BEST:: SOT 877348 SOS 549181 HAS SOPS 547062 HAS SOUS 128794 HAS SOUPS 128322 WITH SCORE 128871.181
AT ITER 1316 NEW BEST:: SOT 877348 SOS 549120 HAS SOPS 546391 HAS SOUS 128855 HAS SOUPS 128322 WITH SCORE 128871.12
AT ITER 1324 NEW BEST:: SOT 877246 SOS 548916 HAS SOPS 546187 HAS SOUS 128702 HAS SOUPS 128169 WITH SCORE 128717.916
AT ITER 1330 NEW BEST:: SOT 877007 SOS 548699 HAS SOPS 545970 HAS SOUS 128370 HAS SOUPS 127837 WITH SCORE 128385.699
AT ITER 1343 NEW BEST:: SOT 877006 SOS 548698 HAS SOPS 545969 HAS SOUS 128368 HAS SOUPS 127835 WITH SCORE 128383.698
AT ITER 1360 NEW BEST:: SOT 877006 SOS 548434 HAS SOPS 545705 HAS SOUS 128368 HAS SOUPS 127835 WITH SCORE 128383.434
AT ITER 1366 NEW BEST:: SOT 877001 SOS 548429 HAS SOPS 545700 HAS SOUS 128358 HAS SOUPS 127825 WITH SCORE 128373.429
AT ITER 1372 NEW BEST:: SOT 877016 SOS 548444 HAS SOPS 545715 HAS SOUS 128286 HAS SOUPS 127753 WITH SCORE 128301.444
AT ITER 1392 NEW BEST:: SOT 876981 SOS 548094 HAS SOPS 545365 HAS SOUS 128251 HAS SOUPS 127718 WITH SCORE 128266.094
AT ITER 1403 NEW BEST:: SOT 876792 SOS 547905 HAS SOPS 545176 HAS SOUS 127963 HAS SOUPS 127430 WITH SCORE 127977.905
AT ITER 1409 NEW BEST:: SOT 876637 SOS 547743 HAS SOPS 545014 HAS SOUS 127959 HAS SOUPS 127426 WITH SCORE 127973.743
AT ITER 1429 NEW BEST:: SOT 875725 SOS 546708 HAS SOPS 543958 HAS SOUS 127932 HAS SOUPS 127378 WITH SCORE 127924.708
AT ITER 1436 NEW BEST:: SOT 875903 SOS 545835 HAS SOPS 543085 HAS SOUS 127907 HAS SOUPS 127353 WITH SCORE 127898.835
AT ITER 1449 NEW BEST:: SOT 875759 SOS 545667 HAS SOPS 542917 HAS SOUS 127907 HAS SOUPS 127353 WITH SCORE 127898.667
AT ITER 1471 NEW BEST:: SOT 875748 SOS 545645 HAS SOPS 542895 HAS SOUS 127905 HAS SOUPS 127351 WITH SCORE 127896.645
AT ITER 1496 NEW BEST:: SOT 875748 SOS 545365 HAS SOPS 542615 HAS SOUS 127905 HAS SOUPS 127351 WITH SCORE 127896.365
AT ITER 1502 NEW BEST:: SOT 875698 SOS 545265 HAS SOPS 542515 HAS SOUS 127855 HAS SOUPS 127301 WITH SCORE 127846.265
AT ITER 1513 NEW BEST:: SOT 875698 SOS 545089 HAS SOPS 542339 HAS SOUS 127855 HAS SOUPS 127301 WITH SCORE 127846.089
AT ITER 1537 NEW BEST:: SOT 875641 SOS 545032 HAS SOPS 542282 HAS SOUS 127798 HAS SOUPS 127244 WITH SCORE 127789.032
AT ITER 1570 NEW BEST:: SOT 875610 SOS 545001 HAS SOPS 542251 HAS SOUS 127782 HAS SOUPS 127228 WITH SCORE 127773.001
AT ITER 1584 NEW BEST:: SOT 875587 SOS 545075 HAS SOPS 542325 HAS SOUS 127764 HAS SOUPS 127210 WITH SCORE 127755.075
AT ITER 1618 NEW BEST:: SOT 875565 SOS 544911 HAS SOPS 542161 HAS SOUS 127735 HAS SOUPS 127181 WITH SCORE 127725.911
AT ITER 1631 NEW BEST:: SOT 875447 SOS 543763 HAS SOPS 541013 HAS SOUS 127611 HAS SOUPS 127057 WITH SCORE 127600.763
AT ITER 1638 NEW BEST:: SOT 875087 SOS 543383 HAS SOPS 540653 HAS SOUS 127571 HAS SOUPS 127037 WITH SCORE 127580.383
AT ITER 1668 NEW BEST:: SOT 875186 SOS 542733 HAS SOPS 540003 HAS SOUS 127521 HAS SOUPS 126987 WITH SCORE 127529.733
AT ITER 1697 NEW BEST:: SOT 875087 SOS 542634 HAS SOPS 539904 HAS SOUS 127323 HAS SOUPS 126789 WITH SCORE 127331.634
AT ITER 1701 NEW BEST:: SOT 875039 SOS 542586 HAS SOPS 539856 HAS SOUS 127284 HAS SOUPS 126750 WITH SCORE 127292.586
AT ITER 1704 NEW BEST:: SOT 874965 SOS 542142 HAS SOPS 539412 HAS SOUS 127173 HAS SOUPS 126639 WITH SCORE 127181.142
AT ITER 1705 NEW BEST:: SOT 874945 SOS 542022 HAS SOPS 539292 HAS SOUS 127143 HAS SOUPS 126609 WITH SCORE 127151.022
AT ITER 1709 NEW BEST:: SOT 874940 SOS 542017 HAS SOPS 539287 HAS SOUS 127133 HAS SOUPS 126599 WITH SCORE 127141.017
AT ITER 1715 NEW BEST:: SOT 874938 SOS 542509 HAS SOPS 539779 HAS SOUS 127131 HAS SOUPS 126597 WITH SCORE 127139.509
AT ITER 1721 NEW BEST:: SOT 873543 SOS 541169 HAS SOPS 538384 HAS SOUS 125788 HAS SOUPS 125199 WITH SCORE 125740.169
AT ITER 1724 NEW BEST:: SOT 873511 SOS 538667 HAS SOPS 538353 HAS SOUS 125152 HAS SOUPS 124838 WITH SCORE 125376.667
AT ITER 1727 NEW BEST:: SOT 873425 SOS 538581 HAS SOPS 538267 HAS SOUS 124980 HAS SOUPS 124666 WITH SCORE 125204.581
AT ITER 1735 NEW BEST:: SOT 873342 SOS 538498 HAS SOPS 538206 HAS SOUS 124897 HAS SOUPS 124605 WITH SCORE 125143.498
AT ITER 1754 NEW BEST:: SOT 873328 SOS 538484 HAS SOPS 538160 HAS SOUS 124895 HAS SOUPS 124571 WITH SCORE 125109.484
AT ITER 1767 NEW BEST:: SOT 873285 SOS 538441 HAS SOPS 538117 HAS SOUS 124815 HAS SOUPS 124491 WITH SCORE 125029.441
AT ITER 1773 NEW BEST:: SOT 873300 SOS 539202 HAS SOPS 538878 HAS SOUS 124805 HAS SOUPS 124481 WITH SCORE 125020.202
AT ITER 1778 NEW BEST:: SOT 873283 SOS 539168 HAS SOPS 538844 HAS SOUS 124788 HAS SOUPS 124464 WITH SCORE 125003.168
AT ITER 1782 NEW BEST:: SOT 873267 SOS 539152 HAS SOPS 538828 HAS SOUS 124756 HAS SOUPS 124432 WITH SCORE 124971.152
AT ITER 1797 NEW BEST:: SOT 873233 SOS 539118 HAS SOPS 538794 HAS SOUS 124722 HAS SOUPS 124398 WITH SCORE 124937.118
AT ITER 1808 NEW BEST:: SOT 873272 SOS 538714 HAS SOPS 538229 HAS SOUS 124745 HAS SOUPS 124260 WITH SCORE 124798.714
AT ITER 1836 NEW BEST:: SOT 873170 SOS 538510 HAS SOPS 538025 HAS SOUS 124547 HAS SOUPS 124062 WITH SCORE 124600.51
AT ITER 1859 NEW BEST:: SOT 873164 SOS 538504 HAS SOPS 538019 HAS SOUS 124541 HAS SOUPS 124056 WITH SCORE 124594.504
AT ITER 1881 NEW BEST:: SOT 873160 SOS 538496 HAS SOPS 538011 HAS SOUS 124536 HAS SOUPS 124051 WITH SCORE 124589.496
AT ITER 1909 NEW BEST:: SOT 873148 SOS 538472 HAS SOPS 537987 HAS SOUS 124534 HAS SOUPS 124049 WITH SCORE 124587.472
AT ITER 1919 NEW BEST:: SOT 873148 SOS 538312 HAS SOPS 537827 HAS SOUS 124534 HAS SOUPS 124049 WITH SCORE 124587.312
AT ITER 1925 NEW BEST:: SOT 873120 SOS 538284 HAS SOPS 537799 HAS SOUS 124478 HAS SOUPS 123993 WITH SCORE 124531.284
AT ITER 1926 NEW BEST:: SOT 873129 SOS 538263 HAS SOPS 537701 HAS SOUS 124457 HAS SOUPS 123895 WITH SCORE 124433.263
AT ITER 1945 NEW BEST:: SOT 873129 SOS 538327 HAS SOPS 537765 HAS SOUS 124395 HAS SOUPS 123833 WITH SCORE 124371.327
AT ITER 1954 NEW BEST:: SOT 873110 SOS 538308 HAS SOPS 537746 HAS SOUS 124376 HAS SOUPS 123814 WITH SCORE 124352.308
AT ITER 1975 NEW BEST:: SOT 873074 SOS 538191 HAS SOPS 537629 HAS SOUS 124313 HAS SOUPS 123751 WITH SCORE 124289.191
AT ITER 1986 NEW BEST:: SOT 873046 SOS 538163 HAS SOPS 537601 HAS SOUS 124233 HAS SOUPS 123671 WITH SCORE 124209.163
AT ITER 1987 NEW BEST:: SOT 872946 SOS 537963 HAS SOPS 537401 HAS SOUS 124033 HAS SOUPS 123471 WITH SCORE 124008.963
AT ITER 2009 NEW BEST:: SOT 872924 SOS 537941 HAS SOPS 537421 HAS SOUS 123989 HAS SOUPS 123469 WITH SCORE 124006.941
AT ITER 2011 NEW BEST:: SOT 872932 SOS 537949 HAS SOPS 537429 HAS SOUS 123936 HAS SOUPS 123416 WITH SCORE 123953.949
AT ITER 2025 NEW BEST:: SOT 872945 SOS 537926 HAS SOPS 537406 HAS SOUS 123913 HAS SOUPS 123393 WITH SCORE 123930.926
AT ITER 2035 NEW BEST:: SOT 872899 SOS 537834 HAS SOPS 537314 HAS SOUS 123821 HAS SOUPS 123301 WITH SCORE 123838.834
AT ITER 2051 NEW BEST:: SOT 872830 SOS 537765 HAS SOPS 537245 HAS SOUS 123714 HAS SOUPS 123194 WITH SCORE 123731.765
AT ITER 2052 NEW BEST:: SOT 872794 SOS 537261 HAS SOPS 536741 HAS SOUS 123679 HAS SOUPS 123159 WITH SCORE 123696.261
AT ITER 2058 NEW BEST:: SOT 872759 SOS 537191 HAS SOPS 536671 HAS SOUS 123609 HAS SOUPS 123089 WITH SCORE 123626.191
AT ITER 2075 NEW BEST:: SOT 872752 SOS 537184 HAS SOPS 536664 HAS SOUS 123560 HAS SOUPS 123040 WITH SCORE 123577.184
AT ITER 2078 NEW BEST:: SOT 872745 SOS 537170 HAS SOPS 536650 HAS SOUS 123553 HAS SOUPS 123033 WITH SCORE 123570.17
AT ITER 2115 NEW BEST:: SOT 872743 SOS 537166 HAS SOPS 536646 HAS SOUS 123547 HAS SOUPS 123027 WITH SCORE 123564.166
AT ITER 2116 NEW BEST:: SOT 872727 SOS 537134 HAS SOPS 536614 HAS SOUS 123519 HAS SOUPS 122999 WITH SCORE 123536.134
AT ITER 2117 NEW BEST:: SOT 872581 SOS 536842 HAS SOPS 536322 HAS SOUS 123289 HAS SOUPS 122769 WITH SCORE 123305.842
AT ITER 2127 NEW BEST:: SOT 872558 SOS 536845 HAS SOPS 536325 HAS SOUS 122772 HAS SOUPS 122252 WITH SCORE 122788.845
AT ITER 2149 NEW BEST:: SOT 872558 SOS 536845 HAS SOPS 536325 HAS SOUS 122711 HAS SOUPS 122191 WITH SCORE 122727.845
AT ITER 2150 NEW BEST:: SOT 872494 SOS 535925 HAS SOPS 535405 HAS SOUS 122682 HAS SOUPS 122162 WITH SCORE 122697.925
AT ITER 2152 NEW BEST:: SOT 872212 SOS 535924 HAS SOPS 535404 HAS SOUS 122590 HAS SOUPS 122070 WITH SCORE 122605.924
AT ITER 2168 NEW BEST:: SOT 872156 SOS 535812 HAS SOPS 535292 HAS SOUS 122478 HAS SOUPS 121958 WITH SCORE 122493.812
AT ITER 2173 NEW BEST:: SOT 872154 SOS 535810 HAS SOPS 535290 HAS SOUS 122476 HAS SOUPS 121956 WITH SCORE 122491.81
AT ITER 2196 NEW BEST:: SOT 872143 SOS 520355 HAS SOPS 519835 HAS SOUS 122465 HAS SOUPS 121945 WITH SCORE 122465.355
AT ITER 2212 NEW BEST:: SOT 871972 SOS 520184 HAS SOPS 519664 HAS SOUS 122278 HAS SOUPS 121758 WITH SCORE 122278.184
AT ITER 2231 NEW BEST:: SOT 871863 SOS 518734 HAS SOPS 518214 HAS SOUS 122130 HAS SOUPS 121610 WITH SCORE 122128.734
AT ITER 2243 NEW BEST:: SOT 871825 SOS 518354 HAS SOPS 517834 HAS SOUS 122091 HAS SOUPS 121571 WITH SCORE 122089.354
AT ITER 2255 NEW BEST:: SOT 871709 SOS 515216 HAS SOPS 514696 HAS SOUS 122033 HAS SOUPS 121513 WITH SCORE 122028.216
AT ITER 2274 NEW BEST:: SOT 871715 SOS 515213 HAS SOPS 514693 HAS SOUS 122030 HAS SOUPS 121510 WITH SCORE 122025.213
AT ITER 2296 NEW BEST:: SOT 871700 SOS 515198 HAS SOPS 514678 HAS SOUS 122015 HAS SOUPS 121495 WITH SCORE 122010.198
AT ITER 2306 NEW BEST:: SOT 871621 SOS 515119 HAS SOPS 514599 HAS SOUS 121867 HAS SOUPS 121347 WITH SCORE 121862.119
AT ITER 2321 NEW BEST:: SOT 871608 SOS 515093 HAS SOPS 514573 HAS SOUS 121841 HAS SOUPS 121321 WITH SCORE 121836.093
AT ITER 2324 NEW BEST:: SOT 871599 SOS 515075 HAS SOPS 514555 HAS SOUS 121823 HAS SOUPS 121303 WITH SCORE 121818.075
AT ITER 2341 NEW BEST:: SOT 871599 SOS 515075 HAS SOPS 514555 HAS SOUS 121816 HAS SOUPS 121296 WITH SCORE 121811.075
AT ITER 2347 NEW BEST:: SOT 871533 SOS 515009 HAS SOPS 514489 HAS SOUS 121750 HAS SOUPS 121230 WITH SCORE 121745.009
AT ITER 2349 NEW BEST:: SOT 871502 SOS 514978 HAS SOPS 514458 HAS SOUS 121688 HAS SOUPS 121168 WITH SCORE 121682.978
AT ITER 2372 NEW BEST:: SOT 871476 SOS 514952 HAS SOPS 514432 HAS SOUS 121636 HAS SOUPS 121116 WITH SCORE 121630.952
AT ITER 2394 NEW BEST:: SOT 871474 SOS 514930 HAS SOPS 514410 HAS SOUS 121632 HAS SOUPS 121112 WITH SCORE 121626.93
AT ITER 2396 NEW BEST:: SOT 871474 SOS 514930 HAS SOPS 514410 HAS SOUS 121596 HAS SOUPS 121076 WITH SCORE 121590.93
AT ITER 2408 NEW BEST:: SOT 871292 SOS 513782 HAS SOPS 513262 HAS SOUS 121330 HAS SOUPS 120810 WITH SCORE 121323.782
AT ITER 2414 NEW BEST:: SOT 871283 SOS 513786 HAS SOPS 513244 HAS SOUS 121335 HAS SOUPS 120793 WITH SCORE 121306.786
AT ITER 2420 NEW BEST:: SOT 871261 SOS 513764 HAS SOPS 513222 HAS SOUS 121291 HAS SOUPS 120749 WITH SCORE 121262.764
AT ITER 2428 NEW BEST:: SOT 871252 SOS 513746 HAS SOPS 513204 HAS SOUS 121273 HAS SOUPS 120731 WITH SCORE 121244.746
AT ITER 2430 NEW BEST:: SOT 871252 SOS 513718 HAS SOPS 513124 HAS SOUS 121245 HAS SOUPS 120651 WITH SCORE 121164.718
AT ITER 2455 NEW BEST:: SOT 871221 SOS 513656 HAS SOPS 513062 HAS SOUS 121204 HAS SOUPS 120610 WITH SCORE 121123.656
AT ITER 2482 NEW BEST:: SOT 871174 SOS 513656 HAS SOPS 513062 HAS SOUS 121157 HAS SOUPS 120563 WITH SCORE 121076.656
AT ITER 2494 NEW BEST:: SOT 871139 SOS 513621 HAS SOPS 513027 HAS SOUS 121087 HAS SOUPS 120493 WITH SCORE 121006.621
AT ITER 2567 NEW BEST:: SOT 871116 SOS 513599 HAS SOPS 513005 HAS SOUS 121065 HAS SOUPS 120471 WITH SCORE 120984.599
AT ITER 2579 NEW BEST:: SOT 871109 SOS 513585 HAS SOPS 512991 HAS SOUS 121051 HAS SOUPS 120457 WITH SCORE 120970.585
AT ITER 2609 NEW BEST:: SOT 872109 SOS 514585 HAS SOPS 513991 HAS SOUS 121022 HAS SOUPS 120428 WITH SCORE 120942.585
AT ITER 2612 NEW BEST:: SOT 872053 SOS 514025 HAS SOPS 513431 HAS SOUS 120966 HAS SOUPS 120372 WITH SCORE 120886.025
AT ITER 2644 NEW BEST:: SOT 871996 SOS 513968 HAS SOPS 513374 HAS SOUS 120876 HAS SOUPS 120282 WITH SCORE 120795.968
AT ITER 2655 NEW BEST:: SOT 873544 SOS 515516 HAS SOPS 514922 HAS SOUS 120790 HAS SOUPS 120196 WITH SCORE 120711.516
AT ITER 2659 NEW BEST:: SOT 873528 SOS 515484 HAS SOPS 514890 HAS SOUS 120769 HAS SOUPS 120175 WITH SCORE 120690.484
AT ITER 2675 NEW BEST:: SOT 872559 SOS 514515 HAS SOPS 513921 HAS SOUS 120725 HAS SOUPS 120131 WITH SCORE 120645.515
AT ITER 2711 NEW BEST:: SOT 872481 SOS 513295 HAS SOPS 512701 HAS SOUS 120647 HAS SOUPS 120053 WITH SCORE 120566.295
AT ITER 2742 NEW BEST:: SOT 872477 SOS 513287 HAS SOPS 512693 HAS SOUS 120639 HAS SOUPS 120045 WITH SCORE 120558.287
AT ITER 2757 NEW BEST:: SOT 872429 SOS 512687 HAS SOPS 512093 HAS SOUS 120551 HAS SOUPS 119957 WITH SCORE 120469.687
AT ITER 2772 NEW BEST:: SOT 872293 SOS 511559 HAS SOPS 510965 HAS SOUS 120368 HAS SOUPS 119774 WITH SCORE 120285.559
AT ITER 2800 NEW BEST:: SOT 872289 SOS 511519 HAS SOPS 510925 HAS SOUS 120364 HAS SOUPS 119770 WITH SCORE 120281.519
AT ITER 2822 NEW BEST:: SOT 872208 SOS 511438 HAS SOPS 510948 HAS SOUS 120075 HAS SOUPS 119585 WITH SCORE 120096.438
AT ITER 2838 NEW BEST:: SOT 872204 SOS 511414 HAS SOPS 510924 HAS SOUS 120069 HAS SOUPS 119579 WITH SCORE 120090.414
AT ITER 2840 NEW BEST:: SOT 872187 SOS 511397 HAS SOPS 510907 HAS SOUS 119965 HAS SOUPS 119475 WITH SCORE 119986.397
AT ITER 2862 NEW BEST:: SOT 872166 SOS 511166 HAS SOPS 510676 HAS SOUS 119923 HAS SOUPS 119433 WITH SCORE 119944.166
AT ITER 2926 NEW BEST:: SOT 872120 SOS 511139 HAS SOPS 510593 HAS SOUS 119951 HAS SOUPS 119424 WITH SCORE 119935.139
AT ITER 2932 NEW BEST:: SOT 872120 SOS 511089 HAS SOPS 510543 HAS SOUS 119946 HAS SOUPS 119419 WITH SCORE 119930.089
AT ITER 2947 NEW BEST:: SOT 872120 SOS 511083 HAS SOPS 510537 HAS SOUS 119943 HAS SOUPS 119416 WITH SCORE 119927.083
AT ITER 2961 NEW BEST:: SOT 872046 SOS 511009 HAS SOPS 510463 HAS SOUS 119901 HAS SOUPS 119374 WITH SCORE 119885.009
AT ITER 2972 NEW BEST:: SOT 872041 SOS 510999 HAS SOPS 510453 HAS SOUS 119896 HAS SOUPS 119369 WITH SCORE 119879.999
AT ITER 2976 NEW BEST:: SOT 872016 SOS 510749 HAS SOPS 510203 HAS SOUS 119871 HAS SOUPS 119344 WITH SCORE 119854.749
AT ITER 2981 NEW BEST:: SOT 872016 SOS 509909 HAS SOPS 509363 HAS SOUS 119871 HAS SOUPS 119344 WITH SCORE 119853.909
AT ITER 2982 NEW BEST:: SOT 872003 SOS 510026 HAS SOPS 509480 HAS SOUS 119858 HAS SOUPS 119331 WITH SCORE 119841.026
AT ITER 2989 NEW BEST:: SOT 871935 SOS 508906 HAS SOPS 508360 HAS SOUS 119845 HAS SOUPS 119318 WITH SCORE 119826.906
AT ITER 2993 NEW BEST:: SOT 871915 SOS 508886 HAS SOPS 508340 HAS SOUS 119825 HAS SOUPS 119298 WITH SCORE 119806.886
AT ITER 2995 NEW BEST:: SOT 871829 SOS 508800 HAS SOPS 508254 HAS SOUS 119664 HAS SOUPS 119137 WITH SCORE 119645.8
AT ITER 3005 NEW BEST:: SOT 871776 SOS 508694 HAS SOPS 508148 HAS SOUS 119603 HAS SOUPS 119076 WITH SCORE 119584.694
AT ITER 3007 NEW BEST:: SOT 871706 SOS 508771 HAS SOPS 508225 HAS SOUS 119592 HAS SOUPS 119065 WITH SCORE 119573.771
AT ITER 3008 NEW BEST:: SOT 871719 SOS 508784 HAS SOPS 508238 HAS SOUS 119551 HAS SOUPS 119024 WITH SCORE 119532.784
AT ITER 3054 NEW BEST:: SOT 871687 SOS 508784 HAS SOPS 508238 HAS SOUS 119519 HAS SOUPS 118992 WITH SCORE 119500.784
AT ITER 3063 NEW BEST:: SOT 871599 SOS 508608 HAS SOPS 508062 HAS SOUS 119398 HAS SOUPS 118871 WITH SCORE 119379.608
AT ITER 3064 NEW BEST:: SOT 871553 SOS 508504 HAS SOPS 507929 HAS SOUS 119381 HAS SOUPS 118825 WITH SCORE 119333.504
AT ITER 3087 NEW BEST:: SOT 871532 SOS 508462 HAS SOPS 507887 HAS SOUS 119360 HAS SOUPS 118804 WITH SCORE 119312.462
AT ITER 3125 NEW BEST:: SOT 871532 SOS 507832 HAS SOPS 507257 HAS SOUS 119297 HAS SOUPS 118741 WITH SCORE 119248.832
AT ITER 3145 NEW BEST:: SOT 871489 SOS 507789 HAS SOPS 507214 HAS SOUS 119223 HAS SOUPS 118667 WITH SCORE 119174.789
AT ITER 3152 NEW BEST:: SOT 871071 SOS 507349 HAS SOPS 506796 HAS SOUS 119179 HAS SOUPS 118645 WITH SCORE 119152.349
AT ITER 3163 NEW BEST:: SOT 871068 SOS 507346 HAS SOPS 506793 HAS SOUS 119173 HAS SOUPS 118639 WITH SCORE 119146.346
AT ITER 3185 NEW BEST:: SOT 871103 SOS 507381 HAS SOPS 506828 HAS SOUS 119121 HAS SOUPS 118587 WITH SCORE 119094.381
AT ITER 3205 NEW BEST:: SOT 871037 SOS 506297 HAS SOPS 505744 HAS SOUS 119077 HAS SOUPS 118543 WITH SCORE 119049.297
AT ITER 3264 NEW BEST:: SOT 871028 SOS 506293 HAS SOPS 505726 HAS SOUS 119059 HAS SOUPS 118525 WITH SCORE 119031.293
AT ITER 3293 NEW BEST:: SOT 871028 SOS 506084 HAS SOPS 505517 HAS SOUS 119059 HAS SOUPS 118525 WITH SCORE 119031.084
AT ITER 3332 NEW BEST:: SOT 871019 SOS 506075 HAS SOPS 505508 HAS SOUS 119050 HAS SOUPS 118516 WITH SCORE 119022.075
AT ITER 3348 NEW BEST:: SOT 870977 SOS 505990 HAS SOPS 505423 HAS SOUS 118988 HAS SOUPS 118454 WITH SCORE 118959.99
AT ITER 3356 NEW BEST:: SOT 870957 SOS 505970 HAS SOPS 505403 HAS SOUS 118968 HAS SOUPS 118434 WITH SCORE 118939.97
AT ITER 3361 NEW BEST:: SOT 869355 SOS 504368 HAS SOPS 503801 HAS SOUS 118968 HAS SOUPS 118434 WITH SCORE 118938.368
AT ITER 3369 NEW BEST:: SOT 869352 SOS 504365 HAS SOPS 503798 HAS SOUS 118965 HAS SOUPS 118431 WITH SCORE 118935.365
AT ITER 3370 NEW BEST:: SOT 869302 SOS 504265 HAS SOPS 503698 HAS SOUS 118865 HAS SOUPS 118331 WITH SCORE 118835.265
AT ITER 3394 NEW BEST:: SOT 869302 SOS 503990 HAS SOPS 503423 HAS SOUS 118821 HAS SOUPS 118287 WITH SCORE 118790.99
AT ITER 3402 NEW BEST:: SOT 869294 SOS 503718 HAS SOPS 503151 HAS SOUS 118813 HAS SOUPS 118279 WITH SCORE 118782.718
AT ITER 3464 NEW BEST:: SOT 869255 SOS 503248 HAS SOPS 502681 HAS SOUS 118768 HAS SOUPS 118234 WITH SCORE 118737.248
AT ITER 3490 NEW BEST:: SOT 869256 SOS 503249 HAS SOPS 502682 HAS SOUS 118761 HAS SOUPS 118227 WITH SCORE 118730.249
AT ITER 3517 NEW BEST:: SOT 869256 SOS 503537 HAS SOPS 502970 HAS SOUS 118725 HAS SOUPS 118191 WITH SCORE 118694.537
AT ITER 3529 NEW BEST:: SOT 869250 SOS 502661 HAS SOPS 502094 HAS SOUS 118719 HAS SOUPS 118185 WITH SCORE 118687.661
AT ITER 3536 NEW BEST:: SOT 869219 SOS 503247 HAS SOPS 502680 HAS SOUS 118651 HAS SOUPS 118117 WITH SCORE 118620.247
AT ITER 3578 NEW BEST:: SOT 869108 SOS 502193 HAS SOPS 501626 HAS SOUS 118488 HAS SOUPS 117954 WITH SCORE 118456.193
AT ITER 3580 NEW BEST:: SOT 869092 SOS 502161 HAS SOPS 501594 HAS SOUS 118468 HAS SOUPS 117934 WITH SCORE 118436.161
AT ITER 3582 NEW BEST:: SOT 869074 SOS 502143 HAS SOPS 501576 HAS SOUS 118450 HAS SOUPS 117916 WITH SCORE 118418.143
AT ITER 3583 NEW BEST:: SOT 869018 SOS 502087 HAS SOPS 501520 HAS SOUS 118342 HAS SOUPS 117808 WITH SCORE 118310.087
AT ITER 3591 NEW BEST:: SOT 869018 SOS 502006 HAS SOPS 501439 HAS SOUS 118342 HAS SOUPS 117808 WITH SCORE 118310.006
AT ITER 3602 NEW BEST:: SOT 868972 SOS 501914 HAS SOPS 501347 HAS SOUS 118250 HAS SOUPS 117716 WITH SCORE 118217.914
AT ITER 3635 NEW BEST:: SOT 868940 SOS 501850 HAS SOPS 501283 HAS SOUS 118218 HAS SOUPS 117684 WITH SCORE 118185.85
AT ITER 3681 NEW BEST:: SOT 868898 SOS 501808 HAS SOPS 501241 HAS SOUS 118134 HAS SOUPS 117600 WITH SCORE 118101.808
AT ITER 3685 NEW BEST:: SOT 868586 SOS 501496 HAS SOPS 500929 HAS SOUS 117822 HAS SOUPS 117288 WITH SCORE 117789.496
AT ITER 3689 NEW BEST:: SOT 868582 SOS 501492 HAS SOPS 500925 HAS SOUS 117814 HAS SOUPS 117280 WITH SCORE 117781.492
AT ITER 3725 NEW BEST:: SOT 868579 SOS 501489 HAS SOPS 500922 HAS SOUS 117808 HAS SOUPS 117274 WITH SCORE 117775.489
AT ITER 3734 NEW BEST:: SOT 868538 SOS 501448 HAS SOPS 500881 HAS SOUS 117727 HAS SOUPS 117193 WITH SCORE 117694.448
AT ITER 3735 NEW BEST:: SOT 868560 SOS 501387 HAS SOPS 500903 HAS SOUS 117642 HAS SOUPS 117158 WITH SCORE 117659.387
AT ITER 3746 NEW BEST:: SOT 868460 SOS 500723 HAS SOPS 500239 HAS SOUS 117500 HAS SOUPS 117016 WITH SCORE 117516.723
AT ITER 3747 NEW BEST:: SOT 868460 SOS 500643 HAS SOPS 500159 HAS SOUS 117500 HAS SOUPS 117016 WITH SCORE 117516.643
AT ITER 3762 NEW BEST:: SOT 868453 SOS 500636 HAS SOPS 500152 HAS SOUS 117493 HAS SOUPS 117009 WITH SCORE 117509.636
AT ITER 3764 NEW BEST:: SOT 870018 SOS 502201 HAS SOPS 501717 HAS SOUS 117452 HAS SOUPS 116968 WITH SCORE 117470.201
AT ITER 3765 NEW BEST:: SOT 869972 SOS 502155 HAS SOPS 501671 HAS SOUS 117377 HAS SOUPS 116893 WITH SCORE 117395.155
AT ITER 3799 NEW BEST:: SOT 869964 SOS 502147 HAS SOPS 501663 HAS SOUS 117361 HAS SOUPS 116877 WITH SCORE 117379.147
AT ITER 3802 NEW BEST:: SOT 869894 SOS 502243 HAS SOPS 501759 HAS SOUS 117360 HAS SOUPS 116876 WITH SCORE 117378.243
AT ITER 3811 NEW BEST:: SOT 869891 SOS 502237 HAS SOPS 501753 HAS SOUS 117354 HAS SOUPS 116870 WITH SCORE 117372.237
AT ITER 3835 NEW BEST:: SOT 869693 SOS 502028 HAS SOPS 501555 HAS SOUS 117305 HAS SOUPS 116832 WITH SCORE 117334.028
AT ITER 3875 NEW BEST:: SOT 869693 SOS 501479 HAS SOPS 501006 HAS SOUS 117305 HAS SOUPS 116832 WITH SCORE 117333.479
AT ITER 3878 NEW BEST:: SOT 869695 SOS 501481 HAS SOPS 501008 HAS SOUS 117295 HAS SOUPS 116822 WITH SCORE 117323.481
AT ITER 3887 NEW BEST:: SOT 869623 SOS 501337 HAS SOPS 500864 HAS SOUS 117223 HAS SOUPS 116750 WITH SCORE 117251.337
AT ITER 3898 NEW BEST:: SOT 869517 SOS 502645 HAS SOPS 502172 HAS SOUS 117187 HAS SOUPS 116714 WITH SCORE 117216.645
AT ITER 3925 NEW BEST:: SOT 869517 SOS 501535 HAS SOPS 501062 HAS SOUS 117181 HAS SOUPS 116708 WITH SCORE 117209.535
AT ITER 3940 NEW BEST:: SOT 869457 SOS 501475 HAS SOPS 501002 HAS SOUS 117094 HAS SOUPS 116621 WITH SCORE 117122.475
AT ITER 3972 NEW BEST:: SOT 869435 SOS 501431 HAS SOPS 500958 HAS SOUS 117041 HAS SOUPS 116568 WITH SCORE 117069.431
AT ITER 4059 NEW BEST:: SOT 869432 SOS 501428 HAS SOPS 500955 HAS SOUS 117035 HAS SOUPS 116562 WITH SCORE 117063.428
AT ITER 4067 NEW BEST:: SOT 869994 SOS 501990 HAS SOPS 501517 HAS SOUS 116999 HAS SOUPS 116526 WITH SCORE 117027.99
AT ITER 4068 NEW BEST:: SOT 869958 SOS 501918 HAS SOPS 501445 HAS SOUS 116961 HAS SOUPS 116488 WITH SCORE 116989.918
AT ITER 4098 NEW BEST:: SOT 869962 SOS 501686 HAS SOPS 501213 HAS SOUS 116845 HAS SOUPS 116372 WITH SCORE 116873.686
AT ITER 4127 NEW BEST:: SOT 869944 SOS 501668 HAS SOPS 501195 HAS SOUS 116827 HAS SOUPS 116354 WITH SCORE 116855.668
AT ITER 4146 NEW BEST:: SOT 869933 SOS 501657 HAS SOPS 501184 HAS SOUS 116816 HAS SOUPS 116343 WITH SCORE 116844.657
AT ITER 4158 NEW BEST:: SOT 869935 SOS 501642 HAS SOPS 501169 HAS SOUS 116816 HAS SOUPS 116343 WITH SCORE 116844.642
AT ITER 4204 NEW BEST:: SOT 869905 SOS 501612 HAS SOPS 501139 HAS SOUS 116756 HAS SOUPS 116283 WITH SCORE 116784.612
AT ITER 4218 NEW BEST:: SOT 869896 SOS 501603 HAS SOPS 501130 HAS SOUS 116738 HAS SOUPS 116265 WITH SCORE 116766.603
AT ITER 4245 NEW BEST:: SOT 869846 SOS 501553 HAS SOPS 501080 HAS SOUS 116663 HAS SOUPS 116190 WITH SCORE 116691.553
AT ITER 4280 NEW BEST:: SOT 869744 SOS 500733 HAS SOPS 500260 HAS SOUS 116519 HAS SOUPS 116046 WITH SCORE 116546.733
AT ITER 4286 NEW BEST:: SOT 869688 SOS 500173 HAS SOPS 499700 HAS SOUS 116463 HAS SOUPS 115990 WITH SCORE 116490.173
AT ITER 4295 NEW BEST:: SOT 869683 SOS 500168 HAS SOPS 499695 HAS SOUS 116458 HAS SOUPS 115985 WITH SCORE 116485.168
AT ITER 4303 NEW BEST:: SOT 869660 SOS 500122 HAS SOPS 499649 HAS SOUS 116435 HAS SOUPS 115962 WITH SCORE 116462.122
AT ITER 4334 NEW BEST:: SOT 869660 SOS 500101 HAS SOPS 499628 HAS SOUS 116414 HAS SOUPS 115941 WITH SCORE 116441.101
AT ITER 4352 NEW BEST:: SOT 869638 SOS 500079 HAS SOPS 499606 HAS SOUS 116370 HAS SOUPS 115897 WITH SCORE 116397.079
AT ITER 4360 NEW BEST:: SOT 869618 SOS 500169 HAS SOPS 499696 HAS SOUS 116341 HAS SOUPS 115868 WITH SCORE 116368.169
AT ITER 4362 NEW BEST:: SOT 869591 SOS 500547 HAS SOPS 500074 HAS SOUS 116266 HAS SOUPS 115793 WITH SCORE 116293.547
AT ITER 4364 NEW BEST:: SOT 869587 SOS 500571 HAS SOPS 500098 HAS SOUS 116258 HAS SOUPS 115785 WITH SCORE 116285.571
AT ITER 4367 NEW BEST:: SOT 869509 SOS 500415 HAS SOPS 499942 HAS SOUS 116048 HAS SOUPS 115575 WITH SCORE 116075.415
AT ITER 4400 NEW BEST:: SOT 869509 SOS 500415 HAS SOPS 499942 HAS SOUS 116030 HAS SOUPS 115557 WITH SCORE 116057.415
AT ITER 4411 NEW BEST:: SOT 869430 SOS 500380 HAS SOPS 499907 HAS SOUS 115907 HAS SOUPS 115434 WITH SCORE 115934.38
AT ITER 4413 NEW BEST:: SOT 869407 SOS 500393 HAS SOPS 499924 HAS SOUS 115890 HAS SOUPS 115421 WITH SCORE 115921.393
AT ITER 4454 NEW BEST:: SOT 869407 SOS 500433 HAS SOPS 499964 HAS SOUS 115885 HAS SOUPS 115416 WITH SCORE 115916.433
AT ITER 4461 NEW BEST:: SOT 869404 SOS 500430 HAS SOPS 499961 HAS SOUS 115879 HAS SOUPS 115410 WITH SCORE 115910.43
AT ITER 4464 NEW BEST:: SOT 869400 SOS 500426 HAS SOPS 499957 HAS SOUS 115871 HAS SOUPS 115402 WITH SCORE 115902.426
AT ITER 4468 NEW BEST:: SOT 869385 SOS 500411 HAS SOPS 499942 HAS SOUS 115841 HAS SOUPS 115372 WITH SCORE 115872.411
AT ITER 4497 NEW BEST:: SOT 869369 SOS 500395 HAS SOPS 499926 HAS SOUS 115825 HAS SOUPS 115356 WITH SCORE 115856.395
AT ITER 4521 NEW BEST:: SOT 869325 SOS 500351 HAS SOPS 499882 HAS SOUS 115802 HAS SOUPS 115333 WITH SCORE 115833.351
AT ITER 4545 NEW BEST:: SOT 869411 SOS 499829 HAS SOPS 499360 HAS SOUS 115772 HAS SOUPS 115303 WITH SCORE 115802.829
AT ITER 4678 NEW BEST:: SOT 869411 SOS 499829 HAS SOPS 499360 HAS SOUS 115770 HAS SOUPS 115301 WITH SCORE 115800.829
AT ITER 4687 NEW BEST:: SOT 869406 SOS 499907 HAS SOPS 499438 HAS SOUS 115765 HAS SOUPS 115296 WITH SCORE 115795.907
AT ITER 4690 NEW BEST:: SOT 869367 SOS 499509 HAS SOPS 499040 HAS SOUS 115727 HAS SOUPS 115258 WITH SCORE 115757.509
AT ITER 4701 NEW BEST:: SOT 869345 SOS 499685 HAS SOPS 499216 HAS SOUS 115705 HAS SOUPS 115236 WITH SCORE 115735.685
AT ITER 4719 NEW BEST:: SOT 869275 SOS 499161 HAS SOPS 498692 HAS SOUS 115613 HAS SOUPS 115144 WITH SCORE 115643.161
AT ITER 4765 NEW BEST:: SOT 869275 SOS 499141 HAS SOPS 498672 HAS SOUS 115611 HAS SOUPS 115142 WITH SCORE 115641.141
AT ITER 4790 NEW BEST:: SOT 869212 SOS 499078 HAS SOPS 498609 HAS SOUS 115611 HAS SOUPS 115142 WITH SCORE 115641.078
AT ITER 4800 NEW BEST:: SOT 869199 SOS 499052 HAS SOPS 498583 HAS SOUS 115598 HAS SOUPS 115129 WITH SCORE 115628.052
AT ITER 4809 NEW BEST:: SOT 869185 SOS 499066 HAS SOPS 498597 HAS SOUS 115584 HAS SOUPS 115115 WITH SCORE 115614.066
AT ITER 4863 NEW BEST:: SOT 869183 SOS 499064 HAS SOPS 498595 HAS SOUS 115580 HAS SOUPS 115111 WITH SCORE 115610.064
AT ITER 4867 NEW BEST:: SOT 869182 SOS 499063 HAS SOPS 498594 HAS SOUS 115579 HAS SOUPS 115110 WITH SCORE 115609.063
AT ITER 4881 NEW BEST:: SOT 869182 SOS 499063 HAS SOPS 498593 HAS SOUS 115579 HAS SOUPS 115109 WITH SCORE 115608.063
AT ITER 4882 NEW BEST:: SOT 869166 SOS 499031 HAS SOPS 498561 HAS SOUS 115547 HAS SOUPS 115077 WITH SCORE 115576.031
AT ITER 4897 NEW BEST:: SOT 869166 SOS 499076 HAS SOPS 498606 HAS SOUS 115538 HAS SOUPS 115068 WITH SCORE 115567.076
AT ITER 4928 NEW BEST:: SOT 869178 SOS 499484 HAS SOPS 499014 HAS SOUS 115514 HAS SOUPS 115044 WITH SCORE 115543.484
AT ITER 4931 NEW BEST:: SOT 869151 SOS 499430 HAS SOPS 498960 HAS SOUS 115481 HAS SOUPS 115011 WITH SCORE 115510.43
AT ITER 4939 NEW BEST:: SOT 869145 SOS 499418 HAS SOPS 498948 HAS SOUS 115475 HAS SOUPS 115005 WITH SCORE 115504.418
AT ITER 4940 NEW BEST:: SOT 869133 SOS 499406 HAS SOPS 498936 HAS SOUS 115451 HAS SOUPS 114981 WITH SCORE 115480.406
AT ITER 4942 NEW BEST:: SOT 869122 SOS 499395 HAS SOPS 498925 HAS SOUS 115429 HAS SOUPS 114959 WITH SCORE 115458.395
AT ITER 4958 NEW BEST:: SOT 869122 SOS 499085 HAS SOPS 498615 HAS SOUS 115429 HAS SOUPS 114959 WITH SCORE 115458.085
AT ITER 4982 NEW BEST:: SOT 869116 SOS 499633 HAS SOPS 499163 HAS SOUS 115423 HAS SOUPS 114953 WITH SCORE 115452.633
AT ITER 4987 NEW BEST:: SOT 869062 SOS 499309 HAS SOPS 498839 HAS SOUS 115342 HAS SOUPS 114872 WITH SCORE 115371.309
AT ITER 5011 NEW BEST:: SOT 869073 SOS 499907 HAS SOPS 499437 HAS SOUS 115307 HAS SOUPS 114837 WITH SCORE 115336.907
AT ITER 5014 NEW BEST:: SOT 869056 SOS 499873 HAS SOPS 499403 HAS SOUS 115290 HAS SOUPS 114820 WITH SCORE 115319.873
AT ITER 5026 NEW BEST:: SOT 869039 SOS 499839 HAS SOPS 499369 HAS SOUS 115262 HAS SOUPS 114792 WITH SCORE 115291.839
AT ITER 5045 NEW BEST:: SOT 869039 SOS 499975 HAS SOPS 499505 HAS SOUS 115245 HAS SOUPS 114775 WITH SCORE 115274.975
AT ITER 5048 NEW BEST:: SOT 869036 SOS 499969 HAS SOPS 499499 HAS SOUS 115239 HAS SOUPS 114769 WITH SCORE 115268.969
AT ITER 5070 NEW BEST:: SOT 868991 SOS 499423 HAS SOPS 498953 HAS SOUS 115206 HAS SOUPS 114736 WITH SCORE 115235.423
AT ITER 5075 NEW BEST:: SOT 868907 SOS 499339 HAS SOPS 498934 HAS SOUS 115086 HAS SOUPS 114681 WITH SCORE 115180.339
AT ITER 5082 NEW BEST:: SOT 868869 SOS 498847 HAS SOPS 498442 HAS SOUS 115084 HAS SOUPS 114679 WITH SCORE 115177.847
AT ITER 5088 NEW BEST:: SOT 868854 SOS 498832 HAS SOPS 498427 HAS SOUS 115054 HAS SOUPS 114649 WITH SCORE 115147.832
AT ITER 5129 NEW BEST:: SOT 868857 SOS 498838 HAS SOPS 498433 HAS SOUS 115047 HAS SOUPS 114642 WITH SCORE 115140.838
AT ITER 5134 NEW BEST:: SOT 868836 SOS 498817 HAS SOPS 498412 HAS SOUS 115005 HAS SOUPS 114600 WITH SCORE 115098.817
AT ITER 5138 NEW BEST:: SOT 868809 SOS 498790 HAS SOPS 498385 HAS SOUS 114969 HAS SOUPS 114564 WITH SCORE 115062.79
AT ITER 5141 NEW BEST:: SOT 868801 SOS 498782 HAS SOPS 498377 HAS SOUS 114953 HAS SOUPS 114548 WITH SCORE 115046.782
AT ITER 5145 NEW BEST:: SOT 868808 SOS 498789 HAS SOPS 498384 HAS SOUS 114947 HAS SOUPS 114542 WITH SCORE 115040.789
AT ITER 5152 NEW BEST:: SOT 868735 SOS 498716 HAS SOPS 498311 HAS SOUS 114874 HAS SOUPS 114469 WITH SCORE 114967.716
AT ITER 5156 NEW BEST:: SOT 869163 SOS 499144 HAS SOPS 498739 HAS SOUS 114831 HAS SOUPS 114426 WITH SCORE 114925.144
AT ITER 5188 NEW BEST:: SOT 869154 SOS 499126 HAS SOPS 498721 HAS SOUS 114813 HAS SOUPS 114408 WITH SCORE 114907.126
AT ITER 5227 NEW BEST:: SOT 869140 SOS 498986 HAS SOPS 498581 HAS SOUS 114799 HAS SOUPS 114394 WITH SCORE 114892.986
AT ITER 5232 NEW BEST:: SOT 869134 SOS 498974 HAS SOPS 498569 HAS SOUS 114787 HAS SOUPS 114382 WITH SCORE 114880.974
AT ITER 5233 NEW BEST:: SOT 869134 SOS 498932 HAS SOPS 498527 HAS SOUS 114745 HAS SOUPS 114340 WITH SCORE 114838.932
AT ITER 5270 NEW BEST:: SOT 869129 SOS 498927 HAS SOPS 498522 HAS SOUS 114735 HAS SOUPS 114330 WITH SCORE 114828.927
AT ITER 5289 NEW BEST:: SOT 869123 SOS 498813 HAS SOPS 498408 HAS SOUS 114729 HAS SOUPS 114324 WITH SCORE 114822.813
AT ITER 5366 NEW BEST:: SOT 869104 SOS 498794 HAS SOPS 498389 HAS SOUS 114691 HAS SOUPS 114286 WITH SCORE 114784.794
AT ITER 5460 NEW BEST:: SOT 869092 SOS 498770 HAS SOPS 498365 HAS SOUS 114667 HAS SOUPS 114262 WITH SCORE 114760.77
AT ITER 5486 NEW BEST:: SOT 869088 SOS 499018 HAS SOPS 498613 HAS SOUS 114663 HAS SOUPS 114258 WITH SCORE 114757.018
AT ITER 5541 NEW BEST:: SOT 869062 SOS 499006 HAS SOPS 498601 HAS SOUS 114651 HAS SOUPS 114246 WITH SCORE 114745.006
AT ITER 5575 NEW BEST:: SOT 869038 SOS 498958 HAS SOPS 498553 HAS SOUS 114627 HAS SOUPS 114222 WITH SCORE 114720.958
AT ITER 5581 NEW BEST:: SOT 869035 SOS 498955 HAS SOPS 498550 HAS SOUS 114621 HAS SOUPS 114216 WITH SCORE 114714.955
AT ITER 5622 NEW BEST:: SOT 869083 SOS 499003 HAS SOPS 498598 HAS SOUS 114612 HAS SOUPS 114207 WITH SCORE 114706.003
AT ITER 5639 NEW BEST:: SOT 869103 SOS 499232 HAS SOPS 498827 HAS SOUS 114605 HAS SOUPS 114200 WITH SCORE 114699.232
AT ITER 5643 NEW BEST:: SOT 869087 SOS 499056 HAS SOPS 498651 HAS SOUS 114589 HAS SOUPS 114184 WITH SCORE 114683.056
AT ITER 5658 NEW BEST:: SOT 869050 SOS 499430 HAS SOPS 499025 HAS SOUS 114515 HAS SOUPS 114110 WITH SCORE 114609.43
AT ITER 5661 NEW BEST:: SOT 869049 SOS 499429 HAS SOPS 499024 HAS SOUS 114513 HAS SOUPS 114108 WITH SCORE 114607.429
AT ITER 5675 NEW BEST:: SOT 869047 SOS 499425 HAS SOPS 499020 HAS SOUS 114509 HAS SOUPS 114104 WITH SCORE 114603.425
AT ITER 5696 NEW BEST:: SOT 869007 SOS 499385 HAS SOPS 498980 HAS SOUS 114469 HAS SOUPS 114064 WITH SCORE 114563.385
AT ITER 5698 NEW BEST:: SOT 869006 SOS 499384 HAS SOPS 498979 HAS SOUS 114467 HAS SOUPS 114062 WITH SCORE 114561.384
AT ITER 5708 NEW BEST:: SOT 869078 SOS 498637 HAS SOPS 498232 HAS SOUS 114465 HAS SOUPS 114060 WITH SCORE 114558.637
AT ITER 5714 NEW BEST:: SOT 869078 SOS 498637 HAS SOPS 498232 HAS SOUS 114464 HAS SOUPS 114059 WITH SCORE 114557.637
AT ITER 5762 NEW BEST:: SOT 869078 SOS 498637 HAS SOPS 498232 HAS SOUS 114454 HAS SOUPS 114049 WITH SCORE 114547.637
AT ITER 5822 NEW BEST:: SOT 869080 SOS 498639 HAS SOPS 498234 HAS SOUS 114443 HAS SOUPS 114038 WITH SCORE 114536.639
AT ITER 5861 NEW BEST:: SOT 869074 SOS 498579 HAS SOPS 498174 HAS SOUS 114437 HAS SOUPS 114032 WITH SCORE 114530.579
AT ITER 5887 NEW BEST:: SOT 869074 SOS 498579 HAS SOPS 498174 HAS SOUS 114401 HAS SOUPS 113996 WITH SCORE 114494.579
AT ITER 5902 NEW BEST:: SOT 869074 SOS 498579 HAS SOPS 498174 HAS SOUS 114400 HAS SOUPS 113995 WITH SCORE 114493.579
AT ITER 5916 NEW BEST:: SOT 869074 SOS 498522 HAS SOPS 498117 HAS SOUS 114343 HAS SOUPS 113938 WITH SCORE 114436.522
AT ITER 5920 NEW BEST:: SOT 869099 SOS 499356 HAS SOPS 498951 HAS SOUS 114337 HAS SOUPS 113932 WITH SCORE 114431.356
AT ITER 5923 NEW BEST:: SOT 869097 SOS 499354 HAS SOPS 498949 HAS SOUS 114335 HAS SOUPS 113930 WITH SCORE 114429.354
AT ITER 5936 NEW BEST:: SOT 869084 SOS 499341 HAS SOPS 498958 HAS SOUS 114309 HAS SOUPS 113926 WITH SCORE 114425.341
AT ITER 5949 NEW BEST:: SOT 869071 SOS 499315 HAS SOPS 498932 HAS SOUS 114283 HAS SOUPS 113900 WITH SCORE 114399.315
AT ITER 6023 NEW BEST:: SOT 869071 SOS 499315 HAS SOPS 498932 HAS SOUS 114276 HAS SOUPS 113893 WITH SCORE 114392.315
AT ITER 6033 NEW BEST:: SOT 868992 SOS 498285 HAS SOPS 497902 HAS SOUS 114224 HAS SOUPS 113841 WITH SCORE 114339.285
AT ITER 6080 NEW BEST:: SOT 868992 SOS 498285 HAS SOPS 497894 HAS SOUS 114224 HAS SOUPS 113833 WITH SCORE 114331.285
AT ITER 6088 NEW BEST:: SOT 868983 SOS 498276 HAS SOPS 497885 HAS SOUS 114215 HAS SOUPS 113824 WITH SCORE 114322.276
AT ITER 6091 NEW BEST:: SOT 868970 SOS 498266 HAS SOPS 497853 HAS SOUS 114183 HAS SOUPS 113792 WITH SCORE 114290.266
AT ITER 6107 NEW BEST:: SOT 868920 SOS 498166 HAS SOPS 497753 HAS SOUS 114083 HAS SOUPS 113692 WITH SCORE 114190.166
AT ITER 6129 NEW BEST:: SOT 868932 SOS 498070 HAS SOPS 497657 HAS SOUS 114083 HAS SOUPS 113692 WITH SCORE 114190.07
AT ITER 6165 NEW BEST:: SOT 868926 SOS 498064 HAS SOPS 497651 HAS SOUS 114077 HAS SOUPS 113686 WITH SCORE 114184.064
AT ITER 6191 NEW BEST:: SOT 868925 SOS 498110 HAS SOPS 497697 HAS SOUS 114071 HAS SOUPS 113680 WITH SCORE 114178.11
AT ITER 6271 NEW BEST:: SOT 868912 SOS 497668 HAS SOPS 497255 HAS SOUS 114049 HAS SOUPS 113658 WITH SCORE 114155.668
AT ITER 6273 NEW BEST:: SOT 868897 SOS 497422 HAS SOPS 497009 HAS SOUS 114046 HAS SOUPS 113655 WITH SCORE 114152.422
AT ITER 6299 NEW BEST:: SOT 868897 SOS 497422 HAS SOPS 497009 HAS SOUS 114043 HAS SOUPS 113652 WITH SCORE 114149.422
AT ITER 6301 NEW BEST:: SOT 868889 SOS 497406 HAS SOPS 496993 HAS SOUS 114027 HAS SOUPS 113636 WITH SCORE 114133.406
AT ITER 6315 NEW BEST:: SOT 868889 SOS 497406 HAS SOPS 496993 HAS SOUS 114000 HAS SOUPS 113609 WITH SCORE 114106.406
AT ITER 6331 NEW BEST:: SOT 868873 SOS 497390 HAS SOPS 496977 HAS SOUS 113968 HAS SOUPS 113577 WITH SCORE 114074.39
AT ITER 6340 NEW BEST:: SOT 868895 SOS 497383 HAS SOPS 496970 HAS SOUS 113961 HAS SOUPS 113570 WITH SCORE 114067.383
AT ITER 6343 NEW BEST:: SOT 868895 SOS 497349 HAS SOPS 496936 HAS SOUS 113944 HAS SOUPS 113553 WITH SCORE 114050.349
AT ITER 6355 NEW BEST:: SOT 868894 SOS 497348 HAS SOPS 496935 HAS SOUS 113943 HAS SOUPS 113552 WITH SCORE 114049.348
AT ITER 6380 NEW BEST:: SOT 868893 SOS 497354 HAS SOPS 496941 HAS SOUS 113941 HAS SOUPS 113550 WITH SCORE 114047.354
AT ITER 6409 NEW BEST:: SOT 868891 SOS 497350 HAS SOPS 496937 HAS SOUS 113939 HAS SOUPS 113548 WITH SCORE 114045.35
AT ITER 6418 NEW BEST:: SOT 868889 SOS 497450 HAS SOPS 497037 HAS SOUS 113924 HAS SOUPS 113533 WITH SCORE 114030.45
AT ITER 6441 NEW BEST:: SOT 868995 SOS 497514 HAS SOPS 496970 HAS SOUS 114001 HAS SOUPS 113531 WITH SCORE 114028.514
AT ITER 6466 NEW BEST:: SOT 868995 SOS 497554 HAS SOPS 497010 HAS SOUS 113996 HAS SOUPS 113526 WITH SCORE 114023.554
AT ITER 6478 NEW BEST:: SOT 868994 SOS 497552 HAS SOPS 497008 HAS SOUS 113994 HAS SOUPS 113524 WITH SCORE 114021.552
AT ITER 6489 NEW BEST:: SOT 868990 SOS 497544 HAS SOPS 497000 HAS SOUS 113986 HAS SOUPS 113516 WITH SCORE 114013.544
AT ITER 6491 NEW BEST:: SOT 868956 SOS 497476 HAS SOPS 496932 HAS SOUS 113952 HAS SOUPS 113482 WITH SCORE 113979.476
AT ITER 6507 NEW BEST:: SOT 868938 SOS 497440 HAS SOPS 496896 HAS SOUS 113916 HAS SOUPS 113446 WITH SCORE 113943.44
AT ITER 6545 NEW BEST:: SOT 868928 SOS 497556 HAS SOPS 497012 HAS SOUS 113892 HAS SOUPS 113422 WITH SCORE 113919.556
AT ITER 6546 NEW BEST:: SOT 868908 SOS 497516 HAS SOPS 496972 HAS SOUS 113852 HAS SOUPS 113382 WITH SCORE 113879.516
AT ITER 6548 NEW BEST:: SOT 868783 SOS 497355 HAS SOPS 496775 HAS SOUS 113760 HAS SOUPS 113254 WITH SCORE 113751.355
AT ITER 6568 NEW BEST:: SOT 868774 SOS 497337 HAS SOPS 496757 HAS SOUS 113742 HAS SOUPS 113236 WITH SCORE 113733.337
AT ITER 6649 NEW BEST:: SOT 868761 SOS 497047 HAS SOPS 496467 HAS SOUS 113729 HAS SOUPS 113223 WITH SCORE 113720.047
AT ITER 6698 NEW BEST:: SOT 868718 SOS 497004 HAS SOPS 496424 HAS SOUS 113606 HAS SOUPS 113100 WITH SCORE 113597.004
AT ITER 6699 NEW BEST:: SOT 868707 SOS 497103 HAS SOPS 496523 HAS SOUS 113595 HAS SOUPS 113089 WITH SCORE 113586.103
AT ITER 6704 NEW BEST:: SOT 868707 SOS 497501 HAS SOPS 496921 HAS SOUS 113574 HAS SOUPS 113068 WITH SCORE 113565.501
AT ITER 6742 NEW BEST:: SOT 868704 SOS 497498 HAS SOPS 496918 HAS SOUS 113568 HAS SOUPS 113062 WITH SCORE 113559.498
AT ITER 6745 NEW BEST:: SOT 868703 SOS 497497 HAS SOPS 496917 HAS SOUS 113566 HAS SOUPS 113060 WITH SCORE 113557.497
AT ITER 6757 NEW BEST:: SOT 868703 SOS 497505 HAS SOPS 496925 HAS SOUS 113565 HAS SOUPS 113059 WITH SCORE 113556.505
AT ITER 6778 NEW BEST:: SOT 868672 SOS 497442 HAS SOPS 496894 HAS SOUS 113502 HAS SOUPS 113028 WITH SCORE 113525.442
AT ITER 6811 NEW BEST:: SOT 868660 SOS 497430 HAS SOPS 496894 HAS SOUS 113478 HAS SOUPS 113016 WITH SCORE 113513.43
AT ITER 6814 NEW BEST:: SOT 868660 SOS 497370 HAS SOPS 496834 HAS SOUS 113472 HAS SOUPS 113010 WITH SCORE 113507.37
AT ITER 6861 NEW BEST:: SOT 868578 SOS 497323 HAS SOPS 496717 HAS SOUS 113460 HAS SOUPS 112963 WITH SCORE 113460.323
AT ITER 6882 NEW BEST:: SOT 868590 SOS 497299 HAS SOPS 496668 HAS SOUS 113444 HAS SOUPS 112922 WITH SCORE 113419.299
AT ITER 6928 NEW BEST:: SOT 868555 SOS 497264 HAS SOPS 496633 HAS SOUS 113409 HAS SOUPS 112887 WITH SCORE 113384.264
AT ITER 6930 NEW BEST:: SOT 868501 SOS 497210 HAS SOPS 496579 HAS SOUS 113336 HAS SOUPS 112814 WITH SCORE 113311.21
AT ITER 7002 NEW BEST:: SOT 868489 SOS 497186 HAS SOPS 496555 HAS SOUS 113324 HAS SOUPS 112802 WITH SCORE 113299.186
AT ITER 7011 NEW BEST:: SOT 868480 SOS 497177 HAS SOPS 496546 HAS SOUS 113288 HAS SOUPS 112766 WITH SCORE 113263.177
AT ITER 7020 NEW BEST:: SOT 868406 SOS 496945 HAS SOPS 496314 HAS SOUS 113088 HAS SOUPS 112566 WITH SCORE 113062.945
AT ITER 7070 NEW BEST:: SOT 868380 SOS 496631 HAS SOPS 496000 HAS SOUS 113070 HAS SOUPS 112548 WITH SCORE 113044.631
AT ITER 7093 NEW BEST:: SOT 868349 SOS 496608 HAS SOPS 495977 HAS SOUS 113047 HAS SOUPS 112525 WITH SCORE 113021.608
AT ITER 7108 NEW BEST:: SOT 868159 SOS 496442 HAS SOPS 495811 HAS SOUS 112890 HAS SOUPS 112368 WITH SCORE 112864.442
AT ITER 7189 NEW BEST:: SOT 868158 SOS 496254 HAS SOPS 495623 HAS SOUS 112888 HAS SOUPS 112366 WITH SCORE 112862.254
AT ITER 7190 NEW BEST:: SOT 868137 SOS 496212 HAS SOPS 495581 HAS SOUS 112846 HAS SOUPS 112324 WITH SCORE 112820.212
AT ITER 7248 NEW BEST:: SOT 868154 SOS 496208 HAS SOPS 495577 HAS SOUS 112842 HAS SOUPS 112320 WITH SCORE 112816.208
AT ITER 7251 NEW BEST:: SOT 868147 SOS 494892 HAS SOPS 494261 HAS SOUS 112835 HAS SOUPS 112313 WITH SCORE 112807.892
AT ITER 7253 NEW BEST:: SOT 868136 SOS 494870 HAS SOPS 494239 HAS SOUS 112825 HAS SOUPS 112303 WITH SCORE 112797.87
AT ITER 7255 NEW BEST:: SOT 868124 SOS 494486 HAS SOPS 493855 HAS SOUS 112813 HAS SOUPS 112291 WITH SCORE 112785.486
AT ITER 7264 NEW BEST:: SOT 868121 SOS 494483 HAS SOPS 493852 HAS SOUS 112807 HAS SOUPS 112285 WITH SCORE 112779.483
AT ITER 7359 NEW BEST:: SOT 868130 SOS 494491 HAS SOPS 493789 HAS SOUS 112749 HAS SOUPS 112227 WITH SCORE 112721.491
AT ITER 7390 NEW BEST:: SOT 868096 SOS 494873 HAS SOPS 494171 HAS SOUS 112726 HAS SOUPS 112204 WITH SCORE 112698.873
AT ITER 7411 NEW BEST:: SOT 868076 SOS 494853 HAS SOPS 494171 HAS SOUS 112706 HAS SOUPS 112184 WITH SCORE 112678.853
AT ITER 7420 NEW BEST:: SOT 868062 SOS 494839 HAS SOPS 494157 HAS SOUS 112694 HAS SOUPS 112172 WITH SCORE 112666.839
AT ITER 7445 NEW BEST:: SOT 868062 SOS 494999 HAS SOPS 494317 HAS SOUS 112674 HAS SOUPS 112152 WITH SCORE 112646.999
AT ITER 7465 NEW BEST:: SOT 868055 SOS 494992 HAS SOPS 494310 HAS SOUS 112660 HAS SOUPS 112138 WITH SCORE 112632.992
AT ITER 7496 NEW BEST:: SOT 868071 SOS 495008 HAS SOPS 494288 HAS SOUS 112654 HAS SOUPS 112132 WITH SCORE 112627.008
AT ITER 7505 NEW BEST:: SOT 870726 SOS 497663 HAS SOPS 496943 HAS SOUS 112616 HAS SOUPS 112094 WITH SCORE 112591.663
AT ITER 7526 NEW BEST:: SOT 870618 SOS 497555 HAS SOPS 496835 HAS SOUS 112508 HAS SOUPS 111986 WITH SCORE 112483.555
AT ITER 7531 NEW BEST:: SOT 870614 SOS 497507 HAS SOPS 496787 HAS SOUS 112505 HAS SOUPS 111983 WITH SCORE 112480.507
AT ITER 7552 NEW BEST:: SOT 870611 SOS 497501 HAS SOPS 496781 HAS SOUS 112502 HAS SOUPS 111980 WITH SCORE 112477.501
AT ITER 7568 NEW BEST:: SOT 870609 SOS 497497 HAS SOPS 496777 HAS SOUS 112498 HAS SOUPS 111976 WITH SCORE 112473.497
AT ITER 7591 NEW BEST:: SOT 870607 SOS 497493 HAS SOPS 496773 HAS SOUS 112494 HAS SOUPS 111972 WITH SCORE 112469.493
AT ITER 7599 NEW BEST:: SOT 870604 SOS 497490 HAS SOPS 496770 HAS SOUS 112491 HAS SOUPS 111969 WITH SCORE 112466.49
AT ITER 7613 NEW BEST:: SOT 870616 SOS 497502 HAS SOPS 496782 HAS SOUS 112489 HAS SOUPS 111967 WITH SCORE 112464.502
AT ITER 7631 NEW BEST:: SOT 870736 SOS 497622 HAS SOPS 496902 HAS SOUS 112457 HAS SOUPS 111935 WITH SCORE 112432.622
AT ITER 7761 NEW BEST:: SOT 870728 SOS 497606 HAS SOPS 496886 HAS SOUS 112441 HAS SOUPS 111919 WITH SCORE 112416.606
AT ITER 7764 NEW BEST:: SOT 870726 SOS 497602 HAS SOPS 496882 HAS SOUS 112439 HAS SOUPS 111917 WITH SCORE 112414.602
AT ITER 7777 NEW BEST:: SOT 870726 SOS 497594 HAS SOPS 496874 HAS SOUS 112439 HAS SOUPS 111917 WITH SCORE 112414.594
AT ITER 7835 NEW BEST:: SOT 870713 SOS 497581 HAS SOPS 496861 HAS SOUS 112413 HAS SOUPS 111891 WITH SCORE 112388.581
AT ITER 7933 NEW BEST:: SOT 870711 SOS 497577 HAS SOPS 496857 HAS SOUS 112409 HAS SOUPS 111887 WITH SCORE 112384.577
AT ITER 7942 NEW BEST:: SOT 870687 SOS 497529 HAS SOPS 496809 HAS SOUS 112361 HAS SOUPS 111839 WITH SCORE 112336.529
AT ITER 7958 NEW BEST:: SOT 870677 SOS 497519 HAS SOPS 496799 HAS SOUS 112351 HAS SOUPS 111829 WITH SCORE 112326.519
AT ITER 7967 NEW BEST:: SOT 870666 SOS 497508 HAS SOPS 496788 HAS SOUS 112331 HAS SOUPS 111809 WITH SCORE 112306.508
AT ITER 8025 NEW BEST:: SOT 870642 SOS 497484 HAS SOPS 496764 HAS SOUS 112319 HAS SOUPS 111797 WITH SCORE 112294.484
AT ITER 8154 NEW BEST:: SOT 870640 SOS 497482 HAS SOPS 496762 HAS SOUS 112315 HAS SOUPS 111793 WITH SCORE 112290.482
AT ITER 8161 NEW BEST:: SOT 870639 SOS 497480 HAS SOPS 496760 HAS SOUS 112314 HAS SOUPS 111792 WITH SCORE 112289.48
AT ITER 8196 NEW BEST:: SOT 870625 SOS 497452 HAS SOPS 496732 HAS SOUS 112293 HAS SOUPS 111771 WITH SCORE 112268.452
AT ITER 8220 NEW BEST:: SOT 870621 SOS 497450 HAS SOPS 496730 HAS SOUS 112289 HAS SOUPS 111767 WITH SCORE 112264.45
AT ITER 8246 NEW BEST:: SOT 870621 SOS 497250 HAS SOPS 496530 HAS SOUS 112269 HAS SOUPS 111747 WITH SCORE 112244.25
AT ITER 8257 NEW BEST:: SOT 870616 SOS 497240 HAS SOPS 496520 HAS SOUS 112263 HAS SOUPS 111741 WITH SCORE 112238.24
AT ITER 8291 NEW BEST:: SOT 870605 SOS 497218 HAS SOPS 496498 HAS SOUS 112241 HAS SOUPS 111719 WITH SCORE 112216.218
AT ITER 8297 NEW BEST:: SOT 870548 SOS 496771 HAS SOPS 495945 HAS SOUS 112280 HAS SOUPS 111662 WITH SCORE 112158.771
AT ITER 8301 NEW BEST:: SOT 870479 SOS 496596 HAS SOPS 495770 HAS SOUS 112213 HAS SOUPS 111595 WITH SCORE 112091.596
AT ITER 8305 NEW BEST:: SOT 870449 SOS 496408 HAS SOPS 495582 HAS SOUS 112169 HAS SOUPS 111551 WITH SCORE 112047.408
AT ITER 8313 NEW BEST:: SOT 870432 SOS 496391 HAS SOPS 495565 HAS SOUS 112135 HAS SOUPS 111517 WITH SCORE 112013.391
AT ITER 8320 NEW BEST:: SOT 870413 SOS 496375 HAS SOPS 495546 HAS SOUS 112119 HAS SOUPS 111498 WITH SCORE 111994.375
AT ITER 8342 NEW BEST:: SOT 870109 SOS 496071 HAS SOPS 495242 HAS SOUS 112103 HAS SOUPS 111482 WITH SCORE 111978.071
AT ITER 8370 NEW BEST:: SOT 870109 SOS 496071 HAS SOPS 495242 HAS SOUS 112102 HAS SOUPS 111481 WITH SCORE 111977.071
AT ITER 8388 NEW BEST:: SOT 870059 SOS 495901 HAS SOPS 495072 HAS SOUS 111996 HAS SOUPS 111375 WITH SCORE 111870.901
AT ITER 8471 NEW BEST:: SOT 870044 SOS 495886 HAS SOPS 495057 HAS SOUS 111977 HAS SOUPS 111356 WITH SCORE 111851.886
AT ITER 8499 NEW BEST:: SOT 870035 SOS 495877 HAS SOPS 495048 HAS SOUS 111959 HAS SOUPS 111338 WITH SCORE 111833.877
AT ITER 8537 NEW BEST:: SOT 869991 SOS 495879 HAS SOPS 495050 HAS SOUS 111956 HAS SOUPS 111335 WITH SCORE 111830.879
AT ITER 8710 NEW BEST:: SOT 869877 SOS 495765 HAS SOPS 494936 HAS SOUS 111950 HAS SOUPS 111329 WITH SCORE 111824.765
AT ITER 8729 NEW BEST:: SOT 869864 SOS 495739 HAS SOPS 494910 HAS SOUS 111924 HAS SOUPS 111303 WITH SCORE 111798.739
AT ITER 8733 NEW BEST:: SOT 869853 SOS 495728 HAS SOPS 494899 HAS SOUS 111902 HAS SOUPS 111281 WITH SCORE 111776.728
AT ITER 8734 NEW BEST:: SOT 869848 SOS 495718 HAS SOPS 494889 HAS SOUS 111892 HAS SOUPS 111271 WITH SCORE 111766.718
AT ITER 8735 NEW BEST:: SOT 869808 SOS 495674 HAS SOPS 494845 HAS SOUS 111848 HAS SOUPS 111227 WITH SCORE 111722.674
AT ITER 8742 NEW BEST:: SOT 869770 SOS 495636 HAS SOPS 494807 HAS SOUS 111803 HAS SOUPS 111182 WITH SCORE 111677.636
AT ITER 8763 NEW BEST:: SOT 869770 SOS 495748 HAS SOPS 494919 HAS SOUS 111789 HAS SOUPS 111168 WITH SCORE 111663.748
AT ITER 8807 NEW BEST:: SOT 869788 SOS 495766 HAS SOPS 494916 HAS SOUS 111807 HAS SOUPS 111165 WITH SCORE 111660.766
AT ITER 8823 NEW BEST:: SOT 869758 SOS 496006 HAS SOPS 495156 HAS SOUS 111777 HAS SOUPS 111135 WITH SCORE 111631.006
AT ITER 8871 NEW BEST:: SOT 869741 SOS 495989 HAS SOPS 495139 HAS SOUS 111767 HAS SOUPS 111125 WITH SCORE 111620.989
AT ITER 8872 NEW BEST:: SOT 869727 SOS 495905 HAS SOPS 495055 HAS SOUS 111746 HAS SOUPS 111104 WITH SCORE 111599.905
AT ITER 8957 NEW BEST:: SOT 869712 SOS 495890 HAS SOPS 495040 HAS SOUS 111731 HAS SOUPS 111089 WITH SCORE 111584.89
AT ITER 8962 NEW BEST:: SOT 869689 SOS 496081 HAS SOPS 495231 HAS SOUS 111715 HAS SOUPS 111073 WITH SCORE 111569.081
AT ITER 8979 NEW BEST:: SOT 869679 SOS 496071 HAS SOPS 495221 HAS SOUS 111705 HAS SOUPS 111063 WITH SCORE 111559.071
AT ITER 8988 NEW BEST:: SOT 869644 SOS 496001 HAS SOPS 495151 HAS SOUS 111621 HAS SOUPS 110979 WITH SCORE 111475.001
AT ITER 8991 NEW BEST:: SOT 869634 SOS 495149 HAS SOPS 494299 HAS SOUS 111621 HAS SOUPS 110979 WITH SCORE 111474.149
AT ITER 9032 NEW BEST:: SOT 869724 SOS 495249 HAS SOPS 494399 HAS SOUS 111616 HAS SOUPS 110974 WITH SCORE 111469.249
AT ITER 9069 NEW BEST:: SOT 869719 SOS 495239 HAS SOPS 494389 HAS SOUS 111606 HAS SOUPS 110964 WITH SCORE 111459.239
AT ITER 9098 NEW BEST:: SOT 869779 SOS 495299 HAS SOPS 494449 HAS SOUS 111595 HAS SOUPS 110953 WITH SCORE 111448.299
AT ITER 9160 NEW BEST:: SOT 869779 SOS 495075 HAS SOPS 494225 HAS SOUS 111595 HAS SOUPS 110953 WITH SCORE 111448.075
AT ITER 9266 NEW BEST:: SOT 869776 SOS 495069 HAS SOPS 494219 HAS SOUS 111589 HAS SOUPS 110947 WITH SCORE 111442.069
AT ITER 9291 NEW BEST:: SOT 869776 SOS 495013 HAS SOPS 494163 HAS SOUS 111589 HAS SOUPS 110947 WITH SCORE 111442.013
AT ITER 9295 NEW BEST:: SOT 869773 SOS 495010 HAS SOPS 494160 HAS SOUS 111583 HAS SOUPS 110941 WITH SCORE 111436.01
AT ITER 9327 NEW BEST:: SOT 869706 SOS 494876 HAS SOPS 494026 HAS SOUS 111516 HAS SOUPS 110874 WITH SCORE 111368.876
AT ITER 9330 NEW BEST:: SOT 869687 SOS 494838 HAS SOPS 493988 HAS SOUS 111478 HAS SOUPS 110836 WITH SCORE 111330.838
AT ITER 9338 NEW BEST:: SOT 869685 SOS 494834 HAS SOPS 493984 HAS SOUS 111474 HAS SOUPS 110832 WITH SCORE 111326.834
AT ITER 9362 NEW BEST:: SOT 869671 SOS 494582 HAS SOPS 493732 HAS SOUS 111459 HAS SOUPS 110817 WITH SCORE 111311.582
AT ITER 9374 NEW BEST:: SOT 869671 SOS 494582 HAS SOPS 493732 HAS SOUS 111458 HAS SOUPS 110816 WITH SCORE 111310.582
AT ITER 9381 NEW BEST:: SOT 869619 SOS 494219 HAS SOPS 493369 HAS SOUS 111296 HAS SOUPS 110654 WITH SCORE 111148.219
AT ITER 9404 NEW BEST:: SOT 869617 SOS 494111 HAS SOPS 493261 HAS SOUS 111294 HAS SOUPS 110652 WITH SCORE 111146.111
AT ITER 9463 NEW BEST:: SOT 869615 SOS 494109 HAS SOPS 493257 HAS SOUS 111292 HAS SOUPS 110648 WITH SCORE 111142.109
AT ITER 9483 NEW BEST:: SOT 869594 SOS 494088 HAS SOPS 493236 HAS SOUS 111283 HAS SOUPS 110639 WITH SCORE 111133.088
AT ITER 9592 NEW BEST:: SOT 869591 SOS 494085 HAS SOPS 493233 HAS SOUS 111280 HAS SOUPS 110636 WITH SCORE 111130.085
AT ITER 9606 NEW BEST:: SOT 869591 SOS 494045 HAS SOPS 493193 HAS SOUS 111280 HAS SOUPS 110636 WITH SCORE 111130.045
AT ITER 9645 NEW BEST:: SOT 869545 SOS 493951 HAS SOPS 493099 HAS SOUS 111186 HAS SOUPS 110542 WITH SCORE 111035.951
AT ITER 9649 NEW BEST:: SOT 869535 SOS 493941 HAS SOPS 493089 HAS SOUS 111166 HAS SOUPS 110522 WITH SCORE 111015.941
AT ITER 9654 NEW BEST:: SOT 869530 SOS 493936 HAS SOPS 493091 HAS SOUS 111156 HAS SOUPS 110519 WITH SCORE 111012.936
AT ITER 9683 NEW BEST:: SOT 869511 SOS 493917 HAS SOPS 493072 HAS SOUS 111137 HAS SOUPS 110500 WITH SCORE 110993.917
AT ITER 9687 NEW BEST:: SOT 869502 SOS 493899 HAS SOPS 493054 HAS SOUS 111093 HAS SOUPS 110456 WITH SCORE 110949.899
AT ITER 9728 NEW BEST:: SOT 869487 SOS 493869 HAS SOPS 493024 HAS SOUS 111064 HAS SOUPS 110427 WITH SCORE 110920.869
AT ITER 9784 NEW BEST:: SOT 869468 SOS 494083 HAS SOPS 493238 HAS SOUS 111048 HAS SOUPS 110411 WITH SCORE 110905.083
AT ITER 9812 NEW BEST:: SOT 869465 SOS 494080 HAS SOPS 493235 HAS SOUS 111042 HAS SOUPS 110405 WITH SCORE 110899.08
AT ITER 9907 NEW BEST:: SOT 869465 SOS 494056 HAS SOPS 493211 HAS SOUS 111042 HAS SOUPS 110405 WITH SCORE 110899.056
AT ITER 9936 NEW BEST:: SOT 869453 SOS 494032 HAS SOPS 493187 HAS SOUS 111027 HAS SOUPS 110390 WITH SCORE 110884.032
AT ITER 9955 NEW BEST:: SOT 869444 SOS 493942 HAS SOPS 493097 HAS SOUS 111018 HAS SOUPS 110381 WITH SCORE 110874.942
AT ITER 9957 NEW BEST:: SOT 869441 SOS 494040 HAS SOPS 493195 HAS SOUS 111015 HAS SOUPS 110378 WITH SCORE 110872.04
AT ITER 9961 NEW BEST:: SOT 869439 SOS 494036 HAS SOPS 493191 HAS SOUS 111013 HAS SOUPS 110376 WITH SCORE 110870.036
AT ITER 9981 NEW BEST:: SOT 870354 SOS 494964 HAS SOPS 494119 HAS SOUS 110940 HAS SOUPS 110303 WITH SCORE 110797.964
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 455120 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16146484 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Anderson-PT-10"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is Anderson-PT-10, 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 r515-tall-167987241900056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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