About the Execution of smart for ShieldPPPs-PT-050A
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15766.270 | 3600000.00 | 3599989.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469600540.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldPPPs-PT-050A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469600540
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 616K
-rw-r--r-- 1 mcc users 3.5K May 14 01:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 01:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 19:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 19:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.3K May 13 14:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 13 14:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 08:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 08:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 447K May 12 20:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldPPPs-PT-050A-CTLFireability-00
FORMULA_NAME ShieldPPPs-PT-050A-CTLFireability-01
FORMULA_NAME ShieldPPPs-PT-050A-CTLFireability-02
FORMULA_NAME ShieldPPPs-PT-050A-CTLFireability-03
FORMULA_NAME ShieldPPPs-PT-050A-CTLFireability-04
FORMULA_NAME ShieldPPPs-PT-050A-CTLFireability-05
FORMULA_NAME ShieldPPPs-PT-050A-CTLFireability-06
FORMULA_NAME ShieldPPPs-PT-050A-CTLFireability-07
FORMULA_NAME ShieldPPPs-PT-050A-CTLFireability-08
FORMULA_NAME ShieldPPPs-PT-050A-CTLFireability-09
FORMULA_NAME ShieldPPPs-PT-050A-CTLFireability-10
FORMULA_NAME ShieldPPPs-PT-050A-CTLFireability-11
FORMULA_NAME ShieldPPPs-PT-050A-CTLFireability-12
FORMULA_NAME ShieldPPPs-PT-050A-CTLFireability-13
FORMULA_NAME ShieldPPPs-PT-050A-CTLFireability-14
FORMULA_NAME ShieldPPPs-PT-050A-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1590446518050
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 050A
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 1553 places, 1303 transitions, 5006 arcs.
AT ITER 0 NEW BEST:: SOT 1305249 SOS 898451 HAS SOPS 898451 HAS SOUS 667993 HAS SOUPS 667993 WITH SCORE 668891.451
AT ITER 5 NEW BEST:: SOT 1304947 SOS 896941 HAS SOPS 896941 HAS SOUS 667993 HAS SOUPS 667993 WITH SCORE 668889.941
AT ITER 10 NEW BEST:: SOT 1304660 SOS 896701 HAS SOPS 896701 HAS SOUS 667753 HAS SOUPS 667753 WITH SCORE 668649.701
AT ITER 13 NEW BEST:: SOT 1304155 SOS 896553 HAS SOPS 896553 HAS SOUS 667605 HAS SOUPS 667605 WITH SCORE 668501.553
AT ITER 17 NEW BEST:: SOT 1303561 SOS 896147 HAS SOPS 896147 HAS SOUS 667187 HAS SOUPS 667187 WITH SCORE 668083.147
AT ITER 18 NEW BEST:: SOT 1303130 SOS 893418 HAS SOPS 893418 HAS SOUS 667079 HAS SOUPS 667079 WITH SCORE 667972.418
AT ITER 24 NEW BEST:: SOT 1302561 SOS 892849 HAS SOPS 892849 HAS SOUS 666510 HAS SOUPS 666510 WITH SCORE 667402.849
AT ITER 33 NEW BEST:: SOT 1302408 SOS 892084 HAS SOPS 892084 HAS SOUS 666510 HAS SOUPS 666510 WITH SCORE 667402.084
AT ITER 34 NEW BEST:: SOT 1301733 SOS 891872 HAS SOPS 891872 HAS SOUS 666298 HAS SOUPS 666298 WITH SCORE 667189.872
AT ITER 36 NEW BEST:: SOT 1300901 SOS 891024 HAS SOPS 891024 HAS SOUS 665450 HAS SOUPS 665450 WITH SCORE 666341.024
AT ITER 43 NEW BEST:: SOT 1300273 SOS 887884 HAS SOPS 887884 HAS SOUS 665449 HAS SOUPS 665449 WITH SCORE 666336.884
AT ITER 48 NEW BEST:: SOT 1299593 SOS 886846 HAS SOPS 886846 HAS SOUS 664418 HAS SOUPS 664418 WITH SCORE 665304.846
AT ITER 51 NEW BEST:: SOT 1299518 SOS 886771 HAS SOPS 886771 HAS SOUS 664343 HAS SOUPS 664343 WITH SCORE 665229.771
AT ITER 52 NEW BEST:: SOT 1299330 SOS 885831 HAS SOPS 885831 HAS SOUS 664342 HAS SOUPS 664342 WITH SCORE 665227.831
AT ITER 53 NEW BEST:: SOT 1299070 SOS 885483 HAS SOPS 885483 HAS SOUS 663994 HAS SOUPS 663994 WITH SCORE 664879.483
AT ITER 57 NEW BEST:: SOT 1299030 SOS 885324 HAS SOPS 885324 HAS SOUS 663783 HAS SOUPS 663783 WITH SCORE 664668.324
AT ITER 61 NEW BEST:: SOT 1298627 SOS 884921 HAS SOPS 884921 HAS SOUS 663380 HAS SOUPS 663380 WITH SCORE 664264.921
AT ITER 62 NEW BEST:: SOT 1298602 SOS 884896 HAS SOPS 884896 HAS SOUS 663355 HAS SOUPS 663355 WITH SCORE 664239.896
AT ITER 70 NEW BEST:: SOT 1298360 SOS 884654 HAS SOPS 884654 HAS SOUS 663113 HAS SOUPS 663113 WITH SCORE 663997.654
AT ITER 73 NEW BEST:: SOT 1297967 SOS 884524 HAS SOPS 884524 HAS SOUS 662852 HAS SOUPS 662852 WITH SCORE 663736.524
AT ITER 80 NEW BEST:: SOT 1297820 SOS 881605 HAS SOPS 881605 HAS SOUS 661672 HAS SOUPS 661672 WITH SCORE 662553.605
AT ITER 87 NEW BEST:: SOT 1297750 SOS 881535 HAS SOPS 881535 HAS SOUS 661602 HAS SOUPS 661602 WITH SCORE 662483.535
AT ITER 88 NEW BEST:: SOT 1297742 SOS 881516 HAS SOPS 881516 HAS SOUS 661577 HAS SOUPS 661577 WITH SCORE 662458.516
AT ITER 99 NEW BEST:: SOT 1297321 SOS 881095 HAS SOPS 881095 HAS SOUS 661156 HAS SOUPS 661156 WITH SCORE 662037.095
AT ITER 110 NEW BEST:: SOT 1296953 SOS 880726 HAS SOPS 880726 HAS SOUS 660787 HAS SOUPS 660787 WITH SCORE 661667.726
AT ITER 121 NEW BEST:: SOT 1296802 SOS 879971 HAS SOPS 879971 HAS SOUS 660787 HAS SOUPS 660787 WITH SCORE 661666.971
AT ITER 126 NEW BEST:: SOT 1296484 SOS 878381 HAS SOPS 878381 HAS SOUS 660786 HAS SOUPS 660786 WITH SCORE 661664.381
AT ITER 134 NEW BEST:: SOT 1296356 SOS 878240 HAS SOPS 878240 HAS SOUS 660645 HAS SOUPS 660645 WITH SCORE 661523.24
AT ITER 137 NEW BEST:: SOT 1296355 SOS 875881 HAS SOPS 875881 HAS SOUS 660626 HAS SOUPS 660626 WITH SCORE 661501.881
AT ITER 138 NEW BEST:: SOT 1296321 SOS 875847 HAS SOPS 875847 HAS SOUS 660592 HAS SOUPS 660592 WITH SCORE 661467.847
AT ITER 148 NEW BEST:: SOT 1296313 SOS 875830 HAS SOPS 875830 HAS SOUS 660569 HAS SOUPS 660569 WITH SCORE 661444.83
AT ITER 170 NEW BEST:: SOT 1296110 SOS 875625 HAS SOPS 875625 HAS SOUS 660364 HAS SOUPS 660364 WITH SCORE 661239.625
AT ITER 173 NEW BEST:: SOT 1295658 SOS 875173 HAS SOPS 875173 HAS SOUS 659912 HAS SOUPS 659912 WITH SCORE 660787.173
AT ITER 184 NEW BEST:: SOT 1295374 SOS 873753 HAS SOPS 873753 HAS SOUS 659725 HAS SOUPS 659725 WITH SCORE 660598.753
AT ITER 191 NEW BEST:: SOT 1294639 SOS 869228 HAS SOPS 869228 HAS SOUS 657472 HAS SOUPS 657472 WITH SCORE 658341.228
AT ITER 202 NEW BEST:: SOT 1294607 SOS 869182 HAS SOPS 869182 HAS SOUS 657426 HAS SOUPS 657426 WITH SCORE 658295.182
AT ITER 207 NEW BEST:: SOT 1293902 SOS 865657 HAS SOPS 865657 HAS SOUS 657426 HAS SOUPS 657426 WITH SCORE 658291.657
AT ITER 211 NEW BEST:: SOT 1293584 SOS 865422 HAS SOPS 865422 HAS SOUS 657344 HAS SOUPS 657344 WITH SCORE 658209.422
AT ITER 223 NEW BEST:: SOT 1293543 SOS 865217 HAS SOPS 865217 HAS SOUS 657343 HAS SOUPS 657343 WITH SCORE 658208.217
AT ITER 226 NEW BEST:: SOT 1293529 SOS 865199 HAS SOPS 865199 HAS SOUS 657312 HAS SOUPS 657312 WITH SCORE 658177.199
AT ITER 248 NEW BEST:: SOT 1293076 SOS 864745 HAS SOPS 864745 HAS SOUS 656858 HAS SOUPS 656858 WITH SCORE 657722.745
AT ITER 256 NEW BEST:: SOT 1292712 SOS 864380 HAS SOPS 864380 HAS SOUS 656493 HAS SOUPS 656493 WITH SCORE 657357.38
AT ITER 263 NEW BEST:: SOT 1292358 SOS 864026 HAS SOPS 864026 HAS SOUS 656139 HAS SOUPS 656139 WITH SCORE 657003.026
AT ITER 264 NEW BEST:: SOT 1291464 SOS 862667 HAS SOPS 862667 HAS SOUS 654793 HAS SOUPS 654793 WITH SCORE 655655.667
AT ITER 269 NEW BEST:: SOT 1291405 SOS 862372 HAS SOPS 862372 HAS SOUS 654793 HAS SOUPS 654793 WITH SCORE 655655.372
AT ITER 271 NEW BEST:: SOT 1291031 SOS 862347 HAS SOPS 862347 HAS SOUS 654594 HAS SOUPS 654594 WITH SCORE 655456.347
AT ITER 294 NEW BEST:: SOT 1290941 SOS 862255 HAS SOPS 862255 HAS SOUS 654502 HAS SOUPS 654502 WITH SCORE 655364.255
AT ITER 310 NEW BEST:: SOT 1290833 SOS 862147 HAS SOPS 862147 HAS SOUS 654394 HAS SOUPS 654394 WITH SCORE 655256.147
AT ITER 314 NEW BEST:: SOT 1290222 SOS 861536 HAS SOPS 861536 HAS SOUS 653783 HAS SOUPS 653783 WITH SCORE 654644.536
AT ITER 317 NEW BEST:: SOT 1290009 SOS 861323 HAS SOPS 861323 HAS SOUS 653570 HAS SOUPS 653570 WITH SCORE 654431.323
AT ITER 327 NEW BEST:: SOT 1289975 SOS 861287 HAS SOPS 861287 HAS SOUS 653534 HAS SOUPS 653534 WITH SCORE 654395.287
AT ITER 347 NEW BEST:: SOT 1289375 SOS 857933 HAS SOPS 857933 HAS SOUS 653531 HAS SOUPS 653531 WITH SCORE 654388.933
AT ITER 364 NEW BEST:: SOT 1289365 SOS 857912 HAS SOPS 857912 HAS SOUS 653503 HAS SOUPS 653503 WITH SCORE 654360.912
AT ITER 368 NEW BEST:: SOT 1289364 SOS 856669 HAS SOPS 856669 HAS SOUS 653482 HAS SOUPS 653482 WITH SCORE 654338.669
AT ITER 377 NEW BEST:: SOT 1289364 SOS 856542 HAS SOPS 856542 HAS SOUS 653355 HAS SOUPS 653355 WITH SCORE 654211.542
AT ITER 381 NEW BEST:: SOT 1289349 SOS 856520 HAS SOPS 856520 HAS SOUS 653321 HAS SOUPS 653321 WITH SCORE 654177.52
AT ITER 382 NEW BEST:: SOT 1289344 SOS 856457 HAS SOPS 856457 HAS SOUS 653204 HAS SOUPS 653204 WITH SCORE 654060.457
AT ITER 387 NEW BEST:: SOT 1289339 SOS 856452 HAS SOPS 856452 HAS SOUS 653199 HAS SOUPS 653199 WITH SCORE 654055.452
AT ITER 389 NEW BEST:: SOT 1289230 SOS 856343 HAS SOPS 856343 HAS SOUS 653090 HAS SOUPS 653090 WITH SCORE 653946.343
AT ITER 403 NEW BEST:: SOT 1288987 SOS 856113 HAS SOPS 856113 HAS SOUS 652860 HAS SOUPS 652860 WITH SCORE 653716.113
AT ITER 422 NEW BEST:: SOT 1288716 SOS 855840 HAS SOPS 855840 HAS SOUS 652587 HAS SOUPS 652587 WITH SCORE 653442.84
AT ITER 426 NEW BEST:: SOT 1289051 SOS 855267 HAS SOPS 855267 HAS SOUS 652378 HAS SOUPS 652378 WITH SCORE 653233.267
AT ITER 427 NEW BEST:: SOT 1288525 SOS 854741 HAS SOPS 854741 HAS SOUS 651852 HAS SOUPS 651852 WITH SCORE 652706.741
AT ITER 433 NEW BEST:: SOT 1288143 SOS 854357 HAS SOPS 854357 HAS SOUS 651468 HAS SOUPS 651468 WITH SCORE 652322.357
AT ITER 453 NEW BEST:: SOT 1288080 SOS 854294 HAS SOPS 854294 HAS SOUS 651405 HAS SOUPS 651405 WITH SCORE 652259.294
AT ITER 454 NEW BEST:: SOT 1288079 SOS 853152 HAS SOPS 853152 HAS SOUS 651388 HAS SOUPS 651388 WITH SCORE 652241.152
AT ITER 460 NEW BEST:: SOT 1288066 SOS 853135 HAS SOPS 853135 HAS SOUS 651359 HAS SOUPS 651359 WITH SCORE 652212.135
AT ITER 472 NEW BEST:: SOT 1287966 SOS 853035 HAS SOPS 853035 HAS SOUS 651259 HAS SOUPS 651259 WITH SCORE 652112.035
AT ITER 481 NEW BEST:: SOT 1287953 SOS 853022 HAS SOPS 853022 HAS SOUS 651246 HAS SOUPS 651246 WITH SCORE 652099.022
AT ITER 489 NEW BEST:: SOT 1287632 SOS 852701 HAS SOPS 852701 HAS SOUS 650925 HAS SOUPS 650925 WITH SCORE 651777.701
AT ITER 503 NEW BEST:: SOT 1287633 SOS 851902 HAS SOPS 851902 HAS SOUS 650925 HAS SOUPS 650925 WITH SCORE 651776.902
AT ITER 509 NEW BEST:: SOT 1287245 SOS 851547 HAS SOPS 851547 HAS SOUS 650554 HAS SOUPS 650554 WITH SCORE 651405.547
AT ITER 514 NEW BEST:: SOT 1287157 SOS 851459 HAS SOPS 851459 HAS SOUS 650466 HAS SOUPS 650466 WITH SCORE 651317.459
AT ITER 519 NEW BEST:: SOT 1287027 SOS 851271 HAS SOPS 851271 HAS SOUS 650034 HAS SOUPS 650034 WITH SCORE 650885.271
AT ITER 520 NEW BEST:: SOT 1287207 SOS 848601 HAS SOPS 848601 HAS SOUS 649046 HAS SOUPS 649046 WITH SCORE 649894.601
AT ITER 521 NEW BEST:: SOT 1286567 SOS 847947 HAS SOPS 847947 HAS SOUS 648392 HAS SOUPS 648392 WITH SCORE 649239.947
AT ITER 523 NEW BEST:: SOT 1286752 SOS 848037 HAS SOPS 848037 HAS SOUS 648360 HAS SOUPS 648360 WITH SCORE 649208.037
AT ITER 533 NEW BEST:: SOT 1286071 SOS 847354 HAS SOPS 847354 HAS SOUS 647677 HAS SOUPS 647677 WITH SCORE 648524.354
AT ITER 534 NEW BEST:: SOT 1285783 SOS 847052 HAS SOPS 847052 HAS SOUS 647375 HAS SOUPS 647375 WITH SCORE 648222.052
AT ITER 535 NEW BEST:: SOT 1285441 SOS 845342 HAS SOPS 845342 HAS SOUS 647375 HAS SOUPS 647375 WITH SCORE 648220.342
AT ITER 540 NEW BEST:: SOT 1285126 SOS 845027 HAS SOPS 845027 HAS SOUS 647060 HAS SOUPS 647060 WITH SCORE 647905.027
AT ITER 550 NEW BEST:: SOT 1284417 SOS 844543 HAS SOPS 844543 HAS SOUS 646464 HAS SOUPS 646464 WITH SCORE 647308.543
AT ITER 563 NEW BEST:: SOT 1284100 SOS 843909 HAS SOPS 843909 HAS SOUS 645830 HAS SOUPS 645830 WITH SCORE 646673.909
AT ITER 567 NEW BEST:: SOT 1283389 SOS 843198 HAS SOPS 843198 HAS SOUS 645119 HAS SOUPS 645119 WITH SCORE 645962.198
AT ITER 578 NEW BEST:: SOT 1283683 SOS 839539 HAS SOPS 839539 HAS SOUS 643720 HAS SOUPS 643720 WITH SCORE 644559.539
AT ITER 579 NEW BEST:: SOT 1283662 SOS 839518 HAS SOPS 839518 HAS SOUS 643699 HAS SOUPS 643699 WITH SCORE 644538.518
AT ITER 582 NEW BEST:: SOT 1283263 SOS 839118 HAS SOPS 839118 HAS SOUS 643299 HAS SOUPS 643299 WITH SCORE 644138.118
AT ITER 598 NEW BEST:: SOT 1281831 SOS 837795 HAS SOPS 837795 HAS SOUS 642177 HAS SOUPS 642177 WITH SCORE 643014.795
AT ITER 604 NEW BEST:: SOT 1281923 SOS 835100 HAS SOPS 835100 HAS SOUS 642062 HAS SOUPS 642062 WITH SCORE 642897.1
AT ITER 611 NEW BEST:: SOT 1281789 SOS 834966 HAS SOPS 834966 HAS SOUS 641928 HAS SOUPS 641928 WITH SCORE 642762.966
AT ITER 615 NEW BEST:: SOT 1281564 SOS 834741 HAS SOPS 834741 HAS SOUS 641703 HAS SOUPS 641703 WITH SCORE 642537.741
AT ITER 624 NEW BEST:: SOT 1281459 SOS 834571 HAS SOPS 834571 HAS SOUS 641533 HAS SOUPS 641533 WITH SCORE 642367.571
AT ITER 626 NEW BEST:: SOT 1281395 SOS 834258 HAS SOPS 834258 HAS SOUS 641223 HAS SOUPS 641223 WITH SCORE 642057.258
AT ITER 639 NEW BEST:: SOT 1280802 SOS 833665 HAS SOPS 833665 HAS SOUS 640630 HAS SOUPS 640630 WITH SCORE 641463.665
AT ITER 642 NEW BEST:: SOT 1280349 SOS 830610 HAS SOPS 830610 HAS SOUS 640219 HAS SOUPS 640219 WITH SCORE 641049.61
AT ITER 646 NEW BEST:: SOT 1280316 SOS 830566 HAS SOPS 830566 HAS SOUS 639919 HAS SOUPS 639919 WITH SCORE 640749.566
AT ITER 655 NEW BEST:: SOT 1280312 SOS 830550 HAS SOPS 830550 HAS SOUS 639353 HAS SOUPS 639353 WITH SCORE 640183.55
AT ITER 657 NEW BEST:: SOT 1279641 SOS 830710 HAS SOPS 830710 HAS SOUS 639098 HAS SOUPS 639098 WITH SCORE 639928.71
AT ITER 676 NEW BEST:: SOT 1279118 SOS 828095 HAS SOPS 828095 HAS SOUS 639097 HAS SOUPS 639097 WITH SCORE 639925.095
AT ITER 680 NEW BEST:: SOT 1279114 SOS 828079 HAS SOPS 828079 HAS SOUS 639079 HAS SOUPS 639079 WITH SCORE 639907.079
AT ITER 685 NEW BEST:: SOT 1279201 SOS 828157 HAS SOPS 828157 HAS SOUS 639062 HAS SOUPS 639062 WITH SCORE 639890.157
AT ITER 692 NEW BEST:: SOT 1279568 SOS 826158 HAS SOPS 826158 HAS SOUS 638525 HAS SOUPS 638525 WITH SCORE 639351.158
AT ITER 697 NEW BEST:: SOT 1279470 SOS 826011 HAS SOPS 826011 HAS SOUS 638378 HAS SOUPS 638378 WITH SCORE 639204.011
AT ITER 703 NEW BEST:: SOT 1279457 SOS 825998 HAS SOPS 825998 HAS SOUS 638365 HAS SOUPS 638365 WITH SCORE 639190.998
AT ITER 706 NEW BEST:: SOT 1279264 SOS 825805 HAS SOPS 825805 HAS SOUS 638172 HAS SOUPS 638172 WITH SCORE 638997.805
AT ITER 716 NEW BEST:: SOT 1279263 SOS 825804 HAS SOPS 825804 HAS SOUS 638171 HAS SOUPS 638171 WITH SCORE 638996.804
AT ITER 720 NEW BEST:: SOT 1278953 SOS 825494 HAS SOPS 825494 HAS SOUS 637861 HAS SOUPS 637861 WITH SCORE 638686.494
AT ITER 725 NEW BEST:: SOT 1278540 SOS 825044 HAS SOPS 825044 HAS SOUS 637411 HAS SOUPS 637411 WITH SCORE 638236.044
AT ITER 728 NEW BEST:: SOT 1278285 SOS 823769 HAS SOPS 823769 HAS SOUS 637410 HAS SOUPS 637410 WITH SCORE 638233.769
AT ITER 730 NEW BEST:: SOT 1278112 SOS 823596 HAS SOPS 823596 HAS SOUS 637237 HAS SOUPS 637237 WITH SCORE 638060.596
AT ITER 732 NEW BEST:: SOT 1277662 SOS 823146 HAS SOPS 823146 HAS SOUS 636787 HAS SOUPS 636787 WITH SCORE 637610.146
AT ITER 743 NEW BEST:: SOT 1277966 SOS 822636 HAS SOPS 822636 HAS SOUS 636754 HAS SOUPS 636754 WITH SCORE 637576.636
AT ITER 746 NEW BEST:: SOT 1277534 SOS 822204 HAS SOPS 822204 HAS SOUS 636322 HAS SOUPS 636322 WITH SCORE 637144.204
AT ITER 754 NEW BEST:: SOT 1278455 SOS 821719 HAS SOPS 821719 HAS SOUS 635180 HAS SOUPS 635180 WITH SCORE 636001.719
AT ITER 776 NEW BEST:: SOT 1278115 SOS 821377 HAS SOPS 821377 HAS SOUS 634838 HAS SOUPS 634838 WITH SCORE 635659.377
AT ITER 778 NEW BEST:: SOT 1277591 SOS 820853 HAS SOPS 820853 HAS SOUS 634314 HAS SOUPS 634314 WITH SCORE 635134.853
AT ITER 784 NEW BEST:: SOT 1276933 SOS 820195 HAS SOPS 820195 HAS SOUS 633656 HAS SOUPS 633656 WITH SCORE 634476.195
AT ITER 788 NEW BEST:: SOT 1275809 SOS 819071 HAS SOPS 819071 HAS SOUS 632532 HAS SOUPS 632532 WITH SCORE 633351.071
AT ITER 795 NEW BEST:: SOT 1275622 SOS 818697 HAS SOPS 818697 HAS SOUS 632158 HAS SOUPS 632158 WITH SCORE 632976.697
AT ITER 816 NEW BEST:: SOT 1275999 SOS 816833 HAS SOPS 816833 HAS SOUS 631645 HAS SOUPS 631645 WITH SCORE 632461.833
AT ITER 819 NEW BEST:: SOT 1275485 SOS 816318 HAS SOPS 816318 HAS SOUS 631130 HAS SOUPS 631130 WITH SCORE 631946.318
AT ITER 823 NEW BEST:: SOT 1275485 SOS 816049 HAS SOPS 816049 HAS SOUS 630856 HAS SOUPS 630856 WITH SCORE 631672.049
AT ITER 829 NEW BEST:: SOT 1275468 SOS 816030 HAS SOPS 816030 HAS SOUS 630837 HAS SOUPS 630837 WITH SCORE 631653.03
AT ITER 833 NEW BEST:: SOT 1275168 SOS 815730 HAS SOPS 815730 HAS SOUS 630537 HAS SOUPS 630537 WITH SCORE 631352.73
AT ITER 837 NEW BEST:: SOT 1274944 SOS 815506 HAS SOPS 815506 HAS SOUS 630313 HAS SOUPS 630313 WITH SCORE 631128.506
AT ITER 850 NEW BEST:: SOT 1274786 SOS 815348 HAS SOPS 815348 HAS SOUS 630155 HAS SOUPS 630155 WITH SCORE 630970.348
AT ITER 858 NEW BEST:: SOT 1274646 SOS 815208 HAS SOPS 815208 HAS SOUS 630015 HAS SOUPS 630015 WITH SCORE 630830.208
AT ITER 862 NEW BEST:: SOT 1274645 SOS 814981 HAS SOPS 814981 HAS SOUS 629992 HAS SOUPS 629992 WITH SCORE 630806.981
AT ITER 864 NEW BEST:: SOT 1274169 SOS 812601 HAS SOPS 812601 HAS SOUS 629991 HAS SOUPS 629991 WITH SCORE 630803.601
AT ITER 867 NEW BEST:: SOT 1274082 SOS 812514 HAS SOPS 812514 HAS SOUS 629904 HAS SOUPS 629904 WITH SCORE 630716.514
AT ITER 869 NEW BEST:: SOT 1273759 SOS 811868 HAS SOPS 811868 HAS SOUS 629257 HAS SOUPS 629257 WITH SCORE 630068.868
AT ITER 871 NEW BEST:: SOT 1273232 SOS 811341 HAS SOPS 811341 HAS SOUS 628730 HAS SOUPS 628730 WITH SCORE 629541.341
AT ITER 872 NEW BEST:: SOT 1273472 SOS 811568 HAS SOPS 811568 HAS SOUS 628703 HAS SOUPS 628703 WITH SCORE 629514.568
AT ITER 884 NEW BEST:: SOT 1272586 SOS 806705 HAS SOPS 806705 HAS SOUS 626160 HAS SOUPS 626160 WITH SCORE 626966.705
AT ITER 885 NEW BEST:: SOT 1272270 SOS 806389 HAS SOPS 806389 HAS SOUS 625844 HAS SOUPS 625844 WITH SCORE 626650.389
AT ITER 887 NEW BEST:: SOT 1271936 SOS 806193 HAS SOPS 806193 HAS SOUS 625648 HAS SOUPS 625648 WITH SCORE 626454.193
AT ITER 900 NEW BEST:: SOT 1271678 SOS 806110 HAS SOPS 806110 HAS SOUS 625565 HAS SOUPS 625565 WITH SCORE 626371.11
AT ITER 910 NEW BEST:: SOT 1271443 SOS 804818 HAS SOPS 804818 HAS SOUS 625213 HAS SOUPS 625213 WITH SCORE 626017.818
AT ITER 921 NEW BEST:: SOT 1271441 SOS 803814 HAS SOPS 803814 HAS SOUS 625005 HAS SOUPS 625005 WITH SCORE 625808.814
AT ITER 928 NEW BEST:: SOT 1271433 SOS 803795 HAS SOPS 803795 HAS SOUS 624980 HAS SOUPS 624980 WITH SCORE 625783.795
AT ITER 933 NEW BEST:: SOT 1270820 SOS 803258 HAS SOPS 803258 HAS SOUS 624443 HAS SOUPS 624443 WITH SCORE 625246.258
AT ITER 953 NEW BEST:: SOT 1270818 SOS 803254 HAS SOPS 803254 HAS SOUS 624439 HAS SOUPS 624439 WITH SCORE 625242.254
AT ITER 955 NEW BEST:: SOT 1270528 SOS 802925 HAS SOPS 802925 HAS SOUS 624110 HAS SOUPS 624110 WITH SCORE 624912.925
AT ITER 971 NEW BEST:: SOT 1270045 SOS 802442 HAS SOPS 802442 HAS SOUS 623627 HAS SOUPS 623627 WITH SCORE 624429.442
AT ITER 974 NEW BEST:: SOT 1269575 SOS 801970 HAS SOPS 801970 HAS SOUS 623155 HAS SOUPS 623155 WITH SCORE 623956.97
AT ITER 990 NEW BEST:: SOT 1269381 SOS 801776 HAS SOPS 801776 HAS SOUS 622961 HAS SOUPS 622961 WITH SCORE 623762.776
AT ITER 998 NEW BEST:: SOT 1268922 SOS 800841 HAS SOPS 800841 HAS SOUS 622029 HAS SOUPS 622029 WITH SCORE 622829.841
AT ITER 999 NEW BEST:: SOT 1268942 SOS 800948 HAS SOPS 800948 HAS SOUS 622028 HAS SOUPS 622028 WITH SCORE 622828.948
AT ITER 1010 NEW BEST:: SOT 1268452 SOS 800456 HAS SOPS 800456 HAS SOUS 621536 HAS SOUPS 621536 WITH SCORE 622336.456
AT ITER 1011 NEW BEST:: SOT 1268310 SOS 800314 HAS SOPS 800314 HAS SOUS 621394 HAS SOUPS 621394 WITH SCORE 622194.314
AT ITER 1015 NEW BEST:: SOT 1268008 SOS 797496 HAS SOPS 797496 HAS SOUS 619828 HAS SOUPS 619828 WITH SCORE 620625.496
AT ITER 1023 NEW BEST:: SOT 1267966 SOS 797451 HAS SOPS 797451 HAS SOUS 619783 HAS SOUPS 619783 WITH SCORE 620580.451
AT ITER 1026 NEW BEST:: SOT 1267736 SOS 797106 HAS SOPS 797106 HAS SOUS 619438 HAS SOUPS 619438 WITH SCORE 620235.106
AT ITER 1030 NEW BEST:: SOT 1267524 SOS 796894 HAS SOPS 796894 HAS SOUS 619226 HAS SOUPS 619226 WITH SCORE 620022.894
AT ITER 1037 NEW BEST:: SOT 1266968 SOS 795852 HAS SOPS 795852 HAS SOUS 616790 HAS SOUPS 616790 WITH SCORE 617585.852
AT ITER 1038 NEW BEST:: SOT 1266967 SOS 794454 HAS SOPS 794454 HAS SOUS 616551 HAS SOUPS 616551 WITH SCORE 617345.454
AT ITER 1039 NEW BEST:: SOT 1266596 SOS 794083 HAS SOPS 794083 HAS SOUS 616180 HAS SOUPS 616180 WITH SCORE 616974.083
AT ITER 1044 NEW BEST:: SOT 1266547 SOS 794032 HAS SOPS 794032 HAS SOUS 616128 HAS SOUPS 616128 WITH SCORE 616922.032
AT ITER 1050 NEW BEST:: SOT 1265845 SOS 793355 HAS SOPS 793355 HAS SOUS 615026 HAS SOUPS 615026 WITH SCORE 615819.355
AT ITER 1054 NEW BEST:: SOT 1265747 SOS 793257 HAS SOPS 793257 HAS SOUS 614928 HAS SOUPS 614928 WITH SCORE 615721.257
AT ITER 1055 NEW BEST:: SOT 1265452 SOS 792962 HAS SOPS 792962 HAS SOUS 614633 HAS SOUPS 614633 WITH SCORE 615425.962
AT ITER 1056 NEW BEST:: SOT 1264963 SOS 792084 HAS SOPS 792084 HAS SOUS 613755 HAS SOUPS 613755 WITH SCORE 614547.084
AT ITER 1058 NEW BEST:: SOT 1264790 SOS 791911 HAS SOPS 791911 HAS SOUS 613582 HAS SOUPS 613582 WITH SCORE 614373.911
AT ITER 1075 NEW BEST:: SOT 1264643 SOS 791764 HAS SOPS 791764 HAS SOUS 613435 HAS SOUPS 613435 WITH SCORE 614226.764
AT ITER 1082 NEW BEST:: SOT 1264784 SOS 791645 HAS SOPS 791645 HAS SOUS 613425 HAS SOUPS 613425 WITH SCORE 614216.645
AT ITER 1086 NEW BEST:: SOT 1264602 SOS 791450 HAS SOPS 791450 HAS SOUS 613048 HAS SOUPS 613048 WITH SCORE 613839.45
AT ITER 1090 NEW BEST:: SOT 1264469 SOS 791317 HAS SOPS 791317 HAS SOUS 612915 HAS SOUPS 612915 WITH SCORE 613706.317
AT ITER 1091 NEW BEST:: SOT 1263730 SOS 790390 HAS SOPS 790390 HAS SOUS 612686 HAS SOUPS 612686 WITH SCORE 613476.39
AT ITER 1094 NEW BEST:: SOT 1263540 SOS 790200 HAS SOPS 790200 HAS SOUS 612496 HAS SOUPS 612496 WITH SCORE 613286.2
AT ITER 1096 NEW BEST:: SOT 1263394 SOS 790043 HAS SOPS 790043 HAS SOUS 612333 HAS SOUPS 612333 WITH SCORE 613123.043
AT ITER 1113 NEW BEST:: SOT 1263251 SOS 789900 HAS SOPS 789900 HAS SOUS 612190 HAS SOUPS 612190 WITH SCORE 612979.9
AT ITER 1122 NEW BEST:: SOT 1263836 SOS 787090 HAS SOPS 787090 HAS SOUS 611578 HAS SOUPS 611578 WITH SCORE 612365.09
AT ITER 1123 NEW BEST:: SOT 1263154 SOS 786046 HAS SOPS 786046 HAS SOUS 609763 HAS SOUPS 609763 WITH SCORE 610549.046
AT ITER 1125 NEW BEST:: SOT 1262752 SOS 785029 HAS SOPS 785029 HAS SOUS 609677 HAS SOUPS 609677 WITH SCORE 610462.029
AT ITER 1127 NEW BEST:: SOT 1261883 SOS 784160 HAS SOPS 784160 HAS SOUS 609088 HAS SOUPS 609088 WITH SCORE 609872.16
AT ITER 1135 NEW BEST:: SOT 1261883 SOS 784401 HAS SOPS 784401 HAS SOUS 608859 HAS SOUPS 608859 WITH SCORE 609643.401
AT ITER 1137 NEW BEST:: SOT 1261879 SOS 781043 HAS SOPS 781043 HAS SOUS 608839 HAS SOUPS 608839 WITH SCORE 609620.043
AT ITER 1148 NEW BEST:: SOT 1261596 SOS 780760 HAS SOPS 780760 HAS SOUS 608556 HAS SOUPS 608556 WITH SCORE 609336.76
AT ITER 1155 NEW BEST:: SOT 1261588 SOS 780741 HAS SOPS 780741 HAS SOUS 608531 HAS SOUPS 608531 WITH SCORE 609311.741
AT ITER 1161 NEW BEST:: SOT 1261237 SOS 780042 HAS SOPS 780042 HAS SOUS 607832 HAS SOUPS 607832 WITH SCORE 608612.042
AT ITER 1165 NEW BEST:: SOT 1261235 SOS 780040 HAS SOPS 780040 HAS SOUS 607830 HAS SOUPS 607830 WITH SCORE 608610.04
AT ITER 1167 NEW BEST:: SOT 1261037 SOS 779050 HAS SOPS 779050 HAS SOUS 607830 HAS SOUPS 607830 WITH SCORE 608609.05
AT ITER 1178 NEW BEST:: SOT 1260635 SOS 778648 HAS SOPS 778648 HAS SOUS 607427 HAS SOUPS 607427 WITH SCORE 608205.648
AT ITER 1181 NEW BEST:: SOT 1260635 SOS 778646 HAS SOPS 778646 HAS SOUS 607425 HAS SOUPS 607425 WITH SCORE 608203.646
AT ITER 1187 NEW BEST:: SOT 1260824 SOS 778346 HAS SOPS 778346 HAS SOUS 607125 HAS SOUPS 607125 WITH SCORE 607903.346
AT ITER 1191 NEW BEST:: SOT 1260798 SOS 778320 HAS SOPS 778320 HAS SOUS 607099 HAS SOUPS 607099 WITH SCORE 607877.32
AT ITER 1192 NEW BEST:: SOT 1260763 SOS 778285 HAS SOPS 778285 HAS SOUS 607064 HAS SOUPS 607064 WITH SCORE 607842.285
AT ITER 1195 NEW BEST:: SOT 1260763 SOS 777143 HAS SOPS 777143 HAS SOUS 607064 HAS SOUPS 607064 WITH SCORE 607841.143
AT ITER 1204 NEW BEST:: SOT 1260762 SOS 777134 HAS SOPS 777134 HAS SOUS 607055 HAS SOUPS 607055 WITH SCORE 607832.134
AT ITER 1210 NEW BEST:: SOT 1260519 SOS 775833 HAS SOPS 775833 HAS SOUS 606563 HAS SOUPS 606563 WITH SCORE 607338.833
AT ITER 1212 NEW BEST:: SOT 1259835 SOS 775147 HAS SOPS 775147 HAS SOUS 605877 HAS SOUPS 605877 WITH SCORE 606652.147
AT ITER 1219 NEW BEST:: SOT 1259579 SOS 774891 HAS SOPS 774891 HAS SOUS 605621 HAS SOUPS 605621 WITH SCORE 606395.891
AT ITER 1233 NEW BEST:: SOT 1259311 SOS 774623 HAS SOPS 774623 HAS SOUS 605353 HAS SOUPS 605353 WITH SCORE 606127.623
AT ITER 1236 NEW BEST:: SOT 1259041 SOS 773182 HAS SOPS 773182 HAS SOUS 604645 HAS SOUPS 604645 WITH SCORE 605418.182
AT ITER 1242 NEW BEST:: SOT 1258743 SOS 772877 HAS SOPS 772877 HAS SOUS 604340 HAS SOUPS 604340 WITH SCORE 605112.877
AT ITER 1243 NEW BEST:: SOT 1258575 SOS 772707 HAS SOPS 772707 HAS SOUS 604170 HAS SOUPS 604170 WITH SCORE 604942.707
AT ITER 1259 NEW BEST:: SOT 1258535 SOS 771815 HAS SOPS 771815 HAS SOUS 604170 HAS SOUPS 604170 WITH SCORE 604941.815
AT ITER 1260 NEW BEST:: SOT 1259908 SOS 771822 HAS SOPS 771822 HAS SOUS 604159 HAS SOUPS 604159 WITH SCORE 604930.822
AT ITER 1262 NEW BEST:: SOT 1259216 SOS 771363 HAS SOPS 771363 HAS SOUS 603784 HAS SOUPS 603784 WITH SCORE 604555.363
AT ITER 1271 NEW BEST:: SOT 1258818 SOS 770965 HAS SOPS 770965 HAS SOUS 603386 HAS SOUPS 603386 WITH SCORE 604156.965
AT ITER 1274 NEW BEST:: SOT 1258295 SOS 770875 HAS SOPS 770875 HAS SOUS 603296 HAS SOUPS 603296 WITH SCORE 604066.875
AT ITER 1284 NEW BEST:: SOT 1258238 SOS 767763 HAS SOPS 767763 HAS SOUS 602728 HAS SOUPS 602728 WITH SCORE 603495.763
AT ITER 1301 NEW BEST:: SOT 1257960 SOS 766373 HAS SOPS 766373 HAS SOUS 602728 HAS SOUPS 602728 WITH SCORE 603494.373
AT ITER 1314 NEW BEST:: SOT 1257957 SOS 766370 HAS SOPS 766370 HAS SOUS 602725 HAS SOUPS 602725 WITH SCORE 603491.37
AT ITER 1316 NEW BEST:: SOT 1257965 SOS 766367 HAS SOPS 766367 HAS SOUS 602715 HAS SOUPS 602715 WITH SCORE 603481.367
AT ITER 1320 NEW BEST:: SOT 1257956 SOS 766348 HAS SOPS 766348 HAS SOUS 602689 HAS SOUPS 602689 WITH SCORE 603455.348
AT ITER 1322 NEW BEST:: SOT 1257528 SOS 765918 HAS SOPS 765918 HAS SOUS 602259 HAS SOUPS 602259 WITH SCORE 603024.918
AT ITER 1323 NEW BEST:: SOT 1257023 SOS 764906 HAS SOPS 764906 HAS SOUS 601247 HAS SOUPS 601247 WITH SCORE 602011.906
AT ITER 1326 NEW BEST:: SOT 1257021 SOS 764902 HAS SOPS 764902 HAS SOUS 601243 HAS SOUPS 601243 WITH SCORE 602007.902
AT ITER 1328 NEW BEST:: SOT 1257007 SOS 764888 HAS SOPS 764888 HAS SOUS 601243 HAS SOUPS 601243 WITH SCORE 602007.888
AT ITER 1337 NEW BEST:: SOT 1256675 SOS 764204 HAS SOPS 764204 HAS SOUS 600568 HAS SOUPS 600568 WITH SCORE 601332.204
AT ITER 1339 NEW BEST:: SOT 1256421 SOS 763950 HAS SOPS 763950 HAS SOUS 600314 HAS SOUPS 600314 WITH SCORE 601077.95
AT ITER 1340 NEW BEST:: SOT 1255771 SOS 763377 HAS SOPS 763377 HAS SOUS 599590 HAS SOUPS 599590 WITH SCORE 600353.377
AT ITER 1341 NEW BEST:: SOT 1255150 SOS 762756 HAS SOPS 762756 HAS SOUS 598969 HAS SOUPS 598969 WITH SCORE 599731.756
AT ITER 1349 NEW BEST:: SOT 1254859 SOS 761951 HAS SOPS 761951 HAS SOUS 598167 HAS SOUPS 598167 WITH SCORE 598928.951
AT ITER 1350 NEW BEST:: SOT 1254395 SOS 761485 HAS SOPS 761485 HAS SOUS 597701 HAS SOUPS 597701 WITH SCORE 598462.485
AT ITER 1365 NEW BEST:: SOT 1254395 SOS 758226 HAS SOPS 758226 HAS SOUS 597293 HAS SOUPS 597293 WITH SCORE 598051.226
AT ITER 1370 NEW BEST:: SOT 1254085 SOS 756676 HAS SOPS 756676 HAS SOUS 597292 HAS SOUPS 597292 WITH SCORE 598048.676
AT ITER 1372 NEW BEST:: SOT 1254071 SOS 756705 HAS SOPS 756705 HAS SOUS 597277 HAS SOUPS 597277 WITH SCORE 598033.705
AT ITER 1379 NEW BEST:: SOT 1253323 SOS 755463 HAS SOPS 755463 HAS SOUS 596203 HAS SOUPS 596203 WITH SCORE 596958.463
AT ITER 1384 NEW BEST:: SOT 1253135 SOS 755274 HAS SOPS 755274 HAS SOUS 596014 HAS SOUPS 596014 WITH SCORE 596769.274
AT ITER 1387 NEW BEST:: SOT 1252473 SOS 750566 HAS SOPS 750566 HAS SOUS 593786 HAS SOUPS 593786 WITH SCORE 594536.566
AT ITER 1388 NEW BEST:: SOT 1252285 SOS 750378 HAS SOPS 750378 HAS SOUS 593598 HAS SOUPS 593598 WITH SCORE 594348.378
AT ITER 1390 NEW BEST:: SOT 1251758 SOS 749851 HAS SOPS 749851 HAS SOUS 593071 HAS SOUPS 593071 WITH SCORE 593820.851
AT ITER 1403 NEW BEST:: SOT 1251642 SOS 749725 HAS SOPS 749725 HAS SOUS 592492 HAS SOUPS 592492 WITH SCORE 593241.725
AT ITER 1406 NEW BEST:: SOT 1251641 SOS 749426 HAS SOPS 749426 HAS SOUS 592193 HAS SOUPS 592193 WITH SCORE 592942.426
AT ITER 1408 NEW BEST:: SOT 1251432 SOS 749170 HAS SOPS 749170 HAS SOUS 591937 HAS SOUPS 591937 WITH SCORE 592686.17
AT ITER 1416 NEW BEST:: SOT 1250955 SOS 748683 HAS SOPS 748683 HAS SOUS 591436 HAS SOUPS 591436 WITH SCORE 592184.683
AT ITER 1426 NEW BEST:: SOT 1250517 SOS 744946 HAS SOPS 744946 HAS SOUS 590856 HAS SOUPS 590856 WITH SCORE 591600.946
AT ITER 1431 NEW BEST:: SOT 1250504 SOS 744925 HAS SOPS 744925 HAS SOUS 590824 HAS SOUPS 590824 WITH SCORE 591568.925
AT ITER 1434 NEW BEST:: SOT 1249294 SOS 743715 HAS SOPS 743715 HAS SOUS 589400 HAS SOUPS 589400 WITH SCORE 590143.715
AT ITER 1444 NEW BEST:: SOT 1248975 SOS 743395 HAS SOPS 743395 HAS SOUS 589080 HAS SOUPS 589080 WITH SCORE 589823.395
AT ITER 1469 NEW BEST:: SOT 1248984 SOS 743402 HAS SOPS 743402 HAS SOUS 589075 HAS SOUPS 589075 WITH SCORE 589818.402
AT ITER 1478 NEW BEST:: SOT 1248419 SOS 740445 HAS SOPS 740445 HAS SOUS 589073 HAS SOUPS 589073 WITH SCORE 589813.445
AT ITER 1486 NEW BEST:: SOT 1247898 SOS 739924 HAS SOPS 739924 HAS SOUS 588552 HAS SOUPS 588552 WITH SCORE 589291.924
AT ITER 1496 NEW BEST:: SOT 1247806 SOS 738267 HAS SOPS 738267 HAS SOUS 588131 HAS SOUPS 588131 WITH SCORE 588869.267
AT ITER 1503 NEW BEST:: SOT 1248101 SOS 738468 HAS SOPS 738468 HAS SOUS 587831 HAS SOUPS 587831 WITH SCORE 588569.468
AT ITER 1506 NEW BEST:: SOT 1247703 SOS 738070 HAS SOPS 738070 HAS SOUS 587433 HAS SOUPS 587433 WITH SCORE 588171.07
AT ITER 1536 NEW BEST:: SOT 1247707 SOS 738074 HAS SOPS 738074 HAS SOUS 587431 HAS SOUPS 587431 WITH SCORE 588169.074
AT ITER 1540 NEW BEST:: SOT 1247362 SOS 737641 HAS SOPS 737641 HAS SOUS 586998 HAS SOUPS 586998 WITH SCORE 587735.641
AT ITER 1561 NEW BEST:: SOT 1247135 SOS 737271 HAS SOPS 737271 HAS SOUS 586628 HAS SOUPS 586628 WITH SCORE 587365.271
AT ITER 1572 NEW BEST:: SOT 1246802 SOS 736930 HAS SOPS 736930 HAS SOUS 586274 HAS SOUPS 586274 WITH SCORE 587010.93
AT ITER 1579 NEW BEST:: SOT 1246526 SOS 735550 HAS SOPS 735550 HAS SOUS 586274 HAS SOUPS 586274 WITH SCORE 587009.55
AT ITER 1598 NEW BEST:: SOT 1246228 SOS 734060 HAS SOPS 734060 HAS SOUS 586274 HAS SOUPS 586274 WITH SCORE 587008.06
AT ITER 1602 NEW BEST:: SOT 1246138 SOS 733970 HAS SOPS 733970 HAS SOUS 586184 HAS SOUPS 586184 WITH SCORE 586917.97
AT ITER 1612 NEW BEST:: SOT 1246138 SOS 733970 HAS SOPS 733970 HAS SOUS 586183 HAS SOUPS 586183 WITH SCORE 586916.97
AT ITER 1621 NEW BEST:: SOT 1245955 SOS 733787 HAS SOPS 733787 HAS SOUS 586000 HAS SOUPS 586000 WITH SCORE 586733.787
AT ITER 1648 NEW BEST:: SOT 1246148 SOS 733980 HAS SOPS 733980 HAS SOUS 585925 HAS SOUPS 585925 WITH SCORE 586658.98
AT ITER 1656 NEW BEST:: SOT 1245922 SOS 733752 HAS SOPS 733752 HAS SOUS 585697 HAS SOUPS 585697 WITH SCORE 586430.752
AT ITER 1659 NEW BEST:: SOT 1245882 SOS 733673 HAS SOPS 733673 HAS SOUS 585618 HAS SOUPS 585618 WITH SCORE 586351.673
AT ITER 1669 NEW BEST:: SOT 1245969 SOS 731160 HAS SOPS 731160 HAS SOUS 584319 HAS SOUPS 584319 WITH SCORE 585050.16
AT ITER 1670 NEW BEST:: SOT 1245477 SOS 730666 HAS SOPS 730666 HAS SOUS 583825 HAS SOUPS 583825 WITH SCORE 584555.666
AT ITER 1679 NEW BEST:: SOT 1245477 SOS 730607 HAS SOPS 730607 HAS SOUS 583810 HAS SOUPS 583810 WITH SCORE 584540.607
AT ITER 1696 NEW BEST:: SOT 1245259 SOS 730061 HAS SOPS 730061 HAS SOUS 583264 HAS SOUPS 583264 WITH SCORE 583994.061
AT ITER 1698 NEW BEST:: SOT 1245094 SOS 729896 HAS SOPS 729896 HAS SOUS 583099 HAS SOUPS 583099 WITH SCORE 583828.896
AT ITER 1699 NEW BEST:: SOT 1245092 SOS 726894 HAS SOPS 726894 HAS SOUS 583081 HAS SOUPS 583081 WITH SCORE 583807.894
AT ITER 1711 NEW BEST:: SOT 1245198 SOS 726609 HAS SOPS 726609 HAS SOUS 583011 HAS SOUPS 583011 WITH SCORE 583737.609
AT ITER 1712 NEW BEST:: SOT 1244952 SOS 726363 HAS SOPS 726363 HAS SOUS 582765 HAS SOUPS 582765 WITH SCORE 583491.363
AT ITER 1714 NEW BEST:: SOT 1244323 SOS 725734 HAS SOPS 725734 HAS SOUS 582136 HAS SOUPS 582136 WITH SCORE 582861.734
AT ITER 1717 NEW BEST:: SOT 1244213 SOS 725623 HAS SOPS 725623 HAS SOUS 582025 HAS SOUPS 582025 WITH SCORE 582750.623
AT ITER 1719 NEW BEST:: SOT 1244754 SOS 722611 HAS SOPS 722611 HAS SOUS 580525 HAS SOUPS 580525 WITH SCORE 581247.611
AT ITER 1732 NEW BEST:: SOT 1243695 SOS 721552 HAS SOPS 721552 HAS SOUS 579466 HAS SOUPS 579466 WITH SCORE 580187.552
AT ITER 1739 NEW BEST:: SOT 1243559 SOS 721416 HAS SOPS 721416 HAS SOUS 579320 HAS SOUPS 579320 WITH SCORE 580041.416
AT ITER 1746 NEW BEST:: SOT 1243488 SOS 721345 HAS SOPS 721345 HAS SOUS 579249 HAS SOUPS 579249 WITH SCORE 579970.345
AT ITER 1752 NEW BEST:: SOT 1243709 SOS 721775 HAS SOPS 721775 HAS SOUS 579237 HAS SOUPS 579237 WITH SCORE 579958.775
AT ITER 1754 NEW BEST:: SOT 1243709 SOS 721764 HAS SOPS 721764 HAS SOUS 579237 HAS SOUPS 579237 WITH SCORE 579958.764
AT ITER 1756 NEW BEST:: SOT 1243551 SOS 720974 HAS SOPS 720974 HAS SOUS 579230 HAS SOUPS 579230 WITH SCORE 579950.974
AT ITER 1758 NEW BEST:: SOT 1243183 SOS 720602 HAS SOPS 720602 HAS SOUS 578847 HAS SOUPS 578847 WITH SCORE 579567.602
AT ITER 1771 NEW BEST:: SOT 1242509 SOS 716677 HAS SOPS 716677 HAS SOUS 576495 HAS SOUPS 576495 WITH SCORE 577211.677
AT ITER 1785 NEW BEST:: SOT 1242504 SOS 716672 HAS SOPS 716672 HAS SOUS 576490 HAS SOUPS 576490 WITH SCORE 577206.672
AT ITER 1787 NEW BEST:: SOT 1242336 SOS 716503 HAS SOPS 716503 HAS SOUS 576321 HAS SOUPS 576321 WITH SCORE 577037.503
AT ITER 1790 NEW BEST:: SOT 1242196 SOS 716360 HAS SOPS 716360 HAS SOUS 576178 HAS SOUPS 576178 WITH SCORE 576894.36
AT ITER 1792 NEW BEST:: SOT 1242183 SOS 716293 HAS SOPS 716293 HAS SOUS 576111 HAS SOUPS 576111 WITH SCORE 576827.293
AT ITER 1797 NEW BEST:: SOT 1242183 SOS 716292 HAS SOPS 716292 HAS SOUS 576110 HAS SOUPS 576110 WITH SCORE 576826.292
AT ITER 1805 NEW BEST:: SOT 1242160 SOS 716257 HAS SOPS 716257 HAS SOUS 576075 HAS SOUPS 576075 WITH SCORE 576791.257
AT ITER 1809 NEW BEST:: SOT 1242158 SOS 716233 HAS SOPS 716233 HAS SOUS 576051 HAS SOUPS 576051 WITH SCORE 576767.233
AT ITER 1825 NEW BEST:: SOT 1242111 SOS 714277 HAS SOPS 714277 HAS SOUS 574294 HAS SOUPS 574294 WITH SCORE 575008.277
AT ITER 1847 NEW BEST:: SOT 1242111 SOS 714275 HAS SOPS 714275 HAS SOUS 574292 HAS SOUPS 574292 WITH SCORE 575006.275
AT ITER 1854 NEW BEST:: SOT 1242091 SOS 713673 HAS SOPS 713673 HAS SOUS 574292 HAS SOUPS 574292 WITH SCORE 575005.673
AT ITER 1860 NEW BEST:: SOT 1241533 SOS 712871 HAS SOPS 712871 HAS SOUS 573503 HAS SOUPS 573503 WITH SCORE 574215.871
AT ITER 1862 NEW BEST:: SOT 1241827 SOS 712353 HAS SOPS 712353 HAS SOUS 573101 HAS SOUPS 573101 WITH SCORE 573813.353
AT ITER 1864 NEW BEST:: SOT 1241807 SOS 712333 HAS SOPS 712333 HAS SOUS 573081 HAS SOUPS 573081 WITH SCORE 573793.333
AT ITER 1870 NEW BEST:: SOT 1241799 SOS 712325 HAS SOPS 712325 HAS SOUS 573073 HAS SOUPS 573073 WITH SCORE 573785.325
AT ITER 1875 NEW BEST:: SOT 1241373 SOS 711836 HAS SOPS 711836 HAS SOUS 572584 HAS SOUPS 572584 WITH SCORE 573295.836
AT ITER 1885 NEW BEST:: SOT 1241108 SOS 711419 HAS SOPS 711419 HAS SOUS 572167 HAS SOUPS 572167 WITH SCORE 572878.419
AT ITER 1887 NEW BEST:: SOT 1241100 SOS 711416 HAS SOPS 711416 HAS SOUS 572140 HAS SOUPS 572140 WITH SCORE 572851.416
AT ITER 1891 NEW BEST:: SOT 1241110 SOS 711521 HAS SOPS 711521 HAS SOUS 572066 HAS SOUPS 572066 WITH SCORE 572777.521
AT ITER 1895 NEW BEST:: SOT 1240828 SOS 711239 HAS SOPS 711239 HAS SOUS 572066 HAS SOUPS 572066 WITH SCORE 572777.239
AT ITER 1901 NEW BEST:: SOT 1240828 SOS 710679 HAS SOPS 710679 HAS SOUS 570983 HAS SOUPS 570983 WITH SCORE 571693.679
AT ITER 1918 NEW BEST:: SOT 1240606 SOS 710460 HAS SOPS 710460 HAS SOUS 570764 HAS SOUPS 570764 WITH SCORE 571474.46
AT ITER 1925 NEW BEST:: SOT 1240312 SOS 710195 HAS SOPS 710195 HAS SOUS 570352 HAS SOUPS 570352 WITH SCORE 571062.195
AT ITER 1937 NEW BEST:: SOT 1240206 SOS 710089 HAS SOPS 710089 HAS SOUS 570246 HAS SOUPS 570246 WITH SCORE 570956.089
AT ITER 1950 NEW BEST:: SOT 1240068 SOS 709826 HAS SOPS 709826 HAS SOUS 569983 HAS SOUPS 569983 WITH SCORE 570692.826
AT ITER 1962 NEW BEST:: SOT 1239605 SOS 709363 HAS SOPS 709363 HAS SOUS 569520 HAS SOUPS 569520 WITH SCORE 570229.363
AT ITER 1968 NEW BEST:: SOT 1239605 SOS 709166 HAS SOPS 709166 HAS SOUS 569378 HAS SOUPS 569378 WITH SCORE 570087.166
AT ITER 1970 NEW BEST:: SOT 1239346 SOS 708907 HAS SOPS 708907 HAS SOUS 569119 HAS SOUPS 569119 WITH SCORE 569827.907
AT ITER 1973 NEW BEST:: SOT 1239345 SOS 707576 HAS SOPS 707576 HAS SOUS 569075 HAS SOUPS 569075 WITH SCORE 569782.576
AT ITER 1975 NEW BEST:: SOT 1238675 SOS 706906 HAS SOPS 706906 HAS SOUS 568084 HAS SOUPS 568084 WITH SCORE 568790.906
AT ITER 1978 NEW BEST:: SOT 1238530 SOS 706761 HAS SOPS 706761 HAS SOUS 567935 HAS SOUPS 567935 WITH SCORE 568641.761
AT ITER 1981 NEW BEST:: SOT 1238458 SOS 706329 HAS SOPS 706329 HAS SOUS 567931 HAS SOUPS 567931 WITH SCORE 568637.329
AT ITER 1993 NEW BEST:: SOT 1238372 SOS 706244 HAS SOPS 706244 HAS SOUS 567846 HAS SOUPS 567846 WITH SCORE 568552.244
AT ITER 1994 NEW BEST:: SOT 1238252 SOS 706124 HAS SOPS 706124 HAS SOUS 567726 HAS SOUPS 567726 WITH SCORE 568432.124
AT ITER 1997 NEW BEST:: SOT 1238252 SOS 705957 HAS SOPS 705957 HAS SOUS 567559 HAS SOUPS 567559 WITH SCORE 568264.957
AT ITER 2001 NEW BEST:: SOT 1238069 SOS 705773 HAS SOPS 705773 HAS SOUS 567375 HAS SOUPS 567375 WITH SCORE 568080.773
AT ITER 2019 NEW BEST:: SOT 1237704 SOS 705408 HAS SOPS 705408 HAS SOUS 567010 HAS SOUPS 567010 WITH SCORE 567715.408
AT ITER 2020 NEW BEST:: SOT 1237576 SOS 705280 HAS SOPS 705280 HAS SOUS 566754 HAS SOUPS 566754 WITH SCORE 567459.28
AT ITER 2022 NEW BEST:: SOT 1237576 SOS 704428 HAS SOPS 704428 HAS SOUS 566541 HAS SOUPS 566541 WITH SCORE 567245.428
AT ITER 2030 NEW BEST:: SOT 1237511 SOS 704363 HAS SOPS 704363 HAS SOUS 566476 HAS SOUPS 566476 WITH SCORE 567180.363
AT ITER 2035 NEW BEST:: SOT 1236850 SOS 703702 HAS SOPS 703702 HAS SOUS 565815 HAS SOUPS 565815 WITH SCORE 566518.702
AT ITER 2036 NEW BEST:: SOT 1236516 SOS 703181 HAS SOPS 703181 HAS SOUS 565294 HAS SOUPS 565294 WITH SCORE 565997.181
AT ITER 2049 NEW BEST:: SOT 1236470 SOS 703052 HAS SOPS 703052 HAS SOUS 565165 HAS SOUPS 565165 WITH SCORE 565868.052
AT ITER 2056 NEW BEST:: SOT 1236468 SOS 702339 HAS SOPS 702339 HAS SOUS 565138 HAS SOUPS 565138 WITH SCORE 565840.339
AT ITER 2059 NEW BEST:: SOT 1237502 SOS 701761 HAS SOPS 701761 HAS SOUS 565052 HAS SOUPS 565052 WITH SCORE 565753.761
AT ITER 2063 NEW BEST:: SOT 1238718 SOS 699904 HAS SOPS 699904 HAS SOUS 564896 HAS SOUPS 564896 WITH SCORE 565595.904
AT ITER 2066 NEW BEST:: SOT 1238962 SOS 699786 HAS SOPS 699786 HAS SOUS 564778 HAS SOUPS 564778 WITH SCORE 565477.786
AT ITER 2079 NEW BEST:: SOT 1238727 SOS 698611 HAS SOPS 698611 HAS SOUS 564777 HAS SOUPS 564777 WITH SCORE 565475.611
AT ITER 2088 NEW BEST:: SOT 1238694 SOS 698446 HAS SOPS 698446 HAS SOUS 564744 HAS SOUPS 564744 WITH SCORE 565442.446
AT ITER 2091 NEW BEST:: SOT 1238553 SOS 698151 HAS SOPS 698151 HAS SOUS 564224 HAS SOUPS 564224 WITH SCORE 564922.151
AT ITER 2099 NEW BEST:: SOT 1238473 SOS 698071 HAS SOPS 698071 HAS SOUS 564144 HAS SOUPS 564144 WITH SCORE 564842.071
AT ITER 2100 NEW BEST:: SOT 1238460 SOS 697952 HAS SOPS 697952 HAS SOUS 564144 HAS SOUPS 564144 WITH SCORE 564841.952
AT ITER 2101 NEW BEST:: SOT 1238048 SOS 697539 HAS SOPS 697539 HAS SOUS 563860 HAS SOUPS 563860 WITH SCORE 564557.539
AT ITER 2111 NEW BEST:: SOT 1237948 SOS 696333 HAS SOPS 696333 HAS SOUS 563860 HAS SOUPS 563860 WITH SCORE 564556.333
AT ITER 2114 NEW BEST:: SOT 1237939 SOS 694003 HAS SOPS 694003 HAS SOUS 563747 HAS SOUPS 563747 WITH SCORE 564441.003
AT ITER 2115 NEW BEST:: SOT 1237676 SOS 693738 HAS SOPS 693738 HAS SOUS 563482 HAS SOUPS 563482 WITH SCORE 564175.738
AT ITER 2116 NEW BEST:: SOT 1237366 SOS 693428 HAS SOPS 693428 HAS SOUS 563172 HAS SOUPS 563172 WITH SCORE 563865.428
AT ITER 2120 NEW BEST:: SOT 1237455 SOS 693494 HAS SOPS 693494 HAS SOUS 563129 HAS SOUPS 563129 WITH SCORE 563822.494
AT ITER 2127 NEW BEST:: SOT 1237454 SOS 693496 HAS SOPS 693496 HAS SOUS 563124 HAS SOUPS 563124 WITH SCORE 563817.496
AT ITER 2132 NEW BEST:: SOT 1237302 SOS 693339 HAS SOPS 693339 HAS SOUS 562967 HAS SOUPS 562967 WITH SCORE 563660.339
AT ITER 2139 NEW BEST:: SOT 1237191 SOS 693142 HAS SOPS 693142 HAS SOUS 562770 HAS SOUPS 562770 WITH SCORE 563463.142
AT ITER 2148 NEW BEST:: SOT 1237190 SOS 693139 HAS SOPS 693139 HAS SOUS 562767 HAS SOUPS 562767 WITH SCORE 563460.139
AT ITER 2150 NEW BEST:: SOT 1237189 SOS 693138 HAS SOPS 693138 HAS SOUS 562766 HAS SOUPS 562766 WITH SCORE 563459.138
AT ITER 2158 NEW BEST:: SOT 1236557 SOS 692504 HAS SOPS 692504 HAS SOUS 562132 HAS SOUPS 562132 WITH SCORE 562824.504
AT ITER 2178 NEW BEST:: SOT 1236557 SOS 692352 HAS SOPS 692352 HAS SOUS 562132 HAS SOUPS 562132 WITH SCORE 562824.352
AT ITER 2181 NEW BEST:: SOT 1236535 SOS 692330 HAS SOPS 692330 HAS SOUS 562110 HAS SOUPS 562110 WITH SCORE 562802.33
AT ITER 2185 NEW BEST:: SOT 1236515 SOS 692309 HAS SOPS 692309 HAS SOUS 562089 HAS SOUPS 562089 WITH SCORE 562781.309
AT ITER 2208 NEW BEST:: SOT 1236459 SOS 691883 HAS SOPS 691883 HAS SOUS 561663 HAS SOUPS 561663 WITH SCORE 562354.883
AT ITER 2210 NEW BEST:: SOT 1235653 SOS 691075 HAS SOPS 691075 HAS SOUS 560855 HAS SOUPS 560855 WITH SCORE 561546.075
AT ITER 2212 NEW BEST:: SOT 1235333 SOS 690542 HAS SOPS 690542 HAS SOUS 560322 HAS SOUPS 560322 WITH SCORE 561012.542
AT ITER 2216 NEW BEST:: SOT 1235125 SOS 690331 HAS SOPS 690331 HAS SOUS 560111 HAS SOUPS 560111 WITH SCORE 560801.331
AT ITER 2225 NEW BEST:: SOT 1235124 SOS 689669 HAS SOPS 689669 HAS SOUS 560047 HAS SOUPS 560047 WITH SCORE 560736.669
AT ITER 2230 NEW BEST:: SOT 1235349 SOS 686564 HAS SOPS 686564 HAS SOUS 559618 HAS SOUPS 559618 WITH SCORE 560304.564
AT ITER 2237 NEW BEST:: SOT 1235788 SOS 686818 HAS SOPS 686818 HAS SOUS 559476 HAS SOUPS 559476 WITH SCORE 560162.818
AT ITER 2248 NEW BEST:: SOT 1235495 SOS 686525 HAS SOPS 686525 HAS SOUS 559183 HAS SOUPS 559183 WITH SCORE 559869.525
AT ITER 2255 NEW BEST:: SOT 1235484 SOS 686514 HAS SOPS 686514 HAS SOUS 559172 HAS SOUPS 559172 WITH SCORE 559858.514
AT ITER 2262 NEW BEST:: SOT 1235051 SOS 686081 HAS SOPS 686081 HAS SOUS 558739 HAS SOUPS 558739 WITH SCORE 559425.081
AT ITER 2271 NEW BEST:: SOT 1234783 SOS 685823 HAS SOPS 685823 HAS SOUS 558481 HAS SOUPS 558481 WITH SCORE 559166.823
AT ITER 2273 NEW BEST:: SOT 1234309 SOS 685347 HAS SOPS 685347 HAS SOUS 558005 HAS SOUPS 558005 WITH SCORE 558690.347
AT ITER 2274 NEW BEST:: SOT 1233814 SOS 685287 HAS SOPS 685287 HAS SOUS 557857 HAS SOUPS 557857 WITH SCORE 558542.287
AT ITER 2281 NEW BEST:: SOT 1233611 SOS 684696 HAS SOPS 684696 HAS SOUS 557217 HAS SOUPS 557217 WITH SCORE 557901.696
AT ITER 2283 NEW BEST:: SOT 1233165 SOS 684250 HAS SOPS 684250 HAS SOUS 556771 HAS SOUPS 556771 WITH SCORE 557455.25
AT ITER 2285 NEW BEST:: SOT 1233088 SOS 684007 HAS SOPS 684007 HAS SOUS 556528 HAS SOUPS 556528 WITH SCORE 557212.007
AT ITER 2288 NEW BEST:: SOT 1232653 SOS 683570 HAS SOPS 683570 HAS SOUS 556091 HAS SOUPS 556091 WITH SCORE 556774.57
AT ITER 2323 NEW BEST:: SOT 1232569 SOS 683316 HAS SOPS 683316 HAS SOUS 555837 HAS SOUPS 555837 WITH SCORE 556520.316
AT ITER 2330 NEW BEST:: SOT 1231894 SOS 682095 HAS SOPS 682095 HAS SOUS 553937 HAS SOUPS 553937 WITH SCORE 554619.095
AT ITER 2331 NEW BEST:: SOT 1231741 SOS 681583 HAS SOPS 681583 HAS SOUS 553541 HAS SOUPS 553541 WITH SCORE 554222.583
AT ITER 2339 NEW BEST:: SOT 1231699 SOS 681541 HAS SOPS 681541 HAS SOUS 553499 HAS SOUPS 553499 WITH SCORE 554180.541
AT ITER 2348 NEW BEST:: SOT 1231697 SOS 681539 HAS SOPS 681539 HAS SOUS 553497 HAS SOUPS 553497 WITH SCORE 554178.539
AT ITER 2349 NEW BEST:: SOT 1231697 SOS 679340 HAS SOPS 679340 HAS SOUS 553497 HAS SOUPS 553497 WITH SCORE 554176.34
AT ITER 2351 NEW BEST:: SOT 1231697 SOS 679326 HAS SOPS 679326 HAS SOUS 553492 HAS SOUPS 553492 WITH SCORE 554171.326
AT ITER 2354 NEW BEST:: SOT 1231679 SOS 679299 HAS SOPS 679299 HAS SOUS 553464 HAS SOUPS 553464 WITH SCORE 554143.299
AT ITER 2359 NEW BEST:: SOT 1231430 SOS 679050 HAS SOPS 679050 HAS SOUS 553215 HAS SOUPS 553215 WITH SCORE 553894.05
AT ITER 2361 NEW BEST:: SOT 1231316 SOS 678936 HAS SOPS 678936 HAS SOUS 553101 HAS SOUPS 553101 WITH SCORE 553779.936
AT ITER 2370 NEW BEST:: SOT 1229678 SOS 677298 HAS SOPS 677298 HAS SOUS 551463 HAS SOUPS 551463 WITH SCORE 552140.298
AT ITER 2371 NEW BEST:: SOT 1229601 SOS 677297 HAS SOPS 677297 HAS SOUS 551462 HAS SOUPS 551462 WITH SCORE 552139.297
AT ITER 2375 NEW BEST:: SOT 1229327 SOS 676748 HAS SOPS 676748 HAS SOUS 550913 HAS SOUPS 550913 WITH SCORE 551589.748
AT ITER 2387 NEW BEST:: SOT 1229390 SOS 672960 HAS SOPS 672960 HAS SOUS 549204 HAS SOUPS 549204 WITH SCORE 549876.96
AT ITER 2395 NEW BEST:: SOT 1229190 SOS 672745 HAS SOPS 672745 HAS SOUS 549204 HAS SOUPS 549204 WITH SCORE 549876.745
AT ITER 2397 NEW BEST:: SOT 1229181 SOS 672726 HAS SOPS 672726 HAS SOUS 549178 HAS SOUPS 549178 WITH SCORE 549850.726
AT ITER 2401 NEW BEST:: SOT 1229064 SOS 672609 HAS SOPS 672609 HAS SOUS 549061 HAS SOUPS 549061 WITH SCORE 549733.609
AT ITER 2405 NEW BEST:: SOT 1229060 SOS 672564 HAS SOPS 672564 HAS SOUS 549014 HAS SOUPS 549014 WITH SCORE 549686.564
AT ITER 2406 NEW BEST:: SOT 1229047 SOS 672538 HAS SOPS 672538 HAS SOUS 548647 HAS SOUPS 548647 WITH SCORE 549319.538
AT ITER 2408 NEW BEST:: SOT 1228953 SOS 672444 HAS SOPS 672444 HAS SOUS 548553 HAS SOUPS 548553 WITH SCORE 549225.444
AT ITER 2414 NEW BEST:: SOT 1228786 SOS 672277 HAS SOPS 672277 HAS SOUS 548386 HAS SOUPS 548386 WITH SCORE 549058.277
AT ITER 2424 NEW BEST:: SOT 1228681 SOS 671965 HAS SOPS 671965 HAS SOUS 548074 HAS SOUPS 548074 WITH SCORE 548745.965
AT ITER 2437 NEW BEST:: SOT 1228681 SOS 671923 HAS SOPS 671923 HAS SOUS 548074 HAS SOUPS 548074 WITH SCORE 548745.923
AT ITER 2446 NEW BEST:: SOT 1228176 SOS 671807 HAS SOPS 671807 HAS SOUS 547739 HAS SOUPS 547739 WITH SCORE 548410.807
AT ITER 2458 NEW BEST:: SOT 1227721 SOS 670399 HAS SOPS 670399 HAS SOUS 547024 HAS SOUPS 547024 WITH SCORE 547694.399
AT ITER 2459 NEW BEST:: SOT 1227709 SOS 670211 HAS SOPS 670211 HAS SOUS 546836 HAS SOUPS 546836 WITH SCORE 547506.211
AT ITER 2470 NEW BEST:: SOT 1226945 SOS 669447 HAS SOPS 669447 HAS SOUS 546072 HAS SOUPS 546072 WITH SCORE 546741.447
AT ITER 2476 NEW BEST:: SOT 1226945 SOS 669445 HAS SOPS 669445 HAS SOUS 546070 HAS SOUPS 546070 WITH SCORE 546739.445
AT ITER 2482 NEW BEST:: SOT 1226816 SOS 668769 HAS SOPS 668769 HAS SOUS 544896 HAS SOUPS 544896 WITH SCORE 545564.769
AT ITER 2485 NEW BEST:: SOT 1226806 SOS 668759 HAS SOPS 668759 HAS SOUS 544870 HAS SOUPS 544870 WITH SCORE 545538.759
AT ITER 2486 NEW BEST:: SOT 1226142 SOS 667786 HAS SOPS 667786 HAS SOUS 543897 HAS SOUPS 543897 WITH SCORE 544564.786
AT ITER 2497 NEW BEST:: SOT 1225652 SOS 667296 HAS SOPS 667296 HAS SOUS 543407 HAS SOUPS 543407 WITH SCORE 544074.296
AT ITER 2499 NEW BEST:: SOT 1225413 SOS 666618 HAS SOPS 666618 HAS SOUS 542741 HAS SOUPS 542741 WITH SCORE 543407.618
AT ITER 2507 NEW BEST:: SOT 1225294 SOS 666023 HAS SOPS 666023 HAS SOUS 542699 HAS SOUPS 542699 WITH SCORE 543365.023
AT ITER 2508 NEW BEST:: SOT 1225096 SOS 665749 HAS SOPS 665749 HAS SOUS 542425 HAS SOUPS 542425 WITH SCORE 543090.749
AT ITER 2514 NEW BEST:: SOT 1224611 SOS 665264 HAS SOPS 665264 HAS SOUS 541940 HAS SOUPS 541940 WITH SCORE 542605.264
AT ITER 2515 NEW BEST:: SOT 1224549 SOS 665144 HAS SOPS 665144 HAS SOUS 541828 HAS SOUPS 541828 WITH SCORE 542493.144
AT ITER 2517 NEW BEST:: SOT 1224050 SOS 664643 HAS SOPS 664643 HAS SOUS 541327 HAS SOUPS 541327 WITH SCORE 541991.643
AT ITER 2521 NEW BEST:: SOT 1224050 SOS 664599 HAS SOPS 664599 HAS SOUS 541327 HAS SOUPS 541327 WITH SCORE 541991.599
AT ITER 2527 NEW BEST:: SOT 1223961 SOS 664405 HAS SOPS 664405 HAS SOUS 541133 HAS SOUPS 541133 WITH SCORE 541797.405
AT ITER 2528 NEW BEST:: SOT 1223618 SOS 663289 HAS SOPS 663289 HAS SOUS 540436 HAS SOUPS 540436 WITH SCORE 541099.289
AT ITER 2532 NEW BEST:: SOT 1223690 SOS 663412 HAS SOPS 663412 HAS SOUS 540364 HAS SOUPS 540364 WITH SCORE 541027.412
AT ITER 2534 NEW BEST:: SOT 1223689 SOS 663359 HAS SOPS 663359 HAS SOUS 540350 HAS SOUPS 540350 WITH SCORE 541013.359
AT ITER 2537 NEW BEST:: SOT 1223233 SOS 662701 HAS SOPS 662701 HAS SOUS 539692 HAS SOUPS 539692 WITH SCORE 540354.701
AT ITER 2539 NEW BEST:: SOT 1223143 SOS 662563 HAS SOPS 662563 HAS SOUS 539467 HAS SOUPS 539467 WITH SCORE 540129.563
AT ITER 2541 NEW BEST:: SOT 1223197 SOS 662474 HAS SOPS 662474 HAS SOUS 539378 HAS SOUPS 539378 WITH SCORE 540040.474
AT ITER 2549 NEW BEST:: SOT 1222981 SOS 662186 HAS SOPS 662186 HAS SOUS 539090 HAS SOUPS 539090 WITH SCORE 539752.186
AT ITER 2551 NEW BEST:: SOT 1222766 SOS 660895 HAS SOPS 660895 HAS SOUS 539090 HAS SOUPS 539090 WITH SCORE 539750.895
AT ITER 2553 NEW BEST:: SOT 1222397 SOS 660526 HAS SOPS 660526 HAS SOUS 538231 HAS SOUPS 538231 WITH SCORE 538891.526
AT ITER 2561 NEW BEST:: SOT 1222224 SOS 660022 HAS SOPS 660022 HAS SOUS 537807 HAS SOUPS 537807 WITH SCORE 538467.022
AT ITER 2563 NEW BEST:: SOT 1222119 SOS 659956 HAS SOPS 659956 HAS SOUS 537741 HAS SOUPS 537741 WITH SCORE 538400.956
AT ITER 2565 NEW BEST:: SOT 1221664 SOS 659562 HAS SOPS 659562 HAS SOUS 536814 HAS SOUPS 536814 WITH SCORE 537473.562
AT ITER 2567 NEW BEST:: SOT 1221594 SOS 659518 HAS SOPS 659518 HAS SOUS 536770 HAS SOUPS 536770 WITH SCORE 537429.518
AT ITER 2578 NEW BEST:: SOT 1221522 SOS 659213 HAS SOPS 659213 HAS SOUS 536465 HAS SOUPS 536465 WITH SCORE 537124.213
AT ITER 2580 NEW BEST:: SOT 1221342 SOS 659033 HAS SOPS 659033 HAS SOUS 536285 HAS SOUPS 536285 WITH SCORE 536944.033
AT ITER 2595 NEW BEST:: SOT 1221342 SOS 659013 HAS SOPS 659013 HAS SOUS 536274 HAS SOUPS 536274 WITH SCORE 536933.013
AT ITER 2623 NEW BEST:: SOT 1221106 SOS 658657 HAS SOPS 658657 HAS SOUS 535686 HAS SOUPS 535686 WITH SCORE 536344.657
AT ITER 2626 NEW BEST:: SOT 1221106 SOS 658628 HAS SOPS 658628 HAS SOUS 535686 HAS SOUPS 535686 WITH SCORE 536344.628
AT ITER 2628 NEW BEST:: SOT 1220980 SOS 658597 HAS SOPS 658597 HAS SOUS 535655 HAS SOUPS 535655 WITH SCORE 536313.597
AT ITER 2641 NEW BEST:: SOT 1220362 SOS 657438 HAS SOPS 657438 HAS SOUS 534260 HAS SOUPS 534260 WITH SCORE 534917.438
AT ITER 2645 NEW BEST:: SOT 1220340 SOS 656557 HAS SOPS 656557 HAS SOUS 533460 HAS SOUPS 533460 WITH SCORE 534116.557
AT ITER 2652 NEW BEST:: SOT 1220405 SOS 656463 HAS SOPS 656463 HAS SOUS 533399 HAS SOUPS 533399 WITH SCORE 534055.463
AT ITER 2660 NEW BEST:: SOT 1220347 SOS 656376 HAS SOPS 656376 HAS SOUS 533278 HAS SOUPS 533278 WITH SCORE 533934.376
AT ITER 2668 NEW BEST:: SOT 1220429 SOS 654348 HAS SOPS 654348 HAS SOUS 532452 HAS SOUPS 532452 WITH SCORE 533106.348
AT ITER 2685 NEW BEST:: SOT 1220028 SOS 653947 HAS SOPS 653947 HAS SOUS 532137 HAS SOUPS 532137 WITH SCORE 532790.947
AT ITER 2692 NEW BEST:: SOT 1220025 SOS 653944 HAS SOPS 653944 HAS SOUS 532134 HAS SOUPS 532134 WITH SCORE 532787.944
AT ITER 2693 NEW BEST:: SOT 1220232 SOS 655263 HAS SOPS 655263 HAS SOUS 531867 HAS SOUPS 531867 WITH SCORE 532522.263
AT ITER 2717 NEW BEST:: SOT 1220150 SOS 655179 HAS SOPS 655179 HAS SOUS 531782 HAS SOUPS 531782 WITH SCORE 532437.179
AT ITER 2725 NEW BEST:: SOT 1219750 SOS 654779 HAS SOPS 654779 HAS SOUS 531382 HAS SOUPS 531382 WITH SCORE 532036.779
AT ITER 2737 NEW BEST:: SOT 1219614 SOS 654639 HAS SOPS 654639 HAS SOUS 530974 HAS SOUPS 530974 WITH SCORE 531628.639
AT ITER 2744 NEW BEST:: SOT 1219596 SOS 654269 HAS SOPS 654269 HAS SOUS 530848 HAS SOUPS 530848 WITH SCORE 531502.269
AT ITER 2758 NEW BEST:: SOT 1219401 SOS 653953 HAS SOPS 653953 HAS SOUS 530532 HAS SOUPS 530532 WITH SCORE 531185.953
AT ITER 2759 NEW BEST:: SOT 1219410 SOS 653953 HAS SOPS 653953 HAS SOUS 530514 HAS SOUPS 530514 WITH SCORE 531167.953
AT ITER 2764 NEW BEST:: SOT 1219410 SOS 653801 HAS SOPS 653801 HAS SOUS 530491 HAS SOUPS 530491 WITH SCORE 531144.801
AT ITER 2768 NEW BEST:: SOT 1219325 SOS 653497 HAS SOPS 653497 HAS SOUS 530187 HAS SOUPS 530187 WITH SCORE 530840.497
AT ITER 2769 NEW BEST:: SOT 1218838 SOS 651058 HAS SOPS 651058 HAS SOUS 530186 HAS SOUPS 530186 WITH SCORE 530837.058
AT ITER 2788 NEW BEST:: SOT 1218855 SOS 651092 HAS SOPS 651092 HAS SOUS 529618 HAS SOUPS 529618 WITH SCORE 530269.092
AT ITER 2791 NEW BEST:: SOT 1218374 SOS 650611 HAS SOPS 650611 HAS SOUS 529137 HAS SOUPS 529137 WITH SCORE 529787.611
AT ITER 2794 NEW BEST:: SOT 1217966 SOS 650285 HAS SOPS 650285 HAS SOUS 528811 HAS SOUPS 528811 WITH SCORE 529461.285
AT ITER 2800 NEW BEST:: SOT 1217966 SOS 650868 HAS SOPS 650868 HAS SOUS 528440 HAS SOUPS 528440 WITH SCORE 529090.868
AT ITER 2805 NEW BEST:: SOT 1217999 SOS 650761 HAS SOPS 650761 HAS SOUS 528333 HAS SOUPS 528333 WITH SCORE 528983.761
AT ITER 2806 NEW BEST:: SOT 1217357 SOS 646316 HAS SOPS 646316 HAS SOUS 526228 HAS SOUPS 526228 WITH SCORE 526874.316
AT ITER 2807 NEW BEST:: SOT 1217171 SOS 646130 HAS SOPS 646130 HAS SOUS 526042 HAS SOUPS 526042 WITH SCORE 526688.13
AT ITER 2822 NEW BEST:: SOT 1217749 SOS 647017 HAS SOPS 647017 HAS SOUS 525160 HAS SOUPS 525160 WITH SCORE 525807.017
AT ITER 2824 NEW BEST:: SOT 1217167 SOS 646406 HAS SOPS 646406 HAS SOUS 524621 HAS SOUPS 524621 WITH SCORE 525267.406
AT ITER 2828 NEW BEST:: SOT 1217167 SOS 645950 HAS SOPS 645950 HAS SOUS 524469 HAS SOUPS 524469 WITH SCORE 525114.95
AT ITER 2829 NEW BEST:: SOT 1217144 SOS 645923 HAS SOPS 645923 HAS SOUS 524442 HAS SOUPS 524442 WITH SCORE 525087.923
AT ITER 2845 NEW BEST:: SOT 1217017 SOS 644739 HAS SOPS 644739 HAS SOUS 523720 HAS SOUPS 523720 WITH SCORE 524364.739
AT ITER 2849 NEW BEST:: SOT 1217013 SOS 644735 HAS SOPS 644735 HAS SOUS 523716 HAS SOUPS 523716 WITH SCORE 524360.735
AT ITER 2853 NEW BEST:: SOT 1217013 SOS 644726 HAS SOPS 644726 HAS SOUS 523695 HAS SOUPS 523695 WITH SCORE 524339.726
AT ITER 2858 NEW BEST:: SOT 1217832 SOS 643757 HAS SOPS 643757 HAS SOUS 523462 HAS SOUPS 523462 WITH SCORE 524105.757
AT ITER 2859 NEW BEST:: SOT 1217232 SOS 642199 HAS SOPS 642199 HAS SOUS 521866 HAS SOUPS 521866 WITH SCORE 522508.199
AT ITER 2862 NEW BEST:: SOT 1217171 SOS 642037 HAS SOPS 642037 HAS SOUS 521704 HAS SOUPS 521704 WITH SCORE 522346.037
AT ITER 2870 NEW BEST:: SOT 1217148 SOS 641922 HAS SOPS 641922 HAS SOUS 521704 HAS SOUPS 521704 WITH SCORE 522345.922
AT ITER 2876 NEW BEST:: SOT 1217090 SOS 641806 HAS SOPS 641806 HAS SOUS 521588 HAS SOUPS 521588 WITH SCORE 522229.806
AT ITER 2893 NEW BEST:: SOT 1217090 SOS 641740 HAS SOPS 641740 HAS SOUS 521522 HAS SOUPS 521522 WITH SCORE 522163.74
AT ITER 2909 NEW BEST:: SOT 1217025 SOS 640851 HAS SOPS 640851 HAS SOUS 521123 HAS SOUPS 521123 WITH SCORE 521763.851
AT ITER 2912 NEW BEST:: SOT 1216866 SOS 640400 HAS SOPS 640400 HAS SOUS 520672 HAS SOUPS 520672 WITH SCORE 521312.4
AT ITER 2931 NEW BEST:: SOT 1216927 SOS 640453 HAS SOPS 640453 HAS SOUS 520658 HAS SOUPS 520658 WITH SCORE 521298.453
AT ITER 2948 NEW BEST:: SOT 1216927 SOS 639253 HAS SOPS 639253 HAS SOUS 520514 HAS SOUPS 520514 WITH SCORE 521153.253
AT ITER 2950 NEW BEST:: SOT 1216537 SOS 637929 HAS SOPS 637929 HAS SOUS 519382 HAS SOUPS 519382 WITH SCORE 520019.929
AT ITER 2959 NEW BEST:: SOT 1216207 SOS 636939 HAS SOPS 636939 HAS SOUS 519340 HAS SOUPS 519340 WITH SCORE 519976.939
AT ITER 2982 NEW BEST:: SOT 1215959 SOS 635689 HAS SOPS 635689 HAS SOUS 519340 HAS SOUPS 519340 WITH SCORE 519975.689
AT ITER 2983 NEW BEST:: SOT 1215457 SOS 634893 HAS SOPS 634893 HAS SOUS 518544 HAS SOUPS 518544 WITH SCORE 519178.893
AT ITER 2984 NEW BEST:: SOT 1215457 SOS 634344 HAS SOPS 634344 HAS SOUS 518178 HAS SOUPS 518178 WITH SCORE 518812.344
AT ITER 2986 NEW BEST:: SOT 1215456 SOS 634229 HAS SOPS 634229 HAS SOUS 518159 HAS SOUPS 518159 WITH SCORE 518793.229
AT ITER 2993 NEW BEST:: SOT 1215210 SOS 633971 HAS SOPS 633971 HAS SOUS 517901 HAS SOUPS 517901 WITH SCORE 518534.971
AT ITER 2995 NEW BEST:: SOT 1215206 SOS 633930 HAS SOPS 633930 HAS SOUS 517901 HAS SOUPS 517901 WITH SCORE 518534.93
AT ITER 2998 NEW BEST:: SOT 1215236 SOS 633529 HAS SOPS 633529 HAS SOUS 516602 HAS SOUPS 516602 WITH SCORE 517235.529
AT ITER 2999 NEW BEST:: SOT 1215181 SOS 633474 HAS SOPS 633474 HAS SOUS 516547 HAS SOUPS 516547 WITH SCORE 517180.474
AT ITER 3002 NEW BEST:: SOT 1215031 SOS 633324 HAS SOPS 633324 HAS SOUS 516397 HAS SOUPS 516397 WITH SCORE 517030.324
AT ITER 3011 NEW BEST:: SOT 1215230 SOS 632759 HAS SOPS 632759 HAS SOUS 515951 HAS SOUPS 515951 WITH SCORE 516583.759
AT ITER 3012 NEW BEST:: SOT 1215172 SOS 632585 HAS SOPS 632585 HAS SOUS 515951 HAS SOUPS 515951 WITH SCORE 516583.585
AT ITER 3016 NEW BEST:: SOT 1215183 SOS 632435 HAS SOPS 632435 HAS SOUS 515801 HAS SOUPS 515801 WITH SCORE 516433.435
AT ITER 3017 NEW BEST:: SOT 1215096 SOS 632234 HAS SOPS 632234 HAS SOUS 515496 HAS SOUPS 515496 WITH SCORE 516128.234
AT ITER 3021 NEW BEST:: SOT 1215223 SOS 631811 HAS SOPS 631811 HAS SOUS 515489 HAS SOUPS 515489 WITH SCORE 516120.811
AT ITER 3022 NEW BEST:: SOT 1215223 SOS 631901 HAS SOPS 631901 HAS SOUS 515448 HAS SOUPS 515448 WITH SCORE 516079.901
AT ITER 3026 NEW BEST:: SOT 1215095 SOS 631773 HAS SOPS 631773 HAS SOUS 515320 HAS SOUPS 515320 WITH SCORE 515951.773
AT ITER 3028 NEW BEST:: SOT 1214781 SOS 631881 HAS SOPS 631881 HAS SOUS 514994 HAS SOUPS 514994 WITH SCORE 515625.881
AT ITER 3030 NEW BEST:: SOT 1214463 SOS 630291 HAS SOPS 630291 HAS SOUS 514978 HAS SOUPS 514978 WITH SCORE 515608.291
AT ITER 3054 NEW BEST:: SOT 1214650 SOS 630472 HAS SOPS 630472 HAS SOUS 514883 HAS SOUPS 514883 WITH SCORE 515513.472
AT ITER 3061 NEW BEST:: SOT 1214650 SOS 627983 HAS SOPS 627983 HAS SOUS 514679 HAS SOUPS 514679 WITH SCORE 515306.983
AT ITER 3072 NEW BEST:: SOT 1214619 SOS 627952 HAS SOPS 627952 HAS SOUS 514648 HAS SOUPS 514648 WITH SCORE 515275.952
AT ITER 3082 NEW BEST:: SOT 1214469 SOS 627312 HAS SOPS 627312 HAS SOUS 514648 HAS SOUPS 514648 WITH SCORE 515275.312
AT ITER 3084 NEW BEST:: SOT 1214201 SOS 625576 HAS SOPS 625576 HAS SOUS 513793 HAS SOUPS 513793 WITH SCORE 514418.576
AT ITER 3094 NEW BEST:: SOT 1214056 SOS 625135 HAS SOPS 625135 HAS SOUS 513006 HAS SOUPS 513006 WITH SCORE 513631.135
AT ITER 3097 NEW BEST:: SOT 1213899 SOS 624978 HAS SOPS 624978 HAS SOUS 512849 HAS SOUPS 512849 WITH SCORE 513473.978
AT ITER 3108 NEW BEST:: SOT 1213820 SOS 623718 HAS SOPS 623718 HAS SOUS 512611 HAS SOUPS 512611 WITH SCORE 513234.718
AT ITER 3109 NEW BEST:: SOT 1213802 SOS 623665 HAS SOPS 623665 HAS SOUS 512558 HAS SOUPS 512558 WITH SCORE 513181.665
AT ITER 3116 NEW BEST:: SOT 1213641 SOS 623502 HAS SOPS 623502 HAS SOUS 512396 HAS SOUPS 512396 WITH SCORE 513019.502
AT ITER 3123 NEW BEST:: SOT 1214281 SOS 620198 HAS SOPS 620198 HAS SOUS 511655 HAS SOUPS 511655 WITH SCORE 512275.198
AT ITER 3154 NEW BEST:: SOT 1213826 SOS 617747 HAS SOPS 617747 HAS SOUS 509999 HAS SOUPS 509999 WITH SCORE 510616.747
AT ITER 3162 NEW BEST:: SOT 1213751 SOS 617172 HAS SOPS 617172 HAS SOUS 509777 HAS SOUPS 509777 WITH SCORE 510394.172
AT ITER 3163 NEW BEST:: SOT 1213872 SOS 617123 HAS SOPS 617123 HAS SOUS 509656 HAS SOUPS 509656 WITH SCORE 510273.123
AT ITER 3170 NEW BEST:: SOT 1213455 SOS 616360 HAS SOPS 616360 HAS SOUS 508924 HAS SOUPS 508924 WITH SCORE 509540.36
AT ITER 3179 NEW BEST:: SOT 1213146 SOS 616062 HAS SOPS 616062 HAS SOUS 508620 HAS SOUPS 508620 WITH SCORE 509236.062
AT ITER 3180 NEW BEST:: SOT 1212480 SOS 615523 HAS SOPS 615523 HAS SOUS 508018 HAS SOUPS 508018 WITH SCORE 508633.523
AT ITER 3183 NEW BEST:: SOT 1212480 SOS 615523 HAS SOPS 615523 HAS SOUS 507919 HAS SOUPS 507919 WITH SCORE 508534.523
AT ITER 3191 NEW BEST:: SOT 1212394 SOS 615437 HAS SOPS 615437 HAS SOUS 507833 HAS SOUPS 507833 WITH SCORE 508448.437
AT ITER 3197 NEW BEST:: SOT 1212213 SOS 613850 HAS SOPS 613850 HAS SOUS 507150 HAS SOUPS 507150 WITH SCORE 507763.85
AT ITER 3203 NEW BEST:: SOT 1211658 SOS 612864 HAS SOPS 612864 HAS SOUS 506000 HAS SOUPS 506000 WITH SCORE 506612.864
AT ITER 3204 NEW BEST:: SOT 1211441 SOS 611581 HAS SOPS 611581 HAS SOUS 505323 HAS SOUPS 505323 WITH SCORE 505934.581
AT ITER 3222 NEW BEST:: SOT 1211340 SOS 611480 HAS SOPS 611480 HAS SOUS 505222 HAS SOUPS 505222 WITH SCORE 505833.48
AT ITER 3223 NEW BEST:: SOT 1211292 SOS 610598 HAS SOPS 610598 HAS SOUS 504928 HAS SOUPS 504928 WITH SCORE 505538.598
AT ITER 3235 NEW BEST:: SOT 1211156 SOS 610462 HAS SOPS 610462 HAS SOUS 504792 HAS SOUPS 504792 WITH SCORE 505402.462
AT ITER 3242 NEW BEST:: SOT 1210862 SOS 610168 HAS SOPS 610168 HAS SOUS 504498 HAS SOUPS 504498 WITH SCORE 505108.168
AT ITER 3249 NEW BEST:: SOT 1210411 SOS 609725 HAS SOPS 609725 HAS SOUS 504055 HAS SOUPS 504055 WITH SCORE 504664.725
AT ITER 3260 NEW BEST:: SOT 1210411 SOS 609083 HAS SOPS 609083 HAS SOUS 503841 HAS SOUPS 503841 WITH SCORE 504450.083
AT ITER 3264 NEW BEST:: SOT 1210448 SOS 608908 HAS SOPS 608908 HAS SOUS 503656 HAS SOUPS 503656 WITH SCORE 504264.908
AT ITER 3269 NEW BEST:: SOT 1210448 SOS 607539 HAS SOPS 607539 HAS SOUS 503316 HAS SOUPS 503316 WITH SCORE 503923.539
AT ITER 3285 NEW BEST:: SOT 1210406 SOS 606853 HAS SOPS 606853 HAS SOUS 502952 HAS SOUPS 502952 WITH SCORE 503558.853
AT ITER 3287 NEW BEST:: SOT 1210352 SOS 606748 HAS SOPS 606748 HAS SOUS 502847 HAS SOUPS 502847 WITH SCORE 503453.748
AT ITER 3298 NEW BEST:: SOT 1210305 SOS 606701 HAS SOPS 606701 HAS SOUS 502799 HAS SOUPS 502799 WITH SCORE 503405.701
AT ITER 3319 NEW BEST:: SOT 1210305 SOS 606330 HAS SOPS 606330 HAS SOUS 502722 HAS SOUPS 502722 WITH SCORE 503328.33
AT ITER 3323 NEW BEST:: SOT 1209729 SOS 605455 HAS SOPS 605455 HAS SOUS 501846 HAS SOUPS 501846 WITH SCORE 502451.455
AT ITER 3324 NEW BEST:: SOT 1210385 SOS 604789 HAS SOPS 604789 HAS SOUS 501228 HAS SOUPS 501228 WITH SCORE 501832.789
AT ITER 3327 NEW BEST:: SOT 1210119 SOS 602143 HAS SOPS 602143 HAS SOUS 500943 HAS SOUPS 500943 WITH SCORE 501545.143
AT ITER 3353 NEW BEST:: SOT 1209913 SOS 601937 HAS SOPS 601937 HAS SOUS 500508 HAS SOUPS 500508 WITH SCORE 501109.937
AT ITER 3377 NEW BEST:: SOT 1209913 SOS 601928 HAS SOPS 601928 HAS SOUS 500499 HAS SOUPS 500499 WITH SCORE 501100.928
AT ITER 3378 NEW BEST:: SOT 1210250 SOS 600817 HAS SOPS 600817 HAS SOUS 500476 HAS SOUPS 500476 WITH SCORE 501076.817
AT ITER 3386 NEW BEST:: SOT 1210248 SOS 600269 HAS SOPS 600269 HAS SOUS 500434 HAS SOUPS 500434 WITH SCORE 501034.269
AT ITER 3388 NEW BEST:: SOT 1210248 SOS 600156 HAS SOPS 600156 HAS SOUS 500370 HAS SOUPS 500370 WITH SCORE 500970.156
AT ITER 3399 NEW BEST:: SOT 1210020 SOS 598788 HAS SOPS 598788 HAS SOUS 500370 HAS SOUPS 500370 WITH SCORE 500968.788
AT ITER 3419 NEW BEST:: SOT 1209636 SOS 597577 HAS SOPS 597577 HAS SOUS 499627 HAS SOUPS 499627 WITH SCORE 500224.577
AT ITER 3420 NEW BEST:: SOT 1209632 SOS 597561 HAS SOPS 597561 HAS SOUS 499609 HAS SOUPS 499609 WITH SCORE 500206.561
AT ITER 3423 NEW BEST:: SOT 1209583 SOS 597416 HAS SOPS 597416 HAS SOUS 499464 HAS SOUPS 499464 WITH SCORE 500061.416
AT ITER 3429 NEW BEST:: SOT 1209564 SOS 597397 HAS SOPS 597397 HAS SOUS 499445 HAS SOUPS 499445 WITH SCORE 500042.397
AT ITER 3432 NEW BEST:: SOT 1209466 SOS 597190 HAS SOPS 597190 HAS SOUS 498958 HAS SOUPS 498958 WITH SCORE 499555.19
AT ITER 3440 NEW BEST:: SOT 1209364 SOS 597086 HAS SOPS 597086 HAS SOUS 498848 HAS SOUPS 498848 WITH SCORE 499445.086
AT ITER 3451 NEW BEST:: SOT 1209522 SOS 596122 HAS SOPS 596122 HAS SOUS 498711 HAS SOUPS 498711 WITH SCORE 499307.122
AT ITER 3468 NEW BEST:: SOT 1209362 SOS 595409 HAS SOPS 595409 HAS SOUS 498419 HAS SOUPS 498419 WITH SCORE 499014.409
AT ITER 3470 NEW BEST:: SOT 1209564 SOS 594194 HAS SOPS 594194 HAS SOUS 498006 HAS SOUPS 498006 WITH SCORE 498600.194
AT ITER 3472 NEW BEST:: SOT 1209564 SOS 592638 HAS SOPS 592638 HAS SOUS 497911 HAS SOUPS 497911 WITH SCORE 498503.638
AT ITER 3484 NEW BEST:: SOT 1209624 SOS 592635 HAS SOPS 592635 HAS SOUS 497911 HAS SOUPS 497911 WITH SCORE 498503.635
AT ITER 3491 NEW BEST:: SOT 1209538 SOS 592549 HAS SOPS 592549 HAS SOUS 497825 HAS SOUPS 497825 WITH SCORE 498417.549
AT ITER 3500 NEW BEST:: SOT 1209413 SOS 592329 HAS SOPS 592329 HAS SOUS 497588 HAS SOUPS 497588 WITH SCORE 498180.329
AT ITER 3512 NEW BEST:: SOT 1209031 SOS 592327 HAS SOPS 592327 HAS SOUS 497354 HAS SOUPS 497354 WITH SCORE 497946.327
AT ITER 3516 NEW BEST:: SOT 1209238 SOS 592359 HAS SOPS 592359 HAS SOUS 496996 HAS SOUPS 496996 WITH SCORE 497588.359
AT ITER 3529 NEW BEST:: SOT 1208903 SOS 591762 HAS SOPS 591762 HAS SOUS 496467 HAS SOUPS 496467 WITH SCORE 497058.762
AT ITER 3542 NEW BEST:: SOT 1208832 SOS 591608 HAS SOPS 591608 HAS SOUS 496313 HAS SOUPS 496313 WITH SCORE 496904.608
AT ITER 3545 NEW BEST:: SOT 1208855 SOS 591592 HAS SOPS 591592 HAS SOUS 496297 HAS SOUPS 496297 WITH SCORE 496888.592
AT ITER 3558 NEW BEST:: SOT 1208733 SOS 591581 HAS SOPS 591581 HAS SOUS 496286 HAS SOUPS 496286 WITH SCORE 496877.581
AT ITER 3585 NEW BEST:: SOT 1208833 SOS 591330 HAS SOPS 591330 HAS SOUS 496035 HAS SOUPS 496035 WITH SCORE 496626.33
AT ITER 3599 NEW BEST:: SOT 1208456 SOS 590814 HAS SOPS 590814 HAS SOUS 495519 HAS SOUPS 495519 WITH SCORE 496109.814
AT ITER 3603 NEW BEST:: SOT 1208372 SOS 590708 HAS SOPS 590708 HAS SOUS 495394 HAS SOUPS 495394 WITH SCORE 495984.708
AT ITER 3605 NEW BEST:: SOT 1208122 SOS 590458 HAS SOPS 590458 HAS SOUS 495144 HAS SOUPS 495144 WITH SCORE 495734.458
AT ITER 3610 NEW BEST:: SOT 1207955 SOS 590257 HAS SOPS 590257 HAS SOUS 494943 HAS SOUPS 494943 WITH SCORE 495533.257
AT ITER 3651 NEW BEST:: SOT 1207809 SOS 590111 HAS SOPS 590111 HAS SOUS 494797 HAS SOUPS 494797 WITH SCORE 495387.111
AT ITER 3652 NEW BEST:: SOT 1207635 SOS 589994 HAS SOPS 589994 HAS SOUS 494680 HAS SOUPS 494680 WITH SCORE 495269.994
AT ITER 3671 NEW BEST:: SOT 1207620 SOS 589916 HAS SOPS 589916 HAS SOUS 494680 HAS SOUPS 494680 WITH SCORE 495269.916
AT ITER 3678 NEW BEST:: SOT 1207623 SOS 589919 HAS SOPS 589919 HAS SOUS 494661 HAS SOUPS 494661 WITH SCORE 495250.919
AT ITER 3684 NEW BEST:: SOT 1207582 SOS 589752 HAS SOPS 589752 HAS SOUS 494424 HAS SOUPS 494424 WITH SCORE 495013.752
AT ITER 3691 NEW BEST:: SOT 1207582 SOS 589598 HAS SOPS 589598 HAS SOUS 494346 HAS SOUPS 494346 WITH SCORE 494935.598
AT ITER 3692 NEW BEST:: SOT 1207546 SOS 589526 HAS SOPS 589526 HAS SOUS 494274 HAS SOUPS 494274 WITH SCORE 494863.526
AT ITER 3694 NEW BEST:: SOT 1207180 SOS 589249 HAS SOPS 589249 HAS SOUS 493998 HAS SOUPS 493998 WITH SCORE 494587.249
AT ITER 3700 NEW BEST:: SOT 1206845 SOS 588769 HAS SOPS 588769 HAS SOUS 493518 HAS SOUPS 493518 WITH SCORE 494106.769
AT ITER 3704 NEW BEST:: SOT 1206533 SOS 588457 HAS SOPS 588457 HAS SOUS 493206 HAS SOUPS 493206 WITH SCORE 493794.457
AT ITER 3723 NEW BEST:: SOT 1206015 SOS 587939 HAS SOPS 587939 HAS SOUS 492688 HAS SOUPS 492688 WITH SCORE 493275.939
AT ITER 3728 NEW BEST:: SOT 1206084 SOS 584881 HAS SOPS 584881 HAS SOUS 492104 HAS SOUPS 492104 WITH SCORE 492688.881
AT ITER 3730 NEW BEST:: SOT 1206188 SOS 584720 HAS SOPS 584720 HAS SOUS 491687 HAS SOUPS 491687 WITH SCORE 492271.72
AT ITER 3744 NEW BEST:: SOT 1205889 SOS 584421 HAS SOPS 584421 HAS SOUS 491388 HAS SOUPS 491388 WITH SCORE 491972.421
AT ITER 3751 NEW BEST:: SOT 1205678 SOS 584523 HAS SOPS 584523 HAS SOUS 491362 HAS SOUPS 491362 WITH SCORE 491946.523
AT ITER 3752 NEW BEST:: SOT 1205678 SOS 584559 HAS SOPS 584559 HAS SOUS 491341 HAS SOUPS 491341 WITH SCORE 491925.559
AT ITER 3757 NEW BEST:: SOT 1205954 SOS 584835 HAS SOPS 584835 HAS SOUS 491234 HAS SOUPS 491234 WITH SCORE 491818.835
AT ITER 3774 NEW BEST:: SOT 1205954 SOS 584461 HAS SOPS 584461 HAS SOUS 491047 HAS SOUPS 491047 WITH SCORE 491631.461
AT ITER 3776 NEW BEST:: SOT 1206412 SOS 584119 HAS SOPS 584119 HAS SOUS 490690 HAS SOUPS 490690 WITH SCORE 491274.119
AT ITER 3784 NEW BEST:: SOT 1206007 SOS 583679 HAS SOPS 583679 HAS SOUS 490654 HAS SOUPS 490654 WITH SCORE 491237.679
AT ITER 3802 NEW BEST:: SOT 1205679 SOS 583458 HAS SOPS 583458 HAS SOUS 490433 HAS SOUPS 490433 WITH SCORE 491016.458
AT ITER 3821 NEW BEST:: SOT 1205679 SOS 583444 HAS SOPS 583444 HAS SOUS 490425 HAS SOUPS 490425 WITH SCORE 491008.444
AT ITER 3827 NEW BEST:: SOT 1205780 SOS 583223 HAS SOPS 583223 HAS SOUS 490204 HAS SOUPS 490204 WITH SCORE 490787.223
AT ITER 3858 NEW BEST:: SOT 1206441 SOS 584238 HAS SOPS 584238 HAS SOUS 490148 HAS SOUPS 490148 WITH SCORE 490732.238
AT ITER 3863 NEW BEST:: SOT 1206067 SOS 583862 HAS SOPS 583862 HAS SOUS 489772 HAS SOUPS 489772 WITH SCORE 490355.862
AT ITER 3865 NEW BEST:: SOT 1205838 SOS 583742 HAS SOPS 583742 HAS SOUS 489771 HAS SOUPS 489771 WITH SCORE 490354.742
AT ITER 3878 NEW BEST:: SOT 1205990 SOS 584195 HAS SOPS 584195 HAS SOUS 489735 HAS SOUPS 489735 WITH SCORE 490319.195
AT ITER 3880 NEW BEST:: SOT 1205988 SOS 583971 HAS SOPS 583971 HAS SOUS 489686 HAS SOUPS 489686 WITH SCORE 490269.971
AT ITER 3881 NEW BEST:: SOT 1205912 SOS 583867 HAS SOPS 583867 HAS SOUS 489448 HAS SOUPS 489448 WITH SCORE 490031.867
AT ITER 3883 NEW BEST:: SOT 1205963 SOS 583856 HAS SOPS 583856 HAS SOUS 489200 HAS SOUPS 489200 WITH SCORE 489783.856
AT ITER 3918 NEW BEST:: SOT 1205809 SOS 582803 HAS SOPS 582803 HAS SOUS 488584 HAS SOUPS 488584 WITH SCORE 489166.803
AT ITER 3926 NEW BEST:: SOT 1205668 SOS 582670 HAS SOPS 582670 HAS SOUS 488451 HAS SOUPS 488451 WITH SCORE 489033.67
AT ITER 3927 NEW BEST:: SOT 1205668 SOS 582396 HAS SOPS 582396 HAS SOUS 488405 HAS SOUPS 488405 WITH SCORE 488987.396
AT ITER 3932 NEW BEST:: SOT 1205714 SOS 582325 HAS SOPS 582325 HAS SOUS 488195 HAS SOUPS 488195 WITH SCORE 488777.325
AT ITER 3940 NEW BEST:: SOT 1205372 SOS 581741 HAS SOPS 581741 HAS SOUS 487611 HAS SOUPS 487611 WITH SCORE 488192.741
AT ITER 3943 NEW BEST:: SOT 1205368 SOS 581737 HAS SOPS 581737 HAS SOUS 487607 HAS SOUPS 487607 WITH SCORE 488188.737
AT ITER 3960 NEW BEST:: SOT 1205286 SOS 581655 HAS SOPS 581655 HAS SOUS 487525 HAS SOUPS 487525 WITH SCORE 488106.655
AT ITER 3962 NEW BEST:: SOT 1204670 SOS 581155 HAS SOPS 581155 HAS SOUS 487296 HAS SOUPS 487296 WITH SCORE 487877.155
AT ITER 3993 NEW BEST:: SOT 1204126 SOS 580291 HAS SOPS 580291 HAS SOUS 486432 HAS SOUPS 486432 WITH SCORE 487012.291
AT ITER 4001 NEW BEST:: SOT 1203361 SOS 579250 HAS SOPS 579250 HAS SOUS 484207 HAS SOUPS 484207 WITH SCORE 484786.25
AT ITER 4016 NEW BEST:: SOT 1203293 SOS 578655 HAS SOPS 578655 HAS SOUS 483949 HAS SOUPS 483949 WITH SCORE 484527.655
AT ITER 4020 NEW BEST:: SOT 1203112 SOS 578341 HAS SOPS 578341 HAS SOUS 483635 HAS SOUPS 483635 WITH SCORE 484213.341
AT ITER 4026 NEW BEST:: SOT 1203075 SOS 577142 HAS SOPS 577142 HAS SOUS 483634 HAS SOUPS 483634 WITH SCORE 484211.142
AT ITER 4038 NEW BEST:: SOT 1203342 SOS 577221 HAS SOPS 577221 HAS SOUS 483633 HAS SOUPS 483633 WITH SCORE 484210.221
AT ITER 4046 NEW BEST:: SOT 1203032 SOS 576911 HAS SOPS 576911 HAS SOUS 483323 HAS SOUPS 483323 WITH SCORE 483899.911
AT ITER 4058 NEW BEST:: SOT 1203032 SOS 576963 HAS SOPS 576963 HAS SOUS 483306 HAS SOUPS 483306 WITH SCORE 483882.963
AT ITER 4068 NEW BEST:: SOT 1203032 SOS 576815 HAS SOPS 576815 HAS SOUS 483269 HAS SOUPS 483269 WITH SCORE 483845.815
AT ITER 4070 NEW BEST:: SOT 1203269 SOS 576345 HAS SOPS 576345 HAS SOUS 482991 HAS SOUPS 482991 WITH SCORE 483567.345
AT ITER 4071 NEW BEST:: SOT 1203156 SOS 576230 HAS SOPS 576230 HAS SOUS 482876 HAS SOUPS 482876 WITH SCORE 483452.23
AT ITER 4073 NEW BEST:: SOT 1203148 SOS 576180 HAS SOPS 576180 HAS SOUS 482844 HAS SOUPS 482844 WITH SCORE 483420.18
AT ITER 4081 NEW BEST:: SOT 1203135 SOS 576141 HAS SOPS 576141 HAS SOUS 482805 HAS SOUPS 482805 WITH SCORE 483381.141
AT ITER 4090 NEW BEST:: SOT 1203019 SOS 576025 HAS SOPS 576025 HAS SOUS 482689 HAS SOUPS 482689 WITH SCORE 483265.025
AT ITER 4096 NEW BEST:: SOT 1203010 SOS 576016 HAS SOPS 576016 HAS SOUS 482680 HAS SOUPS 482680 WITH SCORE 483256.016
AT ITER 4100 NEW BEST:: SOT 1203010 SOS 575987 HAS SOPS 575987 HAS SOUS 482535 HAS SOUPS 482535 WITH SCORE 483110.987
AT ITER 4135 NEW BEST:: SOT 1203009 SOS 575986 HAS SOPS 575986 HAS SOUS 482534 HAS SOUPS 482534 WITH SCORE 483109.986
AT ITER 4144 NEW BEST:: SOT 1202733 SOS 574124 HAS SOPS 574124 HAS SOUS 481703 HAS SOUPS 481703 WITH SCORE 482277.124
AT ITER 4147 NEW BEST:: SOT 1202732 SOS 574123 HAS SOPS 574123 HAS SOUS 481702 HAS SOUPS 481702 WITH SCORE 482276.123
AT ITER 4159 NEW BEST:: SOT 1202582 SOS 573252 HAS SOPS 573252 HAS SOUS 480960 HAS SOUPS 480960 WITH SCORE 481533.252
AT ITER 4161 NEW BEST:: SOT 1202840 SOS 573239 HAS SOPS 573239 HAS SOUS 480947 HAS SOUPS 480947 WITH SCORE 481520.239
AT ITER 4171 NEW BEST:: SOT 1202803 SOS 573142 HAS SOPS 573142 HAS SOUS 480893 HAS SOUPS 480893 WITH SCORE 481466.142
AT ITER 4186 NEW BEST:: SOT 1202803 SOS 573078 HAS SOPS 573078 HAS SOUS 480829 HAS SOUPS 480829 WITH SCORE 481402.078
AT ITER 4188 NEW BEST:: SOT 1202817 SOS 571584 HAS SOPS 571584 HAS SOUS 480382 HAS SOUPS 480382 WITH SCORE 480953.584
AT ITER 4190 NEW BEST:: SOT 1202805 SOS 571560 HAS SOPS 571560 HAS SOUS 480364 HAS SOUPS 480364 WITH SCORE 480935.56
AT ITER 4201 NEW BEST:: SOT 1202804 SOS 571160 HAS SOPS 571160 HAS SOUS 480360 HAS SOUPS 480360 WITH SCORE 480931.16
AT ITER 4219 NEW BEST:: SOT 1202828 SOS 571163 HAS SOPS 571163 HAS SOUS 480239 HAS SOUPS 480239 WITH SCORE 480810.163
AT ITER 4224 NEW BEST:: SOT 1202004 SOS 570543 HAS SOPS 570543 HAS SOUS 479932 HAS SOUPS 479932 WITH SCORE 480502.543
AT ITER 4233 NEW BEST:: SOT 1201830 SOS 570572 HAS SOPS 570572 HAS SOUS 479793 HAS SOUPS 479793 WITH SCORE 480363.572
AT ITER 4239 NEW BEST:: SOT 1201829 SOS 570058 HAS SOPS 570058 HAS SOUS 479776 HAS SOUPS 479776 WITH SCORE 480346.058
AT ITER 4243 NEW BEST:: SOT 1201779 SOS 569858 HAS SOPS 569858 HAS SOUS 479676 HAS SOUPS 479676 WITH SCORE 480245.858
AT ITER 4244 NEW BEST:: SOT 1201779 SOS 569481 HAS SOPS 569481 HAS SOUS 479252 HAS SOUPS 479252 WITH SCORE 479821.481
AT ITER 4245 NEW BEST:: SOT 1201778 SOS 569480 HAS SOPS 569480 HAS SOUS 479251 HAS SOUPS 479251 WITH SCORE 479820.48
AT ITER 4249 NEW BEST:: SOT 1201764 SOS 569466 HAS SOPS 569466 HAS SOUS 479172 HAS SOUPS 479172 WITH SCORE 479741.466
AT ITER 4252 NEW BEST:: SOT 1201352 SOS 569051 HAS SOPS 569051 HAS SOUS 478757 HAS SOUPS 478757 WITH SCORE 479326.051
AT ITER 4269 NEW BEST:: SOT 1201352 SOS 569051 HAS SOPS 569051 HAS SOUS 478539 HAS SOUPS 478539 WITH SCORE 479108.051
AT ITER 4286 NEW BEST:: SOT 1201344 SOS 569043 HAS SOPS 569043 HAS SOUS 478531 HAS SOUPS 478531 WITH SCORE 479100.043
AT ITER 4289 NEW BEST:: SOT 1201219 SOS 568918 HAS SOPS 568918 HAS SOUS 478406 HAS SOUPS 478406 WITH SCORE 478974.918
AT ITER 4317 NEW BEST:: SOT 1201337 SOS 568703 HAS SOPS 568703 HAS SOUS 478191 HAS SOUPS 478191 WITH SCORE 478759.703
AT ITER 4318 NEW BEST:: SOT 1201336 SOS 568487 HAS SOPS 568487 HAS SOUS 478143 HAS SOUPS 478143 WITH SCORE 478711.487
AT ITER 4334 NEW BEST:: SOT 1201120 SOS 567091 HAS SOPS 567091 HAS SOUS 477455 HAS SOUPS 477455 WITH SCORE 478022.091
AT ITER 4339 NEW BEST:: SOT 1200231 SOS 566202 HAS SOPS 566202 HAS SOUS 476566 HAS SOUPS 476566 WITH SCORE 477132.202
AT ITER 4342 NEW BEST:: SOT 1200080 SOS 566032 HAS SOPS 566032 HAS SOUS 476359 HAS SOUPS 476359 WITH SCORE 476925.032
AT ITER 4348 NEW BEST:: SOT 1199706 SOS 565656 HAS SOPS 565656 HAS SOUS 476039 HAS SOUPS 476039 WITH SCORE 476604.656
AT ITER 4350 NEW BEST:: SOT 1199706 SOS 565646 HAS SOPS 565646 HAS SOUS 476029 HAS SOUPS 476029 WITH SCORE 476594.646
AT ITER 4355 NEW BEST:: SOT 1199796 SOS 565197 HAS SOPS 565197 HAS SOUS 476020 HAS SOUPS 476020 WITH SCORE 476585.197
AT ITER 4375 NEW BEST:: SOT 1199649 SOS 564814 HAS SOPS 564814 HAS SOUS 475131 HAS SOUPS 475131 WITH SCORE 475695.814
AT ITER 4380 NEW BEST:: SOT 1199441 SOS 564606 HAS SOPS 564606 HAS SOUS 474923 HAS SOUPS 474923 WITH SCORE 475487.606
AT ITER 4420 NEW BEST:: SOT 1199094 SOS 563707 HAS SOPS 563707 HAS SOUS 474300 HAS SOUPS 474300 WITH SCORE 474863.707
AT ITER 4421 NEW BEST:: SOT 1199046 SOS 563611 HAS SOPS 563611 HAS SOUS 474204 HAS SOUPS 474204 WITH SCORE 474767.611
AT ITER 4423 NEW BEST:: SOT 1199017 SOS 563490 HAS SOPS 563490 HAS SOUS 474083 HAS SOUPS 474083 WITH SCORE 474646.49
AT ITER 4428 NEW BEST:: SOT 1198942 SOS 563415 HAS SOPS 563415 HAS SOUS 474008 HAS SOUPS 474008 WITH SCORE 474571.415
AT ITER 4431 NEW BEST:: SOT 1198669 SOS 562636 HAS SOPS 562636 HAS SOUS 473475 HAS SOUPS 473475 WITH SCORE 474037.636
AT ITER 4436 NEW BEST:: SOT 1198626 SOS 562421 HAS SOPS 562421 HAS SOUS 473475 HAS SOUPS 473475 WITH SCORE 474037.421
AT ITER 4443 NEW BEST:: SOT 1198388 SOS 562183 HAS SOPS 562183 HAS SOUS 473237 HAS SOUPS 473237 WITH SCORE 473799.183
AT ITER 4450 NEW BEST:: SOT 1198384 SOS 562179 HAS SOPS 562179 HAS SOUS 473233 HAS SOUPS 473233 WITH SCORE 473795.179
AT ITER 4460 NEW BEST:: SOT 1198446 SOS 562163 HAS SOPS 562163 HAS SOUS 473217 HAS SOUPS 473217 WITH SCORE 473779.163
AT ITER 4464 NEW BEST:: SOT 1197556 SOS 560506 HAS SOPS 560506 HAS SOUS 472033 HAS SOUPS 472033 WITH SCORE 472593.506
AT ITER 4480 NEW BEST:: SOT 1197499 SOS 560272 HAS SOPS 560272 HAS SOUS 471905 HAS SOUPS 471905 WITH SCORE 472465.272
AT ITER 4487 NEW BEST:: SOT 1197379 SOS 560072 HAS SOPS 560072 HAS SOUS 471745 HAS SOUPS 471745 WITH SCORE 472305.072
AT ITER 4500 NEW BEST:: SOT 1197379 SOS 560429 HAS SOPS 560429 HAS SOUS 471679 HAS SOUPS 471679 WITH SCORE 472239.429
AT ITER 4515 NEW BEST:: SOT 1197379 SOS 560373 HAS SOPS 560373 HAS SOUS 471446 HAS SOUPS 471446 WITH SCORE 472006.373
AT ITER 4516 NEW BEST:: SOT 1197378 SOS 560233 HAS SOPS 560233 HAS SOUS 471437 HAS SOUPS 471437 WITH SCORE 471997.233
AT ITER 4523 NEW BEST:: SOT 1196961 SOS 559816 HAS SOPS 559816 HAS SOUS 471020 HAS SOUPS 471020 WITH SCORE 471579.816
AT ITER 4529 NEW BEST:: SOT 1197355 SOS 559545 HAS SOPS 559545 HAS SOUS 470765 HAS SOUPS 470765 WITH SCORE 471324.545
AT ITER 4531 NEW BEST:: SOT 1197355 SOS 558488 HAS SOPS 558488 HAS SOUS 470701 HAS SOUPS 470701 WITH SCORE 471259.488
AT ITER 4547 NEW BEST:: SOT 1197355 SOS 558485 HAS SOPS 558485 HAS SOUS 470699 HAS SOUPS 470699 WITH SCORE 471257.485
AT ITER 4550 NEW BEST:: SOT 1197498 SOS 555594 HAS SOPS 555594 HAS SOUS 470040 HAS SOUPS 470040 WITH SCORE 470595.594
AT ITER 4559 NEW BEST:: SOT 1197709 SOS 555289 HAS SOPS 555289 HAS SOUS 469716 HAS SOUPS 469716 WITH SCORE 470271.289
AT ITER 4573 NEW BEST:: SOT 1197611 SOS 555160 HAS SOPS 555160 HAS SOUS 469587 HAS SOUPS 469587 WITH SCORE 470142.16
AT ITER 4576 NEW BEST:: SOT 1197722 SOS 554959 HAS SOPS 554959 HAS SOUS 469533 HAS SOUPS 469533 WITH SCORE 470087.959
AT ITER 4583 NEW BEST:: SOT 1197566 SOS 554788 HAS SOPS 554788 HAS SOUS 469362 HAS SOUPS 469362 WITH SCORE 469916.788
AT ITER 4593 NEW BEST:: SOT 1197242 SOS 554252 HAS SOPS 554252 HAS SOUS 468697 HAS SOUPS 468697 WITH SCORE 469251.252
AT ITER 4604 NEW BEST:: SOT 1197240 SOS 553893 HAS SOPS 553893 HAS SOUS 468557 HAS SOUPS 468557 WITH SCORE 469110.893
AT ITER 4608 NEW BEST:: SOT 1197184 SOS 553833 HAS SOPS 553833 HAS SOUS 468498 HAS SOUPS 468498 WITH SCORE 469051.833
AT ITER 4609 NEW BEST:: SOT 1197022 SOS 553401 HAS SOPS 553401 HAS SOUS 468228 HAS SOUPS 468228 WITH SCORE 468781.401
AT ITER 4613 NEW BEST:: SOT 1196596 SOS 552762 HAS SOPS 552762 HAS SOUS 467589 HAS SOUPS 467589 WITH SCORE 468141.762
AT ITER 4624 NEW BEST:: SOT 1196592 SOS 552758 HAS SOPS 552758 HAS SOUS 467585 HAS SOUPS 467585 WITH SCORE 468137.758
AT ITER 4626 NEW BEST:: SOT 1196416 SOS 552506 HAS SOPS 552506 HAS SOUS 467333 HAS SOUPS 467333 WITH SCORE 467885.506
AT ITER 4628 NEW BEST:: SOT 1196414 SOS 551572 HAS SOPS 551572 HAS SOUS 467098 HAS SOUPS 467098 WITH SCORE 467649.572
AT ITER 4629 NEW BEST:: SOT 1196285 SOS 551093 HAS SOPS 551093 HAS SOUS 466838 HAS SOUPS 466838 WITH SCORE 467389.093
AT ITER 4648 NEW BEST:: SOT 1196285 SOS 550857 HAS SOPS 550857 HAS SOUS 466602 HAS SOUPS 466602 WITH SCORE 467152.857
AT ITER 4649 NEW BEST:: SOT 1196151 SOS 550441 HAS SOPS 550441 HAS SOUS 465663 HAS SOUPS 465663 WITH SCORE 466213.441
AT ITER 4670 NEW BEST:: SOT 1196079 SOS 550440 HAS SOPS 550440 HAS SOUS 465662 HAS SOUPS 465662 WITH SCORE 466212.44
AT ITER 4671 NEW BEST:: SOT 1196013 SOS 550264 HAS SOPS 550264 HAS SOUS 465552 HAS SOUPS 465552 WITH SCORE 466102.264
AT ITER 4682 NEW BEST:: SOT 1195819 SOS 549970 HAS SOPS 549970 HAS SOUS 465196 HAS SOUPS 465196 WITH SCORE 465745.97
AT ITER 4683 NEW BEST:: SOT 1195740 SOS 549828 HAS SOPS 549828 HAS SOUS 465054 HAS SOUPS 465054 WITH SCORE 465603.828
AT ITER 4687 NEW BEST:: SOT 1195729 SOS 549817 HAS SOPS 549817 HAS SOUS 465043 HAS SOUPS 465043 WITH SCORE 465592.817
AT ITER 4690 NEW BEST:: SOT 1194673 SOS 548761 HAS SOPS 548761 HAS SOUS 463842 HAS SOUPS 463842 WITH SCORE 464390.761
AT ITER 4695 NEW BEST:: SOT 1194561 SOS 548663 HAS SOPS 548663 HAS SOUS 463744 HAS SOUPS 463744 WITH SCORE 464292.663
AT ITER 4707 NEW BEST:: SOT 1194561 SOS 548659 HAS SOPS 548659 HAS SOUS 463741 HAS SOUPS 463741 WITH SCORE 464289.659
AT ITER 4736 NEW BEST:: SOT 1194428 SOS 548526 HAS SOPS 548526 HAS SOUS 463608 HAS SOUPS 463608 WITH SCORE 464156.526
AT ITER 4737 NEW BEST:: SOT 1194358 SOS 548509 HAS SOPS 548509 HAS SOUS 463591 HAS SOUPS 463591 WITH SCORE 464139.509
AT ITER 4738 NEW BEST:: SOT 1195117 SOS 548435 HAS SOPS 548435 HAS SOUS 463385 HAS SOUPS 463385 WITH SCORE 463933.435
AT ITER 4743 NEW BEST:: SOT 1195247 SOS 548283 HAS SOPS 548283 HAS SOUS 463374 HAS SOUPS 463374 WITH SCORE 463922.283
AT ITER 4757 NEW BEST:: SOT 1195130 SOS 548166 HAS SOPS 548166 HAS SOUS 463257 HAS SOUPS 463257 WITH SCORE 463805.166
AT ITER 4778 NEW BEST:: SOT 1194958 SOS 547690 HAS SOPS 547690 HAS SOUS 462569 HAS SOUPS 462569 WITH SCORE 463116.69
AT ITER 4793 NEW BEST:: SOT 1194814 SOS 547483 HAS SOPS 547483 HAS SOUS 462378 HAS SOUPS 462378 WITH SCORE 462925.483
AT ITER 4808 NEW BEST:: SOT 1194659 SOS 547328 HAS SOPS 547328 HAS SOUS 462223 HAS SOUPS 462223 WITH SCORE 462770.328
AT ITER 4818 NEW BEST:: SOT 1194559 SOS 547228 HAS SOPS 547228 HAS SOUS 462223 HAS SOUPS 462223 WITH SCORE 462770.228
AT ITER 4819 NEW BEST:: SOT 1194261 SOS 546930 HAS SOPS 546930 HAS SOUS 461925 HAS SOUPS 461925 WITH SCORE 462471.93
AT ITER 4821 NEW BEST:: SOT 1194232 SOS 546457 HAS SOPS 546457 HAS SOUS 461825 HAS SOUPS 461825 WITH SCORE 462371.457
AT ITER 4831 NEW BEST:: SOT 1194310 SOS 546463 HAS SOPS 546463 HAS SOUS 461752 HAS SOUPS 461752 WITH SCORE 462298.463
AT ITER 4852 NEW BEST:: SOT 1194340 SOS 546307 HAS SOPS 546307 HAS SOUS 461596 HAS SOUPS 461596 WITH SCORE 462142.307
AT ITER 4858 NEW BEST:: SOT 1194100 SOS 546033 HAS SOPS 546033 HAS SOUS 461339 HAS SOUPS 461339 WITH SCORE 461885.033
AT ITER 4863 NEW BEST:: SOT 1193535 SOS 544382 HAS SOPS 544382 HAS SOUS 460186 HAS SOUPS 460186 WITH SCORE 460730.382
AT ITER 4876 NEW BEST:: SOT 1193535 SOS 544382 HAS SOPS 544382 HAS SOUS 460180 HAS SOUPS 460180 WITH SCORE 460724.382
AT ITER 4897 NEW BEST:: SOT 1193498 SOS 544345 HAS SOPS 544345 HAS SOUS 460143 HAS SOUPS 460143 WITH SCORE 460687.345
AT ITER 4920 NEW BEST:: SOT 1193536 SOS 544119 HAS SOPS 544119 HAS SOUS 459917 HAS SOUPS 459917 WITH SCORE 460461.119
AT ITER 4941 NEW BEST:: SOT 1193536 SOS 544107 HAS SOPS 544107 HAS SOUS 459898 HAS SOUPS 459898 WITH SCORE 460442.107
AT ITER 4942 NEW BEST:: SOT 1193535 SOS 543731 HAS SOPS 543731 HAS SOUS 459725 HAS SOUPS 459725 WITH SCORE 460268.731
AT ITER 4950 NEW BEST:: SOT 1193493 SOS 543703 HAS SOPS 543703 HAS SOUS 459697 HAS SOUPS 459697 WITH SCORE 460240.703
AT ITER 4963 NEW BEST:: SOT 1193418 SOS 541798 HAS SOPS 541798 HAS SOUS 459367 HAS SOUPS 459367 WITH SCORE 459908.798
AT ITER 4964 NEW BEST:: SOT 1193234 SOS 541226 HAS SOPS 541226 HAS SOUS 458979 HAS SOUPS 458979 WITH SCORE 459520.226
AT ITER 4976 NEW BEST:: SOT 1193157 SOS 540899 HAS SOPS 540899 HAS SOUS 458652 HAS SOUPS 458652 WITH SCORE 459192.899
AT ITER 4977 NEW BEST:: SOT 1193027 SOS 539975 HAS SOPS 539975 HAS SOUS 458362 HAS SOUPS 458362 WITH SCORE 458901.975
AT ITER 4978 NEW BEST:: SOT 1193025 SOS 539606 HAS SOPS 539606 HAS SOUS 458249 HAS SOUPS 458249 WITH SCORE 458788.606
Bounds file is: CTLFireability.xml
PROPERTY: ShieldPPPs-PT-050A-CTLFireability-00 (AF( ((potential((tk(P1031)>=1) & (tk(P1033)>=1))))))
PROPERTY: ShieldPPPs-PT-050A-CTLFireability-01 ( ( (AF( (EX( ((potential((tk(P28)>=1)))))))) & ( ( ( ( ((potential((tk(P792)>=1) & (tk(P807)>=1)))) & ((potential((tk(P896)>=1)))) ) & (! ((potential((tk(P1435)>=1) & (tk(P1455)>=1))))) ) | (EG( ((potential((tk(P1461)>=1) & (tk(P1488)>=1)))))) ) | ( ((potential((tk(P696)>=1) & (tk(P715)>=1)))) | ( ( ((potential((tk(P1393)>=1)))) | ((potential((tk(P287)>=1) & (tk(P289)>=1)))) ) | (! ((potential((tk(P660)>=1) & (tk(P680)>=1))))) ) ) ) ) | ( (AU( ((potential((tk(P71)>=1) & (tk(P92)>=1)))) , ( ((potential((tk(P996)>=1) & (tk(P1023)>=1)))) | ((potential((tk(P1252)>=1) & (tk(P1262)>=1)))) ) )) & (! (AG( ((potential((tk(P979)>=1) & (tk(P981)>=1))))))) ) )
PROPERTY: ShieldPPPs-PT-050A-CTLFireability-02 (EF( ( ( (AG( ((potential((tk(P111)>=1) & (tk(P113)>=1)))))) & (! ((potential((tk(P1309)>=1) & (tk(P1326)>=1))))) ) & ( (! ( ((potential((tk(P823)>=1) & (tk(P838)>=1)))) | ((potential((tk(P1533)>=1) & (tk(P1553)>=1)))) )) & ((potential((tk(P842)>=1) & (tk(P863)>=1)))) ) )))
PROPERTY: ShieldPPPs-PT-050A-CTLFireability-03 (EF( ( (! ( ( ((potential((tk(P50)>=1) & (tk(P61)>=1)))) & ((potential((tk(P172)>=1) & (tk(P189)>=1)))) ) | ( ((potential((tk(P562)>=1) & (tk(P589)>=1)))) & ((potential((tk(P850)>=1) & (tk(P852)>=1)))) ) )) & ((potential((tk(P611)>=1)))) )))
PROPERTY: ShieldPPPs-PT-050A-CTLFireability-04 (EG( ( (AG( (! ((potential((tk(P539)>=1) & (tk(P551)>=1))))))) | ( (EF( ((potential((tk(P1013)>=1) & (tk(P1034)>=1)))))) & (AG( ((potential((tk(P140)>=1) & (tk(P182)>=1)))))) ) )))
PROPERTY: ShieldPPPs-PT-050A-CTLFireability-05 (AU( ( (AF( ((potential((tk(P1278)>=1) & (tk(P1295)>=1)))))) | ( (! ((potential((tk(P377)>=1) & (tk(P398)>=1))))) | ( ((potential((tk(P1139)>=1)))) & ((potential((tk(P183)>=1)))) ) ) ) , (EU( ((potential((tk(P1221)>=1) & (tk(P1231)>=1)))) , ((potential((tk(P1032)>=1) & (tk(P1052)>=1)))) )) ))
PROPERTY: ShieldPPPs-PT-050A-CTLFireability-06 (AU( (EF( ( ((potential((tk(P287)>=1) & (tk(P289)>=1)))) | ((potential((tk(P1067)>=1) & (tk(P1069)>=1)))) ))) , ((potential((tk(P391)>=1) & (tk(P402)>=1)))) ))
PROPERTY: ShieldPPPs-PT-050A-CTLFireability-07 (! ( ((potential((tk(P694)>=1) & (tk(P704)>=1)))) | (AX( (AF( ((potential((tk(P52)>=1) & (tk(P73)>=1)))))))) ))
PROPERTY: ShieldPPPs-PT-050A-CTLFireability-08 (! (AF( ((potential((tk(P844)>=1) & (tk(P860)>=1)))))))
PROPERTY: ShieldPPPs-PT-050A-CTLFireability-09 (EF( ((potential((tk(P648)>=1))))))
PROPERTY: ShieldPPPs-PT-050A-CTLFireability-10 (! ( (EF( (AF( ((potential((tk(P446)>=1) & (tk(P456)>=1)))))))) | (AG( ((potential((tk(P126)>=1)))))) ))
PROPERTY: ShieldPPPs-PT-050A-CTLFireability-11 (AG( ( (AG( (! ((potential((tk(P539)>=1) & (tk(P551)>=1))))))) & ( (AF( ((potential((tk(P1316)>=1) & (tk(P1336)>=1)))))) | (AX( ((potential((tk(P386)>=1) & (tk(P405)>=1)))))) ) )))
PROPERTY: ShieldPPPs-PT-050A-CTLFireability-12 (AF( (AG( (AG( ((potential((tk(P656)>=1) & (tk(P677)>=1))))))))))
PROPERTY: ShieldPPPs-PT-050A-CTLFireability-13 (AU( (! ((potential((tk(P729)>=1) & (tk(P771)>=1))))) , ((potential((tk(P67)>=1) & (tk(P88)>=1)))) ))
PROPERTY: ShieldPPPs-PT-050A-CTLFireability-14 (EG( ( (! (AG( ((potential((tk(P838)>=1))))))) | (EU( ((potential((tk(P386)>=1) & (tk(P405)>=1)))) , ((potential((tk(P1418)>=1)))) )) )))
PROPERTY: ShieldPPPs-PT-050A-CTLFireability-15 (AF( ( (! ( (! ((potential((tk(P1540)>=1))))) & (! ((potential((tk(P1261)>=1) & (tk(P1282)>=1))))) )) & ((potential((tk(P229)>=1) & (tk(P241)>=1)))) )))
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
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="ShieldPPPs-PT-050A"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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-4028"
echo " Executing tool smart"
echo " Input is ShieldPPPs-PT-050A, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469600540"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-050A.tgz
mv ShieldPPPs-PT-050A execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;