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.r207-tajo-159033469600508.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 ShieldPPPs-PT-030A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469600508
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 440K
-rw-r--r-- 1 mcc users 3.8K May 14 01:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 01:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 19:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 13 19:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.2K May 13 13:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 13 13:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 08:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 08:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 265K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldPPPs-PT-030A-CTLFireability-00
FORMULA_NAME ShieldPPPs-PT-030A-CTLFireability-01
FORMULA_NAME ShieldPPPs-PT-030A-CTLFireability-02
FORMULA_NAME ShieldPPPs-PT-030A-CTLFireability-03
FORMULA_NAME ShieldPPPs-PT-030A-CTLFireability-04
FORMULA_NAME ShieldPPPs-PT-030A-CTLFireability-05
FORMULA_NAME ShieldPPPs-PT-030A-CTLFireability-06
FORMULA_NAME ShieldPPPs-PT-030A-CTLFireability-07
FORMULA_NAME ShieldPPPs-PT-030A-CTLFireability-08
FORMULA_NAME ShieldPPPs-PT-030A-CTLFireability-09
FORMULA_NAME ShieldPPPs-PT-030A-CTLFireability-10
FORMULA_NAME ShieldPPPs-PT-030A-CTLFireability-11
FORMULA_NAME ShieldPPPs-PT-030A-CTLFireability-12
FORMULA_NAME ShieldPPPs-PT-030A-CTLFireability-13
FORMULA_NAME ShieldPPPs-PT-030A-CTLFireability-14
FORMULA_NAME ShieldPPPs-PT-030A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590443943027

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 030A
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 933 places, 783 transitions, 3006 arcs.
AT ITER 0 NEW BEST:: SOT 471238 SOS 325225 HAS SOPS 325225 HAS SOUS 243428 HAS SOUPS 243428 WITH SCORE 243753.225
AT ITER 4 NEW BEST:: SOT 471120 SOS 325151 HAS SOPS 325151 HAS SOUS 243354 HAS SOUPS 243354 WITH SCORE 243679.151
AT ITER 5 NEW BEST:: SOT 471119 SOS 324179 HAS SOPS 324179 HAS SOUS 243331 HAS SOUPS 243331 WITH SCORE 243655.179
AT ITER 16 NEW BEST:: SOT 470907 SOS 324104 HAS SOPS 324104 HAS SOUS 243256 HAS SOUPS 243256 WITH SCORE 243580.104
AT ITER 19 NEW BEST:: SOT 470893 SOS 324081 HAS SOPS 324081 HAS SOUS 243220 HAS SOUPS 243220 WITH SCORE 243544.081
AT ITER 23 NEW BEST:: SOT 470613 SOS 323801 HAS SOPS 323801 HAS SOUS 242940 HAS SOUPS 242940 WITH SCORE 243263.801
AT ITER 25 NEW BEST:: SOT 470374 SOS 322606 HAS SOPS 322606 HAS SOUS 242940 HAS SOUPS 242940 WITH SCORE 243262.606
AT ITER 27 NEW BEST:: SOT 470151 SOS 322383 HAS SOPS 322383 HAS SOUS 242717 HAS SOUPS 242717 WITH SCORE 243039.383
AT ITER 31 NEW BEST:: SOT 469992 SOS 322223 HAS SOPS 322223 HAS SOUS 242557 HAS SOUPS 242557 WITH SCORE 242879.223
AT ITER 39 NEW BEST:: SOT 469595 SOS 322032 HAS SOPS 322032 HAS SOUS 242366 HAS SOUPS 242366 WITH SCORE 242688.032
AT ITER 41 NEW BEST:: SOT 469418 SOS 321854 HAS SOPS 321854 HAS SOUS 242188 HAS SOUPS 242188 WITH SCORE 242509.854
AT ITER 44 NEW BEST:: SOT 469376 SOS 321644 HAS SOPS 321644 HAS SOUS 242187 HAS SOUPS 242187 WITH SCORE 242508.644
AT ITER 51 NEW BEST:: SOT 469225 SOS 320621 HAS SOPS 320621 HAS SOUS 242128 HAS SOUPS 242128 WITH SCORE 242448.621
AT ITER 57 NEW BEST:: SOT 468953 SOS 320348 HAS SOPS 320348 HAS SOUS 241855 HAS SOUPS 241855 WITH SCORE 242175.348
AT ITER 60 NEW BEST:: SOT 468953 SOS 320346 HAS SOPS 320346 HAS SOUS 241853 HAS SOUPS 241853 WITH SCORE 242173.346
AT ITER 61 NEW BEST:: SOT 468585 SOS 318086 HAS SOPS 318086 HAS SOUS 240857 HAS SOUPS 240857 WITH SCORE 241175.086
AT ITER 67 NEW BEST:: SOT 468892 SOS 317046 HAS SOPS 317046 HAS SOUS 240557 HAS SOUPS 240557 WITH SCORE 240874.046
AT ITER 71 NEW BEST:: SOT 468891 SOS 316719 HAS SOPS 316719 HAS SOUS 240536 HAS SOUPS 240536 WITH SCORE 240852.719
AT ITER 73 NEW BEST:: SOT 469222 SOS 315552 HAS SOPS 315552 HAS SOUS 240346 HAS SOUPS 240346 WITH SCORE 240661.552
AT ITER 85 NEW BEST:: SOT 468221 SOS 314551 HAS SOPS 314551 HAS SOUS 239345 HAS SOUPS 239345 WITH SCORE 239659.551
AT ITER 86 NEW BEST:: SOT 468104 SOS 313966 HAS SOPS 313966 HAS SOUS 239344 HAS SOUPS 239344 WITH SCORE 239657.966
AT ITER 89 NEW BEST:: SOT 468016 SOS 313878 HAS SOPS 313878 HAS SOUS 239256 HAS SOUPS 239256 WITH SCORE 239569.878
AT ITER 91 NEW BEST:: SOT 468208 SOS 311822 HAS SOPS 311822 HAS SOUS 238258 HAS SOUPS 238258 WITH SCORE 238569.822
AT ITER 100 NEW BEST:: SOT 468176 SOS 311788 HAS SOPS 311788 HAS SOUS 238224 HAS SOUPS 238224 WITH SCORE 238535.788
AT ITER 117 NEW BEST:: SOT 467982 SOS 311885 HAS SOPS 311885 HAS SOUS 238175 HAS SOUPS 238175 WITH SCORE 238486.885
AT ITER 118 NEW BEST:: SOT 467793 SOS 311878 HAS SOPS 311878 HAS SOUS 238078 HAS SOUPS 238078 WITH SCORE 238389.878
AT ITER 142 NEW BEST:: SOT 467679 SOS 311764 HAS SOPS 311764 HAS SOUS 237964 HAS SOUPS 237964 WITH SCORE 238275.764
AT ITER 146 NEW BEST:: SOT 467517 SOS 311602 HAS SOPS 311602 HAS SOUS 237802 HAS SOUPS 237802 WITH SCORE 238113.602
AT ITER 157 NEW BEST:: SOT 467517 SOS 311584 HAS SOPS 311584 HAS SOUS 237791 HAS SOUPS 237791 WITH SCORE 238102.584
AT ITER 160 NEW BEST:: SOT 467289 SOS 311355 HAS SOPS 311355 HAS SOUS 237562 HAS SOUPS 237562 WITH SCORE 237873.355
AT ITER 163 NEW BEST:: SOT 467191 SOS 311257 HAS SOPS 311257 HAS SOUS 237464 HAS SOUPS 237464 WITH SCORE 237775.257
AT ITER 164 NEW BEST:: SOT 466829 SOS 310895 HAS SOPS 310895 HAS SOUS 237102 HAS SOUPS 237102 WITH SCORE 237412.895
AT ITER 167 NEW BEST:: SOT 466563 SOS 309565 HAS SOPS 309565 HAS SOUS 237102 HAS SOUPS 237102 WITH SCORE 237411.565
AT ITER 171 NEW BEST:: SOT 466554 SOS 309546 HAS SOPS 309546 HAS SOUS 237076 HAS SOUPS 237076 WITH SCORE 237385.546
AT ITER 177 NEW BEST:: SOT 466864 SOS 307951 HAS SOPS 307951 HAS SOUS 236699 HAS SOUPS 236699 WITH SCORE 237006.951
AT ITER 200 NEW BEST:: SOT 466720 SOS 307795 HAS SOPS 307795 HAS SOUS 236541 HAS SOUPS 236541 WITH SCORE 236848.795
AT ITER 202 NEW BEST:: SOT 467246 SOS 307034 HAS SOPS 307034 HAS SOUS 235908 HAS SOUPS 235908 WITH SCORE 236215.034
AT ITER 205 NEW BEST:: SOT 467223 SOS 306881 HAS SOPS 306881 HAS SOUS 235908 HAS SOUPS 235908 WITH SCORE 236214.881
AT ITER 219 NEW BEST:: SOT 467040 SOS 306698 HAS SOPS 306698 HAS SOUS 235725 HAS SOUPS 235725 WITH SCORE 236031.698
AT ITER 226 NEW BEST:: SOT 466950 SOS 306608 HAS SOPS 306608 HAS SOUS 235635 HAS SOUPS 235635 WITH SCORE 235941.608
AT ITER 229 NEW BEST:: SOT 466725 SOS 306383 HAS SOPS 306383 HAS SOUS 235410 HAS SOUPS 235410 WITH SCORE 235716.383
AT ITER 235 NEW BEST:: SOT 466453 SOS 306111 HAS SOPS 306111 HAS SOUS 235138 HAS SOUPS 235138 WITH SCORE 235444.111
AT ITER 241 NEW BEST:: SOT 466289 SOS 305946 HAS SOPS 305946 HAS SOUS 234973 HAS SOUPS 234973 WITH SCORE 235278.946
AT ITER 244 NEW BEST:: SOT 466284 SOS 305939 HAS SOPS 305939 HAS SOUS 234966 HAS SOUPS 234966 WITH SCORE 235271.939
AT ITER 248 NEW BEST:: SOT 465908 SOS 305563 HAS SOPS 305563 HAS SOUS 234590 HAS SOUPS 234590 WITH SCORE 234895.563
AT ITER 256 NEW BEST:: SOT 465613 SOS 304088 HAS SOPS 304088 HAS SOUS 234589 HAS SOUPS 234589 WITH SCORE 234893.088
AT ITER 263 NEW BEST:: SOT 465282 SOS 303891 HAS SOPS 303891 HAS SOUS 234324 HAS SOUPS 234324 WITH SCORE 234627.891
AT ITER 268 NEW BEST:: SOT 464837 SOS 303446 HAS SOPS 303446 HAS SOUS 233879 HAS SOUPS 233879 WITH SCORE 234182.446
AT ITER 278 NEW BEST:: SOT 464640 SOS 303248 HAS SOPS 303248 HAS SOUS 233680 HAS SOUPS 233680 WITH SCORE 233983.248
AT ITER 293 NEW BEST:: SOT 464252 SOS 302860 HAS SOPS 302860 HAS SOUS 233292 HAS SOUPS 233292 WITH SCORE 233594.86
AT ITER 296 NEW BEST:: SOT 464086 SOS 302989 HAS SOPS 302989 HAS SOUS 233274 HAS SOUPS 233274 WITH SCORE 233576.989
AT ITER 301 NEW BEST:: SOT 463709 SOS 302612 HAS SOPS 302612 HAS SOUS 232897 HAS SOUPS 232897 WITH SCORE 233199.612
AT ITER 310 NEW BEST:: SOT 463709 SOS 302538 HAS SOPS 302538 HAS SOUS 232896 HAS SOUPS 232896 WITH SCORE 233198.538
AT ITER 313 NEW BEST:: SOT 463724 SOS 302544 HAS SOPS 302544 HAS SOUS 232890 HAS SOUPS 232890 WITH SCORE 233192.544
AT ITER 326 NEW BEST:: SOT 463209 SOS 302134 HAS SOPS 302134 HAS SOUS 232538 HAS SOUPS 232538 WITH SCORE 232840.134
AT ITER 332 NEW BEST:: SOT 462977 SOS 301902 HAS SOPS 301902 HAS SOUS 232275 HAS SOUPS 232275 WITH SCORE 232576.902
AT ITER 336 NEW BEST:: SOT 462976 SOS 300601 HAS SOPS 300601 HAS SOUS 232011 HAS SOUPS 232011 WITH SCORE 232311.601
AT ITER 342 NEW BEST:: SOT 462784 SOS 300143 HAS SOPS 300143 HAS SOUS 231548 HAS SOUPS 231548 WITH SCORE 231848.143
AT ITER 345 NEW BEST:: SOT 462405 SOS 299764 HAS SOPS 299764 HAS SOUS 231169 HAS SOUPS 231169 WITH SCORE 231468.764
AT ITER 350 NEW BEST:: SOT 462051 SOS 299329 HAS SOPS 299329 HAS SOUS 230734 HAS SOUPS 230734 WITH SCORE 231033.329
AT ITER 352 NEW BEST:: SOT 461585 SOS 298863 HAS SOPS 298863 HAS SOUS 230268 HAS SOUPS 230268 WITH SCORE 230566.863
AT ITER 353 NEW BEST:: SOT 461571 SOS 298840 HAS SOPS 298840 HAS SOUS 230231 HAS SOUPS 230231 WITH SCORE 230529.84
AT ITER 369 NEW BEST:: SOT 461501 SOS 298770 HAS SOPS 298770 HAS SOUS 230161 HAS SOUPS 230161 WITH SCORE 230459.77
AT ITER 387 NEW BEST:: SOT 461505 SOS 298769 HAS SOPS 298769 HAS SOUS 230155 HAS SOUPS 230155 WITH SCORE 230453.769
AT ITER 388 NEW BEST:: SOT 461500 SOS 298242 HAS SOPS 298242 HAS SOUS 230068 HAS SOUPS 230068 WITH SCORE 230366.242
AT ITER 390 NEW BEST:: SOT 461349 SOS 297487 HAS SOPS 297487 HAS SOUS 230068 HAS SOUPS 230068 WITH SCORE 230365.487
AT ITER 403 NEW BEST:: SOT 461348 SOS 297456 HAS SOPS 297456 HAS SOUS 230055 HAS SOUPS 230055 WITH SCORE 230352.456
AT ITER 405 NEW BEST:: SOT 461343 SOS 297451 HAS SOPS 297451 HAS SOUS 230050 HAS SOUPS 230050 WITH SCORE 230347.451
AT ITER 411 NEW BEST:: SOT 461342 SOS 296908 HAS SOPS 296908 HAS SOUS 230039 HAS SOUPS 230039 WITH SCORE 230335.908
AT ITER 412 NEW BEST:: SOT 461245 SOS 296811 HAS SOPS 296811 HAS SOUS 229942 HAS SOUPS 229942 WITH SCORE 230238.811
AT ITER 417 NEW BEST:: SOT 461202 SOS 296766 HAS SOPS 296766 HAS SOUS 229897 HAS SOUPS 229897 WITH SCORE 230193.766
AT ITER 426 NEW BEST:: SOT 461199 SOS 295875 HAS SOPS 295875 HAS SOUS 229672 HAS SOUPS 229672 WITH SCORE 229967.875
AT ITER 431 NEW BEST:: SOT 461549 SOS 295594 HAS SOPS 295594 HAS SOUS 229247 HAS SOUPS 229247 WITH SCORE 229542.594
AT ITER 440 NEW BEST:: SOT 461322 SOS 294459 HAS SOPS 294459 HAS SOUS 229246 HAS SOUPS 229246 WITH SCORE 229540.459
AT ITER 442 NEW BEST:: SOT 461360 SOS 294559 HAS SOPS 294559 HAS SOUS 229156 HAS SOUPS 229156 WITH SCORE 229450.559
AT ITER 448 NEW BEST:: SOT 461122 SOS 294202 HAS SOPS 294202 HAS SOUS 228799 HAS SOUPS 228799 WITH SCORE 229093.202
AT ITER 450 NEW BEST:: SOT 460987 SOS 292446 HAS SOPS 292446 HAS SOUS 228004 HAS SOUPS 228004 WITH SCORE 228296.446
AT ITER 463 NEW BEST:: SOT 460813 SOS 292259 HAS SOPS 292259 HAS SOUS 227817 HAS SOUPS 227817 WITH SCORE 228109.259
AT ITER 476 NEW BEST:: SOT 460813 SOS 292259 HAS SOPS 292259 HAS SOUS 227743 HAS SOUPS 227743 WITH SCORE 228035.259
AT ITER 481 NEW BEST:: SOT 460813 SOS 292223 HAS SOPS 292223 HAS SOUS 227726 HAS SOUPS 227726 WITH SCORE 228018.223
AT ITER 484 NEW BEST:: SOT 460501 SOS 290663 HAS SOPS 290663 HAS SOUS 227726 HAS SOUPS 227726 WITH SCORE 228016.663
AT ITER 485 NEW BEST:: SOT 460743 SOS 288973 HAS SOPS 288973 HAS SOUS 227159 HAS SOUPS 227159 WITH SCORE 227447.973
AT ITER 500 NEW BEST:: SOT 460740 SOS 288970 HAS SOPS 288970 HAS SOUS 227156 HAS SOUPS 227156 WITH SCORE 227444.97
AT ITER 507 NEW BEST:: SOT 460715 SOS 288936 HAS SOPS 288936 HAS SOUS 227102 HAS SOUPS 227102 WITH SCORE 227390.936
AT ITER 514 NEW BEST:: SOT 460714 SOS 287904 HAS SOPS 287904 HAS SOUS 226928 HAS SOUPS 226928 WITH SCORE 227215.904
AT ITER 527 NEW BEST:: SOT 460593 SOS 287836 HAS SOPS 287836 HAS SOUS 226834 HAS SOUPS 226834 WITH SCORE 227121.836
AT ITER 532 NEW BEST:: SOT 460316 SOS 286303 HAS SOPS 286303 HAS SOUS 226832 HAS SOUPS 226832 WITH SCORE 227118.303
AT ITER 541 NEW BEST:: SOT 460193 SOS 286178 HAS SOPS 286178 HAS SOUS 226707 HAS SOUPS 226707 WITH SCORE 226993.178
AT ITER 548 NEW BEST:: SOT 459537 SOS 285488 HAS SOPS 285488 HAS SOUS 226082 HAS SOUPS 226082 WITH SCORE 226367.488
AT ITER 552 NEW BEST:: SOT 459486 SOS 285437 HAS SOPS 285437 HAS SOUS 226031 HAS SOUPS 226031 WITH SCORE 226316.437
AT ITER 553 NEW BEST:: SOT 459476 SOS 285427 HAS SOPS 285427 HAS SOUS 226021 HAS SOUPS 226021 WITH SCORE 226306.427
AT ITER 556 NEW BEST:: SOT 459338 SOS 285321 HAS SOPS 285321 HAS SOUS 225915 HAS SOUPS 225915 WITH SCORE 226200.321
AT ITER 557 NEW BEST:: SOT 458965 SOS 285302 HAS SOPS 285302 HAS SOUS 225896 HAS SOUPS 225896 WITH SCORE 226181.302
AT ITER 572 NEW BEST:: SOT 458765 SOS 285052 HAS SOPS 285052 HAS SOUS 225646 HAS SOUPS 225646 WITH SCORE 225931.052
AT ITER 576 NEW BEST:: SOT 458764 SOS 285183 HAS SOPS 285183 HAS SOUS 225477 HAS SOUPS 225477 WITH SCORE 225762.183
AT ITER 578 NEW BEST:: SOT 458598 SOS 285017 HAS SOPS 285017 HAS SOUS 225311 HAS SOUPS 225311 WITH SCORE 225596.017
AT ITER 592 NEW BEST:: SOT 458596 SOS 285012 HAS SOPS 285012 HAS SOUS 225306 HAS SOUPS 225306 WITH SCORE 225591.012
AT ITER 593 NEW BEST:: SOT 458411 SOS 284827 HAS SOPS 284827 HAS SOUS 225121 HAS SOUPS 225121 WITH SCORE 225405.827
AT ITER 594 NEW BEST:: SOT 458349 SOS 283315 HAS SOPS 283315 HAS SOUS 224511 HAS SOUPS 224511 WITH SCORE 224794.315
AT ITER 621 NEW BEST:: SOT 458235 SOS 282745 HAS SOPS 282745 HAS SOUS 224510 HAS SOUPS 224510 WITH SCORE 224792.745
AT ITER 629 NEW BEST:: SOT 458198 SOS 282708 HAS SOPS 282708 HAS SOUS 224473 HAS SOUPS 224473 WITH SCORE 224755.708
AT ITER 633 NEW BEST:: SOT 458025 SOS 282535 HAS SOPS 282535 HAS SOUS 224300 HAS SOUPS 224300 WITH SCORE 224582.535
AT ITER 646 NEW BEST:: SOT 458021 SOS 282523 HAS SOPS 282523 HAS SOUS 224300 HAS SOUPS 224300 WITH SCORE 224582.523
AT ITER 648 NEW BEST:: SOT 457963 SOS 282447 HAS SOPS 282447 HAS SOUS 224248 HAS SOUPS 224248 WITH SCORE 224530.447
AT ITER 652 NEW BEST:: SOT 457881 SOS 282364 HAS SOPS 282364 HAS SOUS 224165 HAS SOUPS 224165 WITH SCORE 224447.364
AT ITER 653 NEW BEST:: SOT 457567 SOS 282050 HAS SOPS 282050 HAS SOUS 223851 HAS SOUPS 223851 WITH SCORE 224133.05
AT ITER 660 NEW BEST:: SOT 457286 SOS 281820 HAS SOPS 281820 HAS SOUS 223596 HAS SOUPS 223596 WITH SCORE 223877.82
AT ITER 662 NEW BEST:: SOT 457094 SOS 281617 HAS SOPS 281617 HAS SOUS 223386 HAS SOUPS 223386 WITH SCORE 223667.617
AT ITER 663 NEW BEST:: SOT 456995 SOS 281518 HAS SOPS 281518 HAS SOUS 223287 HAS SOUPS 223287 WITH SCORE 223568.518
AT ITER 666 NEW BEST:: SOT 456754 SOS 281273 HAS SOPS 281273 HAS SOUS 223042 HAS SOUPS 223042 WITH SCORE 223323.273
AT ITER 669 NEW BEST:: SOT 456383 SOS 281037 HAS SOPS 281037 HAS SOUS 222639 HAS SOUPS 222639 WITH SCORE 222920.037
AT ITER 670 NEW BEST:: SOT 456261 SOS 281011 HAS SOPS 281011 HAS SOUS 222614 HAS SOUPS 222614 WITH SCORE 222895.011
AT ITER 674 NEW BEST:: SOT 456227 SOS 280977 HAS SOPS 280977 HAS SOUS 222580 HAS SOUPS 222580 WITH SCORE 222860.977
AT ITER 675 NEW BEST:: SOT 455875 SOS 280715 HAS SOPS 280715 HAS SOUS 222475 HAS SOUPS 222475 WITH SCORE 222755.715
AT ITER 678 NEW BEST:: SOT 455625 SOS 280623 HAS SOPS 280623 HAS SOUS 222383 HAS SOUPS 222383 WITH SCORE 222663.623
AT ITER 691 NEW BEST:: SOT 455739 SOS 280709 HAS SOPS 280709 HAS SOUS 222379 HAS SOUPS 222379 WITH SCORE 222659.709
AT ITER 699 NEW BEST:: SOT 455727 SOS 280697 HAS SOPS 280697 HAS SOUS 222367 HAS SOUPS 222367 WITH SCORE 222647.697
AT ITER 708 NEW BEST:: SOT 455727 SOS 280071 HAS SOPS 280071 HAS SOUS 222209 HAS SOUPS 222209 WITH SCORE 222489.071
AT ITER 711 NEW BEST:: SOT 454001 SOS 277639 HAS SOPS 277639 HAS SOUS 219840 HAS SOUPS 219840 WITH SCORE 220117.639
AT ITER 729 NEW BEST:: SOT 454272 SOS 277650 HAS SOPS 277650 HAS SOUS 219552 HAS SOUPS 219552 WITH SCORE 219829.65
AT ITER 738 NEW BEST:: SOT 454700 SOS 277582 HAS SOPS 277582 HAS SOUS 219294 HAS SOUPS 219294 WITH SCORE 219571.582
AT ITER 744 NEW BEST:: SOT 454664 SOS 277222 HAS SOPS 277222 HAS SOUS 218863 HAS SOUPS 218863 WITH SCORE 219140.222
AT ITER 759 NEW BEST:: SOT 454664 SOS 276682 HAS SOPS 276682 HAS SOUS 218863 HAS SOUPS 218863 WITH SCORE 219139.682
AT ITER 766 NEW BEST:: SOT 454669 SOS 276769 HAS SOPS 276769 HAS SOUS 218704 HAS SOUPS 218704 WITH SCORE 218980.769
AT ITER 777 NEW BEST:: SOT 454642 SOS 276644 HAS SOPS 276644 HAS SOUS 218579 HAS SOUPS 218579 WITH SCORE 218855.644
AT ITER 784 NEW BEST:: SOT 454456 SOS 276458 HAS SOPS 276458 HAS SOUS 218393 HAS SOUPS 218393 WITH SCORE 218669.458
AT ITER 788 NEW BEST:: SOT 454366 SOS 276008 HAS SOPS 276008 HAS SOUS 218324 HAS SOUPS 218324 WITH SCORE 218600.008
AT ITER 790 NEW BEST:: SOT 454352 SOS 275986 HAS SOPS 275986 HAS SOUS 218289 HAS SOUPS 218289 WITH SCORE 218564.986
AT ITER 795 NEW BEST:: SOT 454309 SOS 275943 HAS SOPS 275943 HAS SOUS 218246 HAS SOUPS 218246 WITH SCORE 218521.943
AT ITER 806 NEW BEST:: SOT 454240 SOS 275874 HAS SOPS 275874 HAS SOUS 218177 HAS SOUPS 218177 WITH SCORE 218452.874
AT ITER 815 NEW BEST:: SOT 454037 SOS 275766 HAS SOPS 275766 HAS SOUS 218039 HAS SOUPS 218039 WITH SCORE 218314.766
AT ITER 826 NEW BEST:: SOT 454025 SOS 275742 HAS SOPS 275742 HAS SOUS 218010 HAS SOUPS 218010 WITH SCORE 218285.742
AT ITER 827 NEW BEST:: SOT 453985 SOS 275702 HAS SOPS 275702 HAS SOUS 217970 HAS SOUPS 217970 WITH SCORE 218245.702
AT ITER 831 NEW BEST:: SOT 453985 SOS 275701 HAS SOPS 275701 HAS SOUS 217969 HAS SOUPS 217969 WITH SCORE 218244.701
AT ITER 838 NEW BEST:: SOT 453795 SOS 275511 HAS SOPS 275511 HAS SOUS 217779 HAS SOUPS 217779 WITH SCORE 218054.511
AT ITER 840 NEW BEST:: SOT 453769 SOS 275484 HAS SOPS 275484 HAS SOUS 217752 HAS SOUPS 217752 WITH SCORE 218027.484
AT ITER 841 NEW BEST:: SOT 453768 SOS 275012 HAS SOPS 275012 HAS SOUS 217731 HAS SOUPS 217731 WITH SCORE 218006.012
AT ITER 843 NEW BEST:: SOT 453759 SOS 274991 HAS SOPS 274991 HAS SOUS 217706 HAS SOUPS 217706 WITH SCORE 217980.991
AT ITER 852 NEW BEST:: SOT 453759 SOS 274905 HAS SOPS 274905 HAS SOUS 217620 HAS SOUPS 217620 WITH SCORE 217894.905
AT ITER 854 NEW BEST:: SOT 453442 SOS 274435 HAS SOPS 274435 HAS SOUS 216982 HAS SOUPS 216982 WITH SCORE 217256.435
AT ITER 858 NEW BEST:: SOT 453364 SOS 274142 HAS SOPS 274142 HAS SOUS 216779 HAS SOUPS 216779 WITH SCORE 217053.142
AT ITER 867 NEW BEST:: SOT 453325 SOS 274103 HAS SOPS 274103 HAS SOUS 216740 HAS SOUPS 216740 WITH SCORE 217014.103
AT ITER 877 NEW BEST:: SOT 453319 SOS 273872 HAS SOPS 273872 HAS SOUS 216718 HAS SOUPS 216718 WITH SCORE 216991.872
AT ITER 878 NEW BEST:: SOT 453232 SOS 273785 HAS SOPS 273785 HAS SOUS 216631 HAS SOUPS 216631 WITH SCORE 216904.785
AT ITER 879 NEW BEST:: SOT 453132 SOS 273651 HAS SOPS 273651 HAS SOUS 216497 HAS SOUPS 216497 WITH SCORE 216770.651
AT ITER 882 NEW BEST:: SOT 452819 SOS 273717 HAS SOPS 273717 HAS SOUS 216413 HAS SOUPS 216413 WITH SCORE 216686.717
AT ITER 891 NEW BEST:: SOT 452720 SOS 271555 HAS SOPS 271555 HAS SOUS 215160 HAS SOUPS 215160 WITH SCORE 215431.555
AT ITER 893 NEW BEST:: SOT 452618 SOS 271453 HAS SOPS 271453 HAS SOUS 215058 HAS SOUPS 215058 WITH SCORE 215329.453
AT ITER 909 NEW BEST:: SOT 452617 SOS 271142 HAS SOPS 271142 HAS SOUS 215047 HAS SOUPS 215047 WITH SCORE 215318.142
AT ITER 918 NEW BEST:: SOT 452276 SOS 270800 HAS SOPS 270800 HAS SOUS 214705 HAS SOUPS 214705 WITH SCORE 214975.8
AT ITER 919 NEW BEST:: SOT 451818 SOS 270342 HAS SOPS 270342 HAS SOUS 214247 HAS SOUPS 214247 WITH SCORE 214517.342
AT ITER 941 NEW BEST:: SOT 451811 SOS 270335 HAS SOPS 270335 HAS SOUS 214247 HAS SOUPS 214247 WITH SCORE 214517.335
AT ITER 951 NEW BEST:: SOT 451793 SOS 270320 HAS SOPS 270320 HAS SOUS 214211 HAS SOUPS 214211 WITH SCORE 214481.32
AT ITER 958 NEW BEST:: SOT 451263 SOS 269790 HAS SOPS 269790 HAS SOUS 213681 HAS SOUPS 213681 WITH SCORE 213950.79
AT ITER 962 NEW BEST:: SOT 451242 SOS 269704 HAS SOPS 269704 HAS SOUS 213599 HAS SOUPS 213599 WITH SCORE 213868.704
AT ITER 965 NEW BEST:: SOT 451213 SOS 268774 HAS SOPS 268774 HAS SOUS 213199 HAS SOUPS 213199 WITH SCORE 213467.774
AT ITER 975 NEW BEST:: SOT 451212 SOS 268768 HAS SOPS 268768 HAS SOUS 213196 HAS SOUPS 213196 WITH SCORE 213464.768
AT ITER 976 NEW BEST:: SOT 450970 SOS 267691 HAS SOPS 267691 HAS SOUS 213183 HAS SOUPS 213183 WITH SCORE 213450.691
AT ITER 978 NEW BEST:: SOT 450954 SOS 267672 HAS SOPS 267672 HAS SOUS 213144 HAS SOUPS 213144 WITH SCORE 213411.672
AT ITER 981 NEW BEST:: SOT 450844 SOS 267489 HAS SOPS 267489 HAS SOUS 212961 HAS SOUPS 212961 WITH SCORE 213228.489
AT ITER 992 NEW BEST:: SOT 450844 SOS 267343 HAS SOPS 267343 HAS SOUS 212815 HAS SOUPS 212815 WITH SCORE 213082.343
AT ITER 1003 NEW BEST:: SOT 450851 SOS 267338 HAS SOPS 267338 HAS SOUS 212720 HAS SOUPS 212720 WITH SCORE 212987.338
AT ITER 1012 NEW BEST:: SOT 450705 SOS 265992 HAS SOPS 265992 HAS SOUS 212116 HAS SOUPS 212116 WITH SCORE 212381.992
AT ITER 1014 NEW BEST:: SOT 450970 SOS 265636 HAS SOPS 265636 HAS SOUS 211760 HAS SOUPS 211760 WITH SCORE 212025.636
AT ITER 1018 NEW BEST:: SOT 451243 SOS 265900 HAS SOPS 265900 HAS SOUS 211741 HAS SOUPS 211741 WITH SCORE 212006.9
AT ITER 1020 NEW BEST:: SOT 451243 SOS 265894 HAS SOPS 265894 HAS SOUS 211738 HAS SOUPS 211738 WITH SCORE 212003.894
AT ITER 1022 NEW BEST:: SOT 451386 SOS 265705 HAS SOPS 265705 HAS SOUS 211661 HAS SOUPS 211661 WITH SCORE 211926.705
AT ITER 1024 NEW BEST:: SOT 451260 SOS 265579 HAS SOPS 265579 HAS SOUS 211535 HAS SOUPS 211535 WITH SCORE 211800.579
AT ITER 1046 NEW BEST:: SOT 451175 SOS 264588 HAS SOPS 264588 HAS SOUS 211183 HAS SOUPS 211183 WITH SCORE 211447.588
AT ITER 1049 NEW BEST:: SOT 451127 SOS 264540 HAS SOPS 264540 HAS SOUS 211135 HAS SOUPS 211135 WITH SCORE 211399.54
AT ITER 1056 NEW BEST:: SOT 450873 SOS 264286 HAS SOPS 264286 HAS SOUS 210881 HAS SOUPS 210881 WITH SCORE 211145.286
AT ITER 1057 NEW BEST:: SOT 450869 SOS 263368 HAS SOPS 263368 HAS SOUS 210698 HAS SOUPS 210698 WITH SCORE 210961.368
AT ITER 1059 NEW BEST:: SOT 450696 SOS 262330 HAS SOPS 262330 HAS SOUS 210352 HAS SOUPS 210352 WITH SCORE 210614.33
AT ITER 1068 NEW BEST:: SOT 450672 SOS 262306 HAS SOPS 262306 HAS SOUS 210328 HAS SOUPS 210328 WITH SCORE 210590.306
AT ITER 1072 NEW BEST:: SOT 450673 SOS 261747 HAS SOPS 261747 HAS SOUS 210026 HAS SOUPS 210026 WITH SCORE 210287.747
AT ITER 1077 NEW BEST:: SOT 450572 SOS 261724 HAS SOPS 261724 HAS SOUS 210003 HAS SOUPS 210003 WITH SCORE 210264.724
AT ITER 1086 NEW BEST:: SOT 450714 SOS 261709 HAS SOPS 261709 HAS SOUS 209979 HAS SOUPS 209979 WITH SCORE 210240.709
AT ITER 1110 NEW BEST:: SOT 450481 SOS 261827 HAS SOPS 261827 HAS SOUS 209919 HAS SOUPS 209919 WITH SCORE 210180.827
AT ITER 1114 NEW BEST:: SOT 450480 SOS 261437 HAS SOPS 261437 HAS SOUS 209902 HAS SOUPS 209902 WITH SCORE 210163.437
AT ITER 1120 NEW BEST:: SOT 450559 SOS 261409 HAS SOPS 261409 HAS SOUS 209874 HAS SOUPS 209874 WITH SCORE 210135.409
AT ITER 1129 NEW BEST:: SOT 450547 SOS 261394 HAS SOPS 261394 HAS SOUS 209859 HAS SOUPS 209859 WITH SCORE 210120.394
AT ITER 1133 NEW BEST:: SOT 450416 SOS 261244 HAS SOPS 261244 HAS SOUS 209709 HAS SOUPS 209709 WITH SCORE 209970.244
AT ITER 1138 NEW BEST:: SOT 450277 SOS 261103 HAS SOPS 261103 HAS SOUS 209567 HAS SOUPS 209567 WITH SCORE 209828.103
AT ITER 1145 NEW BEST:: SOT 450274 SOS 261100 HAS SOPS 261100 HAS SOUS 209564 HAS SOUPS 209564 WITH SCORE 209825.1
AT ITER 1152 NEW BEST:: SOT 450243 SOS 261028 HAS SOPS 261028 HAS SOUS 209493 HAS SOUPS 209493 WITH SCORE 209754.028
AT ITER 1155 NEW BEST:: SOT 450237 SOS 261010 HAS SOPS 261010 HAS SOUS 209487 HAS SOUPS 209487 WITH SCORE 209748.01
AT ITER 1169 NEW BEST:: SOT 450165 SOS 260938 HAS SOPS 260938 HAS SOUS 209415 HAS SOUPS 209415 WITH SCORE 209675.938
AT ITER 1183 NEW BEST:: SOT 450112 SOS 260876 HAS SOPS 260876 HAS SOUS 209352 HAS SOUPS 209352 WITH SCORE 209612.876
AT ITER 1197 NEW BEST:: SOT 450059 SOS 260823 HAS SOPS 260823 HAS SOUS 209299 HAS SOUPS 209299 WITH SCORE 209559.823
AT ITER 1199 NEW BEST:: SOT 450059 SOS 260695 HAS SOPS 260695 HAS SOUS 209267 HAS SOUPS 209267 WITH SCORE 209527.695
AT ITER 1202 NEW BEST:: SOT 450059 SOS 260695 HAS SOPS 260695 HAS SOUS 209257 HAS SOUPS 209257 WITH SCORE 209517.695
AT ITER 1203 NEW BEST:: SOT 450266 SOS 260259 HAS SOPS 260259 HAS SOUS 208463 HAS SOUPS 208463 WITH SCORE 208723.259
AT ITER 1223 NEW BEST:: SOT 450266 SOS 260259 HAS SOPS 260259 HAS SOUS 208454 HAS SOUPS 208454 WITH SCORE 208714.259
AT ITER 1230 NEW BEST:: SOT 450960 SOS 258996 HAS SOPS 258996 HAS SOUS 208264 HAS SOUPS 208264 WITH SCORE 208522.996
AT ITER 1235 NEW BEST:: SOT 450538 SOS 258745 HAS SOPS 258745 HAS SOUS 208013 HAS SOUPS 208013 WITH SCORE 208271.745
AT ITER 1256 NEW BEST:: SOT 450492 SOS 258699 HAS SOPS 258699 HAS SOUS 207967 HAS SOUPS 207967 WITH SCORE 208225.699
AT ITER 1260 NEW BEST:: SOT 450254 SOS 258492 HAS SOPS 258492 HAS SOUS 207760 HAS SOUPS 207760 WITH SCORE 208018.492
AT ITER 1264 NEW BEST:: SOT 450150 SOS 258386 HAS SOPS 258386 HAS SOUS 207654 HAS SOUPS 207654 WITH SCORE 207912.386
AT ITER 1271 NEW BEST:: SOT 449806 SOS 258042 HAS SOPS 258042 HAS SOUS 207309 HAS SOUPS 207309 WITH SCORE 207567.042
AT ITER 1276 NEW BEST:: SOT 449748 SOS 257752 HAS SOPS 257752 HAS SOUS 207308 HAS SOUPS 207308 WITH SCORE 207565.752
AT ITER 1277 NEW BEST:: SOT 449786 SOS 256273 HAS SOPS 256273 HAS SOUS 206762 HAS SOUPS 206762 WITH SCORE 207018.273
AT ITER 1282 NEW BEST:: SOT 449724 SOS 256211 HAS SOPS 256211 HAS SOUS 206700 HAS SOUPS 206700 WITH SCORE 206956.211
AT ITER 1285 NEW BEST:: SOT 449651 SOS 256138 HAS SOPS 256138 HAS SOUS 206627 HAS SOUPS 206627 WITH SCORE 206883.138
AT ITER 1292 NEW BEST:: SOT 449651 SOS 256123 HAS SOPS 256123 HAS SOUS 206627 HAS SOUPS 206627 WITH SCORE 206883.123
AT ITER 1307 NEW BEST:: SOT 449649 SOS 256107 HAS SOPS 256107 HAS SOUS 206605 HAS SOUPS 206605 WITH SCORE 206861.107
AT ITER 1312 NEW BEST:: SOT 449379 SOS 255825 HAS SOPS 255825 HAS SOUS 206167 HAS SOUPS 206167 WITH SCORE 206422.825
AT ITER 1318 NEW BEST:: SOT 449903 SOS 257423 HAS SOPS 257423 HAS SOUS 206033 HAS SOUPS 206033 WITH SCORE 206290.423
AT ITER 1324 NEW BEST:: SOT 449883 SOS 257403 HAS SOPS 257403 HAS SOUS 206013 HAS SOUPS 206013 WITH SCORE 206270.403
AT ITER 1333 NEW BEST:: SOT 449801 SOS 257251 HAS SOPS 257251 HAS SOUS 205878 HAS SOUPS 205878 WITH SCORE 206135.251
AT ITER 1334 NEW BEST:: SOT 449665 SOS 257219 HAS SOPS 257219 HAS SOUS 205577 HAS SOUPS 205577 WITH SCORE 205834.219
AT ITER 1339 NEW BEST:: SOT 449665 SOS 255658 HAS SOPS 255658 HAS SOUS 205038 HAS SOUPS 205038 WITH SCORE 205293.658
AT ITER 1342 NEW BEST:: SOT 449500 SOS 254590 HAS SOPS 254590 HAS SOUS 205036 HAS SOUPS 205036 WITH SCORE 205290.59
AT ITER 1350 NEW BEST:: SOT 449343 SOS 254065 HAS SOPS 254065 HAS SOUS 204579 HAS SOUPS 204579 WITH SCORE 204833.065
AT ITER 1365 NEW BEST:: SOT 449323 SOS 254045 HAS SOPS 254045 HAS SOUS 204559 HAS SOUPS 204559 WITH SCORE 204813.045
AT ITER 1378 NEW BEST:: SOT 449203 SOS 253912 HAS SOPS 253912 HAS SOUS 204426 HAS SOUPS 204426 WITH SCORE 204679.912
AT ITER 1379 NEW BEST:: SOT 449238 SOS 253852 HAS SOPS 253852 HAS SOUS 204245 HAS SOUPS 204245 WITH SCORE 204498.852
AT ITER 1389 NEW BEST:: SOT 449206 SOS 253791 HAS SOPS 253791 HAS SOUS 204188 HAS SOUPS 204188 WITH SCORE 204441.791
AT ITER 1426 NEW BEST:: SOT 449204 SOS 253783 HAS SOPS 253783 HAS SOUS 204180 HAS SOUPS 204180 WITH SCORE 204433.783
AT ITER 1427 NEW BEST:: SOT 449204 SOS 253781 HAS SOPS 253781 HAS SOUS 204178 HAS SOUPS 204178 WITH SCORE 204431.781
AT ITER 1430 NEW BEST:: SOT 448904 SOS 253287 HAS SOPS 253287 HAS SOUS 203684 HAS SOUPS 203684 WITH SCORE 203937.287
AT ITER 1435 NEW BEST:: SOT 448901 SOS 253284 HAS SOPS 253284 HAS SOUS 203681 HAS SOUPS 203681 WITH SCORE 203934.284
AT ITER 1440 NEW BEST:: SOT 448890 SOS 253264 HAS SOPS 253264 HAS SOUS 203649 HAS SOUPS 203649 WITH SCORE 203902.264
AT ITER 1444 NEW BEST:: SOT 448890 SOS 252420 HAS SOPS 252420 HAS SOUS 203442 HAS SOUPS 203442 WITH SCORE 203694.42
AT ITER 1447 NEW BEST:: SOT 448889 SOS 252419 HAS SOPS 252419 HAS SOUS 203441 HAS SOUPS 203441 WITH SCORE 203693.419
AT ITER 1449 NEW BEST:: SOT 448885 SOS 252415 HAS SOPS 252415 HAS SOUS 203437 HAS SOUPS 203437 WITH SCORE 203689.415
AT ITER 1452 NEW BEST:: SOT 448835 SOS 252351 HAS SOPS 252351 HAS SOUS 203364 HAS SOUPS 203364 WITH SCORE 203616.351
AT ITER 1453 NEW BEST:: SOT 448664 SOS 252106 HAS SOPS 252106 HAS SOUS 203089 HAS SOUPS 203089 WITH SCORE 203341.106
AT ITER 1474 NEW BEST:: SOT 447964 SOS 251406 HAS SOPS 251406 HAS SOUS 202039 HAS SOUPS 202039 WITH SCORE 202290.406
AT ITER 1478 NEW BEST:: SOT 447964 SOS 251376 HAS SOPS 251376 HAS SOUS 202027 HAS SOUPS 202027 WITH SCORE 202278.376
AT ITER 1485 NEW BEST:: SOT 447948 SOS 251360 HAS SOPS 251360 HAS SOUS 202011 HAS SOUPS 202011 WITH SCORE 202262.36
AT ITER 1487 NEW BEST:: SOT 447567 SOS 250979 HAS SOPS 250979 HAS SOUS 201386 HAS SOUPS 201386 WITH SCORE 201636.979
AT ITER 1500 NEW BEST:: SOT 447511 SOS 249194 HAS SOPS 249194 HAS SOUS 200915 HAS SOUPS 200915 WITH SCORE 201164.194
AT ITER 1502 NEW BEST:: SOT 447399 SOS 248634 HAS SOPS 248634 HAS SOUS 200914 HAS SOUPS 200914 WITH SCORE 201162.634
AT ITER 1503 NEW BEST:: SOT 447538 SOS 248453 HAS SOPS 248453 HAS SOUS 200789 HAS SOUPS 200789 WITH SCORE 201037.453
AT ITER 1505 NEW BEST:: SOT 447459 SOS 248381 HAS SOPS 248381 HAS SOUS 200714 HAS SOUPS 200714 WITH SCORE 200962.381
AT ITER 1507 NEW BEST:: SOT 447429 SOS 248257 HAS SOPS 248257 HAS SOUS 200682 HAS SOUPS 200682 WITH SCORE 200930.257
AT ITER 1508 NEW BEST:: SOT 447411 SOS 246386 HAS SOPS 246386 HAS SOUS 200168 HAS SOUPS 200168 WITH SCORE 200414.386
AT ITER 1531 NEW BEST:: SOT 446744 SOS 245719 HAS SOPS 245719 HAS SOUS 199532 HAS SOUPS 199532 WITH SCORE 199777.719
AT ITER 1532 NEW BEST:: SOT 446732 SOS 245700 HAS SOPS 245700 HAS SOUS 199520 HAS SOUPS 199520 WITH SCORE 199765.7
AT ITER 1552 NEW BEST:: SOT 446731 SOS 245699 HAS SOPS 245699 HAS SOUS 199519 HAS SOUPS 199519 WITH SCORE 199764.699
AT ITER 1558 NEW BEST:: SOT 446509 SOS 245471 HAS SOPS 245471 HAS SOUS 199202 HAS SOUPS 199202 WITH SCORE 199447.471
AT ITER 1569 NEW BEST:: SOT 446470 SOS 245432 HAS SOPS 245432 HAS SOUS 199163 HAS SOUPS 199163 WITH SCORE 199408.432
AT ITER 1574 NEW BEST:: SOT 446461 SOS 245225 HAS SOPS 245225 HAS SOUS 199103 HAS SOUPS 199103 WITH SCORE 199348.225
AT ITER 1582 NEW BEST:: SOT 446389 SOS 245034 HAS SOPS 245034 HAS SOUS 198924 HAS SOUPS 198924 WITH SCORE 199169.034
AT ITER 1594 NEW BEST:: SOT 446366 SOS 245011 HAS SOPS 245011 HAS SOUS 198901 HAS SOUPS 198901 WITH SCORE 199146.011
AT ITER 1617 NEW BEST:: SOT 446004 SOS 242957 HAS SOPS 242957 HAS SOUS 198692 HAS SOUPS 198692 WITH SCORE 198934.957
AT ITER 1619 NEW BEST:: SOT 446004 SOS 242936 HAS SOPS 242936 HAS SOUS 198684 HAS SOUPS 198684 WITH SCORE 198926.936
AT ITER 1620 NEW BEST:: SOT 446100 SOS 243092 HAS SOPS 243092 HAS SOUS 198663 HAS SOUPS 198663 WITH SCORE 198906.092
AT ITER 1630 NEW BEST:: SOT 446022 SOS 242930 HAS SOPS 242930 HAS SOUS 198647 HAS SOUPS 198647 WITH SCORE 198889.93
AT ITER 1631 NEW BEST:: SOT 445990 SOS 242850 HAS SOPS 242850 HAS SOUS 198599 HAS SOUPS 198599 WITH SCORE 198841.85
AT ITER 1634 NEW BEST:: SOT 445646 SOS 242504 HAS SOPS 242504 HAS SOUS 198183 HAS SOUPS 198183 WITH SCORE 198425.504
AT ITER 1655 NEW BEST:: SOT 445579 SOS 242425 HAS SOPS 242425 HAS SOUS 198104 HAS SOUPS 198104 WITH SCORE 198346.425
AT ITER 1664 NEW BEST:: SOT 445363 SOS 242202 HAS SOPS 242202 HAS SOUS 197882 HAS SOUPS 197882 WITH SCORE 198124.202
AT ITER 1671 NEW BEST:: SOT 445532 SOS 240312 HAS SOPS 240312 HAS SOUS 197419 HAS SOUPS 197419 WITH SCORE 197659.312
AT ITER 1674 NEW BEST:: SOT 445532 SOS 240357 HAS SOPS 240357 HAS SOUS 197409 HAS SOUPS 197409 WITH SCORE 197649.357
AT ITER 1685 NEW BEST:: SOT 445530 SOS 240409 HAS SOPS 240409 HAS SOUS 197391 HAS SOUPS 197391 WITH SCORE 197631.409
AT ITER 1688 NEW BEST:: SOT 445270 SOS 240145 HAS SOPS 240145 HAS SOUS 197128 HAS SOUPS 197128 WITH SCORE 197368.145
AT ITER 1705 NEW BEST:: SOT 445058 SOS 238300 HAS SOPS 238300 HAS SOUS 196489 HAS SOUPS 196489 WITH SCORE 196727.3
AT ITER 1729 NEW BEST:: SOT 444982 SOS 238072 HAS SOPS 238072 HAS SOUS 196337 HAS SOUPS 196337 WITH SCORE 196575.072
AT ITER 1737 NEW BEST:: SOT 444826 SOS 237916 HAS SOPS 237916 HAS SOUS 196180 HAS SOUPS 196180 WITH SCORE 196417.916
AT ITER 1739 NEW BEST:: SOT 444748 SOS 237836 HAS SOPS 237836 HAS SOUS 196100 HAS SOUPS 196100 WITH SCORE 196337.836
AT ITER 1740 NEW BEST:: SOT 444589 SOS 237518 HAS SOPS 237518 HAS SOUS 195782 HAS SOUPS 195782 WITH SCORE 196019.518
AT ITER 1753 NEW BEST:: SOT 444557 SOS 237454 HAS SOPS 237454 HAS SOUS 195718 HAS SOUPS 195718 WITH SCORE 195955.454
AT ITER 1771 NEW BEST:: SOT 444429 SOS 237192 HAS SOPS 237192 HAS SOUS 195461 HAS SOUPS 195461 WITH SCORE 195698.192
AT ITER 1772 NEW BEST:: SOT 444281 SOS 237054 HAS SOPS 237054 HAS SOUS 195323 HAS SOUPS 195323 WITH SCORE 195560.054
AT ITER 1777 NEW BEST:: SOT 444188 SOS 236957 HAS SOPS 236957 HAS SOUS 195291 HAS SOUPS 195291 WITH SCORE 195527.957
AT ITER 1800 NEW BEST:: SOT 444123 SOS 236879 HAS SOPS 236879 HAS SOUS 195206 HAS SOUPS 195206 WITH SCORE 195442.879
AT ITER 1805 NEW BEST:: SOT 444108 SOS 236839 HAS SOPS 236839 HAS SOUS 195166 HAS SOUPS 195166 WITH SCORE 195402.839
AT ITER 1812 NEW BEST:: SOT 444108 SOS 236193 HAS SOPS 236193 HAS SOUS 195053 HAS SOUPS 195053 WITH SCORE 195289.193
AT ITER 1816 NEW BEST:: SOT 444110 SOS 236193 HAS SOPS 236193 HAS SOUS 195050 HAS SOUPS 195050 WITH SCORE 195286.193
AT ITER 1817 NEW BEST:: SOT 444393 SOS 236640 HAS SOPS 236640 HAS SOUS 194628 HAS SOUPS 194628 WITH SCORE 194864.64
AT ITER 1824 NEW BEST:: SOT 444392 SOS 236418 HAS SOPS 236418 HAS SOUS 194613 HAS SOUPS 194613 WITH SCORE 194849.418
AT ITER 1831 NEW BEST:: SOT 444227 SOS 236087 HAS SOPS 236087 HAS SOUS 194293 HAS SOUPS 194293 WITH SCORE 194529.087
AT ITER 1837 NEW BEST:: SOT 444227 SOS 235890 HAS SOPS 235890 HAS SOUS 194204 HAS SOUPS 194204 WITH SCORE 194439.89
AT ITER 1838 NEW BEST:: SOT 444147 SOS 235829 HAS SOPS 235829 HAS SOUS 194165 HAS SOUPS 194165 WITH SCORE 194400.829
AT ITER 1839 NEW BEST:: SOT 444147 SOS 235827 HAS SOPS 235827 HAS SOUS 194163 HAS SOUPS 194163 WITH SCORE 194398.827
AT ITER 1842 NEW BEST:: SOT 444099 SOS 235731 HAS SOPS 235731 HAS SOUS 194163 HAS SOUPS 194163 WITH SCORE 194398.731
AT ITER 1846 NEW BEST:: SOT 443899 SOS 235526 HAS SOPS 235526 HAS SOUS 193946 HAS SOUPS 193946 WITH SCORE 194181.526
AT ITER 1847 NEW BEST:: SOT 443899 SOS 235381 HAS SOPS 235381 HAS SOUS 193912 HAS SOUPS 193912 WITH SCORE 194147.381
AT ITER 1849 NEW BEST:: SOT 443652 SOS 235160 HAS SOPS 235160 HAS SOUS 193691 HAS SOUPS 193691 WITH SCORE 193926.16
AT ITER 1862 NEW BEST:: SOT 443604 SOS 235112 HAS SOPS 235112 HAS SOUS 193643 HAS SOUPS 193643 WITH SCORE 193878.112
AT ITER 1875 NEW BEST:: SOT 443600 SOS 233883 HAS SOPS 233883 HAS SOUS 193194 HAS SOUPS 193194 WITH SCORE 193427.883
AT ITER 1885 NEW BEST:: SOT 443474 SOS 233638 HAS SOPS 233638 HAS SOUS 192949 HAS SOUPS 192949 WITH SCORE 193182.638
AT ITER 1887 NEW BEST:: SOT 443334 SOS 233498 HAS SOPS 233498 HAS SOUS 192809 HAS SOUPS 192809 WITH SCORE 193042.498
AT ITER 1895 NEW BEST:: SOT 443319 SOS 233024 HAS SOPS 233024 HAS SOUS 192725 HAS SOUPS 192725 WITH SCORE 192958.024
AT ITER 1910 NEW BEST:: SOT 443309 SOS 233383 HAS SOPS 233383 HAS SOUS 192665 HAS SOUPS 192665 WITH SCORE 192898.383
AT ITER 1912 NEW BEST:: SOT 443274 SOS 233278 HAS SOPS 233278 HAS SOUS 192595 HAS SOUPS 192595 WITH SCORE 192828.278
AT ITER 1914 NEW BEST:: SOT 443348 SOS 232697 HAS SOPS 232697 HAS SOUS 192350 HAS SOUPS 192350 WITH SCORE 192582.697
AT ITER 1918 NEW BEST:: SOT 443149 SOS 232395 HAS SOPS 232395 HAS SOUS 192048 HAS SOUPS 192048 WITH SCORE 192280.395
AT ITER 1941 NEW BEST:: SOT 443003 SOS 232293 HAS SOPS 232293 HAS SOUS 191946 HAS SOUPS 191946 WITH SCORE 192178.293
AT ITER 1944 NEW BEST:: SOT 442877 SOS 232173 HAS SOPS 232173 HAS SOUS 191764 HAS SOUPS 191764 WITH SCORE 191996.173
AT ITER 1950 NEW BEST:: SOT 442833 SOS 232129 HAS SOPS 232129 HAS SOUS 191720 HAS SOUPS 191720 WITH SCORE 191952.129
AT ITER 1957 NEW BEST:: SOT 442792 SOS 232088 HAS SOPS 232088 HAS SOUS 191679 HAS SOUPS 191679 WITH SCORE 191911.088
AT ITER 1965 NEW BEST:: SOT 442487 SOS 231587 HAS SOPS 231587 HAS SOUS 191178 HAS SOUPS 191178 WITH SCORE 191409.587
AT ITER 1967 NEW BEST:: SOT 442487 SOS 231303 HAS SOPS 231303 HAS SOUS 190894 HAS SOUPS 190894 WITH SCORE 191125.303
AT ITER 1968 NEW BEST:: SOT 442545 SOS 231382 HAS SOPS 231382 HAS SOUS 190882 HAS SOUPS 190882 WITH SCORE 191113.382
AT ITER 1972 NEW BEST:: SOT 442533 SOS 231370 HAS SOPS 231370 HAS SOUS 190853 HAS SOUPS 190853 WITH SCORE 191084.37
AT ITER 1978 NEW BEST:: SOT 442403 SOS 231240 HAS SOPS 231240 HAS SOUS 190723 HAS SOUPS 190723 WITH SCORE 190954.24
AT ITER 1993 NEW BEST:: SOT 442143 SOS 230980 HAS SOPS 230980 HAS SOUS 190326 HAS SOUPS 190326 WITH SCORE 190556.98
AT ITER 1998 NEW BEST:: SOT 442142 SOS 230514 HAS SOPS 230514 HAS SOUS 190285 HAS SOUPS 190285 WITH SCORE 190515.514
AT ITER 2000 NEW BEST:: SOT 442388 SOS 230375 HAS SOPS 230375 HAS SOUS 190162 HAS SOUPS 190162 WITH SCORE 190392.375
AT ITER 2006 NEW BEST:: SOT 442388 SOS 230279 HAS SOPS 230279 HAS SOUS 190066 HAS SOUPS 190066 WITH SCORE 190296.279
AT ITER 2012 NEW BEST:: SOT 442454 SOS 230230 HAS SOPS 230230 HAS SOUS 190017 HAS SOUPS 190017 WITH SCORE 190247.23
AT ITER 2022 NEW BEST:: SOT 442454 SOS 230020 HAS SOPS 230020 HAS SOUS 189807 HAS SOUPS 189807 WITH SCORE 190037.02
AT ITER 2030 NEW BEST:: SOT 441999 SOS 229353 HAS SOPS 229353 HAS SOUS 189017 HAS SOUPS 189017 WITH SCORE 189246.353
AT ITER 2045 NEW BEST:: SOT 441985 SOS 229369 HAS SOPS 229369 HAS SOUS 189014 HAS SOUPS 189014 WITH SCORE 189243.369
AT ITER 2050 NEW BEST:: SOT 441985 SOS 229308 HAS SOPS 229308 HAS SOUS 188960 HAS SOUPS 188960 WITH SCORE 189189.308
AT ITER 2074 NEW BEST:: SOT 441894 SOS 228105 HAS SOPS 228105 HAS SOUS 188563 HAS SOUPS 188563 WITH SCORE 188791.105
AT ITER 2075 NEW BEST:: SOT 441887 SOS 228098 HAS SOPS 228098 HAS SOUS 188556 HAS SOUPS 188556 WITH SCORE 188784.098
AT ITER 2076 NEW BEST:: SOT 441887 SOS 228084 HAS SOPS 228084 HAS SOUS 188556 HAS SOUPS 188556 WITH SCORE 188784.084
AT ITER 2088 NEW BEST:: SOT 441887 SOS 228088 HAS SOPS 228088 HAS SOUS 188554 HAS SOUPS 188554 WITH SCORE 188782.088
AT ITER 2094 NEW BEST:: SOT 441640 SOS 227208 HAS SOPS 227208 HAS SOUS 187998 HAS SOUPS 187998 WITH SCORE 188225.208
AT ITER 2096 NEW BEST:: SOT 441640 SOS 227158 HAS SOPS 227158 HAS SOUS 187948 HAS SOUPS 187948 WITH SCORE 188175.158
AT ITER 2100 NEW BEST:: SOT 441640 SOS 226108 HAS SOPS 226108 HAS SOUS 187733 HAS SOUPS 187733 WITH SCORE 187959.108
AT ITER 2103 NEW BEST:: SOT 441451 SOS 225919 HAS SOPS 225919 HAS SOUS 187607 HAS SOUPS 187607 WITH SCORE 187832.919
AT ITER 2104 NEW BEST:: SOT 441451 SOS 225913 HAS SOPS 225913 HAS SOUS 187601 HAS SOUPS 187601 WITH SCORE 187826.913
AT ITER 2107 NEW BEST:: SOT 441451 SOS 225912 HAS SOPS 225912 HAS SOUS 187600 HAS SOUPS 187600 WITH SCORE 187825.912
AT ITER 2122 NEW BEST:: SOT 441448 SOS 225909 HAS SOPS 225909 HAS SOUS 187597 HAS SOUPS 187597 WITH SCORE 187822.909
AT ITER 2125 NEW BEST:: SOT 441416 SOS 225877 HAS SOPS 225877 HAS SOUS 187565 HAS SOUPS 187565 WITH SCORE 187790.877
AT ITER 2127 NEW BEST:: SOT 441276 SOS 225737 HAS SOPS 225737 HAS SOUS 187425 HAS SOUPS 187425 WITH SCORE 187650.737
AT ITER 2135 NEW BEST:: SOT 441276 SOS 225690 HAS SOPS 225690 HAS SOUS 187378 HAS SOUPS 187378 WITH SCORE 187603.69
AT ITER 2136 NEW BEST:: SOT 441205 SOS 225619 HAS SOPS 225619 HAS SOUS 187370 HAS SOUPS 187370 WITH SCORE 187595.619
AT ITER 2140 NEW BEST:: SOT 441053 SOS 224812 HAS SOPS 224812 HAS SOUS 186978 HAS SOUPS 186978 WITH SCORE 187202.812
AT ITER 2160 NEW BEST:: SOT 440979 SOS 224602 HAS SOPS 224602 HAS SOUS 186753 HAS SOUPS 186753 WITH SCORE 186977.602
AT ITER 2172 NEW BEST:: SOT 440829 SOS 224377 HAS SOPS 224377 HAS SOUS 186528 HAS SOUPS 186528 WITH SCORE 186752.377
AT ITER 2175 NEW BEST:: SOT 440829 SOS 224359 HAS SOPS 224359 HAS SOUS 186510 HAS SOUPS 186510 WITH SCORE 186734.359
AT ITER 2176 NEW BEST:: SOT 440737 SOS 224267 HAS SOPS 224267 HAS SOUS 186418 HAS SOUPS 186418 WITH SCORE 186642.267
AT ITER 2183 NEW BEST:: SOT 440731 SOS 224255 HAS SOPS 224255 HAS SOUS 186400 HAS SOUPS 186400 WITH SCORE 186624.255
AT ITER 2220 NEW BEST:: SOT 440719 SOS 224161 HAS SOPS 224161 HAS SOUS 186306 HAS SOUPS 186306 WITH SCORE 186530.161
AT ITER 2221 NEW BEST:: SOT 440554 SOS 223996 HAS SOPS 223996 HAS SOUS 186141 HAS SOUPS 186141 WITH SCORE 186364.996
AT ITER 2226 NEW BEST:: SOT 440554 SOS 223966 HAS SOPS 223966 HAS SOUS 186120 HAS SOUPS 186120 WITH SCORE 186343.966
AT ITER 2237 NEW BEST:: SOT 440520 SOS 223932 HAS SOPS 223932 HAS SOUS 186086 HAS SOUPS 186086 WITH SCORE 186309.932
AT ITER 2244 NEW BEST:: SOT 440552 SOS 223929 HAS SOPS 223929 HAS SOUS 186083 HAS SOUPS 186083 WITH SCORE 186306.929
AT ITER 2251 NEW BEST:: SOT 440601 SOS 223857 HAS SOPS 223857 HAS SOUS 186011 HAS SOUPS 186011 WITH SCORE 186234.857
AT ITER 2253 NEW BEST:: SOT 440560 SOS 223734 HAS SOPS 223734 HAS SOUS 185929 HAS SOUPS 185929 WITH SCORE 186152.734
AT ITER 2257 NEW BEST:: SOT 440523 SOS 223698 HAS SOPS 223698 HAS SOUS 185893 HAS SOUPS 185893 WITH SCORE 186116.698
AT ITER 2265 NEW BEST:: SOT 440453 SOS 223628 HAS SOPS 223628 HAS SOUS 185823 HAS SOUPS 185823 WITH SCORE 186046.628
AT ITER 2266 NEW BEST:: SOT 440587 SOS 223690 HAS SOPS 223690 HAS SOUS 185663 HAS SOUPS 185663 WITH SCORE 185886.69
AT ITER 2270 NEW BEST:: SOT 440564 SOS 223605 HAS SOPS 223605 HAS SOUS 185547 HAS SOUPS 185547 WITH SCORE 185770.605
AT ITER 2271 NEW BEST:: SOT 440346 SOS 223191 HAS SOPS 223191 HAS SOUS 185133 HAS SOUPS 185133 WITH SCORE 185356.191
AT ITER 2277 NEW BEST:: SOT 440173 SOS 221854 HAS SOPS 221854 HAS SOUS 185015 HAS SOUPS 185015 WITH SCORE 185236.854
AT ITER 2280 NEW BEST:: SOT 440078 SOS 221069 HAS SOPS 221069 HAS SOUS 184557 HAS SOUPS 184557 WITH SCORE 184778.069
AT ITER 2291 NEW BEST:: SOT 440077 SOS 221054 HAS SOPS 221054 HAS SOUS 184528 HAS SOUPS 184528 WITH SCORE 184749.054
AT ITER 2294 NEW BEST:: SOT 440029 SOS 220814 HAS SOPS 220814 HAS SOUS 184528 HAS SOUPS 184528 WITH SCORE 184748.814
AT ITER 2299 NEW BEST:: SOT 440001 SOS 220758 HAS SOPS 220758 HAS SOUS 184528 HAS SOUPS 184528 WITH SCORE 184748.758
AT ITER 2306 NEW BEST:: SOT 439983 SOS 220738 HAS SOPS 220738 HAS SOUS 184507 HAS SOUPS 184507 WITH SCORE 184727.738
AT ITER 2311 NEW BEST:: SOT 439831 SOS 220487 HAS SOPS 220487 HAS SOUS 184161 HAS SOUPS 184161 WITH SCORE 184381.487
AT ITER 2317 NEW BEST:: SOT 439715 SOS 220253 HAS SOPS 220253 HAS SOUS 183941 HAS SOUPS 183941 WITH SCORE 184161.253
AT ITER 2326 NEW BEST:: SOT 439726 SOS 218771 HAS SOPS 218771 HAS SOUS 183478 HAS SOUPS 183478 WITH SCORE 183696.771
AT ITER 2329 NEW BEST:: SOT 439701 SOS 218746 HAS SOPS 218746 HAS SOUS 183453 HAS SOUPS 183453 WITH SCORE 183671.746
AT ITER 2335 NEW BEST:: SOT 439699 SOS 218684 HAS SOPS 218684 HAS SOUS 183424 HAS SOUPS 183424 WITH SCORE 183642.684
AT ITER 2338 NEW BEST:: SOT 439699 SOS 218604 HAS SOPS 218604 HAS SOUS 183364 HAS SOUPS 183364 WITH SCORE 183582.604
AT ITER 2341 NEW BEST:: SOT 439699 SOS 218429 HAS SOPS 218429 HAS SOUS 183364 HAS SOUPS 183364 WITH SCORE 183582.429
AT ITER 2343 NEW BEST:: SOT 439599 SOS 218312 HAS SOPS 218312 HAS SOUS 183247 HAS SOUPS 183247 WITH SCORE 183465.312
AT ITER 2360 NEW BEST:: SOT 439411 SOS 218193 HAS SOPS 218193 HAS SOUS 183128 HAS SOUPS 183128 WITH SCORE 183346.193
AT ITER 2383 NEW BEST:: SOT 439347 SOS 218129 HAS SOPS 218129 HAS SOUS 183064 HAS SOUPS 183064 WITH SCORE 183282.129
AT ITER 2387 NEW BEST:: SOT 439304 SOS 218086 HAS SOPS 218086 HAS SOUS 183021 HAS SOUPS 183021 WITH SCORE 183239.086
AT ITER 2395 NEW BEST:: SOT 439044 SOS 217794 HAS SOPS 217794 HAS SOUS 182729 HAS SOUPS 182729 WITH SCORE 182946.794
AT ITER 2409 NEW BEST:: SOT 438937 SOS 217618 HAS SOPS 217618 HAS SOUS 182553 HAS SOUPS 182553 WITH SCORE 182770.618
AT ITER 2412 NEW BEST:: SOT 438856 SOS 217456 HAS SOPS 217456 HAS SOUS 182552 HAS SOUPS 182552 WITH SCORE 182769.456
AT ITER 2430 NEW BEST:: SOT 438856 SOS 217306 HAS SOPS 217306 HAS SOUS 182402 HAS SOUPS 182402 WITH SCORE 182619.306
AT ITER 2432 NEW BEST:: SOT 438840 SOS 217290 HAS SOPS 217290 HAS SOUS 182386 HAS SOUPS 182386 WITH SCORE 182603.29
AT ITER 2455 NEW BEST:: SOT 438836 SOS 217275 HAS SOPS 217275 HAS SOUS 182369 HAS SOUPS 182369 WITH SCORE 182586.275
AT ITER 2456 NEW BEST:: SOT 438799 SOS 217238 HAS SOPS 217238 HAS SOUS 182332 HAS SOUPS 182332 WITH SCORE 182549.238
AT ITER 2457 NEW BEST:: SOT 438489 SOS 216618 HAS SOPS 216618 HAS SOUS 181712 HAS SOUPS 181712 WITH SCORE 181928.618
AT ITER 2465 NEW BEST:: SOT 438398 SOS 216549 HAS SOPS 216549 HAS SOUS 181643 HAS SOUPS 181643 WITH SCORE 181859.549
AT ITER 2480 NEW BEST:: SOT 438703 SOS 215053 HAS SOPS 215053 HAS SOUS 180997 HAS SOUPS 180997 WITH SCORE 181212.053
AT ITER 2491 NEW BEST:: SOT 438656 SOS 215006 HAS SOPS 215006 HAS SOUS 180950 HAS SOUPS 180950 WITH SCORE 181165.006
AT ITER 2492 NEW BEST:: SOT 438624 SOS 214974 HAS SOPS 214974 HAS SOUS 180918 HAS SOUPS 180918 WITH SCORE 181132.974
AT ITER 2494 NEW BEST:: SOT 438364 SOS 214714 HAS SOPS 214714 HAS SOUS 180658 HAS SOUPS 180658 WITH SCORE 180872.714
AT ITER 2513 NEW BEST:: SOT 438364 SOS 214712 HAS SOPS 214712 HAS SOUS 180654 HAS SOUPS 180654 WITH SCORE 180868.712
AT ITER 2530 NEW BEST:: SOT 438357 SOS 214705 HAS SOPS 214705 HAS SOUS 180654 HAS SOUPS 180654 WITH SCORE 180868.705
AT ITER 2535 NEW BEST:: SOT 438354 SOS 214702 HAS SOPS 214702 HAS SOUS 180651 HAS SOUPS 180651 WITH SCORE 180865.702
AT ITER 2538 NEW BEST:: SOT 438026 SOS 213706 HAS SOPS 213706 HAS SOUS 180002 HAS SOUPS 180002 WITH SCORE 180215.706
AT ITER 2550 NEW BEST:: SOT 438148 SOS 213599 HAS SOPS 213599 HAS SOUS 179994 HAS SOUPS 179994 WITH SCORE 180207.599
AT ITER 2568 NEW BEST:: SOT 437933 SOS 213384 HAS SOPS 213384 HAS SOUS 179779 HAS SOUPS 179779 WITH SCORE 179992.384
AT ITER 2572 NEW BEST:: SOT 437590 SOS 212479 HAS SOPS 212479 HAS SOUS 178874 HAS SOUPS 178874 WITH SCORE 179086.479
AT ITER 2585 NEW BEST:: SOT 437590 SOS 212353 HAS SOPS 212353 HAS SOUS 178667 HAS SOUPS 178667 WITH SCORE 178879.353
AT ITER 2592 NEW BEST:: SOT 437581 SOS 212301 HAS SOPS 212301 HAS SOUS 178615 HAS SOUPS 178615 WITH SCORE 178827.301
AT ITER 2595 NEW BEST:: SOT 437580 SOS 212214 HAS SOPS 212214 HAS SOUS 178528 HAS SOUPS 178528 WITH SCORE 178740.214
AT ITER 2605 NEW BEST:: SOT 437387 SOS 211835 HAS SOPS 211835 HAS SOUS 178066 HAS SOUPS 178066 WITH SCORE 178277.835
AT ITER 2609 NEW BEST:: SOT 437387 SOS 211826 HAS SOPS 211826 HAS SOUS 178057 HAS SOUPS 178057 WITH SCORE 178268.826
AT ITER 2629 NEW BEST:: SOT 437373 SOS 211774 HAS SOPS 211774 HAS SOUS 178003 HAS SOUPS 178003 WITH SCORE 178214.774
AT ITER 2631 NEW BEST:: SOT 436967 SOS 211361 HAS SOPS 211361 HAS SOUS 177590 HAS SOUPS 177590 WITH SCORE 177801.361
AT ITER 2638 NEW BEST:: SOT 436283 SOS 210739 HAS SOPS 210739 HAS SOUS 176968 HAS SOUPS 176968 WITH SCORE 177178.739
AT ITER 2640 NEW BEST:: SOT 436260 SOS 210716 HAS SOPS 210716 HAS SOUS 176945 HAS SOUPS 176945 WITH SCORE 177155.716
AT ITER 2649 NEW BEST:: SOT 436260 SOS 210599 HAS SOPS 210599 HAS SOUS 176945 HAS SOUPS 176945 WITH SCORE 177155.599
AT ITER 2656 NEW BEST:: SOT 436286 SOS 210662 HAS SOPS 210662 HAS SOUS 176907 HAS SOUPS 176907 WITH SCORE 177117.662
AT ITER 2670 NEW BEST:: SOT 436235 SOS 210413 HAS SOPS 210413 HAS SOUS 176808 HAS SOUPS 176808 WITH SCORE 177018.413
AT ITER 2672 NEW BEST:: SOT 436113 SOS 210280 HAS SOPS 210280 HAS SOUS 176532 HAS SOUPS 176532 WITH SCORE 176742.28
AT ITER 2687 NEW BEST:: SOT 436000 SOS 210167 HAS SOPS 210167 HAS SOUS 176419 HAS SOUPS 176419 WITH SCORE 176629.167
AT ITER 2691 NEW BEST:: SOT 435914 SOS 210081 HAS SOPS 210081 HAS SOUS 176290 HAS SOUPS 176290 WITH SCORE 176500.081
AT ITER 2700 NEW BEST:: SOT 435913 SOS 209935 HAS SOPS 209935 HAS SOUS 176281 HAS SOUPS 176281 WITH SCORE 176490.935
AT ITER 2701 NEW BEST:: SOT 435601 SOS 209707 HAS SOPS 209707 HAS SOUS 176053 HAS SOUPS 176053 WITH SCORE 176262.707
AT ITER 2702 NEW BEST:: SOT 435774 SOS 209168 HAS SOPS 209168 HAS SOUS 175760 HAS SOUPS 175760 WITH SCORE 175969.168
AT ITER 2703 NEW BEST:: SOT 435716 SOS 208990 HAS SOPS 208990 HAS SOUS 175729 HAS SOUPS 175729 WITH SCORE 175937.99
AT ITER 2712 NEW BEST:: SOT 435700 SOS 208955 HAS SOPS 208955 HAS SOUS 175699 HAS SOUPS 175699 WITH SCORE 175907.955
AT ITER 2718 NEW BEST:: SOT 435653 SOS 208901 HAS SOPS 208901 HAS SOUS 175645 HAS SOUPS 175645 WITH SCORE 175853.901
AT ITER 2720 NEW BEST:: SOT 435562 SOS 208496 HAS SOPS 208496 HAS SOUS 175612 HAS SOUPS 175612 WITH SCORE 175820.496
AT ITER 2728 NEW BEST:: SOT 435560 SOS 208494 HAS SOPS 208494 HAS SOUS 175610 HAS SOUPS 175610 WITH SCORE 175818.494
AT ITER 2737 NEW BEST:: SOT 435551 SOS 208485 HAS SOPS 208485 HAS SOUS 175601 HAS SOUPS 175601 WITH SCORE 175809.485
AT ITER 2738 NEW BEST:: SOT 435519 SOS 208392 HAS SOPS 208392 HAS SOUS 175508 HAS SOUPS 175508 WITH SCORE 175716.392
AT ITER 2749 NEW BEST:: SOT 435517 SOS 208390 HAS SOPS 208390 HAS SOUS 175506 HAS SOUPS 175506 WITH SCORE 175714.39
AT ITER 2783 NEW BEST:: SOT 435500 SOS 208373 HAS SOPS 208373 HAS SOUS 175489 HAS SOUPS 175489 WITH SCORE 175697.373
AT ITER 2793 NEW BEST:: SOT 435461 SOS 208192 HAS SOPS 208192 HAS SOUS 175419 HAS SOUPS 175419 WITH SCORE 175627.192
AT ITER 2798 NEW BEST:: SOT 435423 SOS 208123 HAS SOPS 208123 HAS SOUS 175361 HAS SOUPS 175361 WITH SCORE 175569.123
AT ITER 2805 NEW BEST:: SOT 435353 SOS 208046 HAS SOPS 208046 HAS SOUS 175284 HAS SOUPS 175284 WITH SCORE 175492.046
AT ITER 2812 NEW BEST:: SOT 435299 SOS 207972 HAS SOPS 207972 HAS SOUS 175220 HAS SOUPS 175220 WITH SCORE 175427.972
AT ITER 2813 NEW BEST:: SOT 435234 SOS 207943 HAS SOPS 207943 HAS SOUS 175159 HAS SOUPS 175159 WITH SCORE 175366.943
AT ITER 2818 NEW BEST:: SOT 435225 SOS 207925 HAS SOPS 207925 HAS SOUS 175141 HAS SOUPS 175141 WITH SCORE 175348.925
AT ITER 2831 NEW BEST:: SOT 435225 SOS 207937 HAS SOPS 207937 HAS SOUS 175129 HAS SOUPS 175129 WITH SCORE 175336.937
AT ITER 2842 NEW BEST:: SOT 435215 SOS 207927 HAS SOPS 207927 HAS SOUS 175119 HAS SOUPS 175119 WITH SCORE 175326.927
AT ITER 2845 NEW BEST:: SOT 434850 SOS 207562 HAS SOPS 207562 HAS SOUS 174815 HAS SOUPS 174815 WITH SCORE 175022.562
AT ITER 2853 NEW BEST:: SOT 434692 SOS 207432 HAS SOPS 207432 HAS SOUS 174744 HAS SOUPS 174744 WITH SCORE 174951.432
AT ITER 2855 NEW BEST:: SOT 434465 SOS 206565 HAS SOPS 206565 HAS SOUS 174223 HAS SOUPS 174223 WITH SCORE 174429.565
AT ITER 2860 NEW BEST:: SOT 434465 SOS 206360 HAS SOPS 206360 HAS SOUS 173968 HAS SOUPS 173968 WITH SCORE 174174.36
AT ITER 2865 NEW BEST:: SOT 434336 SOS 206178 HAS SOPS 206178 HAS SOUS 173786 HAS SOUPS 173786 WITH SCORE 173992.178
AT ITER 2883 NEW BEST:: SOT 434180 SOS 205710 HAS SOPS 205710 HAS SOUS 173783 HAS SOUPS 173783 WITH SCORE 173988.71
AT ITER 2900 NEW BEST:: SOT 433483 SOS 204638 HAS SOPS 204638 HAS SOUS 173072 HAS SOUPS 173072 WITH SCORE 173276.638
AT ITER 2904 NEW BEST:: SOT 433483 SOS 204582 HAS SOPS 204582 HAS SOUS 172904 HAS SOUPS 172904 WITH SCORE 173108.582
AT ITER 2923 NEW BEST:: SOT 433451 SOS 204549 HAS SOPS 204549 HAS SOUS 172871 HAS SOUPS 172871 WITH SCORE 173075.549
AT ITER 2925 NEW BEST:: SOT 433196 SOS 204294 HAS SOPS 204294 HAS SOUS 172616 HAS SOUPS 172616 WITH SCORE 172820.294
AT ITER 2930 NEW BEST:: SOT 433162 SOS 204226 HAS SOPS 204226 HAS SOUS 172548 HAS SOUPS 172548 WITH SCORE 172752.226
AT ITER 2937 NEW BEST:: SOT 432889 SOS 203953 HAS SOPS 203953 HAS SOUS 172275 HAS SOUPS 172275 WITH SCORE 172478.953
AT ITER 2942 NEW BEST:: SOT 432812 SOS 203876 HAS SOPS 203876 HAS SOUS 172198 HAS SOUPS 172198 WITH SCORE 172401.876
AT ITER 2950 NEW BEST:: SOT 432803 SOS 203725 HAS SOPS 203725 HAS SOUS 172182 HAS SOUPS 172182 WITH SCORE 172385.725
AT ITER 2960 NEW BEST:: SOT 432431 SOS 203498 HAS SOPS 203498 HAS SOUS 171895 HAS SOUPS 171895 WITH SCORE 172098.498
AT ITER 2980 NEW BEST:: SOT 432333 SOS 202450 HAS SOPS 202450 HAS SOUS 171700 HAS SOUPS 171700 WITH SCORE 171902.45
AT ITER 2982 NEW BEST:: SOT 432333 SOS 202423 HAS SOPS 202423 HAS SOUS 171673 HAS SOUPS 171673 WITH SCORE 171875.423
AT ITER 2984 NEW BEST:: SOT 432450 SOS 202393 HAS SOPS 202393 HAS SOUS 171648 HAS SOUPS 171648 WITH SCORE 171850.393
AT ITER 2988 NEW BEST:: SOT 432426 SOS 202369 HAS SOPS 202369 HAS SOUS 171624 HAS SOUPS 171624 WITH SCORE 171826.369
AT ITER 2989 NEW BEST:: SOT 432426 SOS 202300 HAS SOPS 202300 HAS SOUS 171624 HAS SOUPS 171624 WITH SCORE 171826.3
AT ITER 3005 NEW BEST:: SOT 432469 SOS 202062 HAS SOPS 202062 HAS SOUS 171566 HAS SOUPS 171566 WITH SCORE 171768.062
AT ITER 3012 NEW BEST:: SOT 432399 SOS 202022 HAS SOPS 202022 HAS SOUS 171547 HAS SOUPS 171547 WITH SCORE 171749.022
AT ITER 3048 NEW BEST:: SOT 432332 SOS 201953 HAS SOPS 201953 HAS SOUS 171478 HAS SOUPS 171478 WITH SCORE 171679.953
AT ITER 3053 NEW BEST:: SOT 432244 SOS 201825 HAS SOPS 201825 HAS SOUS 171225 HAS SOUPS 171225 WITH SCORE 171426.825
AT ITER 3057 NEW BEST:: SOT 432130 SOS 201710 HAS SOPS 201710 HAS SOUS 171110 HAS SOUPS 171110 WITH SCORE 171311.71
AT ITER 3101 NEW BEST:: SOT 431805 SOS 201253 HAS SOPS 201253 HAS SOUS 170656 HAS SOUPS 170656 WITH SCORE 170857.253
AT ITER 3104 NEW BEST:: SOT 431804 SOS 201252 HAS SOPS 201252 HAS SOUS 170643 HAS SOUPS 170643 WITH SCORE 170844.252
AT ITER 3125 NEW BEST:: SOT 431806 SOS 201254 HAS SOPS 201254 HAS SOUS 170639 HAS SOUPS 170639 WITH SCORE 170840.254
AT ITER 3132 NEW BEST:: SOT 431610 SOS 201058 HAS SOPS 201058 HAS SOUS 170443 HAS SOUPS 170443 WITH SCORE 170644.058
AT ITER 3133 NEW BEST:: SOT 431624 SOS 201061 HAS SOPS 201061 HAS SOUS 170439 HAS SOUPS 170439 WITH SCORE 170640.061
AT ITER 3137 NEW BEST:: SOT 431700 SOS 201059 HAS SOPS 201059 HAS SOUS 170437 HAS SOUPS 170437 WITH SCORE 170638.059
AT ITER 3138 NEW BEST:: SOT 431720 SOS 201057 HAS SOPS 201057 HAS SOUS 170408 HAS SOUPS 170408 WITH SCORE 170609.057
AT ITER 3139 NEW BEST:: SOT 431720 SOS 201045 HAS SOPS 201045 HAS SOUS 170396 HAS SOUPS 170396 WITH SCORE 170597.045
AT ITER 3144 NEW BEST:: SOT 431727 SOS 201116 HAS SOPS 201116 HAS SOUS 170353 HAS SOUPS 170353 WITH SCORE 170554.116
AT ITER 3151 NEW BEST:: SOT 431692 SOS 200892 HAS SOPS 200892 HAS SOUS 170129 HAS SOUPS 170129 WITH SCORE 170329.892
AT ITER 3163 NEW BEST:: SOT 431692 SOS 200878 HAS SOPS 200878 HAS SOUS 170122 HAS SOUPS 170122 WITH SCORE 170322.878
AT ITER 3180 NEW BEST:: SOT 431667 SOS 200834 HAS SOPS 200834 HAS SOUS 170078 HAS SOUPS 170078 WITH SCORE 170278.834
AT ITER 3187 NEW BEST:: SOT 431616 SOS 200390 HAS SOPS 200390 HAS SOUS 169841 HAS SOUPS 169841 WITH SCORE 170041.39
AT ITER 3190 NEW BEST:: SOT 431611 SOS 200302 HAS SOPS 200302 HAS SOUS 169767 HAS SOUPS 169767 WITH SCORE 169967.302
AT ITER 3195 NEW BEST:: SOT 431611 SOS 200282 HAS SOPS 200282 HAS SOUS 169631 HAS SOUPS 169631 WITH SCORE 169831.282
AT ITER 3196 NEW BEST:: SOT 431602 SOS 200264 HAS SOPS 200264 HAS SOUS 169613 HAS SOUPS 169613 WITH SCORE 169813.264
AT ITER 3211 NEW BEST:: SOT 431694 SOS 200325 HAS SOPS 200325 HAS SOUS 169562 HAS SOUPS 169562 WITH SCORE 169762.325
AT ITER 3222 NEW BEST:: SOT 431618 SOS 200047 HAS SOPS 200047 HAS SOUS 169221 HAS SOUPS 169221 WITH SCORE 169421.047
AT ITER 3226 NEW BEST:: SOT 431618 SOS 199177 HAS SOPS 199177 HAS SOUS 169211 HAS SOUPS 169211 WITH SCORE 169410.177
AT ITER 3237 NEW BEST:: SOT 431648 SOS 199173 HAS SOPS 199173 HAS SOUS 169207 HAS SOUPS 169207 WITH SCORE 169406.173
AT ITER 3250 NEW BEST:: SOT 431594 SOS 199072 HAS SOPS 199072 HAS SOUS 169106 HAS SOUPS 169106 WITH SCORE 169305.072
AT ITER 3263 NEW BEST:: SOT 431549 SOS 199027 HAS SOPS 199027 HAS SOUS 169061 HAS SOUPS 169061 WITH SCORE 169260.027
AT ITER 3265 NEW BEST:: SOT 431405 SOS 198808 HAS SOPS 198808 HAS SOUS 168842 HAS SOUPS 168842 WITH SCORE 169040.808
AT ITER 3268 NEW BEST:: SOT 431363 SOS 198782 HAS SOPS 198782 HAS SOUS 168704 HAS SOUPS 168704 WITH SCORE 168902.782
AT ITER 3269 NEW BEST:: SOT 431386 SOS 198727 HAS SOPS 198727 HAS SOUS 168652 HAS SOUPS 168652 WITH SCORE 168850.727
AT ITER 3271 NEW BEST:: SOT 431260 SOS 198412 HAS SOPS 198412 HAS SOUS 168400 HAS SOUPS 168400 WITH SCORE 168598.412
AT ITER 3274 NEW BEST:: SOT 431099 SOS 198089 HAS SOPS 198089 HAS SOUS 168070 HAS SOUPS 168070 WITH SCORE 168268.089
AT ITER 3275 NEW BEST:: SOT 431099 SOS 197811 HAS SOPS 197811 HAS SOUS 168064 HAS SOUPS 168064 WITH SCORE 168261.811
AT ITER 3289 NEW BEST:: SOT 431097 SOS 197809 HAS SOPS 197809 HAS SOUS 168062 HAS SOUPS 168062 WITH SCORE 168259.809
AT ITER 3291 NEW BEST:: SOT 431019 SOS 197731 HAS SOPS 197731 HAS SOUS 167958 HAS SOUPS 167958 WITH SCORE 168155.731
AT ITER 3292 NEW BEST:: SOT 430972 SOS 197682 HAS SOPS 197682 HAS SOUS 167909 HAS SOUPS 167909 WITH SCORE 168106.682
AT ITER 3294 NEW BEST:: SOT 431167 SOS 197618 HAS SOPS 197618 HAS SOUS 167839 HAS SOUPS 167839 WITH SCORE 168036.618
AT ITER 3313 NEW BEST:: SOT 431167 SOS 197591 HAS SOPS 197591 HAS SOUS 167740 HAS SOUPS 167740 WITH SCORE 167937.591
AT ITER 3317 NEW BEST:: SOT 430997 SOS 197421 HAS SOPS 197421 HAS SOUS 167570 HAS SOUPS 167570 WITH SCORE 167767.421
AT ITER 3336 NEW BEST:: SOT 430981 SOS 197419 HAS SOPS 197419 HAS SOUS 167568 HAS SOUPS 167568 WITH SCORE 167765.419
AT ITER 3341 NEW BEST:: SOT 430915 SOS 197221 HAS SOPS 197221 HAS SOUS 167370 HAS SOUPS 167370 WITH SCORE 167567.221
AT ITER 3346 NEW BEST:: SOT 430840 SOS 197123 HAS SOPS 197123 HAS SOUS 167249 HAS SOUPS 167249 WITH SCORE 167446.123
AT ITER 3350 NEW BEST:: SOT 430526 SOS 196809 HAS SOPS 196809 HAS SOUS 166889 HAS SOUPS 166889 WITH SCORE 167085.809
AT ITER 3354 NEW BEST:: SOT 430355 SOS 196638 HAS SOPS 196638 HAS SOUS 166718 HAS SOUPS 166718 WITH SCORE 166914.638
AT ITER 3369 NEW BEST:: SOT 430082 SOS 196303 HAS SOPS 196303 HAS SOUS 166383 HAS SOUPS 166383 WITH SCORE 166579.303
AT ITER 3373 NEW BEST:: SOT 430080 SOS 196301 HAS SOPS 196301 HAS SOUS 166381 HAS SOUPS 166381 WITH SCORE 166577.301
AT ITER 3381 NEW BEST:: SOT 430076 SOS 196297 HAS SOPS 196297 HAS SOUS 166377 HAS SOUPS 166377 WITH SCORE 166573.297
AT ITER 3384 NEW BEST:: SOT 430072 SOS 196293 HAS SOPS 196293 HAS SOUS 166373 HAS SOUPS 166373 WITH SCORE 166569.293
AT ITER 3385 NEW BEST:: SOT 429837 SOS 196278 HAS SOPS 196278 HAS SOUS 166082 HAS SOUPS 166082 WITH SCORE 166278.278
AT ITER 3386 NEW BEST:: SOT 429722 SOS 196119 HAS SOPS 196119 HAS SOUS 165663 HAS SOUPS 165663 WITH SCORE 165859.119
AT ITER 3395 NEW BEST:: SOT 429712 SOS 196170 HAS SOPS 196170 HAS SOUS 165613 HAS SOUPS 165613 WITH SCORE 165809.17
AT ITER 3406 NEW BEST:: SOT 429701 SOS 196029 HAS SOPS 196029 HAS SOUS 165317 HAS SOUPS 165317 WITH SCORE 165513.029
AT ITER 3407 NEW BEST:: SOT 429539 SOS 195949 HAS SOPS 195949 HAS SOUS 165237 HAS SOUPS 165237 WITH SCORE 165432.949
AT ITER 3408 NEW BEST:: SOT 429533 SOS 195943 HAS SOPS 195943 HAS SOUS 165231 HAS SOUPS 165231 WITH SCORE 165426.943
AT ITER 3411 NEW BEST:: SOT 430042 SOS 196473 HAS SOPS 196473 HAS SOUS 165039 HAS SOUPS 165039 WITH SCORE 165235.473
AT ITER 3413 NEW BEST:: SOT 430015 SOS 196446 HAS SOPS 196446 HAS SOUS 165012 HAS SOUPS 165012 WITH SCORE 165208.446
AT ITER 3431 NEW BEST:: SOT 430015 SOS 196381 HAS SOPS 196381 HAS SOUS 164877 HAS SOUPS 164877 WITH SCORE 165073.381
AT ITER 3455 NEW BEST:: SOT 430013 SOS 196379 HAS SOPS 196379 HAS SOUS 164875 HAS SOUPS 164875 WITH SCORE 165071.379
AT ITER 3457 NEW BEST:: SOT 429831 SOS 196004 HAS SOPS 196004 HAS SOUS 164500 HAS SOUPS 164500 WITH SCORE 164696.004
AT ITER 3458 NEW BEST:: SOT 429772 SOS 195945 HAS SOPS 195945 HAS SOUS 164441 HAS SOUPS 164441 WITH SCORE 164636.945
AT ITER 3459 NEW BEST:: SOT 429722 SOS 195895 HAS SOPS 195895 HAS SOUS 164391 HAS SOUPS 164391 WITH SCORE 164586.895
AT ITER 3462 NEW BEST:: SOT 429396 SOS 195569 HAS SOPS 195569 HAS SOUS 164065 HAS SOUPS 164065 WITH SCORE 164260.569
AT ITER 3463 NEW BEST:: SOT 429396 SOS 195369 HAS SOPS 195369 HAS SOUS 163865 HAS SOUPS 163865 WITH SCORE 164060.369
AT ITER 3466 NEW BEST:: SOT 429206 SOS 194733 HAS SOPS 194733 HAS SOUS 163324 HAS SOUPS 163324 WITH SCORE 163518.733
AT ITER 3507 NEW BEST:: SOT 428974 SOS 194886 HAS SOPS 194886 HAS SOUS 163092 HAS SOUPS 163092 WITH SCORE 163286.886
AT ITER 3531 NEW BEST:: SOT 428867 SOS 194679 HAS SOPS 194679 HAS SOUS 162957 HAS SOUPS 162957 WITH SCORE 163151.679
AT ITER 3534 NEW BEST:: SOT 428781 SOS 194329 HAS SOPS 194329 HAS SOUS 162677 HAS SOUPS 162677 WITH SCORE 162871.329
AT ITER 3538 NEW BEST:: SOT 428767 SOS 194315 HAS SOPS 194315 HAS SOUS 162674 HAS SOUPS 162674 WITH SCORE 162868.315
AT ITER 3560 NEW BEST:: SOT 428485 SOS 193863 HAS SOPS 193863 HAS SOUS 162222 HAS SOUPS 162222 WITH SCORE 162415.863
AT ITER 3575 NEW BEST:: SOT 428483 SOS 193790 HAS SOPS 193790 HAS SOUS 162215 HAS SOUPS 162215 WITH SCORE 162408.79
AT ITER 3586 NEW BEST:: SOT 428481 SOS 193786 HAS SOPS 193786 HAS SOUS 162211 HAS SOUPS 162211 WITH SCORE 162404.786
AT ITER 3593 NEW BEST:: SOT 428418 SOS 193818 HAS SOPS 193818 HAS SOUS 162148 HAS SOUPS 162148 WITH SCORE 162341.818
AT ITER 3599 NEW BEST:: SOT 428413 SOS 193751 HAS SOPS 193751 HAS SOUS 162081 HAS SOUPS 162081 WITH SCORE 162274.751
AT ITER 3600 NEW BEST:: SOT 428390 SOS 193728 HAS SOPS 193728 HAS SOUS 162058 HAS SOUPS 162058 WITH SCORE 162251.728
AT ITER 3609 NEW BEST:: SOT 428389 SOS 193725 HAS SOPS 193725 HAS SOUS 162011 HAS SOUPS 162011 WITH SCORE 162204.725
AT ITER 3610 NEW BEST:: SOT 428297 SOS 193633 HAS SOPS 193633 HAS SOUS 161919 HAS SOUPS 161919 WITH SCORE 162112.633
AT ITER 3624 NEW BEST:: SOT 428106 SOS 193379 HAS SOPS 193379 HAS SOUS 161665 HAS SOUPS 161665 WITH SCORE 161858.379
AT ITER 3655 NEW BEST:: SOT 428094 SOS 193220 HAS SOPS 193220 HAS SOUS 161454 HAS SOUPS 161454 WITH SCORE 161647.22
AT ITER 3670 NEW BEST:: SOT 428089 SOS 193215 HAS SOPS 193215 HAS SOUS 161449 HAS SOUPS 161449 WITH SCORE 161642.215
AT ITER 3681 NEW BEST:: SOT 427455 SOS 192566 HAS SOPS 192566 HAS SOUS 160796 HAS SOUPS 160796 WITH SCORE 160988.566
AT ITER 3704 NEW BEST:: SOT 427401 SOS 192512 HAS SOPS 192512 HAS SOUS 160742 HAS SOUPS 160742 WITH SCORE 160934.512
AT ITER 3705 NEW BEST:: SOT 427289 SOS 192351 HAS SOPS 192351 HAS SOUS 160581 HAS SOUPS 160581 WITH SCORE 160773.351
AT ITER 3706 NEW BEST:: SOT 427289 SOS 191873 HAS SOPS 191873 HAS SOUS 160579 HAS SOUPS 160579 WITH SCORE 160770.873
AT ITER 3711 NEW BEST:: SOT 427378 SOS 191798 HAS SOPS 191798 HAS SOUS 160457 HAS SOUPS 160457 WITH SCORE 160648.798
AT ITER 3715 NEW BEST:: SOT 427337 SOS 191702 HAS SOPS 191702 HAS SOUS 160361 HAS SOUPS 160361 WITH SCORE 160552.702
AT ITER 3725 NEW BEST:: SOT 427333 SOS 191698 HAS SOPS 191698 HAS SOUS 160357 HAS SOUPS 160357 WITH SCORE 160548.698
AT ITER 3728 NEW BEST:: SOT 427046 SOS 189758 HAS SOPS 189758 HAS SOUS 159249 HAS SOUPS 159249 WITH SCORE 159438.758
AT ITER 3730 NEW BEST:: SOT 427136 SOS 189693 HAS SOPS 189693 HAS SOUS 159188 HAS SOUPS 159188 WITH SCORE 159377.693
AT ITER 3736 NEW BEST:: SOT 427287 SOS 189565 HAS SOPS 189565 HAS SOUS 159156 HAS SOUPS 159156 WITH SCORE 159345.565
AT ITER 3739 NEW BEST:: SOT 427258 SOS 189536 HAS SOPS 189536 HAS SOUS 159127 HAS SOUPS 159127 WITH SCORE 159316.536
AT ITER 3741 NEW BEST:: SOT 427256 SOS 189530 HAS SOPS 189530 HAS SOUS 159119 HAS SOUPS 159119 WITH SCORE 159308.53
AT ITER 3745 NEW BEST:: SOT 427266 SOS 189493 HAS SOPS 189493 HAS SOUS 159075 HAS SOUPS 159075 WITH SCORE 159264.493
AT ITER 3748 NEW BEST:: SOT 427264 SOS 189491 HAS SOPS 189491 HAS SOUS 159073 HAS SOUPS 159073 WITH SCORE 159262.491
AT ITER 3760 NEW BEST:: SOT 427270 SOS 189537 HAS SOPS 189537 HAS SOUS 159026 HAS SOUPS 159026 WITH SCORE 159215.537
AT ITER 3762 NEW BEST:: SOT 427238 SOS 189441 HAS SOPS 189441 HAS SOUS 158993 HAS SOUPS 158993 WITH SCORE 159182.441
AT ITER 3769 NEW BEST:: SOT 427107 SOS 189470 HAS SOPS 189470 HAS SOUS 158875 HAS SOUPS 158875 WITH SCORE 159064.47
AT ITER 3780 NEW BEST:: SOT 427069 SOS 189432 HAS SOPS 189432 HAS SOUS 158837 HAS SOUPS 158837 WITH SCORE 159026.432
AT ITER 3800 NEW BEST:: SOT 427033 SOS 189396 HAS SOPS 189396 HAS SOUS 158801 HAS SOUPS 158801 WITH SCORE 158990.396
AT ITER 3802 NEW BEST:: SOT 427005 SOS 189368 HAS SOPS 189368 HAS SOUS 158773 HAS SOUPS 158773 WITH SCORE 158962.368
AT ITER 3803 NEW BEST:: SOT 427385 SOS 189528 HAS SOPS 189528 HAS SOUS 158734 HAS SOUPS 158734 WITH SCORE 158923.528
AT ITER 3821 NEW BEST:: SOT 427353 SOS 189496 HAS SOPS 189496 HAS SOUS 158626 HAS SOUPS 158626 WITH SCORE 158815.496
AT ITER 3826 NEW BEST:: SOT 427385 SOS 189386 HAS SOPS 189386 HAS SOUS 158554 HAS SOUPS 158554 WITH SCORE 158743.386
AT ITER 3828 NEW BEST:: SOT 427332 SOS 189329 HAS SOPS 189329 HAS SOUS 158444 HAS SOUPS 158444 WITH SCORE 158633.329
AT ITER 3829 NEW BEST:: SOT 427240 SOS 188624 HAS SOPS 188624 HAS SOUS 158163 HAS SOUPS 158163 WITH SCORE 158351.624
AT ITER 3839 NEW BEST:: SOT 427308 SOS 188690 HAS SOPS 188690 HAS SOUS 158093 HAS SOUPS 158093 WITH SCORE 158281.69
AT ITER 3844 NEW BEST:: SOT 427297 SOS 188604 HAS SOPS 188604 HAS SOUS 157932 HAS SOUPS 157932 WITH SCORE 158120.604
AT ITER 3846 NEW BEST:: SOT 427203 SOS 188510 HAS SOPS 188510 HAS SOUS 157838 HAS SOUPS 157838 WITH SCORE 158026.51
AT ITER 3852 NEW BEST:: SOT 427134 SOS 188422 HAS SOPS 188422 HAS SOUS 157750 HAS SOUPS 157750 WITH SCORE 157938.422
AT ITER 3859 NEW BEST:: SOT 427161 SOS 188253 HAS SOPS 188253 HAS SOUS 157581 HAS SOUPS 157581 WITH SCORE 157769.253
AT ITER 3875 NEW BEST:: SOT 427146 SOS 188129 HAS SOPS 188129 HAS SOUS 157457 HAS SOUPS 157457 WITH SCORE 157645.129
AT ITER 3877 NEW BEST:: SOT 427082 SOS 187060 HAS SOPS 187060 HAS SOUS 157091 HAS SOUPS 157091 WITH SCORE 157278.06
AT ITER 3888 NEW BEST:: SOT 427043 SOS 187010 HAS SOPS 187010 HAS SOUS 157041 HAS SOUPS 157041 WITH SCORE 157228.01
AT ITER 3906 NEW BEST:: SOT 427039 SOS 186898 HAS SOPS 186898 HAS SOUS 156929 HAS SOUPS 156929 WITH SCORE 157115.898
AT ITER 3912 NEW BEST:: SOT 426963 SOS 186785 HAS SOPS 186785 HAS SOUS 156816 HAS SOUPS 156816 WITH SCORE 157002.785
AT ITER 3917 NEW BEST:: SOT 426963 SOS 186578 HAS SOPS 186578 HAS SOUS 156816 HAS SOUPS 156816 WITH SCORE 157002.578
AT ITER 3946 NEW BEST:: SOT 426743 SOS 186145 HAS SOPS 186145 HAS SOUS 156443 HAS SOUPS 156443 WITH SCORE 156629.145
AT ITER 3954 NEW BEST:: SOT 426743 SOS 186130 HAS SOPS 186130 HAS SOUS 156374 HAS SOUPS 156374 WITH SCORE 156560.13
AT ITER 3955 NEW BEST:: SOT 426723 SOS 186110 HAS SOPS 186110 HAS SOUS 156354 HAS SOUPS 156354 WITH SCORE 156540.11
AT ITER 3982 NEW BEST:: SOT 426707 SOS 186103 HAS SOPS 186103 HAS SOUS 156347 HAS SOUPS 156347 WITH SCORE 156533.103
AT ITER 3990 NEW BEST:: SOT 426635 SOS 186031 HAS SOPS 186031 HAS SOUS 156253 HAS SOUPS 156253 WITH SCORE 156439.031
AT ITER 3993 NEW BEST:: SOT 426936 SOS 186011 HAS SOPS 186011 HAS SOUS 155969 HAS SOUPS 155969 WITH SCORE 156155.011
AT ITER 4000 NEW BEST:: SOT 426936 SOS 186011 HAS SOPS 186011 HAS SOUS 155967 HAS SOUPS 155967 WITH SCORE 156153.011
AT ITER 4013 NEW BEST:: SOT 426756 SOS 185547 HAS SOPS 185547 HAS SOUS 155522 HAS SOUPS 155522 WITH SCORE 155707.547
AT ITER 4025 NEW BEST:: SOT 426754 SOS 184847 HAS SOPS 184847 HAS SOUS 155441 HAS SOUPS 155441 WITH SCORE 155625.847
AT ITER 4026 NEW BEST:: SOT 426775 SOS 184836 HAS SOPS 184836 HAS SOUS 155327 HAS SOUPS 155327 WITH SCORE 155511.836
AT ITER 4032 NEW BEST:: SOT 426794 SOS 184738 HAS SOPS 184738 HAS SOUS 155327 HAS SOUPS 155327 WITH SCORE 155511.738
AT ITER 4057 NEW BEST:: SOT 426444 SOS 184156 HAS SOPS 184156 HAS SOUS 155102 HAS SOUPS 155102 WITH SCORE 155286.156
AT ITER 4084 NEW BEST:: SOT 426580 SOS 184165 HAS SOPS 184165 HAS SOUS 155086 HAS SOUPS 155086 WITH SCORE 155270.165
AT ITER 4086 NEW BEST:: SOT 426244 SOS 183937 HAS SOPS 183937 HAS SOUS 155007 HAS SOUPS 155007 WITH SCORE 155190.937
AT ITER 4093 NEW BEST:: SOT 426064 SOS 183833 HAS SOPS 183833 HAS SOUS 155003 HAS SOUPS 155003 WITH SCORE 155186.833
AT ITER 4110 NEW BEST:: SOT 426150 SOS 183830 HAS SOPS 183830 HAS SOUS 154987 HAS SOUPS 154987 WITH SCORE 155170.83
AT ITER 4111 NEW BEST:: SOT 426238 SOS 183791 HAS SOPS 183791 HAS SOUS 154978 HAS SOUPS 154978 WITH SCORE 155161.791
AT ITER 4124 NEW BEST:: SOT 426164 SOS 183654 HAS SOPS 183654 HAS SOUS 154917 HAS SOUPS 154917 WITH SCORE 155100.654
AT ITER 4157 NEW BEST:: SOT 426164 SOS 183650 HAS SOPS 183650 HAS SOUS 154915 HAS SOUPS 154915 WITH SCORE 155098.65
AT ITER 4165 NEW BEST:: SOT 425907 SOS 182891 HAS SOPS 182891 HAS SOUS 154142 HAS SOUPS 154142 WITH SCORE 154324.891
AT ITER 4181 NEW BEST:: SOT 425558 SOS 181936 HAS SOPS 181936 HAS SOUS 153430 HAS SOUPS 153430 WITH SCORE 153611.936
AT ITER 4220 NEW BEST:: SOT 425667 SOS 181422 HAS SOPS 181422 HAS SOUS 152868 HAS SOUPS 152868 WITH SCORE 153049.422
AT ITER 4224 NEW BEST:: SOT 425608 SOS 180791 HAS SOPS 180791 HAS SOUS 152867 HAS SOUPS 152867 WITH SCORE 153047.791
AT ITER 4232 NEW BEST:: SOT 425481 SOS 180556 HAS SOPS 180556 HAS SOUS 152721 HAS SOUPS 152721 WITH SCORE 152901.556
AT ITER 4235 NEW BEST:: SOT 425238 SOS 180284 HAS SOPS 180284 HAS SOUS 152449 HAS SOUPS 152449 WITH SCORE 152629.284
AT ITER 4254 NEW BEST:: SOT 425320 SOS 180181 HAS SOPS 180181 HAS SOUS 152296 HAS SOUPS 152296 WITH SCORE 152476.181
AT ITER 4282 NEW BEST:: SOT 425138 SOS 179899 HAS SOPS 179899 HAS SOUS 152015 HAS SOUPS 152015 WITH SCORE 152194.899
AT ITER 4283 NEW BEST:: SOT 425077 SOS 179693 HAS SOPS 179693 HAS SOUS 151845 HAS SOUPS 151845 WITH SCORE 152024.693
AT ITER 4284 NEW BEST:: SOT 425048 SOS 179664 HAS SOPS 179664 HAS SOUS 151816 HAS SOUPS 151816 WITH SCORE 151995.664
AT ITER 4289 NEW BEST:: SOT 425084 SOS 179700 HAS SOPS 179700 HAS SOUS 151630 HAS SOUPS 151630 WITH SCORE 151809.7
AT ITER 4293 NEW BEST:: SOT 425084 SOS 179649 HAS SOPS 179649 HAS SOUS 151589 HAS SOUPS 151589 WITH SCORE 151768.649
AT ITER 4308 NEW BEST:: SOT 425069 SOS 179625 HAS SOPS 179625 HAS SOUS 151569 HAS SOUPS 151569 WITH SCORE 151748.625
AT ITER 4312 NEW BEST:: SOT 424998 SOS 179765 HAS SOPS 179765 HAS SOUS 151537 HAS SOUPS 151537 WITH SCORE 151716.765
AT ITER 4318 NEW BEST:: SOT 424963 SOS 179660 HAS SOPS 179660 HAS SOUS 151397 HAS SOUPS 151397 WITH SCORE 151576.66
AT ITER 4327 NEW BEST:: SOT 424852 SOS 179350 HAS SOPS 179350 HAS SOUS 151087 HAS SOUPS 151087 WITH SCORE 151266.35
AT ITER 4341 NEW BEST:: SOT 424761 SOS 179227 HAS SOPS 179227 HAS SOUS 151025 HAS SOUPS 151025 WITH SCORE 151204.227
AT ITER 4344 NEW BEST:: SOT 424761 SOS 179148 HAS SOPS 179148 HAS SOUS 151022 HAS SOUPS 151022 WITH SCORE 151201.148
AT ITER 4354 NEW BEST:: SOT 424761 SOS 179138 HAS SOPS 179138 HAS SOUS 151012 HAS SOUPS 151012 WITH SCORE 151191.138
AT ITER 4359 NEW BEST:: SOT 424694 SOS 179071 HAS SOPS 179071 HAS SOUS 150945 HAS SOUPS 150945 WITH SCORE 151124.071
AT ITER 4368 NEW BEST:: SOT 424128 SOS 177553 HAS SOPS 177553 HAS SOUS 150116 HAS SOUPS 150116 WITH SCORE 150293.553
AT ITER 4373 NEW BEST:: SOT 424077 SOS 177391 HAS SOPS 177391 HAS SOUS 150039 HAS SOUPS 150039 WITH SCORE 150216.391
AT ITER 4380 NEW BEST:: SOT 424077 SOS 177407 HAS SOPS 177407 HAS SOUS 150031 HAS SOUPS 150031 WITH SCORE 150208.407
AT ITER 4381 NEW BEST:: SOT 423937 SOS 177063 HAS SOPS 177063 HAS SOUS 149728 HAS SOUPS 149728 WITH SCORE 149905.063
AT ITER 4394 NEW BEST:: SOT 423836 SOS 176896 HAS SOPS 176896 HAS SOUS 149561 HAS SOUPS 149561 WITH SCORE 149737.896
AT ITER 4407 NEW BEST:: SOT 423651 SOS 176674 HAS SOPS 176674 HAS SOUS 149340 HAS SOUPS 149340 WITH SCORE 149516.674
AT ITER 4414 NEW BEST:: SOT 423661 SOS 176618 HAS SOPS 176618 HAS SOUS 149257 HAS SOUPS 149257 WITH SCORE 149433.618
AT ITER 4431 NEW BEST:: SOT 423553 SOS 176502 HAS SOPS 176502 HAS SOUS 149141 HAS SOUPS 149141 WITH SCORE 149317.502
AT ITER 4465 NEW BEST:: SOT 423333 SOS 176048 HAS SOPS 176048 HAS SOUS 148804 HAS SOUPS 148804 WITH SCORE 148980.048
AT ITER 4489 NEW BEST:: SOT 423333 SOS 176022 HAS SOPS 176022 HAS SOUS 148752 HAS SOUPS 148752 WITH SCORE 148928.022
AT ITER 4491 NEW BEST:: SOT 423231 SOS 175932 HAS SOPS 175932 HAS SOUS 148709 HAS SOUPS 148709 WITH SCORE 148884.932
AT ITER 4492 NEW BEST:: SOT 423157 SOS 175858 HAS SOPS 175858 HAS SOUS 148635 HAS SOUPS 148635 WITH SCORE 148810.858
AT ITER 4502 NEW BEST:: SOT 423164 SOS 175859 HAS SOPS 175859 HAS SOUS 148624 HAS SOUPS 148624 WITH SCORE 148799.859
AT ITER 4514 NEW BEST:: SOT 423184 SOS 175165 HAS SOPS 175165 HAS SOUS 148463 HAS SOUPS 148463 WITH SCORE 148638.165
AT ITER 4521 NEW BEST:: SOT 422923 SOS 174904 HAS SOPS 174904 HAS SOUS 148202 HAS SOUPS 148202 WITH SCORE 148376.904
AT ITER 4533 NEW BEST:: SOT 422917 SOS 174891 HAS SOPS 174891 HAS SOUS 148193 HAS SOUPS 148193 WITH SCORE 148367.891
AT ITER 4541 NEW BEST:: SOT 422917 SOS 174890 HAS SOPS 174890 HAS SOUS 148191 HAS SOUPS 148191 WITH SCORE 148365.89
AT ITER 4577 NEW BEST:: SOT 422891 SOS 174862 HAS SOPS 174862 HAS SOUS 148163 HAS SOUPS 148163 WITH SCORE 148337.862
AT ITER 4589 NEW BEST:: SOT 422891 SOS 174668 HAS SOPS 174668 HAS SOUS 148066 HAS SOUPS 148066 WITH SCORE 148240.668
AT ITER 4600 NEW BEST:: SOT 423004 SOS 174695 HAS SOPS 174695 HAS SOUS 148027 HAS SOUPS 148027 WITH SCORE 148201.695
AT ITER 4602 NEW BEST:: SOT 422987 SOS 174610 HAS SOPS 174610 HAS SOUS 148010 HAS SOUPS 148010 WITH SCORE 148184.61
AT ITER 4607 NEW BEST:: SOT 422948 SOS 174553 HAS SOPS 174553 HAS SOUS 147953 HAS SOUPS 147953 WITH SCORE 148127.553
AT ITER 4614 NEW BEST:: SOT 422910 SOS 174445 HAS SOPS 174445 HAS SOUS 147825 HAS SOUPS 147825 WITH SCORE 147999.445
AT ITER 4643 NEW BEST:: SOT 422352 SOS 173841 HAS SOPS 173841 HAS SOUS 147244 HAS SOUPS 147244 WITH SCORE 147417.841
AT ITER 4646 NEW BEST:: SOT 422389 SOS 173783 HAS SOPS 173783 HAS SOUS 147227 HAS SOUPS 147227 WITH SCORE 147400.783
AT ITER 4647 NEW BEST:: SOT 422389 SOS 173725 HAS SOPS 173725 HAS SOUS 147227 HAS SOUPS 147227 WITH SCORE 147400.725
AT ITER 4652 NEW BEST:: SOT 422290 SOS 173394 HAS SOPS 173394 HAS SOUS 146961 HAS SOUPS 146961 WITH SCORE 147134.394
AT ITER 4684 NEW BEST:: SOT 422180 SOS 172973 HAS SOPS 172973 HAS SOUS 146695 HAS SOUPS 146695 WITH SCORE 146867.973
AT ITER 4695 NEW BEST:: SOT 422190 SOS 172983 HAS SOPS 172983 HAS SOUS 146661 HAS SOUPS 146661 WITH SCORE 146833.983
AT ITER 4716 NEW BEST:: SOT 422135 SOS 172928 HAS SOPS 172928 HAS SOUS 146551 HAS SOUPS 146551 WITH SCORE 146723.928
AT ITER 4720 NEW BEST:: SOT 422062 SOS 172781 HAS SOPS 172781 HAS SOUS 146404 HAS SOUPS 146404 WITH SCORE 146576.781
AT ITER 4735 NEW BEST:: SOT 422062 SOS 172780 HAS SOPS 172780 HAS SOUS 146403 HAS SOUPS 146403 WITH SCORE 146575.78
AT ITER 4737 NEW BEST:: SOT 422062 SOS 172715 HAS SOPS 172715 HAS SOUS 146338 HAS SOUPS 146338 WITH SCORE 146510.715
AT ITER 4747 NEW BEST:: SOT 422059 SOS 172703 HAS SOPS 172703 HAS SOUS 146329 HAS SOUPS 146329 WITH SCORE 146501.703
AT ITER 4748 NEW BEST:: SOT 421997 SOS 172466 HAS SOPS 172466 HAS SOUS 146252 HAS SOUPS 146252 WITH SCORE 146424.466
AT ITER 4762 NEW BEST:: SOT 421943 SOS 172026 HAS SOPS 172026 HAS SOUS 146130 HAS SOUPS 146130 WITH SCORE 146302.026
AT ITER 4819 NEW BEST:: SOT 421813 SOS 171894 HAS SOPS 171894 HAS SOUS 145998 HAS SOUPS 145998 WITH SCORE 146169.894
AT ITER 4857 NEW BEST:: SOT 421701 SOS 171875 HAS SOPS 171875 HAS SOUS 145979 HAS SOUPS 145979 WITH SCORE 146150.875
AT ITER 4868 NEW BEST:: SOT 421701 SOS 172015 HAS SOPS 172015 HAS SOUS 145890 HAS SOUPS 145890 WITH SCORE 146062.015
AT ITER 4869 NEW BEST:: SOT 421648 SOS 171962 HAS SOPS 171962 HAS SOUS 145837 HAS SOUPS 145837 WITH SCORE 146008.962
AT ITER 4901 NEW BEST:: SOT 421602 SOS 171896 HAS SOPS 171896 HAS SOUS 145771 HAS SOUPS 145771 WITH SCORE 145942.896
AT ITER 4914 NEW BEST:: SOT 421602 SOS 171882 HAS SOPS 171882 HAS SOUS 145757 HAS SOUPS 145757 WITH SCORE 145928.882
AT ITER 4917 NEW BEST:: SOT 421598 SOS 171878 HAS SOPS 171878 HAS SOUS 145753 HAS SOUPS 145753 WITH SCORE 145924.878
AT ITER 4930 NEW BEST:: SOT 421421 SOS 171457 HAS SOPS 171457 HAS SOUS 145332 HAS SOUPS 145332 WITH SCORE 145503.457
AT ITER 4970 NEW BEST:: SOT 421421 SOS 171410 HAS SOPS 171410 HAS SOUS 145285 HAS SOUPS 145285 WITH SCORE 145456.41
AT ITER 4971 NEW BEST:: SOT 421296 SOS 171353 HAS SOPS 171353 HAS SOUS 145231 HAS SOUPS 145231 WITH SCORE 145402.353
AT ITER 4982 NEW BEST:: SOT 421294 SOS 171351 HAS SOPS 171351 HAS SOUS 145231 HAS SOUPS 145231 WITH SCORE 145402.351
AT ITER 4983 NEW BEST:: SOT 421022 SOS 171079 HAS SOPS 171079 HAS SOUS 144959 HAS SOUPS 144959 WITH SCORE 145130.079
AT ITER 4991 NEW BEST:: SOT 421024 SOS 171072 HAS SOPS 171072 HAS SOUS 144952 HAS SOUPS 144952 WITH SCORE 145123.072
Bounds file is: CTLFireability.xml
PROPERTY: ShieldPPPs-PT-030A-CTLFireability-00 (AU( (EG( (! ((potential((tk(P85)>=1))))))) , (EG( (! ((potential((tk(P674)>=1))))))) ))
PROPERTY: ShieldPPPs-PT-030A-CTLFireability-01 (EF( (AG( (EG( ((potential((tk(P510)>=1) & (tk(P529)>=1))))))))))
PROPERTY: ShieldPPPs-PT-030A-CTLFireability-02 (! (! (AF( ((potential((tk(P167)>=1) & (tk(P179)>=1))))))))
PROPERTY: ShieldPPPs-PT-030A-CTLFireability-03 ( ( (EF( ((potential((tk(P804)>=1)))))) & ( ((potential((tk(P405)>=1)))) | ( ( ((potential((tk(P505)>=1) & (tk(P525)>=1)))) & ( ((potential((tk(P472)>=1) & (tk(P488)>=1)))) & ((potential((tk(P364)>=1)))) ) ) & ( ((potential((tk(P660)>=1) & (tk(P681)>=1)))) | ( ((potential((tk(P171)>=1) & (tk(P213)>=1)))) & ((potential((tk(P502)>=1) & (tk(P521)>=1)))) ) ) ) ) ) | (AF( (AU( ((potential((tk(P562)>=1) & (tk(P589)>=1)))) , ((potential((tk(P531)>=1) & (tk(P558)>=1)))) )))) )
PROPERTY: ShieldPPPs-PT-030A-CTLFireability-04 (EG( ( (AX( ( ((potential((tk(P80)>=1) & (tk(P82)>=1)))) & ((potential((tk(P125)>=1)))) ))) | ( ( ( ((potential((tk(P885)>=1) & (tk(P900)>=1)))) | ((potential((tk(P260)>=1) & (tk(P270)>=1)))) ) | (! ((potential((tk(P327)>=1) & (tk(P344)>=1))))) ) | ( ( ((potential((tk(P815)>=1) & (tk(P835)>=1)))) & ((potential((tk(P14)>=1) & (tk(P34)>=1)))) ) | (! ((potential((tk(P442)>=1) & (tk(P444)>=1))))) ) ) )))
PROPERTY: ShieldPPPs-PT-030A-CTLFireability-05 ( (AF( ( ( ((potential((tk(P493)>=1)))) & ((potential((tk(P78)>=1) & (tk(P120)>=1)))) ) & ( ( ((potential((tk(P834)>=1)))) | ((potential((tk(P286)>=1) & (tk(P302)>=1)))) ) & ( ((potential((tk(P100)>=1) & (tk(P117)>=1)))) | ((potential((tk(P711)>=1)))) ) ) ))) | ( ((potential((tk(P308)>=1)))) | ((potential((tk(P700)>=1) & (tk(P702)>=1)))) ) )
PROPERTY: ShieldPPPs-PT-030A-CTLFireability-06 ( (AF( ( (EG( ((potential((tk(P656)>=1) & (tk(P677)>=1)))))) | ( ( ((potential((tk(P195)>=1) & (tk(P216)>=1)))) | ((potential((tk(P808)>=1)))) ) & ( ((potential((tk(P391)>=1) & (tk(P402)>=1)))) | ((potential((tk(P918)>=1) & (tk(P929)>=1)))) ) ) ))) & ( (EF( ((potential((tk(P813)>=1) & (tk(P829)>=1)))))) & (EG( (! ( ((potential((tk(P97)>=1) & (tk(P124)>=1)))) & ((potential((tk(P208)>=1)))) )))) ) )
PROPERTY: ShieldPPPs-PT-030A-CTLFireability-07 ( (AG( (EG( (! ((potential((tk(P698)>=1) & (tk(P740)>=1))))))))) | ((potential((tk(P796)>=1) & (tk(P817)>=1)))) )
PROPERTY: ShieldPPPs-PT-030A-CTLFireability-08 ( ( (! ( (EX( ((potential((tk(P386)>=1) & (tk(P406)>=1)))))) & (! ((potential((tk(P482)>=1) & (tk(P497)>=1))))) )) & ( (EF( ( ((potential((tk(P911)>=1) & (tk(P921)>=1)))) | ((potential((tk(P391)>=1) & (tk(P400)>=1)))) ))) & ( ( (! ((potential((tk(P773)>=1))))) & ( ((potential((tk(P195)>=1) & (tk(P215)>=1)))) & ((potential((tk(P874)>=1) & (tk(P893)>=1)))) ) ) & (EX( ((potential((tk(P726)>=1) & (tk(P728)>=1)))))) ) ) ) | ( (AU( (! ((potential((tk(P846)>=1) & (tk(P867)>=1))))) , (! ((potential((tk(P760)>=1) & (tk(P802)>=1))))) )) & (AG( (! ( ((potential((tk(P167)>=1) & (tk(P177)>=1)))) | ((potential((tk(P12)>=1) & (tk(P22)>=1)))) )))) ) )
PROPERTY: ShieldPPPs-PT-030A-CTLFireability-09 (EF( (! ( (! ( ((potential((tk(P421)>=1) & (tk(P423)>=1)))) | ((potential((tk(P269)>=1) & (tk(P290)>=1)))) )) | (AF( ((potential((tk(P563)>=1) & (tk(P584)>=1)))))) ))))
PROPERTY: ShieldPPPs-PT-030A-CTLFireability-10 (EG( (! ( ((potential((tk(P373)>=1)))) | (AX( ((potential((tk(P886)>=1) & (tk(P888)>=1)))))) ))))
PROPERTY: ShieldPPPs-PT-030A-CTLFireability-11 (AX( (AF( (EG( ((potential((tk(P889)>=1) & (tk(P910)>=1))))))))))
PROPERTY: ShieldPPPs-PT-030A-CTLFireability-12 (EU( ( (AF( ((potential((tk(P300)>=1) & (tk(P321)>=1)))))) | ( ( ((potential((tk(P443)>=1) & (tk(P464)>=1)))) & ((potential((tk(P750)>=1) & (tk(P769)>=1)))) ) | (! ((potential((tk(P253)>=1) & (tk(P274)>=1))))) ) ) , (AX( ( ((potential((tk(P751)>=1) & (tk(P768)>=1)))) & ((potential((tk(P29)>=1)))) ))) ))
PROPERTY: ShieldPPPs-PT-030A-CTLFireability-13 (EU( ( ( (! ((potential((tk(P432)>=1))))) | (! ((potential((tk(P727)>=1) & (tk(P747)>=1))))) ) | (AX( ((potential((tk(P803)>=1)))))) ) , ((potential((tk(P230)>=1) & (tk(P232)>=1)))) ))
PROPERTY: ShieldPPPs-PT-030A-CTLFireability-14 (AF( ( (EG( ( ((potential((tk(P714)>=1)))) & ((potential((tk(P110)>=1) & (tk(P125)>=1)))) ))) | (EX( ( ((potential((tk(P913)>=1) & (tk(P932)>=1)))) & ((potential((tk(P438)>=1) & (tk(P465)>=1)))) ))) )))
PROPERTY: ShieldPPPs-PT-030A-CTLFireability-15 ( (AF( (AF( ( ((potential((tk(P230)>=1) & (tk(P232)>=1)))) & ((potential((tk(P312)>=1)))) ))))) | (EG( (! (! ( ((potential((tk(P908)>=1) & (tk(P929)>=1)))) | ((potential((tk(P575)>=1) & (tk(P590)>=1)))) ))))) )

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="ShieldPPPs-PT-030A"
export BK_EXAMINATION="CTLFireability"
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 ShieldPPPs-PT-030A, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469600508"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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