fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r099-tall-167814472800752
Last Updated
May 14, 2023

About the Execution of Smart for DLCround-PT-11a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
6985.735 3600000.00 3600080.00 10.00 2.4010E+0015 7.6324E+0017 1 244 normal

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 7.7K Feb 25 20:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 20:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 19:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 19:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 21:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 123K Feb 25 21:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 20:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 20:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 762K Mar 5 18:22 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 1678262592610

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

Filename model.pnml
Petri model created: 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 18 NEW BEST:: SOT 704342 SOS 601349 HAS SOPS 364783 HAS SOUS 68957 HAS SOUPS 48821 WITH SCORE 49422.349
AT ITER 20 NEW BEST:: SOT 704326 SOS 601093 HAS SOPS 364527 HAS SOUS 68941 HAS SOUPS 48805 WITH SCORE 49406.093
AT ITER 23 NEW BEST:: SOT 704295 SOS 600628 HAS SOPS 364434 HAS SOUS 68817 HAS SOUPS 48712 WITH SCORE 49312.628
AT ITER 31 NEW BEST:: SOT 703783 SOS 597505 HAS SOPS 362070 HAS SOUS 67810 HAS SOUPS 46196 WITH SCORE 46793.505
AT ITER 37 NEW BEST:: SOT 703749 SOS 596962 HAS SOPS 361527 HAS SOUS 67777 HAS SOUPS 46163 WITH SCORE 46759.962
AT ITER 40 NEW BEST:: SOT 703717 SOS 596482 HAS SOPS 361431 HAS SOUS 67649 HAS SOUPS 46067 WITH SCORE 46663.482
AT ITER 42 NEW BEST:: SOT 703733 SOS 596498 HAS SOPS 361447 HAS SOUS 67640 HAS SOUPS 46058 WITH SCORE 46654.498
AT ITER 43 NEW BEST:: SOT 703162 SOS 596077 HAS SOPS 360126 HAS SOUS 65673 HAS SOUPS 43971 WITH SCORE 44567.077
AT ITER 45 NEW BEST:: SOT 703093 SOS 594904 HAS SOPS 359988 HAS SOUS 65580 HAS SOUPS 43947 WITH SCORE 44541.904
AT ITER 51 NEW BEST:: SOT 703092 SOS 594887 HAS SOPS 359971 HAS SOUS 65578 HAS SOUPS 43945 WITH SCORE 44539.887
AT ITER 52 NEW BEST:: SOT 702208 SOS 594173 HAS SOPS 359257 HAS SOUS 64144 HAS SOUPS 42511 WITH SCORE 43105.173
AT ITER 85 NEW BEST:: SOT 701754 SOS 593814 HAS SOPS 358609 HAS SOUS 63362 HAS SOUPS 41554 WITH SCORE 42147.814
AT ITER 91 NEW BEST:: SOT 701760 SOS 593863 HAS SOPS 358572 HAS SOUS 63412 HAS SOUPS 41517 WITH SCORE 42110.863
AT ITER 95 NEW BEST:: SOT 701838 SOS 592199 HAS SOPS 357958 HAS SOUS 63316 HAS SOUPS 41491 WITH SCORE 42083.199
AT ITER 105 NEW BEST:: SOT 701831 SOS 592192 HAS SOPS 357951 HAS SOUS 63309 HAS SOUPS 41484 WITH SCORE 42076.192
AT ITER 106 NEW BEST:: SOT 702143 SOS 589021 HAS SOPS 357480 HAS SOUS 64619 HAS SOUPS 41399 WITH SCORE 41988.021
AT ITER 115 NEW BEST:: SOT 702101 SOS 588265 HAS SOPS 357354 HAS SOUS 64553 HAS SOUPS 41375 WITH SCORE 41963.265
AT ITER 122 NEW BEST:: SOT 701683 SOS 587885 HAS SOPS 357354 HAS SOUS 64018 HAS SOUPS 41373 WITH SCORE 41960.885
AT ITER 128 NEW BEST:: SOT 701802 SOS 587976 HAS SOPS 357445 HAS SOUS 64011 HAS SOUPS 41366 WITH SCORE 41953.976
AT ITER 139 NEW BEST:: SOT 701774 SOS 586604 HAS SOPS 356073 HAS SOUS 63997 HAS SOUPS 41352 WITH SCORE 41938.604
AT ITER 184 NEW BEST:: SOT 701760 SOS 586590 HAS SOPS 356059 HAS SOUS 63986 HAS SOUPS 41339 WITH SCORE 41925.59
AT ITER 194 NEW BEST:: SOT 701715 SOS 586335 HAS SOPS 355984 HAS SOUS 63926 HAS SOUPS 41294 WITH SCORE 41880.335
AT ITER 202 NEW BEST:: SOT 701717 SOS 585919 HAS SOPS 355568 HAS SOUS 63902 HAS SOUPS 41270 WITH SCORE 41855.919
AT ITER 208 NEW BEST:: SOT 701679 SOS 582199 HAS SOPS 354164 HAS SOUS 63227 HAS SOUPS 39663 WITH SCORE 40245.199
AT ITER 224 NEW BEST:: SOT 701670 SOS 582064 HAS SOPS 354137 HAS SOUS 63191 HAS SOUPS 39636 WITH SCORE 40218.064
AT ITER 235 NEW BEST:: SOT 701771 SOS 579546 HAS SOPS 352894 HAS SOUS 63053 HAS SOUPS 39583 WITH SCORE 40162.546
AT ITER 240 NEW BEST:: SOT 701445 SOS 579393 HAS SOPS 351703 HAS SOUS 61633 HAS SOUPS 37775 WITH SCORE 38354.393
AT ITER 251 NEW BEST:: SOT 701388 SOS 579070 HAS SOPS 351608 HAS SOUS 61588 HAS SOUPS 37749 WITH SCORE 38328.07
AT ITER 253 NEW BEST:: SOT 701371 SOS 578630 HAS SOPS 351828 HAS SOUS 61541 HAS SOUPS 37746 WITH SCORE 38324.63
AT ITER 254 NEW BEST:: SOT 701399 SOS 578823 HAS SOPS 352021 HAS SOUS 61538 HAS SOUPS 37743 WITH SCORE 38321.823
AT ITER 271 NEW BEST:: SOT 701402 SOS 578826 HAS SOPS 351977 HAS SOUS 61524 HAS SOUPS 37729 WITH SCORE 38307.826
AT ITER 279 NEW BEST:: SOT 701403 SOS 578936 HAS SOPS 352072 HAS SOUS 61524 HAS SOUPS 37728 WITH SCORE 38306.936
AT ITER 280 NEW BEST:: SOT 701367 SOS 578373 HAS SOPS 351509 HAS SOUS 61501 HAS SOUPS 37705 WITH SCORE 38283.373
AT ITER 282 NEW BEST:: SOT 701315 SOS 578271 HAS SOPS 351507 HAS SOUS 61449 HAS SOUPS 37703 WITH SCORE 38281.271
AT ITER 293 NEW BEST:: SOT 702241 SOS 579197 HAS SOPS 351753 HAS SOUS 60739 HAS SOUPS 37043 WITH SCORE 37622.197
AT ITER 300 NEW BEST:: SOT 702288 SOS 579310 HAS SOPS 351536 HAS SOUS 60534 HAS SOUPS 36598 WITH SCORE 37177.31
AT ITER 321 NEW BEST:: SOT 702267 SOS 579272 HAS SOPS 351532 HAS SOUS 60513 HAS SOUPS 36594 WITH SCORE 37173.272
AT ITER 324 NEW BEST:: SOT 699833 SOS 574186 HAS SOPS 350135 HAS SOUS 60039 HAS SOUPS 36521 WITH SCORE 37095.186
AT ITER 327 NEW BEST:: SOT 700883 SOS 575075 HAS SOPS 350380 HAS SOUS 59640 HAS SOUPS 36283 WITH SCORE 36858.075
AT ITER 330 NEW BEST:: SOT 700948 SOS 575140 HAS SOPS 350378 HAS SOUS 59638 HAS SOUPS 36281 WITH SCORE 36856.14
AT ITER 351 NEW BEST:: SOT 700894 SOS 575033 HAS SOPS 350377 HAS SOUS 59443 HAS SOUPS 36208 WITH SCORE 36783.033
AT ITER 356 NEW BEST:: SOT 700906 SOS 575197 HAS SOPS 350161 HAS SOUS 59316 HAS SOUPS 35805 WITH SCORE 36380.197
AT ITER 359 NEW BEST:: SOT 701561 SOS 575955 HAS SOPS 350713 HAS SOUS 59398 HAS SOUPS 35748 WITH SCORE 36323.955
AT ITER 360 NEW BEST:: SOT 701539 SOS 575513 HAS SOPS 350826 HAS SOUS 59347 HAS SOUPS 35734 WITH SCORE 36309.513
AT ITER 379 NEW BEST:: SOT 701562 SOS 575812 HAS SOPS 351125 HAS SOUS 59324 HAS SOUPS 35711 WITH SCORE 36286.812
AT ITER 380 NEW BEST:: SOT 701339 SOS 575596 HAS SOPS 350724 HAS SOUS 58471 HAS SOUPS 34884 WITH SCORE 35459.596
AT ITER 387 NEW BEST:: SOT 701268 SOS 574389 HAS SOPS 350582 HAS SOUS 58400 HAS SOUPS 34884 WITH SCORE 35458.389
AT ITER 388 NEW BEST:: SOT 701723 SOS 574909 HAS SOPS 350777 HAS SOUS 58615 HAS SOUPS 34859 WITH SCORE 35433.909
AT ITER 401 NEW BEST:: SOT 701702 SOS 574846 HAS SOPS 350714 HAS SOUS 58594 HAS SOUPS 34838 WITH SCORE 35412.846
AT ITER 402 NEW BEST:: SOT 701750 SOS 574862 HAS SOPS 350730 HAS SOUS 58530 HAS SOUPS 34774 WITH SCORE 35348.862
AT ITER 411 NEW BEST:: SOT 701671 SOS 574659 HAS SOPS 350651 HAS SOUS 58327 HAS SOUPS 34695 WITH SCORE 35269.659
AT ITER 413 NEW BEST:: SOT 701644 SOS 574805 HAS SOPS 350617 HAS SOUS 58311 HAS SOUPS 34674 WITH SCORE 35248.805
AT ITER 416 NEW BEST:: SOT 701489 SOS 568000 HAS SOPS 344712 HAS SOUS 58204 HAS SOUPS 34627 WITH SCORE 35195.0
AT ITER 417 NEW BEST:: SOT 701517 SOS 568028 HAS SOPS 344617 HAS SOUS 58271 HAS SOUPS 34622 WITH SCORE 35190.028
AT ITER 426 NEW BEST:: SOT 701601 SOS 568233 HAS SOPS 344580 HAS SOUS 58355 HAS SOUPS 34585 WITH SCORE 35153.233
AT ITER 428 NEW BEST:: SOT 701593 SOS 568225 HAS SOPS 344572 HAS SOUS 58347 HAS SOUPS 34577 WITH SCORE 35145.225
AT ITER 432 NEW BEST:: SOT 701603 SOS 568265 HAS SOPS 344612 HAS SOUS 58344 HAS SOUPS 34574 WITH SCORE 35142.265
AT ITER 438 NEW BEST:: SOT 701573 SOS 568205 HAS SOPS 344612 HAS SOUS 58314 HAS SOUPS 34574 WITH SCORE 35142.205
AT ITER 445 NEW BEST:: SOT 701258 SOS 568270 HAS SOPS 344677 HAS SOUS 57835 HAS SOUPS 34095 WITH SCORE 34663.27
AT ITER 446 NEW BEST:: SOT 701258 SOS 568197 HAS SOPS 344677 HAS SOUS 57762 HAS SOUPS 34095 WITH SCORE 34663.197
AT ITER 449 NEW BEST:: SOT 701304 SOS 568243 HAS SOPS 344640 HAS SOUS 57725 HAS SOUPS 34058 WITH SCORE 34626.243
AT ITER 452 NEW BEST:: SOT 701272 SOS 566179 HAS SOPS 342576 HAS SOUS 57718 HAS SOUPS 34051 WITH SCORE 34617.179
AT ITER 458 NEW BEST:: SOT 701145 SOS 565925 HAS SOPS 342449 HAS SOUS 57478 HAS SOUPS 33932 WITH SCORE 34497.925
AT ITER 479 NEW BEST:: SOT 701111 SOS 563647 HAS SOPS 340171 HAS SOUS 57444 HAS SOUPS 33898 WITH SCORE 34461.647
AT ITER 487 NEW BEST:: SOT 701051 SOS 563602 HAS SOPS 340066 HAS SOUS 57324 HAS SOUPS 33748 WITH SCORE 34311.602
AT ITER 494 NEW BEST:: SOT 700984 SOS 563468 HAS SOPS 340066 HAS SOUS 57257 HAS SOUPS 33748 WITH SCORE 34311.468
AT ITER 503 NEW BEST:: SOT 700949 SOS 560518 HAS SOPS 337116 HAS SOUS 57258 HAS SOUPS 33749 WITH SCORE 34309.518
AT ITER 515 NEW BEST:: SOT 700949 SOS 560552 HAS SOPS 337116 HAS SOUS 57184 HAS SOUPS 33677 WITH SCORE 34237.552
AT ITER 522 NEW BEST:: SOT 700934 SOS 560537 HAS SOPS 337101 HAS SOUS 57169 HAS SOUPS 33662 WITH SCORE 34222.537
AT ITER 526 NEW BEST:: SOT 700934 SOS 560507 HAS SOPS 337071 HAS SOUS 57151 HAS SOUPS 33644 WITH SCORE 34204.507
AT ITER 535 NEW BEST:: SOT 700911 SOS 560461 HAS SOPS 337193 HAS SOUS 57103 HAS SOUPS 33610 WITH SCORE 34170.461
AT ITER 539 NEW BEST:: SOT 700911 SOS 560459 HAS SOPS 337191 HAS SOUS 57103 HAS SOUPS 33610 WITH SCORE 34170.459
AT ITER 574 NEW BEST:: SOT 700997 SOS 561177 HAS SOPS 337765 HAS SOUS 56216 HAS SOUPS 33470 WITH SCORE 34031.177
AT ITER 582 NEW BEST:: SOT 700847 SOS 561027 HAS SOPS 337546 HAS SOUS 55790 HAS SOUPS 33067 WITH SCORE 33628.027
AT ITER 586 NEW BEST:: SOT 700847 SOS 561015 HAS SOPS 337354 HAS SOUS 55790 HAS SOUPS 33055 WITH SCORE 33616.015
AT ITER 605 NEW BEST:: SOT 700833 SOS 560997 HAS SOPS 337336 HAS SOUS 55787 HAS SOUPS 33052 WITH SCORE 33612.997
AT ITER 619 NEW BEST:: SOT 700775 SOS 560905 HAS SOPS 337312 HAS SOUS 55729 HAS SOUPS 33028 WITH SCORE 33588.905
AT ITER 632 NEW BEST:: SOT 700775 SOS 558636 HAS SOPS 335373 HAS SOUS 55698 HAS SOUPS 33019 WITH SCORE 33577.636
AT ITER 634 NEW BEST:: SOT 700698 SOS 557109 HAS SOPS 335151 HAS SOUS 55543 HAS SOUPS 32951 WITH SCORE 33508.109
AT ITER 640 NEW BEST:: SOT 700695 SOS 557106 HAS SOPS 335151 HAS SOUS 55537 HAS SOUPS 32945 WITH SCORE 33502.106
AT ITER 644 NEW BEST:: SOT 700684 SOS 557077 HAS SOPS 335140 HAS SOUS 55518 HAS SOUPS 32944 WITH SCORE 33501.077
AT ITER 660 NEW BEST:: SOT 700629 SOS 554762 HAS SOPS 334205 HAS SOUS 55413 HAS SOUPS 32931 WITH SCORE 33485.762
AT ITER 663 NEW BEST:: SOT 700502 SOS 552168 HAS SOPS 332781 HAS SOUS 55296 HAS SOUPS 32892 WITH SCORE 33444.168
AT ITER 666 NEW BEST:: SOT 700505 SOS 552384 HAS SOPS 332547 HAS SOUS 55315 HAS SOUPS 32881 WITH SCORE 33433.384
AT ITER 671 NEW BEST:: SOT 700432 SOS 552311 HAS SOPS 332474 HAS SOUS 55287 HAS SOUPS 32833 WITH SCORE 33385.311
AT ITER 674 NEW BEST:: SOT 700308 SOS 548684 HAS SOPS 329312 HAS SOUS 55132 HAS SOUPS 32709 WITH SCORE 33257.684
AT ITER 676 NEW BEST:: SOT 700186 SOS 548602 HAS SOPS 329030 HAS SOUS 54845 HAS SOUPS 32282 WITH SCORE 32830.602
AT ITER 682 NEW BEST:: SOT 700039 SOS 548764 HAS SOPS 329486 HAS SOUS 53909 HAS SOUPS 32165 WITH SCORE 32713.764
AT ITER 690 NEW BEST:: SOT 699923 SOS 548532 HAS SOPS 329370 HAS SOUS 53582 HAS SOUPS 32094 WITH SCORE 32642.532
AT ITER 695 NEW BEST:: SOT 700160 SOS 548839 HAS SOPS 329677 HAS SOUS 53519 HAS SOUPS 32031 WITH SCORE 32579.839
AT ITER 698 NEW BEST:: SOT 700237 SOS 548916 HAS SOPS 329669 HAS SOUS 53511 HAS SOUPS 32023 WITH SCORE 32571.916
AT ITER 706 NEW BEST:: SOT 700203 SOS 548859 HAS SOPS 329658 HAS SOUS 53477 HAS SOUPS 32012 WITH SCORE 32560.859
AT ITER 737 NEW BEST:: SOT 700203 SOS 548859 HAS SOPS 329658 HAS SOUS 53460 HAS SOUPS 31995 WITH SCORE 32543.859
AT ITER 743 NEW BEST:: SOT 700196 SOS 548852 HAS SOPS 329651 HAS SOUS 53453 HAS SOUPS 31988 WITH SCORE 32536.852
AT ITER 745 NEW BEST:: SOT 699915 SOS 548489 HAS SOPS 329608 HAS SOUS 53358 HAS SOUPS 31927 WITH SCORE 32475.489
AT ITER 746 NEW BEST:: SOT 700006 SOS 546942 HAS SOPS 328334 HAS SOUS 53358 HAS SOUPS 31927 WITH SCORE 32473.942
AT ITER 753 NEW BEST:: SOT 699985 SOS 550076 HAS SOPS 329452 HAS SOUS 53383 HAS SOUPS 31896 WITH SCORE 32446.076
AT ITER 759 NEW BEST:: SOT 699934 SOS 548082 HAS SOPS 327458 HAS SOUS 53332 HAS SOUPS 31845 WITH SCORE 32393.082
AT ITER 762 NEW BEST:: SOT 699931 SOS 548079 HAS SOPS 327458 HAS SOUS 53332 HAS SOUPS 31845 WITH SCORE 32393.079
AT ITER 817 NEW BEST:: SOT 699931 SOS 547479 HAS SOPS 328310 HAS SOUS 53208 HAS SOUPS 31842 WITH SCORE 32389.479
AT ITER 818 NEW BEST:: SOT 699831 SOS 540849 HAS SOPS 322700 HAS SOUS 53129 HAS SOUPS 31831 WITH SCORE 32371.849
AT ITER 823 NEW BEST:: SOT 699831 SOS 540583 HAS SOPS 322434 HAS SOUS 53129 HAS SOUPS 31831 WITH SCORE 32371.583
AT ITER 841 NEW BEST:: SOT 700119 SOS 540906 HAS SOPS 322547 HAS SOUS 52962 HAS SOUPS 31664 WITH SCORE 32204.906
AT ITER 860 NEW BEST:: SOT 700107 SOS 540642 HAS SOPS 323183 HAS SOUS 52844 HAS SOUPS 31606 WITH SCORE 32146.642
AT ITER 872 NEW BEST:: SOT 700103 SOS 540634 HAS SOPS 323183 HAS SOUS 52840 HAS SOUPS 31606 WITH SCORE 32146.634
AT ITER 890 NEW BEST:: SOT 700065 SOS 540577 HAS SOPS 323164 HAS SOUS 52802 HAS SOUPS 31587 WITH SCORE 32127.577
AT ITER 899 NEW BEST:: SOT 700046 SOS 540273 HAS SOPS 323145 HAS SOUS 52745 HAS SOUPS 31549 WITH SCORE 32089.273
AT ITER 906 NEW BEST:: SOT 701137 SOS 541622 HAS SOPS 323849 HAS SOUS 52744 HAS SOUPS 31460 WITH SCORE 32001.622
AT ITER 917 NEW BEST:: SOT 701114 SOS 541493 HAS SOPS 323720 HAS SOUS 52712 HAS SOUPS 31428 WITH SCORE 31969.493
AT ITER 928 NEW BEST:: SOT 701094 SOS 541456 HAS SOPS 323717 HAS SOUS 52692 HAS SOUPS 31425 WITH SCORE 31966.456
AT ITER 938 NEW BEST:: SOT 701088 SOS 541450 HAS SOPS 323717 HAS SOUS 52692 HAS SOUPS 31425 WITH SCORE 31966.45
AT ITER 952 NEW BEST:: SOT 701144 SOS 541506 HAS SOPS 323706 HAS SOUS 52699 HAS SOUPS 31424 WITH SCORE 31965.506
AT ITER 962 NEW BEST:: SOT 701171 SOS 541555 HAS SOPS 323711 HAS SOUS 52609 HAS SOUPS 31364 WITH SCORE 31905.555
AT ITER 973 NEW BEST:: SOT 701114 SOS 540529 HAS SOPS 323540 HAS SOUS 52509 HAS SOUPS 31321 WITH SCORE 31861.529
AT ITER 1008 NEW BEST:: SOT 701073 SOS 540488 HAS SOPS 323540 HAS SOUS 52491 HAS SOUPS 31311 WITH SCORE 31851.488
AT ITER 1009 NEW BEST:: SOT 701020 SOS 531667 HAS SOPS 316114 HAS SOUS 52373 HAS SOUPS 31286 WITH SCORE 31817.667
AT ITER 1025 NEW BEST:: SOT 701432 SOS 532126 HAS SOPS 316291 HAS SOUS 52174 HAS SOUPS 31087 WITH SCORE 31619.126
AT ITER 1035 NEW BEST:: SOT 701639 SOS 532563 HAS SOPS 316429 HAS SOUS 52153 HAS SOUPS 31071 WITH SCORE 31603.563
AT ITER 1053 NEW BEST:: SOT 700120 SOS 528277 HAS SOPS 315223 HAS SOUS 52113 HAS SOUPS 31022 WITH SCORE 31550.277000000002
AT ITER 1077 NEW BEST:: SOT 700110 SOS 528257 HAS SOPS 315335 HAS SOUS 52093 HAS SOUPS 31013 WITH SCORE 31541.257
AT ITER 1082 NEW BEST:: SOT 700074 SOS 528185 HAS SOPS 315299 HAS SOUS 52021 HAS SOUPS 30977 WITH SCORE 31505.185
AT ITER 1091 NEW BEST:: SOT 699945 SOS 529842 HAS SOPS 316476 HAS SOUS 52002 HAS SOUPS 30926 WITH SCORE 31455.842
AT ITER 1094 NEW BEST:: SOT 700328 SOS 530236 HAS SOPS 316786 HAS SOUS 51951 HAS SOUPS 30864 WITH SCORE 31394.236
AT ITER 1095 NEW BEST:: SOT 700325 SOS 530230 HAS SOPS 316774 HAS SOUS 51942 HAS SOUPS 30855 WITH SCORE 31385.23
AT ITER 1096 NEW BEST:: SOT 700453 SOS 530429 HAS SOPS 316733 HAS SOUS 52002 HAS SOUPS 30844 WITH SCORE 31374.429
AT ITER 1116 NEW BEST:: SOT 700495 SOS 530471 HAS SOPS 316754 HAS SOUS 51960 HAS SOUPS 30809 WITH SCORE 31339.471
AT ITER 1120 NEW BEST:: SOT 700449 SOS 529643 HAS SOPS 316616 HAS SOUS 51914 HAS SOUPS 30809 WITH SCORE 31338.643
AT ITER 1124 NEW BEST:: SOT 700417 SOS 529611 HAS SOPS 316616 HAS SOUS 51884 HAS SOUPS 30779 WITH SCORE 31308.611
AT ITER 1129 NEW BEST:: SOT 700390 SOS 529557 HAS SOPS 316589 HAS SOUS 51830 HAS SOUPS 30752 WITH SCORE 31281.557
AT ITER 1133 NEW BEST:: SOT 700396 SOS 529563 HAS SOPS 316595 HAS SOUS 51822 HAS SOUPS 30744 WITH SCORE 31273.563
AT ITER 1184 NEW BEST:: SOT 700401 SOS 529393 HAS SOPS 316680 HAS SOUS 51805 HAS SOUPS 30744 WITH SCORE 31273.393
AT ITER 1192 NEW BEST:: SOT 700322 SOS 528515 HAS SOPS 317152 HAS SOUS 51589 HAS SOUPS 30618 WITH SCORE 31146.515
AT ITER 1219 NEW BEST:: SOT 700273 SOS 527682 HAS SOPS 316784 HAS SOUS 51540 HAS SOUPS 30600 WITH SCORE 31127.682
AT ITER 1221 NEW BEST:: SOT 700247 SOS 526510 HAS SOPS 315024 HAS SOUS 51516 HAS SOUPS 30576 WITH SCORE 31102.51
AT ITER 1227 NEW BEST:: SOT 700247 SOS 526510 HAS SOPS 315024 HAS SOUS 51507 HAS SOUPS 30571 WITH SCORE 31097.51
AT ITER 1231 NEW BEST:: SOT 700197 SOS 526410 HAS SOPS 314948 HAS SOUS 51381 HAS SOUPS 30495 WITH SCORE 31021.41
AT ITER 1243 NEW BEST:: SOT 700157 SOS 526138 HAS SOPS 314607 HAS SOUS 51377 HAS SOUPS 30468 WITH SCORE 30994.138
AT ITER 1257 NEW BEST:: SOT 700829 SOS 526766 HAS SOPS 314813 HAS SOUS 51029 HAS SOUPS 30164 WITH SCORE 30690.766
AT ITER 1265 NEW BEST:: SOT 700829 SOS 526766 HAS SOPS 314813 HAS SOUS 50966 HAS SOUPS 30129 WITH SCORE 30655.766
AT ITER 1268 NEW BEST:: SOT 700855 SOS 526796 HAS SOPS 314843 HAS SOUS 50963 HAS SOUPS 30126 WITH SCORE 30652.796
AT ITER 1279 NEW BEST:: SOT 700895 SOS 526836 HAS SOPS 314835 HAS SOUS 50955 HAS SOUPS 30118 WITH SCORE 30644.836
AT ITER 1282 NEW BEST:: SOT 700897 SOS 526843 HAS SOPS 314832 HAS SOUS 50957 HAS SOUPS 30115 WITH SCORE 30641.843
AT ITER 1288 NEW BEST:: SOT 700870 SOS 526794 HAS SOPS 314827 HAS SOUS 50930 HAS SOUPS 30110 WITH SCORE 30636.794
AT ITER 1296 NEW BEST:: SOT 700834 SOS 526722 HAS SOPS 314827 HAS SOUS 50861 HAS SOUPS 30095 WITH SCORE 30621.722
AT ITER 1297 NEW BEST:: SOT 701974 SOS 529116 HAS SOPS 315511 HAS SOUS 51038 HAS SOUPS 30092 WITH SCORE 30621.116
AT ITER 1307 NEW BEST:: SOT 702003 SOS 527749 HAS SOPS 315569 HAS SOUS 50943 HAS SOUPS 30092 WITH SCORE 30619.749
AT ITER 1322 NEW BEST:: SOT 701874 SOS 526081 HAS SOPS 314876 HAS SOUS 50870 HAS SOUPS 30084 WITH SCORE 30610.081
AT ITER 1349 NEW BEST:: SOT 701820 SOS 526028 HAS SOPS 314821 HAS SOUS 50816 HAS SOUPS 30029 WITH SCORE 30555.028
AT ITER 1350 NEW BEST:: SOT 701887 SOS 526095 HAS SOPS 314821 HAS SOUS 50807 HAS SOUPS 30024 WITH SCORE 30550.095
AT ITER 1353 NEW BEST:: SOT 701866 SOS 525948 HAS SOPS 314674 HAS SOUS 50807 HAS SOUPS 30024 WITH SCORE 30549.948
AT ITER 1357 NEW BEST:: SOT 701997 SOS 526084 HAS SOPS 314737 HAS SOUS 50686 HAS SOUPS 29919 WITH SCORE 30445.084
AT ITER 1365 NEW BEST:: SOT 701894 SOS 525381 HAS SOPS 314646 HAS SOUS 50566 HAS SOUPS 29850 WITH SCORE 30375.381
AT ITER 1371 NEW BEST:: SOT 701896 SOS 525231 HAS SOPS 314463 HAS SOUS 50549 HAS SOUPS 29832 WITH SCORE 30357.231
AT ITER 1381 NEW BEST:: SOT 701877 SOS 525194 HAS SOPS 314462 HAS SOUS 50530 HAS SOUPS 29831 WITH SCORE 30356.194
AT ITER 1387 NEW BEST:: SOT 701745 SOS 524501 HAS SOPS 314264 HAS SOUS 50418 HAS SOUPS 29752 WITH SCORE 30276.501
AT ITER 1392 NEW BEST:: SOT 701787 SOS 526775 HAS SOPS 314978 HAS SOUS 50506 HAS SOUPS 29736 WITH SCORE 30262.775
AT ITER 1401 NEW BEST:: SOT 701787 SOS 526775 HAS SOPS 314978 HAS SOUS 50488 HAS SOUPS 29726 WITH SCORE 30252.775
AT ITER 1412 NEW BEST:: SOT 701773 SOS 526747 HAS SOPS 314964 HAS SOUS 50460 HAS SOUPS 29712 WITH SCORE 30238.747
AT ITER 1432 NEW BEST:: SOT 701751 SOS 526703 HAS SOPS 314964 HAS SOUS 50429 HAS SOUPS 29707 WITH SCORE 30233.703
AT ITER 1433 NEW BEST:: SOT 701793 SOS 524875 HAS SOPS 314192 HAS SOUS 50427 HAS SOUPS 29705 WITH SCORE 30229.875
AT ITER 1465 NEW BEST:: SOT 701783 SOS 524811 HAS SOPS 314155 HAS SOUS 50336 HAS SOUPS 29668 WITH SCORE 30192.811
AT ITER 1471 NEW BEST:: SOT 701751 SOS 524772 HAS SOPS 314155 HAS SOUS 50329 HAS SOUPS 29668 WITH SCORE 30192.772
AT ITER 1478 NEW BEST:: SOT 701781 SOS 524832 HAS SOPS 314139 HAS SOUS 50313 HAS SOUPS 29652 WITH SCORE 30176.832
AT ITER 1491 NEW BEST:: SOT 701761 SOS 525070 HAS SOPS 314326 HAS SOUS 50310 HAS SOUPS 29649 WITH SCORE 30174.07
AT ITER 1499 NEW BEST:: SOT 701757 SOS 524995 HAS SOPS 314322 HAS SOUS 50235 HAS SOUPS 29645 WITH SCORE 30169.995
AT ITER 1514 NEW BEST:: SOT 701757 SOS 524995 HAS SOPS 314322 HAS SOUS 50055 HAS SOUPS 29545 WITH SCORE 30069.995
AT ITER 1534 NEW BEST:: SOT 701757 SOS 524995 HAS SOPS 314322 HAS SOUS 49902 HAS SOUPS 29460 WITH SCORE 29984.995
AT ITER 1541 NEW BEST:: SOT 701797 SOS 523667 HAS SOPS 313654 HAS SOUS 49806 HAS SOUPS 29408 WITH SCORE 29931.667
AT ITER 1550 NEW BEST:: SOT 701935 SOS 523841 HAS SOPS 313653 HAS SOUS 49841 HAS SOUPS 29407 WITH SCORE 29930.841
AT ITER 1551 NEW BEST:: SOT 701933 SOS 523807 HAS SOPS 313634 HAS SOUS 49839 HAS SOUPS 29406 WITH SCORE 29929.807
AT ITER 1570 NEW BEST:: SOT 702101 SOS 524143 HAS SOPS 313718 HAS SOUS 49825 HAS SOUPS 29378 WITH SCORE 29902.143
AT ITER 1578 NEW BEST:: SOT 701845 SOS 523481 HAS SOPS 313528 HAS SOUS 49804 HAS SOUPS 29368 WITH SCORE 29891.481
AT ITER 1583 NEW BEST:: SOT 701884 SOS 523548 HAS SOPS 313539 HAS SOUS 49798 HAS SOUPS 29354 WITH SCORE 29877.548
AT ITER 1590 NEW BEST:: SOT 701792 SOS 523616 HAS SOPS 312887 HAS SOUS 49802 HAS SOUPS 29310 WITH SCORE 29833.616
AT ITER 1598 NEW BEST:: SOT 701792 SOS 523208 HAS SOPS 312479 HAS SOUS 49754 HAS SOUPS 29262 WITH SCORE 29785.208
AT ITER 1633 NEW BEST:: SOT 701792 SOS 523152 HAS SOPS 312423 HAS SOUS 49754 HAS SOUPS 29262 WITH SCORE 29785.152000000002
AT ITER 1636 NEW BEST:: SOT 701784 SOS 523136 HAS SOPS 312423 HAS SOUS 49746 HAS SOUPS 29262 WITH SCORE 29785.136
AT ITER 1656 NEW BEST:: SOT 701784 SOS 523136 HAS SOPS 312423 HAS SOUS 49719 HAS SOUPS 29247 WITH SCORE 29770.136
AT ITER 1661 NEW BEST:: SOT 701784 SOS 523136 HAS SOPS 312423 HAS SOUS 49701 HAS SOUPS 29237 WITH SCORE 29760.136
AT ITER 1671 NEW BEST:: SOT 702517 SOS 530240 HAS SOPS 315849 HAS SOUS 49742 HAS SOUPS 29225 WITH SCORE 29755.24
AT ITER 1678 NEW BEST:: SOT 702303 SOS 529956 HAS SOPS 315650 HAS SOUS 49715 HAS SOUPS 29198 WITH SCORE 29727.956
AT ITER 1681 NEW BEST:: SOT 702167 SOS 529803 HAS SOPS 315548 HAS SOUS 49698 HAS SOUPS 29198 WITH SCORE 29727.803
AT ITER 1697 NEW BEST:: SOT 702084 SOS 529720 HAS SOPS 315548 HAS SOUS 49698 HAS SOUPS 29198 WITH SCORE 29727.72
AT ITER 1711 NEW BEST:: SOT 702094 SOS 529730 HAS SOPS 315558 HAS SOUS 49693 HAS SOUPS 29193 WITH SCORE 29722.73
AT ITER 1720 NEW BEST:: SOT 702000 SOS 530434 HAS SOPS 315062 HAS SOUS 49772 HAS SOUPS 29192 WITH SCORE 29722.434
AT ITER 1722 NEW BEST:: SOT 702003 SOS 530383 HAS SOPS 315020 HAS SOUS 49772 HAS SOUPS 29192 WITH SCORE 29722.383
AT ITER 1728 NEW BEST:: SOT 701565 SOS 529273 HAS SOPS 314751 HAS SOUS 49752 HAS SOUPS 29176 WITH SCORE 29705.273
AT ITER 1733 NEW BEST:: SOT 701499 SOS 530313 HAS SOPS 315791 HAS SOUS 49729 HAS SOUPS 29153 WITH SCORE 29683.313
AT ITER 1741 NEW BEST:: SOT 701475 SOS 530289 HAS SOPS 315791 HAS SOUS 49729 HAS SOUPS 29153 WITH SCORE 29683.289
AT ITER 1752 NEW BEST:: SOT 701427 SOS 530191 HAS SOPS 315734 HAS SOUS 49622 HAS SOUPS 29096 WITH SCORE 29626.191
AT ITER 1762 NEW BEST:: SOT 701444 SOS 530817 HAS SOPS 315805 HAS SOUS 49599 HAS SOUPS 29036 WITH SCORE 29566.817
AT ITER 1763 NEW BEST:: SOT 701427 SOS 529913 HAS SOPS 315351 HAS SOUS 49558 HAS SOUPS 29025 WITH SCORE 29554.913
AT ITER 1797 NEW BEST:: SOT 701405 SOS 529891 HAS SOPS 315351 HAS SOUS 49558 HAS SOUPS 29025 WITH SCORE 29554.891
AT ITER 1817 NEW BEST:: SOT 701405 SOS 529891 HAS SOPS 315351 HAS SOUS 49306 HAS SOUPS 28885 WITH SCORE 29414.891
AT ITER 1827 NEW BEST:: SOT 701292 SOS 529665 HAS SOPS 315351 HAS SOUS 49184 HAS SOUPS 28880 WITH SCORE 29409.665
AT ITER 1859 NEW BEST:: SOT 701233 SOS 529186 HAS SOPS 315532 HAS SOUS 49130 HAS SOUPS 28870 WITH SCORE 29399.186
AT ITER 1886 NEW BEST:: SOT 701222 SOS 529164 HAS SOPS 315532 HAS SOUS 49113 HAS SOUPS 28866 WITH SCORE 29395.164
AT ITER 1897 NEW BEST:: SOT 701221 SOS 529066 HAS SOPS 315531 HAS SOUS 49015 HAS SOUPS 28865 WITH SCORE 29394.066
AT ITER 1919 NEW BEST:: SOT 700813 SOS 528658 HAS SOPS 315123 HAS SOUS 49015 HAS SOUPS 28865 WITH SCORE 29393.658
AT ITER 1923 NEW BEST:: SOT 700785 SOS 528616 HAS SOPS 315109 HAS SOUS 48987 HAS SOUPS 28851 WITH SCORE 29379.616
AT ITER 1929 NEW BEST:: SOT 700785 SOS 528616 HAS SOPS 315109 HAS SOUS 48915 HAS SOUPS 28811 WITH SCORE 29339.616
AT ITER 1931 NEW BEST:: SOT 700763 SOS 528572 HAS SOPS 315109 HAS SOUS 48695 HAS SOUPS 28701 WITH SCORE 29229.572
AT ITER 1934 NEW BEST:: SOT 700763 SOS 528572 HAS SOPS 315109 HAS SOUS 48680 HAS SOUPS 28686 WITH SCORE 29214.572
AT ITER 1985 NEW BEST:: SOT 700745 SOS 528554 HAS SOPS 315109 HAS SOUS 48680 HAS SOUPS 28686 WITH SCORE 29214.554
AT ITER 2015 NEW BEST:: SOT 700717 SOS 528498 HAS SOPS 315109 HAS SOUS 48598 HAS SOUPS 28656 WITH SCORE 29184.498
AT ITER 2034 NEW BEST:: SOT 699329 SOS 527112 HAS SOPS 314435 HAS SOUS 48595 HAS SOUPS 28652 WITH SCORE 29179.112
AT ITER 2070 NEW BEST:: SOT 699439 SOS 527233 HAS SOPS 314501 HAS SOUS 48573 HAS SOUPS 28630 WITH SCORE 29157.233
AT ITER 2124 NEW BEST:: SOT 699425 SOS 527195 HAS SOPS 314463 HAS SOUS 48552 HAS SOUPS 28609 WITH SCORE 29136.195
AT ITER 2128 NEW BEST:: SOT 699423 SOS 527189 HAS SOPS 314457 HAS SOUS 48548 HAS SOUPS 28605 WITH SCORE 29132.189
AT ITER 2152 NEW BEST:: SOT 699423 SOS 527189 HAS SOPS 314457 HAS SOUS 48539 HAS SOUPS 28600 WITH SCORE 29127.189
AT ITER 2165 NEW BEST:: SOT 699396 SOS 526730 HAS SOPS 314403 HAS SOUS 48485 HAS SOUPS 28573 WITH SCORE 29099.73
AT ITER 2186 NEW BEST:: SOT 699396 SOS 526715 HAS SOPS 314388 HAS SOUS 48484 HAS SOUPS 28572 WITH SCORE 29098.715
AT ITER 2192 NEW BEST:: SOT 699334 SOS 526827 HAS SOPS 314323 HAS SOUS 48438 HAS SOUPS 28526 WITH SCORE 29052.827
AT ITER 2199 NEW BEST:: SOT 699372 SOS 526563 HAS SOPS 314359 HAS SOUS 48414 HAS SOUPS 28522 WITH SCORE 29048.563
AT ITER 2254 NEW BEST:: SOT 699600 SOS 526693 HAS SOPS 314474 HAS SOUS 48359 HAS SOUPS 28498 WITH SCORE 29024.693
AT ITER 2261 NEW BEST:: SOT 699594 SOS 525781 HAS SOPS 313637 HAS SOUS 48344 HAS SOUPS 28483 WITH SCORE 29008.781
AT ITER 2265 NEW BEST:: SOT 699579 SOS 525692 HAS SOPS 313548 HAS SOUS 48339 HAS SOUPS 28478 WITH SCORE 29003.692
AT ITER 2271 NEW BEST:: SOT 699621 SOS 525116 HAS SOPS 312972 HAS SOUS 48328 HAS SOUPS 28467 WITH SCORE 28992.116
AT ITER 2272 NEW BEST:: SOT 699617 SOS 525108 HAS SOPS 312972 HAS SOUS 48324 HAS SOUPS 28467 WITH SCORE 28992.108
AT ITER 2273 NEW BEST:: SOT 699617 SOS 525108 HAS SOPS 312972 HAS SOUS 48288 HAS SOUPS 28447 WITH SCORE 28972.108
AT ITER 2284 NEW BEST:: SOT 699612 SOS 524546 HAS SOPS 312962 HAS SOUS 48240 HAS SOUPS 28445 WITH SCORE 28969.546
AT ITER 2304 NEW BEST:: SOT 699644 SOS 524757 HAS SOPS 313174 HAS SOUS 48225 HAS SOUPS 28430 WITH SCORE 28954.757
AT ITER 2357 NEW BEST:: SOT 699306 SOS 523825 HAS SOPS 312924 HAS SOUS 48203 HAS SOUPS 28420 WITH SCORE 28943.825
AT ITER 2384 NEW BEST:: SOT 699279 SOS 523940 HAS SOPS 313288 HAS SOUS 48177 HAS SOUPS 28394 WITH SCORE 28917.94
AT ITER 2404 NEW BEST:: SOT 699279 SOS 523940 HAS SOPS 313288 HAS SOUS 48051 HAS SOUPS 28324 WITH SCORE 28847.94
AT ITER 2461 NEW BEST:: SOT 699279 SOS 523925 HAS SOPS 313288 HAS SOUS 48036 HAS SOUPS 28324 WITH SCORE 28847.925
AT ITER 2469 NEW BEST:: SOT 699213 SOS 523848 HAS SOPS 313277 HAS SOUS 48014 HAS SOUPS 28313 WITH SCORE 28836.847999999998
AT ITER 2479 NEW BEST:: SOT 699238 SOS 523869 HAS SOPS 313298 HAS SOUS 47972 HAS SOUPS 28271 WITH SCORE 28794.869
AT ITER 2485 NEW BEST:: SOT 699220 SOS 523842 HAS SOPS 313289 HAS SOUS 47954 HAS SOUPS 28262 WITH SCORE 28785.842
AT ITER 2487 NEW BEST:: SOT 699688 SOS 524778 HAS SOPS 313523 HAS SOUS 47919 HAS SOUPS 28188 WITH SCORE 28712.778
AT ITER 2494 NEW BEST:: SOT 698880 SOS 523851 HAS SOPS 312919 HAS SOUS 47961 HAS SOUPS 28179 WITH SCORE 28702.851
AT ITER 2515 NEW BEST:: SOT 696296 SOS 517411 HAS SOPS 311275 HAS SOUS 47597 HAS SOUPS 28054 WITH SCORE 28571.411
AT ITER 2551 NEW BEST:: SOT 696304 SOS 517429 HAS SOPS 311273 HAS SOUS 47605 HAS SOUPS 28052 WITH SCORE 28569.429
AT ITER 2555 NEW BEST:: SOT 696297 SOS 517422 HAS SOPS 311273 HAS SOUS 47605 HAS SOUPS 28052 WITH SCORE 28569.422
AT ITER 2561 NEW BEST:: SOT 694650 SOS 500424 HAS SOPS 297687 HAS SOUS 47476 HAS SOUPS 27991 WITH SCORE 28491.424
AT ITER 2609 NEW BEST:: SOT 694845 SOS 496650 HAS SOPS 296089 HAS SOUS 47415 HAS SOUPS 27994 WITH SCORE 28490.65
AT ITER 2618 NEW BEST:: SOT 694845 SOS 496650 HAS SOPS 296089 HAS SOUS 47412 HAS SOUPS 27992 WITH SCORE 28488.65
AT ITER 2626 NEW BEST:: SOT 694868 SOS 496688 HAS SOPS 296127 HAS SOUS 47408 HAS SOUPS 27988 WITH SCORE 28484.688
AT ITER 2647 NEW BEST:: SOT 694843 SOS 496663 HAS SOPS 296127 HAS SOUS 47408 HAS SOUPS 27988 WITH SCORE 28484.663
AT ITER 2649 NEW BEST:: SOT 694112 SOS 495941 HAS SOPS 295762 HAS SOUS 47396 HAS SOUPS 27967 WITH SCORE 28462.941
AT ITER 2664 NEW BEST:: SOT 694112 SOS 495941 HAS SOPS 295762 HAS SOUS 47378 HAS SOUPS 27957 WITH SCORE 28452.941
AT ITER 2668 NEW BEST:: SOT 694145 SOS 495974 HAS SOPS 295762 HAS SOUS 47369 HAS SOUPS 27952 WITH SCORE 28447.974
AT ITER 2672 NEW BEST:: SOT 694114 SOS 495943 HAS SOPS 295762 HAS SOUS 47369 HAS SOUPS 27952 WITH SCORE 28447.943
AT ITER 2673 NEW BEST:: SOT 694087 SOS 496745 HAS SOPS 296020 HAS SOUS 47377 HAS SOUPS 27944 WITH SCORE 28440.745
AT ITER 2724 NEW BEST:: SOT 694111 SOS 496589 HAS SOPS 296020 HAS SOUS 47372 HAS SOUPS 27939 WITH SCORE 28435.589
AT ITER 2770 NEW BEST:: SOT 694095 SOS 496693 HAS SOPS 296004 HAS SOUS 47377 HAS SOUPS 27936 WITH SCORE 28432.693
AT ITER 2779 NEW BEST:: SOT 694082 SOS 496667 HAS SOPS 296004 HAS SOUS 47364 HAS SOUPS 27936 WITH SCORE 28432.667
AT ITER 2787 NEW BEST:: SOT 693302 SOS 494833 HAS SOPS 294512 HAS SOUS 47387 HAS SOUPS 27935 WITH SCORE 28429.833
AT ITER 2799 NEW BEST:: SOT 693302 SOS 494833 HAS SOPS 294512 HAS SOUS 47369 HAS SOUPS 27925 WITH SCORE 28419.833
AT ITER 2819 NEW BEST:: SOT 693185 SOS 494655 HAS SOPS 294456 HAS SOUS 47288 HAS SOUPS 27889 WITH SCORE 28383.655
AT ITER 2852 NEW BEST:: SOT 692947 SOS 494419 HAS SOPS 294216 HAS SOUS 47290 HAS SOUPS 27889 WITH SCORE 28383.419
AT ITER 2865 NEW BEST:: SOT 692947 SOS 494419 HAS SOPS 294216 HAS SOUS 47281 HAS SOUPS 27884 WITH SCORE 28378.419
AT ITER 2881 NEW BEST:: SOT 691052 SOS 492489 HAS SOPS 293023 HAS SOUS 47262 HAS SOUPS 27845 WITH SCORE 28337.489
AT ITER 2937 NEW BEST:: SOT 690799 SOS 492236 HAS SOPS 292908 HAS SOUS 47262 HAS SOUPS 27845 WITH SCORE 28337.236
AT ITER 2940 NEW BEST:: SOT 690800 SOS 492644 HAS SOPS 293106 HAS SOUS 47264 HAS SOUPS 27833 WITH SCORE 28325.644
AT ITER 2958 NEW BEST:: SOT 690785 SOS 492434 HAS SOPS 292896 HAS SOUS 47252 HAS SOUPS 27821 WITH SCORE 28313.434
AT ITER 2964 NEW BEST:: SOT 690806 SOS 492371 HAS SOPS 292581 HAS SOUS 47273 HAS SOUPS 27821 WITH SCORE 28313.371
AT ITER 2970 NEW BEST:: SOT 690803 SOS 492365 HAS SOPS 292581 HAS SOUS 47270 HAS SOUPS 27821 WITH SCORE 28313.365
AT ITER 2989 NEW BEST:: SOT 690795 SOS 492277 HAS SOPS 292493 HAS SOUS 47262 HAS SOUPS 27813 WITH SCORE 28305.277
AT ITER 3031 NEW BEST:: SOT 689940 SOS 484894 HAS SOPS 287042 HAS SOUS 47237 HAS SOUPS 27819 WITH SCORE 28303.894
AT ITER 3047 NEW BEST:: SOT 688956 SOS 481300 HAS SOPS 285154 HAS SOUS 47023 HAS SOUPS 27684 WITH SCORE 28165.3
AT ITER 3052 NEW BEST:: SOT 687141 SOS 475972 HAS SOPS 280611 HAS SOUS 46860 HAS SOUPS 27516 WITH SCORE 27991.972
AT ITER 3070 NEW BEST:: SOT 687253 SOS 476084 HAS SOPS 280653 HAS SOUS 46851 HAS SOUPS 27507 WITH SCORE 27983.084
AT ITER 3074 NEW BEST:: SOT 687220 SOS 476051 HAS SOPS 280620 HAS SOUS 46849 HAS SOUPS 27505 WITH SCORE 27981.051
AT ITER 3093 NEW BEST:: SOT 687372 SOS 476429 HAS SOPS 280932 HAS SOUS 46821 HAS SOUPS 27484 WITH SCORE 27960.429
AT ITER 3101 NEW BEST:: SOT 687332 SOS 475942 HAS SOPS 280516 HAS SOUS 46820 HAS SOUPS 27483 WITH SCORE 27958.942
AT ITER 3147 NEW BEST:: SOT 687397 SOS 475994 HAS SOPS 280594 HAS SOUS 46804 HAS SOUPS 27481 WITH SCORE 27956.994
AT ITER 3152 NEW BEST:: SOT 687287 SOS 475920 HAS SOPS 280520 HAS SOUS 46743 HAS SOUPS 27420 WITH SCORE 27895.92
AT ITER 3181 NEW BEST:: SOT 687081 SOS 475520 HAS SOPS 280206 HAS SOUS 46717 HAS SOUPS 27394 WITH SCORE 27869.52
AT ITER 3184 NEW BEST:: SOT 686514 SOS 474936 HAS SOPS 279803 HAS SOUS 46738 HAS SOUPS 27383 WITH SCORE 27857.936
AT ITER 3190 NEW BEST:: SOT 686505 SOS 474804 HAS SOPS 279761 HAS SOUS 46726 HAS SOUPS 27377 WITH SCORE 27851.804
AT ITER 3193 NEW BEST:: SOT 686448 SOS 474460 HAS SOPS 279657 HAS SOUS 46668 HAS SOUPS 27335 WITH SCORE 27809.46
AT ITER 3200 NEW BEST:: SOT 684277 SOS 465213 HAS SOPS 274850 HAS SOUS 46479 HAS SOUPS 27320 WITH SCORE 27785.213
AT ITER 3255 NEW BEST:: SOT 684253 SOS 465177 HAS SOPS 274838 HAS SOUS 46455 HAS SOUPS 27308 WITH SCORE 27773.177
AT ITER 3308 NEW BEST:: SOT 684220 SOS 465096 HAS SOPS 274817 HAS SOUS 46452 HAS SOUPS 27308 WITH SCORE 27773.096
AT ITER 3311 NEW BEST:: SOT 684258 SOS 465126 HAS SOPS 274809 HAS SOUS 46440 HAS SOUPS 27300 WITH SCORE 27765.126
AT ITER 3341 NEW BEST:: SOT 684274 SOS 465360 HAS SOPS 275049 HAS SOUS 46376 HAS SOUPS 27236 WITH SCORE 27701.36
AT ITER 3346 NEW BEST:: SOT 684228 SOS 465133 HAS SOPS 274822 HAS SOUS 46321 HAS SOUPS 27181 WITH SCORE 27646.133
AT ITER 3364 NEW BEST:: SOT 684187 SOS 464644 HAS SOPS 274753 HAS SOUS 46273 HAS SOUPS 27161 WITH SCORE 27625.644
AT ITER 3368 NEW BEST:: SOT 684181 SOS 464635 HAS SOPS 274753 HAS SOUS 46255 HAS SOUPS 27150 WITH SCORE 27614.635
AT ITER 3383 NEW BEST:: SOT 684179 SOS 464631 HAS SOPS 274753 HAS SOUS 46253 HAS SOUPS 27150 WITH SCORE 27614.631
AT ITER 3409 NEW BEST:: SOT 681589 SOS 458092 HAS SOPS 273112 HAS SOUS 45845 HAS SOUPS 26987 WITH SCORE 27445.092
AT ITER 3420 NEW BEST:: SOT 681692 SOS 458195 HAS SOPS 273115 HAS SOUS 45830 HAS SOUPS 26980 WITH SCORE 27438.195
AT ITER 3440 NEW BEST:: SOT 679907 SOS 449664 HAS SOPS 264829 HAS SOUS 45747 HAS SOUPS 26802 WITH SCORE 27251.664
AT ITER 3450 NEW BEST:: SOT 679455 SOS 448954 HAS SOPS 264351 HAS SOUS 45747 HAS SOUPS 26802 WITH SCORE 27250.954
AT ITER 3465 NEW BEST:: SOT 679158 SOS 448225 HAS SOPS 264162 HAS SOUS 45720 HAS SOUPS 26802 WITH SCORE 27250.225
AT ITER 3469 NEW BEST:: SOT 677877 SOS 446973 HAS SOPS 263359 HAS SOUS 45771 HAS SOUPS 26800 WITH SCORE 27246.973
AT ITER 3506 NEW BEST:: SOT 676915 SOS 443228 HAS SOPS 259882 HAS SOUS 45769 HAS SOUPS 26752 WITH SCORE 27195.228
AT ITER 3514 NEW BEST:: SOT 676992 SOS 443503 HAS SOPS 260102 HAS SOUS 45747 HAS SOUPS 26730 WITH SCORE 27173.503
AT ITER 3528 NEW BEST:: SOT 677045 SOS 443579 HAS SOPS 260178 HAS SOUS 45745 HAS SOUPS 26728 WITH SCORE 27171.579
AT ITER 3541 NEW BEST:: SOT 676110 SOS 442588 HAS SOPS 259567 HAS SOUS 45742 HAS SOUPS 26725 WITH SCORE 27167.588
AT ITER 3567 NEW BEST:: SOT 675950 SOS 441862 HAS SOPS 259204 HAS SOUS 45740 HAS SOUPS 26723 WITH SCORE 27164.862
AT ITER 3570 NEW BEST:: SOT 675948 SOS 441916 HAS SOPS 259210 HAS SOUS 45724 HAS SOUPS 26707 WITH SCORE 27148.916
AT ITER 3600 NEW BEST:: SOT 675951 SOS 441961 HAS SOPS 259255 HAS SOUS 45715 HAS SOUPS 26698 WITH SCORE 27139.961
AT ITER 3608 NEW BEST:: SOT 676471 SOS 442822 HAS SOPS 259542 HAS SOUS 45798 HAS SOUPS 26676 WITH SCORE 27118.822
AT ITER 3613 NEW BEST:: SOT 675480 SOS 438182 HAS SOPS 257181 HAS SOUS 45722 HAS SOUPS 26668 WITH SCORE 27106.182
AT ITER 3619 NEW BEST:: SOT 674845 SOS 436133 HAS SOPS 256648 HAS SOUS 45689 HAS SOUPS 26668 WITH SCORE 27104.133
AT ITER 3631 NEW BEST:: SOT 674842 SOS 436130 HAS SOPS 256645 HAS SOUS 45686 HAS SOUPS 26665 WITH SCORE 27101.13
AT ITER 3636 NEW BEST:: SOT 674580 SOS 435700 HAS SOPS 256492 HAS SOUS 45538 HAS SOUPS 26565 WITH SCORE 27000.7
AT ITER 3646 NEW BEST:: SOT 674603 SOS 435728 HAS SOPS 256511 HAS SOUS 45533 HAS SOUPS 26563 WITH SCORE 26998.728
AT ITER 3661 NEW BEST:: SOT 674603 SOS 435728 HAS SOPS 256511 HAS SOUS 45524 HAS SOUPS 26558 WITH SCORE 26993.728
AT ITER 3675 NEW BEST:: SOT 674373 SOS 435286 HAS SOPS 256164 HAS SOUS 45522 HAS SOUPS 26556 WITH SCORE 26991.286
AT ITER 3678 NEW BEST:: SOT 674700 SOS 430828 HAS SOPS 252403 HAS SOUS 45407 HAS SOUPS 26488 WITH SCORE 26918.828
AT ITER 3694 NEW BEST:: SOT 674696 SOS 430300 HAS SOPS 252092 HAS SOUS 45354 HAS SOUPS 26455 WITH SCORE 26885.3
AT ITER 3705 NEW BEST:: SOT 674701 SOS 430305 HAS SOPS 252097 HAS SOUS 44954 HAS SOUPS 26235 WITH SCORE 26665.305
AT ITER 3746 NEW BEST:: SOT 674639 SOS 430166 HAS SOPS 251983 HAS SOUS 44950 HAS SOUPS 26231 WITH SCORE 26661.166
AT ITER 3763 NEW BEST:: SOT 674584 SOS 426306 HAS SOPS 248047 HAS SOUS 44898 HAS SOUPS 26179 WITH SCORE 26605.306
AT ITER 3785 NEW BEST:: SOT 674484 SOS 426056 HAS SOPS 247827 HAS SOUS 44898 HAS SOUPS 26169 WITH SCORE 26595.056
AT ITER 3817 NEW BEST:: SOT 674499 SOS 426071 HAS SOPS 247827 HAS SOUS 44835 HAS SOUPS 26134 WITH SCORE 26560.071
AT ITER 3819 NEW BEST:: SOT 674510 SOS 426005 HAS SOPS 247871 HAS SOUS 44824 HAS SOUPS 26134 WITH SCORE 26560.005
AT ITER 3836 NEW BEST:: SOT 674348 SOS 425843 HAS SOPS 247799 HAS SOUS 44824 HAS SOUPS 26134 WITH SCORE 26559.843
AT ITER 3838 NEW BEST:: SOT 674329 SOS 425824 HAS SOPS 247799 HAS SOUS 44824 HAS SOUPS 26134 WITH SCORE 26559.824
AT ITER 3849 NEW BEST:: SOT 674339 SOS 425834 HAS SOPS 247799 HAS SOUS 44779 HAS SOUPS 26109 WITH SCORE 26534.834
AT ITER 3859 NEW BEST:: SOT 674325 SOS 425820 HAS SOPS 247799 HAS SOUS 44779 HAS SOUPS 26109 WITH SCORE 26534.82
AT ITER 3860 NEW BEST:: SOT 674262 SOS 425757 HAS SOPS 247771 HAS SOUS 44779 HAS SOUPS 26109 WITH SCORE 26534.757
AT ITER 3862 NEW BEST:: SOT 674252 SOS 425747 HAS SOPS 247771 HAS SOUS 44779 HAS SOUPS 26109 WITH SCORE 26534.747
AT ITER 3880 NEW BEST:: SOT 674177 SOS 425901 HAS SOPS 247829 HAS SOUS 44741 HAS SOUPS 26074 WITH SCORE 26499.901
AT ITER 3885 NEW BEST:: SOT 674115 SOS 426578 HAS SOPS 247839 HAS SOUS 44619 HAS SOUPS 25976 WITH SCORE 26402.578
AT ITER 3886 NEW BEST:: SOT 674037 SOS 426252 HAS SOPS 247657 HAS SOUS 44613 HAS SOUPS 25970 WITH SCORE 26396.252
AT ITER 3887 NEW BEST:: SOT 674031 SOS 426267 HAS SOPS 247582 HAS SOUS 44614 HAS SOUPS 25965 WITH SCORE 26391.267
AT ITER 3889 NEW BEST:: SOT 674041 SOS 426288 HAS SOPS 247581 HAS SOUS 44624 HAS SOUPS 25964 WITH SCORE 26390.288
AT ITER 3902 NEW BEST:: SOT 674075 SOS 425710 HAS SOPS 247105 HAS SOUS 44624 HAS SOUPS 25964 WITH SCORE 26389.71
AT ITER 3904 NEW BEST:: SOT 673884 SOS 425378 HAS SOPS 247008 HAS SOUS 44577 HAS SOUPS 25948 WITH SCORE 26373.378
AT ITER 3951 NEW BEST:: SOT 673733 SOS 424179 HAS SOPS 246799 HAS SOUS 44511 HAS SOUPS 25948 WITH SCORE 26372.179
AT ITER 3971 NEW BEST:: SOT 673710 SOS 424156 HAS SOPS 246799 HAS SOUS 44511 HAS SOUPS 25948 WITH SCORE 26372.156
AT ITER 3976 NEW BEST:: SOT 673757 SOS 424416 HAS SOPS 246923 HAS SOUS 44487 HAS SOUPS 25924 WITH SCORE 26348.416
AT ITER 3984 NEW BEST:: SOT 673652 SOS 424873 HAS SOPS 246710 HAS SOUS 44481 HAS SOUPS 25899 WITH SCORE 26323.873
AT ITER 3987 NEW BEST:: SOT 673690 SOS 425451 HAS SOPS 247018 HAS SOUS 44491 HAS SOUPS 25891 WITH SCORE 26316.451
AT ITER 3999 NEW BEST:: SOT 673686 SOS 425447 HAS SOPS 247018 HAS SOUS 44491 HAS SOUPS 25891 WITH SCORE 26316.447
AT ITER 4018 NEW BEST:: SOT 673597 SOS 425344 HAS SOPS 246965 HAS SOUS 44488 HAS SOUPS 25888 WITH SCORE 26313.344
AT ITER 4034 NEW BEST:: SOT 673231 SOS 424524 HAS SOPS 246600 HAS SOUS 44358 HAS SOUPS 25765 WITH SCORE 26189.524
AT ITER 4040 NEW BEST:: SOT 673165 SOS 424458 HAS SOPS 246534 HAS SOUS 44314 HAS SOUPS 25721 WITH SCORE 26145.458
AT ITER 4063 NEW BEST:: SOT 673147 SOS 424440 HAS SOPS 246534 HAS SOUS 44314 HAS SOUPS 25721 WITH SCORE 26145.44
AT ITER 4089 NEW BEST:: SOT 673137 SOS 424425 HAS SOPS 246529 HAS SOUS 44304 HAS SOUPS 25716 WITH SCORE 26140.425
AT ITER 4102 NEW BEST:: SOT 673055 SOS 424462 HAS SOPS 246478 HAS SOUS 44242 HAS SOUPS 25665 WITH SCORE 26089.462
AT ITER 4131 NEW BEST:: SOT 673036 SOS 424405 HAS SOPS 246136 HAS SOUS 44261 HAS SOUPS 25665 WITH SCORE 26089.405
AT ITER 4170 NEW BEST:: SOT 673031 SOS 424419 HAS SOPS 246108 HAS SOUS 44261 HAS SOUPS 25661 WITH SCORE 26085.419
AT ITER 4248 NEW BEST:: SOT 672121 SOS 421822 HAS SOPS 245133 HAS SOUS 44193 HAS SOUPS 25632 WITH SCORE 26053.822
AT ITER 4257 NEW BEST:: SOT 672115 SOS 421720 HAS SOPS 245031 HAS SOUS 44181 HAS SOUPS 25620 WITH SCORE 26041.72
AT ITER 4290 NEW BEST:: SOT 672094 SOS 421788 HAS SOPS 245096 HAS SOUS 44168 HAS SOUPS 25607 WITH SCORE 26028.788
AT ITER 4306 NEW BEST:: SOT 671501 SOS 419496 HAS SOPS 243892 HAS SOUS 44100 HAS SOUPS 25590 WITH SCORE 26009.496
AT ITER 4324 NEW BEST:: SOT 671493 SOS 419480 HAS SOPS 243888 HAS SOUS 44096 HAS SOUPS 25590 WITH SCORE 26009.48
AT ITER 4325 NEW BEST:: SOT 670715 SOS 417970 HAS SOPS 243427 HAS SOUS 44012 HAS SOUPS 25562 WITH SCORE 25979.97
AT ITER 4329 NEW BEST:: SOT 670650 SOS 418308 HAS SOPS 243791 HAS SOUS 43994 HAS SOUPS 25549 WITH SCORE 25967.308
AT ITER 4331 NEW BEST:: SOT 670659 SOS 418401 HAS SOPS 243884 HAS SOUS 43991 HAS SOUPS 25546 WITH SCORE 25964.401
AT ITER 4332 NEW BEST:: SOT 670623 SOS 418313 HAS SOPS 243792 HAS SOUS 43975 HAS SOUPS 25530 WITH SCORE 25948.313
AT ITER 4351 NEW BEST:: SOT 670582 SOS 417491 HAS SOPS 243601 HAS SOUS 43873 HAS SOUPS 25470 WITH SCORE 25887.491
AT ITER 4379 NEW BEST:: SOT 670702 SOS 417611 HAS SOPS 243671 HAS SOUS 43863 HAS SOUPS 25460 WITH SCORE 25877.611
AT ITER 4384 NEW BEST:: SOT 670662 SOS 417551 HAS SOPS 243671 HAS SOUS 43803 HAS SOUPS 25420 WITH SCORE 25837.551
AT ITER 4424 NEW BEST:: SOT 669392 SOS 414532 HAS SOPS 242918 HAS SOUS 43669 HAS SOUPS 25366 WITH SCORE 25780.532
AT ITER 4450 NEW BEST:: SOT 669778 SOS 415565 HAS SOPS 243750 HAS SOUS 43614 HAS SOUPS 25328 WITH SCORE 25743.565
AT ITER 4453 NEW BEST:: SOT 668485 SOS 411458 HAS SOPS 240158 HAS SOUS 43582 HAS SOUPS 25265 WITH SCORE 25676.458
AT ITER 4501 NEW BEST:: SOT 668356 SOS 411329 HAS SOPS 240158 HAS SOUS 43595 HAS SOUPS 25258 WITH SCORE 25669.329
AT ITER 4510 NEW BEST:: SOT 668364 SOS 411337 HAS SOPS 240166 HAS SOUS 43593 HAS SOUPS 25256 WITH SCORE 25667.337
AT ITER 4547 NEW BEST:: SOT 667747 SOS 409565 HAS SOPS 239534 HAS SOUS 43522 HAS SOUPS 25242 WITH SCORE 25651.565
AT ITER 4558 NEW BEST:: SOT 667986 SOS 410207 HAS SOPS 239723 HAS SOUS 43509 HAS SOUPS 25223 WITH SCORE 25633.207
AT ITER 4574 NEW BEST:: SOT 667941 SOS 409857 HAS SOPS 239523 HAS SOUS 43494 HAS SOUPS 25203 WITH SCORE 25612.857
AT ITER 4595 NEW BEST:: SOT 667940 SOS 409855 HAS SOPS 239523 HAS SOUS 43484 HAS SOUPS 25198 WITH SCORE 25607.855
AT ITER 4612 NEW BEST:: SOT 667933 SOS 409848 HAS SOPS 239523 HAS SOUS 43484 HAS SOUPS 25198 WITH SCORE 25607.848
AT ITER 4688 NEW BEST:: SOT 667550 SOS 406321 HAS SOPS 236787 HAS SOUS 43447 HAS SOUPS 25168 WITH SCORE 25574.321
AT ITER 4694 NEW BEST:: SOT 667426 SOS 406167 HAS SOPS 236699 HAS SOUS 43421 HAS SOUPS 25150 WITH SCORE 25556.167
AT ITER 4695 NEW BEST:: SOT 667268 SOS 405790 HAS SOPS 236327 HAS SOUS 43394 HAS SOUPS 25102 WITH SCORE 25507.79
AT ITER 4707 NEW BEST:: SOT 667153 SOS 405337 HAS SOPS 236066 HAS SOUS 43375 HAS SOUPS 25083 WITH SCORE 25488.337
AT ITER 4762 NEW BEST:: SOT 666573 SOS 403317 HAS SOPS 235026 HAS SOUS 43236 HAS SOUPS 24993 WITH SCORE 25396.317
AT ITER 4779 NEW BEST:: SOT 666419 SOS 402582 HAS SOPS 234779 HAS SOUS 43211 HAS SOUPS 24968 WITH SCORE 25370.582
AT ITER 4782 NEW BEST:: SOT 666302 SOS 402295 HAS SOPS 234624 HAS SOUS 43135 HAS SOUPS 24908 WITH SCORE 25310.295
AT ITER 4787 NEW BEST:: SOT 666102 SOS 401707 HAS SOPS 234492 HAS SOUS 43159 HAS SOUPS 24904 WITH SCORE 25305.707
AT ITER 4790 NEW BEST:: SOT 666104 SOS 401696 HAS SOPS 234416 HAS SOUS 43158 HAS SOUPS 24898 WITH SCORE 25299.696
AT ITER 4843 NEW BEST:: SOT 666104 SOS 401696 HAS SOPS 234416 HAS SOUS 43131 HAS SOUPS 24883 WITH SCORE 25284.696
AT ITER 4871 NEW BEST:: SOT 666310 SOS 402270 HAS SOPS 234598 HAS SOUS 43060 HAS SOUPS 24859 WITH SCORE 25261.27
AT ITER 4889 NEW BEST:: SOT 666499 SOS 402461 HAS SOPS 234641 HAS SOUS 42971 HAS SOUPS 24833 WITH SCORE 25235.461
AT ITER 4891 NEW BEST:: SOT 665457 SOS 400012 HAS SOPS 232185 HAS SOUS 42996 HAS SOUPS 24784 WITH SCORE 25184.012
AT ITER 4898 NEW BEST:: SOT 665574 SOS 400192 HAS SOPS 232302 HAS SOUS 43014 HAS SOUPS 24781 WITH SCORE 25181.192
AT ITER 4901 NEW BEST:: SOT 666320 SOS 401549 HAS SOPS 232673 HAS SOUS 43057 HAS SOUPS 24779 WITH SCORE 25180.549
AT ITER 4917 NEW BEST:: SOT 666224 SOS 401434 HAS SOPS 232596 HAS SOUS 42981 HAS SOUPS 24722 WITH SCORE 25123.434
AT ITER 4947 NEW BEST:: SOT 666219 SOS 401429 HAS SOPS 232591 HAS SOUS 42976 HAS SOUPS 24717 WITH SCORE 25118.429
AT ITER 4973 NEW BEST:: SOT 665188 SOS 399359 HAS SOPS 231943 HAS SOUS 42916 HAS SOUPS 24709 WITH SCORE 25108.359
AT ITER 4980 NEW BEST:: SOT 665115 SOS 399283 HAS SOPS 231902 HAS SOUS 42910 HAS SOUPS 24703 WITH SCORE 25102.283
AT ITER 4996 NEW BEST:: SOT 665195 SOS 399383 HAS SOPS 231942 HAS SOUS 42907 HAS SOUPS 24700 WITH SCORE 25099.383
AT ITER 4998 NEW BEST:: SOT 665158 SOS 399346 HAS SOPS 231942 HAS SOUS 42907 HAS SOUPS 24700 WITH SCORE 25099.346
AT ITER 5023 NEW BEST:: SOT 665220 SOS 399389 HAS SOPS 231961 HAS SOUS 42885 HAS SOUPS 24678 WITH SCORE 25077.389
AT ITER 5034 NEW BEST:: SOT 664905 SOS 395144 HAS SOPS 228346 HAS SOUS 42851 HAS SOUPS 24599 WITH SCORE 24994.144
AT ITER 5047 NEW BEST:: SOT 664602 SOS 394255 HAS SOPS 228008 HAS SOUS 42823 HAS SOUPS 24571 WITH SCORE 24965.255
AT ITER 5062 NEW BEST:: SOT 664148 SOS 393279 HAS SOPS 227098 HAS SOUS 42810 HAS SOUPS 24524 WITH SCORE 24917.279
AT ITER 5091 NEW BEST:: SOT 664140 SOS 393271 HAS SOPS 227098 HAS SOUS 42810 HAS SOUPS 24524 WITH SCORE 24917.271
AT ITER 5095 NEW BEST:: SOT 664121 SOS 393341 HAS SOPS 227083 HAS SOUS 42805 HAS SOUPS 24509 WITH SCORE 24902.341
AT ITER 5098 NEW BEST:: SOT 664206 SOS 393340 HAS SOPS 227093 HAS SOUS 42795 HAS SOUPS 24509 WITH SCORE 24902.34
AT ITER 5117 NEW BEST:: SOT 664422 SOS 393751 HAS SOPS 227237 HAS SOUS 42753 HAS SOUPS 24455 WITH SCORE 24848.751
AT ITER 5135 NEW BEST:: SOT 664432 SOS 393617 HAS SOPS 227228 HAS SOUS 42754 HAS SOUPS 24447 WITH SCORE 24840.617
AT ITER 5138 NEW BEST:: SOT 664877 SOS 394552 HAS SOPS 227461 HAS SOUS 42818 HAS SOUPS 24439 WITH SCORE 24833.552
AT ITER 5144 NEW BEST:: SOT 664646 SOS 394279 HAS SOPS 227293 HAS SOUS 42781 HAS SOUPS 24402 WITH SCORE 24796.279
AT ITER 5180 NEW BEST:: SOT 664642 SOS 394356 HAS SOPS 227295 HAS SOUS 42777 HAS SOUPS 24393 WITH SCORE 24787.356
AT ITER 5217 NEW BEST:: SOT 664717 SOS 394486 HAS SOPS 227339 HAS SOUS 42797 HAS SOUPS 24389 WITH SCORE 24783.486
AT ITER 5253 NEW BEST:: SOT 664675 SOS 394584 HAS SOPS 227340 HAS SOUS 42792 HAS SOUPS 24358 WITH SCORE 24752.584
AT ITER 5280 NEW BEST:: SOT 664675 SOS 394584 HAS SOPS 227340 HAS SOUS 42774 HAS SOUPS 24348 WITH SCORE 24742.584
AT ITER 5340 NEW BEST:: SOT 664686 SOS 394771 HAS SOPS 227917 HAS SOUS 42732 HAS SOUPS 24332 WITH SCORE 24726.771
AT ITER 5372 NEW BEST:: SOT 664418 SOS 394181 HAS SOPS 227425 HAS SOUS 42712 HAS SOUPS 24312 WITH SCORE 24706.181
AT ITER 5374 NEW BEST:: SOT 664391 SOS 394154 HAS SOPS 227425 HAS SOUS 42712 HAS SOUPS 24312 WITH SCORE 24706.154
AT ITER 5391 NEW BEST:: SOT 664916 SOS 395348 HAS SOPS 227781 HAS SOUS 42675 HAS SOUPS 24258 WITH SCORE 24653.348
AT ITER 5403 NEW BEST:: SOT 664916 SOS 395348 HAS SOPS 227781 HAS SOUS 42657 HAS SOUPS 24248 WITH SCORE 24643.348
AT ITER 5408 NEW BEST:: SOT 665308 SOS 395991 HAS SOPS 227971 HAS SOUS 42754 HAS SOUPS 24240 WITH SCORE 24635.991
AT ITER 5437 NEW BEST:: SOT 665493 SOS 396498 HAS SOPS 228104 HAS SOUS 42733 HAS SOUPS 24219 WITH SCORE 24615.498
AT ITER 5446 NEW BEST:: SOT 665352 SOS 396582 HAS SOPS 227812 HAS SOUS 42759 HAS SOUPS 24212 WITH SCORE 24608.582
AT ITER 5457 NEW BEST:: SOT 665340 SOS 396570 HAS SOPS 227800 HAS SOUS 42750 HAS SOUPS 24203 WITH SCORE 24599.57
AT ITER 5494 NEW BEST:: SOT 665328 SOS 396302 HAS SOPS 227710 HAS SOUS 42730 HAS SOUPS 24195 WITH SCORE 24591.302
AT ITER 5515 NEW BEST:: SOT 665317 SOS 396289 HAS SOPS 227701 HAS SOUS 42722 HAS SOUPS 24189 WITH SCORE 24585.289
AT ITER 5569 NEW BEST:: SOT 665668 SOS 397177 HAS SOPS 227935 HAS SOUS 42727 HAS SOUPS 24178 WITH SCORE 24575.177
AT ITER 5573 NEW BEST:: SOT 664746 SOS 394710 HAS SOPS 225808 HAS SOUS 42634 HAS SOUPS 24085 WITH SCORE 24479.71
AT ITER 5591 NEW BEST:: SOT 664157 SOS 393257 HAS SOPS 225435 HAS SOUS 42531 HAS SOUPS 24036 WITH SCORE 24429.257
AT ITER 5592 NEW BEST:: SOT 664157 SOS 393257 HAS SOPS 225435 HAS SOUS 42522 HAS SOUPS 24031 WITH SCORE 24424.257
AT ITER 5603 NEW BEST:: SOT 664159 SOS 393285 HAS SOPS 225463 HAS SOUS 42518 HAS SOUPS 24027 WITH SCORE 24420.285
AT ITER 5605 NEW BEST:: SOT 663971 SOS 392959 HAS SOPS 225321 HAS SOUS 42446 HAS SOUPS 24001 WITH SCORE 24393.959
AT ITER 5617 NEW BEST:: SOT 663957 SOS 392945 HAS SOPS 225321 HAS SOUS 42446 HAS SOUPS 24001 WITH SCORE 24393.945
AT ITER 5623 NEW BEST:: SOT 663999 SOS 393599 HAS SOPS 225744 HAS SOUS 42408 HAS SOUPS 23981 WITH SCORE 24374.599
AT ITER 5630 NEW BEST:: SOT 664000 SOS 393600 HAS SOPS 225744 HAS SOUS 42399 HAS SOUPS 23976 WITH SCORE 24369.6
AT ITER 5658 NEW BEST:: SOT 664150 SOS 393765 HAS SOPS 225834 HAS SOUS 42374 HAS SOUPS 23951 WITH SCORE 24344.765
AT ITER 5679 NEW BEST:: SOT 664142 SOS 393753 HAS SOPS 225830 HAS SOUS 42238 HAS SOUPS 23871 WITH SCORE 24264.753
AT ITER 5685 NEW BEST:: SOT 664314 SOS 394054 HAS SOPS 225916 HAS SOUS 42272 HAS SOUPS 23866 WITH SCORE 24260.054
AT ITER 5700 NEW BEST:: SOT 664348 SOS 393762 HAS SOPS 225768 HAS SOUS 42270 HAS SOUPS 23858 WITH SCORE 24251.762
AT ITER 5715 NEW BEST:: SOT 664245 SOS 391486 HAS SOPS 222425 HAS SOUS 42188 HAS SOUPS 23815 WITH SCORE 24206.486
AT ITER 5717 NEW BEST:: SOT 664245 SOS 391496 HAS SOPS 222426 HAS SOUS 42184 HAS SOUPS 23811 WITH SCORE 24202.496
AT ITER 5764 NEW BEST:: SOT 664239 SOS 391484 HAS SOPS 222426 HAS SOUS 42169 HAS SOUPS 23806 WITH SCORE 24197.484
AT ITER 5779 NEW BEST:: SOT 664318 SOS 391672 HAS SOPS 222466 HAS SOUS 42160 HAS SOUPS 23791 WITH SCORE 24182.672
AT ITER 5800 NEW BEST:: SOT 664324 SOS 391678 HAS SOPS 222465 HAS SOUS 42159 HAS SOUPS 23790 WITH SCORE 24181.678
AT ITER 5847 NEW BEST:: SOT 663807 SOS 389969 HAS SOPS 221656 HAS SOUS 42062 HAS SOUPS 23738 WITH SCORE 24127.969
AT ITER 5854 NEW BEST:: SOT 663255 SOS 388391 HAS SOPS 221195 HAS SOUS 41986 HAS SOUPS 23711 WITH SCORE 24099.391
AT ITER 5898 NEW BEST:: SOT 663263 SOS 387939 HAS SOPS 220959 HAS SOUS 41996 HAS SOUPS 23703 WITH SCORE 24090.939
AT ITER 5914 NEW BEST:: SOT 663188 SOS 387857 HAS SOPS 220912 HAS SOUS 41982 HAS SOUPS 23689 WITH SCORE 24076.857
AT ITER 5921 NEW BEST:: SOT 663534 SOS 388126 HAS SOPS 221134 HAS SOUS 41891 HAS SOUPS 23645 WITH SCORE 24033.126
AT ITER 5926 NEW BEST:: SOT 663406 SOS 387902 HAS SOPS 221070 HAS SOUS 41859 HAS SOUPS 23645 WITH SCORE 24032.902
AT ITER 5929 NEW BEST:: SOT 663394 SOS 387902 HAS SOPS 221064 HAS SOUS 41853 HAS SOUPS 23639 WITH SCORE 24026.902
AT ITER 5966 NEW BEST:: SOT 663402 SOS 387900 HAS SOPS 221064 HAS SOUS 41853 HAS SOUPS 23639 WITH SCORE 24026.9
AT ITER 5971 NEW BEST:: SOT 663883 SOS 388869 HAS SOPS 221358 HAS SOUS 41914 HAS SOUPS 23621 WITH SCORE 24009.869
AT ITER 5992 NEW BEST:: SOT 663841 SOS 388791 HAS SOPS 221334 HAS SOUS 41901 HAS SOUPS 23617 WITH SCORE 24005.791
AT ITER 6000 NEW BEST:: SOT 663855 SOS 388799 HAS SOPS 221492 HAS SOUS 41889 HAS SOUPS 23615 WITH SCORE 24003.799
AT ITER 6015 NEW BEST:: SOT 663965 SOS 388954 HAS SOPS 221530 HAS SOUS 41803 HAS SOUPS 23562 WITH SCORE 23950.954
AT ITER 6030 NEW BEST:: SOT 663192 SOS 386134 HAS SOPS 220082 HAS SOUS 41443 HAS SOUPS 23346 WITH SCORE 23732.134
AT ITER 6054 NEW BEST:: SOT 662614 SOS 384995 HAS SOPS 219741 HAS SOUS 41394 HAS SOUPS 23289 WITH SCORE 23673.995
AT ITER 6083 NEW BEST:: SOT 662604 SOS 384975 HAS SOPS 219731 HAS SOUS 41374 HAS SOUPS 23279 WITH SCORE 23663.975
AT ITER 6140 NEW BEST:: SOT 662566 SOS 384937 HAS SOPS 219731 HAS SOUS 41374 HAS SOUPS 23279 WITH SCORE 23663.937
AT ITER 6208 NEW BEST:: SOT 662644 SOS 385100 HAS SOPS 219775 HAS SOUS 41374 HAS SOUPS 23272 WITH SCORE 23657.1
AT ITER 6219 NEW BEST:: SOT 662322 SOS 384680 HAS SOPS 219523 HAS SOUS 41362 HAS SOUPS 23260 WITH SCORE 23644.68
AT ITER 6241 NEW BEST:: SOT 662396 SOS 385198 HAS SOPS 219673 HAS SOUS 41358 HAS SOUPS 23256 WITH SCORE 23641.198
AT ITER 6281 NEW BEST:: SOT 662413 SOS 385216 HAS SOPS 219680 HAS SOUS 41326 HAS SOUPS 23241 WITH SCORE 23626.216
AT ITER 6313 NEW BEST:: SOT 662378 SOS 385172 HAS SOPS 219672 HAS SOUS 41309 HAS SOUPS 23233 WITH SCORE 23618.172
AT ITER 6333 NEW BEST:: SOT 662373 SOS 385167 HAS SOPS 219672 HAS SOUS 41309 HAS SOUPS 23233 WITH SCORE 23618.167
AT ITER 6337 NEW BEST:: SOT 662380 SOS 385062 HAS SOPS 219672 HAS SOUS 41295 HAS SOUPS 23226 WITH SCORE 23611.062
AT ITER 6342 NEW BEST:: SOT 662380 SOS 385062 HAS SOPS 219672 HAS SOUS 41268 HAS SOUPS 23211 WITH SCORE 23596.062
AT ITER 6345 NEW BEST:: SOT 662425 SOS 385098 HAS SOPS 219726 HAS SOUS 41256 HAS SOUPS 23209 WITH SCORE 23594.098
AT ITER 6352 NEW BEST:: SOT 662441 SOS 385082 HAS SOPS 219606 HAS SOUS 41256 HAS SOUPS 23201 WITH SCORE 23586.082
AT ITER 6481 NEW BEST:: SOT 662337 SOS 383132 HAS SOPS 217756 HAS SOUS 41256 HAS SOUPS 23131 WITH SCORE 23514.132
AT ITER 6506 NEW BEST:: SOT 662347 SOS 383143 HAS SOPS 217762 HAS SOUS 41255 HAS SOUPS 23130 WITH SCORE 23513.143
AT ITER 6538 NEW BEST:: SOT 662353 SOS 383077 HAS SOPS 217696 HAS SOUS 41245 HAS SOUPS 23120 WITH SCORE 23503.077
AT ITER 6622 NEW BEST:: SOT 662334 SOS 382898 HAS SOPS 217517 HAS SOUS 41240 HAS SOUPS 23115 WITH SCORE 23497.898
AT ITER 6643 NEW BEST:: SOT 662334 SOS 382891 HAS SOPS 217510 HAS SOUS 41233 HAS SOUPS 23108 WITH SCORE 23490.891
AT ITER 6660 NEW BEST:: SOT 662543 SOS 383435 HAS SOPS 217636 HAS SOUS 41188 HAS SOUPS 23063 WITH SCORE 23446.435
AT ITER 6677 NEW BEST:: SOT 662453 SOS 383192 HAS SOPS 217438 HAS SOUS 41179 HAS SOUPS 23054 WITH SCORE 23437.192
AT ITER 6737 NEW BEST:: SOT 662417 SOS 383156 HAS SOPS 217438 HAS SOUS 41155 HAS SOUPS 23030 WITH SCORE 23413.156
AT ITER 6739 NEW BEST:: SOT 661832 SOS 381436 HAS SOPS 215953 HAS SOUS 41068 HAS SOUPS 22943 WITH SCORE 23324.436
AT ITER 6782 NEW BEST:: SOT 661831 SOS 381445 HAS SOPS 215950 HAS SOUS 41068 HAS SOUPS 22942 WITH SCORE 23323.445
AT ITER 6797 NEW BEST:: SOT 661768 SOS 381319 HAS SOPS 215908 HAS SOUS 41047 HAS SOUPS 22942 WITH SCORE 23323.319
AT ITER 6834 NEW BEST:: SOT 661736 SOS 381271 HAS SOPS 215892 HAS SOUS 41015 HAS SOUPS 22926 WITH SCORE 23307.271
AT ITER 6838 NEW BEST:: SOT 661574 SOS 380569 HAS SOPS 215226 HAS SOUS 41033 HAS SOUPS 22926 WITH SCORE 23306.569
AT ITER 6850 NEW BEST:: SOT 661737 SOS 380910 HAS SOPS 215325 HAS SOUS 41073 HAS SOUPS 22920 WITH SCORE 23300.91
AT ITER 6865 NEW BEST:: SOT 661744 SOS 380908 HAS SOPS 215271 HAS SOUS 41062 HAS SOUPS 22909 WITH SCORE 23289.908
AT ITER 6873 NEW BEST:: SOT 661744 SOS 380908 HAS SOPS 215271 HAS SOUS 40909 HAS SOUPS 22824 WITH SCORE 23204.908
AT ITER 6884 NEW BEST:: SOT 661723 SOS 380878 HAS SOPS 215260 HAS SOUS 40902 HAS SOUPS 22820 WITH SCORE 23200.878
AT ITER 6897 NEW BEST:: SOT 661723 SOS 380878 HAS SOPS 215260 HAS SOUS 40893 HAS SOUPS 22815 WITH SCORE 23195.878
AT ITER 6956 NEW BEST:: SOT 661687 SOS 380794 HAS SOPS 215236 HAS SOUS 40881 HAS SOUPS 22815 WITH SCORE 23195.794
AT ITER 6981 NEW BEST:: SOT 661597 SOS 380434 HAS SOPS 214876 HAS SOUS 40872 HAS SOUPS 22797 WITH SCORE 23177.434
AT ITER 6988 NEW BEST:: SOT 661598 SOS 380600 HAS SOPS 214912 HAS SOUS 40864 HAS SOUPS 22772 WITH SCORE 23152.6
AT ITER 7003 NEW BEST:: SOT 661597 SOS 380658 HAS SOPS 214970 HAS SOUS 40863 HAS SOUPS 22771 WITH SCORE 23151.658
AT ITER 7077 NEW BEST:: SOT 660698 SOS 378332 HAS SOPS 214300 HAS SOUS 40789 HAS SOUPS 22766 WITH SCORE 23144.332
AT ITER 7107 NEW BEST:: SOT 660678 SOS 378311 HAS SOPS 214293 HAS SOUS 40780 HAS SOUPS 22764 WITH SCORE 23142.311
AT ITER 7156 NEW BEST:: SOT 660568 SOS 378041 HAS SOPS 214223 HAS SOUS 40760 HAS SOUPS 22754 WITH SCORE 23132.041
AT ITER 7178 NEW BEST:: SOT 660625 SOS 378259 HAS SOPS 214251 HAS SOUS 40733 HAS SOUPS 22727 WITH SCORE 23105.259
AT ITER 7208 NEW BEST:: SOT 660618 SOS 378245 HAS SOPS 214251 HAS SOUS 40663 HAS SOUPS 22692 WITH SCORE 23070.245
AT ITER 7268 NEW BEST:: SOT 660608 SOS 378235 HAS SOPS 214251 HAS SOUS 40663 HAS SOUPS 22692 WITH SCORE 23070.235
AT ITER 7299 NEW BEST:: SOT 660649 SOS 378484 HAS SOPS 214529 HAS SOUS 40654 HAS SOUPS 22691 WITH SCORE 23069.484
AT ITER 7347 NEW BEST:: SOT 660654 SOS 378342 HAS SOPS 214488 HAS SOUS 40646 HAS SOUPS 22691 WITH SCORE 23069.342
AT ITER 7379 NEW BEST:: SOT 660906 SOS 378861 HAS SOPS 214662 HAS SOUS 40718 HAS SOUPS 22679 WITH SCORE 23057.861
AT ITER 7407 NEW BEST:: SOT 660861 SOS 378816 HAS SOPS 214662 HAS SOUS 40718 HAS SOUPS 22679 WITH SCORE 23057.816
AT ITER 7408 NEW BEST:: SOT 660885 SOS 378864 HAS SOPS 214674 HAS SOUS 40716 HAS SOUPS 22675 WITH SCORE 23053.864
AT ITER 7444 NEW BEST:: SOT 660748 SOS 378740 HAS SOPS 214550 HAS SOUS 40706 HAS SOUPS 22665 WITH SCORE 23043.74
AT ITER 7565 NEW BEST:: SOT 660694 SOS 378680 HAS SOPS 214520 HAS SOUS 40699 HAS SOUPS 22658 WITH SCORE 23036.68
AT ITER 7591 NEW BEST:: SOT 660696 SOS 378828 HAS SOPS 214668 HAS SOUS 40694 HAS SOUPS 22653 WITH SCORE 23031.828
AT ITER 7600 NEW BEST:: SOT 660681 SOS 377703 HAS SOPS 213543 HAS SOUS 40673 HAS SOUPS 22632 WITH SCORE 23009.703
AT ITER 7643 NEW BEST:: SOT 660562 SOS 375617 HAS SOPS 211589 HAS SOUS 40676 HAS SOUPS 22572 WITH SCORE 22947.617
AT ITER 7655 NEW BEST:: SOT 660549 SOS 375516 HAS SOPS 211488 HAS SOUS 40671 HAS SOUPS 22567 WITH SCORE 22942.516
AT ITER 7672 NEW BEST:: SOT 660152 SOS 374747 HAS SOPS 211265 HAS SOUS 40614 HAS SOUPS 22545 WITH SCORE 22919.747
AT ITER 7683 NEW BEST:: SOT 659984 SOS 374411 HAS SOPS 211145 HAS SOUS 40578 HAS SOUPS 22521 WITH SCORE 22895.411
AT ITER 7685 NEW BEST:: SOT 659763 SOS 373830 HAS SOPS 210663 HAS SOUS 40566 HAS SOUPS 22496 WITH SCORE 22869.83
AT ITER 7702 NEW BEST:: SOT 659072 SOS 371226 HAS SOPS 209534 HAS SOUS 40516 HAS SOUPS 22486 WITH SCORE 22857.226
AT ITER 7707 NEW BEST:: SOT 658967 SOS 371007 HAS SOPS 209468 HAS SOUS 40503 HAS SOUPS 22482 WITH SCORE 22853.007
AT ITER 7736 NEW BEST:: SOT 658963 SOS 371003 HAS SOPS 209468 HAS SOUS 40503 HAS SOUPS 22482 WITH SCORE 22853.003
AT ITER 7750 NEW BEST:: SOT 658959 SOS 371034 HAS SOPS 209462 HAS SOUS 40501 HAS SOUPS 22480 WITH SCORE 22851.034
AT ITER 7763 NEW BEST:: SOT 658922 SOS 370935 HAS SOPS 209432 HAS SOUS 40496 HAS SOUPS 22475 WITH SCORE 22845.935
AT ITER 7769 NEW BEST:: SOT 658274 SOS 368869 HAS SOPS 208526 HAS SOUS 40404 HAS SOUPS 22444 WITH SCORE 22812.869
AT ITER 7784 NEW BEST:: SOT 658133 SOS 368622 HAS SOPS 208425 HAS SOUS 40369 HAS SOUPS 22409 WITH SCORE 22777.622
AT ITER 7827 NEW BEST:: SOT 658143 SOS 368582 HAS SOPS 208425 HAS SOUS 40375 HAS SOUPS 22409 WITH SCORE 22777.582
AT ITER 7832 NEW BEST:: SOT 658194 SOS 368673 HAS SOPS 208458 HAS SOUS 40380 HAS SOUPS 22400 WITH SCORE 22768.673
AT ITER 7858 NEW BEST:: SOT 658194 SOS 368673 HAS SOPS 208458 HAS SOUS 40335 HAS SOUPS 22375 WITH SCORE 22743.673
AT ITER 7869 NEW BEST:: SOT 658194 SOS 368673 HAS SOPS 208458 HAS SOUS 40332 HAS SOUPS 22373 WITH SCORE 22741.673
AT ITER 7873 NEW BEST:: SOT 657712 SOS 363372 HAS SOPS 204137 HAS SOUS 40246 HAS SOUPS 22324 WITH SCORE 22687.372
AT ITER 7875 NEW BEST:: SOT 657614 SOS 363330 HAS SOPS 204095 HAS SOUS 40246 HAS SOUPS 22310 WITH SCORE 22673.33
AT ITER 7914 NEW BEST:: SOT 658225 SOS 364677 HAS SOPS 204402 HAS SOUS 40172 HAS SOUPS 22225 WITH SCORE 22589.677
AT ITER 7933 NEW BEST:: SOT 658232 SOS 365051 HAS SOPS 204416 HAS SOUS 40186 HAS SOUPS 22215 WITH SCORE 22580.051
AT ITER 7957 NEW BEST:: SOT 658202 SOS 364956 HAS SOPS 204336 HAS SOUS 40176 HAS SOUPS 22205 WITH SCORE 22569.956
AT ITER 8016 NEW BEST:: SOT 658169 SOS 365894 HAS SOPS 204321 HAS SOUS 40229 HAS SOUPS 22195 WITH SCORE 22560.894
AT ITER 8048 NEW BEST:: SOT 658169 SOS 365894 HAS SOPS 204321 HAS SOUS 40193 HAS SOUPS 22175 WITH SCORE 22540.894
AT ITER 8049 NEW BEST:: SOT 658120 SOS 365773 HAS SOPS 204289 HAS SOUS 40191 HAS SOUPS 22173 WITH SCORE 22538.773
AT ITER 8081 NEW BEST:: SOT 658127 SOS 365165 HAS SOPS 203762 HAS SOUS 40173 HAS SOUPS 22155 WITH SCORE 22520.165
AT ITER 8131 NEW BEST:: SOT 657317 SOS 363702 HAS SOPS 203341 HAS SOUS 40118 HAS SOUPS 22145 WITH SCORE 22508.702
AT ITER 8139 NEW BEST:: SOT 657299 SOS 363402 HAS SOPS 203071 HAS SOUS 40117 HAS SOUPS 22138 WITH SCORE 22501.402
AT ITER 8165 NEW BEST:: SOT 657081 SOS 361588 HAS SOPS 201989 HAS SOUS 40093 HAS SOUPS 22114 WITH SCORE 22475.588
AT ITER 8201 NEW BEST:: SOT 656985 SOS 361429 HAS SOPS 201931 HAS SOUS 39991 HAS SOUPS 22047 WITH SCORE 22408.429
AT ITER 8245 NEW BEST:: SOT 656985 SOS 361384 HAS SOPS 201886 HAS SOUS 39987 HAS SOUPS 22043 WITH SCORE 22404.384
AT ITER 8268 NEW BEST:: SOT 658028 SOS 363679 HAS SOPS 202565 HAS SOUS 40078 HAS SOUPS 22030 WITH SCORE 22393.679
AT ITER 8303 NEW BEST:: SOT 657996 SOS 363597 HAS SOPS 202543 HAS SOUS 40075 HAS SOUPS 22030 WITH SCORE 22393.597
AT ITER 8388 NEW BEST:: SOT 658043 SOS 363626 HAS SOPS 202540 HAS SOUS 40041 HAS SOUPS 22019 WITH SCORE 22382.626
AT ITER 8401 NEW BEST:: SOT 658060 SOS 363797 HAS SOPS 202543 HAS SOUS 40047 HAS SOUPS 22014 WITH SCORE 22377.797
AT ITER 8428 NEW BEST:: SOT 658126 SOS 362178 HAS SOPS 200967 HAS SOUS 40064 HAS SOUPS 22007 WITH SCORE 22369.178
AT ITER 8526 NEW BEST:: SOT 658123 SOS 362120 HAS SOPS 200933 HAS SOUS 40064 HAS SOUPS 22005 WITH SCORE 22367.12
AT ITER 8532 NEW BEST:: SOT 658103 SOS 362100 HAS SOPS 200933 HAS SOUS 40064 HAS SOUPS 22005 WITH SCORE 22367.1
AT ITER 8566 NEW BEST:: SOT 657559 SOS 360754 HAS SOPS 199673 HAS SOUS 40075 HAS SOUPS 21946 WITH SCORE 22306.754
AT ITER 8602 NEW BEST:: SOT 657487 SOS 360565 HAS SOPS 199628 HAS SOUS 40075 HAS SOUPS 21946 WITH SCORE 22306.565
AT ITER 8624 NEW BEST:: SOT 657423 SOS 360453 HAS SOPS 199596 HAS SOUS 40059 HAS SOUPS 21946 WITH SCORE 22306.453
AT ITER 8656 NEW BEST:: SOT 657353 SOS 360323 HAS SOPS 199476 HAS SOUS 40055 HAS SOUPS 21937 WITH SCORE 22297.323
AT ITER 8722 NEW BEST:: SOT 657305 SOS 360287 HAS SOPS 199476 HAS SOUS 39995 HAS SOUPS 21937 WITH SCORE 22297.287
AT ITER 8774 NEW BEST:: SOT 657303 SOS 360285 HAS SOPS 199476 HAS SOUS 39995 HAS SOUPS 21937 WITH SCORE 22297.285
AT ITER 8775 NEW BEST:: SOT 657243 SOS 360205 HAS SOPS 199286 HAS SOUS 39975 HAS SOUPS 21907 WITH SCORE 22267.205
AT ITER 8785 NEW BEST:: SOT 656946 SOS 359779 HAS SOPS 198825 HAS SOUS 39964 HAS SOUPS 21866 WITH SCORE 22225.779
AT ITER 8800 NEW BEST:: SOT 656954 SOS 359791 HAS SOPS 198829 HAS SOUS 39963 HAS SOUPS 21865 WITH SCORE 22224.791
AT ITER 8807 NEW BEST:: SOT 656940 SOS 359777 HAS SOPS 198829 HAS SOUS 39963 HAS SOUPS 21865 WITH SCORE 22224.777
AT ITER 8818 NEW BEST:: SOT 656925 SOS 359762 HAS SOPS 198829 HAS SOUS 39963 HAS SOUPS 21865 WITH SCORE 22224.762
AT ITER 8820 NEW BEST:: SOT 656966 SOS 359808 HAS SOPS 198851 HAS SOUS 39954 HAS SOUPS 21856 WITH SCORE 22215.808
AT ITER 8821 NEW BEST:: SOT 657138 SOS 360016 HAS SOPS 198957 HAS SOUS 39951 HAS SOUPS 21853 WITH SCORE 22213.016
AT ITER 8846 NEW BEST:: SOT 657160 SOS 360008 HAS SOPS 198953 HAS SOUS 39922 HAS SOUPS 21843 WITH SCORE 22203.008
AT ITER 8853 NEW BEST:: SOT 657120 SOS 359988 HAS SOPS 198983 HAS SOUS 39915 HAS SOUPS 21841 WITH SCORE 22200.988
AT ITER 8922 NEW BEST:: SOT 656920 SOS 359463 HAS SOPS 198858 HAS SOUS 39895 HAS SOUPS 21821 WITH SCORE 22180.463
AT ITER 8945 NEW BEST:: SOT 656375 SOS 358918 HAS SOPS 198623 HAS SOUS 39869 HAS SOUPS 21795 WITH SCORE 22153.918
AT ITER 8947 NEW BEST:: SOT 656466 SOS 358575 HAS SOPS 198436 HAS SOUS 39855 HAS SOUPS 21772 WITH SCORE 22130.575
AT ITER 8958 NEW BEST:: SOT 656463 SOS 358541 HAS SOPS 198417 HAS SOUS 39849 HAS SOUPS 21767 WITH SCORE 22125.541
AT ITER 8984 NEW BEST:: SOT 656307 SOS 358164 HAS SOPS 198300 HAS SOUS 39823 HAS SOUPS 21754 WITH SCORE 22112.164
AT ITER 8996 NEW BEST:: SOT 656302 SOS 358159 HAS SOPS 198300 HAS SOUS 39823 HAS SOUPS 21754 WITH SCORE 22112.159
AT ITER 8997 NEW BEST:: SOT 656294 SOS 357665 HAS SOPS 197830 HAS SOUS 39821 HAS SOUPS 21752 WITH SCORE 22109.665
AT ITER 9013 NEW BEST:: SOT 655942 SOS 356878 HAS SOPS 197115 HAS SOUS 39839 HAS SOUPS 21747 WITH SCORE 22103.878
AT ITER 9033 NEW BEST:: SOT 655896 SOS 356840 HAS SOPS 197061 HAS SOUS 39847 HAS SOUPS 21747 WITH SCORE 22103.84
AT ITER 9055 NEW BEST:: SOT 655888 SOS 356832 HAS SOPS 197061 HAS SOUS 39847 HAS SOUPS 21747 WITH SCORE 22103.832
AT ITER 9108 NEW BEST:: SOT 655429 SOS 355868 HAS SOPS 196785 HAS SOUS 39847 HAS SOUPS 21747 WITH SCORE 22102.868
AT ITER 9111 NEW BEST:: SOT 655405 SOS 355814 HAS SOPS 196741 HAS SOUS 39847 HAS SOUPS 21747 WITH SCORE 22102.814
AT ITER 9121 NEW BEST:: SOT 655383 SOS 355676 HAS SOPS 196708 HAS SOUS 39832 HAS SOUPS 21743 WITH SCORE 22098.676
AT ITER 9144 NEW BEST:: SOT 655371 SOS 355632 HAS SOPS 196684 HAS SOUS 39829 HAS SOUPS 21741 WITH SCORE 22096.632
AT ITER 9170 NEW BEST:: SOT 655494 SOS 356008 HAS SOPS 196829 HAS SOUS 39848 HAS SOUPS 21734 WITH SCORE 22090.008
AT ITER 9182 NEW BEST:: SOT 655262 SOS 355247 HAS SOPS 196185 HAS SOUS 39827 HAS SOUPS 21713 WITH SCORE 22068.247
AT ITER 9197 NEW BEST:: SOT 655482 SOS 355807 HAS SOPS 196318 HAS SOUS 39775 HAS SOUPS 21664 WITH SCORE 22019.807
AT ITER 9235 NEW BEST:: SOT 655474 SOS 355795 HAS SOPS 196312 HAS SOUS 39771 HAS SOUPS 21661 WITH SCORE 22016.795
AT ITER 9239 NEW BEST:: SOT 655444 SOS 355735 HAS SOPS 196294 HAS SOUS 39771 HAS SOUPS 21661 WITH SCORE 22016.735
AT ITER 9247 NEW BEST:: SOT 655444 SOS 355735 HAS SOPS 196294 HAS SOUS 39757 HAS SOUPS 21647 WITH SCORE 22002.735
AT ITER 9292 NEW BEST:: SOT 655211 SOS 355342 HAS SOPS 196157 HAS SOUS 39654 HAS SOUPS 21596 WITH SCORE 21951.342
AT ITER 9297 NEW BEST:: SOT 655245 SOS 354606 HAS SOPS 195409 HAS SOUS 39652 HAS SOUPS 21582 WITH SCORE 21936.606
AT ITER 9314 NEW BEST:: SOT 655243 SOS 354542 HAS SOPS 195375 HAS SOUS 39650 HAS SOUPS 21582 WITH SCORE 21936.542
AT ITER 9352 NEW BEST:: SOT 654691 SOS 353309 HAS SOPS 194364 HAS SOUS 39569 HAS SOUPS 21492 WITH SCORE 21845.309
AT ITER 9354 NEW BEST:: SOT 654691 SOS 353309 HAS SOPS 194364 HAS SOUS 39533 HAS SOUPS 21472 WITH SCORE 21825.309
AT ITER 9416 NEW BEST:: SOT 654618 SOS 353132 HAS SOPS 194299 HAS SOUS 39497 HAS SOUPS 21462 WITH SCORE 21815.132
AT ITER 9438 NEW BEST:: SOT 654750 SOS 353396 HAS SOPS 194387 HAS SOUS 39505 HAS SOUPS 21442 WITH SCORE 21795.396
AT ITER 9446 NEW BEST:: SOT 654578 SOS 352914 HAS SOPS 194233 HAS SOUS 39501 HAS SOUPS 21438 WITH SCORE 21790.914
AT ITER 9508 NEW BEST:: SOT 654630 SOS 352989 HAS SOPS 194279 HAS SOUS 39495 HAS SOUPS 21432 WITH SCORE 21784.989
AT ITER 9555 NEW BEST:: SOT 654671 SOS 353153 HAS SOPS 194279 HAS SOUS 39495 HAS SOUPS 21391 WITH SCORE 21744.153
AT ITER 9565 NEW BEST:: SOT 654828 SOS 353410 HAS SOPS 194719 HAS SOUS 39454 HAS SOUPS 21389 WITH SCORE 21742.41
AT ITER 9579 NEW BEST:: SOT 654828 SOS 353355 HAS SOPS 194634 HAS SOUS 39434 HAS SOUPS 21369 WITH SCORE 21722.355
AT ITER 9603 NEW BEST:: SOT 654813 SOS 353332 HAS SOPS 194627 HAS SOUS 39419 HAS SOUPS 21362 WITH SCORE 21715.332
AT ITER 9670 NEW BEST:: SOT 654812 SOS 353331 HAS SOPS 194627 HAS SOUS 39419 HAS SOUPS 21362 WITH SCORE 21715.331
AT ITER 9737 NEW BEST:: SOT 654755 SOS 353239 HAS SOPS 194583 HAS SOUS 39412 HAS SOUPS 21355 WITH SCORE 21708.239
AT ITER 9778 NEW BEST:: SOT 654572 SOS 351760 HAS SOPS 193440 HAS SOUS 39376 HAS SOUPS 21335 WITH SCORE 21686.76
AT ITER 9783 NEW BEST:: SOT 654539 SOS 351727 HAS SOPS 193440 HAS SOUS 39376 HAS SOUPS 21335 WITH SCORE 21686.727
AT ITER 9784 NEW BEST:: SOT 654545 SOS 351728 HAS SOPS 193407 HAS SOUS 39321 HAS SOUPS 21280 WITH SCORE 21631.728
AT ITER 9808 NEW BEST:: SOT 654537 SOS 351721 HAS SOPS 193402 HAS SOUS 39321 HAS SOUPS 21279 WITH SCORE 21630.721
AT ITER 9809 NEW BEST:: SOT 654357 SOS 351361 HAS SOPS 193282 HAS SOUS 39261 HAS SOUPS 21279 WITH SCORE 21630.361
AT ITER 9833 NEW BEST:: SOT 654347 SOS 351335 HAS SOPS 193274 HAS SOUS 39259 HAS SOUPS 21278 WITH SCORE 21629.335
AT ITER 9848 NEW BEST:: SOT 654358 SOS 351346 HAS SOPS 193285 HAS SOUS 39225 HAS SOUPS 21264 WITH SCORE 21615.346
AT ITER 9866 NEW BEST:: SOT 654349 SOS 351340 HAS SOPS 193285 HAS SOUS 39211 HAS SOUPS 21262 WITH SCORE 21613.34
AT ITER 9921 NEW BEST:: SOT 654332 SOS 351308 HAS SOPS 193273 HAS SOUS 39205 HAS SOUPS 21261 WITH SCORE 21612.308
AT ITER 9926 NEW BEST:: SOT 654322 SOS 351262 HAS SOPS 193251 HAS SOUS 39193 HAS SOUPS 21258 WITH SCORE 21609.262
AT ITER 9967 NEW BEST:: SOT 654412 SOS 351496 HAS SOPS 193296 HAS SOUS 39193 HAS SOUPS 21249 WITH SCORE 21600.496
AT ITER 9985 NEW BEST:: SOT 654412 SOS 351496 HAS SOPS 193296 HAS SOUS 39184 HAS SOUPS 21244 WITH SCORE 21595.496
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
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 9207968 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154256 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is 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 r099-tall-167814472800752"
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 ;