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-167873953000496.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 PolyORBLF-PT-S02J04T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953000496
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 15K Feb 26 14:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 26 14:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 25K Feb 26 14:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 135K Feb 26 14:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.1K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 33K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 39K Feb 26 14:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 227K Feb 26 14:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 31K Feb 26 14:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 177K Feb 26 14:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.7K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 862K 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 1679495194787

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=PolyORBLF-PT-S02J04T06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 14:26:36] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 14:26:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 14:26:36] [INFO ] Load time of PNML (sax parser for PT used): 101 ms
[2023-03-22 14:26:36] [INFO ] Transformed 476 places.
[2023-03-22 14:26:36] [INFO ] Transformed 920 transitions.
[2023-03-22 14:26:36] [INFO ] Parsed PT model containing 476 places and 920 transitions and 4242 arcs in 174 ms.
[2023-03-22 14:26:36] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 476 places, 920 transitions and 4242 arcs took 11 ms.
Total runtime 216 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S02J04T06
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: 476 places, 920 transitions, 4242 arcs.
AT ITER 0 NEW BEST:: SOT 263058 SOS 152112 HAS SOPS 149919 HAS SOUS 98080 HAS SOUPS 97590 WITH SCORE 97742.112
AT ITER 2 NEW BEST:: SOT 263044 SOS 152098 HAS SOPS 149891 HAS SOUS 98052 HAS SOUPS 97562 WITH SCORE 97714.098
AT ITER 3 NEW BEST:: SOT 263024 SOS 152078 HAS SOPS 149871 HAS SOUS 98004 HAS SOUPS 97514 WITH SCORE 97666.078
AT ITER 4 NEW BEST:: SOT 263004 SOS 152046 HAS SOPS 149784 HAS SOUS 97965 HAS SOUPS 97480 WITH SCORE 97632.046
AT ITER 12 NEW BEST:: SOT 262865 SOS 151848 HAS SOPS 149586 HAS SOUS 97642 HAS SOUPS 97157 WITH SCORE 97308.848
AT ITER 13 NEW BEST:: SOT 262840 SOS 151798 HAS SOPS 149536 HAS SOUS 97595 HAS SOUPS 97110 WITH SCORE 97261.798
AT ITER 18 NEW BEST:: SOT 262840 SOS 151798 HAS SOPS 149536 HAS SOUS 97593 HAS SOUPS 97108 WITH SCORE 97259.798
AT ITER 24 NEW BEST:: SOT 262570 SOS 151522 HAS SOPS 149260 HAS SOUS 97311 HAS SOUPS 96826 WITH SCORE 96977.522
AT ITER 31 NEW BEST:: SOT 262552 SOS 151486 HAS SOPS 149224 HAS SOUS 97275 HAS SOUPS 96790 WITH SCORE 96941.486
AT ITER 36 NEW BEST:: SOT 262508 SOS 151442 HAS SOPS 149180 HAS SOUS 97231 HAS SOUPS 96746 WITH SCORE 96897.442
AT ITER 39 NEW BEST:: SOT 262553 SOS 151378 HAS SOPS 149038 HAS SOUS 97261 HAS SOUPS 96709 WITH SCORE 96860.378
AT ITER 40 NEW BEST:: SOT 262595 SOS 151329 HAS SOPS 148989 HAS SOUS 97212 HAS SOUPS 96660 WITH SCORE 96811.329
AT ITER 41 NEW BEST:: SOT 262595 SOS 150771 HAS SOPS 148431 HAS SOUS 97212 HAS SOUPS 96660 WITH SCORE 96810.771
AT ITER 49 NEW BEST:: SOT 262559 SOS 150483 HAS SOPS 148143 HAS SOUS 97172 HAS SOUPS 96620 WITH SCORE 96770.483
AT ITER 52 NEW BEST:: SOT 262490 SOS 150414 HAS SOPS 148074 HAS SOUS 97148 HAS SOUPS 96596 WITH SCORE 96746.414
AT ITER 58 NEW BEST:: SOT 262470 SOS 150366 HAS SOPS 148026 HAS SOUS 97124 HAS SOUPS 96572 WITH SCORE 96722.366
AT ITER 62 NEW BEST:: SOT 262426 SOS 150327 HAS SOPS 147987 HAS SOUS 97084 HAS SOUPS 96532 WITH SCORE 96682.327
AT ITER 65 NEW BEST:: SOT 261516 SOS 149487 HAS SOPS 147147 HAS SOUS 96244 HAS SOUPS 95692 WITH SCORE 95841.487
AT ITER 66 NEW BEST:: SOT 261344 SOS 148885 HAS SOPS 146545 HAS SOUS 95908 HAS SOUPS 95356 WITH SCORE 95504.885
AT ITER 76 NEW BEST:: SOT 261357 SOS 148250 HAS SOPS 145910 HAS SOUS 95858 HAS SOUPS 95306 WITH SCORE 95454.25
AT ITER 80 NEW BEST:: SOT 261357 SOS 148278 HAS SOPS 145938 HAS SOUS 95830 HAS SOUPS 95278 WITH SCORE 95426.278
AT ITER 84 NEW BEST:: SOT 261357 SOS 148278 HAS SOPS 145938 HAS SOUS 95829 HAS SOUPS 95277 WITH SCORE 95425.278
AT ITER 85 NEW BEST:: SOT 261357 SOS 148298 HAS SOPS 145958 HAS SOUS 95809 HAS SOUPS 95257 WITH SCORE 95405.298
AT ITER 89 NEW BEST:: SOT 261281 SOS 147994 HAS SOPS 145654 HAS SOUS 95684 HAS SOUPS 95132 WITH SCORE 95279.994
AT ITER 107 NEW BEST:: SOT 261266 SOS 147904 HAS SOPS 145564 HAS SOUS 95654 HAS SOUPS 95102 WITH SCORE 95249.904
AT ITER 112 NEW BEST:: SOT 261190 SOS 147828 HAS SOPS 145488 HAS SOUS 95578 HAS SOUPS 95026 WITH SCORE 95173.828
AT ITER 114 NEW BEST:: SOT 261146 SOS 147652 HAS SOPS 145312 HAS SOUS 95534 HAS SOUPS 94982 WITH SCORE 95129.652
AT ITER 116 NEW BEST:: SOT 260990 SOS 147418 HAS SOPS 145078 HAS SOUS 95144 HAS SOUPS 94592 WITH SCORE 94739.418
AT ITER 117 NEW BEST:: SOT 260954 SOS 147267 HAS SOPS 144952 HAS SOUS 95082 HAS SOUPS 94530 WITH SCORE 94677.267
AT ITER 123 NEW BEST:: SOT 260114 SOS 146687 HAS SOPS 144372 HAS SOUS 94990 HAS SOUPS 94438 WITH SCORE 94584.687
AT ITER 124 NEW BEST:: SOT 260114 SOS 146687 HAS SOPS 144372 HAS SOUS 94960 HAS SOUPS 94408 WITH SCORE 94554.687
AT ITER 128 NEW BEST:: SOT 260065 SOS 146613 HAS SOPS 144298 HAS SOUS 94886 HAS SOUPS 94334 WITH SCORE 94480.613
AT ITER 134 NEW BEST:: SOT 259787 SOS 146482 HAS SOPS 144167 HAS SOUS 94842 HAS SOUPS 94290 WITH SCORE 94436.482
AT ITER 135 NEW BEST:: SOT 259766 SOS 146416 HAS SOPS 144101 HAS SOUS 94697 HAS SOUPS 94145 WITH SCORE 94291.416
AT ITER 137 NEW BEST:: SOT 259719 SOS 145950 HAS SOPS 143635 HAS SOUS 94696 HAS SOUPS 94144 WITH SCORE 94289.95
AT ITER 144 NEW BEST:: SOT 259719 SOS 145950 HAS SOPS 143635 HAS SOUS 94663 HAS SOUPS 94111 WITH SCORE 94256.95
AT ITER 149 NEW BEST:: SOT 259607 SOS 145502 HAS SOPS 143187 HAS SOUS 94462 HAS SOUPS 93910 WITH SCORE 94055.502
AT ITER 156 NEW BEST:: SOT 259492 SOS 145387 HAS SOPS 143048 HAS SOUS 94347 HAS SOUPS 93791 WITH SCORE 93936.387
AT ITER 160 NEW BEST:: SOT 259492 SOS 145354 HAS SOPS 143015 HAS SOUS 94314 HAS SOUPS 93758 WITH SCORE 93903.354
AT ITER 167 NEW BEST:: SOT 259421 SOS 145128 HAS SOPS 142789 HAS SOUS 93735 HAS SOUPS 93179 WITH SCORE 93324.128
AT ITER 169 NEW BEST:: SOT 259362 SOS 145094 HAS SOPS 142814 HAS SOUS 93676 HAS SOUPS 93120 WITH SCORE 93265.094
AT ITER 180 NEW BEST:: SOT 259064 SOS 144496 HAS SOPS 142216 HAS SOUS 93507 HAS SOUPS 92951 WITH SCORE 93095.496
AT ITER 186 NEW BEST:: SOT 259064 SOS 144486 HAS SOPS 142206 HAS SOUS 93497 HAS SOUPS 92941 WITH SCORE 93085.486
AT ITER 190 NEW BEST:: SOT 258825 SOS 144254 HAS SOPS 141974 HAS SOUS 93327 HAS SOUPS 92771 WITH SCORE 92915.254
AT ITER 198 NEW BEST:: SOT 258820 SOS 144249 HAS SOPS 141969 HAS SOUS 93313 HAS SOUPS 92757 WITH SCORE 92901.249
AT ITER 202 NEW BEST:: SOT 258744 SOS 144147 HAS SOPS 141932 HAS SOUS 93269 HAS SOUPS 92713 WITH SCORE 92857.147
AT ITER 204 NEW BEST:: SOT 258693 SOS 143994 HAS SOPS 141779 HAS SOUS 93169 HAS SOUPS 92613 WITH SCORE 92756.994
AT ITER 205 NEW BEST:: SOT 258559 SOS 143659 HAS SOPS 141444 HAS SOUS 92935 HAS SOUPS 92379 WITH SCORE 92522.659
AT ITER 208 NEW BEST:: SOT 258202 SOS 143448 HAS SOPS 141233 HAS SOUS 92766 HAS SOUPS 92210 WITH SCORE 92353.448
AT ITER 215 NEW BEST:: SOT 257290 SOS 142615 HAS SOPS 140400 HAS SOUS 92425 HAS SOUPS 91869 WITH SCORE 92011.615
AT ITER 218 NEW BEST:: SOT 257303 SOS 142583 HAS SOPS 140368 HAS SOUS 92401 HAS SOUPS 91845 WITH SCORE 91987.583
AT ITER 222 NEW BEST:: SOT 257334 SOS 142773 HAS SOPS 140558 HAS SOUS 92207 HAS SOUPS 91651 WITH SCORE 91793.773
AT ITER 224 NEW BEST:: SOT 256968 SOS 142523 HAS SOPS 140308 HAS SOUS 91868 HAS SOUPS 91312 WITH SCORE 91454.523
AT ITER 230 NEW BEST:: SOT 256955 SOS 142539 HAS SOPS 140324 HAS SOUS 91730 HAS SOUPS 91174 WITH SCORE 91316.539
AT ITER 249 NEW BEST:: SOT 256909 SOS 142516 HAS SOPS 140301 HAS SOUS 91671 HAS SOUPS 91115 WITH SCORE 91257.516
AT ITER 250 NEW BEST:: SOT 256809 SOS 142416 HAS SOPS 140201 HAS SOUS 91498 HAS SOUPS 90942 WITH SCORE 91084.416
AT ITER 257 NEW BEST:: SOT 256779 SOS 142201 HAS SOPS 139986 HAS SOUS 91352 HAS SOUPS 90796 WITH SCORE 90938.201
AT ITER 259 NEW BEST:: SOT 256775 SOS 142197 HAS SOPS 139982 HAS SOUS 91348 HAS SOUPS 90792 WITH SCORE 90934.197
AT ITER 260 NEW BEST:: SOT 256565 SOS 142057 HAS SOPS 139842 HAS SOUS 91188 HAS SOUPS 90632 WITH SCORE 90774.057
AT ITER 262 NEW BEST:: SOT 256552 SOS 141940 HAS SOPS 139725 HAS SOUS 91149 HAS SOUPS 90593 WITH SCORE 90734.94
AT ITER 263 NEW BEST:: SOT 256501 SOS 141838 HAS SOPS 139623 HAS SOUS 90987 HAS SOUPS 90431 WITH SCORE 90572.838
AT ITER 264 NEW BEST:: SOT 256419 SOS 141674 HAS SOPS 139459 HAS SOUS 90853 HAS SOUPS 90297 WITH SCORE 90438.674
AT ITER 266 NEW BEST:: SOT 256301 SOS 141379 HAS SOPS 139164 HAS SOUS 90735 HAS SOUPS 90179 WITH SCORE 90320.379
AT ITER 270 NEW BEST:: SOT 256296 SOS 141374 HAS SOPS 139159 HAS SOUS 90735 HAS SOUPS 90179 WITH SCORE 90320.374
AT ITER 283 NEW BEST:: SOT 256293 SOS 141368 HAS SOPS 139153 HAS SOUS 90729 HAS SOUPS 90173 WITH SCORE 90314.368
AT ITER 289 NEW BEST:: SOT 256293 SOS 141336 HAS SOPS 139121 HAS SOUS 90697 HAS SOUPS 90141 WITH SCORE 90282.336
AT ITER 296 NEW BEST:: SOT 256277 SOS 141320 HAS SOPS 139105 HAS SOUS 90649 HAS SOUPS 90093 WITH SCORE 90234.32
AT ITER 298 NEW BEST:: SOT 255757 SOS 140926 HAS SOPS 138711 HAS SOUS 90283 HAS SOUPS 89727 WITH SCORE 89867.926
AT ITER 301 NEW BEST:: SOT 255562 SOS 140876 HAS SOPS 138661 HAS SOUS 90147 HAS SOUPS 89591 WITH SCORE 89731.876
AT ITER 311 NEW BEST:: SOT 255396 SOS 140512 HAS SOPS 138297 HAS SOUS 89313 HAS SOUPS 88757 WITH SCORE 88897.512
AT ITER 317 NEW BEST:: SOT 255395 SOS 140509 HAS SOPS 138294 HAS SOUS 89311 HAS SOUPS 88755 WITH SCORE 88895.509
AT ITER 334 NEW BEST:: SOT 254307 SOS 159305 HAS SOPS 158008 HAS SOUS 88595 HAS SOUPS 88192 WITH SCORE 88351.305
AT ITER 342 NEW BEST:: SOT 254098 SOS 159234 HAS SOPS 157937 HAS SOUS 88347 HAS SOUPS 87944 WITH SCORE 88103.234
AT ITER 343 NEW BEST:: SOT 253988 SOS 158959 HAS SOPS 157662 HAS SOUS 88154 HAS SOUPS 87751 WITH SCORE 87909.959
AT ITER 347 NEW BEST:: SOT 253939 SOS 159534 HAS SOPS 157296 HAS SOUS 88266 HAS SOUPS 87699 WITH SCORE 87858.534
AT ITER 359 NEW BEST:: SOT 253731 SOS 159313 HAS SOPS 157075 HAS SOUS 88154 HAS SOUPS 87587 WITH SCORE 87746.313
AT ITER 362 NEW BEST:: SOT 253701 SOS 159283 HAS SOPS 157048 HAS SOUS 88105 HAS SOUPS 87538 WITH SCORE 87697.283
AT ITER 379 NEW BEST:: SOT 253648 SOS 159336 HAS SOPS 157154 HAS SOUS 88091 HAS SOUPS 87524 WITH SCORE 87683.336
AT ITER 389 NEW BEST:: SOT 253628 SOS 159309 HAS SOPS 157127 HAS SOUS 88064 HAS SOUPS 87497 WITH SCORE 87656.309
AT ITER 393 NEW BEST:: SOT 253502 SOS 159255 HAS SOPS 157145 HAS SOUS 87942 HAS SOUPS 87375 WITH SCORE 87534.255
AT ITER 401 NEW BEST:: SOT 253267 SOS 159067 HAS SOPS 156957 HAS SOUS 87811 HAS SOUPS 87244 WITH SCORE 87403.067
AT ITER 404 NEW BEST:: SOT 253205 SOS 158973 HAS SOPS 156863 HAS SOUS 87687 HAS SOUPS 87120 WITH SCORE 87278.973
AT ITER 410 NEW BEST:: SOT 252538 SOS 158481 HAS SOPS 156371 HAS SOUS 87397 HAS SOUPS 86830 WITH SCORE 86988.481
AT ITER 411 NEW BEST:: SOT 252164 SOS 158147 HAS SOPS 155997 HAS SOUS 87271 HAS SOUPS 86696 WITH SCORE 86854.147
AT ITER 414 NEW BEST:: SOT 252184 SOS 158255 HAS SOPS 156105 HAS SOUS 86999 HAS SOUPS 86424 WITH SCORE 86582.255
AT ITER 425 NEW BEST:: SOT 252084 SOS 157939 HAS SOPS 155789 HAS SOUS 86880 HAS SOUPS 86305 WITH SCORE 86462.939
AT ITER 430 NEW BEST:: SOT 252082 SOS 157937 HAS SOPS 155785 HAS SOUS 86876 HAS SOUPS 86301 WITH SCORE 86458.937
AT ITER 432 NEW BEST:: SOT 251664 SOS 157813 HAS SOPS 155661 HAS SOUS 86610 HAS SOUPS 86035 WITH SCORE 86192.813
AT ITER 443 NEW BEST:: SOT 251409 SOS 157533 HAS SOPS 155381 HAS SOUS 86374 HAS SOUPS 85799 WITH SCORE 85956.533
AT ITER 444 NEW BEST:: SOT 250781 SOS 156899 HAS SOPS 154747 HAS SOUS 86104 HAS SOUPS 85529 WITH SCORE 85685.899
AT ITER 445 NEW BEST:: SOT 250773 SOS 156867 HAS SOPS 154715 HAS SOUS 86088 HAS SOUPS 85513 WITH SCORE 85669.867
AT ITER 447 NEW BEST:: SOT 250512 SOS 156250 HAS SOPS 154098 HAS SOUS 85623 HAS SOUPS 85048 WITH SCORE 85204.25
AT ITER 448 NEW BEST:: SOT 250507 SOS 156284 HAS SOPS 154132 HAS SOUS 85588 HAS SOUPS 85013 WITH SCORE 85169.284
AT ITER 451 NEW BEST:: SOT 250490 SOS 156206 HAS SOPS 154054 HAS SOUS 85359 HAS SOUPS 84784 WITH SCORE 84940.206
AT ITER 454 NEW BEST:: SOT 250042 SOS 157598 HAS SOPS 154583 HAS SOUS 85201 HAS SOUPS 84466 WITH SCORE 84623.598
AT ITER 455 NEW BEST:: SOT 249361 SOS 156589 HAS SOPS 153574 HAS SOUS 84764 HAS SOUPS 84029 WITH SCORE 84185.589
AT ITER 457 NEW BEST:: SOT 249163 SOS 155896 HAS SOPS 152881 HAS SOUS 84368 HAS SOUPS 83633 WITH SCORE 83788.896
AT ITER 462 NEW BEST:: SOT 249076 SOS 155671 HAS SOPS 152656 HAS SOUS 84258 HAS SOUPS 83523 WITH SCORE 83678.671
AT ITER 469 NEW BEST:: SOT 249076 SOS 155629 HAS SOPS 152614 HAS SOUS 84258 HAS SOUPS 83523 WITH SCORE 83678.629
AT ITER 475 NEW BEST:: SOT 249076 SOS 155539 HAS SOPS 152524 HAS SOUS 84235 HAS SOUPS 83500 WITH SCORE 83655.539
AT ITER 490 NEW BEST:: SOT 248886 SOS 155061 HAS SOPS 152046 HAS SOUS 84041 HAS SOUPS 83306 WITH SCORE 83461.061
AT ITER 493 NEW BEST:: SOT 248726 SOS 154907 HAS SOPS 151892 HAS SOUS 83867 HAS SOUPS 83132 WITH SCORE 83286.907
AT ITER 494 NEW BEST:: SOT 248688 SOS 154762 HAS SOPS 151747 HAS SOUS 83830 HAS SOUPS 83095 WITH SCORE 83249.762
AT ITER 499 NEW BEST:: SOT 248395 SOS 154607 HAS SOPS 151592 HAS SOUS 83727 HAS SOUPS 82992 WITH SCORE 83146.607
AT ITER 502 NEW BEST:: SOT 248344 SOS 154588 HAS SOPS 151573 HAS SOUS 83541 HAS SOUPS 82806 WITH SCORE 82960.588
AT ITER 507 NEW BEST:: SOT 247700 SOS 154681 HAS SOPS 151666 HAS SOUS 82878 HAS SOUPS 82143 WITH SCORE 82297.681
AT ITER 508 NEW BEST:: SOT 247700 SOS 154717 HAS SOPS 151702 HAS SOUS 82846 HAS SOUPS 82111 WITH SCORE 82265.717
AT ITER 520 NEW BEST:: SOT 247730 SOS 154747 HAS SOPS 151732 HAS SOUS 82843 HAS SOUPS 82108 WITH SCORE 82262.747
AT ITER 521 NEW BEST:: SOT 247730 SOS 154745 HAS SOPS 151730 HAS SOUS 82687 HAS SOUPS 81952 WITH SCORE 82106.745
AT ITER 524 NEW BEST:: SOT 247730 SOS 154710 HAS SOPS 151695 HAS SOUS 82642 HAS SOUPS 81907 WITH SCORE 82061.71
AT ITER 531 NEW BEST:: SOT 246666 SOS 153716 HAS SOPS 150631 HAS SOUS 82261 HAS SOUPS 81512 WITH SCORE 81665.716
AT ITER 532 NEW BEST:: SOT 246657 SOS 153707 HAS SOPS 150622 HAS SOUS 82252 HAS SOUPS 81503 WITH SCORE 81656.707
AT ITER 535 NEW BEST:: SOT 246723 SOS 153773 HAS SOPS 150688 HAS SOUS 82174 HAS SOUPS 81425 WITH SCORE 81578.773
AT ITER 537 NEW BEST:: SOT 246660 SOS 153727 HAS SOPS 150642 HAS SOUS 81923 HAS SOUPS 81174 WITH SCORE 81327.727
AT ITER 540 NEW BEST:: SOT 246502 SOS 153631 HAS SOPS 150546 HAS SOUS 81828 HAS SOUPS 81079 WITH SCORE 81232.631
AT ITER 554 NEW BEST:: SOT 246502 SOS 153562 HAS SOPS 150477 HAS SOUS 81742 HAS SOUPS 80993 WITH SCORE 81146.562
AT ITER 579 NEW BEST:: SOT 246398 SOS 153458 HAS SOPS 150373 HAS SOUS 81603 HAS SOUPS 80854 WITH SCORE 81007.458
AT ITER 581 NEW BEST:: SOT 246305 SOS 153278 HAS SOPS 150193 HAS SOUS 81288 HAS SOUPS 80539 WITH SCORE 80692.278
AT ITER 582 NEW BEST:: SOT 246247 SOS 153220 HAS SOPS 150135 HAS SOUS 81230 HAS SOUPS 80481 WITH SCORE 80634.22
AT ITER 593 NEW BEST:: SOT 246243 SOS 153212 HAS SOPS 150127 HAS SOUS 81224 HAS SOUPS 80475 WITH SCORE 80628.212
AT ITER 595 NEW BEST:: SOT 246113 SOS 153108 HAS SOPS 149763 HAS SOUS 81120 HAS SOUPS 80319 WITH SCORE 80472.108
AT ITER 602 NEW BEST:: SOT 246084 SOS 152893 HAS SOPS 149548 HAS SOUS 81062 HAS SOUPS 80261 WITH SCORE 80413.893
AT ITER 614 NEW BEST:: SOT 245972 SOS 152768 HAS SOPS 149423 HAS SOUS 80857 HAS SOUPS 80056 WITH SCORE 80208.768
AT ITER 617 NEW BEST:: SOT 245922 SOS 152718 HAS SOPS 149373 HAS SOUS 80757 HAS SOUPS 79956 WITH SCORE 80108.718
AT ITER 618 NEW BEST:: SOT 245919 SOS 152715 HAS SOPS 149370 HAS SOUS 80754 HAS SOUPS 79953 WITH SCORE 80105.715
AT ITER 620 NEW BEST:: SOT 246082 SOS 153071 HAS SOPS 149726 HAS SOUS 80526 HAS SOUPS 79725 WITH SCORE 79878.071
AT ITER 624 NEW BEST:: SOT 245900 SOS 153000 HAS SOPS 149655 HAS SOUS 80477 HAS SOUPS 79676 WITH SCORE 79829.0
AT ITER 631 NEW BEST:: SOT 246169 SOS 153337 HAS SOPS 149992 HAS SOUS 80022 HAS SOUPS 79221 WITH SCORE 79374.337
AT ITER 640 NEW BEST:: SOT 246156 SOS 153680 HAS SOPS 150339 HAS SOUS 79978 HAS SOUPS 79177 WITH SCORE 79330.68
AT ITER 642 NEW BEST:: SOT 246132 SOS 153656 HAS SOPS 150315 HAS SOUS 79954 HAS SOUPS 79153 WITH SCORE 79306.656
AT ITER 653 NEW BEST:: SOT 246122 SOS 153524 HAS SOPS 150176 HAS SOUS 79934 HAS SOUPS 79133 WITH SCORE 79286.524
AT ITER 663 NEW BEST:: SOT 246112 SOS 153514 HAS SOPS 150166 HAS SOUS 79904 HAS SOUPS 79103 WITH SCORE 79256.514
AT ITER 664 NEW BEST:: SOT 245094 SOS 152810 HAS SOPS 148989 HAS SOUS 78803 HAS SOUPS 77919 WITH SCORE 78071.81
AT ITER 678 NEW BEST:: SOT 245038 SOS 152754 HAS SOPS 148954 HAS SOUS 78671 HAS SOUPS 77787 WITH SCORE 77939.754
AT ITER 684 NEW BEST:: SOT 245038 SOS 152632 HAS SOPS 148810 HAS SOUS 78527 HAS SOUPS 77643 WITH SCORE 77795.632
AT ITER 701 NEW BEST:: SOT 245052 SOS 152628 HAS SOPS 148806 HAS SOUS 78184 HAS SOUPS 77300 WITH SCORE 77452.628
AT ITER 705 NEW BEST:: SOT 245052 SOS 152405 HAS SOPS 148583 HAS SOUS 78172 HAS SOUPS 77288 WITH SCORE 77440.405
AT ITER 725 NEW BEST:: SOT 244792 SOS 152080 HAS SOPS 148193 HAS SOUS 77847 HAS SOUPS 76963 WITH SCORE 77115.08
AT ITER 726 NEW BEST:: SOT 244792 SOS 152566 HAS SOPS 148679 HAS SOUS 77766 HAS SOUPS 76882 WITH SCORE 77034.566
AT ITER 736 NEW BEST:: SOT 243959 SOS 151709 HAS SOPS 147822 HAS SOUS 77419 HAS SOUPS 76535 WITH SCORE 76686.709
AT ITER 750 NEW BEST:: SOT 243813 SOS 151634 HAS SOPS 147815 HAS SOUS 77412 HAS SOUPS 76529 WITH SCORE 76680.634
AT ITER 753 NEW BEST:: SOT 243813 SOS 151634 HAS SOPS 147815 HAS SOUS 77396 HAS SOUPS 76513 WITH SCORE 76664.634
AT ITER 769 NEW BEST:: SOT 243791 SOS 151612 HAS SOPS 147775 HAS SOUS 77356 HAS SOUPS 76473 WITH SCORE 76624.612
AT ITER 772 NEW BEST:: SOT 243741 SOS 151537 HAS SOPS 147700 HAS SOUS 77224 HAS SOUPS 76341 WITH SCORE 76492.537
AT ITER 773 NEW BEST:: SOT 243976 SOS 151772 HAS SOPS 147935 HAS SOUS 77056 HAS SOUPS 76173 WITH SCORE 76324.772
AT ITER 774 NEW BEST:: SOT 243801 SOS 151673 HAS SOPS 147917 HAS SOUS 77028 HAS SOUPS 76145 WITH SCORE 76296.673
AT ITER 787 NEW BEST:: SOT 243353 SOS 151354 HAS SOPS 147598 HAS SOUS 76731 HAS SOUPS 75848 WITH SCORE 75999.354
AT ITER 794 NEW BEST:: SOT 243353 SOS 151299 HAS SOPS 147543 HAS SOUS 76687 HAS SOUPS 75804 WITH SCORE 75955.299
AT ITER 800 NEW BEST:: SOT 243419 SOS 151426 HAS SOPS 147670 HAS SOUS 76498 HAS SOUPS 75615 WITH SCORE 75766.426
AT ITER 818 NEW BEST:: SOT 243420 SOS 151427 HAS SOPS 147662 HAS SOUS 76499 HAS SOUPS 75607 WITH SCORE 75758.427
AT ITER 834 NEW BEST:: SOT 243352 SOS 151288 HAS SOPS 147523 HAS SOUS 76296 HAS SOUPS 75404 WITH SCORE 75555.288
AT ITER 842 NEW BEST:: SOT 243315 SOS 151251 HAS SOPS 147486 HAS SOUS 76094 HAS SOUPS 75202 WITH SCORE 75353.251
AT ITER 849 NEW BEST:: SOT 243311 SOS 151245 HAS SOPS 147480 HAS SOUS 76086 HAS SOUPS 75194 WITH SCORE 75345.245
AT ITER 861 NEW BEST:: SOT 243295 SOS 151213 HAS SOPS 147448 HAS SOUS 76069 HAS SOUPS 75177 WITH SCORE 75328.213
AT ITER 894 NEW BEST:: SOT 242665 SOS 150882 HAS SOPS 147117 HAS SOUS 75777 HAS SOUPS 74885 WITH SCORE 75035.882
AT ITER 899 NEW BEST:: SOT 242630 SOS 150808 HAS SOPS 147043 HAS SOUS 75633 HAS SOUPS 74741 WITH SCORE 74891.808
AT ITER 901 NEW BEST:: SOT 242630 SOS 150773 HAS SOPS 147008 HAS SOUS 75598 HAS SOUPS 74706 WITH SCORE 74856.773
AT ITER 902 NEW BEST:: SOT 242617 SOS 150760 HAS SOPS 146994 HAS SOUS 75579 HAS SOUPS 74687 WITH SCORE 74837.76
AT ITER 909 NEW BEST:: SOT 242615 SOS 150504 HAS SOPS 146738 HAS SOUS 75319 HAS SOUPS 74427 WITH SCORE 74577.504
AT ITER 912 NEW BEST:: SOT 242615 SOS 150482 HAS SOPS 146716 HAS SOUS 75305 HAS SOUPS 74413 WITH SCORE 74563.482
AT ITER 915 NEW BEST:: SOT 242658 SOS 150433 HAS SOPS 146667 HAS SOUS 74332 HAS SOUPS 73440 WITH SCORE 73590.433
AT ITER 919 NEW BEST:: SOT 242662 SOS 150404 HAS SOPS 146638 HAS SOUS 74303 HAS SOUPS 73411 WITH SCORE 73561.404
AT ITER 926 NEW BEST:: SOT 242667 SOS 149876 HAS SOPS 146104 HAS SOUS 74108 HAS SOUPS 73216 WITH SCORE 73365.876
AT ITER 931 NEW BEST:: SOT 242611 SOS 149820 HAS SOPS 146034 HAS SOUS 74024 HAS SOUPS 73132 WITH SCORE 73281.82
AT ITER 932 NEW BEST:: SOT 242581 SOS 149790 HAS SOPS 146004 HAS SOUS 74009 HAS SOUPS 73117 WITH SCORE 73266.79
AT ITER 933 NEW BEST:: SOT 242577 SOS 149743 HAS SOPS 145957 HAS SOUS 73962 HAS SOUPS 73070 WITH SCORE 73219.743
AT ITER 942 NEW BEST:: SOT 242001 SOS 149286 HAS SOPS 145500 HAS SOUS 73805 HAS SOUPS 72913 WITH SCORE 73062.286
AT ITER 946 NEW BEST:: SOT 241997 SOS 149282 HAS SOPS 145496 HAS SOUS 73805 HAS SOUPS 72913 WITH SCORE 73062.282
AT ITER 956 NEW BEST:: SOT 241969 SOS 149211 HAS SOPS 145425 HAS SOUS 73717 HAS SOUPS 72825 WITH SCORE 72974.211
AT ITER 961 NEW BEST:: SOT 241968 SOS 149210 HAS SOPS 145421 HAS SOUS 73687 HAS SOUPS 72795 WITH SCORE 72944.21
AT ITER 962 NEW BEST:: SOT 241941 SOS 149177 HAS SOPS 145419 HAS SOUS 73667 HAS SOUPS 72775 WITH SCORE 72924.177
AT ITER 974 NEW BEST:: SOT 241925 SOS 149152 HAS SOPS 145394 HAS SOUS 73635 HAS SOUPS 72743 WITH SCORE 72892.152
AT ITER 976 NEW BEST:: SOT 241789 SOS 149078 HAS SOPS 145320 HAS SOUS 73471 HAS SOUPS 72579 WITH SCORE 72728.078
AT ITER 985 NEW BEST:: SOT 241875 SOS 149005 HAS SOPS 145247 HAS SOUS 73458 HAS SOUPS 72566 WITH SCORE 72715.005
AT ITER 989 NEW BEST:: SOT 241875 SOS 149005 HAS SOPS 145247 HAS SOUS 73457 HAS SOUPS 72565 WITH SCORE 72714.005
AT ITER 992 NEW BEST:: SOT 241702 SOS 148670 HAS SOPS 144912 HAS SOUS 73179 HAS SOUPS 72287 WITH SCORE 72435.67
AT ITER 1061 NEW BEST:: SOT 241677 SOS 148667 HAS SOPS 144909 HAS SOUS 73151 HAS SOUPS 72259 WITH SCORE 72407.667
AT ITER 1077 NEW BEST:: SOT 241721 SOS 148711 HAS SOPS 144917 HAS SOUS 73132 HAS SOUPS 72240 WITH SCORE 72388.711
AT ITER 1090 NEW BEST:: SOT 241732 SOS 148714 HAS SOPS 144920 HAS SOUS 73097 HAS SOUPS 72205 WITH SCORE 72353.714
AT ITER 1121 NEW BEST:: SOT 241820 SOS 148821 HAS SOPS 145027 HAS SOUS 73003 HAS SOUPS 72111 WITH SCORE 72259.821
AT ITER 1122 NEW BEST:: SOT 241879 SOS 148866 HAS SOPS 145072 HAS SOUS 72964 HAS SOUPS 72072 WITH SCORE 72220.866
AT ITER 1123 NEW BEST:: SOT 241922 SOS 148889 HAS SOPS 145095 HAS SOUS 72617 HAS SOUPS 71725 WITH SCORE 71873.889
AT ITER 1124 NEW BEST:: SOT 241733 SOS 148842 HAS SOPS 145048 HAS SOUS 72496 HAS SOUPS 71604 WITH SCORE 71752.842
AT ITER 1137 NEW BEST:: SOT 241722 SOS 148795 HAS SOPS 145001 HAS SOUS 72368 HAS SOUPS 71476 WITH SCORE 71624.795
AT ITER 1163 NEW BEST:: SOT 241722 SOS 148747 HAS SOPS 144953 HAS SOUS 72368 HAS SOUPS 71476 WITH SCORE 71624.747
AT ITER 1164 NEW BEST:: SOT 241706 SOS 148715 HAS SOPS 144921 HAS SOUS 72336 HAS SOUPS 71444 WITH SCORE 71592.715
AT ITER 1165 NEW BEST:: SOT 241571 SOS 148580 HAS SOPS 144786 HAS SOUS 72201 HAS SOUPS 71309 WITH SCORE 71457.58
AT ITER 1168 NEW BEST:: SOT 241461 SOS 148423 HAS SOPS 144629 HAS SOUS 71911 HAS SOUPS 71019 WITH SCORE 71167.423
AT ITER 1169 NEW BEST:: SOT 241461 SOS 148426 HAS SOPS 144632 HAS SOUS 71875 HAS SOUPS 70983 WITH SCORE 71131.426
AT ITER 1184 NEW BEST:: SOT 241447 SOS 148453 HAS SOPS 144659 HAS SOUS 71861 HAS SOUPS 70969 WITH SCORE 71117.453
AT ITER 1209 NEW BEST:: SOT 241418 SOS 148371 HAS SOPS 144577 HAS SOUS 71822 HAS SOUPS 70930 WITH SCORE 71078.371
AT ITER 1215 NEW BEST:: SOT 241339 SOS 148292 HAS SOPS 144498 HAS SOUS 71664 HAS SOUPS 70772 WITH SCORE 70920.292
AT ITER 1221 NEW BEST:: SOT 241339 SOS 148222 HAS SOPS 144512 HAS SOUS 71494 HAS SOUPS 70616 WITH SCORE 70764.222
AT ITER 1237 NEW BEST:: SOT 241339 SOS 148266 HAS SOPS 144556 HAS SOUS 71472 HAS SOUPS 70594 WITH SCORE 70742.266
AT ITER 1239 NEW BEST:: SOT 241194 SOS 148084 HAS SOPS 144450 HAS SOUS 71446 HAS SOUPS 70571 WITH SCORE 70719.084
AT ITER 1240 NEW BEST:: SOT 241161 SOS 148129 HAS SOPS 144417 HAS SOUS 71426 HAS SOUPS 70538 WITH SCORE 70686.129
AT ITER 1246 NEW BEST:: SOT 241106 SOS 148083 HAS SOPS 144407 HAS SOUS 71416 HAS SOUPS 70528 WITH SCORE 70676.083
AT ITER 1254 NEW BEST:: SOT 241093 SOS 148088 HAS SOPS 144394 HAS SOUS 71361 HAS SOUPS 70470 WITH SCORE 70618.088
AT ITER 1260 NEW BEST:: SOT 237649 SOS 145420 HAS SOPS 141030 HAS SOUS 70292 HAS SOUPS 69284 WITH SCORE 69429.42
AT ITER 1266 NEW BEST:: SOT 237649 SOS 145544 HAS SOPS 141154 HAS SOUS 70224 HAS SOUPS 69216 WITH SCORE 69361.544
AT ITER 1271 NEW BEST:: SOT 237587 SOS 145508 HAS SOPS 141118 HAS SOUS 70196 HAS SOUPS 69188 WITH SCORE 69333.508
AT ITER 1274 NEW BEST:: SOT 237570 SOS 145525 HAS SOPS 141135 HAS SOUS 70162 HAS SOUPS 69154 WITH SCORE 69299.525
AT ITER 1280 NEW BEST:: SOT 237476 SOS 145337 HAS SOPS 140947 HAS SOUS 69974 HAS SOUPS 68966 WITH SCORE 69111.337
AT ITER 1288 NEW BEST:: SOT 237420 SOS 145253 HAS SOPS 140863 HAS SOUS 69834 HAS SOUPS 68826 WITH SCORE 68971.253
AT ITER 1292 NEW BEST:: SOT 237421 SOS 145254 HAS SOPS 140864 HAS SOUS 69833 HAS SOUPS 68825 WITH SCORE 68970.254
AT ITER 1312 NEW BEST:: SOT 237421 SOS 145254 HAS SOPS 140864 HAS SOUS 69819 HAS SOUPS 68811 WITH SCORE 68956.254
AT ITER 1315 NEW BEST:: SOT 237421 SOS 145474 HAS SOPS 141084 HAS SOUS 69797 HAS SOUPS 68789 WITH SCORE 68934.474
AT ITER 1330 NEW BEST:: SOT 237416 SOS 145479 HAS SOPS 141074 HAS SOUS 69787 HAS SOUPS 68764 WITH SCORE 68909.479
AT ITER 1337 NEW BEST:: SOT 237369 SOS 145479 HAS SOPS 141074 HAS SOUS 69771 HAS SOUPS 68748 WITH SCORE 68893.479
AT ITER 1345 NEW BEST:: SOT 237344 SOS 145454 HAS SOPS 141049 HAS SOUS 69735 HAS SOUPS 68712 WITH SCORE 68857.454
AT ITER 1372 NEW BEST:: SOT 237283 SOS 145515 HAS SOPS 141159 HAS SOUS 69613 HAS SOUPS 68639 WITH SCORE 68784.515
AT ITER 1377 NEW BEST:: SOT 237283 SOS 145460 HAS SOPS 141104 HAS SOUS 69473 HAS SOUPS 68499 WITH SCORE 68644.46
AT ITER 1386 NEW BEST:: SOT 237249 SOS 145442 HAS SOPS 141086 HAS SOUS 69427 HAS SOUPS 68453 WITH SCORE 68598.442
AT ITER 1391 NEW BEST:: SOT 237246 SOS 145439 HAS SOPS 141083 HAS SOUS 69424 HAS SOUPS 68450 WITH SCORE 68595.439
AT ITER 1402 NEW BEST:: SOT 237309 SOS 145633 HAS SOPS 141277 HAS SOUS 69411 HAS SOUPS 68437 WITH SCORE 68582.633
AT ITER 1420 NEW BEST:: SOT 237301 SOS 145625 HAS SOPS 141269 HAS SOUS 69411 HAS SOUPS 68437 WITH SCORE 68582.625
AT ITER 1425 NEW BEST:: SOT 237478 SOS 145313 HAS SOPS 140957 HAS SOUS 69079 HAS SOUPS 68105 WITH SCORE 68250.313
AT ITER 1442 NEW BEST:: SOT 237502 SOS 145334 HAS SOPS 140978 HAS SOUS 69046 HAS SOUPS 68072 WITH SCORE 68217.334
AT ITER 1455 NEW BEST:: SOT 237493 SOS 145325 HAS SOPS 140969 HAS SOUS 69037 HAS SOUPS 68063 WITH SCORE 68208.325
AT ITER 1457 NEW BEST:: SOT 237487 SOS 145329 HAS SOPS 140973 HAS SOUS 69035 HAS SOUPS 68061 WITH SCORE 68206.329
AT ITER 1466 NEW BEST:: SOT 237472 SOS 145317 HAS SOPS 140961 HAS SOUS 69032 HAS SOUPS 68058 WITH SCORE 68203.317
AT ITER 1470 NEW BEST:: SOT 237430 SOS 145160 HAS SOPS 140804 HAS SOUS 68990 HAS SOUPS 68016 WITH SCORE 68161.16
AT ITER 1499 NEW BEST:: SOT 237430 SOS 145286 HAS SOPS 140930 HAS SOUS 68969 HAS SOUPS 67995 WITH SCORE 68140.286
AT ITER 1505 NEW BEST:: SOT 237388 SOS 145191 HAS SOPS 140835 HAS SOUS 68933 HAS SOUPS 67959 WITH SCORE 68104.191
AT ITER 1519 NEW BEST:: SOT 237355 SOS 144960 HAS SOPS 140802 HAS SOUS 68737 HAS SOUPS 67796 WITH SCORE 67940.96
AT ITER 1529 NEW BEST:: SOT 237345 SOS 144950 HAS SOPS 140787 HAS SOUS 68717 HAS SOUPS 67776 WITH SCORE 67920.95
AT ITER 1554 NEW BEST:: SOT 237360 SOS 144910 HAS SOPS 140695 HAS SOUS 68695 HAS SOUPS 67754 WITH SCORE 67898.91
AT ITER 1558 NEW BEST:: SOT 237321 SOS 144997 HAS SOPS 140782 HAS SOUS 68534 HAS SOUPS 67593 WITH SCORE 67737.997
AT ITER 1559 NEW BEST:: SOT 237316 SOS 144964 HAS SOPS 140749 HAS SOUS 68516 HAS SOUPS 67575 WITH SCORE 67719.964
AT ITER 1566 NEW BEST:: SOT 237184 SOS 145039 HAS SOPS 140824 HAS SOUS 68403 HAS SOUPS 67462 WITH SCORE 67607.039
AT ITER 1567 NEW BEST:: SOT 237184 SOS 145015 HAS SOPS 140800 HAS SOUS 68403 HAS SOUPS 67462 WITH SCORE 67607.015
AT ITER 1571 NEW BEST:: SOT 237091 SOS 144993 HAS SOPS 140778 HAS SOUS 68303 HAS SOUPS 67362 WITH SCORE 67506.993
AT ITER 1581 NEW BEST:: SOT 237081 SOS 144938 HAS SOPS 140723 HAS SOUS 68289 HAS SOUPS 67348 WITH SCORE 67492.938
AT ITER 1598 NEW BEST:: SOT 237081 SOS 144938 HAS SOPS 140723 HAS SOUS 68286 HAS SOUPS 67345 WITH SCORE 67489.938
AT ITER 1603 NEW BEST:: SOT 237071 SOS 145051 HAS SOPS 140836 HAS SOUS 68266 HAS SOUPS 67325 WITH SCORE 67470.051
AT ITER 1605 NEW BEST:: SOT 236996 SOS 144976 HAS SOPS 140761 HAS SOUS 68107 HAS SOUPS 67166 WITH SCORE 67310.976
AT ITER 1613 NEW BEST:: SOT 236985 SOS 144965 HAS SOPS 140750 HAS SOUS 68096 HAS SOUPS 67155 WITH SCORE 67299.965
AT ITER 1614 NEW BEST:: SOT 236821 SOS 144532 HAS SOPS 140317 HAS SOUS 67879 HAS SOUPS 66938 WITH SCORE 67082.532
AT ITER 1618 NEW BEST:: SOT 236818 SOS 144532 HAS SOPS 140317 HAS SOUS 67876 HAS SOUPS 66935 WITH SCORE 67079.532
AT ITER 1627 NEW BEST:: SOT 236818 SOS 144526 HAS SOPS 140327 HAS SOUS 67849 HAS SOUPS 66908 WITH SCORE 67052.526
AT ITER 1638 NEW BEST:: SOT 236826 SOS 144469 HAS SOPS 140270 HAS SOUS 67694 HAS SOUPS 66753 WITH SCORE 66897.469
AT ITER 1644 NEW BEST:: SOT 236775 SOS 144503 HAS SOPS 140202 HAS SOUS 67609 HAS SOUPS 66651 WITH SCORE 66795.503
AT ITER 1653 NEW BEST:: SOT 236860 SOS 144801 HAS SOPS 140500 HAS SOUS 67588 HAS SOUPS 66630 WITH SCORE 66774.801
AT ITER 1658 NEW BEST:: SOT 236845 SOS 144794 HAS SOPS 140493 HAS SOUS 67535 HAS SOUPS 66577 WITH SCORE 66721.794
AT ITER 1661 NEW BEST:: SOT 236845 SOS 144294 HAS SOPS 139993 HAS SOUS 67519 HAS SOUPS 66561 WITH SCORE 66705.294
AT ITER 1662 NEW BEST:: SOT 236988 SOS 145298 HAS SOPS 140385 HAS SOUS 67580 HAS SOUPS 66520 WITH SCORE 66665.298
AT ITER 1674 NEW BEST:: SOT 236981 SOS 145299 HAS SOPS 140386 HAS SOUS 67573 HAS SOUPS 66513 WITH SCORE 66658.299
AT ITER 1684 NEW BEST:: SOT 237530 SOS 145789 HAS SOPS 140876 HAS SOUS 67172 HAS SOUPS 66112 WITH SCORE 66257.789
AT ITER 1698 NEW BEST:: SOT 237530 SOS 145855 HAS SOPS 140942 HAS SOUS 67168 HAS SOUPS 66108 WITH SCORE 66253.855
AT ITER 1704 NEW BEST:: SOT 237527 SOS 145852 HAS SOPS 140939 HAS SOUS 67162 HAS SOUPS 66102 WITH SCORE 66247.852
AT ITER 1712 NEW BEST:: SOT 237351 SOS 145692 HAS SOPS 140779 HAS SOUS 67002 HAS SOUPS 65942 WITH SCORE 66087.692
AT ITER 1718 NEW BEST:: SOT 237306 SOS 145647 HAS SOPS 140767 HAS SOUS 66978 HAS SOUPS 65918 WITH SCORE 66063.647
AT ITER 1726 NEW BEST:: SOT 237300 SOS 145638 HAS SOPS 140758 HAS SOUS 66966 HAS SOUPS 65906 WITH SCORE 66051.638
AT ITER 1733 NEW BEST:: SOT 237232 SOS 145570 HAS SOPS 140711 HAS SOUS 66919 HAS SOUPS 65859 WITH SCORE 66004.57
AT ITER 1758 NEW BEST:: SOT 237061 SOS 145367 HAS SOPS 140508 HAS SOUS 66716 HAS SOUPS 65656 WITH SCORE 65801.367
AT ITER 1785 NEW BEST:: SOT 236822 SOS 145107 HAS SOPS 140248 HAS SOUS 66454 HAS SOUPS 65394 WITH SCORE 65539.107
AT ITER 1806 NEW BEST:: SOT 236694 SOS 144979 HAS SOPS 140120 HAS SOUS 66326 HAS SOUPS 65266 WITH SCORE 65410.979
AT ITER 1818 NEW BEST:: SOT 236689 SOS 144993 HAS SOPS 140134 HAS SOUS 66284 HAS SOUPS 65224 WITH SCORE 65368.993
AT ITER 1825 NEW BEST:: SOT 236745 SOS 145069 HAS SOPS 140210 HAS SOUS 66188 HAS SOUPS 65128 WITH SCORE 65273.069
AT ITER 1827 NEW BEST:: SOT 236667 SOS 144939 HAS SOPS 140054 HAS SOUS 66058 HAS SOUPS 64998 WITH SCORE 65142.939
AT ITER 1853 NEW BEST:: SOT 236742 SOS 144794 HAS SOPS 139909 HAS SOUS 66006 HAS SOUPS 64946 WITH SCORE 65090.794
AT ITER 1858 NEW BEST:: SOT 236742 SOS 144794 HAS SOPS 139900 HAS SOUS 65979 HAS SOUPS 64919 WITH SCORE 65063.794
AT ITER 1866 NEW BEST:: SOT 236739 SOS 144791 HAS SOPS 139897 HAS SOUS 65964 HAS SOUPS 64904 WITH SCORE 65048.791
AT ITER 1874 NEW BEST:: SOT 236417 SOS 144552 HAS SOPS 139658 HAS SOUS 65904 HAS SOUPS 64844 WITH SCORE 64988.552
AT ITER 1883 NEW BEST:: SOT 236433 SOS 144552 HAS SOPS 139658 HAS SOUS 65879 HAS SOUPS 64819 WITH SCORE 64963.552
AT ITER 1888 NEW BEST:: SOT 236433 SOS 144548 HAS SOPS 139654 HAS SOUS 65879 HAS SOUPS 64819 WITH SCORE 64963.548
AT ITER 1890 NEW BEST:: SOT 236377 SOS 144436 HAS SOPS 139542 HAS SOUS 65767 HAS SOUPS 64707 WITH SCORE 64851.436
AT ITER 1898 NEW BEST:: SOT 236301 SOS 144348 HAS SOPS 139436 HAS SOUS 65654 HAS SOUPS 64594 WITH SCORE 64738.348
AT ITER 1919 NEW BEST:: SOT 235769 SOS 144637 HAS SOPS 139725 HAS SOUS 65630 HAS SOUPS 64570 WITH SCORE 64714.637
AT ITER 1923 NEW BEST:: SOT 235743 SOS 144441 HAS SOPS 139529 HAS SOUS 65519 HAS SOUPS 64459 WITH SCORE 64603.441
AT ITER 1926 NEW BEST:: SOT 235098 SOS 143748 HAS SOPS 138836 HAS SOUS 64902 HAS SOUPS 63842 WITH SCORE 63985.748
AT ITER 1927 NEW BEST:: SOT 235049 SOS 143699 HAS SOPS 138787 HAS SOUS 64853 HAS SOUPS 63793 WITH SCORE 63936.699
AT ITER 1930 NEW BEST:: SOT 234809 SOS 143437 HAS SOPS 138525 HAS SOUS 64730 HAS SOUPS 63670 WITH SCORE 63813.437
AT ITER 1936 NEW BEST:: SOT 234795 SOS 143409 HAS SOPS 138497 HAS SOUS 64700 HAS SOUPS 63640 WITH SCORE 63783.409
AT ITER 1943 NEW BEST:: SOT 234421 SOS 143272 HAS SOPS 138360 HAS SOUS 64609 HAS SOUPS 63549 WITH SCORE 63692.272
AT ITER 1950 NEW BEST:: SOT 234259 SOS 142660 HAS SOPS 137748 HAS SOUS 64437 HAS SOUPS 63377 WITH SCORE 63519.66
AT ITER 1970 NEW BEST:: SOT 234206 SOS 142607 HAS SOPS 137695 HAS SOUS 64396 HAS SOUPS 63336 WITH SCORE 63478.607
AT ITER 1973 NEW BEST:: SOT 234151 SOS 142437 HAS SOPS 137525 HAS SOUS 64366 HAS SOUPS 63306 WITH SCORE 63448.437
AT ITER 1976 NEW BEST:: SOT 234118 SOS 142370 HAS SOPS 137458 HAS SOUS 64325 HAS SOUPS 63265 WITH SCORE 63407.37
AT ITER 1977 NEW BEST:: SOT 234030 SOS 142282 HAS SOPS 137370 HAS SOUS 64275 HAS SOUPS 63215 WITH SCORE 63357.282
AT ITER 1982 NEW BEST:: SOT 233965 SOS 142244 HAS SOPS 137332 HAS SOUS 64224 HAS SOUPS 63164 WITH SCORE 63306.244
AT ITER 1990 NEW BEST:: SOT 233941 SOS 142267 HAS SOPS 137355 HAS SOUS 64170 HAS SOUPS 63110 WITH SCORE 63252.267
AT ITER 1991 NEW BEST:: SOT 233929 SOS 142255 HAS SOPS 137348 HAS SOUS 64121 HAS SOUPS 63061 WITH SCORE 63203.255
AT ITER 2028 NEW BEST:: SOT 233807 SOS 142148 HAS SOPS 137273 HAS SOUS 64023 HAS SOUPS 62963 WITH SCORE 63105.148
AT ITER 2034 NEW BEST:: SOT 233772 SOS 142136 HAS SOPS 137261 HAS SOUS 63941 HAS SOUPS 62881 WITH SCORE 63023.136
AT ITER 2039 NEW BEST:: SOT 233764 SOS 142120 HAS SOPS 137245 HAS SOUS 63933 HAS SOUPS 62873 WITH SCORE 63015.12
AT ITER 2056 NEW BEST:: SOT 233762 SOS 142113 HAS SOPS 137238 HAS SOUS 63925 HAS SOUPS 62865 WITH SCORE 63007.113
AT ITER 2060 NEW BEST:: SOT 233812 SOS 142136 HAS SOPS 137261 HAS SOUS 63785 HAS SOUPS 62725 WITH SCORE 62867.136
AT ITER 2061 NEW BEST:: SOT 233824 SOS 142136 HAS SOPS 137261 HAS SOUS 63773 HAS SOUPS 62713 WITH SCORE 62855.136
AT ITER 2080 NEW BEST:: SOT 233694 SOS 141898 HAS SOPS 137023 HAS SOUS 63741 HAS SOUPS 62681 WITH SCORE 62822.898
AT ITER 2095 NEW BEST:: SOT 233640 SOS 141790 HAS SOPS 136915 HAS SOUS 63633 HAS SOUPS 62573 WITH SCORE 62714.79
AT ITER 2103 NEW BEST:: SOT 233642 SOS 141784 HAS SOPS 136909 HAS SOUS 63607 HAS SOUPS 62547 WITH SCORE 62688.784
AT ITER 2149 NEW BEST:: SOT 233491 SOS 141993 HAS SOPS 137118 HAS SOUS 63534 HAS SOUPS 62474 WITH SCORE 62615.993
AT ITER 2153 NEW BEST:: SOT 233137 SOS 141965 HAS SOPS 137090 HAS SOUS 63263 HAS SOUPS 62203 WITH SCORE 62344.965
AT ITER 2157 NEW BEST:: SOT 233049 SOS 142036 HAS SOPS 137134 HAS SOUS 63211 HAS SOUPS 62139 WITH SCORE 62281.036
AT ITER 2164 NEW BEST:: SOT 233235 SOS 141772 HAS SOPS 136870 HAS SOUS 63142 HAS SOUPS 62070 WITH SCORE 62211.772
AT ITER 2190 NEW BEST:: SOT 233236 SOS 141773 HAS SOPS 136871 HAS SOUS 63122 HAS SOUPS 62050 WITH SCORE 62191.773
AT ITER 2202 NEW BEST:: SOT 233247 SOS 141796 HAS SOPS 136894 HAS SOUS 63105 HAS SOUPS 62033 WITH SCORE 62174.796
AT ITER 2216 NEW BEST:: SOT 233247 SOS 141796 HAS SOPS 136894 HAS SOUS 63090 HAS SOUPS 62018 WITH SCORE 62159.796
AT ITER 2217 NEW BEST:: SOT 233183 SOS 141732 HAS SOPS 136894 HAS SOUS 63026 HAS SOUPS 61954 WITH SCORE 62095.732
AT ITER 2230 NEW BEST:: SOT 229478 SOS 139497 HAS SOPS 134659 HAS SOUS 61137 HAS SOUPS 60065 WITH SCORE 60204.497
AT ITER 2247 NEW BEST:: SOT 229457 SOS 139462 HAS SOPS 134624 HAS SOUS 61102 HAS SOUPS 60030 WITH SCORE 60169.462
AT ITER 2257 NEW BEST:: SOT 229430 SOS 139441 HAS SOPS 134603 HAS SOUS 61012 HAS SOUPS 59940 WITH SCORE 60079.441
AT ITER 2277 NEW BEST:: SOT 229430 SOS 139473 HAS SOPS 134635 HAS SOUS 61005 HAS SOUPS 59933 WITH SCORE 60072.473
AT ITER 2278 NEW BEST:: SOT 229424 SOS 139467 HAS SOPS 134629 HAS SOUS 60999 HAS SOUPS 59927 WITH SCORE 60066.467
AT ITER 2286 NEW BEST:: SOT 229424 SOS 139452 HAS SOPS 134614 HAS SOUS 60949 HAS SOUPS 59877 WITH SCORE 60016.452
AT ITER 2290 NEW BEST:: SOT 229416 SOS 139444 HAS SOPS 134606 HAS SOUS 60935 HAS SOUPS 59863 WITH SCORE 60002.444
AT ITER 2291 NEW BEST:: SOT 229379 SOS 139418 HAS SOPS 134580 HAS SOUS 60920 HAS SOUPS 59848 WITH SCORE 59987.418
AT ITER 2294 NEW BEST:: SOT 229379 SOS 139397 HAS SOPS 134559 HAS SOUS 60899 HAS SOUPS 59827 WITH SCORE 59966.397
AT ITER 2296 NEW BEST:: SOT 229343 SOS 139406 HAS SOPS 134568 HAS SOUS 60863 HAS SOUPS 59791 WITH SCORE 59930.406
AT ITER 2304 NEW BEST:: SOT 229326 SOS 139389 HAS SOPS 134551 HAS SOUS 60846 HAS SOUPS 59774 WITH SCORE 59913.389
AT ITER 2306 NEW BEST:: SOT 229170 SOS 139491 HAS SOPS 134653 HAS SOUS 60714 HAS SOUPS 59642 WITH SCORE 59781.491
AT ITER 2308 NEW BEST:: SOT 229109 SOS 139610 HAS SOPS 134745 HAS SOUS 60713 HAS SOUPS 59629 WITH SCORE 59768.61
AT ITER 2316 NEW BEST:: SOT 229105 SOS 139603 HAS SOPS 134738 HAS SOUS 60706 HAS SOUPS 59622 WITH SCORE 59761.603
AT ITER 2323 NEW BEST:: SOT 229105 SOS 139603 HAS SOPS 134738 HAS SOUS 60654 HAS SOUPS 59570 WITH SCORE 59709.603
AT ITER 2329 NEW BEST:: SOT 229085 SOS 139583 HAS SOPS 134718 HAS SOUS 60634 HAS SOUPS 59550 WITH SCORE 59689.583
AT ITER 2333 NEW BEST:: SOT 229085 SOS 139073 HAS SOPS 134208 HAS SOUS 60624 HAS SOUPS 59540 WITH SCORE 59679.073
AT ITER 2350 NEW BEST:: SOT 228967 SOS 138897 HAS SOPS 134095 HAS SOUS 60541 HAS SOUPS 59457 WITH SCORE 59595.897
AT ITER 2354 NEW BEST:: SOT 228630 SOS 139077 HAS SOPS 134275 HAS SOUS 60239 HAS SOUPS 59155 WITH SCORE 59294.077
AT ITER 2370 NEW BEST:: SOT 228582 SOS 139026 HAS SOPS 134224 HAS SOUS 60143 HAS SOUPS 59059 WITH SCORE 59198.026
AT ITER 2382 NEW BEST:: SOT 228478 SOS 138846 HAS SOPS 134126 HAS SOUS 60011 HAS SOUPS 58927 WITH SCORE 59065.846
AT ITER 2389 NEW BEST:: SOT 228469 SOS 138883 HAS SOPS 134163 HAS SOUS 59993 HAS SOUPS 58909 WITH SCORE 59047.883
AT ITER 2416 NEW BEST:: SOT 228414 SOS 138775 HAS SOPS 134055 HAS SOUS 59845 HAS SOUPS 58761 WITH SCORE 58899.775
AT ITER 2497 NEW BEST:: SOT 228337 SOS 138715 HAS SOPS 134003 HAS SOUS 59793 HAS SOUPS 58709 WITH SCORE 58847.715
AT ITER 2501 NEW BEST:: SOT 228297 SOS 138632 HAS SOPS 133920 HAS SOUS 59710 HAS SOUPS 58626 WITH SCORE 58764.632
AT ITER 2506 NEW BEST:: SOT 228219 SOS 138598 HAS SOPS 133886 HAS SOUS 59669 HAS SOUPS 58585 WITH SCORE 58723.598
AT ITER 2526 NEW BEST:: SOT 228177 SOS 138540 HAS SOPS 133828 HAS SOUS 59617 HAS SOUPS 58533 WITH SCORE 58671.54
AT ITER 2528 NEW BEST:: SOT 228204 SOS 138678 HAS SOPS 133836 HAS SOUS 59587 HAS SOUPS 58503 WITH SCORE 58641.678
AT ITER 2562 NEW BEST:: SOT 228216 SOS 138705 HAS SOPS 133863 HAS SOUS 59476 HAS SOUPS 58392 WITH SCORE 58530.705
AT ITER 2565 NEW BEST:: SOT 228216 SOS 138700 HAS SOPS 133858 HAS SOUS 59476 HAS SOUPS 58392 WITH SCORE 58530.7
AT ITER 2582 NEW BEST:: SOT 228216 SOS 138663 HAS SOPS 133821 HAS SOUS 59458 HAS SOUPS 58374 WITH SCORE 58512.663
AT ITER 2586 NEW BEST:: SOT 228204 SOS 138651 HAS SOPS 133809 HAS SOUS 59446 HAS SOUPS 58362 WITH SCORE 58500.651
AT ITER 2590 NEW BEST:: SOT 228185 SOS 138247 HAS SOPS 133405 HAS SOUS 59412 HAS SOUPS 58328 WITH SCORE 58466.247
AT ITER 2600 NEW BEST:: SOT 228182 SOS 138064 HAS SOPS 133131 HAS SOUS 59301 HAS SOUPS 58163 WITH SCORE 58301.064
AT ITER 2602 NEW BEST:: SOT 228181 SOS 138064 HAS SOPS 133131 HAS SOUS 59287 HAS SOUPS 58149 WITH SCORE 58287.064
AT ITER 2608 NEW BEST:: SOT 228142 SOS 138041 HAS SOPS 133108 HAS SOUS 59225 HAS SOUPS 58087 WITH SCORE 58225.041
AT ITER 2611 NEW BEST:: SOT 228151 SOS 138050 HAS SOPS 133117 HAS SOUS 59206 HAS SOUPS 58068 WITH SCORE 58206.05
AT ITER 2621 NEW BEST:: SOT 228197 SOS 138208 HAS SOPS 133275 HAS SOUS 59166 HAS SOUPS 58028 WITH SCORE 58166.208
AT ITER 2634 NEW BEST:: SOT 228197 SOS 138199 HAS SOPS 133266 HAS SOUS 59166 HAS SOUPS 58028 WITH SCORE 58166.199
AT ITER 2636 NEW BEST:: SOT 228169 SOS 138272 HAS SOPS 133339 HAS SOUS 59110 HAS SOUPS 57972 WITH SCORE 58110.272
AT ITER 2640 NEW BEST:: SOT 228189 SOS 138292 HAS SOPS 133359 HAS SOUS 59100 HAS SOUPS 57962 WITH SCORE 58100.292
AT ITER 2654 NEW BEST:: SOT 228189 SOS 138298 HAS SOPS 133365 HAS SOUS 59069 HAS SOUPS 57931 WITH SCORE 58069.298
AT ITER 2662 NEW BEST:: SOT 228189 SOS 128975 HAS SOPS 124042 HAS SOUS 59069 HAS SOUPS 57931 WITH SCORE 58059.975
AT ITER 2671 NEW BEST:: SOT 228201 SOS 128977 HAS SOPS 124044 HAS SOUS 59063 HAS SOUPS 57925 WITH SCORE 58053.977
AT ITER 2706 NEW BEST:: SOT 228171 SOS 129049 HAS SOPS 124116 HAS SOUS 59047 HAS SOUPS 57909 WITH SCORE 58038.049
AT ITER 2707 NEW BEST:: SOT 228111 SOS 128959 HAS SOPS 124026 HAS SOUS 58957 HAS SOUPS 57819 WITH SCORE 57947.959
AT ITER 2720 NEW BEST:: SOT 228105 SOS 128956 HAS SOPS 124023 HAS SOUS 58948 HAS SOUPS 57810 WITH SCORE 57938.956
AT ITER 2730 NEW BEST:: SOT 228042 SOS 129257 HAS SOPS 124324 HAS SOUS 58913 HAS SOUPS 57775 WITH SCORE 57904.257
AT ITER 2733 NEW BEST:: SOT 227659 SOS 128646 HAS SOPS 123713 HAS SOUS 58707 HAS SOUPS 57569 WITH SCORE 57697.646
AT ITER 2753 NEW BEST:: SOT 227653 SOS 128640 HAS SOPS 123707 HAS SOUS 58685 HAS SOUPS 57547 WITH SCORE 57675.64
AT ITER 2769 NEW BEST:: SOT 227622 SOS 128567 HAS SOPS 123634 HAS SOUS 58623 HAS SOUPS 57485 WITH SCORE 57613.567
AT ITER 2779 NEW BEST:: SOT 227612 SOS 128482 HAS SOPS 123639 HAS SOUS 58483 HAS SOUPS 57360 WITH SCORE 57488.482
AT ITER 2787 NEW BEST:: SOT 227608 SOS 128483 HAS SOPS 123640 HAS SOUS 58480 HAS SOUPS 57357 WITH SCORE 57485.483
AT ITER 2790 NEW BEST:: SOT 227534 SOS 128381 HAS SOPS 123538 HAS SOUS 58378 HAS SOUPS 57255 WITH SCORE 57383.381
AT ITER 2797 NEW BEST:: SOT 227552 SOS 128370 HAS SOPS 123529 HAS SOUS 58369 HAS SOUPS 57246 WITH SCORE 57374.37
AT ITER 2809 NEW BEST:: SOT 227413 SOS 128106 HAS SOPS 123265 HAS SOUS 58016 HAS SOUPS 56893 WITH SCORE 57021.106
AT ITER 2847 NEW BEST:: SOT 227289 SOS 127839 HAS SOPS 122998 HAS SOUS 57920 HAS SOUPS 56797 WITH SCORE 56924.839
AT ITER 2850 NEW BEST:: SOT 227314 SOS 127925 HAS SOPS 123084 HAS SOUS 57909 HAS SOUPS 56786 WITH SCORE 56913.925
AT ITER 2852 NEW BEST:: SOT 227145 SOS 127819 HAS SOPS 122978 HAS SOUS 57819 HAS SOUPS 56696 WITH SCORE 56823.819
AT ITER 2861 NEW BEST:: SOT 227145 SOS 127819 HAS SOPS 122986 HAS SOUS 57815 HAS SOUPS 56692 WITH SCORE 56819.819
AT ITER 2866 NEW BEST:: SOT 227053 SOS 127727 HAS SOPS 122894 HAS SOUS 57804 HAS SOUPS 56681 WITH SCORE 56808.727
AT ITER 2890 NEW BEST:: SOT 227032 SOS 127699 HAS SOPS 122866 HAS SOUS 57776 HAS SOUPS 56653 WITH SCORE 56780.699
AT ITER 2902 NEW BEST:: SOT 227103 SOS 127787 HAS SOPS 122954 HAS SOUS 57744 HAS SOUPS 56621 WITH SCORE 56748.787
AT ITER 2926 NEW BEST:: SOT 225033 SOS 125852 HAS SOPS 121019 HAS SOUS 57461 HAS SOUPS 56338 WITH SCORE 56463.852
AT ITER 2927 NEW BEST:: SOT 224942 SOS 125761 HAS SOPS 120928 HAS SOUS 57377 HAS SOUPS 56254 WITH SCORE 56379.761
AT ITER 2946 NEW BEST:: SOT 224938 SOS 125759 HAS SOPS 120926 HAS SOUS 57369 HAS SOUPS 56246 WITH SCORE 56371.759
AT ITER 2958 NEW BEST:: SOT 224929 SOS 125750 HAS SOPS 120917 HAS SOUS 57351 HAS SOUPS 56228 WITH SCORE 56353.75
AT ITER 2960 NEW BEST:: SOT 224924 SOS 125725 HAS SOPS 120892 HAS SOUS 57213 HAS SOUPS 56090 WITH SCORE 56215.725
AT ITER 2965 NEW BEST:: SOT 224784 SOS 125664 HAS SOPS 120831 HAS SOUS 57197 HAS SOUPS 56074 WITH SCORE 56199.664
AT ITER 3021 NEW BEST:: SOT 224669 SOS 125549 HAS SOPS 120716 HAS SOUS 57171 HAS SOUPS 56048 WITH SCORE 56173.549
AT ITER 3025 NEW BEST:: SOT 224631 SOS 125511 HAS SOPS 120678 HAS SOUS 57144 HAS SOUPS 56021 WITH SCORE 56146.511
AT ITER 3033 NEW BEST:: SOT 224619 SOS 125499 HAS SOPS 120666 HAS SOUS 57132 HAS SOUPS 56009 WITH SCORE 56134.499
AT ITER 3035 NEW BEST:: SOT 224619 SOS 125497 HAS SOPS 120664 HAS SOUS 57132 HAS SOUPS 56009 WITH SCORE 56134.497
AT ITER 3083 NEW BEST:: SOT 224614 SOS 125492 HAS SOPS 120659 HAS SOUS 57122 HAS SOUPS 55999 WITH SCORE 56124.492
AT ITER 3102 NEW BEST:: SOT 224495 SOS 125407 HAS SOPS 120574 HAS SOUS 57060 HAS SOUPS 55937 WITH SCORE 56062.407
AT ITER 3120 NEW BEST:: SOT 224495 SOS 125423 HAS SOPS 120590 HAS SOUS 57052 HAS SOUPS 55929 WITH SCORE 56054.423
AT ITER 3121 NEW BEST:: SOT 224439 SOS 125369 HAS SOPS 120536 HAS SOUS 56982 HAS SOUPS 55859 WITH SCORE 55984.369
AT ITER 3129 NEW BEST:: SOT 224318 SOS 125144 HAS SOPS 120311 HAS SOUS 56789 HAS SOUPS 55666 WITH SCORE 55791.144
AT ITER 3131 NEW BEST:: SOT 224373 SOS 125001 HAS SOPS 120168 HAS SOUS 56786 HAS SOUPS 55663 WITH SCORE 55788.001
AT ITER 3136 NEW BEST:: SOT 224386 SOS 124926 HAS SOPS 120093 HAS SOUS 56773 HAS SOUPS 55650 WITH SCORE 55774.926
AT ITER 3139 NEW BEST:: SOT 224386 SOS 124886 HAS SOPS 120059 HAS SOUS 56772 HAS SOUPS 55650 WITH SCORE 55774.886
AT ITER 3142 NEW BEST:: SOT 224386 SOS 124886 HAS SOPS 120059 HAS SOUS 56720 HAS SOUPS 55598 WITH SCORE 55722.886
AT ITER 3148 NEW BEST:: SOT 224328 SOS 124828 HAS SOPS 120001 HAS SOUS 56555 HAS SOUPS 55433 WITH SCORE 55557.828
AT ITER 3178 NEW BEST:: SOT 224401 SOS 124891 HAS SOPS 120064 HAS SOUS 56527 HAS SOUPS 55405 WITH SCORE 55529.891
AT ITER 3180 NEW BEST:: SOT 224400 SOS 124924 HAS SOPS 120106 HAS SOUS 56521 HAS SOUPS 55399 WITH SCORE 55523.924
AT ITER 3206 NEW BEST:: SOT 224212 SOS 124751 HAS SOPS 119933 HAS SOUS 56281 HAS SOUPS 55159 WITH SCORE 55283.751
AT ITER 3212 NEW BEST:: SOT 224197 SOS 124916 HAS SOPS 120098 HAS SOUS 56272 HAS SOUPS 55150 WITH SCORE 55274.916
AT ITER 3234 NEW BEST:: SOT 224197 SOS 124916 HAS SOPS 120098 HAS SOUS 56214 HAS SOUPS 55092 WITH SCORE 55216.916
AT ITER 3239 NEW BEST:: SOT 224195 SOS 124914 HAS SOPS 120096 HAS SOUS 56212 HAS SOUPS 55090 WITH SCORE 55214.914
AT ITER 3242 NEW BEST:: SOT 224115 SOS 124784 HAS SOPS 119966 HAS SOUS 56102 HAS SOUPS 54980 WITH SCORE 55104.784
AT ITER 3294 NEW BEST:: SOT 224090 SOS 124759 HAS SOPS 119941 HAS SOUS 56073 HAS SOUPS 54951 WITH SCORE 55075.759
AT ITER 3297 NEW BEST:: SOT 224102 SOS 124721 HAS SOPS 119903 HAS SOUS 56067 HAS SOUPS 54945 WITH SCORE 55069.721
AT ITER 3317 NEW BEST:: SOT 224102 SOS 124693 HAS SOPS 119875 HAS SOUS 56052 HAS SOUPS 54930 WITH SCORE 55054.693
AT ITER 3354 NEW BEST:: SOT 224096 SOS 124687 HAS SOPS 119869 HAS SOUS 56043 HAS SOUPS 54921 WITH SCORE 55045.687
AT ITER 3372 NEW BEST:: SOT 224085 SOS 124676 HAS SOPS 119852 HAS SOUS 56024 HAS SOUPS 54902 WITH SCORE 55026.676
AT ITER 3383 NEW BEST:: SOT 224045 SOS 124636 HAS SOPS 119812 HAS SOUS 55997 HAS SOUPS 54875 WITH SCORE 54999.636
AT ITER 3417 NEW BEST:: SOT 224045 SOS 124651 HAS SOPS 119827 HAS SOUS 55967 HAS SOUPS 54845 WITH SCORE 54969.651
AT ITER 3434 NEW BEST:: SOT 224539 SOS 125079 HAS SOPS 120255 HAS SOUS 55833 HAS SOUPS 54711 WITH SCORE 54836.079
AT ITER 3446 NEW BEST:: SOT 224506 SOS 125046 HAS SOPS 120219 HAS SOUS 55733 HAS SOUPS 54611 WITH SCORE 54736.046
AT ITER 3491 NEW BEST:: SOT 224499 SOS 125039 HAS SOPS 120212 HAS SOUS 55719 HAS SOUPS 54597 WITH SCORE 54722.039
AT ITER 3494 NEW BEST:: SOT 224499 SOS 125397 HAS SOPS 120570 HAS SOUS 55704 HAS SOUPS 54582 WITH SCORE 54707.397
AT ITER 3499 NEW BEST:: SOT 224408 SOS 125332 HAS SOPS 120505 HAS SOUS 55592 HAS SOUPS 54470 WITH SCORE 54595.332
AT ITER 3512 NEW BEST:: SOT 224318 SOS 125466 HAS SOPS 120673 HAS SOUS 55571 HAS SOUPS 54449 WITH SCORE 54574.466
AT ITER 3533 NEW BEST:: SOT 224366 SOS 125395 HAS SOPS 120602 HAS SOUS 55558 HAS SOUPS 54436 WITH SCORE 54561.395
AT ITER 3551 NEW BEST:: SOT 224318 SOS 125516 HAS SOPS 120723 HAS SOUS 55417 HAS SOUPS 54295 WITH SCORE 54420.516
AT ITER 3582 NEW BEST:: SOT 224278 SOS 125413 HAS SOPS 120620 HAS SOUS 55374 HAS SOUPS 54252 WITH SCORE 54377.413
AT ITER 3602 NEW BEST:: SOT 224244 SOS 125345 HAS SOPS 120552 HAS SOUS 55340 HAS SOUPS 54218 WITH SCORE 54343.345
AT ITER 3608 NEW BEST:: SOT 224256 SOS 125324 HAS SOPS 120531 HAS SOUS 55331 HAS SOUPS 54209 WITH SCORE 54334.324
AT ITER 3628 NEW BEST:: SOT 224222 SOS 125290 HAS SOPS 120497 HAS SOUS 55217 HAS SOUPS 54095 WITH SCORE 54220.29
AT ITER 3636 NEW BEST:: SOT 222431 SOS 123350 HAS SOPS 118557 HAS SOUS 54335 HAS SOUPS 53213 WITH SCORE 53336.35
AT ITER 3653 NEW BEST:: SOT 222426 SOS 123411 HAS SOPS 118618 HAS SOUS 54279 HAS SOUPS 53157 WITH SCORE 53280.411
AT ITER 3674 NEW BEST:: SOT 222426 SOS 123401 HAS SOPS 118608 HAS SOUS 54269 HAS SOUPS 53147 WITH SCORE 53270.401
AT ITER 3676 NEW BEST:: SOT 222426 SOS 123393 HAS SOPS 118600 HAS SOUS 54261 HAS SOUPS 53139 WITH SCORE 53262.393
AT ITER 3680 NEW BEST:: SOT 222399 SOS 123366 HAS SOPS 118573 HAS SOUS 54250 HAS SOUPS 53128 WITH SCORE 53251.366
AT ITER 3714 NEW BEST:: SOT 222119 SOS 123051 HAS SOPS 118258 HAS SOUS 53904 HAS SOUPS 52782 WITH SCORE 52905.051
AT ITER 3736 NEW BEST:: SOT 222060 SOS 123036 HAS SOPS 118251 HAS SOUS 53808 HAS SOUPS 52694 WITH SCORE 52817.036
AT ITER 3751 NEW BEST:: SOT 222048 SOS 123024 HAS SOPS 118239 HAS SOUS 53796 HAS SOUPS 52682 WITH SCORE 52805.024
AT ITER 3753 NEW BEST:: SOT 222037 SOS 123013 HAS SOPS 118228 HAS SOUS 53788 HAS SOUPS 52674 WITH SCORE 52797.013
AT ITER 3759 NEW BEST:: SOT 222038 SOS 123014 HAS SOPS 118207 HAS SOUS 53752 HAS SOUPS 52638 WITH SCORE 52761.014
AT ITER 3766 NEW BEST:: SOT 222024 SOS 121428 HAS SOPS 116621 HAS SOUS 53724 HAS SOUPS 52610 WITH SCORE 52731.428
AT ITER 3783 NEW BEST:: SOT 222036 SOS 121404 HAS SOPS 116596 HAS SOUS 53718 HAS SOUPS 52603 WITH SCORE 52724.404
AT ITER 3791 NEW BEST:: SOT 222019 SOS 121387 HAS SOPS 116579 HAS SOUS 53681 HAS SOUPS 52566 WITH SCORE 52687.387
AT ITER 3811 NEW BEST:: SOT 221995 SOS 121339 HAS SOPS 116531 HAS SOUS 53645 HAS SOUPS 52530 WITH SCORE 52651.339
AT ITER 3829 NEW BEST:: SOT 221988 SOS 121332 HAS SOPS 116524 HAS SOUS 53631 HAS SOUPS 52516 WITH SCORE 52637.332
AT ITER 3834 NEW BEST:: SOT 222053 SOS 121397 HAS SOPS 116589 HAS SOUS 53607 HAS SOUPS 52492 WITH SCORE 52613.397
AT ITER 3849 NEW BEST:: SOT 222053 SOS 121373 HAS SOPS 116589 HAS SOUS 53603 HAS SOUPS 52492 WITH SCORE 52613.373
AT ITER 3879 NEW BEST:: SOT 222086 SOS 121406 HAS SOPS 116622 HAS SOUS 53581 HAS SOUPS 52470 WITH SCORE 52591.406
AT ITER 3882 NEW BEST:: SOT 221965 SOS 121365 HAS SOPS 116581 HAS SOUS 53475 HAS SOUPS 52364 WITH SCORE 52485.365
AT ITER 3887 NEW BEST:: SOT 221963 SOS 121363 HAS SOPS 116579 HAS SOUS 53471 HAS SOUPS 52360 WITH SCORE 52481.363
AT ITER 3896 NEW BEST:: SOT 221982 SOS 121304 HAS SOPS 116520 HAS SOUS 53403 HAS SOUPS 52292 WITH SCORE 52413.304
AT ITER 3897 NEW BEST:: SOT 221983 SOS 121326 HAS SOPS 116542 HAS SOUS 53365 HAS SOUPS 52254 WITH SCORE 52375.326
AT ITER 3899 NEW BEST:: SOT 222055 SOS 121398 HAS SOPS 116588 HAS SOUS 53353 HAS SOUPS 52242 WITH SCORE 52363.398
AT ITER 3929 NEW BEST:: SOT 222028 SOS 121352 HAS SOPS 116542 HAS SOUS 53345 HAS SOUPS 52234 WITH SCORE 52355.352
AT ITER 3940 NEW BEST:: SOT 222026 SOS 121325 HAS SOPS 116515 HAS SOUS 53341 HAS SOUPS 52230 WITH SCORE 52351.325
AT ITER 3957 NEW BEST:: SOT 220413 SOS 119827 HAS SOPS 115017 HAS SOUS 53105 HAS SOUPS 51994 WITH SCORE 52113.827
AT ITER 3968 NEW BEST:: SOT 220405 SOS 119817 HAS SOPS 115007 HAS SOUS 53071 HAS SOUPS 51960 WITH SCORE 52079.817
AT ITER 3976 NEW BEST:: SOT 220432 SOS 119853 HAS SOPS 115043 HAS SOUS 53038 HAS SOUPS 51927 WITH SCORE 52046.853
AT ITER 3983 NEW BEST:: SOT 220440 SOS 119821 HAS SOPS 115011 HAS SOUS 53024 HAS SOUPS 51913 WITH SCORE 52032.821
AT ITER 3986 NEW BEST:: SOT 220418 SOS 119812 HAS SOPS 114967 HAS SOUS 52894 HAS SOUPS 51783 WITH SCORE 51902.812
AT ITER 3993 NEW BEST:: SOT 220418 SOS 119742 HAS SOPS 114897 HAS SOUS 52859 HAS SOUPS 51748 WITH SCORE 51867.742
AT ITER 4019 NEW BEST:: SOT 220505 SOS 119811 HAS SOPS 114966 HAS SOUS 52811 HAS SOUPS 51700 WITH SCORE 51819.811
AT ITER 4035 NEW BEST:: SOT 220423 SOS 119729 HAS SOPS 114884 HAS SOUS 52703 HAS SOUPS 51592 WITH SCORE 51711.729
AT ITER 4047 NEW BEST:: SOT 220360 SOS 119687 HAS SOPS 114842 HAS SOUS 52640 HAS SOUPS 51529 WITH SCORE 51648.687
AT ITER 4052 NEW BEST:: SOT 220332 SOS 119659 HAS SOPS 114814 HAS SOUS 52593 HAS SOUPS 51482 WITH SCORE 51601.659
AT ITER 4079 NEW BEST:: SOT 220357 SOS 119684 HAS SOPS 114839 HAS SOUS 52592 HAS SOUPS 51481 WITH SCORE 51600.684
AT ITER 4128 NEW BEST:: SOT 220311 SOS 119672 HAS SOPS 114827 HAS SOUS 52569 HAS SOUPS 51458 WITH SCORE 51577.672
AT ITER 4132 NEW BEST:: SOT 220311 SOS 119733 HAS SOPS 114888 HAS SOUS 52562 HAS SOUPS 51451 WITH SCORE 51570.733
AT ITER 4133 NEW BEST:: SOT 220276 SOS 119740 HAS SOPS 114895 HAS SOUS 52517 HAS SOUPS 51406 WITH SCORE 51525.74
AT ITER 4142 NEW BEST:: SOT 220254 SOS 119718 HAS SOPS 114873 HAS SOUS 52473 HAS SOUPS 51362 WITH SCORE 51481.718
AT ITER 4151 NEW BEST:: SOT 220248 SOS 119708 HAS SOPS 114863 HAS SOUS 52465 HAS SOUPS 51354 WITH SCORE 51473.708
AT ITER 4163 NEW BEST:: SOT 220267 SOS 119696 HAS SOPS 114893 HAS SOUS 52454 HAS SOUPS 51343 WITH SCORE 51462.696
AT ITER 4223 NEW BEST:: SOT 220247 SOS 119627 HAS SOPS 114824 HAS SOUS 52447 HAS SOUPS 51336 WITH SCORE 51455.627
AT ITER 4233 NEW BEST:: SOT 220180 SOS 119510 HAS SOPS 114707 HAS SOUS 52302 HAS SOUPS 51191 WITH SCORE 51310.51
AT ITER 4257 NEW BEST:: SOT 220168 SOS 119474 HAS SOPS 114671 HAS SOUS 52266 HAS SOUPS 51155 WITH SCORE 51274.474
AT ITER 4296 NEW BEST:: SOT 220146 SOS 119452 HAS SOPS 114649 HAS SOUS 52185 HAS SOUPS 51074 WITH SCORE 51193.452
AT ITER 4311 NEW BEST:: SOT 220101 SOS 119462 HAS SOPS 114627 HAS SOUS 52152 HAS SOUPS 51041 WITH SCORE 51160.462
AT ITER 4318 NEW BEST:: SOT 220068 SOS 119429 HAS SOPS 114594 HAS SOUS 52119 HAS SOUPS 51008 WITH SCORE 51127.429
AT ITER 4358 NEW BEST:: SOT 220068 SOS 119492 HAS SOPS 114657 HAS SOUS 52113 HAS SOUPS 51002 WITH SCORE 51121.492
AT ITER 4361 NEW BEST:: SOT 220067 SOS 119490 HAS SOPS 114654 HAS SOUS 52111 HAS SOUPS 51000 WITH SCORE 51119.49
AT ITER 4371 NEW BEST:: SOT 220063 SOS 119374 HAS SOPS 114538 HAS SOUS 52103 HAS SOUPS 50992 WITH SCORE 51111.374
AT ITER 4387 NEW BEST:: SOT 219892 SOS 119203 HAS SOPS 114367 HAS SOUS 51866 HAS SOUPS 50755 WITH SCORE 50874.203
AT ITER 4400 NEW BEST:: SOT 219891 SOS 119201 HAS SOPS 114365 HAS SOUS 51851 HAS SOUPS 50740 WITH SCORE 50859.201
AT ITER 4434 NEW BEST:: SOT 219835 SOS 119178 HAS SOPS 114342 HAS SOUS 51828 HAS SOUPS 50717 WITH SCORE 50836.178
AT ITER 4442 NEW BEST:: SOT 219562 SOS 118988 HAS SOPS 114152 HAS SOUS 51596 HAS SOUPS 50485 WITH SCORE 50603.988
AT ITER 4481 NEW BEST:: SOT 219543 SOS 118969 HAS SOPS 114133 HAS SOUS 51583 HAS SOUPS 50472 WITH SCORE 50590.969
AT ITER 4501 NEW BEST:: SOT 218524 SOS 117902 HAS SOPS 113066 HAS SOUS 51282 HAS SOUPS 50171 WITH SCORE 50288.902
AT ITER 4514 NEW BEST:: SOT 218542 SOS 117920 HAS SOPS 113084 HAS SOUS 51271 HAS SOUPS 50160 WITH SCORE 50277.92
AT ITER 4525 NEW BEST:: SOT 218542 SOS 117908 HAS SOPS 113072 HAS SOUS 51235 HAS SOUPS 50124 WITH SCORE 50241.908
AT ITER 4561 NEW BEST:: SOT 218522 SOS 117884 HAS SOPS 113048 HAS SOUS 51211 HAS SOUPS 50100 WITH SCORE 50217.884
AT ITER 4574 NEW BEST:: SOT 218523 SOS 117925 HAS SOPS 113079 HAS SOUS 51210 HAS SOUPS 50099 WITH SCORE 50216.925
AT ITER 4586 NEW BEST:: SOT 218639 SOS 118041 HAS SOPS 113195 HAS SOUS 51204 HAS SOUPS 50093 WITH SCORE 50211.041
AT ITER 4623 NEW BEST:: SOT 218627 SOS 117993 HAS SOPS 113147 HAS SOUS 51192 HAS SOUPS 50081 WITH SCORE 50198.993
AT ITER 4634 NEW BEST:: SOT 218627 SOS 117987 HAS SOPS 113141 HAS SOUS 51186 HAS SOUPS 50075 WITH SCORE 50192.987
AT ITER 4636 NEW BEST:: SOT 218613 SOS 117973 HAS SOPS 113129 HAS SOUS 51158 HAS SOUPS 50047 WITH SCORE 50164.973
AT ITER 4641 NEW BEST:: SOT 218568 SOS 117988 HAS SOPS 113144 HAS SOUS 51116 HAS SOUPS 50005 WITH SCORE 50122.988
AT ITER 4643 NEW BEST:: SOT 218571 SOS 117988 HAS SOPS 113143 HAS SOUS 51101 HAS SOUPS 49990 WITH SCORE 50107.988
AT ITER 4660 NEW BEST:: SOT 218580 SOS 117997 HAS SOPS 113152 HAS SOUS 51064 HAS SOUPS 49953 WITH SCORE 50070.997
AT ITER 4663 NEW BEST:: SOT 218372 SOS 117813 HAS SOPS 112944 HAS SOUS 50976 HAS SOUPS 49861 WITH SCORE 49978.813
AT ITER 4678 NEW BEST:: SOT 218285 SOS 117688 HAS SOPS 112819 HAS SOUS 50900 HAS SOUPS 49785 WITH SCORE 49902.688
AT ITER 4693 NEW BEST:: SOT 218200 SOS 117603 HAS SOPS 112734 HAS SOUS 50780 HAS SOUPS 49665 WITH SCORE 49782.603
AT ITER 4707 NEW BEST:: SOT 218200 SOS 117539 HAS SOPS 112670 HAS SOUS 50748 HAS SOUPS 49633 WITH SCORE 49750.539
AT ITER 4728 NEW BEST:: SOT 218131 SOS 117674 HAS SOPS 112805 HAS SOUS 50714 HAS SOUPS 49599 WITH SCORE 49716.674
AT ITER 4741 NEW BEST:: SOT 218123 SOS 117658 HAS SOPS 112789 HAS SOUS 50698 HAS SOUPS 49583 WITH SCORE 49700.658
AT ITER 4748 NEW BEST:: SOT 218112 SOS 117647 HAS SOPS 112778 HAS SOUS 50687 HAS SOUPS 49572 WITH SCORE 49689.647
AT ITER 4752 NEW BEST:: SOT 218112 SOS 118804 HAS SOPS 113935 HAS SOUS 50615 HAS SOUPS 49500 WITH SCORE 49618.804
AT ITER 4761 NEW BEST:: SOT 218041 SOS 118796 HAS SOPS 113927 HAS SOUS 50490 HAS SOUPS 49375 WITH SCORE 49493.796
AT ITER 4777 NEW BEST:: SOT 218055 SOS 118865 HAS SOPS 113996 HAS SOUS 50443 HAS SOUPS 49328 WITH SCORE 49446.865
AT ITER 4799 NEW BEST:: SOT 218153 SOS 118963 HAS SOPS 114094 HAS SOUS 50429 HAS SOUPS 49314 WITH SCORE 49432.963
AT ITER 4836 NEW BEST:: SOT 218153 SOS 118983 HAS SOPS 114114 HAS SOUS 50409 HAS SOUPS 49294 WITH SCORE 49412.983
AT ITER 4873 NEW BEST:: SOT 218152 SOS 118808 HAS SOPS 113939 HAS SOUS 50297 HAS SOUPS 49182 WITH SCORE 49300.808
AT ITER 4884 NEW BEST:: SOT 218116 SOS 118781 HAS SOPS 113912 HAS SOUS 50243 HAS SOUPS 49128 WITH SCORE 49246.781
AT ITER 4917 NEW BEST:: SOT 217989 SOS 118677 HAS SOPS 113808 HAS SOUS 50053 HAS SOUPS 48938 WITH SCORE 49056.677
AT ITER 4921 NEW BEST:: SOT 217949 SOS 118630 HAS SOPS 113761 HAS SOUS 50048 HAS SOUPS 48933 WITH SCORE 49051.63
AT ITER 4922 NEW BEST:: SOT 217944 SOS 118652 HAS SOPS 113783 HAS SOUS 50029 HAS SOUPS 48914 WITH SCORE 49032.652
AT ITER 4928 NEW BEST:: SOT 217935 SOS 118584 HAS SOPS 113715 HAS SOUS 50025 HAS SOUPS 48910 WITH SCORE 49028.584
AT ITER 4950 NEW BEST:: SOT 217907 SOS 118616 HAS SOPS 113747 HAS SOUS 50010 HAS SOUPS 48895 WITH SCORE 49013.616
AT ITER 4963 NEW BEST:: SOT 217874 SOS 118565 HAS SOPS 113696 HAS SOUS 49964 HAS SOUPS 48849 WITH SCORE 48967.565
AT ITER 4964 NEW BEST:: SOT 217874 SOS 118527 HAS SOPS 113683 HAS SOUS 49959 HAS SOUPS 48844 WITH SCORE 48962.527
AT ITER 5018 NEW BEST:: SOT 217858 SOS 118511 HAS SOPS 113667 HAS SOUS 49950 HAS SOUPS 48835 WITH SCORE 48953.511
AT ITER 5046 NEW BEST:: SOT 217844 SOS 118486 HAS SOPS 113642 HAS SOUS 49933 HAS SOUPS 48818 WITH SCORE 48936.486
AT ITER 5063 NEW BEST:: SOT 217839 SOS 118481 HAS SOPS 113637 HAS SOUS 49928 HAS SOUPS 48813 WITH SCORE 48931.481
AT ITER 5080 NEW BEST:: SOT 217845 SOS 118501 HAS SOPS 113657 HAS SOUS 49925 HAS SOUPS 48810 WITH SCORE 48928.501
AT ITER 5086 NEW BEST:: SOT 217833 SOS 118477 HAS SOPS 113627 HAS SOUS 49907 HAS SOUPS 48792 WITH SCORE 48910.477
AT ITER 5124 NEW BEST:: SOT 217810 SOS 118454 HAS SOPS 113604 HAS SOUS 49870 HAS SOUPS 48755 WITH SCORE 48873.454
AT ITER 5162 NEW BEST:: SOT 217637 SOS 116781 HAS SOPS 111931 HAS SOUS 49849 HAS SOUPS 48734 WITH SCORE 48850.781
AT ITER 5232 NEW BEST:: SOT 217616 SOS 116460 HAS SOPS 111610 HAS SOUS 49590 HAS SOUPS 48475 WITH SCORE 48591.46
AT ITER 5271 NEW BEST:: SOT 217583 SOS 116427 HAS SOPS 111577 HAS SOUS 49512 HAS SOUPS 48397 WITH SCORE 48513.427
AT ITER 5300 NEW BEST:: SOT 217577 SOS 116418 HAS SOPS 111568 HAS SOUS 49506 HAS SOUPS 48391 WITH SCORE 48507.418
AT ITER 5308 NEW BEST:: SOT 217605 SOS 116446 HAS SOPS 111591 HAS SOUS 49490 HAS SOUPS 48375 WITH SCORE 48491.446
AT ITER 5313 NEW BEST:: SOT 217597 SOS 116438 HAS SOPS 111583 HAS SOUS 49482 HAS SOUPS 48367 WITH SCORE 48483.438
AT ITER 5321 NEW BEST:: SOT 217570 SOS 116432 HAS SOPS 111577 HAS SOUS 49453 HAS SOUPS 48338 WITH SCORE 48454.432
AT ITER 5322 NEW BEST:: SOT 217556 SOS 116409 HAS SOPS 111554 HAS SOUS 49425 HAS SOUPS 48310 WITH SCORE 48426.409
AT ITER 5327 NEW BEST:: SOT 217547 SOS 116402 HAS SOPS 111545 HAS SOUS 49419 HAS SOUPS 48304 WITH SCORE 48420.402
AT ITER 5338 NEW BEST:: SOT 217524 SOS 116379 HAS SOPS 111522 HAS SOUS 49387 HAS SOUPS 48272 WITH SCORE 48388.379
AT ITER 5348 NEW BEST:: SOT 217496 SOS 116323 HAS SOPS 111466 HAS SOUS 49302 HAS SOUPS 48187 WITH SCORE 48303.323
AT ITER 5408 NEW BEST:: SOT 217436 SOS 116263 HAS SOPS 111406 HAS SOUS 49288 HAS SOUPS 48173 WITH SCORE 48289.263
AT ITER 5410 NEW BEST:: SOT 216954 SOS 115805 HAS SOPS 110948 HAS SOUS 49054 HAS SOUPS 47939 WITH SCORE 48054.805
AT ITER 5439 NEW BEST:: SOT 216944 SOS 115725 HAS SOPS 110868 HAS SOUS 48999 HAS SOUPS 47884 WITH SCORE 47999.725
AT ITER 5442 NEW BEST:: SOT 216944 SOS 115726 HAS SOPS 110869 HAS SOUS 48998 HAS SOUPS 47883 WITH SCORE 47998.726
AT ITER 5453 NEW BEST:: SOT 216955 SOS 115737 HAS SOPS 110858 HAS SOUS 48987 HAS SOUPS 47872 WITH SCORE 47987.737
AT ITER 5471 NEW BEST:: SOT 216929 SOS 115624 HAS SOPS 110745 HAS SOUS 48947 HAS SOUPS 47832 WITH SCORE 47947.624
AT ITER 5477 NEW BEST:: SOT 216927 SOS 115622 HAS SOPS 110743 HAS SOUS 48945 HAS SOUPS 47830 WITH SCORE 47945.622
AT ITER 5499 NEW BEST:: SOT 216607 SOS 115237 HAS SOPS 110358 HAS SOUS 48776 HAS SOUPS 47661 WITH SCORE 47776.237
AT ITER 5517 NEW BEST:: SOT 216592 SOS 115229 HAS SOPS 110350 HAS SOUS 48761 HAS SOUPS 47646 WITH SCORE 47761.229
AT ITER 5540 NEW BEST:: SOT 216592 SOS 114753 HAS SOPS 109874 HAS SOUS 48761 HAS SOUPS 47646 WITH SCORE 47760.753
AT ITER 5558 NEW BEST:: SOT 216593 SOS 114664 HAS SOPS 109785 HAS SOUS 48726 HAS SOUPS 47611 WITH SCORE 47725.664
AT ITER 5567 NEW BEST:: SOT 216573 SOS 114624 HAS SOPS 109745 HAS SOUS 48686 HAS SOUPS 47571 WITH SCORE 47685.624
AT ITER 5587 NEW BEST:: SOT 216573 SOS 114645 HAS SOPS 109766 HAS SOUS 48679 HAS SOUPS 47564 WITH SCORE 47678.645
AT ITER 5591 NEW BEST:: SOT 216464 SOS 114536 HAS SOPS 109657 HAS SOUS 48520 HAS SOUPS 47405 WITH SCORE 47519.536
AT ITER 5671 NEW BEST:: SOT 216452 SOS 114524 HAS SOPS 109648 HAS SOUS 48506 HAS SOUPS 47391 WITH SCORE 47505.524
AT ITER 5681 NEW BEST:: SOT 216451 SOS 114565 HAS SOPS 109689 HAS SOUS 48499 HAS SOUPS 47384 WITH SCORE 47498.565
AT ITER 5682 NEW BEST:: SOT 216411 SOS 114485 HAS SOPS 109609 HAS SOUS 48379 HAS SOUPS 47264 WITH SCORE 47378.485
AT ITER 5696 NEW BEST:: SOT 216405 SOS 114743 HAS SOPS 109867 HAS SOUS 48355 HAS SOUPS 47240 WITH SCORE 47354.743
AT ITER 5750 NEW BEST:: SOT 216402 SOS 114737 HAS SOPS 109861 HAS SOUS 48349 HAS SOUPS 47234 WITH SCORE 47348.737
AT ITER 5799 NEW BEST:: SOT 216352 SOS 114645 HAS SOPS 109769 HAS SOUS 48299 HAS SOUPS 47184 WITH SCORE 47298.645
AT ITER 5802 NEW BEST:: SOT 216350 SOS 114604 HAS SOPS 109728 HAS SOUS 48292 HAS SOUPS 47177 WITH SCORE 47291.604
AT ITER 5818 NEW BEST:: SOT 216322 SOS 114576 HAS SOPS 109700 HAS SOUS 48288 HAS SOUPS 47173 WITH SCORE 47287.576
AT ITER 5824 NEW BEST:: SOT 216322 SOS 114087 HAS SOPS 109430 HAS SOUS 48261 HAS SOUPS 47173 WITH SCORE 47287.087
AT ITER 5826 NEW BEST:: SOT 216272 SOS 114008 HAS SOPS 109351 HAS SOUS 48254 HAS SOUPS 47166 WITH SCORE 47280.008
AT ITER 5861 NEW BEST:: SOT 216263 SOS 113984 HAS SOPS 109327 HAS SOUS 48236 HAS SOUPS 47148 WITH SCORE 47261.984
AT ITER 5878 NEW BEST:: SOT 216250 SOS 113941 HAS SOPS 109269 HAS SOUS 48193 HAS SOUPS 47105 WITH SCORE 47218.941
AT ITER 5896 NEW BEST:: SOT 216244 SOS 113935 HAS SOPS 109263 HAS SOUS 48176 HAS SOUPS 47088 WITH SCORE 47201.935
AT ITER 5931 NEW BEST:: SOT 216215 SOS 113906 HAS SOPS 109241 HAS SOUS 48174 HAS SOUPS 47086 WITH SCORE 47199.906
AT ITER 5947 NEW BEST:: SOT 216218 SOS 113853 HAS SOPS 109188 HAS SOUS 48152 HAS SOUPS 47064 WITH SCORE 47177.853
AT ITER 5974 NEW BEST:: SOT 216178 SOS 113516 HAS SOPS 108851 HAS SOUS 48134 HAS SOUPS 47046 WITH SCORE 47159.516
AT ITER 5989 NEW BEST:: SOT 216169 SOS 113498 HAS SOPS 108833 HAS SOUS 48116 HAS SOUPS 47028 WITH SCORE 47141.498
AT ITER 5992 NEW BEST:: SOT 216161 SOS 113490 HAS SOPS 108825 HAS SOUS 48100 HAS SOUPS 47012 WITH SCORE 47125.49
AT ITER 5995 NEW BEST:: SOT 216065 SOS 113909 HAS SOPS 109244 HAS SOUS 48058 HAS SOUPS 46970 WITH SCORE 47083.909
AT ITER 6051 NEW BEST:: SOT 216020 SOS 113872 HAS SOPS 109207 HAS SOUS 48021 HAS SOUPS 46933 WITH SCORE 47046.872
AT ITER 6057 NEW BEST:: SOT 215992 SOS 113862 HAS SOPS 109213 HAS SOUS 47990 HAS SOUPS 46902 WITH SCORE 47015.862
AT ITER 6058 NEW BEST:: SOT 216022 SOS 113877 HAS SOPS 109228 HAS SOUS 47981 HAS SOUPS 46893 WITH SCORE 47006.877
AT ITER 6069 NEW BEST:: SOT 216037 SOS 113892 HAS SOPS 109243 HAS SOUS 47967 HAS SOUPS 46879 WITH SCORE 46992.892
AT ITER 6108 NEW BEST:: SOT 216058 SOS 113932 HAS SOPS 109283 HAS SOUS 47947 HAS SOUPS 46859 WITH SCORE 46972.932
AT ITER 6113 NEW BEST:: SOT 216018 SOS 113870 HAS SOPS 109221 HAS SOUS 47911 HAS SOUPS 46823 WITH SCORE 46936.87
AT ITER 6141 NEW BEST:: SOT 216016 SOS 113884 HAS SOPS 109235 HAS SOUS 47893 HAS SOUPS 46805 WITH SCORE 46918.884
AT ITER 6158 NEW BEST:: SOT 215901 SOS 113778 HAS SOPS 109129 HAS SOUS 47860 HAS SOUPS 46772 WITH SCORE 46885.778
AT ITER 6167 NEW BEST:: SOT 215888 SOS 113765 HAS SOPS 109116 HAS SOUS 47819 HAS SOUPS 46731 WITH SCORE 46844.765
AT ITER 6168 NEW BEST:: SOT 215870 SOS 113729 HAS SOPS 109080 HAS SOUS 47783 HAS SOUPS 46695 WITH SCORE 46808.729
AT ITER 6179 NEW BEST:: SOT 215786 SOS 113659 HAS SOPS 109010 HAS SOUS 47665 HAS SOUPS 46577 WITH SCORE 46690.659
AT ITER 6202 NEW BEST:: SOT 215774 SOS 113647 HAS SOPS 108998 HAS SOUS 47651 HAS SOUPS 46563 WITH SCORE 46676.647
AT ITER 6210 NEW BEST:: SOT 215768 SOS 113638 HAS SOPS 108989 HAS SOUS 47645 HAS SOUPS 46557 WITH SCORE 46670.638
AT ITER 6220 NEW BEST:: SOT 215796 SOS 113729 HAS SOPS 109080 HAS SOUS 47619 HAS SOUPS 46531 WITH SCORE 46644.729
AT ITER 6240 NEW BEST:: SOT 215752 SOS 113685 HAS SOPS 109036 HAS SOUS 47543 HAS SOUPS 46455 WITH SCORE 46568.685
AT ITER 6245 NEW BEST:: SOT 215744 SOS 113681 HAS SOPS 109032 HAS SOUS 47535 HAS SOUPS 46447 WITH SCORE 46560.681
AT ITER 6256 NEW BEST:: SOT 215777 SOS 113625 HAS SOPS 108976 HAS SOUS 47471 HAS SOUPS 46383 WITH SCORE 46496.625
AT ITER 6266 NEW BEST:: SOT 215775 SOS 113613 HAS SOPS 108964 HAS SOUS 47463 HAS SOUPS 46375 WITH SCORE 46488.613
AT ITER 6279 NEW BEST:: SOT 215771 SOS 113609 HAS SOPS 108960 HAS SOUS 47451 HAS SOUPS 46363 WITH SCORE 46476.609
AT ITER 6283 NEW BEST:: SOT 215773 SOS 113611 HAS SOPS 108954 HAS SOUS 47431 HAS SOUPS 46343 WITH SCORE 46456.611
AT ITER 6299 NEW BEST:: SOT 215773 SOS 114046 HAS SOPS 109389 HAS SOUS 47363 HAS SOUPS 46275 WITH SCORE 46389.046
AT ITER 6302 NEW BEST:: SOT 215793 SOS 114066 HAS SOPS 109409 HAS SOUS 47340 HAS SOUPS 46252 WITH SCORE 46366.066
AT ITER 6333 NEW BEST:: SOT 215724 SOS 113928 HAS SOPS 109271 HAS SOUS 47228 HAS SOUPS 46140 WITH SCORE 46253.928
AT ITER 6349 NEW BEST:: SOT 215722 SOS 113856 HAS SOPS 109137 HAS SOUS 47153 HAS SOUPS 46065 WITH SCORE 46178.856
AT ITER 6359 NEW BEST:: SOT 215722 SOS 113847 HAS SOPS 109128 HAS SOUS 47135 HAS SOUPS 46047 WITH SCORE 46160.847
AT ITER 6372 NEW BEST:: SOT 215786 SOS 113911 HAS SOPS 109192 HAS SOUS 47107 HAS SOUPS 46019 WITH SCORE 46132.911
AT ITER 6391 NEW BEST:: SOT 215707 SOS 113804 HAS SOPS 109085 HAS SOUS 46967 HAS SOUPS 45879 WITH SCORE 45992.804
AT ITER 6445 NEW BEST:: SOT 215689 SOS 113786 HAS SOPS 109067 HAS SOUS 46964 HAS SOUPS 45876 WITH SCORE 45989.786
AT ITER 6488 NEW BEST:: SOT 215604 SOS 113692 HAS SOPS 108973 HAS SOUS 46930 HAS SOUPS 45842 WITH SCORE 45955.692
AT ITER 6500 NEW BEST:: SOT 215594 SOS 113688 HAS SOPS 108969 HAS SOUS 46928 HAS SOUPS 45840 WITH SCORE 45953.688
AT ITER 6524 NEW BEST:: SOT 215563 SOS 113626 HAS SOPS 108907 HAS SOUS 46888 HAS SOUPS 45800 WITH SCORE 45913.626
AT ITER 6538 NEW BEST:: SOT 215561 SOS 113624 HAS SOPS 108905 HAS SOUS 46884 HAS SOUPS 45796 WITH SCORE 45909.624
AT ITER 6562 NEW BEST:: SOT 215498 SOS 113561 HAS SOPS 108842 HAS SOUS 46833 HAS SOUPS 45745 WITH SCORE 45858.561
AT ITER 6574 NEW BEST:: SOT 215495 SOS 113517 HAS SOPS 108749 HAS SOUS 46784 HAS SOUPS 45696 WITH SCORE 45809.517
AT ITER 6575 NEW BEST:: SOT 215430 SOS 113802 HAS SOPS 109034 HAS SOUS 46602 HAS SOUPS 45514 WITH SCORE 45627.802
AT ITER 6585 NEW BEST:: SOT 215476 SOS 113852 HAS SOPS 109084 HAS SOUS 46594 HAS SOUPS 45506 WITH SCORE 45619.852
AT ITER 6592 NEW BEST:: SOT 215463 SOS 113805 HAS SOPS 109016 HAS SOUS 46547 HAS SOUPS 45459 WITH SCORE 45572.805
AT ITER 6594 NEW BEST:: SOT 215451 SOS 113813 HAS SOPS 109024 HAS SOUS 46535 HAS SOUPS 45447 WITH SCORE 45560.813
AT ITER 6595 NEW BEST:: SOT 215475 SOS 113072 HAS SOPS 108514 HAS SOUS 46464 HAS SOUPS 45430 WITH SCORE 45543.072
AT ITER 6596 NEW BEST:: SOT 215524 SOS 113079 HAS SOPS 108521 HAS SOUS 46457 HAS SOUPS 45423 WITH SCORE 45536.079
AT ITER 6601 NEW BEST:: SOT 215524 SOS 113048 HAS SOPS 108490 HAS SOUS 46426 HAS SOUPS 45392 WITH SCORE 45505.048
AT ITER 6637 NEW BEST:: SOT 215524 SOS 113024 HAS SOPS 108466 HAS SOUS 46426 HAS SOUPS 45392 WITH SCORE 45505.024
AT ITER 6667 NEW BEST:: SOT 215508 SOS 113008 HAS SOPS 108450 HAS SOUS 46394 HAS SOUPS 45360 WITH SCORE 45473.008
AT ITER 6684 NEW BEST:: SOT 215505 SOS 113005 HAS SOPS 108447 HAS SOUS 46391 HAS SOUPS 45357 WITH SCORE 45470.005
AT ITER 6734 NEW BEST:: SOT 215470 SOS 112998 HAS SOPS 108440 HAS SOUS 46349 HAS SOUPS 45315 WITH SCORE 45427.998
AT ITER 6759 NEW BEST:: SOT 215456 SOS 112984 HAS SOPS 108421 HAS SOUS 46321 HAS SOUPS 45287 WITH SCORE 45399.984
AT ITER 6775 NEW BEST:: SOT 215274 SOS 112824 HAS SOPS 108261 HAS SOUS 46206 HAS SOUPS 45172 WITH SCORE 45284.824
AT ITER 6815 NEW BEST:: SOT 215277 SOS 112897 HAS SOPS 108250 HAS SOUS 46209 HAS SOUPS 45147 WITH SCORE 45259.897
AT ITER 6821 NEW BEST:: SOT 215275 SOS 112889 HAS SOPS 108242 HAS SOUS 46186 HAS SOUPS 45124 WITH SCORE 45236.889
AT ITER 6833 NEW BEST:: SOT 215263 SOS 112832 HAS SOPS 108185 HAS SOUS 46153 HAS SOUPS 45091 WITH SCORE 45203.832
AT ITER 6845 NEW BEST:: SOT 215233 SOS 112832 HAS SOPS 108185 HAS SOUS 46123 HAS SOUPS 45061 WITH SCORE 45173.832
AT ITER 6846 NEW BEST:: SOT 215236 SOS 112858 HAS SOPS 108211 HAS SOUS 46103 HAS SOUPS 45041 WITH SCORE 45153.858
AT ITER 6890 NEW BEST:: SOT 215173 SOS 112795 HAS SOPS 108148 HAS SOUS 46028 HAS SOUPS 44966 WITH SCORE 45078.795
AT ITER 6915 NEW BEST:: SOT 215147 SOS 112772 HAS SOPS 108125 HAS SOUS 46005 HAS SOUPS 44943 WITH SCORE 45055.772
AT ITER 6936 NEW BEST:: SOT 215109 SOS 112806 HAS SOPS 108159 HAS SOUS 45984 HAS SOUPS 44922 WITH SCORE 45034.806
AT ITER 6949 NEW BEST:: SOT 215109 SOS 112777 HAS SOPS 108130 HAS SOUS 45935 HAS SOUPS 44873 WITH SCORE 44985.777
AT ITER 6951 NEW BEST:: SOT 215109 SOS 112761 HAS SOPS 108114 HAS SOUS 45927 HAS SOUPS 44865 WITH SCORE 44977.761
AT ITER 6961 NEW BEST:: SOT 215108 SOS 112758 HAS SOPS 108111 HAS SOUS 45926 HAS SOUPS 44864 WITH SCORE 44976.758
AT ITER 7011 NEW BEST:: SOT 215108 SOS 112755 HAS SOPS 108108 HAS SOUS 45926 HAS SOUPS 44864 WITH SCORE 44976.755
AT ITER 7058 NEW BEST:: SOT 215095 SOS 112742 HAS SOPS 108095 HAS SOUS 45900 HAS SOUPS 44838 WITH SCORE 44950.742
AT ITER 7065 NEW BEST:: SOT 215091 SOS 112742 HAS SOPS 108095 HAS SOUS 45888 HAS SOUPS 44826 WITH SCORE 44938.742
AT ITER 7067 NEW BEST:: SOT 215090 SOS 112687 HAS SOPS 108023 HAS SOUS 45869 HAS SOUPS 44807 WITH SCORE 44919.687
AT ITER 7082 NEW BEST:: SOT 215048 SOS 112659 HAS SOPS 107995 HAS SOUS 45841 HAS SOUPS 44779 WITH SCORE 44891.659
AT ITER 7083 NEW BEST:: SOT 215047 SOS 112657 HAS SOPS 107993 HAS SOUS 45839 HAS SOUPS 44777 WITH SCORE 44889.657
AT ITER 7087 NEW BEST:: SOT 214995 SOS 112579 HAS SOPS 107915 HAS SOUS 45787 HAS SOUPS 44725 WITH SCORE 44837.579
AT ITER 7142 NEW BEST:: SOT 214998 SOS 112574 HAS SOPS 107910 HAS SOUS 45782 HAS SOUPS 44720 WITH SCORE 44832.574
AT ITER 7154 NEW BEST:: SOT 214984 SOS 112560 HAS SOPS 107896 HAS SOUS 45754 HAS SOUPS 44692 WITH SCORE 44804.56
AT ITER 7177 NEW BEST:: SOT 214993 SOS 112569 HAS SOPS 107905 HAS SOUS 45741 HAS SOUPS 44679 WITH SCORE 44791.569
AT ITER 7185 NEW BEST:: SOT 214973 SOS 112552 HAS SOPS 107888 HAS SOUS 45700 HAS SOUPS 44638 WITH SCORE 44750.552
AT ITER 7203 NEW BEST:: SOT 214973 SOS 112549 HAS SOPS 107885 HAS SOUS 45700 HAS SOUPS 44638 WITH SCORE 44750.549
AT ITER 7232 NEW BEST:: SOT 214933 SOS 112514 HAS SOPS 107845 HAS SOUS 45660 HAS SOUPS 44593 WITH SCORE 44705.514
AT ITER 7243 NEW BEST:: SOT 214958 SOS 112539 HAS SOPS 107870 HAS SOUS 45606 HAS SOUPS 44539 WITH SCORE 44651.539
AT ITER 7260 NEW BEST:: SOT 214964 SOS 112545 HAS SOPS 107876 HAS SOUS 45602 HAS SOUPS 44535 WITH SCORE 44647.545
AT ITER 7278 NEW BEST:: SOT 214908 SOS 112461 HAS SOPS 107792 HAS SOUS 45518 HAS SOUPS 44451 WITH SCORE 44563.461
AT ITER 7280 NEW BEST:: SOT 214908 SOS 112511 HAS SOPS 107842 HAS SOUS 45497 HAS SOUPS 44430 WITH SCORE 44542.511
AT ITER 7320 NEW BEST:: SOT 214905 SOS 112539 HAS SOPS 107870 HAS SOUS 45463 HAS SOUPS 44396 WITH SCORE 44508.539
AT ITER 7343 NEW BEST:: SOT 214973 SOS 112557 HAS SOPS 107888 HAS SOUS 45449 HAS SOUPS 44382 WITH SCORE 44494.557
AT ITER 7368 NEW BEST:: SOT 214905 SOS 112489 HAS SOPS 107820 HAS SOUS 45313 HAS SOUPS 44246 WITH SCORE 44358.489
AT ITER 7411 NEW BEST:: SOT 214915 SOS 112469 HAS SOPS 107800 HAS SOUS 45311 HAS SOUPS 44244 WITH SCORE 44356.469
AT ITER 7435 NEW BEST:: SOT 214896 SOS 112442 HAS SOPS 107773 HAS SOUS 45279 HAS SOUPS 44212 WITH SCORE 44324.442
AT ITER 7449 NEW BEST:: SOT 214896 SOS 112457 HAS SOPS 107758 HAS SOUS 45264 HAS SOUPS 44197 WITH SCORE 44309.457
AT ITER 7459 NEW BEST:: SOT 214887 SOS 112426 HAS SOPS 107727 HAS SOUS 45246 HAS SOUPS 44179 WITH SCORE 44291.426
AT ITER 7492 NEW BEST:: SOT 214860 SOS 112399 HAS SOPS 107700 HAS SOUS 45201 HAS SOUPS 44134 WITH SCORE 44246.399
AT ITER 7495 NEW BEST:: SOT 214850 SOS 112389 HAS SOPS 107688 HAS SOUS 45185 HAS SOUPS 44118 WITH SCORE 44230.389
AT ITER 7496 NEW BEST:: SOT 214826 SOS 112365 HAS SOPS 107664 HAS SOUS 45137 HAS SOUPS 44070 WITH SCORE 44182.365
AT ITER 7511 NEW BEST:: SOT 214829 SOS 112402 HAS SOPS 107701 HAS SOUS 45133 HAS SOUPS 44066 WITH SCORE 44178.402
AT ITER 7530 NEW BEST:: SOT 214681 SOS 112360 HAS SOPS 107659 HAS SOUS 45127 HAS SOUPS 44060 WITH SCORE 44172.36
AT ITER 7564 NEW BEST:: SOT 214669 SOS 112352 HAS SOPS 107651 HAS SOUS 45119 HAS SOUPS 44052 WITH SCORE 44164.352
AT ITER 7565 NEW BEST:: SOT 214668 SOS 112302 HAS SOPS 107601 HAS SOUS 45101 HAS SOUPS 44034 WITH SCORE 44146.302
AT ITER 7567 NEW BEST:: SOT 214472 SOS 112040 HAS SOPS 107339 HAS SOUS 44871 HAS SOUPS 43804 WITH SCORE 43916.04
AT ITER 7577 NEW BEST:: SOT 214456 SOS 111978 HAS SOPS 107277 HAS SOUS 44820 HAS SOUPS 43753 WITH SCORE 43864.978
AT ITER 7599 NEW BEST:: SOT 214420 SOS 111942 HAS SOPS 107241 HAS SOUS 44775 HAS SOUPS 43708 WITH SCORE 43819.942
AT ITER 7608 NEW BEST:: SOT 214394 SOS 111890 HAS SOPS 107189 HAS SOUS 44723 HAS SOUPS 43656 WITH SCORE 43767.89
AT ITER 7645 NEW BEST:: SOT 214378 SOS 111874 HAS SOPS 107173 HAS SOUS 44694 HAS SOUPS 43627 WITH SCORE 43738.874
AT ITER 7654 NEW BEST:: SOT 214370 SOS 111866 HAS SOPS 107165 HAS SOUS 44682 HAS SOUPS 43615 WITH SCORE 43726.866
AT ITER 7688 NEW BEST:: SOT 214370 SOS 112073 HAS SOPS 107372 HAS SOUS 44681 HAS SOUPS 43614 WITH SCORE 43726.073
AT ITER 7807 NEW BEST:: SOT 214370 SOS 112095 HAS SOPS 107394 HAS SOUS 44661 HAS SOUPS 43594 WITH SCORE 43706.095
AT ITER 7853 NEW BEST:: SOT 214370 SOS 112077 HAS SOPS 107376 HAS SOUS 44661 HAS SOUPS 43594 WITH SCORE 43706.077
AT ITER 7875 NEW BEST:: SOT 214368 SOS 112075 HAS SOPS 107374 HAS SOUS 44659 HAS SOUPS 43592 WITH SCORE 43704.075
AT ITER 7879 NEW BEST:: SOT 214362 SOS 112069 HAS SOPS 107368 HAS SOUS 44653 HAS SOUPS 43586 WITH SCORE 43698.069
AT ITER 7902 NEW BEST:: SOT 214341 SOS 112079 HAS SOPS 107378 HAS SOUS 44611 HAS SOUPS 43544 WITH SCORE 43656.079
AT ITER 7923 NEW BEST:: SOT 214308 SOS 112072 HAS SOPS 107371 HAS SOUS 44553 HAS SOUPS 43486 WITH SCORE 43598.072
AT ITER 8015 NEW BEST:: SOT 214308 SOS 112741 HAS SOPS 108040 HAS SOUS 44533 HAS SOUPS 43466 WITH SCORE 43578.741
AT ITER 8025 NEW BEST:: SOT 214306 SOS 112741 HAS SOPS 108039 HAS SOUS 44529 HAS SOUPS 43462 WITH SCORE 43574.741
AT ITER 8052 NEW BEST:: SOT 214285 SOS 112792 HAS SOPS 108087 HAS SOUS 44526 HAS SOUPS 43446 WITH SCORE 43558.792
AT ITER 8054 NEW BEST:: SOT 214200 SOS 112718 HAS SOPS 108013 HAS SOUS 44488 HAS SOUPS 43408 WITH SCORE 43520.718
AT ITER 8112 NEW BEST:: SOT 214150 SOS 112423 HAS SOPS 107718 HAS SOUS 44413 HAS SOUPS 43333 WITH SCORE 43445.423
AT ITER 8135 NEW BEST:: SOT 214119 SOS 112381 HAS SOPS 107676 HAS SOUS 44376 HAS SOUPS 43296 WITH SCORE 43408.381
AT ITER 8144 NEW BEST:: SOT 214102 SOS 112364 HAS SOPS 107659 HAS SOUS 44359 HAS SOUPS 43279 WITH SCORE 43391.364
AT ITER 8147 NEW BEST:: SOT 214032 SOS 112300 HAS SOPS 107595 HAS SOUS 44201 HAS SOUPS 43121 WITH SCORE 43233.3
AT ITER 8166 NEW BEST:: SOT 214027 SOS 112295 HAS SOPS 107590 HAS SOUS 44181 HAS SOUPS 43101 WITH SCORE 43213.295
AT ITER 8183 NEW BEST:: SOT 214069 SOS 112337 HAS SOPS 107632 HAS SOUS 44153 HAS SOUPS 43073 WITH SCORE 43185.337
AT ITER 8199 NEW BEST:: SOT 214063 SOS 112331 HAS SOPS 107626 HAS SOUS 44149 HAS SOUPS 43069 WITH SCORE 43181.331
AT ITER 8200 NEW BEST:: SOT 214063 SOS 112331 HAS SOPS 107625 HAS SOUS 44148 HAS SOUPS 43068 WITH SCORE 43180.331
AT ITER 8229 NEW BEST:: SOT 214036 SOS 112277 HAS SOPS 107571 HAS SOUS 44094 HAS SOUPS 43014 WITH SCORE 43126.277
AT ITER 8256 NEW BEST:: SOT 213994 SOS 112178 HAS SOPS 107472 HAS SOUS 43997 HAS SOUPS 42917 WITH SCORE 43029.178
AT ITER 8269 NEW BEST:: SOT 214006 SOS 112190 HAS SOPS 107484 HAS SOUS 43990 HAS SOUPS 42910 WITH SCORE 43022.19
AT ITER 8297 NEW BEST:: SOT 214004 SOS 112186 HAS SOPS 107480 HAS SOUS 43986 HAS SOUPS 42906 WITH SCORE 43018.186
AT ITER 8351 NEW BEST:: SOT 213997 SOS 112179 HAS SOPS 107473 HAS SOUS 43979 HAS SOUPS 42899 WITH SCORE 43011.179
AT ITER 8411 NEW BEST:: SOT 213997 SOS 112553 HAS SOPS 107847 HAS SOUS 43976 HAS SOUPS 42896 WITH SCORE 43008.553
AT ITER 8425 NEW BEST:: SOT 213996 SOS 112552 HAS SOPS 107846 HAS SOUS 43972 HAS SOUPS 42892 WITH SCORE 43004.552
AT ITER 8479 NEW BEST:: SOT 213990 SOS 112546 HAS SOPS 107840 HAS SOUS 43960 HAS SOUPS 42880 WITH SCORE 42992.546
AT ITER 8514 NEW BEST:: SOT 213980 SOS 112456 HAS SOPS 107750 HAS SOUS 43948 HAS SOUPS 42868 WITH SCORE 42980.456
AT ITER 8532 NEW BEST:: SOT 214026 SOS 112502 HAS SOPS 107796 HAS SOUS 43934 HAS SOUPS 42854 WITH SCORE 42966.502
AT ITER 8538 NEW BEST:: SOT 213948 SOS 112346 HAS SOPS 107640 HAS SOUS 43778 HAS SOUPS 42698 WITH SCORE 42810.346
AT ITER 8613 NEW BEST:: SOT 213945 SOS 112294 HAS SOPS 107588 HAS SOUS 43772 HAS SOUPS 42692 WITH SCORE 42804.294
AT ITER 8628 NEW BEST:: SOT 213940 SOS 112264 HAS SOPS 107558 HAS SOUS 43767 HAS SOUPS 42687 WITH SCORE 42799.264
AT ITER 8646 NEW BEST:: SOT 213922 SOS 110751 HAS SOPS 106045 HAS SOUS 43734 HAS SOUPS 42654 WITH SCORE 42764.751
AT ITER 8669 NEW BEST:: SOT 213922 SOS 110739 HAS SOPS 106033 HAS SOUS 43722 HAS SOUPS 42642 WITH SCORE 42752.739
AT ITER 8688 NEW BEST:: SOT 213762 SOS 110688 HAS SOPS 105982 HAS SOUS 43498 HAS SOUPS 42418 WITH SCORE 42528.688
AT ITER 8696 NEW BEST:: SOT 213759 SOS 110685 HAS SOPS 105979 HAS SOUS 43484 HAS SOUPS 42404 WITH SCORE 42514.685
AT ITER 8698 NEW BEST:: SOT 213759 SOS 110693 HAS SOPS 105979 HAS SOUS 43480 HAS SOUPS 42400 WITH SCORE 42510.693
AT ITER 8705 NEW BEST:: SOT 213717 SOS 110737 HAS SOPS 105962 HAS SOUS 43483 HAS SOUPS 42385 WITH SCORE 42495.737
AT ITER 8725 NEW BEST:: SOT 213717 SOS 110741 HAS SOPS 105966 HAS SOUS 43481 HAS SOUPS 42383 WITH SCORE 42493.741
AT ITER 8841 NEW BEST:: SOT 213717 SOS 111051 HAS SOPS 106276 HAS SOUS 43480 HAS SOUPS 42382 WITH SCORE 42493.051
AT ITER 8869 NEW BEST:: SOT 213717 SOS 111039 HAS SOPS 106264 HAS SOUS 43480 HAS SOUPS 42382 WITH SCORE 42493.039
AT ITER 8931 NEW BEST:: SOT 213714 SOS 111036 HAS SOPS 106261 HAS SOUS 43477 HAS SOUPS 42379 WITH SCORE 42490.036
AT ITER 8950 NEW BEST:: SOT 213711 SOS 111030 HAS SOPS 106252 HAS SOUS 43471 HAS SOUPS 42373 WITH SCORE 42484.03
AT ITER 8965 NEW BEST:: SOT 213684 SOS 110991 HAS SOPS 106213 HAS SOUS 43432 HAS SOUPS 42334 WITH SCORE 42444.991
AT ITER 8981 NEW BEST:: SOT 213679 SOS 110981 HAS SOPS 106203 HAS SOUS 43422 HAS SOUPS 42324 WITH SCORE 42434.981
AT ITER 9016 NEW BEST:: SOT 213677 SOS 110979 HAS SOPS 106199 HAS SOUS 43418 HAS SOUPS 42320 WITH SCORE 42430.979
AT ITER 9029 NEW BEST:: SOT 213676 SOS 110978 HAS SOPS 106198 HAS SOUS 43417 HAS SOUPS 42319 WITH SCORE 42429.978
AT ITER 9089 NEW BEST:: SOT 213676 SOS 110978 HAS SOPS 106196 HAS SOUS 43415 HAS SOUPS 42317 WITH SCORE 42427.978
AT ITER 9110 NEW BEST:: SOT 213661 SOS 110946 HAS SOPS 106164 HAS SOUS 43402 HAS SOUPS 42304 WITH SCORE 42414.946
AT ITER 9125 NEW BEST:: SOT 213622 SOS 110907 HAS SOPS 106125 HAS SOUS 43272 HAS SOUPS 42174 WITH SCORE 42284.907
AT ITER 9234 NEW BEST:: SOT 213631 SOS 110928 HAS SOPS 106146 HAS SOUS 43263 HAS SOUPS 42165 WITH SCORE 42275.928
AT ITER 9236 NEW BEST:: SOT 213651 SOS 110948 HAS SOPS 106166 HAS SOUS 43238 HAS SOUPS 42140 WITH SCORE 42250.948
AT ITER 9245 NEW BEST:: SOT 213666 SOS 110952 HAS SOPS 106170 HAS SOUS 43223 HAS SOUPS 42125 WITH SCORE 42235.952
AT ITER 9322 NEW BEST:: SOT 213654 SOS 110940 HAS SOPS 106158 HAS SOUS 43187 HAS SOUPS 42089 WITH SCORE 42199.94
AT ITER 9351 NEW BEST:: SOT 213617 SOS 110903 HAS SOPS 106121 HAS SOUS 43155 HAS SOUPS 42057 WITH SCORE 42167.903
AT ITER 9353 NEW BEST:: SOT 213601 SOS 110887 HAS SOPS 106105 HAS SOUS 43123 HAS SOUPS 42025 WITH SCORE 42135.887
AT ITER 9418 NEW BEST:: SOT 213601 SOS 110866 HAS SOPS 106084 HAS SOUS 43123 HAS SOUPS 42025 WITH SCORE 42135.866
AT ITER 9503 NEW BEST:: SOT 213620 SOS 110885 HAS SOPS 106103 HAS SOUS 43110 HAS SOUPS 42012 WITH SCORE 42122.885
AT ITER 9544 NEW BEST:: SOT 213614 SOS 110879 HAS SOPS 106097 HAS SOUS 43098 HAS SOUPS 42000 WITH SCORE 42110.879
AT ITER 9568 NEW BEST:: SOT 213602 SOS 110855 HAS SOPS 106073 HAS SOUS 43074 HAS SOUPS 41976 WITH SCORE 42086.855
AT ITER 9581 NEW BEST:: SOT 213602 SOS 110815 HAS SOPS 106033 HAS SOUS 43074 HAS SOUPS 41976 WITH SCORE 42086.815
AT ITER 9583 NEW BEST:: SOT 213584 SOS 110797 HAS SOPS 106015 HAS SOUS 43056 HAS SOUPS 41958 WITH SCORE 42068.797
AT ITER 9586 NEW BEST:: SOT 213580 SOS 110793 HAS SOPS 106011 HAS SOUS 43050 HAS SOUPS 41952 WITH SCORE 42062.793
AT ITER 9611 NEW BEST:: SOT 213578 SOS 110742 HAS SOPS 105960 HAS SOUS 43037 HAS SOUPS 41939 WITH SCORE 42049.742
AT ITER 9625 NEW BEST:: SOT 213570 SOS 110679 HAS SOPS 105897 HAS SOUS 43007 HAS SOUPS 41909 WITH SCORE 42019.679
AT ITER 9657 NEW BEST:: SOT 213540 SOS 110741 HAS SOPS 105939 HAS SOUS 42966 HAS SOUPS 41868 WITH SCORE 41978.741
AT ITER 9708 NEW BEST:: SOT 213555 SOS 110756 HAS SOPS 105954 HAS SOUS 42936 HAS SOUPS 41838 WITH SCORE 41948.756
AT ITER 9755 NEW BEST:: SOT 213573 SOS 110714 HAS SOPS 105912 HAS SOUS 42930 HAS SOUPS 41832 WITH SCORE 41942.714
AT ITER 9775 NEW BEST:: SOT 213573 SOS 110698 HAS SOPS 105896 HAS SOUS 42914 HAS SOUPS 41816 WITH SCORE 41926.698
AT ITER 9870 NEW BEST:: SOT 213555 SOS 110680 HAS SOPS 105878 HAS SOUS 42905 HAS SOUPS 41807 WITH SCORE 41917.68
AT ITER 9873 NEW BEST:: SOT 213639 SOS 110296 HAS SOPS 105494 HAS SOUS 42894 HAS SOUPS 41796 WITH SCORE 41906.296
AT ITER 9877 NEW BEST:: SOT 213595 SOS 110336 HAS SOPS 105534 HAS SOUS 42882 HAS SOUPS 41784 WITH SCORE 41894.336
AT ITER 9904 NEW BEST:: SOT 213576 SOS 110301 HAS SOPS 105499 HAS SOUS 42847 HAS SOUPS 41749 WITH SCORE 41859.301
AT ITER 9910 NEW BEST:: SOT 213552 SOS 110277 HAS SOPS 105475 HAS SOUS 42823 HAS SOUPS 41725 WITH SCORE 41835.277
AT ITER 9920 NEW BEST:: SOT 213561 SOS 110293 HAS SOPS 105491 HAS SOUS 42764 HAS SOUPS 41666 WITH SCORE 41776.293
AT ITER 9927 NEW BEST:: SOT 213545 SOS 110047 HAS SOPS 105245 HAS SOUS 42723 HAS SOUPS 41625 WITH SCORE 41735.047
AT ITER 9994 NEW BEST:: SOT 213519 SOS 110042 HAS SOPS 105216 HAS SOUS 42730 HAS SOUPS 41620 WITH SCORE 41730.042
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 4705152 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16119724 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="PolyORBLF-PT-S02J04T06"
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 PolyORBLF-PT-S02J04T06, 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-167873953000496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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