fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r099-tall-167814472900832
Last Updated
May 14, 2023

About the Execution of Smart for DLCshifumi-PT-4a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16224.787 2009861.00 2005982.00 2057.30 [undef] Cannot compute

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 6.0K Feb 26 08:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 08:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 08:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 08:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.5K Feb 26 09:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 09:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 08:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 26 08:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.9M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678266523687

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

Filename model.pnml
Petri model created: 1178 places, 7504 transitions, 28610 arcs.
AT ITER 0 NEW BEST:: SOT 5776050 SOS 4644053 HAS SOPS 2385618 HAS SOUS 551746 HAS SOUPS 261608 WITH SCORE 266252.053
AT ITER 1 NEW BEST:: SOT 5775636 SOS 4643225 HAS SOPS 2385618 HAS SOUS 550918 HAS SOUPS 260987 WITH SCORE 265630.225
AT ITER 4 NEW BEST:: SOT 5775327 SOS 4642607 HAS SOPS 2386460 HAS SOUS 550160 HAS SOUPS 260594 WITH SCORE 265236.607
AT ITER 11 NEW BEST:: SOT 5773402 SOS 4645376 HAS SOPS 2386821 HAS SOUS 548681 HAS SOUPS 259115 WITH SCORE 263760.376
AT ITER 17 NEW BEST:: SOT 5772707 SOS 4645570 HAS SOPS 2385827 HAS SOUS 548317 HAS SOUPS 258652 WITH SCORE 263297.57
AT ITER 23 NEW BEST:: SOT 5772705 SOS 4645566 HAS SOPS 2387219 HAS SOUS 547966 HAS SOUPS 258650 WITH SCORE 263295.566
AT ITER 26 NEW BEST:: SOT 5772784 SOS 4624919 HAS SOPS 2387398 HAS SOUS 547546 HAS SOUPS 258497 WITH SCORE 263121.919
AT ITER 27 NEW BEST:: SOT 5772370 SOS 4624091 HAS SOPS 2387614 HAS SOUS 546646 HAS SOUPS 257858 WITH SCORE 262482.091
AT ITER 32 NEW BEST:: SOT 5772368 SOS 4624087 HAS SOPS 2388122 HAS SOUS 546516 HAS SOUPS 257856 WITH SCORE 262480.087
AT ITER 49 NEW BEST:: SOT 5771345 SOS 4625117 HAS SOPS 2387124 HAS SOUS 546185 HAS SOUPS 257356 WITH SCORE 261981.117
AT ITER 56 NEW BEST:: SOT 5768984 SOS 4633039 HAS SOPS 2389298 HAS SOUS 546044 HAS SOUPS 256736 WITH SCORE 261369.039
AT ITER 59 NEW BEST:: SOT 5768547 SOS 4634005 HAS SOPS 2389004 HAS SOUS 546038 HAS SOUPS 256625 WITH SCORE 261259.005
AT ITER 72 NEW BEST:: SOT 5768547 SOS 4634005 HAS SOPS 2389004 HAS SOUS 545898 HAS SOUPS 256485 WITH SCORE 261119.005
AT ITER 86 NEW BEST:: SOT 5768545 SOS 4634001 HAS SOPS 2389412 HAS SOUS 545793 HAS SOUPS 256483 WITH SCORE 261117.001
AT ITER 98 NEW BEST:: SOT 5768543 SOS 4633997 HAS SOPS 2390872 HAS SOUS 545425 HAS SOUPS 256481 WITH SCORE 261114.997
AT ITER 118 NEW BEST:: SOT 5766643 SOS 4640117 HAS SOPS 2393224 HAS SOUS 544559 HAS SOUPS 255615 WITH SCORE 260255.117
AT ITER 120 NEW BEST:: SOT 5766633 SOS 4640097 HAS SOPS 2393204 HAS SOUS 544549 HAS SOUPS 255605 WITH SCORE 260245.097
AT ITER 132 NEW BEST:: SOT 5765418 SOS 4644319 HAS SOPS 2393910 HAS SOUS 544375 HAS SOUPS 255138 WITH SCORE 259782.319
AT ITER 133 NEW BEST:: SOT 5765418 SOS 4644319 HAS SOPS 2393910 HAS SOUS 544277 HAS SOUPS 255040 WITH SCORE 259684.319
AT ITER 147 NEW BEST:: SOT 5763547 SOS 4651561 HAS SOPS 2397224 HAS SOUS 543338 HAS SOUPS 254101 WITH SCORE 258752.561
AT ITER 166 NEW BEST:: SOT 5763480 SOS 4651427 HAS SOPS 2397090 HAS SOUS 543270 HAS SOUPS 254033 WITH SCORE 258684.427
AT ITER 167 NEW BEST:: SOT 5761385 SOS 4654781 HAS SOPS 2397644 HAS SOUS 541645 HAS SOUPS 252408 WITH SCORE 257062.781
AT ITER 175 NEW BEST:: SOT 5761383 SOS 4654777 HAS SOPS 2397640 HAS SOUS 541508 HAS SOUPS 252271 WITH SCORE 256925.777
AT ITER 183 NEW BEST:: SOT 5761147 SOS 4657257 HAS SOPS 2399136 HAS SOUS 541395 HAS SOUPS 252158 WITH SCORE 256815.257
AT ITER 187 NEW BEST:: SOT 5759495 SOS 4660869 HAS SOPS 2398836 HAS SOUS 540989 HAS SOUPS 251426 WITH SCORE 256086.869
AT ITER 213 NEW BEST:: SOT 5757457 SOS 4664969 HAS SOPS 2399488 HAS SOUS 539728 HAS SOUPS 250165 WITH SCORE 254829.969
AT ITER 224 NEW BEST:: SOT 5757457 SOS 4664969 HAS SOPS 2399488 HAS SOUS 539696 HAS SOUPS 250133 WITH SCORE 254797.969
AT ITER 233 NEW BEST:: SOT 5755212 SOS 4666615 HAS SOPS 2398590 HAS SOUS 538050 HAS SOUPS 248487 WITH SCORE 253153.615
AT ITER 235 NEW BEST:: SOT 5752739 SOS 4668153 HAS SOPS 2397384 HAS SOUS 536259 HAS SOUPS 246696 WITH SCORE 251364.153
AT ITER 237 NEW BEST:: SOT 5751717 SOS 4668445 HAS SOPS 2395924 HAS SOUS 535675 HAS SOUPS 245966 WITH SCORE 250634.445
AT ITER 240 NEW BEST:: SOT 5751010 SOS 4668647 HAS SOPS 2394914 HAS SOUS 535372 HAS SOUPS 245562 WITH SCORE 250230.647
AT ITER 246 NEW BEST:: SOT 5751008 SOS 4668643 HAS SOPS 2395146 HAS SOUS 535311 HAS SOUPS 245560 WITH SCORE 250228.643
AT ITER 262 NEW BEST:: SOT 5748987 SOS 4672613 HAS SOPS 2396084 HAS SOUS 534302 HAS SOUPS 244551 WITH SCORE 249223.613
AT ITER 267 NEW BEST:: SOT 5748985 SOS 4672609 HAS SOPS 2396400 HAS SOUS 534220 HAS SOUPS 244549 WITH SCORE 249221.609
AT ITER 271 NEW BEST:: SOT 5748482 SOS 4673091 HAS SOPS 2395766 HAS SOUS 533922 HAS SOUPS 244158 WITH SCORE 248831.09100000001
AT ITER 273 NEW BEST:: SOT 5747970 SOS 4671239 HAS SOPS 2395570 HAS SOUS 532685 HAS SOUPS 243335 WITH SCORE 248006.239
AT ITER 276 NEW BEST:: SOT 5747206 SOS 4671543 HAS SOPS 2394614 HAS SOUS 532218 HAS SOUPS 242763 WITH SCORE 247434.543
AT ITER 288 NEW BEST:: SOT 5745544 SOS 4674747 HAS SOPS 2395386 HAS SOUS 531039 HAS SOUPS 241584 WITH SCORE 246258.747
AT ITER 291 NEW BEST:: SOT 5745544 SOS 4674747 HAS SOPS 2395386 HAS SOUS 530967 HAS SOUPS 241512 WITH SCORE 246186.747
AT ITER 293 NEW BEST:: SOT 5745542 SOS 4674743 HAS SOPS 2396606 HAS SOUS 530659 HAS SOUPS 241510 WITH SCORE 246184.743
AT ITER 295 NEW BEST:: SOT 5745542 SOS 4674743 HAS SOPS 2396606 HAS SOUS 530607 HAS SOUPS 241458 WITH SCORE 246132.743
AT ITER 308 NEW BEST:: SOT 5745542 SOS 4674743 HAS SOPS 2396606 HAS SOUS 530485 HAS SOUPS 241336 WITH SCORE 246010.743
AT ITER 309 NEW BEST:: SOT 5745108 SOS 4673875 HAS SOPS 2397118 HAS SOUS 529482 HAS SOUPS 240678 WITH SCORE 245351.875
AT ITER 312 NEW BEST:: SOT 5744302 SOS 4671683 HAS SOPS 2396086 HAS SOUS 528160 HAS SOUPS 239646 WITH SCORE 244317.683
AT ITER 321 NEW BEST:: SOT 5744306 SOS 4671079 HAS SOPS 2395794 HAS SOUS 528156 HAS SOUPS 239646 WITH SCORE 244317.079
AT ITER 325 NEW BEST:: SOT 5743186 SOS 4671399 HAS SOPS 2394194 HAS SOUS 527516 HAS SOUPS 238846 WITH SCORE 243517.399
AT ITER 335 NEW BEST:: SOT 5740964 SOS 4678243 HAS SOPS 2396966 HAS SOUS 526058 HAS SOUPS 237388 WITH SCORE 242066.243
AT ITER 339 NEW BEST:: SOT 5740964 SOS 4678243 HAS SOPS 2396966 HAS SOUS 525908 HAS SOUPS 237238 WITH SCORE 241916.243
AT ITER 343 NEW BEST:: SOT 5740628 SOS 4679587 HAS SOPS 2397638 HAS SOUS 525656 HAS SOUPS 236986 WITH SCORE 241665.587
AT ITER 345 NEW BEST:: SOT 5740484 SOS 4679299 HAS SOPS 2397350 HAS SOUS 525512 HAS SOUPS 236842 WITH SCORE 241521.299
AT ITER 350 NEW BEST:: SOT 5740482 SOS 4679295 HAS SOPS 2398046 HAS SOUS 525335 HAS SOUPS 236840 WITH SCORE 241519.295
AT ITER 355 NEW BEST:: SOT 5740033 SOS 4678397 HAS SOPS 2398800 HAS SOUS 524249 HAS SOUPS 236167 WITH SCORE 240845.397
AT ITER 360 NEW BEST:: SOT 5739808 SOS 4677863 HAS SOPS 2399426 HAS SOUS 523734 HAS SOUPS 235942 WITH SCORE 240619.863
AT ITER 364 NEW BEST:: SOT 5739846 SOS 4677939 HAS SOPS 2399502 HAS SOUS 523618 HAS SOUPS 235826 WITH SCORE 240503.939
AT ITER 366 NEW BEST:: SOT 5739844 SOS 4677935 HAS SOPS 2400674 HAS SOUS 523322 HAS SOUPS 235824 WITH SCORE 240501.935
AT ITER 374 NEW BEST:: SOT 5737815 SOS 4679725 HAS SOPS 2400032 HAS SOUS 521994 HAS SOUPS 234496 WITH SCORE 239175.725
AT ITER 375 NEW BEST:: SOT 5737901 SOS 4656965 HAS SOPS 2398488 HAS SOUS 521560 HAS SOUPS 234334 WITH SCORE 238990.965
AT ITER 381 NEW BEST:: SOT 5737607 SOS 4657049 HAS SOPS 2398068 HAS SOUS 521434 HAS SOUPS 234166 WITH SCORE 238823.049
AT ITER 388 NEW BEST:: SOT 5737161 SOS 4656157 HAS SOPS 2398068 HAS SOUS 520542 HAS SOUPS 233497 WITH SCORE 238153.157
AT ITER 409 NEW BEST:: SOT 5737159 SOS 4656153 HAS SOPS 2399060 HAS SOUS 520291 HAS SOUPS 233495 WITH SCORE 238151.153
AT ITER 412 NEW BEST:: SOT 5736533 SOS 4654901 HAS SOPS 2397808 HAS SOUS 520146 HAS SOUPS 233350 WITH SCORE 238004.901
AT ITER 413 NEW BEST:: SOT 5734917 SOS 4658421 HAS SOPS 2398832 HAS SOUS 519246 HAS SOUPS 232450 WITH SCORE 237108.421
AT ITER 417 NEW BEST:: SOT 5734917 SOS 4658421 HAS SOPS 2398832 HAS SOUS 519136 HAS SOUPS 232340 WITH SCORE 236998.421
AT ITER 440 NEW BEST:: SOT 5734433 SOS 4657453 HAS SOPS 2397864 HAS SOUS 518510 HAS SOUPS 231714 WITH SCORE 236371.453
AT ITER 441 NEW BEST:: SOT 5734426 SOS 4657439 HAS SOPS 2397850 HAS SOUS 518503 HAS SOUPS 231707 WITH SCORE 236364.439
AT ITER 442 NEW BEST:: SOT 5734386 SOS 4657279 HAS SOPS 2397690 HAS SOUS 518474 HAS SOUPS 231678 WITH SCORE 236335.279
AT ITER 448 NEW BEST:: SOT 5734164 SOS 4656835 HAS SOPS 2397806 HAS SOUS 518112 HAS SOUPS 231456 WITH SCORE 236112.835
AT ITER 459 NEW BEST:: SOT 5733177 SOS 4654861 HAS SOPS 2396904 HAS SOUS 517746 HAS SOUPS 231358 WITH SCORE 236012.861
AT ITER 468 NEW BEST:: SOT 5733175 SOS 4654857 HAS SOPS 2397552 HAS SOUS 517581 HAS SOUPS 231356 WITH SCORE 236010.857
AT ITER 470 NEW BEST:: SOT 5733107 SOS 4654721 HAS SOPS 2397416 HAS SOUS 517460 HAS SOUPS 231235 WITH SCORE 235889.721
AT ITER 475 NEW BEST:: SOT 5732993 SOS 4654493 HAS SOPS 2397188 HAS SOUS 517337 HAS SOUPS 231112 WITH SCORE 235766.493
AT ITER 479 NEW BEST:: SOT 5731655 SOS 4656845 HAS SOPS 2396516 HAS SOUS 516684 HAS SOUPS 230207 WITH SCORE 234863.845
AT ITER 485 NEW BEST:: SOT 5731685 SOS 4656185 HAS SOPS 2396096 HAS SOUS 516658 HAS SOUPS 230181 WITH SCORE 234837.185
AT ITER 491 NEW BEST:: SOT 5730663 SOS 4658317 HAS SOPS 2396764 HAS SOUS 516153 HAS SOUPS 229676 WITH SCORE 234334.317
AT ITER 504 NEW BEST:: SOT 5730661 SOS 4658313 HAS SOPS 2397640 HAS SOUS 515931 HAS SOUPS 229674 WITH SCORE 234332.313
AT ITER 507 NEW BEST:: SOT 5730367 SOS 4659885 HAS SOPS 2398492 HAS SOUS 515727 HAS SOUPS 229470 WITH SCORE 234129.885
AT ITER 523 NEW BEST:: SOT 5730367 SOS 4659885 HAS SOPS 2398492 HAS SOUS 515577 HAS SOUPS 229320 WITH SCORE 233979.885
AT ITER 535 NEW BEST:: SOT 5730321 SOS 4659941 HAS SOPS 2397716 HAS SOUS 515617 HAS SOUPS 229152 WITH SCORE 233811.941
AT ITER 544 NEW BEST:: SOT 5730319 SOS 4659937 HAS SOPS 2397712 HAS SOUS 515493 HAS SOUPS 229028 WITH SCORE 233687.937
AT ITER 556 NEW BEST:: SOT 5728961 SOS 4661025 HAS SOPS 2396472 HAS SOUS 514812 HAS SOUPS 228153 WITH SCORE 232814.025
AT ITER 566 NEW BEST:: SOT 5728961 SOS 4661025 HAS SOPS 2396472 HAS SOUS 514694 HAS SOUPS 228035 WITH SCORE 232696.025
AT ITER 568 NEW BEST:: SOT 5728959 SOS 4661021 HAS SOPS 2396820 HAS SOUS 514604 HAS SOUPS 228033 WITH SCORE 232694.021
AT ITER 569 NEW BEST:: SOT 5728734 SOS 4660571 HAS SOPS 2396370 HAS SOUS 514379 HAS SOUPS 227808 WITH SCORE 232468.571
AT ITER 571 NEW BEST:: SOT 5728546 SOS 4660195 HAS SOPS 2395994 HAS SOUS 514191 HAS SOUPS 227620 WITH SCORE 232280.195
AT ITER 574 NEW BEST:: SOT 5728109 SOS 4659321 HAS SOPS 2396372 HAS SOUS 513225 HAS SOUPS 226967 WITH SCORE 231626.321
AT ITER 576 NEW BEST:: SOT 5727877 SOS 4658857 HAS SOPS 2396372 HAS SOUS 512761 HAS SOUPS 226619 WITH SCORE 231277.857
AT ITER 583 NEW BEST:: SOT 5727877 SOS 4658857 HAS SOPS 2396372 HAS SOUS 512641 HAS SOUPS 226499 WITH SCORE 231157.857
AT ITER 585 NEW BEST:: SOT 5727877 SOS 4658857 HAS SOPS 2396372 HAS SOUS 512493 HAS SOUPS 226351 WITH SCORE 231009.857
AT ITER 592 NEW BEST:: SOT 5725788 SOS 4659643 HAS SOPS 2394990 HAS SOUS 510926 HAS SOUPS 224784 WITH SCORE 229443.643
AT ITER 607 NEW BEST:: SOT 5720758 SOS 4652390 HAS SOPS 2391839 HAS SOUS 510471 HAS SOUPS 224734 WITH SCORE 229386.39
AT ITER 620 NEW BEST:: SOT 5720389 SOS 4651652 HAS SOPS 2392269 HAS SOUS 509662 HAS SOUPS 224217 WITH SCORE 228868.652
AT ITER 622 NEW BEST:: SOT 5720421 SOS 4651716 HAS SOPS 2392037 HAS SOUS 509683 HAS SOUPS 224164 WITH SCORE 228815.71600000001
AT ITER 657 NEW BEST:: SOT 5720283 SOS 4651440 HAS SOPS 2392237 HAS SOUS 509407 HAS SOUPS 224007 WITH SCORE 228658.44
AT ITER 659 NEW BEST:: SOT 5718664 SOS 4652222 HAS SOPS 2390415 HAS SOUS 508693 HAS SOUPS 223076 WITH SCORE 227728.222
AT ITER 660 NEW BEST:: SOT 5711162 SOS 4641504 HAS SOPS 2385827 HAS SOUS 508075 HAS SOUPS 223071 WITH SCORE 227712.504
AT ITER 662 NEW BEST:: SOT 5710958 SOS 4641096 HAS SOPS 2386099 HAS SOUS 507701 HAS SOUPS 222867 WITH SCORE 227508.096
AT ITER 672 NEW BEST:: SOT 5710958 SOS 4641096 HAS SOPS 2386099 HAS SOUS 507551 HAS SOUPS 222717 WITH SCORE 227358.096
AT ITER 692 NEW BEST:: SOT 5710932 SOS 4641044 HAS SOPS 2386047 HAS SOUS 507525 HAS SOUPS 222691 WITH SCORE 227332.044
AT ITER 696 NEW BEST:: SOT 5710565 SOS 4639474 HAS SOPS 2385945 HAS SOUS 506645 HAS SOUPS 222178 WITH SCORE 226817.474
AT ITER 711 NEW BEST:: SOT 5710560 SOS 4639074 HAS SOPS 2385935 HAS SOUS 506635 HAS SOUPS 222173 WITH SCORE 226812.074
AT ITER 716 NEW BEST:: SOT 5710560 SOS 4639074 HAS SOPS 2385935 HAS SOUS 506531 HAS SOUPS 222069 WITH SCORE 226708.074
AT ITER 724 NEW BEST:: SOT 5708514 SOS 4639782 HAS SOPS 2384451 HAS SOUS 505232 HAS SOUPS 220770 WITH SCORE 225409.782
AT ITER 726 NEW BEST:: SOT 5708512 SOS 4639778 HAS SOPS 2385535 HAS SOUS 504958 HAS SOUPS 220768 WITH SCORE 225407.778
AT ITER 727 NEW BEST:: SOT 5708090 SOS 4639894 HAS SOPS 2384931 HAS SOUS 504716 HAS SOUPS 220466 WITH SCORE 225105.894
AT ITER 731 NEW BEST:: SOT 5708090 SOS 4639894 HAS SOPS 2384931 HAS SOUS 504683 HAS SOUPS 220433 WITH SCORE 225072.894
AT ITER 737 NEW BEST:: SOT 5707544 SOS 4640174 HAS SOPS 2384275 HAS SOUS 504480 HAS SOUPS 220152 WITH SCORE 224792.174
AT ITER 750 NEW BEST:: SOT 5705373 SOS 4642884 HAS SOPS 2383929 HAS SOUS 502944 HAS SOUPS 218616 WITH SCORE 223258.884
AT ITER 755 NEW BEST:: SOT 5705075 SOS 4642288 HAS SOPS 2384117 HAS SOUS 502348 HAS SOUPS 218216 WITH SCORE 222858.288
AT ITER 758 NEW BEST:: SOT 5705073 SOS 4642284 HAS SOPS 2384909 HAS SOUS 502147 HAS SOUPS 218214 WITH SCORE 222856.28399999999
AT ITER 779 NEW BEST:: SOT 5703190 SOS 4642982 HAS SOPS 2383663 HAS SOUS 500931 HAS SOUPS 216998 WITH SCORE 221640.982
AT ITER 780 NEW BEST:: SOT 5702942 SOS 4642058 HAS SOPS 2383875 HAS SOUS 500373 HAS SOUPS 216724 WITH SCORE 221366.058
AT ITER 795 NEW BEST:: SOT 5702753 SOS 4642112 HAS SOPS 2383713 HAS SOUS 500292 HAS SOUPS 216643 WITH SCORE 221285.112
AT ITER 798 NEW BEST:: SOT 5702526 SOS 4641658 HAS SOPS 2384455 HAS SOUS 499766 HAS SOUPS 216416 WITH SCORE 221057.658
AT ITER 806 NEW BEST:: SOT 5699638 SOS 4645378 HAS SOPS 2384759 HAS SOUS 498238 HAS SOUPS 214888 WITH SCORE 219533.378
AT ITER 817 NEW BEST:: SOT 5699638 SOS 4645378 HAS SOPS 2384759 HAS SOUS 498088 HAS SOUPS 214738 WITH SCORE 219383.378
AT ITER 818 NEW BEST:: SOT 5697756 SOS 4649326 HAS SOPS 2384567 HAS SOUS 497259 HAS SOUPS 213564 WITH SCORE 218213.326
AT ITER 830 NEW BEST:: SOT 5696142 SOS 4658106 HAS SOPS 2389203 HAS SOUS 496489 HAS SOUPS 212794 WITH SCORE 217452.106
AT ITER 853 NEW BEST:: SOT 5695846 SOS 4657514 HAS SOPS 2388611 HAS SOUS 496401 HAS SOUPS 212706 WITH SCORE 217363.514
AT ITER 871 NEW BEST:: SOT 5695632 SOS 4659654 HAS SOPS 2389895 HAS SOUS 496294 HAS SOUPS 212599 WITH SCORE 217258.654
AT ITER 873 NEW BEST:: SOT 5695679 SOS 4659748 HAS SOPS 2389601 HAS SOUS 496341 HAS SOUPS 212549 WITH SCORE 217208.748
AT ITER 884 NEW BEST:: SOT 5695718 SOS 4641282 HAS SOPS 2371135 HAS SOUS 496023 HAS SOUPS 212231 WITH SCORE 216872.282
AT ITER 898 NEW BEST:: SOT 5695580 SOS 4641006 HAS SOPS 2371615 HAS SOUS 495766 HAS SOUPS 212163 WITH SCORE 216804.006
AT ITER 912 NEW BEST:: SOT 5689656 SOS 4633364 HAS SOPS 2367385 HAS SOUS 495614 HAS SOUPS 212116 WITH SCORE 216749.364
AT ITER 928 NEW BEST:: SOT 5689084 SOS 4632220 HAS SOPS 2367137 HAS SOUS 495388 HAS SOUPS 212114 WITH SCORE 216746.22
AT ITER 933 NEW BEST:: SOT 5684208 SOS 4625653 HAS SOPS 2363721 HAS SOUS 495091 HAS SOUPS 212110 WITH SCORE 216735.653
AT ITER 945 NEW BEST:: SOT 5684208 SOS 4625653 HAS SOPS 2363721 HAS SOUS 494965 HAS SOUPS 211984 WITH SCORE 216609.653
AT ITER 954 NEW BEST:: SOT 5684058 SOS 4625353 HAS SOPS 2364301 HAS SOUS 494595 HAS SOUPS 211834 WITH SCORE 216459.353
AT ITER 963 NEW BEST:: SOT 5683657 SOS 4625463 HAS SOPS 2363727 HAS SOUS 494365 HAS SOUPS 211547 WITH SCORE 216172.463
AT ITER 965 NEW BEST:: SOT 5683598 SOS 4625345 HAS SOPS 2363177 HAS SOUS 494355 HAS SOUPS 211429 WITH SCORE 216054.345
AT ITER 967 NEW BEST:: SOT 5683598 SOS 4625345 HAS SOPS 2363177 HAS SOUS 494269 HAS SOUPS 211343 WITH SCORE 215968.345
AT ITER 968 NEW BEST:: SOT 5683736 SOS 4625621 HAS SOPS 2363453 HAS SOUS 494155 HAS SOUPS 211229 WITH SCORE 215854.621
AT ITER 969 NEW BEST:: SOT 5683677 SOS 4625503 HAS SOPS 2363571 HAS SOUS 494037 HAS SOUPS 211170 WITH SCORE 215795.503
AT ITER 1004 NEW BEST:: SOT 5680734 SOS 4628565 HAS SOPS 2363113 HAS SOUS 491748 HAS SOUPS 208881 WITH SCORE 213509.565
AT ITER 1019 NEW BEST:: SOT 5678304 SOS 4617698 HAS SOPS 2346064 HAS SOUS 491295 HAS SOUPS 207931 WITH SCORE 212548.698
AT ITER 1022 NEW BEST:: SOT 5678304 SOS 4617698 HAS SOPS 2346064 HAS SOUS 491027 HAS SOUPS 207663 WITH SCORE 212280.698
AT ITER 1028 NEW BEST:: SOT 5678216 SOS 4617522 HAS SOPS 2345888 HAS SOUS 491021 HAS SOUPS 207657 WITH SCORE 212274.522
AT ITER 1031 NEW BEST:: SOT 5678379 SOS 4613696 HAS SOPS 2343446 HAS SOUS 491011 HAS SOUPS 207647 WITH SCORE 212260.696
AT ITER 1036 NEW BEST:: SOT 5678379 SOS 4613644 HAS SOPS 2343394 HAS SOUS 490898 HAS SOUPS 207534 WITH SCORE 212147.644
AT ITER 1053 NEW BEST:: SOT 5678379 SOS 4613424 HAS SOPS 2343394 HAS SOUS 490843 HAS SOUPS 207534 WITH SCORE 212147.424
AT ITER 1063 NEW BEST:: SOT 5678282 SOS 4614886 HAS SOPS 2344304 HAS SOUS 490839 HAS SOUPS 207530 WITH SCORE 212144.886
AT ITER 1090 NEW BEST:: SOT 5671736 SOS 4606170 HAS SOPS 2340050 HAS SOUS 490516 HAS SOUPS 207516 WITH SCORE 212122.17
AT ITER 1108 NEW BEST:: SOT 5671424 SOS 4605546 HAS SOPS 2339426 HAS SOUS 490048 HAS SOUPS 207048 WITH SCORE 211653.546
AT ITER 1110 NEW BEST:: SOT 5663708 SOS 4594708 HAS SOPS 2334578 HAS SOUS 489145 HAS SOUPS 206744 WITH SCORE 211338.708
AT ITER 1112 NEW BEST:: SOT 5663708 SOS 4594708 HAS SOPS 2334578 HAS SOUS 488995 HAS SOUPS 206594 WITH SCORE 211188.708
AT ITER 1129 NEW BEST:: SOT 5663708 SOS 4594424 HAS SOPS 2334294 HAS SOUS 488981 HAS SOUPS 206580 WITH SCORE 211174.424
AT ITER 1135 NEW BEST:: SOT 5663672 SOS 4594080 HAS SOPS 2334222 HAS SOUS 488901 HAS SOUPS 206568 WITH SCORE 211162.08
AT ITER 1140 NEW BEST:: SOT 5663674 SOS 4594036 HAS SOPS 2334194 HAS SOUS 488901 HAS SOUPS 206568 WITH SCORE 211162.036
AT ITER 1143 NEW BEST:: SOT 5663687 SOS 4591687 HAS SOPS 2333745 HAS SOUS 487954 HAS SOUPS 206096 WITH SCORE 210687.687
AT ITER 1169 NEW BEST:: SOT 5663165 SOS 4590643 HAS SOPS 2332487 HAS SOUS 487126 HAS SOUPS 205268 WITH SCORE 209858.643
AT ITER 1190 NEW BEST:: SOT 5663156 SOS 4590625 HAS SOPS 2332469 HAS SOUS 487117 HAS SOUPS 205259 WITH SCORE 209849.625
AT ITER 1191 NEW BEST:: SOT 5662243 SOS 4590967 HAS SOPS 2331263 HAS SOUS 486617 HAS SOUPS 204630 WITH SCORE 209220.967
AT ITER 1206 NEW BEST:: SOT 5662159 SOS 4590841 HAS SOPS 2331207 HAS SOUS 486603 HAS SOUPS 204623 WITH SCORE 209213.84100000001
AT ITER 1208 NEW BEST:: SOT 5661792 SOS 4592651 HAS SOPS 2331109 HAS SOUS 486490 HAS SOUPS 204351 WITH SCORE 208943.651
AT ITER 1209 NEW BEST:: SOT 5661792 SOS 4592651 HAS SOPS 2331109 HAS SOUS 486402 HAS SOUPS 204263 WITH SCORE 208855.651
AT ITER 1222 NEW BEST:: SOT 5661320 SOS 4593027 HAS SOPS 2330693 HAS SOUS 486179 HAS SOUPS 203974 WITH SCORE 208567.027
AT ITER 1229 NEW BEST:: SOT 5661165 SOS 4592717 HAS SOPS 2330383 HAS SOUS 486109 HAS SOUPS 203904 WITH SCORE 208496.717
AT ITER 1264 NEW BEST:: SOT 5661165 SOS 4592717 HAS SOPS 2330383 HAS SOUS 485973 HAS SOUPS 203768 WITH SCORE 208360.717
AT ITER 1279 NEW BEST:: SOT 5660998 SOS 4600679 HAS SOPS 2333845 HAS SOUS 485640 HAS SOUPS 203060 WITH SCORE 207660.679
AT ITER 1287 NEW BEST:: SOT 5657783 SOS 4596546 HAS SOPS 2331432 HAS SOUS 485487 HAS SOUPS 202963 WITH SCORE 207559.546
AT ITER 1300 NEW BEST:: SOT 5657781 SOS 4596542 HAS SOPS 2331428 HAS SOUS 485483 HAS SOUPS 202959 WITH SCORE 207555.542
AT ITER 1305 NEW BEST:: SOT 5657731 SOS 4596442 HAS SOPS 2331428 HAS SOUS 485383 HAS SOUPS 202884 WITH SCORE 207480.442
AT ITER 1308 NEW BEST:: SOT 5657731 SOS 4596442 HAS SOPS 2331428 HAS SOUS 485337 HAS SOUPS 202838 WITH SCORE 207434.442
AT ITER 1311 NEW BEST:: SOT 5656427 SOS 4599362 HAS SOPS 2331852 HAS SOUS 484447 HAS SOUPS 201948 WITH SCORE 206547.362
AT ITER 1326 NEW BEST:: SOT 5656427 SOS 4599362 HAS SOPS 2331852 HAS SOUS 484433 HAS SOUPS 201934 WITH SCORE 206533.362
AT ITER 1334 NEW BEST:: SOT 5656427 SOS 4598818 HAS SOPS 2331308 HAS SOUS 484433 HAS SOUPS 201934 WITH SCORE 206532.818
AT ITER 1350 NEW BEST:: SOT 5655872 SOS 4601164 HAS SOPS 2331434 HAS SOUS 484372 HAS SOUPS 201688 WITH SCORE 206289.164
AT ITER 1356 NEW BEST:: SOT 5655757 SOS 4601302 HAS SOPS 2331296 HAS SOUS 484372 HAS SOUPS 201665 WITH SCORE 206266.302
AT ITER 1366 NEW BEST:: SOT 5655733 SOS 4601254 HAS SOPS 2331152 HAS SOUS 484372 HAS SOUPS 201641 WITH SCORE 206242.254
AT ITER 1388 NEW BEST:: SOT 5655695 SOS 4601178 HAS SOPS 2331124 HAS SOUS 484358 HAS SOUPS 201639 WITH SCORE 206240.178
AT ITER 1403 NEW BEST:: SOT 5655695 SOS 4601178 HAS SOPS 2330876 HAS SOUS 484358 HAS SOUPS 201577 WITH SCORE 206178.178
AT ITER 1424 NEW BEST:: SOT 5654890 SOS 4600695 HAS SOPS 2330071 HAS SOUS 484197 HAS SOUPS 201416 WITH SCORE 206016.695
AT ITER 1427 NEW BEST:: SOT 5654890 SOS 4600695 HAS SOPS 2330071 HAS SOUS 484004 HAS SOUPS 201223 WITH SCORE 205823.695
AT ITER 1443 NEW BEST:: SOT 5654036 SOS 4603547 HAS SOPS 2330403 HAS SOUS 483581 HAS SOUPS 200590 WITH SCORE 205193.547
AT ITER 1450 NEW BEST:: SOT 5653845 SOS 4602413 HAS SOPS 2330021 HAS SOUS 483197 HAS SOUPS 200394 WITH SCORE 204996.413
AT ITER 1452 NEW BEST:: SOT 5651551 SOS 4606157 HAS SOPS 2332796 HAS SOUS 482781 HAS SOUPS 200234 WITH SCORE 204840.157
AT ITER 1460 NEW BEST:: SOT 5650986 SOS 4605027 HAS SOPS 2332462 HAS SOUS 482315 HAS SOUPS 199967 WITH SCORE 204572.027
AT ITER 1485 NEW BEST:: SOT 5650596 SOS 4604247 HAS SOPS 2332462 HAS SOUS 481535 HAS SOUPS 199382 WITH SCORE 203986.247
AT ITER 1506 NEW BEST:: SOT 5650362 SOS 4609295 HAS SOPS 2334234 HAS SOUS 481448 HAS SOUPS 199022 WITH SCORE 203631.295
AT ITER 1508 NEW BEST:: SOT 5649446 SOS 4608247 HAS SOPS 2333634 HAS SOUS 481444 HAS SOUPS 199018 WITH SCORE 203626.247
AT ITER 1520 NEW BEST:: SOT 5648917 SOS 4606253 HAS SOPS 2332888 HAS SOUS 480420 HAS SOUPS 198306 WITH SCORE 202912.253
AT ITER 1538 NEW BEST:: SOT 5648917 SOS 4606253 HAS SOPS 2332888 HAS SOUS 480294 HAS SOUPS 198180 WITH SCORE 202786.253
AT ITER 1543 NEW BEST:: SOT 5648399 SOS 4611049 HAS SOPS 2335740 HAS SOUS 480019 HAS SOUPS 197905 WITH SCORE 202516.049
AT ITER 1563 NEW BEST:: SOT 5648159 SOS 4610729 HAS SOPS 2335620 HAS SOUS 479999 HAS SOUPS 197905 WITH SCORE 202515.729
AT ITER 1578 NEW BEST:: SOT 5648159 SOS 4610729 HAS SOPS 2335620 HAS SOUS 479883 HAS SOUPS 197789 WITH SCORE 202399.729
AT ITER 1588 NEW BEST:: SOT 5646854 SOS 4613733 HAS SOPS 2337742 HAS SOUS 479319 HAS SOUPS 197498 WITH SCORE 202111.733
AT ITER 1596 NEW BEST:: SOT 5646020 SOS 4615041 HAS SOPS 2338058 HAS SOUS 478979 HAS SOUPS 197158 WITH SCORE 201773.041
AT ITER 1607 NEW BEST:: SOT 5645730 SOS 4613721 HAS SOPS 2337478 HAS SOUS 478504 HAS SOUPS 196868 WITH SCORE 201481.721
AT ITER 1616 NEW BEST:: SOT 5645325 SOS 4612911 HAS SOPS 2337248 HAS SOUS 478125 HAS SOUPS 196634 WITH SCORE 201246.911
AT ITER 1625 NEW BEST:: SOT 5645289 SOS 4612857 HAS SOPS 2337194 HAS SOUS 478123 HAS SOUPS 196632 WITH SCORE 201244.857
AT ITER 1637 NEW BEST:: SOT 5644806 SOS 4613251 HAS SOPS 2336908 HAS SOUS 478024 HAS SOUPS 196533 WITH SCORE 201146.251
AT ITER 1639 NEW BEST:: SOT 5644733 SOS 4613105 HAS SOPS 2337698 HAS SOUS 477705 HAS SOUPS 196448 WITH SCORE 201061.105
AT ITER 1645 NEW BEST:: SOT 5644571 SOS 4612181 HAS SOPS 2336774 HAS SOUS 477413 HAS SOUPS 196156 WITH SCORE 200768.181
AT ITER 1661 NEW BEST:: SOT 5644097 SOS 4615817 HAS SOPS 2338882 HAS SOUS 477181 HAS SOUPS 195924 WITH SCORE 200539.817
AT ITER 1671 NEW BEST:: SOT 5643618 SOS 4616043 HAS SOPS 2338220 HAS SOUS 476963 HAS SOUPS 195632 WITH SCORE 200248.043
AT ITER 1683 NEW BEST:: SOT 5643564 SOS 4616295 HAS SOPS 2338256 HAS SOUS 476963 HAS SOUPS 195614 WITH SCORE 200230.295
AT ITER 1693 NEW BEST:: SOT 5643564 SOS 4616295 HAS SOPS 2338256 HAS SOUS 476664 HAS SOUPS 195612 WITH SCORE 200228.295
AT ITER 1694 NEW BEST:: SOT 5643564 SOS 4616295 HAS SOPS 2338256 HAS SOUS 476630 HAS SOUPS 195578 WITH SCORE 200194.295
AT ITER 1709 NEW BEST:: SOT 5643455 SOS 4616077 HAS SOPS 2338474 HAS SOUS 476451 HAS SOUPS 195508 WITH SCORE 200124.077
AT ITER 1712 NEW BEST:: SOT 5643068 SOS 4615303 HAS SOPS 2337700 HAS SOUS 475748 HAS SOUPS 194805 WITH SCORE 199420.303
AT ITER 1724 NEW BEST:: SOT 5643068 SOS 4615303 HAS SOPS 2337700 HAS SOUS 475686 HAS SOUPS 194743 WITH SCORE 199358.303
AT ITER 1739 NEW BEST:: SOT 5643068 SOS 4615303 HAS SOPS 2337700 HAS SOUS 475598 HAS SOUPS 194655 WITH SCORE 199270.303
AT ITER 1742 NEW BEST:: SOT 5641985 SOS 4621673 HAS SOPS 2341038 HAS SOUS 475374 HAS SOUPS 194431 WITH SCORE 199052.673
AT ITER 1745 NEW BEST:: SOT 5641985 SOS 4621673 HAS SOPS 2341038 HAS SOUS 475244 HAS SOUPS 194301 WITH SCORE 198922.673
AT ITER 1756 NEW BEST:: SOT 5640643 SOS 4628529 HAS SOPS 2344230 HAS SOUS 474825 HAS SOUPS 193882 WITH SCORE 198510.529
AT ITER 1778 NEW BEST:: SOT 5640490 SOS 4628223 HAS SOPS 2344536 HAS SOUS 474518 HAS SOUPS 193728 WITH SCORE 198356.223
AT ITER 1785 NEW BEST:: SOT 5639795 SOS 4628467 HAS SOPS 2344229 HAS SOUS 474303 HAS SOUPS 193513 WITH SCORE 198141.467
AT ITER 1793 NEW BEST:: SOT 5639578 SOS 4629841 HAS SOPS 2344907 HAS SOUS 474221 HAS SOUPS 193431 WITH SCORE 198060.84100000001
AT ITER 1811 NEW BEST:: SOT 5641525 SOS 4639671 HAS SOPS 2348766 HAS SOUS 473719 HAS SOUPS 192710 WITH SCORE 197349.671
AT ITER 1825 NEW BEST:: SOT 5641117 SOS 4639263 HAS SOPS 2348358 HAS SOUS 473617 HAS SOUPS 192608 WITH SCORE 197247.263
AT ITER 1842 NEW BEST:: SOT 5639905 SOS 4642863 HAS SOPS 2349542 HAS SOUS 473169 HAS SOUPS 192160 WITH SCORE 196802.863
AT ITER 1852 NEW BEST:: SOT 5639697 SOS 4643631 HAS SOPS 2349710 HAS SOUS 473192 HAS SOUPS 192133 WITH SCORE 196776.631
AT ITER 1853 NEW BEST:: SOT 5639880 SOS 4639557 HAS SOPS 2347856 HAS SOUS 473005 HAS SOUPS 192131 WITH SCORE 196770.557
AT ITER 1864 NEW BEST:: SOT 5640426 SOS 4634631 HAS SOPS 2344902 HAS SOUS 472330 HAS SOUPS 191463 WITH SCORE 196097.631
AT ITER 1866 NEW BEST:: SOT 5640360 SOS 4634499 HAS SOPS 2344770 HAS SOUS 472264 HAS SOUPS 191397 WITH SCORE 196031.499
AT ITER 1870 NEW BEST:: SOT 5642794 SOS 4636643 HAS SOPS 2346914 HAS SOUS 471942 HAS SOUPS 191366 WITH SCORE 196002.643
AT ITER 1878 NEW BEST:: SOT 5641744 SOS 4634543 HAS SOPS 2346550 HAS SOUS 471054 HAS SOUPS 190912 WITH SCORE 195546.543
AT ITER 1884 NEW BEST:: SOT 5641744 SOS 4634543 HAS SOPS 2346550 HAS SOUS 471002 HAS SOUPS 190860 WITH SCORE 195494.543
AT ITER 1888 NEW BEST:: SOT 5641744 SOS 4634543 HAS SOPS 2346550 HAS SOUS 470970 HAS SOUPS 190828 WITH SCORE 195462.543
AT ITER 1898 NEW BEST:: SOT 5641628 SOS 4633828 HAS SOPS 2345835 HAS SOUS 470895 HAS SOUPS 190753 WITH SCORE 195386.828
AT ITER 1900 NEW BEST:: SOT 5641403 SOS 4633506 HAS SOPS 2345513 HAS SOUS 470510 HAS SOUPS 190368 WITH SCORE 195001.506
AT ITER 1904 NEW BEST:: SOT 5641403 SOS 4633506 HAS SOPS 2345513 HAS SOUS 470360 HAS SOUPS 190218 WITH SCORE 194851.506
AT ITER 1915 NEW BEST:: SOT 5633663 SOS 4622759 HAS SOPS 2340796 HAS SOUS 469630 HAS SOUPS 190079 WITH SCORE 194701.759
AT ITER 1918 NEW BEST:: SOT 5631222 SOS 4619864 HAS SOPS 2338957 HAS SOUS 469375 HAS SOUPS 189824 WITH SCORE 194443.864
AT ITER 1927 NEW BEST:: SOT 5622820 SOS 4607984 HAS SOPS 2333757 HAS SOUS 468533 HAS SOUPS 189650 WITH SCORE 194257.984
AT ITER 1930 NEW BEST:: SOT 5622820 SOS 4607984 HAS SOPS 2333757 HAS SOUS 468393 HAS SOUPS 189510 WITH SCORE 194117.984
AT ITER 1948 NEW BEST:: SOT 5620460 SOS 4612716 HAS SOPS 2334721 HAS SOUS 467880 HAS SOUPS 188997 WITH SCORE 193609.71600000001
AT ITER 1971 NEW BEST:: SOT 5620460 SOS 4612716 HAS SOPS 2334721 HAS SOUS 467858 HAS SOUPS 188975 WITH SCORE 193587.71600000001
AT ITER 1972 NEW BEST:: SOT 5620228 SOS 4616940 HAS SOPS 2336605 HAS SOUS 468016 HAS SOUPS 188938 WITH SCORE 193554.94
AT ITER 1974 NEW BEST:: SOT 5620228 SOS 4616940 HAS SOPS 2336605 HAS SOUS 467984 HAS SOUPS 188906 WITH SCORE 193522.94
AT ITER 2032 NEW BEST:: SOT 5620058 SOS 4616536 HAS SOPS 2336581 HAS SOUS 467719 HAS SOUPS 188736 WITH SCORE 193352.536
AT ITER 2074 NEW BEST:: SOT 5619988 SOS 4616396 HAS SOPS 2336441 HAS SOUS 467530 HAS SOUPS 188547 WITH SCORE 193163.396
AT ITER 2081 NEW BEST:: SOT 5619832 SOS 4616084 HAS SOPS 2336129 HAS SOUS 467035 HAS SOUPS 188052 WITH SCORE 192668.084
AT ITER 2083 NEW BEST:: SOT 5619816 SOS 4616020 HAS SOPS 2336097 HAS SOUS 467003 HAS SOUPS 188028 WITH SCORE 192644.02
AT ITER 2086 NEW BEST:: SOT 5614794 SOS 4609395 HAS SOPS 2332847 HAS SOUS 466701 HAS SOUPS 188012 WITH SCORE 192621.395
AT ITER 2094 NEW BEST:: SOT 5614829 SOS 4609197 HAS SOPS 2332649 HAS SOUS 466618 HAS SOUPS 187929 WITH SCORE 192538.197
AT ITER 2105 NEW BEST:: SOT 5614829 SOS 4609197 HAS SOPS 2332649 HAS SOUS 466606 HAS SOUPS 187917 WITH SCORE 192526.197
AT ITER 2118 NEW BEST:: SOT 5614841 SOS 4609221 HAS SOPS 2332673 HAS SOUS 466584 HAS SOUPS 187895 WITH SCORE 192504.221
AT ITER 2120 NEW BEST:: SOT 5614821 SOS 4609181 HAS SOPS 2332633 HAS SOUS 466564 HAS SOUPS 187875 WITH SCORE 192484.181
AT ITER 2131 NEW BEST:: SOT 5614816 SOS 4609171 HAS SOPS 2332195 HAS SOUS 466630 HAS SOUPS 187834 WITH SCORE 192443.171
AT ITER 2144 NEW BEST:: SOT 5614696 SOS 4608835 HAS SOPS 2332919 HAS SOUS 466199 HAS SOUPS 187668 WITH SCORE 192276.835
AT ITER 2160 NEW BEST:: SOT 5614657 SOS 4609077 HAS SOPS 2332669 HAS SOUS 466283 HAS SOUPS 187629 WITH SCORE 192238.077
AT ITER 2162 NEW BEST:: SOT 5614642 SOS 4609047 HAS SOPS 2332639 HAS SOUS 466268 HAS SOUPS 187614 WITH SCORE 192223.047
AT ITER 2172 NEW BEST:: SOT 5614642 SOS 4609047 HAS SOPS 2333263 HAS SOUS 465956 HAS SOUPS 187458 WITH SCORE 192067.047
AT ITER 2184 NEW BEST:: SOT 5614390 SOS 4609247 HAS SOPS 2332935 HAS SOUS 465798 HAS SOUPS 187256 WITH SCORE 191865.247
AT ITER 2227 NEW BEST:: SOT 5612705 SOS 4607040 HAS SOPS 2331646 HAS SOUS 465794 HAS SOUPS 187252 WITH SCORE 191859.04
AT ITER 2261 NEW BEST:: SOT 5609212 SOS 4602313 HAS SOPS 2328611 HAS SOUS 465751 HAS SOUPS 187209 WITH SCORE 191811.313
AT ITER 2274 NEW BEST:: SOT 5603061 SOS 4594336 HAS SOPS 2324294 HAS SOUS 465426 HAS SOUPS 187049 WITH SCORE 191643.336
AT ITER 2289 NEW BEST:: SOT 5603059 SOS 4593542 HAS SOPS 2323500 HAS SOUS 465426 HAS SOUPS 187049 WITH SCORE 191642.542
AT ITER 2329 NEW BEST:: SOT 5603059 SOS 4593542 HAS SOPS 2323500 HAS SOUS 465276 HAS SOUPS 186899 WITH SCORE 191492.542
AT ITER 2350 NEW BEST:: SOT 5602990 SOS 4593404 HAS SOPS 2323362 HAS SOUS 465138 HAS SOUPS 186761 WITH SCORE 191354.404
AT ITER 2352 NEW BEST:: SOT 5603016 SOS 4586544 HAS SOPS 2319958 HAS SOUS 464834 HAS SOUPS 186745 WITH SCORE 191331.544
AT ITER 2354 NEW BEST:: SOT 5602951 SOS 4586414 HAS SOPS 2319828 HAS SOUS 464814 HAS SOUPS 186725 WITH SCORE 191311.414
AT ITER 2360 NEW BEST:: SOT 5602944 SOS 4585884 HAS SOPS 2319814 HAS SOUS 464678 HAS SOUPS 186718 WITH SCORE 191303.884
AT ITER 2391 NEW BEST:: SOT 5602608 SOS 4585212 HAS SOPS 2319490 HAS SOUS 464516 HAS SOUPS 186643 WITH SCORE 191228.212
AT ITER 2413 NEW BEST:: SOT 5603576 SOS 4587148 HAS SOPS 2320006 HAS SOUS 464698 HAS SOUPS 186470 WITH SCORE 191057.148
AT ITER 2421 NEW BEST:: SOT 5603476 SOS 4587048 HAS SOPS 2319906 HAS SOUS 464662 HAS SOUPS 186434 WITH SCORE 191021.048
AT ITER 2434 NEW BEST:: SOT 5603261 SOS 4586833 HAS SOPS 2319691 HAS SOUS 464525 HAS SOUPS 186297 WITH SCORE 190883.833
AT ITER 2464 NEW BEST:: SOT 5602598 SOS 4589875 HAS SOPS 2321277 HAS SOUS 464044 HAS SOUPS 185816 WITH SCORE 190405.875
AT ITER 2467 NEW BEST:: SOT 5602598 SOS 4589875 HAS SOPS 2321277 HAS SOUS 463894 HAS SOUPS 185666 WITH SCORE 190255.875
AT ITER 2477 NEW BEST:: SOT 5602598 SOS 4589827 HAS SOPS 2321277 HAS SOUS 463882 HAS SOUPS 185666 WITH SCORE 190255.827
AT ITER 2497 NEW BEST:: SOT 5602598 SOS 4589827 HAS SOPS 2321277 HAS SOUS 463746 HAS SOUPS 185530 WITH SCORE 190119.827
AT ITER 2499 NEW BEST:: SOT 5602409 SOS 4588493 HAS SOPS 2321087 HAS SOUS 463247 HAS SOUPS 185317 WITH SCORE 189905.493
AT ITER 2515 NEW BEST:: SOT 5602409 SOS 4588493 HAS SOPS 2321087 HAS SOUS 463097 HAS SOUPS 185167 WITH SCORE 189755.493
AT ITER 2520 NEW BEST:: SOT 5600953 SOS 4586719 HAS SOPS 2319949 HAS SOUS 462913 HAS SOUPS 184983 WITH SCORE 189569.719
AT ITER 2565 NEW BEST:: SOT 5600977 SOS 4585487 HAS SOPS 2318717 HAS SOUS 462859 HAS SOUPS 184929 WITH SCORE 189514.487
AT ITER 2572 NEW BEST:: SOT 5600726 SOS 4583545 HAS SOPS 2318227 HAS SOUS 462193 HAS SOUPS 184626 WITH SCORE 189209.545
AT ITER 2583 NEW BEST:: SOT 5600546 SOS 4583325 HAS SOPS 2318007 HAS SOUS 462193 HAS SOUPS 184606 WITH SCORE 189189.325
AT ITER 2589 NEW BEST:: SOT 5600546 SOS 4583325 HAS SOPS 2318007 HAS SOUS 462061 HAS SOUPS 184474 WITH SCORE 189057.325
AT ITER 2590 NEW BEST:: SOT 5599094 SOS 4585037 HAS SOPS 2317079 HAS SOUS 461585 HAS SOUPS 183778 WITH SCORE 188363.037
AT ITER 2592 NEW BEST:: SOT 5594054 SOS 4578608 HAS SOPS 2312960 HAS SOUS 461357 HAS SOUPS 183550 WITH SCORE 188128.608
AT ITER 2613 NEW BEST:: SOT 5594054 SOS 4578608 HAS SOPS 2312960 HAS SOUS 461323 HAS SOUPS 183516 WITH SCORE 188094.608
AT ITER 2617 NEW BEST:: SOT 5594156 SOS 4577668 HAS SOPS 2313324 HAS SOUS 460848 HAS SOUPS 183367 WITH SCORE 187944.668
AT ITER 2622 NEW BEST:: SOT 5594091 SOS 4577538 HAS SOPS 2313194 HAS SOUS 460837 HAS SOUPS 183356 WITH SCORE 187933.538
AT ITER 2632 NEW BEST:: SOT 5593926 SOS 4577208 HAS SOPS 2312864 HAS SOUS 460656 HAS SOUPS 183175 WITH SCORE 187752.208
AT ITER 2698 NEW BEST:: SOT 5593826 SOS 4577008 HAS SOPS 2312664 HAS SOUS 460556 HAS SOUPS 183075 WITH SCORE 187652.008
AT ITER 2699 NEW BEST:: SOT 5590106 SOS 4571824 HAS SOPS 2310320 HAS SOUS 460193 HAS SOUPS 182996 WITH SCORE 187567.824
AT ITER 2703 NEW BEST:: SOT 5590106 SOS 4571824 HAS SOPS 2310320 HAS SOUS 460135 HAS SOUPS 182938 WITH SCORE 187509.824
AT ITER 2715 NEW BEST:: SOT 5590370 SOS 4572176 HAS SOPS 2310452 HAS SOUS 460135 HAS SOUPS 182916 WITH SCORE 187488.176
AT ITER 2720 NEW BEST:: SOT 5589271 SOS 4569978 HAS SOPS 2309522 HAS SOUS 459446 HAS SOUPS 182544 WITH SCORE 187113.978
AT ITER 2727 NEW BEST:: SOT 5588651 SOS 4568738 HAS SOPS 2308778 HAS SOUS 458950 HAS SOUPS 182172 WITH SCORE 186740.738
AT ITER 2740 NEW BEST:: SOT 5588651 SOS 4568738 HAS SOPS 2308778 HAS SOUS 458940 HAS SOUPS 182162 WITH SCORE 186730.738
AT ITER 2759 NEW BEST:: SOT 5587715 SOS 4569728 HAS SOPS 2308699 HAS SOUS 458458 HAS SOUPS 181680 WITH SCORE 186249.728
AT ITER 2760 NEW BEST:: SOT 5587715 SOS 4569572 HAS SOPS 2308543 HAS SOUS 458419 HAS SOUPS 181641 WITH SCORE 186210.572
AT ITER 2762 NEW BEST:: SOT 5588243 SOS 4570276 HAS SOPS 2308807 HAS SOUS 458375 HAS SOUPS 181553 WITH SCORE 186123.276
AT ITER 2773 NEW BEST:: SOT 5586802 SOS 4567674 HAS SOPS 2306205 HAS SOUS 457957 HAS SOUPS 181135 WITH SCORE 185702.674
AT ITER 2781 NEW BEST:: SOT 5586800 SOS 4567670 HAS SOPS 2306285 HAS SOUS 457934 HAS SOUPS 181133 WITH SCORE 185700.67
AT ITER 2785 NEW BEST:: SOT 5586800 SOS 4566974 HAS SOPS 2305589 HAS SOUS 457934 HAS SOUPS 181133 WITH SCORE 185699.974
AT ITER 2834 NEW BEST:: SOT 5586468 SOS 4565890 HAS SOPS 2305285 HAS SOUS 457360 HAS SOUPS 180754 WITH SCORE 185319.89
AT ITER 2843 NEW BEST:: SOT 5586457 SOS 4565868 HAS SOPS 2305263 HAS SOUS 457349 HAS SOUPS 180743 WITH SCORE 185308.868
AT ITER 2859 NEW BEST:: SOT 5586457 SOS 4565868 HAS SOPS 2305263 HAS SOUS 457199 HAS SOUPS 180593 WITH SCORE 185158.868
AT ITER 2878 NEW BEST:: SOT 5585825 SOS 4564604 HAS SOPS 2304839 HAS SOUS 456987 HAS SOUPS 180591 WITH SCORE 185155.604
AT ITER 2886 NEW BEST:: SOT 5585531 SOS 4563092 HAS SOPS 2303327 HAS SOUS 456616 HAS SOUPS 180220 WITH SCORE 184783.092
AT ITER 2889 NEW BEST:: SOT 5585380 SOS 4562790 HAS SOPS 2303025 HAS SOUS 456499 HAS SOUPS 180103 WITH SCORE 184665.79
AT ITER 2899 NEW BEST:: SOT 5585380 SOS 4562790 HAS SOPS 2303025 HAS SOUS 456451 HAS SOUPS 180055 WITH SCORE 184617.79
AT ITER 2903 NEW BEST:: SOT 5584900 SOS 4564790 HAS SOPS 2303841 HAS SOUS 456352 HAS SOUPS 179956 WITH SCORE 184520.79
AT ITER 2912 NEW BEST:: SOT 5585010 SOS 4565010 HAS SOPS 2304061 HAS SOUS 456316 HAS SOUPS 179920 WITH SCORE 184485.01
AT ITER 2913 NEW BEST:: SOT 5584890 SOS 4564890 HAS SOPS 2303941 HAS SOUS 456256 HAS SOUPS 179860 WITH SCORE 184424.89
AT ITER 2927 NEW BEST:: SOT 5584420 SOS 4563476 HAS SOPS 2303555 HAS SOUS 455898 HAS SOUPS 179732 WITH SCORE 184295.476
AT ITER 2932 NEW BEST:: SOT 5584402 SOS 4563404 HAS SOPS 2303483 HAS SOUS 455871 HAS SOUPS 179705 WITH SCORE 184268.404
AT ITER 2937 NEW BEST:: SOT 5576055 SOS 4551785 HAS SOPS 2298354 HAS SOUS 455186 HAS SOUPS 179649 WITH SCORE 184200.785
AT ITER 2939 NEW BEST:: SOT 5576046 SOS 4551734 HAS SOPS 2298303 HAS SOUS 455184 HAS SOUPS 179647 WITH SCORE 184198.734
AT ITER 2946 NEW BEST:: SOT 5576044 SOS 4551826 HAS SOPS 2298395 HAS SOUS 455182 HAS SOUPS 179645 WITH SCORE 184196.826
AT ITER 2963 NEW BEST:: SOT 5575392 SOS 4556966 HAS SOPS 2299395 HAS SOUS 455106 HAS SOUPS 179224 WITH SCORE 183780.96600000001
AT ITER 2983 NEW BEST:: SOT 5574908 SOS 4555998 HAS SOPS 2298427 HAS SOUS 454978 HAS SOUPS 179096 WITH SCORE 183651.998
AT ITER 2990 NEW BEST:: SOT 5574926 SOS 4555914 HAS SOPS 2298383 HAS SOUS 454976 HAS SOUPS 179094 WITH SCORE 183649.914
AT ITER 3009 NEW BEST:: SOT 5574926 SOS 4555914 HAS SOPS 2298383 HAS SOUS 455269 HAS SOUPS 179092 WITH SCORE 183647.914
AT ITER 3020 NEW BEST:: SOT 5574864 SOS 4555586 HAS SOPS 2298259 HAS SOUS 455135 HAS SOUPS 179009 WITH SCORE 183564.586
AT ITER 3023 NEW BEST:: SOT 5574873 SOS 4555388 HAS SOPS 2298133 HAS SOUS 455135 HAS SOUPS 179009 WITH SCORE 183564.388
AT ITER 3042 NEW BEST:: SOT 5574573 SOS 4554188 HAS SOPS 2297533 HAS SOUS 454685 HAS SOUPS 178709 WITH SCORE 183263.188
AT ITER 3043 NEW BEST:: SOT 5574573 SOS 4554188 HAS SOPS 2297533 HAS SOUS 454601 HAS SOUPS 178625 WITH SCORE 183179.188
AT ITER 3045 NEW BEST:: SOT 5574425 SOS 4553900 HAS SOPS 2295345 HAS SOUS 454833 HAS SOUPS 178382 WITH SCORE 182935.9
AT ITER 3047 NEW BEST:: SOT 5574251 SOS 4552996 HAS SOPS 2294441 HAS SOUS 454611 HAS SOUPS 178160 WITH SCORE 182712.996
AT ITER 3054 NEW BEST:: SOT 5574082 SOS 4552658 HAS SOPS 2294103 HAS SOUS 454402 HAS SOUPS 177951 WITH SCORE 182503.658
AT ITER 3066 NEW BEST:: SOT 5573961 SOS 4552416 HAS SOPS 2293861 HAS SOUS 454329 HAS SOUPS 177878 WITH SCORE 182430.416
AT ITER 3085 NEW BEST:: SOT 5573927 SOS 4550380 HAS SOPS 2292481 HAS SOUS 454131 HAS SOUPS 177680 WITH SCORE 182230.38
AT ITER 3088 NEW BEST:: SOT 5573979 SOS 4547976 HAS SOPS 2292481 HAS SOUS 454131 HAS SOUPS 177680 WITH SCORE 182227.976
AT ITER 3115 NEW BEST:: SOT 5573825 SOS 4547124 HAS SOPS 2292173 HAS SOUS 453569 HAS SOUPS 177254 WITH SCORE 181801.124
AT ITER 3119 NEW BEST:: SOT 5573763 SOS 4547000 HAS SOPS 2292945 HAS SOUS 453283 HAS SOUPS 177192 WITH SCORE 181739.0
AT ITER 3122 NEW BEST:: SOT 5573762 SOS 4546590 HAS SOPS 2292943 HAS SOUS 453149 HAS SOUPS 177160 WITH SCORE 181706.59
AT ITER 3142 NEW BEST:: SOT 5573717 SOS 4546680 HAS SOPS 2292529 HAS SOUS 453230 HAS SOUPS 177115 WITH SCORE 181661.68
AT ITER 3145 NEW BEST:: SOT 5573552 SOS 4546425 HAS SOPS 2292364 HAS SOUS 453230 HAS SOUPS 177115 WITH SCORE 181661.425
AT ITER 3156 NEW BEST:: SOT 5576937 SOS 4550420 HAS SOPS 2293854 HAS SOUS 452544 HAS SOUPS 176230 WITH SCORE 180780.42
AT ITER 3199 NEW BEST:: SOT 5576937 SOS 4550420 HAS SOPS 2293854 HAS SOUS 452452 HAS SOUPS 176138 WITH SCORE 180688.42
AT ITER 3204 NEW BEST:: SOT 5576918 SOS 4550382 HAS SOPS 2293816 HAS SOUS 452433 HAS SOUPS 176119 WITH SCORE 180669.382
AT ITER 3235 NEW BEST:: SOT 5576851 SOS 4550248 HAS SOPS 2294258 HAS SOUS 452222 HAS SOUPS 176052 WITH SCORE 180602.248
AT ITER 3261 NEW BEST:: SOT 5576815 SOS 4549844 HAS SOPS 2293854 HAS SOUS 452213 HAS SOUPS 176043 WITH SCORE 180592.844
AT ITER 3269 NEW BEST:: SOT 5576715 SOS 4549644 HAS SOPS 2293654 HAS SOUS 452116 HAS SOUPS 175946 WITH SCORE 180495.644
AT ITER 3275 NEW BEST:: SOT 5576697 SOS 4549608 HAS SOPS 2293618 HAS SOUS 452100 HAS SOUPS 175930 WITH SCORE 180479.608
AT ITER 3278 NEW BEST:: SOT 5579205 SOS 4552952 HAS SOPS 2294872 HAS SOUS 452159 HAS SOUPS 175780 WITH SCORE 180332.952
AT ITER 3295 NEW BEST:: SOT 5573613 SOS 4545194 HAS SOPS 2291454 HAS SOUS 451721 HAS SOUPS 175776 WITH SCORE 180321.194
AT ITER 3297 NEW BEST:: SOT 5573279 SOS 4550566 HAS SOPS 2293538 HAS SOUS 451761 HAS SOUPS 175542 WITH SCORE 180092.566
AT ITER 3298 NEW BEST:: SOT 5573253 SOS 4550878 HAS SOPS 2293694 HAS SOUS 451761 HAS SOUPS 175529 WITH SCORE 180079.878
AT ITER 3324 NEW BEST:: SOT 5573008 SOS 4549572 HAS SOPS 2293204 HAS SOUS 451269 HAS SOUPS 175241 WITH SCORE 179790.572
AT ITER 3325 NEW BEST:: SOT 5573008 SOS 4549572 HAS SOPS 2293204 HAS SOUS 451187 HAS SOUPS 175159 WITH SCORE 179708.572
AT ITER 3337 NEW BEST:: SOT 5572920 SOS 4549396 HAS SOPS 2293116 HAS SOUS 451143 HAS SOUPS 175137 WITH SCORE 179686.396
AT ITER 3371 NEW BEST:: SOT 5572902 SOS 4549360 HAS SOPS 2294080 HAS SOUS 450881 HAS SOUPS 175125 WITH SCORE 179674.36
AT ITER 3383 NEW BEST:: SOT 5572205 SOS 4547966 HAS SOPS 2293490 HAS SOUS 450515 HAS SOUPS 174960 WITH SCORE 179507.96600000001
AT ITER 3404 NEW BEST:: SOT 5572011 SOS 4548178 HAS SOPS 2293342 HAS SOUS 450429 HAS SOUPS 174844 WITH SCORE 179392.178
AT ITER 3414 NEW BEST:: SOT 5572011 SOS 4548178 HAS SOPS 2293342 HAS SOUS 450311 HAS SOUPS 174726 WITH SCORE 179274.178
AT ITER 3417 NEW BEST:: SOT 5571866 SOS 4548828 HAS SOPS 2293616 HAS SOUS 450216 HAS SOUPS 174631 WITH SCORE 179179.828
AT ITER 3422 NEW BEST:: SOT 5571874 SOS 4548844 HAS SOPS 2293632 HAS SOUS 450184 HAS SOUPS 174599 WITH SCORE 179147.844
AT ITER 3441 NEW BEST:: SOT 5571787 SOS 4548433 HAS SOPS 2293113 HAS SOUS 450076 HAS SOUPS 174491 WITH SCORE 179039.433
AT ITER 3452 NEW BEST:: SOT 5571782 SOS 4548423 HAS SOPS 2293103 HAS SOUS 450071 HAS SOUPS 174486 WITH SCORE 179034.423
AT ITER 3476 NEW BEST:: SOT 5570907 SOS 4553845 HAS SOPS 2295789 HAS SOUS 449842 HAS SOUPS 174257 WITH SCORE 178810.845
AT ITER 3477 NEW BEST:: SOT 5570856 SOS 4553563 HAS SOPS 2295507 HAS SOUS 449791 HAS SOUPS 174206 WITH SCORE 178759.563
AT ITER 3482 NEW BEST:: SOT 5571224 SOS 4549963 HAS SOPS 2293467 HAS SOUS 449651 HAS SOUPS 174066 WITH SCORE 178615.963
AT ITER 3490 NEW BEST:: SOT 5570937 SOS 4549389 HAS SOPS 2292893 HAS SOUS 449387 HAS SOUPS 173802 WITH SCORE 178351.389
AT ITER 3500 NEW BEST:: SOT 5570945 SOS 4549465 HAS SOPS 2292797 HAS SOUS 449343 HAS SOUPS 173728 WITH SCORE 178277.465
AT ITER 3501 NEW BEST:: SOT 5570873 SOS 4549105 HAS SOPS 2292725 HAS SOUS 449199 HAS SOUPS 173656 WITH SCORE 178205.105
AT ITER 3535 NEW BEST:: SOT 5570871 SOS 4548311 HAS SOPS 2291931 HAS SOUS 449199 HAS SOUPS 173656 WITH SCORE 178204.311
AT ITER 3546 NEW BEST:: SOT 5570859 SOS 4548287 HAS SOPS 2291907 HAS SOUS 449187 HAS SOUPS 173644 WITH SCORE 178192.287
AT ITER 3547 NEW BEST:: SOT 5570860 SOS 4548265 HAS SOPS 2291893 HAS SOUS 449187 HAS SOUPS 173644 WITH SCORE 178192.265
AT ITER 3579 NEW BEST:: SOT 5570844 SOS 4548233 HAS SOPS 2291861 HAS SOUS 449183 HAS SOUPS 173640 WITH SCORE 178188.233
AT ITER 3592 NEW BEST:: SOT 5570376 SOS 4549633 HAS SOPS 2291509 HAS SOUS 448993 HAS SOUPS 173304 WITH SCORE 177853.633
AT ITER 3598 NEW BEST:: SOT 5570352 SOS 4549649 HAS SOPS 2291493 HAS SOUS 448985 HAS SOUPS 173296 WITH SCORE 177845.649
AT ITER 3608 NEW BEST:: SOT 5570352 SOS 4549649 HAS SOPS 2291493 HAS SOUS 448983 HAS SOUPS 173294 WITH SCORE 177843.649
AT ITER 3611 NEW BEST:: SOT 5570230 SOS 4550717 HAS SOPS 2291829 HAS SOUS 449004 HAS SOUPS 173254 WITH SCORE 177804.717
AT ITER 3621 NEW BEST:: SOT 5570260 SOS 4549177 HAS SOPS 2291041 HAS SOUS 448878 HAS SOUPS 173128 WITH SCORE 177677.177
AT ITER 3623 NEW BEST:: SOT 5570260 SOS 4549177 HAS SOPS 2291041 HAS SOUS 448728 HAS SOUPS 172978 WITH SCORE 177527.177
AT ITER 3624 NEW BEST:: SOT 5569938 SOS 4548533 HAS SOPS 2288921 HAS SOUS 448622 HAS SOUPS 172503 WITH SCORE 177051.533
AT ITER 3658 NEW BEST:: SOT 5569826 SOS 4548309 HAS SOPS 2288697 HAS SOUS 448510 HAS SOUPS 172391 WITH SCORE 176939.309
AT ITER 3675 NEW BEST:: SOT 5571758 SOS 4550885 HAS SOPS 2289663 HAS SOUS 448349 HAS SOUPS 172069 WITH SCORE 176619.885
AT ITER 3705 NEW BEST:: SOT 5571758 SOS 4550885 HAS SOPS 2289663 HAS SOUS 448323 HAS SOUPS 172043 WITH SCORE 176593.885
AT ITER 3710 NEW BEST:: SOT 5571737 SOS 4551131 HAS SOPS 2289909 HAS SOUS 448302 HAS SOUPS 172022 WITH SCORE 176573.131
AT ITER 3734 NEW BEST:: SOT 5571579 SOS 4550815 HAS SOPS 2289593 HAS SOUS 447922 HAS SOUPS 171642 WITH SCORE 176192.815
AT ITER 3745 NEW BEST:: SOT 5572875 SOS 4552543 HAS SOPS 2290241 HAS SOUS 447814 HAS SOUPS 171426 WITH SCORE 175978.543
AT ITER 3768 NEW BEST:: SOT 5572838 SOS 4552358 HAS SOPS 2290204 HAS SOUS 447703 HAS SOUPS 171352 WITH SCORE 175904.358
AT ITER 3771 NEW BEST:: SOT 5572778 SOS 4552330 HAS SOPS 2289860 HAS SOUS 447638 HAS SOUPS 171208 WITH SCORE 175760.33
AT ITER 3784 NEW BEST:: SOT 5572688 SOS 4552150 HAS SOPS 2289680 HAS SOUS 447503 HAS SOUPS 171073 WITH SCORE 175625.15
AT ITER 3809 NEW BEST:: SOT 5572663 SOS 4552100 HAS SOPS 2289630 HAS SOUS 447478 HAS SOUPS 171048 WITH SCORE 175600.1
AT ITER 3865 NEW BEST:: SOT 5572441 SOS 4551515 HAS SOPS 2289530 HAS SOUS 447256 HAS SOUPS 170927 WITH SCORE 175478.515
AT ITER 3872 NEW BEST:: SOT 5572441 SOS 4551515 HAS SOPS 2289530 HAS SOUS 447148 HAS SOUPS 170819 WITH SCORE 175370.515
AT ITER 3901 NEW BEST:: SOT 5572338 SOS 4551309 HAS SOPS 2289592 HAS SOUS 446911 HAS SOUPS 170649 WITH SCORE 175200.309
AT ITER 3921 NEW BEST:: SOT 5572542 SOS 4551581 HAS SOPS 2289694 HAS SOUS 446894 HAS SOUPS 170615 WITH SCORE 175166.581
AT ITER 3950 NEW BEST:: SOT 5572539 SOS 4551563 HAS SOPS 2289688 HAS SOUS 446883 HAS SOUPS 170607 WITH SCORE 175158.563
AT ITER 3952 NEW BEST:: SOT 5572539 SOS 4551563 HAS SOPS 2289688 HAS SOUS 446767 HAS SOUPS 170491 WITH SCORE 175042.563
AT ITER 3961 NEW BEST:: SOT 5572571 SOS 4551595 HAS SOPS 2289720 HAS SOUS 446685 HAS SOUPS 170409 WITH SCORE 174960.595
AT ITER 3972 NEW BEST:: SOT 5575480 SOS 4555634 HAS SOPS 2291499 HAS SOUS 446882 HAS SOUPS 170380 WITH SCORE 174935.634
AT ITER 3987 NEW BEST:: SOT 5575344 SOS 4555090 HAS SOPS 2291227 HAS SOUS 446678 HAS SOUPS 170244 WITH SCORE 174799.09
AT ITER 3990 NEW BEST:: SOT 5575344 SOS 4555090 HAS SOPS 2291227 HAS SOUS 446674 HAS SOUPS 170240 WITH SCORE 174795.09
AT ITER 3991 NEW BEST:: SOT 5575224 SOS 4554850 HAS SOPS 2291147 HAS SOUS 446608 HAS SOUPS 170214 WITH SCORE 174768.85
AT ITER 3992 NEW BEST:: SOT 5574968 SOS 4556594 HAS SOPS 2292139 HAS SOUS 446515 HAS SOUPS 170121 WITH SCORE 174677.594
AT ITER 4007 NEW BEST:: SOT 5575909 SOS 4553362 HAS SOPS 2290440 HAS SOUS 446470 HAS SOUPS 170076 WITH SCORE 174629.362
AT ITER 4013 NEW BEST:: SOT 5576045 SOS 4553498 HAS SOPS 2290474 HAS SOUS 446436 HAS SOUPS 170042 WITH SCORE 174595.498
AT ITER 4028 NEW BEST:: SOT 5576045 SOS 4553498 HAS SOPS 2290474 HAS SOUS 446400 HAS SOUPS 170006 WITH SCORE 174559.498
AT ITER 4046 NEW BEST:: SOT 5575877 SOS 4553162 HAS SOPS 2290138 HAS SOUS 446232 HAS SOUPS 169838 WITH SCORE 174391.162
AT ITER 4051 NEW BEST:: SOT 5575877 SOS 4553162 HAS SOPS 2290138 HAS SOUS 446082 HAS SOUPS 169688 WITH SCORE 174241.162
AT ITER 4063 NEW BEST:: SOT 5577416 SOS 4555217 HAS SOPS 2290903 HAS SOUS 446067 HAS SOUPS 169544 WITH SCORE 174099.217
AT ITER 4073 NEW BEST:: SOT 5577299 SOS 4553831 HAS SOPS 2290669 HAS SOUS 445634 HAS SOUPS 169399 WITH SCORE 173952.831
AT ITER 4078 NEW BEST:: SOT 5577299 SOS 4553831 HAS SOPS 2290669 HAS SOUS 445550 HAS SOUPS 169315 WITH SCORE 173868.831
AT ITER 4096 NEW BEST:: SOT 5577299 SOS 4553831 HAS SOPS 2290669 HAS SOUS 445532 HAS SOUPS 169297 WITH SCORE 173850.831
AT ITER 4097 NEW BEST:: SOT 5577332 SOS 4553105 HAS SOPS 2290207 HAS SOUS 445532 HAS SOUPS 169297 WITH SCORE 173850.105
AT ITER 4106 NEW BEST:: SOT 5577332 SOS 4553105 HAS SOPS 2290207 HAS SOUS 445518 HAS SOUPS 169283 WITH SCORE 173836.105
AT ITER 4117 NEW BEST:: SOT 5577310 SOS 4546921 HAS SOPS 2284023 HAS SOUS 445508 HAS SOUPS 169273 WITH SCORE 173819.921
AT ITER 4149 NEW BEST:: SOT 5577307 SOS 4546927 HAS SOPS 2284017 HAS SOUS 445505 HAS SOUPS 169267 WITH SCORE 173813.927
AT ITER 4150 NEW BEST:: SOT 5577266 SOS 4546645 HAS SOPS 2284155 HAS SOUS 445339 HAS SOUPS 169206 WITH SCORE 173752.645
AT ITER 4151 NEW BEST:: SOT 5577266 SOS 4546645 HAS SOPS 2284155 HAS SOUS 445331 HAS SOUPS 169198 WITH SCORE 173744.645
AT ITER 4166 NEW BEST:: SOT 5576827 SOS 4551743 HAS SOPS 2287261 HAS SOUS 445313 HAS SOUPS 169180 WITH SCORE 173731.743
AT ITER 4225 NEW BEST:: SOT 5576827 SOS 4551743 HAS SOPS 2287261 HAS SOUS 445013 HAS SOUPS 168880 WITH SCORE 173431.743
AT ITER 4229 NEW BEST:: SOT 5576845 SOS 4550707 HAS SOPS 2287297 HAS SOUS 444546 HAS SOUPS 168681 WITH SCORE 173231.707
AT ITER 4241 NEW BEST:: SOT 5576741 SOS 4550791 HAS SOPS 2287381 HAS SOUS 444462 HAS SOUPS 168597 WITH SCORE 173147.791
AT ITER 4244 NEW BEST:: SOT 5576725 SOS 4550759 HAS SOPS 2287349 HAS SOUS 444350 HAS SOUPS 168485 WITH SCORE 173035.759
AT ITER 4252 NEW BEST:: SOT 5576577 SOS 4550463 HAS SOPS 2287053 HAS SOUS 444213 HAS SOUPS 168348 WITH SCORE 172898.463
AT ITER 4283 NEW BEST:: SOT 5576577 SOS 4550463 HAS SOPS 2287053 HAS SOUS 444147 HAS SOUPS 168282 WITH SCORE 172832.463
AT ITER 4287 NEW BEST:: SOT 5576577 SOS 4550463 HAS SOPS 2287053 HAS SOUS 444141 HAS SOUPS 168276 WITH SCORE 172826.463
AT ITER 4294 NEW BEST:: SOT 5576577 SOS 4550463 HAS SOPS 2287053 HAS SOUS 444053 HAS SOUPS 168188 WITH SCORE 172738.463
AT ITER 4301 NEW BEST:: SOT 5576489 SOS 4550287 HAS SOPS 2286701 HAS SOUS 444008 HAS SOUPS 168099 WITH SCORE 172649.287
AT ITER 4313 NEW BEST:: SOT 5576429 SOS 4550167 HAS SOPS 2286461 HAS SOUS 443931 HAS SOUPS 167992 WITH SCORE 172542.167
AT ITER 4321 NEW BEST:: SOT 5576431 SOS 4550123 HAS SOPS 2286433 HAS SOUS 443931 HAS SOUPS 167992 WITH SCORE 172542.123
AT ITER 4339 NEW BEST:: SOT 5576431 SOS 4550123 HAS SOPS 2286433 HAS SOUS 443891 HAS SOUPS 167952 WITH SCORE 172502.123
AT ITER 4408 NEW BEST:: SOT 5576655 SOS 4545435 HAS SOPS 2284313 HAS SOUS 443422 HAS SOUPS 167697 WITH SCORE 172242.435
AT ITER 4410 NEW BEST:: SOT 5576481 SOS 4545087 HAS SOPS 2283965 HAS SOUS 443248 HAS SOUPS 167523 WITH SCORE 172068.087
AT ITER 4425 NEW BEST:: SOT 5576460 SOS 4544961 HAS SOPS 2283923 HAS SOUS 443204 HAS SOUPS 167500 WITH SCORE 172044.961
AT ITER 4426 NEW BEST:: SOT 5576162 SOS 4544365 HAS SOPS 2284391 HAS SOUS 442842 HAS SOUPS 167404 WITH SCORE 171948.365
AT ITER 4430 NEW BEST:: SOT 5576246 SOS 4544477 HAS SOPS 2284433 HAS SOUS 442835 HAS SOUPS 167390 WITH SCORE 171934.477
AT ITER 4436 NEW BEST:: SOT 5576197 SOS 4543728 HAS SOPS 2284552 HAS SOUS 442385 HAS SOUPS 167157 WITH SCORE 171700.728
AT ITER 4443 NEW BEST:: SOT 5574875 SOS 4538188 HAS SOPS 2279012 HAS SOUS 441936 HAS SOUPS 166708 WITH SCORE 171246.188
AT ITER 4448 NEW BEST:: SOT 5574875 SOS 4538188 HAS SOPS 2279012 HAS SOUS 441934 HAS SOUPS 166706 WITH SCORE 171244.188
AT ITER 4466 NEW BEST:: SOT 5574777 SOS 4537880 HAS SOPS 2279154 HAS SOUS 441840 HAS SOUPS 166704 WITH SCORE 171241.88
AT ITER 4482 NEW BEST:: SOT 5573955 SOS 4536301 HAS SOPS 2278778 HAS SOUS 441498 HAS SOUPS 166585 WITH SCORE 171121.301
AT ITER 4494 NEW BEST:: SOT 5573649 SOS 4535689 HAS SOPS 2278626 HAS SOUS 441115 HAS SOUPS 166317 WITH SCORE 170852.689
AT ITER 4496 NEW BEST:: SOT 5573574 SOS 4535539 HAS SOPS 2278576 HAS SOUS 441090 HAS SOUPS 166317 WITH SCORE 170852.539
AT ITER 4518 NEW BEST:: SOT 5574071 SOS 4512309 HAS SOPS 2278856 HAS SOUS 440789 HAS SOUPS 166105 WITH SCORE 170617.309
AT ITER 4585 NEW BEST:: SOT 5574067 SOS 4512305 HAS SOPS 2278852 HAS SOUS 440785 HAS SOUPS 166101 WITH SCORE 170613.305
AT ITER 4593 NEW BEST:: SOT 5574127 SOS 4512385 HAS SOPS 2278882 HAS SOUS 440780 HAS SOUPS 166091 WITH SCORE 170603.385
AT ITER 4638 NEW BEST:: SOT 5574005 SOS 4512250 HAS SOPS 2278202 HAS SOUS 440606 HAS SOUPS 165808 WITH SCORE 170320.25
AT ITER 4643 NEW BEST:: SOT 5573975 SOS 4512190 HAS SOPS 2278022 HAS SOUS 440576 HAS SOUPS 165748 WITH SCORE 170260.19
AT ITER 4647 NEW BEST:: SOT 5573942 SOS 4512300 HAS SOPS 2278044 HAS SOUS 440554 HAS SOUPS 165726 WITH SCORE 170238.3
AT ITER 4652 NEW BEST:: SOT 5573942 SOS 4512300 HAS SOPS 2278044 HAS SOUS 440524 HAS SOUPS 165696 WITH SCORE 170208.3
AT ITER 4654 NEW BEST:: SOT 5572472 SOS 4510200 HAS SOPS 2276994 HAS SOUS 440209 HAS SOUPS 165486 WITH SCORE 169996.2
AT ITER 4659 NEW BEST:: SOT 5572453 SOS 4510181 HAS SOPS 2276975 HAS SOUS 440190 HAS SOUPS 165467 WITH SCORE 169977.181
AT ITER 4686 NEW BEST:: SOT 5572453 SOS 4510181 HAS SOPS 2276975 HAS SOUS 440186 HAS SOUPS 165463 WITH SCORE 169973.181
AT ITER 4696 NEW BEST:: SOT 5572239 SOS 4510014 HAS SOPS 2276808 HAS SOUS 439406 HAS SOUPS 164683 WITH SCORE 169193.014
AT ITER 4704 NEW BEST:: SOT 5572067 SOS 4509842 HAS SOPS 2276636 HAS SOUS 439363 HAS SOUPS 164640 WITH SCORE 169149.842
AT ITER 4710 NEW BEST:: SOT 5571745 SOS 4508931 HAS SOPS 2275725 HAS SOUS 438835 HAS SOUPS 164112 WITH SCORE 168620.931
AT ITER 4754 NEW BEST:: SOT 5571695 SOS 4508831 HAS SOPS 2275625 HAS SOUS 438785 HAS SOUPS 164062 WITH SCORE 168570.831
AT ITER 4778 NEW BEST:: SOT 5571520 SOS 4508981 HAS SOPS 2275475 HAS SOUS 438685 HAS SOUPS 163937 WITH SCORE 168445.981
AT ITER 4792 NEW BEST:: SOT 5571319 SOS 4507999 HAS SOPS 2275073 HAS SOUS 438216 HAS SOUPS 163613 WITH SCORE 168120.999
AT ITER 4845 NEW BEST:: SOT 5572149 SOS 4509121 HAS SOPS 2275465 HAS SOUS 438243 HAS SOUPS 163567 WITH SCORE 168076.121
AT ITER 4847 NEW BEST:: SOT 5572014 SOS 4509931 HAS SOPS 2275735 HAS SOUS 438243 HAS SOUPS 163522 WITH SCORE 168031.931
AT ITER 4864 NEW BEST:: SOT 5571991 SOS 4509781 HAS SOPS 2275585 HAS SOUS 438209 HAS SOUPS 163488 WITH SCORE 167997.781
AT ITER 4879 NEW BEST:: SOT 5571612 SOS 4514107 HAS SOPS 2277595 HAS SOUS 438338 HAS SOUPS 163424 WITH SCORE 167938.107
AT ITER 4894 NEW BEST:: SOT 5571750 SOS 4514383 HAS SOPS 2277871 HAS SOUS 438304 HAS SOUPS 163390 WITH SCORE 167904.383
AT ITER 4922 NEW BEST:: SOT 5571754 SOS 4514327 HAS SOPS 2277815 HAS SOUS 438265 HAS SOUPS 163351 WITH SCORE 167865.327
AT ITER 4930 NEW BEST:: SOT 5571607 SOS 4514033 HAS SOPS 2278325 HAS SOUS 438063 HAS SOUPS 163350 WITH SCORE 167864.033
AT ITER 4933 NEW BEST:: SOT 5571607 SOS 4514033 HAS SOPS 2278325 HAS SOUS 437951 HAS SOUPS 163238 WITH SCORE 167752.033
AT ITER 4959 NEW BEST:: SOT 5571607 SOS 4514033 HAS SOPS 2278325 HAS SOUS 437893 HAS SOUPS 163180 WITH SCORE 167694.033
AT ITER 4960 NEW BEST:: SOT 5571686 SOS 4513875 HAS SOPS 2278167 HAS SOUS 437893 HAS SOUPS 163180 WITH SCORE 167693.875
AT ITER 4978 NEW BEST:: SOT 5574299 SOS 4517360 HAS SOPS 2279772 HAS SOUS 437850 HAS SOUPS 163113 WITH SCORE 167630.36
AT ITER 4994 NEW BEST:: SOT 5573953 SOS 4516668 HAS SOPS 2279080 HAS SOUS 437610 HAS SOUPS 162873 WITH SCORE 167389.668
AT ITER 5028 NEW BEST:: SOT 5573953 SOS 4516548 HAS SOPS 2279080 HAS SOUS 437550 HAS SOUPS 162843 WITH SCORE 167359.548
AT ITER 5043 NEW BEST:: SOT 5573170 SOS 4514982 HAS SOPS 2278150 HAS SOUS 437068 HAS SOUPS 162520 WITH SCORE 167034.982
AT ITER 5052 NEW BEST:: SOT 5569518 SOS 4511056 HAS SOPS 2275916 HAS SOUS 437048 HAS SOUPS 162500 WITH SCORE 167011.056
AT ITER 5060 NEW BEST:: SOT 5569482 SOS 4510664 HAS SOPS 2275844 HAS SOUS 436840 HAS SOUPS 162372 WITH SCORE 166882.664
AT ITER 5062 NEW BEST:: SOT 5569362 SOS 4512024 HAS SOPS 2276404 HAS SOUS 436835 HAS SOUPS 162367 WITH SCORE 166879.024
AT ITER 5064 NEW BEST:: SOT 5569790 SOS 4512133 HAS SOPS 2276508 HAS SOUS 436694 HAS SOUPS 162320 WITH SCORE 166832.133
AT ITER 5073 NEW BEST:: SOT 5569790 SOS 4512133 HAS SOPS 2276508 HAS SOUS 436664 HAS SOUPS 162290 WITH SCORE 166802.133
AT ITER 5113 NEW BEST:: SOT 5569790 SOS 4512133 HAS SOPS 2276508 HAS SOUS 436660 HAS SOUPS 162286 WITH SCORE 166798.133
AT ITER 5125 NEW BEST:: SOT 5569934 SOS 4512277 HAS SOPS 2276580 HAS SOUS 436648 HAS SOUPS 162274 WITH SCORE 166786.277
AT ITER 5127 NEW BEST:: SOT 5569832 SOS 4512430 HAS SOPS 2276512 HAS SOUS 436614 HAS SOUPS 162223 WITH SCORE 166735.43
AT ITER 5148 NEW BEST:: SOT 5572074 SOS 4515132 HAS SOPS 2277924 HAS SOUS 436360 HAS SOUPS 161969 WITH SCORE 166484.132
AT ITER 5169 NEW BEST:: SOT 5571884 SOS 4517200 HAS SOPS 2279080 HAS SOUS 436284 HAS SOUPS 161893 WITH SCORE 166410.2
AT ITER 5181 NEW BEST:: SOT 5571882 SOS 4517260 HAS SOPS 2279076 HAS SOUS 436280 HAS SOUPS 161873 WITH SCORE 166390.26
AT ITER 5187 NEW BEST:: SOT 5572158 SOS 4513024 HAS SOPS 2276800 HAS SOUS 435910 HAS SOUPS 161503 WITH SCORE 166016.024
AT ITER 5223 NEW BEST:: SOT 5572170 SOS 4513048 HAS SOPS 2276464 HAS SOUS 435879 HAS SOUPS 161382 WITH SCORE 165895.048
AT ITER 5225 NEW BEST:: SOT 5571646 SOS 4512000 HAS SOPS 2276144 HAS SOUS 435553 HAS SOUPS 161238 WITH SCORE 165750.0
AT ITER 5234 NEW BEST:: SOT 5571577 SOS 4511862 HAS SOPS 2275730 HAS SOUS 435484 HAS SOUPS 161100 WITH SCORE 165611.862
AT ITER 5237 NEW BEST:: SOT 5571546 SOS 4512000 HAS SOPS 2275668 HAS SOUS 435472 HAS SOUPS 161038 WITH SCORE 165550.0
AT ITER 5240 NEW BEST:: SOT 5571096 SOS 4511100 HAS SOPS 2275168 HAS SOUS 435204 HAS SOUPS 160870 WITH SCORE 165381.1
AT ITER 5242 NEW BEST:: SOT 5567893 SOS 4506840 HAS SOPS 2273075 HAS SOUS 434929 HAS SOUPS 160746 WITH SCORE 165252.84
AT ITER 5249 NEW BEST:: SOT 5567880 SOS 4506827 HAS SOPS 2273062 HAS SOUS 434766 HAS SOUPS 160583 WITH SCORE 165089.827
AT ITER 5267 NEW BEST:: SOT 5567880 SOS 4506611 HAS SOPS 2272846 HAS SOUS 434765 HAS SOUPS 160582 WITH SCORE 165088.611
AT ITER 5284 NEW BEST:: SOT 5567935 SOS 4505813 HAS SOPS 2272048 HAS SOUS 434598 HAS SOUPS 160415 WITH SCORE 164920.813
AT ITER 5288 NEW BEST:: SOT 5567884 SOS 4505711 HAS SOPS 2271742 HAS SOUS 434598 HAS SOUPS 160364 WITH SCORE 164869.711
AT ITER 5294 NEW BEST:: SOT 5567832 SOS 4505035 HAS SOPS 2271066 HAS SOUS 434413 HAS SOUPS 160179 WITH SCORE 164684.035
AT ITER 5295 NEW BEST:: SOT 5566417 SOS 4502588 HAS SOPS 2270173 HAS SOUS 434244 HAS SOUPS 160124 WITH SCORE 164626.588
AT ITER 5307 NEW BEST:: SOT 5566265 SOS 4502048 HAS SOPS 2269633 HAS SOUS 434033 HAS SOUPS 159913 WITH SCORE 164415.048
AT ITER 5312 NEW BEST:: SOT 5565693 SOS 4505768 HAS SOPS 2270881 HAS SOUS 434044 HAS SOUPS 159718 WITH SCORE 164223.768
AT ITER 5327 NEW BEST:: SOT 5561072 SOS 4499390 HAS SOPS 2268083 HAS SOUS 433644 HAS SOUPS 159676 WITH SCORE 164175.39
AT ITER 5338 NEW BEST:: SOT 5560970 SOS 4499186 HAS SOPS 2267879 HAS SOUS 433542 HAS SOUPS 159574 WITH SCORE 164073.186
AT ITER 5340 NEW BEST:: SOT 5560970 SOS 4499186 HAS SOPS 2267879 HAS SOUS 433476 HAS SOUPS 159508 WITH SCORE 164007.186
AT ITER 5341 NEW BEST:: SOT 5560968 SOS 4499182 HAS SOPS 2267875 HAS SOUS 433463 HAS SOUPS 159495 WITH SCORE 163994.182
AT ITER 5353 NEW BEST:: SOT 5560968 SOS 4499182 HAS SOPS 2267875 HAS SOUS 433429 HAS SOUPS 159461 WITH SCORE 163960.182
AT ITER 5364 NEW BEST:: SOT 5552095 SOS 4486521 HAS SOPS 2261937 HAS SOUS 432661 HAS SOUPS 159440 WITH SCORE 163926.521
AT ITER 5365 NEW BEST:: SOT 5551363 SOS 4485777 HAS SOPS 2261559 HAS SOUS 432661 HAS SOUPS 159440 WITH SCORE 163925.777
AT ITER 5377 NEW BEST:: SOT 5551346 SOS 4485743 HAS SOPS 2261525 HAS SOUS 432644 HAS SOUPS 159423 WITH SCORE 163908.743
AT ITER 5401 NEW BEST:: SOT 5548306 SOS 4482059 HAS SOPS 2259263 HAS SOUS 432573 HAS SOUPS 159352 WITH SCORE 163834.059
AT ITER 5416 NEW BEST:: SOT 5548776 SOS 4482555 HAS SOPS 2259537 HAS SOUS 432562 HAS SOUPS 159341 WITH SCORE 163823.555
AT ITER 5438 NEW BEST:: SOT 5548776 SOS 4482555 HAS SOPS 2259537 HAS SOUS 432538 HAS SOUPS 159317 WITH SCORE 163799.555
AT ITER 5452 NEW BEST:: SOT 5548817 SOS 4480717 HAS SOPS 2258659 HAS SOUS 432400 HAS SOUPS 159259 WITH SCORE 163739.717
AT ITER 5461 NEW BEST:: SOT 5548817 SOS 4480717 HAS SOPS 2258659 HAS SOUS 432366 HAS SOUPS 159225 WITH SCORE 163705.717
AT ITER 5464 NEW BEST:: SOT 5548559 SOS 4484013 HAS SOPS 2259843 HAS SOUS 432460 HAS SOUPS 159143 WITH SCORE 163627.013
AT ITER 5481 NEW BEST:: SOT 5548559 SOS 4484013 HAS SOPS 2259843 HAS SOUS 432458 HAS SOUPS 159141 WITH SCORE 163625.013
AT ITER 5491 NEW BEST:: SOT 5548585 SOS 4484065 HAS SOPS 2259843 HAS SOUS 432458 HAS SOUPS 159128 WITH SCORE 163612.065
AT ITER 5506 NEW BEST:: SOT 5548585 SOS 4484065 HAS SOPS 2259843 HAS SOUS 432130 HAS SOUPS 158800 WITH SCORE 163284.065
AT ITER 5512 NEW BEST:: SOT 5548585 SOS 4484065 HAS SOPS 2259843 HAS SOUS 432116 HAS SOUPS 158786 WITH SCORE 163270.065
AT ITER 5521 NEW BEST:: SOT 5548596 SOS 4484359 HAS SOPS 2258661 HAS SOUS 432454 HAS SOUPS 158755 WITH SCORE 163239.359
AT ITER 5528 NEW BEST:: SOT 5548596 SOS 4484359 HAS SOPS 2258661 HAS SOUS 432386 HAS SOUPS 158687 WITH SCORE 163171.359
AT ITER 5558 NEW BEST:: SOT 5548504 SOS 4484967 HAS SOPS 2259005 HAS SOUS 432327 HAS SOUPS 158628 WITH SCORE 163112.967
AT ITER 5559 NEW BEST:: SOT 5546944 SOS 4482879 HAS SOPS 2257691 HAS SOUS 432315 HAS SOUPS 158616 WITH SCORE 163098.879
AT ITER 5561 NEW BEST:: SOT 5546944 SOS 4482879 HAS SOPS 2257691 HAS SOUS 432211 HAS SOUPS 158512 WITH SCORE 162994.879
AT ITER 5573 NEW BEST:: SOT 5546460 SOS 4481911 HAS SOPS 2257147 HAS SOUS 431833 HAS SOUPS 158240 WITH SCORE 162721.911
AT ITER 5606 NEW BEST:: SOT 5546420 SOS 4481831 HAS SOPS 2257067 HAS SOUS 431713 HAS SOUPS 158120 WITH SCORE 162601.831
AT ITER 5631 NEW BEST:: SOT 5547204 SOS 4482615 HAS SOPS 2257263 HAS SOUS 431563 HAS SOUPS 157970 WITH SCORE 162452.615
AT ITER 5640 NEW BEST:: SOT 5547020 SOS 4481843 HAS SOPS 2257147 HAS SOUS 430977 HAS SOUPS 157540 WITH SCORE 162021.843
AT ITER 5646 NEW BEST:: SOT 5546960 SOS 4481723 HAS SOPS 2257087 HAS SOUS 430947 HAS SOUPS 157525 WITH SCORE 162006.723
AT ITER 5652 NEW BEST:: SOT 5546960 SOS 4481723 HAS SOPS 2257087 HAS SOUS 430933 HAS SOUPS 157511 WITH SCORE 161992.723
AT ITER 5660 NEW BEST:: SOT 5546960 SOS 4481723 HAS SOPS 2257087 HAS SOUS 430930 HAS SOUPS 157509 WITH SCORE 161990.723
AT ITER 5673 NEW BEST:: SOT 5546774 SOS 4481351 HAS SOPS 2256715 HAS SOUS 430847 HAS SOUPS 157426 WITH SCORE 161907.351
AT ITER 5680 NEW BEST:: SOT 5544815 SOS 4475470 HAS SOPS 2254254 HAS SOUS 430599 HAS SOUPS 157368 WITH SCORE 161843.47
AT ITER 5683 NEW BEST:: SOT 5544842 SOS 4474876 HAS SOPS 2253876 HAS SOUS 430599 HAS SOUPS 157368 WITH SCORE 161842.876
AT ITER 5694 NEW BEST:: SOT 5544908 SOS 4475008 HAS SOPS 2253724 HAS SOUS 430580 HAS SOUPS 157278 WITH SCORE 161753.008
AT ITER 5703 NEW BEST:: SOT 5544908 SOS 4475008 HAS SOPS 2253724 HAS SOUS 430538 HAS SOUPS 157236 WITH SCORE 161711.008
AT ITER 5750 NEW BEST:: SOT 5545485 SOS 4476162 HAS SOPS 2254090 HAS SOUS 430699 HAS SOUPS 157200 WITH SCORE 161676.162
AT ITER 5815 NEW BEST:: SOT 5545463 SOS 4476118 HAS SOPS 2254002 HAS SOUS 430666 HAS SOUPS 157156 WITH SCORE 161632.118
AT ITER 5835 NEW BEST:: SOT 5545446 SOS 4476084 HAS SOPS 2253968 HAS SOUS 430587 HAS SOUPS 157077 WITH SCORE 161553.084
AT ITER 5849 NEW BEST:: SOT 5545442 SOS 4476076 HAS SOPS 2253960 HAS SOUS 430583 HAS SOUPS 157073 WITH SCORE 161549.076
AT ITER 5859 NEW BEST:: SOT 5545480 SOS 4475484 HAS SOPS 2253368 HAS SOUS 430558 HAS SOUPS 157048 WITH SCORE 161523.484
AT ITER 5866 NEW BEST:: SOT 5545480 SOS 4475484 HAS SOPS 2253368 HAS SOUS 430482 HAS SOUPS 156972 WITH SCORE 161447.484
AT ITER 5878 NEW BEST:: SOT 5543346 SOS 4472520 HAS SOPS 2252034 HAS SOUS 430289 HAS SOUPS 156942 WITH SCORE 161414.52
AT ITER 5883 NEW BEST:: SOT 5543346 SOS 4472520 HAS SOPS 2252034 HAS SOUS 430149 HAS SOUPS 156802 WITH SCORE 161274.52
AT ITER 5888 NEW BEST:: SOT 5543225 SOS 4472006 HAS SOPS 2251520 HAS SOUS 429902 HAS SOUPS 156555 WITH SCORE 161027.006
AT ITER 5912 NEW BEST:: SOT 5541746 SOS 4469048 HAS SOPS 2250018 HAS SOUS 429438 HAS SOUPS 156455 WITH SCORE 160924.048
AT ITER 5935 NEW BEST:: SOT 5540967 SOS 4469190 HAS SOPS 2250336 HAS SOUS 429123 HAS SOUPS 156310 WITH SCORE 160779.19
AT ITER 5939 NEW BEST:: SOT 5541114 SOS 4468216 HAS SOPS 2249794 HAS SOUS 429117 HAS SOUPS 156304 WITH SCORE 160772.21600000001
AT ITER 5948 NEW BEST:: SOT 5541114 SOS 4468216 HAS SOPS 2249794 HAS SOUS 429077 HAS SOUPS 156264 WITH SCORE 160732.21600000001
AT ITER 5976 NEW BEST:: SOT 5537793 SOS 4464114 HAS SOPS 2247228 HAS SOUS 428965 HAS SOUPS 156152 WITH SCORE 160616.114
AT ITER 5979 NEW BEST:: SOT 5537778 SOS 4464084 HAS SOPS 2247198 HAS SOUS 428950 HAS SOUPS 156137 WITH SCORE 160601.084
AT ITER 6007 NEW BEST:: SOT 5537722 SOS 4463972 HAS SOPS 2246778 HAS SOUS 428971 HAS SOUPS 156081 WITH SCORE 160544.972
AT ITER 6029 NEW BEST:: SOT 5537711 SOS 4463154 HAS SOPS 2245960 HAS SOUS 428960 HAS SOUPS 156070 WITH SCORE 160533.154
AT ITER 6033 NEW BEST:: SOT 5536929 SOS 4461102 HAS SOPS 2243908 HAS SOUS 428598 HAS SOUPS 155708 WITH SCORE 160169.102
AT ITER 6038 NEW BEST:: SOT 5534690 SOS 4458040 HAS SOPS 2242616 HAS SOUS 428382 HAS SOUPS 155669 WITH SCORE 160127.04
AT ITER 6044 NEW BEST:: SOT 5534667 SOS 4457734 HAS SOPS 2242310 HAS SOUS 428294 HAS SOUPS 155581 WITH SCORE 160038.734
AT ITER 6063 NEW BEST:: SOT 5535178 SOS 4456752 HAS SOPS 2242288 HAS SOUS 428273 HAS SOUPS 155560 WITH SCORE 160016.752
AT ITER 6074 NEW BEST:: SOT 5535178 SOS 4456860 HAS SOPS 2241796 HAS SOUS 428346 HAS SOUPS 155483 WITH SCORE 159939.86
AT ITER 6085 NEW BEST:: SOT 5534930 SOS 4456364 HAS SOPS 2241744 HAS SOUS 428173 HAS SOUPS 155421 WITH SCORE 159877.364
AT ITER 6092 NEW BEST:: SOT 5534930 SOS 4456268 HAS SOPS 2241744 HAS SOUS 428149 HAS SOUPS 155421 WITH SCORE 159877.268
AT ITER 6095 NEW BEST:: SOT 5534985 SOS 4455322 HAS SOPS 2241150 HAS SOUS 428131 HAS SOUPS 155403 WITH SCORE 159858.322
AT ITER 6108 NEW BEST:: SOT 5534985 SOS 4455322 HAS SOPS 2241150 HAS SOUS 428103 HAS SOUPS 155375 WITH SCORE 159830.322
AT ITER 6114 NEW BEST:: SOT 5532965 SOS 4452686 HAS SOPS 2239356 HAS SOUS 428089 HAS SOUPS 155315 WITH SCORE 159767.686
AT ITER 6174 NEW BEST:: SOT 5532857 SOS 4451606 HAS SOPS 2238708 HAS SOUS 428017 HAS SOUPS 155279 WITH SCORE 159730.606
AT ITER 6181 NEW BEST:: SOT 5532835 SOS 4451090 HAS SOPS 2238664 HAS SOUS 427863 HAS SOUPS 155243 WITH SCORE 159694.09
AT ITER 6191 NEW BEST:: SOT 5532615 SOS 4450650 HAS SOPS 2238400 HAS SOUS 427775 HAS SOUPS 155199 WITH SCORE 159649.65
AT ITER 6240 NEW BEST:: SOT 5532481 SOS 4450516 HAS SOPS 2238266 HAS SOUS 427733 HAS SOUPS 155157 WITH SCORE 159607.516
AT ITER 6252 NEW BEST:: SOT 5531540 SOS 4447426 HAS SOPS 2236526 HAS SOUS 427542 HAS SOUPS 155041 WITH SCORE 159488.426
AT ITER 6262 NEW BEST:: SOT 5531813 SOS 4446342 HAS SOPS 2235923 HAS SOUS 427535 HAS SOUPS 155034 WITH SCORE 159480.342
AT ITER 6278 NEW BEST:: SOT 5531557 SOS 4445830 HAS SOPS 2235411 HAS SOUS 427053 HAS SOUPS 154552 WITH SCORE 158997.83
AT ITER 6317 NEW BEST:: SOT 5531573 SOS 4445846 HAS SOPS 2235427 HAS SOUS 427029 HAS SOUPS 154528 WITH SCORE 158973.846
AT ITER 6350 NEW BEST:: SOT 5530360 SOS 4444436 HAS SOPS 2234572 HAS SOUS 426971 HAS SOUPS 154470 WITH SCORE 158914.436
AT ITER 6370 NEW BEST:: SOT 5528566 SOS 4442092 HAS SOPS 2233164 HAS SOUS 426868 HAS SOUPS 154367 WITH SCORE 158809.092
AT ITER 6398 NEW BEST:: SOT 5528488 SOS 4441936 HAS SOPS 2232780 HAS SOUS 426742 HAS SOUPS 154184 WITH SCORE 158625.936
AT ITER 6407 NEW BEST:: SOT 5528436 SOS 4440800 HAS SOPS 2232676 HAS SOUS 426364 HAS SOUPS 154064 WITH SCORE 158504.8
AT ITER 6411 NEW BEST:: SOT 5528436 SOS 4440800 HAS SOPS 2232676 HAS SOUS 426250 HAS SOUPS 153950 WITH SCORE 158390.8
AT ITER 6426 NEW BEST:: SOT 5528320 SOS 4440056 HAS SOPS 2232444 HAS SOUS 425876 HAS SOUPS 153704 WITH SCORE 158144.056
AT ITER 6436 NEW BEST:: SOT 5528278 SOS 4439918 HAS SOPS 2232414 HAS SOUS 425808 HAS SOUPS 153663 WITH SCORE 158102.918
AT ITER 6445 NEW BEST:: SOT 5528278 SOS 4439918 HAS SOPS 2232414 HAS SOUS 425513 HAS SOUPS 153661 WITH SCORE 158100.918
AT ITER 6475 NEW BEST:: SOT 5528168 SOS 4439698 HAS SOPS 2232194 HAS SOUS 425294 HAS SOUPS 153442 WITH SCORE 157881.698
AT ITER 6481 NEW BEST:: SOT 5527736 SOS 4438834 HAS SOPS 2232250 HAS SOUS 424956 HAS SOUPS 153334 WITH SCORE 157772.834
AT ITER 6490 NEW BEST:: SOT 5527957 SOS 4438308 HAS SOPS 2231724 HAS SOUS 424935 HAS SOUPS 153313 WITH SCORE 157751.308
AT ITER 6498 NEW BEST:: SOT 5523906 SOS 4432846 HAS SOPS 2229562 HAS SOUS 424458 HAS SOUPS 153166 WITH SCORE 157598.846
AT ITER 6507 NEW BEST:: SOT 5524094 SOS 4433222 HAS SOPS 2229746 HAS SOUS 424454 HAS SOUPS 153114 WITH SCORE 157547.222
AT ITER 6555 NEW BEST:: SOT 5524024 SOS 4433082 HAS SOPS 2229606 HAS SOUS 424384 HAS SOUPS 153044 WITH SCORE 157477.082
AT ITER 6575 NEW BEST:: SOT 5524748 SOS 4434050 HAS SOPS 2229974 HAS SOUS 424422 HAS SOUPS 153022 WITH SCORE 157456.05
AT ITER 6656 NEW BEST:: SOT 5520019 SOS 4427509 HAS SOPS 2227205 HAS SOUS 423969 HAS SOUPS 152943 WITH SCORE 157370.509
AT ITER 6664 NEW BEST:: SOT 5520131 SOS 4426645 HAS SOPS 2226857 HAS SOUS 423868 HAS SOUPS 152885 WITH SCORE 157311.645
AT ITER 6674 NEW BEST:: SOT 5514947 SOS 4419395 HAS SOPS 2223485 HAS SOUS 423184 HAS SOUPS 152581 WITH SCORE 157000.395
AT ITER 6698 NEW BEST:: SOT 5514759 SOS 4419927 HAS SOPS 2223109 HAS SOUS 423224 HAS SOUPS 152394 WITH SCORE 156813.927
AT ITER 6703 NEW BEST:: SOT 5514754 SOS 4419917 HAS SOPS 2223099 HAS SOUS 423219 HAS SOUPS 152389 WITH SCORE 156808.917
AT ITER 6714 NEW BEST:: SOT 5514754 SOS 4419917 HAS SOPS 2223099 HAS SOUS 423207 HAS SOUPS 152377 WITH SCORE 156796.917
AT ITER 6726 NEW BEST:: SOT 5514425 SOS 4419259 HAS SOPS 2223601 HAS SOUS 422659 HAS SOUPS 152119 WITH SCORE 156538.259
AT ITER 6744 NEW BEST:: SOT 5509357 SOS 4413005 HAS SOPS 2220449 HAS SOUS 422598 HAS SOUPS 152056 WITH SCORE 156469.005
AT ITER 6757 NEW BEST:: SOT 5508899 SOS 4412089 HAS SOPS 2220201 HAS SOUS 422307 HAS SOUPS 151932 WITH SCORE 156344.089
AT ITER 6785 NEW BEST:: SOT 5509189 SOS 4412495 HAS SOPS 2220346 HAS SOUS 422277 HAS SOUPS 151873 WITH SCORE 156285.495
AT ITER 6788 NEW BEST:: SOT 5504510 SOS 4407226 HAS SOPS 2217369 HAS SOUS 422183 HAS SOUPS 151779 WITH SCORE 156186.226
AT ITER 6809 NEW BEST:: SOT 5504510 SOS 4407226 HAS SOPS 2217369 HAS SOUS 422039 HAS SOUPS 151635 WITH SCORE 156042.226
AT ITER 6826 NEW BEST:: SOT 5504510 SOS 4407226 HAS SOPS 2217369 HAS SOUS 421953 HAS SOUPS 151549 WITH SCORE 155956.226
AT ITER 6853 NEW BEST:: SOT 5504564 SOS 4407687 HAS SOPS 2217830 HAS SOUS 421719 HAS SOUPS 151315 WITH SCORE 155722.687
AT ITER 6918 NEW BEST:: SOT 5504408 SOS 4407609 HAS SOPS 2217700 HAS SOUS 421615 HAS SOUPS 151224 WITH SCORE 155631.609
AT ITER 6937 NEW BEST:: SOT 5501937 SOS 4404771 HAS SOPS 2216074 HAS SOUS 421608 HAS SOUPS 151217 WITH SCORE 155621.771
AT ITER 6955 NEW BEST:: SOT 5501867 SOS 4404631 HAS SOPS 2216266 HAS SOUS 421455 HAS SOUPS 151147 WITH SCORE 155551.631
AT ITER 6999 NEW BEST:: SOT 5501623 SOS 4410679 HAS SOPS 2219482 HAS SOUS 421683 HAS SOUPS 151139 WITH SCORE 155549.679
AT ITER 7013 NEW BEST:: SOT 5502854 SOS 4412373 HAS SOPS 2220216 HAS SOUS 421745 HAS SOUPS 151105 WITH SCORE 155517.373
AT ITER 7029 NEW BEST:: SOT 5502854 SOS 4412373 HAS SOPS 2220216 HAS SOUS 421719 HAS SOUPS 151079 WITH SCORE 155491.373
AT ITER 7031 NEW BEST:: SOT 5502817 SOS 4412299 HAS SOPS 2220142 HAS SOUS 421682 HAS SOUPS 151042 WITH SCORE 155454.299
AT ITER 7075 NEW BEST:: SOT 5500388 SOS 4408539 HAS SOPS 2218517 HAS SOUS 421666 HAS SOUPS 151026 WITH SCORE 155434.539
AT ITER 7086 NEW BEST:: SOT 5500292 SOS 4408663 HAS SOPS 2218325 HAS SOUS 421728 HAS SOUPS 151009 WITH SCORE 155417.663
AT ITER 7110 NEW BEST:: SOT 5500609 SOS 4408766 HAS SOPS 2218428 HAS SOUS 421617 HAS SOUPS 150898 WITH SCORE 155306.766
AT ITER 7120 NEW BEST:: SOT 5499551 SOS 4407294 HAS SOPS 2217442 HAS SOUS 421477 HAS SOUPS 150758 WITH SCORE 155165.294
AT ITER 7125 NEW BEST:: SOT 5499405 SOS 4407002 HAS SOPS 2217150 HAS SOUS 421331 HAS SOUPS 150612 WITH SCORE 155019.002
AT ITER 7152 NEW BEST:: SOT 5499405 SOS 4407002 HAS SOPS 2217150 HAS SOUS 421215 HAS SOUPS 150496 WITH SCORE 154903.002
AT ITER 7192 NEW BEST:: SOT 5499405 SOS 4407002 HAS SOPS 2217150 HAS SOUS 421205 HAS SOUPS 150486 WITH SCORE 154893.002
AT ITER 7199 NEW BEST:: SOT 5498990 SOS 4411384 HAS SOPS 2218580 HAS SOUS 421259 HAS SOUPS 150294 WITH SCORE 154705.384
AT ITER 7201 NEW BEST:: SOT 5498917 SOS 4411238 HAS SOPS 2217974 HAS SOUS 421301 HAS SOUPS 150221 WITH SCORE 154632.238
AT ITER 7218 NEW BEST:: SOT 5498917 SOS 4411190 HAS SOPS 2217926 HAS SOUS 421301 HAS SOUPS 150221 WITH SCORE 154632.19
AT ITER 7230 NEW BEST:: SOT 5498917 SOS 4411190 HAS SOPS 2217926 HAS SOUS 421297 HAS SOUPS 150217 WITH SCORE 154628.19
AT ITER 7253 NEW BEST:: SOT 5498735 SOS 4410826 HAS SOPS 2217562 HAS SOUS 421187 HAS SOUPS 150107 WITH SCORE 154517.826
AT ITER 7291 NEW BEST:: SOT 5498665 SOS 4410686 HAS SOPS 2217422 HAS SOUS 421117 HAS SOUPS 150037 WITH SCORE 154447.686
AT ITER 7303 NEW BEST:: SOT 5494425 SOS 4405796 HAS SOPS 2214614 HAS SOUS 421051 HAS SOUPS 149971 WITH SCORE 154376.796
AT ITER 7312 NEW BEST:: SOT 5494425 SOS 4405796 HAS SOPS 2214614 HAS SOUS 421049 HAS SOUPS 149969 WITH SCORE 154374.796
AT ITER 7339 NEW BEST:: SOT 5494409 SOS 4405764 HAS SOPS 2214666 HAS SOUS 421017 HAS SOUPS 149958 WITH SCORE 154363.764
AT ITER 7364 NEW BEST:: SOT 5494409 SOS 4405764 HAS SOPS 2214666 HAS SOUS 421007 HAS SOUPS 149948 WITH SCORE 154353.764
AT ITER 7368 NEW BEST:: SOT 5492130 SOS 4402515 HAS SOPS 2213247 HAS SOUS 420803 HAS SOUPS 149927 WITH SCORE 154329.515
AT ITER 7372 NEW BEST:: SOT 5492076 SOS 4402407 HAS SOPS 2213139 HAS SOUS 420749 HAS SOUPS 149873 WITH SCORE 154275.407
AT ITER 7397 NEW BEST:: SOT 5488866 SOS 4398691 HAS SOPS 2211451 HAS SOUS 420715 HAS SOUPS 149839 WITH SCORE 154237.691
AT ITER 7406 NEW BEST:: SOT 5488810 SOS 4398635 HAS SOPS 2211395 HAS SOUS 420659 HAS SOUPS 149783 WITH SCORE 154181.635
AT ITER 7443 NEW BEST:: SOT 5488731 SOS 4398477 HAS SOPS 2211237 HAS SOUS 420501 HAS SOUPS 149625 WITH SCORE 154023.477
AT ITER 7463 NEW BEST:: SOT 5488710 SOS 4398634 HAS SOPS 2209980 HAS SOUS 420837 HAS SOUPS 149619 WITH SCORE 154017.634
AT ITER 7481 NEW BEST:: SOT 5488101 SOS 4398558 HAS SOPS 2209472 HAS SOUS 420586 HAS SOUPS 149368 WITH SCORE 153766.558
AT ITER 7526 NEW BEST:: SOT 5488101 SOS 4398334 HAS SOPS 2209472 HAS SOUS 420520 HAS SOUPS 149358 WITH SCORE 153756.334
AT ITER 7535 NEW BEST:: SOT 5486385 SOS 4395958 HAS SOPS 2208416 HAS SOUS 420256 HAS SOUPS 149226 WITH SCORE 153621.958
AT ITER 7547 NEW BEST:: SOT 5485458 SOS 4394877 HAS SOPS 2207757 HAS SOUS 420177 HAS SOUPS 149147 WITH SCORE 153541.877
AT ITER 7633 NEW BEST:: SOT 5485592 SOS 4395145 HAS SOPS 2207693 HAS SOUS 420075 HAS SOUPS 148962 WITH SCORE 153357.145
AT ITER 7647 NEW BEST:: SOT 5482234 SOS 4390536 HAS SOPS 2205724 HAS SOUS 419726 HAS SOUPS 148874 WITH SCORE 153264.536
AT ITER 7681 NEW BEST:: SOT 5482232 SOS 4390532 HAS SOPS 2205716 HAS SOUS 419724 HAS SOUPS 148871 WITH SCORE 153261.532
AT ITER 7737 NEW BEST:: SOT 5482232 SOS 4390532 HAS SOPS 2205716 HAS SOUS 419594 HAS SOUPS 148741 WITH SCORE 153131.532
AT ITER 7754 NEW BEST:: SOT 5480302 SOS 4388192 HAS SOPS 2204516 HAS SOUS 419521 HAS SOUPS 148668 WITH SCORE 153056.192
AT ITER 7778 NEW BEST:: SOT 5480147 SOS 4388037 HAS SOPS 2204361 HAS SOUS 419282 HAS SOUPS 148429 WITH SCORE 152817.037
AT ITER 7793 NEW BEST:: SOT 5479955 SOS 4387749 HAS SOPS 2204217 HAS SOUS 419250 HAS SOUPS 148413 WITH SCORE 152800.749
AT ITER 7816 NEW BEST:: SOT 5482626 SOS 4391251 HAS SOPS 2205966 HAS SOUS 419368 HAS SOUPS 148409 WITH SCORE 152800.251
AT ITER 7817 NEW BEST:: SOT 5482045 SOS 4390089 HAS SOPS 2205572 HAS SOUS 419171 HAS SOUPS 148404 WITH SCORE 152794.089
AT ITER 7828 NEW BEST:: SOT 5482100 SOS 4389747 HAS SOPS 2205230 HAS SOUS 419133 HAS SOUPS 148366 WITH SCORE 152755.747
AT ITER 7829 NEW BEST:: SOT 5482121 SOS 4389887 HAS SOPS 2205286 HAS SOUS 419126 HAS SOUPS 148359 WITH SCORE 152748.887
AT ITER 7842 NEW BEST:: SOT 5482121 SOS 4389887 HAS SOPS 2205286 HAS SOUS 419084 HAS SOUPS 148317 WITH SCORE 152706.887
AT ITER 7850 NEW BEST:: SOT 5482052 SOS 4390397 HAS SOPS 2205472 HAS SOUS 419069 HAS SOUPS 148275 WITH SCORE 152665.397
AT ITER 7855 NEW BEST:: SOT 5482344 SOS 4390981 HAS SOPS 2205740 HAS SOUS 419144 HAS SOUPS 148271 WITH SCORE 152661.981
AT ITER 7915 NEW BEST:: SOT 5482344 SOS 4390981 HAS SOPS 2205740 HAS SOUS 419060 HAS SOUPS 148187 WITH SCORE 152577.981
AT ITER 7916 NEW BEST:: SOT 5483654 SOS 4392417 HAS SOPS 2206288 HAS SOUS 418904 HAS SOUPS 148031 WITH SCORE 152423.417
AT ITER 7943 NEW BEST:: SOT 5482933 SOS 4390975 HAS SOPS 2205646 HAS SOUS 418627 HAS SOUPS 147954 WITH SCORE 152344.975
AT ITER 7951 NEW BEST:: SOT 5482933 SOS 4390975 HAS SOPS 2205646 HAS SOUS 418621 HAS SOUPS 147948 WITH SCORE 152338.975
AT ITER 7952 NEW BEST:: SOT 5482837 SOS 4390879 HAS SOPS 2205550 HAS SOUS 418525 HAS SOUPS 147852 WITH SCORE 152242.879
AT ITER 7959 NEW BEST:: SOT 5482837 SOS 4390879 HAS SOPS 2205550 HAS SOUS 418485 HAS SOUPS 147812 WITH SCORE 152202.879
AT ITER 7970 NEW BEST:: SOT 5482672 SOS 4390703 HAS SOPS 2205458 HAS SOUS 418467 HAS SOUPS 147794 WITH SCORE 152184.703
AT ITER 7972 NEW BEST:: SOT 5482666 SOS 4390697 HAS SOPS 2205452 HAS SOUS 418451 HAS SOUPS 147778 WITH SCORE 152168.697
AT ITER 7973 NEW BEST:: SOT 5482666 SOS 4390697 HAS SOPS 2205452 HAS SOUS 418439 HAS SOUPS 147766 WITH SCORE 152156.697
AT ITER 7995 NEW BEST:: SOT 5483782 SOS 4392185 HAS SOPS 2206010 HAS SOUS 418419 HAS SOUPS 147653 WITH SCORE 152045.185
AT ITER 8007 NEW BEST:: SOT 5483786 SOS 4392097 HAS SOPS 2205970 HAS SOUS 418415 HAS SOUPS 147653 WITH SCORE 152045.097
AT ITER 8022 NEW BEST:: SOT 5483519 SOS 4401899 HAS SOPS 2205742 HAS SOUS 418056 HAS SOUPS 147311 WITH SCORE 151712.899
AT ITER 8047 NEW BEST:: SOT 5482461 SOS 4400579 HAS SOPS 2204512 HAS SOUS 418087 HAS SOUPS 147231 WITH SCORE 151631.579
AT ITER 8055 NEW BEST:: SOT 5481150 SOS 4398773 HAS SOPS 2203726 HAS SOUS 417747 HAS SOUPS 146993 WITH SCORE 151391.773
AT ITER 8114 NEW BEST:: SOT 5481178 SOS 4398773 HAS SOPS 2203726 HAS SOUS 417705 HAS SOUPS 146951 WITH SCORE 151349.773
AT ITER 8115 NEW BEST:: SOT 5482894 SOS 4404721 HAS SOPS 2206546 HAS SOUS 417765 HAS SOUPS 146827 WITH SCORE 151231.721
AT ITER 8148 NEW BEST:: SOT 5480874 SOS 4402025 HAS SOPS 2205530 HAS SOUS 417593 HAS SOUPS 146823 WITH SCORE 151225.025
AT ITER 8149 NEW BEST:: SOT 5480874 SOS 4402025 HAS SOPS 2205530 HAS SOUS 417547 HAS SOUPS 146777 WITH SCORE 151179.025
AT ITER 8169 NEW BEST:: SOT 5475419 SOS 4394608 HAS SOPS 2202483 HAS SOUS 417049 HAS SOUPS 146716 WITH SCORE 151110.608
AT ITER 8252 NEW BEST:: SOT 5476607 SOS 4396192 HAS SOPS 2203077 HAS SOUS 416950 HAS SOUPS 146518 WITH SCORE 150914.192
AT ITER 8273 NEW BEST:: SOT 5479806 SOS 4400038 HAS SOPS 2205375 HAS SOUS 416889 HAS SOUPS 146457 WITH SCORE 150857.038
AT ITER 8281 NEW BEST:: SOT 5477100 SOS 4397166 HAS SOPS 2203805 HAS SOUS 416766 HAS SOUPS 146334 WITH SCORE 150731.166
AT ITER 8285 NEW BEST:: SOT 5477115 SOS 4394184 HAS SOPS 2201855 HAS SOUS 416636 HAS SOUPS 146204 WITH SCORE 150598.184
AT ITER 8290 NEW BEST:: SOT 5477115 SOS 4394184 HAS SOPS 2201855 HAS SOUS 416618 HAS SOUPS 146186 WITH SCORE 150580.184
AT ITER 8317 NEW BEST:: SOT 5477115 SOS 4394184 HAS SOPS 2201855 HAS SOUS 416515 HAS SOUPS 146184 WITH SCORE 150578.184
AT ITER 8325 NEW BEST:: SOT 5477079 SOS 4394112 HAS SOPS 2201783 HAS SOUS 416479 HAS SOUPS 146148 WITH SCORE 150542.112
AT ITER 8360 NEW BEST:: SOT 5477051 SOS 4394056 HAS SOPS 2201907 HAS SOUS 416406 HAS SOUPS 146120 WITH SCORE 150514.056
AT ITER 8385 NEW BEST:: SOT 5476611 SOS 4393176 HAS SOPS 2201479 HAS SOUS 416139 HAS SOUPS 145966 WITH SCORE 150359.176
AT ITER 8389 NEW BEST:: SOT 5476443 SOS 4392952 HAS SOPS 2201395 HAS SOUS 416125 HAS SOUPS 145966 WITH SCORE 150358.952
AT ITER 8420 NEW BEST:: SOT 5477291 SOS 4393968 HAS SOPS 2201901 HAS SOUS 416123 HAS SOUPS 145964 WITH SCORE 150357.968
AT ITER 8423 NEW BEST:: SOT 5477291 SOS 4393968 HAS SOPS 2201901 HAS SOUS 416105 HAS SOUPS 145946 WITH SCORE 150339.968
AT ITER 8455 NEW BEST:: SOT 5477176 SOS 4393738 HAS SOPS 2201671 HAS SOUS 415989 HAS SOUPS 145830 WITH SCORE 150223.738
AT ITER 8476 NEW BEST:: SOT 5477329 SOS 4390600 HAS SOPS 2200093 HAS SOUS 415808 HAS SOUPS 145779 WITH SCORE 150169.6
AT ITER 8495 NEW BEST:: SOT 5477342 SOS 4390366 HAS SOPS 2200015 HAS SOUS 415795 HAS SOUPS 145779 WITH SCORE 150169.366
AT ITER 8515 NEW BEST:: SOT 5477347 SOS 4390704 HAS SOPS 2200353 HAS SOUS 415770 HAS SOUPS 145754 WITH SCORE 150144.704
AT ITER 8525 NEW BEST:: SOT 5477347 SOS 4390704 HAS SOPS 2200353 HAS SOUS 415768 HAS SOUPS 145752 WITH SCORE 150142.704
AT ITER 8536 NEW BEST:: SOT 5476747 SOS 4389512 HAS SOPS 2199161 HAS SOUS 415458 HAS SOUPS 145442 WITH SCORE 149831.512
AT ITER 8562 NEW BEST:: SOT 5476607 SOS 4389232 HAS SOPS 2198881 HAS SOUS 415430 HAS SOUPS 145414 WITH SCORE 149803.232
AT ITER 8586 NEW BEST:: SOT 5473539 SOS 4378468 HAS SOPS 2192822 HAS SOUS 414920 HAS SOUPS 145104 WITH SCORE 149482.468
AT ITER 8604 NEW BEST:: SOT 5473539 SOS 4378468 HAS SOPS 2192822 HAS SOUS 414882 HAS SOUPS 145066 WITH SCORE 149444.468
AT ITER 8619 NEW BEST:: SOT 5473521 SOS 4378432 HAS SOPS 2192738 HAS SOUS 414852 HAS SOUPS 145024 WITH SCORE 149402.432
AT ITER 8620 NEW BEST:: SOT 5473521 SOS 4378432 HAS SOPS 2192738 HAS SOUS 414826 HAS SOUPS 144998 WITH SCORE 149376.432
AT ITER 8623 NEW BEST:: SOT 5473389 SOS 4378229 HAS SOPS 2192062 HAS SOUS 414796 HAS SOUPS 144853 WITH SCORE 149231.229
AT ITER 8650 NEW BEST:: SOT 5472201 SOS 4374045 HAS SOPS 2190650 HAS SOUS 414619 HAS SOUPS 144816 WITH SCORE 149190.045
AT ITER 8676 NEW BEST:: SOT 5471121 SOS 4372605 HAS SOPS 2190110 HAS SOUS 414529 HAS SOUPS 144816 WITH SCORE 149188.605
AT ITER 8697 NEW BEST:: SOT 5471103 SOS 4372569 HAS SOPS 2190074 HAS SOUS 414511 HAS SOUPS 144798 WITH SCORE 149170.569
AT ITER 8706 NEW BEST:: SOT 5471102 SOS 4372568 HAS SOPS 2190073 HAS SOUS 414510 HAS SOUPS 144797 WITH SCORE 149169.568
AT ITER 8711 NEW BEST:: SOT 5471474 SOS 4373064 HAS SOPS 2190259 HAS SOUS 414510 HAS SOUPS 144766 WITH SCORE 149139.064
AT ITER 8716 NEW BEST:: SOT 5471474 SOS 4373064 HAS SOPS 2190259 HAS SOUS 414498 HAS SOUPS 144754 WITH SCORE 149127.064
AT ITER 8775 NEW BEST:: SOT 5471494 SOS 4372684 HAS SOPS 2190595 HAS SOUS 414278 HAS SOUPS 144713 WITH SCORE 149085.684
AT ITER 8783 NEW BEST:: SOT 5471350 SOS 4372528 HAS SOPS 2190511 HAS SOUS 414278 HAS SOUPS 144713 WITH SCORE 149085.528
AT ITER 8812 NEW BEST:: SOT 5470736 SOS 4373196 HAS SOPS 2190283 HAS SOUS 414112 HAS SOUPS 144547 WITH SCORE 148920.196
AT ITER 8824 NEW BEST:: SOT 5470736 SOS 4373196 HAS SOPS 2190283 HAS SOUS 414076 HAS SOUPS 144511 WITH SCORE 148884.196
AT ITER 8828 NEW BEST:: SOT 5469566 SOS 4371576 HAS SOPS 2189563 HAS SOUS 413896 HAS SOUPS 144421 WITH SCORE 148792.576
AT ITER 8868 NEW BEST:: SOT 5469386 SOS 4371576 HAS SOPS 2189563 HAS SOUS 413760 HAS SOUPS 144285 WITH SCORE 148656.576
AT ITER 8869 NEW BEST:: SOT 5469370 SOS 4371675 HAS SOPS 2189007 HAS SOUS 413653 HAS SOUPS 144047 WITH SCORE 148418.675
AT ITER 8891 NEW BEST:: SOT 5469306 SOS 4370807 HAS SOPS 2188943 HAS SOUS 413391 HAS SOUPS 143986 WITH SCORE 148356.807
AT ITER 8903 NEW BEST:: SOT 5469458 SOS 4371403 HAS SOPS 2189035 HAS SOUS 413305 HAS SOUPS 143886 WITH SCORE 148257.403
AT ITER 8919 NEW BEST:: SOT 5468964 SOS 4370681 HAS SOPS 2188541 HAS SOUS 413267 HAS SOUPS 143848 WITH SCORE 148218.681
AT ITER 8946 NEW BEST:: SOT 5468772 SOS 4370489 HAS SOPS 2188349 HAS SOUS 413156 HAS SOUPS 143737 WITH SCORE 148107.489
AT ITER 8948 NEW BEST:: SOT 5466674 SOS 4368069 HAS SOPS 2187261 HAS SOUS 413127 HAS SOUPS 143708 WITH SCORE 148076.069
AT ITER 8954 NEW BEST:: SOT 5463422 SOS 4363361 HAS SOPS 2185303 HAS SOUS 412766 HAS SOUPS 143622 WITH SCORE 147985.361
AT ITER 8959 NEW BEST:: SOT 5463248 SOS 4363013 HAS SOPS 2184275 HAS SOUS 412664 HAS SOUPS 143350 WITH SCORE 147713.013
AT ITER 8964 NEW BEST:: SOT 5462949 SOS 4362055 HAS SOPS 2183317 HAS SOUS 412464 HAS SOUPS 143150 WITH SCORE 147512.055
AT ITER 9026 NEW BEST:: SOT 5463033 SOS 4362167 HAS SOPS 2183359 HAS SOUS 412457 HAS SOUPS 143136 WITH SCORE 147498.167
AT ITER 9029 NEW BEST:: SOT 5462548 SOS 4361642 HAS SOPS 2183074 HAS SOUS 412452 HAS SOUPS 143131 WITH SCORE 147492.642
AT ITER 9055 NEW BEST:: SOT 5461998 SOS 4360753 HAS SOPS 2182700 HAS SOUS 412232 HAS SOUPS 143001 WITH SCORE 147361.753
AT ITER 9085 NEW BEST:: SOT 5461910 SOS 4360407 HAS SOPS 2182328 HAS SOUS 412069 HAS SOUPS 142838 WITH SCORE 147198.407
AT ITER 9120 NEW BEST:: SOT 5461859 SOS 4360305 HAS SOPS 2182226 HAS SOUS 411912 HAS SOUPS 142681 WITH SCORE 147041.305
AT ITER 9124 NEW BEST:: SOT 5462363 SOS 4360809 HAS SOPS 2182352 HAS SOUS 411833 HAS SOUPS 142602 WITH SCORE 146962.809
AT ITER 9166 NEW BEST:: SOT 5462178 SOS 4360652 HAS SOPS 2182195 HAS SOUS 411769 HAS SOUPS 142538 WITH SCORE 146898.652
AT ITER 9173 NEW BEST:: SOT 5462178 SOS 4360652 HAS SOPS 2182195 HAS SOUS 411767 HAS SOUPS 142536 WITH SCORE 146896.652
AT ITER 9209 NEW BEST:: SOT 5462141 SOS 4360474 HAS SOPS 2182205 HAS SOUS 411683 HAS SOUPS 142499 WITH SCORE 146859.474
AT ITER 9260 NEW BEST:: SOT 5461401 SOS 4359439 HAS SOPS 2181524 HAS SOUS 411651 HAS SOUPS 142467 WITH SCORE 146826.439
AT ITER 9262 NEW BEST:: SOT 5461430 SOS 4358201 HAS SOPS 2180934 HAS SOUS 411572 HAS SOUPS 142442 WITH SCORE 146800.201
AT ITER 9328 NEW BEST:: SOT 5461357 SOS 4358128 HAS SOPS 2180861 HAS SOUS 411517 HAS SOUPS 142387 WITH SCORE 146745.128
AT ITER 9373 NEW BEST:: SOT 5461357 SOS 4358128 HAS SOPS 2180861 HAS SOUS 411475 HAS SOUPS 142345 WITH SCORE 146703.128
AT ITER 9401 NEW BEST:: SOT 5461275 SOS 4353666 HAS SOPS 2181859 HAS SOUS 411245 HAS SOUPS 142185 WITH SCORE 146538.666
AT ITER 9428 NEW BEST:: SOT 5461275 SOS 4353666 HAS SOPS 2181859 HAS SOUS 411225 HAS SOUPS 142165 WITH SCORE 146518.666
AT ITER 9442 NEW BEST:: SOT 5460687 SOS 4352882 HAS SOPS 2181565 HAS SOUS 411176 HAS SOUPS 142165 WITH SCORE 146517.882
AT ITER 9449 NEW BEST:: SOT 5460664 SOS 4352836 HAS SOPS 2181519 HAS SOUS 411153 HAS SOUPS 142142 WITH SCORE 146494.836
AT ITER 9461 NEW BEST:: SOT 5461072 SOS 4353380 HAS SOPS 2181723 HAS SOUS 411129 HAS SOUPS 142084 WITH SCORE 146437.38
AT ITER 9496 NEW BEST:: SOT 5461193 SOS 4353501 HAS SOPS 2181778 HAS SOUS 411096 HAS SOUPS 142051 WITH SCORE 146404.501
AT ITER 9524 NEW BEST:: SOT 5461184 SOS 4353555 HAS SOPS 2181808 HAS SOUS 411090 HAS SOUPS 142045 WITH SCORE 146398.555
AT ITER 9534 NEW BEST:: SOT 5461122 SOS 4353493 HAS SOPS 2181746 HAS SOUS 411028 HAS SOUPS 141983 WITH SCORE 146336.493
AT ITER 9561 NEW BEST:: SOT 5463480 SOS 4356811 HAS SOPS 2183144 HAS SOUS 411162 HAS SOUPS 141925 WITH SCORE 146281.811
AT ITER 9570 NEW BEST:: SOT 5463480 SOS 4356811 HAS SOPS 2183144 HAS SOUS 411100 HAS SOUPS 141863 WITH SCORE 146219.811
AT ITER 9576 NEW BEST:: SOT 5462685 SOS 4355965 HAS SOPS 2182670 HAS SOUS 411060 HAS SOUPS 141823 WITH SCORE 146178.965
AT ITER 9578 NEW BEST:: SOT 5462685 SOS 4354869 HAS SOPS 2181730 HAS SOUS 411058 HAS SOUPS 141823 WITH SCORE 146177.869
AT ITER 9580 NEW BEST:: SOT 5462605 SOS 4354709 HAS SOPS 2181570 HAS SOUS 411020 HAS SOUPS 141785 WITH SCORE 146139.709
AT ITER 9584 NEW BEST:: SOT 5462604 SOS 4354707 HAS SOPS 2181568 HAS SOUS 411019 HAS SOUPS 141784 WITH SCORE 146138.707
AT ITER 9588 NEW BEST:: SOT 5462564 SOS 4354627 HAS SOPS 2181488 HAS SOUS 410819 HAS SOUPS 141584 WITH SCORE 145938.627
AT ITER 9600 NEW BEST:: SOT 5462569 SOS 4354740 HAS SOPS 2181493 HAS SOUS 410824 HAS SOUPS 141562 WITH SCORE 145916.74
AT ITER 9624 NEW BEST:: SOT 5462681 SOS 4354852 HAS SOPS 2181521 HAS SOUS 410796 HAS SOUPS 141534 WITH SCORE 145888.852
AT ITER 9655 NEW BEST:: SOT 5462793 SOS 4354852 HAS SOPS 2181521 HAS SOUS 410740 HAS SOUPS 141478 WITH SCORE 145832.852
AT ITER 9667 NEW BEST:: SOT 5462787 SOS 4354828 HAS SOPS 2181509 HAS SOUS 410731 HAS SOUPS 141472 WITH SCORE 145826.828
AT ITER 9716 NEW BEST:: SOT 5462787 SOS 4354828 HAS SOPS 2181509 HAS SOUS 410727 HAS SOUPS 141468 WITH SCORE 145822.828
AT ITER 9717 NEW BEST:: SOT 5462778 SOS 4354817 HAS SOPS 2181503 HAS SOUS 410727 HAS SOUPS 141468 WITH SCORE 145822.817
AT ITER 9801 NEW BEST:: SOT 5462727 SOS 4354715 HAS SOPS 2181181 HAS SOUS 410725 HAS SOUPS 141411 WITH SCORE 145765.715
AT ITER 9810 NEW BEST:: SOT 5459778 SOS 4350654 HAS SOPS 2179460 HAS SOUS 410353 HAS SOUPS 141273 WITH SCORE 145623.654
AT ITER 9819 NEW BEST:: SOT 5459778 SOS 4350654 HAS SOPS 2179460 HAS SOUS 410350 HAS SOUPS 141271 WITH SCORE 145621.654
AT ITER 9823 NEW BEST:: SOT 5459560 SOS 4350218 HAS SOPS 2179632 HAS SOUS 410148 HAS SOUPS 141221 WITH SCORE 145571.218
AT ITER 9826 NEW BEST:: SOT 5459824 SOS 4348938 HAS SOPS 2179024 HAS SOUS 410130 HAS SOUPS 141203 WITH SCORE 145551.938
AT ITER 9870 NEW BEST:: SOT 5458006 SOS 4347006 HAS SOPS 2177638 HAS SOUS 410233 HAS SOUPS 141204 WITH SCORE 145551.006
AT ITER 9877 NEW BEST:: SOT 5457930 SOS 4347110 HAS SOPS 2177550 HAS SOUS 410247 HAS SOUPS 141202 WITH SCORE 145549.11
AT ITER 9885 NEW BEST:: SOT 5457474 SOS 4346502 HAS SOPS 2177322 HAS SOUS 410209 HAS SOUPS 141202 WITH SCORE 145548.502
AT ITER 9891 NEW BEST:: SOT 5456008 SOS 4344482 HAS SOPS 2176442 HAS SOUS 410062 HAS SOUPS 141169 WITH SCORE 145513.482
AT ITER 9924 NEW BEST:: SOT 5455999 SOS 4343762 HAS SOPS 2176970 HAS SOUS 410036 HAS SOUPS 141159 WITH SCORE 145502.762
AT ITER 9942 NEW BEST:: SOT 5455944 SOS 4344556 HAS SOPS 2177344 HAS SOUS 410051 HAS SOUPS 141139 WITH SCORE 145483.556
AT ITER 9961 NEW BEST:: SOT 5455903 SOS 4344466 HAS SOPS 2177254 HAS SOUS 409980 HAS SOUPS 141068 WITH SCORE 145412.46600000001
AT ITER 9970 NEW BEST:: SOT 5455861 SOS 4344382 HAS SOPS 2177170 HAS SOUS 409934 HAS SOUPS 141022 WITH SCORE 145366.382

BK_STOP 1678268533548

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 369 Killed ${SMART}/smart ${INPUT_SM}

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is DLCshifumi-PT-4a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814472900832"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-4a.tgz
mv DLCshifumi-PT-4a execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;