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

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

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 292K
-rw-r--r-- 1 mcc users 3.9K May 14 02:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 02:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 19:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 19:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.6K May 13 14:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 14:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 09:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K May 13 09:07 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 127K 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 ShieldRVs-PT-020A-CTLFireability-00
FORMULA_NAME ShieldRVs-PT-020A-CTLFireability-01
FORMULA_NAME ShieldRVs-PT-020A-CTLFireability-02
FORMULA_NAME ShieldRVs-PT-020A-CTLFireability-03
FORMULA_NAME ShieldRVs-PT-020A-CTLFireability-04
FORMULA_NAME ShieldRVs-PT-020A-CTLFireability-05
FORMULA_NAME ShieldRVs-PT-020A-CTLFireability-06
FORMULA_NAME ShieldRVs-PT-020A-CTLFireability-07
FORMULA_NAME ShieldRVs-PT-020A-CTLFireability-08
FORMULA_NAME ShieldRVs-PT-020A-CTLFireability-09
FORMULA_NAME ShieldRVs-PT-020A-CTLFireability-10
FORMULA_NAME ShieldRVs-PT-020A-CTLFireability-11
FORMULA_NAME ShieldRVs-PT-020A-CTLFireability-12
FORMULA_NAME ShieldRVs-PT-020A-CTLFireability-13
FORMULA_NAME ShieldRVs-PT-020A-CTLFireability-14
FORMULA_NAME ShieldRVs-PT-020A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590451002955

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 020A
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: 283 places, 383 transitions, 1840 arcs.
AT ITER 0 NEW BEST:: SOT 81387 SOS 69947 HAS SOPS 69947 HAS SOUS 56615 HAS SOUPS 56615 WITH SCORE 56684.947
AT ITER 1 NEW BEST:: SOT 81298 SOS 69923 HAS SOPS 69923 HAS SOUS 56591 HAS SOUPS 56591 WITH SCORE 56660.923
AT ITER 3 NEW BEST:: SOT 81229 SOS 69856 HAS SOPS 69856 HAS SOUS 56523 HAS SOUPS 56523 WITH SCORE 56592.856
AT ITER 4 NEW BEST:: SOT 81206 SOS 69764 HAS SOPS 69764 HAS SOUS 56384 HAS SOUPS 56384 WITH SCORE 56453.764
AT ITER 5 NEW BEST:: SOT 81270 SOS 69477 HAS SOPS 69477 HAS SOUS 56090 HAS SOUPS 56090 WITH SCORE 56159.477
AT ITER 15 NEW BEST:: SOT 81241 SOS 69448 HAS SOPS 69448 HAS SOUS 56061 HAS SOUPS 56061 WITH SCORE 56130.448
AT ITER 16 NEW BEST:: SOT 81239 SOS 69446 HAS SOPS 69446 HAS SOUS 56059 HAS SOUPS 56059 WITH SCORE 56128.446
AT ITER 17 NEW BEST:: SOT 81239 SOS 69386 HAS SOPS 69386 HAS SOUS 56019 HAS SOUPS 56019 WITH SCORE 56088.386
AT ITER 18 NEW BEST:: SOT 81203 SOS 69350 HAS SOPS 69350 HAS SOUS 56019 HAS SOUPS 56019 WITH SCORE 56088.35
AT ITER 22 NEW BEST:: SOT 81203 SOS 69358 HAS SOPS 69358 HAS SOUS 56014 HAS SOUPS 56014 WITH SCORE 56083.358
AT ITER 23 NEW BEST:: SOT 81097 SOS 68934 HAS SOPS 68934 HAS SOUS 55378 HAS SOUPS 55378 WITH SCORE 55446.934
AT ITER 30 NEW BEST:: SOT 81049 SOS 68790 HAS SOPS 68790 HAS SOUS 55186 HAS SOUPS 55186 WITH SCORE 55254.79
AT ITER 33 NEW BEST:: SOT 80998 SOS 68504 HAS SOPS 68504 HAS SOUS 55036 HAS SOUPS 55036 WITH SCORE 55104.504
AT ITER 36 NEW BEST:: SOT 80990 SOS 68432 HAS SOPS 68432 HAS SOUS 55036 HAS SOUPS 55036 WITH SCORE 55104.432
AT ITER 37 NEW BEST:: SOT 81151 SOS 68323 HAS SOPS 68323 HAS SOUS 54585 HAS SOUPS 54585 WITH SCORE 54653.323
AT ITER 38 NEW BEST:: SOT 80979 SOS 68064 HAS SOPS 68064 HAS SOUS 54326 HAS SOUPS 54326 WITH SCORE 54394.064
AT ITER 43 NEW BEST:: SOT 81001 SOS 68035 HAS SOPS 68035 HAS SOUS 54318 HAS SOUPS 54318 WITH SCORE 54386.035
AT ITER 44 NEW BEST:: SOT 81042 SOS 67640 HAS SOPS 67640 HAS SOUS 54147 HAS SOUPS 54147 WITH SCORE 54214.64
AT ITER 47 NEW BEST:: SOT 81040 SOS 67518 HAS SOPS 67518 HAS SOUS 53977 HAS SOUPS 53977 WITH SCORE 54044.518
AT ITER 48 NEW BEST:: SOT 80895 SOS 67373 HAS SOPS 67373 HAS SOUS 53830 HAS SOUPS 53830 WITH SCORE 53897.373
AT ITER 49 NEW BEST:: SOT 81046 SOS 67275 HAS SOPS 67275 HAS SOUS 53774 HAS SOUPS 53774 WITH SCORE 53841.275
AT ITER 50 NEW BEST:: SOT 81005 SOS 67244 HAS SOPS 67244 HAS SOUS 53748 HAS SOUPS 53748 WITH SCORE 53815.244
AT ITER 51 NEW BEST:: SOT 80919 SOS 67194 HAS SOPS 67194 HAS SOUS 53670 HAS SOUPS 53670 WITH SCORE 53737.194
AT ITER 58 NEW BEST:: SOT 80862 SOS 66683 HAS SOPS 66683 HAS SOUS 53427 HAS SOUPS 53427 WITH SCORE 53493.683
AT ITER 59 NEW BEST:: SOT 80952 SOS 66158 HAS SOPS 66158 HAS SOUS 52645 HAS SOUPS 52645 WITH SCORE 52711.158
AT ITER 61 NEW BEST:: SOT 80924 SOS 65884 HAS SOPS 65884 HAS SOUS 52497 HAS SOUPS 52497 WITH SCORE 52562.884
AT ITER 62 NEW BEST:: SOT 80805 SOS 65677 HAS SOPS 65677 HAS SOUS 52288 HAS SOUPS 52288 WITH SCORE 52353.677
AT ITER 64 NEW BEST:: SOT 80720 SOS 65627 HAS SOPS 65627 HAS SOUS 52255 HAS SOUPS 52255 WITH SCORE 52320.627
AT ITER 65 NEW BEST:: SOT 80717 SOS 65624 HAS SOPS 65624 HAS SOUS 52251 HAS SOUPS 52251 WITH SCORE 52316.624
AT ITER 67 NEW BEST:: SOT 80739 SOS 65525 HAS SOPS 65525 HAS SOUS 52116 HAS SOUPS 52116 WITH SCORE 52181.525
AT ITER 71 NEW BEST:: SOT 80639 SOS 65188 HAS SOPS 65188 HAS SOUS 51681 HAS SOUPS 51681 WITH SCORE 51746.188
AT ITER 73 NEW BEST:: SOT 80639 SOS 65188 HAS SOPS 65188 HAS SOUS 51678 HAS SOUPS 51678 WITH SCORE 51743.188
AT ITER 74 NEW BEST:: SOT 80649 SOS 64592 HAS SOPS 64592 HAS SOUS 51573 HAS SOUPS 51573 WITH SCORE 51637.592
AT ITER 75 NEW BEST:: SOT 80572 SOS 64444 HAS SOPS 64444 HAS SOUS 51425 HAS SOUPS 51425 WITH SCORE 51489.444
AT ITER 76 NEW BEST:: SOT 80546 SOS 64436 HAS SOPS 64436 HAS SOUS 51396 HAS SOUPS 51396 WITH SCORE 51460.436
AT ITER 77 NEW BEST:: SOT 80546 SOS 64255 HAS SOPS 64255 HAS SOUS 51155 HAS SOUPS 51155 WITH SCORE 51219.255
AT ITER 78 NEW BEST:: SOT 80464 SOS 63845 HAS SOPS 63845 HAS SOUS 50587 HAS SOUPS 50587 WITH SCORE 50650.845
AT ITER 80 NEW BEST:: SOT 80740 SOS 63704 HAS SOPS 63704 HAS SOUS 50311 HAS SOUPS 50311 WITH SCORE 50374.704
AT ITER 81 NEW BEST:: SOT 81002 SOS 63448 HAS SOPS 63448 HAS SOUS 50090 HAS SOUPS 50090 WITH SCORE 50153.448
AT ITER 82 NEW BEST:: SOT 80935 SOS 63135 HAS SOPS 63135 HAS SOUS 49739 HAS SOUPS 49739 WITH SCORE 49802.135
AT ITER 85 NEW BEST:: SOT 80935 SOS 63041 HAS SOPS 63041 HAS SOUS 49722 HAS SOUPS 49722 WITH SCORE 49785.041
AT ITER 87 NEW BEST:: SOT 80749 SOS 62850 HAS SOPS 62850 HAS SOUS 49524 HAS SOUPS 49524 WITH SCORE 49586.85
AT ITER 88 NEW BEST:: SOT 80641 SOS 62742 HAS SOPS 62742 HAS SOUS 49413 HAS SOUPS 49413 WITH SCORE 49475.742
AT ITER 89 NEW BEST:: SOT 80609 SOS 62216 HAS SOPS 62216 HAS SOUS 49205 HAS SOUPS 49205 WITH SCORE 49267.216
AT ITER 90 NEW BEST:: SOT 80579 SOS 61709 HAS SOPS 61709 HAS SOUS 48865 HAS SOUPS 48865 WITH SCORE 48926.709
AT ITER 94 NEW BEST:: SOT 80572 SOS 61702 HAS SOPS 61702 HAS SOUS 48858 HAS SOUPS 48858 WITH SCORE 48919.702
AT ITER 98 NEW BEST:: SOT 80553 SOS 61645 HAS SOPS 61645 HAS SOUS 48763 HAS SOUPS 48763 WITH SCORE 48824.645
AT ITER 99 NEW BEST:: SOT 80699 SOS 61322 HAS SOPS 61322 HAS SOUS 48689 HAS SOUPS 48689 WITH SCORE 48750.322
AT ITER 105 NEW BEST:: SOT 80699 SOS 61378 HAS SOPS 61378 HAS SOUS 48661 HAS SOUPS 48661 WITH SCORE 48722.378
AT ITER 112 NEW BEST:: SOT 80639 SOS 61299 HAS SOPS 61299 HAS SOUS 48578 HAS SOUPS 48578 WITH SCORE 48639.299
AT ITER 115 NEW BEST:: SOT 80565 SOS 61208 HAS SOPS 61208 HAS SOUS 48419 HAS SOUPS 48419 WITH SCORE 48480.208
AT ITER 118 NEW BEST:: SOT 80648 SOS 60498 HAS SOPS 60498 HAS SOUS 48117 HAS SOUPS 48117 WITH SCORE 48177.498
AT ITER 121 NEW BEST:: SOT 80631 SOS 60481 HAS SOPS 60481 HAS SOUS 48116 HAS SOUPS 48116 WITH SCORE 48176.481
AT ITER 123 NEW BEST:: SOT 80767 SOS 60274 HAS SOPS 60274 HAS SOUS 48115 HAS SOUPS 48115 WITH SCORE 48175.274
AT ITER 127 NEW BEST:: SOT 80559 SOS 59998 HAS SOPS 59998 HAS SOUS 47835 HAS SOUPS 47835 WITH SCORE 47894.998
AT ITER 131 NEW BEST:: SOT 80559 SOS 59994 HAS SOPS 59994 HAS SOUS 47831 HAS SOUPS 47831 WITH SCORE 47890.994
AT ITER 133 NEW BEST:: SOT 80520 SOS 59910 HAS SOPS 59910 HAS SOUS 47790 HAS SOUPS 47790 WITH SCORE 47849.91
AT ITER 140 NEW BEST:: SOT 80510 SOS 59900 HAS SOPS 59900 HAS SOUS 47779 HAS SOUPS 47779 WITH SCORE 47838.9
AT ITER 143 NEW BEST:: SOT 80290 SOS 59680 HAS SOPS 59680 HAS SOUS 47558 HAS SOUPS 47558 WITH SCORE 47617.68
AT ITER 145 NEW BEST:: SOT 80243 SOS 59524 HAS SOPS 59524 HAS SOUS 47404 HAS SOUPS 47404 WITH SCORE 47463.524
AT ITER 148 NEW BEST:: SOT 80225 SOS 59486 HAS SOPS 59486 HAS SOUS 47364 HAS SOUPS 47364 WITH SCORE 47423.486
AT ITER 150 NEW BEST:: SOT 79949 SOS 59257 HAS SOPS 59257 HAS SOUS 47178 HAS SOUPS 47178 WITH SCORE 47237.257
AT ITER 151 NEW BEST:: SOT 79912 SOS 59220 HAS SOPS 59220 HAS SOUS 47141 HAS SOUPS 47141 WITH SCORE 47200.22
AT ITER 152 NEW BEST:: SOT 79858 SOS 59166 HAS SOPS 59166 HAS SOUS 47086 HAS SOUPS 47086 WITH SCORE 47145.166
AT ITER 158 NEW BEST:: SOT 79803 SOS 58806 HAS SOPS 58806 HAS SOUS 47025 HAS SOUPS 47025 WITH SCORE 47083.806
AT ITER 160 NEW BEST:: SOT 79631 SOS 58641 HAS SOPS 58641 HAS SOUS 46625 HAS SOUPS 46625 WITH SCORE 46683.641
AT ITER 162 NEW BEST:: SOT 79471 SOS 58442 HAS SOPS 58442 HAS SOUS 46319 HAS SOUPS 46319 WITH SCORE 46377.442
AT ITER 163 NEW BEST:: SOT 79363 SOS 57872 HAS SOPS 57872 HAS SOUS 45894 HAS SOUPS 45894 WITH SCORE 45951.872
AT ITER 167 NEW BEST:: SOT 79387 SOS 57894 HAS SOPS 57894 HAS SOUS 45890 HAS SOUPS 45890 WITH SCORE 45947.894
AT ITER 172 NEW BEST:: SOT 79371 SOS 57878 HAS SOPS 57878 HAS SOUS 45874 HAS SOUPS 45874 WITH SCORE 45931.878
AT ITER 174 NEW BEST:: SOT 79350 SOS 57776 HAS SOPS 57776 HAS SOUS 45690 HAS SOUPS 45690 WITH SCORE 45747.776
AT ITER 179 NEW BEST:: SOT 79534 SOS 58094 HAS SOPS 58094 HAS SOUS 45644 HAS SOUPS 45644 WITH SCORE 45702.094
AT ITER 180 NEW BEST:: SOT 79522 SOS 58082 HAS SOPS 58082 HAS SOUS 45623 HAS SOUPS 45623 WITH SCORE 45681.082
AT ITER 181 NEW BEST:: SOT 79522 SOS 58208 HAS SOPS 58208 HAS SOUS 45581 HAS SOUPS 45581 WITH SCORE 45639.208
AT ITER 183 NEW BEST:: SOT 79450 SOS 57933 HAS SOPS 57933 HAS SOUS 45356 HAS SOUPS 45356 WITH SCORE 45413.933
AT ITER 185 NEW BEST:: SOT 79459 SOS 58191 HAS SOPS 58191 HAS SOUS 45337 HAS SOUPS 45337 WITH SCORE 45395.191
AT ITER 187 NEW BEST:: SOT 79387 SOS 58000 HAS SOPS 58000 HAS SOUS 44939 HAS SOUPS 44939 WITH SCORE 44997.0
AT ITER 188 NEW BEST:: SOT 79387 SOS 58010 HAS SOPS 58010 HAS SOUS 44842 HAS SOUPS 44842 WITH SCORE 44900.01
AT ITER 189 NEW BEST:: SOT 79368 SOS 57877 HAS SOPS 57877 HAS SOUS 44823 HAS SOUPS 44823 WITH SCORE 44880.877
AT ITER 191 NEW BEST:: SOT 79229 SOS 57857 HAS SOPS 57857 HAS SOUS 44755 HAS SOUPS 44755 WITH SCORE 44812.857
AT ITER 192 NEW BEST:: SOT 79371 SOS 57855 HAS SOPS 57855 HAS SOUS 44682 HAS SOUPS 44682 WITH SCORE 44739.855
AT ITER 193 NEW BEST:: SOT 79346 SOS 57791 HAS SOPS 57791 HAS SOUS 44618 HAS SOUPS 44618 WITH SCORE 44675.791
AT ITER 194 NEW BEST:: SOT 79300 SOS 57722 HAS SOPS 57722 HAS SOUS 44549 HAS SOUPS 44549 WITH SCORE 44606.722
AT ITER 195 NEW BEST:: SOT 79293 SOS 57646 HAS SOPS 57646 HAS SOUS 44475 HAS SOUPS 44475 WITH SCORE 44532.646
AT ITER 198 NEW BEST:: SOT 79262 SOS 57620 HAS SOPS 57620 HAS SOUS 44439 HAS SOUPS 44439 WITH SCORE 44496.62
AT ITER 202 NEW BEST:: SOT 79260 SOS 57572 HAS SOPS 57572 HAS SOUS 44375 HAS SOUPS 44375 WITH SCORE 44432.572
AT ITER 210 NEW BEST:: SOT 79252 SOS 57556 HAS SOPS 57556 HAS SOUS 44343 HAS SOUPS 44343 WITH SCORE 44400.556
AT ITER 219 NEW BEST:: SOT 79176 SOS 57480 HAS SOPS 57480 HAS SOUS 44267 HAS SOUPS 44267 WITH SCORE 44324.48
AT ITER 222 NEW BEST:: SOT 79176 SOS 57350 HAS SOPS 57350 HAS SOUS 44267 HAS SOUPS 44267 WITH SCORE 44324.35
AT ITER 223 NEW BEST:: SOT 78944 SOS 57222 HAS SOPS 57222 HAS SOUS 44093 HAS SOUPS 44093 WITH SCORE 44150.222
AT ITER 226 NEW BEST:: SOT 78944 SOS 56944 HAS SOPS 56944 HAS SOUS 43849 HAS SOUPS 43849 WITH SCORE 43905.944
AT ITER 228 NEW BEST:: SOT 78829 SOS 56829 HAS SOPS 56829 HAS SOUS 43733 HAS SOUPS 43733 WITH SCORE 43789.829
AT ITER 234 NEW BEST:: SOT 78721 SOS 56234 HAS SOPS 56234 HAS SOUS 43293 HAS SOUPS 43293 WITH SCORE 43349.234
AT ITER 236 NEW BEST:: SOT 78746 SOS 55851 HAS SOPS 55851 HAS SOUS 43293 HAS SOUPS 43293 WITH SCORE 43348.851
AT ITER 241 NEW BEST:: SOT 78655 SOS 55674 HAS SOPS 55674 HAS SOUS 43102 HAS SOUPS 43102 WITH SCORE 43157.674
AT ITER 243 NEW BEST:: SOT 78709 SOS 55547 HAS SOPS 55547 HAS SOUS 43075 HAS SOUPS 43075 WITH SCORE 43130.547
AT ITER 245 NEW BEST:: SOT 78576 SOS 55414 HAS SOPS 55414 HAS SOUS 42942 HAS SOUPS 42942 WITH SCORE 42997.414
AT ITER 248 NEW BEST:: SOT 78596 SOS 55367 HAS SOPS 55367 HAS SOUS 42893 HAS SOUPS 42893 WITH SCORE 42948.367
AT ITER 256 NEW BEST:: SOT 78752 SOS 55081 HAS SOPS 55081 HAS SOUS 42868 HAS SOUPS 42868 WITH SCORE 42923.081
AT ITER 260 NEW BEST:: SOT 78720 SOS 55081 HAS SOPS 55081 HAS SOUS 42836 HAS SOUPS 42836 WITH SCORE 42891.081
AT ITER 261 NEW BEST:: SOT 78587 SOS 54882 HAS SOPS 54882 HAS SOUS 42637 HAS SOUPS 42637 WITH SCORE 42691.882
AT ITER 263 NEW BEST:: SOT 78541 SOS 54835 HAS SOPS 54835 HAS SOUS 42568 HAS SOUPS 42568 WITH SCORE 42622.835
AT ITER 266 NEW BEST:: SOT 78541 SOS 54793 HAS SOPS 54793 HAS SOUS 42540 HAS SOUPS 42540 WITH SCORE 42594.793
AT ITER 271 NEW BEST:: SOT 78539 SOS 54792 HAS SOPS 54792 HAS SOUS 42539 HAS SOUPS 42539 WITH SCORE 42593.792
AT ITER 272 NEW BEST:: SOT 78241 SOS 54559 HAS SOPS 54559 HAS SOUS 42394 HAS SOUPS 42394 WITH SCORE 42448.559
AT ITER 273 NEW BEST:: SOT 78259 SOS 54324 HAS SOPS 54324 HAS SOUS 42033 HAS SOUPS 42033 WITH SCORE 42087.324
AT ITER 281 NEW BEST:: SOT 78181 SOS 54150 HAS SOPS 54150 HAS SOUS 41480 HAS SOUPS 41480 WITH SCORE 41534.15
AT ITER 282 NEW BEST:: SOT 78125 SOS 54094 HAS SOPS 54094 HAS SOUS 41424 HAS SOUPS 41424 WITH SCORE 41478.094
AT ITER 286 NEW BEST:: SOT 78065 SOS 54064 HAS SOPS 54064 HAS SOUS 41394 HAS SOUPS 41394 WITH SCORE 41448.064
AT ITER 288 NEW BEST:: SOT 78067 SOS 54066 HAS SOPS 54066 HAS SOUS 41392 HAS SOUPS 41392 WITH SCORE 41446.066
AT ITER 295 NEW BEST:: SOT 78028 SOS 53804 HAS SOPS 53804 HAS SOUS 41221 HAS SOUPS 41221 WITH SCORE 41274.804
AT ITER 305 NEW BEST:: SOT 78024 SOS 53796 HAS SOPS 53796 HAS SOUS 41206 HAS SOUPS 41206 WITH SCORE 41259.796
AT ITER 317 NEW BEST:: SOT 77986 SOS 53625 HAS SOPS 53625 HAS SOUS 41130 HAS SOUPS 41130 WITH SCORE 41183.625
AT ITER 320 NEW BEST:: SOT 77888 SOS 53441 HAS SOPS 53441 HAS SOUS 40748 HAS SOUPS 40748 WITH SCORE 40801.441
AT ITER 327 NEW BEST:: SOT 77924 SOS 53477 HAS SOPS 53477 HAS SOUS 40734 HAS SOUPS 40734 WITH SCORE 40787.477
AT ITER 330 NEW BEST:: SOT 77807 SOS 52905 HAS SOPS 52905 HAS SOUS 40209 HAS SOUPS 40209 WITH SCORE 40261.905
AT ITER 341 NEW BEST:: SOT 77807 SOS 52902 HAS SOPS 52902 HAS SOUS 40206 HAS SOUPS 40206 WITH SCORE 40258.902
AT ITER 346 NEW BEST:: SOT 77801 SOS 52872 HAS SOPS 52872 HAS SOUS 40176 HAS SOUPS 40176 WITH SCORE 40228.872
AT ITER 348 NEW BEST:: SOT 77792 SOS 52863 HAS SOPS 52863 HAS SOUS 40113 HAS SOUPS 40113 WITH SCORE 40165.863
AT ITER 354 NEW BEST:: SOT 77758 SOS 52842 HAS SOPS 52842 HAS SOUS 40098 HAS SOUPS 40098 WITH SCORE 40150.842
AT ITER 356 NEW BEST:: SOT 77746 SOS 52826 HAS SOPS 52826 HAS SOUS 40066 HAS SOUPS 40066 WITH SCORE 40118.826
AT ITER 365 NEW BEST:: SOT 77719 SOS 52799 HAS SOPS 52799 HAS SOUS 40039 HAS SOUPS 40039 WITH SCORE 40091.799
AT ITER 368 NEW BEST:: SOT 77563 SOS 52618 HAS SOPS 52618 HAS SOUS 39858 HAS SOUPS 39858 WITH SCORE 39910.618
AT ITER 371 NEW BEST:: SOT 77528 SOS 52513 HAS SOPS 52513 HAS SOUS 39775 HAS SOUPS 39775 WITH SCORE 39827.513
AT ITER 374 NEW BEST:: SOT 77508 SOS 52285 HAS SOPS 52285 HAS SOUS 39626 HAS SOUPS 39626 WITH SCORE 39678.285
AT ITER 379 NEW BEST:: SOT 77414 SOS 52139 HAS SOPS 52139 HAS SOUS 39478 HAS SOUPS 39478 WITH SCORE 39530.139
AT ITER 385 NEW BEST:: SOT 77429 SOS 52100 HAS SOPS 52100 HAS SOUS 39439 HAS SOUPS 39439 WITH SCORE 39491.1
AT ITER 389 NEW BEST:: SOT 77429 SOS 52096 HAS SOPS 52096 HAS SOUS 39436 HAS SOUPS 39436 WITH SCORE 39488.096
AT ITER 391 NEW BEST:: SOT 77429 SOS 52096 HAS SOPS 52096 HAS SOUS 39431 HAS SOUPS 39431 WITH SCORE 39483.096
AT ITER 395 NEW BEST:: SOT 77370 SOS 52037 HAS SOPS 52037 HAS SOUS 39372 HAS SOUPS 39372 WITH SCORE 39424.037
AT ITER 396 NEW BEST:: SOT 77367 SOS 52031 HAS SOPS 52031 HAS SOUS 39351 HAS SOUPS 39351 WITH SCORE 39403.031
AT ITER 398 NEW BEST:: SOT 77349 SOS 52013 HAS SOPS 52013 HAS SOUS 39333 HAS SOUPS 39333 WITH SCORE 39385.013
AT ITER 399 NEW BEST:: SOT 77263 SOS 51863 HAS SOPS 51863 HAS SOUS 39023 HAS SOUPS 39023 WITH SCORE 39074.863
AT ITER 407 NEW BEST:: SOT 77219 SOS 51828 HAS SOPS 51828 HAS SOUS 39007 HAS SOUPS 39007 WITH SCORE 39058.828
AT ITER 416 NEW BEST:: SOT 77053 SOS 51569 HAS SOPS 51569 HAS SOUS 38547 HAS SOUPS 38547 WITH SCORE 38598.569
AT ITER 419 NEW BEST:: SOT 76993 SOS 51609 HAS SOPS 51609 HAS SOUS 38493 HAS SOUPS 38493 WITH SCORE 38544.609
AT ITER 435 NEW BEST:: SOT 76971 SOS 51587 HAS SOPS 51587 HAS SOUS 38471 HAS SOUPS 38471 WITH SCORE 38522.587
AT ITER 441 NEW BEST:: SOT 76872 SOS 51058 HAS SOPS 51058 HAS SOUS 38425 HAS SOUPS 38425 WITH SCORE 38476.058
AT ITER 448 NEW BEST:: SOT 76823 SOS 50527 HAS SOPS 50527 HAS SOUS 38280 HAS SOUPS 38280 WITH SCORE 38330.527
AT ITER 451 NEW BEST:: SOT 76899 SOS 50780 HAS SOPS 50780 HAS SOUS 38259 HAS SOUPS 38259 WITH SCORE 38309.78
AT ITER 452 NEW BEST:: SOT 77007 SOS 50771 HAS SOPS 50771 HAS SOUS 38250 HAS SOUPS 38250 WITH SCORE 38300.771
AT ITER 453 NEW BEST:: SOT 76985 SOS 50683 HAS SOPS 50683 HAS SOUS 38241 HAS SOUPS 38241 WITH SCORE 38291.683
AT ITER 456 NEW BEST:: SOT 76957 SOS 50598 HAS SOPS 50598 HAS SOUS 38156 HAS SOUPS 38156 WITH SCORE 38206.598
AT ITER 457 NEW BEST:: SOT 77010 SOS 50496 HAS SOPS 50496 HAS SOUS 38113 HAS SOUPS 38113 WITH SCORE 38163.496
AT ITER 460 NEW BEST:: SOT 77047 SOS 50538 HAS SOPS 50538 HAS SOUS 37937 HAS SOUPS 37937 WITH SCORE 37987.538
AT ITER 476 NEW BEST:: SOT 76985 SOS 50446 HAS SOPS 50446 HAS SOUS 37843 HAS SOUPS 37843 WITH SCORE 37893.446
AT ITER 481 NEW BEST:: SOT 76952 SOS 50413 HAS SOPS 50413 HAS SOUS 37799 HAS SOUPS 37799 WITH SCORE 37849.413
AT ITER 482 NEW BEST:: SOT 76942 SOS 50411 HAS SOPS 50411 HAS SOUS 37789 HAS SOUPS 37789 WITH SCORE 37839.411
AT ITER 488 NEW BEST:: SOT 76857 SOS 50326 HAS SOPS 50326 HAS SOUS 37639 HAS SOUPS 37639 WITH SCORE 37689.326
AT ITER 490 NEW BEST:: SOT 76743 SOS 50167 HAS SOPS 50167 HAS SOUS 37583 HAS SOUPS 37583 WITH SCORE 37633.167
AT ITER 495 NEW BEST:: SOT 76773 SOS 49854 HAS SOPS 49854 HAS SOUS 37454 HAS SOUPS 37454 WITH SCORE 37503.854
AT ITER 502 NEW BEST:: SOT 76737 SOS 49826 HAS SOPS 49826 HAS SOUS 37369 HAS SOUPS 37369 WITH SCORE 37418.826
AT ITER 503 NEW BEST:: SOT 76413 SOS 48333 HAS SOPS 48333 HAS SOUS 36620 HAS SOUPS 36620 WITH SCORE 36668.333
AT ITER 510 NEW BEST:: SOT 76277 SOS 48197 HAS SOPS 48197 HAS SOUS 36484 HAS SOUPS 36484 WITH SCORE 36532.197
AT ITER 513 NEW BEST:: SOT 76276 SOS 48196 HAS SOPS 48196 HAS SOUS 36483 HAS SOUPS 36483 WITH SCORE 36531.196
AT ITER 517 NEW BEST:: SOT 76057 SOS 47939 HAS SOPS 47939 HAS SOUS 36226 HAS SOUPS 36226 WITH SCORE 36273.939
AT ITER 521 NEW BEST:: SOT 76045 SOS 47851 HAS SOPS 47851 HAS SOUS 35989 HAS SOUPS 35989 WITH SCORE 36036.851
AT ITER 525 NEW BEST:: SOT 76008 SOS 47791 HAS SOPS 47791 HAS SOUS 35985 HAS SOUPS 35985 WITH SCORE 36032.791
AT ITER 527 NEW BEST:: SOT 75996 SOS 47768 HAS SOPS 47768 HAS SOUS 35969 HAS SOUPS 35969 WITH SCORE 36016.768
AT ITER 528 NEW BEST:: SOT 76080 SOS 47601 HAS SOPS 47601 HAS SOUS 35888 HAS SOUPS 35888 WITH SCORE 35935.601
AT ITER 544 NEW BEST:: SOT 76075 SOS 47554 HAS SOPS 47554 HAS SOUS 35838 HAS SOUPS 35838 WITH SCORE 35885.554
AT ITER 548 NEW BEST:: SOT 76006 SOS 47485 HAS SOPS 47485 HAS SOUS 35769 HAS SOUPS 35769 WITH SCORE 35816.485
AT ITER 553 NEW BEST:: SOT 75966 SOS 47385 HAS SOPS 47385 HAS SOUS 35709 HAS SOUPS 35709 WITH SCORE 35756.385
AT ITER 556 NEW BEST:: SOT 75645 SOS 46869 HAS SOPS 46869 HAS SOUS 35283 HAS SOUPS 35283 WITH SCORE 35329.869
AT ITER 563 NEW BEST:: SOT 75645 SOS 46869 HAS SOPS 46869 HAS SOUS 35272 HAS SOUPS 35272 WITH SCORE 35318.869
AT ITER 567 NEW BEST:: SOT 75032 SOS 46256 HAS SOPS 46256 HAS SOUS 34664 HAS SOUPS 34664 WITH SCORE 34710.256
AT ITER 572 NEW BEST:: SOT 75032 SOS 46254 HAS SOPS 46254 HAS SOUS 34656 HAS SOUPS 34656 WITH SCORE 34702.254
AT ITER 574 NEW BEST:: SOT 74754 SOS 45976 HAS SOPS 45976 HAS SOUS 34319 HAS SOUPS 34319 WITH SCORE 34364.976
AT ITER 588 NEW BEST:: SOT 74754 SOS 45980 HAS SOPS 45980 HAS SOUS 34313 HAS SOUPS 34313 WITH SCORE 34358.98
AT ITER 592 NEW BEST:: SOT 74709 SOS 45865 HAS SOPS 45865 HAS SOUS 34230 HAS SOUPS 34230 WITH SCORE 34275.865
AT ITER 593 NEW BEST:: SOT 74594 SOS 44976 HAS SOPS 44976 HAS SOUS 33602 HAS SOUPS 33602 WITH SCORE 33646.976
AT ITER 600 NEW BEST:: SOT 74585 SOS 44904 HAS SOPS 44904 HAS SOUS 33584 HAS SOUPS 33584 WITH SCORE 33628.904
AT ITER 602 NEW BEST:: SOT 74585 SOS 44900 HAS SOPS 44900 HAS SOUS 33580 HAS SOUPS 33580 WITH SCORE 33624.9
AT ITER 612 NEW BEST:: SOT 74585 SOS 45155 HAS SOPS 45155 HAS SOUS 33541 HAS SOUPS 33541 WITH SCORE 33586.155
AT ITER 613 NEW BEST:: SOT 74324 SOS 44759 HAS SOPS 44759 HAS SOUS 33112 HAS SOUPS 33112 WITH SCORE 33156.759
AT ITER 618 NEW BEST:: SOT 74268 SOS 44763 HAS SOPS 44763 HAS SOUS 33061 HAS SOUPS 33061 WITH SCORE 33105.763
AT ITER 619 NEW BEST:: SOT 74260 SOS 44755 HAS SOPS 44755 HAS SOUS 33053 HAS SOUPS 33053 WITH SCORE 33097.755
AT ITER 622 NEW BEST:: SOT 74215 SOS 44686 HAS SOPS 44686 HAS SOUS 33053 HAS SOUPS 33053 WITH SCORE 33097.686
AT ITER 633 NEW BEST:: SOT 74127 SOS 44609 HAS SOPS 44609 HAS SOUS 32987 HAS SOUPS 32987 WITH SCORE 33031.609
AT ITER 656 NEW BEST:: SOT 74127 SOS 44609 HAS SOPS 44609 HAS SOUS 32963 HAS SOUPS 32963 WITH SCORE 33007.609
AT ITER 671 NEW BEST:: SOT 74114 SOS 44597 HAS SOPS 44597 HAS SOUS 32905 HAS SOUPS 32905 WITH SCORE 32949.597
AT ITER 672 NEW BEST:: SOT 74084 SOS 44567 HAS SOPS 44567 HAS SOUS 32875 HAS SOUPS 32875 WITH SCORE 32919.567
AT ITER 676 NEW BEST:: SOT 73887 SOS 44370 HAS SOPS 44370 HAS SOUS 32625 HAS SOUPS 32625 WITH SCORE 32669.37
AT ITER 680 NEW BEST:: SOT 73870 SOS 44327 HAS SOPS 44327 HAS SOUS 32595 HAS SOUPS 32595 WITH SCORE 32639.327
AT ITER 682 NEW BEST:: SOT 73887 SOS 44296 HAS SOPS 44296 HAS SOUS 32588 HAS SOUPS 32588 WITH SCORE 32632.296
AT ITER 686 NEW BEST:: SOT 73767 SOS 44304 HAS SOPS 44304 HAS SOUS 32507 HAS SOUPS 32507 WITH SCORE 32551.304
AT ITER 690 NEW BEST:: SOT 73738 SOS 44205 HAS SOPS 44205 HAS SOUS 32471 HAS SOUPS 32471 WITH SCORE 32515.205
AT ITER 692 NEW BEST:: SOT 73738 SOS 44185 HAS SOPS 44185 HAS SOUS 32421 HAS SOUPS 32421 WITH SCORE 32465.185
AT ITER 703 NEW BEST:: SOT 73738 SOS 44185 HAS SOPS 44185 HAS SOUS 32415 HAS SOUPS 32415 WITH SCORE 32459.185
AT ITER 705 NEW BEST:: SOT 73738 SOS 44185 HAS SOPS 44185 HAS SOUS 32400 HAS SOUPS 32400 WITH SCORE 32444.185
AT ITER 706 NEW BEST:: SOT 73702 SOS 43998 HAS SOPS 43998 HAS SOUS 32354 HAS SOUPS 32354 WITH SCORE 32397.998
AT ITER 707 NEW BEST:: SOT 73702 SOS 44019 HAS SOPS 44019 HAS SOUS 32343 HAS SOUPS 32343 WITH SCORE 32387.019
AT ITER 708 NEW BEST:: SOT 73662 SOS 44016 HAS SOPS 44016 HAS SOUS 32210 HAS SOUPS 32210 WITH SCORE 32254.016
AT ITER 709 NEW BEST:: SOT 73670 SOS 44046 HAS SOPS 44046 HAS SOUS 32201 HAS SOUPS 32201 WITH SCORE 32245.046
AT ITER 721 NEW BEST:: SOT 73612 SOS 43993 HAS SOPS 43993 HAS SOUS 32122 HAS SOUPS 32122 WITH SCORE 32165.993
AT ITER 724 NEW BEST:: SOT 73558 SOS 43941 HAS SOPS 43941 HAS SOUS 32070 HAS SOUPS 32070 WITH SCORE 32113.941
AT ITER 740 NEW BEST:: SOT 73579 SOS 43887 HAS SOPS 43887 HAS SOUS 32061 HAS SOUPS 32061 WITH SCORE 32104.887
AT ITER 759 NEW BEST:: SOT 73568 SOS 43887 HAS SOPS 43887 HAS SOUS 32050 HAS SOUPS 32050 WITH SCORE 32093.887
AT ITER 760 NEW BEST:: SOT 73496 SOS 43815 HAS SOPS 43815 HAS SOUS 31978 HAS SOUPS 31978 WITH SCORE 32021.815
AT ITER 763 NEW BEST:: SOT 73505 SOS 43724 HAS SOPS 43724 HAS SOUS 31962 HAS SOUPS 31962 WITH SCORE 32005.724
AT ITER 764 NEW BEST:: SOT 73505 SOS 43724 HAS SOPS 43724 HAS SOUS 31919 HAS SOUPS 31919 WITH SCORE 31962.724
AT ITER 769 NEW BEST:: SOT 73460 SOS 43577 HAS SOPS 43577 HAS SOUS 31873 HAS SOUPS 31873 WITH SCORE 31916.577
AT ITER 773 NEW BEST:: SOT 73455 SOS 43577 HAS SOPS 43577 HAS SOUS 31868 HAS SOUPS 31868 WITH SCORE 31911.577
AT ITER 774 NEW BEST:: SOT 73425 SOS 43599 HAS SOPS 43599 HAS SOUS 31850 HAS SOUPS 31850 WITH SCORE 31893.599
AT ITER 782 NEW BEST:: SOT 73421 SOS 43583 HAS SOPS 43583 HAS SOUS 31844 HAS SOUPS 31844 WITH SCORE 31887.583
AT ITER 787 NEW BEST:: SOT 73400 SOS 43523 HAS SOPS 43523 HAS SOUS 31720 HAS SOUPS 31720 WITH SCORE 31763.523
AT ITER 788 NEW BEST:: SOT 73293 SOS 43252 HAS SOPS 43252 HAS SOUS 31571 HAS SOUPS 31571 WITH SCORE 31614.252
AT ITER 792 NEW BEST:: SOT 73293 SOS 43224 HAS SOPS 43224 HAS SOUS 31571 HAS SOUPS 31571 WITH SCORE 31614.224
AT ITER 798 NEW BEST:: SOT 73238 SOS 43032 HAS SOPS 43032 HAS SOUS 31416 HAS SOUPS 31416 WITH SCORE 31459.032
AT ITER 801 NEW BEST:: SOT 73071 SOS 42856 HAS SOPS 42856 HAS SOUS 31238 HAS SOUPS 31238 WITH SCORE 31280.856
AT ITER 802 NEW BEST:: SOT 73071 SOS 42847 HAS SOPS 42847 HAS SOUS 31231 HAS SOUPS 31231 WITH SCORE 31273.847
AT ITER 805 NEW BEST:: SOT 73071 SOS 42807 HAS SOPS 42807 HAS SOUS 31215 HAS SOUPS 31215 WITH SCORE 31257.807
AT ITER 806 NEW BEST:: SOT 72837 SOS 42598 HAS SOPS 42598 HAS SOUS 31157 HAS SOUPS 31157 WITH SCORE 31199.598
AT ITER 812 NEW BEST:: SOT 72830 SOS 42582 HAS SOPS 42582 HAS SOUS 31147 HAS SOUPS 31147 WITH SCORE 31189.582
AT ITER 813 NEW BEST:: SOT 72830 SOS 42558 HAS SOPS 42558 HAS SOUS 31126 HAS SOUPS 31126 WITH SCORE 31168.558
AT ITER 823 NEW BEST:: SOT 72791 SOS 42513 HAS SOPS 42513 HAS SOUS 31122 HAS SOUPS 31122 WITH SCORE 31164.513
AT ITER 829 NEW BEST:: SOT 72791 SOS 42589 HAS SOPS 42589 HAS SOUS 31012 HAS SOUPS 31012 WITH SCORE 31054.589
AT ITER 832 NEW BEST:: SOT 72790 SOS 42661 HAS SOPS 42661 HAS SOUS 30984 HAS SOUPS 30984 WITH SCORE 31026.661
AT ITER 852 NEW BEST:: SOT 72749 SOS 42778 HAS SOPS 42778 HAS SOUS 30979 HAS SOUPS 30979 WITH SCORE 31021.778
AT ITER 859 NEW BEST:: SOT 72774 SOS 42279 HAS SOPS 42279 HAS SOUS 30726 HAS SOUPS 30726 WITH SCORE 30768.279
AT ITER 862 NEW BEST:: SOT 72820 SOS 42393 HAS SOPS 42393 HAS SOUS 30708 HAS SOUPS 30708 WITH SCORE 30750.393
AT ITER 868 NEW BEST:: SOT 72796 SOS 42297 HAS SOPS 42297 HAS SOUS 30636 HAS SOUPS 30636 WITH SCORE 30678.297
AT ITER 888 NEW BEST:: SOT 72798 SOS 42299 HAS SOPS 42299 HAS SOUS 30624 HAS SOUPS 30624 WITH SCORE 30666.299
AT ITER 898 NEW BEST:: SOT 72777 SOS 42306 HAS SOPS 42306 HAS SOUS 30595 HAS SOUPS 30595 WITH SCORE 30637.306
AT ITER 905 NEW BEST:: SOT 72775 SOS 42256 HAS SOPS 42256 HAS SOUS 30569 HAS SOUPS 30569 WITH SCORE 30611.256
AT ITER 914 NEW BEST:: SOT 72767 SOS 42248 HAS SOPS 42248 HAS SOUS 30569 HAS SOUPS 30569 WITH SCORE 30611.248
AT ITER 924 NEW BEST:: SOT 72738 SOS 42137 HAS SOPS 42137 HAS SOUS 30499 HAS SOUPS 30499 WITH SCORE 30541.137
AT ITER 928 NEW BEST:: SOT 72708 SOS 41765 HAS SOPS 41765 HAS SOUS 30345 HAS SOUPS 30345 WITH SCORE 30386.765
AT ITER 931 NEW BEST:: SOT 72724 SOS 41739 HAS SOPS 41739 HAS SOUS 30263 HAS SOUPS 30263 WITH SCORE 30304.739
AT ITER 935 NEW BEST:: SOT 72775 SOS 41687 HAS SOPS 41687 HAS SOUS 30261 HAS SOUPS 30261 WITH SCORE 30302.687
AT ITER 940 NEW BEST:: SOT 72714 SOS 41655 HAS SOPS 41655 HAS SOUS 30251 HAS SOUPS 30251 WITH SCORE 30292.655
AT ITER 943 NEW BEST:: SOT 72686 SOS 41535 HAS SOPS 41535 HAS SOUS 30156 HAS SOUPS 30156 WITH SCORE 30197.535
AT ITER 944 NEW BEST:: SOT 72664 SOS 41563 HAS SOPS 41563 HAS SOUS 30143 HAS SOUPS 30143 WITH SCORE 30184.563
AT ITER 945 NEW BEST:: SOT 72665 SOS 41440 HAS SOPS 41440 HAS SOUS 30105 HAS SOUPS 30105 WITH SCORE 30146.44
AT ITER 960 NEW BEST:: SOT 72129 SOS 40924 HAS SOPS 40924 HAS SOUS 29679 HAS SOUPS 29679 WITH SCORE 29719.924
AT ITER 984 NEW BEST:: SOT 72124 SOS 40913 HAS SOPS 40913 HAS SOUS 29671 HAS SOUPS 29671 WITH SCORE 29711.913
AT ITER 991 NEW BEST:: SOT 72124 SOS 40917 HAS SOPS 40917 HAS SOUS 29655 HAS SOUPS 29655 WITH SCORE 29695.917
AT ITER 992 NEW BEST:: SOT 72118 SOS 40911 HAS SOPS 40911 HAS SOUS 29649 HAS SOUPS 29649 WITH SCORE 29689.911
AT ITER 998 NEW BEST:: SOT 72113 SOS 40889 HAS SOPS 40889 HAS SOUS 29610 HAS SOUPS 29610 WITH SCORE 29650.889
AT ITER 1003 NEW BEST:: SOT 72206 SOS 40734 HAS SOPS 40734 HAS SOUS 29552 HAS SOUPS 29552 WITH SCORE 29592.734
AT ITER 1004 NEW BEST:: SOT 72314 SOS 41172 HAS SOPS 41172 HAS SOUS 29522 HAS SOUPS 29522 WITH SCORE 29563.172
AT ITER 1012 NEW BEST:: SOT 72312 SOS 41170 HAS SOPS 41170 HAS SOUS 29520 HAS SOUPS 29520 WITH SCORE 29561.17
AT ITER 1023 NEW BEST:: SOT 72254 SOS 40989 HAS SOPS 40989 HAS SOUS 29456 HAS SOUPS 29456 WITH SCORE 29496.989
AT ITER 1028 NEW BEST:: SOT 72228 SOS 40915 HAS SOPS 40915 HAS SOUS 29366 HAS SOUPS 29366 WITH SCORE 29406.915
AT ITER 1036 NEW BEST:: SOT 72098 SOS 40547 HAS SOPS 40547 HAS SOUS 29090 HAS SOUPS 29090 WITH SCORE 29130.547
AT ITER 1037 NEW BEST:: SOT 72017 SOS 40531 HAS SOPS 40531 HAS SOUS 29067 HAS SOUPS 29067 WITH SCORE 29107.531
AT ITER 1039 NEW BEST:: SOT 71989 SOS 40460 HAS SOPS 40460 HAS SOUS 29035 HAS SOUPS 29035 WITH SCORE 29075.46
AT ITER 1048 NEW BEST:: SOT 71867 SOS 40304 HAS SOPS 40304 HAS SOUS 28739 HAS SOUPS 28739 WITH SCORE 28779.304
AT ITER 1050 NEW BEST:: SOT 71691 SOS 40050 HAS SOPS 40050 HAS SOUS 28479 HAS SOUPS 28479 WITH SCORE 28519.05
AT ITER 1054 NEW BEST:: SOT 71663 SOS 40027 HAS SOPS 40027 HAS SOUS 28448 HAS SOUPS 28448 WITH SCORE 28488.027
AT ITER 1056 NEW BEST:: SOT 71610 SOS 39973 HAS SOPS 39973 HAS SOUS 28398 HAS SOUPS 28398 WITH SCORE 28437.973
AT ITER 1065 NEW BEST:: SOT 71624 SOS 39753 HAS SOPS 39753 HAS SOUS 28274 HAS SOUPS 28274 WITH SCORE 28313.753
AT ITER 1076 NEW BEST:: SOT 71537 SOS 39572 HAS SOPS 39572 HAS SOUS 28264 HAS SOUPS 28264 WITH SCORE 28303.572
AT ITER 1078 NEW BEST:: SOT 71629 SOS 39572 HAS SOPS 39572 HAS SOUS 28241 HAS SOUPS 28241 WITH SCORE 28280.572
AT ITER 1084 NEW BEST:: SOT 71623 SOS 39547 HAS SOPS 39547 HAS SOUS 28220 HAS SOUPS 28220 WITH SCORE 28259.547
AT ITER 1085 NEW BEST:: SOT 71590 SOS 39532 HAS SOPS 39532 HAS SOUS 28204 HAS SOUPS 28204 WITH SCORE 28243.532
AT ITER 1098 NEW BEST:: SOT 71489 SOS 39320 HAS SOPS 39320 HAS SOUS 28050 HAS SOUPS 28050 WITH SCORE 28089.32
AT ITER 1103 NEW BEST:: SOT 71489 SOS 39278 HAS SOPS 39278 HAS SOUS 27958 HAS SOUPS 27958 WITH SCORE 27997.278
AT ITER 1109 NEW BEST:: SOT 71426 SOS 38982 HAS SOPS 38982 HAS SOUS 27794 HAS SOUPS 27794 WITH SCORE 27832.982
AT ITER 1114 NEW BEST:: SOT 71444 SOS 39085 HAS SOPS 39085 HAS SOUS 27740 HAS SOUPS 27740 WITH SCORE 27779.085
AT ITER 1117 NEW BEST:: SOT 71448 SOS 39114 HAS SOPS 39114 HAS SOUS 27737 HAS SOUPS 27737 WITH SCORE 27776.114
AT ITER 1120 NEW BEST:: SOT 71296 SOS 38967 HAS SOPS 38967 HAS SOUS 27652 HAS SOUPS 27652 WITH SCORE 27690.967
AT ITER 1128 NEW BEST:: SOT 71225 SOS 38789 HAS SOPS 38789 HAS SOUS 27591 HAS SOUPS 27591 WITH SCORE 27629.789
AT ITER 1135 NEW BEST:: SOT 71225 SOS 38789 HAS SOPS 38789 HAS SOUS 27589 HAS SOUPS 27589 WITH SCORE 27627.789
AT ITER 1154 NEW BEST:: SOT 71237 SOS 38771 HAS SOPS 38771 HAS SOUS 27574 HAS SOUPS 27574 WITH SCORE 27612.771
AT ITER 1157 NEW BEST:: SOT 71187 SOS 38535 HAS SOPS 38535 HAS SOUS 27477 HAS SOUPS 27477 WITH SCORE 27515.535
AT ITER 1160 NEW BEST:: SOT 71155 SOS 38503 HAS SOPS 38503 HAS SOUS 27445 HAS SOUPS 27445 WITH SCORE 27483.503
AT ITER 1169 NEW BEST:: SOT 71148 SOS 38491 HAS SOPS 38491 HAS SOUS 27427 HAS SOUPS 27427 WITH SCORE 27465.491
AT ITER 1170 NEW BEST:: SOT 71123 SOS 38451 HAS SOPS 38451 HAS SOUS 27387 HAS SOUPS 27387 WITH SCORE 27425.451
AT ITER 1180 NEW BEST:: SOT 70917 SOS 38146 HAS SOPS 38146 HAS SOUS 27068 HAS SOUPS 27068 WITH SCORE 27106.146
AT ITER 1182 NEW BEST:: SOT 70845 SOS 38074 HAS SOPS 38074 HAS SOUS 26972 HAS SOUPS 26972 WITH SCORE 27010.074
AT ITER 1186 NEW BEST:: SOT 70845 SOS 38073 HAS SOPS 38073 HAS SOUS 26962 HAS SOUPS 26962 WITH SCORE 27000.073
AT ITER 1201 NEW BEST:: SOT 70815 SOS 37984 HAS SOPS 37984 HAS SOUS 26805 HAS SOUPS 26805 WITH SCORE 26842.984
AT ITER 1220 NEW BEST:: SOT 70807 SOS 37876 HAS SOPS 37876 HAS SOUS 26691 HAS SOUPS 26691 WITH SCORE 26728.876
AT ITER 1221 NEW BEST:: SOT 70785 SOS 37854 HAS SOPS 37854 HAS SOUS 26651 HAS SOUPS 26651 WITH SCORE 26688.854
AT ITER 1224 NEW BEST:: SOT 70696 SOS 37438 HAS SOPS 37438 HAS SOUS 26515 HAS SOUPS 26515 WITH SCORE 26552.438
AT ITER 1227 NEW BEST:: SOT 70704 SOS 37406 HAS SOPS 37406 HAS SOUS 26507 HAS SOUPS 26507 WITH SCORE 26544.406
AT ITER 1241 NEW BEST:: SOT 70645 SOS 37347 HAS SOPS 37347 HAS SOUS 26448 HAS SOUPS 26448 WITH SCORE 26485.347
AT ITER 1243 NEW BEST:: SOT 70603 SOS 37100 HAS SOPS 37100 HAS SOUS 26280 HAS SOUPS 26280 WITH SCORE 26317.1
AT ITER 1249 NEW BEST:: SOT 70603 SOS 37098 HAS SOPS 37098 HAS SOUS 26270 HAS SOUPS 26270 WITH SCORE 26307.098
AT ITER 1260 NEW BEST:: SOT 70555 SOS 36548 HAS SOPS 36548 HAS SOUS 26096 HAS SOUPS 26096 WITH SCORE 26132.548
AT ITER 1263 NEW BEST:: SOT 70555 SOS 36292 HAS SOPS 36292 HAS SOUS 26064 HAS SOUPS 26064 WITH SCORE 26100.292
AT ITER 1264 NEW BEST:: SOT 70540 SOS 36223 HAS SOPS 36223 HAS SOUS 26051 HAS SOUPS 26051 WITH SCORE 26087.223
AT ITER 1269 NEW BEST:: SOT 70535 SOS 36245 HAS SOPS 36245 HAS SOUS 26048 HAS SOUPS 26048 WITH SCORE 26084.245
AT ITER 1283 NEW BEST:: SOT 70535 SOS 36271 HAS SOPS 36271 HAS SOUS 25979 HAS SOUPS 25979 WITH SCORE 26015.271
AT ITER 1284 NEW BEST:: SOT 70534 SOS 36269 HAS SOPS 36269 HAS SOUS 25977 HAS SOUPS 25977 WITH SCORE 26013.269
AT ITER 1285 NEW BEST:: SOT 70529 SOS 36244 HAS SOPS 36244 HAS SOUS 25956 HAS SOUPS 25956 WITH SCORE 25992.244
AT ITER 1290 NEW BEST:: SOT 70509 SOS 36224 HAS SOPS 36224 HAS SOUS 25936 HAS SOUPS 25936 WITH SCORE 25972.224
AT ITER 1316 NEW BEST:: SOT 70509 SOS 36172 HAS SOPS 36172 HAS SOUS 25911 HAS SOUPS 25911 WITH SCORE 25947.172
AT ITER 1322 NEW BEST:: SOT 70500 SOS 36156 HAS SOPS 36156 HAS SOUS 25895 HAS SOUPS 25895 WITH SCORE 25931.156
AT ITER 1326 NEW BEST:: SOT 70490 SOS 36145 HAS SOPS 36145 HAS SOUS 25884 HAS SOUPS 25884 WITH SCORE 25920.145
AT ITER 1330 NEW BEST:: SOT 70145 SOS 35623 HAS SOPS 35623 HAS SOUS 25345 HAS SOUPS 25345 WITH SCORE 25380.623
AT ITER 1339 NEW BEST:: SOT 70132 SOS 35612 HAS SOPS 35612 HAS SOUS 25334 HAS SOUPS 25334 WITH SCORE 25369.612
AT ITER 1340 NEW BEST:: SOT 70137 SOS 35607 HAS SOPS 35607 HAS SOUS 25329 HAS SOUPS 25329 WITH SCORE 25364.607
AT ITER 1343 NEW BEST:: SOT 70120 SOS 35590 HAS SOPS 35590 HAS SOUS 25298 HAS SOUPS 25298 WITH SCORE 25333.59
AT ITER 1346 NEW BEST:: SOT 70120 SOS 35585 HAS SOPS 35585 HAS SOUS 25298 HAS SOUPS 25298 WITH SCORE 25333.585
AT ITER 1347 NEW BEST:: SOT 70096 SOS 35561 HAS SOPS 35561 HAS SOUS 25226 HAS SOUPS 25226 WITH SCORE 25261.561
AT ITER 1352 NEW BEST:: SOT 70205 SOS 35837 HAS SOPS 35837 HAS SOUS 25178 HAS SOUPS 25178 WITH SCORE 25213.837
AT ITER 1358 NEW BEST:: SOT 70145 SOS 35783 HAS SOPS 35783 HAS SOUS 25130 HAS SOUPS 25130 WITH SCORE 25165.783
AT ITER 1360 NEW BEST:: SOT 70155 SOS 35772 HAS SOPS 35772 HAS SOUS 25079 HAS SOUPS 25079 WITH SCORE 25114.772
AT ITER 1366 NEW BEST:: SOT 70059 SOS 35626 HAS SOPS 35626 HAS SOUS 24954 HAS SOUPS 24954 WITH SCORE 24989.626
AT ITER 1373 NEW BEST:: SOT 70039 SOS 35619 HAS SOPS 35619 HAS SOUS 24945 HAS SOUPS 24945 WITH SCORE 24980.619
AT ITER 1379 NEW BEST:: SOT 70038 SOS 35616 HAS SOPS 35616 HAS SOUS 24940 HAS SOUPS 24940 WITH SCORE 24975.616
AT ITER 1386 NEW BEST:: SOT 70049 SOS 35610 HAS SOPS 35610 HAS SOUS 24901 HAS SOUPS 24901 WITH SCORE 24936.61
AT ITER 1387 NEW BEST:: SOT 70044 SOS 35609 HAS SOPS 35609 HAS SOUS 24897 HAS SOUPS 24897 WITH SCORE 24932.609
AT ITER 1391 NEW BEST:: SOT 69972 SOS 35537 HAS SOPS 35537 HAS SOUS 24805 HAS SOUPS 24805 WITH SCORE 24840.537
AT ITER 1396 NEW BEST:: SOT 69943 SOS 35508 HAS SOPS 35508 HAS SOUS 24776 HAS SOUPS 24776 WITH SCORE 24811.508
AT ITER 1409 NEW BEST:: SOT 69929 SOS 35502 HAS SOPS 35502 HAS SOUS 24706 HAS SOUPS 24706 WITH SCORE 24741.502
AT ITER 1417 NEW BEST:: SOT 69947 SOS 35508 HAS SOPS 35508 HAS SOUS 24669 HAS SOUPS 24669 WITH SCORE 24704.508
AT ITER 1420 NEW BEST:: SOT 69941 SOS 35496 HAS SOPS 35496 HAS SOUS 24657 HAS SOUPS 24657 WITH SCORE 24692.496
AT ITER 1454 NEW BEST:: SOT 69941 SOS 35455 HAS SOPS 35455 HAS SOUS 24591 HAS SOUPS 24591 WITH SCORE 24626.455
AT ITER 1463 NEW BEST:: SOT 69941 SOS 35479 HAS SOPS 35479 HAS SOUS 24493 HAS SOUPS 24493 WITH SCORE 24528.479
AT ITER 1464 NEW BEST:: SOT 69941 SOS 35419 HAS SOPS 35419 HAS SOUS 24463 HAS SOUPS 24463 WITH SCORE 24498.419
AT ITER 1481 NEW BEST:: SOT 69813 SOS 35253 HAS SOPS 35253 HAS SOUS 24297 HAS SOUPS 24297 WITH SCORE 24332.253
AT ITER 1485 NEW BEST:: SOT 69813 SOS 35215 HAS SOPS 35215 HAS SOUS 24261 HAS SOUPS 24261 WITH SCORE 24296.215
AT ITER 1488 NEW BEST:: SOT 69822 SOS 35285 HAS SOPS 35285 HAS SOUS 24244 HAS SOUPS 24244 WITH SCORE 24279.285
AT ITER 1498 NEW BEST:: SOT 69817 SOS 35265 HAS SOPS 35265 HAS SOUS 24229 HAS SOUPS 24229 WITH SCORE 24264.265
AT ITER 1501 NEW BEST:: SOT 69804 SOS 35234 HAS SOPS 35234 HAS SOUS 24220 HAS SOUPS 24220 WITH SCORE 24255.234
AT ITER 1503 NEW BEST:: SOT 69805 SOS 35195 HAS SOPS 35195 HAS SOUS 24214 HAS SOUPS 24214 WITH SCORE 24249.195
AT ITER 1506 NEW BEST:: SOT 69805 SOS 35099 HAS SOPS 35099 HAS SOUS 24190 HAS SOUPS 24190 WITH SCORE 24225.099
AT ITER 1518 NEW BEST:: SOT 69787 SOS 35091 HAS SOPS 35091 HAS SOUS 24182 HAS SOUPS 24182 WITH SCORE 24217.091
AT ITER 1530 NEW BEST:: SOT 69677 SOS 34935 HAS SOPS 34935 HAS SOUS 24022 HAS SOUPS 24022 WITH SCORE 24056.935
AT ITER 1532 NEW BEST:: SOT 69669 SOS 34930 HAS SOPS 34930 HAS SOUS 24010 HAS SOUPS 24010 WITH SCORE 24044.93
AT ITER 1533 NEW BEST:: SOT 69803 SOS 35797 HAS SOPS 35797 HAS SOUS 23979 HAS SOUPS 23979 WITH SCORE 24014.797
AT ITER 1534 NEW BEST:: SOT 69803 SOS 35792 HAS SOPS 35792 HAS SOUS 23979 HAS SOUPS 23979 WITH SCORE 24014.792
AT ITER 1536 NEW BEST:: SOT 69803 SOS 35772 HAS SOPS 35772 HAS SOUS 23972 HAS SOUPS 23972 WITH SCORE 24007.772
AT ITER 1540 NEW BEST:: SOT 69753 SOS 35702 HAS SOPS 35702 HAS SOUS 23919 HAS SOUPS 23919 WITH SCORE 23954.702
AT ITER 1549 NEW BEST:: SOT 69753 SOS 35712 HAS SOPS 35712 HAS SOUS 23855 HAS SOUPS 23855 WITH SCORE 23890.712
AT ITER 1553 NEW BEST:: SOT 69732 SOS 35670 HAS SOPS 35670 HAS SOUS 23828 HAS SOUPS 23828 WITH SCORE 23863.67
AT ITER 1565 NEW BEST:: SOT 69712 SOS 35552 HAS SOPS 35552 HAS SOUS 23806 HAS SOUPS 23806 WITH SCORE 23841.552
AT ITER 1567 NEW BEST:: SOT 69702 SOS 35545 HAS SOPS 35545 HAS SOUS 23799 HAS SOUPS 23799 WITH SCORE 23834.545
AT ITER 1569 NEW BEST:: SOT 69656 SOS 35356 HAS SOPS 35356 HAS SOUS 23679 HAS SOUPS 23679 WITH SCORE 23714.356
AT ITER 1588 NEW BEST:: SOT 69652 SOS 35256 HAS SOPS 35256 HAS SOUS 23675 HAS SOUPS 23675 WITH SCORE 23710.256
AT ITER 1597 NEW BEST:: SOT 69590 SOS 35208 HAS SOPS 35208 HAS SOUS 23600 HAS SOUPS 23600 WITH SCORE 23635.208
AT ITER 1605 NEW BEST:: SOT 69561 SOS 35148 HAS SOPS 35148 HAS SOUS 23562 HAS SOUPS 23562 WITH SCORE 23597.148
AT ITER 1615 NEW BEST:: SOT 69583 SOS 35065 HAS SOPS 35065 HAS SOUS 23562 HAS SOUPS 23562 WITH SCORE 23597.065
AT ITER 1620 NEW BEST:: SOT 69583 SOS 35057 HAS SOPS 35057 HAS SOUS 23562 HAS SOUPS 23562 WITH SCORE 23597.057
AT ITER 1621 NEW BEST:: SOT 69547 SOS 35016 HAS SOPS 35016 HAS SOUS 23521 HAS SOUPS 23521 WITH SCORE 23556.016
AT ITER 1623 NEW BEST:: SOT 69514 SOS 34913 HAS SOPS 34913 HAS SOUS 23474 HAS SOUPS 23474 WITH SCORE 23508.913
AT ITER 1624 NEW BEST:: SOT 69647 SOS 35004 HAS SOPS 35004 HAS SOUS 23427 HAS SOUPS 23427 WITH SCORE 23462.004
AT ITER 1625 NEW BEST:: SOT 69644 SOS 35016 HAS SOPS 35016 HAS SOUS 23414 HAS SOUPS 23414 WITH SCORE 23449.016
AT ITER 1627 NEW BEST:: SOT 69581 SOS 34938 HAS SOPS 34938 HAS SOUS 23311 HAS SOUPS 23311 WITH SCORE 23345.938
AT ITER 1633 NEW BEST:: SOT 69542 SOS 34899 HAS SOPS 34899 HAS SOUS 23306 HAS SOUPS 23306 WITH SCORE 23340.899
AT ITER 1686 NEW BEST:: SOT 69542 SOS 34957 HAS SOPS 34957 HAS SOUS 23287 HAS SOUPS 23287 WITH SCORE 23321.957
AT ITER 1706 NEW BEST:: SOT 69468 SOS 34888 HAS SOPS 34888 HAS SOUS 23218 HAS SOUPS 23218 WITH SCORE 23252.888
AT ITER 1710 NEW BEST:: SOT 69469 SOS 34931 HAS SOPS 34931 HAS SOUS 23212 HAS SOUPS 23212 WITH SCORE 23246.931
AT ITER 1713 NEW BEST:: SOT 69454 SOS 34913 HAS SOPS 34913 HAS SOUS 23194 HAS SOUPS 23194 WITH SCORE 23228.913
AT ITER 1739 NEW BEST:: SOT 69444 SOS 34877 HAS SOPS 34877 HAS SOUS 23174 HAS SOUPS 23174 WITH SCORE 23208.877
AT ITER 1749 NEW BEST:: SOT 69277 SOS 34713 HAS SOPS 34713 HAS SOUS 23018 HAS SOUPS 23018 WITH SCORE 23052.713
AT ITER 1760 NEW BEST:: SOT 69234 SOS 34669 HAS SOPS 34669 HAS SOUS 22923 HAS SOUPS 22923 WITH SCORE 22957.669
AT ITER 1764 NEW BEST:: SOT 69232 SOS 34657 HAS SOPS 34657 HAS SOUS 22917 HAS SOUPS 22917 WITH SCORE 22951.657
AT ITER 1792 NEW BEST:: SOT 69219 SOS 34644 HAS SOPS 34644 HAS SOUS 22904 HAS SOUPS 22904 WITH SCORE 22938.644
AT ITER 1796 NEW BEST:: SOT 69199 SOS 34681 HAS SOPS 34681 HAS SOUS 22879 HAS SOUPS 22879 WITH SCORE 22913.681
AT ITER 1799 NEW BEST:: SOT 69134 SOS 34616 HAS SOPS 34616 HAS SOUS 22814 HAS SOUPS 22814 WITH SCORE 22848.616
AT ITER 1800 NEW BEST:: SOT 69157 SOS 34552 HAS SOPS 34552 HAS SOUS 22794 HAS SOUPS 22794 WITH SCORE 22828.552
AT ITER 1809 NEW BEST:: SOT 69109 SOS 34530 HAS SOPS 34530 HAS SOUS 22775 HAS SOUPS 22775 WITH SCORE 22809.53
AT ITER 1821 NEW BEST:: SOT 69084 SOS 34500 HAS SOPS 34500 HAS SOUS 22745 HAS SOUPS 22745 WITH SCORE 22779.5
AT ITER 1831 NEW BEST:: SOT 69042 SOS 34396 HAS SOPS 34396 HAS SOUS 22562 HAS SOUPS 22562 WITH SCORE 22596.396
AT ITER 1845 NEW BEST:: SOT 69028 SOS 34341 HAS SOPS 34341 HAS SOUS 22535 HAS SOUPS 22535 WITH SCORE 22569.341
AT ITER 1849 NEW BEST:: SOT 68875 SOS 34188 HAS SOPS 34188 HAS SOUS 22382 HAS SOUPS 22382 WITH SCORE 22416.188
AT ITER 1856 NEW BEST:: SOT 68875 SOS 34074 HAS SOPS 34074 HAS SOUS 22382 HAS SOUPS 22382 WITH SCORE 22416.074
AT ITER 1860 NEW BEST:: SOT 68763 SOS 33464 HAS SOPS 33464 HAS SOUS 22148 HAS SOUPS 22148 WITH SCORE 22181.464
AT ITER 1863 NEW BEST:: SOT 68745 SOS 33462 HAS SOPS 33462 HAS SOUS 22138 HAS SOUPS 22138 WITH SCORE 22171.462
AT ITER 1864 NEW BEST:: SOT 68743 SOS 33460 HAS SOPS 33460 HAS SOUS 22137 HAS SOUPS 22137 WITH SCORE 22170.46
AT ITER 1868 NEW BEST:: SOT 68737 SOS 33443 HAS SOPS 33443 HAS SOUS 22130 HAS SOUPS 22130 WITH SCORE 22163.443
AT ITER 1888 NEW BEST:: SOT 68468 SOS 33185 HAS SOPS 33185 HAS SOUS 21872 HAS SOUPS 21872 WITH SCORE 21905.185
AT ITER 1892 NEW BEST:: SOT 68467 SOS 33184 HAS SOPS 33184 HAS SOUS 21870 HAS SOUPS 21870 WITH SCORE 21903.184
AT ITER 1929 NEW BEST:: SOT 68468 SOS 33184 HAS SOPS 33184 HAS SOUS 21869 HAS SOUPS 21869 WITH SCORE 21902.184
AT ITER 1930 NEW BEST:: SOT 68406 SOS 33157 HAS SOPS 33157 HAS SOUS 21845 HAS SOUPS 21845 WITH SCORE 21878.157
AT ITER 1946 NEW BEST:: SOT 68376 SOS 33105 HAS SOPS 33105 HAS SOUS 21785 HAS SOUPS 21785 WITH SCORE 21818.105
AT ITER 1967 NEW BEST:: SOT 68335 SOS 33045 HAS SOPS 33045 HAS SOUS 21736 HAS SOUPS 21736 WITH SCORE 21769.045
AT ITER 1973 NEW BEST:: SOT 68216 SOS 32926 HAS SOPS 32926 HAS SOUS 21650 HAS SOUPS 21650 WITH SCORE 21682.926
AT ITER 1974 NEW BEST:: SOT 68154 SOS 32567 HAS SOPS 32567 HAS SOUS 21457 HAS SOUPS 21457 WITH SCORE 21489.567
AT ITER 1975 NEW BEST:: SOT 68154 SOS 32555 HAS SOPS 32555 HAS SOUS 21453 HAS SOUPS 21453 WITH SCORE 21485.555
AT ITER 1980 NEW BEST:: SOT 68123 SOS 32522 HAS SOPS 32522 HAS SOUS 21434 HAS SOUPS 21434 WITH SCORE 21466.522
AT ITER 2008 NEW BEST:: SOT 68124 SOS 32447 HAS SOPS 32447 HAS SOUS 21367 HAS SOUPS 21367 WITH SCORE 21399.447
AT ITER 2010 NEW BEST:: SOT 68124 SOS 32411 HAS SOPS 32411 HAS SOUS 21336 HAS SOUPS 21336 WITH SCORE 21368.411
AT ITER 2030 NEW BEST:: SOT 68005 SOS 32080 HAS SOPS 32080 HAS SOUS 21310 HAS SOUPS 21310 WITH SCORE 21342.08
AT ITER 2038 NEW BEST:: SOT 67980 SOS 32008 HAS SOPS 32008 HAS SOUS 21244 HAS SOUPS 21244 WITH SCORE 21276.008
AT ITER 2041 NEW BEST:: SOT 67956 SOS 31774 HAS SOPS 31774 HAS SOUS 21229 HAS SOUPS 21229 WITH SCORE 21260.774
AT ITER 2051 NEW BEST:: SOT 67971 SOS 31774 HAS SOPS 31774 HAS SOUS 21220 HAS SOUPS 21220 WITH SCORE 21251.774
AT ITER 2054 NEW BEST:: SOT 67897 SOS 31616 HAS SOPS 31616 HAS SOUS 21188 HAS SOUPS 21188 WITH SCORE 21219.616
AT ITER 2056 NEW BEST:: SOT 67877 SOS 31594 HAS SOPS 31594 HAS SOUS 21166 HAS SOUPS 21166 WITH SCORE 21197.594
AT ITER 2064 NEW BEST:: SOT 67830 SOS 31478 HAS SOPS 31478 HAS SOUS 21115 HAS SOUPS 21115 WITH SCORE 21146.478
AT ITER 2072 NEW BEST:: SOT 67830 SOS 31526 HAS SOPS 31526 HAS SOUS 21103 HAS SOUPS 21103 WITH SCORE 21134.526
AT ITER 2075 NEW BEST:: SOT 67830 SOS 31529 HAS SOPS 31529 HAS SOUS 21100 HAS SOUPS 21100 WITH SCORE 21131.529
AT ITER 2079 NEW BEST:: SOT 67828 SOS 31527 HAS SOPS 31527 HAS SOUS 21098 HAS SOUPS 21098 WITH SCORE 21129.527
AT ITER 2083 NEW BEST:: SOT 67748 SOS 31444 HAS SOPS 31444 HAS SOUS 21017 HAS SOUPS 21017 WITH SCORE 21048.444
AT ITER 2088 NEW BEST:: SOT 67665 SOS 31138 HAS SOPS 31138 HAS SOUS 20939 HAS SOUPS 20939 WITH SCORE 20970.138
AT ITER 2099 NEW BEST:: SOT 67591 SOS 31047 HAS SOPS 31047 HAS SOUS 20846 HAS SOUPS 20846 WITH SCORE 20877.047
AT ITER 2115 NEW BEST:: SOT 67588 SOS 31053 HAS SOPS 31053 HAS SOUS 20843 HAS SOUPS 20843 WITH SCORE 20874.053
AT ITER 2118 NEW BEST:: SOT 67600 SOS 31062 HAS SOPS 31062 HAS SOUS 20832 HAS SOUPS 20832 WITH SCORE 20863.062
AT ITER 2122 NEW BEST:: SOT 67594 SOS 31041 HAS SOPS 31041 HAS SOUS 20823 HAS SOUPS 20823 WITH SCORE 20854.041
AT ITER 2144 NEW BEST:: SOT 67546 SOS 30982 HAS SOPS 30982 HAS SOUS 20764 HAS SOUPS 20764 WITH SCORE 20794.982
AT ITER 2157 NEW BEST:: SOT 67530 SOS 30976 HAS SOPS 30976 HAS SOUS 20699 HAS SOUPS 20699 WITH SCORE 20729.976
AT ITER 2175 NEW BEST:: SOT 67473 SOS 30748 HAS SOPS 30748 HAS SOUS 20598 HAS SOUPS 20598 WITH SCORE 20628.748
AT ITER 2179 NEW BEST:: SOT 67473 SOS 30748 HAS SOPS 30748 HAS SOUS 20466 HAS SOUPS 20466 WITH SCORE 20496.748
AT ITER 2180 NEW BEST:: SOT 67387 SOS 30858 HAS SOPS 30858 HAS SOUS 20435 HAS SOUPS 20435 WITH SCORE 20465.858
AT ITER 2181 NEW BEST:: SOT 67390 SOS 30855 HAS SOPS 30855 HAS SOUS 20435 HAS SOUPS 20435 WITH SCORE 20465.855
AT ITER 2183 NEW BEST:: SOT 67388 SOS 30843 HAS SOPS 30843 HAS SOUS 20425 HAS SOUPS 20425 WITH SCORE 20455.843
AT ITER 2185 NEW BEST:: SOT 67372 SOS 30811 HAS SOPS 30811 HAS SOUS 20352 HAS SOUPS 20352 WITH SCORE 20382.811
AT ITER 2200 NEW BEST:: SOT 67364 SOS 30815 HAS SOPS 30815 HAS SOUS 20343 HAS SOUPS 20343 WITH SCORE 20373.815
AT ITER 2206 NEW BEST:: SOT 67344 SOS 30754 HAS SOPS 30754 HAS SOUS 20334 HAS SOUPS 20334 WITH SCORE 20364.754
AT ITER 2207 NEW BEST:: SOT 67304 SOS 30674 HAS SOPS 30674 HAS SOUS 20254 HAS SOUPS 20254 WITH SCORE 20284.674
AT ITER 2214 NEW BEST:: SOT 67099 SOS 30323 HAS SOPS 30323 HAS SOUS 19955 HAS SOUPS 19955 WITH SCORE 19985.323
AT ITER 2217 NEW BEST:: SOT 67065 SOS 30267 HAS SOPS 30267 HAS SOUS 19809 HAS SOUPS 19809 WITH SCORE 19839.267
AT ITER 2222 NEW BEST:: SOT 67078 SOS 30269 HAS SOPS 30269 HAS SOUS 19786 HAS SOUPS 19786 WITH SCORE 19816.269
AT ITER 2223 NEW BEST:: SOT 67100 SOS 30199 HAS SOPS 30199 HAS SOUS 19785 HAS SOUPS 19785 WITH SCORE 19815.199
AT ITER 2238 NEW BEST:: SOT 67086 SOS 30115 HAS SOPS 30115 HAS SOUS 19741 HAS SOUPS 19741 WITH SCORE 19771.115
AT ITER 2240 NEW BEST:: SOT 67065 SOS 30100 HAS SOPS 30100 HAS SOUS 19713 HAS SOUPS 19713 WITH SCORE 19743.1
AT ITER 2252 NEW BEST:: SOT 67052 SOS 30158 HAS SOPS 30158 HAS SOUS 19695 HAS SOUPS 19695 WITH SCORE 19725.158
AT ITER 2255 NEW BEST:: SOT 67007 SOS 30113 HAS SOPS 30113 HAS SOUS 19650 HAS SOUPS 19650 WITH SCORE 19680.113
AT ITER 2257 NEW BEST:: SOT 66893 SOS 29973 HAS SOPS 29973 HAS SOUS 19501 HAS SOUPS 19501 WITH SCORE 19530.973
AT ITER 2263 NEW BEST:: SOT 66761 SOS 29210 HAS SOPS 29210 HAS SOUS 19399 HAS SOUPS 19399 WITH SCORE 19428.21
AT ITER 2269 NEW BEST:: SOT 66754 SOS 29102 HAS SOPS 29102 HAS SOUS 19287 HAS SOUPS 19287 WITH SCORE 19316.102
AT ITER 2288 NEW BEST:: SOT 66742 SOS 29085 HAS SOPS 29085 HAS SOUS 19270 HAS SOUPS 19270 WITH SCORE 19299.085
AT ITER 2325 NEW BEST:: SOT 66742 SOS 29085 HAS SOPS 29085 HAS SOUS 19268 HAS SOUPS 19268 WITH SCORE 19297.085
AT ITER 2328 NEW BEST:: SOT 66729 SOS 29066 HAS SOPS 29066 HAS SOUS 19257 HAS SOUPS 19257 WITH SCORE 19286.066
AT ITER 2329 NEW BEST:: SOT 66725 SOS 29062 HAS SOPS 29062 HAS SOUS 19252 HAS SOUPS 19252 WITH SCORE 19281.062
AT ITER 2348 NEW BEST:: SOT 66727 SOS 29088 HAS SOPS 29088 HAS SOUS 19250 HAS SOUPS 19250 WITH SCORE 19279.088
AT ITER 2354 NEW BEST:: SOT 66734 SOS 29043 HAS SOPS 29043 HAS SOUS 19168 HAS SOUPS 19168 WITH SCORE 19197.043
AT ITER 2355 NEW BEST:: SOT 66784 SOS 29091 HAS SOPS 29091 HAS SOUS 19146 HAS SOUPS 19146 WITH SCORE 19175.091
AT ITER 2360 NEW BEST:: SOT 66791 SOS 29059 HAS SOPS 29059 HAS SOUS 19115 HAS SOUPS 19115 WITH SCORE 19144.059
AT ITER 2369 NEW BEST:: SOT 66789 SOS 29057 HAS SOPS 29057 HAS SOUS 19107 HAS SOUPS 19107 WITH SCORE 19136.057
AT ITER 2381 NEW BEST:: SOT 66794 SOS 28850 HAS SOPS 28850 HAS SOUS 19106 HAS SOUPS 19106 WITH SCORE 19134.85
AT ITER 2382 NEW BEST:: SOT 66733 SOS 28807 HAS SOPS 28807 HAS SOUS 19072 HAS SOUPS 19072 WITH SCORE 19100.807
AT ITER 2391 NEW BEST:: SOT 66733 SOS 28614 HAS SOPS 28614 HAS SOUS 18980 HAS SOUPS 18980 WITH SCORE 19008.614
AT ITER 2406 NEW BEST:: SOT 66730 SOS 28604 HAS SOPS 28604 HAS SOUS 18979 HAS SOUPS 18979 WITH SCORE 19007.604
AT ITER 2415 NEW BEST:: SOT 66719 SOS 28593 HAS SOPS 28593 HAS SOUS 18967 HAS SOUPS 18967 WITH SCORE 18995.593
AT ITER 2421 NEW BEST:: SOT 66709 SOS 28570 HAS SOPS 28570 HAS SOUS 18927 HAS SOUPS 18927 WITH SCORE 18955.57
AT ITER 2445 NEW BEST:: SOT 66643 SOS 28707 HAS SOPS 28707 HAS SOUS 18919 HAS SOUPS 18919 WITH SCORE 18947.707
AT ITER 2464 NEW BEST:: SOT 66631 SOS 28657 HAS SOPS 28657 HAS SOUS 18867 HAS SOUPS 18867 WITH SCORE 18895.657
AT ITER 2480 NEW BEST:: SOT 66631 SOS 28655 HAS SOPS 28655 HAS SOUS 18867 HAS SOUPS 18867 WITH SCORE 18895.655
AT ITER 2484 NEW BEST:: SOT 66603 SOS 28619 HAS SOPS 28619 HAS SOUS 18783 HAS SOUPS 18783 WITH SCORE 18811.619
AT ITER 2487 NEW BEST:: SOT 66603 SOS 28603 HAS SOPS 28603 HAS SOUS 18762 HAS SOUPS 18762 WITH SCORE 18790.603
AT ITER 2492 NEW BEST:: SOT 66584 SOS 28533 HAS SOPS 28533 HAS SOUS 18701 HAS SOUPS 18701 WITH SCORE 18729.533
AT ITER 2500 NEW BEST:: SOT 66609 SOS 28546 HAS SOPS 28546 HAS SOUS 18698 HAS SOUPS 18698 WITH SCORE 18726.546
AT ITER 2506 NEW BEST:: SOT 66590 SOS 28371 HAS SOPS 28371 HAS SOUS 18653 HAS SOUPS 18653 WITH SCORE 18681.371
AT ITER 2517 NEW BEST:: SOT 66631 SOS 28445 HAS SOPS 28445 HAS SOUS 18643 HAS SOUPS 18643 WITH SCORE 18671.445
AT ITER 2522 NEW BEST:: SOT 66616 SOS 28419 HAS SOPS 28419 HAS SOUS 18566 HAS SOUPS 18566 WITH SCORE 18594.419
AT ITER 2541 NEW BEST:: SOT 66583 SOS 28109 HAS SOPS 28109 HAS SOUS 18525 HAS SOUPS 18525 WITH SCORE 18553.109
AT ITER 2550 NEW BEST:: SOT 66580 SOS 28096 HAS SOPS 28096 HAS SOUS 18512 HAS SOUPS 18512 WITH SCORE 18540.096
AT ITER 2562 NEW BEST:: SOT 66532 SOS 28007 HAS SOPS 28007 HAS SOUS 18450 HAS SOUPS 18450 WITH SCORE 18478.007
AT ITER 2579 NEW BEST:: SOT 66494 SOS 27969 HAS SOPS 27969 HAS SOUS 18412 HAS SOUPS 18412 WITH SCORE 18439.969
AT ITER 2585 NEW BEST:: SOT 66470 SOS 27945 HAS SOPS 27945 HAS SOUS 18368 HAS SOUPS 18368 WITH SCORE 18395.945
AT ITER 2591 NEW BEST:: SOT 66503 SOS 27929 HAS SOPS 27929 HAS SOUS 18360 HAS SOUPS 18360 WITH SCORE 18387.929
AT ITER 2605 NEW BEST:: SOT 66459 SOS 27875 HAS SOPS 27875 HAS SOUS 18329 HAS SOUPS 18329 WITH SCORE 18356.875
AT ITER 2607 NEW BEST:: SOT 66472 SOS 27882 HAS SOPS 27882 HAS SOUS 18328 HAS SOUPS 18328 WITH SCORE 18355.882
AT ITER 2608 NEW BEST:: SOT 66379 SOS 27743 HAS SOPS 27743 HAS SOUS 18166 HAS SOUPS 18166 WITH SCORE 18193.743
AT ITER 2612 NEW BEST:: SOT 66399 SOS 27761 HAS SOPS 27761 HAS SOUS 18165 HAS SOUPS 18165 WITH SCORE 18192.761
AT ITER 2613 NEW BEST:: SOT 66399 SOS 27689 HAS SOPS 27689 HAS SOUS 18120 HAS SOUPS 18120 WITH SCORE 18147.689
AT ITER 2664 NEW BEST:: SOT 66399 SOS 27679 HAS SOPS 27679 HAS SOUS 18116 HAS SOUPS 18116 WITH SCORE 18143.679
AT ITER 2666 NEW BEST:: SOT 66397 SOS 27676 HAS SOPS 27676 HAS SOUS 18113 HAS SOUPS 18113 WITH SCORE 18140.676
AT ITER 2676 NEW BEST:: SOT 66402 SOS 27689 HAS SOPS 27689 HAS SOUS 18090 HAS SOUPS 18090 WITH SCORE 18117.689
AT ITER 2681 NEW BEST:: SOT 66421 SOS 27685 HAS SOPS 27685 HAS SOUS 18070 HAS SOUPS 18070 WITH SCORE 18097.685
AT ITER 2754 NEW BEST:: SOT 66409 SOS 27695 HAS SOPS 27695 HAS SOUS 18027 HAS SOUPS 18027 WITH SCORE 18054.695
AT ITER 2769 NEW BEST:: SOT 66499 SOS 27721 HAS SOPS 27721 HAS SOUS 17996 HAS SOUPS 17996 WITH SCORE 18023.721
AT ITER 2772 NEW BEST:: SOT 66502 SOS 27730 HAS SOPS 27730 HAS SOUS 17960 HAS SOUPS 17960 WITH SCORE 17987.73
AT ITER 2779 NEW BEST:: SOT 66500 SOS 27727 HAS SOPS 27727 HAS SOUS 17953 HAS SOUPS 17953 WITH SCORE 17980.727
AT ITER 2786 NEW BEST:: SOT 66488 SOS 27751 HAS SOPS 27751 HAS SOUS 17947 HAS SOUPS 17947 WITH SCORE 17974.751
AT ITER 2789 NEW BEST:: SOT 66443 SOS 27711 HAS SOPS 27711 HAS SOUS 17907 HAS SOUPS 17907 WITH SCORE 17934.711
AT ITER 2818 NEW BEST:: SOT 66419 SOS 27678 HAS SOPS 27678 HAS SOUS 17879 HAS SOUPS 17879 WITH SCORE 17906.678
AT ITER 2819 NEW BEST:: SOT 66418 SOS 27665 HAS SOPS 27665 HAS SOUS 17878 HAS SOUPS 17878 WITH SCORE 17905.665
AT ITER 2841 NEW BEST:: SOT 66420 SOS 27666 HAS SOPS 27666 HAS SOUS 17870 HAS SOUPS 17870 WITH SCORE 17897.666
AT ITER 2851 NEW BEST:: SOT 66380 SOS 27532 HAS SOPS 27532 HAS SOUS 17751 HAS SOUPS 17751 WITH SCORE 17778.532
AT ITER 2865 NEW BEST:: SOT 66344 SOS 27616 HAS SOPS 27616 HAS SOUS 17619 HAS SOUPS 17619 WITH SCORE 17646.616
AT ITER 2883 NEW BEST:: SOT 66337 SOS 27608 HAS SOPS 27608 HAS SOUS 17609 HAS SOUPS 17609 WITH SCORE 17636.608
AT ITER 2896 NEW BEST:: SOT 66336 SOS 27598 HAS SOPS 27598 HAS SOUS 17609 HAS SOUPS 17609 WITH SCORE 17636.598
AT ITER 2903 NEW BEST:: SOT 66339 SOS 27579 HAS SOPS 27579 HAS SOUS 17601 HAS SOUPS 17601 WITH SCORE 17628.579
AT ITER 2923 NEW BEST:: SOT 66303 SOS 27536 HAS SOPS 27536 HAS SOUS 17558 HAS SOUPS 17558 WITH SCORE 17585.536
AT ITER 2925 NEW BEST:: SOT 66290 SOS 27502 HAS SOPS 27502 HAS SOUS 17522 HAS SOUPS 17522 WITH SCORE 17549.502
AT ITER 2935 NEW BEST:: SOT 66298 SOS 27478 HAS SOPS 27478 HAS SOUS 17498 HAS SOUPS 17498 WITH SCORE 17525.478
AT ITER 2968 NEW BEST:: SOT 66278 SOS 27458 HAS SOPS 27458 HAS SOUS 17478 HAS SOUPS 17478 WITH SCORE 17505.458
AT ITER 2984 NEW BEST:: SOT 66275 SOS 27444 HAS SOPS 27444 HAS SOUS 17453 HAS SOUPS 17453 WITH SCORE 17480.444
AT ITER 3018 NEW BEST:: SOT 66273 SOS 27438 HAS SOPS 27438 HAS SOUS 17449 HAS SOUPS 17449 WITH SCORE 17476.438
AT ITER 3037 NEW BEST:: SOT 66273 SOS 27435 HAS SOPS 27435 HAS SOUS 17434 HAS SOUPS 17434 WITH SCORE 17461.435
AT ITER 3040 NEW BEST:: SOT 66273 SOS 27435 HAS SOPS 27435 HAS SOUS 17428 HAS SOUPS 17428 WITH SCORE 17455.435
AT ITER 3098 NEW BEST:: SOT 66273 SOS 27416 HAS SOPS 27416 HAS SOUS 17404 HAS SOUPS 17404 WITH SCORE 17431.416
AT ITER 3106 NEW BEST:: SOT 66264 SOS 27398 HAS SOPS 27398 HAS SOUS 17395 HAS SOUPS 17395 WITH SCORE 17422.398
AT ITER 3119 NEW BEST:: SOT 66256 SOS 27662 HAS SOPS 27662 HAS SOUS 17262 HAS SOUPS 17262 WITH SCORE 17289.662
AT ITER 3134 NEW BEST:: SOT 66250 SOS 27636 HAS SOPS 27636 HAS SOUS 17236 HAS SOUPS 17236 WITH SCORE 17263.636
AT ITER 3137 NEW BEST:: SOT 66226 SOS 27630 HAS SOPS 27630 HAS SOUS 17207 HAS SOUPS 17207 WITH SCORE 17234.63
AT ITER 3157 NEW BEST:: SOT 66212 SOS 27600 HAS SOPS 27600 HAS SOUS 17189 HAS SOUPS 17189 WITH SCORE 17216.6
AT ITER 3168 NEW BEST:: SOT 66210 SOS 27598 HAS SOPS 27598 HAS SOUS 17187 HAS SOUPS 17187 WITH SCORE 17214.598
AT ITER 3171 NEW BEST:: SOT 66193 SOS 27578 HAS SOPS 27578 HAS SOUS 17167 HAS SOUPS 17167 WITH SCORE 17194.578
AT ITER 3173 NEW BEST:: SOT 66188 SOS 27533 HAS SOPS 27533 HAS SOUS 17124 HAS SOUPS 17124 WITH SCORE 17151.533
AT ITER 3202 NEW BEST:: SOT 66156 SOS 27489 HAS SOPS 27489 HAS SOUS 17075 HAS SOUPS 17075 WITH SCORE 17102.489
AT ITER 3209 NEW BEST:: SOT 66130 SOS 27488 HAS SOPS 27488 HAS SOUS 17074 HAS SOUPS 17074 WITH SCORE 17101.488
AT ITER 3217 NEW BEST:: SOT 66106 SOS 27448 HAS SOPS 27448 HAS SOUS 17034 HAS SOUPS 17034 WITH SCORE 17061.448
AT ITER 3222 NEW BEST:: SOT 66150 SOS 27328 HAS SOPS 27328 HAS SOUS 17000 HAS SOUPS 17000 WITH SCORE 17027.328
AT ITER 3258 NEW BEST:: SOT 66149 SOS 27323 HAS SOPS 27323 HAS SOUS 17000 HAS SOUPS 17000 WITH SCORE 17027.323
AT ITER 3259 NEW BEST:: SOT 66136 SOS 27429 HAS SOPS 27429 HAS SOUS 16998 HAS SOUPS 16998 WITH SCORE 17025.429
AT ITER 3260 NEW BEST:: SOT 66142 SOS 27333 HAS SOPS 27333 HAS SOUS 16974 HAS SOUPS 16974 WITH SCORE 17001.333
AT ITER 3262 NEW BEST:: SOT 66147 SOS 27338 HAS SOPS 27338 HAS SOUS 16965 HAS SOUPS 16965 WITH SCORE 16992.338
AT ITER 3267 NEW BEST:: SOT 66144 SOS 27332 HAS SOPS 27332 HAS SOUS 16959 HAS SOUPS 16959 WITH SCORE 16986.332
AT ITER 3269 NEW BEST:: SOT 66071 SOS 27190 HAS SOPS 27190 HAS SOUS 16854 HAS SOUPS 16854 WITH SCORE 16881.19
AT ITER 3276 NEW BEST:: SOT 66070 SOS 27189 HAS SOPS 27189 HAS SOUS 16849 HAS SOUPS 16849 WITH SCORE 16876.189
AT ITER 3311 NEW BEST:: SOT 66045 SOS 27098 HAS SOPS 27098 HAS SOUS 16795 HAS SOUPS 16795 WITH SCORE 16822.098
AT ITER 3312 NEW BEST:: SOT 66043 SOS 27099 HAS SOPS 27099 HAS SOUS 16790 HAS SOUPS 16790 WITH SCORE 16817.099
AT ITER 3318 NEW BEST:: SOT 66024 SOS 27091 HAS SOPS 27091 HAS SOUS 16777 HAS SOUPS 16777 WITH SCORE 16804.091
AT ITER 3325 NEW BEST:: SOT 66010 SOS 27077 HAS SOPS 27077 HAS SOUS 16763 HAS SOUPS 16763 WITH SCORE 16790.077
AT ITER 3338 NEW BEST:: SOT 66000 SOS 27067 HAS SOPS 27067 HAS SOUS 16748 HAS SOUPS 16748 WITH SCORE 16775.067
AT ITER 3354 NEW BEST:: SOT 66014 SOS 27168 HAS SOPS 27168 HAS SOUS 16747 HAS SOUPS 16747 WITH SCORE 16774.168
AT ITER 3356 NEW BEST:: SOT 66005 SOS 27133 HAS SOPS 27133 HAS SOUS 16719 HAS SOUPS 16719 WITH SCORE 16746.133
AT ITER 3362 NEW BEST:: SOT 66012 SOS 27113 HAS SOPS 27113 HAS SOUS 16704 HAS SOUPS 16704 WITH SCORE 16731.113
AT ITER 3371 NEW BEST:: SOT 65997 SOS 27098 HAS SOPS 27098 HAS SOUS 16689 HAS SOUPS 16689 WITH SCORE 16716.098
AT ITER 3382 NEW BEST:: SOT 65974 SOS 27075 HAS SOPS 27075 HAS SOUS 16666 HAS SOUPS 16666 WITH SCORE 16693.075
AT ITER 3400 NEW BEST:: SOT 65974 SOS 27072 HAS SOPS 27072 HAS SOUS 16664 HAS SOUPS 16664 WITH SCORE 16691.072
AT ITER 3404 NEW BEST:: SOT 65947 SOS 27081 HAS SOPS 27081 HAS SOUS 16637 HAS SOUPS 16637 WITH SCORE 16664.081
AT ITER 3439 NEW BEST:: SOT 65947 SOS 27067 HAS SOPS 27067 HAS SOUS 16616 HAS SOUPS 16616 WITH SCORE 16643.067
AT ITER 3451 NEW BEST:: SOT 65965 SOS 27152 HAS SOPS 27152 HAS SOUS 16598 HAS SOUPS 16598 WITH SCORE 16625.152
AT ITER 3454 NEW BEST:: SOT 65961 SOS 27298 HAS SOPS 27298 HAS SOUS 16594 HAS SOUPS 16594 WITH SCORE 16621.298
AT ITER 3461 NEW BEST:: SOT 65961 SOS 27289 HAS SOPS 27289 HAS SOUS 16592 HAS SOUPS 16592 WITH SCORE 16619.289
AT ITER 3488 NEW BEST:: SOT 65916 SOS 27244 HAS SOPS 27244 HAS SOUS 16559 HAS SOUPS 16559 WITH SCORE 16586.244
AT ITER 3516 NEW BEST:: SOT 65911 SOS 27239 HAS SOPS 27239 HAS SOUS 16558 HAS SOUPS 16558 WITH SCORE 16585.239
AT ITER 3517 NEW BEST:: SOT 65905 SOS 27238 HAS SOPS 27238 HAS SOUS 16546 HAS SOUPS 16546 WITH SCORE 16573.238
AT ITER 3543 NEW BEST:: SOT 65877 SOS 27210 HAS SOPS 27210 HAS SOUS 16518 HAS SOUPS 16518 WITH SCORE 16545.21
AT ITER 3567 NEW BEST:: SOT 65877 SOS 27147 HAS SOPS 27147 HAS SOUS 16509 HAS SOUPS 16509 WITH SCORE 16536.147
AT ITER 3568 NEW BEST:: SOT 65777 SOS 26759 HAS SOPS 26759 HAS SOUS 16356 HAS SOUPS 16356 WITH SCORE 16382.759
AT ITER 3572 NEW BEST:: SOT 65777 SOS 26758 HAS SOPS 26758 HAS SOUS 16355 HAS SOUPS 16355 WITH SCORE 16381.758
AT ITER 3620 NEW BEST:: SOT 65765 SOS 26716 HAS SOPS 26716 HAS SOUS 16350 HAS SOUPS 16350 WITH SCORE 16376.716
AT ITER 3628 NEW BEST:: SOT 65750 SOS 26690 HAS SOPS 26690 HAS SOUS 16327 HAS SOUPS 16327 WITH SCORE 16353.69
AT ITER 3632 NEW BEST:: SOT 65726 SOS 26666 HAS SOPS 26666 HAS SOUS 16305 HAS SOUPS 16305 WITH SCORE 16331.666
AT ITER 3637 NEW BEST:: SOT 65600 SOS 26556 HAS SOPS 26556 HAS SOUS 16211 HAS SOUPS 16211 WITH SCORE 16237.556
AT ITER 3640 NEW BEST:: SOT 65595 SOS 26510 HAS SOPS 26510 HAS SOUS 16201 HAS SOUPS 16201 WITH SCORE 16227.51
AT ITER 3654 NEW BEST:: SOT 65543 SOS 26453 HAS SOPS 26453 HAS SOUS 16124 HAS SOUPS 16124 WITH SCORE 16150.453
AT ITER 3664 NEW BEST:: SOT 65534 SOS 26444 HAS SOPS 26444 HAS SOUS 16115 HAS SOUPS 16115 WITH SCORE 16141.444
AT ITER 3671 NEW BEST:: SOT 65476 SOS 26415 HAS SOPS 26415 HAS SOUS 16085 HAS SOUPS 16085 WITH SCORE 16111.415
AT ITER 3674 NEW BEST:: SOT 65461 SOS 26395 HAS SOPS 26395 HAS SOUS 16045 HAS SOUPS 16045 WITH SCORE 16071.395
AT ITER 3683 NEW BEST:: SOT 65461 SOS 26391 HAS SOPS 26391 HAS SOUS 16025 HAS SOUPS 16025 WITH SCORE 16051.391
AT ITER 3684 NEW BEST:: SOT 65440 SOS 26678 HAS SOPS 26678 HAS SOUS 16016 HAS SOUPS 16016 WITH SCORE 16042.678
AT ITER 3685 NEW BEST:: SOT 65406 SOS 26579 HAS SOPS 26579 HAS SOUS 15982 HAS SOUPS 15982 WITH SCORE 16008.579
AT ITER 3686 NEW BEST:: SOT 65402 SOS 26571 HAS SOPS 26571 HAS SOUS 15970 HAS SOUPS 15970 WITH SCORE 15996.571
AT ITER 3721 NEW BEST:: SOT 65418 SOS 26584 HAS SOPS 26584 HAS SOUS 15944 HAS SOUPS 15944 WITH SCORE 15970.584
AT ITER 3742 NEW BEST:: SOT 65364 SOS 26501 HAS SOPS 26501 HAS SOUS 15882 HAS SOUPS 15882 WITH SCORE 15908.501
AT ITER 3746 NEW BEST:: SOT 65364 SOS 26437 HAS SOPS 26437 HAS SOUS 15878 HAS SOUPS 15878 WITH SCORE 15904.437
AT ITER 3747 NEW BEST:: SOT 65357 SOS 26430 HAS SOPS 26430 HAS SOUS 15871 HAS SOUPS 15871 WITH SCORE 15897.43
AT ITER 3764 NEW BEST:: SOT 65339 SOS 26424 HAS SOPS 26424 HAS SOUS 15843 HAS SOUPS 15843 WITH SCORE 15869.424
AT ITER 3767 NEW BEST:: SOT 65339 SOS 26410 HAS SOPS 26410 HAS SOUS 15831 HAS SOUPS 15831 WITH SCORE 15857.41
AT ITER 3782 NEW BEST:: SOT 65339 SOS 26410 HAS SOPS 26410 HAS SOUS 15802 HAS SOUPS 15802 WITH SCORE 15828.41
AT ITER 3800 NEW BEST:: SOT 65339 SOS 26492 HAS SOPS 26492 HAS SOUS 15731 HAS SOUPS 15731 WITH SCORE 15757.492
AT ITER 3867 NEW BEST:: SOT 65322 SOS 26475 HAS SOPS 26475 HAS SOUS 15711 HAS SOUPS 15711 WITH SCORE 15737.475
AT ITER 3870 NEW BEST:: SOT 65363 SOS 26518 HAS SOPS 26518 HAS SOUS 15699 HAS SOUPS 15699 WITH SCORE 15725.518
AT ITER 3892 NEW BEST:: SOT 65352 SOS 26496 HAS SOPS 26496 HAS SOUS 15669 HAS SOUPS 15669 WITH SCORE 15695.496
AT ITER 3973 NEW BEST:: SOT 65332 SOS 26489 HAS SOPS 26489 HAS SOUS 15631 HAS SOUPS 15631 WITH SCORE 15657.489
AT ITER 3998 NEW BEST:: SOT 65300 SOS 26463 HAS SOPS 26463 HAS SOUS 15622 HAS SOUPS 15622 WITH SCORE 15648.463
AT ITER 4019 NEW BEST:: SOT 65294 SOS 26459 HAS SOPS 26459 HAS SOUS 15620 HAS SOUPS 15620 WITH SCORE 15646.459
AT ITER 4020 NEW BEST:: SOT 65300 SOS 26527 HAS SOPS 26527 HAS SOUS 15610 HAS SOUPS 15610 WITH SCORE 15636.527
AT ITER 4026 NEW BEST:: SOT 65279 SOS 26340 HAS SOPS 26340 HAS SOUS 15572 HAS SOUPS 15572 WITH SCORE 15598.34
AT ITER 4057 NEW BEST:: SOT 65288 SOS 26349 HAS SOPS 26349 HAS SOUS 15570 HAS SOUPS 15570 WITH SCORE 15596.349
AT ITER 4062 NEW BEST:: SOT 65287 SOS 26366 HAS SOPS 26366 HAS SOUS 15565 HAS SOUPS 15565 WITH SCORE 15591.366
AT ITER 4063 NEW BEST:: SOT 65283 SOS 26312 HAS SOPS 26312 HAS SOUS 15562 HAS SOUPS 15562 WITH SCORE 15588.312
AT ITER 4075 NEW BEST:: SOT 65204 SOS 26192 HAS SOPS 26192 HAS SOUS 15413 HAS SOUPS 15413 WITH SCORE 15439.192
AT ITER 4082 NEW BEST:: SOT 65193 SOS 26232 HAS SOPS 26232 HAS SOUS 15402 HAS SOUPS 15402 WITH SCORE 15428.232
AT ITER 4155 NEW BEST:: SOT 65172 SOS 26214 HAS SOPS 26214 HAS SOUS 15383 HAS SOUPS 15383 WITH SCORE 15409.214
AT ITER 4165 NEW BEST:: SOT 65172 SOS 26195 HAS SOPS 26195 HAS SOUS 15381 HAS SOUPS 15381 WITH SCORE 15407.195
AT ITER 4169 NEW BEST:: SOT 65169 SOS 26183 HAS SOPS 26183 HAS SOUS 15362 HAS SOUPS 15362 WITH SCORE 15388.183
AT ITER 4183 NEW BEST:: SOT 65169 SOS 26071 HAS SOPS 26071 HAS SOUS 15332 HAS SOUPS 15332 WITH SCORE 15358.071
AT ITER 4209 NEW BEST:: SOT 65147 SOS 25999 HAS SOPS 25999 HAS SOUS 15319 HAS SOUPS 15319 WITH SCORE 15344.999
AT ITER 4257 NEW BEST:: SOT 65135 SOS 25983 HAS SOPS 25983 HAS SOUS 15303 HAS SOUPS 15303 WITH SCORE 15328.983
AT ITER 4267 NEW BEST:: SOT 65135 SOS 25974 HAS SOPS 25974 HAS SOUS 15266 HAS SOUPS 15266 WITH SCORE 15291.974
AT ITER 4299 NEW BEST:: SOT 65122 SOS 25936 HAS SOPS 25936 HAS SOUS 15261 HAS SOUPS 15261 WITH SCORE 15286.936
AT ITER 4344 NEW BEST:: SOT 65106 SOS 25920 HAS SOPS 25920 HAS SOUS 15245 HAS SOUPS 15245 WITH SCORE 15270.92
AT ITER 4345 NEW BEST:: SOT 65081 SOS 25410 HAS SOPS 25410 HAS SOUS 15185 HAS SOUPS 15185 WITH SCORE 15210.41
AT ITER 4355 NEW BEST:: SOT 65089 SOS 25418 HAS SOPS 25418 HAS SOUS 15183 HAS SOUPS 15183 WITH SCORE 15208.418
AT ITER 4365 NEW BEST:: SOT 65110 SOS 25399 HAS SOPS 25399 HAS SOUS 15157 HAS SOUPS 15157 WITH SCORE 15182.399
AT ITER 4378 NEW BEST:: SOT 65117 SOS 25392 HAS SOPS 25392 HAS SOUS 15149 HAS SOUPS 15149 WITH SCORE 15174.392
AT ITER 4395 NEW BEST:: SOT 65161 SOS 25366 HAS SOPS 25366 HAS SOUS 15057 HAS SOUPS 15057 WITH SCORE 15082.366
AT ITER 4411 NEW BEST:: SOT 65148 SOS 25443 HAS SOPS 25443 HAS SOUS 15056 HAS SOUPS 15056 WITH SCORE 15081.443
AT ITER 4445 NEW BEST:: SOT 65105 SOS 25585 HAS SOPS 25585 HAS SOUS 15016 HAS SOUPS 15016 WITH SCORE 15041.585
AT ITER 4474 NEW BEST:: SOT 65093 SOS 25562 HAS SOPS 25562 HAS SOUS 14991 HAS SOUPS 14991 WITH SCORE 15016.562
AT ITER 4480 NEW BEST:: SOT 65078 SOS 25553 HAS SOPS 25553 HAS SOUS 14982 HAS SOUPS 14982 WITH SCORE 15007.553
AT ITER 4528 NEW BEST:: SOT 65082 SOS 25484 HAS SOPS 25484 HAS SOUS 14982 HAS SOUPS 14982 WITH SCORE 15007.484
AT ITER 4551 NEW BEST:: SOT 65003 SOS 25452 HAS SOPS 25452 HAS SOUS 14909 HAS SOUPS 14909 WITH SCORE 14934.452
AT ITER 4563 NEW BEST:: SOT 65019 SOS 25446 HAS SOPS 25446 HAS SOUS 14901 HAS SOUPS 14901 WITH SCORE 14926.446
AT ITER 4596 NEW BEST:: SOT 65015 SOS 25440 HAS SOPS 25440 HAS SOUS 14895 HAS SOUPS 14895 WITH SCORE 14920.44
AT ITER 4607 NEW BEST:: SOT 64968 SOS 25382 HAS SOPS 25382 HAS SOUS 14799 HAS SOUPS 14799 WITH SCORE 14824.382
AT ITER 4629 NEW BEST:: SOT 64968 SOS 25282 HAS SOPS 25282 HAS SOUS 14769 HAS SOUPS 14769 WITH SCORE 14794.282
AT ITER 4634 NEW BEST:: SOT 64968 SOS 25284 HAS SOPS 25284 HAS SOUS 14754 HAS SOUPS 14754 WITH SCORE 14779.284
AT ITER 4656 NEW BEST:: SOT 64782 SOS 25221 HAS SOPS 25221 HAS SOUS 14701 HAS SOUPS 14701 WITH SCORE 14726.221
AT ITER 4697 NEW BEST:: SOT 64674 SOS 25113 HAS SOPS 25113 HAS SOUS 14593 HAS SOUPS 14593 WITH SCORE 14618.113
AT ITER 4701 NEW BEST:: SOT 64615 SOS 25028 HAS SOPS 25028 HAS SOUS 14515 HAS SOUPS 14515 WITH SCORE 14540.028
AT ITER 4708 NEW BEST:: SOT 64589 SOS 25002 HAS SOPS 25002 HAS SOUS 14458 HAS SOUPS 14458 WITH SCORE 14483.002
AT ITER 4709 NEW BEST:: SOT 64582 SOS 24995 HAS SOPS 24995 HAS SOUS 14451 HAS SOUPS 14451 WITH SCORE 14475.995
AT ITER 4722 NEW BEST:: SOT 64522 SOS 24883 HAS SOPS 24883 HAS SOUS 14399 HAS SOUPS 14399 WITH SCORE 14423.883
AT ITER 4735 NEW BEST:: SOT 64522 SOS 24875 HAS SOPS 24875 HAS SOUS 14399 HAS SOUPS 14399 WITH SCORE 14423.875
AT ITER 4736 NEW BEST:: SOT 64514 SOS 24867 HAS SOPS 24867 HAS SOUS 14391 HAS SOUPS 14391 WITH SCORE 14415.867
AT ITER 4748 NEW BEST:: SOT 64504 SOS 24857 HAS SOPS 24857 HAS SOUS 14354 HAS SOUPS 14354 WITH SCORE 14378.857
AT ITER 4779 NEW BEST:: SOT 64504 SOS 24849 HAS SOPS 24849 HAS SOUS 14343 HAS SOUPS 14343 WITH SCORE 14367.849
AT ITER 4782 NEW BEST:: SOT 64504 SOS 24876 HAS SOPS 24876 HAS SOUS 14325 HAS SOUPS 14325 WITH SCORE 14349.876
AT ITER 4791 NEW BEST:: SOT 64504 SOS 24876 HAS SOPS 24876 HAS SOUS 14315 HAS SOUPS 14315 WITH SCORE 14339.876
AT ITER 4794 NEW BEST:: SOT 64425 SOS 24928 HAS SOPS 24928 HAS SOUS 14264 HAS SOUPS 14264 WITH SCORE 14288.928
AT ITER 4795 NEW BEST:: SOT 64380 SOS 24883 HAS SOPS 24883 HAS SOUS 14191 HAS SOUPS 14191 WITH SCORE 14215.883
AT ITER 4804 NEW BEST:: SOT 64354 SOS 24821 HAS SOPS 24821 HAS SOUS 14144 HAS SOUPS 14144 WITH SCORE 14168.821
AT ITER 4816 NEW BEST:: SOT 64330 SOS 24787 HAS SOPS 24787 HAS SOUS 14110 HAS SOUPS 14110 WITH SCORE 14134.787
AT ITER 4838 NEW BEST:: SOT 64324 SOS 24775 HAS SOPS 24775 HAS SOUS 14090 HAS SOUPS 14090 WITH SCORE 14114.775
AT ITER 4862 NEW BEST:: SOT 64324 SOS 24773 HAS SOPS 24773 HAS SOUS 14081 HAS SOUPS 14081 WITH SCORE 14105.773
AT ITER 4869 NEW BEST:: SOT 64324 SOS 24473 HAS SOPS 24473 HAS SOUS 14064 HAS SOUPS 14064 WITH SCORE 14088.473
AT ITER 4878 NEW BEST:: SOT 64272 SOS 24225 HAS SOPS 24225 HAS SOUS 14035 HAS SOUPS 14035 WITH SCORE 14059.225
AT ITER 4922 NEW BEST:: SOT 64214 SOS 24604 HAS SOPS 24604 HAS SOUS 13975 HAS SOUPS 13975 WITH SCORE 13999.604
AT ITER 4932 NEW BEST:: SOT 64185 SOS 24572 HAS SOPS 24572 HAS SOUS 13943 HAS SOUPS 13943 WITH SCORE 13967.572
AT ITER 4948 NEW BEST:: SOT 64180 SOS 24566 HAS SOPS 24566 HAS SOUS 13934 HAS SOUPS 13934 WITH SCORE 13958.566
AT ITER 4949 NEW BEST:: SOT 64173 SOS 24547 HAS SOPS 24547 HAS SOUS 13891 HAS SOUPS 13891 WITH SCORE 13915.547
AT ITER 4956 NEW BEST:: SOT 64173 SOS 24547 HAS SOPS 24547 HAS SOUS 13888 HAS SOUPS 13888 WITH SCORE 13912.547
AT ITER 4975 NEW BEST:: SOT 64159 SOS 24533 HAS SOPS 24533 HAS SOUS 13854 HAS SOUPS 13854 WITH SCORE 13878.533
AT ITER 4985 NEW BEST:: SOT 64159 SOS 24530 HAS SOPS 24530 HAS SOUS 13853 HAS SOUPS 13853 WITH SCORE 13877.53
AT ITER 4997 NEW BEST:: SOT 64136 SOS 24492 HAS SOPS 24492 HAS SOUS 13825 HAS SOUPS 13825 WITH SCORE 13849.492
AT ITER 4999 NEW BEST:: SOT 64135 SOS 24495 HAS SOPS 24495 HAS SOUS 13824 HAS SOUPS 13824 WITH SCORE 13848.495
Bounds file is: CTLFireability.xml
PROPERTY: ShieldRVs-PT-020A-CTLFireability-00 (AF( (AX( (EG( ((potential((tk(P202)>=1) & (tk(P204)>=1) & (tk(P208)>=1))))))))))
PROPERTY: ShieldRVs-PT-020A-CTLFireability-01 (EF( ( ( ( (! ((potential((tk(P102)>=1) & (tk(P117)>=1) & (tk(P129)>=1))))) | ((potential((tk(P263)>=1) & (tk(P267)>=1) & (tk(P276)>=1)))) ) & (! (! ((potential((tk(P67)>=1) & (tk(P73)>=1) & (tk(P80)>=1)))))) ) & (AG( ( ((potential((tk(P130)>=1) & (tk(P147)>=1) & (tk(P156)>=1)))) & ((potential((tk(P77)>=1) & (tk(P78)>=1) & (tk(P82)>=1)))) ))) )))
PROPERTY: ShieldRVs-PT-020A-CTLFireability-02 (EF( (EU( ( ((potential((tk(P57)>=1)))) & ((potential((tk(P67)>=1)))) ) , ( ((potential((tk(P139)>=1) & (tk(P141)>=1) & (tk(P150)>=1)))) & ((potential((tk(P88)>=1) & (tk(P103)>=1) & (tk(P115)>=1)))) ) ))))
PROPERTY: ShieldRVs-PT-020A-CTLFireability-03 (! (AG( (! (EG( ((potential((tk(P132)>=1))))))))))
PROPERTY: ShieldRVs-PT-020A-CTLFireability-04 (EF( ((potential((tk(P102)>=1) & (tk(P119)>=1) & (tk(P129)>=1))))))
PROPERTY: ShieldRVs-PT-020A-CTLFireability-05 ( ( (EG( (EG( ((potential((tk(P60)>=1) & (tk(P75)>=1) & (tk(P86)>=1)))))))) | ((potential((tk(P121)>=1) & (tk(P126)>=1)))) ) | (EG( (EX( (! ((potential((tk(P60)>=1) & (tk(P77)>=1) & (tk(P86)>=1))))))))) )
PROPERTY: ShieldRVs-PT-020A-CTLFireability-06 (EX( (EF( ((potential((tk(P207)>=1) & (tk(P211)>=1) & (tk(P220)>=1))))))))
PROPERTY: ShieldRVs-PT-020A-CTLFireability-07 (AF( (EX( (AG( ((potential((tk(P163)>=1) & (tk(P168)>=1))))))))))
PROPERTY: ShieldRVs-PT-020A-CTLFireability-08 (EU( (EX( (! ((potential((tk(P21)>=1) & (tk(P22)>=1) & (tk(P26)>=1))))))) , (AF( ( ((potential((tk(P179)>=1) & (tk(P183)>=1) & (tk(P192)>=1)))) & ((potential((tk(P60)>=1) & (tk(P75)>=1) & (tk(P87)>=1)))) ))) ))
PROPERTY: ShieldRVs-PT-020A-CTLFireability-09 (EU( (! (EG( ((potential((tk(P279)>=1) & (tk(P283)>=1))))))) , ( ( ( ((potential((tk(P20)>=1)))) | ((potential((tk(P53)>=1)))) ) & ( ((potential((tk(P26)>=1)))) & ((potential((tk(P231)>=1) & (tk(P232)>=1) & (tk(P237)>=1)))) ) ) & ( (! ((potential((tk(P15)>=1))))) & ( ((potential((tk(P123)>=1) & (tk(P129)>=1) & (tk(P136)>=1)))) & ((potential((tk(P39)>=1) & (tk(P43)>=1) & (tk(P52)>=1)))) ) ) ) ))
PROPERTY: ShieldRVs-PT-020A-CTLFireability-10 (AG( (EF( ( ( ((potential((tk(P49)>=1) & (tk(P50)>=1) & (tk(P54)>=1)))) & ((potential((tk(P88)>=1) & (tk(P103)>=1) & (tk(P115)>=1)))) ) | ( ((potential((tk(P159)>=1)))) & ((potential((tk(P194)>=1)))) ) )))))
PROPERTY: ShieldRVs-PT-020A-CTLFireability-11 (! ( (AU( ((potential((tk(P110)>=1)))) , (! ((potential((tk(P4)>=1) & (tk(P21)>=1) & (tk(P30)>=1))))) )) & (AF( (! (! ((potential((tk(P81)>=1) & (tk(P85)>=1) & (tk(P94)>=1)))))))) ))
PROPERTY: ShieldRVs-PT-020A-CTLFireability-12 ( (EX( ( (EG( ((potential((tk(P111)>=1) & (tk(P115)>=1) & (tk(P122)>=1)))))) | (AG( ((potential((tk(P251)>=1) & (tk(P253)>=1) & (tk(P262)>=1)))))) ))) | ( (EU( (! ((potential((tk(P35)>=1) & (tk(P36)>=1) & (tk(P40)>=1))))) , ( ((potential((tk(P74)>=1) & (tk(P91)>=1) & (tk(P100)>=1)))) | ((potential((tk(P6)>=1) & (tk(P8)>=1) & (tk(P12)>=1)))) ) )) & ( (EG( ((potential((tk(P242)>=1) & (tk(P259)>=1) & (tk(P268)>=1)))))) | ( (! ( ((potential((tk(P18)>=1) & (tk(P33)>=1) & (tk(P44)>=1)))) & ((potential((tk(P88)>=1) & (tk(P105)>=1) & (tk(P115)>=1)))) )) | ( ((potential((tk(P119)>=1) & (tk(P120)>=1) & (tk(P124)>=1)))) & (! ((potential((tk(P230)>=1))))) ) ) ) ) )
PROPERTY: ShieldRVs-PT-020A-CTLFireability-13 (EF( ( ((potential((tk(P76)>=1) & (tk(P78)>=1) & (tk(P83)>=1)))) | ((potential((tk(P19)>=1)))) )))
PROPERTY: ShieldRVs-PT-020A-CTLFireability-14 ( (AF( (AF( ( ((potential((tk(P125)>=1) & (tk(P127)>=1) & (tk(P136)>=1)))) & ((potential((tk(P272)>=1) & (tk(P274)>=1) & (tk(P278)>=1)))) ))))) & (EF( (! ( ( ((potential((tk(P181)>=1) & (tk(P185)>=1) & (tk(P192)>=1)))) | ((potential((tk(P256)>=1) & (tk(P273)>=1) & (tk(P282)>=1)))) ) & ( ((potential((tk(P95)>=1) & (tk(P101)>=1) & (tk(P108)>=1)))) | ((potential((tk(P258)>=1)))) ) )))) )
PROPERTY: ShieldRVs-PT-020A-CTLFireability-15 (EF( ((potential((tk(P130)>=1) & (tk(P145)>=1) & (tk(P157)>=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="ShieldRVs-PT-020A"
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 ShieldRVs-PT-020A, 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-159033470100844"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVs-PT-020A.tgz
mv ShieldRVs-PT-020A 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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;