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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.3K Feb 25 19:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 25 19:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 19:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 19:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K 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 11K Feb 25 20:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 114K Feb 25 20:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 20:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 115K Feb 25 20:20 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 660K 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 1678261199267

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-10a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 10a
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: 337 places, 2605 transitions, 10130 arcs.
AT ITER 0 NEW BEST:: SOT 551970 SOS 467153 HAS SOPS 282745 HAS SOUS 55803 HAS SOUPS 38909 WITH SCORE 39376.153
AT ITER 14 NEW BEST:: SOT 551795 SOS 467022 HAS SOPS 282394 HAS SOUS 55487 HAS SOUPS 38421 WITH SCORE 38888.022
AT ITER 17 NEW BEST:: SOT 551731 SOS 462674 HAS SOPS 278046 HAS SOUS 55472 HAS SOUPS 38406 WITH SCORE 38868.674
AT ITER 18 NEW BEST:: SOT 551451 SOS 462450 HAS SOPS 277542 HAS SOUS 54979 HAS SOUPS 37709 WITH SCORE 38171.45
AT ITER 25 NEW BEST:: SOT 551431 SOS 462130 HAS SOPS 277222 HAS SOUS 54959 HAS SOUPS 37689 WITH SCORE 38151.13
AT ITER 33 NEW BEST:: SOT 551748 SOS 462521 HAS SOPS 277243 HAS SOUS 54991 HAS SOUPS 37453 WITH SCORE 37915.521
AT ITER 40 NEW BEST:: SOT 551723 SOS 462146 HAS SOPS 276868 HAS SOUS 54966 HAS SOUPS 37428 WITH SCORE 37890.146
AT ITER 59 NEW BEST:: SOT 551599 SOS 465124 HAS SOPS 278098 HAS SOUS 54925 HAS SOUPS 37387 WITH SCORE 37852.124
AT ITER 60 NEW BEST:: SOT 551567 SOS 464580 HAS SOPS 278002 HAS SOUS 54870 HAS SOUPS 37364 WITH SCORE 37828.58
AT ITER 72 NEW BEST:: SOT 551544 SOS 464593 HAS SOPS 277835 HAS SOUS 54739 HAS SOUPS 37089 WITH SCORE 37553.593
AT ITER 73 NEW BEST:: SOT 551444 SOS 465550 HAS SOPS 278099 HAS SOUS 54738 HAS SOUPS 37067 WITH SCORE 37532.55
AT ITER 83 NEW BEST:: SOT 551638 SOS 465790 HAS SOPS 278109 HAS SOUS 54731 HAS SOUPS 36904 WITH SCORE 37369.79
AT ITER 87 NEW BEST:: SOT 551956 SOS 466153 HAS SOPS 278202 HAS SOUS 54554 HAS SOUPS 36727 WITH SCORE 37193.153
AT ITER 116 NEW BEST:: SOT 551850 SOS 463869 HAS SOPS 276954 HAS SOUS 54467 HAS SOUPS 36714 WITH SCORE 37177.869
AT ITER 120 NEW BEST:: SOT 551826 SOS 463715 HAS SOPS 277064 HAS SOUS 54384 HAS SOUPS 36655 WITH SCORE 37118.715
AT ITER 141 NEW BEST:: SOT 551899 SOS 463788 HAS SOPS 277064 HAS SOUS 54171 HAS SOUPS 36598 WITH SCORE 37061.788
AT ITER 149 NEW BEST:: SOT 551888 SOS 463777 HAS SOPS 277053 HAS SOUS 54160 HAS SOUPS 36587 WITH SCORE 37050.777
AT ITER 152 NEW BEST:: SOT 551876 SOS 463621 HAS SOPS 276897 HAS SOUS 54148 HAS SOUPS 36575 WITH SCORE 37038.621
AT ITER 156 NEW BEST:: SOT 549976 SOS 459619 HAS SOPS 275172 HAS SOUS 52216 HAS SOUPS 34850 WITH SCORE 35309.619
AT ITER 158 NEW BEST:: SOT 550050 SOS 458849 HAS SOPS 275158 HAS SOUS 52094 HAS SOUPS 34782 WITH SCORE 35240.849
AT ITER 164 NEW BEST:: SOT 550037 SOS 458836 HAS SOPS 275145 HAS SOUS 52081 HAS SOUPS 34769 WITH SCORE 35227.836
AT ITER 176 NEW BEST:: SOT 550037 SOS 458836 HAS SOPS 275118 HAS SOUS 52054 HAS SOUPS 34742 WITH SCORE 35200.836
AT ITER 192 NEW BEST:: SOT 550021 SOS 458820 HAS SOPS 275102 HAS SOUS 52038 HAS SOUPS 34726 WITH SCORE 35184.82
AT ITER 197 NEW BEST:: SOT 548900 SOS 455639 HAS SOPS 274121 HAS SOUS 50879 HAS SOUPS 33767 WITH SCORE 34222.639
AT ITER 199 NEW BEST:: SOT 549411 SOS 453495 HAS SOPS 273706 HAS SOUS 52307 HAS SOUPS 33710 WITH SCORE 34163.495
AT ITER 208 NEW BEST:: SOT 549362 SOS 451588 HAS SOPS 272822 HAS SOUS 52234 HAS SOUPS 33668 WITH SCORE 34119.588
AT ITER 213 NEW BEST:: SOT 549224 SOS 449202 HAS SOPS 272380 HAS SOUS 52000 HAS SOUPS 33572 WITH SCORE 34021.202
AT ITER 220 NEW BEST:: SOT 549224 SOS 449202 HAS SOPS 272323 HAS SOUS 52013 HAS SOUPS 33569 WITH SCORE 34018.202
AT ITER 227 NEW BEST:: SOT 549719 SOS 447079 HAS SOPS 271897 HAS SOUS 53387 HAS SOUPS 33496 WITH SCORE 33943.079
AT ITER 236 NEW BEST:: SOT 549702 SOS 446586 HAS SOPS 271642 HAS SOUS 53370 HAS SOUPS 33496 WITH SCORE 33942.586
AT ITER 246 NEW BEST:: SOT 549485 SOS 446755 HAS SOPS 271811 HAS SOUS 53209 HAS SOUPS 33335 WITH SCORE 33781.755
AT ITER 257 NEW BEST:: SOT 549549 SOS 446762 HAS SOPS 271818 HAS SOUS 53064 HAS SOUPS 33190 WITH SCORE 33636.762
AT ITER 260 NEW BEST:: SOT 549609 SOS 446896 HAS SOPS 271952 HAS SOUS 52902 HAS SOUPS 33028 WITH SCORE 33474.896
AT ITER 264 NEW BEST:: SOT 549153 SOS 446582 HAS SOPS 271699 HAS SOUS 52951 HAS SOUPS 33023 WITH SCORE 33469.582
AT ITER 265 NEW BEST:: SOT 549140 SOS 446706 HAS SOPS 271001 HAS SOUS 51462 HAS SOUPS 31506 WITH SCORE 31952.706
AT ITER 274 NEW BEST:: SOT 548887 SOS 446326 HAS SOPS 270748 HAS SOUS 51136 HAS SOUPS 31377 WITH SCORE 31823.326
AT ITER 281 NEW BEST:: SOT 548904 SOS 446343 HAS SOPS 270666 HAS SOUS 51054 HAS SOUPS 31295 WITH SCORE 31741.343
AT ITER 282 NEW BEST:: SOT 548854 SOS 445543 HAS SOPS 270566 HAS SOUS 51004 HAS SOUPS 31295 WITH SCORE 31740.543
AT ITER 283 NEW BEST:: SOT 548848 SOS 445534 HAS SOPS 270560 HAS SOUS 50995 HAS SOUPS 31289 WITH SCORE 31734.534
AT ITER 284 NEW BEST:: SOT 548886 SOS 445442 HAS SOPS 270860 HAS SOUS 50967 HAS SOUPS 31289 WITH SCORE 31734.442
AT ITER 292 NEW BEST:: SOT 548948 SOS 443766 HAS SOPS 270024 HAS SOUS 50851 HAS SOUPS 31233 WITH SCORE 31676.766
AT ITER 310 NEW BEST:: SOT 548942 SOS 443760 HAS SOPS 270018 HAS SOUS 50845 HAS SOUPS 31227 WITH SCORE 31670.76
AT ITER 312 NEW BEST:: SOT 548933 SOS 443629 HAS SOPS 269887 HAS SOUS 50836 HAS SOUPS 31218 WITH SCORE 31661.629
AT ITER 321 NEW BEST:: SOT 548903 SOS 443110 HAS SOPS 269606 HAS SOUS 50793 HAS SOUPS 31192 WITH SCORE 31635.11
AT ITER 328 NEW BEST:: SOT 548874 SOS 441762 HAS SOPS 269474 HAS SOUS 50698 HAS SOUPS 31141 WITH SCORE 31582.762
AT ITER 337 NEW BEST:: SOT 548873 SOS 441761 HAS SOPS 269473 HAS SOUS 50697 HAS SOUPS 31140 WITH SCORE 31581.761
AT ITER 341 NEW BEST:: SOT 547632 SOS 440522 HAS SOPS 269042 HAS SOUS 50732 HAS SOUPS 31139 WITH SCORE 31579.522
AT ITER 350 NEW BEST:: SOT 547550 SOS 441222 HAS SOPS 268946 HAS SOUS 50598 HAS SOUPS 30991 WITH SCORE 31432.222
AT ITER 352 NEW BEST:: SOT 547760 SOS 441432 HAS SOPS 268976 HAS SOUS 50508 HAS SOUPS 30901 WITH SCORE 31342.432
AT ITER 361 NEW BEST:: SOT 547274 SOS 441222 HAS SOPS 268734 HAS SOUS 50550 HAS SOUPS 30886 WITH SCORE 31327.222
AT ITER 363 NEW BEST:: SOT 547274 SOS 440390 HAS SOPS 268286 HAS SOUS 50550 HAS SOUPS 30886 WITH SCORE 31326.39
AT ITER 374 NEW BEST:: SOT 547274 SOS 440372 HAS SOPS 268268 HAS SOUS 50550 HAS SOUPS 30886 WITH SCORE 31326.372
AT ITER 379 NEW BEST:: SOT 547202 SOS 440300 HAS SOPS 268196 HAS SOUS 50478 HAS SOUPS 30814 WITH SCORE 31254.3
AT ITER 381 NEW BEST:: SOT 547184 SOS 440264 HAS SOPS 268160 HAS SOUS 50460 HAS SOUPS 30796 WITH SCORE 31236.264
AT ITER 385 NEW BEST:: SOT 550125 SOS 441503 HAS SOPS 268255 HAS SOUS 52722 HAS SOUPS 30785 WITH SCORE 31226.503
AT ITER 389 NEW BEST:: SOT 550105 SOS 441478 HAS SOPS 268240 HAS SOUS 52712 HAS SOUPS 30780 WITH SCORE 31221.478
AT ITER 400 NEW BEST:: SOT 550104 SOS 441462 HAS SOPS 268238 HAS SOUS 52711 HAS SOUPS 30780 WITH SCORE 31221.462
AT ITER 401 NEW BEST:: SOT 550104 SOS 441462 HAS SOPS 268203 HAS SOUS 52676 HAS SOUPS 30745 WITH SCORE 31186.462
AT ITER 409 NEW BEST:: SOT 551174 SOS 442532 HAS SOPS 268385 HAS SOUS 52982 HAS SOUPS 30683 WITH SCORE 31125.532
AT ITER 426 NEW BEST:: SOT 551115 SOS 441593 HAS SOPS 267908 HAS SOUS 52893 HAS SOUPS 30627 WITH SCORE 31068.593
AT ITER 436 NEW BEST:: SOT 551067 SOS 442155 HAS SOPS 267884 HAS SOUS 52874 HAS SOUPS 30597 WITH SCORE 31039.155
AT ITER 437 NEW BEST:: SOT 551067 SOS 442140 HAS SOPS 267869 HAS SOUS 52873 HAS SOUPS 30596 WITH SCORE 31038.14
AT ITER 438 NEW BEST:: SOT 551236 SOS 442425 HAS SOPS 267980 HAS SOUS 52609 HAS SOUPS 30378 WITH SCORE 30820.425
AT ITER 443 NEW BEST:: SOT 551218 SOS 442419 HAS SOPS 267956 HAS SOUS 52591 HAS SOUPS 30360 WITH SCORE 30802.419
AT ITER 454 NEW BEST:: SOT 551124 SOS 436583 HAS SOPS 262960 HAS SOUS 52513 HAS SOUPS 30342 WITH SCORE 30778.583
AT ITER 470 NEW BEST:: SOT 551109 SOS 436568 HAS SOPS 262945 HAS SOUS 52498 HAS SOUPS 30327 WITH SCORE 30763.568
AT ITER 478 NEW BEST:: SOT 551778 SOS 437208 HAS SOPS 263491 HAS SOUS 52516 HAS SOUPS 30293 WITH SCORE 30730.208
AT ITER 479 NEW BEST:: SOT 551846 SOS 437614 HAS SOPS 263897 HAS SOUS 52273 HAS SOUPS 30050 WITH SCORE 30487.614
AT ITER 483 NEW BEST:: SOT 551802 SOS 437548 HAS SOPS 263875 HAS SOUS 52229 HAS SOUPS 30028 WITH SCORE 30465.548
AT ITER 484 NEW BEST:: SOT 551936 SOS 437882 HAS SOPS 264209 HAS SOUS 52151 HAS SOUPS 29950 WITH SCORE 30387.882
AT ITER 491 NEW BEST:: SOT 551408 SOS 437335 HAS SOPS 263881 HAS SOUS 52146 HAS SOUPS 29940 WITH SCORE 30377.335
AT ITER 498 NEW BEST:: SOT 552136 SOS 439015 HAS SOPS 264252 HAS SOUS 51612 HAS SOUPS 29644 WITH SCORE 30083.015
AT ITER 501 NEW BEST:: SOT 552118 SOS 429388 HAS SOPS 256291 HAS SOUS 51397 HAS SOUPS 29548 WITH SCORE 29977.388
AT ITER 510 NEW BEST:: SOT 552089 SOS 429359 HAS SOPS 256262 HAS SOUS 51368 HAS SOUPS 29519 WITH SCORE 29948.359
AT ITER 536 NEW BEST:: SOT 552110 SOS 429402 HAS SOPS 256261 HAS SOUS 51389 HAS SOUPS 29518 WITH SCORE 29947.402
AT ITER 546 NEW BEST:: SOT 552108 SOS 429370 HAS SOPS 256229 HAS SOUS 51385 HAS SOUPS 29514 WITH SCORE 29943.37
AT ITER 547 NEW BEST:: SOT 552520 SOS 429673 HAS SOPS 256641 HAS SOUS 51161 HAS SOUPS 29399 WITH SCORE 29828.673
AT ITER 548 NEW BEST:: SOT 552598 SOS 429750 HAS SOPS 256640 HAS SOUS 51159 HAS SOUPS 29398 WITH SCORE 29827.75
AT ITER 564 NEW BEST:: SOT 552596 SOS 429718 HAS SOPS 256608 HAS SOUS 51156 HAS SOUPS 29395 WITH SCORE 29824.718
AT ITER 574 NEW BEST:: SOT 552375 SOS 429639 HAS SOPS 256174 HAS SOUS 50163 HAS SOUPS 28398 WITH SCORE 28827.639
AT ITER 577 NEW BEST:: SOT 552709 SOS 430024 HAS SOPS 256457 HAS SOUS 50191 HAS SOUPS 28367 WITH SCORE 28797.024
AT ITER 598 NEW BEST:: SOT 552703 SOS 430018 HAS SOPS 256451 HAS SOUS 50185 HAS SOUPS 28361 WITH SCORE 28791.018
AT ITER 601 NEW BEST:: SOT 552780 SOS 430073 HAS SOPS 256429 HAS SOUS 50141 HAS SOUPS 28339 WITH SCORE 28769.073
AT ITER 616 NEW BEST:: SOT 552778 SOS 430070 HAS SOPS 256428 HAS SOUS 50139 HAS SOUPS 28338 WITH SCORE 28768.07
AT ITER 617 NEW BEST:: SOT 552707 SOS 430008 HAS SOPS 256001 HAS SOUS 49229 HAS SOUPS 27428 WITH SCORE 27858.008
AT ITER 618 NEW BEST:: SOT 552627 SOS 429928 HAS SOPS 256001 HAS SOUS 49229 HAS SOUPS 27428 WITH SCORE 27857.928
AT ITER 633 NEW BEST:: SOT 552648 SOS 429972 HAS SOPS 255999 HAS SOUS 49250 HAS SOUPS 27426 WITH SCORE 27855.972
AT ITER 647 NEW BEST:: SOT 552919 SOS 430423 HAS SOPS 256000 HAS SOUS 48690 HAS SOUPS 26866 WITH SCORE 27296.423
AT ITER 657 NEW BEST:: SOT 552848 SOS 427645 HAS SOPS 254706 HAS SOUS 48530 HAS SOUPS 26812 WITH SCORE 27239.645
AT ITER 660 NEW BEST:: SOT 552846 SOS 427641 HAS SOPS 254702 HAS SOUS 48528 HAS SOUPS 26810 WITH SCORE 27237.641
AT ITER 669 NEW BEST:: SOT 552839 SOS 427102 HAS SOPS 254163 HAS SOUS 48528 HAS SOUPS 26810 WITH SCORE 27237.102
AT ITER 673 NEW BEST:: SOT 553473 SOS 427800 HAS SOPS 254477 HAS SOUS 48458 HAS SOUPS 26740 WITH SCORE 27167.8
AT ITER 677 NEW BEST:: SOT 553340 SOS 426342 HAS SOPS 255449 HAS SOUS 48104 HAS SOUPS 26460 WITH SCORE 26886.342
AT ITER 693 NEW BEST:: SOT 553346 SOS 426330 HAS SOPS 255452 HAS SOUS 48101 HAS SOUPS 26460 WITH SCORE 26886.33
AT ITER 696 NEW BEST:: SOT 553322 SOS 427038 HAS SOPS 255992 HAS SOUS 48101 HAS SOUPS 26448 WITH SCORE 26875.038
AT ITER 699 NEW BEST:: SOT 553253 SOS 426969 HAS SOPS 255923 HAS SOUS 48032 HAS SOUPS 26379 WITH SCORE 26805.969
AT ITER 705 NEW BEST:: SOT 553294 SOS 427010 HAS SOPS 255923 HAS SOUS 48023 HAS SOUPS 26374 WITH SCORE 26801.01
AT ITER 709 NEW BEST:: SOT 553282 SOS 426998 HAS SOPS 255911 HAS SOUS 48011 HAS SOUPS 26362 WITH SCORE 26788.998
AT ITER 717 NEW BEST:: SOT 553355 SOS 427083 HAS SOPS 255936 HAS SOUS 47955 HAS SOUPS 26306 WITH SCORE 26733.083
AT ITER 732 NEW BEST:: SOT 553393 SOS 426703 HAS SOPS 255974 HAS SOUS 47955 HAS SOUPS 26306 WITH SCORE 26732.703
AT ITER 765 NEW BEST:: SOT 553387 SOS 426638 HAS SOPS 255968 HAS SOUS 47890 HAS SOUPS 26300 WITH SCORE 26726.638
AT ITER 770 NEW BEST:: SOT 553470 SOS 426924 HAS SOPS 256038 HAS SOUS 47745 HAS SOUPS 26218 WITH SCORE 26644.924
AT ITER 773 NEW BEST:: SOT 553497 SOS 424444 HAS SOPS 254198 HAS SOUS 47648 HAS SOUPS 26170 WITH SCORE 26594.444
AT ITER 779 NEW BEST:: SOT 552656 SOS 423663 HAS SOPS 253793 HAS SOUS 47618 HAS SOUPS 26114 WITH SCORE 26537.663
AT ITER 782 NEW BEST:: SOT 552388 SOS 426351 HAS SOPS 255162 HAS SOUS 47482 HAS SOUPS 25998 WITH SCORE 26424.351
AT ITER 785 NEW BEST:: SOT 552364 SOS 426073 HAS SOPS 254928 HAS SOUS 47462 HAS SOUPS 25978 WITH SCORE 26404.073
AT ITER 786 NEW BEST:: SOT 552382 SOS 425356 HAS SOPS 254211 HAS SOUS 47445 HAS SOUPS 25961 WITH SCORE 26386.356
AT ITER 790 NEW BEST:: SOT 552549 SOS 425770 HAS SOPS 254321 HAS SOUS 47403 HAS SOUPS 25919 WITH SCORE 26344.77
AT ITER 794 NEW BEST:: SOT 552551 SOS 425606 HAS SOPS 254363 HAS SOUS 47403 HAS SOUPS 25919 WITH SCORE 26344.606
AT ITER 797 NEW BEST:: SOT 552551 SOS 426223 HAS SOPS 254382 HAS SOUS 47350 HAS SOUPS 25885 WITH SCORE 26311.223
AT ITER 816 NEW BEST:: SOT 552518 SOS 426135 HAS SOPS 254195 HAS SOUS 47339 HAS SOUPS 25863 WITH SCORE 26289.135
AT ITER 846 NEW BEST:: SOT 552517 SOS 426181 HAS SOPS 254250 HAS SOUS 47325 HAS SOUPS 25849 WITH SCORE 26275.181
AT ITER 851 NEW BEST:: SOT 552517 SOS 426198 HAS SOPS 254233 HAS SOUS 47325 HAS SOUPS 25832 WITH SCORE 26258.198
AT ITER 877 NEW BEST:: SOT 552738 SOS 426678 HAS SOPS 254175 HAS SOUS 47487 HAS SOUPS 25794 WITH SCORE 26220.678
AT ITER 892 NEW BEST:: SOT 552736 SOS 426675 HAS SOPS 254174 HAS SOUS 47435 HAS SOUPS 25739 WITH SCORE 26165.675
AT ITER 916 NEW BEST:: SOT 552745 SOS 426650 HAS SOPS 254149 HAS SOUS 47411 HAS SOUPS 25715 WITH SCORE 26141.65
AT ITER 920 NEW BEST:: SOT 552714 SOS 426154 HAS SOPS 253653 HAS SOUS 47380 HAS SOUPS 25684 WITH SCORE 26110.154
AT ITER 944 NEW BEST:: SOT 552655 SOS 426597 HAS SOPS 253788 HAS SOUS 47357 HAS SOUPS 25661 WITH SCORE 26087.597
AT ITER 951 NEW BEST:: SOT 552578 SOS 426780 HAS SOPS 253971 HAS SOUS 47295 HAS SOUPS 25599 WITH SCORE 26025.78
AT ITER 965 NEW BEST:: SOT 552481 SOS 426694 HAS SOPS 253918 HAS SOUS 47297 HAS SOUPS 25590 WITH SCORE 26016.694
AT ITER 967 NEW BEST:: SOT 552540 SOS 426819 HAS SOPS 253977 HAS SOUS 47311 HAS SOUPS 25538 WITH SCORE 25964.819
AT ITER 974 NEW BEST:: SOT 552510 SOS 426774 HAS SOPS 253947 HAS SOUS 47281 HAS SOUPS 25523 WITH SCORE 25949.774
AT ITER 986 NEW BEST:: SOT 552437 SOS 424898 HAS SOPS 252789 HAS SOUS 47158 HAS SOUPS 25444 WITH SCORE 25868.898
AT ITER 992 NEW BEST:: SOT 552415 SOS 424845 HAS SOPS 252414 HAS SOUS 47136 HAS SOUPS 25399 WITH SCORE 25823.845
AT ITER 1005 NEW BEST:: SOT 553163 SOS 425743 HAS SOPS 252862 HAS SOUS 47059 HAS SOUPS 25322 WITH SCORE 25747.743
AT ITER 1007 NEW BEST:: SOT 553175 SOS 425731 HAS SOPS 252862 HAS SOUS 47051 HAS SOUPS 25318 WITH SCORE 25743.731
AT ITER 1019 NEW BEST:: SOT 552852 SOS 425365 HAS SOPS 252656 HAS SOUS 47035 HAS SOUPS 25302 WITH SCORE 25727.365
AT ITER 1035 NEW BEST:: SOT 552841 SOS 425343 HAS SOPS 252634 HAS SOUS 47024 HAS SOUPS 25291 WITH SCORE 25716.343
AT ITER 1038 NEW BEST:: SOT 552803 SOS 425267 HAS SOPS 252558 HAS SOUS 46986 HAS SOUPS 25253 WITH SCORE 25678.267
AT ITER 1044 NEW BEST:: SOT 552703 SOS 425167 HAS SOPS 252458 HAS SOUS 46982 HAS SOUPS 25249 WITH SCORE 25674.167
AT ITER 1054 NEW BEST:: SOT 552745 SOS 425203 HAS SOPS 252476 HAS SOUS 46970 HAS SOUPS 25243 WITH SCORE 25668.203
AT ITER 1060 NEW BEST:: SOT 552711 SOS 421334 HAS SOPS 249209 HAS SOUS 46848 HAS SOUPS 25164 WITH SCORE 25585.334
AT ITER 1088 NEW BEST:: SOT 553198 SOS 421839 HAS SOPS 249338 HAS SOUS 46771 HAS SOUPS 25088 WITH SCORE 25509.839
AT ITER 1118 NEW BEST:: SOT 553195 SOS 421836 HAS SOPS 249335 HAS SOUS 46768 HAS SOUPS 25085 WITH SCORE 25506.836
AT ITER 1157 NEW BEST:: SOT 553178 SOS 421590 HAS SOPS 249132 HAS SOUS 46643 HAS SOUPS 25043 WITH SCORE 25464.59
AT ITER 1158 NEW BEST:: SOT 553198 SOS 421634 HAS SOPS 249128 HAS SOUS 46663 HAS SOUPS 25039 WITH SCORE 25460.634
AT ITER 1161 NEW BEST:: SOT 553160 SOS 421558 HAS SOPS 249128 HAS SOUS 46625 HAS SOUPS 25039 WITH SCORE 25460.558
AT ITER 1166 NEW BEST:: SOT 553159 SOS 421555 HAS SOPS 249111 HAS SOUS 46626 HAS SOUPS 25039 WITH SCORE 25460.555
AT ITER 1169 NEW BEST:: SOT 552793 SOS 420383 HAS SOPS 248176 HAS SOUS 46535 HAS SOUPS 24929 WITH SCORE 25349.383
AT ITER 1172 NEW BEST:: SOT 552697 SOS 417599 HAS SOPS 246736 HAS SOUS 46343 HAS SOUPS 24833 WITH SCORE 25250.599
AT ITER 1179 NEW BEST:: SOT 552365 SOS 417339 HAS SOPS 246602 HAS SOUS 46342 HAS SOUPS 24814 WITH SCORE 25231.339
AT ITER 1186 NEW BEST:: SOT 552414 SOS 417387 HAS SOPS 246601 HAS SOUS 46340 HAS SOUPS 24813 WITH SCORE 25230.387
AT ITER 1188 NEW BEST:: SOT 552375 SOS 417326 HAS SOPS 246584 HAS SOUS 46301 HAS SOUPS 24796 WITH SCORE 25213.326
AT ITER 1201 NEW BEST:: SOT 552063 SOS 416294 HAS SOPS 246032 HAS SOUS 46229 HAS SOUPS 24748 WITH SCORE 25164.294
AT ITER 1208 NEW BEST:: SOT 552025 SOS 416256 HAS SOPS 246056 HAS SOUS 46129 HAS SOUPS 24648 WITH SCORE 25064.256
AT ITER 1225 NEW BEST:: SOT 551334 SOS 414275 HAS SOPS 245175 HAS SOUS 46012 HAS SOUPS 24586 WITH SCORE 25000.275
AT ITER 1232 NEW BEST:: SOT 551334 SOS 414259 HAS SOPS 245175 HAS SOUS 45996 HAS SOUPS 24586 WITH SCORE 25000.259
AT ITER 1234 NEW BEST:: SOT 551229 SOS 414139 HAS SOPS 245085 HAS SOUS 45981 HAS SOUPS 24586 WITH SCORE 25000.139
AT ITER 1237 NEW BEST:: SOT 551355 SOS 412881 HAS SOPS 244691 HAS SOUS 45815 HAS SOUPS 24489 WITH SCORE 24901.881
AT ITER 1252 NEW BEST:: SOT 551355 SOS 412881 HAS SOPS 244691 HAS SOUS 45807 HAS SOUPS 24484 WITH SCORE 24896.881
AT ITER 1255 NEW BEST:: SOT 550025 SOS 400303 HAS SOPS 234323 HAS SOUS 45659 HAS SOUPS 24411 WITH SCORE 24811.303
AT ITER 1256 NEW BEST:: SOT 549961 SOS 399279 HAS SOPS 233747 HAS SOUS 45561 HAS SOUPS 24345 WITH SCORE 24744.279
AT ITER 1263 NEW BEST:: SOT 548750 SOS 395132 HAS SOPS 231587 HAS SOUS 45293 HAS SOUPS 24178 WITH SCORE 24573.132
AT ITER 1283 NEW BEST:: SOT 548766 SOS 395095 HAS SOPS 231550 HAS SOUS 45287 HAS SOUPS 24172 WITH SCORE 24567.095
AT ITER 1285 NEW BEST:: SOT 549007 SOS 395577 HAS SOPS 231724 HAS SOUS 45180 HAS SOUPS 24114 WITH SCORE 24509.577
AT ITER 1292 NEW BEST:: SOT 549005 SOS 395591 HAS SOPS 231735 HAS SOUS 45179 HAS SOUPS 24113 WITH SCORE 24508.591
AT ITER 1295 NEW BEST:: SOT 548725 SOS 395339 HAS SOPS 231735 HAS SOUS 44815 HAS SOUPS 24113 WITH SCORE 24508.339
AT ITER 1296 NEW BEST:: SOT 548713 SOS 395315 HAS SOPS 231735 HAS SOUS 44803 HAS SOUPS 24113 WITH SCORE 24508.315
AT ITER 1300 NEW BEST:: SOT 548713 SOS 395302 HAS SOPS 231735 HAS SOUS 44790 HAS SOUPS 24113 WITH SCORE 24508.302
AT ITER 1311 NEW BEST:: SOT 548713 SOS 395283 HAS SOPS 231735 HAS SOUS 44771 HAS SOUPS 24113 WITH SCORE 24508.283
AT ITER 1330 NEW BEST:: SOT 548717 SOS 395271 HAS SOPS 231723 HAS SOUS 44770 HAS SOUPS 24112 WITH SCORE 24507.271
AT ITER 1349 NEW BEST:: SOT 548618 SOS 395041 HAS SOPS 232327 HAS SOUS 44694 HAS SOUPS 24112 WITH SCORE 24507.041
AT ITER 1365 NEW BEST:: SOT 548614 SOS 394977 HAS SOPS 232263 HAS SOUS 44692 HAS SOUPS 24110 WITH SCORE 24504.977
AT ITER 1370 NEW BEST:: SOT 548614 SOS 394977 HAS SOPS 232263 HAS SOUS 44683 HAS SOUPS 24105 WITH SCORE 24499.977
AT ITER 1375 NEW BEST:: SOT 548580 SOS 394797 HAS SOPS 232083 HAS SOUS 44626 HAS SOUPS 24048 WITH SCORE 24442.797
AT ITER 1415 NEW BEST:: SOT 548575 SOS 394787 HAS SOPS 232083 HAS SOUS 44621 HAS SOUPS 24048 WITH SCORE 24442.787
AT ITER 1424 NEW BEST:: SOT 548078 SOS 390476 HAS SOPS 229182 HAS SOUS 44555 HAS SOUPS 24042 WITH SCORE 24432.476
AT ITER 1430 NEW BEST:: SOT 548078 SOS 390377 HAS SOPS 229182 HAS SOUS 44447 HAS SOUPS 24037 WITH SCORE 24427.377
AT ITER 1445 NEW BEST:: SOT 547742 SOS 390041 HAS SOPS 228846 HAS SOUS 44420 HAS SOUPS 24022 WITH SCORE 24412.041
AT ITER 1448 NEW BEST:: SOT 547651 SOS 388507 HAS SOPS 227294 HAS SOUS 44419 HAS SOUPS 24021 WITH SCORE 24409.507
AT ITER 1453 NEW BEST:: SOT 547647 SOS 388487 HAS SOPS 227290 HAS SOUS 44417 HAS SOUPS 24019 WITH SCORE 24407.487
AT ITER 1461 NEW BEST:: SOT 547716 SOS 389015 HAS SOPS 227389 HAS SOUS 44447 HAS SOUPS 24010 WITH SCORE 24399.015
AT ITER 1470 NEW BEST:: SOT 547706 SOS 388471 HAS SOPS 227365 HAS SOUS 44389 HAS SOUPS 23992 WITH SCORE 24380.471
AT ITER 1472 NEW BEST:: SOT 547701 SOS 389053 HAS SOPS 227835 HAS SOUS 44387 HAS SOUPS 23982 WITH SCORE 24371.053
AT ITER 1477 NEW BEST:: SOT 547664 SOS 389016 HAS SOPS 227835 HAS SOUS 44387 HAS SOUPS 23982 WITH SCORE 24371.016
AT ITER 1478 NEW BEST:: SOT 547310 SOS 388328 HAS SOPS 227546 HAS SOUS 44401 HAS SOUPS 23981 WITH SCORE 24369.328
AT ITER 1488 NEW BEST:: SOT 547277 SOS 388152 HAS SOPS 227491 HAS SOUS 44374 HAS SOUPS 23965 WITH SCORE 24353.152
AT ITER 1495 NEW BEST:: SOT 547271 SOS 388143 HAS SOPS 227491 HAS SOUS 44344 HAS SOUPS 23950 WITH SCORE 24338.143
AT ITER 1497 NEW BEST:: SOT 547271 SOS 388143 HAS SOPS 227491 HAS SOUS 44308 HAS SOUPS 23930 WITH SCORE 24318.143
AT ITER 1499 NEW BEST:: SOT 547541 SOS 388683 HAS SOPS 227653 HAS SOUS 44254 HAS SOUPS 23876 WITH SCORE 24264.683
AT ITER 1504 NEW BEST:: SOT 547122 SOS 388306 HAS SOPS 227654 HAS SOUS 43714 HAS SOUPS 23875 WITH SCORE 24263.306
AT ITER 1505 NEW BEST:: SOT 547109 SOS 388280 HAS SOPS 227654 HAS SOUS 43701 HAS SOUPS 23875 WITH SCORE 24263.28
AT ITER 1507 NEW BEST:: SOT 547103 SOS 388268 HAS SOPS 227654 HAS SOUS 43695 HAS SOUPS 23875 WITH SCORE 24263.268
AT ITER 1522 NEW BEST:: SOT 547079 SOS 387980 HAS SOPS 227630 HAS SOUS 43671 HAS SOUPS 23851 WITH SCORE 24238.98
AT ITER 1531 NEW BEST:: SOT 547083 SOS 388068 HAS SOPS 227662 HAS SOUS 43673 HAS SOUPS 23849 WITH SCORE 24237.068
AT ITER 1532 NEW BEST:: SOT 547083 SOS 388068 HAS SOPS 227662 HAS SOUS 43670 HAS SOUPS 23847 WITH SCORE 24235.068
AT ITER 1546 NEW BEST:: SOT 547074 SOS 388050 HAS SOPS 227662 HAS SOUS 43661 HAS SOUPS 23847 WITH SCORE 24235.05
AT ITER 1563 NEW BEST:: SOT 546915 SOS 388996 HAS SOPS 228262 HAS SOUS 43626 HAS SOUPS 23827 WITH SCORE 24215.996
AT ITER 1579 NEW BEST:: SOT 546908 SOS 388989 HAS SOPS 228262 HAS SOUS 43626 HAS SOUPS 23827 WITH SCORE 24215.989
AT ITER 1583 NEW BEST:: SOT 546904 SOS 388925 HAS SOPS 228198 HAS SOUS 43622 HAS SOUPS 23823 WITH SCORE 24211.925
AT ITER 1593 NEW BEST:: SOT 546854 SOS 389075 HAS SOPS 228898 HAS SOUS 43547 HAS SOUPS 23798 WITH SCORE 24187.075
AT ITER 1603 NEW BEST:: SOT 546812 SOS 388263 HAS SOPS 228450 HAS SOUS 43505 HAS SOUPS 23782 WITH SCORE 24170.263
AT ITER 1626 NEW BEST:: SOT 546810 SOS 388259 HAS SOPS 228450 HAS SOUS 43503 HAS SOUPS 23782 WITH SCORE 24170.259
AT ITER 1629 NEW BEST:: SOT 546770 SOS 388187 HAS SOPS 228442 HAS SOUS 43445 HAS SOUPS 23764 WITH SCORE 24152.187
AT ITER 1634 NEW BEST:: SOT 546762 SOS 388171 HAS SOPS 228442 HAS SOUS 43437 HAS SOUPS 23764 WITH SCORE 24152.171
AT ITER 1667 NEW BEST:: SOT 546725 SOS 388097 HAS SOPS 228442 HAS SOUS 43400 HAS SOUPS 23764 WITH SCORE 24152.097
AT ITER 1679 NEW BEST:: SOT 546707 SOS 387980 HAS SOPS 228424 HAS SOUS 43382 HAS SOUPS 23755 WITH SCORE 24142.98
AT ITER 1694 NEW BEST:: SOT 546689 SOS 387953 HAS SOPS 228424 HAS SOUS 43292 HAS SOUPS 23710 WITH SCORE 24097.953
AT ITER 1709 NEW BEST:: SOT 546556 SOS 387942 HAS SOPS 228730 HAS SOUS 42590 HAS SOUPS 23616 WITH SCORE 24003.942
AT ITER 1715 NEW BEST:: SOT 546548 SOS 387934 HAS SOPS 228730 HAS SOUS 42590 HAS SOUPS 23616 WITH SCORE 24003.934
AT ITER 1729 NEW BEST:: SOT 546540 SOS 387926 HAS SOPS 228726 HAS SOUS 42586 HAS SOUPS 23612 WITH SCORE 23999.926
AT ITER 1731 NEW BEST:: SOT 546269 SOS 388219 HAS SOPS 228584 HAS SOUS 42321 HAS SOUPS 23455 WITH SCORE 23843.219
AT ITER 1737 NEW BEST:: SOT 546255 SOS 387813 HAS SOPS 228374 HAS SOUS 42293 HAS SOUPS 23441 WITH SCORE 23828.813
AT ITER 1760 NEW BEST:: SOT 546253 SOS 387865 HAS SOPS 228426 HAS SOUS 42280 HAS SOUPS 23428 WITH SCORE 23815.865
AT ITER 1764 NEW BEST:: SOT 546253 SOS 387595 HAS SOPS 228408 HAS SOUS 42244 HAS SOUPS 23410 WITH SCORE 23797.595
AT ITER 1785 NEW BEST:: SOT 546234 SOS 387357 HAS SOPS 228170 HAS SOUS 42241 HAS SOUPS 23407 WITH SCORE 23794.357
AT ITER 1790 NEW BEST:: SOT 546198 SOS 387314 HAS SOPS 228163 HAS SOUS 42227 HAS SOUPS 23400 WITH SCORE 23787.314
AT ITER 1812 NEW BEST:: SOT 546178 SOS 387294 HAS SOPS 228163 HAS SOUS 42227 HAS SOUPS 23400 WITH SCORE 23787.294
AT ITER 1831 NEW BEST:: SOT 545766 SOS 386852 HAS SOPS 227821 HAS SOUS 42214 HAS SOUPS 23365 WITH SCORE 23751.852
AT ITER 1863 NEW BEST:: SOT 545781 SOS 386867 HAS SOPS 227836 HAS SOUS 42139 HAS SOUPS 23330 WITH SCORE 23716.867
AT ITER 1873 NEW BEST:: SOT 545780 SOS 386866 HAS SOPS 227835 HAS SOUS 42138 HAS SOUPS 23329 WITH SCORE 23715.866
AT ITER 1909 NEW BEST:: SOT 545711 SOS 386734 HAS SOPS 227788 HAS SOUS 42110 HAS SOUPS 23323 WITH SCORE 23709.734
AT ITER 1914 NEW BEST:: SOT 545729 SOS 386752 HAS SOPS 227796 HAS SOUS 42108 HAS SOUPS 23321 WITH SCORE 23707.752
AT ITER 1923 NEW BEST:: SOT 545726 SOS 386746 HAS SOPS 227796 HAS SOUS 42105 HAS SOUPS 23321 WITH SCORE 23707.746
AT ITER 1968 NEW BEST:: SOT 545724 SOS 386654 HAS SOPS 227704 HAS SOUS 42104 HAS SOUPS 23320 WITH SCORE 23706.654
AT ITER 1997 NEW BEST:: SOT 545621 SOS 385986 HAS SOPS 226364 HAS SOUS 42028 HAS SOUPS 23196 WITH SCORE 23581.986
AT ITER 2017 NEW BEST:: SOT 545621 SOS 385986 HAS SOPS 226364 HAS SOUS 42045 HAS SOUPS 23194 WITH SCORE 23579.986
AT ITER 2018 NEW BEST:: SOT 545683 SOS 386050 HAS SOPS 226388 HAS SOUS 41991 HAS SOUPS 23150 WITH SCORE 23536.05
AT ITER 2057 NEW BEST:: SOT 545671 SOS 386038 HAS SOPS 226376 HAS SOUS 41979 HAS SOUPS 23138 WITH SCORE 23524.038
AT ITER 2071 NEW BEST:: SOT 545591 SOS 385958 HAS SOPS 226376 HAS SOUS 41979 HAS SOUPS 23138 WITH SCORE 23523.958
AT ITER 2084 NEW BEST:: SOT 545513 SOS 385802 HAS SOPS 226376 HAS SOUS 41960 HAS SOUPS 23138 WITH SCORE 23523.802
AT ITER 2101 NEW BEST:: SOT 545331 SOS 385606 HAS SOPS 226250 HAS SOUS 41946 HAS SOUPS 23124 WITH SCORE 23509.606
AT ITER 2121 NEW BEST:: SOT 545247 SOS 380271 HAS SOPS 221741 HAS SOUS 41881 HAS SOUPS 23118 WITH SCORE 23498.271
AT ITER 2126 NEW BEST:: SOT 545322 SOS 380276 HAS SOPS 221774 HAS SOUS 41819 HAS SOUPS 23070 WITH SCORE 23450.276
AT ITER 2127 NEW BEST:: SOT 545446 SOS 378988 HAS SOPS 221119 HAS SOUS 41785 HAS SOUPS 23048 WITH SCORE 23426.988
AT ITER 2128 NEW BEST:: SOT 545468 SOS 379045 HAS SOPS 221178 HAS SOUS 41778 HAS SOUPS 23044 WITH SCORE 23423.045
AT ITER 2143 NEW BEST:: SOT 545452 SOS 379013 HAS SOPS 221146 HAS SOUS 41754 HAS SOUPS 23020 WITH SCORE 23399.013
AT ITER 2171 NEW BEST:: SOT 545705 SOS 379611 HAS SOPS 221307 HAS SOUS 41760 HAS SOUPS 23003 WITH SCORE 23382.611
AT ITER 2173 NEW BEST:: SOT 544769 SOS 376259 HAS SOPS 219745 HAS SOUS 41642 HAS SOUPS 22955 WITH SCORE 23331.259
AT ITER 2175 NEW BEST:: SOT 544739 SOS 376197 HAS SOPS 219733 HAS SOUS 41634 HAS SOUPS 22954 WITH SCORE 23330.197
AT ITER 2189 NEW BEST:: SOT 544732 SOS 376190 HAS SOPS 219726 HAS SOUS 41627 HAS SOUPS 22947 WITH SCORE 23323.19
AT ITER 2221 NEW BEST:: SOT 544730 SOS 376186 HAS SOPS 219726 HAS SOUS 41625 HAS SOUPS 22947 WITH SCORE 23323.186
AT ITER 2248 NEW BEST:: SOT 544657 SOS 376050 HAS SOPS 219692 HAS SOUS 41618 HAS SOUPS 22940 WITH SCORE 23316.05
AT ITER 2262 NEW BEST:: SOT 544568 SOS 376672 HAS SOPS 219818 HAS SOUS 41632 HAS SOUPS 22938 WITH SCORE 23314.672
AT ITER 2269 NEW BEST:: SOT 544552 SOS 376656 HAS SOPS 219818 HAS SOUS 41632 HAS SOUPS 22938 WITH SCORE 23314.656
AT ITER 2272 NEW BEST:: SOT 544550 SOS 376624 HAS SOPS 219786 HAS SOUS 41628 HAS SOUPS 22934 WITH SCORE 23310.624
AT ITER 2275 NEW BEST:: SOT 544550 SOS 376624 HAS SOPS 219786 HAS SOUS 41592 HAS SOUPS 22914 WITH SCORE 23290.624
AT ITER 2324 NEW BEST:: SOT 544493 SOS 376535 HAS SOPS 219764 HAS SOUS 41547 HAS SOUPS 22883 WITH SCORE 23259.535
AT ITER 2338 NEW BEST:: SOT 544463 SOS 376475 HAS SOPS 219764 HAS SOUS 41508 HAS SOUPS 22878 WITH SCORE 23254.475
AT ITER 2340 NEW BEST:: SOT 544466 SOS 376222 HAS SOPS 219752 HAS SOUS 41482 HAS SOUPS 22871 WITH SCORE 23247.222
AT ITER 2343 NEW BEST:: SOT 544397 SOS 376107 HAS SOPS 219729 HAS SOUS 41436 HAS SOUPS 22848 WITH SCORE 23224.107
AT ITER 2352 NEW BEST:: SOT 544387 SOS 376102 HAS SOPS 219724 HAS SOUS 41436 HAS SOUPS 22848 WITH SCORE 23224.102
AT ITER 2358 NEW BEST:: SOT 544382 SOS 376120 HAS SOPS 219729 HAS SOUS 41434 HAS SOUPS 22847 WITH SCORE 23223.12
AT ITER 2370 NEW BEST:: SOT 544361 SOS 376036 HAS SOPS 219603 HAS SOUS 41434 HAS SOUPS 22840 WITH SCORE 23216.036
AT ITER 2383 NEW BEST:: SOT 543601 SOS 374510 HAS SOPS 219140 HAS SOUS 41399 HAS SOUPS 22830 WITH SCORE 23204.51
AT ITER 2425 NEW BEST:: SOT 543597 SOS 374502 HAS SOPS 219140 HAS SOUS 41395 HAS SOUPS 22830 WITH SCORE 23204.502
AT ITER 2426 NEW BEST:: SOT 543569 SOS 374320 HAS SOPS 219084 HAS SOUS 41367 HAS SOUPS 22816 WITH SCORE 23190.32
AT ITER 2436 NEW BEST:: SOT 543557 SOS 374308 HAS SOPS 219072 HAS SOUS 41355 HAS SOUPS 22804 WITH SCORE 23178.308
AT ITER 2469 NEW BEST:: SOT 543555 SOS 374226 HAS SOPS 218990 HAS SOUS 41353 HAS SOUPS 22802 WITH SCORE 23176.226
AT ITER 2498 NEW BEST:: SOT 543567 SOS 374254 HAS SOPS 218986 HAS SOUS 41365 HAS SOUPS 22798 WITH SCORE 23172.254
AT ITER 2545 NEW BEST:: SOT 543806 SOS 375133 HAS SOPS 219185 HAS SOUS 41276 HAS SOUPS 22735 WITH SCORE 23110.133
AT ITER 2549 NEW BEST:: SOT 543793 SOS 375120 HAS SOPS 219185 HAS SOUS 41276 HAS SOUPS 22735 WITH SCORE 23110.12
AT ITER 2602 NEW BEST:: SOT 543785 SOS 375089 HAS SOPS 219181 HAS SOUS 41253 HAS SOUPS 22731 WITH SCORE 23106.089
AT ITER 2634 NEW BEST:: SOT 543769 SOS 375169 HAS SOPS 219209 HAS SOUS 41245 HAS SOUPS 22727 WITH SCORE 23102.169
AT ITER 2667 NEW BEST:: SOT 543669 SOS 374969 HAS SOPS 219149 HAS SOUS 41235 HAS SOUPS 22727 WITH SCORE 23101.969
AT ITER 2668 NEW BEST:: SOT 543665 SOS 374961 HAS SOPS 219149 HAS SOUS 41231 HAS SOUPS 22727 WITH SCORE 23101.961
AT ITER 2693 NEW BEST:: SOT 543677 SOS 375040 HAS SOPS 219161 HAS SOUS 41287 HAS SOUPS 22680 WITH SCORE 23055.04
AT ITER 2710 NEW BEST:: SOT 543623 SOS 374913 HAS SOPS 219034 HAS SOUS 41250 HAS SOUPS 22643 WITH SCORE 23017.913
AT ITER 2808 NEW BEST:: SOT 543622 SOS 375106 HAS SOPS 219017 HAS SOUS 41263 HAS SOUPS 22641 WITH SCORE 23016.106
AT ITER 2860 NEW BEST:: SOT 543503 SOS 374846 HAS SOPS 218927 HAS SOUS 41262 HAS SOUPS 22640 WITH SCORE 23014.846
AT ITER 2868 NEW BEST:: SOT 543305 SOS 374576 HAS SOPS 218748 HAS SOUS 41249 HAS SOUPS 22627 WITH SCORE 23001.576
AT ITER 2869 NEW BEST:: SOT 543301 SOS 374564 HAS SOPS 218736 HAS SOUS 41241 HAS SOUPS 22619 WITH SCORE 22993.564
AT ITER 2890 NEW BEST:: SOT 542198 SOS 372432 HAS SOPS 218069 HAS SOUS 41130 HAS SOUPS 22619 WITH SCORE 22991.432
AT ITER 2892 NEW BEST:: SOT 542188 SOS 372412 HAS SOPS 218069 HAS SOUS 41120 HAS SOUPS 22619 WITH SCORE 22991.412
AT ITER 2916 NEW BEST:: SOT 542372 SOS 372926 HAS SOPS 218286 HAS SOUS 41111 HAS SOUPS 22610 WITH SCORE 22982.926
AT ITER 2920 NEW BEST:: SOT 542367 SOS 372958 HAS SOPS 218276 HAS SOUS 41110 HAS SOUPS 22606 WITH SCORE 22978.958
AT ITER 2924 NEW BEST:: SOT 542385 SOS 373017 HAS SOPS 218853 HAS SOUS 41053 HAS SOUPS 22586 WITH SCORE 22959.017
AT ITER 2934 NEW BEST:: SOT 542631 SOS 373206 HAS SOPS 218959 HAS SOUS 40946 HAS SOUPS 22505 WITH SCORE 22878.206
AT ITER 2940 NEW BEST:: SOT 542631 SOS 373198 HAS SOPS 218957 HAS SOUS 40942 HAS SOUPS 22501 WITH SCORE 22874.198
AT ITER 2941 NEW BEST:: SOT 542700 SOS 373454 HAS SOPS 219073 HAS SOUS 40933 HAS SOUPS 22487 WITH SCORE 22860.454
AT ITER 2949 NEW BEST:: SOT 542984 SOS 374223 HAS SOPS 219240 HAS SOUS 40879 HAS SOUPS 22412 WITH SCORE 22786.223
AT ITER 2972 NEW BEST:: SOT 543409 SOS 374667 HAS SOPS 219389 HAS SOUS 40838 HAS SOUPS 22371 WITH SCORE 22745.667
AT ITER 2986 NEW BEST:: SOT 543929 SOS 375707 HAS SOPS 219701 HAS SOUS 40887 HAS SOUPS 22369 WITH SCORE 22744.707
AT ITER 2992 NEW BEST:: SOT 543929 SOS 375707 HAS SOPS 219701 HAS SOUS 40851 HAS SOUPS 22349 WITH SCORE 22724.707
AT ITER 3003 NEW BEST:: SOT 543917 SOS 375643 HAS SOPS 219663 HAS SOUS 40850 HAS SOUPS 22348 WITH SCORE 22723.643
AT ITER 3013 NEW BEST:: SOT 543909 SOS 375635 HAS SOPS 219663 HAS SOUS 40850 HAS SOUPS 22348 WITH SCORE 22723.635
AT ITER 3030 NEW BEST:: SOT 543744 SOS 375455 HAS SOPS 219558 HAS SOUS 40831 HAS SOUPS 22329 WITH SCORE 22704.455
AT ITER 3067 NEW BEST:: SOT 543734 SOS 375435 HAS SOPS 219558 HAS SOUS 40731 HAS SOUPS 22279 WITH SCORE 22654.435
AT ITER 3098 NEW BEST:: SOT 543658 SOS 375313 HAS SOPS 219512 HAS SOUS 40721 HAS SOUPS 22269 WITH SCORE 22644.313
AT ITER 3110 NEW BEST:: SOT 543592 SOS 375157 HAS SOPS 219470 HAS SOUS 40715 HAS SOUPS 22269 WITH SCORE 22644.157
AT ITER 3119 NEW BEST:: SOT 542611 SOS 373927 HAS SOPS 218738 HAS SOUS 40596 HAS SOUPS 22269 WITH SCORE 22642.927
AT ITER 3133 NEW BEST:: SOT 542561 SOS 373278 HAS SOPS 218089 HAS SOUS 40550 HAS SOUPS 22223 WITH SCORE 22596.278
AT ITER 3158 NEW BEST:: SOT 542560 SOS 373261 HAS SOPS 218058 HAS SOUS 40551 HAS SOUPS 22223 WITH SCORE 22596.261
AT ITER 3167 NEW BEST:: SOT 542578 SOS 373307 HAS SOPS 218070 HAS SOUS 40549 HAS SOUPS 22219 WITH SCORE 22592.307
AT ITER 3178 NEW BEST:: SOT 542566 SOS 373359 HAS SOPS 218006 HAS SOUS 40545 HAS SOUPS 22207 WITH SCORE 22580.359
AT ITER 3182 NEW BEST:: SOT 542555 SOS 373301 HAS SOPS 217968 HAS SOUS 40542 HAS SOUPS 22205 WITH SCORE 22578.301
AT ITER 3225 NEW BEST:: SOT 542555 SOS 373301 HAS SOPS 217968 HAS SOUS 40515 HAS SOUPS 22190 WITH SCORE 22563.301
AT ITER 3229 NEW BEST:: SOT 542595 SOS 372543 HAS SOPS 217551 HAS SOUS 40472 HAS SOUPS 22147 WITH SCORE 22519.543
AT ITER 3260 NEW BEST:: SOT 542595 SOS 372543 HAS SOPS 217551 HAS SOUS 40400 HAS SOUPS 22107 WITH SCORE 22479.543
AT ITER 3272 NEW BEST:: SOT 542596 SOS 372533 HAS SOPS 217552 HAS SOUS 40399 HAS SOUPS 22107 WITH SCORE 22479.533
AT ITER 3283 NEW BEST:: SOT 542596 SOS 372533 HAS SOPS 217552 HAS SOUS 40381 HAS SOUPS 22097 WITH SCORE 22469.533
AT ITER 3318 NEW BEST:: SOT 543808 SOS 374957 HAS SOPS 218248 HAS SOUS 40492 HAS SOUPS 22064 WITH SCORE 22438.957
AT ITER 3319 NEW BEST:: SOT 544223 SOS 375211 HAS SOPS 218487 HAS SOUS 40432 HAS SOUPS 22042 WITH SCORE 22417.211
AT ITER 3338 NEW BEST:: SOT 544313 SOS 375283 HAS SOPS 218595 HAS SOUS 40408 HAS SOUPS 22038 WITH SCORE 22413.283
AT ITER 3343 NEW BEST:: SOT 544323 SOS 375123 HAS SOPS 218465 HAS SOUS 40408 HAS SOUPS 22038 WITH SCORE 22413.123
AT ITER 3345 NEW BEST:: SOT 543884 SOS 373561 HAS SOPS 217625 HAS SOUS 40311 HAS SOUPS 21979 WITH SCORE 22352.561
AT ITER 3363 NEW BEST:: SOT 543943 SOS 373632 HAS SOPS 217696 HAS SOUS 40278 HAS SOUPS 21946 WITH SCORE 22319.632
AT ITER 3424 NEW BEST:: SOT 544192 SOS 373989 HAS SOPS 217773 HAS SOUS 40294 HAS SOUPS 21937 WITH SCORE 22310.989
AT ITER 3428 NEW BEST:: SOT 544160 SOS 373113 HAS SOPS 217303 HAS SOUS 40219 HAS SOUPS 21891 WITH SCORE 22264.113
AT ITER 3445 NEW BEST:: SOT 544160 SOS 373113 HAS SOPS 217303 HAS SOUS 40216 HAS SOUPS 21889 WITH SCORE 22262.113
AT ITER 3454 NEW BEST:: SOT 544107 SOS 373033 HAS SOPS 217277 HAS SOUS 40163 HAS SOUPS 21863 WITH SCORE 22236.033
AT ITER 3464 NEW BEST:: SOT 544115 SOS 373257 HAS SOPS 217277 HAS SOUS 40163 HAS SOUPS 21847 WITH SCORE 22220.257
AT ITER 3482 NEW BEST:: SOT 544112 SOS 373209 HAS SOPS 217229 HAS SOUS 40157 HAS SOUPS 21841 WITH SCORE 22214.209
AT ITER 3489 NEW BEST:: SOT 544532 SOS 374007 HAS SOPS 217481 HAS SOUS 40091 HAS SOUPS 21787 WITH SCORE 22161.007
AT ITER 3494 NEW BEST:: SOT 545247 SOS 375697 HAS SOPS 217936 HAS SOUS 40091 HAS SOUPS 21722 WITH SCORE 22097.697
AT ITER 3502 NEW BEST:: SOT 544252 SOS 374517 HAS SOPS 217126 HAS SOUS 39991 HAS SOUPS 21722 WITH SCORE 22096.517
AT ITER 3506 NEW BEST:: SOT 544240 SOS 374505 HAS SOPS 217114 HAS SOUS 39991 HAS SOUPS 21722 WITH SCORE 22096.505
AT ITER 3533 NEW BEST:: SOT 544288 SOS 373365 HAS SOPS 216226 HAS SOUS 39937 HAS SOUPS 21686 WITH SCORE 22059.365
AT ITER 3547 NEW BEST:: SOT 544269 SOS 373346 HAS SOPS 216226 HAS SOUS 39917 HAS SOUPS 21666 WITH SCORE 22039.346
AT ITER 3554 NEW BEST:: SOT 544235 SOS 373346 HAS SOPS 216175 HAS SOUS 39900 HAS SOUPS 21649 WITH SCORE 22022.346
AT ITER 3555 NEW BEST:: SOT 544235 SOS 371978 HAS SOPS 213971 HAS SOUS 39976 HAS SOUPS 21649 WITH SCORE 22020.978
AT ITER 3604 NEW BEST:: SOT 544217 SOS 371948 HAS SOPS 213965 HAS SOUS 39958 HAS SOUPS 21643 WITH SCORE 22014.948
AT ITER 3628 NEW BEST:: SOT 544195 SOS 371838 HAS SOPS 213939 HAS SOUS 39942 HAS SOUPS 21633 WITH SCORE 22004.838
AT ITER 3635 NEW BEST:: SOT 544081 SOS 371526 HAS SOPS 213837 HAS SOUS 39926 HAS SOUPS 21617 WITH SCORE 21988.526
AT ITER 3638 NEW BEST:: SOT 544080 SOS 371497 HAS SOPS 213822 HAS SOUS 39925 HAS SOUPS 21617 WITH SCORE 21988.497
AT ITER 3677 NEW BEST:: SOT 544014 SOS 371257 HAS SOPS 213696 HAS SOUS 39913 HAS SOUPS 21611 WITH SCORE 21982.257
AT ITER 3685 NEW BEST:: SOT 543963 SOS 371206 HAS SOPS 213696 HAS SOUS 39913 HAS SOUPS 21611 WITH SCORE 21982.206
AT ITER 3687 NEW BEST:: SOT 543951 SOS 371179 HAS SOPS 213689 HAS SOUS 39912 HAS SOUPS 21611 WITH SCORE 21982.179
AT ITER 3691 NEW BEST:: SOT 543927 SOS 371179 HAS SOPS 213653 HAS SOUS 39900 HAS SOUPS 21599 WITH SCORE 21970.179
AT ITER 3769 NEW BEST:: SOT 544027 SOS 371263 HAS SOPS 213673 HAS SOUS 39846 HAS SOUPS 21561 WITH SCORE 21932.263
AT ITER 3794 NEW BEST:: SOT 544039 SOS 370864 HAS SOPS 213571 HAS SOUS 39834 HAS SOUPS 21558 WITH SCORE 21928.864
AT ITER 3798 NEW BEST:: SOT 544033 SOS 370858 HAS SOPS 213571 HAS SOUS 39834 HAS SOUPS 21558 WITH SCORE 21928.858
AT ITER 3806 NEW BEST:: SOT 544033 SOS 370820 HAS SOPS 213511 HAS SOUS 39836 HAS SOUPS 21558 WITH SCORE 21928.82
AT ITER 3863 NEW BEST:: SOT 544033 SOS 370820 HAS SOPS 213511 HAS SOUS 39833 HAS SOUPS 21556 WITH SCORE 21926.82
AT ITER 3937 NEW BEST:: SOT 544030 SOS 370772 HAS SOPS 213505 HAS SOUS 39827 HAS SOUPS 21553 WITH SCORE 21923.772
AT ITER 3945 NEW BEST:: SOT 544030 SOS 370743 HAS SOPS 213476 HAS SOUS 39827 HAS SOUPS 21553 WITH SCORE 21923.743
AT ITER 3947 NEW BEST:: SOT 544127 SOS 370840 HAS SOPS 213466 HAS SOUS 39817 HAS SOUPS 21543 WITH SCORE 21913.84
AT ITER 3948 NEW BEST:: SOT 544127 SOS 370840 HAS SOPS 213466 HAS SOUS 39808 HAS SOUPS 21538 WITH SCORE 21908.84
AT ITER 3993 NEW BEST:: SOT 544127 SOS 370840 HAS SOPS 213466 HAS SOUS 39772 HAS SOUPS 21518 WITH SCORE 21888.84
AT ITER 4098 NEW BEST:: SOT 544127 SOS 370840 HAS SOPS 213466 HAS SOUS 39673 HAS SOUPS 21463 WITH SCORE 21833.84
AT ITER 4100 NEW BEST:: SOT 544127 SOS 370554 HAS SOPS 213466 HAS SOUS 39647 HAS SOUPS 21463 WITH SCORE 21833.554
AT ITER 4112 NEW BEST:: SOT 544127 SOS 370554 HAS SOPS 213466 HAS SOUS 39641 HAS SOUPS 21459 WITH SCORE 21829.554
AT ITER 4116 NEW BEST:: SOT 543869 SOS 370296 HAS SOPS 213208 HAS SOUS 39632 HAS SOUPS 21454 WITH SCORE 21824.296
AT ITER 4195 NEW BEST:: SOT 543869 SOS 370296 HAS SOPS 213208 HAS SOUS 39614 HAS SOUPS 21444 WITH SCORE 21814.296
AT ITER 4196 NEW BEST:: SOT 543861 SOS 370236 HAS SOPS 213204 HAS SOUS 39610 HAS SOUPS 21444 WITH SCORE 21814.236
AT ITER 4209 NEW BEST:: SOT 543597 SOS 369708 HAS SOPS 213040 HAS SOUS 39580 HAS SOUPS 21440 WITH SCORE 21809.708
AT ITER 4215 NEW BEST:: SOT 543557 SOS 369668 HAS SOPS 213040 HAS SOUS 39580 HAS SOUPS 21440 WITH SCORE 21809.668
AT ITER 4216 NEW BEST:: SOT 543552 SOS 369663 HAS SOPS 213040 HAS SOUS 39580 HAS SOUPS 21440 WITH SCORE 21809.663
AT ITER 4229 NEW BEST:: SOT 543504 SOS 368559 HAS SOPS 211936 HAS SOUS 39579 HAS SOUPS 21439 WITH SCORE 21807.559
AT ITER 4230 NEW BEST:: SOT 543444 SOS 368499 HAS SOPS 211876 HAS SOUS 39579 HAS SOUPS 21439 WITH SCORE 21807.499
AT ITER 4247 NEW BEST:: SOT 543445 SOS 368515 HAS SOPS 211892 HAS SOUS 39553 HAS SOUPS 21413 WITH SCORE 21781.515
AT ITER 4298 NEW BEST:: SOT 543529 SOS 368599 HAS SOPS 211873 HAS SOUS 39534 HAS SOUPS 21394 WITH SCORE 21762.599
AT ITER 4302 NEW BEST:: SOT 543514 SOS 365175 HAS SOPS 209107 HAS SOUS 39448 HAS SOUPS 21355 WITH SCORE 21720.175
AT ITER 4317 NEW BEST:: SOT 543514 SOS 365175 HAS SOPS 209107 HAS SOUS 39418 HAS SOUPS 21335 WITH SCORE 21700.175
AT ITER 4334 NEW BEST:: SOT 543467 SOS 364549 HAS SOPS 208481 HAS SOUS 39390 HAS SOUPS 21307 WITH SCORE 21671.549
AT ITER 4336 NEW BEST:: SOT 543468 SOS 364543 HAS SOPS 208466 HAS SOUS 39391 HAS SOUPS 21306 WITH SCORE 21670.543
AT ITER 4363 NEW BEST:: SOT 543453 SOS 364531 HAS SOPS 208448 HAS SOUS 39385 HAS SOUPS 21300 WITH SCORE 21664.531
AT ITER 4365 NEW BEST:: SOT 543381 SOS 364435 HAS SOPS 208352 HAS SOUS 39343 HAS SOUPS 21258 WITH SCORE 21622.435
AT ITER 4369 NEW BEST:: SOT 543353 SOS 364407 HAS SOPS 208352 HAS SOUS 39343 HAS SOUPS 21258 WITH SCORE 21622.407
AT ITER 4393 NEW BEST:: SOT 543453 SOS 364419 HAS SOPS 208364 HAS SOUS 39324 HAS SOUPS 21239 WITH SCORE 21603.419
AT ITER 4470 NEW BEST:: SOT 543454 SOS 364422 HAS SOPS 208365 HAS SOUS 39323 HAS SOUPS 21236 WITH SCORE 21600.422
AT ITER 4493 NEW BEST:: SOT 543194 SOS 364142 HAS SOPS 208181 HAS SOUS 39327 HAS SOUPS 21234 WITH SCORE 21598.142
AT ITER 4537 NEW BEST:: SOT 543167 SOS 363598 HAS SOPS 207640 HAS SOUS 39315 HAS SOUPS 21222 WITH SCORE 21585.598
AT ITER 4583 NEW BEST:: SOT 543167 SOS 363559 HAS SOPS 207643 HAS SOUS 39312 HAS SOUPS 21222 WITH SCORE 21585.559
AT ITER 4615 NEW BEST:: SOT 543053 SOS 363337 HAS SOPS 207566 HAS SOUS 39269 HAS SOUPS 21216 WITH SCORE 21579.337
AT ITER 4649 NEW BEST:: SOT 543009 SOS 363293 HAS SOPS 207546 HAS SOUS 39265 HAS SOUPS 21212 WITH SCORE 21575.293
AT ITER 4654 NEW BEST:: SOT 541718 SOS 360692 HAS SOPS 206705 HAS SOUS 39102 HAS SOUPS 21159 WITH SCORE 21519.692
AT ITER 4721 NEW BEST:: SOT 541479 SOS 360409 HAS SOPS 206532 HAS SOUS 39097 HAS SOUPS 21154 WITH SCORE 21514.409
AT ITER 4733 NEW BEST:: SOT 541477 SOS 360407 HAS SOPS 206530 HAS SOUS 39093 HAS SOUPS 21150 WITH SCORE 21510.407
AT ITER 4740 NEW BEST:: SOT 541472 SOS 360402 HAS SOPS 206530 HAS SOUS 39093 HAS SOUPS 21150 WITH SCORE 21510.402
AT ITER 4758 NEW BEST:: SOT 541471 SOS 360387 HAS SOPS 206529 HAS SOUS 39092 HAS SOUPS 21150 WITH SCORE 21510.387
AT ITER 4766 NEW BEST:: SOT 541506 SOS 360422 HAS SOPS 206539 HAS SOUS 39077 HAS SOUPS 21135 WITH SCORE 21495.422
AT ITER 4778 NEW BEST:: SOT 541502 SOS 360544 HAS SOPS 206655 HAS SOUS 39075 HAS SOUPS 21133 WITH SCORE 21493.544
AT ITER 4786 NEW BEST:: SOT 541534 SOS 360323 HAS SOPS 206605 HAS SOUS 39058 HAS SOUPS 21116 WITH SCORE 21476.323
AT ITER 4841 NEW BEST:: SOT 541520 SOS 360675 HAS SOPS 206705 HAS SOUS 39063 HAS SOUPS 21103 WITH SCORE 21463.675
AT ITER 4921 NEW BEST:: SOT 541839 SOS 361313 HAS SOPS 206879 HAS SOUS 39062 HAS SOUPS 21073 WITH SCORE 21434.313
AT ITER 4960 NEW BEST:: SOT 541663 SOS 361137 HAS SOPS 207143 HAS SOUS 38402 HAS SOUPS 21073 WITH SCORE 21434.137
AT ITER 4983 NEW BEST:: SOT 541734 SOS 361208 HAS SOPS 207141 HAS SOUS 38400 HAS SOUPS 21071 WITH SCORE 21432.208
AT ITER 4989 NEW BEST:: SOT 542295 SOS 362279 HAS SOPS 207447 HAS SOUS 38406 HAS SOUPS 21041 WITH SCORE 21403.279
AT ITER 5000 NEW BEST:: SOT 542308 SOS 362101 HAS SOPS 207423 HAS SOUS 38393 HAS SOUPS 21039 WITH SCORE 21401.101
AT ITER 5062 NEW BEST:: SOT 542303 SOS 361269 HAS SOPS 206591 HAS SOUS 38372 HAS SOUPS 21018 WITH SCORE 21379.269
AT ITER 5071 NEW BEST:: SOT 541792 SOS 359922 HAS SOPS 206219 HAS SOUS 38316 HAS SOUPS 20999 WITH SCORE 21358.922
AT ITER 5081 NEW BEST:: SOT 541828 SOS 359958 HAS SOPS 206218 HAS SOUS 38315 HAS SOUPS 20998 WITH SCORE 21357.958
AT ITER 5094 NEW BEST:: SOT 541774 SOS 359904 HAS SOPS 206218 HAS SOUS 38315 HAS SOUPS 20998 WITH SCORE 21357.904
AT ITER 5120 NEW BEST:: SOT 541982 SOS 360450 HAS SOPS 206362 HAS SOUS 38314 HAS SOUPS 20997 WITH SCORE 21357.45
AT ITER 5138 NEW BEST:: SOT 541976 SOS 360438 HAS SOPS 206362 HAS SOUS 38299 HAS SOUPS 20992 WITH SCORE 21352.438
AT ITER 5140 NEW BEST:: SOT 541976 SOS 360438 HAS SOPS 206362 HAS SOUS 38290 HAS SOUPS 20986 WITH SCORE 21346.438
AT ITER 5142 NEW BEST:: SOT 542276 SOS 361038 HAS SOPS 206542 HAS SOUS 38230 HAS SOUPS 20926 WITH SCORE 21287.038
AT ITER 5145 NEW BEST:: SOT 542279 SOS 361020 HAS SOPS 206546 HAS SOUS 38228 HAS SOUPS 20926 WITH SCORE 21287.02
AT ITER 5160 NEW BEST:: SOT 542182 SOS 360551 HAS SOPS 206275 HAS SOUS 38218 HAS SOUPS 20916 WITH SCORE 21276.551
AT ITER 5168 NEW BEST:: SOT 542078 SOS 360191 HAS SOPS 205955 HAS SOUS 38202 HAS SOUPS 20900 WITH SCORE 21260.191
AT ITER 5177 NEW BEST:: SOT 542028 SOS 360141 HAS SOPS 205955 HAS SOUS 38202 HAS SOUPS 20900 WITH SCORE 21260.141
AT ITER 5210 NEW BEST:: SOT 541786 SOS 359301 HAS SOPS 205641 HAS SOUS 38202 HAS SOUPS 20895 WITH SCORE 21254.301
AT ITER 5216 NEW BEST:: SOT 541730 SOS 359185 HAS SOPS 205549 HAS SOUS 38194 HAS SOUPS 20887 WITH SCORE 21246.185
AT ITER 5266 NEW BEST:: SOT 541686 SOS 359141 HAS SOPS 205549 HAS SOUS 38194 HAS SOUPS 20887 WITH SCORE 21246.141
AT ITER 5309 NEW BEST:: SOT 541679 SOS 359110 HAS SOPS 205500 HAS SOUS 38162 HAS SOUPS 20861 WITH SCORE 21220.11
AT ITER 5325 NEW BEST:: SOT 541652 SOS 359083 HAS SOPS 205500 HAS SOUS 38162 HAS SOUPS 20861 WITH SCORE 21220.083
AT ITER 5327 NEW BEST:: SOT 541643 SOS 359736 HAS SOPS 206027 HAS SOUS 38169 HAS SOUPS 20859 WITH SCORE 21218.736
AT ITER 5353 NEW BEST:: SOT 541643 SOS 359765 HAS SOPS 206027 HAS SOUS 38239 HAS SOUPS 20856 WITH SCORE 21215.765
AT ITER 5372 NEW BEST:: SOT 541613 SOS 359735 HAS SOPS 206027 HAS SOUS 38239 HAS SOUPS 20856 WITH SCORE 21215.735
AT ITER 5416 NEW BEST:: SOT 541607 SOS 359725 HAS SOPS 206017 HAS SOUS 38235 HAS SOUPS 20852 WITH SCORE 21211.725
AT ITER 5428 NEW BEST:: SOT 541597 SOS 359710 HAS SOPS 206017 HAS SOUS 38230 HAS SOUPS 20852 WITH SCORE 21211.71
AT ITER 5465 NEW BEST:: SOT 541563 SOS 360994 HAS SOPS 206729 HAS SOUS 38224 HAS SOUPS 20846 WITH SCORE 21206.994
AT ITER 5467 NEW BEST:: SOT 541555 SOS 360978 HAS SOPS 206713 HAS SOUS 38216 HAS SOUPS 20838 WITH SCORE 21198.978
AT ITER 5475 NEW BEST:: SOT 541553 SOS 360976 HAS SOPS 206711 HAS SOUS 38214 HAS SOUPS 20836 WITH SCORE 21196.976
AT ITER 5476 NEW BEST:: SOT 541553 SOS 360976 HAS SOPS 206711 HAS SOUS 38211 HAS SOUPS 20834 WITH SCORE 21194.976
AT ITER 5480 NEW BEST:: SOT 541434 SOS 361726 HAS SOPS 206625 HAS SOUS 38277 HAS SOUPS 20824 WITH SCORE 21185.726
AT ITER 5484 NEW BEST:: SOT 541392 SOS 361488 HAS SOPS 206380 HAS SOUS 38284 HAS SOUPS 20824 WITH SCORE 21185.488
AT ITER 5508 NEW BEST:: SOT 541405 SOS 360539 HAS SOPS 205431 HAS SOUS 38284 HAS SOUPS 20824 WITH SCORE 21184.539
AT ITER 5528 NEW BEST:: SOT 541329 SOS 360425 HAS SOPS 205431 HAS SOUS 38228 HAS SOUPS 20814 WITH SCORE 21174.425
AT ITER 5529 NEW BEST:: SOT 538768 SOS 357864 HAS SOPS 203855 HAS SOUS 38228 HAS SOUPS 20814 WITH SCORE 21171.864
AT ITER 5555 NEW BEST:: SOT 538775 SOS 357783 HAS SOPS 203803 HAS SOUS 38207 HAS SOUPS 20812 WITH SCORE 21169.783
AT ITER 5563 NEW BEST:: SOT 538833 SOS 358486 HAS SOPS 204030 HAS SOUS 38239 HAS SOUPS 20810 WITH SCORE 21168.486
AT ITER 5572 NEW BEST:: SOT 538892 SOS 358575 HAS SOPS 204044 HAS SOUS 38238 HAS SOUPS 20809 WITH SCORE 21167.575
AT ITER 5578 NEW BEST:: SOT 538818 SOS 358497 HAS SOPS 204001 HAS SOUS 38237 HAS SOUPS 20808 WITH SCORE 21166.497
AT ITER 5597 NEW BEST:: SOT 538809 SOS 358215 HAS SOPS 203719 HAS SOUS 38223 HAS SOUPS 20794 WITH SCORE 21152.215
AT ITER 5602 NEW BEST:: SOT 538769 SOS 358175 HAS SOPS 203719 HAS SOUS 38223 HAS SOUPS 20794 WITH SCORE 21152.175
AT ITER 5634 NEW BEST:: SOT 538768 SOS 358085 HAS SOPS 203643 HAS SOUS 38221 HAS SOUPS 20793 WITH SCORE 21151.085
AT ITER 5635 NEW BEST:: SOT 538627 SOS 357629 HAS SOPS 203415 HAS SOUS 38191 HAS SOUPS 20775 WITH SCORE 21132.629
AT ITER 5659 NEW BEST:: SOT 538615 SOS 357605 HAS SOPS 203331 HAS SOUS 38187 HAS SOUPS 20766 WITH SCORE 21123.605
AT ITER 5661 NEW BEST:: SOT 538824 SOS 358023 HAS SOPS 203445 HAS SOUS 38178 HAS SOUPS 20738 WITH SCORE 21096.023
AT ITER 5729 NEW BEST:: SOT 538824 SOS 358023 HAS SOPS 203445 HAS SOUS 38169 HAS SOUPS 20733 WITH SCORE 21091.023
AT ITER 5738 NEW BEST:: SOT 538806 SOS 358008 HAS SOPS 203427 HAS SOUS 38142 HAS SOUPS 20712 WITH SCORE 21070.008
AT ITER 5743 NEW BEST:: SOT 538805 SOS 355168 HAS SOPS 201161 HAS SOUS 38087 HAS SOUPS 20698 WITH SCORE 21053.168
AT ITER 5769 NEW BEST:: SOT 538490 SOS 353174 HAS SOPS 199804 HAS SOUS 37995 HAS SOUPS 20640 WITH SCORE 20993.174
AT ITER 5781 NEW BEST:: SOT 538577 SOS 353086 HAS SOPS 199869 HAS SOUS 37907 HAS SOUPS 20603 WITH SCORE 20956.086
AT ITER 5801 NEW BEST:: SOT 538680 SOS 353189 HAS SOPS 199864 HAS SOUS 37904 HAS SOUPS 20600 WITH SCORE 20953.189
AT ITER 5812 NEW BEST:: SOT 538680 SOS 353189 HAS SOPS 199864 HAS SOUS 37901 HAS SOUPS 20598 WITH SCORE 20951.189
AT ITER 5826 NEW BEST:: SOT 538620 SOS 353069 HAS SOPS 199828 HAS SOUS 37895 HAS SOUPS 20598 WITH SCORE 20951.069
AT ITER 5851 NEW BEST:: SOT 538937 SOS 353716 HAS SOPS 200034 HAS SOUS 37995 HAS SOUPS 20587 WITH SCORE 20940.716
AT ITER 5881 NEW BEST:: SOT 538935 SOS 353710 HAS SOPS 200000 HAS SOUS 37997 HAS SOUPS 20587 WITH SCORE 20940.71
AT ITER 5886 NEW BEST:: SOT 538773 SOS 353548 HAS SOPS 199838 HAS SOUS 37997 HAS SOUPS 20587 WITH SCORE 20940.548
AT ITER 5927 NEW BEST:: SOT 538705 SOS 353324 HAS SOPS 199734 HAS SOUS 37985 HAS SOUPS 20575 WITH SCORE 20928.324
AT ITER 5939 NEW BEST:: SOT 538705 SOS 353324 HAS SOPS 199734 HAS SOUS 37976 HAS SOUPS 20570 WITH SCORE 20923.324
AT ITER 5961 NEW BEST:: SOT 538679 SOS 353272 HAS SOPS 199714 HAS SOUS 37970 HAS SOUPS 20566 WITH SCORE 20919.272
AT ITER 6011 NEW BEST:: SOT 538624 SOS 353228 HAS SOPS 199648 HAS SOUS 37981 HAS SOUPS 20566 WITH SCORE 20919.228
AT ITER 6029 NEW BEST:: SOT 538624 SOS 353228 HAS SOPS 199648 HAS SOUS 37954 HAS SOUPS 20551 WITH SCORE 20904.228
AT ITER 6090 NEW BEST:: SOT 538582 SOS 350126 HAS SOPS 197050 HAS SOUS 37916 HAS SOUPS 20549 WITH SCORE 20899.126
AT ITER 6130 NEW BEST:: SOT 538477 SOS 350041 HAS SOPS 196844 HAS SOUS 37914 HAS SOUPS 20509 WITH SCORE 20859.041
AT ITER 6285 NEW BEST:: SOT 538511 SOS 350075 HAS SOPS 196835 HAS SOUS 37905 HAS SOUPS 20500 WITH SCORE 20850.075
AT ITER 6311 NEW BEST:: SOT 538521 SOS 350058 HAS SOPS 196840 HAS SOUS 37897 HAS SOUPS 20498 WITH SCORE 20848.058
AT ITER 6314 NEW BEST:: SOT 538495 SOS 348823 HAS SOPS 195605 HAS SOUS 37862 HAS SOUPS 20463 WITH SCORE 20811.823
AT ITER 6343 NEW BEST:: SOT 538930 SOS 350413 HAS SOPS 196597 HAS SOUS 36846 HAS SOUPS 20419 WITH SCORE 20769.413
AT ITER 6349 NEW BEST:: SOT 538923 SOS 350406 HAS SOPS 196597 HAS SOUS 36846 HAS SOUPS 20419 WITH SCORE 20769.406
AT ITER 6383 NEW BEST:: SOT 538611 SOS 350118 HAS SOPS 196405 HAS SOUS 36798 HAS SOUPS 20356 WITH SCORE 20706.118
AT ITER 6402 NEW BEST:: SOT 538604 SOS 350111 HAS SOPS 196405 HAS SOUS 36798 HAS SOUPS 20356 WITH SCORE 20706.111
AT ITER 6417 NEW BEST:: SOT 538602 SOS 350079 HAS SOPS 196387 HAS SOUS 36794 HAS SOUPS 20353 WITH SCORE 20703.079
AT ITER 6432 NEW BEST:: SOT 538546 SOS 350023 HAS SOPS 196371 HAS SOUS 36794 HAS SOUPS 20353 WITH SCORE 20703.023
AT ITER 6456 NEW BEST:: SOT 538553 SOS 350043 HAS SOPS 196376 HAS SOUS 36792 HAS SOUPS 20352 WITH SCORE 20702.043
AT ITER 6458 NEW BEST:: SOT 538525 SOS 350015 HAS SOPS 196376 HAS SOUS 36792 HAS SOUPS 20352 WITH SCORE 20702.015
AT ITER 6475 NEW BEST:: SOT 538436 SOS 349845 HAS SOPS 196314 HAS SOUS 36776 HAS SOUPS 20345 WITH SCORE 20694.845
AT ITER 6479 NEW BEST:: SOT 538208 SOS 349655 HAS SOPS 196086 HAS SOUS 36746 HAS SOUPS 20277 WITH SCORE 20626.655
AT ITER 6492 NEW BEST:: SOT 538968 SOS 350534 HAS SOPS 196527 HAS SOUS 36675 HAS SOUPS 20194 WITH SCORE 20544.534
AT ITER 6504 NEW BEST:: SOT 538960 SOS 350548 HAS SOPS 196607 HAS SOUS 36667 HAS SOUPS 20192 WITH SCORE 20542.548
AT ITER 6579 NEW BEST:: SOT 538956 SOS 350432 HAS SOPS 196530 HAS SOUS 36643 HAS SOUPS 20168 WITH SCORE 20518.432
AT ITER 6595 NEW BEST:: SOT 538954 SOS 350582 HAS SOPS 196484 HAS SOUS 36655 HAS SOUPS 20166 WITH SCORE 20516.582
AT ITER 6656 NEW BEST:: SOT 538954 SOS 350582 HAS SOPS 196484 HAS SOUS 36649 HAS SOUPS 20160 WITH SCORE 20510.582
AT ITER 6664 NEW BEST:: SOT 538952 SOS 350578 HAS SOPS 196480 HAS SOUS 36647 HAS SOUPS 20158 WITH SCORE 20508.578
AT ITER 6791 NEW BEST:: SOT 538960 SOS 350608 HAS SOPS 196510 HAS SOUS 36638 HAS SOUPS 20149 WITH SCORE 20499.608
AT ITER 6794 NEW BEST:: SOT 538960 SOS 350618 HAS SOPS 196510 HAS SOUS 36628 HAS SOUPS 20129 WITH SCORE 20479.618
AT ITER 6829 NEW BEST:: SOT 538950 SOS 350598 HAS SOPS 196505 HAS SOUS 36623 HAS SOUPS 20129 WITH SCORE 20479.598
AT ITER 6841 NEW BEST:: SOT 538905 SOS 350369 HAS SOPS 196312 HAS SOUS 36561 HAS SOUPS 20085 WITH SCORE 20435.369
AT ITER 6843 NEW BEST:: SOT 538905 SOS 350369 HAS SOPS 196312 HAS SOUS 36552 HAS SOUPS 20080 WITH SCORE 20430.369
AT ITER 6869 NEW BEST:: SOT 538858 SOS 349803 HAS SOPS 195746 HAS SOUS 36490 HAS SOUPS 20018 WITH SCORE 20367.803
AT ITER 6944 NEW BEST:: SOT 538547 SOS 349061 HAS SOPS 195547 HAS SOUS 36453 HAS SOUPS 20010 WITH SCORE 20359.061
AT ITER 6946 NEW BEST:: SOT 538542 SOS 349056 HAS SOPS 195547 HAS SOUS 36443 HAS SOUPS 20000 WITH SCORE 20349.056
AT ITER 6950 NEW BEST:: SOT 538542 SOS 349056 HAS SOPS 195547 HAS SOUS 36425 HAS SOUPS 19990 WITH SCORE 20339.056
AT ITER 7003 NEW BEST:: SOT 538531 SOS 348940 HAS SOPS 195529 HAS SOUS 36408 HAS SOUPS 19980 WITH SCORE 20328.94
AT ITER 7011 NEW BEST:: SOT 538279 SOS 348373 HAS SOPS 195382 HAS SOUS 36387 HAS SOUPS 19980 WITH SCORE 20328.373
AT ITER 7064 NEW BEST:: SOT 538262 SOS 348346 HAS SOPS 195364 HAS SOUS 36371 HAS SOUPS 19970 WITH SCORE 20318.346
AT ITER 7118 NEW BEST:: SOT 538285 SOS 347944 HAS SOPS 195354 HAS SOUS 36313 HAS SOUPS 19940 WITH SCORE 20287.944
AT ITER 7142 NEW BEST:: SOT 538198 SOS 347231 HAS SOPS 195097 HAS SOUS 36297 HAS SOUPS 19931 WITH SCORE 20278.231
AT ITER 7169 NEW BEST:: SOT 538217 SOS 347250 HAS SOPS 195097 HAS SOUS 36252 HAS SOUPS 19906 WITH SCORE 20253.25
AT ITER 7174 NEW BEST:: SOT 538231 SOS 347264 HAS SOPS 195097 HAS SOUS 36234 HAS SOUPS 19896 WITH SCORE 20243.264
AT ITER 7182 NEW BEST:: SOT 538189 SOS 346766 HAS SOPS 194392 HAS SOUS 36238 HAS SOUPS 19877 WITH SCORE 20223.766
AT ITER 7230 NEW BEST:: SOT 538100 SOS 346635 HAS SOPS 194306 HAS SOUS 36227 HAS SOUPS 19866 WITH SCORE 20212.635
AT ITER 7232 NEW BEST:: SOT 538074 SOS 346423 HAS SOPS 194094 HAS SOUS 36221 HAS SOUPS 19860 WITH SCORE 20206.423
AT ITER 7256 NEW BEST:: SOT 538085 SOS 345912 HAS SOPS 193869 HAS SOUS 36205 HAS SOUPS 19844 WITH SCORE 20189.912
AT ITER 7286 NEW BEST:: SOT 538077 SOS 345904 HAS SOPS 193869 HAS SOUS 36205 HAS SOUPS 19844 WITH SCORE 20189.904
AT ITER 7343 NEW BEST:: SOT 538074 SOS 345898 HAS SOPS 193869 HAS SOUS 36202 HAS SOUPS 19844 WITH SCORE 20189.898
AT ITER 7363 NEW BEST:: SOT 538179 SOS 346003 HAS SOPS 193869 HAS SOUS 36150 HAS SOUPS 19824 WITH SCORE 20170.003
AT ITER 7386 NEW BEST:: SOT 538055 SOS 345690 HAS SOPS 193786 HAS SOUS 36135 HAS SOUPS 19817 WITH SCORE 20162.69
AT ITER 7412 NEW BEST:: SOT 538020 SOS 345665 HAS SOPS 193761 HAS SOUS 36130 HAS SOUPS 19812 WITH SCORE 20157.665
AT ITER 7453 NEW BEST:: SOT 538020 SOS 345665 HAS SOPS 193761 HAS SOUS 36121 HAS SOUPS 19807 WITH SCORE 20152.665
AT ITER 7460 NEW BEST:: SOT 538023 SOS 345755 HAS SOPS 193851 HAS SOUS 36120 HAS SOUPS 19806 WITH SCORE 20151.755
AT ITER 7481 NEW BEST:: SOT 538013 SOS 345710 HAS SOPS 193761 HAS SOUS 36115 HAS SOUPS 19796 WITH SCORE 20141.71
AT ITER 7498 NEW BEST:: SOT 538007 SOS 345815 HAS SOPS 193866 HAS SOUS 36114 HAS SOUPS 19795 WITH SCORE 20140.815
AT ITER 7544 NEW BEST:: SOT 538013 SOS 345821 HAS SOPS 193867 HAS SOUS 36111 HAS SOUPS 19792 WITH SCORE 20137.821
AT ITER 7629 NEW BEST:: SOT 537897 SOS 345729 HAS SOPS 193803 HAS SOUS 36117 HAS SOUPS 19784 WITH SCORE 20129.729
AT ITER 7636 NEW BEST:: SOT 537949 SOS 345761 HAS SOPS 193780 HAS SOUS 36105 HAS SOUPS 19777 WITH SCORE 20122.761
AT ITER 7675 NEW BEST:: SOT 537957 SOS 345535 HAS SOPS 193110 HAS SOUS 36113 HAS SOUPS 19765 WITH SCORE 20110.535
AT ITER 7678 NEW BEST:: SOT 537772 SOS 345288 HAS SOPS 192953 HAS SOUS 36105 HAS SOUPS 19757 WITH SCORE 20102.288
AT ITER 7682 NEW BEST:: SOT 537752 SOS 345268 HAS SOPS 192953 HAS SOUS 36105 HAS SOUPS 19757 WITH SCORE 20102.268
AT ITER 7719 NEW BEST:: SOT 537714 SOS 345154 HAS SOPS 192630 HAS SOUS 36086 HAS SOUPS 19719 WITH SCORE 20064.154
AT ITER 7725 NEW BEST:: SOT 537619 SOS 345059 HAS SOPS 192589 HAS SOUS 36054 HAS SOUPS 19703 WITH SCORE 20048.059
AT ITER 7740 NEW BEST:: SOT 537616 SOS 344929 HAS SOPS 192459 HAS SOUS 36043 HAS SOUPS 19692 WITH SCORE 20036.929
AT ITER 7741 NEW BEST:: SOT 537628 SOS 345205 HAS SOPS 192735 HAS SOUS 36040 HAS SOUPS 19689 WITH SCORE 20034.205
AT ITER 7779 NEW BEST:: SOT 537613 SOS 345193 HAS SOPS 192717 HAS SOUS 36025 HAS SOUPS 19678 WITH SCORE 20023.193
AT ITER 7782 NEW BEST:: SOT 537601 SOS 345181 HAS SOPS 192717 HAS SOUS 36005 HAS SOUPS 19658 WITH SCORE 20003.181
AT ITER 7785 NEW BEST:: SOT 537448 SOS 343753 HAS SOPS 191561 HAS SOUS 35971 HAS SOUPS 19624 WITH SCORE 19967.753
AT ITER 7799 NEW BEST:: SOT 537203 SOS 343397 HAS SOPS 191313 HAS SOUS 35953 HAS SOUPS 19606 WITH SCORE 19949.397
AT ITER 7829 NEW BEST:: SOT 537203 SOS 343397 HAS SOPS 191313 HAS SOUS 35908 HAS SOUPS 19581 WITH SCORE 19924.397
AT ITER 7834 NEW BEST:: SOT 537072 SOS 343031 HAS SOPS 190997 HAS SOUS 35899 HAS SOUPS 19572 WITH SCORE 19915.031
AT ITER 7851 NEW BEST:: SOT 537032 SOS 342999 HAS SOPS 190949 HAS SOUS 35907 HAS SOUPS 19572 WITH SCORE 19914.999
AT ITER 7951 NEW BEST:: SOT 536912 SOS 342891 HAS SOPS 190949 HAS SOUS 35745 HAS SOUPS 19568 WITH SCORE 19910.891
AT ITER 7962 NEW BEST:: SOT 536720 SOS 342523 HAS SOPS 190821 HAS SOUS 35713 HAS SOUPS 19552 WITH SCORE 19894.523
AT ITER 7989 NEW BEST:: SOT 536720 SOS 342454 HAS SOPS 190803 HAS SOUS 35710 HAS SOUPS 19549 WITH SCORE 19891.454
AT ITER 8002 NEW BEST:: SOT 536698 SOS 342432 HAS SOPS 190803 HAS SOUS 35710 HAS SOUPS 19549 WITH SCORE 19891.432
AT ITER 8036 NEW BEST:: SOT 536694 SOS 342394 HAS SOPS 190765 HAS SOUS 35706 HAS SOUPS 19545 WITH SCORE 19887.394
AT ITER 8082 NEW BEST:: SOT 536689 SOS 342319 HAS SOPS 190690 HAS SOUS 35701 HAS SOUPS 19540 WITH SCORE 19882.319
AT ITER 8090 NEW BEST:: SOT 536665 SOS 342265 HAS SOPS 190676 HAS SOUS 35697 HAS SOUPS 19538 WITH SCORE 19880.265
AT ITER 8099 NEW BEST:: SOT 536656 SOS 342250 HAS SOPS 190673 HAS SOUS 35688 HAS SOUPS 19535 WITH SCORE 19877.25
AT ITER 8186 NEW BEST:: SOT 536653 SOS 342191 HAS SOPS 190656 HAS SOUS 35682 HAS SOUPS 19532 WITH SCORE 19874.191
AT ITER 8214 NEW BEST:: SOT 536653 SOS 342191 HAS SOPS 190656 HAS SOUS 35679 HAS SOUPS 19530 WITH SCORE 19872.191
AT ITER 8225 NEW BEST:: SOT 536545 SOS 341948 HAS SOPS 190593 HAS SOUS 35661 HAS SOUPS 19521 WITH SCORE 19862.948
AT ITER 8234 NEW BEST:: SOT 536469 SOS 341872 HAS SOPS 190593 HAS SOUS 35661 HAS SOUPS 19521 WITH SCORE 19862.872
AT ITER 8269 NEW BEST:: SOT 536443 SOS 341378 HAS SOPS 190377 HAS SOUS 35618 HAS SOUPS 19497 WITH SCORE 19838.378
AT ITER 8283 NEW BEST:: SOT 536440 SOS 341372 HAS SOPS 190497 HAS SOUS 35603 HAS SOUPS 19491 WITH SCORE 19832.372
AT ITER 8342 NEW BEST:: SOT 536460 SOS 341392 HAS SOPS 190497 HAS SOUS 35594 HAS SOUPS 19486 WITH SCORE 19827.392
AT ITER 8347 NEW BEST:: SOT 536456 SOS 341358 HAS SOPS 190491 HAS SOUS 35592 HAS SOUPS 19486 WITH SCORE 19827.358
AT ITER 8350 NEW BEST:: SOT 536455 SOS 341596 HAS SOPS 190729 HAS SOUS 35591 HAS SOUPS 19485 WITH SCORE 19826.596
AT ITER 8362 NEW BEST:: SOT 536334 SOS 341268 HAS SOPS 190610 HAS SOUS 35550 HAS SOUPS 19467 WITH SCORE 19808.268
AT ITER 8364 NEW BEST:: SOT 536247 SOS 341035 HAS SOPS 190407 HAS SOUS 35552 HAS SOUPS 19464 WITH SCORE 19805.035
AT ITER 8378 NEW BEST:: SOT 536489 SOS 341604 HAS SOPS 190847 HAS SOUS 35533 HAS SOUPS 19445 WITH SCORE 19786.604
AT ITER 8583 NEW BEST:: SOT 536478 SOS 341582 HAS SOPS 190847 HAS SOUS 35522 HAS SOUPS 19445 WITH SCORE 19786.582
AT ITER 8600 NEW BEST:: SOT 536480 SOS 341584 HAS SOPS 190849 HAS SOUS 35521 HAS SOUPS 19444 WITH SCORE 19785.584
AT ITER 8676 NEW BEST:: SOT 536410 SOS 341521 HAS SOPS 190849 HAS SOUS 35421 HAS SOUPS 19438 WITH SCORE 19779.521
AT ITER 8721 NEW BEST:: SOT 536417 SOS 341542 HAS SOPS 190853 HAS SOUS 35420 HAS SOUPS 19437 WITH SCORE 19778.542
AT ITER 8761 NEW BEST:: SOT 536407 SOS 341532 HAS SOPS 190851 HAS SOUS 35418 HAS SOUPS 19435 WITH SCORE 19776.532
AT ITER 8818 NEW BEST:: SOT 536321 SOS 341446 HAS SOPS 190851 HAS SOUS 35418 HAS SOUPS 19435 WITH SCORE 19776.446
AT ITER 8824 NEW BEST:: SOT 536529 SOS 341908 HAS SOPS 191235 HAS SOUS 35388 HAS SOUPS 19421 WITH SCORE 19762.908
AT ITER 8829 NEW BEST:: SOT 536565 SOS 341984 HAS SOPS 191256 HAS SOUS 35386 HAS SOUPS 19414 WITH SCORE 19755.984
AT ITER 8880 NEW BEST:: SOT 536453 SOS 341616 HAS SOPS 190936 HAS SOUS 35370 HAS SOUPS 19398 WITH SCORE 19739.616
AT ITER 8887 NEW BEST:: SOT 536442 SOS 341605 HAS SOPS 190936 HAS SOUS 35370 HAS SOUPS 19398 WITH SCORE 19739.605
AT ITER 8901 NEW BEST:: SOT 536435 SOS 341598 HAS SOPS 190936 HAS SOUS 35370 HAS SOUPS 19398 WITH SCORE 19739.598
AT ITER 8918 NEW BEST:: SOT 536435 SOS 341598 HAS SOPS 190936 HAS SOUS 35352 HAS SOUPS 19388 WITH SCORE 19729.598
AT ITER 8964 NEW BEST:: SOT 536427 SOS 341577 HAS SOPS 190930 HAS SOUS 35351 HAS SOUPS 19387 WITH SCORE 19728.577
AT ITER 8974 NEW BEST:: SOT 536419 SOS 341393 HAS SOPS 190746 HAS SOUS 35332 HAS SOUPS 19368 WITH SCORE 19709.393
AT ITER 8985 NEW BEST:: SOT 536418 SOS 341391 HAS SOPS 190746 HAS SOUS 35331 HAS SOUPS 19368 WITH SCORE 19709.391
AT ITER 8989 NEW BEST:: SOT 536267 SOS 341265 HAS SOPS 190746 HAS SOUS 35137 HAS SOUPS 19368 WITH SCORE 19709.265
AT ITER 9023 NEW BEST:: SOT 536267 SOS 341265 HAS SOPS 190746 HAS SOUS 35104 HAS SOUPS 19346 WITH SCORE 19687.265
AT ITER 9025 NEW BEST:: SOT 536157 SOS 341053 HAS SOPS 190670 HAS SOUS 35082 HAS SOUPS 19332 WITH SCORE 19673.053
AT ITER 9071 NEW BEST:: SOT 536161 SOS 341001 HAS SOPS 190646 HAS SOUS 35080 HAS SOUPS 19332 WITH SCORE 19673.001
AT ITER 9170 NEW BEST:: SOT 536139 SOS 340979 HAS SOPS 190646 HAS SOUS 35072 HAS SOUPS 19324 WITH SCORE 19664.979
AT ITER 9198 NEW BEST:: SOT 536138 SOS 340782 HAS SOPS 190659 HAS SOUS 35056 HAS SOUPS 19323 WITH SCORE 19663.782
AT ITER 9202 NEW BEST:: SOT 536144 SOS 340793 HAS SOPS 190660 HAS SOUS 35052 HAS SOUPS 19314 WITH SCORE 19654.793
AT ITER 9208 NEW BEST:: SOT 536104 SOS 340768 HAS SOPS 190660 HAS SOUS 34987 HAS SOUPS 19304 WITH SCORE 19644.768
AT ITER 9232 NEW BEST:: SOT 536118 SOS 340808 HAS SOPS 190670 HAS SOUS 34979 HAS SOUPS 19298 WITH SCORE 19638.808
AT ITER 9250 NEW BEST:: SOT 536118 SOS 340808 HAS SOPS 190670 HAS SOUS 34925 HAS SOUPS 19268 WITH SCORE 19608.808
AT ITER 9263 NEW BEST:: SOT 536108 SOS 340424 HAS SOPS 190552 HAS SOUS 34879 HAS SOUPS 19241 WITH SCORE 19581.424
AT ITER 9294 NEW BEST:: SOT 536086 SOS 340248 HAS SOPS 190530 HAS SOUS 34857 HAS SOUPS 19230 WITH SCORE 19570.248
AT ITER 9309 NEW BEST:: SOT 536079 SOS 340241 HAS SOPS 190530 HAS SOUS 34857 HAS SOUPS 19230 WITH SCORE 19570.241
AT ITER 9375 NEW BEST:: SOT 536121 SOS 340997 HAS SOPS 190754 HAS SOUS 34884 HAS SOUPS 19219 WITH SCORE 19559.997
AT ITER 9443 NEW BEST:: SOT 536121 SOS 340997 HAS SOPS 190754 HAS SOUS 34875 HAS SOUPS 19214 WITH SCORE 19554.997
AT ITER 9458 NEW BEST:: SOT 536113 SOS 340981 HAS SOPS 190754 HAS SOUS 34813 HAS SOUPS 19184 WITH SCORE 19524.981
AT ITER 9500 NEW BEST:: SOT 536104 SOS 340972 HAS SOPS 190750 HAS SOUS 34813 HAS SOUPS 19184 WITH SCORE 19524.972
AT ITER 9549 NEW BEST:: SOT 536104 SOS 340972 HAS SOPS 190750 HAS SOUS 34810 HAS SOUPS 19182 WITH SCORE 19522.972
AT ITER 9620 NEW BEST:: SOT 536151 SOS 341047 HAS SOPS 190797 HAS SOUS 34803 HAS SOUPS 19175 WITH SCORE 19516.047
AT ITER 9643 NEW BEST:: SOT 536151 SOS 341047 HAS SOPS 190797 HAS SOUS 34758 HAS SOUPS 19150 WITH SCORE 19491.047
AT ITER 9653 NEW BEST:: SOT 536135 SOS 341031 HAS SOPS 190797 HAS SOUS 34758 HAS SOUPS 19150 WITH SCORE 19491.031
AT ITER 9682 NEW BEST:: SOT 536126 SOS 340721 HAS SOPS 190529 HAS SOUS 34746 HAS SOUPS 19141 WITH SCORE 19481.721
AT ITER 9702 NEW BEST:: SOT 536126 SOS 340721 HAS SOPS 190529 HAS SOUS 34710 HAS SOUPS 19121 WITH SCORE 19461.721
AT ITER 9807 NEW BEST:: SOT 536136 SOS 340553 HAS SOPS 190501 HAS SOUS 34688 HAS SOUPS 19109 WITH SCORE 19449.553
AT ITER 9841 NEW BEST:: SOT 536145 SOS 340036 HAS SOPS 189984 HAS SOUS 34688 HAS SOUPS 19109 WITH SCORE 19449.036
AT ITER 9865 NEW BEST:: SOT 536145 SOS 340040 HAS SOPS 189984 HAS SOUS 34684 HAS SOUPS 19101 WITH SCORE 19441.04
AT ITER 9911 NEW BEST:: SOT 536147 SOS 340033 HAS SOPS 189986 HAS SOUS 34683 HAS SOUPS 19101 WITH SCORE 19441.033
AT ITER 9972 NEW BEST:: SOT 536147 SOS 340033 HAS SOPS 189986 HAS SOUS 34656 HAS SOUPS 19086 WITH SCORE 19426.033

BK_STOP 1678262524145

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 368 Killed ${SMART}/smart ${INPUT_SM}

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-10a"
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-10a, 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-167814472800736"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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