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.r107-tall-167814484700816.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DLCshifumi-PT-3a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484700816
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 9.3K Feb 26 09:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 26 09:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 08:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 08:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 10:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 10:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 10:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 103K Feb 26 10:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 778K 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 1678432119039

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCshifumi-PT-3a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 07:08:40] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 07:08:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 07:08:40] [INFO ] Load time of PNML (sax parser for PT used): 132 ms
[2023-03-10 07:08:40] [INFO ] Transformed 544 places.
[2023-03-10 07:08:40] [INFO ] Transformed 3097 transitions.
[2023-03-10 07:08:40] [INFO ] Found NUPN structural information;
[2023-03-10 07:08:40] [INFO ] Parsed PT model containing 544 places and 3097 transitions and 11545 arcs in 412 ms.
[2023-03-10 07:08:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 544 places, 3097 transitions and 11545 arcs took 33 ms.
Total runtime 475 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 3a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 544 places, 3097 transitions, 11545 arcs.
AT ITER 0 NEW BEST:: SOT 1161244 SOS 902926 HAS SOPS 486037 HAS SOUS 143202 HAS SOUPS 74919 WITH SCORE 75821.926
AT ITER 1 NEW BEST:: SOT 1161001 SOS 902440 HAS SOPS 486142 HAS SOUS 142641 HAS SOUPS 74555 WITH SCORE 75457.44
AT ITER 14 NEW BEST:: SOT 1161001 SOS 902440 HAS SOPS 486142 HAS SOUS 142579 HAS SOUPS 74493 WITH SCORE 75395.44
AT ITER 23 NEW BEST:: SOT 1160427 SOS 902595 HAS SOPS 485559 HAS SOUS 142345 HAS SOUPS 74177 WITH SCORE 75079.595
AT ITER 25 NEW BEST:: SOT 1160340 SOS 902421 HAS SOPS 485973 HAS SOUS 142109 HAS SOUPS 74137 WITH SCORE 75039.421
AT ITER 26 NEW BEST:: SOT 1158992 SOS 904731 HAS SOPS 486741 HAS SOUS 141285 HAS SOUPS 73313 WITH SCORE 74217.731
AT ITER 27 NEW BEST:: SOT 1158892 SOS 904451 HAS SOPS 486461 HAS SOUS 141105 HAS SOUPS 73133 WITH SCORE 74037.451
AT ITER 30 NEW BEST:: SOT 1158180 SOS 908335 HAS SOPS 487924 HAS SOUS 141259 HAS SOUPS 73018 WITH SCORE 73926.335
AT ITER 31 NEW BEST:: SOT 1158090 SOS 908155 HAS SOPS 487744 HAS SOUS 141169 HAS SOUPS 72928 WITH SCORE 73836.155
AT ITER 32 NEW BEST:: SOT 1157621 SOS 909081 HAS SOPS 487527 HAS SOUS 140884 HAS SOUPS 72516 WITH SCORE 73425.081
AT ITER 34 NEW BEST:: SOT 1157621 SOS 909081 HAS SOPS 487527 HAS SOUS 140814 HAS SOUPS 72446 WITH SCORE 73355.081
AT ITER 43 NEW BEST:: SOT 1156765 SOS 908926 HAS SOPS 486454 HAS SOUS 140303 HAS SOUPS 71833 WITH SCORE 72741.926
AT ITER 47 NEW BEST:: SOT 1156810 SOS 908926 HAS SOPS 486184 HAS SOUS 140391 HAS SOUPS 71831 WITH SCORE 72739.926
AT ITER 48 NEW BEST:: SOT 1155885 SOS 901218 HAS SOPS 487308 HAS SOUS 139734 HAS SOUPS 71174 WITH SCORE 72075.218
AT ITER 51 NEW BEST:: SOT 1155759 SOS 900687 HAS SOPS 487056 HAS SOUS 139515 HAS SOUPS 71048 WITH SCORE 71948.687
AT ITER 56 NEW BEST:: SOT 1155637 SOS 900443 HAS SOPS 486812 HAS SOUS 139332 HAS SOUPS 70865 WITH SCORE 71765.443
AT ITER 64 NEW BEST:: SOT 1155625 SOS 900413 HAS SOPS 486782 HAS SOUS 139320 HAS SOUPS 70853 WITH SCORE 71753.413
AT ITER 70 NEW BEST:: SOT 1154265 SOS 901070 HAS SOPS 486317 HAS SOUS 138382 HAS SOUPS 69915 WITH SCORE 70816.07
AT ITER 79 NEW BEST:: SOT 1153765 SOS 900674 HAS SOPS 485921 HAS SOUS 138241 HAS SOUPS 69774 WITH SCORE 70674.674
AT ITER 84 NEW BEST:: SOT 1153601 SOS 900046 HAS SOPS 485593 HAS SOUS 137977 HAS SOUPS 69610 WITH SCORE 70510.046
AT ITER 85 NEW BEST:: SOT 1151476 SOS 896602 HAS SOPS 484579 HAS SOUS 137619 HAS SOUPS 69402 WITH SCORE 70298.602
AT ITER 90 NEW BEST:: SOT 1151476 SOS 896602 HAS SOPS 484579 HAS SOUS 137553 HAS SOUPS 69336 WITH SCORE 70232.602
AT ITER 91 NEW BEST:: SOT 1148616 SOS 893009 HAS SOPS 482794 HAS SOUS 137332 HAS SOUPS 69257 WITH SCORE 70150.009
AT ITER 97 NEW BEST:: SOT 1148055 SOS 894445 HAS SOPS 482889 HAS SOUS 137038 HAS SOUPS 68814 WITH SCORE 69708.445
AT ITER 104 NEW BEST:: SOT 1146271 SOS 891513 HAS SOPS 482165 HAS SOUS 136800 HAS SOUPS 68726 WITH SCORE 69617.513
AT ITER 106 NEW BEST:: SOT 1146035 SOS 891041 HAS SOPS 482047 HAS SOUS 136328 HAS SOUPS 68372 WITH SCORE 69263.041
AT ITER 110 NEW BEST:: SOT 1145818 SOS 890607 HAS SOPS 482015 HAS SOUS 135894 HAS SOUPS 68072 WITH SCORE 68962.607
AT ITER 133 NEW BEST:: SOT 1146245 SOS 891909 HAS SOPS 483317 HAS SOUS 135751 HAS SOUPS 67929 WITH SCORE 68820.909
AT ITER 134 NEW BEST:: SOT 1145944 SOS 891909 HAS SOPS 482930 HAS SOUS 135579 HAS SOUPS 67714 WITH SCORE 68605.909
AT ITER 144 NEW BEST:: SOT 1145847 SOS 891715 HAS SOPS 483066 HAS SOUS 135324 HAS SOUPS 67569 WITH SCORE 68460.715
AT ITER 146 NEW BEST:: SOT 1145833 SOS 891687 HAS SOPS 483038 HAS SOUS 135296 HAS SOUPS 67541 WITH SCORE 68432.687
AT ITER 156 NEW BEST:: SOT 1145737 SOS 891495 HAS SOPS 483002 HAS SOUS 135096 HAS SOUPS 67393 WITH SCORE 68284.495
AT ITER 160 NEW BEST:: SOT 1145737 SOS 891495 HAS SOPS 483002 HAS SOUS 135018 HAS SOUPS 67315 WITH SCORE 68206.495
AT ITER 163 NEW BEST:: SOT 1145737 SOS 891495 HAS SOPS 483002 HAS SOUS 134940 HAS SOUPS 67237 WITH SCORE 68128.495
AT ITER 168 NEW BEST:: SOT 1145737 SOS 891495 HAS SOPS 483224 HAS SOUS 134692 HAS SOUPS 67135 WITH SCORE 68026.495
AT ITER 169 NEW BEST:: SOT 1145359 SOS 891495 HAS SOPS 482738 HAS SOUS 134530 HAS SOUPS 66919 WITH SCORE 67810.495
AT ITER 177 NEW BEST:: SOT 1145232 SOS 891241 HAS SOPS 482611 HAS SOUS 134022 HAS SOUPS 66538 WITH SCORE 67429.241
AT ITER 183 NEW BEST:: SOT 1144129 SOS 891496 HAS SOPS 482294 HAS SOUS 133502 HAS SOUPS 66078 WITH SCORE 66969.496
AT ITER 185 NEW BEST:: SOT 1142829 SOS 891498 HAS SOPS 481312 HAS SOUS 132544 HAS SOUPS 65120 WITH SCORE 66011.498
AT ITER 187 NEW BEST:: SOT 1142682 SOS 891204 HAS SOPS 481633 HAS SOUS 132169 HAS SOUPS 64950 WITH SCORE 65841.204
AT ITER 190 NEW BEST:: SOT 1142617 SOS 891266 HAS SOPS 481185 HAS SOUS 132127 HAS SOUPS 64738 WITH SCORE 65629.266
AT ITER 191 NEW BEST:: SOT 1142553 SOS 891138 HAS SOPS 481522 HAS SOUS 131862 HAS SOUPS 64628 WITH SCORE 65519.138
AT ITER 194 NEW BEST:: SOT 1142441 SOS 892034 HAS SOPS 482082 HAS SOUS 131809 HAS SOUPS 64575 WITH SCORE 65467.034
AT ITER 195 NEW BEST:: SOT 1142441 SOS 892034 HAS SOPS 482082 HAS SOUS 131805 HAS SOUPS 64571 WITH SCORE 65463.034
AT ITER 196 NEW BEST:: SOT 1142198 SOS 891548 HAS SOPS 481986 HAS SOUS 131313 HAS SOUPS 64209 WITH SCORE 65100.548
AT ITER 197 NEW BEST:: SOT 1141919 SOS 890924 HAS SOPS 481957 HAS SOUS 131144 HAS SOUPS 64165 WITH SCORE 65055.924
AT ITER 223 NEW BEST:: SOT 1141919 SOS 890924 HAS SOPS 481957 HAS SOUS 131112 HAS SOUPS 64133 WITH SCORE 65023.924
AT ITER 231 NEW BEST:: SOT 1142004 SOS 889393 HAS SOPS 480936 HAS SOUS 131099 HAS SOUPS 64120 WITH SCORE 65009.393
AT ITER 232 NEW BEST:: SOT 1140889 SOS 890380 HAS SOPS 480885 HAS SOUS 130536 HAS SOUPS 63557 WITH SCORE 64447.38
AT ITER 235 NEW BEST:: SOT 1140790 SOS 890065 HAS SOPS 480819 HAS SOUS 130270 HAS SOUPS 63374 WITH SCORE 64264.065
AT ITER 237 NEW BEST:: SOT 1140763 SOS 890038 HAS SOPS 480792 HAS SOUS 130243 HAS SOUPS 63347 WITH SCORE 64237.038
AT ITER 241 NEW BEST:: SOT 1140679 SOS 890038 HAS SOPS 480720 HAS SOUS 130207 HAS SOUPS 63311 WITH SCORE 64201.038
AT ITER 247 NEW BEST:: SOT 1139351 SOS 890201 HAS SOPS 479815 HAS SOUS 129276 HAS SOUPS 62380 WITH SCORE 63270.201
AT ITER 252 NEW BEST:: SOT 1138966 SOS 890515 HAS SOPS 479526 HAS SOUS 129030 HAS SOUPS 62067 WITH SCORE 62957.515
AT ITER 253 NEW BEST:: SOT 1138812 SOS 890325 HAS SOPS 479690 HAS SOUS 128758 HAS SOUPS 61913 WITH SCORE 62803.325
AT ITER 254 NEW BEST:: SOT 1138691 SOS 890170 HAS SOPS 479702 HAS SOUS 128609 HAS SOUPS 61851 WITH SCORE 62741.17
AT ITER 255 NEW BEST:: SOT 1138599 SOS 889986 HAS SOPS 479518 HAS SOUS 128468 HAS SOUPS 61710 WITH SCORE 62599.986
AT ITER 260 NEW BEST:: SOT 1138543 SOS 889874 HAS SOPS 479406 HAS SOUS 128412 HAS SOUPS 61654 WITH SCORE 62543.874
AT ITER 263 NEW BEST:: SOT 1137188 SOS 890139 HAS SOPS 478621 HAS SOUS 127472 HAS SOUPS 60714 WITH SCORE 61604.139
AT ITER 266 NEW BEST:: SOT 1137001 SOS 889867 HAS SOPS 478502 HAS SOUS 127455 HAS SOUPS 60714 WITH SCORE 61603.867
AT ITER 268 NEW BEST:: SOT 1136995 SOS 889856 HAS SOPS 478494 HAS SOUS 127450 HAS SOUPS 60710 WITH SCORE 61599.856
AT ITER 278 NEW BEST:: SOT 1136995 SOS 889856 HAS SOPS 478494 HAS SOUS 127400 HAS SOUPS 60660 WITH SCORE 61549.856
AT ITER 288 NEW BEST:: SOT 1136708 SOS 889934 HAS SOPS 478203 HAS SOUS 127262 HAS SOUPS 60481 WITH SCORE 61370.934
AT ITER 298 NEW BEST:: SOT 1135983 SOS 892213 HAS SOPS 479240 HAS SOUS 127172 HAS SOUPS 60391 WITH SCORE 61283.213
AT ITER 311 NEW BEST:: SOT 1135443 SOS 893701 HAS SOPS 479918 HAS SOUS 126767 HAS SOUPS 59986 WITH SCORE 60879.701
AT ITER 314 NEW BEST:: SOT 1135504 SOS 888943 HAS SOPS 477478 HAS SOUS 126767 HAS SOUPS 59986 WITH SCORE 60874.943
AT ITER 319 NEW BEST:: SOT 1135429 SOS 888793 HAS SOPS 477328 HAS SOUS 126694 HAS SOUPS 59913 WITH SCORE 60801.793
AT ITER 321 NEW BEST:: SOT 1135395 SOS 889185 HAS SOPS 477582 HAS SOUS 126683 HAS SOUPS 59902 WITH SCORE 60791.185
AT ITER 323 NEW BEST:: SOT 1135395 SOS 889185 HAS SOPS 477582 HAS SOUS 126605 HAS SOUPS 59824 WITH SCORE 60713.185
AT ITER 331 NEW BEST:: SOT 1135289 SOS 888896 HAS SOPS 477293 HAS SOUS 126499 HAS SOUPS 59718 WITH SCORE 60606.896
AT ITER 341 NEW BEST:: SOT 1134178 SOS 891054 HAS SOPS 478011 HAS SOUS 125791 HAS SOUPS 59010 WITH SCORE 59901.054
AT ITER 351 NEW BEST:: SOT 1134178 SOS 891054 HAS SOPS 477993 HAS SOUS 125791 HAS SOUPS 59004 WITH SCORE 59895.054
AT ITER 355 NEW BEST:: SOT 1133922 SOS 890236 HAS SOPS 477667 HAS SOUS 125151 HAS SOUPS 58528 WITH SCORE 59418.236
AT ITER 356 NEW BEST:: SOT 1133902 SOS 890176 HAS SOPS 477587 HAS SOUS 125171 HAS SOUPS 58528 WITH SCORE 59418.176
AT ITER 363 NEW BEST:: SOT 1133901 SOS 890174 HAS SOPS 477585 HAS SOUS 125170 HAS SOUPS 58527 WITH SCORE 59417.174
AT ITER 369 NEW BEST:: SOT 1133126 SOS 891430 HAS SOPS 477893 HAS SOUS 124660 HAS SOUPS 58017 WITH SCORE 58908.43
AT ITER 371 NEW BEST:: SOT 1133126 SOS 891109 HAS SOPS 477893 HAS SOUS 124471 HAS SOUPS 57935 WITH SCORE 58826.109
AT ITER 404 NEW BEST:: SOT 1132358 SOS 891940 HAS SOPS 477968 HAS SOUS 124009 HAS SOUPS 57473 WITH SCORE 58364.94
AT ITER 405 NEW BEST:: SOT 1132194 SOS 891920 HAS SOPS 477816 HAS SOUS 123923 HAS SOUPS 57387 WITH SCORE 58278.92
AT ITER 409 NEW BEST:: SOT 1132096 SOS 891641 HAS SOPS 477537 HAS SOUS 123742 HAS SOUPS 57206 WITH SCORE 58097.641
AT ITER 413 NEW BEST:: SOT 1131656 SOS 892209 HAS SOPS 477169 HAS SOUS 123438 HAS SOUPS 56798 WITH SCORE 57690.209
AT ITER 430 NEW BEST:: SOT 1131510 SOS 891960 HAS SOPS 476920 HAS SOUS 123421 HAS SOUPS 56781 WITH SCORE 57672.96
AT ITER 436 NEW BEST:: SOT 1131092 SOS 891124 HAS SOPS 476084 HAS SOUS 123221 HAS SOUPS 56581 WITH SCORE 57472.124
AT ITER 442 NEW BEST:: SOT 1131487 SOS 891684 HAS SOPS 476429 HAS SOUS 122998 HAS SOUPS 56466 WITH SCORE 57357.684
AT ITER 458 NEW BEST:: SOT 1131379 SOS 891414 HAS SOPS 476159 HAS SOUS 122890 HAS SOUPS 56358 WITH SCORE 57249.414
AT ITER 463 NEW BEST:: SOT 1131514 SOS 890264 HAS SOPS 475648 HAS SOUS 122755 HAS SOUPS 56294 WITH SCORE 57184.264
AT ITER 475 NEW BEST:: SOT 1131374 SOS 889819 HAS SOPS 475413 HAS SOUS 122545 HAS SOUPS 56154 WITH SCORE 57043.819
AT ITER 478 NEW BEST:: SOT 1131083 SOS 889866 HAS SOPS 475127 HAS SOUS 122400 HAS SOUPS 55972 WITH SCORE 56861.866
AT ITER 479 NEW BEST:: SOT 1130934 SOS 889840 HAS SOPS 474948 HAS SOUS 122317 HAS SOUPS 55872 WITH SCORE 56761.84
AT ITER 487 NEW BEST:: SOT 1130908 SOS 889281 HAS SOPS 474965 HAS SOUS 122099 HAS SOUPS 55846 WITH SCORE 56735.281
AT ITER 493 NEW BEST:: SOT 1130819 SOS 889272 HAS SOPS 474839 HAS SOUS 122051 HAS SOUPS 55785 WITH SCORE 56674.272
AT ITER 505 NEW BEST:: SOT 1130819 SOS 889272 HAS SOPS 474839 HAS SOUS 121991 HAS SOUPS 55725 WITH SCORE 56614.272
AT ITER 530 NEW BEST:: SOT 1130751 SOS 889321 HAS SOPS 475443 HAS SOUS 121738 HAS SOUPS 55657 WITH SCORE 56546.321
AT ITER 539 NEW BEST:: SOT 1130614 SOS 890283 HAS SOPS 475991 HAS SOUS 121670 HAS SOUPS 55589 WITH SCORE 56479.283
AT ITER 543 NEW BEST:: SOT 1128626 SOS 886967 HAS SOPS 475299 HAS SOUS 121316 HAS SOUPS 55557 WITH SCORE 56443.967
AT ITER 551 NEW BEST:: SOT 1128593 SOS 886901 HAS SOPS 475365 HAS SOUS 121223 HAS SOUPS 55508 WITH SCORE 56394.901
AT ITER 567 NEW BEST:: SOT 1128517 SOS 886662 HAS SOPS 475126 HAS SOUS 121147 HAS SOUPS 55432 WITH SCORE 56318.662
AT ITER 576 NEW BEST:: SOT 1128220 SOS 886223 HAS SOPS 475152 HAS SOUS 120840 HAS SOUPS 55280 WITH SCORE 56166.223
AT ITER 580 NEW BEST:: SOT 1128197 SOS 886177 HAS SOPS 475106 HAS SOUS 120794 HAS SOUPS 55234 WITH SCORE 56120.177
AT ITER 583 NEW BEST:: SOT 1128057 SOS 885597 HAS SOPS 474526 HAS SOUS 120754 HAS SOUPS 55194 WITH SCORE 56079.597
AT ITER 589 NEW BEST:: SOT 1127791 SOS 885745 HAS SOPS 474314 HAS SOUS 120662 HAS SOUPS 55062 WITH SCORE 55947.745
AT ITER 593 NEW BEST:: SOT 1127725 SOS 885551 HAS SOPS 474120 HAS SOUS 120596 HAS SOUPS 54996 WITH SCORE 55881.551
AT ITER 596 NEW BEST:: SOT 1126881 SOS 888414 HAS SOPS 475417 HAS SOUS 120328 HAS SOUPS 54728 WITH SCORE 55616.414
AT ITER 597 NEW BEST:: SOT 1126848 SOS 888535 HAS SOPS 475472 HAS SOUS 120306 HAS SOUPS 54706 WITH SCORE 55594.535
AT ITER 609 NEW BEST:: SOT 1126798 SOS 888605 HAS SOPS 475452 HAS SOUS 120306 HAS SOUPS 54696 WITH SCORE 55584.605
AT ITER 612 NEW BEST:: SOT 1126707 SOS 888423 HAS SOPS 475270 HAS SOUS 120215 HAS SOUPS 54605 WITH SCORE 55493.423
AT ITER 616 NEW BEST:: SOT 1126605 SOS 888236 HAS SOPS 475134 HAS SOUS 120130 HAS SOUPS 54537 WITH SCORE 55425.236
AT ITER 625 NEW BEST:: SOT 1126227 SOS 887434 HAS SOPS 474884 HAS SOUS 119564 HAS SOUPS 54155 WITH SCORE 55042.434
AT ITER 636 NEW BEST:: SOT 1126151 SOS 887282 HAS SOPS 474618 HAS SOUS 119450 HAS SOUPS 54003 WITH SCORE 54890.282
AT ITER 643 NEW BEST:: SOT 1126149 SOS 887278 HAS SOPS 475073 HAS SOUS 119225 HAS SOUPS 53931 WITH SCORE 54818.278
AT ITER 649 NEW BEST:: SOT 1126765 SOS 887984 HAS SOPS 475449 HAS SOUS 119204 HAS SOUPS 53886 WITH SCORE 54773.984
AT ITER 653 NEW BEST:: SOT 1126659 SOS 887772 HAS SOPS 475237 HAS SOUS 118997 HAS SOUPS 53679 WITH SCORE 54566.772
AT ITER 656 NEW BEST:: SOT 1125482 SOS 888464 HAS SOPS 474711 HAS SOUS 118762 HAS SOUPS 53444 WITH SCORE 54332.464
AT ITER 658 NEW BEST:: SOT 1125167 SOS 889920 HAS SOPS 475435 HAS SOUS 118569 HAS SOUPS 53251 WITH SCORE 54140.92
AT ITER 662 NEW BEST:: SOT 1125167 SOS 889916 HAS SOPS 475431 HAS SOUS 118569 HAS SOUPS 53251 WITH SCORE 54140.916
AT ITER 670 NEW BEST:: SOT 1125148 SOS 889878 HAS SOPS 475450 HAS SOUS 118531 HAS SOUPS 53232 WITH SCORE 54121.878
AT ITER 677 NEW BEST:: SOT 1125148 SOS 889878 HAS SOPS 475450 HAS SOUS 118501 HAS SOUPS 53202 WITH SCORE 54091.878
AT ITER 700 NEW BEST:: SOT 1125116 SOS 889814 HAS SOPS 475386 HAS SOUS 118469 HAS SOUPS 53170 WITH SCORE 54059.814
AT ITER 703 NEW BEST:: SOT 1124501 SOS 890108 HAS SOPS 474924 HAS SOUS 118267 HAS SOUPS 52884 WITH SCORE 53774.108
AT ITER 710 NEW BEST:: SOT 1124113 SOS 889332 HAS SOPS 474148 HAS SOUS 118113 HAS SOUPS 52730 WITH SCORE 53619.332
AT ITER 720 NEW BEST:: SOT 1124038 SOS 889182 HAS SOPS 473998 HAS SOUS 117963 HAS SOUPS 52580 WITH SCORE 53469.182
AT ITER 744 NEW BEST:: SOT 1124030 SOS 889166 HAS SOPS 473982 HAS SOUS 117955 HAS SOUPS 52572 WITH SCORE 53461.166
AT ITER 750 NEW BEST:: SOT 1124030 SOS 889166 HAS SOPS 473982 HAS SOUS 117949 HAS SOUPS 52566 WITH SCORE 53455.166
AT ITER 751 NEW BEST:: SOT 1123446 SOS 889743 HAS SOPS 473767 HAS SOUS 117881 HAS SOUPS 52410 WITH SCORE 53299.743
AT ITER 753 NEW BEST:: SOT 1123143 SOS 892881 HAS SOPS 475069 HAS SOUS 117926 HAS SOUPS 52251 WITH SCORE 53143.881
AT ITER 756 NEW BEST:: SOT 1121777 SOS 890590 HAS SOPS 474672 HAS SOUS 117749 HAS SOUPS 52237 WITH SCORE 53127.59
AT ITER 759 NEW BEST:: SOT 1121735 SOS 890506 HAS SOPS 474525 HAS SOUS 117728 HAS SOUPS 52195 WITH SCORE 53085.506
AT ITER 768 NEW BEST:: SOT 1121980 SOS 882095 HAS SOPS 474601 HAS SOUS 117424 HAS SOUPS 52098 WITH SCORE 52980.095
AT ITER 770 NEW BEST:: SOT 1121311 SOS 881071 HAS SOPS 474215 HAS SOUS 117288 HAS SOUPS 51969 WITH SCORE 52850.071
AT ITER 772 NEW BEST:: SOT 1121269 SOS 880987 HAS SOPS 474131 HAS SOUS 117225 HAS SOUPS 51906 WITH SCORE 52786.987
AT ITER 785 NEW BEST:: SOT 1121269 SOS 880879 HAS SOPS 474446 HAS SOUS 117004 HAS SOUPS 51826 WITH SCORE 52706.879
AT ITER 796 NEW BEST:: SOT 1121344 SOS 880657 HAS SOPS 474224 HAS SOUS 116941 HAS SOUPS 51763 WITH SCORE 52643.657
AT ITER 838 NEW BEST:: SOT 1121106 SOS 880587 HAS SOPS 474038 HAS SOUS 116813 HAS SOUPS 51664 WITH SCORE 52544.587
AT ITER 853 NEW BEST:: SOT 1121088 SOS 880371 HAS SOPS 473822 HAS SOUS 116735 HAS SOUPS 51586 WITH SCORE 52466.371
AT ITER 856 NEW BEST:: SOT 1120768 SOS 882289 HAS SOPS 474354 HAS SOUS 116866 HAS SOUPS 51563 WITH SCORE 52445.289
AT ITER 860 NEW BEST:: SOT 1120693 SOS 883350 HAS SOPS 474749 HAS SOUS 116920 HAS SOUPS 51543 WITH SCORE 52426.35
AT ITER 885 NEW BEST:: SOT 1120555 SOS 883116 HAS SOPS 474515 HAS SOUS 116782 HAS SOUPS 51405 WITH SCORE 52288.116
AT ITER 886 NEW BEST:: SOT 1120480 SOS 882916 HAS SOPS 474390 HAS SOUS 116632 HAS SOUPS 51280 WITH SCORE 52162.916
AT ITER 919 NEW BEST:: SOT 1120472 SOS 882744 HAS SOPS 474218 HAS SOUS 116520 HAS SOUPS 51168 WITH SCORE 52050.744
AT ITER 925 NEW BEST:: SOT 1120477 SOS 879830 HAS SOPS 473394 HAS SOUS 116506 HAS SOUPS 51154 WITH SCORE 52033.83
AT ITER 929 NEW BEST:: SOT 1120465 SOS 879809 HAS SOPS 473382 HAS SOUS 116500 HAS SOUPS 51151 WITH SCORE 52030.809
AT ITER 942 NEW BEST:: SOT 1120166 SOS 879771 HAS SOPS 473104 HAS SOUS 116342 HAS SOUPS 50993 WITH SCORE 51872.771
AT ITER 947 NEW BEST:: SOT 1120164 SOS 879767 HAS SOPS 473100 HAS SOUS 116338 HAS SOUPS 50989 WITH SCORE 51868.767
AT ITER 973 NEW BEST:: SOT 1120136 SOS 879711 HAS SOPS 473044 HAS SOUS 116259 HAS SOUPS 50910 WITH SCORE 51789.711
AT ITER 989 NEW BEST:: SOT 1120551 SOS 880524 HAS SOPS 473857 HAS SOUS 116255 HAS SOUPS 50906 WITH SCORE 51786.524
AT ITER 1001 NEW BEST:: SOT 1120551 SOS 880524 HAS SOPS 473857 HAS SOUS 116239 HAS SOUPS 50890 WITH SCORE 51770.524
AT ITER 1016 NEW BEST:: SOT 1117898 SOS 877177 HAS SOPS 471104 HAS SOUS 116342 HAS SOUPS 50759 WITH SCORE 51636.177
AT ITER 1018 NEW BEST:: SOT 1117864 SOS 877109 HAS SOPS 471036 HAS SOUS 116303 HAS SOUPS 50720 WITH SCORE 51597.109
AT ITER 1019 NEW BEST:: SOT 1117718 SOS 876875 HAS SOPS 470802 HAS SOUS 116259 HAS SOUPS 50676 WITH SCORE 51552.875
AT ITER 1025 NEW BEST:: SOT 1117718 SOS 876875 HAS SOPS 470802 HAS SOUS 116257 HAS SOUPS 50674 WITH SCORE 51550.875
AT ITER 1029 NEW BEST:: SOT 1117740 SOS 876765 HAS SOPS 470791 HAS SOUS 116214 HAS SOUPS 50642 WITH SCORE 51518.765
AT ITER 1039 NEW BEST:: SOT 1117681 SOS 876815 HAS SOPS 470767 HAS SOUS 116154 HAS SOUPS 50582 WITH SCORE 51458.815
AT ITER 1054 NEW BEST:: SOT 1117675 SOS 876690 HAS SOPS 470303 HAS SOUS 116251 HAS SOUPS 50566 WITH SCORE 51442.69
AT ITER 1056 NEW BEST:: SOT 1117346 SOS 878226 HAS SOPS 470767 HAS SOUS 116030 HAS SOUPS 50345 WITH SCORE 51223.226
AT ITER 1058 NEW BEST:: SOT 1117334 SOS 878208 HAS SOPS 470767 HAS SOUS 116012 HAS SOUPS 50333 WITH SCORE 51211.208
AT ITER 1061 NEW BEST:: SOT 1117334 SOS 878208 HAS SOPS 470767 HAS SOUS 115946 HAS SOUPS 50267 WITH SCORE 51145.208
AT ITER 1063 NEW BEST:: SOT 1117302 SOS 878024 HAS SOPS 470623 HAS SOUS 115842 HAS SOUPS 50203 WITH SCORE 51081.024
AT ITER 1076 NEW BEST:: SOT 1117254 SOS 877940 HAS SOPS 470575 HAS SOUS 115806 HAS SOUPS 50179 WITH SCORE 51056.94
AT ITER 1104 NEW BEST:: SOT 1119225 SOS 880455 HAS SOPS 471533 HAS SOUS 115700 HAS SOUPS 49900 WITH SCORE 50780.455
AT ITER 1112 NEW BEST:: SOT 1119223 SOS 880611 HAS SOPS 471599 HAS SOUS 115698 HAS SOUPS 49888 WITH SCORE 50768.611
AT ITER 1128 NEW BEST:: SOT 1119223 SOS 880611 HAS SOPS 471599 HAS SOUS 115696 HAS SOUPS 49886 WITH SCORE 50766.611
AT ITER 1148 NEW BEST:: SOT 1119119 SOS 880507 HAS SOPS 471495 HAS SOUS 115695 HAS SOUPS 49885 WITH SCORE 50765.507
AT ITER 1158 NEW BEST:: SOT 1118768 SOS 864400 HAS SOPS 463383 HAS SOUS 115218 HAS SOUPS 49603 WITH SCORE 50467.4
AT ITER 1161 NEW BEST:: SOT 1118805 SOS 863069 HAS SOPS 462478 HAS SOUS 115184 HAS SOUPS 49569 WITH SCORE 50432.069
AT ITER 1162 NEW BEST:: SOT 1118805 SOS 863069 HAS SOPS 462478 HAS SOUS 115176 HAS SOUPS 49561 WITH SCORE 50424.069
AT ITER 1169 NEW BEST:: SOT 1118287 SOS 855415 HAS SOPS 463592 HAS SOUS 115160 HAS SOUPS 49545 WITH SCORE 50400.415
AT ITER 1173 NEW BEST:: SOT 1118287 SOS 855415 HAS SOPS 463592 HAS SOUS 115114 HAS SOUPS 49499 WITH SCORE 50354.415
AT ITER 1177 NEW BEST:: SOT 1118207 SOS 855255 HAS SOPS 463432 HAS SOUS 115034 HAS SOUPS 49419 WITH SCORE 50274.255
AT ITER 1181 NEW BEST:: SOT 1118198 SOS 855084 HAS SOPS 463315 HAS SOUS 115016 HAS SOUPS 49401 WITH SCORE 50256.084
AT ITER 1185 NEW BEST:: SOT 1118313 SOS 855314 HAS SOPS 463253 HAS SOUS 114985 HAS SOUPS 49370 WITH SCORE 50225.314
AT ITER 1203 NEW BEST:: SOT 1117627 SOS 854354 HAS SOPS 462293 HAS SOUS 114844 HAS SOUPS 49229 WITH SCORE 50083.354
AT ITER 1208 NEW BEST:: SOT 1117361 SOS 859262 HAS SOPS 462033 HAS SOUS 114720 HAS SOUPS 49105 WITH SCORE 49964.262
AT ITER 1225 NEW BEST:: SOT 1117421 SOS 855014 HAS SOPS 462041 HAS SOUS 114668 HAS SOUPS 49053 WITH SCORE 49908.014
AT ITER 1239 NEW BEST:: SOT 1117034 SOS 855494 HAS SOPS 461900 HAS SOUS 114622 HAS SOUPS 48938 WITH SCORE 49793.494
AT ITER 1247 NEW BEST:: SOT 1117034 SOS 855197 HAS SOPS 461900 HAS SOUS 114424 HAS SOUPS 48839 WITH SCORE 49694.197
AT ITER 1251 NEW BEST:: SOT 1117034 SOS 855197 HAS SOPS 461900 HAS SOUS 114376 HAS SOUPS 48791 WITH SCORE 49646.197
AT ITER 1254 NEW BEST:: SOT 1116960 SOS 855785 HAS SOPS 462074 HAS SOUS 114386 HAS SOUPS 48755 WITH SCORE 49610.785
AT ITER 1266 NEW BEST:: SOT 1116902 SOS 855669 HAS SOPS 461958 HAS SOUS 114328 HAS SOUPS 48697 WITH SCORE 49552.669
AT ITER 1289 NEW BEST:: SOT 1116902 SOS 855669 HAS SOPS 461958 HAS SOUS 114314 HAS SOUPS 48683 WITH SCORE 49538.669
AT ITER 1301 NEW BEST:: SOT 1116538 SOS 854850 HAS SOPS 461412 HAS SOUS 114132 HAS SOUPS 48592 WITH SCORE 49446.85
AT ITER 1304 NEW BEST:: SOT 1116608 SOS 854780 HAS SOPS 461412 HAS SOUS 114008 HAS SOUPS 48538 WITH SCORE 49392.78
AT ITER 1308 NEW BEST:: SOT 1116598 SOS 854760 HAS SOPS 461347 HAS SOUS 114013 HAS SOUPS 48528 WITH SCORE 49382.76
AT ITER 1313 NEW BEST:: SOT 1116427 SOS 855133 HAS SOPS 461474 HAS SOUS 113985 HAS SOUPS 48500 WITH SCORE 49355.133
AT ITER 1317 NEW BEST:: SOT 1116359 SOS 854997 HAS SOPS 461386 HAS SOUS 113927 HAS SOUPS 48442 WITH SCORE 49296.997
AT ITER 1325 NEW BEST:: SOT 1116354 SOS 854987 HAS SOPS 461314 HAS SOUS 113890 HAS SOUPS 48405 WITH SCORE 49259.987
AT ITER 1332 NEW BEST:: SOT 1116334 SOS 854967 HAS SOPS 461294 HAS SOUS 113870 HAS SOUPS 48385 WITH SCORE 49239.967
AT ITER 1338 NEW BEST:: SOT 1116666 SOS 855760 HAS SOPS 461700 HAS SOUS 113882 HAS SOUPS 48268 WITH SCORE 49123.76
AT ITER 1350 NEW BEST:: SOT 1116639 SOS 855706 HAS SOPS 461646 HAS SOUS 113849 HAS SOUPS 48235 WITH SCORE 49090.706
AT ITER 1362 NEW BEST:: SOT 1116903 SOS 855970 HAS SOPS 461712 HAS SOUS 113783 HAS SOUPS 48169 WITH SCORE 49024.97
AT ITER 1384 NEW BEST:: SOT 1115122 SOS 853188 HAS SOPS 460766 HAS SOUS 113442 HAS SOUPS 47988 WITH SCORE 48841.188
AT ITER 1390 NEW BEST:: SOT 1115122 SOS 853188 HAS SOPS 460766 HAS SOUS 113382 HAS SOUPS 47928 WITH SCORE 48781.188
AT ITER 1393 NEW BEST:: SOT 1115103 SOS 853150 HAS SOPS 460728 HAS SOUS 113363 HAS SOUPS 47909 WITH SCORE 48762.15
AT ITER 1395 NEW BEST:: SOT 1115103 SOS 852892 HAS SOPS 460728 HAS SOUS 113277 HAS SOUPS 47909 WITH SCORE 48761.892
AT ITER 1418 NEW BEST:: SOT 1115103 SOS 852385 HAS SOPS 460715 HAS SOUS 113264 HAS SOUPS 47896 WITH SCORE 48748.385
AT ITER 1425 NEW BEST:: SOT 1115119 SOS 850884 HAS SOPS 459754 HAS SOUS 113181 HAS SOUPS 47813 WITH SCORE 48663.884
AT ITER 1442 NEW BEST:: SOT 1115119 SOS 850884 HAS SOPS 459754 HAS SOUS 113123 HAS SOUPS 47755 WITH SCORE 48605.884
AT ITER 1444 NEW BEST:: SOT 1115056 SOS 851283 HAS SOPS 459991 HAS SOUS 113114 HAS SOUPS 47746 WITH SCORE 48597.283
AT ITER 1451 NEW BEST:: SOT 1115049 SOS 851269 HAS SOPS 459977 HAS SOUS 113100 HAS SOUPS 47732 WITH SCORE 48583.269
AT ITER 1452 NEW BEST:: SOT 1114524 SOS 850342 HAS SOPS 459419 HAS SOUS 112869 HAS SOUPS 47624 WITH SCORE 48474.342
AT ITER 1466 NEW BEST:: SOT 1114535 SOS 850336 HAS SOPS 459413 HAS SOUS 112863 HAS SOUPS 47618 WITH SCORE 48468.336
AT ITER 1485 NEW BEST:: SOT 1112394 SOS 846856 HAS SOPS 458463 HAS SOUS 112148 HAS SOUPS 47163 WITH SCORE 48009.856
AT ITER 1512 NEW BEST:: SOT 1112390 SOS 846814 HAS SOPS 458439 HAS SOUS 112142 HAS SOUPS 47159 WITH SCORE 48005.814
AT ITER 1527 NEW BEST:: SOT 1112330 SOS 846674 HAS SOPS 458279 HAS SOUS 112093 HAS SOUPS 47110 WITH SCORE 47956.674
AT ITER 1528 NEW BEST:: SOT 1112334 SOS 846362 HAS SOPS 458119 HAS SOUS 112093 HAS SOUPS 47110 WITH SCORE 47956.362
AT ITER 1534 NEW BEST:: SOT 1112117 SOS 847190 HAS SOPS 458317 HAS SOUS 112143 HAS SOUPS 47090 WITH SCORE 47937.19
AT ITER 1542 NEW BEST:: SOT 1112237 SOS 847370 HAS SOPS 458317 HAS SOUS 112146 HAS SOUPS 47072 WITH SCORE 47919.37
AT ITER 1548 NEW BEST:: SOT 1112237 SOS 847487 HAS SOPS 458317 HAS SOUS 112170 HAS SOUPS 47057 WITH SCORE 47904.487
AT ITER 1561 NEW BEST:: SOT 1112135 SOS 847388 HAS SOPS 458218 HAS SOUS 112134 HAS SOUPS 47021 WITH SCORE 47868.388
AT ITER 1563 NEW BEST:: SOT 1112131 SOS 847420 HAS SOPS 458232 HAS SOUS 112134 HAS SOUPS 47019 WITH SCORE 47866.42
AT ITER 1566 NEW BEST:: SOT 1112126 SOS 847410 HAS SOPS 458222 HAS SOUS 112103 HAS SOUPS 46988 WITH SCORE 47835.41
AT ITER 1569 NEW BEST:: SOT 1112074 SOS 845875 HAS SOPS 458959 HAS SOUS 112057 HAS SOUPS 46942 WITH SCORE 47787.875
AT ITER 1574 NEW BEST:: SOT 1111698 SOS 844825 HAS SOPS 458356 HAS SOUS 111681 HAS SOUPS 46715 WITH SCORE 47559.825
AT ITER 1575 NEW BEST:: SOT 1111653 SOS 845263 HAS SOPS 458266 HAS SOUS 111838 HAS SOUPS 46696 WITH SCORE 47541.263
AT ITER 1576 NEW BEST:: SOT 1111673 SOS 845247 HAS SOPS 458250 HAS SOUS 111828 HAS SOUPS 46686 WITH SCORE 47531.247
AT ITER 1581 NEW BEST:: SOT 1111375 SOS 845858 HAS SOPS 458435 HAS SOUS 111623 HAS SOUPS 46481 WITH SCORE 47326.858
AT ITER 1583 NEW BEST:: SOT 1111384 SOS 845516 HAS SOPS 458435 HAS SOUS 111623 HAS SOUPS 46481 WITH SCORE 47326.516
AT ITER 1590 NEW BEST:: SOT 1111102 SOS 845260 HAS SOPS 458179 HAS SOUS 111622 HAS SOUPS 46480 WITH SCORE 47325.26
AT ITER 1596 NEW BEST:: SOT 1111102 SOS 845260 HAS SOPS 458179 HAS SOUS 111556 HAS SOUPS 46414 WITH SCORE 47259.26
AT ITER 1598 NEW BEST:: SOT 1111095 SOS 845246 HAS SOPS 458179 HAS SOUS 111556 HAS SOUPS 46414 WITH SCORE 47259.246
AT ITER 1618 NEW BEST:: SOT 1111094 SOS 845247 HAS SOPS 458177 HAS SOUS 111555 HAS SOUPS 46412 WITH SCORE 47257.247
AT ITER 1624 NEW BEST:: SOT 1111094 SOS 845247 HAS SOPS 458177 HAS SOUS 111511 HAS SOUPS 46368 WITH SCORE 47213.247
AT ITER 1632 NEW BEST:: SOT 1111094 SOS 845247 HAS SOPS 458177 HAS SOUS 111433 HAS SOUPS 46290 WITH SCORE 47135.247
AT ITER 1645 NEW BEST:: SOT 1110740 SOS 840706 HAS SOPS 459698 HAS SOUS 111411 HAS SOUPS 46268 WITH SCORE 47108.706
AT ITER 1647 NEW BEST:: SOT 1110753 SOS 840915 HAS SOPS 459724 HAS SOUS 111470 HAS SOUPS 46266 WITH SCORE 47106.915
AT ITER 1652 NEW BEST:: SOT 1110622 SOS 840698 HAS SOPS 459462 HAS SOUS 111318 HAS SOUPS 46102 WITH SCORE 46942.698
AT ITER 1672 NEW BEST:: SOT 1110586 SOS 840902 HAS SOPS 459558 HAS SOUS 111306 HAS SOUPS 46078 WITH SCORE 46918.902
AT ITER 1674 NEW BEST:: SOT 1110586 SOS 840902 HAS SOPS 459486 HAS SOUS 111306 HAS SOUPS 46054 WITH SCORE 46894.902
AT ITER 1675 NEW BEST:: SOT 1110599 SOS 840415 HAS SOPS 459512 HAS SOUS 111045 HAS SOUPS 45964 WITH SCORE 46804.415
AT ITER 1696 NEW BEST:: SOT 1110597 SOS 840412 HAS SOPS 459512 HAS SOUS 111042 HAS SOUPS 45962 WITH SCORE 46802.412
AT ITER 1705 NEW BEST:: SOT 1109069 SOS 838790 HAS SOPS 458630 HAS SOUS 111060 HAS SOUPS 45942 WITH SCORE 46780.79
AT ITER 1708 NEW BEST:: SOT 1109018 SOS 838688 HAS SOPS 458528 HAS SOUS 110948 HAS SOUPS 45830 WITH SCORE 46668.688
AT ITER 1732 NEW BEST:: SOT 1109046 SOS 838744 HAS SOPS 458584 HAS SOUS 110942 HAS SOUPS 45824 WITH SCORE 46662.744
AT ITER 1735 NEW BEST:: SOT 1109078 SOS 837991 HAS SOPS 458610 HAS SOUS 110914 HAS SOUPS 45815 WITH SCORE 46652.991
AT ITER 1780 NEW BEST:: SOT 1108985 SOS 839050 HAS SOPS 459291 HAS SOUS 110905 HAS SOUPS 45806 WITH SCORE 46645.05
AT ITER 1805 NEW BEST:: SOT 1109141 SOS 839308 HAS SOPS 459387 HAS SOUS 110845 HAS SOUPS 45692 WITH SCORE 46531.308
AT ITER 1815 NEW BEST:: SOT 1109141 SOS 839308 HAS SOPS 459387 HAS SOUS 110839 HAS SOUPS 45686 WITH SCORE 46525.308
AT ITER 1818 NEW BEST:: SOT 1109127 SOS 839292 HAS SOPS 459377 HAS SOUS 110838 HAS SOUPS 45685 WITH SCORE 46524.292
AT ITER 1824 NEW BEST:: SOT 1109103 SOS 839238 HAS SOPS 459323 HAS SOUS 110826 HAS SOUPS 45673 WITH SCORE 46512.238
AT ITER 1842 NEW BEST:: SOT 1109007 SOS 839526 HAS SOPS 459611 HAS SOUS 110778 HAS SOUPS 45625 WITH SCORE 46464.526
AT ITER 1861 NEW BEST:: SOT 1109073 SOS 839526 HAS SOPS 459611 HAS SOUS 110745 HAS SOUPS 45592 WITH SCORE 46431.526
AT ITER 1871 NEW BEST:: SOT 1109429 SOS 839882 HAS SOPS 459775 HAS SOUS 110725 HAS SOUPS 45572 WITH SCORE 46411.882
AT ITER 1877 NEW BEST:: SOT 1109418 SOS 839860 HAS SOPS 459789 HAS SOUS 110703 HAS SOUPS 45562 WITH SCORE 46401.86
AT ITER 1878 NEW BEST:: SOT 1109696 SOS 839153 HAS SOPS 459331 HAS SOUS 110602 HAS SOUPS 45533 WITH SCORE 46372.153
AT ITER 1890 NEW BEST:: SOT 1109395 SOS 836444 HAS SOPS 459504 HAS SOUS 110542 HAS SOUPS 45473 WITH SCORE 46309.444
AT ITER 1900 NEW BEST:: SOT 1109395 SOS 836444 HAS SOPS 459504 HAS SOUS 110540 HAS SOUPS 45471 WITH SCORE 46307.444
AT ITER 1910 NEW BEST:: SOT 1109391 SOS 836280 HAS SOPS 459492 HAS SOUS 110536 HAS SOUPS 45467 WITH SCORE 46303.28
AT ITER 1929 NEW BEST:: SOT 1108061 SOS 834751 HAS SOPS 458427 HAS SOUS 110542 HAS SOUPS 45407 WITH SCORE 46241.751
AT ITER 1943 NEW BEST:: SOT 1108046 SOS 834727 HAS SOPS 458427 HAS SOUS 110539 HAS SOUPS 45407 WITH SCORE 46241.727
AT ITER 1953 NEW BEST:: SOT 1107708 SOS 833769 HAS SOPS 457469 HAS SOUS 110413 HAS SOUPS 45281 WITH SCORE 46114.769
AT ITER 1956 NEW BEST:: SOT 1107696 SOS 833745 HAS SOPS 457445 HAS SOUS 110381 HAS SOUPS 45249 WITH SCORE 46082.745
AT ITER 1959 NEW BEST:: SOT 1107588 SOS 833529 HAS SOPS 457229 HAS SOUS 110352 HAS SOUPS 45220 WITH SCORE 46053.529
AT ITER 1963 NEW BEST:: SOT 1107569 SOS 833491 HAS SOPS 457191 HAS SOUS 110337 HAS SOUPS 45205 WITH SCORE 46038.491
AT ITER 1994 NEW BEST:: SOT 1107569 SOS 833401 HAS SOPS 457101 HAS SOUS 110307 HAS SOUPS 45175 WITH SCORE 46008.401
AT ITER 2028 NEW BEST:: SOT 1107484 SOS 832970 HAS SOPS 456774 HAS SOUS 110215 HAS SOUPS 45109 WITH SCORE 45941.97
AT ITER 2030 NEW BEST:: SOT 1107373 SOS 832785 HAS SOPS 456700 HAS SOUS 110148 HAS SOUPS 45079 WITH SCORE 45911.785
AT ITER 2038 NEW BEST:: SOT 1107373 SOS 832785 HAS SOPS 456700 HAS SOUS 110140 HAS SOUPS 45071 WITH SCORE 45903.785
AT ITER 2075 NEW BEST:: SOT 1107400 SOS 832914 HAS SOPS 456639 HAS SOUS 110149 HAS SOUPS 45027 WITH SCORE 45859.914
AT ITER 2080 NEW BEST:: SOT 1107378 SOS 832870 HAS SOPS 456617 HAS SOUS 110138 HAS SOUPS 45016 WITH SCORE 45848.87
AT ITER 2086 NEW BEST:: SOT 1107255 SOS 832838 HAS SOPS 457227 HAS SOUS 109887 HAS SOUPS 44979 WITH SCORE 45811.838
AT ITER 2093 NEW BEST:: SOT 1107227 SOS 832726 HAS SOPS 457115 HAS SOUS 109859 HAS SOUPS 44951 WITH SCORE 45783.726
AT ITER 2101 NEW BEST:: SOT 1107227 SOS 832726 HAS SOPS 457115 HAS SOUS 109817 HAS SOUPS 44909 WITH SCORE 45741.726
AT ITER 2121 NEW BEST:: SOT 1107222 SOS 832716 HAS SOPS 457210 HAS SOUS 109772 HAS SOUPS 44899 WITH SCORE 45731.716
AT ITER 2123 NEW BEST:: SOT 1107222 SOS 832716 HAS SOPS 457210 HAS SOUS 109746 HAS SOUPS 44873 WITH SCORE 45705.716
AT ITER 2126 NEW BEST:: SOT 1107193 SOS 832571 HAS SOPS 457152 HAS SOUS 109712 HAS SOUPS 44868 WITH SCORE 45700.571
AT ITER 2134 NEW BEST:: SOT 1106979 SOS 832143 HAS SOPS 457038 HAS SOUS 109536 HAS SOUPS 44775 WITH SCORE 45607.143
AT ITER 2142 NEW BEST:: SOT 1106848 SOS 835663 HAS SOPS 456986 HAS SOUS 109446 HAS SOUPS 44723 WITH SCORE 45558.663
AT ITER 2155 NEW BEST:: SOT 1106848 SOS 835546 HAS SOPS 456983 HAS SOUS 109442 HAS SOUPS 44719 WITH SCORE 45554.546
AT ITER 2161 NEW BEST:: SOT 1106412 SOS 835674 HAS SOPS 456761 HAS SOUS 109356 HAS SOUPS 44583 WITH SCORE 45418.674
AT ITER 2176 NEW BEST:: SOT 1106911 SOS 835915 HAS SOPS 457103 HAS SOUS 109082 HAS SOUPS 44512 WITH SCORE 45347.915
AT ITER 2197 NEW BEST:: SOT 1106899 SOS 835867 HAS SOPS 457091 HAS SOUS 109058 HAS SOUPS 44500 WITH SCORE 45335.867
AT ITER 2204 NEW BEST:: SOT 1106899 SOS 835867 HAS SOPS 457091 HAS SOUS 109022 HAS SOUPS 44464 WITH SCORE 45299.867
AT ITER 2209 NEW BEST:: SOT 1106896 SOS 835861 HAS SOPS 457085 HAS SOUS 108986 HAS SOUPS 44428 WITH SCORE 45263.861
AT ITER 2216 NEW BEST:: SOT 1106891 SOS 835851 HAS SOPS 457090 HAS SOUS 108981 HAS SOUPS 44428 WITH SCORE 45263.851
AT ITER 2217 NEW BEST:: SOT 1106827 SOS 835723 HAS SOPS 457154 HAS SOUS 108853 HAS SOUPS 44364 WITH SCORE 45199.723
AT ITER 2265 NEW BEST:: SOT 1107073 SOS 836109 HAS SOPS 457276 HAS SOUS 108826 HAS SOUPS 44258 WITH SCORE 45094.109
AT ITER 2273 NEW BEST:: SOT 1107078 SOS 835739 HAS SOPS 456990 HAS SOUS 108797 HAS SOUPS 44229 WITH SCORE 45064.739
AT ITER 2283 NEW BEST:: SOT 1107078 SOS 835739 HAS SOPS 456990 HAS SOUS 108795 HAS SOUPS 44227 WITH SCORE 45062.739
AT ITER 2294 NEW BEST:: SOT 1106958 SOS 837839 HAS SOPS 456810 HAS SOUS 108735 HAS SOUPS 44167 WITH SCORE 45004.839
AT ITER 2319 NEW BEST:: SOT 1106958 SOS 836655 HAS SOPS 455530 HAS SOUS 108767 HAS SOUPS 44167 WITH SCORE 45003.655
AT ITER 2342 NEW BEST:: SOT 1106879 SOS 836497 HAS SOPS 455530 HAS SOUS 108744 HAS SOUPS 44156 WITH SCORE 44992.497
AT ITER 2346 NEW BEST:: SOT 1106879 SOS 836464 HAS SOPS 455398 HAS SOUS 108777 HAS SOUPS 44156 WITH SCORE 44992.464
AT ITER 2374 NEW BEST:: SOT 1106863 SOS 836432 HAS SOPS 455366 HAS SOUS 108749 HAS SOUPS 44128 WITH SCORE 44964.432
AT ITER 2375 NEW BEST:: SOT 1106859 SOS 836328 HAS SOPS 455262 HAS SOUS 108745 HAS SOUPS 44124 WITH SCORE 44960.328
AT ITER 2390 NEW BEST:: SOT 1106784 SOS 836388 HAS SOPS 455232 HAS SOUS 108730 HAS SOUPS 44109 WITH SCORE 44945.388
AT ITER 2394 NEW BEST:: SOT 1106784 SOS 836388 HAS SOPS 455232 HAS SOUS 108708 HAS SOUPS 44087 WITH SCORE 44923.388
AT ITER 2404 NEW BEST:: SOT 1106720 SOS 842206 HAS SOPS 455146 HAS SOUS 108757 HAS SOUPS 43992 WITH SCORE 44834.206
AT ITER 2430 NEW BEST:: SOT 1106702 SOS 842512 HAS SOPS 454876 HAS SOUS 108721 HAS SOUPS 43956 WITH SCORE 44798.512
AT ITER 2465 NEW BEST:: SOT 1106662 SOS 842432 HAS SOPS 454796 HAS SOUS 108711 HAS SOUPS 43946 WITH SCORE 44788.432
AT ITER 2468 NEW BEST:: SOT 1106617 SOS 842342 HAS SOPS 454796 HAS SOUS 108711 HAS SOUPS 43946 WITH SCORE 44788.342
AT ITER 2471 NEW BEST:: SOT 1106617 SOS 842693 HAS SOPS 454805 HAS SOUS 108705 HAS SOUPS 43940 WITH SCORE 44782.693
AT ITER 2472 NEW BEST:: SOT 1107577 SOS 843372 HAS SOPS 455912 HAS SOUS 108463 HAS SOUPS 43886 WITH SCORE 44729.372
AT ITER 2478 NEW BEST:: SOT 1107478 SOS 844634 HAS SOPS 456590 HAS SOUS 108445 HAS SOUPS 43822 WITH SCORE 44666.634
AT ITER 2480 NEW BEST:: SOT 1106705 SOS 842357 HAS SOPS 454968 HAS SOUS 108297 HAS SOUPS 43650 WITH SCORE 44492.357
AT ITER 2486 NEW BEST:: SOT 1106598 SOS 842927 HAS SOPS 455097 HAS SOUS 108288 HAS SOUPS 43592 WITH SCORE 44434.927
AT ITER 2487 NEW BEST:: SOT 1106530 SOS 842817 HAS SOPS 455063 HAS SOUS 108233 HAS SOUPS 43554 WITH SCORE 44396.817
AT ITER 2535 NEW BEST:: SOT 1106512 SOS 842805 HAS SOPS 455051 HAS SOUS 108227 HAS SOUPS 43548 WITH SCORE 44390.805
AT ITER 2545 NEW BEST:: SOT 1106387 SOS 842680 HAS SOPS 454926 HAS SOUS 108107 HAS SOUPS 43428 WITH SCORE 44270.68
AT ITER 2557 NEW BEST:: SOT 1106387 SOS 842680 HAS SOPS 454926 HAS SOUS 108103 HAS SOUPS 43424 WITH SCORE 44266.68
AT ITER 2559 NEW BEST:: SOT 1106387 SOS 842680 HAS SOPS 454926 HAS SOUS 108025 HAS SOUPS 43346 WITH SCORE 44188.68
AT ITER 2563 NEW BEST:: SOT 1106387 SOS 842667 HAS SOPS 454874 HAS SOUS 108038 HAS SOUPS 43346 WITH SCORE 44188.667
AT ITER 2565 NEW BEST:: SOT 1106361 SOS 842498 HAS SOPS 454501 HAS SOUS 107943 HAS SOUPS 43251 WITH SCORE 44093.498
AT ITER 2577 NEW BEST:: SOT 1106329 SOS 843058 HAS SOPS 454405 HAS SOUS 107943 HAS SOUPS 43235 WITH SCORE 44078.058
AT ITER 2585 NEW BEST:: SOT 1106328 SOS 843365 HAS SOPS 454523 HAS SOUS 107963 HAS SOUPS 43234 WITH SCORE 44077.365
AT ITER 2596 NEW BEST:: SOT 1106410 SOS 843365 HAS SOPS 454523 HAS SOUS 107922 HAS SOUPS 43193 WITH SCORE 44036.365
AT ITER 2605 NEW BEST:: SOT 1105787 SOS 842481 HAS SOPS 454161 HAS SOUS 107548 HAS SOUPS 43021 WITH SCORE 43863.481
AT ITER 2608 NEW BEST:: SOT 1105787 SOS 842481 HAS SOPS 454161 HAS SOUS 107486 HAS SOUPS 42959 WITH SCORE 43801.481
AT ITER 2609 NEW BEST:: SOT 1105739 SOS 842415 HAS SOPS 454095 HAS SOUS 107457 HAS SOUPS 42930 WITH SCORE 43772.415
AT ITER 2623 NEW BEST:: SOT 1105739 SOS 842415 HAS SOPS 454095 HAS SOUS 107455 HAS SOUPS 42928 WITH SCORE 43770.415
AT ITER 2652 NEW BEST:: SOT 1105713 SOS 842350 HAS SOPS 453991 HAS SOUS 107442 HAS SOUPS 42902 WITH SCORE 43744.35
AT ITER 2658 NEW BEST:: SOT 1105713 SOS 842350 HAS SOPS 453991 HAS SOUS 107430 HAS SOUPS 42890 WITH SCORE 43732.35
AT ITER 2695 NEW BEST:: SOT 1105637 SOS 842198 HAS SOPS 453839 HAS SOUS 107278 HAS SOUPS 42738 WITH SCORE 43580.198
AT ITER 2730 NEW BEST:: SOT 1105751 SOS 798490 HAS SOPS 418290 HAS SOUS 107033 HAS SOUPS 42692 WITH SCORE 43490.49
AT ITER 2734 NEW BEST:: SOT 1105745 SOS 798493 HAS SOPS 418293 HAS SOUS 107027 HAS SOUPS 42686 WITH SCORE 43484.493
AT ITER 2743 NEW BEST:: SOT 1105772 SOS 798007 HAS SOPS 418050 HAS SOUS 106973 HAS SOUPS 42659 WITH SCORE 43457.007
AT ITER 2744 NEW BEST:: SOT 1105848 SOS 797836 HAS SOPS 418050 HAS SOUS 106935 HAS SOUPS 42640 WITH SCORE 43437.836
AT ITER 2759 NEW BEST:: SOT 1105776 SOS 797710 HAS SOPS 417978 HAS SOUS 106917 HAS SOUPS 42640 WITH SCORE 43437.71
AT ITER 2764 NEW BEST:: SOT 1105776 SOS 797710 HAS SOPS 417978 HAS SOUS 106909 HAS SOUPS 42632 WITH SCORE 43429.71
AT ITER 2826 NEW BEST:: SOT 1105716 SOS 797590 HAS SOPS 417858 HAS SOUS 106881 HAS SOUPS 42604 WITH SCORE 43401.59
AT ITER 2827 NEW BEST:: SOT 1105693 SOS 797544 HAS SOPS 417812 HAS SOUS 106844 HAS SOUPS 42567 WITH SCORE 43364.544
AT ITER 2850 NEW BEST:: SOT 1105693 SOS 797544 HAS SOPS 417812 HAS SOUS 106832 HAS SOUPS 42555 WITH SCORE 43352.544
AT ITER 2866 NEW BEST:: SOT 1105669 SOS 797576 HAS SOPS 417820 HAS SOUS 106824 HAS SOUPS 42547 WITH SCORE 43344.576
AT ITER 2897 NEW BEST:: SOT 1105628 SOS 797680 HAS SOPS 417738 HAS SOUS 106827 HAS SOUPS 42488 WITH SCORE 43285.68
AT ITER 2911 NEW BEST:: SOT 1103927 SOS 795677 HAS SOPS 416447 HAS SOUS 106857 HAS SOUPS 42457 WITH SCORE 43252.677
AT ITER 2930 NEW BEST:: SOT 1103807 SOS 795437 HAS SOPS 416207 HAS SOUS 106737 HAS SOUPS 42337 WITH SCORE 43132.437
AT ITER 2984 NEW BEST:: SOT 1103695 SOS 795325 HAS SOPS 416179 HAS SOUS 106735 HAS SOUPS 42335 WITH SCORE 43130.325
AT ITER 2989 NEW BEST:: SOT 1103714 SOS 794223 HAS SOPS 415419 HAS SOUS 106691 HAS SOUPS 42291 WITH SCORE 43085.223
AT ITER 3026 NEW BEST:: SOT 1103442 SOS 793896 HAS SOPS 415208 HAS SOUS 106667 HAS SOUPS 42267 WITH SCORE 43060.896
AT ITER 3028 NEW BEST:: SOT 1103444 SOS 794492 HAS SOPS 415471 HAS SOUS 106632 HAS SOUPS 42195 WITH SCORE 42989.492
AT ITER 3032 NEW BEST:: SOT 1103412 SOS 794440 HAS SOPS 415459 HAS SOUS 106600 HAS SOUPS 42183 WITH SCORE 42977.44
AT ITER 3042 NEW BEST:: SOT 1103334 SOS 794312 HAS SOPS 415415 HAS SOUS 106572 HAS SOUPS 42183 WITH SCORE 42977.312
AT ITER 3044 NEW BEST:: SOT 1103406 SOS 794384 HAS SOPS 415451 HAS SOUS 106566 HAS SOUPS 42177 WITH SCORE 42971.384
AT ITER 3046 NEW BEST:: SOT 1103397 SOS 794366 HAS SOPS 415433 HAS SOUS 106556 HAS SOUPS 42167 WITH SCORE 42961.366
AT ITER 3054 NEW BEST:: SOT 1103307 SOS 794261 HAS SOPS 415151 HAS SOUS 106525 HAS SOUPS 42077 WITH SCORE 42871.261
AT ITER 3067 NEW BEST:: SOT 1103292 SOS 794153 HAS SOPS 415121 HAS SOUS 106469 HAS SOUPS 42047 WITH SCORE 42841.153
AT ITER 3090 NEW BEST:: SOT 1102152 SOS 793009 HAS SOPS 414571 HAS SOUS 106391 HAS SOUPS 41969 WITH SCORE 42762.009
AT ITER 3122 NEW BEST:: SOT 1102118 SOS 792512 HAS SOPS 414581 HAS SOUS 106046 HAS SOUPS 41793 WITH SCORE 42585.512
AT ITER 3126 NEW BEST:: SOT 1102128 SOS 792522 HAS SOPS 414581 HAS SOUS 106040 HAS SOUPS 41779 WITH SCORE 42571.522
AT ITER 3136 NEW BEST:: SOT 1102137 SOS 793414 HAS SOPS 415151 HAS SOUS 106047 HAS SOUPS 41742 WITH SCORE 42535.414
AT ITER 3149 NEW BEST:: SOT 1102137 SOS 793414 HAS SOPS 415151 HAS SOUS 106045 HAS SOUPS 41740 WITH SCORE 42533.414
AT ITER 3171 NEW BEST:: SOT 1102094 SOS 786048 HAS SOPS 411243 HAS SOUS 105887 HAS SOUPS 41582 WITH SCORE 42368.048
AT ITER 3172 NEW BEST:: SOT 1101634 SOS 785496 HAS SOPS 410967 HAS SOUS 105841 HAS SOUPS 41536 WITH SCORE 42321.496
AT ITER 3179 NEW BEST:: SOT 1101618 SOS 785311 HAS SOPS 410935 HAS SOUS 105774 HAS SOUPS 41520 WITH SCORE 42305.311
AT ITER 3197 NEW BEST:: SOT 1101616 SOS 785307 HAS SOPS 410931 HAS SOUS 105771 HAS SOUPS 41517 WITH SCORE 42302.307
AT ITER 3223 NEW BEST:: SOT 1101533 SOS 785414 HAS SOPS 410849 HAS SOUS 105719 HAS SOUPS 41444 WITH SCORE 42229.414
AT ITER 3247 NEW BEST:: SOT 1101494 SOS 783203 HAS SOPS 409304 HAS SOUS 105492 HAS SOUPS 41217 WITH SCORE 42000.203
AT ITER 3254 NEW BEST:: SOT 1101494 SOS 783203 HAS SOPS 409304 HAS SOUS 105476 HAS SOUPS 41201 WITH SCORE 41984.203
AT ITER 3266 NEW BEST:: SOT 1101494 SOS 783203 HAS SOPS 409190 HAS SOUS 105419 HAS SOUPS 41144 WITH SCORE 41927.203
AT ITER 3267 NEW BEST:: SOT 1101452 SOS 783133 HAS SOPS 409134 HAS SOUS 105409 HAS SOUPS 41142 WITH SCORE 41925.133
AT ITER 3286 NEW BEST:: SOT 1101434 SOS 783079 HAS SOPS 409026 HAS SOUS 105409 HAS SOUPS 41124 WITH SCORE 41907.079
AT ITER 3292 NEW BEST:: SOT 1101426 SOS 783033 HAS SOPS 408980 HAS SOUS 105393 HAS SOUPS 41108 WITH SCORE 41891.033
AT ITER 3294 NEW BEST:: SOT 1101426 SOS 783033 HAS SOPS 408980 HAS SOUS 105315 HAS SOUPS 41030 WITH SCORE 41813.033
AT ITER 3307 NEW BEST:: SOT 1101424 SOS 783029 HAS SOPS 408976 HAS SOUS 105257 HAS SOUPS 40972 WITH SCORE 41755.029
AT ITER 3312 NEW BEST:: SOT 1101436 SOS 781773 HAS SOPS 408328 HAS SOUS 105249 HAS SOUPS 40964 WITH SCORE 41745.773
AT ITER 3313 NEW BEST:: SOT 1101431 SOS 781768 HAS SOPS 408323 HAS SOUS 105234 HAS SOUPS 40949 WITH SCORE 41730.768
AT ITER 3315 NEW BEST:: SOT 1100933 SOS 780905 HAS SOPS 407859 HAS SOUS 105025 HAS SOUPS 40873 WITH SCORE 41653.905
AT ITER 3346 NEW BEST:: SOT 1100933 SOS 780884 HAS SOPS 407838 HAS SOUS 105025 HAS SOUPS 40873 WITH SCORE 41653.884
AT ITER 3353 NEW BEST:: SOT 1100933 SOS 780884 HAS SOPS 407838 HAS SOUS 104987 HAS SOUPS 40835 WITH SCORE 41615.884
AT ITER 3356 NEW BEST:: SOT 1100906 SOS 781229 HAS SOPS 407994 HAS SOUS 105002 HAS SOUPS 40829 WITH SCORE 41610.229
AT ITER 3367 NEW BEST:: SOT 1100846 SOS 780935 HAS SOPS 407874 HAS SOUS 104882 HAS SOUPS 40767 WITH SCORE 41547.935
AT ITER 3399 NEW BEST:: SOT 1100822 SOS 780905 HAS SOPS 407862 HAS SOUS 104880 HAS SOUPS 40767 WITH SCORE 41547.905
AT ITER 3427 NEW BEST:: SOT 1100794 SOS 780849 HAS SOPS 407806 HAS SOUS 104852 HAS SOUPS 40739 WITH SCORE 41519.849
AT ITER 3483 NEW BEST:: SOT 1099604 SOS 779291 HAS SOPS 407076 HAS SOUS 104674 HAS SOUPS 40653 WITH SCORE 41432.291
AT ITER 3496 NEW BEST:: SOT 1099604 SOS 780374 HAS SOPS 406221 HAS SOUS 104560 HAS SOUPS 40539 WITH SCORE 41319.374
AT ITER 3522 NEW BEST:: SOT 1099543 SOS 780252 HAS SOPS 406099 HAS SOUS 104415 HAS SOUPS 40394 WITH SCORE 41174.252
AT ITER 3524 NEW BEST:: SOT 1099467 SOS 780100 HAS SOPS 405947 HAS SOUS 104273 HAS SOUPS 40252 WITH SCORE 41032.1
AT ITER 3536 NEW BEST:: SOT 1099572 SOS 780268 HAS SOPS 405947 HAS SOUS 104280 HAS SOUPS 40238 WITH SCORE 41018.268
AT ITER 3538 NEW BEST:: SOT 1099637 SOS 780370 HAS SOPS 405947 HAS SOUS 104261 HAS SOUPS 40210 WITH SCORE 40990.37
AT ITER 3544 NEW BEST:: SOT 1099625 SOS 780346 HAS SOPS 405943 HAS SOUS 104259 HAS SOUPS 40208 WITH SCORE 40988.346
AT ITER 3557 NEW BEST:: SOT 1099612 SOS 780060 HAS SOPS 405735 HAS SOUS 104232 HAS SOUPS 40181 WITH SCORE 40961.06
AT ITER 3568 NEW BEST:: SOT 1099600 SOS 780036 HAS SOPS 405711 HAS SOUS 104221 HAS SOUPS 40170 WITH SCORE 40950.036
AT ITER 3574 NEW BEST:: SOT 1099082 SOS 779361 HAS SOPS 405373 HAS SOUS 104154 HAS SOUPS 40128 WITH SCORE 40907.361
AT ITER 3586 NEW BEST:: SOT 1098952 SOS 779171 HAS SOPS 405243 HAS SOUS 104144 HAS SOUPS 40118 WITH SCORE 40897.171
AT ITER 3587 NEW BEST:: SOT 1098952 SOS 779171 HAS SOPS 405243 HAS SOUS 104110 HAS SOUPS 40084 WITH SCORE 40863.171
AT ITER 3599 NEW BEST:: SOT 1098924 SOS 778633 HAS SOPS 404939 HAS SOUS 104084 HAS SOUPS 40084 WITH SCORE 40862.633
AT ITER 3612 NEW BEST:: SOT 1098922 SOS 778629 HAS SOPS 404929 HAS SOUS 104084 HAS SOUPS 40082 WITH SCORE 40860.629
AT ITER 3628 NEW BEST:: SOT 1098930 SOS 778046 HAS SOPS 404532 HAS SOUS 104024 HAS SOUPS 40022 WITH SCORE 40800.046
AT ITER 3644 NEW BEST:: SOT 1098864 SOS 777914 HAS SOPS 404400 HAS SOUS 104012 HAS SOUPS 40010 WITH SCORE 40787.914
AT ITER 3647 NEW BEST:: SOT 1098863 SOS 777912 HAS SOPS 404398 HAS SOUS 104011 HAS SOUPS 40009 WITH SCORE 40786.912
AT ITER 3704 NEW BEST:: SOT 1098643 SOS 777472 HAS SOPS 403958 HAS SOUS 103823 HAS SOUPS 39821 WITH SCORE 40598.472
AT ITER 3708 NEW BEST:: SOT 1098642 SOS 777281 HAS SOPS 403767 HAS SOUS 103802 HAS SOUPS 39800 WITH SCORE 40577.281
AT ITER 3752 NEW BEST:: SOT 1098642 SOS 776440 HAS SOPS 403049 HAS SOUS 103797 HAS SOUPS 39798 WITH SCORE 40574.44
AT ITER 3773 NEW BEST:: SOT 1098902 SOS 776588 HAS SOPS 403197 HAS SOUS 103750 HAS SOUPS 39751 WITH SCORE 40527.588
AT ITER 3797 NEW BEST:: SOT 1098902 SOS 776840 HAS SOPS 403197 HAS SOUS 103808 HAS SOUPS 39725 WITH SCORE 40501.84
AT ITER 3805 NEW BEST:: SOT 1098128 SOS 775964 HAS SOPS 402825 HAS SOUS 103790 HAS SOUPS 39707 WITH SCORE 40482.964
AT ITER 3843 NEW BEST:: SOT 1098130 SOS 775968 HAS SOPS 402829 HAS SOUS 103738 HAS SOUPS 39655 WITH SCORE 40430.968
AT ITER 3849 NEW BEST:: SOT 1097293 SOS 773403 HAS SOPS 401426 HAS SOUS 103635 HAS SOUPS 39608 WITH SCORE 40381.403
AT ITER 3863 NEW BEST:: SOT 1097258 SOS 772855 HAS SOPS 401370 HAS SOUS 103623 HAS SOUPS 39608 WITH SCORE 40380.855
AT ITER 3869 NEW BEST:: SOT 1097098 SOS 773742 HAS SOPS 401689 HAS SOUS 103559 HAS SOUPS 39544 WITH SCORE 40317.742
AT ITER 3870 NEW BEST:: SOT 1097098 SOS 773742 HAS SOPS 401689 HAS SOUS 103487 HAS SOUPS 39472 WITH SCORE 40245.742
AT ITER 3892 NEW BEST:: SOT 1097102 SOS 773582 HAS SOPS 401693 HAS SOUS 103479 HAS SOUPS 39468 WITH SCORE 40241.582
AT ITER 3936 NEW BEST:: SOT 1097102 SOS 773582 HAS SOPS 401693 HAS SOUS 103469 HAS SOUPS 39458 WITH SCORE 40231.582
AT ITER 3940 NEW BEST:: SOT 1097018 SOS 773442 HAS SOPS 401637 HAS SOUS 103441 HAS SOUPS 39458 WITH SCORE 40231.442
AT ITER 3943 NEW BEST:: SOT 1096966 SOS 773354 HAS SOPS 401597 HAS SOUS 103405 HAS SOUPS 39438 WITH SCORE 40211.354
AT ITER 3958 NEW BEST:: SOT 1096968 SOS 773354 HAS SOPS 401597 HAS SOUS 103404 HAS SOUPS 39437 WITH SCORE 40210.354
AT ITER 3970 NEW BEST:: SOT 1096968 SOS 773354 HAS SOPS 401597 HAS SOUS 103354 HAS SOUPS 39387 WITH SCORE 40160.354
AT ITER 3983 NEW BEST:: SOT 1096703 SOS 772930 HAS SOPS 401597 HAS SOUS 103301 HAS SOUPS 39387 WITH SCORE 40159.93
AT ITER 3995 NEW BEST:: SOT 1096866 SOS 763402 HAS SOPS 398383 HAS SOUS 103147 HAS SOUPS 39387 WITH SCORE 40150.402
AT ITER 3999 NEW BEST:: SOT 1096837 SOS 763344 HAS SOPS 398241 HAS SOUS 103117 HAS SOUPS 39329 WITH SCORE 40092.344
AT ITER 4014 NEW BEST:: SOT 1096694 SOS 763058 HAS SOPS 398127 HAS SOUS 103071 HAS SOUPS 39289 WITH SCORE 40052.058
AT ITER 4019 NEW BEST:: SOT 1096574 SOS 762938 HAS SOPS 398007 HAS SOUS 103011 HAS SOUPS 39229 WITH SCORE 39991.938
AT ITER 4048 NEW BEST:: SOT 1096572 SOS 762932 HAS SOPS 398004 HAS SOUS 103010 HAS SOUPS 39229 WITH SCORE 39991.932
AT ITER 4051 NEW BEST:: SOT 1096566 SOS 762908 HAS SOPS 397980 HAS SOUS 103004 HAS SOUPS 39223 WITH SCORE 39985.908
AT ITER 4067 NEW BEST:: SOT 1096557 SOS 762890 HAS SOPS 397932 HAS SOUS 103005 HAS SOUPS 39214 WITH SCORE 39976.89
AT ITER 4072 NEW BEST:: SOT 1096233 SOS 762323 HAS SOPS 397608 HAS SOUS 102843 HAS SOUPS 39133 WITH SCORE 39895.323
AT ITER 4099 NEW BEST:: SOT 1096233 SOS 762350 HAS SOPS 397608 HAS SOUS 102843 HAS SOUPS 39124 WITH SCORE 39886.35
AT ITER 4106 NEW BEST:: SOT 1095257 SOS 760736 HAS SOPS 397340 HAS SOUS 102652 HAS SOUPS 39102 WITH SCORE 39862.736
AT ITER 4116 NEW BEST:: SOT 1095254 SOS 760670 HAS SOPS 397334 HAS SOUS 102626 HAS SOUPS 39096 WITH SCORE 39856.67
AT ITER 4185 NEW BEST:: SOT 1095186 SOS 760898 HAS SOPS 397443 HAS SOUS 102609 HAS SOUPS 39079 WITH SCORE 39839.898
AT ITER 4198 NEW BEST:: SOT 1095173 SOS 760845 HAS SOPS 397390 HAS SOUS 102583 HAS SOUPS 39053 WITH SCORE 39813.845
AT ITER 4213 NEW BEST:: SOT 1095095 SOS 760629 HAS SOPS 397174 HAS SOUS 102545 HAS SOUPS 39015 WITH SCORE 39775.629
AT ITER 4228 NEW BEST:: SOT 1095095 SOS 760629 HAS SOPS 397174 HAS SOUS 102542 HAS SOUPS 39012 WITH SCORE 39772.629
AT ITER 4293 NEW BEST:: SOT 1095095 SOS 760629 HAS SOPS 397174 HAS SOUS 102528 HAS SOUPS 38998 WITH SCORE 39758.629
AT ITER 4327 NEW BEST:: SOT 1093251 SOS 758237 HAS SOPS 396078 HAS SOUS 102326 HAS SOUPS 38940 WITH SCORE 39698.237
AT ITER 4339 NEW BEST:: SOT 1093240 SOS 758215 HAS SOPS 396023 HAS SOUS 102326 HAS SOUPS 38929 WITH SCORE 39687.215
AT ITER 4349 NEW BEST:: SOT 1093240 SOS 758215 HAS SOPS 396023 HAS SOUS 102324 HAS SOUPS 38927 WITH SCORE 39685.215
AT ITER 4370 NEW BEST:: SOT 1093260 SOS 758255 HAS SOPS 396021 HAS SOUS 102323 HAS SOUPS 38926 WITH SCORE 39684.255
AT ITER 4388 NEW BEST:: SOT 1093210 SOS 758155 HAS SOPS 395921 HAS SOUS 102322 HAS SOUPS 38925 WITH SCORE 39683.155
AT ITER 4392 NEW BEST:: SOT 1093182 SOS 758147 HAS SOPS 395913 HAS SOUS 102314 HAS SOUPS 38917 WITH SCORE 39675.147
AT ITER 4423 NEW BEST:: SOT 1093182 SOS 758147 HAS SOPS 395913 HAS SOUS 102300 HAS SOUPS 38903 WITH SCORE 39661.147
AT ITER 4424 NEW BEST:: SOT 1093044 SOS 757917 HAS SOPS 395867 HAS SOUS 102277 HAS SOUPS 38903 WITH SCORE 39660.917
AT ITER 4457 NEW BEST:: SOT 1093040 SOS 757909 HAS SOPS 395859 HAS SOUS 102269 HAS SOUPS 38895 WITH SCORE 39652.909
AT ITER 4458 NEW BEST:: SOT 1093040 SOS 757909 HAS SOPS 395844 HAS SOUS 102269 HAS SOUPS 38890 WITH SCORE 39647.909
AT ITER 4470 NEW BEST:: SOT 1093050 SOS 757569 HAS SOPS 395960 HAS SOUS 102058 HAS SOUPS 38831 WITH SCORE 39588.569
AT ITER 4487 NEW BEST:: SOT 1093054 SOS 757569 HAS SOPS 395960 HAS SOUS 102054 HAS SOUPS 38827 WITH SCORE 39584.569
AT ITER 4506 NEW BEST:: SOT 1093034 SOS 757499 HAS SOPS 395920 HAS SOUS 102014 HAS SOUPS 38797 WITH SCORE 39554.499
AT ITER 4508 NEW BEST:: SOT 1093034 SOS 757427 HAS SOPS 395848 HAS SOUS 101950 HAS SOUPS 38733 WITH SCORE 39490.427
AT ITER 4511 NEW BEST:: SOT 1093034 SOS 757908 HAS SOPS 396368 HAS SOUS 101931 HAS SOUPS 38727 WITH SCORE 39484.908
AT ITER 4519 NEW BEST:: SOT 1093034 SOS 757908 HAS SOPS 396368 HAS SOUS 101921 HAS SOUPS 38717 WITH SCORE 39474.908
AT ITER 4524 NEW BEST:: SOT 1093044 SOS 757924 HAS SOPS 396368 HAS SOUS 101921 HAS SOUPS 38715 WITH SCORE 39472.924
AT ITER 4537 NEW BEST:: SOT 1093018 SOS 757872 HAS SOPS 396316 HAS SOUS 101895 HAS SOUPS 38689 WITH SCORE 39446.872
AT ITER 4578 NEW BEST:: SOT 1092960 SOS 762432 HAS SOPS 396981 HAS SOUS 101981 HAS SOUPS 38680 WITH SCORE 39442.432
AT ITER 4586 NEW BEST:: SOT 1092925 SOS 762369 HAS SOPS 396939 HAS SOUS 101953 HAS SOUPS 38659 WITH SCORE 39421.369
AT ITER 4587 NEW BEST:: SOT 1092953 SOS 754888 HAS SOPS 396551 HAS SOUS 101661 HAS SOUPS 38540 WITH SCORE 39294.888
AT ITER 4596 NEW BEST:: SOT 1092387 SOS 754223 HAS SOPS 396155 HAS SOUS 101602 HAS SOUPS 38481 WITH SCORE 39235.223
AT ITER 4628 NEW BEST:: SOT 1092355 SOS 754767 HAS SOPS 395675 HAS SOUS 101538 HAS SOUPS 38417 WITH SCORE 39171.767
AT ITER 4634 NEW BEST:: SOT 1092355 SOS 754767 HAS SOPS 395675 HAS SOUS 101534 HAS SOUPS 38413 WITH SCORE 39167.767
AT ITER 4655 NEW BEST:: SOT 1092349 SOS 754204 HAS SOPS 395315 HAS SOUS 101489 HAS SOUPS 38397 WITH SCORE 39151.204
AT ITER 4681 NEW BEST:: SOT 1092246 SOS 754067 HAS SOPS 394857 HAS SOUS 101496 HAS SOUPS 38297 WITH SCORE 39051.067
AT ITER 4698 NEW BEST:: SOT 1092228 SOS 753887 HAS SOPS 394677 HAS SOUS 101442 HAS SOUPS 38243 WITH SCORE 38996.887
AT ITER 4766 NEW BEST:: SOT 1091969 SOS 753628 HAS SOPS 394455 HAS SOUS 101442 HAS SOUPS 38243 WITH SCORE 38996.628
AT ITER 4767 NEW BEST:: SOT 1092360 SOS 754022 HAS SOPS 394849 HAS SOUS 101392 HAS SOUPS 38193 WITH SCORE 38947.022
AT ITER 4769 NEW BEST:: SOT 1092347 SOS 753176 HAS SOPS 394249 HAS SOUS 101325 HAS SOUPS 38126 WITH SCORE 38879.176
AT ITER 4796 NEW BEST:: SOT 1092331 SOS 753456 HAS SOPS 394225 HAS SOUS 101309 HAS SOUPS 38110 WITH SCORE 38863.456
AT ITER 4797 NEW BEST:: SOT 1092260 SOS 753314 HAS SOPS 394163 HAS SOUS 101288 HAS SOUPS 38090 WITH SCORE 38843.314
AT ITER 4800 NEW BEST:: SOT 1092287 SOS 753287 HAS SOPS 394163 HAS SOUS 101234 HAS SOUPS 38063 WITH SCORE 38816.287
AT ITER 4824 NEW BEST:: SOT 1092304 SOS 752661 HAS SOPS 393735 HAS SOUS 101216 HAS SOUPS 38045 WITH SCORE 38797.661
AT ITER 4828 NEW BEST:: SOT 1092317 SOS 752561 HAS SOPS 393761 HAS SOUS 101158 HAS SOUPS 38029 WITH SCORE 38781.561
AT ITER 4881 NEW BEST:: SOT 1092294 SOS 752515 HAS SOPS 393715 HAS SOUS 101147 HAS SOUPS 38018 WITH SCORE 38770.515
AT ITER 4891 NEW BEST:: SOT 1092137 SOS 754121 HAS SOPS 393679 HAS SOUS 101033 HAS SOUPS 37968 WITH SCORE 38722.121
AT ITER 4898 NEW BEST:: SOT 1091028 SOS 752327 HAS SOPS 393299 HAS SOUS 100724 HAS SOUPS 37807 WITH SCORE 38559.327
AT ITER 4983 NEW BEST:: SOT 1091028 SOS 752276 HAS SOPS 393299 HAS SOUS 100707 HAS SOUPS 37807 WITH SCORE 38559.276
AT ITER 4999 NEW BEST:: SOT 1091028 SOS 752276 HAS SOPS 393299 HAS SOUS 100683 HAS SOUPS 37783 WITH SCORE 38535.276
AT ITER 5021 NEW BEST:: SOT 1090611 SOS 752464 HAS SOPS 393049 HAS SOUS 100578 HAS SOUPS 37678 WITH SCORE 38430.464
AT ITER 5026 NEW BEST:: SOT 1090563 SOS 752288 HAS SOPS 392873 HAS SOUS 100523 HAS SOUPS 37623 WITH SCORE 38375.288
AT ITER 5050 NEW BEST:: SOT 1090563 SOS 752288 HAS SOPS 392873 HAS SOUS 100499 HAS SOUPS 37599 WITH SCORE 38351.288
AT ITER 5091 NEW BEST:: SOT 1090533 SOS 753905 HAS SOPS 392842 HAS SOUS 100480 HAS SOUPS 37573 WITH SCORE 38326.905
AT ITER 5095 NEW BEST:: SOT 1090527 SOS 753905 HAS SOPS 392824 HAS SOUS 100468 HAS SOUPS 37555 WITH SCORE 38308.905
AT ITER 5115 NEW BEST:: SOT 1090695 SOS 754127 HAS SOPS 393046 HAS SOUS 100457 HAS SOUPS 37544 WITH SCORE 38298.127
AT ITER 5116 NEW BEST:: SOT 1090672 SOS 754153 HAS SOPS 392994 HAS SOUS 100460 HAS SOUPS 37521 WITH SCORE 38275.153
AT ITER 5126 NEW BEST:: SOT 1090650 SOS 754142 HAS SOPS 392950 HAS SOUS 100460 HAS SOUPS 37510 WITH SCORE 38264.142
AT ITER 5138 NEW BEST:: SOT 1089551 SOS 753043 HAS SOPS 392008 HAS SOUS 100452 HAS SOUPS 37502 WITH SCORE 38255.043
AT ITER 5140 NEW BEST:: SOT 1089551 SOS 753043 HAS SOPS 392008 HAS SOUS 100404 HAS SOUPS 37454 WITH SCORE 38207.043
AT ITER 5143 NEW BEST:: SOT 1089511 SOS 752979 HAS SOPS 391976 HAS SOUS 100388 HAS SOUPS 37438 WITH SCORE 38190.979
AT ITER 5164 NEW BEST:: SOT 1089543 SOS 753033 HAS SOPS 392000 HAS SOUS 100396 HAS SOUPS 37436 WITH SCORE 38189.033
AT ITER 5173 NEW BEST:: SOT 1089449 SOS 755081 HAS SOPS 391942 HAS SOUS 100325 HAS SOUPS 37326 WITH SCORE 38081.081
AT ITER 5184 NEW BEST:: SOT 1089425 SOS 754796 HAS SOPS 391894 HAS SOUS 100200 HAS SOUPS 37280 WITH SCORE 38034.796
AT ITER 5188 NEW BEST:: SOT 1089347 SOS 754712 HAS SOPS 391846 HAS SOUS 100200 HAS SOUPS 37280 WITH SCORE 38034.712
AT ITER 5194 NEW BEST:: SOT 1089359 SOS 754724 HAS SOPS 391852 HAS SOUS 100199 HAS SOUPS 37279 WITH SCORE 38033.724
AT ITER 5220 NEW BEST:: SOT 1089359 SOS 754644 HAS SOPS 391796 HAS SOUS 100195 HAS SOUPS 37275 WITH SCORE 38029.644
AT ITER 5222 NEW BEST:: SOT 1089379 SOS 754840 HAS SOPS 391779 HAS SOUS 100237 HAS SOUPS 37246 WITH SCORE 38000.84
AT ITER 5245 NEW BEST:: SOT 1089336 SOS 755058 HAS SOPS 391885 HAS SOUS 100238 HAS SOUPS 37235 WITH SCORE 37990.058
AT ITER 5247 NEW BEST:: SOT 1089336 SOS 755058 HAS SOPS 391885 HAS SOUS 100214 HAS SOUPS 37211 WITH SCORE 37966.058
AT ITER 5307 NEW BEST:: SOT 1089338 SOS 755042 HAS SOPS 391876 HAS SOUS 100213 HAS SOUPS 37211 WITH SCORE 37966.042
AT ITER 5309 NEW BEST:: SOT 1089302 SOS 754970 HAS SOPS 391804 HAS SOUS 100189 HAS SOUPS 37187 WITH SCORE 37941.97
AT ITER 5331 NEW BEST:: SOT 1089309 SOS 754661 HAS SOPS 391614 HAS SOUS 100172 HAS SOUPS 37187 WITH SCORE 37941.661
AT ITER 5338 NEW BEST:: SOT 1089309 SOS 754661 HAS SOPS 391614 HAS SOUS 100160 HAS SOUPS 37175 WITH SCORE 37929.661
AT ITER 5349 NEW BEST:: SOT 1089193 SOS 754429 HAS SOPS 391614 HAS SOUS 100170 HAS SOUPS 37175 WITH SCORE 37929.429
AT ITER 5355 NEW BEST:: SOT 1089066 SOS 754127 HAS SOPS 391456 HAS SOUS 99991 HAS SOUPS 37044 WITH SCORE 37798.127
AT ITER 5381 NEW BEST:: SOT 1089066 SOS 755609 HAS SOPS 391494 HAS SOUS 99976 HAS SOUPS 37029 WITH SCORE 37784.609
AT ITER 5392 NEW BEST:: SOT 1088893 SOS 755977 HAS SOPS 391484 HAS SOUS 100004 HAS SOUPS 37015 WITH SCORE 37770.977
AT ITER 5405 NEW BEST:: SOT 1087584 SOS 754318 HAS SOPS 390461 HAS SOUS 99955 HAS SOUPS 36966 WITH SCORE 37720.318
AT ITER 5418 NEW BEST:: SOT 1087349 SOS 753522 HAS SOPS 390146 HAS SOUS 99876 HAS SOUPS 36924 WITH SCORE 37677.522
AT ITER 5444 NEW BEST:: SOT 1086913 SOS 752650 HAS SOPS 389928 HAS SOUS 99767 HAS SOUPS 36924 WITH SCORE 37676.65
AT ITER 5452 NEW BEST:: SOT 1086865 SOS 752554 HAS SOPS 389784 HAS SOUS 99798 HAS SOUPS 36924 WITH SCORE 37676.554
AT ITER 5460 NEW BEST:: SOT 1086865 SOS 752554 HAS SOPS 389784 HAS SOUS 99793 HAS SOUPS 36919 WITH SCORE 37671.554
AT ITER 5464 NEW BEST:: SOT 1087009 SOS 752730 HAS SOPS 389856 HAS SOUS 99783 HAS SOUPS 36909 WITH SCORE 37661.73
AT ITER 5497 NEW BEST:: SOT 1085222 SOS 750683 HAS SOPS 388961 HAS SOUS 99747 HAS SOUPS 36873 WITH SCORE 37623.683
AT ITER 5506 NEW BEST:: SOT 1084467 SOS 746232 HAS SOPS 387424 HAS SOUS 99612 HAS SOUPS 36800 WITH SCORE 37546.232
AT ITER 5531 NEW BEST:: SOT 1084875 SOS 747022 HAS SOPS 387630 HAS SOUS 99671 HAS SOUPS 36769 WITH SCORE 37516.022
AT ITER 5532 NEW BEST:: SOT 1084863 SOS 747238 HAS SOPS 387618 HAS SOUS 99665 HAS SOUPS 36763 WITH SCORE 37510.238
AT ITER 5535 NEW BEST:: SOT 1084823 SOS 745598 HAS SOPS 387498 HAS SOUS 99625 HAS SOUPS 36723 WITH SCORE 37468.598
AT ITER 5622 NEW BEST:: SOT 1084823 SOS 745598 HAS SOPS 387498 HAS SOUS 99620 HAS SOUPS 36718 WITH SCORE 37463.598
AT ITER 5624 NEW BEST:: SOT 1084458 SOS 744873 HAS SOPS 387313 HAS SOUS 99548 HAS SOUPS 36714 WITH SCORE 37458.873
AT ITER 5626 NEW BEST:: SOT 1084458 SOS 744833 HAS SOPS 387285 HAS SOUS 99544 HAS SOUPS 36710 WITH SCORE 37454.833
AT ITER 5641 NEW BEST:: SOT 1084439 SOS 744795 HAS SOPS 387247 HAS SOUS 99456 HAS SOUPS 36622 WITH SCORE 37366.795
AT ITER 5647 NEW BEST:: SOT 1083365 SOS 743279 HAS SOPS 386205 HAS SOUS 99330 HAS SOUPS 36496 WITH SCORE 37239.279
AT ITER 5689 NEW BEST:: SOT 1083345 SOS 743239 HAS SOPS 386165 HAS SOUS 99310 HAS SOUPS 36476 WITH SCORE 37219.239
AT ITER 5702 NEW BEST:: SOT 1083317 SOS 743027 HAS SOPS 386121 HAS SOUS 99248 HAS SOUPS 36470 WITH SCORE 37213.027
AT ITER 5726 NEW BEST:: SOT 1082924 SOS 742391 HAS SOPS 385935 HAS SOUS 98963 HAS SOUPS 36335 WITH SCORE 37077.391
AT ITER 5737 NEW BEST:: SOT 1082924 SOS 742391 HAS SOPS 385935 HAS SOUS 98962 HAS SOUPS 36334 WITH SCORE 37076.391
AT ITER 5745 NEW BEST:: SOT 1082998 SOS 741893 HAS SOPS 385665 HAS SOUS 98838 HAS SOUPS 36210 WITH SCORE 36951.893
AT ITER 5751 NEW BEST:: SOT 1082996 SOS 741973 HAS SOPS 385663 HAS SOUS 98838 HAS SOUPS 36208 WITH SCORE 36949.973
AT ITER 5785 NEW BEST:: SOT 1080991 SOS 739340 HAS SOPS 384410 HAS SOUS 98610 HAS SOUPS 36131 WITH SCORE 36870.34
AT ITER 5791 NEW BEST:: SOT 1080991 SOS 739316 HAS SOPS 384410 HAS SOUS 98594 HAS SOUPS 36123 WITH SCORE 36862.316
AT ITER 5802 NEW BEST:: SOT 1081008 SOS 739122 HAS SOPS 384621 HAS SOUS 98454 HAS SOUPS 36118 WITH SCORE 36857.122
AT ITER 5804 NEW BEST:: SOT 1080970 SOS 739046 HAS SOPS 384583 HAS SOUS 98435 HAS SOUPS 36099 WITH SCORE 36838.046
AT ITER 5820 NEW BEST:: SOT 1080669 SOS 738745 HAS SOPS 384325 HAS SOUS 98389 HAS SOUPS 36053 WITH SCORE 36791.745
AT ITER 5944 NEW BEST:: SOT 1080664 SOS 738620 HAS SOPS 384245 HAS SOUS 98369 HAS SOUPS 36038 WITH SCORE 36776.62
AT ITER 5960 NEW BEST:: SOT 1080653 SOS 738457 HAS SOPS 384082 HAS SOUS 98348 HAS SOUPS 36017 WITH SCORE 36755.457
AT ITER 5966 NEW BEST:: SOT 1080885 SOS 738689 HAS SOPS 384140 HAS SOUS 98335 HAS SOUPS 36004 WITH SCORE 36742.689
AT ITER 6004 NEW BEST:: SOT 1080869 SOS 738609 HAS SOPS 384108 HAS SOUS 98303 HAS SOUPS 35988 WITH SCORE 36726.609
AT ITER 6019 NEW BEST:: SOT 1080869 SOS 738609 HAS SOPS 384108 HAS SOUS 98211 HAS SOUPS 35896 WITH SCORE 36634.609
AT ITER 6020 NEW BEST:: SOT 1080869 SOS 738603 HAS SOPS 384084 HAS SOUS 98217 HAS SOUPS 35896 WITH SCORE 36634.603
AT ITER 6030 NEW BEST:: SOT 1080860 SOS 738537 HAS SOPS 384066 HAS SOUS 98198 HAS SOUPS 35893 WITH SCORE 36631.537
AT ITER 6040 NEW BEST:: SOT 1080855 SOS 738542 HAS SOPS 384056 HAS SOUS 98193 HAS SOUPS 35883 WITH SCORE 36621.542
AT ITER 6057 NEW BEST:: SOT 1080763 SOS 738358 HAS SOPS 383872 HAS SOUS 97910 HAS SOUPS 35600 WITH SCORE 36338.358
AT ITER 6110 NEW BEST:: SOT 1080785 SOS 738402 HAS SOPS 383916 HAS SOUS 97883 HAS SOUPS 35573 WITH SCORE 36311.402
AT ITER 6163 NEW BEST:: SOT 1080784 SOS 738383 HAS SOPS 383903 HAS SOUS 97881 HAS SOUPS 35571 WITH SCORE 36309.383
AT ITER 6176 NEW BEST:: SOT 1080820 SOS 738215 HAS SOPS 383843 HAS SOUS 97857 HAS SOUPS 35559 WITH SCORE 36297.215
AT ITER 6182 NEW BEST:: SOT 1080492 SOS 737887 HAS SOPS 383515 HAS SOUS 97776 HAS SOUPS 35478 WITH SCORE 36215.887
AT ITER 6190 NEW BEST:: SOT 1080400 SOS 737709 HAS SOPS 383469 HAS SOUS 97747 HAS SOUPS 35472 WITH SCORE 36209.709
AT ITER 6194 NEW BEST:: SOT 1080361 SOS 737644 HAS SOPS 383443 HAS SOUS 97721 HAS SOUPS 35459 WITH SCORE 36196.644
AT ITER 6235 NEW BEST:: SOT 1080361 SOS 737506 HAS SOPS 383351 HAS SOUS 97613 HAS SOUPS 35382 WITH SCORE 36119.506
AT ITER 6254 NEW BEST:: SOT 1080361 SOS 737506 HAS SOPS 383351 HAS SOUS 97610 HAS SOUPS 35379 WITH SCORE 36116.506
AT ITER 6285 NEW BEST:: SOT 1080457 SOS 737602 HAS SOPS 383399 HAS SOUS 97602 HAS SOUPS 35371 WITH SCORE 36108.602
AT ITER 6287 NEW BEST:: SOT 1080430 SOS 737948 HAS SOPS 383625 HAS SOUS 97595 HAS SOUPS 35364 WITH SCORE 36101.948
AT ITER 6299 NEW BEST:: SOT 1080179 SOS 737658 HAS SOPS 383335 HAS SOUS 97520 HAS SOUPS 35289 WITH SCORE 36026.658
AT ITER 6304 NEW BEST:: SOT 1080410 SOS 736763 HAS SOPS 382956 HAS SOUS 97494 HAS SOUPS 35263 WITH SCORE 35999.763
AT ITER 6321 NEW BEST:: SOT 1080409 SOS 736759 HAS SOPS 382955 HAS SOUS 97493 HAS SOUPS 35263 WITH SCORE 35999.759
AT ITER 6328 NEW BEST:: SOT 1077711 SOS 733762 HAS SOPS 381266 HAS SOUS 97484 HAS SOUPS 35254 WITH SCORE 35987.762
AT ITER 6347 NEW BEST:: SOT 1077692 SOS 733038 HAS SOPS 380812 HAS SOUS 97375 HAS SOUPS 35175 WITH SCORE 35908.038
AT ITER 6365 NEW BEST:: SOT 1077698 SOS 732698 HAS SOPS 380472 HAS SOUS 97374 HAS SOUPS 35174 WITH SCORE 35906.698
AT ITER 6389 NEW BEST:: SOT 1076027 SOS 730846 HAS SOPS 379465 HAS SOUS 97238 HAS SOUPS 35093 WITH SCORE 35823.846
AT ITER 6395 NEW BEST:: SOT 1075959 SOS 730727 HAS SOPS 379397 HAS SOUS 97221 HAS SOUPS 35093 WITH SCORE 35823.727
AT ITER 6409 NEW BEST:: SOT 1075919 SOS 730657 HAS SOPS 379377 HAS SOUS 97181 HAS SOUPS 35063 WITH SCORE 35793.657
AT ITER 6414 NEW BEST:: SOT 1075911 SOS 730641 HAS SOPS 379361 HAS SOUS 97167 HAS SOUPS 35049 WITH SCORE 35779.641
AT ITER 6457 NEW BEST:: SOT 1075907 SOS 730633 HAS SOPS 379353 HAS SOUS 97163 HAS SOUPS 35045 WITH SCORE 35775.633
AT ITER 6479 NEW BEST:: SOT 1075683 SOS 730311 HAS SOPS 379139 HAS SOUS 97155 HAS SOUPS 35037 WITH SCORE 35767.311
AT ITER 6485 NEW BEST:: SOT 1075656 SOS 728563 HAS SOPS 377247 HAS SOUS 97178 HAS SOUPS 35012 WITH SCORE 35740.563
AT ITER 6520 NEW BEST:: SOT 1076040 SOS 729043 HAS SOPS 377439 HAS SOUS 97170 HAS SOUPS 34972 WITH SCORE 35701.043
AT ITER 6566 NEW BEST:: SOT 1075992 SOS 728995 HAS SOPS 377391 HAS SOUS 97136 HAS SOUPS 34938 WITH SCORE 35666.995
AT ITER 6596 NEW BEST:: SOT 1075935 SOS 729049 HAS SOPS 377199 HAS SOUS 97217 HAS SOUPS 34937 WITH SCORE 35666.049
AT ITER 6599 NEW BEST:: SOT 1075929 SOS 729038 HAS SOPS 377191 HAS SOUS 97213 HAS SOUPS 34934 WITH SCORE 35663.038
AT ITER 6660 NEW BEST:: SOT 1075929 SOS 729038 HAS SOPS 377191 HAS SOUS 97211 HAS SOUPS 34932 WITH SCORE 35661.038
AT ITER 6695 NEW BEST:: SOT 1076173 SOS 728816 HAS SOPS 377228 HAS SOUS 97186 HAS SOUPS 34932 WITH SCORE 35660.816
AT ITER 6702 NEW BEST:: SOT 1075817 SOS 728371 HAS SOPS 376945 HAS SOUS 97162 HAS SOUPS 34908 WITH SCORE 35636.371
AT ITER 6734 NEW BEST:: SOT 1075823 SOS 728575 HAS SOPS 376951 HAS SOUS 97188 HAS SOUPS 34868 WITH SCORE 35596.575
AT ITER 6738 NEW BEST:: SOT 1075791 SOS 728511 HAS SOPS 376800 HAS SOUS 97185 HAS SOUPS 34836 WITH SCORE 35564.511
AT ITER 6773 NEW BEST:: SOT 1075748 SOS 728425 HAS SOPS 376624 HAS SOUS 97172 HAS SOUPS 34793 WITH SCORE 35521.425
AT ITER 6778 NEW BEST:: SOT 1075748 SOS 728425 HAS SOPS 376624 HAS SOUS 97160 HAS SOUPS 34781 WITH SCORE 35509.425
AT ITER 6792 NEW BEST:: SOT 1075904 SOS 728659 HAS SOPS 376624 HAS SOUS 97115 HAS SOUPS 34658 WITH SCORE 35386.659
AT ITER 6806 NEW BEST:: SOT 1075181 SOS 727695 HAS SOPS 376173 HAS SOUS 97026 HAS SOUPS 34626 WITH SCORE 35353.695
AT ITER 6815 NEW BEST:: SOT 1075171 SOS 727870 HAS SOPS 376158 HAS SOUS 97019 HAS SOUPS 34619 WITH SCORE 35346.87
AT ITER 6828 NEW BEST:: SOT 1075237 SOS 727948 HAS SOPS 376194 HAS SOUS 97007 HAS SOUPS 34607 WITH SCORE 35334.948
AT ITER 6836 NEW BEST:: SOT 1075239 SOS 727932 HAS SOPS 376178 HAS SOUS 97004 HAS SOUPS 34604 WITH SCORE 35331.932
AT ITER 6846 NEW BEST:: SOT 1075181 SOS 727834 HAS SOPS 375858 HAS SOUS 96987 HAS SOUPS 34513 WITH SCORE 35240.834
AT ITER 6874 NEW BEST:: SOT 1075209 SOS 729371 HAS SOPS 376179 HAS SOUS 96976 HAS SOUPS 34502 WITH SCORE 35231.371
AT ITER 6889 NEW BEST:: SOT 1075207 SOS 729367 HAS SOPS 376179 HAS SOUS 96974 HAS SOUPS 34502 WITH SCORE 35231.367
AT ITER 6894 NEW BEST:: SOT 1075209 SOS 729368 HAS SOPS 376189 HAS SOUS 96960 HAS SOUPS 34495 WITH SCORE 35224.368
AT ITER 6904 NEW BEST:: SOT 1075121 SOS 730113 HAS SOPS 376475 HAS SOUS 96991 HAS SOUPS 34475 WITH SCORE 35205.113
AT ITER 6918 NEW BEST:: SOT 1075065 SOS 730029 HAS SOPS 376475 HAS SOUS 96977 HAS SOUPS 34475 WITH SCORE 35205.029
AT ITER 6919 NEW BEST:: SOT 1074807 SOS 729741 HAS SOPS 376301 HAS SOUS 96947 HAS SOUPS 34445 WITH SCORE 35174.741
AT ITER 6958 NEW BEST:: SOT 1074805 SOS 729776 HAS SOPS 376298 HAS SOUS 96945 HAS SOUPS 34443 WITH SCORE 35172.776
AT ITER 7093 NEW BEST:: SOT 1074311 SOS 729161 HAS SOPS 376054 HAS SOUS 96903 HAS SOUPS 34436 WITH SCORE 35165.161
AT ITER 7118 NEW BEST:: SOT 1074124 SOS 728872 HAS SOPS 376020 HAS SOUS 96773 HAS SOUPS 34391 WITH SCORE 35119.872
AT ITER 7170 NEW BEST:: SOT 1074124 SOS 728872 HAS SOPS 376020 HAS SOUS 96754 HAS SOUPS 34372 WITH SCORE 35100.872
AT ITER 7182 NEW BEST:: SOT 1074075 SOS 728033 HAS SOPS 375532 HAS SOUS 96693 HAS SOUPS 34350 WITH SCORE 35078.033
AT ITER 7194 NEW BEST:: SOT 1072410 SOS 726071 HAS SOPS 374423 HAS SOUS 96743 HAS SOUPS 34345 WITH SCORE 35071.071
AT ITER 7206 NEW BEST:: SOT 1072345 SOS 726991 HAS SOPS 374830 HAS SOUS 96792 HAS SOUPS 34337 WITH SCORE 35063.991
AT ITER 7232 NEW BEST:: SOT 1072219 SOS 726847 HAS SOPS 374740 HAS SOUS 96783 HAS SOUPS 34328 WITH SCORE 35054.847
AT ITER 7255 NEW BEST:: SOT 1071931 SOS 725869 HAS SOPS 374034 HAS SOUS 96786 HAS SOUPS 34296 WITH SCORE 35021.869
AT ITER 7285 NEW BEST:: SOT 1071735 SOS 725505 HAS SOPS 373936 HAS SOUS 96727 HAS SOUPS 34286 WITH SCORE 35011.505
AT ITER 7293 NEW BEST:: SOT 1071730 SOS 725497 HAS SOPS 373934 HAS SOUS 96726 HAS SOUPS 34285 WITH SCORE 35010.497
AT ITER 7316 NEW BEST:: SOT 1071725 SOS 725491 HAS SOPS 373928 HAS SOUS 96724 HAS SOUPS 34283 WITH SCORE 35008.491
AT ITER 7346 NEW BEST:: SOT 1071063 SOS 724953 HAS SOPS 373404 HAS SOUS 96766 HAS SOUPS 34256 WITH SCORE 34980.953
AT ITER 7381 NEW BEST:: SOT 1071266 SOS 725164 HAS SOPS 373569 HAS SOUS 96759 HAS SOUPS 34241 WITH SCORE 34966.164
AT ITER 7407 NEW BEST:: SOT 1071138 SOS 725168 HAS SOPS 373417 HAS SOUS 96743 HAS SOUPS 34173 WITH SCORE 34898.168
AT ITER 7422 NEW BEST:: SOT 1071138 SOS 725168 HAS SOPS 373417 HAS SOUS 96689 HAS SOUPS 34119 WITH SCORE 34844.168
AT ITER 7429 NEW BEST:: SOT 1071160 SOS 722924 HAS SOPS 371591 HAS SOUS 96656 HAS SOUPS 34097 WITH SCORE 34819.924
AT ITER 7514 NEW BEST:: SOT 1070573 SOS 722164 HAS SOPS 371245 HAS SOUS 96590 HAS SOUPS 34077 WITH SCORE 34799.164
AT ITER 7539 NEW BEST:: SOT 1070554 SOS 722259 HAS SOPS 371277 HAS SOUS 96585 HAS SOUPS 34065 WITH SCORE 34787.259
AT ITER 7553 NEW BEST:: SOT 1070554 SOS 722259 HAS SOPS 371277 HAS SOUS 96583 HAS SOUPS 34063 WITH SCORE 34785.259
AT ITER 7566 NEW BEST:: SOT 1070585 SOS 722228 HAS SOPS 371277 HAS SOUS 96521 HAS SOUPS 34032 WITH SCORE 34754.228
AT ITER 7599 NEW BEST:: SOT 1070248 SOS 721554 HAS SOPS 371277 HAS SOUS 96425 HAS SOUPS 34032 WITH SCORE 34753.554
AT ITER 7605 NEW BEST:: SOT 1070201 SOS 721507 HAS SOPS 371230 HAS SOUS 96422 HAS SOUPS 34029 WITH SCORE 34750.507
AT ITER 7612 NEW BEST:: SOT 1070192 SOS 721396 HAS SOPS 371150 HAS SOUS 96353 HAS SOUPS 33980 WITH SCORE 34701.396
AT ITER 7613 NEW BEST:: SOT 1070191 SOS 721375 HAS SOPS 371161 HAS SOUS 96352 HAS SOUPS 33979 WITH SCORE 34700.375
AT ITER 7618 NEW BEST:: SOT 1070366 SOS 714508 HAS SOPS 364182 HAS SOUS 96301 HAS SOUPS 33928 WITH SCORE 34642.508
AT ITER 7656 NEW BEST:: SOT 1070246 SOS 714571 HAS SOPS 364173 HAS SOUS 96271 HAS SOUPS 33898 WITH SCORE 34612.571
AT ITER 7664 NEW BEST:: SOT 1070239 SOS 714564 HAS SOPS 364166 HAS SOUS 96264 HAS SOUPS 33891 WITH SCORE 34605.564
AT ITER 7695 NEW BEST:: SOT 1070237 SOS 714562 HAS SOPS 364164 HAS SOUS 96262 HAS SOUPS 33889 WITH SCORE 34603.562
AT ITER 7710 NEW BEST:: SOT 1070266 SOS 714533 HAS SOPS 364164 HAS SOUS 96262 HAS SOUPS 33889 WITH SCORE 34603.533
AT ITER 7795 NEW BEST:: SOT 1070254 SOS 714493 HAS SOPS 364145 HAS SOUS 96243 HAS SOUPS 33877 WITH SCORE 34591.493
AT ITER 7798 NEW BEST:: SOT 1070260 SOS 714502 HAS SOPS 364145 HAS SOUS 96243 HAS SOUPS 33874 WITH SCORE 34588.502
AT ITER 7814 NEW BEST:: SOT 1070259 SOS 714500 HAS SOPS 364145 HAS SOUS 96242 HAS SOUPS 33874 WITH SCORE 34588.5
AT ITER 7902 NEW BEST:: SOT 1070259 SOS 714500 HAS SOPS 364145 HAS SOUS 96240 HAS SOUPS 33872 WITH SCORE 34586.5
AT ITER 7911 NEW BEST:: SOT 1070277 SOS 709841 HAS SOPS 360286 HAS SOUS 96239 HAS SOUPS 33871 WITH SCORE 34580.841
AT ITER 7916 NEW BEST:: SOT 1070231 SOS 710225 HAS SOPS 360520 HAS SOUS 96229 HAS SOUPS 33861 WITH SCORE 34571.225
AT ITER 7927 NEW BEST:: SOT 1070267 SOS 710258 HAS SOPS 360436 HAS SOUS 96241 HAS SOUPS 33834 WITH SCORE 34544.258
AT ITER 7945 NEW BEST:: SOT 1070264 SOS 710252 HAS SOPS 360421 HAS SOUS 96235 HAS SOUPS 33825 WITH SCORE 34535.252
AT ITER 8056 NEW BEST:: SOT 1070260 SOS 710244 HAS SOPS 360401 HAS SOUS 96235 HAS SOUPS 33821 WITH SCORE 34531.244
AT ITER 8064 NEW BEST:: SOT 1070256 SOS 710236 HAS SOPS 360393 HAS SOUS 96166 HAS SOUPS 33752 WITH SCORE 34462.236
AT ITER 8092 NEW BEST:: SOT 1070277 SOS 710215 HAS SOPS 360435 HAS SOUS 96145 HAS SOUPS 33752 WITH SCORE 34462.215
AT ITER 8104 NEW BEST:: SOT 1070144 SOS 710066 HAS SOPS 360346 HAS SOUS 96142 HAS SOUPS 33749 WITH SCORE 34459.066
AT ITER 8115 NEW BEST:: SOT 1070140 SOS 710054 HAS SOPS 360340 HAS SOUS 96134 HAS SOUPS 33743 WITH SCORE 34453.054
AT ITER 8127 NEW BEST:: SOT 1069656 SOS 709461 HAS SOPS 359931 HAS SOUS 96119 HAS SOUPS 33728 WITH SCORE 34437.461
AT ITER 8138 NEW BEST:: SOT 1069721 SOS 709493 HAS SOPS 359963 HAS SOUS 96107 HAS SOUPS 33716 WITH SCORE 34425.493
AT ITER 8146 NEW BEST:: SOT 1069734 SOS 709745 HAS SOPS 360098 HAS SOUS 96109 HAS SOUPS 33705 WITH SCORE 34414.745
AT ITER 8152 NEW BEST:: SOT 1069744 SOS 709761 HAS SOPS 360098 HAS SOUS 96107 HAS SOUPS 33701 WITH SCORE 34410.761
AT ITER 8196 NEW BEST:: SOT 1069726 SOS 709286 HAS SOPS 359560 HAS SOUS 96106 HAS SOUPS 33693 WITH SCORE 34402.286
AT ITER 8203 NEW BEST:: SOT 1069708 SOS 709050 HAS SOPS 359400 HAS SOUS 96072 HAS SOUPS 33667 WITH SCORE 34376.05
AT ITER 8272 NEW BEST:: SOT 1069708 SOS 708994 HAS SOPS 359372 HAS SOUS 96050 HAS SOUPS 33645 WITH SCORE 34353.994
AT ITER 8286 NEW BEST:: SOT 1069706 SOS 708810 HAS SOPS 359248 HAS SOUS 96048 HAS SOUPS 33643 WITH SCORE 34351.81
AT ITER 8288 NEW BEST:: SOT 1069674 SOS 708778 HAS SOPS 359216 HAS SOUS 96048 HAS SOUPS 33643 WITH SCORE 34351.778
AT ITER 8291 NEW BEST:: SOT 1069648 SOS 707926 HAS SOPS 358604 HAS SOUS 95956 HAS SOUPS 33551 WITH SCORE 34258.926
AT ITER 8356 NEW BEST:: SOT 1069640 SOS 707644 HAS SOPS 358448 HAS SOUS 95933 HAS SOUPS 33542 WITH SCORE 34249.644
AT ITER 8379 NEW BEST:: SOT 1069592 SOS 707548 HAS SOPS 358352 HAS SOUS 95885 HAS SOUPS 33494 WITH SCORE 34201.548
AT ITER 8382 NEW BEST:: SOT 1069600 SOS 707560 HAS SOPS 358352 HAS SOUS 95885 HAS SOUPS 33492 WITH SCORE 34199.56
AT ITER 8392 NEW BEST:: SOT 1069583 SOS 707355 HAS SOPS 358228 HAS SOUS 95865 HAS SOUPS 33481 WITH SCORE 34188.355
AT ITER 8403 NEW BEST:: SOT 1069559 SOS 707097 HAS SOPS 358078 HAS SOUS 95844 HAS SOUPS 33472 WITH SCORE 34179.097
AT ITER 8415 NEW BEST:: SOT 1069566 SOS 707111 HAS SOPS 358092 HAS SOUS 95843 HAS SOUPS 33471 WITH SCORE 34178.111
AT ITER 8443 NEW BEST:: SOT 1069504 SOS 707029 HAS SOPS 358055 HAS SOUS 95836 HAS SOUPS 33469 WITH SCORE 34176.029
AT ITER 8491 NEW BEST:: SOT 1069468 SOS 707377 HAS SOPS 358277 HAS SOUS 95821 HAS SOUPS 33454 WITH SCORE 34161.377
AT ITER 8537 NEW BEST:: SOT 1069123 SOS 707041 HAS SOPS 358278 HAS SOUS 95830 HAS SOUPS 33454 WITH SCORE 34161.041
AT ITER 8571 NEW BEST:: SOT 1068725 SOS 706245 HAS SOPS 358278 HAS SOUS 95731 HAS SOUPS 33454 WITH SCORE 34160.245
AT ITER 8594 NEW BEST:: SOT 1068725 SOS 706245 HAS SOPS 358278 HAS SOUS 95727 HAS SOUPS 33450 WITH SCORE 34156.245
AT ITER 8598 NEW BEST:: SOT 1068725 SOS 706245 HAS SOPS 358278 HAS SOUS 95679 HAS SOUPS 33402 WITH SCORE 34108.245
AT ITER 8607 NEW BEST:: SOT 1068725 SOS 706293 HAS SOPS 358278 HAS SOUS 95679 HAS SOUPS 33386 WITH SCORE 34092.293
AT ITER 8713 NEW BEST:: SOT 1067699 SOS 705621 HAS SOPS 357606 HAS SOUS 95791 HAS SOUPS 33383 WITH SCORE 34088.621
AT ITER 8791 NEW BEST:: SOT 1067689 SOS 705657 HAS SOPS 357642 HAS SOUS 95781 HAS SOUPS 33373 WITH SCORE 34078.657
AT ITER 8793 NEW BEST:: SOT 1067465 SOS 705393 HAS SOPS 357516 HAS SOUS 95778 HAS SOUPS 33370 WITH SCORE 34075.393
AT ITER 8821 NEW BEST:: SOT 1067511 SOS 705460 HAS SOPS 357522 HAS SOUS 95773 HAS SOUPS 33347 WITH SCORE 34052.46
AT ITER 8856 NEW BEST:: SOT 1067421 SOS 705460 HAS SOPS 357387 HAS SOUS 95683 HAS SOUPS 33212 WITH SCORE 33917.46
AT ITER 8894 NEW BEST:: SOT 1066667 SOS 704560 HAS SOPS 356943 HAS SOUS 95613 HAS SOUPS 33142 WITH SCORE 33846.56
AT ITER 8931 NEW BEST:: SOT 1065088 SOS 693794 HAS SOPS 353822 HAS SOUS 95498 HAS SOUPS 33095 WITH SCORE 33788.794
AT ITER 8969 NEW BEST:: SOT 1065072 SOS 693762 HAS SOPS 353766 HAS SOUS 95488 HAS SOUPS 33077 WITH SCORE 33770.762
AT ITER 8983 NEW BEST:: SOT 1064969 SOS 693577 HAS SOPS 353711 HAS SOUS 95444 HAS SOUPS 33057 WITH SCORE 33750.577
AT ITER 8992 NEW BEST:: SOT 1064994 SOS 696348 HAS SOPS 355970 HAS SOUS 95432 HAS SOUPS 33045 WITH SCORE 33741.348
AT ITER 9053 NEW BEST:: SOT 1064890 SOS 696166 HAS SOPS 355866 HAS SOUS 95354 HAS SOUPS 32993 WITH SCORE 33689.166
AT ITER 9080 NEW BEST:: SOT 1064930 SOS 696235 HAS SOPS 355902 HAS SOUS 95361 HAS SOUPS 32989 WITH SCORE 33685.235
AT ITER 9122 NEW BEST:: SOT 1064924 SOS 696109 HAS SOPS 355830 HAS SOUS 95337 HAS SOUPS 32971 WITH SCORE 33667.109
AT ITER 9155 NEW BEST:: SOT 1065123 SOS 696348 HAS SOPS 355949 HAS SOUS 95336 HAS SOUPS 32970 WITH SCORE 33666.348
AT ITER 9192 NEW BEST:: SOT 1065123 SOS 696348 HAS SOPS 355949 HAS SOUS 95332 HAS SOUPS 32966 WITH SCORE 33662.348
AT ITER 9211 NEW BEST:: SOT 1064821 SOS 695971 HAS SOPS 355697 HAS SOUS 95275 HAS SOUPS 32909 WITH SCORE 33604.971
AT ITER 9214 NEW BEST:: SOT 1063823 SOS 692935 HAS SOPS 353941 HAS SOUS 95155 HAS SOUPS 32854 WITH SCORE 33546.935
AT ITER 9244 NEW BEST:: SOT 1063827 SOS 692863 HAS SOPS 353941 HAS SOUS 95155 HAS SOUPS 32854 WITH SCORE 33546.863
AT ITER 9307 NEW BEST:: SOT 1064558 SOS 694340 HAS SOPS 353926 HAS SOUS 95362 HAS SOUPS 32839 WITH SCORE 33533.34
AT ITER 9342 NEW BEST:: SOT 1064558 SOS 694340 HAS SOPS 353926 HAS SOUS 95346 HAS SOUPS 32823 WITH SCORE 33517.34
AT ITER 9346 NEW BEST:: SOT 1064485 SOS 694194 HAS SOPS 353926 HAS SOUS 95331 HAS SOUPS 32823 WITH SCORE 33517.194
AT ITER 9368 NEW BEST:: SOT 1064485 SOS 694134 HAS SOPS 353884 HAS SOUS 95328 HAS SOUPS 32820 WITH SCORE 33514.134
AT ITER 9374 NEW BEST:: SOT 1064489 SOS 693978 HAS SOPS 353728 HAS SOUS 95328 HAS SOUPS 32820 WITH SCORE 33513.978
AT ITER 9381 NEW BEST:: SOT 1064496 SOS 693912 HAS SOPS 353743 HAS SOUS 95290 HAS SOUPS 32809 WITH SCORE 33502.912
AT ITER 9394 NEW BEST:: SOT 1064497 SOS 693899 HAS SOPS 353730 HAS SOUS 95287 HAS SOUPS 32806 WITH SCORE 33499.899
AT ITER 9411 NEW BEST:: SOT 1063921 SOS 692171 HAS SOPS 352722 HAS SOUS 95287 HAS SOUPS 32806 WITH SCORE 33498.171
AT ITER 9425 NEW BEST:: SOT 1063921 SOS 692165 HAS SOPS 352698 HAS SOUS 95291 HAS SOUPS 32804 WITH SCORE 33496.165
AT ITER 9428 NEW BEST:: SOT 1063843 SOS 692055 HAS SOPS 352652 HAS SOUS 95227 HAS SOUPS 32758 WITH SCORE 33450.055
AT ITER 9503 NEW BEST:: SOT 1063981 SOS 692658 HAS SOPS 352850 HAS SOUS 95163 HAS SOUPS 32694 WITH SCORE 33386.658
AT ITER 9521 NEW BEST:: SOT 1064115 SOS 692798 HAS SOPS 352894 HAS SOUS 95137 HAS SOUPS 32668 WITH SCORE 33360.798
AT ITER 9528 NEW BEST:: SOT 1062943 SOS 691273 HAS SOPS 352188 HAS SOUS 94992 HAS SOUPS 32614 WITH SCORE 33305.273
AT ITER 9534 NEW BEST:: SOT 1062876 SOS 691034 HAS SOPS 352054 HAS SOUS 94856 HAS SOUPS 32513 WITH SCORE 33204.034
AT ITER 9547 NEW BEST:: SOT 1062869 SOS 691020 HAS SOPS 352040 HAS SOUS 94812 HAS SOUPS 32469 WITH SCORE 33160.02
AT ITER 9600 NEW BEST:: SOT 1062844 SOS 691030 HAS SOPS 351990 HAS SOUS 94807 HAS SOUPS 32444 WITH SCORE 33135.03
AT ITER 9611 NEW BEST:: SOT 1062847 SOS 691009 HAS SOPS 351969 HAS SOUS 94801 HAS SOUPS 32438 WITH SCORE 33129.009
AT ITER 9643 NEW BEST:: SOT 1062727 SOS 690604 HAS SOPS 351789 HAS SOUS 94786 HAS SOUPS 32438 WITH SCORE 33128.604
AT ITER 9652 NEW BEST:: SOT 1061566 SOS 689065 HAS SOPS 351033 HAS SOUS 94620 HAS SOUPS 32359 WITH SCORE 33048.065
AT ITER 9654 NEW BEST:: SOT 1061644 SOS 688701 HAS SOPS 350825 HAS SOUS 94575 HAS SOUPS 32314 WITH SCORE 33002.701
AT ITER 9655 NEW BEST:: SOT 1061546 SOS 689009 HAS SOPS 350704 HAS SOUS 94548 HAS SOUPS 32287 WITH SCORE 32976.009
AT ITER 9658 NEW BEST:: SOT 1061539 SOS 686460 HAS SOPS 348090 HAS SOUS 94475 HAS SOUPS 32214 WITH SCORE 32900.46
AT ITER 9708 NEW BEST:: SOT 1061459 SOS 686537 HAS SOPS 347930 HAS SOUS 94472 HAS SOUPS 32132 WITH SCORE 32818.537
AT ITER 9710 NEW BEST:: SOT 1060889 SOS 685853 HAS SOPS 347588 HAS SOUS 94472 HAS SOUPS 32132 WITH SCORE 32817.853
AT ITER 9748 NEW BEST:: SOT 1060082 SOS 685037 HAS SOPS 346904 HAS SOUS 94435 HAS SOUPS 32104 WITH SCORE 32789.037
AT ITER 9780 NEW BEST:: SOT 1059956 SOS 684911 HAS SOPS 346796 HAS SOUS 94435 HAS SOUPS 32104 WITH SCORE 32788.911
AT ITER 9810 NEW BEST:: SOT 1059971 SOS 684726 HAS SOPS 346796 HAS SOUS 94440 HAS SOUPS 32104 WITH SCORE 32788.726
AT ITER 9834 NEW BEST:: SOT 1059968 SOS 684708 HAS SOPS 346793 HAS SOUS 94427 HAS SOUPS 32096 WITH SCORE 32780.708
AT ITER 9842 NEW BEST:: SOT 1059824 SOS 684528 HAS SOPS 346721 HAS SOUS 94415 HAS SOUPS 32096 WITH SCORE 32780.528
AT ITER 9890 NEW BEST:: SOT 1059792 SOS 684479 HAS SOPS 346689 HAS SOUS 94402 HAS SOUPS 32091 WITH SCORE 32775.479
AT ITER 9901 NEW BEST:: SOT 1059779 SOS 684429 HAS SOPS 346609 HAS SOUS 94395 HAS SOUPS 32084 WITH SCORE 32768.429
AT ITER 9927 NEW BEST:: SOT 1059779 SOS 684487 HAS SOPS 346638 HAS SOUS 94337 HAS SOUPS 32026 WITH SCORE 32710.487

BK_STOP 1678433693594

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 482 Killed ${SMART}/smart ${INPUT_SM}

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="DLCshifumi-PT-3a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is DLCshifumi-PT-3a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484700816"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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