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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.5M
-rw-r--r-- 1 mcc users 14K Feb 26 14:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 26 14:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 21K Feb 26 14:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 122K Feb 26 14:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 34K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 45K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 165K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 35K Feb 26 14:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 199K Feb 26 14:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 239K Feb 26 14:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.1M Feb 26 14:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.3K 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 2.5M 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 1678800089608

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-S04J04T06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S04J04T06
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: 554 places, 2998 transitions, 20754 arcs.
AT ITER 0 NEW BEST:: SOT 1051008 SOS 614446 HAS SOPS 607150 HAS SOUS 195397 HAS SOUPS 194897 WITH SCORE 195511.446
AT ITER 1 NEW BEST:: SOT 999418 SOS 562856 HAS SOPS 555560 HAS SOUS 185541 HAS SOUPS 185041 WITH SCORE 185603.856
AT ITER 32 NEW BEST:: SOT 999392 SOS 562830 HAS SOPS 555586 HAS SOUS 185525 HAS SOUPS 185025 WITH SCORE 185587.83
AT ITER 37 NEW BEST:: SOT 999141 SOS 562599 HAS SOPS 555355 HAS SOUS 185227 HAS SOUPS 184727 WITH SCORE 185289.599
AT ITER 42 NEW BEST:: SOT 996837 SOS 560389 HAS SOPS 553051 HAS SOUS 182997 HAS SOUPS 182423 WITH SCORE 182983.389
AT ITER 44 NEW BEST:: SOT 996805 SOS 560325 HAS SOPS 552987 HAS SOUS 182969 HAS SOUPS 182395 WITH SCORE 182955.325
AT ITER 49 NEW BEST:: SOT 996828 SOS 560348 HAS SOPS 552939 HAS SOUS 182992 HAS SOUPS 182371 WITH SCORE 182931.348
AT ITER 76 NEW BEST:: SOT 996652 SOS 560186 HAS SOPS 552777 HAS SOUS 182821 HAS SOUPS 182200 WITH SCORE 182760.186
AT ITER 80 NEW BEST:: SOT 996628 SOS 560162 HAS SOPS 552687 HAS SOUS 182755 HAS SOUPS 182134 WITH SCORE 182694.162
AT ITER 88 NEW BEST:: SOT 996756 SOS 560497 HAS SOPS 553022 HAS SOUS 182157 HAS SOUPS 181536 WITH SCORE 182096.497
AT ITER 94 NEW BEST:: SOT 952740 SOS 516612 HAS SOPS 509137 HAS SOUS 173769 HAS SOUPS 173148 WITH SCORE 173664.612
AT ITER 103 NEW BEST:: SOT 952740 SOS 516822 HAS SOPS 509347 HAS SOUS 173516 HAS SOUPS 172895 WITH SCORE 173411.822
AT ITER 106 NEW BEST:: SOT 952739 SOS 516820 HAS SOPS 509345 HAS SOUS 173514 HAS SOUPS 172893 WITH SCORE 173409.82
AT ITER 138 NEW BEST:: SOT 952379 SOS 516306 HAS SOPS 508831 HAS SOUS 173058 HAS SOUPS 172437 WITH SCORE 172953.306
AT ITER 150 NEW BEST:: SOT 952087 SOS 515994 HAS SOPS 508519 HAS SOUS 172746 HAS SOUPS 172125 WITH SCORE 172640.994
AT ITER 152 NEW BEST:: SOT 952087 SOS 515768 HAS SOPS 508293 HAS SOUS 172520 HAS SOUPS 171899 WITH SCORE 172414.768
AT ITER 175 NEW BEST:: SOT 952063 SOS 515750 HAS SOPS 508275 HAS SOUS 172318 HAS SOUPS 171697 WITH SCORE 172212.75
AT ITER 194 NEW BEST:: SOT 951898 SOS 515579 HAS SOPS 508104 HAS SOUS 172147 HAS SOUPS 171526 WITH SCORE 172041.579
AT ITER 207 NEW BEST:: SOT 951874 SOS 515555 HAS SOPS 508007 HAS SOUS 172074 HAS SOUPS 171453 WITH SCORE 171968.555
AT ITER 218 NEW BEST:: SOT 951849 SOS 515552 HAS SOPS 508004 HAS SOUS 171238 HAS SOUPS 170617 WITH SCORE 171132.552
AT ITER 223 NEW BEST:: SOT 951835 SOS 515528 HAS SOPS 507980 HAS SOUS 171214 HAS SOUPS 170593 WITH SCORE 171108.528
AT ITER 233 NEW BEST:: SOT 950368 SOS 514214 HAS SOPS 506666 HAS SOUS 170971 HAS SOUPS 170350 WITH SCORE 170864.214
AT ITER 243 NEW BEST:: SOT 944794 SOS 509182 HAS SOPS 501677 HAS SOUS 165550 HAS SOUPS 164954 WITH SCORE 165463.182
AT ITER 249 NEW BEST:: SOT 944790 SOS 509178 HAS SOPS 501671 HAS SOUS 165548 HAS SOUPS 164952 WITH SCORE 165461.178
AT ITER 254 NEW BEST:: SOT 937396 SOS 501991 HAS SOPS 494484 HAS SOUS 162884 HAS SOUPS 162288 WITH SCORE 162789.991
AT ITER 255 NEW BEST:: SOT 937270 SOS 503288 HAS SOPS 494971 HAS SOUS 161807 HAS SOUPS 161076 WITH SCORE 161579.288
AT ITER 266 NEW BEST:: SOT 937150 SOS 503148 HAS SOPS 494831 HAS SOUS 161792 HAS SOUPS 161061 WITH SCORE 161564.148
AT ITER 267 NEW BEST:: SOT 920796 SOS 486794 HAS SOPS 478477 HAS SOUS 159128 HAS SOUPS 158397 WITH SCORE 158883.794
AT ITER 269 NEW BEST:: SOT 920797 SOS 486795 HAS SOPS 478478 HAS SOUS 159121 HAS SOUPS 158390 WITH SCORE 158876.795
AT ITER 280 NEW BEST:: SOT 920780 SOS 486693 HAS SOPS 478376 HAS SOUS 159121 HAS SOUPS 158390 WITH SCORE 158876.693
AT ITER 287 NEW BEST:: SOT 920749 SOS 486594 HAS SOPS 478277 HAS SOUS 159059 HAS SOUPS 158328 WITH SCORE 158814.594
AT ITER 291 NEW BEST:: SOT 920749 SOS 486594 HAS SOPS 478277 HAS SOUS 159050 HAS SOUPS 158319 WITH SCORE 158805.594
AT ITER 301 NEW BEST:: SOT 920187 SOS 486216 HAS SOPS 477899 HAS SOUS 158839 HAS SOUPS 158108 WITH SCORE 158594.216
AT ITER 303 NEW BEST:: SOT 919949 SOS 498976 HAS SOPS 490659 HAS SOUS 158782 HAS SOUPS 158051 WITH SCORE 158549.976
AT ITER 306 NEW BEST:: SOT 919935 SOS 498962 HAS SOPS 490645 HAS SOUS 158741 HAS SOUPS 158010 WITH SCORE 158508.962
AT ITER 312 NEW BEST:: SOT 919790 SOS 498817 HAS SOPS 490500 HAS SOUS 158566 HAS SOUPS 157835 WITH SCORE 158333.817
AT ITER 318 NEW BEST:: SOT 928442 SOS 507469 HAS SOPS 499152 HAS SOUS 158191 HAS SOUPS 157460 WITH SCORE 157967.469
AT ITER 323 NEW BEST:: SOT 928465 SOS 507492 HAS SOPS 499152 HAS SOUS 158168 HAS SOUPS 157414 WITH SCORE 157921.492
AT ITER 352 NEW BEST:: SOT 905033 SOS 484152 HAS SOPS 475812 HAS SOUS 153514 HAS SOUPS 152760 WITH SCORE 153244.152
AT ITER 354 NEW BEST:: SOT 904870 SOS 483992 HAS SOPS 475652 HAS SOUS 153319 HAS SOUPS 152565 WITH SCORE 153048.992
AT ITER 360 NEW BEST:: SOT 893148 SOS 472216 HAS SOPS 463876 HAS SOUS 151676 HAS SOUPS 150922 WITH SCORE 151394.216
AT ITER 374 NEW BEST:: SOT 880984 SOS 477400 HAS SOPS 469060 HAS SOUS 150147 HAS SOUPS 149393 WITH SCORE 149870.4
AT ITER 375 NEW BEST:: SOT 880984 SOS 477582 HAS SOPS 469242 HAS SOUS 149882 HAS SOUPS 149128 WITH SCORE 149605.582
AT ITER 412 NEW BEST:: SOT 879658 SOS 476256 HAS SOPS 467916 HAS SOUS 149666 HAS SOUPS 148912 WITH SCORE 149388.256
AT ITER 417 NEW BEST:: SOT 879589 SOS 476083 HAS SOPS 467743 HAS SOUS 149493 HAS SOUPS 148739 WITH SCORE 149215.083
AT ITER 428 NEW BEST:: SOT 879313 SOS 475877 HAS SOPS 467537 HAS SOUS 149287 HAS SOUPS 148533 WITH SCORE 149008.877
AT ITER 431 NEW BEST:: SOT 880558 SOS 477122 HAS SOPS 468782 HAS SOUS 149261 HAS SOUPS 148507 WITH SCORE 148984.122
AT ITER 444 NEW BEST:: SOT 880288 SOS 476616 HAS SOPS 468276 HAS SOUS 148946 HAS SOUPS 148192 WITH SCORE 148668.616
AT ITER 446 NEW BEST:: SOT 880288 SOS 476718 HAS SOPS 468378 HAS SOUS 148705 HAS SOUPS 147951 WITH SCORE 148427.718
AT ITER 455 NEW BEST:: SOT 879317 SOS 475800 HAS SOPS 467460 HAS SOUS 147845 HAS SOUPS 147091 WITH SCORE 147566.8
AT ITER 459 NEW BEST:: SOT 879009 SOS 475267 HAS SOPS 466927 HAS SOUS 147592 HAS SOUPS 146838 WITH SCORE 147313.267
AT ITER 461 NEW BEST:: SOT 879004 SOS 475262 HAS SOPS 466922 HAS SOUS 147582 HAS SOUPS 146828 WITH SCORE 147303.262
AT ITER 474 NEW BEST:: SOT 879036 SOS 475198 HAS SOPS 466858 HAS SOUS 147206 HAS SOUPS 146452 WITH SCORE 146927.198
AT ITER 477 NEW BEST:: SOT 878990 SOS 475152 HAS SOPS 466810 HAS SOUS 147204 HAS SOUPS 146450 WITH SCORE 146925.152
AT ITER 486 NEW BEST:: SOT 879040 SOS 475202 HAS SOPS 466818 HAS SOUS 147200 HAS SOUPS 146446 WITH SCORE 146921.202
AT ITER 499 NEW BEST:: SOT 877480 SOS 481256 HAS SOPS 477509 HAS SOUS 146435 HAS SOUPS 145835 WITH SCORE 146316.256
AT ITER 507 NEW BEST:: SOT 877083 SOS 480928 HAS SOPS 477181 HAS SOUS 146075 HAS SOUPS 145475 WITH SCORE 145955.928
AT ITER 516 NEW BEST:: SOT 877083 SOS 480859 HAS SOPS 477112 HAS SOUS 146041 HAS SOUPS 145441 WITH SCORE 145921.859
AT ITER 531 NEW BEST:: SOT 876933 SOS 480709 HAS SOPS 476962 HAS SOUS 145911 HAS SOUPS 145311 WITH SCORE 145791.709
AT ITER 535 NEW BEST:: SOT 876514 SOS 480363 HAS SOPS 476616 HAS SOUS 145483 HAS SOUPS 144883 WITH SCORE 145363.363
AT ITER 537 NEW BEST:: SOT 876514 SOS 480363 HAS SOPS 476616 HAS SOUS 144836 HAS SOUPS 144236 WITH SCORE 144716.363
AT ITER 570 NEW BEST:: SOT 876112 SOS 480085 HAS SOPS 476338 HAS SOUS 144558 HAS SOUPS 143958 WITH SCORE 144438.085
AT ITER 572 NEW BEST:: SOT 874609 SOS 478562 HAS SOPS 474815 HAS SOUS 144253 HAS SOUPS 143653 WITH SCORE 144131.562
AT ITER 596 NEW BEST:: SOT 857929 SOS 477608 HAS SOPS 473861 HAS SOUS 143548 HAS SOUPS 142948 WITH SCORE 143425.608
AT ITER 597 NEW BEST:: SOT 857779 SOS 477458 HAS SOPS 473711 HAS SOUS 143282 HAS SOUPS 142682 WITH SCORE 143159.458
AT ITER 598 NEW BEST:: SOT 857634 SOS 477313 HAS SOPS 473566 HAS SOUS 143137 HAS SOUPS 142537 WITH SCORE 143014.313
AT ITER 599 NEW BEST:: SOT 857262 SOS 477052 HAS SOPS 473305 HAS SOUS 142621 HAS SOUPS 142021 WITH SCORE 142498.052
AT ITER 601 NEW BEST:: SOT 857262 SOS 477052 HAS SOPS 473305 HAS SOUS 142597 HAS SOUPS 141997 WITH SCORE 142474.052
AT ITER 603 NEW BEST:: SOT 857303 SOS 477093 HAS SOPS 473322 HAS SOUS 142575 HAS SOUPS 141975 WITH SCORE 142452.093
AT ITER 625 NEW BEST:: SOT 857286 SOS 477059 HAS SOPS 473288 HAS SOUS 142541 HAS SOUPS 141941 WITH SCORE 142418.059
AT ITER 636 NEW BEST:: SOT 857296 SOS 477066 HAS SOPS 473295 HAS SOUS 142519 HAS SOUPS 141919 WITH SCORE 142396.066
AT ITER 637 NEW BEST:: SOT 856748 SOS 476489 HAS SOPS 472718 HAS SOUS 141971 HAS SOUPS 141371 WITH SCORE 141847.489
AT ITER 657 NEW BEST:: SOT 856742 SOS 476483 HAS SOPS 472712 HAS SOUS 141965 HAS SOUPS 141365 WITH SCORE 141841.483
AT ITER 665 NEW BEST:: SOT 856709 SOS 476405 HAS SOPS 472634 HAS SOUS 141887 HAS SOUPS 141287 WITH SCORE 141763.405
AT ITER 668 NEW BEST:: SOT 856790 SOS 476486 HAS SOPS 472693 HAS SOUS 141883 HAS SOUPS 141283 WITH SCORE 141759.486
AT ITER 677 NEW BEST:: SOT 856893 SOS 476360 HAS SOPS 472567 HAS SOUS 141822 HAS SOUPS 141222 WITH SCORE 141698.36
AT ITER 683 NEW BEST:: SOT 844060 SOS 491085 HAS SOPS 487292 HAS SOUS 140217 HAS SOUPS 139617 WITH SCORE 140108.085
AT ITER 686 NEW BEST:: SOT 844086 SOS 491111 HAS SOPS 487294 HAS SOUS 140169 HAS SOUPS 139569 WITH SCORE 140060.111
AT ITER 687 NEW BEST:: SOT 843819 SOS 490671 HAS SOPS 486854 HAS SOUS 139848 HAS SOUPS 139248 WITH SCORE 139738.671
AT ITER 688 NEW BEST:: SOT 837399 SOS 484251 HAS SOPS 480434 HAS SOUS 139350 HAS SOUPS 138750 WITH SCORE 139234.251
AT ITER 702 NEW BEST:: SOT 837377 SOS 484229 HAS SOPS 480434 HAS SOUS 139347 HAS SOUPS 138747 WITH SCORE 139231.229
AT ITER 712 NEW BEST:: SOT 837167 SOS 484083 HAS SOPS 480288 HAS SOUS 137754 HAS SOUPS 137154 WITH SCORE 137638.083
AT ITER 719 NEW BEST:: SOT 836948 SOS 483801 HAS SOPS 480006 HAS SOUS 136815 HAS SOUPS 136215 WITH SCORE 136698.801
AT ITER 725 NEW BEST:: SOT 836947 SOS 483800 HAS SOPS 480005 HAS SOUS 136814 HAS SOUPS 136214 WITH SCORE 136697.8
AT ITER 754 NEW BEST:: SOT 792265 SOS 447654 HAS SOPS 443859 HAS SOUS 130115 HAS SOUPS 129515 WITH SCORE 129962.654
AT ITER 757 NEW BEST:: SOT 792064 SOS 447573 HAS SOPS 443778 HAS SOUS 129978 HAS SOUPS 129378 WITH SCORE 129825.573
AT ITER 767 NEW BEST:: SOT 792038 SOS 447547 HAS SOPS 443752 HAS SOUS 129952 HAS SOUPS 129352 WITH SCORE 129799.547
AT ITER 786 NEW BEST:: SOT 791809 SOS 447352 HAS SOPS 443557 HAS SOUS 129757 HAS SOUPS 129157 WITH SCORE 129604.352
AT ITER 790 NEW BEST:: SOT 791797 SOS 447340 HAS SOPS 443545 HAS SOUS 129739 HAS SOUPS 129139 WITH SCORE 129586.34
AT ITER 799 NEW BEST:: SOT 791725 SOS 447268 HAS SOPS 443473 HAS SOUS 129669 HAS SOUPS 129069 WITH SCORE 129516.268
AT ITER 803 NEW BEST:: SOT 777797 SOS 433270 HAS SOPS 429475 HAS SOUS 126823 HAS SOUPS 126223 WITH SCORE 126656.27
AT ITER 809 NEW BEST:: SOT 777745 SOS 433218 HAS SOPS 429423 HAS SOUS 126709 HAS SOUPS 126109 WITH SCORE 126542.218
AT ITER 845 NEW BEST:: SOT 777709 SOS 433224 HAS SOPS 429441 HAS SOUS 126703 HAS SOUPS 126103 WITH SCORE 126536.224
AT ITER 848 NEW BEST:: SOT 777894 SOS 433343 HAS SOPS 429560 HAS SOUS 126347 HAS SOUPS 125747 WITH SCORE 126180.343
AT ITER 859 NEW BEST:: SOT 777892 SOS 433331 HAS SOPS 429548 HAS SOUS 126341 HAS SOUPS 125741 WITH SCORE 126174.331
AT ITER 863 NEW BEST:: SOT 777892 SOS 433430 HAS SOPS 429647 HAS SOUS 126332 HAS SOUPS 125732 WITH SCORE 126165.43
AT ITER 868 NEW BEST:: SOT 777669 SOS 433284 HAS SOPS 429501 HAS SOUS 126186 HAS SOUPS 125586 WITH SCORE 126019.284
AT ITER 873 NEW BEST:: SOT 777766 SOS 433308 HAS SOPS 429525 HAS SOUS 125567 HAS SOUPS 124967 WITH SCORE 125400.308
AT ITER 874 NEW BEST:: SOT 777616 SOS 433122 HAS SOPS 429339 HAS SOUS 125465 HAS SOUPS 124865 WITH SCORE 125298.122
AT ITER 880 NEW BEST:: SOT 777746 SOS 433368 HAS SOPS 429701 HAS SOUS 124414 HAS SOUPS 123814 WITH SCORE 124247.368
AT ITER 891 NEW BEST:: SOT 777187 SOS 432855 HAS SOPS 429188 HAS SOUS 123926 HAS SOUPS 123326 WITH SCORE 123758.855
AT ITER 908 NEW BEST:: SOT 777121 SOS 432883 HAS SOPS 429216 HAS SOUS 123794 HAS SOUPS 123194 WITH SCORE 123626.883
AT ITER 913 NEW BEST:: SOT 777138 SOS 433154 HAS SOPS 429487 HAS SOUS 123707 HAS SOUPS 123107 WITH SCORE 123540.154
AT ITER 930 NEW BEST:: SOT 777054 SOS 433085 HAS SOPS 429418 HAS SOUS 123638 HAS SOUPS 123038 WITH SCORE 123471.085
AT ITER 931 NEW BEST:: SOT 777040 SOS 433057 HAS SOPS 429390 HAS SOUS 123610 HAS SOUPS 123010 WITH SCORE 123443.057
AT ITER 935 NEW BEST:: SOT 777040 SOS 432833 HAS SOPS 429166 HAS SOUS 123274 HAS SOUPS 122674 WITH SCORE 123106.833
AT ITER 982 NEW BEST:: SOT 776934 SOS 432693 HAS SOPS 429026 HAS SOUS 123182 HAS SOUPS 122582 WITH SCORE 123014.693
AT ITER 983 NEW BEST:: SOT 772391 SOS 427974 HAS SOPS 424307 HAS SOUS 122245 HAS SOUPS 121645 WITH SCORE 122072.974
AT ITER 1000 NEW BEST:: SOT 772385 SOS 427968 HAS SOPS 424297 HAS SOUS 122241 HAS SOUPS 121637 WITH SCORE 122064.968
AT ITER 1006 NEW BEST:: SOT 772391 SOS 427974 HAS SOPS 424303 HAS SOUS 122236 HAS SOUPS 121632 WITH SCORE 122059.974
AT ITER 1009 NEW BEST:: SOT 772174 SOS 427577 HAS SOPS 423906 HAS SOUS 121934 HAS SOUPS 121330 WITH SCORE 121757.577
AT ITER 1015 NEW BEST:: SOT 772150 SOS 427734 HAS SOPS 424074 HAS SOUS 121915 HAS SOUPS 121311 WITH SCORE 121738.734
AT ITER 1032 NEW BEST:: SOT 772158 SOS 428098 HAS SOPS 424339 HAS SOUS 121823 HAS SOUPS 121220 WITH SCORE 121648.098
AT ITER 1039 NEW BEST:: SOT 772197 SOS 428124 HAS SOPS 424365 HAS SOUS 121733 HAS SOUPS 121130 WITH SCORE 121558.124
AT ITER 1041 NEW BEST:: SOT 771990 SOS 427921 HAS SOPS 424162 HAS SOUS 121593 HAS SOUPS 120990 WITH SCORE 121417.921
AT ITER 1048 NEW BEST:: SOT 765809 SOS 421740 HAS SOPS 417981 HAS SOUS 120663 HAS SOUPS 120060 WITH SCORE 120481.74
AT ITER 1056 NEW BEST:: SOT 765809 SOS 421674 HAS SOPS 417915 HAS SOUS 120597 HAS SOUPS 119994 WITH SCORE 120415.674
AT ITER 1060 NEW BEST:: SOT 766575 SOS 413994 HAS SOPS 410235 HAS SOUS 119665 HAS SOUPS 119062 WITH SCORE 119475.994
AT ITER 1063 NEW BEST:: SOT 766533 SOS 413957 HAS SOPS 410198 HAS SOUS 119628 HAS SOUPS 119025 WITH SCORE 119438.957
AT ITER 1071 NEW BEST:: SOT 766536 SOS 413960 HAS SOPS 410201 HAS SOUS 119589 HAS SOUPS 118986 WITH SCORE 119399.96
AT ITER 1073 NEW BEST:: SOT 766519 SOS 413970 HAS SOPS 410211 HAS SOUS 119548 HAS SOUPS 118945 WITH SCORE 119358.97
AT ITER 1082 NEW BEST:: SOT 766490 SOS 413941 HAS SOPS 410182 HAS SOUS 119504 HAS SOUPS 118901 WITH SCORE 119314.941
AT ITER 1088 NEW BEST:: SOT 766236 SOS 413753 HAS SOPS 409994 HAS SOUS 119238 HAS SOUPS 118635 WITH SCORE 119048.753
AT ITER 1105 NEW BEST:: SOT 766129 SOS 414347 HAS SOPS 410631 HAS SOUS 119228 HAS SOUPS 118625 WITH SCORE 119039.347
AT ITER 1110 NEW BEST:: SOT 766091 SOS 414309 HAS SOPS 410593 HAS SOUS 119094 HAS SOUPS 118491 WITH SCORE 118905.309
AT ITER 1128 NEW BEST:: SOT 766091 SOS 414309 HAS SOPS 410593 HAS SOUS 119092 HAS SOUPS 118489 WITH SCORE 118903.309
AT ITER 1134 NEW BEST:: SOT 766113 SOS 414331 HAS SOPS 410591 HAS SOUS 119044 HAS SOUPS 118441 WITH SCORE 118855.331
AT ITER 1164 NEW BEST:: SOT 766108 SOS 414324 HAS SOPS 410584 HAS SOUS 119037 HAS SOUPS 118434 WITH SCORE 118848.324
AT ITER 1182 NEW BEST:: SOT 766118 SOS 414303 HAS SOPS 410563 HAS SOUS 119016 HAS SOUPS 118413 WITH SCORE 118827.303
AT ITER 1185 NEW BEST:: SOT 765786 SOS 413784 HAS SOPS 410044 HAS SOUS 118533 HAS SOUPS 117930 WITH SCORE 118343.784
AT ITER 1186 NEW BEST:: SOT 758563 SOS 406561 HAS SOPS 402821 HAS SOUS 117320 HAS SOUPS 116717 WITH SCORE 117123.561
AT ITER 1187 NEW BEST:: SOT 758561 SOS 406559 HAS SOPS 402817 HAS SOUS 117318 HAS SOUPS 116713 WITH SCORE 117119.559
AT ITER 1192 NEW BEST:: SOT 758607 SOS 406445 HAS SOPS 402734 HAS SOUS 117310 HAS SOUPS 116705 WITH SCORE 117111.445
AT ITER 1198 NEW BEST:: SOT 758338 SOS 406218 HAS SOPS 402507 HAS SOUS 117021 HAS SOUPS 116416 WITH SCORE 116822.218
AT ITER 1209 NEW BEST:: SOT 758312 SOS 406192 HAS SOPS 402481 HAS SOUS 116995 HAS SOUPS 116390 WITH SCORE 116796.192
AT ITER 1216 NEW BEST:: SOT 758020 SOS 405950 HAS SOPS 402239 HAS SOUS 116681 HAS SOUPS 116076 WITH SCORE 116481.95
AT ITER 1239 NEW BEST:: SOT 758046 SOS 405929 HAS SOPS 402192 HAS SOUS 116665 HAS SOUPS 116060 WITH SCORE 116465.929
AT ITER 1258 NEW BEST:: SOT 758034 SOS 405905 HAS SOPS 402168 HAS SOUS 116641 HAS SOUPS 116036 WITH SCORE 116441.905
AT ITER 1273 NEW BEST:: SOT 757772 SOS 405592 HAS SOPS 401852 HAS SOUS 116355 HAS SOUPS 115750 WITH SCORE 116155.592
AT ITER 1284 NEW BEST:: SOT 757684 SOS 405468 HAS SOPS 401728 HAS SOUS 116345 HAS SOUPS 115740 WITH SCORE 116145.468
AT ITER 1286 NEW BEST:: SOT 757596 SOS 405816 HAS SOPS 402076 HAS SOUS 116314 HAS SOUPS 115709 WITH SCORE 116114.816
AT ITER 1292 NEW BEST:: SOT 757781 SOS 405896 HAS SOPS 402156 HAS SOUS 116239 HAS SOUPS 115634 WITH SCORE 116039.896
AT ITER 1297 NEW BEST:: SOT 757392 SOS 405780 HAS SOPS 402040 HAS SOUS 116123 HAS SOUPS 115518 WITH SCORE 115923.78
AT ITER 1310 NEW BEST:: SOT 757203 SOS 405528 HAS SOPS 401788 HAS SOUS 115870 HAS SOUPS 115265 WITH SCORE 115670.528
AT ITER 1320 NEW BEST:: SOT 757095 SOS 405231 HAS SOPS 401491 HAS SOUS 115731 HAS SOUPS 115126 WITH SCORE 115531.231
AT ITER 1357 NEW BEST:: SOT 756941 SOS 404901 HAS SOPS 401257 HAS SOUS 115681 HAS SOUPS 115076 WITH SCORE 115480.901
AT ITER 1363 NEW BEST:: SOT 756941 SOS 404901 HAS SOPS 401258 HAS SOUS 115679 HAS SOUPS 115074 WITH SCORE 115478.901
AT ITER 1368 NEW BEST:: SOT 756937 SOS 404609 HAS SOPS 400966 HAS SOUS 115621 HAS SOUPS 115016 WITH SCORE 115420.609
AT ITER 1381 NEW BEST:: SOT 756943 SOS 404622 HAS SOPS 400979 HAS SOUS 115616 HAS SOUPS 115011 WITH SCORE 115415.622
AT ITER 1403 NEW BEST:: SOT 756367 SOS 404051 HAS SOPS 400408 HAS SOUS 115495 HAS SOUPS 114890 WITH SCORE 115294.051
AT ITER 1412 NEW BEST:: SOT 756296 SOS 404107 HAS SOPS 400545 HAS SOUS 115451 HAS SOUPS 114846 WITH SCORE 115250.107
AT ITER 1416 NEW BEST:: SOT 756296 SOS 404107 HAS SOPS 400545 HAS SOUS 115405 HAS SOUPS 114800 WITH SCORE 115204.107
AT ITER 1439 NEW BEST:: SOT 756140 SOS 403839 HAS SOPS 400277 HAS SOUS 114980 HAS SOUPS 114375 WITH SCORE 114778.839
AT ITER 1445 NEW BEST:: SOT 756021 SOS 403720 HAS SOPS 400158 HAS SOUS 114935 HAS SOUPS 114330 WITH SCORE 114733.72
AT ITER 1452 NEW BEST:: SOT 755733 SOS 403431 HAS SOPS 399869 HAS SOUS 114472 HAS SOUPS 113867 WITH SCORE 114270.431
AT ITER 1460 NEW BEST:: SOT 755733 SOS 403431 HAS SOPS 399869 HAS SOUS 114212 HAS SOUPS 113607 WITH SCORE 114010.431
AT ITER 1461 NEW BEST:: SOT 755698 SOS 403361 HAS SOPS 399799 HAS SOUS 114120 HAS SOUPS 113515 WITH SCORE 113918.361
AT ITER 1469 NEW BEST:: SOT 754734 SOS 402499 HAS SOPS 398937 HAS SOUS 113631 HAS SOUPS 113026 WITH SCORE 113428.499
AT ITER 1483 NEW BEST:: SOT 754719 SOS 402484 HAS SOPS 398922 HAS SOUS 113565 HAS SOUPS 112960 WITH SCORE 113362.484
AT ITER 1485 NEW BEST:: SOT 754655 SOS 402420 HAS SOPS 398858 HAS SOUS 113473 HAS SOUPS 112868 WITH SCORE 113270.42
AT ITER 1497 NEW BEST:: SOT 754638 SOS 402403 HAS SOPS 398841 HAS SOUS 113439 HAS SOUPS 112834 WITH SCORE 113236.403
AT ITER 1503 NEW BEST:: SOT 754252 SOS 402020 HAS SOPS 398458 HAS SOUS 112948 HAS SOUPS 112343 WITH SCORE 112745.02
AT ITER 1506 NEW BEST:: SOT 754252 SOS 401972 HAS SOPS 398410 HAS SOUS 112948 HAS SOUPS 112343 WITH SCORE 112744.972
AT ITER 1508 NEW BEST:: SOT 754208 SOS 401906 HAS SOPS 398344 HAS SOUS 112882 HAS SOUPS 112277 WITH SCORE 112678.906
AT ITER 1512 NEW BEST:: SOT 754179 SOS 401848 HAS SOPS 398286 HAS SOUS 112863 HAS SOUPS 112258 WITH SCORE 112659.848
AT ITER 1518 NEW BEST:: SOT 754169 SOS 401838 HAS SOPS 398276 HAS SOUS 112853 HAS SOUPS 112248 WITH SCORE 112649.838
AT ITER 1525 NEW BEST:: SOT 754008 SOS 401695 HAS SOPS 398133 HAS SOUS 112731 HAS SOUPS 112126 WITH SCORE 112527.695
AT ITER 1562 NEW BEST:: SOT 753984 SOS 401671 HAS SOPS 398109 HAS SOUS 112662 HAS SOUPS 112057 WITH SCORE 112458.671
AT ITER 1598 NEW BEST:: SOT 753825 SOS 401406 HAS SOPS 397791 HAS SOUS 112450 HAS SOUPS 111845 WITH SCORE 112246.406
AT ITER 1606 NEW BEST:: SOT 753811 SOS 401260 HAS SOPS 397645 HAS SOUS 112422 HAS SOUPS 111817 WITH SCORE 112218.26
AT ITER 1626 NEW BEST:: SOT 753770 SOS 400929 HAS SOPS 397314 HAS SOUS 112361 HAS SOUPS 111756 WITH SCORE 112156.929
AT ITER 1642 NEW BEST:: SOT 753795 SOS 401228 HAS SOPS 397613 HAS SOUS 112174 HAS SOUPS 111569 WITH SCORE 111970.228
AT ITER 1650 NEW BEST:: SOT 753795 SOS 401176 HAS SOPS 397561 HAS SOUS 112174 HAS SOUPS 111569 WITH SCORE 111970.176
AT ITER 1654 NEW BEST:: SOT 736889 SOS 384401 HAS SOPS 380786 HAS SOUS 110545 HAS SOUPS 109940 WITH SCORE 110324.401
AT ITER 1687 NEW BEST:: SOT 736886 SOS 384296 HAS SOPS 380681 HAS SOUS 110437 HAS SOUPS 109832 WITH SCORE 110216.296
AT ITER 1700 NEW BEST:: SOT 736858 SOS 384268 HAS SOPS 380653 HAS SOUS 110408 HAS SOUPS 109803 WITH SCORE 110187.268
AT ITER 1716 NEW BEST:: SOT 736879 SOS 384289 HAS SOPS 380674 HAS SOUS 110298 HAS SOUPS 109693 WITH SCORE 110077.289
AT ITER 1725 NEW BEST:: SOT 736607 SOS 384031 HAS SOPS 380416 HAS SOUS 110150 HAS SOUPS 109545 WITH SCORE 109929.031
AT ITER 1732 NEW BEST:: SOT 736592 SOS 384006 HAS SOPS 380391 HAS SOUS 110135 HAS SOUPS 109530 WITH SCORE 109914.006
AT ITER 1733 NEW BEST:: SOT 737141 SOS 384666 HAS SOPS 375763 HAS SOUS 110987 HAS SOUPS 109482 WITH SCORE 109866.666
AT ITER 1743 NEW BEST:: SOT 737125 SOS 384630 HAS SOPS 375727 HAS SOUS 110971 HAS SOUPS 109466 WITH SCORE 109850.63
AT ITER 1756 NEW BEST:: SOT 737123 SOS 384628 HAS SOPS 375725 HAS SOUS 110967 HAS SOUPS 109462 WITH SCORE 109846.628
AT ITER 1762 NEW BEST:: SOT 737123 SOS 384596 HAS SOPS 375693 HAS SOUS 110919 HAS SOUPS 109414 WITH SCORE 109798.596
AT ITER 1764 NEW BEST:: SOT 737218 SOS 384691 HAS SOPS 375885 HAS SOUS 110865 HAS SOUPS 109360 WITH SCORE 109744.691
AT ITER 1786 NEW BEST:: SOT 736996 SOS 384723 HAS SOPS 375962 HAS SOUS 110800 HAS SOUPS 109295 WITH SCORE 109679.723
AT ITER 1797 NEW BEST:: SOT 736998 SOS 384817 HAS SOPS 376056 HAS SOUS 110489 HAS SOUPS 108984 WITH SCORE 109368.817
AT ITER 1799 NEW BEST:: SOT 736978 SOS 384777 HAS SOPS 376016 HAS SOUS 110449 HAS SOUPS 108944 WITH SCORE 109328.777
AT ITER 1800 NEW BEST:: SOT 736951 SOS 384750 HAS SOPS 375989 HAS SOUS 110435 HAS SOUPS 108930 WITH SCORE 109314.75
AT ITER 1808 NEW BEST:: SOT 736944 SOS 384787 HAS SOPS 376007 HAS SOUS 110426 HAS SOUPS 108921 WITH SCORE 109305.787
AT ITER 1819 NEW BEST:: SOT 736934 SOS 384771 HAS SOPS 375991 HAS SOUS 110410 HAS SOUPS 108905 WITH SCORE 109289.771
AT ITER 1828 NEW BEST:: SOT 736880 SOS 384717 HAS SOPS 375937 HAS SOUS 110356 HAS SOUPS 108851 WITH SCORE 109235.717
AT ITER 1829 NEW BEST:: SOT 736875 SOS 384745 HAS SOPS 375965 HAS SOUS 110349 HAS SOUPS 108844 WITH SCORE 109228.745
AT ITER 1834 NEW BEST:: SOT 729715 SOS 377595 HAS SOPS 368815 HAS SOUS 110183 HAS SOUPS 108678 WITH SCORE 109055.595
AT ITER 1837 NEW BEST:: SOT 729879 SOS 377804 HAS SOPS 369024 HAS SOUS 110078 HAS SOUPS 108573 WITH SCORE 108950.804
AT ITER 1845 NEW BEST:: SOT 729850 SOS 377777 HAS SOPS 368997 HAS SOUS 110020 HAS SOUPS 108515 WITH SCORE 108892.777
AT ITER 1892 NEW BEST:: SOT 729841 SOS 377759 HAS SOPS 368979 HAS SOUS 110002 HAS SOUPS 108497 WITH SCORE 108874.759
AT ITER 1904 NEW BEST:: SOT 729801 SOS 377719 HAS SOPS 368939 HAS SOUS 109962 HAS SOUPS 108457 WITH SCORE 108834.719
AT ITER 1925 NEW BEST:: SOT 729713 SOS 377631 HAS SOPS 368851 HAS SOUS 109947 HAS SOUPS 108442 WITH SCORE 108819.631
AT ITER 1929 NEW BEST:: SOT 729587 SOS 376805 HAS SOPS 368203 HAS SOUS 109739 HAS SOUPS 108234 WITH SCORE 108610.805
AT ITER 1940 NEW BEST:: SOT 727830 SOS 374740 HAS SOPS 366138 HAS SOUS 108040 HAS SOUPS 106535 WITH SCORE 106909.74
AT ITER 1946 NEW BEST:: SOT 727830 SOS 374737 HAS SOPS 366135 HAS SOUS 108037 HAS SOUPS 106532 WITH SCORE 106906.737
AT ITER 1969 NEW BEST:: SOT 727699 SOS 374026 HAS SOPS 365424 HAS SOUS 107991 HAS SOUPS 106486 WITH SCORE 106860.026
AT ITER 1975 NEW BEST:: SOT 727703 SOS 374030 HAS SOPS 365428 HAS SOUS 107977 HAS SOUPS 106472 WITH SCORE 106846.03
AT ITER 1979 NEW BEST:: SOT 727687 SOS 374014 HAS SOPS 365412 HAS SOUS 107961 HAS SOUPS 106456 WITH SCORE 106830.014
AT ITER 1990 NEW BEST:: SOT 727668 SOS 373995 HAS SOPS 365393 HAS SOUS 107942 HAS SOUPS 106437 WITH SCORE 106810.995
AT ITER 1996 NEW BEST:: SOT 727567 SOS 373894 HAS SOPS 365292 HAS SOUS 107898 HAS SOUPS 106393 WITH SCORE 106766.894
AT ITER 2002 NEW BEST:: SOT 727567 SOS 372970 HAS SOPS 364368 HAS SOUS 107898 HAS SOUPS 106393 WITH SCORE 106765.97
AT ITER 2032 NEW BEST:: SOT 725712 SOS 371094 HAS SOPS 362492 HAS SOUS 107548 HAS SOUPS 106043 WITH SCORE 106414.094
AT ITER 2037 NEW BEST:: SOT 725665 SOS 371050 HAS SOPS 362448 HAS SOUS 107526 HAS SOUPS 106021 WITH SCORE 106392.05
AT ITER 2040 NEW BEST:: SOT 725733 SOS 371099 HAS SOPS 362497 HAS SOUS 106873 HAS SOUPS 105368 WITH SCORE 105739.099
AT ITER 2047 NEW BEST:: SOT 725696 SOS 371013 HAS SOPS 362411 HAS SOUS 106787 HAS SOUPS 105282 WITH SCORE 105653.013
AT ITER 2052 NEW BEST:: SOT 725523 SOS 370755 HAS SOPS 362153 HAS SOUS 106655 HAS SOUPS 105150 WITH SCORE 105520.755
AT ITER 2060 NEW BEST:: SOT 725478 SOS 370692 HAS SOPS 362090 HAS SOUS 106636 HAS SOUPS 105131 WITH SCORE 105501.692
AT ITER 2061 NEW BEST:: SOT 725457 SOS 370671 HAS SOPS 362069 HAS SOUS 106615 HAS SOUPS 105110 WITH SCORE 105480.671
AT ITER 2067 NEW BEST:: SOT 720833 SOS 365953 HAS SOPS 357351 HAS SOUS 105582 HAS SOUPS 104077 WITH SCORE 104442.953
AT ITER 2069 NEW BEST:: SOT 720772 SOS 365664 HAS SOPS 357062 HAS SOUS 105415 HAS SOUPS 103910 WITH SCORE 104275.664
AT ITER 2076 NEW BEST:: SOT 720732 SOS 365612 HAS SOPS 357010 HAS SOUS 105343 HAS SOUPS 103838 WITH SCORE 104203.612
AT ITER 2082 NEW BEST:: SOT 720503 SOS 365479 HAS SOPS 356877 HAS SOUS 105018 HAS SOUPS 103513 WITH SCORE 103878.479
AT ITER 2100 NEW BEST:: SOT 720471 SOS 365447 HAS SOPS 356831 HAS SOUS 104989 HAS SOUPS 103470 WITH SCORE 103835.447
AT ITER 2105 NEW BEST:: SOT 720549 SOS 365445 HAS SOPS 356808 HAS SOUS 104987 HAS SOUPS 103468 WITH SCORE 103833.445
AT ITER 2106 NEW BEST:: SOT 720426 SOS 365345 HAS SOPS 356729 HAS SOUS 104265 HAS SOUPS 102746 WITH SCORE 103111.345
AT ITER 2131 NEW BEST:: SOT 720390 SOS 365300 HAS SOPS 356684 HAS SOUS 104220 HAS SOUPS 102701 WITH SCORE 103066.3
AT ITER 2147 NEW BEST:: SOT 720390 SOS 358290 HAS SOPS 349674 HAS SOUS 104210 HAS SOUPS 102691 WITH SCORE 103049.29
AT ITER 2159 NEW BEST:: SOT 720387 SOS 358287 HAS SOPS 349671 HAS SOUS 104158 HAS SOUPS 102639 WITH SCORE 102997.287
AT ITER 2177 NEW BEST:: SOT 720318 SOS 358267 HAS SOPS 349651 HAS SOUS 104077 HAS SOUPS 102558 WITH SCORE 102916.267
AT ITER 2180 NEW BEST:: SOT 720300 SOS 358249 HAS SOPS 349633 HAS SOUS 104071 HAS SOUPS 102552 WITH SCORE 102910.249
AT ITER 2190 NEW BEST:: SOT 720306 SOS 358255 HAS SOPS 349639 HAS SOUS 103986 HAS SOUPS 102467 WITH SCORE 102825.255
AT ITER 2193 NEW BEST:: SOT 720110 SOS 358119 HAS SOPS 349503 HAS SOUS 103774 HAS SOUPS 102255 WITH SCORE 102613.119
AT ITER 2197 NEW BEST:: SOT 720119 SOS 358128 HAS SOPS 349512 HAS SOUS 103733 HAS SOUPS 102214 WITH SCORE 102572.128
AT ITER 2214 NEW BEST:: SOT 720040 SOS 358049 HAS SOPS 349433 HAS SOUS 103556 HAS SOUPS 102037 WITH SCORE 102395.049
AT ITER 2233 NEW BEST:: SOT 719896 SOS 357770 HAS SOPS 349154 HAS SOUS 103394 HAS SOUPS 101875 WITH SCORE 102232.77
AT ITER 2262 NEW BEST:: SOT 719833 SOS 357707 HAS SOPS 349091 HAS SOUS 103331 HAS SOUPS 101812 WITH SCORE 102169.707
AT ITER 2281 NEW BEST:: SOT 719721 SOS 357611 HAS SOPS 348995 HAS SOUS 103288 HAS SOUPS 101769 WITH SCORE 102126.611
AT ITER 2310 NEW BEST:: SOT 719644 SOS 357515 HAS SOPS 348899 HAS SOUS 103179 HAS SOUPS 101660 WITH SCORE 102017.515
AT ITER 2323 NEW BEST:: SOT 719639 SOS 357514 HAS SOPS 348898 HAS SOUS 103169 HAS SOUPS 101650 WITH SCORE 102007.514
AT ITER 2332 NEW BEST:: SOT 719632 SOS 357507 HAS SOPS 348891 HAS SOUS 103145 HAS SOUPS 101626 WITH SCORE 101983.507
AT ITER 2334 NEW BEST:: SOT 719680 SOS 357422 HAS SOPS 348806 HAS SOUS 103060 HAS SOUPS 101541 WITH SCORE 101898.422
AT ITER 2337 NEW BEST:: SOT 719498 SOS 357233 HAS SOPS 348617 HAS SOUS 102993 HAS SOUPS 101474 WITH SCORE 101831.233
AT ITER 2354 NEW BEST:: SOT 719498 SOS 357207 HAS SOPS 348591 HAS SOUS 102983 HAS SOUPS 101464 WITH SCORE 101821.207
AT ITER 2380 NEW BEST:: SOT 719498 SOS 357207 HAS SOPS 348591 HAS SOUS 102982 HAS SOUPS 101463 WITH SCORE 101820.207
AT ITER 2383 NEW BEST:: SOT 719075 SOS 356794 HAS SOPS 348178 HAS SOUS 102451 HAS SOUPS 100932 WITH SCORE 101288.794
AT ITER 2384 NEW BEST:: SOT 718926 SOS 356217 HAS SOPS 347601 HAS SOUS 102222 HAS SOUPS 100703 WITH SCORE 101059.217
AT ITER 2390 NEW BEST:: SOT 718902 SOS 356189 HAS SOPS 347573 HAS SOUS 102083 HAS SOUPS 100564 WITH SCORE 100920.189
AT ITER 2396 NEW BEST:: SOT 719024 SOS 356311 HAS SOPS 347695 HAS SOUS 102033 HAS SOUPS 100514 WITH SCORE 100870.311
AT ITER 2420 NEW BEST:: SOT 718988 SOS 356121 HAS SOPS 347505 HAS SOUS 101925 HAS SOUPS 100406 WITH SCORE 100762.121
AT ITER 2430 NEW BEST:: SOT 719055 SOS 356174 HAS SOPS 347558 HAS SOUS 101852 HAS SOUPS 100333 WITH SCORE 100689.174
AT ITER 2471 NEW BEST:: SOT 719113 SOS 356232 HAS SOPS 347616 HAS SOUS 101851 HAS SOUPS 100332 WITH SCORE 100688.232
AT ITER 2483 NEW BEST:: SOT 719069 SOS 356188 HAS SOPS 347572 HAS SOUS 101807 HAS SOUPS 100288 WITH SCORE 100644.188
AT ITER 2506 NEW BEST:: SOT 719324 SOS 339123 HAS SOPS 330507 HAS SOUS 100949 HAS SOUPS 99430 WITH SCORE 99769.123
AT ITER 2510 NEW BEST:: SOT 719278 SOS 338949 HAS SOPS 330252 HAS SOUS 100937 HAS SOUPS 99418 WITH SCORE 99756.949
AT ITER 2511 NEW BEST:: SOT 719232 SOS 338903 HAS SOPS 330183 HAS SOUS 100868 HAS SOUPS 99349 WITH SCORE 99687.903
AT ITER 2520 NEW BEST:: SOT 719223 SOS 338894 HAS SOPS 330174 HAS SOUS 100850 HAS SOUPS 99331 WITH SCORE 99669.894
AT ITER 2522 NEW BEST:: SOT 719205 SOS 338129 HAS SOPS 329409 HAS SOUS 100796 HAS SOUPS 99277 WITH SCORE 99615.129
AT ITER 2531 NEW BEST:: SOT 719129 SOS 338209 HAS SOPS 329489 HAS SOUS 100789 HAS SOUPS 99270 WITH SCORE 99608.209
AT ITER 2551 NEW BEST:: SOT 719089 SOS 338169 HAS SOPS 329449 HAS SOUS 100699 HAS SOUPS 99180 WITH SCORE 99518.169
AT ITER 2569 NEW BEST:: SOT 719049 SOS 338123 HAS SOPS 329403 HAS SOUS 100620 HAS SOUPS 99101 WITH SCORE 99439.123
AT ITER 2589 NEW BEST:: SOT 718951 SOS 338014 HAS SOPS 329273 HAS SOUS 100551 HAS SOUPS 99014 WITH SCORE 99352.014
AT ITER 2593 NEW BEST:: SOT 718855 SOS 337631 HAS SOPS 328890 HAS SOUS 100244 HAS SOUPS 98707 WITH SCORE 99044.631
AT ITER 2599 NEW BEST:: SOT 718846 SOS 337613 HAS SOPS 328872 HAS SOUS 100201 HAS SOUPS 98664 WITH SCORE 99001.613
AT ITER 2614 NEW BEST:: SOT 718924 SOS 337621 HAS SOPS 328880 HAS SOUS 100142 HAS SOUPS 98605 WITH SCORE 98942.621
AT ITER 2629 NEW BEST:: SOT 718897 SOS 337594 HAS SOPS 328853 HAS SOUS 100115 HAS SOUPS 98578 WITH SCORE 98915.594
AT ITER 2635 NEW BEST:: SOT 721788 SOS 340535 HAS SOPS 331794 HAS SOUS 100038 HAS SOUPS 98501 WITH SCORE 98841.535
AT ITER 2642 NEW BEST:: SOT 721788 SOS 340525 HAS SOPS 331784 HAS SOUS 100038 HAS SOUPS 98501 WITH SCORE 98841.525
AT ITER 2665 NEW BEST:: SOT 721781 SOS 340473 HAS SOPS 331732 HAS SOUS 100024 HAS SOUPS 98487 WITH SCORE 98827.473
AT ITER 2673 NEW BEST:: SOT 721412 SOS 339057 HAS SOPS 330316 HAS SOUS 99868 HAS SOUPS 98331 WITH SCORE 98670.057
AT ITER 2674 NEW BEST:: SOT 721412 SOS 339057 HAS SOPS 330316 HAS SOUS 99866 HAS SOUPS 98329 WITH SCORE 98668.057
AT ITER 2691 NEW BEST:: SOT 721411 SOS 339056 HAS SOPS 330314 HAS SOUS 99867 HAS SOUPS 98328 WITH SCORE 98667.056
AT ITER 2700 NEW BEST:: SOT 721411 SOS 339056 HAS SOPS 330314 HAS SOUS 99818 HAS SOUPS 98279 WITH SCORE 98618.056
AT ITER 2716 NEW BEST:: SOT 721128 SOS 338753 HAS SOPS 330011 HAS SOUS 99428 HAS SOUPS 97889 WITH SCORE 98227.753
AT ITER 2723 NEW BEST:: SOT 721128 SOS 338747 HAS SOPS 330005 HAS SOUS 99428 HAS SOUPS 97889 WITH SCORE 98227.747
AT ITER 2741 NEW BEST:: SOT 721128 SOS 338691 HAS SOPS 329949 HAS SOUS 99379 HAS SOUPS 97840 WITH SCORE 98178.691
AT ITER 2746 NEW BEST:: SOT 721145 SOS 338708 HAS SOPS 329966 HAS SOUS 99356 HAS SOUPS 97817 WITH SCORE 98155.708
AT ITER 2756 NEW BEST:: SOT 718009 SOS 335572 HAS SOPS 326830 HAS SOUS 98768 HAS SOUPS 97229 WITH SCORE 97564.572
AT ITER 2768 NEW BEST:: SOT 717993 SOS 335529 HAS SOPS 326787 HAS SOUS 98759 HAS SOUPS 97220 WITH SCORE 97555.529
AT ITER 2786 NEW BEST:: SOT 717790 SOS 335322 HAS SOPS 326580 HAS SOUS 98739 HAS SOUPS 97200 WITH SCORE 97535.322
AT ITER 2805 NEW BEST:: SOT 717533 SOS 335012 HAS SOPS 326270 HAS SOUS 98429 HAS SOUPS 96890 WITH SCORE 97225.012
AT ITER 2839 NEW BEST:: SOT 717524 SOS 335003 HAS SOPS 326261 HAS SOUS 98417 HAS SOUPS 96878 WITH SCORE 97213.003
AT ITER 2853 NEW BEST:: SOT 717524 SOS 334997 HAS SOPS 326255 HAS SOUS 98415 HAS SOUPS 96876 WITH SCORE 97210.997
AT ITER 2857 NEW BEST:: SOT 717523 SOS 334996 HAS SOPS 326253 HAS SOUS 98413 HAS SOUPS 96874 WITH SCORE 97208.996
AT ITER 2868 NEW BEST:: SOT 717295 SOS 334792 HAS SOPS 326049 HAS SOUS 98281 HAS SOUPS 96742 WITH SCORE 97076.792
AT ITER 2921 NEW BEST:: SOT 717045 SOS 334545 HAS SOPS 325802 HAS SOUS 98062 HAS SOUPS 96523 WITH SCORE 96857.545
AT ITER 2928 NEW BEST:: SOT 716739 SOS 334157 HAS SOPS 325414 HAS SOUS 97741 HAS SOUPS 96202 WITH SCORE 96536.157
AT ITER 2931 NEW BEST:: SOT 716736 SOS 334154 HAS SOPS 325411 HAS SOUS 97741 HAS SOUPS 96202 WITH SCORE 96536.154
AT ITER 2934 NEW BEST:: SOT 716591 SOS 334009 HAS SOPS 325266 HAS SOUS 97140 HAS SOUPS 95601 WITH SCORE 95935.009
AT ITER 2937 NEW BEST:: SOT 716699 SOS 334117 HAS SOPS 325374 HAS SOUS 97112 HAS SOUPS 95573 WITH SCORE 95907.117
AT ITER 2962 NEW BEST:: SOT 716673 SOS 334091 HAS SOPS 325335 HAS SOUS 97071 HAS SOUPS 95532 WITH SCORE 95866.091
AT ITER 2964 NEW BEST:: SOT 716646 SOS 334064 HAS SOPS 325308 HAS SOUS 96995 HAS SOUPS 95456 WITH SCORE 95790.064
AT ITER 2976 NEW BEST:: SOT 716224 SOS 333397 HAS SOPS 324689 HAS SOUS 96916 HAS SOUPS 95385 WITH SCORE 95718.397
AT ITER 2987 NEW BEST:: SOT 716427 SOS 333600 HAS SOPS 324892 HAS SOUS 96843 HAS SOUPS 95312 WITH SCORE 95645.6
AT ITER 3020 NEW BEST:: SOT 716424 SOS 333600 HAS SOPS 324892 HAS SOUS 96840 HAS SOUPS 95309 WITH SCORE 95642.6
AT ITER 3021 NEW BEST:: SOT 716420 SOS 333596 HAS SOPS 324888 HAS SOUS 96836 HAS SOUPS 95305 WITH SCORE 95638.596
AT ITER 3025 NEW BEST:: SOT 716390 SOS 333503 HAS SOPS 324675 HAS SOUS 96729 HAS SOUPS 95152 WITH SCORE 95485.503
AT ITER 3026 NEW BEST:: SOT 716148 SOS 333162 HAS SOPS 324334 HAS SOUS 96365 HAS SOUPS 94788 WITH SCORE 95121.162
AT ITER 3028 NEW BEST:: SOT 716131 SOS 333141 HAS SOPS 324313 HAS SOUS 96331 HAS SOUPS 94754 WITH SCORE 95087.141
AT ITER 3039 NEW BEST:: SOT 716123 SOS 333115 HAS SOPS 324287 HAS SOUS 96280 HAS SOUPS 94703 WITH SCORE 95036.115
AT ITER 3045 NEW BEST:: SOT 716123 SOS 333107 HAS SOPS 324279 HAS SOUS 96280 HAS SOUPS 94703 WITH SCORE 95036.107
AT ITER 3054 NEW BEST:: SOT 716093 SOS 333077 HAS SOPS 324249 HAS SOUS 96253 HAS SOUPS 94676 WITH SCORE 95009.077
AT ITER 3073 NEW BEST:: SOT 716015 SOS 332999 HAS SOPS 324171 HAS SOUS 96206 HAS SOUPS 94629 WITH SCORE 94961.999
AT ITER 3091 NEW BEST:: SOT 715763 SOS 332492 HAS SOPS 323664 HAS SOUS 95761 HAS SOUPS 94184 WITH SCORE 94516.492
AT ITER 3110 NEW BEST:: SOT 715619 SOS 332348 HAS SOPS 323520 HAS SOUS 95656 HAS SOUPS 94079 WITH SCORE 94411.348
AT ITER 3119 NEW BEST:: SOT 715369 SOS 332169 HAS SOPS 323341 HAS SOUS 95287 HAS SOUPS 93710 WITH SCORE 94042.169
AT ITER 3123 NEW BEST:: SOT 715249 SOS 332031 HAS SOPS 323203 HAS SOUS 95099 HAS SOUPS 93522 WITH SCORE 93854.031
AT ITER 3138 NEW BEST:: SOT 715213 SOS 331959 HAS SOPS 323131 HAS SOUS 95027 HAS SOUPS 93450 WITH SCORE 93781.959
AT ITER 3208 NEW BEST:: SOT 715152 SOS 331898 HAS SOPS 323070 HAS SOUS 94905 HAS SOUPS 93328 WITH SCORE 93659.898
AT ITER 3229 NEW BEST:: SOT 715152 SOS 331898 HAS SOPS 323070 HAS SOUS 94899 HAS SOUPS 93322 WITH SCORE 93653.898
AT ITER 3232 NEW BEST:: SOT 715099 SOS 331833 HAS SOPS 323093 HAS SOUS 94885 HAS SOUPS 93308 WITH SCORE 93639.833
AT ITER 3252 NEW BEST:: SOT 714623 SOS 331253 HAS SOPS 324446 HAS SOUS 94283 HAS SOUPS 93062 WITH SCORE 93393.253
AT ITER 3253 NEW BEST:: SOT 714530 SOS 331129 HAS SOPS 324322 HAS SOUS 94116 HAS SOUPS 92895 WITH SCORE 93226.129
AT ITER 3269 NEW BEST:: SOT 714562 SOS 332356 HAS SOPS 325541 HAS SOUS 94070 HAS SOUPS 92849 WITH SCORE 93181.356
AT ITER 3272 NEW BEST:: SOT 714316 SOS 331147 HAS SOPS 324332 HAS SOUS 93896 HAS SOUPS 92675 WITH SCORE 93006.147
AT ITER 3289 NEW BEST:: SOT 714279 SOS 331218 HAS SOPS 324403 HAS SOUS 93801 HAS SOUPS 92580 WITH SCORE 92911.218
AT ITER 3307 NEW BEST:: SOT 714201 SOS 331140 HAS SOPS 324325 HAS SOUS 93794 HAS SOUPS 92573 WITH SCORE 92904.14
AT ITER 3408 NEW BEST:: SOT 714057 SOS 331144 HAS SOPS 324329 HAS SOUS 93510 HAS SOUPS 92289 WITH SCORE 92620.144
AT ITER 3416 NEW BEST:: SOT 713891 SOS 330978 HAS SOPS 324163 HAS SOUS 93246 HAS SOUPS 92025 WITH SCORE 92355.978
AT ITER 3430 NEW BEST:: SOT 713871 SOS 330996 HAS SOPS 324181 HAS SOUS 93222 HAS SOUPS 92001 WITH SCORE 92331.996
AT ITER 3464 NEW BEST:: SOT 713837 SOS 330962 HAS SOPS 324130 HAS SOUS 93171 HAS SOUPS 91950 WITH SCORE 92280.962
AT ITER 3466 NEW BEST:: SOT 713844 SOS 330969 HAS SOPS 324114 HAS SOUS 93178 HAS SOUPS 91934 WITH SCORE 92264.969
AT ITER 3477 NEW BEST:: SOT 713793 SOS 331021 HAS SOPS 324166 HAS SOUS 93174 HAS SOUPS 91930 WITH SCORE 92261.021
AT ITER 3483 NEW BEST:: SOT 713789 SOS 331017 HAS SOPS 324158 HAS SOUS 93166 HAS SOUPS 91922 WITH SCORE 92253.017
AT ITER 3494 NEW BEST:: SOT 713769 SOS 330997 HAS SOPS 324138 HAS SOUS 93129 HAS SOUPS 91885 WITH SCORE 92215.997
AT ITER 3504 NEW BEST:: SOT 711760 SOS 328988 HAS SOPS 322129 HAS SOUS 92753 HAS SOUPS 91509 WITH SCORE 91837.988
AT ITER 3506 NEW BEST:: SOT 711792 SOS 326651 HAS SOPS 319792 HAS SOUS 92712 HAS SOUPS 91468 WITH SCORE 91794.651
AT ITER 3510 NEW BEST:: SOT 711792 SOS 326651 HAS SOPS 319814 HAS SOUS 92673 HAS SOUPS 91451 WITH SCORE 91777.651
AT ITER 3525 NEW BEST:: SOT 711716 SOS 326520 HAS SOPS 319683 HAS SOUS 92560 HAS SOUPS 91338 WITH SCORE 91664.52
AT ITER 3541 NEW BEST:: SOT 711716 SOS 326505 HAS SOPS 319668 HAS SOUS 92560 HAS SOUPS 91338 WITH SCORE 91664.505
AT ITER 3556 NEW BEST:: SOT 711698 SOS 326469 HAS SOPS 319632 HAS SOUS 92524 HAS SOUPS 91302 WITH SCORE 91628.469
AT ITER 3580 NEW BEST:: SOT 711670 SOS 326427 HAS SOPS 319590 HAS SOUS 92510 HAS SOUPS 91288 WITH SCORE 91614.427
AT ITER 3605 NEW BEST:: SOT 711847 SOS 326595 HAS SOPS 319758 HAS SOUS 92508 HAS SOUPS 91286 WITH SCORE 91612.595
AT ITER 3647 NEW BEST:: SOT 711847 SOS 326595 HAS SOPS 319754 HAS SOUS 92500 HAS SOUPS 91278 WITH SCORE 91604.595
AT ITER 3679 NEW BEST:: SOT 711844 SOS 326597 HAS SOPS 319756 HAS SOUS 92499 HAS SOUPS 91277 WITH SCORE 91603.597
AT ITER 3685 NEW BEST:: SOT 711485 SOS 326238 HAS SOPS 319397 HAS SOUS 92152 HAS SOUPS 90930 WITH SCORE 91256.238
AT ITER 3690 NEW BEST:: SOT 711482 SOS 326235 HAS SOPS 319394 HAS SOUS 92145 HAS SOUPS 90923 WITH SCORE 91249.235
AT ITER 3705 NEW BEST:: SOT 711484 SOS 326237 HAS SOPS 319396 HAS SOUS 92133 HAS SOUPS 90911 WITH SCORE 91237.237
AT ITER 3753 NEW BEST:: SOT 711354 SOS 325951 HAS SOPS 319110 HAS SOUS 91977 HAS SOUPS 90755 WITH SCORE 91080.951
AT ITER 3765 NEW BEST:: SOT 711290 SOS 325917 HAS SOPS 319076 HAS SOUS 91955 HAS SOUPS 90733 WITH SCORE 91058.917
AT ITER 3791 NEW BEST:: SOT 711161 SOS 325788 HAS SOPS 318947 HAS SOUS 91738 HAS SOUPS 90516 WITH SCORE 90841.788
AT ITER 3810 NEW BEST:: SOT 711160 SOS 325787 HAS SOPS 318946 HAS SOUS 91737 HAS SOUPS 90515 WITH SCORE 90840.787
AT ITER 3842 NEW BEST:: SOT 711064 SOS 325691 HAS SOPS 318850 HAS SOUS 91602 HAS SOUPS 90380 WITH SCORE 90705.691
AT ITER 3845 NEW BEST:: SOT 711036 SOS 325663 HAS SOPS 318836 HAS SOUS 91553 HAS SOUPS 90345 WITH SCORE 90670.663
AT ITER 3931 NEW BEST:: SOT 710927 SOS 325568 HAS SOPS 318741 HAS SOUS 91475 HAS SOUPS 90267 WITH SCORE 90592.568
AT ITER 3935 NEW BEST:: SOT 710898 SOS 325507 HAS SOPS 318680 HAS SOUS 91396 HAS SOUPS 90188 WITH SCORE 90513.507
AT ITER 3981 NEW BEST:: SOT 710656 SOS 325159 HAS SOPS 318332 HAS SOUS 91060 HAS SOUPS 89852 WITH SCORE 90177.159
AT ITER 3997 NEW BEST:: SOT 710655 SOS 325158 HAS SOPS 318331 HAS SOUS 91058 HAS SOUPS 89850 WITH SCORE 90175.158
AT ITER 4000 NEW BEST:: SOT 710655 SOS 324659 HAS SOPS 317832 HAS SOUS 91041 HAS SOUPS 89833 WITH SCORE 90157.659
AT ITER 4004 NEW BEST:: SOT 710647 SOS 324615 HAS SOPS 317788 HAS SOUS 91018 HAS SOUPS 89810 WITH SCORE 90134.615
AT ITER 4015 NEW BEST:: SOT 710651 SOS 324611 HAS SOPS 317784 HAS SOUS 91018 HAS SOUPS 89810 WITH SCORE 90134.611
AT ITER 4035 NEW BEST:: SOT 710628 SOS 324588 HAS SOPS 317761 HAS SOUS 90899 HAS SOUPS 89691 WITH SCORE 90015.588
AT ITER 4042 NEW BEST:: SOT 710348 SOS 324308 HAS SOPS 317481 HAS SOUS 90497 HAS SOUPS 89289 WITH SCORE 89613.308
AT ITER 4061 NEW BEST:: SOT 709880 SOS 323665 HAS SOPS 316838 HAS SOUS 89888 HAS SOUPS 88680 WITH SCORE 89003.665
AT ITER 4073 NEW BEST:: SOT 709853 SOS 323647 HAS SOPS 316820 HAS SOUS 89850 HAS SOUPS 88642 WITH SCORE 88965.647
AT ITER 4087 NEW BEST:: SOT 707530 SOS 321297 HAS SOPS 314470 HAS SOUS 89384 HAS SOUPS 88176 WITH SCORE 88497.297
AT ITER 4096 NEW BEST:: SOT 707540 SOS 321301 HAS SOPS 314474 HAS SOUS 89239 HAS SOUPS 88031 WITH SCORE 88352.301
AT ITER 4112 NEW BEST:: SOT 707727 SOS 315462 HAS SOPS 306687 HAS SOUS 89189 HAS SOUPS 87910 WITH SCORE 88225.462
AT ITER 4118 NEW BEST:: SOT 707727 SOS 315461 HAS SOPS 306686 HAS SOUS 89189 HAS SOUPS 87910 WITH SCORE 88225.461
AT ITER 4119 NEW BEST:: SOT 707881 SOS 315651 HAS SOPS 306876 HAS SOUS 89084 HAS SOUPS 87805 WITH SCORE 88120.651
AT ITER 4126 NEW BEST:: SOT 707860 SOS 315630 HAS SOPS 306855 HAS SOUS 89042 HAS SOUPS 87763 WITH SCORE 88078.63
AT ITER 4135 NEW BEST:: SOT 707907 SOS 315677 HAS SOPS 306902 HAS SOUS 89013 HAS SOUPS 87734 WITH SCORE 88049.677
AT ITER 4151 NEW BEST:: SOT 707535 SOS 314706 HAS SOPS 305931 HAS SOUS 88628 HAS SOUPS 87349 WITH SCORE 87663.706
AT ITER 4158 NEW BEST:: SOT 707584 SOS 314909 HAS SOPS 306134 HAS SOUS 88623 HAS SOUPS 87344 WITH SCORE 87658.909
AT ITER 4180 NEW BEST:: SOT 707561 SOS 314872 HAS SOPS 306097 HAS SOUS 88590 HAS SOUPS 87311 WITH SCORE 87625.872
AT ITER 4187 NEW BEST:: SOT 707561 SOS 314817 HAS SOPS 306042 HAS SOUS 88590 HAS SOUPS 87311 WITH SCORE 87625.817
AT ITER 4256 NEW BEST:: SOT 707510 SOS 314740 HAS SOPS 305965 HAS SOUS 88555 HAS SOUPS 87276 WITH SCORE 87590.74
AT ITER 4260 NEW BEST:: SOT 707409 SOS 314886 HAS SOPS 306111 HAS SOUS 88545 HAS SOUPS 87266 WITH SCORE 87580.886
AT ITER 4270 NEW BEST:: SOT 707369 SOS 314846 HAS SOPS 306071 HAS SOUS 88545 HAS SOUPS 87266 WITH SCORE 87580.846
AT ITER 4272 NEW BEST:: SOT 707378 SOS 314855 HAS SOPS 306080 HAS SOUS 88543 HAS SOUPS 87264 WITH SCORE 87578.855
AT ITER 4289 NEW BEST:: SOT 707360 SOS 314819 HAS SOPS 306044 HAS SOUS 88507 HAS SOUPS 87228 WITH SCORE 87542.819
AT ITER 4297 NEW BEST:: SOT 707360 SOS 314233 HAS SOPS 305458 HAS SOUS 88507 HAS SOUPS 87228 WITH SCORE 87542.233
AT ITER 4347 NEW BEST:: SOT 707342 SOS 314215 HAS SOPS 305440 HAS SOUS 88507 HAS SOUPS 87228 WITH SCORE 87542.215
AT ITER 4367 NEW BEST:: SOT 707263 SOS 314259 HAS SOPS 305456 HAS SOUS 88493 HAS SOUPS 87214 WITH SCORE 87528.259
AT ITER 4368 NEW BEST:: SOT 707289 SOS 314285 HAS SOPS 305503 HAS SOUS 88414 HAS SOUPS 87135 WITH SCORE 87449.285
AT ITER 4371 NEW BEST:: SOT 707196 SOS 313904 HAS SOPS 305122 HAS SOUS 88276 HAS SOUPS 86997 WITH SCORE 87310.904
AT ITER 4390 NEW BEST:: SOT 707196 SOS 313899 HAS SOPS 305117 HAS SOUS 88271 HAS SOUPS 86992 WITH SCORE 87305.899
AT ITER 4408 NEW BEST:: SOT 707196 SOS 313888 HAS SOPS 305106 HAS SOUS 88267 HAS SOUPS 86988 WITH SCORE 87301.888
AT ITER 4415 NEW BEST:: SOT 706883 SOS 313288 HAS SOPS 304506 HAS SOUS 87776 HAS SOUPS 86497 WITH SCORE 86810.288
AT ITER 4440 NEW BEST:: SOT 706870 SOS 313275 HAS SOPS 304453 HAS SOUS 87798 HAS SOUPS 86490 WITH SCORE 86803.275
AT ITER 4459 NEW BEST:: SOT 706869 SOS 313274 HAS SOPS 304452 HAS SOUS 87791 HAS SOUPS 86483 WITH SCORE 86796.274
AT ITER 4502 NEW BEST:: SOT 706835 SOS 313223 HAS SOPS 304401 HAS SOUS 87723 HAS SOUPS 86415 WITH SCORE 86728.223
AT ITER 4503 NEW BEST:: SOT 706660 SOS 313094 HAS SOPS 304252 HAS SOUS 87551 HAS SOUPS 86243 WITH SCORE 86556.094
AT ITER 4522 NEW BEST:: SOT 706632 SOS 313078 HAS SOPS 304236 HAS SOUS 87458 HAS SOUPS 86150 WITH SCORE 86463.078
AT ITER 4525 NEW BEST:: SOT 706655 SOS 313098 HAS SOPS 304256 HAS SOUS 87454 HAS SOUPS 86146 WITH SCORE 86459.098
AT ITER 4549 NEW BEST:: SOT 706761 SOS 313107 HAS SOPS 304265 HAS SOUS 87412 HAS SOUPS 86104 WITH SCORE 86417.107
AT ITER 4600 NEW BEST:: SOT 706761 SOS 313086 HAS SOPS 304244 HAS SOUS 87391 HAS SOUPS 86083 WITH SCORE 86396.086
AT ITER 4604 NEW BEST:: SOT 706710 SOS 312966 HAS SOPS 304124 HAS SOUS 87271 HAS SOUPS 85963 WITH SCORE 86275.966
AT ITER 4605 NEW BEST:: SOT 706554 SOS 312870 HAS SOPS 304028 HAS SOUS 86994 HAS SOUPS 85686 WITH SCORE 85998.87
AT ITER 4622 NEW BEST:: SOT 706435 SOS 312735 HAS SOPS 303893 HAS SOUS 86948 HAS SOUPS 85640 WITH SCORE 85952.735
AT ITER 4703 NEW BEST:: SOT 706433 SOS 312729 HAS SOPS 303887 HAS SOUS 86943 HAS SOUPS 85635 WITH SCORE 85947.729
AT ITER 4704 NEW BEST:: SOT 706433 SOS 312807 HAS SOPS 303965 HAS SOUS 86921 HAS SOUPS 85613 WITH SCORE 85925.807
AT ITER 4712 NEW BEST:: SOT 706417 SOS 312791 HAS SOPS 303949 HAS SOUS 86898 HAS SOUPS 85590 WITH SCORE 85902.791
AT ITER 4778 NEW BEST:: SOT 706382 SOS 312778 HAS SOPS 303936 HAS SOUS 86879 HAS SOUPS 85571 WITH SCORE 85883.778
AT ITER 4794 NEW BEST:: SOT 706404 SOS 312800 HAS SOPS 303936 HAS SOUS 86857 HAS SOUPS 85549 WITH SCORE 85861.8
AT ITER 4796 NEW BEST:: SOT 706452 SOS 312793 HAS SOPS 303929 HAS SOUS 86850 HAS SOUPS 85542 WITH SCORE 85854.793
AT ITER 4800 NEW BEST:: SOT 706400 SOS 312719 HAS SOPS 303902 HAS SOUS 86821 HAS SOUPS 85534 WITH SCORE 85846.719
AT ITER 4806 NEW BEST:: SOT 706409 SOS 312714 HAS SOPS 303897 HAS SOUS 86821 HAS SOUPS 85534 WITH SCORE 85846.714
AT ITER 4830 NEW BEST:: SOT 706406 SOS 312708 HAS SOPS 303891 HAS SOUS 86809 HAS SOUPS 85522 WITH SCORE 85834.708
AT ITER 4860 NEW BEST:: SOT 706406 SOS 312701 HAS SOPS 303884 HAS SOUS 86802 HAS SOUPS 85515 WITH SCORE 85827.701
AT ITER 4911 NEW BEST:: SOT 706332 SOS 312600 HAS SOPS 303783 HAS SOUS 86776 HAS SOUPS 85489 WITH SCORE 85801.6
AT ITER 4939 NEW BEST:: SOT 706287 SOS 312555 HAS SOPS 303738 HAS SOUS 86718 HAS SOUPS 85431 WITH SCORE 85743.555
AT ITER 4944 NEW BEST:: SOT 706265 SOS 312524 HAS SOPS 303707 HAS SOUS 86674 HAS SOUPS 85387 WITH SCORE 85699.524
AT ITER 4981 NEW BEST:: SOT 706056 SOS 312286 HAS SOPS 303469 HAS SOUS 86115 HAS SOUPS 84828 WITH SCORE 85140.286
AT ITER 4995 NEW BEST:: SOT 705971 SOS 312167 HAS SOPS 303350 HAS SOUS 85996 HAS SOUPS 84709 WITH SCORE 85021.167
AT ITER 5001 NEW BEST:: SOT 705943 SOS 312146 HAS SOPS 303329 HAS SOUS 85969 HAS SOUPS 84682 WITH SCORE 84994.146
AT ITER 5005 NEW BEST:: SOT 705969 SOS 312154 HAS SOPS 303337 HAS SOUS 85823 HAS SOUPS 84536 WITH SCORE 84848.154
AT ITER 5018 NEW BEST:: SOT 705966 SOS 312151 HAS SOPS 303334 HAS SOUS 85806 HAS SOUPS 84519 WITH SCORE 84831.151
AT ITER 5026 NEW BEST:: SOT 705898 SOS 311917 HAS SOPS 303017 HAS SOUS 85572 HAS SOUPS 84285 WITH SCORE 84596.917
AT ITER 5029 NEW BEST:: SOT 705895 SOS 311899 HAS SOPS 303017 HAS SOUS 85542 HAS SOUPS 84258 WITH SCORE 84569.899
AT ITER 5051 NEW BEST:: SOT 705779 SOS 311692 HAS SOPS 302867 HAS SOUS 85541 HAS SOUPS 84257 WITH SCORE 84568.692
AT ITER 5081 NEW BEST:: SOT 705865 SOS 311759 HAS SOPS 302934 HAS SOUS 85521 HAS SOUPS 84237 WITH SCORE 84548.759
AT ITER 5087 NEW BEST:: SOT 705803 SOS 311741 HAS SOPS 302916 HAS SOUS 85518 HAS SOUPS 84234 WITH SCORE 84545.741
AT ITER 5092 NEW BEST:: SOT 705617 SOS 311612 HAS SOPS 302787 HAS SOUS 85332 HAS SOUPS 84048 WITH SCORE 84359.612
AT ITER 5093 NEW BEST:: SOT 705505 SOS 311440 HAS SOPS 302615 HAS SOUS 85158 HAS SOUPS 83874 WITH SCORE 84185.44
AT ITER 5127 NEW BEST:: SOT 705499 SOS 311434 HAS SOPS 302609 HAS SOUS 85152 HAS SOUPS 83868 WITH SCORE 84179.434
AT ITER 5135 NEW BEST:: SOT 705462 SOS 311425 HAS SOPS 302600 HAS SOUS 85150 HAS SOUPS 83866 WITH SCORE 84177.425
AT ITER 5142 NEW BEST:: SOT 705473 SOS 311436 HAS SOPS 302611 HAS SOUS 85121 HAS SOUPS 83837 WITH SCORE 84148.436
AT ITER 5164 NEW BEST:: SOT 705422 SOS 311373 HAS SOPS 302548 HAS SOUS 85076 HAS SOUPS 83792 WITH SCORE 84103.373
AT ITER 5176 NEW BEST:: SOT 705422 SOS 311080 HAS SOPS 302255 HAS SOUS 85076 HAS SOUPS 83792 WITH SCORE 84103.08
AT ITER 5182 NEW BEST:: SOT 705419 SOS 311077 HAS SOPS 302252 HAS SOUS 85073 HAS SOUPS 83789 WITH SCORE 84100.077
AT ITER 5185 NEW BEST:: SOT 705348 SOS 311006 HAS SOPS 302181 HAS SOUS 85050 HAS SOUPS 83766 WITH SCORE 84077.006
AT ITER 5225 NEW BEST:: SOT 705306 SOS 310964 HAS SOPS 302139 HAS SOUS 84984 HAS SOUPS 83700 WITH SCORE 84010.964
AT ITER 5226 NEW BEST:: SOT 705268 SOS 311999 HAS SOPS 303174 HAS SOUS 84876 HAS SOUPS 83592 WITH SCORE 83903.999
AT ITER 5232 NEW BEST:: SOT 705306 SOS 312037 HAS SOPS 303212 HAS SOUS 84863 HAS SOUPS 83579 WITH SCORE 83891.037
AT ITER 5257 NEW BEST:: SOT 705307 SOS 311910 HAS SOPS 303085 HAS SOUS 84707 HAS SOUPS 83423 WITH SCORE 83734.91
AT ITER 5274 NEW BEST:: SOT 705268 SOS 311871 HAS SOPS 303046 HAS SOUS 84668 HAS SOUPS 83384 WITH SCORE 83695.871
AT ITER 5280 NEW BEST:: SOT 705268 SOS 311733 HAS SOPS 302908 HAS SOUS 84668 HAS SOUPS 83384 WITH SCORE 83695.733
AT ITER 5316 NEW BEST:: SOT 705258 SOS 311723 HAS SOPS 302898 HAS SOUS 84658 HAS SOUPS 83374 WITH SCORE 83685.723
AT ITER 5326 NEW BEST:: SOT 705250 SOS 311702 HAS SOPS 302877 HAS SOUS 84637 HAS SOUPS 83353 WITH SCORE 83664.702
AT ITER 5333 NEW BEST:: SOT 705205 SOS 311523 HAS SOPS 302698 HAS SOUS 84631 HAS SOUPS 83347 WITH SCORE 83658.523
AT ITER 5360 NEW BEST:: SOT 705185 SOS 311503 HAS SOPS 302627 HAS SOUS 84507 HAS SOUPS 83223 WITH SCORE 83534.503
AT ITER 5381 NEW BEST:: SOT 705189 SOS 311495 HAS SOPS 302619 HAS SOUS 84503 HAS SOUPS 83219 WITH SCORE 83530.495
AT ITER 5431 NEW BEST:: SOT 705181 SOS 311482 HAS SOPS 302606 HAS SOUS 84487 HAS SOUPS 83203 WITH SCORE 83514.482
AT ITER 5486 NEW BEST:: SOT 705181 SOS 311482 HAS SOPS 302606 HAS SOUS 84455 HAS SOUPS 83171 WITH SCORE 83482.482
AT ITER 5506 NEW BEST:: SOT 705017 SOS 311318 HAS SOPS 302442 HAS SOUS 84373 HAS SOUPS 83089 WITH SCORE 83400.318
AT ITER 5518 NEW BEST:: SOT 704981 SOS 311282 HAS SOPS 302406 HAS SOUS 84337 HAS SOUPS 83053 WITH SCORE 83364.282
AT ITER 5519 NEW BEST:: SOT 704967 SOS 311268 HAS SOPS 302392 HAS SOUS 84318 HAS SOUPS 83034 WITH SCORE 83345.268
AT ITER 5531 NEW BEST:: SOT 704960 SOS 311268 HAS SOPS 302392 HAS SOUS 84297 HAS SOUPS 83013 WITH SCORE 83324.268
AT ITER 5534 NEW BEST:: SOT 704958 SOS 311266 HAS SOPS 302390 HAS SOUS 84257 HAS SOUPS 82973 WITH SCORE 83284.266
AT ITER 5540 NEW BEST:: SOT 704904 SOS 311190 HAS SOPS 302314 HAS SOUS 84191 HAS SOUPS 82907 WITH SCORE 83218.19
AT ITER 5562 NEW BEST:: SOT 704901 SOS 311187 HAS SOPS 302311 HAS SOUS 84182 HAS SOUPS 82898 WITH SCORE 83209.187
AT ITER 5564 NEW BEST:: SOT 704899 SOS 311185 HAS SOPS 302309 HAS SOUS 84180 HAS SOUPS 82896 WITH SCORE 83207.185
AT ITER 5580 NEW BEST:: SOT 704853 SOS 311123 HAS SOPS 302247 HAS SOUS 84120 HAS SOUPS 82836 WITH SCORE 83147.123
AT ITER 5650 NEW BEST:: SOT 704875 SOS 311138 HAS SOPS 302262 HAS SOUS 84116 HAS SOUPS 82832 WITH SCORE 83143.138
AT ITER 5662 NEW BEST:: SOT 704833 SOS 311052 HAS SOPS 302176 HAS SOUS 84064 HAS SOUPS 82780 WITH SCORE 83091.052
AT ITER 5678 NEW BEST:: SOT 704807 SOS 311005 HAS SOPS 302129 HAS SOUS 84042 HAS SOUPS 82758 WITH SCORE 83069.005
AT ITER 5683 NEW BEST:: SOT 704800 SOS 310998 HAS SOPS 302122 HAS SOUS 83988 HAS SOUPS 82704 WITH SCORE 83014.998
AT ITER 5689 NEW BEST:: SOT 704800 SOS 311070 HAS SOPS 302194 HAS SOUS 83976 HAS SOUPS 82692 WITH SCORE 83003.07
AT ITER 5690 NEW BEST:: SOT 704776 SOS 311022 HAS SOPS 302146 HAS SOUS 83928 HAS SOUPS 82644 WITH SCORE 82955.022
AT ITER 5701 NEW BEST:: SOT 704749 SOS 310966 HAS SOPS 302090 HAS SOUS 83872 HAS SOUPS 82588 WITH SCORE 82898.966
AT ITER 5704 NEW BEST:: SOT 704639 SOS 310834 HAS SOPS 301958 HAS SOUS 83740 HAS SOUPS 82456 WITH SCORE 82766.834
AT ITER 5709 NEW BEST:: SOT 704603 SOS 310781 HAS SOPS 301905 HAS SOUS 83700 HAS SOUPS 82416 WITH SCORE 82726.781
AT ITER 5717 NEW BEST:: SOT 704588 SOS 310604 HAS SOPS 301755 HAS SOUS 83550 HAS SOUPS 82266 WITH SCORE 82576.604
AT ITER 5733 NEW BEST:: SOT 704213 SOS 310229 HAS SOPS 301380 HAS SOUS 83445 HAS SOUPS 82161 WITH SCORE 82471.229
AT ITER 5734 NEW BEST:: SOT 704213 SOS 310227 HAS SOPS 301378 HAS SOUS 83443 HAS SOUPS 82159 WITH SCORE 82469.227
AT ITER 5741 NEW BEST:: SOT 704212 SOS 310222 HAS SOPS 301373 HAS SOUS 83441 HAS SOUPS 82157 WITH SCORE 82467.222
AT ITER 5747 NEW BEST:: SOT 704200 SOS 310386 HAS SOPS 301537 HAS SOUS 83432 HAS SOUPS 82148 WITH SCORE 82458.386
AT ITER 5767 NEW BEST:: SOT 704395 SOS 310546 HAS SOPS 301697 HAS SOUS 83332 HAS SOUPS 82048 WITH SCORE 82358.546
AT ITER 5776 NEW BEST:: SOT 704371 SOS 310520 HAS SOPS 301671 HAS SOUS 83304 HAS SOUPS 82020 WITH SCORE 82330.52
AT ITER 5792 NEW BEST:: SOT 701263 SOS 307412 HAS SOPS 298563 HAS SOUS 82744 HAS SOUPS 81460 WITH SCORE 81767.412
AT ITER 5805 NEW BEST:: SOT 701428 SOS 307386 HAS SOPS 298537 HAS SOUS 82716 HAS SOUPS 81432 WITH SCORE 81739.386
AT ITER 5839 NEW BEST:: SOT 701443 SOS 307525 HAS SOPS 298676 HAS SOUS 82697 HAS SOUPS 81413 WITH SCORE 81720.525
AT ITER 5860 NEW BEST:: SOT 701418 SOS 307500 HAS SOPS 298651 HAS SOUS 82647 HAS SOUPS 81363 WITH SCORE 81670.5
AT ITER 5895 NEW BEST:: SOT 701199 SOS 307282 HAS SOPS 298433 HAS SOUS 82614 HAS SOUPS 81330 WITH SCORE 81637.282
AT ITER 5920 NEW BEST:: SOT 701110 SOS 307193 HAS SOPS 298344 HAS SOUS 82477 HAS SOUPS 81193 WITH SCORE 81500.193
AT ITER 5985 NEW BEST:: SOT 701110 SOS 307181 HAS SOPS 298332 HAS SOUS 82477 HAS SOUPS 81193 WITH SCORE 81500.181
AT ITER 6000 NEW BEST:: SOT 701060 SOS 307131 HAS SOPS 298282 HAS SOUS 82416 HAS SOUPS 81132 WITH SCORE 81439.131
AT ITER 6010 NEW BEST:: SOT 701027 SOS 307090 HAS SOPS 298241 HAS SOUS 82342 HAS SOUPS 81058 WITH SCORE 81365.09
AT ITER 6051 NEW BEST:: SOT 701024 SOS 307087 HAS SOPS 298238 HAS SOUS 82338 HAS SOUPS 81054 WITH SCORE 81361.087
AT ITER 6054 NEW BEST:: SOT 700989 SOS 307030 HAS SOPS 298181 HAS SOUS 82277 HAS SOUPS 80993 WITH SCORE 81300.03
AT ITER 6088 NEW BEST:: SOT 700975 SOS 307079 HAS SOPS 298230 HAS SOUS 82263 HAS SOUPS 80979 WITH SCORE 81286.079
AT ITER 6115 NEW BEST:: SOT 700995 SOS 307139 HAS SOPS 298290 HAS SOUS 82243 HAS SOUPS 80959 WITH SCORE 81266.139
AT ITER 6131 NEW BEST:: SOT 700961 SOS 307081 HAS SOPS 298232 HAS SOUS 82175 HAS SOUPS 80891 WITH SCORE 81198.081
AT ITER 6132 NEW BEST:: SOT 700953 SOS 306809 HAS SOPS 297960 HAS SOUS 82175 HAS SOUPS 80891 WITH SCORE 81197.809
AT ITER 6143 NEW BEST:: SOT 700942 SOS 306801 HAS SOPS 297952 HAS SOUS 82167 HAS SOUPS 80883 WITH SCORE 81189.801
AT ITER 6154 NEW BEST:: SOT 700930 SOS 306786 HAS SOPS 297937 HAS SOUS 82152 HAS SOUPS 80868 WITH SCORE 81174.786
AT ITER 6175 NEW BEST:: SOT 700929 SOS 306785 HAS SOPS 297936 HAS SOUS 82150 HAS SOUPS 80866 WITH SCORE 81172.785
AT ITER 6210 NEW BEST:: SOT 700829 SOS 306667 HAS SOPS 297818 HAS SOUS 82062 HAS SOUPS 80778 WITH SCORE 81084.667
AT ITER 6226 NEW BEST:: SOT 700829 SOS 306532 HAS SOPS 297683 HAS SOUS 82053 HAS SOUPS 80769 WITH SCORE 81075.532
AT ITER 6257 NEW BEST:: SOT 698638 SOS 304341 HAS SOPS 295492 HAS SOUS 81712 HAS SOUPS 80428 WITH SCORE 80732.341
AT ITER 6280 NEW BEST:: SOT 698578 SOS 304281 HAS SOPS 295432 HAS SOUS 81652 HAS SOUPS 80368 WITH SCORE 80672.281
AT ITER 6284 NEW BEST:: SOT 698537 SOS 304389 HAS SOPS 295540 HAS SOUS 81570 HAS SOUPS 80286 WITH SCORE 80590.389
AT ITER 6291 NEW BEST:: SOT 698517 SOS 304354 HAS SOPS 295505 HAS SOUS 81535 HAS SOUPS 80251 WITH SCORE 80555.354
AT ITER 6372 NEW BEST:: SOT 698517 SOS 304354 HAS SOPS 295506 HAS SOUS 81531 HAS SOUPS 80248 WITH SCORE 80552.354
AT ITER 6381 NEW BEST:: SOT 698514 SOS 304351 HAS SOPS 295503 HAS SOUS 81528 HAS SOUPS 80245 WITH SCORE 80549.351
AT ITER 6383 NEW BEST:: SOT 698398 SOS 304089 HAS SOPS 295241 HAS SOUS 81453 HAS SOUPS 80170 WITH SCORE 80474.089
AT ITER 6390 NEW BEST:: SOT 698356 SOS 304026 HAS SOPS 295178 HAS SOUS 81329 HAS SOUPS 80046 WITH SCORE 80350.026
AT ITER 6397 NEW BEST:: SOT 698160 SOS 303980 HAS SOPS 295132 HAS SOUS 81293 HAS SOUPS 80010 WITH SCORE 80313.98
AT ITER 6404 NEW BEST:: SOT 698141 SOS 303961 HAS SOPS 295113 HAS SOUS 81288 HAS SOUPS 80005 WITH SCORE 80308.961
AT ITER 6407 NEW BEST:: SOT 694186 SOS 300006 HAS SOPS 291158 HAS SOUS 80636 HAS SOUPS 79353 WITH SCORE 79653.006
AT ITER 6436 NEW BEST:: SOT 694136 SOS 299962 HAS SOPS 291114 HAS SOUS 80618 HAS SOUPS 79335 WITH SCORE 79634.962
AT ITER 6455 NEW BEST:: SOT 694136 SOS 299962 HAS SOPS 291114 HAS SOUS 80584 HAS SOUPS 79301 WITH SCORE 79600.962
AT ITER 6456 NEW BEST:: SOT 694080 SOS 300117 HAS SOPS 291880 HAS SOUS 80537 HAS SOUPS 79280 WITH SCORE 79580.117
AT ITER 6502 NEW BEST:: SOT 694109 SOS 300182 HAS SOPS 291916 HAS SOUS 80534 HAS SOUPS 79277 WITH SCORE 79577.182
AT ITER 6527 NEW BEST:: SOT 694109 SOS 300182 HAS SOPS 291916 HAS SOUS 80530 HAS SOUPS 79273 WITH SCORE 79573.182
AT ITER 6557 NEW BEST:: SOT 693886 SOS 299605 HAS SOPS 291339 HAS SOUS 80356 HAS SOUPS 79099 WITH SCORE 79398.605
AT ITER 6573 NEW BEST:: SOT 693879 SOS 299588 HAS SOPS 291317 HAS SOUS 80331 HAS SOUPS 79074 WITH SCORE 79373.588
AT ITER 6586 NEW BEST:: SOT 693835 SOS 299511 HAS SOPS 291240 HAS SOUS 80265 HAS SOUPS 79008 WITH SCORE 79307.511
AT ITER 6588 NEW BEST:: SOT 693825 SOS 299501 HAS SOPS 291230 HAS SOUS 80255 HAS SOUPS 78998 WITH SCORE 79297.501
AT ITER 6640 NEW BEST:: SOT 694183 SOS 299989 HAS SOPS 291718 HAS SOUS 79493 HAS SOUPS 78236 WITH SCORE 78535.989
AT ITER 6667 NEW BEST:: SOT 694173 SOS 299969 HAS SOPS 291698 HAS SOUS 79473 HAS SOUPS 78216 WITH SCORE 78515.969
AT ITER 6671 NEW BEST:: SOT 694017 SOS 299813 HAS SOPS 291542 HAS SOUS 79341 HAS SOUPS 78084 WITH SCORE 78383.813
AT ITER 6676 NEW BEST:: SOT 693909 SOS 299705 HAS SOPS 291434 HAS SOUS 79125 HAS SOUPS 77868 WITH SCORE 78167.705
AT ITER 6695 NEW BEST:: SOT 693794 SOS 299590 HAS SOPS 291319 HAS SOUS 79062 HAS SOUPS 77805 WITH SCORE 78104.59
AT ITER 6705 NEW BEST:: SOT 693770 SOS 299550 HAS SOPS 291279 HAS SOUS 79030 HAS SOUPS 77773 WITH SCORE 78072.55
AT ITER 6811 NEW BEST:: SOT 693757 SOS 299537 HAS SOPS 291266 HAS SOUS 79017 HAS SOUPS 77760 WITH SCORE 78059.537
AT ITER 6853 NEW BEST:: SOT 693719 SOS 299494 HAS SOPS 291223 HAS SOUS 78983 HAS SOUPS 77726 WITH SCORE 78025.494
AT ITER 6860 NEW BEST:: SOT 693725 SOS 299500 HAS SOPS 291229 HAS SOUS 78973 HAS SOUPS 77716 WITH SCORE 78015.5
AT ITER 6863 NEW BEST:: SOT 693698 SOS 299473 HAS SOPS 291202 HAS SOUS 78945 HAS SOUPS 77688 WITH SCORE 77987.473
AT ITER 6881 NEW BEST:: SOT 693675 SOS 299450 HAS SOPS 291179 HAS SOUS 78892 HAS SOUPS 77635 WITH SCORE 77934.45
AT ITER 6886 NEW BEST:: SOT 693669 SOS 299434 HAS SOPS 291163 HAS SOUS 78877 HAS SOUPS 77620 WITH SCORE 77919.434
AT ITER 6892 NEW BEST:: SOT 693631 SOS 299428 HAS SOPS 291157 HAS SOUS 78871 HAS SOUPS 77614 WITH SCORE 77913.428
AT ITER 6894 NEW BEST:: SOT 693601 SOS 299388 HAS SOPS 291117 HAS SOUS 78831 HAS SOUPS 77574 WITH SCORE 77873.388
AT ITER 6900 NEW BEST:: SOT 693551 SOS 299338 HAS SOPS 291067 HAS SOUS 78717 HAS SOUPS 77460 WITH SCORE 77759.338
AT ITER 6914 NEW BEST:: SOT 693605 SOS 299401 HAS SOPS 291121 HAS SOUS 78640 HAS SOUPS 77383 WITH SCORE 77682.401
AT ITER 6953 NEW BEST:: SOT 693571 SOS 299331 HAS SOPS 291051 HAS SOUS 78572 HAS SOUPS 77315 WITH SCORE 77614.331
AT ITER 7013 NEW BEST:: SOT 693564 SOS 299317 HAS SOPS 291037 HAS SOUS 78558 HAS SOUPS 77301 WITH SCORE 77600.317
AT ITER 7027 NEW BEST:: SOT 693534 SOS 299287 HAS SOPS 291007 HAS SOUS 78486 HAS SOUPS 77229 WITH SCORE 77528.287
AT ITER 7028 NEW BEST:: SOT 693519 SOS 299262 HAS SOPS 290982 HAS SOUS 78466 HAS SOUPS 77209 WITH SCORE 77508.262
AT ITER 7080 NEW BEST:: SOT 693486 SOS 299229 HAS SOPS 290949 HAS SOUS 78451 HAS SOUPS 77194 WITH SCORE 77493.229
AT ITER 7106 NEW BEST:: SOT 693507 SOS 299089 HAS SOPS 290791 HAS SOUS 78415 HAS SOUPS 77158 WITH SCORE 77457.089
AT ITER 7117 NEW BEST:: SOT 693507 SOS 299089 HAS SOPS 290787 HAS SOUS 78410 HAS SOUPS 77153 WITH SCORE 77452.089
AT ITER 7130 NEW BEST:: SOT 693498 SOS 299080 HAS SOPS 290754 HAS SOUS 78387 HAS SOUPS 77130 WITH SCORE 77429.08
AT ITER 7193 NEW BEST:: SOT 685063 SOS 290414 HAS SOPS 282088 HAS SOUS 76922 HAS SOUPS 75665 WITH SCORE 75955.414
AT ITER 7198 NEW BEST:: SOT 685043 SOS 290333 HAS SOPS 282007 HAS SOUS 76874 HAS SOUPS 75617 WITH SCORE 75907.333
AT ITER 7246 NEW BEST:: SOT 685020 SOS 290304 HAS SOPS 281978 HAS SOUS 76828 HAS SOUPS 75571 WITH SCORE 75861.304
AT ITER 7298 NEW BEST:: SOT 685017 SOS 290301 HAS SOPS 281975 HAS SOUS 76822 HAS SOUPS 75565 WITH SCORE 75855.301
AT ITER 7317 NEW BEST:: SOT 685029 SOS 290313 HAS SOPS 281987 HAS SOUS 76784 HAS SOUPS 75527 WITH SCORE 75817.313
AT ITER 7319 NEW BEST:: SOT 685221 SOS 290503 HAS SOPS 282177 HAS SOUS 76746 HAS SOUPS 75489 WITH SCORE 75779.503
AT ITER 7370 NEW BEST:: SOT 685112 SOS 290409 HAS SOPS 282083 HAS SOUS 76712 HAS SOUPS 75455 WITH SCORE 75745.409
AT ITER 7388 NEW BEST:: SOT 685112 SOS 290409 HAS SOPS 282083 HAS SOUS 76665 HAS SOUPS 75408 WITH SCORE 75698.409
AT ITER 7436 NEW BEST:: SOT 685102 SOS 290399 HAS SOPS 282073 HAS SOUS 76623 HAS SOUPS 75366 WITH SCORE 75656.399
AT ITER 7449 NEW BEST:: SOT 685102 SOS 290309 HAS SOPS 281938 HAS SOUS 76623 HAS SOUPS 75366 WITH SCORE 75656.309
AT ITER 7462 NEW BEST:: SOT 685083 SOS 290214 HAS SOPS 281862 HAS SOUS 76623 HAS SOUPS 75366 WITH SCORE 75656.214
AT ITER 7469 NEW BEST:: SOT 685083 SOS 290207 HAS SOPS 281855 HAS SOUS 76616 HAS SOUPS 75359 WITH SCORE 75649.207
AT ITER 7479 NEW BEST:: SOT 685038 SOS 290196 HAS SOPS 281844 HAS SOUS 76595 HAS SOUPS 75338 WITH SCORE 75628.196
AT ITER 7506 NEW BEST:: SOT 685084 SOS 290242 HAS SOPS 281866 HAS SOUS 76539 HAS SOUPS 75282 WITH SCORE 75572.242
AT ITER 7517 NEW BEST:: SOT 685024 SOS 290182 HAS SOPS 281815 HAS SOUS 76537 HAS SOUPS 75280 WITH SCORE 75570.182
AT ITER 7578 NEW BEST:: SOT 685054 SOS 290122 HAS SOPS 281755 HAS SOUS 76537 HAS SOUPS 75280 WITH SCORE 75570.122
AT ITER 7618 NEW BEST:: SOT 685019 SOS 290119 HAS SOPS 281725 HAS SOUS 76507 HAS SOUPS 75250 WITH SCORE 75540.119
AT ITER 7693 NEW BEST:: SOT 685056 SOS 290148 HAS SOPS 281754 HAS SOUS 76485 HAS SOUPS 75228 WITH SCORE 75518.148
AT ITER 7696 NEW BEST:: SOT 685056 SOS 290181 HAS SOPS 281787 HAS SOUS 76483 HAS SOUPS 75226 WITH SCORE 75516.181
AT ITER 7714 NEW BEST:: SOT 685053 SOS 290178 HAS SOPS 281784 HAS SOUS 76477 HAS SOUPS 75220 WITH SCORE 75510.178
AT ITER 7727 NEW BEST:: SOT 685041 SOS 290171 HAS SOPS 281777 HAS SOUS 76159 HAS SOUPS 74902 WITH SCORE 75192.171
AT ITER 7738 NEW BEST:: SOT 684988 SOS 289251 HAS SOPS 280857 HAS SOUS 76053 HAS SOUPS 74796 WITH SCORE 75085.251
AT ITER 7813 NEW BEST:: SOT 684984 SOS 289247 HAS SOPS 280853 HAS SOUS 76025 HAS SOUPS 74768 WITH SCORE 75057.247
AT ITER 7846 NEW BEST:: SOT 681116 SOS 285393 HAS SOPS 276999 HAS SOUS 75483 HAS SOUPS 74226 WITH SCORE 74511.393
AT ITER 7852 NEW BEST:: SOT 681109 SOS 285400 HAS SOPS 277006 HAS SOUS 75476 HAS SOUPS 74219 WITH SCORE 74504.4
AT ITER 7858 NEW BEST:: SOT 681025 SOS 285312 HAS SOPS 276918 HAS SOUS 75394 HAS SOUPS 74137 WITH SCORE 74422.312
AT ITER 7872 NEW BEST:: SOT 680949 SOS 285236 HAS SOPS 276842 HAS SOUS 75366 HAS SOUPS 74109 WITH SCORE 74394.236
AT ITER 7900 NEW BEST:: SOT 680590 SOS 284870 HAS SOPS 276476 HAS SOUS 75005 HAS SOUPS 73748 WITH SCORE 74032.87
AT ITER 7904 NEW BEST:: SOT 680590 SOS 284874 HAS SOPS 276482 HAS SOUS 75003 HAS SOUPS 73746 WITH SCORE 74030.874
AT ITER 7918 NEW BEST:: SOT 680634 SOS 284918 HAS SOPS 276526 HAS SOUS 74989 HAS SOUPS 73732 WITH SCORE 74016.918
AT ITER 7931 NEW BEST:: SOT 680599 SOS 284883 HAS SOPS 276499 HAS SOUS 74955 HAS SOUPS 73706 WITH SCORE 73990.883
AT ITER 7964 NEW BEST:: SOT 680526 SOS 284810 HAS SOPS 276426 HAS SOUS 74833 HAS SOUPS 73584 WITH SCORE 73868.81
AT ITER 7979 NEW BEST:: SOT 680493 SOS 284783 HAS SOPS 276399 HAS SOUS 74824 HAS SOUPS 73575 WITH SCORE 73859.783
AT ITER 7983 NEW BEST:: SOT 680488 SOS 284778 HAS SOPS 276404 HAS SOUS 74818 HAS SOUPS 73569 WITH SCORE 73853.778
AT ITER 8005 NEW BEST:: SOT 680467 SOS 284757 HAS SOPS 276383 HAS SOUS 74797 HAS SOUPS 73548 WITH SCORE 73832.757
AT ITER 8006 NEW BEST:: SOT 680448 SOS 284738 HAS SOPS 276364 HAS SOUS 74778 HAS SOUPS 73529 WITH SCORE 73813.738
AT ITER 8009 NEW BEST:: SOT 680422 SOS 284743 HAS SOPS 276369 HAS SOUS 74765 HAS SOUPS 73516 WITH SCORE 73800.743
AT ITER 8037 NEW BEST:: SOT 680413 SOS 284734 HAS SOPS 276360 HAS SOUS 74754 HAS SOUPS 73505 WITH SCORE 73789.734
AT ITER 8112 NEW BEST:: SOT 680413 SOS 284710 HAS SOPS 276336 HAS SOUS 74730 HAS SOUPS 73481 WITH SCORE 73765.71
AT ITER 8113 NEW BEST:: SOT 680413 SOS 284710 HAS SOPS 276307 HAS SOUS 74701 HAS SOUPS 73452 WITH SCORE 73736.71
AT ITER 8125 NEW BEST:: SOT 680396 SOS 284677 HAS SOPS 276274 HAS SOUS 74665 HAS SOUPS 73416 WITH SCORE 73700.677
AT ITER 8135 NEW BEST:: SOT 680210 SOS 284491 HAS SOPS 276088 HAS SOUS 74527 HAS SOUPS 73278 WITH SCORE 73562.491
AT ITER 8197 NEW BEST:: SOT 680211 SOS 284463 HAS SOPS 276060 HAS SOUS 74502 HAS SOUPS 73253 WITH SCORE 73537.463
AT ITER 8213 NEW BEST:: SOT 680191 SOS 284443 HAS SOPS 276040 HAS SOUS 74473 HAS SOUPS 73224 WITH SCORE 73508.443
AT ITER 8215 NEW BEST:: SOT 680189 SOS 284439 HAS SOPS 276036 HAS SOUS 74469 HAS SOUPS 73220 WITH SCORE 73504.439
AT ITER 8226 NEW BEST:: SOT 680189 SOS 284435 HAS SOPS 276032 HAS SOUS 74467 HAS SOUPS 73218 WITH SCORE 73502.435
AT ITER 8255 NEW BEST:: SOT 680189 SOS 284414 HAS SOPS 276011 HAS SOUS 74467 HAS SOUPS 73218 WITH SCORE 73502.414
AT ITER 8281 NEW BEST:: SOT 675413 SOS 279638 HAS SOPS 271235 HAS SOUS 73622 HAS SOUPS 72373 WITH SCORE 72652.638
AT ITER 8308 NEW BEST:: SOT 675309 SOS 279534 HAS SOPS 271131 HAS SOUS 73532 HAS SOUPS 72283 WITH SCORE 72562.534
AT ITER 8321 NEW BEST:: SOT 675308 SOS 279533 HAS SOPS 271122 HAS SOUS 73521 HAS SOUPS 72272 WITH SCORE 72551.533
AT ITER 8357 NEW BEST:: SOT 675306 SOS 279509 HAS SOPS 271098 HAS SOUS 73519 HAS SOUPS 72270 WITH SCORE 72549.509
AT ITER 8405 NEW BEST:: SOT 675302 SOS 279505 HAS SOPS 271094 HAS SOUS 73515 HAS SOUPS 72266 WITH SCORE 72545.505
AT ITER 8414 NEW BEST:: SOT 675289 SOS 279514 HAS SOPS 271103 HAS SOUS 73499 HAS SOUPS 72250 WITH SCORE 72529.514
AT ITER 8447 NEW BEST:: SOT 675286 SOS 279511 HAS SOPS 271100 HAS SOUS 73499 HAS SOUPS 72250 WITH SCORE 72529.511
AT ITER 8465 NEW BEST:: SOT 675272 SOS 279471 HAS SOPS 271060 HAS SOUS 73483 HAS SOUPS 72234 WITH SCORE 72513.471
AT ITER 8476 NEW BEST:: SOT 675250 SOS 279504 HAS SOPS 271093 HAS SOUS 73395 HAS SOUPS 72146 WITH SCORE 72425.504
AT ITER 8482 NEW BEST:: SOT 675200 SOS 279676 HAS SOPS 271236 HAS SOUS 73313 HAS SOUPS 72064 WITH SCORE 72343.676
AT ITER 8484 NEW BEST:: SOT 675183 SOS 279695 HAS SOPS 271255 HAS SOUS 73297 HAS SOUPS 72048 WITH SCORE 72327.695
AT ITER 8521 NEW BEST:: SOT 675139 SOS 279651 HAS SOPS 271211 HAS SOUS 73249 HAS SOUPS 72000 WITH SCORE 72279.651
AT ITER 8524 NEW BEST:: SOT 675137 SOS 279639 HAS SOPS 271199 HAS SOUS 73240 HAS SOUPS 71991 WITH SCORE 72270.639
AT ITER 8532 NEW BEST:: SOT 675130 SOS 279632 HAS SOPS 271185 HAS SOUS 73226 HAS SOUPS 71977 WITH SCORE 72256.632
AT ITER 8537 NEW BEST:: SOT 675121 SOS 279625 HAS SOPS 271167 HAS SOUS 73216 HAS SOUPS 71959 WITH SCORE 72238.625
AT ITER 8556 NEW BEST:: SOT 675148 SOS 279605 HAS SOPS 271120 HAS SOUS 73196 HAS SOUPS 71939 WITH SCORE 72218.605
AT ITER 8622 NEW BEST:: SOT 675148 SOS 279600 HAS SOPS 271115 HAS SOUS 73196 HAS SOUPS 71939 WITH SCORE 72218.6
AT ITER 8625 NEW BEST:: SOT 675133 SOS 279585 HAS SOPS 271112 HAS SOUS 73181 HAS SOUPS 71936 WITH SCORE 72215.585
AT ITER 8644 NEW BEST:: SOT 675128 SOS 279495 HAS SOPS 271022 HAS SOUS 73170 HAS SOUPS 71925 WITH SCORE 72204.495
AT ITER 8666 NEW BEST:: SOT 675078 SOS 279391 HAS SOPS 270918 HAS SOUS 73070 HAS SOUPS 71825 WITH SCORE 72104.391
AT ITER 8673 NEW BEST:: SOT 675078 SOS 279386 HAS SOPS 270913 HAS SOUS 73070 HAS SOUPS 71825 WITH SCORE 72104.386
AT ITER 8704 NEW BEST:: SOT 675105 SOS 279413 HAS SOPS 270940 HAS SOUS 73040 HAS SOUPS 71795 WITH SCORE 72074.413
AT ITER 8724 NEW BEST:: SOT 675099 SOS 279398 HAS SOPS 270925 HAS SOUS 73028 HAS SOUPS 71783 WITH SCORE 72062.398
AT ITER 8725 NEW BEST:: SOT 675074 SOS 279408 HAS SOPS 270935 HAS SOUS 73008 HAS SOUPS 71763 WITH SCORE 72042.408
AT ITER 8772 NEW BEST:: SOT 675065 SOS 279399 HAS SOPS 270926 HAS SOUS 72996 HAS SOUPS 71751 WITH SCORE 72030.399
AT ITER 8780 NEW BEST:: SOT 675028 SOS 279338 HAS SOPS 270865 HAS SOUS 72970 HAS SOUPS 71725 WITH SCORE 72004.338
AT ITER 8797 NEW BEST:: SOT 675003 SOS 279320 HAS SOPS 270847 HAS SOUS 72927 HAS SOUPS 71682 WITH SCORE 71961.32
AT ITER 8811 NEW BEST:: SOT 674958 SOS 279290 HAS SOPS 270817 HAS SOUS 72897 HAS SOUPS 71652 WITH SCORE 71931.29
AT ITER 8861 NEW BEST:: SOT 674940 SOS 279236 HAS SOPS 270763 HAS SOUS 72888 HAS SOUPS 71643 WITH SCORE 71922.236
AT ITER 8876 NEW BEST:: SOT 674940 SOS 279190 HAS SOPS 270717 HAS SOUS 72842 HAS SOUPS 71597 WITH SCORE 71876.19
AT ITER 8893 NEW BEST:: SOT 673427 SOS 277677 HAS SOPS 269204 HAS SOUS 72506 HAS SOUPS 71261 WITH SCORE 71538.677
AT ITER 8930 NEW BEST:: SOT 673420 SOS 277670 HAS SOPS 269197 HAS SOUS 72493 HAS SOUPS 71248 WITH SCORE 71525.67
AT ITER 8961 NEW BEST:: SOT 671742 SOS 275992 HAS SOPS 267519 HAS SOUS 72303 HAS SOUPS 71058 WITH SCORE 71333.992
AT ITER 8969 NEW BEST:: SOT 671734 SOS 275976 HAS SOPS 267503 HAS SOUS 72287 HAS SOUPS 71042 WITH SCORE 71317.976
AT ITER 8982 NEW BEST:: SOT 662449 SOS 266715 HAS SOPS 258242 HAS SOUS 70858 HAS SOUPS 69613 WITH SCORE 69879.715
AT ITER 9030 NEW BEST:: SOT 662447 SOS 266709 HAS SOPS 258236 HAS SOUS 70852 HAS SOUPS 69607 WITH SCORE 69873.709
AT ITER 9062 NEW BEST:: SOT 662436 SOS 266698 HAS SOPS 258225 HAS SOUS 70841 HAS SOUPS 69596 WITH SCORE 69862.698
AT ITER 9068 NEW BEST:: SOT 662433 SOS 266695 HAS SOPS 258222 HAS SOUS 70835 HAS SOUPS 69590 WITH SCORE 69856.695
AT ITER 9111 NEW BEST:: SOT 662389 SOS 266651 HAS SOPS 258170 HAS SOUS 70764 HAS SOUPS 69519 WITH SCORE 69785.651
AT ITER 9188 NEW BEST:: SOT 662389 SOS 266647 HAS SOPS 258166 HAS SOUS 70760 HAS SOUPS 69515 WITH SCORE 69781.647
AT ITER 9190 NEW BEST:: SOT 662343 SOS 266601 HAS SOPS 258120 HAS SOUS 70694 HAS SOUPS 69449 WITH SCORE 69715.601
AT ITER 9232 NEW BEST:: SOT 662343 SOS 266601 HAS SOPS 258120 HAS SOUS 70689 HAS SOUPS 69444 WITH SCORE 69710.601
AT ITER 9236 NEW BEST:: SOT 662341 SOS 266603 HAS SOPS 258122 HAS SOUS 70685 HAS SOUPS 69440 WITH SCORE 69706.603
AT ITER 9237 NEW BEST:: SOT 662330 SOS 266592 HAS SOPS 258101 HAS SOUS 70667 HAS SOUPS 69422 WITH SCORE 69688.592
AT ITER 9254 NEW BEST:: SOT 662326 SOS 266590 HAS SOPS 258099 HAS SOUS 70665 HAS SOUPS 69420 WITH SCORE 69686.59
AT ITER 9294 NEW BEST:: SOT 662299 SOS 266528 HAS SOPS 258037 HAS SOUS 70603 HAS SOUPS 69358 WITH SCORE 69624.528
AT ITER 9308 NEW BEST:: SOT 662223 SOS 266336 HAS SOPS 257856 HAS SOUS 70440 HAS SOUPS 69195 WITH SCORE 69461.336
AT ITER 9335 NEW BEST:: SOT 662228 SOS 266333 HAS SOPS 257853 HAS SOUS 70438 HAS SOUPS 69193 WITH SCORE 69459.333
AT ITER 9407 NEW BEST:: SOT 662228 SOS 266381 HAS SOPS 257901 HAS SOUS 70426 HAS SOUPS 69181 WITH SCORE 69447.381
AT ITER 9436 NEW BEST:: SOT 662214 SOS 266367 HAS SOPS 257873 HAS SOUS 70349 HAS SOUPS 69104 WITH SCORE 69370.367
AT ITER 9470 NEW BEST:: SOT 662298 SOS 266328 HAS SOPS 257834 HAS SOUS 70322 HAS SOUPS 69077 WITH SCORE 69343.328
AT ITER 9473 NEW BEST:: SOT 662357 SOS 266387 HAS SOPS 257893 HAS SOUS 70297 HAS SOUPS 69052 WITH SCORE 69318.387
AT ITER 9500 NEW BEST:: SOT 662322 SOS 266317 HAS SOPS 257823 HAS SOUS 70227 HAS SOUPS 68982 WITH SCORE 69248.317
AT ITER 9504 NEW BEST:: SOT 662307 SOS 266416 HAS SOPS 257922 HAS SOUS 70200 HAS SOUPS 68955 WITH SCORE 69221.416
AT ITER 9539 NEW BEST:: SOT 662305 SOS 266410 HAS SOPS 257916 HAS SOUS 70196 HAS SOUPS 68951 WITH SCORE 69217.41
AT ITER 9571 NEW BEST:: SOT 662303 SOS 266404 HAS SOPS 257910 HAS SOUS 70194 HAS SOUPS 68949 WITH SCORE 69215.404
AT ITER 9575 NEW BEST:: SOT 662291 SOS 266392 HAS SOPS 257890 HAS SOUS 70182 HAS SOUPS 68937 WITH SCORE 69203.392
AT ITER 9583 NEW BEST:: SOT 662312 SOS 266413 HAS SOPS 257907 HAS SOUS 70160 HAS SOUPS 68915 WITH SCORE 69181.413
AT ITER 9600 NEW BEST:: SOT 662170 SOS 266209 HAS SOPS 257703 HAS SOUS 70107 HAS SOUPS 68862 WITH SCORE 69128.209
AT ITER 9603 NEW BEST:: SOT 662160 SOS 266199 HAS SOPS 257689 HAS SOUS 70093 HAS SOUPS 68848 WITH SCORE 69114.199
AT ITER 9610 NEW BEST:: SOT 662156 SOS 266193 HAS SOPS 257683 HAS SOUS 70089 HAS SOUPS 68844 WITH SCORE 69110.193
AT ITER 9642 NEW BEST:: SOT 662157 SOS 266170 HAS SOPS 257660 HAS SOUS 70065 HAS SOUPS 68820 WITH SCORE 69086.17
AT ITER 9654 NEW BEST:: SOT 662154 SOS 266167 HAS SOPS 257657 HAS SOUS 70062 HAS SOUPS 68817 WITH SCORE 69083.167
AT ITER 9667 NEW BEST:: SOT 660739 SOS 264752 HAS SOPS 256242 HAS SOUS 69884 HAS SOUPS 68639 WITH SCORE 68903.752
AT ITER 9672 NEW BEST:: SOT 660736 SOS 264748 HAS SOPS 256238 HAS SOUS 69881 HAS SOUPS 68636 WITH SCORE 68900.748
AT ITER 9674 NEW BEST:: SOT 660726 SOS 264735 HAS SOPS 256225 HAS SOUS 69868 HAS SOUPS 68623 WITH SCORE 68887.735
AT ITER 9773 NEW BEST:: SOT 660726 SOS 264707 HAS SOPS 256197 HAS SOUS 69854 HAS SOUPS 68609 WITH SCORE 68873.707
AT ITER 9783 NEW BEST:: SOT 660681 SOS 264564 HAS SOPS 256054 HAS SOUS 69826 HAS SOUPS 68581 WITH SCORE 68845.564
AT ITER 9910 NEW BEST:: SOT 660712 SOS 264595 HAS SOPS 256056 HAS SOUS 69768 HAS SOUPS 68523 WITH SCORE 68787.595
AT ITER 9991 NEW BEST:: SOT 660712 SOS 264595 HAS SOPS 256056 HAS SOUS 69746 HAS SOUPS 68501 WITH SCORE 68765.595
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 9128200 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16148564 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-S04J04T06"
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-S04J04T06, 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-167873943000544"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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