Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813688400568.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is BusinessProcesses-PT-15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688400568
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 616K
-rw-r--r-- 1 mcc users 7.5K Feb 25 16:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 25 16:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 16:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 16:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 16:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 16:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 104K Feb 25 16:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 157K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678470561220

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=BusinessProcesses-PT-15
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 15
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: 630 places, 566 transitions, 1666 arcs.
AT ITER 0 NEW BEST:: SOT 225435 SOS 87383 HAS SOPS 87383 HAS SOUS 84782 HAS SOUPS 84782 WITH SCORE 84869.383
AT ITER 2 NEW BEST:: SOT 225249 SOS 87243 HAS SOPS 87243 HAS SOUS 84642 HAS SOUPS 84642 WITH SCORE 84729.243
AT ITER 8 NEW BEST:: SOT 225116 SOS 86975 HAS SOPS 86975 HAS SOUS 84416 HAS SOUPS 84416 WITH SCORE 84502.975
AT ITER 17 NEW BEST:: SOT 225018 SOS 86703 HAS SOPS 86703 HAS SOUS 84197 HAS SOUPS 84197 WITH SCORE 84283.703
AT ITER 18 NEW BEST:: SOT 225018 SOS 86591 HAS SOPS 86591 HAS SOUS 84151 HAS SOUPS 84151 WITH SCORE 84237.591
AT ITER 25 NEW BEST:: SOT 224859 SOS 86383 HAS SOPS 86383 HAS SOUS 83943 HAS SOUPS 83943 WITH SCORE 84029.383
AT ITER 32 NEW BEST:: SOT 224857 SOS 86247 HAS SOPS 86247 HAS SOUS 83807 HAS SOUPS 83807 WITH SCORE 83893.247
AT ITER 43 NEW BEST:: SOT 224844 SOS 86220 HAS SOPS 86220 HAS SOUS 83780 HAS SOUPS 83780 WITH SCORE 83866.22
AT ITER 55 NEW BEST:: SOT 224844 SOS 86236 HAS SOPS 86236 HAS SOUS 83778 HAS SOUPS 83778 WITH SCORE 83864.236
AT ITER 63 NEW BEST:: SOT 224842 SOS 86234 HAS SOPS 86234 HAS SOUS 83776 HAS SOUPS 83776 WITH SCORE 83862.234
AT ITER 76 NEW BEST:: SOT 225106 SOS 86145 HAS SOPS 86145 HAS SOUS 83765 HAS SOUPS 83765 WITH SCORE 83851.145
AT ITER 78 NEW BEST:: SOT 225106 SOS 86140 HAS SOPS 86140 HAS SOUS 83758 HAS SOUPS 83758 WITH SCORE 83844.14
AT ITER 80 NEW BEST:: SOT 225076 SOS 86114 HAS SOPS 86114 HAS SOUS 83732 HAS SOUPS 83732 WITH SCORE 83818.114
AT ITER 89 NEW BEST:: SOT 225083 SOS 85901 HAS SOPS 85901 HAS SOUS 83519 HAS SOUPS 83519 WITH SCORE 83604.901
AT ITER 92 NEW BEST:: SOT 224947 SOS 85680 HAS SOPS 85680 HAS SOUS 83298 HAS SOUPS 83298 WITH SCORE 83383.68
AT ITER 101 NEW BEST:: SOT 224746 SOS 85496 HAS SOPS 85496 HAS SOUS 83114 HAS SOUPS 83114 WITH SCORE 83199.496
AT ITER 106 NEW BEST:: SOT 224607 SOS 85662 HAS SOPS 85662 HAS SOUS 83054 HAS SOUPS 83054 WITH SCORE 83139.662
AT ITER 109 NEW BEST:: SOT 224560 SOS 85592 HAS SOPS 85592 HAS SOUS 82984 HAS SOUPS 82984 WITH SCORE 83069.592
AT ITER 115 NEW BEST:: SOT 224514 SOS 85590 HAS SOPS 85590 HAS SOUS 82982 HAS SOUPS 82982 WITH SCORE 83067.59
AT ITER 127 NEW BEST:: SOT 224514 SOS 85517 HAS SOPS 85517 HAS SOUS 82909 HAS SOUPS 82909 WITH SCORE 82994.517
AT ITER 130 NEW BEST:: SOT 224192 SOS 85242 HAS SOPS 85242 HAS SOUS 82633 HAS SOUPS 82633 WITH SCORE 82718.242
AT ITER 131 NEW BEST:: SOT 224029 SOS 84910 HAS SOPS 84910 HAS SOUS 82441 HAS SOUPS 82441 WITH SCORE 82525.91
AT ITER 143 NEW BEST:: SOT 224033 SOS 84874 HAS SOPS 84874 HAS SOUS 82405 HAS SOUPS 82405 WITH SCORE 82489.874
AT ITER 145 NEW BEST:: SOT 223935 SOS 84678 HAS SOPS 84678 HAS SOUS 82209 HAS SOUPS 82209 WITH SCORE 82293.678
AT ITER 151 NEW BEST:: SOT 223859 SOS 84602 HAS SOPS 84602 HAS SOUS 82133 HAS SOUPS 82133 WITH SCORE 82217.602
AT ITER 154 NEW BEST:: SOT 223756 SOS 84467 HAS SOPS 84467 HAS SOUS 81998 HAS SOUPS 81998 WITH SCORE 82082.467
AT ITER 164 NEW BEST:: SOT 223756 SOS 84461 HAS SOPS 84461 HAS SOUS 81992 HAS SOUPS 81992 WITH SCORE 82076.461
AT ITER 166 NEW BEST:: SOT 223756 SOS 84445 HAS SOPS 84445 HAS SOUS 81976 HAS SOUPS 81976 WITH SCORE 82060.445
AT ITER 182 NEW BEST:: SOT 223685 SOS 84232 HAS SOPS 84232 HAS SOUS 81763 HAS SOUPS 81763 WITH SCORE 81847.232
AT ITER 196 NEW BEST:: SOT 217438 SOS 92904 HAS SOPS 92904 HAS SOUS 76171 HAS SOUPS 76171 WITH SCORE 76263.904
AT ITER 207 NEW BEST:: SOT 217304 SOS 92636 HAS SOPS 92636 HAS SOUS 75903 HAS SOUPS 75903 WITH SCORE 75995.636
AT ITER 214 NEW BEST:: SOT 217170 SOS 92383 HAS SOPS 92383 HAS SOUS 75668 HAS SOUPS 75668 WITH SCORE 75760.383
AT ITER 217 NEW BEST:: SOT 217098 SOS 92239 HAS SOPS 92239 HAS SOUS 75615 HAS SOUPS 75615 WITH SCORE 75707.239
AT ITER 219 NEW BEST:: SOT 217094 SOS 92159 HAS SOPS 92159 HAS SOUS 75535 HAS SOUPS 75535 WITH SCORE 75627.159
AT ITER 225 NEW BEST:: SOT 217093 SOS 92158 HAS SOPS 92158 HAS SOUS 75534 HAS SOUPS 75534 WITH SCORE 75626.158
AT ITER 226 NEW BEST:: SOT 217167 SOS 92142 HAS SOPS 92142 HAS SOUS 75518 HAS SOUPS 75518 WITH SCORE 75610.142
AT ITER 227 NEW BEST:: SOT 216941 SOS 91690 HAS SOPS 91690 HAS SOUS 75291 HAS SOUPS 75291 WITH SCORE 75382.69
AT ITER 229 NEW BEST:: SOT 216941 SOS 91419 HAS SOPS 91419 HAS SOUS 75155 HAS SOUPS 75155 WITH SCORE 75246.419
AT ITER 233 NEW BEST:: SOT 216978 SOS 91195 HAS SOPS 91195 HAS SOUS 75046 HAS SOUPS 75046 WITH SCORE 75137.195
AT ITER 241 NEW BEST:: SOT 216912 SOS 91049 HAS SOPS 91049 HAS SOUS 74966 HAS SOUPS 74966 WITH SCORE 75057.049
AT ITER 250 NEW BEST:: SOT 216893 SOS 91011 HAS SOPS 91011 HAS SOUS 74947 HAS SOUPS 74947 WITH SCORE 75038.011
AT ITER 253 NEW BEST:: SOT 216856 SOS 90937 HAS SOPS 90937 HAS SOUS 74873 HAS SOUPS 74873 WITH SCORE 74963.937
AT ITER 258 NEW BEST:: SOT 216849 SOS 90630 HAS SOPS 90630 HAS SOUS 74833 HAS SOUPS 74833 WITH SCORE 74923.63
AT ITER 259 NEW BEST:: SOT 216489 SOS 90090 HAS SOPS 90090 HAS SOUS 74473 HAS SOUPS 74473 WITH SCORE 74563.09
AT ITER 260 NEW BEST:: SOT 216443 SOS 90082 HAS SOPS 90082 HAS SOUS 74464 HAS SOUPS 74464 WITH SCORE 74554.082
AT ITER 272 NEW BEST:: SOT 216341 SOS 90064 HAS SOPS 90064 HAS SOUS 74431 HAS SOUPS 74431 WITH SCORE 74521.064
AT ITER 279 NEW BEST:: SOT 216248 SOS 89779 HAS SOPS 89779 HAS SOUS 74313 HAS SOUPS 74313 WITH SCORE 74402.779
AT ITER 282 NEW BEST:: SOT 216209 SOS 89740 HAS SOPS 89740 HAS SOUS 74274 HAS SOUPS 74274 WITH SCORE 74363.74
AT ITER 292 NEW BEST:: SOT 216208 SOS 89692 HAS SOPS 89692 HAS SOUS 74183 HAS SOUPS 74183 WITH SCORE 74272.692
AT ITER 299 NEW BEST:: SOT 216115 SOS 89506 HAS SOPS 89506 HAS SOUS 74160 HAS SOUPS 74160 WITH SCORE 74249.506
AT ITER 307 NEW BEST:: SOT 216061 SOS 89451 HAS SOPS 89451 HAS SOUS 74105 HAS SOUPS 74105 WITH SCORE 74194.451
AT ITER 311 NEW BEST:: SOT 216060 SOS 89449 HAS SOPS 89449 HAS SOUS 74103 HAS SOUPS 74103 WITH SCORE 74192.449
AT ITER 313 NEW BEST:: SOT 215972 SOS 89349 HAS SOPS 89349 HAS SOUS 74079 HAS SOUPS 74079 WITH SCORE 74168.349
AT ITER 318 NEW BEST:: SOT 215971 SOS 89347 HAS SOPS 89347 HAS SOUS 74077 HAS SOUPS 74077 WITH SCORE 74166.347
AT ITER 322 NEW BEST:: SOT 215956 SOS 89332 HAS SOPS 89332 HAS SOUS 74062 HAS SOUPS 74062 WITH SCORE 74151.332
AT ITER 327 NEW BEST:: SOT 215311 SOS 88644 HAS SOPS 88644 HAS SOUS 73417 HAS SOUPS 73417 WITH SCORE 73505.644
AT ITER 328 NEW BEST:: SOT 215341 SOS 88527 HAS SOPS 88527 HAS SOUS 73303 HAS SOUPS 73303 WITH SCORE 73391.527
AT ITER 344 NEW BEST:: SOT 215201 SOS 88387 HAS SOPS 88387 HAS SOUS 73083 HAS SOUPS 73083 WITH SCORE 73171.387
AT ITER 346 NEW BEST:: SOT 215191 SOS 88357 HAS SOPS 88357 HAS SOUS 73063 HAS SOUPS 73063 WITH SCORE 73151.357
AT ITER 355 NEW BEST:: SOT 215190 SOS 88356 HAS SOPS 88356 HAS SOUS 73062 HAS SOUPS 73062 WITH SCORE 73150.356
AT ITER 371 NEW BEST:: SOT 215189 SOS 88354 HAS SOPS 88354 HAS SOUS 73061 HAS SOUPS 73061 WITH SCORE 73149.354
AT ITER 379 NEW BEST:: SOT 215183 SOS 88345 HAS SOPS 88345 HAS SOUS 73055 HAS SOUPS 73055 WITH SCORE 73143.345
AT ITER 383 NEW BEST:: SOT 215067 SOS 88113 HAS SOPS 88113 HAS SOUS 73011 HAS SOUPS 73011 WITH SCORE 73099.113
AT ITER 387 NEW BEST:: SOT 214990 SOS 88058 HAS SOPS 88058 HAS SOUS 72956 HAS SOUPS 72956 WITH SCORE 73044.058
AT ITER 392 NEW BEST:: SOT 214873 SOS 87821 HAS SOPS 87821 HAS SOUS 72751 HAS SOUPS 72751 WITH SCORE 72838.821
AT ITER 394 NEW BEST:: SOT 214681 SOS 87627 HAS SOPS 87627 HAS SOUS 72469 HAS SOUPS 72469 WITH SCORE 72556.627
AT ITER 401 NEW BEST:: SOT 214681 SOS 87626 HAS SOPS 87626 HAS SOUS 72468 HAS SOUPS 72468 WITH SCORE 72555.626
AT ITER 402 NEW BEST:: SOT 214588 SOS 87533 HAS SOPS 87533 HAS SOUS 72468 HAS SOUPS 72468 WITH SCORE 72555.533
AT ITER 403 NEW BEST:: SOT 214588 SOS 87358 HAS SOPS 87358 HAS SOUS 72413 HAS SOUPS 72413 WITH SCORE 72500.358
AT ITER 404 NEW BEST:: SOT 214518 SOS 87312 HAS SOPS 87312 HAS SOUS 72367 HAS SOUPS 72367 WITH SCORE 72454.312
AT ITER 412 NEW BEST:: SOT 213525 SOS 86850 HAS SOPS 86850 HAS SOUS 71359 HAS SOUPS 71359 WITH SCORE 71445.85
AT ITER 416 NEW BEST:: SOT 213418 SOS 86693 HAS SOPS 86693 HAS SOUS 71201 HAS SOUPS 71201 WITH SCORE 71287.693
AT ITER 417 NEW BEST:: SOT 213285 SOS 86446 HAS SOPS 86446 HAS SOUS 71021 HAS SOUPS 71021 WITH SCORE 71107.446
AT ITER 419 NEW BEST:: SOT 213285 SOS 86395 HAS SOPS 86395 HAS SOUS 70970 HAS SOUPS 70970 WITH SCORE 71056.395
AT ITER 423 NEW BEST:: SOT 213441 SOS 86345 HAS SOPS 86345 HAS SOUS 70938 HAS SOUPS 70938 WITH SCORE 71024.345
AT ITER 431 NEW BEST:: SOT 213402 SOS 86306 HAS SOPS 86306 HAS SOUS 70938 HAS SOUPS 70938 WITH SCORE 71024.306
AT ITER 433 NEW BEST:: SOT 213402 SOS 86188 HAS SOPS 86188 HAS SOUS 70820 HAS SOUPS 70820 WITH SCORE 70906.188
AT ITER 436 NEW BEST:: SOT 213411 SOS 86050 HAS SOPS 86050 HAS SOUS 70819 HAS SOUPS 70819 WITH SCORE 70905.05
AT ITER 448 NEW BEST:: SOT 213411 SOS 86039 HAS SOPS 86039 HAS SOUS 70808 HAS SOUPS 70808 WITH SCORE 70894.039
AT ITER 461 NEW BEST:: SOT 213559 SOS 85871 HAS SOPS 85871 HAS SOUS 70795 HAS SOUPS 70795 WITH SCORE 70880.871
AT ITER 466 NEW BEST:: SOT 213783 SOS 85842 HAS SOPS 85842 HAS SOUS 70766 HAS SOUPS 70766 WITH SCORE 70851.842
AT ITER 471 NEW BEST:: SOT 213754 SOS 85813 HAS SOPS 85813 HAS SOUS 70737 HAS SOUPS 70737 WITH SCORE 70822.813
AT ITER 507 NEW BEST:: SOT 213746 SOS 85798 HAS SOPS 85798 HAS SOUS 70722 HAS SOUPS 70722 WITH SCORE 70807.798
AT ITER 529 NEW BEST:: SOT 213653 SOS 85521 HAS SOPS 85521 HAS SOUS 70445 HAS SOUPS 70445 WITH SCORE 70530.521
AT ITER 532 NEW BEST:: SOT 213623 SOS 85491 HAS SOPS 85491 HAS SOUS 70162 HAS SOUPS 70162 WITH SCORE 70247.491
AT ITER 553 NEW BEST:: SOT 213592 SOS 85460 HAS SOPS 85460 HAS SOUS 70162 HAS SOUPS 70162 WITH SCORE 70247.46
AT ITER 557 NEW BEST:: SOT 213614 SOS 85438 HAS SOPS 85438 HAS SOUS 70140 HAS SOUPS 70140 WITH SCORE 70225.438
AT ITER 560 NEW BEST:: SOT 213593 SOS 85385 HAS SOPS 85385 HAS SOUS 70118 HAS SOUPS 70118 WITH SCORE 70203.385
AT ITER 565 NEW BEST:: SOT 213549 SOS 85337 HAS SOPS 85337 HAS SOUS 70070 HAS SOUPS 70070 WITH SCORE 70155.337
AT ITER 572 NEW BEST:: SOT 213548 SOS 85335 HAS SOPS 85335 HAS SOUS 70068 HAS SOUPS 70068 WITH SCORE 70153.335
AT ITER 575 NEW BEST:: SOT 213396 SOS 85238 HAS SOPS 85238 HAS SOUS 69971 HAS SOUPS 69971 WITH SCORE 70056.238
AT ITER 576 NEW BEST:: SOT 213338 SOS 85198 HAS SOPS 85198 HAS SOUS 69931 HAS SOUPS 69931 WITH SCORE 70016.198
AT ITER 578 NEW BEST:: SOT 213269 SOS 84897 HAS SOPS 84897 HAS SOUS 69862 HAS SOUPS 69862 WITH SCORE 69946.897
AT ITER 579 NEW BEST:: SOT 213050 SOS 84380 HAS SOPS 84380 HAS SOUS 69345 HAS SOUPS 69345 WITH SCORE 69429.38
AT ITER 581 NEW BEST:: SOT 212994 SOS 84097 HAS SOPS 84097 HAS SOUS 69122 HAS SOUPS 69122 WITH SCORE 69206.097
AT ITER 582 NEW BEST:: SOT 213048 SOS 84064 HAS SOPS 84064 HAS SOUS 69089 HAS SOUPS 69089 WITH SCORE 69173.064
AT ITER 586 NEW BEST:: SOT 212989 SOS 84111 HAS SOPS 84111 HAS SOUS 69063 HAS SOUPS 69063 WITH SCORE 69147.111
AT ITER 587 NEW BEST:: SOT 212970 SOS 84054 HAS SOPS 84054 HAS SOUS 69044 HAS SOUPS 69044 WITH SCORE 69128.054
AT ITER 588 NEW BEST:: SOT 212957 SOS 84028 HAS SOPS 84028 HAS SOUS 69030 HAS SOUPS 69030 WITH SCORE 69114.028
AT ITER 596 NEW BEST:: SOT 212572 SOS 83456 HAS SOPS 83456 HAS SOUS 68656 HAS SOUPS 68656 WITH SCORE 68739.456
AT ITER 600 NEW BEST:: SOT 212491 SOS 83102 HAS SOPS 83102 HAS SOUS 68502 HAS SOUPS 68502 WITH SCORE 68585.102
AT ITER 604 NEW BEST:: SOT 212342 SOS 82952 HAS SOPS 82952 HAS SOUS 68500 HAS SOUPS 68500 WITH SCORE 68582.952
AT ITER 605 NEW BEST:: SOT 212289 SOS 82689 HAS SOPS 82689 HAS SOUS 68251 HAS SOUPS 68251 WITH SCORE 68333.689
AT ITER 608 NEW BEST:: SOT 212187 SOS 82536 HAS SOPS 82536 HAS SOUS 68098 HAS SOUPS 68098 WITH SCORE 68180.536
AT ITER 619 NEW BEST:: SOT 212175 SOS 82605 HAS SOPS 82605 HAS SOUS 68085 HAS SOUPS 68085 WITH SCORE 68167.605
AT ITER 624 NEW BEST:: SOT 212175 SOS 82573 HAS SOPS 82573 HAS SOUS 68085 HAS SOUPS 68085 WITH SCORE 68167.573
AT ITER 626 NEW BEST:: SOT 211711 SOS 81931 HAS SOPS 81931 HAS SOUS 67696 HAS SOUPS 67696 WITH SCORE 67777.931
AT ITER 637 NEW BEST:: SOT 211721 SOS 81860 HAS SOPS 81860 HAS SOUS 67625 HAS SOUPS 67625 WITH SCORE 67706.86
AT ITER 660 NEW BEST:: SOT 211666 SOS 81754 HAS SOPS 81754 HAS SOUS 67531 HAS SOUPS 67531 WITH SCORE 67612.754
AT ITER 698 NEW BEST:: SOT 211594 SOS 81610 HAS SOPS 81610 HAS SOUS 67444 HAS SOUPS 67444 WITH SCORE 67525.61
AT ITER 701 NEW BEST:: SOT 211594 SOS 81566 HAS SOPS 81566 HAS SOUS 67400 HAS SOUPS 67400 WITH SCORE 67481.566
AT ITER 709 NEW BEST:: SOT 211594 SOS 81566 HAS SOPS 81566 HAS SOUS 67359 HAS SOUPS 67359 WITH SCORE 67440.566
AT ITER 710 NEW BEST:: SOT 211416 SOS 81210 HAS SOPS 81210 HAS SOUS 67022 HAS SOUPS 67022 WITH SCORE 67103.21
AT ITER 713 NEW BEST:: SOT 211397 SOS 81185 HAS SOPS 81185 HAS SOUS 66997 HAS SOUPS 66997 WITH SCORE 67078.185
AT ITER 715 NEW BEST:: SOT 211388 SOS 80916 HAS SOPS 80916 HAS SOUS 66749 HAS SOUPS 66749 WITH SCORE 66829.916
AT ITER 722 NEW BEST:: SOT 211327 SOS 80794 HAS SOPS 80794 HAS SOUS 66576 HAS SOUPS 66576 WITH SCORE 66656.794
AT ITER 726 NEW BEST:: SOT 211312 SOS 80779 HAS SOPS 80779 HAS SOUS 66561 HAS SOUPS 66561 WITH SCORE 66641.779
AT ITER 739 NEW BEST:: SOT 211288 SOS 80743 HAS SOPS 80743 HAS SOUS 66537 HAS SOUPS 66537 WITH SCORE 66617.743
AT ITER 742 NEW BEST:: SOT 211150 SOS 80407 HAS SOPS 80407 HAS SOUS 66201 HAS SOUPS 66201 WITH SCORE 66281.407
AT ITER 754 NEW BEST:: SOT 211108 SOS 80323 HAS SOPS 80323 HAS SOUS 66117 HAS SOUPS 66117 WITH SCORE 66197.323
AT ITER 764 NEW BEST:: SOT 211145 SOS 80174 HAS SOPS 80174 HAS SOUS 65968 HAS SOUPS 65968 WITH SCORE 66048.174
AT ITER 774 NEW BEST:: SOT 208078 SOS 78969 HAS SOPS 78969 HAS SOUS 63385 HAS SOUPS 63385 WITH SCORE 63463.969
AT ITER 781 NEW BEST:: SOT 208078 SOS 78952 HAS SOPS 78952 HAS SOUS 63368 HAS SOUPS 63368 WITH SCORE 63446.952
AT ITER 784 NEW BEST:: SOT 208049 SOS 78894 HAS SOPS 78894 HAS SOUS 63339 HAS SOUPS 63339 WITH SCORE 63417.894
AT ITER 793 NEW BEST:: SOT 208049 SOS 78875 HAS SOPS 78875 HAS SOUS 63320 HAS SOUPS 63320 WITH SCORE 63398.875
AT ITER 794 NEW BEST:: SOT 207866 SOS 78517 HAS SOPS 78517 HAS SOUS 63076 HAS SOUPS 63076 WITH SCORE 63154.517
AT ITER 809 NEW BEST:: SOT 207823 SOS 78463 HAS SOPS 78463 HAS SOUS 63054 HAS SOUPS 63054 WITH SCORE 63132.463
AT ITER 811 NEW BEST:: SOT 207823 SOS 78233 HAS SOPS 78233 HAS SOUS 62824 HAS SOUPS 62824 WITH SCORE 62902.233
AT ITER 826 NEW BEST:: SOT 207901 SOS 78208 HAS SOPS 78208 HAS SOUS 62818 HAS SOUPS 62818 WITH SCORE 62896.208
AT ITER 829 NEW BEST:: SOT 207706 SOS 78013 HAS SOPS 78013 HAS SOUS 62818 HAS SOUPS 62818 WITH SCORE 62896.013
AT ITER 834 NEW BEST:: SOT 207706 SOS 77865 HAS SOPS 77865 HAS SOUS 62648 HAS SOUPS 62648 WITH SCORE 62725.865
AT ITER 837 NEW BEST:: SOT 207641 SOS 77800 HAS SOPS 77800 HAS SOUS 62583 HAS SOUPS 62583 WITH SCORE 62660.8
AT ITER 840 NEW BEST:: SOT 207461 SOS 80597 HAS SOPS 80597 HAS SOUS 62449 HAS SOUPS 62449 WITH SCORE 62529.597
AT ITER 868 NEW BEST:: SOT 207454 SOS 80583 HAS SOPS 80583 HAS SOUS 62444 HAS SOUPS 62444 WITH SCORE 62524.583
AT ITER 877 NEW BEST:: SOT 207611 SOS 80515 HAS SOPS 80515 HAS SOUS 62443 HAS SOUPS 62443 WITH SCORE 62523.515
AT ITER 894 NEW BEST:: SOT 207404 SOS 80096 HAS SOPS 80096 HAS SOUS 62119 HAS SOUPS 62119 WITH SCORE 62199.096
AT ITER 895 NEW BEST:: SOT 207404 SOS 80095 HAS SOPS 80095 HAS SOUS 62118 HAS SOUPS 62118 WITH SCORE 62198.095
AT ITER 905 NEW BEST:: SOT 207465 SOS 80075 HAS SOPS 80075 HAS SOUS 62098 HAS SOUPS 62098 WITH SCORE 62178.075
AT ITER 919 NEW BEST:: SOT 207506 SOS 79846 HAS SOPS 79846 HAS SOUS 61869 HAS SOUPS 61869 WITH SCORE 61948.846
AT ITER 924 NEW BEST:: SOT 207506 SOS 79846 HAS SOPS 79846 HAS SOUS 61861 HAS SOUPS 61861 WITH SCORE 61940.846
AT ITER 925 NEW BEST:: SOT 207505 SOS 79802 HAS SOPS 79802 HAS SOUS 61859 HAS SOUPS 61859 WITH SCORE 61938.802
AT ITER 946 NEW BEST:: SOT 207403 SOS 79692 HAS SOPS 79692 HAS SOUS 61752 HAS SOUPS 61752 WITH SCORE 61831.692
AT ITER 966 NEW BEST:: SOT 207361 SOS 79602 HAS SOPS 79602 HAS SOUS 61701 HAS SOUPS 61701 WITH SCORE 61780.602
AT ITER 981 NEW BEST:: SOT 205352 SOS 77839 HAS SOPS 77839 HAS SOUS 59917 HAS SOUPS 59917 WITH SCORE 59994.839
AT ITER 1008 NEW BEST:: SOT 204533 SOS 79122 HAS SOPS 79122 HAS SOUS 59416 HAS SOUPS 59416 WITH SCORE 59495.122
AT ITER 1034 NEW BEST:: SOT 204487 SOS 79030 HAS SOPS 79030 HAS SOUS 59324 HAS SOUPS 59324 WITH SCORE 59403.03
AT ITER 1048 NEW BEST:: SOT 204176 SOS 78841 HAS SOPS 78841 HAS SOUS 59149 HAS SOUPS 59149 WITH SCORE 59227.841
AT ITER 1053 NEW BEST:: SOT 204175 SOS 78839 HAS SOPS 78839 HAS SOUS 59147 HAS SOUPS 59147 WITH SCORE 59225.839
AT ITER 1058 NEW BEST:: SOT 204175 SOS 78821 HAS SOPS 78821 HAS SOUS 59129 HAS SOUPS 59129 WITH SCORE 59207.821
AT ITER 1063 NEW BEST:: SOT 204206 SOS 78852 HAS SOPS 78852 HAS SOUS 59111 HAS SOUPS 59111 WITH SCORE 59189.852
AT ITER 1073 NEW BEST:: SOT 204187 SOS 78842 HAS SOPS 78842 HAS SOUS 59101 HAS SOUPS 59101 WITH SCORE 59179.842
AT ITER 1097 NEW BEST:: SOT 204109 SOS 78686 HAS SOPS 78686 HAS SOUS 58945 HAS SOUPS 58945 WITH SCORE 59023.686
AT ITER 1101 NEW BEST:: SOT 204107 SOS 78684 HAS SOPS 78684 HAS SOUS 58943 HAS SOUPS 58943 WITH SCORE 59021.684
AT ITER 1102 NEW BEST:: SOT 204106 SOS 78682 HAS SOPS 78682 HAS SOUS 58941 HAS SOUPS 58941 WITH SCORE 59019.682
AT ITER 1109 NEW BEST:: SOT 204042 SOS 78554 HAS SOPS 78554 HAS SOUS 58877 HAS SOUPS 58877 WITH SCORE 58955.554
AT ITER 1114 NEW BEST:: SOT 203811 SOS 78315 HAS SOPS 78315 HAS SOUS 58638 HAS SOUPS 58638 WITH SCORE 58716.315
AT ITER 1116 NEW BEST:: SOT 203806 SOS 78310 HAS SOPS 78310 HAS SOUS 58633 HAS SOUPS 58633 WITH SCORE 58711.31
AT ITER 1117 NEW BEST:: SOT 203643 SOS 78181 HAS SOPS 78181 HAS SOUS 58534 HAS SOUPS 58534 WITH SCORE 58612.181
AT ITER 1126 NEW BEST:: SOT 203553 SOS 78171 HAS SOPS 78171 HAS SOUS 58524 HAS SOUPS 58524 WITH SCORE 58602.171
AT ITER 1131 NEW BEST:: SOT 203541 SOS 78159 HAS SOPS 78159 HAS SOUS 58512 HAS SOUPS 58512 WITH SCORE 58590.159
AT ITER 1137 NEW BEST:: SOT 203532 SOS 78141 HAS SOPS 78141 HAS SOUS 58503 HAS SOUPS 58503 WITH SCORE 58581.141
AT ITER 1154 NEW BEST:: SOT 203531 SOS 78139 HAS SOPS 78139 HAS SOUS 58501 HAS SOUPS 58501 WITH SCORE 58579.139
AT ITER 1156 NEW BEST:: SOT 203531 SOS 78119 HAS SOPS 78119 HAS SOUS 58501 HAS SOUPS 58501 WITH SCORE 58579.119
AT ITER 1157 NEW BEST:: SOT 203463 SOS 77983 HAS SOPS 77983 HAS SOUS 58365 HAS SOUPS 58365 WITH SCORE 58442.983
AT ITER 1176 NEW BEST:: SOT 203461 SOS 77980 HAS SOPS 77980 HAS SOUS 58259 HAS SOUPS 58259 WITH SCORE 58336.98
AT ITER 1177 NEW BEST:: SOT 203598 SOS 78104 HAS SOPS 78104 HAS SOUS 58227 HAS SOUPS 58227 WITH SCORE 58305.104
AT ITER 1186 NEW BEST:: SOT 203547 SOS 78067 HAS SOPS 78067 HAS SOUS 58150 HAS SOUPS 58150 WITH SCORE 58228.067
AT ITER 1205 NEW BEST:: SOT 203547 SOS 78051 HAS SOPS 78051 HAS SOUS 58134 HAS SOUPS 58134 WITH SCORE 58212.051
AT ITER 1212 NEW BEST:: SOT 203547 SOS 78019 HAS SOPS 78019 HAS SOUS 58099 HAS SOUPS 58099 WITH SCORE 58177.019
AT ITER 1217 NEW BEST:: SOT 203608 SOS 78037 HAS SOPS 78037 HAS SOUS 58073 HAS SOUPS 58073 WITH SCORE 58151.037
AT ITER 1219 NEW BEST:: SOT 203617 SOS 78022 HAS SOPS 78022 HAS SOUS 58058 HAS SOUPS 58058 WITH SCORE 58136.022
AT ITER 1248 NEW BEST:: SOT 203425 SOS 77830 HAS SOPS 77830 HAS SOUS 57866 HAS SOUPS 57866 WITH SCORE 57943.83
AT ITER 1250 NEW BEST:: SOT 203371 SOS 77653 HAS SOPS 77653 HAS SOUS 57852 HAS SOUPS 57852 WITH SCORE 57929.653
AT ITER 1269 NEW BEST:: SOT 203352 SOS 77566 HAS SOPS 77566 HAS SOUS 57765 HAS SOUPS 57765 WITH SCORE 57842.566
AT ITER 1288 NEW BEST:: SOT 203179 SOS 77383 HAS SOPS 77383 HAS SOUS 57745 HAS SOUPS 57745 WITH SCORE 57822.383
AT ITER 1294 NEW BEST:: SOT 203038 SOS 77161 HAS SOPS 77161 HAS SOUS 57679 HAS SOUPS 57679 WITH SCORE 57756.161
AT ITER 1311 NEW BEST:: SOT 203038 SOS 77160 HAS SOPS 77160 HAS SOUS 57678 HAS SOUPS 57678 WITH SCORE 57755.16
AT ITER 1326 NEW BEST:: SOT 203033 SOS 77150 HAS SOPS 77150 HAS SOUS 57668 HAS SOUPS 57668 WITH SCORE 57745.15
AT ITER 1327 NEW BEST:: SOT 202899 SOS 77016 HAS SOPS 77016 HAS SOUS 57534 HAS SOUPS 57534 WITH SCORE 57611.016
AT ITER 1361 NEW BEST:: SOT 202698 SOS 76880 HAS SOPS 76880 HAS SOUS 57505 HAS SOUPS 57505 WITH SCORE 57581.88
AT ITER 1373 NEW BEST:: SOT 202694 SOS 76876 HAS SOPS 76876 HAS SOUS 57501 HAS SOUPS 57501 WITH SCORE 57577.876
AT ITER 1377 NEW BEST:: SOT 202644 SOS 76826 HAS SOPS 76826 HAS SOUS 57451 HAS SOUPS 57451 WITH SCORE 57527.826
AT ITER 1380 NEW BEST:: SOT 202380 SOS 76488 HAS SOPS 76488 HAS SOUS 57113 HAS SOUPS 57113 WITH SCORE 57189.488
AT ITER 1382 NEW BEST:: SOT 202340 SOS 76408 HAS SOPS 76408 HAS SOUS 57073 HAS SOUPS 57073 WITH SCORE 57149.408
AT ITER 1395 NEW BEST:: SOT 202340 SOS 76378 HAS SOPS 76378 HAS SOUS 57043 HAS SOUPS 57043 WITH SCORE 57119.378
AT ITER 1423 NEW BEST:: SOT 202148 SOS 75994 HAS SOPS 75994 HAS SOUS 56799 HAS SOUPS 56799 WITH SCORE 56874.994
AT ITER 1427 NEW BEST:: SOT 202275 SOS 76121 HAS SOPS 76121 HAS SOUS 56763 HAS SOUPS 56763 WITH SCORE 56839.121
AT ITER 1450 NEW BEST:: SOT 202391 SOS 76070 HAS SOPS 76070 HAS SOUS 56745 HAS SOUPS 56745 WITH SCORE 56821.07
AT ITER 1453 NEW BEST:: SOT 202215 SOS 75893 HAS SOPS 75893 HAS SOUS 56656 HAS SOUPS 56656 WITH SCORE 56731.893
AT ITER 1464 NEW BEST:: SOT 202155 SOS 75745 HAS SOPS 75745 HAS SOUS 56508 HAS SOUPS 56508 WITH SCORE 56583.745
AT ITER 1465 NEW BEST:: SOT 202146 SOS 75733 HAS SOPS 75733 HAS SOUS 56496 HAS SOUPS 56496 WITH SCORE 56571.733
AT ITER 1481 NEW BEST:: SOT 202090 SOS 75667 HAS SOPS 75667 HAS SOUS 56437 HAS SOUPS 56437 WITH SCORE 56512.667
AT ITER 1501 NEW BEST:: SOT 202090 SOS 75613 HAS SOPS 75613 HAS SOUS 56383 HAS SOUPS 56383 WITH SCORE 56458.613
AT ITER 1527 NEW BEST:: SOT 202016 SOS 75539 HAS SOPS 75539 HAS SOUS 56309 HAS SOUPS 56309 WITH SCORE 56384.539
AT ITER 1529 NEW BEST:: SOT 201987 SOS 75481 HAS SOPS 75481 HAS SOUS 56250 HAS SOUPS 56250 WITH SCORE 56325.481
AT ITER 1540 NEW BEST:: SOT 202020 SOS 75319 HAS SOPS 75319 HAS SOUS 56211 HAS SOUPS 56211 WITH SCORE 56286.319
AT ITER 1548 NEW BEST:: SOT 201919 SOS 75117 HAS SOPS 75117 HAS SOUS 55890 HAS SOUPS 55890 WITH SCORE 55965.117
AT ITER 1552 NEW BEST:: SOT 201707 SOS 74905 HAS SOPS 74905 HAS SOUS 55890 HAS SOUPS 55890 WITH SCORE 55964.905
AT ITER 1573 NEW BEST:: SOT 201691 SOS 74873 HAS SOPS 74873 HAS SOUS 55858 HAS SOUPS 55858 WITH SCORE 55932.873
AT ITER 1579 NEW BEST:: SOT 201713 SOS 74858 HAS SOPS 74858 HAS SOUS 55843 HAS SOUPS 55843 WITH SCORE 55917.858
AT ITER 1583 NEW BEST:: SOT 201713 SOS 74851 HAS SOPS 74851 HAS SOUS 55836 HAS SOUPS 55836 WITH SCORE 55910.851
AT ITER 1593 NEW BEST:: SOT 201603 SOS 74741 HAS SOPS 74741 HAS SOUS 55726 HAS SOUPS 55726 WITH SCORE 55800.741
AT ITER 1604 NEW BEST:: SOT 201549 SOS 74687 HAS SOPS 74687 HAS SOUS 55672 HAS SOUPS 55672 WITH SCORE 55746.687
AT ITER 1607 NEW BEST:: SOT 201508 SOS 74645 HAS SOPS 74645 HAS SOUS 55630 HAS SOUPS 55630 WITH SCORE 55704.645
AT ITER 1628 NEW BEST:: SOT 201500 SOS 74637 HAS SOPS 74637 HAS SOUS 55630 HAS SOUPS 55630 WITH SCORE 55704.637
AT ITER 1653 NEW BEST:: SOT 201430 SOS 74566 HAS SOPS 74566 HAS SOUS 55559 HAS SOUPS 55559 WITH SCORE 55633.566
AT ITER 1662 NEW BEST:: SOT 201430 SOS 74320 HAS SOPS 74320 HAS SOUS 55313 HAS SOUPS 55313 WITH SCORE 55387.32
AT ITER 1664 NEW BEST:: SOT 201429 SOS 74318 HAS SOPS 74318 HAS SOUS 55311 HAS SOUPS 55311 WITH SCORE 55385.318
AT ITER 1679 NEW BEST:: SOT 201425 SOS 74311 HAS SOPS 74311 HAS SOUS 55304 HAS SOUPS 55304 WITH SCORE 55378.311
AT ITER 1683 NEW BEST:: SOT 201172 SOS 74058 HAS SOPS 74058 HAS SOUS 55051 HAS SOUPS 55051 WITH SCORE 55125.058
AT ITER 1693 NEW BEST:: SOT 201172 SOS 74045 HAS SOPS 74045 HAS SOUS 55038 HAS SOUPS 55038 WITH SCORE 55112.045
AT ITER 1695 NEW BEST:: SOT 201172 SOS 73975 HAS SOPS 73975 HAS SOUS 55027 HAS SOUPS 55027 WITH SCORE 55100.975
AT ITER 1705 NEW BEST:: SOT 201147 SOS 73950 HAS SOPS 73950 HAS SOUS 55002 HAS SOUPS 55002 WITH SCORE 55075.95
AT ITER 1723 NEW BEST:: SOT 201147 SOS 73950 HAS SOPS 73950 HAS SOUS 54966 HAS SOUPS 54966 WITH SCORE 55039.95
AT ITER 1738 NEW BEST:: SOT 201142 SOS 73940 HAS SOPS 73940 HAS SOUS 54959 HAS SOUPS 54959 WITH SCORE 55032.94
AT ITER 1739 NEW BEST:: SOT 201055 SOS 73931 HAS SOPS 73931 HAS SOUS 54898 HAS SOUPS 54898 WITH SCORE 54971.931
AT ITER 1751 NEW BEST:: SOT 201023 SOS 73883 HAS SOPS 73883 HAS SOUS 54850 HAS SOUPS 54850 WITH SCORE 54923.883
AT ITER 1764 NEW BEST:: SOT 200957 SOS 73817 HAS SOPS 73817 HAS SOUS 54763 HAS SOUPS 54763 WITH SCORE 54836.817
AT ITER 1767 NEW BEST:: SOT 200949 SOS 73808 HAS SOPS 73808 HAS SOUS 54761 HAS SOUPS 54761 WITH SCORE 54834.808
AT ITER 1784 NEW BEST:: SOT 200762 SOS 73705 HAS SOPS 73705 HAS SOUS 54658 HAS SOUPS 54658 WITH SCORE 54731.705
AT ITER 1785 NEW BEST:: SOT 200792 SOS 73726 HAS SOPS 73726 HAS SOUS 54604 HAS SOUPS 54604 WITH SCORE 54677.726
AT ITER 1788 NEW BEST:: SOT 200766 SOS 73669 HAS SOPS 73669 HAS SOUS 54547 HAS SOUPS 54547 WITH SCORE 54620.669
AT ITER 1792 NEW BEST:: SOT 200729 SOS 73595 HAS SOPS 73595 HAS SOUS 54473 HAS SOUPS 54473 WITH SCORE 54546.595
AT ITER 1805 NEW BEST:: SOT 200729 SOS 73334 HAS SOPS 73334 HAS SOUS 54212 HAS SOUPS 54212 WITH SCORE 54285.334
AT ITER 1827 NEW BEST:: SOT 200762 SOS 73303 HAS SOPS 73303 HAS SOUS 54181 HAS SOUPS 54181 WITH SCORE 54254.303
AT ITER 1830 NEW BEST:: SOT 200763 SOS 73334 HAS SOPS 73334 HAS SOUS 54176 HAS SOUPS 54176 WITH SCORE 54249.334
AT ITER 1859 NEW BEST:: SOT 200763 SOS 73313 HAS SOPS 73313 HAS SOUS 54155 HAS SOUPS 54155 WITH SCORE 54228.313
AT ITER 1865 NEW BEST:: SOT 200772 SOS 73331 HAS SOPS 73331 HAS SOUS 54126 HAS SOUPS 54126 WITH SCORE 54199.331
AT ITER 1878 NEW BEST:: SOT 200717 SOS 73218 HAS SOPS 73218 HAS SOUS 53978 HAS SOUPS 53978 WITH SCORE 54051.218
AT ITER 1893 NEW BEST:: SOT 200655 SOS 73094 HAS SOPS 73094 HAS SOUS 53792 HAS SOUPS 53792 WITH SCORE 53865.094
AT ITER 1895 NEW BEST:: SOT 200656 SOS 73090 HAS SOPS 73090 HAS SOUS 53788 HAS SOUPS 53788 WITH SCORE 53861.09
AT ITER 1899 NEW BEST:: SOT 200603 SOS 72916 HAS SOPS 72916 HAS SOUS 53614 HAS SOUPS 53614 WITH SCORE 53686.916
AT ITER 1905 NEW BEST:: SOT 200515 SOS 72698 HAS SOPS 72698 HAS SOUS 53336 HAS SOUPS 53336 WITH SCORE 53408.698
AT ITER 1911 NEW BEST:: SOT 200589 SOS 72641 HAS SOPS 72641 HAS SOUS 53189 HAS SOUPS 53189 WITH SCORE 53261.641
AT ITER 1947 NEW BEST:: SOT 200509 SOS 72470 HAS SOPS 72470 HAS SOUS 53018 HAS SOUPS 53018 WITH SCORE 53090.47
AT ITER 1961 NEW BEST:: SOT 200488 SOS 72449 HAS SOPS 72449 HAS SOUS 52997 HAS SOUPS 52997 WITH SCORE 53069.449
AT ITER 1980 NEW BEST:: SOT 200462 SOS 72397 HAS SOPS 72397 HAS SOUS 52860 HAS SOUPS 52860 WITH SCORE 52932.397
AT ITER 1982 NEW BEST:: SOT 200456 SOS 72391 HAS SOPS 72391 HAS SOUS 52854 HAS SOUPS 52854 WITH SCORE 52926.391
AT ITER 2026 NEW BEST:: SOT 200576 SOS 72443 HAS SOPS 72443 HAS SOUS 52728 HAS SOUPS 52728 WITH SCORE 52800.443
AT ITER 2030 NEW BEST:: SOT 200562 SOS 72429 HAS SOPS 72429 HAS SOUS 52714 HAS SOUPS 52714 WITH SCORE 52786.429
AT ITER 2040 NEW BEST:: SOT 200529 SOS 72396 HAS SOPS 72396 HAS SOUS 52681 HAS SOUPS 52681 WITH SCORE 52753.396
AT ITER 2047 NEW BEST:: SOT 200528 SOS 72305 HAS SOPS 72305 HAS SOUS 52679 HAS SOUPS 52679 WITH SCORE 52751.305
AT ITER 2050 NEW BEST:: SOT 200213 SOS 72040 HAS SOPS 72040 HAS SOUS 52389 HAS SOUPS 52389 WITH SCORE 52461.04
AT ITER 2062 NEW BEST:: SOT 200209 SOS 72032 HAS SOPS 72032 HAS SOUS 52381 HAS SOUPS 52381 WITH SCORE 52453.032
AT ITER 2097 NEW BEST:: SOT 200213 SOS 72031 HAS SOPS 72031 HAS SOUS 52380 HAS SOUPS 52380 WITH SCORE 52452.031
AT ITER 2105 NEW BEST:: SOT 200405 SOS 71970 HAS SOPS 71970 HAS SOUS 52319 HAS SOUPS 52319 WITH SCORE 52390.97
AT ITER 2121 NEW BEST:: SOT 200429 SOS 71920 HAS SOPS 71920 HAS SOUS 52269 HAS SOUPS 52269 WITH SCORE 52340.92
AT ITER 2126 NEW BEST:: SOT 200424 SOS 71817 HAS SOPS 71817 HAS SOUS 52166 HAS SOUPS 52166 WITH SCORE 52237.817
AT ITER 2131 NEW BEST:: SOT 200298 SOS 71565 HAS SOPS 71565 HAS SOUS 51914 HAS SOUPS 51914 WITH SCORE 51985.565
AT ITER 2133 NEW BEST:: SOT 200244 SOS 71492 HAS SOPS 71492 HAS SOUS 51825 HAS SOUPS 51825 WITH SCORE 51896.492
AT ITER 2141 NEW BEST:: SOT 200242 SOS 71457 HAS SOPS 71457 HAS SOUS 51821 HAS SOUPS 51821 WITH SCORE 51892.457
AT ITER 2143 NEW BEST:: SOT 200246 SOS 71452 HAS SOPS 71452 HAS SOUS 51816 HAS SOUPS 51816 WITH SCORE 51887.452
AT ITER 2161 NEW BEST:: SOT 200172 SOS 71348 HAS SOPS 71348 HAS SOUS 51806 HAS SOUPS 51806 WITH SCORE 51877.348
AT ITER 2173 NEW BEST:: SOT 200078 SOS 71264 HAS SOPS 71264 HAS SOUS 51683 HAS SOUPS 51683 WITH SCORE 51754.264
AT ITER 2194 NEW BEST:: SOT 200052 SOS 71418 HAS SOPS 71418 HAS SOUS 51677 HAS SOUPS 51677 WITH SCORE 51748.418
AT ITER 2197 NEW BEST:: SOT 200174 SOS 71351 HAS SOPS 71351 HAS SOUS 51671 HAS SOUPS 51671 WITH SCORE 51742.351
AT ITER 2211 NEW BEST:: SOT 200158 SOS 71286 HAS SOPS 71286 HAS SOUS 51617 HAS SOUPS 51617 WITH SCORE 51688.286
AT ITER 2228 NEW BEST:: SOT 200090 SOS 71093 HAS SOPS 71093 HAS SOUS 51466 HAS SOUPS 51466 WITH SCORE 51537.093
AT ITER 2236 NEW BEST:: SOT 200123 SOS 71017 HAS SOPS 71017 HAS SOUS 51397 HAS SOUPS 51397 WITH SCORE 51468.017
AT ITER 2241 NEW BEST:: SOT 200123 SOS 71017 HAS SOPS 71017 HAS SOUS 51378 HAS SOUPS 51378 WITH SCORE 51449.017
AT ITER 2257 NEW BEST:: SOT 200090 SOS 70954 HAS SOPS 70954 HAS SOUS 51315 HAS SOUPS 51315 WITH SCORE 51385.954
AT ITER 2279 NEW BEST:: SOT 199774 SOS 72046 HAS SOPS 72046 HAS SOUS 51222 HAS SOUPS 51222 WITH SCORE 51294.046
AT ITER 2280 NEW BEST:: SOT 199761 SOS 72033 HAS SOPS 72033 HAS SOUS 51209 HAS SOUPS 51209 WITH SCORE 51281.033
AT ITER 2282 NEW BEST:: SOT 199735 SOS 72007 HAS SOPS 72007 HAS SOUS 51183 HAS SOUPS 51183 WITH SCORE 51255.007
AT ITER 2296 NEW BEST:: SOT 199759 SOS 72018 HAS SOPS 72018 HAS SOUS 51157 HAS SOUPS 51157 WITH SCORE 51229.018
AT ITER 2306 NEW BEST:: SOT 199705 SOS 71928 HAS SOPS 71928 HAS SOUS 51137 HAS SOUPS 51137 WITH SCORE 51208.928
AT ITER 2310 NEW BEST:: SOT 199571 SOS 71806 HAS SOPS 71806 HAS SOUS 50996 HAS SOUPS 50996 WITH SCORE 51067.806
AT ITER 2316 NEW BEST:: SOT 199559 SOS 71794 HAS SOPS 71794 HAS SOUS 50984 HAS SOUPS 50984 WITH SCORE 51055.794
AT ITER 2317 NEW BEST:: SOT 199558 SOS 71793 HAS SOPS 71793 HAS SOUS 50983 HAS SOUPS 50983 WITH SCORE 51054.793
AT ITER 2325 NEW BEST:: SOT 199556 SOS 71791 HAS SOPS 71791 HAS SOUS 50981 HAS SOUPS 50981 WITH SCORE 51052.791
AT ITER 2340 NEW BEST:: SOT 199567 SOS 71587 HAS SOPS 71587 HAS SOUS 50657 HAS SOUPS 50657 WITH SCORE 50728.587
AT ITER 2343 NEW BEST:: SOT 199507 SOS 71459 HAS SOPS 71459 HAS SOUS 50604 HAS SOUPS 50604 WITH SCORE 50675.459
AT ITER 2350 NEW BEST:: SOT 199502 SOS 71456 HAS SOPS 71456 HAS SOUS 50601 HAS SOUPS 50601 WITH SCORE 50672.456
AT ITER 2400 NEW BEST:: SOT 199500 SOS 71437 HAS SOPS 71437 HAS SOUS 50582 HAS SOUPS 50582 WITH SCORE 50653.437
AT ITER 2411 NEW BEST:: SOT 199485 SOS 71422 HAS SOPS 71422 HAS SOUS 50544 HAS SOUPS 50544 WITH SCORE 50615.422
AT ITER 2421 NEW BEST:: SOT 199330 SOS 71389 HAS SOPS 71389 HAS SOUS 50484 HAS SOUPS 50484 WITH SCORE 50555.389
AT ITER 2437 NEW BEST:: SOT 199329 SOS 71387 HAS SOPS 71387 HAS SOUS 50458 HAS SOUPS 50458 WITH SCORE 50529.387
AT ITER 2443 NEW BEST:: SOT 199329 SOS 71387 HAS SOPS 71387 HAS SOUS 50382 HAS SOUPS 50382 WITH SCORE 50453.387
AT ITER 2459 NEW BEST:: SOT 199307 SOS 71354 HAS SOPS 71354 HAS SOUS 50349 HAS SOUPS 50349 WITH SCORE 50420.354
AT ITER 2477 NEW BEST:: SOT 199283 SOS 71318 HAS SOPS 71318 HAS SOUS 50325 HAS SOUPS 50325 WITH SCORE 50396.318
AT ITER 2484 NEW BEST:: SOT 199270 SOS 71292 HAS SOPS 71292 HAS SOUS 50312 HAS SOUPS 50312 WITH SCORE 50383.292
AT ITER 2493 NEW BEST:: SOT 199263 SOS 71281 HAS SOPS 71281 HAS SOUS 50301 HAS SOUPS 50301 WITH SCORE 50372.281
AT ITER 2501 NEW BEST:: SOT 199263 SOS 71230 HAS SOPS 71230 HAS SOUS 50294 HAS SOUPS 50294 WITH SCORE 50365.23
AT ITER 2504 NEW BEST:: SOT 199263 SOS 71230 HAS SOPS 71230 HAS SOUS 50224 HAS SOUPS 50224 WITH SCORE 50295.23
AT ITER 2510 NEW BEST:: SOT 199240 SOS 71217 HAS SOPS 71217 HAS SOUS 50211 HAS SOUPS 50211 WITH SCORE 50282.217
AT ITER 2511 NEW BEST:: SOT 199142 SOS 71026 HAS SOPS 71026 HAS SOUS 50108 HAS SOUPS 50108 WITH SCORE 50179.026
AT ITER 2519 NEW BEST:: SOT 199068 SOS 70878 HAS SOPS 70878 HAS SOUS 49960 HAS SOUPS 49960 WITH SCORE 50030.878
AT ITER 2524 NEW BEST:: SOT 199066 SOS 70809 HAS SOPS 70809 HAS SOUS 49941 HAS SOUPS 49941 WITH SCORE 50011.809
AT ITER 2533 NEW BEST:: SOT 199039 SOS 70747 HAS SOPS 70747 HAS SOUS 49879 HAS SOUPS 49879 WITH SCORE 49949.747
AT ITER 2534 NEW BEST:: SOT 199019 SOS 70727 HAS SOPS 70727 HAS SOUS 49859 HAS SOUPS 49859 WITH SCORE 49929.727
AT ITER 2537 NEW BEST:: SOT 198999 SOS 70687 HAS SOPS 70687 HAS SOUS 49819 HAS SOUPS 49819 WITH SCORE 49889.687
AT ITER 2544 NEW BEST:: SOT 199016 SOS 70692 HAS SOPS 70692 HAS SOUS 49774 HAS SOUPS 49774 WITH SCORE 49844.692
AT ITER 2559 NEW BEST:: SOT 199006 SOS 70677 HAS SOPS 70677 HAS SOUS 49759 HAS SOUPS 49759 WITH SCORE 49829.677
AT ITER 2560 NEW BEST:: SOT 198975 SOS 70646 HAS SOPS 70646 HAS SOUS 49705 HAS SOUPS 49705 WITH SCORE 49775.646
AT ITER 2576 NEW BEST:: SOT 198975 SOS 70502 HAS SOPS 70502 HAS SOUS 49571 HAS SOUPS 49571 WITH SCORE 49641.502
AT ITER 2578 NEW BEST:: SOT 198975 SOS 70494 HAS SOPS 70494 HAS SOUS 49563 HAS SOUPS 49563 WITH SCORE 49633.494
AT ITER 2579 NEW BEST:: SOT 198925 SOS 70452 HAS SOPS 70452 HAS SOUS 49521 HAS SOUPS 49521 WITH SCORE 49591.452
AT ITER 2597 NEW BEST:: SOT 198924 SOS 70450 HAS SOPS 70450 HAS SOUS 49519 HAS SOUPS 49519 WITH SCORE 49589.45
AT ITER 2609 NEW BEST:: SOT 198840 SOS 70366 HAS SOPS 70366 HAS SOUS 49435 HAS SOUPS 49435 WITH SCORE 49505.366
AT ITER 2611 NEW BEST:: SOT 198840 SOS 70295 HAS SOPS 70295 HAS SOUS 49364 HAS SOUPS 49364 WITH SCORE 49434.295
AT ITER 2614 NEW BEST:: SOT 198830 SOS 70275 HAS SOPS 70275 HAS SOUS 49344 HAS SOUPS 49344 WITH SCORE 49414.275
AT ITER 2639 NEW BEST:: SOT 198816 SOS 70251 HAS SOPS 70251 HAS SOUS 49320 HAS SOUPS 49320 WITH SCORE 49390.251
AT ITER 2650 NEW BEST:: SOT 198816 SOS 70242 HAS SOPS 70242 HAS SOUS 49311 HAS SOUPS 49311 WITH SCORE 49381.242
AT ITER 2671 NEW BEST:: SOT 198797 SOS 70204 HAS SOPS 70204 HAS SOUS 49229 HAS SOUPS 49229 WITH SCORE 49299.204
AT ITER 2683 NEW BEST:: SOT 198793 SOS 70198 HAS SOPS 70198 HAS SOUS 49223 HAS SOUPS 49223 WITH SCORE 49293.198
AT ITER 2695 NEW BEST:: SOT 198824 SOS 70154 HAS SOPS 70154 HAS SOUS 48981 HAS SOUPS 48981 WITH SCORE 49051.154
AT ITER 2697 NEW BEST:: SOT 198487 SOS 69833 HAS SOPS 69833 HAS SOUS 48895 HAS SOUPS 48895 WITH SCORE 48964.833
AT ITER 2717 NEW BEST:: SOT 198457 SOS 69742 HAS SOPS 69742 HAS SOUS 48804 HAS SOUPS 48804 WITH SCORE 48873.742
AT ITER 2719 NEW BEST:: SOT 198397 SOS 69622 HAS SOPS 69622 HAS SOUS 48684 HAS SOUPS 48684 WITH SCORE 48753.622
AT ITER 2724 NEW BEST:: SOT 198234 SOS 69487 HAS SOPS 69487 HAS SOUS 48495 HAS SOUPS 48495 WITH SCORE 48564.487
AT ITER 2726 NEW BEST:: SOT 198208 SOS 69448 HAS SOPS 69448 HAS SOUS 48469 HAS SOUPS 48469 WITH SCORE 48538.448
AT ITER 2750 NEW BEST:: SOT 198178 SOS 69417 HAS SOPS 69417 HAS SOUS 48438 HAS SOUPS 48438 WITH SCORE 48507.417
AT ITER 2755 NEW BEST:: SOT 198143 SOS 69362 HAS SOPS 69362 HAS SOUS 48374 HAS SOUPS 48374 WITH SCORE 48443.362
AT ITER 2757 NEW BEST:: SOT 198140 SOS 69356 HAS SOPS 69356 HAS SOUS 48368 HAS SOUPS 48368 WITH SCORE 48437.356
AT ITER 2760 NEW BEST:: SOT 198134 SOS 69343 HAS SOPS 69343 HAS SOUS 48355 HAS SOUPS 48355 WITH SCORE 48424.343
AT ITER 2763 NEW BEST:: SOT 198095 SOS 69285 HAS SOPS 69285 HAS SOUS 48297 HAS SOUPS 48297 WITH SCORE 48366.285
AT ITER 2767 NEW BEST:: SOT 198042 SOS 69179 HAS SOPS 69179 HAS SOUS 48171 HAS SOUPS 48171 WITH SCORE 48240.179
AT ITER 2775 NEW BEST:: SOT 197884 SOS 68965 HAS SOPS 68965 HAS SOUS 47957 HAS SOUPS 47957 WITH SCORE 48025.965
AT ITER 2783 NEW BEST:: SOT 197874 SOS 68931 HAS SOPS 68931 HAS SOUS 47923 HAS SOUPS 47923 WITH SCORE 47991.931
AT ITER 2800 NEW BEST:: SOT 197874 SOS 68925 HAS SOPS 68925 HAS SOUS 47917 HAS SOUPS 47917 WITH SCORE 47985.925
AT ITER 2816 NEW BEST:: SOT 197856 SOS 68889 HAS SOPS 68889 HAS SOUS 47881 HAS SOUPS 47881 WITH SCORE 47949.889
AT ITER 2836 NEW BEST:: SOT 197781 SOS 68814 HAS SOPS 68814 HAS SOUS 47806 HAS SOUPS 47806 WITH SCORE 47874.814
AT ITER 2842 NEW BEST:: SOT 197780 SOS 68813 HAS SOPS 68813 HAS SOUS 47805 HAS SOUPS 47805 WITH SCORE 47873.813
AT ITER 2844 NEW BEST:: SOT 197778 SOS 68809 HAS SOPS 68809 HAS SOUS 47801 HAS SOUPS 47801 WITH SCORE 47869.809
AT ITER 2848 NEW BEST:: SOT 197779 SOS 68770 HAS SOPS 68770 HAS SOUS 47794 HAS SOUPS 47794 WITH SCORE 47862.77
AT ITER 2859 NEW BEST:: SOT 197801 SOS 68814 HAS SOPS 68814 HAS SOUS 47793 HAS SOUPS 47793 WITH SCORE 47861.814
AT ITER 2881 NEW BEST:: SOT 197769 SOS 68238 HAS SOPS 68238 HAS SOUS 47729 HAS SOUPS 47729 WITH SCORE 47797.238
AT ITER 2895 NEW BEST:: SOT 197725 SOS 68150 HAS SOPS 68150 HAS SOUS 47641 HAS SOUPS 47641 WITH SCORE 47709.15
AT ITER 2900 NEW BEST:: SOT 197685 SOS 68109 HAS SOPS 68109 HAS SOUS 47600 HAS SOUPS 47600 WITH SCORE 47668.109
AT ITER 2908 NEW BEST:: SOT 197676 SOS 68082 HAS SOPS 68082 HAS SOUS 47582 HAS SOUPS 47582 WITH SCORE 47650.082
AT ITER 2929 NEW BEST:: SOT 197710 SOS 68025 HAS SOPS 68025 HAS SOUS 47525 HAS SOUPS 47525 WITH SCORE 47593.025
AT ITER 2932 NEW BEST:: SOT 197638 SOS 67876 HAS SOPS 67876 HAS SOUS 47376 HAS SOUPS 47376 WITH SCORE 47443.876
AT ITER 2941 NEW BEST:: SOT 197638 SOS 67873 HAS SOPS 67873 HAS SOUS 47373 HAS SOUPS 47373 WITH SCORE 47440.873
AT ITER 2946 NEW BEST:: SOT 197593 SOS 67843 HAS SOPS 67843 HAS SOUS 47343 HAS SOUPS 47343 WITH SCORE 47410.843
AT ITER 2984 NEW BEST:: SOT 197602 SOS 67804 HAS SOPS 67804 HAS SOUS 47304 HAS SOUPS 47304 WITH SCORE 47371.804
AT ITER 2991 NEW BEST:: SOT 197451 SOS 67653 HAS SOPS 67653 HAS SOUS 47304 HAS SOUPS 47304 WITH SCORE 47371.653
AT ITER 3001 NEW BEST:: SOT 197286 SOS 67473 HAS SOPS 67473 HAS SOUS 47124 HAS SOUPS 47124 WITH SCORE 47191.473
AT ITER 3005 NEW BEST:: SOT 197276 SOS 67462 HAS SOPS 67462 HAS SOUS 47111 HAS SOUPS 47111 WITH SCORE 47178.462
AT ITER 3008 NEW BEST:: SOT 197405 SOS 67503 HAS SOPS 67503 HAS SOUS 47036 HAS SOUPS 47036 WITH SCORE 47103.503
AT ITER 3012 NEW BEST:: SOT 197377 SOS 67447 HAS SOPS 67447 HAS SOUS 46980 HAS SOUPS 46980 WITH SCORE 47047.447
AT ITER 3018 NEW BEST:: SOT 197376 SOS 67445 HAS SOPS 67445 HAS SOUS 46978 HAS SOUPS 46978 WITH SCORE 47045.445
AT ITER 3032 NEW BEST:: SOT 197387 SOS 67452 HAS SOPS 67452 HAS SOUS 46974 HAS SOUPS 46974 WITH SCORE 47041.452
AT ITER 3063 NEW BEST:: SOT 197414 SOS 67506 HAS SOPS 67506 HAS SOUS 46902 HAS SOUPS 46902 WITH SCORE 46969.506
AT ITER 3075 NEW BEST:: SOT 197414 SOS 67503 HAS SOPS 67503 HAS SOUS 46899 HAS SOUPS 46899 WITH SCORE 46966.503
AT ITER 3077 NEW BEST:: SOT 197414 SOS 67477 HAS SOPS 67477 HAS SOUS 46873 HAS SOUPS 46873 WITH SCORE 46940.477
AT ITER 3109 NEW BEST:: SOT 197434 SOS 67438 HAS SOPS 67438 HAS SOUS 46834 HAS SOUPS 46834 WITH SCORE 46901.438
AT ITER 3115 NEW BEST:: SOT 197384 SOS 67388 HAS SOPS 67388 HAS SOUS 46793 HAS SOUPS 46793 WITH SCORE 46860.388
AT ITER 3127 NEW BEST:: SOT 197347 SOS 67384 HAS SOPS 67384 HAS SOUS 46789 HAS SOUPS 46789 WITH SCORE 46856.384
AT ITER 3135 NEW BEST:: SOT 197055 SOS 67124 HAS SOPS 67124 HAS SOUS 46744 HAS SOUPS 46744 WITH SCORE 46811.124
AT ITER 3147 NEW BEST:: SOT 197043 SOS 67104 HAS SOPS 67104 HAS SOUS 46724 HAS SOUPS 46724 WITH SCORE 46791.104
AT ITER 3183 NEW BEST:: SOT 197043 SOS 67094 HAS SOPS 67094 HAS SOUS 46714 HAS SOUPS 46714 WITH SCORE 46781.094
AT ITER 3208 NEW BEST:: SOT 197043 SOS 67094 HAS SOPS 67094 HAS SOUS 46706 HAS SOUPS 46706 WITH SCORE 46773.094
AT ITER 3220 NEW BEST:: SOT 197041 SOS 67091 HAS SOPS 67091 HAS SOUS 46704 HAS SOUPS 46704 WITH SCORE 46771.091
AT ITER 3237 NEW BEST:: SOT 196771 SOS 66785 HAS SOPS 66785 HAS SOUS 46632 HAS SOUPS 46632 WITH SCORE 46698.785
AT ITER 3251 NEW BEST:: SOT 196771 SOS 66785 HAS SOPS 66785 HAS SOUS 46612 HAS SOUPS 46612 WITH SCORE 46678.785
AT ITER 3254 NEW BEST:: SOT 196757 SOS 66677 HAS SOPS 66677 HAS SOUS 46564 HAS SOUPS 46564 WITH SCORE 46630.677
AT ITER 3265 NEW BEST:: SOT 196815 SOS 66625 HAS SOPS 66625 HAS SOUS 46512 HAS SOUPS 46512 WITH SCORE 46578.625
AT ITER 3268 NEW BEST:: SOT 196812 SOS 66163 HAS SOPS 66163 HAS SOUS 46455 HAS SOUPS 46455 WITH SCORE 46521.163
AT ITER 3278 NEW BEST:: SOT 196812 SOS 66153 HAS SOPS 66153 HAS SOUS 46445 HAS SOUPS 46445 WITH SCORE 46511.153
AT ITER 3283 NEW BEST:: SOT 196812 SOS 66078 HAS SOPS 66078 HAS SOUS 46370 HAS SOUPS 46370 WITH SCORE 46436.078
AT ITER 3312 NEW BEST:: SOT 196816 SOS 66061 HAS SOPS 66061 HAS SOUS 46352 HAS SOUPS 46352 WITH SCORE 46418.061
AT ITER 3313 NEW BEST:: SOT 196816 SOS 66030 HAS SOPS 66030 HAS SOUS 46321 HAS SOUPS 46321 WITH SCORE 46387.03
AT ITER 3327 NEW BEST:: SOT 196787 SOS 66002 HAS SOPS 66002 HAS SOUS 46293 HAS SOUPS 46293 WITH SCORE 46359.002
AT ITER 3336 NEW BEST:: SOT 196756 SOS 65991 HAS SOPS 65991 HAS SOUS 46282 HAS SOUPS 46282 WITH SCORE 46347.991
AT ITER 3345 NEW BEST:: SOT 196664 SOS 65954 HAS SOPS 65954 HAS SOUS 46245 HAS SOUPS 46245 WITH SCORE 46310.954
AT ITER 3353 NEW BEST:: SOT 196604 SOS 65834 HAS SOPS 65834 HAS SOUS 46185 HAS SOUPS 46185 WITH SCORE 46250.834
AT ITER 3367 NEW BEST:: SOT 196603 SOS 65802 HAS SOPS 65802 HAS SOUS 46153 HAS SOUPS 46153 WITH SCORE 46218.802
AT ITER 3395 NEW BEST:: SOT 196592 SOS 65791 HAS SOPS 65791 HAS SOUS 46142 HAS SOUPS 46142 WITH SCORE 46207.791
AT ITER 3410 NEW BEST:: SOT 196586 SOS 65785 HAS SOPS 65785 HAS SOUS 46136 HAS SOUPS 46136 WITH SCORE 46201.785
AT ITER 3414 NEW BEST:: SOT 196575 SOS 65774 HAS SOPS 65774 HAS SOUS 46114 HAS SOUPS 46114 WITH SCORE 46179.774
AT ITER 3434 NEW BEST:: SOT 196512 SOS 65698 HAS SOPS 65698 HAS SOUS 46088 HAS SOUPS 46088 WITH SCORE 46153.698
AT ITER 3436 NEW BEST:: SOT 196516 SOS 65618 HAS SOPS 65618 HAS SOUS 45920 HAS SOUPS 45920 WITH SCORE 45985.618
AT ITER 3476 NEW BEST:: SOT 196515 SOS 65614 HAS SOPS 65614 HAS SOUS 45916 HAS SOUPS 45916 WITH SCORE 45981.614
AT ITER 3481 NEW BEST:: SOT 196469 SOS 65545 HAS SOPS 65545 HAS SOUS 45847 HAS SOUPS 45847 WITH SCORE 45912.545
AT ITER 3494 NEW BEST:: SOT 196447 SOS 65518 HAS SOPS 65518 HAS SOUS 45820 HAS SOUPS 45820 WITH SCORE 45885.518
AT ITER 3503 NEW BEST:: SOT 196467 SOS 65506 HAS SOPS 65506 HAS SOUS 45808 HAS SOUPS 45808 WITH SCORE 45873.506
AT ITER 3522 NEW BEST:: SOT 196494 SOS 65482 HAS SOPS 65482 HAS SOUS 45784 HAS SOUPS 45784 WITH SCORE 45849.482
AT ITER 3543 NEW BEST:: SOT 196494 SOS 65376 HAS SOPS 65376 HAS SOUS 45748 HAS SOUPS 45748 WITH SCORE 45813.376
AT ITER 3546 NEW BEST:: SOT 196493 SOS 65406 HAS SOPS 65406 HAS SOUS 45746 HAS SOUPS 45746 WITH SCORE 45811.406
AT ITER 3550 NEW BEST:: SOT 196492 SOS 65405 HAS SOPS 65405 HAS SOUS 45745 HAS SOUPS 45745 WITH SCORE 45810.405
AT ITER 3559 NEW BEST:: SOT 196444 SOS 65357 HAS SOPS 65357 HAS SOUS 45697 HAS SOUPS 45697 WITH SCORE 45762.357
AT ITER 3566 NEW BEST:: SOT 196446 SOS 65341 HAS SOPS 65341 HAS SOUS 45681 HAS SOUPS 45681 WITH SCORE 45746.341
AT ITER 3567 NEW BEST:: SOT 196358 SOS 65237 HAS SOPS 65237 HAS SOUS 45577 HAS SOUPS 45577 WITH SCORE 45642.237
AT ITER 3617 NEW BEST:: SOT 196343 SOS 65137 HAS SOPS 65137 HAS SOUS 45516 HAS SOUPS 45516 WITH SCORE 45581.137
AT ITER 3627 NEW BEST:: SOT 196343 SOS 65123 HAS SOPS 65123 HAS SOUS 45502 HAS SOUPS 45502 WITH SCORE 45567.123
AT ITER 3639 NEW BEST:: SOT 196305 SOS 64982 HAS SOPS 64982 HAS SOUS 45361 HAS SOUPS 45361 WITH SCORE 45425.982
AT ITER 3670 NEW BEST:: SOT 196274 SOS 64951 HAS SOPS 64951 HAS SOUS 45319 HAS SOUPS 45319 WITH SCORE 45383.951
AT ITER 3676 NEW BEST:: SOT 196242 SOS 64891 HAS SOPS 64891 HAS SOUS 45262 HAS SOUPS 45262 WITH SCORE 45326.891
AT ITER 3680 NEW BEST:: SOT 196212 SOS 64861 HAS SOPS 64861 HAS SOUS 45232 HAS SOUPS 45232 WITH SCORE 45296.861
AT ITER 3722 NEW BEST:: SOT 196215 SOS 64867 HAS SOPS 64867 HAS SOUS 45231 HAS SOUPS 45231 WITH SCORE 45295.867
AT ITER 3736 NEW BEST:: SOT 196206 SOS 64849 HAS SOPS 64849 HAS SOUS 45213 HAS SOUPS 45213 WITH SCORE 45277.849
AT ITER 3743 NEW BEST:: SOT 196206 SOS 64755 HAS SOPS 64755 HAS SOUS 45139 HAS SOUPS 45139 WITH SCORE 45203.755
AT ITER 3766 NEW BEST:: SOT 196196 SOS 64735 HAS SOPS 64735 HAS SOUS 45119 HAS SOUPS 45119 WITH SCORE 45183.735
AT ITER 3773 NEW BEST:: SOT 196175 SOS 64724 HAS SOPS 64724 HAS SOUS 45108 HAS SOUPS 45108 WITH SCORE 45172.724
AT ITER 3795 NEW BEST:: SOT 196176 SOS 64726 HAS SOPS 64726 HAS SOUS 45096 HAS SOUPS 45096 WITH SCORE 45160.726
AT ITER 3796 NEW BEST:: SOT 196121 SOS 64671 HAS SOPS 64671 HAS SOUS 45041 HAS SOUPS 45041 WITH SCORE 45105.671
AT ITER 3819 NEW BEST:: SOT 196148 SOS 64695 HAS SOPS 64695 HAS SOUS 44978 HAS SOUPS 44978 WITH SCORE 45042.695
AT ITER 3835 NEW BEST:: SOT 196107 SOS 65767 HAS SOPS 65767 HAS SOUS 44969 HAS SOUPS 44969 WITH SCORE 45034.767
AT ITER 3838 NEW BEST:: SOT 196091 SOS 65807 HAS SOPS 65807 HAS SOUS 44947 HAS SOUPS 44947 WITH SCORE 45012.807
AT ITER 3845 NEW BEST:: SOT 196091 SOS 65802 HAS SOPS 65802 HAS SOUS 44942 HAS SOUPS 44942 WITH SCORE 45007.802
AT ITER 3884 NEW BEST:: SOT 196084 SOS 65795 HAS SOPS 65795 HAS SOUS 44942 HAS SOUPS 44942 WITH SCORE 45007.795
AT ITER 3888 NEW BEST:: SOT 196072 SOS 65771 HAS SOPS 65771 HAS SOUS 44918 HAS SOUPS 44918 WITH SCORE 44983.771
AT ITER 3920 NEW BEST:: SOT 196072 SOS 65683 HAS SOPS 65683 HAS SOUS 44875 HAS SOUPS 44875 WITH SCORE 44940.683
AT ITER 3925 NEW BEST:: SOT 196036 SOS 65609 HAS SOPS 65609 HAS SOUS 44801 HAS SOUPS 44801 WITH SCORE 44866.609
AT ITER 3931 NEW BEST:: SOT 195690 SOS 65358 HAS SOPS 65358 HAS SOUS 44550 HAS SOUPS 44550 WITH SCORE 44615.358
AT ITER 3933 NEW BEST:: SOT 195686 SOS 65350 HAS SOPS 65350 HAS SOUS 44512 HAS SOUPS 44512 WITH SCORE 44577.35
AT ITER 3960 NEW BEST:: SOT 195686 SOS 65338 HAS SOPS 65338 HAS SOUS 44500 HAS SOUPS 44500 WITH SCORE 44565.338
AT ITER 3971 NEW BEST:: SOT 195685 SOS 65336 HAS SOPS 65336 HAS SOUS 44498 HAS SOUPS 44498 WITH SCORE 44563.336
AT ITER 4004 NEW BEST:: SOT 195684 SOS 65334 HAS SOPS 65334 HAS SOUS 44496 HAS SOUPS 44496 WITH SCORE 44561.334
AT ITER 4012 NEW BEST:: SOT 195645 SOS 65248 HAS SOPS 65248 HAS SOUS 44449 HAS SOUPS 44449 WITH SCORE 44514.248
AT ITER 4021 NEW BEST:: SOT 195644 SOS 65247 HAS SOPS 65247 HAS SOUS 44448 HAS SOUPS 44448 WITH SCORE 44513.247
AT ITER 4042 NEW BEST:: SOT 195644 SOS 65205 HAS SOPS 65205 HAS SOUS 44448 HAS SOUPS 44448 WITH SCORE 44513.205
AT ITER 4043 NEW BEST:: SOT 195642 SOS 65201 HAS SOPS 65201 HAS SOUS 44444 HAS SOUPS 44444 WITH SCORE 44509.201
AT ITER 4053 NEW BEST:: SOT 195509 SOS 65068 HAS SOPS 65068 HAS SOUS 44308 HAS SOUPS 44308 WITH SCORE 44373.068
AT ITER 4065 NEW BEST:: SOT 195509 SOS 64981 HAS SOPS 64981 HAS SOUS 44308 HAS SOUPS 44308 WITH SCORE 44372.981
AT ITER 4085 NEW BEST:: SOT 195509 SOS 64981 HAS SOPS 64981 HAS SOUS 44302 HAS SOUPS 44302 WITH SCORE 44366.981
AT ITER 4094 NEW BEST:: SOT 195459 SOS 64950 HAS SOPS 64950 HAS SOUS 44300 HAS SOUPS 44300 WITH SCORE 44364.95
AT ITER 4112 NEW BEST:: SOT 195324 SOS 64680 HAS SOPS 64680 HAS SOUS 44070 HAS SOUPS 44070 WITH SCORE 44134.68
AT ITER 4114 NEW BEST:: SOT 195353 SOS 64708 HAS SOPS 64708 HAS SOUS 44068 HAS SOUPS 44068 WITH SCORE 44132.708
AT ITER 4124 NEW BEST:: SOT 195273 SOS 64588 HAS SOPS 64588 HAS SOUS 43988 HAS SOUPS 43988 WITH SCORE 44052.588
AT ITER 4146 NEW BEST:: SOT 195225 SOS 64492 HAS SOPS 64492 HAS SOUS 43892 HAS SOUPS 43892 WITH SCORE 43956.492
AT ITER 4206 NEW BEST:: SOT 195225 SOS 64479 HAS SOPS 64479 HAS SOUS 43879 HAS SOUPS 43879 WITH SCORE 43943.479
AT ITER 4207 NEW BEST:: SOT 195270 SOS 64523 HAS SOPS 64523 HAS SOUS 43877 HAS SOUPS 43877 WITH SCORE 43941.523
AT ITER 4232 NEW BEST:: SOT 195242 SOS 64505 HAS SOPS 64505 HAS SOUS 43859 HAS SOUPS 43859 WITH SCORE 43923.505
AT ITER 4234 NEW BEST:: SOT 195193 SOS 64459 HAS SOPS 64459 HAS SOUS 43813 HAS SOUPS 43813 WITH SCORE 43877.459
AT ITER 4276 NEW BEST:: SOT 195187 SOS 64453 HAS SOPS 64453 HAS SOUS 43801 HAS SOUPS 43801 WITH SCORE 43865.453
AT ITER 4280 NEW BEST:: SOT 195226 SOS 64382 HAS SOPS 64382 HAS SOUS 43730 HAS SOUPS 43730 WITH SCORE 43794.382
AT ITER 4283 NEW BEST:: SOT 195171 SOS 64272 HAS SOPS 64272 HAS SOUS 43620 HAS SOUPS 43620 WITH SCORE 43684.272
AT ITER 4349 NEW BEST:: SOT 195157 SOS 64244 HAS SOPS 64244 HAS SOUS 43606 HAS SOUPS 43606 WITH SCORE 43670.244
AT ITER 4360 NEW BEST:: SOT 195105 SOS 64140 HAS SOPS 64140 HAS SOUS 43502 HAS SOUPS 43502 WITH SCORE 43566.14
AT ITER 4380 NEW BEST:: SOT 195003 SOS 63936 HAS SOPS 63936 HAS SOUS 43298 HAS SOUPS 43298 WITH SCORE 43361.936
AT ITER 4382 NEW BEST:: SOT 195003 SOS 63896 HAS SOPS 63896 HAS SOUS 43258 HAS SOUPS 43258 WITH SCORE 43321.896
AT ITER 4389 NEW BEST:: SOT 195013 SOS 63765 HAS SOPS 63765 HAS SOUS 43127 HAS SOUPS 43127 WITH SCORE 43190.765
AT ITER 4394 NEW BEST:: SOT 195013 SOS 63765 HAS SOPS 63765 HAS SOUS 43109 HAS SOUPS 43109 WITH SCORE 43172.765
AT ITER 4425 NEW BEST:: SOT 195014 SOS 63748 HAS SOPS 63748 HAS SOUS 43102 HAS SOUPS 43102 WITH SCORE 43165.748
AT ITER 4437 NEW BEST:: SOT 194994 SOS 63721 HAS SOPS 63721 HAS SOUS 43075 HAS SOUPS 43075 WITH SCORE 43138.721
AT ITER 4438 NEW BEST:: SOT 194928 SOS 63630 HAS SOPS 63630 HAS SOUS 43050 HAS SOUPS 43050 WITH SCORE 43113.63
AT ITER 4469 NEW BEST:: SOT 194888 SOS 63598 HAS SOPS 63598 HAS SOUS 43018 HAS SOUPS 43018 WITH SCORE 43081.598
AT ITER 4480 NEW BEST:: SOT 194867 SOS 63556 HAS SOPS 63556 HAS SOUS 42997 HAS SOUPS 42997 WITH SCORE 43060.556
AT ITER 4491 NEW BEST:: SOT 194845 SOS 63512 HAS SOPS 63512 HAS SOUS 42953 HAS SOUPS 42953 WITH SCORE 43016.512
AT ITER 4502 NEW BEST:: SOT 194818 SOS 63489 HAS SOPS 63489 HAS SOUS 42930 HAS SOUPS 42930 WITH SCORE 42993.489
AT ITER 4515 NEW BEST:: SOT 194817 SOS 63488 HAS SOPS 63488 HAS SOUS 42929 HAS SOUPS 42929 WITH SCORE 42992.488
AT ITER 4523 NEW BEST:: SOT 194790 SOS 63461 HAS SOPS 63461 HAS SOUS 42909 HAS SOUPS 42909 WITH SCORE 42972.461
AT ITER 4533 NEW BEST:: SOT 194734 SOS 63433 HAS SOPS 63433 HAS SOUS 42881 HAS SOUPS 42881 WITH SCORE 42944.433
AT ITER 4536 NEW BEST:: SOT 194713 SOS 63412 HAS SOPS 63412 HAS SOUS 42860 HAS SOUPS 42860 WITH SCORE 42923.412
AT ITER 4545 NEW BEST:: SOT 194711 SOS 63408 HAS SOPS 63408 HAS SOUS 42856 HAS SOUPS 42856 WITH SCORE 42919.408
AT ITER 4590 NEW BEST:: SOT 194725 SOS 63331 HAS SOPS 63331 HAS SOUS 42779 HAS SOUPS 42779 WITH SCORE 42842.331
AT ITER 4610 NEW BEST:: SOT 194725 SOS 63331 HAS SOPS 63331 HAS SOUS 42762 HAS SOUPS 42762 WITH SCORE 42825.331
AT ITER 4611 NEW BEST:: SOT 194647 SOS 63097 HAS SOPS 63097 HAS SOUS 42528 HAS SOUPS 42528 WITH SCORE 42591.097
AT ITER 4629 NEW BEST:: SOT 194658 SOS 63094 HAS SOPS 63094 HAS SOUS 42525 HAS SOUPS 42525 WITH SCORE 42588.094
AT ITER 4635 NEW BEST:: SOT 194656 SOS 63059 HAS SOPS 63059 HAS SOUS 42494 HAS SOUPS 42494 WITH SCORE 42557.059
AT ITER 4641 NEW BEST:: SOT 194641 SOS 63044 HAS SOPS 63044 HAS SOUS 42494 HAS SOUPS 42494 WITH SCORE 42557.044
AT ITER 4673 NEW BEST:: SOT 194699 SOS 63160 HAS SOPS 63160 HAS SOUS 42475 HAS SOUPS 42475 WITH SCORE 42538.16
AT ITER 4676 NEW BEST:: SOT 194661 SOS 63156 HAS SOPS 63156 HAS SOUS 42471 HAS SOUPS 42471 WITH SCORE 42534.156
AT ITER 4715 NEW BEST:: SOT 194659 SOS 63154 HAS SOPS 63154 HAS SOUS 42469 HAS SOUPS 42469 WITH SCORE 42532.154
AT ITER 4716 NEW BEST:: SOT 194659 SOS 63145 HAS SOPS 63145 HAS SOUS 42465 HAS SOUPS 42465 WITH SCORE 42528.145
AT ITER 4762 NEW BEST:: SOT 194623 SOS 63105 HAS SOPS 63105 HAS SOUS 42425 HAS SOUPS 42425 WITH SCORE 42488.105
AT ITER 4791 NEW BEST:: SOT 194623 SOS 63048 HAS SOPS 63048 HAS SOUS 42368 HAS SOUPS 42368 WITH SCORE 42431.048
AT ITER 4832 NEW BEST:: SOT 194517 SOS 62836 HAS SOPS 62836 HAS SOUS 42209 HAS SOUPS 42209 WITH SCORE 42271.836
AT ITER 4877 NEW BEST:: SOT 194489 SOS 62767 HAS SOPS 62767 HAS SOUS 42195 HAS SOUPS 42195 WITH SCORE 42257.767
AT ITER 4885 NEW BEST:: SOT 194486 SOS 62764 HAS SOPS 62764 HAS SOUS 42192 HAS SOUPS 42192 WITH SCORE 42254.764
AT ITER 4914 NEW BEST:: SOT 194475 SOS 62742 HAS SOPS 62742 HAS SOUS 42181 HAS SOUPS 42181 WITH SCORE 42243.742
AT ITER 4915 NEW BEST:: SOT 194417 SOS 62679 HAS SOPS 62679 HAS SOUS 42171 HAS SOUPS 42171 WITH SCORE 42233.679
AT ITER 4918 NEW BEST:: SOT 194388 SOS 62648 HAS SOPS 62648 HAS SOUS 42111 HAS SOUPS 42111 WITH SCORE 42173.648
AT ITER 4931 NEW BEST:: SOT 194388 SOS 62638 HAS SOPS 62638 HAS SOUS 42101 HAS SOUPS 42101 WITH SCORE 42163.638
AT ITER 4989 NEW BEST:: SOT 194390 SOS 62619 HAS SOPS 62619 HAS SOUS 42082 HAS SOUPS 42082 WITH SCORE 42144.619
AT ITER 4990 NEW BEST:: SOT 194375 SOS 62604 HAS SOPS 62604 HAS SOUS 42067 HAS SOUPS 42067 WITH SCORE 42129.604
AT ITER 5003 NEW BEST:: SOT 194375 SOS 62567 HAS SOPS 62567 HAS SOUS 41993 HAS SOUPS 41993 WITH SCORE 42055.567
AT ITER 5045 NEW BEST:: SOT 194367 SOS 62559 HAS SOPS 62559 HAS SOUS 41985 HAS SOUPS 41985 WITH SCORE 42047.559
AT ITER 5081 NEW BEST:: SOT 194343 SOS 62535 HAS SOPS 62535 HAS SOUS 41985 HAS SOUPS 41985 WITH SCORE 42047.535
AT ITER 5159 NEW BEST:: SOT 194374 SOS 62522 HAS SOPS 62522 HAS SOUS 41972 HAS SOUPS 41972 WITH SCORE 42034.522
AT ITER 5193 NEW BEST:: SOT 194374 SOS 62520 HAS SOPS 62520 HAS SOUS 41970 HAS SOUPS 41970 WITH SCORE 42032.52
AT ITER 5194 NEW BEST:: SOT 194404 SOS 62578 HAS SOPS 62578 HAS SOUS 41952 HAS SOUPS 41952 WITH SCORE 42014.578
AT ITER 5249 NEW BEST:: SOT 194354 SOS 62528 HAS SOPS 62528 HAS SOUS 41902 HAS SOUPS 41902 WITH SCORE 41964.528
AT ITER 5256 NEW BEST:: SOT 194317 SOS 62466 HAS SOPS 62466 HAS SOUS 41859 HAS SOUPS 41859 WITH SCORE 41921.466
AT ITER 5263 NEW BEST:: SOT 194454 SOS 62612 HAS SOPS 62612 HAS SOUS 41846 HAS SOUPS 41846 WITH SCORE 41908.612
AT ITER 5276 NEW BEST:: SOT 194355 SOS 62539 HAS SOPS 62539 HAS SOUS 41773 HAS SOUPS 41773 WITH SCORE 41835.539
AT ITER 5277 NEW BEST:: SOT 194337 SOS 62532 HAS SOPS 62532 HAS SOUS 41766 HAS SOUPS 41766 WITH SCORE 41828.532
AT ITER 5284 NEW BEST:: SOT 194259 SOS 62433 HAS SOPS 62433 HAS SOUS 41701 HAS SOUPS 41701 WITH SCORE 41763.433
AT ITER 5308 NEW BEST:: SOT 194232 SOS 62395 HAS SOPS 62395 HAS SOUS 41695 HAS SOUPS 41695 WITH SCORE 41757.395
AT ITER 5334 NEW BEST:: SOT 194213 SOS 62376 HAS SOPS 62376 HAS SOUS 41695 HAS SOUPS 41695 WITH SCORE 41757.376
AT ITER 5382 NEW BEST:: SOT 194149 SOS 62219 HAS SOPS 62219 HAS SOUS 41538 HAS SOUPS 41538 WITH SCORE 41600.219
AT ITER 5392 NEW BEST:: SOT 194138 SOS 62197 HAS SOPS 62197 HAS SOUS 41516 HAS SOUPS 41516 WITH SCORE 41578.197
AT ITER 5428 NEW BEST:: SOT 194219 SOS 62271 HAS SOPS 62271 HAS SOUS 41502 HAS SOUPS 41502 WITH SCORE 41564.271
AT ITER 5513 NEW BEST:: SOT 194205 SOS 62261 HAS SOPS 62261 HAS SOUS 41501 HAS SOUPS 41501 WITH SCORE 41563.261
AT ITER 5520 NEW BEST:: SOT 194194 SOS 62239 HAS SOPS 62239 HAS SOUS 41498 HAS SOUPS 41498 WITH SCORE 41560.239
AT ITER 5523 NEW BEST:: SOT 194190 SOS 62231 HAS SOPS 62231 HAS SOUS 41490 HAS SOUPS 41490 WITH SCORE 41552.231
AT ITER 5532 NEW BEST:: SOT 194047 SOS 62429 HAS SOPS 62429 HAS SOUS 41396 HAS SOUPS 41396 WITH SCORE 41458.429
AT ITER 5533 NEW BEST:: SOT 194035 SOS 62405 HAS SOPS 62405 HAS SOUS 41372 HAS SOUPS 41372 WITH SCORE 41434.405
AT ITER 5534 NEW BEST:: SOT 194035 SOS 62387 HAS SOPS 62387 HAS SOUS 41336 HAS SOUPS 41336 WITH SCORE 41398.387
AT ITER 5538 NEW BEST:: SOT 194035 SOS 62383 HAS SOPS 62383 HAS SOUS 41332 HAS SOUPS 41332 WITH SCORE 41394.383
AT ITER 5571 NEW BEST:: SOT 193991 SOS 62338 HAS SOPS 62338 HAS SOUS 41289 HAS SOUPS 41289 WITH SCORE 41351.338
AT ITER 5596 NEW BEST:: SOT 193978 SOS 62241 HAS SOPS 62241 HAS SOUS 41192 HAS SOUPS 41192 WITH SCORE 41254.241
AT ITER 5597 NEW BEST:: SOT 193951 SOS 62187 HAS SOPS 62187 HAS SOUS 41138 HAS SOUPS 41138 WITH SCORE 41200.187
AT ITER 5621 NEW BEST:: SOT 193950 SOS 62185 HAS SOPS 62185 HAS SOUS 41136 HAS SOUPS 41136 WITH SCORE 41198.185
AT ITER 5639 NEW BEST:: SOT 193912 SOS 62037 HAS SOPS 62037 HAS SOUS 41060 HAS SOUPS 41060 WITH SCORE 41122.037
AT ITER 5667 NEW BEST:: SOT 193900 SOS 62025 HAS SOPS 62025 HAS SOUS 41060 HAS SOUPS 41060 WITH SCORE 41122.025
AT ITER 5668 NEW BEST:: SOT 193879 SOS 61989 HAS SOPS 61989 HAS SOUS 41024 HAS SOUPS 41024 WITH SCORE 41085.989
AT ITER 5695 NEW BEST:: SOT 194044 SOS 61943 HAS SOPS 61943 HAS SOUS 40994 HAS SOUPS 40994 WITH SCORE 41055.943
AT ITER 5765 NEW BEST:: SOT 194047 SOS 61904 HAS SOPS 61904 HAS SOUS 40955 HAS SOUPS 40955 WITH SCORE 41016.904
AT ITER 5769 NEW BEST:: SOT 194033 SOS 61807 HAS SOPS 61807 HAS SOUS 40858 HAS SOUPS 40858 WITH SCORE 40919.807
AT ITER 5834 NEW BEST:: SOT 194041 SOS 61815 HAS SOPS 61815 HAS SOUS 40853 HAS SOUPS 40853 WITH SCORE 40914.815
AT ITER 5844 NEW BEST:: SOT 194022 SOS 61777 HAS SOPS 61777 HAS SOUS 40815 HAS SOUPS 40815 WITH SCORE 40876.777
AT ITER 5851 NEW BEST:: SOT 194017 SOS 61767 HAS SOPS 61767 HAS SOUS 40805 HAS SOUPS 40805 WITH SCORE 40866.767
AT ITER 5866 NEW BEST:: SOT 194015 SOS 61754 HAS SOPS 61754 HAS SOUS 40792 HAS SOUPS 40792 WITH SCORE 40853.754
AT ITER 5871 NEW BEST:: SOT 194062 SOS 61748 HAS SOPS 61748 HAS SOUS 40787 HAS SOUPS 40787 WITH SCORE 40848.748
AT ITER 5885 NEW BEST:: SOT 194068 SOS 61718 HAS SOPS 61718 HAS SOUS 40756 HAS SOUPS 40756 WITH SCORE 40817.718
AT ITER 5889 NEW BEST:: SOT 194076 SOS 61708 HAS SOPS 61708 HAS SOUS 40746 HAS SOUPS 40746 WITH SCORE 40807.708
AT ITER 5911 NEW BEST:: SOT 194199 SOS 61706 HAS SOPS 61706 HAS SOUS 40618 HAS SOUPS 40618 WITH SCORE 40679.706
AT ITER 5921 NEW BEST:: SOT 194199 SOS 61666 HAS SOPS 61666 HAS SOUS 40595 HAS SOUPS 40595 WITH SCORE 40656.666
AT ITER 5931 NEW BEST:: SOT 194202 SOS 61653 HAS SOPS 61653 HAS SOUS 40582 HAS SOUPS 40582 WITH SCORE 40643.653
AT ITER 5932 NEW BEST:: SOT 194235 SOS 61651 HAS SOPS 61651 HAS SOUS 40580 HAS SOUPS 40580 WITH SCORE 40641.651
AT ITER 5981 NEW BEST:: SOT 194230 SOS 61646 HAS SOPS 61646 HAS SOUS 40580 HAS SOUPS 40580 WITH SCORE 40641.646
AT ITER 6005 NEW BEST:: SOT 194107 SOS 61517 HAS SOPS 61517 HAS SOUS 40568 HAS SOUPS 40568 WITH SCORE 40629.517
AT ITER 6007 NEW BEST:: SOT 194107 SOS 61474 HAS SOPS 61474 HAS SOUS 40568 HAS SOUPS 40568 WITH SCORE 40629.474
AT ITER 6022 NEW BEST:: SOT 194078 SOS 61445 HAS SOPS 61445 HAS SOUS 40568 HAS SOUPS 40568 WITH SCORE 40629.445
AT ITER 6042 NEW BEST:: SOT 194138 SOS 61457 HAS SOPS 61457 HAS SOUS 40520 HAS SOUPS 40520 WITH SCORE 40581.457
AT ITER 6043 NEW BEST:: SOT 194115 SOS 61411 HAS SOPS 61411 HAS SOUS 40399 HAS SOUPS 40399 WITH SCORE 40460.411
AT ITER 6068 NEW BEST:: SOT 194122 SOS 61425 HAS SOPS 61425 HAS SOUS 40386 HAS SOUPS 40386 WITH SCORE 40447.425
AT ITER 6075 NEW BEST:: SOT 194117 SOS 61415 HAS SOPS 61415 HAS SOUS 40373 HAS SOUPS 40373 WITH SCORE 40434.415
AT ITER 6094 NEW BEST:: SOT 194117 SOS 61415 HAS SOPS 61415 HAS SOUS 40315 HAS SOUPS 40315 WITH SCORE 40376.415
AT ITER 6098 NEW BEST:: SOT 194117 SOS 61411 HAS SOPS 61411 HAS SOUS 40311 HAS SOUPS 40311 WITH SCORE 40372.411
AT ITER 6132 NEW BEST:: SOT 194108 SOS 61382 HAS SOPS 61382 HAS SOUS 40300 HAS SOUPS 40300 WITH SCORE 40361.382
AT ITER 6145 NEW BEST:: SOT 194108 SOS 61345 HAS SOPS 61345 HAS SOUS 40286 HAS SOUPS 40286 WITH SCORE 40347.345
AT ITER 6147 NEW BEST:: SOT 194027 SOS 61183 HAS SOPS 61183 HAS SOUS 40124 HAS SOUPS 40124 WITH SCORE 40185.183
AT ITER 6165 NEW BEST:: SOT 194021 SOS 61171 HAS SOPS 61171 HAS SOUS 40112 HAS SOUPS 40112 WITH SCORE 40173.171
AT ITER 6172 NEW BEST:: SOT 194051 SOS 61137 HAS SOPS 61137 HAS SOUS 40103 HAS SOUPS 40103 WITH SCORE 40164.137
AT ITER 6204 NEW BEST:: SOT 194028 SOS 61103 HAS SOPS 61103 HAS SOUS 40069 HAS SOUPS 40069 WITH SCORE 40130.103
AT ITER 6205 NEW BEST:: SOT 194058 SOS 61163 HAS SOPS 61163 HAS SOUS 40041 HAS SOUPS 40041 WITH SCORE 40102.163
AT ITER 6216 NEW BEST:: SOT 194056 SOS 61161 HAS SOPS 61161 HAS SOUS 40039 HAS SOUPS 40039 WITH SCORE 40100.161
AT ITER 6224 NEW BEST:: SOT 194056 SOS 61154 HAS SOPS 61154 HAS SOUS 40032 HAS SOUPS 40032 WITH SCORE 40093.154
AT ITER 6235 NEW BEST:: SOT 194059 SOS 61124 HAS SOPS 61124 HAS SOUS 40031 HAS SOUPS 40031 WITH SCORE 40092.124
AT ITER 6242 NEW BEST:: SOT 194056 SOS 61118 HAS SOPS 61118 HAS SOUS 40025 HAS SOUPS 40025 WITH SCORE 40086.118
AT ITER 6246 NEW BEST:: SOT 194050 SOS 61101 HAS SOPS 61101 HAS SOUS 40008 HAS SOUPS 40008 WITH SCORE 40069.101
AT ITER 6263 NEW BEST:: SOT 194056 SOS 61086 HAS SOPS 61086 HAS SOUS 39993 HAS SOUPS 39993 WITH SCORE 40054.086
AT ITER 6323 NEW BEST:: SOT 194069 SOS 61090 HAS SOPS 61090 HAS SOUS 39986 HAS SOUPS 39986 WITH SCORE 40047.09
AT ITER 6356 NEW BEST:: SOT 194061 SOS 61074 HAS SOPS 61074 HAS SOUS 39970 HAS SOUPS 39970 WITH SCORE 40031.074
AT ITER 6381 NEW BEST:: SOT 194048 SOS 61057 HAS SOPS 61057 HAS SOUS 39953 HAS SOUPS 39953 WITH SCORE 40014.057
AT ITER 6402 NEW BEST:: SOT 194012 SOS 60985 HAS SOPS 60985 HAS SOUS 39881 HAS SOUPS 39881 WITH SCORE 39941.985
AT ITER 6440 NEW BEST:: SOT 194012 SOS 60962 HAS SOPS 60962 HAS SOUS 39858 HAS SOUPS 39858 WITH SCORE 39918.962
AT ITER 6488 NEW BEST:: SOT 193946 SOS 60822 HAS SOPS 60822 HAS SOUS 39718 HAS SOUPS 39718 WITH SCORE 39778.822
AT ITER 6495 NEW BEST:: SOT 193929 SOS 60805 HAS SOPS 60805 HAS SOUS 39701 HAS SOUPS 39701 WITH SCORE 39761.805
AT ITER 6511 NEW BEST:: SOT 193936 SOS 60809 HAS SOPS 60809 HAS SOUS 39695 HAS SOUPS 39695 WITH SCORE 39755.809
AT ITER 6526 NEW BEST:: SOT 193919 SOS 60775 HAS SOPS 60775 HAS SOUS 39661 HAS SOUPS 39661 WITH SCORE 39721.775
AT ITER 6543 NEW BEST:: SOT 193890 SOS 60717 HAS SOPS 60717 HAS SOUS 39632 HAS SOUPS 39632 WITH SCORE 39692.717
AT ITER 6573 NEW BEST:: SOT 194002 SOS 60660 HAS SOPS 60660 HAS SOUS 39569 HAS SOUPS 39569 WITH SCORE 39629.66
AT ITER 6576 NEW BEST:: SOT 193995 SOS 60646 HAS SOPS 60646 HAS SOUS 39555 HAS SOUPS 39555 WITH SCORE 39615.646
AT ITER 6591 NEW BEST:: SOT 193972 SOS 60623 HAS SOPS 60623 HAS SOUS 39532 HAS SOUPS 39532 WITH SCORE 39592.623
AT ITER 6632 NEW BEST:: SOT 193972 SOS 60614 HAS SOPS 60614 HAS SOUS 39523 HAS SOUPS 39523 WITH SCORE 39583.614
AT ITER 6657 NEW BEST:: SOT 193893 SOS 60432 HAS SOPS 60432 HAS SOUS 39341 HAS SOUPS 39341 WITH SCORE 39401.432
AT ITER 6663 NEW BEST:: SOT 193893 SOS 60429 HAS SOPS 60429 HAS SOUS 39338 HAS SOUPS 39338 WITH SCORE 39398.429
AT ITER 6699 NEW BEST:: SOT 193882 SOS 60407 HAS SOPS 60407 HAS SOUS 39316 HAS SOUPS 39316 WITH SCORE 39376.407
AT ITER 6721 NEW BEST:: SOT 193877 SOS 60402 HAS SOPS 60402 HAS SOUS 39311 HAS SOUPS 39311 WITH SCORE 39371.402
AT ITER 6733 NEW BEST:: SOT 193863 SOS 60396 HAS SOPS 60396 HAS SOUS 39305 HAS SOUPS 39305 WITH SCORE 39365.396
AT ITER 6766 NEW BEST:: SOT 193825 SOS 60329 HAS SOPS 60329 HAS SOUS 39258 HAS SOUPS 39258 WITH SCORE 39318.329
AT ITER 6768 NEW BEST:: SOT 193764 SOS 60318 HAS SOPS 60318 HAS SOUS 39247 HAS SOUPS 39247 WITH SCORE 39307.318
AT ITER 6773 NEW BEST:: SOT 193769 SOS 60309 HAS SOPS 60309 HAS SOUS 39238 HAS SOUPS 39238 WITH SCORE 39298.309
AT ITER 6781 NEW BEST:: SOT 193751 SOS 60282 HAS SOPS 60282 HAS SOUS 39211 HAS SOUPS 39211 WITH SCORE 39271.282
AT ITER 6815 NEW BEST:: SOT 193741 SOS 60262 HAS SOPS 60262 HAS SOUS 39191 HAS SOUPS 39191 WITH SCORE 39251.262
AT ITER 6822 NEW BEST:: SOT 193644 SOS 60180 HAS SOPS 60180 HAS SOUS 39109 HAS SOUPS 39109 WITH SCORE 39169.18
AT ITER 6857 NEW BEST:: SOT 193638 SOS 60174 HAS SOPS 60174 HAS SOUS 39103 HAS SOUPS 39103 WITH SCORE 39163.174
AT ITER 6881 NEW BEST:: SOT 193547 SOS 60112 HAS SOPS 60112 HAS SOUS 39101 HAS SOUPS 39101 WITH SCORE 39161.112
AT ITER 6911 NEW BEST:: SOT 193518 SOS 60101 HAS SOPS 60101 HAS SOUS 39096 HAS SOUPS 39096 WITH SCORE 39156.101
AT ITER 6915 NEW BEST:: SOT 193512 SOS 60095 HAS SOPS 60095 HAS SOUS 39090 HAS SOUPS 39090 WITH SCORE 39150.095
AT ITER 6947 NEW BEST:: SOT 193493 SOS 60057 HAS SOPS 60057 HAS SOUS 39052 HAS SOUPS 39052 WITH SCORE 39112.057
AT ITER 6961 NEW BEST:: SOT 193493 SOS 60057 HAS SOPS 60057 HAS SOUS 39049 HAS SOUPS 39049 WITH SCORE 39109.057
AT ITER 7003 NEW BEST:: SOT 193442 SOS 60055 HAS SOPS 60055 HAS SOUS 39047 HAS SOUPS 39047 WITH SCORE 39107.055
AT ITER 7013 NEW BEST:: SOT 193419 SOS 60032 HAS SOPS 60032 HAS SOUS 39032 HAS SOUPS 39032 WITH SCORE 39092.032
AT ITER 7031 NEW BEST:: SOT 193418 SOS 60030 HAS SOPS 60030 HAS SOUS 39030 HAS SOUPS 39030 WITH SCORE 39090.03
AT ITER 7033 NEW BEST:: SOT 193346 SOS 59922 HAS SOPS 59922 HAS SOUS 38922 HAS SOUPS 38922 WITH SCORE 38981.922
AT ITER 7078 NEW BEST:: SOT 193338 SOS 59914 HAS SOPS 59914 HAS SOUS 38914 HAS SOUPS 38914 WITH SCORE 38973.914
AT ITER 7081 NEW BEST:: SOT 193350 SOS 59890 HAS SOPS 59890 HAS SOUS 38890 HAS SOUPS 38890 WITH SCORE 38949.89
AT ITER 7107 NEW BEST:: SOT 193349 SOS 59883 HAS SOPS 59883 HAS SOUS 38888 HAS SOUPS 38888 WITH SCORE 38947.883
AT ITER 7141 NEW BEST:: SOT 193327 SOS 59873 HAS SOPS 59873 HAS SOUS 38878 HAS SOUPS 38878 WITH SCORE 38937.873
AT ITER 7142 NEW BEST:: SOT 193292 SOS 59768 HAS SOPS 59768 HAS SOUS 38808 HAS SOUPS 38808 WITH SCORE 38867.768
AT ITER 7155 NEW BEST:: SOT 193161 SOS 59701 HAS SOPS 59701 HAS SOUS 38741 HAS SOUPS 38741 WITH SCORE 38800.701
AT ITER 7228 NEW BEST:: SOT 193128 SOS 59643 HAS SOPS 59643 HAS SOUS 38716 HAS SOUPS 38716 WITH SCORE 38775.643
AT ITER 7252 NEW BEST:: SOT 193087 SOS 59561 HAS SOPS 59561 HAS SOUS 38703 HAS SOUPS 38703 WITH SCORE 38762.561
AT ITER 7288 NEW BEST:: SOT 193075 SOS 59497 HAS SOPS 59497 HAS SOUS 38687 HAS SOUPS 38687 WITH SCORE 38746.497
AT ITER 7328 NEW BEST:: SOT 193006 SOS 59428 HAS SOPS 59428 HAS SOUS 38618 HAS SOUPS 38618 WITH SCORE 38677.428
AT ITER 7370 NEW BEST:: SOT 193027 SOS 59417 HAS SOPS 59417 HAS SOUS 38607 HAS SOUPS 38607 WITH SCORE 38666.417
AT ITER 7393 NEW BEST:: SOT 192990 SOS 59372 HAS SOPS 59372 HAS SOUS 38562 HAS SOUPS 38562 WITH SCORE 38621.372
AT ITER 7457 NEW BEST:: SOT 193015 SOS 59381 HAS SOPS 59381 HAS SOUS 38446 HAS SOUPS 38446 WITH SCORE 38505.381
AT ITER 7477 NEW BEST:: SOT 193027 SOS 59405 HAS SOPS 59405 HAS SOUS 38361 HAS SOUPS 38361 WITH SCORE 38420.405
AT ITER 7495 NEW BEST:: SOT 193052 SOS 59391 HAS SOPS 59391 HAS SOUS 38347 HAS SOUPS 38347 WITH SCORE 38406.391
AT ITER 7503 NEW BEST:: SOT 193046 SOS 59387 HAS SOPS 59387 HAS SOUS 38343 HAS SOUPS 38343 WITH SCORE 38402.387
AT ITER 7538 NEW BEST:: SOT 192992 SOS 59249 HAS SOPS 59249 HAS SOUS 38205 HAS SOUPS 38205 WITH SCORE 38264.249
AT ITER 7612 NEW BEST:: SOT 192987 SOS 59241 HAS SOPS 59241 HAS SOUS 38202 HAS SOUPS 38202 WITH SCORE 38261.241
AT ITER 7632 NEW BEST:: SOT 192983 SOS 59233 HAS SOPS 59233 HAS SOUS 38202 HAS SOUPS 38202 WITH SCORE 38261.233
AT ITER 7639 NEW BEST:: SOT 192927 SOS 59223 HAS SOPS 59223 HAS SOUS 38200 HAS SOUPS 38200 WITH SCORE 38259.223
AT ITER 7650 NEW BEST:: SOT 192918 SOS 59190 HAS SOPS 59190 HAS SOUS 38182 HAS SOUPS 38182 WITH SCORE 38241.19
AT ITER 7653 NEW BEST:: SOT 192935 SOS 59114 HAS SOPS 59114 HAS SOUS 38106 HAS SOUPS 38106 WITH SCORE 38165.114
AT ITER 7715 NEW BEST:: SOT 192903 SOS 59050 HAS SOPS 59050 HAS SOUS 38042 HAS SOUPS 38042 WITH SCORE 38101.05
AT ITER 7745 NEW BEST:: SOT 192906 SOS 58942 HAS SOPS 58942 HAS SOUS 37823 HAS SOUPS 37823 WITH SCORE 37881.942
AT ITER 7788 NEW BEST:: SOT 192916 SOS 58921 HAS SOPS 58921 HAS SOUS 37802 HAS SOUPS 37802 WITH SCORE 37860.921
AT ITER 7823 NEW BEST:: SOT 192901 SOS 58852 HAS SOPS 58852 HAS SOUS 37735 HAS SOUPS 37735 WITH SCORE 37793.852
AT ITER 7925 NEW BEST:: SOT 192901 SOS 58838 HAS SOPS 58838 HAS SOUS 37707 HAS SOUPS 37707 WITH SCORE 37765.838
AT ITER 7939 NEW BEST:: SOT 192886 SOS 58826 HAS SOPS 58826 HAS SOUS 37695 HAS SOUPS 37695 WITH SCORE 37753.826
AT ITER 7967 NEW BEST:: SOT 192842 SOS 58805 HAS SOPS 58805 HAS SOUS 37674 HAS SOUPS 37674 WITH SCORE 37732.805
AT ITER 7969 NEW BEST:: SOT 192826 SOS 58789 HAS SOPS 58789 HAS SOUS 37658 HAS SOUPS 37658 WITH SCORE 37716.789
AT ITER 7984 NEW BEST:: SOT 192820 SOS 58631 HAS SOPS 58631 HAS SOUS 37506 HAS SOUPS 37506 WITH SCORE 37564.631
AT ITER 8015 NEW BEST:: SOT 192806 SOS 58603 HAS SOPS 58603 HAS SOUS 37478 HAS SOUPS 37478 WITH SCORE 37536.603
AT ITER 8016 NEW BEST:: SOT 192806 SOS 58603 HAS SOPS 58603 HAS SOUS 37476 HAS SOUPS 37476 WITH SCORE 37534.603
AT ITER 8042 NEW BEST:: SOT 192771 SOS 58533 HAS SOPS 58533 HAS SOUS 37406 HAS SOUPS 37406 WITH SCORE 37464.533
AT ITER 8075 NEW BEST:: SOT 192767 SOS 58529 HAS SOPS 58529 HAS SOUS 37406 HAS SOUPS 37406 WITH SCORE 37464.529
AT ITER 8077 NEW BEST:: SOT 192767 SOS 58487 HAS SOPS 58487 HAS SOUS 37391 HAS SOUPS 37391 WITH SCORE 37449.487
AT ITER 8092 NEW BEST:: SOT 192767 SOS 58067 HAS SOPS 58067 HAS SOUS 37391 HAS SOUPS 37391 WITH SCORE 37449.067
AT ITER 8106 NEW BEST:: SOT 192748 SOS 57960 HAS SOPS 57960 HAS SOUS 37303 HAS SOUPS 37303 WITH SCORE 37360.96
AT ITER 8195 NEW BEST:: SOT 192745 SOS 57954 HAS SOPS 57954 HAS SOUS 37294 HAS SOUPS 37294 WITH SCORE 37351.954
AT ITER 8211 NEW BEST:: SOT 192663 SOS 57888 HAS SOPS 57888 HAS SOUS 37228 HAS SOUPS 37228 WITH SCORE 37285.888
AT ITER 8227 NEW BEST:: SOT 192663 SOS 57880 HAS SOPS 57880 HAS SOUS 37220 HAS SOUPS 37220 WITH SCORE 37277.88
AT ITER 8259 NEW BEST:: SOT 192653 SOS 57862 HAS SOPS 57862 HAS SOUS 37202 HAS SOUPS 37202 WITH SCORE 37259.862
AT ITER 8274 NEW BEST:: SOT 192653 SOS 57854 HAS SOPS 57854 HAS SOUS 37194 HAS SOUPS 37194 WITH SCORE 37251.854
AT ITER 8277 NEW BEST:: SOT 192653 SOS 57248 HAS SOPS 57248 HAS SOUS 37182 HAS SOUPS 37182 WITH SCORE 37239.248
AT ITER 8311 NEW BEST:: SOT 192653 SOS 57246 HAS SOPS 57246 HAS SOUS 37182 HAS SOUPS 37182 WITH SCORE 37239.246
AT ITER 8325 NEW BEST:: SOT 192651 SOS 57242 HAS SOPS 57242 HAS SOUS 37182 HAS SOUPS 37182 WITH SCORE 37239.242
AT ITER 8357 NEW BEST:: SOT 192640 SOS 57239 HAS SOPS 57239 HAS SOUS 37179 HAS SOUPS 37179 WITH SCORE 37236.239
AT ITER 8404 NEW BEST:: SOT 192636 SOS 57235 HAS SOPS 57235 HAS SOUS 37177 HAS SOUPS 37177 WITH SCORE 37234.235
AT ITER 8526 NEW BEST:: SOT 192459 SOS 56938 HAS SOPS 56938 HAS SOUS 36988 HAS SOUPS 36988 WITH SCORE 37044.938
AT ITER 8546 NEW BEST:: SOT 192456 SOS 56932 HAS SOPS 56932 HAS SOUS 36969 HAS SOUPS 36969 WITH SCORE 37025.932
AT ITER 8559 NEW BEST:: SOT 192456 SOS 56915 HAS SOPS 56915 HAS SOUS 36952 HAS SOUPS 36952 WITH SCORE 37008.915
AT ITER 8570 NEW BEST:: SOT 192413 SOS 56880 HAS SOPS 56880 HAS SOUS 36917 HAS SOUPS 36917 WITH SCORE 36973.88
AT ITER 8641 NEW BEST:: SOT 192406 SOS 56873 HAS SOPS 56873 HAS SOUS 36903 HAS SOUPS 36903 WITH SCORE 36959.873
AT ITER 8681 NEW BEST:: SOT 192393 SOS 56747 HAS SOPS 56747 HAS SOUS 36835 HAS SOUPS 36835 WITH SCORE 36891.747
AT ITER 8714 NEW BEST:: SOT 192315 SOS 56591 HAS SOPS 56591 HAS SOUS 36679 HAS SOUPS 36679 WITH SCORE 36735.591
AT ITER 8733 NEW BEST:: SOT 192322 SOS 56583 HAS SOPS 56583 HAS SOUS 36671 HAS SOUPS 36671 WITH SCORE 36727.583
AT ITER 8736 NEW BEST:: SOT 192324 SOS 56537 HAS SOPS 56537 HAS SOUS 36625 HAS SOUPS 36625 WITH SCORE 36681.537
AT ITER 8767 NEW BEST:: SOT 192324 SOS 56516 HAS SOPS 56516 HAS SOUS 36615 HAS SOUPS 36615 WITH SCORE 36671.516
AT ITER 8788 NEW BEST:: SOT 192310 SOS 56502 HAS SOPS 56502 HAS SOUS 36601 HAS SOUPS 36601 WITH SCORE 36657.502
AT ITER 8795 NEW BEST:: SOT 192306 SOS 56498 HAS SOPS 56498 HAS SOUS 36601 HAS SOUPS 36601 WITH SCORE 36657.498
AT ITER 8810 NEW BEST:: SOT 192309 SOS 56425 HAS SOPS 56425 HAS SOUS 36528 HAS SOUPS 36528 WITH SCORE 36584.425
AT ITER 8818 NEW BEST:: SOT 192294 SOS 56372 HAS SOPS 56372 HAS SOUS 36475 HAS SOUPS 36475 WITH SCORE 36531.372
AT ITER 8819 NEW BEST:: SOT 192257 SOS 56338 HAS SOPS 56338 HAS SOUS 36452 HAS SOUPS 36452 WITH SCORE 36508.338
AT ITER 8892 NEW BEST:: SOT 192248 SOS 56331 HAS SOPS 56331 HAS SOUS 36445 HAS SOUPS 36445 WITH SCORE 36501.331
AT ITER 8905 NEW BEST:: SOT 192233 SOS 56329 HAS SOPS 56329 HAS SOUS 36443 HAS SOUPS 36443 WITH SCORE 36499.329
AT ITER 8926 NEW BEST:: SOT 192239 SOS 56204 HAS SOPS 56204 HAS SOUS 36360 HAS SOUPS 36360 WITH SCORE 36416.204
AT ITER 8935 NEW BEST:: SOT 192227 SOS 56156 HAS SOPS 56156 HAS SOUS 36312 HAS SOUPS 36312 WITH SCORE 36368.156
AT ITER 8959 NEW BEST:: SOT 192229 SOS 56154 HAS SOPS 56154 HAS SOUS 36310 HAS SOUPS 36310 WITH SCORE 36366.154
AT ITER 8991 NEW BEST:: SOT 192234 SOS 56153 HAS SOPS 56153 HAS SOUS 36309 HAS SOUPS 36309 WITH SCORE 36365.153
AT ITER 9015 NEW BEST:: SOT 192228 SOS 56150 HAS SOPS 56150 HAS SOUS 36306 HAS SOUPS 36306 WITH SCORE 36362.15
AT ITER 9033 NEW BEST:: SOT 192233 SOS 56098 HAS SOPS 56098 HAS SOUS 36254 HAS SOUPS 36254 WITH SCORE 36310.098
AT ITER 9041 NEW BEST:: SOT 192225 SOS 56082 HAS SOPS 56082 HAS SOUS 36238 HAS SOUPS 36238 WITH SCORE 36294.082
AT ITER 9062 NEW BEST:: SOT 192225 SOS 56066 HAS SOPS 56066 HAS SOUS 36207 HAS SOUPS 36207 WITH SCORE 36263.066
AT ITER 9074 NEW BEST:: SOT 192207 SOS 56040 HAS SOPS 56040 HAS SOUS 36181 HAS SOUPS 36181 WITH SCORE 36237.04
AT ITER 9159 NEW BEST:: SOT 192200 SOS 56033 HAS SOPS 56033 HAS SOUS 36174 HAS SOUPS 36174 WITH SCORE 36230.033
AT ITER 9180 NEW BEST:: SOT 192183 SOS 56016 HAS SOPS 56016 HAS SOUS 36157 HAS SOUPS 36157 WITH SCORE 36213.016
AT ITER 9188 NEW BEST:: SOT 192195 SOS 56010 HAS SOPS 56010 HAS SOUS 36151 HAS SOUPS 36151 WITH SCORE 36207.01
AT ITER 9217 NEW BEST:: SOT 192202 SOS 56008 HAS SOPS 56008 HAS SOUS 36149 HAS SOUPS 36149 WITH SCORE 36205.008
AT ITER 9246 NEW BEST:: SOT 192184 SOS 55999 HAS SOPS 55999 HAS SOUS 36140 HAS SOUPS 36140 WITH SCORE 36195.999
AT ITER 9249 NEW BEST:: SOT 192184 SOS 55998 HAS SOPS 55998 HAS SOUS 36139 HAS SOUPS 36139 WITH SCORE 36194.998
AT ITER 9289 NEW BEST:: SOT 192184 SOS 55978 HAS SOPS 55978 HAS SOUS 36119 HAS SOUPS 36119 WITH SCORE 36174.978
AT ITER 9341 NEW BEST:: SOT 192158 SOS 55972 HAS SOPS 55972 HAS SOUS 36113 HAS SOUPS 36113 WITH SCORE 36168.972
AT ITER 9493 NEW BEST:: SOT 192121 SOS 55893 HAS SOPS 55893 HAS SOUS 36034 HAS SOUPS 36034 WITH SCORE 36089.893
AT ITER 9515 NEW BEST:: SOT 192108 SOS 55887 HAS SOPS 55887 HAS SOUS 36028 HAS SOUPS 36028 WITH SCORE 36083.887
AT ITER 9544 NEW BEST:: SOT 192102 SOS 55881 HAS SOPS 55881 HAS SOUS 36022 HAS SOUPS 36022 WITH SCORE 36077.881
AT ITER 9567 NEW BEST:: SOT 192061 SOS 55799 HAS SOPS 55799 HAS SOUS 35981 HAS SOUPS 35981 WITH SCORE 36036.799
AT ITER 9626 NEW BEST:: SOT 192049 SOS 55775 HAS SOPS 55775 HAS SOUS 35945 HAS SOUPS 35945 WITH SCORE 36000.775
AT ITER 9631 NEW BEST:: SOT 192030 SOS 55704 HAS SOPS 55704 HAS SOUS 35900 HAS SOUPS 35900 WITH SCORE 35955.704
AT ITER 9634 NEW BEST:: SOT 192022 SOS 55675 HAS SOPS 55675 HAS SOUS 35884 HAS SOUPS 35884 WITH SCORE 35939.675
AT ITER 9655 NEW BEST:: SOT 192019 SOS 55669 HAS SOPS 55669 HAS SOUS 35877 HAS SOUPS 35877 WITH SCORE 35932.669
AT ITER 9678 NEW BEST:: SOT 192016 SOS 55654 HAS SOPS 55654 HAS SOUS 35862 HAS SOUPS 35862 WITH SCORE 35917.654
AT ITER 9679 NEW BEST:: SOT 191996 SOS 55634 HAS SOPS 55634 HAS SOUS 35842 HAS SOUPS 35842 WITH SCORE 35897.634
AT ITER 9709 NEW BEST:: SOT 191949 SOS 55625 HAS SOPS 55625 HAS SOUS 35833 HAS SOUPS 35833 WITH SCORE 35888.625
AT ITER 9730 NEW BEST:: SOT 191944 SOS 55615 HAS SOPS 55615 HAS SOUS 35823 HAS SOUPS 35823 WITH SCORE 35878.615
AT ITER 9754 NEW BEST:: SOT 191890 SOS 55561 HAS SOPS 55561 HAS SOUS 35769 HAS SOUPS 35769 WITH SCORE 35824.561
AT ITER 9766 NEW BEST:: SOT 191864 SOS 55632 HAS SOPS 55632 HAS SOUS 35751 HAS SOUPS 35751 WITH SCORE 35806.632
AT ITER 9875 NEW BEST:: SOT 191862 SOS 55630 HAS SOPS 55630 HAS SOUS 35749 HAS SOUPS 35749 WITH SCORE 35804.63
AT ITER 9960 NEW BEST:: SOT 191862 SOS 55619 HAS SOPS 55619 HAS SOUS 35738 HAS SOUPS 35738 WITH SCORE 35793.619
AT ITER 9963 NEW BEST:: SOT 191841 SOS 55564 HAS SOPS 55564 HAS SOUS 35692 HAS SOUPS 35692 WITH SCORE 35747.564
AT ITER 9969 NEW BEST:: SOT 191838 SOS 55561 HAS SOPS 55561 HAS SOUS 35689 HAS SOUPS 35689 WITH SCORE 35744.561
AT ITER 9971 NEW BEST:: SOT 191827 SOS 55550 HAS SOPS 55550 HAS SOUS 35678 HAS SOUPS 35678 WITH SCORE 35733.55
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 13308256 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16155592 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="BusinessProcesses-PT-15"
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 BusinessProcesses-PT-15, 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 r035-tajo-167813688400568"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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