Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542300512.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCround-PT-06b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542300512
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 980K
-rw-r--r-- 1 mcc users 3.8K Mar 30 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 08:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 29 08:53 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:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 04:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 04:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 23:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 23:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 813K 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 1589125307942

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

Filename model.pnml
Petri model created: 2340 places, 3456 transitions, 9288 arcs.
AT ITER 0 NEW BEST:: SOT 4957483 SOS 1097180 HAS SOPS 1097180 HAS SOUS 712843 HAS SOUPS 712843 WITH SCORE 713940.18
AT ITER 11 NEW BEST:: SOT 4956954 SOS 1096668 HAS SOPS 1096668 HAS SOUS 711785 HAS SOUPS 711785 WITH SCORE 712881.668
AT ITER 19 NEW BEST:: SOT 4956918 SOS 1096701 HAS SOPS 1096701 HAS SOUS 711748 HAS SOUPS 711748 WITH SCORE 712844.701
AT ITER 23 NEW BEST:: SOT 4956450 SOS 1096244 HAS SOPS 1096244 HAS SOUS 711288 HAS SOUPS 711288 WITH SCORE 712384.244
AT ITER 36 NEW BEST:: SOT 4956372 SOS 1096241 HAS SOPS 1096241 HAS SOUS 711287 HAS SOUPS 711287 WITH SCORE 712383.241
AT ITER 38 NEW BEST:: SOT 4956363 SOS 1096223 HAS SOPS 1096223 HAS SOUS 711269 HAS SOUPS 711269 WITH SCORE 712365.223
AT ITER 87 NEW BEST:: SOT 4956257 SOS 1096011 HAS SOPS 1096011 HAS SOUS 711163 HAS SOUPS 711163 WITH SCORE 712259.011
AT ITER 101 NEW BEST:: SOT 4955757 SOS 1095511 HAS SOPS 1095511 HAS SOUS 711163 HAS SOUPS 711163 WITH SCORE 712258.511
AT ITER 127 NEW BEST:: SOT 4955718 SOS 1095433 HAS SOPS 1095433 HAS SOUS 711085 HAS SOUPS 711085 WITH SCORE 712180.433
AT ITER 136 NEW BEST:: SOT 4955818 SOS 1095633 HAS SOPS 1095633 HAS SOUS 710656 HAS SOUPS 710656 WITH SCORE 711751.633
AT ITER 163 NEW BEST:: SOT 4955172 SOS 1095009 HAS SOPS 1095009 HAS SOUS 710010 HAS SOUPS 710010 WITH SCORE 711105.009
AT ITER 180 NEW BEST:: SOT 4955081 SOS 1095436 HAS SOPS 1095436 HAS SOUS 710003 HAS SOUPS 710003 WITH SCORE 711098.436
AT ITER 193 NEW BEST:: SOT 4955016 SOS 1095306 HAS SOPS 1095306 HAS SOUS 709873 HAS SOUPS 709873 WITH SCORE 710968.306
AT ITER 204 NEW BEST:: SOT 4955000 SOS 1095290 HAS SOPS 1095290 HAS SOUS 709857 HAS SOUPS 709857 WITH SCORE 710952.29
AT ITER 211 NEW BEST:: SOT 4955000 SOS 1095218 HAS SOPS 1095218 HAS SOUS 709857 HAS SOUPS 709857 WITH SCORE 710952.218
AT ITER 243 NEW BEST:: SOT 4954999 SOS 1095069 HAS SOPS 1095069 HAS SOUS 709708 HAS SOUPS 709708 WITH SCORE 710803.069
AT ITER 256 NEW BEST:: SOT 4954999 SOS 1096047 HAS SOPS 1096047 HAS SOUS 709515 HAS SOUPS 709515 WITH SCORE 710611.047
AT ITER 280 NEW BEST:: SOT 4955521 SOS 1095637 HAS SOPS 1095637 HAS SOUS 709403 HAS SOUPS 709403 WITH SCORE 710498.637
AT ITER 287 NEW BEST:: SOT 4955229 SOS 1092717 HAS SOPS 1092717 HAS SOUS 709111 HAS SOUPS 709111 WITH SCORE 710203.717
AT ITER 304 NEW BEST:: SOT 4955180 SOS 1092970 HAS SOPS 1092970 HAS SOUS 709061 HAS SOUPS 709061 WITH SCORE 710153.97
AT ITER 316 NEW BEST:: SOT 4955180 SOS 1092805 HAS SOPS 1092805 HAS SOUS 708896 HAS SOUPS 708896 WITH SCORE 709988.805
AT ITER 317 NEW BEST:: SOT 4955170 SOS 1092785 HAS SOPS 1092785 HAS SOUS 708876 HAS SOUPS 708876 WITH SCORE 709968.785
AT ITER 318 NEW BEST:: SOT 4953466 SOS 1097606 HAS SOPS 1097606 HAS SOUS 708127 HAS SOUPS 708127 WITH SCORE 709224.606
AT ITER 323 NEW BEST:: SOT 4953466 SOS 1097605 HAS SOPS 1097605 HAS SOUS 708126 HAS SOUPS 708126 WITH SCORE 709223.605
AT ITER 326 NEW BEST:: SOT 4953394 SOS 1097533 HAS SOPS 1097533 HAS SOUS 708054 HAS SOUPS 708054 WITH SCORE 709151.533
AT ITER 336 NEW BEST:: SOT 4953394 SOS 1097498 HAS SOPS 1097498 HAS SOUS 708019 HAS SOUPS 708019 WITH SCORE 709116.498
AT ITER 344 NEW BEST:: SOT 4952089 SOS 1097684 HAS SOPS 1097684 HAS SOUS 707431 HAS SOUPS 707431 WITH SCORE 708528.684
AT ITER 415 NEW BEST:: SOT 4952389 SOS 1097983 HAS SOPS 1097983 HAS SOUS 707430 HAS SOUPS 707430 WITH SCORE 708527.983
AT ITER 439 NEW BEST:: SOT 4951639 SOS 1097233 HAS SOPS 1097233 HAS SOUS 706680 HAS SOUPS 706680 WITH SCORE 707777.233
AT ITER 468 NEW BEST:: SOT 4951117 SOS 1097549 HAS SOPS 1097549 HAS SOUS 706250 HAS SOUPS 706250 WITH SCORE 707347.549
AT ITER 484 NEW BEST:: SOT 4950725 SOS 1097135 HAS SOPS 1097135 HAS SOUS 705857 HAS SOUPS 705857 WITH SCORE 706954.135
AT ITER 508 NEW BEST:: SOT 4950455 SOS 1097120 HAS SOPS 1097120 HAS SOUS 705841 HAS SOUPS 705841 WITH SCORE 706938.12
AT ITER 573 NEW BEST:: SOT 4950261 SOS 1097311 HAS SOPS 1097311 HAS SOUS 705646 HAS SOUPS 705646 WITH SCORE 706743.311
AT ITER 574 NEW BEST:: SOT 4950261 SOS 1097187 HAS SOPS 1097187 HAS SOUS 705584 HAS SOUPS 705584 WITH SCORE 706681.187
AT ITER 594 NEW BEST:: SOT 4949917 SOS 1096806 HAS SOPS 1096806 HAS SOUS 705376 HAS SOUPS 705376 WITH SCORE 706472.806
AT ITER 639 NEW BEST:: SOT 4949167 SOS 1096056 HAS SOPS 1096056 HAS SOUS 704626 HAS SOUPS 704626 WITH SCORE 705722.056
AT ITER 641 NEW BEST:: SOT 4946972 SOS 1094591 HAS SOPS 1094591 HAS SOUS 703557 HAS SOUPS 703557 WITH SCORE 704651.591
AT ITER 647 NEW BEST:: SOT 4946468 SOS 1094077 HAS SOPS 1094077 HAS SOUS 703052 HAS SOUPS 703052 WITH SCORE 704146.077
AT ITER 650 NEW BEST:: SOT 4946109 SOS 1093718 HAS SOPS 1093718 HAS SOUS 702693 HAS SOUPS 702693 WITH SCORE 703786.718
AT ITER 683 NEW BEST:: SOT 4946108 SOS 1093716 HAS SOPS 1093716 HAS SOUS 702691 HAS SOUPS 702691 WITH SCORE 703784.716
AT ITER 687 NEW BEST:: SOT 4946021 SOS 1091389 HAS SOPS 1091389 HAS SOUS 702048 HAS SOUPS 702048 WITH SCORE 703139.389
AT ITER 692 NEW BEST:: SOT 4946021 SOS 1091525 HAS SOPS 1091525 HAS SOUS 702047 HAS SOUPS 702047 WITH SCORE 703138.525
AT ITER 705 NEW BEST:: SOT 4946120 SOS 1091523 HAS SOPS 1091523 HAS SOUS 702046 HAS SOUPS 702046 WITH SCORE 703137.523
AT ITER 708 NEW BEST:: SOT 4946324 SOS 1091852 HAS SOPS 1091852 HAS SOUS 701965 HAS SOUPS 701965 WITH SCORE 703056.852
AT ITER 714 NEW BEST:: SOT 4945357 SOS 1090908 HAS SOPS 1090908 HAS SOUS 700513 HAS SOUPS 700513 WITH SCORE 701603.908
AT ITER 717 NEW BEST:: SOT 4944860 SOS 1091321 HAS SOPS 1091321 HAS SOUS 700485 HAS SOUPS 700485 WITH SCORE 701576.321
AT ITER 781 NEW BEST:: SOT 4944741 SOS 1091278 HAS SOPS 1091278 HAS SOUS 700431 HAS SOUPS 700431 WITH SCORE 701522.278
AT ITER 787 NEW BEST:: SOT 4944261 SOS 1090798 HAS SOPS 1090798 HAS SOUS 699951 HAS SOUPS 699951 WITH SCORE 701041.798
AT ITER 803 NEW BEST:: SOT 4944260 SOS 1090796 HAS SOPS 1090796 HAS SOUS 699949 HAS SOUPS 699949 WITH SCORE 701039.796
AT ITER 819 NEW BEST:: SOT 4944249 SOS 1090774 HAS SOPS 1090774 HAS SOUS 699817 HAS SOUPS 699817 WITH SCORE 700907.774
AT ITER 823 NEW BEST:: SOT 4943916 SOS 1090441 HAS SOPS 1090441 HAS SOUS 699484 HAS SOUPS 699484 WITH SCORE 700574.441
AT ITER 831 NEW BEST:: SOT 4943562 SOS 1090083 HAS SOPS 1090083 HAS SOUS 699129 HAS SOUPS 699129 WITH SCORE 700219.083
AT ITER 838 NEW BEST:: SOT 4943496 SOS 1090017 HAS SOPS 1090017 HAS SOUS 699063 HAS SOUPS 699063 WITH SCORE 700153.017
AT ITER 844 NEW BEST:: SOT 4942673 SOS 1089531 HAS SOPS 1089531 HAS SOUS 698284 HAS SOUPS 698284 WITH SCORE 699373.531
AT ITER 861 NEW BEST:: SOT 4942424 SOS 1089033 HAS SOPS 1089033 HAS SOUS 697786 HAS SOUPS 697786 WITH SCORE 698875.033
AT ITER 863 NEW BEST:: SOT 4942424 SOS 1089033 HAS SOPS 1089033 HAS SOUS 697644 HAS SOUPS 697644 WITH SCORE 698733.033
AT ITER 874 NEW BEST:: SOT 4942164 SOS 1089299 HAS SOPS 1089299 HAS SOUS 697467 HAS SOUPS 697467 WITH SCORE 698556.299
AT ITER 882 NEW BEST:: SOT 4942108 SOS 1089401 HAS SOPS 1089401 HAS SOUS 697466 HAS SOUPS 697466 WITH SCORE 698555.401
AT ITER 887 NEW BEST:: SOT 4942108 SOS 1089925 HAS SOPS 1089925 HAS SOUS 697465 HAS SOUPS 697465 WITH SCORE 698554.925
AT ITER 894 NEW BEST:: SOT 4941981 SOS 1089671 HAS SOPS 1089671 HAS SOUS 697211 HAS SOUPS 697211 WITH SCORE 698300.671
AT ITER 904 NEW BEST:: SOT 4941981 SOS 1089671 HAS SOPS 1089671 HAS SOUS 697208 HAS SOUPS 697208 WITH SCORE 698297.671
AT ITER 934 NEW BEST:: SOT 4941897 SOS 1089629 HAS SOPS 1089629 HAS SOUS 697166 HAS SOUPS 697166 WITH SCORE 698255.629
AT ITER 950 NEW BEST:: SOT 4941703 SOS 1089435 HAS SOPS 1089435 HAS SOUS 696972 HAS SOUPS 696972 WITH SCORE 698061.435
AT ITER 957 NEW BEST:: SOT 4941607 SOS 1089243 HAS SOPS 1089243 HAS SOUS 696780 HAS SOUPS 696780 WITH SCORE 697869.243
AT ITER 990 NEW BEST:: SOT 4941052 SOS 1088697 HAS SOPS 1088697 HAS SOUS 696229 HAS SOUPS 696229 WITH SCORE 697317.697
AT ITER 1027 NEW BEST:: SOT 4940953 SOS 1088649 HAS SOPS 1088649 HAS SOUS 696087 HAS SOUPS 696087 WITH SCORE 697175.649
AT ITER 1058 NEW BEST:: SOT 4940858 SOS 1088459 HAS SOPS 1088459 HAS SOUS 695991 HAS SOUPS 695991 WITH SCORE 697079.459
AT ITER 1076 NEW BEST:: SOT 4940795 SOS 1088396 HAS SOPS 1088396 HAS SOUS 695928 HAS SOUPS 695928 WITH SCORE 697016.396
AT ITER 1090 NEW BEST:: SOT 4940756 SOS 1088357 HAS SOPS 1088357 HAS SOUS 695889 HAS SOUPS 695889 WITH SCORE 696977.357
AT ITER 1101 NEW BEST:: SOT 4940140 SOS 1088607 HAS SOPS 1088607 HAS SOUS 695766 HAS SOUPS 695766 WITH SCORE 696854.607
AT ITER 1106 NEW BEST:: SOT 4938872 SOS 1087711 HAS SOPS 1087711 HAS SOUS 694580 HAS SOUPS 694580 WITH SCORE 695667.711
AT ITER 1124 NEW BEST:: SOT 4938846 SOS 1087686 HAS SOPS 1087686 HAS SOUS 694555 HAS SOUPS 694555 WITH SCORE 695642.686
AT ITER 1149 NEW BEST:: SOT 4939006 SOS 1088006 HAS SOPS 1088006 HAS SOUS 694540 HAS SOUPS 694540 WITH SCORE 695628.006
AT ITER 1158 NEW BEST:: SOT 4938981 SOS 1087956 HAS SOPS 1087956 HAS SOUS 694490 HAS SOUPS 694490 WITH SCORE 695577.956
AT ITER 1184 NEW BEST:: SOT 4938833 SOS 1087740 HAS SOPS 1087740 HAS SOUS 694274 HAS SOUPS 694274 WITH SCORE 695361.74
AT ITER 1212 NEW BEST:: SOT 4938712 SOS 1087498 HAS SOPS 1087498 HAS SOUS 694153 HAS SOUPS 694153 WITH SCORE 695240.498
AT ITER 1233 NEW BEST:: SOT 4938711 SOS 1087496 HAS SOPS 1087496 HAS SOUS 694151 HAS SOUPS 694151 WITH SCORE 695238.496
AT ITER 1247 NEW BEST:: SOT 4938543 SOS 1087160 HAS SOPS 1087160 HAS SOUS 693815 HAS SOUPS 693815 WITH SCORE 694902.16
AT ITER 1258 NEW BEST:: SOT 4938771 SOS 1087616 HAS SOPS 1087616 HAS SOUS 693640 HAS SOUPS 693640 WITH SCORE 694727.616
AT ITER 1278 NEW BEST:: SOT 4938542 SOS 1087454 HAS SOPS 1087454 HAS SOUS 693465 HAS SOUPS 693465 WITH SCORE 694552.454
AT ITER 1309 NEW BEST:: SOT 4937642 SOS 1086562 HAS SOPS 1086562 HAS SOUS 692111 HAS SOUPS 692111 WITH SCORE 693197.562
AT ITER 1318 NEW BEST:: SOT 4937510 SOS 1086571 HAS SOPS 1086571 HAS SOUS 692081 HAS SOUPS 692081 WITH SCORE 693167.571
AT ITER 1322 NEW BEST:: SOT 4937510 SOS 1086361 HAS SOPS 1086361 HAS SOUS 692081 HAS SOUPS 692081 WITH SCORE 693167.361
AT ITER 1335 NEW BEST:: SOT 4937244 SOS 1086360 HAS SOPS 1086360 HAS SOUS 692080 HAS SOUPS 692080 WITH SCORE 693166.36
AT ITER 1367 NEW BEST:: SOT 4937244 SOS 1085730 HAS SOPS 1085730 HAS SOUS 691870 HAS SOUPS 691870 WITH SCORE 692955.73
AT ITER 1373 NEW BEST:: SOT 4937775 SOS 1086510 HAS SOPS 1086510 HAS SOUS 691594 HAS SOUPS 691594 WITH SCORE 692680.51
AT ITER 1391 NEW BEST:: SOT 4937554 SOS 1086733 HAS SOPS 1086733 HAS SOUS 691151 HAS SOUPS 691151 WITH SCORE 692237.733
AT ITER 1404 NEW BEST:: SOT 4937201 SOS 1081953 HAS SOPS 1081953 HAS SOUS 690933 HAS SOUPS 690933 WITH SCORE 692014.953
AT ITER 1412 NEW BEST:: SOT 4937098 SOS 1081747 HAS SOPS 1081747 HAS SOUS 690829 HAS SOUPS 690829 WITH SCORE 691910.747
AT ITER 1421 NEW BEST:: SOT 4937250 SOS 1081746 HAS SOPS 1081746 HAS SOUS 690726 HAS SOUPS 690726 WITH SCORE 691807.746
AT ITER 1430 NEW BEST:: SOT 4937250 SOS 1081746 HAS SOPS 1081746 HAS SOUS 690119 HAS SOUPS 690119 WITH SCORE 691200.746
AT ITER 1432 NEW BEST:: SOT 4937250 SOS 1081746 HAS SOPS 1081746 HAS SOUS 689960 HAS SOUPS 689960 WITH SCORE 691041.746
AT ITER 1456 NEW BEST:: SOT 4936699 SOS 1081204 HAS SOPS 1081204 HAS SOUS 689413 HAS SOUPS 689413 WITH SCORE 690494.204
AT ITER 1467 NEW BEST:: SOT 4936660 SOS 1081126 HAS SOPS 1081126 HAS SOUS 689335 HAS SOUPS 689335 WITH SCORE 690416.126
AT ITER 1474 NEW BEST:: SOT 4936522 SOS 1084242 HAS SOPS 1084242 HAS SOUS 689058 HAS SOUPS 689058 WITH SCORE 690142.242
AT ITER 1492 NEW BEST:: SOT 4936490 SOS 1084178 HAS SOPS 1084178 HAS SOUS 688994 HAS SOUPS 688994 WITH SCORE 690078.178
AT ITER 1500 NEW BEST:: SOT 4936135 SOS 1083863 HAS SOPS 1083863 HAS SOUS 688679 HAS SOUPS 688679 WITH SCORE 689762.863
AT ITER 1517 NEW BEST:: SOT 4935966 SOS 1083801 HAS SOPS 1083801 HAS SOUS 688537 HAS SOUPS 688537 WITH SCORE 689620.801
AT ITER 1518 NEW BEST:: SOT 4935966 SOS 1082808 HAS SOPS 1082808 HAS SOUS 688537 HAS SOUPS 688537 WITH SCORE 689619.808
AT ITER 1525 NEW BEST:: SOT 4935932 SOS 1082170 HAS SOPS 1082170 HAS SOUS 688502 HAS SOUPS 688502 WITH SCORE 689584.17
AT ITER 1529 NEW BEST:: SOT 4935931 SOS 1083697 HAS SOPS 1083697 HAS SOUS 688499 HAS SOUPS 688499 WITH SCORE 689582.697
AT ITER 1539 NEW BEST:: SOT 4935931 SOS 1084107 HAS SOPS 1084107 HAS SOUS 688498 HAS SOUPS 688498 WITH SCORE 689582.107
AT ITER 1570 NEW BEST:: SOT 4935916 SOS 1084077 HAS SOPS 1084077 HAS SOUS 688468 HAS SOUPS 688468 WITH SCORE 689552.077
AT ITER 1575 NEW BEST:: SOT 4935726 SOS 1083862 HAS SOPS 1083862 HAS SOUS 688253 HAS SOUPS 688253 WITH SCORE 689336.862
AT ITER 1595 NEW BEST:: SOT 4935566 SOS 1083542 HAS SOPS 1083542 HAS SOUS 687933 HAS SOUPS 687933 WITH SCORE 689016.542
AT ITER 1614 NEW BEST:: SOT 4935518 SOS 1083634 HAS SOPS 1083634 HAS SOUS 687884 HAS SOUPS 687884 WITH SCORE 688967.634
AT ITER 1619 NEW BEST:: SOT 4935518 SOS 1082660 HAS SOPS 1082660 HAS SOUS 687837 HAS SOUPS 687837 WITH SCORE 688919.66
AT ITER 1645 NEW BEST:: SOT 4935518 SOS 1082506 HAS SOPS 1082506 HAS SOUS 687837 HAS SOUPS 687837 WITH SCORE 688919.506
AT ITER 1651 NEW BEST:: SOT 4935446 SOS 1082605 HAS SOPS 1082605 HAS SOUS 687765 HAS SOUPS 687765 WITH SCORE 688847.605
AT ITER 1691 NEW BEST:: SOT 4935613 SOS 1084099 HAS SOPS 1084099 HAS SOUS 687710 HAS SOUPS 687710 WITH SCORE 688794.099
AT ITER 1693 NEW BEST:: SOT 4935403 SOS 1083963 HAS SOPS 1083963 HAS SOUS 687500 HAS SOUPS 687500 WITH SCORE 688583.963
AT ITER 1741 NEW BEST:: SOT 4935133 SOS 1083693 HAS SOPS 1083693 HAS SOUS 687230 HAS SOUPS 687230 WITH SCORE 688313.693
AT ITER 1757 NEW BEST:: SOT 4934909 SOS 1083623 HAS SOPS 1083623 HAS SOUS 687104 HAS SOUPS 687104 WITH SCORE 688187.623
AT ITER 1853 NEW BEST:: SOT 4934119 SOS 1082576 HAS SOPS 1082576 HAS SOUS 685781 HAS SOUPS 685781 WITH SCORE 686863.576
AT ITER 1857 NEW BEST:: SOT 4934119 SOS 1082470 HAS SOPS 1082470 HAS SOUS 685728 HAS SOUPS 685728 WITH SCORE 686810.47
AT ITER 1877 NEW BEST:: SOT 4934010 SOS 1082573 HAS SOPS 1082573 HAS SOUS 685726 HAS SOUPS 685726 WITH SCORE 686808.573
AT ITER 1893 NEW BEST:: SOT 4934009 SOS 1082571 HAS SOPS 1082571 HAS SOUS 685724 HAS SOUPS 685724 WITH SCORE 686806.571
AT ITER 1907 NEW BEST:: SOT 4933734 SOS 1082021 HAS SOPS 1082021 HAS SOUS 685449 HAS SOUPS 685449 WITH SCORE 686531.021
AT ITER 1936 NEW BEST:: SOT 4933733 SOS 1082019 HAS SOPS 1082019 HAS SOUS 685447 HAS SOUPS 685447 WITH SCORE 686529.019
AT ITER 1944 NEW BEST:: SOT 4933345 SOS 1081627 HAS SOPS 1081627 HAS SOUS 685058 HAS SOUPS 685058 WITH SCORE 686139.627
AT ITER 1951 NEW BEST:: SOT 4933342 SOS 1081621 HAS SOPS 1081621 HAS SOUS 685052 HAS SOUPS 685052 WITH SCORE 686133.621
AT ITER 1965 NEW BEST:: SOT 4933264 SOS 1081465 HAS SOPS 1081465 HAS SOUS 685038 HAS SOUPS 685038 WITH SCORE 686119.465
AT ITER 2036 NEW BEST:: SOT 4932809 SOS 1081590 HAS SOPS 1081590 HAS SOUS 684583 HAS SOUPS 684583 WITH SCORE 685664.59
AT ITER 2059 NEW BEST:: SOT 4932663 SOS 1081298 HAS SOPS 1081298 HAS SOUS 684291 HAS SOUPS 684291 WITH SCORE 685372.298
AT ITER 2099 NEW BEST:: SOT 4932304 SOS 1080520 HAS SOPS 1080520 HAS SOUS 683821 HAS SOUPS 683821 WITH SCORE 684901.52
AT ITER 2112 NEW BEST:: SOT 4932333 SOS 1082404 HAS SOPS 1082404 HAS SOUS 683674 HAS SOUPS 683674 WITH SCORE 684756.404
AT ITER 2156 NEW BEST:: SOT 4932159 SOS 1082056 HAS SOPS 1082056 HAS SOUS 683326 HAS SOUPS 683326 WITH SCORE 684408.056
AT ITER 2183 NEW BEST:: SOT 4931945 SOS 1081628 HAS SOPS 1081628 HAS SOUS 682898 HAS SOUPS 682898 WITH SCORE 683979.628
AT ITER 2189 NEW BEST:: SOT 4931558 SOS 1081241 HAS SOPS 1081241 HAS SOUS 682511 HAS SOUPS 682511 WITH SCORE 683592.241
AT ITER 2193 NEW BEST:: SOT 4931095 SOS 1080769 HAS SOPS 1080769 HAS SOUS 682046 HAS SOUPS 682046 WITH SCORE 683126.769
AT ITER 2211 NEW BEST:: SOT 4930999 SOS 1080577 HAS SOPS 1080577 HAS SOUS 681854 HAS SOUPS 681854 WITH SCORE 682934.577
AT ITER 2247 NEW BEST:: SOT 4931005 SOS 1080589 HAS SOPS 1080589 HAS SOUS 681757 HAS SOUPS 681757 WITH SCORE 682837.589
AT ITER 2254 NEW BEST:: SOT 4930977 SOS 1080533 HAS SOPS 1080533 HAS SOUS 681701 HAS SOUPS 681701 WITH SCORE 682781.533
AT ITER 2260 NEW BEST:: SOT 4930781 SOS 1080354 HAS SOPS 1080354 HAS SOUS 681505 HAS SOUPS 681505 WITH SCORE 682585.354
AT ITER 2276 NEW BEST:: SOT 4930605 SOS 1080485 HAS SOPS 1080485 HAS SOUS 680846 HAS SOUPS 680846 WITH SCORE 681926.485
AT ITER 2277 NEW BEST:: SOT 4930503 SOS 1080383 HAS SOPS 1080383 HAS SOUS 680744 HAS SOUPS 680744 WITH SCORE 681824.383
AT ITER 2283 NEW BEST:: SOT 4930503 SOS 1079732 HAS SOPS 1079732 HAS SOUS 680744 HAS SOUPS 680744 WITH SCORE 681823.732
AT ITER 2322 NEW BEST:: SOT 4930503 SOS 1079732 HAS SOPS 1079732 HAS SOUS 680735 HAS SOUPS 680735 WITH SCORE 681814.732
AT ITER 2329 NEW BEST:: SOT 4930503 SOS 1078844 HAS SOPS 1078844 HAS SOUS 680451 HAS SOUPS 680451 WITH SCORE 681529.844
AT ITER 2351 NEW BEST:: SOT 4930139 SOS 1077024 HAS SOPS 1077024 HAS SOUS 679723 HAS SOUPS 679723 WITH SCORE 680800.024
AT ITER 2352 NEW BEST:: SOT 4929764 SOS 1077016 HAS SOPS 1077016 HAS SOUS 679715 HAS SOUPS 679715 WITH SCORE 680792.016
AT ITER 2390 NEW BEST:: SOT 4929203 SOS 1076924 HAS SOPS 1076924 HAS SOUS 679316 HAS SOUPS 679316 WITH SCORE 680392.924
AT ITER 2394 NEW BEST:: SOT 4929203 SOS 1076924 HAS SOPS 1076924 HAS SOUS 679185 HAS SOUPS 679185 WITH SCORE 680261.924
AT ITER 2404 NEW BEST:: SOT 4928745 SOS 1076613 HAS SOPS 1076613 HAS SOUS 678801 HAS SOUPS 678801 WITH SCORE 679877.613
AT ITER 2416 NEW BEST:: SOT 4928745 SOS 1076701 HAS SOPS 1076701 HAS SOUS 678799 HAS SOUPS 678799 WITH SCORE 679875.701
AT ITER 2436 NEW BEST:: SOT 4928713 SOS 1076637 HAS SOPS 1076637 HAS SOUS 678735 HAS SOUPS 678735 WITH SCORE 679811.637
AT ITER 2445 NEW BEST:: SOT 4928515 SOS 1076241 HAS SOPS 1076241 HAS SOUS 678537 HAS SOUPS 678537 WITH SCORE 679613.241
AT ITER 2453 NEW BEST:: SOT 4928456 SOS 1076238 HAS SOPS 1076238 HAS SOUS 678477 HAS SOUPS 678477 WITH SCORE 679553.238
AT ITER 2458 NEW BEST:: SOT 4928453 SOS 1076232 HAS SOPS 1076232 HAS SOUS 678474 HAS SOUPS 678474 WITH SCORE 679550.232
AT ITER 2462 NEW BEST:: SOT 4928393 SOS 1076478 HAS SOPS 1076478 HAS SOUS 678413 HAS SOUPS 678413 WITH SCORE 679489.478
AT ITER 2473 NEW BEST:: SOT 4928393 SOS 1076304 HAS SOPS 1076304 HAS SOUS 678239 HAS SOUPS 678239 WITH SCORE 679315.304
AT ITER 2474 NEW BEST:: SOT 4928359 SOS 1076566 HAS SOPS 1076566 HAS SOUS 678238 HAS SOUPS 678238 WITH SCORE 679314.566
AT ITER 2484 NEW BEST:: SOT 4928353 SOS 1076263 HAS SOPS 1076263 HAS SOUS 678135 HAS SOUPS 678135 WITH SCORE 679211.263
AT ITER 2493 NEW BEST:: SOT 4927852 SOS 1075960 HAS SOPS 1075960 HAS SOUS 677709 HAS SOUPS 677709 WITH SCORE 678784.96
AT ITER 2530 NEW BEST:: SOT 4927371 SOS 1075604 HAS SOPS 1075604 HAS SOUS 677228 HAS SOUPS 677228 WITH SCORE 678303.604
AT ITER 2532 NEW BEST:: SOT 4927167 SOS 1075458 HAS SOPS 1075458 HAS SOUS 677091 HAS SOUPS 677091 WITH SCORE 678166.458
AT ITER 2546 NEW BEST:: SOT 4926604 SOS 1075199 HAS SOPS 1075199 HAS SOUS 676817 HAS SOUPS 676817 WITH SCORE 677892.199
AT ITER 2552 NEW BEST:: SOT 4926604 SOS 1075199 HAS SOPS 1075199 HAS SOUS 676816 HAS SOUPS 676816 WITH SCORE 677891.199
AT ITER 2557 NEW BEST:: SOT 4926604 SOS 1075198 HAS SOPS 1075198 HAS SOUS 676811 HAS SOUPS 676811 WITH SCORE 677886.198
AT ITER 2561 NEW BEST:: SOT 4926514 SOS 1075108 HAS SOPS 1075108 HAS SOUS 676789 HAS SOUPS 676789 WITH SCORE 677864.108
AT ITER 2590 NEW BEST:: SOT 4926171 SOS 1074764 HAS SOPS 1074764 HAS SOUS 676445 HAS SOUPS 676445 WITH SCORE 677519.764
AT ITER 2600 NEW BEST:: SOT 4925892 SOS 1074206 HAS SOPS 1074206 HAS SOUS 675887 HAS SOUPS 675887 WITH SCORE 676961.206
AT ITER 2603 NEW BEST:: SOT 4925892 SOS 1075628 HAS SOPS 1075628 HAS SOUS 675795 HAS SOUPS 675795 WITH SCORE 676870.628
AT ITER 2615 NEW BEST:: SOT 4925711 SOS 1075624 HAS SOPS 1075624 HAS SOUS 675794 HAS SOUPS 675794 WITH SCORE 676869.624
AT ITER 2637 NEW BEST:: SOT 4925838 SOS 1075878 HAS SOPS 1075878 HAS SOUS 675383 HAS SOUPS 675383 WITH SCORE 676458.878
AT ITER 2674 NEW BEST:: SOT 4926030 SOS 1073850 HAS SOPS 1073850 HAS SOUS 674976 HAS SOUPS 674976 WITH SCORE 676049.85
AT ITER 2685 NEW BEST:: SOT 4926030 SOS 1074506 HAS SOPS 1074506 HAS SOUS 674975 HAS SOUPS 674975 WITH SCORE 676049.506
AT ITER 2736 NEW BEST:: SOT 4925720 SOS 1072956 HAS SOPS 1072956 HAS SOUS 674355 HAS SOUPS 674355 WITH SCORE 675427.956
AT ITER 2757 NEW BEST:: SOT 4925905 SOS 1073326 HAS SOPS 1073326 HAS SOUS 674281 HAS SOUPS 674281 WITH SCORE 675354.326
AT ITER 2781 NEW BEST:: SOT 4925756 SOS 1073177 HAS SOPS 1073177 HAS SOUS 674132 HAS SOUPS 674132 WITH SCORE 675205.177
AT ITER 2785 NEW BEST:: SOT 4925072 SOS 1072493 HAS SOPS 1072493 HAS SOUS 673448 HAS SOUPS 673448 WITH SCORE 674520.493
AT ITER 2814 NEW BEST:: SOT 4925034 SOS 1072417 HAS SOPS 1072417 HAS SOUS 673372 HAS SOUPS 673372 WITH SCORE 674444.417
AT ITER 2848 NEW BEST:: SOT 4924896 SOS 1072279 HAS SOPS 1072279 HAS SOUS 673234 HAS SOUPS 673234 WITH SCORE 674306.279
AT ITER 2857 NEW BEST:: SOT 4924673 SOS 1071833 HAS SOPS 1071833 HAS SOUS 672788 HAS SOUPS 672788 WITH SCORE 673859.833
AT ITER 2885 NEW BEST:: SOT 4924286 SOS 1071787 HAS SOPS 1071787 HAS SOUS 672551 HAS SOUPS 672551 WITH SCORE 673622.787
AT ITER 2904 NEW BEST:: SOT 4924254 SOS 1072037 HAS SOPS 1072037 HAS SOUS 672486 HAS SOUPS 672486 WITH SCORE 673558.037
AT ITER 2914 NEW BEST:: SOT 4924215 SOS 1071959 HAS SOPS 1071959 HAS SOUS 672408 HAS SOUPS 672408 WITH SCORE 673479.959
AT ITER 2930 NEW BEST:: SOT 4924215 SOS 1071944 HAS SOPS 1071944 HAS SOUS 672408 HAS SOUPS 672408 WITH SCORE 673479.944
AT ITER 2940 NEW BEST:: SOT 4923958 SOS 1071365 HAS SOPS 1071365 HAS SOUS 672215 HAS SOUPS 672215 WITH SCORE 673286.365
AT ITER 2952 NEW BEST:: SOT 4923813 SOS 1071240 HAS SOPS 1071240 HAS SOUS 672090 HAS SOUPS 672090 WITH SCORE 673161.24
AT ITER 2962 NEW BEST:: SOT 4923480 SOS 1070834 HAS SOPS 1070834 HAS SOUS 671684 HAS SOUPS 671684 WITH SCORE 672754.834
AT ITER 2972 NEW BEST:: SOT 4923308 SOS 1070662 HAS SOPS 1070662 HAS SOUS 671512 HAS SOUPS 671512 WITH SCORE 672582.662
AT ITER 2976 NEW BEST:: SOT 4923227 SOS 1070257 HAS SOPS 1070257 HAS SOUS 671350 HAS SOUPS 671350 WITH SCORE 672420.257
AT ITER 2987 NEW BEST:: SOT 4923167 SOS 1070177 HAS SOPS 1070177 HAS SOUS 671270 HAS SOUPS 671270 WITH SCORE 672340.177
AT ITER 2992 NEW BEST:: SOT 4923235 SOS 1070313 HAS SOPS 1070313 HAS SOUS 670894 HAS SOUPS 670894 WITH SCORE 671964.313
AT ITER 3001 NEW BEST:: SOT 4923097 SOS 1068795 HAS SOPS 1068795 HAS SOUS 670756 HAS SOUPS 670756 WITH SCORE 671824.795
AT ITER 3005 NEW BEST:: SOT 4922969 SOS 1068667 HAS SOPS 1068667 HAS SOUS 670500 HAS SOUPS 670500 WITH SCORE 671568.667
AT ITER 3052 NEW BEST:: SOT 4922832 SOS 1068393 HAS SOPS 1068393 HAS SOUS 669953 HAS SOUPS 669953 WITH SCORE 671021.393
AT ITER 3114 NEW BEST:: SOT 4922832 SOS 1067652 HAS SOPS 1067652 HAS SOUS 669706 HAS SOUPS 669706 WITH SCORE 670773.652
AT ITER 3118 NEW BEST:: SOT 4922801 SOS 1067621 HAS SOPS 1067621 HAS SOUS 669644 HAS SOUPS 669644 WITH SCORE 670711.621
AT ITER 3120 NEW BEST:: SOT 4922629 SOS 1067449 HAS SOPS 1067449 HAS SOUS 669472 HAS SOUPS 669472 WITH SCORE 670539.449
AT ITER 3139 NEW BEST:: SOT 4922578 SOS 1067092 HAS SOPS 1067092 HAS SOUS 669225 HAS SOUPS 669225 WITH SCORE 670292.092
AT ITER 3141 NEW BEST:: SOT 4922676 SOS 1066994 HAS SOPS 1066994 HAS SOUS 669225 HAS SOUPS 669225 WITH SCORE 670291.994
AT ITER 3142 NEW BEST:: SOT 4922523 SOS 1066841 HAS SOPS 1066841 HAS SOUS 669072 HAS SOUPS 669072 WITH SCORE 670138.841
AT ITER 3149 NEW BEST:: SOT 4922462 SOS 1066719 HAS SOPS 1066719 HAS SOUS 668950 HAS SOUPS 668950 WITH SCORE 670016.719
AT ITER 3184 NEW BEST:: SOT 4922438 SOS 1066695 HAS SOPS 1066695 HAS SOUS 668926 HAS SOUPS 668926 WITH SCORE 669992.695
AT ITER 3187 NEW BEST:: SOT 4922089 SOS 1067039 HAS SOPS 1067039 HAS SOUS 668216 HAS SOUPS 668216 WITH SCORE 669283.039
AT ITER 3225 NEW BEST:: SOT 4922034 SOS 1066930 HAS SOPS 1066930 HAS SOUS 668107 HAS SOUPS 668107 WITH SCORE 669173.93
AT ITER 3265 NEW BEST:: SOT 4921749 SOS 1066864 HAS SOPS 1066864 HAS SOUS 667747 HAS SOUPS 667747 WITH SCORE 668813.864
AT ITER 3273 NEW BEST:: SOT 4921539 SOS 1066444 HAS SOPS 1066444 HAS SOUS 667327 HAS SOUPS 667327 WITH SCORE 668393.444
AT ITER 3302 NEW BEST:: SOT 4921509 SOS 1066324 HAS SOPS 1066324 HAS SOUS 667267 HAS SOUPS 667267 WITH SCORE 668333.324
AT ITER 3307 NEW BEST:: SOT 4921498 SOS 1066302 HAS SOPS 1066302 HAS SOUS 667256 HAS SOUPS 667256 WITH SCORE 668322.302
AT ITER 3315 NEW BEST:: SOT 4921613 SOS 1066053 HAS SOPS 1066053 HAS SOUS 667007 HAS SOUPS 667007 WITH SCORE 668073.053
AT ITER 3346 NEW BEST:: SOT 4921492 SOS 1065811 HAS SOPS 1065811 HAS SOUS 666765 HAS SOUPS 666765 WITH SCORE 667830.811
AT ITER 3357 NEW BEST:: SOT 4921492 SOS 1065811 HAS SOPS 1065811 HAS SOUS 666689 HAS SOUPS 666689 WITH SCORE 667754.811
AT ITER 3359 NEW BEST:: SOT 4921481 SOS 1065800 HAS SOPS 1065800 HAS SOUS 666678 HAS SOUPS 666678 WITH SCORE 667743.8
AT ITER 3367 NEW BEST:: SOT 4921481 SOS 1065659 HAS SOPS 1065659 HAS SOUS 666537 HAS SOUPS 666537 WITH SCORE 667602.659
AT ITER 3377 NEW BEST:: SOT 4921481 SOS 1065635 HAS SOPS 1065635 HAS SOUS 666525 HAS SOUPS 666525 WITH SCORE 667590.635
AT ITER 3454 NEW BEST:: SOT 4921481 SOS 1065373 HAS SOPS 1065373 HAS SOUS 666263 HAS SOUPS 666263 WITH SCORE 667328.373
AT ITER 3484 NEW BEST:: SOT 4921032 SOS 1065237 HAS SOPS 1065237 HAS SOUS 666127 HAS SOUPS 666127 WITH SCORE 667192.237
AT ITER 3503 NEW BEST:: SOT 4920224 SOS 1064047 HAS SOPS 1064047 HAS SOUS 664893 HAS SOUPS 664893 WITH SCORE 665957.047
AT ITER 3505 NEW BEST:: SOT 4920192 SOS 1064293 HAS SOPS 1064293 HAS SOUS 664860 HAS SOUPS 664860 WITH SCORE 665924.293
AT ITER 3516 NEW BEST:: SOT 4919991 SOS 1064584 HAS SOPS 1064584 HAS SOUS 664601 HAS SOUPS 664601 WITH SCORE 665665.584
AT ITER 3558 NEW BEST:: SOT 4919991 SOS 1064564 HAS SOPS 1064564 HAS SOUS 664601 HAS SOUPS 664601 WITH SCORE 665665.564
AT ITER 3566 NEW BEST:: SOT 4919825 SOS 1064232 HAS SOPS 1064232 HAS SOUS 664352 HAS SOUPS 664352 WITH SCORE 665416.232
AT ITER 3587 NEW BEST:: SOT 4919927 SOS 1064436 HAS SOPS 1064436 HAS SOUS 664314 HAS SOUPS 664314 WITH SCORE 665378.436
AT ITER 3604 NEW BEST:: SOT 4919852 SOS 1064435 HAS SOPS 1064435 HAS SOUS 664313 HAS SOUPS 664313 WITH SCORE 665377.435
AT ITER 3630 NEW BEST:: SOT 4919852 SOS 1064431 HAS SOPS 1064431 HAS SOUS 664312 HAS SOUPS 664312 WITH SCORE 665376.431
AT ITER 3631 NEW BEST:: SOT 4919852 SOS 1064137 HAS SOPS 1064137 HAS SOUS 664214 HAS SOUPS 664214 WITH SCORE 665278.137
AT ITER 3633 NEW BEST:: SOT 4919852 SOS 1064100 HAS SOPS 1064100 HAS SOUS 664177 HAS SOUPS 664177 WITH SCORE 665241.1
AT ITER 3650 NEW BEST:: SOT 4919852 SOS 1064090 HAS SOPS 1064090 HAS SOUS 664176 HAS SOUPS 664176 WITH SCORE 665240.09
AT ITER 3660 NEW BEST:: SOT 4919568 SOS 1063522 HAS SOPS 1063522 HAS SOUS 663750 HAS SOUPS 663750 WITH SCORE 664813.522
AT ITER 3662 NEW BEST:: SOT 4919609 SOS 1063272 HAS SOPS 1063272 HAS SOUS 663625 HAS SOUPS 663625 WITH SCORE 664688.272
AT ITER 3668 NEW BEST:: SOT 4919574 SOS 1063202 HAS SOPS 1063202 HAS SOUS 663555 HAS SOUPS 663555 WITH SCORE 664618.202
AT ITER 3697 NEW BEST:: SOT 4919450 SOS 1062582 HAS SOPS 1062582 HAS SOUS 663431 HAS SOUPS 663431 WITH SCORE 664493.582
AT ITER 3751 NEW BEST:: SOT 4919417 SOS 1062516 HAS SOPS 1062516 HAS SOUS 663397 HAS SOUPS 663397 WITH SCORE 664459.516
AT ITER 3755 NEW BEST:: SOT 4919399 SOS 1062480 HAS SOPS 1062480 HAS SOUS 663379 HAS SOUPS 663379 WITH SCORE 664441.48
AT ITER 3770 NEW BEST:: SOT 4919287 SOS 1062256 HAS SOPS 1062256 HAS SOUS 663154 HAS SOUPS 663154 WITH SCORE 664216.256
AT ITER 3854 NEW BEST:: SOT 4918967 SOS 1061364 HAS SOPS 1061364 HAS SOUS 662928 HAS SOUPS 662928 WITH SCORE 663989.364
AT ITER 3857 NEW BEST:: SOT 4918842 SOS 1061062 HAS SOPS 1061062 HAS SOUS 662626 HAS SOUPS 662626 WITH SCORE 663687.062
AT ITER 3914 NEW BEST:: SOT 4918285 SOS 1060615 HAS SOPS 1060615 HAS SOUS 662179 HAS SOUPS 662179 WITH SCORE 663239.615
AT ITER 3922 NEW BEST:: SOT 4918175 SOS 1060395 HAS SOPS 1060395 HAS SOUS 662069 HAS SOUPS 662069 WITH SCORE 663129.395
AT ITER 3937 NEW BEST:: SOT 4917834 SOS 1059713 HAS SOPS 1059713 HAS SOUS 661728 HAS SOUPS 661728 WITH SCORE 662787.713
AT ITER 3943 NEW BEST:: SOT 4917751 SOS 1059547 HAS SOPS 1059547 HAS SOUS 661645 HAS SOUPS 661645 WITH SCORE 662704.547
AT ITER 3988 NEW BEST:: SOT 4917745 SOS 1059535 HAS SOPS 1059535 HAS SOUS 661639 HAS SOUPS 661639 WITH SCORE 662698.535
AT ITER 3990 NEW BEST:: SOT 4917542 SOS 1057607 HAS SOPS 1057607 HAS SOUS 661145 HAS SOUPS 661145 WITH SCORE 662202.607
AT ITER 4021 NEW BEST:: SOT 4917542 SOS 1057597 HAS SOPS 1057597 HAS SOUS 661144 HAS SOUPS 661144 WITH SCORE 662201.597
AT ITER 4032 NEW BEST:: SOT 4917543 SOS 1057426 HAS SOPS 1057426 HAS SOUS 661144 HAS SOUPS 661144 WITH SCORE 662201.426
AT ITER 4042 NEW BEST:: SOT 4917598 SOS 1057084 HAS SOPS 1057084 HAS SOUS 661086 HAS SOUPS 661086 WITH SCORE 662143.084
AT ITER 4083 NEW BEST:: SOT 4917624 SOS 1057136 HAS SOPS 1057136 HAS SOUS 660948 HAS SOUPS 660948 WITH SCORE 662005.136
AT ITER 4105 NEW BEST:: SOT 4917624 SOS 1057135 HAS SOPS 1057135 HAS SOUS 660947 HAS SOUPS 660947 WITH SCORE 662004.135
AT ITER 4118 NEW BEST:: SOT 4917624 SOS 1058140 HAS SOPS 1058140 HAS SOUS 660746 HAS SOUPS 660746 WITH SCORE 661804.14
AT ITER 4148 NEW BEST:: SOT 4917581 SOS 1057478 HAS SOPS 1057478 HAS SOUS 660702 HAS SOUPS 660702 WITH SCORE 661759.478
AT ITER 4150 NEW BEST:: SOT 4917424 SOS 1057456 HAS SOPS 1057456 HAS SOUS 660677 HAS SOUPS 660677 WITH SCORE 661734.456
AT ITER 4153 NEW BEST:: SOT 4917080 SOS 1057112 HAS SOPS 1057112 HAS SOUS 660333 HAS SOUPS 660333 WITH SCORE 661390.112
AT ITER 4163 NEW BEST:: SOT 4916693 SOS 1058951 HAS SOPS 1058951 HAS SOUS 659859 HAS SOUPS 659859 WITH SCORE 660917.951
AT ITER 4165 NEW BEST:: SOT 4916539 SOS 1058951 HAS SOPS 1058951 HAS SOUS 659705 HAS SOUPS 659705 WITH SCORE 660763.951
AT ITER 4170 NEW BEST:: SOT 4916343 SOS 1058559 HAS SOPS 1058559 HAS SOUS 659313 HAS SOUPS 659313 WITH SCORE 660371.559
AT ITER 4175 NEW BEST:: SOT 4916342 SOS 1060806 HAS SOPS 1060806 HAS SOUS 659310 HAS SOUPS 659310 WITH SCORE 660370.806
AT ITER 4188 NEW BEST:: SOT 4916261 SOS 1060778 HAS SOPS 1060778 HAS SOUS 659229 HAS SOUPS 659229 WITH SCORE 660289.778
AT ITER 4231 NEW BEST:: SOT 4915580 SOS 1060691 HAS SOPS 1060691 HAS SOUS 658921 HAS SOUPS 658921 WITH SCORE 659981.691
AT ITER 4263 NEW BEST:: SOT 4914489 SOS 1061160 HAS SOPS 1061160 HAS SOUS 658554 HAS SOUPS 658554 WITH SCORE 659615.16
AT ITER 4281 NEW BEST:: SOT 4914456 SOS 1061094 HAS SOPS 1061094 HAS SOUS 658488 HAS SOUPS 658488 WITH SCORE 659549.094
AT ITER 4347 NEW BEST:: SOT 4914157 SOS 1061036 HAS SOPS 1061036 HAS SOUS 658430 HAS SOUPS 658430 WITH SCORE 659491.036
AT ITER 4359 NEW BEST:: SOT 4913707 SOS 1060710 HAS SOPS 1060710 HAS SOUS 658048 HAS SOUPS 658048 WITH SCORE 659108.71
AT ITER 4367 NEW BEST:: SOT 4913577 SOS 1060450 HAS SOPS 1060450 HAS SOUS 657788 HAS SOUPS 657788 WITH SCORE 658848.45
AT ITER 4384 NEW BEST:: SOT 4913522 SOS 1060340 HAS SOPS 1060340 HAS SOUS 657678 HAS SOUPS 657678 WITH SCORE 658738.34
AT ITER 4386 NEW BEST:: SOT 4913513 SOS 1059647 HAS SOPS 1059647 HAS SOUS 657444 HAS SOUPS 657444 WITH SCORE 658503.647
AT ITER 4399 NEW BEST:: SOT 4913446 SOS 1059513 HAS SOPS 1059513 HAS SOUS 657310 HAS SOUPS 657310 WITH SCORE 658369.513
AT ITER 4406 NEW BEST:: SOT 4913594 SOS 1059809 HAS SOPS 1059809 HAS SOUS 657133 HAS SOUPS 657133 WITH SCORE 658192.809
AT ITER 4410 NEW BEST:: SOT 4912775 SOS 1058899 HAS SOPS 1058899 HAS SOUS 656386 HAS SOUPS 656386 WITH SCORE 657444.899
AT ITER 4415 NEW BEST:: SOT 4912750 SOS 1058849 HAS SOPS 1058849 HAS SOUS 656336 HAS SOUPS 656336 WITH SCORE 657394.849
AT ITER 4425 NEW BEST:: SOT 4912703 SOS 1058426 HAS SOPS 1058426 HAS SOUS 656242 HAS SOUPS 656242 WITH SCORE 657300.426
AT ITER 4450 NEW BEST:: SOT 4912581 SOS 1058182 HAS SOPS 1058182 HAS SOUS 655618 HAS SOUPS 655618 WITH SCORE 656676.182
AT ITER 4465 NEW BEST:: SOT 4912512 SOS 1058044 HAS SOPS 1058044 HAS SOUS 655583 HAS SOUPS 655583 WITH SCORE 656641.044
AT ITER 4467 NEW BEST:: SOT 4912443 SOS 1057975 HAS SOPS 1057975 HAS SOUS 655514 HAS SOUPS 655514 WITH SCORE 656571.975
AT ITER 4529 NEW BEST:: SOT 4912440 SOS 1057969 HAS SOPS 1057969 HAS SOUS 655508 HAS SOUPS 655508 WITH SCORE 656565.969
AT ITER 4535 NEW BEST:: SOT 4912439 SOS 1057967 HAS SOPS 1057967 HAS SOUS 655506 HAS SOUPS 655506 WITH SCORE 656563.967
AT ITER 4540 NEW BEST:: SOT 4910629 SOS 1056751 HAS SOPS 1056751 HAS SOUS 654774 HAS SOUPS 654774 WITH SCORE 655830.751
AT ITER 4561 NEW BEST:: SOT 4910535 SOS 1056469 HAS SOPS 1056469 HAS SOUS 654633 HAS SOUPS 654633 WITH SCORE 655689.469
AT ITER 4584 NEW BEST:: SOT 4910376 SOS 1056730 HAS SOPS 1056730 HAS SOUS 654474 HAS SOUPS 654474 WITH SCORE 655530.73
AT ITER 4633 NEW BEST:: SOT 4910290 SOS 1056798 HAS SOPS 1056798 HAS SOUS 654388 HAS SOUPS 654388 WITH SCORE 655444.798
AT ITER 4641 NEW BEST:: SOT 4910239 SOS 1056696 HAS SOPS 1056696 HAS SOUS 654126 HAS SOUPS 654126 WITH SCORE 655182.696
AT ITER 4650 NEW BEST:: SOT 4910419 SOS 1056609 HAS SOPS 1056609 HAS SOUS 654039 HAS SOUPS 654039 WITH SCORE 655095.609
AT ITER 4656 NEW BEST:: SOT 4910127 SOS 1056460 HAS SOPS 1056460 HAS SOUS 653746 HAS SOUPS 653746 WITH SCORE 654802.46
AT ITER 4766 NEW BEST:: SOT 4910159 SOS 1056396 HAS SOPS 1056396 HAS SOUS 653746 HAS SOUPS 653746 WITH SCORE 654802.396
AT ITER 4803 NEW BEST:: SOT 4910159 SOS 1056151 HAS SOPS 1056151 HAS SOUS 653746 HAS SOUPS 653746 WITH SCORE 654802.151
AT ITER 4812 NEW BEST:: SOT 4910159 SOS 1056151 HAS SOPS 1056151 HAS SOUS 653745 HAS SOUPS 653745 WITH SCORE 654801.151
AT ITER 4823 NEW BEST:: SOT 4910159 SOS 1057158 HAS SOPS 1057158 HAS SOUS 653743 HAS SOUPS 653743 WITH SCORE 654800.158
AT ITER 4829 NEW BEST:: SOT 4910159 SOS 1056534 HAS SOPS 1056534 HAS SOUS 653743 HAS SOUPS 653743 WITH SCORE 654799.534
AT ITER 4837 NEW BEST:: SOT 4910159 SOS 1056186 HAS SOPS 1056186 HAS SOUS 653743 HAS SOUPS 653743 WITH SCORE 654799.186
AT ITER 4844 NEW BEST:: SOT 4910284 SOS 1056135 HAS SOPS 1056135 HAS SOUS 653692 HAS SOUPS 653692 WITH SCORE 654748.135
AT ITER 4866 NEW BEST:: SOT 4910120 SOS 1055807 HAS SOPS 1055807 HAS SOUS 653528 HAS SOUPS 653528 WITH SCORE 654583.807
AT ITER 4883 NEW BEST:: SOT 4909872 SOS 1055311 HAS SOPS 1055311 HAS SOUS 653032 HAS SOUPS 653032 WITH SCORE 654087.311
AT ITER 4895 NEW BEST:: SOT 4909872 SOS 1055430 HAS SOPS 1055430 HAS SOUS 653031 HAS SOUPS 653031 WITH SCORE 654086.43
AT ITER 4896 NEW BEST:: SOT 4909850 SOS 1055386 HAS SOPS 1055386 HAS SOUS 652972 HAS SOUPS 652972 WITH SCORE 654027.386
AT ITER 4926 NEW BEST:: SOT 4909542 SOS 1056042 HAS SOPS 1056042 HAS SOUS 652953 HAS SOUPS 652953 WITH SCORE 654009.042
AT ITER 4934 NEW BEST:: SOT 4909539 SOS 1056039 HAS SOPS 1056039 HAS SOUS 652950 HAS SOUPS 652950 WITH SCORE 654006.039
AT ITER 4947 NEW BEST:: SOT 4909399 SOS 1054991 HAS SOPS 1054991 HAS SOUS 652577 HAS SOUPS 652577 WITH SCORE 653631.991
AT ITER 4960 NEW BEST:: SOT 4909363 SOS 1054991 HAS SOPS 1054991 HAS SOUS 652541 HAS SOUPS 652541 WITH SCORE 653595.991
AT ITER 4967 NEW BEST:: SOT 4908823 SOS 1054451 HAS SOPS 1054451 HAS SOUS 652001 HAS SOUPS 652001 WITH SCORE 653055.451
AT ITER 4992 NEW BEST:: SOT 4908414 SOS 1054223 HAS SOPS 1054223 HAS SOUS 651701 HAS SOUPS 651701 WITH SCORE 652755.223
AT ITER 4998 NEW BEST:: SOT 4908346 SOS 1054062 HAS SOPS 1054062 HAS SOUS 651540 HAS SOUPS 651540 WITH SCORE 652594.062
AT ITER 5008 NEW BEST:: SOT 4908223 SOS 1054056 HAS SOPS 1054056 HAS SOUS 651497 HAS SOUPS 651497 WITH SCORE 652551.056
AT ITER 5014 NEW BEST:: SOT 4908195 SOS 1053972 HAS SOPS 1053972 HAS SOUS 651469 HAS SOUPS 651469 WITH SCORE 652522.972
AT ITER 5083 NEW BEST:: SOT 4908216 SOS 1054963 HAS SOPS 1054963 HAS SOUS 651455 HAS SOUPS 651455 WITH SCORE 652509.963
AT ITER 5106 NEW BEST:: SOT 4908194 SOS 1054919 HAS SOPS 1054919 HAS SOUS 651455 HAS SOUPS 651455 WITH SCORE 652509.919
AT ITER 5117 NEW BEST:: SOT 4907713 SOS 1054428 HAS SOPS 1054428 HAS SOUS 650973 HAS SOUPS 650973 WITH SCORE 652027.428
AT ITER 5132 NEW BEST:: SOT 4907713 SOS 1054350 HAS SOPS 1054350 HAS SOUS 650895 HAS SOUPS 650895 WITH SCORE 651949.35
AT ITER 5149 NEW BEST:: SOT 4907828 SOS 1054465 HAS SOPS 1054465 HAS SOUS 650894 HAS SOUPS 650894 WITH SCORE 651948.465
AT ITER 5181 NEW BEST:: SOT 4907501 SOS 1053811 HAS SOPS 1053811 HAS SOUS 650240 HAS SOUPS 650240 WITH SCORE 651293.811
AT ITER 5209 NEW BEST:: SOT 4907512 SOS 1053833 HAS SOPS 1053833 HAS SOUS 650000 HAS SOUPS 650000 WITH SCORE 651053.833
AT ITER 5222 NEW BEST:: SOT 4907659 SOS 1054124 HAS SOPS 1054124 HAS SOUS 649874 HAS SOUPS 649874 WITH SCORE 650928.124
AT ITER 5248 NEW BEST:: SOT 4907431 SOS 1053126 HAS SOPS 1053126 HAS SOUS 649781 HAS SOUPS 649781 WITH SCORE 650834.126
AT ITER 5267 NEW BEST:: SOT 4907431 SOS 1053239 HAS SOPS 1053239 HAS SOUS 649774 HAS SOUPS 649774 WITH SCORE 650827.239
AT ITER 5274 NEW BEST:: SOT 4907384 SOS 1053051 HAS SOPS 1053051 HAS SOUS 649727 HAS SOUPS 649727 WITH SCORE 650780.051
AT ITER 5302 NEW BEST:: SOT 4907396 SOS 1052715 HAS SOPS 1052715 HAS SOUS 649619 HAS SOUPS 649619 WITH SCORE 650671.715
AT ITER 5309 NEW BEST:: SOT 4907461 SOS 1052711 HAS SOPS 1052711 HAS SOUS 649615 HAS SOUPS 649615 WITH SCORE 650667.711
AT ITER 5313 NEW BEST:: SOT 4907355 SOS 1052499 HAS SOPS 1052499 HAS SOUS 649391 HAS SOUPS 649391 WITH SCORE 650443.499
AT ITER 5365 NEW BEST:: SOT 4907355 SOS 1052382 HAS SOPS 1052382 HAS SOUS 649352 HAS SOUPS 649352 WITH SCORE 650404.382
AT ITER 5370 NEW BEST:: SOT 4907253 SOS 1052304 HAS SOPS 1052304 HAS SOUS 649274 HAS SOUPS 649274 WITH SCORE 650326.304
AT ITER 5399 NEW BEST:: SOT 4906963 SOS 1052014 HAS SOPS 1052014 HAS SOUS 648984 HAS SOUPS 648984 WITH SCORE 650036.014
AT ITER 5405 NEW BEST:: SOT 4906895 SOS 1051946 HAS SOPS 1051946 HAS SOUS 648916 HAS SOUPS 648916 WITH SCORE 649967.946
AT ITER 5431 NEW BEST:: SOT 4906697 SOS 1051328 HAS SOPS 1051328 HAS SOUS 648556 HAS SOUPS 648556 WITH SCORE 649607.328
AT ITER 5511 NEW BEST:: SOT 4906697 SOS 1050461 HAS SOPS 1050461 HAS SOUS 648267 HAS SOUPS 648267 WITH SCORE 649317.461
AT ITER 5519 NEW BEST:: SOT 4906685 SOS 1050456 HAS SOPS 1050456 HAS SOUS 648207 HAS SOUPS 648207 WITH SCORE 649257.456
AT ITER 5571 NEW BEST:: SOT 4906441 SOS 1049968 HAS SOPS 1049968 HAS SOUS 647691 HAS SOUPS 647691 WITH SCORE 648740.968
AT ITER 5589 NEW BEST:: SOT 4905829 SOS 1049288 HAS SOPS 1049288 HAS SOUS 647441 HAS SOUPS 647441 WITH SCORE 648490.288
AT ITER 5601 NEW BEST:: SOT 4905829 SOS 1049216 HAS SOPS 1049216 HAS SOUS 647423 HAS SOUPS 647423 WITH SCORE 648472.216
AT ITER 5666 NEW BEST:: SOT 4905857 SOS 1049272 HAS SOPS 1049272 HAS SOUS 647293 HAS SOUPS 647293 WITH SCORE 648342.272
AT ITER 5699 NEW BEST:: SOT 4905747 SOS 1049052 HAS SOPS 1049052 HAS SOUS 647183 HAS SOUPS 647183 WITH SCORE 648232.052
AT ITER 5722 NEW BEST:: SOT 4905747 SOS 1048972 HAS SOPS 1048972 HAS SOUS 647103 HAS SOUPS 647103 WITH SCORE 648151.972
AT ITER 5796 NEW BEST:: SOT 4905724 SOS 1048949 HAS SOPS 1048949 HAS SOUS 647080 HAS SOUPS 647080 WITH SCORE 648128.949
AT ITER 5815 NEW BEST:: SOT 4905679 SOS 1048859 HAS SOPS 1048859 HAS SOUS 646941 HAS SOUPS 646941 WITH SCORE 647989.859
AT ITER 5839 NEW BEST:: SOT 4905666 SOS 1048833 HAS SOPS 1048833 HAS SOUS 646915 HAS SOUPS 646915 WITH SCORE 647963.833
AT ITER 5858 NEW BEST:: SOT 4905590 SOS 1048681 HAS SOPS 1048681 HAS SOUS 646839 HAS SOUPS 646839 WITH SCORE 647887.681
AT ITER 5866 NEW BEST:: SOT 4905590 SOS 1048680 HAS SOPS 1048680 HAS SOUS 646838 HAS SOUPS 646838 WITH SCORE 647886.68
AT ITER 5881 NEW BEST:: SOT 4905526 SOS 1048828 HAS SOPS 1048828 HAS SOUS 646706 HAS SOUPS 646706 WITH SCORE 647754.828
AT ITER 5886 NEW BEST:: SOT 4905397 SOS 1045969 HAS SOPS 1045969 HAS SOUS 646341 HAS SOUPS 646341 WITH SCORE 647386.969
AT ITER 5909 NEW BEST:: SOT 4905397 SOS 1045888 HAS SOPS 1045888 HAS SOUS 646314 HAS SOUPS 646314 WITH SCORE 647359.888
AT ITER 5920 NEW BEST:: SOT 4905324 SOS 1046309 HAS SOPS 1046309 HAS SOUS 646095 HAS SOUPS 646095 WITH SCORE 647141.309
AT ITER 5925 NEW BEST:: SOT 4905324 SOS 1046309 HAS SOPS 1046309 HAS SOUS 646090 HAS SOUPS 646090 WITH SCORE 647136.309
AT ITER 5934 NEW BEST:: SOT 4903822 SOS 1045404 HAS SOPS 1045404 HAS SOUS 645789 HAS SOUPS 645789 WITH SCORE 646834.404
AT ITER 5944 NEW BEST:: SOT 4903206 SOS 1044997 HAS SOPS 1044997 HAS SOUS 645382 HAS SOUPS 645382 WITH SCORE 646426.997
AT ITER 5963 NEW BEST:: SOT 4903206 SOS 1044918 HAS SOPS 1044918 HAS SOUS 645303 HAS SOUPS 645303 WITH SCORE 646347.918
AT ITER 5999 NEW BEST:: SOT 4903206 SOS 1044902 HAS SOPS 1044902 HAS SOUS 645303 HAS SOUPS 645303 WITH SCORE 646347.902
AT ITER 6000 NEW BEST:: SOT 4903131 SOS 1044817 HAS SOPS 1044817 HAS SOUS 645227 HAS SOUPS 645227 WITH SCORE 646271.817
AT ITER 6048 NEW BEST:: SOT 4903131 SOS 1044746 HAS SOPS 1044746 HAS SOUS 645156 HAS SOUPS 645156 WITH SCORE 646200.746
AT ITER 6074 NEW BEST:: SOT 4903131 SOS 1044428 HAS SOPS 1044428 HAS SOUS 644997 HAS SOUPS 644997 WITH SCORE 646041.428
AT ITER 6097 NEW BEST:: SOT 4903304 SOS 1044774 HAS SOPS 1044774 HAS SOUS 644990 HAS SOUPS 644990 WITH SCORE 646034.774
AT ITER 6107 NEW BEST:: SOT 4903149 SOS 1044464 HAS SOPS 1044464 HAS SOUS 644680 HAS SOUPS 644680 WITH SCORE 645724.464
AT ITER 6111 NEW BEST:: SOT 4903065 SOS 1044411 HAS SOPS 1044411 HAS SOUS 644503 HAS SOUPS 644503 WITH SCORE 645547.411
AT ITER 6134 NEW BEST:: SOT 4902948 SOS 1043920 HAS SOPS 1043920 HAS SOUS 644012 HAS SOUPS 644012 WITH SCORE 645055.92
AT ITER 6139 NEW BEST:: SOT 4902544 SOS 1041790 HAS SOPS 1041790 HAS SOUS 642972 HAS SOUPS 642972 WITH SCORE 644013.79
AT ITER 6140 NEW BEST:: SOT 4902536 SOS 1041774 HAS SOPS 1041774 HAS SOUS 642956 HAS SOUPS 642956 WITH SCORE 643997.774
AT ITER 6156 NEW BEST:: SOT 4902604 SOS 1041435 HAS SOPS 1041435 HAS SOUS 642791 HAS SOUPS 642791 WITH SCORE 643832.435
AT ITER 6236 NEW BEST:: SOT 4902475 SOS 1041323 HAS SOPS 1041323 HAS SOUS 642679 HAS SOUPS 642679 WITH SCORE 643720.323
AT ITER 6244 NEW BEST:: SOT 4902475 SOS 1041323 HAS SOPS 1041323 HAS SOUS 642570 HAS SOUPS 642570 WITH SCORE 643611.323
AT ITER 6263 NEW BEST:: SOT 4902201 SOS 1040927 HAS SOPS 1040927 HAS SOUS 642174 HAS SOUPS 642174 WITH SCORE 643214.927
AT ITER 6264 NEW BEST:: SOT 4901789 SOS 1040593 HAS SOPS 1040593 HAS SOUS 641840 HAS SOUPS 641840 WITH SCORE 642880.593
AT ITER 6272 NEW BEST:: SOT 4901789 SOS 1040513 HAS SOPS 1040513 HAS SOUS 641800 HAS SOUPS 641800 WITH SCORE 642840.513
AT ITER 6280 NEW BEST:: SOT 4901584 SOS 1040441 HAS SOPS 1040441 HAS SOUS 641526 HAS SOUPS 641526 WITH SCORE 642566.441
AT ITER 6285 NEW BEST:: SOT 4901716 SOS 1040672 HAS SOPS 1040672 HAS SOUS 641324 HAS SOUPS 641324 WITH SCORE 642364.672
AT ITER 6320 NEW BEST:: SOT 4901378 SOS 1040984 HAS SOPS 1040984 HAS SOUS 641174 HAS SOUPS 641174 WITH SCORE 642214.984
AT ITER 6335 NEW BEST:: SOT 4901378 SOS 1040592 HAS SOPS 1040592 HAS SOUS 640978 HAS SOUPS 640978 WITH SCORE 642018.592
AT ITER 6366 NEW BEST:: SOT 4901164 SOS 1038666 HAS SOPS 1038666 HAS SOUS 640698 HAS SOUPS 640698 WITH SCORE 641736.666
AT ITER 6388 NEW BEST:: SOT 4901164 SOS 1038457 HAS SOPS 1038457 HAS SOUS 640489 HAS SOUPS 640489 WITH SCORE 641527.457
AT ITER 6405 NEW BEST:: SOT 4901066 SOS 1038261 HAS SOPS 1038261 HAS SOUS 640395 HAS SOUPS 640395 WITH SCORE 641433.261
AT ITER 6459 NEW BEST:: SOT 4900847 SOS 1040190 HAS SOPS 1040190 HAS SOUS 639957 HAS SOUPS 639957 WITH SCORE 640997.19
AT ITER 6504 NEW BEST:: SOT 4900776 SOS 1040048 HAS SOPS 1040048 HAS SOUS 639815 HAS SOUPS 639815 WITH SCORE 640855.048
AT ITER 6602 NEW BEST:: SOT 4900756 SOS 1040008 HAS SOPS 1040008 HAS SOUS 639775 HAS SOUPS 639775 WITH SCORE 640815.008
AT ITER 6664 NEW BEST:: SOT 4900756 SOS 1039982 HAS SOPS 1039982 HAS SOUS 639775 HAS SOUPS 639775 WITH SCORE 640814.982
AT ITER 6681 NEW BEST:: SOT 4900718 SOS 1039906 HAS SOPS 1039906 HAS SOUS 639699 HAS SOUPS 639699 WITH SCORE 640738.906
AT ITER 6699 NEW BEST:: SOT 4900769 SOS 1039441 HAS SOPS 1039441 HAS SOUS 639456 HAS SOUPS 639456 WITH SCORE 640495.441
AT ITER 6745 NEW BEST:: SOT 4900765 SOS 1039352 HAS SOPS 1039352 HAS SOUS 639371 HAS SOUPS 639371 WITH SCORE 640410.352
AT ITER 6754 NEW BEST:: SOT 4900731 SOS 1039284 HAS SOPS 1039284 HAS SOUS 639303 HAS SOUPS 639303 WITH SCORE 640342.284
AT ITER 6772 NEW BEST:: SOT 4900514 SOS 1039274 HAS SOPS 1039274 HAS SOUS 639302 HAS SOUPS 639302 WITH SCORE 640341.274
AT ITER 6784 NEW BEST:: SOT 4899984 SOS 1039066 HAS SOPS 1039066 HAS SOUS 639094 HAS SOUPS 639094 WITH SCORE 640133.066
AT ITER 6785 NEW BEST:: SOT 4899983 SOS 1039064 HAS SOPS 1039064 HAS SOUS 639092 HAS SOUPS 639092 WITH SCORE 640131.064
AT ITER 6795 NEW BEST:: SOT 4899493 SOS 1037500 HAS SOPS 1037500 HAS SOUS 638724 HAS SOUPS 638724 WITH SCORE 639761.5
AT ITER 6819 NEW BEST:: SOT 4899426 SOS 1037366 HAS SOPS 1037366 HAS SOUS 638672 HAS SOUPS 638672 WITH SCORE 639709.366
AT ITER 6820 NEW BEST:: SOT 4899334 SOS 1037182 HAS SOPS 1037182 HAS SOUS 638449 HAS SOUPS 638449 WITH SCORE 639486.182
AT ITER 6824 NEW BEST:: SOT 4899260 SOS 1037034 HAS SOPS 1037034 HAS SOUS 638345 HAS SOUPS 638345 WITH SCORE 639382.034
AT ITER 6852 NEW BEST:: SOT 4899554 SOS 1036445 HAS SOPS 1036445 HAS SOUS 638344 HAS SOUPS 638344 WITH SCORE 639380.445
AT ITER 6867 NEW BEST:: SOT 4899404 SOS 1035963 HAS SOPS 1035963 HAS SOUS 638044 HAS SOUPS 638044 WITH SCORE 639079.963
AT ITER 6877 NEW BEST:: SOT 4899403 SOS 1035962 HAS SOPS 1035962 HAS SOUS 638043 HAS SOUPS 638043 WITH SCORE 639078.962
AT ITER 6910 NEW BEST:: SOT 4899376 SOS 1035908 HAS SOPS 1035908 HAS SOUS 637972 HAS SOUPS 637972 WITH SCORE 639007.908
AT ITER 6928 NEW BEST:: SOT 4899373 SOS 1035902 HAS SOPS 1035902 HAS SOUS 637969 HAS SOUPS 637969 WITH SCORE 639004.902
AT ITER 6990 NEW BEST:: SOT 4899292 SOS 1035890 HAS SOPS 1035890 HAS SOUS 637966 HAS SOUPS 637966 WITH SCORE 639001.89
AT ITER 7028 NEW BEST:: SOT 4899108 SOS 1035522 HAS SOPS 1035522 HAS SOUS 637569 HAS SOUPS 637569 WITH SCORE 638604.522
AT ITER 7033 NEW BEST:: SOT 4898995 SOS 1035497 HAS SOPS 1035497 HAS SOUS 637523 HAS SOUPS 637523 WITH SCORE 638558.497
AT ITER 7034 NEW BEST:: SOT 4898836 SOS 1035479 HAS SOPS 1035479 HAS SOUS 637464 HAS SOUPS 637464 WITH SCORE 638499.479
AT ITER 7040 NEW BEST:: SOT 4898862 SOS 1035531 HAS SOPS 1035531 HAS SOUS 637378 HAS SOUPS 637378 WITH SCORE 638413.531
AT ITER 7047 NEW BEST:: SOT 4898814 SOS 1035483 HAS SOPS 1035483 HAS SOUS 637330 HAS SOUPS 637330 WITH SCORE 638365.483
AT ITER 7067 NEW BEST:: SOT 4898759 SOS 1035428 HAS SOPS 1035428 HAS SOUS 637275 HAS SOUPS 637275 WITH SCORE 638310.428
AT ITER 7073 NEW BEST:: SOT 4898863 SOS 1035675 HAS SOPS 1035675 HAS SOUS 637261 HAS SOUPS 637261 WITH SCORE 638296.675
AT ITER 7083 NEW BEST:: SOT 4898879 SOS 1035781 HAS SOPS 1035781 HAS SOUS 637154 HAS SOUPS 637154 WITH SCORE 638189.781
AT ITER 7095 NEW BEST:: SOT 4898545 SOS 1035447 HAS SOPS 1035447 HAS SOUS 637043 HAS SOUPS 637043 WITH SCORE 638078.447
AT ITER 7096 NEW BEST:: SOT 4898352 SOS 1036798 HAS SOPS 1036798 HAS SOUS 636850 HAS SOUPS 636850 WITH SCORE 637886.798
AT ITER 7099 NEW BEST:: SOT 4898352 SOS 1037177 HAS SOPS 1037177 HAS SOUS 636849 HAS SOUPS 636849 WITH SCORE 637886.177
AT ITER 7138 NEW BEST:: SOT 4898242 SOS 1037067 HAS SOPS 1037067 HAS SOUS 636739 HAS SOUPS 636739 WITH SCORE 637776.067
AT ITER 7148 NEW BEST:: SOT 4898242 SOS 1037318 HAS SOPS 1037318 HAS SOUS 636709 HAS SOUPS 636709 WITH SCORE 637746.318
AT ITER 7162 NEW BEST:: SOT 4897900 SOS 1036972 HAS SOPS 1036972 HAS SOUS 636523 HAS SOUPS 636523 WITH SCORE 637559.972
AT ITER 7223 NEW BEST:: SOT 4897964 SOS 1039809 HAS SOPS 1039809 HAS SOUS 636371 HAS SOUPS 636371 WITH SCORE 637410.809
AT ITER 7232 NEW BEST:: SOT 4897784 SOS 1039877 HAS SOPS 1039877 HAS SOUS 636012 HAS SOUPS 636012 WITH SCORE 637051.877
AT ITER 7239 NEW BEST:: SOT 4897776 SOS 1039801 HAS SOPS 1039801 HAS SOUS 635951 HAS SOUPS 635951 WITH SCORE 636990.801
AT ITER 7247 NEW BEST:: SOT 4897776 SOS 1039683 HAS SOPS 1039683 HAS SOUS 635833 HAS SOUPS 635833 WITH SCORE 636872.683
AT ITER 7276 NEW BEST:: SOT 4897713 SOS 1039557 HAS SOPS 1039557 HAS SOUS 635756 HAS SOUPS 635756 WITH SCORE 636795.557
AT ITER 7283 NEW BEST:: SOT 4897713 SOS 1039556 HAS SOPS 1039556 HAS SOUS 635755 HAS SOUPS 635755 WITH SCORE 636794.556
AT ITER 7284 NEW BEST:: SOT 4897594 SOS 1039331 HAS SOPS 1039331 HAS SOUS 635599 HAS SOUPS 635599 WITH SCORE 636638.331
AT ITER 7337 NEW BEST:: SOT 4897348 SOS 1039107 HAS SOPS 1039107 HAS SOUS 635375 HAS SOUPS 635375 WITH SCORE 636414.107
AT ITER 7338 NEW BEST:: SOT 4897105 SOS 1038864 HAS SOPS 1038864 HAS SOUS 635132 HAS SOUPS 635132 WITH SCORE 636170.864
AT ITER 7413 NEW BEST:: SOT 4896719 SOS 1038467 HAS SOPS 1038467 HAS SOUS 635100 HAS SOUPS 635100 WITH SCORE 636138.467
AT ITER 7471 NEW BEST:: SOT 4896628 SOS 1038387 HAS SOPS 1038387 HAS SOUS 635009 HAS SOUPS 635009 WITH SCORE 636047.387
AT ITER 7509 NEW BEST:: SOT 4896616 SOS 1038395 HAS SOPS 1038395 HAS SOUS 635008 HAS SOUPS 635008 WITH SCORE 636046.395
AT ITER 7525 NEW BEST:: SOT 4896493 SOS 1038149 HAS SOPS 1038149 HAS SOUS 634781 HAS SOUPS 634781 WITH SCORE 635819.149
AT ITER 7539 NEW BEST:: SOT 4896212 SOS 1040374 HAS SOPS 1040374 HAS SOUS 634567 HAS SOUPS 634567 WITH SCORE 635607.374
AT ITER 7546 NEW BEST:: SOT 4896116 SOS 1040396 HAS SOPS 1040396 HAS SOUS 634503 HAS SOUPS 634503 WITH SCORE 635543.396
AT ITER 7550 NEW BEST:: SOT 4895995 SOS 1041899 HAS SOPS 1041899 HAS SOUS 634260 HAS SOUPS 634260 WITH SCORE 635301.899
AT ITER 7568 NEW BEST:: SOT 4896130 SOS 1041410 HAS SOPS 1041410 HAS SOUS 634211 HAS SOUPS 634211 WITH SCORE 635252.41
AT ITER 7631 NEW BEST:: SOT 4896116 SOS 1041368 HAS SOPS 1041368 HAS SOUS 634169 HAS SOUPS 634169 WITH SCORE 635210.368
AT ITER 7648 NEW BEST:: SOT 4895700 SOS 1040290 HAS SOPS 1040290 HAS SOUS 633619 HAS SOUPS 633619 WITH SCORE 634659.29
AT ITER 7665 NEW BEST:: SOT 4895700 SOS 1040196 HAS SOPS 1040196 HAS SOUS 633619 HAS SOUPS 633619 WITH SCORE 634659.196
AT ITER 7679 NEW BEST:: SOT 4895799 SOS 1040118 HAS SOPS 1040118 HAS SOUS 633541 HAS SOUPS 633541 WITH SCORE 634581.118
AT ITER 7699 NEW BEST:: SOT 4894144 SOS 1039454 HAS SOPS 1039454 HAS SOUS 633072 HAS SOUPS 633072 WITH SCORE 634111.454
AT ITER 7734 NEW BEST:: SOT 4894305 SOS 1039020 HAS SOPS 1039020 HAS SOUS 632911 HAS SOUPS 632911 WITH SCORE 633950.02
AT ITER 7804 NEW BEST:: SOT 4894309 SOS 1039012 HAS SOPS 1039012 HAS SOUS 632911 HAS SOUPS 632911 WITH SCORE 633950.012
AT ITER 7826 NEW BEST:: SOT 4894188 SOS 1038891 HAS SOPS 1038891 HAS SOUS 632669 HAS SOUPS 632669 WITH SCORE 633707.891
AT ITER 7869 NEW BEST:: SOT 4894057 SOS 1038629 HAS SOPS 1038629 HAS SOUS 632407 HAS SOUPS 632407 WITH SCORE 633445.629
AT ITER 7896 NEW BEST:: SOT 4894057 SOS 1038894 HAS SOPS 1038894 HAS SOUS 632406 HAS SOUPS 632406 WITH SCORE 633444.894
AT ITER 7909 NEW BEST:: SOT 4893863 SOS 1038797 HAS SOPS 1038797 HAS SOUS 632309 HAS SOUPS 632309 WITH SCORE 633347.797
AT ITER 8025 NEW BEST:: SOT 4894089 SOS 1041269 HAS SOPS 1041269 HAS SOUS 632126 HAS SOUPS 632126 WITH SCORE 633167.269
AT ITER 8053 NEW BEST:: SOT 4894059 SOS 1041269 HAS SOPS 1041269 HAS SOUS 632096 HAS SOUPS 632096 WITH SCORE 633137.269
AT ITER 8069 NEW BEST:: SOT 4893121 SOS 1040388 HAS SOPS 1040388 HAS SOUS 631966 HAS SOUPS 631966 WITH SCORE 633006.388
AT ITER 8072 NEW BEST:: SOT 4893097 SOS 1040340 HAS SOPS 1040340 HAS SOUS 631942 HAS SOUPS 631942 WITH SCORE 632982.34
AT ITER 8081 NEW BEST:: SOT 4892681 SOS 1038185 HAS SOPS 1038185 HAS SOUS 631110 HAS SOUPS 631110 WITH SCORE 632148.185
AT ITER 8090 NEW BEST:: SOT 4892681 SOS 1038019 HAS SOPS 1038019 HAS SOUS 630944 HAS SOUPS 630944 WITH SCORE 631982.019
AT ITER 8100 NEW BEST:: SOT 4892570 SOS 1037797 HAS SOPS 1037797 HAS SOUS 630722 HAS SOUPS 630722 WITH SCORE 631759.797
AT ITER 8117 NEW BEST:: SOT 4892560 SOS 1037777 HAS SOPS 1037777 HAS SOUS 630702 HAS SOUPS 630702 WITH SCORE 631739.777
AT ITER 8127 NEW BEST:: SOT 4892521 SOS 1037699 HAS SOPS 1037699 HAS SOUS 630624 HAS SOUPS 630624 WITH SCORE 631661.699
AT ITER 8135 NEW BEST:: SOT 4892391 SOS 1037439 HAS SOPS 1037439 HAS SOUS 630494 HAS SOUPS 630494 WITH SCORE 631531.439
AT ITER 8171 NEW BEST:: SOT 4892232 SOS 1037280 HAS SOPS 1037280 HAS SOUS 630335 HAS SOUPS 630335 WITH SCORE 631372.28
AT ITER 8200 NEW BEST:: SOT 4892154 SOS 1037124 HAS SOPS 1037124 HAS SOUS 630179 HAS SOUPS 630179 WITH SCORE 631216.124
AT ITER 8211 NEW BEST:: SOT 4892123 SOS 1036967 HAS SOPS 1036967 HAS SOUS 630138 HAS SOUPS 630138 WITH SCORE 631174.967
AT ITER 8244 NEW BEST:: SOT 4892087 SOS 1037123 HAS SOPS 1037123 HAS SOUS 630102 HAS SOUPS 630102 WITH SCORE 631139.123
AT ITER 8262 NEW BEST:: SOT 4892077 SOS 1037103 HAS SOPS 1037103 HAS SOUS 630082 HAS SOUPS 630082 WITH SCORE 631119.103
AT ITER 8270 NEW BEST:: SOT 4892077 SOS 1037022 HAS SOPS 1037022 HAS SOUS 630001 HAS SOUPS 630001 WITH SCORE 631038.022
AT ITER 8285 NEW BEST:: SOT 4892062 SOS 1036992 HAS SOPS 1036992 HAS SOUS 629985 HAS SOUPS 629985 WITH SCORE 631021.992
AT ITER 8299 NEW BEST:: SOT 4891798 SOS 1036464 HAS SOPS 1036464 HAS SOUS 629552 HAS SOUPS 629552 WITH SCORE 630588.464
AT ITER 8315 NEW BEST:: SOT 4892142 SOS 1036546 HAS SOPS 1036546 HAS SOUS 629513 HAS SOUPS 629513 WITH SCORE 630549.546
AT ITER 8377 NEW BEST:: SOT 4892017 SOS 1037663 HAS SOPS 1037663 HAS SOUS 629262 HAS SOUPS 629262 WITH SCORE 630299.663
AT ITER 8379 NEW BEST:: SOT 4892000 SOS 1037676 HAS SOPS 1037676 HAS SOUS 629227 HAS SOUPS 629227 WITH SCORE 630264.676
AT ITER 8387 NEW BEST:: SOT 4891864 SOS 1038563 HAS SOPS 1038563 HAS SOUS 629020 HAS SOUPS 629020 WITH SCORE 630058.563
AT ITER 8403 NEW BEST:: SOT 4891760 SOS 1038430 HAS SOPS 1038430 HAS SOUS 628876 HAS SOUPS 628876 WITH SCORE 629914.43
AT ITER 8418 NEW BEST:: SOT 4891540 SOS 1039435 HAS SOPS 1039435 HAS SOUS 628435 HAS SOUPS 628435 WITH SCORE 629474.435
AT ITER 8426 NEW BEST:: SOT 4891540 SOS 1040111 HAS SOPS 1040111 HAS SOUS 628283 HAS SOUPS 628283 WITH SCORE 629323.111
AT ITER 8456 NEW BEST:: SOT 4891275 SOS 1039635 HAS SOPS 1039635 HAS SOUS 628164 HAS SOUPS 628164 WITH SCORE 629203.635
AT ITER 8578 NEW BEST:: SOT 4891116 SOS 1039317 HAS SOPS 1039317 HAS SOUS 627952 HAS SOUPS 627952 WITH SCORE 628991.317
AT ITER 8584 NEW BEST:: SOT 4890996 SOS 1039152 HAS SOPS 1039152 HAS SOUS 627766 HAS SOUPS 627766 WITH SCORE 628805.152
AT ITER 8588 NEW BEST:: SOT 4890931 SOS 1039148 HAS SOPS 1039148 HAS SOUS 627762 HAS SOUPS 627762 WITH SCORE 628801.148
AT ITER 8607 NEW BEST:: SOT 4890302 SOS 1038916 HAS SOPS 1038916 HAS SOUS 627475 HAS SOUPS 627475 WITH SCORE 628513.916
AT ITER 8643 NEW BEST:: SOT 4890253 SOS 1038818 HAS SOPS 1038818 HAS SOUS 627377 HAS SOUPS 627377 WITH SCORE 628415.818
AT ITER 8647 NEW BEST:: SOT 4889809 SOS 1037015 HAS SOPS 1037015 HAS SOUS 626626 HAS SOUPS 626626 WITH SCORE 627663.015
AT ITER 8681 NEW BEST:: SOT 4889809 SOS 1036169 HAS SOPS 1036169 HAS SOUS 626626 HAS SOUPS 626626 WITH SCORE 627662.169
AT ITER 8711 NEW BEST:: SOT 4889539 SOS 1035899 HAS SOPS 1035899 HAS SOUS 626356 HAS SOUPS 626356 WITH SCORE 627391.899
AT ITER 8714 NEW BEST:: SOT 4889539 SOS 1035889 HAS SOPS 1035889 HAS SOUS 626346 HAS SOUPS 626346 WITH SCORE 627381.889
AT ITER 8716 NEW BEST:: SOT 4889532 SOS 1036134 HAS SOPS 1036134 HAS SOUS 626339 HAS SOUPS 626339 WITH SCORE 627375.134
AT ITER 8734 NEW BEST:: SOT 4889399 SOS 1038612 HAS SOPS 1038612 HAS SOUS 626072 HAS SOUPS 626072 WITH SCORE 627110.612
AT ITER 8738 NEW BEST:: SOT 4889388 SOS 1038590 HAS SOPS 1038590 HAS SOUS 626005 HAS SOUPS 626005 WITH SCORE 627043.59
AT ITER 8751 NEW BEST:: SOT 4889261 SOS 1039079 HAS SOPS 1039079 HAS SOUS 625770 HAS SOUPS 625770 WITH SCORE 626809.079
AT ITER 8783 NEW BEST:: SOT 4889177 SOS 1038911 HAS SOPS 1038911 HAS SOUS 625602 HAS SOUPS 625602 WITH SCORE 626640.911
AT ITER 8786 NEW BEST:: SOT 4889118 SOS 1038793 HAS SOPS 1038793 HAS SOUS 625484 HAS SOUPS 625484 WITH SCORE 626522.793
AT ITER 8806 NEW BEST:: SOT 4889093 SOS 1038718 HAS SOPS 1038718 HAS SOUS 625434 HAS SOUPS 625434 WITH SCORE 626472.718
AT ITER 8828 NEW BEST:: SOT 4889129 SOS 1038314 HAS SOPS 1038314 HAS SOUS 625391 HAS SOUPS 625391 WITH SCORE 626429.314
AT ITER 8832 NEW BEST:: SOT 4888960 SOS 1038145 HAS SOPS 1038145 HAS SOUS 625391 HAS SOUPS 625391 WITH SCORE 626429.145
AT ITER 8883 NEW BEST:: SOT 4888967 SOS 1038112 HAS SOPS 1038112 HAS SOUS 625358 HAS SOUPS 625358 WITH SCORE 626396.112
AT ITER 8890 NEW BEST:: SOT 4888823 SOS 1038325 HAS SOPS 1038325 HAS SOUS 625213 HAS SOUPS 625213 WITH SCORE 626251.325
AT ITER 8898 NEW BEST:: SOT 4888756 SOS 1038248 HAS SOPS 1038248 HAS SOUS 625145 HAS SOUPS 625145 WITH SCORE 626183.248
AT ITER 8906 NEW BEST:: SOT 4886670 SOS 1037688 HAS SOPS 1037688 HAS SOUS 624855 HAS SOUPS 624855 WITH SCORE 625892.688
AT ITER 8924 NEW BEST:: SOT 4886633 SOS 1037466 HAS SOPS 1037466 HAS SOUS 624744 HAS SOUPS 624744 WITH SCORE 625781.466
AT ITER 8928 NEW BEST:: SOT 4886633 SOS 1037549 HAS SOPS 1037549 HAS SOUS 624661 HAS SOUPS 624661 WITH SCORE 625698.549
AT ITER 8938 NEW BEST:: SOT 4886155 SOS 1034681 HAS SOPS 1034681 HAS SOUS 623944 HAS SOUPS 623944 WITH SCORE 624978.681
AT ITER 8976 NEW BEST:: SOT 4886273 SOS 1035927 HAS SOPS 1035927 HAS SOUS 623841 HAS SOUPS 623841 WITH SCORE 624876.927
AT ITER 9017 NEW BEST:: SOT 4886273 SOS 1035717 HAS SOPS 1035717 HAS SOUS 623841 HAS SOUPS 623841 WITH SCORE 624876.717
AT ITER 9019 NEW BEST:: SOT 4886101 SOS 1035372 HAS SOPS 1035372 HAS SOUS 623488 HAS SOUPS 623488 WITH SCORE 624523.372
AT ITER 9030 NEW BEST:: SOT 4886101 SOS 1035578 HAS SOPS 1035578 HAS SOUS 623463 HAS SOUPS 623463 WITH SCORE 624498.578
AT ITER 9032 NEW BEST:: SOT 4885840 SOS 1035314 HAS SOPS 1035314 HAS SOUS 623316 HAS SOUPS 623316 WITH SCORE 624351.314
AT ITER 9057 NEW BEST:: SOT 4885840 SOS 1035241 HAS SOPS 1035241 HAS SOUS 623135 HAS SOUPS 623135 WITH SCORE 624170.241
AT ITER 9063 NEW BEST:: SOT 4885840 SOS 1035241 HAS SOPS 1035241 HAS SOUS 623110 HAS SOUPS 623110 WITH SCORE 624145.241
AT ITER 9068 NEW BEST:: SOT 4885706 SOS 1034973 HAS SOPS 1034973 HAS SOUS 622976 HAS SOUPS 622976 WITH SCORE 624010.973
AT ITER 9074 NEW BEST:: SOT 4885781 SOS 1034740 HAS SOPS 1034740 HAS SOUS 622766 HAS SOUPS 622766 WITH SCORE 623800.74
AT ITER 9078 NEW BEST:: SOT 4885994 SOS 1033819 HAS SOPS 1033819 HAS SOUS 622743 HAS SOUPS 622743 WITH SCORE 623776.819
AT ITER 9105 NEW BEST:: SOT 4885994 SOS 1033544 HAS SOPS 1033544 HAS SOUS 622743 HAS SOUPS 622743 WITH SCORE 623776.544
AT ITER 9111 NEW BEST:: SOT 4885884 SOS 1033379 HAS SOPS 1033379 HAS SOUS 622578 HAS SOUPS 622578 WITH SCORE 623611.379
AT ITER 9246 NEW BEST:: SOT 4885830 SOS 1033271 HAS SOPS 1033271 HAS SOUS 622497 HAS SOUPS 622497 WITH SCORE 623530.271
AT ITER 9254 NEW BEST:: SOT 4885774 SOS 1033159 HAS SOPS 1033159 HAS SOUS 622385 HAS SOUPS 622385 WITH SCORE 623418.159
AT ITER 9279 NEW BEST:: SOT 4885672 SOS 1033129 HAS SOPS 1033129 HAS SOUS 622355 HAS SOUPS 622355 WITH SCORE 623388.129
AT ITER 9298 NEW BEST:: SOT 4885146 SOS 1033184 HAS SOPS 1033184 HAS SOUS 621893 HAS SOUPS 621893 WITH SCORE 622926.184
AT ITER 9331 NEW BEST:: SOT 4885267 SOS 1034360 HAS SOPS 1034360 HAS SOUS 621780 HAS SOUPS 621780 WITH SCORE 622814.36
AT ITER 9345 NEW BEST:: SOT 4885195 SOS 1035511 HAS SOPS 1035511 HAS SOUS 621635 HAS SOUPS 621635 WITH SCORE 622670.511
AT ITER 9393 NEW BEST:: SOT 4884766 SOS 1034653 HAS SOPS 1034653 HAS SOUS 621135 HAS SOUPS 621135 WITH SCORE 622169.653
AT ITER 9433 NEW BEST:: SOT 4884762 SOS 1034452 HAS SOPS 1034452 HAS SOUS 621127 HAS SOUPS 621127 WITH SCORE 622161.452
AT ITER 9444 NEW BEST:: SOT 4884762 SOS 1034452 HAS SOPS 1034452 HAS SOUS 621126 HAS SOUPS 621126 WITH SCORE 622160.452
AT ITER 9450 NEW BEST:: SOT 4884979 SOS 1034886 HAS SOPS 1034886 HAS SOUS 620948 HAS SOUPS 620948 WITH SCORE 621982.886
AT ITER 9461 NEW BEST:: SOT 4884718 SOS 1034654 HAS SOPS 1034654 HAS SOUS 620716 HAS SOUPS 620716 WITH SCORE 621750.654
AT ITER 9466 NEW BEST:: SOT 4884336 SOS 1034345 HAS SOPS 1034345 HAS SOUS 620370 HAS SOUPS 620370 WITH SCORE 621404.345
AT ITER 9489 NEW BEST:: SOT 4884320 SOS 1034313 HAS SOPS 1034313 HAS SOUS 620354 HAS SOUPS 620354 WITH SCORE 621388.313
AT ITER 9552 NEW BEST:: SOT 4883726 SOS 1034562 HAS SOPS 1034562 HAS SOUS 620238 HAS SOUPS 620238 WITH SCORE 621272.562
AT ITER 9589 NEW BEST:: SOT 4883422 SOS 1034764 HAS SOPS 1034764 HAS SOUS 620035 HAS SOUPS 620035 WITH SCORE 621069.764
AT ITER 9596 NEW BEST:: SOT 4883458 SOS 1034836 HAS SOPS 1034836 HAS SOUS 619983 HAS SOUPS 619983 WITH SCORE 621017.836
AT ITER 9611 NEW BEST:: SOT 4883428 SOS 1034777 HAS SOPS 1034777 HAS SOUS 619924 HAS SOUPS 619924 WITH SCORE 620958.777
AT ITER 9621 NEW BEST:: SOT 4882750 SOS 1034363 HAS SOPS 1034363 HAS SOUS 619466 HAS SOUPS 619466 WITH SCORE 620500.363
AT ITER 9628 NEW BEST:: SOT 4882830 SOS 1034359 HAS SOPS 1034359 HAS SOUS 619462 HAS SOUPS 619462 WITH SCORE 620496.359
AT ITER 9630 NEW BEST:: SOT 4882765 SOS 1034229 HAS SOPS 1034229 HAS SOUS 619350 HAS SOUPS 619350 WITH SCORE 620384.229
AT ITER 9662 NEW BEST:: SOT 4882916 SOS 1034369 HAS SOPS 1034369 HAS SOUS 619342 HAS SOUPS 619342 WITH SCORE 620376.369
AT ITER 9696 NEW BEST:: SOT 4882897 SOS 1034350 HAS SOPS 1034350 HAS SOUS 619293 HAS SOUPS 619293 WITH SCORE 620327.35
AT ITER 9745 NEW BEST:: SOT 4882918 SOS 1034323 HAS SOPS 1034323 HAS SOUS 619270 HAS SOUPS 619270 WITH SCORE 620304.323
AT ITER 9747 NEW BEST:: SOT 4882837 SOS 1034161 HAS SOPS 1034161 HAS SOUS 619108 HAS SOUPS 619108 WITH SCORE 620142.161
AT ITER 9757 NEW BEST:: SOT 4882616 SOS 1034154 HAS SOPS 1034154 HAS SOUS 619101 HAS SOUPS 619101 WITH SCORE 620135.154
AT ITER 9766 NEW BEST:: SOT 4882606 SOS 1034134 HAS SOPS 1034134 HAS SOUS 619081 HAS SOUPS 619081 WITH SCORE 620115.134
AT ITER 9797 NEW BEST:: SOT 4882606 SOS 1033828 HAS SOPS 1033828 HAS SOUS 619081 HAS SOUPS 619081 WITH SCORE 620114.828
AT ITER 9806 NEW BEST:: SOT 4882709 SOS 1034660 HAS SOPS 1034660 HAS SOUS 618885 HAS SOUPS 618885 WITH SCORE 619919.66
AT ITER 9824 NEW BEST:: SOT 4882780 SOS 1034290 HAS SOPS 1034290 HAS SOUS 618771 HAS SOUPS 618771 WITH SCORE 619805.29
AT ITER 9844 NEW BEST:: SOT 4882780 SOS 1034483 HAS SOPS 1034483 HAS SOUS 618770 HAS SOUPS 618770 WITH SCORE 619804.483
AT ITER 9883 NEW BEST:: SOT 4882790 SOS 1033492 HAS SOPS 1033492 HAS SOUS 618686 HAS SOUPS 618686 WITH SCORE 619719.492
AT ITER 9896 NEW BEST:: SOT 4882952 SOS 1033330 HAS SOPS 1033330 HAS SOUS 618686 HAS SOUPS 618686 WITH SCORE 619719.33
AT ITER 9897 NEW BEST:: SOT 4882595 SOS 1032616 HAS SOPS 1032616 HAS SOUS 617972 HAS SOUPS 617972 WITH SCORE 619004.616
AT ITER 9947 NEW BEST:: SOT 4882439 SOS 1032304 HAS SOPS 1032304 HAS SOUS 617660 HAS SOUPS 617660 WITH SCORE 618692.304

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="DLCround-PT-06b"
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 DLCround-PT-06b, 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 r048-ebro-158902542300512"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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