Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972500371.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 FlexibleBarrier-PT-18a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972500371
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 432K
-rw-r--r-- 1 mcc users 3.2K Apr 4 19:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 4 19:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 4 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 4 08:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 3 21:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 3 21:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 3 13:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Apr 3 13:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 265K Mar 24 05:37 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 FlexibleBarrier-PT-18a-CTLCardinality-00
FORMULA_NAME FlexibleBarrier-PT-18a-CTLCardinality-01
FORMULA_NAME FlexibleBarrier-PT-18a-CTLCardinality-02
FORMULA_NAME FlexibleBarrier-PT-18a-CTLCardinality-03
FORMULA_NAME FlexibleBarrier-PT-18a-CTLCardinality-04
FORMULA_NAME FlexibleBarrier-PT-18a-CTLCardinality-05
FORMULA_NAME FlexibleBarrier-PT-18a-CTLCardinality-06
FORMULA_NAME FlexibleBarrier-PT-18a-CTLCardinality-07
FORMULA_NAME FlexibleBarrier-PT-18a-CTLCardinality-08
FORMULA_NAME FlexibleBarrier-PT-18a-CTLCardinality-09
FORMULA_NAME FlexibleBarrier-PT-18a-CTLCardinality-10
FORMULA_NAME FlexibleBarrier-PT-18a-CTLCardinality-11
FORMULA_NAME FlexibleBarrier-PT-18a-CTLCardinality-12
FORMULA_NAME FlexibleBarrier-PT-18a-CTLCardinality-13
FORMULA_NAME FlexibleBarrier-PT-18a-CTLCardinality-14
FORMULA_NAME FlexibleBarrier-PT-18a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589439555087

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 18a
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: 219 places, 886 transitions, 4355 arcs.
AT ITER 0 NEW BEST:: SOT 171612 SOS 147997 HAS SOPS 147997 HAS SOUS 83087 HAS SOUPS 83087 WITH SCORE 83234.997
AT ITER 1 NEW BEST:: SOT 171041 SOS 147564 HAS SOPS 147564 HAS SOUS 83037 HAS SOUPS 83037 WITH SCORE 83184.564
AT ITER 2 NEW BEST:: SOT 170578 SOS 147041 HAS SOPS 147041 HAS SOUS 82707 HAS SOUPS 82707 WITH SCORE 82854.041
AT ITER 3 NEW BEST:: SOT 170685 SOS 147027 HAS SOPS 147027 HAS SOUS 82693 HAS SOUPS 82693 WITH SCORE 82840.027
AT ITER 6 NEW BEST:: SOT 168302 SOS 144929 HAS SOPS 144644 HAS SOUS 80367 HAS SOUPS 80300 WITH SCORE 80444.929
AT ITER 7 NEW BEST:: SOT 168415 SOS 144737 HAS SOPS 144452 HAS SOUS 78923 HAS SOUPS 78856 WITH SCORE 79000.737
AT ITER 8 NEW BEST:: SOT 167392 SOS 143541 HAS SOPS 143256 HAS SOUS 78282 HAS SOUPS 78215 WITH SCORE 78358.541
AT ITER 11 NEW BEST:: SOT 167203 SOS 143352 HAS SOPS 143040 HAS SOUS 78174 HAS SOUPS 78107 WITH SCORE 78250.352
AT ITER 12 NEW BEST:: SOT 165904 SOS 141996 HAS SOPS 141627 HAS SOUS 77441 HAS SOUPS 77340 WITH SCORE 77481.996
AT ITER 14 NEW BEST:: SOT 166216 SOS 142158 HAS SOPS 141749 HAS SOUS 74883 HAS SOUPS 74782 WITH SCORE 74924.158
AT ITER 15 NEW BEST:: SOT 166214 SOS 142154 HAS SOPS 141745 HAS SOUS 74883 HAS SOUPS 74782 WITH SCORE 74924.154
AT ITER 16 NEW BEST:: SOT 166246 SOS 142207 HAS SOPS 141785 HAS SOUS 74878 HAS SOUPS 74777 WITH SCORE 74919.207
AT ITER 18 NEW BEST:: SOT 166246 SOS 142173 HAS SOPS 141717 HAS SOUS 74810 HAS SOUPS 74709 WITH SCORE 74851.173
AT ITER 21 NEW BEST:: SOT 166174 SOS 142101 HAS SOPS 141645 HAS SOUS 74738 HAS SOUPS 74637 WITH SCORE 74779.101
AT ITER 25 NEW BEST:: SOT 164791 SOS 140753 HAS SOPS 140297 HAS SOUS 73932 HAS SOUPS 73831 WITH SCORE 73971.753
AT ITER 29 NEW BEST:: SOT 164775 SOS 140417 HAS SOPS 139961 HAS SOUS 73556 HAS SOUPS 73455 WITH SCORE 73595.417
AT ITER 30 NEW BEST:: SOT 163232 SOS 138739 HAS SOPS 138223 HAS SOUS 72577 HAS SOUPS 72476 WITH SCORE 72614.739
AT ITER 31 NEW BEST:: SOT 163285 SOS 138131 HAS SOPS 137351 HAS SOUS 68689 HAS SOUPS 68588 WITH SCORE 68726.131
AT ITER 33 NEW BEST:: SOT 161255 SOS 136030 HAS SOPS 135250 HAS SOUS 67613 HAS SOUPS 67512 WITH SCORE 67648.03
AT ITER 34 NEW BEST:: SOT 161290 SOS 136100 HAS SOPS 135320 HAS SOUS 67610 HAS SOUPS 67509 WITH SCORE 67645.1
AT ITER 35 NEW BEST:: SOT 161336 SOS 135866 HAS SOPS 135086 HAS SOUS 66870 HAS SOUPS 66769 WITH SCORE 66904.866
AT ITER 36 NEW BEST:: SOT 161336 SOS 135684 HAS SOPS 134904 HAS SOUS 66673 HAS SOUPS 66572 WITH SCORE 66707.684
AT ITER 42 NEW BEST:: SOT 161313 SOS 135661 HAS SOPS 134881 HAS SOUS 66650 HAS SOUPS 66549 WITH SCORE 66684.661
AT ITER 43 NEW BEST:: SOT 158813 SOS 132919 HAS SOPS 132139 HAS SOUS 65139 HAS SOUPS 65038 WITH SCORE 65170.919
AT ITER 44 NEW BEST:: SOT 158935 SOS 131930 HAS SOPS 131154 HAS SOUS 64014 HAS SOUPS 63913 WITH SCORE 64044.93
AT ITER 45 NEW BEST:: SOT 158935 SOS 131483 HAS SOPS 130707 HAS SOUS 63620 HAS SOUPS 63519 WITH SCORE 63650.483
AT ITER 46 NEW BEST:: SOT 159036 SOS 129802 HAS SOPS 128350 HAS SOUS 58311 HAS SOUPS 58208 WITH SCORE 58337.802
AT ITER 47 NEW BEST:: SOT 158463 SOS 129221 HAS SOPS 127764 HAS SOUS 57998 HAS SOUPS 57890 WITH SCORE 58019.221
AT ITER 55 NEW BEST:: SOT 158016 SOS 128781 HAS SOPS 127352 HAS SOUS 57994 HAS SOUPS 57888 WITH SCORE 58016.781
AT ITER 56 NEW BEST:: SOT 158015 SOS 128713 HAS SOPS 127262 HAS SOUS 57972 HAS SOUPS 57866 WITH SCORE 57994.713
AT ITER 57 NEW BEST:: SOT 154622 SOS 125247 HAS SOPS 123736 HAS SOUS 56217 HAS SOUPS 56111 WITH SCORE 56236.247
AT ITER 58 NEW BEST:: SOT 154622 SOS 125247 HAS SOPS 123736 HAS SOUS 56189 HAS SOUPS 56083 WITH SCORE 56208.247
AT ITER 59 NEW BEST:: SOT 154587 SOS 125333 HAS SOPS 123705 HAS SOUS 56159 HAS SOUPS 56037 WITH SCORE 56162.333
AT ITER 61 NEW BEST:: SOT 154583 SOS 125266 HAS SOPS 123638 HAS SOUS 56156 HAS SOUPS 56034 WITH SCORE 56159.266
AT ITER 64 NEW BEST:: SOT 154640 SOS 123698 HAS SOPS 122070 HAS SOUS 54420 HAS SOUPS 54298 WITH SCORE 54421.698
AT ITER 65 NEW BEST:: SOT 154626 SOS 122182 HAS SOPS 120554 HAS SOUS 53302 HAS SOUPS 53180 WITH SCORE 53302.182
AT ITER 66 NEW BEST:: SOT 154626 SOS 121828 HAS SOPS 120121 HAS SOUS 53092 HAS SOUPS 52970 WITH SCORE 53091.828
AT ITER 69 NEW BEST:: SOT 154623 SOS 121805 HAS SOPS 120098 HAS SOUS 53089 HAS SOUPS 52967 WITH SCORE 53088.805
AT ITER 72 NEW BEST:: SOT 151141 SOS 118250 HAS SOPS 116543 HAS SOUS 51232 HAS SOUPS 51110 WITH SCORE 51228.25
AT ITER 76 NEW BEST:: SOT 151139 SOS 118207 HAS SOPS 116539 HAS SOUS 51230 HAS SOUPS 51108 WITH SCORE 51226.207
AT ITER 77 NEW BEST:: SOT 151127 SOS 118045 HAS SOPS 116377 HAS SOUS 51151 HAS SOUPS 51029 WITH SCORE 51147.045
AT ITER 78 NEW BEST:: SOT 151171 SOS 118035 HAS SOPS 116367 HAS SOUS 51137 HAS SOUPS 51015 WITH SCORE 51133.035
AT ITER 84 NEW BEST:: SOT 149728 SOS 116592 HAS SOPS 114924 HAS SOUS 50388 HAS SOUPS 50266 WITH SCORE 50382.592
AT ITER 85 NEW BEST:: SOT 149728 SOS 116592 HAS SOPS 114924 HAS SOUS 50385 HAS SOUPS 50263 WITH SCORE 50379.592
AT ITER 86 NEW BEST:: SOT 149756 SOS 115341 HAS SOPS 113673 HAS SOUS 49717 HAS SOUPS 49595 WITH SCORE 49710.341
AT ITER 90 NEW BEST:: SOT 148676 SOS 114261 HAS SOPS 112593 HAS SOUS 49173 HAS SOUPS 49051 WITH SCORE 49165.261
AT ITER 98 NEW BEST:: SOT 146913 SOS 112498 HAS SOPS 110830 HAS SOUS 48263 HAS SOUPS 48141 WITH SCORE 48253.498
AT ITER 99 NEW BEST:: SOT 146914 SOS 112348 HAS SOPS 110646 HAS SOUS 48106 HAS SOUPS 47984 WITH SCORE 48096.348
AT ITER 101 NEW BEST:: SOT 145773 SOS 111244 HAS SOPS 109501 HAS SOUS 46993 HAS SOUPS 46854 WITH SCORE 46965.244
AT ITER 103 NEW BEST:: SOT 145911 SOS 111281 HAS SOPS 109562 HAS SOUS 46992 HAS SOUPS 46853 WITH SCORE 46964.281
AT ITER 105 NEW BEST:: SOT 145949 SOS 109600 HAS SOPS 107881 HAS SOUS 46009 HAS SOUPS 45870 WITH SCORE 45979.6
AT ITER 111 NEW BEST:: SOT 145956 SOS 109556 HAS SOPS 107837 HAS SOUS 45987 HAS SOUPS 45848 WITH SCORE 45957.556
AT ITER 119 NEW BEST:: SOT 145997 SOS 109550 HAS SOPS 107831 HAS SOUS 45940 HAS SOUPS 45801 WITH SCORE 45910.55
AT ITER 120 NEW BEST:: SOT 146033 SOS 109435 HAS SOPS 107734 HAS SOUS 45845 HAS SOUPS 45706 WITH SCORE 45815.435
AT ITER 121 NEW BEST:: SOT 146094 SOS 109431 HAS SOPS 107730 HAS SOUS 45843 HAS SOUPS 45704 WITH SCORE 45813.431
AT ITER 122 NEW BEST:: SOT 146094 SOS 109404 HAS SOPS 107703 HAS SOUS 45816 HAS SOUPS 45677 WITH SCORE 45786.404
AT ITER 125 NEW BEST:: SOT 143933 SOS 108044 HAS SOPS 105482 HAS SOUS 43790 HAS SOUPS 43591 WITH SCORE 43699.044
AT ITER 126 NEW BEST:: SOT 139102 SOS 102990 HAS SOPS 100428 HAS SOUS 41245 HAS SOUPS 41046 WITH SCORE 41148.99
AT ITER 128 NEW BEST:: SOT 139163 SOS 102828 HAS SOPS 100227 HAS SOUS 41176 HAS SOUPS 40977 WITH SCORE 41079.828
AT ITER 131 NEW BEST:: SOT 137215 SOS 101131 HAS SOPS 98507 HAS SOUS 40191 HAS SOUPS 39992 WITH SCORE 40093.131
AT ITER 132 NEW BEST:: SOT 137211 SOS 100692 HAS SOPS 97433 HAS SOUS 38314 HAS SOUPS 38115 WITH SCORE 38215.692
AT ITER 133 NEW BEST:: SOT 137127 SOS 100524 HAS SOPS 97265 HAS SOUS 38276 HAS SOUPS 38077 WITH SCORE 38177.524
AT ITER 135 NEW BEST:: SOT 136731 SOS 100128 HAS SOPS 96869 HAS SOUS 38078 HAS SOUPS 37879 WITH SCORE 37979.128
AT ITER 136 NEW BEST:: SOT 137539 SOS 100841 HAS SOPS 97190 HAS SOUS 37168 HAS SOUPS 36969 WITH SCORE 37069.841
AT ITER 140 NEW BEST:: SOT 137416 SOS 100546 HAS SOPS 96865 HAS SOUS 36965 HAS SOUPS 36766 WITH SCORE 36866.546
AT ITER 141 NEW BEST:: SOT 137410 SOS 100456 HAS SOPS 96773 HAS SOUS 36876 HAS SOUPS 36677 WITH SCORE 36777.456
AT ITER 145 NEW BEST:: SOT 137414 SOS 100398 HAS SOPS 96694 HAS SOUS 36858 HAS SOUPS 36659 WITH SCORE 36759.398
AT ITER 149 NEW BEST:: SOT 137343 SOS 100167 HAS SOPS 96470 HAS SOUS 36627 HAS SOUPS 36435 WITH SCORE 36535.167
AT ITER 150 NEW BEST:: SOT 137380 SOS 100202 HAS SOPS 96505 HAS SOUS 36625 HAS SOUPS 36433 WITH SCORE 36533.202
AT ITER 151 NEW BEST:: SOT 137310 SOS 100037 HAS SOPS 96340 HAS SOUS 36449 HAS SOUPS 36257 WITH SCORE 36357.037
AT ITER 162 NEW BEST:: SOT 137288 SOS 100015 HAS SOPS 96296 HAS SOUS 36405 HAS SOUPS 36213 WITH SCORE 36313.015
AT ITER 164 NEW BEST:: SOT 137298 SOS 100003 HAS SOPS 96284 HAS SOUS 36393 HAS SOUPS 36201 WITH SCORE 36301.003
AT ITER 165 NEW BEST:: SOT 137244 SOS 100002 HAS SOPS 96292 HAS SOUS 36341 HAS SOUPS 36149 WITH SCORE 36249.002
AT ITER 166 NEW BEST:: SOT 137244 SOS 100000 HAS SOPS 96290 HAS SOUS 36338 HAS SOUPS 36146 WITH SCORE 36246.0
AT ITER 171 NEW BEST:: SOT 137244 SOS 99980 HAS SOPS 96270 HAS SOUS 36313 HAS SOUPS 36121 WITH SCORE 36220.98
AT ITER 172 NEW BEST:: SOT 137260 SOS 99960 HAS SOPS 96170 HAS SOUS 36229 HAS SOUPS 36037 WITH SCORE 36136.96
AT ITER 176 NEW BEST:: SOT 137252 SOS 99952 HAS SOPS 96162 HAS SOUS 36225 HAS SOUPS 36033 WITH SCORE 36132.952
AT ITER 183 NEW BEST:: SOT 137193 SOS 99955 HAS SOPS 96106 HAS SOUS 36169 HAS SOUPS 35977 WITH SCORE 36076.955
AT ITER 185 NEW BEST:: SOT 137063 SOS 99729 HAS SOPS 95852 HAS SOUS 35915 HAS SOUPS 35723 WITH SCORE 35822.729
AT ITER 186 NEW BEST:: SOT 137063 SOS 99726 HAS SOPS 95804 HAS SOUS 35834 HAS SOUPS 35642 WITH SCORE 35741.726
AT ITER 191 NEW BEST:: SOT 137693 SOS 98870 HAS SOPS 94948 HAS SOUS 35602 HAS SOUPS 35410 WITH SCORE 35508.87
AT ITER 200 NEW BEST:: SOT 137704 SOS 98868 HAS SOPS 94937 HAS SOUS 35591 HAS SOUPS 35399 WITH SCORE 35497.868
AT ITER 203 NEW BEST:: SOT 137654 SOS 98818 HAS SOPS 94887 HAS SOUS 35591 HAS SOUPS 35399 WITH SCORE 35497.818
AT ITER 206 NEW BEST:: SOT 137677 SOS 98002 HAS SOPS 94071 HAS SOUS 35093 HAS SOUPS 34901 WITH SCORE 34999.002
AT ITER 208 NEW BEST:: SOT 137601 SOS 97733 HAS SOPS 93802 HAS SOUS 34902 HAS SOUPS 34710 WITH SCORE 34807.733
AT ITER 210 NEW BEST:: SOT 137629 SOS 97691 HAS SOPS 93372 HAS SOUS 33696 HAS SOUPS 33504 WITH SCORE 33601.691
AT ITER 220 NEW BEST:: SOT 137669 SOS 95195 HAS SOPS 90876 HAS SOUS 33090 HAS SOUPS 32898 WITH SCORE 32993.195
AT ITER 224 NEW BEST:: SOT 136923 SOS 94474 HAS SOPS 89655 HAS SOUS 31922 HAS SOUPS 31730 WITH SCORE 31824.474
AT ITER 226 NEW BEST:: SOT 137125 SOS 94530 HAS SOPS 89711 HAS SOUS 31918 HAS SOUPS 31726 WITH SCORE 31820.53
AT ITER 227 NEW BEST:: SOT 137161 SOS 94567 HAS SOPS 89688 HAS SOUS 31898 HAS SOUPS 31706 WITH SCORE 31800.567
AT ITER 228 NEW BEST:: SOT 137148 SOS 94509 HAS SOPS 89630 HAS SOUS 31885 HAS SOUPS 31693 WITH SCORE 31787.509
AT ITER 232 NEW BEST:: SOT 137142 SOS 94497 HAS SOPS 89602 HAS SOUS 31863 HAS SOUPS 31671 WITH SCORE 31765.497
AT ITER 239 NEW BEST:: SOT 136272 SOS 93655 HAS SOPS 88883 HAS SOUS 31706 HAS SOUPS 31514 WITH SCORE 31607.655
AT ITER 241 NEW BEST:: SOT 136246 SOS 93629 HAS SOPS 88831 HAS SOUS 31653 HAS SOUPS 31461 WITH SCORE 31554.629
AT ITER 242 NEW BEST:: SOT 136116 SOS 93504 HAS SOPS 88657 HAS SOUS 31504 HAS SOUPS 31294 WITH SCORE 31387.504
AT ITER 253 NEW BEST:: SOT 136092 SOS 91888 HAS SOPS 87041 HAS SOUS 31246 HAS SOUPS 31036 WITH SCORE 31127.888
AT ITER 254 NEW BEST:: SOT 136091 SOS 91859 HAS SOPS 87012 HAS SOUS 31244 HAS SOUPS 31034 WITH SCORE 31125.859
AT ITER 262 NEW BEST:: SOT 136091 SOS 91859 HAS SOPS 87002 HAS SOUS 31234 HAS SOUPS 31024 WITH SCORE 31115.859
AT ITER 265 NEW BEST:: SOT 136083 SOS 91680 HAS SOPS 86823 HAS SOUS 31144 HAS SOUPS 30934 WITH SCORE 31025.68
AT ITER 273 NEW BEST:: SOT 136832 SOS 89367 HAS SOPS 83670 HAS SOUS 29413 HAS SOUPS 29203 WITH SCORE 29292.367
AT ITER 274 NEW BEST:: SOT 136870 SOS 87446 HAS SOPS 81749 HAS SOUS 29252 HAS SOUPS 29042 WITH SCORE 29129.446
AT ITER 278 NEW BEST:: SOT 136862 SOS 87446 HAS SOPS 81741 HAS SOUS 29244 HAS SOUPS 29034 WITH SCORE 29121.446
AT ITER 279 NEW BEST:: SOT 136849 SOS 87407 HAS SOPS 81702 HAS SOUS 29231 HAS SOUPS 29021 WITH SCORE 29108.407
AT ITER 282 NEW BEST:: SOT 136852 SOS 87389 HAS SOPS 81684 HAS SOUS 29231 HAS SOUPS 29021 WITH SCORE 29108.389
AT ITER 287 NEW BEST:: SOT 136852 SOS 87401 HAS SOPS 81696 HAS SOUS 29192 HAS SOUPS 28982 WITH SCORE 29069.401
AT ITER 293 NEW BEST:: SOT 136958 SOS 87398 HAS SOPS 81734 HAS SOUS 29178 HAS SOUPS 28968 WITH SCORE 29055.398
AT ITER 299 NEW BEST:: SOT 136930 SOS 87342 HAS SOPS 81678 HAS SOUS 29152 HAS SOUPS 28942 WITH SCORE 29029.342
AT ITER 313 NEW BEST:: SOT 138248 SOS 88575 HAS SOPS 82331 HAS SOUS 29077 HAS SOUPS 28867 WITH SCORE 28955.575
AT ITER 320 NEW BEST:: SOT 138260 SOS 88540 HAS SOPS 82279 HAS SOUS 29071 HAS SOUPS 28861 WITH SCORE 28949.54
AT ITER 327 NEW BEST:: SOT 136215 SOS 86536 HAS SOPS 80260 HAS SOUS 28067 HAS SOUPS 27857 WITH SCORE 27943.536
AT ITER 332 NEW BEST:: SOT 136215 SOS 86499 HAS SOPS 80223 HAS SOUS 28067 HAS SOUPS 27857 WITH SCORE 27943.499
AT ITER 335 NEW BEST:: SOT 135843 SOS 86103 HAS SOPS 79843 HAS SOUS 27867 HAS SOUPS 27657 WITH SCORE 27743.103
AT ITER 349 NEW BEST:: SOT 135843 SOS 86092 HAS SOPS 79832 HAS SOUS 27856 HAS SOUPS 27646 WITH SCORE 27732.092
AT ITER 352 NEW BEST:: SOT 135831 SOS 86010 HAS SOPS 79730 HAS SOUS 27765 HAS SOUPS 27555 WITH SCORE 27641.01
AT ITER 354 NEW BEST:: SOT 135830 SOS 86002 HAS SOPS 79722 HAS SOUS 27758 HAS SOUPS 27548 WITH SCORE 27634.002
AT ITER 363 NEW BEST:: SOT 135891 SOS 85002 HAS SOPS 78722 HAS SOUS 27265 HAS SOUPS 27055 WITH SCORE 27140.002
AT ITER 366 NEW BEST:: SOT 135902 SOS 84546 HAS SOPS 78266 HAS SOUS 27141 HAS SOUPS 26931 WITH SCORE 27015.546
AT ITER 368 NEW BEST:: SOT 135898 SOS 84534 HAS SOPS 78230 HAS SOUS 27001 HAS SOUPS 26791 WITH SCORE 26875.534
AT ITER 372 NEW BEST:: SOT 133433 SOS 82792 HAS SOPS 76488 HAS SOUS 25925 HAS SOUPS 25715 WITH SCORE 25797.792
AT ITER 374 NEW BEST:: SOT 133488 SOS 82955 HAS SOPS 76651 HAS SOUS 25914 HAS SOUPS 25704 WITH SCORE 25786.955
AT ITER 378 NEW BEST:: SOT 133374 SOS 82681 HAS SOPS 76377 HAS SOUS 25787 HAS SOUPS 25577 WITH SCORE 25659.681
AT ITER 381 NEW BEST:: SOT 132912 SOS 82219 HAS SOPS 75915 HAS SOUS 25556 HAS SOUPS 25346 WITH SCORE 25428.219
AT ITER 383 NEW BEST:: SOT 131467 SOS 80851 HAS SOPS 75015 HAS SOUS 25460 HAS SOUPS 25250 WITH SCORE 25330.851
AT ITER 385 NEW BEST:: SOT 131511 SOS 80011 HAS SOPS 74175 HAS SOUS 25392 HAS SOUPS 25182 WITH SCORE 25262.011
AT ITER 387 NEW BEST:: SOT 131519 SOS 80014 HAS SOPS 74159 HAS SOUS 25346 HAS SOUPS 25136 WITH SCORE 25216.014
AT ITER 407 NEW BEST:: SOT 131526 SOS 80004 HAS SOPS 74148 HAS SOUS 25335 HAS SOUPS 25125 WITH SCORE 25205.004
AT ITER 412 NEW BEST:: SOT 131500 SOS 79988 HAS SOPS 74114 HAS SOUS 25301 HAS SOUPS 25091 WITH SCORE 25170.988
AT ITER 414 NEW BEST:: SOT 131494 SOS 79968 HAS SOPS 74094 HAS SOUS 25289 HAS SOUPS 25079 WITH SCORE 25158.968
AT ITER 415 NEW BEST:: SOT 131553 SOS 80108 HAS SOPS 74182 HAS SOUS 25271 HAS SOUPS 25061 WITH SCORE 25141.108
AT ITER 422 NEW BEST:: SOT 131616 SOS 80077 HAS SOPS 74151 HAS SOUS 25245 HAS SOUPS 25035 WITH SCORE 25115.077
AT ITER 424 NEW BEST:: SOT 131594 SOS 79997 HAS SOPS 74067 HAS SOUS 25161 HAS SOUPS 24951 WITH SCORE 25030.997
AT ITER 425 NEW BEST:: SOT 131580 SOS 79983 HAS SOPS 74053 HAS SOUS 25147 HAS SOUPS 24937 WITH SCORE 25016.983
AT ITER 433 NEW BEST:: SOT 131580 SOS 79983 HAS SOPS 74033 HAS SOUS 25127 HAS SOUPS 24917 WITH SCORE 24996.983
AT ITER 442 NEW BEST:: SOT 131500 SOS 79823 HAS SOPS 73873 HAS SOUS 25110 HAS SOUPS 24900 WITH SCORE 24979.823
AT ITER 453 NEW BEST:: SOT 131525 SOS 79816 HAS SOPS 73866 HAS SOUS 25088 HAS SOUPS 24878 WITH SCORE 24957.816
AT ITER 463 NEW BEST:: SOT 131463 SOS 79692 HAS SOPS 73742 HAS SOUS 25015 HAS SOUPS 24805 WITH SCORE 24884.692
AT ITER 464 NEW BEST:: SOT 131466 SOS 79371 HAS SOPS 73421 HAS SOUS 25015 HAS SOUPS 24805 WITH SCORE 24884.371
AT ITER 465 NEW BEST:: SOT 131465 SOS 79370 HAS SOPS 73419 HAS SOUS 25013 HAS SOUPS 24803 WITH SCORE 24882.37
AT ITER 470 NEW BEST:: SOT 131445 SOS 79219 HAS SOPS 73232 HAS SOUS 24900 HAS SOUPS 24690 WITH SCORE 24769.219
AT ITER 473 NEW BEST:: SOT 131432 SOS 79206 HAS SOPS 73213 HAS SOUS 24888 HAS SOUPS 24678 WITH SCORE 24757.206
AT ITER 474 NEW BEST:: SOT 126470 SOS 76458 HAS SOPS 70465 HAS SOUS 23237 HAS SOUPS 23027 WITH SCORE 23103.458
AT ITER 478 NEW BEST:: SOT 126470 SOS 76458 HAS SOPS 70465 HAS SOUS 23218 HAS SOUPS 23008 WITH SCORE 23084.458
AT ITER 485 NEW BEST:: SOT 126363 SOS 76198 HAS SOPS 70298 HAS SOUS 23113 HAS SOUPS 22921 WITH SCORE 22997.198
AT ITER 486 NEW BEST:: SOT 126314 SOS 76149 HAS SOPS 70249 HAS SOUS 23064 HAS SOUPS 22872 WITH SCORE 22948.149
AT ITER 489 NEW BEST:: SOT 126333 SOS 76196 HAS SOPS 70296 HAS SOUS 23035 HAS SOUPS 22843 WITH SCORE 22919.196
AT ITER 499 NEW BEST:: SOT 126131 SOS 75994 HAS SOPS 70094 HAS SOUS 22887 HAS SOUPS 22695 WITH SCORE 22770.994
AT ITER 502 NEW BEST:: SOT 126125 SOS 75988 HAS SOPS 70088 HAS SOUS 22883 HAS SOUPS 22691 WITH SCORE 22766.988
AT ITER 508 NEW BEST:: SOT 126125 SOS 75988 HAS SOPS 70088 HAS SOUS 22880 HAS SOUPS 22688 WITH SCORE 22763.988
AT ITER 512 NEW BEST:: SOT 126131 SOS 76002 HAS SOPS 70102 HAS SOUS 22806 HAS SOUPS 22614 WITH SCORE 22690.002
AT ITER 526 NEW BEST:: SOT 126131 SOS 75638 HAS SOPS 69738 HAS SOUS 22703 HAS SOUPS 22511 WITH SCORE 22586.638
AT ITER 528 NEW BEST:: SOT 126126 SOS 75628 HAS SOPS 69728 HAS SOUS 22695 HAS SOUPS 22503 WITH SCORE 22578.628
AT ITER 529 NEW BEST:: SOT 126119 SOS 75614 HAS SOPS 69714 HAS SOUS 22681 HAS SOUPS 22489 WITH SCORE 22564.614
AT ITER 530 NEW BEST:: SOT 126098 SOS 75551 HAS SOPS 69651 HAS SOUS 22678 HAS SOUPS 22486 WITH SCORE 22561.551
AT ITER 535 NEW BEST:: SOT 126094 SOS 75541 HAS SOPS 69641 HAS SOUS 22672 HAS SOUPS 22480 WITH SCORE 22555.541
AT ITER 538 NEW BEST:: SOT 126080 SOS 75513 HAS SOPS 69613 HAS SOUS 22665 HAS SOUPS 22473 WITH SCORE 22548.513
AT ITER 541 NEW BEST:: SOT 126104 SOS 75504 HAS SOPS 69604 HAS SOUS 22665 HAS SOUPS 22473 WITH SCORE 22548.504
AT ITER 548 NEW BEST:: SOT 126128 SOS 75380 HAS SOPS 69422 HAS SOUS 22547 HAS SOUPS 22355 WITH SCORE 22430.38
AT ITER 552 NEW BEST:: SOT 126060 SOS 75223 HAS SOPS 69265 HAS SOUS 22493 HAS SOUPS 22301 WITH SCORE 22376.223
AT ITER 556 NEW BEST:: SOT 126058 SOS 75219 HAS SOPS 69261 HAS SOUS 22489 HAS SOUPS 22297 WITH SCORE 22372.219
AT ITER 570 NEW BEST:: SOT 126058 SOS 74987 HAS SOPS 69029 HAS SOUS 22471 HAS SOUPS 22279 WITH SCORE 22353.987
AT ITER 572 NEW BEST:: SOT 126043 SOS 74736 HAS SOPS 68778 HAS SOUS 22318 HAS SOUPS 22126 WITH SCORE 22200.736
AT ITER 580 NEW BEST:: SOT 123526 SOS 83339 HAS SOPS 63987 HAS SOUS 20581 HAS SOUPS 20332 WITH SCORE 20415.339
AT ITER 588 NEW BEST:: SOT 123591 SOS 83465 HAS SOPS 64113 HAS SOUS 20577 HAS SOUPS 20328 WITH SCORE 20411.465
AT ITER 599 NEW BEST:: SOT 123574 SOS 83476 HAS SOPS 64079 HAS SOUS 20515 HAS SOUPS 20266 WITH SCORE 20349.476
AT ITER 601 NEW BEST:: SOT 123521 SOS 83313 HAS SOPS 63859 HAS SOUS 20499 HAS SOUPS 20250 WITH SCORE 20333.313
AT ITER 602 NEW BEST:: SOT 123428 SOS 83189 HAS SOPS 63704 HAS SOUS 20344 HAS SOUPS 20095 WITH SCORE 20178.189
AT ITER 611 NEW BEST:: SOT 123403 SOS 83128 HAS SOPS 63622 HAS SOUS 20322 HAS SOUPS 20073 WITH SCORE 20156.128
AT ITER 612 NEW BEST:: SOT 123393 SOS 83303 HAS SOPS 63699 HAS SOUS 20311 HAS SOUPS 20062 WITH SCORE 20145.303
AT ITER 614 NEW BEST:: SOT 123450 SOS 83201 HAS SOPS 63665 HAS SOUS 20232 HAS SOUPS 19983 WITH SCORE 20066.201
AT ITER 629 NEW BEST:: SOT 123444 SOS 83189 HAS SOPS 63647 HAS SOUS 20223 HAS SOUPS 19974 WITH SCORE 20057.189
AT ITER 633 NEW BEST:: SOT 123424 SOS 83155 HAS SOPS 63607 HAS SOUS 20222 HAS SOUPS 19973 WITH SCORE 20056.155
AT ITER 647 NEW BEST:: SOT 123434 SOS 83145 HAS SOPS 63139 HAS SOUS 20106 HAS SOUPS 19857 WITH SCORE 19940.145
AT ITER 655 NEW BEST:: SOT 123393 SOS 83075 HAS SOPS 63057 HAS SOUS 20024 HAS SOUPS 19775 WITH SCORE 19858.075
AT ITER 659 NEW BEST:: SOT 122723 SOS 82435 HAS SOPS 62567 HAS SOUS 19964 HAS SOUPS 19715 WITH SCORE 19797.435
AT ITER 672 NEW BEST:: SOT 122811 SOS 82371 HAS SOPS 62503 HAS SOUS 19948 HAS SOUPS 19699 WITH SCORE 19781.371
AT ITER 683 NEW BEST:: SOT 122765 SOS 82285 HAS SOPS 62371 HAS SOUS 19816 HAS SOUPS 19567 WITH SCORE 19649.285
AT ITER 686 NEW BEST:: SOT 122768 SOS 82285 HAS SOPS 62371 HAS SOUS 19813 HAS SOUPS 19564 WITH SCORE 19646.285
AT ITER 687 NEW BEST:: SOT 122770 SOS 82284 HAS SOPS 62370 HAS SOUS 19810 HAS SOUPS 19561 WITH SCORE 19643.284
AT ITER 692 NEW BEST:: SOT 122737 SOS 82251 HAS SOPS 62322 HAS SOUS 19780 HAS SOUPS 19531 WITH SCORE 19613.251
AT ITER 702 NEW BEST:: SOT 122625 SOS 82139 HAS SOPS 62210 HAS SOUS 19727 HAS SOUPS 19478 WITH SCORE 19560.139
AT ITER 714 NEW BEST:: SOT 122651 SOS 82140 HAS SOPS 62211 HAS SOUS 19699 HAS SOUPS 19450 WITH SCORE 19532.14
AT ITER 719 NEW BEST:: SOT 122637 SOS 82036 HAS SOPS 62183 HAS SOUS 19671 HAS SOUPS 19422 WITH SCORE 19504.036
AT ITER 724 NEW BEST:: SOT 122233 SOS 81659 HAS SOPS 61806 HAS SOUS 19496 HAS SOUPS 19247 WITH SCORE 19328.659
AT ITER 726 NEW BEST:: SOT 122227 SOS 81647 HAS SOPS 61794 HAS SOUS 19484 HAS SOUPS 19235 WITH SCORE 19316.647
AT ITER 731 NEW BEST:: SOT 122231 SOS 81651 HAS SOPS 61777 HAS SOUS 19435 HAS SOUPS 19186 WITH SCORE 19267.651
AT ITER 738 NEW BEST:: SOT 122231 SOS 81639 HAS SOPS 61765 HAS SOUS 19411 HAS SOUPS 19162 WITH SCORE 19243.639
AT ITER 748 NEW BEST:: SOT 122231 SOS 81613 HAS SOPS 61739 HAS SOUS 19385 HAS SOUPS 19136 WITH SCORE 19217.613
AT ITER 757 NEW BEST:: SOT 122241 SOS 81633 HAS SOPS 61351 HAS SOUS 19249 HAS SOUPS 19000 WITH SCORE 19081.633
AT ITER 763 NEW BEST:: SOT 122228 SOS 81594 HAS SOPS 61325 HAS SOUS 19249 HAS SOUPS 19000 WITH SCORE 19081.594
AT ITER 770 NEW BEST:: SOT 122218 SOS 81572 HAS SOPS 61305 HAS SOUS 19231 HAS SOUPS 18982 WITH SCORE 19063.572
AT ITER 775 NEW BEST:: SOT 122221 SOS 81499 HAS SOPS 61256 HAS SOUS 19208 HAS SOUPS 18959 WITH SCORE 19040.499
AT ITER 780 NEW BEST:: SOT 122206 SOS 81469 HAS SOPS 61226 HAS SOUS 19193 HAS SOUPS 18944 WITH SCORE 19025.469
AT ITER 784 NEW BEST:: SOT 122200 SOS 81459 HAS SOPS 61216 HAS SOUS 19185 HAS SOUPS 18936 WITH SCORE 19017.459
AT ITER 788 NEW BEST:: SOT 122150 SOS 81334 HAS SOPS 61091 HAS SOUS 19135 HAS SOUPS 18886 WITH SCORE 18967.334
AT ITER 803 NEW BEST:: SOT 122159 SOS 81333 HAS SOPS 61090 HAS SOUS 19135 HAS SOUPS 18886 WITH SCORE 18967.333
AT ITER 804 NEW BEST:: SOT 122159 SOS 81328 HAS SOPS 61085 HAS SOUS 19135 HAS SOUPS 18886 WITH SCORE 18967.328
AT ITER 809 NEW BEST:: SOT 122155 SOS 81320 HAS SOPS 61077 HAS SOUS 19128 HAS SOUPS 18879 WITH SCORE 18960.32
AT ITER 816 NEW BEST:: SOT 122085 SOS 81165 HAS SOPS 60906 HAS SOUS 19016 HAS SOUPS 18767 WITH SCORE 18848.165
AT ITER 833 NEW BEST:: SOT 122085 SOS 79700 HAS SOPS 59441 HAS SOUS 18978 HAS SOUPS 18729 WITH SCORE 18808.7
AT ITER 841 NEW BEST:: SOT 122072 SOS 79710 HAS SOPS 59438 HAS SOUS 18975 HAS SOUPS 18726 WITH SCORE 18805.71
AT ITER 844 NEW BEST:: SOT 122034 SOS 79615 HAS SOPS 59324 HAS SOUS 18882 HAS SOUPS 18633 WITH SCORE 18712.615
AT ITER 846 NEW BEST:: SOT 120900 SOS 80856 HAS SOPS 58145 HAS SOUS 17952 HAS SOUPS 17650 WITH SCORE 17730.856
AT ITER 864 NEW BEST:: SOT 120898 SOS 80852 HAS SOPS 58065 HAS SOUS 17916 HAS SOUPS 17614 WITH SCORE 17694.852
AT ITER 871 NEW BEST:: SOT 120864 SOS 80784 HAS SOPS 57963 HAS SOUS 17814 HAS SOUPS 17512 WITH SCORE 17592.784
AT ITER 877 NEW BEST:: SOT 120925 SOS 80808 HAS SOPS 58026 HAS SOUS 17773 HAS SOUPS 17471 WITH SCORE 17551.808
AT ITER 878 NEW BEST:: SOT 120902 SOS 80797 HAS SOPS 57992 HAS SOUS 17747 HAS SOUPS 17437 WITH SCORE 17517.797
AT ITER 885 NEW BEST:: SOT 120806 SOS 80719 HAS SOPS 57914 HAS SOUS 17715 HAS SOUPS 17405 WITH SCORE 17485.719
AT ITER 886 NEW BEST:: SOT 120792 SOS 80702 HAS SOPS 57897 HAS SOUS 17715 HAS SOUPS 17405 WITH SCORE 17485.702
AT ITER 888 NEW BEST:: SOT 120787 SOS 80692 HAS SOPS 57887 HAS SOUS 17710 HAS SOUPS 17400 WITH SCORE 17480.692
AT ITER 891 NEW BEST:: SOT 120748 SOS 80829 HAS SOPS 57945 HAS SOUS 17701 HAS SOUPS 17391 WITH SCORE 17471.829
AT ITER 892 NEW BEST:: SOT 120755 SOS 80847 HAS SOPS 57959 HAS SOUS 17695 HAS SOUPS 17385 WITH SCORE 17465.847
AT ITER 897 NEW BEST:: SOT 121264 SOS 81318 HAS SOPS 57979 HAS SOUS 17403 HAS SOUPS 17093 WITH SCORE 17174.318
AT ITER 898 NEW BEST:: SOT 121218 SOS 81212 HAS SOPS 57887 HAS SOUS 17341 HAS SOUPS 17031 WITH SCORE 17112.212
AT ITER 900 NEW BEST:: SOT 121183 SOS 81172 HAS SOPS 57851 HAS SOUS 17305 HAS SOUPS 16995 WITH SCORE 17076.172
AT ITER 911 NEW BEST:: SOT 121144 SOS 81104 HAS SOPS 57773 HAS SOUS 17251 HAS SOUPS 16941 WITH SCORE 17022.104
AT ITER 923 NEW BEST:: SOT 121159 SOS 81112 HAS SOPS 56911 HAS SOUS 16697 HAS SOUPS 16387 WITH SCORE 16468.112
AT ITER 925 NEW BEST:: SOT 121159 SOS 81126 HAS SOPS 56911 HAS SOUS 16683 HAS SOUPS 16373 WITH SCORE 16454.126
AT ITER 929 NEW BEST:: SOT 121143 SOS 81094 HAS SOPS 56895 HAS SOUS 16667 HAS SOUPS 16357 WITH SCORE 16438.094
AT ITER 930 NEW BEST:: SOT 121143 SOS 81086 HAS SOPS 56887 HAS SOUS 16667 HAS SOUPS 16357 WITH SCORE 16438.086
AT ITER 931 NEW BEST:: SOT 121137 SOS 81080 HAS SOPS 56878 HAS SOUS 16658 HAS SOUPS 16348 WITH SCORE 16429.08
AT ITER 950 NEW BEST:: SOT 121125 SOS 81112 HAS SOPS 56854 HAS SOUS 16607 HAS SOUPS 16297 WITH SCORE 16378.112
AT ITER 951 NEW BEST:: SOT 121101 SOS 81066 HAS SOPS 56806 HAS SOUS 16559 HAS SOUPS 16249 WITH SCORE 16330.066
AT ITER 970 NEW BEST:: SOT 121088 SOS 81058 HAS SOPS 56788 HAS SOUS 16547 HAS SOUPS 16231 WITH SCORE 16312.058
AT ITER 971 NEW BEST:: SOT 121086 SOS 81052 HAS SOPS 56742 HAS SOUS 16493 HAS SOUPS 16177 WITH SCORE 16258.052
AT ITER 979 NEW BEST:: SOT 121085 SOS 81085 HAS SOPS 56740 HAS SOUS 16491 HAS SOUPS 16175 WITH SCORE 16256.085
AT ITER 988 NEW BEST:: SOT 121027 SOS 81021 HAS SOPS 56674 HAS SOUS 16453 HAS SOUPS 16137 WITH SCORE 16218.021
AT ITER 1002 NEW BEST:: SOT 120792 SOS 80793 HAS SOPS 56354 HAS SOUS 16198 HAS SOUPS 15882 WITH SCORE 15962.793
AT ITER 1007 NEW BEST:: SOT 120790 SOS 80787 HAS SOPS 56346 HAS SOUS 16190 HAS SOUPS 15874 WITH SCORE 15954.787
AT ITER 1023 NEW BEST:: SOT 120837 SOS 80817 HAS SOPS 56385 HAS SOUS 16179 HAS SOUPS 15863 WITH SCORE 15943.817
AT ITER 1029 NEW BEST:: SOT 120858 SOS 80838 HAS SOPS 56382 HAS SOUS 16176 HAS SOUPS 15860 WITH SCORE 15940.838
AT ITER 1036 NEW BEST:: SOT 120856 SOS 80836 HAS SOPS 56378 HAS SOUS 16172 HAS SOUPS 15856 WITH SCORE 15936.836
AT ITER 1062 NEW BEST:: SOT 120852 SOS 80828 HAS SOPS 56370 HAS SOUS 16164 HAS SOUPS 15848 WITH SCORE 15928.828
AT ITER 1065 NEW BEST:: SOT 120812 SOS 80788 HAS SOPS 56290 HAS SOUS 16084 HAS SOUPS 15768 WITH SCORE 15848.788
AT ITER 1073 NEW BEST:: SOT 120806 SOS 80776 HAS SOPS 56270 HAS SOUS 16067 HAS SOUPS 15751 WITH SCORE 15831.776
AT ITER 1076 NEW BEST:: SOT 120803 SOS 80758 HAS SOPS 56252 HAS SOUS 16044 HAS SOUPS 15728 WITH SCORE 15808.758
AT ITER 1080 NEW BEST:: SOT 120793 SOS 80734 HAS SOPS 56228 HAS SOUS 16041 HAS SOUPS 15725 WITH SCORE 15805.734
AT ITER 1095 NEW BEST:: SOT 120773 SOS 80694 HAS SOPS 56188 HAS SOUS 16021 HAS SOUPS 15705 WITH SCORE 15785.694
AT ITER 1106 NEW BEST:: SOT 120767 SOS 80682 HAS SOPS 56182 HAS SOUS 16021 HAS SOUPS 15705 WITH SCORE 15785.682
AT ITER 1115 NEW BEST:: SOT 120734 SOS 80616 HAS SOPS 56116 HAS SOUS 16014 HAS SOUPS 15698 WITH SCORE 15778.616
AT ITER 1129 NEW BEST:: SOT 120724 SOS 80566 HAS SOPS 56056 HAS SOUS 15994 HAS SOUPS 15678 WITH SCORE 15758.566
AT ITER 1135 NEW BEST:: SOT 120683 SOS 80525 HAS SOPS 55974 HAS SOUS 15912 HAS SOUPS 15596 WITH SCORE 15676.525
AT ITER 1145 NEW BEST:: SOT 120658 SOS 80492 HAS SOPS 55924 HAS SOUS 15870 HAS SOUPS 15554 WITH SCORE 15634.492
AT ITER 1147 NEW BEST:: SOT 120320 SOS 84269 HAS SOPS 55595 HAS SOUS 15758 HAS SOUPS 15381 WITH SCORE 15465.269
AT ITER 1159 NEW BEST:: SOT 120317 SOS 84258 HAS SOPS 55582 HAS SOUS 15745 HAS SOUPS 15368 WITH SCORE 15452.258
AT ITER 1161 NEW BEST:: SOT 120288 SOS 84109 HAS SOPS 55432 HAS SOUS 15597 HAS SOUPS 15220 WITH SCORE 15304.109
AT ITER 1173 NEW BEST:: SOT 120287 SOS 84108 HAS SOPS 55430 HAS SOUS 15596 HAS SOUPS 15218 WITH SCORE 15302.108
AT ITER 1190 NEW BEST:: SOT 120293 SOS 83891 HAS SOPS 55164 HAS SOUS 15574 HAS SOUPS 15196 WITH SCORE 15279.891
AT ITER 1195 NEW BEST:: SOT 120279 SOS 83867 HAS SOPS 55136 HAS SOUS 15547 HAS SOUPS 15166 WITH SCORE 15249.867
AT ITER 1201 NEW BEST:: SOT 120279 SOS 83867 HAS SOPS 55132 HAS SOUS 15543 HAS SOUPS 15162 WITH SCORE 15245.867
AT ITER 1206 NEW BEST:: SOT 120225 SOS 83796 HAS SOPS 55061 HAS SOUS 15470 HAS SOUPS 15089 WITH SCORE 15172.796
AT ITER 1221 NEW BEST:: SOT 120199 SOS 83757 HAS SOPS 55009 HAS SOUS 15431 HAS SOUPS 15050 WITH SCORE 15133.757
AT ITER 1222 NEW BEST:: SOT 120172 SOS 83730 HAS SOPS 54982 HAS SOUS 15404 HAS SOUPS 15023 WITH SCORE 15106.73
AT ITER 1231 NEW BEST:: SOT 120172 SOS 83727 HAS SOPS 54875 HAS SOUS 15345 HAS SOUPS 14964 WITH SCORE 15047.727
AT ITER 1249 NEW BEST:: SOT 120168 SOS 83715 HAS SOPS 54863 HAS SOUS 15337 HAS SOUPS 14956 WITH SCORE 15039.715
AT ITER 1254 NEW BEST:: SOT 120138 SOS 83655 HAS SOPS 54803 HAS SOUS 15254 HAS SOUPS 14873 WITH SCORE 14956.655
AT ITER 1258 NEW BEST:: SOT 120109 SOS 83626 HAS SOPS 54774 HAS SOUS 15225 HAS SOUPS 14844 WITH SCORE 14927.626
AT ITER 1265 NEW BEST:: SOT 120107 SOS 83614 HAS SOPS 54770 HAS SOUS 15221 HAS SOUPS 14840 WITH SCORE 14923.614
AT ITER 1270 NEW BEST:: SOT 120085 SOS 83614 HAS SOPS 54748 HAS SOUS 15177 HAS SOUPS 14796 WITH SCORE 14879.614
AT ITER 1272 NEW BEST:: SOT 120082 SOS 83605 HAS SOPS 54739 HAS SOUS 15171 HAS SOUPS 14790 WITH SCORE 14873.605
AT ITER 1286 NEW BEST:: SOT 120021 SOS 83544 HAS SOPS 54617 HAS SOUS 15049 HAS SOUPS 14668 WITH SCORE 14751.544
AT ITER 1292 NEW BEST:: SOT 120024 SOS 83501 HAS SOPS 54594 HAS SOUS 15042 HAS SOUPS 14661 WITH SCORE 14744.501
AT ITER 1297 NEW BEST:: SOT 119968 SOS 83582 HAS SOPS 54586 HAS SOUS 15034 HAS SOUPS 14653 WITH SCORE 14736.582
AT ITER 1306 NEW BEST:: SOT 119912 SOS 83630 HAS SOPS 54572 HAS SOUS 15002 HAS SOUPS 14621 WITH SCORE 14704.63
AT ITER 1309 NEW BEST:: SOT 119904 SOS 83614 HAS SOPS 54548 HAS SOUS 14978 HAS SOUPS 14597 WITH SCORE 14680.614
AT ITER 1311 NEW BEST:: SOT 119927 SOS 83590 HAS SOPS 54547 HAS SOUS 14959 HAS SOUPS 14578 WITH SCORE 14661.59
AT ITER 1314 NEW BEST:: SOT 119925 SOS 83584 HAS SOPS 54543 HAS SOUS 14957 HAS SOUPS 14576 WITH SCORE 14659.584
AT ITER 1330 NEW BEST:: SOT 119925 SOS 83584 HAS SOPS 54543 HAS SOUS 14952 HAS SOUPS 14571 WITH SCORE 14654.584
AT ITER 1342 NEW BEST:: SOT 119922 SOS 83578 HAS SOPS 54537 HAS SOUS 14949 HAS SOUPS 14568 WITH SCORE 14651.578
AT ITER 1362 NEW BEST:: SOT 119889 SOS 83527 HAS SOPS 54471 HAS SOUS 14867 HAS SOUPS 14486 WITH SCORE 14569.527
AT ITER 1368 NEW BEST:: SOT 119826 SOS 83428 HAS SOPS 54345 HAS SOUS 14853 HAS SOUPS 14472 WITH SCORE 14555.428
AT ITER 1370 NEW BEST:: SOT 119870 SOS 83380 HAS SOPS 54307 HAS SOUS 14844 HAS SOUPS 14463 WITH SCORE 14546.38
AT ITER 1377 NEW BEST:: SOT 119868 SOS 83378 HAS SOPS 54305 HAS SOUS 14843 HAS SOUPS 14462 WITH SCORE 14545.378
AT ITER 1380 NEW BEST:: SOT 119941 SOS 83250 HAS SOPS 54053 HAS SOUS 14808 HAS SOUPS 14427 WITH SCORE 14510.25
AT ITER 1391 NEW BEST:: SOT 119901 SOS 83168 HAS SOPS 53973 HAS SOUS 14771 HAS SOUPS 14390 WITH SCORE 14473.168
AT ITER 1430 NEW BEST:: SOT 119916 SOS 83168 HAS SOPS 53973 HAS SOUS 14756 HAS SOUPS 14375 WITH SCORE 14458.168
AT ITER 1439 NEW BEST:: SOT 119913 SOS 83165 HAS SOPS 53967 HAS SOUS 14750 HAS SOUPS 14369 WITH SCORE 14452.165
AT ITER 1450 NEW BEST:: SOT 119899 SOS 83151 HAS SOPS 53953 HAS SOUS 14741 HAS SOUPS 14360 WITH SCORE 14443.151
AT ITER 1457 NEW BEST:: SOT 119890 SOS 83113 HAS SOPS 53935 HAS SOUS 14704 HAS SOUPS 14323 WITH SCORE 14406.113
AT ITER 1465 NEW BEST:: SOT 119892 SOS 83117 HAS SOPS 53939 HAS SOUS 14685 HAS SOUPS 14304 WITH SCORE 14387.117
AT ITER 1466 NEW BEST:: SOT 119894 SOS 83119 HAS SOPS 53937 HAS SOUS 14683 HAS SOUPS 14302 WITH SCORE 14385.119
AT ITER 1488 NEW BEST:: SOT 119866 SOS 83084 HAS SOPS 53881 HAS SOUS 14607 HAS SOUPS 14226 WITH SCORE 14309.084
AT ITER 1492 NEW BEST:: SOT 119850 SOS 83068 HAS SOPS 53865 HAS SOUS 14591 HAS SOUPS 14210 WITH SCORE 14293.068
AT ITER 1493 NEW BEST:: SOT 119850 SOS 83042 HAS SOPS 53865 HAS SOUS 14591 HAS SOUPS 14210 WITH SCORE 14293.042
AT ITER 1497 NEW BEST:: SOT 119828 SOS 83008 HAS SOPS 53821 HAS SOUS 14547 HAS SOUPS 14166 WITH SCORE 14249.008
AT ITER 1499 NEW BEST:: SOT 119801 SOS 82981 HAS SOPS 53788 HAS SOUS 14528 HAS SOUPS 14147 WITH SCORE 14229.981
AT ITER 1522 NEW BEST:: SOT 119814 SOS 82977 HAS SOPS 53814 HAS SOUS 14525 HAS SOUPS 14144 WITH SCORE 14226.977
AT ITER 1530 NEW BEST:: SOT 119837 SOS 82959 HAS SOPS 53798 HAS SOUS 14507 HAS SOUPS 14128 WITH SCORE 14210.959
AT ITER 1531 NEW BEST:: SOT 119784 SOS 82949 HAS SOPS 53788 HAS SOUS 14497 HAS SOUPS 14118 WITH SCORE 14200.949
AT ITER 1537 NEW BEST:: SOT 119795 SOS 83002 HAS SOPS 53810 HAS SOUS 14488 HAS SOUPS 14109 WITH SCORE 14192.002
AT ITER 1538 NEW BEST:: SOT 119765 SOS 83010 HAS SOPS 53810 HAS SOUS 14472 HAS SOUPS 14093 WITH SCORE 14176.01
AT ITER 1547 NEW BEST:: SOT 119762 SOS 83007 HAS SOPS 53804 HAS SOUS 14466 HAS SOUPS 14087 WITH SCORE 14170.007
AT ITER 1550 NEW BEST:: SOT 119762 SOS 83001 HAS SOPS 53804 HAS SOUS 14466 HAS SOUPS 14087 WITH SCORE 14170.001
AT ITER 1552 NEW BEST:: SOT 119713 SOS 82993 HAS SOPS 53755 HAS SOUS 14407 HAS SOUPS 14028 WITH SCORE 14110.993
AT ITER 1572 NEW BEST:: SOT 119700 SOS 82980 HAS SOPS 53736 HAS SOUS 14388 HAS SOUPS 14009 WITH SCORE 14091.98
AT ITER 1576 NEW BEST:: SOT 119702 SOS 82964 HAS SOPS 53721 HAS SOUS 14386 HAS SOUPS 14007 WITH SCORE 14089.964
AT ITER 1577 NEW BEST:: SOT 119689 SOS 82910 HAS SOPS 53633 HAS SOUS 14268 HAS SOUPS 13889 WITH SCORE 13971.91
AT ITER 1584 NEW BEST:: SOT 119568 SOS 82641 HAS SOPS 53317 HAS SOUS 13952 HAS SOUPS 13573 WITH SCORE 13655.641
AT ITER 1608 NEW BEST:: SOT 119568 SOS 82627 HAS SOPS 52939 HAS SOUS 13903 HAS SOUPS 13524 WITH SCORE 13606.627
AT ITER 1643 NEW BEST:: SOT 119549 SOS 82572 HAS SOPS 52880 HAS SOUS 13859 HAS SOUPS 13480 WITH SCORE 13562.572
AT ITER 1649 NEW BEST:: SOT 119510 SOS 82538 HAS SOPS 52826 HAS SOUS 13820 HAS SOUPS 13441 WITH SCORE 13523.538
AT ITER 1674 NEW BEST:: SOT 119508 SOS 82536 HAS SOPS 52824 HAS SOUS 13820 HAS SOUPS 13441 WITH SCORE 13523.536
AT ITER 1675 NEW BEST:: SOT 119508 SOS 82478 HAS SOPS 52795 HAS SOUS 13820 HAS SOUPS 13441 WITH SCORE 13523.478
AT ITER 1701 NEW BEST:: SOT 119493 SOS 82463 HAS SOPS 52780 HAS SOUS 13820 HAS SOUPS 13441 WITH SCORE 13523.463
AT ITER 1704 NEW BEST:: SOT 119465 SOS 82435 HAS SOPS 52738 HAS SOUS 13778 HAS SOUPS 13399 WITH SCORE 13481.435
AT ITER 1705 NEW BEST:: SOT 119463 SOS 82422 HAS SOPS 52717 HAS SOUS 13759 HAS SOUPS 13380 WITH SCORE 13462.422
AT ITER 1716 NEW BEST:: SOT 119453 SOS 82401 HAS SOPS 52694 HAS SOUS 13752 HAS SOUPS 13373 WITH SCORE 13455.401
AT ITER 1725 NEW BEST:: SOT 119454 SOS 82373 HAS SOPS 52672 HAS SOUS 13747 HAS SOUPS 13368 WITH SCORE 13450.373
AT ITER 1726 NEW BEST:: SOT 119382 SOS 82243 HAS SOPS 52528 HAS SOUS 13658 HAS SOUPS 13279 WITH SCORE 13361.243
AT ITER 1728 NEW BEST:: SOT 119382 SOS 82253 HAS SOPS 52528 HAS SOUS 13638 HAS SOUPS 13259 WITH SCORE 13341.253
AT ITER 1750 NEW BEST:: SOT 119378 SOS 82245 HAS SOPS 52520 HAS SOUS 13636 HAS SOUPS 13257 WITH SCORE 13339.245
AT ITER 1758 NEW BEST:: SOT 119339 SOS 82238 HAS SOPS 52481 HAS SOUS 13623 HAS SOUPS 13244 WITH SCORE 13326.238
AT ITER 1775 NEW BEST:: SOT 118977 SOS 82354 HAS SOPS 53119 HAS SOUS 13590 HAS SOUPS 13211 WITH SCORE 13293.354
AT ITER 1780 NEW BEST:: SOT 118977 SOS 82354 HAS SOPS 53119 HAS SOUS 13587 HAS SOUPS 13208 WITH SCORE 13290.354
AT ITER 1833 NEW BEST:: SOT 118972 SOS 82344 HAS SOPS 53109 HAS SOUS 13587 HAS SOUPS 13208 WITH SCORE 13290.344
AT ITER 1840 NEW BEST:: SOT 118966 SOS 82332 HAS SOPS 53097 HAS SOUS 13575 HAS SOUPS 13196 WITH SCORE 13278.332
AT ITER 1869 NEW BEST:: SOT 118964 SOS 82329 HAS SOPS 53094 HAS SOUS 13572 HAS SOUPS 13193 WITH SCORE 13275.329
AT ITER 1883 NEW BEST:: SOT 118982 SOS 82347 HAS SOPS 53083 HAS SOUS 13561 HAS SOUPS 13182 WITH SCORE 13264.347
AT ITER 1884 NEW BEST:: SOT 118967 SOS 82348 HAS SOPS 53053 HAS SOUS 13550 HAS SOUPS 13171 WITH SCORE 13253.348
AT ITER 1887 NEW BEST:: SOT 118880 SOS 82798 HAS SOPS 53503 HAS SOUS 13523 HAS SOUPS 13144 WITH SCORE 13226.798
AT ITER 1891 NEW BEST:: SOT 118855 SOS 82768 HAS SOPS 53453 HAS SOUS 13497 HAS SOUPS 13118 WITH SCORE 13200.768
AT ITER 1907 NEW BEST:: SOT 118858 SOS 82718 HAS SOPS 53406 HAS SOUS 13426 HAS SOUPS 13047 WITH SCORE 13129.718
AT ITER 1923 NEW BEST:: SOT 118848 SOS 82708 HAS SOPS 53386 HAS SOUS 13406 HAS SOUPS 13027 WITH SCORE 13109.708
AT ITER 1942 NEW BEST:: SOT 118843 SOS 82703 HAS SOPS 53376 HAS SOUS 13396 HAS SOUPS 13017 WITH SCORE 13099.703
AT ITER 1961 NEW BEST:: SOT 118884 SOS 82739 HAS SOPS 53390 HAS SOUS 13391 HAS SOUPS 13012 WITH SCORE 13094.739
AT ITER 1977 NEW BEST:: SOT 118912 SOS 82721 HAS SOPS 53383 HAS SOUS 13384 HAS SOUPS 13005 WITH SCORE 13087.721
AT ITER 2003 NEW BEST:: SOT 118885 SOS 82694 HAS SOPS 53343 HAS SOUS 13347 HAS SOUPS 12968 WITH SCORE 13050.694
AT ITER 2006 NEW BEST:: SOT 118861 SOS 82670 HAS SOPS 53295 HAS SOUS 13285 HAS SOUPS 12906 WITH SCORE 12988.67
AT ITER 2007 NEW BEST:: SOT 118794 SOS 82499 HAS SOPS 53162 HAS SOUS 13258 HAS SOUPS 12879 WITH SCORE 12961.499
AT ITER 2010 NEW BEST:: SOT 118752 SOS 82436 HAS SOPS 53078 HAS SOUS 13174 HAS SOUPS 12795 WITH SCORE 12877.436
AT ITER 2038 NEW BEST:: SOT 118735 SOS 82388 HAS SOPS 53027 HAS SOUS 13134 HAS SOUPS 12755 WITH SCORE 12837.388
AT ITER 2052 NEW BEST:: SOT 118735 SOS 82381 HAS SOPS 53020 HAS SOUS 13127 HAS SOUPS 12748 WITH SCORE 12830.381
AT ITER 2074 NEW BEST:: SOT 118734 SOS 82387 HAS SOPS 53018 HAS SOUS 13123 HAS SOUPS 12744 WITH SCORE 12826.387
AT ITER 2099 NEW BEST:: SOT 118730 SOS 82377 HAS SOPS 53010 HAS SOUS 13112 HAS SOUPS 12733 WITH SCORE 12815.377
AT ITER 2108 NEW BEST:: SOT 118704 SOS 82351 HAS SOPS 52997 HAS SOUS 13107 HAS SOUPS 12728 WITH SCORE 12810.351
AT ITER 2116 NEW BEST:: SOT 118665 SOS 82325 HAS SOPS 52945 HAS SOUS 13055 HAS SOUPS 12676 WITH SCORE 12758.325
AT ITER 2129 NEW BEST:: SOT 118669 SOS 82323 HAS SOPS 52941 HAS SOUS 13045 HAS SOUPS 12666 WITH SCORE 12748.323
AT ITER 2130 NEW BEST:: SOT 118699 SOS 82228 HAS SOPS 52869 HAS SOUS 13000 HAS SOUPS 12621 WITH SCORE 12703.228
AT ITER 2132 NEW BEST:: SOT 118712 SOS 82160 HAS SOPS 52828 HAS SOUS 12995 HAS SOUPS 12616 WITH SCORE 12698.16
AT ITER 2154 NEW BEST:: SOT 118789 SOS 82237 HAS SOPS 52806 HAS SOUS 12973 HAS SOUPS 12594 WITH SCORE 12676.237
AT ITER 2165 NEW BEST:: SOT 118777 SOS 82225 HAS SOPS 52794 HAS SOUS 12961 HAS SOUPS 12582 WITH SCORE 12664.225
AT ITER 2174 NEW BEST:: SOT 118901 SOS 82358 HAS SOPS 52838 HAS SOUS 12808 HAS SOUPS 12429 WITH SCORE 12511.358
AT ITER 2186 NEW BEST:: SOT 118877 SOS 82322 HAS SOPS 52790 HAS SOUS 12772 HAS SOUPS 12393 WITH SCORE 12475.322
AT ITER 2195 NEW BEST:: SOT 118875 SOS 82304 HAS SOPS 52760 HAS SOUS 12741 HAS SOUPS 12362 WITH SCORE 12444.304
AT ITER 2231 NEW BEST:: SOT 118852 SOS 82281 HAS SOPS 52714 HAS SOUS 12718 HAS SOUPS 12339 WITH SCORE 12421.281
AT ITER 2237 NEW BEST:: SOT 118779 SOS 82210 HAS SOPS 52611 HAS SOUS 12619 HAS SOUPS 12236 WITH SCORE 12318.21
AT ITER 2241 NEW BEST:: SOT 118480 SOS 81912 HAS SOPS 52329 HAS SOUS 12497 HAS SOUPS 12114 WITH SCORE 12195.912
AT ITER 2272 NEW BEST:: SOT 118465 SOS 81882 HAS SOPS 52299 HAS SOUS 12473 HAS SOUPS 12090 WITH SCORE 12171.882
AT ITER 2275 NEW BEST:: SOT 118440 SOS 81816 HAS SOPS 52249 HAS SOUS 12417 HAS SOUPS 12034 WITH SCORE 12115.816
AT ITER 2283 NEW BEST:: SOT 118432 SOS 81795 HAS SOPS 52224 HAS SOUS 12396 HAS SOUPS 12013 WITH SCORE 12094.795
AT ITER 2316 NEW BEST:: SOT 118428 SOS 81787 HAS SOPS 52216 HAS SOUS 12392 HAS SOUPS 12009 WITH SCORE 12090.787
AT ITER 2333 NEW BEST:: SOT 118389 SOS 81748 HAS SOPS 52170 HAS SOUS 12358 HAS SOUPS 11975 WITH SCORE 12056.748
AT ITER 2347 NEW BEST:: SOT 118339 SOS 81722 HAS SOPS 52068 HAS SOUS 12261 HAS SOUPS 11878 WITH SCORE 11959.722
AT ITER 2368 NEW BEST:: SOT 118333 SOS 81716 HAS SOPS 52056 HAS SOUS 12249 HAS SOUPS 11866 WITH SCORE 11947.716
AT ITER 2402 NEW BEST:: SOT 118333 SOS 81716 HAS SOPS 52051 HAS SOUS 12244 HAS SOUPS 11861 WITH SCORE 11942.716
AT ITER 2414 NEW BEST:: SOT 118269 SOS 81648 HAS SOPS 51919 HAS SOUS 12172 HAS SOUPS 11789 WITH SCORE 11870.648
AT ITER 2422 NEW BEST:: SOT 118267 SOS 81644 HAS SOPS 51914 HAS SOUS 12167 HAS SOUPS 11784 WITH SCORE 11865.644
AT ITER 2424 NEW BEST:: SOT 118391 SOS 81764 HAS SOPS 51929 HAS SOUS 12153 HAS SOUPS 11770 WITH SCORE 11851.764
AT ITER 2428 NEW BEST:: SOT 118383 SOS 81764 HAS SOPS 51921 HAS SOUS 12145 HAS SOUPS 11762 WITH SCORE 11843.764
AT ITER 2484 NEW BEST:: SOT 118353 SOS 81734 HAS SOPS 51871 HAS SOUS 12101 HAS SOUPS 11718 WITH SCORE 11799.734
AT ITER 2495 NEW BEST:: SOT 118354 SOS 81662 HAS SOPS 51873 HAS SOUS 12099 HAS SOUPS 11716 WITH SCORE 11797.662
AT ITER 2499 NEW BEST:: SOT 118349 SOS 81652 HAS SOPS 51863 HAS SOUS 12089 HAS SOUPS 11706 WITH SCORE 11787.652
AT ITER 2556 NEW BEST:: SOT 118377 SOS 81045 HAS SOPS 51259 HAS SOUS 12076 HAS SOUPS 11693 WITH SCORE 11774.045
AT ITER 2573 NEW BEST:: SOT 118431 SOS 81094 HAS SOPS 51108 HAS SOUS 12022 HAS SOUPS 11639 WITH SCORE 11720.094
AT ITER 2577 NEW BEST:: SOT 118430 SOS 81092 HAS SOPS 51106 HAS SOUS 12021 HAS SOUPS 11638 WITH SCORE 11719.092
AT ITER 2578 NEW BEST:: SOT 118430 SOS 81088 HAS SOPS 51106 HAS SOUS 12021 HAS SOUPS 11638 WITH SCORE 11719.088
AT ITER 2581 NEW BEST:: SOT 118426 SOS 81075 HAS SOPS 51093 HAS SOUS 12012 HAS SOUPS 11629 WITH SCORE 11710.075
AT ITER 2587 NEW BEST:: SOT 118416 SOS 81052 HAS SOPS 51073 HAS SOUS 12005 HAS SOUPS 11622 WITH SCORE 11703.052
AT ITER 2594 NEW BEST:: SOT 118402 SOS 81031 HAS SOPS 51045 HAS SOUS 11977 HAS SOUPS 11594 WITH SCORE 11675.031
AT ITER 2642 NEW BEST:: SOT 118391 SOS 81048 HAS SOPS 51042 HAS SOUS 11967 HAS SOUPS 11584 WITH SCORE 11665.048
AT ITER 2649 NEW BEST:: SOT 118369 SOS 81033 HAS SOPS 50998 HAS SOUS 11909 HAS SOUPS 11526 WITH SCORE 11607.033
AT ITER 2653 NEW BEST:: SOT 118367 SOS 81029 HAS SOPS 50987 HAS SOUS 11894 HAS SOUPS 11511 WITH SCORE 11592.029
AT ITER 2657 NEW BEST:: SOT 118366 SOS 81013 HAS SOPS 50985 HAS SOUS 11892 HAS SOUPS 11509 WITH SCORE 11590.013
AT ITER 2663 NEW BEST:: SOT 118343 SOS 80990 HAS SOPS 50962 HAS SOUS 11888 HAS SOUPS 11505 WITH SCORE 11585.99
AT ITER 2673 NEW BEST:: SOT 118323 SOS 80990 HAS SOPS 50943 HAS SOUS 11869 HAS SOUPS 11486 WITH SCORE 11566.99
AT ITER 2733 NEW BEST:: SOT 118323 SOS 80986 HAS SOPS 50939 HAS SOUS 11865 HAS SOUPS 11482 WITH SCORE 11562.986
AT ITER 2735 NEW BEST:: SOT 118267 SOS 80947 HAS SOPS 50862 HAS SOUS 11784 HAS SOUPS 11401 WITH SCORE 11481.947
AT ITER 2739 NEW BEST:: SOT 118258 SOS 80938 HAS SOPS 50844 HAS SOUS 11766 HAS SOUPS 11383 WITH SCORE 11463.938
AT ITER 2740 NEW BEST:: SOT 118265 SOS 80935 HAS SOPS 50845 HAS SOUS 11754 HAS SOUPS 11371 WITH SCORE 11451.935
AT ITER 2776 NEW BEST:: SOT 118313 SOS 80913 HAS SOPS 50873 HAS SOUS 11719 HAS SOUPS 11336 WITH SCORE 11416.913
AT ITER 2814 NEW BEST:: SOT 118289 SOS 80849 HAS SOPS 50825 HAS SOUS 11706 HAS SOUPS 11323 WITH SCORE 11403.849
AT ITER 2817 NEW BEST:: SOT 118223 SOS 80804 HAS SOPS 50795 HAS SOUS 11706 HAS SOUPS 11323 WITH SCORE 11403.804
AT ITER 2849 NEW BEST:: SOT 118233 SOS 80816 HAS SOPS 50759 HAS SOUS 11656 HAS SOUPS 11273 WITH SCORE 11353.816
AT ITER 2871 NEW BEST:: SOT 118253 SOS 80815 HAS SOPS 50778 HAS SOUS 11656 HAS SOUPS 11273 WITH SCORE 11353.815
AT ITER 2900 NEW BEST:: SOT 118251 SOS 80813 HAS SOPS 50775 HAS SOUS 11654 HAS SOUPS 11271 WITH SCORE 11351.813
AT ITER 2928 NEW BEST:: SOT 118284 SOS 80858 HAS SOPS 50799 HAS SOUS 11642 HAS SOUPS 11259 WITH SCORE 11339.858
AT ITER 2932 NEW BEST:: SOT 118282 SOS 80850 HAS SOPS 50795 HAS SOUS 11638 HAS SOUPS 11255 WITH SCORE 11335.85
AT ITER 2936 NEW BEST:: SOT 118282 SOS 80836 HAS SOPS 50795 HAS SOUS 11638 HAS SOUPS 11255 WITH SCORE 11335.836
AT ITER 2951 NEW BEST:: SOT 118274 SOS 80824 HAS SOPS 50779 HAS SOUS 11630 HAS SOUPS 11247 WITH SCORE 11327.824
AT ITER 2957 NEW BEST:: SOT 118249 SOS 80772 HAS SOPS 50729 HAS SOUS 11607 HAS SOUPS 11224 WITH SCORE 11304.772
AT ITER 2966 NEW BEST:: SOT 118257 SOS 80780 HAS SOPS 50720 HAS SOUS 11596 HAS SOUPS 11215 WITH SCORE 11295.78
AT ITER 2970 NEW BEST:: SOT 118257 SOS 80795 HAS SOPS 50720 HAS SOUS 11581 HAS SOUPS 11200 WITH SCORE 11280.795
AT ITER 2972 NEW BEST:: SOT 118240 SOS 80766 HAS SOPS 50686 HAS SOUS 11559 HAS SOUPS 11178 WITH SCORE 11258.766
AT ITER 2977 NEW BEST:: SOT 118179 SOS 80705 HAS SOPS 50686 HAS SOUS 11559 HAS SOUPS 11178 WITH SCORE 11258.705
AT ITER 2984 NEW BEST:: SOT 118178 SOS 80724 HAS SOPS 50684 HAS SOUS 11537 HAS SOUPS 11156 WITH SCORE 11236.724
AT ITER 2995 NEW BEST:: SOT 118114 SOS 80660 HAS SOPS 50622 HAS SOUS 11507 HAS SOUPS 11126 WITH SCORE 11206.66
AT ITER 3009 NEW BEST:: SOT 118107 SOS 80639 HAS SOPS 50601 HAS SOUS 11507 HAS SOUPS 11126 WITH SCORE 11206.639
AT ITER 3012 NEW BEST:: SOT 118091 SOS 80623 HAS SOPS 50569 HAS SOUS 11475 HAS SOUPS 11094 WITH SCORE 11174.623
AT ITER 3043 NEW BEST:: SOT 118062 SOS 80565 HAS SOPS 50511 HAS SOUS 11446 HAS SOUPS 11065 WITH SCORE 11145.565
AT ITER 3101 NEW BEST:: SOT 118063 SOS 80561 HAS SOPS 50508 HAS SOUS 11443 HAS SOUPS 11062 WITH SCORE 11142.561
AT ITER 3127 NEW BEST:: SOT 118060 SOS 80556 HAS SOPS 50502 HAS SOUS 11439 HAS SOUPS 11058 WITH SCORE 11138.556
AT ITER 3159 NEW BEST:: SOT 118053 SOS 80531 HAS SOPS 50488 HAS SOUS 11437 HAS SOUPS 11056 WITH SCORE 11136.531
AT ITER 3175 NEW BEST:: SOT 118061 SOS 80484 HAS SOPS 50454 HAS SOUS 11400 HAS SOUPS 11019 WITH SCORE 11099.484
AT ITER 3191 NEW BEST:: SOT 118061 SOS 80465 HAS SOPS 50435 HAS SOUS 11362 HAS SOUPS 10981 WITH SCORE 11061.465
AT ITER 3209 NEW BEST:: SOT 118036 SOS 80440 HAS SOPS 50404 HAS SOUS 11331 HAS SOUPS 10950 WITH SCORE 11030.44
AT ITER 3235 NEW BEST:: SOT 118035 SOS 80438 HAS SOPS 50356 HAS SOUS 11318 HAS SOUPS 10937 WITH SCORE 11017.438
AT ITER 3250 NEW BEST:: SOT 118011 SOS 80402 HAS SOPS 50308 HAS SOUS 11282 HAS SOUPS 10901 WITH SCORE 10981.402
AT ITER 3256 NEW BEST:: SOT 118014 SOS 80384 HAS SOPS 50292 HAS SOUS 11266 HAS SOUPS 10885 WITH SCORE 10965.384
AT ITER 3259 NEW BEST:: SOT 118013 SOS 80394 HAS SOPS 50301 HAS SOUS 11264 HAS SOUPS 10883 WITH SCORE 10963.394
AT ITER 3280 NEW BEST:: SOT 118012 SOS 80392 HAS SOPS 50299 HAS SOUS 11257 HAS SOUPS 10876 WITH SCORE 10956.392
AT ITER 3297 NEW BEST:: SOT 117991 SOS 80373 HAS SOPS 50279 HAS SOUS 11237 HAS SOUPS 10856 WITH SCORE 10936.373
AT ITER 3306 NEW BEST:: SOT 118018 SOS 80328 HAS SOPS 50273 HAS SOUS 11235 HAS SOUPS 10854 WITH SCORE 10934.328
AT ITER 3314 NEW BEST:: SOT 118016 SOS 80316 HAS SOPS 50253 HAS SOUS 11217 HAS SOUPS 10836 WITH SCORE 10916.316
AT ITER 3328 NEW BEST:: SOT 118009 SOS 80312 HAS SOPS 50141 HAS SOUS 11203 HAS SOUPS 10822 WITH SCORE 10902.312
AT ITER 3347 NEW BEST:: SOT 118003 SOS 80306 HAS SOPS 50131 HAS SOUS 11197 HAS SOUPS 10812 WITH SCORE 10892.306
AT ITER 3354 NEW BEST:: SOT 118020 SOS 80265 HAS SOPS 50107 HAS SOUS 11173 HAS SOUPS 10788 WITH SCORE 10868.265
AT ITER 3428 NEW BEST:: SOT 118017 SOS 80262 HAS SOPS 50101 HAS SOUS 11167 HAS SOUPS 10782 WITH SCORE 10862.262
AT ITER 3436 NEW BEST:: SOT 118004 SOS 80236 HAS SOPS 50062 HAS SOUS 11141 HAS SOUPS 10756 WITH SCORE 10836.236
AT ITER 3456 NEW BEST:: SOT 117998 SOS 80218 HAS SOPS 50038 HAS SOUS 11117 HAS SOUPS 10732 WITH SCORE 10812.218
AT ITER 3464 NEW BEST:: SOT 117989 SOS 80220 HAS SOPS 50020 HAS SOUS 11101 HAS SOUPS 10716 WITH SCORE 10796.22
AT ITER 3477 NEW BEST:: SOT 117984 SOS 80215 HAS SOPS 50010 HAS SOUS 11091 HAS SOUPS 10706 WITH SCORE 10786.215
AT ITER 3492 NEW BEST:: SOT 117984 SOS 80171 HAS SOPS 50010 HAS SOUS 11091 HAS SOUPS 10706 WITH SCORE 10786.171
AT ITER 3495 NEW BEST:: SOT 117977 SOS 80171 HAS SOPS 50003 HAS SOUS 11084 HAS SOUPS 10699 WITH SCORE 10779.171
AT ITER 3505 NEW BEST:: SOT 117975 SOS 80167 HAS SOPS 49999 HAS SOUS 11082 HAS SOUPS 10697 WITH SCORE 10777.167
AT ITER 3518 NEW BEST:: SOT 117975 SOS 80167 HAS SOPS 49990 HAS SOUS 11073 HAS SOUPS 10688 WITH SCORE 10768.167
AT ITER 3525 NEW BEST:: SOT 117975 SOS 80146 HAS SOPS 49969 HAS SOUS 11052 HAS SOUPS 10667 WITH SCORE 10747.146
AT ITER 3530 NEW BEST:: SOT 117969 SOS 80140 HAS SOPS 49969 HAS SOUS 11052 HAS SOUPS 10667 WITH SCORE 10747.14
AT ITER 3553 NEW BEST:: SOT 117965 SOS 80136 HAS SOPS 49963 HAS SOUS 11046 HAS SOUPS 10661 WITH SCORE 10741.136
AT ITER 3561 NEW BEST:: SOT 117963 SOS 80132 HAS SOPS 49959 HAS SOUS 11044 HAS SOUPS 10659 WITH SCORE 10739.132
AT ITER 3573 NEW BEST:: SOT 117965 SOS 80134 HAS SOPS 49957 HAS SOUS 11041 HAS SOUPS 10656 WITH SCORE 10736.134
AT ITER 3579 NEW BEST:: SOT 117965 SOS 80133 HAS SOPS 49956 HAS SOUS 11040 HAS SOUPS 10655 WITH SCORE 10735.133
AT ITER 3587 NEW BEST:: SOT 117959 SOS 80123 HAS SOPS 49944 HAS SOUS 11035 HAS SOUPS 10650 WITH SCORE 10730.123
AT ITER 3597 NEW BEST:: SOT 117962 SOS 80120 HAS SOPS 49938 HAS SOUS 11029 HAS SOUPS 10644 WITH SCORE 10724.12
AT ITER 3615 NEW BEST:: SOT 117947 SOS 80105 HAS SOPS 49916 HAS SOUS 11015 HAS SOUPS 10630 WITH SCORE 10710.105
AT ITER 3649 NEW BEST:: SOT 117868 SOS 80083 HAS SOPS 49848 HAS SOUS 10986 HAS SOUPS 10601 WITH SCORE 10681.083
AT ITER 3660 NEW BEST:: SOT 117870 SOS 80035 HAS SOPS 49821 HAS SOUS 10935 HAS SOUPS 10550 WITH SCORE 10630.035
AT ITER 3675 NEW BEST:: SOT 117879 SOS 80029 HAS SOPS 49813 HAS SOUS 10929 HAS SOUPS 10544 WITH SCORE 10624.029
AT ITER 3693 NEW BEST:: SOT 117875 SOS 80028 HAS SOPS 49805 HAS SOUS 10913 HAS SOUPS 10528 WITH SCORE 10608.028
AT ITER 3695 NEW BEST:: SOT 117863 SOS 80019 HAS SOPS 49794 HAS SOUS 10899 HAS SOUPS 10514 WITH SCORE 10594.019
AT ITER 3739 NEW BEST:: SOT 117863 SOS 80019 HAS SOPS 49794 HAS SOUS 10898 HAS SOUPS 10513 WITH SCORE 10593.019
AT ITER 3767 NEW BEST:: SOT 117857 SOS 80010 HAS SOPS 49782 HAS SOUS 10886 HAS SOUPS 10501 WITH SCORE 10581.01
AT ITER 3792 NEW BEST:: SOT 117857 SOS 80007 HAS SOPS 49782 HAS SOUS 10886 HAS SOUPS 10501 WITH SCORE 10581.007
AT ITER 3808 NEW BEST:: SOT 117945 SOS 80092 HAS SOPS 49793 HAS SOUS 10880 HAS SOUPS 10495 WITH SCORE 10575.092
AT ITER 3851 NEW BEST:: SOT 117951 SOS 80090 HAS SOPS 49797 HAS SOUS 10878 HAS SOUPS 10493 WITH SCORE 10573.09
AT ITER 3865 NEW BEST:: SOT 117921 SOS 80030 HAS SOPS 49737 HAS SOUS 10873 HAS SOUPS 10488 WITH SCORE 10568.03
AT ITER 3879 NEW BEST:: SOT 117919 SOS 80026 HAS SOPS 49733 HAS SOUS 10871 HAS SOUPS 10486 WITH SCORE 10566.026
AT ITER 3880 NEW BEST:: SOT 117918 SOS 80024 HAS SOPS 49731 HAS SOUS 10869 HAS SOUPS 10484 WITH SCORE 10564.024
AT ITER 3904 NEW BEST:: SOT 117917 SOS 80023 HAS SOPS 49729 HAS SOUS 10867 HAS SOUPS 10482 WITH SCORE 10562.023
AT ITER 3926 NEW BEST:: SOT 117916 SOS 80015 HAS SOPS 49727 HAS SOUS 10866 HAS SOUPS 10481 WITH SCORE 10561.015
AT ITER 3947 NEW BEST:: SOT 117913 SOS 80012 HAS SOPS 49724 HAS SOUS 10864 HAS SOUPS 10479 WITH SCORE 10559.012
AT ITER 3950 NEW BEST:: SOT 117904 SOS 80014 HAS SOPS 49714 HAS SOUS 10851 HAS SOUPS 10466 WITH SCORE 10546.014
AT ITER 4068 NEW BEST:: SOT 117892 SOS 79996 HAS SOPS 49690 HAS SOUS 10834 HAS SOUPS 10449 WITH SCORE 10528.996
AT ITER 4074 NEW BEST:: SOT 117889 SOS 79990 HAS SOPS 49684 HAS SOUS 10831 HAS SOUPS 10446 WITH SCORE 10525.99
AT ITER 4078 NEW BEST:: SOT 117857 SOS 79958 HAS SOPS 49620 HAS SOUS 10789 HAS SOUPS 10404 WITH SCORE 10483.958
AT ITER 4092 NEW BEST:: SOT 117859 SOS 79540 HAS SOPS 49622 HAS SOUS 10785 HAS SOUPS 10401 WITH SCORE 10480.54
AT ITER 4106 NEW BEST:: SOT 117848 SOS 79539 HAS SOPS 49617 HAS SOUS 10780 HAS SOUPS 10396 WITH SCORE 10475.539
AT ITER 4167 NEW BEST:: SOT 117844 SOS 79532 HAS SOPS 49610 HAS SOUS 10780 HAS SOUPS 10396 WITH SCORE 10475.532
AT ITER 4184 NEW BEST:: SOT 117839 SOS 79527 HAS SOPS 49600 HAS SOUS 10770 HAS SOUPS 10386 WITH SCORE 10465.527
AT ITER 4210 NEW BEST:: SOT 117938 SOS 79628 HAS SOPS 49468 HAS SOUS 10761 HAS SOUPS 10377 WITH SCORE 10456.628
AT ITER 4215 NEW BEST:: SOT 117933 SOS 79623 HAS SOPS 49463 HAS SOUS 10761 HAS SOUPS 10377 WITH SCORE 10456.623
AT ITER 4217 NEW BEST:: SOT 117924 SOS 79614 HAS SOPS 49445 HAS SOUS 10743 HAS SOUPS 10359 WITH SCORE 10438.614
AT ITER 4232 NEW BEST:: SOT 117894 SOS 79554 HAS SOPS 49385 HAS SOUS 10712 HAS SOUPS 10328 WITH SCORE 10407.554
AT ITER 4297 NEW BEST:: SOT 117880 SOS 79552 HAS SOPS 49357 HAS SOUS 10690 HAS SOUPS 10306 WITH SCORE 10385.552
AT ITER 4324 NEW BEST:: SOT 117879 SOS 79551 HAS SOPS 49355 HAS SOUS 10689 HAS SOUPS 10305 WITH SCORE 10384.551
AT ITER 4326 NEW BEST:: SOT 117855 SOS 79515 HAS SOPS 49307 HAS SOUS 10663 HAS SOUPS 10279 WITH SCORE 10358.515
AT ITER 4363 NEW BEST:: SOT 117831 SOS 79479 HAS SOPS 49259 HAS SOUS 10639 HAS SOUPS 10255 WITH SCORE 10334.479
AT ITER 4405 NEW BEST:: SOT 117822 SOS 79444 HAS SOPS 49241 HAS SOUS 10616 HAS SOUPS 10232 WITH SCORE 10311.444
AT ITER 4475 NEW BEST:: SOT 117812 SOS 79441 HAS SOPS 49227 HAS SOUS 10601 HAS SOUPS 10217 WITH SCORE 10296.441
AT ITER 4483 NEW BEST:: SOT 117799 SOS 79431 HAS SOPS 49209 HAS SOUS 10583 HAS SOUPS 10199 WITH SCORE 10278.431
AT ITER 4553 NEW BEST:: SOT 117791 SOS 79423 HAS SOPS 49193 HAS SOUS 10567 HAS SOUPS 10183 WITH SCORE 10262.423
AT ITER 4577 NEW BEST:: SOT 117791 SOS 79421 HAS SOPS 49185 HAS SOUS 10501 HAS SOUPS 10117 WITH SCORE 10196.421
AT ITER 4578 NEW BEST:: SOT 117793 SOS 79397 HAS SOPS 49171 HAS SOUS 10495 HAS SOUPS 10111 WITH SCORE 10190.397
AT ITER 4583 NEW BEST:: SOT 117800 SOS 79400 HAS SOPS 49170 HAS SOUS 10487 HAS SOUPS 10103 WITH SCORE 10182.4
AT ITER 4584 NEW BEST:: SOT 117796 SOS 79393 HAS SOPS 49162 HAS SOUS 10479 HAS SOUPS 10095 WITH SCORE 10174.393
AT ITER 4586 NEW BEST:: SOT 117796 SOS 79384 HAS SOPS 49156 HAS SOUS 10476 HAS SOUPS 10092 WITH SCORE 10171.384
AT ITER 4625 NEW BEST:: SOT 117785 SOS 79380 HAS SOPS 49148 HAS SOUS 10475 HAS SOUPS 10091 WITH SCORE 10170.38
AT ITER 4674 NEW BEST:: SOT 117784 SOS 79379 HAS SOPS 49146 HAS SOUS 10473 HAS SOUPS 10089 WITH SCORE 10168.379
AT ITER 4701 NEW BEST:: SOT 117775 SOS 79379 HAS SOPS 49137 HAS SOUS 10464 HAS SOUPS 10080 WITH SCORE 10159.379
AT ITER 4767 NEW BEST:: SOT 117750 SOS 79337 HAS SOPS 49087 HAS SOUS 10414 HAS SOUPS 10030 WITH SCORE 10109.337
AT ITER 4773 NEW BEST:: SOT 117762 SOS 79338 HAS SOPS 49089 HAS SOUS 10405 HAS SOUPS 10021 WITH SCORE 10100.338
AT ITER 4800 NEW BEST:: SOT 117748 SOS 79302 HAS SOPS 49061 HAS SOUS 10376 HAS SOUPS 9992 WITH SCORE 10071.302
AT ITER 4822 NEW BEST:: SOT 117720 SOS 79241 HAS SOPS 49005 HAS SOUS 10316 HAS SOUPS 9932 WITH SCORE 10011.241
AT ITER 4862 NEW BEST:: SOT 117718 SOS 79239 HAS SOPS 49005 HAS SOUS 10316 HAS SOUPS 9932 WITH SCORE 10011.239
AT ITER 4883 NEW BEST:: SOT 117710 SOS 79231 HAS SOPS 48997 HAS SOUS 10312 HAS SOUPS 9928 WITH SCORE 10007.231
AT ITER 4910 NEW BEST:: SOT 117722 SOS 79232 HAS SOPS 48998 HAS SOUS 10294 HAS SOUPS 9910 WITH SCORE 9989.232
AT ITER 4943 NEW BEST:: SOT 117676 SOS 79194 HAS SOPS 48933 HAS SOUS 10256 HAS SOUPS 9872 WITH SCORE 9951.194
AT ITER 4958 NEW BEST:: SOT 117651 SOS 79144 HAS SOPS 48883 HAS SOUS 10231 HAS SOUPS 9847 WITH SCORE 9926.144
AT ITER 4990 NEW BEST:: SOT 117650 SOS 79142 HAS SOPS 48881 HAS SOUS 10230 HAS SOUPS 9846 WITH SCORE 9925.142
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: FlexibleBarrier-PT-18a-CTLCardinality-00 ( potential( ( 1 ) <= (tk(P201)) ) | ( potential( (tk(P187)) <= (tk(P202)) ) & (! (EF(potential( ( 3 ) <= (tk(P142)) )))) ) )
PROPERTY: FlexibleBarrier-PT-18a-CTLCardinality-01 ( (! potential( ( 3 ) <= (tk(P174)) )) & (AG( (! ( potential( ( 2 ) <= (tk(P111)) ) | potential( ( 3 ) <= (tk(P178)) ) )))) )
PROPERTY: FlexibleBarrier-PT-18a-CTLCardinality-02 (EU( potential( (tk(P93)) <= (tk(P45)) ),potential( ( 3 ) <= (tk(P183)) ) ))
PROPERTY: FlexibleBarrier-PT-18a-CTLCardinality-03 (EF(( (AX( potential( ( 2 ) <= (tk(P5)) ))) | (EX( potential( ( 3 ) <= (tk(P184)) ))) )))
PROPERTY: FlexibleBarrier-PT-18a-CTLCardinality-04 (AU( ( (! potential( ( 2 ) <= (tk(P173)) )) | (! potential( ( 3 ) <= (tk(P31)) )) ),(AG( potential( (tk(P184)) <= (tk(P4)) ))) ))
PROPERTY: FlexibleBarrier-PT-18a-CTLCardinality-05 ( ( ( potential( (tk(P143)) <= (tk(P26)) ) | ( potential( (tk(P16)) <= (tk(P124)) ) & potential( (tk(P144)) <= (tk(P67)) ) ) ) | (! (AX( potential( ( 1 ) <= (tk(P203)) )))) ) & ( (! ( ( potential( (tk(P105)) <= (tk(P87)) ) | potential( ( 1 ) <= (tk(P98)) ) ) & (! potential( ( 1 ) <= (tk(P164)) )) )) | (EU( potential( (tk(P4)) <= (tk(P48)) ),potential( ( 3 ) <= (tk(P163)) ) )) ) )
PROPERTY: FlexibleBarrier-PT-18a-CTLCardinality-06 (AG( potential( (tk(P166)) <= (tk(P219)) )))
PROPERTY: FlexibleBarrier-PT-18a-CTLCardinality-07 (AG( (EF(potential( (tk(P109)) <= (tk(P137)) )))))
PROPERTY: FlexibleBarrier-PT-18a-CTLCardinality-08 (AU( (AG( potential( ( 3 ) <= (tk(P198)) ))),(EF(potential( ( 2 ) <= (tk(P182)) ))) ))
PROPERTY: FlexibleBarrier-PT-18a-CTLCardinality-09 (! (AG( (! ( potential( (tk(P27)) <= (tk(P103)) ) & potential( ( 2 ) <= (tk(P10)) ) )))))
PROPERTY: FlexibleBarrier-PT-18a-CTLCardinality-10 (AU( (! ( potential( ( 2 ) <= (tk(P50)) ) & potential( ( 1 ) <= (tk(P89)) ) )),(AG( potential( (tk(P67)) <= (tk(P41)) ))) ))
PROPERTY: FlexibleBarrier-PT-18a-CTLCardinality-11 (EF((AF(potential( ( 3 ) <= (tk(P148)) )))))
PROPERTY: FlexibleBarrier-PT-18a-CTLCardinality-12 (AG( ( ( potential( ( 2 ) <= (tk(P155)) ) | potential( (tk(P21)) <= (tk(P127)) ) ) & (! (! potential( (tk(P112)) <= (tk(P13)) ))) )))
PROPERTY: FlexibleBarrier-PT-18a-CTLCardinality-13 (! ( (EF((! potential( (tk(P213)) <= (tk(P190)) )))) | potential( ( 1 ) <= (tk(P10)) ) ))
PROPERTY: FlexibleBarrier-PT-18a-CTLCardinality-14 (EU( (EG( potential( (tk(P172)) <= (tk(P29)) ))),(! potential( (tk(P159)) <= (tk(P131)) )) ))
PROPERTY: FlexibleBarrier-PT-18a-CTLCardinality-15 (AX( (EF(( potential( ( 3 ) <= (tk(P8)) ) & potential( (tk(P21)) <= (tk(P74)) ) )))))
FORMULA FlexibleBarrier-PT-18a-CTLCardinality-00 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA FlexibleBarrier-PT-18a-CTLCardinality-01 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA FlexibleBarrier-PT-18a-CTLCardinality-02 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS

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="FlexibleBarrier-PT-18a"
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 FlexibleBarrier-PT-18a, 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 r078-smll-158922972500371"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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