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.r291-tall-167873943000536.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 PolyORBLF-PT-S02J06T10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943000536
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 16K Feb 26 13:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 26 13:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 36K Feb 26 13:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 204K Feb 26 13:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 9.7K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 40K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 20K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 24K Feb 26 13:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 136K Feb 26 13:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 59K Feb 26 13:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 299K Feb 26 13:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.1K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.1M Mar 5 18:23 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 1678799643679

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=PolyORBLF-PT-S02J06T10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S02J06T10
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: 844 places, 1812 transitions, 8302 arcs.
AT ITER 0 NEW BEST:: SOT 924185 SOS 509863 HAS SOPS 502960 HAS SOUS 287439 HAS SOUPS 286947 WITH SCORE 287456.863
AT ITER 11 NEW BEST:: SOT 924079 SOS 510510 HAS SOPS 503630 HAS SOUS 287312 HAS SOUPS 286820 WITH SCORE 287330.51
AT ITER 17 NEW BEST:: SOT 923752 SOS 510183 HAS SOPS 503303 HAS SOUS 287020 HAS SOUPS 286528 WITH SCORE 287038.183
AT ITER 19 NEW BEST:: SOT 922895 SOS 509504 HAS SOPS 502624 HAS SOUS 286411 HAS SOUPS 285919 WITH SCORE 286428.504
AT ITER 39 NEW BEST:: SOT 922895 SOS 509435 HAS SOPS 502555 HAS SOUS 286377 HAS SOUPS 285885 WITH SCORE 286394.435
AT ITER 40 NEW BEST:: SOT 919304 SOS 506058 HAS SOPS 499178 HAS SOUS 284680 HAS SOUPS 284188 WITH SCORE 284694.058
AT ITER 41 NEW BEST:: SOT 915082 SOS 501987 HAS SOPS 495107 HAS SOUS 283025 HAS SOUPS 282533 WITH SCORE 283034.987
AT ITER 45 NEW BEST:: SOT 914220 SOS 501243 HAS SOPS 494363 HAS SOUS 282435 HAS SOUPS 281943 WITH SCORE 282444.243
AT ITER 52 NEW BEST:: SOT 911440 SOS 498561 HAS SOPS 491681 HAS SOUS 279710 HAS SOUPS 279218 WITH SCORE 279716.561
AT ITER 53 NEW BEST:: SOT 911106 SOS 498227 HAS SOPS 491347 HAS SOUS 279432 HAS SOUPS 278940 WITH SCORE 279438.227
AT ITER 65 NEW BEST:: SOT 911044 SOS 498155 HAS SOPS 491275 HAS SOUS 279378 HAS SOUPS 278886 WITH SCORE 279384.155
AT ITER 69 NEW BEST:: SOT 902010 SOS 491239 HAS SOPS 484359 HAS SOUS 276371 HAS SOUPS 275879 WITH SCORE 276370.239
AT ITER 73 NEW BEST:: SOT 901747 SOS 491085 HAS SOPS 484205 HAS SOUS 276278 HAS SOUPS 275786 WITH SCORE 276277.085
AT ITER 74 NEW BEST:: SOT 901585 SOS 490680 HAS SOPS 483800 HAS SOUS 275954 HAS SOUPS 275462 WITH SCORE 275952.68
AT ITER 80 NEW BEST:: SOT 901351 SOS 490453 HAS SOPS 483573 HAS SOUS 275796 HAS SOUPS 275304 WITH SCORE 275794.453
AT ITER 82 NEW BEST:: SOT 901365 SOS 490467 HAS SOPS 483577 HAS SOUS 275806 HAS SOUPS 275291 WITH SCORE 275781.467
AT ITER 107 NEW BEST:: SOT 901365 SOS 490426 HAS SOPS 483536 HAS SOUS 275765 HAS SOUPS 275250 WITH SCORE 275740.426
AT ITER 108 NEW BEST:: SOT 901029 SOS 490203 HAS SOPS 483313 HAS SOUS 275542 HAS SOUPS 275027 WITH SCORE 275517.203
AT ITER 112 NEW BEST:: SOT 900931 SOS 490133 HAS SOPS 483273 HAS SOUS 275410 HAS SOUPS 274896 WITH SCORE 275386.133
AT ITER 124 NEW BEST:: SOT 900931 SOS 490039 HAS SOPS 483179 HAS SOUS 275410 HAS SOUPS 274896 WITH SCORE 275386.039
AT ITER 132 NEW BEST:: SOT 900842 SOS 491638 HAS SOPS 484774 HAS SOUS 275084 HAS SOUPS 274543 WITH SCORE 275034.638
AT ITER 149 NEW BEST:: SOT 900858 SOS 491654 HAS SOPS 484737 HAS SOUS 275018 HAS SOUPS 274462 WITH SCORE 274953.654
AT ITER 155 NEW BEST:: SOT 900858 SOS 491654 HAS SOPS 484737 HAS SOUS 275009 HAS SOUPS 274453 WITH SCORE 274944.654
AT ITER 161 NEW BEST:: SOT 900772 SOS 491402 HAS SOPS 484485 HAS SOUS 274917 HAS SOUPS 274361 WITH SCORE 274852.402
AT ITER 169 NEW BEST:: SOT 900742 SOS 491372 HAS SOPS 484450 HAS SOUS 274879 HAS SOUPS 274322 WITH SCORE 274813.372
AT ITER 182 NEW BEST:: SOT 900742 SOS 491401 HAS SOPS 484479 HAS SOUS 274759 HAS SOUPS 274202 WITH SCORE 274693.401
AT ITER 194 NEW BEST:: SOT 900166 SOS 491105 HAS SOPS 484183 HAS SOUS 274163 HAS SOUPS 273606 WITH SCORE 274097.105
AT ITER 196 NEW BEST:: SOT 899488 SOS 489767 HAS SOPS 482845 HAS SOUS 274051 HAS SOUPS 273494 WITH SCORE 273983.767
AT ITER 198 NEW BEST:: SOT 899408 SOS 489687 HAS SOPS 482765 HAS SOUS 273891 HAS SOUPS 273334 WITH SCORE 273823.687
AT ITER 230 NEW BEST:: SOT 898777 SOS 489214 HAS SOPS 482292 HAS SOUS 273518 HAS SOUPS 272961 WITH SCORE 273450.214
AT ITER 235 NEW BEST:: SOT 898588 SOS 489025 HAS SOPS 482103 HAS SOUS 272594 HAS SOUPS 272037 WITH SCORE 272526.025
AT ITER 243 NEW BEST:: SOT 898579 SOS 489754 HAS SOPS 482832 HAS SOUS 272284 HAS SOUPS 271727 WITH SCORE 272216.754
AT ITER 246 NEW BEST:: SOT 898533 SOS 489860 HAS SOPS 482966 HAS SOUS 272266 HAS SOUPS 271709 WITH SCORE 272198.86
AT ITER 261 NEW BEST:: SOT 898351 SOS 489678 HAS SOPS 482784 HAS SOUS 272084 HAS SOUPS 271527 WITH SCORE 272016.678
AT ITER 275 NEW BEST:: SOT 898801 SOS 490407 HAS SOPS 483513 HAS SOUS 271399 HAS SOUPS 270842 WITH SCORE 271332.407
AT ITER 286 NEW BEST:: SOT 898522 SOS 482648 HAS SOPS 475754 HAS SOUS 271167 HAS SOUPS 270610 WITH SCORE 271092.648
AT ITER 287 NEW BEST:: SOT 889306 SOS 474207 HAS SOPS 467313 HAS SOUS 267838 HAS SOUPS 267281 WITH SCORE 267755.207
AT ITER 295 NEW BEST:: SOT 889166 SOS 474019 HAS SOPS 467125 HAS SOUS 267658 HAS SOUPS 267101 WITH SCORE 267575.019
AT ITER 298 NEW BEST:: SOT 889176 SOS 473985 HAS SOPS 467091 HAS SOUS 267517 HAS SOUPS 266960 WITH SCORE 267433.985
AT ITER 321 NEW BEST:: SOT 886686 SOS 471429 HAS SOPS 464534 HAS SOUS 266272 HAS SOUPS 265715 WITH SCORE 266186.429
AT ITER 328 NEW BEST:: SOT 886548 SOS 471222 HAS SOPS 464327 HAS SOUS 266134 HAS SOUPS 265577 WITH SCORE 266048.222
AT ITER 340 NEW BEST:: SOT 881131 SOS 465910 HAS SOPS 459015 HAS SOUS 263746 HAS SOUPS 263189 WITH SCORE 263654.91
AT ITER 342 NEW BEST:: SOT 881073 SOS 465794 HAS SOPS 458899 HAS SOUS 263586 HAS SOUPS 263029 WITH SCORE 263494.794
AT ITER 343 NEW BEST:: SOT 872334 SOS 460261 HAS SOPS 453366 HAS SOUS 260817 HAS SOUPS 260260 WITH SCORE 260720.261
AT ITER 344 NEW BEST:: SOT 872199 SOS 460174 HAS SOPS 453279 HAS SOUS 260566 HAS SOUPS 260009 WITH SCORE 260469.174
AT ITER 351 NEW BEST:: SOT 872199 SOS 459543 HAS SOPS 452648 HAS SOUS 260566 HAS SOUPS 260009 WITH SCORE 260468.543
AT ITER 356 NEW BEST:: SOT 872217 SOS 462764 HAS SOPS 455889 HAS SOUS 260430 HAS SOUPS 259873 WITH SCORE 260335.764
AT ITER 361 NEW BEST:: SOT 872058 SOS 462267 HAS SOPS 455392 HAS SOUS 260092 HAS SOUPS 259535 WITH SCORE 259997.267
AT ITER 367 NEW BEST:: SOT 868274 SOS 458627 HAS SOPS 451752 HAS SOUS 256817 HAS SOUPS 256260 WITH SCORE 256718.627
AT ITER 369 NEW BEST:: SOT 868262 SOS 458615 HAS SOPS 451740 HAS SOUS 256805 HAS SOUPS 256248 WITH SCORE 256706.615
AT ITER 376 NEW BEST:: SOT 868262 SOS 458615 HAS SOPS 451740 HAS SOUS 256769 HAS SOUPS 256212 WITH SCORE 256670.615
AT ITER 385 NEW BEST:: SOT 868122 SOS 458418 HAS SOPS 451543 HAS SOUS 256335 HAS SOUPS 255778 WITH SCORE 256236.418
AT ITER 400 NEW BEST:: SOT 867816 SOS 457954 HAS SOPS 451079 HAS SOUS 256012 HAS SOUPS 255455 WITH SCORE 255912.954
AT ITER 401 NEW BEST:: SOT 867692 SOS 458551 HAS SOPS 451701 HAS SOUS 255812 HAS SOUPS 255255 WITH SCORE 255713.551
AT ITER 425 NEW BEST:: SOT 867687 SOS 458723 HAS SOPS 451872 HAS SOUS 255761 HAS SOUPS 255204 WITH SCORE 255662.723
AT ITER 429 NEW BEST:: SOT 867426 SOS 458563 HAS SOPS 451712 HAS SOUS 255601 HAS SOUPS 255044 WITH SCORE 255502.563
AT ITER 455 NEW BEST:: SOT 867409 SOS 459067 HAS SOPS 452216 HAS SOUS 255374 HAS SOUPS 254817 WITH SCORE 255276.067
AT ITER 456 NEW BEST:: SOT 863560 SOS 455218 HAS SOPS 448367 HAS SOUS 251004 HAS SOUPS 250447 WITH SCORE 250902.218
AT ITER 465 NEW BEST:: SOT 863493 SOS 455084 HAS SOPS 448233 HAS SOUS 250797 HAS SOUPS 250240 WITH SCORE 250695.084
AT ITER 468 NEW BEST:: SOT 863473 SOS 455064 HAS SOPS 448119 HAS SOUS 250818 HAS SOUPS 250204 WITH SCORE 250659.064
AT ITER 469 NEW BEST:: SOT 860192 SOS 451783 HAS SOPS 444838 HAS SOUS 249809 HAS SOUPS 249195 WITH SCORE 249646.783
AT ITER 471 NEW BEST:: SOT 860192 SOS 451772 HAS SOPS 444838 HAS SOUS 249787 HAS SOUPS 249173 WITH SCORE 249624.772
AT ITER 479 NEW BEST:: SOT 859687 SOS 451267 HAS SOPS 444333 HAS SOUS 249282 HAS SOUPS 248668 WITH SCORE 249119.267
AT ITER 494 NEW BEST:: SOT 859615 SOS 451142 HAS SOPS 444208 HAS SOUS 249139 HAS SOUPS 248525 WITH SCORE 248976.142
AT ITER 499 NEW BEST:: SOT 859515 SOS 450892 HAS SOPS 443958 HAS SOUS 248939 HAS SOUPS 248325 WITH SCORE 248775.892
AT ITER 505 NEW BEST:: SOT 859449 SOS 450859 HAS SOPS 443925 HAS SOUS 248906 HAS SOUPS 248292 WITH SCORE 248742.859
AT ITER 525 NEW BEST:: SOT 859129 SOS 450664 HAS SOPS 443730 HAS SOUS 248773 HAS SOUPS 248159 WITH SCORE 248609.664
AT ITER 542 NEW BEST:: SOT 858733 SOS 450202 HAS SOPS 443268 HAS SOUS 248359 HAS SOUPS 247745 WITH SCORE 248195.202
AT ITER 554 NEW BEST:: SOT 858367 SOS 449958 HAS SOPS 443024 HAS SOUS 248109 HAS SOUPS 247495 WITH SCORE 247944.958
AT ITER 557 NEW BEST:: SOT 858201 SOS 449756 HAS SOPS 442822 HAS SOUS 247896 HAS SOUPS 247282 WITH SCORE 247731.756
AT ITER 566 NEW BEST:: SOT 858079 SOS 449451 HAS SOPS 442517 HAS SOUS 247652 HAS SOUPS 247038 WITH SCORE 247487.451
AT ITER 572 NEW BEST:: SOT 848071 SOS 452940 HAS SOPS 450912 HAS SOUS 238814 HAS SOUPS 238521 WITH SCORE 238973.94
AT ITER 574 NEW BEST:: SOT 848071 SOS 452940 HAS SOPS 450912 HAS SOUS 238779 HAS SOUPS 238486 WITH SCORE 238938.94
AT ITER 580 NEW BEST:: SOT 848071 SOS 452823 HAS SOPS 450795 HAS SOUS 238779 HAS SOUPS 238486 WITH SCORE 238938.823
AT ITER 604 NEW BEST:: SOT 847952 SOS 453340 HAS SOPS 451332 HAS SOUS 238569 HAS SOUPS 238276 WITH SCORE 238729.34
AT ITER 607 NEW BEST:: SOT 848451 SOS 451079 HAS SOPS 449071 HAS SOUS 238191 HAS SOUPS 237898 WITH SCORE 238349.079
AT ITER 617 NEW BEST:: SOT 848385 SOS 450973 HAS SOPS 448965 HAS SOUS 238081 HAS SOUPS 237788 WITH SCORE 238238.973
AT ITER 618 NEW BEST:: SOT 848385 SOS 450973 HAS SOPS 448965 HAS SOUS 238049 HAS SOUPS 237756 WITH SCORE 238206.973
AT ITER 620 NEW BEST:: SOT 848362 SOS 450927 HAS SOPS 448919 HAS SOUS 238003 HAS SOUPS 237710 WITH SCORE 238160.927
AT ITER 633 NEW BEST:: SOT 848362 SOS 450927 HAS SOPS 448919 HAS SOUS 238001 HAS SOUPS 237708 WITH SCORE 238158.927
AT ITER 637 NEW BEST:: SOT 848296 SOS 450795 HAS SOPS 448787 HAS SOUS 237869 HAS SOUPS 237576 WITH SCORE 238026.795
AT ITER 640 NEW BEST:: SOT 848197 SOS 450734 HAS SOPS 448726 HAS SOUS 237799 HAS SOUPS 237506 WITH SCORE 237956.734
AT ITER 660 NEW BEST:: SOT 848038 SOS 450445 HAS SOPS 448437 HAS SOUS 237645 HAS SOUPS 237352 WITH SCORE 237802.445
AT ITER 662 NEW BEST:: SOT 848036 SOS 450441 HAS SOPS 448433 HAS SOUS 237641 HAS SOUPS 237348 WITH SCORE 237798.441
AT ITER 684 NEW BEST:: SOT 847966 SOS 449805 HAS SOPS 447797 HAS SOUS 237625 HAS SOUPS 237332 WITH SCORE 237781.805
AT ITER 687 NEW BEST:: SOT 847897 SOS 449667 HAS SOPS 447659 HAS SOUS 237463 HAS SOUPS 237170 WITH SCORE 237619.667
AT ITER 690 NEW BEST:: SOT 847853 SOS 449388 HAS SOPS 447380 HAS SOUS 237375 HAS SOUPS 237082 WITH SCORE 237531.388
AT ITER 691 NEW BEST:: SOT 847842 SOS 449366 HAS SOPS 447358 HAS SOUS 237353 HAS SOUPS 237060 WITH SCORE 237509.366
AT ITER 705 NEW BEST:: SOT 847808 SOS 449332 HAS SOPS 447304 HAS SOUS 237250 HAS SOUPS 236943 WITH SCORE 237392.332
AT ITER 708 NEW BEST:: SOT 846955 SOS 447918 HAS SOPS 445890 HAS SOUS 235903 HAS SOUPS 235596 WITH SCORE 236043.918
AT ITER 716 NEW BEST:: SOT 846697 SOS 447551 HAS SOPS 445523 HAS SOUS 235559 HAS SOUPS 235252 WITH SCORE 235699.551
AT ITER 722 NEW BEST:: SOT 846651 SOS 447528 HAS SOPS 445500 HAS SOUS 235536 HAS SOUPS 235229 WITH SCORE 235676.528
AT ITER 726 NEW BEST:: SOT 847652 SOS 448529 HAS SOPS 446501 HAS SOUS 235525 HAS SOUPS 235218 WITH SCORE 235666.529
AT ITER 729 NEW BEST:: SOT 847576 SOS 448377 HAS SOPS 446349 HAS SOUS 235373 HAS SOUPS 235066 WITH SCORE 235514.377
AT ITER 732 NEW BEST:: SOT 847562 SOS 448363 HAS SOPS 446335 HAS SOUS 235359 HAS SOUPS 235052 WITH SCORE 235500.363
AT ITER 733 NEW BEST:: SOT 847562 SOS 448377 HAS SOPS 446349 HAS SOUS 235251 HAS SOUPS 234944 WITH SCORE 235392.377
AT ITER 749 NEW BEST:: SOT 847328 SOS 448030 HAS SOPS 446002 HAS SOUS 235009 HAS SOUPS 234702 WITH SCORE 235150.03
AT ITER 761 NEW BEST:: SOT 847328 SOS 447434 HAS SOPS 445406 HAS SOUS 235009 HAS SOUPS 234702 WITH SCORE 235149.434
AT ITER 767 NEW BEST:: SOT 847262 SOS 447348 HAS SOPS 445320 HAS SOUS 234923 HAS SOUPS 234616 WITH SCORE 235063.348
AT ITER 774 NEW BEST:: SOT 846941 SOS 447134 HAS SOPS 445106 HAS SOUS 233621 HAS SOUPS 233314 WITH SCORE 233761.134
AT ITER 778 NEW BEST:: SOT 837448 SOS 438675 HAS SOPS 436647 HAS SOUS 229907 HAS SOUPS 229600 WITH SCORE 230038.675
AT ITER 788 NEW BEST:: SOT 837216 SOS 438471 HAS SOPS 436444 HAS SOUS 229832 HAS SOUPS 229525 WITH SCORE 229963.471
AT ITER 790 NEW BEST:: SOT 837311 SOS 438630 HAS SOPS 436603 HAS SOUS 229029 HAS SOUPS 228722 WITH SCORE 229160.63
AT ITER 795 NEW BEST:: SOT 837311 SOS 438612 HAS SOPS 436585 HAS SOUS 228993 HAS SOUPS 228686 WITH SCORE 229124.612
AT ITER 798 NEW BEST:: SOT 837270 SOS 438322 HAS SOPS 436295 HAS SOUS 228911 HAS SOUPS 228604 WITH SCORE 229042.322
AT ITER 802 NEW BEST:: SOT 837223 SOS 438286 HAS SOPS 436259 HAS SOUS 228126 HAS SOUPS 227819 WITH SCORE 228257.286
AT ITER 803 NEW BEST:: SOT 837107 SOS 437908 HAS SOPS 435881 HAS SOUS 227894 HAS SOUPS 227587 WITH SCORE 228024.908
AT ITER 807 NEW BEST:: SOT 837019 SOS 437776 HAS SOPS 435749 HAS SOUS 227776 HAS SOUPS 227469 WITH SCORE 227906.776
AT ITER 814 NEW BEST:: SOT 827825 SOS 448287 HAS SOPS 442669 HAS SOUS 219455 HAS SOUPS 218689 WITH SCORE 219137.287
AT ITER 821 NEW BEST:: SOT 827582 SOS 448069 HAS SOPS 442451 HAS SOUS 219187 HAS SOUPS 218421 WITH SCORE 218869.069
AT ITER 828 NEW BEST:: SOT 827867 SOS 448255 HAS SOPS 442637 HAS SOUS 218779 HAS SOUPS 218013 WITH SCORE 218461.255
AT ITER 833 NEW BEST:: SOT 827877 SOS 448265 HAS SOPS 442647 HAS SOUS 218755 HAS SOUPS 217989 WITH SCORE 218437.265
AT ITER 834 NEW BEST:: SOT 827782 SOS 448170 HAS SOPS 442552 HAS SOUS 218660 HAS SOUPS 217894 WITH SCORE 218342.17
AT ITER 837 NEW BEST:: SOT 827775 SOS 448163 HAS SOPS 442545 HAS SOUS 218646 HAS SOUPS 217880 WITH SCORE 218328.163
AT ITER 849 NEW BEST:: SOT 824071 SOS 444431 HAS SOPS 438813 HAS SOUS 215325 HAS SOUPS 214559 WITH SCORE 215003.431
AT ITER 859 NEW BEST:: SOT 823849 SOS 444193 HAS SOPS 438575 HAS SOUS 215177 HAS SOUPS 214411 WITH SCORE 214855.193
AT ITER 902 NEW BEST:: SOT 823840 SOS 444184 HAS SOPS 438566 HAS SOUS 215159 HAS SOUPS 214393 WITH SCORE 214837.184
AT ITER 925 NEW BEST:: SOT 823820 SOS 444164 HAS SOPS 438546 HAS SOUS 215126 HAS SOUPS 214360 WITH SCORE 214804.164
AT ITER 967 NEW BEST:: SOT 824080 SOS 444667 HAS SOPS 439049 HAS SOUS 215020 HAS SOUPS 214254 WITH SCORE 214698.667
AT ITER 984 NEW BEST:: SOT 823708 SOS 444249 HAS SOPS 438631 HAS SOUS 214961 HAS SOUPS 214195 WITH SCORE 214639.249
AT ITER 1000 NEW BEST:: SOT 823706 SOS 444248 HAS SOPS 438630 HAS SOUS 214959 HAS SOUPS 214193 WITH SCORE 214637.248
AT ITER 1002 NEW BEST:: SOT 823699 SOS 444241 HAS SOPS 438623 HAS SOUS 214949 HAS SOUPS 214183 WITH SCORE 214627.241
AT ITER 1017 NEW BEST:: SOT 823699 SOS 441831 HAS SOPS 436213 HAS SOUS 214695 HAS SOUPS 213929 WITH SCORE 214370.831
AT ITER 1022 NEW BEST:: SOT 823633 SOS 441699 HAS SOPS 436081 HAS SOUS 214489 HAS SOUPS 213723 WITH SCORE 214164.699
AT ITER 1024 NEW BEST:: SOT 823513 SOS 441579 HAS SOPS 435961 HAS SOUS 214261 HAS SOUPS 213495 WITH SCORE 213936.579
AT ITER 1025 NEW BEST:: SOT 823449 SOS 441562 HAS SOPS 435944 HAS SOUS 214184 HAS SOUPS 213418 WITH SCORE 213859.562
AT ITER 1048 NEW BEST:: SOT 823364 SOS 441477 HAS SOPS 435859 HAS SOUS 213976 HAS SOUPS 213210 WITH SCORE 213651.477
AT ITER 1050 NEW BEST:: SOT 823410 SOS 441523 HAS SOPS 435905 HAS SOUS 213849 HAS SOUPS 213083 WITH SCORE 213524.523
AT ITER 1052 NEW BEST:: SOT 823411 SOS 441447 HAS SOPS 435751 HAS SOUS 213773 HAS SOUPS 213007 WITH SCORE 213448.447
AT ITER 1060 NEW BEST:: SOT 823342 SOS 441378 HAS SOPS 435682 HAS SOUS 213692 HAS SOUPS 212926 WITH SCORE 213367.378
AT ITER 1066 NEW BEST:: SOT 823318 SOS 441330 HAS SOPS 435634 HAS SOUS 213660 HAS SOUPS 212894 WITH SCORE 213335.33
AT ITER 1068 NEW BEST:: SOT 823073 SOS 440732 HAS SOPS 435036 HAS SOUS 213170 HAS SOUPS 212404 WITH SCORE 212844.732
AT ITER 1070 NEW BEST:: SOT 819898 SOS 437639 HAS SOPS 431943 HAS SOUS 211659 HAS SOUPS 210893 WITH SCORE 211330.639
AT ITER 1086 NEW BEST:: SOT 819854 SOS 437585 HAS SOPS 431889 HAS SOUS 211571 HAS SOUPS 210805 WITH SCORE 211242.585
AT ITER 1102 NEW BEST:: SOT 819834 SOS 437565 HAS SOPS 431869 HAS SOUS 211551 HAS SOUPS 210785 WITH SCORE 211222.565
AT ITER 1119 NEW BEST:: SOT 819717 SOS 437515 HAS SOPS 432008 HAS SOUS 211501 HAS SOUPS 210735 WITH SCORE 211172.515
AT ITER 1121 NEW BEST:: SOT 819717 SOS 437478 HAS SOPS 431971 HAS SOUS 211472 HAS SOUPS 210706 WITH SCORE 211143.478
AT ITER 1123 NEW BEST:: SOT 819731 SOS 437466 HAS SOPS 431959 HAS SOUS 211472 HAS SOUPS 210706 WITH SCORE 211143.466
AT ITER 1132 NEW BEST:: SOT 819707 SOS 437442 HAS SOPS 431935 HAS SOUS 211424 HAS SOUPS 210658 WITH SCORE 211095.442
AT ITER 1135 NEW BEST:: SOT 819490 SOS 437225 HAS SOPS 431718 HAS SOUS 211269 HAS SOUPS 210503 WITH SCORE 210940.225
AT ITER 1136 NEW BEST:: SOT 819347 SOS 437145 HAS SOPS 431638 HAS SOUS 210866 HAS SOUPS 210100 WITH SCORE 210537.145
AT ITER 1142 NEW BEST:: SOT 819206 SOS 436622 HAS SOPS 431115 HAS SOUS 210662 HAS SOUPS 209896 WITH SCORE 210332.622
AT ITER 1145 NEW BEST:: SOT 819117 SOS 436533 HAS SOPS 431026 HAS SOUS 210484 HAS SOUPS 209718 WITH SCORE 210154.533
AT ITER 1153 NEW BEST:: SOT 813781 SOS 431132 HAS SOPS 425625 HAS SOUS 208092 HAS SOUPS 207326 WITH SCORE 207757.132
AT ITER 1182 NEW BEST:: SOT 813784 SOS 431135 HAS SOPS 425628 HAS SOUS 208035 HAS SOUPS 207269 WITH SCORE 207700.135
AT ITER 1184 NEW BEST:: SOT 812790 SOS 430038 HAS SOPS 424531 HAS SOUS 207247 HAS SOUPS 206481 WITH SCORE 206911.038
AT ITER 1194 NEW BEST:: SOT 812790 SOS 429967 HAS SOPS 424460 HAS SOUS 206018 HAS SOUPS 205252 WITH SCORE 205681.967
AT ITER 1202 NEW BEST:: SOT 812884 SOS 430061 HAS SOPS 424493 HAS SOUS 205984 HAS SOUPS 205192 WITH SCORE 205622.061
AT ITER 1228 NEW BEST:: SOT 812829 SOS 429701 HAS SOPS 424133 HAS SOUS 205874 HAS SOUPS 205082 WITH SCORE 205511.701
AT ITER 1238 NEW BEST:: SOT 813377 SOS 428463 HAS SOPS 422895 HAS SOUS 205792 HAS SOUPS 205000 WITH SCORE 205428.463
AT ITER 1252 NEW BEST:: SOT 813377 SOS 428449 HAS SOPS 422881 HAS SOUS 205792 HAS SOUPS 205000 WITH SCORE 205428.449
AT ITER 1253 NEW BEST:: SOT 812838 SOS 427969 HAS SOPS 422401 HAS SOUS 205317 HAS SOUPS 204525 WITH SCORE 204952.969
AT ITER 1255 NEW BEST:: SOT 812888 SOS 428019 HAS SOPS 422414 HAS SOUS 205275 HAS SOUPS 204472 WITH SCORE 204900.019
AT ITER 1257 NEW BEST:: SOT 812975 SOS 428106 HAS SOPS 422501 HAS SOUS 205264 HAS SOUPS 204461 WITH SCORE 204889.106
AT ITER 1259 NEW BEST:: SOT 812975 SOS 428106 HAS SOPS 422501 HAS SOUS 205215 HAS SOUPS 204412 WITH SCORE 204840.106
AT ITER 1264 NEW BEST:: SOT 812843 SOS 427886 HAS SOPS 422281 HAS SOUS 204995 HAS SOUPS 204192 WITH SCORE 204619.886
AT ITER 1273 NEW BEST:: SOT 812839 SOS 427878 HAS SOPS 422273 HAS SOUS 204987 HAS SOUPS 204184 WITH SCORE 204611.878
AT ITER 1274 NEW BEST:: SOT 810512 SOS 425475 HAS SOPS 419870 HAS SOUS 203929 HAS SOUPS 203126 WITH SCORE 203551.475
AT ITER 1282 NEW BEST:: SOT 810512 SOS 424555 HAS SOPS 418950 HAS SOUS 203929 HAS SOUPS 203126 WITH SCORE 203550.555
AT ITER 1293 NEW BEST:: SOT 811356 SOS 425399 HAS SOPS 419794 HAS SOUS 203490 HAS SOUPS 202687 WITH SCORE 203112.399
AT ITER 1310 NEW BEST:: SOT 811191 SOS 425409 HAS SOPS 419804 HAS SOUS 203389 HAS SOUPS 202586 WITH SCORE 203011.409
AT ITER 1321 NEW BEST:: SOT 811187 SOS 425405 HAS SOPS 419780 HAS SOUS 203312 HAS SOUPS 202509 WITH SCORE 202934.405
AT ITER 1329 NEW BEST:: SOT 810993 SOS 424804 HAS SOPS 416619 HAS SOUS 203205 HAS SOUPS 202146 WITH SCORE 202570.804
AT ITER 1331 NEW BEST:: SOT 810937 SOS 424748 HAS SOPS 416514 HAS SOUS 203044 HAS SOUPS 201985 WITH SCORE 202409.748
AT ITER 1341 NEW BEST:: SOT 810936 SOS 424685 HAS SOPS 416451 HAS SOUS 202981 HAS SOUPS 201922 WITH SCORE 202346.685
AT ITER 1343 NEW BEST:: SOT 811107 SOS 424748 HAS SOPS 416277 HAS SOUS 202958 HAS SOUPS 201899 WITH SCORE 202323.748
AT ITER 1351 NEW BEST:: SOT 811901 SOS 430972 HAS SOPS 422501 HAS SOUS 201802 HAS SOUPS 200743 WITH SCORE 201173.972
AT ITER 1373 NEW BEST:: SOT 811864 SOS 430907 HAS SOPS 422436 HAS SOUS 201717 HAS SOUPS 200658 WITH SCORE 201088.907
AT ITER 1383 NEW BEST:: SOT 811674 SOS 430755 HAS SOPS 422284 HAS SOUS 201469 HAS SOUPS 200410 WITH SCORE 200840.755
AT ITER 1389 NEW BEST:: SOT 811998 SOS 431287 HAS SOPS 422816 HAS SOUS 201186 HAS SOUPS 200127 WITH SCORE 200558.287
AT ITER 1417 NEW BEST:: SOT 812003 SOS 431526 HAS SOPS 423055 HAS SOUS 200975 HAS SOUPS 199916 WITH SCORE 200347.526
AT ITER 1425 NEW BEST:: SOT 811733 SOS 431273 HAS SOPS 422802 HAS SOUS 200819 HAS SOUPS 199760 WITH SCORE 200191.273
AT ITER 1431 NEW BEST:: SOT 810073 SOS 429613 HAS SOPS 421142 HAS SOUS 199440 HAS SOUPS 198381 WITH SCORE 198810.613
AT ITER 1461 NEW BEST:: SOT 809985 SOS 429481 HAS SOPS 421010 HAS SOUS 199352 HAS SOUPS 198293 WITH SCORE 198722.481
AT ITER 1473 NEW BEST:: SOT 809935 SOS 429406 HAS SOPS 420935 HAS SOUS 199277 HAS SOUPS 198218 WITH SCORE 198647.406
AT ITER 1514 NEW BEST:: SOT 809930 SOS 429401 HAS SOPS 420930 HAS SOUS 199267 HAS SOUPS 198208 WITH SCORE 198637.401
AT ITER 1529 NEW BEST:: SOT 809916 SOS 429387 HAS SOPS 420916 HAS SOUS 199239 HAS SOUPS 198180 WITH SCORE 198609.387
AT ITER 1532 NEW BEST:: SOT 809906 SOS 429377 HAS SOPS 420906 HAS SOUS 199219 HAS SOUPS 198160 WITH SCORE 198589.377
AT ITER 1535 NEW BEST:: SOT 808202 SOS 427737 HAS SOPS 419266 HAS SOUS 198563 HAS SOUPS 197504 WITH SCORE 197931.737
AT ITER 1539 NEW BEST:: SOT 808202 SOS 427737 HAS SOPS 419266 HAS SOUS 198464 HAS SOUPS 197405 WITH SCORE 197832.737
AT ITER 1546 NEW BEST:: SOT 808140 SOS 427747 HAS SOPS 419276 HAS SOUS 198448 HAS SOUPS 197389 WITH SCORE 197816.747
AT ITER 1552 NEW BEST:: SOT 808143 SOS 427753 HAS SOPS 419282 HAS SOUS 198327 HAS SOUPS 197268 WITH SCORE 197695.753
AT ITER 1555 NEW BEST:: SOT 810311 SOS 429921 HAS SOPS 421450 HAS SOUS 197653 HAS SOUPS 196594 WITH SCORE 197023.921
AT ITER 1562 NEW BEST:: SOT 810382 SOS 430183 HAS SOPS 421712 HAS SOUS 197513 HAS SOUPS 196454 WITH SCORE 196884.183
AT ITER 1564 NEW BEST:: SOT 810382 SOS 430183 HAS SOPS 421712 HAS SOUS 197473 HAS SOUPS 196414 WITH SCORE 196844.183
AT ITER 1581 NEW BEST:: SOT 810378 SOS 430179 HAS SOPS 421688 HAS SOUS 197465 HAS SOUPS 196406 WITH SCORE 196836.179
AT ITER 1622 NEW BEST:: SOT 810398 SOS 430199 HAS SOPS 421708 HAS SOUS 197430 HAS SOUPS 196371 WITH SCORE 196801.199
AT ITER 1625 NEW BEST:: SOT 810375 SOS 429998 HAS SOPS 421507 HAS SOUS 197384 HAS SOUPS 196325 WITH SCORE 196754.998
AT ITER 1627 NEW BEST:: SOT 810243 SOS 429866 HAS SOPS 421375 HAS SOUS 197250 HAS SOUPS 196191 WITH SCORE 196620.866
AT ITER 1642 NEW BEST:: SOT 810243 SOS 429832 HAS SOPS 421341 HAS SOUS 197216 HAS SOUPS 196157 WITH SCORE 196586.832
AT ITER 1653 NEW BEST:: SOT 810243 SOS 430152 HAS SOPS 421661 HAS SOUS 196704 HAS SOUPS 195645 WITH SCORE 196075.152
AT ITER 1665 NEW BEST:: SOT 809857 SOS 429394 HAS SOPS 420903 HAS SOUS 196078 HAS SOUPS 195019 WITH SCORE 195448.394
AT ITER 1671 NEW BEST:: SOT 809776 SOS 429357 HAS SOPS 420866 HAS SOUS 195916 HAS SOUPS 194857 WITH SCORE 195286.357
AT ITER 1704 NEW BEST:: SOT 809537 SOS 429725 HAS SOPS 421291 HAS SOUS 195815 HAS SOUPS 194756 WITH SCORE 195185.725
AT ITER 1710 NEW BEST:: SOT 809517 SOS 429705 HAS SOPS 421274 HAS SOUS 195798 HAS SOUPS 194739 WITH SCORE 195168.705
AT ITER 1721 NEW BEST:: SOT 809480 SOS 429668 HAS SOPS 421237 HAS SOUS 195385 HAS SOUPS 194326 WITH SCORE 194755.668
AT ITER 1727 NEW BEST:: SOT 809624 SOS 429764 HAS SOPS 421333 HAS SOUS 194809 HAS SOUPS 193750 WITH SCORE 194179.764
AT ITER 1732 NEW BEST:: SOT 809608 SOS 429748 HAS SOPS 421317 HAS SOUS 194793 HAS SOUPS 193734 WITH SCORE 194163.748
AT ITER 1738 NEW BEST:: SOT 809551 SOS 429691 HAS SOPS 421260 HAS SOUS 194679 HAS SOUPS 193620 WITH SCORE 194049.691
AT ITER 1755 NEW BEST:: SOT 809634 SOS 429774 HAS SOPS 421343 HAS SOUS 194673 HAS SOUPS 193614 WITH SCORE 194043.774
AT ITER 1757 NEW BEST:: SOT 809652 SOS 429781 HAS SOPS 421350 HAS SOUS 194666 HAS SOUPS 193607 WITH SCORE 194036.781
AT ITER 1760 NEW BEST:: SOT 809633 SOS 429762 HAS SOPS 421331 HAS SOUS 194644 HAS SOUPS 193585 WITH SCORE 194014.762
AT ITER 1764 NEW BEST:: SOT 809272 SOS 430878 HAS SOPS 422447 HAS SOUS 194612 HAS SOUPS 193553 WITH SCORE 193983.878
AT ITER 1765 NEW BEST:: SOT 809272 SOS 430758 HAS SOPS 422327 HAS SOUS 194612 HAS SOUPS 193553 WITH SCORE 193983.758
AT ITER 1768 NEW BEST:: SOT 809233 SOS 430719 HAS SOPS 422288 HAS SOUS 194534 HAS SOUPS 193475 WITH SCORE 193905.719
AT ITER 1787 NEW BEST:: SOT 809021 SOS 430507 HAS SOPS 422076 HAS SOUS 194390 HAS SOUPS 193331 WITH SCORE 193761.507
AT ITER 1793 NEW BEST:: SOT 808951 SOS 430006 HAS SOPS 421575 HAS SOUS 194370 HAS SOUPS 193311 WITH SCORE 193741.006
AT ITER 1798 NEW BEST:: SOT 808921 SOS 429976 HAS SOPS 421545 HAS SOUS 194272 HAS SOUPS 193213 WITH SCORE 193642.976
AT ITER 1800 NEW BEST:: SOT 808840 SOS 429675 HAS SOPS 421244 HAS SOUS 194220 HAS SOUPS 193161 WITH SCORE 193590.675
AT ITER 1801 NEW BEST:: SOT 808827 SOS 429662 HAS SOPS 421218 HAS SOUS 194194 HAS SOUPS 193135 WITH SCORE 193564.662
AT ITER 1825 NEW BEST:: SOT 808810 SOS 429645 HAS SOPS 421201 HAS SOUS 194175 HAS SOUPS 193116 WITH SCORE 193545.645
AT ITER 1829 NEW BEST:: SOT 808856 SOS 429691 HAS SOPS 421247 HAS SOUS 194141 HAS SOUPS 193082 WITH SCORE 193511.691
AT ITER 1831 NEW BEST:: SOT 808793 SOS 429607 HAS SOPS 421163 HAS SOUS 193994 HAS SOUPS 192935 WITH SCORE 193364.607
AT ITER 1840 NEW BEST:: SOT 808474 SOS 429058 HAS SOPS 420614 HAS SOUS 193471 HAS SOUPS 192412 WITH SCORE 192841.058
AT ITER 1849 NEW BEST:: SOT 808410 SOS 428994 HAS SOPS 420550 HAS SOUS 193420 HAS SOUPS 192361 WITH SCORE 192789.994
AT ITER 1861 NEW BEST:: SOT 808245 SOS 428973 HAS SOPS 420529 HAS SOUS 193090 HAS SOUPS 192031 WITH SCORE 192459.973
AT ITER 1886 NEW BEST:: SOT 808261 SOS 429308 HAS SOPS 420864 HAS SOUS 193082 HAS SOUPS 192023 WITH SCORE 192452.308
AT ITER 1893 NEW BEST:: SOT 808250 SOS 429286 HAS SOPS 420842 HAS SOUS 193060 HAS SOUPS 192001 WITH SCORE 192430.286
AT ITER 1895 NEW BEST:: SOT 808180 SOS 429146 HAS SOPS 420702 HAS SOUS 192800 HAS SOUPS 191741 WITH SCORE 192170.146
AT ITER 1897 NEW BEST:: SOT 807670 SOS 428328 HAS SOPS 419884 HAS SOUS 191982 HAS SOUPS 190923 WITH SCORE 191351.328
AT ITER 1902 NEW BEST:: SOT 807011 SOS 427775 HAS SOPS 419331 HAS SOUS 191397 HAS SOUPS 190338 WITH SCORE 190765.775
AT ITER 1909 NEW BEST:: SOT 807010 SOS 427642 HAS SOPS 419168 HAS SOUS 191326 HAS SOUPS 190266 WITH SCORE 190693.642
AT ITER 1916 NEW BEST:: SOT 807012 SOS 427644 HAS SOPS 419150 HAS SOUS 191308 HAS SOUPS 190248 WITH SCORE 190675.644
AT ITER 1924 NEW BEST:: SOT 806868 SOS 427430 HAS SOPS 418936 HAS SOUS 191287 HAS SOUPS 190227 WITH SCORE 190654.43
AT ITER 1930 NEW BEST:: SOT 806749 SOS 427311 HAS SOPS 418936 HAS SOUS 191168 HAS SOUPS 190108 WITH SCORE 190535.311
AT ITER 1969 NEW BEST:: SOT 806767 SOS 427367 HAS SOPS 418992 HAS SOUS 191164 HAS SOUPS 190104 WITH SCORE 190531.367
AT ITER 1972 NEW BEST:: SOT 806751 SOS 427351 HAS SOPS 418976 HAS SOUS 191132 HAS SOUPS 190072 WITH SCORE 190499.351
AT ITER 1980 NEW BEST:: SOT 806758 SOS 427262 HAS SOPS 418784 HAS SOUS 191043 HAS SOUPS 189983 WITH SCORE 190410.262
AT ITER 1981 NEW BEST:: SOT 806461 SOS 426973 HAS SOPS 418495 HAS SOUS 190710 HAS SOUPS 189650 WITH SCORE 190076.973
AT ITER 1998 NEW BEST:: SOT 806399 SOS 426849 HAS SOPS 418371 HAS SOUS 190586 HAS SOUPS 189526 WITH SCORE 189952.849
AT ITER 2011 NEW BEST:: SOT 806313 SOS 426763 HAS SOPS 418285 HAS SOUS 190392 HAS SOUPS 189332 WITH SCORE 189758.763
AT ITER 2014 NEW BEST:: SOT 806281 SOS 426261 HAS SOPS 417783 HAS SOUS 190360 HAS SOUPS 189300 WITH SCORE 189726.261
AT ITER 2021 NEW BEST:: SOT 806042 SOS 426036 HAS SOPS 417691 HAS SOUS 190344 HAS SOUPS 189284 WITH SCORE 189710.036
AT ITER 2038 NEW BEST:: SOT 805987 SOS 425966 HAS SOPS 417620 HAS SOUS 190234 HAS SOUPS 189174 WITH SCORE 189599.966
AT ITER 2045 NEW BEST:: SOT 805984 SOS 425963 HAS SOPS 417617 HAS SOUS 190228 HAS SOUPS 189168 WITH SCORE 189593.963
AT ITER 2051 NEW BEST:: SOT 805810 SOS 425731 HAS SOPS 417385 HAS SOUS 189822 HAS SOUPS 188762 WITH SCORE 189187.731
AT ITER 2058 NEW BEST:: SOT 805816 SOS 425737 HAS SOPS 417391 HAS SOUS 189820 HAS SOUPS 188760 WITH SCORE 189185.737
AT ITER 2063 NEW BEST:: SOT 805881 SOS 425802 HAS SOPS 417456 HAS SOUS 189552 HAS SOUPS 188492 WITH SCORE 188917.802
AT ITER 2065 NEW BEST:: SOT 805409 SOS 425283 HAS SOPS 416937 HAS SOUS 189119 HAS SOUPS 188059 WITH SCORE 188484.283
AT ITER 2066 NEW BEST:: SOT 805256 SOS 425082 HAS SOPS 416736 HAS SOUS 188957 HAS SOUPS 187897 WITH SCORE 188322.082
AT ITER 2068 NEW BEST:: SOT 805253 SOS 425079 HAS SOPS 416733 HAS SOUS 188951 HAS SOUPS 187891 WITH SCORE 188316.079
AT ITER 2088 NEW BEST:: SOT 805253 SOS 425079 HAS SOPS 416733 HAS SOUS 188950 HAS SOUPS 187890 WITH SCORE 188315.079
AT ITER 2089 NEW BEST:: SOT 805253 SOS 420147 HAS SOPS 411801 HAS SOUS 188876 HAS SOUPS 187816 WITH SCORE 188236.147
AT ITER 2110 NEW BEST:: SOT 805196 SOS 420090 HAS SOPS 411684 HAS SOUS 188762 HAS SOUPS 187702 WITH SCORE 188122.09
AT ITER 2115 NEW BEST:: SOT 801446 SOS 418209 HAS SOPS 409803 HAS SOUS 188235 HAS SOUPS 187175 WITH SCORE 187593.209
AT ITER 2146 NEW BEST:: SOT 801446 SOS 418369 HAS SOPS 409963 HAS SOUS 187964 HAS SOUPS 186904 WITH SCORE 187322.369
AT ITER 2195 NEW BEST:: SOT 801440 SOS 418365 HAS SOPS 409959 HAS SOUS 187958 HAS SOUPS 186898 WITH SCORE 187316.365
AT ITER 2205 NEW BEST:: SOT 801574 SOS 418659 HAS SOPS 410253 HAS SOUS 187954 HAS SOUPS 186894 WITH SCORE 187312.659
AT ITER 2221 NEW BEST:: SOT 801574 SOS 418684 HAS SOPS 410278 HAS SOUS 187929 HAS SOUPS 186869 WITH SCORE 187287.684
AT ITER 2234 NEW BEST:: SOT 801546 SOS 418656 HAS SOPS 410250 HAS SOUS 187901 HAS SOUPS 186841 WITH SCORE 187259.656
AT ITER 2239 NEW BEST:: SOT 801633 SOS 418743 HAS SOPS 410337 HAS SOUS 187814 HAS SOUPS 186754 WITH SCORE 187172.743
AT ITER 2271 NEW BEST:: SOT 801609 SOS 418719 HAS SOPS 410313 HAS SOUS 187766 HAS SOUPS 186706 WITH SCORE 187124.719
AT ITER 2322 NEW BEST:: SOT 801657 SOS 418730 HAS SOPS 410324 HAS SOUS 187721 HAS SOUPS 186661 WITH SCORE 187079.73
AT ITER 2327 NEW BEST:: SOT 801433 SOS 418282 HAS SOPS 409876 HAS SOUS 187353 HAS SOUPS 186293 WITH SCORE 186711.282
AT ITER 2331 NEW BEST:: SOT 801550 SOS 418360 HAS SOPS 409954 HAS SOUS 186915 HAS SOUPS 185855 WITH SCORE 186273.36
AT ITER 2339 NEW BEST:: SOT 801536 SOS 418346 HAS SOPS 409940 HAS SOUS 186887 HAS SOUPS 185827 WITH SCORE 186245.346
AT ITER 2342 NEW BEST:: SOT 801504 SOS 418314 HAS SOPS 409908 HAS SOUS 186823 HAS SOUPS 185763 WITH SCORE 186181.314
AT ITER 2375 NEW BEST:: SOT 801199 SOS 418009 HAS SOPS 409603 HAS SOUS 186493 HAS SOUPS 185433 WITH SCORE 185851.009
AT ITER 2379 NEW BEST:: SOT 801088 SOS 417787 HAS SOPS 409381 HAS SOUS 186308 HAS SOUPS 185248 WITH SCORE 185665.787
AT ITER 2392 NEW BEST:: SOT 801088 SOS 417743 HAS SOPS 409337 HAS SOUS 186302 HAS SOUPS 185242 WITH SCORE 185659.743
AT ITER 2396 NEW BEST:: SOT 803369 SOS 420024 HAS SOPS 411618 HAS SOUS 185968 HAS SOUPS 184908 WITH SCORE 185328.024
AT ITER 2408 NEW BEST:: SOT 803270 SOS 419943 HAS SOPS 411537 HAS SOUS 185962 HAS SOUPS 184902 WITH SCORE 185321.943
AT ITER 2417 NEW BEST:: SOT 803286 SOS 419959 HAS SOPS 411553 HAS SOUS 185911 HAS SOUPS 184851 WITH SCORE 185270.959
AT ITER 2422 NEW BEST:: SOT 804084 SOS 420665 HAS SOPS 412259 HAS SOUS 185836 HAS SOUPS 184776 WITH SCORE 185196.665
AT ITER 2432 NEW BEST:: SOT 804078 SOS 420659 HAS SOPS 412253 HAS SOUS 185830 HAS SOUPS 184770 WITH SCORE 185190.659
AT ITER 2436 NEW BEST:: SOT 803988 SOS 420569 HAS SOPS 412163 HAS SOUS 185753 HAS SOUPS 184693 WITH SCORE 185113.569
AT ITER 2443 NEW BEST:: SOT 802207 SOS 421469 HAS SOPS 413063 HAS SOUS 185583 HAS SOUPS 184523 WITH SCORE 184944.469
AT ITER 2448 NEW BEST:: SOT 802044 SOS 421306 HAS SOPS 412900 HAS SOUS 185386 HAS SOUPS 184326 WITH SCORE 184747.306
AT ITER 2450 NEW BEST:: SOT 801917 SOS 421201 HAS SOPS 412795 HAS SOUS 185281 HAS SOUPS 184221 WITH SCORE 184642.201
AT ITER 2458 NEW BEST:: SOT 800540 SOS 419758 HAS SOPS 411352 HAS SOUS 185136 HAS SOUPS 184076 WITH SCORE 184495.758
AT ITER 2465 NEW BEST:: SOT 800686 SOS 423208 HAS SOPS 414802 HAS SOUS 185062 HAS SOUPS 184002 WITH SCORE 184425.208
AT ITER 2470 NEW BEST:: SOT 800682 SOS 423204 HAS SOPS 414794 HAS SOUS 185050 HAS SOUPS 183990 WITH SCORE 184413.204
AT ITER 2473 NEW BEST:: SOT 800594 SOS 423161 HAS SOPS 414751 HAS SOUS 184964 HAS SOUPS 183904 WITH SCORE 184327.161
AT ITER 2498 NEW BEST:: SOT 800543 SOS 423110 HAS SOPS 414700 HAS SOUS 184898 HAS SOUPS 183838 WITH SCORE 184261.11
AT ITER 2550 NEW BEST:: SOT 799958 SOS 422582 HAS SOPS 414172 HAS SOUS 184808 HAS SOUPS 183748 WITH SCORE 184170.582
AT ITER 2556 NEW BEST:: SOT 801407 SOS 423867 HAS SOPS 415457 HAS SOUS 184794 HAS SOUPS 183734 WITH SCORE 184157.867
AT ITER 2559 NEW BEST:: SOT 801235 SOS 423589 HAS SOPS 415179 HAS SOUS 184503 HAS SOUPS 183443 WITH SCORE 183866.589
AT ITER 2569 NEW BEST:: SOT 801265 SOS 423644 HAS SOPS 415176 HAS SOUS 184552 HAS SOUPS 183434 WITH SCORE 183857.644
AT ITER 2577 NEW BEST:: SOT 801249 SOS 423628 HAS SOPS 415160 HAS SOUS 184488 HAS SOUPS 183370 WITH SCORE 183793.628
AT ITER 2578 NEW BEST:: SOT 801138 SOS 423454 HAS SOPS 414986 HAS SOUS 184371 HAS SOUPS 183253 WITH SCORE 183676.454
AT ITER 2650 NEW BEST:: SOT 800935 SOS 423229 HAS SOPS 414761 HAS SOUS 184146 HAS SOUPS 183028 WITH SCORE 183451.229
AT ITER 2658 NEW BEST:: SOT 800581 SOS 422715 HAS SOPS 414247 HAS SOUS 184076 HAS SOUPS 182958 WITH SCORE 183380.715
AT ITER 2665 NEW BEST:: SOT 800581 SOS 422715 HAS SOPS 414247 HAS SOUS 184048 HAS SOUPS 182930 WITH SCORE 183352.715
AT ITER 2703 NEW BEST:: SOT 800675 SOS 422762 HAS SOPS 414294 HAS SOUS 183987 HAS SOUPS 182869 WITH SCORE 183291.762
AT ITER 2708 NEW BEST:: SOT 800758 SOS 422845 HAS SOPS 414377 HAS SOUS 183923 HAS SOUPS 182805 WITH SCORE 183227.845
AT ITER 2711 NEW BEST:: SOT 800739 SOS 422807 HAS SOPS 414339 HAS SOUS 183885 HAS SOUPS 182767 WITH SCORE 183189.807
AT ITER 2714 NEW BEST:: SOT 800751 SOS 422790 HAS SOPS 414322 HAS SOUS 183879 HAS SOUPS 182761 WITH SCORE 183183.79
AT ITER 2740 NEW BEST:: SOT 798349 SOS 420388 HAS SOPS 411920 HAS SOUS 183667 HAS SOUPS 182549 WITH SCORE 182969.388
AT ITER 2744 NEW BEST:: SOT 797230 SOS 419252 HAS SOPS 410784 HAS SOUS 182955 HAS SOUPS 181837 WITH SCORE 182256.252
AT ITER 2769 NEW BEST:: SOT 797209 SOS 419210 HAS SOPS 410742 HAS SOUS 182932 HAS SOUPS 181814 WITH SCORE 182233.21
AT ITER 2771 NEW BEST:: SOT 797207 SOS 419208 HAS SOPS 410740 HAS SOUS 182928 HAS SOUPS 181810 WITH SCORE 182229.208
AT ITER 2812 NEW BEST:: SOT 797148 SOS 419091 HAS SOPS 410623 HAS SOUS 182752 HAS SOUPS 181634 WITH SCORE 182053.091
AT ITER 2815 NEW BEST:: SOT 797121 SOS 419064 HAS SOPS 410596 HAS SOUS 182698 HAS SOUPS 181580 WITH SCORE 181999.064
AT ITER 2840 NEW BEST:: SOT 797088 SOS 418784 HAS SOPS 410316 HAS SOUS 182632 HAS SOUPS 181514 WITH SCORE 181932.784
AT ITER 2845 NEW BEST:: SOT 797774 SOS 408993 HAS SOPS 395942 HAS SOUS 182739 HAS SOUPS 181376 WITH SCORE 181784.993
AT ITER 2854 NEW BEST:: SOT 797583 SOS 408641 HAS SOPS 395590 HAS SOUS 182471 HAS SOUPS 181108 WITH SCORE 181516.641
AT ITER 2891 NEW BEST:: SOT 797631 SOS 408689 HAS SOPS 395477 HAS SOUS 182327 HAS SOUPS 180959 WITH SCORE 181367.689
AT ITER 2906 NEW BEST:: SOT 797628 SOS 408686 HAS SOPS 395474 HAS SOUS 182311 HAS SOUPS 180943 WITH SCORE 181351.686
AT ITER 2909 NEW BEST:: SOT 797672 SOS 408928 HAS SOPS 395496 HAS SOUS 182245 HAS SOUPS 180855 WITH SCORE 181263.928
AT ITER 2912 NEW BEST:: SOT 797616 SOS 408802 HAS SOPS 395370 HAS SOUS 182133 HAS SOUPS 180743 WITH SCORE 181151.802
AT ITER 2937 NEW BEST:: SOT 797548 SOS 408751 HAS SOPS 395319 HAS SOUS 182082 HAS SOUPS 180692 WITH SCORE 181100.751
AT ITER 2965 NEW BEST:: SOT 797530 SOS 408739 HAS SOPS 395307 HAS SOUS 182076 HAS SOUPS 180686 WITH SCORE 181094.739
AT ITER 2971 NEW BEST:: SOT 797530 SOS 408739 HAS SOPS 395307 HAS SOUS 182071 HAS SOUPS 180681 WITH SCORE 181089.739
AT ITER 2978 NEW BEST:: SOT 797508 SOS 408695 HAS SOPS 395263 HAS SOUS 182027 HAS SOUPS 180637 WITH SCORE 181045.695
AT ITER 2983 NEW BEST:: SOT 795407 SOS 406594 HAS SOPS 393162 HAS SOUS 181695 HAS SOUPS 180305 WITH SCORE 180711.594
AT ITER 2986 NEW BEST:: SOT 795381 SOS 406568 HAS SOPS 393136 HAS SOUS 181643 HAS SOUPS 180253 WITH SCORE 180659.568
AT ITER 2988 NEW BEST:: SOT 795388 SOS 406568 HAS SOPS 393136 HAS SOUS 181524 HAS SOUPS 180134 WITH SCORE 180540.568
AT ITER 2996 NEW BEST:: SOT 795385 SOS 406565 HAS SOPS 393133 HAS SOUS 181455 HAS SOUPS 180065 WITH SCORE 180471.565
AT ITER 3008 NEW BEST:: SOT 795385 SOS 406565 HAS SOPS 393133 HAS SOUS 181436 HAS SOUPS 180046 WITH SCORE 180452.565
AT ITER 3017 NEW BEST:: SOT 795357 SOS 406467 HAS SOPS 393035 HAS SOUS 181401 HAS SOUPS 180011 WITH SCORE 180417.467
AT ITER 3020 NEW BEST:: SOT 795348 SOS 406388 HAS SOPS 392956 HAS SOUS 181312 HAS SOUPS 179922 WITH SCORE 180328.388
AT ITER 3028 NEW BEST:: SOT 795342 SOS 406382 HAS SOPS 392950 HAS SOUS 181306 HAS SOUPS 179916 WITH SCORE 180322.382
AT ITER 3035 NEW BEST:: SOT 795327 SOS 406367 HAS SOPS 392935 HAS SOUS 180754 HAS SOUPS 179364 WITH SCORE 179770.367
AT ITER 3038 NEW BEST:: SOT 795546 SOS 405179 HAS SOPS 391747 HAS SOUS 180358 HAS SOUPS 178968 WITH SCORE 179373.179
AT ITER 3041 NEW BEST:: SOT 795546 SOS 405179 HAS SOPS 391747 HAS SOUS 180350 HAS SOUPS 178960 WITH SCORE 179365.179
AT ITER 3049 NEW BEST:: SOT 795546 SOS 405179 HAS SOPS 391747 HAS SOUS 180346 HAS SOUPS 178956 WITH SCORE 179361.179
AT ITER 3052 NEW BEST:: SOT 795534 SOS 405143 HAS SOPS 391711 HAS SOUS 180310 HAS SOUPS 178920 WITH SCORE 179325.143
AT ITER 3056 NEW BEST:: SOT 795484 SOS 405093 HAS SOPS 391661 HAS SOUS 180232 HAS SOUPS 178842 WITH SCORE 179247.093
AT ITER 3062 NEW BEST:: SOT 795259 SOS 404934 HAS SOPS 391502 HAS SOUS 180139 HAS SOUPS 178749 WITH SCORE 179153.934
AT ITER 3084 NEW BEST:: SOT 795002 SOS 404677 HAS SOPS 391245 HAS SOUS 179814 HAS SOUPS 178424 WITH SCORE 178828.677
AT ITER 3088 NEW BEST:: SOT 794952 SOS 404627 HAS SOPS 391195 HAS SOUS 179704 HAS SOUPS 178314 WITH SCORE 178718.627
AT ITER 3090 NEW BEST:: SOT 794932 SOS 404587 HAS SOPS 391155 HAS SOUS 179664 HAS SOUPS 178274 WITH SCORE 178678.587
AT ITER 3091 NEW BEST:: SOT 794979 SOS 404634 HAS SOPS 391202 HAS SOUS 179658 HAS SOUPS 178268 WITH SCORE 178672.634
AT ITER 3109 NEW BEST:: SOT 794749 SOS 404433 HAS SOPS 391001 HAS SOUS 179421 HAS SOUPS 178031 WITH SCORE 178435.433
AT ITER 3117 NEW BEST:: SOT 794596 SOS 403396 HAS SOPS 390154 HAS SOUS 179294 HAS SOUPS 177904 WITH SCORE 178307.396
AT ITER 3118 NEW BEST:: SOT 794591 SOS 403391 HAS SOPS 390149 HAS SOUS 179275 HAS SOUPS 177885 WITH SCORE 178288.391
AT ITER 3139 NEW BEST:: SOT 794358 SOS 403101 HAS SOPS 389859 HAS SOUS 178904 HAS SOUPS 177514 WITH SCORE 177917.101
AT ITER 3141 NEW BEST:: SOT 794661 SOS 403342 HAS SOPS 384780 HAS SOUS 179145 HAS SOUPS 177223 WITH SCORE 177626.342
AT ITER 3157 NEW BEST:: SOT 794557 SOS 403186 HAS SOPS 384624 HAS SOUS 178885 HAS SOUPS 176963 WITH SCORE 177366.186
AT ITER 3175 NEW BEST:: SOT 794203 SOS 402846 HAS SOPS 384284 HAS SOUS 178842 HAS SOUPS 176920 WITH SCORE 177322.846
AT ITER 3181 NEW BEST:: SOT 794190 SOS 402625 HAS SOPS 384064 HAS SOUS 178816 HAS SOUPS 176894 WITH SCORE 177296.625
AT ITER 3186 NEW BEST:: SOT 794190 SOS 402025 HAS SOPS 383464 HAS SOUS 178816 HAS SOUPS 176894 WITH SCORE 177296.025
AT ITER 3197 NEW BEST:: SOT 794321 SOS 402156 HAS SOPS 383595 HAS SOUS 178674 HAS SOUPS 176752 WITH SCORE 177154.156
AT ITER 3208 NEW BEST:: SOT 794163 SOS 402207 HAS SOPS 383646 HAS SOUS 178477 HAS SOUPS 176555 WITH SCORE 176957.207
AT ITER 3211 NEW BEST:: SOT 794142 SOS 402132 HAS SOPS 383571 HAS SOUS 178456 HAS SOUPS 176534 WITH SCORE 176936.132
AT ITER 3216 NEW BEST:: SOT 793925 SOS 401865 HAS SOPS 383304 HAS SOUS 178303 HAS SOUPS 176381 WITH SCORE 176782.865
AT ITER 3224 NEW BEST:: SOT 793922 SOS 401862 HAS SOPS 383301 HAS SOUS 178300 HAS SOUPS 176378 WITH SCORE 176779.862
AT ITER 3234 NEW BEST:: SOT 793667 SOS 401253 HAS SOPS 382692 HAS SOUS 178051 HAS SOUPS 176129 WITH SCORE 176530.253
AT ITER 3240 NEW BEST:: SOT 793566 SOS 401212 HAS SOPS 382691 HAS SOUS 177962 HAS SOUPS 176046 WITH SCORE 176447.212
AT ITER 3243 NEW BEST:: SOT 793535 SOS 401198 HAS SOPS 382677 HAS SOUS 177808 HAS SOUPS 175892 WITH SCORE 176293.198
AT ITER 3250 NEW BEST:: SOT 793472 SOS 401135 HAS SOPS 382614 HAS SOUS 177682 HAS SOUPS 175766 WITH SCORE 176167.135
AT ITER 3255 NEW BEST:: SOT 793415 SOS 401162 HAS SOPS 382533 HAS SOUS 177608 HAS SOUPS 175692 WITH SCORE 176093.162
AT ITER 3282 NEW BEST:: SOT 792118 SOS 399805 HAS SOPS 381176 HAS SOUS 176508 HAS SOUPS 174592 WITH SCORE 174991.805
AT ITER 3287 NEW BEST:: SOT 791786 SOS 399494 HAS SOPS 380865 HAS SOUS 176180 HAS SOUPS 174264 WITH SCORE 174663.494
AT ITER 3298 NEW BEST:: SOT 791556 SOS 399307 HAS SOPS 380678 HAS SOUS 175958 HAS SOUPS 174042 WITH SCORE 174441.307
AT ITER 3320 NEW BEST:: SOT 791262 SOS 399034 HAS SOPS 380405 HAS SOUS 175685 HAS SOUPS 173769 WITH SCORE 174168.034
AT ITER 3325 NEW BEST:: SOT 791233 SOS 399005 HAS SOPS 380376 HAS SOUS 175654 HAS SOUPS 173738 WITH SCORE 174137.005
AT ITER 3334 NEW BEST:: SOT 791110 SOS 398572 HAS SOPS 379943 HAS SOUS 175560 HAS SOUPS 173644 WITH SCORE 174042.572
AT ITER 3360 NEW BEST:: SOT 791130 SOS 398594 HAS SOPS 379964 HAS SOUS 175537 HAS SOUPS 173621 WITH SCORE 174019.594
AT ITER 3365 NEW BEST:: SOT 791087 SOS 398551 HAS SOPS 379921 HAS SOUS 175370 HAS SOUPS 173454 WITH SCORE 173852.551
AT ITER 3368 NEW BEST:: SOT 791047 SOS 398523 HAS SOPS 379893 HAS SOUS 175298 HAS SOUPS 173382 WITH SCORE 173780.523
AT ITER 3370 NEW BEST:: SOT 790897 SOS 398373 HAS SOPS 379743 HAS SOUS 175148 HAS SOUPS 173232 WITH SCORE 173630.373
AT ITER 3373 NEW BEST:: SOT 790682 SOS 397338 HAS SOPS 378708 HAS SOUS 175033 HAS SOUPS 173117 WITH SCORE 173514.338
AT ITER 3401 NEW BEST:: SOT 790687 SOS 397343 HAS SOPS 378713 HAS SOUS 175025 HAS SOUPS 173109 WITH SCORE 173506.343
AT ITER 3405 NEW BEST:: SOT 790687 SOS 397050 HAS SOPS 378420 HAS SOUS 175025 HAS SOUPS 173109 WITH SCORE 173506.05
AT ITER 3433 NEW BEST:: SOT 790648 SOS 396952 HAS SOPS 378322 HAS SOUS 174927 HAS SOUPS 173011 WITH SCORE 173407.952
AT ITER 3435 NEW BEST:: SOT 790216 SOS 396555 HAS SOPS 377925 HAS SOUS 174615 HAS SOUPS 172699 WITH SCORE 173095.555
AT ITER 3461 NEW BEST:: SOT 790156 SOS 396483 HAS SOPS 377853 HAS SOUS 174483 HAS SOUPS 172567 WITH SCORE 172963.483
AT ITER 3483 NEW BEST:: SOT 790149 SOS 396476 HAS SOPS 377846 HAS SOUS 174469 HAS SOUPS 172553 WITH SCORE 172949.476
AT ITER 3506 NEW BEST:: SOT 790203 SOS 404471 HAS SOPS 379563 HAS SOUS 174513 HAS SOUPS 172482 WITH SCORE 172886.471
AT ITER 3513 NEW BEST:: SOT 790058 SOS 404340 HAS SOPS 379432 HAS SOUS 174358 HAS SOUPS 172327 WITH SCORE 172731.34
AT ITER 3518 NEW BEST:: SOT 790056 SOS 404353 HAS SOPS 379445 HAS SOUS 174322 HAS SOUPS 172291 WITH SCORE 172695.353
AT ITER 3526 NEW BEST:: SOT 790056 SOS 404285 HAS SOPS 379377 HAS SOUS 174288 HAS SOUPS 172257 WITH SCORE 172661.285
AT ITER 3543 NEW BEST:: SOT 789621 SOS 403988 HAS SOPS 379080 HAS SOUS 174068 HAS SOUPS 172037 WITH SCORE 172440.988
AT ITER 3552 NEW BEST:: SOT 789503 SOS 403824 HAS SOPS 378916 HAS SOUS 173819 HAS SOUPS 171788 WITH SCORE 172191.824
AT ITER 3554 NEW BEST:: SOT 789516 SOS 403797 HAS SOPS 378889 HAS SOUS 173779 HAS SOUPS 171748 WITH SCORE 172151.797
AT ITER 3582 NEW BEST:: SOT 789512 SOS 403769 HAS SOPS 378861 HAS SOUS 173771 HAS SOUPS 171740 WITH SCORE 172143.769
AT ITER 3586 NEW BEST:: SOT 789536 SOS 403793 HAS SOPS 378885 HAS SOUS 173609 HAS SOUPS 171578 WITH SCORE 171981.793
AT ITER 3593 NEW BEST:: SOT 789495 SOS 403015 HAS SOPS 378107 HAS SOUS 173577 HAS SOUPS 171546 WITH SCORE 171949.015
AT ITER 3614 NEW BEST:: SOT 789491 SOS 403007 HAS SOPS 378099 HAS SOUS 173569 HAS SOUPS 171538 WITH SCORE 171941.007
AT ITER 3615 NEW BEST:: SOT 789413 SOS 402851 HAS SOPS 377943 HAS SOUS 173413 HAS SOUPS 171382 WITH SCORE 171784.851
AT ITER 3644 NEW BEST:: SOT 789669 SOS 403114 HAS SOPS 378206 HAS SOUS 173409 HAS SOUPS 171378 WITH SCORE 171781.114
AT ITER 3659 NEW BEST:: SOT 789669 SOS 403114 HAS SOPS 378206 HAS SOUS 173376 HAS SOUPS 171345 WITH SCORE 171748.114
AT ITER 3672 NEW BEST:: SOT 789546 SOS 402981 HAS SOPS 378073 HAS SOUS 173359 HAS SOUPS 171328 WITH SCORE 171730.981
AT ITER 3675 NEW BEST:: SOT 789535 SOS 402938 HAS SOPS 378030 HAS SOUS 173348 HAS SOUPS 171317 WITH SCORE 171719.938
AT ITER 3678 NEW BEST:: SOT 789503 SOS 402837 HAS SOPS 377929 HAS SOUS 173284 HAS SOUPS 171253 WITH SCORE 171655.837
AT ITER 3698 NEW BEST:: SOT 789493 SOS 402827 HAS SOPS 377939 HAS SOUS 173284 HAS SOUPS 171253 WITH SCORE 171655.827
AT ITER 3700 NEW BEST:: SOT 789515 SOS 402849 HAS SOPS 377961 HAS SOUS 173246 HAS SOUPS 171215 WITH SCORE 171617.849
AT ITER 3706 NEW BEST:: SOT 789463 SOS 403289 HAS SOPS 378293 HAS SOUS 173179 HAS SOUPS 171148 WITH SCORE 171551.289
AT ITER 3735 NEW BEST:: SOT 789082 SOS 402590 HAS SOPS 377594 HAS SOUS 172586 HAS SOUPS 170555 WITH SCORE 170957.59
AT ITER 3752 NEW BEST:: SOT 789095 SOS 402603 HAS SOPS 377607 HAS SOUS 172453 HAS SOUPS 170422 WITH SCORE 170824.603
AT ITER 3766 NEW BEST:: SOT 788987 SOS 402495 HAS SOPS 377499 HAS SOUS 172389 HAS SOUPS 170358 WITH SCORE 170760.495
AT ITER 3789 NEW BEST:: SOT 788929 SOS 402437 HAS SOPS 377402 HAS SOUS 172210 HAS SOUPS 170189 WITH SCORE 170591.437
AT ITER 3795 NEW BEST:: SOT 788954 SOS 402410 HAS SOPS 377401 HAS SOUS 172202 HAS SOUPS 170181 WITH SCORE 170583.41
AT ITER 3803 NEW BEST:: SOT 788942 SOS 402332 HAS SOPS 377323 HAS SOUS 172178 HAS SOUPS 170157 WITH SCORE 170559.332
AT ITER 3808 NEW BEST:: SOT 788799 SOS 402189 HAS SOPS 377180 HAS SOUS 171998 HAS SOUPS 169977 WITH SCORE 170379.189
AT ITER 3823 NEW BEST:: SOT 788795 SOS 402185 HAS SOPS 377176 HAS SOUS 171994 HAS SOUPS 169973 WITH SCORE 170375.185
AT ITER 3835 NEW BEST:: SOT 788783 SOS 402173 HAS SOPS 377164 HAS SOUS 171946 HAS SOUPS 169925 WITH SCORE 170327.173
AT ITER 3838 NEW BEST:: SOT 788708 SOS 401477 HAS SOPS 376468 HAS SOUS 171918 HAS SOUPS 169897 WITH SCORE 170298.477
AT ITER 3850 NEW BEST:: SOT 788646 SOS 401446 HAS SOPS 376437 HAS SOUS 171918 HAS SOUPS 169897 WITH SCORE 170298.446
AT ITER 3853 NEW BEST:: SOT 788600 SOS 401400 HAS SOPS 376391 HAS SOUS 171766 HAS SOUPS 169745 WITH SCORE 170146.4
AT ITER 3855 NEW BEST:: SOT 788590 SOS 401380 HAS SOPS 376371 HAS SOUS 171746 HAS SOUPS 169725 WITH SCORE 170126.38
AT ITER 3862 NEW BEST:: SOT 788648 SOS 402581 HAS SOPS 377547 HAS SOUS 171714 HAS SOUPS 169694 WITH SCORE 170096.581
AT ITER 3876 NEW BEST:: SOT 788478 SOS 401951 HAS SOPS 376917 HAS SOUS 171604 HAS SOUPS 169584 WITH SCORE 169985.951
AT ITER 3908 NEW BEST:: SOT 788385 SOS 401796 HAS SOPS 376762 HAS SOUS 171449 HAS SOUPS 169429 WITH SCORE 169830.796
AT ITER 3919 NEW BEST:: SOT 788362 SOS 401780 HAS SOPS 376746 HAS SOUS 171403 HAS SOUPS 169383 WITH SCORE 169784.78
AT ITER 3939 NEW BEST:: SOT 788374 SOS 401729 HAS SOPS 376695 HAS SOUS 171361 HAS SOUPS 169341 WITH SCORE 169742.729
AT ITER 3944 NEW BEST:: SOT 788360 SOS 401715 HAS SOPS 376681 HAS SOUS 171347 HAS SOUPS 169327 WITH SCORE 169728.715
AT ITER 3975 NEW BEST:: SOT 789356 SOS 404129 HAS SOPS 379095 HAS SOUS 171343 HAS SOUPS 169323 WITH SCORE 169727.129
AT ITER 3980 NEW BEST:: SOT 789326 SOS 404001 HAS SOPS 378967 HAS SOUS 171335 HAS SOUPS 169315 WITH SCORE 169719.001
AT ITER 3999 NEW BEST:: SOT 789166 SOS 403841 HAS SOPS 378807 HAS SOUS 171313 HAS SOUPS 169293 WITH SCORE 169696.841
AT ITER 4021 NEW BEST:: SOT 789078 SOS 403753 HAS SOPS 378719 HAS SOUS 171152 HAS SOUPS 169132 WITH SCORE 169535.753
AT ITER 4035 NEW BEST:: SOT 788898 SOS 403600 HAS SOPS 378566 HAS SOUS 171046 HAS SOUPS 169026 WITH SCORE 169429.6
AT ITER 4073 NEW BEST:: SOT 788774 SOS 403343 HAS SOPS 378309 HAS SOUS 170847 HAS SOUPS 168827 WITH SCORE 169230.343
AT ITER 4079 NEW BEST:: SOT 788774 SOS 403273 HAS SOPS 378204 HAS SOUS 170847 HAS SOUPS 168827 WITH SCORE 169230.273
AT ITER 4085 NEW BEST:: SOT 788752 SOS 403249 HAS SOPS 378180 HAS SOUS 170744 HAS SOUPS 168724 WITH SCORE 169127.249
AT ITER 4089 NEW BEST:: SOT 788829 SOS 403316 HAS SOPS 378247 HAS SOUS 170677 HAS SOUPS 168657 WITH SCORE 169060.316
AT ITER 4096 NEW BEST:: SOT 788820 SOS 403307 HAS SOPS 378238 HAS SOUS 170659 HAS SOUPS 168639 WITH SCORE 169042.307
AT ITER 4098 NEW BEST:: SOT 788782 SOS 403269 HAS SOPS 378200 HAS SOUS 170516 HAS SOUPS 168496 WITH SCORE 168899.269
AT ITER 4122 NEW BEST:: SOT 788150 SOS 402737 HAS SOPS 377668 HAS SOUS 169898 HAS SOUPS 167878 WITH SCORE 168280.737
AT ITER 4135 NEW BEST:: SOT 788146 SOS 402733 HAS SOPS 377664 HAS SOUS 169892 HAS SOUPS 167872 WITH SCORE 168274.733
AT ITER 4145 NEW BEST:: SOT 788086 SOS 402613 HAS SOPS 377544 HAS SOUS 169832 HAS SOUPS 167812 WITH SCORE 168214.613
AT ITER 4154 NEW BEST:: SOT 788053 SOS 402502 HAS SOPS 377433 HAS SOUS 169774 HAS SOUPS 167754 WITH SCORE 168156.502
AT ITER 4160 NEW BEST:: SOT 788004 SOS 402453 HAS SOPS 377384 HAS SOUS 169676 HAS SOUPS 167656 WITH SCORE 168058.453
AT ITER 4166 NEW BEST:: SOT 787940 SOS 402389 HAS SOPS 377320 HAS SOUS 169612 HAS SOUPS 167592 WITH SCORE 167994.389
AT ITER 4174 NEW BEST:: SOT 787884 SOS 402630 HAS SOPS 377561 HAS SOUS 169600 HAS SOUPS 167580 WITH SCORE 167982.63
AT ITER 4178 NEW BEST:: SOT 787971 SOS 402997 HAS SOPS 377928 HAS SOUS 169562 HAS SOUPS 167542 WITH SCORE 167944.997
AT ITER 4182 NEW BEST:: SOT 787971 SOS 402961 HAS SOPS 377892 HAS SOUS 169552 HAS SOUPS 167532 WITH SCORE 167934.961
AT ITER 4207 NEW BEST:: SOT 787934 SOS 402897 HAS SOPS 377828 HAS SOUS 169515 HAS SOUPS 167495 WITH SCORE 167897.897
AT ITER 4221 NEW BEST:: SOT 787845 SOS 402779 HAS SOPS 377710 HAS SOUS 169372 HAS SOUPS 167352 WITH SCORE 167754.779
AT ITER 4228 NEW BEST:: SOT 787803 SOS 402725 HAS SOPS 377656 HAS SOUS 169204 HAS SOUPS 167184 WITH SCORE 167586.725
AT ITER 4232 NEW BEST:: SOT 787908 SOS 406735 HAS SOPS 377449 HAS SOUS 169202 HAS SOUPS 167077 WITH SCORE 167483.735
AT ITER 4248 NEW BEST:: SOT 787800 SOS 406548 HAS SOPS 377661 HAS SOUS 169072 HAS SOUPS 166947 WITH SCORE 167353.548
AT ITER 4254 NEW BEST:: SOT 787770 SOS 406497 HAS SOPS 377610 HAS SOUS 169012 HAS SOUPS 166887 WITH SCORE 167293.497
AT ITER 4269 NEW BEST:: SOT 787754 SOS 406421 HAS SOPS 377534 HAS SOUS 168996 HAS SOUPS 166871 WITH SCORE 167277.421
AT ITER 4313 NEW BEST:: SOT 787750 SOS 406417 HAS SOPS 377530 HAS SOUS 168912 HAS SOUPS 166787 WITH SCORE 167193.417
AT ITER 4315 NEW BEST:: SOT 787658 SOS 406279 HAS SOPS 377392 HAS SOUS 168774 HAS SOUPS 166649 WITH SCORE 167055.279
AT ITER 4317 NEW BEST:: SOT 787647 SOS 406268 HAS SOPS 377381 HAS SOUS 168763 HAS SOUPS 166638 WITH SCORE 167044.268
AT ITER 4323 NEW BEST:: SOT 787605 SOS 406225 HAS SOPS 377338 HAS SOUS 168680 HAS SOUPS 166555 WITH SCORE 166961.225
AT ITER 4358 NEW BEST:: SOT 787324 SOS 405878 HAS SOPS 376991 HAS SOUS 168324 HAS SOUPS 166199 WITH SCORE 166604.878
AT ITER 4361 NEW BEST:: SOT 787227 SOS 405770 HAS SOPS 377275 HAS SOUS 168298 HAS SOUPS 166173 WITH SCORE 166578.77
AT ITER 4378 NEW BEST:: SOT 787053 SOS 405596 HAS SOPS 377101 HAS SOUS 168258 HAS SOUPS 166133 WITH SCORE 166538.596
AT ITER 4393 NEW BEST:: SOT 787051 SOS 405592 HAS SOPS 377097 HAS SOUS 168254 HAS SOUPS 166129 WITH SCORE 166534.592
AT ITER 4416 NEW BEST:: SOT 787045 SOS 405586 HAS SOPS 377091 HAS SOUS 168242 HAS SOUPS 166117 WITH SCORE 166522.586
AT ITER 4417 NEW BEST:: SOT 787044 SOS 405585 HAS SOPS 377090 HAS SOUS 168240 HAS SOUPS 166115 WITH SCORE 166520.585
AT ITER 4432 NEW BEST:: SOT 786824 SOS 405364 HAS SOPS 376869 HAS SOUS 167901 HAS SOUPS 165776 WITH SCORE 166181.364
AT ITER 4462 NEW BEST:: SOT 786824 SOS 405360 HAS SOPS 376865 HAS SOUS 167901 HAS SOUPS 165776 WITH SCORE 166181.36
AT ITER 4469 NEW BEST:: SOT 786824 SOS 405409 HAS SOPS 376914 HAS SOUS 167852 HAS SOUPS 165727 WITH SCORE 166132.409
AT ITER 4473 NEW BEST:: SOT 786813 SOS 405398 HAS SOPS 376903 HAS SOUS 167777 HAS SOUPS 165652 WITH SCORE 166057.398
AT ITER 4497 NEW BEST:: SOT 786709 SOS 405377 HAS SOPS 376939 HAS SOUS 167693 HAS SOUPS 165576 WITH SCORE 165981.377
AT ITER 4516 NEW BEST:: SOT 786704 SOS 405392 HAS SOPS 376954 HAS SOUS 167683 HAS SOUPS 165566 WITH SCORE 165971.392
AT ITER 4524 NEW BEST:: SOT 786620 SOS 405282 HAS SOPS 376844 HAS SOUS 167554 HAS SOUPS 165437 WITH SCORE 165842.282
AT ITER 4525 NEW BEST:: SOT 786516 SOS 405178 HAS SOPS 376740 HAS SOUS 167369 HAS SOUPS 165252 WITH SCORE 165657.178
AT ITER 4536 NEW BEST:: SOT 786474 SOS 405136 HAS SOPS 376698 HAS SOUS 167327 HAS SOUPS 165210 WITH SCORE 165615.136
AT ITER 4546 NEW BEST:: SOT 786474 SOS 404922 HAS SOPS 376484 HAS SOUS 167327 HAS SOUPS 165210 WITH SCORE 165614.922
AT ITER 4575 NEW BEST:: SOT 786437 SOS 404885 HAS SOPS 376447 HAS SOUS 167242 HAS SOUPS 165125 WITH SCORE 165529.885
AT ITER 4582 NEW BEST:: SOT 786410 SOS 404723 HAS SOPS 376285 HAS SOUS 167242 HAS SOUPS 165125 WITH SCORE 165529.723
AT ITER 4602 NEW BEST:: SOT 786164 SOS 404440 HAS SOPS 376002 HAS SOUS 166962 HAS SOUPS 164845 WITH SCORE 165249.44
AT ITER 4603 NEW BEST:: SOT 786162 SOS 404436 HAS SOPS 375998 HAS SOUS 166960 HAS SOUPS 164843 WITH SCORE 165247.436
AT ITER 4606 NEW BEST:: SOT 786181 SOS 404005 HAS SOPS 375567 HAS SOUS 166944 HAS SOUPS 164827 WITH SCORE 165231.005
AT ITER 4655 NEW BEST:: SOT 786173 SOS 403989 HAS SOPS 375551 HAS SOUS 166928 HAS SOUPS 164811 WITH SCORE 165214.989
AT ITER 4656 NEW BEST:: SOT 786171 SOS 404106 HAS SOPS 375674 HAS SOUS 166909 HAS SOUPS 164792 WITH SCORE 165196.106
AT ITER 4665 NEW BEST:: SOT 786168 SOS 404056 HAS SOPS 375624 HAS SOUS 166903 HAS SOUPS 164786 WITH SCORE 165190.056
AT ITER 4668 NEW BEST:: SOT 786168 SOS 404038 HAS SOPS 375606 HAS SOUS 166901 HAS SOUPS 164784 WITH SCORE 165188.038
AT ITER 4682 NEW BEST:: SOT 785889 SOS 401748 HAS SOPS 373316 HAS SOUS 166671 HAS SOUPS 164554 WITH SCORE 164955.748
AT ITER 4695 NEW BEST:: SOT 785968 SOS 401719 HAS SOPS 373287 HAS SOUS 166626 HAS SOUPS 164509 WITH SCORE 164910.719
AT ITER 4698 NEW BEST:: SOT 785968 SOS 401708 HAS SOPS 373309 HAS SOUS 166626 HAS SOUPS 164509 WITH SCORE 164910.708
AT ITER 4704 NEW BEST:: SOT 786074 SOS 401814 HAS SOPS 373406 HAS SOUS 166583 HAS SOUPS 164466 WITH SCORE 164867.814
AT ITER 4711 NEW BEST:: SOT 785824 SOS 401621 HAS SOPS 373213 HAS SOUS 166230 HAS SOUPS 164113 WITH SCORE 164514.621
AT ITER 4716 NEW BEST:: SOT 785824 SOS 401727 HAS SOPS 373107 HAS SOUS 166336 HAS SOUPS 164007 WITH SCORE 164408.727
AT ITER 4719 NEW BEST:: SOT 785795 SOS 401698 HAS SOPS 373078 HAS SOUS 166323 HAS SOUPS 163994 WITH SCORE 164395.698
AT ITER 4725 NEW BEST:: SOT 785668 SOS 401590 HAS SOPS 372970 HAS SOUS 165909 HAS SOUPS 163580 WITH SCORE 163981.59
AT ITER 4742 NEW BEST:: SOT 785637 SOS 401559 HAS SOPS 372939 HAS SOUS 165878 HAS SOUPS 163549 WITH SCORE 163950.559
AT ITER 4743 NEW BEST:: SOT 785626 SOS 401548 HAS SOPS 372928 HAS SOUS 165867 HAS SOUPS 163538 WITH SCORE 163939.548
AT ITER 4755 NEW BEST:: SOT 785237 SOS 401159 HAS SOPS 372539 HAS SOUS 165070 HAS SOUPS 162741 WITH SCORE 163142.159
AT ITER 4758 NEW BEST:: SOT 785000 SOS 400933 HAS SOPS 372313 HAS SOUS 164844 HAS SOUPS 162515 WITH SCORE 162915.933
AT ITER 4763 NEW BEST:: SOT 784982 SOS 400915 HAS SOPS 372295 HAS SOUS 164826 HAS SOUPS 162497 WITH SCORE 162897.915
AT ITER 4774 NEW BEST:: SOT 784956 SOS 400889 HAS SOPS 372269 HAS SOUS 164774 HAS SOUPS 162445 WITH SCORE 162845.889
AT ITER 4775 NEW BEST:: SOT 784926 SOS 400859 HAS SOPS 372239 HAS SOUS 164714 HAS SOUPS 162385 WITH SCORE 162785.859
AT ITER 4805 NEW BEST:: SOT 784979 SOS 400715 HAS SOPS 372095 HAS SOUS 164562 HAS SOUPS 162233 WITH SCORE 162633.715
AT ITER 4846 NEW BEST:: SOT 784864 SOS 400600 HAS SOPS 371980 HAS SOUS 164332 HAS SOUPS 162003 WITH SCORE 162403.6
AT ITER 4859 NEW BEST:: SOT 784820 SOS 400556 HAS SOPS 371936 HAS SOUS 164288 HAS SOUPS 161959 WITH SCORE 162359.556
AT ITER 4863 NEW BEST:: SOT 784805 SOS 400541 HAS SOPS 371921 HAS SOUS 164258 HAS SOUPS 161929 WITH SCORE 162329.541
AT ITER 4875 NEW BEST:: SOT 785642 SOS 405084 HAS SOPS 376464 HAS SOUS 163547 HAS SOUPS 161218 WITH SCORE 161623.084
AT ITER 4883 NEW BEST:: SOT 785673 SOS 405100 HAS SOPS 376480 HAS SOUS 163491 HAS SOUPS 161162 WITH SCORE 161567.1
AT ITER 4954 NEW BEST:: SOT 785377 SOS 404064 HAS SOPS 375444 HAS SOUS 163121 HAS SOUPS 160792 WITH SCORE 161196.064
AT ITER 4987 NEW BEST:: SOT 785357 SOS 404044 HAS SOPS 375424 HAS SOUS 163084 HAS SOUPS 160755 WITH SCORE 161159.044
AT ITER 5023 NEW BEST:: SOT 785339 SOS 404008 HAS SOPS 375388 HAS SOUS 163048 HAS SOUPS 160719 WITH SCORE 161123.008
AT ITER 5039 NEW BEST:: SOT 785305 SOS 403964 HAS SOPS 375344 HAS SOUS 162980 HAS SOUPS 160651 WITH SCORE 161054.964
AT ITER 5052 NEW BEST:: SOT 785211 SOS 405869 HAS SOPS 377276 HAS SOUS 162959 HAS SOUPS 160630 WITH SCORE 161035.869
AT ITER 5060 NEW BEST:: SOT 784905 SOS 405541 HAS SOPS 376948 HAS SOUS 162765 HAS SOUPS 160436 WITH SCORE 160841.541
AT ITER 5065 NEW BEST:: SOT 784804 SOS 405440 HAS SOPS 376847 HAS SOUS 162704 HAS SOUPS 160375 WITH SCORE 160780.44
AT ITER 5076 NEW BEST:: SOT 784649 SOS 405285 HAS SOPS 376692 HAS SOUS 162394 HAS SOUPS 160065 WITH SCORE 160470.285
AT ITER 5089 NEW BEST:: SOT 784584 SOS 405172 HAS SOPS 376579 HAS SOUS 162281 HAS SOUPS 159952 WITH SCORE 160357.172
AT ITER 5098 NEW BEST:: SOT 784605 SOS 405169 HAS SOPS 376576 HAS SOUS 162267 HAS SOUPS 159938 WITH SCORE 160343.169
AT ITER 5100 NEW BEST:: SOT 784409 SOS 405059 HAS SOPS 376466 HAS SOUS 162046 HAS SOUPS 159717 WITH SCORE 160122.059
AT ITER 5109 NEW BEST:: SOT 784409 SOS 404988 HAS SOPS 376395 HAS SOUS 162046 HAS SOUPS 159717 WITH SCORE 160121.988
AT ITER 5141 NEW BEST:: SOT 784404 SOS 404978 HAS SOPS 376385 HAS SOUS 162036 HAS SOUPS 159707 WITH SCORE 160111.978
AT ITER 5149 NEW BEST:: SOT 784404 SOS 404950 HAS SOPS 376357 HAS SOUS 162019 HAS SOUPS 159690 WITH SCORE 160094.95
AT ITER 5155 NEW BEST:: SOT 784305 SOS 404851 HAS SOPS 376258 HAS SOUS 161821 HAS SOUPS 159492 WITH SCORE 159896.851
AT ITER 5157 NEW BEST:: SOT 784342 SOS 403781 HAS SOPS 375188 HAS SOUS 161661 HAS SOUPS 159332 WITH SCORE 159735.781
AT ITER 5212 NEW BEST:: SOT 784192 SOS 403681 HAS SOPS 375088 HAS SOUS 161611 HAS SOUPS 159282 WITH SCORE 159685.681
AT ITER 5221 NEW BEST:: SOT 784170 SOS 403637 HAS SOPS 375044 HAS SOUS 161567 HAS SOUPS 159238 WITH SCORE 159641.637
AT ITER 5249 NEW BEST:: SOT 784164 SOS 403631 HAS SOPS 375038 HAS SOUS 161539 HAS SOUPS 159210 WITH SCORE 159613.631
AT ITER 5256 NEW BEST:: SOT 784160 SOS 403623 HAS SOPS 375030 HAS SOUS 161531 HAS SOUPS 159202 WITH SCORE 159605.623
AT ITER 5278 NEW BEST:: SOT 784238 SOS 403701 HAS SOPS 375108 HAS SOUS 161099 HAS SOUPS 158770 WITH SCORE 159173.701
AT ITER 5334 NEW BEST:: SOT 784233 SOS 403696 HAS SOPS 375103 HAS SOUS 161089 HAS SOUPS 158760 WITH SCORE 159163.696
AT ITER 5350 NEW BEST:: SOT 783974 SOS 403431 HAS SOPS 374838 HAS SOUS 160744 HAS SOUPS 158415 WITH SCORE 158818.431
AT ITER 5353 NEW BEST:: SOT 783949 SOS 403381 HAS SOPS 374788 HAS SOUS 160694 HAS SOUPS 158365 WITH SCORE 158768.381
AT ITER 5363 NEW BEST:: SOT 783934 SOS 403366 HAS SOPS 374773 HAS SOUS 160679 HAS SOUPS 158350 WITH SCORE 158753.366
AT ITER 5378 NEW BEST:: SOT 784308 SOS 403260 HAS SOPS 374667 HAS SOUS 160317 HAS SOUPS 157988 WITH SCORE 158391.26
AT ITER 5380 NEW BEST:: SOT 784308 SOS 403270 HAS SOPS 374578 HAS SOUS 160294 HAS SOUPS 157965 WITH SCORE 158368.27
AT ITER 5399 NEW BEST:: SOT 784291 SOS 403190 HAS SOPS 374498 HAS SOUS 160257 HAS SOUPS 157928 WITH SCORE 158331.19
AT ITER 5419 NEW BEST:: SOT 784278 SOS 403253 HAS SOPS 374561 HAS SOUS 160201 HAS SOUPS 157872 WITH SCORE 158275.253
AT ITER 5428 NEW BEST:: SOT 784271 SOS 403246 HAS SOPS 374554 HAS SOUS 160194 HAS SOUPS 157865 WITH SCORE 158268.246
AT ITER 5430 NEW BEST:: SOT 784069 SOS 403044 HAS SOPS 374352 HAS SOUS 159621 HAS SOUPS 157292 WITH SCORE 157695.044
AT ITER 5442 NEW BEST:: SOT 784011 SOS 402986 HAS SOPS 374294 HAS SOUS 159520 HAS SOUPS 157191 WITH SCORE 157593.986
AT ITER 5511 NEW BEST:: SOT 783989 SOS 402975 HAS SOPS 374283 HAS SOUS 159520 HAS SOUPS 157191 WITH SCORE 157593.975
AT ITER 5521 NEW BEST:: SOT 783995 SOS 402981 HAS SOPS 374283 HAS SOUS 159514 HAS SOUPS 157185 WITH SCORE 157587.981
AT ITER 5532 NEW BEST:: SOT 783977 SOS 402963 HAS SOPS 374265 HAS SOUS 159478 HAS SOUPS 157149 WITH SCORE 157551.963
AT ITER 5536 NEW BEST:: SOT 783972 SOS 402958 HAS SOPS 374260 HAS SOUS 159478 HAS SOUPS 157149 WITH SCORE 157551.958
AT ITER 5540 NEW BEST:: SOT 783968 SOS 402944 HAS SOPS 374246 HAS SOUS 159464 HAS SOUPS 157135 WITH SCORE 157537.944
AT ITER 5555 NEW BEST:: SOT 783952 SOS 402904 HAS SOPS 374206 HAS SOUS 159432 HAS SOUPS 157103 WITH SCORE 157505.904
AT ITER 5564 NEW BEST:: SOT 783952 SOS 402889 HAS SOPS 374191 HAS SOUS 159432 HAS SOUPS 157103 WITH SCORE 157505.889
AT ITER 5569 NEW BEST:: SOT 783950 SOS 402887 HAS SOPS 374189 HAS SOUS 159296 HAS SOUPS 156967 WITH SCORE 157369.887
AT ITER 5570 NEW BEST:: SOT 783834 SOS 402669 HAS SOPS 373971 HAS SOUS 159115 HAS SOUPS 156786 WITH SCORE 157188.669
AT ITER 5578 NEW BEST:: SOT 783886 SOS 402721 HAS SOPS 374023 HAS SOUS 158549 HAS SOUPS 156220 WITH SCORE 156622.721
AT ITER 5585 NEW BEST:: SOT 783881 SOS 402555 HAS SOPS 373857 HAS SOUS 158539 HAS SOUPS 156210 WITH SCORE 156612.555
AT ITER 5603 NEW BEST:: SOT 783748 SOS 402141 HAS SOPS 373443 HAS SOUS 158125 HAS SOUPS 155796 WITH SCORE 156198.141
AT ITER 5627 NEW BEST:: SOT 783727 SOS 402127 HAS SOPS 373429 HAS SOUS 158125 HAS SOUPS 155796 WITH SCORE 156198.127
AT ITER 5632 NEW BEST:: SOT 783871 SOS 402236 HAS SOPS 373538 HAS SOUS 157783 HAS SOUPS 155454 WITH SCORE 155856.236
AT ITER 5639 NEW BEST:: SOT 783805 SOS 402170 HAS SOPS 373426 HAS SOUS 157651 HAS SOUPS 155322 WITH SCORE 155724.17
AT ITER 5670 NEW BEST:: SOT 783003 SOS 401353 HAS SOPS 372609 HAS SOUS 157332 HAS SOUPS 155003 WITH SCORE 155404.353
AT ITER 5676 NEW BEST:: SOT 782995 SOS 401343 HAS SOPS 372599 HAS SOUS 157320 HAS SOUPS 154991 WITH SCORE 155392.343
AT ITER 5689 NEW BEST:: SOT 782919 SOS 401267 HAS SOPS 372523 HAS SOUS 157170 HAS SOUPS 154841 WITH SCORE 155242.267
AT ITER 5690 NEW BEST:: SOT 782911 SOS 401251 HAS SOPS 372507 HAS SOUS 157127 HAS SOUPS 154798 WITH SCORE 155199.251
AT ITER 5692 NEW BEST:: SOT 782997 SOS 401231 HAS SOPS 372487 HAS SOUS 156037 HAS SOUPS 153708 WITH SCORE 154109.231
AT ITER 5718 NEW BEST:: SOT 782957 SOS 401180 HAS SOPS 372436 HAS SOUS 155890 HAS SOUPS 153561 WITH SCORE 153962.18
AT ITER 5729 NEW BEST:: SOT 782754 SOS 401042 HAS SOPS 372298 HAS SOUS 155720 HAS SOUPS 153391 WITH SCORE 153792.042
AT ITER 5733 NEW BEST:: SOT 782730 SOS 401018 HAS SOPS 372274 HAS SOUS 155672 HAS SOUPS 153343 WITH SCORE 153744.018
AT ITER 5773 NEW BEST:: SOT 782708 SOS 400996 HAS SOPS 372252 HAS SOUS 155628 HAS SOUPS 153299 WITH SCORE 153699.996
AT ITER 5780 NEW BEST:: SOT 782701 SOS 400989 HAS SOPS 372245 HAS SOUS 155618 HAS SOUPS 153289 WITH SCORE 153689.989
AT ITER 5785 NEW BEST:: SOT 782807 SOS 401381 HAS SOPS 372114 HAS SOUS 155617 HAS SOUPS 153288 WITH SCORE 153689.381
AT ITER 5889 NEW BEST:: SOT 782893 SOS 401362 HAS SOPS 372095 HAS SOUS 155529 HAS SOUPS 153200 WITH SCORE 153601.362
AT ITER 5895 NEW BEST:: SOT 782893 SOS 400982 HAS SOPS 371715 HAS SOUS 155526 HAS SOUPS 153197 WITH SCORE 153597.982
AT ITER 5903 NEW BEST:: SOT 782847 SOS 400936 HAS SOPS 371687 HAS SOUS 155524 HAS SOUPS 153195 WITH SCORE 153595.936
AT ITER 5906 NEW BEST:: SOT 782688 SOS 400777 HAS SOPS 371528 HAS SOUS 155384 HAS SOUPS 153055 WITH SCORE 153455.777
AT ITER 5910 NEW BEST:: SOT 782502 SOS 400146 HAS SOPS 370897 HAS SOUS 153551 HAS SOUPS 151222 WITH SCORE 151622.146
AT ITER 5911 NEW BEST:: SOT 781854 SOS 399282 HAS SOPS 370033 HAS SOUS 153298 HAS SOUPS 150969 WITH SCORE 151368.282
AT ITER 5915 NEW BEST:: SOT 781794 SOS 399243 HAS SOPS 369994 HAS SOUS 153281 HAS SOUPS 150952 WITH SCORE 151351.243
AT ITER 5934 NEW BEST:: SOT 781849 SOS 399233 HAS SOPS 369984 HAS SOUS 153245 HAS SOUPS 150916 WITH SCORE 151315.233
AT ITER 5949 NEW BEST:: SOT 781824 SOS 399208 HAS SOPS 369959 HAS SOUS 153223 HAS SOUPS 150894 WITH SCORE 151293.208
AT ITER 5952 NEW BEST:: SOT 782067 SOS 399413 HAS SOPS 370164 HAS SOUS 153025 HAS SOUPS 150696 WITH SCORE 151095.413
AT ITER 5965 NEW BEST:: SOT 782055 SOS 399339 HAS SOPS 370090 HAS SOUS 152966 HAS SOUPS 150637 WITH SCORE 151036.339
AT ITER 5984 NEW BEST:: SOT 781925 SOS 399274 HAS SOPS 370025 HAS SOUS 152901 HAS SOUPS 150572 WITH SCORE 150971.274
AT ITER 5988 NEW BEST:: SOT 781775 SOS 399124 HAS SOPS 369875 HAS SOUS 152751 HAS SOUPS 150422 WITH SCORE 150821.124
AT ITER 6048 NEW BEST:: SOT 781738 SOS 399050 HAS SOPS 369801 HAS SOUS 152677 HAS SOUPS 150348 WITH SCORE 150747.05
AT ITER 6054 NEW BEST:: SOT 781723 SOS 399228 HAS SOPS 369979 HAS SOUS 152570 HAS SOUPS 150241 WITH SCORE 150640.228
AT ITER 6066 NEW BEST:: SOT 781770 SOS 399275 HAS SOPS 370014 HAS SOUS 152520 HAS SOUPS 150191 WITH SCORE 150590.275
AT ITER 6087 NEW BEST:: SOT 781770 SOS 399251 HAS SOPS 369990 HAS SOUS 152520 HAS SOUPS 150191 WITH SCORE 150590.251
AT ITER 6088 NEW BEST:: SOT 781644 SOS 399055 HAS SOPS 369794 HAS SOUS 152350 HAS SOUPS 150021 WITH SCORE 150420.055
AT ITER 6093 NEW BEST:: SOT 781644 SOS 398855 HAS SOPS 369594 HAS SOUS 152350 HAS SOUPS 150021 WITH SCORE 150419.855
AT ITER 6103 NEW BEST:: SOT 781644 SOS 398856 HAS SOPS 369595 HAS SOUS 152295 HAS SOUPS 149966 WITH SCORE 150364.856
AT ITER 6110 NEW BEST:: SOT 781641 SOS 398853 HAS SOPS 369592 HAS SOUS 152040 HAS SOUPS 149711 WITH SCORE 150109.853
AT ITER 6190 NEW BEST:: SOT 781476 SOS 398658 HAS SOPS 369397 HAS SOUS 151942 HAS SOUPS 149613 WITH SCORE 150011.658
AT ITER 6197 NEW BEST:: SOT 781476 SOS 398637 HAS SOPS 369376 HAS SOUS 151928 HAS SOUPS 149599 WITH SCORE 149997.637
AT ITER 6205 NEW BEST:: SOT 781432 SOS 398593 HAS SOPS 369332 HAS SOUS 151884 HAS SOUPS 149555 WITH SCORE 149953.593
AT ITER 6206 NEW BEST:: SOT 781426 SOS 398587 HAS SOPS 369326 HAS SOUS 151872 HAS SOUPS 149543 WITH SCORE 149941.587
AT ITER 6260 NEW BEST:: SOT 781153 SOS 398314 HAS SOPS 369053 HAS SOUS 151486 HAS SOUPS 149157 WITH SCORE 149555.314
AT ITER 6290 NEW BEST:: SOT 780995 SOS 397882 HAS SOPS 368621 HAS SOUS 151307 HAS SOUPS 148978 WITH SCORE 149375.882
AT ITER 6291 NEW BEST:: SOT 780990 SOS 397877 HAS SOPS 368616 HAS SOUS 151302 HAS SOUPS 148973 WITH SCORE 149370.877
AT ITER 6292 NEW BEST:: SOT 780822 SOS 397663 HAS SOPS 368402 HAS SOUS 151068 HAS SOUPS 148739 WITH SCORE 149136.663
AT ITER 6304 NEW BEST:: SOT 780822 SOS 392289 HAS SOPS 363028 HAS SOUS 151068 HAS SOUPS 148739 WITH SCORE 149131.289
AT ITER 6309 NEW BEST:: SOT 780821 SOS 392288 HAS SOPS 363027 HAS SOUS 151067 HAS SOUPS 148738 WITH SCORE 149130.288
AT ITER 6328 NEW BEST:: SOT 780811 SOS 392278 HAS SOPS 363017 HAS SOUS 151037 HAS SOUPS 148708 WITH SCORE 149100.278
AT ITER 6383 NEW BEST:: SOT 780811 SOS 391585 HAS SOPS 362324 HAS SOUS 151037 HAS SOUPS 148708 WITH SCORE 149099.585
AT ITER 6397 NEW BEST:: SOT 780657 SOS 391431 HAS SOPS 362170 HAS SOUS 150916 HAS SOUPS 148587 WITH SCORE 148978.431
AT ITER 6398 NEW BEST:: SOT 780544 SOS 388468 HAS SOPS 359207 HAS SOUS 150850 HAS SOUPS 148521 WITH SCORE 148909.468
AT ITER 6404 NEW BEST:: SOT 780507 SOS 388431 HAS SOPS 359170 HAS SOUS 150776 HAS SOUPS 148447 WITH SCORE 148835.431
AT ITER 6410 NEW BEST:: SOT 780335 SOS 388259 HAS SOPS 358998 HAS SOUS 150432 HAS SOUPS 148103 WITH SCORE 148491.259
AT ITER 6427 NEW BEST:: SOT 780308 SOS 387329 HAS SOPS 358068 HAS SOUS 150402 HAS SOUPS 148073 WITH SCORE 148460.329
AT ITER 6455 NEW BEST:: SOT 780387 SOS 387394 HAS SOPS 358133 HAS SOUS 150382 HAS SOUPS 148053 WITH SCORE 148440.394
AT ITER 6482 NEW BEST:: SOT 780387 SOS 387273 HAS SOPS 358012 HAS SOUS 150327 HAS SOUPS 147998 WITH SCORE 148385.273
AT ITER 6491 NEW BEST:: SOT 780178 SOS 387151 HAS SOPS 358364 HAS SOUS 150203 HAS SOUPS 147874 WITH SCORE 148261.151
AT ITER 6493 NEW BEST:: SOT 780064 SOS 387037 HAS SOPS 358630 HAS SOUS 150089 HAS SOUPS 147798 WITH SCORE 148185.037
AT ITER 6502 NEW BEST:: SOT 779889 SOS 386862 HAS SOPS 358455 HAS SOUS 149900 HAS SOUPS 147609 WITH SCORE 147995.862
AT ITER 6515 NEW BEST:: SOT 779638 SOS 386611 HAS SOPS 358204 HAS SOUS 149398 HAS SOUPS 147107 WITH SCORE 147493.611
AT ITER 6550 NEW BEST:: SOT 779628 SOS 386632 HAS SOPS 358225 HAS SOUS 149385 HAS SOUPS 147094 WITH SCORE 147480.632
AT ITER 6582 NEW BEST:: SOT 778924 SOS 385955 HAS SOPS 357548 HAS SOUS 149108 HAS SOUPS 146817 WITH SCORE 147202.955
AT ITER 6587 NEW BEST:: SOT 778730 SOS 385761 HAS SOPS 357354 HAS SOUS 148720 HAS SOUPS 146429 WITH SCORE 146814.761
AT ITER 6601 NEW BEST:: SOT 778725 SOS 385756 HAS SOPS 357349 HAS SOUS 148715 HAS SOUPS 146424 WITH SCORE 146809.756
AT ITER 6621 NEW BEST:: SOT 778685 SOS 385717 HAS SOPS 357310 HAS SOUS 148635 HAS SOUPS 146344 WITH SCORE 146729.717
AT ITER 6624 NEW BEST:: SOT 778676 SOS 385708 HAS SOPS 357301 HAS SOUS 148617 HAS SOUPS 146326 WITH SCORE 146711.708
AT ITER 6639 NEW BEST:: SOT 778622 SOS 385736 HAS SOPS 357329 HAS SOUS 148607 HAS SOUPS 146316 WITH SCORE 146701.736
AT ITER 6643 NEW BEST:: SOT 778627 SOS 385690 HAS SOPS 357283 HAS SOUS 148522 HAS SOUPS 146231 WITH SCORE 146616.69
AT ITER 6652 NEW BEST:: SOT 778609 SOS 385649 HAS SOPS 357242 HAS SOUS 148515 HAS SOUPS 146224 WITH SCORE 146609.649
AT ITER 6653 NEW BEST:: SOT 778609 SOS 386599 HAS SOPS 357982 HAS SOUS 148493 HAS SOUPS 146181 WITH SCORE 146567.599
AT ITER 6677 NEW BEST:: SOT 778608 SOS 386598 HAS SOPS 357981 HAS SOUS 148491 HAS SOUPS 146179 WITH SCORE 146565.598
AT ITER 6698 NEW BEST:: SOT 778562 SOS 386580 HAS SOPS 357935 HAS SOUS 148497 HAS SOUPS 146175 WITH SCORE 146561.58
AT ITER 6700 NEW BEST:: SOT 778547 SOS 386565 HAS SOPS 357920 HAS SOUS 148467 HAS SOUPS 146145 WITH SCORE 146531.565
AT ITER 6703 NEW BEST:: SOT 778547 SOS 384379 HAS SOPS 355734 HAS SOUS 148467 HAS SOUPS 146145 WITH SCORE 146529.379
AT ITER 6709 NEW BEST:: SOT 778535 SOS 384367 HAS SOPS 355722 HAS SOUS 148464 HAS SOUPS 146142 WITH SCORE 146526.367
AT ITER 6717 NEW BEST:: SOT 778464 SOS 384192 HAS SOPS 355547 HAS SOUS 148407 HAS SOUPS 146085 WITH SCORE 146469.192
AT ITER 6721 NEW BEST:: SOT 778535 SOS 384374 HAS SOPS 355389 HAS SOUS 148219 HAS SOUPS 145897 WITH SCORE 146281.374
AT ITER 6740 NEW BEST:: SOT 778496 SOS 384335 HAS SOPS 355350 HAS SOUS 148141 HAS SOUPS 145819 WITH SCORE 146203.335
AT ITER 6748 NEW BEST:: SOT 778473 SOS 384327 HAS SOPS 355342 HAS SOUS 148123 HAS SOUPS 145801 WITH SCORE 146185.327
AT ITER 6772 NEW BEST:: SOT 778469 SOS 384321 HAS SOPS 355336 HAS SOUS 148087 HAS SOUPS 145765 WITH SCORE 146149.321
AT ITER 6788 NEW BEST:: SOT 778453 SOS 384282 HAS SOPS 355297 HAS SOUS 148055 HAS SOUPS 145733 WITH SCORE 146117.282
AT ITER 6808 NEW BEST:: SOT 778326 SOS 385158 HAS SOPS 356202 HAS SOUS 147911 HAS SOUPS 145593 WITH SCORE 145978.158
AT ITER 6820 NEW BEST:: SOT 778297 SOS 385116 HAS SOPS 356160 HAS SOUS 147869 HAS SOUPS 145551 WITH SCORE 145936.116
AT ITER 6823 NEW BEST:: SOT 778208 SOS 385087 HAS SOPS 356169 HAS SOUS 147799 HAS SOUPS 145473 WITH SCORE 145858.087
AT ITER 6832 NEW BEST:: SOT 778150 SOS 384455 HAS SOPS 355537 HAS SOUS 147695 HAS SOUPS 145369 WITH SCORE 145753.455
AT ITER 6835 NEW BEST:: SOT 778176 SOS 384318 HAS SOPS 355400 HAS SOUS 147584 HAS SOUPS 145258 WITH SCORE 145642.318
AT ITER 6841 NEW BEST:: SOT 778056 SOS 382891 HAS SOPS 353973 HAS SOUS 147428 HAS SOUPS 145102 WITH SCORE 145484.891
AT ITER 6863 NEW BEST:: SOT 778056 SOS 382839 HAS SOPS 353921 HAS SOUS 147428 HAS SOUPS 145102 WITH SCORE 145484.839
AT ITER 6885 NEW BEST:: SOT 777908 SOS 382738 HAS SOPS 353820 HAS SOUS 147311 HAS SOUPS 144985 WITH SCORE 145367.738
AT ITER 6917 NEW BEST:: SOT 777467 SOS 381966 HAS SOPS 353048 HAS SOUS 147035 HAS SOUPS 144709 WITH SCORE 145090.966
AT ITER 6919 NEW BEST:: SOT 777352 SOS 381799 HAS SOPS 352947 HAS SOUS 146918 HAS SOUPS 144592 WITH SCORE 144973.799
AT ITER 6927 NEW BEST:: SOT 777378 SOS 381805 HAS SOPS 352953 HAS SOUS 146898 HAS SOUPS 144572 WITH SCORE 144953.805
AT ITER 6946 NEW BEST:: SOT 777205 SOS 381632 HAS SOPS 352780 HAS SOUS 146688 HAS SOUPS 144362 WITH SCORE 144743.632
AT ITER 6966 NEW BEST:: SOT 777197 SOS 381622 HAS SOPS 352770 HAS SOUS 146672 HAS SOUPS 144346 WITH SCORE 144727.622
AT ITER 6969 NEW BEST:: SOT 777187 SOS 381612 HAS SOPS 352750 HAS SOUS 146662 HAS SOUPS 144336 WITH SCORE 144717.612
AT ITER 6982 NEW BEST:: SOT 777187 SOS 381381 HAS SOPS 352519 HAS SOUS 146662 HAS SOUPS 144336 WITH SCORE 144717.381
AT ITER 6984 NEW BEST:: SOT 777187 SOS 381356 HAS SOPS 352469 HAS SOUS 146637 HAS SOUPS 144311 WITH SCORE 144692.356
AT ITER 7048 NEW BEST:: SOT 777181 SOS 381350 HAS SOPS 352463 HAS SOUS 146619 HAS SOUPS 144293 WITH SCORE 144674.35
AT ITER 7070 NEW BEST:: SOT 776990 SOS 381159 HAS SOPS 352272 HAS SOUS 146449 HAS SOUPS 144123 WITH SCORE 144504.159
AT ITER 7095 NEW BEST:: SOT 777048 SOS 381217 HAS SOPS 352330 HAS SOUS 146443 HAS SOUPS 144117 WITH SCORE 144498.217
AT ITER 7128 NEW BEST:: SOT 776860 SOS 381029 HAS SOPS 352142 HAS SOUS 145942 HAS SOUPS 143616 WITH SCORE 143997.029
AT ITER 7136 NEW BEST:: SOT 776788 SOS 380980 HAS SOPS 352093 HAS SOUS 145835 HAS SOUPS 143509 WITH SCORE 143889.98
AT ITER 7140 NEW BEST:: SOT 776788 SOS 380951 HAS SOPS 352064 HAS SOUS 145807 HAS SOUPS 143481 WITH SCORE 143861.951
AT ITER 7155 NEW BEST:: SOT 776788 SOS 380921 HAS SOPS 352034 HAS SOUS 145777 HAS SOUPS 143451 WITH SCORE 143831.921
AT ITER 7265 NEW BEST:: SOT 776664 SOS 380795 HAS SOPS 351908 HAS SOUS 145566 HAS SOUPS 143240 WITH SCORE 143620.795
AT ITER 7280 NEW BEST:: SOT 776654 SOS 380720 HAS SOPS 351833 HAS SOUS 145526 HAS SOUPS 143200 WITH SCORE 143580.72
AT ITER 7296 NEW BEST:: SOT 775068 SOS 379291 HAS SOPS 350404 HAS SOUS 145317 HAS SOUPS 142991 WITH SCORE 143370.291
AT ITER 7309 NEW BEST:: SOT 775068 SOS 379299 HAS SOPS 350412 HAS SOUS 145313 HAS SOUPS 142987 WITH SCORE 143366.299
AT ITER 7338 NEW BEST:: SOT 775064 SOS 379295 HAS SOPS 350408 HAS SOUS 145305 HAS SOUPS 142979 WITH SCORE 143358.295
AT ITER 7343 NEW BEST:: SOT 775019 SOS 379250 HAS SOPS 350363 HAS SOUS 145215 HAS SOUPS 142889 WITH SCORE 143268.25
AT ITER 7362 NEW BEST:: SOT 775019 SOS 379730 HAS SOPS 350843 HAS SOUS 145203 HAS SOUPS 142877 WITH SCORE 143256.73
AT ITER 7367 NEW BEST:: SOT 775019 SOS 379730 HAS SOPS 350843 HAS SOUS 145193 HAS SOUPS 142867 WITH SCORE 143246.73
AT ITER 7369 NEW BEST:: SOT 774996 SOS 379684 HAS SOPS 350797 HAS SOUS 145147 HAS SOUPS 142821 WITH SCORE 143200.684
AT ITER 7387 NEW BEST:: SOT 774926 SOS 379544 HAS SOPS 350797 HAS SOUS 145147 HAS SOUPS 142821 WITH SCORE 143200.544
AT ITER 7396 NEW BEST:: SOT 774901 SOS 379519 HAS SOPS 350772 HAS SOUS 145097 HAS SOUPS 142771 WITH SCORE 143150.519
AT ITER 7406 NEW BEST:: SOT 775048 SOS 379637 HAS SOPS 350890 HAS SOUS 144884 HAS SOUPS 142558 WITH SCORE 142937.637
AT ITER 7425 NEW BEST:: SOT 775076 SOS 379665 HAS SOPS 350918 HAS SOUS 144666 HAS SOUPS 142340 WITH SCORE 142719.665
AT ITER 7428 NEW BEST:: SOT 775059 SOS 379648 HAS SOPS 350901 HAS SOUS 144632 HAS SOUPS 142306 WITH SCORE 142685.648
AT ITER 7454 NEW BEST:: SOT 775044 SOS 379565 HAS SOPS 350818 HAS SOUS 144549 HAS SOUPS 142223 WITH SCORE 142602.565
AT ITER 7457 NEW BEST:: SOT 774930 SOS 379318 HAS SOPS 350976 HAS SOUS 144534 HAS SOUPS 142208 WITH SCORE 142587.318
AT ITER 7461 NEW BEST:: SOT 774912 SOS 379300 HAS SOPS 350958 HAS SOUS 144507 HAS SOUPS 142181 WITH SCORE 142560.3
AT ITER 7467 NEW BEST:: SOT 774880 SOS 379252 HAS SOPS 350910 HAS SOUS 144459 HAS SOUPS 142133 WITH SCORE 142512.252
AT ITER 7566 NEW BEST:: SOT 774880 SOS 379229 HAS SOPS 350887 HAS SOUS 144413 HAS SOUPS 142087 WITH SCORE 142466.229
AT ITER 7576 NEW BEST:: SOT 774808 SOS 379120 HAS SOPS 350778 HAS SOUS 144269 HAS SOUPS 141943 WITH SCORE 142322.12
AT ITER 7592 NEW BEST:: SOT 774809 SOS 379121 HAS SOPS 350779 HAS SOUS 144194 HAS SOUPS 141868 WITH SCORE 142247.121
AT ITER 7605 NEW BEST:: SOT 774793 SOS 379089 HAS SOPS 350747 HAS SOUS 144168 HAS SOUPS 141842 WITH SCORE 142221.089
AT ITER 7658 NEW BEST:: SOT 774830 SOS 379003 HAS SOPS 350661 HAS SOUS 144082 HAS SOUPS 141756 WITH SCORE 142135.003
AT ITER 7720 NEW BEST:: SOT 775087 SOS 379285 HAS SOPS 350386 HAS SOUS 144073 HAS SOUPS 141747 WITH SCORE 142126.285
AT ITER 7770 NEW BEST:: SOT 775082 SOS 379280 HAS SOPS 350381 HAS SOUS 144051 HAS SOUPS 141725 WITH SCORE 142104.28
AT ITER 7783 NEW BEST:: SOT 775081 SOS 379307 HAS SOPS 350408 HAS SOUS 144023 HAS SOUPS 141697 WITH SCORE 142076.307
AT ITER 7801 NEW BEST:: SOT 775078 SOS 379304 HAS SOPS 350399 HAS SOUS 144020 HAS SOUPS 141694 WITH SCORE 142073.304
AT ITER 7821 NEW BEST:: SOT 775071 SOS 379297 HAS SOPS 350392 HAS SOUS 144006 HAS SOUPS 141680 WITH SCORE 142059.297
AT ITER 7823 NEW BEST:: SOT 775031 SOS 379257 HAS SOPS 350304 HAS SOUS 143926 HAS SOUPS 141600 WITH SCORE 141979.257
AT ITER 7839 NEW BEST:: SOT 775024 SOS 379250 HAS SOPS 350297 HAS SOUS 143912 HAS SOUPS 141586 WITH SCORE 141965.25
AT ITER 7850 NEW BEST:: SOT 775069 SOS 379905 HAS SOPS 350882 HAS SOUS 143869 HAS SOUPS 141536 WITH SCORE 141915.905
AT ITER 7852 NEW BEST:: SOT 775031 SOS 379791 HAS SOPS 350730 HAS SOUS 143793 HAS SOUPS 141460 WITH SCORE 141839.791
AT ITER 7853 NEW BEST:: SOT 774589 SOS 379247 HAS SOPS 350186 HAS SOUS 143368 HAS SOUPS 141035 WITH SCORE 141414.247
AT ITER 7861 NEW BEST:: SOT 774513 SOS 379234 HAS SOPS 350173 HAS SOUS 143352 HAS SOUPS 141019 WITH SCORE 141398.234
AT ITER 7876 NEW BEST:: SOT 774505 SOS 379226 HAS SOPS 350165 HAS SOUS 143345 HAS SOUPS 141012 WITH SCORE 141391.226
AT ITER 7907 NEW BEST:: SOT 774477 SOS 379184 HAS SOPS 350123 HAS SOUS 143303 HAS SOUPS 140970 WITH SCORE 141349.184
AT ITER 7947 NEW BEST:: SOT 774477 SOS 379184 HAS SOPS 350113 HAS SOUS 143288 HAS SOUPS 140955 WITH SCORE 141334.184
AT ITER 8031 NEW BEST:: SOT 774477 SOS 378994 HAS SOPS 349923 HAS SOUS 143269 HAS SOUPS 140936 WITH SCORE 141314.994
AT ITER 8040 NEW BEST:: SOT 774477 SOS 378980 HAS SOPS 349869 HAS SOUS 143215 HAS SOUPS 140882 WITH SCORE 141260.98
AT ITER 8067 NEW BEST:: SOT 774353 SOS 378960 HAS SOPS 349849 HAS SOUS 143136 HAS SOUPS 140803 WITH SCORE 141181.96
AT ITER 8068 NEW BEST:: SOT 774289 SOS 378896 HAS SOPS 349785 HAS SOUS 143071 HAS SOUPS 140738 WITH SCORE 141116.896
AT ITER 8083 NEW BEST:: SOT 774289 SOS 378823 HAS SOPS 349712 HAS SOUS 143071 HAS SOUPS 140738 WITH SCORE 141116.823
AT ITER 8088 NEW BEST:: SOT 774181 SOS 378707 HAS SOPS 349592 HAS SOUS 143038 HAS SOUPS 140705 WITH SCORE 141083.707
AT ITER 8104 NEW BEST:: SOT 774193 SOS 378719 HAS SOPS 349604 HAS SOUS 142993 HAS SOUPS 140660 WITH SCORE 141038.719
AT ITER 8127 NEW BEST:: SOT 774188 SOS 378704 HAS SOPS 349589 HAS SOUS 142983 HAS SOUPS 140650 WITH SCORE 141028.704
AT ITER 8130 NEW BEST:: SOT 773831 SOS 378263 HAS SOPS 349148 HAS SOUS 142694 HAS SOUPS 140361 WITH SCORE 140739.263
AT ITER 8131 NEW BEST:: SOT 773828 SOS 378260 HAS SOPS 349145 HAS SOUS 142689 HAS SOUPS 140356 WITH SCORE 140734.26
AT ITER 8154 NEW BEST:: SOT 773718 SOS 378150 HAS SOPS 349035 HAS SOUS 142422 HAS SOUPS 140089 WITH SCORE 140467.15
AT ITER 8170 NEW BEST:: SOT 773718 SOS 378142 HAS SOPS 349027 HAS SOUS 142422 HAS SOUPS 140089 WITH SCORE 140467.142
AT ITER 8171 NEW BEST:: SOT 773559 SOS 378138 HAS SOPS 349176 HAS SOUS 142295 HAS SOUPS 139976 WITH SCORE 140354.138
AT ITER 8197 NEW BEST:: SOT 773703 SOS 378260 HAS SOPS 349298 HAS SOUS 142187 HAS SOUPS 139868 WITH SCORE 140246.26
AT ITER 8201 NEW BEST:: SOT 773691 SOS 380893 HAS SOPS 351931 HAS SOUS 142171 HAS SOUPS 139852 WITH SCORE 140232.893
AT ITER 8202 NEW BEST:: SOT 773686 SOS 380888 HAS SOPS 351926 HAS SOUS 142161 HAS SOUPS 139842 WITH SCORE 140222.888
AT ITER 8216 NEW BEST:: SOT 773715 SOS 381022 HAS SOPS 352060 HAS SOUS 142154 HAS SOUPS 139835 WITH SCORE 140216.022
AT ITER 8219 NEW BEST:: SOT 773707 SOS 381010 HAS SOPS 352048 HAS SOUS 142146 HAS SOUPS 139827 WITH SCORE 140208.01
AT ITER 8227 NEW BEST:: SOT 773708 SOS 380997 HAS SOPS 352035 HAS SOUS 142134 HAS SOUPS 139815 WITH SCORE 140195.997
AT ITER 8262 NEW BEST:: SOT 773689 SOS 380978 HAS SOPS 352016 HAS SOUS 142067 HAS SOUPS 139748 WITH SCORE 140128.978
AT ITER 8314 NEW BEST:: SOT 773689 SOS 380975 HAS SOPS 352013 HAS SOUS 142033 HAS SOUPS 139714 WITH SCORE 140094.975
AT ITER 8317 NEW BEST:: SOT 773687 SOS 380932 HAS SOPS 351970 HAS SOUS 141677 HAS SOUPS 139358 WITH SCORE 139738.932
AT ITER 8343 NEW BEST:: SOT 773656 SOS 380899 HAS SOPS 351937 HAS SOUS 141644 HAS SOUPS 139325 WITH SCORE 139705.899
AT ITER 8346 NEW BEST:: SOT 773578 SOS 380863 HAS SOPS 351901 HAS SOUS 141534 HAS SOUPS 139215 WITH SCORE 139595.863
AT ITER 8364 NEW BEST:: SOT 773522 SOS 380771 HAS SOPS 351809 HAS SOUS 141369 HAS SOUPS 139050 WITH SCORE 139430.771
AT ITER 8387 NEW BEST:: SOT 773473 SOS 380673 HAS SOPS 351711 HAS SOUS 141271 HAS SOUPS 138952 WITH SCORE 139332.673
AT ITER 8395 NEW BEST:: SOT 773438 SOS 380638 HAS SOPS 351676 HAS SOUS 141270 HAS SOUPS 138951 WITH SCORE 139331.638
AT ITER 8401 NEW BEST:: SOT 773437 SOS 380637 HAS SOPS 351675 HAS SOUS 141268 HAS SOUPS 138949 WITH SCORE 139329.637
AT ITER 8407 NEW BEST:: SOT 773412 SOS 380548 HAS SOPS 351554 HAS SOUS 141208 HAS SOUPS 138889 WITH SCORE 139269.548
AT ITER 8424 NEW BEST:: SOT 773459 SOS 380595 HAS SOPS 351601 HAS SOUS 141173 HAS SOUPS 138854 WITH SCORE 139234.595
AT ITER 8456 NEW BEST:: SOT 773459 SOS 380595 HAS SOPS 351649 HAS SOUS 141169 HAS SOUPS 138850 WITH SCORE 139230.595
AT ITER 8472 NEW BEST:: SOT 773456 SOS 380592 HAS SOPS 351646 HAS SOUS 141143 HAS SOUPS 138824 WITH SCORE 139204.592
AT ITER 8486 NEW BEST:: SOT 773469 SOS 380591 HAS SOPS 351645 HAS SOUS 141141 HAS SOUPS 138822 WITH SCORE 139202.591
AT ITER 8492 NEW BEST:: SOT 773394 SOS 380488 HAS SOPS 351542 HAS SOUS 141016 HAS SOUPS 138697 WITH SCORE 139077.488
AT ITER 8498 NEW BEST:: SOT 773450 SOS 380544 HAS SOPS 351593 HAS SOUS 141006 HAS SOUPS 138687 WITH SCORE 139067.544
AT ITER 8504 NEW BEST:: SOT 773332 SOS 380465 HAS SOPS 351514 HAS SOUS 140986 HAS SOUPS 138667 WITH SCORE 139047.465
AT ITER 8509 NEW BEST:: SOT 773332 SOS 380465 HAS SOPS 351514 HAS SOUS 140933 HAS SOUPS 138614 WITH SCORE 138994.465
AT ITER 8542 NEW BEST:: SOT 773332 SOS 380334 HAS SOPS 351383 HAS SOUS 140854 HAS SOUPS 138535 WITH SCORE 138915.334
AT ITER 8548 NEW BEST:: SOT 773288 SOS 380274 HAS SOPS 351339 HAS SOUS 140766 HAS SOUPS 138447 WITH SCORE 138827.274
AT ITER 8565 NEW BEST:: SOT 773222 SOS 380208 HAS SOPS 351273 HAS SOUS 140634 HAS SOUPS 138315 WITH SCORE 138695.208
AT ITER 8623 NEW BEST:: SOT 773176 SOS 380116 HAS SOPS 351181 HAS SOUS 140542 HAS SOUPS 138223 WITH SCORE 138603.116
AT ITER 8629 NEW BEST:: SOT 773097 SOS 379332 HAS SOPS 350397 HAS SOUS 140453 HAS SOUPS 138134 WITH SCORE 138513.332
AT ITER 8674 NEW BEST:: SOT 772660 SOS 378935 HAS SOPS 350000 HAS SOUS 140305 HAS SOUPS 137986 WITH SCORE 138364.935
AT ITER 8691 NEW BEST:: SOT 772444 SOS 378710 HAS SOPS 349775 HAS SOUS 140278 HAS SOUPS 137959 WITH SCORE 138337.71
AT ITER 8728 NEW BEST:: SOT 772430 SOS 378570 HAS SOPS 349635 HAS SOUS 140138 HAS SOUPS 137819 WITH SCORE 138197.57
AT ITER 8753 NEW BEST:: SOT 772420 SOS 378560 HAS SOPS 349625 HAS SOUS 140118 HAS SOUPS 137799 WITH SCORE 138177.56
AT ITER 8792 NEW BEST:: SOT 772400 SOS 378540 HAS SOPS 349605 HAS SOUS 140098 HAS SOUPS 137779 WITH SCORE 138157.54
AT ITER 8821 NEW BEST:: SOT 772362 SOS 378502 HAS SOPS 349567 HAS SOUS 139801 HAS SOUPS 137482 WITH SCORE 137860.502
AT ITER 8830 NEW BEST:: SOT 772479 SOS 378600 HAS SOPS 349665 HAS SOUS 139693 HAS SOUPS 137374 WITH SCORE 137752.6
AT ITER 8873 NEW BEST:: SOT 772494 SOS 378592 HAS SOPS 349657 HAS SOUS 139685 HAS SOUPS 137366 WITH SCORE 137744.592
AT ITER 8874 NEW BEST:: SOT 772338 SOS 378436 HAS SOPS 349501 HAS SOUS 139597 HAS SOUPS 137278 WITH SCORE 137656.436
AT ITER 8876 NEW BEST:: SOT 772198 SOS 378222 HAS SOPS 349287 HAS SOUS 139368 HAS SOUPS 137049 WITH SCORE 137427.222
AT ITER 8888 NEW BEST:: SOT 772136 SOS 378087 HAS SOPS 349152 HAS SOUS 139233 HAS SOUPS 136914 WITH SCORE 137292.087
AT ITER 8899 NEW BEST:: SOT 772148 SOS 378107 HAS SOPS 349144 HAS SOUS 139228 HAS SOUPS 136909 WITH SCORE 137287.107
AT ITER 8928 NEW BEST:: SOT 772067 SOS 378026 HAS SOPS 349063 HAS SOUS 139174 HAS SOUPS 136855 WITH SCORE 137233.026
AT ITER 8931 NEW BEST:: SOT 771905 SOS 377864 HAS SOPS 348901 HAS SOUS 139014 HAS SOUPS 136695 WITH SCORE 137072.864
AT ITER 8932 NEW BEST:: SOT 771897 SOS 377298 HAS SOPS 348335 HAS SOUS 138988 HAS SOUPS 136669 WITH SCORE 137046.298
AT ITER 8933 NEW BEST:: SOT 771897 SOS 377262 HAS SOPS 348299 HAS SOUS 138988 HAS SOUPS 136669 WITH SCORE 137046.262
AT ITER 8944 NEW BEST:: SOT 771884 SOS 377249 HAS SOPS 348286 HAS SOUS 138959 HAS SOUPS 136640 WITH SCORE 137017.249
AT ITER 8961 NEW BEST:: SOT 771819 SOS 377119 HAS SOPS 348156 HAS SOUS 138829 HAS SOUPS 136510 WITH SCORE 136887.119
AT ITER 8962 NEW BEST:: SOT 771801 SOS 377101 HAS SOPS 348138 HAS SOUS 138811 HAS SOUPS 136492 WITH SCORE 136869.101
AT ITER 8980 NEW BEST:: SOT 772222 SOS 375765 HAS SOPS 346802 HAS SOUS 138446 HAS SOUPS 136127 WITH SCORE 136502.765
AT ITER 8981 NEW BEST:: SOT 772248 SOS 375694 HAS SOPS 346731 HAS SOUS 138446 HAS SOUPS 136127 WITH SCORE 136502.694
AT ITER 8983 NEW BEST:: SOT 772194 SOS 375586 HAS SOPS 346623 HAS SOUS 138392 HAS SOUPS 136073 WITH SCORE 136448.586
AT ITER 8988 NEW BEST:: SOT 772182 SOS 375562 HAS SOPS 346599 HAS SOUS 138368 HAS SOUPS 136049 WITH SCORE 136424.562
AT ITER 8989 NEW BEST:: SOT 772109 SOS 375080 HAS SOPS 346117 HAS SOUS 138335 HAS SOUPS 136016 WITH SCORE 136391.08
AT ITER 9014 NEW BEST:: SOT 772083 SOS 375002 HAS SOPS 346039 HAS SOUS 138280 HAS SOUPS 135961 WITH SCORE 136336.002
AT ITER 9016 NEW BEST:: SOT 772040 SOS 375045 HAS SOPS 346082 HAS SOUS 138222 HAS SOUPS 135903 WITH SCORE 136278.045
AT ITER 9042 NEW BEST:: SOT 772027 SOS 375006 HAS SOPS 346043 HAS SOUS 138196 HAS SOUPS 135877 WITH SCORE 136252.006
AT ITER 9063 NEW BEST:: SOT 772011 SOS 375007 HAS SOPS 346044 HAS SOUS 138151 HAS SOUPS 135832 WITH SCORE 136207.007
AT ITER 9069 NEW BEST:: SOT 771945 SOS 374950 HAS SOPS 345987 HAS SOUS 137992 HAS SOUPS 135673 WITH SCORE 136047.95
AT ITER 9105 NEW BEST:: SOT 770079 SOS 373084 HAS SOPS 344121 HAS SOUS 137118 HAS SOUPS 134799 WITH SCORE 135172.084
AT ITER 9121 NEW BEST:: SOT 770021 SOS 373026 HAS SOPS 344063 HAS SOUS 137083 HAS SOUPS 134764 WITH SCORE 135137.026
AT ITER 9146 NEW BEST:: SOT 769966 SOS 372879 HAS SOPS 343916 HAS SOUS 137019 HAS SOUPS 134700 WITH SCORE 135072.879
AT ITER 9163 NEW BEST:: SOT 769962 SOS 372750 HAS SOPS 343787 HAS SOUS 137004 HAS SOUPS 134685 WITH SCORE 135057.75
AT ITER 9172 NEW BEST:: SOT 769917 SOS 372650 HAS SOPS 343687 HAS SOUS 136873 HAS SOUPS 134554 WITH SCORE 134926.65
AT ITER 9219 NEW BEST:: SOT 769677 SOS 372333 HAS SOPS 343370 HAS SOUS 136517 HAS SOUPS 134198 WITH SCORE 134570.333
AT ITER 9274 NEW BEST:: SOT 769655 SOS 372311 HAS SOPS 343348 HAS SOUS 136510 HAS SOUPS 134191 WITH SCORE 134563.311
AT ITER 9304 NEW BEST:: SOT 769567 SOS 372141 HAS SOPS 343178 HAS SOUS 136401 HAS SOUPS 134082 WITH SCORE 134454.141
AT ITER 9350 NEW BEST:: SOT 769581 SOS 372155 HAS SOPS 343180 HAS SOUS 136364 HAS SOUPS 134045 WITH SCORE 134417.155
AT ITER 9359 NEW BEST:: SOT 769520 SOS 372095 HAS SOPS 343120 HAS SOUS 136262 HAS SOUPS 133943 WITH SCORE 134315.095
AT ITER 9361 NEW BEST:: SOT 769504 SOS 372039 HAS SOPS 343064 HAS SOUS 136210 HAS SOUPS 133891 WITH SCORE 134263.039
AT ITER 9374 NEW BEST:: SOT 769590 SOS 372125 HAS SOPS 343107 HAS SOUS 136170 HAS SOUPS 133851 WITH SCORE 134223.125
AT ITER 9407 NEW BEST:: SOT 769584 SOS 372119 HAS SOPS 343107 HAS SOUS 136164 HAS SOUPS 133845 WITH SCORE 134217.119
AT ITER 9415 NEW BEST:: SOT 769546 SOS 372584 HAS SOPS 343572 HAS SOUS 136129 HAS SOUPS 133810 WITH SCORE 134182.584
AT ITER 9428 NEW BEST:: SOT 769388 SOS 372322 HAS SOPS 344350 HAS SOUS 135867 HAS SOUPS 133652 WITH SCORE 134024.322
AT ITER 9446 NEW BEST:: SOT 769293 SOS 372327 HAS SOPS 344355 HAS SOUS 135777 HAS SOUPS 133562 WITH SCORE 133934.327
AT ITER 9471 NEW BEST:: SOT 769241 SOS 372275 HAS SOPS 344303 HAS SOUS 135673 HAS SOUPS 133458 WITH SCORE 133830.275
AT ITER 9477 NEW BEST:: SOT 769291 SOS 372349 HAS SOPS 344377 HAS SOUS 135502 HAS SOUPS 133287 WITH SCORE 133659.349
AT ITER 9507 NEW BEST:: SOT 769293 SOS 372313 HAS SOPS 344359 HAS SOUS 135476 HAS SOUPS 133261 WITH SCORE 133633.313
AT ITER 9518 NEW BEST:: SOT 769291 SOS 372309 HAS SOPS 344355 HAS SOUS 135472 HAS SOUPS 133257 WITH SCORE 133629.309
AT ITER 9571 NEW BEST:: SOT 769271 SOS 372289 HAS SOPS 344335 HAS SOUS 135448 HAS SOUPS 133233 WITH SCORE 133605.289
AT ITER 9603 NEW BEST:: SOT 769253 SOS 372267 HAS SOPS 344313 HAS SOUS 135407 HAS SOUPS 133192 WITH SCORE 133564.267
AT ITER 9635 NEW BEST:: SOT 769245 SOS 372259 HAS SOPS 344305 HAS SOUS 135391 HAS SOUPS 133176 WITH SCORE 133548.259
AT ITER 9660 NEW BEST:: SOT 769151 SOS 372071 HAS SOPS 344117 HAS SOUS 135250 HAS SOUPS 133035 WITH SCORE 133407.071
AT ITER 9703 NEW BEST:: SOT 769431 SOS 372379 HAS SOPS 344425 HAS SOUS 135104 HAS SOUPS 132889 WITH SCORE 133261.379
AT ITER 9717 NEW BEST:: SOT 769410 SOS 372358 HAS SOPS 344404 HAS SOUS 135076 HAS SOUPS 132861 WITH SCORE 133233.358
AT ITER 9776 NEW BEST:: SOT 769401 SOS 372349 HAS SOPS 344415 HAS SOUS 135018 HAS SOUPS 132823 WITH SCORE 133195.349
AT ITER 9826 NEW BEST:: SOT 769281 SOS 372249 HAS SOPS 344315 HAS SOUS 134898 HAS SOUPS 132703 WITH SCORE 133075.249
AT ITER 9846 NEW BEST:: SOT 769298 SOS 371743 HAS SOPS 343809 HAS SOUS 134887 HAS SOUPS 132692 WITH SCORE 133063.743
AT ITER 9865 NEW BEST:: SOT 769272 SOS 371717 HAS SOPS 343783 HAS SOUS 134861 HAS SOUPS 132666 WITH SCORE 133037.717
AT ITER 9880 NEW BEST:: SOT 769288 SOS 371733 HAS SOPS 343799 HAS SOUS 134829 HAS SOUPS 132634 WITH SCORE 133005.733
AT ITER 9984 NEW BEST:: SOT 769097 SOS 371542 HAS SOPS 343608 HAS SOUS 134324 HAS SOUPS 132129 WITH SCORE 132500.542
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12026144 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16148476 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S02J06T10"
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 PolyORBLF-PT-S02J06T10, 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 r291-tall-167873943000536"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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