Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 39K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 107K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 78K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 241K 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.1K Apr 27 15:14 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 22K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 85K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 269K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 57K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 157K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 72K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 221K 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 23K 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 7 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 659K 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 SharedMemory-PT-000020-CTLCardinality-00
FORMULA_NAME SharedMemory-PT-000020-CTLCardinality-01
FORMULA_NAME SharedMemory-PT-000020-CTLCardinality-02
FORMULA_NAME SharedMemory-PT-000020-CTLCardinality-03
FORMULA_NAME SharedMemory-PT-000020-CTLCardinality-04
FORMULA_NAME SharedMemory-PT-000020-CTLCardinality-05
FORMULA_NAME SharedMemory-PT-000020-CTLCardinality-06
FORMULA_NAME SharedMemory-PT-000020-CTLCardinality-07
FORMULA_NAME SharedMemory-PT-000020-CTLCardinality-08
FORMULA_NAME SharedMemory-PT-000020-CTLCardinality-09
FORMULA_NAME SharedMemory-PT-000020-CTLCardinality-10
FORMULA_NAME SharedMemory-PT-000020-CTLCardinality-11
FORMULA_NAME SharedMemory-PT-000020-CTLCardinality-12
FORMULA_NAME SharedMemory-PT-000020-CTLCardinality-13
FORMULA_NAME SharedMemory-PT-000020-CTLCardinality-14
FORMULA_NAME SharedMemory-PT-000020-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589744776951

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SharedMemory (PT), instance 000020
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: 461 places, 820 transitions, 3200 arcs.
AT ITER 0 NEW BEST:: SOT 352295 SOS 328050 HAS SOPS 328011 HAS SOUS 308537 HAS SOUPS 308498 WITH SCORE 308826.05
AT ITER 17 NEW BEST:: SOT 352508 SOS 328206 HAS SOPS 328167 HAS SOUS 307885 HAS SOUPS 307846 WITH SCORE 308174.206
AT ITER 19 NEW BEST:: SOT 352625 SOS 326721 HAS SOPS 326682 HAS SOUS 304705 HAS SOUPS 304666 WITH SCORE 304992.721
AT ITER 20 NEW BEST:: SOT 353740 SOS 327366 HAS SOPS 327327 HAS SOUS 299849 HAS SOUPS 299810 WITH SCORE 300137.366
AT ITER 21 NEW BEST:: SOT 353740 SOS 327366 HAS SOPS 327327 HAS SOUS 299806 HAS SOUPS 299767 WITH SCORE 300094.366
AT ITER 31 NEW BEST:: SOT 353740 SOS 327366 HAS SOPS 327327 HAS SOUS 299798 HAS SOUPS 299759 WITH SCORE 300086.366
AT ITER 37 NEW BEST:: SOT 353884 SOS 327280 HAS SOPS 327241 HAS SOUS 297393 HAS SOUPS 297354 WITH SCORE 297681.28
AT ITER 39 NEW BEST:: SOT 354232 SOS 327198 HAS SOPS 327159 HAS SOUS 291626 HAS SOUPS 291587 WITH SCORE 291914.198
AT ITER 43 NEW BEST:: SOT 354554 SOS 325114 HAS SOPS 325075 HAS SOUS 285551 HAS SOUPS 285512 WITH SCORE 285837.114
AT ITER 48 NEW BEST:: SOT 354554 SOS 325114 HAS SOPS 325075 HAS SOUS 285549 HAS SOUPS 285510 WITH SCORE 285835.114
AT ITER 49 NEW BEST:: SOT 354572 SOS 325096 HAS SOPS 325057 HAS SOUS 285241 HAS SOUPS 285202 WITH SCORE 285527.096
AT ITER 53 NEW BEST:: SOT 354572 SOS 323908 HAS SOPS 323908 HAS SOUS 281222 HAS SOUPS 281222 WITH SCORE 281545.908
AT ITER 54 NEW BEST:: SOT 354923 SOS 321312 HAS SOPS 321312 HAS SOUS 274927 HAS SOUPS 274927 WITH SCORE 275248.312
AT ITER 55 NEW BEST:: SOT 354923 SOS 321312 HAS SOPS 321312 HAS SOUS 274857 HAS SOUPS 274857 WITH SCORE 275178.312
AT ITER 56 NEW BEST:: SOT 354923 SOS 321082 HAS SOPS 321082 HAS SOUS 272667 HAS SOUPS 272667 WITH SCORE 272988.082
AT ITER 60 NEW BEST:: SOT 354923 SOS 321082 HAS SOPS 321082 HAS SOUS 272508 HAS SOUPS 272508 WITH SCORE 272829.082
AT ITER 61 NEW BEST:: SOT 355405 SOS 320481 HAS SOPS 320481 HAS SOUS 270125 HAS SOUPS 270125 WITH SCORE 270445.481
AT ITER 68 NEW BEST:: SOT 356220 SOS 320197 HAS SOPS 320197 HAS SOUS 267202 HAS SOUPS 267202 WITH SCORE 267522.197
AT ITER 75 NEW BEST:: SOT 356610 SOS 320009 HAS SOPS 320009 HAS SOUS 264232 HAS SOUPS 264232 WITH SCORE 264552.009
AT ITER 77 NEW BEST:: SOT 356610 SOS 320009 HAS SOPS 320009 HAS SOUS 264202 HAS SOUPS 264202 WITH SCORE 264522.009
AT ITER 78 NEW BEST:: SOT 356610 SOS 320009 HAS SOPS 320009 HAS SOUS 264177 HAS SOUPS 264177 WITH SCORE 264497.009
AT ITER 80 NEW BEST:: SOT 356610 SOS 317881 HAS SOPS 317881 HAS SOUS 260128 HAS SOUPS 260128 WITH SCORE 260445.881
AT ITER 81 NEW BEST:: SOT 356640 SOS 317195 HAS SOPS 317195 HAS SOUS 258282 HAS SOUPS 258282 WITH SCORE 258599.195
AT ITER 85 NEW BEST:: SOT 356695 SOS 317102 HAS SOPS 317102 HAS SOUS 258169 HAS SOUPS 258169 WITH SCORE 258486.102
AT ITER 86 NEW BEST:: SOT 356780 SOS 316529 HAS SOPS 316529 HAS SOUS 256205 HAS SOUPS 256205 WITH SCORE 256521.529
AT ITER 98 NEW BEST:: SOT 356814 SOS 315979 HAS SOPS 315979 HAS SOUS 255708 HAS SOUPS 255708 WITH SCORE 256023.979
AT ITER 99 NEW BEST:: SOT 356814 SOS 315902 HAS SOPS 315902 HAS SOUS 255613 HAS SOUPS 255613 WITH SCORE 255928.902
AT ITER 100 NEW BEST:: SOT 356905 SOS 315455 HAS SOPS 315455 HAS SOUS 254786 HAS SOUPS 254786 WITH SCORE 255101.455
AT ITER 104 NEW BEST:: SOT 356969 SOS 313776 HAS SOPS 313776 HAS SOUS 253619 HAS SOUPS 253619 WITH SCORE 253932.776
AT ITER 108 NEW BEST:: SOT 356969 SOS 313776 HAS SOPS 313776 HAS SOUS 253583 HAS SOUPS 253583 WITH SCORE 253896.776
AT ITER 110 NEW BEST:: SOT 357220 SOS 313534 HAS SOPS 313534 HAS SOUS 252355 HAS SOUPS 252355 WITH SCORE 252668.534
AT ITER 114 NEW BEST:: SOT 357220 SOS 313455 HAS SOPS 313380 HAS SOUS 252360 HAS SOUPS 252285 WITH SCORE 252598.455
AT ITER 117 NEW BEST:: SOT 357482 SOS 310909 HAS SOPS 310834 HAS SOUS 247964 HAS SOUPS 247889 WITH SCORE 248199.909
AT ITER 120 NEW BEST:: SOT 357484 SOS 310227 HAS SOPS 310152 HAS SOUS 247886 HAS SOUPS 247811 WITH SCORE 248121.227
AT ITER 123 NEW BEST:: SOT 357484 SOS 307728 HAS SOPS 307653 HAS SOUS 241976 HAS SOUPS 241901 WITH SCORE 242208.728
AT ITER 124 NEW BEST:: SOT 357609 SOS 307378 HAS SOPS 307303 HAS SOUS 241612 HAS SOUPS 241537 WITH SCORE 241844.378
AT ITER 126 NEW BEST:: SOT 358331 SOS 307250 HAS SOPS 307175 HAS SOUS 241292 HAS SOUPS 241217 WITH SCORE 241524.25
AT ITER 127 NEW BEST:: SOT 358539 SOS 305632 HAS SOPS 305557 HAS SOUS 237926 HAS SOUPS 237851 WITH SCORE 238156.632
AT ITER 136 NEW BEST:: SOT 359085 SOS 304590 HAS SOPS 304515 HAS SOUS 236659 HAS SOUPS 236584 WITH SCORE 236888.59
AT ITER 137 NEW BEST:: SOT 359085 SOS 304590 HAS SOPS 304515 HAS SOUS 236626 HAS SOUPS 236551 WITH SCORE 236855.59
AT ITER 141 NEW BEST:: SOT 359158 SOS 304617 HAS SOPS 304542 HAS SOUS 236616 HAS SOUPS 236541 WITH SCORE 236845.617
AT ITER 145 NEW BEST:: SOT 359189 SOS 303462 HAS SOPS 303387 HAS SOUS 236110 HAS SOUPS 236035 WITH SCORE 236338.462
AT ITER 146 NEW BEST:: SOT 359189 SOS 303372 HAS SOPS 303297 HAS SOUS 235952 HAS SOUPS 235877 WITH SCORE 236180.372
AT ITER 155 NEW BEST:: SOT 359297 SOS 302658 HAS SOPS 302583 HAS SOUS 235302 HAS SOUPS 235227 WITH SCORE 235529.658
AT ITER 159 NEW BEST:: SOT 359762 SOS 301308 HAS SOPS 301233 HAS SOUS 233205 HAS SOUPS 233130 WITH SCORE 233431.308
AT ITER 160 NEW BEST:: SOT 359762 SOS 300254 HAS SOPS 300179 HAS SOUS 232150 HAS SOUPS 232075 WITH SCORE 232375.254
AT ITER 161 NEW BEST:: SOT 359821 SOS 300032 HAS SOPS 299957 HAS SOUS 231854 HAS SOUPS 231779 WITH SCORE 232079.032
AT ITER 170 NEW BEST:: SOT 359821 SOS 300023 HAS SOPS 299948 HAS SOUS 231792 HAS SOUPS 231717 WITH SCORE 232017.023
AT ITER 173 NEW BEST:: SOT 359971 SOS 299165 HAS SOPS 299090 HAS SOUS 230217 HAS SOUPS 230142 WITH SCORE 230441.165
AT ITER 179 NEW BEST:: SOT 359971 SOS 299002 HAS SOPS 298927 HAS SOUS 230146 HAS SOUPS 230071 WITH SCORE 230370.002
AT ITER 183 NEW BEST:: SOT 360250 SOS 298163 HAS SOPS 298088 HAS SOUS 229563 HAS SOUPS 229488 WITH SCORE 229786.163
AT ITER 188 NEW BEST:: SOT 360300 SOS 297880 HAS SOPS 297805 HAS SOUS 229222 HAS SOUPS 229147 WITH SCORE 229444.88
AT ITER 191 NEW BEST:: SOT 360300 SOS 297880 HAS SOPS 297805 HAS SOUS 229171 HAS SOUPS 229096 WITH SCORE 229393.88
AT ITER 195 NEW BEST:: SOT 360300 SOS 297516 HAS SOPS 297441 HAS SOUS 229147 HAS SOUPS 229072 WITH SCORE 229369.516
AT ITER 196 NEW BEST:: SOT 360343 SOS 295668 HAS SOPS 295593 HAS SOUS 227201 HAS SOUPS 227126 WITH SCORE 227421.668
AT ITER 198 NEW BEST:: SOT 360423 SOS 294843 HAS SOPS 294768 HAS SOUS 226588 HAS SOUPS 226513 WITH SCORE 226807.843
AT ITER 199 NEW BEST:: SOT 360785 SOS 290716 HAS SOPS 290641 HAS SOUS 222784 HAS SOUPS 222709 WITH SCORE 222999.716
AT ITER 206 NEW BEST:: SOT 360785 SOS 290716 HAS SOPS 290641 HAS SOUS 222658 HAS SOUPS 222583 WITH SCORE 222873.716
AT ITER 207 NEW BEST:: SOT 360785 SOS 290583 HAS SOPS 290508 HAS SOUS 222513 HAS SOUPS 222438 WITH SCORE 222728.583
AT ITER 209 NEW BEST:: SOT 360785 SOS 290217 HAS SOPS 290142 HAS SOUS 222219 HAS SOUPS 222144 WITH SCORE 222434.217
AT ITER 213 NEW BEST:: SOT 360785 SOS 290266 HAS SOPS 290191 HAS SOUS 222158 HAS SOUPS 222083 WITH SCORE 222373.266
AT ITER 216 NEW BEST:: SOT 360785 SOS 290266 HAS SOPS 290191 HAS SOUS 222013 HAS SOUPS 221938 WITH SCORE 222228.266
AT ITER 227 NEW BEST:: SOT 360785 SOS 290088 HAS SOPS 290013 HAS SOUS 222013 HAS SOUPS 221938 WITH SCORE 222228.088
AT ITER 228 NEW BEST:: SOT 360909 SOS 289142 HAS SOPS 289067 HAS SOUS 221464 HAS SOUPS 221389 WITH SCORE 221678.142
AT ITER 230 NEW BEST:: SOT 360909 SOS 289106 HAS SOPS 289031 HAS SOUS 221453 HAS SOUPS 221378 WITH SCORE 221667.106
AT ITER 231 NEW BEST:: SOT 360950 SOS 289040 HAS SOPS 288965 HAS SOUS 221346 HAS SOUPS 221271 WITH SCORE 221560.04
AT ITER 233 NEW BEST:: SOT 361034 SOS 288844 HAS SOPS 288769 HAS SOUS 221079 HAS SOUPS 221004 WITH SCORE 221292.844
AT ITER 236 NEW BEST:: SOT 361034 SOS 288844 HAS SOPS 288769 HAS SOUS 221039 HAS SOUPS 220964 WITH SCORE 221252.844
AT ITER 240 NEW BEST:: SOT 361137 SOS 287819 HAS SOPS 287744 HAS SOUS 219959 HAS SOUPS 219884 WITH SCORE 220171.819
AT ITER 247 NEW BEST:: SOT 361137 SOS 287770 HAS SOPS 287695 HAS SOUS 219959 HAS SOUPS 219884 WITH SCORE 220171.77
AT ITER 258 NEW BEST:: SOT 361188 SOS 287568 HAS SOPS 287493 HAS SOUS 219894 HAS SOUPS 219819 WITH SCORE 220106.568
AT ITER 259 NEW BEST:: SOT 361264 SOS 287182 HAS SOPS 287107 HAS SOUS 219707 HAS SOUPS 219632 WITH SCORE 219919.182
AT ITER 260 NEW BEST:: SOT 361264 SOS 285877 HAS SOPS 285802 HAS SOUS 218157 HAS SOUPS 218082 WITH SCORE 218367.877
AT ITER 262 NEW BEST:: SOT 361264 SOS 285873 HAS SOPS 285798 HAS SOUS 218126 HAS SOUPS 218051 WITH SCORE 218336.873
AT ITER 263 NEW BEST:: SOT 361264 SOS 285873 HAS SOPS 285798 HAS SOUS 218116 HAS SOUPS 218041 WITH SCORE 218326.873
AT ITER 282 NEW BEST:: SOT 361264 SOS 285873 HAS SOPS 285798 HAS SOUS 218089 HAS SOUPS 218014 WITH SCORE 218299.873
AT ITER 284 NEW BEST:: SOT 361264 SOS 285873 HAS SOPS 285798 HAS SOUS 218069 HAS SOUPS 217994 WITH SCORE 218279.873
AT ITER 285 NEW BEST:: SOT 361264 SOS 285840 HAS SOPS 285765 HAS SOUS 218036 HAS SOUPS 217961 WITH SCORE 218246.84
AT ITER 286 NEW BEST:: SOT 361264 SOS 285751 HAS SOPS 285676 HAS SOUS 217997 HAS SOUPS 217922 WITH SCORE 218207.751
AT ITER 289 NEW BEST:: SOT 361264 SOS 285751 HAS SOPS 285676 HAS SOUS 217994 HAS SOUPS 217919 WITH SCORE 218204.751
AT ITER 290 NEW BEST:: SOT 361264 SOS 285242 HAS SOPS 285052 HAS SOUS 217797 HAS SOUPS 217607 WITH SCORE 217892.242
AT ITER 292 NEW BEST:: SOT 361366 SOS 283078 HAS SOPS 282888 HAS SOUS 216301 HAS SOUPS 216111 WITH SCORE 216394.078
AT ITER 295 NEW BEST:: SOT 361366 SOS 283121 HAS SOPS 282931 HAS SOUS 216290 HAS SOUPS 216100 WITH SCORE 216383.121
AT ITER 298 NEW BEST:: SOT 361366 SOS 282028 HAS SOPS 281838 HAS SOUS 215611 HAS SOUPS 215421 WITH SCORE 215703.028
AT ITER 300 NEW BEST:: SOT 361366 SOS 282007 HAS SOPS 281817 HAS SOUS 215574 HAS SOUPS 215384 WITH SCORE 215666.007
AT ITER 301 NEW BEST:: SOT 361647 SOS 278860 HAS SOPS 278670 HAS SOUS 213299 HAS SOUPS 213109 WITH SCORE 213387.86
AT ITER 304 NEW BEST:: SOT 361647 SOS 278831 HAS SOPS 278641 HAS SOUS 213236 HAS SOUPS 213046 WITH SCORE 213324.831
AT ITER 305 NEW BEST:: SOT 361647 SOS 278720 HAS SOPS 278295 HAS SOUS 213471 HAS SOUPS 213046 WITH SCORE 213324.72
AT ITER 306 NEW BEST:: SOT 362341 SOS 276366 HAS SOPS 275941 HAS SOUS 211857 HAS SOUPS 211432 WITH SCORE 211708.366
AT ITER 309 NEW BEST:: SOT 362341 SOS 276365 HAS SOPS 275940 HAS SOUS 211856 HAS SOUPS 211431 WITH SCORE 211707.365
AT ITER 314 NEW BEST:: SOT 362519 SOS 276268 HAS SOPS 275843 HAS SOUS 211741 HAS SOUPS 211316 WITH SCORE 211592.268
AT ITER 318 NEW BEST:: SOT 362519 SOS 276106 HAS SOPS 275681 HAS SOUS 211623 HAS SOUPS 211198 WITH SCORE 211474.106
AT ITER 322 NEW BEST:: SOT 362519 SOS 276063 HAS SOPS 275638 HAS SOUS 211583 HAS SOUPS 211158 WITH SCORE 211434.063
AT ITER 324 NEW BEST:: SOT 362519 SOS 276063 HAS SOPS 275638 HAS SOUS 211103 HAS SOUPS 210678 WITH SCORE 210954.063
AT ITER 328 NEW BEST:: SOT 362599 SOS 276018 HAS SOPS 275593 HAS SOUS 211002 HAS SOUPS 210577 WITH SCORE 210853.018
AT ITER 329 NEW BEST:: SOT 362599 SOS 275944 HAS SOPS 275519 HAS SOUS 211002 HAS SOUPS 210577 WITH SCORE 210852.944
AT ITER 334 NEW BEST:: SOT 362648 SOS 275566 HAS SOPS 275141 HAS SOUS 210837 HAS SOUPS 210412 WITH SCORE 210687.566
AT ITER 342 NEW BEST:: SOT 362648 SOS 275566 HAS SOPS 275141 HAS SOUS 210836 HAS SOUPS 210411 WITH SCORE 210686.566
AT ITER 346 NEW BEST:: SOT 362648 SOS 275838 HAS SOPS 275413 HAS SOUS 210824 HAS SOUPS 210399 WITH SCORE 210674.838
AT ITER 348 NEW BEST:: SOT 362648 SOS 275800 HAS SOPS 275375 HAS SOUS 210768 HAS SOUPS 210343 WITH SCORE 210618.8
AT ITER 350 NEW BEST:: SOT 362648 SOS 275800 HAS SOPS 275375 HAS SOUS 210660 HAS SOUPS 210235 WITH SCORE 210510.8
AT ITER 352 NEW BEST:: SOT 362810 SOS 275271 HAS SOPS 274846 HAS SOUS 210482 HAS SOUPS 210057 WITH SCORE 210332.271
AT ITER 358 NEW BEST:: SOT 362810 SOS 275246 HAS SOPS 274821 HAS SOUS 210468 HAS SOUPS 210043 WITH SCORE 210318.246
AT ITER 361 NEW BEST:: SOT 363067 SOS 273982 HAS SOPS 273557 HAS SOUS 210067 HAS SOUPS 209642 WITH SCORE 209915.982
AT ITER 367 NEW BEST:: SOT 363067 SOS 273857 HAS SOPS 273432 HAS SOUS 210049 HAS SOUPS 209624 WITH SCORE 209897.857
AT ITER 374 NEW BEST:: SOT 363067 SOS 273837 HAS SOPS 273412 HAS SOUS 209983 HAS SOUPS 209558 WITH SCORE 209831.837
AT ITER 377 NEW BEST:: SOT 363062 SOS 273839 HAS SOPS 273414 HAS SOUS 209981 HAS SOUPS 209556 WITH SCORE 209829.839
AT ITER 378 NEW BEST:: SOT 363062 SOS 273711 HAS SOPS 273286 HAS SOUS 209958 HAS SOUPS 209533 WITH SCORE 209806.711
AT ITER 379 NEW BEST:: SOT 273632 SOS 238761 HAS SOPS 238336 HAS SOUS 121358 HAS SOUPS 120933 WITH SCORE 121171.761
AT ITER 382 NEW BEST:: SOT 273632 SOS 238437 HAS SOPS 237660 HAS SOUS 121710 HAS SOUPS 120933 WITH SCORE 121171.437
AT ITER 384 NEW BEST:: SOT 268844 SOS 233737 HAS SOPS 232960 HAS SOUS 120324 HAS SOUPS 119547 WITH SCORE 119780.737
AT ITER 388 NEW BEST:: SOT 268746 SOS 233639 HAS SOPS 232862 HAS SOUS 120128 HAS SOUPS 119351 WITH SCORE 119584.639
AT ITER 389 NEW BEST:: SOT 268719 SOS 233612 HAS SOPS 232835 HAS SOUS 120074 HAS SOUPS 119297 WITH SCORE 119530.612
AT ITER 390 NEW BEST:: SOT 268489 SOS 233382 HAS SOPS 232605 HAS SOUS 119714 HAS SOUPS 118937 WITH SCORE 119170.382
AT ITER 392 NEW BEST:: SOT 263258 SOS 228151 HAS SOPS 227374 HAS SOUS 116227 HAS SOUPS 115450 WITH SCORE 115678.151
AT ITER 393 NEW BEST:: SOT 262678 SOS 227571 HAS SOPS 226794 HAS SOUS 115676 HAS SOUPS 114899 WITH SCORE 115126.571
AT ITER 398 NEW BEST:: SOT 262772 SOS 227209 HAS SOPS 226432 HAS SOUS 114144 HAS SOUPS 113367 WITH SCORE 113594.209
AT ITER 400 NEW BEST:: SOT 262553 SOS 226990 HAS SOPS 226213 HAS SOUS 113706 HAS SOUPS 112929 WITH SCORE 113155.99
AT ITER 408 NEW BEST:: SOT 262538 SOS 226975 HAS SOPS 226198 HAS SOUS 113676 HAS SOUPS 112899 WITH SCORE 113125.975
AT ITER 409 NEW BEST:: SOT 259757 SOS 224194 HAS SOPS 223417 HAS SOUS 110538 HAS SOUPS 109761 WITH SCORE 109985.194
AT ITER 412 NEW BEST:: SOT 259716 SOS 224153 HAS SOPS 223376 HAS SOUS 110456 HAS SOUPS 109679 WITH SCORE 109903.153
AT ITER 414 NEW BEST:: SOT 259512 SOS 223971 HAS SOPS 223194 HAS SOUS 110331 HAS SOUPS 109554 WITH SCORE 109777.971
AT ITER 417 NEW BEST:: SOT 259151 SOS 223579 HAS SOPS 222802 HAS SOUS 109632 HAS SOUPS 108855 WITH SCORE 109078.579
AT ITER 425 NEW BEST:: SOT 259048 SOS 223476 HAS SOPS 222699 HAS SOUS 109426 HAS SOUPS 108649 WITH SCORE 108872.476
AT ITER 426 NEW BEST:: SOT 259048 SOS 223272 HAS SOPS 222495 HAS SOUS 109426 HAS SOUPS 108649 WITH SCORE 108872.272
AT ITER 427 NEW BEST:: SOT 259066 SOS 223263 HAS SOPS 222419 HAS SOUS 109392 HAS SOUPS 108548 WITH SCORE 108771.263
AT ITER 431 NEW BEST:: SOT 259028 SOS 223225 HAS SOPS 222381 HAS SOUS 109316 HAS SOUPS 108472 WITH SCORE 108695.225
AT ITER 433 NEW BEST:: SOT 258807 SOS 223004 HAS SOPS 222160 HAS SOUS 109291 HAS SOUPS 108447 WITH SCORE 108670.004
AT ITER 436 NEW BEST:: SOT 258757 SOS 222954 HAS SOPS 222110 HAS SOUS 109191 HAS SOUPS 108347 WITH SCORE 108569.954
AT ITER 438 NEW BEST:: SOT 258770 SOS 222869 HAS SOPS 222025 HAS SOUS 109145 HAS SOUPS 108301 WITH SCORE 108523.869
AT ITER 443 NEW BEST:: SOT 256795 SOS 220894 HAS SOPS 220050 HAS SOUS 108306 HAS SOUPS 107462 WITH SCORE 107682.894
AT ITER 445 NEW BEST:: SOT 256698 SOS 220797 HAS SOPS 219953 HAS SOUS 108112 HAS SOUPS 107268 WITH SCORE 107488.797
AT ITER 448 NEW BEST:: SOT 256609 SOS 220708 HAS SOPS 219864 HAS SOUS 107934 HAS SOUPS 107090 WITH SCORE 107310.708
AT ITER 452 NEW BEST:: SOT 256802 SOS 220824 HAS SOPS 219980 HAS SOUS 107737 HAS SOUPS 106893 WITH SCORE 107113.824
AT ITER 463 NEW BEST:: SOT 256741 SOS 220763 HAS SOPS 219919 HAS SOUS 107615 HAS SOUPS 106771 WITH SCORE 106991.763
AT ITER 466 NEW BEST:: SOT 256741 SOS 220761 HAS SOPS 219917 HAS SOUS 107615 HAS SOUPS 106771 WITH SCORE 106991.761
AT ITER 473 NEW BEST:: SOT 256376 SOS 220540 HAS SOPS 219696 HAS SOUS 107576 HAS SOUPS 106732 WITH SCORE 106952.54
AT ITER 477 NEW BEST:: SOT 255585 SOS 219749 HAS SOPS 218905 HAS SOUS 107385 HAS SOUPS 106541 WITH SCORE 106760.749
AT ITER 478 NEW BEST:: SOT 255585 SOS 219749 HAS SOPS 218905 HAS SOUS 107375 HAS SOUPS 106531 WITH SCORE 106750.749
AT ITER 493 NEW BEST:: SOT 255578 SOS 219742 HAS SOPS 218898 HAS SOUS 107361 HAS SOUPS 106517 WITH SCORE 106736.742
AT ITER 496 NEW BEST:: SOT 255556 SOS 219720 HAS SOPS 218876 HAS SOUS 107317 HAS SOUPS 106473 WITH SCORE 106692.72
AT ITER 498 NEW BEST:: SOT 255871 SOS 219547 HAS SOPS 218781 HAS SOUS 107099 HAS SOUPS 106333 WITH SCORE 106552.547
AT ITER 500 NEW BEST:: SOT 255826 SOS 219502 HAS SOPS 218736 HAS SOUS 107053 HAS SOUPS 106287 WITH SCORE 106506.502
AT ITER 506 NEW BEST:: SOT 255723 SOS 219399 HAS SOPS 218633 HAS SOUS 106847 HAS SOUPS 106081 WITH SCORE 106300.399
AT ITER 508 NEW BEST:: SOT 255477 SOS 219153 HAS SOPS 218387 HAS SOUS 106355 HAS SOUPS 105589 WITH SCORE 105808.153
AT ITER 509 NEW BEST:: SOT 255382 SOS 219058 HAS SOPS 218292 HAS SOUS 106256 HAS SOUPS 105490 WITH SCORE 105709.058
AT ITER 511 NEW BEST:: SOT 255382 SOS 219052 HAS SOPS 218286 HAS SOUS 106256 HAS SOUPS 105490 WITH SCORE 105709.052
AT ITER 517 NEW BEST:: SOT 255165 SOS 218835 HAS SOPS 218069 HAS SOUS 106215 HAS SOUPS 105449 WITH SCORE 105667.835
AT ITER 519 NEW BEST:: SOT 255165 SOS 218835 HAS SOPS 218069 HAS SOUS 106207 HAS SOUPS 105441 WITH SCORE 105659.835
AT ITER 520 NEW BEST:: SOT 255148 SOS 218818 HAS SOPS 218052 HAS SOUS 106173 HAS SOUPS 105407 WITH SCORE 105625.818
AT ITER 522 NEW BEST:: SOT 255137 SOS 218807 HAS SOPS 218041 HAS SOUS 106151 HAS SOUPS 105385 WITH SCORE 105603.807
AT ITER 527 NEW BEST:: SOT 255109 SOS 218779 HAS SOPS 218013 HAS SOUS 106095 HAS SOUPS 105329 WITH SCORE 105547.779
AT ITER 528 NEW BEST:: SOT 255109 SOS 218779 HAS SOPS 218013 HAS SOUS 106093 HAS SOUPS 105327 WITH SCORE 105545.779
AT ITER 530 NEW BEST:: SOT 255108 SOS 218722 HAS SOPS 217956 HAS SOUS 106080 HAS SOUPS 105314 WITH SCORE 105532.722
AT ITER 532 NEW BEST:: SOT 254816 SOS 218400 HAS SOPS 217634 HAS SOUS 105492 HAS SOUPS 104726 WITH SCORE 104944.4
AT ITER 533 NEW BEST:: SOT 253070 SOS 216654 HAS SOPS 215888 HAS SOUS 104977 HAS SOUPS 104211 WITH SCORE 104427.654
AT ITER 534 NEW BEST:: SOT 252998 SOS 216582 HAS SOPS 215816 HAS SOUS 104833 HAS SOUPS 104067 WITH SCORE 104283.582
AT ITER 537 NEW BEST:: SOT 253123 SOS 216659 HAS SOPS 215893 HAS SOUS 104725 HAS SOUPS 103959 WITH SCORE 104175.659
AT ITER 538 NEW BEST:: SOT 253513 SOS 216884 HAS SOPS 216118 HAS SOUS 104513 HAS SOUPS 103747 WITH SCORE 103963.884
AT ITER 540 NEW BEST:: SOT 253460 SOS 216831 HAS SOPS 216065 HAS SOUS 104394 HAS SOUPS 103628 WITH SCORE 103844.831
AT ITER 541 NEW BEST:: SOT 253406 SOS 216777 HAS SOPS 216011 HAS SOUS 104286 HAS SOUPS 103520 WITH SCORE 103736.777
AT ITER 550 NEW BEST:: SOT 253326 SOS 216697 HAS SOPS 215931 HAS SOUS 104126 HAS SOUPS 103360 WITH SCORE 103576.697
AT ITER 553 NEW BEST:: SOT 253112 SOS 216483 HAS SOPS 215717 HAS SOUS 103698 HAS SOUPS 102932 WITH SCORE 103148.483
AT ITER 560 NEW BEST:: SOT 252859 SOS 216230 HAS SOPS 215464 HAS SOUS 103438 HAS SOUPS 102672 WITH SCORE 102888.23
AT ITER 562 NEW BEST:: SOT 252842 SOS 216213 HAS SOPS 215447 HAS SOUS 103404 HAS SOUPS 102638 WITH SCORE 102854.213
AT ITER 565 NEW BEST:: SOT 252811 SOS 216182 HAS SOPS 215416 HAS SOUS 103342 HAS SOUPS 102576 WITH SCORE 102792.182
AT ITER 580 NEW BEST:: SOT 252623 SOS 215994 HAS SOPS 215228 HAS SOUS 102966 HAS SOUPS 102200 WITH SCORE 102415.994
AT ITER 581 NEW BEST:: SOT 252603 SOS 215918 HAS SOPS 215057 HAS SOUS 103021 HAS SOUPS 102160 WITH SCORE 102375.918
AT ITER 587 NEW BEST:: SOT 252603 SOS 215650 HAS SOPS 214789 HAS SOUS 103021 HAS SOUPS 102160 WITH SCORE 102375.65
AT ITER 592 NEW BEST:: SOT 252595 SOS 215642 HAS SOPS 214781 HAS SOUS 103013 HAS SOUPS 102152 WITH SCORE 102367.642
AT ITER 603 NEW BEST:: SOT 252574 SOS 215621 HAS SOPS 214760 HAS SOUS 102971 HAS SOUPS 102110 WITH SCORE 102325.621
AT ITER 604 NEW BEST:: SOT 252567 SOS 215614 HAS SOPS 214753 HAS SOUS 102957 HAS SOUPS 102096 WITH SCORE 102311.614
AT ITER 607 NEW BEST:: SOT 252567 SOS 215609 HAS SOPS 214748 HAS SOUS 102957 HAS SOUPS 102096 WITH SCORE 102311.609
AT ITER 608 NEW BEST:: SOT 252527 SOS 215569 HAS SOPS 214708 HAS SOUS 102877 HAS SOUPS 102016 WITH SCORE 102231.569
AT ITER 609 NEW BEST:: SOT 252527 SOS 215569 HAS SOPS 214708 HAS SOUS 102817 HAS SOUPS 101956 WITH SCORE 102171.569
AT ITER 610 NEW BEST:: SOT 252497 SOS 215505 HAS SOPS 214644 HAS SOUS 102757 HAS SOUPS 101896 WITH SCORE 102111.505
AT ITER 611 NEW BEST:: SOT 247408 SOS 210416 HAS SOPS 209555 HAS SOUS 100858 HAS SOUPS 99997 WITH SCORE 100207.416
AT ITER 617 NEW BEST:: SOT 246253 SOS 209261 HAS SOPS 208400 HAS SOUS 100811 HAS SOUPS 99950 WITH SCORE 100159.261
AT ITER 618 NEW BEST:: SOT 246223 SOS 209231 HAS SOPS 208370 HAS SOUS 100766 HAS SOUPS 99905 WITH SCORE 100114.231
AT ITER 623 NEW BEST:: SOT 246182 SOS 209190 HAS SOPS 208329 HAS SOUS 100684 HAS SOUPS 99823 WITH SCORE 100032.19
AT ITER 628 NEW BEST:: SOT 246080 SOS 208769 HAS SOPS 207895 HAS SOUS 100493 HAS SOUPS 99619 WITH SCORE 99827.769
AT ITER 634 NEW BEST:: SOT 246505 SOS 209194 HAS SOPS 208320 HAS SOUS 99726 HAS SOUPS 98852 WITH SCORE 99061.194
AT ITER 635 NEW BEST:: SOT 241963 SOS 204828 HAS SOPS 203778 HAS SOUS 98750 HAS SOUPS 97700 WITH SCORE 97904.828
AT ITER 640 NEW BEST:: SOT 241963 SOS 204822 HAS SOPS 203772 HAS SOUS 98750 HAS SOUPS 97700 WITH SCORE 97904.822
AT ITER 642 NEW BEST:: SOT 242060 SOS 204775 HAS SOPS 203725 HAS SOUS 98677 HAS SOUPS 97627 WITH SCORE 97831.775
AT ITER 649 NEW BEST:: SOT 241936 SOS 204651 HAS SOPS 203601 HAS SOUS 98429 HAS SOUPS 97379 WITH SCORE 97583.651
AT ITER 652 NEW BEST:: SOT 239548 SOS 202263 HAS SOPS 201213 HAS SOUS 97861 HAS SOUPS 96811 WITH SCORE 97013.263
AT ITER 657 NEW BEST:: SOT 238648 SOS 201363 HAS SOPS 200313 HAS SOUS 97808 HAS SOUPS 96758 WITH SCORE 96959.363
AT ITER 662 NEW BEST:: SOT 238696 SOS 201411 HAS SOPS 200361 HAS SOUS 97772 HAS SOUPS 96722 WITH SCORE 96923.411
AT ITER 663 NEW BEST:: SOT 234646 SOS 197361 HAS SOPS 196311 HAS SOUS 95867 HAS SOUPS 94817 WITH SCORE 95014.361
AT ITER 665 NEW BEST:: SOT 234483 SOS 197198 HAS SOPS 196148 HAS SOUS 95713 HAS SOUPS 94663 WITH SCORE 94860.198
AT ITER 671 NEW BEST:: SOT 234483 SOS 197146 HAS SOPS 196096 HAS SOUS 95713 HAS SOUPS 94663 WITH SCORE 94860.146
AT ITER 673 NEW BEST:: SOT 234483 SOS 197146 HAS SOPS 196096 HAS SOUS 95627 HAS SOUPS 94577 WITH SCORE 94774.146
AT ITER 679 NEW BEST:: SOT 234484 SOS 197134 HAS SOPS 196084 HAS SOUS 95623 HAS SOUPS 94573 WITH SCORE 94770.134
AT ITER 684 NEW BEST:: SOT 234484 SOS 197128 HAS SOPS 196078 HAS SOUS 95623 HAS SOUPS 94573 WITH SCORE 94770.128
AT ITER 685 NEW BEST:: SOT 234472 SOS 197116 HAS SOPS 196066 HAS SOUS 95599 HAS SOUPS 94549 WITH SCORE 94746.116
AT ITER 688 NEW BEST:: SOT 232803 SOS 195596 HAS SOPS 194397 HAS SOUS 95488 HAS SOUPS 94289 WITH SCORE 94484.596
AT ITER 689 NEW BEST:: SOT 232718 SOS 195511 HAS SOPS 194312 HAS SOUS 95318 HAS SOUPS 94119 WITH SCORE 94314.511
AT ITER 696 NEW BEST:: SOT 232704 SOS 195497 HAS SOPS 194298 HAS SOUS 95290 HAS SOUPS 94091 WITH SCORE 94286.497
AT ITER 700 NEW BEST:: SOT 233201 SOS 195880 HAS SOPS 194624 HAS SOUS 95325 HAS SOUPS 94069 WITH SCORE 94264.88
AT ITER 702 NEW BEST:: SOT 233006 SOS 195428 HAS SOPS 194095 HAS SOUS 95012 HAS SOUPS 93679 WITH SCORE 93874.428
AT ITER 704 NEW BEST:: SOT 232032 SOS 194800 HAS SOPS 193467 HAS SOUS 94970 HAS SOUPS 93637 WITH SCORE 93831.8
AT ITER 712 NEW BEST:: SOT 232007 SOS 194775 HAS SOPS 193442 HAS SOUS 94920 HAS SOUPS 93587 WITH SCORE 93781.775
AT ITER 717 NEW BEST:: SOT 232006 SOS 194774 HAS SOPS 193441 HAS SOUS 94918 HAS SOUPS 93585 WITH SCORE 93779.774
AT ITER 719 NEW BEST:: SOT 231950 SOS 194718 HAS SOPS 193385 HAS SOUS 94830 HAS SOUPS 93497 WITH SCORE 93691.718
AT ITER 721 NEW BEST:: SOT 231894 SOS 194584 HAS SOPS 193251 HAS SOUS 94803 HAS SOUPS 93470 WITH SCORE 93664.584
AT ITER 742 NEW BEST:: SOT 231848 SOS 194543 HAS SOPS 193210 HAS SOUS 94711 HAS SOUPS 93378 WITH SCORE 93572.543
AT ITER 744 NEW BEST:: SOT 231757 SOS 194452 HAS SOPS 193119 HAS SOUS 94529 HAS SOUPS 93196 WITH SCORE 93390.452
AT ITER 747 NEW BEST:: SOT 232561 SOS 195040 HAS SOPS 193707 HAS SOUS 94239 HAS SOUPS 92906 WITH SCORE 93101.04
AT ITER 748 NEW BEST:: SOT 231889 SOS 194368 HAS SOPS 193035 HAS SOUS 93948 HAS SOUPS 92615 WITH SCORE 92809.368
AT ITER 749 NEW BEST:: SOT 231877 SOS 194356 HAS SOPS 193023 HAS SOUS 93924 HAS SOUPS 92591 WITH SCORE 92785.356
AT ITER 759 NEW BEST:: SOT 231804 SOS 194283 HAS SOPS 192950 HAS SOUS 93778 HAS SOUPS 92445 WITH SCORE 92639.283
AT ITER 765 NEW BEST:: SOT 233416 SOS 195672 HAS SOPS 194339 HAS SOUS 93223 HAS SOUPS 91890 WITH SCORE 92085.672
AT ITER 766 NEW BEST:: SOT 233364 SOS 195620 HAS SOPS 194287 HAS SOUS 93192 HAS SOUPS 91859 WITH SCORE 92054.62
AT ITER 769 NEW BEST:: SOT 233672 SOS 195610 HAS SOPS 194277 HAS SOUS 92734 HAS SOUPS 91401 WITH SCORE 91596.61
AT ITER 771 NEW BEST:: SOT 235932 SOS 197703 HAS SOPS 196370 HAS SOUS 91839 HAS SOUPS 90506 WITH SCORE 90703.703
AT ITER 773 NEW BEST:: SOT 235930 SOS 197701 HAS SOPS 196368 HAS SOUS 91835 HAS SOUPS 90502 WITH SCORE 90699.701
AT ITER 775 NEW BEST:: SOT 235917 SOS 197688 HAS SOPS 196355 HAS SOUS 91809 HAS SOUPS 90476 WITH SCORE 90673.688
AT ITER 777 NEW BEST:: SOT 235905 SOS 197159 HAS SOPS 195826 HAS SOUS 91701 HAS SOUPS 90368 WITH SCORE 90565.159
AT ITER 784 NEW BEST:: SOT 236542 SOS 197745 HAS SOPS 196460 HAS SOUS 90712 HAS SOUPS 89427 WITH SCORE 89624.745
AT ITER 789 NEW BEST:: SOT 236308 SOS 197511 HAS SOPS 196226 HAS SOUS 90244 HAS SOUPS 88959 WITH SCORE 89156.511
AT ITER 793 NEW BEST:: SOT 236278 SOS 197481 HAS SOPS 196196 HAS SOUS 90184 HAS SOUPS 88899 WITH SCORE 89096.481
AT ITER 794 NEW BEST:: SOT 236188 SOS 197391 HAS SOPS 196106 HAS SOUS 90129 HAS SOUPS 88844 WITH SCORE 89041.391
AT ITER 796 NEW BEST:: SOT 236153 SOS 197356 HAS SOPS 196071 HAS SOUS 90059 HAS SOUPS 88774 WITH SCORE 88971.356
AT ITER 803 NEW BEST:: SOT 236343 SOS 197508 HAS SOPS 196223 HAS SOUS 89886 HAS SOUPS 88601 WITH SCORE 88798.508
AT ITER 808 NEW BEST:: SOT 233614 SOS 194779 HAS SOPS 193494 HAS SOUS 88083 HAS SOUPS 86798 WITH SCORE 86992.779
AT ITER 839 NEW BEST:: SOT 233614 SOS 194766 HAS SOPS 193468 HAS SOUS 88096 HAS SOUPS 86798 WITH SCORE 86992.766
AT ITER 854 NEW BEST:: SOT 232151 SOS 193349 HAS SOPS 192051 HAS SOUS 87849 HAS SOUPS 86551 WITH SCORE 86744.349
AT ITER 864 NEW BEST:: SOT 232884 SOS 193975 HAS SOPS 192677 HAS SOUS 87436 HAS SOUPS 86138 WITH SCORE 86331.975
AT ITER 871 NEW BEST:: SOT 232826 SOS 193915 HAS SOPS 192617 HAS SOUS 87351 HAS SOUPS 86053 WITH SCORE 86246.915
AT ITER 873 NEW BEST:: SOT 232825 SOS 193914 HAS SOPS 192616 HAS SOUS 87349 HAS SOUPS 86051 WITH SCORE 86244.914
AT ITER 875 NEW BEST:: SOT 232758 SOS 193847 HAS SOPS 192549 HAS SOUS 87215 HAS SOUPS 85917 WITH SCORE 86110.847
AT ITER 879 NEW BEST:: SOT 232630 SOS 193719 HAS SOPS 192421 HAS SOUS 86959 HAS SOUPS 85661 WITH SCORE 85854.719
AT ITER 882 NEW BEST:: SOT 232526 SOS 193615 HAS SOPS 192317 HAS SOUS 86751 HAS SOUPS 85453 WITH SCORE 85646.615
AT ITER 890 NEW BEST:: SOT 232360 SOS 193361 HAS SOPS 191985 HAS SOUS 86497 HAS SOUPS 85121 WITH SCORE 85314.361
AT ITER 891 NEW BEST:: SOT 232340 SOS 193341 HAS SOPS 191965 HAS SOUS 86477 HAS SOUPS 85101 WITH SCORE 85294.341
AT ITER 892 NEW BEST:: SOT 232257 SOS 193258 HAS SOPS 191882 HAS SOUS 86339 HAS SOUPS 84963 WITH SCORE 85156.258
AT ITER 897 NEW BEST:: SOT 232163 SOS 193164 HAS SOPS 191788 HAS SOUS 86151 HAS SOUPS 84775 WITH SCORE 84968.164
AT ITER 899 NEW BEST:: SOT 232059 SOS 192639 HAS SOPS 191058 HAS SOUS 85995 HAS SOUPS 84414 WITH SCORE 84606.639
AT ITER 909 NEW BEST:: SOT 231286 SOS 191866 HAS SOPS 190285 HAS SOUS 85789 HAS SOUPS 84208 WITH SCORE 84399.866
AT ITER 910 NEW BEST:: SOT 231174 SOS 191754 HAS SOPS 190173 HAS SOUS 85565 HAS SOUPS 83984 WITH SCORE 84175.754
AT ITER 917 NEW BEST:: SOT 231073 SOS 191653 HAS SOPS 190072 HAS SOUS 85425 HAS SOUPS 83844 WITH SCORE 84035.653
AT ITER 927 NEW BEST:: SOT 230910 SOS 191490 HAS SOPS 189909 HAS SOUS 85099 HAS SOUPS 83518 WITH SCORE 83709.49
AT ITER 928 NEW BEST:: SOT 230768 SOS 191428 HAS SOPS 189847 HAS SOUS 85043 HAS SOUPS 83462 WITH SCORE 83653.428
AT ITER 933 NEW BEST:: SOT 230739 SOS 191399 HAS SOPS 189818 HAS SOUS 84985 HAS SOUPS 83404 WITH SCORE 83595.399
AT ITER 934 NEW BEST:: SOT 230681 SOS 191341 HAS SOPS 189760 HAS SOUS 84927 HAS SOUPS 83346 WITH SCORE 83537.341
AT ITER 935 NEW BEST:: SOT 230440 SOS 191100 HAS SOPS 189519 HAS SOUS 84445 HAS SOUPS 82864 WITH SCORE 83055.1
AT ITER 948 NEW BEST:: SOT 230868 SOS 191435 HAS SOPS 189854 HAS SOUS 84127 HAS SOUPS 82546 WITH SCORE 82737.435
AT ITER 952 NEW BEST:: SOT 232189 SOS 192488 HAS SOPS 190907 HAS SOUS 82287 HAS SOUPS 80706 WITH SCORE 80898.488
AT ITER 956 NEW BEST:: SOT 232189 SOS 192456 HAS SOPS 190875 HAS SOUS 82287 HAS SOUPS 80706 WITH SCORE 80898.456
AT ITER 961 NEW BEST:: SOT 232137 SOS 192352 HAS SOPS 190719 HAS SOUS 82235 HAS SOUPS 80602 WITH SCORE 80794.352
AT ITER 962 NEW BEST:: SOT 232007 SOS 192222 HAS SOPS 190589 HAS SOUS 81975 HAS SOUPS 80342 WITH SCORE 80534.222
AT ITER 963 NEW BEST:: SOT 231886 SOS 192101 HAS SOPS 190468 HAS SOUS 81751 HAS SOUPS 80118 WITH SCORE 80310.101
AT ITER 964 NEW BEST:: SOT 231840 SOS 192055 HAS SOPS 190422 HAS SOUS 81705 HAS SOUPS 80072 WITH SCORE 80264.055
AT ITER 967 NEW BEST:: SOT 231688 SOS 191903 HAS SOPS 190270 HAS SOUS 81421 HAS SOUPS 79788 WITH SCORE 79979.903
AT ITER 977 NEW BEST:: SOT 231688 SOS 191874 HAS SOPS 190212 HAS SOUS 81450 HAS SOUPS 79788 WITH SCORE 79979.874
AT ITER 980 NEW BEST:: SOT 231688 SOS 191464 HAS SOPS 189815 HAS SOUS 81418 HAS SOUPS 79769 WITH SCORE 79960.464
AT ITER 988 NEW BEST:: SOT 231671 SOS 191447 HAS SOPS 189798 HAS SOUS 81384 HAS SOUPS 79735 WITH SCORE 79926.447
AT ITER 994 NEW BEST:: SOT 231598 SOS 191374 HAS SOPS 189725 HAS SOUS 81238 HAS SOUPS 79589 WITH SCORE 79780.374
AT ITER 996 NEW BEST:: SOT 231584 SOS 191360 HAS SOPS 189711 HAS SOUS 81210 HAS SOUPS 79561 WITH SCORE 79752.36
AT ITER 1003 NEW BEST:: SOT 231304 SOS 191452 HAS SOPS 189729 HAS SOUS 81261 HAS SOUPS 79538 WITH SCORE 79729.452
AT ITER 1006 NEW BEST:: SOT 231215 SOS 191363 HAS SOPS 189640 HAS SOUS 81083 HAS SOUPS 79360 WITH SCORE 79551.363
AT ITER 1007 NEW BEST:: SOT 231420 SOS 191568 HAS SOPS 189845 HAS SOUS 81051 HAS SOUPS 79328 WITH SCORE 79519.568
AT ITER 1014 NEW BEST:: SOT 231313 SOS 191413 HAS SOPS 189690 HAS SOUS 80837 HAS SOUPS 79114 WITH SCORE 79305.413
AT ITER 1017 NEW BEST:: SOT 231310 SOS 191410 HAS SOPS 189687 HAS SOUS 80831 HAS SOUPS 79108 WITH SCORE 79299.41
AT ITER 1023 NEW BEST:: SOT 230172 SOS 190322 HAS SOPS 188549 HAS SOUS 80435 HAS SOUPS 78662 WITH SCORE 78852.322
AT ITER 1024 NEW BEST:: SOT 230007 SOS 190157 HAS SOPS 188384 HAS SOUS 80105 HAS SOUPS 78332 WITH SCORE 78522.157
AT ITER 1028 NEW BEST:: SOT 229871 SOS 190021 HAS SOPS 188248 HAS SOUS 79876 HAS SOUPS 78103 WITH SCORE 78293.021
AT ITER 1033 NEW BEST:: SOT 229798 SOS 189948 HAS SOPS 188175 HAS SOUS 79730 HAS SOUPS 77957 WITH SCORE 78146.948
AT ITER 1038 NEW BEST:: SOT 229772 SOS 189922 HAS SOPS 188149 HAS SOUS 79678 HAS SOUPS 77905 WITH SCORE 78094.922
AT ITER 1056 NEW BEST:: SOT 229747 SOS 189897 HAS SOPS 188124 HAS SOUS 79628 HAS SOUPS 77855 WITH SCORE 78044.897
AT ITER 1057 NEW BEST:: SOT 229735 SOS 189885 HAS SOPS 188112 HAS SOUS 79604 HAS SOUPS 77831 WITH SCORE 78020.885
AT ITER 1059 NEW BEST:: SOT 229716 SOS 189866 HAS SOPS 188093 HAS SOUS 79566 HAS SOUPS 77793 WITH SCORE 77982.866
AT ITER 1074 NEW BEST:: SOT 229670 SOS 189820 HAS SOPS 188047 HAS SOUS 79474 HAS SOUPS 77701 WITH SCORE 77890.82
AT ITER 1076 NEW BEST:: SOT 228944 SOS 189094 HAS SOPS 187321 HAS SOUS 79448 HAS SOUPS 77675 WITH SCORE 77864.094
AT ITER 1085 NEW BEST:: SOT 228936 SOS 189086 HAS SOPS 187313 HAS SOUS 79432 HAS SOUPS 77659 WITH SCORE 77848.086
AT ITER 1089 NEW BEST:: SOT 228687 SOS 188837 HAS SOPS 187064 HAS SOUS 78934 HAS SOUPS 77161 WITH SCORE 77349.837
AT ITER 1096 NEW BEST:: SOT 228674 SOS 188824 HAS SOPS 187051 HAS SOUS 78908 HAS SOUPS 77135 WITH SCORE 77323.824
AT ITER 1100 NEW BEST:: SOT 228460 SOS 188610 HAS SOPS 186837 HAS SOUS 78533 HAS SOUPS 76760 WITH SCORE 76948.61
AT ITER 1106 NEW BEST:: SOT 228453 SOS 188603 HAS SOPS 186830 HAS SOUS 78519 HAS SOUPS 76746 WITH SCORE 76934.603
AT ITER 1109 NEW BEST:: SOT 228408 SOS 188558 HAS SOPS 186785 HAS SOUS 78429 HAS SOUPS 76656 WITH SCORE 76844.558
AT ITER 1111 NEW BEST:: SOT 228361 SOS 188478 HAS SOPS 186672 HAS SOUS 78368 HAS SOUPS 76562 WITH SCORE 76750.478
AT ITER 1119 NEW BEST:: SOT 228384 SOS 188496 HAS SOPS 186690 HAS SOUS 78357 HAS SOUPS 76551 WITH SCORE 76739.496
AT ITER 1120 NEW BEST:: SOT 228340 SOS 188452 HAS SOPS 186646 HAS SOUS 78269 HAS SOUPS 76463 WITH SCORE 76651.452
AT ITER 1124 NEW BEST:: SOT 228319 SOS 188431 HAS SOPS 186625 HAS SOUS 78227 HAS SOUPS 76421 WITH SCORE 76609.431
AT ITER 1125 NEW BEST:: SOT 228341 SOS 187690 HAS SOPS 185943 HAS SOUS 77962 HAS SOUPS 76215 WITH SCORE 76402.69
AT ITER 1127 NEW BEST:: SOT 228341 SOS 187400 HAS SOPS 185653 HAS SOUS 77962 HAS SOUPS 76215 WITH SCORE 76402.4
AT ITER 1130 NEW BEST:: SOT 228271 SOS 187330 HAS SOPS 185583 HAS SOUS 77822 HAS SOUPS 76075 WITH SCORE 76262.33
AT ITER 1132 NEW BEST:: SOT 228259 SOS 187318 HAS SOPS 185571 HAS SOUS 77798 HAS SOUPS 76051 WITH SCORE 76238.318
AT ITER 1136 NEW BEST:: SOT 228903 SOS 187851 HAS SOPS 186215 HAS SOUS 77341 HAS SOUPS 75705 WITH SCORE 75892.851
AT ITER 1141 NEW BEST:: SOT 228893 SOS 187841 HAS SOPS 186205 HAS SOUS 77321 HAS SOUPS 75685 WITH SCORE 75872.841
AT ITER 1150 NEW BEST:: SOT 229315 SOS 188263 HAS SOPS 186627 HAS SOUS 77207 HAS SOUPS 75571 WITH SCORE 75759.263
AT ITER 1159 NEW BEST:: SOT 229269 SOS 188217 HAS SOPS 186581 HAS SOUS 77115 HAS SOUPS 75479 WITH SCORE 75667.217
AT ITER 1166 NEW BEST:: SOT 229220 SOS 188188 HAS SOPS 186552 HAS SOUS 77017 HAS SOUPS 75381 WITH SCORE 75569.188
AT ITER 1172 NEW BEST:: SOT 229175 SOS 188143 HAS SOPS 186507 HAS SOUS 76927 HAS SOUPS 75291 WITH SCORE 75479.143
AT ITER 1173 NEW BEST:: SOT 229195 SOS 188163 HAS SOPS 186527 HAS SOUS 76890 HAS SOUPS 75254 WITH SCORE 75442.163
AT ITER 1175 NEW BEST:: SOT 229069 SOS 188037 HAS SOPS 186401 HAS SOUS 76638 HAS SOUPS 75002 WITH SCORE 75190.037
AT ITER 1176 NEW BEST:: SOT 229054 SOS 187981 HAS SOPS 186356 HAS SOUS 76595 HAS SOUPS 74970 WITH SCORE 75157.981
AT ITER 1178 NEW BEST:: SOT 229484 SOS 188366 HAS SOPS 186741 HAS SOUS 76587 HAS SOUPS 74962 WITH SCORE 75150.366
AT ITER 1192 NEW BEST:: SOT 229452 SOS 188334 HAS SOPS 186709 HAS SOUS 76523 HAS SOUPS 74898 WITH SCORE 75086.334
AT ITER 1194 NEW BEST:: SOT 229368 SOS 188260 HAS SOPS 186625 HAS SOUS 76529 HAS SOUPS 74894 WITH SCORE 75082.26
AT ITER 1196 NEW BEST:: SOT 229375 SOS 188180 HAS SOPS 186545 HAS SOUS 76522 HAS SOUPS 74887 WITH SCORE 75075.18
AT ITER 1199 NEW BEST:: SOT 229355 SOS 188160 HAS SOPS 186525 HAS SOUS 76482 HAS SOUPS 74847 WITH SCORE 75035.16
AT ITER 1204 NEW BEST:: SOT 229352 SOS 188157 HAS SOPS 186522 HAS SOUS 76476 HAS SOUPS 74841 WITH SCORE 75029.157
AT ITER 1208 NEW BEST:: SOT 229261 SOS 188066 HAS SOPS 186431 HAS SOUS 76294 HAS SOUPS 74659 WITH SCORE 74847.066
AT ITER 1215 NEW BEST:: SOT 229197 SOS 188002 HAS SOPS 186367 HAS SOUS 76166 HAS SOUPS 74531 WITH SCORE 74719.002
AT ITER 1222 NEW BEST:: SOT 229142 SOS 187947 HAS SOPS 186312 HAS SOUS 76056 HAS SOUPS 74421 WITH SCORE 74608.947
AT ITER 1227 NEW BEST:: SOT 229012 SOS 187817 HAS SOPS 186182 HAS SOUS 75830 HAS SOUPS 74195 WITH SCORE 74382.817
AT ITER 1230 NEW BEST:: SOT 228864 SOS 187669 HAS SOPS 186034 HAS SOUS 75534 HAS SOUPS 73899 WITH SCORE 74086.669
AT ITER 1235 NEW BEST:: SOT 228718 SOS 187589 HAS SOPS 185954 HAS SOUS 75150 HAS SOUPS 73515 WITH SCORE 73702.589
AT ITER 1236 NEW BEST:: SOT 228671 SOS 187542 HAS SOPS 185907 HAS SOUS 75056 HAS SOUPS 73421 WITH SCORE 73608.542
AT ITER 1244 NEW BEST:: SOT 228654 SOS 187525 HAS SOPS 185890 HAS SOUS 75022 HAS SOUPS 73387 WITH SCORE 73574.525
AT ITER 1257 NEW BEST:: SOT 228654 SOS 187505 HAS SOPS 185870 HAS SOUS 75022 HAS SOUPS 73387 WITH SCORE 73574.505
AT ITER 1258 NEW BEST:: SOT 228617 SOS 187468 HAS SOPS 185833 HAS SOUS 74948 HAS SOUPS 73313 WITH SCORE 73500.468
AT ITER 1263 NEW BEST:: SOT 228613 SOS 187464 HAS SOPS 185829 HAS SOUS 74940 HAS SOUPS 73305 WITH SCORE 73492.464
AT ITER 1275 NEW BEST:: SOT 228573 SOS 187424 HAS SOPS 185789 HAS SOUS 74860 HAS SOUPS 73225 WITH SCORE 73412.424
AT ITER 1281 NEW BEST:: SOT 228489 SOS 187340 HAS SOPS 185705 HAS SOUS 74692 HAS SOUPS 73057 WITH SCORE 73244.34
AT ITER 1287 NEW BEST:: SOT 228473 SOS 187324 HAS SOPS 185689 HAS SOUS 74660 HAS SOUPS 73025 WITH SCORE 73212.324
AT ITER 1288 NEW BEST:: SOT 228437 SOS 187288 HAS SOPS 185653 HAS SOUS 74588 HAS SOUPS 72953 WITH SCORE 73140.288
AT ITER 1296 NEW BEST:: SOT 228928 SOS 187105 HAS SOPS 185489 HAS SOUS 74423 HAS SOUPS 72807 WITH SCORE 72994.105
AT ITER 1304 NEW BEST:: SOT 228928 SOS 187082 HAS SOPS 185466 HAS SOUS 74423 HAS SOUPS 72807 WITH SCORE 72994.082
AT ITER 1310 NEW BEST:: SOT 228928 SOS 187082 HAS SOPS 185466 HAS SOUS 74410 HAS SOUPS 72794 WITH SCORE 72981.082
AT ITER 1313 NEW BEST:: SOT 228906 SOS 187060 HAS SOPS 185444 HAS SOUS 74388 HAS SOUPS 72772 WITH SCORE 72959.06
AT ITER 1322 NEW BEST:: SOT 228822 SOS 186976 HAS SOPS 185360 HAS SOUS 74220 HAS SOUPS 72604 WITH SCORE 72790.976
AT ITER 1327 NEW BEST:: SOT 228784 SOS 186938 HAS SOPS 185322 HAS SOUS 74144 HAS SOUPS 72528 WITH SCORE 72714.938
AT ITER 1367 NEW BEST:: SOT 228766 SOS 186920 HAS SOPS 185304 HAS SOUS 74108 HAS SOUPS 72492 WITH SCORE 72678.92
AT ITER 1371 NEW BEST:: SOT 228474 SOS 186632 HAS SOPS 185016 HAS SOUS 73947 HAS SOUPS 72331 WITH SCORE 72517.632
AT ITER 1373 NEW BEST:: SOT 228298 SOS 186456 HAS SOPS 184840 HAS SOUS 73595 HAS SOUPS 71979 WITH SCORE 72165.456
AT ITER 1377 NEW BEST:: SOT 228304 SOS 186392 HAS SOPS 184776 HAS SOUS 73583 HAS SOUPS 71967 WITH SCORE 72153.392
AT ITER 1393 NEW BEST:: SOT 228250 SOS 186390 HAS SOPS 184774 HAS SOUS 73475 HAS SOUPS 71859 WITH SCORE 72045.39
AT ITER 1417 NEW BEST:: SOT 228212 SOS 186344 HAS SOPS 184728 HAS SOUS 73399 HAS SOUPS 71783 WITH SCORE 71969.344
AT ITER 1418 NEW BEST:: SOT 228036 SOS 186168 HAS SOPS 184552 HAS SOUS 73038 HAS SOUPS 71422 WITH SCORE 71608.168
AT ITER 1427 NEW BEST:: SOT 228070 SOS 186202 HAS SOPS 184586 HAS SOUS 73013 HAS SOUPS 71397 WITH SCORE 71583.202
AT ITER 1436 NEW BEST:: SOT 227845 SOS 185977 HAS SOPS 184361 HAS SOUS 72563 HAS SOUPS 70947 WITH SCORE 71132.977
AT ITER 1447 NEW BEST:: SOT 227819 SOS 185951 HAS SOPS 184335 HAS SOUS 72511 HAS SOUPS 70895 WITH SCORE 71080.951
AT ITER 1448 NEW BEST:: SOT 227733 SOS 185865 HAS SOPS 184249 HAS SOUS 72339 HAS SOUPS 70723 WITH SCORE 70908.865
AT ITER 1450 NEW BEST:: SOT 227596 SOS 185728 HAS SOPS 184112 HAS SOUS 72065 HAS SOUPS 70449 WITH SCORE 70634.728
AT ITER 1460 NEW BEST:: SOT 227582 SOS 186074 HAS SOPS 184508 HAS SOUS 72012 HAS SOUPS 70446 WITH SCORE 70632.074
AT ITER 1467 NEW BEST:: SOT 227508 SOS 185980 HAS SOPS 184414 HAS SOUS 71864 HAS SOUPS 70298 WITH SCORE 70483.98
AT ITER 1477 NEW BEST:: SOT 227501 SOS 185973 HAS SOPS 184407 HAS SOUS 71850 HAS SOUPS 70284 WITH SCORE 70469.973
AT ITER 1483 NEW BEST:: SOT 227474 SOS 185895 HAS SOPS 184278 HAS SOUS 71847 HAS SOUPS 70230 WITH SCORE 70415.895
AT ITER 1490 NEW BEST:: SOT 227191 SOS 185612 HAS SOPS 183995 HAS SOUS 71281 HAS SOUPS 69664 WITH SCORE 69849.612
AT ITER 1496 NEW BEST:: SOT 227187 SOS 185557 HAS SOPS 183837 HAS SOUS 71371 HAS SOUPS 69651 WITH SCORE 69836.557
AT ITER 1500 NEW BEST:: SOT 227181 SOS 185551 HAS SOPS 183831 HAS SOUS 71359 HAS SOUPS 69639 WITH SCORE 69824.551
AT ITER 1506 NEW BEST:: SOT 227178 SOS 185548 HAS SOPS 183828 HAS SOUS 71353 HAS SOUPS 69633 WITH SCORE 69818.548
AT ITER 1510 NEW BEST:: SOT 227175 SOS 185545 HAS SOPS 183825 HAS SOUS 71347 HAS SOUPS 69627 WITH SCORE 69812.545
AT ITER 1511 NEW BEST:: SOT 227087 SOS 185458 HAS SOPS 183738 HAS SOUS 71171 HAS SOUPS 69451 WITH SCORE 69636.458
AT ITER 1514 NEW BEST:: SOT 227062 SOS 185433 HAS SOPS 183713 HAS SOUS 71121 HAS SOUPS 69401 WITH SCORE 69586.433
AT ITER 1516 NEW BEST:: SOT 227022 SOS 185393 HAS SOPS 183673 HAS SOUS 71041 HAS SOUPS 69321 WITH SCORE 69506.393
AT ITER 1521 NEW BEST:: SOT 226713 SOS 185109 HAS SOPS 183414 HAS SOUS 70918 HAS SOUPS 69223 WITH SCORE 69408.109
AT ITER 1532 NEW BEST:: SOT 226698 SOS 184954 HAS SOPS 183119 HAS SOUS 71028 HAS SOUPS 69193 WITH SCORE 69377.954
AT ITER 1535 NEW BEST:: SOT 226698 SOS 184946 HAS SOPS 183111 HAS SOUS 71028 HAS SOUPS 69193 WITH SCORE 69377.946
AT ITER 1537 NEW BEST:: SOT 226695 SOS 184943 HAS SOPS 183108 HAS SOUS 71022 HAS SOUPS 69187 WITH SCORE 69371.943
AT ITER 1551 NEW BEST:: SOT 226686 SOS 184934 HAS SOPS 183099 HAS SOUS 71004 HAS SOUPS 69169 WITH SCORE 69353.934
AT ITER 1559 NEW BEST:: SOT 226624 SOS 184872 HAS SOPS 183037 HAS SOUS 70880 HAS SOUPS 69045 WITH SCORE 69229.872
AT ITER 1578 NEW BEST:: SOT 226622 SOS 184870 HAS SOPS 183035 HAS SOUS 70876 HAS SOUPS 69041 WITH SCORE 69225.87
AT ITER 1582 NEW BEST:: SOT 226600 SOS 184848 HAS SOPS 183013 HAS SOUS 70832 HAS SOUPS 68997 WITH SCORE 69181.848
AT ITER 1587 NEW BEST:: SOT 226593 SOS 184875 HAS SOPS 183040 HAS SOUS 70818 HAS SOUPS 68983 WITH SCORE 69167.875
AT ITER 1592 NEW BEST:: SOT 226550 SOS 184832 HAS SOPS 182997 HAS SOUS 70732 HAS SOUPS 68897 WITH SCORE 69081.832
AT ITER 1597 NEW BEST:: SOT 226442 SOS 184738 HAS SOPS 182889 HAS SOUS 70726 HAS SOUPS 68877 WITH SCORE 69061.738
AT ITER 1617 NEW BEST:: SOT 226405 SOS 184701 HAS SOPS 182852 HAS SOUS 70652 HAS SOUPS 68803 WITH SCORE 68987.701
AT ITER 1628 NEW BEST:: SOT 226333 SOS 184629 HAS SOPS 182780 HAS SOUS 70508 HAS SOUPS 68659 WITH SCORE 68843.629
AT ITER 1630 NEW BEST:: SOT 225919 SOS 184215 HAS SOPS 182366 HAS SOUS 70418 HAS SOUPS 68569 WITH SCORE 68753.215
AT ITER 1644 NEW BEST:: SOT 225856 SOS 184152 HAS SOPS 182303 HAS SOUS 70292 HAS SOUPS 68443 WITH SCORE 68627.152
AT ITER 1669 NEW BEST:: SOT 225757 SOS 184053 HAS SOPS 182204 HAS SOUS 70094 HAS SOUPS 68245 WITH SCORE 68429.053
AT ITER 1692 NEW BEST:: SOT 225701 SOS 183997 HAS SOPS 182148 HAS SOUS 69982 HAS SOUPS 68133 WITH SCORE 68316.997
AT ITER 1696 NEW BEST:: SOT 225528 SOS 183824 HAS SOPS 181975 HAS SOUS 69636 HAS SOUPS 67787 WITH SCORE 67970.824
AT ITER 1708 NEW BEST:: SOT 225201 SOS 183497 HAS SOPS 181648 HAS SOUS 68982 HAS SOUPS 67133 WITH SCORE 67316.497
AT ITER 1719 NEW BEST:: SOT 225106 SOS 183402 HAS SOPS 181553 HAS SOUS 68792 HAS SOUPS 66943 WITH SCORE 67126.402
AT ITER 1730 NEW BEST:: SOT 225016 SOS 183312 HAS SOPS 181463 HAS SOUS 68612 HAS SOUPS 66763 WITH SCORE 66946.312
AT ITER 1737 NEW BEST:: SOT 225001 SOS 183297 HAS SOPS 181448 HAS SOUS 68582 HAS SOUPS 66733 WITH SCORE 66916.297
AT ITER 1749 NEW BEST:: SOT 224694 SOS 182990 HAS SOPS 181141 HAS SOUS 67968 HAS SOUPS 66119 WITH SCORE 66301.99
AT ITER 1762 NEW BEST:: SOT 224682 SOS 182978 HAS SOPS 181129 HAS SOUS 67944 HAS SOUPS 66095 WITH SCORE 66277.978
AT ITER 1763 NEW BEST:: SOT 224540 SOS 182836 HAS SOPS 180987 HAS SOUS 67660 HAS SOUPS 65811 WITH SCORE 65993.836
AT ITER 1789 NEW BEST:: SOT 224540 SOS 182836 HAS SOPS 180987 HAS SOUS 67624 HAS SOUPS 65775 WITH SCORE 65957.836
AT ITER 1795 NEW BEST:: SOT 224485 SOS 182781 HAS SOPS 180932 HAS SOUS 67514 HAS SOUPS 65665 WITH SCORE 65847.781
AT ITER 1800 NEW BEST:: SOT 224464 SOS 182759 HAS SOPS 180910 HAS SOUS 67472 HAS SOUPS 65623 WITH SCORE 65805.759
AT ITER 1806 NEW BEST:: SOT 224322 SOS 182609 HAS SOPS 180760 HAS SOUS 67188 HAS SOUPS 65339 WITH SCORE 65521.609
AT ITER 1813 NEW BEST:: SOT 224240 SOS 182527 HAS SOPS 180678 HAS SOUS 67024 HAS SOUPS 65175 WITH SCORE 65357.527
AT ITER 1819 NEW BEST:: SOT 224110 SOS 182397 HAS SOPS 180548 HAS SOUS 66764 HAS SOUPS 64915 WITH SCORE 65097.397
AT ITER 1820 NEW BEST:: SOT 223926 SOS 182213 HAS SOPS 180364 HAS SOUS 66396 HAS SOUPS 64547 WITH SCORE 64729.213
AT ITER 1832 NEW BEST:: SOT 223880 SOS 182167 HAS SOPS 180318 HAS SOUS 66304 HAS SOUPS 64455 WITH SCORE 64637.167
AT ITER 1846 NEW BEST:: SOT 223884 SOS 181703 HAS SOPS 179854 HAS SOUS 66296 HAS SOUPS 64447 WITH SCORE 64628.703
AT ITER 1850 NEW BEST:: SOT 223831 SOS 181650 HAS SOPS 179801 HAS SOUS 66190 HAS SOUPS 64341 WITH SCORE 64522.65
AT ITER 1856 NEW BEST:: SOT 223830 SOS 181609 HAS SOPS 179760 HAS SOUS 66170 HAS SOUPS 64321 WITH SCORE 64502.609
AT ITER 1857 NEW BEST:: SOT 223822 SOS 181601 HAS SOPS 179752 HAS SOUS 66154 HAS SOUPS 64305 WITH SCORE 64486.601
AT ITER 1860 NEW BEST:: SOT 223589 SOS 181368 HAS SOPS 179519 HAS SOUS 65688 HAS SOUPS 63839 WITH SCORE 64020.368
AT ITER 1869 NEW BEST:: SOT 223559 SOS 181338 HAS SOPS 179489 HAS SOUS 65628 HAS SOUPS 63779 WITH SCORE 63960.338
AT ITER 1872 NEW BEST:: SOT 223499 SOS 181278 HAS SOPS 179429 HAS SOUS 65508 HAS SOUPS 63659 WITH SCORE 63840.278
AT ITER 1880 NEW BEST:: SOT 223497 SOS 181265 HAS SOPS 179416 HAS SOUS 65504 HAS SOUPS 63655 WITH SCORE 63836.265
AT ITER 1891 NEW BEST:: SOT 223491 SOS 181208 HAS SOPS 179359 HAS SOUS 65481 HAS SOUPS 63632 WITH SCORE 63813.208
AT ITER 1892 NEW BEST:: SOT 223232 SOS 181384 HAS SOPS 179535 HAS SOUS 65453 HAS SOUPS 63604 WITH SCORE 63785.384
AT ITER 1893 NEW BEST:: SOT 223170 SOS 181322 HAS SOPS 179473 HAS SOUS 65329 HAS SOUPS 63480 WITH SCORE 63661.322
AT ITER 1907 NEW BEST:: SOT 223164 SOS 181316 HAS SOPS 179467 HAS SOUS 65317 HAS SOUPS 63468 WITH SCORE 63649.316
AT ITER 1911 NEW BEST:: SOT 222821 SOS 180973 HAS SOPS 179124 HAS SOUS 65010 HAS SOUPS 63161 WITH SCORE 63341.973
AT ITER 1933 NEW BEST:: SOT 222814 SOS 180966 HAS SOPS 179117 HAS SOUS 64996 HAS SOUPS 63147 WITH SCORE 63327.966
AT ITER 1935 NEW BEST:: SOT 222813 SOS 180965 HAS SOPS 179116 HAS SOUS 64994 HAS SOUPS 63145 WITH SCORE 63325.965
AT ITER 1943 NEW BEST:: SOT 222792 SOS 180946 HAS SOPS 179099 HAS SOUS 64973 HAS SOUPS 63126 WITH SCORE 63306.946
AT ITER 1952 NEW BEST:: SOT 222682 SOS 180836 HAS SOPS 178989 HAS SOUS 64753 HAS SOUPS 62906 WITH SCORE 63086.836
AT ITER 1958 NEW BEST:: SOT 222658 SOS 180812 HAS SOPS 178965 HAS SOUS 64705 HAS SOUPS 62858 WITH SCORE 63038.812
AT ITER 1959 NEW BEST:: SOT 222507 SOS 180661 HAS SOPS 178814 HAS SOUS 64403 HAS SOUPS 62556 WITH SCORE 62736.661
AT ITER 1968 NEW BEST:: SOT 222383 SOS 180537 HAS SOPS 178690 HAS SOUS 64155 HAS SOUPS 62308 WITH SCORE 62488.537
AT ITER 1969 NEW BEST:: SOT 222383 SOS 180506 HAS SOPS 178643 HAS SOUS 64171 HAS SOUPS 62308 WITH SCORE 62488.506
AT ITER 1988 NEW BEST:: SOT 222381 SOS 180504 HAS SOPS 178641 HAS SOUS 64167 HAS SOUPS 62304 WITH SCORE 62484.504
AT ITER 1989 NEW BEST:: SOT 222379 SOS 180452 HAS SOPS 178639 HAS SOUS 63871 HAS SOUPS 62058 WITH SCORE 62238.452
AT ITER 1993 NEW BEST:: SOT 222379 SOS 180451 HAS SOPS 178638 HAS SOUS 63871 HAS SOUPS 62058 WITH SCORE 62238.451
AT ITER 1999 NEW BEST:: SOT 222370 SOS 180442 HAS SOPS 178629 HAS SOUS 63853 HAS SOUPS 62040 WITH SCORE 62220.442
AT ITER 2009 NEW BEST:: SOT 222284 SOS 180356 HAS SOPS 178543 HAS SOUS 63681 HAS SOUPS 61868 WITH SCORE 62048.356
AT ITER 2018 NEW BEST:: SOT 222236 SOS 180308 HAS SOPS 178495 HAS SOUS 63567 HAS SOUPS 61754 WITH SCORE 61934.308
AT ITER 2028 NEW BEST:: SOT 222234 SOS 180306 HAS SOPS 178493 HAS SOUS 63563 HAS SOUPS 61750 WITH SCORE 61930.306
AT ITER 2042 NEW BEST:: SOT 222222 SOS 180294 HAS SOPS 178481 HAS SOUS 63539 HAS SOUPS 61726 WITH SCORE 61906.294
AT ITER 2072 NEW BEST:: SOT 222178 SOS 180250 HAS SOPS 178437 HAS SOUS 63451 HAS SOUPS 61638 WITH SCORE 61818.25
AT ITER 2108 NEW BEST:: SOT 222143 SOS 180021 HAS SOPS 178060 HAS SOUS 63509 HAS SOUPS 61548 WITH SCORE 61728.021
AT ITER 2109 NEW BEST:: SOT 222123 SOS 180001 HAS SOPS 178040 HAS SOUS 63469 HAS SOUPS 61508 WITH SCORE 61688.001
AT ITER 2118 NEW BEST:: SOT 222056 SOS 179934 HAS SOPS 177973 HAS SOUS 63335 HAS SOUPS 61374 WITH SCORE 61553.934
AT ITER 2122 NEW BEST:: SOT 221055 SOS 179043 HAS SOPS 176972 HAS SOUS 63021 HAS SOUPS 60950 WITH SCORE 61129.043
AT ITER 2123 NEW BEST:: SOT 220969 SOS 178957 HAS SOPS 176886 HAS SOUS 62849 HAS SOUPS 60778 WITH SCORE 60956.957
AT ITER 2130 NEW BEST:: SOT 220969 SOS 178859 HAS SOPS 176788 HAS SOUS 62849 HAS SOUPS 60778 WITH SCORE 60956.859
AT ITER 2147 NEW BEST:: SOT 220949 SOS 178839 HAS SOPS 176768 HAS SOUS 62809 HAS SOUPS 60738 WITH SCORE 60916.839
AT ITER 2161 NEW BEST:: SOT 220930 SOS 178820 HAS SOPS 176749 HAS SOUS 62771 HAS SOUPS 60700 WITH SCORE 60878.82
AT ITER 2163 NEW BEST:: SOT 220896 SOS 178761 HAS SOPS 176690 HAS SOUS 62703 HAS SOUPS 60632 WITH SCORE 60810.761
AT ITER 2170 NEW BEST:: SOT 220837 SOS 178702 HAS SOPS 176631 HAS SOUS 62585 HAS SOUPS 60514 WITH SCORE 60692.702
AT ITER 2171 NEW BEST:: SOT 220758 SOS 178623 HAS SOPS 176552 HAS SOUS 62427 HAS SOUPS 60356 WITH SCORE 60534.623
AT ITER 2179 NEW BEST:: SOT 220758 SOS 178627 HAS SOPS 176556 HAS SOUS 62407 HAS SOUPS 60336 WITH SCORE 60514.627
AT ITER 2186 NEW BEST:: SOT 220058 SOS 177927 HAS SOPS 175856 HAS SOUS 61994 HAS SOUPS 59923 WITH SCORE 60100.927
AT ITER 2206 NEW BEST:: SOT 219916 SOS 177785 HAS SOPS 175714 HAS SOUS 61753 HAS SOUPS 59682 WITH SCORE 59859.785
AT ITER 2211 NEW BEST:: SOT 219905 SOS 177774 HAS SOPS 175703 HAS SOUS 61731 HAS SOUPS 59660 WITH SCORE 59837.774
AT ITER 2217 NEW BEST:: SOT 219748 SOS 177617 HAS SOPS 175546 HAS SOUS 61417 HAS SOUPS 59346 WITH SCORE 59523.617
AT ITER 2227 NEW BEST:: SOT 219714 SOS 177583 HAS SOPS 175512 HAS SOUS 61349 HAS SOUPS 59278 WITH SCORE 59455.583
AT ITER 2257 NEW BEST:: SOT 219407 SOS 177312 HAS SOPS 175205 HAS SOUS 61275 HAS SOUPS 59168 WITH SCORE 59345.312
AT ITER 2261 NEW BEST:: SOT 219380 SOS 177285 HAS SOPS 175178 HAS SOUS 61221 HAS SOUPS 59114 WITH SCORE 59291.285
AT ITER 2262 NEW BEST:: SOT 219250 SOS 177155 HAS SOPS 175048 HAS SOUS 60961 HAS SOUPS 58854 WITH SCORE 59031.155
AT ITER 2269 NEW BEST:: SOT 219142 SOS 177047 HAS SOPS 174940 HAS SOUS 60937 HAS SOUPS 58830 WITH SCORE 59007.047
AT ITER 2272 NEW BEST:: SOT 219041 SOS 176946 HAS SOPS 174839 HAS SOUS 60735 HAS SOUPS 58628 WITH SCORE 58804.946
AT ITER 2276 NEW BEST:: SOT 218927 SOS 176832 HAS SOPS 174725 HAS SOUS 60507 HAS SOUPS 58400 WITH SCORE 58576.832
AT ITER 2277 NEW BEST:: SOT 218911 SOS 176816 HAS SOPS 174709 HAS SOUS 60475 HAS SOUPS 58368 WITH SCORE 58544.816
AT ITER 2279 NEW BEST:: SOT 218807 SOS 176712 HAS SOPS 174605 HAS SOUS 60267 HAS SOUPS 58160 WITH SCORE 58336.712
AT ITER 2291 NEW BEST:: SOT 218947 SOS 176830 HAS SOPS 174723 HAS SOUS 60143 HAS SOUPS 58036 WITH SCORE 58212.83
AT ITER 2297 NEW BEST:: SOT 218947 SOS 176811 HAS SOPS 174685 HAS SOUS 60162 HAS SOUPS 58036 WITH SCORE 58212.811
AT ITER 2310 NEW BEST:: SOT 218907 SOS 176771 HAS SOPS 174645 HAS SOUS 60122 HAS SOUPS 57996 WITH SCORE 58172.771
AT ITER 2321 NEW BEST:: SOT 218774 SOS 176638 HAS SOPS 174512 HAS SOUS 59898 HAS SOUPS 57772 WITH SCORE 57948.638
AT ITER 2323 NEW BEST:: SOT 218719 SOS 176583 HAS SOPS 174457 HAS SOUS 59788 HAS SOUPS 57662 WITH SCORE 57838.583
AT ITER 2332 NEW BEST:: SOT 218816 SOS 176680 HAS SOPS 174554 HAS SOUS 59772 HAS SOUPS 57646 WITH SCORE 57822.68
AT ITER 2341 NEW BEST:: SOT 218760 SOS 176624 HAS SOPS 174498 HAS SOUS 59660 HAS SOUPS 57534 WITH SCORE 57710.624
AT ITER 2342 NEW BEST:: SOT 218705 SOS 176569 HAS SOPS 174443 HAS SOUS 59550 HAS SOUPS 57424 WITH SCORE 57600.569
AT ITER 2356 NEW BEST:: SOT 218693 SOS 176557 HAS SOPS 174431 HAS SOUS 59526 HAS SOUPS 57400 WITH SCORE 57576.557
AT ITER 2363 NEW BEST:: SOT 218589 SOS 177165 HAS SOPS 175039 HAS SOUS 59501 HAS SOUPS 57375 WITH SCORE 57552.165
AT ITER 2365 NEW BEST:: SOT 218560 SOS 177136 HAS SOPS 175010 HAS SOUS 59443 HAS SOUPS 57317 WITH SCORE 57494.136
AT ITER 2382 NEW BEST:: SOT 218470 SOS 177046 HAS SOPS 174920 HAS SOUS 59263 HAS SOUPS 57137 WITH SCORE 57314.046
AT ITER 2388 NEW BEST:: SOT 218446 SOS 177002 HAS SOPS 174876 HAS SOUS 59215 HAS SOUPS 57089 WITH SCORE 57266.002
AT ITER 2432 NEW BEST:: SOT 218446 SOS 176930 HAS SOPS 174804 HAS SOUS 59215 HAS SOUPS 57089 WITH SCORE 57265.93
AT ITER 2443 NEW BEST:: SOT 218432 SOS 176916 HAS SOPS 174790 HAS SOUS 59187 HAS SOUPS 57061 WITH SCORE 57237.916
AT ITER 2446 NEW BEST:: SOT 218432 SOS 176907 HAS SOPS 174781 HAS SOUS 59187 HAS SOUPS 57061 WITH SCORE 57237.907
AT ITER 2448 NEW BEST:: SOT 218375 SOS 176850 HAS SOPS 174724 HAS SOUS 59073 HAS SOUPS 56947 WITH SCORE 57123.85
AT ITER 2456 NEW BEST:: SOT 218366 SOS 176841 HAS SOPS 174715 HAS SOUS 59055 HAS SOUPS 56929 WITH SCORE 57105.841
AT ITER 2467 NEW BEST:: SOT 218366 SOS 176830 HAS SOPS 174704 HAS SOUS 59055 HAS SOUPS 56929 WITH SCORE 57105.83
AT ITER 2484 NEW BEST:: SOT 218346 SOS 176810 HAS SOPS 174684 HAS SOUS 59015 HAS SOUPS 56889 WITH SCORE 57065.81
AT ITER 2496 NEW BEST:: SOT 218303 SOS 176767 HAS SOPS 174641 HAS SOUS 58929 HAS SOUPS 56803 WITH SCORE 56979.767
AT ITER 2505 NEW BEST:: SOT 218297 SOS 176761 HAS SOPS 174635 HAS SOUS 58917 HAS SOUPS 56791 WITH SCORE 56967.761
AT ITER 2519 NEW BEST:: SOT 218249 SOS 176713 HAS SOPS 174587 HAS SOUS 58821 HAS SOUPS 56695 WITH SCORE 56871.713
AT ITER 2535 NEW BEST:: SOT 218244 SOS 176708 HAS SOPS 174582 HAS SOUS 58811 HAS SOUPS 56685 WITH SCORE 56861.708
AT ITER 2548 NEW BEST:: SOT 218241 SOS 176705 HAS SOPS 174579 HAS SOUS 58805 HAS SOUPS 56679 WITH SCORE 56855.705
AT ITER 2558 NEW BEST:: SOT 218217 SOS 176669 HAS SOPS 174531 HAS SOUS 58762 HAS SOUPS 56624 WITH SCORE 56800.669
AT ITER 2560 NEW BEST:: SOT 218195 SOS 176647 HAS SOPS 174509 HAS SOUS 58718 HAS SOUPS 56580 WITH SCORE 56756.647
AT ITER 2563 NEW BEST:: SOT 218145 SOS 176597 HAS SOPS 174459 HAS SOUS 58618 HAS SOUPS 56480 WITH SCORE 56656.597
AT ITER 2576 NEW BEST:: SOT 218137 SOS 176589 HAS SOPS 174451 HAS SOUS 58610 HAS SOUPS 56472 WITH SCORE 56648.589
AT ITER 2578 NEW BEST:: SOT 218131 SOS 176583 HAS SOPS 174445 HAS SOUS 58598 HAS SOUPS 56460 WITH SCORE 56636.583
AT ITER 2624 NEW BEST:: SOT 218086 SOS 187487 HAS SOPS 185349 HAS SOUS 58571 HAS SOUPS 56433 WITH SCORE 56620.487
AT ITER 2631 NEW BEST:: SOT 218030 SOS 187431 HAS SOPS 185293 HAS SOUS 58494 HAS SOUPS 56356 WITH SCORE 56543.431
AT ITER 2649 NEW BEST:: SOT 217966 SOS 187367 HAS SOPS 185229 HAS SOUS 58366 HAS SOUPS 56228 WITH SCORE 56415.367
AT ITER 2659 NEW BEST:: SOT 218050 SOS 187451 HAS SOPS 185313 HAS SOUS 58349 HAS SOUPS 56211 WITH SCORE 56398.451
AT ITER 2663 NEW BEST:: SOT 217738 SOS 187185 HAS SOPS 185001 HAS SOUS 58311 HAS SOUPS 56127 WITH SCORE 56314.185
AT ITER 2665 NEW BEST:: SOT 217651 SOS 187098 HAS SOPS 184914 HAS SOUS 58137 HAS SOUPS 55953 WITH SCORE 56140.098
AT ITER 2668 NEW BEST:: SOT 217650 SOS 187097 HAS SOPS 184913 HAS SOUS 58135 HAS SOUPS 55951 WITH SCORE 56138.097
AT ITER 2674 NEW BEST:: SOT 217624 SOS 187071 HAS SOPS 184887 HAS SOUS 58083 HAS SOUPS 55899 WITH SCORE 56086.071
AT ITER 2676 NEW BEST:: SOT 217574 SOS 187021 HAS SOPS 184837 HAS SOUS 57983 HAS SOUPS 55799 WITH SCORE 55986.021
AT ITER 2683 NEW BEST:: SOT 217647 SOS 186958 HAS SOPS 184774 HAS SOUS 57934 HAS SOUPS 55750 WITH SCORE 55936.958
AT ITER 2700 NEW BEST:: SOT 217553 SOS 186864 HAS SOPS 184680 HAS SOUS 57746 HAS SOUPS 55562 WITH SCORE 55748.864
AT ITER 2705 NEW BEST:: SOT 217473 SOS 186784 HAS SOPS 184600 HAS SOUS 57586 HAS SOUPS 55402 WITH SCORE 55588.784
AT ITER 2715 NEW BEST:: SOT 217681 SOS 186956 HAS SOPS 184808 HAS SOUS 57525 HAS SOUPS 55377 WITH SCORE 55563.956
AT ITER 2726 NEW BEST:: SOT 217680 SOS 186955 HAS SOPS 184807 HAS SOUS 57523 HAS SOUPS 55375 WITH SCORE 55561.955
AT ITER 2727 NEW BEST:: SOT 217657 SOS 186932 HAS SOPS 184784 HAS SOUS 57477 HAS SOUPS 55329 WITH SCORE 55515.932
AT ITER 2767 NEW BEST:: SOT 217649 SOS 186924 HAS SOPS 184776 HAS SOUS 57461 HAS SOUPS 55313 WITH SCORE 55499.924
AT ITER 2778 NEW BEST:: SOT 217617 SOS 186805 HAS SOPS 184712 HAS SOUS 57358 HAS SOUPS 55265 WITH SCORE 55451.805
AT ITER 2819 NEW BEST:: SOT 217612 SOS 186800 HAS SOPS 184707 HAS SOUS 57348 HAS SOUPS 55255 WITH SCORE 55441.8
AT ITER 2827 NEW BEST:: SOT 217526 SOS 186714 HAS SOPS 184621 HAS SOUS 57176 HAS SOUPS 55083 WITH SCORE 55269.714
AT ITER 2832 NEW BEST:: SOT 217519 SOS 186579 HAS SOPS 184486 HAS SOUS 57162 HAS SOUPS 55069 WITH SCORE 55255.579
AT ITER 2834 NEW BEST:: SOT 217503 SOS 186563 HAS SOPS 184470 HAS SOUS 57154 HAS SOUPS 55061 WITH SCORE 55247.563
AT ITER 2848 NEW BEST:: SOT 217491 SOS 186551 HAS SOPS 184458 HAS SOUS 57130 HAS SOUPS 55037 WITH SCORE 55223.551
AT ITER 2855 NEW BEST:: SOT 217484 SOS 186544 HAS SOPS 184451 HAS SOUS 57116 HAS SOUPS 55023 WITH SCORE 55209.544
AT ITER 2858 NEW BEST:: SOT 217636 SOS 186658 HAS SOPS 184546 HAS SOUS 57078 HAS SOUPS 54966 WITH SCORE 55152.658
AT ITER 2863 NEW BEST:: SOT 217631 SOS 186653 HAS SOPS 184541 HAS SOUS 57068 HAS SOUPS 54956 WITH SCORE 55142.653
AT ITER 2866 NEW BEST:: SOT 217595 SOS 186599 HAS SOPS 184469 HAS SOUS 57007 HAS SOUPS 54877 WITH SCORE 55063.599
AT ITER 2874 NEW BEST:: SOT 217579 SOS 186575 HAS SOPS 184437 HAS SOUS 56983 HAS SOUPS 54845 WITH SCORE 55031.575
AT ITER 2887 NEW BEST:: SOT 217554 SOS 186550 HAS SOPS 184412 HAS SOUS 56933 HAS SOUPS 54795 WITH SCORE 54981.55
AT ITER 2896 NEW BEST:: SOT 217483 SOS 186479 HAS SOPS 184341 HAS SOUS 56791 HAS SOUPS 54653 WITH SCORE 54839.479
AT ITER 2901 NEW BEST:: SOT 217461 SOS 186485 HAS SOPS 184347 HAS SOUS 56772 HAS SOUPS 54634 WITH SCORE 54820.485
AT ITER 2911 NEW BEST:: SOT 217369 SOS 186347 HAS SOPS 184163 HAS SOUS 56634 HAS SOUPS 54450 WITH SCORE 54636.347
AT ITER 2920 NEW BEST:: SOT 217337 SOS 186315 HAS SOPS 184131 HAS SOUS 56570 HAS SOUPS 54386 WITH SCORE 54572.315
AT ITER 2937 NEW BEST:: SOT 217303 SOS 186281 HAS SOPS 184097 HAS SOUS 56502 HAS SOUPS 54318 WITH SCORE 54504.281
AT ITER 2938 NEW BEST:: SOT 217303 SOS 186264 HAS SOPS 184080 HAS SOUS 56499 HAS SOUPS 54315 WITH SCORE 54501.264
AT ITER 2945 NEW BEST:: SOT 217286 SOS 186247 HAS SOPS 184063 HAS SOUS 56465 HAS SOUPS 54281 WITH SCORE 54467.247
AT ITER 2953 NEW BEST:: SOT 217228 SOS 186189 HAS SOPS 184005 HAS SOUS 56349 HAS SOUPS 54165 WITH SCORE 54351.189
AT ITER 2957 NEW BEST:: SOT 217160 SOS 186121 HAS SOPS 183937 HAS SOUS 56195 HAS SOUPS 54011 WITH SCORE 54197.121
AT ITER 2966 NEW BEST:: SOT 217155 SOS 186116 HAS SOPS 183932 HAS SOUS 56185 HAS SOUPS 54001 WITH SCORE 54187.116
AT ITER 2987 NEW BEST:: SOT 217069 SOS 186030 HAS SOPS 183846 HAS SOUS 56013 HAS SOUPS 53829 WITH SCORE 54015.03
AT ITER 2990 NEW BEST:: SOT 217043 SOS 186004 HAS SOPS 183820 HAS SOUS 55961 HAS SOUPS 53777 WITH SCORE 53963.004
AT ITER 2993 NEW BEST:: SOT 217034 SOS 185995 HAS SOPS 183811 HAS SOUS 55943 HAS SOUPS 53759 WITH SCORE 53944.995
AT ITER 3019 NEW BEST:: SOT 216983 SOS 185944 HAS SOPS 183760 HAS SOUS 55841 HAS SOUPS 53657 WITH SCORE 53842.944
AT ITER 3028 NEW BEST:: SOT 216957 SOS 185945 HAS SOPS 183788 HAS SOUS 55769 HAS SOUPS 53612 WITH SCORE 53797.945
AT ITER 3039 NEW BEST:: SOT 216957 SOS 185939 HAS SOPS 183782 HAS SOUS 55769 HAS SOUPS 53612 WITH SCORE 53797.939
AT ITER 3059 NEW BEST:: SOT 216934 SOS 185916 HAS SOPS 183759 HAS SOUS 55723 HAS SOUPS 53566 WITH SCORE 53751.916
AT ITER 3095 NEW BEST:: SOT 216895 SOS 185877 HAS SOPS 183720 HAS SOUS 55645 HAS SOUPS 53488 WITH SCORE 53673.877
AT ITER 3100 NEW BEST:: SOT 216860 SOS 185842 HAS SOPS 183685 HAS SOUS 55575 HAS SOUPS 53418 WITH SCORE 53603.842
AT ITER 3103 NEW BEST:: SOT 216780 SOS 185762 HAS SOPS 183605 HAS SOUS 55415 HAS SOUPS 53258 WITH SCORE 53443.762
AT ITER 3116 NEW BEST:: SOT 216779 SOS 185825 HAS SOPS 183732 HAS SOUS 55350 HAS SOUPS 53257 WITH SCORE 53442.825
AT ITER 3122 NEW BEST:: SOT 216643 SOS 185689 HAS SOPS 183596 HAS SOUS 55152 HAS SOUPS 53059 WITH SCORE 53244.689
AT ITER 3129 NEW BEST:: SOT 216610 SOS 185656 HAS SOPS 183563 HAS SOUS 55104 HAS SOUPS 53011 WITH SCORE 53196.656
AT ITER 3142 NEW BEST:: SOT 216616 SOS 185406 HAS SOPS 183313 HAS SOUS 55103 HAS SOUPS 53010 WITH SCORE 53195.406
AT ITER 3144 NEW BEST:: SOT 216572 SOS 185361 HAS SOPS 183268 HAS SOUS 55015 HAS SOUPS 52922 WITH SCORE 53107.361
AT ITER 3148 NEW BEST:: SOT 216551 SOS 185340 HAS SOPS 183247 HAS SOUS 54973 HAS SOUPS 52880 WITH SCORE 53065.34
AT ITER 3149 NEW BEST:: SOT 216551 SOS 185337 HAS SOPS 183244 HAS SOUS 54973 HAS SOUPS 52880 WITH SCORE 53065.337
AT ITER 3156 NEW BEST:: SOT 216551 SOS 185334 HAS SOPS 183241 HAS SOUS 54973 HAS SOUPS 52880 WITH SCORE 53065.334
AT ITER 3158 NEW BEST:: SOT 216548 SOS 185331 HAS SOPS 183238 HAS SOUS 54967 HAS SOUPS 52874 WITH SCORE 53059.331
AT ITER 3159 NEW BEST:: SOT 216538 SOS 185321 HAS SOPS 183228 HAS SOUS 54947 HAS SOUPS 52854 WITH SCORE 53039.321
AT ITER 3161 NEW BEST:: SOT 216538 SOS 185320 HAS SOPS 183227 HAS SOUS 54947 HAS SOUPS 52854 WITH SCORE 53039.32
AT ITER 3167 NEW BEST:: SOT 216514 SOS 185296 HAS SOPS 183203 HAS SOUS 54899 HAS SOUPS 52806 WITH SCORE 52991.296
AT ITER 3176 NEW BEST:: SOT 216511 SOS 185293 HAS SOPS 183200 HAS SOUS 54893 HAS SOUPS 52800 WITH SCORE 52985.293
AT ITER 3188 NEW BEST:: SOT 216481 SOS 185263 HAS SOPS 183170 HAS SOUS 54833 HAS SOUPS 52740 WITH SCORE 52925.263
AT ITER 3222 NEW BEST:: SOT 216150 SOS 184987 HAS SOPS 182839 HAS SOUS 54865 HAS SOUPS 52717 WITH SCORE 52901.987
AT ITER 3223 NEW BEST:: SOT 215538 SOS 184450 HAS SOPS 182358 HAS SOUS 54686 HAS SOUPS 52594 WITH SCORE 52778.45
AT ITER 3231 NEW BEST:: SOT 215454 SOS 184366 HAS SOPS 182274 HAS SOUS 54518 HAS SOUPS 52426 WITH SCORE 52610.366
AT ITER 3236 NEW BEST:: SOT 215453 SOS 184365 HAS SOPS 182273 HAS SOUS 54516 HAS SOUPS 52424 WITH SCORE 52608.365
AT ITER 3263 NEW BEST:: SOT 215445 SOS 184357 HAS SOPS 182265 HAS SOUS 54500 HAS SOUPS 52408 WITH SCORE 52592.357
AT ITER 3273 NEW BEST:: SOT 215427 SOS 184339 HAS SOPS 182247 HAS SOUS 54464 HAS SOUPS 52372 WITH SCORE 52556.339
AT ITER 3307 NEW BEST:: SOT 215414 SOS 184326 HAS SOPS 182234 HAS SOUS 54438 HAS SOUPS 52346 WITH SCORE 52530.326
AT ITER 3317 NEW BEST:: SOT 215357 SOS 184290 HAS SOPS 182177 HAS SOUS 54459 HAS SOUPS 52346 WITH SCORE 52530.29
AT ITER 3348 NEW BEST:: SOT 215372 SOS 184304 HAS SOPS 182191 HAS SOUS 54455 HAS SOUPS 52342 WITH SCORE 52526.304
AT ITER 3357 NEW BEST:: SOT 215353 SOS 184285 HAS SOPS 182172 HAS SOUS 54417 HAS SOUPS 52304 WITH SCORE 52488.285
AT ITER 3359 NEW BEST:: SOT 215341 SOS 184273 HAS SOPS 182160 HAS SOUS 54393 HAS SOUPS 52280 WITH SCORE 52464.273
AT ITER 3375 NEW BEST:: SOT 215280 SOS 184212 HAS SOPS 182099 HAS SOUS 54271 HAS SOUPS 52158 WITH SCORE 52342.212
AT ITER 3382 NEW BEST:: SOT 215189 SOS 184121 HAS SOPS 182008 HAS SOUS 54089 HAS SOUPS 51976 WITH SCORE 52160.121
AT ITER 3405 NEW BEST:: SOT 215133 SOS 184065 HAS SOPS 181952 HAS SOUS 53977 HAS SOUPS 51864 WITH SCORE 52048.065
AT ITER 3416 NEW BEST:: SOT 215051 SOS 183983 HAS SOPS 181870 HAS SOUS 53813 HAS SOUPS 51700 WITH SCORE 51883.983
AT ITER 3419 NEW BEST:: SOT 215033 SOS 183965 HAS SOPS 181852 HAS SOUS 53759 HAS SOUPS 51646 WITH SCORE 51829.965
AT ITER 3421 NEW BEST:: SOT 215027 SOS 183959 HAS SOPS 181846 HAS SOUS 53747 HAS SOUPS 51634 WITH SCORE 51817.959
AT ITER 3428 NEW BEST:: SOT 215013 SOS 183945 HAS SOPS 181832 HAS SOUS 53719 HAS SOUPS 51606 WITH SCORE 51789.945
AT ITER 3433 NEW BEST:: SOT 215005 SOS 183937 HAS SOPS 181822 HAS SOUS 53719 HAS SOUPS 51604 WITH SCORE 51787.937
AT ITER 3439 NEW BEST:: SOT 215026 SOS 183958 HAS SOPS 181843 HAS SOUS 53699 HAS SOUPS 51584 WITH SCORE 51767.958
AT ITER 3448 NEW BEST:: SOT 215396 SOS 184298 HAS SOPS 182183 HAS SOUS 53671 HAS SOUPS 51556 WITH SCORE 51740.298
AT ITER 3481 NEW BEST:: SOT 215007 SOS 183965 HAS SOPS 181794 HAS SOUS 53610 HAS SOUPS 51439 WITH SCORE 51622.965
AT ITER 3509 NEW BEST:: SOT 214981 SOS 183939 HAS SOPS 181768 HAS SOUS 53558 HAS SOUPS 51387 WITH SCORE 51570.939
AT ITER 3528 NEW BEST:: SOT 214939 SOS 183897 HAS SOPS 181726 HAS SOUS 53474 HAS SOUPS 51303 WITH SCORE 51486.897
AT ITER 3531 NEW BEST:: SOT 214932 SOS 183890 HAS SOPS 181719 HAS SOUS 53460 HAS SOUPS 51289 WITH SCORE 51472.89
AT ITER 3534 NEW BEST:: SOT 214932 SOS 183870 HAS SOPS 181679 HAS SOUS 53480 HAS SOUPS 51289 WITH SCORE 51472.87
AT ITER 3538 NEW BEST:: SOT 214932 SOS 183864 HAS SOPS 181673 HAS SOUS 53480 HAS SOUPS 51289 WITH SCORE 51472.864
AT ITER 3555 NEW BEST:: SOT 214914 SOS 183846 HAS SOPS 181655 HAS SOUS 53444 HAS SOUPS 51253 WITH SCORE 51436.846
AT ITER 3563 NEW BEST:: SOT 214895 SOS 183836 HAS SOPS 181654 HAS SOUS 53416 HAS SOUPS 51234 WITH SCORE 51417.836
AT ITER 3568 NEW BEST:: SOT 214875 SOS 183816 HAS SOPS 181634 HAS SOUS 53376 HAS SOUPS 51194 WITH SCORE 51377.816
AT ITER 3569 NEW BEST:: SOT 214855 SOS 183796 HAS SOPS 181614 HAS SOUS 53354 HAS SOUPS 51172 WITH SCORE 51355.796
AT ITER 3578 NEW BEST:: SOT 214787 SOS 183728 HAS SOPS 181546 HAS SOUS 53218 HAS SOUPS 51036 WITH SCORE 51219.728
AT ITER 3585 NEW BEST:: SOT 214732 SOS 183674 HAS SOPS 181491 HAS SOUS 53112 HAS SOUPS 50929 WITH SCORE 51112.674
AT ITER 3588 NEW BEST:: SOT 214729 SOS 183685 HAS SOPS 181488 HAS SOUS 53120 HAS SOUPS 50923 WITH SCORE 51106.685
AT ITER 3598 NEW BEST:: SOT 214679 SOS 183635 HAS SOPS 181438 HAS SOUS 53020 HAS SOUPS 50823 WITH SCORE 51006.635
AT ITER 3617 NEW BEST:: SOT 214510 SOS 183466 HAS SOPS 181269 HAS SOUS 52890 HAS SOUPS 50693 WITH SCORE 50876.466
AT ITER 3628 NEW BEST:: SOT 214443 SOS 183399 HAS SOPS 181202 HAS SOUS 52756 HAS SOUPS 50559 WITH SCORE 50742.399
AT ITER 3629 NEW BEST:: SOT 214438 SOS 183394 HAS SOPS 181197 HAS SOUS 52746 HAS SOUPS 50549 WITH SCORE 50732.394
AT ITER 3630 NEW BEST:: SOT 214438 SOS 183376 HAS SOPS 181179 HAS SOUS 52746 HAS SOUPS 50549 WITH SCORE 50732.376
AT ITER 3633 NEW BEST:: SOT 214382 SOS 183320 HAS SOPS 181123 HAS SOUS 52634 HAS SOUPS 50437 WITH SCORE 50620.32
AT ITER 3646 NEW BEST:: SOT 214366 SOS 183304 HAS SOPS 181107 HAS SOUS 52602 HAS SOUPS 50405 WITH SCORE 50588.304
AT ITER 3661 NEW BEST:: SOT 214391 SOS 183329 HAS SOPS 181132 HAS SOUS 52592 HAS SOUPS 50395 WITH SCORE 50578.329
AT ITER 3665 NEW BEST:: SOT 214381 SOS 183319 HAS SOPS 181122 HAS SOUS 52572 HAS SOUPS 50375 WITH SCORE 50558.319
AT ITER 3677 NEW BEST:: SOT 214311 SOS 183249 HAS SOPS 181052 HAS SOUS 52432 HAS SOUPS 50235 WITH SCORE 50418.249
AT ITER 3680 NEW BEST:: SOT 214292 SOS 183230 HAS SOPS 181033 HAS SOUS 52394 HAS SOUPS 50197 WITH SCORE 50380.23
AT ITER 3691 NEW BEST:: SOT 214229 SOS 183167 HAS SOPS 180970 HAS SOUS 52374 HAS SOUPS 50177 WITH SCORE 50360.167
AT ITER 3697 NEW BEST:: SOT 214279 SOS 183202 HAS SOPS 181020 HAS SOUS 52300 HAS SOUPS 50118 WITH SCORE 50301.202
AT ITER 3704 NEW BEST:: SOT 214275 SOS 183196 HAS SOPS 181012 HAS SOUS 52263 HAS SOUPS 50079 WITH SCORE 50262.196
AT ITER 3706 NEW BEST:: SOT 214007 SOS 182928 HAS SOPS 180744 HAS SOUS 52151 HAS SOUPS 49967 WITH SCORE 50149.928
AT ITER 3716 NEW BEST:: SOT 213987 SOS 182908 HAS SOPS 180724 HAS SOUS 52121 HAS SOUPS 49937 WITH SCORE 50119.908
AT ITER 3724 NEW BEST:: SOT 213983 SOS 182904 HAS SOPS 180720 HAS SOUS 52113 HAS SOUPS 49929 WITH SCORE 50111.904
AT ITER 3726 NEW BEST:: SOT 213979 SOS 182900 HAS SOPS 180716 HAS SOUS 52105 HAS SOUPS 49921 WITH SCORE 50103.9
AT ITER 3743 NEW BEST:: SOT 213916 SOS 182843 HAS SOPS 180659 HAS SOUS 52075 HAS SOUPS 49891 WITH SCORE 50073.843
AT ITER 3760 NEW BEST:: SOT 214239 SOS 183132 HAS SOPS 180914 HAS SOUS 52075 HAS SOUPS 49857 WITH SCORE 50040.132
AT ITER 3766 NEW BEST:: SOT 214217 SOS 183110 HAS SOPS 180892 HAS SOUS 52031 HAS SOUPS 49813 WITH SCORE 49996.11
AT ITER 3774 NEW BEST:: SOT 214109 SOS 182993 HAS SOPS 180766 HAS SOUS 52036 HAS SOUPS 49809 WITH SCORE 49991.993
AT ITER 3776 NEW BEST:: SOT 214074 SOS 182958 HAS SOPS 180731 HAS SOUS 51966 HAS SOUPS 49739 WITH SCORE 49921.958
AT ITER 3811 NEW BEST:: SOT 214082 SOS 182966 HAS SOPS 180739 HAS SOUS 51963 HAS SOUPS 49736 WITH SCORE 49918.966
AT ITER 3815 NEW BEST:: SOT 213988 SOS 182872 HAS SOPS 180645 HAS SOUS 51775 HAS SOUPS 49548 WITH SCORE 49730.872
AT ITER 3823 NEW BEST:: SOT 213980 SOS 182864 HAS SOPS 180637 HAS SOUS 51759 HAS SOUPS 49532 WITH SCORE 49714.864
AT ITER 3839 NEW BEST:: SOT 213888 SOS 182874 HAS SOPS 180647 HAS SOUS 51723 HAS SOUPS 49496 WITH SCORE 49678.874
AT ITER 3842 NEW BEST:: SOT 213770 SOS 182756 HAS SOPS 180529 HAS SOUS 51487 HAS SOUPS 49260 WITH SCORE 49442.756
AT ITER 3857 NEW BEST:: SOT 213708 SOS 182694 HAS SOPS 180467 HAS SOUS 51363 HAS SOUPS 49136 WITH SCORE 49318.694
AT ITER 3865 NEW BEST:: SOT 213582 SOS 182585 HAS SOPS 180341 HAS SOUS 51344 HAS SOUPS 49100 WITH SCORE 49282.585
AT ITER 3875 NEW BEST:: SOT 213567 SOS 182592 HAS SOPS 180348 HAS SOUS 51314 HAS SOUPS 49070 WITH SCORE 49252.592
AT ITER 3884 NEW BEST:: SOT 213529 SOS 182535 HAS SOPS 180272 HAS SOUS 51257 HAS SOUPS 48994 WITH SCORE 49176.535
AT ITER 3889 NEW BEST:: SOT 213503 SOS 182509 HAS SOPS 180246 HAS SOUS 51205 HAS SOUPS 48942 WITH SCORE 49124.509
AT ITER 3892 NEW BEST:: SOT 213547 SOS 182553 HAS SOPS 180290 HAS SOUS 51187 HAS SOUPS 48924 WITH SCORE 49106.553
AT ITER 3906 NEW BEST:: SOT 213537 SOS 182543 HAS SOPS 180280 HAS SOUS 51167 HAS SOUPS 48904 WITH SCORE 49086.543
AT ITER 3930 NEW BEST:: SOT 213977 SOS 182983 HAS SOPS 180720 HAS SOUS 51165 HAS SOUPS 48902 WITH SCORE 49084.983
AT ITER 3935 NEW BEST:: SOT 213966 SOS 182972 HAS SOPS 180709 HAS SOUS 51143 HAS SOUPS 48880 WITH SCORE 49062.972
AT ITER 3942 NEW BEST:: SOT 213804 SOS 182729 HAS SOPS 180385 HAS SOUS 50900 HAS SOUPS 48556 WITH SCORE 48738.729
AT ITER 3961 NEW BEST:: SOT 213692 SOS 182617 HAS SOPS 180273 HAS SOUS 50676 HAS SOUPS 48332 WITH SCORE 48514.617
AT ITER 3997 NEW BEST:: SOT 213680 SOS 182605 HAS SOPS 180261 HAS SOUS 50664 HAS SOUPS 48320 WITH SCORE 48502.605
AT ITER 3998 NEW BEST:: SOT 213486 SOS 182422 HAS SOPS 180078 HAS SOUS 50654 HAS SOUPS 48310 WITH SCORE 48492.422
AT ITER 4002 NEW BEST:: SOT 213472 SOS 182408 HAS SOPS 180064 HAS SOUS 50626 HAS SOUPS 48282 WITH SCORE 48464.408
AT ITER 4044 NEW BEST:: SOT 213452 SOS 182390 HAS SOPS 180044 HAS SOUS 50618 HAS SOUPS 48272 WITH SCORE 48454.39
AT ITER 4047 NEW BEST:: SOT 213441 SOS 182379 HAS SOPS 180033 HAS SOUS 50596 HAS SOUPS 48250 WITH SCORE 48432.379
AT ITER 4063 NEW BEST:: SOT 213439 SOS 182377 HAS SOPS 180031 HAS SOUS 50592 HAS SOUPS 48246 WITH SCORE 48428.377
AT ITER 4066 NEW BEST:: SOT 213423 SOS 182361 HAS SOPS 180015 HAS SOUS 50560 HAS SOUPS 48214 WITH SCORE 48396.361
AT ITER 4071 NEW BEST:: SOT 213342 SOS 182280 HAS SOPS 179934 HAS SOUS 50542 HAS SOUPS 48196 WITH SCORE 48378.28
AT ITER 4132 NEW BEST:: SOT 213320 SOS 182258 HAS SOPS 179912 HAS SOUS 50512 HAS SOUPS 48166 WITH SCORE 48348.258
AT ITER 4134 NEW BEST:: SOT 213298 SOS 182236 HAS SOPS 179890 HAS SOUS 50468 HAS SOUPS 48122 WITH SCORE 48304.236
AT ITER 4168 NEW BEST:: SOT 213285 SOS 182223 HAS SOPS 179877 HAS SOUS 50442 HAS SOUPS 48096 WITH SCORE 48278.223
AT ITER 4177 NEW BEST:: SOT 213285 SOS 182218 HAS SOPS 179872 HAS SOUS 50442 HAS SOUPS 48096 WITH SCORE 48278.218
AT ITER 4182 NEW BEST:: SOT 213270 SOS 182203 HAS SOPS 179857 HAS SOUS 50412 HAS SOUPS 48066 WITH SCORE 48248.203
AT ITER 4187 NEW BEST:: SOT 213260 SOS 182193 HAS SOPS 179847 HAS SOUS 50392 HAS SOUPS 48046 WITH SCORE 48228.193
AT ITER 4195 NEW BEST:: SOT 213236 SOS 182169 HAS SOPS 179823 HAS SOUS 50344 HAS SOUPS 47998 WITH SCORE 48180.169
AT ITER 4199 NEW BEST:: SOT 213229 SOS 182162 HAS SOPS 179816 HAS SOUS 50330 HAS SOUPS 47984 WITH SCORE 48166.162
AT ITER 4211 NEW BEST:: SOT 213143 SOS 182072 HAS SOPS 179726 HAS SOUS 50158 HAS SOUPS 47812 WITH SCORE 47994.072
AT ITER 4248 NEW BEST:: SOT 212971 SOS 181925 HAS SOPS 179587 HAS SOUS 50138 HAS SOUPS 47800 WITH SCORE 47981.925
AT ITER 4266 NEW BEST:: SOT 213139 SOS 182072 HAS SOPS 179734 HAS SOUS 50075 HAS SOUPS 47737 WITH SCORE 47919.072
AT ITER 4272 NEW BEST:: SOT 212957 SOS 181890 HAS SOPS 179552 HAS SOUS 49711 HAS SOUPS 47373 WITH SCORE 47554.89
AT ITER 4295 NEW BEST:: SOT 212937 SOS 181870 HAS SOPS 179532 HAS SOUS 49671 HAS SOUPS 47333 WITH SCORE 47514.87
AT ITER 4301 NEW BEST:: SOT 212919 SOS 181852 HAS SOPS 179514 HAS SOUS 49635 HAS SOUPS 47297 WITH SCORE 47478.852
AT ITER 4341 NEW BEST:: SOT 212867 SOS 181800 HAS SOPS 179462 HAS SOUS 49531 HAS SOUPS 47193 WITH SCORE 47374.8
AT ITER 4353 NEW BEST:: SOT 212847 SOS 181780 HAS SOPS 179442 HAS SOUS 49491 HAS SOUPS 47153 WITH SCORE 47334.78
AT ITER 4354 NEW BEST:: SOT 212757 SOS 181690 HAS SOPS 179352 HAS SOUS 49311 HAS SOUPS 46973 WITH SCORE 47154.69
AT ITER 4360 NEW BEST:: SOT 212751 SOS 181684 HAS SOPS 179346 HAS SOUS 49302 HAS SOUPS 46964 WITH SCORE 47145.684
AT ITER 4375 NEW BEST:: SOT 212716 SOS 181649 HAS SOPS 179311 HAS SOUS 49232 HAS SOUPS 46894 WITH SCORE 47075.649
AT ITER 4376 NEW BEST:: SOT 212600 SOS 181454 HAS SOPS 179049 HAS SOUS 49014 HAS SOUPS 46609 WITH SCORE 46790.454
AT ITER 4391 NEW BEST:: SOT 212599 SOS 181453 HAS SOPS 179048 HAS SOUS 49012 HAS SOUPS 46607 WITH SCORE 46788.453
AT ITER 4395 NEW BEST:: SOT 212584 SOS 181438 HAS SOPS 179033 HAS SOUS 48982 HAS SOUPS 46577 WITH SCORE 46758.438
AT ITER 4401 NEW BEST:: SOT 212568 SOS 181422 HAS SOPS 179017 HAS SOUS 48962 HAS SOUPS 46557 WITH SCORE 46738.422
AT ITER 4410 NEW BEST:: SOT 212496 SOS 181350 HAS SOPS 178945 HAS SOUS 48818 HAS SOUPS 46413 WITH SCORE 46594.35
AT ITER 4415 NEW BEST:: SOT 212412 SOS 181266 HAS SOPS 178861 HAS SOUS 48650 HAS SOUPS 46245 WITH SCORE 46426.266
AT ITER 4435 NEW BEST:: SOT 212396 SOS 181250 HAS SOPS 178845 HAS SOUS 48642 HAS SOUPS 46237 WITH SCORE 46418.25
AT ITER 4471 NEW BEST:: SOT 212292 SOS 181146 HAS SOPS 178741 HAS SOUS 48410 HAS SOUPS 46005 WITH SCORE 46186.146
AT ITER 4479 NEW BEST:: SOT 212265 SOS 181119 HAS SOPS 178714 HAS SOUS 48356 HAS SOUPS 45951 WITH SCORE 46132.119
AT ITER 4494 NEW BEST:: SOT 212265 SOS 181115 HAS SOPS 178706 HAS SOUS 48352 HAS SOUPS 45943 WITH SCORE 46124.115
AT ITER 4503 NEW BEST:: SOT 212212 SOS 181062 HAS SOPS 178653 HAS SOUS 48246 HAS SOUPS 45837 WITH SCORE 46018.062
AT ITER 4512 NEW BEST:: SOT 212127 SOS 181089 HAS SOPS 178680 HAS SOUS 48150 HAS SOUPS 45741 WITH SCORE 45922.089
AT ITER 4528 NEW BEST:: SOT 212117 SOS 181115 HAS SOPS 178742 HAS SOUS 48099 HAS SOUPS 45726 WITH SCORE 45907.115
AT ITER 4562 NEW BEST:: SOT 212095 SOS 181093 HAS SOPS 178720 HAS SOUS 48055 HAS SOUPS 45682 WITH SCORE 45863.093
AT ITER 4584 NEW BEST:: SOT 211896 SOS 180894 HAS SOPS 178521 HAS SOUS 48017 HAS SOUPS 45644 WITH SCORE 45824.894
AT ITER 4596 NEW BEST:: SOT 211881 SOS 180879 HAS SOPS 178506 HAS SOUS 47933 HAS SOUPS 45560 WITH SCORE 45740.879
AT ITER 4613 NEW BEST:: SOT 211769 SOS 180767 HAS SOPS 178394 HAS SOUS 47876 HAS SOUPS 45503 WITH SCORE 45683.767
AT ITER 4631 NEW BEST:: SOT 211682 SOS 180680 HAS SOPS 178307 HAS SOUS 47702 HAS SOUPS 45329 WITH SCORE 45509.68
AT ITER 4650 NEW BEST:: SOT 211667 SOS 180665 HAS SOPS 178292 HAS SOUS 47687 HAS SOUPS 45314 WITH SCORE 45494.665
AT ITER 4659 NEW BEST:: SOT 211625 SOS 180623 HAS SOPS 178250 HAS SOUS 47603 HAS SOUPS 45230 WITH SCORE 45410.623
AT ITER 4662 NEW BEST:: SOT 211625 SOS 180607 HAS SOPS 178234 HAS SOUS 47603 HAS SOUPS 45230 WITH SCORE 45410.607
AT ITER 4679 NEW BEST:: SOT 211575 SOS 180557 HAS SOPS 178184 HAS SOUS 47503 HAS SOUPS 45130 WITH SCORE 45310.557
AT ITER 4690 NEW BEST:: SOT 211559 SOS 180541 HAS SOPS 178168 HAS SOUS 47471 HAS SOUPS 45098 WITH SCORE 45278.541
AT ITER 4705 NEW BEST:: SOT 211383 SOS 180365 HAS SOPS 177992 HAS SOUS 47438 HAS SOUPS 45065 WITH SCORE 45245.365
AT ITER 4712 NEW BEST:: SOT 211524 SOS 180480 HAS SOPS 178088 HAS SOUS 47366 HAS SOUPS 44974 WITH SCORE 45154.48
AT ITER 4736 NEW BEST:: SOT 211452 SOS 180372 HAS SOPS 177944 HAS SOUS 47240 HAS SOUPS 44812 WITH SCORE 44992.372
AT ITER 4737 NEW BEST:: SOT 211236 SOS 180182 HAS SOPS 177754 HAS SOUS 47050 HAS SOUPS 44622 WITH SCORE 44802.182
AT ITER 4743 NEW BEST:: SOT 211174 SOS 180120 HAS SOPS 177692 HAS SOUS 46926 HAS SOUPS 44498 WITH SCORE 44678.12
AT ITER 4766 NEW BEST:: SOT 211091 SOS 180037 HAS SOPS 177609 HAS SOUS 46760 HAS SOUPS 44332 WITH SCORE 44512.037
AT ITER 4789 NEW BEST:: SOT 211001 SOS 179947 HAS SOPS 177519 HAS SOUS 46562 HAS SOUPS 44134 WITH SCORE 44313.947
AT ITER 4796 NEW BEST:: SOT 210994 SOS 179940 HAS SOPS 177512 HAS SOUS 46548 HAS SOUPS 44120 WITH SCORE 44299.94
AT ITER 4813 NEW BEST:: SOT 210706 SOS 179663 HAS SOPS 177235 HAS SOUS 46512 HAS SOUPS 44084 WITH SCORE 44263.663
AT ITER 4823 NEW BEST:: SOT 210706 SOS 179662 HAS SOPS 177234 HAS SOUS 46512 HAS SOUPS 44084 WITH SCORE 44263.662
AT ITER 4829 NEW BEST:: SOT 210705 SOS 179661 HAS SOPS 177233 HAS SOUS 46511 HAS SOUPS 44083 WITH SCORE 44262.661
AT ITER 4830 NEW BEST:: SOT 210620 SOS 179576 HAS SOPS 177148 HAS SOUS 46341 HAS SOUPS 43913 WITH SCORE 44092.576
AT ITER 4839 NEW BEST:: SOT 210558 SOS 179514 HAS SOPS 177086 HAS SOUS 46217 HAS SOUPS 43789 WITH SCORE 43968.514
AT ITER 4861 NEW BEST:: SOT 210515 SOS 179471 HAS SOPS 177043 HAS SOUS 46131 HAS SOUPS 43703 WITH SCORE 43882.471
AT ITER 4906 NEW BEST:: SOT 210485 SOS 179427 HAS SOPS 176999 HAS SOUS 46123 HAS SOUPS 43695 WITH SCORE 43874.427
AT ITER 4920 NEW BEST:: SOT 210457 SOS 179399 HAS SOPS 176971 HAS SOUS 46067 HAS SOUPS 43639 WITH SCORE 43818.399
AT ITER 4923 NEW BEST:: SOT 210440 SOS 179382 HAS SOPS 176954 HAS SOUS 46033 HAS SOUPS 43605 WITH SCORE 43784.382
AT ITER 4927 NEW BEST:: SOT 210432 SOS 179374 HAS SOPS 176946 HAS SOUS 46017 HAS SOUPS 43589 WITH SCORE 43768.374
AT ITER 4940 NEW BEST:: SOT 210430 SOS 179372 HAS SOPS 176944 HAS SOUS 46015 HAS SOUPS 43587 WITH SCORE 43766.372
AT ITER 4944 NEW BEST:: SOT 210424 SOS 179550 HAS SOPS 177122 HAS SOUS 46009 HAS SOUPS 43581 WITH SCORE 43760.55
AT ITER 4949 NEW BEST:: SOT 210390 SOS 179405 HAS SOPS 176925 HAS SOUS 45993 HAS SOUPS 43513 WITH SCORE 43692.405
AT ITER 4961 NEW BEST:: SOT 210342 SOS 179357 HAS SOPS 176877 HAS SOUS 45897 HAS SOUPS 43417 WITH SCORE 43596.357
AT ITER 4991 NEW BEST:: SOT 210233 SOS 179248 HAS SOPS 176768 HAS SOUS 45679 HAS SOUPS 43199 WITH SCORE 43378.248
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: SharedMemory-PT-000020-CTLCardinality-00 (AG( (AU( potential( ( 2 ) <= (tk(P382) + tk(P383) + tk(P384) + tk(P385) + tk(P386) + tk(P387) + tk(P388) + tk(P389) + tk(P394) + tk(P395) + tk(P396) + tk(P397) + tk(P438) + tk(P439) + tk(P440) + tk(P441) + tk(P442) + tk(P443) + tk(P444) + tk(P445)) ),potential( (tk(P414) + tk(P415) + tk(P416) + tk(P417) + 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(P418) + tk(P419) + tk(P420) + tk(P421) + 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)) ) ))))
PROPERTY: SharedMemory-PT-000020-CTLCardinality-01 (EF(( ( potential( ( 3 ) <= (tk(P390) + tk(P391) + tk(P392) + tk(P393) + tk(P398) + tk(P399) + tk(P400) + tk(P401) + tk(P402) + tk(P403) + tk(P404) + tk(P405) + tk(P406) + tk(P407) + tk(P408) + tk(P409) + tk(P410) + tk(P411) + tk(P412) + tk(P413)) ) & ( potential( (tk(P382) + tk(P383) + tk(P384) + tk(P385) + tk(P386) + tk(P387) + tk(P388) + tk(P389) + tk(P394) + tk(P395) + tk(P396) + tk(P397) + tk(P438) + tk(P439) + tk(P440) + tk(P441) + tk(P442) + tk(P443) + tk(P444) + tk(P445)) <= (tk(P390) + tk(P391) + tk(P392) + tk(P393) + tk(P398) + tk(P399) + tk(P400) + tk(P401) + tk(P402) + tk(P403) + tk(P404) + tk(P405) + tk(P406) + tk(P407) + tk(P408) + tk(P409) + tk(P410) + tk(P411) + tk(P412) + tk(P413)) ) & potential( (tk(P414) + tk(P415) + tk(P416) + tk(P417) + 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(P360)) ) ) ) & (! ( potential( ( 1 ) <= (tk(P390) + tk(P391) + tk(P392) + tk(P393) + tk(P398) + tk(P399) + tk(P400) + tk(P401) + tk(P402) + tk(P403) + tk(P404) + tk(P405) + tk(P406) + tk(P407) + tk(P408) + tk(P409) + tk(P410) + tk(P411) + tk(P412) + tk(P413)) ) | potential( (tk(P418) + tk(P419) + tk(P420) + tk(P421) + 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(P360)) ) )) )))
PROPERTY: SharedMemory-PT-000020-CTLCardinality-02 (EU( ( (! potential( ( 2 ) <= (tk(P390) + tk(P391) + tk(P392) + tk(P393) + tk(P398) + tk(P399) + tk(P400) + tk(P401) + tk(P402) + tk(P403) + tk(P404) + tk(P405) + tk(P406) + tk(P407) + tk(P408) + tk(P409) + tk(P410) + tk(P411) + tk(P412) + tk(P413)) )) & (! potential( ( 1 ) <= (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(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P188) + tk(P189) + 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(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P214) + tk(P215) + tk(P216) + tk(P217) + tk(P218) + tk(P219) + tk(P220) + tk(P221) + 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(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)) )) ),(EF(potential( ( 3 ) <= (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(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P188) + tk(P189) + 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(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P214) + tk(P215) + tk(P216) + tk(P217) + tk(P218) + tk(P219) + tk(P220) + tk(P221) + 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(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)) ))) ))
PROPERTY: SharedMemory-PT-000020-CTLCardinality-03 (AG( ( (EF(potential( ( 2 ) <= (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(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P188) + tk(P189) + 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(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P214) + tk(P215) + tk(P216) + tk(P217) + tk(P218) + tk(P219) + tk(P220) + tk(P221) + 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(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)) ))) | (! ( potential( (tk(P414) + tk(P415) + tk(P416) + tk(P417) + 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(P418) + tk(P419) + tk(P420) + tk(P421) + 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)) ) | potential( ( 3 ) <= (tk(P414) + tk(P415) + tk(P416) + tk(P417) + 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)) ) )) )))
PROPERTY: SharedMemory-PT-000020-CTLCardinality-04 (AG( (AF((! potential( (tk(P390) + tk(P391) + tk(P392) + tk(P393) + tk(P398) + tk(P399) + tk(P400) + tk(P401) + tk(P402) + tk(P403) + tk(P404) + tk(P405) + tk(P406) + tk(P407) + tk(P408) + tk(P409) + tk(P410) + tk(P411) + tk(P412) + tk(P413)) <= (tk(P414) + tk(P415) + tk(P416) + tk(P417) + 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)) ))))))
PROPERTY: SharedMemory-PT-000020-CTLCardinality-05 (AF((EX( potential( ( 2 ) <= (tk(P418) + tk(P419) + tk(P420) + tk(P421) + 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)) )))))
PROPERTY: SharedMemory-PT-000020-CTLCardinality-06 ( 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(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P188) + tk(P189) + 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(P206) + tk(P207) + tk(P208) + tk(P209) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P214) + tk(P215) + tk(P216) + tk(P217) + tk(P218) + tk(P219) + tk(P220) + tk(P221) + 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(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(P414) + tk(P415) + tk(P416) + tk(P417) + 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)) ) & (AG( potential( (tk(P390) + tk(P391) + tk(P392) + tk(P393) + tk(P398) + tk(P399) + tk(P400) + tk(P401) + tk(P402) + tk(P403) + tk(P404) + tk(P405) + tk(P406) + tk(P407) + tk(P408) + tk(P409) + tk(P410) + tk(P411) + tk(P412) + tk(P413)) <= (tk(P390) + tk(P391) + tk(P392) + tk(P393) + tk(P398) + tk(P399) + tk(P400) + tk(P401) + tk(P402) + tk(P403) + tk(P404) + tk(P405) + tk(P406) + tk(P407) + tk(P408) + tk(P409) + tk(P410) + tk(P411) + tk(P412) + tk(P413)) ))) )
PROPERTY: SharedMemory-PT-000020-CTLCardinality-07 (EG( (EF((! potential( (tk(P414) + tk(P415) + tk(P416) + tk(P417) + 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(P414) + tk(P415) + tk(P416) + tk(P417) + 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)) ))))))
PROPERTY: SharedMemory-PT-000020-CTLCardinality-08 (EX( (! (EF(potential( ( 2 ) <= (tk(P28)) ))))))
PROPERTY: SharedMemory-PT-000020-CTLCardinality-09 (! (EX( (AF(potential( ( 3 ) <= (tk(P287)) ))))))
PROPERTY: SharedMemory-PT-000020-CTLCardinality-10 (EU( potential( (tk(P265)) <= (tk(P7)) ),(EF(potential( ( 2 ) <= (tk(P295)) ))) ))
PROPERTY: SharedMemory-PT-000020-CTLCardinality-11 (! ( (EU( potential( ( 1 ) <= (tk(P404)) ),potential( ( 2 ) <= (tk(P274)) ) )) & potential( (tk(P9)) <= (tk(P208)) ) ))
PROPERTY: SharedMemory-PT-000020-CTLCardinality-12 ( (EF(( ( potential( ( 2 ) <= (tk(P373)) ) & potential( ( 3 ) <= (tk(P459)) ) ) & ( potential( (tk(P130)) <= (tk(P26)) ) | potential( ( 2 ) <= (tk(P359)) ) ) ))) & (! (AG( ( potential( ( 2 ) <= (tk(P3)) ) & potential( (tk(P414)) <= (tk(P249)) ) )))) )
PROPERTY: SharedMemory-PT-000020-CTLCardinality-13 (EF(( (EG( potential( (tk(P429)) <= (tk(P352)) ))) & potential( ( 2 ) <= (tk(P249)) ) )))
PROPERTY: SharedMemory-PT-000020-CTLCardinality-14 (EF(potential( ( 3 ) <= (tk(P173)) )))
PROPERTY: SharedMemory-PT-000020-CTLCardinality-15 ( (! (EX( potential( (tk(P410)) <= (tk(P394)) )))) | (AG( potential( (tk(P342)) <= (tk(P410)) ))) )

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="SharedMemory-PT-000020"
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 SharedMemory-PT-000020, 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 r153-oct2-158972910400563"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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