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.r291-tall-167873943000496.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 PolyORBLF-PT-S02J04T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943000496
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 15K Feb 26 14:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 26 14:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 25K Feb 26 14:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 135K Feb 26 14:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.1K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 33K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 39K Feb 26 14:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 227K Feb 26 14:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 31K Feb 26 14:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 177K Feb 26 14:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.7K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 862K Mar 5 18:23 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 1678796407345

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=PolyORBLF-PT-S02J04T06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S02J04T06
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: 476 places, 920 transitions, 4242 arcs.
AT ITER 0 NEW BEST:: SOT 268758 SOS 143287 HAS SOPS 140459 HAS SOUS 85093 HAS SOUPS 84758 WITH SCORE 84901.287
AT ITER 13 NEW BEST:: SOT 268644 SOS 143057 HAS SOPS 140229 HAS SOUS 84987 HAS SOUPS 84652 WITH SCORE 84795.057
AT ITER 19 NEW BEST:: SOT 268299 SOS 142785 HAS SOPS 139957 HAS SOUS 84785 HAS SOUPS 84450 WITH SCORE 84592.785
AT ITER 28 NEW BEST:: SOT 266814 SOS 141406 HAS SOPS 138578 HAS SOUS 83927 HAS SOUPS 83592 WITH SCORE 83733.406
AT ITER 31 NEW BEST:: SOT 266757 SOS 141326 HAS SOPS 138498 HAS SOUS 83908 HAS SOUPS 83573 WITH SCORE 83714.326
AT ITER 32 NEW BEST:: SOT 266745 SOS 141314 HAS SOPS 138486 HAS SOUS 83896 HAS SOUPS 83561 WITH SCORE 83702.314
AT ITER 35 NEW BEST:: SOT 266666 SOS 141235 HAS SOPS 138407 HAS SOUS 83840 HAS SOUPS 83505 WITH SCORE 83646.235
AT ITER 36 NEW BEST:: SOT 266576 SOS 141409 HAS SOPS 138591 HAS SOUS 83719 HAS SOUPS 83384 WITH SCORE 83525.409
AT ITER 40 NEW BEST:: SOT 266608 SOS 141535 HAS SOPS 138717 HAS SOUS 83623 HAS SOUPS 83288 WITH SCORE 83429.535
AT ITER 52 NEW BEST:: SOT 265971 SOS 140903 HAS SOPS 138085 HAS SOUS 83007 HAS SOUPS 82672 WITH SCORE 82812.903
AT ITER 57 NEW BEST:: SOT 265927 SOS 141066 HAS SOPS 138264 HAS SOUS 82944 HAS SOUPS 82609 WITH SCORE 82750.066
AT ITER 64 NEW BEST:: SOT 265907 SOS 141026 HAS SOPS 138224 HAS SOUS 82904 HAS SOUPS 82569 WITH SCORE 82710.026
AT ITER 67 NEW BEST:: SOT 265683 SOS 140902 HAS SOPS 138100 HAS SOUS 82837 HAS SOUPS 82502 WITH SCORE 82642.902
AT ITER 77 NEW BEST:: SOT 260476 SOS 135654 HAS SOPS 132852 HAS SOUS 80560 HAS SOUPS 80225 WITH SCORE 80360.654
AT ITER 93 NEW BEST:: SOT 260445 SOS 135623 HAS SOPS 132821 HAS SOUS 80481 HAS SOUPS 80146 WITH SCORE 80281.623
AT ITER 94 NEW BEST:: SOT 260726 SOS 135827 HAS SOPS 133025 HAS SOUS 80463 HAS SOUPS 80128 WITH SCORE 80263.827
AT ITER 96 NEW BEST:: SOT 260680 SOS 134023 HAS SOPS 131221 HAS SOUS 80423 HAS SOUPS 80088 WITH SCORE 80222.023
AT ITER 97 NEW BEST:: SOT 260588 SOS 133931 HAS SOPS 131129 HAS SOUS 80348 HAS SOUPS 80013 WITH SCORE 80146.931
AT ITER 99 NEW BEST:: SOT 259580 SOS 132971 HAS SOPS 130169 HAS SOUS 79402 HAS SOUPS 79067 WITH SCORE 79199.971
AT ITER 103 NEW BEST:: SOT 259524 SOS 132923 HAS SOPS 130136 HAS SOUS 79324 HAS SOUPS 78989 WITH SCORE 79121.923
AT ITER 108 NEW BEST:: SOT 259749 SOS 133232 HAS SOPS 130445 HAS SOUS 78970 HAS SOUPS 78635 WITH SCORE 78768.232
AT ITER 110 NEW BEST:: SOT 259596 SOS 133174 HAS SOPS 130387 HAS SOUS 78956 HAS SOUPS 78621 WITH SCORE 78754.174
AT ITER 125 NEW BEST:: SOT 259569 SOS 133147 HAS SOPS 130360 HAS SOUS 78929 HAS SOUPS 78594 WITH SCORE 78727.147
AT ITER 130 NEW BEST:: SOT 259490 SOS 132910 HAS SOPS 130123 HAS SOUS 78771 HAS SOUPS 78436 WITH SCORE 78568.91
AT ITER 149 NEW BEST:: SOT 259079 SOS 132499 HAS SOPS 129712 HAS SOUS 78267 HAS SOUPS 77932 WITH SCORE 78064.499
AT ITER 153 NEW BEST:: SOT 259017 SOS 132427 HAS SOPS 129640 HAS SOUS 78222 HAS SOUPS 77887 WITH SCORE 78019.427
AT ITER 159 NEW BEST:: SOT 258976 SOS 132386 HAS SOPS 129599 HAS SOUS 78051 HAS SOUPS 77716 WITH SCORE 77848.386
AT ITER 171 NEW BEST:: SOT 257866 SOS 131313 HAS SOPS 128526 HAS SOUS 77570 HAS SOUPS 77235 WITH SCORE 77366.313
AT ITER 172 NEW BEST:: SOT 258245 SOS 131987 HAS SOPS 129200 HAS SOUS 77553 HAS SOUPS 77218 WITH SCORE 77349.987
AT ITER 184 NEW BEST:: SOT 255062 SOS 137512 HAS SOPS 136522 HAS SOUS 75017 HAS SOUPS 74818 WITH SCORE 74955.512
AT ITER 189 NEW BEST:: SOT 254920 SOS 137341 HAS SOPS 136351 HAS SOUS 74772 HAS SOUPS 74573 WITH SCORE 74710.341
AT ITER 193 NEW BEST:: SOT 254918 SOS 137337 HAS SOPS 136347 HAS SOUS 74768 HAS SOUPS 74569 WITH SCORE 74706.337
AT ITER 198 NEW BEST:: SOT 254888 SOS 137209 HAS SOPS 136219 HAS SOUS 74708 HAS SOUPS 74509 WITH SCORE 74646.209
AT ITER 206 NEW BEST:: SOT 254774 SOS 136973 HAS SOPS 135983 HAS SOUS 74454 HAS SOUPS 74255 WITH SCORE 74391.973
AT ITER 208 NEW BEST:: SOT 254764 SOS 136741 HAS SOPS 135751 HAS SOUS 74412 HAS SOUPS 74213 WITH SCORE 74349.741
AT ITER 219 NEW BEST:: SOT 254744 SOS 136661 HAS SOPS 135671 HAS SOUS 74372 HAS SOUPS 74173 WITH SCORE 74309.661
AT ITER 228 NEW BEST:: SOT 254671 SOS 136588 HAS SOPS 135598 HAS SOUS 74353 HAS SOUPS 74154 WITH SCORE 74290.588
AT ITER 244 NEW BEST:: SOT 254011 SOS 135885 HAS SOPS 134895 HAS SOUS 74003 HAS SOUPS 73804 WITH SCORE 73939.885
AT ITER 248 NEW BEST:: SOT 253913 SOS 136664 HAS SOPS 135674 HAS SOUS 73930 HAS SOUPS 73731 WITH SCORE 73867.664
AT ITER 251 NEW BEST:: SOT 253887 SOS 136638 HAS SOPS 135648 HAS SOUS 73923 HAS SOUPS 73724 WITH SCORE 73860.638
AT ITER 260 NEW BEST:: SOT 253822 SOS 136573 HAS SOPS 135583 HAS SOUS 73882 HAS SOUPS 73683 WITH SCORE 73819.573
AT ITER 265 NEW BEST:: SOT 253822 SOS 136573 HAS SOPS 135583 HAS SOUS 73879 HAS SOUPS 73680 WITH SCORE 73816.573
AT ITER 266 NEW BEST:: SOT 253822 SOS 136525 HAS SOPS 135535 HAS SOUS 73879 HAS SOUPS 73680 WITH SCORE 73816.525
AT ITER 268 NEW BEST:: SOT 253807 SOS 136510 HAS SOPS 135520 HAS SOUS 73819 HAS SOUPS 73620 WITH SCORE 73756.51
AT ITER 280 NEW BEST:: SOT 253759 SOS 136462 HAS SOPS 135472 HAS SOUS 73787 HAS SOUPS 73588 WITH SCORE 73724.462
AT ITER 285 NEW BEST:: SOT 253759 SOS 136480 HAS SOPS 135490 HAS SOUS 73774 HAS SOUPS 73575 WITH SCORE 73711.48
AT ITER 289 NEW BEST:: SOT 252112 SOS 134880 HAS SOPS 133890 HAS SOUS 73149 HAS SOUPS 72950 WITH SCORE 73084.88
AT ITER 292 NEW BEST:: SOT 252110 SOS 134878 HAS SOPS 133888 HAS SOUS 73145 HAS SOUPS 72946 WITH SCORE 73080.878
AT ITER 298 NEW BEST:: SOT 252064 SOS 134750 HAS SOPS 133760 HAS SOUS 73053 HAS SOUPS 72854 WITH SCORE 72988.75
AT ITER 304 NEW BEST:: SOT 252074 SOS 134768 HAS SOPS 133778 HAS SOUS 73050 HAS SOUPS 72851 WITH SCORE 72985.768
AT ITER 313 NEW BEST:: SOT 250574 SOS 133177 HAS SOPS 132185 HAS SOUS 72300 HAS SOUPS 72101 WITH SCORE 72234.177
AT ITER 322 NEW BEST:: SOT 250290 SOS 132984 HAS SOPS 131992 HAS SOUS 72129 HAS SOUPS 71930 WITH SCORE 72062.984
AT ITER 345 NEW BEST:: SOT 250264 SOS 132958 HAS SOPS 131966 HAS SOUS 72081 HAS SOUPS 71882 WITH SCORE 72014.958
AT ITER 348 NEW BEST:: SOT 250507 SOS 133499 HAS SOPS 132507 HAS SOUS 71729 HAS SOUPS 71530 WITH SCORE 71663.499
AT ITER 355 NEW BEST:: SOT 250754 SOS 134145 HAS SOPS 133153 HAS SOUS 70868 HAS SOUPS 70669 WITH SCORE 70803.145
AT ITER 368 NEW BEST:: SOT 250774 SOS 134159 HAS SOPS 133167 HAS SOUS 70825 HAS SOUPS 70626 WITH SCORE 70760.159
AT ITER 371 NEW BEST:: SOT 250197 SOS 133582 HAS SOPS 132590 HAS SOUS 70758 HAS SOUPS 70559 WITH SCORE 70692.582
AT ITER 373 NEW BEST:: SOT 250142 SOS 133522 HAS SOPS 132530 HAS SOUS 70705 HAS SOUPS 70506 WITH SCORE 70639.522
AT ITER 375 NEW BEST:: SOT 250094 SOS 133241 HAS SOPS 132249 HAS SOUS 70609 HAS SOUPS 70410 WITH SCORE 70543.241
AT ITER 380 NEW BEST:: SOT 250076 SOS 133223 HAS SOPS 132231 HAS SOUS 70602 HAS SOUPS 70403 WITH SCORE 70536.223
AT ITER 405 NEW BEST:: SOT 250051 SOS 133157 HAS SOPS 132165 HAS SOUS 70552 HAS SOUPS 70353 WITH SCORE 70486.157
AT ITER 408 NEW BEST:: SOT 250051 SOS 133130 HAS SOPS 132138 HAS SOUS 70552 HAS SOUPS 70353 WITH SCORE 70486.13
AT ITER 414 NEW BEST:: SOT 250039 SOS 133118 HAS SOPS 132126 HAS SOUS 70532 HAS SOUPS 70333 WITH SCORE 70466.118
AT ITER 419 NEW BEST:: SOT 251076 SOS 134295 HAS SOPS 133303 HAS SOUS 70331 HAS SOUPS 70132 WITH SCORE 70266.295
AT ITER 429 NEW BEST:: SOT 251092 SOS 134226 HAS SOPS 133234 HAS SOUS 70262 HAS SOUPS 70063 WITH SCORE 70197.226
AT ITER 433 NEW BEST:: SOT 249962 SOS 133136 HAS SOPS 132144 HAS SOUS 69200 HAS SOUPS 69001 WITH SCORE 69134.136
AT ITER 434 NEW BEST:: SOT 249965 SOS 133104 HAS SOPS 132112 HAS SOUS 68786 HAS SOUPS 68587 WITH SCORE 68720.104
AT ITER 448 NEW BEST:: SOT 249987 SOS 133126 HAS SOPS 132134 HAS SOUS 68762 HAS SOUPS 68563 WITH SCORE 68696.126
AT ITER 449 NEW BEST:: SOT 249742 SOS 132877 HAS SOPS 131885 HAS SOUS 68513 HAS SOUPS 68314 WITH SCORE 68446.877
AT ITER 453 NEW BEST:: SOT 249494 SOS 132741 HAS SOPS 131749 HAS SOUS 68407 HAS SOUPS 68208 WITH SCORE 68340.741
AT ITER 476 NEW BEST:: SOT 249441 SOS 132688 HAS SOPS 131691 HAS SOUS 68320 HAS SOUPS 68121 WITH SCORE 68253.688
AT ITER 478 NEW BEST:: SOT 249417 SOS 132648 HAS SOPS 131651 HAS SOUS 68280 HAS SOUPS 68081 WITH SCORE 68213.648
AT ITER 497 NEW BEST:: SOT 248427 SOS 130997 HAS SOPS 130000 HAS SOUS 67214 HAS SOUPS 67015 WITH SCORE 67145.997
AT ITER 502 NEW BEST:: SOT 248414 SOS 130984 HAS SOPS 129981 HAS SOUS 67217 HAS SOUPS 67012 WITH SCORE 67142.984
AT ITER 520 NEW BEST:: SOT 248403 SOS 130962 HAS SOPS 129959 HAS SOUS 67195 HAS SOUPS 66990 WITH SCORE 67120.962
AT ITER 529 NEW BEST:: SOT 246953 SOS 129512 HAS SOPS 128509 HAS SOUS 66545 HAS SOUPS 66340 WITH SCORE 66469.512
AT ITER 540 NEW BEST:: SOT 246920 SOS 129479 HAS SOPS 128476 HAS SOUS 66512 HAS SOUPS 66307 WITH SCORE 66436.479
AT ITER 551 NEW BEST:: SOT 246865 SOS 129685 HAS SOPS 128682 HAS SOUS 66391 HAS SOUPS 66186 WITH SCORE 66315.685
AT ITER 556 NEW BEST:: SOT 246898 SOS 129751 HAS SOPS 128748 HAS SOUS 66331 HAS SOUPS 66126 WITH SCORE 66255.751
AT ITER 557 NEW BEST:: SOT 246727 SOS 129577 HAS SOPS 128574 HAS SOUS 66060 HAS SOUPS 65855 WITH SCORE 65984.577
AT ITER 558 NEW BEST:: SOT 246647 SOS 129497 HAS SOPS 128494 HAS SOUS 65975 HAS SOUPS 65770 WITH SCORE 65899.497
AT ITER 563 NEW BEST:: SOT 246622 SOS 129137 HAS SOPS 128508 HAS SOUS 65929 HAS SOUPS 65760 WITH SCORE 65889.137
AT ITER 564 NEW BEST:: SOT 246536 SOS 128951 HAS SOPS 128346 HAS SOUS 65895 HAS SOUPS 65726 WITH SCORE 65854.951
AT ITER 577 NEW BEST:: SOT 246625 SOS 129255 HAS SOPS 128650 HAS SOUS 65053 HAS SOUPS 64884 WITH SCORE 65013.255
AT ITER 580 NEW BEST:: SOT 246610 SOS 129259 HAS SOPS 128654 HAS SOUS 64989 HAS SOUPS 64820 WITH SCORE 64949.259
AT ITER 581 NEW BEST:: SOT 246607 SOS 129241 HAS SOPS 128636 HAS SOUS 64986 HAS SOUPS 64817 WITH SCORE 64946.241
AT ITER 582 NEW BEST:: SOT 246586 SOS 129049 HAS SOPS 128444 HAS SOUS 64944 HAS SOUPS 64775 WITH SCORE 64904.049
AT ITER 588 NEW BEST:: SOT 246561 SOS 129024 HAS SOPS 128419 HAS SOUS 64894 HAS SOUPS 64725 WITH SCORE 64854.024
AT ITER 590 NEW BEST:: SOT 246368 SOS 128824 HAS SOPS 128219 HAS SOUS 64694 HAS SOUPS 64525 WITH SCORE 64653.824
AT ITER 609 NEW BEST:: SOT 246305 SOS 129176 HAS SOPS 128571 HAS SOUS 64602 HAS SOUPS 64433 WITH SCORE 64562.176
AT ITER 613 NEW BEST:: SOT 245716 SOS 128549 HAS SOPS 127944 HAS SOUS 64279 HAS SOUPS 64110 WITH SCORE 64238.549
AT ITER 614 NEW BEST:: SOT 245710 SOS 128543 HAS SOPS 127938 HAS SOUS 64279 HAS SOUPS 64110 WITH SCORE 64238.543
AT ITER 645 NEW BEST:: SOT 245703 SOS 128536 HAS SOPS 127931 HAS SOUS 64265 HAS SOUPS 64096 WITH SCORE 64224.536
AT ITER 658 NEW BEST:: SOT 245571 SOS 128272 HAS SOPS 127667 HAS SOUS 64001 HAS SOUPS 63832 WITH SCORE 63960.272
AT ITER 665 NEW BEST:: SOT 245472 SOS 128173 HAS SOPS 127568 HAS SOUS 63853 HAS SOUPS 63684 WITH SCORE 63812.173
AT ITER 683 NEW BEST:: SOT 244647 SOS 127435 HAS SOPS 126830 HAS SOUS 63542 HAS SOUPS 63373 WITH SCORE 63500.435
AT ITER 684 NEW BEST:: SOT 244617 SOS 127267 HAS SOPS 126662 HAS SOUS 63482 HAS SOUPS 63313 WITH SCORE 63440.267
AT ITER 691 NEW BEST:: SOT 244495 SOS 126852 HAS SOPS 126247 HAS SOUS 63319 HAS SOUPS 63150 WITH SCORE 63276.852
AT ITER 702 NEW BEST:: SOT 242356 SOS 124765 HAS SOPS 124160 HAS SOUS 63048 HAS SOUPS 62879 WITH SCORE 63003.765
AT ITER 707 NEW BEST:: SOT 242116 SOS 124525 HAS SOPS 123920 HAS SOUS 62818 HAS SOUPS 62649 WITH SCORE 62773.525
AT ITER 710 NEW BEST:: SOT 242112 SOS 124516 HAS SOPS 123911 HAS SOUS 62808 HAS SOUPS 62639 WITH SCORE 62763.516
AT ITER 727 NEW BEST:: SOT 242046 SOS 124428 HAS SOPS 123823 HAS SOUS 62720 HAS SOUPS 62551 WITH SCORE 62675.428
AT ITER 733 NEW BEST:: SOT 242046 SOS 124416 HAS SOPS 123811 HAS SOUS 62708 HAS SOUPS 62539 WITH SCORE 62663.416
AT ITER 740 NEW BEST:: SOT 242007 SOS 124390 HAS SOPS 123785 HAS SOUS 62656 HAS SOUPS 62487 WITH SCORE 62611.39
AT ITER 766 NEW BEST:: SOT 241989 SOS 124372 HAS SOPS 123767 HAS SOUS 62638 HAS SOUPS 62469 WITH SCORE 62593.372
AT ITER 791 NEW BEST:: SOT 241989 SOS 124319 HAS SOPS 123714 HAS SOUS 62638 HAS SOUPS 62469 WITH SCORE 62593.319
AT ITER 796 NEW BEST:: SOT 241995 SOS 124325 HAS SOPS 123720 HAS SOUS 62493 HAS SOUPS 62324 WITH SCORE 62448.325
AT ITER 806 NEW BEST:: SOT 241813 SOS 124068 HAS SOPS 123456 HAS SOUS 62285 HAS SOUPS 62116 WITH SCORE 62240.068
AT ITER 817 NEW BEST:: SOT 241794 SOS 124043 HAS SOPS 123431 HAS SOUS 62247 HAS SOUPS 62078 WITH SCORE 62202.043
AT ITER 822 NEW BEST:: SOT 241239 SOS 123300 HAS SOPS 122688 HAS SOUS 61795 HAS SOUPS 61626 WITH SCORE 61749.3
AT ITER 848 NEW BEST:: SOT 241181 SOS 123215 HAS SOPS 122603 HAS SOUS 61710 HAS SOUPS 61541 WITH SCORE 61664.215
AT ITER 858 NEW BEST:: SOT 241111 SOS 123110 HAS SOPS 122498 HAS SOUS 61605 HAS SOUPS 61436 WITH SCORE 61559.11
AT ITER 877 NEW BEST:: SOT 241091 SOS 123090 HAS SOPS 122478 HAS SOUS 61548 HAS SOUPS 61379 WITH SCORE 61502.09
AT ITER 883 NEW BEST:: SOT 241031 SOS 123030 HAS SOPS 122418 HAS SOUS 61443 HAS SOUPS 61274 WITH SCORE 61397.03
AT ITER 924 NEW BEST:: SOT 241007 SOS 123916 HAS SOPS 123304 HAS SOUS 61383 HAS SOUPS 61214 WITH SCORE 61337.916
AT ITER 933 NEW BEST:: SOT 240957 SOS 123791 HAS SOPS 123179 HAS SOUS 61283 HAS SOUPS 61114 WITH SCORE 61237.791
AT ITER 941 NEW BEST:: SOT 240939 SOS 123764 HAS SOPS 123152 HAS SOUS 61265 HAS SOUPS 61096 WITH SCORE 61219.764
AT ITER 944 NEW BEST:: SOT 240990 SOS 123815 HAS SOPS 123203 HAS SOUS 61235 HAS SOUPS 61066 WITH SCORE 61189.815
AT ITER 949 NEW BEST:: SOT 240981 SOS 123806 HAS SOPS 123194 HAS SOUS 61217 HAS SOUPS 61048 WITH SCORE 61171.806
AT ITER 967 NEW BEST:: SOT 241011 SOS 123746 HAS SOPS 123134 HAS SOUS 61202 HAS SOUPS 61033 WITH SCORE 61156.746
AT ITER 973 NEW BEST:: SOT 241029 SOS 123746 HAS SOPS 123134 HAS SOUS 61192 HAS SOUPS 61023 WITH SCORE 61146.746
AT ITER 976 NEW BEST:: SOT 240364 SOS 123081 HAS SOPS 122469 HAS SOUS 60935 HAS SOUPS 60766 WITH SCORE 60889.081
AT ITER 977 NEW BEST:: SOT 238710 SOS 121405 HAS SOPS 120709 HAS SOUS 59227 HAS SOUPS 59006 WITH SCORE 59127.405
AT ITER 983 NEW BEST:: SOT 238710 SOS 121405 HAS SOPS 120709 HAS SOUS 59190 HAS SOUPS 58969 WITH SCORE 59090.405
AT ITER 985 NEW BEST:: SOT 238710 SOS 121405 HAS SOPS 120709 HAS SOUS 59164 HAS SOUPS 58943 WITH SCORE 59064.405
AT ITER 994 NEW BEST:: SOT 238311 SOS 121006 HAS SOPS 120310 HAS SOUS 59100 HAS SOUPS 58879 WITH SCORE 59000.006
AT ITER 1000 NEW BEST:: SOT 238262 SOS 120894 HAS SOPS 120198 HAS SOUS 59042 HAS SOUPS 58821 WITH SCORE 58941.894
AT ITER 1001 NEW BEST:: SOT 238248 SOS 120880 HAS SOPS 120184 HAS SOUS 59028 HAS SOUPS 58807 WITH SCORE 58927.88
AT ITER 1021 NEW BEST:: SOT 238201 SOS 120777 HAS SOPS 120081 HAS SOUS 58925 HAS SOUPS 58704 WITH SCORE 58824.777
AT ITER 1023 NEW BEST:: SOT 238197 SOS 120769 HAS SOPS 120065 HAS SOUS 58921 HAS SOUPS 58701 WITH SCORE 58821.769
AT ITER 1041 NEW BEST:: SOT 238188 SOS 120760 HAS SOPS 120059 HAS SOUS 58918 HAS SOUPS 58698 WITH SCORE 58818.76
AT ITER 1048 NEW BEST:: SOT 238186 SOS 120758 HAS SOPS 120057 HAS SOUS 57710 HAS SOUPS 57490 WITH SCORE 57610.758
AT ITER 1085 NEW BEST:: SOT 238170 SOS 120735 HAS SOPS 120034 HAS SOUS 57678 HAS SOUPS 57458 WITH SCORE 57578.735
AT ITER 1115 NEW BEST:: SOT 238152 SOS 120710 HAS SOPS 120016 HAS SOUS 57667 HAS SOUPS 57454 WITH SCORE 57574.71
AT ITER 1135 NEW BEST:: SOT 238057 SOS 114579 HAS SOPS 113786 HAS SOUS 57449 HAS SOUPS 57228 WITH SCORE 57342.579
AT ITER 1138 NEW BEST:: SOT 237908 SOS 114764 HAS SOPS 113971 HAS SOUS 57337 HAS SOUPS 57116 WITH SCORE 57230.764
AT ITER 1176 NEW BEST:: SOT 237913 SOS 114665 HAS SOPS 113854 HAS SOUS 57221 HAS SOUPS 57000 WITH SCORE 57114.665
AT ITER 1187 NEW BEST:: SOT 237771 SOS 114951 HAS SOPS 114140 HAS SOUS 56917 HAS SOUPS 56696 WITH SCORE 56810.951
AT ITER 1193 NEW BEST:: SOT 237726 SOS 114861 HAS SOPS 114050 HAS SOUS 56827 HAS SOUPS 56606 WITH SCORE 56720.861
AT ITER 1197 NEW BEST:: SOT 237616 SOS 114780 HAS SOPS 113969 HAS SOUS 56659 HAS SOUPS 56438 WITH SCORE 56552.78
AT ITER 1199 NEW BEST:: SOT 237540 SOS 114704 HAS SOPS 113893 HAS SOUS 56533 HAS SOUPS 56312 WITH SCORE 56426.704
AT ITER 1219 NEW BEST:: SOT 237504 SOS 114675 HAS SOPS 113854 HAS SOUS 56461 HAS SOUPS 56240 WITH SCORE 56354.675
AT ITER 1225 NEW BEST:: SOT 237437 SOS 114541 HAS SOPS 113720 HAS SOUS 56327 HAS SOUPS 56106 WITH SCORE 56220.541
AT ITER 1233 NEW BEST:: SOT 237357 SOS 114664 HAS SOPS 113858 HAS SOUS 56306 HAS SOUPS 56085 WITH SCORE 56199.664
AT ITER 1236 NEW BEST:: SOT 237347 SOS 114659 HAS SOPS 113853 HAS SOUS 56301 HAS SOUPS 56080 WITH SCORE 56194.659
AT ITER 1239 NEW BEST:: SOT 237309 SOS 114621 HAS SOPS 113815 HAS SOUS 56292 HAS SOUPS 56071 WITH SCORE 56185.621
AT ITER 1240 NEW BEST:: SOT 237273 SOS 114565 HAS SOPS 113759 HAS SOUS 56230 HAS SOUPS 56009 WITH SCORE 56123.565
AT ITER 1260 NEW BEST:: SOT 237100 SOS 114391 HAS SOPS 113585 HAS SOUS 56088 HAS SOUPS 55867 WITH SCORE 55981.391
AT ITER 1270 NEW BEST:: SOT 237029 SOS 114321 HAS SOPS 113521 HAS SOUS 56035 HAS SOUPS 55814 WITH SCORE 55928.321
AT ITER 1276 NEW BEST:: SOT 236231 SOS 116280 HAS SOPS 114524 HAS SOUS 55498 HAS SOUPS 55085 WITH SCORE 55201.28
AT ITER 1292 NEW BEST:: SOT 236225 SOS 116286 HAS SOPS 114530 HAS SOUS 55492 HAS SOUPS 55079 WITH SCORE 55195.286
AT ITER 1306 NEW BEST:: SOT 236223 SOS 116284 HAS SOPS 114528 HAS SOUS 55488 HAS SOUPS 55075 WITH SCORE 55191.284
AT ITER 1321 NEW BEST:: SOT 236225 SOS 116252 HAS SOPS 114496 HAS SOUS 55456 HAS SOUPS 55043 WITH SCORE 55159.252
AT ITER 1339 NEW BEST:: SOT 236257 SOS 116258 HAS SOPS 114502 HAS SOUS 55443 HAS SOUPS 55030 WITH SCORE 55146.258
AT ITER 1349 NEW BEST:: SOT 236164 SOS 116100 HAS SOPS 114344 HAS SOUS 55257 HAS SOUPS 54844 WITH SCORE 54960.1
AT ITER 1356 NEW BEST:: SOT 236156 SOS 116092 HAS SOPS 114328 HAS SOUS 55247 HAS SOUPS 54832 WITH SCORE 54948.092
AT ITER 1357 NEW BEST:: SOT 236078 SOS 116014 HAS SOPS 114250 HAS SOUS 55205 HAS SOUPS 54790 WITH SCORE 54906.014
AT ITER 1385 NEW BEST:: SOT 236042 SOS 115856 HAS SOPS 114098 HAS SOUS 55127 HAS SOUPS 54712 WITH SCORE 54827.856
AT ITER 1393 NEW BEST:: SOT 236024 SOS 115832 HAS SOPS 114074 HAS SOUS 55091 HAS SOUPS 54676 WITH SCORE 54791.832
AT ITER 1400 NEW BEST:: SOT 236036 SOS 115738 HAS SOPS 113985 HAS SOUS 55025 HAS SOUPS 54610 WITH SCORE 54725.738
AT ITER 1407 NEW BEST:: SOT 236005 SOS 115712 HAS SOPS 113959 HAS SOUS 54999 HAS SOUPS 54584 WITH SCORE 54699.712
AT ITER 1412 NEW BEST:: SOT 235986 SOS 115693 HAS SOPS 113940 HAS SOUS 54947 HAS SOUPS 54532 WITH SCORE 54647.693
AT ITER 1417 NEW BEST:: SOT 235986 SOS 115683 HAS SOPS 113930 HAS SOUS 54937 HAS SOUPS 54522 WITH SCORE 54637.683
AT ITER 1424 NEW BEST:: SOT 235966 SOS 115663 HAS SOPS 113900 HAS SOUS 54899 HAS SOUPS 54484 WITH SCORE 54599.663
AT ITER 1427 NEW BEST:: SOT 235939 SOS 115636 HAS SOPS 113873 HAS SOUS 54872 HAS SOUPS 54457 WITH SCORE 54572.636
AT ITER 1440 NEW BEST:: SOT 235928 SOS 115614 HAS SOPS 113851 HAS SOUS 54864 HAS SOUPS 54449 WITH SCORE 54564.614
AT ITER 1453 NEW BEST:: SOT 235837 SOS 115523 HAS SOPS 113760 HAS SOUS 54758 HAS SOUPS 54343 WITH SCORE 54458.523
AT ITER 1458 NEW BEST:: SOT 235782 SOS 115605 HAS SOPS 113852 HAS SOUS 54703 HAS SOUPS 54288 WITH SCORE 54403.605
AT ITER 1468 NEW BEST:: SOT 235755 SOS 115564 HAS SOPS 113811 HAS SOUS 54625 HAS SOUPS 54210 WITH SCORE 54325.564
AT ITER 1486 NEW BEST:: SOT 235713 SOS 115512 HAS SOPS 113759 HAS SOUS 54596 HAS SOUPS 54181 WITH SCORE 54296.512
AT ITER 1520 NEW BEST:: SOT 235689 SOS 115488 HAS SOPS 113735 HAS SOUS 54548 HAS SOUPS 54133 WITH SCORE 54248.488
AT ITER 1525 NEW BEST:: SOT 235686 SOS 115438 HAS SOPS 113685 HAS SOUS 54542 HAS SOUPS 54127 WITH SCORE 54242.438
AT ITER 1569 NEW BEST:: SOT 235582 SOS 115601 HAS SOPS 113848 HAS SOUS 54449 HAS SOUPS 54034 WITH SCORE 54149.601
AT ITER 1592 NEW BEST:: SOT 235525 SOS 115544 HAS SOPS 113791 HAS SOUS 54392 HAS SOUPS 53977 WITH SCORE 54092.544
AT ITER 1606 NEW BEST:: SOT 235443 SOS 115506 HAS SOPS 113753 HAS SOUS 54388 HAS SOUPS 53973 WITH SCORE 54088.506
AT ITER 1625 NEW BEST:: SOT 235455 SOS 115518 HAS SOPS 113765 HAS SOUS 54366 HAS SOUPS 53951 WITH SCORE 54066.518
AT ITER 1631 NEW BEST:: SOT 235456 SOS 115524 HAS SOPS 113771 HAS SOUS 54363 HAS SOUPS 53948 WITH SCORE 54063.524
AT ITER 1641 NEW BEST:: SOT 235453 SOS 115518 HAS SOPS 113765 HAS SOUS 54357 HAS SOUPS 53942 WITH SCORE 54057.518
AT ITER 1677 NEW BEST:: SOT 235450 SOS 115512 HAS SOPS 113759 HAS SOUS 54354 HAS SOUPS 53939 WITH SCORE 54054.512
AT ITER 1710 NEW BEST:: SOT 235444 SOS 115506 HAS SOPS 113753 HAS SOUS 54348 HAS SOUPS 53933 WITH SCORE 54048.506
AT ITER 1717 NEW BEST:: SOT 235430 SOS 115399 HAS SOPS 113646 HAS SOUS 54269 HAS SOUPS 53854 WITH SCORE 53969.399
AT ITER 1718 NEW BEST:: SOT 235154 SOS 115097 HAS SOPS 113344 HAS SOUS 53954 HAS SOUPS 53539 WITH SCORE 53654.097
AT ITER 1724 NEW BEST:: SOT 235024 SOS 114834 HAS SOPS 113081 HAS SOUS 53872 HAS SOUPS 53457 WITH SCORE 53571.834
AT ITER 1736 NEW BEST:: SOT 235059 SOS 114869 HAS SOPS 113110 HAS SOUS 53845 HAS SOUPS 53430 WITH SCORE 53544.869
AT ITER 1749 NEW BEST:: SOT 235050 SOS 114860 HAS SOPS 113101 HAS SOUS 53836 HAS SOUPS 53421 WITH SCORE 53535.86
AT ITER 1802 NEW BEST:: SOT 235394 SOS 115204 HAS SOPS 113445 HAS SOUS 53608 HAS SOUPS 53193 WITH SCORE 53308.204
AT ITER 1828 NEW BEST:: SOT 235327 SOS 115137 HAS SOPS 113378 HAS SOUS 53533 HAS SOUPS 53118 WITH SCORE 53233.137
AT ITER 1853 NEW BEST:: SOT 235371 SOS 115203 HAS SOPS 113444 HAS SOUS 53313 HAS SOUPS 52898 WITH SCORE 53013.203
AT ITER 1861 NEW BEST:: SOT 235306 SOS 115138 HAS SOPS 113379 HAS SOUS 53183 HAS SOUPS 52768 WITH SCORE 52883.138
AT ITER 1870 NEW BEST:: SOT 235084 SOS 114664 HAS SOPS 112905 HAS SOUS 52856 HAS SOUPS 52441 WITH SCORE 52555.664
AT ITER 1886 NEW BEST:: SOT 235080 SOS 114640 HAS SOPS 112881 HAS SOUS 52852 HAS SOUPS 52437 WITH SCORE 52551.64
AT ITER 1889 NEW BEST:: SOT 235044 SOS 114580 HAS SOPS 112821 HAS SOUS 52804 HAS SOUPS 52389 WITH SCORE 52503.58
AT ITER 1907 NEW BEST:: SOT 235029 SOS 114583 HAS SOPS 112824 HAS SOUS 52796 HAS SOUPS 52381 WITH SCORE 52495.583
AT ITER 1917 NEW BEST:: SOT 234997 SOS 114479 HAS SOPS 112720 HAS SOUS 52732 HAS SOUPS 52317 WITH SCORE 52431.479
AT ITER 1923 NEW BEST:: SOT 234975 SOS 114457 HAS SOPS 112698 HAS SOUS 52615 HAS SOUPS 52200 WITH SCORE 52314.457
AT ITER 1927 NEW BEST:: SOT 234909 SOS 114286 HAS SOPS 112527 HAS SOUS 52456 HAS SOUPS 52041 WITH SCORE 52155.286
AT ITER 1933 NEW BEST:: SOT 234917 SOS 114196 HAS SOPS 112437 HAS SOUS 52445 HAS SOUPS 52030 WITH SCORE 52144.196
AT ITER 1951 NEW BEST:: SOT 234868 SOS 114108 HAS SOPS 112349 HAS SOUS 52395 HAS SOUPS 51980 WITH SCORE 52094.108
AT ITER 1961 NEW BEST:: SOT 234866 SOS 114084 HAS SOPS 112325 HAS SOUS 52380 HAS SOUPS 51965 WITH SCORE 52079.084
AT ITER 1967 NEW BEST:: SOT 234827 SOS 114019 HAS SOPS 112260 HAS SOUS 52328 HAS SOUPS 51913 WITH SCORE 52027.019
AT ITER 1973 NEW BEST:: SOT 234826 SOS 114017 HAS SOPS 112258 HAS SOUS 52326 HAS SOUPS 51911 WITH SCORE 52025.017
AT ITER 1975 NEW BEST:: SOT 234785 SOS 113976 HAS SOPS 112217 HAS SOUS 52281 HAS SOUPS 51866 WITH SCORE 51979.976
AT ITER 1980 NEW BEST:: SOT 234785 SOS 113973 HAS SOPS 112214 HAS SOUS 52239 HAS SOUPS 51824 WITH SCORE 51937.973
AT ITER 1981 NEW BEST:: SOT 234679 SOS 113989 HAS SOPS 112230 HAS SOUS 52224 HAS SOUPS 51809 WITH SCORE 51922.989
AT ITER 1992 NEW BEST:: SOT 234683 SOS 113995 HAS SOPS 112236 HAS SOUS 52204 HAS SOUPS 51789 WITH SCORE 51902.995
AT ITER 2011 NEW BEST:: SOT 234675 SOS 113987 HAS SOPS 112236 HAS SOUS 52204 HAS SOUPS 51789 WITH SCORE 51902.987
AT ITER 2012 NEW BEST:: SOT 234587 SOS 113791 HAS SOPS 112040 HAS SOUS 52122 HAS SOUPS 51707 WITH SCORE 51820.791
AT ITER 2026 NEW BEST:: SOT 234507 SOS 113711 HAS SOPS 111960 HAS SOUS 51902 HAS SOUPS 51487 WITH SCORE 51600.711
AT ITER 2035 NEW BEST:: SOT 234372 SOS 113621 HAS SOPS 111870 HAS SOUS 51902 HAS SOUPS 51487 WITH SCORE 51600.621
AT ITER 2052 NEW BEST:: SOT 234332 SOS 113517 HAS SOPS 111766 HAS SOUS 51832 HAS SOUPS 51417 WITH SCORE 51530.517
AT ITER 2080 NEW BEST:: SOT 234403 SOS 113568 HAS SOPS 111817 HAS SOUS 51703 HAS SOUPS 51288 WITH SCORE 51401.568
AT ITER 2087 NEW BEST:: SOT 234358 SOS 113469 HAS SOPS 111718 HAS SOUS 51621 HAS SOUPS 51206 WITH SCORE 51319.469
AT ITER 2094 NEW BEST:: SOT 234265 SOS 113224 HAS SOPS 111473 HAS SOUS 51430 HAS SOUPS 51015 WITH SCORE 51128.224
AT ITER 2097 NEW BEST:: SOT 234211 SOS 113127 HAS SOPS 111376 HAS SOUS 51365 HAS SOUPS 50950 WITH SCORE 51063.127
AT ITER 2147 NEW BEST:: SOT 234189 SOS 113079 HAS SOPS 111328 HAS SOUS 51317 HAS SOUPS 50902 WITH SCORE 51015.079
AT ITER 2163 NEW BEST:: SOT 234183 SOS 113057 HAS SOPS 111306 HAS SOUS 51298 HAS SOUPS 50883 WITH SCORE 50996.057
AT ITER 2172 NEW BEST:: SOT 234141 SOS 113015 HAS SOPS 111264 HAS SOUS 51236 HAS SOUPS 50821 WITH SCORE 50934.015
AT ITER 2173 NEW BEST:: SOT 234264 SOS 113138 HAS SOPS 111387 HAS SOUS 51207 HAS SOUPS 50792 WITH SCORE 50905.138
AT ITER 2217 NEW BEST:: SOT 234260 SOS 113134 HAS SOPS 111383 HAS SOUS 51199 HAS SOUPS 50784 WITH SCORE 50897.134
AT ITER 2220 NEW BEST:: SOT 234234 SOS 113074 HAS SOPS 111306 HAS SOUS 51139 HAS SOUPS 50724 WITH SCORE 50837.074
AT ITER 2232 NEW BEST:: SOT 234054 SOS 112894 HAS SOPS 111126 HAS SOUS 51055 HAS SOUPS 50640 WITH SCORE 50752.894
AT ITER 2283 NEW BEST:: SOT 234042 SOS 112882 HAS SOPS 111114 HAS SOUS 51026 HAS SOUPS 50611 WITH SCORE 50723.882
AT ITER 2288 NEW BEST:: SOT 234042 SOS 112832 HAS SOPS 110836 HAS SOUS 51064 HAS SOUPS 50611 WITH SCORE 50723.832
AT ITER 2293 NEW BEST:: SOT 234042 SOS 112424 HAS SOPS 110428 HAS SOUS 51064 HAS SOUPS 50611 WITH SCORE 50723.424
AT ITER 2304 NEW BEST:: SOT 234047 SOS 112542 HAS SOPS 110546 HAS SOUS 51047 HAS SOUPS 50594 WITH SCORE 50706.542
AT ITER 2315 NEW BEST:: SOT 234029 SOS 112516 HAS SOPS 110520 HAS SOUS 51025 HAS SOUPS 50572 WITH SCORE 50684.516
AT ITER 2323 NEW BEST:: SOT 233906 SOS 112415 HAS SOPS 110419 HAS SOUS 50910 HAS SOUPS 50457 WITH SCORE 50569.415
AT ITER 2336 NEW BEST:: SOT 233867 SOS 112337 HAS SOPS 110341 HAS SOUS 50832 HAS SOUPS 50379 WITH SCORE 50491.337
AT ITER 2341 NEW BEST:: SOT 233864 SOS 112334 HAS SOPS 110338 HAS SOUS 50829 HAS SOUPS 50376 WITH SCORE 50488.334
AT ITER 2420 NEW BEST:: SOT 233864 SOS 112334 HAS SOPS 110338 HAS SOUS 50828 HAS SOUPS 50375 WITH SCORE 50487.334
AT ITER 2425 NEW BEST:: SOT 233837 SOS 112307 HAS SOPS 110311 HAS SOUS 50803 HAS SOUPS 50350 WITH SCORE 50462.307
AT ITER 2426 NEW BEST:: SOT 233816 SOS 112286 HAS SOPS 110290 HAS SOUS 50761 HAS SOUPS 50308 WITH SCORE 50420.286
AT ITER 2479 NEW BEST:: SOT 233804 SOS 112274 HAS SOPS 110278 HAS SOUS 50731 HAS SOUPS 50278 WITH SCORE 50390.274
AT ITER 2481 NEW BEST:: SOT 233806 SOS 112314 HAS SOPS 110318 HAS SOUS 50716 HAS SOUPS 50263 WITH SCORE 50375.314
AT ITER 2506 NEW BEST:: SOT 233470 SOS 111915 HAS SOPS 109919 HAS SOUS 50555 HAS SOUPS 50102 WITH SCORE 50213.915
AT ITER 2523 NEW BEST:: SOT 233443 SOS 111885 HAS SOPS 109889 HAS SOUS 50501 HAS SOUPS 50048 WITH SCORE 50159.885
AT ITER 2550 NEW BEST:: SOT 233409 SOS 111614 HAS SOPS 109618 HAS SOUS 50450 HAS SOUPS 49997 WITH SCORE 50108.614
AT ITER 2563 NEW BEST:: SOT 233412 SOS 111596 HAS SOPS 109600 HAS SOUS 50450 HAS SOUPS 49997 WITH SCORE 50108.596
AT ITER 2581 NEW BEST:: SOT 233401 SOS 111574 HAS SOPS 109578 HAS SOUS 50326 HAS SOUPS 49873 WITH SCORE 49984.574
AT ITER 2593 NEW BEST:: SOT 233376 SOS 111541 HAS SOPS 109545 HAS SOUS 50277 HAS SOUPS 49824 WITH SCORE 49935.541
AT ITER 2644 NEW BEST:: SOT 233377 SOS 111546 HAS SOPS 109550 HAS SOUS 50275 HAS SOUPS 49822 WITH SCORE 49933.546
AT ITER 2691 NEW BEST:: SOT 233377 SOS 111546 HAS SOPS 109478 HAS SOUS 50271 HAS SOUPS 49773 WITH SCORE 49884.546
AT ITER 2726 NEW BEST:: SOT 233342 SOS 111511 HAS SOPS 109443 HAS SOUS 50236 HAS SOUPS 49738 WITH SCORE 49849.511
AT ITER 2728 NEW BEST:: SOT 233318 SOS 111487 HAS SOPS 109449 HAS SOUS 50195 HAS SOUPS 49727 WITH SCORE 49838.487
AT ITER 2741 NEW BEST:: SOT 232164 SOS 110327 HAS SOPS 108289 HAS SOUS 49656 HAS SOUPS 49188 WITH SCORE 49298.327
AT ITER 2765 NEW BEST:: SOT 232164 SOS 110105 HAS SOPS 108103 HAS SOUS 49650 HAS SOUPS 49188 WITH SCORE 49298.105
AT ITER 2768 NEW BEST:: SOT 232169 SOS 110099 HAS SOPS 108097 HAS SOUS 49644 HAS SOUPS 49182 WITH SCORE 49292.099
AT ITER 2773 NEW BEST:: SOT 232165 SOS 110095 HAS SOPS 108093 HAS SOUS 49608 HAS SOUPS 49146 WITH SCORE 49256.095
AT ITER 2836 NEW BEST:: SOT 232154 SOS 110084 HAS SOPS 108071 HAS SOUS 49598 HAS SOUPS 49134 WITH SCORE 49244.084
AT ITER 2843 NEW BEST:: SOT 232148 SOS 110066 HAS SOPS 108047 HAS SOUS 49580 HAS SOUPS 49116 WITH SCORE 49226.066
AT ITER 2864 NEW BEST:: SOT 232003 SOS 109795 HAS SOPS 107776 HAS SOUS 49452 HAS SOUPS 48988 WITH SCORE 49097.795
AT ITER 2885 NEW BEST:: SOT 232005 SOS 109797 HAS SOPS 107778 HAS SOUS 49446 HAS SOUPS 48982 WITH SCORE 49091.797
AT ITER 2900 NEW BEST:: SOT 231968 SOS 109736 HAS SOPS 107717 HAS SOUS 49398 HAS SOUPS 48934 WITH SCORE 49043.736
AT ITER 2905 NEW BEST:: SOT 231971 SOS 109739 HAS SOPS 107720 HAS SOUS 49332 HAS SOUPS 48868 WITH SCORE 48977.739
AT ITER 2916 NEW BEST:: SOT 231947 SOS 109674 HAS SOPS 107655 HAS SOUS 49306 HAS SOUPS 48842 WITH SCORE 48951.674
AT ITER 2933 NEW BEST:: SOT 231905 SOS 109610 HAS SOPS 107591 HAS SOUS 49244 HAS SOUPS 48780 WITH SCORE 48889.61
AT ITER 2938 NEW BEST:: SOT 231916 SOS 109392 HAS SOPS 107373 HAS SOUS 49222 HAS SOUPS 48758 WITH SCORE 48867.392
AT ITER 2979 NEW BEST:: SOT 231920 SOS 109396 HAS SOPS 107377 HAS SOUS 49204 HAS SOUPS 48740 WITH SCORE 48849.396
AT ITER 2984 NEW BEST:: SOT 231884 SOS 109342 HAS SOPS 107323 HAS SOUS 49132 HAS SOUPS 48668 WITH SCORE 48777.342
AT ITER 3003 NEW BEST:: SOT 231880 SOS 109338 HAS SOPS 107323 HAS SOUS 49128 HAS SOUPS 48664 WITH SCORE 48773.338
AT ITER 3013 NEW BEST:: SOT 231293 SOS 108751 HAS SOPS 106736 HAS SOUS 48856 HAS SOUPS 48392 WITH SCORE 48500.751
AT ITER 3047 NEW BEST:: SOT 229726 SOS 107345 HAS SOPS 105330 HAS SOUS 48828 HAS SOUPS 48364 WITH SCORE 48471.345
AT ITER 3059 NEW BEST:: SOT 229726 SOS 107330 HAS SOPS 105315 HAS SOUS 48826 HAS SOUPS 48362 WITH SCORE 48469.33
AT ITER 3108 NEW BEST:: SOT 229606 SOS 107178 HAS SOPS 105163 HAS SOUS 48766 HAS SOUPS 48302 WITH SCORE 48409.178
AT ITER 3124 NEW BEST:: SOT 229645 SOS 107217 HAS SOPS 105202 HAS SOUS 48610 HAS SOUPS 48146 WITH SCORE 48253.217
AT ITER 3158 NEW BEST:: SOT 229579 SOS 107094 HAS SOPS 105079 HAS SOUS 48558 HAS SOUPS 48094 WITH SCORE 48201.094
AT ITER 3159 NEW BEST:: SOT 229531 SOS 107046 HAS SOPS 105031 HAS SOUS 48478 HAS SOUPS 48014 WITH SCORE 48121.046
AT ITER 3164 NEW BEST:: SOT 229531 SOS 107046 HAS SOPS 105031 HAS SOUS 48471 HAS SOUPS 48007 WITH SCORE 48114.046
AT ITER 3174 NEW BEST:: SOT 229582 SOS 107447 HAS SOPS 105320 HAS SOUS 48411 HAS SOUPS 47947 WITH SCORE 48054.447
AT ITER 3182 NEW BEST:: SOT 229582 SOS 107447 HAS SOPS 105320 HAS SOUS 48402 HAS SOUPS 47938 WITH SCORE 48045.447
AT ITER 3195 NEW BEST:: SOT 229540 SOS 107332 HAS SOPS 105236 HAS SOUS 48396 HAS SOUPS 47932 WITH SCORE 48039.332
AT ITER 3200 NEW BEST:: SOT 229540 SOS 107327 HAS SOPS 105231 HAS SOUS 48391 HAS SOUPS 47927 WITH SCORE 48034.327
AT ITER 3217 NEW BEST:: SOT 229526 SOS 107313 HAS SOPS 105217 HAS SOUS 48375 HAS SOUPS 47911 WITH SCORE 48018.313
AT ITER 3218 NEW BEST:: SOT 229544 SOS 107309 HAS SOPS 105175 HAS SOUS 48373 HAS SOUPS 47909 WITH SCORE 48016.309
AT ITER 3225 NEW BEST:: SOT 229606 SOS 107371 HAS SOPS 105237 HAS SOUS 48365 HAS SOUPS 47901 WITH SCORE 48008.371
AT ITER 3251 NEW BEST:: SOT 229661 SOS 107064 HAS SOPS 104930 HAS SOUS 48357 HAS SOUPS 47893 WITH SCORE 48000.064
AT ITER 3264 NEW BEST:: SOT 229630 SOS 107033 HAS SOPS 104925 HAS SOUS 48321 HAS SOUPS 47857 WITH SCORE 47964.033
AT ITER 3269 NEW BEST:: SOT 229607 SOS 106987 HAS SOPS 104879 HAS SOUS 48293 HAS SOUPS 47829 WITH SCORE 47935.987
AT ITER 3271 NEW BEST:: SOT 229555 SOS 106915 HAS SOPS 104807 HAS SOUS 48140 HAS SOUPS 47676 WITH SCORE 47782.915
AT ITER 3275 NEW BEST:: SOT 229552 SOS 106912 HAS SOPS 104804 HAS SOUS 48134 HAS SOUPS 47670 WITH SCORE 47776.912
AT ITER 3276 NEW BEST:: SOT 229503 SOS 106923 HAS SOPS 104825 HAS SOUS 48121 HAS SOUPS 47657 WITH SCORE 47763.923
AT ITER 3298 NEW BEST:: SOT 229458 SOS 106598 HAS SOPS 104500 HAS SOUS 47950 HAS SOUPS 47486 WITH SCORE 47592.598
AT ITER 3303 NEW BEST:: SOT 229362 SOS 106495 HAS SOPS 104397 HAS SOUS 47946 HAS SOUPS 47482 WITH SCORE 47588.495
AT ITER 3304 NEW BEST:: SOT 229361 SOS 106495 HAS SOPS 104397 HAS SOUS 47945 HAS SOUPS 47481 WITH SCORE 47587.495
AT ITER 3368 NEW BEST:: SOT 229355 SOS 106489 HAS SOPS 104315 HAS SOUS 47994 HAS SOUPS 47469 WITH SCORE 47575.489
AT ITER 3398 NEW BEST:: SOT 229354 SOS 106488 HAS SOPS 104314 HAS SOUS 47992 HAS SOUPS 47467 WITH SCORE 47573.488
AT ITER 3401 NEW BEST:: SOT 229354 SOS 106488 HAS SOPS 104314 HAS SOUS 47980 HAS SOUPS 47455 WITH SCORE 47561.488
AT ITER 3424 NEW BEST:: SOT 229290 SOS 106507 HAS SOPS 104310 HAS SOUS 47989 HAS SOUPS 47451 WITH SCORE 47557.507
AT ITER 3431 NEW BEST:: SOT 229253 SOS 106470 HAS SOPS 104273 HAS SOUS 47975 HAS SOUPS 47437 WITH SCORE 47543.47
AT ITER 3462 NEW BEST:: SOT 229233 SOS 106450 HAS SOPS 104253 HAS SOUS 47931 HAS SOUPS 47393 WITH SCORE 47499.45
AT ITER 3472 NEW BEST:: SOT 229206 SOS 106432 HAS SOPS 104235 HAS SOUS 47913 HAS SOUPS 47375 WITH SCORE 47481.432
AT ITER 3490 NEW BEST:: SOT 229203 SOS 106429 HAS SOPS 104232 HAS SOUS 47910 HAS SOUPS 47372 WITH SCORE 47478.429
AT ITER 3493 NEW BEST:: SOT 229165 SOS 106392 HAS SOPS 104195 HAS SOUS 47890 HAS SOUPS 47352 WITH SCORE 47458.392
AT ITER 3506 NEW BEST:: SOT 229163 SOS 106390 HAS SOPS 104193 HAS SOUS 47890 HAS SOUPS 47352 WITH SCORE 47458.39
AT ITER 3521 NEW BEST:: SOT 229161 SOS 105828 HAS SOPS 103631 HAS SOUS 47886 HAS SOUPS 47348 WITH SCORE 47453.828
AT ITER 3523 NEW BEST:: SOT 228864 SOS 105531 HAS SOPS 103334 HAS SOUS 47825 HAS SOUPS 47287 WITH SCORE 47392.531
AT ITER 3562 NEW BEST:: SOT 228810 SOS 105477 HAS SOPS 103280 HAS SOUS 47703 HAS SOUPS 47165 WITH SCORE 47270.477
AT ITER 3584 NEW BEST:: SOT 228768 SOS 105435 HAS SOPS 103238 HAS SOUS 47599 HAS SOUPS 47061 WITH SCORE 47166.435
AT ITER 3598 NEW BEST:: SOT 228747 SOS 105435 HAS SOPS 103238 HAS SOUS 47537 HAS SOUPS 46999 WITH SCORE 47104.435
AT ITER 3608 NEW BEST:: SOT 228716 SOS 105366 HAS SOPS 103169 HAS SOUS 47510 HAS SOUPS 46972 WITH SCORE 47077.366
AT ITER 3615 NEW BEST:: SOT 228707 SOS 105316 HAS SOPS 103119 HAS SOUS 47503 HAS SOUPS 46965 WITH SCORE 47070.316
AT ITER 3628 NEW BEST:: SOT 228686 SOS 105304 HAS SOPS 103107 HAS SOUS 47491 HAS SOUPS 46953 WITH SCORE 47058.304
AT ITER 3634 NEW BEST:: SOT 228623 SOS 105241 HAS SOPS 103044 HAS SOUS 47365 HAS SOUPS 46827 WITH SCORE 46932.241
AT ITER 3636 NEW BEST:: SOT 228726 SOS 105782 HAS SOPS 103585 HAS SOUS 47352 HAS SOUPS 46814 WITH SCORE 46919.782
AT ITER 3637 NEW BEST:: SOT 228724 SOS 105758 HAS SOPS 103561 HAS SOUS 47348 HAS SOUPS 46810 WITH SCORE 46915.758
AT ITER 3641 NEW BEST:: SOT 228724 SOS 105754 HAS SOPS 103557 HAS SOUS 47348 HAS SOUPS 46810 WITH SCORE 46915.754
AT ITER 3654 NEW BEST:: SOT 228720 SOS 105746 HAS SOPS 103549 HAS SOUS 47328 HAS SOUPS 46790 WITH SCORE 46895.746
AT ITER 3715 NEW BEST:: SOT 228714 SOS 105734 HAS SOPS 103537 HAS SOUS 47316 HAS SOUPS 46778 WITH SCORE 46883.734
AT ITER 3731 NEW BEST:: SOT 228708 SOS 105722 HAS SOPS 103525 HAS SOUS 47298 HAS SOUPS 46760 WITH SCORE 46865.722
AT ITER 3761 NEW BEST:: SOT 228689 SOS 105674 HAS SOPS 103477 HAS SOUS 47247 HAS SOUPS 46709 WITH SCORE 46814.674
AT ITER 3766 NEW BEST:: SOT 228686 SOS 105668 HAS SOPS 103471 HAS SOUS 47241 HAS SOUPS 46703 WITH SCORE 46808.668
AT ITER 3767 NEW BEST:: SOT 228682 SOS 105664 HAS SOPS 103467 HAS SOUS 47237 HAS SOUPS 46699 WITH SCORE 46804.664
AT ITER 3778 NEW BEST:: SOT 228660 SOS 105152 HAS SOPS 103033 HAS SOUS 47193 HAS SOUPS 46668 WITH SCORE 46773.152
AT ITER 3779 NEW BEST:: SOT 228658 SOS 105148 HAS SOPS 103029 HAS SOUS 47189 HAS SOUPS 46664 WITH SCORE 46769.148
AT ITER 3806 NEW BEST:: SOT 228637 SOS 105127 HAS SOPS 103008 HAS SOUS 47171 HAS SOUPS 46646 WITH SCORE 46751.127
AT ITER 3807 NEW BEST:: SOT 228565 SOS 105048 HAS SOPS 101753 HAS SOUS 47310 HAS SOUPS 46589 WITH SCORE 46694.048
AT ITER 3830 NEW BEST:: SOT 228550 SOS 105023 HAS SOPS 101728 HAS SOUS 47300 HAS SOUPS 46579 WITH SCORE 46684.023
AT ITER 3864 NEW BEST:: SOT 228203 SOS 104674 HAS SOPS 101379 HAS SOUS 46984 HAS SOUPS 46263 WITH SCORE 46367.674
AT ITER 3882 NEW BEST:: SOT 228199 SOS 104670 HAS SOPS 101375 HAS SOUS 46976 HAS SOUPS 46255 WITH SCORE 46359.67
AT ITER 3888 NEW BEST:: SOT 228177 SOS 104648 HAS SOPS 101353 HAS SOUS 46973 HAS SOUPS 46252 WITH SCORE 46356.648
AT ITER 3896 NEW BEST:: SOT 228177 SOS 104648 HAS SOPS 101353 HAS SOUS 46956 HAS SOUPS 46235 WITH SCORE 46339.648
AT ITER 3904 NEW BEST:: SOT 228156 SOS 104622 HAS SOPS 101327 HAS SOUS 46914 HAS SOUPS 46193 WITH SCORE 46297.622
AT ITER 3913 NEW BEST:: SOT 228144 SOS 104610 HAS SOPS 101315 HAS SOUS 46890 HAS SOUPS 46169 WITH SCORE 46273.61
AT ITER 3914 NEW BEST:: SOT 228142 SOS 104600 HAS SOPS 101305 HAS SOUS 46864 HAS SOUPS 46143 WITH SCORE 46247.6
AT ITER 3926 NEW BEST:: SOT 228077 SOS 104435 HAS SOPS 101140 HAS SOUS 46779 HAS SOUPS 46058 WITH SCORE 46162.435
AT ITER 3927 NEW BEST:: SOT 228056 SOS 104372 HAS SOPS 101119 HAS SOUS 46716 HAS SOUPS 46037 WITH SCORE 46141.372
AT ITER 3945 NEW BEST:: SOT 228001 SOS 104051 HAS SOPS 100798 HAS SOUS 46670 HAS SOUPS 45991 WITH SCORE 46095.051
AT ITER 3950 NEW BEST:: SOT 227933 SOS 104072 HAS SOPS 100792 HAS SOUS 46672 HAS SOUPS 45964 WITH SCORE 46068.072
AT ITER 3963 NEW BEST:: SOT 227933 SOS 103832 HAS SOPS 100552 HAS SOUS 46672 HAS SOUPS 45964 WITH SCORE 46067.832
AT ITER 3967 NEW BEST:: SOT 227868 SOS 103731 HAS SOPS 100451 HAS SOUS 46667 HAS SOUPS 45959 WITH SCORE 46062.731
AT ITER 3977 NEW BEST:: SOT 227844 SOS 103699 HAS SOPS 100419 HAS SOUS 46635 HAS SOUPS 45927 WITH SCORE 46030.699
AT ITER 3991 NEW BEST:: SOT 227879 SOS 103734 HAS SOPS 100454 HAS SOUS 46591 HAS SOUPS 45883 WITH SCORE 45986.734
AT ITER 4013 NEW BEST:: SOT 227891 SOS 103746 HAS SOPS 100466 HAS SOUS 46571 HAS SOUPS 45863 WITH SCORE 45966.746
AT ITER 4027 NEW BEST:: SOT 227878 SOS 103733 HAS SOPS 100441 HAS SOUS 46536 HAS SOUPS 45822 WITH SCORE 45925.733
AT ITER 4036 NEW BEST:: SOT 227874 SOS 103729 HAS SOPS 100437 HAS SOUS 46524 HAS SOUPS 45810 WITH SCORE 45913.729
AT ITER 4079 NEW BEST:: SOT 227695 SOS 103585 HAS SOPS 100293 HAS SOUS 46493 HAS SOUPS 45779 WITH SCORE 45882.585
AT ITER 4085 NEW BEST:: SOT 227676 SOS 103566 HAS SOPS 100274 HAS SOUS 46455 HAS SOUPS 45741 WITH SCORE 45844.566
AT ITER 4092 NEW BEST:: SOT 227649 SOS 103512 HAS SOPS 100220 HAS SOUS 46401 HAS SOUPS 45687 WITH SCORE 45790.512
AT ITER 4094 NEW BEST:: SOT 227622 SOS 103005 HAS SOPS 99713 HAS SOUS 46387 HAS SOUPS 45673 WITH SCORE 45776.005
AT ITER 4096 NEW BEST:: SOT 227560 SOS 102881 HAS SOPS 99589 HAS SOUS 46247 HAS SOUPS 45533 WITH SCORE 45635.881
AT ITER 4108 NEW BEST:: SOT 227531 SOS 102864 HAS SOPS 99593 HAS SOUS 46247 HAS SOUPS 45533 WITH SCORE 45635.864
AT ITER 4128 NEW BEST:: SOT 227499 SOS 102832 HAS SOPS 99549 HAS SOUS 46156 HAS SOUPS 45440 WITH SCORE 45542.832
AT ITER 4166 NEW BEST:: SOT 227532 SOS 102841 HAS SOPS 99558 HAS SOUS 46145 HAS SOUPS 45429 WITH SCORE 45531.841
AT ITER 4169 NEW BEST:: SOT 227427 SOS 102753 HAS SOPS 99470 HAS SOUS 46027 HAS SOUPS 45311 WITH SCORE 45413.753
AT ITER 4181 NEW BEST:: SOT 227381 SOS 102569 HAS SOPS 99286 HAS SOUS 45958 HAS SOUPS 45242 WITH SCORE 45344.569
AT ITER 4189 NEW BEST:: SOT 227376 SOS 102244 HAS SOPS 98961 HAS SOUS 45940 HAS SOUPS 45224 WITH SCORE 45326.244
AT ITER 4251 NEW BEST:: SOT 227374 SOS 102242 HAS SOPS 98959 HAS SOUS 45936 HAS SOUPS 45220 WITH SCORE 45322.242
AT ITER 4254 NEW BEST:: SOT 227326 SOS 102085 HAS SOPS 98802 HAS SOUS 45840 HAS SOUPS 45124 WITH SCORE 45226.085
AT ITER 4287 NEW BEST:: SOT 227308 SOS 102061 HAS SOPS 98778 HAS SOUS 45837 HAS SOUPS 45121 WITH SCORE 45223.061
AT ITER 4340 NEW BEST:: SOT 227251 SOS 101912 HAS SOPS 98583 HAS SOUS 45769 HAS SOUPS 45053 WITH SCORE 45154.912
AT ITER 4349 NEW BEST:: SOT 227234 SOS 101895 HAS SOPS 98549 HAS SOUS 45757 HAS SOUPS 45035 WITH SCORE 45136.895
AT ITER 4379 NEW BEST:: SOT 227234 SOS 102122 HAS SOPS 98776 HAS SOUS 45752 HAS SOUPS 45030 WITH SCORE 45132.122
AT ITER 4425 NEW BEST:: SOT 227230 SOS 102118 HAS SOPS 98772 HAS SOUS 45748 HAS SOUPS 45026 WITH SCORE 45128.118
AT ITER 4431 NEW BEST:: SOT 227047 SOS 101688 HAS SOPS 98342 HAS SOUS 45499 HAS SOUPS 44777 WITH SCORE 44878.688
AT ITER 4451 NEW BEST:: SOT 227035 SOS 101676 HAS SOPS 98330 HAS SOUS 45458 HAS SOUPS 44736 WITH SCORE 44837.676
AT ITER 4464 NEW BEST:: SOT 227035 SOS 101625 HAS SOPS 98279 HAS SOUS 45458 HAS SOUPS 44736 WITH SCORE 44837.625
AT ITER 4479 NEW BEST:: SOT 227026 SOS 101616 HAS SOPS 98270 HAS SOUS 45449 HAS SOUPS 44727 WITH SCORE 44828.616
AT ITER 4481 NEW BEST:: SOT 226981 SOS 101589 HAS SOPS 98243 HAS SOUS 45416 HAS SOUPS 44694 WITH SCORE 44795.589
AT ITER 4483 NEW BEST:: SOT 226981 SOS 101567 HAS SOPS 98221 HAS SOUS 45416 HAS SOUPS 44694 WITH SCORE 44795.567
AT ITER 4508 NEW BEST:: SOT 226985 SOS 101571 HAS SOPS 98225 HAS SOUS 45380 HAS SOUPS 44658 WITH SCORE 44759.571
AT ITER 4520 NEW BEST:: SOT 226973 SOS 101559 HAS SOPS 98213 HAS SOUS 45368 HAS SOUPS 44646 WITH SCORE 44747.559
AT ITER 4573 NEW BEST:: SOT 226964 SOS 101550 HAS SOPS 98204 HAS SOUS 45346 HAS SOUPS 44624 WITH SCORE 44725.55
AT ITER 4606 NEW BEST:: SOT 226964 SOS 101538 HAS SOPS 98192 HAS SOUS 45346 HAS SOUPS 44624 WITH SCORE 44725.538
AT ITER 4612 NEW BEST:: SOT 226299 SOS 100886 HAS SOPS 97540 HAS SOUS 45331 HAS SOUPS 44609 WITH SCORE 44709.886
AT ITER 4618 NEW BEST:: SOT 226259 SOS 100815 HAS SOPS 97469 HAS SOUS 45251 HAS SOUPS 44529 WITH SCORE 44629.815
AT ITER 4624 NEW BEST:: SOT 226234 SOS 100886 HAS SOPS 97540 HAS SOUS 45220 HAS SOUPS 44498 WITH SCORE 44598.886
AT ITER 4642 NEW BEST:: SOT 226221 SOS 100886 HAS SOPS 97540 HAS SOUS 45168 HAS SOUPS 44446 WITH SCORE 44546.886
AT ITER 4687 NEW BEST:: SOT 226160 SOS 100825 HAS SOPS 97479 HAS SOUS 45114 HAS SOUPS 44392 WITH SCORE 44492.825
AT ITER 4692 NEW BEST:: SOT 226158 SOS 100823 HAS SOPS 97477 HAS SOUS 45112 HAS SOUPS 44390 WITH SCORE 44490.823
AT ITER 4720 NEW BEST:: SOT 226158 SOS 100823 HAS SOPS 97477 HAS SOUS 45108 HAS SOUPS 44386 WITH SCORE 44486.823
AT ITER 4728 NEW BEST:: SOT 226056 SOS 100068 HAS SOPS 96722 HAS SOUS 45056 HAS SOUPS 44334 WITH SCORE 44434.068
AT ITER 4734 NEW BEST:: SOT 226005 SOS 99966 HAS SOPS 96620 HAS SOUS 45005 HAS SOUPS 44283 WITH SCORE 44382.966
AT ITER 4825 NEW BEST:: SOT 226007 SOS 99967 HAS SOPS 96621 HAS SOUS 44997 HAS SOUPS 44275 WITH SCORE 44374.967
AT ITER 4830 NEW BEST:: SOT 225997 SOS 99949 HAS SOPS 96603 HAS SOUS 44979 HAS SOUPS 44257 WITH SCORE 44356.949
AT ITER 4849 NEW BEST:: SOT 225997 SOS 99877 HAS SOPS 96531 HAS SOUS 44979 HAS SOUPS 44257 WITH SCORE 44356.877
AT ITER 4893 NEW BEST:: SOT 225988 SOS 99868 HAS SOPS 96522 HAS SOUS 44970 HAS SOUPS 44248 WITH SCORE 44347.868
AT ITER 4907 NEW BEST:: SOT 225972 SOS 99804 HAS SOPS 96458 HAS SOUS 44946 HAS SOUPS 44224 WITH SCORE 44323.804
AT ITER 4910 NEW BEST:: SOT 225971 SOS 99801 HAS SOPS 96455 HAS SOUS 44946 HAS SOUPS 44224 WITH SCORE 44323.801
AT ITER 4944 NEW BEST:: SOT 225934 SOS 99717 HAS SOPS 96371 HAS SOUS 44872 HAS SOUPS 44150 WITH SCORE 44249.717
AT ITER 4990 NEW BEST:: SOT 225747 SOS 99530 HAS SOPS 96184 HAS SOUS 44866 HAS SOUPS 44144 WITH SCORE 44243.53
AT ITER 5122 NEW BEST:: SOT 225742 SOS 99525 HAS SOPS 96179 HAS SOUS 44846 HAS SOUPS 44124 WITH SCORE 44223.525
AT ITER 5144 NEW BEST:: SOT 225751 SOS 99516 HAS SOPS 96170 HAS SOUS 44814 HAS SOUPS 44092 WITH SCORE 44191.516
AT ITER 5186 NEW BEST:: SOT 225734 SOS 99499 HAS SOPS 96141 HAS SOUS 44783 HAS SOUPS 44061 WITH SCORE 44160.499
AT ITER 5205 NEW BEST:: SOT 225728 SOS 99491 HAS SOPS 96133 HAS SOUS 44771 HAS SOUPS 44049 WITH SCORE 44148.491
AT ITER 5232 NEW BEST:: SOT 225728 SOS 99491 HAS SOPS 96133 HAS SOUS 44760 HAS SOUPS 44038 WITH SCORE 44137.491
AT ITER 5258 NEW BEST:: SOT 225758 SOS 99521 HAS SOPS 96163 HAS SOUS 44674 HAS SOUPS 43952 WITH SCORE 44051.521
AT ITER 5329 NEW BEST:: SOT 225758 SOS 99511 HAS SOPS 96153 HAS SOUS 44664 HAS SOUPS 43942 WITH SCORE 44041.511
AT ITER 5372 NEW BEST:: SOT 225748 SOS 99501 HAS SOPS 96143 HAS SOUS 44654 HAS SOUPS 43932 WITH SCORE 44031.501
AT ITER 5392 NEW BEST:: SOT 225739 SOS 99486 HAS SOPS 96128 HAS SOUS 44642 HAS SOUPS 43920 WITH SCORE 44019.486
AT ITER 5408 NEW BEST:: SOT 225760 SOS 99589 HAS SOPS 96067 HAS SOUS 44766 HAS SOUPS 43880 WITH SCORE 43979.589
AT ITER 5437 NEW BEST:: SOT 225756 SOS 99585 HAS SOPS 96063 HAS SOUS 44761 HAS SOUPS 43875 WITH SCORE 43974.585
AT ITER 5441 NEW BEST:: SOT 225744 SOS 99573 HAS SOPS 96051 HAS SOUS 44742 HAS SOUPS 43856 WITH SCORE 43955.573
AT ITER 5451 NEW BEST:: SOT 225742 SOS 99569 HAS SOPS 96047 HAS SOUS 44738 HAS SOUPS 43852 WITH SCORE 43951.569
AT ITER 5466 NEW BEST:: SOT 225742 SOS 99569 HAS SOPS 96047 HAS SOUS 44734 HAS SOUPS 43848 WITH SCORE 43947.569
AT ITER 5480 NEW BEST:: SOT 225694 SOS 99467 HAS SOPS 95945 HAS SOUS 44692 HAS SOUPS 43806 WITH SCORE 43905.467
AT ITER 5500 NEW BEST:: SOT 225693 SOS 99451 HAS SOPS 95929 HAS SOUS 44688 HAS SOUPS 43802 WITH SCORE 43901.451
AT ITER 5513 NEW BEST:: SOT 225584 SOS 99637 HAS SOPS 96115 HAS SOUS 44557 HAS SOUPS 43671 WITH SCORE 43770.637
AT ITER 5559 NEW BEST:: SOT 225598 SOS 99651 HAS SOPS 96124 HAS SOUS 44546 HAS SOUPS 43660 WITH SCORE 43759.651
AT ITER 5574 NEW BEST:: SOT 225592 SOS 99639 HAS SOPS 96112 HAS SOUS 44534 HAS SOUPS 43648 WITH SCORE 43747.639
AT ITER 5591 NEW BEST:: SOT 225575 SOS 99622 HAS SOPS 96095 HAS SOUS 44500 HAS SOUPS 43614 WITH SCORE 43713.622
AT ITER 5621 NEW BEST:: SOT 225566 SOS 99613 HAS SOPS 96086 HAS SOUS 44500 HAS SOUPS 43614 WITH SCORE 43713.613
AT ITER 5628 NEW BEST:: SOT 225567 SOS 99614 HAS SOPS 96039 HAS SOUS 44505 HAS SOUPS 43611 WITH SCORE 43710.614
AT ITER 5633 NEW BEST:: SOT 225551 SOS 99598 HAS SOPS 96023 HAS SOUS 44473 HAS SOUPS 43579 WITH SCORE 43678.598
AT ITER 5641 NEW BEST:: SOT 225551 SOS 99597 HAS SOPS 96022 HAS SOUS 44471 HAS SOUPS 43577 WITH SCORE 43676.597
AT ITER 5653 NEW BEST:: SOT 225618 SOS 99590 HAS SOPS 96015 HAS SOUS 44456 HAS SOUPS 43562 WITH SCORE 43661.59
AT ITER 5672 NEW BEST:: SOT 225607 SOS 99556 HAS SOPS 95981 HAS SOUS 44434 HAS SOUPS 43540 WITH SCORE 43639.556
AT ITER 5681 NEW BEST:: SOT 225547 SOS 99606 HAS SOPS 96034 HAS SOUS 44427 HAS SOUPS 43533 WITH SCORE 43632.606
AT ITER 5718 NEW BEST:: SOT 225547 SOS 99602 HAS SOPS 96030 HAS SOUS 44423 HAS SOUPS 43529 WITH SCORE 43628.602
AT ITER 5719 NEW BEST:: SOT 225530 SOS 99508 HAS SOPS 95936 HAS SOUS 44395 HAS SOUPS 43501 WITH SCORE 43600.508
AT ITER 5749 NEW BEST:: SOT 225515 SOS 99493 HAS SOPS 95921 HAS SOUS 44380 HAS SOUPS 43486 WITH SCORE 43585.493
AT ITER 5762 NEW BEST:: SOT 225507 SOS 99477 HAS SOPS 95905 HAS SOUS 44372 HAS SOUPS 43478 WITH SCORE 43577.477
AT ITER 5763 NEW BEST:: SOT 225513 SOS 99466 HAS SOPS 95894 HAS SOUS 44340 HAS SOUPS 43446 WITH SCORE 43545.466
AT ITER 5787 NEW BEST:: SOT 225486 SOS 99428 HAS SOPS 95856 HAS SOUS 44310 HAS SOUPS 43416 WITH SCORE 43515.428
AT ITER 5791 NEW BEST:: SOT 225488 SOS 99335 HAS SOPS 95763 HAS SOUS 44305 HAS SOUPS 43411 WITH SCORE 43510.335
AT ITER 5797 NEW BEST:: SOT 225481 SOS 99328 HAS SOPS 95755 HAS SOUS 44295 HAS SOUPS 43400 WITH SCORE 43499.328
AT ITER 5801 NEW BEST:: SOT 225481 SOS 99304 HAS SOPS 95731 HAS SOUS 44271 HAS SOUPS 43376 WITH SCORE 43475.304
AT ITER 5802 NEW BEST:: SOT 225453 SOS 99164 HAS SOPS 95591 HAS SOUS 44229 HAS SOUPS 43334 WITH SCORE 43433.164
AT ITER 5807 NEW BEST:: SOT 225444 SOS 99149 HAS SOPS 95576 HAS SOUS 44217 HAS SOUPS 43322 WITH SCORE 43421.149
AT ITER 5836 NEW BEST:: SOT 225444 SOS 99166 HAS SOPS 95593 HAS SOUS 44183 HAS SOUPS 43288 WITH SCORE 43387.166
AT ITER 5897 NEW BEST:: SOT 225392 SOS 99101 HAS SOPS 95528 HAS SOUS 44105 HAS SOUPS 43210 WITH SCORE 43309.101
AT ITER 5905 NEW BEST:: SOT 225431 SOS 99182 HAS SOPS 95609 HAS SOUS 44055 HAS SOUPS 43160 WITH SCORE 43259.182
AT ITER 5944 NEW BEST:: SOT 225417 SOS 99168 HAS SOPS 95543 HAS SOUS 43993 HAS SOUPS 43098 WITH SCORE 43197.168
AT ITER 5959 NEW BEST:: SOT 225362 SOS 99113 HAS SOPS 95488 HAS SOUS 43938 HAS SOUPS 43043 WITH SCORE 43142.113
AT ITER 5965 NEW BEST:: SOT 225342 SOS 99093 HAS SOPS 95468 HAS SOUS 43908 HAS SOUPS 43013 WITH SCORE 43112.093
AT ITER 6001 NEW BEST:: SOT 225342 SOS 99086 HAS SOPS 95461 HAS SOUS 43901 HAS SOUPS 43006 WITH SCORE 43105.086
AT ITER 6010 NEW BEST:: SOT 225342 SOS 99086 HAS SOPS 95461 HAS SOUS 43890 HAS SOUPS 42995 WITH SCORE 43094.086
AT ITER 6020 NEW BEST:: SOT 225268 SOS 99012 HAS SOPS 95387 HAS SOUS 43771 HAS SOUPS 42876 WITH SCORE 42975.012
AT ITER 6130 NEW BEST:: SOT 225262 SOS 99006 HAS SOPS 95381 HAS SOUS 43738 HAS SOUPS 42843 WITH SCORE 42942.006
AT ITER 6159 NEW BEST:: SOT 225192 SOS 98867 HAS SOPS 95242 HAS SOUS 43632 HAS SOUPS 42737 WITH SCORE 42835.867
AT ITER 6162 NEW BEST:: SOT 225192 SOS 98665 HAS SOPS 95040 HAS SOUS 43596 HAS SOUPS 42701 WITH SCORE 42799.665
AT ITER 6174 NEW BEST:: SOT 225111 SOS 98584 HAS SOPS 94959 HAS SOUS 43508 HAS SOUPS 42613 WITH SCORE 42711.584
AT ITER 6236 NEW BEST:: SOT 225150 SOS 98623 HAS SOPS 94998 HAS SOUS 43478 HAS SOUPS 42583 WITH SCORE 42681.623
AT ITER 6295 NEW BEST:: SOT 225127 SOS 98582 HAS SOPS 94957 HAS SOUS 43424 HAS SOUPS 42529 WITH SCORE 42627.582
AT ITER 6312 NEW BEST:: SOT 224614 SOS 98001 HAS SOPS 94342 HAS SOUS 43368 HAS SOUPS 42473 WITH SCORE 42571.001
AT ITER 6337 NEW BEST:: SOT 224593 SOS 97876 HAS SOPS 94217 HAS SOUS 43334 HAS SOUPS 42439 WITH SCORE 42536.876
AT ITER 6360 NEW BEST:: SOT 224559 SOS 97757 HAS SOPS 94098 HAS SOUS 43331 HAS SOUPS 42436 WITH SCORE 42533.757
AT ITER 6367 NEW BEST:: SOT 224528 SOS 97757 HAS SOPS 94141 HAS SOUS 43312 HAS SOUPS 42417 WITH SCORE 42514.757
AT ITER 6402 NEW BEST:: SOT 224498 SOS 97734 HAS SOPS 94125 HAS SOUS 43264 HAS SOUPS 42369 WITH SCORE 42466.734
AT ITER 6419 NEW BEST:: SOT 224480 SOS 97707 HAS SOPS 94098 HAS SOUS 43237 HAS SOUPS 42342 WITH SCORE 42439.707
AT ITER 6426 NEW BEST:: SOT 224452 SOS 97679 HAS SOPS 94070 HAS SOUS 43214 HAS SOUPS 42319 WITH SCORE 42416.679
AT ITER 6479 NEW BEST:: SOT 224428 SOS 97655 HAS SOPS 94046 HAS SOUS 43209 HAS SOUPS 42314 WITH SCORE 42411.655
AT ITER 6483 NEW BEST:: SOT 224292 SOS 97451 HAS SOPS 93842 HAS SOUS 43005 HAS SOUPS 42110 WITH SCORE 42207.451
AT ITER 6485 NEW BEST:: SOT 224292 SOS 97449 HAS SOPS 93840 HAS SOUS 43001 HAS SOUPS 42106 WITH SCORE 42203.449
AT ITER 6511 NEW BEST:: SOT 224292 SOS 97417 HAS SOPS 93808 HAS SOUS 42998 HAS SOUPS 42103 WITH SCORE 42200.417
AT ITER 6528 NEW BEST:: SOT 224279 SOS 97404 HAS SOPS 93795 HAS SOUS 42985 HAS SOUPS 42090 WITH SCORE 42187.404
AT ITER 6530 NEW BEST:: SOT 224279 SOS 97397 HAS SOPS 93788 HAS SOUS 42984 HAS SOUPS 42089 WITH SCORE 42186.397
AT ITER 6537 NEW BEST:: SOT 224265 SOS 97434 HAS SOPS 93825 HAS SOUS 42929 HAS SOUPS 42034 WITH SCORE 42131.434
AT ITER 6544 NEW BEST:: SOT 224228 SOS 97397 HAS SOPS 93788 HAS SOUS 42900 HAS SOUPS 42005 WITH SCORE 42102.397
AT ITER 6584 NEW BEST:: SOT 224211 SOS 97364 HAS SOPS 93755 HAS SOUS 42874 HAS SOUPS 41979 WITH SCORE 42076.364
AT ITER 6587 NEW BEST:: SOT 224196 SOS 97349 HAS SOPS 93740 HAS SOUS 42845 HAS SOUPS 41950 WITH SCORE 42047.349
AT ITER 6594 NEW BEST:: SOT 224183 SOS 97336 HAS SOPS 93727 HAS SOUS 42837 HAS SOUPS 41942 WITH SCORE 42039.336
AT ITER 6616 NEW BEST:: SOT 224160 SOS 97314 HAS SOPS 93705 HAS SOUS 42830 HAS SOUPS 41935 WITH SCORE 42032.314
AT ITER 6620 NEW BEST:: SOT 224110 SOS 97270 HAS SOPS 93661 HAS SOUS 42770 HAS SOUPS 41875 WITH SCORE 41972.27
AT ITER 6623 NEW BEST:: SOT 224098 SOS 97258 HAS SOPS 93649 HAS SOUS 42740 HAS SOUPS 41845 WITH SCORE 41942.258
AT ITER 6629 NEW BEST:: SOT 224094 SOS 97254 HAS SOPS 93645 HAS SOUS 42736 HAS SOUPS 41841 WITH SCORE 41938.254
AT ITER 6649 NEW BEST:: SOT 224059 SOS 97219 HAS SOPS 93595 HAS SOUS 42691 HAS SOUPS 41786 WITH SCORE 41883.219
AT ITER 6702 NEW BEST:: SOT 224037 SOS 97193 HAS SOPS 93569 HAS SOUS 42665 HAS SOUPS 41760 WITH SCORE 41857.193
AT ITER 6707 NEW BEST:: SOT 223866 SOS 97031 HAS SOPS 93407 HAS SOUS 42608 HAS SOUPS 41703 WITH SCORE 41800.031
AT ITER 6711 NEW BEST:: SOT 223860 SOS 97031 HAS SOPS 93407 HAS SOUS 42602 HAS SOUPS 41697 WITH SCORE 41794.031
AT ITER 6714 NEW BEST:: SOT 223873 SOS 96388 HAS SOPS 92764 HAS SOUS 42599 HAS SOUPS 41694 WITH SCORE 41790.388
AT ITER 6730 NEW BEST:: SOT 223834 SOS 96349 HAS SOPS 92725 HAS SOUS 42540 HAS SOUPS 41635 WITH SCORE 41731.349
AT ITER 6734 NEW BEST:: SOT 223828 SOS 96343 HAS SOPS 92719 HAS SOUS 42529 HAS SOUPS 41624 WITH SCORE 41720.343
AT ITER 6818 NEW BEST:: SOT 223798 SOS 96313 HAS SOPS 92689 HAS SOUS 42524 HAS SOUPS 41619 WITH SCORE 41715.313
AT ITER 6842 NEW BEST:: SOT 223380 SOS 96056 HAS SOPS 92432 HAS SOUS 42514 HAS SOUPS 41609 WITH SCORE 41705.056
AT ITER 6858 NEW BEST:: SOT 223380 SOS 96039 HAS SOPS 92412 HAS SOUS 42511 HAS SOUPS 41606 WITH SCORE 41702.039
AT ITER 6878 NEW BEST:: SOT 223342 SOS 96016 HAS SOPS 92389 HAS SOUS 42459 HAS SOUPS 41554 WITH SCORE 41650.016
AT ITER 6920 NEW BEST:: SOT 223364 SOS 96038 HAS SOPS 92411 HAS SOUS 42435 HAS SOUPS 41530 WITH SCORE 41626.038
AT ITER 6949 NEW BEST:: SOT 223364 SOS 96032 HAS SOPS 92405 HAS SOUS 42429 HAS SOUPS 41524 WITH SCORE 41620.032
AT ITER 6963 NEW BEST:: SOT 223402 SOS 96042 HAS SOPS 92415 HAS SOUS 42402 HAS SOUPS 41497 WITH SCORE 41593.042
AT ITER 7068 NEW BEST:: SOT 223402 SOS 95867 HAS SOPS 92240 HAS SOUS 42374 HAS SOUPS 41469 WITH SCORE 41564.867
AT ITER 7078 NEW BEST:: SOT 223423 SOS 95888 HAS SOPS 92257 HAS SOUS 42366 HAS SOUPS 41461 WITH SCORE 41556.888
AT ITER 7085 NEW BEST:: SOT 223359 SOS 96493 HAS SOPS 92862 HAS SOUS 42318 HAS SOUPS 41413 WITH SCORE 41509.493
AT ITER 7087 NEW BEST:: SOT 223359 SOS 96484 HAS SOPS 92853 HAS SOUS 42286 HAS SOUPS 41381 WITH SCORE 41477.484
AT ITER 7127 NEW BEST:: SOT 223359 SOS 96474 HAS SOPS 92843 HAS SOUS 42276 HAS SOUPS 41371 WITH SCORE 41467.474
AT ITER 7163 NEW BEST:: SOT 223354 SOS 96469 HAS SOPS 92838 HAS SOUS 42266 HAS SOUPS 41361 WITH SCORE 41457.469
AT ITER 7166 NEW BEST:: SOT 223317 SOS 96459 HAS SOPS 92828 HAS SOUS 42248 HAS SOUPS 41343 WITH SCORE 41439.459
AT ITER 7174 NEW BEST:: SOT 223317 SOS 96459 HAS SOPS 92828 HAS SOUS 42246 HAS SOUPS 41341 WITH SCORE 41437.459
AT ITER 7195 NEW BEST:: SOT 223317 SOS 96452 HAS SOPS 92814 HAS SOUS 42222 HAS SOUPS 41317 WITH SCORE 41413.452
AT ITER 7215 NEW BEST:: SOT 223302 SOS 96427 HAS SOPS 92784 HAS SOUS 42197 HAS SOUPS 41292 WITH SCORE 41388.427
AT ITER 7245 NEW BEST:: SOT 223308 SOS 96433 HAS SOPS 92787 HAS SOUS 42186 HAS SOUPS 41281 WITH SCORE 41377.433
AT ITER 7258 NEW BEST:: SOT 223254 SOS 96379 HAS SOPS 92733 HAS SOUS 42132 HAS SOUPS 41227 WITH SCORE 41323.379
AT ITER 7282 NEW BEST:: SOT 223254 SOS 96379 HAS SOPS 92733 HAS SOUS 42131 HAS SOUPS 41226 WITH SCORE 41322.379
AT ITER 7288 NEW BEST:: SOT 223267 SOS 96362 HAS SOPS 92716 HAS SOUS 42114 HAS SOUPS 41209 WITH SCORE 41305.362
AT ITER 7348 NEW BEST:: SOT 223244 SOS 96339 HAS SOPS 92693 HAS SOUS 42024 HAS SOUPS 41119 WITH SCORE 41215.339
AT ITER 7362 NEW BEST:: SOT 223202 SOS 96255 HAS SOPS 92655 HAS SOUS 42004 HAS SOUPS 41099 WITH SCORE 41195.255
AT ITER 7365 NEW BEST:: SOT 223198 SOS 96247 HAS SOPS 92645 HAS SOUS 41996 HAS SOUPS 41091 WITH SCORE 41187.247
AT ITER 7399 NEW BEST:: SOT 223181 SOS 96230 HAS SOPS 92628 HAS SOUS 41988 HAS SOUPS 41083 WITH SCORE 41179.23
AT ITER 7443 NEW BEST:: SOT 223150 SOS 96187 HAS SOPS 92585 HAS SOUS 41972 HAS SOUPS 41067 WITH SCORE 41163.187
AT ITER 7504 NEW BEST:: SOT 222871 SOS 96002 HAS SOPS 92400 HAS SOUS 41924 HAS SOUPS 41019 WITH SCORE 41115.002
AT ITER 7529 NEW BEST:: SOT 222868 SOS 95999 HAS SOPS 92397 HAS SOUS 41918 HAS SOUPS 41013 WITH SCORE 41108.999
AT ITER 7572 NEW BEST:: SOT 222858 SOS 95987 HAS SOPS 92385 HAS SOUS 41898 HAS SOUPS 40993 WITH SCORE 41088.987
AT ITER 7583 NEW BEST:: SOT 222824 SOS 95903 HAS SOPS 92301 HAS SOUS 41800 HAS SOUPS 40895 WITH SCORE 40990.903
AT ITER 7602 NEW BEST:: SOT 222821 SOS 95671 HAS SOPS 92069 HAS SOUS 41754 HAS SOUPS 40849 WITH SCORE 40944.671
AT ITER 7632 NEW BEST:: SOT 222850 SOS 95621 HAS SOPS 92019 HAS SOUS 41746 HAS SOUPS 40841 WITH SCORE 40936.621
AT ITER 7657 NEW BEST:: SOT 222850 SOS 95614 HAS SOPS 92012 HAS SOUS 41739 HAS SOUPS 40834 WITH SCORE 40929.614
AT ITER 7696 NEW BEST:: SOT 222827 SOS 95577 HAS SOPS 91975 HAS SOUS 41705 HAS SOUPS 40800 WITH SCORE 40895.577
AT ITER 7707 NEW BEST:: SOT 222898 SOS 95725 HAS SOPS 92123 HAS SOUS 41681 HAS SOUPS 40776 WITH SCORE 40871.725
AT ITER 7721 NEW BEST:: SOT 222748 SOS 95570 HAS SOPS 91968 HAS SOUS 41606 HAS SOUPS 40701 WITH SCORE 40796.57
AT ITER 7750 NEW BEST:: SOT 222737 SOS 95548 HAS SOPS 91946 HAS SOUS 41584 HAS SOUPS 40679 WITH SCORE 40774.548
AT ITER 7765 NEW BEST:: SOT 222709 SOS 95528 HAS SOPS 91962 HAS SOUS 41564 HAS SOUPS 40659 WITH SCORE 40754.528
AT ITER 7792 NEW BEST:: SOT 222662 SOS 95481 HAS SOPS 91915 HAS SOUS 41470 HAS SOUPS 40565 WITH SCORE 40660.481
AT ITER 7821 NEW BEST:: SOT 222655 SOS 95474 HAS SOPS 91908 HAS SOUS 41454 HAS SOUPS 40549 WITH SCORE 40644.474
AT ITER 7893 NEW BEST:: SOT 222628 SOS 95448 HAS SOPS 91882 HAS SOUS 41444 HAS SOUPS 40539 WITH SCORE 40634.448
AT ITER 7904 NEW BEST:: SOT 222646 SOS 95447 HAS SOPS 91881 HAS SOUS 41443 HAS SOUPS 40538 WITH SCORE 40633.447
AT ITER 7961 NEW BEST:: SOT 222633 SOS 95478 HAS SOPS 91912 HAS SOUS 41405 HAS SOUPS 40500 WITH SCORE 40595.478
AT ITER 7966 NEW BEST:: SOT 222608 SOS 95453 HAS SOPS 91887 HAS SOUS 41355 HAS SOUPS 40450 WITH SCORE 40545.453
AT ITER 8020 NEW BEST:: SOT 222599 SOS 95444 HAS SOPS 91878 HAS SOUS 41346 HAS SOUPS 40441 WITH SCORE 40536.444
AT ITER 8023 NEW BEST:: SOT 222569 SOS 95414 HAS SOPS 91848 HAS SOUS 41322 HAS SOUPS 40417 WITH SCORE 40512.414
AT ITER 8091 NEW BEST:: SOT 222569 SOS 95414 HAS SOPS 91848 HAS SOUS 41317 HAS SOUPS 40412 WITH SCORE 40507.414
AT ITER 8115 NEW BEST:: SOT 222558 SOS 95388 HAS SOPS 91822 HAS SOUS 41291 HAS SOUPS 40386 WITH SCORE 40481.388
AT ITER 8124 NEW BEST:: SOT 222489 SOS 95338 HAS SOPS 91772 HAS SOUS 41241 HAS SOUPS 40336 WITH SCORE 40431.338
AT ITER 8138 NEW BEST:: SOT 222465 SOS 95280 HAS SOPS 91714 HAS SOUS 41213 HAS SOUPS 40308 WITH SCORE 40403.28
AT ITER 8153 NEW BEST:: SOT 222297 SOS 95119 HAS SOPS 91553 HAS SOUS 41046 HAS SOUPS 40141 WITH SCORE 40236.119
AT ITER 8164 NEW BEST:: SOT 222275 SOS 95097 HAS SOPS 91531 HAS SOUS 41025 HAS SOUPS 40120 WITH SCORE 40215.097
AT ITER 8215 NEW BEST:: SOT 222274 SOS 95096 HAS SOPS 91530 HAS SOUS 41023 HAS SOUPS 40118 WITH SCORE 40213.096
AT ITER 8218 NEW BEST:: SOT 222275 SOS 95097 HAS SOPS 91530 HAS SOUS 41023 HAS SOUPS 40117 WITH SCORE 40212.097
AT ITER 8227 NEW BEST:: SOT 222263 SOS 95085 HAS SOPS 91518 HAS SOUS 40926 HAS SOUPS 40020 WITH SCORE 40115.085
AT ITER 8256 NEW BEST:: SOT 222260 SOS 95082 HAS SOPS 91515 HAS SOUS 40920 HAS SOUPS 40014 WITH SCORE 40109.082
AT ITER 8268 NEW BEST:: SOT 222256 SOS 95078 HAS SOPS 91511 HAS SOUS 40916 HAS SOUPS 40010 WITH SCORE 40105.078
AT ITER 8270 NEW BEST:: SOT 222256 SOS 95078 HAS SOPS 91511 HAS SOUS 40911 HAS SOUPS 40005 WITH SCORE 40100.078
AT ITER 8271 NEW BEST:: SOT 222242 SOS 95064 HAS SOPS 91497 HAS SOUS 40897 HAS SOUPS 39991 WITH SCORE 40086.064
AT ITER 8279 NEW BEST:: SOT 222240 SOS 95043 HAS SOPS 91476 HAS SOUS 40893 HAS SOUPS 39987 WITH SCORE 40082.043
AT ITER 8280 NEW BEST:: SOT 222204 SOS 95007 HAS SOPS 91440 HAS SOUS 40714 HAS SOUPS 39808 WITH SCORE 39903.007
AT ITER 8372 NEW BEST:: SOT 222201 SOS 94929 HAS SOPS 91362 HAS SOUS 40699 HAS SOUPS 39793 WITH SCORE 39887.929
AT ITER 8375 NEW BEST:: SOT 222199 SOS 94927 HAS SOPS 91360 HAS SOUS 40695 HAS SOUPS 39789 WITH SCORE 39883.927
AT ITER 8407 NEW BEST:: SOT 222161 SOS 94932 HAS SOPS 91365 HAS SOUS 40680 HAS SOUPS 39774 WITH SCORE 39868.932
AT ITER 8563 NEW BEST:: SOT 222142 SOS 94913 HAS SOPS 91346 HAS SOUS 40654 HAS SOUPS 39748 WITH SCORE 39842.913
AT ITER 8581 NEW BEST:: SOT 222112 SOS 94895 HAS SOPS 91328 HAS SOUS 40624 HAS SOUPS 39718 WITH SCORE 39812.895
AT ITER 8621 NEW BEST:: SOT 222117 SOS 94899 HAS SOPS 91332 HAS SOUS 40623 HAS SOUPS 39717 WITH SCORE 39811.899
AT ITER 8673 NEW BEST:: SOT 222093 SOS 94875 HAS SOPS 91308 HAS SOUS 40577 HAS SOUPS 39671 WITH SCORE 39765.875
AT ITER 8681 NEW BEST:: SOT 222092 SOS 94874 HAS SOPS 91307 HAS SOUS 40575 HAS SOUPS 39669 WITH SCORE 39763.874
AT ITER 8697 NEW BEST:: SOT 222088 SOS 94862 HAS SOPS 91295 HAS SOUS 40567 HAS SOUPS 39661 WITH SCORE 39755.862
AT ITER 8698 NEW BEST:: SOT 222079 SOS 94853 HAS SOPS 91286 HAS SOUS 40549 HAS SOUPS 39643 WITH SCORE 39737.853
AT ITER 8702 NEW BEST:: SOT 222022 SOS 94796 HAS SOPS 91229 HAS SOUS 40499 HAS SOUPS 39593 WITH SCORE 39687.796
AT ITER 8750 NEW BEST:: SOT 222006 SOS 94732 HAS SOPS 91165 HAS SOUS 40477 HAS SOUPS 39571 WITH SCORE 39665.732
AT ITER 8794 NEW BEST:: SOT 221982 SOS 94708 HAS SOPS 91141 HAS SOUS 40441 HAS SOUPS 39535 WITH SCORE 39629.708
AT ITER 8830 NEW BEST:: SOT 221940 SOS 94629 HAS SOPS 91062 HAS SOUS 40362 HAS SOUPS 39456 WITH SCORE 39550.629
AT ITER 8883 NEW BEST:: SOT 221924 SOS 94605 HAS SOPS 91038 HAS SOUS 40338 HAS SOUPS 39432 WITH SCORE 39526.605
AT ITER 8922 NEW BEST:: SOT 221924 SOS 94605 HAS SOPS 91038 HAS SOUS 40336 HAS SOUPS 39430 WITH SCORE 39524.605
AT ITER 8927 NEW BEST:: SOT 221908 SOS 94603 HAS SOPS 91036 HAS SOUS 40332 HAS SOUPS 39426 WITH SCORE 39520.603
AT ITER 9040 NEW BEST:: SOT 221907 SOS 94602 HAS SOPS 91035 HAS SOUS 40330 HAS SOUPS 39424 WITH SCORE 39518.602
AT ITER 9046 NEW BEST:: SOT 221848 SOS 95972 HAS SOPS 91172 HAS SOUS 40372 HAS SOUPS 39415 WITH SCORE 39510.972
AT ITER 9050 NEW BEST:: SOT 221848 SOS 95961 HAS SOPS 91161 HAS SOUS 40346 HAS SOUPS 39389 WITH SCORE 39484.961
AT ITER 9069 NEW BEST:: SOT 221812 SOS 95880 HAS SOPS 91080 HAS SOUS 40292 HAS SOUPS 39335 WITH SCORE 39430.88
AT ITER 9089 NEW BEST:: SOT 221794 SOS 95862 HAS SOPS 91062 HAS SOUS 40292 HAS SOUPS 39335 WITH SCORE 39430.862
AT ITER 9119 NEW BEST:: SOT 221763 SOS 95831 HAS SOPS 91031 HAS SOUS 40264 HAS SOUPS 39307 WITH SCORE 39402.831
AT ITER 9120 NEW BEST:: SOT 221775 SOS 95843 HAS SOPS 91043 HAS SOUS 40255 HAS SOUPS 39298 WITH SCORE 39393.843
AT ITER 9187 NEW BEST:: SOT 221775 SOS 95843 HAS SOPS 91043 HAS SOUS 40251 HAS SOUPS 39294 WITH SCORE 39389.843
AT ITER 9324 NEW BEST:: SOT 221771 SOS 95841 HAS SOPS 91041 HAS SOUS 40249 HAS SOUPS 39292 WITH SCORE 39387.841
AT ITER 9372 NEW BEST:: SOT 221732 SOS 95802 HAS SOPS 91002 HAS SOUS 40210 HAS SOUPS 39253 WITH SCORE 39348.802
AT ITER 9408 NEW BEST:: SOT 221671 SOS 95741 HAS SOPS 90941 HAS SOUS 40057 HAS SOUPS 39100 WITH SCORE 39195.741
AT ITER 9460 NEW BEST:: SOT 221729 SOS 95731 HAS SOPS 90931 HAS SOUS 40034 HAS SOUPS 39077 WITH SCORE 39172.731
AT ITER 9498 NEW BEST:: SOT 221742 SOS 95630 HAS SOPS 90830 HAS SOUS 40021 HAS SOUPS 39064 WITH SCORE 39159.63
AT ITER 9519 NEW BEST:: SOT 221701 SOS 95589 HAS SOPS 90789 HAS SOUS 39980 HAS SOUPS 39023 WITH SCORE 39118.589
AT ITER 9534 NEW BEST:: SOT 221693 SOS 95592 HAS SOPS 90792 HAS SOUS 39975 HAS SOUPS 39018 WITH SCORE 39113.592
AT ITER 9539 NEW BEST:: SOT 221699 SOS 95571 HAS SOPS 90744 HAS SOUS 39954 HAS SOUPS 38997 WITH SCORE 39092.571
AT ITER 9542 NEW BEST:: SOT 221692 SOS 95572 HAS SOPS 90745 HAS SOUS 39953 HAS SOUPS 38996 WITH SCORE 39091.572
AT ITER 9547 NEW BEST:: SOT 221692 SOS 95516 HAS SOPS 90689 HAS SOUS 39897 HAS SOUPS 38940 WITH SCORE 39035.516
AT ITER 9578 NEW BEST:: SOT 221692 SOS 95520 HAS SOPS 90689 HAS SOUS 39889 HAS SOUPS 38932 WITH SCORE 39027.52
AT ITER 9602 NEW BEST:: SOT 221680 SOS 95508 HAS SOPS 90677 HAS SOUS 39853 HAS SOUPS 38896 WITH SCORE 38991.508
AT ITER 9611 NEW BEST:: SOT 221826 SOS 95637 HAS SOPS 90806 HAS SOUS 39751 HAS SOUPS 38794 WITH SCORE 38889.637
AT ITER 9655 NEW BEST:: SOT 221775 SOS 95502 HAS SOPS 90671 HAS SOUS 39682 HAS SOUPS 38725 WITH SCORE 38820.502
AT ITER 9682 NEW BEST:: SOT 221774 SOS 95500 HAS SOPS 90669 HAS SOUS 39679 HAS SOUPS 38722 WITH SCORE 38817.5
AT ITER 9704 NEW BEST:: SOT 221717 SOS 95265 HAS SOPS 90434 HAS SOUS 39676 HAS SOUPS 38719 WITH SCORE 38814.265
AT ITER 9731 NEW BEST:: SOT 221709 SOS 95263 HAS SOPS 90432 HAS SOUS 39663 HAS SOUPS 38706 WITH SCORE 38801.263
AT ITER 9763 NEW BEST:: SOT 221881 SOS 95435 HAS SOPS 90604 HAS SOUS 39622 HAS SOUPS 38665 WITH SCORE 38760.435
AT ITER 9813 NEW BEST:: SOT 221892 SOS 95431 HAS SOPS 90600 HAS SOUS 39618 HAS SOUPS 38661 WITH SCORE 38756.431
AT ITER 9887 NEW BEST:: SOT 221892 SOS 95425 HAS SOPS 90600 HAS SOUS 39612 HAS SOUPS 38661 WITH SCORE 38756.425
AT ITER 9917 NEW BEST:: SOT 221891 SOS 95424 HAS SOPS 90600 HAS SOUS 39612 HAS SOUPS 38661 WITH SCORE 38756.424
AT ITER 9923 NEW BEST:: SOT 221879 SOS 95412 HAS SOPS 90588 HAS SOUS 39599 HAS SOUPS 38648 WITH SCORE 38743.412
AT ITER 9928 NEW BEST:: SOT 221866 SOS 95329 HAS SOPS 90505 HAS SOUS 39595 HAS SOUPS 38644 WITH SCORE 38739.329
AT ITER 9960 NEW BEST:: SOT 221870 SOS 95432 HAS SOPS 90608 HAS SOUS 39583 HAS SOUPS 38632 WITH SCORE 38727.432
AT ITER 9984 NEW BEST:: SOT 221886 SOS 95448 HAS SOPS 90609 HAS SOUS 39575 HAS SOUPS 38624 WITH SCORE 38719.448
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 10130580 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16152836 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="PolyORBLF-PT-S02J04T06"
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 PolyORBLF-PT-S02J04T06, 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 r291-tall-167873943000496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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