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.r048-ebro-158902542400584.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 DLCround-PT-11a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542400584
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 932K
-rw-r--r-- 1 mcc users 3.5K Mar 30 20:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 20:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 29 10:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 29 10:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 06:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 06:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 27 00:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 27 00:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 762K 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 1590869271314

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

Filename model.pnml
Petri model created: 377 places, 2993 transitions, 11677 arcs.
AT ITER 0 NEW BEST:: SOT 704367 SOS 601399 HAS SOPS 364833 HAS SOUS 69005 HAS SOUPS 48869 WITH SCORE 49470.399
AT ITER 2 NEW BEST:: SOT 704050 SOS 601136 HAS SOPS 364300 HAS SOUS 68436 HAS SOUPS 48124 WITH SCORE 48725.136
AT ITER 10 NEW BEST:: SOT 704017 SOS 600566 HAS SOPS 363730 HAS SOUS 68406 HAS SOUPS 48094 WITH SCORE 48694.566
AT ITER 14 NEW BEST:: SOT 703890 SOS 600550 HAS SOPS 363159 HAS SOUS 67856 HAS SOUPS 47140 WITH SCORE 47740.55
AT ITER 22 NEW BEST:: SOT 703878 SOS 600358 HAS SOPS 362967 HAS SOUS 67844 HAS SOUPS 47128 WITH SCORE 47728.358
AT ITER 39 NEW BEST:: SOT 703835 SOS 600315 HAS SOPS 362924 HAS SOUS 67801 HAS SOUPS 47085 WITH SCORE 47685.315
AT ITER 40 NEW BEST:: SOT 703811 SOS 600179 HAS SOPS 362884 HAS SOUS 67777 HAS SOUPS 47069 WITH SCORE 47669.179
AT ITER 49 NEW BEST:: SOT 703862 SOS 600199 HAS SOPS 362904 HAS SOUS 67691 HAS SOUPS 46983 WITH SCORE 47583.199
AT ITER 55 NEW BEST:: SOT 704300 SOS 600741 HAS SOPS 362926 HAS SOUS 67736 HAS SOUPS 46648 WITH SCORE 47248.741
AT ITER 60 NEW BEST:: SOT 704348 SOS 597495 HAS SOPS 362532 HAS SOUS 68709 HAS SOUPS 46570 WITH SCORE 47167.495
AT ITER 86 NEW BEST:: SOT 704302 SOS 597449 HAS SOPS 362486 HAS SOUS 68663 HAS SOUPS 46524 WITH SCORE 47121.449
AT ITER 97 NEW BEST:: SOT 704569 SOS 597716 HAS SOPS 362753 HAS SOUS 68666 HAS SOUPS 46508 WITH SCORE 47105.716
AT ITER 100 NEW BEST:: SOT 704432 SOS 597710 HAS SOPS 362092 HAS SOUS 68055 HAS SOUPS 45409 WITH SCORE 46006.71
AT ITER 101 NEW BEST:: SOT 704379 SOS 597657 HAS SOPS 362039 HAS SOUS 68002 HAS SOUPS 45356 WITH SCORE 45953.657
AT ITER 104 NEW BEST:: SOT 704283 SOS 597561 HAS SOPS 361943 HAS SOUS 67906 HAS SOUPS 45260 WITH SCORE 45857.561
AT ITER 108 NEW BEST:: SOT 705027 SOS 598305 HAS SOPS 362687 HAS SOUS 67963 HAS SOUPS 45233 WITH SCORE 45831.305
AT ITER 113 NEW BEST:: SOT 705917 SOS 599195 HAS SOPS 363577 HAS SOUS 68064 HAS SOUPS 45231 WITH SCORE 45830.195
AT ITER 115 NEW BEST:: SOT 705881 SOS 597413 HAS SOPS 361795 HAS SOUS 68046 HAS SOUPS 45213 WITH SCORE 45810.413
AT ITER 124 NEW BEST:: SOT 707290 SOS 595076 HAS SOPS 360416 HAS SOUS 69195 HAS SOUPS 44973 WITH SCORE 45568.076
AT ITER 125 NEW BEST:: SOT 707236 SOS 595022 HAS SOPS 360362 HAS SOUS 69141 HAS SOUPS 44919 WITH SCORE 45514.022
AT ITER 129 NEW BEST:: SOT 707201 SOS 594987 HAS SOPS 360327 HAS SOUS 69106 HAS SOUPS 44884 WITH SCORE 45478.987
AT ITER 130 NEW BEST:: SOT 707012 SOS 594698 HAS SOPS 360238 HAS SOUS 68917 HAS SOUPS 44795 WITH SCORE 45389.698
AT ITER 135 NEW BEST:: SOT 706924 SOS 594610 HAS SOPS 360150 HAS SOUS 68829 HAS SOUPS 44707 WITH SCORE 45301.61
AT ITER 137 NEW BEST:: SOT 706826 SOS 592944 HAS SOPS 359519 HAS SOUS 68747 HAS SOUPS 44694 WITH SCORE 45286.944
AT ITER 152 NEW BEST:: SOT 706954 SOS 593200 HAS SOPS 359519 HAS SOUS 68851 HAS SOUPS 44679 WITH SCORE 45272.2
AT ITER 170 NEW BEST:: SOT 707032 SOS 593408 HAS SOPS 359077 HAS SOUS 67369 HAS SOUPS 43197 WITH SCORE 43790.408
AT ITER 171 NEW BEST:: SOT 706961 SOS 589754 HAS SOPS 355423 HAS SOUS 67336 HAS SOUPS 43164 WITH SCORE 43753.754
AT ITER 178 NEW BEST:: SOT 707015 SOS 589924 HAS SOPS 355303 HAS SOUS 67224 HAS SOUPS 42856 WITH SCORE 43445.924
AT ITER 180 NEW BEST:: SOT 706966 SOS 589875 HAS SOPS 355254 HAS SOUS 67175 HAS SOUPS 42807 WITH SCORE 43396.875
AT ITER 181 NEW BEST:: SOT 706901 SOS 589260 HAS SOPS 354639 HAS SOUS 67100 HAS SOUPS 42732 WITH SCORE 43321.26
AT ITER 190 NEW BEST:: SOT 706881 SOS 588940 HAS SOPS 354319 HAS SOUS 67080 HAS SOUPS 42712 WITH SCORE 43300.94
AT ITER 191 NEW BEST:: SOT 706881 SOS 588922 HAS SOPS 354301 HAS SOUS 67062 HAS SOUPS 42694 WITH SCORE 43282.922
AT ITER 193 NEW BEST:: SOT 706854 SOS 588490 HAS SOPS 353869 HAS SOUS 67035 HAS SOUPS 42667 WITH SCORE 43255.49
AT ITER 206 NEW BEST:: SOT 707212 SOS 585918 HAS SOPS 352952 HAS SOUS 66921 HAS SOUPS 41502 WITH SCORE 42087.918
AT ITER 211 NEW BEST:: SOT 707164 SOS 585870 HAS SOPS 352904 HAS SOUS 66873 HAS SOUPS 41454 WITH SCORE 42039.87
AT ITER 214 NEW BEST:: SOT 706996 SOS 585646 HAS SOPS 352792 HAS SOUS 66705 HAS SOUPS 41342 WITH SCORE 41927.646
AT ITER 220 NEW BEST:: SOT 705779 SOS 582325 HAS SOPS 351801 HAS SOUS 66740 HAS SOUPS 41313 WITH SCORE 41895.325
AT ITER 233 NEW BEST:: SOT 705681 SOS 582178 HAS SOPS 351752 HAS SOUS 66642 HAS SOUPS 41264 WITH SCORE 41846.178
AT ITER 235 NEW BEST:: SOT 705368 SOS 582070 HAS SOPS 350480 HAS SOUS 66299 HAS SOUPS 41038 WITH SCORE 41620.07
AT ITER 236 NEW BEST:: SOT 705476 SOS 582196 HAS SOPS 350498 HAS SOUS 66185 HAS SOUPS 40924 WITH SCORE 41506.196
AT ITER 238 NEW BEST:: SOT 705235 SOS 580924 HAS SOPS 350306 HAS SOUS 65925 HAS SOUPS 40754 WITH SCORE 41334.924
AT ITER 249 NEW BEST:: SOT 705215 SOS 577976 HAS SOPS 349101 HAS SOUS 65750 HAS SOUPS 40638 WITH SCORE 41215.976
AT ITER 253 NEW BEST:: SOT 705111 SOS 577820 HAS SOPS 348997 HAS SOUS 65598 HAS SOUPS 40538 WITH SCORE 41115.82
AT ITER 258 NEW BEST:: SOT 705110 SOS 577811 HAS SOPS 348988 HAS SOUS 65597 HAS SOUPS 40537 WITH SCORE 41114.811
AT ITER 263 NEW BEST:: SOT 704996 SOS 577640 HAS SOPS 348874 HAS SOUS 65540 HAS SOUPS 40537 WITH SCORE 41114.64
AT ITER 273 NEW BEST:: SOT 705082 SOS 577819 HAS SOPS 348859 HAS SOUS 65578 HAS SOUPS 40532 WITH SCORE 41109.819
AT ITER 276 NEW BEST:: SOT 705074 SOS 577803 HAS SOPS 348859 HAS SOUS 65570 HAS SOUPS 40532 WITH SCORE 41109.803
AT ITER 277 NEW BEST:: SOT 704860 SOS 577482 HAS SOPS 348645 HAS SOUS 65375 HAS SOUPS 40444 WITH SCORE 41021.482
AT ITER 283 NEW BEST:: SOT 704839 SOS 577461 HAS SOPS 348624 HAS SOUS 65354 HAS SOUPS 40423 WITH SCORE 41000.461
AT ITER 284 NEW BEST:: SOT 704835 SOS 577453 HAS SOPS 348616 HAS SOUS 65346 HAS SOUPS 40415 WITH SCORE 40992.453
AT ITER 291 NEW BEST:: SOT 704785 SOS 574978 HAS SOPS 346141 HAS SOUS 65321 HAS SOUPS 40390 WITH SCORE 40964.978
AT ITER 306 NEW BEST:: SOT 704769 SOS 575022 HAS SOPS 345885 HAS SOUS 64621 HAS SOUPS 39674 WITH SCORE 40249.022
AT ITER 320 NEW BEST:: SOT 704947 SOS 575189 HAS SOPS 346074 HAS SOUS 64592 HAS SOUPS 39655 WITH SCORE 40230.189
AT ITER 330 NEW BEST:: SOT 703945 SOS 575918 HAS SOPS 346741 HAS SOUS 62121 HAS SOUPS 38663 WITH SCORE 39238.918
AT ITER 343 NEW BEST:: SOT 703942 SOS 575915 HAS SOPS 346738 HAS SOUS 62118 HAS SOUPS 38660 WITH SCORE 39235.915
AT ITER 347 NEW BEST:: SOT 703973 SOS 576285 HAS SOPS 347108 HAS SOUS 62096 HAS SOUPS 38638 WITH SCORE 39214.285
AT ITER 365 NEW BEST:: SOT 703820 SOS 573170 HAS SOPS 346398 HAS SOUS 61690 HAS SOUPS 38297 WITH SCORE 38870.17
AT ITER 371 NEW BEST:: SOT 703744 SOS 576427 HAS SOPS 347675 HAS SOUS 61665 HAS SOUPS 38217 WITH SCORE 38793.427
AT ITER 374 NEW BEST:: SOT 703726 SOS 575415 HAS SOPS 346798 HAS SOUS 61651 HAS SOUPS 38212 WITH SCORE 38787.415
AT ITER 381 NEW BEST:: SOT 703732 SOS 575421 HAS SOPS 346804 HAS SOUS 61649 HAS SOUPS 38210 WITH SCORE 38785.421
AT ITER 386 NEW BEST:: SOT 703734 SOS 575424 HAS SOPS 346802 HAS SOUS 61639 HAS SOUPS 38200 WITH SCORE 38775.424
AT ITER 390 NEW BEST:: SOT 703734 SOS 575370 HAS SOPS 346802 HAS SOUS 61585 HAS SOUPS 38200 WITH SCORE 38775.37
AT ITER 394 NEW BEST:: SOT 703633 SOS 567467 HAS SOPS 340369 HAS SOUS 61444 HAS SOUPS 38157 WITH SCORE 38724.467
AT ITER 396 NEW BEST:: SOT 703589 SOS 564653 HAS SOPS 337555 HAS SOUS 61420 HAS SOUPS 38133 WITH SCORE 38697.653
AT ITER 398 NEW BEST:: SOT 703533 SOS 566209 HAS SOPS 337691 HAS SOUS 60431 HAS SOUPS 37736 WITH SCORE 38302.209
AT ITER 404 NEW BEST:: SOT 703450 SOS 566126 HAS SOPS 337608 HAS SOUS 60348 HAS SOUPS 37653 WITH SCORE 38219.126
AT ITER 414 NEW BEST:: SOT 703443 SOS 566119 HAS SOPS 337601 HAS SOUS 60341 HAS SOUPS 37646 WITH SCORE 38212.119
AT ITER 416 NEW BEST:: SOT 703474 SOS 566522 HAS SOPS 338004 HAS SOUS 60320 HAS SOUPS 37625 WITH SCORE 38191.522
AT ITER 418 NEW BEST:: SOT 703441 SOS 564297 HAS SOPS 335779 HAS SOUS 60287 HAS SOUPS 37592 WITH SCORE 38156.297
AT ITER 434 NEW BEST:: SOT 703393 SOS 564225 HAS SOPS 335650 HAS SOUS 60134 HAS SOUPS 37463 WITH SCORE 38027.225
AT ITER 436 NEW BEST:: SOT 702495 SOS 561778 HAS SOPS 335030 HAS SOUS 60088 HAS SOUPS 37448 WITH SCORE 38009.778
AT ITER 437 NEW BEST:: SOT 702430 SOS 559893 HAS SOPS 334120 HAS SOUS 59955 HAS SOUPS 37380 WITH SCORE 37939.893
AT ITER 448 NEW BEST:: SOT 702380 SOS 559843 HAS SOPS 334070 HAS SOUS 59905 HAS SOUPS 37330 WITH SCORE 37889.843
AT ITER 459 NEW BEST:: SOT 702384 SOS 559667 HAS SOPS 333894 HAS SOUS 59868 HAS SOUPS 37293 WITH SCORE 37852.667
AT ITER 465 NEW BEST:: SOT 703306 SOS 557323 HAS SOPS 333302 HAS SOUS 61773 HAS SOUPS 37178 WITH SCORE 37735.323
AT ITER 466 NEW BEST:: SOT 703925 SOS 557949 HAS SOPS 333812 HAS SOUS 61744 HAS SOUPS 37142 WITH SCORE 37699.949
AT ITER 472 NEW BEST:: SOT 703887 SOS 557873 HAS SOPS 333812 HAS SOUS 61706 HAS SOUPS 37142 WITH SCORE 37699.873
AT ITER 483 NEW BEST:: SOT 702553 SOS 554097 HAS SOPS 332400 HAS SOUS 61989 HAS SOUPS 36987 WITH SCORE 37541.097
AT ITER 499 NEW BEST:: SOT 702547 SOS 554055 HAS SOPS 332358 HAS SOUS 61987 HAS SOUPS 36985 WITH SCORE 37539.055
AT ITER 501 NEW BEST:: SOT 702541 SOS 553903 HAS SOPS 332206 HAS SOUS 61980 HAS SOUPS 36978 WITH SCORE 37531.903
AT ITER 513 NEW BEST:: SOT 702541 SOS 553894 HAS SOPS 332197 HAS SOUS 61980 HAS SOUPS 36978 WITH SCORE 37531.894
AT ITER 514 NEW BEST:: SOT 702517 SOS 553846 HAS SOPS 332197 HAS SOUS 61956 HAS SOUPS 36978 WITH SCORE 37531.846
AT ITER 527 NEW BEST:: SOT 702497 SOS 553816 HAS SOPS 332177 HAS SOUS 61926 HAS SOUPS 36958 WITH SCORE 37511.816
AT ITER 530 NEW BEST:: SOT 702524 SOS 553880 HAS SOPS 332167 HAS SOUS 61953 HAS SOUPS 36948 WITH SCORE 37501.88
AT ITER 539 NEW BEST:: SOT 702723 SOS 554079 HAS SOPS 332366 HAS SOUS 61951 HAS SOUPS 36945 WITH SCORE 37499.079
AT ITER 543 NEW BEST:: SOT 703947 SOS 555297 HAS SOPS 333409 HAS SOUS 61925 HAS SOUPS 36910 WITH SCORE 37465.297
AT ITER 549 NEW BEST:: SOT 703986 SOS 555382 HAS SOPS 333264 HAS SOUS 61412 HAS SOUPS 36397 WITH SCORE 36952.382
AT ITER 550 NEW BEST:: SOT 704002 SOS 555398 HAS SOPS 333264 HAS SOUS 61376 HAS SOUPS 36365 WITH SCORE 36920.398
AT ITER 554 NEW BEST:: SOT 703906 SOS 555998 HAS SOPS 333320 HAS SOUS 61342 HAS SOUPS 36331 WITH SCORE 36886.998
AT ITER 555 NEW BEST:: SOT 704975 SOS 556965 HAS SOPS 334306 HAS SOUS 61225 HAS SOUPS 36272 WITH SCORE 36828.965
AT ITER 564 NEW BEST:: SOT 704965 SOS 556895 HAS SOPS 334286 HAS SOUS 61210 HAS SOUPS 36262 WITH SCORE 36818.895
AT ITER 565 NEW BEST:: SOT 705938 SOS 557868 HAS SOPS 335259 HAS SOUS 61226 HAS SOUPS 36219 WITH SCORE 36776.868
AT ITER 566 NEW BEST:: SOT 705944 SOS 557763 HAS SOPS 335169 HAS SOUS 61220 HAS SOUPS 36213 WITH SCORE 36770.763
AT ITER 573 NEW BEST:: SOT 706302 SOS 558121 HAS SOPS 335527 HAS SOUS 61215 HAS SOUPS 36209 WITH SCORE 36767.121
AT ITER 585 NEW BEST:: SOT 706297 SOS 558111 HAS SOPS 335517 HAS SOUS 61205 HAS SOUPS 36199 WITH SCORE 36757.111
AT ITER 594 NEW BEST:: SOT 706219 SOS 556785 HAS SOPS 335361 HAS SOUS 61127 HAS SOUPS 36199 WITH SCORE 36755.785
AT ITER 595 NEW BEST:: SOT 706729 SOS 557378 HAS SOPS 335456 HAS SOUS 60558 HAS SOUPS 35630 WITH SCORE 36187.378
AT ITER 609 NEW BEST:: SOT 706925 SOS 557605 HAS SOPS 335497 HAS SOUS 60375 HAS SOUPS 35447 WITH SCORE 36004.605
AT ITER 617 NEW BEST:: SOT 708213 SOS 560324 HAS SOPS 336275 HAS SOUS 60395 HAS SOUPS 35359 WITH SCORE 35919.324
AT ITER 620 NEW BEST:: SOT 708139 SOS 559052 HAS SOPS 336343 HAS SOUS 60550 HAS SOUPS 35356 WITH SCORE 35915.052
AT ITER 635 NEW BEST:: SOT 708139 SOS 558212 HAS SOPS 335863 HAS SOUS 60520 HAS SOUPS 35326 WITH SCORE 35884.212
AT ITER 638 NEW BEST:: SOT 708099 SOS 559490 HAS SOPS 335580 HAS SOUS 60470 HAS SOUPS 35243 WITH SCORE 35802.49
AT ITER 645 NEW BEST:: SOT 708057 SOS 559427 HAS SOPS 335559 HAS SOUS 60428 HAS SOUPS 35222 WITH SCORE 35781.427
AT ITER 657 NEW BEST:: SOT 707901 SOS 559271 HAS SOPS 335403 HAS SOUS 60347 HAS SOUPS 35176 WITH SCORE 35735.271
AT ITER 664 NEW BEST:: SOT 707868 SOS 559084 HAS SOPS 335348 HAS SOUS 60325 HAS SOUPS 35165 WITH SCORE 35724.084
AT ITER 679 NEW BEST:: SOT 707888 SOS 559104 HAS SOPS 335348 HAS SOUS 60316 HAS SOUPS 35160 WITH SCORE 35719.104
AT ITER 680 NEW BEST:: SOT 707956 SOS 555617 HAS SOPS 332521 HAS SOUS 60234 HAS SOUPS 35122 WITH SCORE 35677.617
AT ITER 683 NEW BEST:: SOT 707913 SOS 555441 HAS SOPS 332345 HAS SOUS 60218 HAS SOUPS 35106 WITH SCORE 35661.441
AT ITER 687 NEW BEST:: SOT 707910 SOS 555435 HAS SOPS 332339 HAS SOUS 60212 HAS SOUPS 35100 WITH SCORE 35655.435
AT ITER 692 NEW BEST:: SOT 709210 SOS 557484 HAS SOPS 333929 HAS SOUS 60042 HAS SOUPS 35007 WITH SCORE 35564.484
AT ITER 695 NEW BEST:: SOT 709132 SOS 557367 HAS SOPS 333929 HAS SOUS 59900 HAS SOUPS 34967 WITH SCORE 35524.367
AT ITER 700 NEW BEST:: SOT 708453 SOS 556828 HAS SOPS 333600 HAS SOUS 59934 HAS SOUPS 34945 WITH SCORE 35501.828
AT ITER 703 NEW BEST:: SOT 708231 SOS 556606 HAS SOPS 333378 HAS SOUS 59934 HAS SOUPS 34945 WITH SCORE 35501.606
AT ITER 717 NEW BEST:: SOT 708212 SOS 556208 HAS SOPS 332944 HAS SOUS 59932 HAS SOUPS 34943 WITH SCORE 35499.208
AT ITER 732 NEW BEST:: SOT 708292 SOS 556443 HAS SOPS 332559 HAS SOUS 58242 HAS SOUPS 33399 WITH SCORE 33955.443
AT ITER 733 NEW BEST:: SOT 708280 SOS 556431 HAS SOPS 332547 HAS SOUS 58242 HAS SOUPS 33399 WITH SCORE 33955.431
AT ITER 736 NEW BEST:: SOT 708852 SOS 557099 HAS SOPS 332864 HAS SOUS 57947 HAS SOUPS 33125 WITH SCORE 33682.099
AT ITER 747 NEW BEST:: SOT 708889 SOS 557122 HAS SOPS 332887 HAS SOUS 57915 HAS SOUPS 33093 WITH SCORE 33650.122
AT ITER 754 NEW BEST:: SOT 708835 SOS 557068 HAS SOPS 332833 HAS SOUS 57861 HAS SOUPS 33039 WITH SCORE 33596.068
AT ITER 757 NEW BEST:: SOT 708826 SOS 557050 HAS SOPS 332833 HAS SOUS 57852 HAS SOUPS 33039 WITH SCORE 33596.05
AT ITER 759 NEW BEST:: SOT 708842 SOS 556884 HAS SOPS 332591 HAS SOUS 58187 HAS SOUPS 33039 WITH SCORE 33595.884
AT ITER 761 NEW BEST:: SOT 708765 SOS 556807 HAS SOPS 332591 HAS SOUS 58187 HAS SOUPS 33039 WITH SCORE 33595.807
AT ITER 788 NEW BEST:: SOT 706997 SOS 555169 HAS SOPS 331160 HAS SOUS 58107 HAS SOUPS 32947 WITH SCORE 33502.169
AT ITER 791 NEW BEST:: SOT 707092 SOS 555312 HAS SOPS 331159 HAS SOUS 58154 HAS SOUPS 32946 WITH SCORE 33501.312
AT ITER 808 NEW BEST:: SOT 705047 SOS 549623 HAS SOPS 329620 HAS SOUS 58015 HAS SOUPS 32870 WITH SCORE 33419.623
AT ITER 809 NEW BEST:: SOT 705047 SOS 549644 HAS SOPS 329641 HAS SOUS 57994 HAS SOUPS 32849 WITH SCORE 33398.644
AT ITER 825 NEW BEST:: SOT 705040 SOS 548610 HAS SOPS 329117 HAS SOUS 57957 HAS SOUPS 32846 WITH SCORE 33394.61
AT ITER 838 NEW BEST:: SOT 705028 SOS 548598 HAS SOPS 329105 HAS SOUS 57957 HAS SOUPS 32846 WITH SCORE 33394.598
AT ITER 841 NEW BEST:: SOT 705258 SOS 548782 HAS SOPS 329335 HAS SOUS 57865 HAS SOUPS 32800 WITH SCORE 33348.782
AT ITER 850 NEW BEST:: SOT 705235 SOS 548437 HAS SOPS 329266 HAS SOUS 57773 HAS SOUPS 32731 WITH SCORE 33279.437
AT ITER 852 NEW BEST:: SOT 705235 SOS 548437 HAS SOPS 329266 HAS SOUS 57764 HAS SOUPS 32726 WITH SCORE 33274.437
AT ITER 853 NEW BEST:: SOT 705235 SOS 548437 HAS SOPS 329205 HAS SOUS 57759 HAS SOUPS 32721 WITH SCORE 33269.437
AT ITER 865 NEW BEST:: SOT 705147 SOS 549116 HAS SOPS 329422 HAS SOUS 57746 HAS SOUPS 32708 WITH SCORE 33257.116
AT ITER 868 NEW BEST:: SOT 705087 SOS 549072 HAS SOPS 329378 HAS SOUS 57740 HAS SOUPS 32694 WITH SCORE 33243.072
AT ITER 882 NEW BEST:: SOT 704971 SOS 548664 HAS SOPS 329209 HAS SOUS 57688 HAS SOUPS 32672 WITH SCORE 33220.664
AT ITER 885 NEW BEST:: SOT 703301 SOS 543583 HAS SOPS 327406 HAS SOUS 58144 HAS SOUPS 32535 WITH SCORE 33078.583
AT ITER 889 NEW BEST:: SOT 703223 SOS 543466 HAS SOPS 327367 HAS SOUS 58066 HAS SOUPS 32496 WITH SCORE 33039.466
AT ITER 891 NEW BEST:: SOT 703209 SOS 543438 HAS SOPS 327353 HAS SOUS 58038 HAS SOUPS 32482 WITH SCORE 33025.438
AT ITER 894 NEW BEST:: SOT 703176 SOS 540043 HAS SOPS 323919 HAS SOUS 58033 HAS SOUPS 32477 WITH SCORE 33017.043
AT ITER 897 NEW BEST:: SOT 703314 SOS 540218 HAS SOPS 323983 HAS SOUS 57801 HAS SOUPS 32282 WITH SCORE 32822.218
AT ITER 906 NEW BEST:: SOT 702514 SOS 539296 HAS SOPS 323465 HAS SOUS 57811 HAS SOUPS 32254 WITH SCORE 32793.296
AT ITER 907 NEW BEST:: SOT 702445 SOS 539158 HAS SOPS 323396 HAS SOUS 57676 HAS SOUPS 32208 WITH SCORE 32747.158
AT ITER 912 NEW BEST:: SOT 702340 SOS 539053 HAS SOPS 323306 HAS SOUS 57550 HAS SOUPS 32138 WITH SCORE 32677.053
AT ITER 940 NEW BEST:: SOT 702367 SOS 539200 HAS SOPS 323344 HAS SOUS 57516 HAS SOUPS 32104 WITH SCORE 32643.2
AT ITER 955 NEW BEST:: SOT 701274 SOS 538107 HAS SOPS 322821 HAS SOUS 57511 HAS SOUPS 32099 WITH SCORE 32637.107
AT ITER 961 NEW BEST:: SOT 700890 SOS 537723 HAS SOPS 322437 HAS SOUS 57511 HAS SOUPS 32099 WITH SCORE 32636.722999999998
AT ITER 964 NEW BEST:: SOT 700464 SOS 537310 HAS SOPS 322061 HAS SOUS 57471 HAS SOUPS 32054 WITH SCORE 32591.31
AT ITER 965 NEW BEST:: SOT 698917 SOS 532992 HAS SOPS 320977 HAS SOUS 57301 HAS SOUPS 32025 WITH SCORE 32557.992
AT ITER 989 NEW BEST:: SOT 698869 SOS 532896 HAS SOPS 320929 HAS SOUS 57205 HAS SOUPS 31977 WITH SCORE 32509.896
AT ITER 996 NEW BEST:: SOT 698799 SOS 528244 HAS SOPS 316277 HAS SOUS 57174 HAS SOUPS 31946 WITH SCORE 32474.244
AT ITER 1003 NEW BEST:: SOT 698789 SOS 528224 HAS SOPS 316277 HAS SOUS 57164 HAS SOUPS 31946 WITH SCORE 32474.224
AT ITER 1011 NEW BEST:: SOT 697878 SOS 527242 HAS SOPS 315437 HAS SOUS 57048 HAS SOUPS 31921 WITH SCORE 32448.242
AT ITER 1029 NEW BEST:: SOT 697858 SOS 527262 HAS SOPS 315497 HAS SOUS 56918 HAS SOUPS 31901 WITH SCORE 32428.262
AT ITER 1033 NEW BEST:: SOT 700021 SOS 529290 HAS SOPS 316875 HAS SOUS 56833 HAS SOUPS 31890 WITH SCORE 32419.29
AT ITER 1057 NEW BEST:: SOT 700021 SOS 529238 HAS SOPS 316875 HAS SOUS 56781 HAS SOUPS 31890 WITH SCORE 32419.238
AT ITER 1063 NEW BEST:: SOT 699915 SOS 530334 HAS SOPS 317341 HAS SOUS 56703 HAS SOUPS 31812 WITH SCORE 32342.334
AT ITER 1073 NEW BEST:: SOT 699963 SOS 530430 HAS SOPS 317341 HAS SOUS 56743 HAS SOUPS 31807 WITH SCORE 32337.43
AT ITER 1076 NEW BEST:: SOT 699958 SOS 530420 HAS SOPS 317341 HAS SOUS 56738 HAS SOUPS 31807 WITH SCORE 32337.42
AT ITER 1083 NEW BEST:: SOT 699958 SOS 530420 HAS SOPS 317341 HAS SOUS 56693 HAS SOUPS 31782 WITH SCORE 32312.42
AT ITER 1095 NEW BEST:: SOT 699931 SOS 530393 HAS SOPS 317341 HAS SOUS 56693 HAS SOUPS 31782 WITH SCORE 32312.393
AT ITER 1105 NEW BEST:: SOT 700059 SOS 533863 HAS SOPS 319163 HAS SOUS 56616 HAS SOUPS 31754 WITH SCORE 32287.863
AT ITER 1108 NEW BEST:: SOT 700065 SOS 533349 HAS SOPS 318901 HAS SOUS 56572 HAS SOUPS 31718 WITH SCORE 32251.349
AT ITER 1110 NEW BEST:: SOT 700050 SOS 533139 HAS SOPS 318871 HAS SOUS 56526 HAS SOUPS 31687 WITH SCORE 32220.139
AT ITER 1115 NEW BEST:: SOT 700086 SOS 533175 HAS SOPS 318866 HAS SOUS 56521 HAS SOUPS 31682 WITH SCORE 32215.175
AT ITER 1140 NEW BEST:: SOT 699954 SOS 533043 HAS SOPS 318734 HAS SOUS 56521 HAS SOUPS 31682 WITH SCORE 32215.043
AT ITER 1142 NEW BEST:: SOT 699824 SOS 532819 HAS SOPS 318698 HAS SOUS 56415 HAS SOUPS 31665 WITH SCORE 32197.819
AT ITER 1156 NEW BEST:: SOT 699294 SOS 532316 HAS SOPS 318462 HAS SOUS 56409 HAS SOUPS 31650 WITH SCORE 32182.316
AT ITER 1167 NEW BEST:: SOT 699329 SOS 531252 HAS SOPS 317920 HAS SOUS 56390 HAS SOUPS 31606 WITH SCORE 32137.252
AT ITER 1200 NEW BEST:: SOT 699231 SOS 531288 HAS SOPS 317564 HAS SOUS 55796 HAS SOUPS 31126 WITH SCORE 31657.288
AT ITER 1205 NEW BEST:: SOT 699349 SOS 531908 HAS SOPS 317948 HAS SOUS 55210 HAS SOUPS 30998 WITH SCORE 31529.908
AT ITER 1206 NEW BEST:: SOT 699350 SOS 531910 HAS SOPS 317949 HAS SOUS 55210 HAS SOUPS 30997 WITH SCORE 31528.91
AT ITER 1209 NEW BEST:: SOT 699436 SOS 531413 HAS SOPS 317967 HAS SOUS 55207 HAS SOUPS 30995 WITH SCORE 31526.413
AT ITER 1223 NEW BEST:: SOT 699395 SOS 526863 HAS SOPS 314332 HAS SOUS 55074 HAS SOUPS 30923 WITH SCORE 31449.863
AT ITER 1235 NEW BEST:: SOT 699371 SOS 526821 HAS SOPS 314224 HAS SOUS 55038 HAS SOUPS 30893 WITH SCORE 31419.821
AT ITER 1241 NEW BEST:: SOT 699345 SOS 526795 HAS SOPS 314224 HAS SOUS 55038 HAS SOUPS 30893 WITH SCORE 31419.795
AT ITER 1248 NEW BEST:: SOT 699264 SOS 526673 HAS SOPS 314184 HAS SOUS 54957 HAS SOUPS 30853 WITH SCORE 31379.673
AT ITER 1254 NEW BEST:: SOT 699252 SOS 526649 HAS SOPS 314184 HAS SOUS 54945 HAS SOUPS 30853 WITH SCORE 31379.649
AT ITER 1264 NEW BEST:: SOT 699248 SOS 526553 HAS SOPS 314120 HAS SOUS 54945 HAS SOUPS 30853 WITH SCORE 31379.553
AT ITER 1273 NEW BEST:: SOT 697664 SOS 525101 HAS SOPS 313064 HAS SOUS 55069 HAS SOUPS 30848 WITH SCORE 31373.101
AT ITER 1275 NEW BEST:: SOT 697377 SOS 524501 HAS SOPS 312854 HAS SOUS 55039 HAS SOUPS 30844 WITH SCORE 31368.501
AT ITER 1293 NEW BEST:: SOT 697377 SOS 524501 HAS SOPS 312854 HAS SOUS 55003 HAS SOUPS 30824 WITH SCORE 31348.501
AT ITER 1302 NEW BEST:: SOT 697373 SOS 524493 HAS SOPS 312854 HAS SOUS 54999 HAS SOUPS 30824 WITH SCORE 31348.493
AT ITER 1303 NEW BEST:: SOT 697344 SOS 523565 HAS SOPS 312361 HAS SOUS 54967 HAS SOUPS 30821 WITH SCORE 31344.565
AT ITER 1319 NEW BEST:: SOT 697322 SOS 523511 HAS SOPS 312345 HAS SOUS 54965 HAS SOUPS 30819 WITH SCORE 31342.511
AT ITER 1334 NEW BEST:: SOT 697314 SOS 523441 HAS SOPS 312270 HAS SOUS 54899 HAS SOUPS 30791 WITH SCORE 31314.441
AT ITER 1349 NEW BEST:: SOT 697312 SOS 523077 HAS SOPS 311906 HAS SOUS 54873 HAS SOUPS 30765 WITH SCORE 31288.077
AT ITER 1360 NEW BEST:: SOT 697288 SOS 522633 HAS SOPS 311822 HAS SOUS 54825 HAS SOUPS 30741 WITH SCORE 31263.633
AT ITER 1367 NEW BEST:: SOT 698386 SOS 523955 HAS SOPS 312584 HAS SOUS 54803 HAS SOUPS 30719 WITH SCORE 31242.955
AT ITER 1397 NEW BEST:: SOT 698425 SOS 523994 HAS SOPS 312598 HAS SOUS 54792 HAS SOUPS 30708 WITH SCORE 31231.994
AT ITER 1405 NEW BEST:: SOT 698397 SOS 523938 HAS SOPS 312598 HAS SOUS 54737 HAS SOUPS 30693 WITH SCORE 31216.938
AT ITER 1408 NEW BEST:: SOT 698121 SOS 523662 HAS SOPS 312322 HAS SOUS 54737 HAS SOUPS 30693 WITH SCORE 31216.662
AT ITER 1411 NEW BEST:: SOT 698060 SOS 523623 HAS SOPS 312322 HAS SOUS 54759 HAS SOUPS 30693 WITH SCORE 31216.623
AT ITER 1412 NEW BEST:: SOT 697975 SOS 523495 HAS SOPS 312280 HAS SOUS 54691 HAS SOUPS 30651 WITH SCORE 31174.495
AT ITER 1447 NEW BEST:: SOT 697975 SOS 523495 HAS SOPS 312280 HAS SOUS 54655 HAS SOUPS 30631 WITH SCORE 31154.495
AT ITER 1456 NEW BEST:: SOT 697873 SOS 523393 HAS SOPS 312178 HAS SOUS 54649 HAS SOUPS 30627 WITH SCORE 31150.393
AT ITER 1457 NEW BEST:: SOT 697869 SOS 523373 HAS SOPS 312173 HAS SOUS 54646 HAS SOUPS 30625 WITH SCORE 31148.373
AT ITER 1467 NEW BEST:: SOT 697791 SOS 523295 HAS SOPS 312095 HAS SOUS 54646 HAS SOUPS 30625 WITH SCORE 31148.295
AT ITER 1469 NEW BEST:: SOT 697714 SOS 523156 HAS SOPS 312080 HAS SOUS 54569 HAS SOUPS 30610 WITH SCORE 31133.156
AT ITER 1470 NEW BEST:: SOT 697693 SOS 523135 HAS SOPS 312059 HAS SOUS 54551 HAS SOUPS 30592 WITH SCORE 31115.135
AT ITER 1476 NEW BEST:: SOT 697691 SOS 522111 HAS SOPS 312430 HAS SOUS 54404 HAS SOUPS 30538 WITH SCORE 31060.111
AT ITER 1482 NEW BEST:: SOT 697817 SOS 522302 HAS SOPS 312428 HAS SOUS 54465 HAS SOUPS 30536 WITH SCORE 31058.302
AT ITER 1489 NEW BEST:: SOT 697816 SOS 522299 HAS SOPS 312425 HAS SOUS 54464 HAS SOUPS 30535 WITH SCORE 31057.299
AT ITER 1497 NEW BEST:: SOT 697808 SOS 522283 HAS SOPS 312425 HAS SOUS 54456 HAS SOUPS 30535 WITH SCORE 31057.283
AT ITER 1498 NEW BEST:: SOT 697822 SOS 523526 HAS SOPS 312963 HAS SOUS 54498 HAS SOUPS 30530 WITH SCORE 31053.526
AT ITER 1503 NEW BEST:: SOT 697825 SOS 523529 HAS SOPS 312966 HAS SOUS 54474 HAS SOUPS 30518 WITH SCORE 31041.529
AT ITER 1504 NEW BEST:: SOT 697825 SOS 523529 HAS SOPS 312966 HAS SOUS 54465 HAS SOUPS 30513 WITH SCORE 31036.529
AT ITER 1505 NEW BEST:: SOT 697780 SOS 523358 HAS SOPS 312903 HAS SOUS 54423 HAS SOUPS 30480 WITH SCORE 31003.358
AT ITER 1521 NEW BEST:: SOT 697912 SOS 523490 HAS SOPS 313035 HAS SOUS 54420 HAS SOUPS 30478 WITH SCORE 31001.49
AT ITER 1526 NEW BEST:: SOT 697886 SOS 523438 HAS SOPS 313035 HAS SOUS 54277 HAS SOUPS 30413 WITH SCORE 30936.438
AT ITER 1597 NEW BEST:: SOT 697877 SOS 523321 HAS SOPS 313026 HAS SOUS 54257 HAS SOUPS 30402 WITH SCORE 30925.321
AT ITER 1599 NEW BEST:: SOT 697964 SOS 523408 HAS SOPS 313063 HAS SOUS 54244 HAS SOUPS 30389 WITH SCORE 30912.408
AT ITER 1614 NEW BEST:: SOT 697964 SOS 523216 HAS SOPS 312868 HAS SOUS 54219 HAS SOUPS 30364 WITH SCORE 30887.216
AT ITER 1632 NEW BEST:: SOT 697853 SOS 521329 HAS SOPS 312151 HAS SOUS 54112 HAS SOUPS 30335 WITH SCORE 30856.329
AT ITER 1652 NEW BEST:: SOT 697793 SOS 521173 HAS SOPS 312115 HAS SOUS 54106 HAS SOUPS 30335 WITH SCORE 30856.173
AT ITER 1660 NEW BEST:: SOT 698131 SOS 522203 HAS SOPS 312469 HAS SOUS 53867 HAS SOUPS 30257 WITH SCORE 30779.203
AT ITER 1665 NEW BEST:: SOT 698143 SOS 522103 HAS SOPS 312177 HAS SOUS 53883 HAS SOUPS 30257 WITH SCORE 30779.103
AT ITER 1686 NEW BEST:: SOT 698143 SOS 522132 HAS SOPS 312177 HAS SOUS 53882 HAS SOUPS 30227 WITH SCORE 30749.132
AT ITER 1687 NEW BEST:: SOT 697912 SOS 523550 HAS SOPS 312105 HAS SOUS 53835 HAS SOUPS 30173 WITH SCORE 30696.55
AT ITER 1696 NEW BEST:: SOT 697760 SOS 523481 HAS SOPS 311989 HAS SOUS 53644 HAS SOUPS 30029 WITH SCORE 30552.481
AT ITER 1718 NEW BEST:: SOT 697751 SOS 523472 HAS SOPS 311980 HAS SOUS 53635 HAS SOUPS 30020 WITH SCORE 30543.472
AT ITER 1774 NEW BEST:: SOT 697751 SOS 522320 HAS SOPS 310828 HAS SOUS 53616 HAS SOUPS 30001 WITH SCORE 30523.32
AT ITER 1786 NEW BEST:: SOT 697749 SOS 522316 HAS SOPS 310824 HAS SOUS 53614 HAS SOUPS 29999 WITH SCORE 30521.316
AT ITER 1800 NEW BEST:: SOT 696855 SOS 521452 HAS SOPS 310191 HAS SOUS 53674 HAS SOUPS 29982 WITH SCORE 30503.452
AT ITER 1805 NEW BEST:: SOT 696855 SOS 521432 HAS SOPS 310191 HAS SOUS 53654 HAS SOUPS 29982 WITH SCORE 30503.432
AT ITER 1817 NEW BEST:: SOT 696855 SOS 521432 HAS SOPS 310191 HAS SOUS 53645 HAS SOUPS 29977 WITH SCORE 30498.432
AT ITER 1834 NEW BEST:: SOT 697157 SOS 521703 HAS SOPS 310338 HAS SOUS 53606 HAS SOUPS 29969 WITH SCORE 30490.703
AT ITER 1842 NEW BEST:: SOT 697152 SOS 521693 HAS SOPS 310328 HAS SOUS 53522 HAS SOUPS 29885 WITH SCORE 30406.693
AT ITER 1850 NEW BEST:: SOT 697107 SOS 521850 HAS SOPS 310308 HAS SOUS 53473 HAS SOUPS 29839 WITH SCORE 30360.85
AT ITER 1865 NEW BEST:: SOT 697108 SOS 521942 HAS SOPS 310468 HAS SOUS 53457 HAS SOUPS 29833 WITH SCORE 30354.942
AT ITER 1885 NEW BEST:: SOT 697109 SOS 521952 HAS SOPS 310468 HAS SOUS 53456 HAS SOUPS 29832 WITH SCORE 30353.952
AT ITER 1892 NEW BEST:: SOT 697100 SOS 522269 HAS SOPS 310605 HAS SOUS 53447 HAS SOUPS 29818 WITH SCORE 30340.269
AT ITER 1893 NEW BEST:: SOT 697092 SOS 522261 HAS SOPS 310605 HAS SOUS 53439 HAS SOUPS 29810 WITH SCORE 30332.261
AT ITER 1907 NEW BEST:: SOT 696498 SOS 516569 HAS SOPS 307821 HAS SOUS 53325 HAS SOUPS 29778 WITH SCORE 30294.569
AT ITER 1917 NEW BEST:: SOT 696496 SOS 516567 HAS SOPS 307819 HAS SOUS 53324 HAS SOUPS 29777 WITH SCORE 30293.567
AT ITER 1926 NEW BEST:: SOT 696331 SOS 515427 HAS SOPS 306994 HAS SOUS 53308 HAS SOUPS 29776 WITH SCORE 30291.427
AT ITER 1938 NEW BEST:: SOT 696383 SOS 516063 HAS SOPS 307351 HAS SOUS 53296 HAS SOUPS 29764 WITH SCORE 30280.063
AT ITER 1945 NEW BEST:: SOT 696375 SOS 516047 HAS SOPS 307351 HAS SOUS 53288 HAS SOUPS 29764 WITH SCORE 30280.047
AT ITER 1946 NEW BEST:: SOT 694534 SOS 514025 HAS SOPS 306289 HAS SOUS 53184 HAS SOUPS 29660 WITH SCORE 30174.025
AT ITER 1954 NEW BEST:: SOT 694516 SOS 514072 HAS SOPS 306301 HAS SOUS 53168 HAS SOUPS 29629 WITH SCORE 30143.072
AT ITER 1957 NEW BEST:: SOT 694516 SOS 514159 HAS SOPS 306301 HAS SOUS 53251 HAS SOUPS 29625 WITH SCORE 30139.159
AT ITER 1960 NEW BEST:: SOT 694540 SOS 514207 HAS SOPS 306313 HAS SOUS 53249 HAS SOUPS 29621 WITH SCORE 30135.207
AT ITER 1964 NEW BEST:: SOT 694414 SOS 513943 HAS SOPS 306229 HAS SOUS 53231 HAS SOUPS 29615 WITH SCORE 30128.943
AT ITER 1987 NEW BEST:: SOT 693752 SOS 513153 HAS SOPS 305759 HAS SOUS 53209 HAS SOUPS 29593 WITH SCORE 30106.153
AT ITER 1988 NEW BEST:: SOT 693752 SOS 513153 HAS SOPS 305759 HAS SOUS 53137 HAS SOUPS 29553 WITH SCORE 30066.153
AT ITER 2031 NEW BEST:: SOT 693758 SOS 513171 HAS SOPS 305761 HAS SOUS 53132 HAS SOUPS 29548 WITH SCORE 30061.171
AT ITER 2033 NEW BEST:: SOT 693722 SOS 513117 HAS SOPS 305761 HAS SOUS 53078 HAS SOUPS 29512 WITH SCORE 30025.117
AT ITER 2048 NEW BEST:: SOT 693731 SOS 512904 HAS SOPS 305620 HAS SOUS 53069 HAS SOUPS 29503 WITH SCORE 30015.904
AT ITER 2058 NEW BEST:: SOT 693716 SOS 512874 HAS SOPS 305620 HAS SOUS 53054 HAS SOUPS 29503 WITH SCORE 30015.874
AT ITER 2059 NEW BEST:: SOT 693786 SOS 512944 HAS SOPS 305634 HAS SOUS 53041 HAS SOUPS 29502 WITH SCORE 30014.944
AT ITER 2071 NEW BEST:: SOT 693788 SOS 513116 HAS SOPS 305626 HAS SOUS 53043 HAS SOUPS 29492 WITH SCORE 30005.116
AT ITER 2105 NEW BEST:: SOT 693800 SOS 513128 HAS SOPS 305623 HAS SOUS 53040 HAS SOUPS 29489 WITH SCORE 30002.128
AT ITER 2112 NEW BEST:: SOT 693074 SOS 512402 HAS SOPS 304897 HAS SOUS 53022 HAS SOUPS 29479 WITH SCORE 29991.402000000002
AT ITER 2118 NEW BEST:: SOT 694843 SOS 513893 HAS SOPS 305459 HAS SOUS 52900 HAS SOUPS 29447 WITH SCORE 29960.893
AT ITER 2119 NEW BEST:: SOT 694710 SOS 513732 HAS SOPS 305319 HAS SOUS 52872 HAS SOUPS 29447 WITH SCORE 29960.732
AT ITER 2126 NEW BEST:: SOT 694248 SOS 513282 HAS SOPS 304845 HAS SOUS 52884 HAS SOUPS 29447 WITH SCORE 29960.282
AT ITER 2127 NEW BEST:: SOT 694307 SOS 514755 HAS SOPS 304803 HAS SOUS 52943 HAS SOUPS 29405 WITH SCORE 29919.755
AT ITER 2147 NEW BEST:: SOT 694538 SOS 511305 HAS SOPS 301905 HAS SOUS 52905 HAS SOUPS 29396 WITH SCORE 29907.305
AT ITER 2164 NEW BEST:: SOT 694238 SOS 511005 HAS SOPS 301755 HAS SOUS 52905 HAS SOUPS 29396 WITH SCORE 29907.005
AT ITER 2166 NEW BEST:: SOT 694232 SOS 510993 HAS SOPS 301755 HAS SOUS 52872 HAS SOUPS 29381 WITH SCORE 29891.993
AT ITER 2183 NEW BEST:: SOT 694276 SOS 511081 HAS SOPS 301755 HAS SOUS 52804 HAS SOUPS 29311 WITH SCORE 29822.081
AT ITER 2199 NEW BEST:: SOT 694276 SOS 511047 HAS SOPS 301716 HAS SOUS 52747 HAS SOUPS 29272 WITH SCORE 29783.047
AT ITER 2202 NEW BEST:: SOT 693126 SOS 506348 HAS SOPS 299318 HAS SOUS 52658 HAS SOUPS 29183 WITH SCORE 29689.348
AT ITER 2209 NEW BEST:: SOT 693018 SOS 506254 HAS SOPS 299185 HAS SOUS 52636 HAS SOUPS 29136 WITH SCORE 29642.254
AT ITER 2216 NEW BEST:: SOT 693014 SOS 506298 HAS SOPS 299203 HAS SOUS 52682 HAS SOUPS 29134 WITH SCORE 29640.298
AT ITER 2250 NEW BEST:: SOT 693007 SOS 506291 HAS SOPS 299196 HAS SOUS 52677 HAS SOUPS 29129 WITH SCORE 29635.291
AT ITER 2258 NEW BEST:: SOT 694726 SOS 508125 HAS SOPS 300833 HAS SOUS 52662 HAS SOUPS 29105 WITH SCORE 29613.125
AT ITER 2278 NEW BEST:: SOT 694834 SOS 508221 HAS SOPS 300881 HAS SOUS 52638 HAS SOUPS 29093 WITH SCORE 29601.221
AT ITER 2292 NEW BEST:: SOT 694809 SOS 508199 HAS SOPS 300857 HAS SOUS 52629 HAS SOUPS 29082 WITH SCORE 29590.199
AT ITER 2297 NEW BEST:: SOT 694203 SOS 505728 HAS SOPS 299520 HAS SOUS 52504 HAS SOUPS 28993 WITH SCORE 29498.728
AT ITER 2342 NEW BEST:: SOT 693823 SOS 504208 HAS SOPS 298684 HAS SOUS 52496 HAS SOUPS 28988 WITH SCORE 29492.208
AT ITER 2362 NEW BEST:: SOT 693822 SOS 504174 HAS SOPS 298678 HAS SOUS 52494 HAS SOUPS 28988 WITH SCORE 29492.174
AT ITER 2388 NEW BEST:: SOT 693811 SOS 504146 HAS SOPS 298654 HAS SOUS 52493 HAS SOUPS 28986 WITH SCORE 29490.146
AT ITER 2413 NEW BEST:: SOT 693661 SOS 503996 HAS SOPS 298579 HAS SOUS 52493 HAS SOUPS 28986 WITH SCORE 29489.996
AT ITER 2439 NEW BEST:: SOT 693736 SOS 504071 HAS SOPS 298579 HAS SOUS 52452 HAS SOUPS 28981 WITH SCORE 29485.071
AT ITER 2440 NEW BEST:: SOT 693864 SOS 504231 HAS SOPS 298659 HAS SOUS 52420 HAS SOUPS 28949 WITH SCORE 29453.231
AT ITER 2449 NEW BEST:: SOT 693864 SOS 504231 HAS SOPS 298659 HAS SOUS 52411 HAS SOUPS 28944 WITH SCORE 29448.231
AT ITER 2464 NEW BEST:: SOT 693864 SOS 504231 HAS SOPS 298659 HAS SOUS 52408 HAS SOUPS 28942 WITH SCORE 29446.231
AT ITER 2524 NEW BEST:: SOT 693856 SOS 504425 HAS SOPS 298853 HAS SOUS 52400 HAS SOUPS 28934 WITH SCORE 29438.425
AT ITER 2542 NEW BEST:: SOT 693853 SOS 504418 HAS SOPS 298850 HAS SOUS 52393 HAS SOUPS 28931 WITH SCORE 29435.418
AT ITER 2546 NEW BEST:: SOT 693887 SOS 504996 HAS SOPS 299428 HAS SOUS 52371 HAS SOUPS 28909 WITH SCORE 29413.996
AT ITER 2552 NEW BEST:: SOT 693938 SOS 503918 HAS SOPS 299040 HAS SOUS 52291 HAS SOUPS 28875 WITH SCORE 29378.918
AT ITER 2565 NEW BEST:: SOT 692540 SOS 500241 HAS SOPS 298121 HAS SOUS 52260 HAS SOUPS 28877 WITH SCORE 29377.241
AT ITER 2587 NEW BEST:: SOT 692480 SOS 500181 HAS SOPS 298061 HAS SOUS 52200 HAS SOUPS 28817 WITH SCORE 29317.181
AT ITER 2596 NEW BEST:: SOT 691925 SOS 499737 HAS SOPS 298727 HAS SOUS 50484 HAS SOUPS 28698 WITH SCORE 29197.737
AT ITER 2607 NEW BEST:: SOT 691923 SOS 499735 HAS SOPS 298727 HAS SOUS 50484 HAS SOUPS 28698 WITH SCORE 29197.735
AT ITER 2637 NEW BEST:: SOT 691866 SOS 499546 HAS SOPS 298643 HAS SOUS 50479 HAS SOUPS 28693 WITH SCORE 29192.546
AT ITER 2643 NEW BEST:: SOT 691866 SOS 499546 HAS SOPS 298643 HAS SOUS 50437 HAS SOUPS 28651 WITH SCORE 29150.546
AT ITER 2647 NEW BEST:: SOT 691812 SOS 499407 HAS SOPS 298607 HAS SOUS 50334 HAS SOUPS 28615 WITH SCORE 29114.407
AT ITER 2660 NEW BEST:: SOT 691785 SOS 499374 HAS SOPS 298580 HAS SOUS 50325 HAS SOUPS 28612 WITH SCORE 29111.374
AT ITER 2663 NEW BEST:: SOT 692124 SOS 499660 HAS SOPS 298915 HAS SOUS 50265 HAS SOUPS 28605 WITH SCORE 29104.66
AT ITER 2680 NEW BEST:: SOT 692056 SOS 498534 HAS SOPS 297789 HAS SOUS 50252 HAS SOUPS 28592 WITH SCORE 29090.534
AT ITER 2697 NEW BEST:: SOT 692029 SOS 498510 HAS SOPS 297774 HAS SOUS 50255 HAS SOUPS 28592 WITH SCORE 29090.51
AT ITER 2719 NEW BEST:: SOT 692104 SOS 498585 HAS SOPS 297774 HAS SOUS 50165 HAS SOUPS 28542 WITH SCORE 29040.585
AT ITER 2726 NEW BEST:: SOT 692089 SOS 498477 HAS SOPS 297660 HAS SOUS 50138 HAS SOUPS 28515 WITH SCORE 29013.477
AT ITER 2770 NEW BEST:: SOT 692101 SOS 498084 HAS SOPS 297546 HAS SOUS 50117 HAS SOUPS 28512 WITH SCORE 29010.084
AT ITER 2776 NEW BEST:: SOT 692009 SOS 498470 HAS SOPS 297778 HAS SOUS 50087 HAS SOUPS 28510 WITH SCORE 29008.47
AT ITER 2782 NEW BEST:: SOT 692198 SOS 498621 HAS SOPS 297549 HAS SOUS 50588 HAS SOUPS 28502 WITH SCORE 29000.621
AT ITER 2788 NEW BEST:: SOT 692139 SOS 498107 HAS SOPS 297665 HAS SOUS 50539 HAS SOUPS 28495 WITH SCORE 28993.107
AT ITER 2797 NEW BEST:: SOT 692244 SOS 496237 HAS SOPS 296770 HAS SOUS 50444 HAS SOUPS 28465 WITH SCORE 28961.237
AT ITER 2801 NEW BEST:: SOT 692569 SOS 496562 HAS SOPS 296945 HAS SOUS 50419 HAS SOUPS 28440 WITH SCORE 28936.562
AT ITER 2822 NEW BEST:: SOT 692509 SOS 496469 HAS SOPS 296918 HAS SOUS 50359 HAS SOUPS 28413 WITH SCORE 28909.469
AT ITER 2855 NEW BEST:: SOT 692519 SOS 496479 HAS SOPS 296922 HAS SOUS 50353 HAS SOUPS 28409 WITH SCORE 28905.479
AT ITER 2864 NEW BEST:: SOT 693803 SOS 499697 HAS SOPS 297870 HAS SOUS 50245 HAS SOUPS 28401 WITH SCORE 28900.697
AT ITER 2874 NEW BEST:: SOT 693723 SOS 497917 HAS SOPS 297260 HAS SOUS 50055 HAS SOUPS 28289 WITH SCORE 28786.917
AT ITER 2900 NEW BEST:: SOT 693713 SOS 497972 HAS SOPS 297315 HAS SOUS 50035 HAS SOUPS 28269 WITH SCORE 28766.972
AT ITER 2947 NEW BEST:: SOT 693730 SOS 497989 HAS SOPS 297315 HAS SOUS 49999 HAS SOUPS 28249 WITH SCORE 28746.989
AT ITER 2968 NEW BEST:: SOT 693722 SOS 497853 HAS SOPS 297239 HAS SOUS 49991 HAS SOUPS 28245 WITH SCORE 28742.853
AT ITER 2969 NEW BEST:: SOT 693722 SOS 497818 HAS SOPS 297239 HAS SOUS 49956 HAS SOUPS 28245 WITH SCORE 28742.818
AT ITER 2983 NEW BEST:: SOT 693702 SOS 498048 HAS SOPS 297369 HAS SOUS 49946 HAS SOUPS 28240 WITH SCORE 28738.048
AT ITER 2991 NEW BEST:: SOT 693694 SOS 498032 HAS SOPS 297369 HAS SOUS 49938 HAS SOUPS 28240 WITH SCORE 28738.032
AT ITER 3012 NEW BEST:: SOT 693647 SOS 497985 HAS SOPS 297369 HAS SOUS 49830 HAS SOUPS 28180 WITH SCORE 28677.985
AT ITER 3026 NEW BEST:: SOT 693597 SOS 498555 HAS SOPS 297959 HAS SOUS 49818 HAS SOUPS 28178 WITH SCORE 28676.555
AT ITER 3045 NEW BEST:: SOT 693658 SOS 498713 HAS SOPS 298001 HAS SOUS 49819 HAS SOUPS 28175 WITH SCORE 28673.713
AT ITER 3050 NEW BEST:: SOT 693662 SOS 498719 HAS SOPS 298003 HAS SOUS 49805 HAS SOUPS 28167 WITH SCORE 28665.719
AT ITER 3071 NEW BEST:: SOT 693786 SOS 498886 HAS SOPS 297977 HAS SOUS 49822 HAS SOUPS 28141 WITH SCORE 28639.886
AT ITER 3075 NEW BEST:: SOT 693585 SOS 498467 HAS SOPS 297817 HAS SOUS 49776 HAS SOUPS 28112 WITH SCORE 28610.467
AT ITER 3077 NEW BEST:: SOT 693445 SOS 498298 HAS SOPS 297706 HAS SOUS 49736 HAS SOUPS 28097 WITH SCORE 28595.298
AT ITER 3139 NEW BEST:: SOT 693734 SOS 498520 HAS SOPS 297646 HAS SOUS 49553 HAS SOUPS 27970 WITH SCORE 28468.52
AT ITER 3182 NEW BEST:: SOT 693729 SOS 498040 HAS SOPS 297166 HAS SOUS 49553 HAS SOUPS 27970 WITH SCORE 28468.04
AT ITER 3184 NEW BEST:: SOT 693661 SOS 497844 HAS SOPS 297069 HAS SOUS 49515 HAS SOUPS 27964 WITH SCORE 28461.844
AT ITER 3188 NEW BEST:: SOT 693981 SOS 499605 HAS SOPS 298192 HAS SOUS 48325 HAS SOUPS 27939 WITH SCORE 28438.605
AT ITER 3190 NEW BEST:: SOT 693981 SOS 499493 HAS SOPS 298132 HAS SOUS 48325 HAS SOUPS 27939 WITH SCORE 28438.493
AT ITER 3191 NEW BEST:: SOT 693981 SOS 499398 HAS SOPS 298052 HAS SOUS 48324 HAS SOUPS 27939 WITH SCORE 28438.398
AT ITER 3196 NEW BEST:: SOT 693929 SOS 499346 HAS SOPS 298052 HAS SOUS 48324 HAS SOUPS 27939 WITH SCORE 28438.346
AT ITER 3213 NEW BEST:: SOT 693326 SOS 497514 HAS SOPS 297382 HAS SOUS 48251 HAS SOUPS 27926 WITH SCORE 28423.514
AT ITER 3239 NEW BEST:: SOT 693314 SOS 497502 HAS SOPS 297382 HAS SOUS 48251 HAS SOUPS 27926 WITH SCORE 28423.502
AT ITER 3249 NEW BEST:: SOT 693134 SOS 497322 HAS SOPS 297202 HAS SOUS 48251 HAS SOUPS 27926 WITH SCORE 28423.322
AT ITER 3264 NEW BEST:: SOT 693413 SOS 497865 HAS SOPS 297393 HAS SOUS 48322 HAS SOUPS 27925 WITH SCORE 28422.865
AT ITER 3270 NEW BEST:: SOT 693494 SOS 496280 HAS SOPS 296084 HAS SOUS 48304 HAS SOUPS 27902 WITH SCORE 28398.28
AT ITER 3281 NEW BEST:: SOT 693488 SOS 496274 HAS SOPS 296078 HAS SOUS 48299 HAS SOUPS 27897 WITH SCORE 28393.274
AT ITER 3287 NEW BEST:: SOT 693714 SOS 496841 HAS SOPS 296227 HAS SOUS 48295 HAS SOUPS 27893 WITH SCORE 28389.841
AT ITER 3304 NEW BEST:: SOT 693705 SOS 496356 HAS SOPS 295742 HAS SOUS 48267 HAS SOUPS 27865 WITH SCORE 28361.356
AT ITER 3316 NEW BEST:: SOT 694025 SOS 497156 HAS SOPS 295934 HAS SOUS 48203 HAS SOUPS 27801 WITH SCORE 28298.156
AT ITER 3327 NEW BEST:: SOT 693985 SOS 497076 HAS SOPS 295934 HAS SOUS 48163 HAS SOUPS 27801 WITH SCORE 28298.076
AT ITER 3332 NEW BEST:: SOT 694114 SOS 497214 HAS SOPS 296034 HAS SOUS 48148 HAS SOUPS 27800 WITH SCORE 28297.214
AT ITER 3334 NEW BEST:: SOT 693586 SOS 495982 HAS SOPS 295726 HAS SOUS 48064 HAS SOUPS 27760 WITH SCORE 28255.982
AT ITER 3340 NEW BEST:: SOT 693483 SOS 494994 HAS SOPS 295158 HAS SOUS 47963 HAS SOUPS 27687 WITH SCORE 28181.994
AT ITER 3375 NEW BEST:: SOT 693483 SOS 494994 HAS SOPS 295158 HAS SOUS 47960 HAS SOUPS 27685 WITH SCORE 28179.994
AT ITER 3400 NEW BEST:: SOT 693373 SOS 494864 HAS SOPS 295078 HAS SOUS 47950 HAS SOUPS 27675 WITH SCORE 28169.864
AT ITER 3407 NEW BEST:: SOT 693370 SOS 494816 HAS SOPS 295063 HAS SOUS 47938 HAS SOUPS 27663 WITH SCORE 28157.816
AT ITER 3409 NEW BEST:: SOT 693338 SOS 494768 HAS SOPS 294903 HAS SOUS 47914 HAS SOUPS 27631 WITH SCORE 28125.768
AT ITER 3424 NEW BEST:: SOT 693426 SOS 494856 HAS SOPS 294903 HAS SOUS 47905 HAS SOUPS 27626 WITH SCORE 28120.856
AT ITER 3454 NEW BEST:: SOT 692150 SOS 491724 HAS SOPS 294091 HAS SOUS 47763 HAS SOUPS 27600 WITH SCORE 28091.724
AT ITER 3466 NEW BEST:: SOT 692145 SOS 491314 HAS SOPS 293681 HAS SOUS 47763 HAS SOUPS 27600 WITH SCORE 28091.314
AT ITER 3476 NEW BEST:: SOT 692221 SOS 489889 HAS SOPS 292505 HAS SOUS 47759 HAS SOUPS 27596 WITH SCORE 28085.889
AT ITER 3478 NEW BEST:: SOT 692223 SOS 489893 HAS SOPS 292499 HAS SOUS 47756 HAS SOUPS 27593 WITH SCORE 28082.893
AT ITER 3501 NEW BEST:: SOT 692283 SOS 489953 HAS SOPS 292523 HAS SOUS 47750 HAS SOUPS 27587 WITH SCORE 28076.953
AT ITER 3503 NEW BEST:: SOT 692283 SOS 489953 HAS SOPS 292523 HAS SOUS 47741 HAS SOUPS 27582 WITH SCORE 28071.953
AT ITER 3508 NEW BEST:: SOT 691895 SOS 489141 HAS SOPS 292251 HAS SOUS 47720 HAS SOUPS 27579 WITH SCORE 28068.141
AT ITER 3513 NEW BEST:: SOT 691964 SOS 489210 HAS SOPS 292251 HAS SOUS 47603 HAS SOUPS 27514 WITH SCORE 28003.21
AT ITER 3537 NEW BEST:: SOT 691947 SOS 488921 HAS SOPS 291962 HAS SOUS 47586 HAS SOUPS 27497 WITH SCORE 27985.921
AT ITER 3543 NEW BEST:: SOT 691413 SOS 487543 HAS SOPS 290819 HAS SOUS 47548 HAS SOUPS 27459 WITH SCORE 27946.543
AT ITER 3561 NEW BEST:: SOT 691380 SOS 487417 HAS SOPS 290753 HAS SOUS 47542 HAS SOUPS 27456 WITH SCORE 27943.417
AT ITER 3618 NEW BEST:: SOT 691426 SOS 487486 HAS SOPS 290822 HAS SOUS 47539 HAS SOUPS 27453 WITH SCORE 27940.486
AT ITER 3619 NEW BEST:: SOT 691388 SOS 487448 HAS SOPS 290822 HAS SOUS 47539 HAS SOUPS 27453 WITH SCORE 27940.448
AT ITER 3654 NEW BEST:: SOT 691263 SOS 487318 HAS SOPS 290752 HAS SOUS 47529 HAS SOUPS 27443 WITH SCORE 27930.318
AT ITER 3663 NEW BEST:: SOT 691261 SOS 487314 HAS SOPS 290748 HAS SOUS 47525 HAS SOUPS 27439 WITH SCORE 27926.314
AT ITER 3690 NEW BEST:: SOT 691745 SOS 488852 HAS SOPS 291360 HAS SOUS 46995 HAS SOUPS 27312 WITH SCORE 27800.852
AT ITER 3694 NEW BEST:: SOT 691723 SOS 488824 HAS SOPS 291338 HAS SOUS 46989 HAS SOUPS 27312 WITH SCORE 27800.824
AT ITER 3696 NEW BEST:: SOT 691723 SOS 488824 HAS SOPS 291338 HAS SOUS 46980 HAS SOUPS 27307 WITH SCORE 27795.824
AT ITER 3703 NEW BEST:: SOT 691680 SOS 488781 HAS SOPS 291295 HAS SOUS 46956 HAS SOUPS 27283 WITH SCORE 27771.781
AT ITER 3727 NEW BEST:: SOT 691653 SOS 488709 HAS SOPS 291133 HAS SOUS 46922 HAS SOUPS 27249 WITH SCORE 27737.709
AT ITER 3751 NEW BEST:: SOT 691622 SOS 488678 HAS SOPS 291133 HAS SOUS 46922 HAS SOUPS 27249 WITH SCORE 27737.678
AT ITER 3761 NEW BEST:: SOT 691547 SOS 489548 HAS SOPS 291022 HAS SOUS 46880 HAS SOUPS 27178 WITH SCORE 27667.548
AT ITER 3766 NEW BEST:: SOT 691481 SOS 491220 HAS SOPS 291737 HAS SOUS 46838 HAS SOUPS 27148 WITH SCORE 27639.22
AT ITER 3775 NEW BEST:: SOT 691366 SOS 492320 HAS SOPS 292587 HAS SOUS 46823 HAS SOUPS 27138 WITH SCORE 27630.32
AT ITER 3816 NEW BEST:: SOT 691366 SOS 492320 HAS SOPS 292587 HAS SOUS 46805 HAS SOUPS 27128 WITH SCORE 27620.32
AT ITER 3873 NEW BEST:: SOT 691384 SOS 492338 HAS SOPS 292595 HAS SOUS 46803 HAS SOUPS 27126 WITH SCORE 27618.338
AT ITER 3874 NEW BEST:: SOT 691872 SOS 493637 HAS SOPS 292920 HAS SOUS 46784 HAS SOUPS 27106 WITH SCORE 27599.637
AT ITER 3905 NEW BEST:: SOT 691860 SOS 493625 HAS SOPS 292908 HAS SOUS 46772 HAS SOUPS 27100 WITH SCORE 27593.625
AT ITER 3911 NEW BEST:: SOT 691875 SOS 487229 HAS SOPS 287637 HAS SOUS 46649 HAS SOUPS 27052 WITH SCORE 27539.229
AT ITER 3914 NEW BEST:: SOT 691860 SOS 487214 HAS SOPS 287637 HAS SOUS 46619 HAS SOUPS 27022 WITH SCORE 27509.214
AT ITER 3916 NEW BEST:: SOT 691874 SOS 487230 HAS SOPS 287643 HAS SOUS 46609 HAS SOUPS 27012 WITH SCORE 27499.23
AT ITER 3965 NEW BEST:: SOT 692019 SOS 487568 HAS SOPS 287729 HAS SOUS 46612 HAS SOUPS 27003 WITH SCORE 27490.568
AT ITER 3978 NEW BEST:: SOT 691996 SOS 487489 HAS SOPS 287746 HAS SOUS 46587 HAS SOUPS 26986 WITH SCORE 27473.489
AT ITER 3979 NEW BEST:: SOT 691996 SOS 487489 HAS SOPS 287746 HAS SOUS 46578 HAS SOUPS 26981 WITH SCORE 27468.489
AT ITER 3996 NEW BEST:: SOT 692116 SOS 487609 HAS SOPS 287746 HAS SOUS 46524 HAS SOUPS 26951 WITH SCORE 27438.609
AT ITER 4003 NEW BEST:: SOT 692206 SOS 487699 HAS SOPS 287777 HAS SOUS 46425 HAS SOUPS 26908 WITH SCORE 27395.699
AT ITER 4014 NEW BEST:: SOT 692109 SOS 487812 HAS SOPS 287904 HAS SOUS 46389 HAS SOUPS 26872 WITH SCORE 27359.812
AT ITER 4023 NEW BEST:: SOT 692109 SOS 487812 HAS SOPS 287904 HAS SOUS 46254 HAS SOUPS 26798 WITH SCORE 27285.812
AT ITER 4029 NEW BEST:: SOT 692109 SOS 487812 HAS SOPS 287904 HAS SOUS 46251 HAS SOUPS 26796 WITH SCORE 27283.812
AT ITER 4049 NEW BEST:: SOT 692154 SOS 487857 HAS SOPS 287924 HAS SOUS 46246 HAS SOUPS 26791 WITH SCORE 27278.857
AT ITER 4052 NEW BEST:: SOT 692154 SOS 487824 HAS SOPS 287924 HAS SOUS 46213 HAS SOUPS 26791 WITH SCORE 27278.824
AT ITER 4054 NEW BEST:: SOT 692123 SOS 487793 HAS SOPS 287893 HAS SOUS 46200 HAS SOUPS 26778 WITH SCORE 27265.793
AT ITER 4069 NEW BEST:: SOT 691793 SOS 487463 HAS SOPS 287563 HAS SOUS 46200 HAS SOUPS 26778 WITH SCORE 27265.463
AT ITER 4097 NEW BEST:: SOT 691774 SOS 487444 HAS SOPS 287563 HAS SOUS 46200 HAS SOUPS 26778 WITH SCORE 27265.444
AT ITER 4109 NEW BEST:: SOT 691681 SOS 487363 HAS SOPS 287482 HAS SOUS 46148 HAS SOUPS 26726 WITH SCORE 27213.363
AT ITER 4114 NEW BEST:: SOT 691733 SOS 487415 HAS SOPS 287482 HAS SOUS 46130 HAS SOUPS 26716 WITH SCORE 27203.415
AT ITER 4131 NEW BEST:: SOT 691706 SOS 487388 HAS SOPS 287482 HAS SOUS 46130 HAS SOUPS 26716 WITH SCORE 27203.388
AT ITER 4136 NEW BEST:: SOT 691659 SOS 487341 HAS SOPS 287482 HAS SOUS 46130 HAS SOUPS 26716 WITH SCORE 27203.341
AT ITER 4139 NEW BEST:: SOT 691699 SOS 487381 HAS SOPS 287497 HAS SOUS 46125 HAS SOUPS 26711 WITH SCORE 27198.381
AT ITER 4156 NEW BEST:: SOT 692826 SOS 490343 HAS SOPS 288321 HAS SOUS 46072 HAS SOUPS 26651 WITH SCORE 27141.343
AT ITER 4160 NEW BEST:: SOT 692810 SOS 490327 HAS SOPS 288305 HAS SOUS 46056 HAS SOUPS 26635 WITH SCORE 27125.327
AT ITER 4198 NEW BEST:: SOT 692642 SOS 490159 HAS SOPS 288137 HAS SOUS 45747 HAS SOUPS 26457 WITH SCORE 26947.159
AT ITER 4203 NEW BEST:: SOT 692618 SOS 490135 HAS SOPS 288113 HAS SOUS 45737 HAS SOUPS 26447 WITH SCORE 26937.135
AT ITER 4250 NEW BEST:: SOT 692522 SOS 490039 HAS SOPS 288017 HAS SOUS 45656 HAS SOUPS 26402 WITH SCORE 26892.039
AT ITER 4258 NEW BEST:: SOT 692803 SOS 488374 HAS SOPS 286350 HAS SOUS 45654 HAS SOUPS 26399 WITH SCORE 26887.374
AT ITER 4281 NEW BEST:: SOT 692061 SOS 479372 HAS SOPS 279010 HAS SOUS 45597 HAS SOUPS 26368 WITH SCORE 26847.372
AT ITER 4291 NEW BEST:: SOT 691885 SOS 478700 HAS SOPS 278658 HAS SOUS 45580 HAS SOUPS 26367 WITH SCORE 26845.7
AT ITER 4324 NEW BEST:: SOT 691417 SOS 477364 HAS SOPS 277220 HAS SOUS 45566 HAS SOUPS 26304 WITH SCORE 26781.364
AT ITER 4337 NEW BEST:: SOT 691448 SOS 477395 HAS SOPS 277220 HAS SOUS 45503 HAS SOUPS 26269 WITH SCORE 26746.395
AT ITER 4357 NEW BEST:: SOT 690915 SOS 476275 HAS SOPS 276876 HAS SOUS 45434 HAS SOUPS 26243 WITH SCORE 26719.275
AT ITER 4366 NEW BEST:: SOT 691909 SOS 477256 HAS SOPS 277734 HAS SOUS 45427 HAS SOUPS 26233 WITH SCORE 26710.256
AT ITER 4373 NEW BEST:: SOT 691688 SOS 477821 HAS SOPS 278301 HAS SOUS 45362 HAS SOUPS 26169 WITH SCORE 26646.821
AT ITER 4387 NEW BEST:: SOT 691627 SOS 477764 HAS SOPS 278248 HAS SOUS 45341 HAS SOUPS 26148 WITH SCORE 26625.764
AT ITER 4426 NEW BEST:: SOT 691621 SOS 477758 HAS SOPS 278242 HAS SOUS 45335 HAS SOUPS 26142 WITH SCORE 26619.758
AT ITER 4428 NEW BEST:: SOT 691573 SOS 477687 HAS SOPS 278210 HAS SOUS 45294 HAS SOUPS 26117 WITH SCORE 26594.687
AT ITER 4462 NEW BEST:: SOT 691546 SOS 478014 HAS SOPS 278510 HAS SOUS 45284 HAS SOUPS 26107 WITH SCORE 26585.014
AT ITER 4486 NEW BEST:: SOT 691543 SOS 477975 HAS SOPS 278507 HAS SOUS 45281 HAS SOUPS 26107 WITH SCORE 26584.975
AT ITER 4501 NEW BEST:: SOT 691531 SOS 477932 HAS SOPS 278485 HAS SOUS 45280 HAS SOUPS 26107 WITH SCORE 26584.932
AT ITER 4520 NEW BEST:: SOT 690065 SOS 474948 HAS SOPS 276161 HAS SOUS 45198 HAS SOUPS 26025 WITH SCORE 26499.948
AT ITER 4566 NEW BEST:: SOT 689633 SOS 474516 HAS SOPS 275729 HAS SOUS 45198 HAS SOUPS 26025 WITH SCORE 26499.516
AT ITER 4569 NEW BEST:: SOT 689633 SOS 474476 HAS SOPS 275719 HAS SOUS 45198 HAS SOUPS 26025 WITH SCORE 26499.476
AT ITER 4587 NEW BEST:: SOT 689604 SOS 474447 HAS SOPS 275719 HAS SOUS 45198 HAS SOUPS 26025 WITH SCORE 26499.447
AT ITER 4645 NEW BEST:: SOT 689598 SOS 474345 HAS SOPS 275707 HAS SOUS 45180 HAS SOUPS 26013 WITH SCORE 26487.345
AT ITER 4664 NEW BEST:: SOT 689259 SOS 471632 HAS SOPS 274366 HAS SOUS 45133 HAS SOUPS 25984 WITH SCORE 26455.632
AT ITER 4670 NEW BEST:: SOT 689435 SOS 472077 HAS SOPS 274477 HAS SOUS 45143 HAS SOUPS 25980 WITH SCORE 26452.077
AT ITER 4673 NEW BEST:: SOT 689405 SOS 471852 HAS SOPS 274357 HAS SOUS 45134 HAS SOUPS 25971 WITH SCORE 26442.852
AT ITER 4692 NEW BEST:: SOT 689303 SOS 472384 HAS SOPS 274979 HAS SOUS 45120 HAS SOUPS 25957 WITH SCORE 26429.384
AT ITER 4723 NEW BEST:: SOT 689297 SOS 472087 HAS SOPS 274967 HAS SOUS 45083 HAS SOUPS 25939 WITH SCORE 26411.087
AT ITER 4737 NEW BEST:: SOT 689295 SOS 472085 HAS SOPS 274965 HAS SOUS 45081 HAS SOUPS 25937 WITH SCORE 26409.085
AT ITER 4782 NEW BEST:: SOT 689259 SOS 472049 HAS SOPS 274947 HAS SOUS 45063 HAS SOUPS 25919 WITH SCORE 26391.049
AT ITER 4799 NEW BEST:: SOT 689249 SOS 472039 HAS SOPS 274947 HAS SOUS 45063 HAS SOUPS 25919 WITH SCORE 26391.039
AT ITER 4814 NEW BEST:: SOT 689210 SOS 472000 HAS SOPS 274947 HAS SOUS 45063 HAS SOUPS 25919 WITH SCORE 26391.0
AT ITER 4852 NEW BEST:: SOT 689230 SOS 472022 HAS SOPS 274959 HAS SOUS 45061 HAS SOUPS 25917 WITH SCORE 26389.022
AT ITER 4877 NEW BEST:: SOT 689244 SOS 471670 HAS SOPS 274307 HAS SOUS 45085 HAS SOUPS 25916 WITH SCORE 26387.67
AT ITER 4893 NEW BEST:: SOT 689323 SOS 471884 HAS SOPS 274361 HAS SOUS 45090 HAS SOUPS 25913 WITH SCORE 26384.884
AT ITER 4895 NEW BEST:: SOT 689312 SOS 471873 HAS SOPS 274361 HAS SOUS 45090 HAS SOUPS 25913 WITH SCORE 26384.873
AT ITER 4915 NEW BEST:: SOT 689323 SOS 471900 HAS SOPS 274367 HAS SOUS 45089 HAS SOUPS 25911 WITH SCORE 26382.9
AT ITER 4924 NEW BEST:: SOT 689543 SOS 472142 HAS SOPS 274499 HAS SOUS 45067 HAS SOUPS 25889 WITH SCORE 26361.142
AT ITER 4941 NEW BEST:: SOT 689542 SOS 472141 HAS SOPS 274498 HAS SOUS 45067 HAS SOUPS 25889 WITH SCORE 26361.141
AT ITER 4951 NEW BEST:: SOT 689501 SOS 471982 HAS SOPS 274410 HAS SOUS 45063 HAS SOUPS 25886 WITH SCORE 26357.982
AT ITER 4962 NEW BEST:: SOT 689729 SOS 472210 HAS SOPS 274452 HAS SOUS 44981 HAS SOUPS 25804 WITH SCORE 26276.21
AT ITER 4981 NEW BEST:: SOT 689715 SOS 472196 HAS SOPS 274452 HAS SOUS 44981 HAS SOUPS 25804 WITH SCORE 26276.196
AT ITER 5001 NEW BEST:: SOT 689715 SOS 472238 HAS SOPS 274455 HAS SOUS 44981 HAS SOUPS 25801 WITH SCORE 26273.238
AT ITER 5004 NEW BEST:: SOT 689740 SOS 472376 HAS SOPS 274496 HAS SOUS 44949 HAS SOUPS 25777 WITH SCORE 26249.376
AT ITER 5006 NEW BEST:: SOT 689740 SOS 472369 HAS SOPS 274489 HAS SOUS 44942 HAS SOUPS 25770 WITH SCORE 26242.369
AT ITER 5015 NEW BEST:: SOT 689771 SOS 472174 HAS SOPS 274364 HAS SOUS 44936 HAS SOUPS 25764 WITH SCORE 26236.174
AT ITER 5054 NEW BEST:: SOT 689663 SOS 472066 HAS SOPS 274364 HAS SOUS 44936 HAS SOUPS 25764 WITH SCORE 26236.066
AT ITER 5077 NEW BEST:: SOT 688809 SOS 471204 HAS SOPS 273518 HAS SOUS 44928 HAS SOUPS 25764 WITH SCORE 26235.204
AT ITER 5110 NEW BEST:: SOT 688806 SOS 471153 HAS SOPS 273467 HAS SOUS 44925 HAS SOUPS 25761 WITH SCORE 26232.153
AT ITER 5125 NEW BEST:: SOT 688817 SOS 471164 HAS SOPS 273478 HAS SOUS 44907 HAS SOUPS 25755 WITH SCORE 26226.164
AT ITER 5149 NEW BEST:: SOT 688817 SOS 471164 HAS SOPS 273478 HAS SOUS 44862 HAS SOUPS 25730 WITH SCORE 26201.164
AT ITER 5155 NEW BEST:: SOT 688794 SOS 471141 HAS SOPS 273478 HAS SOUS 44862 HAS SOUPS 25730 WITH SCORE 26201.141
AT ITER 5156 NEW BEST:: SOT 688790 SOS 471137 HAS SOPS 273478 HAS SOUS 44862 HAS SOUPS 25730 WITH SCORE 26201.137
AT ITER 5159 NEW BEST:: SOT 688768 SOS 470916 HAS SOPS 273392 HAS SOUS 44845 HAS SOUPS 25722 WITH SCORE 26192.916
AT ITER 5170 NEW BEST:: SOT 688765 SOS 470877 HAS SOPS 273347 HAS SOUS 44835 HAS SOUPS 25713 WITH SCORE 26183.877
AT ITER 5217 NEW BEST:: SOT 688771 SOS 470100 HAS SOPS 272570 HAS SOUS 44829 HAS SOUPS 25707 WITH SCORE 26177.1
AT ITER 5242 NEW BEST:: SOT 688761 SOS 469948 HAS SOPS 272538 HAS SOUS 44802 HAS SOUPS 25692 WITH SCORE 26161.948
AT ITER 5286 NEW BEST:: SOT 688347 SOS 469534 HAS SOPS 272124 HAS SOUS 44802 HAS SOUPS 25692 WITH SCORE 26161.534
AT ITER 5312 NEW BEST:: SOT 688319 SOS 467173 HAS SOPS 269763 HAS SOUS 44803 HAS SOUPS 25693 WITH SCORE 26160.173
AT ITER 5331 NEW BEST:: SOT 688200 SOS 466385 HAS SOPS 269235 HAS SOUS 44789 HAS SOUPS 25692 WITH SCORE 26158.385
AT ITER 5339 NEW BEST:: SOT 688219 SOS 466386 HAS SOPS 269236 HAS SOUS 44780 HAS SOUPS 25683 WITH SCORE 26149.386
AT ITER 5346 NEW BEST:: SOT 688010 SOS 465873 HAS SOPS 269103 HAS SOUS 44742 HAS SOUPS 25664 WITH SCORE 26129.873
AT ITER 5373 NEW BEST:: SOT 687998 SOS 465837 HAS SOPS 269061 HAS SOUS 44740 HAS SOUPS 25660 WITH SCORE 26125.837
AT ITER 5389 NEW BEST:: SOT 688011 SOS 465738 HAS SOPS 269037 HAS SOUS 44717 HAS SOUPS 25637 WITH SCORE 26102.738
AT ITER 5446 NEW BEST:: SOT 688279 SOS 466034 HAS SOPS 269189 HAS SOUS 44715 HAS SOUPS 25635 WITH SCORE 26101.034
AT ITER 5455 NEW BEST:: SOT 688129 SOS 465884 HAS SOPS 269039 HAS SOUS 44706 HAS SOUPS 25630 WITH SCORE 26095.884
AT ITER 5496 NEW BEST:: SOT 688124 SOS 465799 HAS SOPS 268954 HAS SOUS 44696 HAS SOUPS 25620 WITH SCORE 26085.799
AT ITER 5515 NEW BEST:: SOT 688128 SOS 465987 HAS SOPS 268962 HAS SOUS 44692 HAS SOUPS 25604 WITH SCORE 26069.987
AT ITER 5544 NEW BEST:: SOT 688542 SOS 466401 HAS SOPS 269376 HAS SOUS 44689 HAS SOUPS 25602 WITH SCORE 26068.401
AT ITER 5548 NEW BEST:: SOT 688367 SOS 465904 HAS SOPS 268879 HAS SOUS 44701 HAS SOUPS 25590 WITH SCORE 26055.904
AT ITER 5553 NEW BEST:: SOT 688276 SOS 465637 HAS SOPS 268772 HAS SOUS 44682 HAS SOUPS 25579 WITH SCORE 26044.637
AT ITER 5563 NEW BEST:: SOT 688263 SOS 465347 HAS SOPS 268482 HAS SOUS 44671 HAS SOUPS 25568 WITH SCORE 26033.347
AT ITER 5575 NEW BEST:: SOT 688257 SOS 465223 HAS SOPS 268463 HAS SOUS 44652 HAS SOUPS 25556 WITH SCORE 26021.223
AT ITER 5586 NEW BEST:: SOT 688257 SOS 465240 HAS SOPS 268463 HAS SOUS 44635 HAS SOUPS 25539 WITH SCORE 26004.24
AT ITER 5600 NEW BEST:: SOT 688244 SOS 465227 HAS SOPS 268463 HAS SOUS 44635 HAS SOUPS 25539 WITH SCORE 26004.227
AT ITER 5624 NEW BEST:: SOT 687961 SOS 464487 HAS SOPS 268289 HAS SOUS 44536 HAS SOUPS 25522 WITH SCORE 25986.487
AT ITER 5629 NEW BEST:: SOT 688036 SOS 464530 HAS SOPS 268332 HAS SOUS 44508 HAS SOUPS 25504 WITH SCORE 25968.53
AT ITER 5665 NEW BEST:: SOT 688103 SOS 464726 HAS SOPS 268375 HAS SOUS 44501 HAS SOUPS 25496 WITH SCORE 25960.726
AT ITER 5674 NEW BEST:: SOT 688007 SOS 464502 HAS SOPS 268319 HAS SOUS 44485 HAS SOUPS 25488 WITH SCORE 25952.502
AT ITER 5676 NEW BEST:: SOT 687982 SOS 464063 HAS SOPS 267871 HAS SOUS 44430 HAS SOUPS 25433 WITH SCORE 25897.063
AT ITER 5688 NEW BEST:: SOT 688013 SOS 462742 HAS SOPS 266798 HAS SOUS 44410 HAS SOUPS 25413 WITH SCORE 25875.742
AT ITER 5703 NEW BEST:: SOT 688013 SOS 462742 HAS SOPS 266798 HAS SOUS 44404 HAS SOUPS 25409 WITH SCORE 25871.742
AT ITER 5790 NEW BEST:: SOT 688338 SOS 463139 HAS SOPS 267015 HAS SOUS 44371 HAS SOUPS 25376 WITH SCORE 25839.139
AT ITER 5796 NEW BEST:: SOT 688331 SOS 463132 HAS SOPS 267015 HAS SOUS 44371 HAS SOUPS 25376 WITH SCORE 25839.132
AT ITER 5805 NEW BEST:: SOT 688356 SOS 463165 HAS SOPS 267050 HAS SOUS 44368 HAS SOUPS 25369 WITH SCORE 25832.165
AT ITER 5811 NEW BEST:: SOT 688425 SOS 463095 HAS SOPS 267385 HAS SOUS 44336 HAS SOUPS 25366 WITH SCORE 25829.095
AT ITER 5814 NEW BEST:: SOT 688425 SOS 463095 HAS SOPS 267385 HAS SOUS 44309 HAS SOUPS 25355 WITH SCORE 25818.095
AT ITER 5844 NEW BEST:: SOT 688365 SOS 463035 HAS SOPS 267355 HAS SOUS 44255 HAS SOUPS 25325 WITH SCORE 25788.035
AT ITER 5904 NEW BEST:: SOT 688351 SOS 462601 HAS SOPS 267131 HAS SOUS 44227 HAS SOUPS 25311 WITH SCORE 25773.601
AT ITER 5927 NEW BEST:: SOT 688097 SOS 462252 HAS SOPS 266887 HAS SOUS 44217 HAS SOUPS 25301 WITH SCORE 25763.252
AT ITER 5982 NEW BEST:: SOT 688072 SOS 462227 HAS SOPS 266887 HAS SOUS 44217 HAS SOUPS 25301 WITH SCORE 25763.227
AT ITER 5987 NEW BEST:: SOT 687938 SOS 461966 HAS SOPS 266802 HAS SOUS 44170 HAS SOUPS 25294 WITH SCORE 25755.966
AT ITER 6015 NEW BEST:: SOT 687929 SOS 461864 HAS SOPS 266793 HAS SOUS 44155 HAS SOUPS 25285 WITH SCORE 25746.864
AT ITER 6048 NEW BEST:: SOT 687831 SOS 461030 HAS SOPS 265959 HAS SOUS 44113 HAS SOUPS 25243 WITH SCORE 25704.03
AT ITER 6050 NEW BEST:: SOT 688195 SOS 461464 HAS SOPS 266183 HAS SOUS 44111 HAS SOUPS 25241 WITH SCORE 25702.464
AT ITER 6064 NEW BEST:: SOT 688195 SOS 461384 HAS SOPS 266178 HAS SOUS 44096 HAS SOUPS 25231 WITH SCORE 25692.384
AT ITER 6067 NEW BEST:: SOT 688123 SOS 461300 HAS SOPS 266130 HAS SOUS 44090 HAS SOUPS 25225 WITH SCORE 25686.3
AT ITER 6123 NEW BEST:: SOT 687694 SOS 460247 HAS SOPS 265857 HAS SOUS 44050 HAS SOUPS 25224 WITH SCORE 25684.247
AT ITER 6175 NEW BEST:: SOT 687682 SOS 460139 HAS SOPS 265839 HAS SOUS 44026 HAS SOUPS 25206 WITH SCORE 25666.139
AT ITER 6181 NEW BEST:: SOT 687640 SOS 459575 HAS SOPS 265275 HAS SOUS 43898 HAS SOUPS 25078 WITH SCORE 25537.575
AT ITER 6184 NEW BEST:: SOT 687614 SOS 459549 HAS SOPS 265275 HAS SOUS 43898 HAS SOUPS 25078 WITH SCORE 25537.549
AT ITER 6189 NEW BEST:: SOT 687290 SOS 459171 HAS SOPS 265059 HAS SOUS 43871 HAS SOUPS 25051 WITH SCORE 25510.171
AT ITER 6202 NEW BEST:: SOT 687171 SOS 458733 HAS SOPS 264821 HAS SOUS 43842 HAS SOUPS 25032 WITH SCORE 25490.733
AT ITER 6217 NEW BEST:: SOT 687171 SOS 458733 HAS SOPS 264821 HAS SOUS 43815 HAS SOUPS 25017 WITH SCORE 25475.733
AT ITER 6282 NEW BEST:: SOT 687139 SOS 458489 HAS SOPS 264573 HAS SOUS 43767 HAS SOUPS 24969 WITH SCORE 25427.489
AT ITER 6306 NEW BEST:: SOT 687165 SOS 456828 HAS SOPS 263857 HAS SOUS 43656 HAS SOUPS 24921 WITH SCORE 25377.828
AT ITER 6327 NEW BEST:: SOT 685859 SOS 455379 HAS SOPS 262893 HAS SOUS 43617 HAS SOUPS 24910 WITH SCORE 25365.379
AT ITER 6334 NEW BEST:: SOT 685831 SOS 455349 HAS SOPS 262875 HAS SOUS 43615 HAS SOUPS 24908 WITH SCORE 25363.349
AT ITER 6388 NEW BEST:: SOT 685824 SOS 455342 HAS SOPS 262868 HAS SOUS 43610 HAS SOUPS 24903 WITH SCORE 25358.342
AT ITER 6463 NEW BEST:: SOT 685647 SOS 454908 HAS SOPS 262754 HAS SOUS 43549 HAS SOUPS 24882 WITH SCORE 25336.908
AT ITER 6488 NEW BEST:: SOT 685543 SOS 454796 HAS SOPS 262682 HAS SOUS 43541 HAS SOUPS 24874 WITH SCORE 25328.796
AT ITER 6505 NEW BEST:: SOT 685639 SOS 454892 HAS SOPS 262718 HAS SOUS 43529 HAS SOUPS 24862 WITH SCORE 25316.892
AT ITER 6523 NEW BEST:: SOT 685791 SOS 455105 HAS SOPS 262828 HAS SOUS 43533 HAS SOUPS 24847 WITH SCORE 25302.105
AT ITER 6559 NEW BEST:: SOT 685588 SOS 454549 HAS SOPS 262634 HAS SOUS 43544 HAS SOUPS 24831 WITH SCORE 25285.549
AT ITER 6568 NEW BEST:: SOT 685594 SOS 454501 HAS SOPS 262586 HAS SOUS 43539 HAS SOUPS 24826 WITH SCORE 25280.501
AT ITER 6583 NEW BEST:: SOT 685328 SOS 453713 HAS SOPS 262250 HAS SOUS 43494 HAS SOUPS 24800 WITH SCORE 25253.713
AT ITER 6584 NEW BEST:: SOT 685300 SOS 453685 HAS SOPS 262250 HAS SOUS 43494 HAS SOUPS 24800 WITH SCORE 25253.685
AT ITER 6632 NEW BEST:: SOT 685222 SOS 453607 HAS SOPS 262172 HAS SOUS 43494 HAS SOUPS 24800 WITH SCORE 25253.607
AT ITER 6660 NEW BEST:: SOT 685229 SOS 453610 HAS SOPS 262177 HAS SOUS 43491 HAS SOUPS 24799 WITH SCORE 25252.61
AT ITER 6674 NEW BEST:: SOT 685287 SOS 453668 HAS SOPS 262177 HAS SOUS 43482 HAS SOUPS 24794 WITH SCORE 25247.668
AT ITER 6677 NEW BEST:: SOT 684792 SOS 452453 HAS SOPS 261862 HAS SOUS 43427 HAS SOUPS 24784 WITH SCORE 25236.453
AT ITER 6685 NEW BEST:: SOT 684486 SOS 452147 HAS SOPS 261556 HAS SOUS 43427 HAS SOUPS 24784 WITH SCORE 25236.147
AT ITER 6687 NEW BEST:: SOT 684486 SOS 451747 HAS SOPS 260916 HAS SOUS 43447 HAS SOUPS 24784 WITH SCORE 25235.747
AT ITER 6690 NEW BEST:: SOT 684489 SOS 451348 HAS SOPS 260463 HAS SOUS 43423 HAS SOUPS 24760 WITH SCORE 25211.348
AT ITER 6746 NEW BEST:: SOT 684500 SOS 451359 HAS SOPS 260468 HAS SOUS 43422 HAS SOUPS 24759 WITH SCORE 25210.359
AT ITER 6754 NEW BEST:: SOT 684463 SOS 450714 HAS SOPS 260213 HAS SOUS 43395 HAS SOUPS 24758 WITH SCORE 25208.714
AT ITER 6777 NEW BEST:: SOT 684466 SOS 450694 HAS SOPS 260193 HAS SOUS 43374 HAS SOUPS 24737 WITH SCORE 25187.694
AT ITER 6795 NEW BEST:: SOT 684438 SOS 450762 HAS SOPS 260021 HAS SOUS 43372 HAS SOUPS 24719 WITH SCORE 25169.762
AT ITER 6800 NEW BEST:: SOT 684418 SOS 450642 HAS SOPS 259895 HAS SOUS 43361 HAS SOUPS 24708 WITH SCORE 25158.642
AT ITER 6922 NEW BEST:: SOT 684409 SOS 450512 HAS SOPS 259767 HAS SOUS 43353 HAS SOUPS 24700 WITH SCORE 25150.512
AT ITER 6925 NEW BEST:: SOT 684529 SOS 450632 HAS SOPS 259887 HAS SOUS 43350 HAS SOUPS 24698 WITH SCORE 25148.632
AT ITER 6934 NEW BEST:: SOT 684397 SOS 450308 HAS SOPS 259803 HAS SOUS 43338 HAS SOUPS 24698 WITH SCORE 25148.308
AT ITER 6954 NEW BEST:: SOT 684139 SOS 450050 HAS SOPS 259545 HAS SOUS 43218 HAS SOUPS 24630 WITH SCORE 25080.05
AT ITER 6956 NEW BEST:: SOT 684086 SOS 449997 HAS SOPS 259545 HAS SOUS 43218 HAS SOUPS 24630 WITH SCORE 25079.997
AT ITER 7000 NEW BEST:: SOT 684067 SOS 449866 HAS SOPS 259470 HAS SOUS 43217 HAS SOUPS 24629 WITH SCORE 25078.866
AT ITER 7022 NEW BEST:: SOT 684031 SOS 449776 HAS SOPS 259398 HAS SOUS 43210 HAS SOUPS 24622 WITH SCORE 25071.776
AT ITER 7046 NEW BEST:: SOT 684031 SOS 449776 HAS SOPS 259398 HAS SOUS 43201 HAS SOUPS 24617 WITH SCORE 25066.776
AT ITER 7133 NEW BEST:: SOT 683855 SOS 449540 HAS SOPS 259242 HAS SOUS 43201 HAS SOUPS 24617 WITH SCORE 25066.54
AT ITER 7139 NEW BEST:: SOT 684159 SOS 450179 HAS SOPS 259447 HAS SOUS 43170 HAS SOUPS 24532 WITH SCORE 24982.179
AT ITER 7149 NEW BEST:: SOT 684418 SOS 451232 HAS SOPS 259996 HAS SOUS 43181 HAS SOUPS 24521 WITH SCORE 24972.232
AT ITER 7197 NEW BEST:: SOT 684388 SOS 451202 HAS SOPS 259996 HAS SOUS 43181 HAS SOUPS 24521 WITH SCORE 24972.202
AT ITER 7203 NEW BEST:: SOT 684355 SOS 451169 HAS SOPS 259996 HAS SOUS 43181 HAS SOUPS 24521 WITH SCORE 24972.169
AT ITER 7230 NEW BEST:: SOT 684275 SOS 451089 HAS SOPS 259996 HAS SOUS 43181 HAS SOUPS 24521 WITH SCORE 24972.089
AT ITER 7246 NEW BEST:: SOT 684198 SOS 451005 HAS SOPS 259947 HAS SOUS 43167 HAS SOUPS 24507 WITH SCORE 24958.005
AT ITER 7267 NEW BEST:: SOT 684305 SOS 451362 HAS SOPS 260042 HAS SOUS 43169 HAS SOUPS 24477 WITH SCORE 24928.362
AT ITER 7299 NEW BEST:: SOT 684306 SOS 451361 HAS SOPS 260041 HAS SOUS 43167 HAS SOUPS 24475 WITH SCORE 24926.361
AT ITER 7363 NEW BEST:: SOT 684299 SOS 451375 HAS SOPS 260034 HAS SOUS 43160 HAS SOUPS 24468 WITH SCORE 24919.375
AT ITER 7374 NEW BEST:: SOT 684233 SOS 451309 HAS SOPS 259968 HAS SOUS 43160 HAS SOUPS 24468 WITH SCORE 24919.309
AT ITER 7495 NEW BEST:: SOT 683837 SOS 450913 HAS SOPS 259572 HAS SOUS 43160 HAS SOUPS 24468 WITH SCORE 24918.913
AT ITER 7572 NEW BEST:: SOT 683837 SOS 450889 HAS SOPS 259566 HAS SOUS 43160 HAS SOUPS 24468 WITH SCORE 24918.889
AT ITER 7581 NEW BEST:: SOT 683807 SOS 450859 HAS SOPS 259536 HAS SOUS 43160 HAS SOUPS 24468 WITH SCORE 24918.859
AT ITER 7640 NEW BEST:: SOT 683800 SOS 450852 HAS SOPS 259536 HAS SOUS 43154 HAS SOUPS 24462 WITH SCORE 24912.852
AT ITER 7657 NEW BEST:: SOT 683784 SOS 450820 HAS SOPS 259504 HAS SOUS 43138 HAS SOUPS 24446 WITH SCORE 24896.82
AT ITER 7658 NEW BEST:: SOT 683784 SOS 450820 HAS SOPS 259504 HAS SOUS 43120 HAS SOUPS 24436 WITH SCORE 24886.82
AT ITER 7664 NEW BEST:: SOT 683580 SOS 450616 HAS SOPS 259300 HAS SOUS 43117 HAS SOUPS 24434 WITH SCORE 24884.616
AT ITER 7672 NEW BEST:: SOT 683576 SOS 450613 HAS SOPS 259300 HAS SOUS 43118 HAS SOUPS 24434 WITH SCORE 24884.613
AT ITER 7680 NEW BEST:: SOT 683570 SOS 450715 HAS SOPS 259384 HAS SOUS 43114 HAS SOUPS 24430 WITH SCORE 24880.715
AT ITER 7773 NEW BEST:: SOT 683528 SOS 450673 HAS SOPS 259342 HAS SOUS 43087 HAS SOUPS 24417 WITH SCORE 24867.673
AT ITER 7878 NEW BEST:: SOT 683738 SOS 450883 HAS SOPS 259447 HAS SOUS 43066 HAS SOUPS 24396 WITH SCORE 24846.883
AT ITER 7879 NEW BEST:: SOT 683762 SOS 450892 HAS SOPS 259474 HAS SOUS 43055 HAS SOUPS 24394 WITH SCORE 24844.892
AT ITER 7933 NEW BEST:: SOT 683613 SOS 450743 HAS SOPS 259474 HAS SOUS 43055 HAS SOUPS 24394 WITH SCORE 24844.743
AT ITER 7936 NEW BEST:: SOT 683589 SOS 449010 HAS SOPS 257741 HAS SOUS 43050 HAS SOUPS 24389 WITH SCORE 24838.01
AT ITER 7973 NEW BEST:: SOT 683379 SOS 448800 HAS SOPS 257531 HAS SOUS 42996 HAS SOUPS 24359 WITH SCORE 24807.8
AT ITER 7987 NEW BEST:: SOT 683323 SOS 448744 HAS SOPS 257531 HAS SOUS 42996 HAS SOUPS 24359 WITH SCORE 24807.744
AT ITER 8022 NEW BEST:: SOT 683215 SOS 448636 HAS SOPS 257423 HAS SOUS 42996 HAS SOUPS 24359 WITH SCORE 24807.636
AT ITER 8054 NEW BEST:: SOT 683143 SOS 448300 HAS SOPS 257375 HAS SOUS 42972 HAS SOUPS 24359 WITH SCORE 24807.3
AT ITER 8106 NEW BEST:: SOT 682689 SOS 447054 HAS SOPS 256393 HAS SOUS 42958 HAS SOUPS 24345 WITH SCORE 24792.054
AT ITER 8128 NEW BEST:: SOT 682689 SOS 447054 HAS SOPS 256393 HAS SOUS 42949 HAS SOUPS 24340 WITH SCORE 24787.054
AT ITER 8156 NEW BEST:: SOT 682567 SOS 446751 HAS SOPS 256320 HAS SOUS 42936 HAS SOUPS 24339 WITH SCORE 24785.751
AT ITER 8180 NEW BEST:: SOT 682234 SOS 446366 HAS SOPS 256073 HAS SOUS 42947 HAS SOUPS 24335 WITH SCORE 24781.366
AT ITER 8187 NEW BEST:: SOT 681464 SOS 444476 HAS SOPS 255583 HAS SOUS 42877 HAS SOUPS 24335 WITH SCORE 24779.476
AT ITER 8207 NEW BEST:: SOT 681457 SOS 444469 HAS SOPS 255583 HAS SOUS 42863 HAS SOUPS 24321 WITH SCORE 24765.469
AT ITER 8208 NEW BEST:: SOT 681479 SOS 443729 HAS SOPS 255179 HAS SOUS 42846 HAS SOUPS 24304 WITH SCORE 24747.729
AT ITER 8217 NEW BEST:: SOT 681441 SOS 443869 HAS SOPS 255319 HAS SOUS 42820 HAS SOUPS 24278 WITH SCORE 24721.869
AT ITER 8255 NEW BEST:: SOT 681435 SOS 443863 HAS SOPS 255319 HAS SOUS 42820 HAS SOUPS 24278 WITH SCORE 24721.863
AT ITER 8309 NEW BEST:: SOT 681337 SOS 443765 HAS SOPS 255319 HAS SOUS 42820 HAS SOUPS 24278 WITH SCORE 24721.765
AT ITER 8310 NEW BEST:: SOT 681304 SOS 443732 HAS SOPS 255319 HAS SOUS 42820 HAS SOUPS 24278 WITH SCORE 24721.732
AT ITER 8369 NEW BEST:: SOT 681353 SOS 443781 HAS SOPS 255319 HAS SOUS 42802 HAS SOUPS 24268 WITH SCORE 24711.781
AT ITER 8372 NEW BEST:: SOT 681826 SOS 444254 HAS SOPS 255577 HAS SOUS 42774 HAS SOUPS 24240 WITH SCORE 24684.254
AT ITER 8376 NEW BEST:: SOT 681826 SOS 444254 HAS SOPS 255577 HAS SOUS 42765 HAS SOUPS 24235 WITH SCORE 24679.254
AT ITER 8404 NEW BEST:: SOT 681839 SOS 444267 HAS SOPS 255577 HAS SOUS 42693 HAS SOUPS 24195 WITH SCORE 24639.267
AT ITER 8432 NEW BEST:: SOT 682379 SOS 445527 HAS SOPS 255892 HAS SOUS 42729 HAS SOUPS 24186 WITH SCORE 24631.527
AT ITER 8443 NEW BEST:: SOT 682371 SOS 445462 HAS SOPS 255904 HAS SOUS 42723 HAS SOUPS 24185 WITH SCORE 24630.462
AT ITER 8459 NEW BEST:: SOT 682367 SOS 445540 HAS SOPS 255792 HAS SOUS 42702 HAS SOUPS 24152 WITH SCORE 24597.54
AT ITER 8499 NEW BEST:: SOT 682367 SOS 445540 HAS SOPS 255792 HAS SOUS 42693 HAS SOUPS 24146 WITH SCORE 24591.54
AT ITER 8534 NEW BEST:: SOT 682051 SOS 444562 HAS SOPS 255582 HAS SOUS 42674 HAS SOUPS 24130 WITH SCORE 24574.562
AT ITER 8600 NEW BEST:: SOT 682411 SOS 444922 HAS SOPS 255942 HAS SOUS 42671 HAS SOUPS 24127 WITH SCORE 24571.922
AT ITER 8633 NEW BEST:: SOT 682402 SOS 444913 HAS SOPS 255942 HAS SOUS 42671 HAS SOUPS 24127 WITH SCORE 24571.913
AT ITER 8652 NEW BEST:: SOT 682403 SOS 444852 HAS SOPS 255878 HAS SOUS 42669 HAS SOUPS 24125 WITH SCORE 24569.852
AT ITER 8656 NEW BEST:: SOT 682404 SOS 444713 HAS SOPS 255766 HAS SOUS 42656 HAS SOUPS 24112 WITH SCORE 24556.713
AT ITER 8671 NEW BEST:: SOT 682076 SOS 440237 HAS SOPS 251923 HAS SOUS 42650 HAS SOUPS 24057 WITH SCORE 24497.237
AT ITER 8674 NEW BEST:: SOT 682074 SOS 440235 HAS SOPS 251921 HAS SOUS 42648 HAS SOUPS 24055 WITH SCORE 24495.235
AT ITER 8684 NEW BEST:: SOT 682053 SOS 439974 HAS SOPS 251660 HAS SOUS 42583 HAS SOUPS 23990 WITH SCORE 24429.974
AT ITER 8689 NEW BEST:: SOT 682045 SOS 439970 HAS SOPS 251656 HAS SOUS 42579 HAS SOUPS 23986 WITH SCORE 24425.97
AT ITER 8696 NEW BEST:: SOT 681983 SOS 439908 HAS SOPS 251656 HAS SOUS 42579 HAS SOUPS 23986 WITH SCORE 24425.908
AT ITER 8733 NEW BEST:: SOT 681978 SOS 440346 HAS SOPS 252094 HAS SOUS 42570 HAS SOUPS 23977 WITH SCORE 24417.346
AT ITER 8790 NEW BEST:: SOT 681175 SOS 438354 HAS SOPS 251580 HAS SOUS 42490 HAS SOUPS 23961 WITH SCORE 24399.354
AT ITER 8797 NEW BEST:: SOT 681185 SOS 438379 HAS SOPS 251586 HAS SOUS 42489 HAS SOUPS 23959 WITH SCORE 24397.379
AT ITER 8802 NEW BEST:: SOT 681180 SOS 438374 HAS SOPS 251586 HAS SOUS 42489 HAS SOUPS 23959 WITH SCORE 24397.374
AT ITER 8803 NEW BEST:: SOT 681180 SOS 438374 HAS SOPS 251586 HAS SOUS 42456 HAS SOUPS 23937 WITH SCORE 24375.374
AT ITER 8809 NEW BEST:: SOT 681169 SOS 438356 HAS SOPS 251582 HAS SOUS 42445 HAS SOUPS 23933 WITH SCORE 24371.356
AT ITER 8813 NEW BEST:: SOT 681289 SOS 438476 HAS SOPS 251702 HAS SOUS 42439 HAS SOUPS 23929 WITH SCORE 24367.476
AT ITER 8817 NEW BEST:: SOT 681216 SOS 438357 HAS SOPS 251652 HAS SOUS 42389 HAS SOUPS 23902 WITH SCORE 24340.357
AT ITER 8841 NEW BEST:: SOT 681141 SOS 438282 HAS SOPS 251577 HAS SOUS 42384 HAS SOUPS 23897 WITH SCORE 24335.282
AT ITER 8852 NEW BEST:: SOT 681134 SOS 438268 HAS SOPS 251577 HAS SOUS 42377 HAS SOUPS 23897 WITH SCORE 24335.268
AT ITER 8867 NEW BEST:: SOT 681098 SOS 438232 HAS SOPS 251577 HAS SOUS 42422 HAS SOUPS 23890 WITH SCORE 24328.232
AT ITER 8872 NEW BEST:: SOT 681107 SOS 438256 HAS SOPS 251583 HAS SOUS 42420 HAS SOUPS 23888 WITH SCORE 24326.256
AT ITER 8890 NEW BEST:: SOT 680328 SOS 437537 HAS SOPS 251258 HAS SOUS 42358 HAS SOUPS 23849 WITH SCORE 24286.537
AT ITER 8958 NEW BEST:: SOT 680314 SOS 437515 HAS SOPS 251252 HAS SOUS 42347 HAS SOUPS 23843 WITH SCORE 24280.515
AT ITER 8969 NEW BEST:: SOT 680374 SOS 437575 HAS SOPS 251312 HAS SOUS 42335 HAS SOUPS 23835 WITH SCORE 24272.575
AT ITER 8970 NEW BEST:: SOT 680358 SOS 437559 HAS SOPS 251312 HAS SOUS 42335 HAS SOUPS 23835 WITH SCORE 24272.559
AT ITER 8973 NEW BEST:: SOT 680358 SOS 437559 HAS SOPS 251312 HAS SOUS 42311 HAS SOUPS 23819 WITH SCORE 24256.559
AT ITER 8992 NEW BEST:: SOT 680300 SOS 437553 HAS SOPS 251303 HAS SOUS 42285 HAS SOUPS 23786 WITH SCORE 24223.553
AT ITER 9035 NEW BEST:: SOT 680231 SOS 437497 HAS SOPS 251271 HAS SOUS 42297 HAS SOUPS 23786 WITH SCORE 24223.497
AT ITER 9065 NEW BEST:: SOT 679049 SOS 433899 HAS SOPS 249773 HAS SOUS 42140 HAS SOUPS 23734 WITH SCORE 24167.899
AT ITER 9092 NEW BEST:: SOT 679053 SOS 433897 HAS SOPS 249621 HAS SOUS 42128 HAS SOUPS 23712 WITH SCORE 24145.897
AT ITER 9100 NEW BEST:: SOT 679053 SOS 433897 HAS SOPS 249621 HAS SOUS 42110 HAS SOUPS 23702 WITH SCORE 24135.897
AT ITER 9110 NEW BEST:: SOT 679041 SOS 433885 HAS SOPS 249609 HAS SOUS 42110 HAS SOUPS 23702 WITH SCORE 24135.885
AT ITER 9118 NEW BEST:: SOT 678751 SOS 433564 HAS SOPS 249443 HAS SOUS 42083 HAS SOUPS 23699 WITH SCORE 24132.564
AT ITER 9125 NEW BEST:: SOT 678757 SOS 433498 HAS SOPS 249449 HAS SOUS 42077 HAS SOUPS 23699 WITH SCORE 24132.498
AT ITER 9150 NEW BEST:: SOT 678716 SOS 433441 HAS SOPS 249414 HAS SOUS 42070 HAS SOUPS 23692 WITH SCORE 24125.441
AT ITER 9186 NEW BEST:: SOT 678237 SOS 432099 HAS SOPS 248266 HAS SOUS 42016 HAS SOUPS 23618 WITH SCORE 24050.099
AT ITER 9209 NEW BEST:: SOT 678247 SOS 432129 HAS SOPS 248271 HAS SOUS 42011 HAS SOUPS 23613 WITH SCORE 24045.129
AT ITER 9275 NEW BEST:: SOT 678355 SOS 432237 HAS SOPS 248307 HAS SOUS 41999 HAS SOUPS 23601 WITH SCORE 24033.237
AT ITER 9324 NEW BEST:: SOT 678355 SOS 432237 HAS SOPS 248307 HAS SOUS 41981 HAS SOUPS 23591 WITH SCORE 24023.237
AT ITER 9326 NEW BEST:: SOT 677915 SOS 431117 HAS SOPS 247987 HAS SOUS 41901 HAS SOUPS 23551 WITH SCORE 23982.117
AT ITER 9336 NEW BEST:: SOT 677913 SOS 431104 HAS SOPS 247976 HAS SOUS 41879 HAS SOUPS 23540 WITH SCORE 23971.104
AT ITER 9345 NEW BEST:: SOT 677811 SOS 431002 HAS SOPS 247874 HAS SOUS 41879 HAS SOUPS 23540 WITH SCORE 23971.002
AT ITER 9370 NEW BEST:: SOT 677811 SOS 431002 HAS SOPS 247874 HAS SOUS 41876 HAS SOUPS 23538 WITH SCORE 23969.002
AT ITER 9403 NEW BEST:: SOT 677813 SOS 431006 HAS SOPS 247874 HAS SOUS 41869 HAS SOUPS 23533 WITH SCORE 23964.006
AT ITER 9463 NEW BEST:: SOT 677751 SOS 430914 HAS SOPS 247842 HAS SOUS 41839 HAS SOUPS 23517 WITH SCORE 23947.914
AT ITER 9495 NEW BEST:: SOT 677744 SOS 430907 HAS SOPS 247835 HAS SOUS 41832 HAS SOUPS 23510 WITH SCORE 23940.907
AT ITER 9496 NEW BEST:: SOT 677799 SOS 430967 HAS SOPS 247865 HAS SOUS 41827 HAS SOUPS 23505 WITH SCORE 23935.967
AT ITER 9542 NEW BEST:: SOT 677876 SOS 431051 HAS SOPS 247907 HAS SOUS 41825 HAS SOUPS 23503 WITH SCORE 23934.051
AT ITER 9620 NEW BEST:: SOT 677864 SOS 431039 HAS SOPS 247907 HAS SOUS 41825 HAS SOUPS 23503 WITH SCORE 23934.039
AT ITER 9669 NEW BEST:: SOT 677924 SOS 431207 HAS SOPS 247965 HAS SOUS 41807 HAS SOUPS 23502 WITH SCORE 23933.207
AT ITER 9691 NEW BEST:: SOT 677264 SOS 429957 HAS SOPS 247030 HAS SOUS 41786 HAS SOUPS 23481 WITH SCORE 23910.957
AT ITER 9703 NEW BEST:: SOT 677277 SOS 429970 HAS SOPS 247030 HAS SOUS 41777 HAS SOUPS 23476 WITH SCORE 23905.97
AT ITER 9749 NEW BEST:: SOT 677259 SOS 429952 HAS SOPS 247021 HAS SOUS 41777 HAS SOUPS 23472 WITH SCORE 23901.952
AT ITER 9869 NEW BEST:: SOT 677255 SOS 429948 HAS SOPS 247019 HAS SOUS 41775 HAS SOUPS 23470 WITH SCORE 23899.948
AT ITER 9877 NEW BEST:: SOT 676577 SOS 428066 HAS SOPS 246400 HAS SOUS 41743 HAS SOUPS 23456 WITH SCORE 23884.066
AT ITER 9878 NEW BEST:: SOT 676647 SOS 427686 HAS SOPS 246140 HAS SOUS 41763 HAS SOUPS 23456 WITH SCORE 23883.686
AT ITER 9907 NEW BEST:: SOT 676638 SOS 427635 HAS SOPS 246094 HAS SOUS 41757 HAS SOUPS 23450 WITH SCORE 23877.635
AT ITER 9921 NEW BEST:: SOT 676638 SOS 427607 HAS SOPS 246087 HAS SOUS 41749 HAS SOUPS 23442 WITH SCORE 23869.607
AT ITER 9926 NEW BEST:: SOT 676626 SOS 427595 HAS SOPS 246075 HAS SOUS 41746 HAS SOUPS 23435 WITH SCORE 23862.595
AT ITER 9989 NEW BEST:: SOT 676626 SOS 427595 HAS SOPS 246075 HAS SOUS 41743 HAS SOUPS 23433 WITH SCORE 23860.595
AT ITER 9995 NEW BEST:: SOT 676626 SOS 427595 HAS SOPS 246075 HAS SOUS 41734 HAS SOUPS 23428 WITH SCORE 23855.595
AT ITER 9997 NEW BEST:: SOT 676496 SOS 426192 HAS SOPS 244889 HAS SOUS 41701 HAS SOUPS 23398 WITH SCORE 23824.192
STATE_SPACE STATES 2401000000000001 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 244 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 763243600000000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

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="DLCround-PT-11a"
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 DLCround-PT-11a, 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 r048-ebro-158902542400584"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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