Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r291-tall-167873943300768.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 PolyORBNT-PT-S10J30, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943300768
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 20K Feb 26 00:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 26 00:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 973K Feb 26 00:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 3.4M Feb 26 00:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 14K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 50K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 98K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 306K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 50K Feb 26 01:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 245K Feb 26 01:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 343K Feb 26 01:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.4M Feb 26 01:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 14M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678817011740

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=PolyORBNT-PT-S10J30
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S10J30
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: 664 places, 12050 transitions, 112559 arcs.
AT ITER 0 NEW BEST:: SOT 4562297 SOS 2082561 HAS SOPS 2082561 HAS SOUS 368817 HAS SOUPS 368817 WITH SCORE 370899.561
AT ITER 9 NEW BEST:: SOT 4562238 SOS 2082412 HAS SOPS 2082412 HAS SOUS 367858 HAS SOUPS 367858 WITH SCORE 369940.412
AT ITER 20 NEW BEST:: SOT 4562218 SOS 2082408 HAS SOPS 2082408 HAS SOUS 367838 HAS SOUPS 367838 WITH SCORE 369920.408
AT ITER 30 NEW BEST:: SOT 4529181 SOS 2052381 HAS SOPS 2052381 HAS SOUS 335320 HAS SOUPS 335320 WITH SCORE 337372.381
AT ITER 39 NEW BEST:: SOT 2933217 SOS 947591 HAS SOPS 947591 HAS SOUS 211751 HAS SOUPS 211751 WITH SCORE 212698.591
AT ITER 53 NEW BEST:: SOT 2933225 SOS 947722 HAS SOPS 947722 HAS SOUS 211650 HAS SOUPS 211650 WITH SCORE 212597.722
AT ITER 56 NEW BEST:: SOT 2933139 SOS 947636 HAS SOPS 947636 HAS SOUS 211581 HAS SOUPS 211581 WITH SCORE 212528.636
AT ITER 66 NEW BEST:: SOT 2933094 SOS 947591 HAS SOPS 947591 HAS SOUS 211536 HAS SOUPS 211536 WITH SCORE 212483.591
AT ITER 77 NEW BEST:: SOT 2933032 SOS 947529 HAS SOPS 947529 HAS SOUS 211474 HAS SOUPS 211474 WITH SCORE 212421.529
AT ITER 90 NEW BEST:: SOT 2932814 SOS 947311 HAS SOPS 947311 HAS SOUS 211256 HAS SOUPS 211256 WITH SCORE 212203.311
AT ITER 97 NEW BEST:: SOT 2932814 SOS 947311 HAS SOPS 947311 HAS SOUS 210456 HAS SOUPS 210456 WITH SCORE 211403.311
AT ITER 107 NEW BEST:: SOT 2932814 SOS 947311 HAS SOPS 947311 HAS SOUS 210306 HAS SOUPS 210306 WITH SCORE 211253.311
AT ITER 108 NEW BEST:: SOT 2932510 SOS 947007 HAS SOPS 947007 HAS SOUS 209082 HAS SOUPS 209082 WITH SCORE 210029.007
AT ITER 113 NEW BEST:: SOT 2932594 SOS 947179 HAS SOPS 947179 HAS SOUS 209074 HAS SOUPS 209074 WITH SCORE 210021.179
AT ITER 144 NEW BEST:: SOT 2932490 SOS 947007 HAS SOPS 947007 HAS SOUS 208965 HAS SOUPS 208965 WITH SCORE 209912.007
AT ITER 145 NEW BEST:: SOT 2932324 SOS 946748 HAS SOPS 946748 HAS SOUS 208860 HAS SOUPS 208860 WITH SCORE 209806.748
AT ITER 149 NEW BEST:: SOT 2932058 SOS 946482 HAS SOPS 946482 HAS SOUS 208594 HAS SOUPS 208594 WITH SCORE 209540.482
AT ITER 156 NEW BEST:: SOT 2931969 SOS 946482 HAS SOPS 946482 HAS SOUS 208264 HAS SOUPS 208264 WITH SCORE 209210.482
AT ITER 163 NEW BEST:: SOT 2931969 SOS 946582 HAS SOPS 946582 HAS SOUS 208184 HAS SOUPS 208184 WITH SCORE 209130.582
AT ITER 187 NEW BEST:: SOT 2931419 SOS 946032 HAS SOPS 946032 HAS SOUS 206714 HAS SOUPS 206714 WITH SCORE 207660.032
AT ITER 193 NEW BEST:: SOT 2931307 SOS 945920 HAS SOPS 945920 HAS SOUS 206602 HAS SOUPS 206602 WITH SCORE 207547.92
AT ITER 196 NEW BEST:: SOT 2931217 SOS 945860 HAS SOPS 945860 HAS SOUS 206542 HAS SOUPS 206542 WITH SCORE 207487.86
AT ITER 197 NEW BEST:: SOT 2930949 SOS 945592 HAS SOPS 945592 HAS SOUS 206274 HAS SOUPS 206274 WITH SCORE 207219.592
AT ITER 211 NEW BEST:: SOT 2930949 SOS 945592 HAS SOPS 945592 HAS SOUS 206124 HAS SOUPS 206124 WITH SCORE 207069.592
AT ITER 212 NEW BEST:: SOT 2930633 SOS 945276 HAS SOPS 945276 HAS SOUS 205808 HAS SOUPS 205808 WITH SCORE 206753.276
AT ITER 213 NEW BEST:: SOT 2930650 SOS 945293 HAS SOPS 945293 HAS SOUS 204965 HAS SOUPS 204965 WITH SCORE 205910.293
AT ITER 217 NEW BEST:: SOT 2930656 SOS 945299 HAS SOPS 945299 HAS SOUS 204954 HAS SOUPS 204954 WITH SCORE 205899.299
AT ITER 219 NEW BEST:: SOT 2930695 SOS 945314 HAS SOPS 945314 HAS SOUS 204946 HAS SOUPS 204946 WITH SCORE 205891.314
AT ITER 225 NEW BEST:: SOT 2930507 SOS 945126 HAS SOPS 945126 HAS SOUS 202968 HAS SOUPS 202968 WITH SCORE 203913.126
AT ITER 232 NEW BEST:: SOT 2931334 SOS 945953 HAS SOPS 945953 HAS SOUS 202887 HAS SOUPS 202887 WITH SCORE 203832.953
AT ITER 237 NEW BEST:: SOT 2931280 SOS 945950 HAS SOPS 945950 HAS SOUS 202867 HAS SOUPS 202867 WITH SCORE 203812.95
AT ITER 246 NEW BEST:: SOT 2931123 SOS 945793 HAS SOPS 945793 HAS SOUS 202710 HAS SOUPS 202710 WITH SCORE 203655.793
AT ITER 252 NEW BEST:: SOT 2931138 SOS 945808 HAS SOPS 945808 HAS SOUS 201950 HAS SOUPS 201950 WITH SCORE 202895.808
AT ITER 264 NEW BEST:: SOT 2931034 SOS 945704 HAS SOPS 945704 HAS SOUS 201846 HAS SOUPS 201846 WITH SCORE 202791.704
AT ITER 265 NEW BEST:: SOT 2930656 SOS 945326 HAS SOPS 945326 HAS SOUS 201468 HAS SOUPS 201468 WITH SCORE 202413.326
AT ITER 267 NEW BEST:: SOT 2930603 SOS 945100 HAS SOPS 945100 HAS SOUS 201270 HAS SOUPS 201270 WITH SCORE 202215.1
AT ITER 276 NEW BEST:: SOT 2930592 SOS 945089 HAS SOPS 945089 HAS SOUS 201104 HAS SOUPS 201104 WITH SCORE 202049.089
AT ITER 278 NEW BEST:: SOT 2920629 SOS 935105 HAS SOPS 935105 HAS SOUS 200470 HAS SOUPS 200470 WITH SCORE 201405.105
AT ITER 281 NEW BEST:: SOT 2920629 SOS 935105 HAS SOPS 935105 HAS SOUS 200453 HAS SOUPS 200453 WITH SCORE 201388.105
AT ITER 286 NEW BEST:: SOT 2921276 SOS 935752 HAS SOPS 935752 HAS SOUS 200208 HAS SOUPS 200208 WITH SCORE 201143.752
AT ITER 287 NEW BEST:: SOT 2921277 SOS 935739 HAS SOPS 935739 HAS SOUS 200195 HAS SOUPS 200195 WITH SCORE 201130.739
AT ITER 310 NEW BEST:: SOT 2921187 SOS 935649 HAS SOPS 935649 HAS SOUS 200105 HAS SOUPS 200105 WITH SCORE 201040.649
AT ITER 316 NEW BEST:: SOT 2921309 SOS 935771 HAS SOPS 935771 HAS SOUS 199326 HAS SOUPS 199326 WITH SCORE 200261.771
AT ITER 320 NEW BEST:: SOT 2921269 SOS 935731 HAS SOPS 935731 HAS SOUS 199286 HAS SOUPS 199286 WITH SCORE 200221.731
AT ITER 335 NEW BEST:: SOT 2921219 SOS 935681 HAS SOPS 935681 HAS SOUS 199236 HAS SOUPS 199236 WITH SCORE 200171.681
AT ITER 338 NEW BEST:: SOT 2921216 SOS 935708 HAS SOPS 935708 HAS SOUS 199233 HAS SOUPS 199233 WITH SCORE 200168.708
AT ITER 360 NEW BEST:: SOT 2921174 SOS 935666 HAS SOPS 935666 HAS SOUS 199191 HAS SOUPS 199191 WITH SCORE 200126.666
AT ITER 362 NEW BEST:: SOT 2921132 SOS 935624 HAS SOPS 935624 HAS SOUS 199149 HAS SOUPS 199149 WITH SCORE 200084.624
AT ITER 364 NEW BEST:: SOT 2921041 SOS 935533 HAS SOPS 935533 HAS SOUS 199058 HAS SOUPS 199058 WITH SCORE 199993.533
AT ITER 382 NEW BEST:: SOT 2921019 SOS 935511 HAS SOPS 935511 HAS SOUS 198208 HAS SOUPS 198208 WITH SCORE 199143.511
AT ITER 390 NEW BEST:: SOT 2920979 SOS 935471 HAS SOPS 935471 HAS SOUS 198168 HAS SOUPS 198168 WITH SCORE 199103.471
AT ITER 392 NEW BEST:: SOT 2921019 SOS 935511 HAS SOPS 935511 HAS SOUS 197815 HAS SOUPS 197815 WITH SCORE 198750.511
AT ITER 394 NEW BEST:: SOT 2921019 SOS 935511 HAS SOPS 935511 HAS SOUS 197716 HAS SOUPS 197716 WITH SCORE 198651.511
AT ITER 400 NEW BEST:: SOT 2920939 SOS 935431 HAS SOPS 935431 HAS SOUS 197636 HAS SOUPS 197636 WITH SCORE 198571.431
AT ITER 401 NEW BEST:: SOT 2920811 SOS 935303 HAS SOPS 935303 HAS SOUS 197508 HAS SOUPS 197508 WITH SCORE 198443.303
AT ITER 413 NEW BEST:: SOT 2920862 SOS 935405 HAS SOPS 935405 HAS SOUS 197460 HAS SOUPS 197460 WITH SCORE 198395.405
AT ITER 423 NEW BEST:: SOT 2920775 SOS 935318 HAS SOPS 935318 HAS SOUS 196363 HAS SOUPS 196363 WITH SCORE 197298.318
AT ITER 436 NEW BEST:: SOT 2920724 SOS 935267 HAS SOPS 935267 HAS SOUS 195446 HAS SOUPS 195446 WITH SCORE 196381.267
AT ITER 445 NEW BEST:: SOT 2921812 SOS 936355 HAS SOPS 936355 HAS SOUS 195207 HAS SOUPS 195207 WITH SCORE 196143.355
AT ITER 457 NEW BEST:: SOT 2921700 SOS 936243 HAS SOPS 936243 HAS SOUS 194679 HAS SOUPS 194679 WITH SCORE 195615.243
AT ITER 468 NEW BEST:: SOT 2921700 SOS 936243 HAS SOPS 936243 HAS SOUS 194671 HAS SOUPS 194671 WITH SCORE 195607.243
AT ITER 477 NEW BEST:: SOT 2922006 SOS 936549 HAS SOPS 936549 HAS SOUS 194641 HAS SOUPS 194641 WITH SCORE 195577.549
AT ITER 480 NEW BEST:: SOT 2922429 SOS 936972 HAS SOPS 936972 HAS SOUS 194290 HAS SOUPS 194290 WITH SCORE 195226.972
AT ITER 485 NEW BEST:: SOT 2922903 SOS 937446 HAS SOPS 937446 HAS SOUS 193543 HAS SOUPS 193543 WITH SCORE 194480.446
AT ITER 489 NEW BEST:: SOT 2922789 SOS 937332 HAS SOPS 937332 HAS SOUS 192636 HAS SOUPS 192636 WITH SCORE 193573.332
AT ITER 496 NEW BEST:: SOT 2922912 SOS 937455 HAS SOPS 937455 HAS SOUS 192353 HAS SOUPS 192353 WITH SCORE 193290.455
AT ITER 518 NEW BEST:: SOT 2922912 SOS 937455 HAS SOPS 937455 HAS SOUS 192278 HAS SOUPS 192278 WITH SCORE 193215.455
AT ITER 525 NEW BEST:: SOT 2922880 SOS 937423 HAS SOPS 937423 HAS SOUS 191306 HAS SOUPS 191306 WITH SCORE 192243.423
AT ITER 534 NEW BEST:: SOT 2922788 SOS 937383 HAS SOPS 937383 HAS SOUS 191219 HAS SOUPS 191219 WITH SCORE 192156.383
AT ITER 558 NEW BEST:: SOT 2922654 SOS 937249 HAS SOPS 937249 HAS SOUS 190572 HAS SOUPS 190572 WITH SCORE 191509.249
AT ITER 560 NEW BEST:: SOT 2922654 SOS 937208 HAS SOPS 937208 HAS SOUS 190497 HAS SOUPS 190497 WITH SCORE 191434.208
AT ITER 563 NEW BEST:: SOT 2922528 SOS 937082 HAS SOPS 937082 HAS SOUS 190245 HAS SOUPS 190245 WITH SCORE 191182.082
AT ITER 590 NEW BEST:: SOT 2922478 SOS 936957 HAS SOPS 936957 HAS SOUS 190195 HAS SOUPS 190195 WITH SCORE 191131.957
AT ITER 596 NEW BEST:: SOT 2922632 SOS 937111 HAS SOPS 937111 HAS SOUS 189287 HAS SOUPS 189287 WITH SCORE 190224.111
AT ITER 597 NEW BEST:: SOT 2922342 SOS 937301 HAS SOPS 937301 HAS SOUS 189019 HAS SOUPS 189019 WITH SCORE 189956.301
AT ITER 605 NEW BEST:: SOT 2922986 SOS 937945 HAS SOPS 937945 HAS SOUS 188940 HAS SOUPS 188940 WITH SCORE 189877.945
AT ITER 614 NEW BEST:: SOT 2922977 SOS 937936 HAS SOPS 937936 HAS SOUS 188931 HAS SOUPS 188931 WITH SCORE 189868.936
AT ITER 617 NEW BEST:: SOT 2923006 SOS 937965 HAS SOPS 937965 HAS SOUS 188560 HAS SOUPS 188560 WITH SCORE 189497.965
AT ITER 625 NEW BEST:: SOT 2923418 SOS 938377 HAS SOPS 938377 HAS SOUS 188231 HAS SOUPS 188231 WITH SCORE 189169.377
AT ITER 627 NEW BEST:: SOT 2922805 SOS 937764 HAS SOPS 937764 HAS SOUS 187618 HAS SOUPS 187618 WITH SCORE 188555.764
AT ITER 630 NEW BEST:: SOT 2923081 SOS 938040 HAS SOPS 938040 HAS SOUS 187066 HAS SOUPS 187066 WITH SCORE 188004.04
AT ITER 634 NEW BEST:: SOT 2923065 SOS 938024 HAS SOPS 938024 HAS SOUS 187050 HAS SOUPS 187050 WITH SCORE 187988.024
AT ITER 665 NEW BEST:: SOT 2922791 SOS 937750 HAS SOPS 937750 HAS SOUS 186790 HAS SOUPS 186790 WITH SCORE 187727.75
AT ITER 678 NEW BEST:: SOT 2922767 SOS 937726 HAS SOPS 937726 HAS SOUS 186106 HAS SOUPS 186106 WITH SCORE 187043.726
AT ITER 679 NEW BEST:: SOT 2922794 SOS 937753 HAS SOPS 937753 HAS SOUS 186038 HAS SOUPS 186038 WITH SCORE 186975.753
AT ITER 682 NEW BEST:: SOT 2922790 SOS 937749 HAS SOPS 937749 HAS SOUS 186034 HAS SOUPS 186034 WITH SCORE 186971.749
AT ITER 684 NEW BEST:: SOT 2922709 SOS 937668 HAS SOPS 937668 HAS SOUS 185923 HAS SOUPS 185923 WITH SCORE 186860.668
AT ITER 691 NEW BEST:: SOT 2922671 SOS 937630 HAS SOPS 937630 HAS SOUS 183412 HAS SOUPS 183412 WITH SCORE 184349.63
AT ITER 694 NEW BEST:: SOT 2922528 SOS 937487 HAS SOPS 937487 HAS SOUS 183115 HAS SOUPS 183115 WITH SCORE 184052.487
AT ITER 698 NEW BEST:: SOT 2922528 SOS 937487 HAS SOPS 937487 HAS SOUS 183064 HAS SOUPS 183064 WITH SCORE 184001.487
AT ITER 704 NEW BEST:: SOT 2921755 SOS 936714 HAS SOPS 936714 HAS SOUS 182291 HAS SOUPS 182291 WITH SCORE 183227.714
AT ITER 725 NEW BEST:: SOT 2921603 SOS 936562 HAS SOPS 936562 HAS SOUS 181965 HAS SOUPS 181965 WITH SCORE 182901.562
AT ITER 739 NEW BEST:: SOT 2921556 SOS 936515 HAS SOPS 936515 HAS SOUS 181789 HAS SOUPS 181789 WITH SCORE 182725.515
AT ITER 758 NEW BEST:: SOT 2921420 SOS 936379 HAS SOPS 936379 HAS SOUS 181599 HAS SOUPS 181599 WITH SCORE 182535.379
AT ITER 766 NEW BEST:: SOT 2921432 SOS 936403 HAS SOPS 936403 HAS SOUS 181443 HAS SOUPS 181443 WITH SCORE 182379.403
AT ITER 768 NEW BEST:: SOT 2921160 SOS 936131 HAS SOPS 936131 HAS SOUS 181171 HAS SOUPS 181171 WITH SCORE 182107.131
AT ITER 776 NEW BEST:: SOT 2920874 SOS 935845 HAS SOPS 935845 HAS SOUS 180573 HAS SOUPS 180573 WITH SCORE 181508.845
AT ITER 783 NEW BEST:: SOT 2920726 SOS 935699 HAS SOPS 935699 HAS SOUS 180425 HAS SOUPS 180425 WITH SCORE 181360.699
AT ITER 784 NEW BEST:: SOT 2920726 SOS 935699 HAS SOPS 935699 HAS SOUS 179943 HAS SOUPS 179943 WITH SCORE 180878.699
AT ITER 795 NEW BEST:: SOT 2921780 SOS 936753 HAS SOPS 936753 HAS SOUS 179645 HAS SOUPS 179645 WITH SCORE 180581.753
AT ITER 798 NEW BEST:: SOT 2921574 SOS 936547 HAS SOPS 936547 HAS SOUS 179397 HAS SOUPS 179397 WITH SCORE 180333.547
AT ITER 816 NEW BEST:: SOT 2921488 SOS 936517 HAS SOPS 936517 HAS SOUS 179386 HAS SOUPS 179386 WITH SCORE 180322.517
AT ITER 819 NEW BEST:: SOT 2921050 SOS 936079 HAS SOPS 936079 HAS SOUS 176442 HAS SOUPS 176442 WITH SCORE 177378.079
AT ITER 820 NEW BEST:: SOT 2921239 SOS 936268 HAS SOPS 936268 HAS SOUS 175468 HAS SOUPS 175468 WITH SCORE 176404.268
AT ITER 833 NEW BEST:: SOT 2921067 SOS 936096 HAS SOPS 936096 HAS SOUS 172792 HAS SOUPS 172792 WITH SCORE 173728.096
AT ITER 837 NEW BEST:: SOT 2921180 SOS 936209 HAS SOPS 936209 HAS SOUS 171717 HAS SOUPS 171717 WITH SCORE 172653.209
AT ITER 841 NEW BEST:: SOT 2921250 SOS 936279 HAS SOPS 936279 HAS SOUS 171507 HAS SOUPS 171507 WITH SCORE 172443.279
AT ITER 845 NEW BEST:: SOT 2921207 SOS 936307 HAS SOPS 936307 HAS SOUS 171504 HAS SOUPS 171504 WITH SCORE 172440.307
AT ITER 852 NEW BEST:: SOT 2921207 SOS 936307 HAS SOPS 936307 HAS SOUS 171276 HAS SOUPS 171276 WITH SCORE 172212.307
AT ITER 856 NEW BEST:: SOT 2921165 SOS 936265 HAS SOPS 936265 HAS SOUS 171234 HAS SOUPS 171234 WITH SCORE 172170.265
AT ITER 865 NEW BEST:: SOT 2921086 SOS 936186 HAS SOPS 936186 HAS SOUS 171155 HAS SOUPS 171155 WITH SCORE 172091.186
AT ITER 868 NEW BEST:: SOT 2921418 SOS 936518 HAS SOPS 936518 HAS SOUS 169458 HAS SOUPS 169458 WITH SCORE 170394.518
AT ITER 911 NEW BEST:: SOT 2921381 SOS 936481 HAS SOPS 936481 HAS SOUS 169421 HAS SOUPS 169421 WITH SCORE 170357.481
AT ITER 916 NEW BEST:: SOT 2921197 SOS 936297 HAS SOPS 936297 HAS SOUS 169237 HAS SOUPS 169237 WITH SCORE 170173.297
AT ITER 919 NEW BEST:: SOT 2921140 SOS 936240 HAS SOPS 936240 HAS SOUS 169180 HAS SOUPS 169180 WITH SCORE 170116.24
AT ITER 921 NEW BEST:: SOT 2921140 SOS 883600 HAS SOPS 883600 HAS SOUS 169124 HAS SOUPS 169124 WITH SCORE 170007.6
AT ITER 934 NEW BEST:: SOT 2921126 SOS 883586 HAS SOPS 883586 HAS SOUS 169110 HAS SOUPS 169110 WITH SCORE 169993.586
AT ITER 936 NEW BEST:: SOT 2921084 SOS 883544 HAS SOPS 883544 HAS SOUS 169026 HAS SOUPS 169026 WITH SCORE 169909.544
AT ITER 952 NEW BEST:: SOT 2921034 SOS 883494 HAS SOPS 883494 HAS SOUS 168526 HAS SOUPS 168526 WITH SCORE 169409.494
AT ITER 954 NEW BEST:: SOT 2921034 SOS 883494 HAS SOPS 883494 HAS SOUS 168436 HAS SOUPS 168436 WITH SCORE 169319.494
AT ITER 958 NEW BEST:: SOT 2920965 SOS 883425 HAS SOPS 883425 HAS SOUS 168367 HAS SOUPS 168367 WITH SCORE 169250.425
AT ITER 969 NEW BEST:: SOT 2920965 SOS 883425 HAS SOPS 883425 HAS SOUS 168277 HAS SOUPS 168277 WITH SCORE 169160.425
AT ITER 975 NEW BEST:: SOT 2919112 SOS 882736 HAS SOPS 882736 HAS SOUS 166424 HAS SOUPS 166424 WITH SCORE 167306.736
AT ITER 981 NEW BEST:: SOT 2919111 SOS 882734 HAS SOPS 882734 HAS SOUS 166422 HAS SOUPS 166422 WITH SCORE 167304.734
AT ITER 982 NEW BEST:: SOT 2919096 SOS 882719 HAS SOPS 882719 HAS SOUS 166057 HAS SOUPS 166057 WITH SCORE 166939.719
AT ITER 983 NEW BEST:: SOT 2919045 SOS 882668 HAS SOPS 882668 HAS SOUS 165992 HAS SOUPS 165992 WITH SCORE 166874.668
AT ITER 998 NEW BEST:: SOT 2919045 SOS 882668 HAS SOPS 882668 HAS SOUS 165794 HAS SOUPS 165794 WITH SCORE 166676.668
AT ITER 1007 NEW BEST:: SOT 2919045 SOS 882668 HAS SOPS 882668 HAS SOUS 165785 HAS SOUPS 165785 WITH SCORE 166667.668
AT ITER 1010 NEW BEST:: SOT 2918950 SOS 882634 HAS SOPS 882634 HAS SOUS 165742 HAS SOUPS 165742 WITH SCORE 166624.634
AT ITER 1028 NEW BEST:: SOT 2918950 SOS 882634 HAS SOPS 882634 HAS SOUS 165643 HAS SOUPS 165643 WITH SCORE 166525.634
AT ITER 1037 NEW BEST:: SOT 2918950 SOS 882634 HAS SOPS 882634 HAS SOUS 165639 HAS SOUPS 165639 WITH SCORE 166521.634
AT ITER 1052 NEW BEST:: SOT 2918945 SOS 882629 HAS SOPS 882629 HAS SOUS 165634 HAS SOUPS 165634 WITH SCORE 166516.629
AT ITER 1067 NEW BEST:: SOT 2918876 SOS 882560 HAS SOPS 882560 HAS SOUS 165565 HAS SOUPS 165565 WITH SCORE 166447.56
AT ITER 1071 NEW BEST:: SOT 2918876 SOS 882560 HAS SOPS 882560 HAS SOUS 164831 HAS SOUPS 164831 WITH SCORE 165713.56
AT ITER 1072 NEW BEST:: SOT 2918878 SOS 882544 HAS SOPS 882544 HAS SOUS 164686 HAS SOUPS 164686 WITH SCORE 165568.544
AT ITER 1097 NEW BEST:: SOT 2919228 SOS 882894 HAS SOPS 882894 HAS SOUS 162990 HAS SOUPS 162990 WITH SCORE 163872.894
AT ITER 1099 NEW BEST:: SOT 2919208 SOS 882874 HAS SOPS 882874 HAS SOUS 162970 HAS SOUPS 162970 WITH SCORE 163852.874
AT ITER 1101 NEW BEST:: SOT 2919174 SOS 882840 HAS SOPS 882840 HAS SOUS 162936 HAS SOUPS 162936 WITH SCORE 163818.84
AT ITER 1102 NEW BEST:: SOT 2919164 SOS 882830 HAS SOPS 882830 HAS SOUS 162926 HAS SOUPS 162926 WITH SCORE 163808.83
AT ITER 1106 NEW BEST:: SOT 2919164 SOS 882830 HAS SOPS 882830 HAS SOUS 162896 HAS SOUPS 162896 WITH SCORE 163778.83
AT ITER 1109 NEW BEST:: SOT 2919058 SOS 882724 HAS SOPS 882724 HAS SOUS 162737 HAS SOUPS 162737 WITH SCORE 163619.724
AT ITER 1115 NEW BEST:: SOT 2919007 SOS 882633 HAS SOPS 882633 HAS SOUS 162710 HAS SOUPS 162710 WITH SCORE 163592.633
AT ITER 1144 NEW BEST:: SOT 2918941 SOS 882567 HAS SOPS 882567 HAS SOUS 162549 HAS SOUPS 162549 WITH SCORE 163431.567
AT ITER 1154 NEW BEST:: SOT 2918865 SOS 882491 HAS SOPS 882491 HAS SOUS 161126 HAS SOUPS 161126 WITH SCORE 162008.491
AT ITER 1157 NEW BEST:: SOT 2918865 SOS 882492 HAS SOPS 882492 HAS SOUS 161125 HAS SOUPS 161125 WITH SCORE 162007.492
AT ITER 1161 NEW BEST:: SOT 2918865 SOS 882532 HAS SOPS 882532 HAS SOUS 161104 HAS SOUPS 161104 WITH SCORE 161986.532
AT ITER 1162 NEW BEST:: SOT 2918857 SOS 882532 HAS SOPS 882532 HAS SOUS 161096 HAS SOUPS 161096 WITH SCORE 161978.532
AT ITER 1170 NEW BEST:: SOT 2918803 SOS 882478 HAS SOPS 882478 HAS SOUS 161042 HAS SOUPS 161042 WITH SCORE 161924.478
AT ITER 1184 NEW BEST:: SOT 2918923 SOS 882500 HAS SOPS 882500 HAS SOUS 161038 HAS SOUPS 161038 WITH SCORE 161920.5
AT ITER 1185 NEW BEST:: SOT 2918875 SOS 882452 HAS SOPS 882452 HAS SOUS 160942 HAS SOUPS 160942 WITH SCORE 161824.452
AT ITER 1197 NEW BEST:: SOT 2918931 SOS 882508 HAS SOPS 882508 HAS SOUS 160937 HAS SOUPS 160937 WITH SCORE 161819.508
AT ITER 1202 NEW BEST:: SOT 2918881 SOS 882458 HAS SOPS 882458 HAS SOUS 160379 HAS SOUPS 160379 WITH SCORE 161261.458
AT ITER 1213 NEW BEST:: SOT 2918835 SOS 882451 HAS SOPS 882451 HAS SOUS 160333 HAS SOUPS 160333 WITH SCORE 161215.451
AT ITER 1214 NEW BEST:: SOT 2918835 SOS 882741 HAS SOPS 882741 HAS SOUS 160332 HAS SOUPS 160332 WITH SCORE 161214.741
AT ITER 1221 NEW BEST:: SOT 2918689 SOS 882595 HAS SOPS 882595 HAS SOUS 160006 HAS SOUPS 160006 WITH SCORE 160888.595
AT ITER 1223 NEW BEST:: SOT 2918673 SOS 882579 HAS SOPS 882579 HAS SOUS 159926 HAS SOUPS 159926 WITH SCORE 160808.579
AT ITER 1262 NEW BEST:: SOT 2918628 SOS 882578 HAS SOPS 882578 HAS SOUS 159866 HAS SOUPS 159866 WITH SCORE 160748.578
AT ITER 1266 NEW BEST:: SOT 2918618 SOS 882568 HAS SOPS 882568 HAS SOUS 159856 HAS SOUPS 159856 WITH SCORE 160738.568
AT ITER 1274 NEW BEST:: SOT 2918626 SOS 882576 HAS SOPS 882576 HAS SOUS 159808 HAS SOUPS 159808 WITH SCORE 160690.576
AT ITER 1278 NEW BEST:: SOT 2918595 SOS 882545 HAS SOPS 882545 HAS SOUS 159476 HAS SOUPS 159476 WITH SCORE 160358.545
AT ITER 1284 NEW BEST:: SOT 2918571 SOS 882521 HAS SOPS 882521 HAS SOUS 158481 HAS SOUPS 158481 WITH SCORE 159363.521
AT ITER 1286 NEW BEST:: SOT 2918664 SOS 882763 HAS SOPS 882763 HAS SOUS 158478 HAS SOUPS 158478 WITH SCORE 159360.763
AT ITER 1303 NEW BEST:: SOT 2918604 SOS 883369 HAS SOPS 883369 HAS SOUS 158254 HAS SOUPS 158254 WITH SCORE 159137.369
AT ITER 1316 NEW BEST:: SOT 2918595 SOS 883360 HAS SOPS 883360 HAS SOUS 158245 HAS SOUPS 158245 WITH SCORE 159128.36
AT ITER 1325 NEW BEST:: SOT 2918535 SOS 883300 HAS SOPS 883300 HAS SOUS 157945 HAS SOUPS 157945 WITH SCORE 158828.3
AT ITER 1329 NEW BEST:: SOT 2918473 SOS 883238 HAS SOPS 883238 HAS SOUS 157883 HAS SOUPS 157883 WITH SCORE 158766.238
AT ITER 1336 NEW BEST:: SOT 2917914 SOS 882679 HAS SOPS 882679 HAS SOUS 157512 HAS SOUPS 157512 WITH SCORE 158394.679
AT ITER 1343 NEW BEST:: SOT 2917835 SOS 882600 HAS SOPS 882600 HAS SOUS 156983 HAS SOUPS 156983 WITH SCORE 157865.6
AT ITER 1365 NEW BEST:: SOT 2917715 SOS 882480 HAS SOPS 882480 HAS SOUS 156721 HAS SOUPS 156721 WITH SCORE 157603.48
AT ITER 1380 NEW BEST:: SOT 2917680 SOS 882445 HAS SOPS 882445 HAS SOUS 156686 HAS SOUPS 156686 WITH SCORE 157568.445
AT ITER 1393 NEW BEST:: SOT 2917680 SOS 882445 HAS SOPS 882445 HAS SOUS 156682 HAS SOUPS 156682 WITH SCORE 157564.445
AT ITER 1398 NEW BEST:: SOT 2917614 SOS 882379 HAS SOPS 882379 HAS SOUS 156263 HAS SOUPS 156263 WITH SCORE 157145.379
AT ITER 1412 NEW BEST:: SOT 2917479 SOS 881975 HAS SOPS 881975 HAS SOUS 155859 HAS SOUPS 155859 WITH SCORE 156740.975
AT ITER 1419 NEW BEST:: SOT 2917431 SOS 881927 HAS SOPS 881927 HAS SOUS 155811 HAS SOUPS 155811 WITH SCORE 156692.927
AT ITER 1424 NEW BEST:: SOT 2917286 SOS 881782 HAS SOPS 881782 HAS SOUS 155610 HAS SOUPS 155610 WITH SCORE 156491.782
AT ITER 1451 NEW BEST:: SOT 2917309 SOS 881805 HAS SOPS 881805 HAS SOUS 153898 HAS SOUPS 153898 WITH SCORE 154779.805
AT ITER 1457 NEW BEST:: SOT 2917074 SOS 881570 HAS SOPS 881570 HAS SOUS 153166 HAS SOUPS 153166 WITH SCORE 154047.57
AT ITER 1482 NEW BEST:: SOT 2914613 SOS 879109 HAS SOPS 879109 HAS SOUS 150502 HAS SOUPS 150502 WITH SCORE 151381.109
AT ITER 1491 NEW BEST:: SOT 2914564 SOS 879060 HAS SOPS 879060 HAS SOUS 150453 HAS SOUPS 150453 WITH SCORE 151332.06
AT ITER 1497 NEW BEST:: SOT 2914659 SOS 879218 HAS SOPS 879218 HAS SOUS 150405 HAS SOUPS 150405 WITH SCORE 151284.218
AT ITER 1502 NEW BEST:: SOT 2914179 SOS 878738 HAS SOPS 878738 HAS SOUS 149925 HAS SOUPS 149925 WITH SCORE 150803.738
AT ITER 1513 NEW BEST:: SOT 2914194 SOS 878753 HAS SOPS 878753 HAS SOUS 149905 HAS SOUPS 149905 WITH SCORE 150783.753
AT ITER 1515 NEW BEST:: SOT 2914198 SOS 878774 HAS SOPS 878774 HAS SOUS 149900 HAS SOUPS 149900 WITH SCORE 150778.774
AT ITER 1518 NEW BEST:: SOT 2914190 SOS 878766 HAS SOPS 878766 HAS SOUS 149872 HAS SOUPS 149872 WITH SCORE 150750.766
AT ITER 1521 NEW BEST:: SOT 2914123 SOS 878699 HAS SOPS 878699 HAS SOUS 149377 HAS SOUPS 149377 WITH SCORE 150255.699
AT ITER 1535 NEW BEST:: SOT 2914098 SOS 878674 HAS SOPS 878674 HAS SOUS 149341 HAS SOUPS 149341 WITH SCORE 150219.674
AT ITER 1536 NEW BEST:: SOT 2913817 SOS 878393 HAS SOPS 878393 HAS SOUS 149066 HAS SOUPS 149066 WITH SCORE 149944.393
AT ITER 1540 NEW BEST:: SOT 2913817 SOS 878389 HAS SOPS 878389 HAS SOUS 149062 HAS SOUPS 149062 WITH SCORE 149940.389
AT ITER 1550 NEW BEST:: SOT 2913757 SOS 878329 HAS SOPS 878329 HAS SOUS 149002 HAS SOUPS 149002 WITH SCORE 149880.329
AT ITER 1555 NEW BEST:: SOT 2909765 SOS 889646 HAS SOPS 889646 HAS SOUS 148184 HAS SOUPS 148184 WITH SCORE 149073.646
AT ITER 1559 NEW BEST:: SOT 2909745 SOS 889626 HAS SOPS 889626 HAS SOUS 147975 HAS SOUPS 147975 WITH SCORE 148864.626
AT ITER 1567 NEW BEST:: SOT 2909731 SOS 889426 HAS SOPS 889426 HAS SOUS 147917 HAS SOUPS 147917 WITH SCORE 148806.426
AT ITER 1571 NEW BEST:: SOT 2909768 SOS 889363 HAS SOPS 889363 HAS SOUS 147844 HAS SOUPS 147844 WITH SCORE 148733.363
AT ITER 1574 NEW BEST:: SOT 2909712 SOS 889335 HAS SOPS 889335 HAS SOUS 147564 HAS SOUPS 147564 WITH SCORE 148453.335
AT ITER 1581 NEW BEST:: SOT 2909174 SOS 888813 HAS SOPS 888813 HAS SOUS 147026 HAS SOUPS 147026 WITH SCORE 147914.813
AT ITER 1592 NEW BEST:: SOT 2909125 SOS 888764 HAS SOPS 888764 HAS SOUS 146977 HAS SOUPS 146977 WITH SCORE 147865.764
AT ITER 1593 NEW BEST:: SOT 2909240 SOS 888879 HAS SOPS 888879 HAS SOUS 146384 HAS SOUPS 146384 WITH SCORE 147272.879
AT ITER 1596 NEW BEST:: SOT 2909238 SOS 888877 HAS SOPS 888877 HAS SOUS 146382 HAS SOUPS 146382 WITH SCORE 147270.877
AT ITER 1607 NEW BEST:: SOT 2909220 SOS 888859 HAS SOPS 888859 HAS SOUS 146308 HAS SOUPS 146308 WITH SCORE 147196.859
AT ITER 1620 NEW BEST:: SOT 2909505 SOS 889144 HAS SOPS 889144 HAS SOUS 145470 HAS SOUPS 145470 WITH SCORE 146359.144
AT ITER 1637 NEW BEST:: SOT 2909337 SOS 889004 HAS SOPS 889004 HAS SOUS 145330 HAS SOUPS 145330 WITH SCORE 146219.004
AT ITER 1640 NEW BEST:: SOT 2909654 SOS 889321 HAS SOPS 889321 HAS SOUS 144882 HAS SOUPS 144882 WITH SCORE 145771.321
AT ITER 1643 NEW BEST:: SOT 2909496 SOS 889163 HAS SOPS 889163 HAS SOUS 144490 HAS SOUPS 144490 WITH SCORE 145379.163
AT ITER 1655 NEW BEST:: SOT 2909468 SOS 889135 HAS SOPS 889135 HAS SOUS 144434 HAS SOUPS 144434 WITH SCORE 145323.135
AT ITER 1669 NEW BEST:: SOT 2909531 SOS 889116 HAS SOPS 889116 HAS SOUS 144415 HAS SOUPS 144415 WITH SCORE 145304.116
AT ITER 1693 NEW BEST:: SOT 2909398 SOS 888983 HAS SOPS 888983 HAS SOUS 144214 HAS SOUPS 144214 WITH SCORE 145102.983
AT ITER 1695 NEW BEST:: SOT 2909488 SOS 889073 HAS SOPS 889073 HAS SOUS 143902 HAS SOUPS 143902 WITH SCORE 144791.073
AT ITER 1699 NEW BEST:: SOT 2909638 SOS 889223 HAS SOPS 889223 HAS SOUS 143418 HAS SOUPS 143418 WITH SCORE 144307.223
AT ITER 1712 NEW BEST:: SOT 2909657 SOS 889242 HAS SOPS 889242 HAS SOUS 143347 HAS SOUPS 143347 WITH SCORE 144236.242
AT ITER 1720 NEW BEST:: SOT 2908128 SOS 887713 HAS SOPS 887713 HAS SOUS 141818 HAS SOUPS 141818 WITH SCORE 142705.713
AT ITER 1743 NEW BEST:: SOT 2908115 SOS 887700 HAS SOPS 887700 HAS SOUS 141805 HAS SOUPS 141805 WITH SCORE 142692.7
AT ITER 1752 NEW BEST:: SOT 2908037 SOS 887622 HAS SOPS 887622 HAS SOUS 140880 HAS SOUPS 140880 WITH SCORE 141767.622
AT ITER 1753 NEW BEST:: SOT 2908011 SOS 887596 HAS SOPS 887596 HAS SOUS 140764 HAS SOUPS 140764 WITH SCORE 141651.596
AT ITER 1761 NEW BEST:: SOT 2907956 SOS 887717 HAS SOPS 887717 HAS SOUS 140686 HAS SOUPS 140686 WITH SCORE 141573.717
AT ITER 1772 NEW BEST:: SOT 2907899 SOS 887660 HAS SOPS 887660 HAS SOUS 140629 HAS SOUPS 140629 WITH SCORE 141516.66
AT ITER 1785 NEW BEST:: SOT 2907865 SOS 887428 HAS SOPS 887428 HAS SOUS 140469 HAS SOUPS 140469 WITH SCORE 141356.428
AT ITER 1794 NEW BEST:: SOT 2907865 SOS 887453 HAS SOPS 887453 HAS SOUS 140468 HAS SOUPS 140468 WITH SCORE 141355.453
AT ITER 1796 NEW BEST:: SOT 2907862 SOS 887450 HAS SOPS 887450 HAS SOUS 140465 HAS SOUPS 140465 WITH SCORE 141352.45
AT ITER 1806 NEW BEST:: SOT 2909347 SOS 888935 HAS SOPS 888935 HAS SOUS 140089 HAS SOUPS 140089 WITH SCORE 140977.935
AT ITER 1854 NEW BEST:: SOT 2909337 SOS 888925 HAS SOPS 888925 HAS SOUS 140079 HAS SOUPS 140079 WITH SCORE 140967.925
AT ITER 1857 NEW BEST:: SOT 2909328 SOS 888916 HAS SOPS 888916 HAS SOUS 140070 HAS SOUPS 140070 WITH SCORE 140958.916
AT ITER 1859 NEW BEST:: SOT 2909296 SOS 888852 HAS SOPS 888852 HAS SOUS 140006 HAS SOUPS 140006 WITH SCORE 140894.852
AT ITER 1884 NEW BEST:: SOT 2909182 SOS 888738 HAS SOPS 888738 HAS SOUS 139778 HAS SOUPS 139778 WITH SCORE 140666.738
AT ITER 1888 NEW BEST:: SOT 2909175 SOS 888724 HAS SOPS 888724 HAS SOUS 139764 HAS SOUPS 139764 WITH SCORE 140652.724
AT ITER 1894 NEW BEST:: SOT 2909113 SOS 888662 HAS SOPS 888662 HAS SOUS 139640 HAS SOUPS 139640 WITH SCORE 140528.662
AT ITER 1902 NEW BEST:: SOT 2909016 SOS 888565 HAS SOPS 888565 HAS SOUS 139534 HAS SOUPS 139534 WITH SCORE 140422.565
AT ITER 1905 NEW BEST:: SOT 2908976 SOS 888525 HAS SOPS 888525 HAS SOUS 139494 HAS SOUPS 139494 WITH SCORE 140382.525
AT ITER 1909 NEW BEST:: SOT 2908980 SOS 888505 HAS SOPS 888505 HAS SOUS 139271 HAS SOUPS 139271 WITH SCORE 140159.505
AT ITER 1917 NEW BEST:: SOT 2908984 SOS 888509 HAS SOPS 888509 HAS SOUS 138686 HAS SOUPS 138686 WITH SCORE 139574.509
AT ITER 1926 NEW BEST:: SOT 2908931 SOS 888600 HAS SOPS 888600 HAS SOUS 138607 HAS SOUPS 138607 WITH SCORE 139495.6
AT ITER 1934 NEW BEST:: SOT 2908902 SOS 888571 HAS SOPS 888571 HAS SOUS 138578 HAS SOUPS 138578 WITH SCORE 139466.571
AT ITER 1944 NEW BEST:: SOT 2908883 SOS 888552 HAS SOPS 888552 HAS SOUS 138388 HAS SOUPS 138388 WITH SCORE 139276.552
AT ITER 1963 NEW BEST:: SOT 2909974 SOS 889643 HAS SOPS 889643 HAS SOUS 137597 HAS SOUPS 137597 WITH SCORE 138486.643
AT ITER 1983 NEW BEST:: SOT 2909945 SOS 889614 HAS SOPS 889614 HAS SOUS 137543 HAS SOUPS 137543 WITH SCORE 138432.614
AT ITER 1987 NEW BEST:: SOT 2909919 SOS 889588 HAS SOPS 889588 HAS SOUS 137517 HAS SOUPS 137517 WITH SCORE 138406.588
AT ITER 1996 NEW BEST:: SOT 2909901 SOS 889570 HAS SOPS 889570 HAS SOUS 137217 HAS SOUPS 137217 WITH SCORE 138106.57
AT ITER 2004 NEW BEST:: SOT 2909901 SOS 889570 HAS SOPS 889570 HAS SOUS 137188 HAS SOUPS 137188 WITH SCORE 138077.57
AT ITER 2005 NEW BEST:: SOT 2909901 SOS 889570 HAS SOPS 889570 HAS SOUS 137140 HAS SOUPS 137140 WITH SCORE 138029.57
AT ITER 2007 NEW BEST:: SOT 2909385 SOS 889054 HAS SOPS 889054 HAS SOUS 136624 HAS SOUPS 136624 WITH SCORE 137513.054
AT ITER 2011 NEW BEST:: SOT 2909213 SOS 888882 HAS SOPS 888882 HAS SOUS 136365 HAS SOUPS 136365 WITH SCORE 137253.882
AT ITER 2015 NEW BEST:: SOT 2909032 SOS 888349 HAS SOPS 888349 HAS SOUS 135974 HAS SOUPS 135974 WITH SCORE 136862.349
AT ITER 2016 NEW BEST:: SOT 2908586 SOS 887903 HAS SOPS 887903 HAS SOUS 135648 HAS SOUPS 135648 WITH SCORE 136535.903
AT ITER 2032 NEW BEST:: SOT 2908570 SOS 887887 HAS SOPS 887887 HAS SOUS 135632 HAS SOUPS 135632 WITH SCORE 136519.887
AT ITER 2033 NEW BEST:: SOT 2908570 SOS 887874 HAS SOPS 887874 HAS SOUS 135619 HAS SOUPS 135619 WITH SCORE 136506.874
AT ITER 2035 NEW BEST:: SOT 2908697 SOS 888001 HAS SOPS 888001 HAS SOUS 135289 HAS SOUPS 135289 WITH SCORE 136177.001
AT ITER 2037 NEW BEST:: SOT 2908677 SOS 887981 HAS SOPS 887981 HAS SOUS 135249 HAS SOUPS 135249 WITH SCORE 136136.981
AT ITER 2043 NEW BEST:: SOT 2908687 SOS 888143 HAS SOPS 888143 HAS SOUS 135185 HAS SOUPS 135185 WITH SCORE 136073.143
AT ITER 2062 NEW BEST:: SOT 2908685 SOS 888139 HAS SOPS 888139 HAS SOUS 135181 HAS SOUPS 135181 WITH SCORE 136069.139
AT ITER 2064 NEW BEST:: SOT 2908773 SOS 888227 HAS SOPS 888227 HAS SOUS 134927 HAS SOUPS 134927 WITH SCORE 135815.227
AT ITER 2072 NEW BEST:: SOT 2908773 SOS 888139 HAS SOPS 888139 HAS SOUS 134883 HAS SOUPS 134883 WITH SCORE 135771.139
AT ITER 2083 NEW BEST:: SOT 2908734 SOS 888100 HAS SOPS 888100 HAS SOUS 134844 HAS SOUPS 134844 WITH SCORE 135732.1
AT ITER 2085 NEW BEST:: SOT 2908653 SOS 888019 HAS SOPS 888019 HAS SOUS 133096 HAS SOUPS 133096 WITH SCORE 133984.019
AT ITER 2086 NEW BEST:: SOT 2908577 SOS 887943 HAS SOPS 887943 HAS SOUS 132955 HAS SOUPS 132955 WITH SCORE 133842.943
AT ITER 2090 NEW BEST:: SOT 2908577 SOS 887943 HAS SOPS 887943 HAS SOUS 131673 HAS SOUPS 131673 WITH SCORE 132560.943
AT ITER 2099 NEW BEST:: SOT 2908533 SOS 887899 HAS SOPS 887899 HAS SOUS 131590 HAS SOUPS 131590 WITH SCORE 132477.899
AT ITER 2104 NEW BEST:: SOT 2908438 SOS 887804 HAS SOPS 887804 HAS SOUS 131451 HAS SOUPS 131451 WITH SCORE 132338.804
AT ITER 2110 NEW BEST:: SOT 2908601 SOS 887967 HAS SOPS 887967 HAS SOUS 130328 HAS SOUPS 130328 WITH SCORE 131215.967
AT ITER 2134 NEW BEST:: SOT 2908525 SOS 887891 HAS SOPS 887891 HAS SOUS 130176 HAS SOUPS 130176 WITH SCORE 131063.891
AT ITER 2139 NEW BEST:: SOT 2908485 SOS 887851 HAS SOPS 887851 HAS SOUS 130096 HAS SOUPS 130096 WITH SCORE 130983.851
AT ITER 2141 NEW BEST:: SOT 2908485 SOS 887818 HAS SOPS 887818 HAS SOUS 130096 HAS SOUPS 130096 WITH SCORE 130983.818
AT ITER 2176 NEW BEST:: SOT 2908484 SOS 887817 HAS SOPS 887817 HAS SOUS 130089 HAS SOUPS 130089 WITH SCORE 130976.817
AT ITER 2183 NEW BEST:: SOT 2908401 SOS 887734 HAS SOPS 887734 HAS SOUS 129887 HAS SOUPS 129887 WITH SCORE 130774.734
AT ITER 2186 NEW BEST:: SOT 2907761 SOS 887094 HAS SOPS 887094 HAS SOUS 129247 HAS SOUPS 129247 WITH SCORE 130134.094
AT ITER 2212 NEW BEST:: SOT 2907713 SOS 887046 HAS SOPS 887046 HAS SOUS 129111 HAS SOUPS 129111 WITH SCORE 129998.046
AT ITER 2236 NEW BEST:: SOT 2907587 SOS 886870 HAS SOPS 886870 HAS SOUS 128978 HAS SOUPS 128978 WITH SCORE 129864.87
AT ITER 2237 NEW BEST:: SOT 2907894 SOS 887177 HAS SOPS 887177 HAS SOUS 128709 HAS SOUPS 128709 WITH SCORE 129596.177
AT ITER 2241 NEW BEST:: SOT 2907894 SOS 887177 HAS SOPS 887177 HAS SOUS 128695 HAS SOUPS 128695 WITH SCORE 129582.177
AT ITER 2253 NEW BEST:: SOT 2907894 SOS 887262 HAS SOPS 887262 HAS SOUS 128664 HAS SOUPS 128664 WITH SCORE 129551.262
AT ITER 2263 NEW BEST:: SOT 2907507 SOS 886875 HAS SOPS 886875 HAS SOUS 128275 HAS SOUPS 128275 WITH SCORE 129161.875
AT ITER 2264 NEW BEST:: SOT 2907570 SOS 886938 HAS SOPS 886938 HAS SOUS 127823 HAS SOUPS 127823 WITH SCORE 128709.938
AT ITER 2268 NEW BEST:: SOT 2907528 SOS 886896 HAS SOPS 886896 HAS SOUS 127569 HAS SOUPS 127569 WITH SCORE 128455.896
AT ITER 2271 NEW BEST:: SOT 2907475 SOS 886843 HAS SOPS 886843 HAS SOUS 127143 HAS SOUPS 127143 WITH SCORE 128029.843
AT ITER 2276 NEW BEST:: SOT 2907743 SOS 887111 HAS SOPS 887111 HAS SOUS 127021 HAS SOUPS 127021 WITH SCORE 127908.111
AT ITER 2278 NEW BEST:: SOT 2907684 SOS 887052 HAS SOPS 887052 HAS SOUS 126960 HAS SOUPS 126960 WITH SCORE 127847.052
AT ITER 2279 NEW BEST:: SOT 2907683 SOS 887051 HAS SOPS 887051 HAS SOUS 126959 HAS SOUPS 126959 WITH SCORE 127846.051
AT ITER 2302 NEW BEST:: SOT 2907659 SOS 887027 HAS SOPS 887027 HAS SOUS 126935 HAS SOUPS 126935 WITH SCORE 127822.027
AT ITER 2304 NEW BEST:: SOT 2907560 SOS 886928 HAS SOPS 886928 HAS SOUS 126805 HAS SOUPS 126805 WITH SCORE 127691.928
AT ITER 2305 NEW BEST:: SOT 2907555 SOS 886923 HAS SOPS 886923 HAS SOUS 126750 HAS SOUPS 126750 WITH SCORE 127636.923
AT ITER 2320 NEW BEST:: SOT 2907469 SOS 886837 HAS SOPS 886837 HAS SOUS 126664 HAS SOUPS 126664 WITH SCORE 127550.837
AT ITER 2339 NEW BEST:: SOT 2907208 SOS 886576 HAS SOPS 886576 HAS SOUS 126028 HAS SOUPS 126028 WITH SCORE 126914.576
AT ITER 2340 NEW BEST:: SOT 2907206 SOS 886572 HAS SOPS 886572 HAS SOUS 126024 HAS SOUPS 126024 WITH SCORE 126910.572
AT ITER 2354 NEW BEST:: SOT 2906020 SOS 885386 HAS SOPS 885386 HAS SOUS 124838 HAS SOUPS 124838 WITH SCORE 125723.386
AT ITER 2356 NEW BEST:: SOT 2906015 SOS 885381 HAS SOPS 885381 HAS SOUS 124822 HAS SOUPS 124822 WITH SCORE 125707.381
AT ITER 2364 NEW BEST:: SOT 2905872 SOS 885238 HAS SOPS 885238 HAS SOUS 124501 HAS SOUPS 124501 WITH SCORE 125386.238
AT ITER 2371 NEW BEST:: SOT 2905894 SOS 885260 HAS SOPS 885260 HAS SOUS 124271 HAS SOUPS 124271 WITH SCORE 125156.26
AT ITER 2376 NEW BEST:: SOT 2905893 SOS 885259 HAS SOPS 885259 HAS SOUS 124233 HAS SOUPS 124233 WITH SCORE 125118.259
AT ITER 2392 NEW BEST:: SOT 2905818 SOS 885184 HAS SOPS 885184 HAS SOUS 124194 HAS SOUPS 124194 WITH SCORE 125079.184
AT ITER 2424 NEW BEST:: SOT 2905787 SOS 885153 HAS SOPS 885153 HAS SOUS 124123 HAS SOUPS 124123 WITH SCORE 125008.153
AT ITER 2433 NEW BEST:: SOT 2905607 SOS 884973 HAS SOPS 884973 HAS SOUS 123763 HAS SOUPS 123763 WITH SCORE 124647.973
AT ITER 2444 NEW BEST:: SOT 2905620 SOS 884986 HAS SOPS 884986 HAS SOUS 123336 HAS SOUPS 123336 WITH SCORE 124220.986
AT ITER 2466 NEW BEST:: SOT 2905583 SOS 884949 HAS SOPS 884949 HAS SOUS 123198 HAS SOUPS 123198 WITH SCORE 124082.949
AT ITER 2472 NEW BEST:: SOT 2905522 SOS 884888 HAS SOPS 884888 HAS SOUS 123052 HAS SOUPS 123052 WITH SCORE 123936.888
AT ITER 2504 NEW BEST:: SOT 2905394 SOS 884760 HAS SOPS 884760 HAS SOUS 122784 HAS SOUPS 122784 WITH SCORE 123668.76
AT ITER 2518 NEW BEST:: SOT 2905188 SOS 884554 HAS SOPS 884554 HAS SOUS 122422 HAS SOUPS 122422 WITH SCORE 123306.554
AT ITER 2541 NEW BEST:: SOT 2905184 SOS 884550 HAS SOPS 884550 HAS SOUS 122418 HAS SOUPS 122418 WITH SCORE 123302.55
AT ITER 2546 NEW BEST:: SOT 2904731 SOS 884097 HAS SOPS 884097 HAS SOUS 121824 HAS SOUPS 121824 WITH SCORE 122708.097
AT ITER 2547 NEW BEST:: SOT 2904699 SOS 884065 HAS SOPS 884065 HAS SOUS 121792 HAS SOUPS 121792 WITH SCORE 122676.065
AT ITER 2560 NEW BEST:: SOT 2904699 SOS 884065 HAS SOPS 884065 HAS SOUS 121790 HAS SOUPS 121790 WITH SCORE 122674.065
AT ITER 2573 NEW BEST:: SOT 2904699 SOS 884065 HAS SOPS 884065 HAS SOUS 121697 HAS SOUPS 121697 WITH SCORE 122581.065
AT ITER 2585 NEW BEST:: SOT 2904607 SOS 883973 HAS SOPS 883973 HAS SOUS 121285 HAS SOUPS 121285 WITH SCORE 122168.973
AT ITER 2595 NEW BEST:: SOT 2904608 SOS 883974 HAS SOPS 883974 HAS SOUS 121271 HAS SOUPS 121271 WITH SCORE 122154.974
AT ITER 2604 NEW BEST:: SOT 2904548 SOS 883914 HAS SOPS 883914 HAS SOUS 121143 HAS SOUPS 121143 WITH SCORE 122026.914
AT ITER 2608 NEW BEST:: SOT 2904670 SOS 884036 HAS SOPS 884036 HAS SOUS 121058 HAS SOUPS 121058 WITH SCORE 121942.036
AT ITER 2613 NEW BEST:: SOT 2904588 SOS 883954 HAS SOPS 883954 HAS SOUS 120843 HAS SOUPS 120843 WITH SCORE 121726.954
AT ITER 2623 NEW BEST:: SOT 2904514 SOS 883880 HAS SOPS 883880 HAS SOUS 120613 HAS SOUPS 120613 WITH SCORE 121496.88
AT ITER 2625 NEW BEST:: SOT 2904514 SOS 883880 HAS SOPS 883880 HAS SOUS 120594 HAS SOUPS 120594 WITH SCORE 121477.88
AT ITER 2628 NEW BEST:: SOT 2904507 SOS 883873 HAS SOPS 883873 HAS SOUS 120587 HAS SOUPS 120587 WITH SCORE 121470.873
AT ITER 2653 NEW BEST:: SOT 2904331 SOS 883697 HAS SOPS 883697 HAS SOUS 120411 HAS SOUPS 120411 WITH SCORE 121294.697
AT ITER 2660 NEW BEST:: SOT 2904324 SOS 883690 HAS SOPS 883690 HAS SOUS 120348 HAS SOUPS 120348 WITH SCORE 121231.69
AT ITER 2685 NEW BEST:: SOT 2904276 SOS 883642 HAS SOPS 883642 HAS SOUS 120238 HAS SOUPS 120238 WITH SCORE 121121.642
AT ITER 2697 NEW BEST:: SOT 2904164 SOS 883530 HAS SOPS 883530 HAS SOUS 120016 HAS SOUPS 120016 WITH SCORE 120899.53
AT ITER 2698 NEW BEST:: SOT 2904151 SOS 883517 HAS SOPS 883517 HAS SOUS 119936 HAS SOUPS 119936 WITH SCORE 120819.517
AT ITER 2703 NEW BEST:: SOT 2904753 SOS 884119 HAS SOPS 884119 HAS SOUS 119889 HAS SOUPS 119889 WITH SCORE 120773.119
AT ITER 2710 NEW BEST:: SOT 2904737 SOS 884103 HAS SOPS 884103 HAS SOUS 119873 HAS SOUPS 119873 WITH SCORE 120757.103
AT ITER 2731 NEW BEST:: SOT 2904737 SOS 884100 HAS SOPS 884100 HAS SOUS 119861 HAS SOUPS 119861 WITH SCORE 120745.1
AT ITER 2759 NEW BEST:: SOT 2904564 SOS 885456 HAS SOPS 884021 HAS SOUS 119858 HAS SOUPS 119712 WITH SCORE 120597.456
AT ITER 2766 NEW BEST:: SOT 2904564 SOS 885456 HAS SOPS 884021 HAS SOUS 119851 HAS SOUPS 119705 WITH SCORE 120590.456
AT ITER 2767 NEW BEST:: SOT 2904504 SOS 885396 HAS SOPS 883961 HAS SOUS 119633 HAS SOUPS 119487 WITH SCORE 120372.396
AT ITER 2770 NEW BEST:: SOT 2904495 SOS 885387 HAS SOPS 883952 HAS SOUS 119624 HAS SOUPS 119478 WITH SCORE 120363.387
AT ITER 2775 NEW BEST:: SOT 2904368 SOS 885260 HAS SOPS 883825 HAS SOUS 119497 HAS SOUPS 119351 WITH SCORE 120236.26
AT ITER 2793 NEW BEST:: SOT 2904353 SOS 885245 HAS SOPS 883810 HAS SOUS 119482 HAS SOUPS 119336 WITH SCORE 120221.245
AT ITER 2801 NEW BEST:: SOT 2904372 SOS 885264 HAS SOPS 883829 HAS SOUS 119463 HAS SOUPS 119317 WITH SCORE 120202.264
AT ITER 2819 NEW BEST:: SOT 2904201 SOS 885093 HAS SOPS 883658 HAS SOUS 119083 HAS SOUPS 118937 WITH SCORE 119822.093
AT ITER 2854 NEW BEST:: SOT 2904160 SOS 885052 HAS SOPS 883617 HAS SOUS 119039 HAS SOUPS 118893 WITH SCORE 119778.052
AT ITER 2864 NEW BEST:: SOT 2904021 SOS 884913 HAS SOPS 883478 HAS SOUS 118756 HAS SOUPS 118610 WITH SCORE 119494.913
AT ITER 2875 NEW BEST:: SOT 2904018 SOS 884974 HAS SOPS 883539 HAS SOUS 118750 HAS SOUPS 118604 WITH SCORE 119488.974
AT ITER 2882 NEW BEST:: SOT 2903971 SOS 884927 HAS SOPS 883492 HAS SOUS 118703 HAS SOUPS 118557 WITH SCORE 119441.927
AT ITER 2888 NEW BEST:: SOT 2903963 SOS 884919 HAS SOPS 883484 HAS SOUS 118695 HAS SOUPS 118549 WITH SCORE 119433.919
AT ITER 2904 NEW BEST:: SOT 2903963 SOS 884820 HAS SOPS 883385 HAS SOUS 118654 HAS SOUPS 118508 WITH SCORE 119392.82
AT ITER 2907 NEW BEST:: SOT 2903962 SOS 884819 HAS SOPS 883384 HAS SOUS 118652 HAS SOUPS 118506 WITH SCORE 119390.819
AT ITER 2913 NEW BEST:: SOT 2903944 SOS 884801 HAS SOPS 883366 HAS SOUS 118634 HAS SOUPS 118488 WITH SCORE 119372.801
AT ITER 2918 NEW BEST:: SOT 2903982 SOS 884839 HAS SOPS 883404 HAS SOUS 118462 HAS SOUPS 118316 WITH SCORE 119200.839
AT ITER 2921 NEW BEST:: SOT 2903946 SOS 884803 HAS SOPS 883368 HAS SOUS 118392 HAS SOUPS 118246 WITH SCORE 119130.803
AT ITER 2950 NEW BEST:: SOT 2903918 SOS 884775 HAS SOPS 883340 HAS SOUS 118336 HAS SOUPS 118190 WITH SCORE 119074.775
AT ITER 2958 NEW BEST:: SOT 2903918 SOS 885075 HAS SOPS 883340 HAS SOUS 118289 HAS SOUPS 118113 WITH SCORE 118998.075
AT ITER 2960 NEW BEST:: SOT 2903922 SOS 885159 HAS SOPS 883424 HAS SOUS 118284 HAS SOUPS 118108 WITH SCORE 118993.159
AT ITER 2961 NEW BEST:: SOT 2903923 SOS 885174 HAS SOPS 883439 HAS SOUS 118281 HAS SOUPS 118105 WITH SCORE 118990.174
AT ITER 2962 NEW BEST:: SOT 2903819 SOS 885070 HAS SOPS 883335 HAS SOUS 118144 HAS SOUPS 117968 WITH SCORE 118853.07
AT ITER 2966 NEW BEST:: SOT 2903791 SOS 885042 HAS SOPS 883307 HAS SOUS 118084 HAS SOUPS 117908 WITH SCORE 118793.042
AT ITER 2971 NEW BEST:: SOT 2903791 SOS 885042 HAS SOPS 883307 HAS SOUS 118063 HAS SOUPS 117887 WITH SCORE 118772.042
AT ITER 2978 NEW BEST:: SOT 2903760 SOS 885011 HAS SOPS 883276 HAS SOUS 117985 HAS SOUPS 117809 WITH SCORE 118694.011
AT ITER 3007 NEW BEST:: SOT 2904074 SOS 885325 HAS SOPS 883590 HAS SOUS 117722 HAS SOUPS 117546 WITH SCORE 118431.325
AT ITER 3008 NEW BEST:: SOT 2904052 SOS 885303 HAS SOPS 883568 HAS SOUS 117700 HAS SOUPS 117524 WITH SCORE 118409.303
AT ITER 3018 NEW BEST:: SOT 2904008 SOS 885290 HAS SOPS 883555 HAS SOUS 117674 HAS SOUPS 117498 WITH SCORE 118383.29
AT ITER 3030 NEW BEST:: SOT 2903912 SOS 885194 HAS SOPS 883459 HAS SOUS 117578 HAS SOUPS 117402 WITH SCORE 118287.194
AT ITER 3040 NEW BEST:: SOT 2903872 SOS 885190 HAS SOPS 883455 HAS SOUS 117570 HAS SOUPS 117394 WITH SCORE 118279.19
AT ITER 3041 NEW BEST:: SOT 2903870 SOS 885188 HAS SOPS 883453 HAS SOUS 117568 HAS SOUPS 117392 WITH SCORE 118277.188
AT ITER 3061 NEW BEST:: SOT 2903871 SOS 885189 HAS SOPS 883454 HAS SOUS 117491 HAS SOUPS 117315 WITH SCORE 118200.189
AT ITER 3074 NEW BEST:: SOT 2903871 SOS 885180 HAS SOPS 883445 HAS SOUS 117482 HAS SOUPS 117306 WITH SCORE 118191.18
AT ITER 3078 NEW BEST:: SOT 2903823 SOS 885132 HAS SOPS 883397 HAS SOUS 117384 HAS SOUPS 117208 WITH SCORE 118093.132
AT ITER 3107 NEW BEST:: SOT 2903577 SOS 884886 HAS SOPS 883151 HAS SOUS 116908 HAS SOUPS 116732 WITH SCORE 117616.886
AT ITER 3109 NEW BEST:: SOT 2903455 SOS 884764 HAS SOPS 883029 HAS SOUS 116770 HAS SOUPS 116594 WITH SCORE 117478.764
AT ITER 3127 NEW BEST:: SOT 2903353 SOS 884662 HAS SOPS 882927 HAS SOUS 116566 HAS SOUPS 116390 WITH SCORE 117274.662
AT ITER 3133 NEW BEST:: SOT 2903324 SOS 884633 HAS SOPS 882898 HAS SOUS 116537 HAS SOUPS 116361 WITH SCORE 117245.633
AT ITER 3147 NEW BEST:: SOT 2903320 SOS 884630 HAS SOPS 882895 HAS SOUS 116529 HAS SOUPS 116353 WITH SCORE 117237.63
AT ITER 3153 NEW BEST:: SOT 2903316 SOS 884626 HAS SOPS 882891 HAS SOUS 116529 HAS SOUPS 116353 WITH SCORE 117237.626
AT ITER 3162 NEW BEST:: SOT 2903411 SOS 884721 HAS SOPS 882986 HAS SOUS 115892 HAS SOUPS 115716 WITH SCORE 116600.721
AT ITER 3167 NEW BEST:: SOT 2903405 SOS 884715 HAS SOPS 882980 HAS SOUS 115863 HAS SOUPS 115687 WITH SCORE 116571.715
AT ITER 3172 NEW BEST:: SOT 2902787 SOS 884097 HAS SOPS 882362 HAS SOUS 115582 HAS SOUPS 115406 WITH SCORE 116290.097
AT ITER 3250 NEW BEST:: SOT 2902703 SOS 884013 HAS SOPS 882278 HAS SOUS 115410 HAS SOUPS 115234 WITH SCORE 116118.013
AT ITER 3252 NEW BEST:: SOT 2902708 SOS 884018 HAS SOPS 882283 HAS SOUS 115407 HAS SOUPS 115231 WITH SCORE 116115.018
AT ITER 3253 NEW BEST:: SOT 2902690 SOS 884000 HAS SOPS 882265 HAS SOUS 115389 HAS SOUPS 115213 WITH SCORE 116097.0
AT ITER 3260 NEW BEST:: SOT 2902672 SOS 883982 HAS SOPS 882247 HAS SOUS 114397 HAS SOUPS 114221 WITH SCORE 115104.982
AT ITER 3265 NEW BEST:: SOT 2902665 SOS 883818 HAS SOPS 882083 HAS SOUS 114350 HAS SOUPS 114174 WITH SCORE 115057.818
AT ITER 3269 NEW BEST:: SOT 2902665 SOS 883833 HAS SOPS 882098 HAS SOUS 114335 HAS SOUPS 114159 WITH SCORE 115042.833
AT ITER 3279 NEW BEST:: SOT 2902601 SOS 883769 HAS SOPS 882034 HAS SOUS 114280 HAS SOUPS 114104 WITH SCORE 114987.769
AT ITER 3281 NEW BEST:: SOT 2902495 SOS 883663 HAS SOPS 881928 HAS SOUS 114141 HAS SOUPS 113965 WITH SCORE 114848.663
AT ITER 3317 NEW BEST:: SOT 2902503 SOS 883671 HAS SOPS 881936 HAS SOUS 114029 HAS SOUPS 113853 WITH SCORE 114736.671
AT ITER 3350 NEW BEST:: SOT 2902410 SOS 883578 HAS SOPS 881843 HAS SOUS 114012 HAS SOUPS 113836 WITH SCORE 114719.578
AT ITER 3404 NEW BEST:: SOT 2902336 SOS 540997 HAS SOPS 539262 HAS SOUS 113563 HAS SOUPS 113387 WITH SCORE 113927.997
AT ITER 3442 NEW BEST:: SOT 2902369 SOS 540958 HAS SOPS 539223 HAS SOUS 113562 HAS SOUPS 113386 WITH SCORE 113926.958
AT ITER 3449 NEW BEST:: SOT 2902320 SOS 540909 HAS SOPS 539174 HAS SOUS 113332 HAS SOUPS 113156 WITH SCORE 113696.909
AT ITER 3456 NEW BEST:: SOT 2902394 SOS 540983 HAS SOPS 539248 HAS SOUS 113226 HAS SOUPS 113050 WITH SCORE 113590.983
AT ITER 3464 NEW BEST:: SOT 2902440 SOS 541029 HAS SOPS 539294 HAS SOUS 113112 HAS SOUPS 112936 WITH SCORE 113477.029
AT ITER 3470 NEW BEST:: SOT 2902405 SOS 540994 HAS SOPS 539259 HAS SOUS 113060 HAS SOUPS 112884 WITH SCORE 113424.994
AT ITER 3497 NEW BEST:: SOT 2902354 SOS 540943 HAS SOPS 539208 HAS SOUS 112652 HAS SOUPS 112476 WITH SCORE 113016.943
AT ITER 3511 NEW BEST:: SOT 2902530 SOS 541119 HAS SOPS 539384 HAS SOUS 112130 HAS SOUPS 111954 WITH SCORE 112495.119
AT ITER 3512 NEW BEST:: SOT 2902472 SOS 541061 HAS SOPS 539326 HAS SOUS 112014 HAS SOUPS 111838 WITH SCORE 112379.061
AT ITER 3515 NEW BEST:: SOT 2902458 SOS 541047 HAS SOPS 539312 HAS SOUS 111956 HAS SOUPS 111780 WITH SCORE 112321.047
AT ITER 3516 NEW BEST:: SOT 2902422 SOS 541011 HAS SOPS 539276 HAS SOUS 111920 HAS SOUPS 111744 WITH SCORE 112285.011
AT ITER 3527 NEW BEST:: SOT 2902472 SOS 541061 HAS SOPS 539326 HAS SOUS 111912 HAS SOUPS 111736 WITH SCORE 112277.061
AT ITER 3546 NEW BEST:: SOT 2902430 SOS 541019 HAS SOPS 539284 HAS SOUS 111828 HAS SOUPS 111652 WITH SCORE 112193.019
AT ITER 3555 NEW BEST:: SOT 2902409 SOS 540822 HAS SOPS 539087 HAS SOUS 111786 HAS SOUPS 111610 WITH SCORE 112150.822
AT ITER 3579 NEW BEST:: SOT 2902378 SOS 540791 HAS SOPS 539056 HAS SOUS 111761 HAS SOUPS 111585 WITH SCORE 112125.791
AT ITER 3583 NEW BEST:: SOT 2902378 SOS 540791 HAS SOPS 539056 HAS SOUS 111743 HAS SOUPS 111567 WITH SCORE 112107.791
AT ITER 3584 NEW BEST:: SOT 2902376 SOS 540789 HAS SOPS 539054 HAS SOUS 111741 HAS SOUPS 111565 WITH SCORE 112105.789
AT ITER 3592 NEW BEST:: SOT 2902353 SOS 540732 HAS SOPS 538997 HAS SOUS 111720 HAS SOUPS 111544 WITH SCORE 112084.732
AT ITER 3596 NEW BEST:: SOT 2902243 SOS 540622 HAS SOPS 538887 HAS SOUS 111545 HAS SOUPS 111369 WITH SCORE 111909.622
AT ITER 3616 NEW BEST:: SOT 2902071 SOS 540450 HAS SOPS 538715 HAS SOUS 111373 HAS SOUPS 111197 WITH SCORE 111737.45
AT ITER 3620 NEW BEST:: SOT 2902060 SOS 540439 HAS SOPS 538704 HAS SOUS 111305 HAS SOUPS 111129 WITH SCORE 111669.439
AT ITER 3626 NEW BEST:: SOT 2902007 SOS 540386 HAS SOPS 538651 HAS SOUS 111174 HAS SOUPS 110998 WITH SCORE 111538.386
AT ITER 3633 NEW BEST:: SOT 2902004 SOS 540383 HAS SOPS 538648 HAS SOUS 111171 HAS SOUPS 110995 WITH SCORE 111535.383
AT ITER 3648 NEW BEST:: SOT 2901923 SOS 540302 HAS SOPS 538567 HAS SOUS 111021 HAS SOUPS 110845 WITH SCORE 111385.302
AT ITER 3660 NEW BEST:: SOT 2901923 SOS 533750 HAS SOPS 532015 HAS SOUS 110994 HAS SOUPS 110818 WITH SCORE 111351.75
AT ITER 3666 NEW BEST:: SOT 2901838 SOS 533665 HAS SOPS 531930 HAS SOUS 110929 HAS SOUPS 110753 WITH SCORE 111286.665
AT ITER 3694 NEW BEST:: SOT 2901793 SOS 533620 HAS SOPS 531885 HAS SOUS 110836 HAS SOUPS 110660 WITH SCORE 111193.62
AT ITER 3714 NEW BEST:: SOT 2901583 SOS 533410 HAS SOPS 531675 HAS SOUS 110416 HAS SOUPS 110240 WITH SCORE 110773.41
AT ITER 3719 NEW BEST:: SOT 2901583 SOS 533410 HAS SOPS 531675 HAS SOUS 110407 HAS SOUPS 110231 WITH SCORE 110764.41
AT ITER 3735 NEW BEST:: SOT 2901491 SOS 533318 HAS SOPS 531583 HAS SOUS 110223 HAS SOUPS 110047 WITH SCORE 110580.318
AT ITER 3739 NEW BEST:: SOT 2901460 SOS 533287 HAS SOPS 531552 HAS SOUS 110132 HAS SOUPS 109956 WITH SCORE 110489.287
AT ITER 3747 NEW BEST:: SOT 2901454 SOS 533281 HAS SOPS 531546 HAS SOUS 110120 HAS SOUPS 109944 WITH SCORE 110477.281
AT ITER 3758 NEW BEST:: SOT 2901366 SOS 533193 HAS SOPS 531458 HAS SOUS 109933 HAS SOUPS 109757 WITH SCORE 110290.193
AT ITER 3765 NEW BEST:: SOT 2901365 SOS 533192 HAS SOPS 531457 HAS SOUS 109928 HAS SOUPS 109752 WITH SCORE 110285.192
AT ITER 3777 NEW BEST:: SOT 2901097 SOS 532924 HAS SOPS 531189 HAS SOUS 109912 HAS SOUPS 109736 WITH SCORE 110268.924
AT ITER 3792 NEW BEST:: SOT 2901082 SOS 532909 HAS SOPS 531174 HAS SOUS 109874 HAS SOUPS 109698 WITH SCORE 110230.909
AT ITER 3825 NEW BEST:: SOT 2900967 SOS 532794 HAS SOPS 531059 HAS SOUS 109637 HAS SOUPS 109461 WITH SCORE 109993.794
AT ITER 3828 NEW BEST:: SOT 2900957 SOS 532784 HAS SOPS 531049 HAS SOUS 109627 HAS SOUPS 109451 WITH SCORE 109983.784
AT ITER 3832 NEW BEST:: SOT 2901033 SOS 532867 HAS SOPS 531132 HAS SOUS 109576 HAS SOUPS 109400 WITH SCORE 109932.867
AT ITER 3856 NEW BEST:: SOT 2901058 SOS 532778 HAS SOPS 531043 HAS SOUS 109554 HAS SOUPS 109378 WITH SCORE 109910.778
AT ITER 3869 NEW BEST:: SOT 2901058 SOS 532778 HAS SOPS 531043 HAS SOUS 109542 HAS SOUPS 109366 WITH SCORE 109898.778
AT ITER 3874 NEW BEST:: SOT 2900655 SOS 537929 HAS SOPS 536194 HAS SOUS 109444 HAS SOUPS 109268 WITH SCORE 109805.929
AT ITER 3897 NEW BEST:: SOT 2901166 SOS 538440 HAS SOPS 536705 HAS SOUS 109390 HAS SOUPS 109214 WITH SCORE 109752.44
AT ITER 3909 NEW BEST:: SOT 2901134 SOS 538408 HAS SOPS 536673 HAS SOUS 109348 HAS SOUPS 109172 WITH SCORE 109710.408
AT ITER 3912 NEW BEST:: SOT 2901630 SOS 538904 HAS SOPS 537169 HAS SOUS 109055 HAS SOUPS 108879 WITH SCORE 109417.904
AT ITER 3930 NEW BEST:: SOT 2901559 SOS 538833 HAS SOPS 537098 HAS SOUS 108694 HAS SOUPS 108518 WITH SCORE 109056.833
AT ITER 3947 NEW BEST:: SOT 2901559 SOS 538809 HAS SOPS 537074 HAS SOUS 108681 HAS SOUPS 108505 WITH SCORE 109043.809
AT ITER 3960 NEW BEST:: SOT 2901559 SOS 538809 HAS SOPS 537074 HAS SOUS 108627 HAS SOUPS 108451 WITH SCORE 108989.809
AT ITER 3962 NEW BEST:: SOT 2901539 SOS 538766 HAS SOPS 537031 HAS SOUS 108586 HAS SOUPS 108410 WITH SCORE 108948.766
AT ITER 3985 NEW BEST:: SOT 2901519 SOS 538746 HAS SOPS 537011 HAS SOUS 108506 HAS SOUPS 108330 WITH SCORE 108868.746
AT ITER 3997 NEW BEST:: SOT 2901485 SOS 538712 HAS SOPS 536977 HAS SOUS 108438 HAS SOUPS 108262 WITH SCORE 108800.712
AT ITER 4001 NEW BEST:: SOT 2901158 SOS 538385 HAS SOPS 536650 HAS SOUS 108111 HAS SOUPS 107935 WITH SCORE 108473.385
AT ITER 4031 NEW BEST:: SOT 2901102 SOS 538329 HAS SOPS 536594 HAS SOUS 107999 HAS SOUPS 107823 WITH SCORE 108361.329
AT ITER 4050 NEW BEST:: SOT 2901078 SOS 532888 HAS SOPS 531153 HAS SOUS 107906 HAS SOUPS 107730 WITH SCORE 108262.888
AT ITER 4051 NEW BEST:: SOT 2901078 SOS 532876 HAS SOPS 531141 HAS SOUS 107906 HAS SOUPS 107730 WITH SCORE 108262.876
AT ITER 4058 NEW BEST:: SOT 2901054 SOS 532907 HAS SOPS 531172 HAS SOUS 107894 HAS SOUPS 107718 WITH SCORE 108250.907
AT ITER 4091 NEW BEST:: SOT 2901054 SOS 532907 HAS SOPS 531172 HAS SOUS 107883 HAS SOUPS 107707 WITH SCORE 108239.907
AT ITER 4094 NEW BEST:: SOT 2901054 SOS 532873 HAS SOPS 531138 HAS SOUS 107816 HAS SOUPS 107640 WITH SCORE 108172.873
AT ITER 4105 NEW BEST:: SOT 2901037 SOS 532856 HAS SOPS 531121 HAS SOUS 107782 HAS SOUPS 107606 WITH SCORE 108138.856
AT ITER 4110 NEW BEST:: SOT 2900863 SOS 532682 HAS SOPS 530947 HAS SOUS 107712 HAS SOUPS 107536 WITH SCORE 108068.682
AT ITER 4155 NEW BEST:: SOT 2900850 SOS 532669 HAS SOPS 530934 HAS SOUS 107657 HAS SOUPS 107481 WITH SCORE 108013.669
AT ITER 4171 NEW BEST:: SOT 2900790 SOS 532684 HAS SOPS 530949 HAS SOUS 107643 HAS SOUPS 107467 WITH SCORE 107999.684
AT ITER 4191 NEW BEST:: SOT 2900741 SOS 532635 HAS SOPS 530900 HAS SOUS 107454 HAS SOUPS 107278 WITH SCORE 107810.635
AT ITER 4224 NEW BEST:: SOT 2900139 SOS 532307 HAS SOPS 530417 HAS SOUS 107076 HAS SOUPS 106745 WITH SCORE 107277.307
AT ITER 4232 NEW BEST:: SOT 2900223 SOS 532391 HAS SOPS 530501 HAS SOUS 106816 HAS SOUPS 106485 WITH SCORE 107017.391
AT ITER 4239 NEW BEST:: SOT 2900208 SOS 532376 HAS SOPS 530486 HAS SOUS 106801 HAS SOUPS 106470 WITH SCORE 107002.376
AT ITER 4241 NEW BEST:: SOT 2900237 SOS 532378 HAS SOPS 530488 HAS SOUS 106745 HAS SOUPS 106414 WITH SCORE 106946.378
AT ITER 4259 NEW BEST:: SOT 2900223 SOS 532364 HAS SOPS 530474 HAS SOUS 106731 HAS SOUPS 106400 WITH SCORE 106932.364
AT ITER 4266 NEW BEST:: SOT 2900169 SOS 532250 HAS SOPS 530360 HAS SOUS 106425 HAS SOUPS 106094 WITH SCORE 106626.25
AT ITER 4273 NEW BEST:: SOT 2900122 SOS 532203 HAS SOPS 530313 HAS SOUS 106354 HAS SOUPS 106023 WITH SCORE 106555.203
AT ITER 4306 NEW BEST:: SOT 2900071 SOS 532152 HAS SOPS 530262 HAS SOUS 106303 HAS SOUPS 105972 WITH SCORE 106504.152
AT ITER 4310 NEW BEST:: SOT 2900026 SOS 532107 HAS SOPS 530217 HAS SOUS 106215 HAS SOUPS 105884 WITH SCORE 106416.107
AT ITER 4315 NEW BEST:: SOT 2899959 SOS 532040 HAS SOPS 530150 HAS SOUS 106013 HAS SOUPS 105682 WITH SCORE 106214.04
AT ITER 4330 NEW BEST:: SOT 2899946 SOS 532027 HAS SOPS 530137 HAS SOUS 105987 HAS SOUPS 105656 WITH SCORE 106188.027
AT ITER 4363 NEW BEST:: SOT 2899953 SOS 532034 HAS SOPS 530144 HAS SOUS 105968 HAS SOUPS 105637 WITH SCORE 106169.034
AT ITER 4369 NEW BEST:: SOT 2899942 SOS 532023 HAS SOPS 530133 HAS SOUS 105951 HAS SOUPS 105620 WITH SCORE 106152.023
AT ITER 4378 NEW BEST:: SOT 2899942 SOS 532023 HAS SOPS 530133 HAS SOUS 105945 HAS SOUPS 105614 WITH SCORE 106146.023
AT ITER 4382 NEW BEST:: SOT 2899922 SOS 532023 HAS SOPS 530133 HAS SOUS 105905 HAS SOUPS 105574 WITH SCORE 106106.023
AT ITER 4404 NEW BEST:: SOT 2899980 SOS 532081 HAS SOPS 530191 HAS SOUS 105613 HAS SOUPS 105282 WITH SCORE 105814.081
AT ITER 4405 NEW BEST:: SOT 2899966 SOS 532067 HAS SOPS 530177 HAS SOUS 105544 HAS SOUPS 105213 WITH SCORE 105745.067
AT ITER 4408 NEW BEST:: SOT 2899942 SOS 532031 HAS SOPS 530141 HAS SOUS 105496 HAS SOUPS 105165 WITH SCORE 105697.031
AT ITER 4416 NEW BEST:: SOT 2899928 SOS 532017 HAS SOPS 530127 HAS SOUS 105482 HAS SOUPS 105151 WITH SCORE 105683.017
AT ITER 4427 NEW BEST:: SOT 2899891 SOS 531980 HAS SOPS 530090 HAS SOUS 105071 HAS SOUPS 104740 WITH SCORE 105271.98
AT ITER 4429 NEW BEST:: SOT 2899897 SOS 531986 HAS SOPS 530096 HAS SOUS 105047 HAS SOUPS 104716 WITH SCORE 105247.986
AT ITER 4431 NEW BEST:: SOT 2899846 SOS 531935 HAS SOPS 530045 HAS SOUS 104943 HAS SOUPS 104612 WITH SCORE 105143.935
AT ITER 4437 NEW BEST:: SOT 2899781 SOS 531870 HAS SOPS 529980 HAS SOUS 104877 HAS SOUPS 104546 WITH SCORE 105077.87
AT ITER 4460 NEW BEST:: SOT 2898378 SOS 530691 HAS SOPS 528801 HAS SOUS 103458 HAS SOUPS 103127 WITH SCORE 103657.691
AT ITER 4467 NEW BEST:: SOT 2898350 SOS 530663 HAS SOPS 528773 HAS SOUS 103384 HAS SOUPS 103053 WITH SCORE 103583.663
AT ITER 4524 NEW BEST:: SOT 2898333 SOS 530646 HAS SOPS 528756 HAS SOUS 103360 HAS SOUPS 103029 WITH SCORE 103559.646
AT ITER 4530 NEW BEST:: SOT 2897599 SOS 531619 HAS SOPS 529729 HAS SOUS 102596 HAS SOUPS 102265 WITH SCORE 102796.619
AT ITER 4535 NEW BEST:: SOT 2897401 SOS 531149 HAS SOPS 529259 HAS SOUS 102126 HAS SOUPS 101795 WITH SCORE 102326.149
AT ITER 4549 NEW BEST:: SOT 2897001 SOS 530749 HAS SOPS 528859 HAS SOUS 101313 HAS SOUPS 100982 WITH SCORE 101512.749
AT ITER 4558 NEW BEST:: SOT 2896917 SOS 530665 HAS SOPS 528775 HAS SOUS 101145 HAS SOUPS 100814 WITH SCORE 101344.665
AT ITER 4573 NEW BEST:: SOT 2896852 SOS 530535 HAS SOPS 528645 HAS SOUS 101015 HAS SOUPS 100684 WITH SCORE 101214.535
AT ITER 4609 NEW BEST:: SOT 2896827 SOS 530323 HAS SOPS 528433 HAS SOUS 100893 HAS SOUPS 100562 WITH SCORE 101092.323
AT ITER 4610 NEW BEST:: SOT 2896910 SOS 530406 HAS SOPS 528516 HAS SOUS 100816 HAS SOUPS 100485 WITH SCORE 101015.406
AT ITER 4625 NEW BEST:: SOT 2896902 SOS 530398 HAS SOPS 528508 HAS SOUS 100808 HAS SOUPS 100477 WITH SCORE 101007.398
AT ITER 4626 NEW BEST:: SOT 2896819 SOS 530315 HAS SOPS 528425 HAS SOUS 100657 HAS SOUPS 100326 WITH SCORE 100856.315
AT ITER 4633 NEW BEST:: SOT 2896721 SOS 530233 HAS SOPS 528343 HAS SOUS 100608 HAS SOUPS 100277 WITH SCORE 100807.233
AT ITER 4654 NEW BEST:: SOT 2896660 SOS 530172 HAS SOPS 528282 HAS SOUS 100519 HAS SOUPS 100188 WITH SCORE 100718.172
AT ITER 4662 NEW BEST:: SOT 2896642 SOS 530154 HAS SOPS 528264 HAS SOUS 100501 HAS SOUPS 100170 WITH SCORE 100700.154
AT ITER 4681 NEW BEST:: SOT 2896577 SOS 530115 HAS SOPS 528225 HAS SOUS 100475 HAS SOUPS 100144 WITH SCORE 100674.115
AT ITER 4682 NEW BEST:: SOT 2896550 SOS 530088 HAS SOPS 528198 HAS SOUS 100421 HAS SOUPS 100090 WITH SCORE 100620.088
AT ITER 4685 NEW BEST:: SOT 2896472 SOS 530010 HAS SOPS 528120 HAS SOUS 100315 HAS SOUPS 99984 WITH SCORE 100514.01
AT ITER 4708 NEW BEST:: SOT 2896855 SOS 530393 HAS SOPS 528503 HAS SOUS 99904 HAS SOUPS 99573 WITH SCORE 100103.393
AT ITER 4721 NEW BEST:: SOT 2896788 SOS 530326 HAS SOPS 528436 HAS SOUS 99817 HAS SOUPS 99486 WITH SCORE 100016.326
AT ITER 4751 NEW BEST:: SOT 2896788 SOS 530326 HAS SOPS 528436 HAS SOUS 99796 HAS SOUPS 99465 WITH SCORE 99995.326
AT ITER 4768 NEW BEST:: SOT 2896770 SOS 530308 HAS SOPS 528418 HAS SOUS 99778 HAS SOUPS 99447 WITH SCORE 99977.308
AT ITER 4769 NEW BEST:: SOT 2896661 SOS 530199 HAS SOPS 528309 HAS SOUS 99765 HAS SOUPS 99434 WITH SCORE 99964.199
AT ITER 4788 NEW BEST:: SOT 2896569 SOS 530107 HAS SOPS 528217 HAS SOUS 99639 HAS SOUPS 99308 WITH SCORE 99838.107
AT ITER 4801 NEW BEST:: SOT 2896535 SOS 530107 HAS SOPS 528217 HAS SOUS 99571 HAS SOUPS 99240 WITH SCORE 99770.107
AT ITER 4834 NEW BEST:: SOT 2896531 SOS 530103 HAS SOPS 528213 HAS SOUS 99567 HAS SOUPS 99236 WITH SCORE 99766.103
AT ITER 4841 NEW BEST:: SOT 2896426 SOS 529998 HAS SOPS 528108 HAS SOUS 99432 HAS SOUPS 99101 WITH SCORE 99630.998
AT ITER 4842 NEW BEST:: SOT 2896383 SOS 529955 HAS SOPS 528065 HAS SOUS 99293 HAS SOUPS 98962 WITH SCORE 99491.955
AT ITER 4858 NEW BEST:: SOT 2896355 SOS 529927 HAS SOPS 528037 HAS SOUS 99265 HAS SOUPS 98934 WITH SCORE 99463.927
AT ITER 4895 NEW BEST:: SOT 2896389 SOS 529941 HAS SOPS 528051 HAS SOUS 99253 HAS SOUPS 98922 WITH SCORE 99451.941
AT ITER 4906 NEW BEST:: SOT 2896381 SOS 530019 HAS SOPS 528129 HAS SOUS 99240 HAS SOUPS 98909 WITH SCORE 99439.019
AT ITER 4910 NEW BEST:: SOT 2896365 SOS 530003 HAS SOPS 528113 HAS SOUS 99182 HAS SOUPS 98851 WITH SCORE 99381.003
AT ITER 4917 NEW BEST:: SOT 2896351 SOS 529959 HAS SOPS 528069 HAS SOUS 99168 HAS SOUPS 98837 WITH SCORE 99366.959
AT ITER 4975 NEW BEST:: SOT 2896299 SOS 529907 HAS SOPS 528017 HAS SOUS 99116 HAS SOUPS 98785 WITH SCORE 99314.907
AT ITER 5015 NEW BEST:: SOT 2896231 SOS 529899 HAS SOPS 528009 HAS SOUS 99011 HAS SOUPS 98680 WITH SCORE 99209.899
AT ITER 5019 NEW BEST:: SOT 2896164 SOS 529846 HAS SOPS 527956 HAS SOUS 98985 HAS SOUPS 98654 WITH SCORE 99183.846
AT ITER 5027 NEW BEST:: SOT 2896142 SOS 529824 HAS SOPS 527956 HAS SOUS 98963 HAS SOUPS 98654 WITH SCORE 99183.824
AT ITER 5032 NEW BEST:: SOT 2895888 SOS 529570 HAS SOPS 527702 HAS SOUS 98590 HAS SOUPS 98281 WITH SCORE 98810.57
AT ITER 5034 NEW BEST:: SOT 2895775 SOS 529479 HAS SOPS 527611 HAS SOUS 98499 HAS SOUPS 98190 WITH SCORE 98719.479
AT ITER 5042 NEW BEST:: SOT 2895747 SOS 529451 HAS SOPS 527583 HAS SOUS 98443 HAS SOUPS 98134 WITH SCORE 98663.451
AT ITER 5057 NEW BEST:: SOT 2895762 SOS 529466 HAS SOPS 527598 HAS SOUS 98338 HAS SOUPS 98029 WITH SCORE 98558.466
AT ITER 5058 NEW BEST:: SOT 2895762 SOS 529436 HAS SOPS 527568 HAS SOUS 98338 HAS SOUPS 98029 WITH SCORE 98558.436
AT ITER 5082 NEW BEST:: SOT 2895762 SOS 529436 HAS SOPS 527568 HAS SOUS 98320 HAS SOUPS 98011 WITH SCORE 98540.436
AT ITER 5105 NEW BEST:: SOT 2895751 SOS 529425 HAS SOPS 527557 HAS SOUS 98306 HAS SOUPS 97997 WITH SCORE 98526.425
AT ITER 5121 NEW BEST:: SOT 2895740 SOS 529414 HAS SOPS 527546 HAS SOUS 98295 HAS SOUPS 97986 WITH SCORE 98515.414
AT ITER 5136 NEW BEST:: SOT 2895722 SOS 529396 HAS SOPS 527528 HAS SOUS 98259 HAS SOUPS 97950 WITH SCORE 98479.396
AT ITER 5191 NEW BEST:: SOT 2895560 SOS 529054 HAS SOPS 527186 HAS SOUS 97519 HAS SOUPS 97210 WITH SCORE 97739.054
AT ITER 5207 NEW BEST:: SOT 2895560 SOS 529042 HAS SOPS 527174 HAS SOUS 97519 HAS SOUPS 97210 WITH SCORE 97739.042
AT ITER 5210 NEW BEST:: SOT 2895534 SOS 529016 HAS SOPS 527148 HAS SOUS 97467 HAS SOUPS 97158 WITH SCORE 97687.016
AT ITER 5239 NEW BEST:: SOT 2895527 SOS 529009 HAS SOPS 527141 HAS SOUS 97428 HAS SOUPS 97119 WITH SCORE 97648.009
AT ITER 5260 NEW BEST:: SOT 2895525 SOS 529007 HAS SOPS 527139 HAS SOUS 97424 HAS SOUPS 97115 WITH SCORE 97644.007
AT ITER 5262 NEW BEST:: SOT 2895395 SOS 528877 HAS SOPS 527009 HAS SOUS 97294 HAS SOUPS 96985 WITH SCORE 97513.877
AT ITER 5277 NEW BEST:: SOT 2895413 SOS 528788 HAS SOPS 526920 HAS SOUS 97287 HAS SOUPS 96978 WITH SCORE 97506.788
AT ITER 5289 NEW BEST:: SOT 2895364 SOS 528739 HAS SOPS 526871 HAS SOUS 97238 HAS SOUPS 96929 WITH SCORE 97457.739
AT ITER 5290 NEW BEST:: SOT 2895338 SOS 528539 HAS SOPS 526671 HAS SOUS 97153 HAS SOUPS 96844 WITH SCORE 97372.539
AT ITER 5307 NEW BEST:: SOT 2895305 SOS 528506 HAS SOPS 526638 HAS SOUS 97051 HAS SOUPS 96742 WITH SCORE 97270.506
AT ITER 5329 NEW BEST:: SOT 2895237 SOS 528438 HAS SOPS 526570 HAS SOUS 96902 HAS SOUPS 96593 WITH SCORE 97121.438
AT ITER 5340 NEW BEST:: SOT 2895181 SOS 528382 HAS SOPS 526514 HAS SOUS 96790 HAS SOUPS 96481 WITH SCORE 97009.382
AT ITER 5356 NEW BEST:: SOT 2895116 SOS 528317 HAS SOPS 526449 HAS SOUS 96645 HAS SOUPS 96336 WITH SCORE 96864.317
AT ITER 5366 NEW BEST:: SOT 2894952 SOS 528153 HAS SOPS 526285 HAS SOUS 96329 HAS SOUPS 96020 WITH SCORE 96548.153
AT ITER 5378 NEW BEST:: SOT 2894952 SOS 528153 HAS SOPS 526285 HAS SOUS 96294 HAS SOUPS 95985 WITH SCORE 96513.153
AT ITER 5391 NEW BEST:: SOT 2894928 SOS 528129 HAS SOPS 526261 HAS SOUS 96258 HAS SOUPS 95949 WITH SCORE 96477.129
AT ITER 5408 NEW BEST:: SOT 2894928 SOS 528129 HAS SOPS 526261 HAS SOUS 96242 HAS SOUPS 95933 WITH SCORE 96461.129
AT ITER 5414 NEW BEST:: SOT 2894985 SOS 528186 HAS SOPS 526318 HAS SOUS 95843 HAS SOUPS 95534 WITH SCORE 96062.186
AT ITER 5437 NEW BEST:: SOT 2894973 SOS 528174 HAS SOPS 526306 HAS SOUS 95825 HAS SOUPS 95516 WITH SCORE 96044.174
AT ITER 5499 NEW BEST:: SOT 2894919 SOS 528120 HAS SOPS 526252 HAS SOUS 95704 HAS SOUPS 95395 WITH SCORE 95923.12
AT ITER 5501 NEW BEST:: SOT 2894911 SOS 528112 HAS SOPS 526244 HAS SOUS 95690 HAS SOUPS 95381 WITH SCORE 95909.112
AT ITER 5519 NEW BEST:: SOT 2894920 SOS 528084 HAS SOPS 526216 HAS SOUS 95613 HAS SOUPS 95304 WITH SCORE 95832.084
AT ITER 5528 NEW BEST:: SOT 2894824 SOS 527892 HAS SOPS 526024 HAS SOUS 95421 HAS SOUPS 95112 WITH SCORE 95639.892
AT ITER 5540 NEW BEST:: SOT 2894823 SOS 527891 HAS SOPS 526023 HAS SOUS 95419 HAS SOUPS 95110 WITH SCORE 95637.891
AT ITER 5548 NEW BEST:: SOT 2894827 SOS 527895 HAS SOPS 526027 HAS SOUS 95417 HAS SOUPS 95108 WITH SCORE 95635.895
AT ITER 5553 NEW BEST:: SOT 2894782 SOS 527677 HAS SOPS 525809 HAS SOUS 95284 HAS SOUPS 94975 WITH SCORE 95502.677
AT ITER 5568 NEW BEST:: SOT 2894760 SOS 527568 HAS SOPS 525700 HAS SOUS 95240 HAS SOUPS 94931 WITH SCORE 95458.568
AT ITER 5573 NEW BEST:: SOT 2894742 SOS 527550 HAS SOPS 525682 HAS SOUS 95212 HAS SOUPS 94903 WITH SCORE 95430.55
AT ITER 5577 NEW BEST:: SOT 2894724 SOS 527532 HAS SOPS 525664 HAS SOUS 95171 HAS SOUPS 94862 WITH SCORE 95389.532
AT ITER 5595 NEW BEST:: SOT 2894707 SOS 527504 HAS SOPS 525636 HAS SOUS 94998 HAS SOUPS 94689 WITH SCORE 95216.504
AT ITER 5599 NEW BEST:: SOT 2894677 SOS 527474 HAS SOPS 525606 HAS SOUS 94953 HAS SOUPS 94644 WITH SCORE 95171.474
AT ITER 5600 NEW BEST:: SOT 2894677 SOS 527467 HAS SOPS 525599 HAS SOUS 94953 HAS SOUPS 94644 WITH SCORE 95171.467
AT ITER 5665 NEW BEST:: SOT 2894672 SOS 527462 HAS SOPS 525594 HAS SOUS 94943 HAS SOUPS 94634 WITH SCORE 95161.462
AT ITER 5720 NEW BEST:: SOT 2894540 SOS 527330 HAS SOPS 525462 HAS SOUS 94679 HAS SOUPS 94370 WITH SCORE 94897.33
AT ITER 5734 NEW BEST:: SOT 2894589 SOS 527379 HAS SOPS 525511 HAS SOUS 94407 HAS SOUPS 94098 WITH SCORE 94625.379
AT ITER 5753 NEW BEST:: SOT 2894574 SOS 527364 HAS SOPS 525496 HAS SOUS 94394 HAS SOUPS 94085 WITH SCORE 94612.364
AT ITER 5756 NEW BEST:: SOT 2894548 SOS 527338 HAS SOPS 525470 HAS SOUS 94334 HAS SOUPS 94025 WITH SCORE 94552.338
AT ITER 5758 NEW BEST:: SOT 2894539 SOS 527329 HAS SOPS 525461 HAS SOUS 94316 HAS SOUPS 94007 WITH SCORE 94534.329
AT ITER 5779 NEW BEST:: SOT 2894502 SOS 527292 HAS SOPS 525424 HAS SOUS 94269 HAS SOUPS 93960 WITH SCORE 94487.292
AT ITER 5819 NEW BEST:: SOT 2894497 SOS 527287 HAS SOPS 525419 HAS SOUS 94242 HAS SOUPS 93933 WITH SCORE 94460.287
AT ITER 5842 NEW BEST:: SOT 2894488 SOS 527278 HAS SOPS 525410 HAS SOUS 94224 HAS SOUPS 93915 WITH SCORE 94442.278
AT ITER 5858 NEW BEST:: SOT 2894488 SOS 527200 HAS SOPS 525332 HAS SOUS 94224 HAS SOUPS 93915 WITH SCORE 94442.2
AT ITER 5871 NEW BEST:: SOT 2894503 SOS 527230 HAS SOPS 525362 HAS SOUS 94209 HAS SOUPS 93900 WITH SCORE 94427.23
AT ITER 5872 NEW BEST:: SOT 2894464 SOS 527191 HAS SOPS 525323 HAS SOUS 94150 HAS SOUPS 93841 WITH SCORE 94368.191
AT ITER 5873 NEW BEST:: SOT 2894402 SOS 527129 HAS SOPS 525261 HAS SOUS 94057 HAS SOUPS 93748 WITH SCORE 94275.129
AT ITER 5905 NEW BEST:: SOT 2894444 SOS 527171 HAS SOPS 525303 HAS SOUS 94055 HAS SOUPS 93746 WITH SCORE 94273.171
AT ITER 5913 NEW BEST:: SOT 2894414 SOS 527134 HAS SOPS 525266 HAS SOUS 93966 HAS SOUPS 93657 WITH SCORE 94184.134
AT ITER 5919 NEW BEST:: SOT 2894368 SOS 527148 HAS SOPS 525280 HAS SOUS 93922 HAS SOUPS 93613 WITH SCORE 94140.148
AT ITER 5928 NEW BEST:: SOT 2894311 SOS 527091 HAS SOPS 525223 HAS SOUS 93854 HAS SOUPS 93545 WITH SCORE 94072.091
AT ITER 5935 NEW BEST:: SOT 2894280 SOS 527060 HAS SOPS 525192 HAS SOUS 93748 HAS SOUPS 93439 WITH SCORE 93966.06
AT ITER 5991 NEW BEST:: SOT 2894236 SOS 526972 HAS SOPS 525104 HAS SOUS 93660 HAS SOUPS 93351 WITH SCORE 93877.972
AT ITER 6045 NEW BEST:: SOT 2894094 SOS 526830 HAS SOPS 524962 HAS SOUS 93378 HAS SOUPS 93069 WITH SCORE 93595.83
AT ITER 6070 NEW BEST:: SOT 2894066 SOS 526802 HAS SOPS 524934 HAS SOUS 93350 HAS SOUPS 93041 WITH SCORE 93567.802
AT ITER 6076 NEW BEST:: SOT 2894088 SOS 526824 HAS SOPS 524956 HAS SOUS 93257 HAS SOUPS 92948 WITH SCORE 93474.824
AT ITER 6103 NEW BEST:: SOT 2894089 SOS 526825 HAS SOPS 524957 HAS SOUS 93252 HAS SOUPS 92943 WITH SCORE 93469.825
AT ITER 6108 NEW BEST:: SOT 2893867 SOS 530140 HAS SOPS 528272 HAS SOUS 93008 HAS SOUPS 92699 WITH SCORE 93229.14
AT ITER 6130 NEW BEST:: SOT 2893848 SOS 530121 HAS SOPS 528253 HAS SOUS 92646 HAS SOUPS 92337 WITH SCORE 92867.121
AT ITER 6138 NEW BEST:: SOT 2893859 SOS 530132 HAS SOPS 528264 HAS SOUS 92542 HAS SOUPS 92233 WITH SCORE 92763.132
AT ITER 6143 NEW BEST:: SOT 2893833 SOS 530106 HAS SOPS 528238 HAS SOUS 92486 HAS SOUPS 92177 WITH SCORE 92707.106
AT ITER 6148 NEW BEST:: SOT 2893862 SOS 530134 HAS SOPS 528266 HAS SOUS 92456 HAS SOUPS 92147 WITH SCORE 92677.134
AT ITER 6196 NEW BEST:: SOT 2893844 SOS 530145 HAS SOPS 528277 HAS SOUS 92449 HAS SOUPS 92140 WITH SCORE 92670.145
AT ITER 6246 NEW BEST:: SOT 2893850 SOS 530151 HAS SOPS 528283 HAS SOUS 91871 HAS SOUPS 91562 WITH SCORE 92092.151
AT ITER 6264 NEW BEST:: SOT 2893705 SOS 530006 HAS SOPS 528138 HAS SOUS 91612 HAS SOUPS 91303 WITH SCORE 91833.006
AT ITER 6266 NEW BEST:: SOT 2893670 SOS 529971 HAS SOPS 528103 HAS SOUS 91575 HAS SOUPS 91266 WITH SCORE 91795.971
AT ITER 6315 NEW BEST:: SOT 2893665 SOS 529966 HAS SOPS 528098 HAS SOUS 91570 HAS SOUPS 91261 WITH SCORE 91790.966
AT ITER 6325 NEW BEST:: SOT 2893623 SOS 529938 HAS SOPS 528070 HAS SOUS 91300 HAS SOUPS 90991 WITH SCORE 91520.938
AT ITER 6370 NEW BEST:: SOT 2893611 SOS 529926 HAS SOPS 528058 HAS SOUS 91206 HAS SOUPS 90897 WITH SCORE 91426.926
AT ITER 6402 NEW BEST:: SOT 2893488 SOS 529803 HAS SOPS 527935 HAS SOUS 91014 HAS SOUPS 90705 WITH SCORE 91234.803
AT ITER 6429 NEW BEST:: SOT 2893340 SOS 529655 HAS SOPS 527787 HAS SOUS 91014 HAS SOUPS 90705 WITH SCORE 91234.655
AT ITER 6440 NEW BEST:: SOT 2893340 SOS 529655 HAS SOPS 527787 HAS SOUS 91011 HAS SOUPS 90702 WITH SCORE 91231.655
AT ITER 6441 NEW BEST:: SOT 2893312 SOS 529633 HAS SOPS 527765 HAS SOUS 90989 HAS SOUPS 90680 WITH SCORE 91209.633
AT ITER 6460 NEW BEST:: SOT 2893279 SOS 529237 HAS SOPS 527699 HAS SOUS 90923 HAS SOUPS 90647 WITH SCORE 91176.237
AT ITER 6476 NEW BEST:: SOT 2893271 SOS 529229 HAS SOPS 527691 HAS SOUS 90894 HAS SOUPS 90618 WITH SCORE 91147.229
AT ITER 6477 NEW BEST:: SOT 2893282 SOS 529240 HAS SOPS 527702 HAS SOUS 90882 HAS SOUPS 90606 WITH SCORE 91135.24
AT ITER 6492 NEW BEST:: SOT 2893198 SOS 529156 HAS SOPS 527618 HAS SOUS 90730 HAS SOUPS 90454 WITH SCORE 90983.156
AT ITER 6506 NEW BEST:: SOT 2893198 SOS 529144 HAS SOPS 527606 HAS SOUS 90718 HAS SOUPS 90442 WITH SCORE 90971.144
AT ITER 6527 NEW BEST:: SOT 2893164 SOS 529110 HAS SOPS 527572 HAS SOUS 90636 HAS SOUPS 90360 WITH SCORE 90889.11
AT ITER 6534 NEW BEST:: SOT 2893164 SOS 529106 HAS SOPS 527568 HAS SOUS 90628 HAS SOUPS 90352 WITH SCORE 90881.106
AT ITER 6543 NEW BEST:: SOT 2893388 SOS 529330 HAS SOPS 527792 HAS SOUS 90616 HAS SOUPS 90340 WITH SCORE 90869.33
AT ITER 6556 NEW BEST:: SOT 2893384 SOS 529322 HAS SOPS 527784 HAS SOUS 90608 HAS SOUPS 90332 WITH SCORE 90861.322
AT ITER 6561 NEW BEST:: SOT 2893366 SOS 529304 HAS SOPS 527766 HAS SOUS 90572 HAS SOUPS 90296 WITH SCORE 90825.304
AT ITER 6577 NEW BEST:: SOT 2893309 SOS 529247 HAS SOPS 527709 HAS SOUS 90515 HAS SOUPS 90239 WITH SCORE 90768.247
AT ITER 6589 NEW BEST:: SOT 2892871 SOS 528857 HAS SOPS 527319 HAS SOUS 90125 HAS SOUPS 89849 WITH SCORE 90377.857
AT ITER 6607 NEW BEST:: SOT 2892822 SOS 528652 HAS SOPS 527114 HAS SOUS 90012 HAS SOUPS 89736 WITH SCORE 90264.652
AT ITER 6610 NEW BEST:: SOT 2892807 SOS 528637 HAS SOPS 527099 HAS SOUS 89955 HAS SOUPS 89679 WITH SCORE 90207.637
AT ITER 6617 NEW BEST:: SOT 2892785 SOS 528615 HAS SOPS 527077 HAS SOUS 89888 HAS SOUPS 89612 WITH SCORE 90140.615
AT ITER 6635 NEW BEST:: SOT 2892778 SOS 528608 HAS SOPS 527070 HAS SOUS 89874 HAS SOUPS 89598 WITH SCORE 90126.608
AT ITER 6638 NEW BEST:: SOT 2892772 SOS 528602 HAS SOPS 527064 HAS SOUS 89866 HAS SOUPS 89590 WITH SCORE 90118.602
AT ITER 6639 NEW BEST:: SOT 2892641 SOS 528539 HAS SOPS 527001 HAS SOUS 89802 HAS SOUPS 89526 WITH SCORE 90054.539
AT ITER 6698 NEW BEST:: SOT 2892628 SOS 528526 HAS SOPS 526988 HAS SOUS 89769 HAS SOUPS 89493 WITH SCORE 90021.526
AT ITER 6699 NEW BEST:: SOT 2892620 SOS 528494 HAS SOPS 526956 HAS SOUS 89753 HAS SOUPS 89477 WITH SCORE 90005.494
AT ITER 6700 NEW BEST:: SOT 2892575 SOS 528329 HAS SOPS 526791 HAS SOUS 89615 HAS SOUPS 89339 WITH SCORE 89867.329
AT ITER 6701 NEW BEST:: SOT 2892572 SOS 528320 HAS SOPS 526782 HAS SOUS 89606 HAS SOUPS 89330 WITH SCORE 89858.32
AT ITER 6702 NEW BEST:: SOT 2892556 SOS 528288 HAS SOPS 526750 HAS SOUS 89579 HAS SOUPS 89303 WITH SCORE 89831.288
AT ITER 6742 NEW BEST:: SOT 2892535 SOS 528267 HAS SOPS 526729 HAS SOUS 89384 HAS SOUPS 89108 WITH SCORE 89636.267
AT ITER 6766 NEW BEST:: SOT 2892533 SOS 528265 HAS SOPS 526727 HAS SOUS 89376 HAS SOUPS 89100 WITH SCORE 89628.265
AT ITER 6801 NEW BEST:: SOT 2892533 SOS 528990 HAS SOPS 527453 HAS SOUS 89364 HAS SOUPS 89088 WITH SCORE 89616.99
AT ITER 6823 NEW BEST:: SOT 2892447 SOS 528904 HAS SOPS 527367 HAS SOUS 89248 HAS SOUPS 88972 WITH SCORE 89500.904
AT ITER 6851 NEW BEST:: SOT 2892254 SOS 528711 HAS SOPS 527174 HAS SOUS 89135 HAS SOUPS 88859 WITH SCORE 89387.711
AT ITER 6863 NEW BEST:: SOT 2892236 SOS 528693 HAS SOPS 527156 HAS SOUS 89090 HAS SOUPS 88814 WITH SCORE 89342.693
AT ITER 6884 NEW BEST:: SOT 2892118 SOS 528575 HAS SOPS 527038 HAS SOUS 88830 HAS SOUPS 88554 WITH SCORE 89082.575
AT ITER 6888 NEW BEST:: SOT 2892101 SOS 528575 HAS SOPS 527038 HAS SOUS 88796 HAS SOUPS 88520 WITH SCORE 89048.575
AT ITER 6952 NEW BEST:: SOT 2892033 SOS 528507 HAS SOPS 526970 HAS SOUS 88660 HAS SOUPS 88384 WITH SCORE 88912.507
AT ITER 6978 NEW BEST:: SOT 2892023 SOS 528497 HAS SOPS 526960 HAS SOUS 88640 HAS SOUPS 88364 WITH SCORE 88892.497
AT ITER 7018 NEW BEST:: SOT 2891983 SOS 528460 HAS SOPS 526923 HAS SOUS 88546 HAS SOUPS 88270 WITH SCORE 88798.46
AT ITER 7021 NEW BEST:: SOT 2891919 SOS 528396 HAS SOPS 526859 HAS SOUS 88383 HAS SOUPS 88107 WITH SCORE 88635.396
AT ITER 7063 NEW BEST:: SOT 2891902 SOS 528379 HAS SOPS 526842 HAS SOUS 88366 HAS SOUPS 88090 WITH SCORE 88618.379
AT ITER 7072 NEW BEST:: SOT 2891830 SOS 528302 HAS SOPS 526765 HAS SOUS 88236 HAS SOUPS 87960 WITH SCORE 88488.302
AT ITER 7074 NEW BEST:: SOT 2891749 SOS 528221 HAS SOPS 526684 HAS SOUS 88144 HAS SOUPS 87868 WITH SCORE 88396.221
AT ITER 7102 NEW BEST:: SOT 2891699 SOS 528086 HAS SOPS 526549 HAS SOUS 88026 HAS SOUPS 87750 WITH SCORE 88278.086
AT ITER 7126 NEW BEST:: SOT 2891720 SOS 528107 HAS SOPS 526570 HAS SOUS 88005 HAS SOUPS 87729 WITH SCORE 88257.107
AT ITER 7142 NEW BEST:: SOT 2891678 SOS 528065 HAS SOPS 526528 HAS SOUS 87963 HAS SOUPS 87687 WITH SCORE 88215.065
AT ITER 7148 NEW BEST:: SOT 2891677 SOS 528064 HAS SOPS 526527 HAS SOUS 87962 HAS SOUPS 87686 WITH SCORE 88214.064
AT ITER 7160 NEW BEST:: SOT 2891657 SOS 528024 HAS SOPS 526487 HAS SOUS 87924 HAS SOUPS 87648 WITH SCORE 88176.024
AT ITER 7213 NEW BEST:: SOT 2891644 SOS 528011 HAS SOPS 526474 HAS SOUS 87917 HAS SOUPS 87641 WITH SCORE 88169.011
AT ITER 7219 NEW BEST:: SOT 2891622 SOS 527989 HAS SOPS 526452 HAS SOUS 87889 HAS SOUPS 87613 WITH SCORE 88140.989
AT ITER 7256 NEW BEST:: SOT 2891573 SOS 527940 HAS SOPS 526403 HAS SOUS 87829 HAS SOUPS 87553 WITH SCORE 88080.94
AT ITER 7266 NEW BEST:: SOT 2891517 SOS 527884 HAS SOPS 526347 HAS SOUS 87715 HAS SOUPS 87439 WITH SCORE 87966.884
AT ITER 7268 NEW BEST:: SOT 2891479 SOS 527846 HAS SOPS 526309 HAS SOUS 87594 HAS SOUPS 87318 WITH SCORE 87845.846
AT ITER 7271 NEW BEST:: SOT 2891485 SOS 527868 HAS SOPS 526331 HAS SOUS 87591 HAS SOUPS 87315 WITH SCORE 87842.868
AT ITER 7280 NEW BEST:: SOT 2891473 SOS 527856 HAS SOPS 526319 HAS SOUS 87483 HAS SOUPS 87207 WITH SCORE 87734.856
AT ITER 7283 NEW BEST:: SOT 2891302 SOS 527734 HAS SOPS 526197 HAS SOUS 87359 HAS SOUPS 87083 WITH SCORE 87610.734
AT ITER 7307 NEW BEST:: SOT 2891232 SOS 527664 HAS SOPS 526127 HAS SOUS 87219 HAS SOUPS 86943 WITH SCORE 87470.664
AT ITER 7320 NEW BEST:: SOT 2891146 SOS 527578 HAS SOPS 526041 HAS SOUS 87088 HAS SOUPS 86812 WITH SCORE 87339.578
AT ITER 7323 NEW BEST:: SOT 2891116 SOS 527548 HAS SOPS 526011 HAS SOUS 87018 HAS SOUPS 86742 WITH SCORE 87269.548
AT ITER 7329 NEW BEST:: SOT 2891100 SOS 527546 HAS SOPS 526009 HAS SOUS 86988 HAS SOUPS 86712 WITH SCORE 87239.546
AT ITER 7354 NEW BEST:: SOT 2891101 SOS 527496 HAS SOPS 525960 HAS SOUS 86988 HAS SOUPS 86712 WITH SCORE 87239.496
AT ITER 7368 NEW BEST:: SOT 2891075 SOS 527470 HAS SOPS 525934 HAS SOUS 86949 HAS SOUPS 86673 WITH SCORE 87200.47
AT ITER 7375 NEW BEST:: SOT 2891031 SOS 527426 HAS SOPS 525890 HAS SOUS 86877 HAS SOUPS 86601 WITH SCORE 87128.426
AT ITER 7390 NEW BEST:: SOT 2890966 SOS 527361 HAS SOPS 525825 HAS SOUS 86837 HAS SOUPS 86561 WITH SCORE 87088.361
AT ITER 7396 NEW BEST:: SOT 2890937 SOS 527332 HAS SOPS 525796 HAS SOUS 86795 HAS SOUPS 86519 WITH SCORE 87046.332
AT ITER 7419 NEW BEST:: SOT 2890895 SOS 527290 HAS SOPS 525754 HAS SOUS 86741 HAS SOUPS 86465 WITH SCORE 86992.29
AT ITER 7425 NEW BEST:: SOT 2890845 SOS 526931 HAS SOPS 525395 HAS SOUS 86679 HAS SOUPS 86403 WITH SCORE 86929.931
AT ITER 7427 NEW BEST:: SOT 2890837 SOS 526915 HAS SOPS 525379 HAS SOUS 86663 HAS SOUPS 86387 WITH SCORE 86913.915
AT ITER 7451 NEW BEST:: SOT 2890811 SOS 526919 HAS SOPS 525383 HAS SOUS 86636 HAS SOUPS 86360 WITH SCORE 86886.919
AT ITER 7455 NEW BEST:: SOT 2890805 SOS 526913 HAS SOPS 525377 HAS SOUS 86625 HAS SOUPS 86349 WITH SCORE 86875.913
AT ITER 7471 NEW BEST:: SOT 2890797 SOS 526905 HAS SOPS 525369 HAS SOUS 86617 HAS SOUPS 86341 WITH SCORE 86867.905
AT ITER 7507 NEW BEST:: SOT 2890797 SOS 526899 HAS SOPS 525363 HAS SOUS 86617 HAS SOUPS 86341 WITH SCORE 86867.899
AT ITER 7513 NEW BEST:: SOT 2890706 SOS 526811 HAS SOPS 525275 HAS SOUS 86569 HAS SOUPS 86293 WITH SCORE 86819.811
AT ITER 7520 NEW BEST:: SOT 2890499 SOS 526751 HAS SOPS 525215 HAS SOUS 86155 HAS SOUPS 85879 WITH SCORE 86405.751
AT ITER 7537 NEW BEST:: SOT 2890436 SOS 526654 HAS SOPS 525118 HAS SOUS 86146 HAS SOUPS 85870 WITH SCORE 86396.654
AT ITER 7540 NEW BEST:: SOT 2890288 SOS 526571 HAS SOPS 525035 HAS SOUS 85940 HAS SOUPS 85664 WITH SCORE 86190.571
AT ITER 7555 NEW BEST:: SOT 2890246 SOS 526640 HAS SOPS 525104 HAS SOUS 85864 HAS SOUPS 85588 WITH SCORE 86114.64
AT ITER 7559 NEW BEST:: SOT 2890282 SOS 526546 HAS SOPS 525010 HAS SOUS 85856 HAS SOUPS 85580 WITH SCORE 86106.546
AT ITER 7569 NEW BEST:: SOT 2890236 SOS 526500 HAS SOPS 524964 HAS SOUS 85764 HAS SOUPS 85488 WITH SCORE 86014.5
AT ITER 7571 NEW BEST:: SOT 2890226 SOS 526490 HAS SOPS 524954 HAS SOUS 85754 HAS SOUPS 85478 WITH SCORE 86004.49
AT ITER 7581 NEW BEST:: SOT 2890307 SOS 526571 HAS SOPS 525035 HAS SOUS 85692 HAS SOUPS 85416 WITH SCORE 85942.571
AT ITER 7586 NEW BEST:: SOT 2890234 SOS 526498 HAS SOPS 524962 HAS SOUS 85619 HAS SOUPS 85343 WITH SCORE 85869.498
AT ITER 7590 NEW BEST:: SOT 2890171 SOS 526478 HAS SOPS 524942 HAS SOUS 85579 HAS SOUPS 85303 WITH SCORE 85829.478
AT ITER 7649 NEW BEST:: SOT 2890195 SOS 526502 HAS SOPS 524966 HAS SOUS 85467 HAS SOUPS 85191 WITH SCORE 85717.502
AT ITER 7657 NEW BEST:: SOT 2890182 SOS 526486 HAS SOPS 524950 HAS SOUS 85318 HAS SOUPS 85042 WITH SCORE 85568.486
AT ITER 7689 NEW BEST:: SOT 2890182 SOS 530562 HAS SOPS 529142 HAS SOUS 85296 HAS SOUPS 85020 WITH SCORE 85550.562
AT ITER 7694 NEW BEST:: SOT 2890092 SOS 530425 HAS SOPS 529005 HAS SOUS 85116 HAS SOUPS 84840 WITH SCORE 85370.425
AT ITER 7735 NEW BEST:: SOT 2890047 SOS 530380 HAS SOPS 528960 HAS SOUS 85071 HAS SOUPS 84795 WITH SCORE 85325.38
AT ITER 7747 NEW BEST:: SOT 2890029 SOS 530362 HAS SOPS 528942 HAS SOUS 85025 HAS SOUPS 84749 WITH SCORE 85279.362
AT ITER 7770 NEW BEST:: SOT 2890023 SOS 530356 HAS SOPS 528936 HAS SOUS 85024 HAS SOUPS 84748 WITH SCORE 85278.356
AT ITER 7776 NEW BEST:: SOT 2890022 SOS 530354 HAS SOPS 528934 HAS SOUS 85022 HAS SOUPS 84746 WITH SCORE 85276.354
AT ITER 7800 NEW BEST:: SOT 2889992 SOS 530277 HAS SOPS 528857 HAS SOUS 84951 HAS SOUPS 84675 WITH SCORE 85205.277
AT ITER 7802 NEW BEST:: SOT 2889973 SOS 530258 HAS SOPS 528838 HAS SOUS 84897 HAS SOUPS 84621 WITH SCORE 85151.258
AT ITER 7804 NEW BEST:: SOT 2889965 SOS 530250 HAS SOPS 528830 HAS SOUS 84881 HAS SOUPS 84605 WITH SCORE 85135.25
AT ITER 7811 NEW BEST:: SOT 2889953 SOS 530238 HAS SOPS 528818 HAS SOUS 84869 HAS SOUPS 84593 WITH SCORE 85123.238
AT ITER 7855 NEW BEST:: SOT 2889945 SOS 530077 HAS SOPS 528657 HAS SOUS 84853 HAS SOUPS 84577 WITH SCORE 85107.077
AT ITER 7884 NEW BEST:: SOT 2889940 SOS 529922 HAS SOPS 528502 HAS SOUS 84848 HAS SOUPS 84572 WITH SCORE 85101.922
AT ITER 7946 NEW BEST:: SOT 2889932 SOS 529922 HAS SOPS 528502 HAS SOUS 84832 HAS SOUPS 84556 WITH SCORE 85085.922
AT ITER 7968 NEW BEST:: SOT 2889982 SOS 529972 HAS SOPS 528552 HAS SOUS 84756 HAS SOUPS 84480 WITH SCORE 85009.972
AT ITER 8007 NEW BEST:: SOT 2889969 SOS 529959 HAS SOPS 528539 HAS SOUS 84732 HAS SOUPS 84456 WITH SCORE 84985.959
AT ITER 8015 NEW BEST:: SOT 2889937 SOS 529927 HAS SOPS 528507 HAS SOUS 84700 HAS SOUPS 84424 WITH SCORE 84953.927
AT ITER 8053 NEW BEST:: SOT 2889930 SOS 529920 HAS SOPS 528500 HAS SOUS 84686 HAS SOUPS 84410 WITH SCORE 84939.92
AT ITER 8063 NEW BEST:: SOT 2890046 SOS 530036 HAS SOPS 528616 HAS SOUS 84531 HAS SOUPS 84255 WITH SCORE 84785.036
AT ITER 8064 NEW BEST:: SOT 2890026 SOS 530016 HAS SOPS 528596 HAS SOUS 84493 HAS SOUPS 84217 WITH SCORE 84747.016
AT ITER 8078 NEW BEST:: SOT 2890014 SOS 530004 HAS SOPS 528584 HAS SOUS 84481 HAS SOUPS 84205 WITH SCORE 84735.004
AT ITER 8082 NEW BEST:: SOT 2890016 SOS 530006 HAS SOPS 528586 HAS SOUS 84478 HAS SOUPS 84202 WITH SCORE 84732.006
AT ITER 8105 NEW BEST:: SOT 2890014 SOS 530004 HAS SOPS 528584 HAS SOUS 84474 HAS SOUPS 84198 WITH SCORE 84728.004
AT ITER 8120 NEW BEST:: SOT 2889964 SOS 529954 HAS SOPS 528534 HAS SOUS 84397 HAS SOUPS 84121 WITH SCORE 84650.954
AT ITER 8166 NEW BEST:: SOT 2889869 SOS 529764 HAS SOPS 528344 HAS SOUS 84207 HAS SOUPS 83931 WITH SCORE 84460.764
AT ITER 8168 NEW BEST:: SOT 2889851 SOS 529746 HAS SOPS 528326 HAS SOUS 84171 HAS SOUPS 83895 WITH SCORE 84424.746
AT ITER 8186 NEW BEST:: SOT 2889781 SOS 529788 HAS SOPS 528368 HAS SOUS 84049 HAS SOUPS 83773 WITH SCORE 84302.788
AT ITER 8212 NEW BEST:: SOT 2889685 SOS 529692 HAS SOPS 528272 HAS SOUS 83862 HAS SOUPS 83586 WITH SCORE 84115.692
AT ITER 8221 NEW BEST:: SOT 2889673 SOS 529620 HAS SOPS 528260 HAS SOUS 83850 HAS SOUPS 83580 WITH SCORE 84109.62
AT ITER 8225 NEW BEST:: SOT 2889572 SOS 529519 HAS SOPS 528159 HAS SOUS 83767 HAS SOUPS 83497 WITH SCORE 84026.519
AT ITER 8311 NEW BEST:: SOT 2889492 SOS 529439 HAS SOPS 528079 HAS SOUS 83719 HAS SOUPS 83449 WITH SCORE 83978.439
AT ITER 8350 NEW BEST:: SOT 2889478 SOS 529425 HAS SOPS 528065 HAS SOUS 83705 HAS SOUPS 83435 WITH SCORE 83964.425
AT ITER 8357 NEW BEST:: SOT 2889478 SOS 529425 HAS SOPS 528065 HAS SOUS 83688 HAS SOUPS 83418 WITH SCORE 83947.425
AT ITER 8393 NEW BEST:: SOT 2889477 SOS 529423 HAS SOPS 528063 HAS SOUS 83687 HAS SOUPS 83417 WITH SCORE 83946.423
AT ITER 8408 NEW BEST:: SOT 2889465 SOS 529411 HAS SOPS 528051 HAS SOUS 83668 HAS SOUPS 83398 WITH SCORE 83927.411
AT ITER 8417 NEW BEST:: SOT 2889451 SOS 529397 HAS SOPS 528037 HAS SOUS 83640 HAS SOUPS 83370 WITH SCORE 83899.397
AT ITER 8443 NEW BEST:: SOT 2889450 SOS 529396 HAS SOPS 528036 HAS SOUS 83639 HAS SOUPS 83369 WITH SCORE 83898.396
AT ITER 8457 NEW BEST:: SOT 2889441 SOS 529117 HAS SOPS 527757 HAS SOUS 83637 HAS SOUPS 83367 WITH SCORE 83896.117
AT ITER 8459 NEW BEST:: SOT 2889341 SOS 529017 HAS SOPS 527657 HAS SOUS 83386 HAS SOUPS 83116 WITH SCORE 83645.017
AT ITER 8477 NEW BEST:: SOT 2889331 SOS 529007 HAS SOPS 527647 HAS SOUS 83296 HAS SOUPS 83026 WITH SCORE 83555.007
AT ITER 8481 NEW BEST:: SOT 2889360 SOS 529005 HAS SOPS 527645 HAS SOUS 83292 HAS SOUPS 83022 WITH SCORE 83551.005
AT ITER 8520 NEW BEST:: SOT 2889356 SOS 529001 HAS SOPS 527641 HAS SOUS 83260 HAS SOUPS 82990 WITH SCORE 83519.001
AT ITER 8523 NEW BEST:: SOT 2889354 SOS 528999 HAS SOPS 527639 HAS SOUS 83260 HAS SOUPS 82990 WITH SCORE 83518.999
AT ITER 8536 NEW BEST:: SOT 2889309 SOS 525637 HAS SOPS 524170 HAS SOUS 83138 HAS SOUPS 82868 WITH SCORE 83393.637
AT ITER 8541 NEW BEST:: SOT 2888353 SOS 529148 HAS SOPS 527681 HAS SOUS 83094 HAS SOUPS 82824 WITH SCORE 83353.148
AT ITER 8586 NEW BEST:: SOT 2888351 SOS 529086 HAS SOPS 527617 HAS SOUS 83090 HAS SOUPS 82820 WITH SCORE 83349.086
AT ITER 8625 NEW BEST:: SOT 2888346 SOS 529081 HAS SOPS 527612 HAS SOUS 83067 HAS SOUPS 82797 WITH SCORE 83326.081
AT ITER 8634 NEW BEST:: SOT 2888339 SOS 529074 HAS SOPS 527605 HAS SOUS 83060 HAS SOUPS 82790 WITH SCORE 83319.074
AT ITER 8649 NEW BEST:: SOT 2888332 SOS 529067 HAS SOPS 527598 HAS SOUS 83038 HAS SOUPS 82768 WITH SCORE 83297.067
AT ITER 8693 NEW BEST:: SOT 2888242 SOS 528977 HAS SOPS 527508 HAS SOUS 82867 HAS SOUPS 82597 WITH SCORE 83125.977
AT ITER 8729 NEW BEST:: SOT 2888117 SOS 528852 HAS SOPS 527383 HAS SOUS 82700 HAS SOUPS 82430 WITH SCORE 82958.852
AT ITER 8730 NEW BEST:: SOT 2888056 SOS 528852 HAS SOPS 527383 HAS SOUS 82589 HAS SOUPS 82319 WITH SCORE 82847.852
AT ITER 8743 NEW BEST:: SOT 2888058 SOS 528854 HAS SOPS 527385 HAS SOUS 82580 HAS SOUPS 82310 WITH SCORE 82838.854
AT ITER 8761 NEW BEST:: SOT 2888042 SOS 528838 HAS SOPS 527369 HAS SOUS 82556 HAS SOUPS 82286 WITH SCORE 82814.838
AT ITER 8781 NEW BEST:: SOT 2888004 SOS 528800 HAS SOPS 527331 HAS SOUS 82479 HAS SOUPS 82209 WITH SCORE 82737.8
AT ITER 8784 NEW BEST:: SOT 2887999 SOS 528795 HAS SOPS 527326 HAS SOUS 82438 HAS SOUPS 82168 WITH SCORE 82696.795
AT ITER 8791 NEW BEST:: SOT 2887969 SOS 528765 HAS SOPS 527296 HAS SOUS 82378 HAS SOUPS 82108 WITH SCORE 82636.765
AT ITER 8815 NEW BEST:: SOT 2887740 SOS 528257 HAS SOPS 526788 HAS SOUS 82339 HAS SOUPS 82069 WITH SCORE 82597.257
AT ITER 8868 NEW BEST:: SOT 2887730 SOS 528247 HAS SOPS 526778 HAS SOUS 82329 HAS SOUPS 82059 WITH SCORE 82587.247
AT ITER 8897 NEW BEST:: SOT 2887686 SOS 528203 HAS SOPS 526734 HAS SOUS 82241 HAS SOUPS 81971 WITH SCORE 82499.203
AT ITER 8967 NEW BEST:: SOT 2887660 SOS 528177 HAS SOPS 526708 HAS SOUS 82215 HAS SOUPS 81945 WITH SCORE 82473.177
AT ITER 8998 NEW BEST:: SOT 2887603 SOS 528120 HAS SOPS 526651 HAS SOUS 82158 HAS SOUPS 81888 WITH SCORE 82416.12
AT ITER 9017 NEW BEST:: SOT 2887607 SOS 528106 HAS SOPS 526637 HAS SOUS 82152 HAS SOUPS 81882 WITH SCORE 82410.106
AT ITER 9042 NEW BEST:: SOT 2887618 SOS 528117 HAS SOPS 526648 HAS SOUS 82147 HAS SOUPS 81877 WITH SCORE 82405.117
AT ITER 9058 NEW BEST:: SOT 2887544 SOS 528043 HAS SOPS 526574 HAS SOUS 81954 HAS SOUPS 81684 WITH SCORE 82212.043
AT ITER 9121 NEW BEST:: SOT 2887604 SOS 528103 HAS SOPS 526634 HAS SOUS 81722 HAS SOUPS 81452 WITH SCORE 81980.103
AT ITER 9140 NEW BEST:: SOT 2887580 SOS 528083 HAS SOPS 526614 HAS SOUS 81698 HAS SOUPS 81428 WITH SCORE 81956.083
AT ITER 9183 NEW BEST:: SOT 2887585 SOS 528451 HAS SOPS 526652 HAS SOUS 81708 HAS SOUPS 81405 WITH SCORE 81933.451
AT ITER 9197 NEW BEST:: SOT 2887501 SOS 528555 HAS SOPS 526756 HAS SOUS 81563 HAS SOUPS 81260 WITH SCORE 81788.555
AT ITER 9200 NEW BEST:: SOT 2887499 SOS 528553 HAS SOPS 526754 HAS SOUS 81562 HAS SOUPS 81259 WITH SCORE 81787.553
AT ITER 9241 NEW BEST:: SOT 2887469 SOS 528553 HAS SOPS 526754 HAS SOUS 81502 HAS SOUPS 81199 WITH SCORE 81727.553
AT ITER 9276 NEW BEST:: SOT 2887507 SOS 528591 HAS SOPS 526792 HAS SOUS 81480 HAS SOUPS 81177 WITH SCORE 81705.591
AT ITER 9281 NEW BEST:: SOT 2887495 SOS 528579 HAS SOPS 526778 HAS SOUS 81468 HAS SOUPS 81163 WITH SCORE 81691.579
AT ITER 9305 NEW BEST:: SOT 2887487 SOS 528610 HAS SOPS 526809 HAS SOUS 81458 HAS SOUPS 81153 WITH SCORE 81681.61
AT ITER 9318 NEW BEST:: SOT 2887420 SOS 528543 HAS SOPS 526742 HAS SOUS 81415 HAS SOUPS 81110 WITH SCORE 81638.543
AT ITER 9322 NEW BEST:: SOT 2887346 SOS 528469 HAS SOPS 526668 HAS SOUS 81292 HAS SOUPS 80987 WITH SCORE 81515.469
AT ITER 9336 NEW BEST:: SOT 2887344 SOS 528463 HAS SOPS 526662 HAS SOUS 81287 HAS SOUPS 80982 WITH SCORE 81510.463
AT ITER 9389 NEW BEST:: SOT 2887353 SOS 528472 HAS SOPS 526671 HAS SOUS 81278 HAS SOUPS 80973 WITH SCORE 81501.472
AT ITER 9404 NEW BEST:: SOT 2887331 SOS 528450 HAS SOPS 526649 HAS SOUS 81265 HAS SOUPS 80960 WITH SCORE 81488.45
AT ITER 9440 NEW BEST:: SOT 2887334 SOS 528453 HAS SOPS 526652 HAS SOUS 81251 HAS SOUPS 80946 WITH SCORE 81474.453
AT ITER 9461 NEW BEST:: SOT 2887288 SOS 528407 HAS SOPS 526606 HAS SOUS 81180 HAS SOUPS 80875 WITH SCORE 81403.407
AT ITER 9494 NEW BEST:: SOT 2887284 SOS 528403 HAS SOPS 526602 HAS SOUS 81172 HAS SOUPS 80867 WITH SCORE 81395.403
AT ITER 9510 NEW BEST:: SOT 2887182 SOS 528337 HAS SOPS 526536 HAS SOUS 81000 HAS SOUPS 80695 WITH SCORE 81223.337
AT ITER 9531 NEW BEST:: SOT 2887122 SOS 528217 HAS SOPS 526416 HAS SOUS 80880 HAS SOUPS 80575 WITH SCORE 81103.217
AT ITER 9533 NEW BEST:: SOT 2887092 SOS 528187 HAS SOPS 526386 HAS SOUS 80843 HAS SOUPS 80538 WITH SCORE 81066.187
AT ITER 9552 NEW BEST:: SOT 2887091 SOS 528186 HAS SOPS 526385 HAS SOUS 80834 HAS SOUPS 80529 WITH SCORE 81057.186
AT ITER 9569 NEW BEST:: SOT 2887045 SOS 528140 HAS SOPS 526339 HAS SOUS 80719 HAS SOUPS 80414 WITH SCORE 80942.14
AT ITER 9570 NEW BEST:: SOT 2887036 SOS 528131 HAS SOPS 526330 HAS SOUS 80701 HAS SOUPS 80396 WITH SCORE 80924.131
AT ITER 9595 NEW BEST:: SOT 2886983 SOS 528078 HAS SOPS 526277 HAS SOUS 80576 HAS SOUPS 80271 WITH SCORE 80799.078
AT ITER 9630 NEW BEST:: SOT 2886973 SOS 528068 HAS SOPS 526267 HAS SOUS 80569 HAS SOUPS 80264 WITH SCORE 80792.068
AT ITER 9642 NEW BEST:: SOT 2886936 SOS 528031 HAS SOPS 526230 HAS SOUS 80488 HAS SOUPS 80183 WITH SCORE 80711.031
AT ITER 9722 NEW BEST:: SOT 2886927 SOS 528031 HAS SOPS 526230 HAS SOUS 80477 HAS SOUPS 80172 WITH SCORE 80700.031
AT ITER 9723 NEW BEST:: SOT 2886889 SOS 527993 HAS SOPS 526192 HAS SOUS 80358 HAS SOUPS 80053 WITH SCORE 80580.993
AT ITER 9744 NEW BEST:: SOT 2886610 SOS 527975 HAS SOPS 526174 HAS SOUS 80243 HAS SOUPS 79938 WITH SCORE 80465.975
AT ITER 9835 NEW BEST:: SOT 2886303 SOS 527668 HAS SOPS 525867 HAS SOUS 79936 HAS SOUPS 79631 WITH SCORE 80158.668
AT ITER 9865 NEW BEST:: SOT 2886279 SOS 527644 HAS SOPS 525843 HAS SOUS 79902 HAS SOUPS 79597 WITH SCORE 80124.644
AT ITER 9880 NEW BEST:: SOT 2886232 SOS 527597 HAS SOPS 525796 HAS SOUS 79823 HAS SOUPS 79518 WITH SCORE 80045.597
AT ITER 9900 NEW BEST:: SOT 2886140 SOS 527505 HAS SOPS 525704 HAS SOUS 79629 HAS SOUPS 79324 WITH SCORE 79851.505
AT ITER 9917 NEW BEST:: SOT 2886136 SOS 527343 HAS SOPS 525542 HAS SOUS 79608 HAS SOUPS 79303 WITH SCORE 79830.343
AT ITER 9938 NEW BEST:: SOT 2886110 SOS 527317 HAS SOPS 525516 HAS SOUS 79556 HAS SOUPS 79251 WITH SCORE 79778.317
AT ITER 9960 NEW BEST:: SOT 2886082 SOS 527289 HAS SOPS 525488 HAS SOUS 79500 HAS SOUPS 79195 WITH SCORE 79722.289
AT ITER 9966 NEW BEST:: SOT 2886070 SOS 527277 HAS SOPS 525476 HAS SOUS 79488 HAS SOUPS 79183 WITH SCORE 79710.277
AT ITER 9996 NEW BEST:: SOT 2886074 SOS 527289 HAS SOPS 525488 HAS SOUS 79480 HAS SOUPS 79175 WITH SCORE 79702.289
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15994884 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16117724 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="PolyORBNT-PT-S10J30"
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 PolyORBNT-PT-S10J30, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873943300768"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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