Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897680100520.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-09, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680100520
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 264K
-rw-r--r-- 1 mcc users 3.7K Mar 26 02:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 26 02:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 22:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 22:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 104K Mar 24 05:37 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 1589019104472

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 09
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 403 places, 374 transitions, 1148 arcs.
AT ITER 0 NEW BEST:: SOT 97193 SOS 39689 HAS SOPS 39689 HAS SOUS 37906 HAS SOUPS 37906 WITH SCORE 37945.689
AT ITER 16 NEW BEST:: SOT 97193 SOS 39670 HAS SOPS 39670 HAS SOUS 37904 HAS SOUPS 37904 WITH SCORE 37943.67
AT ITER 27 NEW BEST:: SOT 97168 SOS 39632 HAS SOPS 39632 HAS SOUS 37866 HAS SOUPS 37866 WITH SCORE 37905.632
AT ITER 29 NEW BEST:: SOT 97156 SOS 39292 HAS SOPS 39292 HAS SOUS 37617 HAS SOUPS 37617 WITH SCORE 37656.292
AT ITER 35 NEW BEST:: SOT 97106 SOS 39274 HAS SOPS 39274 HAS SOUS 37599 HAS SOUPS 37599 WITH SCORE 37638.274
AT ITER 39 NEW BEST:: SOT 97064 SOS 39238 HAS SOPS 39238 HAS SOUS 37563 HAS SOUPS 37563 WITH SCORE 37602.238
AT ITER 41 NEW BEST:: SOT 97056 SOS 39232 HAS SOPS 39232 HAS SOUS 37557 HAS SOUPS 37557 WITH SCORE 37596.232
AT ITER 54 NEW BEST:: SOT 97055 SOS 39187 HAS SOPS 39187 HAS SOUS 37512 HAS SOUPS 37512 WITH SCORE 37551.187
AT ITER 57 NEW BEST:: SOT 95256 SOS 49628 HAS SOPS 49628 HAS SOUS 36018 HAS SOUPS 36018 WITH SCORE 36067.628
AT ITER 62 NEW BEST:: SOT 95256 SOS 49628 HAS SOPS 49628 HAS SOUS 36017 HAS SOUPS 36017 WITH SCORE 36066.628
AT ITER 65 NEW BEST:: SOT 95169 SOS 49551 HAS SOPS 49551 HAS SOUS 35930 HAS SOUPS 35930 WITH SCORE 35979.551
AT ITER 70 NEW BEST:: SOT 95084 SOS 49378 HAS SOPS 49378 HAS SOUS 35909 HAS SOUPS 35909 WITH SCORE 35958.378
AT ITER 75 NEW BEST:: SOT 94932 SOS 49226 HAS SOPS 49226 HAS SOUS 35833 HAS SOUPS 35833 WITH SCORE 35882.226
AT ITER 78 NEW BEST:: SOT 94851 SOS 49155 HAS SOPS 49155 HAS SOUS 35759 HAS SOUPS 35759 WITH SCORE 35808.155
AT ITER 84 NEW BEST:: SOT 94347 SOS 48650 HAS SOPS 48650 HAS SOUS 35315 HAS SOUPS 35315 WITH SCORE 35363.65
AT ITER 90 NEW BEST:: SOT 94242 SOS 48441 HAS SOPS 48441 HAS SOUS 35190 HAS SOUPS 35190 WITH SCORE 35238.441
AT ITER 95 NEW BEST:: SOT 94021 SOS 48117 HAS SOPS 48117 HAS SOUS 34984 HAS SOUPS 34984 WITH SCORE 35032.117
AT ITER 97 NEW BEST:: SOT 93983 SOS 48083 HAS SOPS 48083 HAS SOUS 34980 HAS SOUPS 34980 WITH SCORE 35028.083
AT ITER 111 NEW BEST:: SOT 93983 SOS 48083 HAS SOPS 48083 HAS SOUS 34972 HAS SOUPS 34972 WITH SCORE 35020.083
AT ITER 120 NEW BEST:: SOT 93919 SOS 48018 HAS SOPS 48018 HAS SOUS 34970 HAS SOUPS 34970 WITH SCORE 35018.018
AT ITER 125 NEW BEST:: SOT 93832 SOS 47962 HAS SOPS 47962 HAS SOUS 34914 HAS SOUPS 34914 WITH SCORE 34961.962
AT ITER 131 NEW BEST:: SOT 93804 SOS 47906 HAS SOPS 47906 HAS SOUS 34858 HAS SOUPS 34858 WITH SCORE 34905.906
AT ITER 135 NEW BEST:: SOT 93804 SOS 47906 HAS SOPS 47906 HAS SOUS 34831 HAS SOUPS 34831 WITH SCORE 34878.906
AT ITER 137 NEW BEST:: SOT 93799 SOS 47896 HAS SOPS 47896 HAS SOUS 34829 HAS SOUPS 34829 WITH SCORE 34876.896
AT ITER 146 NEW BEST:: SOT 93737 SOS 47772 HAS SOPS 47772 HAS SOUS 34772 HAS SOUPS 34772 WITH SCORE 34819.772
AT ITER 165 NEW BEST:: SOT 93657 SOS 47612 HAS SOPS 47612 HAS SOUS 34691 HAS SOUPS 34691 WITH SCORE 34738.612
AT ITER 226 NEW BEST:: SOT 93576 SOS 47450 HAS SOPS 47450 HAS SOUS 34631 HAS SOUPS 34631 WITH SCORE 34678.45
AT ITER 229 NEW BEST:: SOT 93628 SOS 47256 HAS SOPS 47256 HAS SOUS 34595 HAS SOUPS 34595 WITH SCORE 34642.256
AT ITER 230 NEW BEST:: SOT 93628 SOS 47210 HAS SOPS 47210 HAS SOUS 34549 HAS SOUPS 34549 WITH SCORE 34596.21
AT ITER 231 NEW BEST:: SOT 93601 SOS 46904 HAS SOPS 46904 HAS SOUS 34484 HAS SOUPS 34484 WITH SCORE 34530.904
AT ITER 248 NEW BEST:: SOT 93548 SOS 46851 HAS SOPS 46851 HAS SOUS 34484 HAS SOUPS 34484 WITH SCORE 34530.851
AT ITER 267 NEW BEST:: SOT 93548 SOS 46800 HAS SOPS 46800 HAS SOUS 34468 HAS SOUPS 34468 WITH SCORE 34514.8
AT ITER 292 NEW BEST:: SOT 92063 SOS 45315 HAS SOPS 45315 HAS SOUS 33086 HAS SOUPS 33086 WITH SCORE 33131.315
AT ITER 293 NEW BEST:: SOT 92012 SOS 42198 HAS SOPS 42198 HAS SOUS 33031 HAS SOUPS 33031 WITH SCORE 33073.198
AT ITER 294 NEW BEST:: SOT 92011 SOS 42196 HAS SOPS 42196 HAS SOUS 33029 HAS SOUPS 33029 WITH SCORE 33071.196
AT ITER 297 NEW BEST:: SOT 92011 SOS 42041 HAS SOPS 42041 HAS SOUS 32902 HAS SOUPS 32902 WITH SCORE 32944.041
AT ITER 306 NEW BEST:: SOT 92010 SOS 42039 HAS SOPS 42039 HAS SOUS 32900 HAS SOUPS 32900 WITH SCORE 32942.039
AT ITER 317 NEW BEST:: SOT 91849 SOS 41898 HAS SOPS 41898 HAS SOUS 32898 HAS SOUPS 32898 WITH SCORE 32939.898
AT ITER 321 NEW BEST:: SOT 91796 SOS 41792 HAS SOPS 41792 HAS SOUS 32816 HAS SOUPS 32816 WITH SCORE 32857.792
AT ITER 335 NEW BEST:: SOT 91795 SOS 41790 HAS SOPS 41790 HAS SOUS 32814 HAS SOUPS 32814 WITH SCORE 32855.79
AT ITER 341 NEW BEST:: SOT 91785 SOS 41775 HAS SOPS 41775 HAS SOUS 32799 HAS SOUPS 32799 WITH SCORE 32840.775
AT ITER 343 NEW BEST:: SOT 91768 SOS 41713 HAS SOPS 41713 HAS SOUS 32737 HAS SOUPS 32737 WITH SCORE 32778.713
AT ITER 347 NEW BEST:: SOT 91817 SOS 41724 HAS SOPS 41724 HAS SOUS 32731 HAS SOUPS 32731 WITH SCORE 32772.724
AT ITER 353 NEW BEST:: SOT 91818 SOS 41706 HAS SOPS 41706 HAS SOUS 32712 HAS SOUPS 32712 WITH SCORE 32753.706
AT ITER 354 NEW BEST:: SOT 91824 SOS 41719 HAS SOPS 41719 HAS SOUS 32692 HAS SOUPS 32692 WITH SCORE 32733.719
AT ITER 363 NEW BEST:: SOT 91824 SOS 41706 HAS SOPS 41706 HAS SOUS 32691 HAS SOUPS 32691 WITH SCORE 32732.706
AT ITER 365 NEW BEST:: SOT 91810 SOS 41678 HAS SOPS 41678 HAS SOUS 32677 HAS SOUPS 32677 WITH SCORE 32718.678
AT ITER 393 NEW BEST:: SOT 91759 SOS 41627 HAS SOPS 41627 HAS SOUS 32677 HAS SOUPS 32677 WITH SCORE 32718.627
AT ITER 395 NEW BEST:: SOT 91766 SOS 41641 HAS SOPS 41641 HAS SOUS 32620 HAS SOUPS 32620 WITH SCORE 32661.641
AT ITER 417 NEW BEST:: SOT 91782 SOS 41634 HAS SOPS 41634 HAS SOUS 32613 HAS SOUPS 32613 WITH SCORE 32654.634
AT ITER 419 NEW BEST:: SOT 91720 SOS 41514 HAS SOPS 41514 HAS SOUS 32572 HAS SOUPS 32572 WITH SCORE 32613.514
AT ITER 424 NEW BEST:: SOT 91719 SOS 41489 HAS SOPS 41489 HAS SOUS 32547 HAS SOUPS 32547 WITH SCORE 32588.489
AT ITER 435 NEW BEST:: SOT 91690 SOS 41431 HAS SOPS 41431 HAS SOUS 32518 HAS SOUPS 32518 WITH SCORE 32559.431
AT ITER 438 NEW BEST:: SOT 91608 SOS 41349 HAS SOPS 41349 HAS SOUS 32518 HAS SOUPS 32518 WITH SCORE 32559.349
AT ITER 443 NEW BEST:: SOT 91594 SOS 41321 HAS SOPS 41321 HAS SOUS 32504 HAS SOUPS 32504 WITH SCORE 32545.321
AT ITER 454 NEW BEST:: SOT 91594 SOS 41248 HAS SOPS 41248 HAS SOUS 32431 HAS SOUPS 32431 WITH SCORE 32472.248
AT ITER 458 NEW BEST:: SOT 91546 SOS 41094 HAS SOPS 41094 HAS SOUS 32403 HAS SOUPS 32403 WITH SCORE 32444.094
AT ITER 461 NEW BEST:: SOT 91565 SOS 41008 HAS SOPS 41008 HAS SOUS 32385 HAS SOUPS 32385 WITH SCORE 32426.008
AT ITER 472 NEW BEST:: SOT 91541 SOS 40997 HAS SOPS 40997 HAS SOUS 32357 HAS SOUPS 32357 WITH SCORE 32397.997
AT ITER 478 NEW BEST:: SOT 91424 SOS 40884 HAS SOPS 40884 HAS SOUS 32306 HAS SOUPS 32306 WITH SCORE 32346.884
AT ITER 484 NEW BEST:: SOT 91351 SOS 40738 HAS SOPS 40738 HAS SOUS 32171 HAS SOUPS 32171 WITH SCORE 32211.738
AT ITER 489 NEW BEST:: SOT 91315 SOS 40702 HAS SOPS 40702 HAS SOUS 32136 HAS SOUPS 32136 WITH SCORE 32176.702
AT ITER 490 NEW BEST:: SOT 91314 SOS 40700 HAS SOPS 40700 HAS SOUS 32134 HAS SOUPS 32134 WITH SCORE 32174.7
AT ITER 495 NEW BEST:: SOT 91235 SOS 40579 HAS SOPS 40579 HAS SOUS 32013 HAS SOUPS 32013 WITH SCORE 32053.579
AT ITER 499 NEW BEST:: SOT 91106 SOS 40456 HAS SOPS 40456 HAS SOUS 31868 HAS SOUPS 31868 WITH SCORE 31908.456
AT ITER 504 NEW BEST:: SOT 91111 SOS 40409 HAS SOPS 40409 HAS SOUS 31769 HAS SOUPS 31769 WITH SCORE 31809.409
AT ITER 505 NEW BEST:: SOT 91038 SOS 40330 HAS SOPS 40330 HAS SOUS 31690 HAS SOUPS 31690 WITH SCORE 31730.33
AT ITER 507 NEW BEST:: SOT 91028 SOS 40320 HAS SOPS 40320 HAS SOUS 31680 HAS SOUPS 31680 WITH SCORE 31720.32
AT ITER 508 NEW BEST:: SOT 90820 SOS 40045 HAS SOPS 40045 HAS SOUS 31545 HAS SOUPS 31545 WITH SCORE 31585.045
AT ITER 511 NEW BEST:: SOT 90818 SOS 39877 HAS SOPS 39877 HAS SOUS 31478 HAS SOUPS 31478 WITH SCORE 31517.877
AT ITER 524 NEW BEST:: SOT 90659 SOS 39640 HAS SOPS 39640 HAS SOUS 31184 HAS SOUPS 31184 WITH SCORE 31223.64
AT ITER 529 NEW BEST:: SOT 90658 SOS 39503 HAS SOPS 39503 HAS SOUS 31132 HAS SOUPS 31132 WITH SCORE 31171.503
AT ITER 530 NEW BEST:: SOT 90652 SOS 39497 HAS SOPS 39497 HAS SOUS 31126 HAS SOUPS 31126 WITH SCORE 31165.497
AT ITER 535 NEW BEST:: SOT 90652 SOS 39482 HAS SOPS 39482 HAS SOUS 31111 HAS SOUPS 31111 WITH SCORE 31150.482
AT ITER 538 NEW BEST:: SOT 90635 SOS 39474 HAS SOPS 39474 HAS SOUS 31105 HAS SOUPS 31105 WITH SCORE 31144.474
AT ITER 543 NEW BEST:: SOT 90552 SOS 39308 HAS SOPS 39308 HAS SOUS 31026 HAS SOUPS 31026 WITH SCORE 31065.308
AT ITER 551 NEW BEST:: SOT 90552 SOS 39314 HAS SOPS 39314 HAS SOUS 31025 HAS SOUPS 31025 WITH SCORE 31064.314
AT ITER 553 NEW BEST:: SOT 90558 SOS 39320 HAS SOPS 39320 HAS SOUS 31024 HAS SOUPS 31024 WITH SCORE 31063.32
AT ITER 555 NEW BEST:: SOT 90549 SOS 39313 HAS SOPS 39313 HAS SOUS 31017 HAS SOUPS 31017 WITH SCORE 31056.313
AT ITER 562 NEW BEST:: SOT 90503 SOS 39164 HAS SOPS 39164 HAS SOUS 30898 HAS SOUPS 30898 WITH SCORE 30937.164
AT ITER 569 NEW BEST:: SOT 90474 SOS 39135 HAS SOPS 39135 HAS SOUS 30869 HAS SOUPS 30869 WITH SCORE 30908.135
AT ITER 570 NEW BEST:: SOT 90472 SOS 39131 HAS SOPS 39131 HAS SOUS 30865 HAS SOUPS 30865 WITH SCORE 30904.131
AT ITER 572 NEW BEST:: SOT 90478 SOS 39112 HAS SOPS 39112 HAS SOUS 30846 HAS SOUPS 30846 WITH SCORE 30885.112
AT ITER 574 NEW BEST:: SOT 90477 SOS 39110 HAS SOPS 39110 HAS SOUS 30845 HAS SOUPS 30845 WITH SCORE 30884.11
AT ITER 578 NEW BEST:: SOT 90424 SOS 39057 HAS SOPS 39057 HAS SOUS 30792 HAS SOUPS 30792 WITH SCORE 30831.057
AT ITER 580 NEW BEST:: SOT 90495 SOS 38998 HAS SOPS 38998 HAS SOUS 30776 HAS SOUPS 30776 WITH SCORE 30814.998
AT ITER 581 NEW BEST:: SOT 90427 SOS 38928 HAS SOPS 38928 HAS SOUS 30769 HAS SOUPS 30769 WITH SCORE 30807.928
AT ITER 584 NEW BEST:: SOT 90404 SOS 38905 HAS SOPS 38905 HAS SOUS 30769 HAS SOUPS 30769 WITH SCORE 30807.905
AT ITER 600 NEW BEST:: SOT 90491 SOS 38992 HAS SOPS 38992 HAS SOUS 30760 HAS SOUPS 30760 WITH SCORE 30798.992
AT ITER 605 NEW BEST:: SOT 90457 SOS 38950 HAS SOPS 38950 HAS SOUS 30718 HAS SOUPS 30718 WITH SCORE 30756.95
AT ITER 606 NEW BEST:: SOT 90364 SOS 38762 HAS SOPS 38762 HAS SOUS 30633 HAS SOUPS 30633 WITH SCORE 30671.762
AT ITER 617 NEW BEST:: SOT 90370 SOS 38747 HAS SOPS 38747 HAS SOUS 30618 HAS SOUPS 30618 WITH SCORE 30656.747
AT ITER 634 NEW BEST:: SOT 90316 SOS 38692 HAS SOPS 38692 HAS SOUS 30616 HAS SOUPS 30616 WITH SCORE 30654.692
AT ITER 642 NEW BEST:: SOT 89311 SOS 37687 HAS SOPS 37687 HAS SOUS 29581 HAS SOUPS 29581 WITH SCORE 29618.687
AT ITER 645 NEW BEST:: SOT 89314 SOS 37693 HAS SOPS 37693 HAS SOUS 29569 HAS SOUPS 29569 WITH SCORE 29606.693
AT ITER 652 NEW BEST:: SOT 89303 SOS 37693 HAS SOPS 37693 HAS SOUS 29558 HAS SOUPS 29558 WITH SCORE 29595.693
AT ITER 663 NEW BEST:: SOT 89333 SOS 37636 HAS SOPS 37636 HAS SOUS 29532 HAS SOUPS 29532 WITH SCORE 29569.636
AT ITER 675 NEW BEST:: SOT 89317 SOS 37583 HAS SOPS 37583 HAS SOUS 29479 HAS SOUPS 29479 WITH SCORE 29516.583
AT ITER 677 NEW BEST:: SOT 89262 SOS 37525 HAS SOPS 37525 HAS SOUS 29421 HAS SOUPS 29421 WITH SCORE 29458.525
AT ITER 690 NEW BEST:: SOT 89274 SOS 37386 HAS SOPS 37386 HAS SOUS 29415 HAS SOUPS 29415 WITH SCORE 29452.386
AT ITER 694 NEW BEST:: SOT 89224 SOS 37336 HAS SOPS 37336 HAS SOUS 29413 HAS SOUPS 29413 WITH SCORE 29450.336
AT ITER 710 NEW BEST:: SOT 89206 SOS 37300 HAS SOPS 37300 HAS SOUS 29377 HAS SOUPS 29377 WITH SCORE 29414.3
AT ITER 715 NEW BEST:: SOT 89175 SOS 37176 HAS SOPS 37176 HAS SOUS 29315 HAS SOUPS 29315 WITH SCORE 29352.176
AT ITER 722 NEW BEST:: SOT 89029 SOS 36854 HAS SOPS 36854 HAS SOUS 29109 HAS SOUPS 29109 WITH SCORE 29145.854
AT ITER 728 NEW BEST:: SOT 87384 SOS 35192 HAS SOPS 35192 HAS SOUS 27377 HAS SOUPS 27377 WITH SCORE 27412.192
AT ITER 729 NEW BEST:: SOT 87359 SOS 35142 HAS SOPS 35142 HAS SOUS 27353 HAS SOUPS 27353 WITH SCORE 27388.142
AT ITER 747 NEW BEST:: SOT 87351 SOS 35126 HAS SOPS 35126 HAS SOUS 27337 HAS SOUPS 27337 WITH SCORE 27372.126
AT ITER 751 NEW BEST:: SOT 86854 SOS 34746 HAS SOPS 34746 HAS SOUS 26949 HAS SOUPS 26949 WITH SCORE 26983.746
AT ITER 759 NEW BEST:: SOT 86695 SOS 34699 HAS SOPS 34699 HAS SOUS 26766 HAS SOUPS 26766 WITH SCORE 26800.699
AT ITER 773 NEW BEST:: SOT 86695 SOS 34599 HAS SOPS 34599 HAS SOUS 26666 HAS SOUPS 26666 WITH SCORE 26700.599
AT ITER 778 NEW BEST:: SOT 86746 SOS 34533 HAS SOPS 34533 HAS SOUS 26589 HAS SOUPS 26589 WITH SCORE 26623.533
AT ITER 783 NEW BEST:: SOT 86746 SOS 34530 HAS SOPS 34530 HAS SOUS 26588 HAS SOUPS 26588 WITH SCORE 26622.53
AT ITER 788 NEW BEST:: SOT 86746 SOS 34509 HAS SOPS 34509 HAS SOUS 26567 HAS SOUPS 26567 WITH SCORE 26601.509
AT ITER 809 NEW BEST:: SOT 86642 SOS 34301 HAS SOPS 34301 HAS SOUS 26463 HAS SOUPS 26463 WITH SCORE 26497.301
AT ITER 838 NEW BEST:: SOT 86641 SOS 34300 HAS SOPS 34300 HAS SOUS 26462 HAS SOUPS 26462 WITH SCORE 26496.3
AT ITER 846 NEW BEST:: SOT 86575 SOS 34179 HAS SOPS 34179 HAS SOUS 26444 HAS SOUPS 26444 WITH SCORE 26478.179
AT ITER 847 NEW BEST:: SOT 86557 SOS 34160 HAS SOPS 34160 HAS SOUS 26425 HAS SOUPS 26425 WITH SCORE 26459.16
AT ITER 854 NEW BEST:: SOT 86544 SOS 34134 HAS SOPS 34134 HAS SOUS 26412 HAS SOUPS 26412 WITH SCORE 26446.134
AT ITER 857 NEW BEST:: SOT 86500 SOS 34063 HAS SOPS 34063 HAS SOUS 26341 HAS SOUPS 26341 WITH SCORE 26375.063
AT ITER 918 NEW BEST:: SOT 86475 SOS 34050 HAS SOPS 34050 HAS SOUS 26328 HAS SOUPS 26328 WITH SCORE 26362.05
AT ITER 927 NEW BEST:: SOT 86304 SOS 33766 HAS SOPS 33766 HAS SOUS 26044 HAS SOUPS 26044 WITH SCORE 26077.766
AT ITER 934 NEW BEST:: SOT 86304 SOS 33756 HAS SOPS 33756 HAS SOUS 26038 HAS SOUPS 26038 WITH SCORE 26071.756
AT ITER 935 NEW BEST:: SOT 86244 SOS 33717 HAS SOPS 33717 HAS SOUS 25999 HAS SOUPS 25999 WITH SCORE 26032.717
AT ITER 938 NEW BEST:: SOT 86244 SOS 33583 HAS SOPS 33583 HAS SOUS 25980 HAS SOUPS 25980 WITH SCORE 26013.583
AT ITER 941 NEW BEST:: SOT 86236 SOS 33666 HAS SOPS 33666 HAS SOUS 25975 HAS SOUPS 25975 WITH SCORE 26008.666
AT ITER 946 NEW BEST:: SOT 86219 SOS 33661 HAS SOPS 33661 HAS SOUS 25970 HAS SOUPS 25970 WITH SCORE 26003.661
AT ITER 949 NEW BEST:: SOT 86195 SOS 33637 HAS SOPS 33637 HAS SOUS 25946 HAS SOUPS 25946 WITH SCORE 25979.637
AT ITER 964 NEW BEST:: SOT 86131 SOS 33473 HAS SOPS 33473 HAS SOUS 25845 HAS SOUPS 25845 WITH SCORE 25878.473
AT ITER 968 NEW BEST:: SOT 86118 SOS 33460 HAS SOPS 33460 HAS SOUS 25832 HAS SOUPS 25832 WITH SCORE 25865.46
AT ITER 971 NEW BEST:: SOT 86115 SOS 33457 HAS SOPS 33457 HAS SOUS 25829 HAS SOUPS 25829 WITH SCORE 25862.457
AT ITER 974 NEW BEST:: SOT 86149 SOS 33439 HAS SOPS 33439 HAS SOUS 25811 HAS SOUPS 25811 WITH SCORE 25844.439
AT ITER 987 NEW BEST:: SOT 86149 SOS 33224 HAS SOPS 33224 HAS SOUS 25596 HAS SOUPS 25596 WITH SCORE 25629.224
AT ITER 991 NEW BEST:: SOT 86090 SOS 33119 HAS SOPS 33119 HAS SOUS 25491 HAS SOUPS 25491 WITH SCORE 25524.119
AT ITER 1015 NEW BEST:: SOT 86090 SOS 33119 HAS SOPS 33119 HAS SOUS 25477 HAS SOUPS 25477 WITH SCORE 25510.119
AT ITER 1052 NEW BEST:: SOT 86064 SOS 33076 HAS SOPS 33076 HAS SOUS 25434 HAS SOUPS 25434 WITH SCORE 25467.076
AT ITER 1059 NEW BEST:: SOT 86050 SOS 33072 HAS SOPS 33072 HAS SOUS 25324 HAS SOUPS 25324 WITH SCORE 25357.072
AT ITER 1060 NEW BEST:: SOT 86031 SOS 33053 HAS SOPS 33053 HAS SOUS 25305 HAS SOUPS 25305 WITH SCORE 25338.053
AT ITER 1065 NEW BEST:: SOT 86081 SOS 32943 HAS SOPS 32943 HAS SOUS 25195 HAS SOUPS 25195 WITH SCORE 25227.943
AT ITER 1072 NEW BEST:: SOT 86080 SOS 32942 HAS SOPS 32942 HAS SOUS 25194 HAS SOUPS 25194 WITH SCORE 25226.942
AT ITER 1084 NEW BEST:: SOT 86044 SOS 32926 HAS SOPS 32926 HAS SOUS 25192 HAS SOUPS 25192 WITH SCORE 25224.926
AT ITER 1093 NEW BEST:: SOT 85964 SOS 32846 HAS SOPS 32846 HAS SOUS 25112 HAS SOUPS 25112 WITH SCORE 25144.846
AT ITER 1104 NEW BEST:: SOT 85953 SOS 32835 HAS SOPS 32835 HAS SOUS 25101 HAS SOUPS 25101 WITH SCORE 25133.835
AT ITER 1113 NEW BEST:: SOT 85953 SOS 32835 HAS SOPS 32835 HAS SOUS 25099 HAS SOUPS 25099 WITH SCORE 25131.835
AT ITER 1130 NEW BEST:: SOT 85937 SOS 32771 HAS SOPS 32771 HAS SOUS 25035 HAS SOUPS 25035 WITH SCORE 25067.771
AT ITER 1132 NEW BEST:: SOT 85875 SOS 32602 HAS SOPS 32602 HAS SOUS 24866 HAS SOUPS 24866 WITH SCORE 24898.602
AT ITER 1137 NEW BEST:: SOT 85621 SOS 32381 HAS SOPS 32381 HAS SOUS 24717 HAS SOUPS 24717 WITH SCORE 24749.381
AT ITER 1156 NEW BEST:: SOT 85617 SOS 32347 HAS SOPS 32347 HAS SOUS 24683 HAS SOUPS 24683 WITH SCORE 24715.347
AT ITER 1164 NEW BEST:: SOT 85024 SOS 31707 HAS SOPS 31707 HAS SOUS 24090 HAS SOUPS 24090 WITH SCORE 24121.707
AT ITER 1181 NEW BEST:: SOT 85025 SOS 31684 HAS SOPS 31684 HAS SOUS 24067 HAS SOUPS 24067 WITH SCORE 24098.684
AT ITER 1186 NEW BEST:: SOT 85025 SOS 31684 HAS SOPS 31684 HAS SOUS 24023 HAS SOUPS 24023 WITH SCORE 24054.684
AT ITER 1190 NEW BEST:: SOT 85006 SOS 31665 HAS SOPS 31665 HAS SOUS 24004 HAS SOUPS 24004 WITH SCORE 24035.665
AT ITER 1193 NEW BEST:: SOT 85002 SOS 31661 HAS SOPS 31661 HAS SOUS 24000 HAS SOUPS 24000 WITH SCORE 24031.661
AT ITER 1202 NEW BEST:: SOT 84866 SOS 31546 HAS SOPS 31546 HAS SOUS 23929 HAS SOUPS 23929 WITH SCORE 23960.546
AT ITER 1203 NEW BEST:: SOT 84806 SOS 31496 HAS SOPS 31496 HAS SOUS 23879 HAS SOUPS 23879 WITH SCORE 23910.496
AT ITER 1208 NEW BEST:: SOT 84778 SOS 31454 HAS SOPS 31454 HAS SOUS 23851 HAS SOUPS 23851 WITH SCORE 23882.454
AT ITER 1213 NEW BEST:: SOT 84766 SOS 31442 HAS SOPS 31442 HAS SOUS 23839 HAS SOUPS 23839 WITH SCORE 23870.442
AT ITER 1215 NEW BEST:: SOT 84764 SOS 31438 HAS SOPS 31438 HAS SOUS 23835 HAS SOUPS 23835 WITH SCORE 23866.438
AT ITER 1216 NEW BEST:: SOT 84764 SOS 31438 HAS SOPS 31438 HAS SOUS 23834 HAS SOUPS 23834 WITH SCORE 23865.438
AT ITER 1227 NEW BEST:: SOT 84740 SOS 31390 HAS SOPS 31390 HAS SOUS 23786 HAS SOUPS 23786 WITH SCORE 23817.39
AT ITER 1232 NEW BEST:: SOT 84754 SOS 31381 HAS SOPS 31381 HAS SOUS 23777 HAS SOUPS 23777 WITH SCORE 23808.381
AT ITER 1235 NEW BEST:: SOT 84739 SOS 31351 HAS SOPS 31351 HAS SOUS 23750 HAS SOUPS 23750 WITH SCORE 23781.351
AT ITER 1251 NEW BEST:: SOT 84698 SOS 31345 HAS SOPS 31345 HAS SOUS 23726 HAS SOUPS 23726 WITH SCORE 23757.345
AT ITER 1253 NEW BEST:: SOT 84698 SOS 31241 HAS SOPS 31241 HAS SOUS 23622 HAS SOUPS 23622 WITH SCORE 23653.241
AT ITER 1265 NEW BEST:: SOT 84674 SOS 31213 HAS SOPS 31213 HAS SOUS 23594 HAS SOUPS 23594 WITH SCORE 23625.213
AT ITER 1282 NEW BEST:: SOT 84658 SOS 31220 HAS SOPS 31220 HAS SOUS 23585 HAS SOUPS 23585 WITH SCORE 23616.22
AT ITER 1285 NEW BEST:: SOT 84636 SOS 31209 HAS SOPS 31209 HAS SOUS 23574 HAS SOUPS 23574 WITH SCORE 23605.209
AT ITER 1296 NEW BEST:: SOT 84647 SOS 31231 HAS SOPS 31231 HAS SOUS 23568 HAS SOUPS 23568 WITH SCORE 23599.231
AT ITER 1308 NEW BEST:: SOT 84666 SOS 31250 HAS SOPS 31250 HAS SOUS 23561 HAS SOUPS 23561 WITH SCORE 23592.25
AT ITER 1331 NEW BEST:: SOT 84687 SOS 31242 HAS SOPS 31242 HAS SOUS 23540 HAS SOUPS 23540 WITH SCORE 23571.242
AT ITER 1336 NEW BEST:: SOT 84512 SOS 31072 HAS SOPS 31072 HAS SOUS 23485 HAS SOUPS 23485 WITH SCORE 23516.072
AT ITER 1338 NEW BEST:: SOT 84528 SOS 31088 HAS SOPS 31088 HAS SOUS 23442 HAS SOUPS 23442 WITH SCORE 23473.088
AT ITER 1342 NEW BEST:: SOT 84504 SOS 31087 HAS SOPS 31087 HAS SOUS 23441 HAS SOUPS 23441 WITH SCORE 23472.087
AT ITER 1351 NEW BEST:: SOT 84537 SOS 30898 HAS SOPS 30898 HAS SOUS 23359 HAS SOUPS 23359 WITH SCORE 23389.898
AT ITER 1355 NEW BEST:: SOT 84522 SOS 30883 HAS SOPS 30883 HAS SOUS 23359 HAS SOUPS 23359 WITH SCORE 23389.883
AT ITER 1361 NEW BEST:: SOT 84495 SOS 31469 HAS SOPS 31469 HAS SOUS 23332 HAS SOUPS 23332 WITH SCORE 23363.469
AT ITER 1366 NEW BEST:: SOT 84487 SOS 31464 HAS SOPS 31464 HAS SOUS 23327 HAS SOUPS 23327 WITH SCORE 23358.464
AT ITER 1372 NEW BEST:: SOT 84476 SOS 31446 HAS SOPS 31446 HAS SOUS 23321 HAS SOUPS 23321 WITH SCORE 23352.446
AT ITER 1375 NEW BEST:: SOT 84443 SOS 31413 HAS SOPS 31413 HAS SOUS 23282 HAS SOUPS 23282 WITH SCORE 23313.413
AT ITER 1378 NEW BEST:: SOT 84432 SOS 31391 HAS SOPS 31391 HAS SOUS 23264 HAS SOUPS 23264 WITH SCORE 23295.391
AT ITER 1403 NEW BEST:: SOT 84418 SOS 31326 HAS SOPS 31326 HAS SOUS 23250 HAS SOUPS 23250 WITH SCORE 23281.326
AT ITER 1417 NEW BEST:: SOT 84409 SOS 31308 HAS SOPS 31308 HAS SOUS 23232 HAS SOUPS 23232 WITH SCORE 23263.308
AT ITER 1419 NEW BEST:: SOT 84409 SOS 31310 HAS SOPS 31310 HAS SOUS 23223 HAS SOUPS 23223 WITH SCORE 23254.31
AT ITER 1426 NEW BEST:: SOT 84382 SOS 31282 HAS SOPS 31282 HAS SOUS 23195 HAS SOUPS 23195 WITH SCORE 23226.282
AT ITER 1457 NEW BEST:: SOT 84382 SOS 31282 HAS SOPS 31282 HAS SOUS 23135 HAS SOUPS 23135 WITH SCORE 23166.282
AT ITER 1461 NEW BEST:: SOT 84382 SOS 31282 HAS SOPS 31282 HAS SOUS 23128 HAS SOUPS 23128 WITH SCORE 23159.282
AT ITER 1484 NEW BEST:: SOT 84382 SOS 31272 HAS SOPS 31272 HAS SOUS 23118 HAS SOUPS 23118 WITH SCORE 23149.272
AT ITER 1490 NEW BEST:: SOT 84376 SOS 31260 HAS SOPS 31260 HAS SOUS 23058 HAS SOUPS 23058 WITH SCORE 23089.26
AT ITER 1492 NEW BEST:: SOT 84293 SOS 31202 HAS SOPS 31202 HAS SOUS 23000 HAS SOUPS 23000 WITH SCORE 23031.202
AT ITER 1503 NEW BEST:: SOT 84293 SOS 31165 HAS SOPS 31165 HAS SOUS 22963 HAS SOUPS 22963 WITH SCORE 22994.165
AT ITER 1512 NEW BEST:: SOT 84289 SOS 31151 HAS SOPS 31151 HAS SOUS 22949 HAS SOUPS 22949 WITH SCORE 22980.151
AT ITER 1527 NEW BEST:: SOT 84285 SOS 31147 HAS SOPS 31147 HAS SOUS 22945 HAS SOUPS 22945 WITH SCORE 22976.147
AT ITER 1543 NEW BEST:: SOT 84267 SOS 31111 HAS SOPS 31111 HAS SOUS 22918 HAS SOUPS 22918 WITH SCORE 22949.111
AT ITER 1568 NEW BEST:: SOT 84303 SOS 31144 HAS SOPS 31144 HAS SOUS 22915 HAS SOUPS 22915 WITH SCORE 22946.144
AT ITER 1569 NEW BEST:: SOT 84303 SOS 31115 HAS SOPS 31115 HAS SOUS 22886 HAS SOUPS 22886 WITH SCORE 22917.115
AT ITER 1592 NEW BEST:: SOT 84090 SOS 31563 HAS SOPS 31563 HAS SOUS 22717 HAS SOUPS 22717 WITH SCORE 22748.563
AT ITER 1594 NEW BEST:: SOT 84080 SOS 31554 HAS SOPS 31554 HAS SOUS 22708 HAS SOUPS 22708 WITH SCORE 22739.554
AT ITER 1601 NEW BEST:: SOT 83949 SOS 31408 HAS SOPS 31408 HAS SOUS 22513 HAS SOUPS 22513 WITH SCORE 22544.408
AT ITER 1603 NEW BEST:: SOT 83958 SOS 31392 HAS SOPS 31392 HAS SOUS 22497 HAS SOUPS 22497 WITH SCORE 22528.392
AT ITER 1604 NEW BEST:: SOT 83994 SOS 31441 HAS SOPS 31441 HAS SOUS 22487 HAS SOUPS 22487 WITH SCORE 22518.441
AT ITER 1605 NEW BEST:: SOT 83994 SOS 31419 HAS SOPS 31419 HAS SOUS 22487 HAS SOUPS 22487 WITH SCORE 22518.419
AT ITER 1607 NEW BEST:: SOT 83994 SOS 31389 HAS SOPS 31389 HAS SOUS 22457 HAS SOUPS 22457 WITH SCORE 22488.389
AT ITER 1614 NEW BEST:: SOT 83994 SOS 31381 HAS SOPS 31381 HAS SOUS 22449 HAS SOUPS 22449 WITH SCORE 22480.381
AT ITER 1618 NEW BEST:: SOT 83932 SOS 31257 HAS SOPS 31257 HAS SOUS 22325 HAS SOUPS 22325 WITH SCORE 22356.257
AT ITER 1620 NEW BEST:: SOT 83919 SOS 31231 HAS SOPS 31231 HAS SOUS 22324 HAS SOUPS 22324 WITH SCORE 22355.231
AT ITER 1622 NEW BEST:: SOT 83853 SOS 31127 HAS SOPS 31127 HAS SOUS 22220 HAS SOUPS 22220 WITH SCORE 22251.127
AT ITER 1642 NEW BEST:: SOT 83829 SOS 31103 HAS SOPS 31103 HAS SOUS 22196 HAS SOUPS 22196 WITH SCORE 22227.103
AT ITER 1668 NEW BEST:: SOT 83769 SOS 31044 HAS SOPS 31044 HAS SOUS 22137 HAS SOUPS 22137 WITH SCORE 22168.044
AT ITER 1684 NEW BEST:: SOT 83741 SOS 31011 HAS SOPS 31011 HAS SOUS 22127 HAS SOUPS 22127 WITH SCORE 22158.011
AT ITER 1696 NEW BEST:: SOT 83729 SOS 30999 HAS SOPS 30999 HAS SOUS 22115 HAS SOUPS 22115 WITH SCORE 22145.999
AT ITER 1705 NEW BEST:: SOT 83686 SOS 30956 HAS SOPS 30956 HAS SOUS 22072 HAS SOUPS 22072 WITH SCORE 22102.956
AT ITER 1706 NEW BEST:: SOT 83684 SOS 30954 HAS SOPS 30954 HAS SOUS 22070 HAS SOUPS 22070 WITH SCORE 22100.954
AT ITER 1724 NEW BEST:: SOT 83623 SOS 30901 HAS SOPS 30901 HAS SOUS 22017 HAS SOUPS 22017 WITH SCORE 22047.901
AT ITER 1742 NEW BEST:: SOT 83569 SOS 30883 HAS SOPS 30883 HAS SOUS 21999 HAS SOUPS 21999 WITH SCORE 22029.883
AT ITER 1751 NEW BEST:: SOT 83546 SOS 30881 HAS SOPS 30881 HAS SOUS 21953 HAS SOUPS 21953 WITH SCORE 21983.881
AT ITER 1758 NEW BEST:: SOT 83530 SOS 30865 HAS SOPS 30865 HAS SOUS 21937 HAS SOUPS 21937 WITH SCORE 21967.865
AT ITER 1773 NEW BEST:: SOT 83509 SOS 30707 HAS SOPS 30707 HAS SOUS 21922 HAS SOUPS 21922 WITH SCORE 21952.707
AT ITER 1784 NEW BEST:: SOT 83493 SOS 30686 HAS SOPS 30686 HAS SOUS 21901 HAS SOUPS 21901 WITH SCORE 21931.686
AT ITER 1786 NEW BEST:: SOT 83525 SOS 30657 HAS SOPS 30657 HAS SOUS 21900 HAS SOUPS 21900 WITH SCORE 21930.657
AT ITER 1825 NEW BEST:: SOT 83516 SOS 30639 HAS SOPS 30639 HAS SOUS 21893 HAS SOUPS 21893 WITH SCORE 21923.639
AT ITER 1836 NEW BEST:: SOT 83485 SOS 30612 HAS SOPS 30612 HAS SOUS 21866 HAS SOUPS 21866 WITH SCORE 21896.612
AT ITER 1855 NEW BEST:: SOT 83480 SOS 30602 HAS SOPS 30602 HAS SOUS 21861 HAS SOUPS 21861 WITH SCORE 21891.602
AT ITER 1860 NEW BEST:: SOT 83479 SOS 30600 HAS SOPS 30600 HAS SOUS 21859 HAS SOUPS 21859 WITH SCORE 21889.6
AT ITER 1873 NEW BEST:: SOT 83436 SOS 30514 HAS SOPS 30514 HAS SOUS 21773 HAS SOUPS 21773 WITH SCORE 21803.514
AT ITER 1889 NEW BEST:: SOT 83369 SOS 30368 HAS SOPS 30368 HAS SOUS 21627 HAS SOUPS 21627 WITH SCORE 21657.368
AT ITER 1896 NEW BEST:: SOT 83364 SOS 30358 HAS SOPS 30358 HAS SOUS 21600 HAS SOUPS 21600 WITH SCORE 21630.358
AT ITER 1900 NEW BEST:: SOT 83380 SOS 30290 HAS SOPS 30290 HAS SOUS 21543 HAS SOUPS 21543 WITH SCORE 21573.29
AT ITER 1909 NEW BEST:: SOT 83379 SOS 30288 HAS SOPS 30288 HAS SOUS 21541 HAS SOUPS 21541 WITH SCORE 21571.288
AT ITER 1917 NEW BEST:: SOT 83367 SOS 30276 HAS SOPS 30276 HAS SOUS 21529 HAS SOUPS 21529 WITH SCORE 21559.276
AT ITER 1932 NEW BEST:: SOT 83366 SOS 30210 HAS SOPS 30210 HAS SOUS 21463 HAS SOUPS 21463 WITH SCORE 21493.21
AT ITER 1947 NEW BEST:: SOT 83348 SOS 30140 HAS SOPS 30140 HAS SOUS 21393 HAS SOUPS 21393 WITH SCORE 21423.14
AT ITER 1949 NEW BEST:: SOT 83306 SOS 30018 HAS SOPS 30018 HAS SOUS 21271 HAS SOUPS 21271 WITH SCORE 21301.018
AT ITER 1963 NEW BEST:: SOT 83303 SOS 29999 HAS SOPS 29999 HAS SOUS 21270 HAS SOUPS 21270 WITH SCORE 21299.999
AT ITER 1965 NEW BEST:: SOT 83301 SOS 29997 HAS SOPS 29997 HAS SOUS 21270 HAS SOUPS 21270 WITH SCORE 21299.997
AT ITER 1976 NEW BEST:: SOT 83289 SOS 29985 HAS SOPS 29985 HAS SOUS 21258 HAS SOUPS 21258 WITH SCORE 21287.985
AT ITER 1980 NEW BEST:: SOT 83280 SOS 29967 HAS SOPS 29967 HAS SOUS 21240 HAS SOUPS 21240 WITH SCORE 21269.967
AT ITER 1984 NEW BEST:: SOT 83254 SOS 29915 HAS SOPS 29915 HAS SOUS 21188 HAS SOUPS 21188 WITH SCORE 21217.915
AT ITER 1985 NEW BEST:: SOT 83242 SOS 29891 HAS SOPS 29891 HAS SOUS 21176 HAS SOUPS 21176 WITH SCORE 21205.891
AT ITER 1989 NEW BEST:: SOT 83206 SOS 29832 HAS SOPS 29832 HAS SOUS 21117 HAS SOUPS 21117 WITH SCORE 21146.832
AT ITER 2000 NEW BEST:: SOT 83206 SOS 29827 HAS SOPS 29827 HAS SOUS 21112 HAS SOUPS 21112 WITH SCORE 21141.827
AT ITER 2009 NEW BEST:: SOT 83231 SOS 29852 HAS SOPS 29852 HAS SOUS 21109 HAS SOUPS 21109 WITH SCORE 21138.852
AT ITER 2034 NEW BEST:: SOT 83213 SOS 29834 HAS SOPS 29834 HAS SOUS 21091 HAS SOUPS 21091 WITH SCORE 21120.834
AT ITER 2043 NEW BEST:: SOT 83213 SOS 29834 HAS SOPS 29834 HAS SOUS 21082 HAS SOUPS 21082 WITH SCORE 21111.834
AT ITER 2053 NEW BEST:: SOT 83197 SOS 29823 HAS SOPS 29823 HAS SOUS 21071 HAS SOUPS 21071 WITH SCORE 21100.823
AT ITER 2054 NEW BEST:: SOT 83179 SOS 29799 HAS SOPS 29799 HAS SOUS 21041 HAS SOUPS 21041 WITH SCORE 21070.799
AT ITER 2066 NEW BEST:: SOT 83118 SOS 29756 HAS SOPS 29756 HAS SOUS 20998 HAS SOUPS 20998 WITH SCORE 21027.756
AT ITER 2078 NEW BEST:: SOT 83117 SOS 29754 HAS SOPS 29754 HAS SOUS 20997 HAS SOUPS 20997 WITH SCORE 21026.754
AT ITER 2086 NEW BEST:: SOT 83116 SOS 29753 HAS SOPS 29753 HAS SOUS 20996 HAS SOUPS 20996 WITH SCORE 21025.753
AT ITER 2091 NEW BEST:: SOT 83095 SOS 29710 HAS SOPS 29710 HAS SOUS 20953 HAS SOUPS 20953 WITH SCORE 20982.71
AT ITER 2116 NEW BEST:: SOT 83088 SOS 29696 HAS SOPS 29696 HAS SOUS 20939 HAS SOUPS 20939 WITH SCORE 20968.696
AT ITER 2126 NEW BEST:: SOT 83088 SOS 29663 HAS SOPS 29663 HAS SOUS 20906 HAS SOUPS 20906 WITH SCORE 20935.663
AT ITER 2146 NEW BEST:: SOT 83095 SOS 29670 HAS SOPS 29670 HAS SOUS 20870 HAS SOUPS 20870 WITH SCORE 20899.67
AT ITER 2152 NEW BEST:: SOT 83095 SOS 29668 HAS SOPS 29668 HAS SOUS 20868 HAS SOUPS 20868 WITH SCORE 20897.668
AT ITER 2158 NEW BEST:: SOT 83072 SOS 29622 HAS SOPS 29622 HAS SOUS 20822 HAS SOUPS 20822 WITH SCORE 20851.622
AT ITER 2185 NEW BEST:: SOT 83073 SOS 29554 HAS SOPS 29554 HAS SOUS 20782 HAS SOUPS 20782 WITH SCORE 20811.554
AT ITER 2200 NEW BEST:: SOT 83017 SOS 29521 HAS SOPS 29521 HAS SOUS 20749 HAS SOUPS 20749 WITH SCORE 20778.521
AT ITER 2203 NEW BEST:: SOT 83009 SOS 29511 HAS SOPS 29511 HAS SOUS 20739 HAS SOUPS 20739 WITH SCORE 20768.511
AT ITER 2223 NEW BEST:: SOT 83009 SOS 29505 HAS SOPS 29505 HAS SOUS 20733 HAS SOUPS 20733 WITH SCORE 20762.505
AT ITER 2226 NEW BEST:: SOT 83009 SOS 29493 HAS SOPS 29493 HAS SOUS 20733 HAS SOUPS 20733 WITH SCORE 20762.493
AT ITER 2236 NEW BEST:: SOT 82941 SOS 29357 HAS SOPS 29357 HAS SOUS 20665 HAS SOUPS 20665 WITH SCORE 20694.357
AT ITER 2240 NEW BEST:: SOT 82941 SOS 29450 HAS SOPS 29450 HAS SOUS 20656 HAS SOUPS 20656 WITH SCORE 20685.45
AT ITER 2273 NEW BEST:: SOT 82954 SOS 29443 HAS SOPS 29443 HAS SOUS 20649 HAS SOUPS 20649 WITH SCORE 20678.443
AT ITER 2280 NEW BEST:: SOT 82993 SOS 29408 HAS SOPS 29408 HAS SOUS 20614 HAS SOUPS 20614 WITH SCORE 20643.408
AT ITER 2293 NEW BEST:: SOT 82993 SOS 29399 HAS SOPS 29399 HAS SOUS 20605 HAS SOUPS 20605 WITH SCORE 20634.399
AT ITER 2309 NEW BEST:: SOT 82991 SOS 29395 HAS SOPS 29395 HAS SOUS 20601 HAS SOUPS 20601 WITH SCORE 20630.395
AT ITER 2324 NEW BEST:: SOT 82890 SOS 29305 HAS SOPS 29305 HAS SOUS 20600 HAS SOUPS 20600 WITH SCORE 20629.305
AT ITER 2326 NEW BEST:: SOT 82886 SOS 29301 HAS SOPS 29301 HAS SOUS 20596 HAS SOUPS 20596 WITH SCORE 20625.301
AT ITER 2347 NEW BEST:: SOT 82886 SOS 29301 HAS SOPS 29301 HAS SOUS 20585 HAS SOUPS 20585 WITH SCORE 20614.301
AT ITER 2355 NEW BEST:: SOT 82893 SOS 29254 HAS SOPS 29254 HAS SOUS 20538 HAS SOUPS 20538 WITH SCORE 20567.254
AT ITER 2379 NEW BEST:: SOT 82460 SOS 29011 HAS SOPS 29011 HAS SOUS 20119 HAS SOUPS 20119 WITH SCORE 20148.011
AT ITER 2391 NEW BEST:: SOT 82471 SOS 29022 HAS SOPS 29022 HAS SOUS 20099 HAS SOUPS 20099 WITH SCORE 20128.022
AT ITER 2393 NEW BEST:: SOT 82461 SOS 29011 HAS SOPS 29011 HAS SOUS 20088 HAS SOUPS 20088 WITH SCORE 20117.011
AT ITER 2394 NEW BEST:: SOT 82441 SOS 28991 HAS SOPS 28991 HAS SOUS 19931 HAS SOUPS 19931 WITH SCORE 19959.991
AT ITER 2396 NEW BEST:: SOT 82431 SOS 28971 HAS SOPS 28971 HAS SOUS 19911 HAS SOUPS 19911 WITH SCORE 19939.971
AT ITER 2405 NEW BEST:: SOT 82431 SOS 28943 HAS SOPS 28943 HAS SOUS 19883 HAS SOUPS 19883 WITH SCORE 19911.943
AT ITER 2408 NEW BEST:: SOT 82374 SOS 28850 HAS SOPS 28850 HAS SOUS 19808 HAS SOUPS 19808 WITH SCORE 19836.85
AT ITER 2424 NEW BEST:: SOT 82374 SOS 28850 HAS SOPS 28850 HAS SOUS 19785 HAS SOUPS 19785 WITH SCORE 19813.85
AT ITER 2435 NEW BEST:: SOT 82383 SOS 28775 HAS SOPS 28775 HAS SOUS 19710 HAS SOUPS 19710 WITH SCORE 19738.775
AT ITER 2448 NEW BEST:: SOT 82303 SOS 28672 HAS SOPS 28672 HAS SOUS 19647 HAS SOUPS 19647 WITH SCORE 19675.672
AT ITER 2463 NEW BEST:: SOT 82387 SOS 28671 HAS SOPS 28671 HAS SOUS 19477 HAS SOUPS 19477 WITH SCORE 19505.671
AT ITER 2467 NEW BEST:: SOT 82362 SOS 28657 HAS SOPS 28657 HAS SOUS 19463 HAS SOUPS 19463 WITH SCORE 19491.657
AT ITER 2489 NEW BEST:: SOT 82360 SOS 28644 HAS SOPS 28644 HAS SOUS 19449 HAS SOUPS 19449 WITH SCORE 19477.644
AT ITER 2507 NEW BEST:: SOT 82355 SOS 28629 HAS SOPS 28629 HAS SOUS 19439 HAS SOUPS 19439 WITH SCORE 19467.629
AT ITER 2565 NEW BEST:: SOT 82435 SOS 28660 HAS SOPS 28660 HAS SOUS 19403 HAS SOUPS 19403 WITH SCORE 19431.66
AT ITER 2570 NEW BEST:: SOT 82434 SOS 28651 HAS SOPS 28651 HAS SOUS 19394 HAS SOUPS 19394 WITH SCORE 19422.651
AT ITER 2573 NEW BEST:: SOT 82444 SOS 28667 HAS SOPS 28667 HAS SOUS 19377 HAS SOUPS 19377 WITH SCORE 19405.667
AT ITER 2599 NEW BEST:: SOT 82438 SOS 28655 HAS SOPS 28655 HAS SOUS 19365 HAS SOUPS 19365 WITH SCORE 19393.655
AT ITER 2649 NEW BEST:: SOT 82328 SOS 28465 HAS SOPS 28465 HAS SOUS 19337 HAS SOUPS 19337 WITH SCORE 19365.465
AT ITER 2663 NEW BEST:: SOT 82313 SOS 28450 HAS SOPS 28450 HAS SOUS 19322 HAS SOUPS 19322 WITH SCORE 19350.45
AT ITER 2673 NEW BEST:: SOT 82255 SOS 28350 HAS SOPS 28350 HAS SOUS 19264 HAS SOUPS 19264 WITH SCORE 19292.35
AT ITER 2682 NEW BEST:: SOT 82255 SOS 28341 HAS SOPS 28341 HAS SOUS 19255 HAS SOUPS 19255 WITH SCORE 19283.341
AT ITER 2720 NEW BEST:: SOT 82255 SOS 28337 HAS SOPS 28337 HAS SOUS 19251 HAS SOUPS 19251 WITH SCORE 19279.337
AT ITER 2722 NEW BEST:: SOT 82223 SOS 28272 HAS SOPS 28272 HAS SOUS 19186 HAS SOUPS 19186 WITH SCORE 19214.272
AT ITER 2734 NEW BEST:: SOT 82198 SOS 28234 HAS SOPS 28234 HAS SOUS 19148 HAS SOUPS 19148 WITH SCORE 19176.234
AT ITER 2740 NEW BEST:: SOT 82161 SOS 28160 HAS SOPS 28160 HAS SOUS 19074 HAS SOUPS 19074 WITH SCORE 19102.16
AT ITER 2759 NEW BEST:: SOT 82154 SOS 28153 HAS SOPS 28153 HAS SOUS 19067 HAS SOUPS 19067 WITH SCORE 19095.153
AT ITER 2763 NEW BEST:: SOT 82154 SOS 28150 HAS SOPS 28150 HAS SOUS 19067 HAS SOUPS 19067 WITH SCORE 19095.15
AT ITER 2839 NEW BEST:: SOT 82126 SOS 28079 HAS SOPS 28079 HAS SOUS 18996 HAS SOUPS 18996 WITH SCORE 19024.079
AT ITER 2846 NEW BEST:: SOT 82116 SOS 28058 HAS SOPS 28058 HAS SOUS 18975 HAS SOUPS 18975 WITH SCORE 19003.058
AT ITER 2868 NEW BEST:: SOT 82042 SOS 28421 HAS SOPS 28421 HAS SOUS 18959 HAS SOUPS 18959 WITH SCORE 18987.421
AT ITER 2884 NEW BEST:: SOT 82028 SOS 28393 HAS SOPS 28393 HAS SOUS 18931 HAS SOUPS 18931 WITH SCORE 18959.393
AT ITER 2934 NEW BEST:: SOT 82028 SOS 28393 HAS SOPS 28393 HAS SOUS 18928 HAS SOUPS 18928 WITH SCORE 18956.393
AT ITER 2935 NEW BEST:: SOT 82105 SOS 28435 HAS SOPS 28435 HAS SOUS 18924 HAS SOUPS 18924 WITH SCORE 18952.435
AT ITER 2936 NEW BEST:: SOT 82102 SOS 28429 HAS SOPS 28429 HAS SOUS 18906 HAS SOUPS 18906 WITH SCORE 18934.429
AT ITER 2940 NEW BEST:: SOT 82093 SOS 28427 HAS SOPS 28427 HAS SOUS 18904 HAS SOUPS 18904 WITH SCORE 18932.427
AT ITER 2943 NEW BEST:: SOT 82081 SOS 28415 HAS SOPS 28415 HAS SOUS 18892 HAS SOUPS 18892 WITH SCORE 18920.415
AT ITER 2951 NEW BEST:: SOT 82075 SOS 28416 HAS SOPS 28416 HAS SOUS 18890 HAS SOUPS 18890 WITH SCORE 18918.416
AT ITER 2957 NEW BEST:: SOT 82029 SOS 28338 HAS SOPS 28338 HAS SOUS 18883 HAS SOUPS 18883 WITH SCORE 18911.338
AT ITER 2959 NEW BEST:: SOT 82029 SOS 28338 HAS SOPS 28338 HAS SOUS 18879 HAS SOUPS 18879 WITH SCORE 18907.338
AT ITER 2984 NEW BEST:: SOT 82017 SOS 28314 HAS SOPS 28314 HAS SOUS 18855 HAS SOUPS 18855 WITH SCORE 18883.314
AT ITER 3008 NEW BEST:: SOT 82118 SOS 28308 HAS SOPS 28308 HAS SOUS 18849 HAS SOUPS 18849 WITH SCORE 18877.308
AT ITER 3011 NEW BEST:: SOT 82116 SOS 28187 HAS SOPS 28187 HAS SOUS 18770 HAS SOUPS 18770 WITH SCORE 18798.187
AT ITER 3016 NEW BEST:: SOT 82083 SOS 28121 HAS SOPS 28121 HAS SOUS 18704 HAS SOUPS 18704 WITH SCORE 18732.121
AT ITER 3018 NEW BEST:: SOT 82072 SOS 28099 HAS SOPS 28099 HAS SOUS 18682 HAS SOUPS 18682 WITH SCORE 18710.099
AT ITER 3063 NEW BEST:: SOT 82065 SOS 28092 HAS SOPS 28092 HAS SOUS 18682 HAS SOUPS 18682 WITH SCORE 18710.092
AT ITER 3067 NEW BEST:: SOT 82066 SOS 28040 HAS SOPS 28040 HAS SOUS 18630 HAS SOUPS 18630 WITH SCORE 18658.04
AT ITER 3085 NEW BEST:: SOT 82071 SOS 28015 HAS SOPS 28015 HAS SOUS 18605 HAS SOUPS 18605 WITH SCORE 18633.015
AT ITER 3117 NEW BEST:: SOT 82067 SOS 27995 HAS SOPS 27995 HAS SOUS 18589 HAS SOUPS 18589 WITH SCORE 18616.995
AT ITER 3123 NEW BEST:: SOT 82067 SOS 27815 HAS SOPS 27815 HAS SOUS 18589 HAS SOUPS 18589 WITH SCORE 18616.815
AT ITER 3137 NEW BEST:: SOT 82067 SOS 27815 HAS SOPS 27815 HAS SOUS 18588 HAS SOUPS 18588 WITH SCORE 18615.815
AT ITER 3196 NEW BEST:: SOT 82059 SOS 28009 HAS SOPS 28009 HAS SOUS 18573 HAS SOUPS 18573 WITH SCORE 18601.009
AT ITER 3211 NEW BEST:: SOT 82059 SOS 27864 HAS SOPS 27864 HAS SOUS 18572 HAS SOUPS 18572 WITH SCORE 18599.864
AT ITER 3222 NEW BEST:: SOT 82015 SOS 27774 HAS SOPS 27774 HAS SOUS 18482 HAS SOUPS 18482 WITH SCORE 18509.774
AT ITER 3245 NEW BEST:: SOT 82011 SOS 27766 HAS SOPS 27766 HAS SOUS 18462 HAS SOUPS 18462 WITH SCORE 18489.766
AT ITER 3273 NEW BEST:: SOT 81969 SOS 27714 HAS SOPS 27714 HAS SOUS 18425 HAS SOUPS 18425 WITH SCORE 18452.714
AT ITER 3285 NEW BEST:: SOT 81969 SOS 27716 HAS SOPS 27716 HAS SOUS 18384 HAS SOUPS 18384 WITH SCORE 18411.716
AT ITER 3298 NEW BEST:: SOT 81905 SOS 27652 HAS SOPS 27652 HAS SOUS 18320 HAS SOUPS 18320 WITH SCORE 18347.652
AT ITER 3310 NEW BEST:: SOT 81891 SOS 27534 HAS SOPS 27534 HAS SOUS 18300 HAS SOUPS 18300 WITH SCORE 18327.534
AT ITER 3383 NEW BEST:: SOT 81884 SOS 27212 HAS SOPS 27212 HAS SOUS 18286 HAS SOUPS 18286 WITH SCORE 18313.212
AT ITER 3393 NEW BEST:: SOT 81891 SOS 27190 HAS SOPS 27190 HAS SOUS 18264 HAS SOUPS 18264 WITH SCORE 18291.19
AT ITER 3409 NEW BEST:: SOT 81879 SOS 27170 HAS SOPS 27170 HAS SOUS 18244 HAS SOUPS 18244 WITH SCORE 18271.17
AT ITER 3457 NEW BEST:: SOT 81693 SOS 26975 HAS SOPS 26975 HAS SOUS 18229 HAS SOUPS 18229 WITH SCORE 18255.975
AT ITER 3487 NEW BEST:: SOT 81705 SOS 26864 HAS SOPS 26864 HAS SOUS 18124 HAS SOUPS 18124 WITH SCORE 18150.864
AT ITER 3493 NEW BEST:: SOT 81705 SOS 26908 HAS SOPS 26908 HAS SOUS 18111 HAS SOUPS 18111 WITH SCORE 18137.908
AT ITER 3504 NEW BEST:: SOT 81684 SOS 26878 HAS SOPS 26878 HAS SOUS 18093 HAS SOUPS 18093 WITH SCORE 18119.878
AT ITER 3537 NEW BEST:: SOT 81527 SOS 26702 HAS SOPS 26702 HAS SOUS 18074 HAS SOUPS 18074 WITH SCORE 18100.702
AT ITER 3552 NEW BEST:: SOT 81526 SOS 26710 HAS SOPS 26710 HAS SOUS 18072 HAS SOUPS 18072 WITH SCORE 18098.71
AT ITER 3555 NEW BEST:: SOT 81525 SOS 26692 HAS SOPS 26692 HAS SOUS 18059 HAS SOUPS 18059 WITH SCORE 18085.692
AT ITER 3559 NEW BEST:: SOT 81516 SOS 26674 HAS SOPS 26674 HAS SOUS 18041 HAS SOUPS 18041 WITH SCORE 18067.674
AT ITER 3562 NEW BEST:: SOT 81503 SOS 26673 HAS SOPS 26673 HAS SOUS 18027 HAS SOUPS 18027 WITH SCORE 18053.673
AT ITER 3655 NEW BEST:: SOT 81507 SOS 26560 HAS SOPS 26560 HAS SOUS 18016 HAS SOUPS 18016 WITH SCORE 18042.56
AT ITER 3660 NEW BEST:: SOT 81437 SOS 26420 HAS SOPS 26420 HAS SOUS 17944 HAS SOUPS 17944 WITH SCORE 17970.42
AT ITER 3692 NEW BEST:: SOT 81427 SOS 26413 HAS SOPS 26413 HAS SOUS 17924 HAS SOUPS 17924 WITH SCORE 17950.413
AT ITER 3733 NEW BEST:: SOT 81461 SOS 26440 HAS SOPS 26440 HAS SOUS 17917 HAS SOUPS 17917 WITH SCORE 17943.44
AT ITER 3784 NEW BEST:: SOT 81461 SOS 26435 HAS SOPS 26435 HAS SOUS 17912 HAS SOUPS 17912 WITH SCORE 17938.435
AT ITER 3799 NEW BEST:: SOT 81703 SOS 26535 HAS SOPS 26535 HAS SOUS 17811 HAS SOUPS 17811 WITH SCORE 17837.535
AT ITER 3809 NEW BEST:: SOT 81666 SOS 26461 HAS SOPS 26461 HAS SOUS 17742 HAS SOUPS 17742 WITH SCORE 17768.461
AT ITER 3828 NEW BEST:: SOT 81657 SOS 26434 HAS SOPS 26434 HAS SOUS 17697 HAS SOUPS 17697 WITH SCORE 17723.434
AT ITER 3830 NEW BEST:: SOT 81656 SOS 26432 HAS SOPS 26432 HAS SOUS 17695 HAS SOUPS 17695 WITH SCORE 17721.432
AT ITER 3853 NEW BEST:: SOT 81638 SOS 26441 HAS SOPS 26441 HAS SOUS 17686 HAS SOUPS 17686 WITH SCORE 17712.441
AT ITER 3893 NEW BEST:: SOT 81613 SOS 26408 HAS SOPS 26408 HAS SOUS 17670 HAS SOUPS 17670 WITH SCORE 17696.408
AT ITER 3896 NEW BEST:: SOT 81600 SOS 26356 HAS SOPS 26356 HAS SOUS 17618 HAS SOUPS 17618 WITH SCORE 17644.356
AT ITER 3925 NEW BEST:: SOT 81596 SOS 26404 HAS SOPS 26404 HAS SOUS 17614 HAS SOUPS 17614 WITH SCORE 17640.404
AT ITER 3938 NEW BEST:: SOT 81596 SOS 26404 HAS SOPS 26404 HAS SOUS 17610 HAS SOUPS 17610 WITH SCORE 17636.404
AT ITER 3963 NEW BEST:: SOT 81596 SOS 26412 HAS SOPS 26412 HAS SOUS 17606 HAS SOUPS 17606 WITH SCORE 17632.412
AT ITER 4001 NEW BEST:: SOT 81592 SOS 26383 HAS SOPS 26383 HAS SOUS 17604 HAS SOUPS 17604 WITH SCORE 17630.383
AT ITER 4023 NEW BEST:: SOT 81591 SOS 26381 HAS SOPS 26381 HAS SOUS 17602 HAS SOUPS 17602 WITH SCORE 17628.381
AT ITER 4036 NEW BEST:: SOT 81578 SOS 26355 HAS SOPS 26355 HAS SOUS 17576 HAS SOUPS 17576 WITH SCORE 17602.355
AT ITER 4040 NEW BEST:: SOT 81572 SOS 26334 HAS SOPS 26334 HAS SOUS 17561 HAS SOUPS 17561 WITH SCORE 17587.334
AT ITER 4059 NEW BEST:: SOT 81564 SOS 26326 HAS SOPS 26326 HAS SOUS 17540 HAS SOUPS 17540 WITH SCORE 17566.326
AT ITER 4065 NEW BEST:: SOT 81580 SOS 26375 HAS SOPS 26375 HAS SOUS 17538 HAS SOUPS 17538 WITH SCORE 17564.375
AT ITER 4087 NEW BEST:: SOT 81578 SOS 26163 HAS SOPS 26163 HAS SOUS 17536 HAS SOUPS 17536 WITH SCORE 17562.163
AT ITER 4095 NEW BEST:: SOT 81519 SOS 26104 HAS SOPS 26104 HAS SOUS 17477 HAS SOUPS 17477 WITH SCORE 17503.104
AT ITER 4111 NEW BEST:: SOT 81521 SOS 26105 HAS SOPS 26105 HAS SOUS 17475 HAS SOUPS 17475 WITH SCORE 17501.105
AT ITER 4115 NEW BEST:: SOT 81500 SOS 26080 HAS SOPS 26080 HAS SOUS 17450 HAS SOUPS 17450 WITH SCORE 17476.08
AT ITER 4125 NEW BEST:: SOT 81491 SOS 26055 HAS SOPS 26055 HAS SOUS 17442 HAS SOUPS 17442 WITH SCORE 17468.055
AT ITER 4151 NEW BEST:: SOT 81487 SOS 26047 HAS SOPS 26047 HAS SOUS 17428 HAS SOUPS 17428 WITH SCORE 17454.047
AT ITER 4169 NEW BEST:: SOT 81495 SOS 26025 HAS SOPS 26025 HAS SOUS 17424 HAS SOUPS 17424 WITH SCORE 17450.025
AT ITER 4191 NEW BEST:: SOT 81454 SOS 25943 HAS SOPS 25943 HAS SOUS 17408 HAS SOUPS 17408 WITH SCORE 17433.943
AT ITER 4202 NEW BEST:: SOT 81450 SOS 25923 HAS SOPS 25923 HAS SOUS 17400 HAS SOUPS 17400 WITH SCORE 17425.923
AT ITER 4263 NEW BEST:: SOT 81437 SOS 25884 HAS SOPS 25884 HAS SOUS 17374 HAS SOUPS 17374 WITH SCORE 17399.884
AT ITER 4264 NEW BEST:: SOT 81437 SOS 25878 HAS SOPS 25878 HAS SOUS 17374 HAS SOUPS 17374 WITH SCORE 17399.878
AT ITER 4277 NEW BEST:: SOT 81453 SOS 25888 HAS SOPS 25888 HAS SOUS 17356 HAS SOUPS 17356 WITH SCORE 17381.888
AT ITER 4286 NEW BEST:: SOT 81434 SOS 25886 HAS SOPS 25886 HAS SOUS 17327 HAS SOUPS 17327 WITH SCORE 17352.886
AT ITER 4297 NEW BEST:: SOT 81409 SOS 25861 HAS SOPS 25861 HAS SOUS 17302 HAS SOUPS 17302 WITH SCORE 17327.861
AT ITER 4342 NEW BEST:: SOT 81390 SOS 25847 HAS SOPS 25847 HAS SOUS 17264 HAS SOUPS 17264 WITH SCORE 17289.847
AT ITER 4344 NEW BEST:: SOT 81390 SOS 25821 HAS SOPS 25821 HAS SOUS 17264 HAS SOUPS 17264 WITH SCORE 17289.821
AT ITER 4362 NEW BEST:: SOT 81369 SOS 25779 HAS SOPS 25779 HAS SOUS 17222 HAS SOUPS 17222 WITH SCORE 17247.779
AT ITER 4383 NEW BEST:: SOT 81368 SOS 25777 HAS SOPS 25777 HAS SOUS 17220 HAS SOUPS 17220 WITH SCORE 17245.777
AT ITER 4393 NEW BEST:: SOT 81400 SOS 25777 HAS SOPS 25777 HAS SOUS 17216 HAS SOUPS 17216 WITH SCORE 17241.777
AT ITER 4416 NEW BEST:: SOT 81388 SOS 25753 HAS SOPS 25753 HAS SOUS 17198 HAS SOUPS 17198 WITH SCORE 17223.753
AT ITER 4425 NEW BEST:: SOT 81388 SOS 25745 HAS SOPS 25745 HAS SOUS 17190 HAS SOUPS 17190 WITH SCORE 17215.745
AT ITER 4454 NEW BEST:: SOT 81388 SOS 25705 HAS SOPS 25705 HAS SOUS 17182 HAS SOUPS 17182 WITH SCORE 17207.705
AT ITER 4456 NEW BEST:: SOT 81388 SOS 25705 HAS SOPS 25705 HAS SOUS 17177 HAS SOUPS 17177 WITH SCORE 17202.705
AT ITER 4523 NEW BEST:: SOT 81386 SOS 25701 HAS SOPS 25701 HAS SOUS 17173 HAS SOUPS 17173 WITH SCORE 17198.701
AT ITER 4607 NEW BEST:: SOT 81308 SOS 25623 HAS SOPS 25623 HAS SOUS 17136 HAS SOUPS 17136 WITH SCORE 17161.623
AT ITER 4610 NEW BEST:: SOT 81278 SOS 25604 HAS SOPS 25604 HAS SOUS 17081 HAS SOUPS 17081 WITH SCORE 17106.604
AT ITER 4634 NEW BEST:: SOT 81269 SOS 25587 HAS SOPS 25587 HAS SOUS 17078 HAS SOUPS 17078 WITH SCORE 17103.587
AT ITER 4635 NEW BEST:: SOT 81269 SOS 25571 HAS SOPS 25571 HAS SOUS 17078 HAS SOUPS 17078 WITH SCORE 17103.571
AT ITER 4637 NEW BEST:: SOT 81334 SOS 25737 HAS SOPS 25737 HAS SOUS 17073 HAS SOUPS 17073 WITH SCORE 17098.737
AT ITER 4739 NEW BEST:: SOT 81336 SOS 25735 HAS SOPS 25735 HAS SOUS 17071 HAS SOUPS 17071 WITH SCORE 17096.735
AT ITER 4794 NEW BEST:: SOT 81291 SOS 25690 HAS SOPS 25690 HAS SOUS 17026 HAS SOUPS 17026 WITH SCORE 17051.69
AT ITER 4795 NEW BEST:: SOT 81281 SOS 25677 HAS SOPS 25677 HAS SOUS 17020 HAS SOUPS 17020 WITH SCORE 17045.677
AT ITER 4797 NEW BEST:: SOT 81277 SOS 25669 HAS SOPS 25669 HAS SOUS 17012 HAS SOUPS 17012 WITH SCORE 17037.669
AT ITER 4802 NEW BEST:: SOT 81277 SOS 25667 HAS SOPS 25667 HAS SOUS 17012 HAS SOUPS 17012 WITH SCORE 17037.667
AT ITER 4819 NEW BEST:: SOT 81266 SOS 25656 HAS SOPS 25656 HAS SOUS 17001 HAS SOUPS 17001 WITH SCORE 17026.656
AT ITER 4830 NEW BEST:: SOT 81139 SOS 25645 HAS SOPS 25645 HAS SOUS 16990 HAS SOUPS 16990 WITH SCORE 17015.645
AT ITER 4836 NEW BEST:: SOT 81132 SOS 25633 HAS SOPS 25633 HAS SOUS 16983 HAS SOUPS 16983 WITH SCORE 17008.633
AT ITER 4842 NEW BEST:: SOT 81142 SOS 25630 HAS SOPS 25630 HAS SOUS 16980 HAS SOUPS 16980 WITH SCORE 17005.63
AT ITER 4843 NEW BEST:: SOT 81141 SOS 25731 HAS SOPS 25731 HAS SOUS 16979 HAS SOUPS 16979 WITH SCORE 17004.731
AT ITER 4903 NEW BEST:: SOT 81137 SOS 25723 HAS SOPS 25723 HAS SOUS 16971 HAS SOUPS 16971 WITH SCORE 16996.723
AT ITER 4965 NEW BEST:: SOT 81134 SOS 25765 HAS SOPS 25765 HAS SOUS 16967 HAS SOUPS 16967 WITH SCORE 16992.765
AT ITER 5009 NEW BEST:: SOT 81134 SOS 25766 HAS SOPS 25766 HAS SOUS 16966 HAS SOUPS 16966 WITH SCORE 16991.766
AT ITER 5116 NEW BEST:: SOT 81131 SOS 25760 HAS SOPS 25760 HAS SOUS 16960 HAS SOUPS 16960 WITH SCORE 16985.76
AT ITER 5125 NEW BEST:: SOT 81130 SOS 25758 HAS SOPS 25758 HAS SOUS 16954 HAS SOUPS 16954 WITH SCORE 16979.758
AT ITER 5141 NEW BEST:: SOT 81136 SOS 25740 HAS SOPS 25740 HAS SOUS 16936 HAS SOUPS 16936 WITH SCORE 16961.74
AT ITER 5151 NEW BEST:: SOT 81116 SOS 25710 HAS SOPS 25710 HAS SOUS 16906 HAS SOUPS 16906 WITH SCORE 16931.71
AT ITER 5156 NEW BEST:: SOT 81101 SOS 25691 HAS SOPS 25691 HAS SOUS 16887 HAS SOUPS 16887 WITH SCORE 16912.691
AT ITER 5160 NEW BEST:: SOT 81101 SOS 25657 HAS SOPS 25657 HAS SOUS 16887 HAS SOUPS 16887 WITH SCORE 16912.657
AT ITER 5161 NEW BEST:: SOT 81083 SOS 25636 HAS SOPS 25636 HAS SOUS 16864 HAS SOUPS 16864 WITH SCORE 16889.636
AT ITER 5171 NEW BEST:: SOT 81003 SOS 25565 HAS SOPS 25565 HAS SOUS 16781 HAS SOUPS 16781 WITH SCORE 16806.565
AT ITER 5189 NEW BEST:: SOT 80997 SOS 25553 HAS SOPS 25553 HAS SOUS 16769 HAS SOUPS 16769 WITH SCORE 16794.553
AT ITER 5201 NEW BEST:: SOT 80997 SOS 25553 HAS SOPS 25553 HAS SOUS 16752 HAS SOUPS 16752 WITH SCORE 16777.553
AT ITER 5222 NEW BEST:: SOT 80997 SOS 25549 HAS SOPS 25549 HAS SOUS 16748 HAS SOUPS 16748 WITH SCORE 16773.549
AT ITER 5238 NEW BEST:: SOT 80997 SOS 25535 HAS SOPS 25535 HAS SOUS 16748 HAS SOUPS 16748 WITH SCORE 16773.535
AT ITER 5256 NEW BEST:: SOT 80996 SOS 25533 HAS SOPS 25533 HAS SOUS 16746 HAS SOUPS 16746 WITH SCORE 16771.533
AT ITER 5275 NEW BEST:: SOT 80996 SOS 25533 HAS SOPS 25533 HAS SOUS 16724 HAS SOUPS 16724 WITH SCORE 16749.533
AT ITER 5296 NEW BEST:: SOT 80975 SOS 25491 HAS SOPS 25491 HAS SOUS 16718 HAS SOUPS 16718 WITH SCORE 16743.491
AT ITER 5403 NEW BEST:: SOT 80964 SOS 25482 HAS SOPS 25482 HAS SOUS 16696 HAS SOUPS 16696 WITH SCORE 16721.482
AT ITER 5431 NEW BEST:: SOT 80912 SOS 25463 HAS SOPS 25463 HAS SOUS 16644 HAS SOUPS 16644 WITH SCORE 16669.463
AT ITER 5474 NEW BEST:: SOT 80941 SOS 25443 HAS SOPS 25443 HAS SOUS 16595 HAS SOUPS 16595 WITH SCORE 16620.443
AT ITER 5482 NEW BEST:: SOT 80933 SOS 25436 HAS SOPS 25436 HAS SOUS 16588 HAS SOUPS 16588 WITH SCORE 16613.436
AT ITER 5490 NEW BEST:: SOT 80945 SOS 25424 HAS SOPS 25424 HAS SOUS 16576 HAS SOUPS 16576 WITH SCORE 16601.424
AT ITER 5528 NEW BEST:: SOT 80936 SOS 25418 HAS SOPS 25418 HAS SOUS 16570 HAS SOUPS 16570 WITH SCORE 16595.418
AT ITER 5562 NEW BEST:: SOT 80894 SOS 25357 HAS SOPS 25357 HAS SOUS 16523 HAS SOUPS 16523 WITH SCORE 16548.357
AT ITER 5586 NEW BEST:: SOT 80885 SOS 25348 HAS SOPS 25348 HAS SOUS 16514 HAS SOUPS 16514 WITH SCORE 16539.348
AT ITER 5595 NEW BEST:: SOT 80807 SOS 25249 HAS SOPS 25249 HAS SOUS 16415 HAS SOUPS 16415 WITH SCORE 16440.249
AT ITER 5599 NEW BEST:: SOT 80775 SOS 25217 HAS SOPS 25217 HAS SOUS 16383 HAS SOUPS 16383 WITH SCORE 16408.217
AT ITER 5623 NEW BEST:: SOT 80775 SOS 25217 HAS SOPS 25217 HAS SOUS 16381 HAS SOUPS 16381 WITH SCORE 16406.217
AT ITER 5654 NEW BEST:: SOT 80751 SOS 25209 HAS SOPS 25209 HAS SOUS 16373 HAS SOUPS 16373 WITH SCORE 16398.209
AT ITER 5657 NEW BEST:: SOT 80753 SOS 25179 HAS SOPS 25179 HAS SOUS 16371 HAS SOUPS 16371 WITH SCORE 16396.179
AT ITER 5665 NEW BEST:: SOT 80748 SOS 25169 HAS SOPS 25169 HAS SOUS 16361 HAS SOUPS 16361 WITH SCORE 16386.169
AT ITER 5672 NEW BEST:: SOT 80748 SOS 25127 HAS SOPS 25127 HAS SOUS 16319 HAS SOUPS 16319 WITH SCORE 16344.127
AT ITER 5681 NEW BEST:: SOT 80737 SOS 25101 HAS SOPS 25101 HAS SOUS 16302 HAS SOUPS 16302 WITH SCORE 16327.101
AT ITER 5682 NEW BEST:: SOT 80755 SOS 25047 HAS SOPS 25047 HAS SOUS 16298 HAS SOUPS 16298 WITH SCORE 16323.047
AT ITER 5689 NEW BEST:: SOT 80726 SOS 25043 HAS SOPS 25043 HAS SOUS 16234 HAS SOUPS 16234 WITH SCORE 16259.043
AT ITER 5710 NEW BEST:: SOT 80722 SOS 25035 HAS SOPS 25035 HAS SOUS 16230 HAS SOUPS 16230 WITH SCORE 16255.035
AT ITER 5748 NEW BEST:: SOT 80752 SOS 25039 HAS SOPS 25039 HAS SOUS 16196 HAS SOUPS 16196 WITH SCORE 16221.039
AT ITER 5773 NEW BEST:: SOT 80752 SOS 25002 HAS SOPS 25002 HAS SOUS 16159 HAS SOUPS 16159 WITH SCORE 16184.002
AT ITER 5813 NEW BEST:: SOT 80749 SOS 24995 HAS SOPS 24995 HAS SOUS 16152 HAS SOUPS 16152 WITH SCORE 16176.995
AT ITER 5911 NEW BEST:: SOT 80759 SOS 24993 HAS SOPS 24993 HAS SOUS 16150 HAS SOUPS 16150 WITH SCORE 16174.993
AT ITER 5925 NEW BEST:: SOT 80755 SOS 24977 HAS SOPS 24977 HAS SOUS 16134 HAS SOUPS 16134 WITH SCORE 16158.977
AT ITER 5968 NEW BEST:: SOT 80750 SOS 24973 HAS SOPS 24973 HAS SOUS 16130 HAS SOUPS 16130 WITH SCORE 16154.973
AT ITER 5993 NEW BEST:: SOT 80745 SOS 24880 HAS SOPS 24880 HAS SOUS 16037 HAS SOUPS 16037 WITH SCORE 16061.88
AT ITER 6018 NEW BEST:: SOT 80637 SOS 24806 HAS SOPS 24806 HAS SOUS 15967 HAS SOUPS 15967 WITH SCORE 15991.806
AT ITER 6032 NEW BEST:: SOT 80674 SOS 24880 HAS SOPS 24880 HAS SOUS 15962 HAS SOUPS 15962 WITH SCORE 15986.88
AT ITER 6062 NEW BEST:: SOT 80673 SOS 24877 HAS SOPS 24877 HAS SOUS 15959 HAS SOUPS 15959 WITH SCORE 15983.877
AT ITER 6065 NEW BEST:: SOT 80685 SOS 24901 HAS SOPS 24901 HAS SOUS 15937 HAS SOUPS 15937 WITH SCORE 15961.901
AT ITER 6099 NEW BEST:: SOT 80685 SOS 24863 HAS SOPS 24863 HAS SOUS 15918 HAS SOUPS 15918 WITH SCORE 15942.863
AT ITER 6141 NEW BEST:: SOT 80685 SOS 24861 HAS SOPS 24861 HAS SOUS 15918 HAS SOUPS 15918 WITH SCORE 15942.861
AT ITER 6157 NEW BEST:: SOT 80673 SOS 24837 HAS SOPS 24837 HAS SOUS 15894 HAS SOUPS 15894 WITH SCORE 15918.837
AT ITER 6171 NEW BEST:: SOT 80703 SOS 24842 HAS SOPS 24842 HAS SOUS 15876 HAS SOUPS 15876 WITH SCORE 15900.842
AT ITER 6172 NEW BEST:: SOT 80703 SOS 24838 HAS SOPS 24838 HAS SOUS 15872 HAS SOUPS 15872 WITH SCORE 15896.838
AT ITER 6192 NEW BEST:: SOT 80693 SOS 24825 HAS SOPS 24825 HAS SOUS 15866 HAS SOUPS 15866 WITH SCORE 15890.825
AT ITER 6206 NEW BEST:: SOT 80693 SOS 24814 HAS SOPS 24814 HAS SOUS 15855 HAS SOUPS 15855 WITH SCORE 15879.814
AT ITER 6214 NEW BEST:: SOT 80693 SOS 24795 HAS SOPS 24795 HAS SOUS 15836 HAS SOUPS 15836 WITH SCORE 15860.795
AT ITER 6280 NEW BEST:: SOT 80680 SOS 24782 HAS SOPS 24782 HAS SOUS 15820 HAS SOUPS 15820 WITH SCORE 15844.782
AT ITER 6325 NEW BEST:: SOT 80680 SOS 24782 HAS SOPS 24782 HAS SOUS 15816 HAS SOUPS 15816 WITH SCORE 15840.782
AT ITER 6359 NEW BEST:: SOT 80622 SOS 24724 HAS SOPS 24724 HAS SOUS 15758 HAS SOUPS 15758 WITH SCORE 15782.724
AT ITER 6360 NEW BEST:: SOT 80616 SOS 24718 HAS SOPS 24718 HAS SOUS 15752 HAS SOUPS 15752 WITH SCORE 15776.718
AT ITER 6401 NEW BEST:: SOT 80614 SOS 24716 HAS SOPS 24716 HAS SOUS 15750 HAS SOUPS 15750 WITH SCORE 15774.716
AT ITER 6429 NEW BEST:: SOT 80600 SOS 24696 HAS SOPS 24696 HAS SOUS 15737 HAS SOUPS 15737 WITH SCORE 15761.696
AT ITER 6487 NEW BEST:: SOT 80586 SOS 24687 HAS SOPS 24687 HAS SOUS 15728 HAS SOUPS 15728 WITH SCORE 15752.687
AT ITER 6492 NEW BEST:: SOT 80586 SOS 24687 HAS SOPS 24687 HAS SOUS 15724 HAS SOUPS 15724 WITH SCORE 15748.687
AT ITER 6502 NEW BEST:: SOT 80585 SOS 24686 HAS SOPS 24686 HAS SOUS 15723 HAS SOUPS 15723 WITH SCORE 15747.686
AT ITER 6511 NEW BEST:: SOT 80602 SOS 24700 HAS SOPS 24700 HAS SOUS 15717 HAS SOUPS 15717 WITH SCORE 15741.7
AT ITER 6546 NEW BEST:: SOT 80604 SOS 24690 HAS SOPS 24690 HAS SOUS 15710 HAS SOUPS 15710 WITH SCORE 15734.69
AT ITER 6572 NEW BEST:: SOT 80601 SOS 24687 HAS SOPS 24687 HAS SOUS 15707 HAS SOUPS 15707 WITH SCORE 15731.687
AT ITER 6588 NEW BEST:: SOT 80611 SOS 24677 HAS SOPS 24677 HAS SOUS 15697 HAS SOUPS 15697 WITH SCORE 15721.677
AT ITER 6637 NEW BEST:: SOT 80620 SOS 24661 HAS SOPS 24661 HAS SOUS 15681 HAS SOUPS 15681 WITH SCORE 15705.661
AT ITER 6642 NEW BEST:: SOT 80619 SOS 24659 HAS SOPS 24659 HAS SOUS 15680 HAS SOUPS 15680 WITH SCORE 15704.659
AT ITER 6650 NEW BEST:: SOT 80618 SOS 24634 HAS SOPS 24634 HAS SOUS 15653 HAS SOUPS 15653 WITH SCORE 15677.634
AT ITER 6678 NEW BEST:: SOT 80553 SOS 24534 HAS SOPS 24534 HAS SOUS 15638 HAS SOUPS 15638 WITH SCORE 15662.534
AT ITER 6720 NEW BEST:: SOT 80553 SOS 24534 HAS SOPS 24534 HAS SOUS 15634 HAS SOUPS 15634 WITH SCORE 15658.534
AT ITER 6798 NEW BEST:: SOT 80551 SOS 24530 HAS SOPS 24530 HAS SOUS 15630 HAS SOUPS 15630 WITH SCORE 15654.53
AT ITER 6954 NEW BEST:: SOT 80551 SOS 24501 HAS SOPS 24501 HAS SOUS 15601 HAS SOUPS 15601 WITH SCORE 15625.501
AT ITER 6965 NEW BEST:: SOT 80549 SOS 24485 HAS SOPS 24485 HAS SOUS 15599 HAS SOUPS 15599 WITH SCORE 15623.485
AT ITER 6984 NEW BEST:: SOT 80537 SOS 24465 HAS SOPS 24465 HAS SOUS 15579 HAS SOUPS 15579 WITH SCORE 15603.465
AT ITER 7057 NEW BEST:: SOT 80536 SOS 24463 HAS SOPS 24463 HAS SOUS 15577 HAS SOUPS 15577 WITH SCORE 15601.463
AT ITER 7074 NEW BEST:: SOT 80524 SOS 24439 HAS SOPS 24439 HAS SOUS 15569 HAS SOUPS 15569 WITH SCORE 15593.439
AT ITER 7121 NEW BEST:: SOT 80505 SOS 24420 HAS SOPS 24420 HAS SOUS 15550 HAS SOUPS 15550 WITH SCORE 15574.42
AT ITER 7222 NEW BEST:: SOT 80485 SOS 24325 HAS SOPS 24325 HAS SOUS 15512 HAS SOUPS 15512 WITH SCORE 15536.325
AT ITER 7243 NEW BEST:: SOT 80485 SOS 24271 HAS SOPS 24271 HAS SOUS 15458 HAS SOUPS 15458 WITH SCORE 15482.271
AT ITER 7250 NEW BEST:: SOT 80457 SOS 24259 HAS SOPS 24259 HAS SOUS 15445 HAS SOUPS 15445 WITH SCORE 15469.259
AT ITER 7252 NEW BEST:: SOT 80457 SOS 24259 HAS SOPS 24259 HAS SOUS 15442 HAS SOUPS 15442 WITH SCORE 15466.259
AT ITER 7271 NEW BEST:: SOT 80447 SOS 24251 HAS SOPS 24251 HAS SOUS 15430 HAS SOUPS 15430 WITH SCORE 15454.251
AT ITER 7285 NEW BEST:: SOT 80479 SOS 24235 HAS SOPS 24235 HAS SOUS 15414 HAS SOUPS 15414 WITH SCORE 15438.235
AT ITER 7336 NEW BEST:: SOT 80439 SOS 24407 HAS SOPS 24407 HAS SOUS 15395 HAS SOUPS 15395 WITH SCORE 15419.407
AT ITER 7337 NEW BEST:: SOT 80432 SOS 24393 HAS SOPS 24393 HAS SOUS 15381 HAS SOUPS 15381 WITH SCORE 15405.393
AT ITER 7369 NEW BEST:: SOT 80430 SOS 24341 HAS SOPS 24341 HAS SOUS 15373 HAS SOUPS 15373 WITH SCORE 15397.341
AT ITER 7370 NEW BEST:: SOT 80430 SOS 24342 HAS SOPS 24342 HAS SOUS 15372 HAS SOUPS 15372 WITH SCORE 15396.342
AT ITER 7374 NEW BEST:: SOT 80439 SOS 24333 HAS SOPS 24333 HAS SOUS 15363 HAS SOUPS 15363 WITH SCORE 15387.333
AT ITER 7509 NEW BEST:: SOT 80418 SOS 24272 HAS SOPS 24272 HAS SOUS 15302 HAS SOUPS 15302 WITH SCORE 15326.272
AT ITER 7564 NEW BEST:: SOT 80418 SOS 24270 HAS SOPS 24270 HAS SOUS 15298 HAS SOUPS 15298 WITH SCORE 15322.27
AT ITER 7590 NEW BEST:: SOT 80419 SOS 24264 HAS SOPS 24264 HAS SOUS 15292 HAS SOUPS 15292 WITH SCORE 15316.264
AT ITER 7596 NEW BEST:: SOT 80419 SOS 24255 HAS SOPS 24255 HAS SOUS 15283 HAS SOUPS 15283 WITH SCORE 15307.255
AT ITER 7621 NEW BEST:: SOT 80414 SOS 24245 HAS SOPS 24245 HAS SOUS 15273 HAS SOUPS 15273 WITH SCORE 15297.245
AT ITER 7683 NEW BEST:: SOT 80409 SOS 24244 HAS SOPS 24244 HAS SOUS 15272 HAS SOUPS 15272 WITH SCORE 15296.244
AT ITER 7690 NEW BEST:: SOT 80354 SOS 24189 HAS SOPS 24189 HAS SOUS 15213 HAS SOUPS 15213 WITH SCORE 15237.189
AT ITER 7750 NEW BEST:: SOT 80344 SOS 24177 HAS SOPS 24177 HAS SOUS 15201 HAS SOUPS 15201 WITH SCORE 15225.177
AT ITER 7763 NEW BEST:: SOT 80330 SOS 24179 HAS SOPS 24179 HAS SOUS 15187 HAS SOUPS 15187 WITH SCORE 15211.179
AT ITER 7815 NEW BEST:: SOT 80336 SOS 24170 HAS SOPS 24170 HAS SOUS 15178 HAS SOUPS 15178 WITH SCORE 15202.17
AT ITER 7880 NEW BEST:: SOT 80326 SOS 24155 HAS SOPS 24155 HAS SOUS 15163 HAS SOUPS 15163 WITH SCORE 15187.155
AT ITER 7888 NEW BEST:: SOT 80326 SOS 24155 HAS SOPS 24155 HAS SOUS 15160 HAS SOUPS 15160 WITH SCORE 15184.155
AT ITER 7892 NEW BEST:: SOT 80326 SOS 24026 HAS SOPS 24026 HAS SOUS 15151 HAS SOUPS 15151 WITH SCORE 15175.026
AT ITER 7906 NEW BEST:: SOT 80325 SOS 24022 HAS SOPS 24022 HAS SOUS 15147 HAS SOUPS 15147 WITH SCORE 15171.022
AT ITER 7958 NEW BEST:: SOT 80293 SOS 23990 HAS SOPS 23990 HAS SOUS 15115 HAS SOUPS 15115 WITH SCORE 15138.99
AT ITER 8085 NEW BEST:: SOT 80293 SOS 23973 HAS SOPS 23973 HAS SOUS 15115 HAS SOUPS 15115 WITH SCORE 15138.973
AT ITER 8087 NEW BEST:: SOT 80293 SOS 23971 HAS SOPS 23971 HAS SOUS 15113 HAS SOUPS 15113 WITH SCORE 15136.971
AT ITER 8093 NEW BEST:: SOT 80293 SOS 23964 HAS SOPS 23964 HAS SOUS 15106 HAS SOUPS 15106 WITH SCORE 15129.964
AT ITER 8094 NEW BEST:: SOT 80294 SOS 23959 HAS SOPS 23959 HAS SOUS 15101 HAS SOUPS 15101 WITH SCORE 15124.959
AT ITER 8100 NEW BEST:: SOT 80355 SOS 22600 HAS SOPS 22600 HAS SOUS 15094 HAS SOUPS 15094 WITH SCORE 15116.6
AT ITER 8121 NEW BEST:: SOT 80355 SOS 22605 HAS SOPS 22605 HAS SOUS 15093 HAS SOUPS 15093 WITH SCORE 15115.605
AT ITER 8148 NEW BEST:: SOT 80351 SOS 22599 HAS SOPS 22599 HAS SOUS 15089 HAS SOUPS 15089 WITH SCORE 15111.599
AT ITER 8196 NEW BEST:: SOT 80336 SOS 22593 HAS SOPS 22593 HAS SOUS 15083 HAS SOUPS 15083 WITH SCORE 15105.593
AT ITER 8289 NEW BEST:: SOT 80334 SOS 22588 HAS SOPS 22588 HAS SOUS 15078 HAS SOUPS 15078 WITH SCORE 15100.588
AT ITER 8297 NEW BEST:: SOT 80341 SOS 22571 HAS SOPS 22571 HAS SOUS 15061 HAS SOUPS 15061 WITH SCORE 15083.571
AT ITER 8301 NEW BEST:: SOT 80347 SOS 22556 HAS SOPS 22556 HAS SOUS 15039 HAS SOUPS 15039 WITH SCORE 15061.556
AT ITER 8314 NEW BEST:: SOT 80347 SOS 22492 HAS SOPS 22492 HAS SOUS 15039 HAS SOUPS 15039 WITH SCORE 15061.492
AT ITER 8328 NEW BEST:: SOT 80336 SOS 22467 HAS SOPS 22467 HAS SOUS 15028 HAS SOUPS 15028 WITH SCORE 15050.467
AT ITER 8368 NEW BEST:: SOT 80336 SOS 22465 HAS SOPS 22465 HAS SOUS 15026 HAS SOUPS 15026 WITH SCORE 15048.465
AT ITER 8400 NEW BEST:: SOT 80359 SOS 22490 HAS SOPS 22490 HAS SOUS 15005 HAS SOUPS 15005 WITH SCORE 15027.49
AT ITER 8428 NEW BEST:: SOT 80352 SOS 22474 HAS SOPS 22474 HAS SOUS 14989 HAS SOUPS 14989 WITH SCORE 15011.474
AT ITER 8437 NEW BEST:: SOT 80341 SOS 22463 HAS SOPS 22463 HAS SOUS 14965 HAS SOUPS 14965 WITH SCORE 14987.463
AT ITER 8457 NEW BEST:: SOT 80341 SOS 22415 HAS SOPS 22415 HAS SOUS 14962 HAS SOUPS 14962 WITH SCORE 14984.415
AT ITER 8458 NEW BEST:: SOT 80340 SOS 22413 HAS SOPS 22413 HAS SOUS 14960 HAS SOUPS 14960 WITH SCORE 14982.413
AT ITER 8559 NEW BEST:: SOT 80330 SOS 22393 HAS SOPS 22393 HAS SOUS 14958 HAS SOUPS 14958 WITH SCORE 14980.393
AT ITER 8585 NEW BEST:: SOT 80341 SOS 22403 HAS SOPS 22403 HAS SOUS 14951 HAS SOUPS 14951 WITH SCORE 14973.403
AT ITER 8588 NEW BEST:: SOT 80340 SOS 22400 HAS SOPS 22400 HAS SOUS 14948 HAS SOUPS 14948 WITH SCORE 14970.4
AT ITER 8591 NEW BEST:: SOT 80336 SOS 22388 HAS SOPS 22388 HAS SOUS 14940 HAS SOUPS 14940 WITH SCORE 14962.388
AT ITER 8626 NEW BEST:: SOT 80330 SOS 22358 HAS SOPS 22358 HAS SOUS 14910 HAS SOUPS 14910 WITH SCORE 14932.358
AT ITER 8632 NEW BEST:: SOT 80326 SOS 21918 HAS SOPS 21918 HAS SOUS 14841 HAS SOUPS 14841 WITH SCORE 14862.918
AT ITER 8722 NEW BEST:: SOT 80321 SOS 21908 HAS SOPS 21908 HAS SOUS 14836 HAS SOUPS 14836 WITH SCORE 14857.908
AT ITER 8749 NEW BEST:: SOT 80321 SOS 21899 HAS SOPS 21899 HAS SOUS 14827 HAS SOUPS 14827 WITH SCORE 14848.899
AT ITER 8767 NEW BEST:: SOT 80316 SOS 21894 HAS SOPS 21894 HAS SOUS 14822 HAS SOUPS 14822 WITH SCORE 14843.894
AT ITER 8783 NEW BEST:: SOT 80289 SOS 21887 HAS SOPS 21887 HAS SOUS 14815 HAS SOUPS 14815 WITH SCORE 14836.887
AT ITER 8791 NEW BEST:: SOT 80285 SOS 21883 HAS SOPS 21883 HAS SOUS 14811 HAS SOUPS 14811 WITH SCORE 14832.883
AT ITER 8815 NEW BEST:: SOT 80282 SOS 21877 HAS SOPS 21877 HAS SOUS 14805 HAS SOUPS 14805 WITH SCORE 14826.877
AT ITER 8894 NEW BEST:: SOT 80282 SOS 21858 HAS SOPS 21858 HAS SOUS 14786 HAS SOUPS 14786 WITH SCORE 14807.858
AT ITER 8905 NEW BEST:: SOT 80273 SOS 21849 HAS SOPS 21849 HAS SOUS 14777 HAS SOUPS 14777 WITH SCORE 14798.849
AT ITER 8930 NEW BEST:: SOT 80270 SOS 21846 HAS SOPS 21846 HAS SOUS 14774 HAS SOUPS 14774 WITH SCORE 14795.846
AT ITER 8937 NEW BEST:: SOT 80263 SOS 21832 HAS SOPS 21832 HAS SOUS 14760 HAS SOUPS 14760 WITH SCORE 14781.832
AT ITER 9045 NEW BEST:: SOT 80332 SOS 21694 HAS SOPS 21694 HAS SOUS 14760 HAS SOUPS 14760 WITH SCORE 14781.694
AT ITER 9081 NEW BEST:: SOT 80329 SOS 21688 HAS SOPS 21688 HAS SOUS 14754 HAS SOUPS 14754 WITH SCORE 14775.688
AT ITER 9095 NEW BEST:: SOT 80322 SOS 21654 HAS SOPS 21654 HAS SOUS 14727 HAS SOUPS 14727 WITH SCORE 14748.654
AT ITER 9106 NEW BEST:: SOT 80319 SOS 21645 HAS SOPS 21645 HAS SOUS 14721 HAS SOUPS 14721 WITH SCORE 14742.645
AT ITER 9125 NEW BEST:: SOT 80314 SOS 21635 HAS SOPS 21635 HAS SOUS 14711 HAS SOUPS 14711 WITH SCORE 14732.635
AT ITER 9204 NEW BEST:: SOT 80308 SOS 21629 HAS SOPS 21629 HAS SOUS 14705 HAS SOUPS 14705 WITH SCORE 14726.629
AT ITER 9241 NEW BEST:: SOT 80319 SOS 21640 HAS SOPS 21640 HAS SOUS 14701 HAS SOUPS 14701 WITH SCORE 14722.64
AT ITER 9263 NEW BEST:: SOT 80286 SOS 21622 HAS SOPS 21622 HAS SOUS 14683 HAS SOUPS 14683 WITH SCORE 14704.622
AT ITER 9278 NEW BEST:: SOT 80286 SOS 21618 HAS SOPS 21618 HAS SOUS 14679 HAS SOUPS 14679 WITH SCORE 14700.618
AT ITER 9284 NEW BEST:: SOT 80286 SOS 21617 HAS SOPS 21617 HAS SOUS 14678 HAS SOUPS 14678 WITH SCORE 14699.617
AT ITER 9291 NEW BEST:: SOT 80289 SOS 21567 HAS SOPS 21567 HAS SOUS 14660 HAS SOUPS 14660 WITH SCORE 14681.567
AT ITER 9300 NEW BEST:: SOT 80279 SOS 21553 HAS SOPS 21553 HAS SOUS 14646 HAS SOUPS 14646 WITH SCORE 14667.553
AT ITER 9308 NEW BEST:: SOT 80264 SOS 21523 HAS SOPS 21523 HAS SOUS 14616 HAS SOUPS 14616 WITH SCORE 14637.523
AT ITER 9429 NEW BEST:: SOT 80265 SOS 21519 HAS SOPS 21519 HAS SOUS 14612 HAS SOUPS 14612 WITH SCORE 14633.519
AT ITER 9440 NEW BEST:: SOT 80263 SOS 21517 HAS SOPS 21517 HAS SOUS 14610 HAS SOUPS 14610 WITH SCORE 14631.517
AT ITER 9450 NEW BEST:: SOT 80263 SOS 21516 HAS SOPS 21516 HAS SOUS 14609 HAS SOUPS 14609 WITH SCORE 14630.516
AT ITER 9454 NEW BEST:: SOT 80263 SOS 21508 HAS SOPS 21508 HAS SOUS 14601 HAS SOUPS 14601 WITH SCORE 14622.508
AT ITER 9456 NEW BEST:: SOT 80245 SOS 21490 HAS SOPS 21490 HAS SOUS 14601 HAS SOUPS 14601 WITH SCORE 14622.49
AT ITER 9460 NEW BEST:: SOT 80242 SOS 21484 HAS SOPS 21484 HAS SOUS 14598 HAS SOUPS 14598 WITH SCORE 14619.484
AT ITER 9529 NEW BEST:: SOT 80245 SOS 21469 HAS SOPS 21469 HAS SOUS 14583 HAS SOUPS 14583 WITH SCORE 14604.469
AT ITER 9583 NEW BEST:: SOT 80243 SOS 21467 HAS SOPS 21467 HAS SOUS 14581 HAS SOUPS 14581 WITH SCORE 14602.467
AT ITER 9590 NEW BEST:: SOT 80239 SOS 21459 HAS SOPS 21459 HAS SOUS 14573 HAS SOUPS 14573 WITH SCORE 14594.459
AT ITER 9596 NEW BEST:: SOT 80240 SOS 21439 HAS SOPS 21439 HAS SOUS 14556 HAS SOUPS 14556 WITH SCORE 14577.439
AT ITER 9606 NEW BEST:: SOT 80240 SOS 21435 HAS SOPS 21435 HAS SOUS 14552 HAS SOUPS 14552 WITH SCORE 14573.435
AT ITER 9623 NEW BEST:: SOT 80240 SOS 21418 HAS SOPS 21418 HAS SOUS 14535 HAS SOUPS 14535 WITH SCORE 14556.418
AT ITER 9633 NEW BEST:: SOT 80230 SOS 21408 HAS SOPS 21408 HAS SOUS 14525 HAS SOUPS 14525 WITH SCORE 14546.408
AT ITER 9679 NEW BEST:: SOT 80226 SOS 21404 HAS SOPS 21404 HAS SOUS 14521 HAS SOUPS 14521 WITH SCORE 14542.404
AT ITER 9688 NEW BEST:: SOT 80226 SOS 21404 HAS SOPS 21404 HAS SOUS 14515 HAS SOUPS 14515 WITH SCORE 14536.404
AT ITER 9696 NEW BEST:: SOT 80200 SOS 21361 HAS SOPS 21361 HAS SOUS 14472 HAS SOUPS 14472 WITH SCORE 14493.361
AT ITER 9753 NEW BEST:: SOT 80200 SOS 21325 HAS SOPS 21325 HAS SOUS 14436 HAS SOUPS 14436 WITH SCORE 14457.325
AT ITER 9781 NEW BEST:: SOT 80200 SOS 21318 HAS SOPS 21318 HAS SOUS 14429 HAS SOUPS 14429 WITH SCORE 14450.318
AT ITER 9786 NEW BEST:: SOT 80191 SOS 21273 HAS SOPS 21273 HAS SOUS 14411 HAS SOUPS 14411 WITH SCORE 14432.273
AT ITER 9823 NEW BEST:: SOT 80189 SOS 21270 HAS SOPS 21270 HAS SOUS 14409 HAS SOUPS 14409 WITH SCORE 14430.27
AT ITER 9837 NEW BEST:: SOT 80187 SOS 21264 HAS SOPS 21264 HAS SOUS 14403 HAS SOUPS 14403 WITH SCORE 14424.264
AT ITER 9867 NEW BEST:: SOT 80186 SOS 21240 HAS SOPS 21240 HAS SOUS 14382 HAS SOUPS 14382 WITH SCORE 14403.24
AT ITER 9922 NEW BEST:: SOT 80172 SOS 21203 HAS SOPS 21203 HAS SOUS 14345 HAS SOUPS 14345 WITH SCORE 14366.203
AT ITER 9965 NEW BEST:: SOT 80172 SOS 21191 HAS SOPS 21191 HAS SOUS 14345 HAS SOUPS 14345 WITH SCORE 14366.191

BK_TIME_CONFINEMENT_REACHED

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

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-09"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-09, 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 r018-oct2-158897680100520"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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