Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 8.3K Apr 12 05:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 12 05:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 23K Apr 11 04:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 87K Apr 11 04:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 8.0K Apr 14 12:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 33K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Apr 14 12:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 47K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Apr 10 12:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 36K Apr 10 12:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Apr 9 17:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 39K Apr 9 17:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.0K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.2K Apr 10 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.5M Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589642545318

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

Filename model.pnml
Petri model created: 752 places, 1572 transitions, 7262 arcs.
AT ITER 0 NEW BEST:: SOT 715590 SOS 379362 HAS SOPS 372459 HAS SOUS 221796 HAS SOUPS 221303 WITH SCORE 221682.362
AT ITER 16 NEW BEST:: SOT 715570 SOS 379342 HAS SOPS 372344 HAS SOUS 221788 HAS SOUPS 221237 WITH SCORE 221616.342
AT ITER 19 NEW BEST:: SOT 715570 SOS 379270 HAS SOPS 372272 HAS SOUS 221788 HAS SOUPS 221237 WITH SCORE 221616.27
AT ITER 21 NEW BEST:: SOT 715521 SOS 379172 HAS SOPS 372174 HAS SOUS 221690 HAS SOUPS 221139 WITH SCORE 221518.172
AT ITER 29 NEW BEST:: SOT 715233 SOS 378884 HAS SOPS 371886 HAS SOUS 221477 HAS SOUPS 220926 WITH SCORE 221304.884
AT ITER 35 NEW BEST:: SOT 707940 SOS 374600 HAS SOPS 365837 HAS SOUS 214526 HAS SOUPS 213659 WITH SCORE 214033.6
AT ITER 57 NEW BEST:: SOT 707961 SOS 374580 HAS SOPS 365817 HAS SOUS 214506 HAS SOUPS 213639 WITH SCORE 214013.58
AT ITER 59 NEW BEST:: SOT 702561 SOS 369236 HAS SOPS 360473 HAS SOUS 213548 HAS SOUPS 212681 WITH SCORE 213050.236
AT ITER 65 NEW BEST:: SOT 702440 SOS 369099 HAS SOPS 360336 HAS SOUS 213522 HAS SOUPS 212655 WITH SCORE 213024.099
AT ITER 69 NEW BEST:: SOT 702122 SOS 368834 HAS SOPS 360071 HAS SOUS 213180 HAS SOUPS 212313 WITH SCORE 212681.834
AT ITER 73 NEW BEST:: SOT 701541 SOS 368393 HAS SOPS 359630 HAS SOUS 212824 HAS SOUPS 211957 WITH SCORE 212325.393
AT ITER 86 NEW BEST:: SOT 701371 SOS 368223 HAS SOPS 359460 HAS SOUS 212686 HAS SOUPS 211819 WITH SCORE 212187.223
AT ITER 93 NEW BEST:: SOT 701245 SOS 368097 HAS SOPS 359334 HAS SOUS 212550 HAS SOUPS 211683 WITH SCORE 212051.097
AT ITER 94 NEW BEST:: SOT 699031 SOS 365936 HAS SOPS 357173 HAS SOUS 210572 HAS SOUPS 209705 WITH SCORE 210070.936
AT ITER 107 NEW BEST:: SOT 699196 SOS 366101 HAS SOPS 357197 HAS SOUS 210618 HAS SOUPS 209682 WITH SCORE 210048.101
AT ITER 109 NEW BEST:: SOT 699139 SOS 366044 HAS SOPS 357140 HAS SOUS 210561 HAS SOUPS 209625 WITH SCORE 209991.044
AT ITER 110 NEW BEST:: SOT 699013 SOS 365905 HAS SOPS 357001 HAS SOUS 210511 HAS SOUPS 209575 WITH SCORE 209940.905
AT ITER 122 NEW BEST:: SOT 699006 SOS 365898 HAS SOPS 356994 HAS SOUS 210504 HAS SOUPS 209568 WITH SCORE 209933.898
AT ITER 124 NEW BEST:: SOT 689255 SOS 387439 HAS SOPS 383212 HAS SOUS 201627 HAS SOUPS 200989 WITH SCORE 201376.439
AT ITER 127 NEW BEST:: SOT 689150 SOS 387334 HAS SOPS 383107 HAS SOUS 201479 HAS SOUPS 200841 WITH SCORE 201228.334
AT ITER 139 NEW BEST:: SOT 689052 SOS 387051 HAS SOPS 382911 HAS SOUS 201466 HAS SOUPS 200828 WITH SCORE 201215.051
AT ITER 141 NEW BEST:: SOT 689033 SOS 387013 HAS SOPS 382873 HAS SOUS 201347 HAS SOUPS 200709 WITH SCORE 201096.013
AT ITER 147 NEW BEST:: SOT 688793 SOS 386773 HAS SOPS 382633 HAS SOUS 201087 HAS SOUPS 200449 WITH SCORE 200835.773
AT ITER 157 NEW BEST:: SOT 688673 SOS 388069 HAS SOPS 383929 HAS SOUS 200952 HAS SOUPS 200314 WITH SCORE 200702.069
AT ITER 164 NEW BEST:: SOT 688220 SOS 387684 HAS SOPS 383544 HAS SOUS 200479 HAS SOUPS 199841 WITH SCORE 200228.684
AT ITER 190 NEW BEST:: SOT 687679 SOS 387270 HAS SOPS 383130 HAS SOUS 200195 HAS SOUPS 199557 WITH SCORE 199944.27
AT ITER 195 NEW BEST:: SOT 687656 SOS 387250 HAS SOPS 383110 HAS SOUS 200175 HAS SOUPS 199537 WITH SCORE 199924.25
AT ITER 208 NEW BEST:: SOT 687628 SOS 387194 HAS SOPS 383054 HAS SOUS 200158 HAS SOUPS 199520 WITH SCORE 199907.194
AT ITER 210 NEW BEST:: SOT 687514 SOS 387004 HAS SOPS 382864 HAS SOUS 200002 HAS SOUPS 199364 WITH SCORE 199751.004
AT ITER 215 NEW BEST:: SOT 687406 SOS 386896 HAS SOPS 382736 HAS SOUS 199816 HAS SOUPS 199178 WITH SCORE 199564.896
AT ITER 234 NEW BEST:: SOT 686188 SOS 385636 HAS SOPS 381476 HAS SOUS 199270 HAS SOUPS 198632 WITH SCORE 199017.636
AT ITER 245 NEW BEST:: SOT 686188 SOS 385316 HAS SOPS 381156 HAS SOUS 199270 HAS SOUPS 198632 WITH SCORE 199017.316
AT ITER 254 NEW BEST:: SOT 686073 SOS 385159 HAS SOPS 380999 HAS SOUS 199064 HAS SOUPS 198426 WITH SCORE 198811.159
AT ITER 255 NEW BEST:: SOT 685794 SOS 384604 HAS SOPS 380444 HAS SOUS 198782 HAS SOUPS 198144 WITH SCORE 198528.604
AT ITER 259 NEW BEST:: SOT 685218 SOS 384045 HAS SOPS 379885 HAS SOUS 198288 HAS SOUPS 197650 WITH SCORE 198034.045
AT ITER 261 NEW BEST:: SOT 685245 SOS 384639 HAS SOPS 380479 HAS SOUS 198113 HAS SOUPS 197475 WITH SCORE 197859.639
AT ITER 262 NEW BEST:: SOT 684766 SOS 384324 HAS SOPS 380164 HAS SOUS 197868 HAS SOUPS 197230 WITH SCORE 197614.324
AT ITER 275 NEW BEST:: SOT 684755 SOS 384313 HAS SOPS 380153 HAS SOUS 197686 HAS SOUPS 197048 WITH SCORE 197432.313
AT ITER 276 NEW BEST:: SOT 684636 SOS 384669 HAS SOPS 380531 HAS SOUS 197636 HAS SOUPS 196998 WITH SCORE 197382.669
AT ITER 282 NEW BEST:: SOT 684573 SOS 381477 HAS SOPS 377339 HAS SOUS 197531 HAS SOUPS 196893 WITH SCORE 197274.477
AT ITER 284 NEW BEST:: SOT 682745 SOS 379698 HAS SOPS 375560 HAS SOUS 195750 HAS SOUPS 195112 WITH SCORE 195491.698
AT ITER 294 NEW BEST:: SOT 682778 SOS 379731 HAS SOPS 375593 HAS SOUS 195740 HAS SOUPS 195102 WITH SCORE 195481.731
AT ITER 308 NEW BEST:: SOT 682800 SOS 379753 HAS SOPS 375615 HAS SOUS 195652 HAS SOUPS 195014 WITH SCORE 195393.753
AT ITER 317 NEW BEST:: SOT 682787 SOS 380094 HAS SOPS 375956 HAS SOUS 195519 HAS SOUPS 194881 WITH SCORE 195261.094
AT ITER 318 NEW BEST:: SOT 682758 SOS 379970 HAS SOPS 375832 HAS SOUS 195483 HAS SOUPS 194845 WITH SCORE 195224.97
AT ITER 320 NEW BEST:: SOT 682701 SOS 381600 HAS SOPS 377492 HAS SOUS 195366 HAS SOUPS 194729 WITH SCORE 195110.6
AT ITER 324 NEW BEST:: SOT 682626 SOS 381529 HAS SOPS 377421 HAS SOUS 195295 HAS SOUPS 194658 WITH SCORE 195039.529
AT ITER 325 NEW BEST:: SOT 682487 SOS 381337 HAS SOPS 377229 HAS SOUS 194878 HAS SOUPS 194241 WITH SCORE 194622.337
AT ITER 329 NEW BEST:: SOT 682439 SOS 381257 HAS SOPS 377149 HAS SOUS 194782 HAS SOUPS 194145 WITH SCORE 194526.257
AT ITER 330 NEW BEST:: SOT 682097 SOS 381175 HAS SOPS 377067 HAS SOUS 194357 HAS SOUPS 193720 WITH SCORE 194101.175
AT ITER 337 NEW BEST:: SOT 681959 SOS 381040 HAS SOPS 377138 HAS SOUS 194273 HAS SOUPS 193656 WITH SCORE 194037.04
AT ITER 341 NEW BEST:: SOT 681885 SOS 380927 HAS SOPS 377025 HAS SOUS 194086 HAS SOUPS 193469 WITH SCORE 193849.927
AT ITER 343 NEW BEST:: SOT 681894 SOS 380786 HAS SOPS 376884 HAS SOUS 194022 HAS SOUPS 193405 WITH SCORE 193785.786
AT ITER 348 NEW BEST:: SOT 681894 SOS 380507 HAS SOPS 376605 HAS SOUS 194022 HAS SOUPS 193405 WITH SCORE 193785.507
AT ITER 351 NEW BEST:: SOT 681894 SOS 380507 HAS SOPS 376605 HAS SOUS 193965 HAS SOUPS 193348 WITH SCORE 193728.507
AT ITER 352 NEW BEST:: SOT 681873 SOS 380458 HAS SOPS 376556 HAS SOUS 193923 HAS SOUPS 193306 WITH SCORE 193686.458
AT ITER 373 NEW BEST:: SOT 679763 SOS 378402 HAS SOPS 374500 HAS SOUS 192058 HAS SOUPS 191441 WITH SCORE 191819.402
AT ITER 393 NEW BEST:: SOT 679733 SOS 378372 HAS SOPS 374470 HAS SOUS 191998 HAS SOUPS 191381 WITH SCORE 191759.372
AT ITER 398 NEW BEST:: SOT 679767 SOS 378306 HAS SOPS 374404 HAS SOUS 191992 HAS SOUPS 191375 WITH SCORE 191753.306
AT ITER 400 NEW BEST:: SOT 679742 SOS 378281 HAS SOPS 374359 HAS SOUS 191873 HAS SOUPS 191256 WITH SCORE 191634.281
AT ITER 414 NEW BEST:: SOT 680174 SOS 378963 HAS SOPS 375041 HAS SOUS 191273 HAS SOUPS 190656 WITH SCORE 191034.963
AT ITER 421 NEW BEST:: SOT 679622 SOS 378549 HAS SOPS 374627 HAS SOUS 190819 HAS SOUPS 190202 WITH SCORE 190580.549
AT ITER 422 NEW BEST:: SOT 679458 SOS 378416 HAS SOPS 374494 HAS SOUS 190758 HAS SOUPS 190141 WITH SCORE 190519.416
AT ITER 424 NEW BEST:: SOT 679432 SOS 378390 HAS SOPS 374468 HAS SOUS 190728 HAS SOUPS 190111 WITH SCORE 190489.39
AT ITER 428 NEW BEST:: SOT 679026 SOS 377980 HAS SOPS 374058 HAS SOUS 190556 HAS SOUPS 189939 WITH SCORE 190316.98
AT ITER 430 NEW BEST:: SOT 679024 SOS 377978 HAS SOPS 374056 HAS SOUS 190554 HAS SOUPS 189937 WITH SCORE 190314.978
AT ITER 434 NEW BEST:: SOT 677164 SOS 376118 HAS SOPS 372196 HAS SOUS 189748 HAS SOUPS 189131 WITH SCORE 189507.118
AT ITER 436 NEW BEST:: SOT 677018 SOS 375972 HAS SOPS 372050 HAS SOUS 189236 HAS SOUPS 188619 WITH SCORE 188994.972
AT ITER 437 NEW BEST:: SOT 674739 SOS 375630 HAS SOPS 371708 HAS SOUS 188876 HAS SOUPS 188259 WITH SCORE 188634.63
AT ITER 448 NEW BEST:: SOT 674733 SOS 375618 HAS SOPS 371696 HAS SOUS 188864 HAS SOUPS 188247 WITH SCORE 188622.618
AT ITER 454 NEW BEST:: SOT 674528 SOS 375188 HAS SOPS 371266 HAS SOUS 188434 HAS SOUPS 187817 WITH SCORE 188192.188
AT ITER 458 NEW BEST:: SOT 674438 SOS 374987 HAS SOPS 371065 HAS SOUS 188375 HAS SOUPS 187758 WITH SCORE 188132.987
AT ITER 460 NEW BEST:: SOT 671393 SOS 371745 HAS SOPS 367718 HAS SOUS 186905 HAS SOUPS 186288 WITH SCORE 186659.745
AT ITER 472 NEW BEST:: SOT 671379 SOS 371731 HAS SOPS 367704 HAS SOUS 186872 HAS SOUPS 186255 WITH SCORE 186626.731
AT ITER 480 NEW BEST:: SOT 671261 SOS 372161 HAS SOPS 368157 HAS SOUS 186728 HAS SOUPS 186111 WITH SCORE 186483.161
AT ITER 490 NEW BEST:: SOT 671261 SOS 372486 HAS SOPS 368482 HAS SOUS 186393 HAS SOUPS 185776 WITH SCORE 186148.486
AT ITER 492 NEW BEST:: SOT 671261 SOS 372481 HAS SOPS 368477 HAS SOUS 186393 HAS SOUPS 185776 WITH SCORE 186148.481
AT ITER 502 NEW BEST:: SOT 671112 SOS 372190 HAS SOPS 368186 HAS SOUS 186166 HAS SOUPS 185549 WITH SCORE 185921.19
AT ITER 518 NEW BEST:: SOT 671233 SOS 372311 HAS SOPS 368287 HAS SOUS 186114 HAS SOUPS 185497 WITH SCORE 185869.311
AT ITER 525 NEW BEST:: SOT 671143 SOS 372161 HAS SOPS 368137 HAS SOUS 185964 HAS SOUPS 185347 WITH SCORE 185719.161
AT ITER 530 NEW BEST:: SOT 670124 SOS 371085 HAS SOPS 367061 HAS SOUS 185237 HAS SOUPS 184620 WITH SCORE 184991.085
AT ITER 535 NEW BEST:: SOT 669530 SOS 370491 HAS SOPS 366467 HAS SOUS 184769 HAS SOUPS 184152 WITH SCORE 184522.491
AT ITER 542 NEW BEST:: SOT 669388 SOS 370391 HAS SOPS 366367 HAS SOUS 184225 HAS SOUPS 183608 WITH SCORE 183978.391
AT ITER 551 NEW BEST:: SOT 669105 SOS 370108 HAS SOPS 366084 HAS SOUS 182927 HAS SOUPS 182310 WITH SCORE 182680.108
AT ITER 570 NEW BEST:: SOT 667688 SOS 368739 HAS SOPS 364715 HAS SOUS 181602 HAS SOUPS 180985 WITH SCORE 181353.739
AT ITER 578 NEW BEST:: SOT 667475 SOS 368455 HAS SOPS 364431 HAS SOUS 180324 HAS SOUPS 179707 WITH SCORE 180075.455
AT ITER 594 NEW BEST:: SOT 661084 SOS 363846 HAS SOPS 359822 HAS SOUS 178342 HAS SOUPS 177725 WITH SCORE 178088.846
AT ITER 626 NEW BEST:: SOT 661084 SOS 363905 HAS SOPS 359821 HAS SOUS 178342 HAS SOUPS 177722 WITH SCORE 178085.905
AT ITER 627 NEW BEST:: SOT 661042 SOS 363863 HAS SOPS 359786 HAS SOUS 178314 HAS SOUPS 177694 WITH SCORE 178057.863
AT ITER 629 NEW BEST:: SOT 660952 SOS 363773 HAS SOPS 359696 HAS SOUS 178227 HAS SOUPS 177607 WITH SCORE 177970.773
AT ITER 635 NEW BEST:: SOT 660943 SOS 363764 HAS SOPS 359680 HAS SOUS 178204 HAS SOUPS 177584 WITH SCORE 177947.764
AT ITER 636 NEW BEST:: SOT 660982 SOS 363803 HAS SOPS 359719 HAS SOUS 178160 HAS SOUPS 177540 WITH SCORE 177903.803
AT ITER 639 NEW BEST:: SOT 660964 SOS 363506 HAS SOPS 359422 HAS SOUS 178133 HAS SOUPS 177513 WITH SCORE 177876.506
AT ITER 641 NEW BEST:: SOT 660907 SOS 363449 HAS SOPS 359365 HAS SOUS 178059 HAS SOUPS 177439 WITH SCORE 177802.449
AT ITER 649 NEW BEST:: SOT 659091 SOS 361706 HAS SOPS 357622 HAS SOUS 176193 HAS SOUPS 175573 WITH SCORE 175934.706
AT ITER 651 NEW BEST:: SOT 659059 SOS 361674 HAS SOPS 357570 HAS SOUS 176075 HAS SOUPS 175455 WITH SCORE 175816.674
AT ITER 661 NEW BEST:: SOT 658851 SOS 361466 HAS SOPS 357362 HAS SOUS 175659 HAS SOUPS 175039 WITH SCORE 175400.466
AT ITER 663 NEW BEST:: SOT 658447 SOS 361127 HAS SOPS 357023 HAS SOUS 175236 HAS SOUPS 174616 WITH SCORE 174977.127
AT ITER 668 NEW BEST:: SOT 658010 SOS 360545 HAS SOPS 356441 HAS SOUS 174784 HAS SOUPS 174164 WITH SCORE 174524.545
AT ITER 686 NEW BEST:: SOT 658024 SOS 360544 HAS SOPS 356440 HAS SOUS 174758 HAS SOUPS 174138 WITH SCORE 174498.544
AT ITER 696 NEW BEST:: SOT 658028 SOS 360388 HAS SOPS 356283 HAS SOUS 174710 HAS SOUPS 174090 WITH SCORE 174450.388
AT ITER 697 NEW BEST:: SOT 657833 SOS 360193 HAS SOPS 356088 HAS SOUS 174557 HAS SOUPS 173937 WITH SCORE 174297.193
AT ITER 705 NEW BEST:: SOT 657765 SOS 360231 HAS SOPS 356126 HAS SOUS 174375 HAS SOUPS 173755 WITH SCORE 174115.231
AT ITER 709 NEW BEST:: SOT 657761 SOS 360227 HAS SOPS 356122 HAS SOUS 174371 HAS SOUPS 173751 WITH SCORE 174111.227
AT ITER 713 NEW BEST:: SOT 657776 SOS 360490 HAS SOPS 356509 HAS SOUS 172913 HAS SOUPS 172293 WITH SCORE 172653.49
AT ITER 729 NEW BEST:: SOT 657760 SOS 360474 HAS SOPS 356493 HAS SOUS 172892 HAS SOUPS 172272 WITH SCORE 172632.474
AT ITER 742 NEW BEST:: SOT 657712 SOS 353514 HAS SOPS 349533 HAS SOUS 172796 HAS SOUPS 172176 WITH SCORE 172529.514
AT ITER 747 NEW BEST:: SOT 657667 SOS 353419 HAS SOPS 349438 HAS SOUS 172648 HAS SOUPS 172028 WITH SCORE 172381.419
AT ITER 755 NEW BEST:: SOT 657623 SOS 353375 HAS SOPS 349394 HAS SOUS 172634 HAS SOUPS 172014 WITH SCORE 172367.375
AT ITER 764 NEW BEST:: SOT 657355 SOS 352875 HAS SOPS 347774 HAS SOUS 172366 HAS SOUPS 171634 WITH SCORE 171986.875
AT ITER 768 NEW BEST:: SOT 656075 SOS 351662 HAS SOPS 346561 HAS SOUS 171153 HAS SOUPS 170421 WITH SCORE 170772.662
AT ITER 770 NEW BEST:: SOT 656169 SOS 351994 HAS SOPS 346893 HAS SOUS 171053 HAS SOUPS 170321 WITH SCORE 170672.994
AT ITER 771 NEW BEST:: SOT 656001 SOS 351840 HAS SOPS 346739 HAS SOUS 170899 HAS SOUPS 170167 WITH SCORE 170518.84
AT ITER 777 NEW BEST:: SOT 655982 SOS 351802 HAS SOPS 346701 HAS SOUS 170861 HAS SOUPS 170129 WITH SCORE 170480.802
AT ITER 779 NEW BEST:: SOT 655850 SOS 351480 HAS SOPS 346379 HAS SOUS 170787 HAS SOUPS 170055 WITH SCORE 170406.48
AT ITER 789 NEW BEST:: SOT 655836 SOS 351466 HAS SOPS 346365 HAS SOUS 170780 HAS SOUPS 170048 WITH SCORE 170399.466
AT ITER 803 NEW BEST:: SOT 655540 SOS 351115 HAS SOPS 346014 HAS SOUS 170530 HAS SOUPS 169798 WITH SCORE 170149.115
AT ITER 813 NEW BEST:: SOT 655461 SOS 351098 HAS SOPS 345997 HAS SOUS 170426 HAS SOUPS 169694 WITH SCORE 170045.098
AT ITER 814 NEW BEST:: SOT 655310 SOS 350724 HAS SOPS 345623 HAS SOUS 170052 HAS SOUPS 169320 WITH SCORE 169670.724
AT ITER 826 NEW BEST:: SOT 655286 SOS 350691 HAS SOPS 345590 HAS SOUS 169989 HAS SOUPS 169257 WITH SCORE 169607.691
AT ITER 827 NEW BEST:: SOT 656814 SOS 355446 HAS SOPS 350374 HAS SOUS 169837 HAS SOUPS 169106 WITH SCORE 169461.446
AT ITER 828 NEW BEST:: SOT 656611 SOS 355236 HAS SOPS 350164 HAS SOUS 169746 HAS SOUPS 169015 WITH SCORE 169370.236
AT ITER 832 NEW BEST:: SOT 657110 SOS 355735 HAS SOPS 350663 HAS SOUS 169204 HAS SOUPS 168473 WITH SCORE 168828.735
AT ITER 837 NEW BEST:: SOT 657026 SOS 356163 HAS SOPS 351091 HAS SOUS 169120 HAS SOUPS 168389 WITH SCORE 168745.163
AT ITER 853 NEW BEST:: SOT 654806 SOS 353795 HAS SOPS 348723 HAS SOUS 168010 HAS SOUPS 167279 WITH SCORE 167632.795
AT ITER 855 NEW BEST:: SOT 655046 SOS 354173 HAS SOPS 349101 HAS SOUS 167281 HAS SOUPS 166550 WITH SCORE 166904.173
AT ITER 862 NEW BEST:: SOT 654996 SOS 354123 HAS SOPS 349012 HAS SOUS 167202 HAS SOUPS 166471 WITH SCORE 166825.123
AT ITER 865 NEW BEST:: SOT 654834 SOS 353313 HAS SOPS 348202 HAS SOUS 166932 HAS SOUPS 166201 WITH SCORE 166554.313
AT ITER 869 NEW BEST:: SOT 654789 SOS 353268 HAS SOPS 348157 HAS SOUS 166880 HAS SOUPS 166149 WITH SCORE 166502.268
AT ITER 870 NEW BEST:: SOT 654704 SOS 353183 HAS SOPS 348072 HAS SOUS 165838 HAS SOUPS 165107 WITH SCORE 165460.183
AT ITER 878 NEW BEST:: SOT 654652 SOS 353664 HAS SOPS 348577 HAS SOUS 165817 HAS SOUPS 165086 WITH SCORE 165439.664
AT ITER 884 NEW BEST:: SOT 654602 SOS 353604 HAS SOPS 348517 HAS SOUS 165717 HAS SOUPS 164986 WITH SCORE 165339.604
AT ITER 891 NEW BEST:: SOT 654514 SOS 353494 HAS SOPS 348407 HAS SOUS 165620 HAS SOUPS 164889 WITH SCORE 165242.494
AT ITER 904 NEW BEST:: SOT 652762 SOS 351671 HAS SOPS 346584 HAS SOUS 165439 HAS SOUPS 164708 WITH SCORE 165059.671
AT ITER 924 NEW BEST:: SOT 652763 SOS 351827 HAS SOPS 346740 HAS SOUS 165373 HAS SOUPS 164642 WITH SCORE 164993.827
AT ITER 925 NEW BEST:: SOT 652775 SOS 351826 HAS SOPS 346714 HAS SOUS 165422 HAS SOUPS 164641 WITH SCORE 164992.826
AT ITER 932 NEW BEST:: SOT 652727 SOS 351730 HAS SOPS 346618 HAS SOUS 165274 HAS SOUPS 164493 WITH SCORE 164844.73
AT ITER 933 NEW BEST:: SOT 649507 SOS 348531 HAS SOPS 343419 HAS SOUS 164104 HAS SOUPS 163323 WITH SCORE 163671.531
AT ITER 942 NEW BEST:: SOT 649116 SOS 347992 HAS SOPS 342880 HAS SOUS 163730 HAS SOUPS 162949 WITH SCORE 163296.992
AT ITER 954 NEW BEST:: SOT 648863 SOS 347739 HAS SOPS 342627 HAS SOUS 163582 HAS SOUPS 162801 WITH SCORE 163148.739
AT ITER 961 NEW BEST:: SOT 648755 SOS 347640 HAS SOPS 342528 HAS SOUS 163483 HAS SOUPS 162702 WITH SCORE 163049.64
AT ITER 979 NEW BEST:: SOT 648759 SOS 347594 HAS SOPS 342482 HAS SOUS 163434 HAS SOUPS 162653 WITH SCORE 163000.594
AT ITER 983 NEW BEST:: SOT 646049 SOS 344771 HAS SOPS 339659 HAS SOUS 162647 HAS SOUPS 161866 WITH SCORE 162210.771
AT ITER 984 NEW BEST:: SOT 646549 SOS 345785 HAS SOPS 340673 HAS SOUS 162293 HAS SOUPS 161512 WITH SCORE 161857.785
AT ITER 995 NEW BEST:: SOT 646658 SOS 345894 HAS SOPS 340782 HAS SOUS 160687 HAS SOUPS 159906 WITH SCORE 160251.894
AT ITER 998 NEW BEST:: SOT 646560 SOS 345796 HAS SOPS 340684 HAS SOUS 160491 HAS SOUPS 159710 WITH SCORE 160055.796
AT ITER 1004 NEW BEST:: SOT 646600 SOS 345627 HAS SOPS 340515 HAS SOUS 160412 HAS SOUPS 159631 WITH SCORE 159976.627
AT ITER 1017 NEW BEST:: SOT 646593 SOS 345538 HAS SOPS 340278 HAS SOUS 160398 HAS SOUPS 159617 WITH SCORE 159962.538
AT ITER 1022 NEW BEST:: SOT 646556 SOS 345501 HAS SOPS 340241 HAS SOUS 160330 HAS SOUPS 159549 WITH SCORE 159894.501
AT ITER 1024 NEW BEST:: SOT 642880 SOS 341905 HAS SOPS 336645 HAS SOUS 159236 HAS SOUPS 158455 WITH SCORE 158796.905
AT ITER 1027 NEW BEST:: SOT 642854 SOS 341867 HAS SOPS 336607 HAS SOUS 159161 HAS SOUPS 158380 WITH SCORE 158721.867
AT ITER 1037 NEW BEST:: SOT 642873 SOS 341886 HAS SOPS 336626 HAS SOUS 159139 HAS SOUPS 158358 WITH SCORE 158699.886
AT ITER 1039 NEW BEST:: SOT 642865 SOS 341878 HAS SOPS 336618 HAS SOUS 159131 HAS SOUPS 158350 WITH SCORE 158691.878
AT ITER 1043 NEW BEST:: SOT 643348 SOS 342824 HAS SOPS 337564 HAS SOUS 157271 HAS SOUPS 156490 WITH SCORE 156832.824
AT ITER 1058 NEW BEST:: SOT 643387 SOS 342863 HAS SOPS 337603 HAS SOUS 157229 HAS SOUPS 156448 WITH SCORE 156790.863
AT ITER 1073 NEW BEST:: SOT 643274 SOS 342556 HAS SOPS 337296 HAS SOUS 157003 HAS SOUPS 156222 WITH SCORE 156564.556
AT ITER 1085 NEW BEST:: SOT 643251 SOS 342533 HAS SOPS 337273 HAS SOUS 156976 HAS SOUPS 156195 WITH SCORE 156537.533
AT ITER 1093 NEW BEST:: SOT 643231 SOS 342473 HAS SOPS 337013 HAS SOUS 156966 HAS SOUPS 156165 WITH SCORE 156507.473
AT ITER 1094 NEW BEST:: SOT 643181 SOS 342446 HAS SOPS 336986 HAS SOUS 156912 HAS SOUPS 156111 WITH SCORE 156453.446
AT ITER 1121 NEW BEST:: SOT 643154 SOS 342473 HAS SOPS 337013 HAS SOUS 156816 HAS SOUPS 156015 WITH SCORE 156357.473
AT ITER 1153 NEW BEST:: SOT 643073 SOS 342152 HAS SOPS 336692 HAS SOUS 156702 HAS SOUPS 155901 WITH SCORE 156243.152
AT ITER 1163 NEW BEST:: SOT 642769 SOS 341981 HAS SOPS 336521 HAS SOUS 156493 HAS SOUPS 155692 WITH SCORE 156033.981
AT ITER 1175 NEW BEST:: SOT 642763 SOS 341975 HAS SOPS 336515 HAS SOUS 156483 HAS SOUPS 155682 WITH SCORE 156023.975
AT ITER 1177 NEW BEST:: SOT 642762 SOS 341974 HAS SOPS 336514 HAS SOUS 156481 HAS SOUPS 155680 WITH SCORE 156021.974
AT ITER 1183 NEW BEST:: SOT 642788 SOS 341958 HAS SOPS 336498 HAS SOUS 156475 HAS SOUPS 155674 WITH SCORE 156015.958
AT ITER 1194 NEW BEST:: SOT 642946 SOS 342118 HAS SOPS 336658 HAS SOUS 156422 HAS SOUPS 155621 WITH SCORE 155963.118
AT ITER 1199 NEW BEST:: SOT 642840 SOS 342012 HAS SOPS 336552 HAS SOUS 156399 HAS SOUPS 155598 WITH SCORE 155940.012
AT ITER 1213 NEW BEST:: SOT 642842 SOS 342014 HAS SOPS 336534 HAS SOUS 156359 HAS SOUPS 155558 WITH SCORE 155900.014
AT ITER 1214 NEW BEST:: SOT 642831 SOS 342003 HAS SOPS 336523 HAS SOUS 156337 HAS SOUPS 155536 WITH SCORE 155878.003
AT ITER 1216 NEW BEST:: SOT 642689 SOS 342108 HAS SOPS 336628 HAS SOUS 156185 HAS SOUPS 155384 WITH SCORE 155726.108
AT ITER 1226 NEW BEST:: SOT 642689 SOS 341788 HAS SOPS 336308 HAS SOUS 156185 HAS SOUPS 155384 WITH SCORE 155725.788
AT ITER 1237 NEW BEST:: SOT 642314 SOS 340913 HAS SOPS 335433 HAS SOUS 156093 HAS SOUPS 155292 WITH SCORE 155632.913
AT ITER 1241 NEW BEST:: SOT 642276 SOS 340859 HAS SOPS 335379 HAS SOUS 156078 HAS SOUPS 155277 WITH SCORE 155617.859
AT ITER 1243 NEW BEST:: SOT 642122 SOS 340493 HAS SOPS 335013 HAS SOUS 155710 HAS SOUPS 154909 WITH SCORE 155249.493
AT ITER 1246 NEW BEST:: SOT 641932 SOS 339494 HAS SOPS 334014 HAS SOUS 155447 HAS SOUPS 154646 WITH SCORE 154985.494
AT ITER 1249 NEW BEST:: SOT 641961 SOS 339632 HAS SOPS 334152 HAS SOUS 155396 HAS SOUPS 154595 WITH SCORE 154934.632
AT ITER 1258 NEW BEST:: SOT 641949 SOS 339626 HAS SOPS 334146 HAS SOUS 155378 HAS SOUPS 154577 WITH SCORE 154916.626
AT ITER 1260 NEW BEST:: SOT 641866 SOS 340370 HAS SOPS 334916 HAS SOUS 155284 HAS SOUPS 154483 WITH SCORE 154823.37
AT ITER 1277 NEW BEST:: SOT 641787 SOS 340005 HAS SOPS 334551 HAS SOUS 155126 HAS SOUPS 154325 WITH SCORE 154665.005
AT ITER 1282 NEW BEST:: SOT 641739 SOS 339957 HAS SOPS 334503 HAS SOUS 155078 HAS SOUPS 154277 WITH SCORE 154616.957
AT ITER 1310 NEW BEST:: SOT 642342 SOS 340416 HAS SOPS 334962 HAS SOUS 154412 HAS SOUPS 153611 WITH SCORE 153951.416
AT ITER 1312 NEW BEST:: SOT 642235 SOS 340309 HAS SOPS 334842 HAS SOUS 154292 HAS SOUPS 153491 WITH SCORE 153831.309
AT ITER 1336 NEW BEST:: SOT 642227 SOS 340229 HAS SOPS 334834 HAS SOUS 154276 HAS SOUPS 153479 WITH SCORE 153819.229
AT ITER 1339 NEW BEST:: SOT 642227 SOS 340205 HAS SOPS 334810 HAS SOUS 154266 HAS SOUPS 153469 WITH SCORE 153809.205
AT ITER 1358 NEW BEST:: SOT 642191 SOS 340198 HAS SOPS 334803 HAS SOUS 154225 HAS SOUPS 153428 WITH SCORE 153768.198
AT ITER 1383 NEW BEST:: SOT 642194 SOS 340132 HAS SOPS 334737 HAS SOUS 154185 HAS SOUPS 153388 WITH SCORE 153728.132
AT ITER 1388 NEW BEST:: SOT 642369 SOS 340840 HAS SOPS 335445 HAS SOUS 154002 HAS SOUPS 153205 WITH SCORE 153545.84
AT ITER 1396 NEW BEST:: SOT 642361 SOS 340824 HAS SOPS 335429 HAS SOUS 153978 HAS SOUPS 153181 WITH SCORE 153521.824
AT ITER 1402 NEW BEST:: SOT 642355 SOS 340684 HAS SOPS 335289 HAS SOUS 153966 HAS SOUPS 153169 WITH SCORE 153509.684
AT ITER 1403 NEW BEST:: SOT 642355 SOS 340661 HAS SOPS 335266 HAS SOUS 153966 HAS SOUPS 153169 WITH SCORE 153509.661
AT ITER 1404 NEW BEST:: SOT 642396 SOS 340647 HAS SOPS 335252 HAS SOUS 153952 HAS SOUPS 153155 WITH SCORE 153495.647
AT ITER 1414 NEW BEST:: SOT 642376 SOS 340461 HAS SOPS 335066 HAS SOUS 153794 HAS SOUPS 152997 WITH SCORE 153337.461
AT ITER 1423 NEW BEST:: SOT 642348 SOS 340433 HAS SOPS 335038 HAS SOUS 153738 HAS SOUPS 152941 WITH SCORE 153281.433
AT ITER 1427 NEW BEST:: SOT 642294 SOS 340092 HAS SOPS 334697 HAS SOUS 153630 HAS SOUPS 152833 WITH SCORE 153173.092
AT ITER 1429 NEW BEST:: SOT 642355 SOS 340153 HAS SOPS 334678 HAS SOUS 153488 HAS SOUPS 152676 WITH SCORE 153016.153
AT ITER 1430 NEW BEST:: SOT 642334 SOS 340127 HAS SOPS 334652 HAS SOUS 153453 HAS SOUPS 152641 WITH SCORE 152981.127
AT ITER 1437 NEW BEST:: SOT 642374 SOS 339547 HAS SOPS 334072 HAS SOUS 153416 HAS SOUPS 152604 WITH SCORE 152943.547
AT ITER 1471 NEW BEST:: SOT 642412 SOS 339718 HAS SOPS 334243 HAS SOUS 153356 HAS SOUPS 152544 WITH SCORE 152883.718
AT ITER 1476 NEW BEST:: SOT 642004 SOS 339310 HAS SOPS 333835 HAS SOUS 153271 HAS SOUPS 152459 WITH SCORE 152798.31
AT ITER 1483 NEW BEST:: SOT 641868 SOS 339174 HAS SOPS 333699 HAS SOUS 153135 HAS SOUPS 152323 WITH SCORE 152662.174
AT ITER 1485 NEW BEST:: SOT 641868 SOS 338958 HAS SOPS 333483 HAS SOUS 153060 HAS SOUPS 152248 WITH SCORE 152586.958
AT ITER 1489 NEW BEST:: SOT 641819 SOS 338911 HAS SOPS 333436 HAS SOUS 152962 HAS SOUPS 152150 WITH SCORE 152488.911
AT ITER 1510 NEW BEST:: SOT 641743 SOS 338835 HAS SOPS 333360 HAS SOUS 152778 HAS SOUPS 151966 WITH SCORE 152304.835
AT ITER 1528 NEW BEST:: SOT 641659 SOS 338751 HAS SOPS 333276 HAS SOUS 152706 HAS SOUPS 151894 WITH SCORE 152232.751
AT ITER 1541 NEW BEST:: SOT 641659 SOS 338278 HAS SOPS 332803 HAS SOUS 152706 HAS SOUPS 151894 WITH SCORE 152232.278
AT ITER 1546 NEW BEST:: SOT 641658 SOS 338260 HAS SOPS 332785 HAS SOUS 152705 HAS SOUPS 151893 WITH SCORE 152231.26
AT ITER 1573 NEW BEST:: SOT 641682 SOS 338211 HAS SOPS 332736 HAS SOUS 152626 HAS SOUPS 151814 WITH SCORE 152152.211
AT ITER 1585 NEW BEST:: SOT 641643 SOS 338184 HAS SOPS 332709 HAS SOUS 152584 HAS SOUPS 151772 WITH SCORE 152110.184
AT ITER 1598 NEW BEST:: SOT 641570 SOS 338091 HAS SOPS 332626 HAS SOUS 152532 HAS SOUPS 151720 WITH SCORE 152058.091
AT ITER 1626 NEW BEST:: SOT 641364 SOS 337885 HAS SOPS 332420 HAS SOUS 152398 HAS SOUPS 151586 WITH SCORE 151923.885
AT ITER 1648 NEW BEST:: SOT 641354 SOS 337875 HAS SOPS 332410 HAS SOUS 152346 HAS SOUPS 151534 WITH SCORE 151871.875
AT ITER 1650 NEW BEST:: SOT 641305 SOS 337789 HAS SOPS 332324 HAS SOUS 152248 HAS SOUPS 151436 WITH SCORE 151773.789
AT ITER 1655 NEW BEST:: SOT 641305 SOS 337789 HAS SOPS 332324 HAS SOUS 152120 HAS SOUPS 151308 WITH SCORE 151645.789
AT ITER 1672 NEW BEST:: SOT 641277 SOS 337733 HAS SOPS 332254 HAS SOUS 152064 HAS SOUPS 151252 WITH SCORE 151589.733
AT ITER 1679 NEW BEST:: SOT 641343 SOS 337675 HAS SOPS 332192 HAS SOUS 151847 HAS SOUPS 151032 WITH SCORE 151369.675
AT ITER 1699 NEW BEST:: SOT 641328 SOS 337660 HAS SOPS 332177 HAS SOUS 151831 HAS SOUPS 151016 WITH SCORE 151353.66
AT ITER 1702 NEW BEST:: SOT 641248 SOS 337580 HAS SOPS 332097 HAS SOUS 151700 HAS SOUPS 150885 WITH SCORE 151222.58
AT ITER 1704 NEW BEST:: SOT 641229 SOS 337561 HAS SOPS 332040 HAS SOUS 151702 HAS SOUPS 150857 WITH SCORE 151194.561
AT ITER 1707 NEW BEST:: SOT 641201 SOS 337533 HAS SOPS 332012 HAS SOUS 151646 HAS SOUPS 150801 WITH SCORE 151138.533
AT ITER 1712 NEW BEST:: SOT 641504 SOS 337745 HAS SOPS 332224 HAS SOUS 151160 HAS SOUPS 150315 WITH SCORE 150652.745
AT ITER 1727 NEW BEST:: SOT 641406 SOS 337647 HAS SOPS 332126 HAS SOUS 151090 HAS SOUPS 150245 WITH SCORE 150582.647
AT ITER 1734 NEW BEST:: SOT 641380 SOS 337647 HAS SOPS 332126 HAS SOUS 151019 HAS SOUPS 150174 WITH SCORE 150511.647
AT ITER 1752 NEW BEST:: SOT 641458 SOS 337803 HAS SOPS 332282 HAS SOUS 151015 HAS SOUPS 150170 WITH SCORE 150507.803
AT ITER 1754 NEW BEST:: SOT 641454 SOS 337834 HAS SOPS 332313 HAS SOUS 151007 HAS SOUPS 150162 WITH SCORE 150499.834
AT ITER 1763 NEW BEST:: SOT 641453 SOS 337963 HAS SOPS 332442 HAS SOUS 151005 HAS SOUPS 150160 WITH SCORE 150497.963
AT ITER 1767 NEW BEST:: SOT 641119 SOS 337613 HAS SOPS 332092 HAS SOUS 150728 HAS SOUPS 149883 WITH SCORE 150220.613
AT ITER 1775 NEW BEST:: SOT 639464 SOS 335942 HAS SOPS 330421 HAS SOUS 150172 HAS SOUPS 149327 WITH SCORE 149662.942
AT ITER 1793 NEW BEST:: SOT 639407 SOS 335828 HAS SOPS 330307 HAS SOUS 150058 HAS SOUPS 149213 WITH SCORE 149548.828
AT ITER 1800 NEW BEST:: SOT 639257 SOS 335625 HAS SOPS 330104 HAS SOUS 149811 HAS SOUPS 148966 WITH SCORE 149301.625
AT ITER 1816 NEW BEST:: SOT 639269 SOS 335398 HAS SOPS 329877 HAS SOUS 149765 HAS SOUPS 148920 WITH SCORE 149255.398
AT ITER 1818 NEW BEST:: SOT 639221 SOS 335350 HAS SOPS 329829 HAS SOUS 149669 HAS SOUPS 148824 WITH SCORE 149159.35
AT ITER 1827 NEW BEST:: SOT 639140 SOS 335269 HAS SOPS 329748 HAS SOUS 149586 HAS SOUPS 148741 WITH SCORE 149076.269
AT ITER 1852 NEW BEST:: SOT 639037 SOS 334726 HAS SOPS 329205 HAS SOUS 149572 HAS SOUPS 148727 WITH SCORE 149061.726
AT ITER 1859 NEW BEST:: SOT 638957 SOS 334604 HAS SOPS 329083 HAS SOUS 149370 HAS SOUPS 148525 WITH SCORE 148859.604
AT ITER 1883 NEW BEST:: SOT 638946 SOS 334582 HAS SOPS 329061 HAS SOUS 149354 HAS SOUPS 148509 WITH SCORE 148843.582
AT ITER 1896 NEW BEST:: SOT 638681 SOS 334317 HAS SOPS 328796 HAS SOUS 149134 HAS SOUPS 148289 WITH SCORE 148623.317
AT ITER 1900 NEW BEST:: SOT 638489 SOS 334191 HAS SOPS 328670 HAS SOUS 148901 HAS SOUPS 148056 WITH SCORE 148390.191
AT ITER 1914 NEW BEST:: SOT 638168 SOS 333792 HAS SOPS 328271 HAS SOUS 148826 HAS SOUPS 147981 WITH SCORE 148314.792
AT ITER 1941 NEW BEST:: SOT 638141 SOS 333568 HAS SOPS 328047 HAS SOUS 148598 HAS SOUPS 147753 WITH SCORE 148086.568
AT ITER 1946 NEW BEST:: SOT 638114 SOS 319910 HAS SOPS 312970 HAS SOUS 148173 HAS SOUPS 147271 WITH SCORE 147590.91
AT ITER 1953 NEW BEST:: SOT 638057 SOS 320001 HAS SOPS 313061 HAS SOUS 148135 HAS SOUPS 147233 WITH SCORE 147553.001
AT ITER 1976 NEW BEST:: SOT 637792 SOS 319795 HAS SOPS 312855 HAS SOUS 147924 HAS SOUPS 147022 WITH SCORE 147341.795
AT ITER 1980 NEW BEST:: SOT 638790 SOS 320793 HAS SOPS 313853 HAS SOUS 147676 HAS SOUPS 146774 WITH SCORE 147094.793
AT ITER 1988 NEW BEST:: SOT 638742 SOS 320745 HAS SOPS 313805 HAS SOUS 147612 HAS SOUPS 146710 WITH SCORE 147030.745
AT ITER 1996 NEW BEST:: SOT 638727 SOS 320730 HAS SOPS 313790 HAS SOUS 147492 HAS SOUPS 146590 WITH SCORE 146910.73
AT ITER 1999 NEW BEST:: SOT 638535 SOS 320671 HAS SOPS 313731 HAS SOUS 147424 HAS SOUPS 146522 WITH SCORE 146842.671
AT ITER 2000 NEW BEST:: SOT 638560 SOS 320489 HAS SOPS 313549 HAS SOUS 147395 HAS SOUPS 146493 WITH SCORE 146813.489
AT ITER 2030 NEW BEST:: SOT 638560 SOS 320489 HAS SOPS 313549 HAS SOUS 147392 HAS SOUPS 146490 WITH SCORE 146810.489
AT ITER 2034 NEW BEST:: SOT 638540 SOS 320469 HAS SOPS 313531 HAS SOUS 147374 HAS SOUPS 146472 WITH SCORE 146792.469
AT ITER 2036 NEW BEST:: SOT 638536 SOS 320465 HAS SOPS 313527 HAS SOUS 147366 HAS SOUPS 146464 WITH SCORE 146784.465
AT ITER 2037 NEW BEST:: SOT 638493 SOS 320422 HAS SOPS 313464 HAS SOUS 147303 HAS SOUPS 146401 WITH SCORE 146721.422
AT ITER 2038 NEW BEST:: SOT 638065 SOS 320149 HAS SOPS 313191 HAS SOUS 146970 HAS SOUPS 146068 WITH SCORE 146388.149
AT ITER 2047 NEW BEST:: SOT 638045 SOS 320139 HAS SOPS 313181 HAS SOUS 146960 HAS SOUPS 146058 WITH SCORE 146378.139
AT ITER 2060 NEW BEST:: SOT 638019 SOS 320151 HAS SOPS 313193 HAS SOUS 146784 HAS SOUPS 145882 WITH SCORE 146202.151
AT ITER 2066 NEW BEST:: SOT 637778 SOS 319910 HAS SOPS 312952 HAS SOUS 145202 HAS SOUPS 144300 WITH SCORE 144619.91
AT ITER 2075 NEW BEST:: SOT 637763 SOS 319895 HAS SOPS 312937 HAS SOUS 145187 HAS SOUPS 144285 WITH SCORE 144604.895
AT ITER 2077 NEW BEST:: SOT 637683 SOS 319152 HAS SOPS 312194 HAS SOUS 145101 HAS SOUPS 144199 WITH SCORE 144518.152
AT ITER 2093 NEW BEST:: SOT 637506 SOS 318975 HAS SOPS 312017 HAS SOUS 145025 HAS SOUPS 144123 WITH SCORE 144441.975
AT ITER 2111 NEW BEST:: SOT 637284 SOS 318642 HAS SOPS 311684 HAS SOUS 144692 HAS SOUPS 143790 WITH SCORE 144108.642
AT ITER 2117 NEW BEST:: SOT 637004 SOS 318306 HAS SOPS 311348 HAS SOUS 144356 HAS SOUPS 143454 WITH SCORE 143772.306
AT ITER 2130 NEW BEST:: SOT 637028 SOS 318399 HAS SOPS 311441 HAS SOUS 144198 HAS SOUPS 143296 WITH SCORE 143614.399
AT ITER 2136 NEW BEST:: SOT 637024 SOS 318395 HAS SOPS 311437 HAS SOUS 144190 HAS SOUPS 143288 WITH SCORE 143606.395
AT ITER 2151 NEW BEST:: SOT 637025 SOS 318396 HAS SOPS 311437 HAS SOUS 144189 HAS SOUPS 143287 WITH SCORE 143605.396
AT ITER 2174 NEW BEST:: SOT 637011 SOS 318211 HAS SOPS 311252 HAS SOUS 144152 HAS SOUPS 143250 WITH SCORE 143568.211
AT ITER 2184 NEW BEST:: SOT 636984 SOS 318184 HAS SOPS 311225 HAS SOUS 144098 HAS SOUPS 143196 WITH SCORE 143514.184
AT ITER 2186 NEW BEST:: SOT 636494 SOS 317780 HAS SOPS 310821 HAS SOUS 144069 HAS SOUPS 143167 WITH SCORE 143484.78
AT ITER 2211 NEW BEST:: SOT 636445 SOS 317803 HAS SOPS 310844 HAS SOUS 143853 HAS SOUPS 142951 WITH SCORE 143268.803
AT ITER 2219 NEW BEST:: SOT 636445 SOS 317802 HAS SOPS 310843 HAS SOUS 143853 HAS SOUPS 142951 WITH SCORE 143268.802
AT ITER 2220 NEW BEST:: SOT 636445 SOS 317802 HAS SOPS 310843 HAS SOUS 143761 HAS SOUPS 142859 WITH SCORE 143176.802
AT ITER 2243 NEW BEST:: SOT 635645 SOS 317047 HAS SOPS 310088 HAS SOUS 143357 HAS SOUPS 142455 WITH SCORE 142772.047
AT ITER 2270 NEW BEST:: SOT 635683 SOS 317119 HAS SOPS 310160 HAS SOUS 143310 HAS SOUPS 142408 WITH SCORE 142725.119
AT ITER 2275 NEW BEST:: SOT 635674 SOS 317101 HAS SOPS 310142 HAS SOUS 143292 HAS SOUPS 142390 WITH SCORE 142707.101
AT ITER 2283 NEW BEST:: SOT 635650 SOS 317127 HAS SOPS 310168 HAS SOUS 143243 HAS SOUPS 142341 WITH SCORE 142658.127
AT ITER 2301 NEW BEST:: SOT 635585 SOS 318443 HAS SOPS 311484 HAS SOUS 143240 HAS SOUPS 142338 WITH SCORE 142656.443
AT ITER 2312 NEW BEST:: SOT 635540 SOS 318398 HAS SOPS 311439 HAS SOUS 143150 HAS SOUPS 142248 WITH SCORE 142566.398
AT ITER 2326 NEW BEST:: SOT 635474 SOS 318332 HAS SOPS 311373 HAS SOUS 143102 HAS SOUPS 142200 WITH SCORE 142518.332
AT ITER 2330 NEW BEST:: SOT 635253 SOS 318111 HAS SOPS 311152 HAS SOUS 142861 HAS SOUPS 141959 WITH SCORE 142277.111
AT ITER 2351 NEW BEST:: SOT 635060 SOS 317725 HAS SOPS 310766 HAS SOUS 142475 HAS SOUPS 141573 WITH SCORE 141890.725
AT ITER 2353 NEW BEST:: SOT 634390 SOS 316013 HAS SOPS 309054 HAS SOUS 141703 HAS SOUPS 140801 WITH SCORE 141117.013
AT ITER 2357 NEW BEST:: SOT 634244 SOS 315867 HAS SOPS 308908 HAS SOUS 141641 HAS SOUPS 140739 WITH SCORE 141054.867
AT ITER 2362 NEW BEST:: SOT 634224 SOS 315847 HAS SOPS 308888 HAS SOUS 141621 HAS SOUPS 140719 WITH SCORE 141034.847
AT ITER 2383 NEW BEST:: SOT 634221 SOS 315875 HAS SOPS 308916 HAS SOUS 141603 HAS SOUPS 140701 WITH SCORE 141016.875
AT ITER 2434 NEW BEST:: SOT 634065 SOS 315842 HAS SOPS 308883 HAS SOUS 141570 HAS SOUPS 140668 WITH SCORE 140983.842
AT ITER 2464 NEW BEST:: SOT 634054 SOS 315820 HAS SOPS 308861 HAS SOUS 141548 HAS SOUPS 140646 WITH SCORE 140961.82
AT ITER 2472 NEW BEST:: SOT 633866 SOS 315692 HAS SOPS 308733 HAS SOUS 141396 HAS SOUPS 140494 WITH SCORE 140809.692
AT ITER 2478 NEW BEST:: SOT 633837 SOS 315605 HAS SOPS 308646 HAS SOUS 141367 HAS SOUPS 140465 WITH SCORE 140780.605
AT ITER 2480 NEW BEST:: SOT 633834 SOS 315599 HAS SOPS 308640 HAS SOUS 141325 HAS SOUPS 140423 WITH SCORE 140738.599
AT ITER 2501 NEW BEST:: SOT 633541 SOS 315396 HAS SOPS 308437 HAS SOUS 140966 HAS SOUPS 140064 WITH SCORE 140379.396
AT ITER 2507 NEW BEST:: SOT 633569 SOS 315396 HAS SOPS 308437 HAS SOUS 140854 HAS SOUPS 139952 WITH SCORE 140267.396
AT ITER 2513 NEW BEST:: SOT 633491 SOS 314802 HAS SOPS 307843 HAS SOUS 140762 HAS SOUPS 139860 WITH SCORE 140174.802
AT ITER 2525 NEW BEST:: SOT 633589 SOS 314901 HAS SOPS 307805 HAS SOUS 140629 HAS SOUPS 139727 WITH SCORE 140041.901
AT ITER 2574 NEW BEST:: SOT 633256 SOS 314629 HAS SOPS 307533 HAS SOUS 140279 HAS SOUPS 139377 WITH SCORE 139691.629
AT ITER 2576 NEW BEST:: SOT 632324 SOS 313651 HAS SOPS 306555 HAS SOUS 139785 HAS SOUPS 138883 WITH SCORE 139196.651
AT ITER 2595 NEW BEST:: SOT 632335 SOS 313557 HAS SOPS 306461 HAS SOUS 139691 HAS SOUPS 138789 WITH SCORE 139102.557
AT ITER 2604 NEW BEST:: SOT 632097 SOS 313319 HAS SOPS 306223 HAS SOUS 139413 HAS SOUPS 138511 WITH SCORE 138824.319
AT ITER 2616 NEW BEST:: SOT 632095 SOS 313317 HAS SOPS 306176 HAS SOUS 139364 HAS SOUPS 138462 WITH SCORE 138775.317
AT ITER 2630 NEW BEST:: SOT 632108 SOS 313330 HAS SOPS 306189 HAS SOUS 139333 HAS SOUPS 138431 WITH SCORE 138744.33
AT ITER 2632 NEW BEST:: SOT 632026 SOS 313248 HAS SOPS 306107 HAS SOUS 139176 HAS SOUPS 138274 WITH SCORE 138587.248
AT ITER 2658 NEW BEST:: SOT 631825 SOS 313047 HAS SOPS 305906 HAS SOUS 138774 HAS SOUPS 137872 WITH SCORE 138185.047
AT ITER 2674 NEW BEST:: SOT 631765 SOS 313069 HAS SOPS 306027 HAS SOUS 138769 HAS SOUPS 137867 WITH SCORE 138180.069
AT ITER 2692 NEW BEST:: SOT 631833 SOS 313137 HAS SOPS 306093 HAS SOUS 138727 HAS SOUPS 137825 WITH SCORE 138138.137
AT ITER 2707 NEW BEST:: SOT 631819 SOS 313190 HAS SOPS 306146 HAS SOUS 138713 HAS SOUPS 137811 WITH SCORE 138124.19
AT ITER 2732 NEW BEST:: SOT 631567 SOS 313029 HAS SOPS 305985 HAS SOUS 138552 HAS SOUPS 137650 WITH SCORE 137963.029
AT ITER 2742 NEW BEST:: SOT 631587 SOS 313049 HAS SOPS 306004 HAS SOUS 138508 HAS SOUPS 137606 WITH SCORE 137919.049
AT ITER 2836 NEW BEST:: SOT 631586 SOS 313029 HAS SOPS 305984 HAS SOUS 138507 HAS SOUPS 137605 WITH SCORE 137918.029
AT ITER 2838 NEW BEST:: SOT 631586 SOS 313016 HAS SOPS 305971 HAS SOUS 138494 HAS SOUPS 137592 WITH SCORE 137905.016
AT ITER 2881 NEW BEST:: SOT 632552 SOS 314478 HAS SOPS 307433 HAS SOUS 137365 HAS SOUPS 136463 WITH SCORE 136777.478
AT ITER 2884 NEW BEST:: SOT 632295 SOS 314093 HAS SOPS 307048 HAS SOUS 137044 HAS SOUPS 136142 WITH SCORE 136456.093
AT ITER 2885 NEW BEST:: SOT 632295 SOS 314089 HAS SOPS 307044 HAS SOUS 137040 HAS SOUPS 136138 WITH SCORE 136452.089
AT ITER 2891 NEW BEST:: SOT 632106 SOS 313567 HAS SOPS 306522 HAS SOUS 136773 HAS SOUPS 135871 WITH SCORE 136184.567
AT ITER 2896 NEW BEST:: SOT 632097 SOS 313558 HAS SOPS 306513 HAS SOUS 136764 HAS SOUPS 135862 WITH SCORE 136175.558
AT ITER 2914 NEW BEST:: SOT 631950 SOS 312854 HAS SOPS 305809 HAS SOUS 136532 HAS SOUPS 135630 WITH SCORE 135942.854
AT ITER 2925 NEW BEST:: SOT 632112 SOS 312971 HAS SOPS 305926 HAS SOUS 136233 HAS SOUPS 135331 WITH SCORE 135643.971
AT ITER 2926 NEW BEST:: SOT 632110 SOS 312973 HAS SOPS 305930 HAS SOUS 136227 HAS SOUPS 135325 WITH SCORE 135637.973
AT ITER 2963 NEW BEST:: SOT 632016 SOS 312882 HAS SOPS 305839 HAS SOUS 135884 HAS SOUPS 134982 WITH SCORE 135294.882
AT ITER 2985 NEW BEST:: SOT 631990 SOS 312830 HAS SOPS 305787 HAS SOUS 135833 HAS SOUPS 134931 WITH SCORE 135243.83
AT ITER 2990 NEW BEST:: SOT 632132 SOS 312942 HAS SOPS 305899 HAS SOUS 135324 HAS SOUPS 134422 WITH SCORE 134734.942
AT ITER 3000 NEW BEST:: SOT 632131 SOS 312891 HAS SOPS 305799 HAS SOUS 135273 HAS SOUPS 134371 WITH SCORE 134683.891
AT ITER 3009 NEW BEST:: SOT 632131 SOS 312940 HAS SOPS 305848 HAS SOUS 135266 HAS SOUPS 134364 WITH SCORE 134676.94
AT ITER 3022 NEW BEST:: SOT 632037 SOS 312895 HAS SOPS 305803 HAS SOUS 135162 HAS SOUPS 134260 WITH SCORE 134572.895
AT ITER 3027 NEW BEST:: SOT 631883 SOS 312741 HAS SOPS 305649 HAS SOUS 134879 HAS SOUPS 133977 WITH SCORE 134289.741
AT ITER 3044 NEW BEST:: SOT 631852 SOS 312710 HAS SOPS 305618 HAS SOUS 134817 HAS SOUPS 133915 WITH SCORE 134227.71
AT ITER 3080 NEW BEST:: SOT 631852 SOS 312710 HAS SOPS 305618 HAS SOUS 134807 HAS SOUPS 133905 WITH SCORE 134217.71
AT ITER 3086 NEW BEST:: SOT 631693 SOS 310939 HAS SOPS 303847 HAS SOUS 134411 HAS SOUPS 133509 WITH SCORE 133819.939
AT ITER 3094 NEW BEST:: SOT 631418 SOS 310603 HAS SOPS 303511 HAS SOUS 134213 HAS SOUPS 133311 WITH SCORE 133621.603
AT ITER 3102 NEW BEST:: SOT 631349 SOS 310525 HAS SOPS 303433 HAS SOUS 134194 HAS SOUPS 133292 WITH SCORE 133602.525
AT ITER 3119 NEW BEST:: SOT 631287 SOS 310759 HAS SOPS 303667 HAS SOUS 134160 HAS SOUPS 133258 WITH SCORE 133568.759
AT ITER 3121 NEW BEST:: SOT 631248 SOS 310612 HAS SOPS 303520 HAS SOUS 134081 HAS SOUPS 133179 WITH SCORE 133489.612
AT ITER 3129 NEW BEST:: SOT 631107 SOS 310450 HAS SOPS 303358 HAS SOUS 134047 HAS SOUPS 133145 WITH SCORE 133455.45
AT ITER 3136 NEW BEST:: SOT 631093 SOS 310436 HAS SOPS 303344 HAS SOUS 134006 HAS SOUPS 133104 WITH SCORE 133414.436
AT ITER 3157 NEW BEST:: SOT 630728 SOS 310081 HAS SOPS 302989 HAS SOUS 133938 HAS SOUPS 133036 WITH SCORE 133346.081
AT ITER 3160 NEW BEST:: SOT 630744 SOS 310097 HAS SOPS 303005 HAS SOUS 133924 HAS SOUPS 133022 WITH SCORE 133332.097
AT ITER 3169 NEW BEST:: SOT 630737 SOS 310074 HAS SOPS 302982 HAS SOUS 133901 HAS SOUPS 132999 WITH SCORE 133309.074
AT ITER 3172 NEW BEST:: SOT 630761 SOS 310098 HAS SOPS 303006 HAS SOUS 133838 HAS SOUPS 132936 WITH SCORE 133246.098
AT ITER 3181 NEW BEST:: SOT 630761 SOS 309776 HAS SOPS 302684 HAS SOUS 133838 HAS SOUPS 132936 WITH SCORE 133245.776
AT ITER 3185 NEW BEST:: SOT 630768 SOS 309753 HAS SOPS 302661 HAS SOUS 133762 HAS SOUPS 132860 WITH SCORE 133169.753
AT ITER 3192 NEW BEST:: SOT 630642 SOS 309543 HAS SOPS 302451 HAS SOUS 133552 HAS SOUPS 132650 WITH SCORE 132959.543
AT ITER 3199 NEW BEST:: SOT 630606 SOS 309471 HAS SOPS 302379 HAS SOUS 133480 HAS SOUPS 132578 WITH SCORE 132887.471
AT ITER 3226 NEW BEST:: SOT 630568 SOS 309415 HAS SOPS 302323 HAS SOUS 133401 HAS SOUPS 132499 WITH SCORE 132808.415
AT ITER 3247 NEW BEST:: SOT 630601 SOS 309328 HAS SOPS 302236 HAS SOUS 133314 HAS SOUPS 132412 WITH SCORE 132721.328
AT ITER 3252 NEW BEST:: SOT 630565 SOS 309281 HAS SOPS 302189 HAS SOUS 133267 HAS SOUPS 132365 WITH SCORE 132674.281
AT ITER 3256 NEW BEST:: SOT 628232 SOS 306948 HAS SOPS 299856 HAS SOUS 132841 HAS SOUPS 131939 WITH SCORE 132245.948
AT ITER 3298 NEW BEST:: SOT 628229 SOS 306951 HAS SOPS 299859 HAS SOUS 132835 HAS SOUPS 131933 WITH SCORE 132239.951
AT ITER 3306 NEW BEST:: SOT 628209 SOS 306931 HAS SOPS 299839 HAS SOUS 132815 HAS SOUPS 131913 WITH SCORE 132219.931
AT ITER 3315 NEW BEST:: SOT 628024 SOS 306913 HAS SOPS 299822 HAS SOUS 132813 HAS SOUPS 131911 WITH SCORE 132217.913
AT ITER 3320 NEW BEST:: SOT 627940 SOS 306479 HAS SOPS 299388 HAS SOUS 132720 HAS SOUPS 131818 WITH SCORE 132124.479
AT ITER 3326 NEW BEST:: SOT 627931 SOS 306470 HAS SOPS 299379 HAS SOUS 132711 HAS SOUPS 131809 WITH SCORE 132115.47
AT ITER 3328 NEW BEST:: SOT 627839 SOS 306378 HAS SOPS 299287 HAS SOUS 132613 HAS SOUPS 131711 WITH SCORE 132017.378
AT ITER 3355 NEW BEST:: SOT 627683 SOS 306222 HAS SOPS 299131 HAS SOUS 132379 HAS SOUPS 131477 WITH SCORE 131783.222
AT ITER 3380 NEW BEST:: SOT 627680 SOS 306216 HAS SOPS 299125 HAS SOUS 132373 HAS SOUPS 131471 WITH SCORE 131777.216
AT ITER 3402 NEW BEST:: SOT 627670 SOS 306206 HAS SOPS 299051 HAS SOUS 132225 HAS SOUPS 131310 WITH SCORE 131616.206
AT ITER 3425 NEW BEST:: SOT 627754 SOS 306230 HAS SOPS 299075 HAS SOUS 131673 HAS SOUPS 130758 WITH SCORE 131064.23
AT ITER 3427 NEW BEST:: SOT 627694 SOS 306522 HAS SOPS 299389 HAS SOUS 131563 HAS SOUPS 130648 WITH SCORE 130954.522
AT ITER 3434 NEW BEST:: SOT 627511 SOS 306330 HAS SOPS 299197 HAS SOUS 131467 HAS SOUPS 130552 WITH SCORE 130858.33
AT ITER 3451 NEW BEST:: SOT 627511 SOS 305901 HAS SOPS 298768 HAS SOUS 131467 HAS SOUPS 130552 WITH SCORE 130857.901
AT ITER 3468 NEW BEST:: SOT 627504 SOS 305900 HAS SOPS 298767 HAS SOUS 131463 HAS SOUPS 130548 WITH SCORE 130853.9
AT ITER 3471 NEW BEST:: SOT 627468 SOS 305828 HAS SOPS 298695 HAS SOUS 131391 HAS SOUPS 130476 WITH SCORE 130781.828
AT ITER 3497 NEW BEST:: SOT 627460 SOS 305820 HAS SOPS 298687 HAS SOUS 131306 HAS SOUPS 130391 WITH SCORE 130696.82
AT ITER 3515 NEW BEST:: SOT 627424 SOS 305793 HAS SOPS 298660 HAS SOUS 131243 HAS SOUPS 130328 WITH SCORE 130633.793
AT ITER 3528 NEW BEST:: SOT 627331 SOS 305700 HAS SOPS 298567 HAS SOUS 131155 HAS SOUPS 130240 WITH SCORE 130545.7
AT ITER 3561 NEW BEST:: SOT 627308 SOS 305654 HAS SOPS 298521 HAS SOUS 131109 HAS SOUPS 130194 WITH SCORE 130499.654
AT ITER 3569 NEW BEST:: SOT 627326 SOS 305672 HAS SOPS 298551 HAS SOUS 131073 HAS SOUPS 130158 WITH SCORE 130463.672
AT ITER 3628 NEW BEST:: SOT 627044 SOS 305440 HAS SOPS 298319 HAS SOUS 131043 HAS SOUPS 130128 WITH SCORE 130433.44
AT ITER 3629 NEW BEST:: SOT 627120 SOS 305516 HAS SOPS 298395 HAS SOUS 130631 HAS SOUPS 129716 WITH SCORE 130021.516
AT ITER 3643 NEW BEST:: SOT 627135 SOS 305537 HAS SOPS 298416 HAS SOUS 130622 HAS SOUPS 129707 WITH SCORE 130012.537
AT ITER 3649 NEW BEST:: SOT 627130 SOS 305527 HAS SOPS 298406 HAS SOUS 130612 HAS SOUPS 129697 WITH SCORE 130002.527
AT ITER 3651 NEW BEST:: SOT 627041 SOS 305431 HAS SOPS 298310 HAS SOUS 130564 HAS SOUPS 129649 WITH SCORE 129954.431
AT ITER 3682 NEW BEST:: SOT 624383 SOS 302707 HAS SOPS 295435 HAS SOUS 129423 HAS SOUPS 128508 WITH SCORE 128810.707
AT ITER 3713 NEW BEST:: SOT 624258 SOS 302583 HAS SOPS 295311 HAS SOUS 129320 HAS SOUPS 128405 WITH SCORE 128707.583
AT ITER 3717 NEW BEST:: SOT 623899 SOS 302393 HAS SOPS 295121 HAS SOUS 129029 HAS SOUPS 128114 WITH SCORE 128416.393
AT ITER 3764 NEW BEST:: SOT 623749 SOS 302243 HAS SOPS 294800 HAS SOUS 129016 HAS SOUPS 127897 WITH SCORE 128199.243
AT ITER 3773 NEW BEST:: SOT 623524 SOS 301775 HAS SOPS 294332 HAS SOUS 128848 HAS SOUPS 127729 WITH SCORE 128030.775
AT ITER 3776 NEW BEST:: SOT 623508 SOS 301759 HAS SOPS 294316 HAS SOUS 128824 HAS SOUPS 127705 WITH SCORE 128006.759
AT ITER 3798 NEW BEST:: SOT 623343 SOS 301594 HAS SOPS 294151 HAS SOUS 128549 HAS SOUPS 127430 WITH SCORE 127731.594
AT ITER 3801 NEW BEST:: SOT 623338 SOS 301589 HAS SOPS 294146 HAS SOUS 128539 HAS SOUPS 127420 WITH SCORE 127721.589
AT ITER 3809 NEW BEST:: SOT 623230 SOS 301155 HAS SOPS 293712 HAS SOUS 128415 HAS SOUPS 127296 WITH SCORE 127597.155
AT ITER 3822 NEW BEST:: SOT 623698 SOS 301528 HAS SOPS 294085 HAS SOUS 128211 HAS SOUPS 127092 WITH SCORE 127393.528
AT ITER 3849 NEW BEST:: SOT 623676 SOS 301484 HAS SOPS 294041 HAS SOUS 128189 HAS SOUPS 127070 WITH SCORE 127371.484
AT ITER 3857 NEW BEST:: SOT 623611 SOS 301393 HAS SOPS 293950 HAS SOUS 128144 HAS SOUPS 127025 WITH SCORE 127326.393
AT ITER 3858 NEW BEST:: SOT 622997 SOS 300779 HAS SOPS 293336 HAS SOUS 127628 HAS SOUPS 126509 WITH SCORE 126809.779
AT ITER 3877 NEW BEST:: SOT 622998 SOS 300778 HAS SOPS 293335 HAS SOUS 127608 HAS SOUPS 126489 WITH SCORE 126789.778
AT ITER 3903 NEW BEST:: SOT 622985 SOS 300765 HAS SOPS 293322 HAS SOUS 127582 HAS SOUPS 126463 WITH SCORE 126763.765
AT ITER 3905 NEW BEST:: SOT 622872 SOS 300652 HAS SOPS 293209 HAS SOUS 127224 HAS SOUPS 126105 WITH SCORE 126405.652
AT ITER 3911 NEW BEST:: SOT 622884 SOS 300786 HAS SOPS 293343 HAS SOUS 127128 HAS SOUPS 126009 WITH SCORE 126309.786
AT ITER 3925 NEW BEST:: SOT 622892 SOS 301230 HAS SOPS 293787 HAS SOUS 127110 HAS SOUPS 125991 WITH SCORE 126292.23
AT ITER 3942 NEW BEST:: SOT 622871 SOS 301209 HAS SOPS 293766 HAS SOUS 127038 HAS SOUPS 125919 WITH SCORE 126220.209
AT ITER 3944 NEW BEST:: SOT 622608 SOS 300946 HAS SOPS 293503 HAS SOUS 127023 HAS SOUPS 125904 WITH SCORE 126204.946
AT ITER 3951 NEW BEST:: SOT 622584 SOS 300895 HAS SOPS 293452 HAS SOUS 126996 HAS SOUPS 125877 WITH SCORE 126177.895
AT ITER 3965 NEW BEST:: SOT 622714 SOS 300870 HAS SOPS 293364 HAS SOUS 126931 HAS SOUPS 125812 WITH SCORE 126112.87
AT ITER 3996 NEW BEST:: SOT 622701 SOS 300857 HAS SOPS 293351 HAS SOUS 126846 HAS SOUPS 125727 WITH SCORE 126027.857
AT ITER 4015 NEW BEST:: SOT 622487 SOS 300643 HAS SOPS 293137 HAS SOUS 126525 HAS SOUPS 125406 WITH SCORE 125706.643
AT ITER 4028 NEW BEST:: SOT 622440 SOS 300570 HAS SOPS 293064 HAS SOUS 126431 HAS SOUPS 125312 WITH SCORE 125612.57
AT ITER 4051 NEW BEST:: SOT 622379 SOS 300404 HAS SOPS 292898 HAS SOUS 126342 HAS SOUPS 125223 WITH SCORE 125523.404
AT ITER 4054 NEW BEST:: SOT 622114 SOS 300139 HAS SOPS 292633 HAS SOUS 125813 HAS SOUPS 124694 WITH SCORE 124994.139
AT ITER 4067 NEW BEST:: SOT 621906 SOS 299709 HAS SOPS 292203 HAS SOUS 125508 HAS SOUPS 124389 WITH SCORE 124688.709
AT ITER 4068 NEW BEST:: SOT 621868 SOS 299671 HAS SOPS 292165 HAS SOUS 125348 HAS SOUPS 124229 WITH SCORE 124528.671
AT ITER 4069 NEW BEST:: SOT 621813 SOS 299671 HAS SOPS 292165 HAS SOUS 125183 HAS SOUPS 124064 WITH SCORE 124363.671
AT ITER 4070 NEW BEST:: SOT 621777 SOS 299635 HAS SOPS 292129 HAS SOUS 125139 HAS SOUPS 124020 WITH SCORE 124319.635
AT ITER 4089 NEW BEST:: SOT 621758 SOS 299616 HAS SOPS 292110 HAS SOUS 125068 HAS SOUPS 123949 WITH SCORE 124248.616
AT ITER 4101 NEW BEST:: SOT 621688 SOS 299527 HAS SOPS 289641 HAS SOUS 125243 HAS SOUPS 123886 WITH SCORE 124185.527
AT ITER 4104 NEW BEST:: SOT 621654 SOS 299460 HAS SOPS 289574 HAS SOUS 125237 HAS SOUPS 123880 WITH SCORE 124179.46
AT ITER 4120 NEW BEST:: SOT 621553 SOS 299359 HAS SOPS 289473 HAS SOUS 125181 HAS SOUPS 123824 WITH SCORE 124123.359
AT ITER 4147 NEW BEST:: SOT 621538 SOS 299329 HAS SOPS 289443 HAS SOUS 125151 HAS SOUPS 123794 WITH SCORE 124093.329
AT ITER 4163 NEW BEST:: SOT 621513 SOS 299304 HAS SOPS 289418 HAS SOUS 125023 HAS SOUPS 123666 WITH SCORE 123965.304
AT ITER 4169 NEW BEST:: SOT 621424 SOS 299143 HAS SOPS 289257 HAS SOUS 124963 HAS SOUPS 123606 WITH SCORE 123905.143
AT ITER 4184 NEW BEST:: SOT 621416 SOS 299127 HAS SOPS 289241 HAS SOUS 124961 HAS SOUPS 123604 WITH SCORE 123903.127
AT ITER 4198 NEW BEST:: SOT 621441 SOS 299152 HAS SOPS 289266 HAS SOUS 124948 HAS SOUPS 123591 WITH SCORE 123890.152
AT ITER 4207 NEW BEST:: SOT 621216 SOS 298901 HAS SOPS 289015 HAS SOUS 124609 HAS SOUPS 123252 WITH SCORE 123550.901
AT ITER 4215 NEW BEST:: SOT 621112 SOS 298823 HAS SOPS 288937 HAS SOUS 124427 HAS SOUPS 123070 WITH SCORE 123368.823
AT ITER 4224 NEW BEST:: SOT 621112 SOS 298823 HAS SOPS 288937 HAS SOUS 124419 HAS SOUPS 123062 WITH SCORE 123360.823
AT ITER 4226 NEW BEST:: SOT 621076 SOS 298387 HAS SOPS 288501 HAS SOUS 124346 HAS SOUPS 122989 WITH SCORE 123287.387
AT ITER 4257 NEW BEST:: SOT 621073 SOS 298384 HAS SOPS 288498 HAS SOUS 124314 HAS SOUPS 122957 WITH SCORE 123255.384
AT ITER 4282 NEW BEST:: SOT 621073 SOS 298384 HAS SOPS 288498 HAS SOUS 124279 HAS SOUPS 122922 WITH SCORE 123220.384
AT ITER 4312 NEW BEST:: SOT 621059 SOS 298370 HAS SOPS 288484 HAS SOUS 124265 HAS SOUPS 122908 WITH SCORE 123206.37
AT ITER 4324 NEW BEST:: SOT 621018 SOS 298323 HAS SOPS 288437 HAS SOUS 124183 HAS SOUPS 122826 WITH SCORE 123124.323
AT ITER 4349 NEW BEST:: SOT 621000 SOS 298305 HAS SOPS 288419 HAS SOUS 124147 HAS SOUPS 122790 WITH SCORE 123088.305
AT ITER 4353 NEW BEST:: SOT 620956 SOS 298132 HAS SOPS 288246 HAS SOUS 124090 HAS SOUPS 122733 WITH SCORE 123031.132
AT ITER 4381 NEW BEST:: SOT 620866 SOS 297996 HAS SOPS 288110 HAS SOUS 123896 HAS SOUPS 122539 WITH SCORE 122836.996
AT ITER 4393 NEW BEST:: SOT 620866 SOS 298308 HAS SOPS 288422 HAS SOUS 123703 HAS SOUPS 122346 WITH SCORE 122644.308
AT ITER 4413 NEW BEST:: SOT 620830 SOS 298272 HAS SOPS 288386 HAS SOUS 123631 HAS SOUPS 122274 WITH SCORE 122572.272
AT ITER 4421 NEW BEST:: SOT 623597 SOS 301204 HAS SOPS 291318 HAS SOUS 123589 HAS SOUPS 122232 WITH SCORE 122533.204
AT ITER 4422 NEW BEST:: SOT 623589 SOS 301196 HAS SOPS 291310 HAS SOUS 123585 HAS SOUPS 122228 WITH SCORE 122529.196
AT ITER 4444 NEW BEST:: SOT 623589 SOS 301196 HAS SOPS 291310 HAS SOUS 123556 HAS SOUPS 122199 WITH SCORE 122500.196
AT ITER 4464 NEW BEST:: SOT 623586 SOS 301193 HAS SOPS 291288 HAS SOUS 123550 HAS SOUPS 122193 WITH SCORE 122494.193
AT ITER 4468 NEW BEST:: SOT 623586 SOS 300688 HAS SOPS 290783 HAS SOUS 123522 HAS SOUPS 122165 WITH SCORE 122465.688
AT ITER 4471 NEW BEST:: SOT 623586 SOS 300048 HAS SOPS 290143 HAS SOUS 123522 HAS SOUPS 122165 WITH SCORE 122465.048
AT ITER 4478 NEW BEST:: SOT 623584 SOS 300046 HAS SOPS 290139 HAS SOUS 123518 HAS SOUPS 122161 WITH SCORE 122461.046
AT ITER 4490 NEW BEST:: SOT 623565 SOS 300027 HAS SOPS 290101 HAS SOUS 123480 HAS SOUPS 122123 WITH SCORE 122423.027
AT ITER 4513 NEW BEST:: SOT 623543 SOS 300005 HAS SOPS 290079 HAS SOUS 123436 HAS SOUPS 122079 WITH SCORE 122379.005
AT ITER 4530 NEW BEST:: SOT 623543 SOS 299891 HAS SOPS 289965 HAS SOUS 123436 HAS SOUPS 122079 WITH SCORE 122378.891
AT ITER 4532 NEW BEST:: SOT 623804 SOS 298794 HAS SOPS 288868 HAS SOUS 122897 HAS SOUPS 121540 WITH SCORE 121838.794
AT ITER 4536 NEW BEST:: SOT 623825 SOS 298815 HAS SOPS 288889 HAS SOUS 122848 HAS SOUPS 121491 WITH SCORE 121789.815
AT ITER 4569 NEW BEST:: SOT 623657 SOS 298603 HAS SOPS 288677 HAS SOUS 122629 HAS SOUPS 121272 WITH SCORE 121570.603
AT ITER 4573 NEW BEST:: SOT 623652 SOS 298598 HAS SOPS 288672 HAS SOUS 122619 HAS SOUPS 121262 WITH SCORE 121560.598
AT ITER 4592 NEW BEST:: SOT 623531 SOS 298356 HAS SOPS 288430 HAS SOUS 122377 HAS SOUPS 121020 WITH SCORE 121318.356
AT ITER 4608 NEW BEST:: SOT 623489 SOS 298314 HAS SOPS 288367 HAS SOUS 122293 HAS SOUPS 120936 WITH SCORE 121234.314
AT ITER 4620 NEW BEST:: SOT 623414 SOS 298239 HAS SOPS 288235 HAS SOUS 122121 HAS SOUPS 120764 WITH SCORE 121062.239
AT ITER 4640 NEW BEST:: SOT 623408 SOS 299105 HAS SOPS 288994 HAS SOUS 122033 HAS SOUPS 120676 WITH SCORE 120975.105
AT ITER 4663 NEW BEST:: SOT 622970 SOS 298667 HAS SOPS 288556 HAS SOUS 121649 HAS SOUPS 120292 WITH SCORE 120590.667
AT ITER 4668 NEW BEST:: SOT 622974 SOS 299309 HAS SOPS 289162 HAS SOUS 121611 HAS SOUPS 120254 WITH SCORE 120553.309
AT ITER 4711 NEW BEST:: SOT 622960 SOS 299239 HAS SOPS 289092 HAS SOUS 121583 HAS SOUPS 120226 WITH SCORE 120525.239
AT ITER 4715 NEW BEST:: SOT 620251 SOS 296530 HAS SOPS 286383 HAS SOUS 121011 HAS SOUPS 119654 WITH SCORE 119950.53
AT ITER 4716 NEW BEST:: SOT 620284 SOS 296435 HAS SOPS 286288 HAS SOUS 120868 HAS SOUPS 119511 WITH SCORE 119807.435
AT ITER 4727 NEW BEST:: SOT 620257 SOS 296408 HAS SOPS 286261 HAS SOUS 120814 HAS SOUPS 119457 WITH SCORE 119753.408
AT ITER 4736 NEW BEST:: SOT 620250 SOS 296394 HAS SOPS 286247 HAS SOUS 120800 HAS SOUPS 119443 WITH SCORE 119739.394
AT ITER 4760 NEW BEST:: SOT 620249 SOS 296393 HAS SOPS 286246 HAS SOUS 120798 HAS SOUPS 119441 WITH SCORE 119737.393
AT ITER 4776 NEW BEST:: SOT 620140 SOS 296198 HAS SOPS 286051 HAS SOUS 120666 HAS SOUPS 119309 WITH SCORE 119605.198
AT ITER 4779 NEW BEST:: SOT 620632 SOS 296689 HAS SOPS 286542 HAS SOUS 120559 HAS SOUPS 119202 WITH SCORE 119498.689
AT ITER 4815 NEW BEST:: SOT 620306 SOS 296510 HAS SOPS 286363 HAS SOUS 120462 HAS SOUPS 119105 WITH SCORE 119401.51
AT ITER 4829 NEW BEST:: SOT 620027 SOS 295821 HAS SOPS 285674 HAS SOUS 120303 HAS SOUPS 118946 WITH SCORE 119241.821
AT ITER 4837 NEW BEST:: SOT 619962 SOS 296017 HAS SOPS 285873 HAS SOUS 120282 HAS SOUPS 118925 WITH SCORE 119221.017
AT ITER 4853 NEW BEST:: SOT 619884 SOS 295939 HAS SOPS 285795 HAS SOUS 120144 HAS SOUPS 118787 WITH SCORE 119082.939
AT ITER 4888 NEW BEST:: SOT 619884 SOS 295931 HAS SOPS 285787 HAS SOUS 120144 HAS SOUPS 118787 WITH SCORE 119082.931
AT ITER 4905 NEW BEST:: SOT 619881 SOS 295924 HAS SOPS 285780 HAS SOUS 120137 HAS SOUPS 118780 WITH SCORE 119075.924
AT ITER 4906 NEW BEST:: SOT 619687 SOS 295698 HAS SOPS 285554 HAS SOUS 120069 HAS SOUPS 118712 WITH SCORE 119007.698
AT ITER 4917 NEW BEST:: SOT 619687 SOS 295482 HAS SOPS 285338 HAS SOUS 120059 HAS SOUPS 118702 WITH SCORE 118997.482
AT ITER 4921 NEW BEST:: SOT 619607 SOS 295228 HAS SOPS 285084 HAS SOUS 119863 HAS SOUPS 118506 WITH SCORE 118801.228
AT ITER 4939 NEW BEST:: SOT 619525 SOS 295162 HAS SOPS 284986 HAS SOUS 119877 HAS SOUPS 118504 WITH SCORE 118799.162
AT ITER 4952 NEW BEST:: SOT 619449 SOS 295002 HAS SOPS 284826 HAS SOUS 119826 HAS SOUPS 118453 WITH SCORE 118748.002
AT ITER 4958 NEW BEST:: SOT 619469 SOS 295033 HAS SOPS 284857 HAS SOUS 119762 HAS SOUPS 118389 WITH SCORE 118684.033
AT ITER 4976 NEW BEST:: SOT 619466 SOS 295030 HAS SOPS 284854 HAS SOUS 119759 HAS SOUPS 118386 WITH SCORE 118681.03
AT ITER 4996 NEW BEST:: SOT 619441 SOS 294970 HAS SOPS 284794 HAS SOUS 119709 HAS SOUPS 118336 WITH SCORE 118630.97
AT ITER 5006 NEW BEST:: SOT 619369 SOS 294898 HAS SOPS 284722 HAS SOUS 119565 HAS SOUPS 118192 WITH SCORE 118486.898
AT ITER 5039 NEW BEST:: SOT 619359 SOS 294888 HAS SOPS 284681 HAS SOUS 119545 HAS SOUPS 118172 WITH SCORE 118466.888
AT ITER 5055 NEW BEST:: SOT 619331 SOS 294860 HAS SOPS 284653 HAS SOUS 119517 HAS SOUPS 118144 WITH SCORE 118438.86
AT ITER 5080 NEW BEST:: SOT 619267 SOS 294773 HAS SOPS 284566 HAS SOUS 119428 HAS SOUPS 118055 WITH SCORE 118349.773
AT ITER 5089 NEW BEST:: SOT 619237 SOS 294713 HAS SOPS 284506 HAS SOUS 119409 HAS SOUPS 118036 WITH SCORE 118330.713
AT ITER 5108 NEW BEST:: SOT 619151 SOS 294469 HAS SOPS 284262 HAS SOUS 119395 HAS SOUPS 118022 WITH SCORE 118316.469
AT ITER 5132 NEW BEST:: SOT 619093 SOS 293934 HAS SOPS 283727 HAS SOUS 119348 HAS SOUPS 117975 WITH SCORE 118268.934
AT ITER 5187 NEW BEST:: SOT 619101 SOS 293942 HAS SOPS 283725 HAS SOUS 119349 HAS SOUPS 117966 WITH SCORE 118259.942
AT ITER 5194 NEW BEST:: SOT 619095 SOS 293936 HAS SOPS 283719 HAS SOUS 119337 HAS SOUPS 117954 WITH SCORE 118247.936
AT ITER 5209 NEW BEST:: SOT 618963 SOS 293804 HAS SOPS 283587 HAS SOUS 119164 HAS SOUPS 117781 WITH SCORE 118074.804
AT ITER 5210 NEW BEST:: SOT 618955 SOS 293796 HAS SOPS 283579 HAS SOUS 119148 HAS SOUPS 117765 WITH SCORE 118058.796
AT ITER 5214 NEW BEST:: SOT 618943 SOS 293784 HAS SOPS 283567 HAS SOUS 119124 HAS SOUPS 117741 WITH SCORE 118034.784
AT ITER 5257 NEW BEST:: SOT 618936 SOS 293770 HAS SOPS 283553 HAS SOUS 119110 HAS SOUPS 117727 WITH SCORE 118020.77
AT ITER 5281 NEW BEST:: SOT 618942 SOS 293806 HAS SOPS 283589 HAS SOUS 119098 HAS SOUPS 117715 WITH SCORE 118008.806
AT ITER 5301 NEW BEST:: SOT 618500 SOS 293068 HAS SOPS 282851 HAS SOUS 118360 HAS SOUPS 116977 WITH SCORE 117270.068
AT ITER 5311 NEW BEST:: SOT 618257 SOS 292871 HAS SOPS 282654 HAS SOUS 118102 HAS SOUPS 116719 WITH SCORE 117011.871
AT ITER 5336 NEW BEST:: SOT 618203 SOS 292817 HAS SOPS 282600 HAS SOUS 118066 HAS SOUPS 116683 WITH SCORE 116975.817
AT ITER 5345 NEW BEST:: SOT 618203 SOS 292817 HAS SOPS 282600 HAS SOUS 118056 HAS SOUPS 116673 WITH SCORE 116965.817
AT ITER 5350 NEW BEST:: SOT 616353 SOS 290967 HAS SOPS 280750 HAS SOUS 117374 HAS SOUPS 115991 WITH SCORE 116281.967
AT ITER 5367 NEW BEST:: SOT 616286 SOS 290956 HAS SOPS 280739 HAS SOUS 117234 HAS SOUPS 115851 WITH SCORE 116141.956
AT ITER 5388 NEW BEST:: SOT 616272 SOS 290942 HAS SOPS 280725 HAS SOUS 117220 HAS SOUPS 115837 WITH SCORE 116127.942
AT ITER 5410 NEW BEST:: SOT 616177 SOS 290752 HAS SOPS 280535 HAS SOUS 117030 HAS SOUPS 115647 WITH SCORE 115937.752
AT ITER 5427 NEW BEST:: SOT 616174 SOS 290746 HAS SOPS 280529 HAS SOUS 117024 HAS SOUPS 115641 WITH SCORE 115931.746
AT ITER 5428 NEW BEST:: SOT 616172 SOS 290742 HAS SOPS 280525 HAS SOUS 117020 HAS SOUPS 115637 WITH SCORE 115927.742
AT ITER 5455 NEW BEST:: SOT 616147 SOS 290692 HAS SOPS 280475 HAS SOUS 116945 HAS SOUPS 115562 WITH SCORE 115852.692
AT ITER 5463 NEW BEST:: SOT 616147 SOS 290692 HAS SOPS 280475 HAS SOUS 116878 HAS SOUPS 115495 WITH SCORE 115785.692
AT ITER 5467 NEW BEST:: SOT 616158 SOS 290703 HAS SOPS 280486 HAS SOUS 116873 HAS SOUPS 115490 WITH SCORE 115780.703
AT ITER 5499 NEW BEST:: SOT 616148 SOS 290693 HAS SOPS 280469 HAS SOUS 116849 HAS SOUPS 115466 WITH SCORE 115756.693
AT ITER 5508 NEW BEST:: SOT 616156 SOS 290705 HAS SOPS 280481 HAS SOUS 116845 HAS SOUPS 115462 WITH SCORE 115752.705
AT ITER 5600 NEW BEST:: SOT 616166 SOS 290715 HAS SOPS 280491 HAS SOUS 116839 HAS SOUPS 115456 WITH SCORE 115746.715
AT ITER 5633 NEW BEST:: SOT 616112 SOS 290648 HAS SOPS 280424 HAS SOUS 116772 HAS SOUPS 115389 WITH SCORE 115679.648
AT ITER 5635 NEW BEST:: SOT 616190 SOS 290820 HAS SOPS 280596 HAS SOUS 116432 HAS SOUPS 115049 WITH SCORE 115339.82
AT ITER 5647 NEW BEST:: SOT 616133 SOS 290763 HAS SOPS 280539 HAS SOUS 116402 HAS SOUPS 115019 WITH SCORE 115309.763
AT ITER 5655 NEW BEST:: SOT 616054 SOS 290646 HAS SOPS 280422 HAS SOUS 116396 HAS SOUPS 115013 WITH SCORE 115303.646
AT ITER 5656 NEW BEST:: SOT 616061 SOS 290660 HAS SOPS 280436 HAS SOUS 116382 HAS SOUPS 114999 WITH SCORE 115289.66
AT ITER 5686 NEW BEST:: SOT 615974 SOS 290474 HAS SOPS 280250 HAS SOUS 116204 HAS SOUPS 114821 WITH SCORE 115111.474
AT ITER 5688 NEW BEST:: SOT 615895 SOS 289948 HAS SOPS 279984 HAS SOUS 116176 HAS SOUPS 114819 WITH SCORE 115108.948
AT ITER 5704 NEW BEST:: SOT 615846 SOS 289899 HAS SOPS 279935 HAS SOUS 116030 HAS SOUPS 114673 WITH SCORE 114962.899
AT ITER 5709 NEW BEST:: SOT 615815 SOS 289951 HAS SOPS 279987 HAS SOUS 115982 HAS SOUPS 114625 WITH SCORE 114914.951
AT ITER 5729 NEW BEST:: SOT 615774 SOS 289666 HAS SOPS 279673 HAS SOUS 115891 HAS SOUPS 114533 WITH SCORE 114822.666
AT ITER 5754 NEW BEST:: SOT 615767 SOS 289659 HAS SOPS 279666 HAS SOUS 115884 HAS SOUPS 114526 WITH SCORE 114815.659
AT ITER 5762 NEW BEST:: SOT 615753 SOS 289631 HAS SOPS 279638 HAS SOUS 115856 HAS SOUPS 114498 WITH SCORE 114787.631
AT ITER 5764 NEW BEST:: SOT 615728 SOS 289539 HAS SOPS 279546 HAS SOUS 115830 HAS SOUPS 114472 WITH SCORE 114761.539
AT ITER 5766 NEW BEST:: SOT 615590 SOS 289346 HAS SOPS 279353 HAS SOUS 115632 HAS SOUPS 114274 WITH SCORE 114563.346
AT ITER 5785 NEW BEST:: SOT 615594 SOS 289350 HAS SOPS 279357 HAS SOUS 115628 HAS SOUPS 114270 WITH SCORE 114559.35
AT ITER 5817 NEW BEST:: SOT 615588 SOS 289338 HAS SOPS 279345 HAS SOUS 115616 HAS SOUPS 114258 WITH SCORE 114547.338
AT ITER 5841 NEW BEST:: SOT 615636 SOS 289222 HAS SOPS 279229 HAS SOUS 115588 HAS SOUPS 114230 WITH SCORE 114519.222
AT ITER 5883 NEW BEST:: SOT 615569 SOS 289091 HAS SOPS 279098 HAS SOUS 115521 HAS SOUPS 114163 WITH SCORE 114452.091
AT ITER 5889 NEW BEST:: SOT 615605 SOS 289127 HAS SOPS 279134 HAS SOUS 115494 HAS SOUPS 114136 WITH SCORE 114425.127
AT ITER 5951 NEW BEST:: SOT 615385 SOS 288952 HAS SOPS 278959 HAS SOUS 115492 HAS SOUPS 114134 WITH SCORE 114422.952
AT ITER 5966 NEW BEST:: SOT 615477 SOS 289132 HAS SOPS 279139 HAS SOUS 115486 HAS SOUPS 114128 WITH SCORE 114417.132
AT ITER 5977 NEW BEST:: SOT 615490 SOS 289132 HAS SOPS 279139 HAS SOUS 115447 HAS SOUPS 114089 WITH SCORE 114378.132
AT ITER 5981 NEW BEST:: SOT 615666 SOS 289264 HAS SOPS 279271 HAS SOUS 115227 HAS SOUPS 113869 WITH SCORE 114158.264
AT ITER 5986 NEW BEST:: SOT 615531 SOS 289039 HAS SOPS 279046 HAS SOUS 114970 HAS SOUPS 113612 WITH SCORE 113901.039
AT ITER 5998 NEW BEST:: SOT 615531 SOS 289041 HAS SOPS 279048 HAS SOUS 114966 HAS SOUPS 113608 WITH SCORE 113897.041
AT ITER 6015 NEW BEST:: SOT 615490 SOS 289106 HAS SOPS 279113 HAS SOUS 114898 HAS SOUPS 113540 WITH SCORE 113829.106
AT ITER 6027 NEW BEST:: SOT 615477 SOS 289093 HAS SOPS 279100 HAS SOUS 114879 HAS SOUPS 113521 WITH SCORE 113810.093
AT ITER 6051 NEW BEST:: SOT 615445 SOS 289061 HAS SOPS 279068 HAS SOUS 114847 HAS SOUPS 113489 WITH SCORE 113778.061
AT ITER 6089 NEW BEST:: SOT 615439 SOS 289055 HAS SOPS 279062 HAS SOUS 114835 HAS SOUPS 113477 WITH SCORE 113766.055
AT ITER 6091 NEW BEST:: SOT 615409 SOS 289040 HAS SOPS 279047 HAS SOUS 114820 HAS SOUPS 113462 WITH SCORE 113751.04
AT ITER 6102 NEW BEST:: SOT 615329 SOS 289042 HAS SOPS 279049 HAS SOUS 114748 HAS SOUPS 113390 WITH SCORE 113679.042
AT ITER 6151 NEW BEST:: SOT 615407 SOS 288735 HAS SOPS 278682 HAS SOUS 114621 HAS SOUPS 113263 WITH SCORE 113551.735
AT ITER 6169 NEW BEST:: SOT 615346 SOS 288560 HAS SOPS 278507 HAS SOUS 114562 HAS SOUPS 113204 WITH SCORE 113492.56
AT ITER 6181 NEW BEST:: SOT 615336 SOS 288550 HAS SOPS 278497 HAS SOUS 114547 HAS SOUPS 113189 WITH SCORE 113477.55
AT ITER 6191 NEW BEST:: SOT 615330 SOS 288544 HAS SOPS 278491 HAS SOUS 114541 HAS SOUPS 113183 WITH SCORE 113471.544
AT ITER 6248 NEW BEST:: SOT 615299 SOS 288513 HAS SOPS 278460 HAS SOUS 114453 HAS SOUPS 113095 WITH SCORE 113383.513
AT ITER 6260 NEW BEST:: SOT 615299 SOS 289432 HAS SOPS 279219 HAS SOUS 114465 HAS SOUPS 113091 WITH SCORE 113380.432
AT ITER 6262 NEW BEST:: SOT 615214 SOS 289411 HAS SOPS 279198 HAS SOUS 114393 HAS SOUPS 113019 WITH SCORE 113308.411
AT ITER 6275 NEW BEST:: SOT 615165 SOS 289362 HAS SOPS 279160 HAS SOUS 114328 HAS SOUPS 112954 WITH SCORE 113243.362
AT ITER 6281 NEW BEST:: SOT 615143 SOS 289340 HAS SOPS 279127 HAS SOUS 114284 HAS SOUPS 112910 WITH SCORE 113199.34
AT ITER 6285 NEW BEST:: SOT 615144 SOS 289323 HAS SOPS 279110 HAS SOUS 114230 HAS SOUPS 112856 WITH SCORE 113145.323
AT ITER 6294 NEW BEST:: SOT 614998 SOS 289225 HAS SOPS 279012 HAS SOUS 113974 HAS SOUPS 112600 WITH SCORE 112889.225
AT ITER 6299 NEW BEST:: SOT 614998 SOS 289225 HAS SOPS 279012 HAS SOUS 113947 HAS SOUPS 112573 WITH SCORE 112862.225
AT ITER 6315 NEW BEST:: SOT 614896 SOS 289754 HAS SOPS 279541 HAS SOUS 113810 HAS SOUPS 112436 WITH SCORE 112725.754
AT ITER 6377 NEW BEST:: SOT 614630 SOS 289461 HAS SOPS 279248 HAS SOUS 113492 HAS SOUPS 112118 WITH SCORE 112407.461
AT ITER 6380 NEW BEST:: SOT 614580 SOS 288911 HAS SOPS 278698 HAS SOUS 113392 HAS SOUPS 112018 WITH SCORE 112306.911
AT ITER 6386 NEW BEST:: SOT 614570 SOS 288891 HAS SOPS 278678 HAS SOUS 113372 HAS SOUPS 111998 WITH SCORE 112286.891
AT ITER 6403 NEW BEST:: SOT 614564 SOS 288882 HAS SOPS 278669 HAS SOUS 113366 HAS SOUPS 111992 WITH SCORE 112280.882
AT ITER 6410 NEW BEST:: SOT 614543 SOS 288876 HAS SOPS 278663 HAS SOUS 113324 HAS SOUPS 111950 WITH SCORE 112238.876
AT ITER 6415 NEW BEST:: SOT 614783 SOS 289116 HAS SOPS 278977 HAS SOUS 113213 HAS SOUPS 111839 WITH SCORE 112128.116
AT ITER 6457 NEW BEST:: SOT 614753 SOS 289086 HAS SOPS 278947 HAS SOUS 113153 HAS SOUPS 111779 WITH SCORE 112068.086
AT ITER 6458 NEW BEST:: SOT 614740 SOS 289037 HAS SOPS 278898 HAS SOUS 113059 HAS SOUPS 111685 WITH SCORE 111974.037
AT ITER 6468 NEW BEST:: SOT 614879 SOS 289262 HAS SOPS 279123 HAS SOUS 113036 HAS SOUPS 111662 WITH SCORE 111951.262
AT ITER 6471 NEW BEST:: SOT 614870 SOS 289253 HAS SOPS 279114 HAS SOUS 112996 HAS SOUPS 111622 WITH SCORE 111911.253
AT ITER 6472 NEW BEST:: SOT 614820 SOS 289203 HAS SOPS 279064 HAS SOUS 112946 HAS SOUPS 111572 WITH SCORE 111861.203
AT ITER 6478 NEW BEST:: SOT 614788 SOS 289171 HAS SOPS 279032 HAS SOUS 112882 HAS SOUPS 111508 WITH SCORE 111797.171
AT ITER 6486 NEW BEST:: SOT 614788 SOS 289171 HAS SOPS 279032 HAS SOUS 112874 HAS SOUPS 111500 WITH SCORE 111789.171
AT ITER 6498 NEW BEST:: SOT 614799 SOS 289184 HAS SOPS 279045 HAS SOUS 112872 HAS SOUPS 111498 WITH SCORE 111787.184
AT ITER 6501 NEW BEST:: SOT 614799 SOS 289240 HAS SOPS 279101 HAS SOUS 112816 HAS SOUPS 111442 WITH SCORE 111731.24
AT ITER 6516 NEW BEST:: SOT 614794 SOS 289235 HAS SOPS 279097 HAS SOUS 112806 HAS SOUPS 111432 WITH SCORE 111721.235
AT ITER 6564 NEW BEST:: SOT 614786 SOS 289227 HAS SOPS 279089 HAS SOUS 112806 HAS SOUPS 111432 WITH SCORE 111721.227
AT ITER 6574 NEW BEST:: SOT 614708 SOS 289129 HAS SOPS 278961 HAS SOUS 112708 HAS SOUPS 111304 WITH SCORE 111593.129
AT ITER 6603 NEW BEST:: SOT 614707 SOS 289128 HAS SOPS 278960 HAS SOUS 112707 HAS SOUPS 111303 WITH SCORE 111592.128
AT ITER 6627 NEW BEST:: SOT 614722 SOS 289143 HAS SOPS 278975 HAS SOUS 112698 HAS SOUPS 111294 WITH SCORE 111583.143
AT ITER 6629 NEW BEST:: SOT 614715 SOS 289136 HAS SOPS 278971 HAS SOUS 112669 HAS SOUPS 111265 WITH SCORE 111554.136
AT ITER 6630 NEW BEST:: SOT 614710 SOS 289131 HAS SOPS 278966 HAS SOUS 112659 HAS SOUPS 111255 WITH SCORE 111544.131
AT ITER 6634 NEW BEST:: SOT 614710 SOS 289093 HAS SOPS 278928 HAS SOUS 112659 HAS SOUPS 111255 WITH SCORE 111544.093
AT ITER 6660 NEW BEST:: SOT 614701 SOS 289096 HAS SOPS 278931 HAS SOUS 112634 HAS SOUPS 111230 WITH SCORE 111519.096
AT ITER 6680 NEW BEST:: SOT 614679 SOS 289074 HAS SOPS 278909 HAS SOUS 112587 HAS SOUPS 111183 WITH SCORE 111472.074
AT ITER 6706 NEW BEST:: SOT 614671 SOS 289066 HAS SOPS 278901 HAS SOUS 112571 HAS SOUPS 111167 WITH SCORE 111456.066
AT ITER 6751 NEW BEST:: SOT 614594 SOS 288989 HAS SOPS 278824 HAS SOUS 112489 HAS SOUPS 111085 WITH SCORE 111373.989
AT ITER 6757 NEW BEST:: SOT 614678 SOS 289073 HAS SOPS 278843 HAS SOUS 112405 HAS SOUPS 111001 WITH SCORE 111290.073
AT ITER 6769 NEW BEST:: SOT 614582 SOS 289030 HAS SOPS 278800 HAS SOUS 112327 HAS SOUPS 110923 WITH SCORE 111212.03
AT ITER 6775 NEW BEST:: SOT 614581 SOS 289063 HAS SOPS 278833 HAS SOUS 112320 HAS SOUPS 110916 WITH SCORE 111205.063
AT ITER 6786 NEW BEST:: SOT 614437 SOS 288941 HAS SOPS 278711 HAS SOUS 112075 HAS SOUPS 110671 WITH SCORE 110959.941
AT ITER 6789 NEW BEST:: SOT 614429 SOS 288925 HAS SOPS 278695 HAS SOUS 112059 HAS SOUPS 110655 WITH SCORE 110943.925
AT ITER 6829 NEW BEST:: SOT 614429 SOS 288577 HAS SOPS 278407 HAS SOUS 112053 HAS SOUPS 110655 WITH SCORE 110943.577
AT ITER 6855 NEW BEST:: SOT 614429 SOS 288549 HAS SOPS 278379 HAS SOUS 112025 HAS SOUPS 110627 WITH SCORE 110915.549
AT ITER 6863 NEW BEST:: SOT 614409 SOS 288509 HAS SOPS 278339 HAS SOUS 111985 HAS SOUPS 110587 WITH SCORE 110875.509
AT ITER 6880 NEW BEST:: SOT 614291 SOS 288391 HAS SOPS 278093 HAS SOUS 111644 HAS SOUPS 110246 WITH SCORE 110534.391
AT ITER 6893 NEW BEST:: SOT 614285 SOS 288439 HAS SOPS 278141 HAS SOUS 111632 HAS SOUPS 110234 WITH SCORE 110522.439
AT ITER 6903 NEW BEST:: SOT 614285 SOS 288439 HAS SOPS 278141 HAS SOUS 111628 HAS SOUPS 110230 WITH SCORE 110518.439
AT ITER 6912 NEW BEST:: SOT 614250 SOS 288400 HAS SOPS 278102 HAS SOUS 111585 HAS SOUPS 110187 WITH SCORE 110475.4
AT ITER 6922 NEW BEST:: SOT 614210 SOS 288348 HAS SOPS 278050 HAS SOUS 111491 HAS SOUPS 110093 WITH SCORE 110381.348
AT ITER 6942 NEW BEST:: SOT 614208 SOS 288346 HAS SOPS 278048 HAS SOUS 111487 HAS SOUPS 110089 WITH SCORE 110377.346
AT ITER 6948 NEW BEST:: SOT 614208 SOS 287938 HAS SOPS 277640 HAS SOUS 111419 HAS SOUPS 110021 WITH SCORE 110308.938
AT ITER 6963 NEW BEST:: SOT 614208 SOS 287617 HAS SOPS 277319 HAS SOUS 111419 HAS SOUPS 110021 WITH SCORE 110308.617
AT ITER 6985 NEW BEST:: SOT 614060 SOS 287467 HAS SOPS 277169 HAS SOUS 111269 HAS SOUPS 109871 WITH SCORE 110158.467
AT ITER 7010 NEW BEST:: SOT 614052 SOS 287451 HAS SOPS 277153 HAS SOUS 111261 HAS SOUPS 109863 WITH SCORE 110150.451
AT ITER 7073 NEW BEST:: SOT 613949 SOS 287227 HAS SOPS 276929 HAS SOUS 111037 HAS SOUPS 109639 WITH SCORE 109926.227
AT ITER 7089 NEW BEST:: SOT 613928 SOS 287206 HAS SOPS 276908 HAS SOUS 111037 HAS SOUPS 109639 WITH SCORE 109926.206
AT ITER 7134 NEW BEST:: SOT 613884 SOS 287162 HAS SOPS 276864 HAS SOUS 110949 HAS SOUPS 109551 WITH SCORE 109838.162
AT ITER 7137 NEW BEST:: SOT 613856 SOS 287106 HAS SOPS 276808 HAS SOUS 110893 HAS SOUPS 109495 WITH SCORE 109782.106
AT ITER 7145 NEW BEST:: SOT 613817 SOS 287067 HAS SOPS 276769 HAS SOUS 110854 HAS SOUPS 109456 WITH SCORE 109743.067
AT ITER 7151 NEW BEST:: SOT 613817 SOS 287067 HAS SOPS 276769 HAS SOUS 110835 HAS SOUPS 109437 WITH SCORE 109724.067
AT ITER 7181 NEW BEST:: SOT 613817 SOS 287063 HAS SOPS 276765 HAS SOUS 110815 HAS SOUPS 109417 WITH SCORE 109704.063
AT ITER 7194 NEW BEST:: SOT 613817 SOS 287054 HAS SOPS 276756 HAS SOUS 110806 HAS SOUPS 109408 WITH SCORE 109695.054
AT ITER 7220 NEW BEST:: SOT 613718 SOS 286905 HAS SOPS 276607 HAS SOUS 110708 HAS SOUPS 109310 WITH SCORE 109596.905
AT ITER 7228 NEW BEST:: SOT 613698 SOS 286733 HAS SOPS 276498 HAS SOUS 110668 HAS SOUPS 109270 WITH SCORE 109556.733
AT ITER 7230 NEW BEST:: SOT 613681 SOS 286977 HAS SOPS 276742 HAS SOUS 110651 HAS SOUPS 109253 WITH SCORE 109539.977
AT ITER 7263 NEW BEST:: SOT 613679 SOS 286975 HAS SOPS 276740 HAS SOUS 110647 HAS SOUPS 109249 WITH SCORE 109535.975
AT ITER 7278 NEW BEST:: SOT 613666 SOS 286962 HAS SOPS 276727 HAS SOUS 110621 HAS SOUPS 109223 WITH SCORE 109509.962
AT ITER 7314 NEW BEST:: SOT 613618 SOS 286914 HAS SOPS 276615 HAS SOUS 110421 HAS SOUPS 109023 WITH SCORE 109309.914
AT ITER 7359 NEW BEST:: SOT 613558 SOS 286854 HAS SOPS 276555 HAS SOUS 110361 HAS SOUPS 108963 WITH SCORE 109249.854
AT ITER 7366 NEW BEST:: SOT 613557 SOS 286853 HAS SOPS 276554 HAS SOUS 110326 HAS SOUPS 108928 WITH SCORE 109214.853
AT ITER 7375 NEW BEST:: SOT 613548 SOS 286844 HAS SOPS 276536 HAS SOUS 110308 HAS SOUPS 108910 WITH SCORE 109196.844
AT ITER 7382 NEW BEST:: SOT 613547 SOS 286842 HAS SOPS 276534 HAS SOUS 110305 HAS SOUPS 108907 WITH SCORE 109193.842
AT ITER 7420 NEW BEST:: SOT 613547 SOS 286990 HAS SOPS 276682 HAS SOUS 110296 HAS SOUPS 108898 WITH SCORE 109184.99
AT ITER 7438 NEW BEST:: SOT 613561 SOS 286714 HAS SOPS 276161 HAS SOUS 110279 HAS SOUPS 108874 WITH SCORE 109160.714
AT ITER 7447 NEW BEST:: SOT 613471 SOS 286557 HAS SOPS 276004 HAS SOUS 110188 HAS SOUPS 108783 WITH SCORE 109069.557
AT ITER 7468 NEW BEST:: SOT 613350 SOS 286132 HAS SOPS 275579 HAS SOUS 110009 HAS SOUPS 108604 WITH SCORE 108890.132
AT ITER 7485 NEW BEST:: SOT 613312 SOS 285971 HAS SOPS 275418 HAS SOUS 109980 HAS SOUPS 108575 WITH SCORE 108860.971
AT ITER 7537 NEW BEST:: SOT 613327 SOS 286051 HAS SOPS 275498 HAS SOUS 109910 HAS SOUPS 108505 WITH SCORE 108791.051
AT ITER 7579 NEW BEST:: SOT 613327 SOS 286079 HAS SOPS 275526 HAS SOUS 109896 HAS SOUPS 108491 WITH SCORE 108777.079
AT ITER 7593 NEW BEST:: SOT 613146 SOS 285988 HAS SOPS 275492 HAS SOUS 109721 HAS SOUPS 108316 WITH SCORE 108601.988
AT ITER 7615 NEW BEST:: SOT 613110 SOS 285952 HAS SOPS 275456 HAS SOUS 109685 HAS SOUPS 108280 WITH SCORE 108565.952
AT ITER 7619 NEW BEST:: SOT 613100 SOS 285951 HAS SOPS 275455 HAS SOUS 109684 HAS SOUPS 108279 WITH SCORE 108564.951
AT ITER 7642 NEW BEST:: SOT 612999 SOS 285871 HAS SOPS 275375 HAS SOUS 109482 HAS SOUPS 108077 WITH SCORE 108362.871
AT ITER 7652 NEW BEST:: SOT 612643 SOS 285515 HAS SOPS 275019 HAS SOUS 109374 HAS SOUPS 107969 WITH SCORE 108254.515
AT ITER 7667 NEW BEST:: SOT 612635 SOS 285507 HAS SOPS 275015 HAS SOUS 109367 HAS SOUPS 107966 WITH SCORE 108251.507
AT ITER 7680 NEW BEST:: SOT 612631 SOS 285497 HAS SOPS 275005 HAS SOUS 109365 HAS SOUPS 107964 WITH SCORE 108249.497
AT ITER 7688 NEW BEST:: SOT 612631 SOS 285497 HAS SOPS 275005 HAS SOUS 109356 HAS SOUPS 107955 WITH SCORE 108240.497
AT ITER 7689 NEW BEST:: SOT 612583 SOS 285449 HAS SOPS 274957 HAS SOUS 109330 HAS SOUPS 107929 WITH SCORE 108214.449
AT ITER 7718 NEW BEST:: SOT 612598 SOS 285464 HAS SOPS 274972 HAS SOUS 109300 HAS SOUPS 107899 WITH SCORE 108184.464
AT ITER 7739 NEW BEST:: SOT 612570 SOS 285264 HAS SOPS 274772 HAS SOUS 109174 HAS SOUPS 107773 WITH SCORE 108058.264
AT ITER 7749 NEW BEST:: SOT 612283 SOS 284887 HAS SOPS 274395 HAS SOUS 108735 HAS SOUPS 107334 WITH SCORE 107618.887
AT ITER 7795 NEW BEST:: SOT 611926 SOS 284203 HAS SOPS 273711 HAS SOUS 108569 HAS SOUPS 107168 WITH SCORE 107452.203
AT ITER 7808 NEW BEST:: SOT 611951 SOS 284111 HAS SOPS 273475 HAS SOUS 108476 HAS SOUPS 107075 WITH SCORE 107359.111
AT ITER 7834 NEW BEST:: SOT 611009 SOS 283169 HAS SOPS 272533 HAS SOUS 108302 HAS SOUPS 106901 WITH SCORE 107184.169
AT ITER 7845 NEW BEST:: SOT 611035 SOS 283195 HAS SOPS 272557 HAS SOUS 108287 HAS SOUPS 106886 WITH SCORE 107169.195
AT ITER 7858 NEW BEST:: SOT 611144 SOS 283061 HAS SOPS 272423 HAS SOUS 108225 HAS SOUPS 106824 WITH SCORE 107107.061
AT ITER 7877 NEW BEST:: SOT 611120 SOS 282853 HAS SOPS 272215 HAS SOUS 108170 HAS SOUPS 106769 WITH SCORE 107051.853
AT ITER 7879 NEW BEST:: SOT 611265 SOS 284108 HAS SOPS 273325 HAS SOUS 108165 HAS SOUPS 106764 WITH SCORE 107048.108
AT ITER 7898 NEW BEST:: SOT 611180 SOS 284082 HAS SOPS 273299 HAS SOUS 108136 HAS SOUPS 106735 WITH SCORE 107019.082
AT ITER 7929 NEW BEST:: SOT 611181 SOS 284071 HAS SOPS 273288 HAS SOUS 108136 HAS SOUPS 106735 WITH SCORE 107019.071
AT ITER 7952 NEW BEST:: SOT 611172 SOS 284053 HAS SOPS 273270 HAS SOUS 108118 HAS SOUPS 106717 WITH SCORE 107001.053
AT ITER 8005 NEW BEST:: SOT 611007 SOS 283888 HAS SOPS 273105 HAS SOUS 107953 HAS SOUPS 106552 WITH SCORE 106835.888
AT ITER 8044 NEW BEST:: SOT 610979 SOS 283875 HAS SOPS 273092 HAS SOUS 107912 HAS SOUPS 106511 WITH SCORE 106794.875
AT ITER 8100 NEW BEST:: SOT 610979 SOS 283859 HAS SOPS 273076 HAS SOUS 107912 HAS SOUPS 106511 WITH SCORE 106794.859
AT ITER 8102 NEW BEST:: SOT 610901 SOS 283731 HAS SOPS 272948 HAS SOUS 107784 HAS SOUPS 106383 WITH SCORE 106666.731
AT ITER 8107 NEW BEST:: SOT 610908 SOS 283738 HAS SOPS 272967 HAS SOUS 107713 HAS SOUPS 106312 WITH SCORE 106595.738
AT ITER 8120 NEW BEST:: SOT 610902 SOS 283720 HAS SOPS 272949 HAS SOUS 107689 HAS SOUPS 106288 WITH SCORE 106571.72
AT ITER 8164 NEW BEST:: SOT 610930 SOS 283748 HAS SOPS 272912 HAS SOUS 107544 HAS SOUPS 106143 WITH SCORE 106426.748
AT ITER 8204 NEW BEST:: SOT 610922 SOS 283740 HAS SOPS 272904 HAS SOUS 107524 HAS SOUPS 106123 WITH SCORE 106406.74
AT ITER 8236 NEW BEST:: SOT 610858 SOS 283695 HAS SOPS 272859 HAS SOUS 107453 HAS SOUPS 106052 WITH SCORE 106335.695
AT ITER 8239 NEW BEST:: SOT 610728 SOS 283522 HAS SOPS 272686 HAS SOUS 107258 HAS SOUPS 105857 WITH SCORE 106140.522
AT ITER 8244 NEW BEST:: SOT 610696 SOS 283444 HAS SOPS 272608 HAS SOUS 107240 HAS SOUPS 105839 WITH SCORE 106122.444
AT ITER 8254 NEW BEST:: SOT 610706 SOS 283452 HAS SOPS 272616 HAS SOUS 107234 HAS SOUPS 105833 WITH SCORE 106116.452
AT ITER 8265 NEW BEST:: SOT 610705 SOS 283450 HAS SOPS 272614 HAS SOUS 107232 HAS SOUPS 105831 WITH SCORE 106114.45
AT ITER 8289 NEW BEST:: SOT 610639 SOS 283391 HAS SOPS 272555 HAS SOUS 107218 HAS SOUPS 105817 WITH SCORE 106100.391
AT ITER 8329 NEW BEST:: SOT 610573 SOS 283661 HAS SOPS 272869 HAS SOUS 107205 HAS SOUPS 105791 WITH SCORE 106074.661
AT ITER 8344 NEW BEST:: SOT 610557 SOS 283653 HAS SOPS 272861 HAS SOUS 107173 HAS SOUPS 105759 WITH SCORE 106042.653
AT ITER 8359 NEW BEST:: SOT 610554 SOS 283650 HAS SOPS 272858 HAS SOUS 107167 HAS SOUPS 105753 WITH SCORE 106036.65
AT ITER 8383 NEW BEST:: SOT 610473 SOS 283600 HAS SOPS 272808 HAS SOUS 107067 HAS SOUPS 105653 WITH SCORE 105936.6
AT ITER 8385 NEW BEST:: SOT 610502 SOS 283621 HAS SOPS 272829 HAS SOUS 106869 HAS SOUPS 105455 WITH SCORE 105738.621
AT ITER 8389 NEW BEST:: SOT 610407 SOS 283518 HAS SOPS 272726 HAS SOUS 106679 HAS SOUPS 105265 WITH SCORE 105548.518
AT ITER 8402 NEW BEST:: SOT 610396 SOS 283364 HAS SOPS 272572 HAS SOUS 106624 HAS SOUPS 105210 WITH SCORE 105493.364
AT ITER 8457 NEW BEST:: SOT 610396 SOS 283358 HAS SOPS 272566 HAS SOUS 106622 HAS SOUPS 105208 WITH SCORE 105491.358
AT ITER 8481 NEW BEST:: SOT 610426 SOS 283556 HAS SOPS 272764 HAS SOUS 106542 HAS SOUPS 105128 WITH SCORE 105411.556
AT ITER 8495 NEW BEST:: SOT 610426 SOS 283576 HAS SOPS 272784 HAS SOUS 106522 HAS SOUPS 105108 WITH SCORE 105391.576
AT ITER 8541 NEW BEST:: SOT 610377 SOS 283502 HAS SOPS 272710 HAS SOUS 106425 HAS SOUPS 105011 WITH SCORE 105294.502
AT ITER 8597 NEW BEST:: SOT 610314 SOS 283407 HAS SOPS 272615 HAS SOUS 106299 HAS SOUPS 104885 WITH SCORE 105168.407
AT ITER 8599 NEW BEST:: SOT 610295 SOS 283369 HAS SOPS 272577 HAS SOUS 106261 HAS SOUPS 104847 WITH SCORE 105130.369
AT ITER 8666 NEW BEST:: SOT 610153 SOS 283227 HAS SOPS 272435 HAS SOUS 106091 HAS SOUPS 104677 WITH SCORE 104960.227
AT ITER 8698 NEW BEST:: SOT 610111 SOS 283140 HAS SOPS 272348 HAS SOUS 106039 HAS SOUPS 104625 WITH SCORE 104908.14
AT ITER 8748 NEW BEST:: SOT 610096 SOS 283134 HAS SOPS 272342 HAS SOUS 106009 HAS SOUPS 104595 WITH SCORE 104878.134
AT ITER 8758 NEW BEST:: SOT 610054 SOS 282531 HAS SOPS 271799 HAS SOUS 106007 HAS SOUPS 104593 WITH SCORE 104875.531
AT ITER 8768 NEW BEST:: SOT 610002 SOS 282281 HAS SOPS 271450 HAS SOUS 105876 HAS SOUPS 104462 WITH SCORE 104744.281
AT ITER 8789 NEW BEST:: SOT 609963 SOS 282168 HAS SOPS 271337 HAS SOUS 105763 HAS SOUPS 104349 WITH SCORE 104631.168
AT ITER 8801 NEW BEST:: SOT 609960 SOS 282165 HAS SOPS 271334 HAS SOUS 105757 HAS SOUPS 104343 WITH SCORE 104625.165
AT ITER 8803 NEW BEST:: SOT 609950 SOS 282155 HAS SOPS 271324 HAS SOUS 105737 HAS SOUPS 104323 WITH SCORE 104605.155
AT ITER 8804 NEW BEST:: SOT 610701 SOS 283056 HAS SOPS 272225 HAS SOUS 105540 HAS SOUPS 104126 WITH SCORE 104409.056
AT ITER 8851 NEW BEST:: SOT 610630 SOS 282985 HAS SOPS 272154 HAS SOUS 105366 HAS SOUPS 103952 WITH SCORE 104234.985
AT ITER 8881 NEW BEST:: SOT 610626 SOS 282983 HAS SOPS 272152 HAS SOUS 105360 HAS SOUPS 103946 WITH SCORE 104228.983
AT ITER 8921 NEW BEST:: SOT 610621 SOS 282916 HAS SOPS 272085 HAS SOUS 105288 HAS SOUPS 103874 WITH SCORE 104156.916
AT ITER 8930 NEW BEST:: SOT 610565 SOS 282983 HAS SOPS 272002 HAS SOUS 105229 HAS SOUPS 103806 WITH SCORE 104088.983
AT ITER 8948 NEW BEST:: SOT 610595 SOS 283096 HAS SOPS 272115 HAS SOUS 105220 HAS SOUPS 103797 WITH SCORE 104080.096
AT ITER 8960 NEW BEST:: SOT 610576 SOS 283075 HAS SOPS 272094 HAS SOUS 105182 HAS SOUPS 103759 WITH SCORE 104042.075
AT ITER 8968 NEW BEST:: SOT 610576 SOS 283096 HAS SOPS 272115 HAS SOUS 105161 HAS SOUPS 103738 WITH SCORE 104021.096
AT ITER 8975 NEW BEST:: SOT 610558 SOS 283078 HAS SOPS 272064 HAS SOUS 105078 HAS SOUPS 103655 WITH SCORE 103938.078
AT ITER 8994 NEW BEST:: SOT 610548 SOS 283068 HAS SOPS 272054 HAS SOUS 105068 HAS SOUPS 103645 WITH SCORE 103928.068
AT ITER 9010 NEW BEST:: SOT 610515 SOS 283024 HAS SOPS 272010 HAS SOUS 105013 HAS SOUPS 103590 WITH SCORE 103873.024
AT ITER 9025 NEW BEST:: SOT 610494 SOS 282994 HAS SOPS 271980 HAS SOUS 104971 HAS SOUPS 103548 WITH SCORE 103830.994
AT ITER 9026 NEW BEST:: SOT 610494 SOS 283028 HAS SOPS 272014 HAS SOUS 104937 HAS SOUPS 103514 WITH SCORE 103797.028
AT ITER 9037 NEW BEST:: SOT 610474 SOS 283027 HAS SOPS 272013 HAS SOUS 104914 HAS SOUPS 103491 WITH SCORE 103774.027
AT ITER 9039 NEW BEST:: SOT 610377 SOS 282833 HAS SOPS 271819 HAS SOUS 104713 HAS SOUPS 103290 WITH SCORE 103572.833
AT ITER 9081 NEW BEST:: SOT 610362 SOS 282720 HAS SOPS 271706 HAS SOUS 104514 HAS SOUPS 103091 WITH SCORE 103373.72
AT ITER 9088 NEW BEST:: SOT 610363 SOS 282728 HAS SOPS 271714 HAS SOUS 104469 HAS SOUPS 103046 WITH SCORE 103328.728
AT ITER 9129 NEW BEST:: SOT 610324 SOS 282689 HAS SOPS 271675 HAS SOUS 104391 HAS SOUPS 102968 WITH SCORE 103250.689
AT ITER 9153 NEW BEST:: SOT 610235 SOS 282679 HAS SOPS 271665 HAS SOUS 104235 HAS SOUPS 102812 WITH SCORE 103094.679
AT ITER 9200 NEW BEST:: SOT 610149 SOS 282383 HAS SOPS 271431 HAS SOUS 104058 HAS SOUPS 102635 WITH SCORE 102917.383
AT ITER 9214 NEW BEST:: SOT 610142 SOS 282292 HAS SOPS 271340 HAS SOUS 104037 HAS SOUPS 102614 WITH SCORE 102896.292
AT ITER 9227 NEW BEST:: SOT 609767 SOS 281917 HAS SOPS 270965 HAS SOUS 103932 HAS SOUPS 102509 WITH SCORE 102790.917
AT ITER 9238 NEW BEST:: SOT 609757 SOS 281897 HAS SOPS 270945 HAS SOUS 103932 HAS SOUPS 102509 WITH SCORE 102790.897
AT ITER 9245 NEW BEST:: SOT 609653 SOS 281793 HAS SOPS 270841 HAS SOUS 103892 HAS SOUPS 102469 WITH SCORE 102750.793
AT ITER 9274 NEW BEST:: SOT 609627 SOS 281767 HAS SOPS 270815 HAS SOUS 103885 HAS SOUPS 102462 WITH SCORE 102743.767
AT ITER 9373 NEW BEST:: SOT 609611 SOS 281751 HAS SOPS 270799 HAS SOUS 103855 HAS SOUPS 102432 WITH SCORE 102713.751
AT ITER 9384 NEW BEST:: SOT 609609 SOS 281749 HAS SOPS 270796 HAS SOUS 103852 HAS SOUPS 102429 WITH SCORE 102710.749
AT ITER 9395 NEW BEST:: SOT 609510 SOS 281658 HAS SOPS 270705 HAS SOUS 103750 HAS SOUPS 102327 WITH SCORE 102608.658
AT ITER 9415 NEW BEST:: SOT 609496 SOS 281650 HAS SOPS 270697 HAS SOUS 103747 HAS SOUPS 102324 WITH SCORE 102605.65
AT ITER 9527 NEW BEST:: SOT 609436 SOS 281620 HAS SOPS 270667 HAS SOUS 103297 HAS SOUPS 101874 WITH SCORE 102155.62
AT ITER 9579 NEW BEST:: SOT 609434 SOS 281617 HAS SOPS 270664 HAS SOUS 103295 HAS SOUPS 101872 WITH SCORE 102153.617
AT ITER 9595 NEW BEST:: SOT 609460 SOS 281643 HAS SOPS 270690 HAS SOUS 103191 HAS SOUPS 101768 WITH SCORE 102049.643
AT ITER 9598 NEW BEST:: SOT 609195 SOS 281398 HAS SOPS 270445 HAS SOUS 103114 HAS SOUPS 101691 WITH SCORE 101972.398
AT ITER 9611 NEW BEST:: SOT 609180 SOS 281383 HAS SOPS 270430 HAS SOUS 103099 HAS SOUPS 101676 WITH SCORE 101957.383
AT ITER 9615 NEW BEST:: SOT 609191 SOS 281372 HAS SOPS 270419 HAS SOUS 103088 HAS SOUPS 101665 WITH SCORE 101946.372
AT ITER 9630 NEW BEST:: SOT 609149 SOS 281297 HAS SOPS 270344 HAS SOUS 103013 HAS SOUPS 101590 WITH SCORE 101871.297
AT ITER 9638 NEW BEST:: SOT 609144 SOS 281292 HAS SOPS 270339 HAS SOUS 103008 HAS SOUPS 101585 WITH SCORE 101866.292
AT ITER 9645 NEW BEST:: SOT 609133 SOS 281270 HAS SOPS 270317 HAS SOUS 102989 HAS SOUPS 101566 WITH SCORE 101847.27
AT ITER 9658 NEW BEST:: SOT 609115 SOS 281252 HAS SOPS 270299 HAS SOUS 102953 HAS SOUPS 101530 WITH SCORE 101811.252
AT ITER 9671 NEW BEST:: SOT 609097 SOS 281234 HAS SOPS 270281 HAS SOUS 102943 HAS SOUPS 101520 WITH SCORE 101801.234
AT ITER 9697 NEW BEST:: SOT 609095 SOS 281232 HAS SOPS 270279 HAS SOUS 102939 HAS SOUPS 101516 WITH SCORE 101797.232
AT ITER 9758 NEW BEST:: SOT 609071 SOS 281184 HAS SOPS 270231 HAS SOUS 102891 HAS SOUPS 101468 WITH SCORE 101749.184
AT ITER 9762 NEW BEST:: SOT 609057 SOS 281156 HAS SOPS 270203 HAS SOUS 102877 HAS SOUPS 101454 WITH SCORE 101735.156
AT ITER 9764 NEW BEST:: SOT 608912 SOS 281040 HAS SOPS 270087 HAS SOUS 102761 HAS SOUPS 101338 WITH SCORE 101619.04
AT ITER 9774 NEW BEST:: SOT 608891 SOS 280942 HAS SOPS 269989 HAS SOUS 102733 HAS SOUPS 101310 WITH SCORE 101590.942
AT ITER 9815 NEW BEST:: SOT 608898 SOS 280943 HAS SOPS 269990 HAS SOUS 102723 HAS SOUPS 101300 WITH SCORE 101580.943
AT ITER 9818 NEW BEST:: SOT 608862 SOS 280907 HAS SOPS 269954 HAS SOUS 102620 HAS SOUPS 101197 WITH SCORE 101477.907
AT ITER 9858 NEW BEST:: SOT 608878 SOS 280402 HAS SOPS 269449 HAS SOUS 102595 HAS SOUPS 101172 WITH SCORE 101452.402
AT ITER 9899 NEW BEST:: SOT 608871 SOS 280395 HAS SOPS 269442 HAS SOUS 102558 HAS SOUPS 101135 WITH SCORE 101415.395
AT ITER 9932 NEW BEST:: SOT 608871 SOS 280365 HAS SOPS 269412 HAS SOUS 102558 HAS SOUPS 101135 WITH SCORE 101415.365
AT ITER 9961 NEW BEST:: SOT 608935 SOS 279956 HAS SOPS 269003 HAS SOUS 102522 HAS SOUPS 101099 WITH SCORE 101378.956

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is PolyORBLF-PT-S02J04T10, 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 r123-tajo-158961354700432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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