Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r099-tall-167814472700680.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool 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 r099-tall-167814472700680
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.5K Feb 25 18:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 18:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 18:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 18:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.8K Feb 25 18:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 18:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 18:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Feb 25 18:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 813K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678256988103

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

Filename model.pnml
Petri model created: 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 15 NEW BEST:: SOT 4957414 SOS 1097042 HAS SOPS 1097042 HAS SOUS 712705 HAS SOUPS 712705 WITH SCORE 713802.042
AT ITER 20 NEW BEST:: SOT 4957414 SOS 1096922 HAS SOPS 1096922 HAS SOUS 712705 HAS SOUPS 712705 WITH SCORE 713801.922
AT ITER 35 NEW BEST:: SOT 4957414 SOS 1096922 HAS SOPS 1096922 HAS SOUS 712664 HAS SOUPS 712664 WITH SCORE 713760.922
AT ITER 48 NEW BEST:: SOT 4957414 SOS 1097021 HAS SOPS 1097021 HAS SOUS 712663 HAS SOUPS 712663 WITH SCORE 713760.021
AT ITER 65 NEW BEST:: SOT 4956973 SOS 1096139 HAS SOPS 1096139 HAS SOUS 712123 HAS SOUPS 712123 WITH SCORE 713219.139
AT ITER 75 NEW BEST:: SOT 4956717 SOS 1096341 HAS SOPS 1096341 HAS SOUS 712105 HAS SOUPS 712105 WITH SCORE 713201.341
AT ITER 79 NEW BEST:: SOT 4956656 SOS 1096813 HAS SOPS 1096813 HAS SOUS 712044 HAS SOUPS 712044 WITH SCORE 713140.813
AT ITER 83 NEW BEST:: SOT 4956650 SOS 1096801 HAS SOPS 1096801 HAS SOUS 712032 HAS SOUPS 712032 WITH SCORE 713128.801
AT ITER 87 NEW BEST:: SOT 4956650 SOS 1096612 HAS SOPS 1096612 HAS SOUS 711843 HAS SOUPS 711843 WITH SCORE 712939.612
AT ITER 88 NEW BEST:: SOT 4956649 SOS 1096610 HAS SOPS 1096610 HAS SOUS 711841 HAS SOUPS 711841 WITH SCORE 712937.61
AT ITER 108 NEW BEST:: SOT 4956491 SOS 1099974 HAS SOPS 1099974 HAS SOUS 711524 HAS SOUPS 711524 WITH SCORE 712623.974
AT ITER 132 NEW BEST:: SOT 4956166 SOS 1099556 HAS SOPS 1099556 HAS SOUS 711106 HAS SOUPS 711106 WITH SCORE 712205.556
AT ITER 142 NEW BEST:: SOT 4955313 SOS 1099868 HAS SOPS 1099868 HAS SOUS 710378 HAS SOUPS 710378 WITH SCORE 711477.868
AT ITER 148 NEW BEST:: SOT 4955312 SOS 1099866 HAS SOPS 1099866 HAS SOUS 710376 HAS SOUPS 710376 WITH SCORE 711475.866
AT ITER 169 NEW BEST:: SOT 4955274 SOS 1099856 HAS SOPS 1099856 HAS SOUS 710375 HAS SOUPS 710375 WITH SCORE 711474.856
AT ITER 175 NEW BEST:: SOT 4955180 SOS 1099668 HAS SOPS 1099668 HAS SOUS 710187 HAS SOUPS 710187 WITH SCORE 711286.668
AT ITER 177 NEW BEST:: SOT 4954968 SOS 1099658 HAS SOPS 1099658 HAS SOUS 710096 HAS SOUPS 710096 WITH SCORE 711195.658
AT ITER 178 NEW BEST:: SOT 4954618 SOS 1099308 HAS SOPS 1099308 HAS SOUS 709746 HAS SOUPS 709746 WITH SCORE 710845.308
AT ITER 224 NEW BEST:: SOT 4954426 SOS 1099212 HAS SOPS 1099212 HAS SOUS 709650 HAS SOUPS 709650 WITH SCORE 710749.212
AT ITER 234 NEW BEST:: SOT 4954290 SOS 1099136 HAS SOPS 1099136 HAS SOUS 709583 HAS SOUPS 709583 WITH SCORE 710682.136
AT ITER 251 NEW BEST:: SOT 4953931 SOS 1099495 HAS SOPS 1099495 HAS SOUS 709137 HAS SOUPS 709137 WITH SCORE 710236.495
AT ITER 253 NEW BEST:: SOT 4953853 SOS 1099339 HAS SOPS 1099339 HAS SOUS 708981 HAS SOUPS 708981 WITH SCORE 710080.339
AT ITER 275 NEW BEST:: SOT 4953853 SOS 1099287 HAS SOPS 1099287 HAS SOUS 708929 HAS SOUPS 708929 WITH SCORE 710028.287
AT ITER 279 NEW BEST:: SOT 4952863 SOS 1098132 HAS SOPS 1098132 HAS SOUS 708701 HAS SOUPS 708701 WITH SCORE 709799.132
AT ITER 289 NEW BEST:: SOT 4952965 SOS 1098030 HAS SOPS 1098030 HAS SOUS 708701 HAS SOUPS 708701 WITH SCORE 709799.03
AT ITER 330 NEW BEST:: SOT 4952758 SOS 1097819 HAS SOPS 1097819 HAS SOUS 708493 HAS SOUPS 708493 WITH SCORE 709590.819
AT ITER 337 NEW BEST:: SOT 4952139 SOS 1097574 HAS SOPS 1097574 HAS SOUS 708205 HAS SOUPS 708205 WITH SCORE 709302.574
AT ITER 346 NEW BEST:: SOT 4952108 SOS 1097791 HAS SOPS 1097791 HAS SOUS 708143 HAS SOUPS 708143 WITH SCORE 709240.791
AT ITER 348 NEW BEST:: SOT 4952021 SOS 1097617 HAS SOPS 1097617 HAS SOUS 707442 HAS SOUPS 707442 WITH SCORE 708539.617
AT ITER 375 NEW BEST:: SOT 4951778 SOS 1097455 HAS SOPS 1097455 HAS SOUS 707280 HAS SOUPS 707280 WITH SCORE 708377.455
AT ITER 432 NEW BEST:: SOT 4951760 SOS 1097629 HAS SOPS 1097629 HAS SOUS 707262 HAS SOUPS 707262 WITH SCORE 708359.629
AT ITER 452 NEW BEST:: SOT 4951541 SOS 1097191 HAS SOPS 1097191 HAS SOUS 707043 HAS SOUPS 707043 WITH SCORE 708140.191
AT ITER 506 NEW BEST:: SOT 4951156 SOS 1096796 HAS SOPS 1096796 HAS SOUS 706657 HAS SOUPS 706657 WITH SCORE 707753.796
AT ITER 518 NEW BEST:: SOT 4950804 SOS 1096845 HAS SOPS 1096845 HAS SOUS 706565 HAS SOUPS 706565 WITH SCORE 707661.845
AT ITER 560 NEW BEST:: SOT 4950796 SOS 1096829 HAS SOPS 1096829 HAS SOUS 706549 HAS SOUPS 706549 WITH SCORE 707645.829
AT ITER 588 NEW BEST:: SOT 4950471 SOS 1097147 HAS SOPS 1097147 HAS SOUS 706157 HAS SOUPS 706157 WITH SCORE 707254.147
AT ITER 591 NEW BEST:: SOT 4950288 SOS 1096964 HAS SOPS 1096964 HAS SOUS 705913 HAS SOUPS 705913 WITH SCORE 707009.964
AT ITER 592 NEW BEST:: SOT 4950248 SOS 1096884 HAS SOPS 1096884 HAS SOUS 705833 HAS SOUPS 705833 WITH SCORE 706929.884
AT ITER 621 NEW BEST:: SOT 4950247 SOS 1096882 HAS SOPS 1096882 HAS SOUS 705831 HAS SOUPS 705831 WITH SCORE 706927.882
AT ITER 657 NEW BEST:: SOT 4948999 SOS 1095274 HAS SOPS 1095274 HAS SOUS 704223 HAS SOUPS 704223 WITH SCORE 705318.274
AT ITER 664 NEW BEST:: SOT 4948496 SOS 1095274 HAS SOPS 1095274 HAS SOUS 703539 HAS SOUPS 703539 WITH SCORE 704634.274
AT ITER 670 NEW BEST:: SOT 4948114 SOS 1094892 HAS SOPS 1094892 HAS SOUS 703539 HAS SOUPS 703539 WITH SCORE 704633.892
AT ITER 699 NEW BEST:: SOT 4948114 SOS 1094892 HAS SOPS 1094892 HAS SOUS 703513 HAS SOUPS 703513 WITH SCORE 704607.892
AT ITER 702 NEW BEST:: SOT 4947778 SOS 1095130 HAS SOPS 1095130 HAS SOUS 703177 HAS SOUPS 703177 WITH SCORE 704272.13
AT ITER 724 NEW BEST:: SOT 4947778 SOS 1095003 HAS SOPS 1095003 HAS SOUS 703050 HAS SOUPS 703050 WITH SCORE 704145.003
AT ITER 744 NEW BEST:: SOT 4947321 SOS 1094089 HAS SOPS 1094089 HAS SOUS 701957 HAS SOUPS 701957 WITH SCORE 703051.089
AT ITER 749 NEW BEST:: SOT 4947042 SOS 1093807 HAS SOPS 1093807 HAS SOUS 701677 HAS SOUPS 701677 WITH SCORE 702770.807
AT ITER 812 NEW BEST:: SOT 4947042 SOS 1093807 HAS SOPS 1093807 HAS SOUS 701559 HAS SOUPS 701559 WITH SCORE 702652.807
AT ITER 813 NEW BEST:: SOT 4947042 SOS 1093592 HAS SOPS 1093592 HAS SOUS 701559 HAS SOUPS 701559 WITH SCORE 702652.592
AT ITER 819 NEW BEST:: SOT 4946770 SOS 1093873 HAS SOPS 1093873 HAS SOUS 701287 HAS SOUPS 701287 WITH SCORE 702380.873
AT ITER 830 NEW BEST:: SOT 4946069 SOS 1093371 HAS SOPS 1093371 HAS SOUS 700785 HAS SOUPS 700785 WITH SCORE 701878.371
AT ITER 852 NEW BEST:: SOT 4945468 SOS 1093432 HAS SOPS 1093432 HAS SOUS 700738 HAS SOUPS 700738 WITH SCORE 701831.432
AT ITER 886 NEW BEST:: SOT 4945510 SOS 1093406 HAS SOPS 1093406 HAS SOUS 700712 HAS SOUPS 700712 WITH SCORE 701805.406
AT ITER 894 NEW BEST:: SOT 4945249 SOS 1092884 HAS SOPS 1092884 HAS SOUS 700450 HAS SOUPS 700450 WITH SCORE 701542.884
AT ITER 947 NEW BEST:: SOT 4945135 SOS 1092827 HAS SOPS 1092827 HAS SOUS 700393 HAS SOUPS 700393 WITH SCORE 701485.827
AT ITER 979 NEW BEST:: SOT 4945114 SOS 1092785 HAS SOPS 1092785 HAS SOUS 700351 HAS SOUPS 700351 WITH SCORE 701443.785
AT ITER 1001 NEW BEST:: SOT 4944850 SOS 1092557 HAS SOPS 1092557 HAS SOUS 700023 HAS SOUPS 700023 WITH SCORE 701115.557
AT ITER 1024 NEW BEST:: SOT 4944742 SOS 1092692 HAS SOPS 1092692 HAS SOUS 699914 HAS SOUPS 699914 WITH SCORE 701006.692
AT ITER 1040 NEW BEST:: SOT 4944382 SOS 1092332 HAS SOPS 1092332 HAS SOUS 699554 HAS SOUPS 699554 WITH SCORE 700646.332
AT ITER 1049 NEW BEST:: SOT 4944381 SOS 1092330 HAS SOPS 1092330 HAS SOUS 699552 HAS SOUPS 699552 WITH SCORE 700644.33
AT ITER 1071 NEW BEST:: SOT 4944109 SOS 1091786 HAS SOPS 1091786 HAS SOUS 699008 HAS SOUPS 699008 WITH SCORE 700099.786
AT ITER 1075 NEW BEST:: SOT 4941997 SOS 1089928 HAS SOPS 1089928 HAS SOUS 697159 HAS SOUPS 697159 WITH SCORE 698248.928
AT ITER 1111 NEW BEST:: SOT 4941997 SOS 1089928 HAS SOPS 1089928 HAS SOUS 697016 HAS SOUPS 697016 WITH SCORE 698105.928
AT ITER 1113 NEW BEST:: SOT 4941997 SOS 1089928 HAS SOPS 1089928 HAS SOUS 696479 HAS SOUPS 696479 WITH SCORE 697568.928
AT ITER 1130 NEW BEST:: SOT 4940097 SOS 1090795 HAS SOPS 1090795 HAS SOUS 695847 HAS SOUPS 695847 WITH SCORE 696937.795
AT ITER 1150 NEW BEST:: SOT 4940066 SOS 1090733 HAS SOPS 1090733 HAS SOUS 695785 HAS SOUPS 695785 WITH SCORE 696875.733
AT ITER 1152 NEW BEST:: SOT 4939914 SOS 1090882 HAS SOPS 1090882 HAS SOUS 695632 HAS SOUPS 695632 WITH SCORE 696722.882
AT ITER 1175 NEW BEST:: SOT 4939913 SOS 1090880 HAS SOPS 1090880 HAS SOUS 695630 HAS SOUPS 695630 WITH SCORE 696720.88
AT ITER 1188 NEW BEST:: SOT 4939913 SOS 1090724 HAS SOPS 1090724 HAS SOUS 695630 HAS SOUPS 695630 WITH SCORE 696720.724
AT ITER 1192 NEW BEST:: SOT 4939636 SOS 1091191 HAS SOPS 1091191 HAS SOUS 695075 HAS SOUPS 695075 WITH SCORE 696166.191
AT ITER 1197 NEW BEST:: SOT 4939267 SOS 1090951 HAS SOPS 1090951 HAS SOUS 694835 HAS SOUPS 694835 WITH SCORE 695925.951
AT ITER 1242 NEW BEST:: SOT 4939267 SOS 1090841 HAS SOPS 1090841 HAS SOUS 694780 HAS SOUPS 694780 WITH SCORE 695870.841
AT ITER 1249 NEW BEST:: SOT 4939267 SOS 1091064 HAS SOPS 1091064 HAS SOUS 694779 HAS SOUPS 694779 WITH SCORE 695870.064
AT ITER 1252 NEW BEST:: SOT 4939285 SOS 1091100 HAS SOPS 1091100 HAS SOUS 694730 HAS SOUPS 694730 WITH SCORE 695821.1
AT ITER 1258 NEW BEST:: SOT 4939165 SOS 1090980 HAS SOPS 1090980 HAS SOUS 694610 HAS SOUPS 694610 WITH SCORE 695700.98
AT ITER 1260 NEW BEST:: SOT 4938853 SOS 1089057 HAS SOPS 1089057 HAS SOUS 694298 HAS SOUPS 694298 WITH SCORE 695387.057
AT ITER 1292 NEW BEST:: SOT 4938853 SOS 1089057 HAS SOPS 1089057 HAS SOUS 694297 HAS SOUPS 694297 WITH SCORE 695386.057
AT ITER 1313 NEW BEST:: SOT 4938429 SOS 1088633 HAS SOPS 1088633 HAS SOUS 693873 HAS SOUPS 693873 WITH SCORE 694961.633
AT ITER 1339 NEW BEST:: SOT 4938323 SOS 1088593 HAS SOPS 1088593 HAS SOUS 693833 HAS SOUPS 693833 WITH SCORE 694921.593
AT ITER 1357 NEW BEST:: SOT 4938066 SOS 1088079 HAS SOPS 1088079 HAS SOUS 693208 HAS SOUPS 693208 WITH SCORE 694296.079
AT ITER 1360 NEW BEST:: SOT 4937606 SOS 1087849 HAS SOPS 1087849 HAS SOUS 692978 HAS SOUPS 692978 WITH SCORE 694065.849
AT ITER 1374 NEW BEST:: SOT 4937682 SOS 1088001 HAS SOPS 1088001 HAS SOUS 692833 HAS SOUPS 692833 WITH SCORE 693921.001
AT ITER 1378 NEW BEST:: SOT 4937682 SOS 1088251 HAS SOPS 1088251 HAS SOUS 692831 HAS SOUPS 692831 WITH SCORE 693919.251
AT ITER 1404 NEW BEST:: SOT 4937584 SOS 1088055 HAS SOPS 1088055 HAS SOUS 692635 HAS SOUPS 692635 WITH SCORE 693723.055
AT ITER 1407 NEW BEST:: SOT 4937469 SOS 1088396 HAS SOPS 1088396 HAS SOUS 692634 HAS SOUPS 692634 WITH SCORE 693722.396
AT ITER 1414 NEW BEST:: SOT 4937237 SOS 1087943 HAS SOPS 1087943 HAS SOUS 692197 HAS SOUPS 692197 WITH SCORE 693284.943
AT ITER 1415 NEW BEST:: SOT 4937051 SOS 1087571 HAS SOPS 1087571 HAS SOUS 691825 HAS SOUPS 691825 WITH SCORE 692912.571
AT ITER 1441 NEW BEST:: SOT 4936844 SOS 1087311 HAS SOPS 1087311 HAS SOUS 691799 HAS SOUPS 691799 WITH SCORE 692886.311
AT ITER 1473 NEW BEST:: SOT 4936844 SOS 1087161 HAS SOPS 1087161 HAS SOUS 691724 HAS SOUPS 691724 WITH SCORE 692811.161
AT ITER 1478 NEW BEST:: SOT 4936844 SOS 1087161 HAS SOPS 1087161 HAS SOUS 691723 HAS SOUPS 691723 WITH SCORE 692810.161
AT ITER 1516 NEW BEST:: SOT 4936844 SOS 1087361 HAS SOPS 1087361 HAS SOUS 691722 HAS SOUPS 691722 WITH SCORE 692809.361
AT ITER 1532 NEW BEST:: SOT 4936844 SOS 1088305 HAS SOPS 1088305 HAS SOUS 691721 HAS SOUPS 691721 WITH SCORE 692809.305
AT ITER 1541 NEW BEST:: SOT 4936379 SOS 1087228 HAS SOPS 1087228 HAS SOUS 691103 HAS SOUPS 691103 WITH SCORE 692190.228
AT ITER 1549 NEW BEST:: SOT 4936037 SOS 1087246 HAS SOPS 1087246 HAS SOUS 690995 HAS SOUPS 690995 WITH SCORE 692082.246
AT ITER 1557 NEW BEST:: SOT 4935986 SOS 1087144 HAS SOPS 1087144 HAS SOUS 690893 HAS SOUPS 690893 WITH SCORE 691980.144
AT ITER 1570 NEW BEST:: SOT 4935512 SOS 1086670 HAS SOPS 1086670 HAS SOUS 690893 HAS SOUPS 690893 WITH SCORE 691979.67
AT ITER 1609 NEW BEST:: SOT 4935512 SOS 1086634 HAS SOPS 1086634 HAS SOUS 690857 HAS SOUPS 690857 WITH SCORE 691943.634
AT ITER 1623 NEW BEST:: SOT 4935475 SOS 1086560 HAS SOPS 1086560 HAS SOUS 690842 HAS SOUPS 690842 WITH SCORE 691928.56
AT ITER 1648 NEW BEST:: SOT 4935357 SOS 1086442 HAS SOPS 1086442 HAS SOUS 690724 HAS SOUPS 690724 WITH SCORE 691810.442
AT ITER 1681 NEW BEST:: SOT 4935280 SOS 1086288 HAS SOPS 1086288 HAS SOUS 690570 HAS SOUPS 690570 WITH SCORE 691656.288
AT ITER 1690 NEW BEST:: SOT 4935232 SOS 1086767 HAS SOPS 1086767 HAS SOUS 690546 HAS SOUPS 690546 WITH SCORE 691632.767
AT ITER 1706 NEW BEST:: SOT 4934769 SOS 1086303 HAS SOPS 1086303 HAS SOUS 690082 HAS SOUPS 690082 WITH SCORE 691168.303
AT ITER 1716 NEW BEST:: SOT 4934565 SOS 1086828 HAS SOPS 1086828 HAS SOUS 689878 HAS SOUPS 689878 WITH SCORE 690964.828
AT ITER 1735 NEW BEST:: SOT 4934247 SOS 1086192 HAS SOPS 1086192 HAS SOUS 689491 HAS SOUPS 689491 WITH SCORE 690577.192
AT ITER 1752 NEW BEST:: SOT 4934216 SOS 1086130 HAS SOPS 1086130 HAS SOUS 689429 HAS SOUPS 689429 WITH SCORE 690515.13
AT ITER 1788 NEW BEST:: SOT 4934063 SOS 1085977 HAS SOPS 1085977 HAS SOUS 689276 HAS SOUPS 689276 WITH SCORE 690361.977
AT ITER 1852 NEW BEST:: SOT 4932758 SOS 1086123 HAS SOPS 1086123 HAS SOUS 688678 HAS SOUPS 688678 WITH SCORE 689764.123
AT ITER 1873 NEW BEST:: SOT 4932745 SOS 1086097 HAS SOPS 1086097 HAS SOUS 688652 HAS SOUPS 688652 WITH SCORE 689738.097
AT ITER 1883 NEW BEST:: SOT 4932691 SOS 1085989 HAS SOPS 1085989 HAS SOUS 688544 HAS SOUPS 688544 WITH SCORE 689629.989
AT ITER 1900 NEW BEST:: SOT 4932792 SOS 1084122 HAS SOPS 1084122 HAS SOUS 688265 HAS SOUPS 688265 WITH SCORE 689349.122
AT ITER 1903 NEW BEST:: SOT 4932700 SOS 1084972 HAS SOPS 1084972 HAS SOUS 688056 HAS SOUPS 688056 WITH SCORE 689140.972
AT ITER 1915 NEW BEST:: SOT 4932118 SOS 1084390 HAS SOPS 1084390 HAS SOUS 687474 HAS SOUPS 687474 WITH SCORE 688558.39
AT ITER 1920 NEW BEST:: SOT 4932110 SOS 1084395 HAS SOPS 1084395 HAS SOUS 687465 HAS SOUPS 687465 WITH SCORE 688549.395
AT ITER 1934 NEW BEST:: SOT 4932110 SOS 1085069 HAS SOPS 1085069 HAS SOUS 687464 HAS SOUPS 687464 WITH SCORE 688549.069
AT ITER 1936 NEW BEST:: SOT 4932110 SOS 1085069 HAS SOPS 1085069 HAS SOUS 687317 HAS SOUPS 687317 WITH SCORE 688402.069
AT ITER 1967 NEW BEST:: SOT 4932110 SOS 1085068 HAS SOPS 1085068 HAS SOUS 687315 HAS SOUPS 687315 WITH SCORE 688400.068
AT ITER 1981 NEW BEST:: SOT 4931921 SOS 1084879 HAS SOPS 1084879 HAS SOUS 687126 HAS SOUPS 687126 WITH SCORE 688210.879
AT ITER 2051 NEW BEST:: SOT 4931875 SOS 1084856 HAS SOPS 1084856 HAS SOUS 687103 HAS SOUPS 687103 WITH SCORE 688187.856
AT ITER 2097 NEW BEST:: SOT 4931446 SOS 1084691 HAS SOPS 1084691 HAS SOUS 686938 HAS SOUPS 686938 WITH SCORE 688022.691
AT ITER 2100 NEW BEST:: SOT 4931354 SOS 1084507 HAS SOPS 1084507 HAS SOUS 686866 HAS SOUPS 686866 WITH SCORE 687950.507
AT ITER 2119 NEW BEST:: SOT 4931427 SOS 1083537 HAS SOPS 1083537 HAS SOUS 686603 HAS SOUPS 686603 WITH SCORE 687686.537
AT ITER 2148 NEW BEST:: SOT 4931268 SOS 1083378 HAS SOPS 1083378 HAS SOUS 686444 HAS SOUPS 686444 WITH SCORE 687527.378
AT ITER 2166 NEW BEST:: SOT 4931316 SOS 1083474 HAS SOPS 1083474 HAS SOUS 686385 HAS SOUPS 686385 WITH SCORE 687468.474
AT ITER 2171 NEW BEST:: SOT 4931184 SOS 1083408 HAS SOPS 1083408 HAS SOUS 686319 HAS SOUPS 686319 WITH SCORE 687402.408
AT ITER 2172 NEW BEST:: SOT 4931052 SOS 1083012 HAS SOPS 1083012 HAS SOUS 686121 HAS SOUPS 686121 WITH SCORE 687204.012
AT ITER 2202 NEW BEST:: SOT 4931052 SOS 1082892 HAS SOPS 1082892 HAS SOUS 686061 HAS SOUPS 686061 WITH SCORE 687143.892
AT ITER 2209 NEW BEST:: SOT 4930995 SOS 1082778 HAS SOPS 1082778 HAS SOUS 685947 HAS SOUPS 685947 WITH SCORE 687029.778
AT ITER 2219 NEW BEST:: SOT 4930745 SOS 1083021 HAS SOPS 1083021 HAS SOUS 685882 HAS SOUPS 685882 WITH SCORE 686965.021
AT ITER 2222 NEW BEST:: SOT 4930745 SOS 1083672 HAS SOPS 1083672 HAS SOUS 685881 HAS SOUPS 685881 WITH SCORE 686964.672
AT ITER 2239 NEW BEST:: SOT 4930582 SOS 1083712 HAS SOPS 1083712 HAS SOUS 685840 HAS SOUPS 685840 WITH SCORE 686923.712
AT ITER 2245 NEW BEST:: SOT 4930581 SOS 1083988 HAS SOPS 1083988 HAS SOUS 685837 HAS SOUPS 685837 WITH SCORE 686920.988
AT ITER 2253 NEW BEST:: SOT 4930473 SOS 1083988 HAS SOPS 1083988 HAS SOUS 685729 HAS SOUPS 685729 WITH SCORE 686812.988
AT ITER 2255 NEW BEST:: SOT 4930115 SOS 1083729 HAS SOPS 1083729 HAS SOUS 685411 HAS SOUPS 685411 WITH SCORE 686494.729
AT ITER 2278 NEW BEST:: SOT 4929831 SOS 1083445 HAS SOPS 1083445 HAS SOUS 685127 HAS SOUPS 685127 WITH SCORE 686210.445
AT ITER 2286 NEW BEST:: SOT 4929624 SOS 1083031 HAS SOPS 1083031 HAS SOUS 684615 HAS SOUPS 684615 WITH SCORE 685698.031
AT ITER 2294 NEW BEST:: SOT 4929529 SOS 1082841 HAS SOPS 1082841 HAS SOUS 684425 HAS SOUPS 684425 WITH SCORE 685507.841
AT ITER 2298 NEW BEST:: SOT 4929203 SOS 1082511 HAS SOPS 1082511 HAS SOUS 684098 HAS SOUPS 684098 WITH SCORE 685180.511
AT ITER 2305 NEW BEST:: SOT 4929168 SOS 1082510 HAS SOPS 1082510 HAS SOUS 684097 HAS SOUPS 684097 WITH SCORE 685179.51
AT ITER 2317 NEW BEST:: SOT 4929113 SOS 1082400 HAS SOPS 1082400 HAS SOUS 683987 HAS SOUPS 683987 WITH SCORE 685069.4
AT ITER 2339 NEW BEST:: SOT 4927694 SOS 1087082 HAS SOPS 1087082 HAS SOUS 683849 HAS SOUPS 683849 WITH SCORE 684936.082
AT ITER 2342 NEW BEST:: SOT 4927326 SOS 1086714 HAS SOPS 1086714 HAS SOUS 683481 HAS SOUPS 683481 WITH SCORE 684567.714
AT ITER 2349 NEW BEST:: SOT 4926820 SOS 1085438 HAS SOPS 1085438 HAS SOUS 682898 HAS SOUPS 682898 WITH SCORE 683983.438
AT ITER 2367 NEW BEST:: SOT 4926772 SOS 1085414 HAS SOPS 1085414 HAS SOUS 682850 HAS SOUPS 682850 WITH SCORE 683935.414
AT ITER 2380 NEW BEST:: SOT 4926560 SOS 1084990 HAS SOPS 1084990 HAS SOUS 682638 HAS SOUPS 682638 WITH SCORE 683722.99
AT ITER 2414 NEW BEST:: SOT 4926459 SOS 1084788 HAS SOPS 1084788 HAS SOUS 682025 HAS SOUPS 682025 WITH SCORE 683109.788
AT ITER 2415 NEW BEST:: SOT 4925977 SOS 1083348 HAS SOPS 1083348 HAS SOUS 681393 HAS SOUPS 681393 WITH SCORE 682476.348
AT ITER 2445 NEW BEST:: SOT 4925977 SOS 1083348 HAS SOPS 1083348 HAS SOUS 681388 HAS SOUPS 681388 WITH SCORE 682471.348
AT ITER 2459 NEW BEST:: SOT 4925525 SOS 1083434 HAS SOPS 1083434 HAS SOUS 681185 HAS SOUPS 681185 WITH SCORE 682268.434
AT ITER 2515 NEW BEST:: SOT 4925395 SOS 1083369 HAS SOPS 1083369 HAS SOUS 681110 HAS SOUPS 681110 WITH SCORE 682193.369
AT ITER 2538 NEW BEST:: SOT 4925392 SOS 1083373 HAS SOPS 1083373 HAS SOUS 681105 HAS SOUPS 681105 WITH SCORE 682188.373
AT ITER 2554 NEW BEST:: SOT 4925338 SOS 1083677 HAS SOPS 1083677 HAS SOUS 680639 HAS SOUPS 680639 WITH SCORE 681722.677
AT ITER 2555 NEW BEST:: SOT 4925484 SOS 1083534 HAS SOPS 1083534 HAS SOUS 680496 HAS SOUPS 680496 WITH SCORE 681579.534
AT ITER 2561 NEW BEST:: SOT 4925339 SOS 1083244 HAS SOPS 1083244 HAS SOUS 680206 HAS SOUPS 680206 WITH SCORE 681289.244
AT ITER 2564 NEW BEST:: SOT 4925339 SOS 1083244 HAS SOPS 1083244 HAS SOUS 680203 HAS SOUPS 680203 WITH SCORE 681286.244
AT ITER 2570 NEW BEST:: SOT 4925173 SOS 1082414 HAS SOPS 1082414 HAS SOUS 679871 HAS SOUPS 679871 WITH SCORE 680953.414
AT ITER 2582 NEW BEST:: SOT 4925069 SOS 1082362 HAS SOPS 1082362 HAS SOUS 679819 HAS SOUPS 679819 WITH SCORE 680901.362
AT ITER 2606 NEW BEST:: SOT 4924942 SOS 1082108 HAS SOPS 1082108 HAS SOUS 679565 HAS SOUPS 679565 WITH SCORE 680647.108
AT ITER 2653 NEW BEST:: SOT 4924942 SOS 1077976 HAS SOPS 1077976 HAS SOUS 679062 HAS SOUPS 679062 WITH SCORE 680139.976
AT ITER 2654 NEW BEST:: SOT 4924941 SOS 1077974 HAS SOPS 1077974 HAS SOUS 679060 HAS SOUPS 679060 WITH SCORE 680137.974
AT ITER 2688 NEW BEST:: SOT 4924928 SOS 1077948 HAS SOPS 1077948 HAS SOUS 679047 HAS SOUPS 679047 WITH SCORE 680124.948
AT ITER 2704 NEW BEST:: SOT 4924446 SOS 1077863 HAS SOPS 1077863 HAS SOUS 678962 HAS SOUPS 678962 WITH SCORE 680039.863
AT ITER 2742 NEW BEST:: SOT 4923800 SOS 1077014 HAS SOPS 1077014 HAS SOUS 677995 HAS SOUPS 677995 WITH SCORE 679072.014
AT ITER 2750 NEW BEST:: SOT 4923766 SOS 1076946 HAS SOPS 1076946 HAS SOUS 677927 HAS SOUPS 677927 WITH SCORE 679003.946
AT ITER 2796 NEW BEST:: SOT 4923760 SOS 1076940 HAS SOPS 1076940 HAS SOUS 677927 HAS SOUPS 677927 WITH SCORE 679003.94
AT ITER 2797 NEW BEST:: SOT 4923569 SOS 1076940 HAS SOPS 1076940 HAS SOUS 677736 HAS SOUPS 677736 WITH SCORE 678812.94
AT ITER 2819 NEW BEST:: SOT 4923516 SOS 1076834 HAS SOPS 1076834 HAS SOUS 677630 HAS SOUPS 677630 WITH SCORE 678706.834
AT ITER 2823 NEW BEST:: SOT 4923516 SOS 1076765 HAS SOPS 1076765 HAS SOUS 677561 HAS SOUPS 677561 WITH SCORE 678637.765
AT ITER 2827 NEW BEST:: SOT 4923620 SOS 1076680 HAS SOPS 1076680 HAS SOUS 677476 HAS SOUPS 677476 WITH SCORE 678552.68
AT ITER 2861 NEW BEST:: SOT 4923601 SOS 1076517 HAS SOPS 1076517 HAS SOUS 677313 HAS SOUPS 677313 WITH SCORE 678389.517
AT ITER 2862 NEW BEST:: SOT 4923389 SOS 1076093 HAS SOPS 1076093 HAS SOUS 676995 HAS SOUPS 676995 WITH SCORE 678071.093
AT ITER 2865 NEW BEST:: SOT 4923421 SOS 1076157 HAS SOPS 1076157 HAS SOUS 676965 HAS SOUPS 676965 WITH SCORE 678041.157
AT ITER 2883 NEW BEST:: SOT 4923420 SOS 1076155 HAS SOPS 1076155 HAS SOUS 676963 HAS SOUPS 676963 WITH SCORE 678039.155
AT ITER 2912 NEW BEST:: SOT 4923377 SOS 1076069 HAS SOPS 1076069 HAS SOUS 676877 HAS SOUPS 676877 WITH SCORE 677953.069
AT ITER 2918 NEW BEST:: SOT 4923357 SOS 1076029 HAS SOPS 1076029 HAS SOUS 676837 HAS SOUPS 676837 WITH SCORE 677913.029
AT ITER 2920 NEW BEST:: SOT 4923191 SOS 1075697 HAS SOPS 1075697 HAS SOUS 676283 HAS SOUPS 676283 WITH SCORE 677358.697
AT ITER 2923 NEW BEST:: SOT 4923171 SOS 1075657 HAS SOPS 1075657 HAS SOUS 676243 HAS SOUPS 676243 WITH SCORE 677318.657
AT ITER 2940 NEW BEST:: SOT 4923171 SOS 1075579 HAS SOPS 1075579 HAS SOUS 676243 HAS SOUPS 676243 WITH SCORE 677318.579
AT ITER 2955 NEW BEST:: SOT 4923095 SOS 1075975 HAS SOPS 1075975 HAS SOUS 676138 HAS SOUPS 676138 WITH SCORE 677213.975
AT ITER 2974 NEW BEST:: SOT 4922893 SOS 1075571 HAS SOPS 1075571 HAS SOUS 675311 HAS SOUPS 675311 WITH SCORE 676386.571
AT ITER 2987 NEW BEST:: SOT 4922817 SOS 1075419 HAS SOPS 1075419 HAS SOUS 675159 HAS SOUPS 675159 WITH SCORE 676234.419
AT ITER 2990 NEW BEST:: SOT 4922781 SOS 1075374 HAS SOPS 1075374 HAS SOUS 675114 HAS SOUPS 675114 WITH SCORE 676189.374
AT ITER 2993 NEW BEST:: SOT 4922595 SOS 1075188 HAS SOPS 1075188 HAS SOUS 674928 HAS SOUPS 674928 WITH SCORE 676003.188
AT ITER 3049 NEW BEST:: SOT 4922213 SOS 1074158 HAS SOPS 1074158 HAS SOUS 674384 HAS SOUPS 674384 WITH SCORE 675458.158
AT ITER 3079 NEW BEST:: SOT 4922203 SOS 1074138 HAS SOPS 1074138 HAS SOUS 674374 HAS SOUPS 674374 WITH SCORE 675448.138
AT ITER 3112 NEW BEST:: SOT 4922175 SOS 1074137 HAS SOPS 1074137 HAS SOUS 674373 HAS SOUPS 674373 WITH SCORE 675447.137
AT ITER 3137 NEW BEST:: SOT 4922157 SOS 1074212 HAS SOPS 1074212 HAS SOUS 674297 HAS SOUPS 674297 WITH SCORE 675371.212
AT ITER 3138 NEW BEST:: SOT 4922093 SOS 1074212 HAS SOPS 1074212 HAS SOUS 674265 HAS SOUPS 674265 WITH SCORE 675339.212
AT ITER 3144 NEW BEST:: SOT 4922416 SOS 1074394 HAS SOPS 1074394 HAS SOUS 674192 HAS SOUPS 674192 WITH SCORE 675266.394
AT ITER 3198 NEW BEST:: SOT 4922081 SOS 1076739 HAS SOPS 1076739 HAS SOUS 673857 HAS SOUPS 673857 WITH SCORE 674933.739
AT ITER 3219 NEW BEST:: SOT 4922128 SOS 1076575 HAS SOPS 1076575 HAS SOUS 673818 HAS SOUPS 673818 WITH SCORE 674894.575
AT ITER 3232 NEW BEST:: SOT 4922341 SOS 1076362 HAS SOPS 1076362 HAS SOUS 673818 HAS SOUPS 673818 WITH SCORE 674894.362
AT ITER 3247 NEW BEST:: SOT 4922131 SOS 1076152 HAS SOPS 1076152 HAS SOUS 673608 HAS SOUPS 673608 WITH SCORE 674684.152
AT ITER 3260 NEW BEST:: SOT 4922131 SOS 1076152 HAS SOPS 1076152 HAS SOUS 673604 HAS SOUPS 673604 WITH SCORE 674680.152
AT ITER 3261 NEW BEST:: SOT 4922146 SOS 1076182 HAS SOPS 1076182 HAS SOUS 673502 HAS SOUPS 673502 WITH SCORE 674578.182
AT ITER 3274 NEW BEST:: SOT 4922009 SOS 1076182 HAS SOPS 1076182 HAS SOUS 673365 HAS SOUPS 673365 WITH SCORE 674441.182
AT ITER 3282 NEW BEST:: SOT 4922121 SOS 1076356 HAS SOPS 1076356 HAS SOUS 673300 HAS SOUPS 673300 WITH SCORE 674376.356
AT ITER 3295 NEW BEST:: SOT 4921904 SOS 1076381 HAS SOPS 1076381 HAS SOUS 673184 HAS SOUPS 673184 WITH SCORE 674260.381
AT ITER 3304 NEW BEST:: SOT 4921796 SOS 1076381 HAS SOPS 1076381 HAS SOUS 673076 HAS SOUPS 673076 WITH SCORE 674152.381
AT ITER 3318 NEW BEST:: SOT 4921761 SOS 1076311 HAS SOPS 1076311 HAS SOUS 673041 HAS SOUPS 673041 WITH SCORE 674117.311
AT ITER 3392 NEW BEST:: SOT 4921613 SOS 1076179 HAS SOPS 1076179 HAS SOUS 672851 HAS SOUPS 672851 WITH SCORE 673927.179
AT ITER 3394 NEW BEST:: SOT 4921613 SOS 1076179 HAS SOPS 1076179 HAS SOUS 672374 HAS SOUPS 672374 WITH SCORE 673450.179
AT ITER 3401 NEW BEST:: SOT 4921834 SOS 1074492 HAS SOPS 1074492 HAS SOUS 672371 HAS SOUPS 672371 WITH SCORE 673445.492
AT ITER 3440 NEW BEST:: SOT 4921348 SOS 1073985 HAS SOPS 1073985 HAS SOUS 671885 HAS SOUPS 671885 WITH SCORE 672958.985
AT ITER 3448 NEW BEST:: SOT 4921154 SOS 1074179 HAS SOPS 1074179 HAS SOUS 671697 HAS SOUPS 671697 WITH SCORE 672771.179
AT ITER 3450 NEW BEST:: SOT 4920997 SOS 1074443 HAS SOPS 1074443 HAS SOUS 671383 HAS SOUPS 671383 WITH SCORE 672457.443
AT ITER 3506 NEW BEST:: SOT 4920976 SOS 1074485 HAS SOPS 1074485 HAS SOUS 671362 HAS SOUPS 671362 WITH SCORE 672436.485
AT ITER 3523 NEW BEST:: SOT 4920889 SOS 1074483 HAS SOPS 1074483 HAS SOUS 671360 HAS SOUPS 671360 WITH SCORE 672434.483
AT ITER 3540 NEW BEST:: SOT 4920694 SOS 1074093 HAS SOPS 1074093 HAS SOUS 671343 HAS SOUPS 671343 WITH SCORE 672417.093
AT ITER 3558 NEW BEST:: SOT 4920694 SOS 1074093 HAS SOPS 1074093 HAS SOUS 671329 HAS SOUPS 671329 WITH SCORE 672403.093
AT ITER 3580 NEW BEST:: SOT 4920708 SOS 1074118 HAS SOPS 1074118 HAS SOUS 671328 HAS SOUPS 671328 WITH SCORE 672402.118
AT ITER 3581 NEW BEST:: SOT 4920725 SOS 1073968 HAS SOPS 1073968 HAS SOUS 671267 HAS SOUPS 671267 WITH SCORE 672340.968
AT ITER 3609 NEW BEST:: SOT 4920796 SOS 1073970 HAS SOPS 1073970 HAS SOUS 671260 HAS SOUPS 671260 WITH SCORE 672333.97
AT ITER 3612 NEW BEST:: SOT 4919420 SOS 1072594 HAS SOPS 1072594 HAS SOUS 669884 HAS SOUPS 669884 WITH SCORE 670956.594
AT ITER 3618 NEW BEST:: SOT 4919740 SOS 1071899 HAS SOPS 1071899 HAS SOUS 669879 HAS SOUPS 669879 WITH SCORE 670950.899
AT ITER 3624 NEW BEST:: SOT 4919491 SOS 1071639 HAS SOPS 1071639 HAS SOUS 669853 HAS SOUPS 669853 WITH SCORE 670924.639
AT ITER 3636 NEW BEST:: SOT 4919491 SOS 1069699 HAS SOPS 1069699 HAS SOUS 669822 HAS SOUPS 669822 WITH SCORE 670891.699
AT ITER 3641 NEW BEST:: SOT 4919487 SOS 1069697 HAS SOPS 1069697 HAS SOUS 669820 HAS SOUPS 669820 WITH SCORE 670889.697
AT ITER 3680 NEW BEST:: SOT 4919484 SOS 1070518 HAS SOPS 1070518 HAS SOUS 669813 HAS SOUPS 669813 WITH SCORE 670883.518
AT ITER 3682 NEW BEST:: SOT 4919289 SOS 1069844 HAS SOPS 1069844 HAS SOUS 669476 HAS SOUPS 669476 WITH SCORE 670545.844
AT ITER 3687 NEW BEST:: SOT 4919012 SOS 1069510 HAS SOPS 1069510 HAS SOUS 669142 HAS SOUPS 669142 WITH SCORE 670211.51
AT ITER 3700 NEW BEST:: SOT 4919027 SOS 1069288 HAS SOPS 1069288 HAS SOUS 668930 HAS SOUPS 668930 WITH SCORE 669999.288
AT ITER 3710 NEW BEST:: SOT 4918712 SOS 1069759 HAS SOPS 1069759 HAS SOUS 668666 HAS SOUPS 668666 WITH SCORE 669735.759
AT ITER 3797 NEW BEST:: SOT 4918526 SOS 1069294 HAS SOPS 1069294 HAS SOUS 668480 HAS SOUPS 668480 WITH SCORE 669549.294
AT ITER 3836 NEW BEST:: SOT 4918424 SOS 1070403 HAS SOPS 1070403 HAS SOUS 668275 HAS SOUPS 668275 WITH SCORE 669345.403
AT ITER 3851 NEW BEST:: SOT 4918345 SOS 1070331 HAS SOPS 1070331 HAS SOUS 668196 HAS SOUPS 668196 WITH SCORE 669266.331
AT ITER 3880 NEW BEST:: SOT 4918345 SOS 1069842 HAS SOPS 1069842 HAS SOUS 668033 HAS SOUPS 668033 WITH SCORE 669102.842
AT ITER 3907 NEW BEST:: SOT 4918325 SOS 1069802 HAS SOPS 1069802 HAS SOUS 667993 HAS SOUPS 667993 WITH SCORE 669062.802
AT ITER 3932 NEW BEST:: SOT 4918213 SOS 1069158 HAS SOPS 1069158 HAS SOUS 667693 HAS SOUPS 667693 WITH SCORE 668762.158
AT ITER 3934 NEW BEST:: SOT 4918183 SOS 1069179 HAS SOPS 1069179 HAS SOUS 667690 HAS SOUPS 667690 WITH SCORE 668759.179
AT ITER 3944 NEW BEST:: SOT 4918183 SOS 1069179 HAS SOPS 1069179 HAS SOUS 667689 HAS SOUPS 667689 WITH SCORE 668758.179
AT ITER 3948 NEW BEST:: SOT 4917821 SOS 1068817 HAS SOPS 1068817 HAS SOUS 667327 HAS SOUPS 667327 WITH SCORE 668395.817
AT ITER 3959 NEW BEST:: SOT 4917820 SOS 1068815 HAS SOPS 1068815 HAS SOUS 667325 HAS SOUPS 667325 WITH SCORE 668393.815
AT ITER 3967 NEW BEST:: SOT 4917933 SOS 1070084 HAS SOPS 1070084 HAS SOUS 667158 HAS SOUPS 667158 WITH SCORE 668228.084
AT ITER 3982 NEW BEST:: SOT 4917606 SOS 1069430 HAS SOPS 1069430 HAS SOUS 666504 HAS SOUPS 666504 WITH SCORE 667573.43
AT ITER 3994 NEW BEST:: SOT 4917516 SOS 1069250 HAS SOPS 1069250 HAS SOUS 666324 HAS SOUPS 666324 WITH SCORE 667393.25
AT ITER 4020 NEW BEST:: SOT 4917282 SOS 1069924 HAS SOPS 1069924 HAS SOUS 665798 HAS SOUPS 665798 WITH SCORE 666867.924
AT ITER 4034 NEW BEST:: SOT 4916184 SOS 1068643 HAS SOPS 1068643 HAS SOUS 665228 HAS SOUPS 665228 WITH SCORE 666296.643
AT ITER 4056 NEW BEST:: SOT 4916112 SOS 1068499 HAS SOPS 1068499 HAS SOUS 665084 HAS SOUPS 665084 WITH SCORE 666152.499
AT ITER 4099 NEW BEST:: SOT 4915683 SOS 1070511 HAS SOPS 1070511 HAS SOUS 664225 HAS SOUPS 664225 WITH SCORE 665295.511
AT ITER 4149 NEW BEST:: SOT 4915537 SOS 1070219 HAS SOPS 1070219 HAS SOUS 663932 HAS SOUPS 663932 WITH SCORE 665002.219
AT ITER 4179 NEW BEST:: SOT 4915532 SOS 1070218 HAS SOPS 1070218 HAS SOUS 663931 HAS SOUPS 663931 WITH SCORE 665001.218
AT ITER 4190 NEW BEST:: SOT 4915514 SOS 1070182 HAS SOPS 1070182 HAS SOUS 663843 HAS SOUPS 663843 WITH SCORE 664913.182
AT ITER 4213 NEW BEST:: SOT 4914884 SOS 1069897 HAS SOPS 1069897 HAS SOUS 663538 HAS SOUPS 663538 WITH SCORE 664607.897
AT ITER 4252 NEW BEST:: SOT 4914722 SOS 1069458 HAS SOPS 1069458 HAS SOUS 663376 HAS SOUPS 663376 WITH SCORE 664445.458
AT ITER 4257 NEW BEST:: SOT 4913769 SOS 1069872 HAS SOPS 1069872 HAS SOUS 662702 HAS SOUPS 662702 WITH SCORE 663771.872
AT ITER 4293 NEW BEST:: SOT 4913755 SOS 1069844 HAS SOPS 1069844 HAS SOUS 662632 HAS SOUPS 662632 WITH SCORE 663701.844
AT ITER 4327 NEW BEST:: SOT 4913719 SOS 1069448 HAS SOPS 1069448 HAS SOUS 662560 HAS SOUPS 662560 WITH SCORE 663629.448
AT ITER 4349 NEW BEST:: SOT 4913812 SOS 1069539 HAS SOPS 1069539 HAS SOUS 662557 HAS SOUPS 662557 WITH SCORE 663626.539
AT ITER 4355 NEW BEST:: SOT 4913478 SOS 1069201 HAS SOPS 1069201 HAS SOUS 662222 HAS SOUPS 662222 WITH SCORE 663291.201
AT ITER 4443 NEW BEST:: SOT 4913437 SOS 1069119 HAS SOPS 1069119 HAS SOUS 662189 HAS SOUPS 662189 WITH SCORE 663258.119
AT ITER 4448 NEW BEST:: SOT 4913437 SOS 1069119 HAS SOPS 1069119 HAS SOUS 662069 HAS SOUPS 662069 WITH SCORE 663138.119
AT ITER 4458 NEW BEST:: SOT 4913516 SOS 1069114 HAS SOPS 1069114 HAS SOUS 662064 HAS SOUPS 662064 WITH SCORE 663133.114
AT ITER 4486 NEW BEST:: SOT 4913456 SOS 1068994 HAS SOPS 1068994 HAS SOUS 661944 HAS SOUPS 661944 WITH SCORE 663012.994
AT ITER 4499 NEW BEST:: SOT 4913238 SOS 1068776 HAS SOPS 1068776 HAS SOUS 661726 HAS SOUPS 661726 WITH SCORE 662794.776
AT ITER 4523 NEW BEST:: SOT 4913003 SOS 1069342 HAS SOPS 1069342 HAS SOUS 661580 HAS SOUPS 661580 WITH SCORE 662649.342
AT ITER 4541 NEW BEST:: SOT 4912701 SOS 1068889 HAS SOPS 1068889 HAS SOUS 661127 HAS SOUPS 661127 WITH SCORE 662195.889
AT ITER 4583 NEW BEST:: SOT 4912578 SOS 1068886 HAS SOPS 1068886 HAS SOUS 661085 HAS SOUPS 661085 WITH SCORE 662153.886
AT ITER 4623 NEW BEST:: SOT 4912623 SOS 1068976 HAS SOPS 1068976 HAS SOUS 660952 HAS SOUPS 660952 WITH SCORE 662020.976
AT ITER 4640 NEW BEST:: SOT 4910686 SOS 1071942 HAS SOPS 1071942 HAS SOUS 659715 HAS SOUPS 659715 WITH SCORE 660786.942
AT ITER 4651 NEW BEST:: SOT 4910627 SOS 1071824 HAS SOPS 1071824 HAS SOUS 659437 HAS SOUPS 659437 WITH SCORE 660508.824
AT ITER 4670 NEW BEST:: SOT 4910627 SOS 1071824 HAS SOPS 1071824 HAS SOUS 658908 HAS SOUPS 658908 WITH SCORE 659979.824
AT ITER 4700 NEW BEST:: SOT 4910585 SOS 1071784 HAS SOPS 1071784 HAS SOUS 658868 HAS SOUPS 658868 WITH SCORE 659939.784
AT ITER 4716 NEW BEST:: SOT 4910389 SOS 1071586 HAS SOPS 1071586 HAS SOUS 658670 HAS SOUPS 658670 WITH SCORE 659741.586
AT ITER 4735 NEW BEST:: SOT 4909973 SOS 1071197 HAS SOPS 1071197 HAS SOUS 658281 HAS SOUPS 658281 WITH SCORE 659352.197
AT ITER 4740 NEW BEST:: SOT 4909913 SOS 1071268 HAS SOPS 1071268 HAS SOUS 658221 HAS SOUPS 658221 WITH SCORE 659292.268
AT ITER 4744 NEW BEST:: SOT 4909810 SOS 1070810 HAS SOPS 1070810 HAS SOUS 657992 HAS SOUPS 657992 WITH SCORE 659062.81
AT ITER 4762 NEW BEST:: SOT 4909810 SOS 1070810 HAS SOPS 1070810 HAS SOUS 657920 HAS SOUPS 657920 WITH SCORE 658990.81
AT ITER 4802 NEW BEST:: SOT 4907416 SOS 1069460 HAS SOPS 1069460 HAS SOUS 655778 HAS SOUPS 655778 WITH SCORE 656847.46
AT ITER 4823 NEW BEST:: SOT 4907141 SOS 1069185 HAS SOPS 1069185 HAS SOUS 655600 HAS SOUPS 655600 WITH SCORE 656669.185
AT ITER 4827 NEW BEST:: SOT 4907139 SOS 1069177 HAS SOPS 1069177 HAS SOUS 655598 HAS SOUPS 655598 WITH SCORE 656667.177
AT ITER 4834 NEW BEST:: SOT 4907139 SOS 1069177 HAS SOPS 1069177 HAS SOUS 655597 HAS SOUPS 655597 WITH SCORE 656666.177
AT ITER 4874 NEW BEST:: SOT 4906382 SOS 1068926 HAS SOPS 1068926 HAS SOUS 655374 HAS SOUPS 655374 WITH SCORE 656442.926
AT ITER 4899 NEW BEST:: SOT 4906310 SOS 1068746 HAS SOPS 1068746 HAS SOUS 655302 HAS SOUPS 655302 WITH SCORE 656370.746
AT ITER 4911 NEW BEST:: SOT 4906207 SOS 1068643 HAS SOPS 1068643 HAS SOUS 655096 HAS SOUPS 655096 WITH SCORE 656164.643
AT ITER 4976 NEW BEST:: SOT 4905868 SOS 1068414 HAS SOPS 1068414 HAS SOUS 654869 HAS SOUPS 654869 WITH SCORE 655937.414
AT ITER 5004 NEW BEST:: SOT 4905636 SOS 1068713 HAS SOPS 1068713 HAS SOUS 654852 HAS SOUPS 654852 WITH SCORE 655920.713
AT ITER 5008 NEW BEST:: SOT 4905150 SOS 1069199 HAS SOPS 1069199 HAS SOUS 654272 HAS SOUPS 654272 WITH SCORE 655341.199
AT ITER 5021 NEW BEST:: SOT 4904801 SOS 1068234 HAS SOPS 1068234 HAS SOUS 653830 HAS SOUPS 653830 WITH SCORE 654898.234
AT ITER 5044 NEW BEST:: SOT 4904762 SOS 1068156 HAS SOPS 1068156 HAS SOUS 653791 HAS SOUPS 653791 WITH SCORE 654859.156
AT ITER 5083 NEW BEST:: SOT 4904722 SOS 1068254 HAS SOPS 1068254 HAS SOUS 653788 HAS SOUPS 653788 WITH SCORE 654856.254
AT ITER 5111 NEW BEST:: SOT 4904750 SOS 1068116 HAS SOPS 1068116 HAS SOUS 653554 HAS SOUPS 653554 WITH SCORE 654622.116
AT ITER 5113 NEW BEST:: SOT 4904728 SOS 1068072 HAS SOPS 1068072 HAS SOUS 653510 HAS SOUPS 653510 WITH SCORE 654578.072
AT ITER 5130 NEW BEST:: SOT 4904728 SOS 1068072 HAS SOPS 1068072 HAS SOUS 653389 HAS SOUPS 653389 WITH SCORE 654457.072
AT ITER 5155 NEW BEST:: SOT 4904649 SOS 1068096 HAS SOPS 1068096 HAS SOUS 653231 HAS SOUPS 653231 WITH SCORE 654299.096
AT ITER 5176 NEW BEST:: SOT 4904588 SOS 1068035 HAS SOPS 1068035 HAS SOUS 653170 HAS SOUPS 653170 WITH SCORE 654238.035
AT ITER 5183 NEW BEST:: SOT 4904365 SOS 1067589 HAS SOPS 1067589 HAS SOUS 652946 HAS SOUPS 652946 WITH SCORE 654013.589
AT ITER 5267 NEW BEST:: SOT 4903905 SOS 1062989 HAS SOPS 1062989 HAS SOUS 652026 HAS SOUPS 652026 WITH SCORE 653088.989
AT ITER 5269 NEW BEST:: SOT 4903788 SOS 1062755 HAS SOPS 1062755 HAS SOUS 651792 HAS SOUPS 651792 WITH SCORE 652854.755
AT ITER 5276 NEW BEST:: SOT 4903587 SOS 1062690 HAS SOPS 1062690 HAS SOUS 651485 HAS SOUPS 651485 WITH SCORE 652547.69
AT ITER 5285 NEW BEST:: SOT 4903587 SOS 1062773 HAS SOPS 1062773 HAS SOUS 651484 HAS SOUPS 651484 WITH SCORE 652546.773
AT ITER 5303 NEW BEST:: SOT 4903577 SOS 1062411 HAS SOPS 1062411 HAS SOUS 651464 HAS SOUPS 651464 WITH SCORE 652526.411
AT ITER 5309 NEW BEST:: SOT 4903829 SOS 1062547 HAS SOPS 1062547 HAS SOUS 651432 HAS SOUPS 651432 WITH SCORE 652494.547
AT ITER 5354 NEW BEST:: SOT 4903644 SOS 1062125 HAS SOPS 1062125 HAS SOUS 651047 HAS SOUPS 651047 WITH SCORE 652109.125
AT ITER 5359 NEW BEST:: SOT 4903080 SOS 1062469 HAS SOPS 1062469 HAS SOUS 650861 HAS SOUPS 650861 WITH SCORE 651923.469
AT ITER 5388 NEW BEST:: SOT 4902983 SOS 1062275 HAS SOPS 1062275 HAS SOUS 650707 HAS SOUPS 650707 WITH SCORE 651769.275
AT ITER 5431 NEW BEST:: SOT 4902983 SOS 1062643 HAS SOPS 1062643 HAS SOUS 650706 HAS SOUPS 650706 WITH SCORE 651768.643
AT ITER 5448 NEW BEST:: SOT 4903094 SOS 1062865 HAS SOPS 1062865 HAS SOUS 650262 HAS SOUPS 650262 WITH SCORE 651324.865
AT ITER 5477 NEW BEST:: SOT 4902586 SOS 1062347 HAS SOPS 1062347 HAS SOUS 649753 HAS SOUPS 649753 WITH SCORE 650815.347
AT ITER 5528 NEW BEST:: SOT 4902398 SOS 1061971 HAS SOPS 1061971 HAS SOUS 649377 HAS SOUPS 649377 WITH SCORE 650438.971
AT ITER 5548 NEW BEST:: SOT 4902398 SOS 1061911 HAS SOPS 1061911 HAS SOUS 649357 HAS SOUPS 649357 WITH SCORE 650418.911
AT ITER 5586 NEW BEST:: SOT 4902294 SOS 1061703 HAS SOPS 1061703 HAS SOUS 649149 HAS SOUPS 649149 WITH SCORE 650210.703
AT ITER 5588 NEW BEST:: SOT 4902218 SOS 1061735 HAS SOPS 1061735 HAS SOUS 649073 HAS SOUPS 649073 WITH SCORE 650134.735
AT ITER 5603 NEW BEST:: SOT 4902071 SOS 1061792 HAS SOPS 1061792 HAS SOUS 649043 HAS SOUPS 649043 WITH SCORE 650104.792
AT ITER 5614 NEW BEST:: SOT 4902005 SOS 1061759 HAS SOPS 1061759 HAS SOUS 649010 HAS SOUPS 649010 WITH SCORE 650071.759
AT ITER 5640 NEW BEST:: SOT 4901796 SOS 1061711 HAS SOPS 1061711 HAS SOUS 648801 HAS SOUPS 648801 WITH SCORE 649862.711
AT ITER 5678 NEW BEST:: SOT 4901788 SOS 1061703 HAS SOPS 1061703 HAS SOUS 648793 HAS SOUPS 648793 WITH SCORE 649854.703
AT ITER 5700 NEW BEST:: SOT 4901815 SOS 1061325 HAS SOPS 1061325 HAS SOUS 648759 HAS SOUPS 648759 WITH SCORE 649820.325
AT ITER 5737 NEW BEST:: SOT 4901815 SOS 1061324 HAS SOPS 1061324 HAS SOUS 648758 HAS SOUPS 648758 WITH SCORE 649819.324
AT ITER 5745 NEW BEST:: SOT 4901403 SOS 1057728 HAS SOPS 1057728 HAS SOUS 647934 HAS SOUPS 647934 WITH SCORE 648991.728
AT ITER 5750 NEW BEST:: SOT 4901252 SOS 1057426 HAS SOPS 1057426 HAS SOUS 647632 HAS SOUPS 647632 WITH SCORE 648689.426
AT ITER 5754 NEW BEST:: SOT 4901137 SOS 1057442 HAS SOPS 1057442 HAS SOUS 647517 HAS SOUPS 647517 WITH SCORE 648574.442
AT ITER 5771 NEW BEST:: SOT 4900892 SOS 1057242 HAS SOPS 1057242 HAS SOUS 647317 HAS SOUPS 647317 WITH SCORE 648374.242
AT ITER 5788 NEW BEST:: SOT 4900577 SOS 1056867 HAS SOPS 1056867 HAS SOUS 646942 HAS SOUPS 646942 WITH SCORE 647998.867
AT ITER 5789 NEW BEST:: SOT 4900469 SOS 1056759 HAS SOPS 1056759 HAS SOUS 646834 HAS SOUPS 646834 WITH SCORE 647890.759
AT ITER 5796 NEW BEST:: SOT 4900218 SOS 1056749 HAS SOPS 1056749 HAS SOUS 646772 HAS SOUPS 646772 WITH SCORE 647828.749
AT ITER 5817 NEW BEST:: SOT 4900226 SOS 1056604 HAS SOPS 1056604 HAS SOUS 646627 HAS SOUPS 646627 WITH SCORE 647683.604
AT ITER 5872 NEW BEST:: SOT 4899949 SOS 1056440 HAS SOPS 1056440 HAS SOUS 646405 HAS SOUPS 646405 WITH SCORE 647461.44
AT ITER 5884 NEW BEST:: SOT 4899949 SOS 1056222 HAS SOPS 1056222 HAS SOUS 646296 HAS SOUPS 646296 WITH SCORE 647352.222
AT ITER 5928 NEW BEST:: SOT 4899789 SOS 1056142 HAS SOPS 1056142 HAS SOUS 646216 HAS SOUPS 646216 WITH SCORE 647272.142
AT ITER 5937 NEW BEST:: SOT 4899789 SOS 1056126 HAS SOPS 1056126 HAS SOUS 646200 HAS SOUPS 646200 WITH SCORE 647256.126
AT ITER 5961 NEW BEST:: SOT 4899648 SOS 1055844 HAS SOPS 1055844 HAS SOUS 645918 HAS SOUPS 645918 WITH SCORE 646973.844
AT ITER 5979 NEW BEST:: SOT 4899606 SOS 1055760 HAS SOPS 1055760 HAS SOUS 645834 HAS SOUPS 645834 WITH SCORE 646889.76
AT ITER 5990 NEW BEST:: SOT 4899647 SOS 1054462 HAS SOPS 1054462 HAS SOUS 645514 HAS SOUPS 645514 WITH SCORE 646568.462
AT ITER 5992 NEW BEST:: SOT 4899571 SOS 1054428 HAS SOPS 1054428 HAS SOUS 645438 HAS SOUPS 645438 WITH SCORE 646492.428
AT ITER 6004 NEW BEST:: SOT 4899297 SOS 1053880 HAS SOPS 1053880 HAS SOUS 644890 HAS SOUPS 644890 WITH SCORE 645943.88
AT ITER 6030 NEW BEST:: SOT 4899297 SOS 1053843 HAS SOPS 1053843 HAS SOUS 644890 HAS SOUPS 644890 WITH SCORE 645943.843
AT ITER 6104 NEW BEST:: SOT 4899206 SOS 1053752 HAS SOPS 1053752 HAS SOUS 644799 HAS SOUPS 644799 WITH SCORE 645852.752
AT ITER 6116 NEW BEST:: SOT 4899145 SOS 1053953 HAS SOPS 1053953 HAS SOUS 644569 HAS SOUPS 644569 WITH SCORE 645622.953
AT ITER 6125 NEW BEST:: SOT 4899129 SOS 1053921 HAS SOPS 1053921 HAS SOUS 644527 HAS SOUPS 644527 WITH SCORE 645580.921
AT ITER 6131 NEW BEST:: SOT 4898906 SOS 1055482 HAS SOPS 1055482 HAS SOUS 644304 HAS SOUPS 644304 WITH SCORE 645359.482
AT ITER 6242 NEW BEST:: SOT 4898803 SOS 1054967 HAS SOPS 1054967 HAS SOUS 644098 HAS SOUPS 644098 WITH SCORE 645152.967
AT ITER 6259 NEW BEST:: SOT 4898684 SOS 1054729 HAS SOPS 1054729 HAS SOUS 643979 HAS SOUPS 643979 WITH SCORE 645033.729
AT ITER 6272 NEW BEST:: SOT 4898336 SOS 1054381 HAS SOPS 1054381 HAS SOUS 643631 HAS SOUPS 643631 WITH SCORE 644685.381
AT ITER 6321 NEW BEST:: SOT 4898336 SOS 1053986 HAS SOPS 1053986 HAS SOUS 643236 HAS SOUPS 643236 WITH SCORE 644289.986
AT ITER 6333 NEW BEST:: SOT 4898085 SOS 1053484 HAS SOPS 1053484 HAS SOUS 642524 HAS SOUPS 642524 WITH SCORE 643577.484
AT ITER 6365 NEW BEST:: SOT 4898062 SOS 1053438 HAS SOPS 1053438 HAS SOUS 642478 HAS SOUPS 642478 WITH SCORE 643531.438
AT ITER 6402 NEW BEST:: SOT 4898106 SOS 1053382 HAS SOPS 1053382 HAS SOUS 642422 HAS SOUPS 642422 WITH SCORE 643475.382
AT ITER 6445 NEW BEST:: SOT 4897803 SOS 1052776 HAS SOPS 1052776 HAS SOUS 641493 HAS SOUPS 641493 WITH SCORE 642545.776
AT ITER 6446 NEW BEST:: SOT 4897452 SOS 1051803 HAS SOPS 1051803 HAS SOUS 641212 HAS SOUPS 641212 WITH SCORE 642263.803
AT ITER 6463 NEW BEST:: SOT 4895090 SOS 1052972 HAS SOPS 1052972 HAS SOUS 641035 HAS SOUPS 641035 WITH SCORE 642087.972
AT ITER 6468 NEW BEST:: SOT 4894798 SOS 1052971 HAS SOPS 1052971 HAS SOUS 641034 HAS SOUPS 641034 WITH SCORE 642086.971
AT ITER 6480 NEW BEST:: SOT 4894647 SOS 1052669 HAS SOPS 1052669 HAS SOUS 640732 HAS SOUPS 640732 WITH SCORE 641784.669
AT ITER 6489 NEW BEST:: SOT 4894647 SOS 1053172 HAS SOPS 1053172 HAS SOUS 640562 HAS SOUPS 640562 WITH SCORE 641615.172
AT ITER 6492 NEW BEST:: SOT 4894642 SOS 1053167 HAS SOPS 1053167 HAS SOUS 640557 HAS SOUPS 640557 WITH SCORE 641610.167
AT ITER 6501 NEW BEST:: SOT 4894642 SOS 1053001 HAS SOPS 1053001 HAS SOUS 640557 HAS SOUPS 640557 WITH SCORE 641610.001
AT ITER 6502 NEW BEST:: SOT 4894412 SOS 1053423 HAS SOPS 1053423 HAS SOUS 640496 HAS SOUPS 640496 WITH SCORE 641549.423
AT ITER 6535 NEW BEST:: SOT 4894412 SOS 1053423 HAS SOPS 1053423 HAS SOUS 640471 HAS SOUPS 640471 WITH SCORE 641524.423
AT ITER 6550 NEW BEST:: SOT 4894412 SOS 1053353 HAS SOPS 1053353 HAS SOUS 640401 HAS SOUPS 640401 WITH SCORE 641454.353
AT ITER 6554 NEW BEST:: SOT 4894376 SOS 1053313 HAS SOPS 1053313 HAS SOUS 640400 HAS SOUPS 640400 WITH SCORE 641453.313
AT ITER 6571 NEW BEST:: SOT 4894268 SOS 1052205 HAS SOPS 1052205 HAS SOUS 640164 HAS SOUPS 640164 WITH SCORE 641216.205
AT ITER 6616 NEW BEST:: SOT 4894092 SOS 1052251 HAS SOPS 1052251 HAS SOUS 639926 HAS SOUPS 639926 WITH SCORE 640978.251
AT ITER 6648 NEW BEST:: SOT 4893994 SOS 1051885 HAS SOPS 1051885 HAS SOUS 639828 HAS SOUPS 639828 WITH SCORE 640879.885
AT ITER 6651 NEW BEST:: SOT 4893994 SOS 1052148 HAS SOPS 1052148 HAS SOUS 639748 HAS SOUPS 639748 WITH SCORE 640800.148
AT ITER 6684 NEW BEST:: SOT 4894042 SOS 1050868 HAS SOPS 1050868 HAS SOUS 639697 HAS SOUPS 639697 WITH SCORE 640747.868
AT ITER 6712 NEW BEST:: SOT 4894006 SOS 1050832 HAS SOPS 1050832 HAS SOUS 639661 HAS SOUPS 639661 WITH SCORE 640711.832
AT ITER 6723 NEW BEST:: SOT 4893274 SOS 1049923 HAS SOPS 1049923 HAS SOUS 638692 HAS SOUPS 638692 WITH SCORE 639741.923
AT ITER 6776 NEW BEST:: SOT 4893068 SOS 1049717 HAS SOPS 1049717 HAS SOUS 638486 HAS SOUPS 638486 WITH SCORE 639535.717
AT ITER 6780 NEW BEST:: SOT 4893068 SOS 1049717 HAS SOPS 1049717 HAS SOUS 638419 HAS SOUPS 638419 WITH SCORE 639468.717
AT ITER 6786 NEW BEST:: SOT 4893068 SOS 1049717 HAS SOPS 1049717 HAS SOUS 638403 HAS SOUPS 638403 WITH SCORE 639452.717
AT ITER 6787 NEW BEST:: SOT 4893143 SOS 1049151 HAS SOPS 1049151 HAS SOUS 638170 HAS SOUPS 638170 WITH SCORE 639219.151
AT ITER 6832 NEW BEST:: SOT 4892684 SOS 1048816 HAS SOPS 1048816 HAS SOUS 637711 HAS SOUPS 637711 WITH SCORE 638759.816
AT ITER 6844 NEW BEST:: SOT 4892528 SOS 1048504 HAS SOPS 1048504 HAS SOUS 637399 HAS SOUPS 637399 WITH SCORE 638447.504
AT ITER 6859 NEW BEST:: SOT 4892164 SOS 1046502 HAS SOPS 1046502 HAS SOUS 637035 HAS SOUPS 637035 WITH SCORE 638081.502
AT ITER 6868 NEW BEST:: SOT 4892164 SOS 1047107 HAS SOPS 1047107 HAS SOUS 637034 HAS SOUPS 637034 WITH SCORE 638081.107
AT ITER 6921 NEW BEST:: SOT 4892118 SOS 1047015 HAS SOPS 1047015 HAS SOUS 636702 HAS SOUPS 636702 WITH SCORE 637749.015
AT ITER 6923 NEW BEST:: SOT 4892004 SOS 1047011 HAS SOPS 1047011 HAS SOUS 636701 HAS SOUPS 636701 WITH SCORE 637748.011
AT ITER 6936 NEW BEST:: SOT 4891977 SOS 1046957 HAS SOPS 1046957 HAS SOUS 636647 HAS SOUPS 636647 WITH SCORE 637693.957
AT ITER 6957 NEW BEST:: SOT 4891834 SOS 1047751 HAS SOPS 1047751 HAS SOUS 636304 HAS SOUPS 636304 WITH SCORE 637351.751
AT ITER 6964 NEW BEST:: SOT 4891924 SOS 1048835 HAS SOPS 1048835 HAS SOUS 636210 HAS SOUPS 636210 WITH SCORE 637258.835
AT ITER 6978 NEW BEST:: SOT 4891618 SOS 1048656 HAS SOPS 1048656 HAS SOUS 635903 HAS SOUPS 635903 WITH SCORE 636951.656
AT ITER 6998 NEW BEST:: SOT 4891618 SOS 1048604 HAS SOPS 1048604 HAS SOUS 635877 HAS SOUPS 635877 WITH SCORE 636925.604
AT ITER 7017 NEW BEST:: SOT 4891534 SOS 1047810 HAS SOPS 1047810 HAS SOUS 635722 HAS SOUPS 635722 WITH SCORE 636769.81
AT ITER 7027 NEW BEST:: SOT 4891311 SOS 1047373 HAS SOPS 1047373 HAS SOUS 635508 HAS SOUPS 635508 WITH SCORE 636555.373
AT ITER 7044 NEW BEST:: SOT 4891311 SOS 1048587 HAS SOPS 1048587 HAS SOUS 635506 HAS SOUPS 635506 WITH SCORE 636554.587
AT ITER 7087 NEW BEST:: SOT 4891240 SOS 1048680 HAS SOPS 1048680 HAS SOUS 635374 HAS SOUPS 635374 WITH SCORE 636422.68
AT ITER 7096 NEW BEST:: SOT 4891268 SOS 1048736 HAS SOPS 1048736 HAS SOUS 634919 HAS SOUPS 634919 WITH SCORE 635967.736
AT ITER 7106 NEW BEST:: SOT 4891027 SOS 1049010 HAS SOPS 1049010 HAS SOUS 634713 HAS SOUPS 634713 WITH SCORE 635762.01
AT ITER 7112 NEW BEST:: SOT 4890108 SOS 1048839 HAS SOPS 1048839 HAS SOUS 634263 HAS SOUPS 634263 WITH SCORE 635311.839
AT ITER 7142 NEW BEST:: SOT 4890108 SOS 1048913 HAS SOPS 1048913 HAS SOUS 634262 HAS SOUPS 634262 WITH SCORE 635310.913
AT ITER 7146 NEW BEST:: SOT 4889948 SOS 1047386 HAS SOPS 1047386 HAS SOUS 634244 HAS SOUPS 634244 WITH SCORE 635291.386
AT ITER 7200 NEW BEST:: SOT 4889663 SOS 1047666 HAS SOPS 1047666 HAS SOUS 634099 HAS SOUPS 634099 WITH SCORE 635146.666
AT ITER 7215 NEW BEST:: SOT 4889663 SOS 1047645 HAS SOPS 1047645 HAS SOUS 634092 HAS SOUPS 634092 WITH SCORE 635139.645
AT ITER 7244 NEW BEST:: SOT 4889567 SOS 1047453 HAS SOPS 1047453 HAS SOUS 633900 HAS SOUPS 633900 WITH SCORE 634947.453
AT ITER 7248 NEW BEST:: SOT 4889550 SOS 1047419 HAS SOPS 1047419 HAS SOUS 633883 HAS SOUPS 633883 WITH SCORE 634930.419
AT ITER 7262 NEW BEST:: SOT 4889549 SOS 1047417 HAS SOPS 1047417 HAS SOUS 633881 HAS SOUPS 633881 WITH SCORE 634928.417
AT ITER 7289 NEW BEST:: SOT 4889626 SOS 1048341 HAS SOPS 1048341 HAS SOUS 633846 HAS SOUPS 633846 WITH SCORE 634894.341
AT ITER 7293 NEW BEST:: SOT 4889334 SOS 1047611 HAS SOPS 1047611 HAS SOUS 633554 HAS SOUPS 633554 WITH SCORE 634601.611
AT ITER 7314 NEW BEST:: SOT 4889282 SOS 1047559 HAS SOPS 1047559 HAS SOUS 633502 HAS SOUPS 633502 WITH SCORE 634549.559
AT ITER 7324 NEW BEST:: SOT 4889267 SOS 1047558 HAS SOPS 1047558 HAS SOUS 633501 HAS SOUPS 633501 WITH SCORE 634548.558
AT ITER 7352 NEW BEST:: SOT 4889018 SOS 1047164 HAS SOPS 1047164 HAS SOUS 633398 HAS SOUPS 633398 WITH SCORE 634445.164
AT ITER 7369 NEW BEST:: SOT 4889021 SOS 1047085 HAS SOPS 1047085 HAS SOUS 633319 HAS SOUPS 633319 WITH SCORE 634366.085
AT ITER 7413 NEW BEST:: SOT 4888637 SOS 1046317 HAS SOPS 1046317 HAS SOUS 632482 HAS SOUPS 632482 WITH SCORE 633528.317
AT ITER 7447 NEW BEST:: SOT 4888532 SOS 1046107 HAS SOPS 1046107 HAS SOUS 632272 HAS SOUPS 632272 WITH SCORE 633318.107
AT ITER 7459 NEW BEST:: SOT 4888367 SOS 1047097 HAS SOPS 1047097 HAS SOUS 632105 HAS SOUPS 632105 WITH SCORE 633152.097
AT ITER 7513 NEW BEST:: SOT 4887780 SOS 1046823 HAS SOPS 1046823 HAS SOUS 631708 HAS SOUPS 631708 WITH SCORE 632754.823
AT ITER 7569 NEW BEST:: SOT 4887779 SOS 1046540 HAS SOPS 1046540 HAS SOUS 631425 HAS SOUPS 631425 WITH SCORE 632471.54
AT ITER 7596 NEW BEST:: SOT 4887656 SOS 1045932 HAS SOPS 1045932 HAS SOUS 631179 HAS SOUPS 631179 WITH SCORE 632224.932
AT ITER 7641 NEW BEST:: SOT 4887550 SOS 1045720 HAS SOPS 1045720 HAS SOUS 630967 HAS SOUPS 630967 WITH SCORE 632012.72
AT ITER 7642 NEW BEST:: SOT 4887550 SOS 1045290 HAS SOPS 1045290 HAS SOUS 630924 HAS SOUPS 630924 WITH SCORE 631969.29
AT ITER 7659 NEW BEST:: SOT 4887549 SOS 1045288 HAS SOPS 1045288 HAS SOUS 630922 HAS SOUPS 630922 WITH SCORE 631967.288
AT ITER 7674 NEW BEST:: SOT 4887549 SOS 1046437 HAS SOPS 1046437 HAS SOUS 630820 HAS SOUPS 630820 WITH SCORE 631866.437
AT ITER 7684 NEW BEST:: SOT 4887617 SOS 1046573 HAS SOPS 1046573 HAS SOUS 630342 HAS SOUPS 630342 WITH SCORE 631388.573
AT ITER 7692 NEW BEST:: SOT 4887447 SOS 1046791 HAS SOPS 1046791 HAS SOUS 630188 HAS SOUPS 630188 WITH SCORE 631234.791
AT ITER 7702 NEW BEST:: SOT 4887676 SOS 1047249 HAS SOPS 1047249 HAS SOUS 630154 HAS SOUPS 630154 WITH SCORE 631201.249
AT ITER 7736 NEW BEST:: SOT 4887617 SOS 1047131 HAS SOPS 1047131 HAS SOUS 630036 HAS SOUPS 630036 WITH SCORE 631083.131
AT ITER 7738 NEW BEST:: SOT 4887459 SOS 1046953 HAS SOPS 1046953 HAS SOUS 629766 HAS SOUPS 629766 WITH SCORE 630812.953
AT ITER 7746 NEW BEST:: SOT 4887401 SOS 1046837 HAS SOPS 1046837 HAS SOUS 629650 HAS SOUPS 629650 WITH SCORE 630696.837
AT ITER 7751 NEW BEST:: SOT 4887129 SOS 1046293 HAS SOPS 1046293 HAS SOUS 629412 HAS SOUPS 629412 WITH SCORE 630458.293
AT ITER 7794 NEW BEST:: SOT 4887129 SOS 1046715 HAS SOPS 1046715 HAS SOUS 629409 HAS SOUPS 629409 WITH SCORE 630455.715
AT ITER 7807 NEW BEST:: SOT 4887129 SOS 1046673 HAS SOPS 1046673 HAS SOUS 629409 HAS SOUPS 629409 WITH SCORE 630455.673
AT ITER 7817 NEW BEST:: SOT 4887049 SOS 1046513 HAS SOPS 1046513 HAS SOUS 629249 HAS SOUPS 629249 WITH SCORE 630295.513
AT ITER 7821 NEW BEST:: SOT 4887182 SOS 1046377 HAS SOPS 1046377 HAS SOUS 629248 HAS SOUPS 629248 WITH SCORE 630294.377
AT ITER 7833 NEW BEST:: SOT 4887127 SOS 1046267 HAS SOPS 1046267 HAS SOUS 629138 HAS SOUPS 629138 WITH SCORE 630184.267
AT ITER 7842 NEW BEST:: SOT 4887127 SOS 1046014 HAS SOPS 1046014 HAS SOUS 629137 HAS SOUPS 629137 WITH SCORE 630183.014
AT ITER 7894 NEW BEST:: SOT 4886916 SOS 1044959 HAS SOPS 1044959 HAS SOUS 628715 HAS SOUPS 628715 WITH SCORE 629759.959
AT ITER 7948 NEW BEST:: SOT 4886918 SOS 1046137 HAS SOPS 1046137 HAS SOUS 628570 HAS SOUPS 628570 WITH SCORE 629616.137
AT ITER 7962 NEW BEST:: SOT 4886978 SOS 1045158 HAS SOPS 1045158 HAS SOUS 628278 HAS SOUPS 628278 WITH SCORE 629323.158
AT ITER 7983 NEW BEST:: SOT 4886839 SOS 1045019 HAS SOPS 1045019 HAS SOUS 628139 HAS SOUPS 628139 WITH SCORE 629184.019
AT ITER 7986 NEW BEST:: SOT 4886841 SOS 1045023 HAS SOPS 1045023 HAS SOUS 628100 HAS SOUPS 628100 WITH SCORE 629145.023
AT ITER 8023 NEW BEST:: SOT 4886679 SOS 1044861 HAS SOPS 1044861 HAS SOUS 627938 HAS SOUPS 627938 WITH SCORE 628982.861
AT ITER 8026 NEW BEST:: SOT 4886608 SOS 1044719 HAS SOPS 1044719 HAS SOUS 627867 HAS SOUPS 627867 WITH SCORE 628911.719
AT ITER 8027 NEW BEST:: SOT 4886607 SOS 1044717 HAS SOPS 1044717 HAS SOUS 627865 HAS SOUPS 627865 WITH SCORE 628909.717
AT ITER 8048 NEW BEST:: SOT 4886308 SOS 1044440 HAS SOPS 1044440 HAS SOUS 627566 HAS SOUPS 627566 WITH SCORE 628610.44
AT ITER 8064 NEW BEST:: SOT 4886315 SOS 1044970 HAS SOPS 1044970 HAS SOUS 627407 HAS SOUPS 627407 WITH SCORE 628451.97
AT ITER 8078 NEW BEST:: SOT 4886315 SOS 1044022 HAS SOPS 1044022 HAS SOUS 627199 HAS SOUPS 627199 WITH SCORE 628243.022
AT ITER 8093 NEW BEST:: SOT 4886315 SOS 1044012 HAS SOPS 1044012 HAS SOUS 627198 HAS SOUPS 627198 WITH SCORE 628242.012
AT ITER 8098 NEW BEST:: SOT 4886315 SOS 1043838 HAS SOPS 1043838 HAS SOUS 627024 HAS SOUPS 627024 WITH SCORE 628067.838
AT ITER 8115 NEW BEST:: SOT 4886207 SOS 1043784 HAS SOPS 1043784 HAS SOUS 626970 HAS SOUPS 626970 WITH SCORE 628013.784
AT ITER 8126 NEW BEST:: SOT 4886207 SOS 1043534 HAS SOPS 1043534 HAS SOUS 626970 HAS SOUPS 626970 WITH SCORE 628013.534
AT ITER 8147 NEW BEST:: SOT 4886141 SOS 1043522 HAS SOPS 1043522 HAS SOUS 626946 HAS SOUPS 626946 WITH SCORE 627989.522
AT ITER 8157 NEW BEST:: SOT 4885958 SOS 1043339 HAS SOPS 1043339 HAS SOUS 626763 HAS SOUPS 626763 WITH SCORE 627806.339
AT ITER 8202 NEW BEST:: SOT 4885939 SOS 1043324 HAS SOPS 1043324 HAS SOUS 626745 HAS SOUPS 626745 WITH SCORE 627788.324
AT ITER 8209 NEW BEST:: SOT 4885939 SOS 1043299 HAS SOPS 1043299 HAS SOUS 626745 HAS SOUPS 626745 WITH SCORE 627788.299
AT ITER 8215 NEW BEST:: SOT 4885982 SOS 1042587 HAS SOPS 1042587 HAS SOUS 626543 HAS SOUPS 626543 WITH SCORE 627585.587
AT ITER 8248 NEW BEST:: SOT 4885884 SOS 1040651 HAS SOPS 1040651 HAS SOUS 626010 HAS SOUPS 626010 WITH SCORE 627050.651
AT ITER 8303 NEW BEST:: SOT 4885821 SOS 1040525 HAS SOPS 1040525 HAS SOUS 625828 HAS SOUPS 625828 WITH SCORE 626868.525
AT ITER 8309 NEW BEST:: SOT 4884599 SOS 1040754 HAS SOPS 1040754 HAS SOUS 624928 HAS SOUPS 624928 WITH SCORE 625968.754
AT ITER 8314 NEW BEST:: SOT 4884432 SOS 1040311 HAS SOPS 1040311 HAS SOUS 624652 HAS SOUPS 624652 WITH SCORE 625692.311
AT ITER 8332 NEW BEST:: SOT 4884098 SOS 1040681 HAS SOPS 1040681 HAS SOUS 624196 HAS SOUPS 624196 WITH SCORE 625236.681
AT ITER 8345 NEW BEST:: SOT 4883243 SOS 1040183 HAS SOPS 1040183 HAS SOUS 623328 HAS SOUPS 623328 WITH SCORE 624368.183
AT ITER 8368 NEW BEST:: SOT 4883132 SOS 1040072 HAS SOPS 1040072 HAS SOUS 623217 HAS SOUPS 623217 WITH SCORE 624257.072
AT ITER 8378 NEW BEST:: SOT 4882923 SOS 1039863 HAS SOPS 1039863 HAS SOUS 622799 HAS SOUPS 622799 WITH SCORE 623838.863
AT ITER 8401 NEW BEST:: SOT 4882991 SOS 1039807 HAS SOPS 1039807 HAS SOUS 622743 HAS SOUPS 622743 WITH SCORE 623782.807
AT ITER 8446 NEW BEST:: SOT 4882986 SOS 1039807 HAS SOPS 1039807 HAS SOUS 622733 HAS SOUPS 622733 WITH SCORE 623772.807
AT ITER 8456 NEW BEST:: SOT 4882921 SOS 1039733 HAS SOPS 1039733 HAS SOUS 622666 HAS SOUPS 622666 WITH SCORE 623705.733
AT ITER 8466 NEW BEST:: SOT 4882899 SOS 1039689 HAS SOPS 1039689 HAS SOUS 622622 HAS SOUPS 622622 WITH SCORE 623661.689
AT ITER 8498 NEW BEST:: SOT 4882665 SOS 1039455 HAS SOPS 1039455 HAS SOUS 622388 HAS SOUPS 622388 WITH SCORE 623427.455
AT ITER 8501 NEW BEST:: SOT 4882062 SOS 1037264 HAS SOPS 1037264 HAS SOUS 621543 HAS SOUPS 621543 WITH SCORE 622580.264
AT ITER 8541 NEW BEST:: SOT 4882084 SOS 1037308 HAS SOPS 1037308 HAS SOUS 621440 HAS SOUPS 621440 WITH SCORE 622477.308
AT ITER 8560 NEW BEST:: SOT 4882084 SOS 1037096 HAS SOPS 1037096 HAS SOUS 621390 HAS SOUPS 621390 WITH SCORE 622427.096
AT ITER 8582 NEW BEST:: SOT 4881972 SOS 1036872 HAS SOPS 1036872 HAS SOUS 621278 HAS SOUPS 621278 WITH SCORE 622314.872
AT ITER 8601 NEW BEST:: SOT 4881972 SOS 1036042 HAS SOPS 1036042 HAS SOUS 621223 HAS SOUPS 621223 WITH SCORE 622259.042
AT ITER 8611 NEW BEST:: SOT 4881314 SOS 1035312 HAS SOPS 1035312 HAS SOUS 620412 HAS SOUPS 620412 WITH SCORE 621447.312
AT ITER 8639 NEW BEST:: SOT 4881291 SOS 1035266 HAS SOPS 1035266 HAS SOUS 620366 HAS SOUPS 620366 WITH SCORE 621401.266
AT ITER 8655 NEW BEST:: SOT 4881291 SOS 1035206 HAS SOPS 1035206 HAS SOUS 620336 HAS SOUPS 620336 WITH SCORE 621371.206
AT ITER 8676 NEW BEST:: SOT 4881269 SOS 1035162 HAS SOPS 1035162 HAS SOUS 620314 HAS SOUPS 620314 WITH SCORE 621349.162
AT ITER 8695 NEW BEST:: SOT 4881268 SOS 1035161 HAS SOPS 1035161 HAS SOUS 620313 HAS SOUPS 620313 WITH SCORE 621348.161
AT ITER 8703 NEW BEST:: SOT 4881268 SOS 1034891 HAS SOPS 1034891 HAS SOUS 620313 HAS SOUPS 620313 WITH SCORE 621347.891
AT ITER 8726 NEW BEST:: SOT 4881176 SOS 1034569 HAS SOPS 1034569 HAS SOUS 620267 HAS SOUPS 620267 WITH SCORE 621301.569
AT ITER 8751 NEW BEST:: SOT 4881148 SOS 1034513 HAS SOPS 1034513 HAS SOUS 620211 HAS SOUPS 620211 WITH SCORE 621245.513
AT ITER 8763 NEW BEST:: SOT 4881094 SOS 1034113 HAS SOPS 1034113 HAS SOUS 620089 HAS SOUPS 620089 WITH SCORE 621123.113
AT ITER 8791 NEW BEST:: SOT 4880863 SOS 1033882 HAS SOPS 1033882 HAS SOUS 619935 HAS SOUPS 619935 WITH SCORE 620968.882
AT ITER 8793 NEW BEST:: SOT 4880766 SOS 1033688 HAS SOPS 1033688 HAS SOUS 619892 HAS SOUPS 619892 WITH SCORE 620925.688
AT ITER 8799 NEW BEST:: SOT 4880766 SOS 1033664 HAS SOPS 1033664 HAS SOUS 619868 HAS SOUPS 619868 WITH SCORE 620901.664
AT ITER 8803 NEW BEST:: SOT 4880766 SOS 1035569 HAS SOPS 1035569 HAS SOUS 619829 HAS SOUPS 619829 WITH SCORE 620864.569
AT ITER 8833 NEW BEST:: SOT 4880791 SOS 1035925 HAS SOPS 1035925 HAS SOUS 619747 HAS SOUPS 619747 WITH SCORE 620782.925
AT ITER 8837 NEW BEST:: SOT 4880791 SOS 1035769 HAS SOPS 1035769 HAS SOUS 619591 HAS SOUPS 619591 WITH SCORE 620626.769
AT ITER 8847 NEW BEST:: SOT 4880557 SOS 1034713 HAS SOPS 1034713 HAS SOUS 618986 HAS SOUPS 618986 WITH SCORE 620020.713
AT ITER 8861 NEW BEST:: SOT 4880506 SOS 1032496 HAS SOPS 1032496 HAS SOUS 618884 HAS SOUPS 618884 WITH SCORE 619916.496
AT ITER 8875 NEW BEST:: SOT 4880506 SOS 1032468 HAS SOPS 1032468 HAS SOUS 618884 HAS SOUPS 618884 WITH SCORE 619916.468
AT ITER 8883 NEW BEST:: SOT 4880506 SOS 1031859 HAS SOPS 1031859 HAS SOUS 618681 HAS SOUPS 618681 WITH SCORE 619712.859
AT ITER 8900 NEW BEST:: SOT 4880395 SOS 1031610 HAS SOPS 1031610 HAS SOUS 618432 HAS SOUPS 618432 WITH SCORE 619463.61
AT ITER 8937 NEW BEST:: SOT 4880358 SOS 1031499 HAS SOPS 1031499 HAS SOUS 618321 HAS SOUPS 618321 WITH SCORE 619352.499
AT ITER 8971 NEW BEST:: SOT 4880386 SOS 1031555 HAS SOPS 1031555 HAS SOUS 618296 HAS SOUPS 618296 WITH SCORE 619327.555
AT ITER 8977 NEW BEST:: SOT 4880337 SOS 1031163 HAS SOPS 1031163 HAS SOUS 618198 HAS SOUPS 618198 WITH SCORE 619229.163
AT ITER 8981 NEW BEST:: SOT 4880337 SOS 1031099 HAS SOPS 1031099 HAS SOUS 618181 HAS SOUPS 618181 WITH SCORE 619212.099
AT ITER 8983 NEW BEST:: SOT 4880392 SOS 1031061 HAS SOPS 1031061 HAS SOUS 618162 HAS SOUPS 618162 WITH SCORE 619193.061
AT ITER 8990 NEW BEST:: SOT 4880308 SOS 1028337 HAS SOPS 1028337 HAS SOUS 617994 HAS SOUPS 617994 WITH SCORE 619022.337
AT ITER 8991 NEW BEST:: SOT 4880129 SOS 1027979 HAS SOPS 1027979 HAS SOUS 617968 HAS SOUPS 617968 WITH SCORE 618995.979
AT ITER 8994 NEW BEST:: SOT 4880129 SOS 1028816 HAS SOPS 1028816 HAS SOUS 617962 HAS SOUPS 617962 WITH SCORE 618990.816
AT ITER 8995 NEW BEST:: SOT 4879812 SOS 1028878 HAS SOPS 1028878 HAS SOUS 617705 HAS SOUPS 617705 WITH SCORE 618733.878
AT ITER 9009 NEW BEST:: SOT 4879777 SOS 1028808 HAS SOPS 1028808 HAS SOUS 617681 HAS SOUPS 617681 WITH SCORE 618709.808
AT ITER 9047 NEW BEST:: SOT 4879464 SOS 1029121 HAS SOPS 1029121 HAS SOUS 617368 HAS SOUPS 617368 WITH SCORE 618397.121
AT ITER 9051 NEW BEST:: SOT 4879432 SOS 1029057 HAS SOPS 1029057 HAS SOUS 617336 HAS SOUPS 617336 WITH SCORE 618365.057
AT ITER 9135 NEW BEST:: SOT 4879384 SOS 1028961 HAS SOPS 1028961 HAS SOUS 617288 HAS SOUPS 617288 WITH SCORE 618316.961
AT ITER 9146 NEW BEST:: SOT 4879384 SOS 1028731 HAS SOPS 1028731 HAS SOUS 616986 HAS SOUPS 616986 WITH SCORE 618014.731
AT ITER 9147 NEW BEST:: SOT 4879174 SOS 1028311 HAS SOPS 1028311 HAS SOUS 616776 HAS SOUPS 616776 WITH SCORE 617804.311
AT ITER 9164 NEW BEST:: SOT 4879304 SOS 1028081 HAS SOPS 1028081 HAS SOUS 616763 HAS SOUPS 616763 WITH SCORE 617791.081
AT ITER 9186 NEW BEST:: SOT 4879302 SOS 1028081 HAS SOPS 1028081 HAS SOUS 616762 HAS SOUPS 616762 WITH SCORE 617790.081
AT ITER 9190 NEW BEST:: SOT 4879217 SOS 1027911 HAS SOPS 1027911 HAS SOUS 616592 HAS SOUPS 616592 WITH SCORE 617619.911
AT ITER 9205 NEW BEST:: SOT 4879001 SOS 1027616 HAS SOPS 1027616 HAS SOUS 616442 HAS SOUPS 616442 WITH SCORE 617469.616
AT ITER 9214 NEW BEST:: SOT 4878794 SOS 1027409 HAS SOPS 1027409 HAS SOUS 616235 HAS SOUPS 616235 WITH SCORE 617262.409
AT ITER 9215 NEW BEST:: SOT 4878836 SOS 1027493 HAS SOPS 1027493 HAS SOUS 615907 HAS SOUPS 615907 WITH SCORE 616934.493
AT ITER 9216 NEW BEST:: SOT 4878836 SOS 1027217 HAS SOPS 1027217 HAS SOUS 615769 HAS SOUPS 615769 WITH SCORE 616796.217
AT ITER 9305 NEW BEST:: SOT 4878802 SOS 1027210 HAS SOPS 1027210 HAS SOUS 615735 HAS SOUPS 615735 WITH SCORE 616762.21
AT ITER 9312 NEW BEST:: SOT 4878699 SOS 1026582 HAS SOPS 1026582 HAS SOUS 615475 HAS SOUPS 615475 WITH SCORE 616501.582
AT ITER 9317 NEW BEST:: SOT 4878463 SOS 1024889 HAS SOPS 1024889 HAS SOUS 614100 HAS SOUPS 614100 WITH SCORE 615124.889
AT ITER 9344 NEW BEST:: SOT 4878139 SOS 1024637 HAS SOPS 1024637 HAS SOUS 614100 HAS SOUPS 614100 WITH SCORE 615124.637
AT ITER 9400 NEW BEST:: SOT 4878094 SOS 1023015 HAS SOPS 1023015 HAS SOUS 613855 HAS SOUPS 613855 WITH SCORE 614878.015
AT ITER 9504 NEW BEST:: SOT 4878147 SOS 1023086 HAS SOPS 1023086 HAS SOUS 613850 HAS SOUPS 613850 WITH SCORE 614873.086
AT ITER 9518 NEW BEST:: SOT 4878090 SOS 1022595 HAS SOPS 1022595 HAS SOUS 613845 HAS SOUPS 613845 WITH SCORE 614867.595
AT ITER 9546 NEW BEST:: SOT 4878049 SOS 1022554 HAS SOPS 1022554 HAS SOUS 613845 HAS SOUPS 613845 WITH SCORE 614867.554
AT ITER 9564 NEW BEST:: SOT 4877836 SOS 1022350 HAS SOPS 1022350 HAS SOUS 613632 HAS SOUPS 613632 WITH SCORE 614654.35
AT ITER 9565 NEW BEST:: SOT 4877494 SOS 1022179 HAS SOPS 1022179 HAS SOUS 613461 HAS SOUPS 613461 WITH SCORE 614483.179
AT ITER 9568 NEW BEST:: SOT 4877488 SOS 1022167 HAS SOPS 1022167 HAS SOUS 613455 HAS SOUPS 613455 WITH SCORE 614477.167
AT ITER 9577 NEW BEST:: SOT 4877377 SOS 1021945 HAS SOPS 1021945 HAS SOUS 613233 HAS SOUPS 613233 WITH SCORE 614254.945
AT ITER 9579 NEW BEST:: SOT 4877156 SOS 1021503 HAS SOPS 1021503 HAS SOUS 613012 HAS SOUPS 613012 WITH SCORE 614033.503
AT ITER 9598 NEW BEST:: SOT 4876998 SOS 1021783 HAS SOPS 1021783 HAS SOUS 612820 HAS SOUPS 612820 WITH SCORE 613841.783
AT ITER 9601 NEW BEST:: SOT 4876746 SOS 1021279 HAS SOPS 1021279 HAS SOUS 612316 HAS SOUPS 612316 WITH SCORE 613337.279
AT ITER 9619 NEW BEST:: SOT 4876669 SOS 1021131 HAS SOPS 1021131 HAS SOUS 612168 HAS SOUPS 612168 WITH SCORE 613189.131
AT ITER 9626 NEW BEST:: SOT 4876570 SOS 1020933 HAS SOPS 1020933 HAS SOUS 612168 HAS SOUPS 612168 WITH SCORE 613188.933
AT ITER 9636 NEW BEST:: SOT 4876570 SOS 1018863 HAS SOPS 1018863 HAS SOUS 612168 HAS SOUPS 612168 WITH SCORE 613186.863
AT ITER 9645 NEW BEST:: SOT 4875930 SOS 1018063 HAS SOPS 1018063 HAS SOUS 610726 HAS SOUPS 610726 WITH SCORE 611744.063
AT ITER 9707 NEW BEST:: SOT 4875873 SOS 1017949 HAS SOPS 1017949 HAS SOUS 610669 HAS SOUPS 610669 WITH SCORE 611686.949
AT ITER 9713 NEW BEST:: SOT 4875852 SOS 1017763 HAS SOPS 1017763 HAS SOUS 610504 HAS SOUPS 610504 WITH SCORE 611521.763
AT ITER 9723 NEW BEST:: SOT 4875819 SOS 1017729 HAS SOPS 1017729 HAS SOUS 610470 HAS SOUPS 610470 WITH SCORE 611487.729
AT ITER 9730 NEW BEST:: SOT 4875818 SOS 1016905 HAS SOPS 1016905 HAS SOUS 610468 HAS SOUPS 610468 WITH SCORE 611484.905
AT ITER 9750 NEW BEST:: SOT 4875915 SOS 1016943 HAS SOPS 1016943 HAS SOUS 610422 HAS SOUPS 610422 WITH SCORE 611438.943
AT ITER 9766 NEW BEST:: SOT 4875915 SOS 1017132 HAS SOPS 1017132 HAS SOUS 610359 HAS SOUPS 610359 WITH SCORE 611376.132
AT ITER 9773 NEW BEST:: SOT 4875907 SOS 1017116 HAS SOPS 1017116 HAS SOUS 610351 HAS SOUPS 610351 WITH SCORE 611368.116
AT ITER 9788 NEW BEST:: SOT 4875906 SOS 1017047 HAS SOPS 1017047 HAS SOUS 610282 HAS SOUPS 610282 WITH SCORE 611299.047
AT ITER 9814 NEW BEST:: SOT 4875880 SOS 1016995 HAS SOPS 1016995 HAS SOUS 610256 HAS SOUPS 610256 WITH SCORE 611272.995
AT ITER 9826 NEW BEST:: SOT 4875880 SOS 1016125 HAS SOPS 1016125 HAS SOUS 609966 HAS SOUPS 609966 WITH SCORE 610982.125
AT ITER 9834 NEW BEST:: SOT 4875880 SOS 1016106 HAS SOPS 1016106 HAS SOUS 609947 HAS SOUPS 609947 WITH SCORE 610963.106
AT ITER 9872 NEW BEST:: SOT 4875680 SOS 1019125 HAS SOPS 1019125 HAS SOUS 609860 HAS SOUPS 609860 WITH SCORE 610879.125
AT ITER 9884 NEW BEST:: SOT 4875547 SOS 1018859 HAS SOPS 1018859 HAS SOUS 609594 HAS SOUPS 609594 WITH SCORE 610612.859
AT ITER 9900 NEW BEST:: SOT 4875351 SOS 1018715 HAS SOPS 1018715 HAS SOUS 609398 HAS SOUPS 609398 WITH SCORE 610416.715
AT ITER 9927 NEW BEST:: SOT 4875470 SOS 1018953 HAS SOPS 1018953 HAS SOUS 609370 HAS SOUPS 609370 WITH SCORE 610388.953
AT ITER 9968 NEW BEST:: SOT 4875391 SOS 1018795 HAS SOPS 1018795 HAS SOUS 609159 HAS SOUPS 609159 WITH SCORE 610177.795
AT ITER 9971 NEW BEST:: SOT 4875391 SOS 1018785 HAS SOPS 1018785 HAS SOUS 609158 HAS SOUPS 609158 WITH SCORE 610176.785
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 14401700 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16152676 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is 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 r099-tall-167814472700680"
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 ;