Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897680300691.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is CSRepetitions-PT-07, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680300691
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.7M
-rw-r--r-- 1 mcc users 47K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 119K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 81K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 252K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Apr 27 15:14 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 94K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 245K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 81K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 265K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 83K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 207K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 117K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 352K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.8K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 9.7K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 3 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 716K Apr 27 15:14 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 CSRepetitions-PT-07-CTLCardinality-00
FORMULA_NAME CSRepetitions-PT-07-CTLCardinality-01
FORMULA_NAME CSRepetitions-PT-07-CTLCardinality-02
FORMULA_NAME CSRepetitions-PT-07-CTLCardinality-03
FORMULA_NAME CSRepetitions-PT-07-CTLCardinality-04
FORMULA_NAME CSRepetitions-PT-07-CTLCardinality-05
FORMULA_NAME CSRepetitions-PT-07-CTLCardinality-06
FORMULA_NAME CSRepetitions-PT-07-CTLCardinality-07
FORMULA_NAME CSRepetitions-PT-07-CTLCardinality-08
FORMULA_NAME CSRepetitions-PT-07-CTLCardinality-09
FORMULA_NAME CSRepetitions-PT-07-CTLCardinality-10
FORMULA_NAME CSRepetitions-PT-07-CTLCardinality-11
FORMULA_NAME CSRepetitions-PT-07-CTLCardinality-12
FORMULA_NAME CSRepetitions-PT-07-CTLCardinality-13
FORMULA_NAME CSRepetitions-PT-07-CTLCardinality-14
FORMULA_NAME CSRepetitions-PT-07-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590869259059

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CSRepetitions (PT), instance 07
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: 498 places, 833 transitions, 3087 arcs.
AT ITER 0 NEW BEST:: SOT 322939 SOS 307315 HAS SOPS 305011 HAS SOUS 277891 HAS SOUPS 275587 WITH SCORE 275894.315
AT ITER 3 NEW BEST:: SOT 323286 SOS 307422 HAS SOPS 305166 HAS SOUS 277486 HAS SOUPS 275230 WITH SCORE 275537.422
AT ITER 5 NEW BEST:: SOT 323253 SOS 307389 HAS SOPS 305133 HAS SOUS 277453 HAS SOUPS 275197 WITH SCORE 275504.389
AT ITER 6 NEW BEST:: SOT 323279 SOS 306949 HAS SOPS 304460 HAS SOUS 275615 HAS SOUPS 273126 WITH SCORE 273432.949
AT ITER 7 NEW BEST:: SOT 323496 SOS 306968 HAS SOPS 304527 HAS SOUS 275059 HAS SOUPS 272618 WITH SCORE 272924.968
AT ITER 13 NEW BEST:: SOT 323441 SOS 306913 HAS SOPS 304472 HAS SOUS 275004 HAS SOUPS 272563 WITH SCORE 272869.913
AT ITER 15 NEW BEST:: SOT 323413 SOS 306645 HAS SOPS 304252 HAS SOUS 274180 HAS SOUPS 271787 WITH SCORE 272093.645
AT ITER 16 NEW BEST:: SOT 323851 SOS 306887 HAS SOPS 304542 HAS SOUS 273847 HAS SOUPS 271502 WITH SCORE 271808.887
AT ITER 18 NEW BEST:: SOT 323851 SOS 306789 HAS SOPS 304395 HAS SOUS 273455 HAS SOUPS 271061 WITH SCORE 271367.789
AT ITER 20 NEW BEST:: SOT 324493 SOS 307191 HAS SOPS 304845 HAS SOUS 273359 HAS SOUPS 271013 WITH SCORE 271320.191
AT ITER 23 NEW BEST:: SOT 324502 SOS 306909 HAS SOPS 304380 HAS SOUS 272461 HAS SOUPS 269932 WITH SCORE 270238.909
AT ITER 26 NEW BEST:: SOT 324440 SOS 302501 HAS SOPS 300020 HAS SOUS 271309 HAS SOUPS 268828 WITH SCORE 269130.501
AT ITER 27 NEW BEST:: SOT 324486 SOS 302311 HAS SOPS 299714 HAS SOUS 270431 HAS SOUPS 267834 WITH SCORE 268136.311
AT ITER 29 NEW BEST:: SOT 324477 SOS 302302 HAS SOPS 299705 HAS SOUS 270422 HAS SOUPS 267825 WITH SCORE 268127.302
AT ITER 31 NEW BEST:: SOT 324138 SOS 301963 HAS SOPS 299366 HAS SOUS 270083 HAS SOUPS 267486 WITH SCORE 267787.963
AT ITER 32 NEW BEST:: SOT 324081 SOS 301867 HAS SOPS 299366 HAS SOUS 269987 HAS SOUPS 267486 WITH SCORE 267787.867
AT ITER 33 NEW BEST:: SOT 323949 SOS 301693 HAS SOPS 299192 HAS SOUS 269815 HAS SOUPS 267314 WITH SCORE 267615.693
AT ITER 35 NEW BEST:: SOT 323995 SOS 301475 HAS SOPS 298843 HAS SOUS 268929 HAS SOUPS 266297 WITH SCORE 266598.475
AT ITER 40 NEW BEST:: SOT 324164 SOS 301382 HAS SOPS 298798 HAS SOUS 268360 HAS SOUPS 265776 WITH SCORE 266077.382
AT ITER 41 NEW BEST:: SOT 324162 SOS 301044 HAS SOPS 298557 HAS SOUS 267586 HAS SOUPS 265099 WITH SCORE 265400.044
AT ITER 44 NEW BEST:: SOT 324489 SOS 300791 HAS SOPS 297977 HAS SOUS 265907 HAS SOUPS 263093 WITH SCORE 263393.791
AT ITER 45 NEW BEST:: SOT 324511 SOS 300563 HAS SOPS 297624 HAS SOUS 264929 HAS SOUPS 261990 WITH SCORE 262290.563
AT ITER 47 NEW BEST:: SOT 324511 SOS 300217 HAS SOPS 297105 HAS SOUS 263718 HAS SOUPS 260606 WITH SCORE 260906.217
AT ITER 50 NEW BEST:: SOT 324772 SOS 300197 HAS SOPS 297133 HAS SOUS 263264 HAS SOUPS 260200 WITH SCORE 260500.197
AT ITER 55 NEW BEST:: SOT 324797 SOS 299800 HAS SOPS 296525 HAS SOUS 261812 HAS SOUPS 258537 WITH SCORE 258836.8
AT ITER 57 NEW BEST:: SOT 324749 SOS 299752 HAS SOPS 296525 HAS SOUS 261764 HAS SOUPS 258537 WITH SCORE 258836.752
AT ITER 58 NEW BEST:: SOT 324771 SOS 299412 HAS SOPS 296004 HAS SOUS 260338 HAS SOUPS 256930 WITH SCORE 257229.412
AT ITER 59 NEW BEST:: SOT 324771 SOS 298962 HAS SOPS 295554 HAS SOUS 258763 HAS SOUPS 255355 WITH SCORE 255653.962
AT ITER 60 NEW BEST:: SOT 324771 SOS 298914 HAS SOPS 295481 HAS SOUS 258616 HAS SOUPS 255183 WITH SCORE 255481.914
AT ITER 63 NEW BEST:: SOT 324818 SOS 298469 HAS SOPS 294790 HAS SOUS 257165 HAS SOUPS 253486 WITH SCORE 253784.469
AT ITER 69 NEW BEST:: SOT 324802 SOS 298437 HAS SOPS 294790 HAS SOUS 257133 HAS SOUPS 253486 WITH SCORE 253784.437
AT ITER 74 NEW BEST:: SOT 324802 SOS 298107 HAS SOPS 294292 HAS SOUS 256011 HAS SOUPS 252196 WITH SCORE 252494.107
AT ITER 75 NEW BEST:: SOT 325100 SOS 297949 HAS SOPS 293836 HAS SOUS 255306 HAS SOUPS 251193 WITH SCORE 251490.949
AT ITER 76 NEW BEST:: SOT 325078 SOS 297927 HAS SOPS 293814 HAS SOUS 255284 HAS SOUPS 251171 WITH SCORE 251468.927
AT ITER 77 NEW BEST:: SOT 325078 SOS 297675 HAS SOPS 293610 HAS SOUS 254759 HAS SOUPS 250694 WITH SCORE 250991.675
AT ITER 78 NEW BEST:: SOT 325078 SOS 297675 HAS SOPS 293610 HAS SOUS 254681 HAS SOUPS 250616 WITH SCORE 250913.675
AT ITER 83 NEW BEST:: SOT 325098 SOS 297695 HAS SOPS 293630 HAS SOUS 254446 HAS SOUPS 250381 WITH SCORE 250678.695
AT ITER 86 NEW BEST:: SOT 324843 SOS 297440 HAS SOPS 293375 HAS SOUS 254191 HAS SOUPS 250126 WITH SCORE 250423.44
AT ITER 89 NEW BEST:: SOT 324843 SOS 297420 HAS SOPS 293355 HAS SOUS 254168 HAS SOUPS 250103 WITH SCORE 250400.42
AT ITER 90 NEW BEST:: SOT 324828 SOS 297405 HAS SOPS 293340 HAS SOUS 254153 HAS SOUPS 250088 WITH SCORE 250385.405
AT ITER 94 NEW BEST:: SOT 325059 SOS 297379 HAS SOPS 293362 HAS SOUS 253619 HAS SOUPS 249602 WITH SCORE 249899.379
AT ITER 96 NEW BEST:: SOT 325059 SOS 297379 HAS SOPS 293362 HAS SOUS 253615 HAS SOUPS 249598 WITH SCORE 249895.379
AT ITER 97 NEW BEST:: SOT 324964 SOS 297240 HAS SOPS 293223 HAS SOUS 253433 HAS SOUPS 249416 WITH SCORE 249713.24
AT ITER 102 NEW BEST:: SOT 322398 SOS 294828 HAS SOPS 290811 HAS SOUS 250984 HAS SOUPS 246967 WITH SCORE 247261.828
AT ITER 108 NEW BEST:: SOT 322398 SOS 294828 HAS SOPS 290811 HAS SOUS 250966 HAS SOUPS 246949 WITH SCORE 247243.828
AT ITER 109 NEW BEST:: SOT 322398 SOS 294504 HAS SOPS 290284 HAS SOUS 249994 HAS SOUPS 245774 WITH SCORE 246068.504
AT ITER 110 NEW BEST:: SOT 322664 SOS 294271 HAS SOPS 289739 HAS SOUS 248745 HAS SOUPS 244213 WITH SCORE 244507.271
AT ITER 112 NEW BEST:: SOT 322664 SOS 294271 HAS SOPS 289739 HAS SOUS 248658 HAS SOUPS 244126 WITH SCORE 244420.271
AT ITER 114 NEW BEST:: SOT 322695 SOS 294114 HAS SOPS 289630 HAS SOUS 248320 HAS SOUPS 243836 WITH SCORE 244130.114
AT ITER 117 NEW BEST:: SOT 322668 SOS 293755 HAS SOPS 289388 HAS SOUS 247548 HAS SOUPS 243181 WITH SCORE 243474.755
AT ITER 119 NEW BEST:: SOT 256160 SOS 235044 HAS SOPS 234857 HAS SOUS 179423 HAS SOUPS 179236 WITH SCORE 179471.044
AT ITER 124 NEW BEST:: SOT 256127 SOS 234969 HAS SOPS 234782 HAS SOUS 179222 HAS SOUPS 179035 WITH SCORE 179269.969
AT ITER 125 NEW BEST:: SOT 263748 SOS 241227 HAS SOPS 241040 HAS SOUS 168661 HAS SOUPS 168474 WITH SCORE 168715.227
AT ITER 128 NEW BEST:: SOT 279585 SOS 253196 HAS SOPS 253009 HAS SOUS 165957 HAS SOUPS 165770 WITH SCORE 166023.196
AT ITER 132 NEW BEST:: SOT 279421 SOS 253032 HAS SOPS 252845 HAS SOUS 165793 HAS SOUPS 165606 WITH SCORE 165859.032
AT ITER 133 NEW BEST:: SOT 279235 SOS 252846 HAS SOPS 252659 HAS SOUS 165601 HAS SOUPS 165414 WITH SCORE 165666.846
AT ITER 135 NEW BEST:: SOT 279216 SOS 252751 HAS SOPS 252564 HAS SOUS 165487 HAS SOUPS 165300 WITH SCORE 165552.751
AT ITER 138 NEW BEST:: SOT 295613 SOS 265345 HAS SOPS 265158 HAS SOUS 161902 HAS SOUPS 161715 WITH SCORE 161980.345
AT ITER 143 NEW BEST:: SOT 295610 SOS 265327 HAS SOPS 265140 HAS SOUS 161884 HAS SOUPS 161697 WITH SCORE 161962.327
AT ITER 156 NEW BEST:: SOT 295496 SOS 265213 HAS SOPS 265026 HAS SOUS 161770 HAS SOUPS 161583 WITH SCORE 161848.213
AT ITER 160 NEW BEST:: SOT 295781 SOS 265114 HAS SOPS 264927 HAS SOUS 161670 HAS SOUPS 161483 WITH SCORE 161748.114
AT ITER 161 NEW BEST:: SOT 295954 SOS 264562 HAS SOPS 264375 HAS SOUS 161132 HAS SOUPS 160945 WITH SCORE 161209.562
AT ITER 163 NEW BEST:: SOT 295868 SOS 264476 HAS SOPS 264289 HAS SOUS 161046 HAS SOUPS 160859 WITH SCORE 161123.476
AT ITER 164 NEW BEST:: SOT 295879 SOS 263999 HAS SOPS 263820 HAS SOUS 160625 HAS SOUPS 160446 WITH SCORE 160709.999
AT ITER 169 NEW BEST:: SOT 295722 SOS 263842 HAS SOPS 263663 HAS SOUS 160311 HAS SOUPS 160132 WITH SCORE 160395.842
AT ITER 173 NEW BEST:: SOT 295607 SOS 263727 HAS SOPS 263548 HAS SOUS 160012 HAS SOUPS 159833 WITH SCORE 160096.727
AT ITER 174 NEW BEST:: SOT 295511 SOS 263727 HAS SOPS 263548 HAS SOUS 159821 HAS SOUPS 159642 WITH SCORE 159905.727
AT ITER 183 NEW BEST:: SOT 295429 SOS 263645 HAS SOPS 263466 HAS SOUS 159739 HAS SOUPS 159560 WITH SCORE 159823.645
AT ITER 184 NEW BEST:: SOT 295590 SOS 263330 HAS SOPS 263171 HAS SOUS 159608 HAS SOUPS 159449 WITH SCORE 159712.33
AT ITER 186 NEW BEST:: SOT 295695 SOS 263578 HAS SOPS 263419 HAS SOUS 159441 HAS SOUPS 159282 WITH SCORE 159545.578
AT ITER 188 NEW BEST:: SOT 295628 SOS 263286 HAS SOPS 263127 HAS SOUS 159192 HAS SOUPS 159033 WITH SCORE 159296.286
AT ITER 191 NEW BEST:: SOT 296057 SOS 259897 HAS SOPS 259738 HAS SOUS 153464 HAS SOUPS 153305 WITH SCORE 153564.897
AT ITER 194 NEW BEST:: SOT 296002 SOS 259787 HAS SOPS 259628 HAS SOUS 153299 HAS SOUPS 153140 WITH SCORE 153399.787
AT ITER 197 NEW BEST:: SOT 295935 SOS 260130 HAS SOPS 259971 HAS SOUS 153240 HAS SOUPS 153081 WITH SCORE 153341.13
AT ITER 198 NEW BEST:: SOT 296121 SOS 260247 HAS SOPS 260088 HAS SOUS 153207 HAS SOUPS 153048 WITH SCORE 153308.247
AT ITER 199 NEW BEST:: SOT 283247 SOS 247650 HAS SOPS 247491 HAS SOUS 145884 HAS SOUPS 145725 WITH SCORE 145972.65
AT ITER 202 NEW BEST:: SOT 282832 SOS 247235 HAS SOPS 247076 HAS SOUS 145405 HAS SOUPS 145246 WITH SCORE 145493.235
AT ITER 208 NEW BEST:: SOT 282721 SOS 247115 HAS SOPS 246956 HAS SOUS 145183 HAS SOUPS 145024 WITH SCORE 145271.115
AT ITER 211 NEW BEST:: SOT 282513 SOS 246907 HAS SOPS 246748 HAS SOUS 144975 HAS SOUPS 144816 WITH SCORE 145062.907
AT ITER 215 NEW BEST:: SOT 282345 SOS 246739 HAS SOPS 246580 HAS SOUS 144639 HAS SOUPS 144480 WITH SCORE 144726.739
AT ITER 216 NEW BEST:: SOT 282331 SOS 246725 HAS SOPS 246566 HAS SOUS 144625 HAS SOUPS 144466 WITH SCORE 144712.725
AT ITER 217 NEW BEST:: SOT 282199 SOS 246593 HAS SOPS 246434 HAS SOUS 144427 HAS SOUPS 144268 WITH SCORE 144514.593
AT ITER 222 NEW BEST:: SOT 282059 SOS 246130 HAS SOPS 245971 HAS SOUS 144147 HAS SOUPS 143988 WITH SCORE 144234.13
AT ITER 223 NEW BEST:: SOT 282153 SOS 245270 HAS SOPS 245111 HAS SOUS 143622 HAS SOUPS 143463 WITH SCORE 143708.27
AT ITER 227 NEW BEST:: SOT 282159 SOS 245262 HAS SOPS 245120 HAS SOUS 143580 HAS SOUPS 143438 WITH SCORE 143683.262
AT ITER 229 NEW BEST:: SOT 282086 SOS 244779 HAS SOPS 244637 HAS SOUS 143235 HAS SOUPS 143093 WITH SCORE 143337.779
AT ITER 230 NEW BEST:: SOT 281984 SOS 244677 HAS SOPS 244535 HAS SOUS 143123 HAS SOUPS 142981 WITH SCORE 143225.677
AT ITER 234 NEW BEST:: SOT 281889 SOS 244114 HAS SOPS 243972 HAS SOUS 142706 HAS SOUPS 142564 WITH SCORE 142808.114
AT ITER 237 NEW BEST:: SOT 281828 SOS 244053 HAS SOPS 243911 HAS SOUS 142584 HAS SOUPS 142442 WITH SCORE 142686.053
AT ITER 238 NEW BEST:: SOT 281354 SOS 243555 HAS SOPS 243413 HAS SOUS 141742 HAS SOUPS 141600 WITH SCORE 141843.555
AT ITER 239 NEW BEST:: SOT 281354 SOS 243388 HAS SOPS 243246 HAS SOUS 141729 HAS SOUPS 141587 WITH SCORE 141830.388
AT ITER 253 NEW BEST:: SOT 281318 SOS 243352 HAS SOPS 243210 HAS SOUS 141634 HAS SOUPS 141492 WITH SCORE 141735.352
AT ITER 254 NEW BEST:: SOT 281318 SOS 243291 HAS SOPS 243149 HAS SOUS 141599 HAS SOUPS 141457 WITH SCORE 141700.291
AT ITER 257 NEW BEST:: SOT 281286 SOS 243099 HAS SOPS 242957 HAS SOUS 141567 HAS SOUPS 141425 WITH SCORE 141668.099
AT ITER 258 NEW BEST:: SOT 281041 SOS 242493 HAS SOPS 242377 HAS SOUS 141407 HAS SOUPS 141291 WITH SCORE 141533.493
AT ITER 259 NEW BEST:: SOT 281041 SOS 242493 HAS SOPS 242377 HAS SOUS 141401 HAS SOUPS 141285 WITH SCORE 141527.493
AT ITER 260 NEW BEST:: SOT 280997 SOS 242449 HAS SOPS 242333 HAS SOUS 141357 HAS SOUPS 141241 WITH SCORE 141483.449
AT ITER 271 NEW BEST:: SOT 281515 SOS 242637 HAS SOPS 242521 HAS SOUS 140426 HAS SOUPS 140310 WITH SCORE 140552.637
AT ITER 273 NEW BEST:: SOT 281529 SOS 242171 HAS SOPS 242055 HAS SOUS 140150 HAS SOUPS 140034 WITH SCORE 140276.171
AT ITER 274 NEW BEST:: SOT 281537 SOS 241867 HAS SOPS 241751 HAS SOUS 139897 HAS SOUPS 139781 WITH SCORE 140022.867
AT ITER 275 NEW BEST:: SOT 281537 SOS 241853 HAS SOPS 241737 HAS SOUS 139897 HAS SOUPS 139781 WITH SCORE 140022.853
AT ITER 276 NEW BEST:: SOT 281735 SOS 241866 HAS SOPS 241750 HAS SOUS 139093 HAS SOUPS 138977 WITH SCORE 139218.866
AT ITER 277 NEW BEST:: SOT 281891 SOS 241944 HAS SOPS 241828 HAS SOUS 139078 HAS SOUPS 138962 WITH SCORE 139203.944
AT ITER 284 NEW BEST:: SOT 281894 SOS 241723 HAS SOPS 241607 HAS SOUS 137969 HAS SOUPS 137853 WITH SCORE 138094.723
AT ITER 286 NEW BEST:: SOT 281810 SOS 241639 HAS SOPS 241523 HAS SOUS 137801 HAS SOUPS 137685 WITH SCORE 137926.639
AT ITER 290 NEW BEST:: SOT 281627 SOS 241239 HAS SOPS 241123 HAS SOUS 136361 HAS SOUPS 136245 WITH SCORE 136486.239
AT ITER 292 NEW BEST:: SOT 282391 SOS 241692 HAS SOPS 241576 HAS SOUS 136333 HAS SOUPS 136217 WITH SCORE 136458.692
AT ITER 293 NEW BEST:: SOT 282243 SOS 241544 HAS SOPS 241428 HAS SOUS 136037 HAS SOUPS 135921 WITH SCORE 136162.544
AT ITER 295 NEW BEST:: SOT 282095 SOS 241396 HAS SOPS 241280 HAS SOUS 135744 HAS SOUPS 135628 WITH SCORE 135869.396
AT ITER 305 NEW BEST:: SOT 281852 SOS 241008 HAS SOPS 240892 HAS SOUS 135187 HAS SOUPS 135071 WITH SCORE 135312.008
AT ITER 306 NEW BEST:: SOT 281944 SOS 240969 HAS SOPS 240853 HAS SOUS 134498 HAS SOUPS 134382 WITH SCORE 134622.969
AT ITER 314 NEW BEST:: SOT 281944 SOS 241065 HAS SOPS 240949 HAS SOUS 134342 HAS SOUPS 134226 WITH SCORE 134467.065
AT ITER 317 NEW BEST:: SOT 281806 SOS 240975 HAS SOPS 240859 HAS SOUS 134142 HAS SOUPS 134026 WITH SCORE 134266.975
AT ITER 321 NEW BEST:: SOT 281759 SOS 241042 HAS SOPS 240926 HAS SOUS 134093 HAS SOUPS 133977 WITH SCORE 134218.042
AT ITER 324 NEW BEST:: SOT 281685 SOS 240517 HAS SOPS 240401 HAS SOUS 133611 HAS SOUPS 133495 WITH SCORE 133735.517
AT ITER 337 NEW BEST:: SOT 281668 SOS 240500 HAS SOPS 240384 HAS SOUS 133607 HAS SOUPS 133491 WITH SCORE 133731.5
AT ITER 339 NEW BEST:: SOT 281972 SOS 240228 HAS SOPS 240112 HAS SOUS 133572 HAS SOUPS 133456 WITH SCORE 133696.228
AT ITER 340 NEW BEST:: SOT 281833 SOS 240089 HAS SOPS 239973 HAS SOUS 133338 HAS SOUPS 133222 WITH SCORE 133462.089
AT ITER 343 NEW BEST:: SOT 281823 SOS 240079 HAS SOPS 239963 HAS SOUS 133318 HAS SOUPS 133202 WITH SCORE 133442.079
AT ITER 344 NEW BEST:: SOT 281823 SOS 240079 HAS SOPS 239963 HAS SOUS 133314 HAS SOUPS 133198 WITH SCORE 133438.079
AT ITER 348 NEW BEST:: SOT 281769 SOS 240025 HAS SOPS 239909 HAS SOUS 133260 HAS SOUPS 133144 WITH SCORE 133384.025
AT ITER 349 NEW BEST:: SOT 282163 SOS 240282 HAS SOPS 240166 HAS SOUS 133233 HAS SOUPS 133117 WITH SCORE 133357.282
AT ITER 352 NEW BEST:: SOT 282015 SOS 240134 HAS SOPS 240018 HAS SOUS 133005 HAS SOUPS 132889 WITH SCORE 133129.134
AT ITER 353 NEW BEST:: SOT 281661 SOS 239780 HAS SOPS 239664 HAS SOUS 132429 HAS SOUPS 132313 WITH SCORE 132552.78
AT ITER 355 NEW BEST:: SOT 281661 SOS 239743 HAS SOPS 239627 HAS SOUS 132281 HAS SOUPS 132165 WITH SCORE 132404.743
AT ITER 357 NEW BEST:: SOT 282083 SOS 239837 HAS SOPS 239709 HAS SOUS 132175 HAS SOUPS 132047 WITH SCORE 132286.837
AT ITER 358 NEW BEST:: SOT 281901 SOS 239655 HAS SOPS 239527 HAS SOUS 131857 HAS SOUPS 131729 WITH SCORE 131968.655
AT ITER 360 NEW BEST:: SOT 281810 SOS 239564 HAS SOPS 239436 HAS SOUS 131766 HAS SOUPS 131638 WITH SCORE 131877.564
AT ITER 364 NEW BEST:: SOT 281848 SOS 239502 HAS SOPS 239374 HAS SOUS 131755 HAS SOUPS 131627 WITH SCORE 131866.502
AT ITER 366 NEW BEST:: SOT 281752 SOS 239430 HAS SOPS 239302 HAS SOUS 131475 HAS SOUPS 131347 WITH SCORE 131586.43
AT ITER 373 NEW BEST:: SOT 281644 SOS 239322 HAS SOPS 239194 HAS SOUS 131333 HAS SOUPS 131205 WITH SCORE 131444.322
AT ITER 376 NEW BEST:: SOT 281554 SOS 239232 HAS SOPS 239104 HAS SOUS 131165 HAS SOUPS 131037 WITH SCORE 131276.232
AT ITER 379 NEW BEST:: SOT 281350 SOS 239028 HAS SOPS 238900 HAS SOUS 130947 HAS SOUPS 130819 WITH SCORE 131058.028
AT ITER 382 NEW BEST:: SOT 281238 SOS 238916 HAS SOPS 238788 HAS SOUS 130831 HAS SOUPS 130703 WITH SCORE 130941.916
AT ITER 385 NEW BEST:: SOT 281216 SOS 238894 HAS SOPS 238766 HAS SOUS 130736 HAS SOUPS 130608 WITH SCORE 130846.894
AT ITER 389 NEW BEST:: SOT 280997 SOS 238675 HAS SOPS 238547 HAS SOUS 130366 HAS SOUPS 130238 WITH SCORE 130476.675
AT ITER 390 NEW BEST:: SOT 280977 SOS 238655 HAS SOPS 238527 HAS SOUS 130306 HAS SOUPS 130178 WITH SCORE 130416.655
AT ITER 396 NEW BEST:: SOT 280975 SOS 238653 HAS SOPS 238525 HAS SOUS 130304 HAS SOUPS 130176 WITH SCORE 130414.653
AT ITER 399 NEW BEST:: SOT 280985 SOS 238106 HAS SOPS 237978 HAS SOUS 130057 HAS SOUPS 129929 WITH SCORE 130167.106
AT ITER 404 NEW BEST:: SOT 280852 SOS 237977 HAS SOPS 237849 HAS SOUS 129841 HAS SOUPS 129713 WITH SCORE 129950.977
AT ITER 406 NEW BEST:: SOT 280775 SOS 237900 HAS SOPS 237772 HAS SOUS 129525 HAS SOUPS 129397 WITH SCORE 129634.9
AT ITER 407 NEW BEST:: SOT 280767 SOS 237892 HAS SOPS 237764 HAS SOUS 129517 HAS SOUPS 129389 WITH SCORE 129626.892
AT ITER 408 NEW BEST:: SOT 280679 SOS 237804 HAS SOPS 237676 HAS SOUS 129425 HAS SOUPS 129297 WITH SCORE 129534.804
AT ITER 410 NEW BEST:: SOT 280679 SOS 237804 HAS SOPS 237676 HAS SOUS 129422 HAS SOUPS 129294 WITH SCORE 129531.804
AT ITER 412 NEW BEST:: SOT 280679 SOS 237692 HAS SOPS 237564 HAS SOUS 129418 HAS SOUPS 129290 WITH SCORE 129527.692
AT ITER 413 NEW BEST:: SOT 287207 SOS 243827 HAS SOPS 243699 HAS SOUS 129077 HAS SOUPS 128949 WITH SCORE 129192.827
AT ITER 414 NEW BEST:: SOT 287017 SOS 244563 HAS SOPS 244435 HAS SOUS 129060 HAS SOUPS 128932 WITH SCORE 129176.563
AT ITER 418 NEW BEST:: SOT 286977 SOS 244548 HAS SOPS 244420 HAS SOUS 129045 HAS SOUPS 128917 WITH SCORE 129161.548
AT ITER 421 NEW BEST:: SOT 286966 SOS 244537 HAS SOPS 244409 HAS SOUS 129012 HAS SOUPS 128884 WITH SCORE 129128.537
AT ITER 422 NEW BEST:: SOT 286966 SOS 244453 HAS SOPS 244325 HAS SOUS 128928 HAS SOUPS 128800 WITH SCORE 129044.453
AT ITER 424 NEW BEST:: SOT 286187 SOS 243862 HAS SOPS 243734 HAS SOUS 128508 HAS SOUPS 128380 WITH SCORE 128623.862
AT ITER 426 NEW BEST:: SOT 286141 SOS 243816 HAS SOPS 243688 HAS SOUS 128416 HAS SOUPS 128288 WITH SCORE 128531.816
AT ITER 430 NEW BEST:: SOT 285926 SOS 243601 HAS SOPS 243473 HAS SOUS 127848 HAS SOUPS 127720 WITH SCORE 127963.601
AT ITER 431 NEW BEST:: SOT 285850 SOS 243525 HAS SOPS 243397 HAS SOUS 127760 HAS SOUPS 127632 WITH SCORE 127875.525
AT ITER 432 NEW BEST:: SOT 285876 SOS 240288 HAS SOPS 240160 HAS SOUS 126884 HAS SOUPS 126756 WITH SCORE 126996.288
AT ITER 434 NEW BEST:: SOT 286110 SOS 239523 HAS SOPS 239395 HAS SOUS 126549 HAS SOUPS 126421 WITH SCORE 126660.523
AT ITER 451 NEW BEST:: SOT 286222 SOS 239021 HAS SOPS 238897 HAS SOUS 126523 HAS SOUPS 126399 WITH SCORE 126638.021
AT ITER 454 NEW BEST:: SOT 286160 SOS 238959 HAS SOPS 238835 HAS SOUS 126417 HAS SOUPS 126293 WITH SCORE 126531.959
AT ITER 455 NEW BEST:: SOT 286070 SOS 237745 HAS SOPS 237621 HAS SOUS 125550 HAS SOUPS 125426 WITH SCORE 125663.745
AT ITER 456 NEW BEST:: SOT 285764 SOS 237541 HAS SOPS 237417 HAS SOUS 125346 HAS SOUPS 125222 WITH SCORE 125459.541
AT ITER 461 NEW BEST:: SOT 285706 SOS 237512 HAS SOPS 237388 HAS SOUS 125346 HAS SOUPS 125222 WITH SCORE 125459.512
AT ITER 473 NEW BEST:: SOT 285712 SOS 237710 HAS SOPS 237586 HAS SOUS 125310 HAS SOUPS 125186 WITH SCORE 125423.71
AT ITER 474 NEW BEST:: SOT 285482 SOS 237480 HAS SOPS 237356 HAS SOUS 124850 HAS SOUPS 124726 WITH SCORE 124963.48
AT ITER 478 NEW BEST:: SOT 285442 SOS 237440 HAS SOPS 237316 HAS SOUS 124770 HAS SOUPS 124646 WITH SCORE 124883.44
AT ITER 480 NEW BEST:: SOT 285156 SOS 237154 HAS SOPS 237030 HAS SOUS 124198 HAS SOUPS 124074 WITH SCORE 124311.154
AT ITER 483 NEW BEST:: SOT 284975 SOS 237005 HAS SOPS 236881 HAS SOUS 124057 HAS SOUPS 123933 WITH SCORE 124170.005
AT ITER 484 NEW BEST:: SOT 285038 SOS 237026 HAS SOPS 236902 HAS SOUS 123907 HAS SOUPS 123783 WITH SCORE 124020.026
AT ITER 487 NEW BEST:: SOT 285369 SOS 237155 HAS SOPS 237031 HAS SOUS 123761 HAS SOUPS 123637 WITH SCORE 123874.155
AT ITER 489 NEW BEST:: SOT 285360 SOS 237111 HAS SOPS 236987 HAS SOUS 123743 HAS SOUPS 123619 WITH SCORE 123856.111
AT ITER 491 NEW BEST:: SOT 285360 SOS 236707 HAS SOPS 236583 HAS SOUS 123656 HAS SOUPS 123532 WITH SCORE 123768.707
AT ITER 493 NEW BEST:: SOT 285294 SOS 236641 HAS SOPS 236517 HAS SOUS 123586 HAS SOUPS 123462 WITH SCORE 123698.641
AT ITER 503 NEW BEST:: SOT 285078 SOS 236385 HAS SOPS 236261 HAS SOUS 123330 HAS SOUPS 123206 WITH SCORE 123442.385
AT ITER 504 NEW BEST:: SOT 285123 SOS 236392 HAS SOPS 236268 HAS SOUS 123230 HAS SOUPS 123106 WITH SCORE 123342.392
AT ITER 505 NEW BEST:: SOT 285210 SOS 236433 HAS SOPS 236309 HAS SOUS 123174 HAS SOUPS 123050 WITH SCORE 123286.433
AT ITER 507 NEW BEST:: SOT 285173 SOS 236396 HAS SOPS 236272 HAS SOUS 123137 HAS SOUPS 123013 WITH SCORE 123249.396
AT ITER 509 NEW BEST:: SOT 285173 SOS 236300 HAS SOPS 236176 HAS SOUS 123135 HAS SOUPS 123011 WITH SCORE 123247.3
AT ITER 513 NEW BEST:: SOT 285284 SOS 236179 HAS SOPS 236055 HAS SOUS 122294 HAS SOUPS 122170 WITH SCORE 122406.179
AT ITER 515 NEW BEST:: SOT 285340 SOS 233266 HAS SOPS 233117 HAS SOUS 120803 HAS SOUPS 120654 WITH SCORE 120887.266
AT ITER 517 NEW BEST:: SOT 284977 SOS 233202 HAS SOPS 233053 HAS SOUS 120735 HAS SOUPS 120586 WITH SCORE 120819.202
AT ITER 526 NEW BEST:: SOT 285045 SOS 232410 HAS SOPS 232261 HAS SOUS 120444 HAS SOUPS 120295 WITH SCORE 120527.41
AT ITER 527 NEW BEST:: SOT 284791 SOS 232352 HAS SOPS 232204 HAS SOUS 120267 HAS SOUPS 120119 WITH SCORE 120351.352
AT ITER 530 NEW BEST:: SOT 284802 SOS 231846 HAS SOPS 231716 HAS SOUS 120184 HAS SOUPS 120054 WITH SCORE 120285.846
AT ITER 531 NEW BEST:: SOT 284798 SOS 231842 HAS SOPS 231712 HAS SOUS 120184 HAS SOUPS 120054 WITH SCORE 120285.842
AT ITER 538 NEW BEST:: SOT 284773 SOS 231667 HAS SOPS 231537 HAS SOUS 120084 HAS SOUPS 119954 WITH SCORE 120185.667
AT ITER 539 NEW BEST:: SOT 284769 SOS 231661 HAS SOPS 231531 HAS SOUS 120076 HAS SOUPS 119946 WITH SCORE 120177.661
AT ITER 540 NEW BEST:: SOT 284699 SOS 231591 HAS SOPS 231461 HAS SOUS 120058 HAS SOUPS 119928 WITH SCORE 120159.591
AT ITER 544 NEW BEST:: SOT 284699 SOS 231414 HAS SOPS 231284 HAS SOUS 120058 HAS SOUPS 119928 WITH SCORE 120159.414
AT ITER 549 NEW BEST:: SOT 284683 SOS 231318 HAS SOPS 231188 HAS SOUS 119994 HAS SOUPS 119864 WITH SCORE 120095.318
AT ITER 553 NEW BEST:: SOT 283987 SOS 230857 HAS SOPS 230727 HAS SOUS 119966 HAS SOUPS 119836 WITH SCORE 120066.857
AT ITER 557 NEW BEST:: SOT 283895 SOS 230291 HAS SOPS 230161 HAS SOUS 119688 HAS SOUPS 119558 WITH SCORE 119788.291
AT ITER 562 NEW BEST:: SOT 283727 SOS 229656 HAS SOPS 229526 HAS SOUS 119439 HAS SOUPS 119309 WITH SCORE 119538.656
AT ITER 564 NEW BEST:: SOT 283727 SOS 229724 HAS SOPS 229594 HAS SOUS 119423 HAS SOUPS 119293 WITH SCORE 119522.724
AT ITER 573 NEW BEST:: SOT 277308 SOS 224130 HAS SOPS 224000 HAS SOUS 119164 HAS SOUPS 119034 WITH SCORE 119258.13
AT ITER 574 NEW BEST:: SOT 277150 SOS 223972 HAS SOPS 223842 HAS SOUS 118914 HAS SOUPS 118784 WITH SCORE 119007.972
AT ITER 577 NEW BEST:: SOT 277178 SOS 223860 HAS SOPS 223730 HAS SOUS 118914 HAS SOUPS 118784 WITH SCORE 119007.86
AT ITER 583 NEW BEST:: SOT 277325 SOS 209287 HAS SOPS 208412 HAS SOUS 118957 HAS SOUPS 118082 WITH SCORE 118291.287
AT ITER 586 NEW BEST:: SOT 277387 SOS 208846 HAS SOPS 207995 HAS SOUS 118789 HAS SOUPS 117938 WITH SCORE 118146.846
AT ITER 589 NEW BEST:: SOT 277345 SOS 208804 HAS SOPS 207953 HAS SOUS 118739 HAS SOUPS 117888 WITH SCORE 118096.804
AT ITER 591 NEW BEST:: SOT 276959 SOS 208418 HAS SOPS 207567 HAS SOUS 118121 HAS SOUPS 117270 WITH SCORE 117478.418
AT ITER 592 NEW BEST:: SOT 276888 SOS 207098 HAS SOPS 206247 HAS SOUS 117098 HAS SOUPS 116247 WITH SCORE 116454.098
AT ITER 594 NEW BEST:: SOT 276883 SOS 207032 HAS SOPS 206181 HAS SOUS 117088 HAS SOUPS 116237 WITH SCORE 116444.032
AT ITER 596 NEW BEST:: SOT 277068 SOS 207095 HAS SOPS 206244 HAS SOUS 116907 HAS SOUPS 116056 WITH SCORE 116263.095
AT ITER 600 NEW BEST:: SOT 277063 SOS 207090 HAS SOPS 206239 HAS SOUS 116897 HAS SOUPS 116046 WITH SCORE 116253.09
AT ITER 602 NEW BEST:: SOT 276996 SOS 207085 HAS SOPS 206234 HAS SOUS 116738 HAS SOUPS 115887 WITH SCORE 116094.085
AT ITER 618 NEW BEST:: SOT 277197 SOS 207092 HAS SOPS 206241 HAS SOUS 116560 HAS SOUPS 115709 WITH SCORE 115916.092
AT ITER 620 NEW BEST:: SOT 277107 SOS 207020 HAS SOPS 206169 HAS SOUS 116168 HAS SOUPS 115317 WITH SCORE 115524.02
AT ITER 625 NEW BEST:: SOT 277056 SOS 206990 HAS SOPS 206139 HAS SOUS 116066 HAS SOUPS 115215 WITH SCORE 115421.99
AT ITER 628 NEW BEST:: SOT 276906 SOS 206840 HAS SOPS 205989 HAS SOUS 115888 HAS SOUPS 115037 WITH SCORE 115243.84
AT ITER 629 NEW BEST:: SOT 277396 SOS 207097 HAS SOPS 206246 HAS SOUS 115748 HAS SOUPS 114897 WITH SCORE 115104.097
AT ITER 635 NEW BEST:: SOT 277529 SOS 207138 HAS SOPS 206287 HAS SOUS 115554 HAS SOUPS 114703 WITH SCORE 114910.138
AT ITER 642 NEW BEST:: SOT 277445 SOS 207054 HAS SOPS 206203 HAS SOUS 115386 HAS SOUPS 114535 WITH SCORE 114742.054
AT ITER 646 NEW BEST:: SOT 277232 SOS 206841 HAS SOPS 205990 HAS SOUS 115180 HAS SOUPS 114329 WITH SCORE 114535.841
AT ITER 649 NEW BEST:: SOT 277021 SOS 206630 HAS SOPS 205779 HAS SOUS 114821 HAS SOUPS 113970 WITH SCORE 114176.63
AT ITER 673 NEW BEST:: SOT 276972 SOS 206581 HAS SOPS 205730 HAS SOUS 114696 HAS SOUPS 113845 WITH SCORE 114051.581
AT ITER 675 NEW BEST:: SOT 264369 SOS 195231 HAS SOPS 194380 HAS SOUS 113519 HAS SOUPS 112668 WITH SCORE 112863.231
AT ITER 677 NEW BEST:: SOT 263805 SOS 194667 HAS SOPS 193816 HAS SOUS 112955 HAS SOUPS 112104 WITH SCORE 112298.667
AT ITER 678 NEW BEST:: SOT 263747 SOS 194609 HAS SOPS 193758 HAS SOUS 112839 HAS SOUPS 111988 WITH SCORE 112182.609
AT ITER 679 NEW BEST:: SOT 263737 SOS 194599 HAS SOPS 193748 HAS SOUS 112819 HAS SOUPS 111968 WITH SCORE 112162.599
AT ITER 680 NEW BEST:: SOT 264400 SOS 195089 HAS SOPS 194238 HAS SOUS 112783 HAS SOUPS 111932 WITH SCORE 112127.089
AT ITER 683 NEW BEST:: SOT 264166 SOS 194855 HAS SOPS 194004 HAS SOUS 112373 HAS SOUPS 111522 WITH SCORE 111716.855
AT ITER 688 NEW BEST:: SOT 264164 SOS 194853 HAS SOPS 194002 HAS SOUS 112369 HAS SOUPS 111518 WITH SCORE 111712.853
AT ITER 691 NEW BEST:: SOT 264134 SOS 194823 HAS SOPS 193972 HAS SOUS 112291 HAS SOUPS 111440 WITH SCORE 111634.823
AT ITER 694 NEW BEST:: SOT 263970 SOS 194647 HAS SOPS 193796 HAS SOUS 112027 HAS SOUPS 111176 WITH SCORE 111370.647
AT ITER 696 NEW BEST:: SOT 263545 SOS 194222 HAS SOPS 193371 HAS SOUS 111581 HAS SOUPS 110730 WITH SCORE 110924.222
AT ITER 699 NEW BEST:: SOT 263479 SOS 194178 HAS SOPS 193327 HAS SOUS 111581 HAS SOUPS 110730 WITH SCORE 110924.178
AT ITER 711 NEW BEST:: SOT 263478 SOS 194148 HAS SOPS 193297 HAS SOUS 111566 HAS SOUPS 110715 WITH SCORE 110909.148
AT ITER 712 NEW BEST:: SOT 263322 SOS 193992 HAS SOPS 193141 HAS SOUS 111322 HAS SOUPS 110471 WITH SCORE 110664.992
AT ITER 716 NEW BEST:: SOT 263312 SOS 193982 HAS SOPS 193131 HAS SOUS 111318 HAS SOUPS 110467 WITH SCORE 110660.982
AT ITER 721 NEW BEST:: SOT 263121 SOS 193760 HAS SOPS 192909 HAS SOUS 110936 HAS SOUPS 110085 WITH SCORE 110278.76
AT ITER 724 NEW BEST:: SOT 262979 SOS 193577 HAS SOPS 192726 HAS SOUS 110652 HAS SOUPS 109801 WITH SCORE 109994.577
AT ITER 725 NEW BEST:: SOT 262887 SOS 193509 HAS SOPS 192658 HAS SOUS 110638 HAS SOUPS 109787 WITH SCORE 109980.509
AT ITER 729 NEW BEST:: SOT 262892 SOS 193312 HAS SOPS 192486 HAS SOUS 110512 HAS SOUPS 109686 WITH SCORE 109879.312
AT ITER 733 NEW BEST:: SOT 262804 SOS 193224 HAS SOPS 192398 HAS SOUS 110336 HAS SOUPS 109510 WITH SCORE 109703.224
AT ITER 736 NEW BEST:: SOT 262766 SOS 193085 HAS SOPS 192259 HAS SOUS 110079 HAS SOUPS 109253 WITH SCORE 109446.085
AT ITER 740 NEW BEST:: SOT 262687 SOS 193006 HAS SOPS 192180 HAS SOUS 109938 HAS SOUPS 109112 WITH SCORE 109305.006
AT ITER 741 NEW BEST:: SOT 262767 SOS 192629 HAS SOPS 191755 HAS SOUS 109977 HAS SOUPS 109103 WITH SCORE 109295.629
AT ITER 745 NEW BEST:: SOT 262797 SOS 192532 HAS SOPS 191658 HAS SOUS 109874 HAS SOUPS 109000 WITH SCORE 109192.532
AT ITER 749 NEW BEST:: SOT 262760 SOS 192495 HAS SOPS 191621 HAS SOUS 109800 HAS SOUPS 108926 WITH SCORE 109118.495
AT ITER 750 NEW BEST:: SOT 262738 SOS 192473 HAS SOPS 191599 HAS SOUS 109778 HAS SOUPS 108904 WITH SCORE 109096.473
AT ITER 762 NEW BEST:: SOT 262747 SOS 192249 HAS SOPS 191359 HAS SOUS 109788 HAS SOUPS 108898 WITH SCORE 109090.249
AT ITER 769 NEW BEST:: SOT 262698 SOS 192216 HAS SOPS 191326 HAS SOUS 109786 HAS SOUPS 108896 WITH SCORE 109088.216
AT ITER 770 NEW BEST:: SOT 262490 SOS 191877 HAS SOPS 190987 HAS SOUS 109554 HAS SOUPS 108664 WITH SCORE 108855.877
AT ITER 777 NEW BEST:: SOT 262421 SOS 191808 HAS SOPS 190918 HAS SOUS 109506 HAS SOUPS 108616 WITH SCORE 108807.808
AT ITER 788 NEW BEST:: SOT 262316 SOS 191703 HAS SOPS 190813 HAS SOUS 109296 HAS SOUPS 108406 WITH SCORE 108597.703
AT ITER 791 NEW BEST:: SOT 262275 SOS 191732 HAS SOPS 190851 HAS SOUS 109284 HAS SOUPS 108403 WITH SCORE 108594.732
AT ITER 792 NEW BEST:: SOT 262157 SOS 191614 HAS SOPS 190733 HAS SOUS 109103 HAS SOUPS 108222 WITH SCORE 108413.614
AT ITER 796 NEW BEST:: SOT 262137 SOS 191598 HAS SOPS 190717 HAS SOUS 109091 HAS SOUPS 108210 WITH SCORE 108401.598
AT ITER 820 NEW BEST:: SOT 262109 SOS 191570 HAS SOPS 190689 HAS SOUS 109035 HAS SOUPS 108154 WITH SCORE 108345.57
AT ITER 823 NEW BEST:: SOT 262109 SOS 191559 HAS SOPS 190678 HAS SOUS 109035 HAS SOUPS 108154 WITH SCORE 108345.559
AT ITER 831 NEW BEST:: SOT 261993 SOS 191443 HAS SOPS 190562 HAS SOUS 108815 HAS SOUPS 107934 WITH SCORE 108125.443
AT ITER 837 NEW BEST:: SOT 261965 SOS 191422 HAS SOPS 190541 HAS SOUS 108801 HAS SOUPS 107920 WITH SCORE 108111.422
AT ITER 842 NEW BEST:: SOT 261965 SOS 191388 HAS SOPS 190507 HAS SOUS 108699 HAS SOUPS 107818 WITH SCORE 108009.388
AT ITER 844 NEW BEST:: SOT 262651 SOS 190244 HAS SOPS 189363 HAS SOUS 107453 HAS SOUPS 106572 WITH SCORE 106762.244
AT ITER 848 NEW BEST:: SOT 262214 SOS 190137 HAS SOPS 189296 HAS SOUS 107267 HAS SOUPS 106426 WITH SCORE 106616.137
AT ITER 852 NEW BEST:: SOT 262108 SOS 189950 HAS SOPS 189109 HAS SOUS 107175 HAS SOUPS 106334 WITH SCORE 106523.95
AT ITER 854 NEW BEST:: SOT 261905 SOS 189747 HAS SOPS 188906 HAS SOUS 106892 HAS SOUPS 106051 WITH SCORE 106240.747
AT ITER 855 NEW BEST:: SOT 261895 SOS 189749 HAS SOPS 188908 HAS SOUS 106866 HAS SOUPS 106025 WITH SCORE 106214.749
AT ITER 862 NEW BEST:: SOT 261809 SOS 189663 HAS SOPS 188822 HAS SOUS 106780 HAS SOUPS 105939 WITH SCORE 106128.663
AT ITER 868 NEW BEST:: SOT 261723 SOS 189577 HAS SOPS 188736 HAS SOUS 106758 HAS SOUPS 105917 WITH SCORE 106106.577
AT ITER 876 NEW BEST:: SOT 261683 SOS 189537 HAS SOPS 188696 HAS SOUS 106680 HAS SOUPS 105839 WITH SCORE 106028.537
AT ITER 877 NEW BEST:: SOT 261653 SOS 189507 HAS SOPS 188666 HAS SOUS 106650 HAS SOUPS 105809 WITH SCORE 105998.507
AT ITER 880 NEW BEST:: SOT 261552 SOS 189329 HAS SOPS 188488 HAS SOUS 106466 HAS SOUPS 105625 WITH SCORE 105814.329
AT ITER 881 NEW BEST:: SOT 261572 SOS 189254 HAS SOPS 188413 HAS SOUS 106437 HAS SOUPS 105596 WITH SCORE 105785.254
AT ITER 885 NEW BEST:: SOT 261572 SOS 189229 HAS SOPS 188388 HAS SOUS 106437 HAS SOUPS 105596 WITH SCORE 105785.229
AT ITER 912 NEW BEST:: SOT 261500 SOS 189157 HAS SOPS 188316 HAS SOUS 106307 HAS SOUPS 105466 WITH SCORE 105655.157
AT ITER 916 NEW BEST:: SOT 261772 SOS 189269 HAS SOPS 188428 HAS SOUS 106256 HAS SOUPS 105415 WITH SCORE 105604.269
AT ITER 919 NEW BEST:: SOT 261698 SOS 189205 HAS SOPS 188364 HAS SOUS 106092 HAS SOUPS 105251 WITH SCORE 105440.205
AT ITER 920 NEW BEST:: SOT 261613 SOS 189120 HAS SOPS 188279 HAS SOUS 105981 HAS SOUPS 105140 WITH SCORE 105329.12
AT ITER 921 NEW BEST:: SOT 261603 SOS 189059 HAS SOPS 188218 HAS SOUS 105961 HAS SOUPS 105120 WITH SCORE 105309.059
AT ITER 923 NEW BEST:: SOT 261509 SOS 188937 HAS SOPS 188096 HAS SOUS 105745 HAS SOUPS 104904 WITH SCORE 105092.937
AT ITER 927 NEW BEST:: SOT 261705 SOS 188600 HAS SOPS 187759 HAS SOUS 105613 HAS SOUPS 104772 WITH SCORE 104960.6
AT ITER 928 NEW BEST:: SOT 261635 SOS 188530 HAS SOPS 187689 HAS SOUS 105473 HAS SOUPS 104632 WITH SCORE 104820.53
AT ITER 938 NEW BEST:: SOT 261603 SOS 188527 HAS SOPS 187703 HAS SOUS 105456 HAS SOUPS 104632 WITH SCORE 104820.527
AT ITER 943 NEW BEST:: SOT 261601 SOS 188525 HAS SOPS 187701 HAS SOUS 105454 HAS SOUPS 104630 WITH SCORE 104818.525
AT ITER 945 NEW BEST:: SOT 261497 SOS 188416 HAS SOPS 187592 HAS SOUS 105246 HAS SOUPS 104422 WITH SCORE 104610.416
AT ITER 950 NEW BEST:: SOT 261601 SOS 188135 HAS SOPS 187250 HAS SOUS 105159 HAS SOUPS 104274 WITH SCORE 104462.135
AT ITER 954 NEW BEST:: SOT 260759 SOS 187539 HAS SOPS 186654 HAS SOUS 104935 HAS SOUPS 104050 WITH SCORE 104237.539
AT ITER 957 NEW BEST:: SOT 260759 SOS 187522 HAS SOPS 186637 HAS SOUS 104897 HAS SOUPS 104012 WITH SCORE 104199.522
AT ITER 959 NEW BEST:: SOT 260739 SOS 187500 HAS SOPS 186615 HAS SOUS 104864 HAS SOUPS 103979 WITH SCORE 104166.5
AT ITER 964 NEW BEST:: SOT 262220 SOS 187887 HAS SOPS 187002 HAS SOUS 104015 HAS SOUPS 103130 WITH SCORE 103317.887
AT ITER 967 NEW BEST:: SOT 262220 SOS 187887 HAS SOPS 187002 HAS SOUS 104009 HAS SOUPS 103124 WITH SCORE 103311.887
AT ITER 971 NEW BEST:: SOT 262215 SOS 187882 HAS SOPS 186997 HAS SOUS 103918 HAS SOUPS 103033 WITH SCORE 103220.882
AT ITER 974 NEW BEST:: SOT 261970 SOS 187542 HAS SOPS 186657 HAS SOUS 103492 HAS SOUPS 102607 WITH SCORE 102794.542
AT ITER 980 NEW BEST:: SOT 261676 SOS 187278 HAS SOPS 186393 HAS SOUS 102994 HAS SOUPS 102109 WITH SCORE 102296.278
AT ITER 987 NEW BEST:: SOT 261592 SOS 187206 HAS SOPS 186321 HAS SOUS 102934 HAS SOUPS 102049 WITH SCORE 102236.206
AT ITER 996 NEW BEST:: SOT 261604 SOS 187212 HAS SOPS 186327 HAS SOUS 102906 HAS SOUPS 102021 WITH SCORE 102208.212
AT ITER 1014 NEW BEST:: SOT 261604 SOS 187212 HAS SOPS 186327 HAS SOUS 102896 HAS SOUPS 102011 WITH SCORE 102198.212
AT ITER 1022 NEW BEST:: SOT 261586 SOS 187210 HAS SOPS 186325 HAS SOUS 102842 HAS SOUPS 101957 WITH SCORE 102144.21
AT ITER 1024 NEW BEST:: SOT 261957 SOS 187437 HAS SOPS 186552 HAS SOUS 102746 HAS SOUPS 101861 WITH SCORE 102048.437
AT ITER 1027 NEW BEST:: SOT 261997 SOS 187364 HAS SOPS 186479 HAS SOUS 102709 HAS SOUPS 101824 WITH SCORE 102011.364
AT ITER 1029 NEW BEST:: SOT 258898 SOS 184638 HAS SOPS 183753 HAS SOUS 101523 HAS SOUPS 100638 WITH SCORE 100822.638
AT ITER 1034 NEW BEST:: SOT 258641 SOS 184381 HAS SOPS 183496 HAS SOUS 100956 HAS SOUPS 100071 WITH SCORE 100255.381
AT ITER 1036 NEW BEST:: SOT 258669 SOS 184357 HAS SOPS 183472 HAS SOUS 100780 HAS SOUPS 99895 WITH SCORE 100079.357
AT ITER 1046 NEW BEST:: SOT 258406 SOS 184274 HAS SOPS 183389 HAS SOUS 100516 HAS SOUPS 99631 WITH SCORE 99815.274
AT ITER 1047 NEW BEST:: SOT 258404 SOS 184266 HAS SOPS 183381 HAS SOUS 100510 HAS SOUPS 99625 WITH SCORE 99809.266
AT ITER 1059 NEW BEST:: SOT 258378 SOS 184240 HAS SOPS 183355 HAS SOUS 100484 HAS SOUPS 99599 WITH SCORE 99783.24
AT ITER 1061 NEW BEST:: SOT 258350 SOS 184224 HAS SOPS 183339 HAS SOUS 100428 HAS SOUPS 99543 WITH SCORE 99727.224
AT ITER 1062 NEW BEST:: SOT 258350 SOS 184132 HAS SOPS 183247 HAS SOUS 100428 HAS SOUPS 99543 WITH SCORE 99727.132
AT ITER 1083 NEW BEST:: SOT 258158 SOS 183900 HAS SOPS 183015 HAS SOUS 100044 HAS SOUPS 99159 WITH SCORE 99342.9
AT ITER 1094 NEW BEST:: SOT 258546 SOS 184163 HAS SOPS 183278 HAS SOUS 100007 HAS SOUPS 99122 WITH SCORE 99306.163
AT ITER 1099 NEW BEST:: SOT 258903 SOS 184368 HAS SOPS 183483 HAS SOUS 99881 HAS SOUPS 98996 WITH SCORE 99180.368
AT ITER 1104 NEW BEST:: SOT 258895 SOS 184331 HAS SOPS 183446 HAS SOUS 99783 HAS SOUPS 98898 WITH SCORE 99082.331
AT ITER 1108 NEW BEST:: SOT 258857 SOS 184293 HAS SOPS 183408 HAS SOUS 99704 HAS SOUPS 98819 WITH SCORE 99003.293
AT ITER 1110 NEW BEST:: SOT 258720 SOS 184156 HAS SOPS 183271 HAS SOUS 99430 HAS SOUPS 98545 WITH SCORE 98729.156
AT ITER 1114 NEW BEST:: SOT 258638 SOS 184042 HAS SOPS 183157 HAS SOUS 99266 HAS SOUPS 98381 WITH SCORE 98565.042
AT ITER 1115 NEW BEST:: SOT 258560 SOS 183964 HAS SOPS 183079 HAS SOUS 99110 HAS SOUPS 98225 WITH SCORE 98408.964
AT ITER 1116 NEW BEST:: SOT 258289 SOS 183693 HAS SOPS 182808 HAS SOUS 98839 HAS SOUPS 97954 WITH SCORE 98137.693
AT ITER 1119 NEW BEST:: SOT 258209 SOS 183613 HAS SOPS 182728 HAS SOUS 98679 HAS SOUPS 97794 WITH SCORE 97977.613
AT ITER 1124 NEW BEST:: SOT 258112 SOS 183516 HAS SOPS 182631 HAS SOUS 98485 HAS SOUPS 97600 WITH SCORE 97783.516
AT ITER 1132 NEW BEST:: SOT 258069 SOS 183068 HAS SOPS 182183 HAS SOUS 98354 HAS SOUPS 97469 WITH SCORE 97652.068
AT ITER 1133 NEW BEST:: SOT 258067 SOS 183062 HAS SOPS 182177 HAS SOUS 98346 HAS SOUPS 97461 WITH SCORE 97644.062
AT ITER 1143 NEW BEST:: SOT 258151 SOS 183111 HAS SOPS 182226 HAS SOUS 98283 HAS SOUPS 97398 WITH SCORE 97581.111
AT ITER 1144 NEW BEST:: SOT 258091 SOS 183051 HAS SOPS 182166 HAS SOUS 98163 HAS SOUPS 97278 WITH SCORE 97461.051
AT ITER 1145 NEW BEST:: SOT 257961 SOS 183151 HAS SOPS 182296 HAS SOUS 98032 HAS SOUPS 97177 WITH SCORE 97360.151
AT ITER 1146 NEW BEST:: SOT 257961 SOS 183031 HAS SOPS 182191 HAS SOUS 98017 HAS SOUPS 97177 WITH SCORE 97360.031
AT ITER 1147 NEW BEST:: SOT 257795 SOS 182865 HAS SOPS 182025 HAS SOUS 97713 HAS SOUPS 96873 WITH SCORE 97055.865
AT ITER 1153 NEW BEST:: SOT 257795 SOS 182865 HAS SOPS 182025 HAS SOUS 97700 HAS SOUPS 96860 WITH SCORE 97042.865
AT ITER 1156 NEW BEST:: SOT 257690 SOS 183076 HAS SOPS 182273 HAS SOUS 97594 HAS SOUPS 96791 WITH SCORE 96974.076
AT ITER 1167 NEW BEST:: SOT 257669 SOS 183055 HAS SOPS 182252 HAS SOUS 97581 HAS SOUPS 96778 WITH SCORE 96961.055
AT ITER 1175 NEW BEST:: SOT 257655 SOS 183041 HAS SOPS 182238 HAS SOUS 97553 HAS SOUPS 96750 WITH SCORE 96933.041
AT ITER 1180 NEW BEST:: SOT 257453 SOS 182839 HAS SOPS 182036 HAS SOUS 97377 HAS SOUPS 96574 WITH SCORE 96756.839
AT ITER 1183 NEW BEST:: SOT 257447 SOS 182833 HAS SOPS 182030 HAS SOUS 97365 HAS SOUPS 96562 WITH SCORE 96744.833
AT ITER 1187 NEW BEST:: SOT 257469 SOS 182696 HAS SOPS 181886 HAS SOUS 97372 HAS SOUPS 96562 WITH SCORE 96744.696
AT ITER 1192 NEW BEST:: SOT 257469 SOS 182696 HAS SOPS 181886 HAS SOUS 97311 HAS SOUPS 96501 WITH SCORE 96683.696
AT ITER 1193 NEW BEST:: SOT 257355 SOS 182582 HAS SOPS 181772 HAS SOUS 97089 HAS SOUPS 96279 WITH SCORE 96461.582
AT ITER 1197 NEW BEST:: SOT 257346 SOS 182573 HAS SOPS 181763 HAS SOUS 97071 HAS SOUPS 96261 WITH SCORE 96443.573
AT ITER 1207 NEW BEST:: SOT 257346 SOS 182405 HAS SOPS 181595 HAS SOUS 97071 HAS SOUPS 96261 WITH SCORE 96443.405
AT ITER 1209 NEW BEST:: SOT 257304 SOS 182363 HAS SOPS 181553 HAS SOUS 97029 HAS SOUPS 96219 WITH SCORE 96401.363
AT ITER 1215 NEW BEST:: SOT 257294 SOS 182355 HAS SOPS 181545 HAS SOUS 97021 HAS SOUPS 96211 WITH SCORE 96393.355
AT ITER 1222 NEW BEST:: SOT 257249 SOS 182274 HAS SOPS 181464 HAS SOUS 96931 HAS SOUPS 96121 WITH SCORE 96303.274
AT ITER 1232 NEW BEST:: SOT 257247 SOS 182272 HAS SOPS 181462 HAS SOUS 96931 HAS SOUPS 96121 WITH SCORE 96303.272
AT ITER 1241 NEW BEST:: SOT 257160 SOS 182185 HAS SOPS 181375 HAS SOUS 96888 HAS SOUPS 96078 WITH SCORE 96260.185
AT ITER 1242 NEW BEST:: SOT 256890 SOS 181915 HAS SOPS 181105 HAS SOUS 96392 HAS SOUPS 95582 WITH SCORE 95763.915
AT ITER 1253 NEW BEST:: SOT 256913 SOS 181779 HAS SOPS 180969 HAS SOUS 96386 HAS SOUPS 95576 WITH SCORE 95757.779
AT ITER 1259 NEW BEST:: SOT 256876 SOS 181742 HAS SOPS 180932 HAS SOUS 96312 HAS SOUPS 95502 WITH SCORE 95683.742
AT ITER 1270 NEW BEST:: SOT 256876 SOS 181716 HAS SOPS 180906 HAS SOUS 96312 HAS SOUPS 95502 WITH SCORE 95683.716
AT ITER 1275 NEW BEST:: SOT 256862 SOS 181702 HAS SOPS 180892 HAS SOUS 96284 HAS SOUPS 95474 WITH SCORE 95655.702
AT ITER 1279 NEW BEST:: SOT 256559 SOS 181399 HAS SOPS 180589 HAS SOUS 95736 HAS SOUPS 94926 WITH SCORE 95107.399
AT ITER 1285 NEW BEST:: SOT 256405 SOS 181245 HAS SOPS 180435 HAS SOUS 95426 HAS SOUPS 94616 WITH SCORE 94797.245
AT ITER 1290 NEW BEST:: SOT 256311 SOS 181151 HAS SOPS 180341 HAS SOUS 95332 HAS SOUPS 94522 WITH SCORE 94703.151
AT ITER 1291 NEW BEST:: SOT 256125 SOS 180958 HAS SOPS 180148 HAS SOUS 94960 HAS SOUPS 94150 WITH SCORE 94330.958
AT ITER 1309 NEW BEST:: SOT 256100 SOS 181317 HAS SOPS 180480 HAS SOUS 94962 HAS SOUPS 94125 WITH SCORE 94306.317
AT ITER 1313 NEW BEST:: SOT 256100 SOS 181311 HAS SOPS 180474 HAS SOUS 94956 HAS SOUPS 94119 WITH SCORE 94300.311
AT ITER 1316 NEW BEST:: SOT 256091 SOS 181302 HAS SOPS 180465 HAS SOUS 94938 HAS SOUPS 94101 WITH SCORE 94282.302
AT ITER 1323 NEW BEST:: SOT 256069 SOS 181280 HAS SOPS 180443 HAS SOUS 94894 HAS SOUPS 94057 WITH SCORE 94238.28
AT ITER 1332 NEW BEST:: SOT 256069 SOS 181273 HAS SOPS 180436 HAS SOUS 94850 HAS SOUPS 94013 WITH SCORE 94194.273
AT ITER 1336 NEW BEST:: SOT 255864 SOS 181068 HAS SOPS 180231 HAS SOUS 94668 HAS SOUPS 93831 WITH SCORE 94012.068
AT ITER 1362 NEW BEST:: SOT 255744 SOS 180963 HAS SOPS 180126 HAS SOUS 94422 HAS SOUPS 93585 WITH SCORE 93765.963
AT ITER 1382 NEW BEST:: SOT 255611 SOS 180830 HAS SOPS 179993 HAS SOUS 94279 HAS SOUPS 93442 WITH SCORE 93622.83
AT ITER 1384 NEW BEST:: SOT 255354 SOS 180573 HAS SOPS 179736 HAS SOUS 94099 HAS SOUPS 93262 WITH SCORE 93442.573
AT ITER 1386 NEW BEST:: SOT 255336 SOS 180564 HAS SOPS 179727 HAS SOUS 94081 HAS SOUPS 93244 WITH SCORE 93424.564
AT ITER 1388 NEW BEST:: SOT 254808 SOS 180036 HAS SOPS 179199 HAS SOUS 93553 HAS SOUPS 92716 WITH SCORE 92896.036
AT ITER 1402 NEW BEST:: SOT 254788 SOS 180016 HAS SOPS 179179 HAS SOUS 93513 HAS SOUPS 92676 WITH SCORE 92856.016
AT ITER 1405 NEW BEST:: SOT 254859 SOS 180024 HAS SOPS 179187 HAS SOUS 93505 HAS SOUPS 92668 WITH SCORE 92848.024
AT ITER 1407 NEW BEST:: SOT 254850 SOS 180015 HAS SOPS 179178 HAS SOUS 93447 HAS SOUPS 92610 WITH SCORE 92790.015
AT ITER 1408 NEW BEST:: SOT 254854 SOS 179986 HAS SOPS 179149 HAS SOUS 93257 HAS SOUPS 92420 WITH SCORE 92599.986
AT ITER 1414 NEW BEST:: SOT 254846 SOS 179978 HAS SOPS 179141 HAS SOUS 93247 HAS SOUPS 92410 WITH SCORE 92589.978
AT ITER 1417 NEW BEST:: SOT 254787 SOS 179919 HAS SOPS 179082 HAS SOUS 93129 HAS SOUPS 92292 WITH SCORE 92471.919
AT ITER 1436 NEW BEST:: SOT 254707 SOS 179839 HAS SOPS 179002 HAS SOUS 92969 HAS SOUPS 92132 WITH SCORE 92311.839
AT ITER 1437 NEW BEST:: SOT 254707 SOS 179836 HAS SOPS 178999 HAS SOUS 92969 HAS SOUPS 92132 WITH SCORE 92311.836
AT ITER 1440 NEW BEST:: SOT 254692 SOS 179839 HAS SOPS 178990 HAS SOUS 92936 HAS SOUPS 92087 WITH SCORE 92266.839
AT ITER 1446 NEW BEST:: SOT 254692 SOS 179697 HAS SOPS 178848 HAS SOUS 92931 HAS SOUPS 92082 WITH SCORE 92261.697
AT ITER 1448 NEW BEST:: SOT 254554 SOS 179559 HAS SOPS 178710 HAS SOUS 92763 HAS SOUPS 91914 WITH SCORE 92093.559
AT ITER 1453 NEW BEST:: SOT 254453 SOS 179458 HAS SOPS 178609 HAS SOUS 92561 HAS SOUPS 91712 WITH SCORE 91891.458
AT ITER 1454 NEW BEST:: SOT 254713 SOS 179415 HAS SOPS 178566 HAS SOUS 92448 HAS SOUPS 91599 WITH SCORE 91778.415
AT ITER 1458 NEW BEST:: SOT 254713 SOS 179413 HAS SOPS 178564 HAS SOUS 92448 HAS SOUPS 91599 WITH SCORE 91778.413
AT ITER 1462 NEW BEST:: SOT 254642 SOS 178701 HAS SOPS 177925 HAS SOUS 92129 HAS SOUPS 91353 WITH SCORE 91531.701
AT ITER 1472 NEW BEST:: SOT 254642 SOS 178648 HAS SOPS 177872 HAS SOUS 92129 HAS SOUPS 91353 WITH SCORE 91531.648
AT ITER 1473 NEW BEST:: SOT 254642 SOS 178562 HAS SOPS 177786 HAS SOUS 92129 HAS SOUPS 91353 WITH SCORE 91531.562
AT ITER 1475 NEW BEST:: SOT 254878 SOS 178693 HAS SOPS 177917 HAS SOUS 92085 HAS SOUPS 91309 WITH SCORE 91487.693
AT ITER 1480 NEW BEST:: SOT 251319 SOS 175526 HAS SOPS 174750 HAS SOUS 88625 HAS SOUPS 87849 WITH SCORE 88024.526
AT ITER 1483 NEW BEST:: SOT 251275 SOS 175460 HAS SOPS 174684 HAS SOUS 88537 HAS SOUPS 87761 WITH SCORE 87936.46
AT ITER 1489 NEW BEST:: SOT 251272 SOS 175457 HAS SOPS 174681 HAS SOUS 88534 HAS SOUPS 87758 WITH SCORE 87933.457
AT ITER 1511 NEW BEST:: SOT 251251 SOS 175436 HAS SOPS 174660 HAS SOUS 88492 HAS SOUPS 87716 WITH SCORE 87891.436
AT ITER 1520 NEW BEST:: SOT 251250 SOS 175509 HAS SOPS 174733 HAS SOUS 88466 HAS SOUPS 87690 WITH SCORE 87865.509
AT ITER 1524 NEW BEST:: SOT 251304 SOS 175563 HAS SOPS 174787 HAS SOUS 88461 HAS SOUPS 87685 WITH SCORE 87860.563
AT ITER 1528 NEW BEST:: SOT 251262 SOS 175512 HAS SOPS 174736 HAS SOUS 88377 HAS SOUPS 87601 WITH SCORE 87776.512
AT ITER 1536 NEW BEST:: SOT 251217 SOS 175737 HAS SOPS 174994 HAS SOUS 88331 HAS SOUPS 87588 WITH SCORE 87763.737
AT ITER 1539 NEW BEST:: SOT 251353 SOS 175726 HAS SOPS 174983 HAS SOUS 87608 HAS SOUPS 86865 WITH SCORE 87040.726
AT ITER 1540 NEW BEST:: SOT 251339 SOS 175694 HAS SOPS 174951 HAS SOUS 87580 HAS SOUPS 86837 WITH SCORE 87012.694
AT ITER 1550 NEW BEST:: SOT 251330 SOS 175685 HAS SOPS 174942 HAS SOUS 87562 HAS SOUPS 86819 WITH SCORE 86994.685
AT ITER 1554 NEW BEST:: SOT 251330 SOS 175594 HAS SOPS 174851 HAS SOUS 87562 HAS SOUPS 86819 WITH SCORE 86994.594
AT ITER 1561 NEW BEST:: SOT 251421 SOS 175556 HAS SOPS 174813 HAS SOUS 87217 HAS SOUPS 86474 WITH SCORE 86649.556
AT ITER 1564 NEW BEST:: SOT 251365 SOS 175500 HAS SOPS 174757 HAS SOUS 87161 HAS SOUPS 86418 WITH SCORE 86593.5
AT ITER 1565 NEW BEST:: SOT 251356 SOS 175543 HAS SOPS 174800 HAS SOUS 87159 HAS SOUPS 86416 WITH SCORE 86591.543
AT ITER 1573 NEW BEST:: SOT 251269 SOS 175456 HAS SOPS 174713 HAS SOUS 87072 HAS SOUPS 86329 WITH SCORE 86504.456
AT ITER 1582 NEW BEST:: SOT 251266 SOS 175453 HAS SOPS 174710 HAS SOUS 87066 HAS SOUPS 86323 WITH SCORE 86498.453
AT ITER 1585 NEW BEST:: SOT 251120 SOS 175307 HAS SOPS 174564 HAS SOUS 86780 HAS SOUPS 86037 WITH SCORE 86212.307
AT ITER 1593 NEW BEST:: SOT 251039 SOS 175226 HAS SOPS 174483 HAS SOUS 86693 HAS SOUPS 85950 WITH SCORE 86125.226
AT ITER 1596 NEW BEST:: SOT 250972 SOS 175186 HAS SOPS 174443 HAS SOUS 86663 HAS SOUPS 85920 WITH SCORE 86095.186
AT ITER 1602 NEW BEST:: SOT 250896 SOS 175110 HAS SOPS 174367 HAS SOUS 86586 HAS SOUPS 85843 WITH SCORE 86018.11
AT ITER 1603 NEW BEST:: SOT 250944 SOS 175134 HAS SOPS 174391 HAS SOUS 86538 HAS SOUPS 85795 WITH SCORE 85970.134
AT ITER 1611 NEW BEST:: SOT 250836 SOS 175026 HAS SOPS 174283 HAS SOUS 86333 HAS SOUPS 85590 WITH SCORE 85765.026
AT ITER 1621 NEW BEST:: SOT 250819 SOS 175009 HAS SOPS 174266 HAS SOUS 86303 HAS SOUPS 85560 WITH SCORE 85735.009
AT ITER 1623 NEW BEST:: SOT 250788 SOS 174978 HAS SOPS 174235 HAS SOUS 86241 HAS SOUPS 85498 WITH SCORE 85672.978
AT ITER 1629 NEW BEST:: SOT 250991 SOS 175074 HAS SOPS 174331 HAS SOUS 86235 HAS SOUPS 85492 WITH SCORE 85667.074
AT ITER 1633 NEW BEST:: SOT 250879 SOS 175004 HAS SOPS 174261 HAS SOUS 85937 HAS SOUPS 85194 WITH SCORE 85369.004
AT ITER 1638 NEW BEST:: SOT 250879 SOS 175000 HAS SOPS 174257 HAS SOUS 85937 HAS SOUPS 85194 WITH SCORE 85369.0
AT ITER 1639 NEW BEST:: SOT 250905 SOS 174801 HAS SOPS 174067 HAS SOUS 85900 HAS SOUPS 85166 WITH SCORE 85340.801
AT ITER 1648 NEW BEST:: SOT 250905 SOS 174801 HAS SOPS 174067 HAS SOUS 85816 HAS SOUPS 85082 WITH SCORE 85256.801
AT ITER 1670 NEW BEST:: SOT 251132 SOS 174627 HAS SOPS 173893 HAS SOUS 85693 HAS SOUPS 84959 WITH SCORE 85133.627
AT ITER 1673 NEW BEST:: SOT 251132 SOS 174589 HAS SOPS 173855 HAS SOUS 85465 HAS SOUPS 84731 WITH SCORE 84905.589
AT ITER 1677 NEW BEST:: SOT 251067 SOS 174524 HAS SOPS 173790 HAS SOUS 85258 HAS SOUPS 84524 WITH SCORE 84698.524
AT ITER 1691 NEW BEST:: SOT 250908 SOS 174365 HAS SOPS 173631 HAS SOUS 84940 HAS SOUPS 84206 WITH SCORE 84380.365
AT ITER 1703 NEW BEST:: SOT 250840 SOS 174297 HAS SOPS 173563 HAS SOUS 84804 HAS SOUPS 84070 WITH SCORE 84244.297
AT ITER 1706 NEW BEST:: SOT 250800 SOS 174257 HAS SOPS 173523 HAS SOUS 84764 HAS SOUPS 84030 WITH SCORE 84204.257
AT ITER 1724 NEW BEST:: SOT 250455 SOS 174039 HAS SOPS 173305 HAS SOUS 84764 HAS SOUPS 84030 WITH SCORE 84204.039
AT ITER 1743 NEW BEST:: SOT 250303 SOS 174643 HAS SOPS 173834 HAS SOUS 84656 HAS SOUPS 83847 WITH SCORE 84021.643
AT ITER 1744 NEW BEST:: SOT 250247 SOS 174587 HAS SOPS 173778 HAS SOUS 84544 HAS SOUPS 83735 WITH SCORE 83909.587
AT ITER 1758 NEW BEST:: SOT 250363 SOS 171367 HAS SOPS 170397 HAS SOUS 84659 HAS SOUPS 83689 WITH SCORE 83860.367
AT ITER 1761 NEW BEST:: SOT 250363 SOS 171367 HAS SOPS 170397 HAS SOUS 84651 HAS SOUPS 83681 WITH SCORE 83852.367
AT ITER 1764 NEW BEST:: SOT 250294 SOS 171298 HAS SOPS 170328 HAS SOUS 84513 HAS SOUPS 83543 WITH SCORE 83714.298
AT ITER 1765 NEW BEST:: SOT 250282 SOS 171289 HAS SOPS 170319 HAS SOUS 84513 HAS SOUPS 83543 WITH SCORE 83714.289
AT ITER 1781 NEW BEST:: SOT 250278 SOS 171285 HAS SOPS 170315 HAS SOUS 84505 HAS SOUPS 83535 WITH SCORE 83706.285
AT ITER 1786 NEW BEST:: SOT 250278 SOS 171265 HAS SOPS 170295 HAS SOUS 84505 HAS SOUPS 83535 WITH SCORE 83706.265
AT ITER 1797 NEW BEST:: SOT 250318 SOS 171343 HAS SOPS 170319 HAS SOUS 84553 HAS SOUPS 83529 WITH SCORE 83700.343
AT ITER 1800 NEW BEST:: SOT 250307 SOS 171332 HAS SOPS 170308 HAS SOUS 84531 HAS SOUPS 83507 WITH SCORE 83678.332
AT ITER 1803 NEW BEST:: SOT 250025 SOS 170409 HAS SOPS 169385 HAS SOUS 83494 HAS SOUPS 82470 WITH SCORE 82640.409
AT ITER 1810 NEW BEST:: SOT 250023 SOS 170407 HAS SOPS 169383 HAS SOUS 83490 HAS SOUPS 82466 WITH SCORE 82636.407
AT ITER 1819 NEW BEST:: SOT 250023 SOS 170404 HAS SOPS 169380 HAS SOUS 83490 HAS SOUPS 82466 WITH SCORE 82636.404
AT ITER 1825 NEW BEST:: SOT 249842 SOS 170229 HAS SOPS 169205 HAS SOUS 83327 HAS SOUPS 82303 WITH SCORE 82473.229
AT ITER 1839 NEW BEST:: SOT 249822 SOS 170209 HAS SOPS 169185 HAS SOUS 83287 HAS SOUPS 82263 WITH SCORE 82433.209
AT ITER 1841 NEW BEST:: SOT 249781 SOS 170146 HAS SOPS 169122 HAS SOUS 83205 HAS SOUPS 82181 WITH SCORE 82351.146
AT ITER 1853 NEW BEST:: SOT 248708 SOS 169372 HAS SOPS 168371 HAS SOUS 82467 HAS SOUPS 81466 WITH SCORE 81635.372
AT ITER 1855 NEW BEST:: SOT 248708 SOS 169347 HAS SOPS 168346 HAS SOUS 82467 HAS SOUPS 81466 WITH SCORE 81635.347
AT ITER 1861 NEW BEST:: SOT 248706 SOS 169345 HAS SOPS 168344 HAS SOUS 82463 HAS SOUPS 81462 WITH SCORE 81631.345
AT ITER 1862 NEW BEST:: SOT 248646 SOS 169317 HAS SOPS 168316 HAS SOUS 82343 HAS SOUPS 81342 WITH SCORE 81511.317
AT ITER 1871 NEW BEST:: SOT 248684 SOS 169317 HAS SOPS 168214 HAS SOUS 82406 HAS SOUPS 81303 WITH SCORE 81472.317
AT ITER 1878 NEW BEST:: SOT 248680 SOS 169313 HAS SOPS 168210 HAS SOUS 82398 HAS SOUPS 81295 WITH SCORE 81464.313
AT ITER 1881 NEW BEST:: SOT 248991 SOS 169377 HAS SOPS 168244 HAS SOUS 82400 HAS SOUPS 81267 WITH SCORE 81436.377
AT ITER 1889 NEW BEST:: SOT 249718 SOS 169996 HAS SOPS 168863 HAS SOUS 82351 HAS SOUPS 81218 WITH SCORE 81387.996
AT ITER 1893 NEW BEST:: SOT 249303 SOS 169654 HAS SOPS 168521 HAS SOUS 82147 HAS SOUPS 81014 WITH SCORE 81183.654
AT ITER 1901 NEW BEST:: SOT 249330 SOS 169575 HAS SOPS 168431 HAS SOUS 82099 HAS SOUPS 80955 WITH SCORE 81124.575
AT ITER 1902 NEW BEST:: SOT 249352 SOS 169586 HAS SOPS 168442 HAS SOUS 82077 HAS SOUPS 80933 WITH SCORE 81102.586
AT ITER 1903 NEW BEST:: SOT 249348 SOS 169766 HAS SOPS 168584 HAS SOUS 82103 HAS SOUPS 80921 WITH SCORE 81090.766
AT ITER 1909 NEW BEST:: SOT 249346 SOS 169764 HAS SOPS 168582 HAS SOUS 82099 HAS SOUPS 80917 WITH SCORE 81086.764
AT ITER 1916 NEW BEST:: SOT 249376 SOS 169794 HAS SOPS 168612 HAS SOUS 82049 HAS SOUPS 80867 WITH SCORE 81036.794
AT ITER 1924 NEW BEST:: SOT 248933 SOS 169421 HAS SOPS 168239 HAS SOUS 81786 HAS SOUPS 80604 WITH SCORE 80773.421
AT ITER 1925 NEW BEST:: SOT 248923 SOS 169351 HAS SOPS 168169 HAS SOUS 81580 HAS SOUPS 80398 WITH SCORE 80567.351
AT ITER 1926 NEW BEST:: SOT 248663 SOS 169485 HAS SOPS 168307 HAS SOUS 81567 HAS SOUPS 80389 WITH SCORE 80558.485
AT ITER 1934 NEW BEST:: SOT 248643 SOS 169469 HAS SOPS 168291 HAS SOUS 81551 HAS SOUPS 80373 WITH SCORE 80542.469
AT ITER 1940 NEW BEST:: SOT 248643 SOS 169406 HAS SOPS 168228 HAS SOUS 81551 HAS SOUPS 80373 WITH SCORE 80542.406
AT ITER 1945 NEW BEST:: SOT 248570 SOS 169333 HAS SOPS 168155 HAS SOUS 81413 HAS SOUPS 80235 WITH SCORE 80404.333
AT ITER 1973 NEW BEST:: SOT 248569 SOS 169332 HAS SOPS 168154 HAS SOUS 81411 HAS SOUPS 80233 WITH SCORE 80402.332
AT ITER 1974 NEW BEST:: SOT 248083 SOS 168966 HAS SOPS 167788 HAS SOUS 81202 HAS SOUPS 80024 WITH SCORE 80192.966
AT ITER 1981 NEW BEST:: SOT 248083 SOS 168928 HAS SOPS 167750 HAS SOUS 81154 HAS SOUPS 79976 WITH SCORE 80144.928
AT ITER 1987 NEW BEST:: SOT 248008 SOS 168834 HAS SOPS 167756 HAS SOUS 81048 HAS SOUPS 79970 WITH SCORE 80138.834
AT ITER 1990 NEW BEST:: SOT 248008 SOS 168834 HAS SOPS 167756 HAS SOUS 81046 HAS SOUPS 79968 WITH SCORE 80136.834
AT ITER 1992 NEW BEST:: SOT 247917 SOS 169236 HAS SOPS 168233 HAS SOUS 80966 HAS SOUPS 79963 WITH SCORE 80132.236
AT ITER 1998 NEW BEST:: SOT 248078 SOS 169157 HAS SOPS 168154 HAS SOUS 80935 HAS SOUPS 79932 WITH SCORE 80101.157
AT ITER 2005 NEW BEST:: SOT 248060 SOS 169067 HAS SOPS 168064 HAS SOUS 80845 HAS SOUPS 79842 WITH SCORE 80011.067
AT ITER 2011 NEW BEST:: SOT 248052 SOS 168955 HAS SOPS 167952 HAS SOUS 80829 HAS SOUPS 79826 WITH SCORE 79994.955
AT ITER 2021 NEW BEST:: SOT 247980 SOS 168782 HAS SOPS 167779 HAS SOUS 80708 HAS SOUPS 79705 WITH SCORE 79873.782
AT ITER 2023 NEW BEST:: SOT 247883 SOS 168971 HAS SOPS 167968 HAS SOUS 80680 HAS SOUPS 79677 WITH SCORE 79845.971
AT ITER 2049 NEW BEST:: SOT 247834 SOS 168922 HAS SOPS 167919 HAS SOUS 80675 HAS SOUPS 79672 WITH SCORE 79840.922
AT ITER 2056 NEW BEST:: SOT 247808 SOS 168870 HAS SOPS 167893 HAS SOUS 80649 HAS SOUPS 79672 WITH SCORE 79840.87
AT ITER 2060 NEW BEST:: SOT 247799 SOS 168861 HAS SOPS 167884 HAS SOUS 80637 HAS SOUPS 79660 WITH SCORE 79828.861
AT ITER 2066 NEW BEST:: SOT 247675 SOS 168737 HAS SOPS 167808 HAS SOUS 80341 HAS SOUPS 79412 WITH SCORE 79580.737
AT ITER 2067 NEW BEST:: SOT 247683 SOS 168737 HAS SOPS 167808 HAS SOUS 80325 HAS SOUPS 79396 WITH SCORE 79564.737
AT ITER 2069 NEW BEST:: SOT 247661 SOS 168716 HAS SOPS 167787 HAS SOUS 80281 HAS SOUPS 79352 WITH SCORE 79520.716
AT ITER 2073 NEW BEST:: SOT 247661 SOS 168687 HAS SOPS 167758 HAS SOUS 80107 HAS SOUPS 79178 WITH SCORE 79346.687
AT ITER 2078 NEW BEST:: SOT 247595 SOS 168621 HAS SOPS 167692 HAS SOUS 79982 HAS SOUPS 79053 WITH SCORE 79221.621
AT ITER 2081 NEW BEST:: SOT 247463 SOS 168525 HAS SOPS 167596 HAS SOUS 79934 HAS SOUPS 79005 WITH SCORE 79173.525
AT ITER 2082 NEW BEST:: SOT 247463 SOS 168474 HAS SOPS 167545 HAS SOUS 79934 HAS SOUPS 79005 WITH SCORE 79173.474
AT ITER 2090 NEW BEST:: SOT 247751 SOS 168630 HAS SOPS 167701 HAS SOUS 79795 HAS SOUPS 78866 WITH SCORE 79034.63
AT ITER 2094 NEW BEST:: SOT 247743 SOS 168622 HAS SOPS 167693 HAS SOUS 79780 HAS SOUPS 78851 WITH SCORE 79019.622
AT ITER 2096 NEW BEST:: SOT 247717 SOS 168525 HAS SOPS 167582 HAS SOUS 79752 HAS SOUPS 78809 WITH SCORE 78977.525
AT ITER 2099 NEW BEST:: SOT 247691 SOS 168499 HAS SOPS 167556 HAS SOUS 79700 HAS SOUPS 78757 WITH SCORE 78925.499
AT ITER 2120 NEW BEST:: SOT 247558 SOS 168366 HAS SOPS 167423 HAS SOUS 79434 HAS SOUPS 78491 WITH SCORE 78659.366
AT ITER 2131 NEW BEST:: SOT 247532 SOS 168340 HAS SOPS 167397 HAS SOUS 79389 HAS SOUPS 78446 WITH SCORE 78614.34
AT ITER 2139 NEW BEST:: SOT 247506 SOS 168314 HAS SOPS 167371 HAS SOUS 79337 HAS SOUPS 78394 WITH SCORE 78562.314
AT ITER 2157 NEW BEST:: SOT 247482 SOS 168290 HAS SOPS 167347 HAS SOUS 79289 HAS SOUPS 78346 WITH SCORE 78514.29
AT ITER 2158 NEW BEST:: SOT 247438 SOS 168246 HAS SOPS 167303 HAS SOUS 79201 HAS SOUPS 78258 WITH SCORE 78426.246
AT ITER 2165 NEW BEST:: SOT 247438 SOS 168233 HAS SOPS 167290 HAS SOUS 79188 HAS SOUPS 78245 WITH SCORE 78413.233
AT ITER 2168 NEW BEST:: SOT 247392 SOS 168199 HAS SOPS 167256 HAS SOUS 79142 HAS SOUPS 78199 WITH SCORE 78367.199
AT ITER 2173 NEW BEST:: SOT 247349 SOS 168156 HAS SOPS 167213 HAS SOUS 79049 HAS SOUPS 78106 WITH SCORE 78274.156
AT ITER 2180 NEW BEST:: SOT 247274 SOS 168081 HAS SOPS 167138 HAS SOUS 78899 HAS SOUPS 77956 WITH SCORE 78124.081
AT ITER 2181 NEW BEST:: SOT 247274 SOS 168022 HAS SOPS 167079 HAS SOUS 78899 HAS SOUPS 77956 WITH SCORE 78124.022
AT ITER 2184 NEW BEST:: SOT 247261 SOS 168009 HAS SOPS 167066 HAS SOUS 78897 HAS SOUPS 77954 WITH SCORE 78122.009
AT ITER 2196 NEW BEST:: SOT 247261 SOS 167991 HAS SOPS 167048 HAS SOUS 78891 HAS SOUPS 77948 WITH SCORE 78115.991
AT ITER 2199 NEW BEST:: SOT 247268 SOS 167951 HAS SOPS 167001 HAS SOUS 78898 HAS SOUPS 77948 WITH SCORE 78115.951
AT ITER 2209 NEW BEST:: SOT 247132 SOS 167815 HAS SOPS 166865 HAS SOUS 78626 HAS SOUPS 77676 WITH SCORE 77843.815
AT ITER 2217 NEW BEST:: SOT 247130 SOS 167790 HAS SOPS 166840 HAS SOUS 78622 HAS SOUPS 77672 WITH SCORE 77839.79
AT ITER 2226 NEW BEST:: SOT 246522 SOS 167332 HAS SOPS 166382 HAS SOUS 78397 HAS SOUPS 77447 WITH SCORE 77614.332
AT ITER 2236 NEW BEST:: SOT 246486 SOS 167296 HAS SOPS 166346 HAS SOUS 78325 HAS SOUPS 77375 WITH SCORE 77542.296
AT ITER 2261 NEW BEST:: SOT 246420 SOS 167230 HAS SOPS 166280 HAS SOUS 78249 HAS SOUPS 77299 WITH SCORE 77466.23
AT ITER 2271 NEW BEST:: SOT 246409 SOS 167219 HAS SOPS 166269 HAS SOUS 78227 HAS SOUPS 77277 WITH SCORE 77444.219
AT ITER 2276 NEW BEST:: SOT 246405 SOS 167215 HAS SOPS 166265 HAS SOUS 78219 HAS SOUPS 77269 WITH SCORE 77436.215
AT ITER 2282 NEW BEST:: SOT 246339 SOS 167149 HAS SOPS 166199 HAS SOUS 78087 HAS SOUPS 77137 WITH SCORE 77304.149
AT ITER 2293 NEW BEST:: SOT 246331 SOS 167141 HAS SOPS 166191 HAS SOUS 78071 HAS SOUPS 77121 WITH SCORE 77288.141
AT ITER 2316 NEW BEST:: SOT 246327 SOS 167106 HAS SOPS 166156 HAS SOUS 78063 HAS SOUPS 77113 WITH SCORE 77280.106
AT ITER 2357 NEW BEST:: SOT 246319 SOS 167098 HAS SOPS 166148 HAS SOUS 78047 HAS SOUPS 77097 WITH SCORE 77264.098
AT ITER 2365 NEW BEST:: SOT 246317 SOS 167078 HAS SOPS 166130 HAS SOUS 78039 HAS SOUPS 77091 WITH SCORE 77258.078
AT ITER 2370 NEW BEST:: SOT 246304 SOS 167064 HAS SOPS 166116 HAS SOUS 78013 HAS SOUPS 77065 WITH SCORE 77232.064
AT ITER 2389 NEW BEST:: SOT 246247 SOS 167007 HAS SOPS 166059 HAS SOUS 77907 HAS SOUPS 76959 WITH SCORE 77126.007
AT ITER 2393 NEW BEST:: SOT 246157 SOS 166917 HAS SOPS 165969 HAS SOUS 77718 HAS SOUPS 76770 WITH SCORE 76936.917
AT ITER 2397 NEW BEST:: SOT 246155 SOS 166915 HAS SOPS 165967 HAS SOUS 77714 HAS SOUPS 76766 WITH SCORE 76932.915
AT ITER 2403 NEW BEST:: SOT 246105 SOS 166865 HAS SOPS 165917 HAS SOUS 77614 HAS SOUPS 76666 WITH SCORE 76832.865
AT ITER 2417 NEW BEST:: SOT 246105 SOS 166865 HAS SOPS 165917 HAS SOUS 77564 HAS SOUPS 76616 WITH SCORE 76782.865
AT ITER 2420 NEW BEST:: SOT 246105 SOS 166858 HAS SOPS 165910 HAS SOUS 77564 HAS SOUPS 76616 WITH SCORE 76782.858
AT ITER 2449 NEW BEST:: SOT 246185 SOS 166402 HAS SOPS 165454 HAS SOUS 77261 HAS SOUPS 76313 WITH SCORE 76479.402
AT ITER 2452 NEW BEST:: SOT 246145 SOS 166362 HAS SOPS 165414 HAS SOUS 77181 HAS SOUPS 76233 WITH SCORE 76399.362
AT ITER 2453 NEW BEST:: SOT 246145 SOS 166124 HAS SOPS 165210 HAS SOUS 77147 HAS SOUPS 76233 WITH SCORE 76399.124
AT ITER 2460 NEW BEST:: SOT 246134 SOS 166113 HAS SOPS 165199 HAS SOUS 77110 HAS SOUPS 76196 WITH SCORE 76362.113
AT ITER 2461 NEW BEST:: SOT 246112 SOS 165897 HAS SOPS 165042 HAS SOUS 76985 HAS SOUPS 76130 WITH SCORE 76295.897
AT ITER 2462 NEW BEST:: SOT 246103 SOS 165888 HAS SOPS 165033 HAS SOUS 76984 HAS SOUPS 76129 WITH SCORE 76294.888
AT ITER 2474 NEW BEST:: SOT 245958 SOS 165743 HAS SOPS 164888 HAS SOUS 76727 HAS SOUPS 75872 WITH SCORE 76037.743
AT ITER 2482 NEW BEST:: SOT 245930 SOS 165715 HAS SOPS 164860 HAS SOUS 76713 HAS SOUPS 75858 WITH SCORE 76023.715
AT ITER 2483 NEW BEST:: SOT 245874 SOS 165659 HAS SOPS 164804 HAS SOUS 76602 HAS SOUPS 75747 WITH SCORE 75912.659
AT ITER 2492 NEW BEST:: SOT 245859 SOS 165648 HAS SOPS 164793 HAS SOUS 76599 HAS SOUPS 75744 WITH SCORE 75909.648
AT ITER 2494 NEW BEST:: SOT 245877 SOS 165657 HAS SOPS 164802 HAS SOUS 76581 HAS SOUPS 75726 WITH SCORE 75891.657
AT ITER 2497 NEW BEST:: SOT 245773 SOS 165553 HAS SOPS 164698 HAS SOUS 76373 HAS SOUPS 75518 WITH SCORE 75683.553
AT ITER 2500 NEW BEST:: SOT 245639 SOS 165419 HAS SOPS 164564 HAS SOUS 76092 HAS SOUPS 75237 WITH SCORE 75402.419
AT ITER 2506 NEW BEST:: SOT 245545 SOS 165313 HAS SOPS 164458 HAS SOUS 75904 HAS SOUPS 75049 WITH SCORE 75214.313
AT ITER 2509 NEW BEST:: SOT 245517 SOS 165311 HAS SOPS 164456 HAS SOUS 75842 HAS SOUPS 74987 WITH SCORE 75152.311
AT ITER 2545 NEW BEST:: SOT 245476 SOS 165270 HAS SOPS 164415 HAS SOUS 75760 HAS SOUPS 74905 WITH SCORE 75070.27
AT ITER 2546 NEW BEST:: SOT 245470 SOS 165264 HAS SOPS 164409 HAS SOUS 75754 HAS SOUPS 74899 WITH SCORE 75064.264
AT ITER 2563 NEW BEST:: SOT 245468 SOS 165262 HAS SOPS 164407 HAS SOUS 75750 HAS SOUPS 74895 WITH SCORE 75060.262
AT ITER 2575 NEW BEST:: SOT 245409 SOS 165220 HAS SOPS 164365 HAS SOUS 75734 HAS SOUPS 74879 WITH SCORE 75044.22
AT ITER 2591 NEW BEST:: SOT 245408 SOS 165201 HAS SOPS 164356 HAS SOUS 75721 HAS SOUPS 74876 WITH SCORE 75041.201
AT ITER 2594 NEW BEST:: SOT 245382 SOS 165007 HAS SOPS 164162 HAS SOUS 75245 HAS SOUPS 74400 WITH SCORE 74565.007
AT ITER 2614 NEW BEST:: SOT 245102 SOS 164801 HAS SOPS 163956 HAS SOUS 75128 HAS SOUPS 74283 WITH SCORE 74447.801
AT ITER 2615 NEW BEST:: SOT 245114 SOS 164809 HAS SOPS 163964 HAS SOUS 75120 HAS SOUPS 74275 WITH SCORE 74439.809
AT ITER 2629 NEW BEST:: SOT 245011 SOS 164706 HAS SOPS 163861 HAS SOUS 74914 HAS SOUPS 74069 WITH SCORE 74233.706
AT ITER 2633 NEW BEST:: SOT 245011 SOS 164697 HAS SOPS 163852 HAS SOUS 74914 HAS SOUPS 74069 WITH SCORE 74233.697
AT ITER 2638 NEW BEST:: SOT 245184 SOS 164779 HAS SOPS 163934 HAS SOUS 74711 HAS SOUPS 73866 WITH SCORE 74030.779
AT ITER 2654 NEW BEST:: SOT 245198 SOS 164432 HAS SOPS 163587 HAS SOUS 74657 HAS SOUPS 73812 WITH SCORE 73976.432
AT ITER 2670 NEW BEST:: SOT 245157 SOS 164391 HAS SOPS 163546 HAS SOUS 74583 HAS SOUPS 73738 WITH SCORE 73902.391
AT ITER 2674 NEW BEST:: SOT 245095 SOS 164329 HAS SOPS 163484 HAS SOUS 74508 HAS SOUPS 73663 WITH SCORE 73827.329
AT ITER 2677 NEW BEST:: SOT 245019 SOS 164174 HAS SOPS 163329 HAS SOUS 74353 HAS SOUPS 73508 WITH SCORE 73672.174
AT ITER 2678 NEW BEST:: SOT 244950 SOS 164105 HAS SOPS 163260 HAS SOUS 74223 HAS SOUPS 73378 WITH SCORE 73542.105
AT ITER 2689 NEW BEST:: SOT 244932 SOS 164064 HAS SOPS 163219 HAS SOUS 74187 HAS SOUPS 73342 WITH SCORE 73506.064
AT ITER 2695 NEW BEST:: SOT 244891 SOS 164017 HAS SOPS 163172 HAS SOUS 74102 HAS SOUPS 73257 WITH SCORE 73421.017
AT ITER 2701 NEW BEST:: SOT 244874 SOS 163944 HAS SOPS 163099 HAS SOUS 73990 HAS SOUPS 73145 WITH SCORE 73308.944
AT ITER 2705 NEW BEST:: SOT 244872 SOS 163942 HAS SOPS 163097 HAS SOUS 73986 HAS SOUPS 73141 WITH SCORE 73304.942
AT ITER 2749 NEW BEST:: SOT 244872 SOS 163895 HAS SOPS 163050 HAS SOUS 73986 HAS SOUPS 73141 WITH SCORE 73304.895
AT ITER 2751 NEW BEST:: SOT 244872 SOS 163612 HAS SOPS 162767 HAS SOUS 73212 HAS SOUPS 72367 WITH SCORE 72530.612
AT ITER 2758 NEW BEST:: SOT 244868 SOS 163608 HAS SOPS 162763 HAS SOUS 73204 HAS SOUPS 72359 WITH SCORE 72522.608
AT ITER 2764 NEW BEST:: SOT 244891 SOS 163647 HAS SOPS 162802 HAS SOUS 73191 HAS SOUPS 72346 WITH SCORE 72509.647
AT ITER 2765 NEW BEST:: SOT 244938 SOS 163677 HAS SOPS 162832 HAS SOUS 73126 HAS SOUPS 72281 WITH SCORE 72444.677
AT ITER 2778 NEW BEST:: SOT 244938 SOS 163191 HAS SOPS 162346 HAS SOUS 73079 HAS SOUPS 72234 WITH SCORE 72397.191
AT ITER 2797 NEW BEST:: SOT 244844 SOS 163097 HAS SOPS 162252 HAS SOUS 72891 HAS SOUPS 72046 WITH SCORE 72209.097
AT ITER 2798 NEW BEST:: SOT 244805 SOS 163333 HAS SOPS 162488 HAS SOUS 72890 HAS SOUPS 72045 WITH SCORE 72208.333
AT ITER 2808 NEW BEST:: SOT 244731 SOS 163259 HAS SOPS 162414 HAS SOUS 72739 HAS SOUPS 71894 WITH SCORE 72057.259
AT ITER 2842 NEW BEST:: SOT 244685 SOS 163213 HAS SOPS 162368 HAS SOUS 72662 HAS SOUPS 71817 WITH SCORE 71980.213
AT ITER 2843 NEW BEST:: SOT 244718 SOS 162998 HAS SOPS 162120 HAS SOUS 72695 HAS SOUPS 71817 WITH SCORE 71979.998
AT ITER 2869 NEW BEST:: SOT 244671 SOS 162951 HAS SOPS 162073 HAS SOUS 72616 HAS SOUPS 71738 WITH SCORE 71900.951
AT ITER 2870 NEW BEST:: SOT 244692 SOS 162852 HAS SOPS 161965 HAS SOUS 72625 HAS SOUPS 71738 WITH SCORE 71900.852
AT ITER 2880 NEW BEST:: SOT 244692 SOS 162844 HAS SOPS 161957 HAS SOUS 72625 HAS SOUPS 71738 WITH SCORE 71900.844
AT ITER 2889 NEW BEST:: SOT 244698 SOS 162829 HAS SOPS 161942 HAS SOUS 72599 HAS SOUPS 71712 WITH SCORE 71874.829
AT ITER 2905 NEW BEST:: SOT 244662 SOS 162793 HAS SOPS 161906 HAS SOUS 72549 HAS SOUPS 71662 WITH SCORE 71824.793
AT ITER 2909 NEW BEST:: SOT 244637 SOS 162768 HAS SOPS 161881 HAS SOUS 72499 HAS SOUPS 71612 WITH SCORE 71774.768
AT ITER 2950 NEW BEST:: SOT 244613 SOS 162723 HAS SOPS 161836 HAS SOUS 72445 HAS SOUPS 71558 WITH SCORE 71720.723
AT ITER 2954 NEW BEST:: SOT 244540 SOS 162602 HAS SOPS 161715 HAS SOUS 72304 HAS SOUPS 71417 WITH SCORE 71579.602
AT ITER 2966 NEW BEST:: SOT 244762 SOS 162765 HAS SOPS 161878 HAS SOUS 72276 HAS SOUPS 71389 WITH SCORE 71551.765
AT ITER 2993 NEW BEST:: SOT 244447 SOS 162541 HAS SOPS 161654 HAS SOUS 72252 HAS SOUPS 71365 WITH SCORE 71527.541
AT ITER 3001 NEW BEST:: SOT 244409 SOS 162503 HAS SOPS 161616 HAS SOUS 72176 HAS SOUPS 71289 WITH SCORE 71451.503
AT ITER 3014 NEW BEST:: SOT 244350 SOS 162393 HAS SOPS 161506 HAS SOUS 72061 HAS SOUPS 71174 WITH SCORE 71336.393
AT ITER 3030 NEW BEST:: SOT 244094 SOS 162235 HAS SOPS 161348 HAS SOUS 71903 HAS SOUPS 71016 WITH SCORE 71178.235
AT ITER 3041 NEW BEST:: SOT 244042 SOS 162229 HAS SOPS 161342 HAS SOUS 71799 HAS SOUPS 70912 WITH SCORE 71074.229
AT ITER 3064 NEW BEST:: SOT 244012 SOS 162381 HAS SOPS 161494 HAS SOUS 71798 HAS SOUPS 70911 WITH SCORE 71073.381
AT ITER 3066 NEW BEST:: SOT 244003 SOS 162372 HAS SOPS 161485 HAS SOUS 71780 HAS SOUPS 70893 WITH SCORE 71055.372
AT ITER 3069 NEW BEST:: SOT 243792 SOS 162161 HAS SOPS 161274 HAS SOUS 71334 HAS SOUPS 70447 WITH SCORE 70609.161
AT ITER 3072 NEW BEST:: SOT 243814 SOS 161629 HAS SOPS 160700 HAS SOUS 71157 HAS SOUPS 70228 WITH SCORE 70389.629
AT ITER 3075 NEW BEST:: SOT 243793 SOS 161608 HAS SOPS 160679 HAS SOUS 71115 HAS SOUPS 70186 WITH SCORE 70347.608
AT ITER 3079 NEW BEST:: SOT 243771 SOS 161586 HAS SOPS 160657 HAS SOUS 71071 HAS SOUPS 70142 WITH SCORE 70303.586
AT ITER 3089 NEW BEST:: SOT 243797 SOS 161612 HAS SOPS 160683 HAS SOUS 71002 HAS SOUPS 70073 WITH SCORE 70234.612
AT ITER 3092 NEW BEST:: SOT 243535 SOS 161393 HAS SOPS 160464 HAS SOUS 70822 HAS SOUPS 69893 WITH SCORE 70054.393
AT ITER 3099 NEW BEST:: SOT 243485 SOS 161343 HAS SOPS 160414 HAS SOUS 70728 HAS SOUPS 69799 WITH SCORE 69960.343
AT ITER 3122 NEW BEST:: SOT 243405 SOS 161225 HAS SOPS 160296 HAS SOUS 70567 HAS SOUPS 69638 WITH SCORE 69799.225
AT ITER 3123 NEW BEST:: SOT 243326 SOS 161146 HAS SOPS 160217 HAS SOUS 70346 HAS SOUPS 69417 WITH SCORE 69578.146
AT ITER 3124 NEW BEST:: SOT 243411 SOS 161201 HAS SOPS 160272 HAS SOUS 70330 HAS SOUPS 69401 WITH SCORE 69562.201
AT ITER 3132 NEW BEST:: SOT 243397 SOS 161187 HAS SOPS 160258 HAS SOUS 70318 HAS SOUPS 69389 WITH SCORE 69550.187
AT ITER 3138 NEW BEST:: SOT 243399 SOS 161177 HAS SOPS 160246 HAS SOUS 70320 HAS SOUPS 69389 WITH SCORE 69550.177
AT ITER 3159 NEW BEST:: SOT 243347 SOS 161035 HAS SOPS 160104 HAS SOUS 70164 HAS SOUPS 69233 WITH SCORE 69394.035
AT ITER 3173 NEW BEST:: SOT 243347 SOS 161023 HAS SOPS 160092 HAS SOUS 70164 HAS SOUPS 69233 WITH SCORE 69394.023
AT ITER 3176 NEW BEST:: SOT 243343 SOS 161019 HAS SOPS 160088 HAS SOUS 70156 HAS SOUPS 69225 WITH SCORE 69386.019
AT ITER 3181 NEW BEST:: SOT 243343 SOS 161003 HAS SOPS 160072 HAS SOUS 70156 HAS SOUPS 69225 WITH SCORE 69386.003
AT ITER 3222 NEW BEST:: SOT 243342 SOS 161002 HAS SOPS 160071 HAS SOUS 70154 HAS SOUPS 69223 WITH SCORE 69384.002
AT ITER 3224 NEW BEST:: SOT 243247 SOS 160907 HAS SOPS 159976 HAS SOUS 69978 HAS SOUPS 69047 WITH SCORE 69207.907
AT ITER 3233 NEW BEST:: SOT 243247 SOS 160767 HAS SOPS 159836 HAS SOUS 69945 HAS SOUPS 69014 WITH SCORE 69174.767
AT ITER 3242 NEW BEST:: SOT 243201 SOS 160612 HAS SOPS 159681 HAS SOUS 69518 HAS SOUPS 68587 WITH SCORE 68747.612
AT ITER 3243 NEW BEST:: SOT 243134 SOS 160500 HAS SOPS 159569 HAS SOUS 69395 HAS SOUPS 68464 WITH SCORE 68624.5
AT ITER 3259 NEW BEST:: SOT 243126 SOS 160492 HAS SOPS 159561 HAS SOUS 69379 HAS SOUPS 68448 WITH SCORE 68608.492
AT ITER 3269 NEW BEST:: SOT 243078 SOS 160433 HAS SOPS 159502 HAS SOUS 69283 HAS SOUPS 68352 WITH SCORE 68512.433
AT ITER 3277 NEW BEST:: SOT 243199 SOS 159587 HAS SOPS 158685 HAS SOUS 69226 HAS SOUPS 68324 WITH SCORE 68483.587
AT ITER 3278 NEW BEST:: SOT 243133 SOS 159521 HAS SOPS 158619 HAS SOUS 69094 HAS SOUPS 68192 WITH SCORE 68351.521
AT ITER 3295 NEW BEST:: SOT 243051 SOS 159439 HAS SOPS 158537 HAS SOUS 68930 HAS SOUPS 68028 WITH SCORE 68187.439
AT ITER 3304 NEW BEST:: SOT 243006 SOS 159394 HAS SOPS 158492 HAS SOUS 68846 HAS SOUPS 67944 WITH SCORE 68103.394
AT ITER 3341 NEW BEST:: SOT 242994 SOS 159385 HAS SOPS 158483 HAS SOUS 68840 HAS SOUPS 67938 WITH SCORE 68097.385
AT ITER 3363 NEW BEST:: SOT 242990 SOS 159385 HAS SOPS 158483 HAS SOUS 68814 HAS SOUPS 67912 WITH SCORE 68071.385
AT ITER 3369 NEW BEST:: SOT 242926 SOS 159361 HAS SOPS 158459 HAS SOUS 68686 HAS SOUPS 67784 WITH SCORE 67943.361
AT ITER 3378 NEW BEST:: SOT 242832 SOS 159267 HAS SOPS 158365 HAS SOUS 68619 HAS SOUPS 67717 WITH SCORE 67876.267
AT ITER 3397 NEW BEST:: SOT 242906 SOS 159121 HAS SOPS 158219 HAS SOUS 68554 HAS SOUPS 67652 WITH SCORE 67811.121
AT ITER 3443 NEW BEST:: SOT 242754 SOS 158969 HAS SOPS 158067 HAS SOUS 68390 HAS SOUPS 67488 WITH SCORE 67646.969
AT ITER 3474 NEW BEST:: SOT 242754 SOS 158935 HAS SOPS 158033 HAS SOUS 68390 HAS SOUPS 67488 WITH SCORE 67646.935
AT ITER 3491 NEW BEST:: SOT 242753 SOS 158928 HAS SOPS 158026 HAS SOUS 68387 HAS SOUPS 67485 WITH SCORE 67643.928
AT ITER 3492 NEW BEST:: SOT 242752 SOS 158927 HAS SOPS 158025 HAS SOUS 68385 HAS SOUPS 67483 WITH SCORE 67641.927
AT ITER 3499 NEW BEST:: SOT 242717 SOS 158864 HAS SOPS 157962 HAS SOUS 68319 HAS SOUPS 67417 WITH SCORE 67575.864
AT ITER 3519 NEW BEST:: SOT 242738 SOS 158729 HAS SOPS 157827 HAS SOUS 67846 HAS SOUPS 66944 WITH SCORE 67102.729
AT ITER 3522 NEW BEST:: SOT 242692 SOS 158683 HAS SOPS 157781 HAS SOUS 67770 HAS SOUPS 66868 WITH SCORE 67026.683
AT ITER 3524 NEW BEST:: SOT 242609 SOS 158817 HAS SOPS 157918 HAS SOUS 67712 HAS SOUPS 66813 WITH SCORE 66971.817
AT ITER 3537 NEW BEST:: SOT 242609 SOS 158791 HAS SOPS 157892 HAS SOUS 67712 HAS SOUPS 66813 WITH SCORE 66971.791
AT ITER 3541 NEW BEST:: SOT 242583 SOS 158765 HAS SOPS 157866 HAS SOUS 67680 HAS SOUPS 66781 WITH SCORE 66939.765
AT ITER 3545 NEW BEST:: SOT 242501 SOS 158683 HAS SOPS 157784 HAS SOUS 67527 HAS SOUPS 66628 WITH SCORE 66786.683
AT ITER 3566 NEW BEST:: SOT 242483 SOS 158665 HAS SOPS 157766 HAS SOUS 67496 HAS SOUPS 66597 WITH SCORE 66755.665
AT ITER 3575 NEW BEST:: SOT 242473 SOS 158655 HAS SOPS 157756 HAS SOUS 67476 HAS SOUPS 66577 WITH SCORE 66735.655
AT ITER 3580 NEW BEST:: SOT 242478 SOS 158596 HAS SOPS 157697 HAS SOUS 67458 HAS SOUPS 66559 WITH SCORE 66717.596
AT ITER 3589 NEW BEST:: SOT 242478 SOS 158582 HAS SOPS 157683 HAS SOUS 67458 HAS SOUPS 66559 WITH SCORE 66717.582
AT ITER 3593 NEW BEST:: SOT 242346 SOS 158450 HAS SOPS 157551 HAS SOUS 67209 HAS SOUPS 66310 WITH SCORE 66468.45
AT ITER 3634 NEW BEST:: SOT 242279 SOS 158412 HAS SOPS 157513 HAS SOUS 67075 HAS SOUPS 66176 WITH SCORE 66334.412
AT ITER 3646 NEW BEST:: SOT 242279 SOS 158436 HAS SOPS 157537 HAS SOUS 67060 HAS SOUPS 66161 WITH SCORE 66319.436
AT ITER 3657 NEW BEST:: SOT 242273 SOS 158430 HAS SOPS 157531 HAS SOUS 67054 HAS SOUPS 66155 WITH SCORE 66313.43
AT ITER 3663 NEW BEST:: SOT 242239 SOS 158396 HAS SOPS 157497 HAS SOUS 66992 HAS SOUPS 66093 WITH SCORE 66251.396
AT ITER 3673 NEW BEST:: SOT 242238 SOS 158362 HAS SOPS 157463 HAS SOUS 66990 HAS SOUPS 66091 WITH SCORE 66249.362
AT ITER 3686 NEW BEST:: SOT 242196 SOS 158320 HAS SOPS 157421 HAS SOUS 66906 HAS SOUPS 66007 WITH SCORE 66165.32
AT ITER 3688 NEW BEST:: SOT 242204 SOS 158239 HAS SOPS 157311 HAS SOUS 66899 HAS SOUPS 65971 WITH SCORE 66129.239
AT ITER 3705 NEW BEST:: SOT 241826 SOS 158022 HAS SOPS 157094 HAS SOUS 66863 HAS SOUPS 65935 WITH SCORE 66093.022
AT ITER 3707 NEW BEST:: SOT 241774 SOS 157970 HAS SOPS 157042 HAS SOUS 66756 HAS SOUPS 65828 WITH SCORE 65985.97
AT ITER 3708 NEW BEST:: SOT 241774 SOS 157955 HAS SOPS 157027 HAS SOUS 66756 HAS SOUPS 65828 WITH SCORE 65985.955
AT ITER 3709 NEW BEST:: SOT 241825 SOS 157980 HAS SOPS 157052 HAS SOUS 66650 HAS SOUPS 65722 WITH SCORE 65879.98
AT ITER 3718 NEW BEST:: SOT 241823 SOS 158046 HAS SOPS 157118 HAS SOUS 66646 HAS SOUPS 65718 WITH SCORE 65876.046
AT ITER 3747 NEW BEST:: SOT 241823 SOS 158046 HAS SOPS 157118 HAS SOUS 66618 HAS SOUPS 65690 WITH SCORE 65848.046
AT ITER 3751 NEW BEST:: SOT 241819 SOS 158042 HAS SOPS 157114 HAS SOUS 66610 HAS SOUPS 65682 WITH SCORE 65840.042
AT ITER 3757 NEW BEST:: SOT 242325 SOS 158195 HAS SOPS 157267 HAS SOUS 66597 HAS SOUPS 65669 WITH SCORE 65827.195
AT ITER 3760 NEW BEST:: SOT 242109 SOS 158050 HAS SOPS 157122 HAS SOUS 66594 HAS SOUPS 65666 WITH SCORE 65824.05
AT ITER 3773 NEW BEST:: SOT 242027 SOS 157968 HAS SOPS 157040 HAS SOUS 66430 HAS SOUPS 65502 WITH SCORE 65659.968
AT ITER 3774 NEW BEST:: SOT 241998 SOS 157939 HAS SOPS 157011 HAS SOUS 66372 HAS SOUPS 65444 WITH SCORE 65601.939
AT ITER 3782 NEW BEST:: SOT 241954 SOS 157865 HAS SOPS 156937 HAS SOUS 66284 HAS SOUPS 65356 WITH SCORE 65513.865
AT ITER 3790 NEW BEST:: SOT 241937 SOS 157699 HAS SOPS 156799 HAS SOUS 66205 HAS SOUPS 65305 WITH SCORE 65462.699
AT ITER 3795 NEW BEST:: SOT 241932 SOS 157694 HAS SOPS 156794 HAS SOUS 66195 HAS SOUPS 65295 WITH SCORE 65452.694
AT ITER 3802 NEW BEST:: SOT 240738 SOS 157390 HAS SOPS 156490 HAS SOUS 65851 HAS SOUPS 64951 WITH SCORE 65108.39
AT ITER 3844 NEW BEST:: SOT 240728 SOS 157380 HAS SOPS 156480 HAS SOUS 65831 HAS SOUPS 64931 WITH SCORE 65088.38
AT ITER 3850 NEW BEST:: SOT 240501 SOS 157268 HAS SOPS 156368 HAS SOUS 65771 HAS SOUPS 64871 WITH SCORE 65028.268
AT ITER 3859 NEW BEST:: SOT 240447 SOS 157214 HAS SOPS 156314 HAS SOUS 65681 HAS SOUPS 64781 WITH SCORE 64938.214
AT ITER 3867 NEW BEST:: SOT 240439 SOS 157190 HAS SOPS 156290 HAS SOUS 65653 HAS SOUPS 64753 WITH SCORE 64910.19
AT ITER 3882 NEW BEST:: SOT 240434 SOS 157425 HAS SOPS 156489 HAS SOUS 65674 HAS SOUPS 64738 WITH SCORE 64895.425
AT ITER 3910 NEW BEST:: SOT 240308 SOS 157313 HAS SOPS 156377 HAS SOUS 65422 HAS SOUPS 64486 WITH SCORE 64643.313
AT ITER 3911 NEW BEST:: SOT 240258 SOS 157263 HAS SOPS 156327 HAS SOUS 65322 HAS SOUPS 64386 WITH SCORE 64543.263
AT ITER 3917 NEW BEST:: SOT 240186 SOS 157191 HAS SOPS 156255 HAS SOUS 65229 HAS SOUPS 64293 WITH SCORE 64450.191
AT ITER 3924 NEW BEST:: SOT 240178 SOS 157183 HAS SOPS 156247 HAS SOUS 65213 HAS SOUPS 64277 WITH SCORE 64434.183
AT ITER 3926 NEW BEST:: SOT 240178 SOS 157171 HAS SOPS 156235 HAS SOUS 65213 HAS SOUPS 64277 WITH SCORE 64434.171
AT ITER 3952 NEW BEST:: SOT 240181 SOS 157174 HAS SOPS 156238 HAS SOUS 65179 HAS SOUPS 64243 WITH SCORE 64400.174
AT ITER 3960 NEW BEST:: SOT 240181 SOS 157059 HAS SOPS 156123 HAS SOUS 65156 HAS SOUPS 64220 WITH SCORE 64377.059
AT ITER 3976 NEW BEST:: SOT 240296 SOS 156817 HAS SOPS 155881 HAS SOUS 65121 HAS SOUPS 64185 WITH SCORE 64341.817
AT ITER 4003 NEW BEST:: SOT 240269 SOS 156790 HAS SOPS 155854 HAS SOUS 64965 HAS SOUPS 64029 WITH SCORE 64185.79
AT ITER 4017 NEW BEST:: SOT 240237 SOS 156758 HAS SOPS 155822 HAS SOUS 64916 HAS SOUPS 63980 WITH SCORE 64136.758
AT ITER 4019 NEW BEST:: SOT 240139 SOS 156660 HAS SOPS 155724 HAS SOUS 64720 HAS SOUPS 63784 WITH SCORE 63940.66
AT ITER 4045 NEW BEST:: SOT 240112 SOS 156633 HAS SOPS 155697 HAS SOUS 64667 HAS SOUPS 63731 WITH SCORE 63887.633
AT ITER 4077 NEW BEST:: SOT 240050 SOS 156568 HAS SOPS 155632 HAS SOUS 64543 HAS SOUPS 63607 WITH SCORE 63763.568
AT ITER 4131 NEW BEST:: SOT 239955 SOS 156473 HAS SOPS 155537 HAS SOUS 64391 HAS SOUPS 63455 WITH SCORE 63611.473
AT ITER 4135 NEW BEST:: SOT 239889 SOS 156407 HAS SOPS 155471 HAS SOUS 64265 HAS SOUPS 63329 WITH SCORE 63485.407
AT ITER 4176 NEW BEST:: SOT 239874 SOS 156392 HAS SOPS 155456 HAS SOUS 64236 HAS SOUPS 63300 WITH SCORE 63456.392
AT ITER 4180 NEW BEST:: SOT 239920 SOS 156394 HAS SOPS 155458 HAS SOUS 64219 HAS SOUPS 63283 WITH SCORE 63439.394
AT ITER 4189 NEW BEST:: SOT 239920 SOS 156376 HAS SOPS 155440 HAS SOUS 64219 HAS SOUPS 63283 WITH SCORE 63439.376
AT ITER 4215 NEW BEST:: SOT 239950 SOS 156406 HAS SOPS 155470 HAS SOUS 64196 HAS SOUPS 63260 WITH SCORE 63416.406
AT ITER 4223 NEW BEST:: SOT 239950 SOS 156392 HAS SOPS 155456 HAS SOUS 64196 HAS SOUPS 63260 WITH SCORE 63416.392
AT ITER 4232 NEW BEST:: SOT 239937 SOS 156373 HAS SOPS 155437 HAS SOUS 64135 HAS SOUPS 63199 WITH SCORE 63355.373
AT ITER 4248 NEW BEST:: SOT 239914 SOS 156350 HAS SOPS 155414 HAS SOUS 64089 HAS SOUPS 63153 WITH SCORE 63309.35
AT ITER 4251 NEW BEST:: SOT 239904 SOS 156340 HAS SOPS 155404 HAS SOUS 64074 HAS SOUPS 63138 WITH SCORE 63294.34
AT ITER 4277 NEW BEST:: SOT 239848 SOS 156621 HAS SOPS 155685 HAS SOUS 64067 HAS SOUPS 63131 WITH SCORE 63287.621
AT ITER 4286 NEW BEST:: SOT 239606 SOS 156445 HAS SOPS 155509 HAS SOUS 64034 HAS SOUPS 63098 WITH SCORE 63254.445
AT ITER 4294 NEW BEST:: SOT 239580 SOS 156393 HAS SOPS 155457 HAS SOUS 63982 HAS SOUPS 63046 WITH SCORE 63202.393
AT ITER 4298 NEW BEST:: SOT 239746 SOS 156478 HAS SOPS 155542 HAS SOUS 63666 HAS SOUPS 62730 WITH SCORE 62886.478
AT ITER 4307 NEW BEST:: SOT 239750 SOS 156480 HAS SOPS 155544 HAS SOUS 63660 HAS SOUPS 62724 WITH SCORE 62880.48
AT ITER 4345 NEW BEST:: SOT 239750 SOS 156476 HAS SOPS 155540 HAS SOUS 63660 HAS SOUPS 62724 WITH SCORE 62880.476
AT ITER 4382 NEW BEST:: SOT 239839 SOS 156381 HAS SOPS 155409 HAS SOUS 63687 HAS SOUPS 62715 WITH SCORE 62871.381
AT ITER 4384 NEW BEST:: SOT 240143 SOS 156494 HAS SOPS 155522 HAS SOUS 63556 HAS SOUPS 62584 WITH SCORE 62740.494
AT ITER 4386 NEW BEST:: SOT 240175 SOS 156236 HAS SOPS 155264 HAS SOUS 63441 HAS SOUPS 62469 WITH SCORE 62625.236
AT ITER 4393 NEW BEST:: SOT 240175 SOS 156225 HAS SOPS 155253 HAS SOUS 63441 HAS SOUPS 62469 WITH SCORE 62625.225
AT ITER 4403 NEW BEST:: SOT 240169 SOS 156207 HAS SOPS 155235 HAS SOUS 63435 HAS SOUPS 62463 WITH SCORE 62619.207
AT ITER 4408 NEW BEST:: SOT 240136 SOS 156174 HAS SOPS 155202 HAS SOUS 63370 HAS SOUPS 62398 WITH SCORE 62554.174
AT ITER 4442 NEW BEST:: SOT 240012 SOS 156118 HAS SOPS 155146 HAS SOUS 63337 HAS SOUPS 62365 WITH SCORE 62521.118
AT ITER 4462 NEW BEST:: SOT 240044 SOS 156111 HAS SOPS 155139 HAS SOUS 63330 HAS SOUPS 62358 WITH SCORE 62514.111
AT ITER 4465 NEW BEST:: SOT 239981 SOS 156048 HAS SOPS 155076 HAS SOUS 63247 HAS SOUPS 62275 WITH SCORE 62431.048
AT ITER 4495 NEW BEST:: SOT 239955 SOS 156035 HAS SOPS 155063 HAS SOUS 63234 HAS SOUPS 62262 WITH SCORE 62418.035
AT ITER 4513 NEW BEST:: SOT 239897 SOS 156075 HAS SOPS 155103 HAS SOUS 63205 HAS SOUPS 62233 WITH SCORE 62389.075
AT ITER 4515 NEW BEST:: SOT 239868 SOS 156046 HAS SOPS 155074 HAS SOUS 63205 HAS SOUPS 62233 WITH SCORE 62389.046
AT ITER 4518 NEW BEST:: SOT 239946 SOS 156094 HAS SOPS 155122 HAS SOUS 63169 HAS SOUPS 62197 WITH SCORE 62353.094
AT ITER 4527 NEW BEST:: SOT 239925 SOS 156073 HAS SOPS 155101 HAS SOUS 63169 HAS SOUPS 62197 WITH SCORE 62353.073
AT ITER 4530 NEW BEST:: SOT 239945 SOS 156093 HAS SOPS 155121 HAS SOUS 63167 HAS SOUPS 62195 WITH SCORE 62351.093
AT ITER 4575 NEW BEST:: SOT 239945 SOS 156042 HAS SOPS 155070 HAS SOUS 63167 HAS SOUPS 62195 WITH SCORE 62351.042
AT ITER 4591 NEW BEST:: SOT 239847 SOS 155939 HAS SOPS 154967 HAS SOUS 62971 HAS SOUPS 61999 WITH SCORE 62154.939
AT ITER 4598 NEW BEST:: SOT 239831 SOS 156142 HAS SOPS 155170 HAS SOUS 62923 HAS SOUPS 61951 WITH SCORE 62107.142
AT ITER 4609 NEW BEST:: SOT 239835 SOS 156122 HAS SOPS 155146 HAS SOUS 62927 HAS SOUPS 61951 WITH SCORE 62107.122
AT ITER 4619 NEW BEST:: SOT 239790 SOS 156092 HAS SOPS 155116 HAS SOUS 62927 HAS SOUPS 61951 WITH SCORE 62107.092
AT ITER 4620 NEW BEST:: SOT 239708 SOS 156010 HAS SOPS 155034 HAS SOUS 62768 HAS SOUPS 61792 WITH SCORE 61948.01
AT ITER 4629 NEW BEST:: SOT 239613 SOS 155909 HAS SOPS 154933 HAS SOUS 62573 HAS SOUPS 61597 WITH SCORE 61752.909
AT ITER 4633 NEW BEST:: SOT 239609 SOS 155847 HAS SOPS 154871 HAS SOUS 62565 HAS SOUPS 61589 WITH SCORE 61744.847
AT ITER 4637 NEW BEST:: SOT 239693 SOS 155683 HAS SOPS 154707 HAS SOUS 62511 HAS SOUPS 61535 WITH SCORE 61690.683
AT ITER 4638 NEW BEST:: SOT 239691 SOS 155634 HAS SOPS 154658 HAS SOUS 62490 HAS SOUPS 61514 WITH SCORE 61669.634
AT ITER 4642 NEW BEST:: SOT 239685 SOS 155623 HAS SOPS 154641 HAS SOUS 62478 HAS SOUPS 61496 WITH SCORE 61651.623
AT ITER 4687 NEW BEST:: SOT 239673 SOS 155611 HAS SOPS 154629 HAS SOUS 62454 HAS SOUPS 61472 WITH SCORE 61627.611
AT ITER 4690 NEW BEST:: SOT 239673 SOS 155611 HAS SOPS 154629 HAS SOUS 62424 HAS SOUPS 61442 WITH SCORE 61597.611
AT ITER 4709 NEW BEST:: SOT 239673 SOS 155580 HAS SOPS 154598 HAS SOUS 62424 HAS SOUPS 61442 WITH SCORE 61597.58
AT ITER 4717 NEW BEST:: SOT 239673 SOS 155328 HAS SOPS 154314 HAS SOUS 62360 HAS SOUPS 61346 WITH SCORE 61501.328
AT ITER 4749 NEW BEST:: SOT 239696 SOS 155351 HAS SOPS 154337 HAS SOUS 62329 HAS SOUPS 61315 WITH SCORE 61470.351
AT ITER 4758 NEW BEST:: SOT 239681 SOS 155342 HAS SOPS 154328 HAS SOUS 62278 HAS SOUPS 61264 WITH SCORE 61419.342
AT ITER 4772 NEW BEST:: SOT 239615 SOS 155277 HAS SOPS 154196 HAS SOUS 62146 HAS SOUPS 61065 WITH SCORE 61220.277
AT ITER 4799 NEW BEST:: SOT 239615 SOS 155252 HAS SOPS 154171 HAS SOUS 62146 HAS SOUPS 61065 WITH SCORE 61220.252
AT ITER 4815 NEW BEST:: SOT 239591 SOS 155228 HAS SOPS 154147 HAS SOUS 62108 HAS SOUPS 61027 WITH SCORE 61182.228
AT ITER 4826 NEW BEST:: SOT 239591 SOS 155221 HAS SOPS 154147 HAS SOUS 62101 HAS SOUPS 61027 WITH SCORE 61182.221
AT ITER 4841 NEW BEST:: SOT 239591 SOS 155116 HAS SOPS 154057 HAS SOUS 62086 HAS SOUPS 61027 WITH SCORE 61182.116
AT ITER 4866 NEW BEST:: SOT 239621 SOS 155131 HAS SOPS 154072 HAS SOUS 62026 HAS SOUPS 60967 WITH SCORE 61122.131
AT ITER 4876 NEW BEST:: SOT 239599 SOS 155109 HAS SOPS 154050 HAS SOUS 61960 HAS SOUPS 60901 WITH SCORE 61056.109
AT ITER 4934 NEW BEST:: SOT 239593 SOS 155103 HAS SOPS 154050 HAS SOUS 61954 HAS SOUPS 60901 WITH SCORE 61056.103
AT ITER 4945 NEW BEST:: SOT 239555 SOS 155065 HAS SOPS 154012 HAS SOUS 61887 HAS SOUPS 60834 WITH SCORE 60989.065
AT ITER 4990 NEW BEST:: SOT 239782 SOS 155058 HAS SOPS 154005 HAS SOUS 61762 HAS SOUPS 60709 WITH SCORE 60864.058
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CSRepetitions-PT-07-CTLCardinality-00 (EF(( potential( (tk(P81)) <= (tk(P1) + tk(P5) + tk(P26) + tk(P30) + tk(P34) + tk(P43) + tk(P56) + tk(P60) + tk(P73) + tk(P83) + tk(P85) + tk(P87) + tk(P97) + tk(P110) + tk(P122) + tk(P123) + tk(P130) + tk(P140) + tk(P150) + tk(P158) + tk(P172) + tk(P175) + tk(P229) + tk(P234) + tk(P242) + tk(P244) + tk(P271) + tk(P274) + tk(P285) + tk(P301) + tk(P307) + tk(P315) + tk(P316) + tk(P321) + tk(P331) + tk(P334) + tk(P337) + tk(P348) + tk(P361) + tk(P364) + tk(P393) + tk(P413) + tk(P426) + tk(P432) + tk(P433) + tk(P440) + tk(P445) + tk(P458) + tk(P482)) ) | ( (! potential( (tk(P2) + tk(P3) + tk(P4) + tk(P6) + tk(P7) + tk(P9) + tk(P11) + tk(P12) + tk(P14) + tk(P15) + tk(P16) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P25) + tk(P28) + tk(P29) + tk(P32) + tk(P33) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P44) + tk(P46) + tk(P47) + tk(P49) + tk(P50) + tk(P51) + tk(P53) + tk(P54) + tk(P55) + tk(P57) + tk(P58) + tk(P59) + tk(P61) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P72) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P80) + tk(P82) + tk(P86) + tk(P88) + tk(P89) + tk(P90) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P99) + tk(P100) + tk(P101) + tk(P104) + tk(P105) + tk(P107) + tk(P108) + tk(P109) + tk(P113) + tk(P114) + tk(P115) + tk(P117) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P124) + tk(P125) + tk(P127) + tk(P128) + tk(P129) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P137) + tk(P139) + tk(P142) + tk(P144) + tk(P145) + tk(P147) + tk(P148) + tk(P149) + tk(P153) + tk(P154) + tk(P155) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P167) + tk(P168) + tk(P169) + tk(P170) + tk(P171) + tk(P173) + tk(P174) + tk(P176) + tk(P177) + tk(P178) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P189) + tk(P190) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P203) + tk(P204) + tk(P205) + tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P213) + tk(P214) + tk(P215) + tk(P216) + tk(P217) + tk(P219) + tk(P220) + tk(P221) + tk(P222) + tk(P226) + tk(P228) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P235) + tk(P236) + tk(P238) + tk(P239) + tk(P241) + tk(P243) + tk(P245) + tk(P246) + tk(P247) + tk(P248) + tk(P249) + tk(P250) + tk(P252) + tk(P253) + tk(P254) + tk(P255) + tk(P257) + tk(P258) + tk(P259) + tk(P260) + tk(P261) + tk(P262) + tk(P263) + tk(P267) + tk(P269) + tk(P270) + tk(P273) + tk(P275) + tk(P278) + tk(P279) + tk(P280) + tk(P281) + tk(P282) + tk(P283) + tk(P286) + tk(P288) + tk(P289) + tk(P290) + tk(P291) + tk(P293) + tk(P295) + tk(P297) + tk(P299) + tk(P303) + tk(P304) + tk(P305) + tk(P306) + tk(P308) + tk(P310) + tk(P311) + tk(P312) + tk(P317) + tk(P319) + tk(P320) + tk(P323) + tk(P324) + tk(P325) + tk(P326) + tk(P327) + tk(P330) + tk(P332) + tk(P333) + tk(P336) + tk(P338) + tk(P339) + tk(P340) + tk(P341) + tk(P342) + tk(P343) + tk(P344) + tk(P345) + tk(P346) + tk(P350) + tk(P352) + tk(P353) + tk(P354) + tk(P355) + tk(P356) + tk(P357) + tk(P358) + tk(P359) + tk(P360) + tk(P362) + tk(P367) + tk(P369) + tk(P370) + tk(P371) + tk(P372) + tk(P373) + tk(P374) + tk(P375) + tk(P376) + tk(P377) + tk(P378) + tk(P380) + tk(P381) + tk(P383) + tk(P384) + tk(P385) + tk(P386) + tk(P387) + tk(P389) + tk(P390) + tk(P391) + tk(P394) + tk(P395) + tk(P396) + tk(P397) + tk(P398) + tk(P399) + tk(P400) + tk(P401) + tk(P402) + tk(P403) + tk(P404) + tk(P406) + tk(P407) + tk(P408) + tk(P410) + tk(P411) + tk(P412) + tk(P414) + tk(P415) + tk(P417) + tk(P419) + tk(P420) + tk(P421) + tk(P422) + tk(P423) + tk(P424) + tk(P425) + tk(P427) + tk(P429) + tk(P431) + tk(P435) + tk(P436) + tk(P437) + tk(P438) + tk(P439) + tk(P443) + tk(P446) + tk(P447) + tk(P448) + tk(P449) + tk(P450) + tk(P451) + tk(P452) + tk(P453) + tk(P454) + tk(P455) + tk(P456) + tk(P457) + tk(P459) + tk(P460) + tk(P461) + tk(P464) + tk(P465) + tk(P466) + tk(P467) + tk(P468) + tk(P469) + tk(P470) + tk(P471) + tk(P473) + tk(P475) + tk(P477) + tk(P478) + tk(P479) + tk(P481) + tk(P483) + tk(P486) + tk(P487) + tk(P488) + tk(P489) + tk(P490) + tk(P491) + tk(P493) + tk(P494) + tk(P496) + tk(P497) + tk(P498)) <= (tk(P45) + tk(P143) + tk(P202) + tk(P256) + tk(P296) + tk(P328) + tk(P365)) )) & (! potential( ( 3 ) <= (tk(P81)) )) ) )))
PROPERTY: CSRepetitions-PT-07-CTLCardinality-01 (EU( ( ( potential( ( 1 ) <= (tk(P2) + tk(P3) + tk(P4) + tk(P6) + tk(P7) + tk(P9) + tk(P11) + tk(P12) + tk(P14) + tk(P15) + tk(P16) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P25) + tk(P28) + tk(P29) + tk(P32) + tk(P33) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P44) + tk(P46) + tk(P47) + tk(P49) + tk(P50) + tk(P51) + tk(P53) + tk(P54) + tk(P55) + tk(P57) + tk(P58) + tk(P59) + tk(P61) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P72) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P80) + tk(P82) + tk(P86) + tk(P88) + tk(P89) + tk(P90) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P99) + tk(P100) + tk(P101) + tk(P104) + tk(P105) + tk(P107) + tk(P108) + tk(P109) + tk(P113) + tk(P114) + tk(P115) + tk(P117) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P124) + tk(P125) + tk(P127) + tk(P128) + tk(P129) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P137) + tk(P139) + tk(P142) + tk(P144) + tk(P145) + tk(P147) + tk(P148) + tk(P149) + tk(P153) + tk(P154) + tk(P155) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P167) + tk(P168) + tk(P169) + tk(P170) + tk(P171) + tk(P173) + tk(P174) + tk(P176) + tk(P177) + tk(P178) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P189) + tk(P190) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P203) + tk(P204) + tk(P205) + tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P213) + tk(P214) + tk(P215) + tk(P216) + tk(P217) + tk(P219) + tk(P220) + tk(P221) + tk(P222) + tk(P226) + tk(P228) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P235) + tk(P236) + tk(P238) + tk(P239) + tk(P241) + tk(P243) + tk(P245) + tk(P246) + tk(P247) + tk(P248) + tk(P249) + tk(P250) + tk(P252) + tk(P253) + tk(P254) + tk(P255) + tk(P257) + tk(P258) + tk(P259) + tk(P260) + tk(P261) + tk(P262) + tk(P263) + tk(P267) + tk(P269) + tk(P270) + tk(P273) + tk(P275) + tk(P278) + tk(P279) + tk(P280) + tk(P281) + tk(P282) + tk(P283) + tk(P286) + tk(P288) + tk(P289) + tk(P290) + tk(P291) + tk(P293) + tk(P295) + tk(P297) + tk(P299) + tk(P303) + tk(P304) + tk(P305) + tk(P306) + tk(P308) + tk(P310) + tk(P311) + tk(P312) + tk(P317) + tk(P319) + tk(P320) + tk(P323) + tk(P324) + tk(P325) + tk(P326) + tk(P327) + tk(P330) + tk(P332) + tk(P333) + tk(P336) + tk(P338) + tk(P339) + tk(P340) + tk(P341) + tk(P342) + tk(P343) + tk(P344) + tk(P345) + tk(P346) + tk(P350) + tk(P352) + tk(P353) + tk(P354) + tk(P355) + tk(P356) + tk(P357) + tk(P358) + tk(P359) + tk(P360) + tk(P362) + tk(P367) + tk(P369) + tk(P370) + tk(P371) + tk(P372) + tk(P373) + tk(P374) + tk(P375) + tk(P376) + tk(P377) + tk(P378) + tk(P380) + tk(P381) + tk(P383) + tk(P384) + tk(P385) + tk(P386) + tk(P387) + tk(P389) + tk(P390) + tk(P391) + tk(P394) + tk(P395) + tk(P396) + tk(P397) + tk(P398) + tk(P399) + tk(P400) + tk(P401) + tk(P402) + tk(P403) + tk(P404) + tk(P406) + tk(P407) + tk(P408) + tk(P410) + tk(P411) + tk(P412) + tk(P414) + tk(P415) + tk(P417) + tk(P419) + tk(P420) + tk(P421) + tk(P422) + tk(P423) + tk(P424) + tk(P425) + tk(P427) + tk(P429) + tk(P431) + tk(P435) + tk(P436) + tk(P437) + tk(P438) + tk(P439) + tk(P443) + tk(P446) + tk(P447) + tk(P448) + tk(P449) + tk(P450) + tk(P451) + tk(P452) + tk(P453) + tk(P454) + tk(P455) + tk(P456) + tk(P457) + tk(P459) + tk(P460) + tk(P461) + tk(P464) + tk(P465) + tk(P466) + tk(P467) + tk(P468) + tk(P469) + tk(P470) + tk(P471) + tk(P473) + tk(P475) + tk(P477) + tk(P478) + tk(P479) + tk(P481) + tk(P483) + tk(P486) + tk(P487) + tk(P488) + tk(P489) + tk(P490) + tk(P491) + tk(P493) + tk(P494) + tk(P496) + tk(P497) + tk(P498)) ) | potential( ( 3 ) <= (tk(P8) + tk(P17) + tk(P24) + tk(P31) + tk(P70) + tk(P79) + tk(P84) + tk(P103) + tk(P111) + tk(P112) + tk(P138) + tk(P141) + tk(P151) + tk(P156) + tk(P157) + tk(P166) + tk(P188) + tk(P191) + tk(P196) + tk(P197) + tk(P223) + tk(P224) + tk(P225) + tk(P251) + tk(P264) + tk(P266) + tk(P272) + tk(P276) + tk(P284) + tk(P292) + tk(P294) + tk(P300) + tk(P309) + tk(P313) + tk(P322) + tk(P329) + tk(P347) + tk(P349) + tk(P363) + tk(P382) + tk(P388) + tk(P392) + tk(P405) + tk(P434) + tk(P441) + tk(P442) + tk(P444) + tk(P472) + tk(P480)) ) ) & potential( ( 3 ) <= (tk(P10) + tk(P13) + tk(P23) + tk(P27) + tk(P48) + tk(P52) + tk(P71) + tk(P91) + tk(P98) + tk(P102) + tk(P106) + tk(P116) + tk(P126) + tk(P135) + tk(P136) + tk(P146) + tk(P152) + tk(P179) + tk(P212) + tk(P218) + tk(P227) + tk(P237) + tk(P240) + tk(P265) + tk(P268) + tk(P277) + tk(P287) + tk(P298) + tk(P302) + tk(P314) + tk(P318) + tk(P335) + tk(P351) + tk(P366) + tk(P368) + tk(P379) + tk(P409) + tk(P416) + tk(P418) + tk(P428) + tk(P430) + tk(P462) + tk(P463) + tk(P474) + tk(P476) + tk(P484) + tk(P485) + tk(P492) + tk(P495)) ) ),(AG( potential( (tk(P81)) <= (tk(P81)) ))) ))
PROPERTY: CSRepetitions-PT-07-CTLCardinality-02 (AX( (EF((! potential( ( 3 ) <= (tk(P81)) ))))))
PROPERTY: CSRepetitions-PT-07-CTLCardinality-03 (AG( ( potential( ( 2 ) <= (tk(P81)) ) | ( (! potential( ( 3 ) <= (tk(P45) + tk(P143) + tk(P202) + tk(P256) + tk(P296) + tk(P328) + tk(P365)) )) | ( potential( ( 1 ) <= (tk(P81)) ) | potential( ( 2 ) <= (tk(P10) + tk(P13) + tk(P23) + tk(P27) + tk(P48) + tk(P52) + tk(P71) + tk(P91) + tk(P98) + tk(P102) + tk(P106) + tk(P116) + tk(P126) + tk(P135) + tk(P136) + tk(P146) + tk(P152) + tk(P179) + tk(P212) + tk(P218) + tk(P227) + tk(P237) + tk(P240) + tk(P265) + tk(P268) + tk(P277) + tk(P287) + tk(P298) + tk(P302) + tk(P314) + tk(P318) + tk(P335) + tk(P351) + tk(P366) + tk(P368) + tk(P379) + tk(P409) + tk(P416) + tk(P418) + tk(P428) + tk(P430) + tk(P462) + tk(P463) + tk(P474) + tk(P476) + tk(P484) + tk(P485) + tk(P492) + tk(P495)) ) ) ) )))
PROPERTY: CSRepetitions-PT-07-CTLCardinality-04 (AG( ( (EX( potential( ( 3 ) <= (tk(P45) + tk(P143) + tk(P202) + tk(P256) + tk(P296) + tk(P328) + tk(P365)) ))) & (! ( potential( (tk(P8) + tk(P17) + tk(P24) + tk(P31) + tk(P70) + tk(P79) + tk(P84) + tk(P103) + tk(P111) + tk(P112) + tk(P138) + tk(P141) + tk(P151) + tk(P156) + tk(P157) + tk(P166) + tk(P188) + tk(P191) + tk(P196) + tk(P197) + tk(P223) + tk(P224) + tk(P225) + tk(P251) + tk(P264) + tk(P266) + tk(P272) + tk(P276) + tk(P284) + tk(P292) + tk(P294) + tk(P300) + tk(P309) + tk(P313) + tk(P322) + tk(P329) + tk(P347) + tk(P349) + tk(P363) + tk(P382) + tk(P388) + tk(P392) + tk(P405) + tk(P434) + tk(P441) + tk(P442) + tk(P444) + tk(P472) + tk(P480)) <= (tk(P81)) ) & potential( (tk(P2) + tk(P3) + tk(P4) + tk(P6) + tk(P7) + tk(P9) + tk(P11) + tk(P12) + tk(P14) + tk(P15) + tk(P16) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P25) + tk(P28) + tk(P29) + tk(P32) + tk(P33) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P44) + tk(P46) + tk(P47) + tk(P49) + tk(P50) + tk(P51) + tk(P53) + tk(P54) + tk(P55) + tk(P57) + tk(P58) + tk(P59) + tk(P61) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P72) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P80) + tk(P82) + tk(P86) + tk(P88) + tk(P89) + tk(P90) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P99) + tk(P100) + tk(P101) + tk(P104) + tk(P105) + tk(P107) + tk(P108) + tk(P109) + tk(P113) + tk(P114) + tk(P115) + tk(P117) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P124) + tk(P125) + tk(P127) + tk(P128) + tk(P129) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P137) + tk(P139) + tk(P142) + tk(P144) + tk(P145) + tk(P147) + tk(P148) + tk(P149) + tk(P153) + tk(P154) + tk(P155) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P167) + tk(P168) + tk(P169) + tk(P170) + tk(P171) + tk(P173) + tk(P174) + tk(P176) + tk(P177) + tk(P178) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P189) + tk(P190) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P203) + tk(P204) + tk(P205) + tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P213) + tk(P214) + tk(P215) + tk(P216) + tk(P217) + tk(P219) + tk(P220) + tk(P221) + tk(P222) + tk(P226) + tk(P228) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P235) + tk(P236) + tk(P238) + tk(P239) + tk(P241) + tk(P243) + tk(P245) + tk(P246) + tk(P247) + tk(P248) + tk(P249) + tk(P250) + tk(P252) + tk(P253) + tk(P254) + tk(P255) + tk(P257) + tk(P258) + tk(P259) + tk(P260) + tk(P261) + tk(P262) + tk(P263) + tk(P267) + tk(P269) + tk(P270) + tk(P273) + tk(P275) + tk(P278) + tk(P279) + tk(P280) + tk(P281) + tk(P282) + tk(P283) + tk(P286) + tk(P288) + tk(P289) + tk(P290) + tk(P291) + tk(P293) + tk(P295) + tk(P297) + tk(P299) + tk(P303) + tk(P304) + tk(P305) + tk(P306) + tk(P308) + tk(P310) + tk(P311) + tk(P312) + tk(P317) + tk(P319) + tk(P320) + tk(P323) + tk(P324) + tk(P325) + tk(P326) + tk(P327) + tk(P330) + tk(P332) + tk(P333) + tk(P336) + tk(P338) + tk(P339) + tk(P340) + tk(P341) + tk(P342) + tk(P343) + tk(P344) + tk(P345) + tk(P346) + tk(P350) + tk(P352) + tk(P353) + tk(P354) + tk(P355) + tk(P356) + tk(P357) + tk(P358) + tk(P359) + tk(P360) + tk(P362) + tk(P367) + tk(P369) + tk(P370) + tk(P371) + tk(P372) + tk(P373) + tk(P374) + tk(P375) + tk(P376) + tk(P377) + tk(P378) + tk(P380) + tk(P381) + tk(P383) + tk(P384) + tk(P385) + tk(P386) + tk(P387) + tk(P389) + tk(P390) + tk(P391) + tk(P394) + tk(P395) + tk(P396) + tk(P397) + tk(P398) + tk(P399) + tk(P400) + tk(P401) + tk(P402) + tk(P403) + tk(P404) + tk(P406) + tk(P407) + tk(P408) + tk(P410) + tk(P411) + tk(P412) + tk(P414) + tk(P415) + tk(P417) + tk(P419) + tk(P420) + tk(P421) + tk(P422) + tk(P423) + tk(P424) + tk(P425) + tk(P427) + tk(P429) + tk(P431) + tk(P435) + tk(P436) + tk(P437) + tk(P438) + tk(P439) + tk(P443) + tk(P446) + tk(P447) + tk(P448) + tk(P449) + tk(P450) + tk(P451) + tk(P452) + tk(P453) + tk(P454) + tk(P455) + tk(P456) + tk(P457) + tk(P459) + tk(P460) + tk(P461) + tk(P464) + tk(P465) + tk(P466) + tk(P467) + tk(P468) + tk(P469) + tk(P470) + tk(P471) + tk(P473) + tk(P475) + tk(P477) + tk(P478) + tk(P479) + tk(P481) + tk(P483) + tk(P486) + tk(P487) + tk(P488) + tk(P489) + tk(P490) + tk(P491) + tk(P493) + tk(P494) + tk(P496) + tk(P497) + tk(P498)) <= (tk(P8) + tk(P17) + tk(P24) + tk(P31) + tk(P70) + tk(P79) + tk(P84) + tk(P103) + tk(P111) + tk(P112) + tk(P138) + tk(P141) + tk(P151) + tk(P156) + tk(P157) + tk(P166) + tk(P188) + tk(P191) + tk(P196) + tk(P197) + tk(P223) + tk(P224) + tk(P225) + tk(P251) + tk(P264) + tk(P266) + tk(P272) + tk(P276) + tk(P284) + tk(P292) + tk(P294) + tk(P300) + tk(P309) + tk(P313) + tk(P322) + tk(P329) + tk(P347) + tk(P349) + tk(P363) + tk(P382) + tk(P388) + tk(P392) + tk(P405) + tk(P434) + tk(P441) + tk(P442) + tk(P444) + tk(P472) + tk(P480)) ) )) )))
PROPERTY: CSRepetitions-PT-07-CTLCardinality-05 (EX( (AG( ( potential( ( 1 ) <= (tk(P10) + tk(P13) + tk(P23) + tk(P27) + tk(P48) + tk(P52) + tk(P71) + tk(P91) + tk(P98) + tk(P102) + tk(P106) + tk(P116) + tk(P126) + tk(P135) + tk(P136) + tk(P146) + tk(P152) + tk(P179) + tk(P212) + tk(P218) + tk(P227) + tk(P237) + tk(P240) + tk(P265) + tk(P268) + tk(P277) + tk(P287) + tk(P298) + tk(P302) + tk(P314) + tk(P318) + tk(P335) + tk(P351) + tk(P366) + tk(P368) + tk(P379) + tk(P409) + tk(P416) + tk(P418) + tk(P428) + tk(P430) + tk(P462) + tk(P463) + tk(P474) + tk(P476) + tk(P484) + tk(P485) + tk(P492) + tk(P495)) ) | potential( (tk(P10) + tk(P13) + tk(P23) + tk(P27) + tk(P48) + tk(P52) + tk(P71) + tk(P91) + tk(P98) + tk(P102) + tk(P106) + tk(P116) + tk(P126) + tk(P135) + tk(P136) + tk(P146) + tk(P152) + tk(P179) + tk(P212) + tk(P218) + tk(P227) + tk(P237) + tk(P240) + tk(P265) + tk(P268) + tk(P277) + tk(P287) + tk(P298) + tk(P302) + tk(P314) + tk(P318) + tk(P335) + tk(P351) + tk(P366) + tk(P368) + tk(P379) + tk(P409) + tk(P416) + tk(P418) + tk(P428) + tk(P430) + tk(P462) + tk(P463) + tk(P474) + tk(P476) + tk(P484) + tk(P485) + tk(P492) + tk(P495)) <= (tk(P45) + tk(P143) + tk(P202) + tk(P256) + tk(P296) + tk(P328) + tk(P365)) ) )))))
PROPERTY: CSRepetitions-PT-07-CTLCardinality-06 (AX( (EF(potential( ( 3 ) <= (tk(P2) + tk(P3) + tk(P4) + tk(P6) + tk(P7) + tk(P9) + tk(P11) + tk(P12) + tk(P14) + tk(P15) + tk(P16) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P25) + tk(P28) + tk(P29) + tk(P32) + tk(P33) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P44) + tk(P46) + tk(P47) + tk(P49) + tk(P50) + tk(P51) + tk(P53) + tk(P54) + tk(P55) + tk(P57) + tk(P58) + tk(P59) + tk(P61) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P72) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P80) + tk(P82) + tk(P86) + tk(P88) + tk(P89) + tk(P90) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P99) + tk(P100) + tk(P101) + tk(P104) + tk(P105) + tk(P107) + tk(P108) + tk(P109) + tk(P113) + tk(P114) + tk(P115) + tk(P117) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P124) + tk(P125) + tk(P127) + tk(P128) + tk(P129) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P137) + tk(P139) + tk(P142) + tk(P144) + tk(P145) + tk(P147) + tk(P148) + tk(P149) + tk(P153) + tk(P154) + tk(P155) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P167) + tk(P168) + tk(P169) + tk(P170) + tk(P171) + tk(P173) + tk(P174) + tk(P176) + tk(P177) + tk(P178) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P189) + tk(P190) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P203) + tk(P204) + tk(P205) + tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P213) + tk(P214) + tk(P215) + tk(P216) + tk(P217) + tk(P219) + tk(P220) + tk(P221) + tk(P222) + tk(P226) + tk(P228) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P235) + tk(P236) + tk(P238) + tk(P239) + tk(P241) + tk(P243) + tk(P245) + tk(P246) + tk(P247) + tk(P248) + tk(P249) + tk(P250) + tk(P252) + tk(P253) + tk(P254) + tk(P255) + tk(P257) + tk(P258) + tk(P259) + tk(P260) + tk(P261) + tk(P262) + tk(P263) + tk(P267) + tk(P269) + tk(P270) + tk(P273) + tk(P275) + tk(P278) + tk(P279) + tk(P280) + tk(P281) + tk(P282) + tk(P283) + tk(P286) + tk(P288) + tk(P289) + tk(P290) + tk(P291) + tk(P293) + tk(P295) + tk(P297) + tk(P299) + tk(P303) + tk(P304) + tk(P305) + tk(P306) + tk(P308) + tk(P310) + tk(P311) + tk(P312) + tk(P317) + tk(P319) + tk(P320) + tk(P323) + tk(P324) + tk(P325) + tk(P326) + tk(P327) + tk(P330) + tk(P332) + tk(P333) + tk(P336) + tk(P338) + tk(P339) + tk(P340) + tk(P341) + tk(P342) + tk(P343) + tk(P344) + tk(P345) + tk(P346) + tk(P350) + tk(P352) + tk(P353) + tk(P354) + tk(P355) + tk(P356) + tk(P357) + tk(P358) + tk(P359) + tk(P360) + tk(P362) + tk(P367) + tk(P369) + tk(P370) + tk(P371) + tk(P372) + tk(P373) + tk(P374) + tk(P375) + tk(P376) + tk(P377) + tk(P378) + tk(P380) + tk(P381) + tk(P383) + tk(P384) + tk(P385) + tk(P386) + tk(P387) + tk(P389) + tk(P390) + tk(P391) + tk(P394) + tk(P395) + tk(P396) + tk(P397) + tk(P398) + tk(P399) + tk(P400) + tk(P401) + tk(P402) + tk(P403) + tk(P404) + tk(P406) + tk(P407) + tk(P408) + tk(P410) + tk(P411) + tk(P412) + tk(P414) + tk(P415) + tk(P417) + tk(P419) + tk(P420) + tk(P421) + tk(P422) + tk(P423) + tk(P424) + tk(P425) + tk(P427) + tk(P429) + tk(P431) + tk(P435) + tk(P436) + tk(P437) + tk(P438) + tk(P439) + tk(P443) + tk(P446) + tk(P447) + tk(P448) + tk(P449) + tk(P450) + tk(P451) + tk(P452) + tk(P453) + tk(P454) + tk(P455) + tk(P456) + tk(P457) + tk(P459) + tk(P460) + tk(P461) + tk(P464) + tk(P465) + tk(P466) + tk(P467) + tk(P468) + tk(P469) + tk(P470) + tk(P471) + tk(P473) + tk(P475) + tk(P477) + tk(P478) + tk(P479) + tk(P481) + tk(P483) + tk(P486) + tk(P487) + tk(P488) + tk(P489) + tk(P490) + tk(P491) + tk(P493) + tk(P494) + tk(P496) + tk(P497) + tk(P498)) )))))
PROPERTY: CSRepetitions-PT-07-CTLCardinality-07 (! (EG( ( ( potential( (tk(P81)) <= (tk(P10) + tk(P13) + tk(P23) + tk(P27) + tk(P48) + tk(P52) + tk(P71) + tk(P91) + tk(P98) + tk(P102) + tk(P106) + tk(P116) + tk(P126) + tk(P135) + tk(P136) + tk(P146) + tk(P152) + tk(P179) + tk(P212) + tk(P218) + tk(P227) + tk(P237) + tk(P240) + tk(P265) + tk(P268) + tk(P277) + tk(P287) + tk(P298) + tk(P302) + tk(P314) + tk(P318) + tk(P335) + tk(P351) + tk(P366) + tk(P368) + tk(P379) + tk(P409) + tk(P416) + tk(P418) + tk(P428) + tk(P430) + tk(P462) + tk(P463) + tk(P474) + tk(P476) + tk(P484) + tk(P485) + tk(P492) + tk(P495)) ) | potential( ( 3 ) <= (tk(P8) + tk(P17) + tk(P24) + tk(P31) + tk(P70) + tk(P79) + tk(P84) + tk(P103) + tk(P111) + tk(P112) + tk(P138) + tk(P141) + tk(P151) + tk(P156) + tk(P157) + tk(P166) + tk(P188) + tk(P191) + tk(P196) + tk(P197) + tk(P223) + tk(P224) + tk(P225) + tk(P251) + tk(P264) + tk(P266) + tk(P272) + tk(P276) + tk(P284) + tk(P292) + tk(P294) + tk(P300) + tk(P309) + tk(P313) + tk(P322) + tk(P329) + tk(P347) + tk(P349) + tk(P363) + tk(P382) + tk(P388) + tk(P392) + tk(P405) + tk(P434) + tk(P441) + tk(P442) + tk(P444) + tk(P472) + tk(P480)) ) ) & potential( ( 2 ) <= (tk(P45) + tk(P143) + tk(P202) + tk(P256) + tk(P296) + tk(P328) + tk(P365)) ) ))))
PROPERTY: CSRepetitions-PT-07-CTLCardinality-08 (! (AF((! (! potential( ( 1 ) <= (tk(P211)) ))))))
PROPERTY: CSRepetitions-PT-07-CTLCardinality-09 (AG( (! potential( ( 3 ) <= (tk(P342)) ))))
PROPERTY: CSRepetitions-PT-07-CTLCardinality-10 (AF((AF((! potential( (tk(P252)) <= (tk(P460)) ))))))
PROPERTY: CSRepetitions-PT-07-CTLCardinality-11 (! (EG( (EF(potential( (tk(P96)) <= (tk(P21)) ))))))
PROPERTY: CSRepetitions-PT-07-CTLCardinality-12 ( ( (AU( potential( ( 2 ) <= (tk(P269)) ),potential( (tk(P11)) <= (tk(P489)) ) )) & ( ( (! potential( ( 2 ) <= (tk(P166)) )) & potential( ( 3 ) <= (tk(P76)) ) ) & potential( (tk(P34)) <= (tk(P20)) ) ) ) | ( (AG( ( potential( ( 1 ) <= (tk(P296)) ) | potential( (tk(P130)) <= (tk(P371)) ) ))) | ( (EF(potential( ( 2 ) <= (tk(P484)) ))) & ( ( potential( (tk(P272)) <= (tk(P126)) ) & potential( (tk(P123)) <= (tk(P431)) ) ) & (! potential( (tk(P191)) <= (tk(P16)) )) ) ) ) )
PROPERTY: CSRepetitions-PT-07-CTLCardinality-13 ( potential( (tk(P439)) <= (tk(P333)) ) & (EG( (! ( potential( ( 2 ) <= (tk(P334)) ) & potential( ( 3 ) <= (tk(P104)) ) )))) )
PROPERTY: CSRepetitions-PT-07-CTLCardinality-14 ( (EG( (AF(potential( ( 3 ) <= (tk(P337)) ))))) | (! (EF(( potential( (tk(P255)) <= (tk(P444)) ) | potential( (tk(P335)) <= (tk(P224)) ) )))) )
PROPERTY: CSRepetitions-PT-07-CTLCardinality-15 (EF(( (AX( potential( (tk(P89)) <= (tk(P173)) ))) & (EX( potential( ( 3 ) <= (tk(P168)) ))) )))

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="CSRepetitions-PT-07"
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 CSRepetitions-PT-07, 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 r018-oct2-158897680300691"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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