Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 20K Feb 26 13:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 26 13:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 98K Feb 26 13:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 463K Feb 26 13:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 45K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 35K Feb 26 14:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 189K Feb 26 14:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 544K Feb 26 14:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.4M Feb 26 14:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.1K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 11M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678806725790

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-PT-S06J06T06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S06J06T06
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: 700 places, 10740 transitions, 89778 arcs.
AT ITER 0 NEW BEST:: SOT 4938061 SOS 2871192 HAS SOPS 2858779 HAS SOUS 526712 HAS SOUPS 526044 WITH SCORE 528915.192
AT ITER 2 NEW BEST:: SOT 4937746 SOS 2870922 HAS SOPS 2858509 HAS SOUS 526125 HAS SOUPS 525457 WITH SCORE 528327.922
AT ITER 3 NEW BEST:: SOT 4694710 SOS 2628043 HAS SOPS 2615630 HAS SOUS 494370 HAS SOUPS 493702 WITH SCORE 496330.043
AT ITER 4 NEW BEST:: SOT 4694669 SOS 2627961 HAS SOPS 2615548 HAS SOUS 494288 HAS SOUPS 493620 WITH SCORE 496247.961
AT ITER 9 NEW BEST:: SOT 4694012 SOS 2627108 HAS SOPS 2614695 HAS SOUS 493584 HAS SOUPS 492916 WITH SCORE 495543.108
AT ITER 13 NEW BEST:: SOT 4693944 SOS 2627040 HAS SOPS 2614593 HAS SOUS 493572 HAS SOUPS 492882 WITH SCORE 495509.04
AT ITER 14 NEW BEST:: SOT 4682084 SOS 2620708 HAS SOPS 2615890 HAS SOUS 483315 HAS SOUPS 482794 WITH SCORE 485414.708
AT ITER 17 NEW BEST:: SOT 4682080 SOS 2620704 HAS SOPS 2615886 HAS SOUS 483307 HAS SOUPS 482786 WITH SCORE 485406.704
AT ITER 21 NEW BEST:: SOT 4682114 SOS 2620806 HAS SOPS 2615988 HAS SOUS 483289 HAS SOUPS 482768 WITH SCORE 485388.806
AT ITER 30 NEW BEST:: SOT 4681550 SOS 2620266 HAS SOPS 2615448 HAS SOUS 482442 HAS SOUPS 481921 WITH SCORE 484541.266
AT ITER 58 NEW BEST:: SOT 4681016 SOS 2619779 HAS SOPS 2614961 HAS SOUS 482366 HAS SOUPS 481845 WITH SCORE 484464.779
AT ITER 59 NEW BEST:: SOT 4679791 SOS 2618787 HAS SOPS 2613969 HAS SOUS 481762 HAS SOUPS 481241 WITH SCORE 483859.787
AT ITER 63 NEW BEST:: SOT 4679764 SOS 2618625 HAS SOPS 2613807 HAS SOUS 481762 HAS SOUPS 481241 WITH SCORE 483859.625
AT ITER 72 NEW BEST:: SOT 4679374 SOS 2618105 HAS SOPS 2613287 HAS SOUS 481303 HAS SOUPS 480782 WITH SCORE 483400.105
AT ITER 95 NEW BEST:: SOT 4678858 SOS 2617617 HAS SOPS 2612799 HAS SOUS 480613 HAS SOUPS 480092 WITH SCORE 482709.617
AT ITER 102 NEW BEST:: SOT 4678811 SOS 2617523 HAS SOPS 2612705 HAS SOUS 480498 HAS SOUPS 479977 WITH SCORE 482594.523
AT ITER 103 NEW BEST:: SOT 4678116 SOS 2616984 HAS SOPS 2612166 HAS SOUS 479854 HAS SOUPS 479333 WITH SCORE 481949.984
AT ITER 108 NEW BEST:: SOT 4677762 SOS 2616512 HAS SOPS 2611694 HAS SOUS 476974 HAS SOUPS 476453 WITH SCORE 479069.512
AT ITER 112 NEW BEST:: SOT 4677762 SOS 2617436 HAS SOPS 2612618 HAS SOUS 476734 HAS SOUPS 476213 WITH SCORE 478830.436
AT ITER 118 NEW BEST:: SOT 4476506 SOS 2416307 HAS SOPS 2411489 HAS SOUS 450154 HAS SOUPS 449633 WITH SCORE 452049.307
AT ITER 123 NEW BEST:: SOT 4476470 SOS 2416271 HAS SOPS 2411453 HAS SOUS 450100 HAS SOUPS 449579 WITH SCORE 451995.271
AT ITER 126 NEW BEST:: SOT 4476284 SOS 2416980 HAS SOPS 2412162 HAS SOUS 450010 HAS SOUPS 449489 WITH SCORE 451905.98
AT ITER 129 NEW BEST:: SOT 4475986 SOS 2419848 HAS SOPS 2415030 HAS SOUS 449958 HAS SOUPS 449437 WITH SCORE 451856.848
AT ITER 136 NEW BEST:: SOT 4475938 SOS 2419752 HAS SOPS 2414934 HAS SOUS 449886 HAS SOUPS 449365 WITH SCORE 451784.752
AT ITER 142 NEW BEST:: SOT 4475761 SOS 2419606 HAS SOPS 2414788 HAS SOUS 449784 HAS SOUPS 449263 WITH SCORE 451682.606
AT ITER 144 NEW BEST:: SOT 4475661 SOS 2419531 HAS SOPS 2414713 HAS SOUS 449684 HAS SOUPS 449163 WITH SCORE 451582.531
AT ITER 148 NEW BEST:: SOT 4475512 SOS 2419381 HAS SOPS 2414563 HAS SOUS 449616 HAS SOUPS 449095 WITH SCORE 451514.381
AT ITER 151 NEW BEST:: SOT 4474930 SOS 2418899 HAS SOPS 2414081 HAS SOUS 449134 HAS SOUPS 448613 WITH SCORE 451031.899
AT ITER 158 NEW BEST:: SOT 4474738 SOS 2418755 HAS SOPS 2413937 HAS SOUS 448553 HAS SOUPS 448032 WITH SCORE 450450.755
AT ITER 186 NEW BEST:: SOT 4363501 SOS 2437701 HAS SOPS 2432883 HAS SOUS 440303 HAS SOUPS 439782 WITH SCORE 442219.701
AT ITER 213 NEW BEST:: SOT 4362837 SOS 2437254 HAS SOPS 2432436 HAS SOUS 440125 HAS SOUPS 439604 WITH SCORE 442041.254
AT ITER 219 NEW BEST:: SOT 4362444 SOS 2436925 HAS SOPS 2432107 HAS SOUS 439381 HAS SOUPS 438860 WITH SCORE 441296.925
AT ITER 237 NEW BEST:: SOT 4362489 SOS 2436970 HAS SOPS 2432116 HAS SOUS 439340 HAS SOUPS 438819 WITH SCORE 441255.97
AT ITER 239 NEW BEST:: SOT 4362441 SOS 2436964 HAS SOPS 2432110 HAS SOUS 439281 HAS SOUPS 438760 WITH SCORE 441196.964
AT ITER 245 NEW BEST:: SOT 4361805 SOS 2436054 HAS SOPS 2431200 HAS SOUS 438484 HAS SOUPS 437963 WITH SCORE 440399.054
AT ITER 252 NEW BEST:: SOT 4274526 SOS 2348992 HAS SOPS 2344138 HAS SOUS 420455 HAS SOUPS 419934 WITH SCORE 422282.992
AT ITER 253 NEW BEST:: SOT 4274396 SOS 2348875 HAS SOPS 2344021 HAS SOUS 420420 HAS SOUPS 419899 WITH SCORE 422247.875
AT ITER 274 NEW BEST:: SOT 4274367 SOS 2303925 HAS SOPS 2299071 HAS SOUS 420391 HAS SOUPS 419870 WITH SCORE 422173.925
AT ITER 303 NEW BEST:: SOT 4273422 SOS 2303212 HAS SOPS 2298358 HAS SOUS 419128 HAS SOUPS 418607 WITH SCORE 420910.212
AT ITER 311 NEW BEST:: SOT 4277206 SOS 2306998 HAS SOPS 2302144 HAS SOUS 418801 HAS SOUPS 418280 WITH SCORE 420586.998
AT ITER 318 NEW BEST:: SOT 4277187 SOS 2306979 HAS SOPS 2302125 HAS SOUS 418763 HAS SOUPS 418242 WITH SCORE 420548.979
AT ITER 332 NEW BEST:: SOT 4277185 SOS 2306977 HAS SOPS 2302121 HAS SOUS 418759 HAS SOUPS 418238 WITH SCORE 420544.977
AT ITER 334 NEW BEST:: SOT 4276477 SOS 2306353 HAS SOPS 2301497 HAS SOUS 417611 HAS SOUPS 417090 WITH SCORE 419396.353
AT ITER 335 NEW BEST:: SOT 4276329 SOS 2306205 HAS SOPS 2301349 HAS SOUS 417468 HAS SOUPS 416947 WITH SCORE 419253.205
AT ITER 356 NEW BEST:: SOT 4276329 SOS 2306214 HAS SOPS 2301358 HAS SOUS 417456 HAS SOUPS 416935 WITH SCORE 419241.214
AT ITER 368 NEW BEST:: SOT 4276265 SOS 2306150 HAS SOPS 2301294 HAS SOUS 417392 HAS SOUPS 416871 WITH SCORE 419177.15
AT ITER 371 NEW BEST:: SOT 4276265 SOS 2263450 HAS SOPS 2258594 HAS SOUS 415968 HAS SOUPS 415447 WITH SCORE 417710.45
AT ITER 384 NEW BEST:: SOT 4276369 SOS 2263554 HAS SOPS 2258662 HAS SOUS 415962 HAS SOUPS 415441 WITH SCORE 417704.554
AT ITER 392 NEW BEST:: SOT 4276367 SOS 2263552 HAS SOPS 2258658 HAS SOUS 415960 HAS SOUPS 415437 WITH SCORE 417700.552
AT ITER 404 NEW BEST:: SOT 4276812 SOS 2265532 HAS SOPS 2260638 HAS SOUS 415676 HAS SOUPS 415153 WITH SCORE 417418.532
AT ITER 414 NEW BEST:: SOT 4275681 SOS 2264615 HAS SOPS 2259721 HAS SOUS 415019 HAS SOUPS 414496 WITH SCORE 416760.615
AT ITER 415 NEW BEST:: SOT 4275208 SOS 2264276 HAS SOPS 2259382 HAS SOUS 414705 HAS SOUPS 414182 WITH SCORE 416446.276
AT ITER 419 NEW BEST:: SOT 4275284 SOS 2265276 HAS SOPS 2260382 HAS SOUS 414479 HAS SOUPS 413956 WITH SCORE 416221.276
AT ITER 427 NEW BEST:: SOT 4275285 SOS 2265277 HAS SOPS 2260383 HAS SOUS 414478 HAS SOUPS 413955 WITH SCORE 416220.277
AT ITER 430 NEW BEST:: SOT 4274949 SOS 2265011 HAS SOPS 2260117 HAS SOUS 414273 HAS SOUPS 413750 WITH SCORE 416015.011
AT ITER 431 NEW BEST:: SOT 4274713 SOS 2264834 HAS SOPS 2259940 HAS SOUS 413774 HAS SOUPS 413251 WITH SCORE 415515.834
AT ITER 437 NEW BEST:: SOT 4274713 SOS 2264818 HAS SOPS 2259924 HAS SOUS 413728 HAS SOUPS 413205 WITH SCORE 415469.818
AT ITER 441 NEW BEST:: SOT 4274233 SOS 2264414 HAS SOPS 2259520 HAS SOUS 413252 HAS SOUPS 412729 WITH SCORE 414993.414
AT ITER 442 NEW BEST:: SOT 4273788 SOS 2264047 HAS SOPS 2259153 HAS SOUS 412651 HAS SOUPS 412128 WITH SCORE 414392.047
AT ITER 451 NEW BEST:: SOT 4273479 SOS 2263496 HAS SOPS 2258602 HAS SOUS 412275 HAS SOUPS 411752 WITH SCORE 414015.496
AT ITER 460 NEW BEST:: SOT 4273263 SOS 2263295 HAS SOPS 2258401 HAS SOUS 410966 HAS SOUPS 410443 WITH SCORE 412706.295
AT ITER 464 NEW BEST:: SOT 4273218 SOS 2263160 HAS SOPS 2258266 HAS SOUS 410876 HAS SOUPS 410353 WITH SCORE 412616.16
AT ITER 467 NEW BEST:: SOT 4273072 SOS 2262856 HAS SOPS 2258055 HAS SOUS 410784 HAS SOUPS 410261 WITH SCORE 412523.856
AT ITER 482 NEW BEST:: SOT 4273072 SOS 2262814 HAS SOPS 2258013 HAS SOUS 410784 HAS SOUPS 410261 WITH SCORE 412523.814
AT ITER 494 NEW BEST:: SOT 4273042 SOS 2262790 HAS SOPS 2257989 HAS SOUS 410742 HAS SOUPS 410219 WITH SCORE 412481.79
AT ITER 496 NEW BEST:: SOT 4272874 SOS 2262514 HAS SOPS 2256417 HAS SOUS 410657 HAS SOUPS 409918 WITH SCORE 412180.514
AT ITER 498 NEW BEST:: SOT 4272427 SOS 2262292 HAS SOPS 2256195 HAS SOUS 410290 HAS SOUPS 409551 WITH SCORE 411813.292
AT ITER 501 NEW BEST:: SOT 4271628 SOS 2261487 HAS SOPS 2255390 HAS SOUS 409552 HAS SOUPS 408813 WITH SCORE 411074.487
AT ITER 519 NEW BEST:: SOT 4271382 SOS 2261165 HAS SOPS 2255068 HAS SOUS 409301 HAS SOUPS 408562 WITH SCORE 410823.165
AT ITER 528 NEW BEST:: SOT 4270872 SOS 2260655 HAS SOPS 2254558 HAS SOUS 408516 HAS SOUPS 407777 WITH SCORE 410037.655
AT ITER 532 NEW BEST:: SOT 4270866 SOS 2260607 HAS SOPS 2254510 HAS SOUS 408516 HAS SOUPS 407777 WITH SCORE 410037.607
AT ITER 536 NEW BEST:: SOT 4270771 SOS 2260512 HAS SOPS 2254415 HAS SOUS 408448 HAS SOUPS 407709 WITH SCORE 409969.512
AT ITER 544 NEW BEST:: SOT 4269679 SOS 2259679 HAS SOPS 2253582 HAS SOUS 408192 HAS SOUPS 407453 WITH SCORE 409712.679
AT ITER 547 NEW BEST:: SOT 4269335 SOS 2259335 HAS SOPS 2253238 HAS SOUS 407540 HAS SOUPS 406801 WITH SCORE 409060.335
AT ITER 550 NEW BEST:: SOT 4269310 SOS 2259369 HAS SOPS 2253272 HAS SOUS 406912 HAS SOUPS 406173 WITH SCORE 408432.369
AT ITER 551 NEW BEST:: SOT 4269199 SOS 2259228 HAS SOPS 2253131 HAS SOUS 406150 HAS SOUPS 405411 WITH SCORE 407670.228
AT ITER 555 NEW BEST:: SOT 4268343 SOS 2258372 HAS SOPS 2252275 HAS SOUS 405621 HAS SOUPS 404882 WITH SCORE 407140.372
AT ITER 561 NEW BEST:: SOT 4268344 SOS 2258373 HAS SOPS 2252276 HAS SOUS 404948 HAS SOUPS 404209 WITH SCORE 406467.373
AT ITER 564 NEW BEST:: SOT 4268344 SOS 2258368 HAS SOPS 2252271 HAS SOUS 404943 HAS SOUPS 404204 WITH SCORE 406462.368
AT ITER 577 NEW BEST:: SOT 4268243 SOS 2258267 HAS SOPS 2252069 HAS SOUS 404936 HAS SOUPS 404067 WITH SCORE 406325.267
AT ITER 581 NEW BEST:: SOT 4268342 SOS 2258457 HAS SOPS 2252259 HAS SOUS 404527 HAS SOUPS 403658 WITH SCORE 405916.457
AT ITER 584 NEW BEST:: SOT 4268294 SOS 2258409 HAS SOPS 2252211 HAS SOUS 404431 HAS SOUPS 403562 WITH SCORE 405820.409
AT ITER 586 NEW BEST:: SOT 4268294 SOS 2258374 HAS SOPS 2252176 HAS SOUS 404361 HAS SOUPS 403492 WITH SCORE 405750.374
AT ITER 592 NEW BEST:: SOT 4268253 SOS 2258333 HAS SOPS 2252135 HAS SOUS 404143 HAS SOUPS 403274 WITH SCORE 405532.333
AT ITER 597 NEW BEST:: SOT 4268685 SOS 2258910 HAS SOPS 2248176 HAS SOUS 404747 HAS SOUPS 403122 WITH SCORE 405380.91
AT ITER 604 NEW BEST:: SOT 4068198 SOS 2058556 HAS SOPS 2047822 HAS SOUS 378090 HAS SOUPS 376465 WITH SCORE 378523.556
AT ITER 609 NEW BEST:: SOT 4068198 SOS 2058556 HAS SOPS 2047822 HAS SOUS 377785 HAS SOUPS 376160 WITH SCORE 378218.556
AT ITER 614 NEW BEST:: SOT 4067874 SOS 2057912 HAS SOPS 2047178 HAS SOUS 377584 HAS SOUPS 375959 WITH SCORE 378016.912
AT ITER 630 NEW BEST:: SOT 4067663 SOS 2056674 HAS SOPS 2045940 HAS SOUS 377493 HAS SOUPS 375868 WITH SCORE 377924.674
AT ITER 638 NEW BEST:: SOT 4067561 SOS 2056697 HAS SOPS 2045963 HAS SOUS 377486 HAS SOUPS 375861 WITH SCORE 377917.697
AT ITER 642 NEW BEST:: SOT 4078262 SOS 2025016 HAS SOPS 2014282 HAS SOUS 375806 HAS SOUPS 374181 WITH SCORE 376206.016
AT ITER 649 NEW BEST:: SOT 4078262 SOS 2025024 HAS SOPS 2014290 HAS SOUS 375484 HAS SOUPS 373859 WITH SCORE 375884.024
AT ITER 651 NEW BEST:: SOT 4078145 SOS 2024907 HAS SOPS 2014173 HAS SOUS 375367 HAS SOUPS 373742 WITH SCORE 375766.907
AT ITER 660 NEW BEST:: SOT 3873015 SOS 1819901 HAS SOPS 1809167 HAS SOUS 348504 HAS SOUPS 346879 WITH SCORE 348698.901
AT ITER 678 NEW BEST:: SOT 3872380 SOS 1819267 HAS SOPS 1808533 HAS SOUS 347219 HAS SOUPS 345594 WITH SCORE 347413.267
AT ITER 687 NEW BEST:: SOT 3807125 SOS 1753971 HAS SOPS 1743237 HAS SOUS 338425 HAS SOUPS 336800 WITH SCORE 338553.971
AT ITER 701 NEW BEST:: SOT 3807118 SOS 1753964 HAS SOPS 1743223 HAS SOUS 338411 HAS SOUPS 336786 WITH SCORE 338539.964
AT ITER 718 NEW BEST:: SOT 3781390 SOS 1728236 HAS SOPS 1717495 HAS SOUS 335331 HAS SOUPS 333706 WITH SCORE 335434.236
AT ITER 724 NEW BEST:: SOT 3781290 SOS 1728161 HAS SOPS 1717420 HAS SOUS 335056 HAS SOUPS 333431 WITH SCORE 335159.161
AT ITER 736 NEW BEST:: SOT 3781089 SOS 1727784 HAS SOPS 1717043 HAS SOUS 334434 HAS SOUPS 332809 WITH SCORE 334536.784
AT ITER 758 NEW BEST:: SOT 3781089 SOS 1727784 HAS SOPS 1717043 HAS SOUS 334407 HAS SOUPS 332782 WITH SCORE 334509.784
AT ITER 765 NEW BEST:: SOT 3607609 SOS 1676856 HAS SOPS 1666115 HAS SOUS 320410 HAS SOUPS 318785 WITH SCORE 320461.856
AT ITER 767 NEW BEST:: SOT 3607263 SOS 1676510 HAS SOPS 1665769 HAS SOUS 319649 HAS SOUPS 318024 WITH SCORE 319700.51
AT ITER 775 NEW BEST:: SOT 3607252 SOS 1676488 HAS SOPS 1665747 HAS SOUS 319627 HAS SOUPS 318002 WITH SCORE 319678.488
AT ITER 787 NEW BEST:: SOT 3607203 SOS 1676439 HAS SOPS 1665698 HAS SOUS 319529 HAS SOUPS 317904 WITH SCORE 319580.439
AT ITER 789 NEW BEST:: SOT 3577787 SOS 1647023 HAS SOPS 1636282 HAS SOUS 315371 HAS SOUPS 313746 WITH SCORE 315393.023
AT ITER 803 NEW BEST:: SOT 3577764 SOS 1647000 HAS SOPS 1636236 HAS SOUS 315325 HAS SOUPS 313700 WITH SCORE 315347.0
AT ITER 817 NEW BEST:: SOT 3577797 SOS 1647005 HAS SOPS 1636241 HAS SOUS 315202 HAS SOUPS 313577 WITH SCORE 315224.005
AT ITER 827 NEW BEST:: SOT 3577783 SOS 1646991 HAS SOPS 1636234 HAS SOUS 315198 HAS SOUPS 313574 WITH SCORE 315220.991
AT ITER 833 NEW BEST:: SOT 3577630 SOS 1646838 HAS SOPS 1636081 HAS SOUS 314938 HAS SOUPS 313314 WITH SCORE 314960.838
AT ITER 846 NEW BEST:: SOT 3577330 SOS 1646442 HAS SOPS 1635685 HAS SOUS 314542 HAS SOUPS 312918 WITH SCORE 314564.442
AT ITER 860 NEW BEST:: SOT 3577139 SOS 1646185 HAS SOPS 1635428 HAS SOUS 314507 HAS SOUPS 312883 WITH SCORE 314529.185
AT ITER 862 NEW BEST:: SOT 3577129 SOS 1646175 HAS SOPS 1635418 HAS SOUS 314497 HAS SOUPS 312873 WITH SCORE 314519.175
AT ITER 865 NEW BEST:: SOT 3576397 SOS 1645553 HAS SOPS 1634796 HAS SOUS 313832 HAS SOUPS 312208 WITH SCORE 313853.553
AT ITER 867 NEW BEST:: SOT 3576319 SOS 1645475 HAS SOPS 1634718 HAS SOUS 313756 HAS SOUPS 312132 WITH SCORE 313777.475
AT ITER 871 NEW BEST:: SOT 3576291 SOS 1645447 HAS SOPS 1634690 HAS SOUS 313740 HAS SOUPS 312116 WITH SCORE 313761.447
AT ITER 877 NEW BEST:: SOT 3576235 SOS 1645363 HAS SOPS 1634606 HAS SOUS 313684 HAS SOUPS 312060 WITH SCORE 313705.363
AT ITER 879 NEW BEST:: SOT 3576361 SOS 1645662 HAS SOPS 1634905 HAS SOUS 313551 HAS SOUPS 311927 WITH SCORE 313572.662
AT ITER 891 NEW BEST:: SOT 3576332 SOS 1552149 HAS SOPS 1541392 HAS SOUS 312525 HAS SOUPS 310901 WITH SCORE 312453.149
AT ITER 893 NEW BEST:: SOT 3576387 SOS 1552243 HAS SOPS 1541486 HAS SOUS 312513 HAS SOUPS 310889 WITH SCORE 312441.243
AT ITER 902 NEW BEST:: SOT 3572684 SOS 1553141 HAS SOPS 1540907 HAS SOUS 309049 HAS SOUPS 307107 WITH SCORE 308660.141
AT ITER 905 NEW BEST:: SOT 3572581 SOS 1553332 HAS SOPS 1541110 HAS SOUS 308907 HAS SOUPS 306966 WITH SCORE 308519.332
AT ITER 906 NEW BEST:: SOT 3572575 SOS 1553302 HAS SOPS 1541080 HAS SOUS 308901 HAS SOUPS 306960 WITH SCORE 308513.302
AT ITER 926 NEW BEST:: SOT 3572491 SOS 1553218 HAS SOPS 1540996 HAS SOUS 308810 HAS SOUPS 306869 WITH SCORE 308422.218
AT ITER 943 NEW BEST:: SOT 3572488 SOS 1553215 HAS SOPS 1540993 HAS SOUS 308800 HAS SOUPS 306859 WITH SCORE 308412.215
AT ITER 944 NEW BEST:: SOT 3572516 SOS 1553243 HAS SOPS 1541021 HAS SOUS 308738 HAS SOUPS 306797 WITH SCORE 308350.243
AT ITER 945 NEW BEST:: SOT 3572544 SOS 1553302 HAS SOPS 1541080 HAS SOUS 308711 HAS SOUPS 306770 WITH SCORE 308323.302
AT ITER 976 NEW BEST:: SOT 3568198 SOS 1548956 HAS SOPS 1536734 HAS SOUS 308284 HAS SOUPS 306343 WITH SCORE 307891.956
AT ITER 978 NEW BEST:: SOT 3567696 SOS 1548445 HAS SOPS 1536223 HAS SOUS 307996 HAS SOUPS 306055 WITH SCORE 307603.445
AT ITER 990 NEW BEST:: SOT 3567401 SOS 1548104 HAS SOPS 1535882 HAS SOUS 307675 HAS SOUPS 305734 WITH SCORE 307282.104
AT ITER 1002 NEW BEST:: SOT 3567375 SOS 1548078 HAS SOPS 1535860 HAS SOUS 307637 HAS SOUPS 305696 WITH SCORE 307244.078
AT ITER 1017 NEW BEST:: SOT 3567414 SOS 1548117 HAS SOPS 1535863 HAS SOUS 307565 HAS SOUPS 305624 WITH SCORE 307172.117
AT ITER 1025 NEW BEST:: SOT 3567414 SOS 1548032 HAS SOPS 1535778 HAS SOUS 307480 HAS SOUPS 305539 WITH SCORE 307087.032
AT ITER 1038 NEW BEST:: SOT 3567418 SOS 1554877 HAS SOPS 1542258 HAS SOUS 307154 HAS SOUPS 305213 WITH SCORE 306767.877
AT ITER 1040 NEW BEST:: SOT 3576880 SOS 1564339 HAS SOPS 1551720 HAS SOUS 305739 HAS SOUPS 303798 WITH SCORE 305362.339
AT ITER 1051 NEW BEST:: SOT 3576838 SOS 1564315 HAS SOPS 1551696 HAS SOUS 305733 HAS SOUPS 303792 WITH SCORE 305356.315
AT ITER 1062 NEW BEST:: SOT 3551170 SOS 1538647 HAS SOPS 1526028 HAS SOUS 302835 HAS SOUPS 300894 WITH SCORE 302432.647
AT ITER 1068 NEW BEST:: SOT 3551180 SOS 1538657 HAS SOPS 1526007 HAS SOUS 302818 HAS SOUPS 300873 WITH SCORE 302411.657
AT ITER 1086 NEW BEST:: SOT 3551153 SOS 1538634 HAS SOPS 1525984 HAS SOUS 302795 HAS SOUPS 300850 WITH SCORE 302388.634
AT ITER 1097 NEW BEST:: SOT 3550959 SOS 1538502 HAS SOPS 1525852 HAS SOUS 301706 HAS SOUPS 299761 WITH SCORE 301299.502
AT ITER 1099 NEW BEST:: SOT 3550937 SOS 1538392 HAS SOPS 1525742 HAS SOUS 301684 HAS SOUPS 299739 WITH SCORE 301277.392
AT ITER 1122 NEW BEST:: SOT 3550755 SOS 1538210 HAS SOPS 1525560 HAS SOUS 301478 HAS SOUPS 299533 WITH SCORE 301071.21
AT ITER 1125 NEW BEST:: SOT 3550389 SOS 1537962 HAS SOPS 1525312 HAS SOUS 300878 HAS SOUPS 298933 WITH SCORE 300470.962
AT ITER 1128 NEW BEST:: SOT 3549889 SOS 1537588 HAS SOPS 1524938 HAS SOUS 300501 HAS SOUPS 298556 WITH SCORE 300093.588
AT ITER 1131 NEW BEST:: SOT 3549940 SOS 1537639 HAS SOPS 1525062 HAS SOUS 300318 HAS SOUPS 298373 WITH SCORE 299910.639
AT ITER 1138 NEW BEST:: SOT 3549768 SOS 1537408 HAS SOPS 1522593 HAS SOUS 300087 HAS SOUPS 297764 WITH SCORE 299301.408
AT ITER 1139 NEW BEST:: SOT 3549719 SOS 1537359 HAS SOPS 1522544 HAS SOUS 299989 HAS SOUPS 297666 WITH SCORE 299203.359
AT ITER 1143 NEW BEST:: SOT 3549717 SOS 1537355 HAS SOPS 1522540 HAS SOUS 299985 HAS SOUPS 297662 WITH SCORE 299199.355
AT ITER 1165 NEW BEST:: SOT 3549461 SOS 1537159 HAS SOPS 1522344 HAS SOUS 299522 HAS SOUPS 297199 WITH SCORE 298736.159
AT ITER 1197 NEW BEST:: SOT 3549500 SOS 1537110 HAS SOPS 1522295 HAS SOUS 299512 HAS SOUPS 297189 WITH SCORE 298726.11
AT ITER 1199 NEW BEST:: SOT 3549522 SOS 1537347 HAS SOPS 1522663 HAS SOUS 298836 HAS SOUPS 296517 WITH SCORE 298054.347
AT ITER 1200 NEW BEST:: SOT 3547674 SOS 1533964 HAS SOPS 1519280 HAS SOUS 296982 HAS SOUPS 294663 WITH SCORE 296196.964
AT ITER 1210 NEW BEST:: SOT 3547568 SOS 1533904 HAS SOPS 1519220 HAS SOUS 296939 HAS SOUPS 294620 WITH SCORE 296153.904
AT ITER 1212 NEW BEST:: SOT 3538808 SOS 1525064 HAS SOPS 1510380 HAS SOUS 295627 HAS SOUPS 293308 WITH SCORE 294833.064
AT ITER 1233 NEW BEST:: SOT 3538803 SOS 1524816 HAS SOPS 1510132 HAS SOUS 295617 HAS SOUPS 293298 WITH SCORE 294822.816
AT ITER 1243 NEW BEST:: SOT 3538767 SOS 1524780 HAS SOPS 1510060 HAS SOUS 295545 HAS SOUPS 293226 WITH SCORE 294750.78
AT ITER 1245 NEW BEST:: SOT 3538402 SOS 1524500 HAS SOPS 1509780 HAS SOUS 295352 HAS SOUPS 293033 WITH SCORE 294557.5
AT ITER 1263 NEW BEST:: SOT 3538942 SOS 1525356 HAS SOPS 1510636 HAS SOUS 293590 HAS SOUPS 291271 WITH SCORE 292796.356
AT ITER 1271 NEW BEST:: SOT 3538739 SOS 1495830 HAS SOPS 1481110 HAS SOUS 292252 HAS SOUPS 289933 WITH SCORE 291428.83
AT ITER 1276 NEW BEST:: SOT 3538629 SOS 1495590 HAS SOPS 1480949 HAS SOUS 292161 HAS SOUPS 289842 WITH SCORE 291337.59
AT ITER 1311 NEW BEST:: SOT 3538602 SOS 1495563 HAS SOPS 1480895 HAS SOUS 292107 HAS SOUPS 289788 WITH SCORE 291283.563
AT ITER 1313 NEW BEST:: SOT 3537935 SOS 1495116 HAS SOPS 1480448 HAS SOUS 292076 HAS SOUPS 289757 WITH SCORE 291252.116
AT ITER 1316 NEW BEST:: SOT 3537750 SOS 1495136 HAS SOPS 1480468 HAS SOUS 291962 HAS SOUPS 289643 WITH SCORE 291138.136
AT ITER 1327 NEW BEST:: SOT 3537418 SOS 1494980 HAS SOPS 1480312 HAS SOUS 291696 HAS SOUPS 289377 WITH SCORE 290871.98
AT ITER 1330 NEW BEST:: SOT 3537432 SOS 1494900 HAS SOPS 1480232 HAS SOUS 291692 HAS SOUPS 289373 WITH SCORE 290867.9
AT ITER 1331 NEW BEST:: SOT 3537359 SOS 1494811 HAS SOPS 1480143 HAS SOUS 291619 HAS SOUPS 289300 WITH SCORE 290794.811
AT ITER 1337 NEW BEST:: SOT 3537220 SOS 1494672 HAS SOPS 1480004 HAS SOUS 289847 HAS SOUPS 287528 WITH SCORE 289022.672
AT ITER 1356 NEW BEST:: SOT 3537174 SOS 1494626 HAS SOPS 1479866 HAS SOUS 289801 HAS SOUPS 287390 WITH SCORE 288884.626
AT ITER 1358 NEW BEST:: SOT 3537033 SOS 1494418 HAS SOPS 1479658 HAS SOUS 289596 HAS SOUPS 287185 WITH SCORE 288679.418
AT ITER 1359 NEW BEST:: SOT 3537063 SOS 1494448 HAS SOPS 1479718 HAS SOUS 289536 HAS SOUPS 287125 WITH SCORE 288619.448
AT ITER 1360 NEW BEST:: SOT 3536962 SOS 1494101 HAS SOPS 1479371 HAS SOUS 289416 HAS SOUPS 287005 WITH SCORE 288499.101
AT ITER 1382 NEW BEST:: SOT 3536906 SOS 1491693 HAS SOPS 1477019 HAS SOUS 289304 HAS SOUPS 286893 WITH SCORE 288384.693
AT ITER 1388 NEW BEST:: SOT 3536920 SOS 1491707 HAS SOPS 1477033 HAS SOUS 289200 HAS SOUPS 286789 WITH SCORE 288280.707
AT ITER 1393 NEW BEST:: SOT 3536868 SOS 1491626 HAS SOPS 1476952 HAS SOUS 289119 HAS SOUPS 286708 WITH SCORE 288199.626
AT ITER 1404 NEW BEST:: SOT 3528583 SOS 1483285 HAS SOPS 1468611 HAS SOUS 288621 HAS SOUPS 286210 WITH SCORE 287693.285
AT ITER 1428 NEW BEST:: SOT 3528553 SOS 1483255 HAS SOPS 1468611 HAS SOUS 288603 HAS SOUPS 286192 WITH SCORE 287675.255
AT ITER 1429 NEW BEST:: SOT 3528516 SOS 1483212 HAS SOPS 1468568 HAS SOUS 288529 HAS SOUPS 286118 WITH SCORE 287601.212
AT ITER 1457 NEW BEST:: SOT 3528334 SOS 1483044 HAS SOPS 1468400 HAS SOUS 288423 HAS SOUPS 286012 WITH SCORE 287495.044
AT ITER 1477 NEW BEST:: SOT 3528329 SOS 1483039 HAS SOPS 1468395 HAS SOUS 288416 HAS SOUPS 286005 WITH SCORE 287488.039
AT ITER 1478 NEW BEST:: SOT 3528081 SOS 1482791 HAS SOPS 1468147 HAS SOUS 288301 HAS SOUPS 285890 WITH SCORE 287372.791
AT ITER 1503 NEW BEST:: SOT 3527974 SOS 1482672 HAS SOPS 1468099 HAS SOUS 288243 HAS SOUPS 285832 WITH SCORE 287314.672
AT ITER 1511 NEW BEST:: SOT 3527945 SOS 1482627 HAS SOPS 1468082 HAS SOUS 288241 HAS SOUPS 285830 WITH SCORE 287312.627
AT ITER 1515 NEW BEST:: SOT 3526778 SOS 1481376 HAS SOPS 1466831 HAS SOUS 287346 HAS SOUPS 284935 WITH SCORE 286416.376
AT ITER 1534 NEW BEST:: SOT 3526778 SOS 1479170 HAS SOPS 1464625 HAS SOUS 287346 HAS SOUPS 284935 WITH SCORE 286414.17
AT ITER 1536 NEW BEST:: SOT 3526778 SOS 1479170 HAS SOPS 1464625 HAS SOUS 287336 HAS SOUPS 284925 WITH SCORE 286404.17
AT ITER 1538 NEW BEST:: SOT 3526778 SOS 1479160 HAS SOPS 1464615 HAS SOUS 287316 HAS SOUPS 284905 WITH SCORE 286384.16
AT ITER 1539 NEW BEST:: SOT 3526705 SOS 1478997 HAS SOPS 1464452 HAS SOUS 287170 HAS SOUPS 284759 WITH SCORE 286237.997
AT ITER 1543 NEW BEST:: SOT 3526688 SOS 1478980 HAS SOPS 1464435 HAS SOUS 287153 HAS SOUPS 284742 WITH SCORE 286220.98
AT ITER 1553 NEW BEST:: SOT 3526680 SOS 1478972 HAS SOPS 1464427 HAS SOUS 287137 HAS SOUPS 284726 WITH SCORE 286204.972
AT ITER 1569 NEW BEST:: SOT 3526520 SOS 1479032 HAS SOPS 1464497 HAS SOUS 287049 HAS SOUPS 284638 WITH SCORE 286117.032
AT ITER 1584 NEW BEST:: SOT 3526520 SOS 1478834 HAS SOPS 1464299 HAS SOUS 287049 HAS SOUPS 284638 WITH SCORE 286116.834
AT ITER 1585 NEW BEST:: SOT 3526371 SOS 1478685 HAS SOPS 1464150 HAS SOUS 286941 HAS SOUPS 284530 WITH SCORE 286008.685
AT ITER 1588 NEW BEST:: SOT 3526376 SOS 1474760 HAS SOPS 1460225 HAS SOUS 286944 HAS SOUPS 284533 WITH SCORE 286007.76
AT ITER 1590 NEW BEST:: SOT 3526360 SOS 1474744 HAS SOPS 1460209 HAS SOUS 286882 HAS SOUPS 284471 WITH SCORE 285945.744
AT ITER 1599 NEW BEST:: SOT 3507333 SOS 1455609 HAS SOPS 1441074 HAS SOUS 284367 HAS SOUPS 281956 WITH SCORE 283411.609
AT ITER 1601 NEW BEST:: SOT 3507319 SOS 1455592 HAS SOPS 1441057 HAS SOUS 284353 HAS SOUPS 281942 WITH SCORE 283397.592
AT ITER 1607 NEW BEST:: SOT 3507336 SOS 1455609 HAS SOPS 1441074 HAS SOUS 284315 HAS SOUPS 281904 WITH SCORE 283359.609
AT ITER 1613 NEW BEST:: SOT 3507341 SOS 1455619 HAS SOPS 1441084 HAS SOUS 284293 HAS SOUPS 281882 WITH SCORE 283337.619
AT ITER 1617 NEW BEST:: SOT 3507329 SOS 1455607 HAS SOPS 1441121 HAS SOUS 284074 HAS SOUPS 281663 WITH SCORE 283118.607
AT ITER 1646 NEW BEST:: SOT 3507329 SOS 1455488 HAS SOPS 1441002 HAS SOUS 283567 HAS SOUPS 281156 WITH SCORE 282611.488
AT ITER 1659 NEW BEST:: SOT 3507302 SOS 1455461 HAS SOPS 1440975 HAS SOUS 283522 HAS SOUPS 281111 WITH SCORE 282566.461
AT ITER 1672 NEW BEST:: SOT 3507298 SOS 1455253 HAS SOPS 1440767 HAS SOUS 283005 HAS SOUPS 280594 WITH SCORE 282049.253
AT ITER 1675 NEW BEST:: SOT 3507283 SOS 1455238 HAS SOPS 1440752 HAS SOUS 282975 HAS SOUPS 280564 WITH SCORE 282019.238
AT ITER 1684 NEW BEST:: SOT 3507256 SOS 1455211 HAS SOPS 1440710 HAS SOUS 282921 HAS SOUPS 280510 WITH SCORE 281965.211
AT ITER 1702 NEW BEST:: SOT 3507436 SOS 1455335 HAS SOPS 1440834 HAS SOUS 282273 HAS SOUPS 279862 WITH SCORE 281317.335
AT ITER 1717 NEW BEST:: SOT 3507409 SOS 1455308 HAS SOPS 1440786 HAS SOUS 282220 HAS SOUPS 279808 WITH SCORE 281263.308
AT ITER 1722 NEW BEST:: SOT 3506943 SOS 1454769 HAS SOPS 1440247 HAS SOUS 282125 HAS SOUPS 279713 WITH SCORE 281167.769
AT ITER 1730 NEW BEST:: SOT 3506931 SOS 1454757 HAS SOPS 1440235 HAS SOUS 282099 HAS SOUPS 279687 WITH SCORE 281141.757
AT ITER 1758 NEW BEST:: SOT 3506931 SOS 1454736 HAS SOPS 1440214 HAS SOUS 282099 HAS SOUPS 279687 WITH SCORE 281141.736
AT ITER 1762 NEW BEST:: SOT 3506951 SOS 1454756 HAS SOPS 1440198 HAS SOUS 282027 HAS SOUPS 279615 WITH SCORE 281069.756
AT ITER 1765 NEW BEST:: SOT 3506751 SOS 1454606 HAS SOPS 1440048 HAS SOUS 281872 HAS SOUPS 279460 WITH SCORE 280914.606
AT ITER 1766 NEW BEST:: SOT 3505344 SOS 1453199 HAS SOPS 1438641 HAS SOUS 281631 HAS SOUPS 279219 WITH SCORE 280672.199
AT ITER 1774 NEW BEST:: SOT 3505344 SOS 1453174 HAS SOPS 1438616 HAS SOUS 281581 HAS SOUPS 279169 WITH SCORE 280622.174
AT ITER 1776 NEW BEST:: SOT 3505380 SOS 1453421 HAS SOPS 1438863 HAS SOUS 281281 HAS SOUPS 278869 WITH SCORE 280322.421
AT ITER 1786 NEW BEST:: SOT 3505359 SOS 1453400 HAS SOPS 1438806 HAS SOUS 281191 HAS SOUPS 278770 WITH SCORE 280223.4
AT ITER 1788 NEW BEST:: SOT 3505359 SOS 1453452 HAS SOPS 1438858 HAS SOUS 281009 HAS SOUPS 278588 WITH SCORE 280041.452
AT ITER 1801 NEW BEST:: SOT 3505308 SOS 1453401 HAS SOPS 1438771 HAS SOUS 280874 HAS SOUPS 278451 WITH SCORE 279904.401
AT ITER 1846 NEW BEST:: SOT 3505282 SOS 1453294 HAS SOPS 1438664 HAS SOUS 280824 HAS SOUPS 278401 WITH SCORE 279854.294
AT ITER 1852 NEW BEST:: SOT 3505291 SOS 1453460 HAS SOPS 1438830 HAS SOUS 280816 HAS SOUPS 278393 WITH SCORE 279846.46
AT ITER 1865 NEW BEST:: SOT 3505037 SOS 1453058 HAS SOPS 1438428 HAS SOUS 280615 HAS SOUPS 278192 WITH SCORE 279645.058
AT ITER 1868 NEW BEST:: SOT 3505075 SOS 1453096 HAS SOPS 1438437 HAS SOUS 280621 HAS SOUPS 278185 WITH SCORE 279638.096
AT ITER 1873 NEW BEST:: SOT 3505063 SOS 1453084 HAS SOPS 1438425 HAS SOUS 280609 HAS SOUPS 278173 WITH SCORE 279626.084
AT ITER 1884 NEW BEST:: SOT 3505495 SOS 1453554 HAS SOPS 1438914 HAS SOUS 280266 HAS SOUPS 277830 WITH SCORE 279283.554
AT ITER 1886 NEW BEST:: SOT 3505495 SOS 1453377 HAS SOPS 1438737 HAS SOUS 280154 HAS SOUPS 277718 WITH SCORE 279171.377
AT ITER 1894 NEW BEST:: SOT 3503907 SOS 1451808 HAS SOPS 1437168 HAS SOUS 278909 HAS SOUPS 276473 WITH SCORE 277924.808
AT ITER 1904 NEW BEST:: SOT 3503972 SOS 1451873 HAS SOPS 1437202 HAS SOUS 278875 HAS SOUPS 276439 WITH SCORE 277890.873
AT ITER 1906 NEW BEST:: SOT 3503972 SOS 1451873 HAS SOPS 1437202 HAS SOUS 278751 HAS SOUPS 276315 WITH SCORE 277766.873
AT ITER 1922 NEW BEST:: SOT 3503914 SOS 1451819 HAS SOPS 1437148 HAS SOUS 278377 HAS SOUPS 275941 WITH SCORE 277392.819
AT ITER 1933 NEW BEST:: SOT 3503824 SOS 1451729 HAS SOPS 1437058 HAS SOUS 278197 HAS SOUPS 275761 WITH SCORE 277212.729
AT ITER 1946 NEW BEST:: SOT 3503743 SOS 1451648 HAS SOPS 1437003 HAS SOUS 278168 HAS SOUPS 275732 WITH SCORE 277183.648
AT ITER 1950 NEW BEST:: SOT 3503518 SOS 1451423 HAS SOPS 1436778 HAS SOUS 277889 HAS SOUPS 275453 WITH SCORE 276904.423
AT ITER 1954 NEW BEST:: SOT 3503518 SOS 1451403 HAS SOPS 1436758 HAS SOUS 277879 HAS SOUPS 275443 WITH SCORE 276894.403
AT ITER 1977 NEW BEST:: SOT 3503512 SOS 1451397 HAS SOPS 1436752 HAS SOUS 277867 HAS SOUPS 275431 WITH SCORE 276882.397
AT ITER 1998 NEW BEST:: SOT 3503525 SOS 1451406 HAS SOPS 1436761 HAS SOUS 277846 HAS SOUPS 275410 WITH SCORE 276861.406
AT ITER 2003 NEW BEST:: SOT 3503649 SOS 1451530 HAS SOPS 1436885 HAS SOUS 277835 HAS SOUPS 275399 WITH SCORE 276850.53
AT ITER 2007 NEW BEST:: SOT 3503621 SOS 1451466 HAS SOPS 1436821 HAS SOUS 277771 HAS SOUPS 275335 WITH SCORE 276786.466
AT ITER 2019 NEW BEST:: SOT 3464914 SOS 1412759 HAS SOPS 1398114 HAS SOUS 271897 HAS SOUPS 269461 WITH SCORE 270873.759
AT ITER 2021 NEW BEST:: SOT 3464514 SOS 1412333 HAS SOPS 1397688 HAS SOUS 271864 HAS SOUPS 269428 WITH SCORE 270840.333
AT ITER 2024 NEW BEST:: SOT 3464514 SOS 1412353 HAS SOPS 1397708 HAS SOUS 271859 HAS SOUPS 269423 WITH SCORE 270835.353
AT ITER 2027 NEW BEST:: SOT 3464346 SOS 1412214 HAS SOPS 1397569 HAS SOUS 271469 HAS SOUPS 269033 WITH SCORE 270445.214
AT ITER 2045 NEW BEST:: SOT 3464356 SOS 1412224 HAS SOPS 1397579 HAS SOUS 271459 HAS SOUPS 269023 WITH SCORE 270435.224
AT ITER 2054 NEW BEST:: SOT 3464082 SOS 1412029 HAS SOPS 1397384 HAS SOUS 271266 HAS SOUPS 268830 WITH SCORE 270242.029
AT ITER 2068 NEW BEST:: SOT 3464029 SOS 1411976 HAS SOPS 1397328 HAS SOUS 271160 HAS SOUPS 268724 WITH SCORE 270135.976
AT ITER 2075 NEW BEST:: SOT 3485687 SOS 1433634 HAS SOPS 1418986 HAS SOUS 270608 HAS SOUPS 268172 WITH SCORE 269605.634
AT ITER 2078 NEW BEST:: SOT 3485702 SOS 1431403 HAS SOPS 1416229 HAS SOUS 270494 HAS SOUPS 268051 WITH SCORE 269482.403
AT ITER 2092 NEW BEST:: SOT 3485699 SOS 1431400 HAS SOPS 1416223 HAS SOUS 270488 HAS SOUPS 268045 WITH SCORE 269476.4
AT ITER 2094 NEW BEST:: SOT 3484917 SOS 1430618 HAS SOPS 1415441 HAS SOUS 270388 HAS SOUPS 267945 WITH SCORE 269375.618
AT ITER 2108 NEW BEST:: SOT 3484877 SOS 1430558 HAS SOPS 1415381 HAS SOUS 270308 HAS SOUPS 267865 WITH SCORE 269295.558
AT ITER 2109 NEW BEST:: SOT 3484621 SOS 1430029 HAS SOPS 1414852 HAS SOUS 269779 HAS SOUPS 267336 WITH SCORE 268766.029
AT ITER 2110 NEW BEST:: SOT 3484435 SOS 1429500 HAS SOPS 1414323 HAS SOUS 269411 HAS SOUPS 266968 WITH SCORE 268397.5
AT ITER 2113 NEW BEST:: SOT 3484036 SOS 1429173 HAS SOPS 1413996 HAS SOUS 269048 HAS SOUPS 266605 WITH SCORE 268034.173
AT ITER 2140 NEW BEST:: SOT 3484062 SOS 1429091 HAS SOPS 1414022 HAS SOUS 268989 HAS SOUPS 266564 WITH SCORE 267993.091
AT ITER 2169 NEW BEST:: SOT 3483980 SOS 1429009 HAS SOPS 1413940 HAS SOUS 268615 HAS SOUPS 266190 WITH SCORE 267619.009
AT ITER 2174 NEW BEST:: SOT 3483178 SOS 1428209 HAS SOPS 1413140 HAS SOUS 268337 HAS SOUPS 265912 WITH SCORE 267340.209
AT ITER 2188 NEW BEST:: SOT 3483178 SOS 1428163 HAS SOPS 1413094 HAS SOUS 268335 HAS SOUPS 265910 WITH SCORE 267338.163
AT ITER 2191 NEW BEST:: SOT 3483127 SOS 1428095 HAS SOPS 1413026 HAS SOUS 268323 HAS SOUPS 265898 WITH SCORE 267326.095
AT ITER 2203 NEW BEST:: SOT 3483174 SOS 1428142 HAS SOPS 1413061 HAS SOUS 268299 HAS SOUPS 265874 WITH SCORE 267302.142
AT ITER 2209 NEW BEST:: SOT 3483125 SOS 1428044 HAS SOPS 1413012 HAS SOUS 268299 HAS SOUPS 265874 WITH SCORE 267302.044
AT ITER 2223 NEW BEST:: SOT 3483085 SOS 1428024 HAS SOPS 1412992 HAS SOUS 268279 HAS SOUPS 265854 WITH SCORE 267282.024
AT ITER 2233 NEW BEST:: SOT 3483024 SOS 1427963 HAS SOPS 1412931 HAS SOUS 268157 HAS SOUPS 265732 WITH SCORE 267159.963
AT ITER 2258 NEW BEST:: SOT 3482988 SOS 1428483 HAS SOPS 1413451 HAS SOUS 268152 HAS SOUPS 265727 WITH SCORE 267155.483
AT ITER 2279 NEW BEST:: SOT 3483018 SOS 1428196 HAS SOPS 1413160 HAS SOUS 268091 HAS SOUPS 265666 WITH SCORE 267094.196
AT ITER 2283 NEW BEST:: SOT 3482982 SOS 1428142 HAS SOPS 1413106 HAS SOUS 268037 HAS SOUPS 265612 WITH SCORE 267040.142
AT ITER 2284 NEW BEST:: SOT 3482916 SOS 1428076 HAS SOPS 1413040 HAS SOUS 267789 HAS SOUPS 265364 WITH SCORE 266792.076
AT ITER 2303 NEW BEST:: SOT 3451012 SOS 1396206 HAS SOPS 1381170 HAS SOUS 262993 HAS SOUPS 260568 WITH SCORE 261964.206
AT ITER 2306 NEW BEST:: SOT 3451012 SOS 1394287 HAS SOPS 1379251 HAS SOUS 262992 HAS SOUPS 260567 WITH SCORE 261961.287
AT ITER 2309 NEW BEST:: SOT 3450956 SOS 1394229 HAS SOPS 1379193 HAS SOUS 262988 HAS SOUPS 260563 WITH SCORE 261957.229
AT ITER 2317 NEW BEST:: SOT 3450942 SOS 1394243 HAS SOPS 1379221 HAS SOUS 262946 HAS SOUPS 260521 WITH SCORE 261915.243
AT ITER 2322 NEW BEST:: SOT 3450918 SOS 1394219 HAS SOPS 1379197 HAS SOUS 262946 HAS SOUPS 260521 WITH SCORE 261915.219
AT ITER 2323 NEW BEST:: SOT 3450812 SOS 1394007 HAS SOPS 1378985 HAS SOUS 262734 HAS SOUPS 260309 WITH SCORE 261703.007
AT ITER 2324 NEW BEST:: SOT 3450774 SOS 1393954 HAS SOPS 1378932 HAS SOUS 262621 HAS SOUPS 260196 WITH SCORE 261589.954
AT ITER 2347 NEW BEST:: SOT 3450650 SOS 1393841 HAS SOPS 1378906 HAS SOUS 262570 HAS SOUPS 260145 WITH SCORE 261538.841
AT ITER 2354 NEW BEST:: SOT 3450650 SOS 1393841 HAS SOPS 1378822 HAS SOUS 262612 HAS SOUPS 260103 WITH SCORE 261496.841
AT ITER 2363 NEW BEST:: SOT 3450671 SOS 1393860 HAS SOPS 1378841 HAS SOUS 262452 HAS SOUPS 259943 WITH SCORE 261336.86
AT ITER 2401 NEW BEST:: SOT 3450640 SOS 1393829 HAS SOPS 1378810 HAS SOUS 262390 HAS SOUPS 259881 WITH SCORE 261274.829
AT ITER 2408 NEW BEST:: SOT 3450633 SOS 1393822 HAS SOPS 1378803 HAS SOUS 262390 HAS SOUPS 259881 WITH SCORE 261274.822
AT ITER 2420 NEW BEST:: SOT 3450607 SOS 1393804 HAS SOPS 1378785 HAS SOUS 262338 HAS SOUPS 259829 WITH SCORE 261222.804
AT ITER 2423 NEW BEST:: SOT 3450571 SOS 1393724 HAS SOPS 1378705 HAS SOUS 262310 HAS SOUPS 259801 WITH SCORE 261194.724
AT ITER 2424 NEW BEST:: SOT 3450240 SOS 1393426 HAS SOPS 1378407 HAS SOUS 262061 HAS SOUPS 259552 WITH SCORE 260945.426
AT ITER 2464 NEW BEST:: SOT 3450215 SOS 1393406 HAS SOPS 1378387 HAS SOUS 262041 HAS SOUPS 259532 WITH SCORE 260925.406
AT ITER 2510 NEW BEST:: SOT 3450076 SOS 1393335 HAS SOPS 1378316 HAS SOUS 262035 HAS SOUPS 259526 WITH SCORE 260919.335
AT ITER 2513 NEW BEST:: SOT 3438304 SOS 1381563 HAS SOPS 1366544 HAS SOUS 260718 HAS SOUPS 258209 WITH SCORE 259590.563
AT ITER 2521 NEW BEST:: SOT 3438287 SOS 1381003 HAS SOPS 1365984 HAS SOUS 260579 HAS SOUPS 258070 WITH SCORE 259451.003
AT ITER 2525 NEW BEST:: SOT 3438245 SOS 1380903 HAS SOPS 1365884 HAS SOUS 260569 HAS SOUPS 258060 WITH SCORE 259440.903
AT ITER 2536 NEW BEST:: SOT 3437823 SOS 1390450 HAS SOPS 1375431 HAS SOUS 260359 HAS SOUPS 257850 WITH SCORE 259240.45
AT ITER 2540 NEW BEST:: SOT 3437799 SOS 1390378 HAS SOPS 1375335 HAS SOUS 260287 HAS SOUPS 257778 WITH SCORE 259168.378
AT ITER 2544 NEW BEST:: SOT 3437685 SOS 1390302 HAS SOPS 1375259 HAS SOUS 260211 HAS SOUPS 257702 WITH SCORE 259092.302
AT ITER 2547 NEW BEST:: SOT 3434549 SOS 1387166 HAS SOPS 1372123 HAS SOUS 259134 HAS SOUPS 256625 WITH SCORE 258012.166
AT ITER 2553 NEW BEST:: SOT 3434549 SOS 1387166 HAS SOPS 1372147 HAS SOUS 259039 HAS SOUPS 256530 WITH SCORE 257917.166
AT ITER 2585 NEW BEST:: SOT 3434460 SOS 1387106 HAS SOPS 1372087 HAS SOUS 259026 HAS SOUPS 256517 WITH SCORE 257904.106
AT ITER 2593 NEW BEST:: SOT 3434460 SOS 1387034 HAS SOPS 1372087 HAS SOUS 258246 HAS SOUPS 255749 WITH SCORE 257136.034
AT ITER 2604 NEW BEST:: SOT 3434430 SOS 1388215 HAS SOPS 1373268 HAS SOUS 258216 HAS SOUPS 255719 WITH SCORE 257107.215
AT ITER 2618 NEW BEST:: SOT 3434254 SOS 1388093 HAS SOPS 1373146 HAS SOUS 258094 HAS SOUPS 255597 WITH SCORE 256985.093
AT ITER 2636 NEW BEST:: SOT 3433545 SOS 1387364 HAS SOPS 1372417 HAS SOUS 257762 HAS SOUPS 255265 WITH SCORE 256652.364
AT ITER 2646 NEW BEST:: SOT 3293618 SOS 1247649 HAS SOPS 1232702 HAS SOUS 246672 HAS SOUPS 244175 WITH SCORE 245422.649
AT ITER 2647 NEW BEST:: SOT 3293388 SOS 1247482 HAS SOPS 1232535 HAS SOUS 246549 HAS SOUPS 244052 WITH SCORE 245299.482
AT ITER 2673 NEW BEST:: SOT 3293384 SOS 1247464 HAS SOPS 1232517 HAS SOUS 246384 HAS SOUPS 243887 WITH SCORE 245134.464
AT ITER 2679 NEW BEST:: SOT 3293383 SOS 1247463 HAS SOPS 1232516 HAS SOUS 246382 HAS SOUPS 243885 WITH SCORE 245132.463
AT ITER 2709 NEW BEST:: SOT 3293153 SOS 1247134 HAS SOPS 1232287 HAS SOUS 246193 HAS SOUPS 243709 WITH SCORE 244956.134
AT ITER 2718 NEW BEST:: SOT 3293219 SOS 1247200 HAS SOPS 1232253 HAS SOUS 246129 HAS SOUPS 243632 WITH SCORE 244879.2
AT ITER 2730 NEW BEST:: SOT 3293152 SOS 1247133 HAS SOPS 1232186 HAS SOUS 246120 HAS SOUPS 243623 WITH SCORE 244870.133
AT ITER 2753 NEW BEST:: SOT 3293055 SOS 1247069 HAS SOPS 1232122 HAS SOUS 246059 HAS SOUPS 243562 WITH SCORE 244809.069
AT ITER 2760 NEW BEST:: SOT 3293055 SOS 1247048 HAS SOPS 1232101 HAS SOUS 246049 HAS SOUPS 243552 WITH SCORE 244799.048
AT ITER 2761 NEW BEST:: SOT 3292149 SOS 1246311 HAS SOPS 1231364 HAS SOUS 245254 HAS SOUPS 242757 WITH SCORE 244003.311
AT ITER 2767 NEW BEST:: SOT 3292129 SOS 1246291 HAS SOPS 1231344 HAS SOUS 245214 HAS SOUPS 242717 WITH SCORE 243963.291
AT ITER 2780 NEW BEST:: SOT 3292125 SOS 1246283 HAS SOPS 1231336 HAS SOUS 245214 HAS SOUPS 242717 WITH SCORE 243963.283
AT ITER 2793 NEW BEST:: SOT 3292071 SOS 1246229 HAS SOPS 1231282 HAS SOUS 245160 HAS SOUPS 242663 WITH SCORE 243909.229
AT ITER 2800 NEW BEST:: SOT 3292051 SOS 1246104 HAS SOPS 1231157 HAS SOUS 245120 HAS SOUPS 242623 WITH SCORE 243869.104
AT ITER 2835 NEW BEST:: SOT 3291626 SOS 1245887 HAS SOPS 1230940 HAS SOUS 245094 HAS SOUPS 242597 WITH SCORE 243842.887
AT ITER 2836 NEW BEST:: SOT 3291584 SOS 1245845 HAS SOPS 1230898 HAS SOUS 244235 HAS SOUPS 241738 WITH SCORE 242983.845
AT ITER 2838 NEW BEST:: SOT 3291584 SOS 1245825 HAS SOPS 1230878 HAS SOUS 244235 HAS SOUPS 241738 WITH SCORE 242983.825
AT ITER 2843 NEW BEST:: SOT 3291547 SOS 1245793 HAS SOPS 1230822 HAS SOUS 244221 HAS SOUPS 241703 WITH SCORE 242948.793
AT ITER 2873 NEW BEST:: SOT 3291547 SOS 1245793 HAS SOPS 1230822 HAS SOUS 244180 HAS SOUPS 241662 WITH SCORE 242907.793
AT ITER 2875 NEW BEST:: SOT 3291515 SOS 1245761 HAS SOPS 1230790 HAS SOUS 244148 HAS SOUPS 241630 WITH SCORE 242875.761
AT ITER 2888 NEW BEST:: SOT 3291515 SOS 1245703 HAS SOPS 1230732 HAS SOUS 243600 HAS SOUPS 241082 WITH SCORE 242327.703
AT ITER 2894 NEW BEST:: SOT 3291405 SOS 1245597 HAS SOPS 1230626 HAS SOUS 243382 HAS SOUPS 240864 WITH SCORE 242109.597
AT ITER 2906 NEW BEST:: SOT 3291395 SOS 1245617 HAS SOPS 1230646 HAS SOUS 243362 HAS SOUPS 240844 WITH SCORE 242089.617
AT ITER 2914 NEW BEST:: SOT 3291330 SOS 1245552 HAS SOPS 1230581 HAS SOUS 243297 HAS SOUPS 240779 WITH SCORE 242024.552
AT ITER 2943 NEW BEST:: SOT 3291162 SOS 1245504 HAS SOPS 1230533 HAS SOUS 243204 HAS SOUPS 240686 WITH SCORE 241931.504
AT ITER 2953 NEW BEST:: SOT 3291220 SOS 1245616 HAS SOPS 1230688 HAS SOUS 243099 HAS SOUPS 240581 WITH SCORE 241826.616
AT ITER 2968 NEW BEST:: SOT 3291299 SOS 1248170 HAS SOPS 1233242 HAS SOUS 243045 HAS SOUPS 240527 WITH SCORE 241775.17
AT ITER 2973 NEW BEST:: SOT 3291281 SOS 1248122 HAS SOPS 1233194 HAS SOUS 242997 HAS SOUPS 240479 WITH SCORE 241727.122
AT ITER 2979 NEW BEST:: SOT 3291050 SOS 1247891 HAS SOPS 1232963 HAS SOUS 242997 HAS SOUPS 240479 WITH SCORE 241726.891
AT ITER 2984 NEW BEST:: SOT 3291026 SOS 1247867 HAS SOPS 1232939 HAS SOUS 242973 HAS SOUPS 240455 WITH SCORE 241702.867
AT ITER 3022 NEW BEST:: SOT 3291072 SOS 1247922 HAS SOPS 1232994 HAS SOUS 242954 HAS SOUPS 240436 WITH SCORE 241683.922
AT ITER 3026 NEW BEST:: SOT 3290922 SOS 1247772 HAS SOPS 1232844 HAS SOUS 242610 HAS SOUPS 240092 WITH SCORE 241339.772
AT ITER 3032 NEW BEST:: SOT 3290937 SOS 1247877 HAS SOPS 1232859 HAS SOUS 242595 HAS SOUPS 240062 WITH SCORE 241309.877
AT ITER 3049 NEW BEST:: SOT 3290785 SOS 1247426 HAS SOPS 1232423 HAS SOUS 242291 HAS SOUPS 239758 WITH SCORE 241005.426
AT ITER 3051 NEW BEST:: SOT 3290526 SOS 1247100 HAS SOPS 1231981 HAS SOUS 241807 HAS SOUPS 239274 WITH SCORE 240521.1
AT ITER 3052 NEW BEST:: SOT 3290592 SOS 1247724 HAS SOPS 1232605 HAS SOUS 241616 HAS SOUPS 239083 WITH SCORE 240330.724
AT ITER 3090 NEW BEST:: SOT 3290390 SOS 1247443 HAS SOPS 1232324 HAS SOUS 241597 HAS SOUPS 239064 WITH SCORE 240311.443
AT ITER 3095 NEW BEST:: SOT 3290449 SOS 1247486 HAS SOPS 1232367 HAS SOUS 241533 HAS SOUPS 239000 WITH SCORE 240247.486
AT ITER 3125 NEW BEST:: SOT 3290249 SOS 1246966 HAS SOPS 1231847 HAS SOUS 241333 HAS SOUPS 238800 WITH SCORE 240046.966
AT ITER 3132 NEW BEST:: SOT 3290247 SOS 1247070 HAS SOPS 1231951 HAS SOUS 241294 HAS SOUPS 238761 WITH SCORE 240008.07
AT ITER 3170 NEW BEST:: SOT 3290268 SOS 1247091 HAS SOPS 1231915 HAS SOUS 241242 HAS SOUPS 238679 WITH SCORE 239926.091
AT ITER 3177 NEW BEST:: SOT 3290235 SOS 1247058 HAS SOPS 1231882 HAS SOUS 241149 HAS SOUPS 238586 WITH SCORE 239833.058
AT ITER 3192 NEW BEST:: SOT 3290262 SOS 1247085 HAS SOPS 1231936 HAS SOUS 241095 HAS SOUPS 238532 WITH SCORE 239779.085
AT ITER 3199 NEW BEST:: SOT 3290257 SOS 1247053 HAS SOPS 1231900 HAS SOUS 241084 HAS SOUPS 238521 WITH SCORE 239768.053
AT ITER 3210 NEW BEST:: SOT 3290123 SOS 1246896 HAS SOPS 1231743 HAS SOUS 240877 HAS SOUPS 238314 WITH SCORE 239560.896
AT ITER 3219 NEW BEST:: SOT 3290104 SOS 1246877 HAS SOPS 1231724 HAS SOUS 239082 HAS SOUPS 236519 WITH SCORE 237765.877
AT ITER 3236 NEW BEST:: SOT 3277240 SOS 1233980 HAS SOPS 1218827 HAS SOUS 237365 HAS SOUPS 234802 WITH SCORE 236035.98
AT ITER 3243 NEW BEST:: SOT 3277234 SOS 1233974 HAS SOPS 1218821 HAS SOUS 237337 HAS SOUPS 234774 WITH SCORE 236007.974
AT ITER 3249 NEW BEST:: SOT 3277229 SOS 1233964 HAS SOPS 1218811 HAS SOUS 237327 HAS SOUPS 234764 WITH SCORE 235997.964
AT ITER 3252 NEW BEST:: SOT 3277214 SOS 1233949 HAS SOPS 1218796 HAS SOUS 237251 HAS SOUPS 234688 WITH SCORE 235921.949
AT ITER 3261 NEW BEST:: SOT 3277178 SOS 1233949 HAS SOPS 1218796 HAS SOUS 234439 HAS SOUPS 231876 WITH SCORE 233109.949
AT ITER 3293 NEW BEST:: SOT 3277177 SOS 1233951 HAS SOPS 1218798 HAS SOUS 234435 HAS SOUPS 231872 WITH SCORE 233105.951
AT ITER 3314 NEW BEST:: SOT 3277244 SOS 1233407 HAS SOPS 1218316 HAS SOUS 234347 HAS SOUPS 231784 WITH SCORE 233017.407
AT ITER 3330 NEW BEST:: SOT 3277244 SOS 1233401 HAS SOPS 1218310 HAS SOUS 234347 HAS SOUPS 231784 WITH SCORE 233017.401
AT ITER 3346 NEW BEST:: SOT 3277230 SOS 1233387 HAS SOPS 1218296 HAS SOUS 234331 HAS SOUPS 231768 WITH SCORE 233001.387
AT ITER 3363 NEW BEST:: SOT 3277134 SOS 1233291 HAS SOPS 1218200 HAS SOUS 234235 HAS SOUPS 231672 WITH SCORE 232905.291
AT ITER 3367 NEW BEST:: SOT 3275276 SOS 1231433 HAS SOPS 1216342 HAS SOUS 234005 HAS SOUPS 231442 WITH SCORE 232673.433
AT ITER 3369 NEW BEST:: SOT 3275191 SOS 1231348 HAS SOPS 1216257 HAS SOUS 233835 HAS SOUPS 231272 WITH SCORE 232503.348
AT ITER 3391 NEW BEST:: SOT 3275219 SOS 1231373 HAS SOPS 1216206 HAS SOUS 233737 HAS SOUPS 231174 WITH SCORE 232405.373
AT ITER 3396 NEW BEST:: SOT 3275190 SOS 1231344 HAS SOPS 1216177 HAS SOUS 233708 HAS SOUPS 231145 WITH SCORE 232376.344
AT ITER 3403 NEW BEST:: SOT 3287624 SOS 1243665 HAS SOPS 1228498 HAS SOUS 228277 HAS SOUPS 225714 WITH SCORE 226957.665
AT ITER 3411 NEW BEST:: SOT 3287631 SOS 1243732 HAS SOPS 1228565 HAS SOUS 228261 HAS SOUPS 225698 WITH SCORE 226941.732
AT ITER 3413 NEW BEST:: SOT 3287653 SOS 1243886 HAS SOPS 1228587 HAS SOUS 228239 HAS SOUPS 225654 WITH SCORE 226897.886
AT ITER 3423 NEW BEST:: SOT 3287441 SOS 1243603 HAS SOPS 1228304 HAS SOUS 227956 HAS SOUPS 225371 WITH SCORE 226614.603
AT ITER 3459 NEW BEST:: SOT 3287440 SOS 1243602 HAS SOPS 1228303 HAS SOUS 227956 HAS SOUPS 225371 WITH SCORE 226614.602
AT ITER 3467 NEW BEST:: SOT 3287429 SOS 1243591 HAS SOPS 1228292 HAS SOUS 227942 HAS SOUPS 225357 WITH SCORE 226600.591
AT ITER 3511 NEW BEST:: SOT 3287202 SOS 1243411 HAS SOPS 1228112 HAS SOUS 227715 HAS SOUPS 225130 WITH SCORE 226373.411
AT ITER 3517 NEW BEST:: SOT 3287204 SOS 1243411 HAS SOPS 1228112 HAS SOUS 227707 HAS SOUPS 225122 WITH SCORE 226365.411
AT ITER 3532 NEW BEST:: SOT 3287204 SOS 1243355 HAS SOPS 1228056 HAS SOUS 227707 HAS SOUPS 225122 WITH SCORE 226365.355
AT ITER 3546 NEW BEST:: SOT 3287114 SOS 1243265 HAS SOPS 1227966 HAS SOUS 227587 HAS SOUPS 225002 WITH SCORE 226245.265
AT ITER 3568 NEW BEST:: SOT 3287092 SOS 1243243 HAS SOPS 1227922 HAS SOUS 227543 HAS SOUPS 224958 WITH SCORE 226201.243
AT ITER 3586 NEW BEST:: SOT 3287092 SOS 1243162 HAS SOPS 1227841 HAS SOUS 227543 HAS SOUPS 224958 WITH SCORE 226201.162
AT ITER 3589 NEW BEST:: SOT 3287065 SOS 1243135 HAS SOPS 1227814 HAS SOUS 227543 HAS SOUPS 224958 WITH SCORE 226201.135
AT ITER 3590 NEW BEST:: SOT 3287059 SOS 1243129 HAS SOPS 1227802 HAS SOUS 227531 HAS SOUPS 224946 WITH SCORE 226189.129
AT ITER 3605 NEW BEST:: SOT 3286867 SOS 1242938 HAS SOPS 1227603 HAS SOUS 227343 HAS SOUPS 224758 WITH SCORE 226000.938
AT ITER 3627 NEW BEST:: SOT 3286730 SOS 1242836 HAS SOPS 1227501 HAS SOUS 227178 HAS SOUPS 224593 WITH SCORE 225835.836
AT ITER 3628 NEW BEST:: SOT 3269804 SOS 1225910 HAS SOPS 1210575 HAS SOUS 225887 HAS SOUPS 223302 WITH SCORE 224527.91
AT ITER 3653 NEW BEST:: SOT 3269633 SOS 1225657 HAS SOPS 1210322 HAS SOUS 225584 HAS SOUPS 222999 WITH SCORE 224224.657
AT ITER 3656 NEW BEST:: SOT 3270930 SOS 1226982 HAS SOPS 1211647 HAS SOUS 225359 HAS SOUPS 222774 WITH SCORE 224000.982
AT ITER 3660 NEW BEST:: SOT 3270740 SOS 1226792 HAS SOPS 1211457 HAS SOUS 225135 HAS SOUPS 222550 WITH SCORE 223776.792
AT ITER 3704 NEW BEST:: SOT 3270679 SOS 1226626 HAS SOPS 1211291 HAS SOUS 225013 HAS SOUPS 222428 WITH SCORE 223654.626
AT ITER 3728 NEW BEST:: SOT 3270679 SOS 1225366 HAS SOPS 1210031 HAS SOUS 225013 HAS SOUPS 222428 WITH SCORE 223653.366
AT ITER 3747 NEW BEST:: SOT 3270613 SOS 1225300 HAS SOPS 1209948 HAS SOUS 224915 HAS SOUPS 222330 WITH SCORE 223555.3
AT ITER 3752 NEW BEST:: SOT 3270596 SOS 1225283 HAS SOPS 1209931 HAS SOUS 224823 HAS SOUPS 222238 WITH SCORE 223463.283
AT ITER 3759 NEW BEST:: SOT 3270617 SOS 1225119 HAS SOPS 1209758 HAS SOUS 224688 HAS SOUPS 222103 WITH SCORE 223328.119
AT ITER 3788 NEW BEST:: SOT 3270584 SOS 1225075 HAS SOPS 1209714 HAS SOUS 224633 HAS SOUPS 222048 WITH SCORE 223273.075
AT ITER 3806 NEW BEST:: SOT 3270422 SOS 1224913 HAS SOPS 1209552 HAS SOUS 224520 HAS SOUPS 221935 WITH SCORE 223159.913
AT ITER 3815 NEW BEST:: SOT 3270333 SOS 1224693 HAS SOPS 1209405 HAS SOUS 224484 HAS SOUPS 221901 WITH SCORE 223125.693
AT ITER 3825 NEW BEST:: SOT 3270336 SOS 1224696 HAS SOPS 1209408 HAS SOUS 224475 HAS SOUPS 221892 WITH SCORE 223116.696
AT ITER 3859 NEW BEST:: SOT 3272103 SOS 1226463 HAS SOPS 1211175 HAS SOUS 222188 HAS SOUPS 219605 WITH SCORE 220831.463
AT ITER 3867 NEW BEST:: SOT 3272376 SOS 1226669 HAS SOPS 1211381 HAS SOUS 221528 HAS SOUPS 218945 WITH SCORE 220171.669
AT ITER 3873 NEW BEST:: SOT 3272519 SOS 1226812 HAS SOPS 1211524 HAS SOUS 221464 HAS SOUPS 218881 WITH SCORE 220107.812
AT ITER 3896 NEW BEST:: SOT 3272546 SOS 1226936 HAS SOPS 1211648 HAS SOUS 221459 HAS SOUPS 218876 WITH SCORE 220102.936
AT ITER 3900 NEW BEST:: SOT 3272576 SOS 1226966 HAS SOPS 1211647 HAS SOUS 221457 HAS SOUPS 218874 WITH SCORE 220100.966
AT ITER 3904 NEW BEST:: SOT 3272128 SOS 1226518 HAS SOPS 1211199 HAS SOUS 221009 HAS SOUPS 218426 WITH SCORE 219652.518
AT ITER 3913 NEW BEST:: SOT 3272023 SOS 1226413 HAS SOPS 1211094 HAS SOUS 220765 HAS SOUPS 218182 WITH SCORE 219408.413
AT ITER 3918 NEW BEST:: SOT 3271979 SOS 1226363 HAS SOPS 1211044 HAS SOUS 220711 HAS SOUPS 218128 WITH SCORE 219354.363
AT ITER 3940 NEW BEST:: SOT 3271988 SOS 1226372 HAS SOPS 1211045 HAS SOUS 220695 HAS SOUPS 218112 WITH SCORE 219338.372
AT ITER 3943 NEW BEST:: SOT 3271993 SOS 1226377 HAS SOPS 1211051 HAS SOUS 220617 HAS SOUPS 218034 WITH SCORE 219260.377
AT ITER 3955 NEW BEST:: SOT 3272003 SOS 1226345 HAS SOPS 1211019 HAS SOUS 220534 HAS SOUPS 217951 WITH SCORE 219177.345
AT ITER 3969 NEW BEST:: SOT 3271939 SOS 1226339 HAS SOPS 1211013 HAS SOUS 220290 HAS SOUPS 217707 WITH SCORE 218933.339
AT ITER 3970 NEW BEST:: SOT 3271929 SOS 1226323 HAS SOPS 1211013 HAS SOUS 220284 HAS SOUPS 217705 WITH SCORE 218931.323
AT ITER 3995 NEW BEST:: SOT 3271923 SOS 1226317 HAS SOPS 1211007 HAS SOUS 220272 HAS SOUPS 217693 WITH SCORE 218919.317
AT ITER 4000 NEW BEST:: SOT 3271608 SOS 1226007 HAS SOPS 1210675 HAS SOUS 219989 HAS SOUPS 217410 WITH SCORE 218636.007
AT ITER 4003 NEW BEST:: SOT 3271670 SOS 1226123 HAS SOPS 1210736 HAS SOUS 219988 HAS SOUPS 217409 WITH SCORE 218635.123
AT ITER 4020 NEW BEST:: SOT 3271385 SOS 1225838 HAS SOPS 1210451 HAS SOUS 219693 HAS SOUPS 217114 WITH SCORE 218339.838
AT ITER 4021 NEW BEST:: SOT 3271304 SOS 1225757 HAS SOPS 1210353 HAS SOUS 219548 HAS SOUPS 216969 WITH SCORE 218194.757
AT ITER 4034 NEW BEST:: SOT 3271293 SOS 1225746 HAS SOPS 1210342 HAS SOUS 219517 HAS SOUPS 216938 WITH SCORE 218163.746
AT ITER 4056 NEW BEST:: SOT 3271291 SOS 1225745 HAS SOPS 1210341 HAS SOUS 219514 HAS SOUPS 216935 WITH SCORE 218160.745
AT ITER 4058 NEW BEST:: SOT 3271078 SOS 1225513 HAS SOPS 1210109 HAS SOUS 219348 HAS SOUPS 216769 WITH SCORE 217994.513
AT ITER 4067 NEW BEST:: SOT 3271100 SOS 1225535 HAS SOPS 1210131 HAS SOUS 219322 HAS SOUPS 216743 WITH SCORE 217968.535
AT ITER 4083 NEW BEST:: SOT 3270958 SOS 1225437 HAS SOPS 1210136 HAS SOUS 219213 HAS SOUPS 216634 WITH SCORE 217859.437
AT ITER 4084 NEW BEST:: SOT 3270902 SOS 1225225 HAS SOPS 1209924 HAS SOUS 219179 HAS SOUPS 216600 WITH SCORE 217825.225
AT ITER 4119 NEW BEST:: SOT 3270854 SOS 1225177 HAS SOPS 1209876 HAS SOUS 219107 HAS SOUPS 216528 WITH SCORE 217753.177
AT ITER 4127 NEW BEST:: SOT 3270892 SOS 1225261 HAS SOPS 1209924 HAS SOUS 219095 HAS SOUPS 216516 WITH SCORE 217741.261
AT ITER 4137 NEW BEST:: SOT 3270965 SOS 1225334 HAS SOPS 1209997 HAS SOUS 218999 HAS SOUPS 216420 WITH SCORE 217645.334
AT ITER 4194 NEW BEST:: SOT 3270946 SOS 1225315 HAS SOPS 1209959 HAS SOUS 218961 HAS SOUPS 216382 WITH SCORE 217607.315
AT ITER 4201 NEW BEST:: SOT 3271045 SOS 1225414 HAS SOPS 1210058 HAS SOUS 218657 HAS SOUPS 216078 WITH SCORE 217303.414
AT ITER 4217 NEW BEST:: SOT 3270975 SOS 1225344 HAS SOPS 1209988 HAS SOUS 218600 HAS SOUPS 216021 WITH SCORE 217246.344
AT ITER 4223 NEW BEST:: SOT 3270890 SOS 1225233 HAS SOPS 1209877 HAS SOUS 218481 HAS SOUPS 215902 WITH SCORE 217127.233
AT ITER 4227 NEW BEST:: SOT 3270890 SOS 1225261 HAS SOPS 1209905 HAS SOUS 218474 HAS SOUPS 215895 WITH SCORE 217120.261
AT ITER 4259 NEW BEST:: SOT 3271105 SOS 1225406 HAS SOPS 1210050 HAS SOUS 217837 HAS SOUPS 215258 WITH SCORE 216483.406
AT ITER 4282 NEW BEST:: SOT 3263278 SOS 1219853 HAS SOPS 1204497 HAS SOUS 217616 HAS SOUPS 215037 WITH SCORE 216256.853
AT ITER 4290 NEW BEST:: SOT 3263217 SOS 1219792 HAS SOPS 1204436 HAS SOUS 217555 HAS SOUPS 214976 WITH SCORE 216195.792
AT ITER 4301 NEW BEST:: SOT 3263198 SOS 1219773 HAS SOPS 1204417 HAS SOUS 216341 HAS SOUPS 213762 WITH SCORE 214981.773
AT ITER 4319 NEW BEST:: SOT 3263195 SOS 1219770 HAS SOPS 1204414 HAS SOUS 216335 HAS SOUPS 213756 WITH SCORE 214975.77
AT ITER 4321 NEW BEST:: SOT 3263192 SOS 1219767 HAS SOPS 1204411 HAS SOUS 216332 HAS SOUPS 213753 WITH SCORE 214972.767
AT ITER 4331 NEW BEST:: SOT 3263190 SOS 1219765 HAS SOPS 1204409 HAS SOUS 216328 HAS SOUPS 213749 WITH SCORE 214968.765
AT ITER 4358 NEW BEST:: SOT 3263172 SOS 1219747 HAS SOPS 1204383 HAS SOUS 216292 HAS SOUPS 213713 WITH SCORE 214932.747
AT ITER 4366 NEW BEST:: SOT 3263230 SOS 1219754 HAS SOPS 1204390 HAS SOUS 216204 HAS SOUPS 213625 WITH SCORE 214844.754
AT ITER 4384 NEW BEST:: SOT 3263234 SOS 1219758 HAS SOPS 1204394 HAS SOUS 216196 HAS SOUPS 213617 WITH SCORE 214836.758
AT ITER 4391 NEW BEST:: SOT 3262957 SOS 1219435 HAS SOPS 1204071 HAS SOUS 216010 HAS SOUPS 213431 WITH SCORE 214650.435
AT ITER 4402 NEW BEST:: SOT 3262951 SOS 1219435 HAS SOPS 1204071 HAS SOUS 215932 HAS SOUPS 213353 WITH SCORE 214572.435
AT ITER 4405 NEW BEST:: SOT 3262804 SOS 1219253 HAS SOPS 1203889 HAS SOUS 215780 HAS SOUPS 213201 WITH SCORE 214420.253
AT ITER 4408 NEW BEST:: SOT 3262789 SOS 1219223 HAS SOPS 1203859 HAS SOUS 215750 HAS SOUPS 213171 WITH SCORE 214390.223
AT ITER 4433 NEW BEST:: SOT 3262527 SOS 1218975 HAS SOPS 1203611 HAS SOUS 215483 HAS SOUPS 212904 WITH SCORE 214122.975
AT ITER 4464 NEW BEST:: SOT 3262460 SOS 1218908 HAS SOPS 1203544 HAS SOUS 215334 HAS SOUPS 212755 WITH SCORE 213973.908
AT ITER 4486 NEW BEST:: SOT 3262522 SOS 1219145 HAS SOPS 1203781 HAS SOUS 215265 HAS SOUPS 212686 WITH SCORE 213905.145
AT ITER 4490 NEW BEST:: SOT 3262396 SOS 1219022 HAS SOPS 1203724 HAS SOUS 215017 HAS SOUPS 212438 WITH SCORE 213657.022
AT ITER 4500 NEW BEST:: SOT 3262365 SOS 1218978 HAS SOPS 1203680 HAS SOUS 214955 HAS SOUPS 212376 WITH SCORE 213594.978
AT ITER 4507 NEW BEST:: SOT 3262232 SOS 1218841 HAS SOPS 1203543 HAS SOUS 214817 HAS SOUPS 212238 WITH SCORE 213456.841
AT ITER 4513 NEW BEST:: SOT 3262223 SOS 1218832 HAS SOPS 1203534 HAS SOUS 214808 HAS SOUPS 212229 WITH SCORE 213447.832
AT ITER 4536 NEW BEST:: SOT 3262249 SOS 1218858 HAS SOPS 1203560 HAS SOUS 214792 HAS SOUPS 212213 WITH SCORE 213431.858
AT ITER 4544 NEW BEST:: SOT 3262269 SOS 1218878 HAS SOPS 1203580 HAS SOUS 214746 HAS SOUPS 212167 WITH SCORE 213385.878
AT ITER 4556 NEW BEST:: SOT 3262284 SOS 1218893 HAS SOPS 1203586 HAS SOUS 214740 HAS SOUPS 212161 WITH SCORE 213379.893
AT ITER 4572 NEW BEST:: SOT 3262282 SOS 1218883 HAS SOPS 1203569 HAS SOUS 214681 HAS SOUPS 212102 WITH SCORE 213320.883
AT ITER 4576 NEW BEST:: SOT 3250300 SOS 1206943 HAS SOPS 1191629 HAS SOUS 212965 HAS SOUPS 210386 WITH SCORE 211592.943
AT ITER 4598 NEW BEST:: SOT 3250213 SOS 1206801 HAS SOPS 1191487 HAS SOUS 212901 HAS SOUPS 210322 WITH SCORE 211528.801
AT ITER 4603 NEW BEST:: SOT 3250213 SOS 1206791 HAS SOPS 1191477 HAS SOUS 212891 HAS SOUPS 210312 WITH SCORE 211518.791
AT ITER 4622 NEW BEST:: SOT 3250483 SOS 1207052 HAS SOPS 1191738 HAS SOUS 212765 HAS SOUPS 210186 WITH SCORE 211393.052
AT ITER 4655 NEW BEST:: SOT 3250483 SOS 1207028 HAS SOPS 1191714 HAS SOUS 212765 HAS SOUPS 210186 WITH SCORE 211393.028
AT ITER 4679 NEW BEST:: SOT 3250562 SOS 1207204 HAS SOPS 1191890 HAS SOUS 212762 HAS SOUPS 210183 WITH SCORE 211390.204
AT ITER 4692 NEW BEST:: SOT 3250695 SOS 1207508 HAS SOPS 1192194 HAS SOUS 212675 HAS SOUPS 210096 WITH SCORE 211303.508
AT ITER 4751 NEW BEST:: SOT 3250723 SOS 1207550 HAS SOPS 1192236 HAS SOUS 212673 HAS SOUPS 210094 WITH SCORE 211301.55
AT ITER 4785 NEW BEST:: SOT 3246425 SOS 1203252 HAS SOPS 1187938 HAS SOUS 212078 HAS SOUPS 209499 WITH SCORE 210702.252
AT ITER 4800 NEW BEST:: SOT 3246423 SOS 1203253 HAS SOPS 1187939 HAS SOUS 212052 HAS SOUPS 209473 WITH SCORE 210676.253
AT ITER 4832 NEW BEST:: SOT 3246388 SOS 1203218 HAS SOPS 1187960 HAS SOUS 211959 HAS SOUPS 209380 WITH SCORE 210583.218
AT ITER 4844 NEW BEST:: SOT 3246368 SOS 1203198 HAS SOPS 1187940 HAS SOUS 211955 HAS SOUPS 209376 WITH SCORE 210579.198
AT ITER 4866 NEW BEST:: SOT 3251138 SOS 1208157 HAS SOPS 1192899 HAS SOUS 211024 HAS SOUPS 208445 WITH SCORE 209653.157
AT ITER 4867 NEW BEST:: SOT 3251135 SOS 1208154 HAS SOPS 1192896 HAS SOUS 211018 HAS SOUPS 208439 WITH SCORE 209647.154
AT ITER 4868 NEW BEST:: SOT 3251108 SOS 1208127 HAS SOPS 1192869 HAS SOUS 210755 HAS SOUPS 208176 WITH SCORE 209384.127
AT ITER 4882 NEW BEST:: SOT 3251097 SOS 1208138 HAS SOPS 1192880 HAS SOUS 210733 HAS SOUPS 208154 WITH SCORE 209362.138
AT ITER 4891 NEW BEST:: SOT 3251063 SOS 1208104 HAS SOPS 1192846 HAS SOUS 210716 HAS SOUPS 208137 WITH SCORE 209345.104
AT ITER 4905 NEW BEST:: SOT 3250953 SOS 1208031 HAS SOPS 1192773 HAS SOUS 210686 HAS SOUPS 208107 WITH SCORE 209315.031
AT ITER 4933 NEW BEST:: SOT 3250881 SOS 1207941 HAS SOPS 1192683 HAS SOUS 210614 HAS SOUPS 208035 WITH SCORE 209242.941
AT ITER 4935 NEW BEST:: SOT 3250800 SOS 1207833 HAS SOPS 1192575 HAS SOUS 210452 HAS SOUPS 207873 WITH SCORE 209080.833
AT ITER 4936 NEW BEST:: SOT 3250784 SOS 1207817 HAS SOPS 1192493 HAS SOUS 210420 HAS SOUPS 207841 WITH SCORE 209048.817
AT ITER 4945 NEW BEST:: SOT 3250796 SOS 1207829 HAS SOPS 1192489 HAS SOUS 210432 HAS SOUPS 207837 WITH SCORE 209044.829
AT ITER 4948 NEW BEST:: SOT 3250795 SOS 1207685 HAS SOPS 1192345 HAS SOUS 210430 HAS SOUPS 207835 WITH SCORE 209042.685
AT ITER 4957 NEW BEST:: SOT 3250789 SOS 1207679 HAS SOPS 1192339 HAS SOUS 210418 HAS SOUPS 207823 WITH SCORE 209030.679
AT ITER 4971 NEW BEST:: SOT 3250778 SOS 1207668 HAS SOPS 1192328 HAS SOUS 210396 HAS SOUPS 207801 WITH SCORE 209008.668
AT ITER 4989 NEW BEST:: SOT 3250772 SOS 1207656 HAS SOPS 1192316 HAS SOUS 210384 HAS SOUPS 207789 WITH SCORE 208996.656
AT ITER 5004 NEW BEST:: SOT 3250622 SOS 1207506 HAS SOPS 1192166 HAS SOUS 210174 HAS SOUPS 207579 WITH SCORE 208786.506
AT ITER 5040 NEW BEST:: SOT 3250552 SOS 1207296 HAS SOPS 1191956 HAS SOUS 210174 HAS SOUPS 207579 WITH SCORE 208786.296
AT ITER 5051 NEW BEST:: SOT 3250555 SOS 1207299 HAS SOPS 1191959 HAS SOUS 210164 HAS SOUPS 207569 WITH SCORE 208776.299
AT ITER 5053 NEW BEST:: SOT 3250787 SOS 1207518 HAS SOPS 1192178 HAS SOUS 209745 HAS SOUPS 207150 WITH SCORE 208357.518
AT ITER 5071 NEW BEST:: SOT 3250591 SOS 1207322 HAS SOPS 1191982 HAS SOUS 209741 HAS SOUPS 207146 WITH SCORE 208353.322
AT ITER 5075 NEW BEST:: SOT 3250484 SOS 1207147 HAS SOPS 1191807 HAS SOUS 209547 HAS SOUPS 206952 WITH SCORE 208159.147
AT ITER 5078 NEW BEST:: SOT 3250430 SOS 1207093 HAS SOPS 1191753 HAS SOUS 209451 HAS SOUPS 206856 WITH SCORE 208063.093
AT ITER 5091 NEW BEST:: SOT 3250427 SOS 1207090 HAS SOPS 1191750 HAS SOUS 209445 HAS SOUPS 206850 WITH SCORE 208057.09
AT ITER 5101 NEW BEST:: SOT 3250340 SOS 1207003 HAS SOPS 1191663 HAS SOUS 209396 HAS SOUPS 206801 WITH SCORE 208008.003
AT ITER 5102 NEW BEST:: SOT 3249128 SOS 1205656 HAS SOPS 1190316 HAS SOUS 208670 HAS SOUPS 206075 WITH SCORE 207280.656
AT ITER 5111 NEW BEST:: SOT 3249094 SOS 1205622 HAS SOPS 1190324 HAS SOUS 208626 HAS SOUPS 206031 WITH SCORE 207236.622
AT ITER 5136 NEW BEST:: SOT 3249119 SOS 1205647 HAS SOPS 1190349 HAS SOUS 208578 HAS SOUPS 205983 WITH SCORE 207188.647
AT ITER 5149 NEW BEST:: SOT 3248898 SOS 1205347 HAS SOPS 1190049 HAS SOUS 208323 HAS SOUPS 205728 WITH SCORE 206933.347
AT ITER 5196 NEW BEST:: SOT 3248369 SOS 1204642 HAS SOPS 1189344 HAS SOUS 208103 HAS SOUPS 205508 WITH SCORE 206712.642
AT ITER 5208 NEW BEST:: SOT 3248330 SOS 1204563 HAS SOPS 1189265 HAS SOUS 208025 HAS SOUPS 205430 WITH SCORE 206634.563
AT ITER 5209 NEW BEST:: SOT 3248330 SOS 1204556 HAS SOPS 1189258 HAS SOUS 208025 HAS SOUPS 205430 WITH SCORE 206634.556
AT ITER 5218 NEW BEST:: SOT 3248330 SOS 1204521 HAS SOPS 1189223 HAS SOUS 208025 HAS SOUPS 205430 WITH SCORE 206634.521
AT ITER 5221 NEW BEST:: SOT 3248174 SOS 1204313 HAS SOPS 1189015 HAS SOUS 207869 HAS SOUPS 205274 WITH SCORE 206478.313
AT ITER 5226 NEW BEST:: SOT 3248139 SOS 1204243 HAS SOPS 1188945 HAS SOUS 207799 HAS SOUPS 205204 WITH SCORE 206408.243
AT ITER 5243 NEW BEST:: SOT 3248179 SOS 1204283 HAS SOPS 1188966 HAS SOUS 207757 HAS SOUPS 205162 WITH SCORE 206366.283
AT ITER 5269 NEW BEST:: SOT 3248235 SOS 1204265 HAS SOPS 1188948 HAS SOUS 207508 HAS SOUPS 204913 WITH SCORE 206117.265
AT ITER 5288 NEW BEST:: SOT 3248168 SOS 1204164 HAS SOPS 1188881 HAS SOUS 207441 HAS SOUPS 204846 WITH SCORE 206050.164
AT ITER 5350 NEW BEST:: SOT 3250146 SOS 1206022 HAS SOPS 1190883 HAS SOUS 206478 HAS SOUPS 203907 WITH SCORE 205113.022
AT ITER 5379 NEW BEST:: SOT 3249996 SOS 1205627 HAS SOPS 1190488 HAS SOUS 206285 HAS SOUPS 203714 WITH SCORE 204919.627
AT ITER 5391 NEW BEST:: SOT 3249712 SOS 1205331 HAS SOPS 1190192 HAS SOUS 205859 HAS SOUPS 203288 WITH SCORE 204493.331
AT ITER 5403 NEW BEST:: SOT 3249749 SOS 1205258 HAS SOPS 1190119 HAS SOUS 205841 HAS SOUPS 203270 WITH SCORE 204475.258
AT ITER 5453 NEW BEST:: SOT 3249749 SOS 1204898 HAS SOPS 1189759 HAS SOUS 205841 HAS SOUPS 203270 WITH SCORE 204474.898
AT ITER 5508 NEW BEST:: SOT 3249716 SOS 1204865 HAS SOPS 1189726 HAS SOUS 205808 HAS SOUPS 203237 WITH SCORE 204441.865
AT ITER 5530 NEW BEST:: SOT 3250069 SOS 1205635 HAS SOPS 1190496 HAS SOUS 205782 HAS SOUPS 203211 WITH SCORE 204416.635
AT ITER 5533 NEW BEST:: SOT 3247735 SOS 1203298 HAS SOPS 1188159 HAS SOUS 205515 HAS SOUPS 202944 WITH SCORE 204147.298
AT ITER 5594 NEW BEST:: SOT 3247663 SOS 1201588 HAS SOPS 1186488 HAS SOUS 205449 HAS SOUPS 202878 WITH SCORE 204079.588
AT ITER 5623 NEW BEST:: SOT 3247661 SOS 1201357 HAS SOPS 1186257 HAS SOUS 205434 HAS SOUPS 202863 WITH SCORE 204064.357
AT ITER 5655 NEW BEST:: SOT 3247656 SOS 1201344 HAS SOPS 1186244 HAS SOUS 205413 HAS SOUPS 202842 WITH SCORE 204043.344
AT ITER 5660 NEW BEST:: SOT 3247670 SOS 1201309 HAS SOPS 1186209 HAS SOUS 205378 HAS SOUPS 202807 WITH SCORE 204008.309
AT ITER 5671 NEW BEST:: SOT 3247670 SOS 1201293 HAS SOPS 1186193 HAS SOUS 205378 HAS SOUPS 202807 WITH SCORE 204008.293
AT ITER 5680 NEW BEST:: SOT 3238508 SOS 1192131 HAS SOPS 1177031 HAS SOUS 204845 HAS SOUPS 202274 WITH SCORE 203466.131
AT ITER 5715 NEW BEST:: SOT 3238219 SOS 1191515 HAS SOPS 1176415 HAS SOUS 204451 HAS SOUPS 201880 WITH SCORE 203071.515
AT ITER 5737 NEW BEST:: SOT 3238215 SOS 1191511 HAS SOPS 1176411 HAS SOUS 204447 HAS SOUPS 201876 WITH SCORE 203067.511
AT ITER 5769 NEW BEST:: SOT 3238104 SOS 1191466 HAS SOPS 1176366 HAS SOUS 204446 HAS SOUPS 201875 WITH SCORE 203066.466
AT ITER 5777 NEW BEST:: SOT 3237994 SOS 1191283 HAS SOPS 1176183 HAS SOUS 204353 HAS SOUPS 201782 WITH SCORE 202973.283
AT ITER 5809 NEW BEST:: SOT 3238003 SOS 1191292 HAS SOPS 1176192 HAS SOUS 204317 HAS SOUPS 201746 WITH SCORE 202937.292
AT ITER 5828 NEW BEST:: SOT 3237969 SOS 1191224 HAS SOPS 1176124 HAS SOUS 204249 HAS SOUPS 201678 WITH SCORE 202869.224
AT ITER 5829 NEW BEST:: SOT 3237939 SOS 1191194 HAS SOPS 1176094 HAS SOUS 204189 HAS SOUPS 201618 WITH SCORE 202809.194
AT ITER 5862 NEW BEST:: SOT 3237753 SOS 1191008 HAS SOPS 1175908 HAS SOUS 203746 HAS SOUPS 201175 WITH SCORE 202366.008
AT ITER 5868 NEW BEST:: SOT 3237753 SOS 1191005 HAS SOPS 1175905 HAS SOUS 203743 HAS SOUPS 201172 WITH SCORE 202363.005
AT ITER 5878 NEW BEST:: SOT 3237749 SOS 1191001 HAS SOPS 1175901 HAS SOUS 203739 HAS SOUPS 201168 WITH SCORE 202359.001
AT ITER 5886 NEW BEST:: SOT 3237650 SOS 1190902 HAS SOPS 1175802 HAS SOUS 203562 HAS SOUPS 200991 WITH SCORE 202181.902
AT ITER 5890 NEW BEST:: SOT 3236240 SOS 1189541 HAS SOPS 1174441 HAS SOUS 202999 HAS SOUPS 200428 WITH SCORE 201617.541
AT ITER 5903 NEW BEST:: SOT 3236218 SOS 1189497 HAS SOPS 1174397 HAS SOUS 202818 HAS SOUPS 200247 WITH SCORE 201436.497
AT ITER 5916 NEW BEST:: SOT 3218636 SOS 1171915 HAS SOPS 1156815 HAS SOUS 200997 HAS SOUPS 198426 WITH SCORE 199597.915
AT ITER 5918 NEW BEST:: SOT 3218669 SOS 1172001 HAS SOPS 1156901 HAS SOUS 200973 HAS SOUPS 198402 WITH SCORE 199574.001
AT ITER 5923 NEW BEST:: SOT 3218835 SOS 1172127 HAS SOPS 1156888 HAS SOUS 200935 HAS SOUPS 198364 WITH SCORE 199536.127
AT ITER 5930 NEW BEST:: SOT 3218787 SOS 1171935 HAS SOPS 1156696 HAS SOUS 200863 HAS SOUPS 198292 WITH SCORE 199463.935
AT ITER 5941 NEW BEST:: SOT 3218693 SOS 1171457 HAS SOPS 1156218 HAS SOUS 200671 HAS SOUPS 198100 WITH SCORE 199271.457
AT ITER 5951 NEW BEST:: SOT 3186130 SOS 1138894 HAS SOPS 1123655 HAS SOUS 196446 HAS SOUPS 193875 WITH SCORE 195013.894
AT ITER 6003 NEW BEST:: SOT 3186135 SOS 1138899 HAS SOPS 1123660 HAS SOUS 196436 HAS SOUPS 193865 WITH SCORE 195003.899
AT ITER 6019 NEW BEST:: SOT 3186137 SOS 1138858 HAS SOPS 1123619 HAS SOUS 196382 HAS SOUPS 193811 WITH SCORE 194949.858
AT ITER 6030 NEW BEST:: SOT 3186074 SOS 1138543 HAS SOPS 1123352 HAS SOUS 196382 HAS SOUPS 193811 WITH SCORE 194949.543
AT ITER 6036 NEW BEST:: SOT 3186086 SOS 1138549 HAS SOPS 1123358 HAS SOUS 196379 HAS SOUPS 193808 WITH SCORE 194946.549
AT ITER 6060 NEW BEST:: SOT 3186403 SOS 1138933 HAS SOPS 1123757 HAS SOUS 196234 HAS SOUPS 193663 WITH SCORE 194801.933
AT ITER 6065 NEW BEST:: SOT 3186403 SOS 1139025 HAS SOPS 1123849 HAS SOUS 196199 HAS SOUPS 193628 WITH SCORE 194767.025
AT ITER 6084 NEW BEST:: SOT 3186408 SOS 1139225 HAS SOPS 1123878 HAS SOUS 196009 HAS SOUPS 193438 WITH SCORE 194577.225
AT ITER 6091 NEW BEST:: SOT 3186408 SOS 1139234 HAS SOPS 1123887 HAS SOUS 195970 HAS SOUPS 193399 WITH SCORE 194538.234
AT ITER 6144 NEW BEST:: SOT 3186404 SOS 1139232 HAS SOPS 1123885 HAS SOUS 195962 HAS SOUPS 193391 WITH SCORE 194530.232
AT ITER 6160 NEW BEST:: SOT 3177042 SOS 1129870 HAS SOPS 1114523 HAS SOUS 194848 HAS SOUPS 192277 WITH SCORE 193406.87
AT ITER 6171 NEW BEST:: SOT 3177068 SOS 1129922 HAS SOPS 1114575 HAS SOUS 194752 HAS SOUPS 192181 WITH SCORE 193310.922
AT ITER 6185 NEW BEST:: SOT 3176673 SOS 1129527 HAS SOPS 1114180 HAS SOUS 194180 HAS SOUPS 191609 WITH SCORE 192738.527
AT ITER 6187 NEW BEST:: SOT 3176651 SOS 1130184 HAS SOPS 1114837 HAS SOUS 194178 HAS SOUPS 191607 WITH SCORE 192737.184
AT ITER 6202 NEW BEST:: SOT 3176651 SOS 1130183 HAS SOPS 1114836 HAS SOUS 194175 HAS SOUPS 191604 WITH SCORE 192734.183
AT ITER 6230 NEW BEST:: SOT 3176551 SOS 1130083 HAS SOPS 1114736 HAS SOUS 193975 HAS SOUPS 191404 WITH SCORE 192534.083
AT ITER 6251 NEW BEST:: SOT 3176398 SOS 1129870 HAS SOPS 1114523 HAS SOUS 193968 HAS SOUPS 191397 WITH SCORE 192526.87
AT ITER 6257 NEW BEST:: SOT 3176379 SOS 1129832 HAS SOPS 1114485 HAS SOUS 193930 HAS SOUPS 191359 WITH SCORE 192488.832
AT ITER 6258 NEW BEST:: SOT 3168603 SOS 1122046 HAS SOPS 1106699 HAS SOUS 193058 HAS SOUPS 190487 WITH SCORE 191609.046
AT ITER 6259 NEW BEST:: SOT 3168710 SOS 1122153 HAS SOPS 1106806 HAS SOUS 193054 HAS SOUPS 190483 WITH SCORE 191605.153
AT ITER 6264 NEW BEST:: SOT 3168683 SOS 1122183 HAS SOPS 1106836 HAS SOUS 193047 HAS SOUPS 190476 WITH SCORE 191598.183
AT ITER 6266 NEW BEST:: SOT 3168653 SOS 1122153 HAS SOPS 1106784 HAS SOUS 192987 HAS SOUPS 190416 WITH SCORE 191538.153
AT ITER 6280 NEW BEST:: SOT 3168653 SOS 1122151 HAS SOPS 1106782 HAS SOUS 192985 HAS SOUPS 190414 WITH SCORE 191536.151
AT ITER 6282 NEW BEST:: SOT 3168688 SOS 1122329 HAS SOPS 1106864 HAS SOUS 192961 HAS SOUPS 190374 WITH SCORE 191496.329
AT ITER 6298 NEW BEST:: SOT 3168495 SOS 1122174 HAS SOPS 1106709 HAS SOUS 192923 HAS SOUPS 190336 WITH SCORE 191458.174
AT ITER 6305 NEW BEST:: SOT 3168186 SOS 1121770 HAS SOPS 1106305 HAS SOUS 192436 HAS SOUPS 189849 WITH SCORE 190970.77
AT ITER 6327 NEW BEST:: SOT 3168174 SOS 1121758 HAS SOPS 1106293 HAS SOUS 192420 HAS SOUPS 189833 WITH SCORE 190954.758
AT ITER 6356 NEW BEST:: SOT 3168156 SOS 1121704 HAS SOPS 1106239 HAS SOUS 192420 HAS SOUPS 189833 WITH SCORE 190954.704
AT ITER 6368 NEW BEST:: SOT 3168186 SOS 1121362 HAS SOPS 1105824 HAS SOUS 192180 HAS SOUPS 189593 WITH SCORE 190714.362
AT ITER 6373 NEW BEST:: SOT 3168612 SOS 1121811 HAS SOPS 1106273 HAS SOUS 191405 HAS SOUPS 188818 WITH SCORE 189939.811
AT ITER 6376 NEW BEST:: SOT 3168623 SOS 1121822 HAS SOPS 1106284 HAS SOUS 191386 HAS SOUPS 188799 WITH SCORE 189920.822
AT ITER 6386 NEW BEST:: SOT 3168371 SOS 1121606 HAS SOPS 1106068 HAS SOUS 190918 HAS SOUPS 188331 WITH SCORE 189452.606
AT ITER 6388 NEW BEST:: SOT 3168303 SOS 1121378 HAS SOPS 1105840 HAS SOUS 190815 HAS SOUPS 188228 WITH SCORE 189349.378
AT ITER 6394 NEW BEST:: SOT 3168303 SOS 1120414 HAS SOPS 1104876 HAS SOUS 190815 HAS SOUPS 188228 WITH SCORE 189348.414
AT ITER 6409 NEW BEST:: SOT 3168291 SOS 1120390 HAS SOPS 1104852 HAS SOUS 190791 HAS SOUPS 188204 WITH SCORE 189324.39
AT ITER 6413 NEW BEST:: SOT 3168289 SOS 1120388 HAS SOPS 1104850 HAS SOUS 190791 HAS SOUPS 188204 WITH SCORE 189324.388
AT ITER 6419 NEW BEST:: SOT 3168401 SOS 1120500 HAS SOPS 1104962 HAS SOUS 190750 HAS SOUPS 188163 WITH SCORE 189283.5
AT ITER 6431 NEW BEST:: SOT 3168408 SOS 1118813 HAS SOPS 1103326 HAS SOUS 190719 HAS SOUPS 188132 WITH SCORE 189250.813
AT ITER 6471 NEW BEST:: SOT 3168226 SOS 1118631 HAS SOPS 1103144 HAS SOUS 190426 HAS SOUPS 187839 WITH SCORE 188957.631
AT ITER 6475 NEW BEST:: SOT 3168401 SOS 1118806 HAS SOPS 1103319 HAS SOUS 189092 HAS SOUPS 186505 WITH SCORE 187623.806
AT ITER 6479 NEW BEST:: SOT 3168346 SOS 1118751 HAS SOPS 1103264 HAS SOUS 189084 HAS SOUPS 186497 WITH SCORE 187615.751
AT ITER 6491 NEW BEST:: SOT 3168346 SOS 1118848 HAS SOPS 1103361 HAS SOUS 189048 HAS SOUPS 186461 WITH SCORE 187579.848
AT ITER 6493 NEW BEST:: SOT 3168211 SOS 1118628 HAS SOPS 1103141 HAS SOUS 188911 HAS SOUPS 186324 WITH SCORE 187442.628
AT ITER 6523 NEW BEST:: SOT 3168211 SOS 1118628 HAS SOPS 1103141 HAS SOUS 188862 HAS SOUPS 186275 WITH SCORE 187393.628
AT ITER 6536 NEW BEST:: SOT 3168648 SOS 1118983 HAS SOPS 1103496 HAS SOUS 188506 HAS SOUPS 185919 WITH SCORE 187037.983
AT ITER 6551 NEW BEST:: SOT 3168647 SOS 1118982 HAS SOPS 1103495 HAS SOUS 188505 HAS SOUPS 185918 WITH SCORE 187036.982
AT ITER 6552 NEW BEST:: SOT 3168738 SOS 1119073 HAS SOPS 1103581 HAS SOUS 188461 HAS SOUPS 185874 WITH SCORE 186993.073
AT ITER 6584 NEW BEST:: SOT 3168795 SOS 1119177 HAS SOPS 1103685 HAS SOUS 188446 HAS SOUPS 185859 WITH SCORE 186978.177
AT ITER 6678 NEW BEST:: SOT 3168799 SOS 1119181 HAS SOPS 1103689 HAS SOUS 188338 HAS SOUPS 185751 WITH SCORE 186870.181
AT ITER 6702 NEW BEST:: SOT 3168989 SOS 1119371 HAS SOPS 1103879 HAS SOUS 188092 HAS SOUPS 185505 WITH SCORE 186624.371
AT ITER 6707 NEW BEST:: SOT 3168898 SOS 1119232 HAS SOPS 1103740 HAS SOUS 187815 HAS SOUPS 185228 WITH SCORE 186347.232
AT ITER 6712 NEW BEST:: SOT 3168898 SOS 1119142 HAS SOPS 1103650 HAS SOUS 187815 HAS SOUPS 185228 WITH SCORE 186347.142
AT ITER 6732 NEW BEST:: SOT 3168964 SOS 1119208 HAS SOPS 1103716 HAS SOUS 187796 HAS SOUPS 185209 WITH SCORE 186328.208
AT ITER 6742 NEW BEST:: SOT 3168946 SOS 1119190 HAS SOPS 1103698 HAS SOUS 187760 HAS SOUPS 185173 WITH SCORE 186292.19
AT ITER 6763 NEW BEST:: SOT 3169015 SOS 1119309 HAS SOPS 1103817 HAS SOUS 187718 HAS SOUPS 185131 WITH SCORE 186250.309
AT ITER 6774 NEW BEST:: SOT 3169015 SOS 1119334 HAS SOPS 1103842 HAS SOUS 187716 HAS SOUPS 185129 WITH SCORE 186248.334
AT ITER 6800 NEW BEST:: SOT 3168616 SOS 1118793 HAS SOPS 1103301 HAS SOUS 187202 HAS SOUPS 184615 WITH SCORE 185733.793
AT ITER 6825 NEW BEST:: SOT 3168594 SOS 1118771 HAS SOPS 1103289 HAS SOUS 187190 HAS SOUPS 184603 WITH SCORE 185721.771
AT ITER 6849 NEW BEST:: SOT 3168464 SOS 1118987 HAS SOPS 1103505 HAS SOUS 187085 HAS SOUPS 184498 WITH SCORE 185616.987
AT ITER 6870 NEW BEST:: SOT 3168443 SOS 1118966 HAS SOPS 1103484 HAS SOUS 187022 HAS SOUPS 184435 WITH SCORE 185553.966
AT ITER 6880 NEW BEST:: SOT 3168431 SOS 1116668 HAS SOPS 1101186 HAS SOUS 185919 HAS SOUPS 183332 WITH SCORE 184448.668
AT ITER 6896 NEW BEST:: SOT 3168318 SOS 1116588 HAS SOPS 1101106 HAS SOUS 185693 HAS SOUPS 183106 WITH SCORE 184222.588
AT ITER 6912 NEW BEST:: SOT 3168299 SOS 1116578 HAS SOPS 1101096 HAS SOUS 185674 HAS SOUPS 183087 WITH SCORE 184203.578
AT ITER 6939 NEW BEST:: SOT 3168291 SOS 1116570 HAS SOPS 1101088 HAS SOUS 185452 HAS SOUPS 182865 WITH SCORE 183981.57
AT ITER 6950 NEW BEST:: SOT 3168293 SOS 1116567 HAS SOPS 1101070 HAS SOUS 185338 HAS SOUPS 182751 WITH SCORE 183867.567
AT ITER 6976 NEW BEST:: SOT 3174239 SOS 1122327 HAS SOPS 1107016 HAS SOUS 183500 HAS SOUPS 180944 WITH SCORE 182066.327
AT ITER 6977 NEW BEST:: SOT 3174061 SOS 1121978 HAS SOPS 1106667 HAS SOUS 183274 HAS SOUPS 180718 WITH SCORE 181839.978
AT ITER 6987 NEW BEST:: SOT 3173989 SOS 1121906 HAS SOPS 1106595 HAS SOUS 183179 HAS SOUPS 180623 WITH SCORE 181744.906
AT ITER 7012 NEW BEST:: SOT 3173879 SOS 1121796 HAS SOPS 1106485 HAS SOUS 183019 HAS SOUPS 180463 WITH SCORE 181584.796
AT ITER 7025 NEW BEST:: SOT 3173585 SOS 1121411 HAS SOPS 1106100 HAS SOUS 182802 HAS SOUPS 180246 WITH SCORE 181367.411
AT ITER 7029 NEW BEST:: SOT 3173571 SOS 1121397 HAS SOPS 1106072 HAS SOUS 182774 HAS SOUPS 180218 WITH SCORE 181339.397
AT ITER 7053 NEW BEST:: SOT 3173083 SOS 1120909 HAS SOPS 1105584 HAS SOUS 182287 HAS SOUPS 179731 WITH SCORE 180851.909
AT ITER 7098 NEW BEST:: SOT 3173083 SOS 1121027 HAS SOPS 1105702 HAS SOUS 182275 HAS SOUPS 179719 WITH SCORE 180840.027
AT ITER 7101 NEW BEST:: SOT 3173032 SOS 1120964 HAS SOPS 1105639 HAS SOUS 182165 HAS SOUPS 179609 WITH SCORE 180729.964
AT ITER 7107 NEW BEST:: SOT 3172910 SOS 1120710 HAS SOPS 1105385 HAS SOUS 182034 HAS SOUPS 179478 WITH SCORE 180598.71
AT ITER 7114 NEW BEST:: SOT 3172848 SOS 1120778 HAS SOPS 1105453 HAS SOUS 181910 HAS SOUPS 179354 WITH SCORE 180474.778
AT ITER 7115 NEW BEST:: SOT 3172811 SOS 1120960 HAS SOPS 1105635 HAS SOUS 181875 HAS SOUPS 179319 WITH SCORE 180439.96
AT ITER 7117 NEW BEST:: SOT 3172805 SOS 1120954 HAS SOPS 1105629 HAS SOUS 181863 HAS SOUPS 179307 WITH SCORE 180427.954
AT ITER 7120 NEW BEST:: SOT 3172802 SOS 1120951 HAS SOPS 1105623 HAS SOUS 181857 HAS SOUPS 179301 WITH SCORE 180421.951
AT ITER 7134 NEW BEST:: SOT 3172727 SOS 1120871 HAS SOPS 1105543 HAS SOUS 181747 HAS SOUPS 179191 WITH SCORE 180311.871
AT ITER 7161 NEW BEST:: SOT 3172700 SOS 1120844 HAS SOPS 1105493 HAS SOUS 181693 HAS SOUPS 179137 WITH SCORE 180257.844
AT ITER 7179 NEW BEST:: SOT 3172753 SOS 1120901 HAS SOPS 1105550 HAS SOUS 181666 HAS SOUPS 179110 WITH SCORE 180230.901
AT ITER 7198 NEW BEST:: SOT 3172929 SOS 1121120 HAS SOPS 1105769 HAS SOUS 181662 HAS SOUPS 179106 WITH SCORE 180227.12
AT ITER 7211 NEW BEST:: SOT 3172909 SOS 1121142 HAS SOPS 1105791 HAS SOUS 181653 HAS SOUPS 179097 WITH SCORE 180218.142
AT ITER 7218 NEW BEST:: SOT 3172895 SOS 1121111 HAS SOPS 1105760 HAS SOUS 181574 HAS SOUPS 179018 WITH SCORE 180139.111
AT ITER 7229 NEW BEST:: SOT 3172695 SOS 1120814 HAS SOPS 1105463 HAS SOUS 181051 HAS SOUPS 178495 WITH SCORE 179615.814
AT ITER 7240 NEW BEST:: SOT 3172691 SOS 1120810 HAS SOPS 1105459 HAS SOUS 181047 HAS SOUPS 178491 WITH SCORE 179611.81
AT ITER 7251 NEW BEST:: SOT 3172666 SOS 1120765 HAS SOPS 1105414 HAS SOUS 180998 HAS SOUPS 178442 WITH SCORE 179562.765
AT ITER 7260 NEW BEST:: SOT 3170251 SOS 1118350 HAS SOPS 1102999 HAS SOUS 180923 HAS SOUPS 178367 WITH SCORE 179485.35
AT ITER 7279 NEW BEST:: SOT 3170232 SOS 1118331 HAS SOPS 1102975 HAS SOUS 180908 HAS SOUPS 178352 WITH SCORE 179470.331
AT ITER 7332 NEW BEST:: SOT 3170232 SOS 1118303 HAS SOPS 1102947 HAS SOUS 180908 HAS SOUPS 178352 WITH SCORE 179470.303
AT ITER 7358 NEW BEST:: SOT 3170233 SOS 1118304 HAS SOPS 1102948 HAS SOUS 180423 HAS SOUPS 177867 WITH SCORE 178985.304
AT ITER 7362 NEW BEST:: SOT 3170198 SOS 1118273 HAS SOPS 1102925 HAS SOUS 180407 HAS SOUPS 177851 WITH SCORE 178969.273
AT ITER 7386 NEW BEST:: SOT 3170108 SOS 1118091 HAS SOPS 1102807 HAS SOUS 180325 HAS SOUPS 177769 WITH SCORE 178887.091
AT ITER 7391 NEW BEST:: SOT 3161318 SOS 1109326 HAS SOPS 1094042 HAS SOUS 179427 HAS SOUPS 176871 WITH SCORE 177980.326
AT ITER 7436 NEW BEST:: SOT 3161525 SOS 1109394 HAS SOPS 1094102 HAS SOUS 179379 HAS SOUPS 176823 WITH SCORE 177932.394
AT ITER 7488 NEW BEST:: SOT 3161431 SOS 1109300 HAS SOPS 1094008 HAS SOUS 179379 HAS SOUPS 176823 WITH SCORE 177932.3
AT ITER 7492 NEW BEST:: SOT 3161443 SOS 1109280 HAS SOPS 1093982 HAS SOUS 179377 HAS SOUPS 176821 WITH SCORE 177930.28
AT ITER 7500 NEW BEST:: SOT 3161440 SOS 1109277 HAS SOPS 1093976 HAS SOUS 179367 HAS SOUPS 176811 WITH SCORE 177920.277
AT ITER 7508 NEW BEST:: SOT 3161462 SOS 1109419 HAS SOPS 1094162 HAS SOUS 179117 HAS SOUPS 176561 WITH SCORE 177670.419
AT ITER 7511 NEW BEST:: SOT 3161462 SOS 1109408 HAS SOPS 1094151 HAS SOUS 179117 HAS SOUPS 176561 WITH SCORE 177670.408
AT ITER 7516 NEW BEST:: SOT 3161444 SOS 1109390 HAS SOPS 1094140 HAS SOUS 179081 HAS SOUPS 176525 WITH SCORE 177634.39
AT ITER 7521 NEW BEST:: SOT 3161444 SOS 1109455 HAS SOPS 1094139 HAS SOUS 179015 HAS SOUPS 176459 WITH SCORE 177568.455
AT ITER 7544 NEW BEST:: SOT 3161373 SOS 1109384 HAS SOPS 1094068 HAS SOUS 178885 HAS SOUPS 176329 WITH SCORE 177438.384
AT ITER 7553 NEW BEST:: SOT 3161373 SOS 1109380 HAS SOPS 1094064 HAS SOUS 178885 HAS SOUPS 176329 WITH SCORE 177438.38
AT ITER 7581 NEW BEST:: SOT 3161283 SOS 1108972 HAS SOPS 1093656 HAS SOUS 178864 HAS SOUPS 176308 WITH SCORE 177416.972
AT ITER 7593 NEW BEST:: SOT 3161191 SOS 1108880 HAS SOPS 1093557 HAS SOUS 178731 HAS SOUPS 176175 WITH SCORE 177283.88
AT ITER 7594 NEW BEST:: SOT 3161158 SOS 1108796 HAS SOPS 1093473 HAS SOUS 178596 HAS SOUPS 176040 WITH SCORE 177148.796
AT ITER 7605 NEW BEST:: SOT 3161099 SOS 1108737 HAS SOPS 1093414 HAS SOUS 178595 HAS SOUPS 176039 WITH SCORE 177147.737
AT ITER 7611 NEW BEST:: SOT 3160818 SOS 1108582 HAS SOPS 1093259 HAS SOUS 178411 HAS SOUPS 175855 WITH SCORE 176963.582
AT ITER 7616 NEW BEST:: SOT 3160818 SOS 1108642 HAS SOPS 1093319 HAS SOUS 178391 HAS SOUPS 175835 WITH SCORE 176943.642
AT ITER 7629 NEW BEST:: SOT 3160785 SOS 1108609 HAS SOPS 1093286 HAS SOUS 178364 HAS SOUPS 175808 WITH SCORE 176916.609
AT ITER 7680 NEW BEST:: SOT 3160767 SOS 1108591 HAS SOPS 1093268 HAS SOUS 178334 HAS SOUPS 175778 WITH SCORE 176886.591
AT ITER 7684 NEW BEST:: SOT 3160326 SOS 1107988 HAS SOPS 1092665 HAS SOUS 177983 HAS SOUPS 175427 WITH SCORE 176534.988
AT ITER 7689 NEW BEST:: SOT 3160336 SOS 1107975 HAS SOPS 1092652 HAS SOUS 177898 HAS SOUPS 175342 WITH SCORE 176449.975
AT ITER 7697 NEW BEST:: SOT 3160308 SOS 1107947 HAS SOPS 1092638 HAS SOUS 177884 HAS SOUPS 175328 WITH SCORE 176435.947
AT ITER 7736 NEW BEST:: SOT 3160285 SOS 1107929 HAS SOPS 1092620 HAS SOUS 177838 HAS SOUPS 175282 WITH SCORE 176389.929
AT ITER 7737 NEW BEST:: SOT 3160263 SOS 1107885 HAS SOPS 1092576 HAS SOUS 177794 HAS SOUPS 175238 WITH SCORE 176345.885
AT ITER 7741 NEW BEST:: SOT 3160153 SOS 1107722 HAS SOPS 1092413 HAS SOUS 177631 HAS SOUPS 175075 WITH SCORE 176182.722
AT ITER 7766 NEW BEST:: SOT 3160170 SOS 1107811 HAS SOPS 1092392 HAS SOUS 177555 HAS SOUPS 174999 WITH SCORE 176106.811
AT ITER 7773 NEW BEST:: SOT 3160103 SOS 1107738 HAS SOPS 1092505 HAS SOUS 177482 HAS SOUPS 174962 WITH SCORE 176069.738
AT ITER 7801 NEW BEST:: SOT 3160073 SOS 1107678 HAS SOPS 1092445 HAS SOUS 177422 HAS SOUPS 174902 WITH SCORE 176009.678
AT ITER 7840 NEW BEST:: SOT 3159947 SOS 1107552 HAS SOPS 1092319 HAS SOUS 177170 HAS SOUPS 174650 WITH SCORE 175757.552
AT ITER 7850 NEW BEST:: SOT 3159676 SOS 1107350 HAS SOPS 1092117 HAS SOUS 176893 HAS SOUPS 174373 WITH SCORE 175480.35
AT ITER 7853 NEW BEST:: SOT 3159652 SOS 1107286 HAS SOPS 1092053 HAS SOUS 176869 HAS SOUPS 174349 WITH SCORE 175456.286
AT ITER 7867 NEW BEST:: SOT 3159629 SOS 1107155 HAS SOPS 1092030 HAS SOUS 176693 HAS SOUPS 174191 WITH SCORE 175298.155
AT ITER 7884 NEW BEST:: SOT 3159602 SOS 1106966 HAS SOPS 1091841 HAS SOUS 176639 HAS SOUPS 174137 WITH SCORE 175243.966
AT ITER 7903 NEW BEST:: SOT 3159585 SOS 1106949 HAS SOPS 1091824 HAS SOUS 176605 HAS SOUPS 174103 WITH SCORE 175209.949
AT ITER 7908 NEW BEST:: SOT 3159579 SOS 1106943 HAS SOPS 1091818 HAS SOUS 176602 HAS SOUPS 174100 WITH SCORE 175206.943
AT ITER 7913 NEW BEST:: SOT 3158917 SOS 1106281 HAS SOPS 1091156 HAS SOUS 176383 HAS SOUPS 173881 WITH SCORE 174987.281
AT ITER 7915 NEW BEST:: SOT 3158860 SOS 1106243 HAS SOPS 1091118 HAS SOUS 176345 HAS SOUPS 173843 WITH SCORE 174949.243
AT ITER 7924 NEW BEST:: SOT 3158874 SOS 1106233 HAS SOPS 1091108 HAS SOUS 176345 HAS SOUPS 173843 WITH SCORE 174949.233
AT ITER 7937 NEW BEST:: SOT 3158874 SOS 1106233 HAS SOPS 1091087 HAS SOUS 176324 HAS SOUPS 173822 WITH SCORE 174928.233
AT ITER 7947 NEW BEST:: SOT 3158860 SOS 1106219 HAS SOPS 1091073 HAS SOUS 176296 HAS SOUPS 173794 WITH SCORE 174900.219
AT ITER 7977 NEW BEST:: SOT 3158847 SOS 1106159 HAS SOPS 1091013 HAS SOUS 176285 HAS SOUPS 173783 WITH SCORE 174889.159
AT ITER 7982 NEW BEST:: SOT 3158751 SOS 1105919 HAS SOPS 1090773 HAS SOUS 176141 HAS SOUPS 173639 WITH SCORE 174744.919
AT ITER 7995 NEW BEST:: SOT 3158621 SOS 1105673 HAS SOPS 1090564 HAS SOUS 176132 HAS SOUPS 173630 WITH SCORE 174735.673
AT ITER 8013 NEW BEST:: SOT 3158569 SOS 1105114 HAS SOPS 1090005 HAS SOUS 176067 HAS SOUPS 173565 WITH SCORE 174670.114
AT ITER 8016 NEW BEST:: SOT 3158460 SOS 1105044 HAS SOPS 1089935 HAS SOUS 175945 HAS SOUPS 173443 WITH SCORE 174548.044
AT ITER 8034 NEW BEST:: SOT 3158491 SOS 1105075 HAS SOPS 1089966 HAS SOUS 175852 HAS SOUPS 173350 WITH SCORE 174455.075
AT ITER 8069 NEW BEST:: SOT 3158554 SOS 1105138 HAS SOPS 1090029 HAS SOUS 175169 HAS SOUPS 172667 WITH SCORE 173772.138
AT ITER 8073 NEW BEST:: SOT 3158613 SOS 1105152 HAS SOPS 1090043 HAS SOUS 175142 HAS SOUPS 172640 WITH SCORE 173745.152
AT ITER 8074 NEW BEST:: SOT 3158565 SOS 1105056 HAS SOPS 1089947 HAS SOUS 175046 HAS SOUPS 172544 WITH SCORE 173649.056
AT ITER 8090 NEW BEST:: SOT 3158565 SOS 1105056 HAS SOPS 1089947 HAS SOUS 175010 HAS SOUPS 172508 WITH SCORE 173613.056
AT ITER 8103 NEW BEST:: SOT 3158572 SOS 1105063 HAS SOPS 1089949 HAS SOUS 175006 HAS SOUPS 172504 WITH SCORE 173609.063
AT ITER 8104 NEW BEST:: SOT 3158559 SOS 1105050 HAS SOPS 1089936 HAS SOUS 174980 HAS SOUPS 172478 WITH SCORE 173583.05
AT ITER 8123 NEW BEST:: SOT 3158573 SOS 1105064 HAS SOPS 1089950 HAS SOUS 174964 HAS SOUPS 172462 WITH SCORE 173567.064
AT ITER 8126 NEW BEST:: SOT 3158556 SOS 1105047 HAS SOPS 1089933 HAS SOUS 174930 HAS SOUPS 172428 WITH SCORE 173533.047
AT ITER 8154 NEW BEST:: SOT 3158571 SOS 1105062 HAS SOPS 1089948 HAS SOUS 174925 HAS SOUPS 172423 WITH SCORE 173528.062
AT ITER 8247 NEW BEST:: SOT 3158715 SOS 1105200 HAS SOPS 1090086 HAS SOUS 174697 HAS SOUPS 172195 WITH SCORE 173300.2
AT ITER 8256 NEW BEST:: SOT 3158715 SOS 1105200 HAS SOPS 1090086 HAS SOUS 174664 HAS SOUPS 172162 WITH SCORE 173267.2
AT ITER 8261 NEW BEST:: SOT 3158773 SOS 1105175 HAS SOPS 1090061 HAS SOUS 174638 HAS SOUPS 172136 WITH SCORE 173241.175
AT ITER 8280 NEW BEST:: SOT 3158773 SOS 1104497 HAS SOPS 1089383 HAS SOUS 174638 HAS SOUPS 172136 WITH SCORE 173240.497
AT ITER 8281 NEW BEST:: SOT 3158836 SOS 1104634 HAS SOPS 1089398 HAS SOUS 174616 HAS SOUPS 172114 WITH SCORE 173218.634
AT ITER 8286 NEW BEST:: SOT 3158789 SOS 1104587 HAS SOPS 1089351 HAS SOUS 174571 HAS SOUPS 172069 WITH SCORE 173173.587
AT ITER 8299 NEW BEST:: SOT 3158774 SOS 1104572 HAS SOPS 1089336 HAS SOUS 174556 HAS SOUPS 172054 WITH SCORE 173158.572
AT ITER 8322 NEW BEST:: SOT 3158781 SOS 1104579 HAS SOPS 1089360 HAS SOUS 174524 HAS SOUPS 172022 WITH SCORE 173126.579
AT ITER 8326 NEW BEST:: SOT 3158666 SOS 1104447 HAS SOPS 1089228 HAS SOUS 174515 HAS SOUPS 172013 WITH SCORE 173117.447
AT ITER 8361 NEW BEST:: SOT 3158679 SOS 1104460 HAS SOPS 1089237 HAS SOUS 174507 HAS SOUPS 172005 WITH SCORE 173109.46
AT ITER 8395 NEW BEST:: SOT 3158670 SOS 1104447 HAS SOPS 1089224 HAS SOUS 174489 HAS SOUPS 171987 WITH SCORE 173091.447
AT ITER 8402 NEW BEST:: SOT 3163128 SOS 1108905 HAS SOPS 1093682 HAS SOUS 173223 HAS SOUPS 170721 WITH SCORE 171829.905
AT ITER 8471 NEW BEST:: SOT 3162779 SOS 1108556 HAS SOPS 1093333 HAS SOUS 172964 HAS SOUPS 170462 WITH SCORE 171570.556
AT ITER 8597 NEW BEST:: SOT 3162840 SOS 1108911 HAS SOPS 1093688 HAS SOUS 172939 HAS SOUPS 170437 WITH SCORE 171545.911
AT ITER 8629 NEW BEST:: SOT 3162628 SOS 1108694 HAS SOPS 1093521 HAS SOUS 172841 HAS SOUPS 170339 WITH SCORE 171447.694
AT ITER 8698 NEW BEST:: SOT 3162602 SOS 1108668 HAS SOPS 1093499 HAS SOUS 172819 HAS SOUPS 170317 WITH SCORE 171425.668
AT ITER 8713 NEW BEST:: SOT 3162659 SOS 1108760 HAS SOPS 1093591 HAS SOUS 172807 HAS SOUPS 170305 WITH SCORE 171413.76
AT ITER 8736 NEW BEST:: SOT 3162615 SOS 1108672 HAS SOPS 1093503 HAS SOUS 172719 HAS SOUPS 170217 WITH SCORE 171325.672
AT ITER 8740 NEW BEST:: SOT 3162612 SOS 1108666 HAS SOPS 1093497 HAS SOUS 172713 HAS SOUPS 170211 WITH SCORE 171319.666
AT ITER 8745 NEW BEST:: SOT 3162652 SOS 1108706 HAS SOPS 1093540 HAS SOUS 172634 HAS SOUPS 170132 WITH SCORE 171240.706
AT ITER 8769 NEW BEST:: SOT 3162658 SOS 1108712 HAS SOPS 1093546 HAS SOUS 172615 HAS SOUPS 170113 WITH SCORE 171221.712
AT ITER 8780 NEW BEST:: SOT 3162593 SOS 1108647 HAS SOPS 1093481 HAS SOUS 172451 HAS SOUPS 169949 WITH SCORE 171057.647
AT ITER 8843 NEW BEST:: SOT 3162610 SOS 1108664 HAS SOPS 1093498 HAS SOUS 171533 HAS SOUPS 169031 WITH SCORE 170139.664
AT ITER 8881 NEW BEST:: SOT 3162602 SOS 1109013 HAS SOPS 1093847 HAS SOUS 171279 HAS SOUPS 168777 WITH SCORE 169886.013
AT ITER 8885 NEW BEST:: SOT 3162608 SOS 1108989 HAS SOPS 1093823 HAS SOUS 171272 HAS SOUPS 168770 WITH SCORE 169878.989
AT ITER 8901 NEW BEST:: SOT 3162626 SOS 1108991 HAS SOPS 1093825 HAS SOUS 171213 HAS SOUPS 168711 WITH SCORE 169819.991
AT ITER 8912 NEW BEST:: SOT 3162608 SOS 1108973 HAS SOPS 1093807 HAS SOUS 171174 HAS SOUPS 168672 WITH SCORE 169780.973
AT ITER 8958 NEW BEST:: SOT 3162561 SOS 1108926 HAS SOPS 1093760 HAS SOUS 171128 HAS SOUPS 168626 WITH SCORE 169734.926
AT ITER 8981 NEW BEST:: SOT 3162530 SOS 1108895 HAS SOPS 1093719 HAS SOUS 171066 HAS SOUPS 168564 WITH SCORE 169672.895
AT ITER 8982 NEW BEST:: SOT 3162530 SOS 1107019 HAS SOPS 1091843 HAS SOUS 171066 HAS SOUPS 168564 WITH SCORE 169671.019
AT ITER 8986 NEW BEST:: SOT 3162509 SOS 1106976 HAS SOPS 1091800 HAS SOUS 171045 HAS SOUPS 168543 WITH SCORE 169649.976
AT ITER 8987 NEW BEST:: SOT 3162479 SOS 1106937 HAS SOPS 1091761 HAS SOUS 171012 HAS SOUPS 168510 WITH SCORE 169616.937
AT ITER 9018 NEW BEST:: SOT 3162316 SOS 1106774 HAS SOPS 1091598 HAS SOUS 170849 HAS SOUPS 168347 WITH SCORE 169453.774
AT ITER 9062 NEW BEST:: SOT 3162316 SOS 1106753 HAS SOPS 1091577 HAS SOUS 170828 HAS SOUPS 168326 WITH SCORE 169432.753
AT ITER 9082 NEW BEST:: SOT 3162327 SOS 1106764 HAS SOPS 1091588 HAS SOUS 170826 HAS SOUPS 168324 WITH SCORE 169430.764
AT ITER 9118 NEW BEST:: SOT 3162325 SOS 1106762 HAS SOPS 1091584 HAS SOUS 170822 HAS SOUPS 168320 WITH SCORE 169426.762
AT ITER 9125 NEW BEST:: SOT 3162272 SOS 1106683 HAS SOPS 1091505 HAS SOUS 170712 HAS SOUPS 168210 WITH SCORE 169316.683
AT ITER 9157 NEW BEST:: SOT 3162064 SOS 1106475 HAS SOPS 1091297 HAS SOUS 170543 HAS SOUPS 168041 WITH SCORE 169147.475
AT ITER 9262 NEW BEST:: SOT 3161912 SOS 1106334 HAS SOPS 1091156 HAS SOUS 170424 HAS SOUPS 167922 WITH SCORE 169028.334
AT ITER 9352 NEW BEST:: SOT 3161895 SOS 1106317 HAS SOPS 1091139 HAS SOUS 170390 HAS SOUPS 167888 WITH SCORE 168994.317
AT ITER 9378 NEW BEST:: SOT 3161911 SOS 1106333 HAS SOPS 1091154 HAS SOUS 170358 HAS SOUPS 167856 WITH SCORE 168962.333
AT ITER 9400 NEW BEST:: SOT 3161911 SOS 1106398 HAS SOPS 1091154 HAS SOUS 170293 HAS SOUPS 167791 WITH SCORE 168897.398
AT ITER 9406 NEW BEST:: SOT 3161898 SOS 1106385 HAS SOPS 1091141 HAS SOUS 170293 HAS SOUPS 167791 WITH SCORE 168897.385
AT ITER 9407 NEW BEST:: SOT 3161886 SOS 1106361 HAS SOPS 1091117 HAS SOUS 170287 HAS SOUPS 167785 WITH SCORE 168891.361
AT ITER 9416 NEW BEST:: SOT 3161430 SOS 1105905 HAS SOPS 1090661 HAS SOUS 169851 HAS SOUPS 167349 WITH SCORE 168454.905
AT ITER 9421 NEW BEST:: SOT 3161396 SOS 1105871 HAS SOPS 1090627 HAS SOUS 169715 HAS SOUPS 167213 WITH SCORE 168318.871
AT ITER 9444 NEW BEST:: SOT 3161395 SOS 1105878 HAS SOPS 1090634 HAS SOUS 169713 HAS SOUPS 167211 WITH SCORE 168316.878
AT ITER 9452 NEW BEST:: SOT 3161388 SOS 1105871 HAS SOPS 1090627 HAS SOUS 169704 HAS SOUPS 167202 WITH SCORE 168307.871
AT ITER 9525 NEW BEST:: SOT 3161374 SOS 1105830 HAS SOPS 1090566 HAS SOUS 169650 HAS SOUPS 167148 WITH SCORE 168253.83
AT ITER 9577 NEW BEST:: SOT 3161412 SOS 1105868 HAS SOPS 1090604 HAS SOUS 169617 HAS SOUPS 167115 WITH SCORE 168220.868
AT ITER 9634 NEW BEST:: SOT 3161424 SOS 1105858 HAS SOPS 1090594 HAS SOUS 169617 HAS SOUPS 167115 WITH SCORE 168220.858
AT ITER 9650 NEW BEST:: SOT 3161424 SOS 1105774 HAS SOPS 1090522 HAS SOUS 169617 HAS SOUPS 167115 WITH SCORE 168220.774
AT ITER 9666 NEW BEST:: SOT 3161422 SOS 1105772 HAS SOPS 1090520 HAS SOUS 169609 HAS SOUPS 167107 WITH SCORE 168212.772
AT ITER 9689 NEW BEST:: SOT 3161422 SOS 1105728 HAS SOPS 1090476 HAS SOUS 169565 HAS SOUPS 167063 WITH SCORE 168168.728
AT ITER 9694 NEW BEST:: SOT 3161410 SOS 1105716 HAS SOPS 1090464 HAS SOUS 169541 HAS SOUPS 167039 WITH SCORE 168144.716
AT ITER 9717 NEW BEST:: SOT 3161410 SOS 1104936 HAS SOPS 1089684 HAS SOUS 169541 HAS SOUPS 167039 WITH SCORE 168143.936
AT ITER 9767 NEW BEST:: SOT 3161375 SOS 1104901 HAS SOPS 1089649 HAS SOUS 169466 HAS SOUPS 166964 WITH SCORE 168068.901
AT ITER 9804 NEW BEST:: SOT 3156730 SOS 1100256 HAS SOPS 1085004 HAS SOUS 168960 HAS SOUPS 166458 WITH SCORE 167558.256
AT ITER 9817 NEW BEST:: SOT 3156730 SOS 1100256 HAS SOPS 1085004 HAS SOUS 168959 HAS SOUPS 166457 WITH SCORE 167557.256
AT ITER 9820 NEW BEST:: SOT 3156574 SOS 1100100 HAS SOPS 1084848 HAS SOUS 168795 HAS SOUPS 166293 WITH SCORE 167393.1
AT ITER 9834 NEW BEST:: SOT 3154702 SOS 1098228 HAS SOPS 1082976 HAS SOUS 168565 HAS SOUPS 166063 WITH SCORE 167161.228
AT ITER 9836 NEW BEST:: SOT 3154750 SOS 1098276 HAS SOPS 1083024 HAS SOUS 168505 HAS SOUPS 166003 WITH SCORE 167101.276
AT ITER 9921 NEW BEST:: SOT 3154744 SOS 1098258 HAS SOPS 1083006 HAS SOUS 168505 HAS SOUPS 166003 WITH SCORE 167101.258
AT ITER 9942 NEW BEST:: SOT 3154737 SOS 1098251 HAS SOPS 1082999 HAS SOUS 168499 HAS SOUPS 165997 WITH SCORE 167095.251
AT ITER 9957 NEW BEST:: SOT 3154467 SOS 1097981 HAS SOPS 1082729 HAS SOUS 168089 HAS SOUPS 165587 WITH SCORE 166684.981
AT ITER 9985 NEW BEST:: SOT 3154525 SOS 1098039 HAS SOPS 1082758 HAS SOUS 168009 HAS SOUPS 165507 WITH SCORE 166605.039
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 16025664 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16126156 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is PolyORBLF-PT-S06J06T06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873943100624"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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