Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r043-tajo-167813697100608.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is BusinessProcesses-PT-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813697100608
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 624K
-rw-r--r-- 1 mcc users 7.9K Feb 25 16:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 25 16:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 16:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 25 16:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 16:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 16:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 192K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678795635736

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BusinessProcesses-PT-20
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 12:07:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 12:07:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 12:07:18] [INFO ] Load time of PNML (sax parser for PT used): 99 ms
[2023-03-14 12:07:18] [INFO ] Transformed 782 places.
[2023-03-14 12:07:18] [INFO ] Transformed 697 transitions.
[2023-03-14 12:07:18] [INFO ] Found NUPN structural information;
[2023-03-14 12:07:18] [INFO ] Parsed PT model containing 782 places and 697 transitions and 2011 arcs in 188 ms.
[2023-03-14 12:07:18] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 782 places, 697 transitions and 2011 arcs took 11 ms.
Total runtime 235 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 20
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 782 places, 697 transitions, 2011 arcs.
AT ITER 0 NEW BEST:: SOT 346049 SOS 133379 HAS SOPS 133379 HAS SOUS 130584 HAS SOUPS 130584 WITH SCORE 130717.379
AT ITER 7 NEW BEST:: SOT 341844 SOS 130224 HAS SOPS 130224 HAS SOUS 126428 HAS SOUPS 126428 WITH SCORE 126558.224
AT ITER 16 NEW BEST:: SOT 341844 SOS 130224 HAS SOPS 130224 HAS SOUS 126420 HAS SOUPS 126420 WITH SCORE 126550.224
AT ITER 17 NEW BEST:: SOT 341843 SOS 130030 HAS SOPS 130030 HAS SOUS 126322 HAS SOUPS 126322 WITH SCORE 126452.03
AT ITER 24 NEW BEST:: SOT 340088 SOS 128275 HAS SOPS 128275 HAS SOUS 124567 HAS SOUPS 124567 WITH SCORE 124695.275
AT ITER 45 NEW BEST:: SOT 340088 SOS 128141 HAS SOPS 128141 HAS SOUS 124474 HAS SOUPS 124474 WITH SCORE 124602.141
AT ITER 59 NEW BEST:: SOT 340087 SOS 127996 HAS SOPS 127996 HAS SOUS 124329 HAS SOUPS 124329 WITH SCORE 124456.996
AT ITER 63 NEW BEST:: SOT 340087 SOS 127956 HAS SOPS 127956 HAS SOUS 124329 HAS SOUPS 124329 WITH SCORE 124456.956
AT ITER 83 NEW BEST:: SOT 340086 SOS 127954 HAS SOPS 127954 HAS SOUS 124327 HAS SOUPS 124327 WITH SCORE 124454.954
AT ITER 86 NEW BEST:: SOT 340044 SOS 127912 HAS SOPS 127912 HAS SOUS 124327 HAS SOUPS 124327 WITH SCORE 124454.912
AT ITER 88 NEW BEST:: SOT 339969 SOS 127907 HAS SOPS 127907 HAS SOUS 124322 HAS SOUPS 124322 WITH SCORE 124449.907
AT ITER 98 NEW BEST:: SOT 339969 SOS 127907 HAS SOPS 127907 HAS SOUS 124321 HAS SOUPS 124321 WITH SCORE 124448.907
AT ITER 110 NEW BEST:: SOT 339720 SOS 127611 HAS SOPS 127611 HAS SOUS 124088 HAS SOUPS 124088 WITH SCORE 124215.611
AT ITER 117 NEW BEST:: SOT 339631 SOS 127227 HAS SOPS 127227 HAS SOUS 123793 HAS SOUPS 123793 WITH SCORE 123920.227
AT ITER 122 NEW BEST:: SOT 339454 SOS 127303 HAS SOPS 127303 HAS SOUS 123688 HAS SOUPS 123688 WITH SCORE 123815.303
AT ITER 125 NEW BEST:: SOT 339367 SOS 127275 HAS SOPS 127275 HAS SOUS 123660 HAS SOUPS 123660 WITH SCORE 123787.275
AT ITER 127 NEW BEST:: SOT 339347 SOS 127235 HAS SOPS 127235 HAS SOUS 123620 HAS SOUPS 123620 WITH SCORE 123747.235
AT ITER 159 NEW BEST:: SOT 339346 SOS 127201 HAS SOPS 127201 HAS SOUS 123586 HAS SOUPS 123586 WITH SCORE 123713.201
AT ITER 161 NEW BEST:: SOT 339346 SOS 127179 HAS SOPS 127179 HAS SOUS 123564 HAS SOUPS 123564 WITH SCORE 123691.179
AT ITER 168 NEW BEST:: SOT 339339 SOS 127172 HAS SOPS 127172 HAS SOUS 123557 HAS SOUPS 123557 WITH SCORE 123684.172
AT ITER 179 NEW BEST:: SOT 339079 SOS 127000 HAS SOPS 127000 HAS SOUS 123385 HAS SOUPS 123385 WITH SCORE 123512.0
AT ITER 180 NEW BEST:: SOT 339078 SOS 126998 HAS SOPS 126998 HAS SOUS 123383 HAS SOUPS 123383 WITH SCORE 123509.998
AT ITER 181 NEW BEST:: SOT 336438 SOS 124358 HAS SOPS 124358 HAS SOUS 120743 HAS SOUPS 120743 WITH SCORE 120867.358
AT ITER 206 NEW BEST:: SOT 336428 SOS 124331 HAS SOPS 124331 HAS SOUS 120673 HAS SOUPS 120673 WITH SCORE 120797.331
AT ITER 223 NEW BEST:: SOT 336428 SOS 124155 HAS SOPS 124155 HAS SOUS 120497 HAS SOUPS 120497 WITH SCORE 120621.155
AT ITER 224 NEW BEST:: SOT 336208 SOS 123873 HAS SOPS 123873 HAS SOUS 120215 HAS SOUPS 120215 WITH SCORE 120338.873
AT ITER 227 NEW BEST:: SOT 336208 SOS 123863 HAS SOPS 123863 HAS SOUS 120205 HAS SOUPS 120205 WITH SCORE 120328.863
AT ITER 231 NEW BEST:: SOT 336170 SOS 123879 HAS SOPS 123879 HAS SOUS 120143 HAS SOUPS 120143 WITH SCORE 120266.879
AT ITER 239 NEW BEST:: SOT 335914 SOS 123658 HAS SOPS 123658 HAS SOUS 119922 HAS SOUPS 119922 WITH SCORE 120045.658
AT ITER 252 NEW BEST:: SOT 335906 SOS 123642 HAS SOPS 123642 HAS SOUS 119906 HAS SOUPS 119906 WITH SCORE 120029.642
AT ITER 267 NEW BEST:: SOT 335892 SOS 123641 HAS SOPS 123641 HAS SOUS 119905 HAS SOUPS 119905 WITH SCORE 120028.641
AT ITER 272 NEW BEST:: SOT 335885 SOS 123522 HAS SOPS 123522 HAS SOUS 119891 HAS SOUPS 119891 WITH SCORE 120014.522
AT ITER 279 NEW BEST:: SOT 335885 SOS 123434 HAS SOPS 123434 HAS SOUS 119803 HAS SOUPS 119803 WITH SCORE 119926.434
AT ITER 284 NEW BEST:: SOT 335818 SOS 123454 HAS SOPS 123454 HAS SOUS 119780 HAS SOUPS 119780 WITH SCORE 119903.454
AT ITER 287 NEW BEST:: SOT 335654 SOS 123103 HAS SOPS 123103 HAS SOUS 119429 HAS SOUPS 119429 WITH SCORE 119552.103
AT ITER 309 NEW BEST:: SOT 335568 SOS 123094 HAS SOPS 123094 HAS SOUS 119420 HAS SOUPS 119420 WITH SCORE 119543.094
AT ITER 315 NEW BEST:: SOT 333214 SOS 123580 HAS SOPS 123580 HAS SOUS 117566 HAS SOUPS 117566 WITH SCORE 117689.58
AT ITER 319 NEW BEST:: SOT 332929 SOS 123186 HAS SOPS 123186 HAS SOUS 117172 HAS SOUPS 117172 WITH SCORE 117295.186
AT ITER 327 NEW BEST:: SOT 332929 SOS 123138 HAS SOPS 123138 HAS SOUS 117172 HAS SOUPS 117172 WITH SCORE 117295.138
AT ITER 332 NEW BEST:: SOT 332690 SOS 122614 HAS SOPS 122614 HAS SOUS 116648 HAS SOUPS 116648 WITH SCORE 116770.614
AT ITER 333 NEW BEST:: SOT 324728 SOS 148112 HAS SOPS 148112 HAS SOUS 109702 HAS SOUPS 109702 WITH SCORE 109850.112
AT ITER 337 NEW BEST:: SOT 324736 SOS 147861 HAS SOPS 147861 HAS SOUS 109657 HAS SOUPS 109657 WITH SCORE 109804.861
AT ITER 341 NEW BEST:: SOT 324718 SOS 147843 HAS SOPS 147843 HAS SOUS 109639 HAS SOUPS 109639 WITH SCORE 109786.843
AT ITER 342 NEW BEST:: SOT 324685 SOS 147809 HAS SOPS 147809 HAS SOUS 109605 HAS SOUPS 109605 WITH SCORE 109752.809
AT ITER 356 NEW BEST:: SOT 324427 SOS 147293 HAS SOPS 147293 HAS SOUS 109418 HAS SOUPS 109418 WITH SCORE 109565.293
AT ITER 362 NEW BEST:: SOT 324370 SOS 147236 HAS SOPS 147236 HAS SOUS 109361 HAS SOUPS 109361 WITH SCORE 109508.236
AT ITER 377 NEW BEST:: SOT 324272 SOS 147134 HAS SOPS 147134 HAS SOUS 109339 HAS SOUPS 109339 WITH SCORE 109486.134
AT ITER 380 NEW BEST:: SOT 324131 SOS 146852 HAS SOPS 146852 HAS SOUS 109057 HAS SOUPS 109057 WITH SCORE 109203.852
AT ITER 381 NEW BEST:: SOT 324108 SOS 146806 HAS SOPS 146806 HAS SOUS 109011 HAS SOUPS 109011 WITH SCORE 109157.806
AT ITER 387 NEW BEST:: SOT 323857 SOS 146304 HAS SOPS 146304 HAS SOUS 108553 HAS SOUPS 108553 WITH SCORE 108699.304
AT ITER 391 NEW BEST:: SOT 322236 SOS 147488 HAS SOPS 147488 HAS SOUS 107394 HAS SOUPS 107394 WITH SCORE 107541.488
AT ITER 395 NEW BEST:: SOT 322133 SOS 147282 HAS SOPS 147282 HAS SOUS 107290 HAS SOUPS 107290 WITH SCORE 107437.282
AT ITER 409 NEW BEST:: SOT 322106 SOS 147204 HAS SOPS 147204 HAS SOUS 107212 HAS SOUPS 107212 WITH SCORE 107359.204
AT ITER 413 NEW BEST:: SOT 322066 SOS 147162 HAS SOPS 147162 HAS SOUS 107203 HAS SOUPS 107203 WITH SCORE 107350.162
AT ITER 415 NEW BEST:: SOT 322074 SOS 146964 HAS SOPS 146964 HAS SOUS 107139 HAS SOUPS 107139 WITH SCORE 107285.964
AT ITER 423 NEW BEST:: SOT 321918 SOS 146684 HAS SOPS 146684 HAS SOUS 107018 HAS SOUPS 107018 WITH SCORE 107164.684
AT ITER 427 NEW BEST:: SOT 321918 SOS 146648 HAS SOPS 146648 HAS SOUS 106982 HAS SOUPS 106982 WITH SCORE 107128.648
AT ITER 472 NEW BEST:: SOT 321810 SOS 146486 HAS SOPS 146486 HAS SOUS 106928 HAS SOUPS 106928 WITH SCORE 107074.486
AT ITER 477 NEW BEST:: SOT 321833 SOS 146547 HAS SOPS 146547 HAS SOUS 106833 HAS SOUPS 106833 WITH SCORE 106979.547
AT ITER 510 NEW BEST:: SOT 321547 SOS 145956 HAS SOPS 145956 HAS SOUS 106383 HAS SOUPS 106383 WITH SCORE 106528.956
AT ITER 511 NEW BEST:: SOT 321570 SOS 146067 HAS SOPS 146067 HAS SOUS 106338 HAS SOUPS 106338 WITH SCORE 106484.067
AT ITER 525 NEW BEST:: SOT 321570 SOS 146061 HAS SOPS 146061 HAS SOUS 106332 HAS SOUPS 106332 WITH SCORE 106478.061
AT ITER 528 NEW BEST:: SOT 320065 SOS 144556 HAS SOPS 144556 HAS SOUS 104547 HAS SOUPS 104547 WITH SCORE 104691.556
AT ITER 529 NEW BEST:: SOT 319915 SOS 143953 HAS SOPS 143953 HAS SOUS 104108 HAS SOUPS 104108 WITH SCORE 104251.953
AT ITER 534 NEW BEST:: SOT 319878 SOS 143915 HAS SOPS 143915 HAS SOUS 104070 HAS SOUPS 104070 WITH SCORE 104213.915
AT ITER 537 NEW BEST:: SOT 319807 SOS 143844 HAS SOPS 143844 HAS SOUS 103874 HAS SOUPS 103874 WITH SCORE 104017.844
AT ITER 547 NEW BEST:: SOT 319757 SOS 143353 HAS SOPS 143353 HAS SOUS 103746 HAS SOUPS 103746 WITH SCORE 103889.353
AT ITER 552 NEW BEST:: SOT 319675 SOS 143189 HAS SOPS 143189 HAS SOUS 103697 HAS SOUPS 103697 WITH SCORE 103840.189
AT ITER 558 NEW BEST:: SOT 319820 SOS 143130 HAS SOPS 143130 HAS SOUS 103638 HAS SOUPS 103638 WITH SCORE 103781.13
AT ITER 579 NEW BEST:: SOT 319816 SOS 142909 HAS SOPS 142909 HAS SOUS 103515 HAS SOUPS 103515 WITH SCORE 103657.909
AT ITER 583 NEW BEST:: SOT 319715 SOS 142707 HAS SOPS 142707 HAS SOUS 103455 HAS SOUPS 103455 WITH SCORE 103597.707
AT ITER 591 NEW BEST:: SOT 319663 SOS 142603 HAS SOPS 142603 HAS SOUS 103351 HAS SOUPS 103351 WITH SCORE 103493.603
AT ITER 597 NEW BEST:: SOT 319670 SOS 142658 HAS SOPS 142658 HAS SOUS 103304 HAS SOUPS 103304 WITH SCORE 103446.658
AT ITER 612 NEW BEST:: SOT 319668 SOS 142656 HAS SOPS 142656 HAS SOUS 103304 HAS SOUPS 103304 WITH SCORE 103446.656
AT ITER 629 NEW BEST:: SOT 319707 SOS 134544 HAS SOPS 134544 HAS SOUS 103310 HAS SOUPS 103310 WITH SCORE 103444.544
AT ITER 644 NEW BEST:: SOT 319598 SOS 134480 HAS SOPS 134480 HAS SOUS 103246 HAS SOUPS 103246 WITH SCORE 103380.48
AT ITER 649 NEW BEST:: SOT 319597 SOS 134478 HAS SOPS 134478 HAS SOUS 103244 HAS SOUPS 103244 WITH SCORE 103378.478
AT ITER 678 NEW BEST:: SOT 319622 SOS 134477 HAS SOPS 134477 HAS SOUS 103243 HAS SOUPS 103243 WITH SCORE 103377.477
AT ITER 680 NEW BEST:: SOT 319350 SOS 134242 HAS SOPS 134242 HAS SOUS 103008 HAS SOUPS 103008 WITH SCORE 103142.242
AT ITER 683 NEW BEST:: SOT 319109 SOS 133760 HAS SOPS 133760 HAS SOUS 102526 HAS SOUPS 102526 WITH SCORE 102659.76
AT ITER 684 NEW BEST:: SOT 319058 SOS 133693 HAS SOPS 133693 HAS SOUS 102459 HAS SOUPS 102459 WITH SCORE 102592.693
AT ITER 697 NEW BEST:: SOT 318555 SOS 133412 HAS SOPS 133412 HAS SOUS 102422 HAS SOUPS 102422 WITH SCORE 102555.412
AT ITER 703 NEW BEST:: SOT 318704 SOS 133302 HAS SOPS 133302 HAS SOUS 102355 HAS SOUPS 102355 WITH SCORE 102488.302
AT ITER 704 NEW BEST:: SOT 318641 SOS 133125 HAS SOPS 133125 HAS SOUS 102298 HAS SOUPS 102298 WITH SCORE 102431.125
AT ITER 706 NEW BEST:: SOT 318391 SOS 132742 HAS SOPS 132742 HAS SOUS 102040 HAS SOUPS 102040 WITH SCORE 102172.742
AT ITER 712 NEW BEST:: SOT 318363 SOS 132714 HAS SOPS 132714 HAS SOUS 102012 HAS SOUPS 102012 WITH SCORE 102144.714
AT ITER 718 NEW BEST:: SOT 318333 SOS 132649 HAS SOPS 132649 HAS SOUS 101945 HAS SOUPS 101945 WITH SCORE 102077.649
AT ITER 721 NEW BEST:: SOT 318320 SOS 132643 HAS SOPS 132643 HAS SOUS 101939 HAS SOUPS 101939 WITH SCORE 102071.643
AT ITER 736 NEW BEST:: SOT 318249 SOS 130986 HAS SOPS 130986 HAS SOUS 101797 HAS SOUPS 101797 WITH SCORE 101927.986
AT ITER 739 NEW BEST:: SOT 318249 SOS 130384 HAS SOPS 130384 HAS SOUS 101783 HAS SOUPS 101783 WITH SCORE 101913.384
AT ITER 743 NEW BEST:: SOT 318272 SOS 130151 HAS SOPS 130151 HAS SOUS 101583 HAS SOUPS 101583 WITH SCORE 101713.151
AT ITER 747 NEW BEST:: SOT 318318 SOS 130197 HAS SOPS 130197 HAS SOUS 101436 HAS SOUPS 101436 WITH SCORE 101566.197
AT ITER 754 NEW BEST:: SOT 318302 SOS 130175 HAS SOPS 130175 HAS SOUS 101414 HAS SOUPS 101414 WITH SCORE 101544.175
AT ITER 766 NEW BEST:: SOT 318304 SOS 130179 HAS SOPS 130179 HAS SOUS 101320 HAS SOUPS 101320 WITH SCORE 101450.179
AT ITER 767 NEW BEST:: SOT 318121 SOS 130179 HAS SOPS 130179 HAS SOUS 101277 HAS SOUPS 101277 WITH SCORE 101407.179
AT ITER 772 NEW BEST:: SOT 317878 SOS 129693 HAS SOPS 129693 HAS SOUS 100968 HAS SOUPS 100968 WITH SCORE 101097.693
AT ITER 773 NEW BEST:: SOT 317791 SOS 129519 HAS SOPS 129519 HAS SOUS 100794 HAS SOUPS 100794 WITH SCORE 100923.519
AT ITER 776 NEW BEST:: SOT 317553 SOS 129281 HAS SOPS 129281 HAS SOUS 100752 HAS SOUPS 100752 WITH SCORE 100881.281
AT ITER 777 NEW BEST:: SOT 317580 SOS 129165 HAS SOPS 129165 HAS SOUS 100745 HAS SOUPS 100745 WITH SCORE 100874.165
AT ITER 779 NEW BEST:: SOT 317424 SOS 128986 HAS SOPS 128986 HAS SOUS 100701 HAS SOUPS 100701 WITH SCORE 100829.986
AT ITER 780 NEW BEST:: SOT 317410 SOS 128957 HAS SOPS 128957 HAS SOUS 100672 HAS SOUPS 100672 WITH SCORE 100800.957
AT ITER 808 NEW BEST:: SOT 317297 SOS 128731 HAS SOPS 128731 HAS SOUS 100647 HAS SOUPS 100647 WITH SCORE 100775.731
AT ITER 809 NEW BEST:: SOT 316849 SOS 128266 HAS SOPS 128266 HAS SOUS 100483 HAS SOUPS 100483 WITH SCORE 100611.266
AT ITER 811 NEW BEST:: SOT 316844 SOS 128241 HAS SOPS 128241 HAS SOUS 100458 HAS SOUPS 100458 WITH SCORE 100586.241
AT ITER 812 NEW BEST:: SOT 316844 SOS 127933 HAS SOPS 127933 HAS SOUS 100306 HAS SOUPS 100306 WITH SCORE 100433.933
AT ITER 814 NEW BEST:: SOT 316843 SOS 127914 HAS SOPS 127914 HAS SOUS 100301 HAS SOUPS 100301 WITH SCORE 100428.914
AT ITER 829 NEW BEST:: SOT 316727 SOS 127562 HAS SOPS 127562 HAS SOUS 100256 HAS SOUPS 100256 WITH SCORE 100383.562
AT ITER 834 NEW BEST:: SOT 316678 SOS 127464 HAS SOPS 127464 HAS SOUS 100230 HAS SOUPS 100230 WITH SCORE 100357.464
AT ITER 842 NEW BEST:: SOT 316864 SOS 127491 HAS SOPS 127491 HAS SOUS 99948 HAS SOUPS 99948 WITH SCORE 100075.491
AT ITER 846 NEW BEST:: SOT 316863 SOS 127489 HAS SOPS 127489 HAS SOUS 99946 HAS SOUPS 99946 WITH SCORE 100073.489
AT ITER 852 NEW BEST:: SOT 316722 SOS 127332 HAS SOPS 127332 HAS SOUS 99860 HAS SOUPS 99860 WITH SCORE 99987.332
AT ITER 853 NEW BEST:: SOT 316693 SOS 127303 HAS SOPS 127303 HAS SOUS 99831 HAS SOUPS 99831 WITH SCORE 99958.303
AT ITER 872 NEW BEST:: SOT 316612 SOS 127331 HAS SOPS 127331 HAS SOUS 99776 HAS SOUPS 99776 WITH SCORE 99903.331
AT ITER 884 NEW BEST:: SOT 316563 SOS 127082 HAS SOPS 127082 HAS SOUS 99627 HAS SOUPS 99627 WITH SCORE 99754.082
AT ITER 891 NEW BEST:: SOT 316474 SOS 126836 HAS SOPS 126836 HAS SOUS 99490 HAS SOUPS 99490 WITH SCORE 99616.836
AT ITER 909 NEW BEST:: SOT 316447 SOS 126623 HAS SOPS 126623 HAS SOUS 99277 HAS SOUPS 99277 WITH SCORE 99403.623
AT ITER 916 NEW BEST:: SOT 316461 SOS 126763 HAS SOPS 126763 HAS SOUS 99209 HAS SOUPS 99209 WITH SCORE 99335.763
AT ITER 918 NEW BEST:: SOT 316391 SOS 126536 HAS SOPS 126536 HAS SOUS 99137 HAS SOUPS 99137 WITH SCORE 99263.536
AT ITER 930 NEW BEST:: SOT 316334 SOS 126454 HAS SOPS 126454 HAS SOUS 99055 HAS SOUPS 99055 WITH SCORE 99181.454
AT ITER 940 NEW BEST:: SOT 316036 SOS 126156 HAS SOPS 126156 HAS SOUS 99055 HAS SOUPS 99055 WITH SCORE 99181.156
AT ITER 944 NEW BEST:: SOT 315879 SOS 125879 HAS SOPS 125879 HAS SOUS 98898 HAS SOUPS 98898 WITH SCORE 99023.879
AT ITER 956 NEW BEST:: SOT 315867 SOS 125867 HAS SOPS 125867 HAS SOUS 98886 HAS SOUPS 98886 WITH SCORE 99011.867
AT ITER 971 NEW BEST:: SOT 316048 SOS 125839 HAS SOPS 125839 HAS SOUS 98858 HAS SOUPS 98858 WITH SCORE 98983.839
AT ITER 974 NEW BEST:: SOT 316047 SOS 125837 HAS SOPS 125837 HAS SOUS 98856 HAS SOUPS 98856 WITH SCORE 98981.837
AT ITER 980 NEW BEST:: SOT 316101 SOS 125891 HAS SOPS 125891 HAS SOUS 98794 HAS SOUPS 98794 WITH SCORE 98919.891
AT ITER 990 NEW BEST:: SOT 316106 SOS 125765 HAS SOPS 125765 HAS SOUS 98643 HAS SOUPS 98643 WITH SCORE 98768.765
AT ITER 992 NEW BEST:: SOT 316271 SOS 125672 HAS SOPS 125672 HAS SOUS 98594 HAS SOUPS 98594 WITH SCORE 98719.672
AT ITER 996 NEW BEST:: SOT 316250 SOS 125651 HAS SOPS 125651 HAS SOUS 98573 HAS SOUPS 98573 WITH SCORE 98698.651
AT ITER 1010 NEW BEST:: SOT 316125 SOS 125452 HAS SOPS 125452 HAS SOUS 98374 HAS SOUPS 98374 WITH SCORE 98499.452
AT ITER 1011 NEW BEST:: SOT 316225 SOS 125280 HAS SOPS 125280 HAS SOUS 98244 HAS SOUPS 98244 WITH SCORE 98369.28
AT ITER 1012 NEW BEST:: SOT 316501 SOS 125218 HAS SOPS 125218 HAS SOUS 98235 HAS SOUPS 98235 WITH SCORE 98360.218
AT ITER 1017 NEW BEST:: SOT 316265 SOS 124900 HAS SOPS 124900 HAS SOUS 98071 HAS SOUPS 98071 WITH SCORE 98195.9
AT ITER 1023 NEW BEST:: SOT 316062 SOS 124494 HAS SOPS 124494 HAS SOUS 97867 HAS SOUPS 97867 WITH SCORE 97991.494
AT ITER 1035 NEW BEST:: SOT 316061 SOS 124317 HAS SOPS 124317 HAS SOUS 97690 HAS SOUPS 97690 WITH SCORE 97814.317
AT ITER 1047 NEW BEST:: SOT 315978 SOS 124234 HAS SOPS 124234 HAS SOUS 97607 HAS SOUPS 97607 WITH SCORE 97731.234
AT ITER 1053 NEW BEST:: SOT 315935 SOS 124120 HAS SOPS 124120 HAS SOUS 97493 HAS SOUPS 97493 WITH SCORE 97617.12
AT ITER 1055 NEW BEST:: SOT 315935 SOS 124103 HAS SOPS 124103 HAS SOUS 97476 HAS SOUPS 97476 WITH SCORE 97600.103
AT ITER 1061 NEW BEST:: SOT 315796 SOS 123937 HAS SOPS 123937 HAS SOUS 97337 HAS SOUPS 97337 WITH SCORE 97460.937
AT ITER 1074 NEW BEST:: SOT 316046 SOS 123687 HAS SOPS 123687 HAS SOUS 97175 HAS SOUPS 97175 WITH SCORE 97298.687
AT ITER 1079 NEW BEST:: SOT 316046 SOS 123669 HAS SOPS 123669 HAS SOUS 97175 HAS SOUPS 97175 WITH SCORE 97298.669
AT ITER 1085 NEW BEST:: SOT 315973 SOS 123596 HAS SOPS 123596 HAS SOUS 97102 HAS SOUPS 97102 WITH SCORE 97225.596
AT ITER 1098 NEW BEST:: SOT 315988 SOS 123598 HAS SOPS 123598 HAS SOUS 97085 HAS SOUPS 97085 WITH SCORE 97208.598
AT ITER 1104 NEW BEST:: SOT 315983 SOS 123593 HAS SOPS 123593 HAS SOUS 97080 HAS SOUPS 97080 WITH SCORE 97203.593
AT ITER 1111 NEW BEST:: SOT 315987 SOS 123587 HAS SOPS 123587 HAS SOUS 97074 HAS SOUPS 97074 WITH SCORE 97197.587
AT ITER 1117 NEW BEST:: SOT 315716 SOS 123357 HAS SOPS 123357 HAS SOUS 96844 HAS SOUPS 96844 WITH SCORE 96967.357
AT ITER 1120 NEW BEST:: SOT 315716 SOS 123331 HAS SOPS 123331 HAS SOUS 96818 HAS SOUPS 96818 WITH SCORE 96941.331
AT ITER 1121 NEW BEST:: SOT 315791 SOS 123356 HAS SOPS 123356 HAS SOUS 96760 HAS SOUPS 96760 WITH SCORE 96883.356
AT ITER 1130 NEW BEST:: SOT 315837 SOS 123394 HAS SOPS 123394 HAS SOUS 96744 HAS SOUPS 96744 WITH SCORE 96867.394
AT ITER 1135 NEW BEST:: SOT 315830 SOS 123390 HAS SOPS 123390 HAS SOUS 96740 HAS SOUPS 96740 WITH SCORE 96863.39
AT ITER 1144 NEW BEST:: SOT 315872 SOS 123390 HAS SOPS 123390 HAS SOUS 96698 HAS SOUPS 96698 WITH SCORE 96821.39
AT ITER 1145 NEW BEST:: SOT 316001 SOS 123154 HAS SOPS 123154 HAS SOUS 96637 HAS SOUPS 96637 WITH SCORE 96760.154
AT ITER 1146 NEW BEST:: SOT 315920 SOS 123051 HAS SOPS 123051 HAS SOUS 96534 HAS SOUPS 96534 WITH SCORE 96657.051
AT ITER 1147 NEW BEST:: SOT 315670 SOS 122551 HAS SOPS 122551 HAS SOUS 96034 HAS SOUPS 96034 WITH SCORE 96156.551
AT ITER 1157 NEW BEST:: SOT 315705 SOS 122548 HAS SOPS 122548 HAS SOUS 96031 HAS SOUPS 96031 WITH SCORE 96153.548
AT ITER 1170 NEW BEST:: SOT 315704 SOS 122546 HAS SOPS 122546 HAS SOUS 96029 HAS SOUPS 96029 WITH SCORE 96151.546
AT ITER 1174 NEW BEST:: SOT 315704 SOS 122529 HAS SOPS 122529 HAS SOUS 96012 HAS SOUPS 96012 WITH SCORE 96134.529
AT ITER 1176 NEW BEST:: SOT 315631 SOS 122354 HAS SOPS 122354 HAS SOUS 95837 HAS SOUPS 95837 WITH SCORE 95959.354
AT ITER 1178 NEW BEST:: SOT 315483 SOS 122206 HAS SOPS 122206 HAS SOUS 95837 HAS SOUPS 95837 WITH SCORE 95959.206
AT ITER 1181 NEW BEST:: SOT 315517 SOS 122147 HAS SOPS 122147 HAS SOUS 95778 HAS SOUPS 95778 WITH SCORE 95900.147
AT ITER 1183 NEW BEST:: SOT 315484 SOS 122081 HAS SOPS 122081 HAS SOUS 95679 HAS SOUPS 95679 WITH SCORE 95801.081
AT ITER 1185 NEW BEST:: SOT 315391 SOS 121834 HAS SOPS 121834 HAS SOUS 95432 HAS SOUPS 95432 WITH SCORE 95553.834
AT ITER 1193 NEW BEST:: SOT 315455 SOS 121898 HAS SOPS 121898 HAS SOUS 95403 HAS SOUPS 95403 WITH SCORE 95524.898
AT ITER 1194 NEW BEST:: SOT 315455 SOS 121883 HAS SOPS 121883 HAS SOUS 95388 HAS SOUPS 95388 WITH SCORE 95509.883
AT ITER 1199 NEW BEST:: SOT 315273 SOS 121519 HAS SOPS 121519 HAS SOUS 95156 HAS SOUPS 95156 WITH SCORE 95277.519
AT ITER 1218 NEW BEST:: SOT 315101 SOS 120770 HAS SOPS 120770 HAS SOUS 94941 HAS SOUPS 94941 WITH SCORE 95061.77
AT ITER 1220 NEW BEST:: SOT 315101 SOS 120748 HAS SOPS 120748 HAS SOUS 94919 HAS SOUPS 94919 WITH SCORE 95039.748
AT ITER 1230 NEW BEST:: SOT 315100 SOS 120614 HAS SOPS 120614 HAS SOUS 94850 HAS SOUPS 94850 WITH SCORE 94970.614
AT ITER 1239 NEW BEST:: SOT 314976 SOS 120490 HAS SOPS 120490 HAS SOUS 94850 HAS SOUPS 94850 WITH SCORE 94970.49
AT ITER 1246 NEW BEST:: SOT 314129 SOS 119642 HAS SOPS 119642 HAS SOUS 94002 HAS SOUPS 94002 WITH SCORE 94121.642
AT ITER 1250 NEW BEST:: SOT 314117 SOS 119630 HAS SOPS 119630 HAS SOUS 94002 HAS SOUPS 94002 WITH SCORE 94121.63
AT ITER 1260 NEW BEST:: SOT 314229 SOS 119644 HAS SOPS 119644 HAS SOUS 93906 HAS SOUPS 93906 WITH SCORE 94025.644
AT ITER 1267 NEW BEST:: SOT 314307 SOS 119528 HAS SOPS 119528 HAS SOUS 93726 HAS SOUPS 93726 WITH SCORE 93845.528
AT ITER 1282 NEW BEST:: SOT 314301 SOS 119516 HAS SOPS 119516 HAS SOUS 93714 HAS SOUPS 93714 WITH SCORE 93833.516
AT ITER 1293 NEW BEST:: SOT 314289 SOS 119504 HAS SOPS 119504 HAS SOUS 93714 HAS SOUPS 93714 WITH SCORE 93833.504
AT ITER 1294 NEW BEST:: SOT 314142 SOS 119041 HAS SOPS 119041 HAS SOUS 93251 HAS SOUPS 93251 WITH SCORE 93370.041
AT ITER 1300 NEW BEST:: SOT 314058 SOS 118987 HAS SOPS 118987 HAS SOUS 93089 HAS SOUPS 93089 WITH SCORE 93207.987
AT ITER 1301 NEW BEST:: SOT 314006 SOS 118909 HAS SOPS 118909 HAS SOUS 93037 HAS SOUPS 93037 WITH SCORE 93155.909
AT ITER 1302 NEW BEST:: SOT 313967 SOS 118904 HAS SOPS 118904 HAS SOUS 93032 HAS SOUPS 93032 WITH SCORE 93150.904
AT ITER 1308 NEW BEST:: SOT 313967 SOS 118875 HAS SOPS 118875 HAS SOUS 92991 HAS SOUPS 92991 WITH SCORE 93109.875
AT ITER 1311 NEW BEST:: SOT 313913 SOS 118767 HAS SOPS 118767 HAS SOUS 92883 HAS SOUPS 92883 WITH SCORE 93001.767
AT ITER 1339 NEW BEST:: SOT 313921 SOS 118657 HAS SOPS 118657 HAS SOUS 92744 HAS SOUPS 92744 WITH SCORE 92862.657
AT ITER 1372 NEW BEST:: SOT 313892 SOS 118599 HAS SOPS 118599 HAS SOUS 92686 HAS SOUPS 92686 WITH SCORE 92804.599
AT ITER 1398 NEW BEST:: SOT 313892 SOS 118556 HAS SOPS 118556 HAS SOUS 92643 HAS SOUPS 92643 WITH SCORE 92761.556
AT ITER 1403 NEW BEST:: SOT 313885 SOS 118542 HAS SOPS 118542 HAS SOUS 92629 HAS SOUPS 92629 WITH SCORE 92747.542
AT ITER 1404 NEW BEST:: SOT 313879 SOS 118530 HAS SOPS 118530 HAS SOUS 92617 HAS SOUPS 92617 WITH SCORE 92735.53
AT ITER 1408 NEW BEST:: SOT 313829 SOS 118480 HAS SOPS 118480 HAS SOUS 92617 HAS SOUPS 92617 WITH SCORE 92735.48
AT ITER 1412 NEW BEST:: SOT 313707 SOS 118381 HAS SOPS 118381 HAS SOUS 92518 HAS SOUPS 92518 WITH SCORE 92636.381
AT ITER 1419 NEW BEST:: SOT 313673 SOS 118347 HAS SOPS 118347 HAS SOUS 92518 HAS SOUPS 92518 WITH SCORE 92636.347
AT ITER 1422 NEW BEST:: SOT 313645 SOS 118324 HAS SOPS 118324 HAS SOUS 92495 HAS SOUPS 92495 WITH SCORE 92613.324
AT ITER 1439 NEW BEST:: SOT 313608 SOS 118287 HAS SOPS 118287 HAS SOUS 92458 HAS SOUPS 92458 WITH SCORE 92576.287
AT ITER 1444 NEW BEST:: SOT 313606 SOS 118284 HAS SOPS 118284 HAS SOUS 92455 HAS SOUPS 92455 WITH SCORE 92573.284
AT ITER 1471 NEW BEST:: SOT 313605 SOS 118282 HAS SOPS 118282 HAS SOUS 92454 HAS SOUPS 92454 WITH SCORE 92572.282
AT ITER 1474 NEW BEST:: SOT 313549 SOS 118156 HAS SOPS 118156 HAS SOUS 92328 HAS SOUPS 92328 WITH SCORE 92446.156
AT ITER 1478 NEW BEST:: SOT 312975 SOS 117008 HAS SOPS 117008 HAS SOUS 91467 HAS SOUPS 91467 WITH SCORE 91584.008
AT ITER 1487 NEW BEST:: SOT 312964 SOS 116986 HAS SOPS 116986 HAS SOUS 91445 HAS SOUPS 91445 WITH SCORE 91561.986
AT ITER 1512 NEW BEST:: SOT 312964 SOS 116845 HAS SOPS 116845 HAS SOUS 91331 HAS SOUPS 91331 WITH SCORE 91447.845
AT ITER 1523 NEW BEST:: SOT 312955 SOS 116836 HAS SOPS 116836 HAS SOUS 91331 HAS SOUPS 91331 WITH SCORE 91447.836
AT ITER 1527 NEW BEST:: SOT 312806 SOS 116686 HAS SOPS 116686 HAS SOUS 91181 HAS SOUPS 91181 WITH SCORE 91297.686
AT ITER 1529 NEW BEST:: SOT 312733 SOS 116540 HAS SOPS 116540 HAS SOUS 91044 HAS SOUPS 91044 WITH SCORE 91160.54
AT ITER 1530 NEW BEST:: SOT 312733 SOS 116449 HAS SOPS 116449 HAS SOUS 90974 HAS SOUPS 90974 WITH SCORE 91090.449
AT ITER 1545 NEW BEST:: SOT 312733 SOS 116227 HAS SOPS 116227 HAS SOUS 90863 HAS SOUPS 90863 WITH SCORE 90979.227
AT ITER 1548 NEW BEST:: SOT 312675 SOS 115940 HAS SOPS 115940 HAS SOUS 90635 HAS SOUPS 90635 WITH SCORE 90750.94
AT ITER 1549 NEW BEST:: SOT 312641 SOS 115848 HAS SOPS 115848 HAS SOUS 90598 HAS SOUPS 90598 WITH SCORE 90713.848
AT ITER 1556 NEW BEST:: SOT 312631 SOS 115838 HAS SOPS 115838 HAS SOUS 90560 HAS SOUPS 90560 WITH SCORE 90675.838
AT ITER 1562 NEW BEST:: SOT 312633 SOS 115781 HAS SOPS 115781 HAS SOUS 90503 HAS SOUPS 90503 WITH SCORE 90618.781
AT ITER 1570 NEW BEST:: SOT 312534 SOS 115583 HAS SOPS 115583 HAS SOUS 90404 HAS SOUPS 90404 WITH SCORE 90519.583
AT ITER 1598 NEW BEST:: SOT 312534 SOS 115409 HAS SOPS 115409 HAS SOUS 90230 HAS SOUPS 90230 WITH SCORE 90345.409
AT ITER 1603 NEW BEST:: SOT 312534 SOS 115388 HAS SOPS 115388 HAS SOUS 90188 HAS SOUPS 90188 WITH SCORE 90303.388
AT ITER 1605 NEW BEST:: SOT 312503 SOS 115344 HAS SOPS 115344 HAS SOUS 90175 HAS SOUPS 90175 WITH SCORE 90290.344
AT ITER 1650 NEW BEST:: SOT 312503 SOS 115344 HAS SOPS 115344 HAS SOUS 90140 HAS SOUPS 90140 WITH SCORE 90255.344
AT ITER 1662 NEW BEST:: SOT 312515 SOS 115332 HAS SOPS 115332 HAS SOUS 90128 HAS SOUPS 90128 WITH SCORE 90243.332
AT ITER 1668 NEW BEST:: SOT 312414 SOS 115103 HAS SOPS 115103 HAS SOUS 89899 HAS SOUPS 89899 WITH SCORE 90014.103
AT ITER 1671 NEW BEST:: SOT 312316 SOS 115056 HAS SOPS 115056 HAS SOUS 89881 HAS SOUPS 89881 WITH SCORE 89996.056
AT ITER 1679 NEW BEST:: SOT 312465 SOS 114960 HAS SOPS 114960 HAS SOUS 89785 HAS SOUPS 89785 WITH SCORE 89899.96
AT ITER 1689 NEW BEST:: SOT 312462 SOS 114951 HAS SOPS 114951 HAS SOUS 89776 HAS SOUPS 89776 WITH SCORE 89890.951
AT ITER 1691 NEW BEST:: SOT 312582 SOS 114789 HAS SOPS 114789 HAS SOUS 89591 HAS SOUPS 89591 WITH SCORE 89705.789
AT ITER 1719 NEW BEST:: SOT 312247 SOS 114426 HAS SOPS 114426 HAS SOUS 89563 HAS SOUPS 89563 WITH SCORE 89677.426
AT ITER 1721 NEW BEST:: SOT 312247 SOS 113891 HAS SOPS 113891 HAS SOUS 89357 HAS SOUPS 89357 WITH SCORE 89470.891
AT ITER 1726 NEW BEST:: SOT 312213 SOS 113877 HAS SOPS 113877 HAS SOUS 89343 HAS SOUPS 89343 WITH SCORE 89456.877
AT ITER 1740 NEW BEST:: SOT 311906 SOS 113665 HAS SOPS 113665 HAS SOUS 89342 HAS SOUPS 89342 WITH SCORE 89455.665
AT ITER 1751 NEW BEST:: SOT 311522 SOS 113274 HAS SOPS 113274 HAS SOUS 88923 HAS SOUPS 88923 WITH SCORE 89036.274
AT ITER 1756 NEW BEST:: SOT 311456 SOS 113133 HAS SOPS 113133 HAS SOUS 88856 HAS SOUPS 88856 WITH SCORE 88969.133
AT ITER 1772 NEW BEST:: SOT 311300 SOS 112893 HAS SOPS 112893 HAS SOUS 88616 HAS SOUPS 88616 WITH SCORE 88728.893
AT ITER 1801 NEW BEST:: SOT 311228 SOS 112836 HAS SOPS 112836 HAS SOUS 88559 HAS SOUPS 88559 WITH SCORE 88671.836
AT ITER 1802 NEW BEST:: SOT 311177 SOS 112785 HAS SOPS 112785 HAS SOUS 88508 HAS SOUPS 88508 WITH SCORE 88620.785
AT ITER 1803 NEW BEST:: SOT 311124 SOS 112732 HAS SOPS 112732 HAS SOUS 88323 HAS SOUPS 88323 WITH SCORE 88435.732
AT ITER 1811 NEW BEST:: SOT 310973 SOS 112692 HAS SOPS 112692 HAS SOUS 88283 HAS SOUPS 88283 WITH SCORE 88395.692
AT ITER 1821 NEW BEST:: SOT 310972 SOS 112423 HAS SOPS 112423 HAS SOUS 88014 HAS SOUPS 88014 WITH SCORE 88126.423
AT ITER 1835 NEW BEST:: SOT 310968 SOS 112415 HAS SOPS 112415 HAS SOUS 88010 HAS SOUPS 88010 WITH SCORE 88122.415
AT ITER 1853 NEW BEST:: SOT 310862 SOS 112231 HAS SOPS 112231 HAS SOUS 87826 HAS SOUPS 87826 WITH SCORE 87938.231
AT ITER 1882 NEW BEST:: SOT 310749 SOS 112199 HAS SOPS 112199 HAS SOUS 87794 HAS SOUPS 87794 WITH SCORE 87906.199
AT ITER 1885 NEW BEST:: SOT 310510 SOS 111960 HAS SOPS 111960 HAS SOUS 87555 HAS SOUPS 87555 WITH SCORE 87666.96
AT ITER 1894 NEW BEST:: SOT 310479 SOS 111694 HAS SOPS 111694 HAS SOUS 87309 HAS SOUPS 87309 WITH SCORE 87420.694
AT ITER 1905 NEW BEST:: SOT 310305 SOS 111346 HAS SOPS 111346 HAS SOUS 87043 HAS SOUPS 87043 WITH SCORE 87154.346
AT ITER 1907 NEW BEST:: SOT 310457 SOS 111457 HAS SOPS 111457 HAS SOUS 86963 HAS SOUPS 86963 WITH SCORE 87074.457
AT ITER 1934 NEW BEST:: SOT 310455 SOS 111453 HAS SOPS 111453 HAS SOUS 86959 HAS SOUPS 86959 WITH SCORE 87070.453
AT ITER 1937 NEW BEST:: SOT 310430 SOS 111392 HAS SOPS 111392 HAS SOUS 86898 HAS SOUPS 86898 WITH SCORE 87009.392
AT ITER 1941 NEW BEST:: SOT 310393 SOS 111318 HAS SOPS 111318 HAS SOUS 86861 HAS SOUPS 86861 WITH SCORE 86972.318
AT ITER 1943 NEW BEST:: SOT 310144 SOS 111084 HAS SOPS 111084 HAS SOUS 86627 HAS SOUPS 86627 WITH SCORE 86738.084
AT ITER 1952 NEW BEST:: SOT 310362 SOS 110981 HAS SOPS 110981 HAS SOUS 86524 HAS SOUPS 86524 WITH SCORE 86634.981
AT ITER 1954 NEW BEST:: SOT 310340 SOS 110970 HAS SOPS 110970 HAS SOUS 86513 HAS SOUPS 86513 WITH SCORE 86623.97
AT ITER 1957 NEW BEST:: SOT 310287 SOS 110931 HAS SOPS 110931 HAS SOUS 86474 HAS SOUPS 86474 WITH SCORE 86584.931
AT ITER 1997 NEW BEST:: SOT 310285 SOS 110930 HAS SOPS 110930 HAS SOUS 86473 HAS SOUPS 86473 WITH SCORE 86583.93
AT ITER 2001 NEW BEST:: SOT 310151 SOS 110662 HAS SOPS 110662 HAS SOUS 86411 HAS SOUPS 86411 WITH SCORE 86521.662
AT ITER 2002 NEW BEST:: SOT 310151 SOS 110657 HAS SOPS 110657 HAS SOUS 86406 HAS SOUPS 86406 WITH SCORE 86516.657
AT ITER 2020 NEW BEST:: SOT 310140 SOS 110646 HAS SOPS 110646 HAS SOUS 86395 HAS SOUPS 86395 WITH SCORE 86505.646
AT ITER 2025 NEW BEST:: SOT 310134 SOS 110634 HAS SOPS 110634 HAS SOUS 86383 HAS SOUPS 86383 WITH SCORE 86493.634
AT ITER 2029 NEW BEST:: SOT 310007 SOS 110327 HAS SOPS 110327 HAS SOUS 86142 HAS SOUPS 86142 WITH SCORE 86252.327
AT ITER 2070 NEW BEST:: SOT 309670 SOS 110056 HAS SOPS 110056 HAS SOUS 85759 HAS SOUPS 85759 WITH SCORE 85869.056
AT ITER 2077 NEW BEST:: SOT 309655 SOS 110041 HAS SOPS 110041 HAS SOUS 85744 HAS SOUPS 85744 WITH SCORE 85854.041
AT ITER 2080 NEW BEST:: SOT 309655 SOS 110041 HAS SOPS 110041 HAS SOUS 85704 HAS SOUPS 85704 WITH SCORE 85814.041
AT ITER 2093 NEW BEST:: SOT 309456 SOS 109779 HAS SOPS 109779 HAS SOUS 85559 HAS SOUPS 85559 WITH SCORE 85668.779
AT ITER 2104 NEW BEST:: SOT 309456 SOS 109768 HAS SOPS 109768 HAS SOUS 85548 HAS SOUPS 85548 WITH SCORE 85657.768
AT ITER 2112 NEW BEST:: SOT 309435 SOS 109726 HAS SOPS 109726 HAS SOUS 85506 HAS SOUPS 85506 WITH SCORE 85615.726
AT ITER 2119 NEW BEST:: SOT 309343 SOS 109588 HAS SOPS 109588 HAS SOUS 85368 HAS SOUPS 85368 WITH SCORE 85477.588
AT ITER 2172 NEW BEST:: SOT 309502 SOS 109549 HAS SOPS 109549 HAS SOUS 85363 HAS SOUPS 85363 WITH SCORE 85472.549
AT ITER 2188 NEW BEST:: SOT 309488 SOS 109478 HAS SOPS 109478 HAS SOUS 85292 HAS SOUPS 85292 WITH SCORE 85401.478
AT ITER 2219 NEW BEST:: SOT 309488 SOS 109468 HAS SOPS 109468 HAS SOUS 85287 HAS SOUPS 85287 WITH SCORE 85396.468
AT ITER 2248 NEW BEST:: SOT 309385 SOS 109262 HAS SOPS 109262 HAS SOUS 84875 HAS SOUPS 84875 WITH SCORE 84984.262
AT ITER 2270 NEW BEST:: SOT 309374 SOS 109251 HAS SOPS 109251 HAS SOUS 84864 HAS SOUPS 84864 WITH SCORE 84973.251
AT ITER 2271 NEW BEST:: SOT 309362 SOS 109220 HAS SOPS 109220 HAS SOUS 84833 HAS SOUPS 84833 WITH SCORE 84942.22
AT ITER 2275 NEW BEST:: SOT 309362 SOS 109220 HAS SOPS 109220 HAS SOUS 84783 HAS SOUPS 84783 WITH SCORE 84892.22
AT ITER 2278 NEW BEST:: SOT 309272 SOS 109145 HAS SOPS 109145 HAS SOUS 84759 HAS SOUPS 84759 WITH SCORE 84868.145
AT ITER 2279 NEW BEST:: SOT 309272 SOS 108956 HAS SOPS 108956 HAS SOUS 84570 HAS SOUPS 84570 WITH SCORE 84678.956
AT ITER 2281 NEW BEST:: SOT 309272 SOS 108836 HAS SOPS 108836 HAS SOUS 84510 HAS SOUPS 84510 WITH SCORE 84618.836
AT ITER 2292 NEW BEST:: SOT 309271 SOS 108834 HAS SOPS 108834 HAS SOUS 84508 HAS SOUPS 84508 WITH SCORE 84616.834
AT ITER 2300 NEW BEST:: SOT 309214 SOS 108720 HAS SOPS 108720 HAS SOUS 84394 HAS SOUPS 84394 WITH SCORE 84502.72
AT ITER 2310 NEW BEST:: SOT 309145 SOS 108582 HAS SOPS 108582 HAS SOUS 84323 HAS SOUPS 84323 WITH SCORE 84431.582
AT ITER 2311 NEW BEST:: SOT 309145 SOS 108566 HAS SOPS 108566 HAS SOUS 84307 HAS SOUPS 84307 WITH SCORE 84415.566
AT ITER 2316 NEW BEST:: SOT 309143 SOS 108563 HAS SOPS 108563 HAS SOUS 84305 HAS SOUPS 84305 WITH SCORE 84413.563
AT ITER 2363 NEW BEST:: SOT 309119 SOS 108515 HAS SOPS 108515 HAS SOUS 84257 HAS SOUPS 84257 WITH SCORE 84365.515
AT ITER 2387 NEW BEST:: SOT 309109 SOS 108495 HAS SOPS 108495 HAS SOUS 84247 HAS SOUPS 84247 WITH SCORE 84355.495
AT ITER 2390 NEW BEST:: SOT 309121 SOS 108493 HAS SOPS 108493 HAS SOUS 84245 HAS SOUPS 84245 WITH SCORE 84353.493
AT ITER 2396 NEW BEST:: SOT 309116 SOS 108488 HAS SOPS 108488 HAS SOUS 84240 HAS SOUPS 84240 WITH SCORE 84348.488
AT ITER 2404 NEW BEST:: SOT 309042 SOS 108416 HAS SOPS 108416 HAS SOUS 84168 HAS SOUPS 84168 WITH SCORE 84276.416
AT ITER 2414 NEW BEST:: SOT 308965 SOS 108295 HAS SOPS 108295 HAS SOUS 84047 HAS SOUPS 84047 WITH SCORE 84155.295
AT ITER 2422 NEW BEST:: SOT 308916 SOS 108191 HAS SOPS 108191 HAS SOUS 83959 HAS SOUPS 83959 WITH SCORE 84067.191
AT ITER 2433 NEW BEST:: SOT 308813 SOS 107985 HAS SOPS 107985 HAS SOUS 83877 HAS SOUPS 83877 WITH SCORE 83984.985
AT ITER 2439 NEW BEST:: SOT 308762 SOS 107976 HAS SOPS 107976 HAS SOUS 83868 HAS SOUPS 83868 WITH SCORE 83975.976
AT ITER 2441 NEW BEST:: SOT 308762 SOS 107969 HAS SOPS 107969 HAS SOUS 83861 HAS SOUPS 83861 WITH SCORE 83968.969
AT ITER 2463 NEW BEST:: SOT 308720 SOS 107926 HAS SOPS 107926 HAS SOUS 83818 HAS SOUPS 83818 WITH SCORE 83925.926
AT ITER 2470 NEW BEST:: SOT 308720 SOS 107818 HAS SOPS 107818 HAS SOUS 83733 HAS SOUPS 83733 WITH SCORE 83840.818
AT ITER 2471 NEW BEST:: SOT 308688 SOS 107816 HAS SOPS 107816 HAS SOUS 83731 HAS SOUPS 83731 WITH SCORE 83838.816
AT ITER 2491 NEW BEST:: SOT 308644 SOS 107644 HAS SOPS 107644 HAS SOUS 83712 HAS SOUPS 83712 WITH SCORE 83819.644
AT ITER 2518 NEW BEST:: SOT 308412 SOS 107325 HAS SOPS 107325 HAS SOUS 83538 HAS SOUPS 83538 WITH SCORE 83645.325
AT ITER 2534 NEW BEST:: SOT 308278 SOS 107227 HAS SOPS 107227 HAS SOUS 83504 HAS SOUPS 83504 WITH SCORE 83611.227
AT ITER 2550 NEW BEST:: SOT 308266 SOS 107075 HAS SOPS 107075 HAS SOUS 83363 HAS SOUPS 83363 WITH SCORE 83470.075
AT ITER 2570 NEW BEST:: SOT 308266 SOS 106311 HAS SOPS 106311 HAS SOUS 83274 HAS SOUPS 83274 WITH SCORE 83380.311
AT ITER 2571 NEW BEST:: SOT 308392 SOS 106311 HAS SOPS 106311 HAS SOUS 83269 HAS SOUPS 83269 WITH SCORE 83375.311
AT ITER 2581 NEW BEST:: SOT 308156 SOS 106075 HAS SOPS 106075 HAS SOUS 83269 HAS SOUPS 83269 WITH SCORE 83375.075
AT ITER 2587 NEW BEST:: SOT 308156 SOS 106033 HAS SOPS 106033 HAS SOUS 83227 HAS SOUPS 83227 WITH SCORE 83333.033
AT ITER 2590 NEW BEST:: SOT 308156 SOS 106033 HAS SOPS 106033 HAS SOUS 83197 HAS SOUPS 83197 WITH SCORE 83303.033
AT ITER 2591 NEW BEST:: SOT 308156 SOS 105885 HAS SOPS 105885 HAS SOUS 83049 HAS SOUPS 83049 WITH SCORE 83154.885
AT ITER 2602 NEW BEST:: SOT 308156 SOS 105838 HAS SOPS 105838 HAS SOUS 83049 HAS SOUPS 83049 WITH SCORE 83154.838
AT ITER 2605 NEW BEST:: SOT 308152 SOS 105834 HAS SOPS 105834 HAS SOUS 83041 HAS SOUPS 83041 WITH SCORE 83146.834
AT ITER 2614 NEW BEST:: SOT 308138 SOS 105806 HAS SOPS 105806 HAS SOUS 83013 HAS SOUPS 83013 WITH SCORE 83118.806
AT ITER 2616 NEW BEST:: SOT 308098 SOS 105766 HAS SOPS 105766 HAS SOUS 82940 HAS SOUPS 82940 WITH SCORE 83045.766
AT ITER 2617 NEW BEST:: SOT 307886 SOS 106743 HAS SOPS 106743 HAS SOUS 82875 HAS SOUPS 82875 WITH SCORE 82981.743
AT ITER 2624 NEW BEST:: SOT 307873 SOS 106861 HAS SOPS 106861 HAS SOUS 82866 HAS SOUPS 82866 WITH SCORE 82972.861
AT ITER 2630 NEW BEST:: SOT 307849 SOS 106813 HAS SOPS 106813 HAS SOUS 82818 HAS SOUPS 82818 WITH SCORE 82924.813
AT ITER 2643 NEW BEST:: SOT 307940 SOS 106746 HAS SOPS 106746 HAS SOUS 82814 HAS SOUPS 82814 WITH SCORE 82920.746
AT ITER 2667 NEW BEST:: SOT 308016 SOS 106544 HAS SOPS 106544 HAS SOUS 82711 HAS SOUPS 82711 WITH SCORE 82817.544
AT ITER 2689 NEW BEST:: SOT 308019 SOS 106542 HAS SOPS 106542 HAS SOUS 82709 HAS SOUPS 82709 WITH SCORE 82815.542
AT ITER 2698 NEW BEST:: SOT 308019 SOS 106534 HAS SOPS 106534 HAS SOUS 82709 HAS SOUPS 82709 WITH SCORE 82815.534
AT ITER 2705 NEW BEST:: SOT 308021 SOS 106484 HAS SOPS 106484 HAS SOUS 82683 HAS SOUPS 82683 WITH SCORE 82789.484
AT ITER 2719 NEW BEST:: SOT 307840 SOS 106261 HAS SOPS 106261 HAS SOUS 82460 HAS SOUPS 82460 WITH SCORE 82566.261
AT ITER 2724 NEW BEST:: SOT 307816 SOS 106292 HAS SOPS 106292 HAS SOUS 82436 HAS SOUPS 82436 WITH SCORE 82542.292
AT ITER 2728 NEW BEST:: SOT 307844 SOS 106268 HAS SOPS 106268 HAS SOUS 82412 HAS SOUPS 82412 WITH SCORE 82518.268
AT ITER 2736 NEW BEST:: SOT 307843 SOS 106267 HAS SOPS 106267 HAS SOUS 82411 HAS SOUPS 82411 WITH SCORE 82517.267
AT ITER 2756 NEW BEST:: SOT 307750 SOS 106174 HAS SOPS 106174 HAS SOUS 82318 HAS SOUPS 82318 WITH SCORE 82424.174
AT ITER 2766 NEW BEST:: SOT 307692 SOS 106117 HAS SOPS 106117 HAS SOUS 82269 HAS SOUPS 82269 WITH SCORE 82375.117
AT ITER 2774 NEW BEST:: SOT 307650 SOS 106006 HAS SOPS 106006 HAS SOUS 82158 HAS SOUPS 82158 WITH SCORE 82264.006
AT ITER 2794 NEW BEST:: SOT 307632 SOS 105385 HAS SOPS 105385 HAS SOUS 82013 HAS SOUPS 82013 WITH SCORE 82118.385
AT ITER 2798 NEW BEST:: SOT 307592 SOS 105345 HAS SOPS 105345 HAS SOUS 81973 HAS SOUPS 81973 WITH SCORE 82078.345
AT ITER 2811 NEW BEST:: SOT 307694 SOS 105447 HAS SOPS 105447 HAS SOUS 81971 HAS SOUPS 81971 WITH SCORE 82076.447
AT ITER 2847 NEW BEST:: SOT 307721 SOS 105314 HAS SOPS 105314 HAS SOUS 81922 HAS SOUPS 81922 WITH SCORE 82027.314
AT ITER 2864 NEW BEST:: SOT 307713 SOS 105218 HAS SOPS 105218 HAS SOUS 81738 HAS SOUPS 81738 WITH SCORE 81843.218
AT ITER 2874 NEW BEST:: SOT 307713 SOS 105203 HAS SOPS 105203 HAS SOUS 81723 HAS SOUPS 81723 WITH SCORE 81828.203
AT ITER 2880 NEW BEST:: SOT 307713 SOS 105087 HAS SOPS 105087 HAS SOUS 81607 HAS SOUPS 81607 WITH SCORE 81712.087
AT ITER 2899 NEW BEST:: SOT 307713 SOS 105008 HAS SOPS 105008 HAS SOUS 81607 HAS SOUPS 81607 WITH SCORE 81712.008
AT ITER 2909 NEW BEST:: SOT 307712 SOS 105006 HAS SOPS 105006 HAS SOUS 81605 HAS SOUPS 81605 WITH SCORE 81710.006
AT ITER 2918 NEW BEST:: SOT 307722 SOS 105015 HAS SOPS 105015 HAS SOUS 81509 HAS SOUPS 81509 WITH SCORE 81614.015
AT ITER 2925 NEW BEST:: SOT 307745 SOS 105009 HAS SOPS 105009 HAS SOUS 81503 HAS SOUPS 81503 WITH SCORE 81608.009
AT ITER 2929 NEW BEST:: SOT 307744 SOS 105007 HAS SOPS 105007 HAS SOUS 81501 HAS SOUPS 81501 WITH SCORE 81606.007
AT ITER 2936 NEW BEST:: SOT 307742 SOS 105003 HAS SOPS 105003 HAS SOUS 81497 HAS SOUPS 81497 WITH SCORE 81602.003
AT ITER 2939 NEW BEST:: SOT 307628 SOS 104843 HAS SOPS 104843 HAS SOUS 81403 HAS SOUPS 81403 WITH SCORE 81507.843
AT ITER 2958 NEW BEST:: SOT 307579 SOS 104793 HAS SOPS 104793 HAS SOUS 81353 HAS SOUPS 81353 WITH SCORE 81457.793
AT ITER 2971 NEW BEST:: SOT 307335 SOS 104544 HAS SOPS 104544 HAS SOUS 81104 HAS SOUPS 81104 WITH SCORE 81208.544
AT ITER 2976 NEW BEST:: SOT 307335 SOS 104543 HAS SOPS 104543 HAS SOUS 81103 HAS SOUPS 81103 WITH SCORE 81207.543
AT ITER 3001 NEW BEST:: SOT 307421 SOS 104702 HAS SOPS 104702 HAS SOUS 81015 HAS SOUPS 81015 WITH SCORE 81119.702
AT ITER 3009 NEW BEST:: SOT 307414 SOS 104665 HAS SOPS 104665 HAS SOUS 80978 HAS SOUPS 80978 WITH SCORE 81082.665
AT ITER 3016 NEW BEST:: SOT 307260 SOS 104391 HAS SOPS 104391 HAS SOUS 80756 HAS SOUPS 80756 WITH SCORE 80860.391
AT ITER 3023 NEW BEST:: SOT 307175 SOS 104268 HAS SOPS 104268 HAS SOUS 80680 HAS SOUPS 80680 WITH SCORE 80784.268
AT ITER 3038 NEW BEST:: SOT 307237 SOS 104253 HAS SOPS 104253 HAS SOUS 80665 HAS SOUPS 80665 WITH SCORE 80769.253
AT ITER 3039 NEW BEST:: SOT 307222 SOS 104238 HAS SOPS 104238 HAS SOUS 80650 HAS SOUPS 80650 WITH SCORE 80754.238
AT ITER 3075 NEW BEST:: SOT 307222 SOS 104236 HAS SOPS 104236 HAS SOUS 80648 HAS SOUPS 80648 WITH SCORE 80752.236
AT ITER 3079 NEW BEST:: SOT 307136 SOS 104017 HAS SOPS 104017 HAS SOUS 80635 HAS SOUPS 80635 WITH SCORE 80739.017
AT ITER 3095 NEW BEST:: SOT 307250 SOS 104121 HAS SOPS 104121 HAS SOUS 80615 HAS SOUPS 80615 WITH SCORE 80719.121
AT ITER 3097 NEW BEST:: SOT 307187 SOS 104040 HAS SOPS 104040 HAS SOUS 80534 HAS SOUPS 80534 WITH SCORE 80638.04
AT ITER 3101 NEW BEST:: SOT 307144 SOS 103639 HAS SOPS 103639 HAS SOUS 80446 HAS SOUPS 80446 WITH SCORE 80549.639
AT ITER 3110 NEW BEST:: SOT 307049 SOS 103326 HAS SOPS 103326 HAS SOUS 80133 HAS SOUPS 80133 WITH SCORE 80236.326
AT ITER 3112 NEW BEST:: SOT 307020 SOS 103166 HAS SOPS 103166 HAS SOUS 79973 HAS SOUPS 79973 WITH SCORE 80076.166
AT ITER 3116 NEW BEST:: SOT 306986 SOS 103132 HAS SOPS 103132 HAS SOUS 79939 HAS SOUPS 79939 WITH SCORE 80042.132
AT ITER 3127 NEW BEST:: SOT 306986 SOS 103092 HAS SOPS 103092 HAS SOUS 79899 HAS SOUPS 79899 WITH SCORE 80002.092
AT ITER 3130 NEW BEST:: SOT 306968 SOS 103056 HAS SOPS 103056 HAS SOUS 79863 HAS SOUPS 79863 WITH SCORE 79966.056
AT ITER 3157 NEW BEST:: SOT 306771 SOS 102862 HAS SOPS 102862 HAS SOUS 79839 HAS SOUPS 79839 WITH SCORE 79941.862
AT ITER 3159 NEW BEST:: SOT 306687 SOS 102735 HAS SOPS 102735 HAS SOUS 79712 HAS SOUPS 79712 WITH SCORE 79814.735
AT ITER 3162 NEW BEST:: SOT 306569 SOS 102558 HAS SOPS 102558 HAS SOUS 79594 HAS SOUPS 79594 WITH SCORE 79696.558
AT ITER 3163 NEW BEST:: SOT 306511 SOS 102372 HAS SOPS 102372 HAS SOUS 79440 HAS SOUPS 79440 WITH SCORE 79542.372
AT ITER 3166 NEW BEST:: SOT 306729 SOS 102603 HAS SOPS 102603 HAS SOUS 79420 HAS SOUPS 79420 WITH SCORE 79522.603
AT ITER 3169 NEW BEST:: SOT 306752 SOS 102554 HAS SOPS 102554 HAS SOUS 79371 HAS SOUPS 79371 WITH SCORE 79473.554
AT ITER 3175 NEW BEST:: SOT 306736 SOS 102522 HAS SOPS 102522 HAS SOUS 79332 HAS SOUPS 79332 WITH SCORE 79434.522
AT ITER 3180 NEW BEST:: SOT 306671 SOS 102363 HAS SOPS 102363 HAS SOUS 79173 HAS SOUPS 79173 WITH SCORE 79275.363
AT ITER 3195 NEW BEST:: SOT 306656 SOS 102333 HAS SOPS 102333 HAS SOUS 79143 HAS SOUPS 79143 WITH SCORE 79245.333
AT ITER 3212 NEW BEST:: SOT 306672 SOS 102216 HAS SOPS 102216 HAS SOUS 79084 HAS SOUPS 79084 WITH SCORE 79186.216
AT ITER 3214 NEW BEST:: SOT 306667 SOS 102211 HAS SOPS 102211 HAS SOUS 79079 HAS SOUPS 79079 WITH SCORE 79181.211
AT ITER 3216 NEW BEST:: SOT 306616 SOS 102109 HAS SOPS 102109 HAS SOUS 78926 HAS SOUPS 78926 WITH SCORE 79028.109
AT ITER 3229 NEW BEST:: SOT 306616 SOS 102053 HAS SOPS 102053 HAS SOUS 78870 HAS SOUPS 78870 WITH SCORE 78972.053
AT ITER 3244 NEW BEST:: SOT 306432 SOS 101685 HAS SOPS 101685 HAS SOUS 78633 HAS SOUPS 78633 WITH SCORE 78734.685
AT ITER 3262 NEW BEST:: SOT 306420 SOS 101661 HAS SOPS 101661 HAS SOUS 78609 HAS SOUPS 78609 WITH SCORE 78710.661
AT ITER 3263 NEW BEST:: SOT 306420 SOS 101583 HAS SOPS 101583 HAS SOUS 78570 HAS SOUPS 78570 WITH SCORE 78671.583
AT ITER 3268 NEW BEST:: SOT 306420 SOS 101583 HAS SOPS 101583 HAS SOUS 78551 HAS SOUPS 78551 WITH SCORE 78652.583
AT ITER 3291 NEW BEST:: SOT 306411 SOS 101574 HAS SOPS 101574 HAS SOUS 78542 HAS SOUPS 78542 WITH SCORE 78643.574
AT ITER 3315 NEW BEST:: SOT 306371 SOS 101534 HAS SOPS 101534 HAS SOUS 78502 HAS SOUPS 78502 WITH SCORE 78603.534
AT ITER 3325 NEW BEST:: SOT 306369 SOS 101489 HAS SOPS 101489 HAS SOUS 78457 HAS SOUPS 78457 WITH SCORE 78558.489
AT ITER 3334 NEW BEST:: SOT 306358 SOS 101478 HAS SOPS 101478 HAS SOUS 78446 HAS SOUPS 78446 WITH SCORE 78547.478
AT ITER 3343 NEW BEST:: SOT 306342 SOS 101443 HAS SOPS 101443 HAS SOUS 78411 HAS SOUPS 78411 WITH SCORE 78512.443
AT ITER 3366 NEW BEST:: SOT 306325 SOS 101425 HAS SOPS 101425 HAS SOUS 78393 HAS SOUPS 78393 WITH SCORE 78494.425
AT ITER 3370 NEW BEST:: SOT 306358 SOS 101415 HAS SOPS 101415 HAS SOUS 78383 HAS SOUPS 78383 WITH SCORE 78484.415
AT ITER 3374 NEW BEST:: SOT 306216 SOS 101273 HAS SOPS 101273 HAS SOUS 78318 HAS SOUPS 78318 WITH SCORE 78419.273
AT ITER 3375 NEW BEST:: SOT 306248 SOS 101275 HAS SOPS 101275 HAS SOUS 78314 HAS SOUPS 78314 WITH SCORE 78415.275
AT ITER 3402 NEW BEST:: SOT 306226 SOS 101253 HAS SOPS 101253 HAS SOUS 78292 HAS SOUPS 78292 WITH SCORE 78393.253
AT ITER 3410 NEW BEST:: SOT 306226 SOS 101253 HAS SOPS 101253 HAS SOUS 78283 HAS SOUPS 78283 WITH SCORE 78384.253
AT ITER 3443 NEW BEST:: SOT 306192 SOS 101219 HAS SOPS 101219 HAS SOUS 78266 HAS SOUPS 78266 WITH SCORE 78367.219
AT ITER 3469 NEW BEST:: SOT 306195 SOS 101106 HAS SOPS 101106 HAS SOUS 78165 HAS SOUPS 78165 WITH SCORE 78266.106
AT ITER 3490 NEW BEST:: SOT 306231 SOS 101157 HAS SOPS 101157 HAS SOUS 78120 HAS SOUPS 78120 WITH SCORE 78221.157
AT ITER 3512 NEW BEST:: SOT 306272 SOS 101026 HAS SOPS 101026 HAS SOUS 78056 HAS SOUPS 78056 WITH SCORE 78157.026
AT ITER 3539 NEW BEST:: SOT 306270 SOS 101023 HAS SOPS 101023 HAS SOUS 78053 HAS SOUPS 78053 WITH SCORE 78154.023
AT ITER 3542 NEW BEST:: SOT 306216 SOS 100915 HAS SOPS 100915 HAS SOUS 78050 HAS SOUPS 78050 WITH SCORE 78150.915
AT ITER 3547 NEW BEST:: SOT 306216 SOS 100915 HAS SOPS 100915 HAS SOUS 78045 HAS SOUPS 78045 WITH SCORE 78145.915
AT ITER 3549 NEW BEST:: SOT 306216 SOS 100875 HAS SOPS 100875 HAS SOUS 78005 HAS SOUPS 78005 WITH SCORE 78105.875
AT ITER 3566 NEW BEST:: SOT 306115 SOS 100788 HAS SOPS 100788 HAS SOUS 77918 HAS SOUPS 77918 WITH SCORE 78018.788
AT ITER 3575 NEW BEST:: SOT 305978 SOS 100651 HAS SOPS 100651 HAS SOUS 77781 HAS SOUPS 77781 WITH SCORE 77881.651
AT ITER 3595 NEW BEST:: SOT 305956 SOS 100607 HAS SOPS 100607 HAS SOUS 77737 HAS SOUPS 77737 WITH SCORE 77837.607
AT ITER 3612 NEW BEST:: SOT 305956 SOS 100541 HAS SOPS 100541 HAS SOUS 77737 HAS SOUPS 77737 WITH SCORE 77837.541
AT ITER 3626 NEW BEST:: SOT 305915 SOS 100500 HAS SOPS 100500 HAS SOUS 77696 HAS SOUPS 77696 WITH SCORE 77796.5
AT ITER 3641 NEW BEST:: SOT 305904 SOS 100477 HAS SOPS 100477 HAS SOUS 77674 HAS SOUPS 77674 WITH SCORE 77774.477
AT ITER 3672 NEW BEST:: SOT 305838 SOS 100367 HAS SOPS 100367 HAS SOUS 77608 HAS SOUPS 77608 WITH SCORE 77708.367
AT ITER 3678 NEW BEST:: SOT 305838 SOS 100356 HAS SOPS 100356 HAS SOUS 77597 HAS SOUPS 77597 WITH SCORE 77697.356
AT ITER 3679 NEW BEST:: SOT 305772 SOS 100287 HAS SOPS 100287 HAS SOUS 77528 HAS SOUPS 77528 WITH SCORE 77628.287
AT ITER 3681 NEW BEST:: SOT 305761 SOS 100265 HAS SOPS 100265 HAS SOUS 77517 HAS SOUPS 77517 WITH SCORE 77617.265
AT ITER 3701 NEW BEST:: SOT 305702 SOS 100206 HAS SOPS 100206 HAS SOUS 77458 HAS SOUPS 77458 WITH SCORE 77558.206
AT ITER 3784 NEW BEST:: SOT 305702 SOS 100198 HAS SOPS 100198 HAS SOUS 77458 HAS SOUPS 77458 WITH SCORE 77558.198
AT ITER 3796 NEW BEST:: SOT 305657 SOS 100129 HAS SOPS 100129 HAS SOUS 77422 HAS SOUPS 77422 WITH SCORE 77522.129
AT ITER 3803 NEW BEST:: SOT 305651 SOS 100117 HAS SOPS 100117 HAS SOUS 77410 HAS SOUPS 77410 WITH SCORE 77510.117
AT ITER 3811 NEW BEST:: SOT 305547 SOS 99988 HAS SOPS 99988 HAS SOUS 77322 HAS SOUPS 77322 WITH SCORE 77421.988
AT ITER 3838 NEW BEST:: SOT 305233 SOS 99853 HAS SOPS 99853 HAS SOUS 77126 HAS SOUPS 77126 WITH SCORE 77225.853
AT ITER 3861 NEW BEST:: SOT 305246 SOS 99669 HAS SOPS 99669 HAS SOUS 77031 HAS SOUPS 77031 WITH SCORE 77130.669
AT ITER 3864 NEW BEST:: SOT 305510 SOS 99919 HAS SOPS 99919 HAS SOUS 77017 HAS SOUPS 77017 WITH SCORE 77116.919
AT ITER 3869 NEW BEST:: SOT 305396 SOS 99748 HAS SOPS 99748 HAS SOUS 76903 HAS SOUPS 76903 WITH SCORE 77002.748
AT ITER 3885 NEW BEST:: SOT 305396 SOS 99736 HAS SOPS 99736 HAS SOUS 76891 HAS SOUPS 76891 WITH SCORE 76990.736
AT ITER 3886 NEW BEST:: SOT 305249 SOS 99535 HAS SOPS 99535 HAS SOUS 76783 HAS SOUPS 76783 WITH SCORE 76882.535
AT ITER 3896 NEW BEST:: SOT 305319 SOS 99540 HAS SOPS 99540 HAS SOUS 76751 HAS SOUPS 76751 WITH SCORE 76850.54
AT ITER 3898 NEW BEST:: SOT 305422 SOS 99656 HAS SOPS 99656 HAS SOUS 76743 HAS SOUPS 76743 WITH SCORE 76842.656
AT ITER 3915 NEW BEST:: SOT 305441 SOS 99545 HAS SOPS 99545 HAS SOUS 76632 HAS SOUPS 76632 WITH SCORE 76731.545
AT ITER 3916 NEW BEST:: SOT 305349 SOS 99351 HAS SOPS 99351 HAS SOUS 76438 HAS SOUPS 76438 WITH SCORE 76537.351
AT ITER 3921 NEW BEST:: SOT 305349 SOS 99350 HAS SOPS 99350 HAS SOUS 76437 HAS SOUPS 76437 WITH SCORE 76536.35
AT ITER 3930 NEW BEST:: SOT 305290 SOS 99291 HAS SOPS 99291 HAS SOUS 76437 HAS SOUPS 76437 WITH SCORE 76536.291
AT ITER 3951 NEW BEST:: SOT 305261 SOS 99233 HAS SOPS 99233 HAS SOUS 76379 HAS SOUPS 76379 WITH SCORE 76478.233
AT ITER 3954 NEW BEST:: SOT 305217 SOS 99145 HAS SOPS 99145 HAS SOUS 76353 HAS SOUPS 76353 WITH SCORE 76452.145
AT ITER 3989 NEW BEST:: SOT 305217 SOS 99136 HAS SOPS 99136 HAS SOUS 76353 HAS SOUPS 76353 WITH SCORE 76452.136
AT ITER 3992 NEW BEST:: SOT 305197 SOS 99096 HAS SOPS 99096 HAS SOUS 76310 HAS SOUPS 76310 WITH SCORE 76409.096
AT ITER 3995 NEW BEST:: SOT 305197 SOS 99038 HAS SOPS 99038 HAS SOUS 76252 HAS SOUPS 76252 WITH SCORE 76351.038
AT ITER 4005 NEW BEST:: SOT 305119 SOS 98960 HAS SOPS 98960 HAS SOUS 76252 HAS SOUPS 76252 WITH SCORE 76350.96
AT ITER 4015 NEW BEST:: SOT 305065 SOS 98879 HAS SOPS 98879 HAS SOUS 76198 HAS SOUPS 76198 WITH SCORE 76296.879
AT ITER 4062 NEW BEST:: SOT 304985 SOS 98719 HAS SOPS 98719 HAS SOUS 76038 HAS SOUPS 76038 WITH SCORE 76136.719
AT ITER 4063 NEW BEST:: SOT 304879 SOS 98647 HAS SOPS 98647 HAS SOUS 75966 HAS SOUPS 75966 WITH SCORE 76064.647
AT ITER 4082 NEW BEST:: SOT 304877 SOS 98616 HAS SOPS 98616 HAS SOUS 75912 HAS SOUPS 75912 WITH SCORE 76010.616
AT ITER 4106 NEW BEST:: SOT 304802 SOS 98546 HAS SOPS 98546 HAS SOUS 75842 HAS SOUPS 75842 WITH SCORE 75940.546
AT ITER 4123 NEW BEST:: SOT 304713 SOS 98452 HAS SOPS 98452 HAS SOUS 75748 HAS SOUPS 75748 WITH SCORE 75846.452
AT ITER 4157 NEW BEST:: SOT 304691 SOS 98408 HAS SOPS 98408 HAS SOUS 75740 HAS SOUPS 75740 WITH SCORE 75838.408
AT ITER 4161 NEW BEST:: SOT 304567 SOS 98325 HAS SOPS 98325 HAS SOUS 75657 HAS SOUPS 75657 WITH SCORE 75755.325
AT ITER 4169 NEW BEST:: SOT 304534 SOS 98260 HAS SOPS 98260 HAS SOUS 75592 HAS SOUPS 75592 WITH SCORE 75690.26
AT ITER 4191 NEW BEST:: SOT 304491 SOS 98131 HAS SOPS 98131 HAS SOUS 75506 HAS SOUPS 75506 WITH SCORE 75604.131
AT ITER 4193 NEW BEST:: SOT 304489 SOS 98127 HAS SOPS 98127 HAS SOUS 75504 HAS SOUPS 75504 WITH SCORE 75602.127
AT ITER 4228 NEW BEST:: SOT 304242 SOS 98127 HAS SOPS 98127 HAS SOUS 75427 HAS SOUPS 75427 WITH SCORE 75525.127
AT ITER 4231 NEW BEST:: SOT 304195 SOS 98067 HAS SOPS 98067 HAS SOUS 75367 HAS SOUPS 75367 WITH SCORE 75465.067
AT ITER 4237 NEW BEST:: SOT 304195 SOS 98067 HAS SOPS 98067 HAS SOUS 75358 HAS SOUPS 75358 WITH SCORE 75456.067
AT ITER 4261 NEW BEST:: SOT 304109 SOS 97957 HAS SOPS 97957 HAS SOUS 75218 HAS SOUPS 75218 WITH SCORE 75315.957
AT ITER 4275 NEW BEST:: SOT 304094 SOS 97927 HAS SOPS 97927 HAS SOUS 75203 HAS SOUPS 75203 WITH SCORE 75300.927
AT ITER 4279 NEW BEST:: SOT 303957 SOS 97826 HAS SOPS 97826 HAS SOUS 75102 HAS SOUPS 75102 WITH SCORE 75199.826
AT ITER 4292 NEW BEST:: SOT 303808 SOS 97817 HAS SOPS 97817 HAS SOUS 74982 HAS SOUPS 74982 WITH SCORE 75079.817
AT ITER 4336 NEW BEST:: SOT 303868 SOS 97790 HAS SOPS 97790 HAS SOUS 74955 HAS SOUPS 74955 WITH SCORE 75052.79
AT ITER 4371 NEW BEST:: SOT 303895 SOS 97772 HAS SOPS 97772 HAS SOUS 74937 HAS SOUPS 74937 WITH SCORE 75034.772
AT ITER 4382 NEW BEST:: SOT 303778 SOS 97493 HAS SOPS 97493 HAS SOUS 74754 HAS SOUPS 74754 WITH SCORE 74851.493
AT ITER 4385 NEW BEST:: SOT 303778 SOS 97457 HAS SOPS 97457 HAS SOUS 74718 HAS SOUPS 74718 WITH SCORE 74815.457
AT ITER 4393 NEW BEST:: SOT 303778 SOS 97455 HAS SOPS 97455 HAS SOUS 74716 HAS SOUPS 74716 WITH SCORE 74813.455
AT ITER 4410 NEW BEST:: SOT 303775 SOS 97452 HAS SOPS 97452 HAS SOUS 74713 HAS SOUPS 74713 WITH SCORE 74810.452
AT ITER 4425 NEW BEST:: SOT 303840 SOS 97443 HAS SOPS 97443 HAS SOUS 74704 HAS SOUPS 74704 WITH SCORE 74801.443
AT ITER 4429 NEW BEST:: SOT 303788 SOS 97377 HAS SOPS 97377 HAS SOUS 74638 HAS SOUPS 74638 WITH SCORE 74735.377
AT ITER 4434 NEW BEST:: SOT 303787 SOS 97389 HAS SOPS 97389 HAS SOUS 74634 HAS SOUPS 74634 WITH SCORE 74731.389
AT ITER 4438 NEW BEST:: SOT 303787 SOS 97389 HAS SOPS 97389 HAS SOUS 74617 HAS SOUPS 74617 WITH SCORE 74714.389
AT ITER 4439 NEW BEST:: SOT 303756 SOS 97327 HAS SOPS 97327 HAS SOUS 74617 HAS SOUPS 74617 WITH SCORE 74714.327
AT ITER 4444 NEW BEST:: SOT 303756 SOS 97323 HAS SOPS 97323 HAS SOUS 74613 HAS SOUPS 74613 WITH SCORE 74710.323
AT ITER 4450 NEW BEST:: SOT 303749 SOS 97316 HAS SOPS 97316 HAS SOUS 74606 HAS SOUPS 74606 WITH SCORE 74703.316
AT ITER 4453 NEW BEST:: SOT 303768 SOS 97307 HAS SOPS 97307 HAS SOUS 74597 HAS SOUPS 74597 WITH SCORE 74694.307
AT ITER 4456 NEW BEST:: SOT 303723 SOS 97171 HAS SOPS 97171 HAS SOUS 74552 HAS SOUPS 74552 WITH SCORE 74649.171
AT ITER 4467 NEW BEST:: SOT 303686 SOS 97128 HAS SOPS 97128 HAS SOUS 74509 HAS SOUPS 74509 WITH SCORE 74606.128
AT ITER 4468 NEW BEST:: SOT 303686 SOS 97112 HAS SOPS 97112 HAS SOUS 74493 HAS SOUPS 74493 WITH SCORE 74590.112
AT ITER 4487 NEW BEST:: SOT 303645 SOS 97048 HAS SOPS 97048 HAS SOUS 74429 HAS SOUPS 74429 WITH SCORE 74526.048
AT ITER 4497 NEW BEST:: SOT 303495 SOS 96789 HAS SOPS 96789 HAS SOUS 74257 HAS SOUPS 74257 WITH SCORE 74353.789
AT ITER 4507 NEW BEST:: SOT 303900 SOS 96760 HAS SOPS 96760 HAS SOUS 74228 HAS SOUPS 74228 WITH SCORE 74324.76
AT ITER 4526 NEW BEST:: SOT 303953 SOS 96808 HAS SOPS 96808 HAS SOUS 74196 HAS SOUPS 74196 WITH SCORE 74292.808
AT ITER 4548 NEW BEST:: SOT 303953 SOS 96800 HAS SOPS 96800 HAS SOUS 74188 HAS SOUPS 74188 WITH SCORE 74284.8
AT ITER 4562 NEW BEST:: SOT 303948 SOS 96668 HAS SOPS 96668 HAS SOUS 74056 HAS SOUPS 74056 WITH SCORE 74152.668
AT ITER 4566 NEW BEST:: SOT 303912 SOS 96631 HAS SOPS 96631 HAS SOUS 74054 HAS SOUPS 74054 WITH SCORE 74150.631
AT ITER 4587 NEW BEST:: SOT 303909 SOS 96628 HAS SOPS 96628 HAS SOUS 74051 HAS SOUPS 74051 WITH SCORE 74147.628
AT ITER 4588 NEW BEST:: SOT 303919 SOS 96563 HAS SOPS 96563 HAS SOUS 74002 HAS SOUPS 74002 WITH SCORE 74098.563
AT ITER 4604 NEW BEST:: SOT 303850 SOS 96480 HAS SOPS 96480 HAS SOUS 73919 HAS SOUPS 73919 WITH SCORE 74015.48
AT ITER 4612 NEW BEST:: SOT 303835 SOS 96436 HAS SOPS 96436 HAS SOUS 73875 HAS SOUPS 73875 WITH SCORE 73971.436
AT ITER 4625 NEW BEST:: SOT 303790 SOS 96346 HAS SOPS 96346 HAS SOUS 73818 HAS SOUPS 73818 WITH SCORE 73914.346
AT ITER 4652 NEW BEST:: SOT 303736 SOS 96260 HAS SOPS 96260 HAS SOUS 73732 HAS SOUPS 73732 WITH SCORE 73828.26
AT ITER 4654 NEW BEST:: SOT 303726 SOS 96250 HAS SOPS 96250 HAS SOUS 73732 HAS SOUPS 73732 WITH SCORE 73828.25
AT ITER 4656 NEW BEST:: SOT 303604 SOS 96286 HAS SOPS 96286 HAS SOUS 73680 HAS SOUPS 73680 WITH SCORE 73776.286
AT ITER 4673 NEW BEST:: SOT 303604 SOS 96275 HAS SOPS 96275 HAS SOUS 73669 HAS SOUPS 73669 WITH SCORE 73765.275
AT ITER 4678 NEW BEST:: SOT 303600 SOS 96267 HAS SOPS 96267 HAS SOUS 73661 HAS SOUPS 73661 WITH SCORE 73757.267
AT ITER 4695 NEW BEST:: SOT 303731 SOS 96198 HAS SOPS 96198 HAS SOUS 73592 HAS SOUPS 73592 WITH SCORE 73688.198
AT ITER 4760 NEW BEST:: SOT 303626 SOS 95988 HAS SOPS 95988 HAS SOUS 73382 HAS SOUPS 73382 WITH SCORE 73477.988
AT ITER 4780 NEW BEST:: SOT 303592 SOS 95920 HAS SOPS 95920 HAS SOUS 73301 HAS SOUPS 73301 WITH SCORE 73396.92
AT ITER 4793 NEW BEST:: SOT 303574 SOS 95884 HAS SOPS 95884 HAS SOUS 73265 HAS SOUPS 73265 WITH SCORE 73360.884
AT ITER 4809 NEW BEST:: SOT 303564 SOS 95874 HAS SOPS 95874 HAS SOUS 73245 HAS SOUPS 73245 WITH SCORE 73340.874
AT ITER 4816 NEW BEST:: SOT 303550 SOS 95845 HAS SOPS 95845 HAS SOUS 73216 HAS SOUPS 73216 WITH SCORE 73311.845
AT ITER 4847 NEW BEST:: SOT 303503 SOS 95798 HAS SOPS 95798 HAS SOUS 73122 HAS SOUPS 73122 WITH SCORE 73217.798
AT ITER 4864 NEW BEST:: SOT 303504 SOS 95795 HAS SOPS 95795 HAS SOUS 73122 HAS SOUPS 73122 WITH SCORE 73217.795
AT ITER 4886 NEW BEST:: SOT 303518 SOS 95764 HAS SOPS 95764 HAS SOUS 73091 HAS SOUPS 73091 WITH SCORE 73186.764
AT ITER 4902 NEW BEST:: SOT 303518 SOS 95719 HAS SOPS 95719 HAS SOUS 73046 HAS SOUPS 73046 WITH SCORE 73141.719
AT ITER 4907 NEW BEST:: SOT 303403 SOS 95601 HAS SOPS 95601 HAS SOUS 72928 HAS SOUPS 72928 WITH SCORE 73023.601
AT ITER 4911 NEW BEST:: SOT 303420 SOS 95584 HAS SOPS 95584 HAS SOUS 72911 HAS SOUPS 72911 WITH SCORE 73006.584
AT ITER 4929 NEW BEST:: SOT 303404 SOS 95576 HAS SOPS 95576 HAS SOUS 72903 HAS SOUPS 72903 WITH SCORE 72998.576
AT ITER 4930 NEW BEST:: SOT 303377 SOS 95509 HAS SOPS 95509 HAS SOUS 72836 HAS SOUPS 72836 WITH SCORE 72931.509
AT ITER 4933 NEW BEST:: SOT 303377 SOS 95490 HAS SOPS 95490 HAS SOUS 72817 HAS SOUPS 72817 WITH SCORE 72912.49
AT ITER 4947 NEW BEST:: SOT 303342 SOS 95480 HAS SOPS 95480 HAS SOUS 72807 HAS SOUPS 72807 WITH SCORE 72902.48
AT ITER 4966 NEW BEST:: SOT 303203 SOS 95197 HAS SOPS 95197 HAS SOUS 72682 HAS SOUPS 72682 WITH SCORE 72777.197
AT ITER 4992 NEW BEST:: SOT 303229 SOS 95201 HAS SOPS 95201 HAS SOUS 72660 HAS SOUPS 72660 WITH SCORE 72755.201
AT ITER 5014 NEW BEST:: SOT 303262 SOS 95267 HAS SOPS 95267 HAS SOUS 72612 HAS SOUPS 72612 WITH SCORE 72707.267
AT ITER 5016 NEW BEST:: SOT 303254 SOS 95249 HAS SOPS 95249 HAS SOUS 72594 HAS SOUPS 72594 WITH SCORE 72689.249
AT ITER 5023 NEW BEST:: SOT 303254 SOS 95245 HAS SOPS 95245 HAS SOUS 72590 HAS SOUPS 72590 WITH SCORE 72685.245
AT ITER 5026 NEW BEST:: SOT 303214 SOS 95165 HAS SOPS 95165 HAS SOUS 72510 HAS SOUPS 72510 WITH SCORE 72605.165
AT ITER 5048 NEW BEST:: SOT 303189 SOS 95122 HAS SOPS 95122 HAS SOUS 72510 HAS SOUPS 72510 WITH SCORE 72605.122
AT ITER 5061 NEW BEST:: SOT 303149 SOS 95082 HAS SOPS 95082 HAS SOUS 72510 HAS SOUPS 72510 WITH SCORE 72605.082
AT ITER 5081 NEW BEST:: SOT 303112 SOS 94948 HAS SOPS 94948 HAS SOUS 72376 HAS SOUPS 72376 WITH SCORE 72470.948
AT ITER 5085 NEW BEST:: SOT 303106 SOS 94896 HAS SOPS 94896 HAS SOUS 72324 HAS SOUPS 72324 WITH SCORE 72418.896
AT ITER 5088 NEW BEST:: SOT 303072 SOS 94828 HAS SOPS 94828 HAS SOUS 72256 HAS SOUPS 72256 WITH SCORE 72350.828
AT ITER 5097 NEW BEST:: SOT 303072 SOS 94826 HAS SOPS 94826 HAS SOUS 72254 HAS SOUPS 72254 WITH SCORE 72348.826
AT ITER 5120 NEW BEST:: SOT 303071 SOS 94850 HAS SOPS 94850 HAS SOUS 72253 HAS SOUPS 72253 WITH SCORE 72347.85
AT ITER 5133 NEW BEST:: SOT 303016 SOS 94777 HAS SOPS 94777 HAS SOUS 72127 HAS SOUPS 72127 WITH SCORE 72221.777
AT ITER 5136 NEW BEST:: SOT 302996 SOS 94701 HAS SOPS 94701 HAS SOUS 72107 HAS SOUPS 72107 WITH SCORE 72201.701
AT ITER 5161 NEW BEST:: SOT 302990 SOS 94689 HAS SOPS 94689 HAS SOUS 72095 HAS SOUPS 72095 WITH SCORE 72189.689
AT ITER 5183 NEW BEST:: SOT 302990 SOS 94684 HAS SOPS 94684 HAS SOUS 72095 HAS SOUPS 72095 WITH SCORE 72189.684
AT ITER 5196 NEW BEST:: SOT 302990 SOS 94660 HAS SOPS 94660 HAS SOUS 72072 HAS SOUPS 72072 WITH SCORE 72166.66
AT ITER 5204 NEW BEST:: SOT 303009 SOS 94635 HAS SOPS 94635 HAS SOUS 72028 HAS SOUPS 72028 WITH SCORE 72122.635
AT ITER 5205 NEW BEST:: SOT 302995 SOS 94595 HAS SOPS 94595 HAS SOUS 71962 HAS SOUPS 71962 WITH SCORE 72056.595
AT ITER 5220 NEW BEST:: SOT 302966 SOS 94581 HAS SOPS 94581 HAS SOUS 71948 HAS SOUPS 71948 WITH SCORE 72042.581
AT ITER 5231 NEW BEST:: SOT 302946 SOS 94566 HAS SOPS 94566 HAS SOUS 71933 HAS SOUPS 71933 WITH SCORE 72027.566
AT ITER 5267 NEW BEST:: SOT 302902 SOS 93911 HAS SOPS 93911 HAS SOUS 71875 HAS SOUPS 71875 WITH SCORE 71968.911
AT ITER 5269 NEW BEST:: SOT 302868 SOS 93876 HAS SOPS 93876 HAS SOUS 71873 HAS SOUPS 71873 WITH SCORE 71966.876
AT ITER 5282 NEW BEST:: SOT 302862 SOS 93864 HAS SOPS 93864 HAS SOUS 71861 HAS SOUPS 71861 WITH SCORE 71954.864
AT ITER 5301 NEW BEST:: SOT 302790 SOS 93720 HAS SOPS 93720 HAS SOUS 71717 HAS SOUPS 71717 WITH SCORE 71810.72
AT ITER 5319 NEW BEST:: SOT 302758 SOS 93656 HAS SOPS 93656 HAS SOUS 71653 HAS SOUPS 71653 WITH SCORE 71746.656
AT ITER 5346 NEW BEST:: SOT 302787 SOS 93633 HAS SOPS 93633 HAS SOUS 71630 HAS SOUPS 71630 WITH SCORE 71723.633
AT ITER 5350 NEW BEST:: SOT 302698 SOS 93461 HAS SOPS 93461 HAS SOUS 71458 HAS SOUPS 71458 WITH SCORE 71551.461
AT ITER 5351 NEW BEST:: SOT 302680 SOS 93425 HAS SOPS 93425 HAS SOUS 71440 HAS SOUPS 71440 WITH SCORE 71533.425
AT ITER 5384 NEW BEST:: SOT 302705 SOS 93422 HAS SOPS 93422 HAS SOUS 71437 HAS SOUPS 71437 WITH SCORE 71530.422
AT ITER 5398 NEW BEST:: SOT 302626 SOS 93251 HAS SOPS 93251 HAS SOUS 71266 HAS SOUPS 71266 WITH SCORE 71359.251
AT ITER 5412 NEW BEST:: SOT 302647 SOS 93322 HAS SOPS 93322 HAS SOUS 71248 HAS SOUPS 71248 WITH SCORE 71341.322
AT ITER 5434 NEW BEST:: SOT 302671 SOS 93296 HAS SOPS 93296 HAS SOUS 71148 HAS SOUPS 71148 WITH SCORE 71241.296
AT ITER 5436 NEW BEST:: SOT 302662 SOS 93294 HAS SOPS 93294 HAS SOUS 71146 HAS SOUPS 71146 WITH SCORE 71239.294
AT ITER 5440 NEW BEST:: SOT 302641 SOS 93252 HAS SOPS 93252 HAS SOUS 71091 HAS SOUPS 71091 WITH SCORE 71184.252
AT ITER 5446 NEW BEST:: SOT 302641 SOS 93163 HAS SOPS 93163 HAS SOUS 71002 HAS SOUPS 71002 WITH SCORE 71095.163
AT ITER 5450 NEW BEST:: SOT 302486 SOS 93023 HAS SOPS 93023 HAS SOUS 70862 HAS SOUPS 70862 WITH SCORE 70955.023
AT ITER 5470 NEW BEST:: SOT 302472 SOS 92995 HAS SOPS 92995 HAS SOUS 70834 HAS SOUPS 70834 WITH SCORE 70926.995
AT ITER 5504 NEW BEST:: SOT 302472 SOS 92995 HAS SOPS 92995 HAS SOUS 70777 HAS SOUPS 70777 WITH SCORE 70869.995
AT ITER 5511 NEW BEST:: SOT 302456 SOS 92945 HAS SOPS 92945 HAS SOUS 70727 HAS SOUPS 70727 WITH SCORE 70819.945
AT ITER 5524 NEW BEST:: SOT 302476 SOS 92920 HAS SOPS 92920 HAS SOUS 70702 HAS SOUPS 70702 WITH SCORE 70794.92
AT ITER 5529 NEW BEST:: SOT 302450 SOS 92836 HAS SOPS 92836 HAS SOUS 70647 HAS SOUPS 70647 WITH SCORE 70739.836
AT ITER 5539 NEW BEST:: SOT 302358 SOS 92712 HAS SOPS 92712 HAS SOUS 70583 HAS SOUPS 70583 WITH SCORE 70675.712
AT ITER 5563 NEW BEST:: SOT 302313 SOS 92622 HAS SOPS 92622 HAS SOUS 70562 HAS SOUPS 70562 WITH SCORE 70654.622
AT ITER 5568 NEW BEST:: SOT 302326 SOS 92667 HAS SOPS 92667 HAS SOUS 70558 HAS SOUPS 70558 WITH SCORE 70650.667
AT ITER 5576 NEW BEST:: SOT 302246 SOS 92595 HAS SOPS 92595 HAS SOUS 70486 HAS SOUPS 70486 WITH SCORE 70578.595
AT ITER 5610 NEW BEST:: SOT 302207 SOS 92422 HAS SOPS 92422 HAS SOUS 70422 HAS SOUPS 70422 WITH SCORE 70514.422
AT ITER 5630 NEW BEST:: SOT 302207 SOS 92409 HAS SOPS 92409 HAS SOUS 70409 HAS SOUPS 70409 WITH SCORE 70501.409
AT ITER 5645 NEW BEST:: SOT 301732 SOS 91934 HAS SOPS 91934 HAS SOUS 70196 HAS SOUPS 70196 WITH SCORE 70287.934
AT ITER 5672 NEW BEST:: SOT 301749 SOS 91941 HAS SOPS 91941 HAS SOUS 70178 HAS SOUPS 70178 WITH SCORE 70269.941
AT ITER 5681 NEW BEST:: SOT 301854 SOS 91993 HAS SOPS 91993 HAS SOUS 70125 HAS SOUPS 70125 WITH SCORE 70216.993
AT ITER 5684 NEW BEST:: SOT 301877 SOS 92039 HAS SOPS 92039 HAS SOUS 70021 HAS SOUPS 70021 WITH SCORE 70113.039
AT ITER 5750 NEW BEST:: SOT 301837 SOS 91979 HAS SOPS 91979 HAS SOUS 69967 HAS SOUPS 69967 WITH SCORE 70058.979
AT ITER 5765 NEW BEST:: SOT 301837 SOS 91958 HAS SOPS 91958 HAS SOUS 69946 HAS SOUPS 69946 WITH SCORE 70037.958
AT ITER 5769 NEW BEST:: SOT 301810 SOS 91941 HAS SOPS 91941 HAS SOUS 69933 HAS SOUPS 69933 WITH SCORE 70024.941
AT ITER 5785 NEW BEST:: SOT 301802 SOS 91949 HAS SOPS 91949 HAS SOUS 69917 HAS SOUPS 69917 WITH SCORE 70008.949
AT ITER 5794 NEW BEST:: SOT 301709 SOS 91856 HAS SOPS 91856 HAS SOUS 69731 HAS SOUPS 69731 WITH SCORE 69822.856
AT ITER 5824 NEW BEST:: SOT 301700 SOS 91847 HAS SOPS 91847 HAS SOUS 69731 HAS SOUPS 69731 WITH SCORE 69822.847
AT ITER 5828 NEW BEST:: SOT 301690 SOS 91827 HAS SOPS 91827 HAS SOUS 69716 HAS SOUPS 69716 WITH SCORE 69807.827
AT ITER 5843 NEW BEST:: SOT 301686 SOS 91819 HAS SOPS 91819 HAS SOUS 69673 HAS SOUPS 69673 WITH SCORE 69764.819
AT ITER 5846 NEW BEST:: SOT 301212 SOS 102177 HAS SOPS 102177 HAS SOUS 69262 HAS SOUPS 69262 WITH SCORE 69364.177
AT ITER 5853 NEW BEST:: SOT 301195 SOS 102160 HAS SOPS 102160 HAS SOUS 69261 HAS SOUPS 69261 WITH SCORE 69363.16
AT ITER 5879 NEW BEST:: SOT 301157 SOS 102145 HAS SOPS 102145 HAS SOUS 69241 HAS SOUPS 69241 WITH SCORE 69343.145
AT ITER 5892 NEW BEST:: SOT 301112 SOS 102084 HAS SOPS 102084 HAS SOUS 69209 HAS SOUPS 69209 WITH SCORE 69311.084
AT ITER 5912 NEW BEST:: SOT 301112 SOS 102084 HAS SOPS 102084 HAS SOUS 69206 HAS SOUPS 69206 WITH SCORE 69308.084
AT ITER 5926 NEW BEST:: SOT 301112 SOS 101989 HAS SOPS 101989 HAS SOUS 69206 HAS SOUPS 69206 WITH SCORE 69307.989
AT ITER 5947 NEW BEST:: SOT 301079 SOS 101943 HAS SOPS 101943 HAS SOUS 69180 HAS SOUPS 69180 WITH SCORE 69281.943
AT ITER 5961 NEW BEST:: SOT 301079 SOS 101826 HAS SOPS 101826 HAS SOUS 69180 HAS SOUPS 69180 WITH SCORE 69281.826
AT ITER 5976 NEW BEST:: SOT 300754 SOS 101176 HAS SOPS 101176 HAS SOUS 68855 HAS SOUPS 68855 WITH SCORE 68956.176
AT ITER 6065 NEW BEST:: SOT 300733 SOS 101179 HAS SOPS 101179 HAS SOUS 68851 HAS SOUPS 68851 WITH SCORE 68952.179
AT ITER 6073 NEW BEST:: SOT 300669 SOS 101051 HAS SOPS 101051 HAS SOUS 68763 HAS SOUPS 68763 WITH SCORE 68864.051
AT ITER 6090 NEW BEST:: SOT 300846 SOS 101018 HAS SOPS 101018 HAS SOUS 68718 HAS SOUPS 68718 WITH SCORE 68819.018
AT ITER 6092 NEW BEST:: SOT 300833 SOS 100981 HAS SOPS 100981 HAS SOUS 68681 HAS SOUPS 68681 WITH SCORE 68781.981
AT ITER 6096 NEW BEST:: SOT 300969 SOS 100965 HAS SOPS 100965 HAS SOUS 68622 HAS SOUPS 68622 WITH SCORE 68722.965
AT ITER 6103 NEW BEST:: SOT 300991 SOS 100974 HAS SOPS 100974 HAS SOUS 68547 HAS SOUPS 68547 WITH SCORE 68647.974
AT ITER 6138 NEW BEST:: SOT 300937 SOS 100920 HAS SOPS 100920 HAS SOUS 68493 HAS SOUPS 68493 WITH SCORE 68593.92
AT ITER 6164 NEW BEST:: SOT 300937 SOS 100920 HAS SOPS 100920 HAS SOUS 68473 HAS SOUPS 68473 WITH SCORE 68573.92
AT ITER 6174 NEW BEST:: SOT 300844 SOS 100807 HAS SOPS 100807 HAS SOUS 68360 HAS SOUPS 68360 WITH SCORE 68460.807
AT ITER 6180 NEW BEST:: SOT 300844 SOS 100803 HAS SOPS 100803 HAS SOUS 68358 HAS SOUPS 68358 WITH SCORE 68458.803
AT ITER 6196 NEW BEST:: SOT 300702 SOS 100519 HAS SOPS 100519 HAS SOUS 68216 HAS SOUPS 68216 WITH SCORE 68316.519
AT ITER 6221 NEW BEST:: SOT 300686 SOS 100719 HAS SOPS 100719 HAS SOUS 68136 HAS SOUPS 68136 WITH SCORE 68236.719
AT ITER 6224 NEW BEST:: SOT 300671 SOS 100533 HAS SOPS 100533 HAS SOUS 68097 HAS SOUPS 68097 WITH SCORE 68197.533
AT ITER 6233 NEW BEST:: SOT 300659 SOS 100509 HAS SOPS 100509 HAS SOUS 68079 HAS SOUPS 68079 WITH SCORE 68179.509
AT ITER 6238 NEW BEST:: SOT 300651 SOS 100508 HAS SOPS 100508 HAS SOUS 68078 HAS SOUPS 68078 WITH SCORE 68178.508
AT ITER 6258 NEW BEST:: SOT 300641 SOS 100498 HAS SOPS 100498 HAS SOUS 68078 HAS SOUPS 68078 WITH SCORE 68178.498
AT ITER 6267 NEW BEST:: SOT 300567 SOS 100394 HAS SOPS 100394 HAS SOUS 68018 HAS SOUPS 68018 WITH SCORE 68118.394
AT ITER 6286 NEW BEST:: SOT 300546 SOS 100373 HAS SOPS 100373 HAS SOUS 67997 HAS SOUPS 67997 WITH SCORE 68097.373
AT ITER 6300 NEW BEST:: SOT 300530 SOS 100357 HAS SOPS 100357 HAS SOUS 67981 HAS SOUPS 67981 WITH SCORE 68081.357
AT ITER 6377 NEW BEST:: SOT 300516 SOS 100331 HAS SOPS 100331 HAS SOUS 67955 HAS SOUPS 67955 WITH SCORE 68055.331
AT ITER 6389 NEW BEST:: SOT 300516 SOS 100314 HAS SOPS 100314 HAS SOUS 67938 HAS SOUPS 67938 WITH SCORE 68038.314
AT ITER 6416 NEW BEST:: SOT 300500 SOS 100361 HAS SOPS 100361 HAS SOUS 67937 HAS SOUPS 67937 WITH SCORE 68037.361
AT ITER 6443 NEW BEST:: SOT 300382 SOS 100297 HAS SOPS 100297 HAS SOUS 67832 HAS SOUPS 67832 WITH SCORE 67932.297
AT ITER 6470 NEW BEST:: SOT 300364 SOS 100255 HAS SOPS 100255 HAS SOUS 67808 HAS SOUPS 67808 WITH SCORE 67908.255
AT ITER 6540 NEW BEST:: SOT 300351 SOS 100229 HAS SOPS 100229 HAS SOUS 67782 HAS SOUPS 67782 WITH SCORE 67882.229
AT ITER 6558 NEW BEST:: SOT 300351 SOS 99943 HAS SOPS 99943 HAS SOUS 67567 HAS SOUPS 67567 WITH SCORE 67666.943
AT ITER 6562 NEW BEST:: SOT 300308 SOS 99861 HAS SOPS 99861 HAS SOUS 67485 HAS SOUPS 67485 WITH SCORE 67584.861
AT ITER 6574 NEW BEST:: SOT 300243 SOS 99796 HAS SOPS 99796 HAS SOUS 67420 HAS SOUPS 67420 WITH SCORE 67519.796
AT ITER 6583 NEW BEST:: SOT 300222 SOS 99775 HAS SOPS 99775 HAS SOUS 67399 HAS SOUPS 67399 WITH SCORE 67498.775
AT ITER 6584 NEW BEST:: SOT 300202 SOS 99760 HAS SOPS 99760 HAS SOUS 67359 HAS SOUPS 67359 WITH SCORE 67458.76
AT ITER 6598 NEW BEST:: SOT 300220 SOS 99747 HAS SOPS 99747 HAS SOUS 67346 HAS SOUPS 67346 WITH SCORE 67445.747
AT ITER 6615 NEW BEST:: SOT 300166 SOS 99693 HAS SOPS 99693 HAS SOUS 67292 HAS SOUPS 67292 WITH SCORE 67391.693
AT ITER 6671 NEW BEST:: SOT 300123 SOS 99638 HAS SOPS 99638 HAS SOUS 67237 HAS SOUPS 67237 WITH SCORE 67336.638
AT ITER 6674 NEW BEST:: SOT 300058 SOS 99477 HAS SOPS 99477 HAS SOUS 67141 HAS SOUPS 67141 WITH SCORE 67240.477
AT ITER 6704 NEW BEST:: SOT 300042 SOS 99461 HAS SOPS 99461 HAS SOUS 67125 HAS SOUPS 67125 WITH SCORE 67224.461
AT ITER 6708 NEW BEST:: SOT 299915 SOS 99289 HAS SOPS 99289 HAS SOUS 66994 HAS SOUPS 66994 WITH SCORE 67093.289
AT ITER 6712 NEW BEST:: SOT 299911 SOS 99285 HAS SOPS 99285 HAS SOUS 66990 HAS SOUPS 66990 WITH SCORE 67089.285
AT ITER 6714 NEW BEST:: SOT 299911 SOS 99243 HAS SOPS 99243 HAS SOUS 66948 HAS SOUPS 66948 WITH SCORE 67047.243
AT ITER 6744 NEW BEST:: SOT 299911 SOS 99221 HAS SOPS 99221 HAS SOUS 66948 HAS SOUPS 66948 WITH SCORE 67047.221
AT ITER 6747 NEW BEST:: SOT 299880 SOS 99159 HAS SOPS 99159 HAS SOUS 66886 HAS SOUPS 66886 WITH SCORE 66985.159
AT ITER 6774 NEW BEST:: SOT 299884 SOS 99171 HAS SOPS 99171 HAS SOUS 66883 HAS SOUPS 66883 WITH SCORE 66982.171
AT ITER 6817 NEW BEST:: SOT 299718 SOS 99139 HAS SOPS 99139 HAS SOUS 66867 HAS SOUPS 66867 WITH SCORE 66966.139
AT ITER 6824 NEW BEST:: SOT 299696 SOS 99129 HAS SOPS 99129 HAS SOUS 66857 HAS SOUPS 66857 WITH SCORE 66956.129
AT ITER 6829 NEW BEST:: SOT 299684 SOS 99105 HAS SOPS 99105 HAS SOUS 66833 HAS SOUPS 66833 WITH SCORE 66932.105
AT ITER 6844 NEW BEST:: SOT 299684 SOS 99102 HAS SOPS 99102 HAS SOUS 66830 HAS SOUPS 66830 WITH SCORE 66929.102
AT ITER 6922 NEW BEST:: SOT 299668 SOS 98894 HAS SOPS 98894 HAS SOUS 66798 HAS SOUPS 66798 WITH SCORE 66896.894
AT ITER 6932 NEW BEST:: SOT 299639 SOS 98836 HAS SOPS 98836 HAS SOUS 66769 HAS SOUPS 66769 WITH SCORE 66867.836
AT ITER 6943 NEW BEST:: SOT 299639 SOS 98831 HAS SOPS 98831 HAS SOUS 66769 HAS SOUPS 66769 WITH SCORE 66867.831
AT ITER 6979 NEW BEST:: SOT 299639 SOS 98685 HAS SOPS 98685 HAS SOUS 66623 HAS SOUPS 66623 WITH SCORE 66721.685
AT ITER 6983 NEW BEST:: SOT 299568 SOS 98660 HAS SOPS 98660 HAS SOUS 66598 HAS SOUPS 66598 WITH SCORE 66696.66
AT ITER 7005 NEW BEST:: SOT 299534 SOS 98592 HAS SOPS 98592 HAS SOUS 66530 HAS SOUPS 66530 WITH SCORE 66628.592
AT ITER 7008 NEW BEST:: SOT 299426 SOS 98447 HAS SOPS 98447 HAS SOUS 66385 HAS SOUPS 66385 WITH SCORE 66483.447
AT ITER 7027 NEW BEST:: SOT 299337 SOS 98269 HAS SOPS 98269 HAS SOUS 66207 HAS SOUPS 66207 WITH SCORE 66305.269
AT ITER 7031 NEW BEST:: SOT 299283 SOS 98031 HAS SOPS 98031 HAS SOUS 66064 HAS SOUPS 66064 WITH SCORE 66162.031
AT ITER 7051 NEW BEST:: SOT 299230 SOS 97955 HAS SOPS 97955 HAS SOUS 66041 HAS SOUPS 66041 WITH SCORE 66138.955
AT ITER 7060 NEW BEST:: SOT 299210 SOS 97915 HAS SOPS 97915 HAS SOUS 66001 HAS SOUPS 66001 WITH SCORE 66098.915
AT ITER 7061 NEW BEST:: SOT 299196 SOS 97901 HAS SOPS 97901 HAS SOUS 65973 HAS SOUPS 65973 WITH SCORE 66070.901
AT ITER 7085 NEW BEST:: SOT 299177 SOS 97869 HAS SOPS 97869 HAS SOUS 65941 HAS SOUPS 65941 WITH SCORE 66038.869
AT ITER 7122 NEW BEST:: SOT 299178 SOS 97860 HAS SOPS 97860 HAS SOUS 65932 HAS SOUPS 65932 WITH SCORE 66029.86
AT ITER 7130 NEW BEST:: SOT 299170 SOS 97825 HAS SOPS 97825 HAS SOUS 65894 HAS SOUPS 65894 WITH SCORE 65991.825
AT ITER 7218 NEW BEST:: SOT 299158 SOS 97820 HAS SOPS 97820 HAS SOUS 65889 HAS SOUPS 65889 WITH SCORE 65986.82
AT ITER 7271 NEW BEST:: SOT 299178 SOS 97792 HAS SOPS 97792 HAS SOUS 65861 HAS SOUPS 65861 WITH SCORE 65958.792
AT ITER 7300 NEW BEST:: SOT 299129 SOS 97645 HAS SOPS 97645 HAS SOUS 65729 HAS SOUPS 65729 WITH SCORE 65826.645
AT ITER 7323 NEW BEST:: SOT 299089 SOS 97578 HAS SOPS 97578 HAS SOUS 65662 HAS SOUPS 65662 WITH SCORE 65759.578
AT ITER 7366 NEW BEST:: SOT 299084 SOS 97568 HAS SOPS 97568 HAS SOUS 65657 HAS SOUPS 65657 WITH SCORE 65754.568
AT ITER 7368 NEW BEST:: SOT 299075 SOS 97550 HAS SOPS 97550 HAS SOUS 65639 HAS SOUPS 65639 WITH SCORE 65736.55
AT ITER 7425 NEW BEST:: SOT 299028 SOS 97525 HAS SOPS 97525 HAS SOUS 65548 HAS SOUPS 65548 WITH SCORE 65645.525
AT ITER 7449 NEW BEST:: SOT 299016 SOS 97501 HAS SOPS 97501 HAS SOUS 65524 HAS SOUPS 65524 WITH SCORE 65621.501
AT ITER 7562 NEW BEST:: SOT 299016 SOS 97492 HAS SOPS 97492 HAS SOUS 65515 HAS SOUPS 65515 WITH SCORE 65612.492
AT ITER 7579 NEW BEST:: SOT 298960 SOS 97432 HAS SOPS 97432 HAS SOUS 65455 HAS SOUPS 65455 WITH SCORE 65552.432
AT ITER 7596 NEW BEST:: SOT 298904 SOS 97362 HAS SOPS 97362 HAS SOUS 65373 HAS SOUPS 65373 WITH SCORE 65470.362
AT ITER 7616 NEW BEST:: SOT 298899 SOS 97361 HAS SOPS 97361 HAS SOUS 65372 HAS SOUPS 65372 WITH SCORE 65469.361
AT ITER 7709 NEW BEST:: SOT 298893 SOS 97355 HAS SOPS 97355 HAS SOUS 65366 HAS SOUPS 65366 WITH SCORE 65463.355
AT ITER 7720 NEW BEST:: SOT 298864 SOS 97333 HAS SOPS 97333 HAS SOUS 65337 HAS SOUPS 65337 WITH SCORE 65434.333
AT ITER 7760 NEW BEST:: SOT 298815 SOS 97271 HAS SOPS 97271 HAS SOUS 65311 HAS SOUPS 65311 WITH SCORE 65408.271
AT ITER 7777 NEW BEST:: SOT 298815 SOS 97267 HAS SOPS 97267 HAS SOUS 65307 HAS SOUPS 65307 WITH SCORE 65404.267
AT ITER 7787 NEW BEST:: SOT 298820 SOS 97263 HAS SOPS 97263 HAS SOUS 65303 HAS SOUPS 65303 WITH SCORE 65400.263
AT ITER 7790 NEW BEST:: SOT 298963 SOS 97329 HAS SOPS 97329 HAS SOUS 65246 HAS SOUPS 65246 WITH SCORE 65343.329
AT ITER 7807 NEW BEST:: SOT 298963 SOS 97327 HAS SOPS 97327 HAS SOUS 65244 HAS SOUPS 65244 WITH SCORE 65341.327
AT ITER 7812 NEW BEST:: SOT 298804 SOS 96993 HAS SOPS 96993 HAS SOUS 65049 HAS SOUPS 65049 WITH SCORE 65145.993
AT ITER 7817 NEW BEST:: SOT 298801 SOS 96990 HAS SOPS 96990 HAS SOUS 65046 HAS SOUPS 65046 WITH SCORE 65142.99
AT ITER 7820 NEW BEST:: SOT 298770 SOS 96928 HAS SOPS 96928 HAS SOUS 64984 HAS SOUPS 64984 WITH SCORE 65080.928
AT ITER 7825 NEW BEST:: SOT 298703 SOS 96861 HAS SOPS 96861 HAS SOUS 64984 HAS SOUPS 64984 WITH SCORE 65080.861
AT ITER 7860 NEW BEST:: SOT 298697 SOS 96849 HAS SOPS 96849 HAS SOUS 64972 HAS SOUPS 64972 WITH SCORE 65068.849
AT ITER 7922 NEW BEST:: SOT 298648 SOS 96800 HAS SOPS 96800 HAS SOUS 64923 HAS SOUPS 64923 WITH SCORE 65019.8
AT ITER 7973 NEW BEST:: SOT 298642 SOS 96776 HAS SOPS 96776 HAS SOUS 64917 HAS SOUPS 64917 WITH SCORE 65013.776
AT ITER 7979 NEW BEST:: SOT 298845 SOS 96895 HAS SOPS 96895 HAS SOUS 64854 HAS SOUPS 64854 WITH SCORE 64950.895
AT ITER 7993 NEW BEST:: SOT 298841 SOS 96891 HAS SOPS 96891 HAS SOUS 64850 HAS SOUPS 64850 WITH SCORE 64946.891
AT ITER 7998 NEW BEST:: SOT 298816 SOS 96810 HAS SOPS 96810 HAS SOUS 64836 HAS SOUPS 64836 WITH SCORE 64932.81
AT ITER 7999 NEW BEST:: SOT 298592 SOS 96586 HAS SOPS 96586 HAS SOUS 64724 HAS SOUPS 64724 WITH SCORE 64820.586
AT ITER 8013 NEW BEST:: SOT 298556 SOS 96532 HAS SOPS 96532 HAS SOUS 64670 HAS SOUPS 64670 WITH SCORE 64766.532
AT ITER 8023 NEW BEST:: SOT 298542 SOS 96504 HAS SOPS 96504 HAS SOUS 64656 HAS SOUPS 64656 WITH SCORE 64752.504
AT ITER 8049 NEW BEST:: SOT 298423 SOS 96266 HAS SOPS 96266 HAS SOUS 64418 HAS SOUPS 64418 WITH SCORE 64514.266
AT ITER 8079 NEW BEST:: SOT 298401 SOS 96256 HAS SOPS 96256 HAS SOUS 64408 HAS SOUPS 64408 WITH SCORE 64504.256
AT ITER 8085 NEW BEST:: SOT 298401 SOS 96240 HAS SOPS 96240 HAS SOUS 64408 HAS SOUPS 64408 WITH SCORE 64504.24
AT ITER 8138 NEW BEST:: SOT 298401 SOS 96233 HAS SOPS 96233 HAS SOUS 64401 HAS SOUPS 64401 WITH SCORE 64497.233
AT ITER 8184 NEW BEST:: SOT 298464 SOS 96232 HAS SOPS 96232 HAS SOUS 64328 HAS SOUPS 64328 WITH SCORE 64424.232
AT ITER 8225 NEW BEST:: SOT 298447 SOS 96223 HAS SOPS 96223 HAS SOUS 64319 HAS SOUPS 64319 WITH SCORE 64415.223
AT ITER 8238 NEW BEST:: SOT 298451 SOS 96221 HAS SOPS 96221 HAS SOUS 64241 HAS SOUPS 64241 WITH SCORE 64337.221
AT ITER 8262 NEW BEST:: SOT 298451 SOS 96215 HAS SOPS 96215 HAS SOUS 64235 HAS SOUPS 64235 WITH SCORE 64331.215
AT ITER 8269 NEW BEST:: SOT 298446 SOS 96205 HAS SOPS 96205 HAS SOUS 64220 HAS SOUPS 64220 WITH SCORE 64316.205
AT ITER 8275 NEW BEST:: SOT 298461 SOS 96235 HAS SOPS 96235 HAS SOUS 64206 HAS SOUPS 64206 WITH SCORE 64302.235
AT ITER 8329 NEW BEST:: SOT 298455 SOS 96233 HAS SOPS 96233 HAS SOUS 64204 HAS SOUPS 64204 WITH SCORE 64300.233
AT ITER 8369 NEW BEST:: SOT 298440 SOS 96211 HAS SOPS 96211 HAS SOUS 64182 HAS SOUPS 64182 WITH SCORE 64278.211
AT ITER 8378 NEW BEST:: SOT 298416 SOS 96111 HAS SOPS 96111 HAS SOUS 64149 HAS SOUPS 64149 WITH SCORE 64245.111
AT ITER 8432 NEW BEST:: SOT 298416 SOS 96103 HAS SOPS 96103 HAS SOUS 64141 HAS SOUPS 64141 WITH SCORE 64237.103
AT ITER 8489 NEW BEST:: SOT 298398 SOS 96067 HAS SOPS 96067 HAS SOUS 64123 HAS SOUPS 64123 WITH SCORE 64219.067
AT ITER 8490 NEW BEST:: SOT 298398 SOS 96067 HAS SOPS 96067 HAS SOUS 64118 HAS SOUPS 64118 WITH SCORE 64214.067
AT ITER 8493 NEW BEST:: SOT 298395 SOS 96064 HAS SOPS 96064 HAS SOUS 64115 HAS SOUPS 64115 WITH SCORE 64211.064
AT ITER 8527 NEW BEST:: SOT 298393 SOS 96062 HAS SOPS 96062 HAS SOUS 64113 HAS SOUPS 64113 WITH SCORE 64209.062
AT ITER 8538 NEW BEST:: SOT 298384 SOS 96053 HAS SOPS 96053 HAS SOUS 64104 HAS SOUPS 64104 WITH SCORE 64200.053
AT ITER 8592 NEW BEST:: SOT 298383 SOS 96051 HAS SOPS 96051 HAS SOUS 64102 HAS SOUPS 64102 WITH SCORE 64198.051
AT ITER 8594 NEW BEST:: SOT 298383 SOS 96051 HAS SOPS 96051 HAS SOUS 64029 HAS SOUPS 64029 WITH SCORE 64125.051
AT ITER 8612 NEW BEST:: SOT 298500 SOS 96036 HAS SOPS 96036 HAS SOUS 64014 HAS SOUPS 64014 WITH SCORE 64110.036
AT ITER 8647 NEW BEST:: SOT 298511 SOS 96034 HAS SOPS 96034 HAS SOUS 64012 HAS SOUPS 64012 WITH SCORE 64108.034
AT ITER 8711 NEW BEST:: SOT 298678 SOS 96195 HAS SOPS 96195 HAS SOUS 64000 HAS SOUPS 64000 WITH SCORE 64096.195
AT ITER 8722 NEW BEST:: SOT 298753 SOS 96345 HAS SOPS 96345 HAS SOUS 63998 HAS SOUPS 63998 WITH SCORE 64094.345
AT ITER 8734 NEW BEST:: SOT 298662 SOS 96163 HAS SOPS 96163 HAS SOUS 63827 HAS SOUPS 63827 WITH SCORE 63923.163
AT ITER 8749 NEW BEST:: SOT 298652 SOS 96143 HAS SOPS 96143 HAS SOUS 63797 HAS SOUPS 63797 WITH SCORE 63893.143
AT ITER 8754 NEW BEST:: SOT 298620 SOS 96050 HAS SOPS 96050 HAS SOUS 63765 HAS SOUPS 63765 WITH SCORE 63861.05
AT ITER 8775 NEW BEST:: SOT 298550 SOS 95967 HAS SOPS 95967 HAS SOUS 63694 HAS SOUPS 63694 WITH SCORE 63789.967
AT ITER 8821 NEW BEST:: SOT 298548 SOS 95924 HAS SOPS 95924 HAS SOUS 63651 HAS SOUPS 63651 WITH SCORE 63746.924
AT ITER 8864 NEW BEST:: SOT 298548 SOS 95963 HAS SOPS 95963 HAS SOUS 63633 HAS SOUPS 63633 WITH SCORE 63728.963
AT ITER 8918 NEW BEST:: SOT 298527 SOS 95921 HAS SOPS 95921 HAS SOUS 63532 HAS SOUPS 63532 WITH SCORE 63627.921
AT ITER 8932 NEW BEST:: SOT 298472 SOS 95873 HAS SOPS 95873 HAS SOUS 63484 HAS SOUPS 63484 WITH SCORE 63579.873
AT ITER 8961 NEW BEST:: SOT 298395 SOS 95796 HAS SOPS 95796 HAS SOUS 63451 HAS SOUPS 63451 WITH SCORE 63546.796
AT ITER 8974 NEW BEST:: SOT 298280 SOS 95765 HAS SOPS 95765 HAS SOUS 63418 HAS SOUPS 63418 WITH SCORE 63513.765
AT ITER 8992 NEW BEST:: SOT 298271 SOS 95747 HAS SOPS 95747 HAS SOUS 63400 HAS SOUPS 63400 WITH SCORE 63495.747
AT ITER 8993 NEW BEST:: SOT 298254 SOS 95730 HAS SOPS 95730 HAS SOUS 63400 HAS SOUPS 63400 WITH SCORE 63495.73
AT ITER 8999 NEW BEST:: SOT 298233 SOS 95709 HAS SOPS 95709 HAS SOUS 63379 HAS SOUPS 63379 WITH SCORE 63474.709
AT ITER 9000 NEW BEST:: SOT 298213 SOS 95689 HAS SOPS 95689 HAS SOUS 63379 HAS SOUPS 63379 WITH SCORE 63474.689
AT ITER 9024 NEW BEST:: SOT 298194 SOS 95665 HAS SOPS 95665 HAS SOUS 63374 HAS SOUPS 63374 WITH SCORE 63469.665
AT ITER 9036 NEW BEST:: SOT 298194 SOS 95644 HAS SOPS 95644 HAS SOUS 63353 HAS SOUPS 63353 WITH SCORE 63448.644
AT ITER 9045 NEW BEST:: SOT 298182 SOS 95632 HAS SOPS 95632 HAS SOUS 63341 HAS SOUPS 63341 WITH SCORE 63436.632
AT ITER 9064 NEW BEST:: SOT 298148 SOS 95612 HAS SOPS 95612 HAS SOUS 63321 HAS SOUPS 63321 WITH SCORE 63416.612
AT ITER 9067 NEW BEST:: SOT 298148 SOS 95563 HAS SOPS 95563 HAS SOUS 63272 HAS SOUPS 63272 WITH SCORE 63367.563
AT ITER 9109 NEW BEST:: SOT 298133 SOS 95533 HAS SOPS 95533 HAS SOUS 63242 HAS SOUPS 63242 WITH SCORE 63337.533
AT ITER 9129 NEW BEST:: SOT 298122 SOS 95522 HAS SOPS 95522 HAS SOUS 63231 HAS SOUPS 63231 WITH SCORE 63326.522
AT ITER 9136 NEW BEST:: SOT 298106 SOS 95508 HAS SOPS 95508 HAS SOUS 63217 HAS SOUPS 63217 WITH SCORE 63312.508
AT ITER 9149 NEW BEST:: SOT 298113 SOS 95502 HAS SOPS 95502 HAS SOUS 63211 HAS SOUPS 63211 WITH SCORE 63306.502
AT ITER 9176 NEW BEST:: SOT 298112 SOS 95501 HAS SOPS 95501 HAS SOUS 63211 HAS SOUPS 63211 WITH SCORE 63306.501
AT ITER 9183 NEW BEST:: SOT 298103 SOS 95483 HAS SOPS 95483 HAS SOUS 63193 HAS SOUPS 63193 WITH SCORE 63288.483
AT ITER 9185 NEW BEST:: SOT 298103 SOS 95481 HAS SOPS 95481 HAS SOUS 63193 HAS SOUPS 63193 WITH SCORE 63288.481
AT ITER 9197 NEW BEST:: SOT 298132 SOS 95438 HAS SOPS 95438 HAS SOUS 63150 HAS SOUPS 63150 WITH SCORE 63245.438
AT ITER 9237 NEW BEST:: SOT 298078 SOS 95357 HAS SOPS 95357 HAS SOUS 63069 HAS SOUPS 63069 WITH SCORE 63164.357
AT ITER 9252 NEW BEST:: SOT 298014 SOS 95198 HAS SOPS 95198 HAS SOUS 62974 HAS SOUPS 62974 WITH SCORE 63069.198
AT ITER 9257 NEW BEST:: SOT 298045 SOS 95159 HAS SOPS 95159 HAS SOUS 62935 HAS SOUPS 62935 WITH SCORE 63030.159
AT ITER 9288 NEW BEST:: SOT 298013 SOS 95117 HAS SOPS 95117 HAS SOUS 62893 HAS SOUPS 62893 WITH SCORE 62988.117
AT ITER 9297 NEW BEST:: SOT 297993 SOS 95093 HAS SOPS 95093 HAS SOUS 62872 HAS SOUPS 62872 WITH SCORE 62967.093
AT ITER 9315 NEW BEST:: SOT 297865 SOS 94837 HAS SOPS 94837 HAS SOUS 62832 HAS SOUPS 62832 WITH SCORE 62926.837
AT ITER 9329 NEW BEST:: SOT 297865 SOS 94828 HAS SOPS 94828 HAS SOUS 62823 HAS SOUPS 62823 WITH SCORE 62917.828
AT ITER 9348 NEW BEST:: SOT 297865 SOS 94767 HAS SOPS 94767 HAS SOUS 62762 HAS SOUPS 62762 WITH SCORE 62856.767
AT ITER 9352 NEW BEST:: SOT 297858 SOS 94718 HAS SOPS 94718 HAS SOUS 62713 HAS SOUPS 62713 WITH SCORE 62807.718
AT ITER 9358 NEW BEST:: SOT 297858 SOS 94716 HAS SOPS 94716 HAS SOUS 62711 HAS SOUPS 62711 WITH SCORE 62805.716
AT ITER 9399 NEW BEST:: SOT 297879 SOS 94758 HAS SOPS 94758 HAS SOUS 62702 HAS SOUPS 62702 WITH SCORE 62796.758
AT ITER 9461 NEW BEST:: SOT 297890 SOS 94780 HAS SOPS 94780 HAS SOUS 62695 HAS SOUPS 62695 WITH SCORE 62789.78
AT ITER 9466 NEW BEST:: SOT 297878 SOS 94756 HAS SOPS 94756 HAS SOUS 62687 HAS SOUPS 62687 WITH SCORE 62781.756
AT ITER 9470 NEW BEST:: SOT 297855 SOS 94574 HAS SOPS 94574 HAS SOUS 62610 HAS SOUPS 62610 WITH SCORE 62704.574
AT ITER 9486 NEW BEST:: SOT 297861 SOS 94566 HAS SOPS 94566 HAS SOUS 62602 HAS SOUPS 62602 WITH SCORE 62696.566
AT ITER 9488 NEW BEST:: SOT 297836 SOS 94541 HAS SOPS 94541 HAS SOUS 62566 HAS SOUPS 62566 WITH SCORE 62660.541
AT ITER 9508 NEW BEST:: SOT 297836 SOS 94541 HAS SOPS 94541 HAS SOUS 62523 HAS SOUPS 62523 WITH SCORE 62617.541
AT ITER 9516 NEW BEST:: SOT 297764 SOS 94411 HAS SOPS 94411 HAS SOUS 62356 HAS SOUPS 62356 WITH SCORE 62450.411
AT ITER 9529 NEW BEST:: SOT 297731 SOS 94378 HAS SOPS 94378 HAS SOUS 62329 HAS SOUPS 62329 WITH SCORE 62423.378
AT ITER 9549 NEW BEST:: SOT 297731 SOS 94266 HAS SOPS 94266 HAS SOUS 62217 HAS SOUPS 62217 WITH SCORE 62311.266
AT ITER 9568 NEW BEST:: SOT 297731 SOS 94266 HAS SOPS 94266 HAS SOUS 62189 HAS SOUPS 62189 WITH SCORE 62283.266
AT ITER 9628 NEW BEST:: SOT 297731 SOS 94263 HAS SOPS 94263 HAS SOUS 62186 HAS SOUPS 62186 WITH SCORE 62280.263
AT ITER 9637 NEW BEST:: SOT 297731 SOS 94254 HAS SOPS 94254 HAS SOUS 62177 HAS SOUPS 62177 WITH SCORE 62271.254
AT ITER 9648 NEW BEST:: SOT 297727 SOS 94246 HAS SOPS 94246 HAS SOUS 62155 HAS SOUPS 62155 WITH SCORE 62249.246
AT ITER 9670 NEW BEST:: SOT 297752 SOS 94221 HAS SOPS 94221 HAS SOUS 62130 HAS SOUPS 62130 WITH SCORE 62224.221
AT ITER 9679 NEW BEST:: SOT 297743 SOS 94203 HAS SOPS 94203 HAS SOUS 62112 HAS SOUPS 62112 WITH SCORE 62206.203
AT ITER 9683 NEW BEST:: SOT 297689 SOS 94184 HAS SOPS 94184 HAS SOUS 62093 HAS SOUPS 62093 WITH SCORE 62187.184
AT ITER 9865 NEW BEST:: SOT 297630 SOS 94066 HAS SOPS 94066 HAS SOUS 62034 HAS SOUPS 62034 WITH SCORE 62128.066
AT ITER 9904 NEW BEST:: SOT 297520 SOS 94151 HAS SOPS 94151 HAS SOUS 61985 HAS SOUPS 61985 WITH SCORE 62079.151
AT ITER 9919 NEW BEST:: SOT 297517 SOS 94139 HAS SOPS 94139 HAS SOUS 61973 HAS SOUPS 61973 WITH SCORE 62067.139
AT ITER 9956 NEW BEST:: SOT 297471 SOS 94047 HAS SOPS 94047 HAS SOUS 61956 HAS SOUPS 61956 WITH SCORE 62050.047
AT ITER 9975 NEW BEST:: SOT 297465 SOS 94065 HAS SOPS 94065 HAS SOUS 61948 HAS SOUPS 61948 WITH SCORE 62042.065
AT ITER 9988 NEW BEST:: SOT 297433 SOS 94138 HAS SOPS 94138 HAS SOUS 61864 HAS SOUPS 61864 WITH SCORE 61958.138
AT ITER 9991 NEW BEST:: SOT 297401 SOS 94106 HAS SOPS 94106 HAS SOUS 61832 HAS SOUPS 61832 WITH SCORE 61926.106
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 10458584 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16127160 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="BusinessProcesses-PT-20"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is BusinessProcesses-PT-20, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r043-tajo-167813697100608"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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