Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807300336.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Dekker-PT-050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807300336
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 3.7K Apr 27 14:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 27 14:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 27 14:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 27 14:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 14:36 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 27 14:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 27 14:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.8K Apr 27 14:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Apr 27 14:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 27 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 27 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 27 14:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 27 14:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 equiv_col
-rw-r--r-- 1 mcc users 4 Apr 27 14:36 instance
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 iscolored
-rw-r--r-- 1 mcc users 1.5M Apr 27 14:36 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 1589361421141

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Dekker (PT), instance 050
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 1 NEW BEST:: SOT 578557 SOS 530062 HAS SOPS 497435 HAS SOUS 480543 HAS SOUPS 469736 WITH SCORE 470266.062
AT ITER 4 NEW BEST:: SOT 576207 SOS 527743 HAS SOPS 495085 HAS SOUS 478224 HAS SOUPS 467386 WITH SCORE 467913.743
AT ITER 5 NEW BEST:: SOT 571356 SOS 525302 HAS SOPS 490234 HAS SOUS 473465 HAS SOUPS 462535 WITH SCORE 463060.302
AT ITER 6 NEW BEST:: SOT 564771 SOS 520095 HAS SOPS 481405 HAS SOUS 456460 HAS SOUPS 445621 WITH SCORE 446141.095
AT ITER 8 NEW BEST:: SOT 567705 SOS 522833 HAS SOPS 490563 HAS SOUS 449094 HAS SOUPS 444293 WITH SCORE 444815.833
AT ITER 9 NEW BEST:: SOT 568256 SOS 522801 HAS SOPS 491569 HAS SOUS 445500 HAS SOUPS 440849 WITH SCORE 441371.801
AT ITER 10 NEW BEST:: SOT 564212 SOS 518757 HAS SOPS 487476 HAS SOUS 441371 HAS SOUPS 436707 WITH SCORE 437225.757
AT ITER 13 NEW BEST:: SOT 563298 SOS 517843 HAS SOPS 486562 HAS SOUS 440457 HAS SOUPS 435793 WITH SCORE 436310.843
AT ITER 14 NEW BEST:: SOT 563583 SOS 516885 HAS SOPS 484492 HAS SOUS 431222 HAS SOUPS 426659 WITH SCORE 427175.885
AT ITER 17 NEW BEST:: SOT 559049 SOS 512351 HAS SOPS 479958 HAS SOUS 426728 HAS SOUPS 422125 WITH SCORE 422637.351
AT ITER 19 NEW BEST:: SOT 559056 SOS 512048 HAS SOPS 479965 HAS SOUS 424595 HAS SOUPS 420041 WITH SCORE 420553.048
AT ITER 20 NEW BEST:: SOT 554476 SOS 507293 HAS SOPS 474110 HAS SOUS 418894 HAS SOUPS 414311 WITH SCORE 414818.293
AT ITER 23 NEW BEST:: SOT 549920 SOS 502737 HAS SOPS 469554 HAS SOUS 414362 HAS SOUPS 409755 WITH SCORE 410257.737
AT ITER 24 NEW BEST:: SOT 549920 SOS 502638 HAS SOPS 469404 HAS SOUS 414308 HAS SOUPS 409701 WITH SCORE 410203.638
AT ITER 27 NEW BEST:: SOT 549920 SOS 502423 HAS SOPS 468843 HAS SOUS 413390 HAS SOUPS 408794 WITH SCORE 409296.423
AT ITER 28 NEW BEST:: SOT 550349 SOS 501931 HAS SOPS 466869 HAS SOUS 405141 HAS SOUPS 400634 WITH SCORE 401135.931
AT ITER 30 NEW BEST:: SOT 548166 SOS 499748 HAS SOPS 464686 HAS SOUS 402958 HAS SOUPS 398451 WITH SCORE 398950.748
AT ITER 31 NEW BEST:: SOT 548166 SOS 499311 HAS SOPS 462236 HAS SOUS 400896 HAS SOUPS 396389 WITH SCORE 396888.311
AT ITER 32 NEW BEST:: SOT 544408 SOS 494753 HAS SOPS 455979 HAS SOUS 387724 HAS SOUPS 383239 WITH SCORE 383733.753
AT ITER 33 NEW BEST:: SOT 544727 SOS 493008 HAS SOPS 453889 HAS SOUS 380771 HAS SOUPS 376394 WITH SCORE 376887.008
AT ITER 35 NEW BEST:: SOT 545335 SOS 493307 HAS SOPS 455567 HAS SOUS 379200 HAS SOUPS 374894 WITH SCORE 375387.307
AT ITER 36 NEW BEST:: SOT 545335 SOS 493307 HAS SOPS 455532 HAS SOUS 379130 HAS SOUPS 374824 WITH SCORE 375317.307
AT ITER 37 NEW BEST:: SOT 544355 SOS 492327 HAS SOPS 454552 HAS SOUS 378150 HAS SOUPS 373844 WITH SCORE 374336.327
AT ITER 38 NEW BEST:: SOT 544355 SOS 491349 HAS SOPS 452920 HAS SOUS 375832 HAS SOUPS 371558 WITH SCORE 372049.349
AT ITER 40 NEW BEST:: SOT 544355 SOS 490322 HAS SOPS 451526 HAS SOUS 373194 HAS SOUPS 368964 WITH SCORE 369454.322
AT ITER 41 NEW BEST:: SOT 545427 SOS 490069 HAS SOPS 450099 HAS SOUS 363453 HAS SOUPS 359211 WITH SCORE 359701.069
AT ITER 43 NEW BEST:: SOT 546862 SOS 489414 HAS SOPS 449212 HAS SOUS 358344 HAS SOUPS 354206 WITH SCORE 354695.414
AT ITER 45 NEW BEST:: SOT 543685 SOS 486237 HAS SOPS 446035 HAS SOUS 355167 HAS SOUPS 351029 WITH SCORE 351515.237
AT ITER 47 NEW BEST:: SOT 543685 SOS 485561 HAS SOPS 444913 HAS SOUS 354677 HAS SOUPS 350539 WITH SCORE 351024.561
AT ITER 48 NEW BEST:: SOT 539328 SOS 481938 HAS SOPS 441588 HAS SOUS 350734 HAS SOUPS 346455 WITH SCORE 346936.938
AT ITER 49 NEW BEST:: SOT 536041 SOS 477017 HAS SOPS 437944 HAS SOUS 339532 HAS SOUPS 335272 WITH SCORE 335749.017
AT ITER 52 NEW BEST:: SOT 533162 SOS 474138 HAS SOPS 435065 HAS SOUS 339251 HAS SOUPS 334991 WITH SCORE 335465.138
AT ITER 53 NEW BEST:: SOT 533442 SOS 472626 HAS SOPS 435086 HAS SOUS 334170 HAS SOUPS 330028 WITH SCORE 330500.626
AT ITER 54 NEW BEST:: SOT 533442 SOS 471033 HAS SOPS 433454 HAS SOUS 332467 HAS SOUPS 328357 WITH SCORE 328828.033
AT ITER 56 NEW BEST:: SOT 533504 SOS 468355 HAS SOPS 431625 HAS SOUS 327998 HAS SOUPS 323996 WITH SCORE 324464.355
AT ITER 57 NEW BEST:: SOT 531788 SOS 466639 HAS SOPS 429909 HAS SOUS 323587 HAS SOUPS 319585 WITH SCORE 320051.639
AT ITER 58 NEW BEST:: SOT 531205 SOS 466056 HAS SOPS 429326 HAS SOUS 323004 HAS SOUPS 319002 WITH SCORE 319468.056
AT ITER 59 NEW BEST:: SOT 531562 SOS 463566 HAS SOPS 428302 HAS SOUS 319517 HAS SOUPS 315622 WITH SCORE 316085.566
AT ITER 60 NEW BEST:: SOT 532015 SOS 464006 HAS SOPS 428766 HAS SOUS 319455 HAS SOUPS 315571 WITH SCORE 316035.006
AT ITER 64 NEW BEST:: SOT 531500 SOS 463491 HAS SOPS 428128 HAS SOUS 318885 HAS SOUPS 314810 WITH SCORE 315273.491
AT ITER 66 NEW BEST:: SOT 527559 SOS 457604 HAS SOPS 419752 HAS SOUS 312326 HAS SOUPS 308159 WITH SCORE 308616.604
AT ITER 67 NEW BEST:: SOT 526304 SOS 456349 HAS SOPS 418497 HAS SOUS 311071 HAS SOUPS 306904 WITH SCORE 307360.349
AT ITER 68 NEW BEST:: SOT 526304 SOS 456014 HAS SOPS 418497 HAS SOUS 310969 HAS SOUPS 306800 WITH SCORE 307256.014
AT ITER 71 NEW BEST:: SOT 526445 SOS 455278 HAS SOPS 416129 HAS SOUS 309370 HAS SOUPS 305201 WITH SCORE 305656.278
AT ITER 73 NEW BEST:: SOT 522525 SOS 450481 HAS SOPS 409669 HAS SOUS 303683 HAS SOUPS 299479 WITH SCORE 299929.481
AT ITER 74 NEW BEST:: SOT 522552 SOS 450007 HAS SOPS 412246 HAS SOUS 302511 HAS SOUPS 298394 WITH SCORE 298844.007
AT ITER 76 NEW BEST:: SOT 522862 SOS 449197 HAS SOPS 413317 HAS SOUS 298444 HAS SOUPS 294437 WITH SCORE 294886.197
AT ITER 77 NEW BEST:: SOT 522463 SOS 449015 HAS SOPS 413080 HAS SOUS 297985 HAS SOUPS 293874 WITH SCORE 294323.015
AT ITER 78 NEW BEST:: SOT 522423 SOS 448975 HAS SOPS 413040 HAS SOUS 297945 HAS SOUPS 293834 WITH SCORE 294282.975
AT ITER 79 NEW BEST:: SOT 522423 SOS 448114 HAS SOPS 411918 HAS SOUS 297594 HAS SOUPS 293529 WITH SCORE 293977.114
AT ITER 81 NEW BEST:: SOT 520847 SOS 445371 HAS SOPS 407890 HAS SOUS 294705 HAS SOUPS 290570 WITH SCORE 291015.371
AT ITER 83 NEW BEST:: SOT 520847 SOS 445371 HAS SOPS 407856 HAS SOUS 294637 HAS SOUPS 290502 WITH SCORE 290947.371
AT ITER 84 NEW BEST:: SOT 519572 SOS 444096 HAS SOPS 406549 HAS SOUS 293298 HAS SOUPS 289163 WITH SCORE 289607.096
AT ITER 86 NEW BEST:: SOT 518337 SOS 441601 HAS SOPS 405719 HAS SOUS 285994 HAS SOUPS 281864 WITH SCORE 282305.601
AT ITER 87 NEW BEST:: SOT 518337 SOS 441063 HAS SOPS 405260 HAS SOUS 284683 HAS SOUPS 280553 WITH SCORE 280994.063
AT ITER 89 NEW BEST:: SOT 517571 SOS 440250 HAS SOPS 404447 HAS SOUS 283893 HAS SOUPS 279787 WITH SCORE 280227.25
AT ITER 95 NEW BEST:: SOT 514046 SOS 436911 HAS SOPS 401177 HAS SOUS 280452 HAS SOUPS 276341 WITH SCORE 276777.911
AT ITER 97 NEW BEST:: SOT 514078 SOS 434869 HAS SOPS 400045 HAS SOUS 277099 HAS SOUPS 273130 WITH SCORE 273564.869
AT ITER 98 NEW BEST:: SOT 514078 SOS 434249 HAS SOPS 398352 HAS SOUS 275992 HAS SOUPS 272023 WITH SCORE 272457.249
AT ITER 99 NEW BEST:: SOT 514678 SOS 434577 HAS SOPS 398976 HAS SOUS 273042 HAS SOUPS 269121 WITH SCORE 269555.577
AT ITER 101 NEW BEST:: SOT 515106 SOS 435005 HAS SOPS 399404 HAS SOUS 272392 HAS SOUPS 268471 WITH SCORE 268906.005
AT ITER 102 NEW BEST:: SOT 515106 SOS 433473 HAS SOPS 396004 HAS SOUS 270388 HAS SOUPS 266535 WITH SCORE 266968.473
AT ITER 103 NEW BEST:: SOT 515542 SOS 431831 HAS SOPS 393998 HAS SOUS 265109 HAS SOUPS 261372 WITH SCORE 261803.831
AT ITER 108 NEW BEST:: SOT 515940 SOS 431309 HAS SOPS 394598 HAS SOUS 261651 HAS SOUPS 257998 WITH SCORE 258429.309
AT ITER 109 NEW BEST:: SOT 515940 SOS 431135 HAS SOPS 394206 HAS SOUS 261425 HAS SOUPS 257772 WITH SCORE 258203.135
AT ITER 110 NEW BEST:: SOT 518709 SOS 433765 HAS SOPS 397033 HAS SOUS 261114 HAS SOUPS 257495 WITH SCORE 257928.765
AT ITER 111 NEW BEST:: SOT 518736 SOS 431953 HAS SOPS 396140 HAS SOUS 258121 HAS SOUPS 254581 WITH SCORE 255012.953
AT ITER 112 NEW BEST:: SOT 518483 SOS 431700 HAS SOPS 395872 HAS SOUS 257842 HAS SOUPS 254298 WITH SCORE 254729.7
AT ITER 113 NEW BEST:: SOT 518483 SOS 431123 HAS SOPS 395158 HAS SOUS 257691 HAS SOUPS 254133 WITH SCORE 254564.123
AT ITER 115 NEW BEST:: SOT 519616 SOS 431460 HAS SOPS 396087 HAS SOUS 252575 HAS SOUPS 249088 WITH SCORE 249519.46
AT ITER 118 NEW BEST:: SOT 518548 SOS 428808 HAS SOPS 394094 HAS SOUS 247409 HAS SOUPS 244079 WITH SCORE 244507.808
AT ITER 119 NEW BEST:: SOT 518736 SOS 430350 HAS SOPS 398719 HAS SOUS 246280 HAS SOUPS 243212 WITH SCORE 243642.35
AT ITER 120 NEW BEST:: SOT 517714 SOS 429328 HAS SOPS 397697 HAS SOUS 245258 HAS SOUPS 242190 WITH SCORE 242619.328
AT ITER 121 NEW BEST:: SOT 517714 SOS 429256 HAS SOPS 397625 HAS SOUS 245186 HAS SOUPS 242118 WITH SCORE 242547.256
AT ITER 123 NEW BEST:: SOT 517714 SOS 429194 HAS SOPS 397558 HAS SOUS 245176 HAS SOUPS 242108 WITH SCORE 242537.194
AT ITER 124 NEW BEST:: SOT 514881 SOS 426321 HAS SOPS 394685 HAS SOUS 242303 HAS SOUPS 239235 WITH SCORE 239661.321
AT ITER 127 NEW BEST:: SOT 514881 SOS 425796 HAS SOPS 394720 HAS SOUS 241286 HAS SOUPS 238250 WITH SCORE 238675.796
AT ITER 128 NEW BEST:: SOT 515235 SOS 423243 HAS SOPS 392731 HAS SOUS 236736 HAS SOUPS 233790 WITH SCORE 234213.243
AT ITER 135 NEW BEST:: SOT 512426 SOS 420434 HAS SOPS 389922 HAS SOUS 233927 HAS SOUPS 230981 WITH SCORE 231401.434
AT ITER 136 NEW BEST:: SOT 513364 SOS 421372 HAS SOPS 390867 HAS SOUS 232135 HAS SOUPS 229189 WITH SCORE 229610.372
AT ITER 139 NEW BEST:: SOT 520190 SOS 426740 HAS SOPS 397765 HAS SOUS 230017 HAS SOUPS 227168 WITH SCORE 227594.74
AT ITER 140 NEW BEST:: SOT 519509 SOS 425277 HAS SOPS 397098 HAS SOUS 226933 HAS SOUPS 224210 WITH SCORE 224635.277
AT ITER 145 NEW BEST:: SOT 519509 SOS 424823 HAS SOPS 396598 HAS SOUS 226877 HAS SOUPS 224154 WITH SCORE 224578.823
AT ITER 146 NEW BEST:: SOT 519344 SOS 424658 HAS SOPS 396433 HAS SOUS 226712 HAS SOUPS 223989 WITH SCORE 224413.658
AT ITER 148 NEW BEST:: SOT 517491 SOS 420820 HAS SOPS 393444 HAS SOUS 217111 HAS SOUPS 214462 WITH SCORE 214882.82
AT ITER 157 NEW BEST:: SOT 518270 SOS 420947 HAS SOPS 392974 HAS SOUS 214715 HAS SOUPS 211582 WITH SCORE 212002.947
AT ITER 158 NEW BEST:: SOT 518270 SOS 417705 HAS SOPS 388543 HAS SOUS 213424 HAS SOUPS 210291 WITH SCORE 210708.705
AT ITER 159 NEW BEST:: SOT 518270 SOS 417705 HAS SOPS 388494 HAS SOUS 213375 HAS SOUPS 210193 WITH SCORE 210610.705
AT ITER 164 NEW BEST:: SOT 517104 SOS 416539 HAS SOPS 387270 HAS SOUS 212102 HAS SOUPS 208911 WITH SCORE 209327.539
AT ITER 167 NEW BEST:: SOT 516755 SOS 416151 HAS SOPS 386921 HAS SOUS 210592 HAS SOUPS 207425 WITH SCORE 207841.151
AT ITER 169 NEW BEST:: SOT 515751 SOS 413805 HAS SOPS 383617 HAS SOUS 208538 HAS SOUPS 205417 WITH SCORE 205830.805
AT ITER 170 NEW BEST:: SOT 517465 SOS 413823 HAS SOPS 384757 HAS SOUS 202639 HAS SOUPS 199545 WITH SCORE 199958.823
AT ITER 172 NEW BEST:: SOT 518255 SOS 414613 HAS SOPS 385547 HAS SOUS 201812 HAS SOUPS 198718 WITH SCORE 199132.613
AT ITER 174 NEW BEST:: SOT 518255 SOS 414277 HAS SOPS 384854 HAS SOUS 201482 HAS SOUPS 198388 WITH SCORE 198802.277
AT ITER 175 NEW BEST:: SOT 519262 SOS 414229 HAS SOPS 385582 HAS SOUS 199081 HAS SOUPS 196070 WITH SCORE 196484.229
AT ITER 178 NEW BEST:: SOT 519478 SOS 414739 HAS SOPS 386767 HAS SOUS 198010 HAS SOUPS 195039 WITH SCORE 195453.739
AT ITER 183 NEW BEST:: SOT 519205 SOS 414475 HAS SOPS 386503 HAS SOUS 197746 HAS SOUPS 194775 WITH SCORE 195189.475
AT ITER 184 NEW BEST:: SOT 516209 SOS 410977 HAS SOPS 382790 HAS SOUS 194587 HAS SOUPS 191534 WITH SCORE 191944.977
AT ITER 187 NEW BEST:: SOT 515968 SOS 410736 HAS SOPS 382600 HAS SOUS 194397 HAS SOUPS 191395 WITH SCORE 191805.736
AT ITER 188 NEW BEST:: SOT 515968 SOS 410381 HAS SOPS 381850 HAS SOUS 194221 HAS SOUPS 190970 WITH SCORE 191380.381
AT ITER 191 NEW BEST:: SOT 517918 SOS 413755 HAS SOPS 387129 HAS SOUS 189797 HAS SOUPS 186823 WITH SCORE 187236.755
AT ITER 196 NEW BEST:: SOT 513804 SOS 409571 HAS SOPS 383046 HAS SOUS 185714 HAS SOUPS 182841 WITH SCORE 183250.571
AT ITER 198 NEW BEST:: SOT 514268 SOS 410745 HAS SOPS 387190 HAS SOUS 184419 HAS SOUPS 181643 WITH SCORE 182053.745
AT ITER 201 NEW BEST:: SOT 514268 SOS 410320 HAS SOPS 386833 HAS SOUS 184123 HAS SOUPS 181354 WITH SCORE 181764.32
AT ITER 203 NEW BEST:: SOT 514268 SOS 410311 HAS SOPS 386824 HAS SOUS 184114 HAS SOUPS 181345 WITH SCORE 181755.311
AT ITER 205 NEW BEST:: SOT 516046 SOS 412087 HAS SOPS 388602 HAS SOUS 181580 HAS SOUPS 178813 WITH SCORE 179225.087
AT ITER 206 NEW BEST:: SOT 516046 SOS 412140 HAS SOPS 388602 HAS SOUS 181527 HAS SOUPS 178760 WITH SCORE 179172.14
AT ITER 209 NEW BEST:: SOT 517526 SOS 412865 HAS SOPS 392360 HAS SOUS 179124 HAS SOUPS 176492 WITH SCORE 176904.865
AT ITER 216 NEW BEST:: SOT 517931 SOS 413217 HAS SOPS 392780 HAS SOUS 178862 HAS SOUPS 176245 WITH SCORE 176658.217
AT ITER 217 NEW BEST:: SOT 517931 SOS 412691 HAS SOPS 392080 HAS SOUS 178674 HAS SOUPS 176057 WITH SCORE 176469.691
AT ITER 218 NEW BEST:: SOT 517034 SOS 411794 HAS SOPS 391169 HAS SOUS 177749 HAS SOUPS 175132 WITH SCORE 175543.794
AT ITER 221 NEW BEST:: SOT 518674 SOS 412945 HAS SOPS 394029 HAS SOUS 175247 HAS SOUPS 172743 WITH SCORE 173155.945
AT ITER 223 NEW BEST:: SOT 518674 SOS 412352 HAS SOPS 393301 HAS SOUS 175056 HAS SOUPS 172580 WITH SCORE 172992.352
AT ITER 224 NEW BEST:: SOT 518461 SOS 412139 HAS SOPS 393088 HAS SOUS 174843 HAS SOUPS 172367 WITH SCORE 172779.139
AT ITER 228 NEW BEST:: SOT 518977 SOS 412655 HAS SOPS 393604 HAS SOUS 174183 HAS SOUPS 171707 WITH SCORE 172119.655
AT ITER 231 NEW BEST:: SOT 519550 SOS 413228 HAS SOPS 394177 HAS SOUS 173736 HAS SOUPS 171251 WITH SCORE 171664.228
AT ITER 234 NEW BEST:: SOT 519702 SOS 413355 HAS SOPS 394304 HAS SOUS 171315 HAS SOUPS 168830 WITH SCORE 169243.355
AT ITER 235 NEW BEST:: SOT 519702 SOS 412313 HAS SOPS 392978 HAS SOUS 170949 HAS SOUPS 168494 WITH SCORE 168906.313
AT ITER 237 NEW BEST:: SOT 518693 SOS 411304 HAS SOPS 391969 HAS SOUS 169940 HAS SOUPS 167485 WITH SCORE 167896.304
AT ITER 241 NEW BEST:: SOT 517349 SOS 409960 HAS SOPS 390625 HAS SOUS 168596 HAS SOUPS 166141 WITH SCORE 166550.96
AT ITER 242 NEW BEST:: SOT 516917 SOS 409528 HAS SOPS 390188 HAS SOUS 168259 HAS SOUPS 165699 WITH SCORE 166108.528
AT ITER 244 NEW BEST:: SOT 516917 SOS 409527 HAS SOPS 390187 HAS SOUS 168259 HAS SOUPS 165699 WITH SCORE 166108.527
AT ITER 251 NEW BEST:: SOT 516917 SOS 409371 HAS SOPS 389983 HAS SOUS 168203 HAS SOUPS 165643 WITH SCORE 166052.371
AT ITER 253 NEW BEST:: SOT 516863 SOS 409263 HAS SOPS 389875 HAS SOUS 168095 HAS SOUPS 165535 WITH SCORE 165944.263
AT ITER 260 NEW BEST:: SOT 515828 SOS 408228 HAS SOPS 388968 HAS SOUS 167188 HAS SOUPS 164756 WITH SCORE 165164.228
AT ITER 261 NEW BEST:: SOT 514645 SOS 405377 HAS SOPS 385693 HAS SOUS 165444 HAS SOUPS 162968 WITH SCORE 163373.377
AT ITER 262 NEW BEST:: SOT 514645 SOS 405377 HAS SOPS 385624 HAS SOUS 165375 HAS SOUPS 162830 WITH SCORE 163235.377
AT ITER 264 NEW BEST:: SOT 514645 SOS 404482 HAS SOPS 384755 HAS SOUS 165178 HAS SOUPS 162676 WITH SCORE 163080.482
AT ITER 271 NEW BEST:: SOT 514645 SOS 404454 HAS SOPS 384727 HAS SOUS 165150 HAS SOUPS 162648 WITH SCORE 163052.454
AT ITER 276 NEW BEST:: SOT 514645 SOS 404449 HAS SOPS 384722 HAS SOUS 165145 HAS SOUPS 162643 WITH SCORE 163047.449
AT ITER 277 NEW BEST:: SOT 514640 SOS 404444 HAS SOPS 384702 HAS SOUS 165129 HAS SOUPS 162608 WITH SCORE 163012.444
AT ITER 279 NEW BEST:: SOT 514719 SOS 403430 HAS SOPS 384622 HAS SOUS 163380 HAS SOUPS 160914 WITH SCORE 161317.43
AT ITER 283 NEW BEST:: SOT 520641 SOS 409454 HAS SOPS 393303 HAS SOUS 160912 HAS SOUPS 158578 WITH SCORE 158987.454
AT ITER 286 NEW BEST:: SOT 523153 SOS 411945 HAS SOPS 395878 HAS SOUS 160408 HAS SOUPS 158150 WITH SCORE 158561.945
AT ITER 287 NEW BEST:: SOT 523153 SOS 408688 HAS SOPS 391379 HAS SOUS 159244 HAS SOUPS 156770 WITH SCORE 157178.688
AT ITER 291 NEW BEST:: SOT 523172 SOS 410372 HAS SOPS 395835 HAS SOUS 157409 HAS SOUPS 155031 WITH SCORE 155441.372
AT ITER 293 NEW BEST:: SOT 523172 SOS 410348 HAS SOPS 395811 HAS SOUS 157385 HAS SOUPS 155007 WITH SCORE 155417.348
AT ITER 296 NEW BEST:: SOT 523214 SOS 410429 HAS SOPS 395831 HAS SOUS 157405 HAS SOUPS 154966 WITH SCORE 155376.429
AT ITER 297 NEW BEST:: SOT 524355 SOS 412987 HAS SOPS 399446 HAS SOUS 155205 HAS SOUPS 153170 WITH SCORE 153582.987
AT ITER 299 NEW BEST:: SOT 524355 SOS 412902 HAS SOPS 399239 HAS SOUS 154998 HAS SOUPS 152963 WITH SCORE 153375.902
AT ITER 302 NEW BEST:: SOT 524349 SOS 412896 HAS SOPS 399194 HAS SOUS 154953 HAS SOUPS 152879 WITH SCORE 153291.896
AT ITER 314 NEW BEST:: SOT 524419 SOS 412966 HAS SOPS 399264 HAS SOUS 154925 HAS SOUPS 152851 WITH SCORE 153263.966
AT ITER 315 NEW BEST:: SOT 524390 SOS 412937 HAS SOPS 399235 HAS SOUS 154896 HAS SOUPS 152822 WITH SCORE 153234.937
AT ITER 321 NEW BEST:: SOT 524381 SOS 412928 HAS SOPS 399226 HAS SOUS 155009 HAS SOUPS 152813 WITH SCORE 153225.928
AT ITER 324 NEW BEST:: SOT 524165 SOS 412712 HAS SOPS 399006 HAS SOUS 154785 HAS SOUPS 152589 WITH SCORE 153001.712
AT ITER 325 NEW BEST:: SOT 524165 SOS 412670 HAS SOPS 398964 HAS SOUS 154788 HAS SOUPS 152547 WITH SCORE 152959.67
AT ITER 331 NEW BEST:: SOT 524523 SOS 413002 HAS SOPS 399335 HAS SOUS 154535 HAS SOUPS 152320 WITH SCORE 152733.002
AT ITER 333 NEW BEST:: SOT 522732 SOS 411268 HAS SOPS 397493 HAS SOUS 152663 HAS SOUPS 150429 WITH SCORE 150840.268
AT ITER 336 NEW BEST:: SOT 520991 SOS 409527 HAS SOPS 395752 HAS SOUS 150922 HAS SOUPS 148688 WITH SCORE 149097.527
AT ITER 337 NEW BEST:: SOT 520536 SOS 409072 HAS SOPS 395297 HAS SOUS 150467 HAS SOUPS 148233 WITH SCORE 148642.072
AT ITER 339 NEW BEST:: SOT 520536 SOS 409053 HAS SOPS 395278 HAS SOUS 150448 HAS SOUPS 148214 WITH SCORE 148623.053
AT ITER 342 NEW BEST:: SOT 520536 SOS 407331 HAS SOPS 393219 HAS SOUS 150027 HAS SOUPS 147793 WITH SCORE 148200.331
AT ITER 343 NEW BEST:: SOT 521792 SOS 407866 HAS SOPS 394559 HAS SOUS 145490 HAS SOUPS 143421 WITH SCORE 143828.866
AT ITER 344 NEW BEST:: SOT 522610 SOS 408684 HAS SOPS 395377 HAS SOUS 145328 HAS SOUPS 143259 WITH SCORE 143667.684
AT ITER 352 NEW BEST:: SOT 524080 SOS 406563 HAS SOPS 393381 HAS SOUS 138871 HAS SOUPS 136684 WITH SCORE 137090.563
AT ITER 356 NEW BEST:: SOT 525880 SOS 406691 HAS SOPS 395036 HAS SOUS 135128 HAS SOUPS 133059 WITH SCORE 133465.691
AT ITER 358 NEW BEST:: SOT 524229 SOS 405040 HAS SOPS 393385 HAS SOUS 134947 HAS SOUPS 132878 WITH SCORE 133283.04
AT ITER 360 NEW BEST:: SOT 523819 SOS 404630 HAS SOPS 392975 HAS SOUS 134537 HAS SOUPS 132468 WITH SCORE 132872.63
AT ITER 362 NEW BEST:: SOT 521800 SOS 402611 HAS SOPS 390956 HAS SOUS 132518 HAS SOUPS 130449 WITH SCORE 130851.611
AT ITER 366 NEW BEST:: SOT 522325 SOS 403122 HAS SOPS 391481 HAS SOUS 132213 HAS SOUPS 130155 WITH SCORE 130558.122
AT ITER 371 NEW BEST:: SOT 521448 SOS 402245 HAS SOPS 390604 HAS SOUS 131336 HAS SOUPS 129278 WITH SCORE 129680.245
AT ITER 379 NEW BEST:: SOT 521362 SOS 395386 HAS SOPS 380272 HAS SOUS 129979 HAS SOUPS 125322 WITH SCORE 125717.386
AT ITER 382 NEW BEST:: SOT 521362 SOS 394856 HAS SOPS 379672 HAS SOUS 129885 HAS SOUPS 125228 WITH SCORE 125622.856
AT ITER 384 NEW BEST:: SOT 521362 SOS 394709 HAS SOPS 379519 HAS SOUS 129829 HAS SOUPS 125216 WITH SCORE 125610.709
AT ITER 385 NEW BEST:: SOT 521773 SOS 393849 HAS SOPS 379973 HAS SOUS 127341 HAS SOUPS 122813 WITH SCORE 123206.849
AT ITER 394 NEW BEST:: SOT 521773 SOS 391144 HAS SOPS 375889 HAS SOUS 125837 HAS SOUPS 121309 WITH SCORE 121700.144
AT ITER 400 NEW BEST:: SOT 522699 SOS 391875 HAS SOPS 376815 HAS SOUS 124858 HAS SOUPS 120372 WITH SCORE 120763.875
AT ITER 402 NEW BEST:: SOT 521774 SOS 390950 HAS SOPS 375804 HAS SOUS 123761 HAS SOUPS 119275 WITH SCORE 119665.95
AT ITER 403 NEW BEST:: SOT 521423 SOS 391398 HAS SOPS 376303 HAS SOUS 123495 HAS SOUPS 119009 WITH SCORE 119400.398
AT ITER 404 NEW BEST:: SOT 520126 SOS 390103 HAS SOPS 374986 HAS SOUS 123256 HAS SOUPS 118748 WITH SCORE 119138.103
AT ITER 412 NEW BEST:: SOT 520660 SOS 390613 HAS SOPS 375532 HAS SOUS 123238 HAS SOUPS 118742 WITH SCORE 119132.613
AT ITER 414 NEW BEST:: SOT 520571 SOS 390524 HAS SOPS 375483 HAS SOUS 123189 HAS SOUPS 118733 WITH SCORE 119123.524
AT ITER 415 NEW BEST:: SOT 516300 SOS 385059 HAS SOPS 367913 HAS SOUS 121126 HAS SOUPS 116588 WITH SCORE 116973.059
AT ITER 416 NEW BEST:: SOT 516032 SOS 384791 HAS SOPS 367590 HAS SOUS 120803 HAS SOUPS 116210 WITH SCORE 116594.791
AT ITER 417 NEW BEST:: SOT 514373 SOS 383132 HAS SOPS 365931 HAS SOUS 119144 HAS SOUPS 114551 WITH SCORE 114934.132
AT ITER 430 NEW BEST:: SOT 513954 SOS 382713 HAS SOPS 365512 HAS SOUS 118725 HAS SOUPS 114132 WITH SCORE 114514.713
AT ITER 431 NEW BEST:: SOT 515892 SOS 384560 HAS SOPS 367509 HAS SOUS 117922 HAS SOUPS 113388 WITH SCORE 113772.56
AT ITER 432 NEW BEST:: SOT 515884 SOS 384552 HAS SOPS 367501 HAS SOUS 117914 HAS SOUPS 113380 WITH SCORE 113764.552
AT ITER 437 NEW BEST:: SOT 515884 SOS 383894 HAS SOPS 366801 HAS SOUS 117858 HAS SOUPS 113324 WITH SCORE 113707.894
AT ITER 438 NEW BEST:: SOT 515884 SOS 382448 HAS SOPS 365275 HAS SOUS 117740 HAS SOUPS 113237 WITH SCORE 113619.448
AT ITER 442 NEW BEST:: SOT 515884 SOS 381351 HAS SOPS 363694 HAS SOUS 117163 HAS SOUPS 112691 WITH SCORE 113072.351
AT ITER 443 NEW BEST:: SOT 516132 SOS 380538 HAS SOPS 363942 HAS SOUS 114622 HAS SOUPS 110227 WITH SCORE 110607.538
AT ITER 450 NEW BEST:: SOT 518864 SOS 382994 HAS SOPS 366674 HAS SOUS 113830 HAS SOUPS 109511 WITH SCORE 109893.994
AT ITER 455 NEW BEST:: SOT 517680 SOS 381996 HAS SOPS 365678 HAS SOUS 112650 HAS SOUPS 108327 WITH SCORE 108708.996
AT ITER 456 NEW BEST:: SOT 520696 SOS 384897 HAS SOPS 368722 HAS SOUS 111455 HAS SOUPS 107202 WITH SCORE 107586.897
AT ITER 457 NEW BEST:: SOT 520696 SOS 384918 HAS SOPS 368718 HAS SOUS 111430 HAS SOUPS 107173 WITH SCORE 107557.918
AT ITER 461 NEW BEST:: SOT 520696 SOS 383530 HAS SOPS 366987 HAS SOUS 111326 HAS SOUPS 107032 WITH SCORE 107415.53
AT ITER 464 NEW BEST:: SOT 520696 SOS 383555 HAS SOPS 366987 HAS SOUS 111301 HAS SOUPS 107007 WITH SCORE 107390.555
AT ITER 471 NEW BEST:: SOT 520666 SOS 383525 HAS SOPS 366945 HAS SOUS 111259 HAS SOUPS 106953 WITH SCORE 107336.525
AT ITER 475 NEW BEST:: SOT 519816 SOS 382675 HAS SOPS 366095 HAS SOUS 110409 HAS SOUPS 106103 WITH SCORE 106485.675
AT ITER 488 NEW BEST:: SOT 519804 SOS 381751 HAS SOPS 365133 HAS SOUS 110321 HAS SOUPS 106034 WITH SCORE 106415.751
AT ITER 497 NEW BEST:: SOT 519623 SOS 379667 HAS SOPS 362986 HAS SOUS 109942 HAS SOUPS 105735 WITH SCORE 106114.667
AT ITER 505 NEW BEST:: SOT 519623 SOS 377827 HAS SOPS 360522 HAS SOUS 109222 HAS SOUPS 104999 WITH SCORE 105376.827
AT ITER 509 NEW BEST:: SOT 519591 SOS 376727 HAS SOPS 358858 HAS SOUS 108562 HAS SOUPS 104339 WITH SCORE 104715.727
AT ITER 510 NEW BEST:: SOT 519580 SOS 372127 HAS SOPS 353891 HAS SOUS 107974 HAS SOUPS 103833 WITH SCORE 104205.127
AT ITER 512 NEW BEST:: SOT 518322 SOS 370910 HAS SOPS 352606 HAS SOUS 107998 HAS SOUPS 103803 WITH SCORE 104173.91
AT ITER 516 NEW BEST:: SOT 517233 SOS 374516 HAS SOPS 356236 HAS SOUS 107431 HAS SOUPS 103003 WITH SCORE 103377.516
AT ITER 517 NEW BEST:: SOT 518449 SOS 375485 HAS SOPS 357452 HAS SOUS 106794 HAS SOUPS 102408 WITH SCORE 102783.485
AT ITER 519 NEW BEST:: SOT 519930 SOS 373529 HAS SOPS 358066 HAS SOUS 103515 HAS SOUPS 99222 WITH SCORE 99595.529
AT ITER 523 NEW BEST:: SOT 517822 SOS 371068 HAS SOPS 355132 HAS SOUS 103026 HAS SOUPS 98706 WITH SCORE 99077.068
AT ITER 524 NEW BEST:: SOT 517822 SOS 371096 HAS SOPS 355150 HAS SOUS 103064 HAS SOUPS 98686 WITH SCORE 99057.096
AT ITER 525 NEW BEST:: SOT 517801 SOS 371075 HAS SOPS 355119 HAS SOUS 103033 HAS SOUPS 98645 WITH SCORE 99016.075
AT ITER 534 NEW BEST:: SOT 517792 SOS 370203 HAS SOPS 354141 HAS SOUS 102880 HAS SOUPS 98492 WITH SCORE 98862.203
AT ITER 538 NEW BEST:: SOT 516561 SOS 369002 HAS SOPS 352888 HAS SOUS 102675 HAS SOUPS 98265 WITH SCORE 98634.002
AT ITER 545 NEW BEST:: SOT 516561 SOS 368652 HAS SOPS 352538 HAS SOUS 102661 HAS SOUPS 98258 WITH SCORE 98626.652
AT ITER 551 NEW BEST:: SOT 516136 SOS 368227 HAS SOPS 352108 HAS SOUS 102226 HAS SOUPS 97823 WITH SCORE 98191.227
AT ITER 553 NEW BEST:: SOT 516058 SOS 368149 HAS SOPS 352030 HAS SOUS 102000 HAS SOUPS 97745 WITH SCORE 98113.149
AT ITER 554 NEW BEST:: SOT 516813 SOS 368590 HAS SOPS 352831 HAS SOUS 100861 HAS SOUPS 96652 WITH SCORE 97020.59
AT ITER 559 NEW BEST:: SOT 516813 SOS 367388 HAS SOPS 351631 HAS SOUS 100839 HAS SOUPS 96630 WITH SCORE 96997.388
AT ITER 570 NEW BEST:: SOT 516813 SOS 367360 HAS SOPS 351603 HAS SOUS 100811 HAS SOUPS 96602 WITH SCORE 96969.36
AT ITER 574 NEW BEST:: SOT 516813 SOS 364860 HAS SOPS 349053 HAS SOUS 100611 HAS SOUPS 96452 WITH SCORE 96816.86
AT ITER 584 NEW BEST:: SOT 519217 SOS 367033 HAS SOPS 351457 HAS SOUS 99946 HAS SOUPS 95853 WITH SCORE 96220.033
AT ITER 592 NEW BEST:: SOT 519222 SOS 364040 HAS SOPS 348096 HAS SOUS 99385 HAS SOUPS 95358 WITH SCORE 95722.04
AT ITER 596 NEW BEST:: SOT 519222 SOS 364083 HAS SOPS 348096 HAS SOUS 99342 HAS SOUPS 95315 WITH SCORE 95679.083
AT ITER 601 NEW BEST:: SOT 513383 SOS 358380 HAS SOPS 342257 HAS SOUS 97499 HAS SOUPS 93407 WITH SCORE 93765.38
AT ITER 602 NEW BEST:: SOT 513895 SOS 358800 HAS SOPS 342769 HAS SOUS 97303 HAS SOUPS 93227 WITH SCORE 93585.8
AT ITER 605 NEW BEST:: SOT 513895 SOS 354923 HAS SOPS 338720 HAS SOUS 96999 HAS SOUPS 92923 WITH SCORE 93277.923
AT ITER 612 NEW BEST:: SOT 513758 SOS 355050 HAS SOPS 338892 HAS SOUS 96971 HAS SOUPS 92895 WITH SCORE 93250.05
AT ITER 613 NEW BEST:: SOT 513822 SOS 355080 HAS SOPS 338871 HAS SOUS 96933 HAS SOUPS 92857 WITH SCORE 93212.08
AT ITER 621 NEW BEST:: SOT 513653 SOS 354911 HAS SOPS 338702 HAS SOUS 96764 HAS SOUPS 92688 WITH SCORE 93042.911
AT ITER 622 NEW BEST:: SOT 513753 SOS 354987 HAS SOPS 338806 HAS SOUS 96692 HAS SOUPS 92624 WITH SCORE 92978.987
AT ITER 623 NEW BEST:: SOT 513753 SOS 354632 HAS SOPS 338449 HAS SOUS 96676 HAS SOUPS 92608 WITH SCORE 92962.632
AT ITER 625 NEW BEST:: SOT 513745 SOS 354624 HAS SOPS 338441 HAS SOUS 96668 HAS SOUPS 92600 WITH SCORE 92954.624
AT ITER 629 NEW BEST:: SOT 513745 SOS 354443 HAS SOPS 338249 HAS SOUS 96653 HAS SOUPS 92585 WITH SCORE 92939.443
AT ITER 636 NEW BEST:: SOT 513745 SOS 354186 HAS SOPS 337987 HAS SOUS 96626 HAS SOUPS 92563 WITH SCORE 92917.186
AT ITER 646 NEW BEST:: SOT 513745 SOS 353667 HAS SOPS 337456 HAS SOUS 96553 HAS SOUPS 92531 WITH SCORE 92884.667
AT ITER 657 NEW BEST:: SOT 513745 SOS 353226 HAS SOPS 337015 HAS SOUS 96535 HAS SOUPS 92522 WITH SCORE 92875.226
AT ITER 667 NEW BEST:: SOT 513745 SOS 351489 HAS SOPS 335252 HAS SOUS 96336 HAS SOUPS 92423 WITH SCORE 92774.489
AT ITER 669 NEW BEST:: SOT 515458 SOS 353143 HAS SOPS 336999 HAS SOUS 95834 HAS SOUPS 91960 WITH SCORE 92313.143
AT ITER 677 NEW BEST:: SOT 514213 SOS 351910 HAS SOPS 335743 HAS SOUS 95303 HAS SOUPS 91416 WITH SCORE 91767.91
AT ITER 684 NEW BEST:: SOT 516241 SOS 353589 HAS SOPS 337771 HAS SOUS 94620 HAS SOUPS 90755 WITH SCORE 91108.589
AT ITER 686 NEW BEST:: SOT 516281 SOS 353624 HAS SOPS 337811 HAS SOUS 94615 HAS SOUPS 90751 WITH SCORE 91104.624
AT ITER 690 NEW BEST:: SOT 516281 SOS 353620 HAS SOPS 337807 HAS SOUS 94611 HAS SOUPS 90747 WITH SCORE 91100.62
AT ITER 693 NEW BEST:: SOT 518892 SOS 355948 HAS SOPS 340562 HAS SOUS 94121 HAS SOUPS 90329 WITH SCORE 90684.948
AT ITER 695 NEW BEST:: SOT 521565 SOS 358471 HAS SOPS 343235 HAS SOUS 93794 HAS SOUPS 90065 WITH SCORE 90423.471
AT ITER 703 NEW BEST:: SOT 521565 SOS 358424 HAS SOPS 343185 HAS SOUS 93790 HAS SOUPS 90061 WITH SCORE 90419.424
AT ITER 704 NEW BEST:: SOT 521565 SOS 357493 HAS SOPS 342235 HAS SOUS 93759 HAS SOUPS 90023 WITH SCORE 90380.493
AT ITER 706 NEW BEST:: SOT 521565 SOS 357484 HAS SOPS 342235 HAS SOUS 93759 HAS SOUPS 90023 WITH SCORE 90380.484
AT ITER 710 NEW BEST:: SOT 520482 SOS 356398 HAS SOPS 341149 HAS SOUS 92673 HAS SOUPS 88937 WITH SCORE 89293.398
AT ITER 714 NEW BEST:: SOT 520482 SOS 356398 HAS SOPS 341137 HAS SOUS 92661 HAS SOUPS 88913 WITH SCORE 89269.398
AT ITER 716 NEW BEST:: SOT 520617 SOS 356435 HAS SOPS 341105 HAS SOUS 92699 HAS SOUPS 88910 WITH SCORE 89266.435
AT ITER 718 NEW BEST:: SOT 520617 SOS 355079 HAS SOPS 339677 HAS SOUS 92571 HAS SOUPS 88782 WITH SCORE 89137.079
AT ITER 725 NEW BEST:: SOT 520617 SOS 354063 HAS SOPS 337805 HAS SOUS 91619 HAS SOUPS 87852 WITH SCORE 88206.063
AT ITER 733 NEW BEST:: SOT 520617 SOS 354008 HAS SOPS 337750 HAS SOUS 91564 HAS SOUPS 87797 WITH SCORE 88151.008
AT ITER 735 NEW BEST:: SOT 520617 SOS 353613 HAS SOPS 337347 HAS SOUS 91558 HAS SOUPS 87778 WITH SCORE 88131.613
AT ITER 739 NEW BEST:: SOT 520608 SOS 353604 HAS SOPS 337338 HAS SOUS 91549 HAS SOUPS 87769 WITH SCORE 88122.604
AT ITER 741 NEW BEST:: SOT 520603 SOS 353599 HAS SOPS 337333 HAS SOUS 91544 HAS SOUPS 87764 WITH SCORE 88117.599
AT ITER 742 NEW BEST:: SOT 520603 SOS 353384 HAS SOPS 337096 HAS SOUS 91512 HAS SOUPS 87732 WITH SCORE 88085.384
AT ITER 745 NEW BEST:: SOT 522128 SOS 354834 HAS SOPS 338621 HAS SOUS 91412 HAS SOUPS 87666 WITH SCORE 88020.834
AT ITER 755 NEW BEST:: SOT 522128 SOS 354821 HAS SOPS 338608 HAS SOUS 91460 HAS SOUPS 87653 WITH SCORE 88007.821
AT ITER 759 NEW BEST:: SOT 522380 SOS 356281 HAS SOPS 340696 HAS SOUS 90648 HAS SOUPS 86841 WITH SCORE 87197.281
AT ITER 760 NEW BEST:: SOT 522104 SOS 356005 HAS SOPS 340420 HAS SOUS 90372 HAS SOUPS 86565 WITH SCORE 86921.005
AT ITER 764 NEW BEST:: SOT 522104 SOS 356018 HAS SOPS 340420 HAS SOUS 90372 HAS SOUPS 86552 WITH SCORE 86908.018
AT ITER 765 NEW BEST:: SOT 521481 SOS 351489 HAS SOPS 332709 HAS SOUS 86840 HAS SOUPS 82467 WITH SCORE 82818.489
AT ITER 771 NEW BEST:: SOT 524738 SOS 353948 HAS SOPS 336007 HAS SOUS 85462 HAS SOUPS 81199 WITH SCORE 81552.948
AT ITER 779 NEW BEST:: SOT 525095 SOS 351910 HAS SOPS 336543 HAS SOUS 82619 HAS SOUPS 78499 WITH SCORE 78850.91
AT ITER 783 NEW BEST:: SOT 524058 SOS 350940 HAS SOPS 335506 HAS SOUS 82515 HAS SOUPS 78375 WITH SCORE 78725.94
AT ITER 790 NEW BEST:: SOT 524058 SOS 350929 HAS SOPS 335495 HAS SOUS 82504 HAS SOUPS 78364 WITH SCORE 78714.929
AT ITER 799 NEW BEST:: SOT 524028 SOS 350899 HAS SOPS 335465 HAS SOUS 82474 HAS SOUPS 78334 WITH SCORE 78684.899
AT ITER 804 NEW BEST:: SOT 524124 SOS 350885 HAS SOPS 335561 HAS SOUS 82130 HAS SOUPS 78001 WITH SCORE 78351.885
AT ITER 805 NEW BEST:: SOT 526318 SOS 352789 HAS SOPS 337755 HAS SOUS 81914 HAS SOUPS 77839 WITH SCORE 78191.789
AT ITER 806 NEW BEST:: SOT 526318 SOS 352782 HAS SOPS 337749 HAS SOUS 81908 HAS SOUPS 77834 WITH SCORE 78186.782
AT ITER 816 NEW BEST:: SOT 526318 SOS 352782 HAS SOPS 337727 HAS SOUS 81886 HAS SOUPS 77790 WITH SCORE 78142.782
AT ITER 817 NEW BEST:: SOT 526254 SOS 352703 HAS SOPS 337645 HAS SOUS 81816 HAS SOUPS 77720 WITH SCORE 78072.703
AT ITER 827 NEW BEST:: SOT 526254 SOS 353034 HAS SOPS 337955 HAS SOUS 81783 HAS SOUPS 77687 WITH SCORE 78040.034
AT ITER 831 NEW BEST:: SOT 526251 SOS 353031 HAS SOPS 337952 HAS SOUS 81780 HAS SOUPS 77684 WITH SCORE 78037.031
AT ITER 839 NEW BEST:: SOT 527648 SOS 356938 HAS SOPS 343174 HAS SOUS 80892 HAS SOUPS 76871 WITH SCORE 77227.938
AT ITER 851 NEW BEST:: SOT 527648 SOS 357541 HAS SOPS 343738 HAS SOUS 80906 HAS SOUPS 76857 WITH SCORE 77214.541
AT ITER 858 NEW BEST:: SOT 527624 SOS 357517 HAS SOPS 343714 HAS SOUS 80882 HAS SOUPS 76833 WITH SCORE 77190.517
AT ITER 861 NEW BEST:: SOT 527624 SOS 355355 HAS SOPS 341558 HAS SOUS 80823 HAS SOUPS 76774 WITH SCORE 77129.355
AT ITER 867 NEW BEST:: SOT 527624 SOS 355355 HAS SOPS 341539 HAS SOUS 80804 HAS SOUPS 76736 WITH SCORE 77091.355
AT ITER 874 NEW BEST:: SOT 527624 SOS 355598 HAS SOPS 341782 HAS SOUS 80802 HAS SOUPS 76734 WITH SCORE 77089.598
AT ITER 888 NEW BEST:: SOT 527892 SOS 355752 HAS SOPS 342050 HAS SOUS 80284 HAS SOUPS 76234 WITH SCORE 76589.752
AT ITER 894 NEW BEST:: SOT 527416 SOS 355276 HAS SOPS 341574 HAS SOUS 80151 HAS SOUPS 76101 WITH SCORE 76456.276
AT ITER 896 NEW BEST:: SOT 527416 SOS 354903 HAS SOPS 341201 HAS SOUS 80114 HAS SOUPS 76071 WITH SCORE 76425.903
AT ITER 898 NEW BEST:: SOT 527416 SOS 352961 HAS SOPS 339214 HAS SOUS 79999 HAS SOUPS 75950 WITH SCORE 76302.961
AT ITER 901 NEW BEST:: SOT 527416 SOS 354896 HAS SOPS 341086 HAS SOUS 80047 HAS SOUPS 75900 WITH SCORE 76254.896
AT ITER 912 NEW BEST:: SOT 531558 SOS 358058 HAS SOPS 345228 HAS SOUS 78276 HAS SOUPS 74162 WITH SCORE 74520.058
AT ITER 925 NEW BEST:: SOT 531403 SOS 357835 HAS SOPS 344981 HAS SOUS 78029 HAS SOUPS 73959 WITH SCORE 74316.835
AT ITER 936 NEW BEST:: SOT 531363 SOS 357780 HAS SOPS 344910 HAS SOUS 77958 HAS SOUPS 73887 WITH SCORE 74244.78
AT ITER 944 NEW BEST:: SOT 531360 SOS 357777 HAS SOPS 344907 HAS SOUS 77955 HAS SOUPS 73884 WITH SCORE 74241.777
AT ITER 947 NEW BEST:: SOT 534566 SOS 360718 HAS SOPS 348118 HAS SOUS 77686 HAS SOUPS 73690 WITH SCORE 74050.718
AT ITER 949 NEW BEST:: SOT 534566 SOS 360361 HAS SOPS 347761 HAS SOUS 77672 HAS SOUPS 73676 WITH SCORE 74036.361
AT ITER 952 NEW BEST:: SOT 534566 SOS 360359 HAS SOPS 347759 HAS SOUS 77670 HAS SOUPS 73674 WITH SCORE 74034.359
AT ITER 953 NEW BEST:: SOT 534566 SOS 360102 HAS SOPS 347487 HAS SOUS 77628 HAS SOUPS 73632 WITH SCORE 73992.102
AT ITER 956 NEW BEST:: SOT 534894 SOS 360810 HAS SOPS 348427 HAS SOUS 77612 HAS SOUPS 73628 WITH SCORE 73988.81
AT ITER 964 NEW BEST:: SOT 534894 SOS 359972 HAS SOPS 347589 HAS SOUS 77590 HAS SOUPS 73606 WITH SCORE 73965.972
AT ITER 971 NEW BEST:: SOT 534894 SOS 358711 HAS SOPS 346259 HAS SOUS 77469 HAS SOUPS 73485 WITH SCORE 73843.711
AT ITER 972 NEW BEST:: SOT 532956 SOS 356918 HAS SOPS 344321 HAS SOUS 77386 HAS SOUPS 73362 WITH SCORE 73718.918
AT ITER 974 NEW BEST:: SOT 532956 SOS 358353 HAS SOPS 345721 HAS SOUS 77407 HAS SOUPS 73355 WITH SCORE 73713.353
AT ITER 992 NEW BEST:: SOT 532956 SOS 357453 HAS SOPS 344821 HAS SOUS 77371 HAS SOUPS 73319 WITH SCORE 73676.453
AT ITER 1000 NEW BEST:: SOT 532956 SOS 357453 HAS SOPS 344808 HAS SOUS 77358 HAS SOUPS 73293 WITH SCORE 73650.453
AT ITER 1007 NEW BEST:: SOT 532956 SOS 357096 HAS SOPS 344451 HAS SOUS 77344 HAS SOUPS 73279 WITH SCORE 73636.096
AT ITER 1010 NEW BEST:: SOT 532956 SOS 357090 HAS SOPS 344445 HAS SOUS 77342 HAS SOUPS 73279 WITH SCORE 73636.09
AT ITER 1011 NEW BEST:: SOT 532956 SOS 357075 HAS SOPS 344430 HAS SOUS 77342 HAS SOUPS 73279 WITH SCORE 73636.075
AT ITER 1013 NEW BEST:: SOT 532956 SOS 357868 HAS SOPS 345146 HAS SOUS 77274 HAS SOUPS 73158 WITH SCORE 73515.868
AT ITER 1029 NEW BEST:: SOT 532956 SOS 357860 HAS SOPS 345124 HAS SOUS 77246 HAS SOUPS 73130 WITH SCORE 73487.86
AT ITER 1038 NEW BEST:: SOT 532954 SOS 357858 HAS SOPS 345122 HAS SOUS 77244 HAS SOUPS 73128 WITH SCORE 73485.858
AT ITER 1050 NEW BEST:: SOT 535553 SOS 360257 HAS SOPS 347768 HAS SOUS 76787 HAS SOUPS 72738 WITH SCORE 73098.257
AT ITER 1068 NEW BEST:: SOT 535800 SOS 360490 HAS SOPS 348015 HAS SOUS 76698 HAS SOUPS 72656 WITH SCORE 73016.49
AT ITER 1072 NEW BEST:: SOT 535800 SOS 360796 HAS SOPS 348311 HAS SOUS 76707 HAS SOUPS 72648 WITH SCORE 73008.796
AT ITER 1074 NEW BEST:: SOT 537530 SOS 362271 HAS SOPS 348841 HAS SOUS 75604 HAS SOUPS 71572 WITH SCORE 71934.271
AT ITER 1077 NEW BEST:: SOT 537801 SOS 362843 HAS SOPS 349574 HAS SOUS 75457 HAS SOUPS 71437 WITH SCORE 71799.843
AT ITER 1080 NEW BEST:: SOT 538362 SOS 363374 HAS SOPS 350135 HAS SOUS 75398 HAS SOUPS 71391 WITH SCORE 71754.374
AT ITER 1084 NEW BEST:: SOT 537699 SOS 365501 HAS SOPS 352230 HAS SOUS 74813 HAS SOUPS 70774 WITH SCORE 71139.501
AT ITER 1088 NEW BEST:: SOT 541966 SOS 369347 HAS SOPS 356521 HAS SOUS 74449 HAS SOUPS 70512 WITH SCORE 70881.347
AT ITER 1103 NEW BEST:: SOT 541966 SOS 368089 HAS SOPS 355263 HAS SOUS 74401 HAS SOUPS 70430 WITH SCORE 70798.089
AT ITER 1104 NEW BEST:: SOT 541956 SOS 367879 HAS SOPS 355053 HAS SOUS 74383 HAS SOUPS 70412 WITH SCORE 70779.879
AT ITER 1114 NEW BEST:: SOT 541956 SOS 367522 HAS SOPS 354696 HAS SOUS 74388 HAS SOUPS 70398 WITH SCORE 70765.522
AT ITER 1118 NEW BEST:: SOT 541905 SOS 365783 HAS SOPS 352882 HAS SOUS 74194 HAS SOUPS 70175 WITH SCORE 70540.783
AT ITER 1119 NEW BEST:: SOT 541862 SOS 365744 HAS SOPS 352838 HAS SOUS 74196 HAS SOUPS 70175 WITH SCORE 70540.744
AT ITER 1124 NEW BEST:: SOT 541862 SOS 365387 HAS SOPS 352481 HAS SOUS 74182 HAS SOUPS 70161 WITH SCORE 70526.387
AT ITER 1132 NEW BEST:: SOT 541875 SOS 365323 HAS SOPS 352494 HAS SOUS 73922 HAS SOUPS 69908 WITH SCORE 70273.323
AT ITER 1146 NEW BEST:: SOT 542093 SOS 365427 HAS SOPS 352712 HAS SOUS 73306 HAS SOUPS 69309 WITH SCORE 69674.427
AT ITER 1158 NEW BEST:: SOT 542093 SOS 362986 HAS SOPS 350256 HAS SOUS 73173 HAS SOUPS 69190 WITH SCORE 69552.986
AT ITER 1174 NEW BEST:: SOT 542093 SOS 361475 HAS SOPS 348760 HAS SOUS 73039 HAS SOUPS 69179 WITH SCORE 69540.475
AT ITER 1195 NEW BEST:: SOT 542093 SOS 361401 HAS SOPS 348602 HAS SOUS 72881 HAS SOUPS 69014 WITH SCORE 69375.401
AT ITER 1196 NEW BEST:: SOT 542093 SOS 361299 HAS SOPS 348500 HAS SOUS 72877 HAS SOUPS 69010 WITH SCORE 69371.299
AT ITER 1202 NEW BEST:: SOT 542115 SOS 361233 HAS SOPS 348522 HAS SOUS 72637 HAS SOUPS 68777 WITH SCORE 69138.233
AT ITER 1203 NEW BEST:: SOT 542084 SOS 359663 HAS SOPS 346546 HAS SOUS 72122 HAS SOUPS 68267 WITH SCORE 68626.663
AT ITER 1221 NEW BEST:: SOT 542084 SOS 360957 HAS SOPS 347752 HAS SOUS 72126 HAS SOUPS 68161 WITH SCORE 68521.957
AT ITER 1222 NEW BEST:: SOT 540260 SOS 359199 HAS SOPS 345868 HAS SOUS 71646 HAS SOUPS 67651 WITH SCORE 68010.199
AT ITER 1223 NEW BEST:: SOT 540260 SOS 358536 HAS SOPS 345205 HAS SOUS 71620 HAS SOUPS 67625 WITH SCORE 67983.536
AT ITER 1249 NEW BEST:: SOT 540260 SOS 360015 HAS SOPS 346632 HAS SOUS 71679 HAS SOUPS 67579 WITH SCORE 67939.015
AT ITER 1254 NEW BEST:: SOT 540225 SOS 359980 HAS SOPS 346597 HAS SOUS 71644 HAS SOUPS 67544 WITH SCORE 67903.98
AT ITER 1257 NEW BEST:: SOT 540225 SOS 359469 HAS SOPS 346087 HAS SOUS 71607 HAS SOUPS 67524 WITH SCORE 67883.469
AT ITER 1260 NEW BEST:: SOT 540223 SOS 359464 HAS SOPS 346085 HAS SOUS 71558 HAS SOUPS 67476 WITH SCORE 67835.464
AT ITER 1264 NEW BEST:: SOT 540185 SOS 359409 HAS SOPS 346030 HAS SOUS 71503 HAS SOUPS 67421 WITH SCORE 67780.409
AT ITER 1267 NEW BEST:: SOT 539421 SOS 358669 HAS SOPS 345254 HAS SOUS 71291 HAS SOUPS 67197 WITH SCORE 67555.669
AT ITER 1276 NEW BEST:: SOT 539388 SOS 357294 HAS SOPS 342977 HAS SOUS 70268 HAS SOUPS 66174 WITH SCORE 66531.294
AT ITER 1289 NEW BEST:: SOT 539938 SOS 357696 HAS SOPS 343527 HAS SOUS 69766 HAS SOUPS 65696 WITH SCORE 66053.696
AT ITER 1293 NEW BEST:: SOT 540708 SOS 358271 HAS SOPS 344329 HAS SOUS 69163 HAS SOUPS 65157 WITH SCORE 65515.271
AT ITER 1301 NEW BEST:: SOT 540708 SOS 357863 HAS SOPS 343921 HAS SOUS 69128 HAS SOUPS 65141 WITH SCORE 65498.863
AT ITER 1304 NEW BEST:: SOT 540708 SOS 357098 HAS SOPS 343171 HAS SOUS 69124 HAS SOUPS 65141 WITH SCORE 65498.098
AT ITER 1309 NEW BEST:: SOT 540708 SOS 356598 HAS SOPS 342671 HAS SOUS 69104 HAS SOUPS 65131 WITH SCORE 65487.598
AT ITER 1313 NEW BEST:: SOT 540708 SOS 356598 HAS SOPS 342669 HAS SOUS 69102 HAS SOUPS 65127 WITH SCORE 65483.598
AT ITER 1314 NEW BEST:: SOT 540717 SOS 356607 HAS SOPS 342673 HAS SOUS 69106 HAS SOUPS 65126 WITH SCORE 65482.607
AT ITER 1318 NEW BEST:: SOT 540717 SOS 357207 HAS SOPS 343257 HAS SOUS 69103 HAS SOUPS 65118 WITH SCORE 65475.207
AT ITER 1339 NEW BEST:: SOT 540199 SOS 356717 HAS SOPS 342721 HAS SOUS 68980 HAS SOUPS 64986 WITH SCORE 65342.717
AT ITER 1344 NEW BEST:: SOT 540199 SOS 356715 HAS SOPS 342717 HAS SOUS 68978 HAS SOUPS 64982 WITH SCORE 65338.715
AT ITER 1346 NEW BEST:: SOT 540199 SOS 356692 HAS SOPS 342694 HAS SOUS 68955 HAS SOUPS 64982 WITH SCORE 65338.692
AT ITER 1352 NEW BEST:: SOT 540189 SOS 356640 HAS SOPS 342591 HAS SOUS 68827 HAS SOUPS 64870 WITH SCORE 65226.64
AT ITER 1364 NEW BEST:: SOT 540189 SOS 356632 HAS SOPS 342583 HAS SOUS 68819 HAS SOUPS 64862 WITH SCORE 65218.632
AT ITER 1386 NEW BEST:: SOT 540189 SOS 356656 HAS SOPS 342603 HAS SOUS 68841 HAS SOUPS 64854 WITH SCORE 65210.656
AT ITER 1389 NEW BEST:: SOT 540225 SOS 356686 HAS SOPS 342639 HAS SOUS 68833 HAS SOUPS 64847 WITH SCORE 65203.686
AT ITER 1399 NEW BEST:: SOT 540225 SOS 356227 HAS SOPS 342180 HAS SOUS 68815 HAS SOUPS 64829 WITH SCORE 65185.227
AT ITER 1429 NEW BEST:: SOT 540225 SOS 356118 HAS SOPS 341820 HAS SOUS 68550 HAS SOUPS 64561 WITH SCORE 64917.118
AT ITER 1436 NEW BEST:: SOT 540225 SOS 355914 HAS SOPS 341616 HAS SOUS 68542 HAS SOUPS 64553 WITH SCORE 64908.914
AT ITER 1437 NEW BEST:: SOT 540448 SOS 355794 HAS SOPS 341858 HAS SOUS 67077 HAS SOUPS 63148 WITH SCORE 63503.794
AT ITER 1442 NEW BEST:: SOT 540448 SOS 355794 HAS SOPS 341857 HAS SOUS 67085 HAS SOUPS 63146 WITH SCORE 63501.794
AT ITER 1451 NEW BEST:: SOT 540448 SOS 355794 HAS SOPS 341852 HAS SOUS 67085 HAS SOUPS 63136 WITH SCORE 63491.794
AT ITER 1456 NEW BEST:: SOT 540445 SOS 355791 HAS SOPS 341845 HAS SOUS 67078 HAS SOUPS 63125 WITH SCORE 63480.791
AT ITER 1465 NEW BEST:: SOT 540445 SOS 357932 HAS SOPS 343937 HAS SOUS 67063 HAS SOUPS 63110 WITH SCORE 63467.932
AT ITER 1469 NEW BEST:: SOT 540445 SOS 357926 HAS SOPS 343931 HAS SOUS 67057 HAS SOUPS 63110 WITH SCORE 63467.926
AT ITER 1473 NEW BEST:: SOT 540417 SOS 357898 HAS SOPS 343903 HAS SOUS 67029 HAS SOUPS 63082 WITH SCORE 63439.898
AT ITER 1474 NEW BEST:: SOT 540417 SOS 356880 HAS SOPS 342513 HAS SOUS 66628 HAS SOUPS 62663 WITH SCORE 63019.88
AT ITER 1482 NEW BEST:: SOT 540369 SOS 356832 HAS SOPS 342466 HAS SOUS 66580 HAS SOUPS 62616 WITH SCORE 62972.832
AT ITER 1497 NEW BEST:: SOT 540369 SOS 356818 HAS SOPS 342452 HAS SOUS 66555 HAS SOUPS 62616 WITH SCORE 62972.818
AT ITER 1509 NEW BEST:: SOT 540369 SOS 356818 HAS SOPS 342440 HAS SOUS 66543 HAS SOUPS 62592 WITH SCORE 62948.818
AT ITER 1527 NEW BEST:: SOT 540419 SOS 356868 HAS SOPS 342452 HAS SOUS 66555 HAS SOUPS 62566 WITH SCORE 62922.868
AT ITER 1528 NEW BEST:: SOT 540419 SOS 356850 HAS SOPS 342415 HAS SOUS 66516 HAS SOUPS 62528 WITH SCORE 62884.85
AT ITER 1532 NEW BEST:: SOT 540419 SOS 356846 HAS SOPS 342407 HAS SOUS 66512 HAS SOUPS 62520 WITH SCORE 62876.846
AT ITER 1534 NEW BEST:: SOT 540449 SOS 356876 HAS SOPS 342412 HAS SOUS 66517 HAS SOUPS 62500 WITH SCORE 62856.876
AT ITER 1536 NEW BEST:: SOT 540449 SOS 356676 HAS SOPS 342212 HAS SOUS 66509 HAS SOUPS 62492 WITH SCORE 62848.676
AT ITER 1547 NEW BEST:: SOT 540449 SOS 357087 HAS SOPS 342612 HAS SOUS 66506 HAS SOUPS 62489 WITH SCORE 62846.087
AT ITER 1562 NEW BEST:: SOT 540449 SOS 357084 HAS SOPS 342609 HAS SOUS 66514 HAS SOUPS 62489 WITH SCORE 62846.084
AT ITER 1571 NEW BEST:: SOT 540449 SOS 357170 HAS SOPS 342664 HAS SOUS 66485 HAS SOUPS 62460 WITH SCORE 62817.17
AT ITER 1579 NEW BEST:: SOT 540397 SOS 357118 HAS SOPS 342523 HAS SOUS 66344 HAS SOUPS 62230 WITH SCORE 62587.118
AT ITER 1589 NEW BEST:: SOT 540397 SOS 357118 HAS SOPS 342500 HAS SOUS 66321 HAS SOUPS 62184 WITH SCORE 62541.118
AT ITER 1630 NEW BEST:: SOT 540348 SOS 357069 HAS SOPS 342451 HAS SOUS 66272 HAS SOUPS 62135 WITH SCORE 62492.069
AT ITER 1650 NEW BEST:: SOT 540389 SOS 356761 HAS SOPS 341748 HAS SOUS 65888 HAS SOUPS 61757 WITH SCORE 62113.761
AT ITER 1660 NEW BEST:: SOT 539681 SOS 356097 HAS SOPS 341040 HAS SOUS 65830 HAS SOUPS 61691 WITH SCORE 62047.097
AT ITER 1663 NEW BEST:: SOT 539681 SOS 355638 HAS SOPS 340590 HAS SOUS 65821 HAS SOUPS 61691 WITH SCORE 62046.638
AT ITER 1685 NEW BEST:: SOT 539745 SOS 355660 HAS SOPS 340668 HAS SOUS 65598 HAS SOUPS 61475 WITH SCORE 61830.66
AT ITER 1709 NEW BEST:: SOT 539745 SOS 355673 HAS SOPS 340673 HAS SOUS 65603 HAS SOUPS 61459 WITH SCORE 61814.673
AT ITER 1720 NEW BEST:: SOT 539745 SOS 355672 HAS SOPS 340672 HAS SOUS 65602 HAS SOUPS 61458 WITH SCORE 61813.672
AT ITER 1736 NEW BEST:: SOT 539538 SOS 355465 HAS SOPS 340465 HAS SOUS 65395 HAS SOUPS 61251 WITH SCORE 61606.465
AT ITER 1746 NEW BEST:: SOT 539538 SOS 356258 HAS SOPS 341235 HAS SOUS 65404 HAS SOUPS 61237 WITH SCORE 61593.258
AT ITER 1750 NEW BEST:: SOT 539538 SOS 356207 HAS SOPS 341184 HAS SOUS 65391 HAS SOUPS 61235 WITH SCORE 61591.207
AT ITER 1757 NEW BEST:: SOT 539538 SOS 356207 HAS SOPS 341174 HAS SOUS 65380 HAS SOUPS 61215 WITH SCORE 61571.207
AT ITER 1763 NEW BEST:: SOT 539538 SOS 356207 HAS SOPS 341170 HAS SOUS 65409 HAS SOUPS 61207 WITH SCORE 61563.207
AT ITER 1766 NEW BEST:: SOT 539538 SOS 356207 HAS SOPS 341163 HAS SOUS 65409 HAS SOUPS 61193 WITH SCORE 61549.207
AT ITER 1768 NEW BEST:: SOT 539608 SOS 356049 HAS SOPS 341240 HAS SOUS 64364 HAS SOUPS 60182 WITH SCORE 60538.049
AT ITER 1780 NEW BEST:: SOT 539608 SOS 359036 HAS SOPS 344153 HAS SOUS 64404 HAS SOUPS 60154 WITH SCORE 60513.036
AT ITER 1798 NEW BEST:: SOT 539608 SOS 358679 HAS SOPS 343796 HAS SOUS 64390 HAS SOUPS 60140 WITH SCORE 60498.679
AT ITER 1800 NEW BEST:: SOT 539608 SOS 358639 HAS SOPS 343729 HAS SOUS 64344 HAS SOUPS 60095 WITH SCORE 60453.639
AT ITER 1811 NEW BEST:: SOT 539608 SOS 359149 HAS SOPS 344223 HAS SOUS 64348 HAS SOUPS 60083 WITH SCORE 60442.149
AT ITER 1813 NEW BEST:: SOT 539608 SOS 359163 HAS SOPS 344223 HAS SOUS 64348 HAS SOUPS 60069 WITH SCORE 60428.163
AT ITER 1815 NEW BEST:: SOT 539608 SOS 354345 HAS SOPS 339123 HAS SOUS 63863 HAS SOUPS 59685 WITH SCORE 60039.345
AT ITER 1821 NEW BEST:: SOT 539608 SOS 353835 HAS SOPS 338613 HAS SOUS 63843 HAS SOUPS 59665 WITH SCORE 60018.835
AT ITER 1841 NEW BEST:: SOT 535618 SOS 350262 HAS SOPS 334623 HAS SOUS 63486 HAS SOUPS 59227 WITH SCORE 59577.262
AT ITER 1843 NEW BEST:: SOT 535618 SOS 350602 HAS SOPS 334963 HAS SOUS 63518 HAS SOUPS 59224 WITH SCORE 59574.602
AT ITER 1849 NEW BEST:: SOT 535573 SOS 350557 HAS SOPS 334931 HAS SOUS 63486 HAS SOUPS 59205 WITH SCORE 59555.557
AT ITER 1860 NEW BEST:: SOT 535495 SOS 350479 HAS SOPS 334850 HAS SOUS 63402 HAS SOUPS 59121 WITH SCORE 59471.479
AT ITER 1869 NEW BEST:: SOT 533100 SOS 348294 HAS SOPS 332438 HAS SOUS 62780 HAS SOUPS 58442 WITH SCORE 58790.294
AT ITER 1878 NEW BEST:: SOT 533100 SOS 348294 HAS SOPS 332398 HAS SOUS 62745 HAS SOUPS 58362 WITH SCORE 58710.294
AT ITER 1884 NEW BEST:: SOT 533230 SOS 348320 HAS SOPS 332541 HAS SOUS 62342 HAS SOUPS 57985 WITH SCORE 58333.32
AT ITER 1887 NEW BEST:: SOT 533230 SOS 348320 HAS SOPS 332526 HAS SOUS 62327 HAS SOUPS 57955 WITH SCORE 58303.32
AT ITER 1896 NEW BEST:: SOT 533230 SOS 348320 HAS SOPS 332518 HAS SOUS 62319 HAS SOUPS 57939 WITH SCORE 58287.32
AT ITER 1909 NEW BEST:: SOT 532770 SOS 347860 HAS SOPS 332161 HAS SOUS 61996 HAS SOUPS 57685 WITH SCORE 58032.86
AT ITER 1913 NEW BEST:: SOT 532770 SOS 347857 HAS SOPS 332158 HAS SOUS 61993 HAS SOUPS 57682 WITH SCORE 58029.857
AT ITER 1957 NEW BEST:: SOT 534511 SOS 349284 HAS SOPS 334001 HAS SOUS 61651 HAS SOUPS 57391 WITH SCORE 57740.284
AT ITER 1958 NEW BEST:: SOT 534085 SOS 348919 HAS SOPS 333566 HAS SOUS 61605 HAS SOUPS 57327 WITH SCORE 57675.919
AT ITER 1989 NEW BEST:: SOT 534085 SOS 348207 HAS SOPS 332868 HAS SOUS 61579 HAS SOUPS 57327 WITH SCORE 57675.207
AT ITER 1993 NEW BEST:: SOT 534085 SOS 348284 HAS SOPS 332914 HAS SOUS 61545 HAS SOUPS 57293 WITH SCORE 57641.284
AT ITER 1999 NEW BEST:: SOT 534085 SOS 348684 HAS SOPS 333305 HAS SOUS 61562 HAS SOUPS 57283 WITH SCORE 57631.684
AT ITER 2013 NEW BEST:: SOT 534085 SOS 348684 HAS SOPS 333298 HAS SOUS 61555 HAS SOUPS 57269 WITH SCORE 57617.684
AT ITER 2047 NEW BEST:: SOT 533944 SOS 348543 HAS SOPS 333157 HAS SOUS 61414 HAS SOUPS 57128 WITH SCORE 57476.543
AT ITER 2062 NEW BEST:: SOT 533944 SOS 350022 HAS SOPS 334597 HAS SOUS 61432 HAS SOUPS 57108 WITH SCORE 57458.022
AT ITER 2095 NEW BEST:: SOT 533944 SOS 349722 HAS SOPS 334303 HAS SOUS 61432 HAS SOUPS 57108 WITH SCORE 57457.722
AT ITER 2100 NEW BEST:: SOT 533944 SOS 348702 HAS SOPS 333283 HAS SOUS 61472 HAS SOUPS 57068 WITH SCORE 57416.702
AT ITER 2103 NEW BEST:: SOT 533944 SOS 347633 HAS SOPS 332235 HAS SOUS 61437 HAS SOUPS 57068 WITH SCORE 57415.633
AT ITER 2114 NEW BEST:: SOT 533424 SOS 346926 HAS SOPS 331205 HAS SOUS 61074 HAS SOUPS 56695 WITH SCORE 57041.926
AT ITER 2134 NEW BEST:: SOT 533424 SOS 346875 HAS SOPS 331155 HAS SOUS 61073 HAS SOUPS 56695 WITH SCORE 57041.875
AT ITER 2147 NEW BEST:: SOT 533416 SOS 346845 HAS SOPS 331114 HAS SOUS 61052 HAS SOUPS 56665 WITH SCORE 57011.845
AT ITER 2171 NEW BEST:: SOT 533416 SOS 345245 HAS SOPS 329546 HAS SOUS 61052 HAS SOUPS 56665 WITH SCORE 57010.245
AT ITER 2177 NEW BEST:: SOT 533394 SOS 344846 HAS SOPS 329147 HAS SOUS 60996 HAS SOUPS 56609 WITH SCORE 56953.846
AT ITER 2178 NEW BEST:: SOT 533394 SOS 344835 HAS SOPS 329131 HAS SOUS 60980 HAS SOUPS 56599 WITH SCORE 56943.835
AT ITER 2235 NEW BEST:: SOT 533394 SOS 342453 HAS SOPS 326796 HAS SOUS 60901 HAS SOUPS 56599 WITH SCORE 56941.453
AT ITER 2237 NEW BEST:: SOT 533371 SOS 342430 HAS SOPS 326773 HAS SOUS 60878 HAS SOUPS 56576 WITH SCORE 56918.43
AT ITER 2258 NEW BEST:: SOT 533371 SOS 342430 HAS SOPS 326764 HAS SOUS 60869 HAS SOUPS 56558 WITH SCORE 56900.43
AT ITER 2274 NEW BEST:: SOT 533371 SOS 342530 HAS SOPS 326840 HAS SOUS 60849 HAS SOUPS 56514 WITH SCORE 56856.53
AT ITER 2364 NEW BEST:: SOT 533371 SOS 342895 HAS SOPS 327179 HAS SOUS 60843 HAS SOUPS 56484 WITH SCORE 56826.895
AT ITER 2381 NEW BEST:: SOT 533371 SOS 342895 HAS SOPS 327175 HAS SOUS 60835 HAS SOUPS 56476 WITH SCORE 56818.895
AT ITER 2386 NEW BEST:: SOT 533371 SOS 342902 HAS SOPS 327181 HAS SOUS 60851 HAS SOUPS 56474 WITH SCORE 56816.902
AT ITER 2390 NEW BEST:: SOT 533371 SOS 343132 HAS SOPS 327386 HAS SOUS 60811 HAS SOUPS 56434 WITH SCORE 56777.132
AT ITER 2393 NEW BEST:: SOT 533255 SOS 343027 HAS SOPS 327268 HAS SOUS 60782 HAS SOUPS 56401 WITH SCORE 56744.027
AT ITER 2425 NEW BEST:: SOT 532954 SOS 342782 HAS SOPS 326967 HAS SOUS 60775 HAS SOUPS 56387 WITH SCORE 56729.782
AT ITER 2440 NEW BEST:: SOT 528960 SOS 339233 HAS SOPS 322973 HAS SOUS 60186 HAS SOUPS 55721 WITH SCORE 56060.233
AT ITER 2468 NEW BEST:: SOT 528960 SOS 339278 HAS SOPS 323013 HAS SOUS 60183 HAS SOUPS 55712 WITH SCORE 56051.278
AT ITER 2485 NEW BEST:: SOT 528699 SOS 339024 HAS SOPS 322752 HAS SOUS 60065 HAS SOUPS 55591 WITH SCORE 55930.024
AT ITER 2506 NEW BEST:: SOT 528699 SOS 338922 HAS SOPS 322650 HAS SOUS 60059 HAS SOUPS 55587 WITH SCORE 55925.922
AT ITER 2507 NEW BEST:: SOT 528699 SOS 338092 HAS SOPS 321823 HAS SOUS 60032 HAS SOUPS 55576 WITH SCORE 55914.092
AT ITER 2508 NEW BEST:: SOT 528699 SOS 337160 HAS SOPS 320879 HAS SOUS 60059 HAS SOUPS 55542 WITH SCORE 55879.16
AT ITER 2511 NEW BEST:: SOT 528688 SOS 337149 HAS SOPS 320868 HAS SOUS 60048 HAS SOUPS 55531 WITH SCORE 55868.149
AT ITER 2512 NEW BEST:: SOT 528688 SOS 336999 HAS SOPS 320721 HAS SOUS 60045 HAS SOUPS 55531 WITH SCORE 55867.999
AT ITER 2513 NEW BEST:: SOT 528688 SOS 335402 HAS SOPS 319129 HAS SOUS 59931 HAS SOUPS 55474 WITH SCORE 55809.402
AT ITER 2539 NEW BEST:: SOT 525244 SOS 332303 HAS SOPS 315685 HAS SOUS 59142 HAS SOUPS 54625 WITH SCORE 54957.303
AT ITER 2546 NEW BEST:: SOT 525244 SOS 331576 HAS SOPS 314958 HAS SOUS 59056 HAS SOUPS 54597 WITH SCORE 54928.576
AT ITER 2610 NEW BEST:: SOT 525214 SOS 331488 HAS SOPS 314817 HAS SOUS 58903 HAS SOUPS 54461 WITH SCORE 54792.488
AT ITER 2639 NEW BEST:: SOT 525214 SOS 331488 HAS SOPS 314811 HAS SOUS 58897 HAS SOUPS 54449 WITH SCORE 54780.488
AT ITER 2660 NEW BEST:: SOT 525214 SOS 331335 HAS SOPS 314658 HAS SOUS 58888 HAS SOUPS 54443 WITH SCORE 54774.335
AT ITER 2691 NEW BEST:: SOT 525023 SOS 331080 HAS SOPS 314217 HAS SOUS 58501 HAS SOUPS 54056 WITH SCORE 54387.08
AT ITER 2731 NEW BEST:: SOT 523826 SOS 329921 HAS SOPS 312918 HAS SOUS 58107 HAS SOUPS 53646 WITH SCORE 53975.921
AT ITER 2759 NEW BEST:: SOT 523822 SOS 329917 HAS SOPS 312914 HAS SOUS 58103 HAS SOUPS 53642 WITH SCORE 53971.917
AT ITER 2764 NEW BEST:: SOT 523822 SOS 329917 HAS SOPS 312913 HAS SOUS 58102 HAS SOUPS 53640 WITH SCORE 53969.917
AT ITER 2787 NEW BEST:: SOT 523822 SOS 329917 HAS SOPS 312911 HAS SOUS 58100 HAS SOUPS 53636 WITH SCORE 53965.917
AT ITER 2816 NEW BEST:: SOT 523815 SOS 329910 HAS SOPS 312897 HAS SOUS 58079 HAS SOUPS 53615 WITH SCORE 53944.91
AT ITER 2822 NEW BEST:: SOT 523815 SOS 328510 HAS SOPS 311512 HAS SOUS 58038 HAS SOUPS 53589 WITH SCORE 53917.51
AT ITER 2840 NEW BEST:: SOT 523798 SOS 328493 HAS SOPS 311495 HAS SOUS 58021 HAS SOUPS 53572 WITH SCORE 53900.493
AT ITER 2872 NEW BEST:: SOT 523798 SOS 328491 HAS SOPS 311487 HAS SOUS 58009 HAS SOUPS 53560 WITH SCORE 53888.491
AT ITER 2892 NEW BEST:: SOT 524952 SOS 329379 HAS SOPS 312675 HAS SOUS 57797 HAS SOUPS 53382 WITH SCORE 53711.379
AT ITER 2898 NEW BEST:: SOT 524952 SOS 328879 HAS SOPS 312170 HAS SOUS 57772 HAS SOUPS 53357 WITH SCORE 53685.879
AT ITER 2912 NEW BEST:: SOT 524952 SOS 328624 HAS SOPS 311915 HAS SOUS 57762 HAS SOUPS 53347 WITH SCORE 53675.624
AT ITER 2938 NEW BEST:: SOT 524735 SOS 328407 HAS SOPS 311692 HAS SOUS 57539 HAS SOUPS 53118 WITH SCORE 53446.407
AT ITER 2963 NEW BEST:: SOT 524559 SOS 328231 HAS SOPS 311512 HAS SOUS 57356 HAS SOUPS 52934 WITH SCORE 53262.231
AT ITER 2986 NEW BEST:: SOT 524495 SOS 328172 HAS SOPS 311447 HAS SOUS 57336 HAS SOUPS 52912 WITH SCORE 53240.172
AT ITER 3029 NEW BEST:: SOT 524495 SOS 327866 HAS SOPS 311143 HAS SOUS 57326 HAS SOUPS 52904 WITH SCORE 53231.866
AT ITER 3050 NEW BEST:: SOT 525035 SOS 328358 HAS SOPS 311690 HAS SOUS 57178 HAS SOUPS 52771 WITH SCORE 53099.358
AT ITER 3087 NEW BEST:: SOT 525035 SOS 328358 HAS SOPS 311685 HAS SOUS 57173 HAS SOUPS 52761 WITH SCORE 53089.358
AT ITER 3103 NEW BEST:: SOT 525035 SOS 328324 HAS SOPS 311649 HAS SOUS 57137 HAS SOUPS 52757 WITH SCORE 53085.324
AT ITER 3109 NEW BEST:: SOT 525284 SOS 328430 HAS SOPS 311448 HAS SOUS 57050 HAS SOUPS 52690 WITH SCORE 53018.43
AT ITER 3122 NEW BEST:: SOT 523552 SOS 326953 HAS SOPS 309716 HAS SOUS 56813 HAS SOUPS 52418 WITH SCORE 52744.953
AT ITER 3129 NEW BEST:: SOT 523552 SOS 328789 HAS SOPS 311509 HAS SOUS 56885 HAS SOUPS 52404 WITH SCORE 52732.789
AT ITER 3157 NEW BEST:: SOT 523552 SOS 328787 HAS SOPS 311505 HAS SOUS 56881 HAS SOUPS 52400 WITH SCORE 52728.787
AT ITER 3165 NEW BEST:: SOT 523416 SOS 328663 HAS SOPS 311367 HAS SOUS 56831 HAS SOUPS 52346 WITH SCORE 52674.663
AT ITER 3200 NEW BEST:: SOT 523412 SOS 328659 HAS SOPS 311363 HAS SOUS 56827 HAS SOUPS 52342 WITH SCORE 52670.659
AT ITER 3201 NEW BEST:: SOT 523064 SOS 328341 HAS SOPS 311010 HAS SOUS 56694 HAS SOUPS 52199 WITH SCORE 52527.341
AT ITER 3237 NEW BEST:: SOT 523062 SOS 328339 HAS SOPS 311008 HAS SOUS 56692 HAS SOUPS 52197 WITH SCORE 52525.339
AT ITER 3280 NEW BEST:: SOT 523027 SOS 328224 HAS SOPS 310813 HAS SOUS 56497 HAS SOUPS 52002 WITH SCORE 52330.224
AT ITER 3281 NEW BEST:: SOT 523027 SOS 328174 HAS SOPS 310763 HAS SOUS 56495 HAS SOUPS 52000 WITH SCORE 52328.174
AT ITER 3341 NEW BEST:: SOT 523027 SOS 328154 HAS SOPS 310730 HAS SOUS 56462 HAS SOUPS 51974 WITH SCORE 52302.154
AT ITER 3368 NEW BEST:: SOT 523027 SOS 328154 HAS SOPS 310724 HAS SOUS 56456 HAS SOUPS 51962 WITH SCORE 52290.154
AT ITER 3374 NEW BEST:: SOT 523027 SOS 327285 HAS SOPS 309855 HAS SOUS 56422 HAS SOUPS 51926 WITH SCORE 52253.285
AT ITER 3400 NEW BEST:: SOT 522681 SOS 326978 HAS SOPS 309659 HAS SOUS 56193 HAS SOUPS 51697 WITH SCORE 52023.978
AT ITER 3418 NEW BEST:: SOT 522278 SOS 326581 HAS SOPS 309199 HAS SOUS 56069 HAS SOUPS 51566 WITH SCORE 51892.581
AT ITER 3425 NEW BEST:: SOT 522278 SOS 326481 HAS SOPS 309095 HAS SOUS 56061 HAS SOUPS 51556 WITH SCORE 51882.481
AT ITER 3446 NEW BEST:: SOT 522278 SOS 326277 HAS SOPS 308891 HAS SOUS 56041 HAS SOUPS 51548 WITH SCORE 51874.277
AT ITER 3512 NEW BEST:: SOT 521834 SOS 325879 HAS SOPS 308447 HAS SOUS 55901 HAS SOUPS 51401 WITH SCORE 51726.879
AT ITER 3528 NEW BEST:: SOT 522046 SOS 326076 HAS SOPS 308659 HAS SOUS 55878 HAS SOUPS 51383 WITH SCORE 51709.076
AT ITER 3546 NEW BEST:: SOT 522020 SOS 324587 HAS SOPS 307210 HAS SOUS 55781 HAS SOUPS 51336 WITH SCORE 51660.587
AT ITER 3634 NEW BEST:: SOT 522020 SOS 324587 HAS SOPS 307199 HAS SOUS 55770 HAS SOUPS 51314 WITH SCORE 51638.587
AT ITER 3640 NEW BEST:: SOT 522081 SOS 324635 HAS SOPS 307075 HAS SOUS 55696 HAS SOUPS 51208 WITH SCORE 51532.635
AT ITER 3646 NEW BEST:: SOT 522093 SOS 324628 HAS SOPS 307087 HAS SOUS 55627 HAS SOUPS 51141 WITH SCORE 51465.628
AT ITER 3668 NEW BEST:: SOT 522093 SOS 326068 HAS SOPS 308488 HAS SOUS 55646 HAS SOUPS 51121 WITH SCORE 51447.068
AT ITER 3673 NEW BEST:: SOT 522093 SOS 326935 HAS SOPS 309333 HAS SOUS 55666 HAS SOUPS 51111 WITH SCORE 51437.935
AT ITER 3710 NEW BEST:: SOT 522093 SOS 326801 HAS SOPS 309186 HAS SOUS 55650 HAS SOUPS 51095 WITH SCORE 51421.801
AT ITER 3724 NEW BEST:: SOT 521966 SOS 326673 HAS SOPS 309061 HAS SOUS 55525 HAS SOUPS 50973 WITH SCORE 51299.673
AT ITER 3738 NEW BEST:: SOT 519796 SOS 324653 HAS SOPS 307554 HAS SOUS 55528 HAS SOUPS 50952 WITH SCORE 51276.653
AT ITER 3747 NEW BEST:: SOT 518027 SOS 323062 HAS SOPS 305785 HAS SOUS 55381 HAS SOUPS 50769 WITH SCORE 51092.062
AT ITER 3805 NEW BEST:: SOT 518027 SOS 323055 HAS SOPS 305778 HAS SOUS 55381 HAS SOUPS 50769 WITH SCORE 51092.055
AT ITER 3819 NEW BEST:: SOT 518027 SOS 323055 HAS SOPS 305774 HAS SOUS 55377 HAS SOUPS 50761 WITH SCORE 51084.055
AT ITER 3846 NEW BEST:: SOT 517349 SOS 321795 HAS SOPS 303974 HAS SOUS 55215 HAS SOUPS 50577 WITH SCORE 50898.795
AT ITER 3869 NEW BEST:: SOT 517349 SOS 321795 HAS SOPS 303962 HAS SOUS 55203 HAS SOUPS 50553 WITH SCORE 50874.795
AT ITER 3874 NEW BEST:: SOT 517338 SOS 321784 HAS SOPS 303942 HAS SOUS 55174 HAS SOUPS 50524 WITH SCORE 50845.784
AT ITER 3878 NEW BEST:: SOT 517338 SOS 325507 HAS SOPS 307590 HAS SOUS 55245 HAS SOUPS 50520 WITH SCORE 50845.507
AT ITER 3880 NEW BEST:: SOT 517338 SOS 325254 HAS SOPS 306927 HAS SOUS 54809 HAS SOUPS 50084 WITH SCORE 50409.254
AT ITER 3903 NEW BEST:: SOT 517334 SOS 325247 HAS SOPS 306920 HAS SOUS 54802 HAS SOUPS 50077 WITH SCORE 50402.247
AT ITER 3911 NEW BEST:: SOT 517968 SOS 325752 HAS SOPS 306891 HAS SOUS 54126 HAS SOUPS 49416 WITH SCORE 49741.752
AT ITER 3919 NEW BEST:: SOT 518585 SOS 326129 HAS SOPS 306048 HAS SOUS 53498 HAS SOUPS 48779 WITH SCORE 49105.129
AT ITER 3934 NEW BEST:: SOT 518585 SOS 326634 HAS SOPS 306536 HAS SOUS 53488 HAS SOUPS 48765 WITH SCORE 49091.634
AT ITER 3946 NEW BEST:: SOT 518568 SOS 326617 HAS SOPS 306519 HAS SOUS 53471 HAS SOUPS 48748 WITH SCORE 49074.617
AT ITER 3977 NEW BEST:: SOT 518568 SOS 326066 HAS SOPS 305972 HAS SOUS 53453 HAS SOUPS 48734 WITH SCORE 49060.066
AT ITER 3979 NEW BEST:: SOT 518562 SOS 326060 HAS SOPS 305968 HAS SOUS 53449 HAS SOUPS 48732 WITH SCORE 49058.06
AT ITER 3983 NEW BEST:: SOT 518483 SOS 325981 HAS SOPS 305889 HAS SOUS 53370 HAS SOUPS 48653 WITH SCORE 48978.981
AT ITER 3993 NEW BEST:: SOT 518480 SOS 325978 HAS SOPS 305886 HAS SOUS 53367 HAS SOUPS 48650 WITH SCORE 48975.978
AT ITER 3996 NEW BEST:: SOT 518480 SOS 324856 HAS SOPS 304782 HAS SOUS 53341 HAS SOUPS 48642 WITH SCORE 48966.856
AT ITER 4007 NEW BEST:: SOT 518243 SOS 326089 HAS SOPS 306017 HAS SOUS 53164 HAS SOUPS 48458 WITH SCORE 48784.089
AT ITER 4016 NEW BEST:: SOT 518251 SOS 326097 HAS SOPS 306008 HAS SOUS 53155 HAS SOUPS 48432 WITH SCORE 48758.097
AT ITER 4028 NEW BEST:: SOT 518060 SOS 325906 HAS SOPS 305817 HAS SOUS 52964 HAS SOUPS 48241 WITH SCORE 48566.906
AT ITER 4033 NEW BEST:: SOT 518060 SOS 325896 HAS SOPS 305807 HAS SOUS 52954 HAS SOUPS 48241 WITH SCORE 48566.896
AT ITER 4051 NEW BEST:: SOT 517639 SOS 325475 HAS SOPS 305395 HAS SOUS 52542 HAS SOUPS 47838 WITH SCORE 48163.475
AT ITER 4105 NEW BEST:: SOT 517592 SOS 325428 HAS SOPS 305348 HAS SOUS 52495 HAS SOUPS 47791 WITH SCORE 48116.428
AT ITER 4109 NEW BEST:: SOT 517155 SOS 325591 HAS SOPS 305597 HAS SOUS 52197 HAS SOUPS 47538 WITH SCORE 47863.591
AT ITER 4154 NEW BEST:: SOT 517155 SOS 325387 HAS SOPS 305393 HAS SOUS 52155 HAS SOUPS 47530 WITH SCORE 47855.387
AT ITER 4164 NEW BEST:: SOT 517155 SOS 325285 HAS SOPS 305291 HAS SOUS 52142 HAS SOUPS 47526 WITH SCORE 47851.285
AT ITER 4174 NEW BEST:: SOT 517155 SOS 324826 HAS SOPS 304832 HAS SOUS 52124 HAS SOUPS 47508 WITH SCORE 47832.826
AT ITER 4182 NEW BEST:: SOT 517223 SOS 324869 HAS SOPS 304900 HAS SOUS 51917 HAS SOUPS 47307 WITH SCORE 47631.869
AT ITER 4188 NEW BEST:: SOT 517223 SOS 324869 HAS SOPS 304878 HAS SOUS 51895 HAS SOUPS 47263 WITH SCORE 47587.869
AT ITER 4199 NEW BEST:: SOT 517210 SOS 324856 HAS SOPS 304865 HAS SOUS 51882 HAS SOUPS 47250 WITH SCORE 47574.856
AT ITER 4252 NEW BEST:: SOT 517210 SOS 324601 HAS SOPS 304612 HAS SOUS 51874 HAS SOUPS 47244 WITH SCORE 47568.601
AT ITER 4256 NEW BEST:: SOT 517210 SOS 324583 HAS SOPS 304594 HAS SOUS 51874 HAS SOUPS 47244 WITH SCORE 47568.583
AT ITER 4269 NEW BEST:: SOT 517210 SOS 324481 HAS SOPS 304492 HAS SOUS 51870 HAS SOUPS 47240 WITH SCORE 47564.481
AT ITER 4349 NEW BEST:: SOT 517210 SOS 324981 HAS SOPS 304969 HAS SOUS 51860 HAS SOUPS 47226 WITH SCORE 47550.981
AT ITER 4353 NEW BEST:: SOT 517210 SOS 322635 HAS SOPS 302664 HAS SOUS 51809 HAS SOUPS 47216 WITH SCORE 47538.635
AT ITER 4371 NEW BEST:: SOT 517210 SOS 322235 HAS SOPS 302269 HAS SOUS 51798 HAS SOUPS 47210 WITH SCORE 47532.235
AT ITER 4410 NEW BEST:: SOT 517210 SOS 323204 HAS SOPS 303197 HAS SOUS 51795 HAS SOUPS 47166 WITH SCORE 47489.204
AT ITER 4422 NEW BEST:: SOT 517210 SOS 322949 HAS SOPS 302947 HAS SOUS 51790 HAS SOUPS 47166 WITH SCORE 47488.949
AT ITER 4429 NEW BEST:: SOT 517209 SOS 322948 HAS SOPS 302946 HAS SOUS 51789 HAS SOUPS 47165 WITH SCORE 47487.948
AT ITER 4464 NEW BEST:: SOT 517209 SOS 322540 HAS SOPS 302538 HAS SOUS 51789 HAS SOUPS 47149 WITH SCORE 47471.54
AT ITER 4501 NEW BEST:: SOT 517209 SOS 322540 HAS SOPS 302532 HAS SOUS 51783 HAS SOUPS 47137 WITH SCORE 47459.54
AT ITER 4522 NEW BEST:: SOT 517209 SOS 322340 HAS SOPS 302332 HAS SOUS 51775 HAS SOUPS 47129 WITH SCORE 47451.34
AT ITER 4530 NEW BEST:: SOT 517209 SOS 322026 HAS SOPS 302018 HAS SOUS 51763 HAS SOUPS 47117 WITH SCORE 47439.026
AT ITER 4543 NEW BEST:: SOT 517195 SOS 321759 HAS SOPS 301290 HAS SOUS 51260 HAS SOUPS 46614 WITH SCORE 46935.759
AT ITER 4545 NEW BEST:: SOT 517195 SOS 321555 HAS SOPS 301086 HAS SOUS 51246 HAS SOUPS 46606 WITH SCORE 46927.555
AT ITER 4569 NEW BEST:: SOT 517195 SOS 321402 HAS SOPS 300933 HAS SOUS 51258 HAS SOUPS 46600 WITH SCORE 46921.402
AT ITER 4572 NEW BEST:: SOT 517159 SOS 321366 HAS SOPS 300902 HAS SOUS 51231 HAS SOUPS 46574 WITH SCORE 46895.366
AT ITER 4606 NEW BEST:: SOT 517121 SOS 321328 HAS SOPS 300823 HAS SOUS 51152 HAS SOUPS 46454 WITH SCORE 46775.328
AT ITER 4626 NEW BEST:: SOT 515372 SOS 319627 HAS SOPS 299034 HAS SOUS 50298 HAS SOUPS 45577 WITH SCORE 45896.627
AT ITER 4667 NEW BEST:: SOT 515372 SOS 319423 HAS SOPS 298830 HAS SOUS 50283 HAS SOUPS 45569 WITH SCORE 45888.423
AT ITER 4695 NEW BEST:: SOT 515372 SOS 319117 HAS SOPS 298524 HAS SOUS 50265 HAS SOUPS 45557 WITH SCORE 45876.117
AT ITER 4704 NEW BEST:: SOT 515372 SOS 318913 HAS SOPS 298320 HAS SOUS 50257 HAS SOUPS 45549 WITH SCORE 45867.913
AT ITER 4713 NEW BEST:: SOT 515372 SOS 318913 HAS SOPS 298318 HAS SOUS 50255 HAS SOUPS 45545 WITH SCORE 45863.913
AT ITER 4717 NEW BEST:: SOT 514388 SOS 318069 HAS SOPS 297334 HAS SOUS 50131 HAS SOUPS 45401 WITH SCORE 45719.069
AT ITER 4770 NEW BEST:: SOT 514388 SOS 318068 HAS SOPS 297334 HAS SOUS 50128 HAS SOUPS 45401 WITH SCORE 45719.068
AT ITER 4797 NEW BEST:: SOT 514388 SOS 318050 HAS SOPS 297316 HAS SOUS 50110 HAS SOUPS 45401 WITH SCORE 45719.05
AT ITER 4807 NEW BEST:: SOT 514388 SOS 317846 HAS SOPS 297114 HAS SOUS 50098 HAS SOUPS 45397 WITH SCORE 45714.846
AT ITER 4844 NEW BEST:: SOT 514026 SOS 317508 HAS SOPS 296747 HAS SOUS 50103 HAS SOUPS 45393 WITH SCORE 45710.508
AT ITER 4877 NEW BEST:: SOT 514379 SOS 317811 HAS SOPS 297100 HAS SOUS 50056 HAS SOUPS 45355 WITH SCORE 45672.811
AT ITER 4882 NEW BEST:: SOT 514379 SOS 317352 HAS SOPS 296648 HAS SOUS 50020 HAS SOUPS 45351 WITH SCORE 45668.352
AT ITER 4929 NEW BEST:: SOT 514379 SOS 316697 HAS SOPS 295993 HAS SOUS 50021 HAS SOUPS 45325 WITH SCORE 45641.697
AT ITER 4936 NEW BEST:: SOT 514379 SOS 318023 HAS SOPS 297290 HAS SOUS 50073 HAS SOUPS 45319 WITH SCORE 45637.023
AT ITER 4978 NEW BEST:: SOT 514367 SOS 318011 HAS SOPS 297226 HAS SOUS 50009 HAS SOUPS 45203 WITH SCORE 45521.011
AT ITER 4993 NEW BEST:: SOT 514367 SOS 317909 HAS SOPS 297125 HAS SOUS 50006 HAS SOUPS 45201 WITH SCORE 45518.909
AT ITER 5023 NEW BEST:: SOT 514373 SOS 317915 HAS SOPS 297112 HAS SOUS 49993 HAS SOUPS 45169 WITH SCORE 45486.915
AT ITER 5035 NEW BEST:: SOT 514373 SOS 317864 HAS SOPS 297061 HAS SOUS 49990 HAS SOUPS 45167 WITH SCORE 45484.864
AT ITER 5065 NEW BEST:: SOT 514982 SOS 318258 HAS SOPS 296479 HAS SOUS 49595 HAS SOUPS 44772 WITH SCORE 45090.258
AT ITER 5095 NEW BEST:: SOT 514974 SOS 318250 HAS SOPS 296447 HAS SOUS 49539 HAS SOUPS 44716 WITH SCORE 45034.25
AT ITER 5125 NEW BEST:: SOT 514974 SOS 318250 HAS SOPS 296446 HAS SOUS 49538 HAS SOUPS 44714 WITH SCORE 45032.25
AT ITER 5139 NEW BEST:: SOT 514974 SOS 318250 HAS SOPS 296444 HAS SOUS 49536 HAS SOUPS 44710 WITH SCORE 45028.25
AT ITER 5146 NEW BEST:: SOT 512290 SOS 316076 HAS SOPS 293760 HAS SOUS 49342 HAS SOUPS 44456 WITH SCORE 44772.076
AT ITER 5150 NEW BEST:: SOT 512290 SOS 315719 HAS SOPS 293410 HAS SOUS 49335 HAS SOUPS 44456 WITH SCORE 44771.719
AT ITER 5165 NEW BEST:: SOT 512290 SOS 315617 HAS SOPS 293308 HAS SOUS 49349 HAS SOUPS 44452 WITH SCORE 44767.617
AT ITER 5190 NEW BEST:: SOT 512283 SOS 315610 HAS SOPS 293301 HAS SOUS 49342 HAS SOUPS 44445 WITH SCORE 44760.61
AT ITER 5196 NEW BEST:: SOT 512283 SOS 315594 HAS SOPS 293105 HAS SOUS 49154 HAS SOUPS 44261 WITH SCORE 44576.594
AT ITER 5201 NEW BEST:: SOT 512276 SOS 315587 HAS SOPS 293098 HAS SOUS 49147 HAS SOUPS 44254 WITH SCORE 44569.587
AT ITER 5219 NEW BEST:: SOT 512276 SOS 315587 HAS SOPS 293096 HAS SOUS 49145 HAS SOUPS 44250 WITH SCORE 44565.587
AT ITER 5242 NEW BEST:: SOT 512276 SOS 315536 HAS SOPS 293045 HAS SOUS 49127 HAS SOUPS 44248 WITH SCORE 44563.536
AT ITER 5269 NEW BEST:: SOT 512276 SOS 315536 HAS SOPS 293035 HAS SOUS 49117 HAS SOUPS 44228 WITH SCORE 44543.536
AT ITER 5312 NEW BEST:: SOT 511947 SOS 315230 HAS SOPS 292706 HAS SOUS 48965 HAS SOUPS 44072 WITH SCORE 44387.23
AT ITER 5321 NEW BEST:: SOT 511918 SOS 315191 HAS SOPS 292647 HAS SOUS 48921 HAS SOUPS 44011 WITH SCORE 44326.191
AT ITER 5322 NEW BEST:: SOT 511918 SOS 316305 HAS SOPS 293736 HAS SOUS 48954 HAS SOUPS 44005 WITH SCORE 44321.305
AT ITER 5354 NEW BEST:: SOT 511918 SOS 316305 HAS SOPS 293732 HAS SOUS 48950 HAS SOUPS 43997 WITH SCORE 44313.305
AT ITER 5560 NEW BEST:: SOT 511918 SOS 316050 HAS SOPS 293477 HAS SOUS 48928 HAS SOUPS 43987 WITH SCORE 44303.05
AT ITER 5565 NEW BEST:: SOT 511918 SOS 315948 HAS SOPS 293375 HAS SOUS 48924 HAS SOUPS 43983 WITH SCORE 44298.948
AT ITER 5567 NEW BEST:: SOT 511912 SOS 315942 HAS SOPS 293363 HAS SOUS 48912 HAS SOUPS 43965 WITH SCORE 44280.942
AT ITER 5585 NEW BEST:: SOT 511912 SOS 315334 HAS SOPS 292763 HAS SOUS 48896 HAS SOUPS 43961 WITH SCORE 44276.334
AT ITER 5627 NEW BEST:: SOT 511733 SOS 315164 HAS SOPS 292584 HAS SOUS 48808 HAS SOUPS 43871 WITH SCORE 44186.164
AT ITER 5792 NEW BEST:: SOT 511733 SOS 315011 HAS SOPS 292431 HAS SOUS 48802 HAS SOUPS 43865 WITH SCORE 44180.011
AT ITER 5845 NEW BEST:: SOT 511733 SOS 314858 HAS SOPS 292278 HAS SOUS 48796 HAS SOUPS 43859 WITH SCORE 44173.858
AT ITER 5887 NEW BEST:: SOT 511730 SOS 314855 HAS SOPS 292275 HAS SOUS 48792 HAS SOUPS 43856 WITH SCORE 44170.855
AT ITER 5898 NEW BEST:: SOT 511730 SOS 314805 HAS SOPS 292225 HAS SOUS 48796 HAS SOUPS 43854 WITH SCORE 44168.805
AT ITER 5919 NEW BEST:: SOT 511730 SOS 314805 HAS SOPS 292205 HAS SOUS 48776 HAS SOUPS 43814 WITH SCORE 44128.805
AT ITER 5923 NEW BEST:: SOT 511730 SOS 314703 HAS SOPS 292103 HAS SOUS 48772 HAS SOUPS 43810 WITH SCORE 44124.703
AT ITER 5970 NEW BEST:: SOT 511729 SOS 314695 HAS SOPS 292052 HAS SOUS 48726 HAS SOUPS 43764 WITH SCORE 44078.695
AT ITER 5987 NEW BEST:: SOT 511729 SOS 314542 HAS SOPS 291900 HAS SOUS 48718 HAS SOUPS 43760 WITH SCORE 44074.542
AT ITER 6035 NEW BEST:: SOT 511729 SOS 314389 HAS SOPS 291747 HAS SOUS 48712 HAS SOUPS 43754 WITH SCORE 44068.389
AT ITER 6042 NEW BEST:: SOT 511729 SOS 314389 HAS SOPS 291746 HAS SOUS 48711 HAS SOUPS 43752 WITH SCORE 44066.389
AT ITER 6103 NEW BEST:: SOT 511729 SOS 314389 HAS SOPS 291742 HAS SOUS 48707 HAS SOUPS 43744 WITH SCORE 44058.389
AT ITER 6249 NEW BEST:: SOT 511729 SOS 314390 HAS SOPS 291742 HAS SOUS 48706 HAS SOUPS 43743 WITH SCORE 44057.39
AT ITER 6252 NEW BEST:: SOT 511729 SOS 314237 HAS SOPS 291591 HAS SOUS 48702 HAS SOUPS 43741 WITH SCORE 44055.237
AT ITER 6290 NEW BEST:: SOT 511727 SOS 314235 HAS SOPS 291589 HAS SOUS 48698 HAS SOUPS 43739 WITH SCORE 44053.235
AT ITER 6315 NEW BEST:: SOT 511725 SOS 314211 HAS SOPS 291487 HAS SOUS 48614 HAS SOUPS 43655 WITH SCORE 43969.211
AT ITER 6414 NEW BEST:: SOT 511718 SOS 314129 HAS SOPS 291123 HAS SOUS 48311 HAS SOUPS 43352 WITH SCORE 43666.129
AT ITER 6416 NEW BEST:: SOT 511718 SOS 313976 HAS SOPS 290970 HAS SOUS 48305 HAS SOUPS 43346 WITH SCORE 43659.976
AT ITER 6435 NEW BEST:: SOT 511718 SOS 313976 HAS SOPS 290968 HAS SOUS 48303 HAS SOUPS 43342 WITH SCORE 43655.976
AT ITER 6456 NEW BEST:: SOT 511730 SOS 313949 HAS SOPS 290984 HAS SOUS 48158 HAS SOUPS 43205 WITH SCORE 43518.949
AT ITER 6653 NEW BEST:: SOT 511730 SOS 313796 HAS SOPS 290831 HAS SOUS 48152 HAS SOUPS 43199 WITH SCORE 43512.796
AT ITER 6671 NEW BEST:: SOT 511244 SOS 313382 HAS SOPS 290337 HAS SOUS 47978 HAS SOUPS 43017 WITH SCORE 43330.382
AT ITER 6746 NEW BEST:: SOT 511244 SOS 313790 HAS SOPS 290736 HAS SOUS 47994 HAS SOUPS 43015 WITH SCORE 43328.79
AT ITER 6760 NEW BEST:: SOT 511244 SOS 313790 HAS SOPS 290732 HAS SOUS 47990 HAS SOUPS 43007 WITH SCORE 43320.79
AT ITER 6900 NEW BEST:: SOT 511244 SOS 313688 HAS SOPS 290632 HAS SOUS 47988 HAS SOUPS 43007 WITH SCORE 43320.688
AT ITER 6928 NEW BEST:: SOT 511200 SOS 313644 HAS SOPS 290601 HAS SOUS 47957 HAS SOUPS 42989 WITH SCORE 43302.644
AT ITER 6969 NEW BEST:: SOT 511200 SOS 313644 HAS SOPS 290590 HAS SOUS 47946 HAS SOUPS 42967 WITH SCORE 43280.644
AT ITER 7039 NEW BEST:: SOT 511200 SOS 313236 HAS SOPS 290182 HAS SOUS 47918 HAS SOUPS 42951 WITH SCORE 43264.236
AT ITER 7093 NEW BEST:: SOT 511200 SOS 313185 HAS SOPS 290131 HAS SOUS 47914 HAS SOUPS 42949 WITH SCORE 43262.185
AT ITER 7130 NEW BEST:: SOT 511197 SOS 313182 HAS SOPS 290128 HAS SOUS 47911 HAS SOUPS 42946 WITH SCORE 43259.182
AT ITER 7134 NEW BEST:: SOT 511203 SOS 313188 HAS SOPS 290125 HAS SOUS 47908 HAS SOUPS 42934 WITH SCORE 43247.188
AT ITER 7150 NEW BEST:: SOT 511184 SOS 313169 HAS SOPS 290106 HAS SOUS 47889 HAS SOUPS 42915 WITH SCORE 43228.169
AT ITER 7153 NEW BEST:: SOT 511184 SOS 312863 HAS SOPS 289800 HAS SOUS 47856 HAS SOUPS 42903 WITH SCORE 43215.863
AT ITER 7213 NEW BEST:: SOT 511184 SOS 313309 HAS SOPS 290235 HAS SOUS 47863 HAS SOUPS 42897 WITH SCORE 43210.309
AT ITER 7231 NEW BEST:: SOT 511184 SOS 313360 HAS SOPS 290280 HAS SOUS 47864 HAS SOUPS 42887 WITH SCORE 43200.36
AT ITER 7255 NEW BEST:: SOT 511184 SOS 313259 HAS SOPS 290179 HAS SOUS 47860 HAS SOUPS 42883 WITH SCORE 43196.259
AT ITER 7271 NEW BEST:: SOT 511184 SOS 312902 HAS SOPS 289822 HAS SOUS 47846 HAS SOUPS 42869 WITH SCORE 43181.902
AT ITER 7335 NEW BEST:: SOT 510589 SOS 312376 HAS SOPS 289218 HAS SOUS 47623 HAS SOUPS 42628 WITH SCORE 42940.376
AT ITER 7395 NEW BEST:: SOT 510566 SOS 312333 HAS SOPS 289161 HAS SOUS 47566 HAS SOUPS 42571 WITH SCORE 42883.333
AT ITER 7468 NEW BEST:: SOT 509238 SOS 311302 HAS SOPS 287833 HAS SOUS 47591 HAS SOUPS 42563 WITH SCORE 42874.302
AT ITER 7471 NEW BEST:: SOT 509191 SOS 311255 HAS SOPS 287786 HAS SOUS 47544 HAS SOUPS 42516 WITH SCORE 42827.255
AT ITER 7487 NEW BEST:: SOT 509191 SOS 311208 HAS SOPS 287739 HAS SOUS 47497 HAS SOUPS 42516 WITH SCORE 42827.208
AT ITER 7605 NEW BEST:: SOT 509097 SOS 311114 HAS SOPS 287645 HAS SOUS 47403 HAS SOUPS 42422 WITH SCORE 42733.114
AT ITER 7611 NEW BEST:: SOT 509097 SOS 311726 HAS SOPS 288242 HAS SOUS 47412 HAS SOUPS 42416 WITH SCORE 42727.726
AT ITER 7696 NEW BEST:: SOT 509097 SOS 311677 HAS SOPS 288191 HAS SOUS 47418 HAS SOUPS 42414 WITH SCORE 42725.677
AT ITER 7777 NEW BEST:: SOT 509096 SOS 311675 HAS SOPS 288189 HAS SOUS 47416 HAS SOUPS 42412 WITH SCORE 42723.675
AT ITER 7780 NEW BEST:: SOT 509102 SOS 311672 HAS SOPS 288196 HAS SOUS 47382 HAS SOUPS 42380 WITH SCORE 42691.672
AT ITER 7790 NEW BEST:: SOT 509088 SOS 311658 HAS SOPS 288166 HAS SOUS 47350 HAS SOUPS 42334 WITH SCORE 42645.658
AT ITER 7843 NEW BEST:: SOT 509088 SOS 311660 HAS SOPS 288166 HAS SOUS 47350 HAS SOUPS 42332 WITH SCORE 42643.66
AT ITER 7951 NEW BEST:: SOT 508270 SOS 309967 HAS SOPS 285767 HAS SOUS 47314 HAS SOUPS 42265 WITH SCORE 42574.967
AT ITER 8008 NEW BEST:: SOT 508270 SOS 309967 HAS SOPS 285760 HAS SOUS 47307 HAS SOUPS 42251 WITH SCORE 42560.967
AT ITER 8023 NEW BEST:: SOT 508270 SOS 310323 HAS SOPS 286103 HAS SOUS 47307 HAS SOUPS 42239 WITH SCORE 42549.323
AT ITER 8047 NEW BEST:: SOT 508288 SOS 310331 HAS SOPS 286122 HAS SOUS 47286 HAS SOUPS 42220 WITH SCORE 42530.331
AT ITER 8081 NEW BEST:: SOT 508277 SOS 310320 HAS SOPS 286111 HAS SOUS 47221 HAS SOUPS 42209 WITH SCORE 42519.32
AT ITER 8110 NEW BEST:: SOT 508255 SOS 310298 HAS SOPS 286089 HAS SOUS 47199 HAS SOUPS 42187 WITH SCORE 42497.298
AT ITER 8121 NEW BEST:: SOT 507757 SOS 309758 HAS SOPS 285126 HAS SOUS 47004 HAS SOUPS 41977 WITH SCORE 42286.758
AT ITER 8139 NEW BEST:: SOT 507349 SOS 309375 HAS SOPS 284667 HAS SOUS 46765 HAS SOUPS 41736 WITH SCORE 42045.375
AT ITER 8204 NEW BEST:: SOT 507349 SOS 309324 HAS SOPS 284616 HAS SOUS 46761 HAS SOUPS 41734 WITH SCORE 42043.324
AT ITER 8228 NEW BEST:: SOT 507349 SOS 309316 HAS SOPS 284604 HAS SOUS 46749 HAS SOUPS 41722 WITH SCORE 42031.316
AT ITER 8263 NEW BEST:: SOT 507349 SOS 309112 HAS SOPS 284400 HAS SOUS 46733 HAS SOUPS 41714 WITH SCORE 42023.112
AT ITER 8297 NEW BEST:: SOT 507349 SOS 309112 HAS SOPS 284397 HAS SOUS 46730 HAS SOUPS 41708 WITH SCORE 42017.112
AT ITER 8323 NEW BEST:: SOT 507609 SOS 309326 HAS SOPS 284292 HAS SOUS 46657 HAS SOUPS 41627 WITH SCORE 41936.326
AT ITER 8348 NEW BEST:: SOT 507608 SOS 309325 HAS SOPS 284290 HAS SOUS 46655 HAS SOUPS 41624 WITH SCORE 41933.325
AT ITER 8413 NEW BEST:: SOT 507608 SOS 309121 HAS SOPS 284089 HAS SOUS 46646 HAS SOUPS 41622 WITH SCORE 41931.121
AT ITER 8425 NEW BEST:: SOT 507608 SOS 309121 HAS SOPS 284047 HAS SOUS 46646 HAS SOUPS 41538 WITH SCORE 41847.121
AT ITER 8445 NEW BEST:: SOT 507528 SOS 309049 HAS SOPS 283967 HAS SOUS 46608 HAS SOUPS 41499 WITH SCORE 41808.049
AT ITER 8459 NEW BEST:: SOT 507528 SOS 308692 HAS SOPS 283610 HAS SOUS 46604 HAS SOUPS 41485 WITH SCORE 41793.692
AT ITER 8480 NEW BEST:: SOT 507528 SOS 308692 HAS SOPS 283609 HAS SOUS 46603 HAS SOUPS 41483 WITH SCORE 41791.692
AT ITER 8518 NEW BEST:: SOT 507528 SOS 308692 HAS SOPS 283602 HAS SOUS 46596 HAS SOUPS 41469 WITH SCORE 41777.692
AT ITER 8525 NEW BEST:: SOT 507528 SOS 308692 HAS SOPS 283600 HAS SOUS 46597 HAS SOUPS 41465 WITH SCORE 41773.692
AT ITER 8536 NEW BEST:: SOT 507528 SOS 308284 HAS SOPS 283199 HAS SOUS 46580 HAS SOUPS 41463 WITH SCORE 41771.284
AT ITER 8559 NEW BEST:: SOT 507518 SOS 308274 HAS SOPS 283189 HAS SOUS 46570 HAS SOUPS 41453 WITH SCORE 41761.274
AT ITER 8617 NEW BEST:: SOT 507511 SOS 308267 HAS SOPS 283182 HAS SOUS 46563 HAS SOUPS 41446 WITH SCORE 41754.267
AT ITER 8642 NEW BEST:: SOT 507762 SOS 308482 HAS SOPS 283433 HAS SOUS 46556 HAS SOUPS 41439 WITH SCORE 41747.482
AT ITER 8664 NEW BEST:: SOT 507800 SOS 308480 HAS SOPS 283471 HAS SOUS 46438 HAS SOUPS 41321 WITH SCORE 41629.48
AT ITER 8678 NEW BEST:: SOT 507800 SOS 308378 HAS SOPS 283369 HAS SOUS 46426 HAS SOUPS 41317 WITH SCORE 41625.378
AT ITER 8733 NEW BEST:: SOT 507800 SOS 308429 HAS SOPS 283417 HAS SOUS 46427 HAS SOUPS 41313 WITH SCORE 41621.429
AT ITER 8766 NEW BEST:: SOT 507467 SOS 308096 HAS SOPS 283093 HAS SOUS 46103 HAS SOUPS 40998 WITH SCORE 41306.096
AT ITER 8807 NEW BEST:: SOT 507467 SOS 308087 HAS SOPS 283075 HAS SOUS 46085 HAS SOUPS 40980 WITH SCORE 41288.087
AT ITER 8823 NEW BEST:: SOT 507467 SOS 308087 HAS SOPS 283069 HAS SOUS 46079 HAS SOUPS 40968 WITH SCORE 41276.087
AT ITER 8834 NEW BEST:: SOT 507457 SOS 308077 HAS SOPS 283063 HAS SOUS 46055 HAS SOUPS 40966 WITH SCORE 41274.077
AT ITER 8969 NEW BEST:: SOT 506844 SOS 307549 HAS SOPS 282450 HAS SOUS 46007 HAS SOUPS 40905 WITH SCORE 41212.549
AT ITER 8982 NEW BEST:: SOT 506844 SOS 307549 HAS SOPS 282448 HAS SOUS 46003 HAS SOUPS 40901 WITH SCORE 41208.549
AT ITER 9058 NEW BEST:: SOT 506844 SOS 307549 HAS SOPS 282447 HAS SOUS 46003 HAS SOUPS 40899 WITH SCORE 41206.549
AT ITER 9194 NEW BEST:: SOT 506692 SOS 307392 HAS SOPS 282263 HAS SOUS 45820 HAS SOUPS 40737 WITH SCORE 41044.392
AT ITER 9210 NEW BEST:: SOT 506281 SOS 307050 HAS SOPS 281640 HAS SOUS 45815 HAS SOUPS 40715 WITH SCORE 41022.05
AT ITER 9298 NEW BEST:: SOT 505965 SOS 309234 HAS SOPS 283931 HAS SOUS 45725 HAS SOUPS 40663 WITH SCORE 40972.234
AT ITER 9316 NEW BEST:: SOT 505965 SOS 309234 HAS SOPS 283930 HAS SOUS 45725 HAS SOUPS 40661 WITH SCORE 40970.234
AT ITER 9328 NEW BEST:: SOT 505965 SOS 308788 HAS SOPS 283483 HAS SOUS 45710 HAS SOUPS 40650 WITH SCORE 40958.788
AT ITER 9356 NEW BEST:: SOT 505883 SOS 308706 HAS SOPS 283407 HAS SOUS 45634 HAS SOUPS 40580 WITH SCORE 40888.706
AT ITER 9368 NEW BEST:: SOT 505867 SOS 308690 HAS SOPS 283391 HAS SOUS 45618 HAS SOUPS 40564 WITH SCORE 40872.69
AT ITER 9544 NEW BEST:: SOT 505866 SOS 308689 HAS SOPS 283390 HAS SOUS 45617 HAS SOUPS 40563 WITH SCORE 40871.689
AT ITER 9621 NEW BEST:: SOT 505855 SOS 308678 HAS SOPS 283379 HAS SOUS 45606 HAS SOUPS 40552 WITH SCORE 40860.678
AT ITER 9681 NEW BEST:: SOT 505853 SOS 308676 HAS SOPS 283369 HAS SOUS 45596 HAS SOUPS 40534 WITH SCORE 40842.676
AT ITER 9738 NEW BEST:: SOT 505853 SOS 308476 HAS SOPS 283169 HAS SOUS 45587 HAS SOUPS 40530 WITH SCORE 40838.476
AT ITER 9823 NEW BEST:: SOT 505853 SOS 308374 HAS SOPS 283067 HAS SOUS 45583 HAS SOUPS 40526 WITH SCORE 40834.374
AT ITER 9836 NEW BEST:: SOT 505853 SOS 308374 HAS SOPS 283066 HAS SOUS 45582 HAS SOUPS 40524 WITH SCORE 40832.374
AT ITER 9851 NEW BEST:: SOT 505853 SOS 308978 HAS SOPS 283644 HAS SOUS 45580 HAS SOUPS 40496 WITH SCORE 40804.978
AT ITER 9856 NEW BEST:: SOT 505853 SOS 308978 HAS SOPS 283640 HAS SOUS 45576 HAS SOUPS 40488 WITH SCORE 40796.978
AT ITER 9860 NEW BEST:: SOT 505853 SOS 308927 HAS SOPS 283589 HAS SOUS 45572 HAS SOUPS 40486 WITH SCORE 40794.927
AT ITER 9903 NEW BEST:: SOT 505853 SOS 308723 HAS SOPS 283385 HAS SOUS 45564 HAS SOUPS 40478 WITH SCORE 40786.723
AT ITER 9909 NEW BEST:: SOT 505853 SOS 308723 HAS SOPS 283384 HAS SOUS 45563 HAS SOUPS 40476 WITH SCORE 40784.723
AT ITER 9937 NEW BEST:: SOT 505697 SOS 308584 HAS SOPS 283226 HAS SOUS 45488 HAS SOUPS 40397 WITH SCORE 40705.584
AT ITER 9981 NEW BEST:: SOT 505693 SOS 308580 HAS SOPS 283222 HAS SOUS 45484 HAS SOUPS 40393 WITH SCORE 40701.58

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="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"

# 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 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 r063-tajo-158922807300336"
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 ;