fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r207-tajo-159033469500491
Last Updated
Jun 28, 2020

About the Execution of smart for ShieldPPPs-PT-020A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.770 3600000.00 3600030.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-159033469500491.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-020A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469500491
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 328K
-rw-r--r-- 1 mcc users 3.2K May 14 01:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 01:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 19:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 19:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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.1K May 13 13:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 13 13:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 08:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K May 13 08:39 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 176K 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-020A-CTLCardinality-00
FORMULA_NAME ShieldPPPs-PT-020A-CTLCardinality-01
FORMULA_NAME ShieldPPPs-PT-020A-CTLCardinality-02
FORMULA_NAME ShieldPPPs-PT-020A-CTLCardinality-03
FORMULA_NAME ShieldPPPs-PT-020A-CTLCardinality-04
FORMULA_NAME ShieldPPPs-PT-020A-CTLCardinality-05
FORMULA_NAME ShieldPPPs-PT-020A-CTLCardinality-06
FORMULA_NAME ShieldPPPs-PT-020A-CTLCardinality-07
FORMULA_NAME ShieldPPPs-PT-020A-CTLCardinality-08
FORMULA_NAME ShieldPPPs-PT-020A-CTLCardinality-09
FORMULA_NAME ShieldPPPs-PT-020A-CTLCardinality-10
FORMULA_NAME ShieldPPPs-PT-020A-CTLCardinality-11
FORMULA_NAME ShieldPPPs-PT-020A-CTLCardinality-12
FORMULA_NAME ShieldPPPs-PT-020A-CTLCardinality-13
FORMULA_NAME ShieldPPPs-PT-020A-CTLCardinality-14
FORMULA_NAME ShieldPPPs-PT-020A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590443008177

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 020A
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 623 places, 523 transitions, 2006 arcs.
AT ITER 0 NEW BEST:: SOT 210468 SOS 145944 HAS SOPS 145944 HAS SOUS 110194 HAS SOUPS 110194 WITH SCORE 110339.944
AT ITER 7 NEW BEST:: SOT 210479 SOS 145217 HAS SOPS 145217 HAS SOUS 110180 HAS SOUPS 110180 WITH SCORE 110325.217
AT ITER 9 NEW BEST:: SOT 210365 SOS 145103 HAS SOPS 145103 HAS SOUS 110066 HAS SOUPS 110066 WITH SCORE 110211.103
AT ITER 19 NEW BEST:: SOT 210202 SOS 144938 HAS SOPS 144938 HAS SOUS 109901 HAS SOUPS 109901 WITH SCORE 110045.938
AT ITER 21 NEW BEST:: SOT 210201 SOS 143577 HAS SOPS 143577 HAS SOUS 109884 HAS SOUPS 109884 WITH SCORE 110027.577
AT ITER 33 NEW BEST:: SOT 210130 SOS 143603 HAS SOPS 143603 HAS SOUS 109862 HAS SOUPS 109862 WITH SCORE 110005.603
AT ITER 37 NEW BEST:: SOT 210510 SOS 143592 HAS SOPS 143592 HAS SOUS 109812 HAS SOUPS 109812 WITH SCORE 109955.592
AT ITER 41 NEW BEST:: SOT 210500 SOS 143571 HAS SOPS 143571 HAS SOUS 109784 HAS SOUPS 109784 WITH SCORE 109927.571
AT ITER 42 NEW BEST:: SOT 210242 SOS 143313 HAS SOPS 143313 HAS SOUS 109526 HAS SOUPS 109526 WITH SCORE 109669.313
AT ITER 43 NEW BEST:: SOT 210168 SOS 142943 HAS SOPS 142943 HAS SOUS 109526 HAS SOUPS 109526 WITH SCORE 109668.943
AT ITER 47 NEW BEST:: SOT 210046 SOS 142821 HAS SOPS 142821 HAS SOUS 109404 HAS SOUPS 109404 WITH SCORE 109546.821
AT ITER 48 NEW BEST:: SOT 209785 SOS 142560 HAS SOPS 142560 HAS SOUS 109143 HAS SOUPS 109143 WITH SCORE 109285.56
AT ITER 60 NEW BEST:: SOT 209784 SOS 142343 HAS SOPS 142343 HAS SOUS 109139 HAS SOUPS 109139 WITH SCORE 109281.343
AT ITER 62 NEW BEST:: SOT 209708 SOS 142265 HAS SOPS 142265 HAS SOUS 109061 HAS SOUPS 109061 WITH SCORE 109203.265
AT ITER 65 NEW BEST:: SOT 209707 SOS 142221 HAS SOPS 142221 HAS SOUS 109009 HAS SOUPS 109009 WITH SCORE 109151.221
AT ITER 69 NEW BEST:: SOT 209507 SOS 141221 HAS SOPS 141221 HAS SOUS 109009 HAS SOUPS 109009 WITH SCORE 109150.221
AT ITER 74 NEW BEST:: SOT 209421 SOS 141270 HAS SOPS 141270 HAS SOUS 108991 HAS SOUPS 108991 WITH SCORE 109132.27
AT ITER 75 NEW BEST:: SOT 209298 SOS 140655 HAS SOPS 140655 HAS SOUS 108986 HAS SOUPS 108986 WITH SCORE 109126.655
AT ITER 79 NEW BEST:: SOT 209255 SOS 140568 HAS SOPS 140568 HAS SOUS 108921 HAS SOUPS 108921 WITH SCORE 109061.568
AT ITER 90 NEW BEST:: SOT 209248 SOS 140561 HAS SOPS 140561 HAS SOUS 108914 HAS SOUPS 108914 WITH SCORE 109054.561
AT ITER 95 NEW BEST:: SOT 208994 SOS 140304 HAS SOPS 140304 HAS SOUS 108657 HAS SOUPS 108657 WITH SCORE 108797.304
AT ITER 103 NEW BEST:: SOT 208910 SOS 140220 HAS SOPS 140220 HAS SOUS 108573 HAS SOUPS 108573 WITH SCORE 108713.22
AT ITER 116 NEW BEST:: SOT 208500 SOS 139913 HAS SOPS 139913 HAS SOUS 108213 HAS SOUPS 108213 WITH SCORE 108352.913
AT ITER 118 NEW BEST:: SOT 208261 SOS 139674 HAS SOPS 139674 HAS SOUS 107974 HAS SOUPS 107974 WITH SCORE 108113.674
AT ITER 120 NEW BEST:: SOT 208257 SOS 139670 HAS SOPS 139670 HAS SOUS 107970 HAS SOUPS 107970 WITH SCORE 108109.67
AT ITER 131 NEW BEST:: SOT 208543 SOS 139188 HAS SOPS 139188 HAS SOUS 107968 HAS SOUPS 107968 WITH SCORE 108107.188
AT ITER 132 NEW BEST:: SOT 208664 SOS 138135 HAS SOPS 138135 HAS SOUS 107526 HAS SOUPS 107526 WITH SCORE 107664.135
AT ITER 138 NEW BEST:: SOT 208664 SOS 137517 HAS SOPS 137517 HAS SOUS 107526 HAS SOUPS 107526 WITH SCORE 107663.517
AT ITER 149 NEW BEST:: SOT 208659 SOS 137510 HAS SOPS 137510 HAS SOUS 107523 HAS SOUPS 107523 WITH SCORE 107660.51
AT ITER 152 NEW BEST:: SOT 208658 SOS 137250 HAS SOPS 137250 HAS SOUS 107503 HAS SOUPS 107503 WITH SCORE 107640.25
AT ITER 157 NEW BEST:: SOT 208144 SOS 136278 HAS SOPS 136278 HAS SOUS 106127 HAS SOUPS 106127 WITH SCORE 106263.278
AT ITER 164 NEW BEST:: SOT 208060 SOS 136194 HAS SOPS 136194 HAS SOUS 106043 HAS SOUPS 106043 WITH SCORE 106179.194
AT ITER 166 NEW BEST:: SOT 208041 SOS 136175 HAS SOPS 136175 HAS SOUS 106024 HAS SOUPS 106024 WITH SCORE 106160.175
AT ITER 179 NEW BEST:: SOT 207710 SOS 135778 HAS SOPS 135778 HAS SOUS 105523 HAS SOUPS 105523 WITH SCORE 105658.778
AT ITER 180 NEW BEST:: SOT 207674 SOS 135742 HAS SOPS 135742 HAS SOUS 105487 HAS SOUPS 105487 WITH SCORE 105622.742
AT ITER 188 NEW BEST:: SOT 207588 SOS 135656 HAS SOPS 135656 HAS SOUS 105401 HAS SOUPS 105401 WITH SCORE 105536.656
AT ITER 200 NEW BEST:: SOT 207375 SOS 135494 HAS SOPS 135494 HAS SOUS 105214 HAS SOUPS 105214 WITH SCORE 105349.494
AT ITER 208 NEW BEST:: SOT 207388 SOS 135499 HAS SOPS 135499 HAS SOUS 105209 HAS SOUPS 105209 WITH SCORE 105344.499
AT ITER 209 NEW BEST:: SOT 207434 SOS 134564 HAS SOPS 134564 HAS SOUS 105029 HAS SOUPS 105029 WITH SCORE 105163.564
AT ITER 237 NEW BEST:: SOT 207240 SOS 134138 HAS SOPS 134138 HAS SOUS 104664 HAS SOUPS 104664 WITH SCORE 104798.138
AT ITER 240 NEW BEST:: SOT 207062 SOS 133240 HAS SOPS 133240 HAS SOUS 104663 HAS SOUPS 104663 WITH SCORE 104796.24
AT ITER 245 NEW BEST:: SOT 207004 SOS 132950 HAS SOPS 132950 HAS SOUS 104663 HAS SOUPS 104663 WITH SCORE 104795.95
AT ITER 271 NEW BEST:: SOT 206977 SOS 132933 HAS SOPS 132933 HAS SOUS 104646 HAS SOUPS 104646 WITH SCORE 104778.933
AT ITER 275 NEW BEST:: SOT 206753 SOS 132673 HAS SOPS 132673 HAS SOUS 104386 HAS SOUPS 104386 WITH SCORE 104518.673
AT ITER 285 NEW BEST:: SOT 206567 SOS 131743 HAS SOPS 131743 HAS SOUS 104385 HAS SOUPS 104385 WITH SCORE 104516.743
AT ITER 286 NEW BEST:: SOT 206565 SOS 131739 HAS SOPS 131739 HAS SOUS 104381 HAS SOUPS 104381 WITH SCORE 104512.739
AT ITER 304 NEW BEST:: SOT 206565 SOS 131737 HAS SOPS 131737 HAS SOUS 104379 HAS SOUPS 104379 WITH SCORE 104510.737
AT ITER 308 NEW BEST:: SOT 206312 SOS 131483 HAS SOPS 131483 HAS SOUS 104125 HAS SOUPS 104125 WITH SCORE 104256.483
AT ITER 329 NEW BEST:: SOT 206280 SOS 131451 HAS SOPS 131451 HAS SOUS 104093 HAS SOUPS 104093 WITH SCORE 104224.451
AT ITER 332 NEW BEST:: SOT 206227 SOS 131398 HAS SOPS 131398 HAS SOUS 104040 HAS SOUPS 104040 WITH SCORE 104171.398
AT ITER 339 NEW BEST:: SOT 205551 SOS 130720 HAS SOPS 130720 HAS SOUS 103361 HAS SOUPS 103361 WITH SCORE 103491.72
AT ITER 349 NEW BEST:: SOT 205552 SOS 130429 HAS SOPS 130429 HAS SOUS 103070 HAS SOUPS 103070 WITH SCORE 103200.429
AT ITER 352 NEW BEST:: SOT 205542 SOS 129951 HAS SOPS 129951 HAS SOUS 102980 HAS SOUPS 102980 WITH SCORE 103109.951
AT ITER 370 NEW BEST:: SOT 205385 SOS 129792 HAS SOPS 129792 HAS SOUS 102821 HAS SOUPS 102821 WITH SCORE 102950.792
AT ITER 400 NEW BEST:: SOT 205389 SOS 129792 HAS SOPS 129792 HAS SOUS 102817 HAS SOUPS 102817 WITH SCORE 102946.792
AT ITER 415 NEW BEST:: SOT 205262 SOS 129663 HAS SOPS 129663 HAS SOUS 102688 HAS SOUPS 102688 WITH SCORE 102817.663
AT ITER 423 NEW BEST:: SOT 205164 SOS 129566 HAS SOPS 129566 HAS SOUS 102591 HAS SOUPS 102591 WITH SCORE 102720.566
AT ITER 431 NEW BEST:: SOT 204848 SOS 129250 HAS SOPS 129250 HAS SOUS 102275 HAS SOUPS 102275 WITH SCORE 102404.25
AT ITER 438 NEW BEST:: SOT 204840 SOS 129242 HAS SOPS 129242 HAS SOUS 102267 HAS SOUPS 102267 WITH SCORE 102396.242
AT ITER 439 NEW BEST:: SOT 204606 SOS 128673 HAS SOPS 128673 HAS SOUS 101912 HAS SOUPS 101912 WITH SCORE 102040.673
AT ITER 447 NEW BEST:: SOT 204507 SOS 128572 HAS SOPS 128572 HAS SOUS 101811 HAS SOUPS 101811 WITH SCORE 101939.572
AT ITER 452 NEW BEST:: SOT 204503 SOS 128462 HAS SOPS 128462 HAS SOUS 101701 HAS SOUPS 101701 WITH SCORE 101829.462
AT ITER 466 NEW BEST:: SOT 204503 SOS 128462 HAS SOPS 128462 HAS SOUS 101683 HAS SOUPS 101683 WITH SCORE 101811.462
AT ITER 479 NEW BEST:: SOT 204503 SOS 127876 HAS SOPS 127876 HAS SOUS 101673 HAS SOUPS 101673 WITH SCORE 101800.876
AT ITER 481 NEW BEST:: SOT 204493 SOS 127856 HAS SOPS 127856 HAS SOUS 101646 HAS SOUPS 101646 WITH SCORE 101773.856
AT ITER 485 NEW BEST:: SOT 204458 SOS 127827 HAS SOPS 127827 HAS SOUS 101617 HAS SOUPS 101617 WITH SCORE 101744.827
AT ITER 488 NEW BEST:: SOT 204391 SOS 127760 HAS SOPS 127760 HAS SOUS 101550 HAS SOUPS 101550 WITH SCORE 101677.76
AT ITER 498 NEW BEST:: SOT 204170 SOS 127539 HAS SOPS 127539 HAS SOUS 101329 HAS SOUPS 101329 WITH SCORE 101456.539
AT ITER 521 NEW BEST:: SOT 203961 SOS 126369 HAS SOPS 126369 HAS SOUS 100738 HAS SOUPS 100738 WITH SCORE 100864.369
AT ITER 533 NEW BEST:: SOT 203931 SOS 126289 HAS SOPS 126289 HAS SOUS 100670 HAS SOUPS 100670 WITH SCORE 100796.289
AT ITER 538 NEW BEST:: SOT 203756 SOS 126113 HAS SOPS 126113 HAS SOUS 100494 HAS SOUPS 100494 WITH SCORE 100620.113
AT ITER 543 NEW BEST:: SOT 203493 SOS 125849 HAS SOPS 125849 HAS SOUS 100230 HAS SOUPS 100230 WITH SCORE 100355.849
AT ITER 546 NEW BEST:: SOT 203371 SOS 125624 HAS SOPS 125624 HAS SOUS 100056 HAS SOUPS 100056 WITH SCORE 100181.624
AT ITER 556 NEW BEST:: SOT 203051 SOS 125476 HAS SOPS 125476 HAS SOUS 99907 HAS SOUPS 99907 WITH SCORE 100032.476
AT ITER 559 NEW BEST:: SOT 203212 SOS 125335 HAS SOPS 125335 HAS SOUS 99747 HAS SOUPS 99747 WITH SCORE 99872.335
AT ITER 563 NEW BEST:: SOT 203211 SOS 125209 HAS SOPS 125209 HAS SOUS 99618 HAS SOUPS 99618 WITH SCORE 99743.209
AT ITER 592 NEW BEST:: SOT 203198 SOS 125185 HAS SOPS 125185 HAS SOUS 99586 HAS SOUPS 99586 WITH SCORE 99711.185
AT ITER 599 NEW BEST:: SOT 203220 SOS 125250 HAS SOPS 125250 HAS SOUS 99585 HAS SOUPS 99585 WITH SCORE 99710.25
AT ITER 610 NEW BEST:: SOT 203180 SOS 124676 HAS SOPS 124676 HAS SOUS 99435 HAS SOUPS 99435 WITH SCORE 99559.676
AT ITER 620 NEW BEST:: SOT 203179 SOS 124675 HAS SOPS 124675 HAS SOUS 99434 HAS SOUPS 99434 WITH SCORE 99558.675
AT ITER 624 NEW BEST:: SOT 203051 SOS 124547 HAS SOPS 124547 HAS SOUS 99306 HAS SOUPS 99306 WITH SCORE 99430.547
AT ITER 625 NEW BEST:: SOT 203127 SOS 124403 HAS SOPS 124403 HAS SOUS 99162 HAS SOUPS 99162 WITH SCORE 99286.403
AT ITER 627 NEW BEST:: SOT 203000 SOS 124122 HAS SOPS 124122 HAS SOUS 98955 HAS SOUPS 98955 WITH SCORE 99079.122
AT ITER 628 NEW BEST:: SOT 202966 SOS 124088 HAS SOPS 124088 HAS SOUS 98955 HAS SOUPS 98955 WITH SCORE 99079.088
AT ITER 634 NEW BEST:: SOT 202889 SOS 124005 HAS SOPS 124005 HAS SOUS 98872 HAS SOUPS 98872 WITH SCORE 98996.005
AT ITER 635 NEW BEST:: SOT 203317 SOS 123168 HAS SOPS 123168 HAS SOUS 98848 HAS SOUPS 98848 WITH SCORE 98971.168
AT ITER 644 NEW BEST:: SOT 203317 SOS 123129 HAS SOPS 123129 HAS SOUS 98848 HAS SOUPS 98848 WITH SCORE 98971.129
AT ITER 657 NEW BEST:: SOT 203243 SOS 123055 HAS SOPS 123055 HAS SOUS 98774 HAS SOUPS 98774 WITH SCORE 98897.055
AT ITER 665 NEW BEST:: SOT 203143 SOS 122945 HAS SOPS 122945 HAS SOUS 98647 HAS SOUPS 98647 WITH SCORE 98769.945
AT ITER 681 NEW BEST:: SOT 202990 SOS 122752 HAS SOPS 122752 HAS SOUS 98454 HAS SOUPS 98454 WITH SCORE 98576.752
AT ITER 683 NEW BEST:: SOT 202976 SOS 122729 HAS SOPS 122729 HAS SOUS 98417 HAS SOUPS 98417 WITH SCORE 98539.729
AT ITER 689 NEW BEST:: SOT 202967 SOS 122669 HAS SOPS 122669 HAS SOUS 98357 HAS SOUPS 98357 WITH SCORE 98479.669
AT ITER 696 NEW BEST:: SOT 202958 SOS 122660 HAS SOPS 122660 HAS SOUS 98348 HAS SOUPS 98348 WITH SCORE 98470.66
AT ITER 698 NEW BEST:: SOT 202957 SOS 122657 HAS SOPS 122657 HAS SOUS 98348 HAS SOUPS 98348 WITH SCORE 98470.657
AT ITER 707 NEW BEST:: SOT 202897 SOS 122597 HAS SOPS 122597 HAS SOUS 98288 HAS SOUPS 98288 WITH SCORE 98410.597
AT ITER 721 NEW BEST:: SOT 202811 SOS 122511 HAS SOPS 122511 HAS SOUS 98202 HAS SOUPS 98202 WITH SCORE 98324.511
AT ITER 727 NEW BEST:: SOT 202773 SOS 122472 HAS SOPS 122472 HAS SOUS 98163 HAS SOUPS 98163 WITH SCORE 98285.472
AT ITER 735 NEW BEST:: SOT 203114 SOS 123037 HAS SOPS 123037 HAS SOUS 97922 HAS SOUPS 97922 WITH SCORE 98045.037
AT ITER 742 NEW BEST:: SOT 202895 SOS 122691 HAS SOPS 122691 HAS SOUS 97576 HAS SOUPS 97576 WITH SCORE 97698.691
AT ITER 745 NEW BEST:: SOT 202773 SOS 122652 HAS SOPS 122652 HAS SOUS 97536 HAS SOUPS 97536 WITH SCORE 97658.652
AT ITER 763 NEW BEST:: SOT 202773 SOS 122503 HAS SOPS 122503 HAS SOUS 97535 HAS SOUPS 97535 WITH SCORE 97657.503
AT ITER 767 NEW BEST:: SOT 202773 SOS 122604 HAS SOPS 122604 HAS SOUS 97532 HAS SOUPS 97532 WITH SCORE 97654.604
AT ITER 768 NEW BEST:: SOT 202785 SOS 122527 HAS SOPS 122527 HAS SOUS 97455 HAS SOUPS 97455 WITH SCORE 97577.527
AT ITER 785 NEW BEST:: SOT 202740 SOS 122482 HAS SOPS 122482 HAS SOUS 97410 HAS SOUPS 97410 WITH SCORE 97532.482
AT ITER 815 NEW BEST:: SOT 202784 SOS 122260 HAS SOPS 122260 HAS SOUS 97270 HAS SOUPS 97270 WITH SCORE 97392.26
AT ITER 820 NEW BEST:: SOT 202771 SOS 122247 HAS SOPS 122247 HAS SOUS 97257 HAS SOUPS 97257 WITH SCORE 97379.247
AT ITER 824 NEW BEST:: SOT 202471 SOS 120745 HAS SOPS 120745 HAS SOUS 96635 HAS SOUPS 96635 WITH SCORE 96755.745
AT ITER 827 NEW BEST:: SOT 202470 SOS 120266 HAS SOPS 120266 HAS SOUS 96614 HAS SOUPS 96614 WITH SCORE 96734.266
AT ITER 840 NEW BEST:: SOT 202000 SOS 119796 HAS SOPS 119796 HAS SOUS 96056 HAS SOUPS 96056 WITH SCORE 96175.796
AT ITER 852 NEW BEST:: SOT 201969 SOS 119734 HAS SOPS 119734 HAS SOUS 95994 HAS SOUPS 95994 WITH SCORE 96113.734
AT ITER 856 NEW BEST:: SOT 201975 SOS 119740 HAS SOPS 119740 HAS SOUS 95990 HAS SOUPS 95990 WITH SCORE 96109.74
AT ITER 858 NEW BEST:: SOT 201525 SOS 118078 HAS SOPS 118078 HAS SOUS 95037 HAS SOUPS 95037 WITH SCORE 95155.078
AT ITER 861 NEW BEST:: SOT 201487 SOS 118038 HAS SOPS 118038 HAS SOUS 94997 HAS SOUPS 94997 WITH SCORE 95115.038
AT ITER 873 NEW BEST:: SOT 201325 SOS 117876 HAS SOPS 117876 HAS SOUS 94835 HAS SOUPS 94835 WITH SCORE 94952.876
AT ITER 891 NEW BEST:: SOT 201372 SOS 117777 HAS SOPS 117777 HAS SOUS 94775 HAS SOUPS 94775 WITH SCORE 94892.777
AT ITER 905 NEW BEST:: SOT 201300 SOS 117669 HAS SOPS 117669 HAS SOUS 94667 HAS SOUPS 94667 WITH SCORE 94784.669
AT ITER 910 NEW BEST:: SOT 201228 SOS 117597 HAS SOPS 117597 HAS SOUS 94595 HAS SOUPS 94595 WITH SCORE 94712.597
AT ITER 923 NEW BEST:: SOT 201136 SOS 117439 HAS SOPS 117439 HAS SOUS 94437 HAS SOUPS 94437 WITH SCORE 94554.439
AT ITER 931 NEW BEST:: SOT 201135 SOS 117432 HAS SOPS 117432 HAS SOUS 94433 HAS SOUPS 94433 WITH SCORE 94550.432
AT ITER 937 NEW BEST:: SOT 201131 SOS 117428 HAS SOPS 117428 HAS SOUS 94429 HAS SOUPS 94429 WITH SCORE 94546.428
AT ITER 940 NEW BEST:: SOT 200823 SOS 115961 HAS SOPS 115961 HAS SOUS 93448 HAS SOUPS 93448 WITH SCORE 93563.961
AT ITER 945 NEW BEST:: SOT 200821 SOS 115959 HAS SOPS 115959 HAS SOUS 93446 HAS SOUPS 93446 WITH SCORE 93561.959
AT ITER 948 NEW BEST:: SOT 200586 SOS 115722 HAS SOPS 115722 HAS SOUS 93209 HAS SOUPS 93209 WITH SCORE 93324.722
AT ITER 950 NEW BEST:: SOT 200586 SOS 115674 HAS SOPS 115674 HAS SOUS 93209 HAS SOUPS 93209 WITH SCORE 93324.674
AT ITER 962 NEW BEST:: SOT 200466 SOS 115553 HAS SOPS 115553 HAS SOUS 93088 HAS SOUPS 93088 WITH SCORE 93203.553
AT ITER 965 NEW BEST:: SOT 200328 SOS 115229 HAS SOPS 115229 HAS SOUS 92388 HAS SOUPS 92388 WITH SCORE 92503.229
AT ITER 988 NEW BEST:: SOT 200333 SOS 115147 HAS SOPS 115147 HAS SOUS 92356 HAS SOUPS 92356 WITH SCORE 92471.147
AT ITER 993 NEW BEST:: SOT 200146 SOS 114960 HAS SOPS 114960 HAS SOUS 92001 HAS SOUPS 92001 WITH SCORE 92115.96
AT ITER 999 NEW BEST:: SOT 200159 SOS 114986 HAS SOPS 114986 HAS SOUS 91999 HAS SOUPS 91999 WITH SCORE 92113.986
AT ITER 1005 NEW BEST:: SOT 200136 SOS 114965 HAS SOPS 114965 HAS SOUS 91972 HAS SOUPS 91972 WITH SCORE 92086.965
AT ITER 1016 NEW BEST:: SOT 200042 SOS 114869 HAS SOPS 114869 HAS SOUS 91876 HAS SOUPS 91876 WITH SCORE 91990.869
AT ITER 1023 NEW BEST:: SOT 199793 SOS 114617 HAS SOPS 114617 HAS SOUS 91624 HAS SOUPS 91624 WITH SCORE 91738.617
AT ITER 1031 NEW BEST:: SOT 199639 SOS 114464 HAS SOPS 114464 HAS SOUS 91471 HAS SOUPS 91471 WITH SCORE 91585.464
AT ITER 1034 NEW BEST:: SOT 199604 SOS 114259 HAS SOPS 114259 HAS SOUS 91266 HAS SOUPS 91266 WITH SCORE 91380.259
AT ITER 1038 NEW BEST:: SOT 199456 SOS 114111 HAS SOPS 114111 HAS SOUS 91118 HAS SOUPS 91118 WITH SCORE 91232.111
AT ITER 1041 NEW BEST:: SOT 199456 SOS 113963 HAS SOPS 113963 HAS SOUS 90970 HAS SOUPS 90970 WITH SCORE 91083.963
AT ITER 1045 NEW BEST:: SOT 199385 SOS 113230 HAS SOPS 113230 HAS SOUS 90664 HAS SOUPS 90664 WITH SCORE 90777.23
AT ITER 1053 NEW BEST:: SOT 199210 SOS 113055 HAS SOPS 113055 HAS SOUS 90489 HAS SOUPS 90489 WITH SCORE 90602.055
AT ITER 1058 NEW BEST:: SOT 199102 SOS 112925 HAS SOPS 112925 HAS SOUS 90370 HAS SOUPS 90370 WITH SCORE 90482.925
AT ITER 1066 NEW BEST:: SOT 199102 SOS 112925 HAS SOPS 112925 HAS SOUS 90359 HAS SOUPS 90359 WITH SCORE 90471.925
AT ITER 1070 NEW BEST:: SOT 199101 SOS 112924 HAS SOPS 112924 HAS SOUS 90358 HAS SOUPS 90358 WITH SCORE 90470.924
AT ITER 1071 NEW BEST:: SOT 199125 SOS 112948 HAS SOPS 112948 HAS SOUS 90353 HAS SOUPS 90353 WITH SCORE 90465.948
AT ITER 1079 NEW BEST:: SOT 199151 SOS 112914 HAS SOPS 112914 HAS SOUS 90319 HAS SOUPS 90319 WITH SCORE 90431.914
AT ITER 1082 NEW BEST:: SOT 198991 SOS 112754 HAS SOPS 112754 HAS SOUS 90159 HAS SOUPS 90159 WITH SCORE 90271.754
AT ITER 1096 NEW BEST:: SOT 199045 SOS 112696 HAS SOPS 112696 HAS SOUS 90128 HAS SOUPS 90128 WITH SCORE 90240.696
AT ITER 1098 NEW BEST:: SOT 198991 SOS 112443 HAS SOPS 112443 HAS SOUS 90126 HAS SOUPS 90126 WITH SCORE 90238.443
AT ITER 1101 NEW BEST:: SOT 199002 SOS 112443 HAS SOPS 112443 HAS SOUS 90121 HAS SOUPS 90121 WITH SCORE 90233.443
AT ITER 1129 NEW BEST:: SOT 198987 SOS 112423 HAS SOPS 112423 HAS SOUS 90101 HAS SOUPS 90101 WITH SCORE 90213.423
AT ITER 1133 NEW BEST:: SOT 198921 SOS 112357 HAS SOPS 112357 HAS SOUS 90035 HAS SOUPS 90035 WITH SCORE 90147.357
AT ITER 1139 NEW BEST:: SOT 198819 SOS 112255 HAS SOPS 112255 HAS SOUS 89933 HAS SOUPS 89933 WITH SCORE 90045.255
AT ITER 1149 NEW BEST:: SOT 198615 SOS 112005 HAS SOPS 112005 HAS SOUS 89683 HAS SOUPS 89683 WITH SCORE 89795.005
AT ITER 1172 NEW BEST:: SOT 198469 SOS 111786 HAS SOPS 111786 HAS SOUS 89464 HAS SOUPS 89464 WITH SCORE 89575.786
AT ITER 1179 NEW BEST:: SOT 198146 SOS 111460 HAS SOPS 111460 HAS SOUS 89138 HAS SOUPS 89138 WITH SCORE 89249.46
AT ITER 1181 NEW BEST:: SOT 197908 SOS 111191 HAS SOPS 111191 HAS SOUS 88869 HAS SOUPS 88869 WITH SCORE 88980.191
AT ITER 1185 NEW BEST:: SOT 197842 SOS 111080 HAS SOPS 111080 HAS SOUS 88758 HAS SOUPS 88758 WITH SCORE 88869.08
AT ITER 1192 NEW BEST:: SOT 197856 SOS 111041 HAS SOPS 111041 HAS SOUS 88719 HAS SOUPS 88719 WITH SCORE 88830.041
AT ITER 1196 NEW BEST:: SOT 197841 SOS 111026 HAS SOPS 111026 HAS SOUS 88718 HAS SOUPS 88718 WITH SCORE 88829.026
AT ITER 1202 NEW BEST:: SOT 197824 SOS 111008 HAS SOPS 111008 HAS SOUS 88700 HAS SOUPS 88700 WITH SCORE 88811.008
AT ITER 1203 NEW BEST:: SOT 197780 SOS 110942 HAS SOPS 110942 HAS SOUS 88634 HAS SOUPS 88634 WITH SCORE 88744.942
AT ITER 1215 NEW BEST:: SOT 197846 SOS 110996 HAS SOPS 110996 HAS SOUS 88622 HAS SOUPS 88622 WITH SCORE 88732.996
AT ITER 1234 NEW BEST:: SOT 197852 SOS 110959 HAS SOPS 110959 HAS SOUS 88585 HAS SOUPS 88585 WITH SCORE 88695.959
AT ITER 1242 NEW BEST:: SOT 197884 SOS 110703 HAS SOPS 110703 HAS SOUS 88089 HAS SOUPS 88089 WITH SCORE 88199.703
AT ITER 1246 NEW BEST:: SOT 197881 SOS 110700 HAS SOPS 110700 HAS SOUS 88086 HAS SOUPS 88086 WITH SCORE 88196.7
AT ITER 1257 NEW BEST:: SOT 197654 SOS 110620 HAS SOPS 110620 HAS SOUS 87942 HAS SOUPS 87942 WITH SCORE 88052.62
AT ITER 1258 NEW BEST:: SOT 197703 SOS 110474 HAS SOPS 110474 HAS SOUS 87796 HAS SOUPS 87796 WITH SCORE 87906.474
AT ITER 1260 NEW BEST:: SOT 197565 SOS 110336 HAS SOPS 110336 HAS SOUS 87658 HAS SOUPS 87658 WITH SCORE 87768.336
AT ITER 1262 NEW BEST:: SOT 197565 SOS 110323 HAS SOPS 110323 HAS SOUS 87645 HAS SOUPS 87645 WITH SCORE 87755.323
AT ITER 1268 NEW BEST:: SOT 197383 SOS 110218 HAS SOPS 110218 HAS SOUS 87540 HAS SOUPS 87540 WITH SCORE 87650.218
AT ITER 1269 NEW BEST:: SOT 197060 SOS 109616 HAS SOPS 109616 HAS SOUS 87159 HAS SOUPS 87159 WITH SCORE 87268.616
AT ITER 1292 NEW BEST:: SOT 196968 SOS 109524 HAS SOPS 109524 HAS SOUS 87067 HAS SOUPS 87067 WITH SCORE 87176.524
AT ITER 1295 NEW BEST:: SOT 196951 SOS 109507 HAS SOPS 109507 HAS SOUS 87050 HAS SOUPS 87050 WITH SCORE 87159.507
AT ITER 1298 NEW BEST:: SOT 196886 SOS 109226 HAS SOPS 109226 HAS SOUS 86769 HAS SOUPS 86769 WITH SCORE 86878.226
AT ITER 1310 NEW BEST:: SOT 196877 SOS 109217 HAS SOPS 109217 HAS SOUS 86760 HAS SOUPS 86760 WITH SCORE 86869.217
AT ITER 1321 NEW BEST:: SOT 196491 SOS 108926 HAS SOPS 108926 HAS SOUS 86627 HAS SOUPS 86627 WITH SCORE 86735.926
AT ITER 1349 NEW BEST:: SOT 196235 SOS 108405 HAS SOPS 108405 HAS SOUS 86154 HAS SOUPS 86154 WITH SCORE 86262.405
AT ITER 1368 NEW BEST:: SOT 196102 SOS 108270 HAS SOPS 108270 HAS SOUS 86019 HAS SOUPS 86019 WITH SCORE 86127.27
AT ITER 1373 NEW BEST:: SOT 196164 SOS 108226 HAS SOPS 108226 HAS SOUS 85982 HAS SOUPS 85982 WITH SCORE 86090.226
AT ITER 1395 NEW BEST:: SOT 196067 SOS 107989 HAS SOPS 107989 HAS SOUS 85745 HAS SOUPS 85745 WITH SCORE 85852.989
AT ITER 1420 NEW BEST:: SOT 196073 SOS 107995 HAS SOPS 107995 HAS SOUS 85743 HAS SOUPS 85743 WITH SCORE 85850.995
AT ITER 1425 NEW BEST:: SOT 196071 SOS 107905 HAS SOPS 107905 HAS SOUS 85653 HAS SOUPS 85653 WITH SCORE 85760.905
AT ITER 1459 NEW BEST:: SOT 196071 SOS 107910 HAS SOPS 107910 HAS SOUS 85648 HAS SOUPS 85648 WITH SCORE 85755.91
AT ITER 1464 NEW BEST:: SOT 196023 SOS 107766 HAS SOPS 107766 HAS SOUS 85648 HAS SOUPS 85648 WITH SCORE 85755.766
AT ITER 1467 NEW BEST:: SOT 196018 SOS 107761 HAS SOPS 107761 HAS SOUS 85643 HAS SOUPS 85643 WITH SCORE 85750.761
AT ITER 1473 NEW BEST:: SOT 195903 SOS 107500 HAS SOPS 107500 HAS SOUS 85382 HAS SOUPS 85382 WITH SCORE 85489.5
AT ITER 1487 NEW BEST:: SOT 195699 SOS 107431 HAS SOPS 107431 HAS SOUS 85296 HAS SOUPS 85296 WITH SCORE 85403.431
AT ITER 1492 NEW BEST:: SOT 195699 SOS 107347 HAS SOPS 107347 HAS SOUS 85296 HAS SOUPS 85296 WITH SCORE 85403.347
AT ITER 1495 NEW BEST:: SOT 195847 SOS 106315 HAS SOPS 106315 HAS SOUS 85235 HAS SOUPS 85235 WITH SCORE 85341.315
AT ITER 1498 NEW BEST:: SOT 195840 SOS 106034 HAS SOPS 106034 HAS SOUS 85109 HAS SOUPS 85109 WITH SCORE 85215.034
AT ITER 1513 NEW BEST:: SOT 195840 SOS 105968 HAS SOPS 105968 HAS SOUS 85103 HAS SOUPS 85103 WITH SCORE 85208.968
AT ITER 1519 NEW BEST:: SOT 195840 SOS 105986 HAS SOPS 105986 HAS SOUS 85102 HAS SOUPS 85102 WITH SCORE 85207.986
AT ITER 1521 NEW BEST:: SOT 195840 SOS 105976 HAS SOPS 105976 HAS SOUS 85092 HAS SOUPS 85092 WITH SCORE 85197.976
AT ITER 1527 NEW BEST:: SOT 195785 SOS 105921 HAS SOPS 105921 HAS SOUS 85034 HAS SOUPS 85034 WITH SCORE 85139.921
AT ITER 1544 NEW BEST:: SOT 195783 SOS 105339 HAS SOPS 105339 HAS SOUS 85016 HAS SOUPS 85016 WITH SCORE 85121.339
AT ITER 1553 NEW BEST:: SOT 195778 SOS 105334 HAS SOPS 105334 HAS SOUS 85011 HAS SOUPS 85011 WITH SCORE 85116.334
AT ITER 1554 NEW BEST:: SOT 195754 SOS 105333 HAS SOPS 105333 HAS SOUS 85010 HAS SOUPS 85010 WITH SCORE 85115.333
AT ITER 1559 NEW BEST:: SOT 195717 SOS 105294 HAS SOPS 105294 HAS SOUS 84971 HAS SOUPS 84971 WITH SCORE 85076.294
AT ITER 1567 NEW BEST:: SOT 195605 SOS 104572 HAS SOPS 104572 HAS SOUS 84780 HAS SOUPS 84780 WITH SCORE 84884.572
AT ITER 1581 NEW BEST:: SOT 195541 SOS 104101 HAS SOPS 104101 HAS SOUS 84780 HAS SOUPS 84780 WITH SCORE 84884.101
AT ITER 1583 NEW BEST:: SOT 195540 SOS 104098 HAS SOPS 104098 HAS SOUS 84777 HAS SOUPS 84777 WITH SCORE 84881.098
AT ITER 1586 NEW BEST:: SOT 195523 SOS 104078 HAS SOPS 104078 HAS SOUS 84748 HAS SOUPS 84748 WITH SCORE 84852.078
AT ITER 1597 NEW BEST:: SOT 195405 SOS 103951 HAS SOPS 103951 HAS SOUS 84610 HAS SOUPS 84610 WITH SCORE 84713.951
AT ITER 1598 NEW BEST:: SOT 195365 SOS 103911 HAS SOPS 103911 HAS SOUS 84570 HAS SOUPS 84570 WITH SCORE 84673.911
AT ITER 1610 NEW BEST:: SOT 195357 SOS 103642 HAS SOPS 103642 HAS SOUS 84539 HAS SOUPS 84539 WITH SCORE 84642.642
AT ITER 1638 NEW BEST:: SOT 195186 SOS 103443 HAS SOPS 103443 HAS SOUS 84340 HAS SOUPS 84340 WITH SCORE 84443.443
AT ITER 1648 NEW BEST:: SOT 195174 SOS 103388 HAS SOPS 103388 HAS SOUS 84285 HAS SOUPS 84285 WITH SCORE 84388.388
AT ITER 1651 NEW BEST:: SOT 195148 SOS 103109 HAS SOPS 103109 HAS SOUS 84186 HAS SOUPS 84186 WITH SCORE 84289.109
AT ITER 1663 NEW BEST:: SOT 194938 SOS 102910 HAS SOPS 102910 HAS SOUS 84067 HAS SOUPS 84067 WITH SCORE 84169.91
AT ITER 1667 NEW BEST:: SOT 194917 SOS 102792 HAS SOPS 102792 HAS SOUS 83949 HAS SOUPS 83949 WITH SCORE 84051.792
AT ITER 1680 NEW BEST:: SOT 194774 SOS 102528 HAS SOPS 102528 HAS SOUS 83685 HAS SOUPS 83685 WITH SCORE 83787.528
AT ITER 1683 NEW BEST:: SOT 194774 SOS 102379 HAS SOPS 102379 HAS SOUS 83643 HAS SOUPS 83643 WITH SCORE 83745.379
AT ITER 1692 NEW BEST:: SOT 194758 SOS 101933 HAS SOPS 101933 HAS SOUS 83506 HAS SOUPS 83506 WITH SCORE 83607.933
AT ITER 1708 NEW BEST:: SOT 194676 SOS 101851 HAS SOPS 101851 HAS SOUS 83410 HAS SOUPS 83410 WITH SCORE 83511.851
AT ITER 1709 NEW BEST:: SOT 194502 SOS 101619 HAS SOPS 101619 HAS SOUS 83178 HAS SOUPS 83178 WITH SCORE 83279.619
AT ITER 1716 NEW BEST:: SOT 194693 SOS 100898 HAS SOPS 100898 HAS SOUS 82702 HAS SOUPS 82702 WITH SCORE 82802.898
AT ITER 1717 NEW BEST:: SOT 194584 SOS 100434 HAS SOPS 100434 HAS SOUS 82620 HAS SOUPS 82620 WITH SCORE 82720.434
AT ITER 1718 NEW BEST:: SOT 194621 SOS 100277 HAS SOPS 100277 HAS SOUS 82505 HAS SOUPS 82505 WITH SCORE 82605.277
AT ITER 1723 NEW BEST:: SOT 194619 SOS 100263 HAS SOPS 100263 HAS SOUS 82486 HAS SOUPS 82486 WITH SCORE 82586.263
AT ITER 1752 NEW BEST:: SOT 194616 SOS 100257 HAS SOPS 100257 HAS SOUS 82486 HAS SOUPS 82486 WITH SCORE 82586.257
AT ITER 1756 NEW BEST:: SOT 194614 SOS 100253 HAS SOPS 100253 HAS SOUS 82482 HAS SOUPS 82482 WITH SCORE 82582.253
AT ITER 1763 NEW BEST:: SOT 194614 SOS 100190 HAS SOPS 100190 HAS SOUS 82468 HAS SOUPS 82468 WITH SCORE 82568.19
AT ITER 1764 NEW BEST:: SOT 194599 SOS 100100 HAS SOPS 100100 HAS SOUS 82392 HAS SOUPS 82392 WITH SCORE 82492.1
AT ITER 1774 NEW BEST:: SOT 194545 SOS 100026 HAS SOPS 100026 HAS SOUS 82318 HAS SOUPS 82318 WITH SCORE 82418.026
AT ITER 1793 NEW BEST:: SOT 194531 SOS 99777 HAS SOPS 99777 HAS SOUS 82208 HAS SOUPS 82208 WITH SCORE 82307.777
AT ITER 1801 NEW BEST:: SOT 194531 SOS 99761 HAS SOPS 99761 HAS SOUS 82195 HAS SOUPS 82195 WITH SCORE 82294.761
AT ITER 1808 NEW BEST:: SOT 194528 SOS 99758 HAS SOPS 99758 HAS SOUS 82192 HAS SOUPS 82192 WITH SCORE 82291.758
AT ITER 1825 NEW BEST:: SOT 194464 SOS 99535 HAS SOPS 99535 HAS SOUS 81692 HAS SOUPS 81692 WITH SCORE 81791.535
AT ITER 1842 NEW BEST:: SOT 194602 SOS 99360 HAS SOPS 99360 HAS SOUS 81613 HAS SOUPS 81613 WITH SCORE 81712.36
AT ITER 1851 NEW BEST:: SOT 194602 SOS 99355 HAS SOPS 99355 HAS SOUS 81608 HAS SOUPS 81608 WITH SCORE 81707.355
AT ITER 1864 NEW BEST:: SOT 194531 SOS 99284 HAS SOPS 99284 HAS SOUS 81537 HAS SOUPS 81537 WITH SCORE 81636.284
AT ITER 1872 NEW BEST:: SOT 194531 SOS 99264 HAS SOPS 99264 HAS SOUS 81507 HAS SOUPS 81507 WITH SCORE 81606.264
AT ITER 1879 NEW BEST:: SOT 194372 SOS 99067 HAS SOPS 99067 HAS SOUS 81310 HAS SOUPS 81310 WITH SCORE 81409.067
AT ITER 1885 NEW BEST:: SOT 194372 SOS 99067 HAS SOPS 99067 HAS SOUS 81249 HAS SOUPS 81249 WITH SCORE 81348.067
AT ITER 1887 NEW BEST:: SOT 194302 SOS 98933 HAS SOPS 98933 HAS SOUS 81195 HAS SOUPS 81195 WITH SCORE 81293.933
AT ITER 1888 NEW BEST:: SOT 194471 SOS 98660 HAS SOPS 98660 HAS SOUS 81026 HAS SOUPS 81026 WITH SCORE 81124.66
AT ITER 1893 NEW BEST:: SOT 194471 SOS 98607 HAS SOPS 98607 HAS SOUS 80966 HAS SOUPS 80966 WITH SCORE 81064.607
AT ITER 1895 NEW BEST:: SOT 194271 SOS 98213 HAS SOPS 98213 HAS SOUS 80669 HAS SOUPS 80669 WITH SCORE 80767.213
AT ITER 1923 NEW BEST:: SOT 194086 SOS 98026 HAS SOPS 98026 HAS SOUS 80482 HAS SOUPS 80482 WITH SCORE 80580.026
AT ITER 1934 NEW BEST:: SOT 194086 SOS 97588 HAS SOPS 97588 HAS SOUS 80482 HAS SOUPS 80482 WITH SCORE 80579.588
AT ITER 1947 NEW BEST:: SOT 194072 SOS 97564 HAS SOPS 97564 HAS SOUS 80445 HAS SOUPS 80445 WITH SCORE 80542.564
AT ITER 1948 NEW BEST:: SOT 194039 SOS 96959 HAS SOPS 96959 HAS SOUS 80338 HAS SOUPS 80338 WITH SCORE 80434.959
AT ITER 1961 NEW BEST:: SOT 193475 SOS 96393 HAS SOPS 96393 HAS SOUS 79772 HAS SOUPS 79772 WITH SCORE 79868.393
AT ITER 1985 NEW BEST:: SOT 193478 SOS 96376 HAS SOPS 96376 HAS SOUS 79764 HAS SOUPS 79764 WITH SCORE 79860.376
AT ITER 1988 NEW BEST:: SOT 193478 SOS 96376 HAS SOPS 96376 HAS SOUS 79763 HAS SOUPS 79763 WITH SCORE 79859.376
AT ITER 2000 NEW BEST:: SOT 193476 SOS 96365 HAS SOPS 96365 HAS SOUS 79752 HAS SOUPS 79752 WITH SCORE 79848.365
AT ITER 2002 NEW BEST:: SOT 193476 SOS 96345 HAS SOPS 96345 HAS SOUS 79732 HAS SOUPS 79732 WITH SCORE 79828.345
AT ITER 2007 NEW BEST:: SOT 193440 SOS 96320 HAS SOPS 96320 HAS SOUS 79707 HAS SOUPS 79707 WITH SCORE 79803.32
AT ITER 2013 NEW BEST:: SOT 193350 SOS 96230 HAS SOPS 96230 HAS SOUS 79617 HAS SOUPS 79617 WITH SCORE 79713.23
AT ITER 2022 NEW BEST:: SOT 193331 SOS 96010 HAS SOPS 96010 HAS SOUS 79548 HAS SOUPS 79548 WITH SCORE 79644.01
AT ITER 2025 NEW BEST:: SOT 193262 SOS 95807 HAS SOPS 95807 HAS SOUS 79344 HAS SOUPS 79344 WITH SCORE 79439.807
AT ITER 2027 NEW BEST:: SOT 193248 SOS 95793 HAS SOPS 95793 HAS SOUS 79330 HAS SOUPS 79330 WITH SCORE 79425.793
AT ITER 2041 NEW BEST:: SOT 193366 SOS 95696 HAS SOPS 95696 HAS SOUS 79291 HAS SOUPS 79291 WITH SCORE 79386.696
AT ITER 2044 NEW BEST:: SOT 193356 SOS 95686 HAS SOPS 95686 HAS SOUS 79291 HAS SOUPS 79291 WITH SCORE 79386.686
AT ITER 2051 NEW BEST:: SOT 193338 SOS 95668 HAS SOPS 95668 HAS SOUS 79273 HAS SOUPS 79273 WITH SCORE 79368.668
AT ITER 2068 NEW BEST:: SOT 193294 SOS 95594 HAS SOPS 95594 HAS SOUS 79121 HAS SOUPS 79121 WITH SCORE 79216.594
AT ITER 2076 NEW BEST:: SOT 193292 SOS 95341 HAS SOPS 95341 HAS SOUS 79114 HAS SOUPS 79114 WITH SCORE 79209.341
AT ITER 2102 NEW BEST:: SOT 193292 SOS 95242 HAS SOPS 95242 HAS SOUS 79069 HAS SOUPS 79069 WITH SCORE 79164.242
AT ITER 2108 NEW BEST:: SOT 193292 SOS 95386 HAS SOPS 95386 HAS SOUS 79057 HAS SOUPS 79057 WITH SCORE 79152.386
AT ITER 2112 NEW BEST:: SOT 193292 SOS 95370 HAS SOPS 95370 HAS SOUS 79056 HAS SOUPS 79056 WITH SCORE 79151.37
AT ITER 2113 NEW BEST:: SOT 193286 SOS 95352 HAS SOPS 95352 HAS SOUS 79032 HAS SOUPS 79032 WITH SCORE 79127.352
AT ITER 2115 NEW BEST:: SOT 193230 SOS 95295 HAS SOPS 95295 HAS SOUS 78975 HAS SOUPS 78975 WITH SCORE 79070.295
AT ITER 2123 NEW BEST:: SOT 193193 SOS 95199 HAS SOPS 95199 HAS SOUS 78879 HAS SOUPS 78879 WITH SCORE 78974.199
AT ITER 2126 NEW BEST:: SOT 193241 SOS 94842 HAS SOPS 94842 HAS SOUS 78615 HAS SOUPS 78615 WITH SCORE 78709.842
AT ITER 2127 NEW BEST:: SOT 192901 SOS 94502 HAS SOPS 94502 HAS SOUS 78275 HAS SOUPS 78275 WITH SCORE 78369.502
AT ITER 2138 NEW BEST:: SOT 192832 SOS 94433 HAS SOPS 94433 HAS SOUS 78206 HAS SOUPS 78206 WITH SCORE 78300.433
AT ITER 2146 NEW BEST:: SOT 192774 SOS 94403 HAS SOPS 94403 HAS SOUS 78077 HAS SOUPS 78077 WITH SCORE 78171.403
AT ITER 2164 NEW BEST:: SOT 192696 SOS 93781 HAS SOPS 93781 HAS SOUS 77937 HAS SOUPS 77937 WITH SCORE 78030.781
AT ITER 2166 NEW BEST:: SOT 192688 SOS 93741 HAS SOPS 93741 HAS SOUS 77936 HAS SOUPS 77936 WITH SCORE 78029.741
AT ITER 2202 NEW BEST:: SOT 192691 SOS 93740 HAS SOPS 93740 HAS SOUS 77924 HAS SOUPS 77924 WITH SCORE 78017.74
AT ITER 2233 NEW BEST:: SOT 192684 SOS 93710 HAS SOPS 93710 HAS SOUS 77894 HAS SOUPS 77894 WITH SCORE 77987.71
AT ITER 2245 NEW BEST:: SOT 192682 SOS 93708 HAS SOPS 93708 HAS SOUS 77892 HAS SOUPS 77892 WITH SCORE 77985.708
AT ITER 2246 NEW BEST:: SOT 192600 SOS 93598 HAS SOPS 93598 HAS SOUS 77769 HAS SOUPS 77769 WITH SCORE 77862.598
AT ITER 2259 NEW BEST:: SOT 192654 SOS 93598 HAS SOPS 93598 HAS SOUS 77757 HAS SOUPS 77757 WITH SCORE 77850.598
AT ITER 2264 NEW BEST:: SOT 192644 SOS 93578 HAS SOPS 93578 HAS SOUS 77737 HAS SOUPS 77737 WITH SCORE 77830.578
AT ITER 2269 NEW BEST:: SOT 192643 SOS 93550 HAS SOPS 93550 HAS SOUS 77726 HAS SOUPS 77726 WITH SCORE 77819.55
AT ITER 2275 NEW BEST:: SOT 192643 SOS 93548 HAS SOPS 93548 HAS SOUS 77724 HAS SOUPS 77724 WITH SCORE 77817.548
AT ITER 2277 NEW BEST:: SOT 192639 SOS 93513 HAS SOPS 93513 HAS SOUS 77689 HAS SOUPS 77689 WITH SCORE 77782.513
AT ITER 2279 NEW BEST:: SOT 192639 SOS 93472 HAS SOPS 93472 HAS SOUS 77673 HAS SOUPS 77673 WITH SCORE 77766.472
AT ITER 2280 NEW BEST:: SOT 192536 SOS 93047 HAS SOPS 93047 HAS SOUS 77400 HAS SOUPS 77400 WITH SCORE 77493.047
AT ITER 2283 NEW BEST:: SOT 192612 SOS 93021 HAS SOPS 93021 HAS SOUS 77373 HAS SOUPS 77373 WITH SCORE 77466.021
AT ITER 2296 NEW BEST:: SOT 192612 SOS 93021 HAS SOPS 93021 HAS SOUS 77329 HAS SOUPS 77329 WITH SCORE 77422.021
AT ITER 2297 NEW BEST:: SOT 192599 SOS 93008 HAS SOPS 93008 HAS SOUS 77316 HAS SOUPS 77316 WITH SCORE 77409.008
AT ITER 2308 NEW BEST:: SOT 192598 SOS 92999 HAS SOPS 92999 HAS SOUS 77307 HAS SOUPS 77307 WITH SCORE 77399.999
AT ITER 2319 NEW BEST:: SOT 192531 SOS 92686 HAS SOPS 92686 HAS SOUS 77178 HAS SOUPS 77178 WITH SCORE 77270.686
AT ITER 2328 NEW BEST:: SOT 192523 SOS 92678 HAS SOPS 92678 HAS SOUS 77170 HAS SOUPS 77170 WITH SCORE 77262.678
AT ITER 2333 NEW BEST:: SOT 192466 SOS 92513 HAS SOPS 92513 HAS SOUS 77015 HAS SOUPS 77015 WITH SCORE 77107.513
AT ITER 2335 NEW BEST:: SOT 192464 SOS 92399 HAS SOPS 92399 HAS SOUS 76985 HAS SOUPS 76985 WITH SCORE 77077.399
AT ITER 2375 NEW BEST:: SOT 192534 SOS 92483 HAS SOPS 92483 HAS SOUS 76884 HAS SOUPS 76884 WITH SCORE 76976.483
AT ITER 2377 NEW BEST:: SOT 192415 SOS 92361 HAS SOPS 92361 HAS SOUS 76762 HAS SOUPS 76762 WITH SCORE 76854.361
AT ITER 2382 NEW BEST:: SOT 192293 SOS 92084 HAS SOPS 92084 HAS SOUS 76485 HAS SOUPS 76485 WITH SCORE 76577.084
AT ITER 2383 NEW BEST:: SOT 192268 SOS 92071 HAS SOPS 92071 HAS SOUS 76472 HAS SOUPS 76472 WITH SCORE 76564.071
AT ITER 2389 NEW BEST:: SOT 192011 SOS 91796 HAS SOPS 91796 HAS SOUS 76197 HAS SOUPS 76197 WITH SCORE 76288.796
AT ITER 2395 NEW BEST:: SOT 191985 SOS 91758 HAS SOPS 91758 HAS SOUS 76159 HAS SOUPS 76159 WITH SCORE 76250.758
AT ITER 2403 NEW BEST:: SOT 191984 SOS 91750 HAS SOPS 91750 HAS SOUS 76151 HAS SOUPS 76151 WITH SCORE 76242.75
AT ITER 2407 NEW BEST:: SOT 191988 SOS 91750 HAS SOPS 91750 HAS SOUS 76146 HAS SOUPS 76146 WITH SCORE 76237.75
AT ITER 2408 NEW BEST:: SOT 191986 SOS 91748 HAS SOPS 91748 HAS SOUS 76144 HAS SOUPS 76144 WITH SCORE 76235.748
AT ITER 2415 NEW BEST:: SOT 191883 SOS 91645 HAS SOPS 91645 HAS SOUS 76041 HAS SOUPS 76041 WITH SCORE 76132.645
AT ITER 2422 NEW BEST:: SOT 191830 SOS 91592 HAS SOPS 91592 HAS SOUS 75988 HAS SOUPS 75988 WITH SCORE 76079.592
AT ITER 2451 NEW BEST:: SOT 191826 SOS 91465 HAS SOPS 91465 HAS SOUS 75905 HAS SOUPS 75905 WITH SCORE 75996.465
AT ITER 2471 NEW BEST:: SOT 191371 SOS 90904 HAS SOPS 90904 HAS SOUS 75115 HAS SOUPS 75115 WITH SCORE 75205.904
AT ITER 2485 NEW BEST:: SOT 191388 SOS 90889 HAS SOPS 90889 HAS SOUS 75074 HAS SOUPS 75074 WITH SCORE 75164.889
AT ITER 2487 NEW BEST:: SOT 191448 SOS 90877 HAS SOPS 90877 HAS SOUS 75062 HAS SOUPS 75062 WITH SCORE 75152.877
AT ITER 2488 NEW BEST:: SOT 191436 SOS 90865 HAS SOPS 90865 HAS SOUS 75050 HAS SOUPS 75050 WITH SCORE 75140.865
AT ITER 2508 NEW BEST:: SOT 191527 SOS 90944 HAS SOPS 90944 HAS SOUS 75042 HAS SOUPS 75042 WITH SCORE 75132.944
AT ITER 2531 NEW BEST:: SOT 191355 SOS 90415 HAS SOPS 90415 HAS SOUS 74828 HAS SOUPS 74828 WITH SCORE 74918.415
AT ITER 2553 NEW BEST:: SOT 191033 SOS 90093 HAS SOPS 90093 HAS SOUS 74463 HAS SOUPS 74463 WITH SCORE 74553.093
AT ITER 2556 NEW BEST:: SOT 191011 SOS 90072 HAS SOPS 90072 HAS SOUS 74442 HAS SOUPS 74442 WITH SCORE 74532.072
AT ITER 2559 NEW BEST:: SOT 191140 SOS 90007 HAS SOPS 90007 HAS SOUS 74421 HAS SOUPS 74421 WITH SCORE 74511.007
AT ITER 2570 NEW BEST:: SOT 191066 SOS 89933 HAS SOPS 89933 HAS SOUS 74347 HAS SOUPS 74347 WITH SCORE 74436.933
AT ITER 2597 NEW BEST:: SOT 191060 SOS 89447 HAS SOPS 89447 HAS SOUS 74191 HAS SOUPS 74191 WITH SCORE 74280.447
AT ITER 2599 NEW BEST:: SOT 191054 SOS 89416 HAS SOPS 89416 HAS SOUS 74177 HAS SOUPS 74177 WITH SCORE 74266.416
AT ITER 2610 NEW BEST:: SOT 191014 SOS 89376 HAS SOPS 89376 HAS SOUS 74131 HAS SOUPS 74131 WITH SCORE 74220.376
AT ITER 2628 NEW BEST:: SOT 190801 SOS 89274 HAS SOPS 89274 HAS SOUS 74029 HAS SOUPS 74029 WITH SCORE 74118.274
AT ITER 2638 NEW BEST:: SOT 190801 SOS 89270 HAS SOPS 89270 HAS SOUS 74025 HAS SOUPS 74025 WITH SCORE 74114.27
AT ITER 2640 NEW BEST:: SOT 190749 SOS 89062 HAS SOPS 89062 HAS SOUS 73869 HAS SOUPS 73869 WITH SCORE 73958.062
AT ITER 2642 NEW BEST:: SOT 190775 SOS 89026 HAS SOPS 89026 HAS SOUS 73822 HAS SOUPS 73822 WITH SCORE 73911.026
AT ITER 2646 NEW BEST:: SOT 190847 SOS 89016 HAS SOPS 89016 HAS SOUS 73740 HAS SOUPS 73740 WITH SCORE 73829.016
AT ITER 2652 NEW BEST:: SOT 190869 SOS 89011 HAS SOPS 89011 HAS SOUS 73732 HAS SOUPS 73732 WITH SCORE 73821.011
AT ITER 2658 NEW BEST:: SOT 190788 SOS 88930 HAS SOPS 88930 HAS SOUS 73651 HAS SOUPS 73651 WITH SCORE 73739.93
AT ITER 2662 NEW BEST:: SOT 190768 SOS 88910 HAS SOPS 88910 HAS SOUS 73631 HAS SOUPS 73631 WITH SCORE 73719.91
AT ITER 2667 NEW BEST:: SOT 190742 SOS 88858 HAS SOPS 88858 HAS SOUS 73605 HAS SOUPS 73605 WITH SCORE 73693.858
AT ITER 2670 NEW BEST:: SOT 190730 SOS 88846 HAS SOPS 88846 HAS SOUS 73593 HAS SOUPS 73593 WITH SCORE 73681.846
AT ITER 2671 NEW BEST:: SOT 190792 SOS 88656 HAS SOPS 88656 HAS SOUS 73499 HAS SOUPS 73499 WITH SCORE 73587.656
AT ITER 2674 NEW BEST:: SOT 190792 SOS 88648 HAS SOPS 88648 HAS SOUS 73499 HAS SOUPS 73499 WITH SCORE 73587.648
AT ITER 2687 NEW BEST:: SOT 190763 SOS 88619 HAS SOPS 88619 HAS SOUS 73470 HAS SOUPS 73470 WITH SCORE 73558.619
AT ITER 2695 NEW BEST:: SOT 191022 SOS 88765 HAS SOPS 88765 HAS SOUS 73416 HAS SOUPS 73416 WITH SCORE 73504.765
AT ITER 2702 NEW BEST:: SOT 191022 SOS 88831 HAS SOPS 88831 HAS SOUS 73413 HAS SOUPS 73413 WITH SCORE 73501.831
AT ITER 2719 NEW BEST:: SOT 190993 SOS 88802 HAS SOPS 88802 HAS SOUS 73384 HAS SOUPS 73384 WITH SCORE 73472.802
AT ITER 2736 NEW BEST:: SOT 190996 SOS 88701 HAS SOPS 88701 HAS SOUS 73382 HAS SOUPS 73382 WITH SCORE 73470.701
AT ITER 2744 NEW BEST:: SOT 190990 SOS 88695 HAS SOPS 88695 HAS SOUS 73382 HAS SOUPS 73382 WITH SCORE 73470.695
AT ITER 2747 NEW BEST:: SOT 190990 SOS 88359 HAS SOPS 88359 HAS SOUS 73310 HAS SOUPS 73310 WITH SCORE 73398.359
AT ITER 2748 NEW BEST:: SOT 190858 SOS 88344 HAS SOPS 88344 HAS SOUS 73194 HAS SOUPS 73194 WITH SCORE 73282.344
AT ITER 2752 NEW BEST:: SOT 190859 SOS 88382 HAS SOPS 88382 HAS SOUS 73188 HAS SOUPS 73188 WITH SCORE 73276.382
AT ITER 2757 NEW BEST:: SOT 190895 SOS 88160 HAS SOPS 88160 HAS SOUS 73055 HAS SOUPS 73055 WITH SCORE 73143.16
AT ITER 2768 NEW BEST:: SOT 190895 SOS 88044 HAS SOPS 88044 HAS SOUS 72753 HAS SOUPS 72753 WITH SCORE 72841.044
AT ITER 2829 NEW BEST:: SOT 190877 SOS 87990 HAS SOPS 87990 HAS SOUS 72735 HAS SOUPS 72735 WITH SCORE 72822.99
AT ITER 2836 NEW BEST:: SOT 190853 SOS 87966 HAS SOPS 87966 HAS SOUS 72619 HAS SOUPS 72619 WITH SCORE 72706.966
AT ITER 2839 NEW BEST:: SOT 190835 SOS 87948 HAS SOPS 87948 HAS SOUS 72601 HAS SOUPS 72601 WITH SCORE 72688.948
AT ITER 2843 NEW BEST:: SOT 190803 SOS 87884 HAS SOPS 87884 HAS SOUS 72537 HAS SOUPS 72537 WITH SCORE 72624.884
AT ITER 2861 NEW BEST:: SOT 190799 SOS 87880 HAS SOPS 87880 HAS SOUS 72533 HAS SOUPS 72533 WITH SCORE 72620.88
AT ITER 2874 NEW BEST:: SOT 190797 SOS 87811 HAS SOPS 87811 HAS SOUS 72517 HAS SOUPS 72517 WITH SCORE 72604.811
AT ITER 2901 NEW BEST:: SOT 190779 SOS 87779 HAS SOPS 87779 HAS SOUS 72485 HAS SOUPS 72485 WITH SCORE 72572.779
AT ITER 2903 NEW BEST:: SOT 190831 SOS 87921 HAS SOPS 87921 HAS SOUS 72461 HAS SOUPS 72461 WITH SCORE 72548.921
AT ITER 2906 NEW BEST:: SOT 190817 SOS 87907 HAS SOPS 87907 HAS SOUS 72447 HAS SOUPS 72447 WITH SCORE 72534.907
AT ITER 2911 NEW BEST:: SOT 190730 SOS 87820 HAS SOPS 87820 HAS SOUS 72360 HAS SOUPS 72360 WITH SCORE 72447.82
AT ITER 2914 NEW BEST:: SOT 190730 SOS 87590 HAS SOPS 87590 HAS SOUS 72301 HAS SOUPS 72301 WITH SCORE 72388.59
AT ITER 2916 NEW BEST:: SOT 190682 SOS 87521 HAS SOPS 87521 HAS SOUS 72217 HAS SOUPS 72217 WITH SCORE 72304.521
AT ITER 2920 NEW BEST:: SOT 190587 SOS 87445 HAS SOPS 87445 HAS SOUS 72141 HAS SOUPS 72141 WITH SCORE 72228.445
AT ITER 2925 NEW BEST:: SOT 190476 SOS 87119 HAS SOPS 87119 HAS SOUS 71939 HAS SOUPS 71939 WITH SCORE 72026.119
AT ITER 2927 NEW BEST:: SOT 190434 SOS 87063 HAS SOPS 87063 HAS SOUS 71882 HAS SOUPS 71882 WITH SCORE 71969.063
AT ITER 2939 NEW BEST:: SOT 190521 SOS 87047 HAS SOPS 87047 HAS SOUS 71866 HAS SOUPS 71866 WITH SCORE 71953.047
AT ITER 2958 NEW BEST:: SOT 190475 SOS 87001 HAS SOPS 87001 HAS SOUS 71820 HAS SOUPS 71820 WITH SCORE 71907.001
AT ITER 2971 NEW BEST:: SOT 190475 SOS 86890 HAS SOPS 86890 HAS SOUS 71806 HAS SOUPS 71806 WITH SCORE 71892.89
AT ITER 2994 NEW BEST:: SOT 190511 SOS 86812 HAS SOPS 86812 HAS SOUS 71702 HAS SOUPS 71702 WITH SCORE 71788.812
AT ITER 2997 NEW BEST:: SOT 190363 SOS 86594 HAS SOPS 86594 HAS SOUS 71484 HAS SOUPS 71484 WITH SCORE 71570.594
AT ITER 2998 NEW BEST:: SOT 190349 SOS 86552 HAS SOPS 86552 HAS SOUS 71456 HAS SOUPS 71456 WITH SCORE 71542.552
AT ITER 3020 NEW BEST:: SOT 190307 SOS 86489 HAS SOPS 86489 HAS SOUS 71393 HAS SOUPS 71393 WITH SCORE 71479.489
AT ITER 3041 NEW BEST:: SOT 190223 SOS 86188 HAS SOPS 86188 HAS SOUS 71284 HAS SOUPS 71284 WITH SCORE 71370.188
AT ITER 3044 NEW BEST:: SOT 190219 SOS 86182 HAS SOPS 86182 HAS SOUS 71278 HAS SOUPS 71278 WITH SCORE 71364.182
AT ITER 3045 NEW BEST:: SOT 190149 SOS 86042 HAS SOPS 86042 HAS SOUS 71138 HAS SOUPS 71138 WITH SCORE 71224.042
AT ITER 3047 NEW BEST:: SOT 190076 SOS 85097 HAS SOPS 85097 HAS SOUS 70856 HAS SOUPS 70856 WITH SCORE 70941.097
AT ITER 3058 NEW BEST:: SOT 189973 SOS 84963 HAS SOPS 84963 HAS SOUS 70722 HAS SOUPS 70722 WITH SCORE 70806.963
AT ITER 3064 NEW BEST:: SOT 190004 SOS 84881 HAS SOPS 84881 HAS SOUS 70662 HAS SOUPS 70662 WITH SCORE 70746.881
AT ITER 3093 NEW BEST:: SOT 190004 SOS 84767 HAS SOPS 84767 HAS SOUS 70625 HAS SOUPS 70625 WITH SCORE 70709.767
AT ITER 3104 NEW BEST:: SOT 190076 SOS 84806 HAS SOPS 84806 HAS SOUS 70592 HAS SOUPS 70592 WITH SCORE 70676.806
AT ITER 3110 NEW BEST:: SOT 189825 SOS 84288 HAS SOPS 84288 HAS SOUS 70025 HAS SOUPS 70025 WITH SCORE 70109.288
AT ITER 3123 NEW BEST:: SOT 189825 SOS 84289 HAS SOPS 84289 HAS SOUS 70023 HAS SOUPS 70023 WITH SCORE 70107.289
AT ITER 3125 NEW BEST:: SOT 189800 SOS 84264 HAS SOPS 84264 HAS SOUS 69998 HAS SOUPS 69998 WITH SCORE 70082.264
AT ITER 3132 NEW BEST:: SOT 189730 SOS 84124 HAS SOPS 84124 HAS SOUS 69998 HAS SOUPS 69998 WITH SCORE 70082.124
AT ITER 3142 NEW BEST:: SOT 189666 SOS 83740 HAS SOPS 83740 HAS SOUS 69986 HAS SOUPS 69986 WITH SCORE 70069.74
AT ITER 3150 NEW BEST:: SOT 189552 SOS 83626 HAS SOPS 83626 HAS SOUS 69872 HAS SOUPS 69872 WITH SCORE 69955.626
AT ITER 3151 NEW BEST:: SOT 189503 SOS 83528 HAS SOPS 83528 HAS SOUS 69774 HAS SOUPS 69774 WITH SCORE 69857.528
AT ITER 3153 NEW BEST:: SOT 189462 SOS 83510 HAS SOPS 83510 HAS SOUS 69756 HAS SOUPS 69756 WITH SCORE 69839.51
AT ITER 3167 NEW BEST:: SOT 189303 SOS 83086 HAS SOPS 83086 HAS SOUS 69491 HAS SOUPS 69491 WITH SCORE 69574.086
AT ITER 3168 NEW BEST:: SOT 189285 SOS 82988 HAS SOPS 82988 HAS SOUS 69441 HAS SOUPS 69441 WITH SCORE 69523.988
AT ITER 3184 NEW BEST:: SOT 189246 SOS 82904 HAS SOPS 82904 HAS SOUS 69391 HAS SOUPS 69391 WITH SCORE 69473.904
AT ITER 3203 NEW BEST:: SOT 189246 SOS 82904 HAS SOPS 82904 HAS SOUS 69387 HAS SOUPS 69387 WITH SCORE 69469.904
AT ITER 3210 NEW BEST:: SOT 189224 SOS 82509 HAS SOPS 82509 HAS SOUS 69361 HAS SOUPS 69361 WITH SCORE 69443.509
AT ITER 3221 NEW BEST:: SOT 189224 SOS 82501 HAS SOPS 82501 HAS SOUS 69353 HAS SOUPS 69353 WITH SCORE 69435.501
AT ITER 3223 NEW BEST:: SOT 189207 SOS 82455 HAS SOPS 82455 HAS SOUS 69235 HAS SOUPS 69235 WITH SCORE 69317.455
AT ITER 3227 NEW BEST:: SOT 189185 SOS 82213 HAS SOPS 82213 HAS SOUS 69235 HAS SOUPS 69235 WITH SCORE 69317.213
AT ITER 3231 NEW BEST:: SOT 189130 SOS 82369 HAS SOPS 82369 HAS SOUS 69218 HAS SOUPS 69218 WITH SCORE 69300.369
AT ITER 3236 NEW BEST:: SOT 189117 SOS 82356 HAS SOPS 82356 HAS SOUS 69205 HAS SOUPS 69205 WITH SCORE 69287.356
AT ITER 3238 NEW BEST:: SOT 189117 SOS 81768 HAS SOPS 81768 HAS SOUS 69205 HAS SOUPS 69205 WITH SCORE 69286.768
AT ITER 3257 NEW BEST:: SOT 189117 SOS 81801 HAS SOPS 81801 HAS SOUS 69204 HAS SOUPS 69204 WITH SCORE 69285.801
AT ITER 3270 NEW BEST:: SOT 189066 SOS 81750 HAS SOPS 81750 HAS SOUS 69135 HAS SOUPS 69135 WITH SCORE 69216.75
AT ITER 3278 NEW BEST:: SOT 189066 SOS 81854 HAS SOPS 81854 HAS SOUS 69112 HAS SOUPS 69112 WITH SCORE 69193.854
AT ITER 3318 NEW BEST:: SOT 189045 SOS 81819 HAS SOPS 81819 HAS SOUS 69077 HAS SOUPS 69077 WITH SCORE 69158.819
AT ITER 3319 NEW BEST:: SOT 189026 SOS 81802 HAS SOPS 81802 HAS SOUS 69077 HAS SOUPS 69077 WITH SCORE 69158.802
AT ITER 3352 NEW BEST:: SOT 189026 SOS 81716 HAS SOPS 81716 HAS SOUS 69073 HAS SOUPS 69073 WITH SCORE 69154.716
AT ITER 3353 NEW BEST:: SOT 188939 SOS 81622 HAS SOPS 81622 HAS SOUS 68979 HAS SOUPS 68979 WITH SCORE 69060.622
AT ITER 3354 NEW BEST:: SOT 188922 SOS 81605 HAS SOPS 81605 HAS SOUS 68962 HAS SOUPS 68962 WITH SCORE 69043.605
AT ITER 3360 NEW BEST:: SOT 188956 SOS 81472 HAS SOPS 81472 HAS SOUS 68820 HAS SOUPS 68820 WITH SCORE 68901.472
AT ITER 3362 NEW BEST:: SOT 188963 SOS 81389 HAS SOPS 81389 HAS SOUS 68737 HAS SOUPS 68737 WITH SCORE 68818.389
AT ITER 3379 NEW BEST:: SOT 188932 SOS 81345 HAS SOPS 81345 HAS SOUS 68693 HAS SOUPS 68693 WITH SCORE 68774.345
AT ITER 3397 NEW BEST:: SOT 188817 SOS 81237 HAS SOPS 81237 HAS SOUS 68582 HAS SOUPS 68582 WITH SCORE 68663.237
AT ITER 3400 NEW BEST:: SOT 188918 SOS 81131 HAS SOPS 81131 HAS SOUS 68480 HAS SOUPS 68480 WITH SCORE 68561.131
AT ITER 3407 NEW BEST:: SOT 188686 SOS 80923 HAS SOPS 80923 HAS SOUS 68240 HAS SOUPS 68240 WITH SCORE 68320.923
AT ITER 3417 NEW BEST:: SOT 188560 SOS 80804 HAS SOPS 80804 HAS SOUS 68156 HAS SOUPS 68156 WITH SCORE 68236.804
AT ITER 3418 NEW BEST:: SOT 188493 SOS 80327 HAS SOPS 80327 HAS SOUS 67919 HAS SOUPS 67919 WITH SCORE 67999.327
AT ITER 3423 NEW BEST:: SOT 188434 SOS 80304 HAS SOPS 80304 HAS SOUS 67781 HAS SOUPS 67781 WITH SCORE 67861.304
AT ITER 3444 NEW BEST:: SOT 188466 SOS 80266 HAS SOPS 80266 HAS SOUS 67692 HAS SOUPS 67692 WITH SCORE 67772.266
AT ITER 3455 NEW BEST:: SOT 188536 SOS 80200 HAS SOPS 80200 HAS SOUS 67626 HAS SOUPS 67626 WITH SCORE 67706.2
AT ITER 3465 NEW BEST:: SOT 188530 SOS 80194 HAS SOPS 80194 HAS SOUS 67620 HAS SOUPS 67620 WITH SCORE 67700.194
AT ITER 3478 NEW BEST:: SOT 188425 SOS 80089 HAS SOPS 80089 HAS SOUS 67515 HAS SOUPS 67515 WITH SCORE 67595.089
AT ITER 3485 NEW BEST:: SOT 188427 SOS 79747 HAS SOPS 79747 HAS SOUS 67419 HAS SOUPS 67419 WITH SCORE 67498.747
AT ITER 3490 NEW BEST:: SOT 188342 SOS 79651 HAS SOPS 79651 HAS SOUS 67342 HAS SOUPS 67342 WITH SCORE 67421.651
AT ITER 3508 NEW BEST:: SOT 188327 SOS 79606 HAS SOPS 79606 HAS SOUS 67342 HAS SOUPS 67342 WITH SCORE 67421.606
AT ITER 3544 NEW BEST:: SOT 188313 SOS 79323 HAS SOPS 79323 HAS SOUS 67222 HAS SOUPS 67222 WITH SCORE 67301.323
AT ITER 3549 NEW BEST:: SOT 188274 SOS 79284 HAS SOPS 79284 HAS SOUS 67183 HAS SOUPS 67183 WITH SCORE 67262.284
AT ITER 3571 NEW BEST:: SOT 188278 SOS 79280 HAS SOPS 79280 HAS SOUS 67183 HAS SOUPS 67183 WITH SCORE 67262.28
AT ITER 3585 NEW BEST:: SOT 188278 SOS 79269 HAS SOPS 79269 HAS SOUS 67169 HAS SOUPS 67169 WITH SCORE 67248.269
AT ITER 3596 NEW BEST:: SOT 188278 SOS 79257 HAS SOPS 79257 HAS SOUS 67169 HAS SOUPS 67169 WITH SCORE 67248.257
AT ITER 3600 NEW BEST:: SOT 188261 SOS 79189 HAS SOPS 79189 HAS SOUS 67102 HAS SOUPS 67102 WITH SCORE 67181.189
AT ITER 3614 NEW BEST:: SOT 188253 SOS 79180 HAS SOPS 79180 HAS SOUS 67096 HAS SOUPS 67096 WITH SCORE 67175.18
AT ITER 3615 NEW BEST:: SOT 188131 SOS 79066 HAS SOPS 79066 HAS SOUS 66949 HAS SOUPS 66949 WITH SCORE 67028.066
AT ITER 3616 NEW BEST:: SOT 188094 SOS 79029 HAS SOPS 79029 HAS SOUS 66912 HAS SOUPS 66912 WITH SCORE 66991.029
AT ITER 3647 NEW BEST:: SOT 188115 SOS 78923 HAS SOPS 78923 HAS SOUS 66882 HAS SOUPS 66882 WITH SCORE 66960.923
AT ITER 3675 NEW BEST:: SOT 188025 SOS 78788 HAS SOPS 78788 HAS SOUS 66699 HAS SOUPS 66699 WITH SCORE 66777.788
AT ITER 3678 NEW BEST:: SOT 187909 SOS 78314 HAS SOPS 78314 HAS SOUS 66523 HAS SOUPS 66523 WITH SCORE 66601.314
AT ITER 3682 NEW BEST:: SOT 187909 SOS 78313 HAS SOPS 78313 HAS SOUS 66521 HAS SOUPS 66521 WITH SCORE 66599.313
AT ITER 3687 NEW BEST:: SOT 187920 SOS 78206 HAS SOPS 78206 HAS SOUS 66510 HAS SOUPS 66510 WITH SCORE 66588.206
AT ITER 3691 NEW BEST:: SOT 187706 SOS 77917 HAS SOPS 77917 HAS SOUS 66221 HAS SOUPS 66221 WITH SCORE 66298.917
AT ITER 3702 NEW BEST:: SOT 187605 SOS 77715 HAS SOPS 77715 HAS SOUS 66019 HAS SOUPS 66019 WITH SCORE 66096.715
AT ITER 3707 NEW BEST:: SOT 187565 SOS 77671 HAS SOPS 77671 HAS SOUS 65975 HAS SOUPS 65975 WITH SCORE 66052.671
AT ITER 3734 NEW BEST:: SOT 187577 SOS 77638 HAS SOPS 77638 HAS SOUS 65942 HAS SOUPS 65942 WITH SCORE 66019.638
AT ITER 3742 NEW BEST:: SOT 187554 SOS 77595 HAS SOPS 77595 HAS SOUS 65899 HAS SOUPS 65899 WITH SCORE 65976.595
AT ITER 3753 NEW BEST:: SOT 187554 SOS 77507 HAS SOPS 77507 HAS SOUS 65877 HAS SOUPS 65877 WITH SCORE 65954.507
AT ITER 3759 NEW BEST:: SOT 187554 SOS 77471 HAS SOPS 77471 HAS SOUS 65859 HAS SOUPS 65859 WITH SCORE 65936.471
AT ITER 3784 NEW BEST:: SOT 187554 SOS 77453 HAS SOPS 77453 HAS SOUS 65848 HAS SOUPS 65848 WITH SCORE 65925.453
AT ITER 3786 NEW BEST:: SOT 187475 SOS 77364 HAS SOPS 77364 HAS SOUS 65759 HAS SOUPS 65759 WITH SCORE 65836.364
AT ITER 3789 NEW BEST:: SOT 187450 SOS 77320 HAS SOPS 77320 HAS SOUS 65715 HAS SOUPS 65715 WITH SCORE 65792.32
AT ITER 3804 NEW BEST:: SOT 187438 SOS 77308 HAS SOPS 77308 HAS SOUS 65703 HAS SOUPS 65703 WITH SCORE 65780.308
AT ITER 3812 NEW BEST:: SOT 187363 SOS 77218 HAS SOPS 77218 HAS SOUS 65612 HAS SOUPS 65612 WITH SCORE 65689.218
AT ITER 3821 NEW BEST:: SOT 187360 SOS 77208 HAS SOPS 77208 HAS SOUS 65608 HAS SOUPS 65608 WITH SCORE 65685.208
AT ITER 3841 NEW BEST:: SOT 187360 SOS 77204 HAS SOPS 77204 HAS SOUS 65608 HAS SOUPS 65608 WITH SCORE 65685.204
AT ITER 3848 NEW BEST:: SOT 187342 SOS 77186 HAS SOPS 77186 HAS SOUS 65590 HAS SOUPS 65590 WITH SCORE 65667.186
AT ITER 3903 NEW BEST:: SOT 187344 SOS 77186 HAS SOPS 77186 HAS SOUS 65588 HAS SOUPS 65588 WITH SCORE 65665.186
AT ITER 3934 NEW BEST:: SOT 187293 SOS 77133 HAS SOPS 77133 HAS SOUS 65536 HAS SOUPS 65536 WITH SCORE 65613.133
AT ITER 3938 NEW BEST:: SOT 187261 SOS 77142 HAS SOPS 77142 HAS SOUS 65502 HAS SOUPS 65502 WITH SCORE 65579.142
AT ITER 3949 NEW BEST:: SOT 186966 SOS 76847 HAS SOPS 76847 HAS SOUS 65221 HAS SOUPS 65221 WITH SCORE 65297.847
AT ITER 3963 NEW BEST:: SOT 186874 SOS 76748 HAS SOPS 76748 HAS SOUS 65122 HAS SOUPS 65122 WITH SCORE 65198.748
AT ITER 3969 NEW BEST:: SOT 186873 SOS 76826 HAS SOPS 76826 HAS SOUS 65121 HAS SOUPS 65121 WITH SCORE 65197.826
AT ITER 3973 NEW BEST:: SOT 186832 SOS 76785 HAS SOPS 76785 HAS SOUS 65080 HAS SOUPS 65080 WITH SCORE 65156.785
AT ITER 3987 NEW BEST:: SOT 186796 SOS 76749 HAS SOPS 76749 HAS SOUS 65049 HAS SOUPS 65049 WITH SCORE 65125.749
AT ITER 4019 NEW BEST:: SOT 186791 SOS 76744 HAS SOPS 76744 HAS SOUS 65044 HAS SOUPS 65044 WITH SCORE 65120.744
AT ITER 4023 NEW BEST:: SOT 186739 SOS 76876 HAS SOPS 76876 HAS SOUS 65029 HAS SOUPS 65029 WITH SCORE 65105.876
AT ITER 4036 NEW BEST:: SOT 186730 SOS 76849 HAS SOPS 76849 HAS SOUS 65002 HAS SOUPS 65002 WITH SCORE 65078.849
AT ITER 4046 NEW BEST:: SOT 186704 SOS 76797 HAS SOPS 76797 HAS SOUS 64950 HAS SOUPS 64950 WITH SCORE 65026.797
AT ITER 4068 NEW BEST:: SOT 186704 SOS 76329 HAS SOPS 76329 HAS SOUS 64900 HAS SOUPS 64900 WITH SCORE 64976.329
AT ITER 4081 NEW BEST:: SOT 186701 SOS 76326 HAS SOPS 76326 HAS SOUS 64894 HAS SOUPS 64894 WITH SCORE 64970.326
AT ITER 4083 NEW BEST:: SOT 186699 SOS 76290 HAS SOPS 76290 HAS SOUS 64858 HAS SOUPS 64858 WITH SCORE 64934.29
AT ITER 4087 NEW BEST:: SOT 186693 SOS 76273 HAS SOPS 76273 HAS SOUS 64858 HAS SOUPS 64858 WITH SCORE 64934.273
AT ITER 4090 NEW BEST:: SOT 186673 SOS 76253 HAS SOPS 76253 HAS SOUS 64838 HAS SOUPS 64838 WITH SCORE 64914.253
AT ITER 4097 NEW BEST:: SOT 186624 SOS 76232 HAS SOPS 76232 HAS SOUS 64795 HAS SOUPS 64795 WITH SCORE 64871.232
AT ITER 4106 NEW BEST:: SOT 186612 SOS 76220 HAS SOPS 76220 HAS SOUS 64779 HAS SOUPS 64779 WITH SCORE 64855.22
AT ITER 4111 NEW BEST:: SOT 186558 SOS 76114 HAS SOPS 76114 HAS SOUS 64673 HAS SOUPS 64673 WITH SCORE 64749.114
AT ITER 4113 NEW BEST:: SOT 186558 SOS 76092 HAS SOPS 76092 HAS SOUS 64651 HAS SOUPS 64651 WITH SCORE 64727.092
AT ITER 4119 NEW BEST:: SOT 186497 SOS 75968 HAS SOPS 75968 HAS SOUS 64527 HAS SOUPS 64527 WITH SCORE 64602.968
AT ITER 4125 NEW BEST:: SOT 186518 SOS 75908 HAS SOPS 75908 HAS SOUS 64467 HAS SOUPS 64467 WITH SCORE 64542.908
AT ITER 4134 NEW BEST:: SOT 186451 SOS 75720 HAS SOPS 75720 HAS SOUS 64279 HAS SOUPS 64279 WITH SCORE 64354.72
AT ITER 4143 NEW BEST:: SOT 186439 SOS 75708 HAS SOPS 75708 HAS SOUS 64267 HAS SOUPS 64267 WITH SCORE 64342.708
AT ITER 4147 NEW BEST:: SOT 186323 SOS 75476 HAS SOPS 75476 HAS SOUS 64093 HAS SOUPS 64093 WITH SCORE 64168.476
AT ITER 4149 NEW BEST:: SOT 186242 SOS 75348 HAS SOPS 75348 HAS SOUS 63987 HAS SOUPS 63987 WITH SCORE 64062.348
AT ITER 4150 NEW BEST:: SOT 186099 SOS 75125 HAS SOPS 75125 HAS SOUS 63759 HAS SOUPS 63759 WITH SCORE 63834.125
AT ITER 4151 NEW BEST:: SOT 186114 SOS 75120 HAS SOPS 75120 HAS SOUS 63709 HAS SOUPS 63709 WITH SCORE 63784.12
AT ITER 4161 NEW BEST:: SOT 186074 SOS 75080 HAS SOPS 75080 HAS SOUS 63669 HAS SOUPS 63669 WITH SCORE 63744.08
AT ITER 4171 NEW BEST:: SOT 186069 SOS 75075 HAS SOPS 75075 HAS SOUS 63664 HAS SOUPS 63664 WITH SCORE 63739.075
AT ITER 4178 NEW BEST:: SOT 186060 SOS 75069 HAS SOPS 75069 HAS SOUS 63654 HAS SOUPS 63654 WITH SCORE 63729.069
AT ITER 4183 NEW BEST:: SOT 186044 SOS 75053 HAS SOPS 75053 HAS SOUS 63638 HAS SOUPS 63638 WITH SCORE 63713.053
AT ITER 4224 NEW BEST:: SOT 186022 SOS 74922 HAS SOPS 74922 HAS SOUS 63546 HAS SOUPS 63546 WITH SCORE 63620.922
AT ITER 4244 NEW BEST:: SOT 185972 SOS 74870 HAS SOPS 74870 HAS SOUS 63495 HAS SOUPS 63495 WITH SCORE 63569.87
AT ITER 4260 NEW BEST:: SOT 185917 SOS 74707 HAS SOPS 74707 HAS SOUS 63375 HAS SOUPS 63375 WITH SCORE 63449.707
AT ITER 4272 NEW BEST:: SOT 185917 SOS 74686 HAS SOPS 74686 HAS SOUS 63366 HAS SOUPS 63366 WITH SCORE 63440.686
AT ITER 4297 NEW BEST:: SOT 185770 SOS 74565 HAS SOPS 74565 HAS SOUS 63245 HAS SOUPS 63245 WITH SCORE 63319.565
AT ITER 4304 NEW BEST:: SOT 185404 SOS 73861 HAS SOPS 73861 HAS SOUS 62695 HAS SOUPS 62695 WITH SCORE 62768.861
AT ITER 4326 NEW BEST:: SOT 185405 SOS 73825 HAS SOPS 73825 HAS SOUS 62677 HAS SOUPS 62677 WITH SCORE 62750.825
AT ITER 4333 NEW BEST:: SOT 185415 SOS 73876 HAS SOPS 73876 HAS SOUS 62637 HAS SOUPS 62637 WITH SCORE 62710.876
AT ITER 4337 NEW BEST:: SOT 185407 SOS 73868 HAS SOPS 73868 HAS SOUS 62629 HAS SOUPS 62629 WITH SCORE 62702.868
AT ITER 4343 NEW BEST:: SOT 185400 SOS 73815 HAS SOPS 73815 HAS SOUS 62557 HAS SOUPS 62557 WITH SCORE 62630.815
AT ITER 4346 NEW BEST:: SOT 185301 SOS 73690 HAS SOPS 73690 HAS SOUS 62367 HAS SOUPS 62367 WITH SCORE 62440.69
AT ITER 4349 NEW BEST:: SOT 185880 SOS 72644 HAS SOPS 72644 HAS SOUS 62196 HAS SOUPS 62196 WITH SCORE 62268.644
AT ITER 4364 NEW BEST:: SOT 185880 SOS 72575 HAS SOPS 72575 HAS SOUS 62160 HAS SOUPS 62160 WITH SCORE 62232.575
AT ITER 4371 NEW BEST:: SOT 185916 SOS 72558 HAS SOPS 72558 HAS SOUS 62160 HAS SOUPS 62160 WITH SCORE 62232.558
AT ITER 4396 NEW BEST:: SOT 185897 SOS 72539 HAS SOPS 72539 HAS SOUS 62134 HAS SOUPS 62134 WITH SCORE 62206.539
AT ITER 4422 NEW BEST:: SOT 185897 SOS 72538 HAS SOPS 72538 HAS SOUS 62131 HAS SOUPS 62131 WITH SCORE 62203.538
AT ITER 4437 NEW BEST:: SOT 185840 SOS 72376 HAS SOPS 72376 HAS SOUS 61998 HAS SOUPS 61998 WITH SCORE 62070.376
AT ITER 4459 NEW BEST:: SOT 185848 SOS 72352 HAS SOPS 72352 HAS SOUS 61974 HAS SOUPS 61974 WITH SCORE 62046.352
AT ITER 4464 NEW BEST:: SOT 185914 SOS 72713 HAS SOPS 72713 HAS SOUS 61915 HAS SOUPS 61915 WITH SCORE 61987.713
AT ITER 4474 NEW BEST:: SOT 185910 SOS 72702 HAS SOPS 72702 HAS SOUS 61855 HAS SOUPS 61855 WITH SCORE 61927.702
AT ITER 4478 NEW BEST:: SOT 185761 SOS 72553 HAS SOPS 72553 HAS SOUS 61706 HAS SOUPS 61706 WITH SCORE 61778.553
AT ITER 4487 NEW BEST:: SOT 185771 SOS 72563 HAS SOPS 72563 HAS SOUS 61704 HAS SOUPS 61704 WITH SCORE 61776.563
AT ITER 4489 NEW BEST:: SOT 185856 SOS 72276 HAS SOPS 72276 HAS SOUS 61645 HAS SOUPS 61645 WITH SCORE 61717.276
AT ITER 4496 NEW BEST:: SOT 185868 SOS 72270 HAS SOPS 72270 HAS SOUS 61645 HAS SOUPS 61645 WITH SCORE 61717.27
AT ITER 4510 NEW BEST:: SOT 185865 SOS 72247 HAS SOPS 72247 HAS SOUS 61622 HAS SOUPS 61622 WITH SCORE 61694.247
AT ITER 4520 NEW BEST:: SOT 185793 SOS 72211 HAS SOPS 72211 HAS SOUS 61586 HAS SOUPS 61586 WITH SCORE 61658.211
AT ITER 4540 NEW BEST:: SOT 185703 SOS 71563 HAS SOPS 71563 HAS SOUS 61157 HAS SOUPS 61157 WITH SCORE 61228.563
AT ITER 4561 NEW BEST:: SOT 185675 SOS 71521 HAS SOPS 71521 HAS SOUS 61112 HAS SOUPS 61112 WITH SCORE 61183.521
AT ITER 4564 NEW BEST:: SOT 185685 SOS 71506 HAS SOPS 71506 HAS SOUS 61097 HAS SOUPS 61097 WITH SCORE 61168.506
AT ITER 4569 NEW BEST:: SOT 185718 SOS 71443 HAS SOPS 71443 HAS SOUS 61082 HAS SOUPS 61082 WITH SCORE 61153.443
AT ITER 4593 NEW BEST:: SOT 185737 SOS 71486 HAS SOPS 71486 HAS SOUS 61055 HAS SOUPS 61055 WITH SCORE 61126.486
AT ITER 4621 NEW BEST:: SOT 185720 SOS 71469 HAS SOPS 71469 HAS SOUS 61038 HAS SOUPS 61038 WITH SCORE 61109.469
AT ITER 4637 NEW BEST:: SOT 185701 SOS 71463 HAS SOPS 71463 HAS SOUS 61000 HAS SOUPS 61000 WITH SCORE 61071.463
AT ITER 4650 NEW BEST:: SOT 185701 SOS 71379 HAS SOPS 71379 HAS SOUS 60966 HAS SOUPS 60966 WITH SCORE 61037.379
AT ITER 4658 NEW BEST:: SOT 185802 SOS 71505 HAS SOPS 71505 HAS SOUS 60956 HAS SOUPS 60956 WITH SCORE 61027.505
AT ITER 4662 NEW BEST:: SOT 185595 SOS 71097 HAS SOPS 71097 HAS SOUS 60620 HAS SOUPS 60620 WITH SCORE 60691.097
AT ITER 4678 NEW BEST:: SOT 185592 SOS 71094 HAS SOPS 71094 HAS SOUS 60617 HAS SOUPS 60617 WITH SCORE 60688.094
AT ITER 4692 NEW BEST:: SOT 185571 SOS 71052 HAS SOPS 71052 HAS SOUS 60596 HAS SOUPS 60596 WITH SCORE 60667.052
AT ITER 4724 NEW BEST:: SOT 185567 SOS 71048 HAS SOPS 71048 HAS SOUS 60592 HAS SOUPS 60592 WITH SCORE 60663.048
AT ITER 4727 NEW BEST:: SOT 185553 SOS 71097 HAS SOPS 71097 HAS SOUS 60480 HAS SOUPS 60480 WITH SCORE 60551.097
AT ITER 4731 NEW BEST:: SOT 185536 SOS 71096 HAS SOPS 71096 HAS SOUS 60479 HAS SOUPS 60479 WITH SCORE 60550.096
AT ITER 4740 NEW BEST:: SOT 185516 SOS 71072 HAS SOPS 71072 HAS SOUS 60455 HAS SOUPS 60455 WITH SCORE 60526.072
AT ITER 4748 NEW BEST:: SOT 185568 SOS 70897 HAS SOPS 70897 HAS SOUS 60427 HAS SOUPS 60427 WITH SCORE 60497.897
AT ITER 4750 NEW BEST:: SOT 185533 SOS 70862 HAS SOPS 70862 HAS SOUS 60392 HAS SOUPS 60392 WITH SCORE 60462.862
AT ITER 4751 NEW BEST:: SOT 185531 SOS 70836 HAS SOPS 70836 HAS SOUS 60378 HAS SOUPS 60378 WITH SCORE 60448.836
AT ITER 4762 NEW BEST:: SOT 185447 SOS 70416 HAS SOPS 70416 HAS SOUS 60378 HAS SOUPS 60378 WITH SCORE 60448.416
AT ITER 4767 NEW BEST:: SOT 185444 SOS 70402 HAS SOPS 70402 HAS SOUS 60356 HAS SOUPS 60356 WITH SCORE 60426.402
AT ITER 4799 NEW BEST:: SOT 185442 SOS 70400 HAS SOPS 70400 HAS SOUS 60354 HAS SOUPS 60354 WITH SCORE 60424.4
AT ITER 4803 NEW BEST:: SOT 185442 SOS 70400 HAS SOPS 70400 HAS SOUS 60351 HAS SOUPS 60351 WITH SCORE 60421.4
AT ITER 4804 NEW BEST:: SOT 185436 SOS 70356 HAS SOPS 70356 HAS SOUS 60258 HAS SOUPS 60258 WITH SCORE 60328.356
AT ITER 4807 NEW BEST:: SOT 185424 SOS 70344 HAS SOPS 70344 HAS SOUS 60246 HAS SOUPS 60246 WITH SCORE 60316.344
AT ITER 4835 NEW BEST:: SOT 185361 SOS 70091 HAS SOPS 70091 HAS SOUS 60132 HAS SOUPS 60132 WITH SCORE 60202.091
AT ITER 4839 NEW BEST:: SOT 185059 SOS 69900 HAS SOPS 69900 HAS SOUS 59911 HAS SOUPS 59911 WITH SCORE 59980.9
AT ITER 4850 NEW BEST:: SOT 185059 SOS 69872 HAS SOPS 69872 HAS SOUS 59883 HAS SOUPS 59883 WITH SCORE 59952.872
AT ITER 4854 NEW BEST:: SOT 185057 SOS 69870 HAS SOPS 69870 HAS SOUS 59881 HAS SOUPS 59881 WITH SCORE 59950.87
AT ITER 4880 NEW BEST:: SOT 185018 SOS 69786 HAS SOPS 69786 HAS SOUS 59803 HAS SOUPS 59803 WITH SCORE 59872.786
AT ITER 4903 NEW BEST:: SOT 185005 SOS 69769 HAS SOPS 69769 HAS SOUS 59786 HAS SOUPS 59786 WITH SCORE 59855.769
AT ITER 4911 NEW BEST:: SOT 185078 SOS 69743 HAS SOPS 69743 HAS SOUS 59712 HAS SOUPS 59712 WITH SCORE 59781.743
AT ITER 4912 NEW BEST:: SOT 185015 SOS 69617 HAS SOPS 69617 HAS SOUS 59586 HAS SOUPS 59586 WITH SCORE 59655.617
AT ITER 4946 NEW BEST:: SOT 184951 SOS 69573 HAS SOPS 69573 HAS SOUS 59542 HAS SOUPS 59542 WITH SCORE 59611.573
AT ITER 4954 NEW BEST:: SOT 184951 SOS 69581 HAS SOPS 69581 HAS SOUS 59522 HAS SOUPS 59522 WITH SCORE 59591.581
AT ITER 4964 NEW BEST:: SOT 184878 SOS 69508 HAS SOPS 69508 HAS SOUS 59449 HAS SOUPS 59449 WITH SCORE 59518.508
AT ITER 4985 NEW BEST:: SOT 184877 SOS 69512 HAS SOPS 69512 HAS SOUS 59447 HAS SOUPS 59447 WITH SCORE 59516.512
AT ITER 4990 NEW BEST:: SOT 184796 SOS 69196 HAS SOPS 69196 HAS SOUS 59220 HAS SOUPS 59220 WITH SCORE 59289.196
AT ITER 4997 NEW BEST:: SOT 184796 SOS 69202 HAS SOPS 69202 HAS SOUS 59219 HAS SOUPS 59219 WITH SCORE 59288.202
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldPPPs-PT-020A-CTLCardinality-00 (! ( (EU( potential( (tk(P292)) <= (tk(P297)) ),potential( ( 3 ) <= (tk(P204)) ) )) & (EF(( potential( (tk(P170)) <= (tk(P389)) ) & potential( (tk(P72)) <= (tk(P284)) ) ))) ))
PROPERTY: ShieldPPPs-PT-020A-CTLCardinality-01 (EU( (EX( potential( (tk(P457)) <= (tk(P260)) ))),(! (! potential( ( 1 ) <= (tk(P125)) ))) ))
PROPERTY: ShieldPPPs-PT-020A-CTLCardinality-02 (! (EG( (EF(potential( ( 2 ) <= (tk(P172)) ))))))
PROPERTY: ShieldPPPs-PT-020A-CTLCardinality-03 ( ( potential( (tk(P93)) <= (tk(P26)) ) & ( (EG( potential( (tk(P433)) <= (tk(P31)) ))) | (! potential( (tk(P7)) <= (tk(P548)) )) ) ) | (EF((AF(potential( ( 3 ) <= (tk(P377)) ))))) )
PROPERTY: ShieldPPPs-PT-020A-CTLCardinality-04 (AU( ( (! potential( (tk(P49)) <= (tk(P146)) )) & potential( ( 3 ) <= (tk(P15)) ) ),(AF(potential( ( 1 ) <= (tk(P341)) ))) ))
PROPERTY: ShieldPPPs-PT-020A-CTLCardinality-05 (AG( (! potential( ( 2 ) <= (tk(P278)) ))))
PROPERTY: ShieldPPPs-PT-020A-CTLCardinality-06 ( (EF(potential( ( 2 ) <= (tk(P531)) ))) | (! (! potential( ( 3 ) <= (tk(P299)) ))) )
PROPERTY: ShieldPPPs-PT-020A-CTLCardinality-07 (AG( (! (! ( potential( (tk(P271)) <= (tk(P300)) ) | potential( (tk(P463)) <= (tk(P449)) ) )))))
PROPERTY: ShieldPPPs-PT-020A-CTLCardinality-08 ( (EG( (! ( potential( (tk(P80)) <= (tk(P600)) ) & potential( ( 2 ) <= (tk(P511)) ) )))) & (EF(( ( potential( ( 2 ) <= (tk(P275)) ) | potential( ( 2 ) <= (tk(P616)) ) ) & (! potential( (tk(P136)) <= (tk(P210)) )) ))) )
PROPERTY: ShieldPPPs-PT-020A-CTLCardinality-09 ( (AG( (AF(potential( ( 3 ) <= (tk(P348)) ))))) | (EG( ( (! potential( (tk(P78)) <= (tk(P60)) )) | potential( ( 1 ) <= (tk(P369)) ) ))) )
PROPERTY: ShieldPPPs-PT-020A-CTLCardinality-10 (EF((AG( ( potential( ( 3 ) <= (tk(P357)) ) | potential( ( 3 ) <= (tk(P117)) ) )))))
PROPERTY: ShieldPPPs-PT-020A-CTLCardinality-11 (EU( (! ( potential( ( 3 ) <= (tk(P290)) ) & potential( (tk(P370)) <= (tk(P181)) ) )),( potential( (tk(P344)) <= (tk(P269)) ) & (! potential( (tk(P460)) <= (tk(P577)) )) ) ))
PROPERTY: ShieldPPPs-PT-020A-CTLCardinality-12 (EG( potential( (tk(P60)) <= (tk(P69)) )))
PROPERTY: ShieldPPPs-PT-020A-CTLCardinality-13 (EU( (! ( potential( (tk(P68)) <= (tk(P310)) ) & potential( ( 1 ) <= (tk(P199)) ) )),(! (! potential( ( 1 ) <= (tk(P539)) ))) ))
PROPERTY: ShieldPPPs-PT-020A-CTLCardinality-14 (EG( ( ( (! potential( (tk(P290)) <= (tk(P49)) )) & ( potential( ( 3 ) <= (tk(P433)) ) & potential( ( 1 ) <= (tk(P616)) ) ) ) | (AF(potential( ( 2 ) <= (tk(P543)) ))) )))
PROPERTY: ShieldPPPs-PT-020A-CTLCardinality-15 (AU( (! (! potential( ( 3 ) <= (tk(P341)) ))),(EG( potential( (tk(P443)) <= (tk(P301)) ))) ))

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-020A"
export BK_EXAMINATION="CTLCardinality"
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-020A, examination is CTLCardinality"
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-159033469500491"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-020A.tgz
mv ShieldPPPs-PT-020A execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;