Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 22M
-rw-r--r-- 1 mcc users 17K Feb 26 01:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 26 01:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1002K Feb 26 01:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 3.7M Feb 26 01:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 36K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 30K Feb 26 03:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 196K Feb 26 03:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 708K Feb 26 02:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.7M Feb 26 02:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.1K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 13M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679545468927

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=PolyORBNT-PT-S10J20
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 04:24:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 04:24:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 04:24:31] [INFO ] Load time of PNML (sax parser for PT used): 593 ms
[2023-03-23 04:24:31] [INFO ] Transformed 474 places.
[2023-03-23 04:24:31] [INFO ] Transformed 11760 transitions.
[2023-03-23 04:24:31] [INFO ] Parsed PT model containing 474 places and 11760 transitions and 111119 arcs in 741 ms.
[2023-03-23 04:24:31] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 474 places, 11760 transitions and 111119 arcs took 124 ms.
Total runtime 894 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S10J20
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: 474 places, 11760 transitions, 111119 arcs.
AT ITER 0 NEW BEST:: SOT 3199864 SOS 1469861 HAS SOPS 1469861 HAS SOUS 208713 HAS SOUPS 208713 WITH SCORE 210182.861
AT ITER 12 NEW BEST:: SOT 3199848 SOS 1469845 HAS SOPS 1469845 HAS SOUS 208697 HAS SOUPS 208697 WITH SCORE 210166.845
AT ITER 13 NEW BEST:: SOT 3199753 SOS 1469750 HAS SOPS 1469750 HAS SOUS 208602 HAS SOUPS 208602 WITH SCORE 210071.75
AT ITER 26 NEW BEST:: SOT 3199768 SOS 1469720 HAS SOPS 1469720 HAS SOUS 208167 HAS SOUPS 208167 WITH SCORE 209636.72
AT ITER 31 NEW BEST:: SOT 3199779 SOS 1469811 HAS SOPS 1469811 HAS SOUS 208126 HAS SOUPS 208126 WITH SCORE 209595.811
AT ITER 38 NEW BEST:: SOT 3199697 SOS 1469729 HAS SOPS 1469729 HAS SOUS 208044 HAS SOUPS 208044 WITH SCORE 209513.729
AT ITER 43 NEW BEST:: SOT 3199695 SOS 1469727 HAS SOPS 1469727 HAS SOUS 208042 HAS SOUPS 208042 WITH SCORE 209511.727
AT ITER 56 NEW BEST:: SOT 3199887 SOS 1469858 HAS SOPS 1469858 HAS SOUS 207652 HAS SOUPS 207652 WITH SCORE 209121.858
AT ITER 57 NEW BEST:: SOT 3199867 SOS 1469871 HAS SOPS 1469871 HAS SOUS 207641 HAS SOUPS 207641 WITH SCORE 209110.871
AT ITER 60 NEW BEST:: SOT 3199781 SOS 1469785 HAS SOPS 1469785 HAS SOUS 207555 HAS SOUPS 207555 WITH SCORE 209024.785
AT ITER 72 NEW BEST:: SOT 3199781 SOS 1469785 HAS SOPS 1469785 HAS SOUS 207491 HAS SOUPS 207491 WITH SCORE 208960.785
AT ITER 74 NEW BEST:: SOT 3199779 SOS 1469783 HAS SOPS 1469783 HAS SOUS 207489 HAS SOUPS 207489 WITH SCORE 208958.783
AT ITER 78 NEW BEST:: SOT 3199823 SOS 1469778 HAS SOPS 1469778 HAS SOUS 207059 HAS SOUPS 207059 WITH SCORE 208528.778
AT ITER 99 NEW BEST:: SOT 3200299 SOS 1470168 HAS SOPS 1470168 HAS SOUS 206716 HAS SOUPS 206716 WITH SCORE 208186.168
AT ITER 101 NEW BEST:: SOT 3200888 SOS 1470661 HAS SOPS 1470661 HAS SOUS 206435 HAS SOUPS 206435 WITH SCORE 207905.661
AT ITER 108 NEW BEST:: SOT 3201031 SOS 1470687 HAS SOPS 1470687 HAS SOUS 205409 HAS SOUPS 205409 WITH SCORE 206879.687
AT ITER 111 NEW BEST:: SOT 3201031 SOS 1470630 HAS SOPS 1470630 HAS SOUS 204866 HAS SOUPS 204866 WITH SCORE 206336.63
AT ITER 121 NEW BEST:: SOT 3200937 SOS 1470536 HAS SOPS 1470536 HAS SOUS 204678 HAS SOUPS 204678 WITH SCORE 206148.536
AT ITER 126 NEW BEST:: SOT 3200896 SOS 1470439 HAS SOPS 1470439 HAS SOUS 204077 HAS SOUPS 204077 WITH SCORE 205547.439
AT ITER 129 NEW BEST:: SOT 2086547 SOS 807994 HAS SOPS 807994 HAS SOUS 120081 HAS SOUPS 120081 WITH SCORE 120888.994
AT ITER 131 NEW BEST:: SOT 2086395 SOS 807842 HAS SOPS 807842 HAS SOUS 119929 HAS SOUPS 119929 WITH SCORE 120736.842
AT ITER 132 NEW BEST:: SOT 2086397 SOS 807763 HAS SOPS 807763 HAS SOUS 119426 HAS SOUPS 119426 WITH SCORE 120233.763
AT ITER 134 NEW BEST:: SOT 2086366 SOS 807751 HAS SOPS 807751 HAS SOUS 119345 HAS SOUPS 119345 WITH SCORE 120152.751
AT ITER 138 NEW BEST:: SOT 2086328 SOS 807722 HAS SOPS 807722 HAS SOUS 119325 HAS SOUPS 119325 WITH SCORE 120132.722
AT ITER 139 NEW BEST:: SOT 2086338 SOS 807739 HAS SOPS 807739 HAS SOUS 119232 HAS SOUPS 119232 WITH SCORE 120039.739
AT ITER 144 NEW BEST:: SOT 2086338 SOS 807718 HAS SOPS 807718 HAS SOUS 118834 HAS SOUPS 118834 WITH SCORE 119641.718
AT ITER 146 NEW BEST:: SOT 2086352 SOS 807732 HAS SOPS 807732 HAS SOUS 118318 HAS SOUPS 118318 WITH SCORE 119125.732
AT ITER 159 NEW BEST:: SOT 2086352 SOS 807732 HAS SOPS 807732 HAS SOUS 118309 HAS SOUPS 118309 WITH SCORE 119116.732
AT ITER 160 NEW BEST:: SOT 2086337 SOS 807756 HAS SOPS 807756 HAS SOUS 118307 HAS SOUPS 118307 WITH SCORE 119114.756
AT ITER 161 NEW BEST:: SOT 2086323 SOS 807742 HAS SOPS 807742 HAS SOUS 118293 HAS SOUPS 118293 WITH SCORE 119100.742
AT ITER 172 NEW BEST:: SOT 2086323 SOS 807739 HAS SOPS 807739 HAS SOUS 118293 HAS SOUPS 118293 WITH SCORE 119100.739
AT ITER 175 NEW BEST:: SOT 2086288 SOS 807704 HAS SOPS 807704 HAS SOUS 118258 HAS SOUPS 118258 WITH SCORE 119065.704
AT ITER 178 NEW BEST:: SOT 2086630 SOS 808033 HAS SOPS 808033 HAS SOUS 118205 HAS SOUPS 118205 WITH SCORE 119013.033
AT ITER 180 NEW BEST:: SOT 2086924 SOS 808327 HAS SOPS 808327 HAS SOUS 117831 HAS SOUPS 117831 WITH SCORE 118639.327
AT ITER 183 NEW BEST:: SOT 2086914 SOS 808107 HAS SOPS 808107 HAS SOUS 117811 HAS SOUPS 117811 WITH SCORE 118619.107
AT ITER 193 NEW BEST:: SOT 2086963 SOS 808176 HAS SOPS 808176 HAS SOUS 117712 HAS SOUPS 117712 WITH SCORE 118520.176
AT ITER 202 NEW BEST:: SOT 2086937 SOS 808150 HAS SOPS 808150 HAS SOUS 117686 HAS SOUPS 117686 WITH SCORE 118494.15
AT ITER 215 NEW BEST:: SOT 2086937 SOS 808213 HAS SOPS 808213 HAS SOUS 117642 HAS SOUPS 117642 WITH SCORE 118450.213
AT ITER 220 NEW BEST:: SOT 2086848 SOS 808124 HAS SOPS 808124 HAS SOUS 117506 HAS SOUPS 117506 WITH SCORE 118314.124
AT ITER 226 NEW BEST:: SOT 2086735 SOS 808011 HAS SOPS 808011 HAS SOUS 117315 HAS SOUPS 117315 WITH SCORE 118123.011
AT ITER 233 NEW BEST:: SOT 2086678 SOS 807954 HAS SOPS 807954 HAS SOUS 117243 HAS SOUPS 117243 WITH SCORE 118050.954
AT ITER 239 NEW BEST:: SOT 2070273 SOS 791683 HAS SOPS 791683 HAS SOUS 100972 HAS SOUPS 100972 WITH SCORE 101763.683
AT ITER 241 NEW BEST:: SOT 2070109 SOS 791519 HAS SOPS 791519 HAS SOUS 100780 HAS SOUPS 100780 WITH SCORE 101571.519
AT ITER 244 NEW BEST:: SOT 2069965 SOS 791375 HAS SOPS 791375 HAS SOUS 100584 HAS SOUPS 100584 WITH SCORE 101375.375
AT ITER 248 NEW BEST:: SOT 2069965 SOS 791375 HAS SOPS 791375 HAS SOUS 100456 HAS SOUPS 100456 WITH SCORE 101247.375
AT ITER 252 NEW BEST:: SOT 2069941 SOS 791351 HAS SOPS 791351 HAS SOUS 100432 HAS SOUPS 100432 WITH SCORE 101223.351
AT ITER 260 NEW BEST:: SOT 2069927 SOS 791337 HAS SOPS 791337 HAS SOUS 100418 HAS SOUPS 100418 WITH SCORE 101209.337
AT ITER 283 NEW BEST:: SOT 2069901 SOS 791341 HAS SOPS 791341 HAS SOUS 100395 HAS SOUPS 100395 WITH SCORE 101186.341
AT ITER 291 NEW BEST:: SOT 2070020 SOS 791341 HAS SOPS 791341 HAS SOUS 99500 HAS SOUPS 99500 WITH SCORE 100291.341
AT ITER 303 NEW BEST:: SOT 2069970 SOS 791375 HAS SOPS 791375 HAS SOUS 99418 HAS SOUPS 99418 WITH SCORE 100209.375
AT ITER 306 NEW BEST:: SOT 2069945 SOS 791350 HAS SOPS 791350 HAS SOUS 99365 HAS SOUPS 99365 WITH SCORE 100156.35
AT ITER 308 NEW BEST:: SOT 2069771 SOS 791176 HAS SOPS 791176 HAS SOUS 99102 HAS SOUPS 99102 WITH SCORE 99893.176
AT ITER 309 NEW BEST:: SOT 2069771 SOS 791176 HAS SOPS 791176 HAS SOUS 99029 HAS SOUPS 99029 WITH SCORE 99820.176
AT ITER 322 NEW BEST:: SOT 2069750 SOS 791155 HAS SOPS 791155 HAS SOUS 99008 HAS SOUPS 99008 WITH SCORE 99799.155
AT ITER 327 NEW BEST:: SOT 2069750 SOS 791140 HAS SOPS 791140 HAS SOUS 99003 HAS SOUPS 99003 WITH SCORE 99794.14
AT ITER 329 NEW BEST:: SOT 2069700 SOS 791090 HAS SOPS 791090 HAS SOUS 98853 HAS SOUPS 98853 WITH SCORE 99644.09
AT ITER 331 NEW BEST:: SOT 2069887 SOS 791265 HAS SOPS 791265 HAS SOUS 98754 HAS SOUPS 98754 WITH SCORE 99545.265
AT ITER 336 NEW BEST:: SOT 2069871 SOS 791233 HAS SOPS 791233 HAS SOUS 98722 HAS SOUPS 98722 WITH SCORE 99513.233
AT ITER 340 NEW BEST:: SOT 2069857 SOS 791219 HAS SOPS 791219 HAS SOUS 98712 HAS SOUPS 98712 WITH SCORE 99503.219
AT ITER 345 NEW BEST:: SOT 2069598 SOS 790708 HAS SOPS 790708 HAS SOUS 98015 HAS SOUPS 98015 WITH SCORE 98805.708
AT ITER 350 NEW BEST:: SOT 2069552 SOS 790662 HAS SOPS 790662 HAS SOUS 97969 HAS SOUPS 97969 WITH SCORE 98759.662
AT ITER 358 NEW BEST:: SOT 2070012 SOS 791078 HAS SOPS 791078 HAS SOUS 97671 HAS SOUPS 97671 WITH SCORE 98462.078
AT ITER 362 NEW BEST:: SOT 2069995 SOS 791076 HAS SOPS 791076 HAS SOUS 97654 HAS SOUPS 97654 WITH SCORE 98445.076
AT ITER 363 NEW BEST:: SOT 2067028 SOS 814295 HAS SOPS 814295 HAS SOUS 97136 HAS SOUPS 97136 WITH SCORE 97950.295
AT ITER 376 NEW BEST:: SOT 2067028 SOS 814351 HAS SOPS 814351 HAS SOUS 97052 HAS SOUPS 97052 WITH SCORE 97866.351
AT ITER 377 NEW BEST:: SOT 2066980 SOS 814303 HAS SOPS 814303 HAS SOUS 97004 HAS SOUPS 97004 WITH SCORE 97818.303
AT ITER 380 NEW BEST:: SOT 2066971 SOS 814285 HAS SOPS 814285 HAS SOUS 96905 HAS SOUPS 96905 WITH SCORE 97719.285
AT ITER 384 NEW BEST:: SOT 2067019 SOS 814343 HAS SOPS 814343 HAS SOUS 96873 HAS SOUPS 96873 WITH SCORE 97687.343
AT ITER 387 NEW BEST:: SOT 2067019 SOS 814343 HAS SOPS 814343 HAS SOUS 96761 HAS SOUPS 96761 WITH SCORE 97575.343
AT ITER 390 NEW BEST:: SOT 2067001 SOS 814357 HAS SOPS 814357 HAS SOUS 96741 HAS SOUPS 96741 WITH SCORE 97555.357
AT ITER 400 NEW BEST:: SOT 2067006 SOS 814367 HAS SOPS 814367 HAS SOUS 96712 HAS SOUPS 96712 WITH SCORE 97526.367
AT ITER 404 NEW BEST:: SOT 2067015 SOS 814376 HAS SOPS 814376 HAS SOUS 96352 HAS SOUPS 96352 WITH SCORE 97166.376
AT ITER 416 NEW BEST:: SOT 2066900 SOS 814261 HAS SOPS 814261 HAS SOUS 96237 HAS SOUPS 96237 WITH SCORE 97051.261
AT ITER 419 NEW BEST:: SOT 2066866 SOS 814227 HAS SOPS 814227 HAS SOUS 96203 HAS SOUPS 96203 WITH SCORE 97017.227
AT ITER 430 NEW BEST:: SOT 2066857 SOS 814218 HAS SOPS 814218 HAS SOUS 96194 HAS SOUPS 96194 WITH SCORE 97008.218
AT ITER 452 NEW BEST:: SOT 2066762 SOS 814123 HAS SOPS 814123 HAS SOUS 96033 HAS SOUPS 96033 WITH SCORE 96847.123
AT ITER 457 NEW BEST:: SOT 2066720 SOS 814054 HAS SOPS 814054 HAS SOUS 95370 HAS SOUPS 95370 WITH SCORE 96184.054
AT ITER 466 NEW BEST:: SOT 2066698 SOS 814032 HAS SOPS 814032 HAS SOUS 95336 HAS SOUPS 95336 WITH SCORE 96150.032
AT ITER 475 NEW BEST:: SOT 2066464 SOS 813798 HAS SOPS 813798 HAS SOUS 95102 HAS SOUPS 95102 WITH SCORE 95915.798
AT ITER 477 NEW BEST:: SOT 2066207 SOS 813541 HAS SOPS 813541 HAS SOUS 94845 HAS SOUPS 94845 WITH SCORE 95658.541
AT ITER 491 NEW BEST:: SOT 2066099 SOS 813433 HAS SOPS 813433 HAS SOUS 94737 HAS SOUPS 94737 WITH SCORE 95550.433
AT ITER 495 NEW BEST:: SOT 2066112 SOS 813431 HAS SOPS 813431 HAS SOUS 94581 HAS SOUPS 94581 WITH SCORE 95394.431
AT ITER 500 NEW BEST:: SOT 2066112 SOS 813431 HAS SOPS 813431 HAS SOUS 94562 HAS SOUPS 94562 WITH SCORE 95375.431
AT ITER 512 NEW BEST:: SOT 2066108 SOS 813427 HAS SOPS 813427 HAS SOUS 94558 HAS SOUPS 94558 WITH SCORE 95371.427
AT ITER 517 NEW BEST:: SOT 2066108 SOS 813427 HAS SOPS 813427 HAS SOUS 94551 HAS SOUPS 94551 WITH SCORE 95364.427
AT ITER 546 NEW BEST:: SOT 2066073 SOS 813392 HAS SOPS 813392 HAS SOUS 94516 HAS SOUPS 94516 WITH SCORE 95329.392
AT ITER 547 NEW BEST:: SOT 2066073 SOS 813392 HAS SOPS 813392 HAS SOUS 94486 HAS SOUPS 94486 WITH SCORE 95299.392
AT ITER 551 NEW BEST:: SOT 2066155 SOS 813424 HAS SOPS 813424 HAS SOUS 94071 HAS SOUPS 94071 WITH SCORE 94884.424
AT ITER 560 NEW BEST:: SOT 2066155 SOS 813456 HAS SOPS 813456 HAS SOUS 94008 HAS SOUPS 94008 WITH SCORE 94821.456
AT ITER 585 NEW BEST:: SOT 2066120 SOS 813421 HAS SOPS 813421 HAS SOUS 93973 HAS SOUPS 93973 WITH SCORE 94786.421
AT ITER 595 NEW BEST:: SOT 2066138 SOS 813439 HAS SOPS 813439 HAS SOUS 93820 HAS SOUPS 93820 WITH SCORE 94633.439
AT ITER 601 NEW BEST:: SOT 2066165 SOS 813466 HAS SOPS 813466 HAS SOUS 93689 HAS SOUPS 93689 WITH SCORE 94502.466
AT ITER 603 NEW BEST:: SOT 2066132 SOS 813433 HAS SOPS 813433 HAS SOUS 93656 HAS SOUPS 93656 WITH SCORE 94469.433
AT ITER 605 NEW BEST:: SOT 2066092 SOS 813393 HAS SOPS 813393 HAS SOUS 93547 HAS SOUPS 93547 WITH SCORE 94360.393
AT ITER 608 NEW BEST:: SOT 2065994 SOS 813295 HAS SOPS 813295 HAS SOUS 93449 HAS SOUPS 93449 WITH SCORE 94262.295
AT ITER 612 NEW BEST:: SOT 2065864 SOS 813165 HAS SOPS 813165 HAS SOUS 93319 HAS SOUPS 93319 WITH SCORE 94132.165
AT ITER 613 NEW BEST:: SOT 2065800 SOS 813101 HAS SOPS 813101 HAS SOUS 93255 HAS SOUPS 93255 WITH SCORE 94068.101
AT ITER 623 NEW BEST:: SOT 2065600 SOS 812881 HAS SOPS 812881 HAS SOUS 92875 HAS SOUPS 92875 WITH SCORE 93687.881
AT ITER 625 NEW BEST:: SOT 2065374 SOS 812599 HAS SOPS 812599 HAS SOUS 92629 HAS SOUPS 92629 WITH SCORE 93441.599
AT ITER 630 NEW BEST:: SOT 2065374 SOS 812584 HAS SOPS 812584 HAS SOUS 92614 HAS SOUPS 92614 WITH SCORE 93426.584
AT ITER 633 NEW BEST:: SOT 2065358 SOS 812568 HAS SOPS 812568 HAS SOUS 92598 HAS SOUPS 92598 WITH SCORE 93410.568
AT ITER 641 NEW BEST:: SOT 2062604 SOS 810085 HAS SOPS 810085 HAS SOUS 89796 HAS SOUPS 89796 WITH SCORE 90606.085
AT ITER 648 NEW BEST:: SOT 2062553 SOS 809997 HAS SOPS 809997 HAS SOUS 88935 HAS SOUPS 88935 WITH SCORE 89744.997
AT ITER 650 NEW BEST:: SOT 2062510 SOS 809954 HAS SOPS 809954 HAS SOUS 88873 HAS SOUPS 88873 WITH SCORE 89682.954
AT ITER 654 NEW BEST:: SOT 2062439 SOS 809881 HAS SOPS 809881 HAS SOUS 88232 HAS SOUPS 88232 WITH SCORE 89041.881
AT ITER 662 NEW BEST:: SOT 2062447 SOS 809889 HAS SOPS 809889 HAS SOUS 88229 HAS SOUPS 88229 WITH SCORE 89038.889
AT ITER 663 NEW BEST:: SOT 2062447 SOS 809918 HAS SOPS 809918 HAS SOUS 88225 HAS SOUPS 88225 WITH SCORE 89034.918
AT ITER 666 NEW BEST:: SOT 2062436 SOS 809907 HAS SOPS 809907 HAS SOUS 88115 HAS SOUPS 88115 WITH SCORE 88924.907
AT ITER 668 NEW BEST:: SOT 2062414 SOS 809885 HAS SOPS 809885 HAS SOUS 88086 HAS SOUPS 88086 WITH SCORE 88895.885
AT ITER 675 NEW BEST:: SOT 2062358 SOS 809829 HAS SOPS 809829 HAS SOUS 88019 HAS SOUPS 88019 WITH SCORE 88828.829
AT ITER 684 NEW BEST:: SOT 2062441 SOS 809912 HAS SOPS 809912 HAS SOUS 88014 HAS SOUPS 88014 WITH SCORE 88823.912
AT ITER 700 NEW BEST:: SOT 2062441 SOS 809863 HAS SOPS 809863 HAS SOUS 88014 HAS SOUPS 88014 WITH SCORE 88823.863
AT ITER 701 NEW BEST:: SOT 2062441 SOS 809863 HAS SOPS 809863 HAS SOUS 88000 HAS SOUPS 88000 WITH SCORE 88809.863
AT ITER 706 NEW BEST:: SOT 2062385 SOS 809807 HAS SOPS 809807 HAS SOUS 87944 HAS SOUPS 87944 WITH SCORE 88753.807
AT ITER 716 NEW BEST:: SOT 2062721 SOS 810133 HAS SOPS 810133 HAS SOUS 87214 HAS SOUPS 87214 WITH SCORE 88024.133
AT ITER 718 NEW BEST:: SOT 2062907 SOS 810303 HAS SOPS 810303 HAS SOUS 86219 HAS SOUPS 86219 WITH SCORE 87029.303
AT ITER 721 NEW BEST:: SOT 2062763 SOS 810159 HAS SOPS 810159 HAS SOUS 86137 HAS SOUPS 86137 WITH SCORE 86947.159
AT ITER 732 NEW BEST:: SOT 2062645 SOS 810041 HAS SOPS 810041 HAS SOUS 86019 HAS SOUPS 86019 WITH SCORE 86829.041
AT ITER 746 NEW BEST:: SOT 2062633 SOS 810029 HAS SOPS 810029 HAS SOUS 86007 HAS SOUPS 86007 WITH SCORE 86817.029
AT ITER 752 NEW BEST:: SOT 2062621 SOS 810017 HAS SOPS 810017 HAS SOUS 85995 HAS SOUPS 85995 WITH SCORE 86805.017
AT ITER 757 NEW BEST:: SOT 2062554 SOS 809950 HAS SOPS 809950 HAS SOUS 85875 HAS SOUPS 85875 WITH SCORE 86684.95
AT ITER 767 NEW BEST:: SOT 2062475 SOS 809871 HAS SOPS 809871 HAS SOUS 85764 HAS SOUPS 85764 WITH SCORE 86573.871
AT ITER 768 NEW BEST:: SOT 2062475 SOS 809871 HAS SOPS 809871 HAS SOUS 85761 HAS SOUPS 85761 WITH SCORE 86570.871
AT ITER 773 NEW BEST:: SOT 2062486 SOS 809882 HAS SOPS 809882 HAS SOUS 85693 HAS SOUPS 85693 WITH SCORE 86502.882
AT ITER 783 NEW BEST:: SOT 2062464 SOS 809860 HAS SOPS 809860 HAS SOUS 85673 HAS SOUPS 85673 WITH SCORE 86482.86
AT ITER 791 NEW BEST:: SOT 2062464 SOS 809846 HAS SOPS 809846 HAS SOUS 85659 HAS SOUPS 85659 WITH SCORE 86468.846
AT ITER 794 NEW BEST:: SOT 2062513 SOS 809895 HAS SOPS 809895 HAS SOUS 84865 HAS SOUPS 84865 WITH SCORE 85674.895
AT ITER 800 NEW BEST:: SOT 2062463 SOS 809845 HAS SOPS 809845 HAS SOUS 84752 HAS SOUPS 84752 WITH SCORE 85561.845
AT ITER 812 NEW BEST:: SOT 2062523 SOS 810052 HAS SOPS 810052 HAS SOUS 84739 HAS SOUPS 84739 WITH SCORE 85549.052
AT ITER 819 NEW BEST:: SOT 2062594 SOS 810123 HAS SOPS 810123 HAS SOUS 84505 HAS SOUPS 84505 WITH SCORE 85315.123
AT ITER 830 NEW BEST:: SOT 2062518 SOS 810047 HAS SOPS 810047 HAS SOUS 83691 HAS SOUPS 83691 WITH SCORE 84501.047
AT ITER 835 NEW BEST:: SOT 2062439 SOS 809968 HAS SOPS 809968 HAS SOUS 83615 HAS SOUPS 83615 WITH SCORE 84424.968
AT ITER 837 NEW BEST:: SOT 2062444 SOS 809968 HAS SOPS 809968 HAS SOUS 83575 HAS SOUPS 83575 WITH SCORE 84384.968
AT ITER 838 NEW BEST:: SOT 2062440 SOS 809964 HAS SOPS 809964 HAS SOUS 83531 HAS SOUPS 83531 WITH SCORE 84340.964
AT ITER 849 NEW BEST:: SOT 2062413 SOS 809937 HAS SOPS 809937 HAS SOUS 83504 HAS SOUPS 83504 WITH SCORE 84313.937
AT ITER 862 NEW BEST:: SOT 2062191 SOS 809714 HAS SOPS 809714 HAS SOUS 83281 HAS SOUPS 83281 WITH SCORE 84090.714
AT ITER 874 NEW BEST:: SOT 2062146 SOS 809669 HAS SOPS 809669 HAS SOUS 83178 HAS SOUPS 83178 WITH SCORE 83987.669
AT ITER 936 NEW BEST:: SOT 2062146 SOS 809669 HAS SOPS 809669 HAS SOUS 83176 HAS SOUPS 83176 WITH SCORE 83985.669
AT ITER 973 NEW BEST:: SOT 2062082 SOS 809605 HAS SOPS 809605 HAS SOUS 83068 HAS SOUPS 83068 WITH SCORE 83877.605
AT ITER 976 NEW BEST:: SOT 2061988 SOS 809511 HAS SOPS 809511 HAS SOUS 82917 HAS SOUPS 82917 WITH SCORE 83726.511
AT ITER 977 NEW BEST:: SOT 2062505 SOS 810004 HAS SOPS 810004 HAS SOUS 82703 HAS SOUPS 82703 WITH SCORE 83513.004
AT ITER 981 NEW BEST:: SOT 2062532 SOS 809908 HAS SOPS 809908 HAS SOUS 82678 HAS SOUPS 82678 WITH SCORE 83487.908
AT ITER 995 NEW BEST:: SOT 2062387 SOS 809721 HAS SOPS 809721 HAS SOUS 81072 HAS SOUPS 81072 WITH SCORE 81881.721
AT ITER 999 NEW BEST:: SOT 2062363 SOS 809697 HAS SOPS 809697 HAS SOUS 81048 HAS SOUPS 81048 WITH SCORE 81857.697
AT ITER 1007 NEW BEST:: SOT 2062351 SOS 809685 HAS SOPS 809685 HAS SOUS 81024 HAS SOUPS 81024 WITH SCORE 81833.685
AT ITER 1011 NEW BEST:: SOT 2062318 SOS 809646 HAS SOPS 809646 HAS SOUS 80989 HAS SOUPS 80989 WITH SCORE 81798.646
AT ITER 1023 NEW BEST:: SOT 2061711 SOS 809237 HAS SOPS 809237 HAS SOUS 80428 HAS SOUPS 80428 WITH SCORE 81237.237
AT ITER 1031 NEW BEST:: SOT 2061660 SOS 809217 HAS SOPS 809217 HAS SOUS 80390 HAS SOUPS 80390 WITH SCORE 81199.217
AT ITER 1041 NEW BEST:: SOT 2061599 SOS 809156 HAS SOPS 809156 HAS SOUS 80329 HAS SOUPS 80329 WITH SCORE 81138.156
AT ITER 1057 NEW BEST:: SOT 2061599 SOS 809156 HAS SOPS 809156 HAS SOUS 80259 HAS SOUPS 80259 WITH SCORE 81068.156
AT ITER 1065 NEW BEST:: SOT 2061527 SOS 809084 HAS SOPS 809084 HAS SOUS 80162 HAS SOUPS 80162 WITH SCORE 80971.084
AT ITER 1069 NEW BEST:: SOT 2061275 SOS 808832 HAS SOPS 808832 HAS SOUS 79910 HAS SOUPS 79910 WITH SCORE 80718.832
AT ITER 1074 NEW BEST:: SOT 2061210 SOS 808767 HAS SOPS 808767 HAS SOUS 79845 HAS SOUPS 79845 WITH SCORE 80653.767
AT ITER 1085 NEW BEST:: SOT 2061237 SOS 808821 HAS SOPS 808821 HAS SOUS 79786 HAS SOUPS 79786 WITH SCORE 80594.821
AT ITER 1093 NEW BEST:: SOT 2061234 SOS 808818 HAS SOPS 808818 HAS SOUS 79783 HAS SOUPS 79783 WITH SCORE 80591.818
AT ITER 1097 NEW BEST:: SOT 2061044 SOS 808628 HAS SOPS 808628 HAS SOUS 79479 HAS SOUPS 79479 WITH SCORE 80287.628
AT ITER 1109 NEW BEST:: SOT 2060920 SOS 808504 HAS SOPS 808504 HAS SOUS 79304 HAS SOUPS 79304 WITH SCORE 80112.504
AT ITER 1118 NEW BEST:: SOT 2060878 SOS 808462 HAS SOPS 808462 HAS SOUS 79262 HAS SOUPS 79262 WITH SCORE 80070.462
AT ITER 1121 NEW BEST:: SOT 2060831 SOS 808415 HAS SOPS 808415 HAS SOUS 79210 HAS SOUPS 79210 WITH SCORE 80018.415
AT ITER 1132 NEW BEST:: SOT 2060824 SOS 808408 HAS SOPS 808408 HAS SOUS 78475 HAS SOUPS 78475 WITH SCORE 79283.408
AT ITER 1134 NEW BEST:: SOT 2060788 SOS 808343 HAS SOPS 808343 HAS SOUS 78149 HAS SOUPS 78149 WITH SCORE 78957.343
AT ITER 1157 NEW BEST:: SOT 2060694 SOS 808155 HAS SOPS 808155 HAS SOUS 77961 HAS SOUPS 77961 WITH SCORE 78769.155
AT ITER 1165 NEW BEST:: SOT 2060653 SOS 808114 HAS SOPS 808114 HAS SOUS 77894 HAS SOUPS 77894 WITH SCORE 78702.114
AT ITER 1169 NEW BEST:: SOT 2060136 SOS 809477 HAS SOPS 809477 HAS SOUS 77249 HAS SOUPS 77249 WITH SCORE 78058.477
AT ITER 1183 NEW BEST:: SOT 2059948 SOS 809289 HAS SOPS 809289 HAS SOUS 76959 HAS SOUPS 76959 WITH SCORE 77768.289
AT ITER 1197 NEW BEST:: SOT 2059949 SOS 809290 HAS SOPS 809290 HAS SOUS 76958 HAS SOUPS 76958 WITH SCORE 77767.29
AT ITER 1211 NEW BEST:: SOT 2059867 SOS 809335 HAS SOPS 809335 HAS SOUS 76929 HAS SOUPS 76929 WITH SCORE 77738.335
AT ITER 1219 NEW BEST:: SOT 2059821 SOS 809289 HAS SOPS 809289 HAS SOUS 76423 HAS SOUPS 76423 WITH SCORE 77232.289
AT ITER 1249 NEW BEST:: SOT 2059819 SOS 809245 HAS SOPS 809245 HAS SOUS 76419 HAS SOUPS 76419 WITH SCORE 77228.245
AT ITER 1254 NEW BEST:: SOT 2059682 SOS 809108 HAS SOPS 809108 HAS SOUS 76281 HAS SOUPS 76281 WITH SCORE 77090.108
AT ITER 1266 NEW BEST:: SOT 2059670 SOS 809084 HAS SOPS 809084 HAS SOUS 76257 HAS SOUPS 76257 WITH SCORE 77066.084
AT ITER 1271 NEW BEST:: SOT 2059837 SOS 809251 HAS SOPS 809251 HAS SOUS 75970 HAS SOUPS 75970 WITH SCORE 76779.251
AT ITER 1275 NEW BEST:: SOT 2059797 SOS 809211 HAS SOPS 809211 HAS SOUS 75930 HAS SOUPS 75930 WITH SCORE 76739.211
AT ITER 1276 NEW BEST:: SOT 2059765 SOS 809179 HAS SOPS 809179 HAS SOUS 75846 HAS SOUPS 75846 WITH SCORE 76655.179
AT ITER 1277 NEW BEST:: SOT 2059589 SOS 809003 HAS SOPS 809003 HAS SOUS 75457 HAS SOUPS 75457 WITH SCORE 76266.003
AT ITER 1295 NEW BEST:: SOT 2054499 SOS 803703 HAS SOPS 803703 HAS SOUS 73416 HAS SOUPS 73416 WITH SCORE 74219.703
AT ITER 1296 NEW BEST:: SOT 2054495 SOS 803699 HAS SOPS 803699 HAS SOUS 73270 HAS SOUPS 73270 WITH SCORE 74073.699
AT ITER 1303 NEW BEST:: SOT 2054567 SOS 803771 HAS SOPS 803771 HAS SOUS 73007 HAS SOUPS 73007 WITH SCORE 73810.771
AT ITER 1306 NEW BEST:: SOT 2054567 SOS 803810 HAS SOPS 803810 HAS SOUS 73001 HAS SOUPS 73001 WITH SCORE 73804.81
AT ITER 1316 NEW BEST:: SOT 2054427 SOS 803670 HAS SOPS 803670 HAS SOUS 72747 HAS SOUPS 72747 WITH SCORE 73550.67
AT ITER 1323 NEW BEST:: SOT 2054427 SOS 803670 HAS SOPS 803670 HAS SOUS 72663 HAS SOUPS 72663 WITH SCORE 73466.67
AT ITER 1327 NEW BEST:: SOT 2054385 SOS 803628 HAS SOPS 803628 HAS SOUS 72617 HAS SOUPS 72617 WITH SCORE 73420.628
AT ITER 1331 NEW BEST:: SOT 2054402 SOS 803523 HAS SOPS 803523 HAS SOUS 72612 HAS SOUPS 72612 WITH SCORE 73415.523
AT ITER 1336 NEW BEST:: SOT 2054385 SOS 803506 HAS SOPS 803506 HAS SOUS 72579 HAS SOUPS 72579 WITH SCORE 73382.506
AT ITER 1339 NEW BEST:: SOT 2054332 SOS 803453 HAS SOPS 803453 HAS SOUS 72474 HAS SOUPS 72474 WITH SCORE 73277.453
AT ITER 1348 NEW BEST:: SOT 2054281 SOS 803402 HAS SOPS 803402 HAS SOUS 71780 HAS SOUPS 71780 WITH SCORE 72583.402
AT ITER 1364 NEW BEST:: SOT 2054287 SOS 803408 HAS SOPS 803408 HAS SOUS 71690 HAS SOUPS 71690 WITH SCORE 72493.408
AT ITER 1380 NEW BEST:: SOT 2054263 SOS 803272 HAS SOPS 803272 HAS SOUS 71642 HAS SOUPS 71642 WITH SCORE 72445.272
AT ITER 1385 NEW BEST:: SOT 2054180 SOS 803189 HAS SOPS 803189 HAS SOUS 71495 HAS SOUPS 71495 WITH SCORE 72298.189
AT ITER 1400 NEW BEST:: SOT 2054126 SOS 803135 HAS SOPS 803135 HAS SOUS 71401 HAS SOUPS 71401 WITH SCORE 72204.135
AT ITER 1409 NEW BEST:: SOT 2054004 SOS 803013 HAS SOPS 803013 HAS SOUS 71279 HAS SOUPS 71279 WITH SCORE 72082.013
AT ITER 1428 NEW BEST:: SOT 2053988 SOS 802997 HAS SOPS 802997 HAS SOUS 71137 HAS SOUPS 71137 WITH SCORE 71939.997
AT ITER 1429 NEW BEST:: SOT 2053999 SOS 803093 HAS SOPS 803093 HAS SOUS 71112 HAS SOUPS 71112 WITH SCORE 71915.093
AT ITER 1430 NEW BEST:: SOT 2053973 SOS 803067 HAS SOPS 803067 HAS SOUS 71034 HAS SOUPS 71034 WITH SCORE 71837.067
AT ITER 1433 NEW BEST:: SOT 2053913 SOS 803007 HAS SOPS 803007 HAS SOUS 70974 HAS SOUPS 70974 WITH SCORE 71777.007
AT ITER 1457 NEW BEST:: SOT 2053879 SOS 802973 HAS SOPS 802973 HAS SOUS 70940 HAS SOUPS 70940 WITH SCORE 71742.973
AT ITER 1497 NEW BEST:: SOT 2053901 SOS 802807 HAS SOPS 802807 HAS SOUS 70888 HAS SOUPS 70888 WITH SCORE 71690.807
AT ITER 1532 NEW BEST:: SOT 2053789 SOS 802733 HAS SOPS 802733 HAS SOUS 70814 HAS SOUPS 70814 WITH SCORE 71616.733
AT ITER 1569 NEW BEST:: SOT 2053761 SOS 802705 HAS SOPS 802705 HAS SOUS 70786 HAS SOUPS 70786 WITH SCORE 71588.705
AT ITER 1583 NEW BEST:: SOT 2053707 SOS 802651 HAS SOPS 802651 HAS SOUS 70102 HAS SOUPS 70102 WITH SCORE 70904.651
AT ITER 1584 NEW BEST:: SOT 2053707 SOS 802651 HAS SOPS 802651 HAS SOUS 70022 HAS SOUPS 70022 WITH SCORE 70824.651
AT ITER 1599 NEW BEST:: SOT 2053702 SOS 802646 HAS SOPS 802646 HAS SOUS 70017 HAS SOUPS 70017 WITH SCORE 70819.646
AT ITER 1607 NEW BEST:: SOT 2053696 SOS 802640 HAS SOPS 802640 HAS SOUS 69875 HAS SOUPS 69875 WITH SCORE 70677.64
AT ITER 1609 NEW BEST:: SOT 2053709 SOS 802533 HAS SOPS 802533 HAS SOUS 69862 HAS SOUPS 69862 WITH SCORE 70664.533
AT ITER 1612 NEW BEST:: SOT 2053623 SOS 802447 HAS SOPS 802447 HAS SOUS 69727 HAS SOUPS 69727 WITH SCORE 70529.447
AT ITER 1616 NEW BEST:: SOT 2053502 SOS 802326 HAS SOPS 802326 HAS SOUS 69531 HAS SOUPS 69531 WITH SCORE 70333.326
AT ITER 1619 NEW BEST:: SOT 2053519 SOS 802343 HAS SOPS 802343 HAS SOUS 69313 HAS SOUPS 69313 WITH SCORE 70115.343
AT ITER 1625 NEW BEST:: SOT 2053490 SOS 802285 HAS SOPS 802285 HAS SOUS 69255 HAS SOUPS 69255 WITH SCORE 70057.285
AT ITER 1631 NEW BEST:: SOT 2053473 SOS 802304 HAS SOPS 802304 HAS SOUS 69249 HAS SOUPS 69249 WITH SCORE 70051.304
AT ITER 1636 NEW BEST:: SOT 2053484 SOS 802315 HAS SOPS 802315 HAS SOUS 69240 HAS SOUPS 69240 WITH SCORE 70042.315
AT ITER 1641 NEW BEST:: SOT 2053364 SOS 802195 HAS SOPS 802195 HAS SOUS 69004 HAS SOUPS 69004 WITH SCORE 69806.195
AT ITER 1680 NEW BEST:: SOT 2053267 SOS 802098 HAS SOPS 802098 HAS SOUS 68845 HAS SOUPS 68845 WITH SCORE 69647.098
AT ITER 1703 NEW BEST:: SOT 2053263 SOS 802094 HAS SOPS 802094 HAS SOUS 68769 HAS SOUPS 68769 WITH SCORE 69571.094
AT ITER 1714 NEW BEST:: SOT 2053140 SOS 801971 HAS SOPS 801971 HAS SOUS 68550 HAS SOUPS 68550 WITH SCORE 69351.971
AT ITER 1716 NEW BEST:: SOT 2053140 SOS 801946 HAS SOPS 801946 HAS SOUS 68515 HAS SOUPS 68515 WITH SCORE 69316.946
AT ITER 1841 NEW BEST:: SOT 2053027 SOS 801833 HAS SOPS 801833 HAS SOUS 68329 HAS SOUPS 68329 WITH SCORE 69130.833
AT ITER 1860 NEW BEST:: SOT 2052989 SOS 801795 HAS SOPS 801795 HAS SOUS 68291 HAS SOUPS 68291 WITH SCORE 69092.795
AT ITER 1862 NEW BEST:: SOT 2052903 SOS 801709 HAS SOPS 801709 HAS SOUS 68169 HAS SOUPS 68169 WITH SCORE 68970.709
AT ITER 1863 NEW BEST:: SOT 2052894 SOS 801711 HAS SOPS 801711 HAS SOUS 68160 HAS SOUPS 68160 WITH SCORE 68961.711
AT ITER 1882 NEW BEST:: SOT 2052784 SOS 801557 HAS SOPS 801557 HAS SOUS 67984 HAS SOUPS 67984 WITH SCORE 68785.557
AT ITER 1885 NEW BEST:: SOT 2052772 SOS 801545 HAS SOPS 801545 HAS SOUS 67864 HAS SOUPS 67864 WITH SCORE 68665.545
AT ITER 1914 NEW BEST:: SOT 2052666 SOS 801439 HAS SOPS 801439 HAS SOUS 67736 HAS SOUPS 67736 WITH SCORE 68537.439
AT ITER 1928 NEW BEST:: SOT 2052712 SOS 801485 HAS SOPS 801485 HAS SOUS 67519 HAS SOUPS 67519 WITH SCORE 68320.485
AT ITER 1941 NEW BEST:: SOT 2052655 SOS 801365 HAS SOPS 801365 HAS SOUS 67399 HAS SOUPS 67399 WITH SCORE 68200.365
AT ITER 1943 NEW BEST:: SOT 2052511 SOS 801221 HAS SOPS 801221 HAS SOUS 67342 HAS SOUPS 67342 WITH SCORE 68143.221
AT ITER 1958 NEW BEST:: SOT 2052500 SOS 801199 HAS SOPS 801199 HAS SOUS 67320 HAS SOUPS 67320 WITH SCORE 68121.199
AT ITER 1966 NEW BEST:: SOT 2052500 SOS 801199 HAS SOPS 801199 HAS SOUS 67315 HAS SOUPS 67315 WITH SCORE 68116.199
AT ITER 1975 NEW BEST:: SOT 2052451 SOS 801150 HAS SOPS 801150 HAS SOUS 67224 HAS SOUPS 67224 WITH SCORE 68025.15
AT ITER 1984 NEW BEST:: SOT 2052425 SOS 801124 HAS SOPS 801124 HAS SOUS 67186 HAS SOUPS 67186 WITH SCORE 67987.124
AT ITER 1987 NEW BEST:: SOT 2052425 SOS 801115 HAS SOPS 801115 HAS SOUS 67177 HAS SOUPS 67177 WITH SCORE 67978.115
AT ITER 1988 NEW BEST:: SOT 2052425 SOS 801111 HAS SOPS 801111 HAS SOUS 67177 HAS SOUPS 67177 WITH SCORE 67978.111
AT ITER 2016 NEW BEST:: SOT 2052409 SOS 801095 HAS SOPS 801095 HAS SOUS 67136 HAS SOUPS 67136 WITH SCORE 67937.095
AT ITER 2022 NEW BEST:: SOT 2052413 SOS 801099 HAS SOPS 801099 HAS SOUS 67110 HAS SOUPS 67110 WITH SCORE 67911.099
AT ITER 2028 NEW BEST:: SOT 2052348 SOS 472221 HAS SOPS 472221 HAS SOUS 66754 HAS SOUPS 66754 WITH SCORE 67226.221
AT ITER 2045 NEW BEST:: SOT 2052335 SOS 472208 HAS SOPS 472208 HAS SOUS 66612 HAS SOUPS 66612 WITH SCORE 67084.208
AT ITER 2047 NEW BEST:: SOT 2052149 SOS 472022 HAS SOPS 472022 HAS SOUS 66426 HAS SOUPS 66426 WITH SCORE 66898.022
AT ITER 2055 NEW BEST:: SOT 2052108 SOS 471954 HAS SOPS 471954 HAS SOUS 66344 HAS SOUPS 66344 WITH SCORE 66815.954
AT ITER 2060 NEW BEST:: SOT 2052108 SOS 471954 HAS SOPS 471954 HAS SOUS 66335 HAS SOUPS 66335 WITH SCORE 66806.954
AT ITER 2064 NEW BEST:: SOT 2052070 SOS 471943 HAS SOPS 471943 HAS SOUS 66312 HAS SOUPS 66312 WITH SCORE 66783.943
AT ITER 2097 NEW BEST:: SOT 2052075 SOS 471948 HAS SOPS 471948 HAS SOUS 66286 HAS SOUPS 66286 WITH SCORE 66757.948
AT ITER 2098 NEW BEST:: SOT 2052035 SOS 471859 HAS SOPS 471859 HAS SOUS 66150 HAS SOUPS 66150 WITH SCORE 66621.859
AT ITER 2110 NEW BEST:: SOT 2051876 SOS 471700 HAS SOPS 471700 HAS SOUS 65974 HAS SOUPS 65974 WITH SCORE 66445.7
AT ITER 2114 NEW BEST:: SOT 2051876 SOS 471693 HAS SOPS 471693 HAS SOUS 65967 HAS SOUPS 65967 WITH SCORE 66438.693
AT ITER 2185 NEW BEST:: SOT 2051912 SOS 471729 HAS SOPS 471729 HAS SOUS 65964 HAS SOUPS 65964 WITH SCORE 66435.729
AT ITER 2224 NEW BEST:: SOT 2051899 SOS 471716 HAS SOPS 471716 HAS SOUS 65951 HAS SOUPS 65951 WITH SCORE 66422.716
AT ITER 2225 NEW BEST:: SOT 2051904 SOS 471721 HAS SOPS 471721 HAS SOUS 65641 HAS SOUPS 65641 WITH SCORE 66112.721
AT ITER 2229 NEW BEST:: SOT 2051901 SOS 471718 HAS SOPS 471718 HAS SOUS 65632 HAS SOUPS 65632 WITH SCORE 66103.718
AT ITER 2233 NEW BEST:: SOT 2051857 SOS 471674 HAS SOPS 471674 HAS SOUS 65558 HAS SOUPS 65558 WITH SCORE 66029.674
AT ITER 2257 NEW BEST:: SOT 2051825 SOS 471642 HAS SOPS 471642 HAS SOUS 65524 HAS SOUPS 65524 WITH SCORE 65995.642
AT ITER 2270 NEW BEST:: SOT 2051798 SOS 471615 HAS SOPS 471615 HAS SOUS 65497 HAS SOUPS 65497 WITH SCORE 65968.615
AT ITER 2280 NEW BEST:: SOT 2051764 SOS 472251 HAS SOPS 472251 HAS SOUS 65408 HAS SOUPS 65408 WITH SCORE 65880.251
AT ITER 2284 NEW BEST:: SOT 2051764 SOS 472251 HAS SOPS 472251 HAS SOUS 65388 HAS SOUPS 65388 WITH SCORE 65860.251
AT ITER 2289 NEW BEST:: SOT 2051766 SOS 472253 HAS SOPS 472253 HAS SOUS 65343 HAS SOUPS 65343 WITH SCORE 65815.253
AT ITER 2299 NEW BEST:: SOT 2051809 SOS 472296 HAS SOPS 472296 HAS SOUS 65101 HAS SOUPS 65101 WITH SCORE 65573.296
AT ITER 2322 NEW BEST:: SOT 2051791 SOS 472278 HAS SOPS 472278 HAS SOUS 65048 HAS SOUPS 65048 WITH SCORE 65520.278
AT ITER 2344 NEW BEST:: SOT 2051791 SOS 472271 HAS SOPS 472271 HAS SOUS 65047 HAS SOUPS 65047 WITH SCORE 65519.271
AT ITER 2350 NEW BEST:: SOT 2051689 SOS 472182 HAS SOPS 472182 HAS SOUS 64959 HAS SOUPS 64959 WITH SCORE 65431.182
AT ITER 2359 NEW BEST:: SOT 2051700 SOS 472193 HAS SOPS 472193 HAS SOUS 64925 HAS SOUPS 64925 WITH SCORE 65397.193
AT ITER 2361 NEW BEST:: SOT 2051699 SOS 472192 HAS SOPS 472192 HAS SOUS 64887 HAS SOUPS 64887 WITH SCORE 65359.192
AT ITER 2365 NEW BEST:: SOT 2051618 SOS 472111 HAS SOPS 472111 HAS SOUS 64780 HAS SOUPS 64780 WITH SCORE 65252.111
AT ITER 2372 NEW BEST:: SOT 2051603 SOS 473457 HAS SOPS 472105 HAS SOUS 64850 HAS SOUPS 64713 WITH SCORE 65186.457
AT ITER 2376 NEW BEST:: SOT 2051564 SOS 473428 HAS SOPS 472076 HAS SOUS 64811 HAS SOUPS 64674 WITH SCORE 65147.428
AT ITER 2387 NEW BEST:: SOT 2051564 SOS 473429 HAS SOPS 472077 HAS SOUS 64792 HAS SOUPS 64655 WITH SCORE 65128.429
AT ITER 2391 NEW BEST:: SOT 2051564 SOS 473351 HAS SOPS 471999 HAS SOUS 64766 HAS SOUPS 64629 WITH SCORE 65102.351
AT ITER 2430 NEW BEST:: SOT 2051513 SOS 473300 HAS SOPS 471948 HAS SOUS 64695 HAS SOUPS 64558 WITH SCORE 65031.3
AT ITER 2436 NEW BEST:: SOT 2051487 SOS 473266 HAS SOPS 471914 HAS SOUS 64646 HAS SOUPS 64509 WITH SCORE 64982.266
AT ITER 2447 NEW BEST:: SOT 2051487 SOS 473261 HAS SOPS 471909 HAS SOUS 64639 HAS SOUPS 64502 WITH SCORE 64975.261
AT ITER 2456 NEW BEST:: SOT 2051482 SOS 473256 HAS SOPS 471904 HAS SOUS 64634 HAS SOUPS 64497 WITH SCORE 64970.256
AT ITER 2466 NEW BEST:: SOT 2051451 SOS 473225 HAS SOPS 471873 HAS SOUS 64590 HAS SOUPS 64453 WITH SCORE 64926.225
AT ITER 2475 NEW BEST:: SOT 2051398 SOS 473172 HAS SOPS 471820 HAS SOUS 64472 HAS SOUPS 64335 WITH SCORE 64808.172
AT ITER 2492 NEW BEST:: SOT 2051397 SOS 473171 HAS SOPS 471819 HAS SOUS 64471 HAS SOUPS 64334 WITH SCORE 64807.171
AT ITER 2514 NEW BEST:: SOT 2051397 SOS 473171 HAS SOPS 471819 HAS SOUS 64467 HAS SOUPS 64330 WITH SCORE 64803.171
AT ITER 2529 NEW BEST:: SOT 2051603 SOS 473377 HAS SOPS 472025 HAS SOUS 64413 HAS SOUPS 64276 WITH SCORE 64749.377
AT ITER 2532 NEW BEST:: SOT 2051603 SOS 473373 HAS SOPS 472021 HAS SOUS 64410 HAS SOUPS 64273 WITH SCORE 64746.373
AT ITER 2539 NEW BEST:: SOT 2051579 SOS 473349 HAS SOPS 471997 HAS SOUS 64386 HAS SOUPS 64249 WITH SCORE 64722.349
AT ITER 2569 NEW BEST:: SOT 2051444 SOS 473214 HAS SOPS 471862 HAS SOUS 64203 HAS SOUPS 64066 WITH SCORE 64539.214
AT ITER 2570 NEW BEST:: SOT 2051446 SOS 473216 HAS SOPS 471864 HAS SOUS 64191 HAS SOUPS 64054 WITH SCORE 64527.216
AT ITER 2581 NEW BEST:: SOT 2051409 SOS 473179 HAS SOPS 471827 HAS SOUS 64137 HAS SOUPS 64000 WITH SCORE 64473.179
AT ITER 2590 NEW BEST:: SOT 2051409 SOS 473975 HAS SOPS 472626 HAS SOUS 64118 HAS SOUPS 63981 WITH SCORE 64454.975
AT ITER 2591 NEW BEST:: SOT 2051387 SOS 473953 HAS SOPS 472604 HAS SOUS 64035 HAS SOUPS 63898 WITH SCORE 64371.953
AT ITER 2611 NEW BEST:: SOT 2051340 SOS 473906 HAS SOPS 472557 HAS SOUS 63988 HAS SOUPS 63851 WITH SCORE 64324.906
AT ITER 2638 NEW BEST:: SOT 2051329 SOS 473895 HAS SOPS 472546 HAS SOUS 63939 HAS SOUPS 63802 WITH SCORE 64275.895
AT ITER 2656 NEW BEST:: SOT 2051348 SOS 473914 HAS SOPS 472565 HAS SOUS 63860 HAS SOUPS 63723 WITH SCORE 64196.914
AT ITER 2664 NEW BEST:: SOT 2051424 SOS 473912 HAS SOPS 472563 HAS SOUS 63727 HAS SOUPS 63590 WITH SCORE 64063.912
AT ITER 2667 NEW BEST:: SOT 2051417 SOS 473905 HAS SOPS 472556 HAS SOUS 63720 HAS SOUPS 63583 WITH SCORE 64056.905
AT ITER 2670 NEW BEST:: SOT 2051376 SOS 473864 HAS SOPS 472515 HAS SOUS 63679 HAS SOUPS 63542 WITH SCORE 64015.864
AT ITER 2675 NEW BEST:: SOT 2051325 SOS 473830 HAS SOPS 472481 HAS SOUS 63623 HAS SOUPS 63486 WITH SCORE 63959.83
AT ITER 2733 NEW BEST:: SOT 2051327 SOS 473809 HAS SOPS 472460 HAS SOUS 63619 HAS SOUPS 63482 WITH SCORE 63955.809
AT ITER 2745 NEW BEST:: SOT 2051322 SOS 473805 HAS SOPS 472456 HAS SOUS 63610 HAS SOUPS 63473 WITH SCORE 63946.805
AT ITER 2750 NEW BEST:: SOT 2051309 SOS 473792 HAS SOPS 472443 HAS SOUS 63597 HAS SOUPS 63460 WITH SCORE 63933.792
AT ITER 2768 NEW BEST:: SOT 2051339 SOS 473807 HAS SOPS 472458 HAS SOUS 63579 HAS SOUPS 63442 WITH SCORE 63915.807
AT ITER 2769 NEW BEST:: SOT 2051342 SOS 473810 HAS SOPS 472461 HAS SOUS 63547 HAS SOUPS 63410 WITH SCORE 63883.81
AT ITER 2788 NEW BEST:: SOT 2051270 SOS 473738 HAS SOPS 472389 HAS SOUS 63411 HAS SOUPS 63274 WITH SCORE 63747.738
AT ITER 2790 NEW BEST:: SOT 2051300 SOS 473768 HAS SOPS 472419 HAS SOUS 63147 HAS SOUPS 63010 WITH SCORE 63483.768
AT ITER 2799 NEW BEST:: SOT 2051196 SOS 473664 HAS SOPS 472315 HAS SOUS 62953 HAS SOUPS 62816 WITH SCORE 63289.664
AT ITER 2804 NEW BEST:: SOT 2051196 SOS 473662 HAS SOPS 472313 HAS SOUS 62953 HAS SOUPS 62816 WITH SCORE 63289.662
AT ITER 2821 NEW BEST:: SOT 2051183 SOS 473649 HAS SOPS 472300 HAS SOUS 62952 HAS SOUPS 62815 WITH SCORE 63288.649
AT ITER 2852 NEW BEST:: SOT 2051024 SOS 473499 HAS SOPS 472150 HAS SOUS 62690 HAS SOUPS 62553 WITH SCORE 63026.499
AT ITER 2855 NEW BEST:: SOT 2050989 SOS 473464 HAS SOPS 472115 HAS SOUS 62649 HAS SOUPS 62512 WITH SCORE 62985.464
AT ITER 2861 NEW BEST:: SOT 2050977 SOS 473440 HAS SOPS 472091 HAS SOUS 62637 HAS SOUPS 62500 WITH SCORE 62973.44
AT ITER 2890 NEW BEST:: SOT 2050965 SOS 473459 HAS SOPS 472110 HAS SOUS 62628 HAS SOUPS 62491 WITH SCORE 62964.459
AT ITER 2908 NEW BEST:: SOT 2050965 SOS 473459 HAS SOPS 472110 HAS SOUS 62605 HAS SOUPS 62468 WITH SCORE 62941.459
AT ITER 2944 NEW BEST:: SOT 2050908 SOS 473402 HAS SOPS 472053 HAS SOUS 62088 HAS SOUPS 61951 WITH SCORE 62424.402
AT ITER 2948 NEW BEST:: SOT 2050938 SOS 473432 HAS SOPS 472083 HAS SOUS 62050 HAS SOUPS 61913 WITH SCORE 62386.432
AT ITER 2974 NEW BEST:: SOT 2050924 SOS 473361 HAS SOPS 472012 HAS SOUS 62006 HAS SOUPS 61869 WITH SCORE 62342.361
AT ITER 2994 NEW BEST:: SOT 2050924 SOS 473323 HAS SOPS 471972 HAS SOUS 62006 HAS SOUPS 61869 WITH SCORE 62342.323
AT ITER 3002 NEW BEST:: SOT 2050924 SOS 473317 HAS SOPS 471966 HAS SOUS 61998 HAS SOUPS 61861 WITH SCORE 62334.317
AT ITER 3005 NEW BEST:: SOT 2050898 SOS 473305 HAS SOPS 471954 HAS SOUS 61970 HAS SOUPS 61833 WITH SCORE 62306.305
AT ITER 3015 NEW BEST:: SOT 2050881 SOS 473288 HAS SOPS 471937 HAS SOUS 61953 HAS SOUPS 61816 WITH SCORE 62289.288
AT ITER 3068 NEW BEST:: SOT 2050863 SOS 473270 HAS SOPS 471919 HAS SOUS 61924 HAS SOUPS 61787 WITH SCORE 62260.27
AT ITER 3151 NEW BEST:: SOT 2050846 SOS 473253 HAS SOPS 471902 HAS SOUS 61924 HAS SOUPS 61787 WITH SCORE 62260.253
AT ITER 3152 NEW BEST:: SOT 2050803 SOS 473210 HAS SOPS 471859 HAS SOUS 61881 HAS SOUPS 61744 WITH SCORE 62217.21
AT ITER 3161 NEW BEST:: SOT 2050840 SOS 473247 HAS SOPS 471896 HAS SOUS 61867 HAS SOUPS 61730 WITH SCORE 62203.247
AT ITER 3193 NEW BEST:: SOT 2051031 SOS 473438 HAS SOPS 472087 HAS SOUS 61468 HAS SOUPS 61331 WITH SCORE 61804.438
AT ITER 3197 NEW BEST:: SOT 2051030 SOS 473437 HAS SOPS 472086 HAS SOUS 61467 HAS SOUPS 61330 WITH SCORE 61803.437
AT ITER 3216 NEW BEST:: SOT 2050956 SOS 473363 HAS SOPS 472012 HAS SOUS 61315 HAS SOUPS 61178 WITH SCORE 61651.363
AT ITER 3242 NEW BEST:: SOT 2050923 SOS 473282 HAS SOPS 471931 HAS SOUS 61248 HAS SOUPS 61111 WITH SCORE 61584.282
AT ITER 3245 NEW BEST:: SOT 2050789 SOS 471572 HAS SOPS 470203 HAS SOUS 61164 HAS SOUPS 61027 WITH SCORE 61498.572
AT ITER 3246 NEW BEST:: SOT 2050761 SOS 471544 HAS SOPS 470175 HAS SOUS 61121 HAS SOUPS 60984 WITH SCORE 61455.544
AT ITER 3247 NEW BEST:: SOT 2050754 SOS 471537 HAS SOPS 470168 HAS SOUS 61114 HAS SOUPS 60977 WITH SCORE 61448.537
AT ITER 3256 NEW BEST:: SOT 2050754 SOS 471537 HAS SOPS 470168 HAS SOUS 61113 HAS SOUPS 60976 WITH SCORE 61447.537
AT ITER 3273 NEW BEST:: SOT 2050710 SOS 471561 HAS SOPS 470192 HAS SOUS 61073 HAS SOUPS 60936 WITH SCORE 61407.561
AT ITER 3280 NEW BEST:: SOT 2050713 SOS 471564 HAS SOPS 470195 HAS SOUS 61058 HAS SOUPS 60921 WITH SCORE 61392.564
AT ITER 3287 NEW BEST:: SOT 2050713 SOS 471564 HAS SOPS 470195 HAS SOUS 61056 HAS SOUPS 60919 WITH SCORE 61390.564
AT ITER 3294 NEW BEST:: SOT 2050707 SOS 471558 HAS SOPS 470189 HAS SOUS 61050 HAS SOUPS 60913 WITH SCORE 61384.558
AT ITER 3336 NEW BEST:: SOT 2050701 SOS 471552 HAS SOPS 470183 HAS SOUS 61044 HAS SOUPS 60907 WITH SCORE 61378.552
AT ITER 3339 NEW BEST:: SOT 2050693 SOS 471376 HAS SOPS 470007 HAS SOUS 61044 HAS SOUPS 60907 WITH SCORE 61378.376
AT ITER 3348 NEW BEST:: SOT 2050636 SOS 471319 HAS SOPS 469950 HAS SOUS 60943 HAS SOUPS 60806 WITH SCORE 61277.319
AT ITER 3349 NEW BEST:: SOT 2050657 SOS 471340 HAS SOPS 469971 HAS SOUS 60890 HAS SOUPS 60753 WITH SCORE 61224.34
AT ITER 3354 NEW BEST:: SOT 2050508 SOS 471191 HAS SOPS 469822 HAS SOUS 60778 HAS SOUPS 60641 WITH SCORE 61112.191
AT ITER 3356 NEW BEST:: SOT 2050512 SOS 471193 HAS SOPS 469824 HAS SOUS 60774 HAS SOUPS 60637 WITH SCORE 61108.193
AT ITER 3364 NEW BEST:: SOT 2050511 SOS 471192 HAS SOPS 469823 HAS SOUS 60773 HAS SOUPS 60636 WITH SCORE 61107.192
AT ITER 3383 NEW BEST:: SOT 2050532 SOS 471213 HAS SOPS 469844 HAS SOUS 60563 HAS SOUPS 60426 WITH SCORE 60897.213
AT ITER 3387 NEW BEST:: SOT 2069144 SOS 489810 HAS SOPS 488441 HAS SOUS 59952 HAS SOUPS 59815 WITH SCORE 60304.81
AT ITER 3408 NEW BEST:: SOT 2069142 SOS 489808 HAS SOPS 488439 HAS SOUS 59937 HAS SOUPS 59800 WITH SCORE 60289.808
AT ITER 3456 NEW BEST:: SOT 2069209 SOS 489875 HAS SOPS 488506 HAS SOUS 59773 HAS SOUPS 59636 WITH SCORE 60125.875
AT ITER 3459 NEW BEST:: SOT 2069203 SOS 489875 HAS SOPS 488506 HAS SOUS 59761 HAS SOUPS 59624 WITH SCORE 60113.875
AT ITER 3464 NEW BEST:: SOT 2069170 SOS 490978 HAS SOPS 489609 HAS SOUS 59758 HAS SOUPS 59621 WITH SCORE 60111.978
AT ITER 3532 NEW BEST:: SOT 2069170 SOS 490978 HAS SOPS 489609 HAS SOUS 59731 HAS SOUPS 59594 WITH SCORE 60084.978
AT ITER 3536 NEW BEST:: SOT 2069143 SOS 490951 HAS SOPS 489582 HAS SOUS 59693 HAS SOUPS 59556 WITH SCORE 60046.951
AT ITER 3549 NEW BEST:: SOT 2069115 SOS 491023 HAS SOPS 489654 HAS SOUS 59682 HAS SOUPS 59545 WITH SCORE 60036.023
AT ITER 3564 NEW BEST:: SOT 2069364 SOS 491272 HAS SOPS 489903 HAS SOUS 59632 HAS SOUPS 59495 WITH SCORE 59986.272
AT ITER 3577 NEW BEST:: SOT 2069349 SOS 491257 HAS SOPS 489888 HAS SOUS 59302 HAS SOUPS 59165 WITH SCORE 59656.257
AT ITER 3596 NEW BEST:: SOT 2069349 SOS 491252 HAS SOPS 489883 HAS SOUS 59293 HAS SOUPS 59156 WITH SCORE 59647.252
AT ITER 3606 NEW BEST:: SOT 2069292 SOS 491195 HAS SOPS 489826 HAS SOUS 59236 HAS SOUPS 59099 WITH SCORE 59590.195
AT ITER 3630 NEW BEST:: SOT 2069281 SOS 491173 HAS SOPS 489804 HAS SOUS 59214 HAS SOUPS 59077 WITH SCORE 59568.173
AT ITER 3637 NEW BEST:: SOT 2069284 SOS 491176 HAS SOPS 489807 HAS SOUS 59094 HAS SOUPS 58957 WITH SCORE 59448.176
AT ITER 3650 NEW BEST:: SOT 2069187 SOS 491079 HAS SOPS 489710 HAS SOUS 58988 HAS SOUPS 58851 WITH SCORE 59342.079
AT ITER 3656 NEW BEST:: SOT 2069184 SOS 491076 HAS SOPS 489707 HAS SOUS 58985 HAS SOUPS 58848 WITH SCORE 59339.076
AT ITER 3678 NEW BEST:: SOT 2069174 SOS 491066 HAS SOPS 489697 HAS SOUS 58943 HAS SOUPS 58806 WITH SCORE 59297.066
AT ITER 3698 NEW BEST:: SOT 2069136 SOS 491028 HAS SOPS 489659 HAS SOUS 58905 HAS SOUPS 58768 WITH SCORE 59259.028
AT ITER 3704 NEW BEST:: SOT 2069098 SOS 490990 HAS SOPS 489621 HAS SOUS 58858 HAS SOUPS 58721 WITH SCORE 59211.99
AT ITER 3706 NEW BEST:: SOT 2069022 SOS 490914 HAS SOPS 489545 HAS SOUS 58728 HAS SOUPS 58591 WITH SCORE 59081.914
AT ITER 3712 NEW BEST:: SOT 2069049 SOS 490999 HAS SOPS 489636 HAS SOUS 58707 HAS SOUPS 58570 WITH SCORE 59060.999
AT ITER 3714 NEW BEST:: SOT 2069054 SOS 491093 HAS SOPS 489730 HAS SOUS 58701 HAS SOUPS 58564 WITH SCORE 59055.093
AT ITER 3716 NEW BEST:: SOT 2069054 SOS 491048 HAS SOPS 489685 HAS SOUS 58655 HAS SOUPS 58518 WITH SCORE 59009.048
AT ITER 3718 NEW BEST:: SOT 2069045 SOS 491039 HAS SOPS 489676 HAS SOUS 58574 HAS SOUPS 58437 WITH SCORE 58928.039
AT ITER 3725 NEW BEST:: SOT 2069018 SOS 491012 HAS SOPS 489649 HAS SOUS 58497 HAS SOUPS 58360 WITH SCORE 58851.012
AT ITER 3729 NEW BEST:: SOT 2068635 SOS 494255 HAS SOPS 492892 HAS SOUS 58409 HAS SOUPS 58272 WITH SCORE 58766.255
AT ITER 3751 NEW BEST:: SOT 2068465 SOS 494085 HAS SOPS 492722 HAS SOUS 58069 HAS SOUPS 57932 WITH SCORE 58426.085
AT ITER 3753 NEW BEST:: SOT 2068425 SOS 494045 HAS SOPS 492682 HAS SOUS 58008 HAS SOUPS 57871 WITH SCORE 58365.045
AT ITER 3766 NEW BEST:: SOT 2068557 SOS 494177 HAS SOPS 492814 HAS SOUS 57993 HAS SOUPS 57856 WITH SCORE 58350.177
AT ITER 3775 NEW BEST:: SOT 2068487 SOS 494107 HAS SOPS 492744 HAS SOUS 57898 HAS SOUPS 57761 WITH SCORE 58255.107
AT ITER 3801 NEW BEST:: SOT 2068485 SOS 494105 HAS SOPS 492742 HAS SOUS 57896 HAS SOUPS 57759 WITH SCORE 58253.105
AT ITER 3804 NEW BEST:: SOT 2068384 SOS 494004 HAS SOPS 492641 HAS SOUS 57790 HAS SOUPS 57653 WITH SCORE 58147.004
AT ITER 3809 NEW BEST:: SOT 2068374 SOS 494081 HAS SOPS 492718 HAS SOUS 57775 HAS SOUPS 57638 WITH SCORE 58132.081
AT ITER 3819 NEW BEST:: SOT 2068348 SOS 494055 HAS SOPS 492692 HAS SOUS 57739 HAS SOUPS 57602 WITH SCORE 58096.055
AT ITER 3822 NEW BEST:: SOT 2068295 SOS 494002 HAS SOPS 492639 HAS SOUS 57614 HAS SOUPS 57477 WITH SCORE 57971.002
AT ITER 3852 NEW BEST:: SOT 2068227 SOS 493949 HAS SOPS 492586 HAS SOUS 57546 HAS SOUPS 57409 WITH SCORE 57902.949
AT ITER 3872 NEW BEST:: SOT 2068144 SOS 493866 HAS SOPS 492503 HAS SOUS 57415 HAS SOUPS 57278 WITH SCORE 57771.866
AT ITER 3883 NEW BEST:: SOT 2068070 SOS 493792 HAS SOPS 492429 HAS SOUS 57306 HAS SOUPS 57169 WITH SCORE 57662.792
AT ITER 3922 NEW BEST:: SOT 2068019 SOS 493741 HAS SOPS 492378 HAS SOUS 57178 HAS SOUPS 57041 WITH SCORE 57534.741
AT ITER 3954 NEW BEST:: SOT 2068015 SOS 493737 HAS SOPS 492374 HAS SOUS 57173 HAS SOUPS 57036 WITH SCORE 57529.737
AT ITER 3968 NEW BEST:: SOT 2068015 SOS 493719 HAS SOPS 492356 HAS SOUS 57173 HAS SOUPS 57036 WITH SCORE 57529.719
AT ITER 3980 NEW BEST:: SOT 2068015 SOS 493719 HAS SOPS 492356 HAS SOUS 57161 HAS SOUPS 57024 WITH SCORE 57517.719
AT ITER 4015 NEW BEST:: SOT 2068020 SOS 493724 HAS SOPS 492361 HAS SOUS 57139 HAS SOUPS 57002 WITH SCORE 57495.724
AT ITER 4049 NEW BEST:: SOT 2068014 SOS 493712 HAS SOPS 492349 HAS SOUS 57127 HAS SOUPS 56990 WITH SCORE 57483.712
AT ITER 4064 NEW BEST:: SOT 2067996 SOS 493718 HAS SOPS 492355 HAS SOUS 57084 HAS SOUPS 56947 WITH SCORE 57440.718
AT ITER 4072 NEW BEST:: SOT 2067986 SOS 493708 HAS SOPS 492345 HAS SOUS 57064 HAS SOUPS 56927 WITH SCORE 57420.708
AT ITER 4076 NEW BEST:: SOT 2066953 SOS 493033 HAS SOPS 491670 HAS SOUS 55896 HAS SOUPS 55759 WITH SCORE 56252.033
AT ITER 4121 NEW BEST:: SOT 2066944 SOS 493015 HAS SOPS 491652 HAS SOUS 55878 HAS SOUPS 55741 WITH SCORE 56234.015
AT ITER 4133 NEW BEST:: SOT 2066938 SOS 493009 HAS SOPS 491646 HAS SOUS 55872 HAS SOUPS 55735 WITH SCORE 56228.009
AT ITER 4137 NEW BEST:: SOT 2066857 SOS 492928 HAS SOPS 491565 HAS SOUS 55753 HAS SOUPS 55616 WITH SCORE 56108.928
AT ITER 4138 NEW BEST:: SOT 2066791 SOS 492862 HAS SOPS 491499 HAS SOUS 55658 HAS SOUPS 55521 WITH SCORE 56013.862
AT ITER 4167 NEW BEST:: SOT 2066689 SOS 492760 HAS SOPS 491397 HAS SOUS 55445 HAS SOUPS 55308 WITH SCORE 55800.76
AT ITER 4190 NEW BEST:: SOT 2066681 SOS 492592 HAS SOPS 491229 HAS SOUS 55442 HAS SOUPS 55305 WITH SCORE 55797.592
AT ITER 4195 NEW BEST:: SOT 2066665 SOS 492586 HAS SOPS 491223 HAS SOUS 55418 HAS SOUPS 55281 WITH SCORE 55773.586
AT ITER 4221 NEW BEST:: SOT 2066757 SOS 492678 HAS SOPS 491315 HAS SOUS 55165 HAS SOUPS 55028 WITH SCORE 55520.678
AT ITER 4239 NEW BEST:: SOT 2066741 SOS 492619 HAS SOPS 491256 HAS SOUS 55165 HAS SOUPS 55028 WITH SCORE 55520.619
AT ITER 4245 NEW BEST:: SOT 2066729 SOS 492607 HAS SOPS 491244 HAS SOUS 55160 HAS SOUPS 55023 WITH SCORE 55515.607
AT ITER 4251 NEW BEST:: SOT 2066670 SOS 492548 HAS SOPS 491185 HAS SOUS 55065 HAS SOUPS 54928 WITH SCORE 55420.548
AT ITER 4270 NEW BEST:: SOT 2066657 SOS 492535 HAS SOPS 491172 HAS SOUS 55039 HAS SOUPS 54902 WITH SCORE 55394.535
AT ITER 4300 NEW BEST:: SOT 2066635 SOS 492489 HAS SOPS 491126 HAS SOUS 54853 HAS SOUPS 54716 WITH SCORE 55208.489
AT ITER 4317 NEW BEST:: SOT 2066668 SOS 492485 HAS SOPS 491122 HAS SOUS 54845 HAS SOUPS 54708 WITH SCORE 55200.485
AT ITER 4329 NEW BEST:: SOT 2066707 SOS 492524 HAS SOPS 491161 HAS SOUS 54814 HAS SOUPS 54677 WITH SCORE 55169.524
AT ITER 4338 NEW BEST:: SOT 2066669 SOS 492448 HAS SOPS 491085 HAS SOUS 54738 HAS SOUPS 54601 WITH SCORE 55093.448
AT ITER 4361 NEW BEST:: SOT 2064649 SOS 490428 HAS SOPS 489065 HAS SOUS 54094 HAS SOUPS 53957 WITH SCORE 54447.428
AT ITER 4372 NEW BEST:: SOT 2064633 SOS 490396 HAS SOPS 489033 HAS SOUS 54062 HAS SOUPS 53925 WITH SCORE 54415.396
AT ITER 4379 NEW BEST:: SOT 2064628 SOS 485662 HAS SOPS 484299 HAS SOUS 54049 HAS SOUPS 53912 WITH SCORE 54397.662
AT ITER 4395 NEW BEST:: SOT 2064584 SOS 485618 HAS SOPS 484255 HAS SOUS 53982 HAS SOUPS 53845 WITH SCORE 54330.618
AT ITER 4417 NEW BEST:: SOT 2064494 SOS 485523 HAS SOPS 484160 HAS SOUS 53894 HAS SOUPS 53757 WITH SCORE 54242.523
AT ITER 4445 NEW BEST:: SOT 2064481 SOS 485516 HAS SOPS 484153 HAS SOUS 53887 HAS SOUPS 53750 WITH SCORE 54235.516
AT ITER 4447 NEW BEST:: SOT 2064469 SOS 485508 HAS SOPS 484145 HAS SOUS 53871 HAS SOUPS 53734 WITH SCORE 54219.508
AT ITER 4458 NEW BEST:: SOT 2064458 SOS 485497 HAS SOPS 484134 HAS SOUS 53572 HAS SOUPS 53435 WITH SCORE 53920.497
AT ITER 4460 NEW BEST:: SOT 2064454 SOS 485493 HAS SOPS 484130 HAS SOUS 53568 HAS SOUPS 53431 WITH SCORE 53916.493
AT ITER 4467 NEW BEST:: SOT 2064449 SOS 485488 HAS SOPS 484125 HAS SOUS 53563 HAS SOUPS 53426 WITH SCORE 53911.488
AT ITER 4480 NEW BEST:: SOT 2076101 SOS 496874 HAS SOPS 495511 HAS SOUS 53357 HAS SOUPS 53220 WITH SCORE 53716.874
AT ITER 4484 NEW BEST:: SOT 2076110 SOS 496883 HAS SOPS 495520 HAS SOUS 53266 HAS SOUPS 53129 WITH SCORE 53625.883
AT ITER 4500 NEW BEST:: SOT 2076043 SOS 496816 HAS SOPS 495453 HAS SOUS 53199 HAS SOUPS 53062 WITH SCORE 53558.816
AT ITER 4516 NEW BEST:: SOT 2075988 SOS 496761 HAS SOPS 495398 HAS SOUS 53092 HAS SOUPS 52955 WITH SCORE 53451.761
AT ITER 4517 NEW BEST:: SOT 2075965 SOS 496738 HAS SOPS 495375 HAS SOUS 52967 HAS SOUPS 52830 WITH SCORE 53326.738
AT ITER 4532 NEW BEST:: SOT 2075930 SOS 496703 HAS SOPS 495340 HAS SOUS 52932 HAS SOUPS 52795 WITH SCORE 53291.703
AT ITER 4533 NEW BEST:: SOT 2075874 SOS 496647 HAS SOPS 495284 HAS SOUS 52876 HAS SOUPS 52739 WITH SCORE 53235.647
AT ITER 4544 NEW BEST:: SOT 2075920 SOS 496693 HAS SOPS 495330 HAS SOUS 52822 HAS SOUPS 52685 WITH SCORE 53181.693
AT ITER 4547 NEW BEST:: SOT 2075918 SOS 496653 HAS SOPS 495288 HAS SOUS 52818 HAS SOUPS 52681 WITH SCORE 53177.653
AT ITER 4556 NEW BEST:: SOT 2075964 SOS 496782 HAS SOPS 495417 HAS SOUS 52365 HAS SOUPS 52228 WITH SCORE 52724.782
AT ITER 4608 NEW BEST:: SOT 2075857 SOS 496675 HAS SOPS 495310 HAS SOUS 52177 HAS SOUPS 52040 WITH SCORE 52536.675
AT ITER 4620 NEW BEST:: SOT 2075825 SOS 496643 HAS SOPS 495278 HAS SOUS 52145 HAS SOUPS 52008 WITH SCORE 52504.643
AT ITER 4624 NEW BEST:: SOT 2075827 SOS 496645 HAS SOPS 495280 HAS SOUS 52037 HAS SOUPS 51900 WITH SCORE 52396.645
AT ITER 4628 NEW BEST:: SOT 2075812 SOS 496630 HAS SOPS 495265 HAS SOUS 52021 HAS SOUPS 51884 WITH SCORE 52380.63
AT ITER 4637 NEW BEST:: SOT 2075790 SOS 496608 HAS SOPS 495243 HAS SOUS 51940 HAS SOUPS 51803 WITH SCORE 52299.608
AT ITER 4650 NEW BEST:: SOT 2075764 SOS 496594 HAS SOPS 495229 HAS SOUS 51902 HAS SOUPS 51765 WITH SCORE 52261.594
AT ITER 4651 NEW BEST:: SOT 2075758 SOS 496588 HAS SOPS 495223 HAS SOUS 51886 HAS SOUPS 51749 WITH SCORE 52245.588
AT ITER 4665 NEW BEST:: SOT 2075638 SOS 496468 HAS SOPS 495103 HAS SOUS 51757 HAS SOUPS 51620 WITH SCORE 52116.468
AT ITER 4706 NEW BEST:: SOT 2075617 SOS 496447 HAS SOPS 495082 HAS SOUS 51715 HAS SOUPS 51578 WITH SCORE 52074.447
AT ITER 4732 NEW BEST:: SOT 2075596 SOS 496468 HAS SOPS 495103 HAS SOUS 51675 HAS SOUPS 51538 WITH SCORE 52034.468
AT ITER 4748 NEW BEST:: SOT 2075626 SOS 496498 HAS SOPS 495133 HAS SOUS 51559 HAS SOUPS 51422 WITH SCORE 51918.498
AT ITER 4761 NEW BEST:: SOT 2075604 SOS 496476 HAS SOPS 495111 HAS SOUS 51537 HAS SOUPS 51400 WITH SCORE 51896.476
AT ITER 4762 NEW BEST:: SOT 2075564 SOS 496436 HAS SOPS 495071 HAS SOUS 51489 HAS SOUPS 51352 WITH SCORE 51848.436
AT ITER 4771 NEW BEST:: SOT 2075555 SOS 496355 HAS SOPS 494990 HAS SOUS 51462 HAS SOUPS 51325 WITH SCORE 51821.355
AT ITER 4778 NEW BEST:: SOT 2075515 SOS 496315 HAS SOPS 494950 HAS SOUS 51400 HAS SOUPS 51263 WITH SCORE 51759.315
AT ITER 4786 NEW BEST:: SOT 2075439 SOS 496239 HAS SOPS 494874 HAS SOUS 51342 HAS SOUPS 51205 WITH SCORE 51701.239
AT ITER 4790 NEW BEST:: SOT 2075427 SOS 496270 HAS SOPS 494905 HAS SOUS 51318 HAS SOUPS 51181 WITH SCORE 51677.27
AT ITER 4803 NEW BEST:: SOT 2075427 SOS 496430 HAS SOPS 495065 HAS SOUS 51283 HAS SOUPS 51146 WITH SCORE 51642.43
AT ITER 4817 NEW BEST:: SOT 2075425 SOS 496400 HAS SOPS 495035 HAS SOUS 51279 HAS SOUPS 51142 WITH SCORE 51638.4
AT ITER 4824 NEW BEST:: SOT 2075425 SOS 496401 HAS SOPS 495036 HAS SOUS 51277 HAS SOUPS 51140 WITH SCORE 51636.401
AT ITER 4830 NEW BEST:: SOT 2075416 SOS 473793 HAS SOPS 472459 HAS SOUS 51208 HAS SOUPS 51071 WITH SCORE 51544.793
AT ITER 4875 NEW BEST:: SOT 2075455 SOS 473832 HAS SOPS 472498 HAS SOUS 51146 HAS SOUPS 51009 WITH SCORE 51482.832
AT ITER 4889 NEW BEST:: SOT 2075453 SOS 473830 HAS SOPS 472496 HAS SOUS 51142 HAS SOUPS 51005 WITH SCORE 51478.83
AT ITER 4935 NEW BEST:: SOT 2075442 SOS 473819 HAS SOPS 472485 HAS SOUS 51114 HAS SOUPS 50977 WITH SCORE 51450.819
AT ITER 4978 NEW BEST:: SOT 2075434 SOS 473835 HAS SOPS 472501 HAS SOUS 51082 HAS SOUPS 50945 WITH SCORE 51418.835
AT ITER 5008 NEW BEST:: SOT 2075428 SOS 473816 HAS SOPS 472482 HAS SOUS 51063 HAS SOUPS 50926 WITH SCORE 51399.816
AT ITER 5045 NEW BEST:: SOT 2075346 SOS 473734 HAS SOPS 472400 HAS SOUS 50931 HAS SOUPS 50794 WITH SCORE 51267.734
AT ITER 5052 NEW BEST:: SOT 2075332 SOS 473720 HAS SOPS 472386 HAS SOUS 50911 HAS SOUPS 50774 WITH SCORE 51247.72
AT ITER 5103 NEW BEST:: SOT 2075320 SOS 473708 HAS SOPS 472374 HAS SOUS 50803 HAS SOUPS 50666 WITH SCORE 51139.708
AT ITER 5112 NEW BEST:: SOT 2075211 SOS 473599 HAS SOPS 472265 HAS SOUS 50577 HAS SOUPS 50440 WITH SCORE 50913.599
AT ITER 5120 NEW BEST:: SOT 2075157 SOS 473545 HAS SOPS 472211 HAS SOUS 50469 HAS SOUPS 50332 WITH SCORE 50805.545
AT ITER 5128 NEW BEST:: SOT 2075157 SOS 473540 HAS SOPS 472206 HAS SOUS 50464 HAS SOUPS 50327 WITH SCORE 50800.54
AT ITER 5144 NEW BEST:: SOT 2075046 SOS 473429 HAS SOPS 472095 HAS SOUS 50389 HAS SOUPS 50252 WITH SCORE 50725.429
AT ITER 5185 NEW BEST:: SOT 2075040 SOS 473423 HAS SOPS 472089 HAS SOUS 50377 HAS SOUPS 50240 WITH SCORE 50713.423
AT ITER 5196 NEW BEST:: SOT 2075036 SOS 473415 HAS SOPS 472081 HAS SOUS 50357 HAS SOUPS 50220 WITH SCORE 50693.415
AT ITER 5214 NEW BEST:: SOT 2075036 SOS 473415 HAS SOPS 472081 HAS SOUS 50337 HAS SOUPS 50200 WITH SCORE 50673.415
AT ITER 5237 NEW BEST:: SOT 2075004 SOS 473501 HAS SOPS 472167 HAS SOUS 50281 HAS SOUPS 50144 WITH SCORE 50617.501
AT ITER 5259 NEW BEST:: SOT 2075002 SOS 473499 HAS SOPS 472165 HAS SOUS 50279 HAS SOUPS 50142 WITH SCORE 50615.499
AT ITER 5273 NEW BEST:: SOT 2074898 SOS 473395 HAS SOPS 472061 HAS SOUS 50135 HAS SOUPS 49998 WITH SCORE 50471.395
AT ITER 5284 NEW BEST:: SOT 2074893 SOS 473390 HAS SOPS 472056 HAS SOUS 50120 HAS SOUPS 49983 WITH SCORE 50456.39
AT ITER 5317 NEW BEST:: SOT 2074893 SOS 473390 HAS SOPS 472056 HAS SOUS 50113 HAS SOUPS 49976 WITH SCORE 50449.39
AT ITER 5318 NEW BEST:: SOT 2074869 SOS 473366 HAS SOPS 472032 HAS SOUS 49969 HAS SOUPS 49832 WITH SCORE 50305.366
AT ITER 5324 NEW BEST:: SOT 2074817 SOS 473314 HAS SOPS 471980 HAS SOUS 49911 HAS SOUPS 49774 WITH SCORE 50247.314
AT ITER 5338 NEW BEST:: SOT 2074799 SOS 473296 HAS SOPS 471962 HAS SOUS 49893 HAS SOUPS 49756 WITH SCORE 50229.296
AT ITER 5348 NEW BEST:: SOT 2074738 SOS 473235 HAS SOPS 471901 HAS SOUS 49790 HAS SOUPS 49653 WITH SCORE 50126.235
AT ITER 5353 NEW BEST:: SOT 2074717 SOS 473214 HAS SOPS 471880 HAS SOUS 49769 HAS SOUPS 49632 WITH SCORE 50105.214
AT ITER 5400 NEW BEST:: SOT 2074705 SOS 473202 HAS SOPS 471868 HAS SOUS 49753 HAS SOUPS 49616 WITH SCORE 50089.202
AT ITER 5411 NEW BEST:: SOT 2074698 SOS 473220 HAS SOPS 471886 HAS SOUS 49733 HAS SOUPS 49596 WITH SCORE 50069.22
AT ITER 5432 NEW BEST:: SOT 2074662 SOS 473184 HAS SOPS 471850 HAS SOUS 49669 HAS SOUPS 49532 WITH SCORE 50005.184
AT ITER 5435 NEW BEST:: SOT 2074647 SOS 473177 HAS SOPS 471843 HAS SOUS 49668 HAS SOUPS 49531 WITH SCORE 50004.177
AT ITER 5465 NEW BEST:: SOT 2074587 SOS 473357 HAS SOPS 472023 HAS SOUS 49548 HAS SOUPS 49411 WITH SCORE 49884.357
AT ITER 5467 NEW BEST:: SOT 2074585 SOS 473355 HAS SOPS 472021 HAS SOUS 49544 HAS SOUPS 49407 WITH SCORE 49880.355
AT ITER 5474 NEW BEST:: SOT 2074581 SOS 473315 HAS SOPS 471981 HAS SOUS 49531 HAS SOUPS 49394 WITH SCORE 49867.315
AT ITER 5483 NEW BEST:: SOT 2074581 SOS 473306 HAS SOPS 471972 HAS SOUS 49529 HAS SOUPS 49392 WITH SCORE 49865.306
AT ITER 5511 NEW BEST:: SOT 2074574 SOS 473179 HAS SOPS 471845 HAS SOUS 49516 HAS SOUPS 49379 WITH SCORE 49852.179
AT ITER 5546 NEW BEST:: SOT 2074572 SOS 473109 HAS SOPS 471775 HAS SOUS 49503 HAS SOUPS 49366 WITH SCORE 49839.109
AT ITER 5556 NEW BEST:: SOT 2074566 SOS 473103 HAS SOPS 471769 HAS SOUS 49497 HAS SOUPS 49360 WITH SCORE 49833.103
AT ITER 5589 NEW BEST:: SOT 2074570 SOS 473097 HAS SOPS 471763 HAS SOUS 49496 HAS SOUPS 49359 WITH SCORE 49832.097
AT ITER 5610 NEW BEST:: SOT 2074568 SOS 473084 HAS SOPS 471750 HAS SOUS 49483 HAS SOUPS 49346 WITH SCORE 49819.084
AT ITER 5661 NEW BEST:: SOT 2074579 SOS 473095 HAS SOPS 471761 HAS SOUS 49373 HAS SOUPS 49236 WITH SCORE 49709.095
AT ITER 5687 NEW BEST:: SOT 2074723 SOS 473239 HAS SOPS 471905 HAS SOUS 49297 HAS SOUPS 49160 WITH SCORE 49633.239
AT ITER 5697 NEW BEST:: SOT 2074683 SOS 473199 HAS SOPS 471865 HAS SOUS 48881 HAS SOUPS 48744 WITH SCORE 49217.199
AT ITER 5715 NEW BEST:: SOT 2074682 SOS 473198 HAS SOPS 471864 HAS SOUS 48874 HAS SOUPS 48737 WITH SCORE 49210.198
AT ITER 5719 NEW BEST:: SOT 2074665 SOS 473188 HAS SOPS 471854 HAS SOUS 48864 HAS SOUPS 48727 WITH SCORE 49200.188
AT ITER 5724 NEW BEST:: SOT 2074645 SOS 473168 HAS SOPS 471834 HAS SOUS 48824 HAS SOUPS 48687 WITH SCORE 49160.168
AT ITER 5732 NEW BEST:: SOT 2074620 SOS 473046 HAS SOPS 471712 HAS SOUS 48743 HAS SOUPS 48606 WITH SCORE 49079.046
AT ITER 5754 NEW BEST:: SOT 2074613 SOS 473039 HAS SOPS 471705 HAS SOUS 48737 HAS SOUPS 48600 WITH SCORE 49073.039
AT ITER 5789 NEW BEST:: SOT 2074670 SOS 473096 HAS SOPS 471762 HAS SOUS 48636 HAS SOUPS 48499 WITH SCORE 48972.096
AT ITER 5798 NEW BEST:: SOT 2074670 SOS 473093 HAS SOPS 471759 HAS SOUS 48636 HAS SOUPS 48499 WITH SCORE 48972.093
AT ITER 5811 NEW BEST:: SOT 2074747 SOS 473170 HAS SOPS 471836 HAS SOUS 48623 HAS SOUPS 48486 WITH SCORE 48959.17
AT ITER 5818 NEW BEST:: SOT 2074743 SOS 473166 HAS SOPS 471832 HAS SOUS 48613 HAS SOUPS 48476 WITH SCORE 48949.166
AT ITER 5824 NEW BEST:: SOT 2074740 SOS 473162 HAS SOPS 471828 HAS SOUS 48587 HAS SOUPS 48450 WITH SCORE 48923.162
AT ITER 5841 NEW BEST:: SOT 2074778 SOS 473344 HAS SOPS 472010 HAS SOUS 48577 HAS SOUPS 48440 WITH SCORE 48913.344
AT ITER 5843 NEW BEST:: SOT 2074722 SOS 473288 HAS SOPS 471954 HAS SOUS 48521 HAS SOUPS 48384 WITH SCORE 48857.288
AT ITER 5848 NEW BEST:: SOT 2074708 SOS 473274 HAS SOPS 471940 HAS SOUS 48507 HAS SOUPS 48370 WITH SCORE 48843.274
AT ITER 5851 NEW BEST:: SOT 2074698 SOS 473555 HAS SOPS 472221 HAS SOUS 48505 HAS SOUPS 48368 WITH SCORE 48841.555
AT ITER 5880 NEW BEST:: SOT 2074696 SOS 473553 HAS SOPS 472219 HAS SOUS 48485 HAS SOUPS 48348 WITH SCORE 48821.553
AT ITER 5894 NEW BEST:: SOT 2074734 SOS 473591 HAS SOPS 472257 HAS SOUS 48481 HAS SOUPS 48344 WITH SCORE 48817.591
AT ITER 5944 NEW BEST:: SOT 2074719 SOS 473618 HAS SOPS 472284 HAS SOUS 48464 HAS SOUPS 48327 WITH SCORE 48800.618
AT ITER 5995 NEW BEST:: SOT 2074718 SOS 473616 HAS SOPS 472282 HAS SOUS 48462 HAS SOUPS 48325 WITH SCORE 48798.616
AT ITER 6021 NEW BEST:: SOT 2074893 SOS 473791 HAS SOPS 472457 HAS SOUS 48436 HAS SOUPS 48299 WITH SCORE 48772.791
AT ITER 6036 NEW BEST:: SOT 2074886 SOS 473784 HAS SOPS 472450 HAS SOUS 48420 HAS SOUPS 48283 WITH SCORE 48756.784
AT ITER 6109 NEW BEST:: SOT 2074870 SOS 473768 HAS SOPS 472434 HAS SOUS 48364 HAS SOUPS 48227 WITH SCORE 48700.768
AT ITER 6122 NEW BEST:: SOT 2074864 SOS 473762 HAS SOPS 472428 HAS SOUS 48358 HAS SOUPS 48221 WITH SCORE 48694.762
AT ITER 6128 NEW BEST:: SOT 2074822 SOS 473720 HAS SOPS 472386 HAS SOUS 48274 HAS SOUPS 48137 WITH SCORE 48610.72
AT ITER 6138 NEW BEST:: SOT 2074771 SOS 473669 HAS SOPS 472335 HAS SOUS 48272 HAS SOUPS 48135 WITH SCORE 48608.669
AT ITER 6139 NEW BEST:: SOT 2074771 SOS 473623 HAS SOPS 472289 HAS SOUS 48272 HAS SOUPS 48135 WITH SCORE 48608.623
AT ITER 6148 NEW BEST:: SOT 2074787 SOS 473617 HAS SOPS 472283 HAS SOUS 48260 HAS SOUPS 48123 WITH SCORE 48596.617
AT ITER 6176 NEW BEST:: SOT 2074782 SOS 473640 HAS SOPS 472306 HAS SOUS 48250 HAS SOUPS 48113 WITH SCORE 48586.64
AT ITER 6192 NEW BEST:: SOT 2074745 SOS 473603 HAS SOPS 472269 HAS SOUS 48213 HAS SOUPS 48076 WITH SCORE 48549.603
AT ITER 6208 NEW BEST:: SOT 2074846 SOS 473704 HAS SOPS 472370 HAS SOUS 48179 HAS SOUPS 48042 WITH SCORE 48515.704
AT ITER 6221 NEW BEST:: SOT 2074851 SOS 473709 HAS SOPS 472375 HAS SOUS 48100 HAS SOUPS 47963 WITH SCORE 48436.709
AT ITER 6235 NEW BEST:: SOT 2074845 SOS 473697 HAS SOPS 472363 HAS SOUS 48082 HAS SOUPS 47945 WITH SCORE 48418.697
AT ITER 6238 NEW BEST:: SOT 2074827 SOS 473679 HAS SOPS 472345 HAS SOUS 48033 HAS SOUPS 47896 WITH SCORE 48369.679
AT ITER 6261 NEW BEST:: SOT 2074743 SOS 473574 HAS SOPS 472240 HAS SOUS 47943 HAS SOUPS 47806 WITH SCORE 48279.574
AT ITER 6319 NEW BEST:: SOT 2074757 SOS 473571 HAS SOPS 472237 HAS SOUS 47940 HAS SOUPS 47803 WITH SCORE 48276.571
AT ITER 6351 NEW BEST:: SOT 2074752 SOS 473566 HAS SOPS 472232 HAS SOUS 47862 HAS SOUPS 47725 WITH SCORE 48198.566
AT ITER 6352 NEW BEST:: SOT 2074780 SOS 473624 HAS SOPS 472290 HAS SOUS 47852 HAS SOUPS 47715 WITH SCORE 48188.624
AT ITER 6368 NEW BEST:: SOT 2074677 SOS 473521 HAS SOPS 472187 HAS SOUS 47698 HAS SOUPS 47561 WITH SCORE 48034.521
AT ITER 6383 NEW BEST:: SOT 2074663 SOS 473507 HAS SOPS 472173 HAS SOUS 47678 HAS SOUPS 47541 WITH SCORE 48014.507
AT ITER 6389 NEW BEST:: SOT 2074680 SOS 473524 HAS SOPS 472190 HAS SOUS 47576 HAS SOUPS 47439 WITH SCORE 47912.524
AT ITER 6404 NEW BEST:: SOT 2074660 SOS 473504 HAS SOPS 472170 HAS SOUS 47556 HAS SOUPS 47419 WITH SCORE 47892.504
AT ITER 6459 NEW BEST:: SOT 2074653 SOS 473497 HAS SOPS 472163 HAS SOUS 47548 HAS SOUPS 47411 WITH SCORE 47884.497
AT ITER 6478 NEW BEST:: SOT 2074588 SOS 473432 HAS SOPS 472098 HAS SOUS 47459 HAS SOUPS 47322 WITH SCORE 47795.432
AT ITER 6541 NEW BEST:: SOT 2074554 SOS 473398 HAS SOPS 472064 HAS SOUS 47425 HAS SOUPS 47288 WITH SCORE 47761.398
AT ITER 6564 NEW BEST:: SOT 2074532 SOS 473376 HAS SOPS 472042 HAS SOUS 47393 HAS SOUPS 47256 WITH SCORE 47729.376
AT ITER 6591 NEW BEST:: SOT 2074555 SOS 473399 HAS SOPS 472065 HAS SOUS 47374 HAS SOUPS 47237 WITH SCORE 47710.399
AT ITER 6592 NEW BEST:: SOT 2074554 SOS 473398 HAS SOPS 472064 HAS SOUS 47371 HAS SOUPS 47234 WITH SCORE 47707.398
AT ITER 6678 NEW BEST:: SOT 2074488 SOS 474386 HAS SOPS 473052 HAS SOUS 47314 HAS SOUPS 47177 WITH SCORE 47651.386
AT ITER 6720 NEW BEST:: SOT 2074465 SOS 474363 HAS SOPS 473029 HAS SOUS 47281 HAS SOUPS 47144 WITH SCORE 47618.363
AT ITER 6728 NEW BEST:: SOT 2074448 SOS 474278 HAS SOPS 472944 HAS SOUS 47264 HAS SOUPS 47127 WITH SCORE 47601.278
AT ITER 6749 NEW BEST:: SOT 2074405 SOS 474235 HAS SOPS 472901 HAS SOUS 47221 HAS SOUPS 47084 WITH SCORE 47558.235
AT ITER 6784 NEW BEST:: SOT 2074405 SOS 474235 HAS SOPS 472901 HAS SOUS 47219 HAS SOUPS 47082 WITH SCORE 47556.235
AT ITER 6817 NEW BEST:: SOT 2074359 SOS 474189 HAS SOPS 472855 HAS SOUS 47137 HAS SOUPS 47000 WITH SCORE 47474.189
AT ITER 6821 NEW BEST:: SOT 2074350 SOS 474180 HAS SOPS 472846 HAS SOUS 47119 HAS SOUPS 46982 WITH SCORE 47456.18
AT ITER 6824 NEW BEST:: SOT 2074290 SOS 474120 HAS SOPS 472786 HAS SOUS 47009 HAS SOUPS 46872 WITH SCORE 47346.12
AT ITER 6853 NEW BEST:: SOT 2074280 SOS 474964 HAS SOPS 473648 HAS SOUS 46968 HAS SOUPS 46831 WITH SCORE 47305.964
AT ITER 6867 NEW BEST:: SOT 2074261 SOS 474945 HAS SOPS 473629 HAS SOUS 46931 HAS SOUPS 46794 WITH SCORE 47268.945
AT ITER 6906 NEW BEST:: SOT 2074249 SOS 474933 HAS SOPS 473617 HAS SOUS 46911 HAS SOUPS 46774 WITH SCORE 47248.933
AT ITER 6938 NEW BEST:: SOT 2074249 SOS 474927 HAS SOPS 473611 HAS SOUS 46911 HAS SOUPS 46774 WITH SCORE 47248.927
AT ITER 6951 NEW BEST:: SOT 2074203 SOS 474921 HAS SOPS 473605 HAS SOUS 46876 HAS SOUPS 46739 WITH SCORE 47213.921
AT ITER 6956 NEW BEST:: SOT 2074171 SOS 474889 HAS SOPS 473573 HAS SOUS 46816 HAS SOUPS 46679 WITH SCORE 47153.889
AT ITER 6959 NEW BEST:: SOT 2074166 SOS 474884 HAS SOPS 473568 HAS SOUS 46801 HAS SOUPS 46664 WITH SCORE 47138.884
AT ITER 7010 NEW BEST:: SOT 2074147 SOS 474865 HAS SOPS 473549 HAS SOUS 46795 HAS SOUPS 46658 WITH SCORE 47132.865
AT ITER 7013 NEW BEST:: SOT 2074163 SOS 474881 HAS SOPS 473565 HAS SOUS 46673 HAS SOUPS 46536 WITH SCORE 47010.881
AT ITER 7116 NEW BEST:: SOT 2074163 SOS 474881 HAS SOPS 473565 HAS SOUS 46641 HAS SOUPS 46504 WITH SCORE 46978.881
AT ITER 7122 NEW BEST:: SOT 2074032 SOS 474750 HAS SOPS 473434 HAS SOUS 46411 HAS SOUPS 46274 WITH SCORE 46748.75
AT ITER 7123 NEW BEST:: SOT 2074008 SOS 474726 HAS SOPS 473410 HAS SOUS 46363 HAS SOUPS 46226 WITH SCORE 46700.726
AT ITER 7141 NEW BEST:: SOT 2074020 SOS 474738 HAS SOPS 473422 HAS SOUS 46339 HAS SOUPS 46202 WITH SCORE 46676.738
AT ITER 7204 NEW BEST:: SOT 2073963 SOS 474681 HAS SOPS 473365 HAS SOUS 46258 HAS SOUPS 46121 WITH SCORE 46595.681
AT ITER 7222 NEW BEST:: SOT 2073954 SOS 474672 HAS SOPS 473356 HAS SOUS 46249 HAS SOUPS 46112 WITH SCORE 46586.672
AT ITER 7228 NEW BEST:: SOT 2073940 SOS 474658 HAS SOPS 473342 HAS SOUS 46109 HAS SOUPS 45972 WITH SCORE 46446.658
AT ITER 7240 NEW BEST:: SOT 2073915 SOS 474633 HAS SOPS 473317 HAS SOUS 46072 HAS SOUPS 45935 WITH SCORE 46409.633
AT ITER 7252 NEW BEST:: SOT 2073853 SOS 474571 HAS SOPS 473255 HAS SOUS 46010 HAS SOUPS 45873 WITH SCORE 46347.571
AT ITER 7264 NEW BEST:: SOT 2073829 SOS 474547 HAS SOPS 473231 HAS SOUS 45965 HAS SOUPS 45828 WITH SCORE 46302.547
AT ITER 7268 NEW BEST:: SOT 2073789 SOS 474507 HAS SOPS 473191 HAS SOUS 45885 HAS SOUPS 45748 WITH SCORE 46222.507
AT ITER 7303 NEW BEST:: SOT 2073765 SOS 474483 HAS SOPS 473167 HAS SOUS 45836 HAS SOUPS 45699 WITH SCORE 46173.483
AT ITER 7331 NEW BEST:: SOT 2073765 SOS 474477 HAS SOPS 473161 HAS SOUS 45836 HAS SOUPS 45699 WITH SCORE 46173.477
AT ITER 7352 NEW BEST:: SOT 2073701 SOS 474413 HAS SOPS 473097 HAS SOUS 45709 HAS SOUPS 45572 WITH SCORE 46046.413
AT ITER 7386 NEW BEST:: SOT 2073677 SOS 474389 HAS SOPS 473073 HAS SOUS 45692 HAS SOUPS 45555 WITH SCORE 46029.389
AT ITER 7396 NEW BEST:: SOT 2073671 SOS 474383 HAS SOPS 473067 HAS SOUS 45686 HAS SOUPS 45549 WITH SCORE 46023.383
AT ITER 7410 NEW BEST:: SOT 2073666 SOS 474378 HAS SOPS 473062 HAS SOUS 45683 HAS SOUPS 45546 WITH SCORE 46020.378
AT ITER 7433 NEW BEST:: SOT 2073662 SOS 474358 HAS SOPS 473042 HAS SOUS 45678 HAS SOUPS 45541 WITH SCORE 46015.358
AT ITER 7438 NEW BEST:: SOT 2073661 SOS 474342 HAS SOPS 473026 HAS SOUS 45667 HAS SOUPS 45530 WITH SCORE 46004.342
AT ITER 7450 NEW BEST:: SOT 2073621 SOS 474329 HAS SOPS 473013 HAS SOUS 45641 HAS SOUPS 45504 WITH SCORE 45978.329
AT ITER 7500 NEW BEST:: SOT 2073616 SOS 474335 HAS SOPS 473019 HAS SOUS 45639 HAS SOUPS 45502 WITH SCORE 45976.335
AT ITER 7511 NEW BEST:: SOT 2073616 SOS 470498 HAS SOPS 469182 HAS SOUS 45630 HAS SOUPS 45493 WITH SCORE 45963.498
AT ITER 7512 NEW BEST:: SOT 2073584 SOS 470489 HAS SOPS 469173 HAS SOUS 45612 HAS SOUPS 45475 WITH SCORE 45945.489
AT ITER 7525 NEW BEST:: SOT 2073580 SOS 470485 HAS SOPS 469169 HAS SOUS 45556 HAS SOUPS 45419 WITH SCORE 45889.485
AT ITER 7545 NEW BEST:: SOT 2073588 SOS 470493 HAS SOPS 469177 HAS SOUS 45553 HAS SOUPS 45416 WITH SCORE 45886.493
AT ITER 7566 NEW BEST:: SOT 2073545 SOS 470468 HAS SOPS 469152 HAS SOUS 45489 HAS SOUPS 45352 WITH SCORE 45822.468
AT ITER 7596 NEW BEST:: SOT 2073461 SOS 470300 HAS SOPS 468984 HAS SOUS 45321 HAS SOUPS 45184 WITH SCORE 45654.3
AT ITER 7778 NEW BEST:: SOT 2073450 SOS 470289 HAS SOPS 468973 HAS SOUS 45295 HAS SOUPS 45158 WITH SCORE 45628.289
AT ITER 7781 NEW BEST:: SOT 2073420 SOS 470259 HAS SOPS 468943 HAS SOUS 45265 HAS SOUPS 45128 WITH SCORE 45598.259
AT ITER 7832 NEW BEST:: SOT 2073625 SOS 470464 HAS SOPS 469148 HAS SOUS 45233 HAS SOUPS 45096 WITH SCORE 45566.464
AT ITER 7885 NEW BEST:: SOT 2073634 SOS 470473 HAS SOPS 469157 HAS SOUS 45227 HAS SOUPS 45090 WITH SCORE 45560.473
AT ITER 7889 NEW BEST:: SOT 2073549 SOS 470388 HAS SOPS 469072 HAS SOUS 45046 HAS SOUPS 44909 WITH SCORE 45379.388
AT ITER 7943 NEW BEST:: SOT 2073501 SOS 470340 HAS SOPS 469024 HAS SOUS 44942 HAS SOUPS 44805 WITH SCORE 45275.34
AT ITER 7958 NEW BEST:: SOT 2073413 SOS 470252 HAS SOPS 468936 HAS SOUS 44779 HAS SOUPS 44642 WITH SCORE 45112.252
AT ITER 7985 NEW BEST:: SOT 2073379 SOS 470184 HAS SOPS 468868 HAS SOUS 44711 HAS SOUPS 44574 WITH SCORE 45044.184
AT ITER 7998 NEW BEST:: SOT 2073386 SOS 470191 HAS SOPS 468875 HAS SOUS 44698 HAS SOUPS 44561 WITH SCORE 45031.191
AT ITER 8007 NEW BEST:: SOT 2073367 SOS 470123 HAS SOPS 468807 HAS SOUS 44638 HAS SOUPS 44501 WITH SCORE 44971.123
AT ITER 8046 NEW BEST:: SOT 2073343 SOS 470099 HAS SOPS 468783 HAS SOUS 44627 HAS SOUPS 44490 WITH SCORE 44960.099
AT ITER 8070 NEW BEST:: SOT 2073333 SOS 470089 HAS SOPS 468773 HAS SOUS 44611 HAS SOUPS 44474 WITH SCORE 44944.089
AT ITER 8098 NEW BEST:: SOT 2073312 SOS 470068 HAS SOPS 468752 HAS SOUS 44553 HAS SOUPS 44416 WITH SCORE 44886.068
AT ITER 8130 NEW BEST:: SOT 2073296 SOS 469892 HAS SOPS 468576 HAS SOUS 44529 HAS SOUPS 44392 WITH SCORE 44861.892
AT ITER 8157 NEW BEST:: SOT 2073262 SOS 469858 HAS SOPS 468542 HAS SOUS 44472 HAS SOUPS 44335 WITH SCORE 44804.858
AT ITER 8177 NEW BEST:: SOT 2073258 SOS 470036 HAS SOPS 468720 HAS SOUS 44427 HAS SOUPS 44290 WITH SCORE 44760.036
AT ITER 8178 NEW BEST:: SOT 2073232 SOS 470046 HAS SOPS 468730 HAS SOUS 44413 HAS SOUPS 44276 WITH SCORE 44746.046
AT ITER 8184 NEW BEST:: SOT 2073227 SOS 470041 HAS SOPS 468725 HAS SOUS 44348 HAS SOUPS 44211 WITH SCORE 44681.041
AT ITER 8238 NEW BEST:: SOT 2073217 SOS 470031 HAS SOPS 468715 HAS SOUS 44328 HAS SOUPS 44191 WITH SCORE 44661.031
AT ITER 8250 NEW BEST:: SOT 2073217 SOS 470294 HAS SOPS 468978 HAS SOUS 44308 HAS SOUPS 44171 WITH SCORE 44641.294
AT ITER 8269 NEW BEST:: SOT 2073213 SOS 470290 HAS SOPS 468974 HAS SOUS 44271 HAS SOUPS 44134 WITH SCORE 44604.29
AT ITER 8313 NEW BEST:: SOT 2073205 SOS 470282 HAS SOPS 468966 HAS SOUS 44255 HAS SOUPS 44118 WITH SCORE 44588.282
AT ITER 8342 NEW BEST:: SOT 2073195 SOS 470272 HAS SOPS 468956 HAS SOUS 44235 HAS SOUPS 44098 WITH SCORE 44568.272
AT ITER 8347 NEW BEST:: SOT 2073171 SOS 470248 HAS SOPS 468932 HAS SOUS 44173 HAS SOUPS 44036 WITH SCORE 44506.248
AT ITER 8367 NEW BEST:: SOT 2073173 SOS 470252 HAS SOPS 468936 HAS SOUS 44169 HAS SOUPS 44032 WITH SCORE 44502.252
AT ITER 8407 NEW BEST:: SOT 2073148 SOS 470171 HAS SOPS 468851 HAS SOUS 44164 HAS SOUPS 44027 WITH SCORE 44497.171
AT ITER 8416 NEW BEST:: SOT 2073035 SOS 470058 HAS SOPS 468738 HAS SOUS 43970 HAS SOUPS 43833 WITH SCORE 44303.058
AT ITER 8458 NEW BEST:: SOT 2073013 SOS 469958 HAS SOPS 468638 HAS SOUS 43965 HAS SOUPS 43828 WITH SCORE 44297.958
AT ITER 8554 NEW BEST:: SOT 2073007 SOS 469955 HAS SOPS 468635 HAS SOUS 43959 HAS SOUPS 43822 WITH SCORE 44291.955
AT ITER 8555 NEW BEST:: SOT 2073003 SOS 469951 HAS SOPS 468631 HAS SOUS 43951 HAS SOUPS 43814 WITH SCORE 44283.951
AT ITER 8561 NEW BEST:: SOT 2073023 SOS 469971 HAS SOPS 468651 HAS SOUS 43939 HAS SOUPS 43802 WITH SCORE 44271.971
AT ITER 8593 NEW BEST:: SOT 2073023 SOS 470763 HAS SOPS 469450 HAS SOUS 43912 HAS SOUPS 43775 WITH SCORE 44245.763
AT ITER 8598 NEW BEST:: SOT 2073017 SOS 470757 HAS SOPS 469444 HAS SOUS 43900 HAS SOUPS 43763 WITH SCORE 44233.757
AT ITER 8610 NEW BEST:: SOT 2073017 SOS 470756 HAS SOPS 469443 HAS SOUS 43899 HAS SOUPS 43762 WITH SCORE 44232.756
AT ITER 8662 NEW BEST:: SOT 2072949 SOS 470728 HAS SOPS 469415 HAS SOUS 43836 HAS SOUPS 43699 WITH SCORE 44169.728
AT ITER 8677 NEW BEST:: SOT 2073022 SOS 470801 HAS SOPS 469488 HAS SOUS 43659 HAS SOUPS 43522 WITH SCORE 43992.801
AT ITER 8697 NEW BEST:: SOT 2073019 SOS 470798 HAS SOPS 469485 HAS SOUS 43656 HAS SOUPS 43519 WITH SCORE 43989.798
AT ITER 8724 NEW BEST:: SOT 2073012 SOS 470791 HAS SOPS 469478 HAS SOUS 43642 HAS SOUPS 43505 WITH SCORE 43975.791
AT ITER 8750 NEW BEST:: SOT 2073018 SOS 470790 HAS SOPS 469477 HAS SOUS 43640 HAS SOUPS 43503 WITH SCORE 43973.79
AT ITER 8787 NEW BEST:: SOT 2073055 SOS 470827 HAS SOPS 469514 HAS SOUS 43627 HAS SOUPS 43490 WITH SCORE 43960.827
AT ITER 8818 NEW BEST:: SOT 2072984 SOS 470756 HAS SOPS 469443 HAS SOUS 43556 HAS SOUPS 43419 WITH SCORE 43889.756
AT ITER 8835 NEW BEST:: SOT 2072976 SOS 470770 HAS SOPS 469457 HAS SOUS 43551 HAS SOUPS 43414 WITH SCORE 43884.77
AT ITER 8847 NEW BEST:: SOT 2072954 SOS 470748 HAS SOPS 469435 HAS SOUS 43529 HAS SOUPS 43392 WITH SCORE 43862.748
AT ITER 8915 NEW BEST:: SOT 2072896 SOS 470690 HAS SOPS 469377 HAS SOUS 43404 HAS SOUPS 43267 WITH SCORE 43737.69
AT ITER 8941 NEW BEST:: SOT 2072888 SOS 470682 HAS SOPS 469369 HAS SOUS 43392 HAS SOUPS 43255 WITH SCORE 43725.682
AT ITER 8977 NEW BEST:: SOT 2072874 SOS 470668 HAS SOPS 469355 HAS SOUS 43371 HAS SOUPS 43234 WITH SCORE 43704.668
AT ITER 8992 NEW BEST:: SOT 2070994 SOS 468788 HAS SOPS 467475 HAS SOUS 42920 HAS SOUPS 42783 WITH SCORE 43251.788
AT ITER 9017 NEW BEST:: SOT 2070993 SOS 468787 HAS SOPS 467474 HAS SOUS 42919 HAS SOUPS 42782 WITH SCORE 43250.787
AT ITER 9030 NEW BEST:: SOT 2070992 SOS 468786 HAS SOPS 467473 HAS SOUS 42918 HAS SOUPS 42781 WITH SCORE 43249.786
AT ITER 9051 NEW BEST:: SOT 2071015 SOS 468809 HAS SOPS 467496 HAS SOUS 42658 HAS SOUPS 42521 WITH SCORE 42989.809
AT ITER 9060 NEW BEST:: SOT 2071015 SOS 468809 HAS SOPS 467496 HAS SOUS 42653 HAS SOUPS 42516 WITH SCORE 42984.809
AT ITER 9088 NEW BEST:: SOT 2070999 SOS 468793 HAS SOPS 467480 HAS SOUS 42631 HAS SOUPS 42494 WITH SCORE 42962.793
AT ITER 9093 NEW BEST:: SOT 2070997 SOS 468791 HAS SOPS 467478 HAS SOUS 42627 HAS SOUPS 42490 WITH SCORE 42958.791
AT ITER 9101 NEW BEST:: SOT 2070945 SOS 468739 HAS SOPS 467426 HAS SOUS 42529 HAS SOUPS 42392 WITH SCORE 42860.739
AT ITER 9106 NEW BEST:: SOT 2070906 SOS 468700 HAS SOPS 467387 HAS SOUS 42474 HAS SOUPS 42337 WITH SCORE 42805.7
AT ITER 9176 NEW BEST:: SOT 2070895 SOS 468689 HAS SOPS 467376 HAS SOUS 42316 HAS SOUPS 42179 WITH SCORE 42647.689
AT ITER 9194 NEW BEST:: SOT 2070868 SOS 468662 HAS SOPS 467349 HAS SOUS 42267 HAS SOUPS 42130 WITH SCORE 42598.662
AT ITER 9205 NEW BEST:: SOT 2070868 SOS 468662 HAS SOPS 467349 HAS SOUS 42266 HAS SOUPS 42129 WITH SCORE 42597.662
AT ITER 9217 NEW BEST:: SOT 2070853 SOS 468627 HAS SOPS 467314 HAS SOUS 42236 HAS SOUPS 42099 WITH SCORE 42567.627
AT ITER 9224 NEW BEST:: SOT 2070852 SOS 468605 HAS SOPS 467292 HAS SOUS 42234 HAS SOUPS 42097 WITH SCORE 42565.605
AT ITER 9262 NEW BEST:: SOT 2070835 SOS 468588 HAS SOPS 467275 HAS SOUS 42217 HAS SOUPS 42080 WITH SCORE 42548.588
AT ITER 9327 NEW BEST:: SOT 2070820 SOS 468573 HAS SOPS 467260 HAS SOUS 42202 HAS SOUPS 42065 WITH SCORE 42533.573
AT ITER 9330 NEW BEST:: SOT 2070792 SOS 468545 HAS SOPS 467232 HAS SOUS 41936 HAS SOUPS 41799 WITH SCORE 42267.545
AT ITER 9339 NEW BEST:: SOT 2070756 SOS 468509 HAS SOPS 467196 HAS SOUS 41898 HAS SOUPS 41761 WITH SCORE 42229.509
AT ITER 9350 NEW BEST:: SOT 2070727 SOS 449946 HAS SOPS 448612 HAS SOUS 41843 HAS SOUPS 41706 WITH SCORE 42155.946
AT ITER 9362 NEW BEST:: SOT 2070701 SOS 449920 HAS SOPS 448586 HAS SOUS 41811 HAS SOUPS 41674 WITH SCORE 42123.92
AT ITER 9371 NEW BEST:: SOT 2070698 SOS 449917 HAS SOPS 448583 HAS SOUS 41805 HAS SOUPS 41668 WITH SCORE 42117.917
AT ITER 9381 NEW BEST:: SOT 2070698 SOS 450839 HAS SOPS 449508 HAS SOUS 41778 HAS SOUPS 41641 WITH SCORE 42091.839
AT ITER 9396 NEW BEST:: SOT 2070689 SOS 450830 HAS SOPS 449499 HAS SOUS 41769 HAS SOUPS 41632 WITH SCORE 42082.83
AT ITER 9437 NEW BEST:: SOT 2070683 SOS 450824 HAS SOPS 449493 HAS SOUS 41700 HAS SOUPS 41563 WITH SCORE 42013.824
AT ITER 9475 NEW BEST:: SOT 2070649 SOS 450756 HAS SOPS 449425 HAS SOUS 41632 HAS SOUPS 41495 WITH SCORE 41945.756
AT ITER 9505 NEW BEST:: SOT 2070632 SOS 450739 HAS SOPS 449408 HAS SOUS 41610 HAS SOUPS 41473 WITH SCORE 41923.739
AT ITER 9529 NEW BEST:: SOT 2070632 SOS 450738 HAS SOPS 449407 HAS SOUS 41610 HAS SOUPS 41473 WITH SCORE 41923.738
AT ITER 9534 NEW BEST:: SOT 2070614 SOS 450720 HAS SOPS 449389 HAS SOUS 41574 HAS SOUPS 41437 WITH SCORE 41887.72
AT ITER 9558 NEW BEST:: SOT 2070534 SOS 450640 HAS SOPS 449309 HAS SOUS 41427 HAS SOUPS 41290 WITH SCORE 41740.64
AT ITER 9568 NEW BEST:: SOT 2070534 SOS 450638 HAS SOPS 449307 HAS SOUS 41427 HAS SOUPS 41290 WITH SCORE 41740.638
AT ITER 9619 NEW BEST:: SOT 2070531 SOS 450635 HAS SOPS 449304 HAS SOUS 41400 HAS SOUPS 41263 WITH SCORE 41713.635
AT ITER 9639 NEW BEST:: SOT 2070575 SOS 450679 HAS SOPS 449348 HAS SOUS 41388 HAS SOUPS 41251 WITH SCORE 41701.679
AT ITER 9640 NEW BEST:: SOT 2070540 SOS 450644 HAS SOPS 449313 HAS SOUS 41353 HAS SOUPS 41216 WITH SCORE 41666.644
AT ITER 9645 NEW BEST:: SOT 2070533 SOS 450637 HAS SOPS 449306 HAS SOUS 41339 HAS SOUPS 41202 WITH SCORE 41652.637
AT ITER 9659 NEW BEST:: SOT 2070501 SOS 450605 HAS SOPS 449274 HAS SOUS 41278 HAS SOUPS 41141 WITH SCORE 41591.605
AT ITER 9682 NEW BEST:: SOT 2070510 SOS 450606 HAS SOPS 449275 HAS SOUS 41260 HAS SOUPS 41123 WITH SCORE 41573.606
AT ITER 9727 NEW BEST:: SOT 2070508 SOS 450564 HAS SOPS 449233 HAS SOUS 41258 HAS SOUPS 41121 WITH SCORE 41571.564
AT ITER 9729 NEW BEST:: SOT 2070487 SOS 450543 HAS SOPS 449212 HAS SOUS 41214 HAS SOUPS 41077 WITH SCORE 41527.543
AT ITER 9750 NEW BEST:: SOT 2070471 SOS 450527 HAS SOPS 449196 HAS SOUS 41192 HAS SOUPS 41055 WITH SCORE 41505.527
AT ITER 9751 NEW BEST:: SOT 2070465 SOS 450395 HAS SOPS 449064 HAS SOUS 41180 HAS SOUPS 41043 WITH SCORE 41493.395
AT ITER 9763 NEW BEST:: SOT 2070478 SOS 450408 HAS SOPS 449077 HAS SOUS 41179 HAS SOUPS 41042 WITH SCORE 41492.408
AT ITER 9768 NEW BEST:: SOT 2070450 SOS 450380 HAS SOPS 449049 HAS SOUS 41151 HAS SOUPS 41014 WITH SCORE 41464.38
AT ITER 9822 NEW BEST:: SOT 2070424 SOS 450354 HAS SOPS 449023 HAS SOUS 41109 HAS SOUPS 40972 WITH SCORE 41422.354
AT ITER 9827 NEW BEST:: SOT 2070378 SOS 450308 HAS SOPS 448977 HAS SOUS 40999 HAS SOUPS 40862 WITH SCORE 41312.308
AT ITER 9855 NEW BEST:: SOT 2070357 SOS 450287 HAS SOPS 448956 HAS SOUS 40969 HAS SOUPS 40832 WITH SCORE 41282.287
AT ITER 9869 NEW BEST:: SOT 2070359 SOS 450293 HAS SOPS 448962 HAS SOUS 40964 HAS SOUPS 40827 WITH SCORE 41277.293
AT ITER 9881 NEW BEST:: SOT 2070311 SOS 450245 HAS SOPS 448914 HAS SOUS 40868 HAS SOUPS 40731 WITH SCORE 41181.245
AT ITER 9894 NEW BEST:: SOT 2070310 SOS 450244 HAS SOPS 448913 HAS SOUS 40866 HAS SOUPS 40729 WITH SCORE 41179.244
AT ITER 9897 NEW BEST:: SOT 2070319 SOS 450253 HAS SOPS 448922 HAS SOUS 40856 HAS SOUPS 40719 WITH SCORE 41169.253
AT ITER 9960 NEW BEST:: SOT 2070381 SOS 450315 HAS SOPS 448984 HAS SOUS 40678 HAS SOUPS 40541 WITH SCORE 40991.315
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 15895452 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16076296 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="PolyORBNT-PT-S10J20"
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 PolyORBNT-PT-S10J20, 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 r299-tall-167873953400760"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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