Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961251000731.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off 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 Peterson-PT-5, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961251000731
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 63K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 170K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 72K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 245K 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 54K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 165K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 30K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 99K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 49K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 137K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 50K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 169K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 11K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 22K 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 2 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 911K 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 Peterson-PT-5-CTLCardinality-00
FORMULA_NAME Peterson-PT-5-CTLCardinality-01
FORMULA_NAME Peterson-PT-5-CTLCardinality-02
FORMULA_NAME Peterson-PT-5-CTLCardinality-03
FORMULA_NAME Peterson-PT-5-CTLCardinality-04
FORMULA_NAME Peterson-PT-5-CTLCardinality-05
FORMULA_NAME Peterson-PT-5-CTLCardinality-06
FORMULA_NAME Peterson-PT-5-CTLCardinality-07
FORMULA_NAME Peterson-PT-5-CTLCardinality-08
FORMULA_NAME Peterson-PT-5-CTLCardinality-09
FORMULA_NAME Peterson-PT-5-CTLCardinality-10
FORMULA_NAME Peterson-PT-5-CTLCardinality-11
FORMULA_NAME Peterson-PT-5-CTLCardinality-12
FORMULA_NAME Peterson-PT-5-CTLCardinality-13
FORMULA_NAME Peterson-PT-5-CTLCardinality-14
FORMULA_NAME Peterson-PT-5-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589646517410

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Peterson (PT), instance 5
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: 834 places, 1242 transitions, 3828 arcs.
AT ITER 0 NEW BEST:: SOT 740983 SOS 327356 HAS SOPS 310724 HAS SOUS 310102 HAS SOUPS 300170 WITH SCORE 300497.356
AT ITER 3 NEW BEST:: SOT 740922 SOS 327310 HAS SOPS 310678 HAS SOUS 310040 HAS SOUPS 300108 WITH SCORE 300435.31
AT ITER 6 NEW BEST:: SOT 740904 SOS 327274 HAS SOPS 310624 HAS SOUS 310004 HAS SOUPS 300072 WITH SCORE 300399.274
AT ITER 7 NEW BEST:: SOT 740761 SOS 326970 HAS SOPS 310622 HAS SOUS 309379 HAS SOUPS 299590 WITH SCORE 299916.97
AT ITER 8 NEW BEST:: SOT 740552 SOS 326635 HAS SOPS 310642 HAS SOUS 308375 HAS SOUPS 298806 WITH SCORE 299132.635
AT ITER 9 NEW BEST:: SOT 740446 SOS 326423 HAS SOPS 310430 HAS SOUS 308163 HAS SOUPS 298594 WITH SCORE 298920.423
AT ITER 12 NEW BEST:: SOT 740340 SOS 326369 HAS SOPS 310376 HAS SOUS 308059 HAS SOUPS 298490 WITH SCORE 298816.369
AT ITER 21 NEW BEST:: SOT 740101 SOS 325535 HAS SOPS 309898 HAS SOUS 307273 HAS SOUPS 298012 WITH SCORE 298337.535
AT ITER 24 NEW BEST:: SOT 740101 SOS 325339 HAS SOPS 309702 HAS SOUS 307273 HAS SOUPS 298012 WITH SCORE 298337.339
AT ITER 28 NEW BEST:: SOT 739978 SOS 325093 HAS SOPS 309456 HAS SOUS 307027 HAS SOUPS 297766 WITH SCORE 298091.093
AT ITER 30 NEW BEST:: SOT 739758 SOS 324653 HAS SOPS 309016 HAS SOUS 306587 HAS SOUPS 297326 WITH SCORE 297650.653
AT ITER 31 NEW BEST:: SOT 739626 SOS 324389 HAS SOPS 308752 HAS SOUS 306323 HAS SOUPS 297062 WITH SCORE 297386.389
AT ITER 32 NEW BEST:: SOT 739413 SOS 323940 HAS SOPS 308687 HAS SOUS 303763 HAS SOUPS 294730 WITH SCORE 295053.94
AT ITER 37 NEW BEST:: SOT 735488 SOS 322272 HAS SOPS 307203 HAS SOUS 300181 HAS SOUPS 291158 WITH SCORE 291480.272
AT ITER 38 NEW BEST:: SOT 735436 SOS 322225 HAS SOPS 307151 HAS SOUS 300129 HAS SOUPS 291106 WITH SCORE 291428.225
AT ITER 47 NEW BEST:: SOT 735855 SOS 322921 HAS SOPS 306144 HAS SOUS 299247 HAS SOUPS 290061 WITH SCORE 290383.921
AT ITER 49 NEW BEST:: SOT 732961 SOS 321171 HAS SOPS 304645 HAS SOUS 296468 HAS SOUPS 287533 WITH SCORE 287854.171
AT ITER 51 NEW BEST:: SOT 730155 SOS 319113 HAS SOPS 302783 HAS SOUS 294163 HAS SOUPS 285226 WITH SCORE 285545.113
AT ITER 53 NEW BEST:: SOT 730082 SOS 319022 HAS SOPS 302764 HAS SOUS 294090 HAS SOUPS 285153 WITH SCORE 285472.022
AT ITER 54 NEW BEST:: SOT 730082 SOS 318994 HAS SOPS 302867 HAS SOUS 293768 HAS SOUPS 284962 WITH SCORE 285280.994
AT ITER 57 NEW BEST:: SOT 730399 SOS 319399 HAS SOPS 301703 HAS SOUS 292948 HAS SOUPS 284137 WITH SCORE 284456.399
AT ITER 58 NEW BEST:: SOT 730228 SOS 319535 HAS SOPS 301839 HAS SOUS 292743 HAS SOUPS 283932 WITH SCORE 284251.535
AT ITER 59 NEW BEST:: SOT 730150 SOS 319616 HAS SOPS 301920 HAS SOUS 292681 HAS SOUPS 283870 WITH SCORE 284189.616
AT ITER 61 NEW BEST:: SOT 730150 SOS 319521 HAS SOPS 301920 HAS SOUS 292681 HAS SOUPS 283870 WITH SCORE 284189.521
AT ITER 66 NEW BEST:: SOT 730054 SOS 319491 HAS SOPS 302025 HAS SOUS 292604 HAS SOUPS 283814 WITH SCORE 284133.491
AT ITER 68 NEW BEST:: SOT 729952 SOS 319389 HAS SOPS 301923 HAS SOUS 292400 HAS SOUPS 283610 WITH SCORE 283929.389
AT ITER 69 NEW BEST:: SOT 729779 SOS 319895 HAS SOPS 302482 HAS SOUS 292280 HAS SOUPS 283490 WITH SCORE 283809.895
AT ITER 73 NEW BEST:: SOT 729766 SOS 319928 HAS SOPS 302513 HAS SOUS 292267 HAS SOUPS 283479 WITH SCORE 283798.928
AT ITER 75 NEW BEST:: SOT 729511 SOS 319157 HAS SOPS 302196 HAS SOUS 289426 HAS SOUPS 280893 WITH SCORE 281212.157
AT ITER 81 NEW BEST:: SOT 729492 SOS 319052 HAS SOPS 301823 HAS SOUS 289120 HAS SOUPS 280587 WITH SCORE 280906.052
AT ITER 87 NEW BEST:: SOT 729492 SOS 318913 HAS SOPS 301823 HAS SOUS 289120 HAS SOUPS 280587 WITH SCORE 280905.913
AT ITER 88 NEW BEST:: SOT 729427 SOS 318718 HAS SOPS 301628 HAS SOUS 288990 HAS SOUPS 280457 WITH SCORE 280775.718
AT ITER 89 NEW BEST:: SOT 729368 SOS 318733 HAS SOPS 301586 HAS SOUS 288980 HAS SOUPS 280447 WITH SCORE 280765.733
AT ITER 91 NEW BEST:: SOT 729295 SOS 318492 HAS SOPS 301440 HAS SOUS 288834 HAS SOUPS 280301 WITH SCORE 280619.492
AT ITER 94 NEW BEST:: SOT 729295 SOS 318492 HAS SOPS 300650 HAS SOUS 288269 HAS SOUPS 279511 WITH SCORE 279829.492
AT ITER 101 NEW BEST:: SOT 729154 SOS 318210 HAS SOPS 300368 HAS SOUS 287987 HAS SOUPS 279229 WITH SCORE 279547.21
AT ITER 103 NEW BEST:: SOT 729881 SOS 319463 HAS SOPS 299796 HAS SOUS 287239 HAS SOUPS 278477 WITH SCORE 278796.463
AT ITER 106 NEW BEST:: SOT 729861 SOS 319880 HAS SOPS 300263 HAS SOUS 287212 HAS SOUPS 278450 WITH SCORE 278769.88
AT ITER 109 NEW BEST:: SOT 729861 SOS 319747 HAS SOPS 300263 HAS SOUS 287212 HAS SOUPS 278450 WITH SCORE 278769.747
AT ITER 112 NEW BEST:: SOT 729824 SOS 319462 HAS SOPS 299978 HAS SOUS 287138 HAS SOUPS 278376 WITH SCORE 278695.462
AT ITER 121 NEW BEST:: SOT 729808 SOS 319430 HAS SOPS 299946 HAS SOUS 287106 HAS SOUPS 278344 WITH SCORE 278663.43
AT ITER 123 NEW BEST:: SOT 729498 SOS 319396 HAS SOPS 300015 HAS SOUS 286904 HAS SOUPS 278142 WITH SCORE 278461.396
AT ITER 124 NEW BEST:: SOT 729403 SOS 319484 HAS SOPS 300103 HAS SOUS 286809 HAS SOUPS 278047 WITH SCORE 278366.484
AT ITER 126 NEW BEST:: SOT 729234 SOS 319146 HAS SOPS 299765 HAS SOUS 286694 HAS SOUPS 277932 WITH SCORE 278251.146
AT ITER 128 NEW BEST:: SOT 729152 SOS 318982 HAS SOPS 299601 HAS SOUS 286530 HAS SOUPS 277768 WITH SCORE 278086.982
AT ITER 129 NEW BEST:: SOT 726310 SOS 321761 HAS SOPS 303007 HAS SOUS 284820 HAS SOUPS 276246 WITH SCORE 276567.761
AT ITER 130 NEW BEST:: SOT 727733 SOS 323551 HAS SOPS 302973 HAS SOUS 285504 HAS SOUPS 276212 WITH SCORE 276535.551
AT ITER 131 NEW BEST:: SOT 727715 SOS 323379 HAS SOPS 302597 HAS SOUS 285264 HAS SOUPS 275972 WITH SCORE 276295.379
AT ITER 132 NEW BEST:: SOT 727500 SOS 322949 HAS SOPS 302167 HAS SOUS 284834 HAS SOUPS 275542 WITH SCORE 275864.949
AT ITER 138 NEW BEST:: SOT 727370 SOS 322308 HAS SOPS 301640 HAS SOUS 284460 HAS SOUPS 275282 WITH SCORE 275604.308
AT ITER 139 NEW BEST:: SOT 727356 SOS 322280 HAS SOPS 301612 HAS SOUS 284432 HAS SOUPS 275254 WITH SCORE 275576.28
AT ITER 140 NEW BEST:: SOT 727330 SOS 322228 HAS SOPS 301560 HAS SOUS 284380 HAS SOUPS 275202 WITH SCORE 275524.228
AT ITER 147 NEW BEST:: SOT 724447 SOS 323277 HAS SOPS 303183 HAS SOUS 282668 HAS SOUPS 273490 WITH SCORE 273813.277
AT ITER 150 NEW BEST:: SOT 724447 SOS 323097 HAS SOPS 303473 HAS SOUS 280361 HAS SOUPS 271453 WITH SCORE 271776.097
AT ITER 151 NEW BEST:: SOT 724371 SOS 322945 HAS SOPS 303321 HAS SOUS 280209 HAS SOUPS 271301 WITH SCORE 271623.945
AT ITER 154 NEW BEST:: SOT 724331 SOS 322905 HAS SOPS 303281 HAS SOUS 280169 HAS SOUPS 271261 WITH SCORE 271583.905
AT ITER 155 NEW BEST:: SOT 724330 SOS 323009 HAS SOPS 303279 HAS SOUS 280167 HAS SOUPS 271259 WITH SCORE 271582.009
AT ITER 158 NEW BEST:: SOT 724282 SOS 322899 HAS SOPS 303121 HAS SOUS 280119 HAS SOUPS 271211 WITH SCORE 271533.899
AT ITER 160 NEW BEST:: SOT 723631 SOS 322062 HAS SOPS 302136 HAS SOUS 278219 HAS SOUPS 269311 WITH SCORE 269633.062
AT ITER 161 NEW BEST:: SOT 723444 SOS 321634 HAS SOPS 301708 HAS SOUS 277845 HAS SOUPS 268937 WITH SCORE 269258.634
AT ITER 162 NEW BEST:: SOT 724231 SOS 321203 HAS SOPS 300272 HAS SOUS 277947 HAS SOUPS 268793 WITH SCORE 269114.203
AT ITER 164 NEW BEST:: SOT 724231 SOS 321030 HAS SOPS 300099 HAS SOUS 277947 HAS SOUPS 268793 WITH SCORE 269114.03
AT ITER 167 NEW BEST:: SOT 724164 SOS 320963 HAS SOPS 300032 HAS SOUS 277813 HAS SOUPS 268659 WITH SCORE 268979.963
AT ITER 172 NEW BEST:: SOT 724073 SOS 320984 HAS SOPS 300053 HAS SOUS 277788 HAS SOUPS 268634 WITH SCORE 268954.984
AT ITER 173 NEW BEST:: SOT 724073 SOS 320928 HAS SOPS 300053 HAS SOUS 277788 HAS SOUPS 268634 WITH SCORE 268954.928
AT ITER 179 NEW BEST:: SOT 724069 SOS 320920 HAS SOPS 298660 HAS SOUS 276395 HAS SOUPS 267241 WITH SCORE 267561.92
AT ITER 180 NEW BEST:: SOT 724069 SOS 320814 HAS SOPS 298660 HAS SOUS 276395 HAS SOUPS 267241 WITH SCORE 267561.814
AT ITER 181 NEW BEST:: SOT 723912 SOS 320657 HAS SOPS 298503 HAS SOUS 276081 HAS SOUPS 266927 WITH SCORE 267247.657
AT ITER 182 NEW BEST:: SOT 723698 SOS 320229 HAS SOPS 298075 HAS SOUS 275653 HAS SOUPS 266499 WITH SCORE 266819.229
AT ITER 184 NEW BEST:: SOT 723498 SOS 320029 HAS SOPS 297875 HAS SOUS 275253 HAS SOUPS 266099 WITH SCORE 266419.029
AT ITER 187 NEW BEST:: SOT 723498 SOS 319842 HAS SOPS 297875 HAS SOUS 275253 HAS SOUPS 266099 WITH SCORE 266418.842
AT ITER 191 NEW BEST:: SOT 723155 SOS 319156 HAS SOPS 297189 HAS SOUS 274567 HAS SOUPS 265413 WITH SCORE 265732.156
AT ITER 199 NEW BEST:: SOT 723056 SOS 318986 HAS SOPS 297019 HAS SOUS 274467 HAS SOUPS 265313 WITH SCORE 265631.986
AT ITER 200 NEW BEST:: SOT 722992 SOS 318858 HAS SOPS 296891 HAS SOUS 274339 HAS SOUPS 265185 WITH SCORE 265503.858
AT ITER 204 NEW BEST:: SOT 722902 SOS 318678 HAS SOPS 296711 HAS SOUS 274159 HAS SOUPS 265005 WITH SCORE 265323.678
AT ITER 205 NEW BEST:: SOT 722953 SOS 318780 HAS SOPS 296443 HAS SOUS 273891 HAS SOUPS 264737 WITH SCORE 265055.78
AT ITER 209 NEW BEST:: SOT 722945 SOS 318621 HAS SOPS 296284 HAS SOUS 273875 HAS SOUPS 264721 WITH SCORE 265039.621
AT ITER 210 NEW BEST:: SOT 722023 SOS 318001 HAS SOPS 295714 HAS SOUS 273050 HAS SOUPS 263896 WITH SCORE 264214.001
AT ITER 213 NEW BEST:: SOT 721845 SOS 317742 HAS SOPS 295385 HAS SOUS 272763 HAS SOUPS 263609 WITH SCORE 263926.742
AT ITER 217 NEW BEST:: SOT 721845 SOS 317337 HAS SOPS 294980 HAS SOUS 272763 HAS SOUPS 263609 WITH SCORE 263926.337
AT ITER 218 NEW BEST:: SOT 721542 SOS 316609 HAS SOPS 294252 HAS SOUS 272388 HAS SOUPS 263234 WITH SCORE 263550.609
AT ITER 220 NEW BEST:: SOT 721455 SOS 316534 HAS SOPS 294095 HAS SOUS 272383 HAS SOUPS 263147 WITH SCORE 263463.534
AT ITER 221 NEW BEST:: SOT 721397 SOS 316520 HAS SOPS 294081 HAS SOUS 272267 HAS SOUPS 263031 WITH SCORE 263347.52
AT ITER 223 NEW BEST:: SOT 721397 SOS 316452 HAS SOPS 294013 HAS SOUS 272267 HAS SOUPS 263031 WITH SCORE 263347.452
AT ITER 225 NEW BEST:: SOT 721200 SOS 316084 HAS SOPS 293619 HAS SOUS 271873 HAS SOUPS 262637 WITH SCORE 262953.084
AT ITER 227 NEW BEST:: SOT 719797 SOS 316098 HAS SOPS 293952 HAS SOUS 271336 HAS SOUPS 262104 WITH SCORE 262420.098
AT ITER 230 NEW BEST:: SOT 719734 SOS 315972 HAS SOPS 293826 HAS SOUS 271210 HAS SOUPS 261978 WITH SCORE 262293.972
AT ITER 236 NEW BEST:: SOT 719613 SOS 315730 HAS SOPS 293584 HAS SOUS 270968 HAS SOUPS 261736 WITH SCORE 262051.73
AT ITER 237 NEW BEST:: SOT 719557 SOS 315618 HAS SOPS 293472 HAS SOUS 270953 HAS SOUPS 261721 WITH SCORE 262036.618
AT ITER 239 NEW BEST:: SOT 719655 SOS 312225 HAS SOPS 289741 HAS SOUS 270551 HAS SOUPS 261319 WITH SCORE 261631.225
AT ITER 240 NEW BEST:: SOT 719607 SOS 312098 HAS SOPS 289614 HAS SOUS 270503 HAS SOUPS 261271 WITH SCORE 261583.098
AT ITER 242 NEW BEST:: SOT 719557 SOS 311822 HAS SOPS 289514 HAS SOUS 270403 HAS SOUPS 261171 WITH SCORE 261482.822
AT ITER 254 NEW BEST:: SOT 719556 SOS 311821 HAS SOPS 289513 HAS SOUS 270402 HAS SOUPS 261170 WITH SCORE 261481.821
AT ITER 264 NEW BEST:: SOT 719506 SOS 311737 HAS SOPS 289429 HAS SOUS 270302 HAS SOUPS 261070 WITH SCORE 261381.737
AT ITER 270 NEW BEST:: SOT 719183 SOS 311417 HAS SOPS 289123 HAS SOUS 269750 HAS SOUPS 260539 WITH SCORE 260850.417
AT ITER 272 NEW BEST:: SOT 719133 SOS 311482 HAS SOPS 289168 HAS SOUS 269735 HAS SOUPS 260494 WITH SCORE 260805.482
AT ITER 273 NEW BEST:: SOT 719113 SOS 311250 HAS SOPS 288888 HAS SOUS 269647 HAS SOUPS 260406 WITH SCORE 260717.25
AT ITER 275 NEW BEST:: SOT 719057 SOS 311138 HAS SOPS 288888 HAS SOUS 269294 HAS SOUPS 260109 WITH SCORE 260420.138
AT ITER 292 NEW BEST:: SOT 718922 SOS 310868 HAS SOPS 288618 HAS SOUS 269024 HAS SOUPS 259839 WITH SCORE 260149.868
AT ITER 293 NEW BEST:: SOT 718901 SOS 310862 HAS SOPS 288612 HAS SOUS 268829 HAS SOUPS 259644 WITH SCORE 259954.862
AT ITER 298 NEW BEST:: SOT 718689 SOS 310280 HAS SOPS 288030 HAS SOUS 268405 HAS SOUPS 259220 WITH SCORE 259530.28
AT ITER 309 NEW BEST:: SOT 718641 SOS 310184 HAS SOPS 287934 HAS SOUS 268309 HAS SOUPS 259124 WITH SCORE 259434.184
AT ITER 320 NEW BEST:: SOT 718636 SOS 310174 HAS SOPS 287924 HAS SOUS 268299 HAS SOUPS 259114 WITH SCORE 259424.174
AT ITER 324 NEW BEST:: SOT 718636 SOS 309877 HAS SOPS 287552 HAS SOUS 268296 HAS SOUPS 259111 WITH SCORE 259420.877
AT ITER 327 NEW BEST:: SOT 717530 SOS 309118 HAS SOPS 286876 HAS SOUS 267384 HAS SOUPS 258199 WITH SCORE 258508.118
AT ITER 332 NEW BEST:: SOT 717507 SOS 309592 HAS SOPS 287350 HAS SOUS 267373 HAS SOUPS 258188 WITH SCORE 258497.592
AT ITER 335 NEW BEST:: SOT 717447 SOS 309402 HAS SOPS 287160 HAS SOUS 267163 HAS SOUPS 257978 WITH SCORE 258287.402
AT ITER 337 NEW BEST:: SOT 717174 SOS 308856 HAS SOPS 286614 HAS SOUS 266617 HAS SOUPS 257432 WITH SCORE 257740.856
AT ITER 340 NEW BEST:: SOT 717021 SOS 308531 HAS SOPS 286216 HAS SOUS 266430 HAS SOUPS 257245 WITH SCORE 257553.531
AT ITER 345 NEW BEST:: SOT 717021 SOS 308347 HAS SOPS 286032 HAS SOUS 266246 HAS SOUPS 257061 WITH SCORE 257369.347
AT ITER 347 NEW BEST:: SOT 716796 SOS 307897 HAS SOPS 285582 HAS SOUS 265796 HAS SOUPS 256611 WITH SCORE 256918.897
AT ITER 348 NEW BEST:: SOT 716632 SOS 307813 HAS SOPS 285498 HAS SOUS 265750 HAS SOUPS 256565 WITH SCORE 256872.813
AT ITER 351 NEW BEST:: SOT 716613 SOS 307794 HAS SOPS 285479 HAS SOUS 265731 HAS SOUPS 256546 WITH SCORE 256853.794
AT ITER 354 NEW BEST:: SOT 716593 SOS 307754 HAS SOPS 285439 HAS SOUS 265691 HAS SOUPS 256506 WITH SCORE 256813.754
AT ITER 360 NEW BEST:: SOT 716593 SOS 307530 HAS SOPS 285293 HAS SOUS 265691 HAS SOUPS 256506 WITH SCORE 256813.53
AT ITER 369 NEW BEST:: SOT 716569 SOS 307482 HAS SOPS 285245 HAS SOUS 265643 HAS SOUPS 256458 WITH SCORE 256765.482
AT ITER 373 NEW BEST:: SOT 716550 SOS 307397 HAS SOPS 285208 HAS SOUS 265609 HAS SOUPS 256424 WITH SCORE 256731.397
AT ITER 374 NEW BEST:: SOT 716546 SOS 307563 HAS SOPS 285242 HAS SOUS 265644 HAS SOUPS 256420 WITH SCORE 256727.563
AT ITER 378 NEW BEST:: SOT 715436 SOS 306698 HAS SOPS 284488 HAS SOUS 264738 HAS SOUPS 255514 WITH SCORE 255820.698
AT ITER 380 NEW BEST:: SOT 715246 SOS 306312 HAS SOPS 284102 HAS SOUS 264462 HAS SOUPS 255238 WITH SCORE 255544.312
AT ITER 384 NEW BEST:: SOT 715216 SOS 305893 HAS SOPS 284042 HAS SOUS 264222 HAS SOUPS 255178 WITH SCORE 255483.893
AT ITER 385 NEW BEST:: SOT 715216 SOS 305509 HAS SOPS 283658 HAS SOUS 264126 HAS SOUPS 255082 WITH SCORE 255387.509
AT ITER 387 NEW BEST:: SOT 712699 SOS 304590 HAS SOPS 284721 HAS SOUS 262519 HAS SOUPS 254420 WITH SCORE 254724.59
AT ITER 390 NEW BEST:: SOT 712545 SOS 303934 HAS SOPS 284239 HAS SOUS 262211 HAS SOUPS 254112 WITH SCORE 254415.934
AT ITER 391 NEW BEST:: SOT 712301 SOS 303231 HAS SOPS 283552 HAS SOUS 262007 HAS SOUPS 253908 WITH SCORE 254211.231
AT ITER 392 NEW BEST:: SOT 712214 SOS 303079 HAS SOPS 283400 HAS SOUS 261958 HAS SOUPS 253859 WITH SCORE 254162.079
AT ITER 394 NEW BEST:: SOT 712140 SOS 302931 HAS SOPS 283252 HAS SOUS 261810 HAS SOUPS 253711 WITH SCORE 254013.931
AT ITER 396 NEW BEST:: SOT 712203 SOS 302995 HAS SOPS 283195 HAS SOUS 261753 HAS SOUPS 253654 WITH SCORE 253956.995
AT ITER 400 NEW BEST:: SOT 712070 SOS 302888 HAS SOPS 282952 HAS SOUS 261619 HAS SOUPS 253520 WITH SCORE 253822.888
AT ITER 401 NEW BEST:: SOT 711948 SOS 302644 HAS SOPS 282708 HAS SOUS 261375 HAS SOUPS 253276 WITH SCORE 253578.644
AT ITER 402 NEW BEST:: SOT 711987 SOS 301578 HAS SOPS 281642 HAS SOUS 261313 HAS SOUPS 253214 WITH SCORE 253515.578
AT ITER 406 NEW BEST:: SOT 711904 SOS 301412 HAS SOPS 281476 HAS SOUS 261147 HAS SOUPS 253048 WITH SCORE 253349.412
AT ITER 408 NEW BEST:: SOT 711904 SOS 301237 HAS SOPS 281301 HAS SOUS 261147 HAS SOUPS 253048 WITH SCORE 253349.237
AT ITER 420 NEW BEST:: SOT 710581 SOS 300222 HAS SOPS 280286 HAS SOUS 259824 HAS SOUPS 251725 WITH SCORE 252025.222
AT ITER 422 NEW BEST:: SOT 710456 SOS 299972 HAS SOPS 280036 HAS SOUS 259574 HAS SOUPS 251475 WITH SCORE 251774.972
AT ITER 425 NEW BEST:: SOT 710436 SOS 300124 HAS SOPS 280188 HAS SOUS 259534 HAS SOUPS 251435 WITH SCORE 251735.124
AT ITER 432 NEW BEST:: SOT 710434 SOS 300078 HAS SOPS 280142 HAS SOUS 259530 HAS SOUPS 251431 WITH SCORE 251731.078
AT ITER 434 NEW BEST:: SOT 710419 SOS 300048 HAS SOPS 280112 HAS SOUS 259500 HAS SOUPS 251401 WITH SCORE 251701.048
AT ITER 439 NEW BEST:: SOT 710313 SOS 300225 HAS SOPS 280430 HAS SOUS 259429 HAS SOUPS 251330 WITH SCORE 251630.225
AT ITER 442 NEW BEST:: SOT 710313 SOS 300112 HAS SOPS 280317 HAS SOUS 259429 HAS SOUPS 251330 WITH SCORE 251630.112
AT ITER 446 NEW BEST:: SOT 710276 SOS 300038 HAS SOPS 280243 HAS SOUS 259355 HAS SOUPS 251256 WITH SCORE 251556.038
AT ITER 448 NEW BEST:: SOT 710066 SOS 299858 HAS SOPS 280033 HAS SOUS 259145 HAS SOUPS 251046 WITH SCORE 251345.858
AT ITER 449 NEW BEST:: SOT 709983 SOS 299692 HAS SOPS 279867 HAS SOUS 258979 HAS SOUPS 250880 WITH SCORE 251179.692
AT ITER 452 NEW BEST:: SOT 709857 SOS 299626 HAS SOPS 279676 HAS SOUS 258884 HAS SOUPS 250785 WITH SCORE 251084.626
AT ITER 454 NEW BEST:: SOT 707478 SOS 299731 HAS SOPS 277256 HAS SOUS 258569 HAS SOUPS 250160 WITH SCORE 250459.731
AT ITER 464 NEW BEST:: SOT 707458 SOS 299557 HAS SOPS 277082 HAS SOUS 258529 HAS SOUPS 250120 WITH SCORE 250419.557
AT ITER 465 NEW BEST:: SOT 707425 SOS 298616 HAS SOPS 277285 HAS SOUS 258100 HAS SOUPS 249960 WITH SCORE 250258.616
AT ITER 466 NEW BEST:: SOT 707255 SOS 297670 HAS SOPS 276339 HAS SOUS 257528 HAS SOUPS 249388 WITH SCORE 249685.67
AT ITER 472 NEW BEST:: SOT 707131 SOS 297422 HAS SOPS 276091 HAS SOUS 257280 HAS SOUPS 249140 WITH SCORE 249437.422
AT ITER 474 NEW BEST:: SOT 707131 SOS 297392 HAS SOPS 276091 HAS SOUS 257280 HAS SOUPS 249140 WITH SCORE 249437.392
AT ITER 475 NEW BEST:: SOT 707131 SOS 297329 HAS SOPS 276091 HAS SOUS 257280 HAS SOUPS 249140 WITH SCORE 249437.329
AT ITER 479 NEW BEST:: SOT 707131 SOS 297249 HAS SOPS 276091 HAS SOUS 257280 HAS SOUPS 249140 WITH SCORE 249437.249
AT ITER 482 NEW BEST:: SOT 707602 SOS 295534 HAS SOPS 276594 HAS SOUS 256162 HAS SOUPS 248212 WITH SCORE 248507.534
AT ITER 483 NEW BEST:: SOT 707703 SOS 294213 HAS SOPS 276321 HAS SOUS 253405 HAS SOUPS 245707 WITH SCORE 246001.213
AT ITER 486 NEW BEST:: SOT 707772 SOS 293765 HAS SOPS 276238 HAS SOUS 252163 HAS SOUPS 244610 WITH SCORE 244903.765
AT ITER 488 NEW BEST:: SOT 707668 SOS 293557 HAS SOPS 276030 HAS SOUS 251955 HAS SOUPS 244402 WITH SCORE 244695.557
AT ITER 493 NEW BEST:: SOT 707631 SOS 293604 HAS SOPS 276077 HAS SOUS 251881 HAS SOUPS 244328 WITH SCORE 244621.604
AT ITER 497 NEW BEST:: SOT 707548 SOS 293454 HAS SOPS 275927 HAS SOUS 251798 HAS SOUPS 244245 WITH SCORE 244538.454
AT ITER 499 NEW BEST:: SOT 707343 SOS 293044 HAS SOPS 275517 HAS SOUS 251388 HAS SOUPS 243835 WITH SCORE 244128.044
AT ITER 503 NEW BEST:: SOT 707342 SOS 292910 HAS SOPS 274855 HAS SOUS 250726 HAS SOUPS 243173 WITH SCORE 243465.91
AT ITER 506 NEW BEST:: SOT 707254 SOS 292734 HAS SOPS 274679 HAS SOUS 250550 HAS SOUPS 242997 WITH SCORE 243289.734
AT ITER 509 NEW BEST:: SOT 707203 SOS 292909 HAS SOPS 274854 HAS SOUS 250521 HAS SOUPS 242968 WITH SCORE 243260.909
AT ITER 518 NEW BEST:: SOT 706964 SOS 292282 HAS SOPS 274145 HAS SOUS 250119 HAS SOUPS 242566 WITH SCORE 242858.282
AT ITER 528 NEW BEST:: SOT 706872 SOS 292098 HAS SOPS 273961 HAS SOUS 249935 HAS SOUPS 242382 WITH SCORE 242674.098
AT ITER 531 NEW BEST:: SOT 706494 SOS 291342 HAS SOPS 273205 HAS SOUS 249179 HAS SOUPS 241626 WITH SCORE 241917.342
AT ITER 536 NEW BEST:: SOT 707713 SOS 290787 HAS SOPS 273867 HAS SOUS 247747 HAS SOUPS 240570 WITH SCORE 240860.787
AT ITER 540 NEW BEST:: SOT 706989 SOS 291279 HAS SOPS 274596 HAS SOUS 247529 HAS SOUPS 240352 WITH SCORE 240643.279
AT ITER 543 NEW BEST:: SOT 706986 SOS 291276 HAS SOPS 274593 HAS SOUS 247273 HAS SOUPS 240096 WITH SCORE 240387.276
AT ITER 546 NEW BEST:: SOT 705850 SOS 290706 HAS SOPS 273529 HAS SOUS 247353 HAS SOUPS 239973 WITH SCORE 240263.706
AT ITER 547 NEW BEST:: SOT 705805 SOS 290534 HAS SOPS 273439 HAS SOUS 247263 HAS SOUPS 239883 WITH SCORE 240173.534
AT ITER 553 NEW BEST:: SOT 705798 SOS 290395 HAS SOPS 273425 HAS SOUS 247249 HAS SOUPS 239869 WITH SCORE 240159.395
AT ITER 558 NEW BEST:: SOT 705738 SOS 290275 HAS SOPS 273305 HAS SOUS 247129 HAS SOUPS 239749 WITH SCORE 240039.275
AT ITER 560 NEW BEST:: SOT 705751 SOS 290507 HAS SOPS 272127 HAS SOUS 246479 HAS SOUPS 238365 WITH SCORE 238655.507
AT ITER 565 NEW BEST:: SOT 705642 SOS 290398 HAS SOPS 272018 HAS SOUS 246261 HAS SOUPS 238147 WITH SCORE 238437.398
AT ITER 569 NEW BEST:: SOT 705609 SOS 290332 HAS SOPS 271952 HAS SOUS 246195 HAS SOUPS 238081 WITH SCORE 238371.332
AT ITER 570 NEW BEST:: SOT 705393 SOS 290264 HAS SOPS 271884 HAS SOUS 245875 HAS SOUPS 237761 WITH SCORE 238051.264
AT ITER 574 NEW BEST:: SOT 705393 SOS 289769 HAS SOPS 271642 HAS SOUS 245727 HAS SOUPS 237655 WITH SCORE 237944.769
AT ITER 577 NEW BEST:: SOT 705259 SOS 289367 HAS SOPS 271240 HAS SOUS 245459 HAS SOUPS 237387 WITH SCORE 237676.367
AT ITER 579 NEW BEST:: SOT 705245 SOS 289339 HAS SOPS 271212 HAS SOUS 245431 HAS SOUPS 237359 WITH SCORE 237648.339
AT ITER 584 NEW BEST:: SOT 705237 SOS 289323 HAS SOPS 271196 HAS SOUS 245415 HAS SOUPS 237343 WITH SCORE 237632.323
AT ITER 585 NEW BEST:: SOT 705106 SOS 289239 HAS SOPS 271112 HAS SOUS 245153 HAS SOUPS 237081 WITH SCORE 237370.239
AT ITER 588 NEW BEST:: SOT 705033 SOS 289166 HAS SOPS 271039 HAS SOUS 245080 HAS SOUPS 237008 WITH SCORE 237297.166
AT ITER 592 NEW BEST:: SOT 704999 SOS 288935 HAS SOPS 270843 HAS SOUS 245012 HAS SOUPS 236940 WITH SCORE 237228.935
AT ITER 603 NEW BEST:: SOT 704904 SOS 288936 HAS SOPS 270748 HAS SOUS 244917 HAS SOUPS 236845 WITH SCORE 237133.936
AT ITER 606 NEW BEST:: SOT 704809 SOS 288746 HAS SOPS 270558 HAS SOUS 244727 HAS SOUPS 236655 WITH SCORE 236943.746
AT ITER 608 NEW BEST:: SOT 704799 SOS 289042 HAS SOPS 270854 HAS SOUS 244571 HAS SOUPS 236499 WITH SCORE 236788.042
AT ITER 619 NEW BEST:: SOT 704628 SOS 288701 HAS SOPS 270512 HAS SOUS 244400 HAS SOUPS 236328 WITH SCORE 236616.701
AT ITER 621 NEW BEST:: SOT 704628 SOS 288637 HAS SOPS 270448 HAS SOUS 244336 HAS SOUPS 236264 WITH SCORE 236552.637
AT ITER 624 NEW BEST:: SOT 704490 SOS 288361 HAS SOPS 270172 HAS SOUS 244060 HAS SOUPS 235988 WITH SCORE 236276.361
AT ITER 625 NEW BEST:: SOT 704355 SOS 288276 HAS SOPS 269950 HAS SOUS 243946 HAS SOUPS 235874 WITH SCORE 236162.276
AT ITER 629 NEW BEST:: SOT 704351 SOS 288268 HAS SOPS 269942 HAS SOUS 243938 HAS SOUPS 235866 WITH SCORE 236154.268
AT ITER 630 NEW BEST:: SOT 704351 SOS 287965 HAS SOPS 269639 HAS SOUS 243938 HAS SOUPS 235866 WITH SCORE 236153.965
AT ITER 634 NEW BEST:: SOT 704351 SOS 287844 HAS SOPS 269518 HAS SOUS 243938 HAS SOUPS 235866 WITH SCORE 236153.844
AT ITER 645 NEW BEST:: SOT 704278 SOS 287722 HAS SOPS 269372 HAS SOUS 243792 HAS SOUPS 235720 WITH SCORE 236007.722
AT ITER 650 NEW BEST:: SOT 704238 SOS 287642 HAS SOPS 269292 HAS SOUS 243712 HAS SOUPS 235640 WITH SCORE 235927.642
AT ITER 655 NEW BEST:: SOT 704238 SOS 287553 HAS SOPS 269203 HAS SOUS 243712 HAS SOUPS 235640 WITH SCORE 235927.553
AT ITER 662 NEW BEST:: SOT 704158 SOS 287393 HAS SOPS 269043 HAS SOUS 243552 HAS SOUPS 235480 WITH SCORE 235767.393
AT ITER 664 NEW BEST:: SOT 704153 SOS 287264 HAS SOPS 268905 HAS SOUS 243542 HAS SOUPS 235470 WITH SCORE 235757.264
AT ITER 665 NEW BEST:: SOT 703859 SOS 286638 HAS SOPS 268279 HAS SOUS 242954 HAS SOUPS 234882 WITH SCORE 235168.638
AT ITER 667 NEW BEST:: SOT 703775 SOS 286470 HAS SOPS 268111 HAS SOUS 242786 HAS SOUPS 234714 WITH SCORE 235000.47
AT ITER 670 NEW BEST:: SOT 702577 SOS 285819 HAS SOPS 267510 HAS SOUS 241785 HAS SOUPS 233713 WITH SCORE 233998.819
AT ITER 676 NEW BEST:: SOT 702530 SOS 285725 HAS SOPS 267416 HAS SOUS 241691 HAS SOUPS 233619 WITH SCORE 233904.725
AT ITER 684 NEW BEST:: SOT 702512 SOS 285689 HAS SOPS 267380 HAS SOUS 241655 HAS SOUPS 233583 WITH SCORE 233868.689
AT ITER 696 NEW BEST:: SOT 702384 SOS 285214 HAS SOPS 266905 HAS SOUS 241399 HAS SOUPS 233327 WITH SCORE 233612.214
AT ITER 702 NEW BEST:: SOT 702364 SOS 285174 HAS SOPS 266865 HAS SOUS 241359 HAS SOUPS 233287 WITH SCORE 233572.174
AT ITER 711 NEW BEST:: SOT 702291 SOS 285193 HAS SOPS 266884 HAS SOUS 241213 HAS SOUPS 233141 WITH SCORE 233426.193
AT ITER 714 NEW BEST:: SOT 702291 SOS 285166 HAS SOPS 266857 HAS SOUS 241213 HAS SOUPS 233141 WITH SCORE 233426.166
AT ITER 716 NEW BEST:: SOT 702089 SOS 284762 HAS SOPS 266453 HAS SOUS 240809 HAS SOUPS 232737 WITH SCORE 233021.762
AT ITER 724 NEW BEST:: SOT 702039 SOS 284662 HAS SOPS 266353 HAS SOUS 240769 HAS SOUPS 232697 WITH SCORE 232981.662
AT ITER 728 NEW BEST:: SOT 702037 SOS 284638 HAS SOPS 266329 HAS SOUS 240763 HAS SOUPS 232691 WITH SCORE 232975.638
AT ITER 729 NEW BEST:: SOT 701846 SOS 284529 HAS SOPS 266255 HAS SOUS 240607 HAS SOUPS 232535 WITH SCORE 232819.529
AT ITER 731 NEW BEST:: SOT 701561 SOS 284186 HAS SOPS 265912 HAS SOUS 240274 HAS SOUPS 232202 WITH SCORE 232486.186
AT ITER 737 NEW BEST:: SOT 701587 SOS 283642 HAS SOPS 265368 HAS SOUS 240177 HAS SOUPS 232105 WITH SCORE 232388.642
AT ITER 741 NEW BEST:: SOT 701452 SOS 283507 HAS SOPS 265233 HAS SOUS 240040 HAS SOUPS 231968 WITH SCORE 232251.507
AT ITER 744 NEW BEST:: SOT 701224 SOS 283051 HAS SOPS 264777 HAS SOUS 239584 HAS SOUPS 231512 WITH SCORE 231795.051
AT ITER 752 NEW BEST:: SOT 698384 SOS 281077 HAS SOPS 262896 HAS SOUS 236951 HAS SOUPS 228879 WITH SCORE 229160.077
AT ITER 753 NEW BEST:: SOT 697250 SOS 280012 HAS SOPS 261742 HAS SOUS 236008 HAS SOUPS 227863 WITH SCORE 228143.012
AT ITER 758 NEW BEST:: SOT 697250 SOS 279980 HAS SOPS 261742 HAS SOUS 235976 HAS SOUPS 227863 WITH SCORE 228142.98
AT ITER 762 NEW BEST:: SOT 697027 SOS 279534 HAS SOPS 261296 HAS SOUS 235530 HAS SOUPS 227417 WITH SCORE 227696.534
AT ITER 765 NEW BEST:: SOT 696972 SOS 279429 HAS SOPS 261191 HAS SOUS 235475 HAS SOUPS 227362 WITH SCORE 227641.429
AT ITER 768 NEW BEST:: SOT 694835 SOS 278418 HAS SOPS 261258 HAS SOUS 234551 HAS SOUPS 226438 WITH SCORE 226716.418
AT ITER 769 NEW BEST:: SOT 694819 SOS 278386 HAS SOPS 261226 HAS SOUS 234519 HAS SOUPS 226406 WITH SCORE 226684.386
AT ITER 781 NEW BEST:: SOT 694783 SOS 278234 HAS SOPS 261035 HAS SOUS 234482 HAS SOUPS 226369 WITH SCORE 226647.234
AT ITER 796 NEW BEST:: SOT 694625 SOS 278114 HAS SOPS 260915 HAS SOUS 234324 HAS SOUPS 226211 WITH SCORE 226489.114
AT ITER 799 NEW BEST:: SOT 694625 SOS 278091 HAS SOPS 260892 HAS SOUS 234324 HAS SOUPS 226211 WITH SCORE 226489.091
AT ITER 803 NEW BEST:: SOT 693885 SOS 277812 HAS SOPS 260294 HAS SOUS 233973 HAS SOUPS 225771 WITH SCORE 226048.812
AT ITER 804 NEW BEST:: SOT 693885 SOS 277812 HAS SOPS 260294 HAS SOUS 233818 HAS SOUPS 225616 WITH SCORE 225893.812
AT ITER 813 NEW BEST:: SOT 693668 SOS 277378 HAS SOPS 259860 HAS SOUS 233384 HAS SOUPS 225182 WITH SCORE 225459.378
AT ITER 825 NEW BEST:: SOT 693620 SOS 277270 HAS SOPS 259764 HAS SOUS 233206 HAS SOUPS 225086 WITH SCORE 225363.27
AT ITER 827 NEW BEST:: SOT 693619 SOS 277267 HAS SOPS 259761 HAS SOUS 233204 HAS SOUPS 225084 WITH SCORE 225361.267
AT ITER 828 NEW BEST:: SOT 693583 SOS 276691 HAS SOPS 259185 HAS SOUS 233132 HAS SOUPS 225012 WITH SCORE 225288.691
AT ITER 832 NEW BEST:: SOT 692232 SOS 276480 HAS SOPS 259144 HAS SOUS 232514 HAS SOUPS 224394 WITH SCORE 224670.48
AT ITER 835 NEW BEST:: SOT 692116 SOS 276451 HAS SOPS 259336 HAS SOUS 232059 HAS SOUPS 223978 WITH SCORE 224254.451
AT ITER 840 NEW BEST:: SOT 692092 SOS 276403 HAS SOPS 259288 HAS SOUS 232011 HAS SOUPS 223930 WITH SCORE 224206.403
AT ITER 848 NEW BEST:: SOT 691966 SOS 276151 HAS SOPS 259036 HAS SOUS 231759 HAS SOUPS 223678 WITH SCORE 223954.151
AT ITER 856 NEW BEST:: SOT 691882 SOS 275983 HAS SOPS 258868 HAS SOUS 231591 HAS SOUPS 223510 WITH SCORE 223785.983
AT ITER 860 NEW BEST:: SOT 692228 SOS 276348 HAS SOPS 259233 HAS SOUS 231413 HAS SOUPS 223332 WITH SCORE 223608.348
AT ITER 868 NEW BEST:: SOT 692081 SOS 276054 HAS SOPS 258939 HAS SOUS 231119 HAS SOUPS 223038 WITH SCORE 223314.054
AT ITER 879 NEW BEST:: SOT 691978 SOS 276046 HAS SOPS 258826 HAS SOUS 230796 HAS SOUPS 222715 WITH SCORE 222991.046
AT ITER 880 NEW BEST:: SOT 691959 SOS 276008 HAS SOPS 258788 HAS SOUS 230758 HAS SOUPS 222677 WITH SCORE 222953.008
AT ITER 882 NEW BEST:: SOT 691902 SOS 275888 HAS SOPS 258611 HAS SOUS 230701 HAS SOUPS 222620 WITH SCORE 222895.888
AT ITER 884 NEW BEST:: SOT 691670 SOS 275424 HAS SOPS 258147 HAS SOUS 230237 HAS SOUPS 222156 WITH SCORE 222431.424
AT ITER 895 NEW BEST:: SOT 691635 SOS 275354 HAS SOPS 258077 HAS SOUS 230167 HAS SOUPS 222086 WITH SCORE 222361.354
AT ITER 907 NEW BEST:: SOT 691484 SOS 274867 HAS SOPS 257493 HAS SOUS 229802 HAS SOUPS 221721 WITH SCORE 221995.867
AT ITER 908 NEW BEST:: SOT 691453 SOS 274805 HAS SOPS 257431 HAS SOUS 229740 HAS SOUPS 221659 WITH SCORE 221933.805
AT ITER 913 NEW BEST:: SOT 691440 SOS 274906 HAS SOPS 257532 HAS SOUS 229714 HAS SOUPS 221633 WITH SCORE 221907.906
AT ITER 918 NEW BEST:: SOT 691735 SOS 273565 HAS SOPS 258515 HAS SOUS 228013 HAS SOUPS 221554 WITH SCORE 221827.565
AT ITER 920 NEW BEST:: SOT 691696 SOS 273487 HAS SOPS 258437 HAS SOUS 227935 HAS SOUPS 221476 WITH SCORE 221749.487
AT ITER 924 NEW BEST:: SOT 691532 SOS 273144 HAS SOPS 258094 HAS SOUS 227607 HAS SOUPS 221148 WITH SCORE 221421.144
AT ITER 927 NEW BEST:: SOT 691519 SOS 273131 HAS SOPS 258068 HAS SOUS 227594 HAS SOUPS 221135 WITH SCORE 221408.131
AT ITER 931 NEW BEST:: SOT 691463 SOS 273019 HAS SOPS 257956 HAS SOUS 227482 HAS SOUPS 221023 WITH SCORE 221296.019
AT ITER 933 NEW BEST:: SOT 691463 SOS 273018 HAS SOPS 257955 HAS SOUS 227482 HAS SOUPS 221023 WITH SCORE 221296.018
AT ITER 936 NEW BEST:: SOT 691193 SOS 272820 HAS SOPS 257857 HAS SOUS 227293 HAS SOUPS 220874 WITH SCORE 221146.82
AT ITER 939 NEW BEST:: SOT 691193 SOS 272763 HAS SOPS 257800 HAS SOUS 227236 HAS SOUPS 220817 WITH SCORE 221089.763
AT ITER 943 NEW BEST:: SOT 691140 SOS 272724 HAS SOPS 257761 HAS SOUS 227197 HAS SOUPS 220778 WITH SCORE 221050.724
AT ITER 952 NEW BEST:: SOT 691125 SOS 272694 HAS SOPS 257731 HAS SOUS 227167 HAS SOUPS 220748 WITH SCORE 221020.694
AT ITER 953 NEW BEST:: SOT 691107 SOS 272761 HAS SOPS 257695 HAS SOUS 227131 HAS SOUPS 220712 WITH SCORE 220984.761
AT ITER 962 NEW BEST:: SOT 691080 SOS 272585 HAS SOPS 257519 HAS SOUS 226993 HAS SOUPS 220574 WITH SCORE 220846.585
AT ITER 968 NEW BEST:: SOT 690984 SOS 272393 HAS SOPS 257327 HAS SOUS 226801 HAS SOUPS 220382 WITH SCORE 220654.393
AT ITER 974 NEW BEST:: SOT 690940 SOS 272312 HAS SOPS 257246 HAS SOUS 226757 HAS SOUPS 220338 WITH SCORE 220610.312
AT ITER 982 NEW BEST:: SOT 690940 SOS 272283 HAS SOPS 257217 HAS SOUS 226757 HAS SOUPS 220338 WITH SCORE 220610.283
AT ITER 984 NEW BEST:: SOT 688407 SOS 270458 HAS SOPS 255561 HAS SOUS 224224 HAS SOUPS 217974 WITH SCORE 218244.458
AT ITER 988 NEW BEST:: SOT 688323 SOS 270395 HAS SOPS 255477 HAS SOUS 224189 HAS SOUPS 217932 WITH SCORE 218202.395
AT ITER 993 NEW BEST:: SOT 688243 SOS 270155 HAS SOPS 255237 HAS SOUS 224029 HAS SOUPS 217772 WITH SCORE 218042.155
AT ITER 995 NEW BEST:: SOT 688201 SOS 270248 HAS SOPS 255340 HAS SOUS 224020 HAS SOUPS 217763 WITH SCORE 218033.248
AT ITER 997 NEW BEST:: SOT 688003 SOS 269852 HAS SOPS 254944 HAS SOUS 223624 HAS SOUPS 217367 WITH SCORE 217636.852
AT ITER 1003 NEW BEST:: SOT 687931 SOS 269657 HAS SOPS 254749 HAS SOUS 223429 HAS SOUPS 217172 WITH SCORE 217441.657
AT ITER 1006 NEW BEST:: SOT 687895 SOS 269585 HAS SOPS 254677 HAS SOUS 223357 HAS SOUPS 217100 WITH SCORE 217369.585
AT ITER 1012 NEW BEST:: SOT 687893 SOS 269581 HAS SOPS 254673 HAS SOUS 223353 HAS SOUPS 217096 WITH SCORE 217365.581
AT ITER 1015 NEW BEST:: SOT 687814 SOS 269419 HAS SOPS 254436 HAS SOUS 223274 HAS SOUPS 217017 WITH SCORE 217286.419
AT ITER 1021 NEW BEST:: SOT 687779 SOS 269440 HAS SOPS 254373 HAS SOUS 223232 HAS SOUPS 216954 WITH SCORE 217223.44
AT ITER 1025 NEW BEST:: SOT 687779 SOS 269053 HAS SOPS 253699 HAS SOUS 222981 HAS SOUPS 216699 WITH SCORE 216968.053
AT ITER 1026 NEW BEST:: SOT 687564 SOS 268582 HAS SOPS 253334 HAS SOUS 222886 HAS SOUPS 216604 WITH SCORE 216872.582
AT ITER 1028 NEW BEST:: SOT 687446 SOS 268537 HAS SOPS 253289 HAS SOUS 222650 HAS SOUPS 216368 WITH SCORE 216636.537
AT ITER 1032 NEW BEST:: SOT 687432 SOS 268523 HAS SOPS 253275 HAS SOUS 222636 HAS SOUPS 216354 WITH SCORE 216622.523
AT ITER 1042 NEW BEST:: SOT 687482 SOS 268601 HAS SOPS 253353 HAS SOUS 222588 HAS SOUPS 216306 WITH SCORE 216574.601
AT ITER 1051 NEW BEST:: SOT 687439 SOS 268363 HAS SOPS 253267 HAS SOUS 222377 HAS SOUPS 216095 WITH SCORE 216363.363
AT ITER 1057 NEW BEST:: SOT 687294 SOS 268246 HAS SOPS 253150 HAS SOUS 222220 HAS SOUPS 215938 WITH SCORE 216206.246
AT ITER 1060 NEW BEST:: SOT 687282 SOS 268222 HAS SOPS 253126 HAS SOUS 222196 HAS SOUPS 215914 WITH SCORE 216182.222
AT ITER 1065 NEW BEST:: SOT 687319 SOS 267622 HAS SOPS 251780 HAS SOUS 221524 HAS SOUPS 215242 WITH SCORE 215509.622
AT ITER 1066 NEW BEST:: SOT 687300 SOS 267724 HAS SOPS 251742 HAS SOUS 221486 HAS SOUPS 215204 WITH SCORE 215471.724
AT ITER 1067 NEW BEST:: SOT 687183 SOS 267345 HAS SOPS 251363 HAS SOUS 221252 HAS SOUPS 214970 WITH SCORE 215237.345
AT ITER 1068 NEW BEST:: SOT 687222 SOS 267327 HAS SOPS 251339 HAS SOUS 221005 HAS SOUPS 214717 WITH SCORE 214984.327
AT ITER 1082 NEW BEST:: SOT 687164 SOS 267082 HAS SOPS 251094 HAS SOUS 220889 HAS SOUPS 214601 WITH SCORE 214868.082
AT ITER 1087 NEW BEST:: SOT 686704 SOS 266622 HAS SOPS 250634 HAS SOUS 220429 HAS SOUPS 214141 WITH SCORE 214407.622
AT ITER 1091 NEW BEST:: SOT 686704 SOS 266593 HAS SOPS 250605 HAS SOUS 220400 HAS SOUPS 214112 WITH SCORE 214378.593
AT ITER 1097 NEW BEST:: SOT 686650 SOS 266626 HAS SOPS 250497 HAS SOUS 220292 HAS SOUPS 214004 WITH SCORE 214270.626
AT ITER 1103 NEW BEST:: SOT 686582 SOS 266362 HAS SOPS 250361 HAS SOUS 220156 HAS SOUPS 213868 WITH SCORE 214134.362
AT ITER 1104 NEW BEST:: SOT 686397 SOS 265956 HAS SOPS 249849 HAS SOUS 219644 HAS SOUPS 213356 WITH SCORE 213621.956
AT ITER 1107 NEW BEST:: SOT 686272 SOS 265706 HAS SOPS 249599 HAS SOUS 219394 HAS SOUPS 213106 WITH SCORE 213371.706
AT ITER 1109 NEW BEST:: SOT 684150 SOS 264499 HAS SOPS 248392 HAS SOUS 218187 HAS SOUPS 211899 WITH SCORE 212163.499
AT ITER 1111 NEW BEST:: SOT 684150 SOS 264265 HAS SOPS 248262 HAS SOUS 217953 HAS SOUPS 211691 WITH SCORE 211955.265
AT ITER 1116 NEW BEST:: SOT 684081 SOS 263512 HAS SOPS 247509 HAS SOUS 217859 HAS SOUPS 211597 WITH SCORE 211860.512
AT ITER 1118 NEW BEST:: SOT 684081 SOS 263483 HAS SOPS 247480 HAS SOUS 217859 HAS SOUPS 211597 WITH SCORE 211860.483
AT ITER 1119 NEW BEST:: SOT 684070 SOS 263461 HAS SOPS 247458 HAS SOUS 217837 HAS SOUPS 211575 WITH SCORE 211838.461
AT ITER 1126 NEW BEST:: SOT 684070 SOS 263445 HAS SOPS 247442 HAS SOUS 217837 HAS SOUPS 211575 WITH SCORE 211838.445
AT ITER 1130 NEW BEST:: SOT 683980 SOS 263294 HAS SOPS 247191 HAS SOUS 217747 HAS SOUPS 211485 WITH SCORE 211748.294
AT ITER 1134 NEW BEST:: SOT 683954 SOS 263242 HAS SOPS 247139 HAS SOUS 217695 HAS SOUPS 211433 WITH SCORE 211696.242
AT ITER 1146 NEW BEST:: SOT 683953 SOS 263240 HAS SOPS 247137 HAS SOUS 217693 HAS SOUPS 211431 WITH SCORE 211694.24
AT ITER 1148 NEW BEST:: SOT 683888 SOS 263110 HAS SOPS 247007 HAS SOUS 217563 HAS SOUPS 211301 WITH SCORE 211564.11
AT ITER 1152 NEW BEST:: SOT 683918 SOS 263140 HAS SOPS 246832 HAS SOUS 217544 HAS SOUPS 211126 WITH SCORE 211389.14
AT ITER 1153 NEW BEST:: SOT 683788 SOS 262880 HAS SOPS 246572 HAS SOUS 217284 HAS SOUPS 210866 WITH SCORE 211128.88
AT ITER 1157 NEW BEST:: SOT 682705 SOS 262728 HAS SOPS 246836 HAS SOUS 216634 HAS SOUPS 210300 WITH SCORE 210562.728
AT ITER 1159 NEW BEST:: SOT 682638 SOS 262594 HAS SOPS 246702 HAS SOUS 216500 HAS SOUPS 210166 WITH SCORE 210428.594
AT ITER 1160 NEW BEST:: SOT 682513 SOS 262128 HAS SOPS 246178 HAS SOUS 216315 HAS SOUPS 209981 WITH SCORE 210243.128
AT ITER 1173 NEW BEST:: SOT 682447 SOS 261996 HAS SOPS 246046 HAS SOUS 216183 HAS SOUPS 209849 WITH SCORE 210110.996
AT ITER 1174 NEW BEST:: SOT 682388 SOS 261937 HAS SOPS 245987 HAS SOUS 216124 HAS SOUPS 209790 WITH SCORE 210051.937
AT ITER 1178 NEW BEST:: SOT 682379 SOS 261884 HAS SOPS 245969 HAS SOUS 216106 HAS SOUPS 209772 WITH SCORE 210033.884
AT ITER 1179 NEW BEST:: SOT 682332 SOS 261790 HAS SOPS 245875 HAS SOUS 216012 HAS SOUPS 209678 WITH SCORE 209939.79
AT ITER 1188 NEW BEST:: SOT 682131 SOS 261683 HAS SOPS 245768 HAS SOUS 215610 HAS SOUPS 209276 WITH SCORE 209537.683
AT ITER 1193 NEW BEST:: SOT 682066 SOS 261553 HAS SOPS 245638 HAS SOUS 215480 HAS SOUPS 209146 WITH SCORE 209407.553
AT ITER 1197 NEW BEST:: SOT 681999 SOS 261542 HAS SOPS 245627 HAS SOUS 215469 HAS SOUPS 209135 WITH SCORE 209396.542
AT ITER 1200 NEW BEST:: SOT 681842 SOS 263260 HAS SOPS 244168 HAS SOUS 214035 HAS SOUPS 207701 WITH SCORE 207964.26
AT ITER 1204 NEW BEST:: SOT 681573 SOS 263084 HAS SOPS 244038 HAS SOUS 213589 HAS SOUPS 207255 WITH SCORE 207518.084
AT ITER 1210 NEW BEST:: SOT 681549 SOS 263156 HAS SOPS 244110 HAS SOUS 213541 HAS SOUPS 207207 WITH SCORE 207470.156
AT ITER 1219 NEW BEST:: SOT 681392 SOS 262917 HAS SOPS 243871 HAS SOUS 213325 HAS SOUPS 206991 WITH SCORE 207253.917
AT ITER 1223 NEW BEST:: SOT 681245 SOS 261670 HAS SOPS 242017 HAS SOUS 212417 HAS SOUPS 206083 WITH SCORE 206344.67
AT ITER 1227 NEW BEST:: SOT 681223 SOS 261381 HAS SOPS 241728 HAS SOUS 212395 HAS SOUPS 206061 WITH SCORE 206322.381
AT ITER 1228 NEW BEST:: SOT 681469 SOS 261327 HAS SOPS 241674 HAS SOUS 212341 HAS SOUPS 206007 WITH SCORE 206268.327
AT ITER 1234 NEW BEST:: SOT 681318 SOS 261101 HAS SOPS 241448 HAS SOUS 212039 HAS SOUPS 205705 WITH SCORE 205966.101
AT ITER 1241 NEW BEST:: SOT 681477 SOS 261071 HAS SOPS 241323 HAS SOUS 211992 HAS SOUPS 205658 WITH SCORE 205919.071
AT ITER 1244 NEW BEST:: SOT 681246 SOS 260966 HAS SOPS 241428 HAS SOUS 211761 HAS SOUPS 205637 WITH SCORE 205897.966
AT ITER 1251 NEW BEST:: SOT 681230 SOS 260934 HAS SOPS 241396 HAS SOUS 211729 HAS SOUPS 205605 WITH SCORE 205865.934
AT ITER 1259 NEW BEST:: SOT 681154 SOS 260663 HAS SOPS 241244 HAS SOUS 211577 HAS SOUPS 205453 WITH SCORE 205713.663
AT ITER 1265 NEW BEST:: SOT 681133 SOS 260606 HAS SOPS 241231 HAS SOUS 211546 HAS SOUPS 205422 WITH SCORE 205682.606
AT ITER 1273 NEW BEST:: SOT 681120 SOS 260580 HAS SOPS 241205 HAS SOUS 211520 HAS SOUPS 205396 WITH SCORE 205656.58
AT ITER 1278 NEW BEST:: SOT 681087 SOS 260440 HAS SOPS 241139 HAS SOUS 211454 HAS SOUPS 205330 WITH SCORE 205590.44
AT ITER 1280 NEW BEST:: SOT 680991 SOS 260251 HAS SOPS 240950 HAS SOUS 211262 HAS SOUPS 205138 WITH SCORE 205398.251
AT ITER 1283 NEW BEST:: SOT 680890 SOS 260049 HAS SOPS 240748 HAS SOUS 211060 HAS SOUPS 204936 WITH SCORE 205196.049
AT ITER 1289 NEW BEST:: SOT 680864 SOS 259997 HAS SOPS 240696 HAS SOUS 211008 HAS SOUPS 204884 WITH SCORE 205143.997
AT ITER 1293 NEW BEST:: SOT 680720 SOS 259518 HAS SOPS 240217 HAS SOUS 210720 HAS SOUPS 204596 WITH SCORE 204855.518
AT ITER 1300 NEW BEST:: SOT 680503 SOS 258975 HAS SOPS 239783 HAS SOUS 210427 HAS SOUPS 204303 WITH SCORE 204561.975
AT ITER 1313 NEW BEST:: SOT 680553 SOS 259020 HAS SOPS 239733 HAS SOUS 210377 HAS SOUPS 204253 WITH SCORE 204512.02
AT ITER 1314 NEW BEST:: SOT 680549 SOS 259012 HAS SOPS 239725 HAS SOUS 210369 HAS SOUPS 204245 WITH SCORE 204504.012
AT ITER 1317 NEW BEST:: SOT 680514 SOS 258942 HAS SOPS 239655 HAS SOUS 210299 HAS SOUPS 204175 WITH SCORE 204433.942
AT ITER 1319 NEW BEST:: SOT 680563 SOS 258725 HAS SOPS 239388 HAS SOUS 210108 HAS SOUPS 203984 WITH SCORE 204242.725
AT ITER 1322 NEW BEST:: SOT 680510 SOS 258616 HAS SOPS 239282 HAS SOUS 210055 HAS SOUPS 203931 WITH SCORE 204189.616
AT ITER 1323 NEW BEST:: SOT 680377 SOS 258350 HAS SOPS 239016 HAS SOUS 209789 HAS SOUPS 203665 WITH SCORE 203923.35
AT ITER 1328 NEW BEST:: SOT 680329 SOS 258152 HAS SOPS 238818 HAS SOUS 209595 HAS SOUPS 203471 WITH SCORE 203729.152
AT ITER 1339 NEW BEST:: SOT 680336 SOS 258097 HAS SOPS 238763 HAS SOUS 209540 HAS SOUPS 203416 WITH SCORE 203674.097
AT ITER 1340 NEW BEST:: SOT 680160 SOS 257745 HAS SOPS 238411 HAS SOUS 209188 HAS SOUPS 203064 WITH SCORE 203321.745
AT ITER 1343 NEW BEST:: SOT 680056 SOS 258385 HAS SOPS 238998 HAS SOUS 209175 HAS SOUPS 203051 WITH SCORE 203309.385
AT ITER 1346 NEW BEST:: SOT 679996 SOS 258745 HAS SOPS 239358 HAS SOUS 209055 HAS SOUPS 202931 WITH SCORE 203189.745
AT ITER 1354 NEW BEST:: SOT 679876 SOS 258685 HAS SOPS 239298 HAS SOUS 208947 HAS SOUPS 202823 WITH SCORE 203081.685
AT ITER 1360 NEW BEST:: SOT 679844 SOS 258621 HAS SOPS 239234 HAS SOUS 208883 HAS SOUPS 202759 WITH SCORE 203017.621
AT ITER 1364 NEW BEST:: SOT 679787 SOS 258507 HAS SOPS 239120 HAS SOUS 208769 HAS SOUPS 202645 WITH SCORE 202903.507
AT ITER 1365 NEW BEST:: SOT 679774 SOS 258325 HAS SOPS 239003 HAS SOUS 208665 HAS SOUPS 202554 WITH SCORE 202812.325
AT ITER 1372 NEW BEST:: SOT 679485 SOS 257747 HAS SOPS 238425 HAS SOUS 208087 HAS SOUPS 201976 WITH SCORE 202233.747
AT ITER 1377 NEW BEST:: SOT 679485 SOS 257739 HAS SOPS 238417 HAS SOUS 208079 HAS SOUPS 201968 WITH SCORE 202225.739
AT ITER 1381 NEW BEST:: SOT 679429 SOS 257627 HAS SOPS 238305 HAS SOUS 207967 HAS SOUPS 201856 WITH SCORE 202113.627
AT ITER 1384 NEW BEST:: SOT 677481 SOS 255885 HAS SOPS 236357 HAS SOUS 206564 HAS SOUPS 200318 WITH SCORE 200573.885
AT ITER 1386 NEW BEST:: SOT 677489 SOS 255901 HAS SOPS 236333 HAS SOUS 206540 HAS SOUPS 200294 WITH SCORE 200549.901
AT ITER 1394 NEW BEST:: SOT 677440 SOS 255742 HAS SOPS 236224 HAS SOUS 206431 HAS SOUPS 200185 WITH SCORE 200440.742
AT ITER 1396 NEW BEST:: SOT 675062 SOS 259746 HAS SOPS 234139 HAS SOUS 206472 HAS SOUPS 199698 WITH SCORE 199957.746
AT ITER 1424 NEW BEST:: SOT 675014 SOS 259710 HAS SOPS 234103 HAS SOUS 206436 HAS SOUPS 199662 WITH SCORE 199921.71
AT ITER 1435 NEW BEST:: SOT 675014 SOS 259669 HAS SOPS 234062 HAS SOUS 206395 HAS SOUPS 199621 WITH SCORE 199880.669
AT ITER 1437 NEW BEST:: SOT 674953 SOS 259547 HAS SOPS 233940 HAS SOUS 206273 HAS SOUPS 199499 WITH SCORE 199758.547
AT ITER 1440 NEW BEST:: SOT 674673 SOS 259254 HAS SOPS 233701 HAS SOUS 206034 HAS SOUPS 199260 WITH SCORE 199519.254
AT ITER 1447 NEW BEST:: SOT 674641 SOS 259190 HAS SOPS 233409 HAS SOUS 205742 HAS SOUPS 198968 WITH SCORE 199227.19
AT ITER 1465 NEW BEST:: SOT 674629 SOS 259166 HAS SOPS 233385 HAS SOUS 205718 HAS SOUPS 198944 WITH SCORE 199203.166
AT ITER 1479 NEW BEST:: SOT 674582 SOS 259072 HAS SOPS 233291 HAS SOUS 205624 HAS SOUPS 198850 WITH SCORE 199109.072
AT ITER 1480 NEW BEST:: SOT 674448 SOS 258848 HAS SOPS 233023 HAS SOUS 205356 HAS SOUPS 198582 WITH SCORE 198840.848
AT ITER 1484 NEW BEST:: SOT 674388 SOS 258728 HAS SOPS 232903 HAS SOUS 205236 HAS SOUPS 198462 WITH SCORE 198720.728
AT ITER 1487 NEW BEST:: SOT 674368 SOS 258688 HAS SOPS 232863 HAS SOUS 205196 HAS SOUPS 198422 WITH SCORE 198680.688
AT ITER 1488 NEW BEST:: SOT 674367 SOS 258671 HAS SOPS 232820 HAS SOUS 205194 HAS SOUPS 198420 WITH SCORE 198678.671
AT ITER 1489 NEW BEST:: SOT 674274 SOS 258485 HAS SOPS 232634 HAS SOUS 205008 HAS SOUPS 198234 WITH SCORE 198492.485
AT ITER 1492 NEW BEST:: SOT 674256 SOS 258449 HAS SOPS 232598 HAS SOUS 204972 HAS SOUPS 198198 WITH SCORE 198456.449
AT ITER 1493 NEW BEST:: SOT 674210 SOS 258414 HAS SOPS 232563 HAS SOUS 204937 HAS SOUPS 198163 WITH SCORE 198421.414
AT ITER 1494 NEW BEST:: SOT 674104 SOS 258308 HAS SOPS 232351 HAS SOUS 204725 HAS SOUPS 197951 WITH SCORE 198209.308
AT ITER 1495 NEW BEST:: SOT 674104 SOS 258294 HAS SOPS 232337 HAS SOUS 204725 HAS SOUPS 197951 WITH SCORE 198209.294
AT ITER 1496 NEW BEST:: SOT 674064 SOS 258214 HAS SOPS 232257 HAS SOUS 204645 HAS SOUPS 197871 WITH SCORE 198129.214
AT ITER 1514 NEW BEST:: SOT 674041 SOS 258168 HAS SOPS 232211 HAS SOUS 204599 HAS SOUPS 197825 WITH SCORE 198083.168
AT ITER 1516 NEW BEST:: SOT 673801 SOS 257688 HAS SOPS 231731 HAS SOUS 204119 HAS SOUPS 197345 WITH SCORE 197602.688
AT ITER 1521 NEW BEST:: SOT 673698 SOS 257676 HAS SOPS 231719 HAS SOUS 204042 HAS SOUPS 197268 WITH SCORE 197525.676
AT ITER 1534 NEW BEST:: SOT 673554 SOS 257652 HAS SOPS 231715 HAS SOUS 203982 HAS SOUPS 197208 WITH SCORE 197465.652
AT ITER 1537 NEW BEST:: SOT 673549 SOS 257642 HAS SOPS 231705 HAS SOUS 203972 HAS SOUPS 197198 WITH SCORE 197455.642
AT ITER 1546 NEW BEST:: SOT 673515 SOS 257642 HAS SOPS 231671 HAS SOUS 203938 HAS SOUPS 197164 WITH SCORE 197421.642
AT ITER 1548 NEW BEST:: SOT 673487 SOS 257586 HAS SOPS 231615 HAS SOUS 203882 HAS SOUPS 197108 WITH SCORE 197365.586
AT ITER 1553 NEW BEST:: SOT 673487 SOS 257419 HAS SOPS 231448 HAS SOUS 203731 HAS SOUPS 196957 WITH SCORE 197214.419
AT ITER 1554 NEW BEST:: SOT 673470 SOS 257402 HAS SOPS 231431 HAS SOUS 203714 HAS SOUPS 196940 WITH SCORE 197197.402
AT ITER 1559 NEW BEST:: SOT 673350 SOS 257162 HAS SOPS 231191 HAS SOUS 203474 HAS SOUPS 196700 WITH SCORE 196957.162
AT ITER 1561 NEW BEST:: SOT 673737 SOS 256387 HAS SOPS 231015 HAS SOUS 202242 HAS SOUPS 195632 WITH SCORE 195888.387
AT ITER 1566 NEW BEST:: SOT 673709 SOS 256459 HAS SOPS 231119 HAS SOUS 202218 HAS SOUPS 195608 WITH SCORE 195864.459
AT ITER 1570 NEW BEST:: SOT 672460 SOS 258548 HAS SOPS 230229 HAS SOUS 202029 HAS SOUPS 195133 WITH SCORE 195391.548
AT ITER 1577 NEW BEST:: SOT 672476 SOS 258547 HAS SOPS 230228 HAS SOUS 202028 HAS SOUPS 195132 WITH SCORE 195390.547
AT ITER 1578 NEW BEST:: SOT 672476 SOS 258532 HAS SOPS 230213 HAS SOUS 202028 HAS SOUPS 195132 WITH SCORE 195390.532
AT ITER 1584 NEW BEST:: SOT 672413 SOS 258492 HAS SOPS 230135 HAS SOUS 201941 HAS SOUPS 195031 WITH SCORE 195289.492
AT ITER 1589 NEW BEST:: SOT 672411 SOS 258488 HAS SOPS 230131 HAS SOUS 201937 HAS SOUPS 195027 WITH SCORE 195285.488
AT ITER 1594 NEW BEST:: SOT 672473 SOS 258498 HAS SOPS 230045 HAS SOUS 201851 HAS SOUPS 194941 WITH SCORE 195199.498
AT ITER 1600 NEW BEST:: SOT 672375 SOS 258425 HAS SOPS 230041 HAS SOUS 201522 HAS SOUPS 194612 WITH SCORE 194870.425
AT ITER 1602 NEW BEST:: SOT 672375 SOS 258425 HAS SOPS 230025 HAS SOUS 201506 HAS SOUPS 194596 WITH SCORE 194854.425
AT ITER 1607 NEW BEST:: SOT 671564 SOS 262898 HAS SOPS 234296 HAS SOUS 201448 HAS SOUPS 194538 WITH SCORE 194800.898
AT ITER 1625 NEW BEST:: SOT 671564 SOS 262888 HAS SOPS 234296 HAS SOUS 201438 HAS SOUPS 194538 WITH SCORE 194800.888
AT ITER 1632 NEW BEST:: SOT 671521 SOS 262802 HAS SOPS 234210 HAS SOUS 201352 HAS SOUPS 194452 WITH SCORE 194714.802
AT ITER 1638 NEW BEST:: SOT 671614 SOS 262895 HAS SOPS 234183 HAS SOUS 201325 HAS SOUPS 194425 WITH SCORE 194687.895
AT ITER 1641 NEW BEST:: SOT 671552 SOS 262847 HAS SOPS 234135 HAS SOUS 201301 HAS SOUPS 194401 WITH SCORE 194663.847
AT ITER 1650 NEW BEST:: SOT 670543 SOS 264413 HAS SOPS 233528 HAS SOUS 201048 HAS SOUPS 193947 WITH SCORE 194211.413
AT ITER 1653 NEW BEST:: SOT 670321 SOS 264117 HAS SOPS 233232 HAS SOUS 200752 HAS SOUPS 193651 WITH SCORE 193915.117
AT ITER 1656 NEW BEST:: SOT 670321 SOS 264087 HAS SOPS 233232 HAS SOUS 200752 HAS SOUPS 193651 WITH SCORE 193915.087
AT ITER 1659 NEW BEST:: SOT 670137 SOS 263583 HAS SOPS 232864 HAS SOUS 200384 HAS SOUPS 193283 WITH SCORE 193546.583
AT ITER 1660 NEW BEST:: SOT 670137 SOS 263369 HAS SOPS 232650 HAS SOUS 200384 HAS SOUPS 193283 WITH SCORE 193546.369
AT ITER 1672 NEW BEST:: SOT 669960 SOS 263017 HAS SOPS 232352 HAS SOUS 200323 HAS SOUPS 193222 WITH SCORE 193485.017
AT ITER 1689 NEW BEST:: SOT 669960 SOS 263017 HAS SOPS 232224 HAS SOUS 200195 HAS SOUPS 193094 WITH SCORE 193357.017
AT ITER 1690 NEW BEST:: SOT 669960 SOS 262894 HAS SOPS 232224 HAS SOUS 200195 HAS SOUPS 193094 WITH SCORE 193356.894
AT ITER 1696 NEW BEST:: SOT 669936 SOS 262846 HAS SOPS 232176 HAS SOUS 200147 HAS SOUPS 193046 WITH SCORE 193308.846
AT ITER 1702 NEW BEST:: SOT 669825 SOS 262412 HAS SOPS 231742 HAS SOUS 200016 HAS SOUPS 192915 WITH SCORE 193177.412
AT ITER 1703 NEW BEST:: SOT 669750 SOS 262337 HAS SOPS 231592 HAS SOUS 199866 HAS SOUPS 192765 WITH SCORE 193027.337
AT ITER 1705 NEW BEST:: SOT 669667 SOS 262008 HAS SOPS 231426 HAS SOUS 199728 HAS SOUPS 192599 WITH SCORE 192861.008
AT ITER 1708 NEW BEST:: SOT 669379 SOS 261858 HAS SOPS 231276 HAS SOUS 199440 HAS SOUPS 192311 WITH SCORE 192572.858
AT ITER 1722 NEW BEST:: SOT 669354 SOS 261808 HAS SOPS 231226 HAS SOUS 199390 HAS SOUPS 192261 WITH SCORE 192522.808
AT ITER 1731 NEW BEST:: SOT 669334 SOS 261768 HAS SOPS 231186 HAS SOUS 199350 HAS SOUPS 192221 WITH SCORE 192482.768
AT ITER 1745 NEW BEST:: SOT 669334 SOS 261368 HAS SOPS 230786 HAS SOUS 199310 HAS SOUPS 192181 WITH SCORE 192442.368
AT ITER 1764 NEW BEST:: SOT 669317 SOS 261348 HAS SOPS 230766 HAS SOUS 199265 HAS SOUPS 192136 WITH SCORE 192397.348
AT ITER 1767 NEW BEST:: SOT 669208 SOS 261107 HAS SOPS 230548 HAS SOUS 199121 HAS SOUPS 191992 WITH SCORE 192253.107
AT ITER 1773 NEW BEST:: SOT 668990 SOS 260349 HAS SOPS 229790 HAS SOUS 198363 HAS SOUPS 191234 WITH SCORE 191494.349
AT ITER 1778 NEW BEST:: SOT 668950 SOS 260409 HAS SOPS 229710 HAS SOUS 198283 HAS SOUPS 191154 WITH SCORE 191414.409
AT ITER 1784 NEW BEST:: SOT 668916 SOS 260341 HAS SOPS 229642 HAS SOUS 198215 HAS SOUPS 191086 WITH SCORE 191346.341
AT ITER 1797 NEW BEST:: SOT 668909 SOS 260327 HAS SOPS 229628 HAS SOUS 198201 HAS SOUPS 191072 WITH SCORE 191332.327
AT ITER 1800 NEW BEST:: SOT 668894 SOS 260297 HAS SOPS 229598 HAS SOUS 198171 HAS SOUPS 191042 WITH SCORE 191302.297
AT ITER 1801 NEW BEST:: SOT 668905 SOS 260373 HAS SOPS 229620 HAS SOUS 198063 HAS SOUPS 190934 WITH SCORE 191194.373
AT ITER 1805 NEW BEST:: SOT 668893 SOS 260349 HAS SOPS 229596 HAS SOUS 198045 HAS SOUPS 190916 WITH SCORE 191176.349
AT ITER 1822 NEW BEST:: SOT 668893 SOS 260209 HAS SOPS 229596 HAS SOUS 198017 HAS SOUPS 190916 WITH SCORE 191176.209
AT ITER 1823 NEW BEST:: SOT 668833 SOS 259838 HAS SOPS 229242 HAS SOUS 197663 HAS SOUPS 190562 WITH SCORE 190821.838
AT ITER 1826 NEW BEST:: SOT 668779 SOS 259776 HAS SOPS 229180 HAS SOUS 197647 HAS SOUPS 190546 WITH SCORE 190805.776
AT ITER 1830 NEW BEST:: SOT 669046 SOS 256904 HAS SOPS 227932 HAS SOUS 196577 HAS SOUPS 189846 WITH SCORE 190102.904
AT ITER 1833 NEW BEST:: SOT 669035 SOS 256620 HAS SOPS 227864 HAS SOUS 196555 HAS SOUPS 189824 WITH SCORE 190080.62
AT ITER 1844 NEW BEST:: SOT 669465 SOS 256868 HAS SOPS 227566 HAS SOUS 196837 HAS SOUPS 189799 WITH SCORE 190055.868
AT ITER 1856 NEW BEST:: SOT 669465 SOS 256470 HAS SOPS 227566 HAS SOUS 196793 HAS SOUPS 189772 WITH SCORE 190028.47
AT ITER 1864 NEW BEST:: SOT 669465 SOS 256387 HAS SOPS 227555 HAS SOUS 196687 HAS SOUPS 189684 WITH SCORE 189940.387
AT ITER 1865 NEW BEST:: SOT 669465 SOS 256373 HAS SOPS 227541 HAS SOUS 196687 HAS SOUPS 189684 WITH SCORE 189940.373
AT ITER 1870 NEW BEST:: SOT 669451 SOS 256345 HAS SOPS 227513 HAS SOUS 196659 HAS SOUPS 189656 WITH SCORE 189912.345
AT ITER 1873 NEW BEST:: SOT 669255 SOS 256543 HAS SOPS 227711 HAS SOUS 196508 HAS SOUPS 189505 WITH SCORE 189761.543
AT ITER 1880 NEW BEST:: SOT 669251 SOS 256535 HAS SOPS 227703 HAS SOUS 196500 HAS SOUPS 189497 WITH SCORE 189753.535
AT ITER 1889 NEW BEST:: SOT 669323 SOS 256152 HAS SOPS 227072 HAS SOUS 196396 HAS SOUPS 189393 WITH SCORE 189649.152
AT ITER 1890 NEW BEST:: SOT 669325 SOS 256150 HAS SOPS 227066 HAS SOUS 196394 HAS SOUPS 189391 WITH SCORE 189647.15
AT ITER 1893 NEW BEST:: SOT 669253 SOS 256006 HAS SOPS 226922 HAS SOUS 196250 HAS SOUPS 189247 WITH SCORE 189503.006
AT ITER 1894 NEW BEST:: SOT 669112 SOS 255800 HAS SOPS 226770 HAS SOUS 196098 HAS SOUPS 189095 WITH SCORE 189350.8
AT ITER 1904 NEW BEST:: SOT 669083 SOS 255742 HAS SOPS 226712 HAS SOUS 196040 HAS SOUPS 189037 WITH SCORE 189292.742
AT ITER 1910 NEW BEST:: SOT 667872 SOS 261379 HAS SOPS 225297 HAS SOUS 195877 HAS SOUPS 188434 WITH SCORE 188695.379
AT ITER 1921 NEW BEST:: SOT 667849 SOS 261218 HAS SOPS 225136 HAS SOUS 195831 HAS SOUPS 188388 WITH SCORE 188649.218
AT ITER 1924 NEW BEST:: SOT 667843 SOS 261206 HAS SOPS 225124 HAS SOUS 195819 HAS SOUPS 188376 WITH SCORE 188637.206
AT ITER 1928 NEW BEST:: SOT 667731 SOS 260965 HAS SOPS 224900 HAS SOUS 195595 HAS SOUPS 188152 WITH SCORE 188412.965
AT ITER 1951 NEW BEST:: SOT 667731 SOS 260951 HAS SOPS 224886 HAS SOUS 195581 HAS SOUPS 188138 WITH SCORE 188398.951
AT ITER 1966 NEW BEST:: SOT 667615 SOS 260719 HAS SOPS 224882 HAS SOUS 195577 HAS SOUPS 188134 WITH SCORE 188394.719
AT ITER 1970 NEW BEST:: SOT 667615 SOS 260691 HAS SOPS 224882 HAS SOUS 195577 HAS SOUPS 188134 WITH SCORE 188394.691
AT ITER 1972 NEW BEST:: SOT 667461 SOS 260383 HAS SOPS 224684 HAS SOUS 195379 HAS SOUPS 187936 WITH SCORE 188196.383
AT ITER 1981 NEW BEST:: SOT 667401 SOS 260323 HAS SOPS 224624 HAS SOUS 195319 HAS SOUPS 187876 WITH SCORE 188136.323
AT ITER 2001 NEW BEST:: SOT 667399 SOS 260319 HAS SOPS 224620 HAS SOUS 195315 HAS SOUPS 187872 WITH SCORE 188132.319
AT ITER 2005 NEW BEST:: SOT 667343 SOS 260151 HAS SOPS 224508 HAS SOUS 195203 HAS SOUPS 187760 WITH SCORE 188020.151
AT ITER 2012 NEW BEST:: SOT 667296 SOS 260057 HAS SOPS 224414 HAS SOUS 195109 HAS SOUPS 187666 WITH SCORE 187926.057
AT ITER 2013 NEW BEST:: SOT 667290 SOS 260099 HAS SOPS 224426 HAS SOUS 195109 HAS SOUPS 187660 WITH SCORE 187920.099
AT ITER 2019 NEW BEST:: SOT 667278 SOS 260075 HAS SOPS 224414 HAS SOUS 195097 HAS SOUPS 187648 WITH SCORE 187908.075
AT ITER 2027 NEW BEST:: SOT 667236 SOS 259991 HAS SOPS 224330 HAS SOUS 195013 HAS SOUPS 187564 WITH SCORE 187823.991
AT ITER 2032 NEW BEST:: SOT 667236 SOS 259982 HAS SOPS 224330 HAS SOUS 195013 HAS SOUPS 187564 WITH SCORE 187823.982
AT ITER 2045 NEW BEST:: SOT 667173 SOS 259856 HAS SOPS 224204 HAS SOUS 194887 HAS SOUPS 187438 WITH SCORE 187697.856
AT ITER 2056 NEW BEST:: SOT 667165 SOS 259840 HAS SOPS 224188 HAS SOUS 194871 HAS SOUPS 187422 WITH SCORE 187681.84
AT ITER 2058 NEW BEST:: SOT 667142 SOS 259794 HAS SOPS 224142 HAS SOUS 194825 HAS SOUPS 187376 WITH SCORE 187635.794
AT ITER 2061 NEW BEST:: SOT 667024 SOS 259582 HAS SOPS 224158 HAS SOUS 194807 HAS SOUPS 187358 WITH SCORE 187617.582
AT ITER 2063 NEW BEST:: SOT 666941 SOS 259416 HAS SOPS 223992 HAS SOUS 194641 HAS SOUPS 187192 WITH SCORE 187451.416
AT ITER 2064 NEW BEST:: SOT 668156 SOS 259477 HAS SOPS 224605 HAS SOUS 193004 HAS SOUPS 185889 WITH SCORE 186148.477
AT ITER 2065 NEW BEST:: SOT 668079 SOS 259312 HAS SOPS 224440 HAS SOUS 192839 HAS SOUPS 185724 WITH SCORE 185983.312
AT ITER 2074 NEW BEST:: SOT 668070 SOS 259302 HAS SOPS 224430 HAS SOUS 192829 HAS SOUPS 185714 WITH SCORE 185973.302
AT ITER 2079 NEW BEST:: SOT 668047 SOS 259236 HAS SOPS 224353 HAS SOUS 192774 HAS SOUPS 185659 WITH SCORE 185918.236
AT ITER 2088 NEW BEST:: SOT 667941 SOS 259089 HAS SOPS 224210 HAS SOUS 192631 HAS SOUPS 185516 WITH SCORE 185775.089
AT ITER 2100 NEW BEST:: SOT 667861 SOS 258929 HAS SOPS 224050 HAS SOUS 192471 HAS SOUPS 185356 WITH SCORE 185614.929
AT ITER 2118 NEW BEST:: SOT 667860 SOS 258928 HAS SOPS 224049 HAS SOUS 192470 HAS SOUPS 185355 WITH SCORE 185613.928
AT ITER 2141 NEW BEST:: SOT 667807 SOS 258813 HAS SOPS 223881 HAS SOUS 192364 HAS SOUPS 185249 WITH SCORE 185507.813
AT ITER 2148 NEW BEST:: SOT 667807 SOS 258575 HAS SOPS 223881 HAS SOUS 192364 HAS SOUPS 185249 WITH SCORE 185507.575
AT ITER 2150 NEW BEST:: SOT 667807 SOS 258432 HAS SOPS 223881 HAS SOUS 192364 HAS SOUPS 185249 WITH SCORE 185507.432
AT ITER 2158 NEW BEST:: SOT 667759 SOS 258336 HAS SOPS 223785 HAS SOUS 192268 HAS SOUPS 185153 WITH SCORE 185411.336
AT ITER 2164 NEW BEST:: SOT 667635 SOS 258088 HAS SOPS 223537 HAS SOUS 192020 HAS SOUPS 184905 WITH SCORE 185163.088
AT ITER 2168 NEW BEST:: SOT 667629 SOS 258106 HAS SOPS 223555 HAS SOUS 192008 HAS SOUPS 184893 WITH SCORE 185151.106
AT ITER 2169 NEW BEST:: SOT 667529 SOS 258006 HAS SOPS 223455 HAS SOUS 191908 HAS SOUPS 184793 WITH SCORE 185051.006
AT ITER 2170 NEW BEST:: SOT 667361 SOS 257670 HAS SOPS 223119 HAS SOUS 191572 HAS SOUPS 184457 WITH SCORE 184714.67
AT ITER 2190 NEW BEST:: SOT 667315 SOS 257601 HAS SOPS 223050 HAS SOUS 191503 HAS SOUPS 184388 WITH SCORE 184645.601
AT ITER 2192 NEW BEST:: SOT 667174 SOS 256131 HAS SOPS 221448 HAS SOUS 191085 HAS SOUPS 183970 WITH SCORE 184226.131
AT ITER 2199 NEW BEST:: SOT 667174 SOS 256131 HAS SOPS 221408 HAS SOUS 191045 HAS SOUPS 183930 WITH SCORE 184186.131
AT ITER 2204 NEW BEST:: SOT 667160 SOS 256117 HAS SOPS 221380 HAS SOUS 191017 HAS SOUPS 183902 WITH SCORE 184158.117
AT ITER 2222 NEW BEST:: SOT 667163 SOS 256150 HAS SOPS 221398 HAS SOUS 191011 HAS SOUPS 183896 WITH SCORE 184152.15
AT ITER 2226 NEW BEST:: SOT 667125 SOS 256059 HAS SOPS 221307 HAS SOUS 190920 HAS SOUPS 183805 WITH SCORE 184061.059
AT ITER 2230 NEW BEST:: SOT 667259 SOS 256166 HAS SOPS 221288 HAS SOUS 190900 HAS SOUPS 183785 WITH SCORE 184041.166
AT ITER 2235 NEW BEST:: SOT 667036 SOS 255728 HAS SOPS 221057 HAS SOUS 190641 HAS SOUPS 183554 WITH SCORE 183809.728
AT ITER 2238 NEW BEST:: SOT 666815 SOS 255583 HAS SOPS 220836 HAS SOUS 190554 HAS SOUPS 183448 WITH SCORE 183703.583
AT ITER 2242 NEW BEST:: SOT 666815 SOS 255469 HAS SOPS 220836 HAS SOUS 190554 HAS SOUPS 183448 WITH SCORE 183703.469
AT ITER 2243 NEW BEST:: SOT 666830 SOS 255539 HAS SOPS 220811 HAS SOUS 190529 HAS SOUPS 183423 WITH SCORE 183678.539
AT ITER 2244 NEW BEST:: SOT 666771 SOS 255279 HAS SOPS 220693 HAS SOUS 190411 HAS SOUPS 183305 WITH SCORE 183560.279
AT ITER 2246 NEW BEST:: SOT 666723 SOS 255183 HAS SOPS 220597 HAS SOUS 190315 HAS SOUPS 183209 WITH SCORE 183464.183
AT ITER 2274 NEW BEST:: SOT 666698 SOS 255004 HAS SOPS 220418 HAS SOUS 190265 HAS SOUPS 183159 WITH SCORE 183414.004
AT ITER 2281 NEW BEST:: SOT 666634 SOS 255956 HAS SOPS 221190 HAS SOUS 190137 HAS SOUPS 183031 WITH SCORE 183286.956
AT ITER 2293 NEW BEST:: SOT 666628 SOS 255950 HAS SOPS 221178 HAS SOUS 190125 HAS SOUPS 183019 WITH SCORE 183274.95
AT ITER 2307 NEW BEST:: SOT 666540 SOS 255867 HAS SOPS 221022 HAS SOUS 189967 HAS SOUPS 182861 WITH SCORE 183116.867
AT ITER 2316 NEW BEST:: SOT 666648 SOS 255447 HAS SOPS 220809 HAS SOUS 188941 HAS SOUPS 181925 WITH SCORE 182180.447
AT ITER 2317 NEW BEST:: SOT 666540 SOS 255231 HAS SOPS 220593 HAS SOUS 188725 HAS SOUPS 181709 WITH SCORE 181964.231
AT ITER 2343 NEW BEST:: SOT 666529 SOS 255282 HAS SOPS 220571 HAS SOUS 188703 HAS SOUPS 181687 WITH SCORE 181942.282
AT ITER 2354 NEW BEST:: SOT 666832 SOS 254556 HAS SOPS 219707 HAS SOUS 188628 HAS SOUPS 181612 WITH SCORE 181866.556
AT ITER 2362 NEW BEST:: SOT 666588 SOS 254242 HAS SOPS 219393 HAS SOUS 188392 HAS SOUPS 181376 WITH SCORE 181630.242
AT ITER 2372 NEW BEST:: SOT 666588 SOS 254079 HAS SOPS 219393 HAS SOUS 188392 HAS SOUPS 181376 WITH SCORE 181630.079
AT ITER 2377 NEW BEST:: SOT 666505 SOS 253913 HAS SOPS 219227 HAS SOUS 188226 HAS SOUPS 181210 WITH SCORE 181463.913
AT ITER 2379 NEW BEST:: SOT 666489 SOS 253778 HAS SOPS 219195 HAS SOUS 188194 HAS SOUPS 181178 WITH SCORE 181431.778
AT ITER 2381 NEW BEST:: SOT 666367 SOS 253362 HAS SOPS 218951 HAS SOUS 187950 HAS SOUPS 180934 WITH SCORE 181187.362
AT ITER 2382 NEW BEST:: SOT 666355 SOS 253179 HAS SOPS 218927 HAS SOUS 187926 HAS SOUPS 180910 WITH SCORE 181163.179
AT ITER 2386 NEW BEST:: SOT 666275 SOS 253019 HAS SOPS 218767 HAS SOUS 187766 HAS SOUPS 180750 WITH SCORE 181003.019
AT ITER 2393 NEW BEST:: SOT 666235 SOS 252939 HAS SOPS 218687 HAS SOUS 187686 HAS SOUPS 180670 WITH SCORE 180922.939
AT ITER 2400 NEW BEST:: SOT 666196 SOS 252861 HAS SOPS 218609 HAS SOUS 187608 HAS SOUPS 180592 WITH SCORE 180844.861
AT ITER 2413 NEW BEST:: SOT 665983 SOS 252435 HAS SOPS 218183 HAS SOUS 187395 HAS SOUPS 180379 WITH SCORE 180631.435
AT ITER 2417 NEW BEST:: SOT 665943 SOS 252315 HAS SOPS 218103 HAS SOUS 187315 HAS SOUPS 180299 WITH SCORE 180551.315
AT ITER 2436 NEW BEST:: SOT 665939 SOS 252296 HAS SOPS 218095 HAS SOUS 187307 HAS SOUPS 180291 WITH SCORE 180543.296
AT ITER 2440 NEW BEST:: SOT 665939 SOS 252296 HAS SOPS 218095 HAS SOUS 187198 HAS SOUPS 180182 WITH SCORE 180434.296
AT ITER 2444 NEW BEST:: SOT 665928 SOS 252191 HAS SOPS 218073 HAS SOUS 187176 HAS SOUPS 180160 WITH SCORE 180412.191
AT ITER 2461 NEW BEST:: SOT 665887 SOS 252046 HAS SOPS 217991 HAS SOUS 187094 HAS SOUPS 180078 WITH SCORE 180330.046
AT ITER 2481 NEW BEST:: SOT 665877 SOS 252036 HAS SOPS 217976 HAS SOUS 187079 HAS SOUPS 180063 WITH SCORE 180315.036
AT ITER 2489 NEW BEST:: SOT 665890 SOS 252007 HAS SOPS 217834 HAS SOUS 186937 HAS SOUPS 179921 WITH SCORE 180173.007
AT ITER 2493 NEW BEST:: SOT 665889 SOS 252406 HAS SOPS 218152 HAS SOUS 186855 HAS SOUPS 179839 WITH SCORE 180091.406
AT ITER 2506 NEW BEST:: SOT 665850 SOS 252432 HAS SOPS 218126 HAS SOUS 186829 HAS SOUPS 179813 WITH SCORE 180065.432
AT ITER 2510 NEW BEST:: SOT 665802 SOS 252336 HAS SOPS 218030 HAS SOUS 186733 HAS SOUPS 179717 WITH SCORE 179969.336
AT ITER 2513 NEW BEST:: SOT 665795 SOS 252312 HAS SOPS 218006 HAS SOUS 186709 HAS SOUPS 179693 WITH SCORE 179945.312
AT ITER 2514 NEW BEST:: SOT 665744 SOS 252210 HAS SOPS 217904 HAS SOUS 186607 HAS SOUPS 179591 WITH SCORE 179843.21
AT ITER 2521 NEW BEST:: SOT 665744 SOS 252157 HAS SOPS 217904 HAS SOUS 186607 HAS SOUPS 179591 WITH SCORE 179843.157
AT ITER 2532 NEW BEST:: SOT 665743 SOS 252155 HAS SOPS 217902 HAS SOUS 186605 HAS SOUPS 179589 WITH SCORE 179841.155
AT ITER 2535 NEW BEST:: SOT 665743 SOS 252049 HAS SOPS 217902 HAS SOUS 186605 HAS SOUPS 179589 WITH SCORE 179841.049
AT ITER 2540 NEW BEST:: SOT 665689 SOS 251813 HAS SOPS 217794 HAS SOUS 186497 HAS SOUPS 179481 WITH SCORE 179732.813
AT ITER 2549 NEW BEST:: SOT 665712 SOS 251868 HAS SOPS 217558 HAS SOUS 186356 HAS SOUPS 179245 WITH SCORE 179496.868
AT ITER 2558 NEW BEST:: SOT 665519 SOS 251309 HAS SOPS 216999 HAS SOUS 185904 HAS SOUPS 178793 WITH SCORE 179044.309
AT ITER 2560 NEW BEST:: SOT 665519 SOS 251145 HAS SOPS 216999 HAS SOUS 185904 HAS SOUPS 178793 WITH SCORE 179044.145
AT ITER 2565 NEW BEST:: SOT 665518 SOS 251143 HAS SOPS 216997 HAS SOUS 185902 HAS SOUPS 178791 WITH SCORE 179042.143
AT ITER 2580 NEW BEST:: SOT 665440 SOS 251008 HAS SOPS 216862 HAS SOUS 185746 HAS SOUPS 178635 WITH SCORE 178886.008
AT ITER 2600 NEW BEST:: SOT 665281 SOS 248746 HAS SOPS 214854 HAS SOUS 185682 HAS SOUPS 178571 WITH SCORE 178819.746
AT ITER 2601 NEW BEST:: SOT 665261 SOS 248726 HAS SOPS 214837 HAS SOUS 185675 HAS SOUPS 178564 WITH SCORE 178812.726
AT ITER 2615 NEW BEST:: SOT 664977 SOS 248782 HAS SOPS 214553 HAS SOUS 185479 HAS SOUPS 178324 WITH SCORE 178572.782
AT ITER 2621 NEW BEST:: SOT 664698 SOS 248665 HAS SOPS 214261 HAS SOUS 185391 HAS SOUPS 178032 WITH SCORE 178280.665
AT ITER 2622 NEW BEST:: SOT 664669 SOS 248659 HAS SOPS 214281 HAS SOUS 185369 HAS SOUPS 178029 WITH SCORE 178277.659
AT ITER 2624 NEW BEST:: SOT 664627 SOS 248461 HAS SOPS 214951 HAS SOUS 185232 HAS SOUPS 177998 WITH SCORE 178246.461
AT ITER 2639 NEW BEST:: SOT 664627 SOS 248461 HAS SOPS 214945 HAS SOUS 185226 HAS SOUPS 177992 WITH SCORE 178240.461
AT ITER 2643 NEW BEST:: SOT 664271 SOS 248276 HAS SOPS 214909 HAS SOUS 185023 HAS SOUPS 177789 WITH SCORE 178037.276
AT ITER 2644 NEW BEST:: SOT 664263 SOS 248260 HAS SOPS 214893 HAS SOUS 185007 HAS SOUPS 177773 WITH SCORE 178021.26
AT ITER 2650 NEW BEST:: SOT 664242 SOS 248386 HAS SOPS 215019 HAS SOUS 184986 HAS SOUPS 177752 WITH SCORE 178000.386
AT ITER 2651 NEW BEST:: SOT 661956 SOS 247020 HAS SOPS 212649 HAS SOUS 185087 HAS SOUPS 177546 WITH SCORE 177793.02
AT ITER 2655 NEW BEST:: SOT 661677 SOS 246432 HAS SOPS 212061 HAS SOUS 184528 HAS SOUPS 176987 WITH SCORE 177233.432
AT ITER 2659 NEW BEST:: SOT 661658 SOS 246355 HAS SOPS 212023 HAS SOUS 184490 HAS SOUPS 176949 WITH SCORE 177195.355
AT ITER 2679 NEW BEST:: SOT 661658 SOS 246326 HAS SOPS 211994 HAS SOUS 184461 HAS SOUPS 176920 WITH SCORE 177166.326
AT ITER 2685 NEW BEST:: SOT 661721 SOS 246076 HAS SOPS 211744 HAS SOUS 184211 HAS SOUPS 176670 WITH SCORE 176916.076
AT ITER 2687 NEW BEST:: SOT 661539 SOS 245789 HAS SOPS 211457 HAS SOUS 183924 HAS SOUPS 176383 WITH SCORE 176628.789
AT ITER 2689 NEW BEST:: SOT 660709 SOS 246232 HAS SOPS 211895 HAS SOUS 183659 HAS SOUPS 176113 WITH SCORE 176359.232
AT ITER 2697 NEW BEST:: SOT 660625 SOS 246037 HAS SOPS 211692 HAS SOUS 183491 HAS SOUPS 175945 WITH SCORE 176191.037
AT ITER 2702 NEW BEST:: SOT 660591 SOS 245969 HAS SOPS 211590 HAS SOUS 183389 HAS SOUPS 175843 WITH SCORE 176088.969
AT ITER 2705 NEW BEST:: SOT 660556 SOS 245962 HAS SOPS 211583 HAS SOUS 183347 HAS SOUPS 175801 WITH SCORE 176046.962
AT ITER 2712 NEW BEST:: SOT 660514 SOS 245878 HAS SOPS 211499 HAS SOUS 183263 HAS SOUPS 175717 WITH SCORE 175962.878
AT ITER 2714 NEW BEST:: SOT 660514 SOS 245863 HAS SOPS 211499 HAS SOUS 183263 HAS SOUPS 175717 WITH SCORE 175962.863
AT ITER 2737 NEW BEST:: SOT 660449 SOS 245733 HAS SOPS 211369 HAS SOUS 183133 HAS SOUPS 175587 WITH SCORE 175832.733
AT ITER 2739 NEW BEST:: SOT 660384 SOS 245668 HAS SOPS 211239 HAS SOUS 183003 HAS SOUPS 175457 WITH SCORE 175702.668
AT ITER 2740 NEW BEST:: SOT 659234 SOS 245245 HAS SOPS 209919 HAS SOUS 182840 HAS SOUPS 175155 WITH SCORE 175400.245
AT ITER 2743 NEW BEST:: SOT 659219 SOS 244818 HAS SOPS 209492 HAS SOUS 182825 HAS SOUPS 175140 WITH SCORE 175384.818
AT ITER 2751 NEW BEST:: SOT 659181 SOS 244682 HAS SOPS 209356 HAS SOUS 182739 HAS SOUPS 175054 WITH SCORE 175298.682
AT ITER 2753 NEW BEST:: SOT 658777 SOS 244253 HAS SOPS 208548 HAS SOUS 181931 HAS SOUPS 174246 WITH SCORE 174490.253
AT ITER 2767 NEW BEST:: SOT 658769 SOS 244253 HAS SOPS 208532 HAS SOUS 181915 HAS SOUPS 174230 WITH SCORE 174474.253
AT ITER 2769 NEW BEST:: SOT 657989 SOS 243023 HAS SOPS 207422 HAS SOUS 181180 HAS SOUPS 173495 WITH SCORE 173738.023
AT ITER 2772 NEW BEST:: SOT 657808 SOS 242661 HAS SOPS 207060 HAS SOUS 180818 HAS SOUPS 173133 WITH SCORE 173375.661
AT ITER 2775 NEW BEST:: SOT 657702 SOS 242449 HAS SOPS 206848 HAS SOUS 180606 HAS SOUPS 172921 WITH SCORE 173163.449
AT ITER 2778 NEW BEST:: SOT 657702 SOS 242450 HAS SOPS 206847 HAS SOUS 180605 HAS SOUPS 172920 WITH SCORE 173162.45
AT ITER 2779 NEW BEST:: SOT 657520 SOS 242194 HAS SOPS 206715 HAS SOUS 180473 HAS SOUPS 172788 WITH SCORE 173030.194
AT ITER 2784 NEW BEST:: SOT 657698 SOS 242618 HAS SOPS 207071 HAS SOUS 180465 HAS SOUPS 172780 WITH SCORE 173022.618
AT ITER 2787 NEW BEST:: SOT 657698 SOS 242438 HAS SOPS 206891 HAS SOUS 180465 HAS SOUPS 172780 WITH SCORE 173022.438
AT ITER 2789 NEW BEST:: SOT 657650 SOS 242248 HAS SOPS 206701 HAS SOUS 180395 HAS SOUPS 172710 WITH SCORE 172952.248
AT ITER 2791 NEW BEST:: SOT 657646 SOS 242240 HAS SOPS 206693 HAS SOUS 180387 HAS SOUPS 172702 WITH SCORE 172944.24
AT ITER 2792 NEW BEST:: SOT 657633 SOS 242246 HAS SOPS 206686 HAS SOUS 180380 HAS SOUPS 172695 WITH SCORE 172937.246
AT ITER 2799 NEW BEST:: SOT 657408 SOS 241796 HAS SOPS 206236 HAS SOUS 179930 HAS SOUPS 172245 WITH SCORE 172486.796
AT ITER 2801 NEW BEST:: SOT 657406 SOS 241967 HAS SOPS 206232 HAS SOUS 179926 HAS SOUPS 172241 WITH SCORE 172482.967
AT ITER 2809 NEW BEST:: SOT 657406 SOS 241869 HAS SOPS 206232 HAS SOUS 179926 HAS SOUPS 172241 WITH SCORE 172482.869
AT ITER 2815 NEW BEST:: SOT 657400 SOS 241665 HAS SOPS 206028 HAS SOUS 179914 HAS SOUPS 172229 WITH SCORE 172470.665
AT ITER 2816 NEW BEST:: SOT 657396 SOS 241657 HAS SOPS 206020 HAS SOUS 179906 HAS SOUPS 172221 WITH SCORE 172462.657
AT ITER 2822 NEW BEST:: SOT 657395 SOS 241655 HAS SOPS 206018 HAS SOUS 179905 HAS SOUPS 172220 WITH SCORE 172461.655
AT ITER 2824 NEW BEST:: SOT 657445 SOS 241705 HAS SOPS 206082 HAS SOUS 179815 HAS SOUPS 172144 WITH SCORE 172385.705
AT ITER 2826 NEW BEST:: SOT 657442 SOS 241736 HAS SOPS 206076 HAS SOUS 179809 HAS SOUPS 172138 WITH SCORE 172379.736
AT ITER 2831 NEW BEST:: SOT 657192 SOS 241435 HAS SOPS 205801 HAS SOUS 179466 HAS SOUPS 171795 WITH SCORE 172036.435
AT ITER 2832 NEW BEST:: SOT 657532 SOS 241371 HAS SOPS 205737 HAS SOUS 179402 HAS SOUPS 171731 WITH SCORE 171972.371
AT ITER 2833 NEW BEST:: SOT 657415 SOS 241212 HAS SOPS 205578 HAS SOUS 179243 HAS SOUPS 171572 WITH SCORE 171813.212
AT ITER 2834 NEW BEST:: SOT 657230 SOS 240985 HAS SOPS 205351 HAS SOUS 178967 HAS SOUPS 171296 WITH SCORE 171536.985
AT ITER 2835 NEW BEST:: SOT 657128 SOS 240757 HAS SOPS 205123 HAS SOUS 178802 HAS SOUPS 171131 WITH SCORE 171371.757
AT ITER 2838 NEW BEST:: SOT 656926 SOS 240259 HAS SOPS 204625 HAS SOUS 178665 HAS SOUPS 170994 WITH SCORE 171234.259
AT ITER 2842 NEW BEST:: SOT 656898 SOS 240217 HAS SOPS 204583 HAS SOUS 178623 HAS SOUPS 170952 WITH SCORE 171192.217
AT ITER 2852 NEW BEST:: SOT 656738 SOS 239897 HAS SOPS 204263 HAS SOUS 178303 HAS SOUPS 170632 WITH SCORE 170871.897
AT ITER 2857 NEW BEST:: SOT 656642 SOS 239794 HAS SOPS 204160 HAS SOUS 178136 HAS SOUPS 170465 WITH SCORE 170704.794
AT ITER 2858 NEW BEST:: SOT 656621 SOS 239773 HAS SOPS 204139 HAS SOUS 178115 HAS SOUPS 170444 WITH SCORE 170683.773
AT ITER 2869 NEW BEST:: SOT 656595 SOS 239721 HAS SOPS 204087 HAS SOUS 178063 HAS SOUPS 170392 WITH SCORE 170631.721
AT ITER 2870 NEW BEST:: SOT 656584 SOS 239699 HAS SOPS 204065 HAS SOUS 178041 HAS SOUPS 170370 WITH SCORE 170609.699
AT ITER 2888 NEW BEST:: SOT 656556 SOS 239643 HAS SOPS 204009 HAS SOUS 177985 HAS SOUPS 170314 WITH SCORE 170553.643
AT ITER 2890 NEW BEST:: SOT 656556 SOS 239509 HAS SOPS 203883 HAS SOUS 177985 HAS SOUPS 170314 WITH SCORE 170553.509
AT ITER 2900 NEW BEST:: SOT 656413 SOS 239366 HAS SOPS 203740 HAS SOUS 177859 HAS SOUPS 170188 WITH SCORE 170427.366
AT ITER 2906 NEW BEST:: SOT 656358 SOS 239391 HAS SOPS 203765 HAS SOUS 177599 HAS SOUPS 169928 WITH SCORE 170167.391
AT ITER 2908 NEW BEST:: SOT 655977 SOS 238921 HAS SOPS 203182 HAS SOUS 176979 HAS SOUPS 169308 WITH SCORE 169546.921
AT ITER 2913 NEW BEST:: SOT 655953 SOS 238897 HAS SOPS 203158 HAS SOUS 176953 HAS SOUPS 169282 WITH SCORE 169520.897
AT ITER 2925 NEW BEST:: SOT 655947 SOS 238885 HAS SOPS 203146 HAS SOUS 176941 HAS SOUPS 169270 WITH SCORE 169508.885
AT ITER 2937 NEW BEST:: SOT 655820 SOS 238631 HAS SOPS 202892 HAS SOUS 176687 HAS SOUPS 169016 WITH SCORE 169254.631
AT ITER 2942 NEW BEST:: SOT 655518 SOS 238210 HAS SOPS 202471 HAS SOUS 176083 HAS SOUPS 168412 WITH SCORE 168650.21
AT ITER 2944 NEW BEST:: SOT 655464 SOS 238133 HAS SOPS 202394 HAS SOUS 176044 HAS SOUPS 168373 WITH SCORE 168611.133
AT ITER 2946 NEW BEST:: SOT 654112 SOS 236886 HAS SOPS 201042 HAS SOUS 174953 HAS SOUPS 167177 WITH SCORE 167413.886
AT ITER 2948 NEW BEST:: SOT 654076 SOS 236814 HAS SOPS 200970 HAS SOUS 174881 HAS SOUPS 167105 WITH SCORE 167341.814
AT ITER 2965 NEW BEST:: SOT 654018 SOS 236666 HAS SOPS 200822 HAS SOUS 174765 HAS SOUPS 166989 WITH SCORE 167225.666
AT ITER 2967 NEW BEST:: SOT 653790 SOS 236105 HAS SOPS 200261 HAS SOUS 174403 HAS SOUPS 166627 WITH SCORE 166863.105
AT ITER 2969 NEW BEST:: SOT 653686 SOS 235696 HAS SOPS 200053 HAS SOUS 174195 HAS SOUPS 166419 WITH SCORE 166654.696
AT ITER 2971 NEW BEST:: SOT 653643 SOS 235610 HAS SOPS 199967 HAS SOUS 174109 HAS SOUPS 166333 WITH SCORE 166568.61
AT ITER 2982 NEW BEST:: SOT 653611 SOS 235528 HAS SOPS 199903 HAS SOUS 174045 HAS SOUPS 166269 WITH SCORE 166504.528
AT ITER 2983 NEW BEST:: SOT 653572 SOS 235450 HAS SOPS 199825 HAS SOUS 173967 HAS SOUPS 166191 WITH SCORE 166426.45
AT ITER 3001 NEW BEST:: SOT 653572 SOS 235383 HAS SOPS 199825 HAS SOUS 173967 HAS SOUPS 166191 WITH SCORE 166426.383
AT ITER 3014 NEW BEST:: SOT 653538 SOS 235376 HAS SOPS 199823 HAS SOUS 173946 HAS SOUPS 166170 WITH SCORE 166405.376
AT ITER 3039 NEW BEST:: SOT 653481 SOS 235281 HAS SOPS 199728 HAS SOUS 173851 HAS SOUPS 166075 WITH SCORE 166310.281
AT ITER 3042 NEW BEST:: SOT 653454 SOS 235254 HAS SOPS 199701 HAS SOUS 173797 HAS SOUPS 166021 WITH SCORE 166256.254
AT ITER 3046 NEW BEST:: SOT 653445 SOS 235245 HAS SOPS 199692 HAS SOUS 173788 HAS SOUPS 166012 WITH SCORE 166247.245
AT ITER 3047 NEW BEST:: SOT 653445 SOS 235179 HAS SOPS 199703 HAS SOUS 173678 HAS SOUPS 165913 WITH SCORE 166148.179
AT ITER 3049 NEW BEST:: SOT 653241 SOS 234959 HAS SOPS 199465 HAS SOUS 173406 HAS SOUPS 165641 WITH SCORE 165875.959
AT ITER 3050 NEW BEST:: SOT 653106 SOS 234689 HAS SOPS 199195 HAS SOUS 173136 HAS SOUPS 165371 WITH SCORE 165605.689
AT ITER 3069 NEW BEST:: SOT 653157 SOS 234659 HAS SOPS 199139 HAS SOUS 173080 HAS SOUPS 165315 WITH SCORE 165549.659
AT ITER 3073 NEW BEST:: SOT 653110 SOS 234565 HAS SOPS 199045 HAS SOUS 172986 HAS SOUPS 165221 WITH SCORE 165455.565
AT ITER 3075 NEW BEST:: SOT 653082 SOS 234509 HAS SOPS 198989 HAS SOUS 172930 HAS SOUPS 165165 WITH SCORE 165399.509
AT ITER 3089 NEW BEST:: SOT 653012 SOS 234406 HAS SOPS 198983 HAS SOUS 172924 HAS SOUPS 165159 WITH SCORE 165393.406
AT ITER 3095 NEW BEST:: SOT 652949 SOS 234280 HAS SOPS 198857 HAS SOUS 172798 HAS SOUPS 165033 WITH SCORE 165267.28
AT ITER 3121 NEW BEST:: SOT 652851 SOS 234043 HAS SOPS 198620 HAS SOUS 172561 HAS SOUPS 164796 WITH SCORE 165030.043
AT ITER 3134 NEW BEST:: SOT 652851 SOS 234022 HAS SOPS 198476 HAS SOUS 172438 HAS SOUPS 164673 WITH SCORE 164907.022
AT ITER 3146 NEW BEST:: SOT 652851 SOS 233981 HAS SOPS 198379 HAS SOUS 172341 HAS SOUPS 164576 WITH SCORE 164809.981
AT ITER 3150 NEW BEST:: SOT 652851 SOS 233975 HAS SOPS 198379 HAS SOUS 172341 HAS SOUPS 164576 WITH SCORE 164809.975
AT ITER 3170 NEW BEST:: SOT 652533 SOS 233582 HAS SOPS 197986 HAS SOUS 172094 HAS SOUPS 164329 WITH SCORE 164562.582
AT ITER 3171 NEW BEST:: SOT 652486 SOS 233535 HAS SOPS 197923 HAS SOUS 172044 HAS SOUPS 164279 WITH SCORE 164512.535
AT ITER 3173 NEW BEST:: SOT 652407 SOS 233377 HAS SOPS 197765 HAS SOUS 171886 HAS SOUPS 164121 WITH SCORE 164354.377
AT ITER 3186 NEW BEST:: SOT 652384 SOS 233353 HAS SOPS 197741 HAS SOUS 171840 HAS SOUPS 164075 WITH SCORE 164308.353
AT ITER 3187 NEW BEST:: SOT 652369 SOS 233333 HAS SOPS 197591 HAS SOUS 171680 HAS SOUPS 163915 WITH SCORE 164148.333
AT ITER 3191 NEW BEST:: SOT 652376 SOS 233405 HAS SOPS 197540 HAS SOUS 171629 HAS SOUPS 163864 WITH SCORE 164097.405
AT ITER 3200 NEW BEST:: SOT 652375 SOS 233404 HAS SOPS 197539 HAS SOUS 171628 HAS SOUPS 163863 WITH SCORE 164096.404
AT ITER 3223 NEW BEST:: SOT 652372 SOS 233398 HAS SOPS 197533 HAS SOUS 171622 HAS SOUPS 163857 WITH SCORE 164090.398
AT ITER 3243 NEW BEST:: SOT 652372 SOS 233311 HAS SOPS 197446 HAS SOUS 171622 HAS SOUPS 163857 WITH SCORE 164090.311
AT ITER 3254 NEW BEST:: SOT 652032 SOS 234045 HAS SOPS 197026 HAS SOUS 171340 HAS SOUPS 163476 WITH SCORE 163710.045
AT ITER 3258 NEW BEST:: SOT 652011 SOS 234003 HAS SOPS 196984 HAS SOUS 171298 HAS SOUPS 163434 WITH SCORE 163668.003
AT ITER 3260 NEW BEST:: SOT 652022 SOS 233927 HAS SOPS 196995 HAS SOUS 171287 HAS SOUPS 163423 WITH SCORE 163656.927
AT ITER 3262 NEW BEST:: SOT 651778 SOS 233880 HAS SOPS 196958 HAS SOUS 171187 HAS SOUPS 163323 WITH SCORE 163556.88
AT ITER 3295 NEW BEST:: SOT 651768 SOS 233806 HAS SOPS 196938 HAS SOUS 171167 HAS SOUPS 163303 WITH SCORE 163536.806
AT ITER 3296 NEW BEST:: SOT 651662 SOS 233617 HAS SOPS 196749 HAS SOUS 171044 HAS SOUPS 163180 WITH SCORE 163413.617
AT ITER 3301 NEW BEST:: SOT 651651 SOS 233595 HAS SOPS 196727 HAS SOUS 171022 HAS SOUPS 163158 WITH SCORE 163391.595
AT ITER 3307 NEW BEST:: SOT 651574 SOS 233733 HAS SOPS 196895 HAS SOUS 171021 HAS SOUPS 163157 WITH SCORE 163390.733
AT ITER 3313 NEW BEST:: SOT 651612 SOS 233789 HAS SOPS 196961 HAS SOUS 170971 HAS SOUPS 163117 WITH SCORE 163350.789
AT ITER 3323 NEW BEST:: SOT 651646 SOS 233755 HAS SOPS 196822 HAS SOUS 170962 HAS SOUPS 163108 WITH SCORE 163341.755
AT ITER 3330 NEW BEST:: SOT 651546 SOS 233050 HAS SOPS 196217 HAS SOUS 170667 HAS SOUPS 162813 WITH SCORE 163046.05
AT ITER 3349 NEW BEST:: SOT 651368 SOS 232212 HAS SOPS 195861 HAS SOUS 170311 HAS SOUPS 162457 WITH SCORE 162689.212
AT ITER 3364 NEW BEST:: SOT 651368 SOS 232086 HAS SOPS 195861 HAS SOUS 170311 HAS SOUPS 162457 WITH SCORE 162689.086
AT ITER 3370 NEW BEST:: SOT 651387 SOS 232124 HAS SOPS 195817 HAS SOUS 170267 HAS SOUPS 162413 WITH SCORE 162645.124
AT ITER 3378 NEW BEST:: SOT 651331 SOS 231922 HAS SOPS 195705 HAS SOUS 170155 HAS SOUPS 162301 WITH SCORE 162532.922
AT ITER 3385 NEW BEST:: SOT 651329 SOS 231918 HAS SOPS 195701 HAS SOUS 170151 HAS SOUPS 162297 WITH SCORE 162528.918
AT ITER 3390 NEW BEST:: SOT 651544 SOS 231573 HAS SOPS 195714 HAS SOUS 169499 HAS SOUPS 161764 WITH SCORE 161995.573
AT ITER 3414 NEW BEST:: SOT 651503 SOS 231491 HAS SOPS 195632 HAS SOUS 169417 HAS SOUPS 161682 WITH SCORE 161913.491
AT ITER 3423 NEW BEST:: SOT 651036 SOS 231067 HAS SOPS 195370 HAS SOUS 168987 HAS SOUPS 161414 WITH SCORE 161645.067
AT ITER 3441 NEW BEST:: SOT 650885 SOS 230945 HAS SOPS 195248 HAS SOUS 168865 HAS SOUPS 161292 WITH SCORE 161522.945
AT ITER 3470 NEW BEST:: SOT 650821 SOS 231457 HAS SOPS 195559 HAS SOUS 168689 HAS SOUPS 161099 WITH SCORE 161330.457
AT ITER 3515 NEW BEST:: SOT 650787 SOS 231423 HAS SOPS 195491 HAS SOUS 168621 HAS SOUPS 161031 WITH SCORE 161262.423
AT ITER 3532 NEW BEST:: SOT 651161 SOS 231783 HAS SOPS 195935 HAS SOUS 168272 HAS SOUPS 160738 WITH SCORE 160969.783
AT ITER 3548 NEW BEST:: SOT 651150 SOS 231761 HAS SOPS 195913 HAS SOUS 168250 HAS SOUPS 160716 WITH SCORE 160947.761
AT ITER 3549 NEW BEST:: SOT 651084 SOS 231568 HAS SOPS 195781 HAS SOUS 168118 HAS SOUPS 160584 WITH SCORE 160815.568
AT ITER 3557 NEW BEST:: SOT 650805 SOS 231206 HAS SOPS 195508 HAS SOUS 167845 HAS SOUPS 160311 WITH SCORE 160542.206
AT ITER 3563 NEW BEST:: SOT 650824 SOS 231376 HAS SOPS 195678 HAS SOUS 167556 HAS SOUPS 160022 WITH SCORE 160253.376
AT ITER 3588 NEW BEST:: SOT 650820 SOS 231370 HAS SOPS 195672 HAS SOUS 167550 HAS SOUPS 160016 WITH SCORE 160247.37
AT ITER 3608 NEW BEST:: SOT 650797 SOS 231324 HAS SOPS 195626 HAS SOUS 167504 HAS SOUPS 159970 WITH SCORE 160201.324
AT ITER 3622 NEW BEST:: SOT 650753 SOS 231236 HAS SOPS 195538 HAS SOUS 167416 HAS SOUPS 159882 WITH SCORE 160113.236
AT ITER 3623 NEW BEST:: SOT 650731 SOS 231306 HAS SOPS 195494 HAS SOUS 167372 HAS SOUPS 159838 WITH SCORE 160069.306
AT ITER 3630 NEW BEST:: SOT 650731 SOS 231291 HAS SOPS 195494 HAS SOUS 167372 HAS SOUPS 159838 WITH SCORE 160069.291
AT ITER 3631 NEW BEST:: SOT 650678 SOS 231185 HAS SOPS 195388 HAS SOUS 167266 HAS SOUPS 159732 WITH SCORE 159963.185
AT ITER 3633 NEW BEST:: SOT 650523 SOS 230875 HAS SOPS 195078 HAS SOUS 166956 HAS SOUPS 159422 WITH SCORE 159652.875
AT ITER 3647 NEW BEST:: SOT 650469 SOS 230698 HAS SOPS 194901 HAS SOUS 166863 HAS SOUPS 159329 WITH SCORE 159559.698
AT ITER 3654 NEW BEST:: SOT 650345 SOS 230574 HAS SOPS 194715 HAS SOUS 166677 HAS SOUPS 159143 WITH SCORE 159373.574
AT ITER 3655 NEW BEST:: SOT 650335 SOS 230766 HAS SOPS 194843 HAS SOUS 166620 HAS SOUPS 159086 WITH SCORE 159316.766
AT ITER 3663 NEW BEST:: SOT 650316 SOS 230747 HAS SOPS 194805 HAS SOUS 166582 HAS SOUPS 159048 WITH SCORE 159278.747
AT ITER 3681 NEW BEST:: SOT 650304 SOS 230699 HAS SOPS 194781 HAS SOUS 166558 HAS SOUPS 159024 WITH SCORE 159254.699
AT ITER 3687 NEW BEST:: SOT 650239 SOS 231789 HAS SOPS 195896 HAS SOUS 166504 HAS SOUPS 158970 WITH SCORE 159201.789
AT ITER 3693 NEW BEST:: SOT 650197 SOS 231552 HAS SOPS 195812 HAS SOUS 166420 HAS SOUPS 158886 WITH SCORE 159117.552
AT ITER 3699 NEW BEST:: SOT 650054 SOS 231266 HAS SOPS 195526 HAS SOUS 166134 HAS SOUPS 158600 WITH SCORE 158831.266
AT ITER 3713 NEW BEST:: SOT 650047 SOS 231252 HAS SOPS 195512 HAS SOUS 166120 HAS SOUPS 158586 WITH SCORE 158817.252
AT ITER 3717 NEW BEST:: SOT 649847 SOS 231614 HAS SOPS 195056 HAS SOUS 166120 HAS SOUPS 158522 WITH SCORE 158753.614
AT ITER 3722 NEW BEST:: SOT 649822 SOS 231564 HAS SOPS 195006 HAS SOUS 166070 HAS SOUPS 158472 WITH SCORE 158703.564
AT ITER 3724 NEW BEST:: SOT 649821 SOS 231563 HAS SOPS 194987 HAS SOUS 166068 HAS SOUPS 158470 WITH SCORE 158701.563
AT ITER 3733 NEW BEST:: SOT 649642 SOS 231725 HAS SOPS 195149 HAS SOUS 165975 HAS SOUPS 158377 WITH SCORE 158608.725
AT ITER 3757 NEW BEST:: SOT 649422 SOS 231381 HAS SOPS 194805 HAS SOUS 165631 HAS SOUPS 158033 WITH SCORE 158264.381
AT ITER 3766 NEW BEST:: SOT 649422 SOS 231169 HAS SOPS 194805 HAS SOUS 165631 HAS SOUPS 158033 WITH SCORE 158264.169
AT ITER 3767 NEW BEST:: SOT 649414 SOS 231153 HAS SOPS 194789 HAS SOUS 165615 HAS SOUPS 158017 WITH SCORE 158248.153
AT ITER 3769 NEW BEST:: SOT 649054 SOS 230737 HAS SOPS 194277 HAS SOUS 165213 HAS SOUPS 157615 WITH SCORE 157845.737
AT ITER 3772 NEW BEST:: SOT 648728 SOS 230172 HAS SOPS 193712 HAS SOUS 164860 HAS SOUPS 157262 WITH SCORE 157492.172
AT ITER 3777 NEW BEST:: SOT 648708 SOS 230152 HAS SOPS 193692 HAS SOUS 164840 HAS SOUPS 157242 WITH SCORE 157472.152
AT ITER 3779 NEW BEST:: SOT 648751 SOS 230135 HAS SOPS 193675 HAS SOUS 164791 HAS SOUPS 157193 WITH SCORE 157423.135
AT ITER 3781 NEW BEST:: SOT 648722 SOS 230106 HAS SOPS 193639 HAS SOUS 164762 HAS SOUPS 157157 WITH SCORE 157387.106
AT ITER 3784 NEW BEST:: SOT 648633 SOS 230310 HAS SOPS 193746 HAS SOUS 164693 HAS SOUPS 157088 WITH SCORE 157318.31
AT ITER 3788 NEW BEST:: SOT 648537 SOS 230118 HAS SOPS 193554 HAS SOUS 164501 HAS SOUPS 156896 WITH SCORE 157126.118
AT ITER 3796 NEW BEST:: SOT 648495 SOS 230076 HAS SOPS 193512 HAS SOUS 164459 HAS SOUPS 156854 WITH SCORE 157084.076
AT ITER 3801 NEW BEST:: SOT 648454 SOS 230035 HAS SOPS 193472 HAS SOUS 164418 HAS SOUPS 156814 WITH SCORE 157044.035
AT ITER 3823 NEW BEST:: SOT 648370 SOS 229771 HAS SOPS 193304 HAS SOUS 164250 HAS SOUPS 156646 WITH SCORE 156875.771
AT ITER 3824 NEW BEST:: SOT 647883 SOS 231510 HAS SOPS 195043 HAS SOUS 164049 HAS SOUPS 156445 WITH SCORE 156676.51
AT ITER 3825 NEW BEST:: SOT 647872 SOS 231488 HAS SOPS 195021 HAS SOUS 164027 HAS SOUPS 156423 WITH SCORE 156654.488
AT ITER 3835 NEW BEST:: SOT 647736 SOS 231437 HAS SOPS 194970 HAS SOUS 163861 HAS SOUPS 156257 WITH SCORE 156488.437
AT ITER 3854 NEW BEST:: SOT 647658 SOS 231281 HAS SOPS 194814 HAS SOUS 163705 HAS SOUPS 156101 WITH SCORE 156332.281
AT ITER 3859 NEW BEST:: SOT 647620 SOS 231205 HAS SOPS 194738 HAS SOUS 163629 HAS SOUPS 156025 WITH SCORE 156256.205
AT ITER 3861 NEW BEST:: SOT 647532 SOS 230750 HAS SOPS 194562 HAS SOUS 163453 HAS SOUPS 155849 WITH SCORE 156079.75
AT ITER 3866 NEW BEST:: SOT 647497 SOS 230680 HAS SOPS 194492 HAS SOUS 163383 HAS SOUPS 155779 WITH SCORE 156009.68
AT ITER 3885 NEW BEST:: SOT 647492 SOS 230670 HAS SOPS 194482 HAS SOUS 163373 HAS SOUPS 155769 WITH SCORE 155999.67
AT ITER 3920 NEW BEST:: SOT 647328 SOS 230285 HAS SOPS 194161 HAS SOUS 163300 HAS SOUPS 155696 WITH SCORE 155926.285
AT ITER 3921 NEW BEST:: SOT 647299 SOS 230227 HAS SOPS 194103 HAS SOUS 163242 HAS SOUPS 155638 WITH SCORE 155868.227
AT ITER 3927 NEW BEST:: SOT 647187 SOS 230115 HAS SOPS 193982 HAS SOUS 163171 HAS SOUPS 155558 WITH SCORE 155788.115
AT ITER 3929 NEW BEST:: SOT 647128 SOS 230056 HAS SOPS 193938 HAS SOUS 163127 HAS SOUPS 155514 WITH SCORE 155744.056
AT ITER 3955 NEW BEST:: SOT 647135 SOS 230063 HAS SOPS 193865 HAS SOUS 163054 HAS SOUPS 155441 WITH SCORE 155671.063
AT ITER 3957 NEW BEST:: SOT 647121 SOS 230036 HAS SOPS 193837 HAS SOUS 163013 HAS SOUPS 155400 WITH SCORE 155630.036
AT ITER 3961 NEW BEST:: SOT 647118 SOS 230033 HAS SOPS 193834 HAS SOUS 163010 HAS SOUPS 155397 WITH SCORE 155627.033
AT ITER 3970 NEW BEST:: SOT 647048 SOS 229693 HAS SOPS 193494 HAS SOUS 162853 HAS SOUPS 155240 WITH SCORE 155469.693
AT ITER 3981 NEW BEST:: SOT 646898 SOS 229671 HAS SOPS 193441 HAS SOUS 162874 HAS SOUPS 155230 WITH SCORE 155459.671
AT ITER 3988 NEW BEST:: SOT 646865 SOS 229638 HAS SOPS 193408 HAS SOUS 162841 HAS SOUPS 155197 WITH SCORE 155426.638
AT ITER 3991 NEW BEST:: SOT 646732 SOS 229384 HAS SOPS 193142 HAS SOUS 162575 HAS SOUPS 154931 WITH SCORE 155160.384
AT ITER 3995 NEW BEST:: SOT 646562 SOS 229321 HAS SOPS 193195 HAS SOUS 162351 HAS SOUPS 154707 WITH SCORE 154936.321
AT ITER 4046 NEW BEST:: SOT 646554 SOS 229305 HAS SOPS 193179 HAS SOUS 162335 HAS SOUPS 154691 WITH SCORE 154920.305
AT ITER 4051 NEW BEST:: SOT 646336 SOS 228869 HAS SOPS 192743 HAS SOUS 161899 HAS SOUPS 154255 WITH SCORE 154483.869
AT ITER 4060 NEW BEST:: SOT 646653 SOS 229219 HAS SOPS 192600 HAS SOUS 161761 HAS SOUPS 154112 WITH SCORE 154341.219
AT ITER 4062 NEW BEST:: SOT 646597 SOS 229107 HAS SOPS 192544 HAS SOUS 161705 HAS SOUPS 154056 WITH SCORE 154285.107
AT ITER 4070 NEW BEST:: SOT 646330 SOS 228573 HAS SOPS 192010 HAS SOUS 161171 HAS SOUPS 153522 WITH SCORE 153750.573
AT ITER 4073 NEW BEST:: SOT 646323 SOS 228260 HAS SOPS 191697 HAS SOUS 161157 HAS SOUPS 153508 WITH SCORE 153736.26
AT ITER 4099 NEW BEST:: SOT 646319 SOS 228252 HAS SOPS 191689 HAS SOUS 161149 HAS SOUPS 153500 WITH SCORE 153728.252
AT ITER 4107 NEW BEST:: SOT 646312 SOS 228248 HAS SOPS 191691 HAS SOUS 161148 HAS SOUPS 153499 WITH SCORE 153727.248
AT ITER 4153 NEW BEST:: SOT 646399 SOS 228293 HAS SOPS 191736 HAS SOUS 161146 HAS SOUPS 153497 WITH SCORE 153725.293
AT ITER 4154 NEW BEST:: SOT 646275 SOS 228283 HAS SOPS 191700 HAS SOUS 161110 HAS SOUPS 153461 WITH SCORE 153689.283
AT ITER 4165 NEW BEST:: SOT 646265 SOS 228173 HAS SOPS 191580 HAS SOUS 161070 HAS SOUPS 153421 WITH SCORE 153649.173
AT ITER 4175 NEW BEST:: SOT 646225 SOS 228093 HAS SOPS 191500 HAS SOUS 160990 HAS SOUPS 153341 WITH SCORE 153569.093
AT ITER 4184 NEW BEST:: SOT 646225 SOS 227890 HAS SOPS 191500 HAS SOUS 160990 HAS SOUPS 153341 WITH SCORE 153568.89
AT ITER 4191 NEW BEST:: SOT 646153 SOS 227895 HAS SOPS 191356 HAS SOUS 160846 HAS SOUPS 153197 WITH SCORE 153424.895
AT ITER 4207 NEW BEST:: SOT 646099 SOS 227841 HAS SOPS 191331 HAS SOUS 160821 HAS SOUPS 153172 WITH SCORE 153399.841
AT ITER 4210 NEW BEST:: SOT 646035 SOS 227931 HAS SOPS 191421 HAS SOUS 160693 HAS SOUPS 153044 WITH SCORE 153271.931
AT ITER 4212 NEW BEST:: SOT 645959 SOS 227779 HAS SOPS 191269 HAS SOUS 160541 HAS SOUPS 152892 WITH SCORE 153119.779
AT ITER 4214 NEW BEST:: SOT 645933 SOS 227727 HAS SOPS 191217 HAS SOUS 160489 HAS SOUPS 152840 WITH SCORE 153067.727
AT ITER 4224 NEW BEST:: SOT 645880 SOS 227627 HAS SOPS 191117 HAS SOUS 160455 HAS SOUPS 152806 WITH SCORE 153033.627
AT ITER 4236 NEW BEST:: SOT 645777 SOS 227439 HAS SOPS 191018 HAS SOUS 160356 HAS SOUPS 152707 WITH SCORE 152934.439
AT ITER 4239 NEW BEST:: SOT 645713 SOS 227311 HAS SOPS 190890 HAS SOUS 160228 HAS SOUPS 152579 WITH SCORE 152806.311
AT ITER 4249 NEW BEST:: SOT 645585 SOS 227186 HAS SOPS 190765 HAS SOUS 160103 HAS SOUPS 152454 WITH SCORE 152681.186
AT ITER 4264 NEW BEST:: SOT 645585 SOS 226651 HAS SOPS 190230 HAS SOUS 159987 HAS SOUPS 152338 WITH SCORE 152564.651
AT ITER 4265 NEW BEST:: SOT 645550 SOS 226718 HAS SOPS 190297 HAS SOUS 159869 HAS SOUPS 152220 WITH SCORE 152446.718
AT ITER 4277 NEW BEST:: SOT 644806 SOS 226188 HAS SOPS 189475 HAS SOUS 159656 HAS SOUPS 151929 WITH SCORE 152155.188
AT ITER 4278 NEW BEST:: SOT 644730 SOS 226073 HAS SOPS 189399 HAS SOUS 159604 HAS SOUPS 151877 WITH SCORE 152103.073
AT ITER 4287 NEW BEST:: SOT 644473 SOS 225304 HAS SOPS 188885 HAS SOUS 159465 HAS SOUPS 151738 WITH SCORE 151963.304
AT ITER 4289 NEW BEST:: SOT 644473 SOS 225287 HAS SOPS 188868 HAS SOUS 159448 HAS SOUPS 151721 WITH SCORE 151946.287
AT ITER 4293 NEW BEST:: SOT 644458 SOS 225257 HAS SOPS 188838 HAS SOUS 159418 HAS SOUPS 151691 WITH SCORE 151916.257
AT ITER 4296 NEW BEST:: SOT 644415 SOS 225188 HAS SOPS 188772 HAS SOUS 159374 HAS SOUPS 151647 WITH SCORE 151872.188
AT ITER 4302 NEW BEST:: SOT 644295 SOS 225172 HAS SOPS 188387 HAS SOUS 159146 HAS SOUPS 151419 WITH SCORE 151644.172
AT ITER 4307 NEW BEST:: SOT 644351 SOS 225235 HAS SOPS 188450 HAS SOUS 159132 HAS SOUPS 151405 WITH SCORE 151630.235
AT ITER 4309 NEW BEST:: SOT 644351 SOS 225226 HAS SOPS 188441 HAS SOUS 159123 HAS SOUPS 151396 WITH SCORE 151621.226
AT ITER 4333 NEW BEST:: SOT 644306 SOS 224911 HAS SOPS 188126 HAS SOUS 159033 HAS SOUPS 151306 WITH SCORE 151530.911
AT ITER 4335 NEW BEST:: SOT 644300 SOS 224899 HAS SOPS 188120 HAS SOUS 159027 HAS SOUPS 151300 WITH SCORE 151524.899
AT ITER 4336 NEW BEST:: SOT 644300 SOS 224811 HAS SOPS 188120 HAS SOUS 159027 HAS SOUPS 151300 WITH SCORE 151524.811
AT ITER 4340 NEW BEST:: SOT 644300 SOS 224800 HAS SOPS 188140 HAS SOUS 158996 HAS SOUPS 151300 WITH SCORE 151524.8
AT ITER 4341 NEW BEST:: SOT 644267 SOS 224734 HAS SOPS 188074 HAS SOUS 158930 HAS SOUPS 151234 WITH SCORE 151458.734
AT ITER 4351 NEW BEST:: SOT 643681 SOS 223794 HAS SOPS 187134 HAS SOUS 158245 HAS SOUPS 150549 WITH SCORE 150772.794
AT ITER 4359 NEW BEST:: SOT 643640 SOS 224040 HAS SOPS 187380 HAS SOUS 158222 HAS SOUPS 150526 WITH SCORE 150750.04
AT ITER 4364 NEW BEST:: SOT 643328 SOS 223651 HAS SOPS 186991 HAS SOUS 157833 HAS SOUPS 150137 WITH SCORE 150360.651
AT ITER 4374 NEW BEST:: SOT 643293 SOS 223579 HAS SOPS 186919 HAS SOUS 157798 HAS SOUPS 150102 WITH SCORE 150325.579
AT ITER 4378 NEW BEST:: SOT 643279 SOS 223499 HAS SOPS 186891 HAS SOUS 157713 HAS SOUPS 150074 WITH SCORE 150297.499
AT ITER 4379 NEW BEST:: SOT 643274 SOS 223489 HAS SOPS 186881 HAS SOUS 157703 HAS SOUPS 150064 WITH SCORE 150287.489
AT ITER 4390 NEW BEST:: SOT 643234 SOS 223409 HAS SOPS 186841 HAS SOUS 157634 HAS SOUPS 150024 WITH SCORE 150247.409
AT ITER 4396 NEW BEST:: SOT 643231 SOS 223393 HAS SOPS 186822 HAS SOUS 157615 HAS SOUPS 150005 WITH SCORE 150228.393
AT ITER 4414 NEW BEST:: SOT 643231 SOS 223332 HAS SOPS 186822 HAS SOUS 157615 HAS SOUPS 150005 WITH SCORE 150228.332
AT ITER 4420 NEW BEST:: SOT 643225 SOS 223326 HAS SOPS 186804 HAS SOUS 157597 HAS SOUPS 149987 WITH SCORE 150210.326
AT ITER 4423 NEW BEST:: SOT 643195 SOS 223290 HAS SOPS 186744 HAS SOUS 157537 HAS SOUPS 149927 WITH SCORE 150150.29
AT ITER 4429 NEW BEST:: SOT 642333 SOS 222359 HAS SOPS 185813 HAS SOUS 157109 HAS SOUPS 149499 WITH SCORE 149721.359
AT ITER 4430 NEW BEST:: SOT 641851 SOS 221818 HAS SOPS 185225 HAS SOUS 156773 HAS SOUPS 149163 WITH SCORE 149384.818
AT ITER 4435 NEW BEST:: SOT 641835 SOS 221786 HAS SOPS 185193 HAS SOUS 156741 HAS SOUPS 149131 WITH SCORE 149352.786
AT ITER 4442 NEW BEST:: SOT 641796 SOS 221708 HAS SOPS 185141 HAS SOUS 156689 HAS SOUPS 149079 WITH SCORE 149300.708
AT ITER 4448 NEW BEST:: SOT 641744 SOS 221630 HAS SOPS 185037 HAS SOUS 156585 HAS SOUPS 148975 WITH SCORE 149196.63
AT ITER 4451 NEW BEST:: SOT 641653 SOS 221539 HAS SOPS 184975 HAS SOUS 156494 HAS SOUPS 148913 WITH SCORE 149134.539
AT ITER 4460 NEW BEST:: SOT 641589 SOS 221455 HAS SOPS 184847 HAS SOUS 156366 HAS SOUPS 148785 WITH SCORE 149006.455
AT ITER 4463 NEW BEST:: SOT 641471 SOS 221212 HAS SOPS 184604 HAS SOUS 156118 HAS SOUPS 148537 WITH SCORE 148758.212
AT ITER 4469 NEW BEST:: SOT 641458 SOS 221171 HAS SOPS 184578 HAS SOUS 156092 HAS SOUPS 148511 WITH SCORE 148732.171
AT ITER 4474 NEW BEST:: SOT 641206 SOS 220661 HAS SOPS 184068 HAS SOUS 155785 HAS SOUPS 148204 WITH SCORE 148424.661
AT ITER 4476 NEW BEST:: SOT 641197 SOS 220652 HAS SOPS 184059 HAS SOUS 155767 HAS SOUPS 148186 WITH SCORE 148406.652
AT ITER 4480 NEW BEST:: SOT 641036 SOS 220245 HAS SOPS 183652 HAS SOUS 155445 HAS SOUPS 147864 WITH SCORE 148084.245
AT ITER 4494 NEW BEST:: SOT 641030 SOS 220215 HAS SOPS 183640 HAS SOUS 155433 HAS SOUPS 147852 WITH SCORE 148072.215
AT ITER 4498 NEW BEST:: SOT 640996 SOS 220033 HAS SOPS 183572 HAS SOUS 155365 HAS SOUPS 147784 WITH SCORE 148004.033
AT ITER 4500 NEW BEST:: SOT 640972 SOS 219985 HAS SOPS 183524 HAS SOUS 155317 HAS SOUPS 147736 WITH SCORE 147955.985
AT ITER 4510 NEW BEST:: SOT 640946 SOS 219543 HAS SOPS 183082 HAS SOUS 155265 HAS SOUPS 147684 WITH SCORE 147903.543
AT ITER 4511 NEW BEST:: SOT 640953 SOS 219557 HAS SOPS 183073 HAS SOUS 155256 HAS SOUPS 147675 WITH SCORE 147894.557
AT ITER 4522 NEW BEST:: SOT 641100 SOS 219704 HAS SOPS 183003 HAS SOUS 155326 HAS SOUPS 147605 WITH SCORE 147824.704
AT ITER 4526 NEW BEST:: SOT 641069 SOS 219660 HAS SOPS 182959 HAS SOUS 155264 HAS SOUPS 147543 WITH SCORE 147762.66
AT ITER 4528 NEW BEST:: SOT 641069 SOS 219653 HAS SOPS 182952 HAS SOUS 155264 HAS SOUPS 147543 WITH SCORE 147762.653
AT ITER 4530 NEW BEST:: SOT 641009 SOS 219593 HAS SOPS 182832 HAS SOUS 155144 HAS SOUPS 147423 WITH SCORE 147642.593
AT ITER 4544 NEW BEST:: SOT 640971 SOS 219355 HAS SOPS 182756 HAS SOUS 155068 HAS SOUPS 147347 WITH SCORE 147566.355
AT ITER 4546 NEW BEST:: SOT 640952 SOS 219317 HAS SOPS 182718 HAS SOUS 155030 HAS SOUPS 147309 WITH SCORE 147528.317
AT ITER 4571 NEW BEST:: SOT 640952 SOS 219149 HAS SOPS 182550 HAS SOUS 155030 HAS SOUPS 147309 WITH SCORE 147528.149
AT ITER 4577 NEW BEST:: SOT 640952 SOS 219034 HAS SOPS 182435 HAS SOUS 155030 HAS SOUPS 147309 WITH SCORE 147528.034
AT ITER 4590 NEW BEST:: SOT 640862 SOS 218648 HAS SOPS 182049 HAS SOUS 154850 HAS SOUPS 147129 WITH SCORE 147347.648
AT ITER 4615 NEW BEST:: SOT 640862 SOS 218598 HAS SOPS 182049 HAS SOUS 154850 HAS SOUPS 147129 WITH SCORE 147347.598
AT ITER 4621 NEW BEST:: SOT 639964 SOS 220057 HAS SOPS 180885 HAS SOUS 154807 HAS SOUPS 146860 WITH SCORE 147080.057
AT ITER 4629 NEW BEST:: SOT 639757 SOS 219837 HAS SOPS 180665 HAS SOUS 154603 HAS SOUPS 146656 WITH SCORE 146875.837
AT ITER 4637 NEW BEST:: SOT 639757 SOS 219628 HAS SOPS 180456 HAS SOUS 154603 HAS SOUPS 146656 WITH SCORE 146875.628
AT ITER 4644 NEW BEST:: SOT 639219 SOS 219477 HAS SOPS 180333 HAS SOUS 154148 HAS SOUPS 146229 WITH SCORE 146448.477
AT ITER 4646 NEW BEST:: SOT 639183 SOS 219045 HAS SOPS 179961 HAS SOUS 154076 HAS SOUPS 146157 WITH SCORE 146376.045
AT ITER 4651 NEW BEST:: SOT 639162 SOS 219000 HAS SOPS 179916 HAS SOUS 154031 HAS SOUPS 146112 WITH SCORE 146331.0
AT ITER 4664 NEW BEST:: SOT 639090 SOS 218856 HAS SOPS 179772 HAS SOUS 153887 HAS SOUPS 145968 WITH SCORE 146186.856
AT ITER 4679 NEW BEST:: SOT 638698 SOS 218284 HAS SOPS 179200 HAS SOUS 153484 HAS SOUPS 145565 WITH SCORE 145783.284
AT ITER 4680 NEW BEST:: SOT 638603 SOS 218189 HAS SOPS 179105 HAS SOUS 153389 HAS SOUPS 145470 WITH SCORE 145688.189
AT ITER 4692 NEW BEST:: SOT 638549 SOS 218081 HAS SOPS 178997 HAS SOUS 153281 HAS SOUPS 145362 WITH SCORE 145580.081
AT ITER 4708 NEW BEST:: SOT 638444 SOS 217956 HAS SOPS 178872 HAS SOUS 153028 HAS SOUPS 145109 WITH SCORE 145326.956
AT ITER 4715 NEW BEST:: SOT 638343 SOS 217754 HAS SOPS 178670 HAS SOUS 152980 HAS SOUPS 145061 WITH SCORE 145278.754
AT ITER 4732 NEW BEST:: SOT 638312 SOS 217692 HAS SOPS 178608 HAS SOUS 152918 HAS SOUPS 144999 WITH SCORE 145216.692
AT ITER 4757 NEW BEST:: SOT 638264 SOS 217539 HAS SOPS 178455 HAS SOUS 152807 HAS SOUPS 144888 WITH SCORE 145105.539
AT ITER 4758 NEW BEST:: SOT 638243 SOS 217493 HAS SOPS 178378 HAS SOUS 152765 HAS SOUPS 144846 WITH SCORE 145063.493
AT ITER 4761 NEW BEST:: SOT 638187 SOS 217492 HAS SOPS 178377 HAS SOUS 152764 HAS SOUPS 144845 WITH SCORE 145062.492
AT ITER 4766 NEW BEST:: SOT 638110 SOS 217352 HAS SOPS 178223 HAS SOUS 152610 HAS SOUPS 144691 WITH SCORE 144908.352
AT ITER 4769 NEW BEST:: SOT 637973 SOS 217078 HAS SOPS 177949 HAS SOUS 152336 HAS SOUPS 144417 WITH SCORE 144634.078
AT ITER 4772 NEW BEST:: SOT 637971 SOS 217074 HAS SOPS 177945 HAS SOUS 152332 HAS SOUPS 144413 WITH SCORE 144630.074
AT ITER 4773 NEW BEST:: SOT 637999 SOS 217461 HAS SOPS 178229 HAS SOUS 152331 HAS SOUPS 144412 WITH SCORE 144629.461
AT ITER 4783 NEW BEST:: SOT 637992 SOS 217486 HAS SOPS 178222 HAS SOUS 152328 HAS SOUPS 144401 WITH SCORE 144618.486
AT ITER 4793 NEW BEST:: SOT 637943 SOS 217470 HAS SOPS 178206 HAS SOUS 152230 HAS SOUPS 144303 WITH SCORE 144520.47
AT ITER 4809 NEW BEST:: SOT 637939 SOS 217462 HAS SOPS 178198 HAS SOUS 152222 HAS SOUPS 144295 WITH SCORE 144512.462
AT ITER 4810 NEW BEST:: SOT 637914 SOS 217556 HAS SOPS 178148 HAS SOUS 152172 HAS SOUPS 144245 WITH SCORE 144462.556
AT ITER 4832 NEW BEST:: SOT 637914 SOS 217492 HAS SOPS 178084 HAS SOUS 152108 HAS SOUPS 144181 WITH SCORE 144398.492
AT ITER 4855 NEW BEST:: SOT 637178 SOS 217629 HAS SOPS 177227 HAS SOUS 152089 HAS SOUPS 144041 WITH SCORE 144258.629
AT ITER 4875 NEW BEST:: SOT 637065 SOS 217601 HAS SOPS 177199 HAS SOUS 152061 HAS SOUPS 144013 WITH SCORE 144230.601
AT ITER 4884 NEW BEST:: SOT 637042 SOS 217488 HAS SOPS 177153 HAS SOUS 152015 HAS SOUPS 143967 WITH SCORE 144184.488
AT ITER 4885 NEW BEST:: SOT 637029 SOS 217167 HAS SOPS 176832 HAS SOUS 151989 HAS SOUPS 143941 WITH SCORE 144158.167
AT ITER 4887 NEW BEST:: SOT 636931 SOS 218409 HAS SOPS 176734 HAS SOUS 152023 HAS SOUPS 143896 WITH SCORE 144114.409
AT ITER 4904 NEW BEST:: SOT 636864 SOS 218275 HAS SOPS 176600 HAS SOUS 151889 HAS SOUPS 143762 WITH SCORE 143980.275
AT ITER 4912 NEW BEST:: SOT 636851 SOS 218249 HAS SOPS 176574 HAS SOUS 151863 HAS SOUPS 143736 WITH SCORE 143954.249
AT ITER 4914 NEW BEST:: SOT 636472 SOS 217832 HAS SOPS 176157 HAS SOUS 151852 HAS SOUPS 143725 WITH SCORE 143942.832
AT ITER 4915 NEW BEST:: SOT 636320 SOS 217528 HAS SOPS 175853 HAS SOUS 151548 HAS SOUPS 143421 WITH SCORE 143638.528
AT ITER 4920 NEW BEST:: SOT 636238 SOS 217406 HAS SOPS 175689 HAS SOUS 151384 HAS SOUPS 143257 WITH SCORE 143474.406
AT ITER 4926 NEW BEST:: SOT 636238 SOS 217330 HAS SOPS 175689 HAS SOUS 151384 HAS SOUPS 143257 WITH SCORE 143474.33
AT ITER 4932 NEW BEST:: SOT 636136 SOS 217065 HAS SOPS 175327 HAS SOUS 151180 HAS SOUPS 143053 WITH SCORE 143270.065
AT ITER 4936 NEW BEST:: SOT 636157 SOS 215730 HAS SOPS 173914 HAS SOUS 151112 HAS SOUPS 142985 WITH SCORE 143200.73
AT ITER 4943 NEW BEST:: SOT 636127 SOS 215715 HAS SOPS 173899 HAS SOUS 151097 HAS SOUPS 142970 WITH SCORE 143185.715
AT ITER 4968 NEW BEST:: SOT 636013 SOS 216014 HAS SOPS 174103 HAS SOUS 151087 HAS SOUPS 142960 WITH SCORE 143176.014
AT ITER 4979 NEW BEST:: SOT 636007 SOS 216002 HAS SOPS 174091 HAS SOUS 151075 HAS SOUPS 142948 WITH SCORE 143164.002
AT ITER 4993 NEW BEST:: SOT 636031 SOS 215900 HAS SOPS 173989 HAS SOUS 150973 HAS SOUPS 142846 WITH SCORE 143061.9
AT ITER 4994 NEW BEST:: SOT 636020 SOS 215878 HAS SOPS 173967 HAS SOUS 150951 HAS SOUPS 142824 WITH SCORE 143039.878
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Peterson-PT-5-CTLCardinality-00 (AF((AF((! potential( (tk(P574) + tk(P575) + tk(P576) + tk(P577) + tk(P578) + tk(P579) + tk(P580) + tk(P581) + tk(P582) + tk(P583) + tk(P584) + tk(P585) + tk(P586) + tk(P587) + tk(P588) + tk(P589) + tk(P590) + tk(P591) + tk(P592) + tk(P593) + tk(P594) + tk(P595) + tk(P596) + tk(P597) + tk(P598) + tk(P599) + tk(P600) + tk(P601) + tk(P602) + tk(P603) + tk(P604) + tk(P605) + tk(P615) + tk(P616) + tk(P617) + tk(P618) + tk(P619) + tk(P620) + tk(P621) + tk(P622) + tk(P623) + tk(P624) + tk(P625) + tk(P626) + tk(P627) + tk(P628) + tk(P629) + tk(P630) + tk(P631) + tk(P632) + tk(P633) + tk(P634) + tk(P635) + tk(P636) + tk(P637) + tk(P638) + tk(P639) + tk(P640) + tk(P641) + tk(P642) + tk(P643) + tk(P644) + tk(P645) + tk(P646) + tk(P647) + tk(P648) + tk(P649) + tk(P650) + tk(P651) + tk(P652) + tk(P653) + tk(P654) + tk(P655) + tk(P656) + tk(P657) + tk(P658) + tk(P659) + tk(P660) + tk(P661) + tk(P662) + tk(P663) + tk(P664) + tk(P665) + tk(P666) + tk(P667) + tk(P668) + tk(P669) + tk(P670) + tk(P671) + tk(P672) + tk(P673) + tk(P674) + tk(P675) + tk(P676) + tk(P677) + tk(P678) + tk(P679) + tk(P680) + tk(P681) + tk(P682) + tk(P683) + tk(P684) + tk(P685) + tk(P686) + tk(P687) + tk(P688) + tk(P689) + tk(P690) + tk(P691) + tk(P692) + tk(P693) + tk(P694) + tk(P695) + tk(P696) + tk(P697) + tk(P698) + tk(P699) + tk(P700) + tk(P701) + tk(P702) + tk(P703) + tk(P704) + tk(P705) + tk(P706) + tk(P707) + tk(P708) + tk(P709) + tk(P710) + tk(P711) + tk(P712) + tk(P713) + tk(P714) + tk(P715) + tk(P716) + tk(P717) + tk(P718) + tk(P719) + tk(P720) + tk(P721) + tk(P724) + tk(P726) + tk(P727) + tk(P728) + tk(P729) + tk(P730) + tk(P731) + tk(P732) + tk(P733) + tk(P734) + tk(P735) + tk(P736) + tk(P737) + tk(P738) + tk(P739) + tk(P740) + tk(P741) + tk(P742) + tk(P743) + tk(P744) + tk(P745) + tk(P746) + tk(P747) + tk(P748) + tk(P749) + tk(P750) + tk(P751) + tk(P752) + tk(P753) + tk(P754) + tk(P755) + tk(P756) + tk(P757) + tk(P758) + tk(P759) + tk(P760) + tk(P761) + tk(P762) + tk(P763) + tk(P764) + tk(P765)) <= (tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P215) + tk(P216) + tk(P217) + tk(P222) + tk(P223) + tk(P224) + tk(P225) + tk(P226) + tk(P227) + tk(P228) + tk(P229) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P234) + tk(P235) + tk(P236) + tk(P237) + tk(P238) + tk(P239) + tk(P240) + tk(P241) + tk(P242) + tk(P243) + tk(P244) + tk(P245) + tk(P246) + tk(P247) + tk(P248) + tk(P249) + tk(P250) + tk(P251) + tk(P252) + tk(P253) + tk(P254) + tk(P255) + tk(P256) + tk(P257) + tk(P258) + tk(P259) + tk(P260) + tk(P261) + tk(P262) + tk(P263) + tk(P264) + tk(P265) + tk(P266) + tk(P267) + tk(P268) + tk(P269) + tk(P270) + tk(P271) + tk(P272) + tk(P273) + tk(P274) + tk(P275) + tk(P276) + tk(P277) + tk(P278) + tk(P279) + tk(P280) + tk(P281) + tk(P282) + tk(P283) + tk(P284) + tk(P285) + tk(P286) + tk(P287) + tk(P288) + tk(P289) + tk(P290) + tk(P291) + tk(P292) + tk(P293) + tk(P294) + tk(P295) + tk(P296) + tk(P297) + tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P302) + tk(P303) + tk(P304) + tk(P305) + tk(P306) + tk(P307) + tk(P308) + tk(P309) + tk(P310) + tk(P311) + tk(P312) + tk(P313) + tk(P314) + tk(P315) + tk(P316) + tk(P317) + tk(P318) + tk(P319) + tk(P320) + tk(P321) + tk(P322) + tk(P323) + tk(P324) + tk(P325) + tk(P326) + tk(P327) + tk(P328) + tk(P329) + tk(P330) + tk(P331) + tk(P332) + tk(P333) + tk(P334) + tk(P335) + tk(P336) + tk(P337) + tk(P338) + tk(P339) + tk(P340) + tk(P341) + tk(P342) + tk(P343) + tk(P344) + tk(P345) + tk(P346) + tk(P347) + tk(P348) + tk(P349) + tk(P350) + tk(P351) + tk(P352) + tk(P353) + tk(P354) + tk(P355) + tk(P356) + tk(P357) + tk(P358) + tk(P359) + tk(P360) + tk(P361) + tk(P362) + tk(P363) + tk(P364) + tk(P365) + tk(P366) + tk(P367) + tk(P368) + tk(P369) + tk(P370) + tk(P371) + tk(P372) + tk(P373) + tk(P374) + tk(P375) + tk(P376) + tk(P377) + tk(P378) + tk(P379) + tk(P380) + tk(P381) + tk(P401) + tk(P406) + tk(P407) + tk(P408) + tk(P409) + tk(P410) + tk(P411) + tk(P412) + tk(P413)) ))))))
PROPERTY: Peterson-PT-5-CTLCardinality-01 (EG( ( (AF(potential( (tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P215) + tk(P216) + tk(P217) + tk(P222) + tk(P223) + tk(P224) + tk(P225) + tk(P226) + tk(P227) + tk(P228) + tk(P229) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P234) + tk(P235) + tk(P236) + tk(P237) + tk(P238) + tk(P239) + tk(P240) + tk(P241) + tk(P242) + tk(P243) + tk(P244) + tk(P245) + tk(P246) + tk(P247) + tk(P248) + tk(P249) + tk(P250) + tk(P251) + tk(P252) + tk(P253) + tk(P254) + tk(P255) + tk(P256) + tk(P257) + tk(P258) + tk(P259) + tk(P260) + tk(P261) + tk(P262) + tk(P263) + tk(P264) + tk(P265) + tk(P266) + tk(P267) + tk(P268) + tk(P269) + tk(P270) + tk(P271) + tk(P272) + tk(P273) + tk(P274) + tk(P275) + tk(P276) + tk(P277) + tk(P278) + tk(P279) + tk(P280) + tk(P281) + tk(P282) + tk(P283) + tk(P284) + tk(P285) + tk(P286) + tk(P287) + tk(P288) + tk(P289) + tk(P290) + tk(P291) + tk(P292) + tk(P293) + tk(P294) + tk(P295) + tk(P296) + tk(P297) + tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P302) + tk(P303) + tk(P304) + tk(P305) + tk(P306) + tk(P307) + tk(P308) + tk(P309) + tk(P310) + tk(P311) + tk(P312) + tk(P313) + tk(P314) + tk(P315) + tk(P316) + tk(P317) + tk(P318) + tk(P319) + tk(P320) + tk(P321) + tk(P322) + tk(P323) + tk(P324) + tk(P325) + tk(P326) + tk(P327) + tk(P328) + tk(P329) + tk(P330) + tk(P331) + tk(P332) + tk(P333) + tk(P334) + tk(P335) + tk(P336) + tk(P337) + tk(P338) + tk(P339) + tk(P340) + tk(P341) + tk(P342) + tk(P343) + tk(P344) + tk(P345) + tk(P346) + tk(P347) + tk(P348) + tk(P349) + tk(P350) + tk(P351) + tk(P352) + tk(P353) + tk(P354) + tk(P355) + tk(P356) + tk(P357) + tk(P358) + tk(P359) + tk(P360) + tk(P361) + tk(P362) + tk(P363) + tk(P364) + tk(P365) + tk(P366) + tk(P367) + tk(P368) + tk(P369) + tk(P370) + tk(P371) + tk(P372) + tk(P373) + tk(P374) + tk(P375) + tk(P376) + tk(P377) + tk(P378) + tk(P379) + tk(P380) + tk(P381) + tk(P401) + tk(P406) + tk(P407) + tk(P408) + tk(P409) + tk(P410) + tk(P411) + tk(P412) + tk(P413)) <= (tk(P766) + tk(P767) + tk(P768) + tk(P769) + tk(P770) + tk(P771) + tk(P772) + tk(P773) + tk(P774) + tk(P775) + tk(P777) + tk(P778) + tk(P779) + tk(P780) + tk(P781) + tk(P782) + tk(P783) + tk(P784) + tk(P785) + tk(P787) + tk(P788) + tk(P789) + tk(P790) + tk(P791) + tk(P792) + tk(P793) + tk(P794) + tk(P795) + tk(P796) + tk(P797)) ))) & (EX( potential( ( 1 ) <= (tk(P390) + tk(P391) + tk(P392) + tk(P393) + tk(P396) + tk(P398) + tk(P399) + tk(P400) + tk(P402) + tk(P403) + tk(P404) + tk(P405)) ))) )))
PROPERTY: Peterson-PT-5-CTLCardinality-02 (AF(potential( (tk(P390) + tk(P391) + tk(P392) + tk(P393) + tk(P396) + tk(P398) + tk(P399) + tk(P400) + tk(P402) + tk(P403) + tk(P404) + tk(P405)) <= (tk(P766) + tk(P767) + tk(P768) + tk(P769) + tk(P770) + tk(P771) + tk(P772) + tk(P773) + tk(P774) + tk(P775) + tk(P777) + tk(P778) + tk(P779) + tk(P780) + tk(P781) + tk(P782) + tk(P783) + tk(P784) + tk(P785) + tk(P787) + tk(P788) + tk(P789) + tk(P790) + tk(P791) + tk(P792) + tk(P793) + tk(P794) + tk(P795) + tk(P796) + tk(P797)) )))
PROPERTY: Peterson-PT-5-CTLCardinality-03 (AF(potential( ( 1 ) <= (tk(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P187) + tk(P190) + tk(P191) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P204) + tk(P205) + tk(P214) + tk(P218) + tk(P219) + tk(P220) + tk(P221)) )))
PROPERTY: Peterson-PT-5-CTLCardinality-04 ( (EX( (EG( potential( (tk(P382) + tk(P383) + tk(P384) + tk(P385) + tk(P386) + tk(P387) + tk(P388) + tk(P389) + tk(P394) + tk(P395) + tk(P397) + tk(P414) + tk(P415) + tk(P416) + tk(P417) + tk(P418) + tk(P419) + tk(P420) + tk(P421) + tk(P422) + tk(P423) + tk(P424) + tk(P425) + tk(P426) + tk(P427) + tk(P428) + tk(P429) + tk(P430) + tk(P431) + tk(P432) + tk(P433) + tk(P434) + tk(P435) + tk(P436) + tk(P437) + tk(P438) + tk(P439) + tk(P440) + tk(P441) + tk(P442) + tk(P443) + tk(P444) + tk(P445) + 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(P458) + tk(P459) + tk(P460) + tk(P461) + tk(P462) + tk(P463) + tk(P464) + tk(P465) + tk(P466) + tk(P467) + tk(P468) + tk(P469) + tk(P470) + tk(P471) + tk(P472) + tk(P473) + tk(P474) + tk(P475) + tk(P476) + tk(P477) + tk(P478) + tk(P479) + tk(P480) + tk(P481) + tk(P482) + tk(P483) + tk(P484) + tk(P485) + tk(P486) + tk(P487) + tk(P488) + tk(P489) + tk(P490) + tk(P491) + tk(P492) + tk(P493) + tk(P494) + tk(P495) + tk(P496) + tk(P497) + tk(P498) + tk(P499) + tk(P500) + tk(P501) + tk(P502) + tk(P503) + tk(P504) + tk(P505) + tk(P506) + tk(P507) + tk(P508) + tk(P509) + tk(P510) + tk(P511) + tk(P512) + tk(P513) + tk(P514) + tk(P515) + tk(P516) + tk(P517) + tk(P522) + tk(P524) + tk(P525) + tk(P542) + tk(P543) + tk(P544) + tk(P545) + tk(P546) + tk(P547) + tk(P548) + tk(P549) + tk(P550) + tk(P551) + tk(P552) + tk(P553) + tk(P554) + tk(P555) + tk(P556) + tk(P557) + tk(P558) + tk(P559) + tk(P560) + tk(P561) + tk(P562) + tk(P563) + tk(P564) + tk(P565) + tk(P566) + tk(P567) + tk(P568) + tk(P569) + tk(P570) + tk(P571) + tk(P572) + tk(P573)) <= (tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P215) + tk(P216) + tk(P217) + tk(P222) + tk(P223) + tk(P224) + tk(P225) + tk(P226) + tk(P227) + tk(P228) + tk(P229) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P234) + tk(P235) + tk(P236) + tk(P237) + tk(P238) + tk(P239) + tk(P240) + tk(P241) + tk(P242) + tk(P243) + tk(P244) + tk(P245) + tk(P246) + tk(P247) + tk(P248) + tk(P249) + tk(P250) + tk(P251) + tk(P252) + tk(P253) + tk(P254) + tk(P255) + tk(P256) + tk(P257) + tk(P258) + tk(P259) + tk(P260) + tk(P261) + tk(P262) + tk(P263) + tk(P264) + tk(P265) + tk(P266) + tk(P267) + tk(P268) + tk(P269) + tk(P270) + tk(P271) + tk(P272) + tk(P273) + tk(P274) + tk(P275) + tk(P276) + tk(P277) + tk(P278) + tk(P279) + tk(P280) + tk(P281) + tk(P282) + tk(P283) + tk(P284) + tk(P285) + tk(P286) + tk(P287) + tk(P288) + tk(P289) + tk(P290) + tk(P291) + tk(P292) + tk(P293) + tk(P294) + tk(P295) + tk(P296) + tk(P297) + tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P302) + tk(P303) + tk(P304) + tk(P305) + tk(P306) + tk(P307) + tk(P308) + tk(P309) + tk(P310) + tk(P311) + tk(P312) + tk(P313) + tk(P314) + tk(P315) + tk(P316) + tk(P317) + tk(P318) + tk(P319) + tk(P320) + tk(P321) + tk(P322) + tk(P323) + tk(P324) + tk(P325) + tk(P326) + tk(P327) + tk(P328) + tk(P329) + tk(P330) + tk(P331) + tk(P332) + tk(P333) + tk(P334) + tk(P335) + tk(P336) + tk(P337) + tk(P338) + tk(P339) + tk(P340) + tk(P341) + tk(P342) + tk(P343) + tk(P344) + tk(P345) + tk(P346) + tk(P347) + tk(P348) + tk(P349) + tk(P350) + tk(P351) + tk(P352) + tk(P353) + tk(P354) + tk(P355) + tk(P356) + tk(P357) + tk(P358) + tk(P359) + tk(P360) + tk(P361) + tk(P362) + tk(P363) + tk(P364) + tk(P365) + tk(P366) + tk(P367) + tk(P368) + tk(P369) + tk(P370) + tk(P371) + tk(P372) + tk(P373) + tk(P374) + tk(P375) + tk(P376) + tk(P377) + tk(P378) + tk(P379) + tk(P380) + tk(P381) + tk(P401) + tk(P406) + tk(P407) + tk(P408) + tk(P409) + tk(P410) + tk(P411) + tk(P412) + tk(P413)) ))))) | potential( (tk(P390) + tk(P391) + tk(P392) + tk(P393) + tk(P396) + tk(P398) + tk(P399) + tk(P400) + tk(P402) + tk(P403) + tk(P404) + tk(P405)) <= (tk(P518) + tk(P519) + tk(P520) + tk(P521) + tk(P523) + tk(P526) + tk(P527) + tk(P528) + tk(P529) + tk(P530) + tk(P531) + tk(P532) + tk(P533) + tk(P534) + tk(P535) + tk(P536) + tk(P537) + tk(P538) + tk(P539) + tk(P540) + tk(P541) + tk(P606) + tk(P607) + tk(P608) + tk(P609) + tk(P610) + tk(P611) + tk(P612) + tk(P613) + tk(P614)) ) )
PROPERTY: Peterson-PT-5-CTLCardinality-05 (EU( (EG( potential( (tk(P1) + tk(P2) + tk(P3) + tk(P4) + tk(P5) + tk(P6) + tk(P7) + tk(P8) + tk(P9) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P16) + tk(P17) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25) + tk(P26) + tk(P27) + tk(P28) + tk(P29) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P34) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P43) + tk(P44) + tk(P45) + tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P50) + tk(P51) + tk(P52) + tk(P53) + tk(P54) + tk(P55) + tk(P56) + tk(P57) + tk(P58) + tk(P59) + tk(P60) + tk(P61) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P70) + tk(P71) + tk(P72) + tk(P73) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P79) + tk(P80) + tk(P81) + tk(P82) + tk(P83) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P88) + tk(P89) + tk(P90) + tk(P91) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P99) + tk(P100) + tk(P101) + tk(P102) + tk(P103) + tk(P104) + tk(P105) + tk(P106) + tk(P107) + tk(P108) + tk(P109) + tk(P110) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P117) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P123) + tk(P124) + tk(P125) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P145) + tk(P146) + tk(P147) + tk(P148) + tk(P149) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157) + tk(P158) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P166) + tk(P167) + tk(P168) + tk(P169) + tk(P170) + tk(P171) + tk(P172) + tk(P173) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P188) + tk(P189)) <= (tk(P766) + tk(P767) + tk(P768) + tk(P769) + tk(P770) + tk(P771) + tk(P772) + tk(P773) + tk(P774) + tk(P775) + tk(P777) + tk(P778) + tk(P779) + tk(P780) + tk(P781) + tk(P782) + tk(P783) + tk(P784) + tk(P785) + tk(P787) + tk(P788) + tk(P789) + tk(P790) + tk(P791) + tk(P792) + tk(P793) + tk(P794) + tk(P795) + tk(P796) + tk(P797)) ))),potential( ( 1 ) <= (tk(P574) + tk(P575) + tk(P576) + tk(P577) + tk(P578) + tk(P579) + tk(P580) + tk(P581) + tk(P582) + tk(P583) + tk(P584) + tk(P585) + tk(P586) + tk(P587) + tk(P588) + tk(P589) + tk(P590) + tk(P591) + tk(P592) + tk(P593) + tk(P594) + tk(P595) + tk(P596) + tk(P597) + tk(P598) + tk(P599) + tk(P600) + tk(P601) + tk(P602) + tk(P603) + tk(P604) + tk(P605) + tk(P615) + tk(P616) + tk(P617) + tk(P618) + tk(P619) + tk(P620) + tk(P621) + tk(P622) + tk(P623) + tk(P624) + tk(P625) + tk(P626) + tk(P627) + tk(P628) + tk(P629) + tk(P630) + tk(P631) + tk(P632) + tk(P633) + tk(P634) + tk(P635) + tk(P636) + tk(P637) + tk(P638) + tk(P639) + tk(P640) + tk(P641) + tk(P642) + tk(P643) + tk(P644) + tk(P645) + tk(P646) + tk(P647) + tk(P648) + tk(P649) + tk(P650) + tk(P651) + tk(P652) + tk(P653) + tk(P654) + tk(P655) + tk(P656) + tk(P657) + tk(P658) + tk(P659) + tk(P660) + tk(P661) + tk(P662) + tk(P663) + tk(P664) + tk(P665) + tk(P666) + tk(P667) + tk(P668) + tk(P669) + tk(P670) + tk(P671) + tk(P672) + tk(P673) + tk(P674) + tk(P675) + tk(P676) + tk(P677) + tk(P678) + tk(P679) + tk(P680) + tk(P681) + tk(P682) + tk(P683) + tk(P684) + tk(P685) + tk(P686) + tk(P687) + tk(P688) + tk(P689) + tk(P690) + tk(P691) + tk(P692) + tk(P693) + tk(P694) + tk(P695) + tk(P696) + tk(P697) + tk(P698) + tk(P699) + tk(P700) + tk(P701) + tk(P702) + tk(P703) + tk(P704) + tk(P705) + tk(P706) + tk(P707) + tk(P708) + tk(P709) + tk(P710) + tk(P711) + tk(P712) + tk(P713) + tk(P714) + tk(P715) + tk(P716) + tk(P717) + tk(P718) + tk(P719) + tk(P720) + tk(P721) + tk(P724) + tk(P726) + tk(P727) + tk(P728) + tk(P729) + tk(P730) + tk(P731) + tk(P732) + tk(P733) + tk(P734) + tk(P735) + tk(P736) + tk(P737) + tk(P738) + tk(P739) + tk(P740) + tk(P741) + tk(P742) + tk(P743) + tk(P744) + tk(P745) + tk(P746) + tk(P747) + tk(P748) + tk(P749) + tk(P750) + tk(P751) + tk(P752) + tk(P753) + tk(P754) + tk(P755) + tk(P756) + tk(P757) + tk(P758) + tk(P759) + tk(P760) + tk(P761) + tk(P762) + tk(P763) + tk(P764) + tk(P765)) ) ))
PROPERTY: Peterson-PT-5-CTLCardinality-06 (AG( ( ( potential( (tk(P1) + tk(P2) + tk(P3) + tk(P4) + tk(P5) + tk(P6) + tk(P7) + tk(P8) + tk(P9) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P16) + tk(P17) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25) + tk(P26) + tk(P27) + tk(P28) + tk(P29) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P34) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P43) + tk(P44) + tk(P45) + tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P50) + tk(P51) + tk(P52) + tk(P53) + tk(P54) + tk(P55) + tk(P56) + tk(P57) + tk(P58) + tk(P59) + tk(P60) + tk(P61) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P70) + tk(P71) + tk(P72) + tk(P73) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P79) + tk(P80) + tk(P81) + tk(P82) + tk(P83) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P88) + tk(P89) + tk(P90) + tk(P91) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P99) + tk(P100) + tk(P101) + tk(P102) + tk(P103) + tk(P104) + tk(P105) + tk(P106) + tk(P107) + tk(P108) + tk(P109) + tk(P110) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P117) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P123) + tk(P124) + tk(P125) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P145) + tk(P146) + tk(P147) + tk(P148) + tk(P149) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157) + tk(P158) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P166) + tk(P167) + tk(P168) + tk(P169) + tk(P170) + tk(P171) + tk(P172) + tk(P173) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P188) + tk(P189)) <= (tk(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P187) + tk(P190) + tk(P191) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P204) + tk(P205) + tk(P214) + tk(P218) + tk(P219) + tk(P220) + tk(P221)) ) & (! potential( ( 3 ) <= (tk(P390) + tk(P391) + tk(P392) + tk(P393) + tk(P396) + tk(P398) + tk(P399) + tk(P400) + tk(P402) + tk(P403) + tk(P404) + tk(P405)) )) ) | (EX( potential( (tk(P1) + tk(P2) + tk(P3) + tk(P4) + tk(P5) + tk(P6) + tk(P7) + tk(P8) + tk(P9) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P16) + tk(P17) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25) + tk(P26) + tk(P27) + tk(P28) + tk(P29) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P34) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P43) + tk(P44) + tk(P45) + tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P50) + tk(P51) + tk(P52) + tk(P53) + tk(P54) + tk(P55) + tk(P56) + tk(P57) + tk(P58) + tk(P59) + tk(P60) + tk(P61) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P70) + tk(P71) + tk(P72) + tk(P73) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P79) + tk(P80) + tk(P81) + tk(P82) + tk(P83) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P88) + tk(P89) + tk(P90) + tk(P91) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P99) + tk(P100) + tk(P101) + tk(P102) + tk(P103) + tk(P104) + tk(P105) + tk(P106) + tk(P107) + tk(P108) + tk(P109) + tk(P110) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P117) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P123) + tk(P124) + tk(P125) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P145) + tk(P146) + tk(P147) + tk(P148) + tk(P149) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157) + tk(P158) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P166) + tk(P167) + tk(P168) + tk(P169) + tk(P170) + tk(P171) + tk(P172) + tk(P173) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P188) + tk(P189)) <= (tk(P518) + tk(P519) + tk(P520) + tk(P521) + tk(P523) + tk(P526) + tk(P527) + tk(P528) + tk(P529) + tk(P530) + tk(P531) + tk(P532) + tk(P533) + tk(P534) + tk(P535) + tk(P536) + tk(P537) + tk(P538) + tk(P539) + tk(P540) + tk(P541) + tk(P606) + tk(P607) + tk(P608) + tk(P609) + tk(P610) + tk(P611) + tk(P612) + tk(P613) + tk(P614)) ))) )))
PROPERTY: Peterson-PT-5-CTLCardinality-07 ( (EX( (EG( potential( (tk(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P187) + tk(P190) + tk(P191) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P204) + tk(P205) + tk(P214) + tk(P218) + tk(P219) + tk(P220) + tk(P221)) <= (tk(P722) + tk(P723) + tk(P725) + tk(P798) + tk(P799) + tk(P800) + tk(P801) + tk(P802) + tk(P803) + tk(P804) + tk(P805) + tk(P811) + tk(P812) + tk(P813) + tk(P814) + tk(P815) + tk(P816) + tk(P817) + tk(P818) + tk(P819) + tk(P820) + tk(P821) + tk(P822) + tk(P823) + tk(P824) + tk(P825) + tk(P826) + tk(P827) + tk(P828) + tk(P829)) ))))) & ( ( ( ( potential( (tk(P574) + tk(P575) + tk(P576) + tk(P577) + tk(P578) + tk(P579) + tk(P580) + tk(P581) + tk(P582) + tk(P583) + tk(P584) + tk(P585) + tk(P586) + tk(P587) + tk(P588) + tk(P589) + tk(P590) + tk(P591) + tk(P592) + tk(P593) + tk(P594) + tk(P595) + tk(P596) + tk(P597) + tk(P598) + tk(P599) + tk(P600) + tk(P601) + tk(P602) + tk(P603) + tk(P604) + tk(P605) + tk(P615) + tk(P616) + tk(P617) + tk(P618) + tk(P619) + tk(P620) + tk(P621) + tk(P622) + tk(P623) + tk(P624) + tk(P625) + tk(P626) + tk(P627) + tk(P628) + tk(P629) + tk(P630) + tk(P631) + tk(P632) + tk(P633) + tk(P634) + tk(P635) + tk(P636) + tk(P637) + tk(P638) + tk(P639) + tk(P640) + tk(P641) + tk(P642) + tk(P643) + tk(P644) + tk(P645) + tk(P646) + tk(P647) + tk(P648) + tk(P649) + tk(P650) + tk(P651) + tk(P652) + tk(P653) + tk(P654) + tk(P655) + tk(P656) + tk(P657) + tk(P658) + tk(P659) + tk(P660) + tk(P661) + tk(P662) + tk(P663) + tk(P664) + tk(P665) + tk(P666) + tk(P667) + tk(P668) + tk(P669) + tk(P670) + tk(P671) + tk(P672) + tk(P673) + tk(P674) + tk(P675) + tk(P676) + tk(P677) + tk(P678) + tk(P679) + tk(P680) + tk(P681) + tk(P682) + tk(P683) + tk(P684) + tk(P685) + tk(P686) + tk(P687) + tk(P688) + tk(P689) + tk(P690) + tk(P691) + tk(P692) + tk(P693) + tk(P694) + tk(P695) + tk(P696) + tk(P697) + tk(P698) + tk(P699) + tk(P700) + tk(P701) + tk(P702) + tk(P703) + tk(P704) + tk(P705) + tk(P706) + tk(P707) + tk(P708) + tk(P709) + tk(P710) + tk(P711) + tk(P712) + tk(P713) + tk(P714) + tk(P715) + tk(P716) + tk(P717) + tk(P718) + tk(P719) + tk(P720) + tk(P721) + tk(P724) + tk(P726) + tk(P727) + tk(P728) + tk(P729) + tk(P730) + tk(P731) + tk(P732) + tk(P733) + tk(P734) + tk(P735) + tk(P736) + tk(P737) + tk(P738) + tk(P739) + tk(P740) + tk(P741) + tk(P742) + tk(P743) + tk(P744) + tk(P745) + tk(P746) + tk(P747) + tk(P748) + tk(P749) + tk(P750) + tk(P751) + tk(P752) + tk(P753) + tk(P754) + tk(P755) + tk(P756) + tk(P757) + tk(P758) + tk(P759) + tk(P760) + tk(P761) + tk(P762) + tk(P763) + tk(P764) + tk(P765)) <= (tk(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P215) + tk(P216) + tk(P217) + tk(P222) + tk(P223) + tk(P224) + tk(P225) + tk(P226) + tk(P227) + tk(P228) + tk(P229) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P234) + tk(P235) + tk(P236) + tk(P237) + tk(P238) + tk(P239) + tk(P240) + tk(P241) + tk(P242) + tk(P243) + tk(P244) + tk(P245) + tk(P246) + tk(P247) + tk(P248) + tk(P249) + tk(P250) + tk(P251) + tk(P252) + tk(P253) + tk(P254) + tk(P255) + tk(P256) + tk(P257) + tk(P258) + tk(P259) + tk(P260) + tk(P261) + tk(P262) + tk(P263) + tk(P264) + tk(P265) + tk(P266) + tk(P267) + tk(P268) + tk(P269) + tk(P270) + tk(P271) + tk(P272) + tk(P273) + tk(P274) + tk(P275) + tk(P276) + tk(P277) + tk(P278) + tk(P279) + tk(P280) + tk(P281) + tk(P282) + tk(P283) + tk(P284) + tk(P285) + tk(P286) + tk(P287) + tk(P288) + tk(P289) + tk(P290) + tk(P291) + tk(P292) + tk(P293) + tk(P294) + tk(P295) + tk(P296) + tk(P297) + tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P302) + tk(P303) + tk(P304) + tk(P305) + tk(P306) + tk(P307) + tk(P308) + tk(P309) + tk(P310) + tk(P311) + tk(P312) + tk(P313) + tk(P314) + tk(P315) + tk(P316) + tk(P317) + tk(P318) + tk(P319) + tk(P320) + tk(P321) + tk(P322) + tk(P323) + tk(P324) + tk(P325) + tk(P326) + tk(P327) + tk(P328) + tk(P329) + tk(P330) + tk(P331) + tk(P332) + tk(P333) + tk(P334) + tk(P335) + tk(P336) + tk(P337) + tk(P338) + tk(P339) + tk(P340) + tk(P341) + tk(P342) + tk(P343) + tk(P344) + tk(P345) + tk(P346) + tk(P347) + tk(P348) + tk(P349) + tk(P350) + tk(P351) + tk(P352) + tk(P353) + tk(P354) + tk(P355) + tk(P356) + tk(P357) + tk(P358) + tk(P359) + tk(P360) + tk(P361) + tk(P362) + tk(P363) + tk(P364) + tk(P365) + tk(P366) + tk(P367) + tk(P368) + tk(P369) + tk(P370) + tk(P371) + tk(P372) + tk(P373) + tk(P374) + tk(P375) + tk(P376) + tk(P377) + tk(P378) + tk(P379) + tk(P380) + tk(P381) + tk(P401) + tk(P406) + tk(P407) + tk(P408) + tk(P409) + tk(P410) + tk(P411) + tk(P412) + tk(P413)) ) | potential( (tk(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P187) + tk(P190) + tk(P191) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P204) + tk(P205) + tk(P214) + tk(P218) + tk(P219) + tk(P220) + tk(P221)) <= (tk(P390) + tk(P391) + tk(P392) + tk(P393) + tk(P396) + tk(P398) + tk(P399) + tk(P400) + tk(P402) + tk(P403) + tk(P404) + tk(P405)) ) ) & potential( (tk(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P187) + tk(P190) + tk(P191) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P204) + tk(P205) + tk(P214) + tk(P218) + tk(P219) + tk(P220) + tk(P221)) <= (tk(P382) + tk(P383) + tk(P384) + tk(P385) + tk(P386) + tk(P387) + tk(P388) + tk(P389) + tk(P394) + tk(P395) + tk(P397) + tk(P414) + tk(P415) + tk(P416) + tk(P417) + tk(P418) + tk(P419) + tk(P420) + tk(P421) + tk(P422) + tk(P423) + tk(P424) + tk(P425) + tk(P426) + tk(P427) + tk(P428) + tk(P429) + tk(P430) + tk(P431) + tk(P432) + tk(P433) + tk(P434) + tk(P435) + tk(P436) + tk(P437) + tk(P438) + tk(P439) + tk(P440) + tk(P441) + tk(P442) + tk(P443) + tk(P444) + tk(P445) + 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(P458) + tk(P459) + tk(P460) + tk(P461) + tk(P462) + tk(P463) + tk(P464) + tk(P465) + tk(P466) + tk(P467) + tk(P468) + tk(P469) + tk(P470) + tk(P471) + tk(P472) + tk(P473) + tk(P474) + tk(P475) + tk(P476) + tk(P477) + tk(P478) + tk(P479) + tk(P480) + tk(P481) + tk(P482) + tk(P483) + tk(P484) + tk(P485) + tk(P486) + tk(P487) + tk(P488) + tk(P489) + tk(P490) + tk(P491) + tk(P492) + tk(P493) + tk(P494) + tk(P495) + tk(P496) + tk(P497) + tk(P498) + tk(P499) + tk(P500) + tk(P501) + tk(P502) + tk(P503) + tk(P504) + tk(P505) + tk(P506) + tk(P507) + tk(P508) + tk(P509) + tk(P510) + tk(P511) + tk(P512) + tk(P513) + tk(P514) + tk(P515) + tk(P516) + tk(P517) + tk(P522) + tk(P524) + tk(P525) + tk(P542) + tk(P543) + tk(P544) + tk(P545) + tk(P546) + tk(P547) + tk(P548) + tk(P549) + tk(P550) + tk(P551) + tk(P552) + tk(P553) + tk(P554) + tk(P555) + tk(P556) + tk(P557) + tk(P558) + tk(P559) + tk(P560) + tk(P561) + tk(P562) + tk(P563) + tk(P564) + tk(P565) + tk(P566) + tk(P567) + tk(P568) + tk(P569) + tk(P570) + tk(P571) + tk(P572) + tk(P573)) ) ) | potential( (tk(P574) + tk(P575) + tk(P576) + tk(P577) + tk(P578) + tk(P579) + tk(P580) + tk(P581) + tk(P582) + tk(P583) + tk(P584) + tk(P585) + tk(P586) + tk(P587) + tk(P588) + tk(P589) + tk(P590) + tk(P591) + tk(P592) + tk(P593) + tk(P594) + tk(P595) + tk(P596) + tk(P597) + tk(P598) + tk(P599) + tk(P600) + tk(P601) + tk(P602) + tk(P603) + tk(P604) + tk(P605) + tk(P615) + tk(P616) + tk(P617) + tk(P618) + tk(P619) + tk(P620) + tk(P621) + tk(P622) + tk(P623) + tk(P624) + tk(P625) + tk(P626) + tk(P627) + tk(P628) + tk(P629) + tk(P630) + tk(P631) + tk(P632) + tk(P633) + tk(P634) + tk(P635) + tk(P636) + tk(P637) + tk(P638) + tk(P639) + tk(P640) + tk(P641) + tk(P642) + tk(P643) + tk(P644) + tk(P645) + tk(P646) + tk(P647) + tk(P648) + tk(P649) + tk(P650) + tk(P651) + tk(P652) + tk(P653) + tk(P654) + tk(P655) + tk(P656) + tk(P657) + tk(P658) + tk(P659) + tk(P660) + tk(P661) + tk(P662) + tk(P663) + tk(P664) + tk(P665) + tk(P666) + tk(P667) + tk(P668) + tk(P669) + tk(P670) + tk(P671) + tk(P672) + tk(P673) + tk(P674) + tk(P675) + tk(P676) + tk(P677) + tk(P678) + tk(P679) + tk(P680) + tk(P681) + tk(P682) + tk(P683) + tk(P684) + tk(P685) + tk(P686) + tk(P687) + tk(P688) + tk(P689) + tk(P690) + tk(P691) + tk(P692) + tk(P693) + tk(P694) + tk(P695) + tk(P696) + tk(P697) + tk(P698) + tk(P699) + tk(P700) + tk(P701) + tk(P702) + tk(P703) + tk(P704) + tk(P705) + tk(P706) + tk(P707) + tk(P708) + tk(P709) + tk(P710) + tk(P711) + tk(P712) + tk(P713) + tk(P714) + tk(P715) + tk(P716) + tk(P717) + tk(P718) + tk(P719) + tk(P720) + tk(P721) + tk(P724) + tk(P726) + tk(P727) + tk(P728) + tk(P729) + tk(P730) + tk(P731) + tk(P732) + tk(P733) + tk(P734) + tk(P735) + tk(P736) + tk(P737) + tk(P738) + tk(P739) + tk(P740) + tk(P741) + tk(P742) + tk(P743) + tk(P744) + tk(P745) + tk(P746) + tk(P747) + tk(P748) + tk(P749) + tk(P750) + tk(P751) + tk(P752) + tk(P753) + tk(P754) + tk(P755) + tk(P756) + tk(P757) + tk(P758) + tk(P759) + tk(P760) + tk(P761) + tk(P762) + tk(P763) + tk(P764) + tk(P765)) <= (tk(P766) + tk(P767) + tk(P768) + tk(P769) + tk(P770) + tk(P771) + tk(P772) + tk(P773) + tk(P774) + tk(P775) + tk(P777) + tk(P778) + tk(P779) + tk(P780) + tk(P781) + tk(P782) + tk(P783) + tk(P784) + tk(P785) + tk(P787) + tk(P788) + tk(P789) + tk(P790) + tk(P791) + tk(P792) + tk(P793) + tk(P794) + tk(P795) + tk(P796) + tk(P797)) ) ) & (EU( potential( ( 1 ) <= (tk(P574) + tk(P575) + tk(P576) + tk(P577) + tk(P578) + tk(P579) + tk(P580) + tk(P581) + tk(P582) + tk(P583) + tk(P584) + tk(P585) + tk(P586) + tk(P587) + tk(P588) + tk(P589) + tk(P590) + tk(P591) + tk(P592) + tk(P593) + tk(P594) + tk(P595) + tk(P596) + tk(P597) + tk(P598) + tk(P599) + tk(P600) + tk(P601) + tk(P602) + tk(P603) + tk(P604) + tk(P605) + tk(P615) + tk(P616) + tk(P617) + tk(P618) + tk(P619) + tk(P620) + tk(P621) + tk(P622) + tk(P623) + tk(P624) + tk(P625) + tk(P626) + tk(P627) + tk(P628) + tk(P629) + tk(P630) + tk(P631) + tk(P632) + tk(P633) + tk(P634) + tk(P635) + tk(P636) + tk(P637) + tk(P638) + tk(P639) + tk(P640) + tk(P641) + tk(P642) + tk(P643) + tk(P644) + tk(P645) + tk(P646) + tk(P647) + tk(P648) + tk(P649) + tk(P650) + tk(P651) + tk(P652) + tk(P653) + tk(P654) + tk(P655) + tk(P656) + tk(P657) + tk(P658) + tk(P659) + tk(P660) + tk(P661) + tk(P662) + tk(P663) + tk(P664) + tk(P665) + tk(P666) + tk(P667) + tk(P668) + tk(P669) + tk(P670) + tk(P671) + tk(P672) + tk(P673) + tk(P674) + tk(P675) + tk(P676) + tk(P677) + tk(P678) + tk(P679) + tk(P680) + tk(P681) + tk(P682) + tk(P683) + tk(P684) + tk(P685) + tk(P686) + tk(P687) + tk(P688) + tk(P689) + tk(P690) + tk(P691) + tk(P692) + tk(P693) + tk(P694) + tk(P695) + tk(P696) + tk(P697) + tk(P698) + tk(P699) + tk(P700) + tk(P701) + tk(P702) + tk(P703) + tk(P704) + tk(P705) + tk(P706) + tk(P707) + tk(P708) + tk(P709) + tk(P710) + tk(P711) + tk(P712) + tk(P713) + tk(P714) + tk(P715) + tk(P716) + tk(P717) + tk(P718) + tk(P719) + tk(P720) + tk(P721) + tk(P724) + tk(P726) + tk(P727) + tk(P728) + tk(P729) + tk(P730) + tk(P731) + tk(P732) + tk(P733) + tk(P734) + tk(P735) + tk(P736) + tk(P737) + tk(P738) + tk(P739) + tk(P740) + tk(P741) + tk(P742) + tk(P743) + tk(P744) + tk(P745) + tk(P746) + tk(P747) + tk(P748) + tk(P749) + tk(P750) + tk(P751) + tk(P752) + tk(P753) + tk(P754) + tk(P755) + tk(P756) + tk(P757) + tk(P758) + tk(P759) + tk(P760) + tk(P761) + tk(P762) + tk(P763) + tk(P764) + tk(P765)) ),potential( (tk(P1) + tk(P2) + tk(P3) + tk(P4) + tk(P5) + tk(P6) + tk(P7) + tk(P8) + tk(P9) + tk(P10) + tk(P11) + tk(P12) + tk(P13) + tk(P14) + tk(P15) + tk(P16) + tk(P17) + tk(P18) + tk(P19) + tk(P20) + tk(P21) + tk(P22) + tk(P23) + tk(P24) + tk(P25) + tk(P26) + tk(P27) + tk(P28) + tk(P29) + tk(P30) + tk(P31) + tk(P32) + tk(P33) + tk(P34) + tk(P35) + tk(P36) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P41) + tk(P42) + tk(P43) + tk(P44) + tk(P45) + tk(P46) + tk(P47) + tk(P48) + tk(P49) + tk(P50) + tk(P51) + tk(P52) + tk(P53) + tk(P54) + tk(P55) + tk(P56) + tk(P57) + tk(P58) + tk(P59) + tk(P60) + tk(P61) + tk(P62) + tk(P63) + tk(P64) + tk(P65) + tk(P66) + tk(P67) + tk(P68) + tk(P69) + tk(P70) + tk(P71) + tk(P72) + tk(P73) + tk(P74) + tk(P75) + tk(P76) + tk(P77) + tk(P78) + tk(P79) + tk(P80) + tk(P81) + tk(P82) + tk(P83) + tk(P84) + tk(P85) + tk(P86) + tk(P87) + tk(P88) + tk(P89) + tk(P90) + tk(P91) + tk(P92) + tk(P93) + tk(P94) + tk(P95) + tk(P96) + tk(P97) + tk(P98) + tk(P99) + tk(P100) + tk(P101) + tk(P102) + tk(P103) + tk(P104) + tk(P105) + tk(P106) + tk(P107) + tk(P108) + tk(P109) + tk(P110) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P117) + tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P123) + tk(P124) + tk(P125) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P145) + tk(P146) + tk(P147) + tk(P148) + tk(P149) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157) + tk(P158) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P166) + tk(P167) + tk(P168) + tk(P169) + tk(P170) + tk(P171) + tk(P172) + tk(P173) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P188) + tk(P189)) <= (tk(P766) + tk(P767) + tk(P768) + tk(P769) + tk(P770) + tk(P771) + tk(P772) + tk(P773) + tk(P774) + tk(P775) + tk(P777) + tk(P778) + tk(P779) + tk(P780) + tk(P781) + tk(P782) + tk(P783) + tk(P784) + tk(P785) + tk(P787) + tk(P788) + tk(P789) + tk(P790) + tk(P791) + tk(P792) + tk(P793) + tk(P794) + tk(P795) + tk(P796) + tk(P797)) ) )) ) )
PROPERTY: Peterson-PT-5-CTLCardinality-08 (AF(( (AG( potential( ( 3 ) <= (tk(P434)) ))) | (! ( potential( (tk(P542)) <= (tk(P452)) ) & potential( (tk(P56)) <= (tk(P720)) ) )) )))
PROPERTY: Peterson-PT-5-CTLCardinality-09 (EF((AG( ( potential( ( 1 ) <= (tk(P75)) ) | potential( ( 1 ) <= (tk(P685)) ) )))))
PROPERTY: Peterson-PT-5-CTLCardinality-10 (AU( (AG( potential( ( 3 ) <= (tk(P273)) ))),(EF(potential( ( 2 ) <= (tk(P460)) ))) ))
PROPERTY: Peterson-PT-5-CTLCardinality-11 ( ( ( potential( (tk(P722)) <= (tk(P670)) ) | ( ( potential( (tk(P287)) <= (tk(P378)) ) | potential( (tk(P38)) <= (tk(P746)) ) ) & (! potential( ( 3 ) <= (tk(P762)) )) ) ) & (AU( potential( (tk(P14)) <= (tk(P829)) ),potential( ( 1 ) <= (tk(P338)) ) )) ) | (! ( ( potential( ( 1 ) <= (tk(P624)) ) | ( potential( (tk(P447)) <= (tk(P58)) ) | potential( ( 3 ) <= (tk(P366)) ) ) ) | potential( (tk(P313)) <= (tk(P662)) ) )) )
PROPERTY: Peterson-PT-5-CTLCardinality-12 (EG( (EX( ( potential( (tk(P590)) <= (tk(P646)) ) | potential( ( 3 ) <= (tk(P596)) ) )))))
PROPERTY: Peterson-PT-5-CTLCardinality-13 (AX( ( (AF(potential( ( 3 ) <= (tk(P23)) ))) & (EG( potential( (tk(P304)) <= (tk(P586)) ))) )))
PROPERTY: Peterson-PT-5-CTLCardinality-14 (EG( ( (AG( potential( ( 3 ) <= (tk(P569)) ))) | potential( (tk(P749)) <= (tk(P93)) ) )))
PROPERTY: Peterson-PT-5-CTLCardinality-15 (AX( (AF(( potential( (tk(P514)) <= (tk(P164)) ) & potential( ( 2 ) <= (tk(P312)) ) )))))

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="Peterson-PT-5"
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 Peterson-PT-5, 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 r108-csrt-158961251000731"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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