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.r515-tall-167987242200256.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 EisenbergMcGuire-PT-07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r515-tall-167987242200256
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 6.5K Mar 23 15:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Mar 23 15:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Mar 23 15:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Mar 23 15:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 23 07:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 23 07:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 23 07:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 23 07:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 17K Mar 23 15:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 176K Mar 23 15:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Mar 23 15:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Mar 23 15:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 23 07:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 1.1M Mar 26 22:42 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 1679880823276

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=EisenbergMcGuire-PT-07
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EisenbergMcGuire (PT), instance 07
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: 553 places, 1960 transitions, 9212 arcs.
AT ITER 0 NEW BEST:: SOT 820952 SOS 399966 HAS SOPS 264447 HAS SOUS 176373 HAS SOUPS 170186 WITH SCORE 170585.966
AT ITER 6 NEW BEST:: SOT 820986 SOS 400034 HAS SOPS 263850 HAS SOUS 176424 HAS SOUPS 170159 WITH SCORE 170559.034
AT ITER 13 NEW BEST:: SOT 820788 SOS 399750 HAS SOPS 263486 HAS SOUS 176156 HAS SOUPS 169891 WITH SCORE 170290.75
AT ITER 15 NEW BEST:: SOT 820788 SOS 399618 HAS SOPS 263354 HAS SOUS 176156 HAS SOUPS 169891 WITH SCORE 170290.618
AT ITER 19 NEW BEST:: SOT 820752 SOS 399564 HAS SOPS 263300 HAS SOUS 176057 HAS SOUPS 169792 WITH SCORE 170191.564
AT ITER 23 NEW BEST:: SOT 820559 SOS 397537 HAS SOPS 261273 HAS SOUS 175884 HAS SOUPS 169619 WITH SCORE 170016.537
AT ITER 24 NEW BEST:: SOT 820559 SOS 397422 HAS SOPS 261158 HAS SOUS 175884 HAS SOUPS 169619 WITH SCORE 170016.422
AT ITER 27 NEW BEST:: SOT 820647 SOS 397471 HAS SOPS 261207 HAS SOUS 175769 HAS SOUPS 169504 WITH SCORE 169901.471
AT ITER 28 NEW BEST:: SOT 820329 SOS 397189 HAS SOPS 260883 HAS SOUS 175510 HAS SOUPS 169222 WITH SCORE 169619.189
AT ITER 29 NEW BEST:: SOT 820076 SOS 396548 HAS SOPS 259980 HAS SOUS 174988 HAS SOUPS 168572 WITH SCORE 168968.548
AT ITER 37 NEW BEST:: SOT 820076 SOS 396400 HAS SOPS 259832 HAS SOUS 174932 HAS SOUPS 168516 WITH SCORE 168912.4
AT ITER 38 NEW BEST:: SOT 819982 SOS 396024 HAS SOPS 259456 HAS SOUS 174838 HAS SOUPS 168422 WITH SCORE 168818.024
AT ITER 51 NEW BEST:: SOT 819982 SOS 396077 HAS SOPS 259509 HAS SOUS 174833 HAS SOUPS 168417 WITH SCORE 168813.077
AT ITER 52 NEW BEST:: SOT 819889 SOS 396005 HAS SOPS 259445 HAS SOUS 174839 HAS SOUPS 168328 WITH SCORE 168724.005
AT ITER 56 NEW BEST:: SOT 819857 SOS 395877 HAS SOPS 259317 HAS SOUS 174743 HAS SOUPS 168232 WITH SCORE 168627.877
AT ITER 58 NEW BEST:: SOT 819713 SOS 395349 HAS SOPS 258837 HAS SOUS 174457 HAS SOUPS 167946 WITH SCORE 168341.349
AT ITER 60 NEW BEST:: SOT 820132 SOS 395707 HAS SOPS 259119 HAS SOUS 174246 HAS SOUPS 167735 WITH SCORE 168130.707
AT ITER 63 NEW BEST:: SOT 820065 SOS 395693 HAS SOPS 259105 HAS SOUS 174232 HAS SOUPS 167721 WITH SCORE 168116.693
AT ITER 65 NEW BEST:: SOT 820029 SOS 395549 HAS SOPS 258961 HAS SOUS 174160 HAS SOUPS 167649 WITH SCORE 168044.549
AT ITER 72 NEW BEST:: SOT 819919 SOS 395461 HAS SOPS 258521 HAS SOUS 173808 HAS SOUPS 167297 WITH SCORE 167692.461
AT ITER 77 NEW BEST:: SOT 819896 SOS 395229 HAS SOPS 258289 HAS SOUS 173762 HAS SOUPS 167251 WITH SCORE 167646.229
AT ITER 83 NEW BEST:: SOT 819890 SOS 394719 HAS SOPS 257779 HAS SOUS 173750 HAS SOUPS 167239 WITH SCORE 167633.719
AT ITER 91 NEW BEST:: SOT 819838 SOS 394654 HAS SOPS 257714 HAS SOUS 173698 HAS SOUPS 167187 WITH SCORE 167581.654
AT ITER 93 NEW BEST:: SOT 819838 SOS 394454 HAS SOPS 257514 HAS SOUS 173698 HAS SOUPS 167187 WITH SCORE 167581.454
AT ITER 95 NEW BEST:: SOT 819833 SOS 394439 HAS SOPS 257499 HAS SOUS 173688 HAS SOUPS 167177 WITH SCORE 167571.439
AT ITER 97 NEW BEST:: SOT 819833 SOS 394379 HAS SOPS 257439 HAS SOUS 173688 HAS SOUPS 167177 WITH SCORE 167571.379
AT ITER 113 NEW BEST:: SOT 819935 SOS 394008 HAS SOPS 256950 HAS SOUS 173597 HAS SOUPS 167086 WITH SCORE 167480.008
AT ITER 117 NEW BEST:: SOT 819857 SOS 393669 HAS SOPS 256611 HAS SOUS 173441 HAS SOUPS 166930 WITH SCORE 167323.669
AT ITER 121 NEW BEST:: SOT 819744 SOS 392997 HAS SOPS 255939 HAS SOUS 173388 HAS SOUPS 166877 WITH SCORE 167269.997
AT ITER 130 NEW BEST:: SOT 819744 SOS 392925 HAS SOPS 255867 HAS SOUS 173388 HAS SOUPS 166877 WITH SCORE 167269.925
AT ITER 143 NEW BEST:: SOT 819830 SOS 392823 HAS SOPS 253277 HAS SOUS 171035 HAS SOUPS 164526 WITH SCORE 164918.823
AT ITER 149 NEW BEST:: SOT 819830 SOS 392823 HAS SOPS 253277 HAS SOUS 170943 HAS SOUPS 164434 WITH SCORE 164826.823
AT ITER 150 NEW BEST:: SOT 820071 SOS 393051 HAS SOPS 252305 HAS SOUS 169971 HAS SOUPS 163462 WITH SCORE 163855.051
AT ITER 153 NEW BEST:: SOT 819971 SOS 392951 HAS SOPS 252065 HAS SOUS 170048 HAS SOUPS 163443 WITH SCORE 163835.951
AT ITER 157 NEW BEST:: SOT 819932 SOS 392834 HAS SOPS 251948 HAS SOUS 170009 HAS SOUPS 163404 WITH SCORE 163796.834
AT ITER 163 NEW BEST:: SOT 819905 SOS 392813 HAS SOPS 251927 HAS SOUS 169922 HAS SOUPS 163317 WITH SCORE 163709.813
AT ITER 168 NEW BEST:: SOT 819745 SOS 391699 HAS SOPS 251653 HAS SOUS 169654 HAS SOUPS 163067 WITH SCORE 163458.699
AT ITER 176 NEW BEST:: SOT 819601 SOS 391579 HAS SOPS 251125 HAS SOUS 169222 HAS SOUPS 162635 WITH SCORE 163026.579
AT ITER 178 NEW BEST:: SOT 819601 SOS 391439 HAS SOPS 250985 HAS SOUS 169222 HAS SOUPS 162635 WITH SCORE 163026.439
AT ITER 190 NEW BEST:: SOT 819460 SOS 392226 HAS SOPS 251584 HAS SOUS 168875 HAS SOUPS 162288 WITH SCORE 162680.226
AT ITER 204 NEW BEST:: SOT 818933 SOS 391673 HAS SOPS 251517 HAS SOUS 168727 HAS SOUPS 162238 WITH SCORE 162629.673
AT ITER 208 NEW BEST:: SOT 818833 SOS 391441 HAS SOPS 251285 HAS SOUS 168527 HAS SOUPS 162038 WITH SCORE 162429.441
AT ITER 211 NEW BEST:: SOT 818565 SOS 392136 HAS SOPS 252503 HAS SOUS 168104 HAS SOUPS 161615 WITH SCORE 162007.136
AT ITER 215 NEW BEST:: SOT 818441 SOS 391664 HAS SOPS 252031 HAS SOUS 168059 HAS SOUPS 161570 WITH SCORE 161961.664
AT ITER 218 NEW BEST:: SOT 818441 SOS 391520 HAS SOPS 251887 HAS SOUS 168056 HAS SOUPS 161567 WITH SCORE 161958.52
AT ITER 225 NEW BEST:: SOT 818388 SOS 391308 HAS SOPS 251675 HAS SOUS 167897 HAS SOUPS 161408 WITH SCORE 161799.308
AT ITER 226 NEW BEST:: SOT 818402 SOS 391016 HAS SOPS 251383 HAS SOUS 167889 HAS SOUPS 161400 WITH SCORE 161791.016
AT ITER 232 NEW BEST:: SOT 818402 SOS 390906 HAS SOPS 251273 HAS SOUS 167889 HAS SOUPS 161400 WITH SCORE 161790.906
AT ITER 233 NEW BEST:: SOT 813934 SOS 387548 HAS SOPS 246894 HAS SOUS 165015 HAS SOUPS 158002 WITH SCORE 158389.548
AT ITER 245 NEW BEST:: SOT 813897 SOS 387585 HAS SOPS 246931 HAS SOUS 164941 HAS SOUPS 157928 WITH SCORE 158315.585
AT ITER 248 NEW BEST:: SOT 813838 SOS 388994 HAS SOPS 248214 HAS SOUS 164880 HAS SOUPS 157867 WITH SCORE 158255.994
AT ITER 254 NEW BEST:: SOT 813413 SOS 388585 HAS SOPS 247722 HAS SOUS 164756 HAS SOUPS 157743 WITH SCORE 158131.585
AT ITER 256 NEW BEST:: SOT 813260 SOS 389382 HAS SOPS 248895 HAS SOUS 164442 HAS SOUPS 157429 WITH SCORE 157818.382
AT ITER 258 NEW BEST:: SOT 813260 SOS 389382 HAS SOPS 248895 HAS SOUS 164424 HAS SOUPS 157411 WITH SCORE 157800.382
AT ITER 260 NEW BEST:: SOT 813198 SOS 389301 HAS SOPS 248876 HAS SOUS 164405 HAS SOUPS 157392 WITH SCORE 157781.301
AT ITER 262 NEW BEST:: SOT 813198 SOS 389247 HAS SOPS 248822 HAS SOUS 164387 HAS SOUPS 157374 WITH SCORE 157763.247
AT ITER 278 NEW BEST:: SOT 813101 SOS 388859 HAS SOPS 248434 HAS SOUS 164290 HAS SOUPS 157277 WITH SCORE 157665.859
AT ITER 284 NEW BEST:: SOT 813031 SOS 388789 HAS SOPS 248364 HAS SOUS 164255 HAS SOUPS 157207 WITH SCORE 157595.789
AT ITER 286 NEW BEST:: SOT 813031 SOS 388595 HAS SOPS 248170 HAS SOUS 164255 HAS SOUPS 157207 WITH SCORE 157595.595
AT ITER 295 NEW BEST:: SOT 813031 SOS 388480 HAS SOPS 248055 HAS SOUS 164255 HAS SOUPS 157207 WITH SCORE 157595.48
AT ITER 304 NEW BEST:: SOT 811166 SOS 388150 HAS SOPS 256109 HAS SOUS 163855 HAS SOUPS 156788 WITH SCORE 157176.15
AT ITER 307 NEW BEST:: SOT 811130 SOS 388073 HAS SOPS 256032 HAS SOUS 163850 HAS SOUPS 156783 WITH SCORE 157171.073
AT ITER 308 NEW BEST:: SOT 810981 SOS 387924 HAS SOPS 253735 HAS SOUS 163911 HAS SOUPS 156614 WITH SCORE 157001.924
AT ITER 316 NEW BEST:: SOT 810981 SOS 386874 HAS SOPS 252685 HAS SOUS 163911 HAS SOUPS 156614 WITH SCORE 157000.874
AT ITER 317 NEW BEST:: SOT 792799 SOS 386688 HAS SOPS 257059 HAS SOUS 147814 HAS SOUPS 140517 WITH SCORE 140903.688
AT ITER 318 NEW BEST:: SOT 792765 SOS 386654 HAS SOPS 257025 HAS SOUS 147746 HAS SOUPS 140449 WITH SCORE 140835.654
AT ITER 325 NEW BEST:: SOT 792728 SOS 386482 HAS SOPS 256081 HAS SOUS 146860 HAS SOUPS 139563 WITH SCORE 139949.482
AT ITER 330 NEW BEST:: SOT 792728 SOS 386465 HAS SOPS 256064 HAS SOUS 146843 HAS SOUPS 139546 WITH SCORE 139932.465
AT ITER 341 NEW BEST:: SOT 793633 SOS 387498 HAS SOPS 254070 HAS SOUS 144325 HAS SOUPS 137023 WITH SCORE 137410.498
AT ITER 344 NEW BEST:: SOT 793633 SOS 387373 HAS SOPS 253945 HAS SOUS 144325 HAS SOUPS 137023 WITH SCORE 137410.373
AT ITER 350 NEW BEST:: SOT 793607 SOS 387380 HAS SOPS 253952 HAS SOUS 144300 HAS SOUPS 136998 WITH SCORE 137385.38
AT ITER 358 NEW BEST:: SOT 793571 SOS 387128 HAS SOPS 253700 HAS SOUS 144228 HAS SOUPS 136926 WITH SCORE 137313.128
AT ITER 361 NEW BEST:: SOT 792412 SOS 386599 HAS SOPS 252541 HAS SOUS 142689 HAS SOUPS 135323 WITH SCORE 135709.599
AT ITER 364 NEW BEST:: SOT 792411 SOS 386585 HAS SOPS 252527 HAS SOUS 142688 HAS SOUPS 135322 WITH SCORE 135708.585
AT ITER 369 NEW BEST:: SOT 792350 SOS 386723 HAS SOPS 251689 HAS SOUS 141651 HAS SOUPS 134285 WITH SCORE 134671.723
AT ITER 371 NEW BEST:: SOT 791883 SOS 386259 HAS SOPS 251355 HAS SOUS 141309 HAS SOUPS 133951 WITH SCORE 134337.259
AT ITER 373 NEW BEST:: SOT 791754 SOS 386160 HAS SOPS 251391 HAS SOUS 141284 HAS SOUPS 133926 WITH SCORE 134312.16
AT ITER 376 NEW BEST:: SOT 791743 SOS 385897 HAS SOPS 251128 HAS SOUS 141219 HAS SOUPS 133861 WITH SCORE 134246.897
AT ITER 379 NEW BEST:: SOT 791743 SOS 385743 HAS SOPS 250974 HAS SOUS 141219 HAS SOUPS 133861 WITH SCORE 134246.743
AT ITER 389 NEW BEST:: SOT 791795 SOS 384534 HAS SOPS 249765 HAS SOUS 141205 HAS SOUPS 133847 WITH SCORE 134231.534
AT ITER 393 NEW BEST:: SOT 791632 SOS 383895 HAS SOPS 249126 HAS SOUS 141042 HAS SOUPS 133684 WITH SCORE 134067.895
AT ITER 415 NEW BEST:: SOT 791629 SOS 383883 HAS SOPS 249114 HAS SOUS 141039 HAS SOUPS 133681 WITH SCORE 134064.883
AT ITER 436 NEW BEST:: SOT 791598 SOS 383739 HAS SOPS 248970 HAS SOUS 140977 HAS SOUPS 133619 WITH SCORE 134002.739
AT ITER 451 NEW BEST:: SOT 791493 SOS 383778 HAS SOPS 248892 HAS SOUS 140743 HAS SOUPS 133385 WITH SCORE 133768.778
AT ITER 452 NEW BEST:: SOT 791733 SOS 384078 HAS SOPS 249192 HAS SOUS 140678 HAS SOUPS 133320 WITH SCORE 133704.078
AT ITER 456 NEW BEST:: SOT 791741 SOS 383869 HAS SOPS 248747 HAS SOUS 140434 HAS SOUPS 133076 WITH SCORE 133459.869
AT ITER 459 NEW BEST:: SOT 791725 SOS 383853 HAS SOPS 248715 HAS SOUS 140402 HAS SOUPS 133044 WITH SCORE 133427.853
AT ITER 461 NEW BEST:: SOT 791521 SOS 383343 HAS SOPS 248307 HAS SOUS 140198 HAS SOUPS 132840 WITH SCORE 133223.343
AT ITER 465 NEW BEST:: SOT 791311 SOS 382923 HAS SOPS 247007 HAS SOUS 138468 HAS SOUPS 131188 WITH SCORE 131570.923
AT ITER 480 NEW BEST:: SOT 791365 SOS 382913 HAS SOPS 247025 HAS SOUS 138424 HAS SOUPS 131144 WITH SCORE 131526.913
AT ITER 483 NEW BEST:: SOT 791328 SOS 382913 HAS SOPS 247025 HAS SOUS 138350 HAS SOUPS 131070 WITH SCORE 131452.913
AT ITER 490 NEW BEST:: SOT 791328 SOS 382843 HAS SOPS 245835 HAS SOUS 137160 HAS SOUPS 129880 WITH SCORE 130262.843
AT ITER 503 NEW BEST:: SOT 791319 SOS 382798 HAS SOPS 245790 HAS SOUS 137142 HAS SOUPS 129862 WITH SCORE 130244.798
AT ITER 507 NEW BEST:: SOT 791271 SOS 381603 HAS SOPS 244595 HAS SOUS 137046 HAS SOUPS 129766 WITH SCORE 130147.603
AT ITER 532 NEW BEST:: SOT 791225 SOS 381557 HAS SOPS 244549 HAS SOUS 136954 HAS SOUPS 129674 WITH SCORE 130055.557
AT ITER 548 NEW BEST:: SOT 791216 SOS 381539 HAS SOPS 244531 HAS SOUS 136936 HAS SOUPS 129656 WITH SCORE 130037.539
AT ITER 551 NEW BEST:: SOT 791216 SOS 381411 HAS SOPS 244403 HAS SOUS 136936 HAS SOUPS 129656 WITH SCORE 130037.411
AT ITER 552 NEW BEST:: SOT 791216 SOS 381763 HAS SOPS 244755 HAS SOUS 136703 HAS SOUPS 129423 WITH SCORE 129804.763
AT ITER 553 NEW BEST:: SOT 791226 SOS 381773 HAS SOPS 244321 HAS SOUS 136649 HAS SOUPS 129369 WITH SCORE 129750.773
AT ITER 569 NEW BEST:: SOT 791128 SOS 381577 HAS SOPS 244125 HAS SOUS 136551 HAS SOUPS 129271 WITH SCORE 129652.577
AT ITER 580 NEW BEST:: SOT 791079 SOS 381495 HAS SOPS 244057 HAS SOUS 136461 HAS SOUPS 129181 WITH SCORE 129562.495
AT ITER 583 NEW BEST:: SOT 791088 SOS 381235 HAS SOPS 243797 HAS SOUS 136443 HAS SOUPS 129163 WITH SCORE 129544.235
AT ITER 600 NEW BEST:: SOT 791088 SOS 381182 HAS SOPS 243744 HAS SOUS 136432 HAS SOUPS 129152 WITH SCORE 129533.182
AT ITER 601 NEW BEST:: SOT 791065 SOS 381136 HAS SOPS 243698 HAS SOUS 136357 HAS SOUPS 129077 WITH SCORE 129458.136
AT ITER 606 NEW BEST:: SOT 790992 SOS 380573 HAS SOPS 243135 HAS SOUS 136211 HAS SOUPS 128931 WITH SCORE 129311.573
AT ITER 612 NEW BEST:: SOT 790992 SOS 380505 HAS SOPS 243067 HAS SOUS 136168 HAS SOUPS 128888 WITH SCORE 129268.505
AT ITER 622 NEW BEST:: SOT 790965 SOS 380341 HAS SOPS 242903 HAS SOUS 136114 HAS SOUPS 128834 WITH SCORE 129214.341
AT ITER 627 NEW BEST:: SOT 791054 SOS 380497 HAS SOPS 242841 HAS SOUS 136270 HAS SOUPS 128772 WITH SCORE 129152.497
AT ITER 636 NEW BEST:: SOT 790904 SOS 380169 HAS SOPS 242441 HAS SOUS 136053 HAS SOUPS 128555 WITH SCORE 128935.169
AT ITER 643 NEW BEST:: SOT 790837 SOS 380120 HAS SOPS 242392 HAS SOUS 135913 HAS SOUPS 128415 WITH SCORE 128795.12
AT ITER 644 NEW BEST:: SOT 790763 SOS 379932 HAS SOPS 242204 HAS SOUS 135745 HAS SOUPS 128247 WITH SCORE 128626.932
AT ITER 648 NEW BEST:: SOT 790753 SOS 380032 HAS SOPS 242304 HAS SOUS 135725 HAS SOUPS 128227 WITH SCORE 128607.032
AT ITER 653 NEW BEST:: SOT 790698 SOS 379498 HAS SOPS 241770 HAS SOUS 135615 HAS SOUPS 128117 WITH SCORE 128496.498
AT ITER 657 NEW BEST:: SOT 790962 SOS 379841 HAS SOPS 241983 HAS SOUS 135326 HAS SOUPS 127828 WITH SCORE 128207.841
AT ITER 658 NEW BEST:: SOT 790907 SOS 379621 HAS SOPS 241711 HAS SOUS 135059 HAS SOUPS 127561 WITH SCORE 127940.621
AT ITER 659 NEW BEST:: SOT 790855 SOS 378656 HAS SOPS 240746 HAS SOUS 134939 HAS SOUPS 127441 WITH SCORE 127819.656
AT ITER 673 NEW BEST:: SOT 790744 SOS 378261 HAS SOPS 240351 HAS SOUS 134828 HAS SOUPS 127330 WITH SCORE 127708.261
AT ITER 676 NEW BEST:: SOT 790694 SOS 378561 HAS SOPS 240651 HAS SOUS 134730 HAS SOUPS 127232 WITH SCORE 127610.561
AT ITER 680 NEW BEST:: SOT 790694 SOS 378449 HAS SOPS 240539 HAS SOUS 134730 HAS SOUPS 127232 WITH SCORE 127610.449
AT ITER 681 NEW BEST:: SOT 790534 SOS 378165 HAS SOPS 240142 HAS SOUS 134451 HAS SOUPS 126953 WITH SCORE 127331.165
AT ITER 691 NEW BEST:: SOT 790568 SOS 377968 HAS SOPS 239735 HAS SOUS 134256 HAS SOUPS 126751 WITH SCORE 127128.968
AT ITER 696 NEW BEST:: SOT 790425 SOS 377715 HAS SOPS 239504 HAS SOUS 134080 HAS SOUPS 126575 WITH SCORE 126952.715
AT ITER 698 NEW BEST:: SOT 790324 SOS 377583 HAS SOPS 239372 HAS SOUS 133878 HAS SOUPS 126373 WITH SCORE 126750.583
AT ITER 701 NEW BEST:: SOT 790324 SOS 377577 HAS SOPS 239366 HAS SOUS 133878 HAS SOUPS 126373 WITH SCORE 126750.577
AT ITER 712 NEW BEST:: SOT 790321 SOS 377711 HAS SOPS 239500 HAS SOUS 133872 HAS SOUPS 126367 WITH SCORE 126744.711
AT ITER 714 NEW BEST:: SOT 790090 SOS 377088 HAS SOPS 238849 HAS SOUS 133862 HAS SOUPS 126346 WITH SCORE 126723.088
AT ITER 718 NEW BEST:: SOT 790090 SOS 377195 HAS SOPS 238956 HAS SOUS 133797 HAS SOUPS 126281 WITH SCORE 126658.195
AT ITER 720 NEW BEST:: SOT 789929 SOS 376988 HAS SOPS 238381 HAS SOUS 133383 HAS SOUPS 125867 WITH SCORE 126243.988
AT ITER 731 NEW BEST:: SOT 789844 SOS 377831 HAS SOPS 239106 HAS SOUS 133300 HAS SOUPS 125784 WITH SCORE 126161.831
AT ITER 770 NEW BEST:: SOT 789734 SOS 377902 HAS SOPS 239302 HAS SOUS 133294 HAS SOUPS 125778 WITH SCORE 126155.902
AT ITER 774 NEW BEST:: SOT 789566 SOS 377825 HAS SOPS 239225 HAS SOUS 133246 HAS SOUPS 125730 WITH SCORE 126107.825
AT ITER 777 NEW BEST:: SOT 789416 SOS 377701 HAS SOPS 239082 HAS SOUS 133106 HAS SOUPS 125587 WITH SCORE 125964.701
AT ITER 790 NEW BEST:: SOT 789343 SOS 377690 HAS SOPS 238853 HAS SOUS 132818 HAS SOUPS 125299 WITH SCORE 125676.69
AT ITER 795 NEW BEST:: SOT 789343 SOS 377528 HAS SOPS 238691 HAS SOUS 132818 HAS SOUPS 125299 WITH SCORE 125676.528
AT ITER 804 NEW BEST:: SOT 789318 SOS 377470 HAS SOPS 238666 HAS SOUS 132793 HAS SOUPS 125274 WITH SCORE 125651.47
AT ITER 806 NEW BEST:: SOT 789300 SOS 377398 HAS SOPS 238594 HAS SOUS 132775 HAS SOUPS 125256 WITH SCORE 125633.398
AT ITER 815 NEW BEST:: SOT 789933 SOS 377966 HAS SOPS 238597 HAS SOUS 132414 HAS SOUPS 124898 WITH SCORE 125275.966
AT ITER 817 NEW BEST:: SOT 789799 SOS 378510 HAS SOPS 239523 HAS SOUS 132200 HAS SOUPS 124684 WITH SCORE 125062.51
AT ITER 829 NEW BEST:: SOT 789673 SOS 378391 HAS SOPS 239271 HAS SOUS 132081 HAS SOUPS 124432 WITH SCORE 124810.391
AT ITER 830 NEW BEST:: SOT 789673 SOS 378223 HAS SOPS 239103 HAS SOUS 132081 HAS SOUPS 124432 WITH SCORE 124810.223
AT ITER 837 NEW BEST:: SOT 789542 SOS 378241 HAS SOPS 239256 HAS SOUS 131932 HAS SOUPS 124283 WITH SCORE 124661.241
AT ITER 845 NEW BEST:: SOT 789465 SOS 378626 HAS SOPS 239554 HAS SOUS 131583 HAS SOUPS 123944 WITH SCORE 124322.626
AT ITER 859 NEW BEST:: SOT 789437 SOS 378570 HAS SOPS 239498 HAS SOUS 131570 HAS SOUPS 123931 WITH SCORE 124309.57
AT ITER 860 NEW BEST:: SOT 789437 SOS 378570 HAS SOPS 239449 HAS SOUS 131570 HAS SOUPS 123882 WITH SCORE 124260.57
AT ITER 861 NEW BEST:: SOT 789453 SOS 378590 HAS SOPS 239469 HAS SOUS 131564 HAS SOUPS 123876 WITH SCORE 124254.59
AT ITER 863 NEW BEST:: SOT 789481 SOS 378662 HAS SOPS 239433 HAS SOUS 131528 HAS SOUPS 123840 WITH SCORE 124218.662
AT ITER 864 NEW BEST:: SOT 789458 SOS 378706 HAS SOPS 239477 HAS SOUS 131482 HAS SOUPS 123794 WITH SCORE 124172.706
AT ITER 871 NEW BEST:: SOT 789077 SOS 378325 HAS SOPS 239030 HAS SOUS 131426 HAS SOUPS 123738 WITH SCORE 124116.325
AT ITER 874 NEW BEST:: SOT 789077 SOS 378509 HAS SOPS 239214 HAS SOUS 131403 HAS SOUPS 123715 WITH SCORE 124093.509
AT ITER 880 NEW BEST:: SOT 789066 SOS 378435 HAS SOPS 239140 HAS SOUS 131381 HAS SOUPS 123693 WITH SCORE 124071.435
AT ITER 884 NEW BEST:: SOT 789066 SOS 378323 HAS SOPS 239028 HAS SOUS 131381 HAS SOUPS 123693 WITH SCORE 124071.323
AT ITER 906 NEW BEST:: SOT 789595 SOS 378623 HAS SOPS 238466 HAS SOUS 130254 HAS SOUPS 122566 WITH SCORE 122944.623
AT ITER 911 NEW BEST:: SOT 789595 SOS 378605 HAS SOPS 238460 HAS SOUS 130248 HAS SOUPS 122560 WITH SCORE 122938.605
AT ITER 915 NEW BEST:: SOT 789543 SOS 378553 HAS SOPS 238356 HAS SOUS 130144 HAS SOUPS 122456 WITH SCORE 122834.553
AT ITER 926 NEW BEST:: SOT 789473 SOS 378413 HAS SOPS 238216 HAS SOUS 130004 HAS SOUPS 122316 WITH SCORE 122694.413
AT ITER 940 NEW BEST:: SOT 789473 SOS 378388 HAS SOPS 238191 HAS SOUS 130004 HAS SOUPS 122316 WITH SCORE 122694.388
AT ITER 947 NEW BEST:: SOT 789473 SOS 378388 HAS SOPS 238191 HAS SOUS 129939 HAS SOUPS 122251 WITH SCORE 122629.388
AT ITER 948 NEW BEST:: SOT 789134 SOS 377938 HAS SOPS 237369 HAS SOUS 129059 HAS SOUPS 121371 WITH SCORE 121748.938
AT ITER 949 NEW BEST:: SOT 789134 SOS 377928 HAS SOPS 237359 HAS SOUS 129059 HAS SOUPS 121371 WITH SCORE 121748.928
AT ITER 951 NEW BEST:: SOT 789066 SOS 377860 HAS SOPS 237363 HAS SOUS 129011 HAS SOUPS 121323 WITH SCORE 121700.86
AT ITER 976 NEW BEST:: SOT 788982 SOS 377776 HAS SOPS 237279 HAS SOUS 128927 HAS SOUPS 121239 WITH SCORE 121616.776
AT ITER 1007 NEW BEST:: SOT 789022 SOS 377090 HAS SOPS 237473 HAS SOUS 128899 HAS SOUPS 121231 WITH SCORE 121608.09
AT ITER 1008 NEW BEST:: SOT 789056 SOS 377246 HAS SOPS 237629 HAS SOUS 128797 HAS SOUPS 121129 WITH SCORE 121506.246
AT ITER 1014 NEW BEST:: SOT 788876 SOS 377066 HAS SOPS 237179 HAS SOUS 128557 HAS SOUPS 120679 WITH SCORE 121056.066
AT ITER 1022 NEW BEST:: SOT 788806 SOS 376935 HAS SOPS 236978 HAS SOUS 128356 HAS SOUPS 120478 WITH SCORE 120854.935
AT ITER 1024 NEW BEST:: SOT 788769 SOS 376413 HAS SOPS 236456 HAS SOUS 128282 HAS SOUPS 120404 WITH SCORE 120780.413
AT ITER 1027 NEW BEST:: SOT 788045 SOS 375760 HAS SOPS 236445 HAS SOUS 128271 HAS SOUPS 120393 WITH SCORE 120768.76
AT ITER 1035 NEW BEST:: SOT 788048 SOS 375678 HAS SOPS 236363 HAS SOUS 128221 HAS SOUPS 120343 WITH SCORE 120718.678
AT ITER 1055 NEW BEST:: SOT 788068 SOS 375633 HAS SOPS 236318 HAS SOUS 128176 HAS SOUPS 120298 WITH SCORE 120673.633
AT ITER 1064 NEW BEST:: SOT 788068 SOS 375488 HAS SOPS 236173 HAS SOUS 128176 HAS SOUPS 120298 WITH SCORE 120673.488
AT ITER 1077 NEW BEST:: SOT 787867 SOS 375299 HAS SOPS 235984 HAS SOUS 128071 HAS SOUPS 120193 WITH SCORE 120568.299
AT ITER 1091 NEW BEST:: SOT 787865 SOS 375295 HAS SOPS 235980 HAS SOUS 128069 HAS SOUPS 120191 WITH SCORE 120566.295
AT ITER 1093 NEW BEST:: SOT 786529 SOS 378162 HAS SOPS 234378 HAS SOUS 128164 HAS SOUPS 120124 WITH SCORE 120502.162
AT ITER 1098 NEW BEST:: SOT 786490 SOS 378204 HAS SOPS 234420 HAS SOUS 128086 HAS SOUPS 120046 WITH SCORE 120424.204
AT ITER 1136 NEW BEST:: SOT 786474 SOS 378515 HAS SOPS 234731 HAS SOUS 128054 HAS SOUPS 120014 WITH SCORE 120392.515
AT ITER 1140 NEW BEST:: SOT 786468 SOS 378512 HAS SOPS 234722 HAS SOUS 128045 HAS SOUPS 120005 WITH SCORE 120383.512
AT ITER 1146 NEW BEST:: SOT 786424 SOS 378490 HAS SOPS 234700 HAS SOUS 128001 HAS SOUPS 119961 WITH SCORE 120339.49
AT ITER 1151 NEW BEST:: SOT 786364 SOS 378273 HAS SOPS 234483 HAS SOUS 127881 HAS SOUPS 119841 WITH SCORE 120219.273
AT ITER 1157 NEW BEST:: SOT 786547 SOS 378345 HAS SOPS 234553 HAS SOUS 127844 HAS SOUPS 119804 WITH SCORE 120182.345
AT ITER 1160 NEW BEST:: SOT 786533 SOS 378331 HAS SOPS 234539 HAS SOUS 127830 HAS SOUPS 119790 WITH SCORE 120168.331
AT ITER 1162 NEW BEST:: SOT 786532 SOS 378214 HAS SOPS 234422 HAS SOUS 127828 HAS SOUPS 119788 WITH SCORE 120166.214
AT ITER 1167 NEW BEST:: SOT 786602 SOS 377624 HAS SOPS 233832 HAS SOUS 127812 HAS SOUPS 119772 WITH SCORE 120149.624
AT ITER 1169 NEW BEST:: SOT 786568 SOS 377415 HAS SOPS 233623 HAS SOUS 127735 HAS SOUPS 119695 WITH SCORE 120072.415
AT ITER 1170 NEW BEST:: SOT 786500 SOS 377335 HAS SOPS 233543 HAS SOUS 127579 HAS SOUPS 119539 WITH SCORE 119916.335
AT ITER 1188 NEW BEST:: SOT 786454 SOS 377297 HAS SOPS 233505 HAS SOUS 127487 HAS SOUPS 119447 WITH SCORE 119824.297
AT ITER 1208 NEW BEST:: SOT 786454 SOS 377183 HAS SOPS 233391 HAS SOUS 127487 HAS SOUPS 119447 WITH SCORE 119824.183
AT ITER 1211 NEW BEST:: SOT 786431 SOS 377160 HAS SOPS 233368 HAS SOUS 127464 HAS SOUPS 119424 WITH SCORE 119801.16
AT ITER 1229 NEW BEST:: SOT 786203 SOS 377007 HAS SOPS 233215 HAS SOUS 127387 HAS SOUPS 119347 WITH SCORE 119724.007
AT ITER 1253 NEW BEST:: SOT 786203 SOS 377007 HAS SOPS 233215 HAS SOUS 127333 HAS SOUPS 119293 WITH SCORE 119670.007
AT ITER 1257 NEW BEST:: SOT 786187 SOS 376975 HAS SOPS 233183 HAS SOUS 127333 HAS SOUPS 119293 WITH SCORE 119669.975
AT ITER 1268 NEW BEST:: SOT 786108 SOS 376935 HAS SOPS 233087 HAS SOUS 127237 HAS SOUPS 119197 WITH SCORE 119573.935
AT ITER 1276 NEW BEST:: SOT 786105 SOS 376911 HAS SOPS 233063 HAS SOUS 127231 HAS SOUPS 119191 WITH SCORE 119567.911
AT ITER 1290 NEW BEST:: SOT 786035 SOS 375359 HAS SOPS 231511 HAS SOUS 127173 HAS SOUPS 119133 WITH SCORE 119508.359
AT ITER 1293 NEW BEST:: SOT 786029 SOS 375350 HAS SOPS 231502 HAS SOUS 127164 HAS SOUPS 119124 WITH SCORE 119499.35
AT ITER 1299 NEW BEST:: SOT 785827 SOS 374949 HAS SOPS 231101 HAS SOUS 126896 HAS SOUPS 118856 WITH SCORE 119230.949
AT ITER 1305 NEW BEST:: SOT 785827 SOS 374989 HAS SOPS 231101 HAS SOUS 126876 HAS SOUPS 118836 WITH SCORE 119210.989
AT ITER 1320 NEW BEST:: SOT 785669 SOS 374863 HAS SOPS 230785 HAS SOUS 126560 HAS SOUPS 118520 WITH SCORE 118894.863
AT ITER 1321 NEW BEST:: SOT 785702 SOS 374882 HAS SOPS 230774 HAS SOUS 126508 HAS SOUPS 118468 WITH SCORE 118842.882
AT ITER 1329 NEW BEST:: SOT 785339 SOS 374664 HAS SOPS 230485 HAS SOUS 126382 HAS SOUPS 118342 WITH SCORE 118716.664
AT ITER 1330 NEW BEST:: SOT 785336 SOS 374593 HAS SOPS 230414 HAS SOUS 126376 HAS SOUPS 118336 WITH SCORE 118710.593
AT ITER 1337 NEW BEST:: SOT 785226 SOS 374416 HAS SOPS 228477 HAS SOUS 124623 HAS SOUPS 116583 WITH SCORE 116957.416
AT ITER 1360 NEW BEST:: SOT 783764 SOS 373013 HAS SOPS 227264 HAS SOUS 124629 HAS SOUPS 116520 WITH SCORE 116893.013
AT ITER 1365 NEW BEST:: SOT 783760 SOS 373033 HAS SOPS 227284 HAS SOUS 124625 HAS SOUPS 116516 WITH SCORE 116889.033
AT ITER 1372 NEW BEST:: SOT 782264 SOS 371564 HAS SOPS 226269 HAS SOUS 124243 HAS SOUPS 116130 WITH SCORE 116501.564
AT ITER 1374 NEW BEST:: SOT 782261 SOS 371488 HAS SOPS 226215 HAS SOUS 124237 HAS SOUPS 116124 WITH SCORE 116495.488
AT ITER 1388 NEW BEST:: SOT 782301 SOS 371732 HAS SOPS 226295 HAS SOUS 124181 HAS SOUPS 116068 WITH SCORE 116439.732
AT ITER 1390 NEW BEST:: SOT 782361 SOS 372254 HAS SOPS 226415 HAS SOUS 124154 HAS SOUPS 115903 WITH SCORE 116275.254
AT ITER 1397 NEW BEST:: SOT 782158 SOS 372040 HAS SOPS 226201 HAS SOUS 124148 HAS SOUPS 115897 WITH SCORE 116269.04
AT ITER 1420 NEW BEST:: SOT 782133 SOS 371990 HAS SOPS 226151 HAS SOUS 124098 HAS SOUPS 115847 WITH SCORE 116218.99
AT ITER 1432 NEW BEST:: SOT 781934 SOS 371765 HAS SOPS 225896 HAS SOUS 124095 HAS SOUPS 115844 WITH SCORE 116215.765
AT ITER 1436 NEW BEST:: SOT 782168 SOS 371981 HAS SOPS 226112 HAS SOUS 124005 HAS SOUPS 115754 WITH SCORE 116125.981
AT ITER 1464 NEW BEST:: SOT 782168 SOS 371609 HAS SOPS 225740 HAS SOUS 124005 HAS SOUPS 115754 WITH SCORE 116125.609
AT ITER 1471 NEW BEST:: SOT 782083 SOS 371524 HAS SOPS 225560 HAS SOUS 123915 HAS SOUPS 115664 WITH SCORE 116035.524
AT ITER 1483 NEW BEST:: SOT 782156 SOS 371539 HAS SOPS 225483 HAS SOUS 123665 HAS SOUPS 115414 WITH SCORE 115785.539
AT ITER 1496 NEW BEST:: SOT 782160 SOS 371484 HAS SOPS 225432 HAS SOUS 123638 HAS SOUPS 115387 WITH SCORE 115758.484
AT ITER 1506 NEW BEST:: SOT 781933 SOS 371205 HAS SOPS 225277 HAS SOUS 123436 HAS SOUPS 115185 WITH SCORE 115556.205
AT ITER 1509 NEW BEST:: SOT 781933 SOS 371194 HAS SOPS 225266 HAS SOUS 123436 HAS SOUPS 115185 WITH SCORE 115556.194
AT ITER 1517 NEW BEST:: SOT 781886 SOS 371057 HAS SOPS 225129 HAS SOUS 123342 HAS SOUPS 115091 WITH SCORE 115462.057
AT ITER 1523 NEW BEST:: SOT 781879 SOS 371043 HAS SOPS 225115 HAS SOUS 123328 HAS SOUPS 115077 WITH SCORE 115448.043
AT ITER 1524 NEW BEST:: SOT 781775 SOS 370934 HAS SOPS 225006 HAS SOUS 123219 HAS SOUPS 114968 WITH SCORE 115338.934
AT ITER 1546 NEW BEST:: SOT 781780 SOS 371030 HAS SOPS 224969 HAS SOUS 123304 HAS SOUPS 114931 WITH SCORE 115302.03
AT ITER 1551 NEW BEST:: SOT 781753 SOS 370976 HAS SOPS 224915 HAS SOUS 123250 HAS SOUPS 114877 WITH SCORE 115247.976
AT ITER 1581 NEW BEST:: SOT 781672 SOS 369751 HAS SOPS 223690 HAS SOUS 123234 HAS SOUPS 114861 WITH SCORE 115230.751
AT ITER 1582 NEW BEST:: SOT 781572 SOS 369584 HAS SOPS 223523 HAS SOUS 123117 HAS SOUPS 114744 WITH SCORE 115113.584
AT ITER 1590 NEW BEST:: SOT 781594 SOS 369638 HAS SOPS 223503 HAS SOUS 123065 HAS SOUPS 114692 WITH SCORE 115061.638
AT ITER 1592 NEW BEST:: SOT 781574 SOS 369286 HAS SOPS 223483 HAS SOUS 123007 HAS SOUPS 114644 WITH SCORE 115013.286
AT ITER 1599 NEW BEST:: SOT 781574 SOS 369171 HAS SOPS 223368 HAS SOUS 123007 HAS SOUPS 114644 WITH SCORE 115013.171
AT ITER 1605 NEW BEST:: SOT 781572 SOS 369090 HAS SOPS 223287 HAS SOUS 123003 HAS SOUPS 114640 WITH SCORE 115009.09
AT ITER 1612 NEW BEST:: SOT 781497 SOS 368866 HAS SOPS 223063 HAS SOUS 122929 HAS SOUPS 114566 WITH SCORE 114934.866
AT ITER 1643 NEW BEST:: SOT 780160 SOS 366966 HAS SOPS 221237 HAS SOUS 122766 HAS SOUPS 114403 WITH SCORE 114769.966
AT ITER 1655 NEW BEST:: SOT 780160 SOS 366702 HAS SOPS 220973 HAS SOUS 122678 HAS SOUPS 114315 WITH SCORE 114681.702
AT ITER 1666 NEW BEST:: SOT 780160 SOS 366693 HAS SOPS 220955 HAS SOUS 122669 HAS SOUPS 114306 WITH SCORE 114672.693
AT ITER 1668 NEW BEST:: SOT 779119 SOS 369139 HAS SOPS 220118 HAS SOUS 122753 HAS SOUPS 114263 WITH SCORE 114632.139
AT ITER 1682 NEW BEST:: SOT 779048 SOS 369068 HAS SOPS 219976 HAS SOUS 122648 HAS SOUPS 114121 WITH SCORE 114490.068
AT ITER 1701 NEW BEST:: SOT 779048 SOS 368939 HAS SOPS 219847 HAS SOUS 122445 HAS SOUPS 113918 WITH SCORE 114286.939
AT ITER 1711 NEW BEST:: SOT 778989 SOS 368880 HAS SOPS 219788 HAS SOUS 122431 HAS SOUPS 113897 WITH SCORE 114265.88
AT ITER 1740 NEW BEST:: SOT 778938 SOS 368818 HAS SOPS 219726 HAS SOUS 122369 HAS SOUPS 113835 WITH SCORE 114203.818
AT ITER 1741 NEW BEST:: SOT 778836 SOS 368614 HAS SOPS 219522 HAS SOUS 122267 HAS SOUPS 113733 WITH SCORE 114101.614
AT ITER 1753 NEW BEST:: SOT 778871 SOS 368708 HAS SOPS 219468 HAS SOUS 121602 HAS SOUPS 113068 WITH SCORE 113436.708
AT ITER 1756 NEW BEST:: SOT 778873 SOS 368785 HAS SOPS 219545 HAS SOUS 121571 HAS SOUPS 113037 WITH SCORE 113405.785
AT ITER 1767 NEW BEST:: SOT 778950 SOS 368972 HAS SOPS 219489 HAS SOUS 121515 HAS SOUPS 112981 WITH SCORE 113349.972
AT ITER 1774 NEW BEST:: SOT 778931 SOS 368974 HAS SOPS 219451 HAS SOUS 121612 HAS SOUPS 112943 WITH SCORE 113311.974
AT ITER 1777 NEW BEST:: SOT 778930 SOS 368967 HAS SOPS 219444 HAS SOUS 121610 HAS SOUPS 112941 WITH SCORE 113309.967
AT ITER 1786 NEW BEST:: SOT 778879 SOS 368948 HAS SOPS 219176 HAS SOUS 121342 HAS SOUPS 112673 WITH SCORE 113041.948
AT ITER 1789 NEW BEST:: SOT 778874 SOS 369358 HAS SOPS 219586 HAS SOUS 121337 HAS SOUPS 112668 WITH SCORE 113037.358
AT ITER 1790 NEW BEST:: SOT 778837 SOS 369290 HAS SOPS 219582 HAS SOUS 121333 HAS SOUPS 112664 WITH SCORE 113033.29
AT ITER 1795 NEW BEST:: SOT 778836 SOS 369102 HAS SOPS 219394 HAS SOUS 121331 HAS SOUPS 112662 WITH SCORE 113031.102
AT ITER 1797 NEW BEST:: SOT 778836 SOS 369089 HAS SOPS 219381 HAS SOUS 121318 HAS SOUPS 112649 WITH SCORE 113018.089
AT ITER 1809 NEW BEST:: SOT 778836 SOS 369157 HAS SOPS 219449 HAS SOUS 121284 HAS SOUPS 112615 WITH SCORE 112984.157
AT ITER 1816 NEW BEST:: SOT 778836 SOS 369093 HAS SOPS 219385 HAS SOUS 121284 HAS SOUPS 112615 WITH SCORE 112984.093
AT ITER 1821 NEW BEST:: SOT 778822 SOS 369098 HAS SOPS 219451 HAS SOUS 121256 HAS SOUPS 112587 WITH SCORE 112956.098
AT ITER 1823 NEW BEST:: SOT 779461 SOS 367200 HAS SOPS 220067 HAS SOUS 121161 HAS SOUPS 112565 WITH SCORE 112932.2
AT ITER 1840 NEW BEST:: SOT 779581 SOS 367155 HAS SOPS 219709 HAS SOUS 120656 HAS SOUPS 112060 WITH SCORE 112427.155
AT ITER 1847 NEW BEST:: SOT 779581 SOS 367061 HAS SOPS 219615 HAS SOUS 120656 HAS SOUPS 112060 WITH SCORE 112427.061
AT ITER 1869 NEW BEST:: SOT 779547 SOS 367022 HAS SOPS 219576 HAS SOUS 120617 HAS SOUPS 112021 WITH SCORE 112388.022
AT ITER 1870 NEW BEST:: SOT 780752 SOS 368056 HAS SOPS 219605 HAS SOUS 119859 HAS SOUPS 111509 WITH SCORE 111877.056
AT ITER 1882 NEW BEST:: SOT 780746 SOS 368050 HAS SOPS 219599 HAS SOUS 119853 HAS SOUPS 111503 WITH SCORE 111871.05
AT ITER 1901 NEW BEST:: SOT 780746 SOS 368045 HAS SOPS 219594 HAS SOUS 119853 HAS SOUPS 111503 WITH SCORE 111871.045
AT ITER 1902 NEW BEST:: SOT 780617 SOS 368232 HAS SOPS 220304 HAS SOUS 119846 HAS SOUPS 111496 WITH SCORE 111864.232
AT ITER 1907 NEW BEST:: SOT 780597 SOS 368212 HAS SOPS 220283 HAS SOUS 119825 HAS SOUPS 111475 WITH SCORE 111843.212
AT ITER 1911 NEW BEST:: SOT 780595 SOS 368364 HAS SOPS 220435 HAS SOUS 119821 HAS SOUPS 111471 WITH SCORE 111839.364
AT ITER 1914 NEW BEST:: SOT 780587 SOS 368352 HAS SOPS 220423 HAS SOUS 119809 HAS SOUPS 111459 WITH SCORE 111827.352
AT ITER 1926 NEW BEST:: SOT 780587 SOS 368397 HAS SOPS 220468 HAS SOUS 119788 HAS SOUPS 111438 WITH SCORE 111806.397
AT ITER 1937 NEW BEST:: SOT 780596 SOS 368406 HAS SOPS 220452 HAS SOUS 119788 HAS SOUPS 111422 WITH SCORE 111790.406
AT ITER 1939 NEW BEST:: SOT 780580 SOS 368374 HAS SOPS 220420 HAS SOUS 119773 HAS SOUPS 111407 WITH SCORE 111775.374
AT ITER 1944 NEW BEST:: SOT 780534 SOS 368313 HAS SOPS 220359 HAS SOUS 119694 HAS SOUPS 111328 WITH SCORE 111696.313
AT ITER 1946 NEW BEST:: SOT 780534 SOS 368256 HAS SOPS 220302 HAS SOUS 119694 HAS SOUPS 111328 WITH SCORE 111696.256
AT ITER 1947 NEW BEST:: SOT 780972 SOS 368691 HAS SOPS 220611 HAS SOUS 119662 HAS SOUPS 111296 WITH SCORE 111664.691
AT ITER 1954 NEW BEST:: SOT 780969 SOS 368652 HAS SOPS 220605 HAS SOUS 119656 HAS SOUPS 111290 WITH SCORE 111658.652
AT ITER 1991 NEW BEST:: SOT 780899 SOS 368547 HAS SOPS 220290 HAS SOUS 119569 HAS SOUPS 111185 WITH SCORE 111553.547
AT ITER 2013 NEW BEST:: SOT 780951 SOS 368599 HAS SOPS 220346 HAS SOUS 119555 HAS SOUPS 111171 WITH SCORE 111539.599
AT ITER 2030 NEW BEST:: SOT 776002 SOS 380487 HAS SOPS 215286 HAS SOUS 114904 HAS SOUPS 106373 WITH SCORE 106753.487
AT ITER 2038 NEW BEST:: SOT 775987 SOS 380237 HAS SOPS 215052 HAS SOUS 114879 HAS SOUPS 106348 WITH SCORE 106728.237
AT ITER 2040 NEW BEST:: SOT 775817 SOS 380067 HAS SOPS 214922 HAS SOUS 114781 HAS SOUPS 106209 WITH SCORE 106589.067
AT ITER 2052 NEW BEST:: SOT 775811 SOS 380067 HAS SOPS 214904 HAS SOUS 114763 HAS SOUPS 106191 WITH SCORE 106571.067
AT ITER 2053 NEW BEST:: SOT 775226 SOS 379431 HAS SOPS 214544 HAS SOUS 114717 HAS SOUPS 106145 WITH SCORE 106524.431
AT ITER 2057 NEW BEST:: SOT 775196 SOS 379401 HAS SOPS 214544 HAS SOUS 114717 HAS SOUPS 106145 WITH SCORE 106524.401
AT ITER 2061 NEW BEST:: SOT 775324 SOS 379561 HAS SOPS 214704 HAS SOUS 114656 HAS SOUPS 106084 WITH SCORE 106463.561
AT ITER 2084 NEW BEST:: SOT 775226 SOS 379436 HAS SOPS 214606 HAS SOUS 114531 HAS SOUPS 105959 WITH SCORE 106338.436
AT ITER 2087 NEW BEST:: SOT 775226 SOS 379432 HAS SOPS 214602 HAS SOUS 114531 HAS SOUPS 105959 WITH SCORE 106338.432
AT ITER 2100 NEW BEST:: SOT 775240 SOS 379560 HAS SOPS 214730 HAS SOUS 114509 HAS SOUPS 105937 WITH SCORE 106316.56
AT ITER 2103 NEW BEST:: SOT 775240 SOS 379560 HAS SOPS 214730 HAS SOUS 114502 HAS SOUPS 105930 WITH SCORE 106309.56
AT ITER 2113 NEW BEST:: SOT 775240 SOS 379346 HAS SOPS 214516 HAS SOUS 114502 HAS SOUPS 105930 WITH SCORE 106309.346
AT ITER 2114 NEW BEST:: SOT 775369 SOS 379451 HAS SOPS 214599 HAS SOUS 114267 HAS SOUPS 105695 WITH SCORE 106074.451
AT ITER 2128 NEW BEST:: SOT 775358 SOS 379412 HAS SOPS 214560 HAS SOUS 114256 HAS SOUPS 105684 WITH SCORE 106063.412
AT ITER 2130 NEW BEST:: SOT 774679 SOS 379677 HAS SOPS 214836 HAS SOUS 113955 HAS SOUPS 105383 WITH SCORE 105762.677
AT ITER 2136 NEW BEST:: SOT 774657 SOS 379502 HAS SOPS 214661 HAS SOUS 113941 HAS SOUPS 105369 WITH SCORE 105748.502
AT ITER 2142 NEW BEST:: SOT 774237 SOS 378976 HAS SOPS 213564 HAS SOUS 113932 HAS SOUPS 105360 WITH SCORE 105738.976
AT ITER 2149 NEW BEST:: SOT 774190 SOS 378882 HAS SOPS 213470 HAS SOUS 113795 HAS SOUPS 105223 WITH SCORE 105601.882
AT ITER 2150 NEW BEST:: SOT 774179 SOS 378828 HAS SOPS 213416 HAS SOUS 113741 HAS SOUPS 105169 WITH SCORE 105547.828
AT ITER 2168 NEW BEST:: SOT 774170 SOS 378801 HAS SOPS 213389 HAS SOUS 113732 HAS SOUPS 105160 WITH SCORE 105538.801
AT ITER 2172 NEW BEST:: SOT 774170 SOS 378757 HAS SOPS 213345 HAS SOUS 113732 HAS SOUPS 105160 WITH SCORE 105538.757
AT ITER 2180 NEW BEST:: SOT 774155 SOS 378757 HAS SOPS 213345 HAS SOUS 113717 HAS SOUPS 105145 WITH SCORE 105523.757
AT ITER 2191 NEW BEST:: SOT 774149 SOS 378521 HAS SOPS 213109 HAS SOUS 113705 HAS SOUPS 105133 WITH SCORE 105511.521
AT ITER 2217 NEW BEST:: SOT 774147 SOS 378483 HAS SOPS 213071 HAS SOUS 113695 HAS SOUPS 105123 WITH SCORE 105501.483
AT ITER 2227 NEW BEST:: SOT 774142 SOS 378473 HAS SOPS 213061 HAS SOUS 113685 HAS SOUPS 105113 WITH SCORE 105491.473
AT ITER 2230 NEW BEST:: SOT 773913 SOS 377693 HAS SOPS 212286 HAS SOUS 113388 HAS SOUPS 104816 WITH SCORE 105193.693
AT ITER 2259 NEW BEST:: SOT 773834 SOS 377608 HAS SOPS 212201 HAS SOUS 113224 HAS SOUPS 104652 WITH SCORE 105029.608
AT ITER 2331 NEW BEST:: SOT 773832 SOS 377606 HAS SOPS 212199 HAS SOUS 113222 HAS SOUPS 104650 WITH SCORE 105027.606
AT ITER 2335 NEW BEST:: SOT 773940 SOS 377323 HAS SOPS 211868 HAS SOUS 113216 HAS SOUPS 104644 WITH SCORE 105021.323
AT ITER 2336 NEW BEST:: SOT 773940 SOS 377318 HAS SOPS 211863 HAS SOUS 113211 HAS SOUPS 104639 WITH SCORE 105016.318
AT ITER 2337 NEW BEST:: SOT 774467 SOS 377845 HAS SOPS 212477 HAS SOUS 113123 HAS SOUPS 104638 WITH SCORE 105015.845
AT ITER 2387 NEW BEST:: SOT 774434 SOS 378035 HAS SOPS 212667 HAS SOUS 113057 HAS SOUPS 104572 WITH SCORE 104950.035
AT ITER 2405 NEW BEST:: SOT 774431 SOS 378032 HAS SOPS 212658 HAS SOUS 113048 HAS SOUPS 104563 WITH SCORE 104941.032
AT ITER 2408 NEW BEST:: SOT 774427 SOS 378024 HAS SOPS 212650 HAS SOUS 113040 HAS SOUPS 104555 WITH SCORE 104933.024
AT ITER 2415 NEW BEST:: SOT 774427 SOS 378118 HAS SOPS 212744 HAS SOUS 112946 HAS SOUPS 104461 WITH SCORE 104839.118
AT ITER 2491 NEW BEST:: SOT 774399 SOS 378110 HAS SOPS 212736 HAS SOUS 112881 HAS SOUPS 104396 WITH SCORE 104774.11
AT ITER 2496 NEW BEST:: SOT 774632 SOS 376839 HAS SOPS 212767 HAS SOUS 112751 HAS SOUPS 104380 WITH SCORE 104756.839
AT ITER 2519 NEW BEST:: SOT 774449 SOS 377027 HAS SOPS 212545 HAS SOUS 112647 HAS SOUPS 104246 WITH SCORE 104623.027
AT ITER 2520 NEW BEST:: SOT 774343 SOS 376778 HAS SOPS 212314 HAS SOUS 112464 HAS SOUPS 104063 WITH SCORE 104439.778
AT ITER 2522 NEW BEST:: SOT 774168 SOS 376423 HAS SOPS 211869 HAS SOUS 112113 HAS SOUPS 103712 WITH SCORE 104088.423
AT ITER 2523 NEW BEST:: SOT 774142 SOS 376468 HAS SOPS 211914 HAS SOUS 112066 HAS SOUPS 103665 WITH SCORE 104041.468
AT ITER 2541 NEW BEST:: SOT 774122 SOS 376408 HAS SOPS 211854 HAS SOUS 112026 HAS SOUPS 103625 WITH SCORE 104001.408
AT ITER 2545 NEW BEST:: SOT 774028 SOS 376314 HAS SOPS 211666 HAS SOUS 111849 HAS SOUPS 103437 WITH SCORE 103813.314
AT ITER 2556 NEW BEST:: SOT 774033 SOS 376240 HAS SOPS 211592 HAS SOUS 111847 HAS SOUPS 103435 WITH SCORE 103811.24
AT ITER 2560 NEW BEST:: SOT 773976 SOS 376099 HAS SOPS 211072 HAS SOUS 111648 HAS SOUPS 103236 WITH SCORE 103612.099
AT ITER 2582 NEW BEST:: SOT 773997 SOS 376120 HAS SOPS 211083 HAS SOUS 111639 HAS SOUPS 103227 WITH SCORE 103603.12
AT ITER 2584 NEW BEST:: SOT 773876 SOS 375660 HAS SOPS 210623 HAS SOUS 111532 HAS SOUPS 103120 WITH SCORE 103495.66
AT ITER 2598 NEW BEST:: SOT 773876 SOS 375568 HAS SOPS 210531 HAS SOUS 111486 HAS SOUPS 103074 WITH SCORE 103449.568
AT ITER 2602 NEW BEST:: SOT 773853 SOS 375552 HAS SOPS 210530 HAS SOUS 111455 HAS SOUPS 103043 WITH SCORE 103418.552
AT ITER 2603 NEW BEST:: SOT 773844 SOS 375449 HAS SOPS 210427 HAS SOUS 111452 HAS SOUPS 103040 WITH SCORE 103415.449
AT ITER 2609 NEW BEST:: SOT 773793 SOS 375451 HAS SOPS 210429 HAS SOUS 111402 HAS SOUPS 102990 WITH SCORE 103365.451
AT ITER 2613 NEW BEST:: SOT 773653 SOS 375346 HAS SOPS 210289 HAS SOUS 111339 HAS SOUPS 102850 WITH SCORE 103225.346
AT ITER 2630 NEW BEST:: SOT 773485 SOS 375348 HAS SOPS 210187 HAS SOUS 111288 HAS SOUPS 102747 WITH SCORE 103122.348
AT ITER 2639 NEW BEST:: SOT 773485 SOS 375028 HAS SOPS 209867 HAS SOUS 111288 HAS SOUPS 102747 WITH SCORE 103122.028
AT ITER 2653 NEW BEST:: SOT 773458 SOS 375004 HAS SOPS 209354 HAS SOUS 110799 HAS SOUPS 102258 WITH SCORE 102633.004
AT ITER 2683 NEW BEST:: SOT 773458 SOS 374565 HAS SOPS 208915 HAS SOUS 110799 HAS SOUPS 102258 WITH SCORE 102632.565
AT ITER 2718 NEW BEST:: SOT 773388 SOS 374419 HAS SOPS 208769 HAS SOUS 110764 HAS SOUPS 102223 WITH SCORE 102597.419
AT ITER 2720 NEW BEST:: SOT 773267 SOS 374235 HAS SOPS 208596 HAS SOUS 110643 HAS SOUPS 102102 WITH SCORE 102476.235
AT ITER 2728 NEW BEST:: SOT 772353 SOS 373262 HAS SOPS 207583 HAS SOUS 110603 HAS SOUPS 102062 WITH SCORE 102435.262
AT ITER 2731 NEW BEST:: SOT 771767 SOS 372676 HAS SOPS 206961 HAS SOUS 110584 HAS SOUPS 102043 WITH SCORE 102415.676
AT ITER 2736 NEW BEST:: SOT 771730 SOS 372688 HAS SOPS 206936 HAS SOUS 110559 HAS SOUPS 102018 WITH SCORE 102390.688
AT ITER 2737 NEW BEST:: SOT 771730 SOS 372644 HAS SOPS 206892 HAS SOUS 110546 HAS SOUPS 102005 WITH SCORE 102377.644
AT ITER 2738 NEW BEST:: SOT 771662 SOS 372576 HAS SOPS 206752 HAS SOUS 110028 HAS SOUPS 101487 WITH SCORE 101859.576
AT ITER 2749 NEW BEST:: SOT 771655 SOS 372576 HAS SOPS 206746 HAS SOUS 110022 HAS SOUPS 101475 WITH SCORE 101847.576
AT ITER 2756 NEW BEST:: SOT 771657 SOS 372578 HAS SOPS 206744 HAS SOUS 110018 HAS SOUPS 101471 WITH SCORE 101843.578
AT ITER 2797 NEW BEST:: SOT 771633 SOS 372482 HAS SOPS 206716 HAS SOUS 110006 HAS SOUPS 101459 WITH SCORE 101831.482
AT ITER 2802 NEW BEST:: SOT 771630 SOS 372043 HAS SOPS 206277 HAS SOUS 110000 HAS SOUPS 101453 WITH SCORE 101825.043
AT ITER 2805 NEW BEST:: SOT 771662 SOS 372083 HAS SOPS 206317 HAS SOUS 109985 HAS SOUPS 101438 WITH SCORE 101810.083
AT ITER 2807 NEW BEST:: SOT 771216 SOS 371637 HAS SOPS 206123 HAS SOUS 109791 HAS SOUPS 101244 WITH SCORE 101615.637
AT ITER 2817 NEW BEST:: SOT 771006 SOS 371357 HAS SOPS 205843 HAS SOUS 109511 HAS SOUPS 100964 WITH SCORE 101335.357
AT ITER 2822 NEW BEST:: SOT 771062 SOS 371423 HAS SOPS 205896 HAS SOUS 109486 HAS SOUPS 100939 WITH SCORE 101310.423
AT ITER 2847 NEW BEST:: SOT 771014 SOS 370815 HAS SOPS 205305 HAS SOUS 109329 HAS SOUPS 100782 WITH SCORE 101152.815
AT ITER 2874 NEW BEST:: SOT 771010 SOS 371027 HAS SOPS 205517 HAS SOUS 109324 HAS SOUPS 100777 WITH SCORE 101148.027
AT ITER 2881 NEW BEST:: SOT 771163 SOS 371172 HAS SOPS 205436 HAS SOUS 109029 HAS SOUPS 100482 WITH SCORE 100853.172
AT ITER 2883 NEW BEST:: SOT 771123 SOS 371132 HAS SOPS 205356 HAS SOUS 108979 HAS SOUPS 100402 WITH SCORE 100773.132
AT ITER 2904 NEW BEST:: SOT 771049 SOS 370857 HAS SOPS 205058 HAS SOUS 108849 HAS SOUPS 100272 WITH SCORE 100642.857
AT ITER 2907 NEW BEST:: SOT 770663 SOS 371522 HAS SOPS 204672 HAS SOUS 108784 HAS SOUPS 100068 WITH SCORE 100439.522
AT ITER 2909 NEW BEST:: SOT 770663 SOS 371375 HAS SOPS 204525 HAS SOUS 108784 HAS SOUPS 100068 WITH SCORE 100439.375
AT ITER 2913 NEW BEST:: SOT 770651 SOS 371334 HAS SOPS 204484 HAS SOUS 108760 HAS SOUPS 100044 WITH SCORE 100415.334
AT ITER 2916 NEW BEST:: SOT 770569 SOS 371540 HAS SOPS 204478 HAS SOUS 108771 HAS SOUPS 100015 WITH SCORE 100386.54
AT ITER 2966 NEW BEST:: SOT 770561 SOS 371572 HAS SOPS 204510 HAS SOUS 108755 HAS SOUPS 99999 WITH SCORE 100370.572
AT ITER 2979 NEW BEST:: SOT 770377 SOS 371201 HAS SOPS 204139 HAS SOUS 108472 HAS SOUPS 99716 WITH SCORE 100087.201
AT ITER 3000 NEW BEST:: SOT 770377 SOS 370829 HAS SOPS 203767 HAS SOUS 108472 HAS SOUPS 99716 WITH SCORE 100086.829
AT ITER 3007 NEW BEST:: SOT 770333 SOS 370731 HAS SOPS 203244 HAS SOUS 108534 HAS SOUPS 99691 WITH SCORE 100061.731
AT ITER 3016 NEW BEST:: SOT 770302 SOS 370700 HAS SOPS 203182 HAS SOUS 108503 HAS SOUPS 99660 WITH SCORE 100030.7
AT ITER 3018 NEW BEST:: SOT 770315 SOS 370765 HAS SOPS 203247 HAS SOUS 108497 HAS SOUPS 99654 WITH SCORE 100024.765
AT ITER 3023 NEW BEST:: SOT 770325 SOS 370776 HAS SOPS 203150 HAS SOUS 108490 HAS SOUPS 99647 WITH SCORE 100017.776
AT ITER 3033 NEW BEST:: SOT 770250 SOS 370476 HAS SOPS 202835 HAS SOUS 108325 HAS SOUPS 99482 WITH SCORE 99852.476
AT ITER 3052 NEW BEST:: SOT 770250 SOS 370499 HAS SOPS 202858 HAS SOUS 108288 HAS SOUPS 99445 WITH SCORE 99815.499
AT ITER 3063 NEW BEST:: SOT 770194 SOS 369652 HAS SOPS 202011 HAS SOUS 108232 HAS SOUPS 99389 WITH SCORE 99758.652
AT ITER 3097 NEW BEST:: SOT 770180 SOS 369624 HAS SOPS 201983 HAS SOUS 108211 HAS SOUPS 99368 WITH SCORE 99737.624
AT ITER 3102 NEW BEST:: SOT 770132 SOS 369584 HAS SOPS 201927 HAS SOUS 108187 HAS SOUPS 99344 WITH SCORE 99713.584
AT ITER 3121 NEW BEST:: SOT 770079 SOS 370773 HAS SOPS 203116 HAS SOUS 108130 HAS SOUPS 99287 WITH SCORE 99657.773
AT ITER 3124 NEW BEST:: SOT 770129 SOS 370712 HAS SOPS 203055 HAS SOUS 108069 HAS SOUPS 99226 WITH SCORE 99596.712
AT ITER 3136 NEW BEST:: SOT 770561 SOS 371144 HAS SOPS 203514 HAS SOUS 108042 HAS SOUPS 99199 WITH SCORE 99570.144
AT ITER 3160 NEW BEST:: SOT 770561 SOS 371110 HAS SOPS 203480 HAS SOUS 108042 HAS SOUPS 99199 WITH SCORE 99570.11
AT ITER 3199 NEW BEST:: SOT 770465 SOS 371014 HAS SOPS 203384 HAS SOUS 108042 HAS SOUPS 99199 WITH SCORE 99570.014
AT ITER 3201 NEW BEST:: SOT 770436 SOS 371073 HAS SOPS 203443 HAS SOUS 108015 HAS SOUPS 99172 WITH SCORE 99543.073
AT ITER 3213 NEW BEST:: SOT 770436 SOS 371073 HAS SOPS 203443 HAS SOUS 107970 HAS SOUPS 99127 WITH SCORE 99498.073
AT ITER 3269 NEW BEST:: SOT 770420 SOS 371057 HAS SOPS 203427 HAS SOUS 107954 HAS SOUPS 99111 WITH SCORE 99482.057
AT ITER 3274 NEW BEST:: SOT 770409 SOS 371046 HAS SOPS 203405 HAS SOUS 107932 HAS SOUPS 99089 WITH SCORE 99460.046
AT ITER 3283 NEW BEST:: SOT 770409 SOS 366023 HAS SOPS 198202 HAS SOUS 107896 HAS SOUPS 99053 WITH SCORE 99419.023
AT ITER 3290 NEW BEST:: SOT 770352 SOS 365944 HAS SOPS 198123 HAS SOUS 107740 HAS SOUPS 98897 WITH SCORE 99262.944
AT ITER 3291 NEW BEST:: SOT 771007 SOS 366662 HAS SOPS 198841 HAS SOUS 107497 HAS SOUPS 98654 WITH SCORE 99020.662
AT ITER 3294 NEW BEST:: SOT 770707 SOS 366362 HAS SOPS 198571 HAS SOUS 107332 HAS SOUPS 98489 WITH SCORE 98855.362
AT ITER 3304 NEW BEST:: SOT 770707 SOS 366307 HAS SOPS 198516 HAS SOUS 107332 HAS SOUPS 98489 WITH SCORE 98855.307
AT ITER 3317 NEW BEST:: SOT 770686 SOS 366469 HAS SOPS 198678 HAS SOUS 107290 HAS SOUPS 98447 WITH SCORE 98813.469
AT ITER 3325 NEW BEST:: SOT 770200 SOS 365789 HAS SOPS 197973 HAS SOUS 107277 HAS SOUPS 98434 WITH SCORE 98799.789
AT ITER 3352 NEW BEST:: SOT 770142 SOS 365702 HAS SOPS 197915 HAS SOUS 107219 HAS SOUPS 98376 WITH SCORE 98741.702
AT ITER 3358 NEW BEST:: SOT 769986 SOS 365551 HAS SOPS 197783 HAS SOUS 107087 HAS SOUPS 98244 WITH SCORE 98609.551
AT ITER 3369 NEW BEST:: SOT 769805 SOS 365410 HAS SOPS 197642 HAS SOUS 107069 HAS SOUPS 98226 WITH SCORE 98591.41
AT ITER 3406 NEW BEST:: SOT 769821 SOS 365428 HAS SOPS 197660 HAS SOUS 107063 HAS SOUPS 98220 WITH SCORE 98585.428
AT ITER 3413 NEW BEST:: SOT 769821 SOS 365417 HAS SOPS 197649 HAS SOUS 107063 HAS SOUPS 98220 WITH SCORE 98585.417
AT ITER 3488 NEW BEST:: SOT 769821 SOS 365417 HAS SOPS 197649 HAS SOUS 107004 HAS SOUPS 98161 WITH SCORE 98526.417
AT ITER 3499 NEW BEST:: SOT 769821 SOS 365466 HAS SOPS 197698 HAS SOUS 106973 HAS SOUPS 98130 WITH SCORE 98495.466
AT ITER 3501 NEW BEST:: SOT 768692 SOS 364232 HAS SOPS 196431 HAS SOUS 106971 HAS SOUPS 98128 WITH SCORE 98492.232
AT ITER 3507 NEW BEST:: SOT 768780 SOS 364320 HAS SOPS 196429 HAS SOUS 107100 HAS SOUPS 98126 WITH SCORE 98490.32
AT ITER 3516 NEW BEST:: SOT 768772 SOS 364187 HAS SOPS 196311 HAS SOUS 107099 HAS SOUPS 98125 WITH SCORE 98489.187
AT ITER 3553 NEW BEST:: SOT 768662 SOS 364055 HAS SOPS 196311 HAS SOUS 107099 HAS SOUPS 98125 WITH SCORE 98489.055
AT ITER 3561 NEW BEST:: SOT 768618 SOS 363962 HAS SOPS 196218 HAS SOUS 107094 HAS SOUPS 98120 WITH SCORE 98483.962
AT ITER 3576 NEW BEST:: SOT 768618 SOS 363957 HAS SOPS 196213 HAS SOUS 107088 HAS SOUPS 98114 WITH SCORE 98477.957
AT ITER 3597 NEW BEST:: SOT 768594 SOS 363933 HAS SOPS 196165 HAS SOUS 107048 HAS SOUPS 98066 WITH SCORE 98429.933
AT ITER 3604 NEW BEST:: SOT 768654 SOS 363977 HAS SOPS 196072 HAS SOUS 106961 HAS SOUPS 97966 WITH SCORE 98329.977
AT ITER 3605 NEW BEST:: SOT 768644 SOS 363967 HAS SOPS 196052 HAS SOUS 106941 HAS SOUPS 97946 WITH SCORE 98309.967
AT ITER 3619 NEW BEST:: SOT 768644 SOS 363962 HAS SOPS 196047 HAS SOUS 106941 HAS SOUPS 97946 WITH SCORE 98309.962
AT ITER 3635 NEW BEST:: SOT 768643 SOS 363876 HAS SOPS 195961 HAS SOUS 106939 HAS SOUPS 97944 WITH SCORE 98307.876
AT ITER 3646 NEW BEST:: SOT 768642 SOS 363858 HAS SOPS 195835 HAS SOUS 107071 HAS SOUPS 97818 WITH SCORE 98181.858
AT ITER 3653 NEW BEST:: SOT 768623 SOS 363839 HAS SOPS 195816 HAS SOUS 107052 HAS SOUPS 97799 WITH SCORE 98162.839
AT ITER 3654 NEW BEST:: SOT 768593 SOS 363657 HAS SOPS 195634 HAS SOUS 106992 HAS SOUPS 97739 WITH SCORE 98102.657
AT ITER 3665 NEW BEST:: SOT 768157 SOS 364960 HAS SOPS 195227 HAS SOUS 106926 HAS SOUPS 97624 WITH SCORE 97988.96
AT ITER 3680 NEW BEST:: SOT 768183 SOS 365035 HAS SOPS 195181 HAS SOUS 106880 HAS SOUPS 97578 WITH SCORE 97943.035
AT ITER 3682 NEW BEST:: SOT 767709 SOS 364561 HAS SOPS 194707 HAS SOUS 106588 HAS SOUPS 97286 WITH SCORE 97650.561
AT ITER 3692 NEW BEST:: SOT 767621 SOS 364819 HAS SOPS 195066 HAS SOUS 106503 HAS SOUPS 97201 WITH SCORE 97565.819
AT ITER 3713 NEW BEST:: SOT 767447 SOS 364674 HAS SOPS 194921 HAS SOUS 106427 HAS SOUPS 97125 WITH SCORE 97489.674
AT ITER 3723 NEW BEST:: SOT 767447 SOS 364668 HAS SOPS 194915 HAS SOUS 106424 HAS SOUPS 97122 WITH SCORE 97486.668
AT ITER 3765 NEW BEST:: SOT 767464 SOS 364685 HAS SOPS 194949 HAS SOUS 106167 HAS SOUPS 96865 WITH SCORE 97229.685
AT ITER 3817 NEW BEST:: SOT 767328 SOS 364541 HAS SOPS 194805 HAS SOUS 106167 HAS SOUPS 96865 WITH SCORE 97229.541
AT ITER 3819 NEW BEST:: SOT 767316 SOS 364529 HAS SOPS 194743 HAS SOUS 106105 HAS SOUPS 96803 WITH SCORE 97167.529
AT ITER 3834 NEW BEST:: SOT 767315 SOS 364557 HAS SOPS 194771 HAS SOUS 106103 HAS SOUPS 96801 WITH SCORE 97165.557
AT ITER 3835 NEW BEST:: SOT 767300 SOS 364542 HAS SOPS 194756 HAS SOUS 106088 HAS SOUPS 96786 WITH SCORE 97150.542
AT ITER 3837 NEW BEST:: SOT 767300 SOS 364493 HAS SOPS 194658 HAS SOUS 105990 HAS SOUPS 96688 WITH SCORE 97052.493
AT ITER 3858 NEW BEST:: SOT 767299 SOS 363708 HAS SOPS 193824 HAS SOUS 105814 HAS SOUPS 96512 WITH SCORE 96875.708
AT ITER 3859 NEW BEST:: SOT 767265 SOS 363659 HAS SOPS 193756 HAS SOUS 105746 HAS SOUPS 96444 WITH SCORE 96807.659
AT ITER 3865 NEW BEST:: SOT 767237 SOS 363603 HAS SOPS 193700 HAS SOUS 105690 HAS SOUPS 96388 WITH SCORE 96751.603
AT ITER 3887 NEW BEST:: SOT 767237 SOS 363573 HAS SOPS 193670 HAS SOUS 105675 HAS SOUPS 96373 WITH SCORE 96736.573
AT ITER 3915 NEW BEST:: SOT 767166 SOS 363350 HAS SOPS 193447 HAS SOUS 105602 HAS SOUPS 96300 WITH SCORE 96663.35
AT ITER 3927 NEW BEST:: SOT 767116 SOS 363300 HAS SOPS 193311 HAS SOUS 105466 HAS SOUPS 96164 WITH SCORE 96527.3
AT ITER 3942 NEW BEST:: SOT 767001 SOS 363185 HAS SOPS 193196 HAS SOUS 105351 HAS SOUPS 96049 WITH SCORE 96412.185
AT ITER 3978 NEW BEST:: SOT 767145 SOS 363329 HAS SOPS 193349 HAS SOUS 105348 HAS SOUPS 96046 WITH SCORE 96409.329
AT ITER 3987 NEW BEST:: SOT 767133 SOS 363317 HAS SOPS 193943 HAS SOUS 105264 HAS SOUPS 96034 WITH SCORE 96397.317
AT ITER 3996 NEW BEST:: SOT 767061 SOS 363245 HAS SOPS 193799 HAS SOUS 105120 HAS SOUPS 95890 WITH SCORE 96253.245
AT ITER 4006 NEW BEST:: SOT 767051 SOS 363225 HAS SOPS 193779 HAS SOUS 105100 HAS SOUPS 95870 WITH SCORE 96233.225
AT ITER 4031 NEW BEST:: SOT 766884 SOS 363058 HAS SOPS 191260 HAS SOUS 105099 HAS SOUPS 95682 WITH SCORE 96045.058
AT ITER 4040 NEW BEST:: SOT 766859 SOS 363043 HAS SOPS 191240 HAS SOUS 105099 HAS SOUPS 95682 WITH SCORE 96045.043
AT ITER 4054 NEW BEST:: SOT 766778 SOS 362837 HAS SOPS 191136 HAS SOUS 105083 HAS SOUPS 95666 WITH SCORE 96028.837
AT ITER 4058 NEW BEST:: SOT 766646 SOS 362705 HAS SOPS 191004 HAS SOUS 105083 HAS SOUPS 95666 WITH SCORE 96028.705
AT ITER 4067 NEW BEST:: SOT 766624 SOS 362661 HAS SOPS 190960 HAS SOUS 105039 HAS SOUPS 95622 WITH SCORE 95984.661
AT ITER 4069 NEW BEST:: SOT 766619 SOS 362656 HAS SOPS 190955 HAS SOUS 105029 HAS SOUPS 95612 WITH SCORE 95974.656
AT ITER 4079 NEW BEST:: SOT 766553 SOS 362550 HAS SOPS 190863 HAS SOUS 104937 HAS SOUPS 95520 WITH SCORE 95882.55
AT ITER 4083 NEW BEST:: SOT 766526 SOS 362546 HAS SOPS 190809 HAS SOUS 104903 HAS SOUPS 95466 WITH SCORE 95828.546
AT ITER 4103 NEW BEST:: SOT 766522 SOS 362578 HAS SOPS 190837 HAS SOUS 104897 HAS SOUPS 95460 WITH SCORE 95822.578
AT ITER 4139 NEW BEST:: SOT 766516 SOS 362569 HAS SOPS 190828 HAS SOUS 104888 HAS SOUPS 95451 WITH SCORE 95813.569
AT ITER 4168 NEW BEST:: SOT 766484 SOS 363052 HAS SOPS 190807 HAS SOUS 104881 HAS SOUPS 95432 WITH SCORE 95795.052
AT ITER 4172 NEW BEST:: SOT 766494 SOS 363062 HAS SOPS 190793 HAS SOUS 104869 HAS SOUPS 95418 WITH SCORE 95781.062
AT ITER 4183 NEW BEST:: SOT 766494 SOS 363040 HAS SOPS 190771 HAS SOUS 104847 HAS SOUPS 95396 WITH SCORE 95759.04
AT ITER 4186 NEW BEST:: SOT 766494 SOS 363040 HAS SOPS 190641 HAS SOUS 104717 HAS SOUPS 95266 WITH SCORE 95629.04
AT ITER 4200 NEW BEST:: SOT 766459 SOS 362948 HAS SOPS 190549 HAS SOUS 104706 HAS SOUPS 95255 WITH SCORE 95617.948
AT ITER 4204 NEW BEST:: SOT 766433 SOS 362930 HAS SOPS 190526 HAS SOUS 104682 HAS SOUPS 95231 WITH SCORE 95593.93
AT ITER 4216 NEW BEST:: SOT 766418 SOS 362915 HAS SOPS 190511 HAS SOUS 104667 HAS SOUPS 95216 WITH SCORE 95578.915
AT ITER 4226 NEW BEST:: SOT 766418 SOS 362867 HAS SOPS 190463 HAS SOUS 104667 HAS SOUPS 95216 WITH SCORE 95578.867
AT ITER 4227 NEW BEST:: SOT 766351 SOS 362810 HAS SOPS 190382 HAS SOUS 104594 HAS SOUPS 95127 WITH SCORE 95489.81
AT ITER 4273 NEW BEST:: SOT 766351 SOS 362738 HAS SOPS 190310 HAS SOUS 104594 HAS SOUPS 95127 WITH SCORE 95489.738
AT ITER 4276 NEW BEST:: SOT 766396 SOS 362783 HAS SOPS 190157 HAS SOUS 104453 HAS SOUPS 94986 WITH SCORE 95348.783
AT ITER 4307 NEW BEST:: SOT 766287 SOS 362640 HAS SOPS 189810 HAS SOUS 104355 HAS SOUPS 94877 WITH SCORE 95239.64
AT ITER 4320 NEW BEST:: SOT 766276 SOS 362618 HAS SOPS 189722 HAS SOUS 104322 HAS SOUPS 94844 WITH SCORE 95206.618
AT ITER 4349 NEW BEST:: SOT 766177 SOS 362555 HAS SOPS 189617 HAS SOUS 104325 HAS SOUPS 94835 WITH SCORE 95197.555
AT ITER 4353 NEW BEST:: SOT 766160 SOS 362545 HAS SOPS 189607 HAS SOUS 104303 HAS SOUPS 94813 WITH SCORE 95175.545
AT ITER 4355 NEW BEST:: SOT 766036 SOS 362588 HAS SOPS 189650 HAS SOUS 104217 HAS SOUPS 94727 WITH SCORE 95089.588
AT ITER 4357 NEW BEST:: SOT 765990 SOS 362327 HAS SOPS 189239 HAS SOUS 103945 HAS SOUPS 94455 WITH SCORE 94817.327
AT ITER 4365 NEW BEST:: SOT 765951 SOS 362300 HAS SOPS 189221 HAS SOUS 103945 HAS SOUPS 94455 WITH SCORE 94817.3
AT ITER 4400 NEW BEST:: SOT 765641 SOS 361897 HAS SOPS 188818 HAS SOUS 103933 HAS SOUPS 94443 WITH SCORE 94804.897
AT ITER 4417 NEW BEST:: SOT 765632 SOS 361888 HAS SOPS 188775 HAS SOUS 103890 HAS SOUPS 94400 WITH SCORE 94761.888
AT ITER 4421 NEW BEST:: SOT 765595 SOS 361851 HAS SOPS 188701 HAS SOUS 103900 HAS SOUPS 94326 WITH SCORE 94687.851
AT ITER 4452 NEW BEST:: SOT 765540 SOS 361813 HAS SOPS 188657 HAS SOUS 103900 HAS SOUPS 94326 WITH SCORE 94687.813
AT ITER 4462 NEW BEST:: SOT 765244 SOS 361775 HAS SOPS 188339 HAS SOUS 103766 HAS SOUPS 94136 WITH SCORE 94497.775
AT ITER 4495 NEW BEST:: SOT 765235 SOS 361757 HAS SOPS 188321 HAS SOUS 103748 HAS SOUPS 94118 WITH SCORE 94479.757
AT ITER 4499 NEW BEST:: SOT 765228 SOS 361750 HAS SOPS 188313 HAS SOUS 103719 HAS SOUPS 94110 WITH SCORE 94471.75
AT ITER 4520 NEW BEST:: SOT 765223 SOS 361755 HAS SOPS 188318 HAS SOUS 103709 HAS SOUPS 94100 WITH SCORE 94461.755
AT ITER 4525 NEW BEST:: SOT 765206 SOS 361693 HAS SOPS 188256 HAS SOUS 103692 HAS SOUPS 94083 WITH SCORE 94444.693
AT ITER 4534 NEW BEST:: SOT 765183 SOS 361682 HAS SOPS 188245 HAS SOUS 103677 HAS SOUPS 94068 WITH SCORE 94429.682
AT ITER 4559 NEW BEST:: SOT 765202 SOS 361743 HAS SOPS 187981 HAS SOUS 103738 HAS SOUPS 93804 WITH SCORE 94165.743
AT ITER 4568 NEW BEST:: SOT 765195 SOS 361722 HAS SOPS 187960 HAS SOUS 103731 HAS SOUPS 93797 WITH SCORE 94158.722
AT ITER 4587 NEW BEST:: SOT 765195 SOS 361714 HAS SOPS 187952 HAS SOUS 103727 HAS SOUPS 93793 WITH SCORE 94154.714
AT ITER 4592 NEW BEST:: SOT 765257 SOS 361762 HAS SOPS 187907 HAS SOUS 103682 HAS SOUPS 93748 WITH SCORE 94109.762
AT ITER 4601 NEW BEST:: SOT 765210 SOS 361691 HAS SOPS 187847 HAS SOUS 103634 HAS SOUPS 93700 WITH SCORE 94061.691
AT ITER 4645 NEW BEST:: SOT 764236 SOS 360661 HAS SOPS 186817 HAS SOUS 103605 HAS SOUPS 93671 WITH SCORE 94031.661
AT ITER 4658 NEW BEST:: SOT 764216 SOS 360641 HAS SOPS 186797 HAS SOUS 103585 HAS SOUPS 93651 WITH SCORE 94011.641
AT ITER 4678 NEW BEST:: SOT 764215 SOS 360638 HAS SOPS 186794 HAS SOUS 103583 HAS SOUPS 93649 WITH SCORE 94009.638
AT ITER 4724 NEW BEST:: SOT 764197 SOS 360617 HAS SOPS 186773 HAS SOUS 103562 HAS SOUPS 93628 WITH SCORE 93988.617
AT ITER 4734 NEW BEST:: SOT 764197 SOS 349949 HAS SOPS 174955 HAS SOUS 103283 HAS SOUPS 93349 WITH SCORE 93698.949
AT ITER 4737 NEW BEST:: SOT 764152 SOS 349904 HAS SOPS 174910 HAS SOUS 103238 HAS SOUPS 93304 WITH SCORE 93653.904
AT ITER 4738 NEW BEST:: SOT 764096 SOS 349939 HAS SOPS 174910 HAS SOUS 103136 HAS SOUPS 93202 WITH SCORE 93551.939
AT ITER 4747 NEW BEST:: SOT 764016 SOS 349859 HAS SOPS 174820 HAS SOUS 103131 HAS SOUPS 93197 WITH SCORE 93546.859
AT ITER 4768 NEW BEST:: SOT 764322 SOS 350165 HAS SOPS 175082 HAS SOUS 102983 HAS SOUPS 93049 WITH SCORE 93399.165
AT ITER 4770 NEW BEST:: SOT 764316 SOS 350018 HAS SOPS 174935 HAS SOUS 102971 HAS SOUPS 93037 WITH SCORE 93387.018
AT ITER 4774 NEW BEST:: SOT 764305 SOS 350020 HAS SOPS 174937 HAS SOUS 102960 HAS SOUPS 93026 WITH SCORE 93376.02
AT ITER 4783 NEW BEST:: SOT 764351 SOS 350066 HAS SOPS 174861 HAS SOUS 102884 HAS SOUPS 92950 WITH SCORE 93300.066
AT ITER 4809 NEW BEST:: SOT 764221 SOS 350084 HAS SOPS 174703 HAS SOUS 102845 HAS SOUPS 92911 WITH SCORE 93261.084
AT ITER 4811 NEW BEST:: SOT 764050 SOS 349913 HAS SOPS 174532 HAS SOUS 102674 HAS SOUPS 92740 WITH SCORE 93089.913
AT ITER 4819 NEW BEST:: SOT 764050 SOS 349913 HAS SOPS 174520 HAS SOUS 102650 HAS SOUPS 92720 WITH SCORE 93069.913
AT ITER 4828 NEW BEST:: SOT 763114 SOS 348895 HAS SOPS 173502 HAS SOUS 102641 HAS SOUPS 92711 WITH SCORE 93059.895
AT ITER 4837 NEW BEST:: SOT 763163 SOS 348575 HAS SOPS 173542 HAS SOUS 102613 HAS SOUPS 92692 WITH SCORE 93040.575
AT ITER 4868 NEW BEST:: SOT 763158 SOS 348789 HAS SOPS 173756 HAS SOUS 102603 HAS SOUPS 92682 WITH SCORE 93030.789
AT ITER 4887 NEW BEST:: SOT 763153 SOS 348854 HAS SOPS 173821 HAS SOUS 102593 HAS SOUPS 92672 WITH SCORE 93020.854
AT ITER 4917 NEW BEST:: SOT 763148 SOS 348854 HAS SOPS 173821 HAS SOUS 102583 HAS SOUPS 92662 WITH SCORE 93010.854
AT ITER 4930 NEW BEST:: SOT 763130 SOS 348854 HAS SOPS 173821 HAS SOUS 102565 HAS SOUPS 92644 WITH SCORE 92992.854
AT ITER 4991 NEW BEST:: SOT 762875 SOS 348599 HAS SOPS 173566 HAS SOUS 102376 HAS SOUPS 92440 WITH SCORE 92788.599
AT ITER 4992 NEW BEST:: SOT 762875 SOS 348577 HAS SOPS 173544 HAS SOUS 102365 HAS SOUPS 92429 WITH SCORE 92777.577
AT ITER 4999 NEW BEST:: SOT 762787 SOS 348489 HAS SOPS 173458 HAS SOUS 102279 HAS SOUPS 92343 WITH SCORE 92691.489
AT ITER 5012 NEW BEST:: SOT 762778 SOS 348462 HAS SOPS 173431 HAS SOUS 102270 HAS SOUPS 92334 WITH SCORE 92682.462
AT ITER 5015 NEW BEST:: SOT 762778 SOS 348462 HAS SOPS 173431 HAS SOUS 102162 HAS SOUPS 92226 WITH SCORE 92574.462
AT ITER 5027 NEW BEST:: SOT 762772 SOS 348462 HAS SOPS 173425 HAS SOUS 102150 HAS SOUPS 92214 WITH SCORE 92562.462
AT ITER 5033 NEW BEST:: SOT 762687 SOS 348372 HAS SOPS 173335 HAS SOUS 102150 HAS SOUPS 92214 WITH SCORE 92562.372
AT ITER 5049 NEW BEST:: SOT 762687 SOS 348140 HAS SOPS 173103 HAS SOUS 102150 HAS SOUPS 92214 WITH SCORE 92562.14
AT ITER 5051 NEW BEST:: SOT 762683 SOS 348136 HAS SOPS 173099 HAS SOUS 102139 HAS SOUPS 92203 WITH SCORE 92551.136
AT ITER 5060 NEW BEST:: SOT 762510 SOS 349063 HAS SOPS 172887 HAS SOUS 101966 HAS SOUPS 92001 WITH SCORE 92350.063
AT ITER 5082 NEW BEST:: SOT 762420 SOS 348973 HAS SOPS 172797 HAS SOUS 101876 HAS SOUPS 91911 WITH SCORE 92259.973
AT ITER 5087 NEW BEST:: SOT 762418 SOS 348971 HAS SOPS 172793 HAS SOUS 101872 HAS SOUPS 91907 WITH SCORE 92255.971
AT ITER 5140 NEW BEST:: SOT 762355 SOS 348853 HAS SOPS 172675 HAS SOUS 101856 HAS SOUPS 91891 WITH SCORE 92239.853
AT ITER 5143 NEW BEST:: SOT 762275 SOS 348880 HAS SOPS 172662 HAS SOUS 101699 HAS SOUPS 91734 WITH SCORE 92082.88
AT ITER 5155 NEW BEST:: SOT 762275 SOS 348886 HAS SOPS 172635 HAS SOUS 101672 HAS SOUPS 91707 WITH SCORE 92055.886
AT ITER 5202 NEW BEST:: SOT 762275 SOS 348863 HAS SOPS 172612 HAS SOUS 101647 HAS SOUPS 91682 WITH SCORE 92030.863
AT ITER 5240 NEW BEST:: SOT 762213 SOS 348799 HAS SOPS 172478 HAS SOUS 101613 HAS SOUPS 91608 WITH SCORE 91956.799
AT ITER 5246 NEW BEST:: SOT 762192 SOS 349062 HAS SOPS 172741 HAS SOUS 101503 HAS SOUPS 91498 WITH SCORE 91847.062
AT ITER 5272 NEW BEST:: SOT 762192 SOS 349056 HAS SOPS 172735 HAS SOUS 101503 HAS SOUPS 91498 WITH SCORE 91847.056
AT ITER 5284 NEW BEST:: SOT 762576 SOS 349440 HAS SOPS 173143 HAS SOUS 101501 HAS SOUPS 91496 WITH SCORE 91845.44
AT ITER 5293 NEW BEST:: SOT 762570 SOS 349434 HAS SOPS 173119 HAS SOUS 101483 HAS SOUPS 91472 WITH SCORE 91821.434
AT ITER 5295 NEW BEST:: SOT 762541 SOS 348899 HAS SOPS 172520 HAS SOUS 101475 HAS SOUPS 91464 WITH SCORE 91812.899
AT ITER 5307 NEW BEST:: SOT 762889 SOS 349247 HAS SOPS 172694 HAS SOUS 101345 HAS SOUPS 91290 WITH SCORE 91639.247
AT ITER 5309 NEW BEST:: SOT 763276 SOS 349654 HAS SOPS 172949 HAS SOUS 101087 HAS SOUPS 91127 WITH SCORE 91476.654
AT ITER 5345 NEW BEST:: SOT 763076 SOS 350860 HAS SOPS 172813 HAS SOUS 101064 HAS SOUPS 91072 WITH SCORE 91422.86
AT ITER 5379 NEW BEST:: SOT 763108 SOS 350892 HAS SOPS 172763 HAS SOUS 101014 HAS SOUPS 91022 WITH SCORE 91372.892
AT ITER 5382 NEW BEST:: SOT 762961 SOS 350745 HAS SOPS 172448 HAS SOUS 100993 HAS SOUPS 91001 WITH SCORE 91351.745
AT ITER 5438 NEW BEST:: SOT 763086 SOS 350769 HAS SOPS 172352 HAS SOUS 100897 HAS SOUPS 90905 WITH SCORE 91255.769
AT ITER 5444 NEW BEST:: SOT 763085 SOS 350768 HAS SOPS 172351 HAS SOUS 100895 HAS SOUPS 90903 WITH SCORE 91253.768
AT ITER 5449 NEW BEST:: SOT 763065 SOS 350748 HAS SOPS 172331 HAS SOUS 100895 HAS SOUPS 90903 WITH SCORE 91253.748
AT ITER 5450 NEW BEST:: SOT 763181 SOS 350042 HAS SOPS 168761 HAS SOUS 100568 HAS SOUPS 90576 WITH SCORE 90926.042
AT ITER 5461 NEW BEST:: SOT 763161 SOS 349982 HAS SOPS 168701 HAS SOUS 100545 HAS SOUPS 90553 WITH SCORE 90902.982
AT ITER 5466 NEW BEST:: SOT 763155 SOS 349958 HAS SOPS 168677 HAS SOUS 100539 HAS SOUPS 90547 WITH SCORE 90896.958
AT ITER 5493 NEW BEST:: SOT 762795 SOS 349545 HAS SOPS 168593 HAS SOUS 100455 HAS SOUPS 90463 WITH SCORE 90812.545
AT ITER 5497 NEW BEST:: SOT 762760 SOS 349475 HAS SOPS 168523 HAS SOUS 100385 HAS SOUPS 90393 WITH SCORE 90742.475
AT ITER 5513 NEW BEST:: SOT 762760 SOS 349471 HAS SOPS 168519 HAS SOUS 100385 HAS SOUPS 90393 WITH SCORE 90742.471
AT ITER 5520 NEW BEST:: SOT 762022 SOS 352204 HAS SOPS 167822 HAS SOUS 100399 HAS SOUPS 90317 WITH SCORE 90669.204
AT ITER 5527 NEW BEST:: SOT 761999 SOS 351834 HAS SOPS 167417 HAS SOUS 100138 HAS SOUPS 90056 WITH SCORE 90407.834
AT ITER 5554 NEW BEST:: SOT 761999 SOS 351834 HAS SOPS 167305 HAS SOUS 100122 HAS SOUPS 90040 WITH SCORE 90391.834
AT ITER 5575 NEW BEST:: SOT 761911 SOS 351671 HAS SOPS 167175 HAS SOUS 100120 HAS SOUPS 90038 WITH SCORE 90389.671
AT ITER 5584 NEW BEST:: SOT 761960 SOS 350840 HAS SOPS 167248 HAS SOUS 100075 HAS SOUPS 90025 WITH SCORE 90375.84
AT ITER 5633 NEW BEST:: SOT 761839 SOS 350662 HAS SOPS 167006 HAS SOUS 99926 HAS SOUPS 89783 WITH SCORE 90133.662
AT ITER 5639 NEW BEST:: SOT 761819 SOS 350638 HAS SOPS 166934 HAS SOUS 99854 HAS SOUPS 89711 WITH SCORE 90061.638
AT ITER 5673 NEW BEST:: SOT 761817 SOS 350644 HAS SOPS 166940 HAS SOUS 99850 HAS SOUPS 89707 WITH SCORE 90057.644
AT ITER 5674 NEW BEST:: SOT 761924 SOS 350751 HAS SOPS 167022 HAS SOUS 99897 HAS SOUPS 89705 WITH SCORE 90055.751
AT ITER 5697 NEW BEST:: SOT 761809 SOS 350483 HAS SOPS 166754 HAS SOUS 99735 HAS SOUPS 89543 WITH SCORE 89893.483
AT ITER 5716 NEW BEST:: SOT 761831 SOS 350492 HAS SOPS 166420 HAS SOUS 99779 HAS SOUPS 89533 WITH SCORE 89883.492
AT ITER 5728 NEW BEST:: SOT 761820 SOS 350480 HAS SOPS 166410 HAS SOUS 99768 HAS SOUPS 89522 WITH SCORE 89872.48
AT ITER 5729 NEW BEST:: SOT 761820 SOS 350466 HAS SOPS 166396 HAS SOUS 99768 HAS SOUPS 89522 WITH SCORE 89872.466
AT ITER 5730 NEW BEST:: SOT 761929 SOS 350239 HAS SOPS 166518 HAS SOUS 99713 HAS SOUPS 89515 WITH SCORE 89865.239
AT ITER 5733 NEW BEST:: SOT 761936 SOS 351103 HAS SOPS 167446 HAS SOUS 99606 HAS SOUPS 89408 WITH SCORE 89759.103
AT ITER 5765 NEW BEST:: SOT 761925 SOS 351103 HAS SOPS 167446 HAS SOUS 99584 HAS SOUPS 89386 WITH SCORE 89737.103
AT ITER 5777 NEW BEST:: SOT 761873 SOS 351051 HAS SOPS 167394 HAS SOUS 99524 HAS SOUPS 89334 WITH SCORE 89685.051
AT ITER 5826 NEW BEST:: SOT 761835 SOS 351013 HAS SOPS 167356 HAS SOUS 99434 HAS SOUPS 89244 WITH SCORE 89595.013
AT ITER 5834 NEW BEST:: SOT 761824 SOS 350991 HAS SOPS 167257 HAS SOUS 99402 HAS SOUPS 89211 WITH SCORE 89561.991
AT ITER 5835 NEW BEST:: SOT 761824 SOS 350991 HAS SOPS 167257 HAS SOUS 99114 HAS SOUPS 88923 WITH SCORE 89273.991
AT ITER 5930 NEW BEST:: SOT 761806 SOS 351081 HAS SOPS 167347 HAS SOUS 99078 HAS SOUPS 88887 WITH SCORE 89238.081
AT ITER 5942 NEW BEST:: SOT 762056 SOS 351367 HAS SOPS 167246 HAS SOUS 98841 HAS SOUPS 88650 WITH SCORE 89001.367
AT ITER 5946 NEW BEST:: SOT 762033 SOS 351344 HAS SOPS 167223 HAS SOUS 98818 HAS SOUPS 88627 WITH SCORE 88978.344
AT ITER 5953 NEW BEST:: SOT 762052 SOS 351286 HAS SOPS 167174 HAS SOUS 98769 HAS SOUPS 88578 WITH SCORE 88929.286
AT ITER 5974 NEW BEST:: SOT 762052 SOS 351211 HAS SOPS 167099 HAS SOUS 98769 HAS SOUPS 88578 WITH SCORE 88929.211
AT ITER 6050 NEW BEST:: SOT 762052 SOS 351211 HAS SOPS 167099 HAS SOUS 98761 HAS SOUPS 88570 WITH SCORE 88921.211
AT ITER 6068 NEW BEST:: SOT 762012 SOS 351333 HAS SOPS 167223 HAS SOUS 98731 HAS SOUPS 88540 WITH SCORE 88891.333
AT ITER 6109 NEW BEST:: SOT 761933 SOS 351175 HAS SOPS 166449 HAS SOUS 98559 HAS SOUPS 88294 WITH SCORE 88645.175
AT ITER 6132 NEW BEST:: SOT 762701 SOS 351991 HAS SOPS 167265 HAS SOUS 98524 HAS SOUPS 88259 WITH SCORE 88610.991
AT ITER 6167 NEW BEST:: SOT 762709 SOS 352259 HAS SOPS 167508 HAS SOUS 98516 HAS SOUPS 88251 WITH SCORE 88603.259
AT ITER 6171 NEW BEST:: SOT 762665 SOS 352171 HAS SOPS 167464 HAS SOUS 98516 HAS SOUPS 88251 WITH SCORE 88603.171
AT ITER 6172 NEW BEST:: SOT 762641 SOS 352143 HAS SOPS 167464 HAS SOUS 98516 HAS SOUPS 88251 WITH SCORE 88603.143
AT ITER 6193 NEW BEST:: SOT 762630 SOS 352054 HAS SOPS 167375 HAS SOUS 98473 HAS SOUPS 88208 WITH SCORE 88560.054
AT ITER 6203 NEW BEST:: SOT 762630 SOS 352038 HAS SOPS 167359 HAS SOUS 98457 HAS SOUPS 88192 WITH SCORE 88544.038
AT ITER 6214 NEW BEST:: SOT 762630 SOS 352040 HAS SOPS 167361 HAS SOUS 98455 HAS SOUPS 88190 WITH SCORE 88542.04
AT ITER 6221 NEW BEST:: SOT 762622 SOS 352004 HAS SOPS 167345 HAS SOUS 98340 HAS SOUPS 88174 WITH SCORE 88526.004
AT ITER 6256 NEW BEST:: SOT 762569 SOS 351845 HAS SOPS 167186 HAS SOUS 98287 HAS SOUPS 88121 WITH SCORE 88472.845
AT ITER 6260 NEW BEST:: SOT 762552 SOS 352133 HAS SOPS 167474 HAS SOUS 98270 HAS SOUPS 88104 WITH SCORE 88456.133
AT ITER 6270 NEW BEST:: SOT 762324 SOS 351835 HAS SOPS 167246 HAS SOUS 98164 HAS SOUPS 87998 WITH SCORE 88349.835
AT ITER 6282 NEW BEST:: SOT 762324 SOS 351835 HAS SOPS 167246 HAS SOUS 98025 HAS SOUPS 87859 WITH SCORE 88210.835
AT ITER 6299 NEW BEST:: SOT 762324 SOS 351808 HAS SOPS 167192 HAS SOUS 98025 HAS SOUPS 87859 WITH SCORE 88210.808
AT ITER 6315 NEW BEST:: SOT 762328 SOS 351810 HAS SOPS 167200 HAS SOUS 98017 HAS SOUPS 87851 WITH SCORE 88202.81
AT ITER 6359 NEW BEST:: SOT 762328 SOS 351695 HAS SOPS 167085 HAS SOUS 98017 HAS SOUPS 87851 WITH SCORE 88202.695
AT ITER 6385 NEW BEST:: SOT 762328 SOS 351632 HAS SOPS 167022 HAS SOUS 98017 HAS SOUPS 87851 WITH SCORE 88202.632
AT ITER 6443 NEW BEST:: SOT 762328 SOS 351632 HAS SOPS 167022 HAS SOUS 98004 HAS SOUPS 87838 WITH SCORE 88189.632
AT ITER 6447 NEW BEST:: SOT 762318 SOS 351652 HAS SOPS 167042 HAS SOUS 97984 HAS SOUPS 87818 WITH SCORE 88169.652
AT ITER 6456 NEW BEST:: SOT 762310 SOS 351615 HAS SOPS 167005 HAS SOUS 97968 HAS SOUPS 87802 WITH SCORE 88153.615
AT ITER 6483 NEW BEST:: SOT 762295 SOS 351600 HAS SOPS 166975 HAS SOUS 97938 HAS SOUPS 87772 WITH SCORE 88123.6
AT ITER 6532 NEW BEST:: SOT 762225 SOS 351530 HAS SOPS 166870 HAS SOUS 97833 HAS SOUPS 87667 WITH SCORE 88018.53
AT ITER 6564 NEW BEST:: SOT 762221 SOS 351526 HAS SOPS 166866 HAS SOUS 97829 HAS SOUPS 87663 WITH SCORE 88014.526
AT ITER 6565 NEW BEST:: SOT 762179 SOS 354918 HAS SOPS 166926 HAS SOUS 97889 HAS SOUPS 87655 WITH SCORE 88009.918
AT ITER 6580 NEW BEST:: SOT 762179 SOS 355032 HAS SOPS 167050 HAS SOUS 97837 HAS SOUPS 87603 WITH SCORE 87958.032
AT ITER 6601 NEW BEST:: SOT 762163 SOS 355000 HAS SOPS 167018 HAS SOUS 97805 HAS SOUPS 87571 WITH SCORE 87926.0
AT ITER 6624 NEW BEST:: SOT 762153 SOS 354947 HAS SOPS 166965 HAS SOUS 97785 HAS SOUPS 87551 WITH SCORE 87905.947
AT ITER 6634 NEW BEST:: SOT 762138 SOS 354828 HAS SOPS 166844 HAS SOUS 97753 HAS SOUPS 87519 WITH SCORE 87873.828
AT ITER 6655 NEW BEST:: SOT 762124 SOS 354814 HAS SOPS 166810 HAS SOUS 97719 HAS SOUPS 87485 WITH SCORE 87839.814
AT ITER 6658 NEW BEST:: SOT 762123 SOS 354840 HAS SOPS 166836 HAS SOUS 97717 HAS SOUPS 87483 WITH SCORE 87837.84
AT ITER 6662 NEW BEST:: SOT 762108 SOS 354825 HAS SOPS 166821 HAS SOUS 97687 HAS SOUPS 87453 WITH SCORE 87807.825
AT ITER 6665 NEW BEST:: SOT 762104 SOS 354793 HAS SOPS 166789 HAS SOUS 97679 HAS SOUPS 87445 WITH SCORE 87799.793
AT ITER 6694 NEW BEST:: SOT 762345 SOS 355181 HAS SOPS 167130 HAS SOUS 97626 HAS SOUPS 87392 WITH SCORE 87747.181
AT ITER 6718 NEW BEST:: SOT 762369 SOS 355240 HAS SOPS 167108 HAS SOUS 97604 HAS SOUPS 87370 WITH SCORE 87725.24
AT ITER 6747 NEW BEST:: SOT 762414 SOS 355285 HAS SOPS 167153 HAS SOUS 97487 HAS SOUPS 87253 WITH SCORE 87608.285
AT ITER 6750 NEW BEST:: SOT 762414 SOS 355209 HAS SOPS 167077 HAS SOUS 97487 HAS SOUPS 87253 WITH SCORE 87608.209
AT ITER 6757 NEW BEST:: SOT 762397 SOS 355192 HAS SOPS 167060 HAS SOUS 97470 HAS SOUPS 87236 WITH SCORE 87591.192
AT ITER 6762 NEW BEST:: SOT 762397 SOS 355058 HAS SOPS 166926 HAS SOUS 97470 HAS SOUPS 87236 WITH SCORE 87591.058
AT ITER 6771 NEW BEST:: SOT 762327 SOS 354988 HAS SOPS 166786 HAS SOUS 97400 HAS SOUPS 87096 WITH SCORE 87450.988
AT ITER 6786 NEW BEST:: SOT 762259 SOS 354920 HAS SOPS 166710 HAS SOUS 97324 HAS SOUPS 87020 WITH SCORE 87374.92
AT ITER 6792 NEW BEST:: SOT 762234 SOS 354874 HAS SOPS 166700 HAS SOUS 97314 HAS SOUPS 87010 WITH SCORE 87364.874
AT ITER 6801 NEW BEST:: SOT 762300 SOS 354996 HAS SOPS 166100 HAS SOUS 97261 HAS SOUPS 86943 WITH SCORE 87297.996
AT ITER 6813 NEW BEST:: SOT 762272 SOS 354940 HAS SOPS 166044 HAS SOUS 97219 HAS SOUPS 86901 WITH SCORE 87255.94
AT ITER 6814 NEW BEST:: SOT 762428 SOS 355108 HAS SOPS 166212 HAS SOUS 97183 HAS SOUPS 86865 WITH SCORE 87220.108
AT ITER 6823 NEW BEST:: SOT 762428 SOS 355058 HAS SOPS 166135 HAS SOUS 97183 HAS SOUPS 86865 WITH SCORE 87220.058
AT ITER 6847 NEW BEST:: SOT 762461 SOS 355076 HAS SOPS 166107 HAS SOUS 97155 HAS SOUPS 86837 WITH SCORE 87192.076
AT ITER 6858 NEW BEST:: SOT 762424 SOS 355410 HAS SOPS 166120 HAS SOUS 97195 HAS SOUPS 86828 WITH SCORE 87183.41
AT ITER 6864 NEW BEST:: SOT 762227 SOS 355181 HAS SOPS 165886 HAS SOUS 97172 HAS SOUPS 86805 WITH SCORE 87160.181
AT ITER 6881 NEW BEST:: SOT 762226 SOS 355134 HAS SOPS 165839 HAS SOUS 97163 HAS SOUPS 86796 WITH SCORE 87151.134
AT ITER 6891 NEW BEST:: SOT 762226 SOS 354907 HAS SOPS 165612 HAS SOUS 97161 HAS SOUPS 86794 WITH SCORE 87148.907
AT ITER 6897 NEW BEST:: SOT 762197 SOS 354878 HAS SOPS 165602 HAS SOUS 97151 HAS SOUPS 86784 WITH SCORE 87138.878
AT ITER 6911 NEW BEST:: SOT 761909 SOS 354590 HAS SOPS 165298 HAS SOUS 97135 HAS SOUPS 86768 WITH SCORE 87122.59
AT ITER 6942 NEW BEST:: SOT 761841 SOS 354342 HAS SOPS 164982 HAS SOUS 97055 HAS SOUPS 86688 WITH SCORE 87042.342
AT ITER 6947 NEW BEST:: SOT 761833 SOS 354334 HAS SOPS 164966 HAS SOUS 97042 HAS SOUPS 86672 WITH SCORE 87026.334
AT ITER 6979 NEW BEST:: SOT 761807 SOS 354590 HAS SOPS 165222 HAS SOUS 97034 HAS SOUPS 86664 WITH SCORE 87018.59
AT ITER 6987 NEW BEST:: SOT 761792 SOS 354574 HAS SOPS 165199 HAS SOUS 97034 HAS SOUPS 86663 WITH SCORE 87017.574
AT ITER 7023 NEW BEST:: SOT 761833 SOS 354628 HAS SOPS 163802 HAS SOUS 96868 HAS SOUPS 86509 WITH SCORE 86863.628
AT ITER 7065 NEW BEST:: SOT 761819 SOS 354600 HAS SOPS 163774 HAS SOUS 96840 HAS SOUPS 86481 WITH SCORE 86835.6
AT ITER 7096 NEW BEST:: SOT 761563 SOS 355707 HAS SOPS 163582 HAS SOUS 96789 HAS SOUPS 86398 WITH SCORE 86753.707
AT ITER 7099 NEW BEST:: SOT 761641 SOS 355761 HAS SOPS 163624 HAS SOUS 96784 HAS SOUPS 86393 WITH SCORE 86748.761
AT ITER 7105 NEW BEST:: SOT 761614 SOS 356004 HAS SOPS 163867 HAS SOUS 96769 HAS SOUPS 86378 WITH SCORE 86734.004
AT ITER 7110 NEW BEST:: SOT 761614 SOS 356004 HAS SOPS 163887 HAS SOUS 96761 HAS SOUPS 86374 WITH SCORE 86730.004
AT ITER 7157 NEW BEST:: SOT 761475 SOS 356432 HAS SOPS 163721 HAS SOUS 96680 HAS SOUPS 86274 WITH SCORE 86630.432
AT ITER 7160 NEW BEST:: SOT 761349 SOS 356195 HAS SOPS 163484 HAS SOUS 96644 HAS SOUPS 86238 WITH SCORE 86594.195
AT ITER 7170 NEW BEST:: SOT 761326 SOS 356223 HAS SOPS 163512 HAS SOUS 96631 HAS SOUPS 86225 WITH SCORE 86581.223
AT ITER 7202 NEW BEST:: SOT 761202 SOS 356133 HAS SOPS 163443 HAS SOUS 96562 HAS SOUPS 86156 WITH SCORE 86512.133
AT ITER 7224 NEW BEST:: SOT 761161 SOS 355997 HAS SOPS 163307 HAS SOUS 96474 HAS SOUPS 86068 WITH SCORE 86423.997
AT ITER 7256 NEW BEST:: SOT 761064 SOS 356442 HAS SOPS 163221 HAS SOUS 96456 HAS SOUPS 86037 WITH SCORE 86393.442
AT ITER 7277 NEW BEST:: SOT 760970 SOS 359368 HAS SOPS 163200 HAS SOUS 96534 HAS SOUPS 86020 WITH SCORE 86379.368
AT ITER 7283 NEW BEST:: SOT 760788 SOS 360119 HAS SOPS 163088 HAS SOUS 96531 HAS SOUPS 85967 WITH SCORE 86327.119
AT ITER 7334 NEW BEST:: SOT 760770 SOS 360137 HAS SOPS 163106 HAS SOUS 96513 HAS SOUPS 85949 WITH SCORE 86309.137
AT ITER 7353 NEW BEST:: SOT 760770 SOS 360137 HAS SOPS 163100 HAS SOUS 96507 HAS SOUPS 85943 WITH SCORE 86303.137
AT ITER 7369 NEW BEST:: SOT 760847 SOS 360306 HAS SOPS 163340 HAS SOUS 96344 HAS SOUPS 85780 WITH SCORE 86140.306
AT ITER 7370 NEW BEST:: SOT 760847 SOS 360106 HAS SOPS 163140 HAS SOUS 96344 HAS SOUPS 85780 WITH SCORE 86140.106
AT ITER 7392 NEW BEST:: SOT 760850 SOS 360118 HAS SOPS 163137 HAS SOUS 96321 HAS SOUPS 85740 WITH SCORE 86100.118
AT ITER 7473 NEW BEST:: SOT 760850 SOS 360112 HAS SOPS 163137 HAS SOUS 96321 HAS SOUPS 85740 WITH SCORE 86100.112
AT ITER 7481 NEW BEST:: SOT 760790 SOS 360099 HAS SOPS 163126 HAS SOUS 96258 HAS SOUPS 85677 WITH SCORE 86037.099
AT ITER 7547 NEW BEST:: SOT 760790 SOS 360084 HAS SOPS 163111 HAS SOUS 96258 HAS SOUPS 85677 WITH SCORE 86037.084
AT ITER 7554 NEW BEST:: SOT 760790 SOS 360096 HAS SOPS 163105 HAS SOUS 96246 HAS SOUPS 85665 WITH SCORE 86025.096
AT ITER 7567 NEW BEST:: SOT 760790 SOS 360026 HAS SOPS 163035 HAS SOUS 96246 HAS SOUPS 85665 WITH SCORE 86025.026
AT ITER 7579 NEW BEST:: SOT 760780 SOS 360006 HAS SOPS 163015 HAS SOUS 96236 HAS SOUPS 85655 WITH SCORE 86015.006
AT ITER 7587 NEW BEST:: SOT 760780 SOS 360083 HAS SOPS 163081 HAS SOUS 96225 HAS SOUPS 85644 WITH SCORE 86004.083
AT ITER 7596 NEW BEST:: SOT 760770 SOS 360073 HAS SOPS 163069 HAS SOUS 96213 HAS SOUPS 85632 WITH SCORE 85992.073
AT ITER 7630 NEW BEST:: SOT 760768 SOS 360075 HAS SOPS 163071 HAS SOUS 96212 HAS SOUPS 85631 WITH SCORE 85991.075
AT ITER 7708 NEW BEST:: SOT 760690 SOS 360890 HAS SOPS 163012 HAS SOUS 96210 HAS SOUPS 85610 WITH SCORE 85970.89
AT ITER 7709 NEW BEST:: SOT 760756 SOS 360956 HAS SOPS 162979 HAS SOUS 96198 HAS SOUPS 85553 WITH SCORE 85913.956
AT ITER 7711 NEW BEST:: SOT 760746 SOS 360946 HAS SOPS 162969 HAS SOUS 96188 HAS SOUPS 85543 WITH SCORE 85903.946
AT ITER 7717 NEW BEST:: SOT 760766 SOS 360882 HAS SOPS 162905 HAS SOUS 96177 HAS SOUPS 85532 WITH SCORE 85892.882
AT ITER 7722 NEW BEST:: SOT 760675 SOS 360791 HAS SOPS 162758 HAS SOUS 96030 HAS SOUPS 85385 WITH SCORE 85745.791
AT ITER 7728 NEW BEST:: SOT 759232 SOS 359348 HAS SOPS 161345 HAS SOUS 95931 HAS SOUPS 85286 WITH SCORE 85645.348
AT ITER 7804 NEW BEST:: SOT 759157 SOS 359194 HAS SOPS 161191 HAS SOUS 95841 HAS SOUPS 85196 WITH SCORE 85555.194
AT ITER 7833 NEW BEST:: SOT 759159 SOS 359190 HAS SOPS 161189 HAS SOUS 95839 HAS SOUPS 85194 WITH SCORE 85553.19
AT ITER 7835 NEW BEST:: SOT 759155 SOS 359182 HAS SOPS 161185 HAS SOUS 95835 HAS SOUPS 85190 WITH SCORE 85549.182
AT ITER 7841 NEW BEST:: SOT 759016 SOS 359053 HAS SOPS 161056 HAS SOUS 95824 HAS SOUPS 85179 WITH SCORE 85538.053
AT ITER 7866 NEW BEST:: SOT 759012 SOS 359049 HAS SOPS 161052 HAS SOUS 95820 HAS SOUPS 85175 WITH SCORE 85534.049
AT ITER 7872 NEW BEST:: SOT 759007 SOS 359048 HAS SOPS 161046 HAS SOUS 95816 HAS SOUPS 85171 WITH SCORE 85530.048
AT ITER 7887 NEW BEST:: SOT 758991 SOS 359027 HAS SOPS 161020 HAS SOUS 95790 HAS SOUPS 85145 WITH SCORE 85504.027
AT ITER 7900 NEW BEST:: SOT 758979 SOS 359020 HAS SOPS 161013 HAS SOUS 95783 HAS SOUPS 85138 WITH SCORE 85497.02
AT ITER 7917 NEW BEST:: SOT 759017 SOS 358724 HAS SOPS 160676 HAS SOUS 95776 HAS SOUPS 85131 WITH SCORE 85489.724
AT ITER 7924 NEW BEST:: SOT 758824 SOS 358520 HAS SOPS 160432 HAS SOUS 95722 HAS SOUPS 85077 WITH SCORE 85435.52
AT ITER 7933 NEW BEST:: SOT 758757 SOS 358612 HAS SOPS 160524 HAS SOUS 95624 HAS SOUPS 84979 WITH SCORE 85337.612
AT ITER 7945 NEW BEST:: SOT 758751 SOS 358606 HAS SOPS 160512 HAS SOUS 95608 HAS SOUPS 84967 WITH SCORE 85325.606
AT ITER 8008 NEW BEST:: SOT 758643 SOS 358554 HAS SOPS 160396 HAS SOUS 95526 HAS SOUPS 84869 WITH SCORE 85227.554
AT ITER 8019 NEW BEST:: SOT 758622 SOS 358526 HAS SOPS 160368 HAS SOUS 95498 HAS SOUPS 84841 WITH SCORE 85199.526
AT ITER 8029 NEW BEST:: SOT 758607 SOS 358538 HAS SOPS 160380 HAS SOUS 95492 HAS SOUPS 84835 WITH SCORE 85193.538
AT ITER 8050 NEW BEST:: SOT 758605 SOS 358661 HAS SOPS 160475 HAS SOUS 95448 HAS SOUPS 84791 WITH SCORE 85149.661
AT ITER 8062 NEW BEST:: SOT 758469 SOS 358575 HAS SOPS 160391 HAS SOUS 95364 HAS SOUPS 84707 WITH SCORE 85065.575
AT ITER 8094 NEW BEST:: SOT 758470 SOS 358548 HAS SOPS 160396 HAS SOUS 95345 HAS SOUPS 84696 WITH SCORE 85054.548
AT ITER 8095 NEW BEST:: SOT 758464 SOS 358542 HAS SOPS 160368 HAS SOUS 95317 HAS SOUPS 84668 WITH SCORE 85026.542
AT ITER 8109 NEW BEST:: SOT 758471 SOS 358556 HAS SOPS 160382 HAS SOUS 95316 HAS SOUPS 84667 WITH SCORE 85025.556
AT ITER 8137 NEW BEST:: SOT 758471 SOS 358526 HAS SOPS 160352 HAS SOUS 95306 HAS SOUPS 84657 WITH SCORE 85015.526
AT ITER 8143 NEW BEST:: SOT 758451 SOS 358501 HAS SOPS 160312 HAS SOUS 95285 HAS SOUPS 84617 WITH SCORE 84975.501
AT ITER 8145 NEW BEST:: SOT 758620 SOS 358688 HAS SOPS 160500 HAS SOUS 95276 HAS SOUPS 84608 WITH SCORE 84966.688
AT ITER 8162 NEW BEST:: SOT 758613 SOS 358688 HAS SOPS 160486 HAS SOUS 95227 HAS SOUPS 84559 WITH SCORE 84917.688
AT ITER 8188 NEW BEST:: SOT 758445 SOS 358499 HAS SOPS 160297 HAS SOUS 95185 HAS SOUPS 84517 WITH SCORE 84875.499
AT ITER 8226 NEW BEST:: SOT 758414 SOS 358397 HAS SOPS 160195 HAS SOUS 95083 HAS SOUPS 84415 WITH SCORE 84773.397
AT ITER 8227 NEW BEST:: SOT 758389 SOS 358423 HAS SOPS 160145 HAS SOUS 95033 HAS SOUPS 84365 WITH SCORE 84723.423
AT ITER 8234 NEW BEST:: SOT 758389 SOS 358415 HAS SOPS 160137 HAS SOUS 95033 HAS SOUPS 84365 WITH SCORE 84723.415
AT ITER 8251 NEW BEST:: SOT 758389 SOS 358397 HAS SOPS 160119 HAS SOUS 95033 HAS SOUPS 84365 WITH SCORE 84723.397
AT ITER 8270 NEW BEST:: SOT 758373 SOS 358403 HAS SOPS 160125 HAS SOUS 95001 HAS SOUPS 84333 WITH SCORE 84691.403
AT ITER 8288 NEW BEST:: SOT 758347 SOS 358377 HAS SOPS 160099 HAS SOUS 95001 HAS SOUPS 84333 WITH SCORE 84691.377
AT ITER 8295 NEW BEST:: SOT 758222 SOS 356546 HAS SOPS 160036 HAS SOUS 94916 HAS SOUPS 84276 WITH SCORE 84632.546
AT ITER 8297 NEW BEST:: SOT 758219 SOS 356314 HAS SOPS 159804 HAS SOUS 94910 HAS SOUPS 84270 WITH SCORE 84626.314
AT ITER 8304 NEW BEST:: SOT 758259 SOS 356475 HAS SOPS 159943 HAS SOUS 94866 HAS SOUPS 84226 WITH SCORE 84582.475
AT ITER 8310 NEW BEST:: SOT 758306 SOS 356543 HAS SOPS 159909 HAS SOUS 94839 HAS SOUPS 84199 WITH SCORE 84555.543
AT ITER 8316 NEW BEST:: SOT 758298 SOS 356527 HAS SOPS 159893 HAS SOUS 94823 HAS SOUPS 84183 WITH SCORE 84539.527
AT ITER 8321 NEW BEST:: SOT 758298 SOS 356535 HAS SOPS 159901 HAS SOUS 94815 HAS SOUPS 84175 WITH SCORE 84531.535
AT ITER 8324 NEW BEST:: SOT 758263 SOS 356500 HAS SOPS 159855 HAS SOUS 94769 HAS SOUPS 84129 WITH SCORE 84485.5
AT ITER 8330 NEW BEST:: SOT 758228 SOS 356461 HAS SOPS 159785 HAS SOUS 94730 HAS SOUPS 84059 WITH SCORE 84415.461
AT ITER 8334 NEW BEST:: SOT 758195 SOS 356417 HAS SOPS 159774 HAS SOUS 94692 HAS SOUPS 84048 WITH SCORE 84404.417
AT ITER 8370 NEW BEST:: SOT 758177 SOS 356381 HAS SOPS 159738 HAS SOUS 94684 HAS SOUPS 84040 WITH SCORE 84396.381
AT ITER 8399 NEW BEST:: SOT 758119 SOS 356312 HAS SOPS 159667 HAS SOUS 94617 HAS SOUPS 83973 WITH SCORE 84329.312
AT ITER 8401 NEW BEST:: SOT 757471 SOS 356007 HAS SOPS 158977 HAS SOUS 94677 HAS SOUPS 83949 WITH SCORE 84305.007
AT ITER 8418 NEW BEST:: SOT 757471 SOS 356006 HAS SOPS 158976 HAS SOUS 94677 HAS SOUPS 83949 WITH SCORE 84305.006
AT ITER 8421 NEW BEST:: SOT 757475 SOS 356039 HAS SOPS 159009 HAS SOUS 94669 HAS SOUPS 83941 WITH SCORE 84297.039
AT ITER 8446 NEW BEST:: SOT 757450 SOS 355989 HAS SOPS 158959 HAS SOUS 94644 HAS SOUPS 83916 WITH SCORE 84271.989
AT ITER 8452 NEW BEST:: SOT 757431 SOS 355967 HAS SOPS 158944 HAS SOUS 94625 HAS SOUPS 83897 WITH SCORE 84252.967
AT ITER 8495 NEW BEST:: SOT 757431 SOS 355918 HAS SOPS 158895 HAS SOUS 94625 HAS SOUPS 83897 WITH SCORE 84252.918
AT ITER 8508 NEW BEST:: SOT 757557 SOS 356044 HAS SOPS 159027 HAS SOUS 94613 HAS SOUPS 83885 WITH SCORE 84241.044
AT ITER 8603 NEW BEST:: SOT 757557 SOS 356054 HAS SOPS 159037 HAS SOUS 94603 HAS SOUPS 83875 WITH SCORE 84231.054
AT ITER 8614 NEW BEST:: SOT 757548 SOS 356036 HAS SOPS 159019 HAS SOUS 94585 HAS SOUPS 83857 WITH SCORE 84213.036
AT ITER 8625 NEW BEST:: SOT 757548 SOS 356198 HAS SOPS 159181 HAS SOUS 94578 HAS SOUPS 83850 WITH SCORE 84206.198
AT ITER 8659 NEW BEST:: SOT 757517 SOS 356159 HAS SOPS 159149 HAS SOUS 94557 HAS SOUPS 83818 WITH SCORE 84174.159
AT ITER 8666 NEW BEST:: SOT 757714 SOS 356276 HAS SOPS 159120 HAS SOUS 94536 HAS SOUPS 83789 WITH SCORE 84145.276
AT ITER 8674 NEW BEST:: SOT 757714 SOS 356266 HAS SOPS 159067 HAS SOUS 94494 HAS SOUPS 83747 WITH SCORE 84103.266
AT ITER 8693 NEW BEST:: SOT 757611 SOS 356232 HAS SOPS 158973 HAS SOUS 94504 HAS SOUPS 83729 WITH SCORE 84085.232
AT ITER 8713 NEW BEST:: SOT 757610 SOS 356224 HAS SOPS 158965 HAS SOUS 94502 HAS SOUPS 83727 WITH SCORE 84083.224
AT ITER 8754 NEW BEST:: SOT 757578 SOS 356227 HAS SOPS 158972 HAS SOUS 94489 HAS SOUPS 83714 WITH SCORE 84070.227
AT ITER 8794 NEW BEST:: SOT 757548 SOS 356190 HAS SOPS 158947 HAS SOUS 94464 HAS SOUPS 83689 WITH SCORE 84045.19
AT ITER 8797 NEW BEST:: SOT 757548 SOS 356208 HAS SOPS 158965 HAS SOUS 94456 HAS SOUPS 83681 WITH SCORE 84037.208
AT ITER 8807 NEW BEST:: SOT 757484 SOS 356253 HAS SOPS 159010 HAS SOUS 94441 HAS SOUPS 83666 WITH SCORE 84022.253
AT ITER 8814 NEW BEST:: SOT 757348 SOS 356725 HAS SOPS 158866 HAS SOUS 94431 HAS SOUPS 83602 WITH SCORE 83958.725
AT ITER 8823 NEW BEST:: SOT 757349 SOS 356663 HAS SOPS 158804 HAS SOUS 94425 HAS SOUPS 83596 WITH SCORE 83952.663
AT ITER 8824 NEW BEST:: SOT 757239 SOS 356414 HAS SOPS 158750 HAS SOUS 94371 HAS SOUPS 83542 WITH SCORE 83898.414
AT ITER 8841 NEW BEST:: SOT 757225 SOS 356440 HAS SOPS 158722 HAS SOUS 94343 HAS SOUPS 83514 WITH SCORE 83870.44
AT ITER 8860 NEW BEST:: SOT 757218 SOS 356433 HAS SOPS 158679 HAS SOUS 94300 HAS SOUPS 83471 WITH SCORE 83827.433
AT ITER 8919 NEW BEST:: SOT 757201 SOS 356553 HAS SOPS 158799 HAS SOUS 94295 HAS SOUPS 83466 WITH SCORE 83822.553
AT ITER 8950 NEW BEST:: SOT 757195 SOS 356589 HAS SOPS 158835 HAS SOUS 94283 HAS SOUPS 83454 WITH SCORE 83810.589
AT ITER 8953 NEW BEST:: SOT 757182 SOS 356535 HAS SOPS 158781 HAS SOUS 94257 HAS SOUPS 83428 WITH SCORE 83784.535
AT ITER 8964 NEW BEST:: SOT 756837 SOS 356172 HAS SOPS 158418 HAS SOUS 94242 HAS SOUPS 83413 WITH SCORE 83769.172
AT ITER 9000 NEW BEST:: SOT 756837 SOS 356177 HAS SOPS 158385 HAS SOUS 94209 HAS SOUPS 83380 WITH SCORE 83736.177
AT ITER 9016 NEW BEST:: SOT 756825 SOS 356163 HAS SOPS 158385 HAS SOUS 94209 HAS SOUPS 83380 WITH SCORE 83736.163
AT ITER 9028 NEW BEST:: SOT 756824 SOS 356224 HAS SOPS 158446 HAS SOUS 94207 HAS SOUPS 83378 WITH SCORE 83734.224
AT ITER 9108 NEW BEST:: SOT 756719 SOS 356050 HAS SOPS 158272 HAS SOUS 94192 HAS SOUPS 83363 WITH SCORE 83719.05
AT ITER 9116 NEW BEST:: SOT 756713 SOS 356038 HAS SOPS 158262 HAS SOUS 94184 HAS SOUPS 83355 WITH SCORE 83711.038
AT ITER 9133 NEW BEST:: SOT 756711 SOS 356034 HAS SOPS 158260 HAS SOUS 94182 HAS SOUPS 83353 WITH SCORE 83709.034
AT ITER 9144 NEW BEST:: SOT 756716 SOS 356004 HAS SOPS 158230 HAS SOUS 94182 HAS SOUPS 83353 WITH SCORE 83709.004
AT ITER 9167 NEW BEST:: SOT 756682 SOS 355987 HAS SOPS 158247 HAS SOUS 94131 HAS SOUPS 83302 WITH SCORE 83657.987
AT ITER 9173 NEW BEST:: SOT 756207 SOS 355483 HAS SOPS 157761 HAS SOUS 94094 HAS SOUPS 83265 WITH SCORE 83620.483
AT ITER 9197 NEW BEST:: SOT 756215 SOS 355473 HAS SOPS 157759 HAS SOUS 94092 HAS SOUPS 83263 WITH SCORE 83618.473
AT ITER 9234 NEW BEST:: SOT 756189 SOS 355457 HAS SOPS 157707 HAS SOUS 94058 HAS SOUPS 83229 WITH SCORE 83584.457
AT ITER 9235 NEW BEST:: SOT 756100 SOS 355368 HAS SOPS 157618 HAS SOUS 94049 HAS SOUPS 83220 WITH SCORE 83575.368
AT ITER 9236 NEW BEST:: SOT 756184 SOS 355526 HAS SOPS 157520 HAS SOUS 93957 HAS SOUPS 83128 WITH SCORE 83483.526
AT ITER 9243 NEW BEST:: SOT 756184 SOS 355411 HAS SOPS 157405 HAS SOUS 93957 HAS SOUPS 83128 WITH SCORE 83483.411
AT ITER 9270 NEW BEST:: SOT 756175 SOS 355393 HAS SOPS 157387 HAS SOUS 93939 HAS SOUPS 83110 WITH SCORE 83465.393
AT ITER 9284 NEW BEST:: SOT 756187 SOS 355151 HAS SOPS 157145 HAS SOUS 93925 HAS SOUPS 83096 WITH SCORE 83451.151
AT ITER 9295 NEW BEST:: SOT 756169 SOS 355115 HAS SOPS 157109 HAS SOUS 93889 HAS SOUPS 83060 WITH SCORE 83415.115
AT ITER 9324 NEW BEST:: SOT 756162 SOS 355101 HAS SOPS 157095 HAS SOUS 93875 HAS SOUPS 83046 WITH SCORE 83401.101
AT ITER 9337 NEW BEST:: SOT 756199 SOS 354842 HAS SOPS 156836 HAS SOUS 93873 HAS SOUPS 83044 WITH SCORE 83398.842
AT ITER 9340 NEW BEST:: SOT 755562 SOS 354242 HAS SOPS 156263 HAS SOUS 93788 HAS SOUPS 82959 WITH SCORE 83313.242
AT ITER 9341 NEW BEST:: SOT 755559 SOS 354239 HAS SOPS 156260 HAS SOUS 93785 HAS SOUPS 82956 WITH SCORE 83310.239
AT ITER 9352 NEW BEST:: SOT 755508 SOS 354081 HAS SOPS 155822 HAS SOUS 93738 HAS SOUPS 82854 WITH SCORE 83208.081
AT ITER 9363 NEW BEST:: SOT 755523 SOS 354044 HAS SOPS 155785 HAS SOUS 93719 HAS SOUPS 82835 WITH SCORE 83189.044
AT ITER 9364 NEW BEST:: SOT 755534 SOS 353963 HAS SOPS 155704 HAS SOUS 93698 HAS SOUPS 82814 WITH SCORE 83167.963
AT ITER 9367 NEW BEST:: SOT 755530 SOS 353955 HAS SOPS 155696 HAS SOUS 93697 HAS SOUPS 82813 WITH SCORE 83166.955
AT ITER 9371 NEW BEST:: SOT 755173 SOS 353598 HAS SOPS 155297 HAS SOUS 93676 HAS SOUPS 82792 WITH SCORE 83145.598
AT ITER 9390 NEW BEST:: SOT 755166 SOS 353581 HAS SOPS 154947 HAS SOUS 93659 HAS SOUPS 82727 WITH SCORE 83080.581
AT ITER 9407 NEW BEST:: SOT 755165 SOS 353580 HAS SOPS 154945 HAS SOUS 93657 HAS SOUPS 82725 WITH SCORE 83078.58
AT ITER 9410 NEW BEST:: SOT 755105 SOS 354000 HAS SOPS 155365 HAS SOUS 93606 HAS SOUPS 82674 WITH SCORE 83028.0
AT ITER 9489 NEW BEST:: SOT 755099 SOS 354160 HAS SOPS 155525 HAS SOUS 93594 HAS SOUPS 82662 WITH SCORE 83016.16
AT ITER 9555 NEW BEST:: SOT 755190 SOS 354272 HAS SOPS 155638 HAS SOUS 93521 HAS SOUPS 82589 WITH SCORE 82943.272
AT ITER 9568 NEW BEST:: SOT 755191 SOS 354273 HAS SOPS 155638 HAS SOUS 93515 HAS SOUPS 82583 WITH SCORE 82937.273
AT ITER 9647 NEW BEST:: SOT 754965 SOS 354041 HAS SOPS 155410 HAS SOUS 93293 HAS SOUPS 82355 WITH SCORE 82709.041
AT ITER 9648 NEW BEST:: SOT 754955 SOS 354031 HAS SOPS 155417 HAS SOUS 93273 HAS SOUPS 82335 WITH SCORE 82689.031
AT ITER 9649 NEW BEST:: SOT 754948 SOS 354017 HAS SOPS 155403 HAS SOUS 93259 HAS SOUPS 82321 WITH SCORE 82675.017
AT ITER 9666 NEW BEST:: SOT 754994 SOS 354063 HAS SOPS 155447 HAS SOUS 93249 HAS SOUPS 82311 WITH SCORE 82665.063
AT ITER 9669 NEW BEST:: SOT 754988 SOS 354025 HAS SOPS 155409 HAS SOUS 93221 HAS SOUPS 82283 WITH SCORE 82637.025
AT ITER 9686 NEW BEST:: SOT 754740 SOS 353777 HAS SOPS 155165 HAS SOUS 93176 HAS SOUPS 82238 WITH SCORE 82591.777
AT ITER 9693 NEW BEST:: SOT 754738 SOS 353739 HAS SOPS 155127 HAS SOUS 93164 HAS SOUPS 82226 WITH SCORE 82579.739
AT ITER 9869 NEW BEST:: SOT 754643 SOS 353634 HAS SOPS 154987 HAS SOUS 93149 HAS SOUPS 82206 WITH SCORE 82559.634
AT ITER 9876 NEW BEST:: SOT 754629 SOS 353578 HAS SOPS 154931 HAS SOUS 93135 HAS SOUPS 82192 WITH SCORE 82545.578
AT ITER 9897 NEW BEST:: SOT 754615 SOS 353557 HAS SOPS 154903 HAS SOUS 93107 HAS SOUPS 82164 WITH SCORE 82517.557
AT ITER 9917 NEW BEST:: SOT 754618 SOS 353791 HAS SOPS 155137 HAS SOUS 93089 HAS SOUPS 82146 WITH SCORE 82499.791
AT ITER 9930 NEW BEST:: SOT 754693 SOS 353866 HAS SOPS 155206 HAS SOUS 93080 HAS SOUPS 82137 WITH SCORE 82490.866
AT ITER 9945 NEW BEST:: SOT 754679 SOS 353854 HAS SOPS 155190 HAS SOUS 93074 HAS SOUPS 82131 WITH SCORE 82484.854
AT ITER 9965 NEW BEST:: SOT 754735 SOS 353910 HAS SOPS 155234 HAS SOUS 93045 HAS SOUPS 82102 WITH SCORE 82455.91
AT ITER 9975 NEW BEST:: SOT 754735 SOS 353823 HAS SOPS 155147 HAS SOUS 93020 HAS SOUPS 82077 WITH SCORE 82430.823
AT ITER 9983 NEW BEST:: SOT 754747 SOS 353835 HAS SOPS 155141 HAS SOUS 93018 HAS SOUPS 82075 WITH SCORE 82428.835
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 1927200 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16146280 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="EisenbergMcGuire-PT-07"
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 EisenbergMcGuire-PT-07, 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 r515-tall-167987242200256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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