Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r131-smll-167819406600032.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is Dekker-PT-050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819406600032
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 7.3K Feb 26 01:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 01:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 01:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 01:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 15:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 02:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Feb 26 02:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 02:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 26 02:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.5M Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679844800953

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Dekker-PT-050
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Dekker (PT), instance 050
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 250 places, 2600 transitions, 20100 arcs.
AT ITER 0 NEW BEST:: SOT 578557 SOS 530341 HAS SOPS 499860 HAS SOUS 486339 HAS SOUPS 475458 WITH SCORE 475988.341
AT ITER 2 NEW BEST:: SOT 573706 SOS 527888 HAS SOPS 495009 HAS SOUS 481609 HAS SOUPS 470607 WITH SCORE 471134.888
AT ITER 3 NEW BEST:: SOT 572156 SOS 526338 HAS SOPS 493459 HAS SOUS 480059 HAS SOUPS 469057 WITH SCORE 469583.338
AT ITER 4 NEW BEST:: SOT 572185 SOS 526123 HAS SOPS 491077 HAS SOUS 473544 HAS SOUPS 462630 WITH SCORE 463156.123
AT ITER 5 NEW BEST:: SOT 572185 SOS 526123 HAS SOPS 491069 HAS SOUS 473528 HAS SOUPS 462614 WITH SCORE 463140.123
AT ITER 8 NEW BEST:: SOT 568755 SOS 522693 HAS SOPS 487590 HAS SOUS 470000 HAS SOUPS 459086 WITH SCORE 459608.693
AT ITER 10 NEW BEST:: SOT 568514 SOS 523839 HAS SOPS 484850 HAS SOUS 459522 HAS SOUPS 448631 WITH SCORE 449154.839
AT ITER 11 NEW BEST:: SOT 568514 SOS 523405 HAS SOPS 484306 HAS SOUS 457158 HAS SOUPS 446311 WITH SCORE 446834.405
AT ITER 13 NEW BEST:: SOT 568514 SOS 523405 HAS SOPS 484274 HAS SOUS 457094 HAS SOUPS 446247 WITH SCORE 446770.405
AT ITER 16 NEW BEST:: SOT 568420 SOS 522698 HAS SOPS 483721 HAS SOUS 447979 HAS SOUPS 437178 WITH SCORE 437700.698
AT ITER 18 NEW BEST:: SOT 564579 SOS 518857 HAS SOPS 479831 HAS SOUS 444058 HAS SOUPS 433239 WITH SCORE 433757.857
AT ITER 19 NEW BEST:: SOT 564579 SOS 518127 HAS SOPS 477587 HAS SOUS 440300 HAS SOUPS 429481 WITH SCORE 429999.127
AT ITER 20 NEW BEST:: SOT 560135 SOS 513683 HAS SOPS 473094 HAS SOUS 435758 HAS SOUPS 424939 WITH SCORE 425452.683
AT ITER 21 NEW BEST:: SOT 560135 SOS 513683 HAS SOPS 473052 HAS SOUS 435674 HAS SOUPS 424855 WITH SCORE 425368.683
AT ITER 22 NEW BEST:: SOT 560135 SOS 513476 HAS SOPS 473052 HAS SOUS 435281 HAS SOUPS 424474 WITH SCORE 424987.476
AT ITER 23 NEW BEST:: SOT 560135 SOS 513476 HAS SOPS 473026 HAS SOUS 435229 HAS SOUPS 424422 WITH SCORE 424935.476
AT ITER 24 NEW BEST:: SOT 555475 SOS 508816 HAS SOPS 468366 HAS SOUS 430612 HAS SOUPS 419762 WITH SCORE 420270.816
AT ITER 26 NEW BEST:: SOT 555497 SOS 507804 HAS SOPS 465976 HAS SOUS 424895 HAS SOUPS 414132 WITH SCORE 414639.804
AT ITER 27 NEW BEST:: SOT 553924 SOS 503958 HAS SOPS 463275 HAS SOUS 414901 HAS SOUPS 404459 WITH SCORE 404962.958
AT ITER 29 NEW BEST:: SOT 555314 SOS 503238 HAS SOPS 462187 HAS SOUS 408243 HAS SOUPS 397953 WITH SCORE 398456.238
AT ITER 31 NEW BEST:: SOT 555301 SOS 503225 HAS SOPS 462174 HAS SOUS 408230 HAS SOUPS 397940 WITH SCORE 398443.225
AT ITER 32 NEW BEST:: SOT 555415 SOS 502488 HAS SOPS 459880 HAS SOUS 402230 HAS SOUPS 392031 WITH SCORE 392533.488
AT ITER 33 NEW BEST:: SOT 551470 SOS 498543 HAS SOPS 455886 HAS SOUS 398187 HAS SOUPS 387988 WITH SCORE 388486.543
AT ITER 35 NEW BEST:: SOT 547808 SOS 494881 HAS SOPS 452224 HAS SOUS 394604 HAS SOUPS 384326 WITH SCORE 384820.881
AT ITER 41 NEW BEST:: SOT 548149 SOS 495167 HAS SOPS 452571 HAS SOUS 392262 HAS SOUPS 382039 WITH SCORE 382534.167
AT ITER 42 NEW BEST:: SOT 543784 SOS 490802 HAS SOPS 448206 HAS SOUS 387950 HAS SOUPS 377674 WITH SCORE 378164.802
AT ITER 43 NEW BEST:: SOT 544010 SOS 490191 HAS SOPS 445989 HAS SOUS 381278 HAS SOUPS 371107 WITH SCORE 371597.191
AT ITER 44 NEW BEST:: SOT 544274 SOS 487918 HAS SOPS 443896 HAS SOUS 374671 HAS SOUPS 364642 WITH SCORE 365129.918
AT ITER 47 NEW BEST:: SOT 544367 SOS 487873 HAS SOPS 444039 HAS SOUS 372453 HAS SOUPS 362474 WITH SCORE 362961.873
AT ITER 49 NEW BEST:: SOT 543478 SOS 486984 HAS SOPS 443150 HAS SOUS 371564 HAS SOUPS 361585 WITH SCORE 362071.984
AT ITER 50 NEW BEST:: SOT 543238 SOS 486744 HAS SOPS 442861 HAS SOUS 371257 HAS SOUPS 361247 WITH SCORE 361733.744
AT ITER 52 NEW BEST:: SOT 543238 SOS 486344 HAS SOPS 441154 HAS SOUS 369909 HAS SOUPS 359899 WITH SCORE 360385.344
AT ITER 53 NEW BEST:: SOT 543238 SOS 486049 HAS SOPS 441154 HAS SOUS 369755 HAS SOUPS 359745 WITH SCORE 360231.049
AT ITER 54 NEW BEST:: SOT 543238 SOS 485980 HAS SOPS 441001 HAS SOUS 369515 HAS SOUPS 359508 WITH SCORE 359993.98
AT ITER 57 NEW BEST:: SOT 545237 SOS 486741 HAS SOPS 440774 HAS SOUS 364605 HAS SOUPS 354716 WITH SCORE 355202.741
AT ITER 58 NEW BEST:: SOT 540940 SOS 482444 HAS SOPS 436428 HAS SOUS 360210 HAS SOUPS 350321 WITH SCORE 350803.444
AT ITER 59 NEW BEST:: SOT 537740 SOS 479244 HAS SOPS 433179 HAS SOUS 356912 HAS SOUPS 347023 WITH SCORE 347502.244
AT ITER 61 NEW BEST:: SOT 534155 SOS 475142 HAS SOPS 426381 HAS SOUS 350505 HAS SOUPS 340616 WITH SCORE 341091.142
AT ITER 63 NEW BEST:: SOT 533950 SOS 474937 HAS SOPS 426176 HAS SOUS 350341 HAS SOUPS 340411 WITH SCORE 340885.937
AT ITER 64 NEW BEST:: SOT 533774 SOS 474761 HAS SOPS 426000 HAS SOUS 350165 HAS SOUPS 340235 WITH SCORE 340709.761
AT ITER 65 NEW BEST:: SOT 533786 SOS 473789 HAS SOPS 424329 HAS SOUS 347762 HAS SOUPS 337865 WITH SCORE 338338.789
AT ITER 66 NEW BEST:: SOT 534183 SOS 472926 HAS SOPS 422296 HAS SOUS 341060 HAS SOUPS 331281 WITH SCORE 331753.926
AT ITER 69 NEW BEST:: SOT 530048 SOS 468791 HAS SOPS 418161 HAS SOUS 336925 HAS SOUPS 327146 WITH SCORE 327614.791
AT ITER 72 NEW BEST:: SOT 530375 SOS 467582 HAS SOPS 416058 HAS SOUS 330429 HAS SOUPS 320768 WITH SCORE 321235.582
AT ITER 74 NEW BEST:: SOT 530375 SOS 467582 HAS SOPS 415966 HAS SOUS 330319 HAS SOUPS 320584 WITH SCORE 321051.582
AT ITER 75 NEW BEST:: SOT 530953 SOS 465225 HAS SOPS 414226 HAS SOUS 323307 HAS SOUPS 313810 WITH SCORE 314275.225
AT ITER 77 NEW BEST:: SOT 530998 SOS 463279 HAS SOPS 411922 HAS SOUS 319102 HAS SOUPS 309681 WITH SCORE 310144.279
AT ITER 79 NEW BEST:: SOT 530998 SOS 462665 HAS SOPS 411208 HAS SOUS 318274 HAS SOUPS 308867 WITH SCORE 309329.665
AT ITER 80 NEW BEST:: SOT 526922 SOS 458661 HAS SOPS 407336 HAS SOUS 314391 HAS SOUPS 304931 WITH SCORE 305389.661
AT ITER 81 NEW BEST:: SOT 526954 SOS 457354 HAS SOPS 407411 HAS SOUS 313294 HAS SOUPS 303884 WITH SCORE 304341.354
AT ITER 82 NEW BEST:: SOT 526954 SOS 457354 HAS SOPS 407365 HAS SOUS 313222 HAS SOUPS 303792 WITH SCORE 304249.354
AT ITER 85 NEW BEST:: SOT 526954 SOS 457354 HAS SOPS 407316 HAS SOUS 313124 HAS SOUPS 303694 WITH SCORE 304151.354
AT ITER 86 NEW BEST:: SOT 524057 SOS 453340 HAS SOPS 402379 HAS SOUS 302266 HAS SOUPS 292934 WITH SCORE 293387.34
AT ITER 87 NEW BEST:: SOT 524126 SOS 452371 HAS SOPS 403040 HAS SOUS 299437 HAS SOUPS 290227 WITH SCORE 290679.371
AT ITER 89 NEW BEST:: SOT 524126 SOS 451029 HAS SOPS 399290 HAS SOUS 296954 HAS SOUPS 287744 WITH SCORE 288195.029
AT ITER 90 NEW BEST:: SOT 524126 SOS 450623 HAS SOPS 398780 HAS SOUS 296330 HAS SOUPS 287130 WITH SCORE 287580.623
AT ITER 92 NEW BEST:: SOT 524468 SOS 448669 HAS SOPS 396692 HAS SOUS 290609 HAS SOUPS 281527 WITH SCORE 281975.669
AT ITER 94 NEW BEST:: SOT 524468 SOS 447872 HAS SOPS 394258 HAS SOUS 288898 HAS SOUPS 279816 WITH SCORE 280263.872
AT ITER 95 NEW BEST:: SOT 522592 SOS 445996 HAS SOPS 392382 HAS SOUS 287022 HAS SOUPS 277940 WITH SCORE 278385.996
AT ITER 97 NEW BEST:: SOT 525114 SOS 446562 HAS SOPS 392587 HAS SOUS 282225 HAS SOUPS 273283 WITH SCORE 273729.562
AT ITER 98 NEW BEST:: SOT 525685 SOS 443519 HAS SOPS 391333 HAS SOUS 276478 HAS SOUPS 267699 WITH SCORE 268142.519
AT ITER 102 NEW BEST:: SOT 525685 SOS 443519 HAS SOPS 391318 HAS SOUS 276448 HAS SOUPS 267669 WITH SCORE 268112.519
AT ITER 103 NEW BEST:: SOT 522752 SOS 440586 HAS SOPS 388385 HAS SOUS 273515 HAS SOUPS 264736 WITH SCORE 265176.586
AT ITER 109 NEW BEST:: SOT 522752 SOS 440586 HAS SOPS 388363 HAS SOUS 273471 HAS SOUPS 264692 WITH SCORE 265132.586
AT ITER 111 NEW BEST:: SOT 522758 SOS 439356 HAS SOPS 388675 HAS SOUS 272281 HAS SOUPS 263557 WITH SCORE 263996.356
AT ITER 113 NEW BEST:: SOT 522790 SOS 437772 HAS SOPS 386565 HAS SOUS 269603 HAS SOUPS 260921 WITH SCORE 261358.772
AT ITER 114 NEW BEST:: SOT 528936 SOS 442912 HAS SOPS 393995 HAS SOUS 267612 HAS SOUPS 259119 WITH SCORE 259561.912
AT ITER 118 NEW BEST:: SOT 529528 SOS 443327 HAS SOPS 394601 HAS SOUS 265059 HAS SOUPS 256633 WITH SCORE 257076.327
AT ITER 119 NEW BEST:: SOT 528132 SOS 442021 HAS SOPS 393215 HAS SOUS 263449 HAS SOUPS 255023 WITH SCORE 255465.021
AT ITER 125 NEW BEST:: SOT 526245 SOS 440134 HAS SOPS 391328 HAS SOUS 261544 HAS SOUPS 253136 WITH SCORE 253576.134
AT ITER 127 NEW BEST:: SOT 526156 SOS 438975 HAS SOPS 388740 HAS SOUS 259888 HAS SOUPS 251520 WITH SCORE 251958.975
AT ITER 128 NEW BEST:: SOT 526357 SOS 440133 HAS SOPS 394143 HAS SOUS 258638 HAS SOUPS 250388 WITH SCORE 250828.133
AT ITER 129 NEW BEST:: SOT 524498 SOS 438274 HAS SOPS 392292 HAS SOUS 256764 HAS SOUPS 248545 WITH SCORE 248983.274
AT ITER 132 NEW BEST:: SOT 524498 SOS 437165 HAS SOPS 389961 HAS SOUS 255497 HAS SOUPS 247278 WITH SCORE 247715.165
AT ITER 136 NEW BEST:: SOT 524406 SOS 437069 HAS SOPS 389869 HAS SOUS 255209 HAS SOUPS 246994 WITH SCORE 247431.069
AT ITER 137 NEW BEST:: SOT 523896 SOS 436559 HAS SOPS 389387 HAS SOUS 254727 HAS SOUPS 246540 WITH SCORE 246976.559
AT ITER 138 NEW BEST:: SOT 523651 SOS 436266 HAS SOPS 389053 HAS SOUS 254393 HAS SOUPS 246206 WITH SCORE 246642.266
AT ITER 140 NEW BEST:: SOT 520343 SOS 432958 HAS SOPS 385745 HAS SOUS 251085 HAS SOUPS 242898 WITH SCORE 243330.958
AT ITER 144 NEW BEST:: SOT 519282 SOS 428804 HAS SOPS 382253 HAS SOUS 247205 HAS SOUPS 239137 WITH SCORE 239565.804
AT ITER 145 NEW BEST:: SOT 519833 SOS 425124 HAS SOPS 380599 HAS SOUS 241764 HAS SOUPS 233975 WITH SCORE 234400.124
AT ITER 147 NEW BEST:: SOT 519833 SOS 425007 HAS SOPS 380449 HAS SOUS 241725 HAS SOUPS 233936 WITH SCORE 234361.007
AT ITER 149 NEW BEST:: SOT 519777 SOS 424951 HAS SOPS 380395 HAS SOUS 241671 HAS SOUPS 233884 WITH SCORE 234308.951
AT ITER 151 NEW BEST:: SOT 519483 SOS 424657 HAS SOPS 379941 HAS SOUS 241161 HAS SOUPS 233270 WITH SCORE 233694.657
AT ITER 153 NEW BEST:: SOT 518065 SOS 423041 HAS SOPS 378166 HAS SOUS 239690 HAS SOUPS 231679 WITH SCORE 232102.041
AT ITER 158 NEW BEST:: SOT 517967 SOS 422917 HAS SOPS 378023 HAS SOUS 239473 HAS SOUPS 231566 WITH SCORE 231988.917
AT ITER 159 NEW BEST:: SOT 517042 SOS 420818 HAS SOPS 376819 HAS SOUS 235564 HAS SOUPS 227778 WITH SCORE 228198.818
AT ITER 166 NEW BEST:: SOT 517086 SOS 420266 HAS SOPS 376863 HAS SOUS 234685 HAS SOUPS 226899 WITH SCORE 227319.266
AT ITER 167 NEW BEST:: SOT 517959 SOS 421033 HAS SOPS 377736 HAS SOUS 231623 HAS SOUPS 223909 WITH SCORE 224330.033
AT ITER 168 NEW BEST:: SOT 518033 SOS 421024 HAS SOPS 377844 HAS SOUS 230139 HAS SOUPS 222468 WITH SCORE 222889.024
AT ITER 172 NEW BEST:: SOT 517964 SOS 419798 HAS SOPS 375888 HAS SOUS 229266 HAS SOUPS 221595 WITH SCORE 222014.798
AT ITER 173 NEW BEST:: SOT 518870 SOS 420469 HAS SOPS 376794 HAS SOUS 227393 HAS SOUPS 219747 WITH SCORE 220167.469
AT ITER 175 NEW BEST:: SOT 519641 SOS 417799 HAS SOPS 375464 HAS SOUS 219420 HAS SOUPS 211995 WITH SCORE 212412.799
AT ITER 177 NEW BEST:: SOT 519633 SOS 417791 HAS SOPS 375456 HAS SOUS 219412 HAS SOUPS 211987 WITH SCORE 212404.791
AT ITER 178 NEW BEST:: SOT 520068 SOS 417735 HAS SOPS 376911 HAS SOUS 219095 HAS SOUPS 211670 WITH SCORE 212087.735
AT ITER 180 NEW BEST:: SOT 520068 SOS 417735 HAS SOPS 376890 HAS SOUS 219053 HAS SOUPS 211628 WITH SCORE 212045.735
AT ITER 181 NEW BEST:: SOT 520819 SOS 418259 HAS SOPS 377641 HAS SOUS 215281 HAS SOUPS 207951 WITH SCORE 208369.259
AT ITER 182 NEW BEST:: SOT 520819 SOS 418190 HAS SOPS 377522 HAS SOUS 215227 HAS SOUPS 207897 WITH SCORE 208315.19
AT ITER 183 NEW BEST:: SOT 520819 SOS 418079 HAS SOPS 377372 HAS SOUS 215182 HAS SOUPS 207852 WITH SCORE 208270.079
AT ITER 184 NEW BEST:: SOT 520907 SOS 416931 HAS SOPS 377460 HAS SOUS 213256 HAS SOUPS 205991 WITH SCORE 206407.931
AT ITER 185 NEW BEST:: SOT 518997 SOS 415049 HAS SOPS 375530 HAS SOUS 212678 HAS SOUPS 205385 WITH SCORE 205800.049
AT ITER 186 NEW BEST:: SOT 518343 SOS 414421 HAS SOPS 374876 HAS SOUS 212648 HAS SOUPS 205342 WITH SCORE 205756.421
AT ITER 187 NEW BEST:: SOT 518459 SOS 413263 HAS SOPS 372568 HAS SOUS 211578 HAS SOUPS 204272 WITH SCORE 204685.263
AT ITER 189 NEW BEST:: SOT 517309 SOS 411491 HAS SOPS 370602 HAS SOUS 210202 HAS SOUPS 202896 WITH SCORE 203307.491
AT ITER 191 NEW BEST:: SOT 517309 SOS 411091 HAS SOPS 370347 HAS SOUS 210087 HAS SOUPS 202786 WITH SCORE 203197.091
AT ITER 192 NEW BEST:: SOT 517269 SOS 407582 HAS SOPS 363208 HAS SOUS 206227 HAS SOUPS 198926 WITH SCORE 199333.582
AT ITER 195 NEW BEST:: SOT 517269 SOS 406351 HAS SOPS 361158 HAS SOUS 205324 HAS SOUPS 198066 WITH SCORE 198472.351
AT ITER 201 NEW BEST:: SOT 517302 SOS 407330 HAS SOPS 361640 HAS SOUS 205269 HAS SOUPS 197803 WITH SCORE 198210.33
AT ITER 202 NEW BEST:: SOT 517228 SOS 406714 HAS SOPS 360648 HAS SOUS 204783 HAS SOUPS 197317 WITH SCORE 197723.714
AT ITER 209 NEW BEST:: SOT 517228 SOS 406656 HAS SOPS 360548 HAS SOUS 204739 HAS SOUPS 197273 WITH SCORE 197679.656
AT ITER 210 NEW BEST:: SOT 517228 SOS 406636 HAS SOPS 360528 HAS SOUS 204739 HAS SOUPS 197273 WITH SCORE 197679.636
AT ITER 211 NEW BEST:: SOT 516716 SOS 403437 HAS SOPS 358632 HAS SOUS 199682 HAS SOUPS 192368 WITH SCORE 192771.437
AT ITER 212 NEW BEST:: SOT 516863 SOS 404395 HAS SOPS 361061 HAS SOUS 199140 HAS SOUPS 191871 WITH SCORE 192275.395
AT ITER 216 NEW BEST:: SOT 516925 SOS 403365 HAS SOPS 361123 HAS SOUS 197956 HAS SOUPS 190722 WITH SCORE 191125.365
AT ITER 217 NEW BEST:: SOT 516751 SOS 403363 HAS SOPS 361153 HAS SOUS 197822 HAS SOUPS 190588 WITH SCORE 190991.363
AT ITER 219 NEW BEST:: SOT 516057 SOS 402546 HAS SOPS 359658 HAS SOUS 196418 HAS SOUPS 189184 WITH SCORE 189586.546
AT ITER 226 NEW BEST:: SOT 513193 SOS 399682 HAS SOPS 356794 HAS SOUS 193554 HAS SOUPS 186320 WITH SCORE 186719.682
AT ITER 233 NEW BEST:: SOT 513193 SOS 399682 HAS SOPS 356768 HAS SOUS 193502 HAS SOUPS 186268 WITH SCORE 186667.682
AT ITER 235 NEW BEST:: SOT 513269 SOS 399803 HAS SOPS 356840 HAS SOUS 193581 HAS SOUPS 186246 WITH SCORE 186645.803
AT ITER 236 NEW BEST:: SOT 513279 SOS 398948 HAS SOPS 358335 HAS SOUS 192799 HAS SOUPS 185528 WITH SCORE 185926.948
AT ITER 237 NEW BEST:: SOT 513099 SOS 396547 HAS SOPS 355191 HAS SOUS 191786 HAS SOUPS 184483 WITH SCORE 184879.547
AT ITER 238 NEW BEST:: SOT 513099 SOS 395457 HAS SOPS 353270 HAS SOUS 190879 HAS SOUPS 183576 WITH SCORE 183971.457
AT ITER 239 NEW BEST:: SOT 513451 SOS 395675 HAS SOPS 353646 HAS SOUS 188988 HAS SOUPS 181758 WITH SCORE 182153.675
AT ITER 243 NEW BEST:: SOT 516162 SOS 396602 HAS SOPS 357817 HAS SOUS 186281 HAS SOUPS 179226 WITH SCORE 179622.602
AT ITER 247 NEW BEST:: SOT 516162 SOS 396156 HAS SOPS 357132 HAS SOUS 185994 HAS SOUPS 178939 WITH SCORE 179335.156
AT ITER 248 NEW BEST:: SOT 516162 SOS 395107 HAS SOPS 357132 HAS SOUS 185579 HAS SOUPS 178521 WITH SCORE 178916.107
AT ITER 250 NEW BEST:: SOT 517677 SOS 395682 HAS SOPS 358392 HAS SOUS 181269 HAS SOUPS 174341 WITH SCORE 174736.682
AT ITER 251 NEW BEST:: SOT 518496 SOS 395970 HAS SOPS 359295 HAS SOUS 180645 HAS SOUPS 173759 WITH SCORE 174154.97
AT ITER 253 NEW BEST:: SOT 518707 SOS 396148 HAS SOPS 359506 HAS SOUS 180340 HAS SOUPS 173464 WITH SCORE 173860.148
AT ITER 256 NEW BEST:: SOT 518725 SOS 396163 HAS SOPS 359524 HAS SOUS 180311 HAS SOUPS 173436 WITH SCORE 173832.163
AT ITER 258 NEW BEST:: SOT 518725 SOS 396163 HAS SOPS 359521 HAS SOUS 180308 HAS SOUPS 173430 WITH SCORE 173826.163
AT ITER 259 NEW BEST:: SOT 517480 SOS 392896 HAS SOPS 356032 HAS SOUS 178743 HAS SOUPS 171875 WITH SCORE 172267.896
AT ITER 266 NEW BEST:: SOT 516858 SOS 392235 HAS SOPS 355251 HAS SOUS 178021 HAS SOUPS 171121 WITH SCORE 171513.235
AT ITER 267 NEW BEST:: SOT 516858 SOS 392271 HAS SOPS 355251 HAS SOUS 177985 HAS SOUPS 171085 WITH SCORE 171477.271
AT ITER 270 NEW BEST:: SOT 516858 SOS 392264 HAS SOPS 355225 HAS SOUS 177959 HAS SOUPS 171059 WITH SCORE 171451.264
AT ITER 272 NEW BEST:: SOT 517055 SOS 393236 HAS SOPS 359137 HAS SOUS 176394 HAS SOUPS 169591 WITH SCORE 169984.236
AT ITER 273 NEW BEST:: SOT 517055 SOS 393222 HAS SOPS 359123 HAS SOUS 176380 HAS SOUPS 169577 WITH SCORE 169970.222
AT ITER 275 NEW BEST:: SOT 516678 SOS 393683 HAS SOPS 359639 HAS SOUS 176167 HAS SOUPS 169168 WITH SCORE 169561.683
AT ITER 278 NEW BEST:: SOT 516678 SOS 393625 HAS SOPS 359581 HAS SOUS 176167 HAS SOUPS 169168 WITH SCORE 169561.625
AT ITER 280 NEW BEST:: SOT 516678 SOS 393535 HAS SOPS 359584 HAS SOUS 176113 HAS SOUPS 169117 WITH SCORE 169510.535
AT ITER 281 NEW BEST:: SOT 516637 SOS 393494 HAS SOPS 359502 HAS SOUS 176031 HAS SOUPS 168994 WITH SCORE 169387.494
AT ITER 282 NEW BEST:: SOT 516637 SOS 393448 HAS SOPS 359502 HAS SOUS 176027 HAS SOUPS 168991 WITH SCORE 169384.448
AT ITER 283 NEW BEST:: SOT 516641 SOS 392554 HAS SOPS 359557 HAS SOUS 175132 HAS SOUPS 168133 WITH SCORE 168525.554
AT ITER 284 NEW BEST:: SOT 512957 SOS 388870 HAS SOPS 355870 HAS SOUS 171476 HAS SOUPS 164443 WITH SCORE 164831.87
AT ITER 285 NEW BEST:: SOT 513508 SOS 389404 HAS SOPS 356435 HAS SOUS 171208 HAS SOUPS 164206 WITH SCORE 164595.404
AT ITER 287 NEW BEST:: SOT 513270 SOS 389166 HAS SOPS 356183 HAS SOUS 170956 HAS SOUPS 163940 WITH SCORE 164329.166
AT ITER 289 NEW BEST:: SOT 513195 SOS 389091 HAS SOPS 356135 HAS SOUS 170908 HAS SOUPS 163919 WITH SCORE 164308.091
AT ITER 290 NEW BEST:: SOT 512933 SOS 388829 HAS SOPS 355861 HAS SOUS 170634 HAS SOUPS 163633 WITH SCORE 164021.829
AT ITER 291 NEW BEST:: SOT 512935 SOS 387611 HAS SOPS 354913 HAS SOUS 169937 HAS SOUPS 162955 WITH SCORE 163342.611
AT ITER 292 NEW BEST:: SOT 513484 SOS 386403 HAS SOPS 355166 HAS SOUS 168493 HAS SOUPS 161581 WITH SCORE 161967.403
AT ITER 298 NEW BEST:: SOT 513484 SOS 385140 HAS SOPS 353716 HAS SOUS 168248 HAS SOUPS 161336 WITH SCORE 161721.14
AT ITER 300 NEW BEST:: SOT 517358 SOS 388255 HAS SOPS 357590 HAS SOUS 165831 HAS SOUPS 159060 WITH SCORE 159448.255
AT ITER 304 NEW BEST:: SOT 516717 SOS 387243 HAS SOPS 356197 HAS SOUS 164875 HAS SOUPS 158012 WITH SCORE 158399.243
AT ITER 306 NEW BEST:: SOT 516717 SOS 384547 HAS SOPS 352620 HAS SOUS 163974 HAS SOUPS 157111 WITH SCORE 157495.547
AT ITER 307 NEW BEST:: SOT 515609 SOS 383373 HAS SOPS 351412 HAS SOUS 162804 HAS SOUPS 155967 WITH SCORE 156350.373
AT ITER 308 NEW BEST:: SOT 515551 SOS 381475 HAS SOPS 349263 HAS SOUS 162280 HAS SOUPS 155576 WITH SCORE 155957.475
AT ITER 310 NEW BEST:: SOT 515099 SOS 381047 HAS SOPS 348811 HAS SOUS 162204 HAS SOUPS 155492 WITH SCORE 155873.047
AT ITER 312 NEW BEST:: SOT 515083 SOS 381031 HAS SOPS 348795 HAS SOUS 162188 HAS SOUPS 155476 WITH SCORE 155857.031
AT ITER 313 NEW BEST:: SOT 516015 SOS 381089 HAS SOPS 349791 HAS SOUS 158722 HAS SOUPS 152118 WITH SCORE 152499.089
AT ITER 314 NEW BEST:: SOT 515639 SOS 378638 HAS SOPS 347630 HAS SOUS 156816 HAS SOUPS 150247 WITH SCORE 150625.638
AT ITER 316 NEW BEST:: SOT 515124 SOS 377351 HAS SOPS 346324 HAS SOUS 156226 HAS SOUPS 149657 WITH SCORE 150034.351
AT ITER 317 NEW BEST:: SOT 515445 SOS 375403 HAS SOPS 346645 HAS SOUS 154753 HAS SOUPS 148182 WITH SCORE 148557.403
AT ITER 319 NEW BEST:: SOT 515318 SOS 375108 HAS SOPS 346314 HAS SOUS 154590 HAS SOUPS 148011 WITH SCORE 148386.108
AT ITER 321 NEW BEST:: SOT 514944 SOS 374734 HAS SOPS 345889 HAS SOUS 154165 HAS SOUPS 147535 WITH SCORE 147909.734
AT ITER 331 NEW BEST:: SOT 514944 SOS 374670 HAS SOPS 345757 HAS SOUS 154211 HAS SOUPS 147460 WITH SCORE 147834.67
AT ITER 333 NEW BEST:: SOT 515523 SOS 372698 HAS SOPS 343004 HAS SOUS 150521 HAS SOUPS 143858 WITH SCORE 144230.698
AT ITER 334 NEW BEST:: SOT 518431 SOS 373280 HAS SOPS 344652 HAS SOUS 145673 HAS SOUPS 139188 WITH SCORE 139561.28
AT ITER 343 NEW BEST:: SOT 518446 SOS 372513 HAS SOPS 344667 HAS SOUS 144970 HAS SOUPS 138515 WITH SCORE 138887.513
AT ITER 345 NEW BEST:: SOT 518455 SOS 371899 HAS SOPS 344226 HAS SOUS 144693 HAS SOUPS 138247 WITH SCORE 138618.899
AT ITER 346 NEW BEST:: SOT 517465 SOS 370836 HAS SOPS 343203 HAS SOUS 143670 HAS SOUPS 137264 WITH SCORE 137634.836
AT ITER 347 NEW BEST:: SOT 517679 SOS 369516 HAS SOPS 342467 HAS SOUS 141974 HAS SOUPS 135622 WITH SCORE 135991.516
AT ITER 351 NEW BEST:: SOT 518545 SOS 369947 HAS SOPS 343333 HAS SOUS 140975 HAS SOUPS 134669 WITH SCORE 135038.947
AT ITER 357 NEW BEST:: SOT 517973 SOS 369968 HAS SOPS 343731 HAS SOUS 140819 HAS SOUPS 134513 WITH SCORE 134882.968
AT ITER 358 NEW BEST:: SOT 518812 SOS 370892 HAS SOPS 345071 HAS SOUS 138444 HAS SOUPS 132211 WITH SCORE 132581.892
AT ITER 359 NEW BEST:: SOT 518587 SOS 370667 HAS SOPS 344846 HAS SOUS 138219 HAS SOUPS 131986 WITH SCORE 132356.667
AT ITER 364 NEW BEST:: SOT 517645 SOS 371798 HAS SOPS 346435 HAS SOUS 137931 HAS SOUPS 131730 WITH SCORE 132101.798
AT ITER 367 NEW BEST:: SOT 517645 SOS 371724 HAS SOPS 346146 HAS SOUS 137715 HAS SOUPS 131514 WITH SCORE 131885.724
AT ITER 368 NEW BEST:: SOT 517645 SOS 371741 HAS SOPS 346146 HAS SOUS 137715 HAS SOUPS 131497 WITH SCORE 131868.741
AT ITER 369 NEW BEST:: SOT 517207 SOS 371191 HAS SOPS 345158 HAS SOUS 136817 HAS SOUPS 130599 WITH SCORE 130970.191
AT ITER 380 NEW BEST:: SOT 517755 SOS 371779 HAS SOPS 346779 HAS SOUS 135713 HAS SOUPS 129529 WITH SCORE 129900.779
AT ITER 384 NEW BEST:: SOT 518377 SOS 372252 HAS SOPS 347401 HAS SOUS 135014 HAS SOUPS 128830 WITH SCORE 129202.252
AT ITER 385 NEW BEST:: SOT 518147 SOS 372022 HAS SOPS 347171 HAS SOUS 134784 HAS SOUPS 128600 WITH SCORE 128972.022
AT ITER 386 NEW BEST:: SOT 521084 SOS 373744 HAS SOPS 350104 HAS SOUS 132352 HAS SOUPS 126301 WITH SCORE 126674.744
AT ITER 390 NEW BEST:: SOT 521084 SOS 373744 HAS SOPS 350053 HAS SOUS 132250 HAS SOUPS 126199 WITH SCORE 126572.744
AT ITER 399 NEW BEST:: SOT 520738 SOS 373312 HAS SOPS 349621 HAS SOUS 131818 HAS SOUPS 125767 WITH SCORE 126140.312
AT ITER 400 NEW BEST:: SOT 520738 SOS 373461 HAS SOPS 350371 HAS SOUS 131599 HAS SOUPS 125565 WITH SCORE 125938.461
AT ITER 404 NEW BEST:: SOT 520782 SOS 372874 HAS SOPS 349865 HAS SOUS 130952 HAS SOUPS 124933 WITH SCORE 125305.874
AT ITER 405 NEW BEST:: SOT 520746 SOS 372838 HAS SOPS 349829 HAS SOUS 130916 HAS SOUPS 124897 WITH SCORE 125269.838
AT ITER 406 NEW BEST:: SOT 519441 SOS 371581 HAS SOPS 348524 HAS SOUS 130513 HAS SOUPS 124475 WITH SCORE 124846.581
AT ITER 409 NEW BEST:: SOT 519441 SOS 371581 HAS SOPS 348522 HAS SOUS 130511 HAS SOUPS 124471 WITH SCORE 124842.581
AT ITER 410 NEW BEST:: SOT 519441 SOS 370983 HAS SOPS 347859 HAS SOUS 130420 HAS SOUPS 124380 WITH SCORE 124750.983
AT ITER 412 NEW BEST:: SOT 519441 SOS 369035 HAS SOPS 345409 HAS SOUS 129869 HAS SOUPS 123829 WITH SCORE 124198.035
AT ITER 414 NEW BEST:: SOT 519375 SOS 369410 HAS SOPS 345784 HAS SOUS 129812 HAS SOUPS 123772 WITH SCORE 124141.41
AT ITER 418 NEW BEST:: SOT 516253 SOS 366288 HAS SOPS 342840 HAS SOUS 126868 HAS SOUPS 121006 WITH SCORE 121372.288
AT ITER 424 NEW BEST:: SOT 514322 SOS 367950 HAS SOPS 345068 HAS SOUS 125726 HAS SOUPS 119805 WITH SCORE 120172.95
AT ITER 428 NEW BEST:: SOT 514322 SOS 367524 HAS SOPS 344612 HAS SOUS 125720 HAS SOUPS 119799 WITH SCORE 120166.524
AT ITER 432 NEW BEST:: SOT 514319 SOS 367521 HAS SOPS 344609 HAS SOUS 125717 HAS SOUPS 119796 WITH SCORE 120163.521
AT ITER 435 NEW BEST:: SOT 515654 SOS 367796 HAS SOPS 345959 HAS SOUS 123892 HAS SOUPS 118056 WITH SCORE 118423.796
AT ITER 445 NEW BEST:: SOT 515393 SOS 367392 HAS SOPS 345548 HAS SOUS 123548 HAS SOUPS 117785 WITH SCORE 118152.392
AT ITER 448 NEW BEST:: SOT 515449 SOS 367641 HAS SOPS 345954 HAS SOUS 123425 HAS SOUPS 117669 WITH SCORE 118036.641
AT ITER 451 NEW BEST:: SOT 516370 SOS 368244 HAS SOPS 346881 HAS SOUS 121370 HAS SOUPS 115686 WITH SCORE 116054.244
AT ITER 455 NEW BEST:: SOT 516957 SOS 364669 HAS SOPS 342497 HAS SOUS 121047 HAS SOUPS 115350 WITH SCORE 115714.669
AT ITER 457 NEW BEST:: SOT 517058 SOS 364473 HAS SOPS 342236 HAS SOUS 121071 HAS SOUPS 115318 WITH SCORE 115682.473
AT ITER 458 NEW BEST:: SOT 516661 SOS 364076 HAS SOPS 341819 HAS SOUS 120654 HAS SOUPS 114881 WITH SCORE 115245.076
AT ITER 463 NEW BEST:: SOT 512655 SOS 360282 HAS SOPS 337813 HAS SOUS 119986 HAS SOUPS 114142 WITH SCORE 114502.282
AT ITER 467 NEW BEST:: SOT 510920 SOS 358547 HAS SOPS 336078 HAS SOUS 118251 HAS SOUPS 112407 WITH SCORE 112765.547
AT ITER 469 NEW BEST:: SOT 510920 SOS 358562 HAS SOPS 336063 HAS SOUS 118206 HAS SOUPS 112362 WITH SCORE 112720.562
AT ITER 477 NEW BEST:: SOT 512459 SOS 360741 HAS SOPS 339164 HAS SOUS 116991 HAS SOUPS 111210 WITH SCORE 111570.741
AT ITER 484 NEW BEST:: SOT 514383 SOS 362500 HAS SOPS 341088 HAS SOUS 116247 HAS SOUPS 110506 WITH SCORE 110868.5
AT ITER 486 NEW BEST:: SOT 515448 SOS 365806 HAS SOPS 346743 HAS SOUS 114391 HAS SOUPS 108759 WITH SCORE 109124.806
AT ITER 487 NEW BEST:: SOT 513932 SOS 364428 HAS SOPS 345377 HAS SOUS 112893 HAS SOUPS 107261 WITH SCORE 107625.428
AT ITER 488 NEW BEST:: SOT 513932 SOS 364421 HAS SOPS 345370 HAS SOUS 112886 HAS SOUPS 107254 WITH SCORE 107618.421
AT ITER 500 NEW BEST:: SOT 514546 SOS 364775 HAS SOPS 346011 HAS SOUS 112164 HAS SOUPS 106565 WITH SCORE 106929.775
AT ITER 503 NEW BEST:: SOT 514514 SOS 364743 HAS SOPS 345979 HAS SOUS 112132 HAS SOUPS 106533 WITH SCORE 106897.743
AT ITER 531 NEW BEST:: SOT 514514 SOS 361199 HAS SOPS 341844 HAS SOUS 111367 HAS SOUPS 105851 WITH SCORE 106212.199
AT ITER 538 NEW BEST:: SOT 513582 SOS 360267 HAS SOPS 340906 HAS SOUS 110429 HAS SOUPS 104907 WITH SCORE 105267.267
AT ITER 539 NEW BEST:: SOT 513505 SOS 357157 HAS SOPS 337737 HAS SOUS 110167 HAS SOUPS 104701 WITH SCORE 105058.157
AT ITER 545 NEW BEST:: SOT 513505 SOS 356992 HAS SOPS 337487 HAS SOUS 110143 HAS SOUPS 104611 WITH SCORE 104967.992
AT ITER 546 NEW BEST:: SOT 511338 SOS 354825 HAS SOPS 335315 HAS SOUS 107971 HAS SOUPS 102434 WITH SCORE 102788.825
AT ITER 552 NEW BEST:: SOT 510518 SOS 355425 HAS SOPS 336171 HAS SOUS 107443 HAS SOUPS 101906 WITH SCORE 102261.425
AT ITER 554 NEW BEST:: SOT 508560 SOS 358361 HAS SOPS 339661 HAS SOUS 106209 HAS SOUPS 100655 WITH SCORE 101013.361
AT ITER 556 NEW BEST:: SOT 512421 SOS 360605 HAS SOPS 343866 HAS SOUS 103829 HAS SOUPS 98442 WITH SCORE 98802.605
AT ITER 562 NEW BEST:: SOT 512421 SOS 360783 HAS SOPS 344020 HAS SOUS 103809 HAS SOUPS 98422 WITH SCORE 98782.783
AT ITER 566 NEW BEST:: SOT 512421 SOS 360789 HAS SOPS 344020 HAS SOUS 103809 HAS SOUPS 98416 WITH SCORE 98776.789
AT ITER 568 NEW BEST:: SOT 512421 SOS 360767 HAS SOPS 343998 HAS SOUS 103809 HAS SOUPS 98416 WITH SCORE 98776.767
AT ITER 569 NEW BEST:: SOT 512421 SOS 361879 HAS SOPS 345093 HAS SOUS 103775 HAS SOUPS 98390 WITH SCORE 98751.879
AT ITER 570 NEW BEST:: SOT 512285 SOS 361723 HAS SOPS 344917 HAS SOUS 103611 HAS SOUPS 98214 WITH SCORE 98575.723
AT ITER 574 NEW BEST:: SOT 512285 SOS 361781 HAS SOPS 344974 HAS SOUS 103610 HAS SOUPS 98213 WITH SCORE 98574.781
AT ITER 576 NEW BEST:: SOT 512285 SOS 361536 HAS SOPS 344724 HAS SOUS 103600 HAS SOUPS 98203 WITH SCORE 98564.536
AT ITER 579 NEW BEST:: SOT 512271 SOS 361499 HAS SOPS 344560 HAS SOUS 103453 HAS SOUPS 98056 WITH SCORE 98417.499
AT ITER 583 NEW BEST:: SOT 512271 SOS 360603 HAS SOPS 343556 HAS SOUS 103305 HAS SOUPS 97924 WITH SCORE 98284.603
AT ITER 587 NEW BEST:: SOT 511769 SOS 361582 HAS SOPS 344584 HAS SOUS 102912 HAS SOUPS 97531 WITH SCORE 97892.582
AT ITER 588 NEW BEST:: SOT 512149 SOS 362069 HAS SOPS 345843 HAS SOUS 100998 HAS SOUPS 95691 WITH SCORE 96053.069
AT ITER 592 NEW BEST:: SOT 512149 SOS 362648 HAS SOPS 346365 HAS SOUS 101016 HAS SOUPS 95666 WITH SCORE 96028.648
AT ITER 599 NEW BEST:: SOT 513097 SOS 363478 HAS SOPS 347313 HAS SOUS 100132 HAS SOUPS 94821 WITH SCORE 95184.478
AT ITER 601 NEW BEST:: SOT 513331 SOS 361004 HAS SOPS 345484 HAS SOUS 97414 HAS SOUPS 92174 WITH SCORE 92535.004
AT ITER 602 NEW BEST:: SOT 511640 SOS 359662 HAS SOPS 344053 HAS SOUS 95474 HAS SOUPS 90312 WITH SCORE 90671.662
AT ITER 603 NEW BEST:: SOT 510876 SOS 358898 HAS SOPS 343289 HAS SOUS 94710 HAS SOUPS 89548 WITH SCORE 89906.898
AT ITER 608 NEW BEST:: SOT 512033 SOS 359928 HAS SOPS 344470 HAS SOUS 94468 HAS SOUPS 89361 WITH SCORE 89720.928
AT ITER 609 NEW BEST:: SOT 511915 SOS 359810 HAS SOPS 344299 HAS SOUS 94297 HAS SOUPS 89137 WITH SCORE 89496.81
AT ITER 611 NEW BEST:: SOT 512910 SOS 360651 HAS SOPS 345328 HAS SOUS 93697 HAS SOUPS 88590 WITH SCORE 88950.651
AT ITER 612 NEW BEST:: SOT 514615 SOS 365087 HAS SOPS 352035 HAS SOUS 92721 HAS SOUPS 87717 WITH SCORE 88082.087
AT ITER 616 NEW BEST:: SOT 514610 SOS 365082 HAS SOPS 352030 HAS SOUS 92783 HAS SOUPS 87712 WITH SCORE 88077.082
AT ITER 617 NEW BEST:: SOT 520464 SOS 369461 HAS SOPS 357954 HAS SOUS 90820 HAS SOUPS 85937 WITH SCORE 86306.461
AT ITER 618 NEW BEST:: SOT 520464 SOS 369461 HAS SOPS 357902 HAS SOUS 90768 HAS SOUPS 85885 WITH SCORE 86254.461
AT ITER 621 NEW BEST:: SOT 520464 SOS 368715 HAS SOPS 357041 HAS SOUS 90713 HAS SOUPS 85742 WITH SCORE 86110.715
AT ITER 630 NEW BEST:: SOT 520464 SOS 367869 HAS SOPS 356166 HAS SOUS 90654 HAS SOUPS 85671 WITH SCORE 86038.869
AT ITER 633 NEW BEST:: SOT 520464 SOS 368434 HAS SOPS 356716 HAS SOUS 90665 HAS SOUPS 85667 WITH SCORE 86035.434
AT ITER 641 NEW BEST:: SOT 520174 SOS 370899 HAS SOPS 359348 HAS SOUS 90712 HAS SOUPS 85575 WITH SCORE 85945.899
AT ITER 644 NEW BEST:: SOT 520174 SOS 372847 HAS SOPS 361221 HAS SOUS 90715 HAS SOUPS 85519 WITH SCORE 85891.847
AT ITER 645 NEW BEST:: SOT 520174 SOS 372878 HAS SOPS 361221 HAS SOUS 90684 HAS SOUPS 85488 WITH SCORE 85860.878
AT ITER 650 NEW BEST:: SOT 520358 SOS 371665 HAS SOPS 359865 HAS SOUS 90665 HAS SOUPS 85469 WITH SCORE 85840.665
AT ITER 652 NEW BEST:: SOT 519953 SOS 370960 HAS SOPS 359252 HAS SOUS 90396 HAS SOUPS 85236 WITH SCORE 85606.96
AT ITER 674 NEW BEST:: SOT 519953 SOS 371011 HAS SOPS 359298 HAS SOUS 90393 HAS SOUPS 85228 WITH SCORE 85599.011
AT ITER 684 NEW BEST:: SOT 519953 SOS 369552 HAS SOPS 357839 HAS SOUS 90374 HAS SOUPS 85187 WITH SCORE 85556.552
AT ITER 686 NEW BEST:: SOT 519953 SOS 369456 HAS SOPS 357741 HAS SOUS 90368 HAS SOUPS 85183 WITH SCORE 85552.456
AT ITER 687 NEW BEST:: SOT 519953 SOS 370432 HAS SOPS 358691 HAS SOUS 90406 HAS SOUPS 85176 WITH SCORE 85546.432
AT ITER 690 NEW BEST:: SOT 519948 SOS 369437 HAS SOPS 357432 HAS SOUS 90062 HAS SOUPS 84878 WITH SCORE 85247.437
AT ITER 691 NEW BEST:: SOT 519948 SOS 369437 HAS SOPS 357427 HAS SOUS 90057 HAS SOUPS 84868 WITH SCORE 85237.437
AT ITER 696 NEW BEST:: SOT 519948 SOS 369335 HAS SOPS 357327 HAS SOUS 90053 HAS SOUPS 84868 WITH SCORE 85237.335
AT ITER 699 NEW BEST:: SOT 520038 SOS 369419 HAS SOPS 357417 HAS SOUS 89999 HAS SOUPS 84817 WITH SCORE 85186.419
AT ITER 701 NEW BEST:: SOT 520038 SOS 366263 HAS SOPS 353949 HAS SOUS 89551 HAS SOUPS 84369 WITH SCORE 84735.263
AT ITER 702 NEW BEST:: SOT 520127 SOS 366350 HAS SOPS 354038 HAS SOUS 89542 HAS SOUPS 84362 WITH SCORE 84728.35
AT ITER 709 NEW BEST:: SOT 520127 SOS 366267 HAS SOPS 353955 HAS SOUS 89459 HAS SOUPS 84279 WITH SCORE 84645.267
AT ITER 711 NEW BEST:: SOT 520127 SOS 366267 HAS SOPS 353926 HAS SOUS 89415 HAS SOUPS 84221 WITH SCORE 84587.267
AT ITER 712 NEW BEST:: SOT 520127 SOS 367967 HAS SOPS 355569 HAS SOUS 89369 HAS SOUPS 84175 WITH SCORE 84542.967
AT ITER 716 NEW BEST:: SOT 520127 SOS 367967 HAS SOPS 355557 HAS SOUS 89357 HAS SOUPS 84151 WITH SCORE 84518.967
AT ITER 732 NEW BEST:: SOT 520127 SOS 367814 HAS SOPS 355404 HAS SOUS 89351 HAS SOUPS 84145 WITH SCORE 84512.814
AT ITER 736 NEW BEST:: SOT 520963 SOS 368583 HAS SOPS 356240 HAS SOUS 88704 HAS SOUPS 83529 WITH SCORE 83897.583
AT ITER 740 NEW BEST:: SOT 521801 SOS 369383 HAS SOPS 357078 HAS SOUS 88630 HAS SOUPS 83474 WITH SCORE 83843.383
AT ITER 741 NEW BEST:: SOT 525299 SOS 372425 HAS SOPS 360619 HAS SOUS 87503 HAS SOUPS 82462 WITH SCORE 82834.425
AT ITER 744 NEW BEST:: SOT 525299 SOS 372425 HAS SOPS 360593 HAS SOUS 87486 HAS SOUPS 82410 WITH SCORE 82782.425
AT ITER 751 NEW BEST:: SOT 525299 SOS 370708 HAS SOPS 358867 HAS SOUS 87411 HAS SOUPS 82335 WITH SCORE 82705.708
AT ITER 752 NEW BEST:: SOT 525315 SOS 370717 HAS SOPS 358884 HAS SOUS 87386 HAS SOUPS 82311 WITH SCORE 82681.717
AT ITER 781 NEW BEST:: SOT 525315 SOS 368779 HAS SOPS 356946 HAS SOUS 87259 HAS SOUPS 82235 WITH SCORE 82603.779
AT ITER 786 NEW BEST:: SOT 525315 SOS 368779 HAS SOPS 356921 HAS SOUS 87234 HAS SOUPS 82185 WITH SCORE 82553.779
AT ITER 797 NEW BEST:: SOT 525315 SOS 368779 HAS SOPS 356918 HAS SOUS 87228 HAS SOUPS 82179 WITH SCORE 82547.779
AT ITER 803 NEW BEST:: SOT 525206 SOS 368858 HAS SOPS 357009 HAS SOUS 87139 HAS SOUPS 82090 WITH SCORE 82458.858
AT ITER 810 NEW BEST:: SOT 525206 SOS 368510 HAS SOPS 356550 HAS SOUS 87010 HAS SOUPS 81961 WITH SCORE 82329.51
AT ITER 817 NEW BEST:: SOT 525206 SOS 367823 HAS SOPS 355863 HAS SOUS 86947 HAS SOUPS 81911 WITH SCORE 82278.823
AT ITER 819 NEW BEST:: SOT 525320 SOS 367881 HAS SOPS 355977 HAS SOUS 86717 HAS SOUPS 81689 WITH SCORE 82056.881
AT ITER 821 NEW BEST:: SOT 525265 SOS 367826 HAS SOPS 355922 HAS SOUS 86662 HAS SOUPS 81634 WITH SCORE 82001.826
AT ITER 822 NEW BEST:: SOT 526215 SOS 368666 HAS SOPS 356872 HAS SOUS 86172 HAS SOUPS 81175 WITH SCORE 81543.666
AT ITER 830 NEW BEST:: SOT 526305 SOS 368621 HAS SOPS 356977 HAS SOUS 85662 HAS SOUPS 80695 WITH SCORE 81063.621
AT ITER 842 NEW BEST:: SOT 526305 SOS 368774 HAS SOPS 357024 HAS SOUS 85635 HAS SOUPS 80489 WITH SCORE 80857.774
AT ITER 856 NEW BEST:: SOT 526305 SOS 368723 HAS SOPS 356973 HAS SOUS 85565 HAS SOUPS 80487 WITH SCORE 80855.723
AT ITER 879 NEW BEST:: SOT 526305 SOS 368697 HAS SOPS 356947 HAS SOUS 85551 HAS SOUPS 80487 WITH SCORE 80855.697
AT ITER 890 NEW BEST:: SOT 526305 SOS 365976 HAS SOPS 353860 HAS SOUS 85059 HAS SOUPS 80058 WITH SCORE 80423.976
AT ITER 898 NEW BEST:: SOT 528390 SOS 367528 HAS SOPS 356038 HAS SOUS 83063 HAS SOUPS 78158 WITH SCORE 78525.528
AT ITER 901 NEW BEST:: SOT 528390 SOS 368499 HAS SOPS 356988 HAS SOUS 83080 HAS SOUPS 78156 WITH SCORE 78524.499
AT ITER 902 NEW BEST:: SOT 528129 SOS 368896 HAS SOPS 357237 HAS SOUS 82902 HAS SOUPS 77915 WITH SCORE 78283.896
AT ITER 913 NEW BEST:: SOT 528085 SOS 368852 HAS SOPS 357193 HAS SOUS 82858 HAS SOUPS 77871 WITH SCORE 78239.852
AT ITER 916 NEW BEST:: SOT 528085 SOS 367883 HAS SOPS 356224 HAS SOUS 82730 HAS SOUPS 77833 WITH SCORE 78200.883
AT ITER 927 NEW BEST:: SOT 528085 SOS 367586 HAS SOPS 355918 HAS SOUS 82709 HAS SOUPS 77812 WITH SCORE 78179.586
AT ITER 934 NEW BEST:: SOT 527988 SOS 367490 HAS SOPS 355821 HAS SOUS 82661 HAS SOUPS 77763 WITH SCORE 78130.49
AT ITER 944 NEW BEST:: SOT 525101 SOS 363621 HAS SOPS 351036 HAS SOUS 81573 HAS SOUPS 76619 WITH SCORE 76982.621
AT ITER 945 NEW BEST:: SOT 525069 SOS 363515 HAS SOPS 350869 HAS SOUS 81405 HAS SOUPS 76465 WITH SCORE 76828.515
AT ITER 966 NEW BEST:: SOT 525028 SOS 363286 HAS SOPS 350117 HAS SOUS 80813 HAS SOUPS 75873 WITH SCORE 76236.286
AT ITER 972 NEW BEST:: SOT 525008 SOS 363266 HAS SOPS 350062 HAS SOUS 80758 HAS SOUPS 75783 WITH SCORE 76146.266
AT ITER 979 NEW BEST:: SOT 525008 SOS 359954 HAS SOPS 346773 HAS SOUS 80589 HAS SOUPS 75699 WITH SCORE 76058.954
AT ITER 980 NEW BEST:: SOT 525008 SOS 360024 HAS SOPS 346811 HAS SOUS 80561 HAS SOUPS 75639 WITH SCORE 75999.024
AT ITER 982 NEW BEST:: SOT 525008 SOS 360001 HAS SOPS 346788 HAS SOUS 80581 HAS SOUPS 75639 WITH SCORE 75999.001
AT ITER 985 NEW BEST:: SOT 525008 SOS 360001 HAS SOPS 346721 HAS SOUS 80447 HAS SOUPS 75505 WITH SCORE 75865.001
AT ITER 986 NEW BEST:: SOT 525600 SOS 363166 HAS SOPS 350730 HAS SOUS 78734 HAS SOUPS 73792 WITH SCORE 74155.166
AT ITER 988 NEW BEST:: SOT 525600 SOS 361466 HAS SOPS 349030 HAS SOUS 78748 HAS SOUPS 73724 WITH SCORE 74085.466
AT ITER 989 NEW BEST:: SOT 525690 SOS 361462 HAS SOPS 349120 HAS SOUS 78282 HAS SOUPS 73271 WITH SCORE 73632.462
AT ITER 998 NEW BEST:: SOT 525690 SOS 361439 HAS SOPS 349074 HAS SOUS 78242 HAS SOUPS 73225 WITH SCORE 73586.439
AT ITER 1002 NEW BEST:: SOT 525690 SOS 358126 HAS SOPS 345788 HAS SOUS 78139 HAS SOUPS 73149 WITH SCORE 73507.126
AT ITER 1011 NEW BEST:: SOT 525726 SOS 358114 HAS SOPS 345824 HAS SOUS 77923 HAS SOUPS 72939 WITH SCORE 73297.114
AT ITER 1012 NEW BEST:: SOT 525726 SOS 358107 HAS SOPS 345817 HAS SOUS 77916 HAS SOUPS 72932 WITH SCORE 73290.107
AT ITER 1018 NEW BEST:: SOT 525726 SOS 358107 HAS SOPS 345807 HAS SOUS 77896 HAS SOUPS 72912 WITH SCORE 73270.107
AT ITER 1024 NEW BEST:: SOT 525726 SOS 358057 HAS SOPS 345757 HAS SOUS 77894 HAS SOUPS 72910 WITH SCORE 73268.057
AT ITER 1033 NEW BEST:: SOT 525706 SOS 358037 HAS SOPS 345737 HAS SOUS 77874 HAS SOUPS 72890 WITH SCORE 73248.037
AT ITER 1041 NEW BEST:: SOT 525706 SOS 357021 HAS SOPS 343737 HAS SOUS 76810 HAS SOUPS 71826 WITH SCORE 72183.021
AT ITER 1047 NEW BEST:: SOT 525706 SOS 357021 HAS SOPS 343727 HAS SOUS 76800 HAS SOUPS 71806 WITH SCORE 72163.021
AT ITER 1048 NEW BEST:: SOT 525706 SOS 357021 HAS SOPS 343719 HAS SOUS 76784 HAS SOUPS 71790 WITH SCORE 72147.021
AT ITER 1052 NEW BEST:: SOT 525662 SOS 356977 HAS SOPS 343675 HAS SOUS 76740 HAS SOUPS 71746 WITH SCORE 72102.977
AT ITER 1087 NEW BEST:: SOT 525662 SOS 356824 HAS SOPS 343522 HAS SOUS 76734 HAS SOUPS 71740 WITH SCORE 72096.824
AT ITER 1092 NEW BEST:: SOT 525634 SOS 356796 HAS SOPS 343494 HAS SOUS 76706 HAS SOUPS 71712 WITH SCORE 72068.796
AT ITER 1100 NEW BEST:: SOT 524691 SOS 360197 HAS SOPS 347192 HAS SOUS 76334 HAS SOUPS 71248 WITH SCORE 71608.197
AT ITER 1114 NEW BEST:: SOT 524641 SOS 360147 HAS SOPS 347091 HAS SOUS 76233 HAS SOUPS 71096 WITH SCORE 71456.147
AT ITER 1121 NEW BEST:: SOT 524641 SOS 359547 HAS SOPS 346491 HAS SOUS 76229 HAS SOUPS 71072 WITH SCORE 71431.547
AT ITER 1122 NEW BEST:: SOT 524654 SOS 362769 HAS SOPS 349578 HAS SOUS 76123 HAS SOUPS 70943 WITH SCORE 71305.769
AT ITER 1128 NEW BEST:: SOT 524654 SOS 362769 HAS SOPS 349559 HAS SOUS 76104 HAS SOUPS 70905 WITH SCORE 71267.769
AT ITER 1136 NEW BEST:: SOT 524654 SOS 362769 HAS SOPS 349554 HAS SOUS 76099 HAS SOUPS 70895 WITH SCORE 71257.769
AT ITER 1144 NEW BEST:: SOT 524755 SOS 362870 HAS SOPS 349603 HAS SOUS 76148 HAS SOUPS 70892 WITH SCORE 71254.87
AT ITER 1150 NEW BEST:: SOT 524755 SOS 359606 HAS SOPS 346404 HAS SOUS 76085 HAS SOUPS 70894 WITH SCORE 71253.606
AT ITER 1156 NEW BEST:: SOT 524755 SOS 359602 HAS SOPS 346396 HAS SOUS 76077 HAS SOUPS 70886 WITH SCORE 71245.602
AT ITER 1163 NEW BEST:: SOT 524755 SOS 357111 HAS SOPS 343916 HAS SOUS 75941 HAS SOUPS 70818 WITH SCORE 71175.111
AT ITER 1164 NEW BEST:: SOT 524755 SOS 356754 HAS SOPS 343559 HAS SOUS 75927 HAS SOUPS 70804 WITH SCORE 71160.754
AT ITER 1166 NEW BEST:: SOT 526335 SOS 358186 HAS SOPS 345139 HAS SOUS 75805 HAS SOUPS 70719 WITH SCORE 71077.186
AT ITER 1175 NEW BEST:: SOT 526335 SOS 357982 HAS SOPS 344938 HAS SOUS 75766 HAS SOUPS 70717 WITH SCORE 71074.982
AT ITER 1182 NEW BEST:: SOT 526335 SOS 357132 HAS SOPS 344088 HAS SOUS 75737 HAS SOUPS 70683 WITH SCORE 71040.132
AT ITER 1194 NEW BEST:: SOT 526254 SOS 357053 HAS SOPS 344007 HAS SOUS 75704 HAS SOUPS 70649 WITH SCORE 71006.053
AT ITER 1200 NEW BEST:: SOT 526253 SOS 352503 HAS SOPS 337823 HAS SOUS 73712 HAS SOUPS 68892 WITH SCORE 69244.503
AT ITER 1207 NEW BEST:: SOT 526246 SOS 352496 HAS SOPS 337816 HAS SOUS 73705 HAS SOUPS 68885 WITH SCORE 69237.496
AT ITER 1209 NEW BEST:: SOT 526369 SOS 352616 HAS SOPS 337939 HAS SOUS 73681 HAS SOUPS 68864 WITH SCORE 69216.616
AT ITER 1213 NEW BEST:: SOT 526369 SOS 351902 HAS SOPS 337225 HAS SOUS 73653 HAS SOUPS 68836 WITH SCORE 69187.902
AT ITER 1215 NEW BEST:: SOT 527061 SOS 352348 HAS SOPS 337957 HAS SOUS 72648 HAS SOUPS 67894 WITH SCORE 68246.348
AT ITER 1221 NEW BEST:: SOT 527061 SOS 352375 HAS SOPS 337976 HAS SOUS 72619 HAS SOUPS 67874 WITH SCORE 68226.375
AT ITER 1224 NEW BEST:: SOT 527051 SOS 349171 HAS SOPS 334601 HAS SOUS 72346 HAS SOUPS 67601 WITH SCORE 67950.171
AT ITER 1229 NEW BEST:: SOT 527049 SOS 349186 HAS SOPS 334531 HAS SOUS 72240 HAS SOUPS 67495 WITH SCORE 67844.186
AT ITER 1240 NEW BEST:: SOT 531073 SOS 352788 HAS SOPS 338555 HAS SOUS 71986 HAS SOUPS 67335 WITH SCORE 67687.788
AT ITER 1247 NEW BEST:: SOT 531073 SOS 351615 HAS SOPS 337382 HAS SOUS 71940 HAS SOUPS 67289 WITH SCORE 67640.615
AT ITER 1259 NEW BEST:: SOT 531073 SOS 350455 HAS SOPS 336222 HAS SOUS 71932 HAS SOUPS 67265 WITH SCORE 67615.455
AT ITER 1260 NEW BEST:: SOT 531058 SOS 350440 HAS SOPS 336207 HAS SOUS 71917 HAS SOUPS 67250 WITH SCORE 67600.44
AT ITER 1268 NEW BEST:: SOT 531058 SOS 348553 HAS SOPS 334357 HAS SOUS 71843 HAS SOUPS 67250 WITH SCORE 67598.553
AT ITER 1272 NEW BEST:: SOT 531130 SOS 348492 HAS SOPS 334429 HAS SOUS 71298 HAS SOUPS 66720 WITH SCORE 67068.492
AT ITER 1279 NEW BEST:: SOT 531833 SOS 349357 HAS SOPS 335540 HAS SOUS 70597 HAS SOUPS 66019 WITH SCORE 66368.357
AT ITER 1283 NEW BEST:: SOT 531833 SOS 349356 HAS SOPS 335539 HAS SOUS 70596 HAS SOUPS 66018 WITH SCORE 66367.356
AT ITER 1290 NEW BEST:: SOT 531820 SOS 349343 HAS SOPS 335526 HAS SOUS 70583 HAS SOUPS 66005 WITH SCORE 66354.343
AT ITER 1295 NEW BEST:: SOT 531776 SOS 349299 HAS SOPS 335427 HAS SOUS 70484 HAS SOUPS 65851 WITH SCORE 66200.299
AT ITER 1319 NEW BEST:: SOT 530657 SOS 348193 HAS SOPS 334308 HAS SOUS 70002 HAS SOUPS 65356 WITH SCORE 65704.193
AT ITER 1322 NEW BEST:: SOT 530657 SOS 347154 HAS SOPS 333226 HAS SOUS 69823 HAS SOUPS 65309 WITH SCORE 65656.154
AT ITER 1324 NEW BEST:: SOT 530657 SOS 347103 HAS SOPS 333175 HAS SOUS 69843 HAS SOUPS 65307 WITH SCORE 65654.103
AT ITER 1347 NEW BEST:: SOT 530064 SOS 346135 HAS SOPS 332082 HAS SOUS 69105 HAS SOUPS 64569 WITH SCORE 64915.135
AT ITER 1360 NEW BEST:: SOT 530064 SOS 345829 HAS SOPS 331776 HAS SOUS 69085 HAS SOUPS 64557 WITH SCORE 64902.829
AT ITER 1363 NEW BEST:: SOT 530064 SOS 345829 HAS SOPS 331722 HAS SOUS 69031 HAS SOUPS 64449 WITH SCORE 64794.829
AT ITER 1368 NEW BEST:: SOT 531215 SOS 346587 HAS SOPS 332932 HAS SOUS 67684 HAS SOUPS 63220 WITH SCORE 63566.587
AT ITER 1373 NEW BEST:: SOT 531591 SOS 347746 HAS SOPS 334408 HAS SOUS 67321 HAS SOUPS 62879 WITH SCORE 63226.746
AT ITER 1389 NEW BEST:: SOT 531591 SOS 347593 HAS SOPS 334255 HAS SOUS 67315 HAS SOUPS 62873 WITH SCORE 63220.593
AT ITER 1398 NEW BEST:: SOT 531160 SOS 347162 HAS SOPS 333824 HAS SOUS 66884 HAS SOUPS 62442 WITH SCORE 62789.162
AT ITER 1412 NEW BEST:: SOT 531155 SOS 347157 HAS SOPS 333806 HAS SOUS 66866 HAS SOUPS 62411 WITH SCORE 62758.157
AT ITER 1416 NEW BEST:: SOT 531144 SOS 347146 HAS SOPS 333795 HAS SOUS 66855 HAS SOUPS 62400 WITH SCORE 62747.146
AT ITER 1435 NEW BEST:: SOT 531137 SOS 347132 HAS SOPS 333778 HAS SOUS 66838 HAS SOUPS 62383 WITH SCORE 62730.132
AT ITER 1442 NEW BEST:: SOT 531137 SOS 347132 HAS SOPS 333771 HAS SOUS 66831 HAS SOUPS 62369 WITH SCORE 62716.132
AT ITER 1452 NEW BEST:: SOT 531137 SOS 347100 HAS SOPS 333695 HAS SOUS 66743 HAS SOUPS 62281 WITH SCORE 62628.1
AT ITER 1465 NEW BEST:: SOT 531137 SOS 347100 HAS SOPS 333693 HAS SOUS 66741 HAS SOUPS 62277 WITH SCORE 62624.1
AT ITER 1471 NEW BEST:: SOT 531137 SOS 349650 HAS SOPS 336143 HAS SOUS 66803 HAS SOUPS 62177 WITH SCORE 62526.65
AT ITER 1488 NEW BEST:: SOT 531137 SOS 349639 HAS SOPS 336132 HAS SOUS 66803 HAS SOUPS 62177 WITH SCORE 62526.639
AT ITER 1506 NEW BEST:: SOT 531137 SOS 348773 HAS SOPS 335082 HAS SOUS 66577 HAS SOUPS 61951 WITH SCORE 62299.773
AT ITER 1526 NEW BEST:: SOT 529486 SOS 347146 HAS SOPS 333431 HAS SOUS 65952 HAS SOUPS 61305 WITH SCORE 61652.146
AT ITER 1546 NEW BEST:: SOT 529486 SOS 346846 HAS SOPS 333121 HAS SOUS 65926 HAS SOUPS 61279 WITH SCORE 61625.846
AT ITER 1550 NEW BEST:: SOT 529484 SOS 346829 HAS SOPS 333019 HAS SOUS 65835 HAS SOUPS 61188 WITH SCORE 61534.829
AT ITER 1556 NEW BEST:: SOT 529484 SOS 346779 HAS SOPS 332969 HAS SOUS 65833 HAS SOUPS 61186 WITH SCORE 61532.779
AT ITER 1560 NEW BEST:: SOT 529476 SOS 346771 HAS SOPS 332961 HAS SOUS 65900 HAS SOUPS 61178 WITH SCORE 61524.771
AT ITER 1606 NEW BEST:: SOT 529476 SOS 346771 HAS SOPS 332943 HAS SOUS 65864 HAS SOUPS 61142 WITH SCORE 61488.771
AT ITER 1607 NEW BEST:: SOT 527001 SOS 344483 HAS SOPS 330400 HAS SOUS 65715 HAS SOUPS 60941 WITH SCORE 61285.483
AT ITER 1611 NEW BEST:: SOT 527871 SOS 345079 HAS SOPS 331312 HAS SOUS 64801 HAS SOUPS 60111 WITH SCORE 60456.079
AT ITER 1636 NEW BEST:: SOT 527765 SOS 344946 HAS SOPS 331053 HAS SOUS 64713 HAS SOUPS 60020 WITH SCORE 60364.946
AT ITER 1668 NEW BEST:: SOT 527765 SOS 344596 HAS SOPS 330703 HAS SOUS 64699 HAS SOUPS 60013 WITH SCORE 60357.596
AT ITER 1679 NEW BEST:: SOT 527765 SOS 344596 HAS SOPS 330702 HAS SOUS 64698 HAS SOUPS 60011 WITH SCORE 60355.596
AT ITER 1686 NEW BEST:: SOT 527765 SOS 344593 HAS SOPS 330676 HAS SOUS 64672 HAS SOUPS 59965 WITH SCORE 60309.593
AT ITER 1687 NEW BEST:: SOT 527765 SOS 344491 HAS SOPS 330574 HAS SOUS 64668 HAS SOUPS 59961 WITH SCORE 60305.491
AT ITER 1699 NEW BEST:: SOT 527765 SOS 343120 HAS SOPS 329218 HAS SOUS 64635 HAS SOUPS 59937 WITH SCORE 60280.12
AT ITER 1714 NEW BEST:: SOT 527765 SOS 342967 HAS SOPS 329065 HAS SOUS 64614 HAS SOUPS 59931 WITH SCORE 60273.967
AT ITER 1727 NEW BEST:: SOT 527765 SOS 342814 HAS SOPS 328915 HAS SOUS 64611 HAS SOUPS 59931 WITH SCORE 60273.814
AT ITER 1731 NEW BEST:: SOT 527671 SOS 342720 HAS SOPS 328821 HAS SOUS 64517 HAS SOUPS 59837 WITH SCORE 60179.72
AT ITER 1738 NEW BEST:: SOT 527671 SOS 342715 HAS SOPS 328815 HAS SOUS 64511 HAS SOUPS 59831 WITH SCORE 60173.715
AT ITER 1742 NEW BEST:: SOT 527671 SOS 342661 HAS SOPS 328753 HAS SOUS 64495 HAS SOUPS 59815 WITH SCORE 60157.661
AT ITER 1744 NEW BEST:: SOT 527671 SOS 342992 HAS SOPS 329074 HAS SOUS 64499 HAS SOUPS 59809 WITH SCORE 60151.992
AT ITER 1745 NEW BEST:: SOT 527357 SOS 342624 HAS SOPS 328652 HAS SOUS 64077 HAS SOUPS 59387 WITH SCORE 59729.624
AT ITER 1746 NEW BEST:: SOT 527357 SOS 342624 HAS SOPS 328635 HAS SOUS 64060 HAS SOUPS 59353 WITH SCORE 59695.624
AT ITER 1754 NEW BEST:: SOT 527357 SOS 342409 HAS SOPS 327258 HAS SOUS 62844 HAS SOUPS 58137 WITH SCORE 58479.409
AT ITER 1760 NEW BEST:: SOT 528512 SOS 343417 HAS SOPS 328441 HAS SOUS 62774 HAS SOUPS 58123 WITH SCORE 58466.417
AT ITER 1762 NEW BEST:: SOT 528512 SOS 345248 HAS SOPS 330236 HAS SOUS 62810 HAS SOUPS 58118 WITH SCORE 58463.248
AT ITER 1776 NEW BEST:: SOT 527156 SOS 344054 HAS SOPS 328849 HAS SOUS 62811 HAS SOUPS 58057 WITH SCORE 58401.054
AT ITER 1784 NEW BEST:: SOT 527156 SOS 344054 HAS SOPS 328843 HAS SOUS 62805 HAS SOUPS 58045 WITH SCORE 58389.054
AT ITER 1786 NEW BEST:: SOT 527156 SOS 344054 HAS SOPS 328826 HAS SOUS 62788 HAS SOUPS 58011 WITH SCORE 58355.054
AT ITER 1795 NEW BEST:: SOT 527362 SOS 344240 HAS SOPS 329037 HAS SOUS 62774 HAS SOUPS 58002 WITH SCORE 58346.24
AT ITER 1824 NEW BEST:: SOT 527362 SOS 347504 HAS SOPS 332213 HAS SOUS 62902 HAS SOUPS 57954 WITH SCORE 58301.504
AT ITER 1825 NEW BEST:: SOT 527362 SOS 347456 HAS SOPS 331813 HAS SOUS 62534 HAS SOUPS 57586 WITH SCORE 57933.456
AT ITER 1829 NEW BEST:: SOT 527362 SOS 347268 HAS SOPS 331603 HAS SOUS 62518 HAS SOUPS 57550 WITH SCORE 57897.268
AT ITER 1831 NEW BEST:: SOT 527362 SOS 347268 HAS SOPS 331574 HAS SOUS 62489 HAS SOUPS 57492 WITH SCORE 57839.268
AT ITER 1850 NEW BEST:: SOT 527362 SOS 347268 HAS SOPS 331552 HAS SOUS 62445 HAS SOUPS 57448 WITH SCORE 57795.268
AT ITER 1856 NEW BEST:: SOT 527362 SOS 347713 HAS SOPS 331983 HAS SOUS 62449 HAS SOUPS 57438 WITH SCORE 57785.713
AT ITER 1861 NEW BEST:: SOT 527692 SOS 347990 HAS SOPS 332323 HAS SOUS 62342 HAS SOUPS 57351 WITH SCORE 57698.99
AT ITER 1868 NEW BEST:: SOT 527692 SOS 347633 HAS SOPS 331966 HAS SOUS 62328 HAS SOUPS 57337 WITH SCORE 57684.633
AT ITER 1870 NEW BEST:: SOT 527692 SOS 347021 HAS SOPS 331354 HAS SOUS 62284 HAS SOUPS 57313 WITH SCORE 57660.021
AT ITER 1879 NEW BEST:: SOT 527806 SOS 347122 HAS SOPS 331468 HAS SOUS 62261 HAS SOUPS 57293 WITH SCORE 57640.122
AT ITER 1880 NEW BEST:: SOT 527806 SOS 346969 HAS SOPS 331315 HAS SOUS 62255 HAS SOUPS 57287 WITH SCORE 57633.969
AT ITER 1890 NEW BEST:: SOT 527806 SOS 347046 HAS SOPS 331374 HAS SOUS 62314 HAS SOUPS 57255 WITH SCORE 57602.046
AT ITER 1909 NEW BEST:: SOT 527806 SOS 346995 HAS SOPS 331323 HAS SOUS 62307 HAS SOUPS 57253 WITH SCORE 57599.995
AT ITER 1921 NEW BEST:: SOT 527806 SOS 347397 HAS SOPS 331715 HAS SOUS 62317 HAS SOUPS 57249 WITH SCORE 57596.397
AT ITER 1936 NEW BEST:: SOT 527806 SOS 346697 HAS SOPS 331001 HAS SOUS 62275 HAS SOUPS 57207 WITH SCORE 57553.697
AT ITER 1939 NEW BEST:: SOT 527471 SOS 346368 HAS SOPS 330516 HAS SOUS 62178 HAS SOUPS 57102 WITH SCORE 57448.368
AT ITER 1940 NEW BEST:: SOT 527429 SOS 346326 HAS SOPS 330474 HAS SOUS 62136 HAS SOUPS 57060 WITH SCORE 57406.326
AT ITER 1941 NEW BEST:: SOT 527390 SOS 346287 HAS SOPS 330435 HAS SOUS 62097 HAS SOUPS 57021 WITH SCORE 57367.287
AT ITER 1959 NEW BEST:: SOT 527390 SOS 345981 HAS SOPS 330129 HAS SOUS 62091 HAS SOUPS 57009 WITH SCORE 57354.981
AT ITER 1987 NEW BEST:: SOT 528775 SOS 347219 HAS SOPS 331514 HAS SOUS 61873 HAS SOUPS 56826 WITH SCORE 57173.219
AT ITER 1994 NEW BEST:: SOT 528775 SOS 347207 HAS SOPS 331490 HAS SOUS 61849 HAS SOUPS 56802 WITH SCORE 57149.207
AT ITER 2005 NEW BEST:: SOT 528774 SOS 347206 HAS SOPS 331489 HAS SOUS 61848 HAS SOUPS 56801 WITH SCORE 57148.206
AT ITER 2006 NEW BEST:: SOT 528774 SOS 347168 HAS SOPS 331413 HAS SOUS 61772 HAS SOUPS 56725 WITH SCORE 57072.168
AT ITER 2028 NEW BEST:: SOT 528744 SOS 347108 HAS SOPS 331333 HAS SOUS 61770 HAS SOUPS 56722 WITH SCORE 57069.108
AT ITER 2035 NEW BEST:: SOT 528744 SOS 346292 HAS SOPS 330521 HAS SOUS 61726 HAS SOUPS 56698 WITH SCORE 57044.292
AT ITER 2070 NEW BEST:: SOT 528744 SOS 345782 HAS SOPS 330011 HAS SOUS 61706 HAS SOUPS 56678 WITH SCORE 57023.782
AT ITER 2094 NEW BEST:: SOT 528744 SOS 345766 HAS SOPS 329995 HAS SOUS 61706 HAS SOUPS 56678 WITH SCORE 57023.766
AT ITER 2095 NEW BEST:: SOT 528744 SOS 345380 HAS SOPS 329587 HAS SOUS 61652 HAS SOUPS 56640 WITH SCORE 56985.38
AT ITER 2106 NEW BEST:: SOT 530124 SOS 346577 HAS SOPS 331001 HAS SOUS 61549 HAS SOUPS 56605 WITH SCORE 56951.577
AT ITER 2115 NEW BEST:: SOT 528150 SOS 344737 HAS SOPS 328998 HAS SOUS 61033 HAS SOUPS 56056 WITH SCORE 56400.737
AT ITER 2124 NEW BEST:: SOT 528150 SOS 344125 HAS SOPS 328398 HAS SOUS 61021 HAS SOUPS 56056 WITH SCORE 56400.125
AT ITER 2175 NEW BEST:: SOT 527971 SOS 343946 HAS SOPS 328219 HAS SOUS 60842 HAS SOUPS 55877 WITH SCORE 56220.946
AT ITER 2201 NEW BEST:: SOT 527971 SOS 343897 HAS SOPS 328170 HAS SOUS 60841 HAS SOUPS 55876 WITH SCORE 56219.897
AT ITER 2213 NEW BEST:: SOT 527971 SOS 341416 HAS SOPS 325684 HAS SOUS 60736 HAS SOUPS 55821 WITH SCORE 56162.416
AT ITER 2231 NEW BEST:: SOT 527971 SOS 341416 HAS SOPS 325674 HAS SOUS 60726 HAS SOUPS 55801 WITH SCORE 56142.416
AT ITER 2281 NEW BEST:: SOT 527971 SOS 342012 HAS SOPS 326254 HAS SOUS 60718 HAS SOUPS 55793 WITH SCORE 56135.012
AT ITER 2299 NEW BEST:: SOT 527971 SOS 341979 HAS SOPS 326004 HAS SOUS 60491 HAS SOUPS 55566 WITH SCORE 55907.979
AT ITER 2324 NEW BEST:: SOT 527924 SOS 341903 HAS SOPS 325707 HAS SOUS 60213 HAS SOUPS 55288 WITH SCORE 55629.903
AT ITER 2346 NEW BEST:: SOT 527924 SOS 341953 HAS SOPS 325741 HAS SOUS 60183 HAS SOUPS 55258 WITH SCORE 55599.953
AT ITER 2387 NEW BEST:: SOT 527924 SOS 340829 HAS SOPS 324611 HAS SOUS 60125 HAS SOUPS 55200 WITH SCORE 55540.829
AT ITER 2392 NEW BEST:: SOT 527921 SOS 340826 HAS SOPS 324607 HAS SOUS 60120 HAS SOUPS 55195 WITH SCORE 55535.826
AT ITER 2429 NEW BEST:: SOT 528256 SOS 341129 HAS SOPS 324942 HAS SOUS 60087 HAS SOUPS 55170 WITH SCORE 55511.129
AT ITER 2432 NEW BEST:: SOT 526432 SOS 339373 HAS SOPS 323116 HAS SOUS 59341 HAS SOUPS 54401 WITH SCORE 54740.373
AT ITER 2464 NEW BEST:: SOT 526180 SOS 338932 HAS SOPS 322514 HAS SOUS 59264 HAS SOUPS 54317 WITH SCORE 54655.932
AT ITER 2468 NEW BEST:: SOT 526140 SOS 338811 HAS SOPS 322419 HAS SOUS 59169 HAS SOUPS 54262 WITH SCORE 54600.811
AT ITER 2479 NEW BEST:: SOT 526139 SOS 338809 HAS SOPS 322417 HAS SOUS 59167 HAS SOUPS 54260 WITH SCORE 54598.809
AT ITER 2544 NEW BEST:: SOT 525814 SOS 338496 HAS SOPS 322084 HAS SOUS 59018 HAS SOUPS 54107 WITH SCORE 54445.496
AT ITER 2545 NEW BEST:: SOT 525814 SOS 338116 HAS SOPS 321674 HAS SOUS 58970 HAS SOUPS 54059 WITH SCORE 54397.116
AT ITER 2554 NEW BEST:: SOT 525814 SOS 337861 HAS SOPS 321424 HAS SOUS 58965 HAS SOUPS 54059 WITH SCORE 54396.861
AT ITER 2555 NEW BEST:: SOT 525805 SOS 337852 HAS SOPS 321415 HAS SOUS 58956 HAS SOUPS 54050 WITH SCORE 54387.852
AT ITER 2556 NEW BEST:: SOT 525805 SOS 337460 HAS SOPS 321015 HAS SOUS 58920 HAS SOUPS 54034 WITH SCORE 54371.46
AT ITER 2565 NEW BEST:: SOT 525805 SOS 337447 HAS SOPS 320989 HAS SOUS 58894 HAS SOUPS 54008 WITH SCORE 54345.447
AT ITER 2568 NEW BEST:: SOT 525805 SOS 337447 HAS SOPS 320984 HAS SOUS 58884 HAS SOUPS 53998 WITH SCORE 54335.447
AT ITER 2573 NEW BEST:: SOT 525805 SOS 337397 HAS SOPS 320934 HAS SOUS 58882 HAS SOUPS 53996 WITH SCORE 54333.397
AT ITER 2586 NEW BEST:: SOT 525805 SOS 337397 HAS SOPS 320929 HAS SOUS 58877 HAS SOUPS 53986 WITH SCORE 54323.397
AT ITER 2618 NEW BEST:: SOT 525805 SOS 337397 HAS SOPS 320919 HAS SOUS 58867 HAS SOUPS 53966 WITH SCORE 54303.397
AT ITER 2625 NEW BEST:: SOT 525805 SOS 337397 HAS SOPS 320894 HAS SOUS 58842 HAS SOUPS 53916 WITH SCORE 54253.397
AT ITER 2637 NEW BEST:: SOT 525805 SOS 337397 HAS SOPS 320893 HAS SOUS 58841 HAS SOUPS 53914 WITH SCORE 54251.397
AT ITER 2645 NEW BEST:: SOT 525805 SOS 336920 HAS SOPS 320393 HAS SOUS 58798 HAS SOUPS 53881 WITH SCORE 54217.92
AT ITER 2649 NEW BEST:: SOT 525795 SOS 336900 HAS SOPS 320363 HAS SOUS 58768 HAS SOUPS 53851 WITH SCORE 54187.9
AT ITER 2719 NEW BEST:: SOT 525795 SOS 336900 HAS SOPS 320361 HAS SOUS 58768 HAS SOUPS 53847 WITH SCORE 54183.9
AT ITER 2728 NEW BEST:: SOT 525795 SOS 336849 HAS SOPS 320310 HAS SOUS 58766 HAS SOUPS 53845 WITH SCORE 54181.849
AT ITER 2731 NEW BEST:: SOT 525795 SOS 336986 HAS SOPS 320434 HAS SOUS 58746 HAS SOUPS 53825 WITH SCORE 54161.986
AT ITER 2738 NEW BEST:: SOT 525795 SOS 337378 HAS SOPS 320819 HAS SOUS 58755 HAS SOUPS 53819 WITH SCORE 54156.378
AT ITER 2751 NEW BEST:: SOT 525795 SOS 337378 HAS SOPS 320809 HAS SOUS 58735 HAS SOUPS 53799 WITH SCORE 54136.378
AT ITER 2754 NEW BEST:: SOT 525540 SOS 337117 HAS SOPS 320548 HAS SOUS 58474 HAS SOUPS 53538 WITH SCORE 53875.117
AT ITER 2781 NEW BEST:: SOT 525519 SOS 337096 HAS SOPS 320492 HAS SOUS 58418 HAS SOUPS 53447 WITH SCORE 53784.096
AT ITER 2848 NEW BEST:: SOT 525599 SOS 337037 HAS SOPS 320588 HAS SOUS 57853 HAS SOUPS 52914 WITH SCORE 53251.037
AT ITER 2857 NEW BEST:: SOT 525599 SOS 336891 HAS SOPS 320588 HAS SOUS 57835 HAS SOUPS 52914 WITH SCORE 53250.891
AT ITER 2859 NEW BEST:: SOT 527621 SOS 339580 HAS SOPS 323720 HAS SOUS 57381 HAS SOUPS 52520 WITH SCORE 52859.58
AT ITER 2862 NEW BEST:: SOT 527621 SOS 339019 HAS SOPS 323159 HAS SOUS 57359 HAS SOUPS 52498 WITH SCORE 52837.019
AT ITER 2945 NEW BEST:: SOT 527617 SOS 339015 HAS SOPS 323123 HAS SOUS 57295 HAS SOUPS 52430 WITH SCORE 52769.015
AT ITER 2962 NEW BEST:: SOT 527617 SOS 338811 HAS SOPS 322919 HAS SOUS 57287 HAS SOUPS 52422 WITH SCORE 52760.811
AT ITER 2997 NEW BEST:: SOT 527617 SOS 338759 HAS SOPS 322867 HAS SOUS 57283 HAS SOUPS 52419 WITH SCORE 52757.759
AT ITER 3081 NEW BEST:: SOT 527617 SOS 338759 HAS SOPS 322859 HAS SOUS 57275 HAS SOUPS 52403 WITH SCORE 52741.759
AT ITER 3109 NEW BEST:: SOT 527617 SOS 338754 HAS SOPS 322713 HAS SOUS 57139 HAS SOUPS 52256 WITH SCORE 52594.754
AT ITER 3119 NEW BEST:: SOT 527617 SOS 338550 HAS SOPS 322509 HAS SOUS 57127 HAS SOUPS 52248 WITH SCORE 52586.55
AT ITER 3136 NEW BEST:: SOT 527617 SOS 338698 HAS SOPS 322652 HAS SOUS 57128 HAS SOUPS 52244 WITH SCORE 52582.698
AT ITER 3147 NEW BEST:: SOT 527617 SOS 338548 HAS SOPS 322502 HAS SOUS 57122 HAS SOUPS 52238 WITH SCORE 52576.548
AT ITER 3170 NEW BEST:: SOT 527617 SOS 340727 HAS SOPS 324630 HAS SOUS 57217 HAS SOUPS 52208 WITH SCORE 52548.727
AT ITER 3193 NEW BEST:: SOT 527617 SOS 340727 HAS SOPS 324629 HAS SOUS 57216 HAS SOUPS 52206 WITH SCORE 52546.727
AT ITER 3214 NEW BEST:: SOT 527291 SOS 340406 HAS SOPS 324303 HAS SOUS 57135 HAS SOUPS 52120 WITH SCORE 52460.406
AT ITER 3227 NEW BEST:: SOT 527138 SOS 340253 HAS SOPS 324146 HAS SOUS 56978 HAS SOUPS 51959 WITH SCORE 52299.253
AT ITER 3271 NEW BEST:: SOT 527138 SOS 340989 HAS SOPS 324869 HAS SOUS 56998 HAS SOUPS 51948 WITH SCORE 52288.989
AT ITER 3332 NEW BEST:: SOT 527138 SOS 340933 HAS SOPS 324754 HAS SOUS 56883 HAS SOUPS 51833 WITH SCORE 52173.933
AT ITER 3340 NEW BEST:: SOT 527086 SOS 340886 HAS SOPS 324702 HAS SOUS 56876 HAS SOUPS 51825 WITH SCORE 52165.886
AT ITER 3342 NEW BEST:: SOT 527212 SOS 340951 HAS SOPS 324838 HAS SOUS 56573 HAS SOUPS 51542 WITH SCORE 51882.951
AT ITER 3349 NEW BEST:: SOT 527212 SOS 340798 HAS SOPS 324685 HAS SOUS 56564 HAS SOUPS 51536 WITH SCORE 51876.798
AT ITER 3351 NEW BEST:: SOT 527215 SOS 340801 HAS SOPS 324686 HAS SOUS 56565 HAS SOUPS 51535 WITH SCORE 51875.801
AT ITER 3370 NEW BEST:: SOT 528049 SOS 341513 HAS SOPS 325542 HAS SOUS 56443 HAS SOUPS 51457 WITH SCORE 51798.513
AT ITER 3408 NEW BEST:: SOT 528049 SOS 341263 HAS SOPS 325287 HAS SOUS 56428 HAS SOUPS 51442 WITH SCORE 51783.263
AT ITER 3413 NEW BEST:: SOT 528049 SOS 341263 HAS SOPS 325281 HAS SOUS 56422 HAS SOUPS 51430 WITH SCORE 51771.263
AT ITER 3439 NEW BEST:: SOT 528029 SOS 341206 HAS SOPS 325171 HAS SOUS 56296 HAS SOUPS 51304 WITH SCORE 51645.206
AT ITER 3441 NEW BEST:: SOT 528029 SOS 341204 HAS SOPS 325166 HAS SOUS 56291 HAS SOUPS 51299 WITH SCORE 51640.204
AT ITER 3445 NEW BEST:: SOT 528197 SOS 341356 HAS SOPS 325334 HAS SOUS 56275 HAS SOUPS 51287 WITH SCORE 51628.356
AT ITER 3500 NEW BEST:: SOT 528197 SOS 341152 HAS SOPS 325130 HAS SOUS 56263 HAS SOUPS 51279 WITH SCORE 51620.152
AT ITER 3501 NEW BEST:: SOT 528151 SOS 341106 HAS SOPS 325084 HAS SOUS 56217 HAS SOUPS 51233 WITH SCORE 51574.106
AT ITER 3559 NEW BEST:: SOT 528151 SOS 341101 HAS SOPS 325079 HAS SOUS 56217 HAS SOUPS 51233 WITH SCORE 51574.101
AT ITER 3575 NEW BEST:: SOT 528151 SOS 341101 HAS SOPS 325077 HAS SOUS 56215 HAS SOUPS 51229 WITH SCORE 51570.101
AT ITER 3628 NEW BEST:: SOT 528138 SOS 341088 HAS SOPS 325064 HAS SOUS 56202 HAS SOUPS 51216 WITH SCORE 51557.088
AT ITER 3640 NEW BEST:: SOT 528138 SOS 341088 HAS SOPS 325060 HAS SOUS 56198 HAS SOUPS 51208 WITH SCORE 51549.088
AT ITER 3645 NEW BEST:: SOT 528150 SOS 341100 HAS SOPS 325057 HAS SOUS 56195 HAS SOUPS 51190 WITH SCORE 51531.1
AT ITER 3648 NEW BEST:: SOT 528147 SOS 340757 HAS SOPS 324697 HAS SOUS 56161 HAS SOUPS 51156 WITH SCORE 51496.757
AT ITER 3655 NEW BEST:: SOT 528147 SOS 340754 HAS SOPS 324691 HAS SOUS 56155 HAS SOUPS 51150 WITH SCORE 51490.754
AT ITER 3701 NEW BEST:: SOT 528147 SOS 340754 HAS SOPS 324671 HAS SOUS 56174 HAS SOUPS 51110 WITH SCORE 51450.754
AT ITER 3736 NEW BEST:: SOT 528147 SOS 340652 HAS SOPS 324569 HAS SOUS 56161 HAS SOUPS 51106 WITH SCORE 51446.652
AT ITER 3739 NEW BEST:: SOT 528110 SOS 341320 HAS SOPS 325196 HAS SOUS 56180 HAS SOUPS 51055 WITH SCORE 51396.32
AT ITER 3844 NEW BEST:: SOT 528110 SOS 340789 HAS SOPS 324655 HAS SOUS 56092 HAS SOUPS 51025 WITH SCORE 51365.789
AT ITER 3941 NEW BEST:: SOT 528110 SOS 338668 HAS SOPS 322566 HAS SOUS 55987 HAS SOUPS 51026 WITH SCORE 51364.668
AT ITER 3947 NEW BEST:: SOT 527507 SOS 338093 HAS SOPS 321963 HAS SOUS 55706 HAS SOUPS 50738 WITH SCORE 51076.093
AT ITER 3974 NEW BEST:: SOT 527506 SOS 338092 HAS SOPS 321962 HAS SOUS 55705 HAS SOUPS 50737 WITH SCORE 51075.092
AT ITER 3996 NEW BEST:: SOT 527506 SOS 337989 HAS SOPS 321859 HAS SOUS 55701 HAS SOUPS 50733 WITH SCORE 51070.989
AT ITER 4000 NEW BEST:: SOT 532241 SOS 342005 HAS SOPS 326606 HAS SOUS 55267 HAS SOUPS 50429 WITH SCORE 50771.005
AT ITER 4020 NEW BEST:: SOT 532241 SOS 342405 HAS SOPS 326979 HAS SOUS 55256 HAS SOUPS 50389 WITH SCORE 50731.405
AT ITER 4026 NEW BEST:: SOT 532241 SOS 342405 HAS SOPS 326978 HAS SOUS 55255 HAS SOUPS 50387 WITH SCORE 50729.405
AT ITER 4053 NEW BEST:: SOT 532241 SOS 342405 HAS SOPS 326975 HAS SOUS 55252 HAS SOUPS 50381 WITH SCORE 50723.405
AT ITER 4081 NEW BEST:: SOT 531867 SOS 342036 HAS SOPS 326601 HAS SOUS 55073 HAS SOUPS 50198 WITH SCORE 50540.036
AT ITER 4089 NEW BEST:: SOT 531867 SOS 341936 HAS SOPS 326501 HAS SOUS 55069 HAS SOUPS 50194 WITH SCORE 50535.936
AT ITER 4092 NEW BEST:: SOT 531867 SOS 342138 HAS SOPS 326698 HAS SOUS 55068 HAS SOUPS 50188 WITH SCORE 50530.138
AT ITER 4106 NEW BEST:: SOT 531403 SOS 341446 HAS SOPS 325724 HAS SOUS 54802 HAS SOUPS 49912 WITH SCORE 50253.446
AT ITER 4179 NEW BEST:: SOT 532045 SOS 341962 HAS SOPS 326366 HAS SOUS 54520 HAS SOUPS 49651 WITH SCORE 49992.962
AT ITER 4186 NEW BEST:: SOT 531577 SOS 341529 HAS SOPS 325898 HAS SOUS 54467 HAS SOUPS 49589 WITH SCORE 49930.529
AT ITER 4229 NEW BEST:: SOT 531577 SOS 341223 HAS SOPS 325592 HAS SOUS 54433 HAS SOUPS 49577 WITH SCORE 49918.223
AT ITER 4240 NEW BEST:: SOT 531577 SOS 341937 HAS SOPS 326287 HAS SOUS 54467 HAS SOUPS 49567 WITH SCORE 49908.937
AT ITER 4244 NEW BEST:: SOT 531577 SOS 341486 HAS SOPS 325836 HAS SOUS 54462 HAS SOUPS 49549 WITH SCORE 49890.486
AT ITER 4251 NEW BEST:: SOT 531577 SOS 341486 HAS SOPS 325833 HAS SOUS 54456 HAS SOUPS 49543 WITH SCORE 49884.486
AT ITER 4274 NEW BEST:: SOT 531577 SOS 341486 HAS SOPS 325829 HAS SOUS 54452 HAS SOUPS 49535 WITH SCORE 49876.486
AT ITER 4285 NEW BEST:: SOT 531577 SOS 341486 HAS SOPS 325819 HAS SOUS 54442 HAS SOUPS 49515 WITH SCORE 49856.486
AT ITER 4323 NEW BEST:: SOT 532435 SOS 343658 HAS SOPS 328615 HAS SOUS 54100 HAS SOUPS 49211 WITH SCORE 49554.658
AT ITER 4342 NEW BEST:: SOT 532435 SOS 343505 HAS SOPS 328462 HAS SOUS 54094 HAS SOUPS 49205 WITH SCORE 49548.505
AT ITER 4351 NEW BEST:: SOT 532435 SOS 343988 HAS SOPS 328928 HAS SOUS 54070 HAS SOUPS 49181 WITH SCORE 49524.988
AT ITER 4428 NEW BEST:: SOT 532435 SOS 343988 HAS SOPS 328920 HAS SOUS 54062 HAS SOUPS 49165 WITH SCORE 49508.988
AT ITER 4431 NEW BEST:: SOT 532461 SOS 343999 HAS SOPS 328949 HAS SOUS 53956 HAS SOUPS 49065 WITH SCORE 49408.999
AT ITER 4432 NEW BEST:: SOT 532227 SOS 346416 HAS SOPS 331361 HAS SOUS 53938 HAS SOUPS 48924 WITH SCORE 49270.416
AT ITER 4502 NEW BEST:: SOT 532227 SOS 346392 HAS SOPS 331337 HAS SOUS 53913 HAS SOUPS 48924 WITH SCORE 49270.392
AT ITER 4565 NEW BEST:: SOT 532131 SOS 346296 HAS SOPS 331243 HAS SOUS 53819 HAS SOUPS 48832 WITH SCORE 49178.296
AT ITER 4583 NEW BEST:: SOT 532098 SOS 346263 HAS SOPS 331221 HAS SOUS 53797 HAS SOUPS 48821 WITH SCORE 49167.263
AT ITER 4595 NEW BEST:: SOT 532098 SOS 346263 HAS SOPS 331210 HAS SOUS 53786 HAS SOUPS 48799 WITH SCORE 49145.263
AT ITER 4657 NEW BEST:: SOT 533296 SOS 347225 HAS SOPS 332454 HAS SOUS 52966 HAS SOUPS 48071 WITH SCORE 48418.225
AT ITER 4680 NEW BEST:: SOT 533296 SOS 346975 HAS SOPS 332204 HAS SOUS 52956 HAS SOUPS 48066 WITH SCORE 48412.975
AT ITER 4683 NEW BEST:: SOT 533292 SOS 346971 HAS SOPS 332200 HAS SOUS 52952 HAS SOUPS 48062 WITH SCORE 48408.971
AT ITER 4699 NEW BEST:: SOT 533292 SOS 346257 HAS SOPS 331492 HAS SOUS 52930 HAS SOUPS 48046 WITH SCORE 48392.257
AT ITER 4731 NEW BEST:: SOT 533292 SOS 345543 HAS SOPS 330778 HAS SOUS 52899 HAS SOUPS 48018 WITH SCORE 48363.543
AT ITER 4755 NEW BEST:: SOT 533292 SOS 345696 HAS SOPS 330927 HAS SOUS 52905 HAS SOUPS 48016 WITH SCORE 48361.696
AT ITER 4812 NEW BEST:: SOT 533292 SOS 345294 HAS SOPS 330533 HAS SOUS 52895 HAS SOUPS 48016 WITH SCORE 48361.294
AT ITER 4840 NEW BEST:: SOT 533292 SOS 345294 HAS SOPS 330527 HAS SOUS 52889 HAS SOUPS 48004 WITH SCORE 48349.294
AT ITER 4843 NEW BEST:: SOT 533292 SOS 346263 HAS SOPS 331476 HAS SOUS 52938 HAS SOUPS 48002 WITH SCORE 48348.263
AT ITER 4861 NEW BEST:: SOT 533342 SOS 346269 HAS SOPS 331527 HAS SOUS 52584 HAS SOUPS 47657 WITH SCORE 48003.269
AT ITER 4867 NEW BEST:: SOT 533342 SOS 346830 HAS SOPS 332074 HAS SOUS 52592 HAS SOUPS 47651 WITH SCORE 47997.83
AT ITER 4909 NEW BEST:: SOT 533342 SOS 346882 HAS SOPS 332123 HAS SOUS 52592 HAS SOUPS 47648 WITH SCORE 47994.882
AT ITER 4916 NEW BEST:: SOT 533342 SOS 346831 HAS SOPS 332072 HAS SOUS 52590 HAS SOUPS 47646 WITH SCORE 47992.831
AT ITER 4958 NEW BEST:: SOT 533342 SOS 346831 HAS SOPS 332070 HAS SOUS 52588 HAS SOUPS 47642 WITH SCORE 47988.831
AT ITER 4986 NEW BEST:: SOT 533342 SOS 346780 HAS SOPS 332019 HAS SOUS 52586 HAS SOUPS 47640 WITH SCORE 47986.78
AT ITER 5009 NEW BEST:: SOT 533342 SOS 346729 HAS SOPS 331968 HAS SOUS 52584 HAS SOUPS 47638 WITH SCORE 47984.729
AT ITER 5019 NEW BEST:: SOT 533342 SOS 346678 HAS SOPS 331917 HAS SOUS 52573 HAS SOUPS 47636 WITH SCORE 47982.678
AT ITER 5031 NEW BEST:: SOT 533342 SOS 346678 HAS SOPS 331912 HAS SOUS 52568 HAS SOUPS 47626 WITH SCORE 47972.678
AT ITER 5038 NEW BEST:: SOT 533342 SOS 346576 HAS SOPS 331810 HAS SOUS 52560 HAS SOUPS 47622 WITH SCORE 47968.576
AT ITER 5047 NEW BEST:: SOT 533202 SOS 346444 HAS SOPS 331666 HAS SOUS 52506 HAS SOUPS 47566 WITH SCORE 47912.444
AT ITER 5069 NEW BEST:: SOT 533202 SOS 346897 HAS SOPS 332088 HAS SOUS 52487 HAS SOUPS 47522 WITH SCORE 47868.897
AT ITER 5093 NEW BEST:: SOT 533186 SOS 346816 HAS SOPS 331706 HAS SOUS 52147 HAS SOUPS 47182 WITH SCORE 47528.816
AT ITER 5180 NEW BEST:: SOT 533186 SOS 346766 HAS SOPS 331656 HAS SOUS 52145 HAS SOUPS 47180 WITH SCORE 47526.766
AT ITER 5200 NEW BEST:: SOT 534978 SOS 348343 HAS SOPS 333448 HAS SOUS 52002 HAS SOUPS 47080 WITH SCORE 47428.343
AT ITER 5213 NEW BEST:: SOT 534978 SOS 348343 HAS SOPS 333421 HAS SOUS 51975 HAS SOUPS 47026 WITH SCORE 47374.343
AT ITER 5220 NEW BEST:: SOT 534978 SOS 348343 HAS SOPS 333418 HAS SOUS 51972 HAS SOUPS 47020 WITH SCORE 47368.343
AT ITER 5248 NEW BEST:: SOT 534659 SOS 348034 HAS SOPS 333099 HAS SOUS 51893 HAS SOUPS 46936 WITH SCORE 47284.034
AT ITER 5257 NEW BEST:: SOT 534659 SOS 347932 HAS SOPS 332999 HAS SOUS 51889 HAS SOUPS 46936 WITH SCORE 47283.932
AT ITER 5284 NEW BEST:: SOT 534659 SOS 347833 HAS SOPS 332897 HAS SOUS 51882 HAS SOUPS 46929 WITH SCORE 47276.833
AT ITER 5319 NEW BEST:: SOT 531149 SOS 344631 HAS SOPS 329387 HAS SOUS 51314 HAS SOUPS 46296 WITH SCORE 46640.631
AT ITER 5378 NEW BEST:: SOT 531149 SOS 345651 HAS SOPS 330386 HAS SOUS 51339 HAS SOUPS 46294 WITH SCORE 46639.651
AT ITER 5433 NEW BEST:: SOT 531149 SOS 345753 HAS SOPS 330484 HAS SOUS 51342 HAS SOUPS 46290 WITH SCORE 46635.753
AT ITER 5452 NEW BEST:: SOT 531149 SOS 346556 HAS SOPS 331257 HAS SOUS 51344 HAS SOUPS 46262 WITH SCORE 46608.556
AT ITER 5531 NEW BEST:: SOT 531149 SOS 346454 HAS SOPS 331155 HAS SOUS 51338 HAS SOUPS 46258 WITH SCORE 46604.454
AT ITER 5542 NEW BEST:: SOT 531132 SOS 346437 HAS SOPS 331138 HAS SOUS 51321 HAS SOUPS 46241 WITH SCORE 46587.437
AT ITER 5561 NEW BEST:: SOT 531106 SOS 346385 HAS SOPS 331063 HAS SOUS 51246 HAS SOUPS 46166 WITH SCORE 46512.385
AT ITER 5567 NEW BEST:: SOT 531106 SOS 346385 HAS SOPS 331035 HAS SOUS 51218 HAS SOUPS 46110 WITH SCORE 46456.385
AT ITER 5573 NEW BEST:: SOT 531130 SOS 346389 HAS SOPS 331059 HAS SOUS 51062 HAS SOUPS 45958 WITH SCORE 46304.389
AT ITER 5588 NEW BEST:: SOT 531130 SOS 346389 HAS SOPS 331056 HAS SOUS 51059 HAS SOUPS 45952 WITH SCORE 46298.389
AT ITER 5619 NEW BEST:: SOT 531130 SOS 346389 HAS SOPS 331055 HAS SOUS 51058 HAS SOUPS 45950 WITH SCORE 46296.389
AT ITER 5621 NEW BEST:: SOT 531130 SOS 346391 HAS SOPS 331055 HAS SOUS 51056 HAS SOUPS 45948 WITH SCORE 46294.391
AT ITER 5683 NEW BEST:: SOT 531130 SOS 346187 HAS SOPS 330851 HAS SOUS 51048 HAS SOUPS 45940 WITH SCORE 46286.187
AT ITER 5685 NEW BEST:: SOT 531130 SOS 346199 HAS SOPS 330856 HAS SOUS 51041 HAS SOUPS 45933 WITH SCORE 46279.199
AT ITER 5687 NEW BEST:: SOT 531130 SOS 346199 HAS SOPS 330847 HAS SOUS 51032 HAS SOUPS 45915 WITH SCORE 46261.199
AT ITER 5721 NEW BEST:: SOT 531130 SOS 346097 HAS SOPS 330747 HAS SOUS 51028 HAS SOUPS 45915 WITH SCORE 46261.097
AT ITER 5866 NEW BEST:: SOT 531121 SOS 346088 HAS SOPS 330738 HAS SOUS 51019 HAS SOUPS 45906 WITH SCORE 46252.088
AT ITER 5867 NEW BEST:: SOT 531121 SOS 345793 HAS SOPS 330443 HAS SOUS 51007 HAS SOUPS 45894 WITH SCORE 46239.793
AT ITER 5878 NEW BEST:: SOT 531111 SOS 345783 HAS SOPS 330392 HAS SOUS 50956 HAS SOUPS 45802 WITH SCORE 46147.783
AT ITER 5894 NEW BEST:: SOT 531111 SOS 345324 HAS SOPS 329933 HAS SOUS 50938 HAS SOUPS 45784 WITH SCORE 46129.324
AT ITER 5934 NEW BEST:: SOT 531111 SOS 345328 HAS SOPS 329934 HAS SOUS 50935 HAS SOUPS 45781 WITH SCORE 46126.328
AT ITER 5935 NEW BEST:: SOT 532673 SOS 346700 HAS SOPS 331534 HAS SOUS 50825 HAS SOUPS 45747 WITH SCORE 46093.7
AT ITER 5940 NEW BEST:: SOT 532673 SOS 346546 HAS SOPS 331380 HAS SOUS 50803 HAS SOUPS 45741 WITH SCORE 46087.546
AT ITER 5955 NEW BEST:: SOT 532668 SOS 346541 HAS SOPS 331375 HAS SOUS 50798 HAS SOUPS 45736 WITH SCORE 46082.541
AT ITER 5967 NEW BEST:: SOT 532668 SOS 346184 HAS SOPS 331018 HAS SOUS 50765 HAS SOUPS 45722 WITH SCORE 46068.184
AT ITER 5993 NEW BEST:: SOT 532588 SOS 346109 HAS SOPS 330937 HAS SOUS 50729 HAS SOUPS 45684 WITH SCORE 46030.109
AT ITER 5994 NEW BEST:: SOT 532949 SOS 343983 HAS SOPS 327943 HAS SOUS 50096 HAS SOUPS 45120 WITH SCORE 45463.983
AT ITER 6014 NEW BEST:: SOT 532949 SOS 343983 HAS SOPS 327928 HAS SOUS 50081 HAS SOUPS 45090 WITH SCORE 45433.983
AT ITER 6080 NEW BEST:: SOT 532758 SOS 343798 HAS SOPS 327890 HAS SOUS 49896 HAS SOUPS 45052 WITH SCORE 45395.798
AT ITER 6087 NEW BEST:: SOT 532758 SOS 342574 HAS SOPS 326688 HAS SOUS 49870 HAS SOUPS 45048 WITH SCORE 45390.574
AT ITER 6095 NEW BEST:: SOT 532758 SOS 342568 HAS SOPS 326590 HAS SOUS 49774 HAS SOUPS 44952 WITH SCORE 45294.568
AT ITER 6098 NEW BEST:: SOT 533935 SOS 343577 HAS SOPS 327767 HAS SOUS 49719 HAS SOUPS 44925 WITH SCORE 45268.577
AT ITER 6106 NEW BEST:: SOT 533935 SOS 344495 HAS SOPS 328665 HAS SOUS 49755 HAS SOUPS 44921 WITH SCORE 45265.495
AT ITER 6121 NEW BEST:: SOT 533935 SOS 344342 HAS SOPS 328512 HAS SOUS 49749 HAS SOUPS 44915 WITH SCORE 45259.342
AT ITER 6171 NEW BEST:: SOT 533934 SOS 344341 HAS SOPS 328511 HAS SOUS 49748 HAS SOUPS 44914 WITH SCORE 45258.341
AT ITER 6222 NEW BEST:: SOT 533934 SOS 344341 HAS SOPS 328496 HAS SOUS 49733 HAS SOUPS 44884 WITH SCORE 45228.341
AT ITER 6231 NEW BEST:: SOT 533934 SOS 344341 HAS SOPS 328490 HAS SOUS 49727 HAS SOUPS 44872 WITH SCORE 45216.341
AT ITER 6289 NEW BEST:: SOT 533934 SOS 344290 HAS SOPS 328439 HAS SOUS 49725 HAS SOUPS 44870 WITH SCORE 45214.29
AT ITER 6324 NEW BEST:: SOT 533928 SOS 344273 HAS SOPS 328183 HAS SOUS 49470 HAS SOUPS 44615 WITH SCORE 44959.273
AT ITER 6384 NEW BEST:: SOT 533928 SOS 344222 HAS SOPS 328132 HAS SOUS 49468 HAS SOUPS 44613 WITH SCORE 44957.222
AT ITER 6443 NEW BEST:: SOT 533924 SOS 344191 HAS SOPS 327924 HAS SOUS 49279 HAS SOUPS 44424 WITH SCORE 44768.191
AT ITER 6513 NEW BEST:: SOT 533924 SOS 344191 HAS SOPS 327923 HAS SOUS 49278 HAS SOUPS 44422 WITH SCORE 44766.191
AT ITER 6524 NEW BEST:: SOT 533924 SOS 344038 HAS SOPS 327770 HAS SOUS 49280 HAS SOUPS 44416 WITH SCORE 44760.038
AT ITER 6525 NEW BEST:: SOT 533886 SOS 344000 HAS SOPS 327742 HAS SOUS 49253 HAS SOUPS 44398 WITH SCORE 44742.0
AT ITER 6532 NEW BEST:: SOT 533886 SOS 344004 HAS SOPS 327744 HAS SOUS 49255 HAS SOUPS 44396 WITH SCORE 44740.004
AT ITER 6599 NEW BEST:: SOT 533886 SOS 344004 HAS SOPS 327740 HAS SOUS 49256 HAS SOUPS 44388 WITH SCORE 44732.004
AT ITER 6637 NEW BEST:: SOT 533884 SOS 343991 HAS SOPS 327721 HAS SOUS 49242 HAS SOUPS 44374 WITH SCORE 44717.991
AT ITER 6687 NEW BEST:: SOT 533883 SOS 343990 HAS SOPS 327720 HAS SOUS 49241 HAS SOUPS 44373 WITH SCORE 44716.99
AT ITER 6764 NEW BEST:: SOT 533867 SOS 343886 HAS SOPS 327593 HAS SOUS 49112 HAS SOUPS 44311 WITH SCORE 44654.886
AT ITER 6768 NEW BEST:: SOT 533867 SOS 343835 HAS SOPS 327542 HAS SOUS 49112 HAS SOUPS 44309 WITH SCORE 44652.835
AT ITER 6804 NEW BEST:: SOT 533822 SOS 343790 HAS SOPS 327497 HAS SOUS 49067 HAS SOUPS 44264 WITH SCORE 44607.79
AT ITER 6914 NEW BEST:: SOT 533524 SOS 343529 HAS SOPS 327194 HAS SOUS 49072 HAS SOUPS 44262 WITH SCORE 44605.529
AT ITER 6954 NEW BEST:: SOT 533524 SOS 343377 HAS SOPS 327042 HAS SOUS 49079 HAS SOUPS 44256 WITH SCORE 44599.377
AT ITER 6957 NEW BEST:: SOT 533524 SOS 343275 HAS SOPS 326940 HAS SOUS 49073 HAS SOUPS 44252 WITH SCORE 44595.275
AT ITER 7045 NEW BEST:: SOT 533510 SOS 343261 HAS SOPS 326926 HAS SOUS 49059 HAS SOUPS 44238 WITH SCORE 44581.261
AT ITER 7160 NEW BEST:: SOT 533156 SOS 342927 HAS SOPS 326572 HAS SOUS 48885 HAS SOUPS 44060 WITH SCORE 44402.927
AT ITER 7183 NEW BEST:: SOT 533322 SOS 343039 HAS SOPS 326534 HAS SOUS 48693 HAS SOUPS 43872 WITH SCORE 44215.039
AT ITER 7472 NEW BEST:: SOT 533322 SOS 343039 HAS SOPS 326533 HAS SOUS 48692 HAS SOUPS 43870 WITH SCORE 44213.039
AT ITER 7479 NEW BEST:: SOT 533226 SOS 342943 HAS SOPS 326437 HAS SOUS 48596 HAS SOUPS 43774 WITH SCORE 44116.943
AT ITER 7490 NEW BEST:: SOT 533286 SOS 342967 HAS SOPS 326498 HAS SOUS 48393 HAS SOUPS 43578 WITH SCORE 43920.967
AT ITER 7527 NEW BEST:: SOT 533286 SOS 342967 HAS SOPS 326478 HAS SOUS 48373 HAS SOUPS 43538 WITH SCORE 43880.967
AT ITER 7554 NEW BEST:: SOT 533286 SOS 342865 HAS SOPS 326378 HAS SOUS 48371 HAS SOUPS 43538 WITH SCORE 43880.865
AT ITER 7589 NEW BEST:: SOT 533286 SOS 342967 HAS SOPS 326466 HAS SOUS 48375 HAS SOUPS 43514 WITH SCORE 43856.967
AT ITER 7652 NEW BEST:: SOT 533286 SOS 342610 HAS SOPS 326115 HAS SOUS 48367 HAS SOUPS 43512 WITH SCORE 43854.61
AT ITER 7686 NEW BEST:: SOT 533286 SOS 342304 HAS SOPS 325809 HAS SOUS 48347 HAS SOUPS 43500 WITH SCORE 43842.304
AT ITER 7773 NEW BEST:: SOT 533286 SOS 342300 HAS SOPS 325801 HAS SOUS 48343 HAS SOUPS 43492 WITH SCORE 43834.3
AT ITER 7915 NEW BEST:: SOT 533286 SOS 342249 HAS SOPS 325750 HAS SOUS 48334 HAS SOUPS 43490 WITH SCORE 43832.249
AT ITER 7928 NEW BEST:: SOT 533286 SOS 341841 HAS SOPS 325350 HAS SOUS 48318 HAS SOUPS 43490 WITH SCORE 43831.841
AT ITER 7982 NEW BEST:: SOT 533286 SOS 341790 HAS SOPS 325299 HAS SOUS 48316 HAS SOUPS 43488 WITH SCORE 43829.79
AT ITER 7984 NEW BEST:: SOT 533286 SOS 341739 HAS SOPS 325248 HAS SOUS 48336 HAS SOUPS 43486 WITH SCORE 43827.739
AT ITER 7996 NEW BEST:: SOT 533284 SOS 341737 HAS SOPS 325246 HAS SOUS 48334 HAS SOUPS 43484 WITH SCORE 43825.737
AT ITER 8086 NEW BEST:: SOT 533284 SOS 341737 HAS SOPS 325245 HAS SOUS 48340 HAS SOUPS 43482 WITH SCORE 43823.737
AT ITER 8097 NEW BEST:: SOT 533284 SOS 341890 HAS SOPS 325393 HAS SOUS 48341 HAS SOUPS 43478 WITH SCORE 43819.89
AT ITER 8190 NEW BEST:: SOT 533284 SOS 341140 HAS SOPS 324658 HAS SOUS 48326 HAS SOUPS 43478 WITH SCORE 43819.14
AT ITER 8254 NEW BEST:: SOT 533284 SOS 341344 HAS SOPS 324852 HAS SOUS 48334 HAS SOUPS 43466 WITH SCORE 43807.344
AT ITER 8312 NEW BEST:: SOT 533281 SOS 341341 HAS SOPS 324849 HAS SOUS 48331 HAS SOUPS 43463 WITH SCORE 43804.341
AT ITER 8318 NEW BEST:: SOT 533285 SOS 341333 HAS SOPS 324855 HAS SOUS 48249 HAS SOUPS 43385 WITH SCORE 43726.333
AT ITER 8428 NEW BEST:: SOT 533285 SOS 341537 HAS SOPS 325050 HAS SOUS 48269 HAS SOUPS 43375 WITH SCORE 43716.537
AT ITER 8431 NEW BEST:: SOT 533285 SOS 341582 HAS SOPS 324948 HAS SOUS 48268 HAS SOUPS 43371 WITH SCORE 43712.582
AT ITER 8506 NEW BEST:: SOT 533285 SOS 341532 HAS SOPS 324898 HAS SOUS 48266 HAS SOUPS 43369 WITH SCORE 43710.532
AT ITER 8527 NEW BEST:: SOT 533285 SOS 341785 HAS SOPS 325145 HAS SOUS 48273 HAS SOUPS 43367 WITH SCORE 43708.785
AT ITER 8568 NEW BEST:: SOT 533285 SOS 341581 HAS SOPS 324942 HAS SOUS 48253 HAS SOUPS 43361 WITH SCORE 43702.581
AT ITER 8698 NEW BEST:: SOT 533277 SOS 341573 HAS SOPS 324934 HAS SOUS 48245 HAS SOUPS 43353 WITH SCORE 43694.573
AT ITER 8745 NEW BEST:: SOT 533272 SOS 341568 HAS SOPS 324929 HAS SOUS 48240 HAS SOUPS 43348 WITH SCORE 43689.568
AT ITER 8773 NEW BEST:: SOT 533272 SOS 341568 HAS SOPS 324928 HAS SOUS 48239 HAS SOUPS 43346 WITH SCORE 43687.568
AT ITER 8851 NEW BEST:: SOT 533272 SOS 341568 HAS SOPS 324927 HAS SOUS 48238 HAS SOUPS 43344 WITH SCORE 43685.568
AT ITER 8906 NEW BEST:: SOT 533272 SOS 341568 HAS SOPS 324926 HAS SOUS 48237 HAS SOUPS 43342 WITH SCORE 43683.568
AT ITER 8953 NEW BEST:: SOT 533230 SOS 341526 HAS SOPS 324889 HAS SOUS 48195 HAS SOUPS 43305 WITH SCORE 43646.526
AT ITER 9000 NEW BEST:: SOT 533230 SOS 341526 HAS SOPS 324888 HAS SOUS 48194 HAS SOUPS 43303 WITH SCORE 43644.526
AT ITER 9072 NEW BEST:: SOT 533252 SOS 341518 HAS SOPS 324915 HAS SOUS 48001 HAS SOUPS 43120 WITH SCORE 43461.518
AT ITER 9108 NEW BEST:: SOT 533248 SOS 341514 HAS SOPS 324907 HAS SOUS 47989 HAS SOUPS 43108 WITH SCORE 43449.514
AT ITER 9159 NEW BEST:: SOT 533248 SOS 342024 HAS SOPS 325401 HAS SOUS 48006 HAS SOUPS 43096 WITH SCORE 43438.024
AT ITER 9258 NEW BEST:: SOT 533248 SOS 342024 HAS SOPS 325400 HAS SOUS 48006 HAS SOUPS 43094 WITH SCORE 43436.024
AT ITER 9325 NEW BEST:: SOT 533060 SOS 341842 HAS SOPS 325212 HAS SOUS 47962 HAS SOUPS 43047 WITH SCORE 43388.842
AT ITER 9402 NEW BEST:: SOT 533060 SOS 341842 HAS SOPS 325209 HAS SOUS 47959 HAS SOUPS 43041 WITH SCORE 43382.842
AT ITER 9435 NEW BEST:: SOT 533060 SOS 341842 HAS SOPS 325201 HAS SOUS 47951 HAS SOUPS 43025 WITH SCORE 43366.842
AT ITER 9456 NEW BEST:: SOT 533060 SOS 341689 HAS SOPS 325048 HAS SOUS 47948 HAS SOUPS 43019 WITH SCORE 43360.689
AT ITER 9551 NEW BEST:: SOT 532923 SOS 341534 HAS SOPS 324758 HAS SOUS 47672 HAS SOUPS 42741 WITH SCORE 43082.534
AT ITER 9569 NEW BEST:: SOT 532923 SOS 341687 HAS SOPS 324904 HAS SOUS 47671 HAS SOUPS 42733 WITH SCORE 43074.687
AT ITER 9836 NEW BEST:: SOT 532920 SOS 341684 HAS SOPS 324901 HAS SOUS 47668 HAS SOUPS 42730 WITH SCORE 43071.684
AT ITER 9904 NEW BEST:: SOT 532920 SOS 341429 HAS SOPS 324651 HAS SOUS 47658 HAS SOUPS 42730 WITH SCORE 43071.429
AT ITER 9960 NEW BEST:: SOT 532920 SOS 342029 HAS SOPS 325237 HAS SOUS 47668 HAS SOUPS 42726 WITH SCORE 43068.029
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 7413420 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16145112 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="Dekker-PT-050"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is Dekker-PT-050, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r131-smll-167819406600032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Dekker-PT-050.tgz
mv Dekker-PT-050 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;