Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 6.4K Feb 25 16:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 25 16:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 16:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 16:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 16:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 16:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 25 16:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 16:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 146K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678470146183

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

Filename model.pnml
Petri model created: 586 places, 525 transitions, 1560 arcs.
AT ITER 0 NEW BEST:: SOT 194501 SOS 75360 HAS SOPS 75360 HAS SOUS 73297 HAS SOUPS 73297 WITH SCORE 73372.36
AT ITER 2 NEW BEST:: SOT 194455 SOS 75314 HAS SOPS 75314 HAS SOUS 73251 HAS SOUPS 73251 WITH SCORE 73326.314
AT ITER 13 NEW BEST:: SOT 194278 SOS 74807 HAS SOPS 74807 HAS SOUS 72744 HAS SOUPS 72744 WITH SCORE 72818.807
AT ITER 14 NEW BEST:: SOT 194277 SOS 74704 HAS SOPS 74704 HAS SOUS 72641 HAS SOUPS 72641 WITH SCORE 72715.704
AT ITER 26 NEW BEST:: SOT 194107 SOS 74564 HAS SOPS 74564 HAS SOUS 72501 HAS SOUPS 72501 WITH SCORE 72575.564
AT ITER 35 NEW BEST:: SOT 194107 SOS 74391 HAS SOPS 74391 HAS SOUS 72328 HAS SOUPS 72328 WITH SCORE 72402.391
AT ITER 42 NEW BEST:: SOT 194091 SOS 74359 HAS SOPS 74359 HAS SOUS 72323 HAS SOUPS 72323 WITH SCORE 72397.359
AT ITER 44 NEW BEST:: SOT 194091 SOS 74392 HAS SOPS 74392 HAS SOUS 72294 HAS SOUPS 72294 WITH SCORE 72368.392
AT ITER 49 NEW BEST:: SOT 194091 SOS 74371 HAS SOPS 74371 HAS SOUS 72270 HAS SOUPS 72270 WITH SCORE 72344.371
AT ITER 70 NEW BEST:: SOT 194003 SOS 74379 HAS SOPS 74379 HAS SOUS 72226 HAS SOUPS 72226 WITH SCORE 72300.379
AT ITER 71 NEW BEST:: SOT 194003 SOS 74305 HAS SOPS 74305 HAS SOUS 72152 HAS SOUPS 72152 WITH SCORE 72226.305
AT ITER 81 NEW BEST:: SOT 193971 SOS 74209 HAS SOPS 74209 HAS SOUS 72056 HAS SOUPS 72056 WITH SCORE 72130.209
AT ITER 83 NEW BEST:: SOT 193971 SOS 74096 HAS SOPS 74096 HAS SOUS 71943 HAS SOUPS 71943 WITH SCORE 72017.096
AT ITER 84 NEW BEST:: SOT 193797 SOS 73868 HAS SOPS 73868 HAS SOUS 71715 HAS SOUPS 71715 WITH SCORE 71788.868
AT ITER 104 NEW BEST:: SOT 193778 SOS 73829 HAS SOPS 73829 HAS SOUS 71676 HAS SOUPS 71676 WITH SCORE 71749.829
AT ITER 105 NEW BEST:: SOT 193644 SOS 73695 HAS SOPS 73695 HAS SOUS 71542 HAS SOUPS 71542 WITH SCORE 71615.695
AT ITER 109 NEW BEST:: SOT 193552 SOS 73963 HAS SOPS 73963 HAS SOUS 71496 HAS SOUPS 71496 WITH SCORE 71569.963
AT ITER 121 NEW BEST:: SOT 193618 SOS 73921 HAS SOPS 73921 HAS SOUS 71454 HAS SOUPS 71454 WITH SCORE 71527.921
AT ITER 123 NEW BEST:: SOT 193618 SOS 73879 HAS SOPS 73879 HAS SOUS 71412 HAS SOUPS 71412 WITH SCORE 71485.879
AT ITER 130 NEW BEST:: SOT 188144 SOS 82958 HAS SOPS 82958 HAS SOUS 66438 HAS SOUPS 66438 WITH SCORE 66520.958
AT ITER 132 NEW BEST:: SOT 187962 SOS 82594 HAS SOPS 82594 HAS SOUS 66127 HAS SOUPS 66127 WITH SCORE 66209.594
AT ITER 133 NEW BEST:: SOT 187892 SOS 82201 HAS SOPS 82201 HAS SOUS 66056 HAS SOUPS 66056 WITH SCORE 66138.201
AT ITER 135 NEW BEST:: SOT 187888 SOS 82036 HAS SOPS 82036 HAS SOUS 65939 HAS SOUPS 65939 WITH SCORE 66021.036
AT ITER 149 NEW BEST:: SOT 187887 SOS 82035 HAS SOPS 82035 HAS SOUS 65938 HAS SOUPS 65938 WITH SCORE 66020.035
AT ITER 163 NEW BEST:: SOT 187869 SOS 81999 HAS SOPS 81999 HAS SOUS 65902 HAS SOUPS 65902 WITH SCORE 65983.999
AT ITER 171 NEW BEST:: SOT 187867 SOS 81995 HAS SOPS 81995 HAS SOUS 65898 HAS SOUPS 65898 WITH SCORE 65979.995
AT ITER 182 NEW BEST:: SOT 187862 SOS 81990 HAS SOPS 81990 HAS SOUS 65898 HAS SOUPS 65898 WITH SCORE 65979.99
AT ITER 183 NEW BEST:: SOT 187861 SOS 81989 HAS SOPS 81989 HAS SOUS 65897 HAS SOUPS 65897 WITH SCORE 65978.989
AT ITER 200 NEW BEST:: SOT 187859 SOS 81987 HAS SOPS 81987 HAS SOUS 65895 HAS SOUPS 65895 WITH SCORE 65976.987
AT ITER 210 NEW BEST:: SOT 187603 SOS 81538 HAS SOPS 81538 HAS SOUS 65545 HAS SOUPS 65545 WITH SCORE 65626.538
AT ITER 223 NEW BEST:: SOT 187602 SOS 81537 HAS SOPS 81537 HAS SOUS 65544 HAS SOUPS 65544 WITH SCORE 65625.537
AT ITER 229 NEW BEST:: SOT 187630 SOS 81337 HAS SOPS 81337 HAS SOUS 65508 HAS SOUPS 65508 WITH SCORE 65589.337
AT ITER 230 NEW BEST:: SOT 187606 SOS 81339 HAS SOPS 81339 HAS SOUS 65484 HAS SOUPS 65484 WITH SCORE 65565.339
AT ITER 236 NEW BEST:: SOT 187605 SOS 81337 HAS SOPS 81337 HAS SOUS 65482 HAS SOUPS 65482 WITH SCORE 65563.337
AT ITER 245 NEW BEST:: SOT 187593 SOS 81198 HAS SOPS 81198 HAS SOUS 65343 HAS SOUPS 65343 WITH SCORE 65424.198
AT ITER 249 NEW BEST:: SOT 187593 SOS 81198 HAS SOPS 81198 HAS SOUS 65271 HAS SOUPS 65271 WITH SCORE 65352.198
AT ITER 251 NEW BEST:: SOT 187593 SOS 81198 HAS SOPS 81198 HAS SOUS 65265 HAS SOUPS 65265 WITH SCORE 65346.198
AT ITER 259 NEW BEST:: SOT 187524 SOS 81060 HAS SOPS 81060 HAS SOUS 65168 HAS SOUPS 65168 WITH SCORE 65249.06
AT ITER 264 NEW BEST:: SOT 187506 SOS 81024 HAS SOPS 81024 HAS SOUS 65132 HAS SOUPS 65132 WITH SCORE 65213.024
AT ITER 269 NEW BEST:: SOT 187528 SOS 81065 HAS SOPS 81065 HAS SOUS 65129 HAS SOUPS 65129 WITH SCORE 65210.065
AT ITER 272 NEW BEST:: SOT 187527 SOS 81063 HAS SOPS 81063 HAS SOUS 65127 HAS SOUPS 65127 WITH SCORE 65208.063
AT ITER 282 NEW BEST:: SOT 187527 SOS 80893 HAS SOPS 80893 HAS SOUS 65078 HAS SOUPS 65078 WITH SCORE 65158.893
AT ITER 291 NEW BEST:: SOT 187527 SOS 80774 HAS SOPS 80774 HAS SOUS 65011 HAS SOUPS 65011 WITH SCORE 65091.774
AT ITER 298 NEW BEST:: SOT 187527 SOS 80441 HAS SOPS 80441 HAS SOUS 64991 HAS SOUPS 64991 WITH SCORE 65071.441
AT ITER 299 NEW BEST:: SOT 187527 SOS 80440 HAS SOPS 80440 HAS SOUS 64990 HAS SOUPS 64990 WITH SCORE 65070.44
AT ITER 300 NEW BEST:: SOT 187344 SOS 80035 HAS SOPS 80035 HAS SOUS 64585 HAS SOUPS 64585 WITH SCORE 64665.035
AT ITER 309 NEW BEST:: SOT 187344 SOS 80035 HAS SOPS 80035 HAS SOUS 64516 HAS SOUPS 64516 WITH SCORE 64596.035
AT ITER 310 NEW BEST:: SOT 187368 SOS 79871 HAS SOPS 79871 HAS SOUS 64447 HAS SOUPS 64447 WITH SCORE 64526.871
AT ITER 325 NEW BEST:: SOT 187368 SOS 79718 HAS SOPS 79718 HAS SOUS 64151 HAS SOUPS 64151 WITH SCORE 64230.718
AT ITER 334 NEW BEST:: SOT 187367 SOS 79716 HAS SOPS 79716 HAS SOUS 64149 HAS SOUPS 64149 WITH SCORE 64228.716
AT ITER 336 NEW BEST:: SOT 187367 SOS 79562 HAS SOPS 79562 HAS SOUS 63995 HAS SOUPS 63995 WITH SCORE 64074.562
AT ITER 349 NEW BEST:: SOT 187326 SOS 79521 HAS SOPS 79521 HAS SOUS 63995 HAS SOUPS 63995 WITH SCORE 64074.521
AT ITER 368 NEW BEST:: SOT 187257 SOS 79383 HAS SOPS 79383 HAS SOUS 63907 HAS SOUPS 63907 WITH SCORE 63986.383
AT ITER 378 NEW BEST:: SOT 187005 SOS 78908 HAS SOPS 78908 HAS SOUS 63654 HAS SOUPS 63654 WITH SCORE 63732.908
AT ITER 387 NEW BEST:: SOT 187009 SOS 78884 HAS SOPS 78884 HAS SOUS 63630 HAS SOUPS 63630 WITH SCORE 63708.884
AT ITER 405 NEW BEST:: SOT 186850 SOS 78566 HAS SOPS 78566 HAS SOUS 63312 HAS SOUPS 63312 WITH SCORE 63390.566
AT ITER 409 NEW BEST:: SOT 186422 SOS 77912 HAS SOPS 77912 HAS SOUS 62658 HAS SOUPS 62658 WITH SCORE 62735.912
AT ITER 418 NEW BEST:: SOT 186388 SOS 77878 HAS SOPS 77878 HAS SOUS 62624 HAS SOUPS 62624 WITH SCORE 62701.878
AT ITER 421 NEW BEST:: SOT 186388 SOS 77856 HAS SOPS 77856 HAS SOUS 62580 HAS SOUPS 62580 WITH SCORE 62657.856
AT ITER 425 NEW BEST:: SOT 186446 SOS 77884 HAS SOPS 77884 HAS SOUS 62564 HAS SOUPS 62564 WITH SCORE 62641.884
AT ITER 426 NEW BEST:: SOT 186339 SOS 77775 HAS SOPS 77775 HAS SOUS 62560 HAS SOUPS 62560 WITH SCORE 62637.775
AT ITER 435 NEW BEST:: SOT 186226 SOS 77549 HAS SOPS 77549 HAS SOUS 62424 HAS SOUPS 62424 WITH SCORE 62501.549
AT ITER 436 NEW BEST:: SOT 186160 SOS 77483 HAS SOPS 77483 HAS SOUS 62358 HAS SOUPS 62358 WITH SCORE 62435.483
AT ITER 438 NEW BEST:: SOT 186159 SOS 77481 HAS SOPS 77481 HAS SOUS 62301 HAS SOUPS 62301 WITH SCORE 62378.481
AT ITER 443 NEW BEST:: SOT 186159 SOS 77401 HAS SOPS 77401 HAS SOUS 62221 HAS SOUPS 62221 WITH SCORE 62298.401
AT ITER 446 NEW BEST:: SOT 186283 SOS 77516 HAS SOPS 77516 HAS SOUS 62205 HAS SOUPS 62205 WITH SCORE 62282.516
AT ITER 450 NEW BEST:: SOT 186132 SOS 77251 HAS SOPS 77251 HAS SOUS 62169 HAS SOUPS 62169 WITH SCORE 62246.251
AT ITER 459 NEW BEST:: SOT 183347 SOS 76268 HAS SOPS 76268 HAS SOUS 59656 HAS SOUPS 59656 WITH SCORE 59732.268
AT ITER 462 NEW BEST:: SOT 183346 SOS 76266 HAS SOPS 76266 HAS SOUS 59654 HAS SOUPS 59654 WITH SCORE 59730.266
AT ITER 469 NEW BEST:: SOT 183238 SOS 76158 HAS SOPS 76158 HAS SOUS 59555 HAS SOUPS 59555 WITH SCORE 59631.158
AT ITER 484 NEW BEST:: SOT 183070 SOS 75882 HAS SOPS 75882 HAS SOUS 59281 HAS SOUPS 59281 WITH SCORE 59356.882
AT ITER 487 NEW BEST:: SOT 183070 SOS 75854 HAS SOPS 75854 HAS SOUS 59225 HAS SOUPS 59225 WITH SCORE 59300.854
AT ITER 500 NEW BEST:: SOT 183051 SOS 75816 HAS SOPS 75816 HAS SOUS 59206 HAS SOUPS 59206 WITH SCORE 59281.816
AT ITER 523 NEW BEST:: SOT 183054 SOS 75792 HAS SOPS 75792 HAS SOUS 59123 HAS SOUPS 59123 WITH SCORE 59198.792
AT ITER 525 NEW BEST:: SOT 180200 SOS 74168 HAS SOPS 74168 HAS SOUS 56659 HAS SOUPS 56659 WITH SCORE 56733.168
AT ITER 541 NEW BEST:: SOT 180164 SOS 74132 HAS SOPS 74132 HAS SOUS 56659 HAS SOUPS 56659 WITH SCORE 56733.132
AT ITER 544 NEW BEST:: SOT 180085 SOS 73974 HAS SOPS 73974 HAS SOUS 56591 HAS SOUPS 56591 WITH SCORE 56664.974
AT ITER 547 NEW BEST:: SOT 180085 SOS 73972 HAS SOPS 73972 HAS SOUS 56589 HAS SOUPS 56589 WITH SCORE 56662.972
AT ITER 552 NEW BEST:: SOT 180109 SOS 73832 HAS SOPS 73832 HAS SOUS 56568 HAS SOUPS 56568 WITH SCORE 56641.832
AT ITER 553 NEW BEST:: SOT 180103 SOS 73826 HAS SOPS 73826 HAS SOUS 56562 HAS SOUPS 56562 WITH SCORE 56635.826
AT ITER 563 NEW BEST:: SOT 179928 SOS 73651 HAS SOPS 73651 HAS SOUS 56387 HAS SOUPS 56387 WITH SCORE 56460.651
AT ITER 580 NEW BEST:: SOT 179845 SOS 73485 HAS SOPS 73485 HAS SOUS 56311 HAS SOUPS 56311 WITH SCORE 56384.485
AT ITER 586 NEW BEST:: SOT 179774 SOS 73416 HAS SOPS 73416 HAS SOUS 56239 HAS SOUPS 56239 WITH SCORE 56312.416
AT ITER 593 NEW BEST:: SOT 179740 SOS 73382 HAS SOPS 73382 HAS SOUS 56205 HAS SOUPS 56205 WITH SCORE 56278.382
AT ITER 597 NEW BEST:: SOT 179765 SOS 73287 HAS SOPS 73287 HAS SOUS 56110 HAS SOUPS 56110 WITH SCORE 56183.287
AT ITER 605 NEW BEST:: SOT 179764 SOS 73245 HAS SOPS 73245 HAS SOUS 56068 HAS SOUPS 56068 WITH SCORE 56141.245
AT ITER 606 NEW BEST:: SOT 179767 SOS 73059 HAS SOPS 73059 HAS SOUS 56068 HAS SOUPS 56068 WITH SCORE 56141.059
AT ITER 610 NEW BEST:: SOT 179761 SOS 72953 HAS SOPS 72953 HAS SOUS 56023 HAS SOUPS 56023 WITH SCORE 56095.953
AT ITER 611 NEW BEST:: SOT 179760 SOS 72952 HAS SOPS 72952 HAS SOUS 56022 HAS SOUPS 56022 WITH SCORE 56094.952
AT ITER 615 NEW BEST:: SOT 179758 SOS 72948 HAS SOPS 72948 HAS SOUS 56018 HAS SOUPS 56018 WITH SCORE 56090.948
AT ITER 622 NEW BEST:: SOT 179850 SOS 72878 HAS SOPS 72878 HAS SOUS 55966 HAS SOUPS 55966 WITH SCORE 56038.878
AT ITER 623 NEW BEST:: SOT 179850 SOS 72877 HAS SOPS 72877 HAS SOUS 55965 HAS SOUPS 55965 WITH SCORE 56037.877
AT ITER 644 NEW BEST:: SOT 179731 SOS 72758 HAS SOPS 72758 HAS SOUS 55965 HAS SOUPS 55965 WITH SCORE 56037.758
AT ITER 649 NEW BEST:: SOT 179730 SOS 72652 HAS SOPS 72652 HAS SOUS 55859 HAS SOUPS 55859 WITH SCORE 55931.652
AT ITER 655 NEW BEST:: SOT 179654 SOS 72500 HAS SOPS 72500 HAS SOUS 55802 HAS SOUPS 55802 WITH SCORE 55874.5
AT ITER 656 NEW BEST:: SOT 179578 SOS 72320 HAS SOPS 72320 HAS SOUS 55622 HAS SOUPS 55622 WITH SCORE 55694.32
AT ITER 665 NEW BEST:: SOT 179404 SOS 72099 HAS SOPS 72099 HAS SOUS 55528 HAS SOUPS 55528 WITH SCORE 55600.099
AT ITER 684 NEW BEST:: SOT 179404 SOS 72093 HAS SOPS 72093 HAS SOUS 55522 HAS SOUPS 55522 WITH SCORE 55594.093
AT ITER 697 NEW BEST:: SOT 179357 SOS 72046 HAS SOPS 72046 HAS SOUS 55520 HAS SOUPS 55520 WITH SCORE 55592.046
AT ITER 701 NEW BEST:: SOT 179254 SOS 71840 HAS SOPS 71840 HAS SOUS 55189 HAS SOUPS 55189 WITH SCORE 55260.84
AT ITER 708 NEW BEST:: SOT 179194 SOS 71720 HAS SOPS 71720 HAS SOUS 55151 HAS SOUPS 55151 WITH SCORE 55222.72
AT ITER 714 NEW BEST:: SOT 179180 SOS 71705 HAS SOPS 71705 HAS SOUS 55149 HAS SOUPS 55149 WITH SCORE 55220.705
AT ITER 715 NEW BEST:: SOT 179099 SOS 71605 HAS SOPS 71605 HAS SOUS 55098 HAS SOUPS 55098 WITH SCORE 55169.605
AT ITER 721 NEW BEST:: SOT 179063 SOS 71595 HAS SOPS 71595 HAS SOUS 55088 HAS SOUPS 55088 WITH SCORE 55159.595
AT ITER 752 NEW BEST:: SOT 179056 SOS 71588 HAS SOPS 71588 HAS SOUS 55088 HAS SOUPS 55088 WITH SCORE 55159.588
AT ITER 753 NEW BEST:: SOT 179054 SOS 71584 HAS SOPS 71584 HAS SOUS 55082 HAS SOUPS 55082 WITH SCORE 55153.584
AT ITER 761 NEW BEST:: SOT 178972 SOS 71483 HAS SOPS 71483 HAS SOUS 54981 HAS SOUPS 54981 WITH SCORE 55052.483
AT ITER 777 NEW BEST:: SOT 178950 SOS 71461 HAS SOPS 71461 HAS SOUS 54959 HAS SOUPS 54959 WITH SCORE 55030.461
AT ITER 780 NEW BEST:: SOT 179025 SOS 71430 HAS SOPS 71430 HAS SOUS 54928 HAS SOUPS 54928 WITH SCORE 54999.43
AT ITER 781 NEW BEST:: SOT 178950 SOS 71430 HAS SOPS 71430 HAS SOUS 54910 HAS SOUPS 54910 WITH SCORE 54981.43
AT ITER 789 NEW BEST:: SOT 178876 SOS 71282 HAS SOPS 71282 HAS SOUS 54762 HAS SOUPS 54762 WITH SCORE 54833.282
AT ITER 790 NEW BEST:: SOT 178817 SOS 71130 HAS SOPS 71130 HAS SOUS 54732 HAS SOUPS 54732 WITH SCORE 54803.13
AT ITER 796 NEW BEST:: SOT 178817 SOS 71065 HAS SOPS 71065 HAS SOUS 54667 HAS SOUPS 54667 WITH SCORE 54738.065
AT ITER 804 NEW BEST:: SOT 178839 SOS 70856 HAS SOPS 70856 HAS SOUS 54618 HAS SOUPS 54618 WITH SCORE 54688.856
AT ITER 808 NEW BEST:: SOT 178819 SOS 70829 HAS SOPS 70829 HAS SOUS 54591 HAS SOUPS 54591 WITH SCORE 54661.829
AT ITER 819 NEW BEST:: SOT 178802 SOS 70812 HAS SOPS 70812 HAS SOUS 54574 HAS SOUPS 54574 WITH SCORE 54644.812
AT ITER 821 NEW BEST:: SOT 178617 SOS 70379 HAS SOPS 70379 HAS SOUS 54381 HAS SOUPS 54381 WITH SCORE 54451.379
AT ITER 829 NEW BEST:: SOT 178612 SOS 70374 HAS SOPS 70374 HAS SOUS 54376 HAS SOUPS 54376 WITH SCORE 54446.374
AT ITER 837 NEW BEST:: SOT 178586 SOS 70283 HAS SOPS 70283 HAS SOUS 54285 HAS SOUPS 54285 WITH SCORE 54355.283
AT ITER 852 NEW BEST:: SOT 178566 SOS 70253 HAS SOPS 70253 HAS SOUS 54265 HAS SOUPS 54265 WITH SCORE 54335.253
AT ITER 861 NEW BEST:: SOT 178566 SOS 70407 HAS SOPS 70407 HAS SOUS 54264 HAS SOUPS 54264 WITH SCORE 54334.407
AT ITER 868 NEW BEST:: SOT 178464 SOS 70305 HAS SOPS 70305 HAS SOUS 54162 HAS SOUPS 54162 WITH SCORE 54232.305
AT ITER 903 NEW BEST:: SOT 178441 SOS 70259 HAS SOPS 70259 HAS SOUS 54116 HAS SOUPS 54116 WITH SCORE 54186.259
AT ITER 914 NEW BEST:: SOT 178426 SOS 70228 HAS SOPS 70228 HAS SOUS 54085 HAS SOUPS 54085 WITH SCORE 54155.228
AT ITER 932 NEW BEST:: SOT 178426 SOS 70228 HAS SOPS 70228 HAS SOUS 54066 HAS SOUPS 54066 WITH SCORE 54136.228
AT ITER 947 NEW BEST:: SOT 178420 SOS 70139 HAS SOPS 70139 HAS SOUS 53947 HAS SOUPS 53947 WITH SCORE 54017.139
AT ITER 952 NEW BEST:: SOT 178104 SOS 69643 HAS SOPS 69643 HAS SOUS 53764 HAS SOUPS 53764 WITH SCORE 53833.643
AT ITER 980 NEW BEST:: SOT 178104 SOS 69642 HAS SOPS 69642 HAS SOUS 53763 HAS SOUPS 53763 WITH SCORE 53832.642
AT ITER 991 NEW BEST:: SOT 178091 SOS 69624 HAS SOPS 69624 HAS SOUS 53745 HAS SOUPS 53745 WITH SCORE 53814.624
AT ITER 996 NEW BEST:: SOT 177952 SOS 69608 HAS SOPS 69608 HAS SOUS 53714 HAS SOUPS 53714 WITH SCORE 53783.608
AT ITER 1010 NEW BEST:: SOT 177952 SOS 69539 HAS SOPS 69539 HAS SOUS 53645 HAS SOUPS 53645 WITH SCORE 53714.539
AT ITER 1019 NEW BEST:: SOT 177849 SOS 69251 HAS SOPS 69251 HAS SOUS 53459 HAS SOUPS 53459 WITH SCORE 53528.251
AT ITER 1029 NEW BEST:: SOT 177801 SOS 69251 HAS SOPS 69251 HAS SOUS 53427 HAS SOUPS 53427 WITH SCORE 53496.251
AT ITER 1039 NEW BEST:: SOT 177821 SOS 69207 HAS SOPS 69207 HAS SOUS 53407 HAS SOUPS 53407 WITH SCORE 53476.207
AT ITER 1041 NEW BEST:: SOT 177821 SOS 69155 HAS SOPS 69155 HAS SOUS 53406 HAS SOUPS 53406 WITH SCORE 53475.155
AT ITER 1050 NEW BEST:: SOT 177820 SOS 69089 HAS SOPS 69089 HAS SOUS 53198 HAS SOUPS 53198 WITH SCORE 53267.089
AT ITER 1074 NEW BEST:: SOT 177717 SOS 68878 HAS SOPS 68878 HAS SOUS 53042 HAS SOUPS 53042 WITH SCORE 53110.878
AT ITER 1097 NEW BEST:: SOT 177646 SOS 68736 HAS SOPS 68736 HAS SOUS 52899 HAS SOUPS 52899 WITH SCORE 52967.736
AT ITER 1106 NEW BEST:: SOT 177651 SOS 68720 HAS SOPS 68720 HAS SOUS 52883 HAS SOUPS 52883 WITH SCORE 52951.72
AT ITER 1113 NEW BEST:: SOT 177601 SOS 68688 HAS SOPS 68688 HAS SOUS 52851 HAS SOUPS 52851 WITH SCORE 52919.688
AT ITER 1138 NEW BEST:: SOT 177511 SOS 68666 HAS SOPS 68666 HAS SOUS 52829 HAS SOUPS 52829 WITH SCORE 52897.666
AT ITER 1159 NEW BEST:: SOT 177469 SOS 68604 HAS SOPS 68604 HAS SOUS 52767 HAS SOUPS 52767 WITH SCORE 52835.604
AT ITER 1163 NEW BEST:: SOT 177469 SOS 68579 HAS SOPS 68579 HAS SOUS 52742 HAS SOUPS 52742 WITH SCORE 52810.579
AT ITER 1174 NEW BEST:: SOT 177465 SOS 68571 HAS SOPS 68571 HAS SOUS 52734 HAS SOUPS 52734 WITH SCORE 52802.571
AT ITER 1175 NEW BEST:: SOT 177379 SOS 68485 HAS SOPS 68485 HAS SOUS 52648 HAS SOUPS 52648 WITH SCORE 52716.485
AT ITER 1178 NEW BEST:: SOT 177390 SOS 68444 HAS SOPS 68444 HAS SOUS 52618 HAS SOUPS 52618 WITH SCORE 52686.444
AT ITER 1190 NEW BEST:: SOT 177332 SOS 68328 HAS SOPS 68328 HAS SOUS 52604 HAS SOUPS 52604 WITH SCORE 52672.328
AT ITER 1196 NEW BEST:: SOT 177332 SOS 68306 HAS SOPS 68306 HAS SOUS 52582 HAS SOUPS 52582 WITH SCORE 52650.306
AT ITER 1212 NEW BEST:: SOT 176814 SOS 67788 HAS SOPS 67788 HAS SOUS 52064 HAS SOUPS 52064 WITH SCORE 52131.788
AT ITER 1214 NEW BEST:: SOT 176692 SOS 67544 HAS SOPS 67544 HAS SOUS 51958 HAS SOUPS 51958 WITH SCORE 52025.544
AT ITER 1239 NEW BEST:: SOT 176645 SOS 67488 HAS SOPS 67488 HAS SOUS 51902 HAS SOUPS 51902 WITH SCORE 51969.488
AT ITER 1248 NEW BEST:: SOT 176632 SOS 67450 HAS SOPS 67450 HAS SOUS 51864 HAS SOUPS 51864 WITH SCORE 51931.45
AT ITER 1254 NEW BEST:: SOT 176625 SOS 67436 HAS SOPS 67436 HAS SOUS 51850 HAS SOUPS 51850 WITH SCORE 51917.436
AT ITER 1260 NEW BEST:: SOT 176561 SOS 67341 HAS SOPS 67341 HAS SOUS 51752 HAS SOUPS 51752 WITH SCORE 51819.341
AT ITER 1263 NEW BEST:: SOT 176447 SOS 67170 HAS SOPS 67170 HAS SOUS 51638 HAS SOUPS 51638 WITH SCORE 51705.17
AT ITER 1290 NEW BEST:: SOT 176610 SOS 67358 HAS SOPS 67358 HAS SOUS 51594 HAS SOUPS 51594 WITH SCORE 51661.358
AT ITER 1298 NEW BEST:: SOT 176574 SOS 67304 HAS SOPS 67304 HAS SOUS 51540 HAS SOUPS 51540 WITH SCORE 51607.304
AT ITER 1302 NEW BEST:: SOT 176532 SOS 67241 HAS SOPS 67241 HAS SOUS 51477 HAS SOUPS 51477 WITH SCORE 51544.241
AT ITER 1319 NEW BEST:: SOT 176432 SOS 66936 HAS SOPS 66936 HAS SOUS 51308 HAS SOUPS 51308 WITH SCORE 51374.936
AT ITER 1320 NEW BEST:: SOT 176421 SOS 66914 HAS SOPS 66914 HAS SOUS 51286 HAS SOUPS 51286 WITH SCORE 51352.914
AT ITER 1323 NEW BEST:: SOT 176443 SOS 66936 HAS SOPS 66936 HAS SOUS 51248 HAS SOUPS 51248 WITH SCORE 51314.936
AT ITER 1331 NEW BEST:: SOT 176452 SOS 66954 HAS SOPS 66954 HAS SOUS 51233 HAS SOUPS 51233 WITH SCORE 51299.954
AT ITER 1332 NEW BEST:: SOT 176426 SOS 66925 HAS SOPS 66925 HAS SOUS 51204 HAS SOUPS 51204 WITH SCORE 51270.925
AT ITER 1356 NEW BEST:: SOT 176418 SOS 66909 HAS SOPS 66909 HAS SOUS 51188 HAS SOUPS 51188 WITH SCORE 51254.909
AT ITER 1366 NEW BEST:: SOT 176342 SOS 66757 HAS SOPS 66757 HAS SOUS 51112 HAS SOUPS 51112 WITH SCORE 51178.757
AT ITER 1368 NEW BEST:: SOT 176332 SOS 66747 HAS SOPS 66747 HAS SOUS 51102 HAS SOUPS 51102 WITH SCORE 51168.747
AT ITER 1384 NEW BEST:: SOT 176184 SOS 66546 HAS SOPS 66546 HAS SOUS 50901 HAS SOUPS 50901 WITH SCORE 50967.546
AT ITER 1389 NEW BEST:: SOT 176184 SOS 66546 HAS SOPS 66546 HAS SOUS 50897 HAS SOUPS 50897 WITH SCORE 50963.546
AT ITER 1395 NEW BEST:: SOT 176234 SOS 66513 HAS SOPS 66513 HAS SOUS 50897 HAS SOUPS 50897 WITH SCORE 50963.513
AT ITER 1407 NEW BEST:: SOT 176182 SOS 65404 HAS SOPS 65404 HAS SOUS 50793 HAS SOUPS 50793 WITH SCORE 50858.404
AT ITER 1425 NEW BEST:: SOT 175977 SOS 65211 HAS SOPS 65211 HAS SOUS 50651 HAS SOUPS 50651 WITH SCORE 50716.211
AT ITER 1434 NEW BEST:: SOT 175925 SOS 65107 HAS SOPS 65107 HAS SOUS 50547 HAS SOUPS 50547 WITH SCORE 50612.107
AT ITER 1446 NEW BEST:: SOT 175912 SOS 65094 HAS SOPS 65094 HAS SOUS 50516 HAS SOUPS 50516 WITH SCORE 50581.094
AT ITER 1461 NEW BEST:: SOT 175934 SOS 65029 HAS SOPS 65029 HAS SOUS 50451 HAS SOUPS 50451 WITH SCORE 50516.029
AT ITER 1462 NEW BEST:: SOT 175702 SOS 64731 HAS SOPS 64731 HAS SOUS 50319 HAS SOUPS 50319 WITH SCORE 50383.731
AT ITER 1466 NEW BEST:: SOT 176072 SOS 64626 HAS SOPS 64626 HAS SOUS 50274 HAS SOUPS 50274 WITH SCORE 50338.626
AT ITER 1488 NEW BEST:: SOT 175974 SOS 64528 HAS SOPS 64528 HAS SOUS 50225 HAS SOUPS 50225 WITH SCORE 50289.528
AT ITER 1489 NEW BEST:: SOT 175666 SOS 64319 HAS SOPS 64319 HAS SOUS 49933 HAS SOUPS 49933 WITH SCORE 49997.319
AT ITER 1497 NEW BEST:: SOT 175646 SOS 64299 HAS SOPS 64299 HAS SOUS 49912 HAS SOUPS 49912 WITH SCORE 49976.299
AT ITER 1510 NEW BEST:: SOT 175551 SOS 64153 HAS SOPS 64153 HAS SOUS 49861 HAS SOUPS 49861 WITH SCORE 49925.153
AT ITER 1522 NEW BEST:: SOT 175535 SOS 64137 HAS SOPS 64137 HAS SOUS 49845 HAS SOUPS 49845 WITH SCORE 49909.137
AT ITER 1529 NEW BEST:: SOT 175609 SOS 64190 HAS SOPS 64190 HAS SOUS 49823 HAS SOUPS 49823 WITH SCORE 49887.19
AT ITER 1530 NEW BEST:: SOT 175725 SOS 64147 HAS SOPS 64147 HAS SOUS 49796 HAS SOUPS 49796 WITH SCORE 49860.147
AT ITER 1545 NEW BEST:: SOT 175661 SOS 64083 HAS SOPS 64083 HAS SOUS 49796 HAS SOUPS 49796 WITH SCORE 49860.083
AT ITER 1563 NEW BEST:: SOT 175602 SOS 63966 HAS SOPS 63966 HAS SOUS 49679 HAS SOUPS 49679 WITH SCORE 49742.966
AT ITER 1565 NEW BEST:: SOT 175638 SOS 63897 HAS SOPS 63897 HAS SOUS 49557 HAS SOUPS 49557 WITH SCORE 49620.897
AT ITER 1570 NEW BEST:: SOT 175944 SOS 63877 HAS SOPS 63877 HAS SOUS 49537 HAS SOUPS 49537 WITH SCORE 49600.877
AT ITER 1589 NEW BEST:: SOT 175944 SOS 63863 HAS SOPS 63863 HAS SOUS 49523 HAS SOUPS 49523 WITH SCORE 49586.863
AT ITER 1600 NEW BEST:: SOT 175900 SOS 63682 HAS SOPS 63682 HAS SOUS 49342 HAS SOUPS 49342 WITH SCORE 49405.682
AT ITER 1604 NEW BEST:: SOT 175868 SOS 63618 HAS SOPS 63618 HAS SOUS 49310 HAS SOUPS 49310 WITH SCORE 49373.618
AT ITER 1612 NEW BEST:: SOT 175918 SOS 63637 HAS SOPS 63637 HAS SOUS 49248 HAS SOUPS 49248 WITH SCORE 49311.637
AT ITER 1614 NEW BEST:: SOT 175870 SOS 63579 HAS SOPS 63579 HAS SOUS 49190 HAS SOUPS 49190 WITH SCORE 49253.579
AT ITER 1639 NEW BEST:: SOT 175798 SOS 63435 HAS SOPS 63435 HAS SOUS 49149 HAS SOUPS 49149 WITH SCORE 49212.435
AT ITER 1645 NEW BEST:: SOT 175798 SOS 63435 HAS SOPS 63435 HAS SOUS 49108 HAS SOUPS 49108 WITH SCORE 49171.435
AT ITER 1646 NEW BEST:: SOT 175786 SOS 63423 HAS SOPS 63423 HAS SOUS 49096 HAS SOUPS 49096 WITH SCORE 49159.423
AT ITER 1651 NEW BEST:: SOT 175700 SOS 63294 HAS SOPS 63294 HAS SOUS 49010 HAS SOUPS 49010 WITH SCORE 49073.294
AT ITER 1664 NEW BEST:: SOT 175700 SOS 63149 HAS SOPS 63149 HAS SOUS 48865 HAS SOUPS 48865 WITH SCORE 48928.149
AT ITER 1671 NEW BEST:: SOT 175692 SOS 63141 HAS SOPS 63141 HAS SOUS 48857 HAS SOUPS 48857 WITH SCORE 48920.141
AT ITER 1690 NEW BEST:: SOT 175627 SOS 63111 HAS SOPS 63111 HAS SOUS 48787 HAS SOUPS 48787 WITH SCORE 48850.111
AT ITER 1696 NEW BEST:: SOT 175613 SOS 63097 HAS SOPS 63097 HAS SOUS 48773 HAS SOUPS 48773 WITH SCORE 48836.097
AT ITER 1698 NEW BEST:: SOT 175630 SOS 62881 HAS SOPS 62881 HAS SOUS 48726 HAS SOUPS 48726 WITH SCORE 48788.881
AT ITER 1713 NEW BEST:: SOT 175663 SOS 62914 HAS SOPS 62914 HAS SOUS 48695 HAS SOUPS 48695 WITH SCORE 48757.914
AT ITER 1725 NEW BEST:: SOT 175656 SOS 62871 HAS SOPS 62871 HAS SOUS 48652 HAS SOUPS 48652 WITH SCORE 48714.871
AT ITER 1778 NEW BEST:: SOT 175603 SOS 62806 HAS SOPS 62806 HAS SOUS 48587 HAS SOUPS 48587 WITH SCORE 48649.806
AT ITER 1806 NEW BEST:: SOT 175526 SOS 62792 HAS SOPS 62792 HAS SOUS 48546 HAS SOUPS 48546 WITH SCORE 48608.792
AT ITER 1811 NEW BEST:: SOT 175396 SOS 62717 HAS SOPS 62717 HAS SOUS 48471 HAS SOUPS 48471 WITH SCORE 48533.717
AT ITER 1812 NEW BEST:: SOT 175262 SOS 62516 HAS SOPS 62516 HAS SOUS 48292 HAS SOUPS 48292 WITH SCORE 48354.516
AT ITER 1815 NEW BEST:: SOT 175257 SOS 62493 HAS SOPS 62493 HAS SOUS 48277 HAS SOUPS 48277 WITH SCORE 48339.493
AT ITER 1817 NEW BEST:: SOT 175314 SOS 62475 HAS SOPS 62475 HAS SOUS 48197 HAS SOUPS 48197 WITH SCORE 48259.475
AT ITER 1843 NEW BEST:: SOT 175276 SOS 62399 HAS SOPS 62399 HAS SOUS 48121 HAS SOUPS 48121 WITH SCORE 48183.399
AT ITER 1854 NEW BEST:: SOT 175262 SOS 62371 HAS SOPS 62371 HAS SOUS 48093 HAS SOUPS 48093 WITH SCORE 48155.371
AT ITER 1857 NEW BEST:: SOT 175177 SOS 62347 HAS SOPS 62347 HAS SOUS 48069 HAS SOUPS 48069 WITH SCORE 48131.347
AT ITER 1866 NEW BEST:: SOT 175177 SOS 62285 HAS SOPS 62285 HAS SOUS 47945 HAS SOUPS 47945 WITH SCORE 48007.285
AT ITER 1867 NEW BEST:: SOT 174988 SOS 62023 HAS SOPS 62023 HAS SOUS 47683 HAS SOUPS 47683 WITH SCORE 47745.023
AT ITER 1876 NEW BEST:: SOT 174964 SOS 61975 HAS SOPS 61975 HAS SOUS 47626 HAS SOUPS 47626 WITH SCORE 47687.975
AT ITER 1884 NEW BEST:: SOT 173629 SOS 60836 HAS SOPS 60836 HAS SOUS 46300 HAS SOUPS 46300 WITH SCORE 46360.836
AT ITER 1903 NEW BEST:: SOT 173615 SOS 60808 HAS SOPS 60808 HAS SOUS 46272 HAS SOUPS 46272 WITH SCORE 46332.808
AT ITER 1920 NEW BEST:: SOT 173611 SOS 60804 HAS SOPS 60804 HAS SOUS 46268 HAS SOUPS 46268 WITH SCORE 46328.804
AT ITER 1923 NEW BEST:: SOT 173491 SOS 60684 HAS SOPS 60684 HAS SOUS 46186 HAS SOUPS 46186 WITH SCORE 46246.684
AT ITER 1934 NEW BEST:: SOT 173498 SOS 60673 HAS SOPS 60673 HAS SOUS 46175 HAS SOUPS 46175 WITH SCORE 46235.673
AT ITER 1945 NEW BEST:: SOT 173498 SOS 60649 HAS SOPS 60649 HAS SOUS 46151 HAS SOUPS 46151 WITH SCORE 46211.649
AT ITER 1962 NEW BEST:: SOT 173400 SOS 60485 HAS SOPS 60485 HAS SOUS 46124 HAS SOUPS 46124 WITH SCORE 46184.485
AT ITER 1963 NEW BEST:: SOT 173389 SOS 60463 HAS SOPS 60463 HAS SOUS 46102 HAS SOUPS 46102 WITH SCORE 46162.463
AT ITER 1977 NEW BEST:: SOT 173357 SOS 60399 HAS SOPS 60399 HAS SOUS 46038 HAS SOUPS 46038 WITH SCORE 46098.399
AT ITER 1987 NEW BEST:: SOT 173250 SOS 60496 HAS SOPS 60496 HAS SOUS 46022 HAS SOUPS 46022 WITH SCORE 46082.496
AT ITER 1991 NEW BEST:: SOT 173250 SOS 60488 HAS SOPS 60488 HAS SOUS 46020 HAS SOUPS 46020 WITH SCORE 46080.488
AT ITER 1994 NEW BEST:: SOT 173136 SOS 60431 HAS SOPS 60431 HAS SOUS 45963 HAS SOUPS 45963 WITH SCORE 46023.431
AT ITER 1996 NEW BEST:: SOT 173082 SOS 60390 HAS SOPS 60390 HAS SOUS 45922 HAS SOUPS 45922 WITH SCORE 45982.39
AT ITER 2001 NEW BEST:: SOT 173034 SOS 60318 HAS SOPS 60318 HAS SOUS 45874 HAS SOUPS 45874 WITH SCORE 45934.318
AT ITER 2004 NEW BEST:: SOT 173016 SOS 60299 HAS SOPS 60299 HAS SOUS 45855 HAS SOUPS 45855 WITH SCORE 45915.299
AT ITER 2005 NEW BEST:: SOT 172932 SOS 60143 HAS SOPS 60143 HAS SOUS 45752 HAS SOUPS 45752 WITH SCORE 45812.143
AT ITER 2025 NEW BEST:: SOT 172953 SOS 60164 HAS SOPS 60164 HAS SOUS 45740 HAS SOUPS 45740 WITH SCORE 45800.164
AT ITER 2044 NEW BEST:: SOT 172938 SOS 60241 HAS SOPS 60241 HAS SOUS 45698 HAS SOUPS 45698 WITH SCORE 45758.241
AT ITER 2048 NEW BEST:: SOT 172954 SOS 60194 HAS SOPS 60194 HAS SOUS 45651 HAS SOUPS 45651 WITH SCORE 45711.194
AT ITER 2051 NEW BEST:: SOT 172927 SOS 60167 HAS SOPS 60167 HAS SOUS 45624 HAS SOUPS 45624 WITH SCORE 45684.167
AT ITER 2054 NEW BEST:: SOT 172920 SOS 60153 HAS SOPS 60153 HAS SOUS 45610 HAS SOUPS 45610 WITH SCORE 45670.153
AT ITER 2059 NEW BEST:: SOT 172890 SOS 60111 HAS SOPS 60111 HAS SOUS 45568 HAS SOUPS 45568 WITH SCORE 45628.111
AT ITER 2080 NEW BEST:: SOT 172879 SOS 60100 HAS SOPS 60100 HAS SOUS 45557 HAS SOUPS 45557 WITH SCORE 45617.1
AT ITER 2083 NEW BEST:: SOT 172878 SOS 60057 HAS SOPS 60057 HAS SOUS 45514 HAS SOUPS 45514 WITH SCORE 45574.057
AT ITER 2094 NEW BEST:: SOT 172877 SOS 59942 HAS SOPS 59942 HAS SOUS 45504 HAS SOUPS 45504 WITH SCORE 45563.942
AT ITER 2105 NEW BEST:: SOT 172880 SOS 59915 HAS SOPS 59915 HAS SOUS 45477 HAS SOUPS 45477 WITH SCORE 45536.915
AT ITER 2109 NEW BEST:: SOT 172761 SOS 59796 HAS SOPS 59796 HAS SOUS 45477 HAS SOUPS 45477 WITH SCORE 45536.796
AT ITER 2115 NEW BEST:: SOT 172761 SOS 59791 HAS SOPS 59791 HAS SOUS 45477 HAS SOUPS 45477 WITH SCORE 45536.791
AT ITER 2122 NEW BEST:: SOT 172815 SOS 59870 HAS SOPS 59870 HAS SOUS 45376 HAS SOUPS 45376 WITH SCORE 45435.87
AT ITER 2141 NEW BEST:: SOT 172920 SOS 59932 HAS SOPS 59932 HAS SOUS 45267 HAS SOUPS 45267 WITH SCORE 45326.932
AT ITER 2153 NEW BEST:: SOT 172919 SOS 59931 HAS SOPS 59931 HAS SOUS 45267 HAS SOUPS 45267 WITH SCORE 45326.931
AT ITER 2174 NEW BEST:: SOT 172932 SOS 59913 HAS SOPS 59913 HAS SOUS 45231 HAS SOUPS 45231 WITH SCORE 45290.913
AT ITER 2176 NEW BEST:: SOT 172883 SOS 59725 HAS SOPS 59725 HAS SOUS 45095 HAS SOUPS 45095 WITH SCORE 45154.725
AT ITER 2182 NEW BEST:: SOT 172889 SOS 59737 HAS SOPS 59737 HAS SOUS 45094 HAS SOUPS 45094 WITH SCORE 45153.737
AT ITER 2205 NEW BEST:: SOT 172848 SOS 59696 HAS SOPS 59696 HAS SOUS 45053 HAS SOUPS 45053 WITH SCORE 45112.696
AT ITER 2208 NEW BEST:: SOT 172846 SOS 59692 HAS SOPS 59692 HAS SOUS 45001 HAS SOUPS 45001 WITH SCORE 45060.692
AT ITER 2221 NEW BEST:: SOT 172846 SOS 59683 HAS SOPS 59683 HAS SOUS 44992 HAS SOUPS 44992 WITH SCORE 45051.683
AT ITER 2235 NEW BEST:: SOT 172718 SOS 59543 HAS SOPS 59543 HAS SOUS 44921 HAS SOUPS 44921 WITH SCORE 44980.543
AT ITER 2236 NEW BEST:: SOT 172656 SOS 59418 HAS SOPS 59418 HAS SOUS 44820 HAS SOUPS 44820 WITH SCORE 44879.418
AT ITER 2238 NEW BEST:: SOT 172596 SOS 59358 HAS SOPS 59358 HAS SOUS 44820 HAS SOUPS 44820 WITH SCORE 44879.358
AT ITER 2246 NEW BEST:: SOT 172581 SOS 59338 HAS SOPS 59338 HAS SOUS 44800 HAS SOUPS 44800 WITH SCORE 44859.338
AT ITER 2253 NEW BEST:: SOT 172514 SOS 59172 HAS SOPS 59172 HAS SOUS 44634 HAS SOUPS 44634 WITH SCORE 44693.172
AT ITER 2259 NEW BEST:: SOT 172501 SOS 59135 HAS SOPS 59135 HAS SOUS 44597 HAS SOUPS 44597 WITH SCORE 44656.135
AT ITER 2276 NEW BEST:: SOT 172474 SOS 58976 HAS SOPS 58976 HAS SOUS 44543 HAS SOUPS 44543 WITH SCORE 44601.976
AT ITER 2302 NEW BEST:: SOT 172474 SOS 58942 HAS SOPS 58942 HAS SOUS 44543 HAS SOUPS 44543 WITH SCORE 44601.942
AT ITER 2312 NEW BEST:: SOT 172444 SOS 58879 HAS SOPS 58879 HAS SOUS 44455 HAS SOUPS 44455 WITH SCORE 44513.879
AT ITER 2321 NEW BEST:: SOT 172474 SOS 58882 HAS SOPS 58882 HAS SOUS 44401 HAS SOUPS 44401 WITH SCORE 44459.882
AT ITER 2326 NEW BEST:: SOT 172513 SOS 58814 HAS SOPS 58814 HAS SOUS 44333 HAS SOUPS 44333 WITH SCORE 44391.814
AT ITER 2339 NEW BEST:: SOT 172539 SOS 58781 HAS SOPS 58781 HAS SOUS 44215 HAS SOUPS 44215 WITH SCORE 44273.781
AT ITER 2343 NEW BEST:: SOT 172565 SOS 58614 HAS SOPS 58614 HAS SOUS 44118 HAS SOUPS 44118 WITH SCORE 44176.614
AT ITER 2344 NEW BEST:: SOT 172588 SOS 58600 HAS SOPS 58600 HAS SOUS 44104 HAS SOUPS 44104 WITH SCORE 44162.6
AT ITER 2348 NEW BEST:: SOT 172538 SOS 58500 HAS SOPS 58500 HAS SOUS 44046 HAS SOUPS 44046 WITH SCORE 44104.5
AT ITER 2380 NEW BEST:: SOT 172333 SOS 58208 HAS SOPS 58208 HAS SOUS 43872 HAS SOUPS 43872 WITH SCORE 43930.208
AT ITER 2398 NEW BEST:: SOT 172331 SOS 58206 HAS SOPS 58206 HAS SOUS 43870 HAS SOUPS 43870 WITH SCORE 43928.206
AT ITER 2402 NEW BEST:: SOT 172331 SOS 58203 HAS SOPS 58203 HAS SOUS 43867 HAS SOUPS 43867 WITH SCORE 43925.203
AT ITER 2430 NEW BEST:: SOT 172322 SOS 58200 HAS SOPS 58200 HAS SOUS 43864 HAS SOUPS 43864 WITH SCORE 43922.2
AT ITER 2435 NEW BEST:: SOT 172304 SOS 58182 HAS SOPS 58182 HAS SOUS 43858 HAS SOUPS 43858 WITH SCORE 43916.182
AT ITER 2441 NEW BEST:: SOT 172318 SOS 58210 HAS SOPS 58210 HAS SOUS 43745 HAS SOUPS 43745 WITH SCORE 43803.21
AT ITER 2450 NEW BEST:: SOT 172304 SOS 58182 HAS SOPS 58182 HAS SOUS 43717 HAS SOUPS 43717 WITH SCORE 43775.182
AT ITER 2465 NEW BEST:: SOT 172301 SOS 58179 HAS SOPS 58179 HAS SOUS 43711 HAS SOUPS 43711 WITH SCORE 43769.179
AT ITER 2467 NEW BEST:: SOT 172301 SOS 58127 HAS SOPS 58127 HAS SOUS 43659 HAS SOUPS 43659 WITH SCORE 43717.127
AT ITER 2500 NEW BEST:: SOT 172256 SOS 58120 HAS SOPS 58120 HAS SOUS 43652 HAS SOUPS 43652 WITH SCORE 43710.12
AT ITER 2508 NEW BEST:: SOT 172244 SOS 58107 HAS SOPS 58107 HAS SOUS 43639 HAS SOUPS 43639 WITH SCORE 43697.107
AT ITER 2514 NEW BEST:: SOT 172236 SOS 58099 HAS SOPS 58099 HAS SOUS 43639 HAS SOUPS 43639 WITH SCORE 43697.099
AT ITER 2515 NEW BEST:: SOT 172088 SOS 58157 HAS SOPS 58157 HAS SOUS 43555 HAS SOUPS 43555 WITH SCORE 43613.157
AT ITER 2525 NEW BEST:: SOT 172018 SOS 58081 HAS SOPS 58081 HAS SOUS 43479 HAS SOUPS 43479 WITH SCORE 43537.081
AT ITER 2544 NEW BEST:: SOT 171981 SOS 57945 HAS SOPS 57945 HAS SOUS 43400 HAS SOUPS 43400 WITH SCORE 43457.945
AT ITER 2574 NEW BEST:: SOT 171927 SOS 57837 HAS SOPS 57837 HAS SOUS 43369 HAS SOUPS 43369 WITH SCORE 43426.837
AT ITER 2578 NEW BEST:: SOT 171916 SOS 57828 HAS SOPS 57828 HAS SOUS 43360 HAS SOUPS 43360 WITH SCORE 43417.828
AT ITER 2599 NEW BEST:: SOT 171836 SOS 57748 HAS SOPS 57748 HAS SOUS 43280 HAS SOUPS 43280 WITH SCORE 43337.748
AT ITER 2612 NEW BEST:: SOT 171817 SOS 57729 HAS SOPS 57729 HAS SOUS 43261 HAS SOUPS 43261 WITH SCORE 43318.729
AT ITER 2626 NEW BEST:: SOT 171920 SOS 57683 HAS SOPS 57683 HAS SOUS 43215 HAS SOUPS 43215 WITH SCORE 43272.683
AT ITER 2636 NEW BEST:: SOT 171852 SOS 57432 HAS SOPS 57432 HAS SOUS 43059 HAS SOUPS 43059 WITH SCORE 43116.432
AT ITER 2654 NEW BEST:: SOT 171846 SOS 57420 HAS SOPS 57420 HAS SOUS 43053 HAS SOUPS 43053 WITH SCORE 43110.42
AT ITER 2667 NEW BEST:: SOT 171818 SOS 57251 HAS SOPS 57251 HAS SOUS 42997 HAS SOUPS 42997 WITH SCORE 43054.251
AT ITER 2669 NEW BEST:: SOT 171755 SOS 57251 HAS SOPS 57251 HAS SOUS 42968 HAS SOUPS 42968 WITH SCORE 43025.251
AT ITER 2693 NEW BEST:: SOT 171755 SOS 57203 HAS SOPS 57203 HAS SOUS 42936 HAS SOUPS 42936 WITH SCORE 42993.203
AT ITER 2697 NEW BEST:: SOT 171743 SOS 57179 HAS SOPS 57179 HAS SOUS 42912 HAS SOUPS 42912 WITH SCORE 42969.179
AT ITER 2702 NEW BEST:: SOT 171714 SOS 57121 HAS SOPS 57121 HAS SOUS 42854 HAS SOUPS 42854 WITH SCORE 42911.121
AT ITER 2711 NEW BEST:: SOT 171658 SOS 57119 HAS SOPS 57119 HAS SOUS 42784 HAS SOUPS 42784 WITH SCORE 42841.119
AT ITER 2712 NEW BEST:: SOT 171656 SOS 57115 HAS SOPS 57115 HAS SOUS 42780 HAS SOUPS 42780 WITH SCORE 42837.115
AT ITER 2726 NEW BEST:: SOT 171510 SOS 57087 HAS SOPS 57087 HAS SOUS 42752 HAS SOUPS 42752 WITH SCORE 42809.087
AT ITER 2745 NEW BEST:: SOT 171502 SOS 57078 HAS SOPS 57078 HAS SOUS 42743 HAS SOUPS 42743 WITH SCORE 42800.078
AT ITER 2759 NEW BEST:: SOT 171497 SOS 57068 HAS SOPS 57068 HAS SOUS 42733 HAS SOUPS 42733 WITH SCORE 42790.068
AT ITER 2768 NEW BEST:: SOT 171483 SOS 57018 HAS SOPS 57018 HAS SOUS 42706 HAS SOUPS 42706 WITH SCORE 42763.018
AT ITER 2769 NEW BEST:: SOT 171552 SOS 56935 HAS SOPS 56935 HAS SOUS 42703 HAS SOUPS 42703 WITH SCORE 42759.935
AT ITER 2772 NEW BEST:: SOT 171542 SOS 56896 HAS SOPS 56896 HAS SOUS 42574 HAS SOUPS 42574 WITH SCORE 42630.896
AT ITER 2780 NEW BEST:: SOT 171541 SOS 56877 HAS SOPS 56877 HAS SOUS 42555 HAS SOUPS 42555 WITH SCORE 42611.877
AT ITER 2818 NEW BEST:: SOT 171483 SOS 56790 HAS SOPS 56790 HAS SOUS 42497 HAS SOUPS 42497 WITH SCORE 42553.79
AT ITER 2823 NEW BEST:: SOT 171508 SOS 56721 HAS SOPS 56721 HAS SOUS 42428 HAS SOUPS 42428 WITH SCORE 42484.721
AT ITER 2840 NEW BEST:: SOT 171469 SOS 56643 HAS SOPS 56643 HAS SOUS 42389 HAS SOUPS 42389 WITH SCORE 42445.643
AT ITER 2879 NEW BEST:: SOT 171300 SOS 56493 HAS SOPS 56493 HAS SOUS 42169 HAS SOUPS 42169 WITH SCORE 42225.493
AT ITER 2918 NEW BEST:: SOT 171275 SOS 56468 HAS SOPS 56468 HAS SOUS 42144 HAS SOUPS 42144 WITH SCORE 42200.468
AT ITER 2929 NEW BEST:: SOT 171133 SOS 56271 HAS SOPS 56271 HAS SOUS 41947 HAS SOUPS 41947 WITH SCORE 42003.271
AT ITER 2948 NEW BEST:: SOT 171136 SOS 56244 HAS SOPS 56244 HAS SOUS 41937 HAS SOUPS 41937 WITH SCORE 41993.244
AT ITER 3002 NEW BEST:: SOT 171136 SOS 56175 HAS SOPS 56175 HAS SOUS 41922 HAS SOUPS 41922 WITH SCORE 41978.175
AT ITER 3005 NEW BEST:: SOT 171102 SOS 56104 HAS SOPS 56104 HAS SOUS 41851 HAS SOUPS 41851 WITH SCORE 41907.104
AT ITER 3010 NEW BEST:: SOT 171072 SOS 56080 HAS SOPS 56080 HAS SOUS 41827 HAS SOUPS 41827 WITH SCORE 41883.08
AT ITER 3019 NEW BEST:: SOT 171078 SOS 56092 HAS SOPS 56092 HAS SOUS 41814 HAS SOUPS 41814 WITH SCORE 41870.092
AT ITER 3034 NEW BEST:: SOT 170888 SOS 55929 HAS SOPS 55929 HAS SOUS 41805 HAS SOUPS 41805 WITH SCORE 41860.929
AT ITER 3081 NEW BEST:: SOT 170862 SOS 55877 HAS SOPS 55877 HAS SOUS 41753 HAS SOUPS 41753 WITH SCORE 41808.877
AT ITER 3087 NEW BEST:: SOT 170772 SOS 55723 HAS SOPS 55723 HAS SOUS 41599 HAS SOUPS 41599 WITH SCORE 41654.723
AT ITER 3091 NEW BEST:: SOT 170763 SOS 54914 HAS SOPS 54914 HAS SOUS 41581 HAS SOUPS 41581 WITH SCORE 41635.914
AT ITER 3093 NEW BEST:: SOT 170934 SOS 55038 HAS SOPS 55038 HAS SOUS 41568 HAS SOUPS 41568 WITH SCORE 41623.038
AT ITER 3100 NEW BEST:: SOT 170934 SOS 55008 HAS SOPS 55008 HAS SOUS 41538 HAS SOUPS 41538 WITH SCORE 41593.008
AT ITER 3108 NEW BEST:: SOT 170934 SOS 55008 HAS SOPS 55008 HAS SOUS 41537 HAS SOUPS 41537 WITH SCORE 41592.008
AT ITER 3110 NEW BEST:: SOT 170918 SOS 54976 HAS SOPS 54976 HAS SOUS 41505 HAS SOUPS 41505 WITH SCORE 41559.976
AT ITER 3132 NEW BEST:: SOT 170894 SOS 54940 HAS SOPS 54940 HAS SOUS 41469 HAS SOUPS 41469 WITH SCORE 41523.94
AT ITER 3159 NEW BEST:: SOT 170928 SOS 54844 HAS SOPS 54844 HAS SOUS 41399 HAS SOUPS 41399 WITH SCORE 41453.844
AT ITER 3172 NEW BEST:: SOT 170889 SOS 54819 HAS SOPS 54819 HAS SOUS 41374 HAS SOUPS 41374 WITH SCORE 41428.819
AT ITER 3173 NEW BEST:: SOT 170964 SOS 54863 HAS SOPS 54863 HAS SOUS 41367 HAS SOUPS 41367 WITH SCORE 41421.863
AT ITER 3227 NEW BEST:: SOT 170961 SOS 54856 HAS SOPS 54856 HAS SOUS 41360 HAS SOUPS 41360 WITH SCORE 41414.856
AT ITER 3230 NEW BEST:: SOT 170911 SOS 54806 HAS SOPS 54806 HAS SOUS 41310 HAS SOUPS 41310 WITH SCORE 41364.806
AT ITER 3232 NEW BEST:: SOT 170905 SOS 54794 HAS SOPS 54794 HAS SOUS 41298 HAS SOUPS 41298 WITH SCORE 41352.794
AT ITER 3255 NEW BEST:: SOT 170895 SOS 54774 HAS SOPS 54774 HAS SOUS 41278 HAS SOUPS 41278 WITH SCORE 41332.774
AT ITER 3281 NEW BEST:: SOT 170865 SOS 54746 HAS SOPS 54746 HAS SOUS 41250 HAS SOUPS 41250 WITH SCORE 41304.746
AT ITER 3327 NEW BEST:: SOT 170862 SOS 54743 HAS SOPS 54743 HAS SOUS 41250 HAS SOUPS 41250 WITH SCORE 41304.743
AT ITER 3339 NEW BEST:: SOT 170750 SOS 54624 HAS SOPS 54624 HAS SOUS 41131 HAS SOUPS 41131 WITH SCORE 41185.624
AT ITER 3342 NEW BEST:: SOT 170861 SOS 54546 HAS SOPS 54546 HAS SOUS 41053 HAS SOUPS 41053 WITH SCORE 41107.546
AT ITER 3369 NEW BEST:: SOT 170861 SOS 54688 HAS SOPS 54688 HAS SOUS 41047 HAS SOUPS 41047 WITH SCORE 41101.688
AT ITER 3370 NEW BEST:: SOT 170868 SOS 54676 HAS SOPS 54676 HAS SOUS 41035 HAS SOUPS 41035 WITH SCORE 41089.676
AT ITER 3375 NEW BEST:: SOT 170866 SOS 54629 HAS SOPS 54629 HAS SOUS 41033 HAS SOUPS 41033 WITH SCORE 41087.629
AT ITER 3401 NEW BEST:: SOT 170802 SOS 54501 HAS SOPS 54501 HAS SOUS 40969 HAS SOUPS 40969 WITH SCORE 41023.501
AT ITER 3430 NEW BEST:: SOT 170802 SOS 54498 HAS SOPS 54498 HAS SOUS 40966 HAS SOUPS 40966 WITH SCORE 41020.498
AT ITER 3467 NEW BEST:: SOT 170775 SOS 54380 HAS SOPS 54380 HAS SOUS 40848 HAS SOUPS 40848 WITH SCORE 40902.38
AT ITER 3475 NEW BEST:: SOT 170661 SOS 54155 HAS SOPS 54155 HAS SOUS 40732 HAS SOUPS 40732 WITH SCORE 40786.155
AT ITER 3482 NEW BEST:: SOT 170661 SOS 54155 HAS SOPS 54155 HAS SOUS 40708 HAS SOUPS 40708 WITH SCORE 40762.155
AT ITER 3496 NEW BEST:: SOT 170715 SOS 54247 HAS SOPS 54247 HAS SOUS 40610 HAS SOUPS 40610 WITH SCORE 40664.247
AT ITER 3505 NEW BEST:: SOT 170718 SOS 54234 HAS SOPS 54234 HAS SOUS 40597 HAS SOUPS 40597 WITH SCORE 40651.234
AT ITER 3512 NEW BEST:: SOT 170726 SOS 54145 HAS SOPS 54145 HAS SOUS 40500 HAS SOUPS 40500 WITH SCORE 40554.145
AT ITER 3523 NEW BEST:: SOT 170722 SOS 54147 HAS SOPS 54147 HAS SOUS 40498 HAS SOUPS 40498 WITH SCORE 40552.147
AT ITER 3539 NEW BEST:: SOT 170704 SOS 54134 HAS SOPS 54134 HAS SOUS 40485 HAS SOUPS 40485 WITH SCORE 40539.134
AT ITER 3549 NEW BEST:: SOT 170685 SOS 54096 HAS SOPS 54096 HAS SOUS 40447 HAS SOUPS 40447 WITH SCORE 40501.096
AT ITER 3591 NEW BEST:: SOT 170627 SOS 54038 HAS SOPS 54038 HAS SOUS 40418 HAS SOUPS 40418 WITH SCORE 40472.038
AT ITER 3595 NEW BEST:: SOT 170619 SOS 54019 HAS SOPS 54019 HAS SOUS 40405 HAS SOUPS 40405 WITH SCORE 40459.019
AT ITER 3597 NEW BEST:: SOT 170568 SOS 53981 HAS SOPS 53981 HAS SOUS 40367 HAS SOUPS 40367 WITH SCORE 40420.981
AT ITER 3607 NEW BEST:: SOT 170568 SOS 53981 HAS SOPS 53981 HAS SOUS 40293 HAS SOUPS 40293 WITH SCORE 40346.981
AT ITER 3613 NEW BEST:: SOT 170487 SOS 53597 HAS SOPS 53597 HAS SOUS 40081 HAS SOUPS 40081 WITH SCORE 40134.597
AT ITER 3618 NEW BEST:: SOT 170519 SOS 53661 HAS SOPS 53661 HAS SOUS 40029 HAS SOUPS 40029 WITH SCORE 40082.661
AT ITER 3628 NEW BEST:: SOT 170519 SOS 53652 HAS SOPS 53652 HAS SOUS 40020 HAS SOUPS 40020 WITH SCORE 40073.652
AT ITER 3645 NEW BEST:: SOT 170512 SOS 53645 HAS SOPS 53645 HAS SOUS 40013 HAS SOUPS 40013 WITH SCORE 40066.645
AT ITER 3646 NEW BEST:: SOT 170506 SOS 53639 HAS SOPS 53639 HAS SOUS 40007 HAS SOUPS 40007 WITH SCORE 40060.639
AT ITER 3647 NEW BEST:: SOT 170487 SOS 53620 HAS SOPS 53620 HAS SOUS 39988 HAS SOUPS 39988 WITH SCORE 40041.62
AT ITER 3680 NEW BEST:: SOT 170487 SOS 53556 HAS SOPS 53556 HAS SOUS 39924 HAS SOUPS 39924 WITH SCORE 39977.556
AT ITER 3705 NEW BEST:: SOT 170450 SOS 53550 HAS SOPS 53550 HAS SOUS 39918 HAS SOUPS 39918 WITH SCORE 39971.55
AT ITER 3731 NEW BEST:: SOT 170421 SOS 53488 HAS SOPS 53488 HAS SOUS 39856 HAS SOUPS 39856 WITH SCORE 39909.488
AT ITER 3758 NEW BEST:: SOT 170418 SOS 53482 HAS SOPS 53482 HAS SOUS 39850 HAS SOUPS 39850 WITH SCORE 39903.482
AT ITER 3774 NEW BEST:: SOT 170365 SOS 53388 HAS SOPS 53388 HAS SOUS 39756 HAS SOUPS 39756 WITH SCORE 39809.388
AT ITER 3802 NEW BEST:: SOT 170381 SOS 53117 HAS SOPS 53117 HAS SOUS 39637 HAS SOUPS 39637 WITH SCORE 39690.117
AT ITER 3828 NEW BEST:: SOT 170539 SOS 53273 HAS SOPS 53273 HAS SOUS 39585 HAS SOUPS 39585 WITH SCORE 39638.273
AT ITER 3857 NEW BEST:: SOT 170530 SOS 53263 HAS SOPS 53263 HAS SOUS 39567 HAS SOUPS 39567 WITH SCORE 39620.263
AT ITER 3861 NEW BEST:: SOT 170504 SOS 53237 HAS SOPS 53237 HAS SOUS 39541 HAS SOUPS 39541 WITH SCORE 39594.237
AT ITER 3886 NEW BEST:: SOT 170504 SOS 53236 HAS SOPS 53236 HAS SOUS 39540 HAS SOUPS 39540 WITH SCORE 39593.236
AT ITER 3910 NEW BEST:: SOT 170487 SOS 53202 HAS SOPS 53202 HAS SOUS 39506 HAS SOUPS 39506 WITH SCORE 39559.202
AT ITER 3918 NEW BEST:: SOT 170464 SOS 53156 HAS SOPS 53156 HAS SOUS 39460 HAS SOUPS 39460 WITH SCORE 39513.156
AT ITER 3922 NEW BEST:: SOT 170406 SOS 53098 HAS SOPS 53098 HAS SOUS 39402 HAS SOUPS 39402 WITH SCORE 39455.098
AT ITER 3934 NEW BEST:: SOT 170381 SOS 53072 HAS SOPS 53072 HAS SOUS 39376 HAS SOUPS 39376 WITH SCORE 39429.072
AT ITER 3938 NEW BEST:: SOT 170378 SOS 53066 HAS SOPS 53066 HAS SOUS 39370 HAS SOUPS 39370 WITH SCORE 39423.066
AT ITER 3942 NEW BEST:: SOT 170388 SOS 53064 HAS SOPS 53064 HAS SOUS 39346 HAS SOUPS 39346 WITH SCORE 39399.064
AT ITER 3966 NEW BEST:: SOT 170365 SOS 52989 HAS SOPS 52989 HAS SOUS 39271 HAS SOUPS 39271 WITH SCORE 39323.989
AT ITER 3982 NEW BEST:: SOT 170101 SOS 52676 HAS SOPS 52676 HAS SOUS 39175 HAS SOUPS 39175 WITH SCORE 39227.676
AT ITER 3983 NEW BEST:: SOT 170092 SOS 52656 HAS SOPS 52656 HAS SOUS 39155 HAS SOUPS 39155 WITH SCORE 39207.656
AT ITER 3989 NEW BEST:: SOT 170063 SOS 52598 HAS SOPS 52598 HAS SOUS 39143 HAS SOUPS 39143 WITH SCORE 39195.598
AT ITER 4003 NEW BEST:: SOT 170045 SOS 52583 HAS SOPS 52583 HAS SOUS 39128 HAS SOUPS 39128 WITH SCORE 39180.583
AT ITER 4016 NEW BEST:: SOT 170009 SOS 52571 HAS SOPS 52571 HAS SOUS 39116 HAS SOUPS 39116 WITH SCORE 39168.571
AT ITER 4018 NEW BEST:: SOT 169810 SOS 52173 HAS SOPS 52173 HAS SOUS 39025 HAS SOUPS 39025 WITH SCORE 39077.173
AT ITER 4029 NEW BEST:: SOT 169818 SOS 52163 HAS SOPS 52163 HAS SOUS 38974 HAS SOUPS 38974 WITH SCORE 39026.163
AT ITER 4030 NEW BEST:: SOT 169797 SOS 52010 HAS SOPS 52010 HAS SOUS 38960 HAS SOUPS 38960 WITH SCORE 39012.01
AT ITER 4040 NEW BEST:: SOT 169795 SOS 52008 HAS SOPS 52008 HAS SOUS 38958 HAS SOUPS 38958 WITH SCORE 39010.008
AT ITER 4047 NEW BEST:: SOT 169795 SOS 51951 HAS SOPS 51951 HAS SOUS 38901 HAS SOUPS 38901 WITH SCORE 38952.951
AT ITER 4056 NEW BEST:: SOT 169791 SOS 51937 HAS SOPS 51937 HAS SOUS 38887 HAS SOUPS 38887 WITH SCORE 38938.937
AT ITER 4061 NEW BEST:: SOT 169764 SOS 51908 HAS SOPS 51908 HAS SOUS 38858 HAS SOUPS 38858 WITH SCORE 38909.908
AT ITER 4091 NEW BEST:: SOT 169776 SOS 51932 HAS SOPS 51932 HAS SOUS 38849 HAS SOUPS 38849 WITH SCORE 38900.932
AT ITER 4092 NEW BEST:: SOT 169748 SOS 51912 HAS SOPS 51912 HAS SOUS 38829 HAS SOUPS 38829 WITH SCORE 38880.912
AT ITER 4153 NEW BEST:: SOT 169677 SOS 51741 HAS SOPS 51741 HAS SOUS 38658 HAS SOUPS 38658 WITH SCORE 38709.741
AT ITER 4160 NEW BEST:: SOT 169676 SOS 51738 HAS SOPS 51738 HAS SOUS 38655 HAS SOUPS 38655 WITH SCORE 38706.738
AT ITER 4170 NEW BEST:: SOT 169671 SOS 51728 HAS SOPS 51728 HAS SOUS 38645 HAS SOUPS 38645 WITH SCORE 38696.728
AT ITER 4172 NEW BEST:: SOT 169613 SOS 51670 HAS SOPS 51670 HAS SOUS 38587 HAS SOUPS 38587 WITH SCORE 38638.67
AT ITER 4181 NEW BEST:: SOT 169488 SOS 51486 HAS SOPS 51486 HAS SOUS 38403 HAS SOUPS 38403 WITH SCORE 38454.486
AT ITER 4211 NEW BEST:: SOT 169482 SOS 51424 HAS SOPS 51424 HAS SOUS 38341 HAS SOUPS 38341 WITH SCORE 38392.424
AT ITER 4212 NEW BEST:: SOT 169476 SOS 51423 HAS SOPS 51423 HAS SOUS 38340 HAS SOUPS 38340 WITH SCORE 38391.423
AT ITER 4215 NEW BEST:: SOT 169476 SOS 51579 HAS SOPS 51579 HAS SOUS 38335 HAS SOUPS 38335 WITH SCORE 38386.579
AT ITER 4216 NEW BEST:: SOT 169382 SOS 51477 HAS SOPS 51477 HAS SOUS 38241 HAS SOUPS 38241 WITH SCORE 38292.477
AT ITER 4217 NEW BEST:: SOT 169413 SOS 51460 HAS SOPS 51460 HAS SOUS 38157 HAS SOUPS 38157 WITH SCORE 38208.46
AT ITER 4218 NEW BEST:: SOT 169400 SOS 51458 HAS SOPS 51458 HAS SOUS 38155 HAS SOUPS 38155 WITH SCORE 38206.458
AT ITER 4250 NEW BEST:: SOT 169389 SOS 51463 HAS SOPS 51463 HAS SOUS 38133 HAS SOUPS 38133 WITH SCORE 38184.463
AT ITER 4256 NEW BEST:: SOT 169373 SOS 51462 HAS SOPS 51462 HAS SOUS 38132 HAS SOUPS 38132 WITH SCORE 38183.462
AT ITER 4313 NEW BEST:: SOT 169426 SOS 51444 HAS SOPS 51444 HAS SOUS 38114 HAS SOUPS 38114 WITH SCORE 38165.444
AT ITER 4330 NEW BEST:: SOT 169430 SOS 51412 HAS SOPS 51412 HAS SOUS 38082 HAS SOUPS 38082 WITH SCORE 38133.412
AT ITER 4363 NEW BEST:: SOT 169113 SOS 51110 HAS SOPS 51110 HAS SOUS 37990 HAS SOUPS 37990 WITH SCORE 38041.11
AT ITER 4372 NEW BEST:: SOT 169098 SOS 51035 HAS SOPS 51035 HAS SOUS 37915 HAS SOUPS 37915 WITH SCORE 37966.035
AT ITER 4379 NEW BEST:: SOT 169085 SOS 51019 HAS SOPS 51019 HAS SOUS 37897 HAS SOUPS 37897 WITH SCORE 37948.019
AT ITER 4391 NEW BEST:: SOT 169176 SOS 50922 HAS SOPS 50922 HAS SOUS 37780 HAS SOUPS 37780 WITH SCORE 37830.922
AT ITER 4432 NEW BEST:: SOT 169169 SOS 50908 HAS SOPS 50908 HAS SOUS 37766 HAS SOUPS 37766 WITH SCORE 37816.908
AT ITER 4437 NEW BEST:: SOT 169153 SOS 50854 HAS SOPS 50854 HAS SOUS 37712 HAS SOUPS 37712 WITH SCORE 37762.854
AT ITER 4453 NEW BEST:: SOT 169151 SOS 50831 HAS SOPS 50831 HAS SOUS 37710 HAS SOUPS 37710 WITH SCORE 37760.831
AT ITER 4517 NEW BEST:: SOT 169121 SOS 50820 HAS SOPS 50820 HAS SOUS 37699 HAS SOUPS 37699 WITH SCORE 37749.82
AT ITER 4528 NEW BEST:: SOT 169113 SOS 50818 HAS SOPS 50818 HAS SOUS 37697 HAS SOUPS 37697 WITH SCORE 37747.818
AT ITER 4533 NEW BEST:: SOT 169096 SOS 50770 HAS SOPS 50770 HAS SOUS 37649 HAS SOUPS 37649 WITH SCORE 37699.77
AT ITER 4540 NEW BEST:: SOT 169081 SOS 50740 HAS SOPS 50740 HAS SOUS 37619 HAS SOUPS 37619 WITH SCORE 37669.74
AT ITER 4552 NEW BEST:: SOT 169091 SOS 50750 HAS SOPS 50750 HAS SOUS 37613 HAS SOUPS 37613 WITH SCORE 37663.75
AT ITER 4556 NEW BEST:: SOT 169091 SOS 50730 HAS SOPS 50730 HAS SOUS 37593 HAS SOUPS 37593 WITH SCORE 37643.73
AT ITER 4576 NEW BEST:: SOT 169041 SOS 50564 HAS SOPS 50564 HAS SOUS 37529 HAS SOUPS 37529 WITH SCORE 37579.564
AT ITER 4587 NEW BEST:: SOT 169041 SOS 50543 HAS SOPS 50543 HAS SOUS 37508 HAS SOUPS 37508 WITH SCORE 37558.543
AT ITER 4593 NEW BEST:: SOT 169015 SOS 50473 HAS SOPS 50473 HAS SOUS 37438 HAS SOUPS 37438 WITH SCORE 37488.473
AT ITER 4662 NEW BEST:: SOT 168984 SOS 50454 HAS SOPS 50454 HAS SOUS 37419 HAS SOUPS 37419 WITH SCORE 37469.454
AT ITER 4671 NEW BEST:: SOT 168977 SOS 50450 HAS SOPS 50450 HAS SOUS 37415 HAS SOUPS 37415 WITH SCORE 37465.45
AT ITER 4678 NEW BEST:: SOT 168943 SOS 50416 HAS SOPS 50416 HAS SOUS 37381 HAS SOUPS 37381 WITH SCORE 37431.416
AT ITER 4692 NEW BEST:: SOT 168941 SOS 50412 HAS SOPS 50412 HAS SOUS 37377 HAS SOUPS 37377 WITH SCORE 37427.412
AT ITER 4703 NEW BEST:: SOT 168940 SOS 50411 HAS SOPS 50411 HAS SOUS 37377 HAS SOUPS 37377 WITH SCORE 37427.411
AT ITER 4704 NEW BEST:: SOT 168955 SOS 50411 HAS SOPS 50411 HAS SOUS 37362 HAS SOUPS 37362 WITH SCORE 37412.411
AT ITER 4706 NEW BEST:: SOT 168943 SOS 50393 HAS SOPS 50393 HAS SOUS 37344 HAS SOUPS 37344 WITH SCORE 37394.393
AT ITER 4779 NEW BEST:: SOT 168898 SOS 50348 HAS SOPS 50348 HAS SOUS 37303 HAS SOUPS 37303 WITH SCORE 37353.348
AT ITER 4797 NEW BEST:: SOT 168898 SOS 50348 HAS SOPS 50348 HAS SOUS 37261 HAS SOUPS 37261 WITH SCORE 37311.348
AT ITER 4832 NEW BEST:: SOT 168893 SOS 50338 HAS SOPS 50338 HAS SOUS 37256 HAS SOUPS 37256 WITH SCORE 37306.338
AT ITER 4839 NEW BEST:: SOT 168850 SOS 50297 HAS SOPS 50297 HAS SOUS 37252 HAS SOUPS 37252 WITH SCORE 37302.297
AT ITER 4865 NEW BEST:: SOT 168850 SOS 50265 HAS SOPS 50265 HAS SOUS 37220 HAS SOUPS 37220 WITH SCORE 37270.265
AT ITER 4922 NEW BEST:: SOT 168840 SOS 50245 HAS SOPS 50245 HAS SOUS 37200 HAS SOUPS 37200 WITH SCORE 37250.245
AT ITER 4946 NEW BEST:: SOT 168810 SOS 50191 HAS SOPS 50191 HAS SOUS 37092 HAS SOUPS 37092 WITH SCORE 37142.191
AT ITER 4990 NEW BEST:: SOT 168764 SOS 50123 HAS SOPS 50123 HAS SOUS 37048 HAS SOUPS 37048 WITH SCORE 37098.123
AT ITER 5001 NEW BEST:: SOT 168763 SOS 50122 HAS SOPS 50122 HAS SOUS 37048 HAS SOUPS 37048 WITH SCORE 37098.122
AT ITER 5018 NEW BEST:: SOT 168662 SOS 50021 HAS SOPS 50021 HAS SOUS 36974 HAS SOUPS 36974 WITH SCORE 37024.021
AT ITER 5032 NEW BEST:: SOT 168748 SOS 49877 HAS SOPS 49877 HAS SOUS 36830 HAS SOUPS 36830 WITH SCORE 36879.877
AT ITER 5034 NEW BEST:: SOT 168735 SOS 49863 HAS SOPS 49863 HAS SOUS 36816 HAS SOUPS 36816 WITH SCORE 36865.863
AT ITER 5038 NEW BEST:: SOT 168666 SOS 49832 HAS SOPS 49832 HAS SOUS 36785 HAS SOUPS 36785 WITH SCORE 36834.832
AT ITER 5047 NEW BEST:: SOT 168666 SOS 49759 HAS SOPS 49759 HAS SOUS 36774 HAS SOUPS 36774 WITH SCORE 36823.759
AT ITER 5065 NEW BEST:: SOT 168671 SOS 49730 HAS SOPS 49730 HAS SOUS 36745 HAS SOUPS 36745 WITH SCORE 36794.73
AT ITER 5075 NEW BEST:: SOT 168676 SOS 49715 HAS SOPS 49715 HAS SOUS 36730 HAS SOUPS 36730 WITH SCORE 36779.715
AT ITER 5078 NEW BEST:: SOT 168673 SOS 49689 HAS SOPS 49689 HAS SOUS 36704 HAS SOUPS 36704 WITH SCORE 36753.689
AT ITER 5093 NEW BEST:: SOT 168651 SOS 49645 HAS SOPS 49645 HAS SOUS 36660 HAS SOUPS 36660 WITH SCORE 36709.645
AT ITER 5111 NEW BEST:: SOT 168599 SOS 51744 HAS SOPS 51744 HAS SOUS 36653 HAS SOUPS 36653 WITH SCORE 36704.744
AT ITER 5165 NEW BEST:: SOT 168565 SOS 51676 HAS SOPS 51676 HAS SOUS 36585 HAS SOUPS 36585 WITH SCORE 36636.676
AT ITER 5218 NEW BEST:: SOT 168514 SOS 52122 HAS SOPS 52122 HAS SOUS 36517 HAS SOUPS 36517 WITH SCORE 36569.122
AT ITER 5255 NEW BEST:: SOT 168484 SOS 51962 HAS SOPS 51962 HAS SOUS 36357 HAS SOUPS 36357 WITH SCORE 36408.962
AT ITER 5269 NEW BEST:: SOT 168495 SOS 51856 HAS SOPS 51856 HAS SOUS 36251 HAS SOUPS 36251 WITH SCORE 36302.856
AT ITER 5283 NEW BEST:: SOT 168475 SOS 51816 HAS SOPS 51816 HAS SOUS 36231 HAS SOUPS 36231 WITH SCORE 36282.816
AT ITER 5284 NEW BEST:: SOT 168465 SOS 51796 HAS SOPS 51796 HAS SOUS 36211 HAS SOUPS 36211 WITH SCORE 36262.796
AT ITER 5293 NEW BEST:: SOT 168436 SOS 51737 HAS SOPS 51737 HAS SOUS 36182 HAS SOUPS 36182 WITH SCORE 36233.737
AT ITER 5297 NEW BEST:: SOT 168382 SOS 51683 HAS SOPS 51683 HAS SOUS 36128 HAS SOUPS 36128 WITH SCORE 36179.683
AT ITER 5335 NEW BEST:: SOT 168334 SOS 51635 HAS SOPS 51635 HAS SOUS 36089 HAS SOUPS 36089 WITH SCORE 36140.635
AT ITER 5355 NEW BEST:: SOT 168330 SOS 51629 HAS SOPS 51629 HAS SOUS 36083 HAS SOUPS 36083 WITH SCORE 36134.629
AT ITER 5409 NEW BEST:: SOT 168328 SOS 51627 HAS SOPS 51627 HAS SOUS 36081 HAS SOUPS 36081 WITH SCORE 36132.627
AT ITER 5449 NEW BEST:: SOT 168308 SOS 51622 HAS SOPS 51622 HAS SOUS 36061 HAS SOUPS 36061 WITH SCORE 36112.622
AT ITER 5461 NEW BEST:: SOT 168235 SOS 51549 HAS SOPS 51549 HAS SOUS 35988 HAS SOUPS 35988 WITH SCORE 36039.549
AT ITER 5489 NEW BEST:: SOT 168222 SOS 51536 HAS SOPS 51536 HAS SOUS 35975 HAS SOUPS 35975 WITH SCORE 36026.536
AT ITER 5490 NEW BEST:: SOT 168211 SOS 51514 HAS SOPS 51514 HAS SOUS 35953 HAS SOUPS 35953 WITH SCORE 36004.514
AT ITER 5551 NEW BEST:: SOT 168205 SOS 51478 HAS SOPS 51478 HAS SOUS 35937 HAS SOUPS 35937 WITH SCORE 35988.478
AT ITER 5568 NEW BEST:: SOT 168250 SOS 51509 HAS SOPS 51509 HAS SOUS 35926 HAS SOUPS 35926 WITH SCORE 35977.509
AT ITER 5571 NEW BEST:: SOT 168214 SOS 51345 HAS SOPS 51345 HAS SOUS 35918 HAS SOUPS 35918 WITH SCORE 35969.345
AT ITER 5588 NEW BEST:: SOT 168210 SOS 51341 HAS SOPS 51341 HAS SOUS 35914 HAS SOUPS 35914 WITH SCORE 35965.341
AT ITER 5605 NEW BEST:: SOT 168212 SOS 51345 HAS SOPS 51345 HAS SOUS 35913 HAS SOUPS 35913 WITH SCORE 35964.345
AT ITER 5625 NEW BEST:: SOT 168137 SOS 51195 HAS SOPS 51195 HAS SOUS 35819 HAS SOUPS 35819 WITH SCORE 35870.195
AT ITER 5631 NEW BEST:: SOT 168107 SOS 51135 HAS SOPS 51135 HAS SOUS 35759 HAS SOUPS 35759 WITH SCORE 35810.135
AT ITER 5640 NEW BEST:: SOT 168098 SOS 51126 HAS SOPS 51126 HAS SOUS 35759 HAS SOUPS 35759 WITH SCORE 35810.126
AT ITER 5647 NEW BEST:: SOT 168065 SOS 51079 HAS SOPS 51079 HAS SOUS 35712 HAS SOUPS 35712 WITH SCORE 35763.079
AT ITER 5649 NEW BEST:: SOT 168065 SOS 51059 HAS SOPS 51059 HAS SOUS 35703 HAS SOUPS 35703 WITH SCORE 35754.059
AT ITER 5653 NEW BEST:: SOT 168063 SOS 51057 HAS SOPS 51057 HAS SOUS 35701 HAS SOUPS 35701 WITH SCORE 35752.057
AT ITER 5661 NEW BEST:: SOT 168056 SOS 51057 HAS SOPS 51057 HAS SOUS 35694 HAS SOUPS 35694 WITH SCORE 35745.057
AT ITER 5776 NEW BEST:: SOT 168056 SOS 51020 HAS SOPS 51020 HAS SOUS 35657 HAS SOUPS 35657 WITH SCORE 35708.02
AT ITER 5785 NEW BEST:: SOT 168061 SOS 50999 HAS SOPS 50999 HAS SOUS 35636 HAS SOUPS 35636 WITH SCORE 35686.999
AT ITER 5788 NEW BEST:: SOT 168059 SOS 50997 HAS SOPS 50997 HAS SOUS 35604 HAS SOUPS 35604 WITH SCORE 35654.997
AT ITER 5808 NEW BEST:: SOT 168068 SOS 51002 HAS SOPS 51002 HAS SOUS 35600 HAS SOUPS 35600 WITH SCORE 35651.002
AT ITER 5811 NEW BEST:: SOT 168068 SOS 50998 HAS SOPS 50998 HAS SOUS 35598 HAS SOUPS 35598 WITH SCORE 35648.998
AT ITER 5839 NEW BEST:: SOT 167983 SOS 50839 HAS SOPS 50839 HAS SOUS 35577 HAS SOUPS 35577 WITH SCORE 35627.839
AT ITER 5876 NEW BEST:: SOT 167946 SOS 50816 HAS SOPS 50816 HAS SOUS 35554 HAS SOUPS 35554 WITH SCORE 35604.816
AT ITER 5890 NEW BEST:: SOT 167938 SOS 50800 HAS SOPS 50800 HAS SOUS 35547 HAS SOUPS 35547 WITH SCORE 35597.8
AT ITER 5905 NEW BEST:: SOT 167936 SOS 50821 HAS SOPS 50821 HAS SOUS 35543 HAS SOUPS 35543 WITH SCORE 35593.821
AT ITER 5915 NEW BEST:: SOT 167941 SOS 50822 HAS SOPS 50822 HAS SOUS 35535 HAS SOUPS 35535 WITH SCORE 35585.822
AT ITER 5968 NEW BEST:: SOT 167921 SOS 50802 HAS SOPS 50802 HAS SOUS 35515 HAS SOUPS 35515 WITH SCORE 35565.802
AT ITER 5994 NEW BEST:: SOT 167897 SOS 50797 HAS SOPS 50797 HAS SOUS 35510 HAS SOUPS 35510 WITH SCORE 35560.797
AT ITER 6020 NEW BEST:: SOT 167897 SOS 50731 HAS SOPS 50731 HAS SOUS 35510 HAS SOUPS 35510 WITH SCORE 35560.731
AT ITER 6051 NEW BEST:: SOT 167826 SOS 50563 HAS SOPS 50563 HAS SOUS 35417 HAS SOUPS 35417 WITH SCORE 35467.563
AT ITER 6054 NEW BEST:: SOT 167826 SOS 50531 HAS SOPS 50531 HAS SOUS 35378 HAS SOUPS 35378 WITH SCORE 35428.531
AT ITER 6060 NEW BEST:: SOT 167790 SOS 50459 HAS SOPS 50459 HAS SOUS 35306 HAS SOUPS 35306 WITH SCORE 35356.459
AT ITER 6098 NEW BEST:: SOT 167790 SOS 50454 HAS SOPS 50454 HAS SOUS 35301 HAS SOUPS 35301 WITH SCORE 35351.454
AT ITER 6106 NEW BEST:: SOT 167764 SOS 50436 HAS SOPS 50436 HAS SOUS 35257 HAS SOUPS 35257 WITH SCORE 35307.436
AT ITER 6110 NEW BEST:: SOT 167748 SOS 50387 HAS SOPS 50387 HAS SOUS 35239 HAS SOUPS 35239 WITH SCORE 35289.387
AT ITER 6143 NEW BEST:: SOT 167730 SOS 50380 HAS SOPS 50380 HAS SOUS 35232 HAS SOUPS 35232 WITH SCORE 35282.38
AT ITER 6161 NEW BEST:: SOT 167720 SOS 50360 HAS SOPS 50360 HAS SOUS 35222 HAS SOUPS 35222 WITH SCORE 35272.36
AT ITER 6169 NEW BEST:: SOT 167720 SOS 50360 HAS SOPS 50360 HAS SOUS 35185 HAS SOUPS 35185 WITH SCORE 35235.36
AT ITER 6206 NEW BEST:: SOT 167720 SOS 50356 HAS SOPS 50356 HAS SOUS 35181 HAS SOUPS 35181 WITH SCORE 35231.356
AT ITER 6255 NEW BEST:: SOT 167711 SOS 50347 HAS SOPS 50347 HAS SOUS 35169 HAS SOUPS 35169 WITH SCORE 35219.347
AT ITER 6323 NEW BEST:: SOT 167679 SOS 50283 HAS SOPS 50283 HAS SOUS 35105 HAS SOUPS 35105 WITH SCORE 35155.283
AT ITER 6370 NEW BEST:: SOT 167699 SOS 50244 HAS SOPS 50244 HAS SOUS 35066 HAS SOUPS 35066 WITH SCORE 35116.244
AT ITER 6423 NEW BEST:: SOT 167668 SOS 50209 HAS SOPS 50209 HAS SOUS 35031 HAS SOUPS 35031 WITH SCORE 35081.209
AT ITER 6437 NEW BEST:: SOT 167662 SOS 50203 HAS SOPS 50203 HAS SOUS 35019 HAS SOUPS 35019 WITH SCORE 35069.203
AT ITER 6511 NEW BEST:: SOT 167654 SOS 50195 HAS SOPS 50195 HAS SOUS 35011 HAS SOUPS 35011 WITH SCORE 35061.195
AT ITER 6515 NEW BEST:: SOT 167645 SOS 50184 HAS SOPS 50184 HAS SOUS 35000 HAS SOUPS 35000 WITH SCORE 35050.184
AT ITER 6527 NEW BEST:: SOT 167645 SOS 50088 HAS SOPS 50088 HAS SOUS 34904 HAS SOUPS 34904 WITH SCORE 34954.088
AT ITER 6552 NEW BEST:: SOT 167644 SOS 50086 HAS SOPS 50086 HAS SOUS 34902 HAS SOUPS 34902 WITH SCORE 34952.086
AT ITER 6578 NEW BEST:: SOT 167633 SOS 50047 HAS SOPS 50047 HAS SOUS 34863 HAS SOUPS 34863 WITH SCORE 34913.047
AT ITER 6591 NEW BEST:: SOT 167648 SOS 50040 HAS SOPS 50040 HAS SOUS 34856 HAS SOUPS 34856 WITH SCORE 34906.04
AT ITER 6637 NEW BEST:: SOT 167626 SOS 50018 HAS SOPS 50018 HAS SOUS 34856 HAS SOUPS 34856 WITH SCORE 34906.018
AT ITER 6641 NEW BEST:: SOT 167593 SOS 49952 HAS SOPS 49952 HAS SOUS 34827 HAS SOUPS 34827 WITH SCORE 34876.952
AT ITER 6663 NEW BEST:: SOT 167444 SOS 50101 HAS SOPS 50101 HAS SOUS 34710 HAS SOUPS 34710 WITH SCORE 34760.101
AT ITER 6674 NEW BEST:: SOT 167310 SOS 49972 HAS SOPS 49972 HAS SOUS 34581 HAS SOUPS 34581 WITH SCORE 34630.972
AT ITER 6677 NEW BEST:: SOT 167164 SOS 49607 HAS SOPS 49607 HAS SOUS 34435 HAS SOUPS 34435 WITH SCORE 34484.607
AT ITER 6693 NEW BEST:: SOT 167163 SOS 49588 HAS SOPS 49588 HAS SOUS 34416 HAS SOUPS 34416 WITH SCORE 34465.588
AT ITER 6695 NEW BEST:: SOT 167198 SOS 49582 HAS SOPS 49582 HAS SOUS 34410 HAS SOUPS 34410 WITH SCORE 34459.582
AT ITER 6705 NEW BEST:: SOT 167207 SOS 49557 HAS SOPS 49557 HAS SOUS 34385 HAS SOUPS 34385 WITH SCORE 34434.557
AT ITER 6804 NEW BEST:: SOT 167176 SOS 49529 HAS SOPS 49529 HAS SOUS 34357 HAS SOUPS 34357 WITH SCORE 34406.529
AT ITER 6825 NEW BEST:: SOT 167162 SOS 49524 HAS SOPS 49524 HAS SOUS 34352 HAS SOUPS 34352 WITH SCORE 34401.524
AT ITER 6844 NEW BEST:: SOT 167160 SOS 49520 HAS SOPS 49520 HAS SOUS 34348 HAS SOUPS 34348 WITH SCORE 34397.52
AT ITER 6856 NEW BEST:: SOT 167142 SOS 49484 HAS SOPS 49484 HAS SOUS 34348 HAS SOUPS 34348 WITH SCORE 34397.484
AT ITER 6863 NEW BEST:: SOT 167131 SOS 49473 HAS SOPS 49473 HAS SOUS 34348 HAS SOUPS 34348 WITH SCORE 34397.473
AT ITER 6885 NEW BEST:: SOT 167083 SOS 49438 HAS SOPS 49438 HAS SOUS 34344 HAS SOUPS 34344 WITH SCORE 34393.438
AT ITER 6894 NEW BEST:: SOT 167125 SOS 49437 HAS SOPS 49437 HAS SOUS 34343 HAS SOUPS 34343 WITH SCORE 34392.437
AT ITER 6909 NEW BEST:: SOT 167111 SOS 49409 HAS SOPS 49409 HAS SOUS 34315 HAS SOUPS 34315 WITH SCORE 34364.409
AT ITER 6917 NEW BEST:: SOT 167111 SOS 49383 HAS SOPS 49383 HAS SOUS 34289 HAS SOUPS 34289 WITH SCORE 34338.383
AT ITER 6918 NEW BEST:: SOT 167104 SOS 49376 HAS SOPS 49376 HAS SOUS 34282 HAS SOUPS 34282 WITH SCORE 34331.376
AT ITER 6944 NEW BEST:: SOT 167104 SOS 49324 HAS SOPS 49324 HAS SOUS 34282 HAS SOUPS 34282 WITH SCORE 34331.324
AT ITER 6950 NEW BEST:: SOT 167078 SOS 49285 HAS SOPS 49285 HAS SOUS 34243 HAS SOUPS 34243 WITH SCORE 34292.285
AT ITER 6953 NEW BEST:: SOT 167034 SOS 49253 HAS SOPS 49253 HAS SOUS 34217 HAS SOUPS 34217 WITH SCORE 34266.253
AT ITER 6968 NEW BEST:: SOT 167008 SOS 49214 HAS SOPS 49214 HAS SOUS 34191 HAS SOUPS 34191 WITH SCORE 34240.214
AT ITER 6983 NEW BEST:: SOT 167004 SOS 49210 HAS SOPS 49210 HAS SOUS 34187 HAS SOUPS 34187 WITH SCORE 34236.21
AT ITER 7036 NEW BEST:: SOT 167004 SOS 49210 HAS SOPS 49210 HAS SOUS 34184 HAS SOUPS 34184 WITH SCORE 34233.21
AT ITER 7042 NEW BEST:: SOT 166967 SOS 49132 HAS SOPS 49132 HAS SOUS 34106 HAS SOUPS 34106 WITH SCORE 34155.132
AT ITER 7051 NEW BEST:: SOT 166940 SOS 49101 HAS SOPS 49101 HAS SOUS 34103 HAS SOUPS 34103 WITH SCORE 34152.101
AT ITER 7058 NEW BEST:: SOT 166931 SOS 49083 HAS SOPS 49083 HAS SOUS 34085 HAS SOUPS 34085 WITH SCORE 34134.083
AT ITER 7066 NEW BEST:: SOT 166878 SOS 49029 HAS SOPS 49029 HAS SOUS 34081 HAS SOUPS 34081 WITH SCORE 34130.029
AT ITER 7068 NEW BEST:: SOT 166862 SOS 49013 HAS SOPS 49013 HAS SOUS 34065 HAS SOUPS 34065 WITH SCORE 34114.013
AT ITER 7132 NEW BEST:: SOT 166881 SOS 49032 HAS SOPS 49032 HAS SOUS 34054 HAS SOUPS 34054 WITH SCORE 34103.032
AT ITER 7137 NEW BEST:: SOT 166878 SOS 49028 HAS SOPS 49028 HAS SOUS 34050 HAS SOUPS 34050 WITH SCORE 34099.028
AT ITER 7144 NEW BEST:: SOT 166878 SOS 49004 HAS SOPS 49004 HAS SOUS 34026 HAS SOUPS 34026 WITH SCORE 34075.004
AT ITER 7150 NEW BEST:: SOT 166873 SOS 48994 HAS SOPS 48994 HAS SOUS 34016 HAS SOUPS 34016 WITH SCORE 34064.994
AT ITER 7169 NEW BEST:: SOT 166854 SOS 48956 HAS SOPS 48956 HAS SOUS 33959 HAS SOUPS 33959 WITH SCORE 34007.956
AT ITER 7186 NEW BEST:: SOT 166848 SOS 48950 HAS SOPS 48950 HAS SOUS 33953 HAS SOUPS 33953 WITH SCORE 34001.95
AT ITER 7207 NEW BEST:: SOT 166889 SOS 48991 HAS SOPS 48991 HAS SOUS 33915 HAS SOUPS 33915 WITH SCORE 33963.991
AT ITER 7229 NEW BEST:: SOT 166862 SOS 48990 HAS SOPS 48990 HAS SOUS 33914 HAS SOUPS 33914 WITH SCORE 33962.99
AT ITER 7263 NEW BEST:: SOT 166860 SOS 48981 HAS SOPS 48981 HAS SOUS 33905 HAS SOUPS 33905 WITH SCORE 33953.981
AT ITER 7266 NEW BEST:: SOT 166837 SOS 48935 HAS SOPS 48935 HAS SOUS 33859 HAS SOUPS 33859 WITH SCORE 33907.935
AT ITER 7268 NEW BEST:: SOT 166858 SOS 48956 HAS SOPS 48956 HAS SOUS 33855 HAS SOUPS 33855 WITH SCORE 33903.956
AT ITER 7310 NEW BEST:: SOT 166786 SOS 48884 HAS SOPS 48884 HAS SOUS 33771 HAS SOUPS 33771 WITH SCORE 33819.884
AT ITER 7313 NEW BEST:: SOT 166775 SOS 48873 HAS SOPS 48873 HAS SOUS 33760 HAS SOUPS 33760 WITH SCORE 33808.873
AT ITER 7372 NEW BEST:: SOT 166754 SOS 48872 HAS SOPS 48872 HAS SOUS 33759 HAS SOUPS 33759 WITH SCORE 33807.872
AT ITER 7378 NEW BEST:: SOT 166747 SOS 48865 HAS SOPS 48865 HAS SOUS 33752 HAS SOUPS 33752 WITH SCORE 33800.865
AT ITER 7423 NEW BEST:: SOT 166732 SOS 48854 HAS SOPS 48854 HAS SOUS 33722 HAS SOUPS 33722 WITH SCORE 33770.854
AT ITER 7457 NEW BEST:: SOT 166714 SOS 48868 HAS SOPS 48868 HAS SOUS 33716 HAS SOUPS 33716 WITH SCORE 33764.868
AT ITER 7464 NEW BEST:: SOT 166691 SOS 48822 HAS SOPS 48822 HAS SOUS 33670 HAS SOUPS 33670 WITH SCORE 33718.822
AT ITER 7509 NEW BEST:: SOT 166684 SOS 48808 HAS SOPS 48808 HAS SOUS 33651 HAS SOUPS 33651 WITH SCORE 33699.808
AT ITER 7513 NEW BEST:: SOT 166693 SOS 48826 HAS SOPS 48826 HAS SOUS 33637 HAS SOUPS 33637 WITH SCORE 33685.826
AT ITER 7516 NEW BEST:: SOT 166681 SOS 48802 HAS SOPS 48802 HAS SOUS 33613 HAS SOUPS 33613 WITH SCORE 33661.802
AT ITER 7547 NEW BEST:: SOT 166679 SOS 48798 HAS SOPS 48798 HAS SOUS 33609 HAS SOUPS 33609 WITH SCORE 33657.798
AT ITER 7558 NEW BEST:: SOT 166655 SOS 48781 HAS SOPS 48781 HAS SOUS 33608 HAS SOUPS 33608 WITH SCORE 33656.781
AT ITER 7574 NEW BEST:: SOT 166625 SOS 48721 HAS SOPS 48721 HAS SOUS 33548 HAS SOUPS 33548 WITH SCORE 33596.721
AT ITER 7583 NEW BEST:: SOT 166597 SOS 48677 HAS SOPS 48677 HAS SOUS 33517 HAS SOUPS 33517 WITH SCORE 33565.677
AT ITER 7635 NEW BEST:: SOT 166586 SOS 48655 HAS SOPS 48655 HAS SOUS 33495 HAS SOUPS 33495 WITH SCORE 33543.655
AT ITER 7637 NEW BEST:: SOT 166640 SOS 48666 HAS SOPS 48666 HAS SOUS 33433 HAS SOUPS 33433 WITH SCORE 33481.666
AT ITER 7681 NEW BEST:: SOT 166612 SOS 48621 HAS SOPS 48621 HAS SOUS 33388 HAS SOUPS 33388 WITH SCORE 33436.621
AT ITER 7702 NEW BEST:: SOT 166610 SOS 48617 HAS SOPS 48617 HAS SOUS 33379 HAS SOUPS 33379 WITH SCORE 33427.617
AT ITER 7703 NEW BEST:: SOT 166577 SOS 48591 HAS SOPS 48591 HAS SOUS 33353 HAS SOUPS 33353 WITH SCORE 33401.591
AT ITER 7789 NEW BEST:: SOT 166564 SOS 48582 HAS SOPS 48582 HAS SOUS 33346 HAS SOUPS 33346 WITH SCORE 33394.582
AT ITER 7790 NEW BEST:: SOT 166540 SOS 48538 HAS SOPS 48538 HAS SOUS 33336 HAS SOUPS 33336 WITH SCORE 33384.538
AT ITER 7904 NEW BEST:: SOT 166535 SOS 48447 HAS SOPS 48447 HAS SOUS 33245 HAS SOUPS 33245 WITH SCORE 33293.447
AT ITER 7916 NEW BEST:: SOT 166535 SOS 48426 HAS SOPS 48426 HAS SOUS 33224 HAS SOUPS 33224 WITH SCORE 33272.426
AT ITER 7957 NEW BEST:: SOT 166533 SOS 48424 HAS SOPS 48424 HAS SOUS 33207 HAS SOUPS 33207 WITH SCORE 33255.424
AT ITER 8012 NEW BEST:: SOT 166515 SOS 48388 HAS SOPS 48388 HAS SOUS 33171 HAS SOUPS 33171 WITH SCORE 33219.388
AT ITER 8014 NEW BEST:: SOT 166473 SOS 48356 HAS SOPS 48356 HAS SOUS 33139 HAS SOUPS 33139 WITH SCORE 33187.356
AT ITER 8042 NEW BEST:: SOT 166411 SOS 48142 HAS SOPS 48142 HAS SOUS 32965 HAS SOUPS 32965 WITH SCORE 33013.142
AT ITER 8069 NEW BEST:: SOT 166401 SOS 48132 HAS SOPS 48132 HAS SOUS 32955 HAS SOUPS 32955 WITH SCORE 33003.132
AT ITER 8091 NEW BEST:: SOT 166367 SOS 48109 HAS SOPS 48109 HAS SOUS 32887 HAS SOUPS 32887 WITH SCORE 32935.109
AT ITER 8109 NEW BEST:: SOT 166367 SOS 48108 HAS SOPS 48108 HAS SOUS 32886 HAS SOUPS 32886 WITH SCORE 32934.108
AT ITER 8119 NEW BEST:: SOT 166198 SOS 47904 HAS SOPS 47904 HAS SOUS 32682 HAS SOUPS 32682 WITH SCORE 32729.904
AT ITER 8132 NEW BEST:: SOT 166191 SOS 47890 HAS SOPS 47890 HAS SOUS 32668 HAS SOUPS 32668 WITH SCORE 32715.89
AT ITER 8147 NEW BEST:: SOT 166196 SOS 47888 HAS SOPS 47888 HAS SOUS 32666 HAS SOUPS 32666 WITH SCORE 32713.888
AT ITER 8170 NEW BEST:: SOT 166196 SOS 47884 HAS SOPS 47884 HAS SOUS 32649 HAS SOUPS 32649 WITH SCORE 32696.884
AT ITER 8200 NEW BEST:: SOT 166194 SOS 47880 HAS SOPS 47880 HAS SOUS 32645 HAS SOUPS 32645 WITH SCORE 32692.88
AT ITER 8211 NEW BEST:: SOT 166184 SOS 47852 HAS SOPS 47852 HAS SOUS 32617 HAS SOUPS 32617 WITH SCORE 32664.852
AT ITER 8266 NEW BEST:: SOT 166172 SOS 47828 HAS SOPS 47828 HAS SOUS 32593 HAS SOUPS 32593 WITH SCORE 32640.828
AT ITER 8273 NEW BEST:: SOT 166286 SOS 47766 HAS SOPS 47766 HAS SOUS 32567 HAS SOUPS 32567 WITH SCORE 32614.766
AT ITER 8285 NEW BEST:: SOT 166294 SOS 47789 HAS SOPS 47789 HAS SOUS 32546 HAS SOUPS 32546 WITH SCORE 32593.789
AT ITER 8311 NEW BEST:: SOT 166268 SOS 47737 HAS SOPS 47737 HAS SOUS 32494 HAS SOUPS 32494 WITH SCORE 32541.737
AT ITER 8322 NEW BEST:: SOT 166265 SOS 47731 HAS SOPS 47731 HAS SOUS 32491 HAS SOUPS 32491 WITH SCORE 32538.731
AT ITER 8365 NEW BEST:: SOT 166257 SOS 47715 HAS SOPS 47715 HAS SOUS 32483 HAS SOUPS 32483 WITH SCORE 32530.715
AT ITER 8374 NEW BEST:: SOT 166257 SOS 47683 HAS SOPS 47683 HAS SOUS 32451 HAS SOUPS 32451 WITH SCORE 32498.683
AT ITER 8421 NEW BEST:: SOT 166251 SOS 47671 HAS SOPS 47671 HAS SOUS 32433 HAS SOUPS 32433 WITH SCORE 32480.671
AT ITER 8474 NEW BEST:: SOT 166251 SOS 47671 HAS SOPS 47671 HAS SOUS 32429 HAS SOUPS 32429 WITH SCORE 32476.671
AT ITER 8478 NEW BEST:: SOT 166231 SOS 47631 HAS SOPS 47631 HAS SOUS 32389 HAS SOUPS 32389 WITH SCORE 32436.631
AT ITER 8488 NEW BEST:: SOT 166231 SOS 47622 HAS SOPS 47622 HAS SOUS 32380 HAS SOUPS 32380 WITH SCORE 32427.622
AT ITER 8490 NEW BEST:: SOT 166223 SOS 47614 HAS SOPS 47614 HAS SOUS 32372 HAS SOUPS 32372 WITH SCORE 32419.614
AT ITER 8581 NEW BEST:: SOT 166209 SOS 47600 HAS SOPS 47600 HAS SOUS 32344 HAS SOUPS 32344 WITH SCORE 32391.6
AT ITER 8591 NEW BEST:: SOT 166139 SOS 47530 HAS SOPS 47530 HAS SOUS 32266 HAS SOUPS 32266 WITH SCORE 32313.53
AT ITER 8625 NEW BEST:: SOT 166123 SOS 47502 HAS SOPS 47502 HAS SOUS 32214 HAS SOUPS 32214 WITH SCORE 32261.502
AT ITER 8633 NEW BEST:: SOT 166132 SOS 47504 HAS SOPS 47504 HAS SOUS 32201 HAS SOUPS 32201 WITH SCORE 32248.504
AT ITER 8671 NEW BEST:: SOT 166132 SOS 47497 HAS SOPS 47497 HAS SOUS 32201 HAS SOUPS 32201 WITH SCORE 32248.497
AT ITER 8676 NEW BEST:: SOT 166124 SOS 47465 HAS SOPS 47465 HAS SOUS 32193 HAS SOUPS 32193 WITH SCORE 32240.465
AT ITER 8714 NEW BEST:: SOT 166124 SOS 47464 HAS SOPS 47464 HAS SOUS 32192 HAS SOUPS 32192 WITH SCORE 32239.464
AT ITER 8764 NEW BEST:: SOT 166124 SOS 47463 HAS SOPS 47463 HAS SOUS 32191 HAS SOUPS 32191 WITH SCORE 32238.463
AT ITER 8765 NEW BEST:: SOT 166108 SOS 47431 HAS SOPS 47431 HAS SOUS 32159 HAS SOUPS 32159 WITH SCORE 32206.431
AT ITER 8840 NEW BEST:: SOT 166108 SOS 47421 HAS SOPS 47421 HAS SOUS 32139 HAS SOUPS 32139 WITH SCORE 32186.421
AT ITER 8844 NEW BEST:: SOT 166108 SOS 47410 HAS SOPS 47410 HAS SOUS 32139 HAS SOUPS 32139 WITH SCORE 32186.41
AT ITER 8861 NEW BEST:: SOT 166099 SOS 47384 HAS SOPS 47384 HAS SOUS 32113 HAS SOUPS 32113 WITH SCORE 32160.384
AT ITER 8938 NEW BEST:: SOT 166114 SOS 47347 HAS SOPS 47347 HAS SOUS 32102 HAS SOUPS 32102 WITH SCORE 32149.347
AT ITER 8940 NEW BEST:: SOT 166123 SOS 47340 HAS SOPS 47340 HAS SOUS 32042 HAS SOUPS 32042 WITH SCORE 32089.34
AT ITER 8942 NEW BEST:: SOT 166105 SOS 47338 HAS SOPS 47338 HAS SOUS 32040 HAS SOUPS 32040 WITH SCORE 32087.338
AT ITER 8949 NEW BEST:: SOT 166105 SOS 47331 HAS SOPS 47331 HAS SOUS 32033 HAS SOUPS 32033 WITH SCORE 32080.331
AT ITER 8964 NEW BEST:: SOT 166006 SOS 47250 HAS SOPS 47250 HAS SOUS 31952 HAS SOUPS 31952 WITH SCORE 31999.25
AT ITER 8987 NEW BEST:: SOT 165997 SOS 47288 HAS SOPS 47288 HAS SOUS 31945 HAS SOUPS 31945 WITH SCORE 31992.288
AT ITER 8993 NEW BEST:: SOT 165990 SOS 47274 HAS SOPS 47274 HAS SOUS 31932 HAS SOUPS 31932 WITH SCORE 31979.274
AT ITER 8997 NEW BEST:: SOT 165976 SOS 47260 HAS SOPS 47260 HAS SOUS 31918 HAS SOUPS 31918 WITH SCORE 31965.26
AT ITER 8998 NEW BEST:: SOT 165973 SOS 47251 HAS SOPS 47251 HAS SOUS 31911 HAS SOUPS 31911 WITH SCORE 31958.251
AT ITER 9053 NEW BEST:: SOT 165971 SOS 47213 HAS SOPS 47213 HAS SOUS 31873 HAS SOUPS 31873 WITH SCORE 31920.213
AT ITER 9071 NEW BEST:: SOT 166006 SOS 47213 HAS SOPS 47213 HAS SOUS 31841 HAS SOUPS 31841 WITH SCORE 31888.213
AT ITER 9091 NEW BEST:: SOT 165995 SOS 47191 HAS SOPS 47191 HAS SOUS 31830 HAS SOUPS 31830 WITH SCORE 31877.191
AT ITER 9103 NEW BEST:: SOT 165991 SOS 47165 HAS SOPS 47165 HAS SOUS 31804 HAS SOUPS 31804 WITH SCORE 31851.165
AT ITER 9139 NEW BEST:: SOT 165991 SOS 47162 HAS SOPS 47162 HAS SOUS 31801 HAS SOUPS 31801 WITH SCORE 31848.162
AT ITER 9154 NEW BEST:: SOT 165863 SOS 46996 HAS SOPS 46996 HAS SOUS 31725 HAS SOUPS 31725 WITH SCORE 31771.996
AT ITER 9197 NEW BEST:: SOT 165963 SOS 46933 HAS SOPS 46933 HAS SOUS 31714 HAS SOUPS 31714 WITH SCORE 31760.933
AT ITER 9202 NEW BEST:: SOT 165957 SOS 46921 HAS SOPS 46921 HAS SOUS 31702 HAS SOUPS 31702 WITH SCORE 31748.921
AT ITER 9211 NEW BEST:: SOT 165929 SOS 46915 HAS SOPS 46915 HAS SOUS 31696 HAS SOUPS 31696 WITH SCORE 31742.915
AT ITER 9214 NEW BEST:: SOT 165914 SOS 46885 HAS SOPS 46885 HAS SOUS 31666 HAS SOUPS 31666 WITH SCORE 31712.885
AT ITER 9233 NEW BEST:: SOT 165879 SOS 46842 HAS SOPS 46842 HAS SOUS 31623 HAS SOUPS 31623 WITH SCORE 31669.842
AT ITER 9283 NEW BEST:: SOT 165905 SOS 46854 HAS SOPS 46854 HAS SOUS 31595 HAS SOUPS 31595 WITH SCORE 31641.854
AT ITER 9311 NEW BEST:: SOT 165918 SOS 46854 HAS SOPS 46854 HAS SOUS 31568 HAS SOUPS 31568 WITH SCORE 31614.854
AT ITER 9317 NEW BEST:: SOT 165914 SOS 46830 HAS SOPS 46830 HAS SOUS 31544 HAS SOUPS 31544 WITH SCORE 31590.83
AT ITER 9357 NEW BEST:: SOT 165925 SOS 46841 HAS SOPS 46841 HAS SOUS 31538 HAS SOUPS 31538 WITH SCORE 31584.841
AT ITER 9375 NEW BEST:: SOT 165920 SOS 46826 HAS SOPS 46826 HAS SOUS 31523 HAS SOUPS 31523 WITH SCORE 31569.826
AT ITER 9385 NEW BEST:: SOT 165920 SOS 46826 HAS SOPS 46826 HAS SOUS 31461 HAS SOUPS 31461 WITH SCORE 31507.826
AT ITER 9442 NEW BEST:: SOT 165918 SOS 46876 HAS SOPS 46876 HAS SOUS 31458 HAS SOUPS 31458 WITH SCORE 31504.876
AT ITER 9446 NEW BEST:: SOT 165902 SOS 46860 HAS SOPS 46860 HAS SOUS 31433 HAS SOUPS 31433 WITH SCORE 31479.86
AT ITER 9489 NEW BEST:: SOT 165894 SOS 46846 HAS SOPS 46846 HAS SOUS 31419 HAS SOUPS 31419 WITH SCORE 31465.846
AT ITER 9504 NEW BEST:: SOT 165856 SOS 46856 HAS SOPS 46856 HAS SOUS 31343 HAS SOUPS 31343 WITH SCORE 31389.856
AT ITER 9513 NEW BEST:: SOT 165847 SOS 46838 HAS SOPS 46838 HAS SOUS 31325 HAS SOUPS 31325 WITH SCORE 31371.838
AT ITER 9537 NEW BEST:: SOT 165846 SOS 46837 HAS SOPS 46837 HAS SOUS 31324 HAS SOUPS 31324 WITH SCORE 31370.837
AT ITER 9545 NEW BEST:: SOT 165735 SOS 46718 HAS SOPS 46718 HAS SOUS 31205 HAS SOUPS 31205 WITH SCORE 31251.718
AT ITER 9572 NEW BEST:: SOT 165729 SOS 46707 HAS SOPS 46707 HAS SOUS 31199 HAS SOUPS 31199 WITH SCORE 31245.707
AT ITER 9587 NEW BEST:: SOT 165729 SOS 46706 HAS SOPS 46706 HAS SOUS 31198 HAS SOUPS 31198 WITH SCORE 31244.706
AT ITER 9595 NEW BEST:: SOT 165720 SOS 46656 HAS SOPS 46656 HAS SOUS 31164 HAS SOUPS 31164 WITH SCORE 31210.656
AT ITER 9602 NEW BEST:: SOT 165677 SOS 46608 HAS SOPS 46608 HAS SOUS 31116 HAS SOUPS 31116 WITH SCORE 31162.608
AT ITER 9604 NEW BEST:: SOT 165723 SOS 46470 HAS SOPS 46470 HAS SOUS 31116 HAS SOUPS 31116 WITH SCORE 31162.47
AT ITER 9615 NEW BEST:: SOT 165711 SOS 46446 HAS SOPS 46446 HAS SOUS 31068 HAS SOUPS 31068 WITH SCORE 31114.446
AT ITER 9668 NEW BEST:: SOT 165670 SOS 46365 HAS SOPS 46365 HAS SOUS 30987 HAS SOUPS 30987 WITH SCORE 31033.365
AT ITER 9685 NEW BEST:: SOT 165698 SOS 46381 HAS SOPS 46381 HAS SOUS 30963 HAS SOUPS 30963 WITH SCORE 31009.381
AT ITER 9690 NEW BEST:: SOT 165698 SOS 46317 HAS SOPS 46317 HAS SOUS 30927 HAS SOUPS 30927 WITH SCORE 30973.317
AT ITER 9756 NEW BEST:: SOT 165685 SOS 46304 HAS SOPS 46304 HAS SOUS 30914 HAS SOUPS 30914 WITH SCORE 30960.304
AT ITER 9784 NEW BEST:: SOT 165697 SOS 46316 HAS SOPS 46316 HAS SOUS 30903 HAS SOUPS 30903 WITH SCORE 30949.316
AT ITER 9788 NEW BEST:: SOT 165681 SOS 46294 HAS SOPS 46294 HAS SOUS 30881 HAS SOUPS 30881 WITH SCORE 30927.294
AT ITER 9800 NEW BEST:: SOT 165622 SOS 46238 HAS SOPS 46238 HAS SOUS 30814 HAS SOUPS 30814 WITH SCORE 30860.238
AT ITER 9802 NEW BEST:: SOT 165611 SOS 46224 HAS SOPS 46224 HAS SOUS 30800 HAS SOUPS 30800 WITH SCORE 30846.224
AT ITER 9827 NEW BEST:: SOT 165574 SOS 46184 HAS SOPS 46184 HAS SOUS 30780 HAS SOUPS 30780 WITH SCORE 30826.184
AT ITER 9901 NEW BEST:: SOT 165620 SOS 46215 HAS SOPS 46215 HAS SOUS 30750 HAS SOUPS 30750 WITH SCORE 30796.215
AT ITER 9977 NEW BEST:: SOT 165605 SOS 46215 HAS SOPS 46215 HAS SOUS 30747 HAS SOUPS 30747 WITH SCORE 30793.215
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394052 kB
MemFree: 13574356 kB
After kill :
MemTotal: 16394052 kB
MemFree: 16154956 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BusinessProcesses-PT-12"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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