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-159033470100843.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470100843
=====================================================================

--------------------
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-CTLCardinality-00
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-01
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-02
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-03
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-04
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-05
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-06
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-07
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-08
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-09
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-10
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-11
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-12
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-13
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-14
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590450868180

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

GOT IT HERE. BS
Petri model created: 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 81321 SOS 69653 HAS SOPS 69653 HAS SOUS 56327 HAS SOUPS 56327 WITH SCORE 56396.653
AT ITER 4 NEW BEST:: SOT 81232 SOS 69630 HAS SOPS 69630 HAS SOUS 56303 HAS SOUPS 56303 WITH SCORE 56372.63
AT ITER 7 NEW BEST:: SOT 81232 SOS 69649 HAS SOPS 69649 HAS SOUS 56283 HAS SOUPS 56283 WITH SCORE 56352.649
AT ITER 12 NEW BEST:: SOT 81193 SOS 69493 HAS SOPS 69493 HAS SOUS 56049 HAS SOUPS 56049 WITH SCORE 56118.493
AT ITER 15 NEW BEST:: SOT 81184 SOS 69301 HAS SOPS 69301 HAS SOUS 55928 HAS SOUPS 55928 WITH SCORE 55997.301
AT ITER 17 NEW BEST:: SOT 81170 SOS 69231 HAS SOPS 69231 HAS SOUS 55857 HAS SOUPS 55857 WITH SCORE 55926.231
AT ITER 19 NEW BEST:: SOT 81049 SOS 68725 HAS SOPS 68725 HAS SOUS 55301 HAS SOUPS 55301 WITH SCORE 55369.725
AT ITER 22 NEW BEST:: SOT 81040 SOS 68716 HAS SOPS 68716 HAS SOUS 55292 HAS SOUPS 55292 WITH SCORE 55360.716
AT ITER 24 NEW BEST:: SOT 80974 SOS 68430 HAS SOPS 68430 HAS SOUS 54729 HAS SOUPS 54729 WITH SCORE 54797.43
AT ITER 32 NEW BEST:: SOT 80969 SOS 68425 HAS SOPS 68425 HAS SOUS 54723 HAS SOUPS 54723 WITH SCORE 54791.425
AT ITER 34 NEW BEST:: SOT 80739 SOS 68195 HAS SOPS 68195 HAS SOUS 54493 HAS SOUPS 54493 WITH SCORE 54561.195
AT ITER 35 NEW BEST:: SOT 80685 SOS 68141 HAS SOPS 68141 HAS SOUS 54439 HAS SOUPS 54439 WITH SCORE 54507.141
AT ITER 41 NEW BEST:: SOT 80644 SOS 67918 HAS SOPS 67918 HAS SOUS 54385 HAS SOUPS 54385 WITH SCORE 54452.918
AT ITER 43 NEW BEST:: SOT 80638 SOS 67912 HAS SOPS 67912 HAS SOUS 54349 HAS SOUPS 54349 WITH SCORE 54416.912
AT ITER 44 NEW BEST:: SOT 80677 SOS 68058 HAS SOPS 68058 HAS SOUS 54288 HAS SOUPS 54288 WITH SCORE 54356.058
AT ITER 45 NEW BEST:: SOT 80640 SOS 68021 HAS SOPS 68021 HAS SOUS 54251 HAS SOUPS 54251 WITH SCORE 54319.021
AT ITER 47 NEW BEST:: SOT 80573 SOS 67567 HAS SOPS 67567 HAS SOUS 53975 HAS SOUPS 53975 WITH SCORE 54042.567
AT ITER 48 NEW BEST:: SOT 80459 SOS 67264 HAS SOPS 67264 HAS SOUS 53479 HAS SOUPS 53479 WITH SCORE 53546.264
AT ITER 52 NEW BEST:: SOT 80465 SOS 67067 HAS SOPS 67067 HAS SOUS 53463 HAS SOUPS 53463 WITH SCORE 53530.067
AT ITER 56 NEW BEST:: SOT 80428 SOS 67030 HAS SOPS 67030 HAS SOUS 53463 HAS SOUPS 53463 WITH SCORE 53530.03
AT ITER 57 NEW BEST:: SOT 80482 SOS 66920 HAS SOPS 66920 HAS SOUS 53112 HAS SOUPS 53112 WITH SCORE 53178.92
AT ITER 59 NEW BEST:: SOT 80603 SOS 66599 HAS SOPS 66599 HAS SOUS 52942 HAS SOUPS 52942 WITH SCORE 53008.599
AT ITER 61 NEW BEST:: SOT 80339 SOS 66335 HAS SOPS 66335 HAS SOUS 52678 HAS SOUPS 52678 WITH SCORE 52744.335
AT ITER 62 NEW BEST:: SOT 80336 SOS 66186 HAS SOPS 66186 HAS SOUS 52657 HAS SOUPS 52657 WITH SCORE 52723.186
AT ITER 63 NEW BEST:: SOT 80295 SOS 65584 HAS SOPS 65584 HAS SOUS 52419 HAS SOUPS 52419 WITH SCORE 52484.584
AT ITER 64 NEW BEST:: SOT 80304 SOS 65271 HAS SOPS 65271 HAS SOUS 52133 HAS SOUPS 52133 WITH SCORE 52198.271
AT ITER 67 NEW BEST:: SOT 80260 SOS 64954 HAS SOPS 64954 HAS SOUS 51863 HAS SOUPS 51863 WITH SCORE 51927.954
AT ITER 69 NEW BEST:: SOT 80239 SOS 64933 HAS SOPS 64933 HAS SOUS 51863 HAS SOUPS 51863 WITH SCORE 51927.933
AT ITER 70 NEW BEST:: SOT 80244 SOS 64757 HAS SOPS 64757 HAS SOUS 51487 HAS SOUPS 51487 WITH SCORE 51551.757
AT ITER 72 NEW BEST:: SOT 80177 SOS 64556 HAS SOPS 64556 HAS SOUS 51218 HAS SOUPS 51218 WITH SCORE 51282.556
AT ITER 73 NEW BEST:: SOT 80172 SOS 64546 HAS SOPS 64546 HAS SOUS 51192 HAS SOUPS 51192 WITH SCORE 51256.546
AT ITER 77 NEW BEST:: SOT 80300 SOS 64578 HAS SOPS 64578 HAS SOUS 51177 HAS SOUPS 51177 WITH SCORE 51241.578
AT ITER 80 NEW BEST:: SOT 80468 SOS 64448 HAS SOPS 64448 HAS SOUS 51008 HAS SOUPS 51008 WITH SCORE 51072.448
AT ITER 83 NEW BEST:: SOT 80402 SOS 64382 HAS SOPS 64382 HAS SOUS 50950 HAS SOUPS 50950 WITH SCORE 51014.382
AT ITER 91 NEW BEST:: SOT 80402 SOS 64382 HAS SOPS 64382 HAS SOUS 50944 HAS SOUPS 50944 WITH SCORE 51008.382
AT ITER 92 NEW BEST:: SOT 80352 SOS 63686 HAS SOPS 63686 HAS SOUS 50664 HAS SOUPS 50664 WITH SCORE 50727.686
AT ITER 95 NEW BEST:: SOT 80639 SOS 63505 HAS SOPS 63505 HAS SOUS 50659 HAS SOUPS 50659 WITH SCORE 50722.505
AT ITER 97 NEW BEST:: SOT 80598 SOS 63464 HAS SOPS 63464 HAS SOUS 50614 HAS SOUPS 50614 WITH SCORE 50677.464
AT ITER 98 NEW BEST:: SOT 80682 SOS 63584 HAS SOPS 63584 HAS SOUS 50515 HAS SOUPS 50515 WITH SCORE 50578.584
AT ITER 99 NEW BEST:: SOT 80650 SOS 63360 HAS SOPS 63360 HAS SOUS 50495 HAS SOUPS 50495 WITH SCORE 50558.36
AT ITER 109 NEW BEST:: SOT 80593 SOS 63105 HAS SOPS 63105 HAS SOUS 50308 HAS SOUPS 50308 WITH SCORE 50371.105
AT ITER 113 NEW BEST:: SOT 80578 SOS 62659 HAS SOPS 62659 HAS SOUS 50196 HAS SOUPS 50196 WITH SCORE 50258.659
AT ITER 116 NEW BEST:: SOT 80551 SOS 62632 HAS SOPS 62632 HAS SOUS 50169 HAS SOUPS 50169 WITH SCORE 50231.632
AT ITER 122 NEW BEST:: SOT 80445 SOS 62421 HAS SOPS 62421 HAS SOUS 49764 HAS SOUPS 49764 WITH SCORE 49826.421
AT ITER 123 NEW BEST:: SOT 80438 SOS 62414 HAS SOPS 62414 HAS SOUS 49756 HAS SOUPS 49756 WITH SCORE 49818.414
AT ITER 132 NEW BEST:: SOT 80411 SOS 62340 HAS SOPS 62340 HAS SOUS 49630 HAS SOUPS 49630 WITH SCORE 49692.34
AT ITER 133 NEW BEST:: SOT 80301 SOS 61695 HAS SOPS 61695 HAS SOUS 49351 HAS SOUPS 49351 WITH SCORE 49412.695
AT ITER 134 NEW BEST:: SOT 80301 SOS 61683 HAS SOPS 61683 HAS SOUS 49341 HAS SOUPS 49341 WITH SCORE 49402.683
AT ITER 135 NEW BEST:: SOT 80263 SOS 61595 HAS SOPS 61595 HAS SOUS 49296 HAS SOUPS 49296 WITH SCORE 49357.595
AT ITER 140 NEW BEST:: SOT 80267 SOS 61529 HAS SOPS 61529 HAS SOUS 49248 HAS SOUPS 49248 WITH SCORE 49309.529
AT ITER 141 NEW BEST:: SOT 80031 SOS 61118 HAS SOPS 61118 HAS SOUS 48502 HAS SOUPS 48502 WITH SCORE 48563.118
AT ITER 144 NEW BEST:: SOT 80015 SOS 60907 HAS SOPS 60907 HAS SOUS 48428 HAS SOUPS 48428 WITH SCORE 48488.907
AT ITER 146 NEW BEST:: SOT 80016 SOS 60912 HAS SOPS 60912 HAS SOUS 48427 HAS SOUPS 48427 WITH SCORE 48487.912
AT ITER 147 NEW BEST:: SOT 79992 SOS 60756 HAS SOPS 60756 HAS SOUS 48400 HAS SOUPS 48400 WITH SCORE 48460.756
AT ITER 156 NEW BEST:: SOT 79983 SOS 60738 HAS SOPS 60738 HAS SOUS 48306 HAS SOUPS 48306 WITH SCORE 48366.738
AT ITER 157 NEW BEST:: SOT 79977 SOS 60732 HAS SOPS 60732 HAS SOUS 48300 HAS SOUPS 48300 WITH SCORE 48360.732
AT ITER 160 NEW BEST:: SOT 79955 SOS 60624 HAS SOPS 60624 HAS SOUS 48196 HAS SOUPS 48196 WITH SCORE 48256.624
AT ITER 162 NEW BEST:: SOT 79955 SOS 60480 HAS SOPS 60480 HAS SOUS 48180 HAS SOUPS 48180 WITH SCORE 48240.48
AT ITER 168 NEW BEST:: SOT 79955 SOS 60477 HAS SOPS 60477 HAS SOUS 48177 HAS SOUPS 48177 WITH SCORE 48237.477
AT ITER 170 NEW BEST:: SOT 79926 SOS 60445 HAS SOPS 60445 HAS SOUS 48170 HAS SOUPS 48170 WITH SCORE 48230.445
AT ITER 173 NEW BEST:: SOT 79834 SOS 60333 HAS SOPS 60333 HAS SOUS 48025 HAS SOUPS 48025 WITH SCORE 48085.333
AT ITER 178 NEW BEST:: SOT 79782 SOS 60000 HAS SOPS 60000 HAS SOUS 47909 HAS SOUPS 47909 WITH SCORE 47969.0
AT ITER 181 NEW BEST:: SOT 79716 SOS 59996 HAS SOPS 59996 HAS SOUS 47865 HAS SOUPS 47865 WITH SCORE 47924.996
AT ITER 183 NEW BEST:: SOT 79711 SOS 59991 HAS SOPS 59991 HAS SOUS 47864 HAS SOUPS 47864 WITH SCORE 47923.991
AT ITER 189 NEW BEST:: SOT 79711 SOS 59985 HAS SOPS 59985 HAS SOUS 47860 HAS SOUPS 47860 WITH SCORE 47919.985
AT ITER 191 NEW BEST:: SOT 79544 SOS 59818 HAS SOPS 59818 HAS SOUS 47692 HAS SOUPS 47692 WITH SCORE 47751.818
AT ITER 194 NEW BEST:: SOT 79614 SOS 59849 HAS SOPS 59849 HAS SOUS 47580 HAS SOUPS 47580 WITH SCORE 47639.849
AT ITER 195 NEW BEST:: SOT 79521 SOS 59697 HAS SOPS 59697 HAS SOUS 47298 HAS SOUPS 47298 WITH SCORE 47357.697
AT ITER 197 NEW BEST:: SOT 79519 SOS 58906 HAS SOPS 58906 HAS SOUS 47201 HAS SOUPS 47201 WITH SCORE 47259.906
AT ITER 199 NEW BEST:: SOT 79494 SOS 58881 HAS SOPS 58881 HAS SOUS 47176 HAS SOUPS 47176 WITH SCORE 47234.881
AT ITER 202 NEW BEST:: SOT 79459 SOS 58846 HAS SOPS 58846 HAS SOUS 47141 HAS SOUPS 47141 WITH SCORE 47199.846
AT ITER 205 NEW BEST:: SOT 79374 SOS 58761 HAS SOPS 58761 HAS SOUS 47025 HAS SOUPS 47025 WITH SCORE 47083.761
AT ITER 206 NEW BEST:: SOT 79338 SOS 58725 HAS SOPS 58725 HAS SOUS 46976 HAS SOUPS 46976 WITH SCORE 47034.725
AT ITER 209 NEW BEST:: SOT 79341 SOS 58690 HAS SOPS 58690 HAS SOUS 46927 HAS SOUPS 46927 WITH SCORE 46985.69
AT ITER 210 NEW BEST:: SOT 79297 SOS 58602 HAS SOPS 58602 HAS SOUS 46795 HAS SOUPS 46795 WITH SCORE 46853.602
AT ITER 211 NEW BEST:: SOT 79297 SOS 58717 HAS SOPS 58717 HAS SOUS 46749 HAS SOUPS 46749 WITH SCORE 46807.717
AT ITER 213 NEW BEST:: SOT 79297 SOS 58406 HAS SOPS 58406 HAS SOUS 46478 HAS SOUPS 46478 WITH SCORE 46536.406
AT ITER 217 NEW BEST:: SOT 79261 SOS 58344 HAS SOPS 58344 HAS SOUS 46396 HAS SOUPS 46396 WITH SCORE 46454.344
AT ITER 221 NEW BEST:: SOT 79204 SOS 58229 HAS SOPS 58229 HAS SOUS 46257 HAS SOUPS 46257 WITH SCORE 46315.229
AT ITER 225 NEW BEST:: SOT 79174 SOS 58112 HAS SOPS 58112 HAS SOUS 46140 HAS SOUPS 46140 WITH SCORE 46198.112
AT ITER 229 NEW BEST:: SOT 79211 SOS 57647 HAS SOPS 57647 HAS SOUS 46097 HAS SOUPS 46097 WITH SCORE 46154.647
AT ITER 231 NEW BEST:: SOT 79211 SOS 57590 HAS SOPS 57590 HAS SOUS 46066 HAS SOUPS 46066 WITH SCORE 46123.59
AT ITER 234 NEW BEST:: SOT 79157 SOS 56950 HAS SOPS 56950 HAS SOUS 45602 HAS SOUPS 45602 WITH SCORE 45658.95
AT ITER 240 NEW BEST:: SOT 79295 SOS 56937 HAS SOPS 56937 HAS SOUS 45579 HAS SOUPS 45579 WITH SCORE 45635.937
AT ITER 243 NEW BEST:: SOT 79290 SOS 56927 HAS SOPS 56927 HAS SOUS 45559 HAS SOUPS 45559 WITH SCORE 45615.927
AT ITER 244 NEW BEST:: SOT 79153 SOS 56790 HAS SOPS 56790 HAS SOUS 45422 HAS SOUPS 45422 WITH SCORE 45478.79
AT ITER 255 NEW BEST:: SOT 79124 SOS 56732 HAS SOPS 56732 HAS SOUS 45392 HAS SOUPS 45392 WITH SCORE 45448.732
AT ITER 257 NEW BEST:: SOT 79120 SOS 56704 HAS SOPS 56704 HAS SOUS 45380 HAS SOUPS 45380 WITH SCORE 45436.704
AT ITER 259 NEW BEST:: SOT 79104 SOS 56652 HAS SOPS 56652 HAS SOUS 45370 HAS SOUPS 45370 WITH SCORE 45426.652
AT ITER 262 NEW BEST:: SOT 79089 SOS 56883 HAS SOPS 56883 HAS SOUS 45357 HAS SOUPS 45357 WITH SCORE 45413.883
AT ITER 264 NEW BEST:: SOT 79069 SOS 56796 HAS SOPS 56796 HAS SOUS 45337 HAS SOUPS 45337 WITH SCORE 45393.796
AT ITER 267 NEW BEST:: SOT 79055 SOS 56738 HAS SOPS 56738 HAS SOUS 45296 HAS SOUPS 45296 WITH SCORE 45352.738
AT ITER 271 NEW BEST:: SOT 78962 SOS 56345 HAS SOPS 56345 HAS SOUS 44976 HAS SOUPS 44976 WITH SCORE 45032.345
AT ITER 276 NEW BEST:: SOT 78981 SOS 56206 HAS SOPS 56206 HAS SOUS 44924 HAS SOUPS 44924 WITH SCORE 44980.206
AT ITER 280 NEW BEST:: SOT 78880 SOS 56088 HAS SOPS 56088 HAS SOUS 44667 HAS SOUPS 44667 WITH SCORE 44723.088
AT ITER 281 NEW BEST:: SOT 78857 SOS 56042 HAS SOPS 56042 HAS SOUS 44621 HAS SOUPS 44621 WITH SCORE 44677.042
AT ITER 291 NEW BEST:: SOT 78821 SOS 56024 HAS SOPS 56024 HAS SOUS 44584 HAS SOUPS 44584 WITH SCORE 44640.024
AT ITER 293 NEW BEST:: SOT 78723 SOS 55921 HAS SOPS 55921 HAS SOUS 44462 HAS SOUPS 44462 WITH SCORE 44517.921
AT ITER 297 NEW BEST:: SOT 78546 SOS 55742 HAS SOPS 55742 HAS SOUS 44281 HAS SOUPS 44281 WITH SCORE 44336.742
AT ITER 301 NEW BEST:: SOT 78546 SOS 55742 HAS SOPS 55742 HAS SOUS 44280 HAS SOUPS 44280 WITH SCORE 44335.742
AT ITER 302 NEW BEST:: SOT 78563 SOS 55759 HAS SOPS 55759 HAS SOUS 44199 HAS SOUPS 44199 WITH SCORE 44254.759
AT ITER 303 NEW BEST:: SOT 78530 SOS 55726 HAS SOPS 55726 HAS SOUS 44166 HAS SOUPS 44166 WITH SCORE 44221.726
AT ITER 304 NEW BEST:: SOT 78429 SOS 55524 HAS SOPS 55524 HAS SOUS 43903 HAS SOUPS 43903 WITH SCORE 43958.524
AT ITER 307 NEW BEST:: SOT 78426 SOS 55521 HAS SOPS 55521 HAS SOUS 43897 HAS SOUPS 43897 WITH SCORE 43952.521
AT ITER 308 NEW BEST:: SOT 78390 SOS 55495 HAS SOPS 55495 HAS SOUS 43830 HAS SOUPS 43830 WITH SCORE 43885.495
AT ITER 312 NEW BEST:: SOT 78206 SOS 55311 HAS SOPS 55311 HAS SOUS 43624 HAS SOUPS 43624 WITH SCORE 43679.311
AT ITER 315 NEW BEST:: SOT 78189 SOS 55294 HAS SOPS 55294 HAS SOUS 43607 HAS SOUPS 43607 WITH SCORE 43662.294
AT ITER 316 NEW BEST:: SOT 77763 SOS 54805 HAS SOPS 54805 HAS SOUS 43013 HAS SOUPS 43013 WITH SCORE 43067.805
AT ITER 326 NEW BEST:: SOT 77810 SOS 54772 HAS SOPS 54772 HAS SOUS 42971 HAS SOUPS 42971 WITH SCORE 43025.772
AT ITER 333 NEW BEST:: SOT 77770 SOS 54732 HAS SOPS 54732 HAS SOUS 42935 HAS SOUPS 42935 WITH SCORE 42989.732
AT ITER 335 NEW BEST:: SOT 77677 SOS 54639 HAS SOPS 54639 HAS SOUS 42842 HAS SOUPS 42842 WITH SCORE 42896.639
AT ITER 338 NEW BEST:: SOT 77677 SOS 54391 HAS SOPS 54391 HAS SOUS 42680 HAS SOUPS 42680 WITH SCORE 42734.391
AT ITER 339 NEW BEST:: SOT 77677 SOS 54645 HAS SOPS 54645 HAS SOUS 42569 HAS SOUPS 42569 WITH SCORE 42623.645
AT ITER 344 NEW BEST:: SOT 77772 SOS 54400 HAS SOPS 54400 HAS SOUS 42560 HAS SOUPS 42560 WITH SCORE 42614.4
AT ITER 345 NEW BEST:: SOT 77745 SOS 54346 HAS SOPS 54346 HAS SOUS 42507 HAS SOUPS 42507 WITH SCORE 42561.346
AT ITER 349 NEW BEST:: SOT 77848 SOS 54350 HAS SOPS 54350 HAS SOUS 42202 HAS SOUPS 42202 WITH SCORE 42256.35
AT ITER 356 NEW BEST:: SOT 77791 SOS 54290 HAS SOPS 54290 HAS SOUS 42130 HAS SOUPS 42130 WITH SCORE 42184.29
AT ITER 361 NEW BEST:: SOT 77753 SOS 54163 HAS SOPS 54163 HAS SOUS 42117 HAS SOUPS 42117 WITH SCORE 42171.163
AT ITER 364 NEW BEST:: SOT 77727 SOS 54137 HAS SOPS 54137 HAS SOUS 42088 HAS SOUPS 42088 WITH SCORE 42142.137
AT ITER 370 NEW BEST:: SOT 77727 SOS 54144 HAS SOPS 54144 HAS SOUS 42081 HAS SOUPS 42081 WITH SCORE 42135.144
AT ITER 372 NEW BEST:: SOT 77643 SOS 53613 HAS SOPS 53613 HAS SOUS 41751 HAS SOUPS 41751 WITH SCORE 41804.613
AT ITER 374 NEW BEST:: SOT 77634 SOS 53595 HAS SOPS 53595 HAS SOUS 41751 HAS SOUPS 41751 WITH SCORE 41804.595
AT ITER 375 NEW BEST:: SOT 77564 SOS 52707 HAS SOPS 52707 HAS SOUS 41299 HAS SOUPS 41299 WITH SCORE 41351.707
AT ITER 376 NEW BEST:: SOT 77531 SOS 52648 HAS SOPS 52648 HAS SOUS 41167 HAS SOUPS 41167 WITH SCORE 41219.648
AT ITER 383 NEW BEST:: SOT 77504 SOS 52597 HAS SOPS 52597 HAS SOUS 41116 HAS SOUPS 41116 WITH SCORE 41168.597
AT ITER 386 NEW BEST:: SOT 77417 SOS 52510 HAS SOPS 52510 HAS SOUS 41029 HAS SOUPS 41029 WITH SCORE 41081.51
AT ITER 391 NEW BEST:: SOT 77428 SOS 52507 HAS SOPS 52507 HAS SOUS 40986 HAS SOUPS 40986 WITH SCORE 41038.507
AT ITER 392 NEW BEST:: SOT 77427 SOS 52505 HAS SOPS 52505 HAS SOUS 40958 HAS SOUPS 40958 WITH SCORE 41010.505
AT ITER 396 NEW BEST:: SOT 77466 SOS 52380 HAS SOPS 52380 HAS SOUS 40862 HAS SOUPS 40862 WITH SCORE 40914.38
AT ITER 401 NEW BEST:: SOT 77481 SOS 52424 HAS SOPS 52424 HAS SOUS 40861 HAS SOUPS 40861 WITH SCORE 40913.424
AT ITER 402 NEW BEST:: SOT 77397 SOS 52314 HAS SOPS 52314 HAS SOUS 40654 HAS SOUPS 40654 WITH SCORE 40706.314
AT ITER 403 NEW BEST:: SOT 77323 SOS 52221 HAS SOPS 52221 HAS SOUS 40426 HAS SOUPS 40426 WITH SCORE 40478.221
AT ITER 409 NEW BEST:: SOT 77110 SOS 51890 HAS SOPS 51890 HAS SOUS 39970 HAS SOUPS 39970 WITH SCORE 40021.89
AT ITER 411 NEW BEST:: SOT 77055 SOS 51835 HAS SOPS 51835 HAS SOUS 39915 HAS SOUPS 39915 WITH SCORE 39966.835
AT ITER 415 NEW BEST:: SOT 77051 SOS 51831 HAS SOPS 51831 HAS SOUS 39906 HAS SOUPS 39906 WITH SCORE 39957.831
AT ITER 425 NEW BEST:: SOT 77096 SOS 51876 HAS SOPS 51876 HAS SOUS 39896 HAS SOUPS 39896 WITH SCORE 39947.876
AT ITER 427 NEW BEST:: SOT 77024 SOS 51786 HAS SOPS 51786 HAS SOUS 39788 HAS SOUPS 39788 WITH SCORE 39839.786
AT ITER 430 NEW BEST:: SOT 77164 SOS 51643 HAS SOPS 51643 HAS SOUS 39528 HAS SOUPS 39528 WITH SCORE 39579.643
AT ITER 433 NEW BEST:: SOT 77150 SOS 51406 HAS SOPS 51406 HAS SOUS 39507 HAS SOUPS 39507 WITH SCORE 39558.406
AT ITER 438 NEW BEST:: SOT 77150 SOS 51294 HAS SOPS 51294 HAS SOUS 39448 HAS SOUPS 39448 WITH SCORE 39499.294
AT ITER 450 NEW BEST:: SOT 76971 SOS 51119 HAS SOPS 51119 HAS SOUS 39229 HAS SOUPS 39229 WITH SCORE 39280.119
AT ITER 451 NEW BEST:: SOT 76971 SOS 50997 HAS SOPS 50997 HAS SOUS 39150 HAS SOUPS 39150 WITH SCORE 39200.997
AT ITER 464 NEW BEST:: SOT 76897 SOS 50923 HAS SOPS 50923 HAS SOUS 39076 HAS SOUPS 39076 WITH SCORE 39126.923
AT ITER 466 NEW BEST:: SOT 77003 SOS 50618 HAS SOPS 50618 HAS SOUS 38877 HAS SOUPS 38877 WITH SCORE 38927.618
AT ITER 470 NEW BEST:: SOT 77003 SOS 50539 HAS SOPS 50539 HAS SOUS 38826 HAS SOUPS 38826 WITH SCORE 38876.539
AT ITER 481 NEW BEST:: SOT 77003 SOS 50539 HAS SOPS 50539 HAS SOUS 38806 HAS SOUPS 38806 WITH SCORE 38856.539
AT ITER 483 NEW BEST:: SOT 77349 SOS 49648 HAS SOPS 49648 HAS SOUS 38656 HAS SOUPS 38656 WITH SCORE 38705.648
AT ITER 491 NEW BEST:: SOT 77172 SOS 49431 HAS SOPS 49431 HAS SOUS 38285 HAS SOUPS 38285 WITH SCORE 38334.431
AT ITER 492 NEW BEST:: SOT 77119 SOS 49281 HAS SOPS 49281 HAS SOUS 38190 HAS SOUPS 38190 WITH SCORE 38239.281
AT ITER 499 NEW BEST:: SOT 77017 SOS 48908 HAS SOPS 48908 HAS SOUS 37824 HAS SOUPS 37824 WITH SCORE 37872.908
AT ITER 502 NEW BEST:: SOT 76961 SOS 48968 HAS SOPS 48968 HAS SOUS 37820 HAS SOUPS 37820 WITH SCORE 37868.968
AT ITER 503 NEW BEST:: SOT 76998 SOS 48891 HAS SOPS 48891 HAS SOUS 37696 HAS SOUPS 37696 WITH SCORE 37744.891
AT ITER 505 NEW BEST:: SOT 77040 SOS 48959 HAS SOPS 48959 HAS SOUS 37669 HAS SOUPS 37669 WITH SCORE 37717.959
AT ITER 508 NEW BEST:: SOT 77040 SOS 48941 HAS SOPS 48941 HAS SOUS 37660 HAS SOUPS 37660 WITH SCORE 37708.941
AT ITER 509 NEW BEST:: SOT 77092 SOS 48993 HAS SOPS 48993 HAS SOUS 37585 HAS SOUPS 37585 WITH SCORE 37633.993
AT ITER 512 NEW BEST:: SOT 76948 SOS 48777 HAS SOPS 48777 HAS SOUS 37365 HAS SOUPS 37365 WITH SCORE 37413.777
AT ITER 515 NEW BEST:: SOT 76943 SOS 48747 HAS SOPS 48747 HAS SOUS 37335 HAS SOUPS 37335 WITH SCORE 37383.747
AT ITER 519 NEW BEST:: SOT 76846 SOS 48587 HAS SOPS 48587 HAS SOUS 37153 HAS SOUPS 37153 WITH SCORE 37201.587
AT ITER 521 NEW BEST:: SOT 76806 SOS 48562 HAS SOPS 48562 HAS SOUS 37132 HAS SOUPS 37132 WITH SCORE 37180.562
AT ITER 524 NEW BEST:: SOT 76803 SOS 48584 HAS SOPS 48584 HAS SOUS 37130 HAS SOUPS 37130 WITH SCORE 37178.584
AT ITER 528 NEW BEST:: SOT 76767 SOS 48548 HAS SOPS 48548 HAS SOUS 37077 HAS SOUPS 37077 WITH SCORE 37125.548
AT ITER 541 NEW BEST:: SOT 76735 SOS 48516 HAS SOPS 48516 HAS SOUS 37043 HAS SOUPS 37043 WITH SCORE 37091.516
AT ITER 548 NEW BEST:: SOT 76761 SOS 48490 HAS SOPS 48490 HAS SOUS 37003 HAS SOUPS 37003 WITH SCORE 37051.49
AT ITER 549 NEW BEST:: SOT 76745 SOS 48508 HAS SOPS 48508 HAS SOUS 37000 HAS SOUPS 37000 WITH SCORE 37048.508
AT ITER 552 NEW BEST:: SOT 76739 SOS 48504 HAS SOPS 48504 HAS SOUS 36996 HAS SOUPS 36996 WITH SCORE 37044.504
AT ITER 554 NEW BEST:: SOT 76777 SOS 48370 HAS SOPS 48370 HAS SOUS 36797 HAS SOUPS 36797 WITH SCORE 36845.37
AT ITER 555 NEW BEST:: SOT 76771 SOS 48358 HAS SOPS 48358 HAS SOUS 36787 HAS SOUPS 36787 WITH SCORE 36835.358
AT ITER 558 NEW BEST:: SOT 76737 SOS 48307 HAS SOPS 48307 HAS SOUS 36734 HAS SOUPS 36734 WITH SCORE 36782.307
AT ITER 564 NEW BEST:: SOT 76700 SOS 48270 HAS SOPS 48270 HAS SOUS 36697 HAS SOUPS 36697 WITH SCORE 36745.27
AT ITER 565 NEW BEST:: SOT 76363 SOS 47850 HAS SOPS 47850 HAS SOUS 36387 HAS SOUPS 36387 WITH SCORE 36434.85
AT ITER 566 NEW BEST:: SOT 76494 SOS 47929 HAS SOPS 47929 HAS SOUS 36340 HAS SOUPS 36340 WITH SCORE 36387.929
AT ITER 575 NEW BEST:: SOT 76482 SOS 47917 HAS SOPS 47917 HAS SOUS 36333 HAS SOUPS 36333 WITH SCORE 36380.917
AT ITER 579 NEW BEST:: SOT 76450 SOS 48237 HAS SOPS 48237 HAS SOUS 36328 HAS SOUPS 36328 WITH SCORE 36376.237
AT ITER 580 NEW BEST:: SOT 76448 SOS 48235 HAS SOPS 48235 HAS SOUS 36319 HAS SOUPS 36319 WITH SCORE 36367.235
AT ITER 586 NEW BEST:: SOT 76450 SOS 48202 HAS SOPS 48202 HAS SOUS 36266 HAS SOUPS 36266 WITH SCORE 36314.202
AT ITER 589 NEW BEST:: SOT 76380 SOS 48109 HAS SOPS 48109 HAS SOUS 36158 HAS SOUPS 36158 WITH SCORE 36206.109
AT ITER 596 NEW BEST:: SOT 76375 SOS 48104 HAS SOPS 48104 HAS SOUS 36135 HAS SOUPS 36135 WITH SCORE 36183.104
AT ITER 600 NEW BEST:: SOT 76123 SOS 47852 HAS SOPS 47852 HAS SOUS 35883 HAS SOUPS 35883 WITH SCORE 35930.852
AT ITER 602 NEW BEST:: SOT 76123 SOS 47793 HAS SOPS 47793 HAS SOUS 35801 HAS SOUPS 35801 WITH SCORE 35848.793
AT ITER 603 NEW BEST:: SOT 76042 SOS 47712 HAS SOPS 47712 HAS SOUS 35720 HAS SOUPS 35720 WITH SCORE 35767.712
AT ITER 610 NEW BEST:: SOT 76052 SOS 47722 HAS SOPS 47722 HAS SOUS 35718 HAS SOUPS 35718 WITH SCORE 35765.722
AT ITER 611 NEW BEST:: SOT 75916 SOS 47048 HAS SOPS 47048 HAS SOUS 35221 HAS SOUPS 35221 WITH SCORE 35268.048
AT ITER 614 NEW BEST:: SOT 76027 SOS 47197 HAS SOPS 47197 HAS SOUS 35207 HAS SOUPS 35207 WITH SCORE 35254.197
AT ITER 617 NEW BEST:: SOT 75999 SOS 47169 HAS SOPS 47169 HAS SOUS 35191 HAS SOUPS 35191 WITH SCORE 35238.169
AT ITER 637 NEW BEST:: SOT 75997 SOS 47165 HAS SOPS 47165 HAS SOUS 35187 HAS SOUPS 35187 WITH SCORE 35234.165
AT ITER 639 NEW BEST:: SOT 76041 SOS 47059 HAS SOPS 47059 HAS SOUS 35098 HAS SOUPS 35098 WITH SCORE 35145.059
AT ITER 644 NEW BEST:: SOT 75982 SOS 47000 HAS SOPS 47000 HAS SOUS 35039 HAS SOUPS 35039 WITH SCORE 35086.0
AT ITER 645 NEW BEST:: SOT 75982 SOS 47001 HAS SOPS 47001 HAS SOUS 34997 HAS SOUPS 34997 WITH SCORE 35044.001
AT ITER 649 NEW BEST:: SOT 75981 SOS 46985 HAS SOPS 46985 HAS SOUS 34996 HAS SOUPS 34996 WITH SCORE 35042.985
AT ITER 656 NEW BEST:: SOT 75825 SOS 46921 HAS SOPS 46921 HAS SOUS 34935 HAS SOUPS 34935 WITH SCORE 34981.921
AT ITER 657 NEW BEST:: SOT 75720 SOS 46872 HAS SOPS 46872 HAS SOUS 34818 HAS SOUPS 34818 WITH SCORE 34864.872
AT ITER 660 NEW BEST:: SOT 75720 SOS 46872 HAS SOPS 46872 HAS SOUS 34804 HAS SOUPS 34804 WITH SCORE 34850.872
AT ITER 662 NEW BEST:: SOT 75686 SOS 46838 HAS SOPS 46838 HAS SOUS 34770 HAS SOUPS 34770 WITH SCORE 34816.838
AT ITER 675 NEW BEST:: SOT 75612 SOS 46764 HAS SOPS 46764 HAS SOUS 34640 HAS SOUPS 34640 WITH SCORE 34686.764
AT ITER 677 NEW BEST:: SOT 75612 SOS 46753 HAS SOPS 46753 HAS SOUS 34629 HAS SOUPS 34629 WITH SCORE 34675.753
AT ITER 681 NEW BEST:: SOT 75614 SOS 46744 HAS SOPS 46744 HAS SOUS 34612 HAS SOUPS 34612 WITH SCORE 34658.744
AT ITER 684 NEW BEST:: SOT 75606 SOS 46728 HAS SOPS 46728 HAS SOUS 34588 HAS SOUPS 34588 WITH SCORE 34634.728
AT ITER 685 NEW BEST:: SOT 75605 SOS 46727 HAS SOPS 46727 HAS SOUS 34587 HAS SOUPS 34587 WITH SCORE 34633.727
AT ITER 695 NEW BEST:: SOT 75661 SOS 46692 HAS SOPS 46692 HAS SOUS 34461 HAS SOUPS 34461 WITH SCORE 34507.692
AT ITER 698 NEW BEST:: SOT 75650 SOS 46670 HAS SOPS 46670 HAS SOUS 34433 HAS SOUPS 34433 WITH SCORE 34479.67
AT ITER 700 NEW BEST:: SOT 75460 SOS 46539 HAS SOPS 46539 HAS SOUS 34332 HAS SOUPS 34332 WITH SCORE 34378.539
AT ITER 701 NEW BEST:: SOT 75387 SOS 46149 HAS SOPS 46149 HAS SOUS 34220 HAS SOUPS 34220 WITH SCORE 34266.149
AT ITER 704 NEW BEST:: SOT 75307 SOS 46069 HAS SOPS 46069 HAS SOUS 34140 HAS SOUPS 34140 WITH SCORE 34186.069
AT ITER 705 NEW BEST:: SOT 75240 SOS 45984 HAS SOPS 45984 HAS SOUS 33844 HAS SOUPS 33844 WITH SCORE 33889.984
AT ITER 708 NEW BEST:: SOT 75120 SOS 45858 HAS SOPS 45858 HAS SOUS 33639 HAS SOUPS 33639 WITH SCORE 33684.858
AT ITER 711 NEW BEST:: SOT 74996 SOS 45826 HAS SOPS 45826 HAS SOUS 33570 HAS SOUPS 33570 WITH SCORE 33615.826
AT ITER 719 NEW BEST:: SOT 74876 SOS 45627 HAS SOPS 45627 HAS SOUS 33328 HAS SOUPS 33328 WITH SCORE 33373.627
AT ITER 730 NEW BEST:: SOT 74755 SOS 45506 HAS SOPS 45506 HAS SOUS 33207 HAS SOUPS 33207 WITH SCORE 33252.506
AT ITER 732 NEW BEST:: SOT 74735 SOS 45482 HAS SOPS 45482 HAS SOUS 33167 HAS SOUPS 33167 WITH SCORE 33212.482
AT ITER 738 NEW BEST:: SOT 74734 SOS 45478 HAS SOPS 45478 HAS SOUS 33162 HAS SOUPS 33162 WITH SCORE 33207.478
AT ITER 741 NEW BEST:: SOT 74686 SOS 45271 HAS SOPS 45271 HAS SOUS 33038 HAS SOUPS 33038 WITH SCORE 33083.271
AT ITER 765 NEW BEST:: SOT 74667 SOS 45252 HAS SOPS 45252 HAS SOUS 32959 HAS SOUPS 32959 WITH SCORE 33004.252
AT ITER 771 NEW BEST:: SOT 74724 SOS 45278 HAS SOPS 45278 HAS SOUS 32958 HAS SOUPS 32958 WITH SCORE 33003.278
AT ITER 777 NEW BEST:: SOT 74763 SOS 45292 HAS SOPS 45292 HAS SOUS 32898 HAS SOUPS 32898 WITH SCORE 32943.292
AT ITER 783 NEW BEST:: SOT 74751 SOS 45313 HAS SOPS 45313 HAS SOUS 32873 HAS SOUPS 32873 WITH SCORE 32918.313
AT ITER 787 NEW BEST:: SOT 74751 SOS 45259 HAS SOPS 45259 HAS SOUS 32796 HAS SOUPS 32796 WITH SCORE 32841.259
AT ITER 797 NEW BEST:: SOT 74777 SOS 45255 HAS SOPS 45255 HAS SOUS 32781 HAS SOUPS 32781 WITH SCORE 32826.255
AT ITER 807 NEW BEST:: SOT 74777 SOS 44967 HAS SOPS 44967 HAS SOUS 32765 HAS SOUPS 32765 WITH SCORE 32809.967
AT ITER 811 NEW BEST:: SOT 74815 SOS 44965 HAS SOPS 44965 HAS SOUS 32745 HAS SOUPS 32745 WITH SCORE 32789.965
AT ITER 818 NEW BEST:: SOT 74670 SOS 44819 HAS SOPS 44819 HAS SOUS 32599 HAS SOUPS 32599 WITH SCORE 32643.819
AT ITER 819 NEW BEST:: SOT 74664 SOS 44771 HAS SOPS 44771 HAS SOUS 32597 HAS SOUPS 32597 WITH SCORE 32641.771
AT ITER 823 NEW BEST:: SOT 74623 SOS 44711 HAS SOPS 44711 HAS SOUS 32414 HAS SOUPS 32414 WITH SCORE 32458.711
AT ITER 825 NEW BEST:: SOT 74593 SOS 44675 HAS SOPS 44675 HAS SOUS 32378 HAS SOUPS 32378 WITH SCORE 32422.675
AT ITER 833 NEW BEST:: SOT 74531 SOS 44515 HAS SOPS 44515 HAS SOUS 32229 HAS SOUPS 32229 WITH SCORE 32273.515
AT ITER 837 NEW BEST:: SOT 74261 SOS 44245 HAS SOPS 44245 HAS SOUS 31888 HAS SOUPS 31888 WITH SCORE 31932.245
AT ITER 838 NEW BEST:: SOT 74231 SOS 43959 HAS SOPS 43959 HAS SOUS 31855 HAS SOUPS 31855 WITH SCORE 31898.959
AT ITER 847 NEW BEST:: SOT 74214 SOS 43942 HAS SOPS 43942 HAS SOUS 31838 HAS SOUPS 31838 WITH SCORE 31881.942
AT ITER 862 NEW BEST:: SOT 73959 SOS 43398 HAS SOPS 43398 HAS SOUS 31410 HAS SOUPS 31410 WITH SCORE 31453.398
AT ITER 865 NEW BEST:: SOT 73934 SOS 43322 HAS SOPS 43322 HAS SOUS 31360 HAS SOUPS 31360 WITH SCORE 31403.322
AT ITER 868 NEW BEST:: SOT 73829 SOS 43186 HAS SOPS 43186 HAS SOUS 31152 HAS SOUPS 31152 WITH SCORE 31195.186
AT ITER 870 NEW BEST:: SOT 73818 SOS 43144 HAS SOPS 43144 HAS SOUS 31103 HAS SOUPS 31103 WITH SCORE 31146.144
AT ITER 894 NEW BEST:: SOT 73866 SOS 42988 HAS SOPS 42988 HAS SOUS 31029 HAS SOUPS 31029 WITH SCORE 31071.988
AT ITER 899 NEW BEST:: SOT 73872 SOS 42998 HAS SOPS 42998 HAS SOUS 31010 HAS SOUPS 31010 WITH SCORE 31052.998
AT ITER 915 NEW BEST:: SOT 73742 SOS 42868 HAS SOPS 42868 HAS SOUS 30880 HAS SOUPS 30880 WITH SCORE 30922.868
AT ITER 926 NEW BEST:: SOT 73734 SOS 42860 HAS SOPS 42860 HAS SOUS 30872 HAS SOUPS 30872 WITH SCORE 30914.86
AT ITER 932 NEW BEST:: SOT 73734 SOS 42975 HAS SOPS 42975 HAS SOUS 30849 HAS SOUPS 30849 WITH SCORE 30891.975
AT ITER 943 NEW BEST:: SOT 73645 SOS 42885 HAS SOPS 42885 HAS SOUS 30759 HAS SOUPS 30759 WITH SCORE 30801.885
AT ITER 945 NEW BEST:: SOT 73633 SOS 42849 HAS SOPS 42849 HAS SOUS 30735 HAS SOUPS 30735 WITH SCORE 30777.849
AT ITER 946 NEW BEST:: SOT 73640 SOS 42797 HAS SOPS 42797 HAS SOUS 30687 HAS SOUPS 30687 WITH SCORE 30729.797
AT ITER 960 NEW BEST:: SOT 73634 SOS 42770 HAS SOPS 42770 HAS SOUS 30660 HAS SOUPS 30660 WITH SCORE 30702.77
AT ITER 980 NEW BEST:: SOT 73793 SOS 42751 HAS SOPS 42751 HAS SOUS 30617 HAS SOUPS 30617 WITH SCORE 30659.751
AT ITER 984 NEW BEST:: SOT 73669 SOS 42614 HAS SOPS 42614 HAS SOUS 30480 HAS SOUPS 30480 WITH SCORE 30522.614
AT ITER 995 NEW BEST:: SOT 73813 SOS 42613 HAS SOPS 42613 HAS SOUS 30368 HAS SOUPS 30368 WITH SCORE 30410.613
AT ITER 996 NEW BEST:: SOT 73798 SOS 42419 HAS SOPS 42419 HAS SOUS 30323 HAS SOUPS 30323 WITH SCORE 30365.419
AT ITER 998 NEW BEST:: SOT 73798 SOS 42235 HAS SOPS 42235 HAS SOUS 30269 HAS SOUPS 30269 WITH SCORE 30311.235
AT ITER 1007 NEW BEST:: SOT 73726 SOS 42247 HAS SOPS 42247 HAS SOUS 30209 HAS SOUPS 30209 WITH SCORE 30251.247
AT ITER 1008 NEW BEST:: SOT 73786 SOS 42323 HAS SOPS 42323 HAS SOUS 30159 HAS SOUPS 30159 WITH SCORE 30201.323
AT ITER 1013 NEW BEST:: SOT 73700 SOS 42136 HAS SOPS 42136 HAS SOUS 30053 HAS SOUPS 30053 WITH SCORE 30095.136
AT ITER 1029 NEW BEST:: SOT 73583 SOS 42005 HAS SOPS 42005 HAS SOUS 29937 HAS SOUPS 29937 WITH SCORE 29979.005
AT ITER 1036 NEW BEST:: SOT 73369 SOS 41834 HAS SOPS 41834 HAS SOUS 29866 HAS SOUPS 29866 WITH SCORE 29907.834
AT ITER 1038 NEW BEST:: SOT 73355 SOS 41459 HAS SOPS 41459 HAS SOUS 29799 HAS SOUPS 29799 WITH SCORE 29840.459
AT ITER 1039 NEW BEST:: SOT 73295 SOS 41334 HAS SOPS 41334 HAS SOUS 29676 HAS SOUPS 29676 WITH SCORE 29717.334
AT ITER 1045 NEW BEST:: SOT 73274 SOS 41330 HAS SOPS 41330 HAS SOUS 29672 HAS SOUPS 29672 WITH SCORE 29713.33
AT ITER 1052 NEW BEST:: SOT 73260 SOS 41360 HAS SOPS 41360 HAS SOUS 29628 HAS SOUPS 29628 WITH SCORE 29669.36
AT ITER 1057 NEW BEST:: SOT 73259 SOS 41357 HAS SOPS 41357 HAS SOUS 29622 HAS SOUPS 29622 WITH SCORE 29663.357
AT ITER 1066 NEW BEST:: SOT 73221 SOS 41343 HAS SOPS 41343 HAS SOUS 29601 HAS SOUPS 29601 WITH SCORE 29642.343
AT ITER 1068 NEW BEST:: SOT 73221 SOS 41282 HAS SOPS 41282 HAS SOUS 29582 HAS SOUPS 29582 WITH SCORE 29623.282
AT ITER 1071 NEW BEST:: SOT 73247 SOS 41274 HAS SOPS 41274 HAS SOUS 29565 HAS SOUPS 29565 WITH SCORE 29606.274
AT ITER 1074 NEW BEST:: SOT 73232 SOS 41259 HAS SOPS 41259 HAS SOUS 29550 HAS SOUPS 29550 WITH SCORE 29591.259
AT ITER 1079 NEW BEST:: SOT 73232 SOS 41238 HAS SOPS 41238 HAS SOUS 29443 HAS SOUPS 29443 WITH SCORE 29484.238
AT ITER 1086 NEW BEST:: SOT 73216 SOS 41214 HAS SOPS 41214 HAS SOUS 29419 HAS SOUPS 29419 WITH SCORE 29460.214
AT ITER 1091 NEW BEST:: SOT 73200 SOS 41222 HAS SOPS 41222 HAS SOUS 29403 HAS SOUPS 29403 WITH SCORE 29444.222
AT ITER 1093 NEW BEST:: SOT 73201 SOS 41115 HAS SOPS 41115 HAS SOUS 29330 HAS SOUPS 29330 WITH SCORE 29371.115
AT ITER 1103 NEW BEST:: SOT 72961 SOS 40807 HAS SOPS 40807 HAS SOUS 29029 HAS SOUPS 29029 WITH SCORE 29069.807
AT ITER 1105 NEW BEST:: SOT 72955 SOS 40839 HAS SOPS 40839 HAS SOUS 29024 HAS SOUPS 29024 WITH SCORE 29064.839
AT ITER 1106 NEW BEST:: SOT 72947 SOS 40839 HAS SOPS 40839 HAS SOUS 29010 HAS SOUPS 29010 WITH SCORE 29050.839
AT ITER 1111 NEW BEST:: SOT 72947 SOS 40870 HAS SOPS 40870 HAS SOUS 28998 HAS SOUPS 28998 WITH SCORE 29038.87
AT ITER 1119 NEW BEST:: SOT 72911 SOS 40834 HAS SOPS 40834 HAS SOUS 28962 HAS SOUPS 28962 WITH SCORE 29002.834
AT ITER 1131 NEW BEST:: SOT 72908 SOS 40831 HAS SOPS 40831 HAS SOUS 28959 HAS SOUPS 28959 WITH SCORE 28999.831
AT ITER 1134 NEW BEST:: SOT 72893 SOS 40816 HAS SOPS 40816 HAS SOUS 28951 HAS SOUPS 28951 WITH SCORE 28991.816
AT ITER 1150 NEW BEST:: SOT 72937 SOS 40843 HAS SOPS 40843 HAS SOUS 28918 HAS SOUPS 28918 WITH SCORE 28958.843
AT ITER 1154 NEW BEST:: SOT 72937 SOS 40801 HAS SOPS 40801 HAS SOUS 28855 HAS SOUPS 28855 WITH SCORE 28895.801
AT ITER 1157 NEW BEST:: SOT 72886 SOS 40750 HAS SOPS 40750 HAS SOUS 28804 HAS SOUPS 28804 WITH SCORE 28844.75
AT ITER 1162 NEW BEST:: SOT 72886 SOS 40750 HAS SOPS 40750 HAS SOUS 28800 HAS SOUPS 28800 WITH SCORE 28840.75
AT ITER 1165 NEW BEST:: SOT 72886 SOS 40733 HAS SOPS 40733 HAS SOUS 28793 HAS SOUPS 28793 WITH SCORE 28833.733
AT ITER 1173 NEW BEST:: SOT 72823 SOS 40616 HAS SOPS 40616 HAS SOUS 28715 HAS SOUPS 28715 WITH SCORE 28755.616
AT ITER 1185 NEW BEST:: SOT 72793 SOS 40561 HAS SOPS 40561 HAS SOUS 28673 HAS SOUPS 28673 WITH SCORE 28713.561
AT ITER 1187 NEW BEST:: SOT 72793 SOS 40561 HAS SOPS 40561 HAS SOUS 28663 HAS SOUPS 28663 WITH SCORE 28703.561
AT ITER 1189 NEW BEST:: SOT 72793 SOS 40537 HAS SOPS 40537 HAS SOUS 28639 HAS SOUPS 28639 WITH SCORE 28679.537
AT ITER 1190 NEW BEST:: SOT 72757 SOS 40501 HAS SOPS 40501 HAS SOUS 28603 HAS SOUPS 28603 WITH SCORE 28643.501
AT ITER 1191 NEW BEST:: SOT 72757 SOS 40475 HAS SOPS 40475 HAS SOUS 28577 HAS SOUPS 28577 WITH SCORE 28617.475
AT ITER 1202 NEW BEST:: SOT 72752 SOS 40470 HAS SOPS 40470 HAS SOUS 28572 HAS SOUPS 28572 WITH SCORE 28612.47
AT ITER 1204 NEW BEST:: SOT 72740 SOS 40451 HAS SOPS 40451 HAS SOUS 28525 HAS SOUPS 28525 WITH SCORE 28565.451
AT ITER 1208 NEW BEST:: SOT 72678 SOS 40449 HAS SOPS 40449 HAS SOUS 28523 HAS SOUPS 28523 WITH SCORE 28563.449
AT ITER 1209 NEW BEST:: SOT 72639 SOS 40438 HAS SOPS 40438 HAS SOUS 28474 HAS SOUPS 28474 WITH SCORE 28514.438
AT ITER 1213 NEW BEST:: SOT 72587 SOS 40353 HAS SOPS 40353 HAS SOUS 28383 HAS SOUPS 28383 WITH SCORE 28423.353
AT ITER 1216 NEW BEST:: SOT 72540 SOS 40229 HAS SOPS 40229 HAS SOUS 28303 HAS SOUPS 28303 WITH SCORE 28343.229
AT ITER 1237 NEW BEST:: SOT 72475 SOS 40184 HAS SOPS 40184 HAS SOUS 28272 HAS SOUPS 28272 WITH SCORE 28312.184
AT ITER 1245 NEW BEST:: SOT 72475 SOS 40184 HAS SOPS 40184 HAS SOUS 28271 HAS SOUPS 28271 WITH SCORE 28311.184
AT ITER 1246 NEW BEST:: SOT 72464 SOS 40162 HAS SOPS 40162 HAS SOUS 28249 HAS SOUPS 28249 WITH SCORE 28289.162
AT ITER 1250 NEW BEST:: SOT 72423 SOS 39916 HAS SOPS 39916 HAS SOUS 28183 HAS SOUPS 28183 WITH SCORE 28222.916
AT ITER 1254 NEW BEST:: SOT 72403 SOS 39821 HAS SOPS 39821 HAS SOUS 28055 HAS SOUPS 28055 WITH SCORE 28094.821
AT ITER 1257 NEW BEST:: SOT 72397 SOS 39815 HAS SOPS 39815 HAS SOUS 28049 HAS SOUPS 28049 WITH SCORE 28088.815
AT ITER 1270 NEW BEST:: SOT 72397 SOS 39815 HAS SOPS 39815 HAS SOUS 28035 HAS SOUPS 28035 WITH SCORE 28074.815
AT ITER 1275 NEW BEST:: SOT 72216 SOS 39716 HAS SOPS 39716 HAS SOUS 27915 HAS SOUPS 27915 WITH SCORE 27954.716
AT ITER 1278 NEW BEST:: SOT 72185 SOS 39704 HAS SOPS 39704 HAS SOUS 27903 HAS SOUPS 27903 WITH SCORE 27942.704
AT ITER 1295 NEW BEST:: SOT 72173 SOS 39680 HAS SOPS 39680 HAS SOUS 27826 HAS SOUPS 27826 WITH SCORE 27865.68
AT ITER 1298 NEW BEST:: SOT 72162 SOS 39731 HAS SOPS 39731 HAS SOUS 27816 HAS SOUPS 27816 WITH SCORE 27855.731
AT ITER 1300 NEW BEST:: SOT 72142 SOS 39691 HAS SOPS 39691 HAS SOUS 27769 HAS SOUPS 27769 WITH SCORE 27808.691
AT ITER 1301 NEW BEST:: SOT 72139 SOS 39682 HAS SOPS 39682 HAS SOUS 27766 HAS SOUPS 27766 WITH SCORE 27805.682
AT ITER 1302 NEW BEST:: SOT 72139 SOS 39682 HAS SOPS 39682 HAS SOUS 27756 HAS SOUPS 27756 WITH SCORE 27795.682
AT ITER 1303 NEW BEST:: SOT 72079 SOS 39622 HAS SOPS 39622 HAS SOUS 27696 HAS SOUPS 27696 WITH SCORE 27735.622
AT ITER 1304 NEW BEST:: SOT 72032 SOS 39575 HAS SOPS 39575 HAS SOUS 27649 HAS SOUPS 27649 WITH SCORE 27688.575
AT ITER 1307 NEW BEST:: SOT 72070 SOS 39407 HAS SOPS 39407 HAS SOUS 27630 HAS SOUPS 27630 WITH SCORE 27669.407
AT ITER 1309 NEW BEST:: SOT 71988 SOS 39285 HAS SOPS 39285 HAS SOUS 27508 HAS SOUPS 27508 WITH SCORE 27547.285
AT ITER 1331 NEW BEST:: SOT 71948 SOS 39304 HAS SOPS 39304 HAS SOUS 27461 HAS SOUPS 27461 WITH SCORE 27500.304
AT ITER 1342 NEW BEST:: SOT 71846 SOS 39202 HAS SOPS 39202 HAS SOUS 27359 HAS SOUPS 27359 WITH SCORE 27398.202
AT ITER 1350 NEW BEST:: SOT 71746 SOS 39022 HAS SOPS 39022 HAS SOUS 27205 HAS SOUPS 27205 WITH SCORE 27244.022
AT ITER 1355 NEW BEST:: SOT 71649 SOS 38946 HAS SOPS 38946 HAS SOUS 27127 HAS SOUPS 27127 WITH SCORE 27165.946
AT ITER 1362 NEW BEST:: SOT 71673 SOS 38933 HAS SOPS 38933 HAS SOUS 27120 HAS SOUPS 27120 WITH SCORE 27158.933
AT ITER 1372 NEW BEST:: SOT 71673 SOS 38948 HAS SOPS 38948 HAS SOUS 27100 HAS SOUPS 27100 WITH SCORE 27138.948
AT ITER 1375 NEW BEST:: SOT 71531 SOS 38777 HAS SOPS 38777 HAS SOUS 26903 HAS SOUPS 26903 WITH SCORE 26941.777
AT ITER 1381 NEW BEST:: SOT 71525 SOS 38745 HAS SOPS 38745 HAS SOUS 26871 HAS SOUPS 26871 WITH SCORE 26909.745
AT ITER 1384 NEW BEST:: SOT 71480 SOS 38679 HAS SOPS 38679 HAS SOUS 26803 HAS SOUPS 26803 WITH SCORE 26841.679
AT ITER 1386 NEW BEST:: SOT 71427 SOS 38560 HAS SOPS 38560 HAS SOUS 26763 HAS SOUPS 26763 WITH SCORE 26801.56
AT ITER 1387 NEW BEST:: SOT 71425 SOS 38542 HAS SOPS 38542 HAS SOUS 26737 HAS SOUPS 26737 WITH SCORE 26775.542
AT ITER 1393 NEW BEST:: SOT 71420 SOS 38537 HAS SOPS 38537 HAS SOUS 26732 HAS SOUPS 26732 WITH SCORE 26770.537
AT ITER 1420 NEW BEST:: SOT 71408 SOS 38516 HAS SOPS 38516 HAS SOUS 26701 HAS SOUPS 26701 WITH SCORE 26739.516
AT ITER 1425 NEW BEST:: SOT 71403 SOS 38511 HAS SOPS 38511 HAS SOUS 26697 HAS SOUPS 26697 WITH SCORE 26735.511
AT ITER 1428 NEW BEST:: SOT 71228 SOS 38268 HAS SOPS 38268 HAS SOUS 26390 HAS SOUPS 26390 WITH SCORE 26428.268
AT ITER 1429 NEW BEST:: SOT 71173 SOS 38143 HAS SOPS 38143 HAS SOUS 26277 HAS SOUPS 26277 WITH SCORE 26315.143
AT ITER 1430 NEW BEST:: SOT 71247 SOS 38169 HAS SOPS 38169 HAS SOUS 26203 HAS SOUPS 26203 WITH SCORE 26241.169
AT ITER 1431 NEW BEST:: SOT 71260 SOS 38153 HAS SOPS 38153 HAS SOUS 26190 HAS SOUPS 26190 WITH SCORE 26228.153
AT ITER 1447 NEW BEST:: SOT 71242 SOS 38121 HAS SOPS 38121 HAS SOUS 26165 HAS SOUPS 26165 WITH SCORE 26203.121
AT ITER 1449 NEW BEST:: SOT 71215 SOS 37961 HAS SOPS 37961 HAS SOUS 26060 HAS SOUPS 26060 WITH SCORE 26097.961
AT ITER 1450 NEW BEST:: SOT 71087 SOS 37737 HAS SOPS 37737 HAS SOUS 25739 HAS SOUPS 25739 WITH SCORE 25776.737
AT ITER 1470 NEW BEST:: SOT 71082 SOS 37678 HAS SOPS 37678 HAS SOUS 25734 HAS SOUPS 25734 WITH SCORE 25771.678
AT ITER 1474 NEW BEST:: SOT 71057 SOS 37626 HAS SOPS 37626 HAS SOUS 25687 HAS SOUPS 25687 WITH SCORE 25724.626
AT ITER 1483 NEW BEST:: SOT 71035 SOS 37604 HAS SOPS 37604 HAS SOUS 25687 HAS SOUPS 25687 WITH SCORE 25724.604
AT ITER 1484 NEW BEST:: SOT 71035 SOS 37604 HAS SOPS 37604 HAS SOUS 25686 HAS SOUPS 25686 WITH SCORE 25723.604
AT ITER 1485 NEW BEST:: SOT 71013 SOS 37582 HAS SOPS 37582 HAS SOUS 25681 HAS SOUPS 25681 WITH SCORE 25718.582
AT ITER 1498 NEW BEST:: SOT 71020 SOS 37512 HAS SOPS 37512 HAS SOUS 25578 HAS SOUPS 25578 WITH SCORE 25615.512
AT ITER 1509 NEW BEST:: SOT 70986 SOS 37443 HAS SOPS 37443 HAS SOUS 25551 HAS SOUPS 25551 WITH SCORE 25588.443
AT ITER 1517 NEW BEST:: SOT 70982 SOS 37218 HAS SOPS 37218 HAS SOUS 25493 HAS SOUPS 25493 WITH SCORE 25530.218
AT ITER 1522 NEW BEST:: SOT 70984 SOS 37204 HAS SOPS 37204 HAS SOUS 25483 HAS SOUPS 25483 WITH SCORE 25520.204
AT ITER 1529 NEW BEST:: SOT 70978 SOS 37206 HAS SOPS 37206 HAS SOUS 25477 HAS SOUPS 25477 WITH SCORE 25514.206
AT ITER 1531 NEW BEST:: SOT 70972 SOS 37200 HAS SOPS 37200 HAS SOUS 25469 HAS SOUPS 25469 WITH SCORE 25506.2
AT ITER 1535 NEW BEST:: SOT 70952 SOS 37180 HAS SOPS 37180 HAS SOUS 25449 HAS SOUPS 25449 WITH SCORE 25486.18
AT ITER 1536 NEW BEST:: SOT 70943 SOS 37168 HAS SOPS 37168 HAS SOUS 25428 HAS SOUPS 25428 WITH SCORE 25465.168
AT ITER 1538 NEW BEST:: SOT 70943 SOS 37151 HAS SOPS 37151 HAS SOUS 25394 HAS SOUPS 25394 WITH SCORE 25431.151
AT ITER 1550 NEW BEST:: SOT 70943 SOS 37121 HAS SOPS 37121 HAS SOUS 25379 HAS SOUPS 25379 WITH SCORE 25416.121
AT ITER 1557 NEW BEST:: SOT 70943 SOS 37109 HAS SOPS 37109 HAS SOUS 25373 HAS SOUPS 25373 WITH SCORE 25410.109
AT ITER 1565 NEW BEST:: SOT 70944 SOS 37108 HAS SOPS 37108 HAS SOUS 25311 HAS SOUPS 25311 WITH SCORE 25348.108
AT ITER 1570 NEW BEST:: SOT 70842 SOS 36682 HAS SOPS 36682 HAS SOUS 25247 HAS SOUPS 25247 WITH SCORE 25283.682
AT ITER 1578 NEW BEST:: SOT 70842 SOS 36674 HAS SOPS 36674 HAS SOUS 25241 HAS SOUPS 25241 WITH SCORE 25277.674
AT ITER 1601 NEW BEST:: SOT 70771 SOS 36603 HAS SOPS 36603 HAS SOUS 25165 HAS SOUPS 25165 WITH SCORE 25201.603
AT ITER 1609 NEW BEST:: SOT 70815 SOS 36627 HAS SOPS 36627 HAS SOUS 25145 HAS SOUPS 25145 WITH SCORE 25181.627
AT ITER 1617 NEW BEST:: SOT 70795 SOS 36557 HAS SOPS 36557 HAS SOUS 25105 HAS SOUPS 25105 WITH SCORE 25141.557
AT ITER 1623 NEW BEST:: SOT 70815 SOS 36360 HAS SOPS 36360 HAS SOUS 25077 HAS SOUPS 25077 WITH SCORE 25113.36
AT ITER 1629 NEW BEST:: SOT 70805 SOS 36312 HAS SOPS 36312 HAS SOUS 25059 HAS SOUPS 25059 WITH SCORE 25095.312
AT ITER 1630 NEW BEST:: SOT 70551 SOS 36110 HAS SOPS 36110 HAS SOUS 24813 HAS SOUPS 24813 WITH SCORE 24849.11
AT ITER 1633 NEW BEST:: SOT 70551 SOS 36110 HAS SOPS 36110 HAS SOUS 24797 HAS SOUPS 24797 WITH SCORE 24833.11
AT ITER 1636 NEW BEST:: SOT 70542 SOS 36042 HAS SOPS 36042 HAS SOUS 24791 HAS SOUPS 24791 WITH SCORE 24827.042
AT ITER 1637 NEW BEST:: SOT 70500 SOS 36033 HAS SOPS 36033 HAS SOUS 24749 HAS SOUPS 24749 WITH SCORE 24785.033
AT ITER 1643 NEW BEST:: SOT 70373 SOS 35908 HAS SOPS 35908 HAS SOUS 24712 HAS SOUPS 24712 WITH SCORE 24747.908
AT ITER 1644 NEW BEST:: SOT 70366 SOS 35856 HAS SOPS 35856 HAS SOUS 24662 HAS SOUPS 24662 WITH SCORE 24697.856
AT ITER 1669 NEW BEST:: SOT 70352 SOS 35830 HAS SOPS 35830 HAS SOUS 24631 HAS SOUPS 24631 WITH SCORE 24666.83
AT ITER 1674 NEW BEST:: SOT 70292 SOS 35754 HAS SOPS 35754 HAS SOUS 24511 HAS SOUPS 24511 WITH SCORE 24546.754
AT ITER 1677 NEW BEST:: SOT 70291 SOS 35753 HAS SOPS 35753 HAS SOUS 24510 HAS SOUPS 24510 WITH SCORE 24545.753
AT ITER 1688 NEW BEST:: SOT 70291 SOS 35740 HAS SOPS 35740 HAS SOUS 24354 HAS SOUPS 24354 WITH SCORE 24389.74
AT ITER 1698 NEW BEST:: SOT 70290 SOS 35660 HAS SOPS 35660 HAS SOUS 24334 HAS SOUPS 24334 WITH SCORE 24369.66
AT ITER 1701 NEW BEST:: SOT 70287 SOS 35657 HAS SOPS 35657 HAS SOUS 24331 HAS SOUPS 24331 WITH SCORE 24366.657
AT ITER 1703 NEW BEST:: SOT 70314 SOS 35646 HAS SOPS 35646 HAS SOUS 24328 HAS SOUPS 24328 WITH SCORE 24363.646
AT ITER 1740 NEW BEST:: SOT 70256 SOS 35580 HAS SOPS 35580 HAS SOUS 24291 HAS SOUPS 24291 WITH SCORE 24326.58
AT ITER 1747 NEW BEST:: SOT 70256 SOS 35568 HAS SOPS 35568 HAS SOUS 24289 HAS SOUPS 24289 WITH SCORE 24324.568
AT ITER 1760 NEW BEST:: SOT 70252 SOS 35563 HAS SOPS 35563 HAS SOUS 24281 HAS SOUPS 24281 WITH SCORE 24316.563
AT ITER 1763 NEW BEST:: SOT 70252 SOS 35670 HAS SOPS 35670 HAS SOUS 24081 HAS SOUPS 24081 WITH SCORE 24116.67
AT ITER 1764 NEW BEST:: SOT 69882 SOS 35462 HAS SOPS 35462 HAS SOUS 24004 HAS SOUPS 24004 WITH SCORE 24039.462
AT ITER 1770 NEW BEST:: SOT 69828 SOS 35452 HAS SOPS 35452 HAS SOUS 23996 HAS SOUPS 23996 WITH SCORE 24031.452
AT ITER 1774 NEW BEST:: SOT 69789 SOS 35413 HAS SOPS 35413 HAS SOUS 23957 HAS SOUPS 23957 WITH SCORE 23992.413
AT ITER 1775 NEW BEST:: SOT 69811 SOS 35463 HAS SOPS 35463 HAS SOUS 23922 HAS SOUPS 23922 WITH SCORE 23957.463
AT ITER 1779 NEW BEST:: SOT 69803 SOS 35455 HAS SOPS 35455 HAS SOUS 23914 HAS SOUPS 23914 WITH SCORE 23949.455
AT ITER 1793 NEW BEST:: SOT 69795 SOS 35427 HAS SOPS 35427 HAS SOUS 23898 HAS SOUPS 23898 WITH SCORE 23933.427
AT ITER 1797 NEW BEST:: SOT 69765 SOS 35367 HAS SOPS 35367 HAS SOUS 23834 HAS SOUPS 23834 WITH SCORE 23869.367
AT ITER 1800 NEW BEST:: SOT 69765 SOS 35367 HAS SOPS 35367 HAS SOUS 23818 HAS SOUPS 23818 WITH SCORE 23853.367
AT ITER 1805 NEW BEST:: SOT 69748 SOS 35341 HAS SOPS 35341 HAS SOUS 23780 HAS SOUPS 23780 WITH SCORE 23815.341
AT ITER 1808 NEW BEST:: SOT 69685 SOS 35257 HAS SOPS 35257 HAS SOUS 23662 HAS SOUPS 23662 WITH SCORE 23697.257
AT ITER 1809 NEW BEST:: SOT 69665 SOS 35213 HAS SOPS 35213 HAS SOUS 23596 HAS SOUPS 23596 WITH SCORE 23631.213
AT ITER 1812 NEW BEST:: SOT 69625 SOS 35173 HAS SOPS 35173 HAS SOUS 23556 HAS SOUPS 23556 WITH SCORE 23591.173
AT ITER 1813 NEW BEST:: SOT 69603 SOS 35151 HAS SOPS 35151 HAS SOUS 23495 HAS SOUPS 23495 WITH SCORE 23530.151
AT ITER 1819 NEW BEST:: SOT 69591 SOS 35139 HAS SOPS 35139 HAS SOUS 23483 HAS SOUPS 23483 WITH SCORE 23518.139
AT ITER 1823 NEW BEST:: SOT 69625 SOS 35288 HAS SOPS 35288 HAS SOUS 23466 HAS SOUPS 23466 WITH SCORE 23501.288
AT ITER 1838 NEW BEST:: SOT 69619 SOS 35355 HAS SOPS 35355 HAS SOUS 23460 HAS SOUPS 23460 WITH SCORE 23495.355
AT ITER 1875 NEW BEST:: SOT 69575 SOS 35329 HAS SOPS 35329 HAS SOUS 23410 HAS SOUPS 23410 WITH SCORE 23445.329
AT ITER 1877 NEW BEST:: SOT 69532 SOS 35232 HAS SOPS 35232 HAS SOUS 23367 HAS SOUPS 23367 WITH SCORE 23402.232
AT ITER 1886 NEW BEST:: SOT 69521 SOS 35224 HAS SOPS 35224 HAS SOUS 23336 HAS SOUPS 23336 WITH SCORE 23371.224
AT ITER 1887 NEW BEST:: SOT 69473 SOS 35097 HAS SOPS 35097 HAS SOUS 23187 HAS SOUPS 23187 WITH SCORE 23222.097
AT ITER 1899 NEW BEST:: SOT 69466 SOS 35129 HAS SOPS 35129 HAS SOUS 23164 HAS SOUPS 23164 WITH SCORE 23199.129
AT ITER 1900 NEW BEST:: SOT 69310 SOS 34949 HAS SOPS 34949 HAS SOUS 22971 HAS SOUPS 22971 WITH SCORE 23005.949
AT ITER 1935 NEW BEST:: SOT 69357 SOS 34854 HAS SOPS 34854 HAS SOUS 22893 HAS SOUPS 22893 WITH SCORE 22927.854
AT ITER 1944 NEW BEST:: SOT 69254 SOS 34759 HAS SOPS 34759 HAS SOUS 22850 HAS SOUPS 22850 WITH SCORE 22884.759
AT ITER 1964 NEW BEST:: SOT 69254 SOS 34759 HAS SOPS 34759 HAS SOUS 22808 HAS SOUPS 22808 WITH SCORE 22842.759
AT ITER 1979 NEW BEST:: SOT 69243 SOS 34570 HAS SOPS 34570 HAS SOUS 22735 HAS SOUPS 22735 WITH SCORE 22769.57
AT ITER 1985 NEW BEST:: SOT 69237 SOS 34565 HAS SOPS 34565 HAS SOUS 22730 HAS SOUPS 22730 WITH SCORE 22764.565
AT ITER 2003 NEW BEST:: SOT 69239 SOS 34567 HAS SOPS 34567 HAS SOUS 22725 HAS SOUPS 22725 WITH SCORE 22759.567
AT ITER 2014 NEW BEST:: SOT 69239 SOS 34551 HAS SOPS 34551 HAS SOUS 22725 HAS SOUPS 22725 WITH SCORE 22759.551
AT ITER 2019 NEW BEST:: SOT 69205 SOS 34517 HAS SOPS 34517 HAS SOUS 22691 HAS SOUPS 22691 WITH SCORE 22725.517
AT ITER 2023 NEW BEST:: SOT 69196 SOS 34511 HAS SOPS 34511 HAS SOUS 22685 HAS SOUPS 22685 WITH SCORE 22719.511
AT ITER 2028 NEW BEST:: SOT 69222 SOS 34511 HAS SOPS 34511 HAS SOUS 22679 HAS SOUPS 22679 WITH SCORE 22713.511
AT ITER 2036 NEW BEST:: SOT 69171 SOS 34460 HAS SOPS 34460 HAS SOUS 22628 HAS SOUPS 22628 WITH SCORE 22662.46
AT ITER 2049 NEW BEST:: SOT 69164 SOS 34453 HAS SOPS 34453 HAS SOUS 22624 HAS SOUPS 22624 WITH SCORE 22658.453
AT ITER 2050 NEW BEST:: SOT 69198 SOS 34487 HAS SOPS 34487 HAS SOUS 22620 HAS SOUPS 22620 WITH SCORE 22654.487
AT ITER 2070 NEW BEST:: SOT 69198 SOS 34117 HAS SOPS 34117 HAS SOUS 22561 HAS SOUPS 22561 WITH SCORE 22595.117
AT ITER 2095 NEW BEST:: SOT 69178 SOS 34095 HAS SOPS 34095 HAS SOUS 22534 HAS SOUPS 22534 WITH SCORE 22568.095
AT ITER 2102 NEW BEST:: SOT 69126 SOS 34043 HAS SOPS 34043 HAS SOUS 22456 HAS SOUPS 22456 WITH SCORE 22490.043
AT ITER 2123 NEW BEST:: SOT 69063 SOS 33949 HAS SOPS 33949 HAS SOUS 22348 HAS SOUPS 22348 WITH SCORE 22381.949
AT ITER 2124 NEW BEST:: SOT 69061 SOS 33947 HAS SOPS 33947 HAS SOUS 22346 HAS SOUPS 22346 WITH SCORE 22379.947
AT ITER 2127 NEW BEST:: SOT 69061 SOS 33941 HAS SOPS 33941 HAS SOUS 22331 HAS SOUPS 22331 WITH SCORE 22364.941
AT ITER 2129 NEW BEST:: SOT 69053 SOS 33933 HAS SOPS 33933 HAS SOUS 22323 HAS SOUPS 22323 WITH SCORE 22356.933
AT ITER 2132 NEW BEST:: SOT 69035 SOS 33918 HAS SOPS 33918 HAS SOUS 22286 HAS SOUPS 22286 WITH SCORE 22319.918
AT ITER 2133 NEW BEST:: SOT 69005 SOS 33888 HAS SOPS 33888 HAS SOUS 22256 HAS SOUPS 22256 WITH SCORE 22289.888
AT ITER 2164 NEW BEST:: SOT 68985 SOS 33845 HAS SOPS 33845 HAS SOUS 22254 HAS SOUPS 22254 WITH SCORE 22287.845
AT ITER 2167 NEW BEST:: SOT 68970 SOS 33785 HAS SOPS 33785 HAS SOUS 22242 HAS SOUPS 22242 WITH SCORE 22275.785
AT ITER 2173 NEW BEST:: SOT 68887 SOS 33737 HAS SOPS 33737 HAS SOUS 22173 HAS SOUPS 22173 WITH SCORE 22206.737
AT ITER 2174 NEW BEST:: SOT 68892 SOS 33760 HAS SOPS 33760 HAS SOUS 22170 HAS SOUPS 22170 WITH SCORE 22203.76
AT ITER 2186 NEW BEST:: SOT 68819 SOS 33687 HAS SOPS 33687 HAS SOUS 22073 HAS SOUPS 22073 WITH SCORE 22106.687
AT ITER 2187 NEW BEST:: SOT 68809 SOS 33677 HAS SOPS 33677 HAS SOUS 22063 HAS SOUPS 22063 WITH SCORE 22096.677
AT ITER 2192 NEW BEST:: SOT 68810 SOS 33575 HAS SOPS 33575 HAS SOUS 22029 HAS SOUPS 22029 WITH SCORE 22062.575
AT ITER 2197 NEW BEST:: SOT 68759 SOS 33266 HAS SOPS 33266 HAS SOUS 21895 HAS SOUPS 21895 WITH SCORE 21928.266
AT ITER 2240 NEW BEST:: SOT 68836 SOS 33244 HAS SOPS 33244 HAS SOUS 21833 HAS SOUPS 21833 WITH SCORE 21866.244
AT ITER 2251 NEW BEST:: SOT 68839 SOS 33232 HAS SOPS 33232 HAS SOUS 21830 HAS SOUPS 21830 WITH SCORE 21863.232
AT ITER 2252 NEW BEST:: SOT 68832 SOS 33158 HAS SOPS 33158 HAS SOUS 21715 HAS SOUPS 21715 WITH SCORE 21748.158
AT ITER 2261 NEW BEST:: SOT 68837 SOS 33005 HAS SOPS 33005 HAS SOUS 21677 HAS SOUPS 21677 WITH SCORE 21710.005
AT ITER 2292 NEW BEST:: SOT 68833 SOS 32989 HAS SOPS 32989 HAS SOUS 21669 HAS SOUPS 21669 WITH SCORE 21701.989
AT ITER 2295 NEW BEST:: SOT 68839 SOS 33156 HAS SOPS 33156 HAS SOUS 21662 HAS SOUPS 21662 WITH SCORE 21695.156
AT ITER 2322 NEW BEST:: SOT 68830 SOS 33138 HAS SOPS 33138 HAS SOUS 21638 HAS SOUPS 21638 WITH SCORE 21671.138
AT ITER 2336 NEW BEST:: SOT 68758 SOS 33066 HAS SOPS 33066 HAS SOUS 21542 HAS SOUPS 21542 WITH SCORE 21575.066
AT ITER 2355 NEW BEST:: SOT 68824 SOS 33083 HAS SOPS 33083 HAS SOUS 21422 HAS SOUPS 21422 WITH SCORE 21455.083
AT ITER 2357 NEW BEST:: SOT 68816 SOS 33067 HAS SOPS 33067 HAS SOUS 21406 HAS SOUPS 21406 WITH SCORE 21439.067
AT ITER 2358 NEW BEST:: SOT 68816 SOS 32874 HAS SOPS 32874 HAS SOUS 21395 HAS SOUPS 21395 WITH SCORE 21427.874
AT ITER 2360 NEW BEST:: SOT 68764 SOS 32828 HAS SOPS 32828 HAS SOUS 21273 HAS SOUPS 21273 WITH SCORE 21305.828
AT ITER 2362 NEW BEST:: SOT 68739 SOS 32727 HAS SOPS 32727 HAS SOUS 21238 HAS SOUPS 21238 WITH SCORE 21270.727
AT ITER 2371 NEW BEST:: SOT 68693 SOS 32658 HAS SOPS 32658 HAS SOUS 21085 HAS SOUPS 21085 WITH SCORE 21117.658
AT ITER 2383 NEW BEST:: SOT 68671 SOS 32633 HAS SOPS 32633 HAS SOUS 21071 HAS SOUPS 21071 WITH SCORE 21103.633
AT ITER 2393 NEW BEST:: SOT 68668 SOS 32616 HAS SOPS 32616 HAS SOUS 21059 HAS SOUPS 21059 WITH SCORE 21091.616
AT ITER 2408 NEW BEST:: SOT 68636 SOS 32430 HAS SOPS 32430 HAS SOUS 21058 HAS SOUPS 21058 WITH SCORE 21090.43
AT ITER 2421 NEW BEST:: SOT 68612 SOS 32283 HAS SOPS 32283 HAS SOUS 20961 HAS SOUPS 20961 WITH SCORE 20993.283
AT ITER 2426 NEW BEST:: SOT 68468 SOS 31995 HAS SOPS 31995 HAS SOUS 20757 HAS SOUPS 20757 WITH SCORE 20788.995
AT ITER 2438 NEW BEST:: SOT 68434 SOS 31754 HAS SOPS 31754 HAS SOUS 20682 HAS SOUPS 20682 WITH SCORE 20713.754
AT ITER 2443 NEW BEST:: SOT 68433 SOS 31753 HAS SOPS 31753 HAS SOUS 20681 HAS SOUPS 20681 WITH SCORE 20712.753
AT ITER 2468 NEW BEST:: SOT 68447 SOS 31749 HAS SOPS 31749 HAS SOUS 20662 HAS SOUPS 20662 WITH SCORE 20693.749
AT ITER 2479 NEW BEST:: SOT 68413 SOS 31715 HAS SOPS 31715 HAS SOUS 20606 HAS SOUPS 20606 WITH SCORE 20637.715
AT ITER 2500 NEW BEST:: SOT 68406 SOS 31708 HAS SOPS 31708 HAS SOUS 20599 HAS SOUPS 20599 WITH SCORE 20630.708
AT ITER 2503 NEW BEST:: SOT 68406 SOS 31708 HAS SOPS 31708 HAS SOUS 20583 HAS SOUPS 20583 WITH SCORE 20614.708
AT ITER 2504 NEW BEST:: SOT 68404 SOS 31700 HAS SOPS 31700 HAS SOUS 20573 HAS SOUPS 20573 WITH SCORE 20604.7
AT ITER 2516 NEW BEST:: SOT 68320 SOS 31565 HAS SOPS 31565 HAS SOUS 20436 HAS SOUPS 20436 WITH SCORE 20467.565
AT ITER 2519 NEW BEST:: SOT 68314 SOS 31561 HAS SOPS 31561 HAS SOUS 20431 HAS SOUPS 20431 WITH SCORE 20462.561
AT ITER 2532 NEW BEST:: SOT 68314 SOS 31561 HAS SOPS 31561 HAS SOUS 20391 HAS SOUPS 20391 WITH SCORE 20422.561
AT ITER 2551 NEW BEST:: SOT 67751 SOS 30941 HAS SOPS 30941 HAS SOUS 19753 HAS SOUPS 19753 WITH SCORE 19783.941
AT ITER 2553 NEW BEST:: SOT 67764 SOS 30901 HAS SOPS 30901 HAS SOUS 19691 HAS SOUPS 19691 WITH SCORE 19721.901
AT ITER 2566 NEW BEST:: SOT 67755 SOS 30908 HAS SOPS 30908 HAS SOUS 19687 HAS SOUPS 19687 WITH SCORE 19717.908
AT ITER 2579 NEW BEST:: SOT 67721 SOS 30874 HAS SOPS 30874 HAS SOUS 19653 HAS SOUPS 19653 WITH SCORE 19683.874
AT ITER 2580 NEW BEST:: SOT 67756 SOS 30901 HAS SOPS 30901 HAS SOUS 19652 HAS SOUPS 19652 WITH SCORE 19682.901
AT ITER 2602 NEW BEST:: SOT 67754 SOS 30893 HAS SOPS 30893 HAS SOUS 19648 HAS SOUPS 19648 WITH SCORE 19678.893
AT ITER 2614 NEW BEST:: SOT 67642 SOS 30802 HAS SOPS 30802 HAS SOUS 19633 HAS SOUPS 19633 WITH SCORE 19663.802
AT ITER 2618 NEW BEST:: SOT 67627 SOS 30772 HAS SOPS 30772 HAS SOUS 19603 HAS SOUPS 19603 WITH SCORE 19633.772
AT ITER 2628 NEW BEST:: SOT 67627 SOS 30754 HAS SOPS 30754 HAS SOUS 19600 HAS SOUPS 19600 WITH SCORE 19630.754
AT ITER 2642 NEW BEST:: SOT 67618 SOS 30745 HAS SOPS 30745 HAS SOUS 19591 HAS SOUPS 19591 WITH SCORE 19621.745
AT ITER 2645 NEW BEST:: SOT 67571 SOS 30695 HAS SOPS 30695 HAS SOUS 19538 HAS SOUPS 19538 WITH SCORE 19568.695
AT ITER 2691 NEW BEST:: SOT 67571 SOS 30670 HAS SOPS 30670 HAS SOUS 19538 HAS SOUPS 19538 WITH SCORE 19568.67
AT ITER 2723 NEW BEST:: SOT 67549 SOS 30643 HAS SOPS 30643 HAS SOUS 19510 HAS SOUPS 19510 WITH SCORE 19540.643
AT ITER 2734 NEW BEST:: SOT 67559 SOS 30639 HAS SOPS 30639 HAS SOUS 19506 HAS SOUPS 19506 WITH SCORE 19536.639
AT ITER 2755 NEW BEST:: SOT 67559 SOS 30591 HAS SOPS 30591 HAS SOUS 19484 HAS SOUPS 19484 WITH SCORE 19514.591
AT ITER 2759 NEW BEST:: SOT 67547 SOS 30579 HAS SOPS 30579 HAS SOUS 19472 HAS SOUPS 19472 WITH SCORE 19502.579
AT ITER 2766 NEW BEST:: SOT 67566 SOS 30504 HAS SOPS 30504 HAS SOUS 19370 HAS SOUPS 19370 WITH SCORE 19400.504
AT ITER 2769 NEW BEST:: SOT 67530 SOS 30495 HAS SOPS 30495 HAS SOUS 19363 HAS SOUPS 19363 WITH SCORE 19393.495
AT ITER 2775 NEW BEST:: SOT 67526 SOS 30491 HAS SOPS 30491 HAS SOUS 19359 HAS SOUPS 19359 WITH SCORE 19389.491
AT ITER 2778 NEW BEST:: SOT 67499 SOS 30464 HAS SOPS 30464 HAS SOUS 19332 HAS SOUPS 19332 WITH SCORE 19362.464
AT ITER 2779 NEW BEST:: SOT 67476 SOS 30196 HAS SOPS 30196 HAS SOUS 19233 HAS SOUPS 19233 WITH SCORE 19263.196
AT ITER 2780 NEW BEST:: SOT 67479 SOS 30259 HAS SOPS 30259 HAS SOUS 19230 HAS SOUPS 19230 WITH SCORE 19260.259
AT ITER 2790 NEW BEST:: SOT 67457 SOS 30221 HAS SOPS 30221 HAS SOUS 19160 HAS SOUPS 19160 WITH SCORE 19190.221
AT ITER 2830 NEW BEST:: SOT 67452 SOS 30145 HAS SOPS 30145 HAS SOUS 19157 HAS SOUPS 19157 WITH SCORE 19187.145
AT ITER 2837 NEW BEST:: SOT 67475 SOS 30034 HAS SOPS 30034 HAS SOUS 19091 HAS SOUPS 19091 WITH SCORE 19121.034
AT ITER 2849 NEW BEST:: SOT 67468 SOS 30027 HAS SOPS 30027 HAS SOUS 19084 HAS SOUPS 19084 WITH SCORE 19114.027
AT ITER 2895 NEW BEST:: SOT 67453 SOS 30007 HAS SOPS 30007 HAS SOUS 19069 HAS SOUPS 19069 WITH SCORE 19099.007
AT ITER 2897 NEW BEST:: SOT 67414 SOS 29955 HAS SOPS 29955 HAS SOUS 18983 HAS SOUPS 18983 WITH SCORE 19012.955
AT ITER 2907 NEW BEST:: SOT 67414 SOS 29955 HAS SOPS 29955 HAS SOUS 18979 HAS SOUPS 18979 WITH SCORE 19008.955
AT ITER 2908 NEW BEST:: SOT 67402 SOS 29935 HAS SOPS 29935 HAS SOUS 18959 HAS SOUPS 18959 WITH SCORE 18988.935
AT ITER 2918 NEW BEST:: SOT 67374 SOS 29907 HAS SOPS 29907 HAS SOUS 18919 HAS SOUPS 18919 WITH SCORE 18948.907
AT ITER 2928 NEW BEST:: SOT 67370 SOS 29885 HAS SOPS 29885 HAS SOUS 18877 HAS SOUPS 18877 WITH SCORE 18906.885
AT ITER 2954 NEW BEST:: SOT 67336 SOS 29926 HAS SOPS 29926 HAS SOUS 18869 HAS SOUPS 18869 WITH SCORE 18898.926
AT ITER 3003 NEW BEST:: SOT 67316 SOS 29906 HAS SOPS 29906 HAS SOUS 18849 HAS SOUPS 18849 WITH SCORE 18878.906
AT ITER 3005 NEW BEST:: SOT 67285 SOS 29881 HAS SOPS 29881 HAS SOUS 18817 HAS SOUPS 18817 WITH SCORE 18846.881
AT ITER 3030 NEW BEST:: SOT 67280 SOS 29881 HAS SOPS 29881 HAS SOUS 18807 HAS SOUPS 18807 WITH SCORE 18836.881
AT ITER 3068 NEW BEST:: SOT 67254 SOS 29805 HAS SOPS 29805 HAS SOUS 18779 HAS SOUPS 18779 WITH SCORE 18808.805
AT ITER 3071 NEW BEST:: SOT 67242 SOS 29801 HAS SOPS 29801 HAS SOUS 18759 HAS SOUPS 18759 WITH SCORE 18788.801
AT ITER 3074 NEW BEST:: SOT 67229 SOS 29763 HAS SOPS 29763 HAS SOUS 18745 HAS SOUPS 18745 WITH SCORE 18774.763
AT ITER 3075 NEW BEST:: SOT 67229 SOS 29761 HAS SOPS 29761 HAS SOUS 18743 HAS SOUPS 18743 WITH SCORE 18772.761
AT ITER 3081 NEW BEST:: SOT 67163 SOS 29650 HAS SOPS 29650 HAS SOUS 18654 HAS SOUPS 18654 WITH SCORE 18683.65
AT ITER 3116 NEW BEST:: SOT 67143 SOS 29630 HAS SOPS 29630 HAS SOUS 18626 HAS SOUPS 18626 WITH SCORE 18655.63
AT ITER 3133 NEW BEST:: SOT 67159 SOS 29686 HAS SOPS 29686 HAS SOUS 18611 HAS SOUPS 18611 WITH SCORE 18640.686
AT ITER 3151 NEW BEST:: SOT 67159 SOS 29686 HAS SOPS 29686 HAS SOUS 18609 HAS SOUPS 18609 WITH SCORE 18638.686
AT ITER 3163 NEW BEST:: SOT 67058 SOS 29585 HAS SOPS 29585 HAS SOUS 18478 HAS SOUPS 18478 WITH SCORE 18507.585
AT ITER 3179 NEW BEST:: SOT 67021 SOS 29469 HAS SOPS 29469 HAS SOUS 18414 HAS SOUPS 18414 WITH SCORE 18443.469
AT ITER 3207 NEW BEST:: SOT 67000 SOS 29413 HAS SOPS 29413 HAS SOUS 18385 HAS SOUPS 18385 WITH SCORE 18414.413
AT ITER 3211 NEW BEST:: SOT 67021 SOS 29326 HAS SOPS 29326 HAS SOUS 18383 HAS SOUPS 18383 WITH SCORE 18412.326
AT ITER 3232 NEW BEST:: SOT 66973 SOS 29268 HAS SOPS 29268 HAS SOUS 18299 HAS SOUPS 18299 WITH SCORE 18328.268
AT ITER 3242 NEW BEST:: SOT 66973 SOS 29359 HAS SOPS 29359 HAS SOUS 18297 HAS SOUPS 18297 WITH SCORE 18326.359
AT ITER 3255 NEW BEST:: SOT 66975 SOS 29355 HAS SOPS 29355 HAS SOUS 18297 HAS SOUPS 18297 WITH SCORE 18326.355
AT ITER 3260 NEW BEST:: SOT 66969 SOS 29329 HAS SOPS 29329 HAS SOUS 18257 HAS SOUPS 18257 WITH SCORE 18286.329
AT ITER 3265 NEW BEST:: SOT 66969 SOS 29323 HAS SOPS 29323 HAS SOUS 18251 HAS SOUPS 18251 WITH SCORE 18280.323
AT ITER 3279 NEW BEST:: SOT 66957 SOS 29293 HAS SOPS 29293 HAS SOUS 18231 HAS SOUPS 18231 WITH SCORE 18260.293
AT ITER 3286 NEW BEST:: SOT 66817 SOS 29151 HAS SOPS 29151 HAS SOUS 18061 HAS SOUPS 18061 WITH SCORE 18090.151
AT ITER 3287 NEW BEST:: SOT 66806 SOS 29140 HAS SOPS 29140 HAS SOUS 18041 HAS SOUPS 18041 WITH SCORE 18070.14
AT ITER 3316 NEW BEST:: SOT 66931 SOS 29223 HAS SOPS 29223 HAS SOUS 17995 HAS SOUPS 17995 WITH SCORE 18024.223
AT ITER 3320 NEW BEST:: SOT 66918 SOS 29158 HAS SOPS 29158 HAS SOUS 17943 HAS SOUPS 17943 WITH SCORE 17972.158
AT ITER 3325 NEW BEST:: SOT 66900 SOS 29033 HAS SOPS 29033 HAS SOUS 17912 HAS SOUPS 17912 WITH SCORE 17941.033
AT ITER 3349 NEW BEST:: SOT 66900 SOS 28988 HAS SOPS 28988 HAS SOUS 17903 HAS SOUPS 17903 WITH SCORE 17931.988
AT ITER 3357 NEW BEST:: SOT 66887 SOS 28967 HAS SOPS 28967 HAS SOUS 17866 HAS SOUPS 17866 WITH SCORE 17894.967
AT ITER 3362 NEW BEST:: SOT 66887 SOS 28962 HAS SOPS 28962 HAS SOUS 17866 HAS SOUPS 17866 WITH SCORE 17894.962
AT ITER 3367 NEW BEST:: SOT 66887 SOS 29067 HAS SOPS 29067 HAS SOUS 17861 HAS SOUPS 17861 WITH SCORE 17890.067
AT ITER 3369 NEW BEST:: SOT 66874 SOS 29032 HAS SOPS 29032 HAS SOUS 17826 HAS SOUPS 17826 WITH SCORE 17855.032
AT ITER 3406 NEW BEST:: SOT 66862 SOS 29020 HAS SOPS 29020 HAS SOUS 17766 HAS SOUPS 17766 WITH SCORE 17795.02
AT ITER 3429 NEW BEST:: SOT 66832 SOS 28990 HAS SOPS 28990 HAS SOUS 17729 HAS SOUPS 17729 WITH SCORE 17757.99
AT ITER 3438 NEW BEST:: SOT 66832 SOS 28990 HAS SOPS 28990 HAS SOUS 17698 HAS SOUPS 17698 WITH SCORE 17726.99
AT ITER 3456 NEW BEST:: SOT 66787 SOS 29014 HAS SOPS 29014 HAS SOUS 17695 HAS SOUPS 17695 WITH SCORE 17724.014
AT ITER 3463 NEW BEST:: SOT 66750 SOS 28986 HAS SOPS 28986 HAS SOUS 17695 HAS SOUPS 17695 WITH SCORE 17723.986
AT ITER 3482 NEW BEST:: SOT 66791 SOS 28934 HAS SOPS 28934 HAS SOUS 17681 HAS SOUPS 17681 WITH SCORE 17709.934
AT ITER 3506 NEW BEST:: SOT 66791 SOS 28922 HAS SOPS 28922 HAS SOUS 17681 HAS SOUPS 17681 WITH SCORE 17709.922
AT ITER 3512 NEW BEST:: SOT 66791 SOS 28892 HAS SOPS 28892 HAS SOUS 17677 HAS SOUPS 17677 WITH SCORE 17705.892
AT ITER 3521 NEW BEST:: SOT 66740 SOS 28743 HAS SOPS 28743 HAS SOUS 17650 HAS SOUPS 17650 WITH SCORE 17678.743
AT ITER 3530 NEW BEST:: SOT 66738 SOS 28739 HAS SOPS 28739 HAS SOUS 17648 HAS SOUPS 17648 WITH SCORE 17676.739
AT ITER 3531 NEW BEST:: SOT 66738 SOS 28730 HAS SOPS 28730 HAS SOUS 17648 HAS SOUPS 17648 WITH SCORE 17676.73
AT ITER 3532 NEW BEST:: SOT 66740 SOS 28710 HAS SOPS 28710 HAS SOUS 17623 HAS SOUPS 17623 WITH SCORE 17651.71
AT ITER 3535 NEW BEST:: SOT 66738 SOS 28706 HAS SOPS 28706 HAS SOUS 17623 HAS SOUPS 17623 WITH SCORE 17651.706
AT ITER 3539 NEW BEST:: SOT 66738 SOS 28645 HAS SOPS 28645 HAS SOUS 17582 HAS SOUPS 17582 WITH SCORE 17610.645
AT ITER 3549 NEW BEST:: SOT 66706 SOS 28608 HAS SOPS 28608 HAS SOUS 17552 HAS SOUPS 17552 WITH SCORE 17580.608
AT ITER 3576 NEW BEST:: SOT 66758 SOS 28408 HAS SOPS 28408 HAS SOUS 17548 HAS SOUPS 17548 WITH SCORE 17576.408
AT ITER 3634 NEW BEST:: SOT 66770 SOS 28445 HAS SOPS 28445 HAS SOUS 17532 HAS SOUPS 17532 WITH SCORE 17560.445
AT ITER 3637 NEW BEST:: SOT 66762 SOS 28431 HAS SOPS 28431 HAS SOUS 17518 HAS SOUPS 17518 WITH SCORE 17546.431
AT ITER 3646 NEW BEST:: SOT 66714 SOS 28279 HAS SOPS 28279 HAS SOUS 17427 HAS SOUPS 17427 WITH SCORE 17455.279
AT ITER 3665 NEW BEST:: SOT 66700 SOS 28135 HAS SOPS 28135 HAS SOUS 17370 HAS SOUPS 17370 WITH SCORE 17398.135
AT ITER 3668 NEW BEST:: SOT 66700 SOS 28117 HAS SOPS 28117 HAS SOUS 17364 HAS SOUPS 17364 WITH SCORE 17392.117
AT ITER 3690 NEW BEST:: SOT 66700 SOS 28111 HAS SOPS 28111 HAS SOUS 17356 HAS SOUPS 17356 WITH SCORE 17384.111
AT ITER 3726 NEW BEST:: SOT 66697 SOS 28034 HAS SOPS 28034 HAS SOUS 17335 HAS SOUPS 17335 WITH SCORE 17363.034
AT ITER 3734 NEW BEST:: SOT 66699 SOS 28036 HAS SOPS 28036 HAS SOUS 17330 HAS SOUPS 17330 WITH SCORE 17358.036
AT ITER 3742 NEW BEST:: SOT 66689 SOS 28016 HAS SOPS 28016 HAS SOUS 17306 HAS SOUPS 17306 WITH SCORE 17334.016
AT ITER 3744 NEW BEST:: SOT 66678 SOS 27991 HAS SOPS 27991 HAS SOUS 17299 HAS SOUPS 17299 WITH SCORE 17326.991
AT ITER 3754 NEW BEST:: SOT 66678 SOS 27991 HAS SOPS 27991 HAS SOUS 17271 HAS SOUPS 17271 WITH SCORE 17298.991
AT ITER 3769 NEW BEST:: SOT 66714 SOS 28031 HAS SOPS 28031 HAS SOUS 17260 HAS SOUPS 17260 WITH SCORE 17288.031
AT ITER 3781 NEW BEST:: SOT 66761 SOS 28042 HAS SOPS 28042 HAS SOUS 17254 HAS SOUPS 17254 WITH SCORE 17282.042
AT ITER 3791 NEW BEST:: SOT 66729 SOS 28018 HAS SOPS 28018 HAS SOUS 17198 HAS SOUPS 17198 WITH SCORE 17226.018
AT ITER 3803 NEW BEST:: SOT 66739 SOS 28010 HAS SOPS 28010 HAS SOUS 17197 HAS SOUPS 17197 WITH SCORE 17225.01
AT ITER 3817 NEW BEST:: SOT 66734 SOS 27995 HAS SOPS 27995 HAS SOUS 17182 HAS SOUPS 17182 WITH SCORE 17209.995
AT ITER 3838 NEW BEST:: SOT 66673 SOS 27858 HAS SOPS 27858 HAS SOUS 17099 HAS SOUPS 17099 WITH SCORE 17126.858
AT ITER 3850 NEW BEST:: SOT 66671 SOS 27829 HAS SOPS 27829 HAS SOUS 17046 HAS SOUPS 17046 WITH SCORE 17073.829
AT ITER 3856 NEW BEST:: SOT 66671 SOS 27799 HAS SOPS 27799 HAS SOUS 17016 HAS SOUPS 17016 WITH SCORE 17043.799
AT ITER 3862 NEW BEST:: SOT 66674 SOS 27790 HAS SOPS 27790 HAS SOUS 17009 HAS SOUPS 17009 WITH SCORE 17036.79
AT ITER 3875 NEW BEST:: SOT 66626 SOS 27602 HAS SOPS 27602 HAS SOUS 16905 HAS SOUPS 16905 WITH SCORE 16932.602
AT ITER 3933 NEW BEST:: SOT 66626 SOS 27650 HAS SOPS 27650 HAS SOUS 16879 HAS SOUPS 16879 WITH SCORE 16906.65
AT ITER 3936 NEW BEST:: SOT 66618 SOS 27647 HAS SOPS 27647 HAS SOUS 16860 HAS SOUPS 16860 WITH SCORE 16887.647
AT ITER 3966 NEW BEST:: SOT 66610 SOS 27609 HAS SOPS 27609 HAS SOUS 16842 HAS SOUPS 16842 WITH SCORE 16869.609
AT ITER 3979 NEW BEST:: SOT 66609 SOS 27608 HAS SOPS 27608 HAS SOUS 16837 HAS SOUPS 16837 WITH SCORE 16864.608
AT ITER 3997 NEW BEST:: SOT 66614 SOS 27612 HAS SOPS 27612 HAS SOUS 16824 HAS SOUPS 16824 WITH SCORE 16851.612
AT ITER 4010 NEW BEST:: SOT 66556 SOS 27549 HAS SOPS 27549 HAS SOUS 16734 HAS SOUPS 16734 WITH SCORE 16761.549
AT ITER 4016 NEW BEST:: SOT 66564 SOS 27392 HAS SOPS 27392 HAS SOUS 16701 HAS SOUPS 16701 WITH SCORE 16728.392
AT ITER 4051 NEW BEST:: SOT 66549 SOS 27357 HAS SOPS 27357 HAS SOUS 16689 HAS SOUPS 16689 WITH SCORE 16716.357
AT ITER 4055 NEW BEST:: SOT 66552 SOS 27353 HAS SOPS 27353 HAS SOUS 16681 HAS SOUPS 16681 WITH SCORE 16708.353
AT ITER 4076 NEW BEST:: SOT 66552 SOS 27353 HAS SOPS 27353 HAS SOUS 16678 HAS SOUPS 16678 WITH SCORE 16705.353
AT ITER 4085 NEW BEST:: SOT 66473 SOS 27319 HAS SOPS 27319 HAS SOUS 16667 HAS SOUPS 16667 WITH SCORE 16694.319
AT ITER 4091 NEW BEST:: SOT 66456 SOS 27302 HAS SOPS 27302 HAS SOUS 16650 HAS SOUPS 16650 WITH SCORE 16677.302
AT ITER 4128 NEW BEST:: SOT 66459 SOS 27267 HAS SOPS 27267 HAS SOUS 16602 HAS SOUPS 16602 WITH SCORE 16629.267
AT ITER 4137 NEW BEST:: SOT 66451 SOS 27259 HAS SOPS 27259 HAS SOUS 16594 HAS SOUPS 16594 WITH SCORE 16621.259
AT ITER 4155 NEW BEST:: SOT 66451 SOS 27085 HAS SOPS 27085 HAS SOUS 16594 HAS SOUPS 16594 WITH SCORE 16621.085
AT ITER 4214 NEW BEST:: SOT 66451 SOS 27089 HAS SOPS 27089 HAS SOUS 16593 HAS SOUPS 16593 WITH SCORE 16620.089
AT ITER 4235 NEW BEST:: SOT 66465 SOS 26929 HAS SOPS 26929 HAS SOUS 16568 HAS SOUPS 16568 WITH SCORE 16594.929
AT ITER 4267 NEW BEST:: SOT 66443 SOS 26922 HAS SOPS 26922 HAS SOUS 16563 HAS SOUPS 16563 WITH SCORE 16589.922
AT ITER 4283 NEW BEST:: SOT 66443 SOS 26895 HAS SOPS 26895 HAS SOUS 16554 HAS SOUPS 16554 WITH SCORE 16580.895
AT ITER 4333 NEW BEST:: SOT 66443 SOS 26895 HAS SOPS 26895 HAS SOUS 16551 HAS SOUPS 16551 WITH SCORE 16577.895
AT ITER 4339 NEW BEST:: SOT 66425 SOS 26872 HAS SOPS 26872 HAS SOUS 16518 HAS SOUPS 16518 WITH SCORE 16544.872
AT ITER 4377 NEW BEST:: SOT 66377 SOS 26784 HAS SOPS 26784 HAS SOUS 16457 HAS SOUPS 16457 WITH SCORE 16483.784
AT ITER 4385 NEW BEST:: SOT 66399 SOS 26858 HAS SOPS 26858 HAS SOUS 16442 HAS SOUPS 16442 WITH SCORE 16468.858
AT ITER 4398 NEW BEST:: SOT 66340 SOS 26818 HAS SOPS 26818 HAS SOUS 16402 HAS SOUPS 16402 WITH SCORE 16428.818
AT ITER 4407 NEW BEST:: SOT 66372 SOS 26810 HAS SOPS 26810 HAS SOUS 16392 HAS SOUPS 16392 WITH SCORE 16418.81
AT ITER 4428 NEW BEST:: SOT 66351 SOS 26786 HAS SOPS 26786 HAS SOUS 16376 HAS SOUPS 16376 WITH SCORE 16402.786
AT ITER 4438 NEW BEST:: SOT 66339 SOS 26712 HAS SOPS 26712 HAS SOUS 16340 HAS SOUPS 16340 WITH SCORE 16366.712
AT ITER 4451 NEW BEST:: SOT 66339 SOS 26697 HAS SOPS 26697 HAS SOUS 16332 HAS SOUPS 16332 WITH SCORE 16358.697
AT ITER 4452 NEW BEST:: SOT 66336 SOS 26674 HAS SOPS 26674 HAS SOUS 16321 HAS SOUPS 16321 WITH SCORE 16347.674
AT ITER 4462 NEW BEST:: SOT 66334 SOS 26672 HAS SOPS 26672 HAS SOUS 16319 HAS SOUPS 16319 WITH SCORE 16345.672
AT ITER 4483 NEW BEST:: SOT 66332 SOS 26654 HAS SOPS 26654 HAS SOUS 16299 HAS SOUPS 16299 WITH SCORE 16325.654
AT ITER 4503 NEW BEST:: SOT 66330 SOS 26652 HAS SOPS 26652 HAS SOUS 16297 HAS SOUPS 16297 WITH SCORE 16323.652
AT ITER 4535 NEW BEST:: SOT 66330 SOS 26743 HAS SOPS 26743 HAS SOUS 16280 HAS SOUPS 16280 WITH SCORE 16306.743
AT ITER 4566 NEW BEST:: SOT 66326 SOS 26735 HAS SOPS 26735 HAS SOUS 16268 HAS SOUPS 16268 WITH SCORE 16294.735
AT ITER 4581 NEW BEST:: SOT 66326 SOS 26689 HAS SOPS 26689 HAS SOUS 16268 HAS SOUPS 16268 WITH SCORE 16294.689
AT ITER 4585 NEW BEST:: SOT 66300 SOS 26685 HAS SOPS 26685 HAS SOUS 16242 HAS SOUPS 16242 WITH SCORE 16268.685
AT ITER 4587 NEW BEST:: SOT 66263 SOS 26644 HAS SOPS 26644 HAS SOUS 16236 HAS SOUPS 16236 WITH SCORE 16262.644
AT ITER 4595 NEW BEST:: SOT 66280 SOS 26613 HAS SOPS 26613 HAS SOUS 16131 HAS SOUPS 16131 WITH SCORE 16157.613
AT ITER 4602 NEW BEST:: SOT 66311 SOS 26686 HAS SOPS 26686 HAS SOUS 16115 HAS SOUPS 16115 WITH SCORE 16141.686
AT ITER 4667 NEW BEST:: SOT 66288 SOS 26642 HAS SOPS 26642 HAS SOUS 16065 HAS SOUPS 16065 WITH SCORE 16091.642
AT ITER 4687 NEW BEST:: SOT 66282 SOS 26634 HAS SOPS 26634 HAS SOUS 16049 HAS SOUPS 16049 WITH SCORE 16075.634
AT ITER 4715 NEW BEST:: SOT 66281 SOS 26626 HAS SOPS 26626 HAS SOUS 16025 HAS SOUPS 16025 WITH SCORE 16051.626
AT ITER 4729 NEW BEST:: SOT 66223 SOS 26573 HAS SOPS 26573 HAS SOUS 15972 HAS SOUPS 15972 WITH SCORE 15998.573
AT ITER 4746 NEW BEST:: SOT 66220 SOS 26567 HAS SOPS 26567 HAS SOUS 15957 HAS SOUPS 15957 WITH SCORE 15983.567
AT ITER 4773 NEW BEST:: SOT 66219 SOS 26561 HAS SOPS 26561 HAS SOUS 15939 HAS SOUPS 15939 WITH SCORE 15965.561
AT ITER 4813 NEW BEST:: SOT 66194 SOS 26536 HAS SOPS 26536 HAS SOUS 15906 HAS SOUPS 15906 WITH SCORE 15932.536
AT ITER 4850 NEW BEST:: SOT 66196 SOS 26534 HAS SOPS 26534 HAS SOUS 15900 HAS SOUPS 15900 WITH SCORE 15926.534
AT ITER 4851 NEW BEST:: SOT 66164 SOS 26472 HAS SOPS 26472 HAS SOUS 15831 HAS SOUPS 15831 WITH SCORE 15857.472
AT ITER 4869 NEW BEST:: SOT 66109 SOS 26411 HAS SOPS 26411 HAS SOUS 15714 HAS SOUPS 15714 WITH SCORE 15740.411
AT ITER 4878 NEW BEST:: SOT 66104 SOS 26400 HAS SOPS 26400 HAS SOUS 15706 HAS SOUPS 15706 WITH SCORE 15732.4
AT ITER 4879 NEW BEST:: SOT 66103 SOS 26398 HAS SOPS 26398 HAS SOUS 15704 HAS SOUPS 15704 WITH SCORE 15730.398
AT ITER 4883 NEW BEST:: SOT 66060 SOS 26363 HAS SOPS 26363 HAS SOUS 15687 HAS SOUPS 15687 WITH SCORE 15713.363
AT ITER 4885 NEW BEST:: SOT 66034 SOS 26337 HAS SOPS 26337 HAS SOUS 15660 HAS SOUPS 15660 WITH SCORE 15686.337
AT ITER 4892 NEW BEST:: SOT 66005 SOS 26308 HAS SOPS 26308 HAS SOUS 15636 HAS SOUPS 15636 WITH SCORE 15662.308
AT ITER 4919 NEW BEST:: SOT 66015 SOS 26308 HAS SOPS 26308 HAS SOUS 15629 HAS SOUPS 15629 WITH SCORE 15655.308
AT ITER 4937 NEW BEST:: SOT 65995 SOS 26283 HAS SOPS 26283 HAS SOUS 15604 HAS SOUPS 15604 WITH SCORE 15630.283
AT ITER 4954 NEW BEST:: SOT 65971 SOS 26224 HAS SOPS 26224 HAS SOUS 15566 HAS SOUPS 15566 WITH SCORE 15592.224
AT ITER 4961 NEW BEST:: SOT 65967 SOS 26214 HAS SOPS 26214 HAS SOUS 15550 HAS SOUPS 15550 WITH SCORE 15576.214
AT ITER 4993 NEW BEST:: SOT 65943 SOS 26188 HAS SOPS 26188 HAS SOUS 15495 HAS SOUPS 15495 WITH SCORE 15521.188
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldRVs-PT-020A-CTLCardinality-00 ( ( (AF(( potential( ( 1 ) <= (tk(P122)) ) & potential( (tk(P20)) <= (tk(P210)) ) ))) | ( ( potential( (tk(P56)) <= (tk(P152)) ) | ( potential( ( 3 ) <= (tk(P38)) ) | potential( ( 2 ) <= (tk(P72)) ) ) ) & ( ( potential( ( 2 ) <= (tk(P87)) ) & potential( ( 3 ) <= (tk(P154)) ) ) | ( potential( ( 1 ) <= (tk(P82)) ) & potential( ( 1 ) <= (tk(P34)) ) ) ) ) ) & ( (! ( ( potential( ( 3 ) <= (tk(P210)) ) & potential( (tk(P144)) <= (tk(P97)) ) ) & ( potential( ( 1 ) <= (tk(P234)) ) & potential( ( 1 ) <= (tk(P182)) ) ) )) & (EF(( potential( (tk(P130)) <= (tk(P119)) ) & potential( ( 1 ) <= (tk(P206)) ) ))) ) )
PROPERTY: ShieldRVs-PT-020A-CTLCardinality-01 (EG( (! (AX( potential( (tk(P171)) <= (tk(P242)) ))))))
PROPERTY: ShieldRVs-PT-020A-CTLCardinality-02 (! ( (AF(potential( ( 3 ) <= (tk(P215)) ))) & potential( (tk(P140)) <= (tk(P67)) ) ))
PROPERTY: ShieldRVs-PT-020A-CTLCardinality-03 (EU( (AF(potential( (tk(P72)) <= (tk(P221)) ))),(AG( potential( ( 3 ) <= (tk(P117)) ))) ))
PROPERTY: ShieldRVs-PT-020A-CTLCardinality-04 (! (AG( (! (! potential( (tk(P84)) <= (tk(P143)) ))))))
PROPERTY: ShieldRVs-PT-020A-CTLCardinality-05 (EF((EF((! potential( (tk(P96)) <= (tk(P102)) ))))))
PROPERTY: ShieldRVs-PT-020A-CTLCardinality-06 ( (AG( (! ( potential( ( 2 ) <= (tk(P157)) ) & potential( ( 1 ) <= (tk(P229)) ) )))) | potential( ( 2 ) <= (tk(P254)) ) )
PROPERTY: ShieldRVs-PT-020A-CTLCardinality-07 ( (AU( ( potential( (tk(P30)) <= (tk(P118)) ) | potential( (tk(P101)) <= (tk(P104)) ) ),potential( ( 1 ) <= (tk(P80)) ) )) & (AU( ( potential( ( 3 ) <= (tk(P32)) ) | potential( ( 1 ) <= (tk(P143)) ) ),( potential( ( 3 ) <= (tk(P105)) ) | potential( (tk(P24)) <= (tk(P271)) ) ) )) )
PROPERTY: ShieldRVs-PT-020A-CTLCardinality-08 (EU( ( ( potential( (tk(P110)) <= (tk(P228)) ) | potential( (tk(P97)) <= (tk(P136)) ) ) | (! potential( (tk(P128)) <= (tk(P19)) )) ),(AF(potential( ( 3 ) <= (tk(P98)) ))) ))
PROPERTY: ShieldRVs-PT-020A-CTLCardinality-09 ( (AG( (AX( potential( (tk(P179)) <= (tk(P81)) ))))) & (! ( ( ( potential( ( 1 ) <= (tk(P18)) ) | potential( ( 2 ) <= (tk(P91)) ) ) | ( potential( ( 1 ) <= (tk(P232)) ) & potential( ( 2 ) <= (tk(P52)) ) ) ) & ( potential( ( 2 ) <= (tk(P150)) ) & ( potential( ( 1 ) <= (tk(P9)) ) & potential( (tk(P77)) <= (tk(P273)) ) ) ) )) )
PROPERTY: ShieldRVs-PT-020A-CTLCardinality-10 ( (! ( (EX( potential( (tk(P51)) <= (tk(P185)) ))) & (EG( potential( (tk(P40)) <= (tk(P272)) ))) )) | (EG( (! (! potential( ( 3 ) <= (tk(P95)) ))))) )
PROPERTY: ShieldRVs-PT-020A-CTLCardinality-11 ( (EU( potential( ( 2 ) <= (tk(P24)) ),potential( (tk(P129)) <= (tk(P33)) ) )) & (AF(( (! potential( (tk(P248)) <= (tk(P167)) )) | (! potential( (tk(P242)) <= (tk(P200)) )) ))) )
PROPERTY: ShieldRVs-PT-020A-CTLCardinality-12 (EF((AF((! potential( (tk(P56)) <= (tk(P181)) ))))))
PROPERTY: ShieldRVs-PT-020A-CTLCardinality-13 ( (! (AG( (! potential( (tk(P58)) <= (tk(P139)) ))))) & (AX( (EG( potential( (tk(P151)) <= (tk(P30)) ))))) )
PROPERTY: ShieldRVs-PT-020A-CTLCardinality-14 ( ( (EG( (! potential( ( 1 ) <= (tk(P156)) )))) & (AU( potential( ( 2 ) <= (tk(P26)) ),potential( (tk(P266)) <= (tk(P148)) ) )) ) & (EF((! ( potential( ( 3 ) <= (tk(P198)) ) & potential( ( 1 ) <= (tk(P69)) ) )))) )
PROPERTY: ShieldRVs-PT-020A-CTLCardinality-15 (EG( (AU( potential( (tk(P38)) <= (tk(P183)) ),potential( ( 3 ) <= (tk(P71)) ) ))))

BK_STOP 1590454360487

--------------------
content from stderr:

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 373 Aborted ${SMART} ${INPUT_SM}

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="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldRVs-PT-020A, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033470100843"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;