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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.0M
-rw-r--r-- 1 mcc users 18K Feb 25 23:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 25 23:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 67K Feb 25 23:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 294K Feb 25 23:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 8.5K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 35K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 33K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 106K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 37K Feb 25 23:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 197K Feb 25 23:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 83K Feb 25 23:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 402K Feb 25 23:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.6M Mar 5 18:23 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 1678813326487

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

Filename model.pnml
Petri model created: 349 places, 1210 transitions, 8824 arcs.
AT ITER 0 NEW BEST:: SOT 302756 SOS 140340 HAS SOPS 140340 HAS SOUS 57192 HAS SOUPS 57192 WITH SCORE 57332.34
AT ITER 1 NEW BEST:: SOT 302751 SOS 140325 HAS SOPS 140325 HAS SOUS 57137 HAS SOUPS 57137 WITH SCORE 57277.325
AT ITER 3 NEW BEST:: SOT 302751 SOS 140325 HAS SOPS 140325 HAS SOUS 57041 HAS SOUPS 57041 WITH SCORE 57181.325
AT ITER 6 NEW BEST:: SOT 302708 SOS 140220 HAS SOPS 140220 HAS SOUS 56688 HAS SOUPS 56688 WITH SCORE 56828.22
AT ITER 29 NEW BEST:: SOT 302708 SOS 140220 HAS SOPS 140220 HAS SOUS 56581 HAS SOUPS 56581 WITH SCORE 56721.22
AT ITER 32 NEW BEST:: SOT 302562 SOS 140045 HAS SOPS 140045 HAS SOUS 56390 HAS SOUPS 56390 WITH SCORE 56530.045
AT ITER 47 NEW BEST:: SOT 298290 SOS 135884 HAS SOPS 135884 HAS SOUS 52229 HAS SOUPS 52229 WITH SCORE 52364.884
AT ITER 63 NEW BEST:: SOT 298290 SOS 135884 HAS SOPS 135884 HAS SOUS 52121 HAS SOUPS 52121 WITH SCORE 52256.884
AT ITER 70 NEW BEST:: SOT 298290 SOS 137130 HAS SOPS 137130 HAS SOUS 52119 HAS SOUPS 52119 WITH SCORE 52256.13
AT ITER 76 NEW BEST:: SOT 298485 SOS 137284 HAS SOPS 137284 HAS SOUS 52109 HAS SOUPS 52109 WITH SCORE 52246.284
AT ITER 79 NEW BEST:: SOT 298467 SOS 137293 HAS SOPS 137293 HAS SOUS 52103 HAS SOUPS 52103 WITH SCORE 52240.293
AT ITER 85 NEW BEST:: SOT 298401 SOS 137268 HAS SOPS 137268 HAS SOUS 52043 HAS SOUPS 52043 WITH SCORE 52180.268
AT ITER 86 NEW BEST:: SOT 298421 SOS 137308 HAS SOPS 137308 HAS SOUS 52042 HAS SOUPS 52042 WITH SCORE 52179.308
AT ITER 101 NEW BEST:: SOT 298421 SOS 137308 HAS SOPS 137308 HAS SOUS 51994 HAS SOUPS 51994 WITH SCORE 52131.308
AT ITER 126 NEW BEST:: SOT 298381 SOS 137268 HAS SOPS 137268 HAS SOUS 51954 HAS SOUPS 51954 WITH SCORE 52091.268
AT ITER 131 NEW BEST:: SOT 298361 SOS 137268 HAS SOPS 137268 HAS SOUS 51952 HAS SOUPS 51952 WITH SCORE 52089.268
AT ITER 134 NEW BEST:: SOT 299586 SOS 138493 HAS SOPS 138493 HAS SOUS 51908 HAS SOUPS 51908 WITH SCORE 52046.493
AT ITER 135 NEW BEST:: SOT 299488 SOS 138395 HAS SOPS 138395 HAS SOUS 51810 HAS SOUPS 51810 WITH SCORE 51948.395
AT ITER 136 NEW BEST:: SOT 299488 SOS 138465 HAS SOPS 138465 HAS SOUS 51760 HAS SOUPS 51760 WITH SCORE 51898.465
AT ITER 138 NEW BEST:: SOT 220053 SOS 118660 HAS SOPS 118660 HAS SOUS 42318 HAS SOUPS 42318 WITH SCORE 42436.66
AT ITER 146 NEW BEST:: SOT 220022 SOS 118629 HAS SOPS 118629 HAS SOUS 42287 HAS SOUPS 42287 WITH SCORE 42405.629
AT ITER 151 NEW BEST:: SOT 219866 SOS 118452 HAS SOPS 118452 HAS SOUS 41821 HAS SOUPS 41821 WITH SCORE 41939.452
AT ITER 159 NEW BEST:: SOT 219817 SOS 118382 HAS SOPS 118382 HAS SOUS 41462 HAS SOUPS 41462 WITH SCORE 41580.382
AT ITER 161 NEW BEST:: SOT 219817 SOS 118382 HAS SOPS 118382 HAS SOUS 41442 HAS SOUPS 41442 WITH SCORE 41560.382
AT ITER 163 NEW BEST:: SOT 219749 SOS 118293 HAS SOPS 118293 HAS SOUS 40869 HAS SOUPS 40869 WITH SCORE 40987.293
AT ITER 164 NEW BEST:: SOT 219689 SOS 118233 HAS SOPS 118233 HAS SOUS 40809 HAS SOUPS 40809 WITH SCORE 40927.233
AT ITER 171 NEW BEST:: SOT 219689 SOS 118233 HAS SOPS 118233 HAS SOUS 40773 HAS SOUPS 40773 WITH SCORE 40891.233
AT ITER 177 NEW BEST:: SOT 219577 SOS 118123 HAS SOPS 118123 HAS SOUS 40661 HAS SOUPS 40661 WITH SCORE 40779.123
AT ITER 186 NEW BEST:: SOT 219562 SOS 118087 HAS SOPS 118087 HAS SOUS 40336 HAS SOUPS 40336 WITH SCORE 40454.087
AT ITER 201 NEW BEST:: SOT 219587 SOS 118091 HAS SOPS 118091 HAS SOUS 40059 HAS SOUPS 40059 WITH SCORE 40177.091
AT ITER 220 NEW BEST:: SOT 219524 SOS 118028 HAS SOPS 118028 HAS SOUS 39996 HAS SOUPS 39996 WITH SCORE 40114.028
AT ITER 222 NEW BEST:: SOT 219538 SOS 118020 HAS SOPS 118020 HAS SOUS 39945 HAS SOUPS 39945 WITH SCORE 40063.02
AT ITER 234 NEW BEST:: SOT 219551 SOS 118026 HAS SOPS 118026 HAS SOUS 39923 HAS SOUPS 39923 WITH SCORE 40041.026
AT ITER 235 NEW BEST:: SOT 219499 SOS 117974 HAS SOPS 117974 HAS SOUS 39916 HAS SOUPS 39916 WITH SCORE 40033.974
AT ITER 236 NEW BEST:: SOT 219510 SOS 119189 HAS SOPS 119189 HAS SOUS 39897 HAS SOUPS 39897 WITH SCORE 40016.189
AT ITER 252 NEW BEST:: SOT 219481 SOS 119144 HAS SOPS 119144 HAS SOUS 39608 HAS SOUPS 39608 WITH SCORE 39727.144
AT ITER 254 NEW BEST:: SOT 219477 SOS 119140 HAS SOPS 119140 HAS SOUS 39548 HAS SOUPS 39548 WITH SCORE 39667.14
AT ITER 261 NEW BEST:: SOT 219440 SOS 119103 HAS SOPS 119103 HAS SOUS 39326 HAS SOUPS 39326 WITH SCORE 39445.103
AT ITER 264 NEW BEST:: SOT 219390 SOS 119053 HAS SOPS 119053 HAS SOUS 39276 HAS SOUPS 39276 WITH SCORE 39395.053
AT ITER 281 NEW BEST:: SOT 219267 SOS 62350 HAS SOPS 62350 HAS SOUS 38661 HAS SOUPS 38661 WITH SCORE 38723.35
AT ITER 282 NEW BEST:: SOT 219267 SOS 62326 HAS SOPS 62326 HAS SOUS 38611 HAS SOUPS 38611 WITH SCORE 38673.326
AT ITER 287 NEW BEST:: SOT 219267 SOS 62326 HAS SOPS 62326 HAS SOUS 38523 HAS SOUPS 38523 WITH SCORE 38585.326
AT ITER 290 NEW BEST:: SOT 219252 SOS 62311 HAS SOPS 62311 HAS SOUS 38508 HAS SOUPS 38508 WITH SCORE 38570.311
AT ITER 318 NEW BEST:: SOT 219252 SOS 62309 HAS SOPS 62309 HAS SOUS 38392 HAS SOUPS 38392 WITH SCORE 38454.309
AT ITER 323 NEW BEST:: SOT 219246 SOS 62303 HAS SOPS 62303 HAS SOUS 38386 HAS SOUPS 38386 WITH SCORE 38448.303
AT ITER 334 NEW BEST:: SOT 219214 SOS 62271 HAS SOPS 62271 HAS SOUS 38354 HAS SOUPS 38354 WITH SCORE 38416.271
AT ITER 343 NEW BEST:: SOT 219184 SOS 62341 HAS SOPS 62341 HAS SOUS 38333 HAS SOUPS 38333 WITH SCORE 38395.341
AT ITER 346 NEW BEST:: SOT 219185 SOS 62714 HAS SOPS 62714 HAS SOUS 38301 HAS SOUPS 38301 WITH SCORE 38363.714
AT ITER 348 NEW BEST:: SOT 219145 SOS 62653 HAS SOPS 62653 HAS SOUS 37951 HAS SOUPS 37951 WITH SCORE 38013.653
AT ITER 351 NEW BEST:: SOT 219134 SOS 62642 HAS SOPS 62642 HAS SOUS 37940 HAS SOUPS 37940 WITH SCORE 38002.642
AT ITER 364 NEW BEST:: SOT 217942 SOS 62189 HAS SOPS 62189 HAS SOUS 36680 HAS SOUPS 36680 WITH SCORE 36742.189
AT ITER 365 NEW BEST:: SOT 217940 SOS 62187 HAS SOPS 62187 HAS SOUS 36678 HAS SOUPS 36678 WITH SCORE 36740.187
AT ITER 379 NEW BEST:: SOT 217932 SOS 62411 HAS SOPS 62411 HAS SOUS 36662 HAS SOUPS 36662 WITH SCORE 36724.411
AT ITER 392 NEW BEST:: SOT 217951 SOS 62415 HAS SOPS 62415 HAS SOUS 36627 HAS SOUPS 36627 WITH SCORE 36689.415
AT ITER 393 NEW BEST:: SOT 217955 SOS 62376 HAS SOPS 62376 HAS SOUS 36531 HAS SOUPS 36531 WITH SCORE 36593.376
AT ITER 398 NEW BEST:: SOT 217950 SOS 62371 HAS SOPS 62371 HAS SOUS 36526 HAS SOUPS 36526 WITH SCORE 36588.371
AT ITER 416 NEW BEST:: SOT 217937 SOS 62490 HAS SOPS 62490 HAS SOUS 36500 HAS SOUPS 36500 WITH SCORE 36562.49
AT ITER 430 NEW BEST:: SOT 218083 SOS 62615 HAS SOPS 62615 HAS SOUS 36415 HAS SOUPS 36415 WITH SCORE 36477.615
AT ITER 438 NEW BEST:: SOT 218083 SOS 62605 HAS SOPS 62605 HAS SOUS 36385 HAS SOUPS 36385 WITH SCORE 36447.605
AT ITER 441 NEW BEST:: SOT 218064 SOS 62570 HAS SOPS 62570 HAS SOUS 36198 HAS SOUPS 36198 WITH SCORE 36260.57
AT ITER 460 NEW BEST:: SOT 218096 SOS 62556 HAS SOPS 62556 HAS SOUS 36180 HAS SOUPS 36180 WITH SCORE 36242.556
AT ITER 466 NEW BEST:: SOT 218250 SOS 62687 HAS SOPS 62687 HAS SOUS 35934 HAS SOUPS 35934 WITH SCORE 35996.687
AT ITER 470 NEW BEST:: SOT 218238 SOS 62675 HAS SOPS 62675 HAS SOUS 35910 HAS SOUPS 35910 WITH SCORE 35972.675
AT ITER 482 NEW BEST:: SOT 218446 SOS 62851 HAS SOPS 62851 HAS SOUS 35813 HAS SOUPS 35813 WITH SCORE 35875.851
AT ITER 483 NEW BEST:: SOT 218446 SOS 62849 HAS SOPS 62849 HAS SOUS 35797 HAS SOUPS 35797 WITH SCORE 35859.849
AT ITER 497 NEW BEST:: SOT 218499 SOS 62846 HAS SOPS 62846 HAS SOUS 35792 HAS SOUPS 35792 WITH SCORE 35854.846
AT ITER 502 NEW BEST:: SOT 218499 SOS 62888 HAS SOPS 62888 HAS SOUS 35789 HAS SOUPS 35789 WITH SCORE 35851.888
AT ITER 531 NEW BEST:: SOT 218487 SOS 62876 HAS SOPS 62876 HAS SOUS 35777 HAS SOUPS 35777 WITH SCORE 35839.876
AT ITER 542 NEW BEST:: SOT 218357 SOS 62746 HAS SOPS 62746 HAS SOUS 35647 HAS SOUPS 35647 WITH SCORE 35709.746
AT ITER 553 NEW BEST:: SOT 218341 SOS 62730 HAS SOPS 62730 HAS SOUS 35631 HAS SOUPS 35631 WITH SCORE 35693.73
AT ITER 560 NEW BEST:: SOT 218341 SOS 62694 HAS SOPS 62694 HAS SOUS 35611 HAS SOUPS 35611 WITH SCORE 35673.694
AT ITER 561 NEW BEST:: SOT 218329 SOS 62682 HAS SOPS 62682 HAS SOUS 35599 HAS SOUPS 35599 WITH SCORE 35661.682
AT ITER 562 NEW BEST:: SOT 218325 SOS 62678 HAS SOPS 62678 HAS SOUS 35591 HAS SOUPS 35591 WITH SCORE 35653.678
AT ITER 563 NEW BEST:: SOT 218305 SOS 62658 HAS SOPS 62658 HAS SOUS 35559 HAS SOUPS 35559 WITH SCORE 35621.658
AT ITER 564 NEW BEST:: SOT 218315 SOS 61961 HAS SOPS 61961 HAS SOUS 35349 HAS SOUPS 35349 WITH SCORE 35410.961
AT ITER 595 NEW BEST:: SOT 218315 SOS 61948 HAS SOPS 61948 HAS SOUS 35326 HAS SOUPS 35326 WITH SCORE 35387.948
AT ITER 607 NEW BEST:: SOT 218315 SOS 61934 HAS SOPS 61934 HAS SOUS 35263 HAS SOUPS 35263 WITH SCORE 35324.934
AT ITER 609 NEW BEST:: SOT 218161 SOS 61780 HAS SOPS 61780 HAS SOUS 35109 HAS SOUPS 35109 WITH SCORE 35170.78
AT ITER 612 NEW BEST:: SOT 218187 SOS 61806 HAS SOPS 61806 HAS SOUS 35093 HAS SOUPS 35093 WITH SCORE 35154.806
AT ITER 630 NEW BEST:: SOT 218187 SOS 61806 HAS SOPS 61806 HAS SOUS 35083 HAS SOUPS 35083 WITH SCORE 35144.806
AT ITER 640 NEW BEST:: SOT 218186 SOS 61805 HAS SOPS 61805 HAS SOUS 35082 HAS SOUPS 35082 WITH SCORE 35143.805
AT ITER 647 NEW BEST:: SOT 218047 SOS 61666 HAS SOPS 61666 HAS SOUS 34943 HAS SOUPS 34943 WITH SCORE 35004.666
AT ITER 657 NEW BEST:: SOT 218041 SOS 61660 HAS SOPS 61660 HAS SOUS 34937 HAS SOUPS 34937 WITH SCORE 34998.66
AT ITER 665 NEW BEST:: SOT 217879 SOS 61498 HAS SOPS 61498 HAS SOUS 34775 HAS SOUPS 34775 WITH SCORE 34836.498
AT ITER 667 NEW BEST:: SOT 217770 SOS 61280 HAS SOPS 61280 HAS SOUS 34557 HAS SOUPS 34557 WITH SCORE 34618.28
AT ITER 684 NEW BEST:: SOT 217724 SOS 61234 HAS SOPS 61234 HAS SOUS 34536 HAS SOUPS 34536 WITH SCORE 34597.234
AT ITER 685 NEW BEST:: SOT 217718 SOS 61228 HAS SOPS 61228 HAS SOUS 34530 HAS SOUPS 34530 WITH SCORE 34591.228
AT ITER 693 NEW BEST:: SOT 217672 SOS 61182 HAS SOPS 61182 HAS SOUS 34466 HAS SOUPS 34466 WITH SCORE 34527.182
AT ITER 694 NEW BEST:: SOT 217656 SOS 61166 HAS SOPS 61166 HAS SOUS 34434 HAS SOUPS 34434 WITH SCORE 34495.166
AT ITER 701 NEW BEST:: SOT 217611 SOS 61121 HAS SOPS 61121 HAS SOUS 34389 HAS SOUPS 34389 WITH SCORE 34450.121
AT ITER 715 NEW BEST:: SOT 217597 SOS 61125 HAS SOPS 61125 HAS SOUS 34383 HAS SOUPS 34383 WITH SCORE 34444.125
AT ITER 718 NEW BEST:: SOT 217652 SOS 61130 HAS SOPS 61130 HAS SOUS 34284 HAS SOUPS 34284 WITH SCORE 34345.13
AT ITER 722 NEW BEST:: SOT 217584 SOS 61065 HAS SOPS 61065 HAS SOUS 34245 HAS SOUPS 34245 WITH SCORE 34306.065
AT ITER 735 NEW BEST:: SOT 217544 SOS 61080 HAS SOPS 61080 HAS SOUS 34190 HAS SOUPS 34190 WITH SCORE 34251.08
AT ITER 739 NEW BEST:: SOT 217515 SOS 61051 HAS SOPS 61051 HAS SOUS 34119 HAS SOUPS 34119 WITH SCORE 34180.051
AT ITER 742 NEW BEST:: SOT 217515 SOS 61051 HAS SOPS 61051 HAS SOUS 34107 HAS SOUPS 34107 WITH SCORE 34168.051
AT ITER 745 NEW BEST:: SOT 217513 SOS 61049 HAS SOPS 61049 HAS SOUS 34105 HAS SOUPS 34105 WITH SCORE 34166.049
AT ITER 751 NEW BEST:: SOT 217513 SOS 61045 HAS SOPS 61045 HAS SOUS 34101 HAS SOUPS 34101 WITH SCORE 34162.045
AT ITER 752 NEW BEST:: SOT 217513 SOS 61327 HAS SOPS 61327 HAS SOUS 34079 HAS SOUPS 34079 WITH SCORE 34140.327
AT ITER 766 NEW BEST:: SOT 217485 SOS 61299 HAS SOPS 61299 HAS SOUS 34014 HAS SOUPS 34014 WITH SCORE 34075.299
AT ITER 777 NEW BEST:: SOT 217504 SOS 61274 HAS SOPS 61274 HAS SOUS 33876 HAS SOUPS 33876 WITH SCORE 33937.274
AT ITER 789 NEW BEST:: SOT 217471 SOS 61234 HAS SOPS 61234 HAS SOUS 33836 HAS SOUPS 33836 WITH SCORE 33897.234
AT ITER 790 NEW BEST:: SOT 217465 SOS 61228 HAS SOPS 61228 HAS SOUS 33830 HAS SOUPS 33830 WITH SCORE 33891.228
AT ITER 799 NEW BEST:: SOT 217455 SOS 61218 HAS SOPS 61218 HAS SOUS 33820 HAS SOUPS 33820 WITH SCORE 33881.218
AT ITER 803 NEW BEST:: SOT 217455 SOS 61218 HAS SOPS 61218 HAS SOUS 33740 HAS SOUPS 33740 WITH SCORE 33801.218
AT ITER 806 NEW BEST:: SOT 217437 SOS 61200 HAS SOPS 61200 HAS SOUS 33722 HAS SOUPS 33722 WITH SCORE 33783.2
AT ITER 815 NEW BEST:: SOT 217527 SOS 61273 HAS SOPS 61273 HAS SOUS 33671 HAS SOUPS 33671 WITH SCORE 33732.273
AT ITER 817 NEW BEST:: SOT 217527 SOS 61269 HAS SOPS 61269 HAS SOUS 33606 HAS SOUPS 33606 WITH SCORE 33667.269
AT ITER 824 NEW BEST:: SOT 217503 SOS 61239 HAS SOPS 61239 HAS SOUS 33570 HAS SOUPS 33570 WITH SCORE 33631.239
AT ITER 827 NEW BEST:: SOT 217518 SOS 61158 HAS SOPS 61158 HAS SOUS 33559 HAS SOUPS 33559 WITH SCORE 33620.158
AT ITER 829 NEW BEST:: SOT 217510 SOS 61312 HAS SOPS 61312 HAS SOUS 33543 HAS SOUPS 33543 WITH SCORE 33604.312
AT ITER 834 NEW BEST:: SOT 217485 SOS 61287 HAS SOPS 61287 HAS SOUS 33135 HAS SOUPS 33135 WITH SCORE 33196.287
AT ITER 838 NEW BEST:: SOT 217482 SOS 61196 HAS SOPS 61196 HAS SOUS 33113 HAS SOUPS 33113 WITH SCORE 33174.196
AT ITER 848 NEW BEST:: SOT 217478 SOS 61192 HAS SOPS 61192 HAS SOUS 33109 HAS SOUPS 33109 WITH SCORE 33170.192
AT ITER 852 NEW BEST:: SOT 217459 SOS 61173 HAS SOPS 61173 HAS SOUS 33071 HAS SOUPS 33071 WITH SCORE 33132.173
AT ITER 853 NEW BEST:: SOT 217432 SOS 61177 HAS SOPS 61177 HAS SOUS 33059 HAS SOUPS 33059 WITH SCORE 33120.177
AT ITER 860 NEW BEST:: SOT 217405 SOS 61178 HAS SOPS 61178 HAS SOUS 33043 HAS SOUPS 33043 WITH SCORE 33104.178
AT ITER 885 NEW BEST:: SOT 217390 SOS 61163 HAS SOPS 61163 HAS SOUS 33028 HAS SOUPS 33028 WITH SCORE 33089.163
AT ITER 887 NEW BEST:: SOT 217390 SOS 61159 HAS SOPS 61159 HAS SOUS 33016 HAS SOUPS 33016 WITH SCORE 33077.159
AT ITER 914 NEW BEST:: SOT 217390 SOS 61235 HAS SOPS 61235 HAS SOUS 32936 HAS SOUPS 32936 WITH SCORE 32997.235
AT ITER 927 NEW BEST:: SOT 217390 SOS 61050 HAS SOPS 61050 HAS SOUS 32862 HAS SOUPS 32862 WITH SCORE 32923.05
AT ITER 932 NEW BEST:: SOT 217291 SOS 60891 HAS SOPS 60891 HAS SOUS 32743 HAS SOUPS 32743 WITH SCORE 32803.891
AT ITER 960 NEW BEST:: SOT 217261 SOS 60833 HAS SOPS 60833 HAS SOUS 32631 HAS SOUPS 32631 WITH SCORE 32691.833
AT ITER 968 NEW BEST:: SOT 217270 SOS 60842 HAS SOPS 60842 HAS SOUS 32162 HAS SOUPS 32162 WITH SCORE 32222.842
AT ITER 972 NEW BEST:: SOT 217243 SOS 60890 HAS SOPS 60890 HAS SOUS 32147 HAS SOUPS 32147 WITH SCORE 32207.89
AT ITER 975 NEW BEST:: SOT 217228 SOS 60875 HAS SOPS 60875 HAS SOUS 32124 HAS SOUPS 32124 WITH SCORE 32184.875
AT ITER 988 NEW BEST:: SOT 217215 SOS 60836 HAS SOPS 60836 HAS SOUS 32020 HAS SOUPS 32020 WITH SCORE 32080.836
AT ITER 990 NEW BEST:: SOT 217232 SOS 60811 HAS SOPS 60811 HAS SOUS 31920 HAS SOUPS 31920 WITH SCORE 31980.811
AT ITER 991 NEW BEST:: SOT 217242 SOS 60811 HAS SOPS 60811 HAS SOUS 31910 HAS SOUPS 31910 WITH SCORE 31970.811
AT ITER 1003 NEW BEST:: SOT 217240 SOS 60810 HAS SOPS 60810 HAS SOUS 31908 HAS SOUPS 31908 WITH SCORE 31968.81
AT ITER 1036 NEW BEST:: SOT 217216 SOS 60786 HAS SOPS 60786 HAS SOUS 31741 HAS SOUPS 31741 WITH SCORE 31801.786
AT ITER 1038 NEW BEST:: SOT 217256 SOS 60826 HAS SOPS 60826 HAS SOUS 31701 HAS SOUPS 31701 WITH SCORE 31761.826
AT ITER 1075 NEW BEST:: SOT 217307 SOS 60870 HAS SOPS 60870 HAS SOUS 31668 HAS SOUPS 31668 WITH SCORE 31728.87
AT ITER 1080 NEW BEST:: SOT 217396 SOS 60959 HAS SOPS 60959 HAS SOUS 31536 HAS SOUPS 31536 WITH SCORE 31596.959
AT ITER 1114 NEW BEST:: SOT 217454 SOS 61017 HAS SOPS 61017 HAS SOUS 31479 HAS SOUPS 31479 WITH SCORE 31540.017
AT ITER 1151 NEW BEST:: SOT 217445 SOS 60998 HAS SOPS 60998 HAS SOUS 31458 HAS SOUPS 31458 WITH SCORE 31518.998
AT ITER 1167 NEW BEST:: SOT 217445 SOS 60998 HAS SOPS 60998 HAS SOUS 31444 HAS SOUPS 31444 WITH SCORE 31504.998
AT ITER 1171 NEW BEST:: SOT 217445 SOS 61058 HAS SOPS 61058 HAS SOUS 31436 HAS SOUPS 31436 WITH SCORE 31497.058
AT ITER 1173 NEW BEST:: SOT 217374 SOS 60982 HAS SOPS 60982 HAS SOUS 31299 HAS SOUPS 31299 WITH SCORE 31359.982
AT ITER 1185 NEW BEST:: SOT 217373 SOS 60980 HAS SOPS 60980 HAS SOUS 31297 HAS SOUPS 31297 WITH SCORE 31357.98
AT ITER 1220 NEW BEST:: SOT 217367 SOS 60959 HAS SOPS 60959 HAS SOUS 31223 HAS SOUPS 31223 WITH SCORE 31283.959
AT ITER 1245 NEW BEST:: SOT 217334 SOS 60675 HAS SOPS 60675 HAS SOUS 31157 HAS SOUPS 31157 WITH SCORE 31217.675
AT ITER 1258 NEW BEST:: SOT 217348 SOS 60649 HAS SOPS 60649 HAS SOUS 31036 HAS SOUPS 31036 WITH SCORE 31096.649
AT ITER 1270 NEW BEST:: SOT 217315 SOS 60616 HAS SOPS 60616 HAS SOUS 30948 HAS SOUPS 30948 WITH SCORE 31008.616
AT ITER 1273 NEW BEST:: SOT 217309 SOS 60616 HAS SOPS 60616 HAS SOUS 30930 HAS SOUPS 30930 WITH SCORE 30990.616
AT ITER 1300 NEW BEST:: SOT 217296 SOS 60616 HAS SOPS 60616 HAS SOUS 30904 HAS SOUPS 30904 WITH SCORE 30964.616
AT ITER 1302 NEW BEST:: SOT 217235 SOS 60555 HAS SOPS 60555 HAS SOUS 30803 HAS SOUPS 30803 WITH SCORE 30863.555
AT ITER 1304 NEW BEST:: SOT 217221 SOS 60541 HAS SOPS 60541 HAS SOUS 30789 HAS SOUPS 30789 WITH SCORE 30849.541
AT ITER 1311 NEW BEST:: SOT 217221 SOS 60539 HAS SOPS 60539 HAS SOUS 30787 HAS SOUPS 30787 WITH SCORE 30847.539
AT ITER 1316 NEW BEST:: SOT 217195 SOS 60513 HAS SOPS 60513 HAS SOUS 30761 HAS SOUPS 30761 WITH SCORE 30821.513
AT ITER 1324 NEW BEST:: SOT 217152 SOS 60465 HAS SOPS 60465 HAS SOUS 30731 HAS SOUPS 30731 WITH SCORE 30791.465
AT ITER 1325 NEW BEST:: SOT 217147 SOS 60460 HAS SOPS 60460 HAS SOUS 30721 HAS SOUPS 30721 WITH SCORE 30781.46
AT ITER 1332 NEW BEST:: SOT 217145 SOS 60458 HAS SOPS 60458 HAS SOUS 30717 HAS SOUPS 30717 WITH SCORE 30777.458
AT ITER 1342 NEW BEST:: SOT 217270 SOS 60567 HAS SOPS 60567 HAS SOUS 30693 HAS SOUPS 30693 WITH SCORE 30753.567
AT ITER 1345 NEW BEST:: SOT 217268 SOS 60544 HAS SOPS 60544 HAS SOUS 30691 HAS SOUPS 30691 WITH SCORE 30751.544
AT ITER 1362 NEW BEST:: SOT 217254 SOS 60530 HAS SOPS 60530 HAS SOUS 30677 HAS SOUPS 30677 WITH SCORE 30737.53
AT ITER 1369 NEW BEST:: SOT 217305 SOS 60548 HAS SOPS 60548 HAS SOUS 30466 HAS SOUPS 30466 WITH SCORE 30526.548
AT ITER 1379 NEW BEST:: SOT 217329 SOS 60536 HAS SOPS 60536 HAS SOUS 30385 HAS SOUPS 30385 WITH SCORE 30445.536
AT ITER 1383 NEW BEST:: SOT 217326 SOS 60533 HAS SOPS 60533 HAS SOUS 30379 HAS SOUPS 30379 WITH SCORE 30439.533
AT ITER 1391 NEW BEST:: SOT 217349 SOS 60556 HAS SOPS 60556 HAS SOUS 30369 HAS SOUPS 30369 WITH SCORE 30429.556
AT ITER 1404 NEW BEST:: SOT 217327 SOS 60534 HAS SOPS 60534 HAS SOUS 30316 HAS SOUPS 30316 WITH SCORE 30376.534
AT ITER 1406 NEW BEST:: SOT 217327 SOS 60521 HAS SOPS 60521 HAS SOUS 30290 HAS SOUPS 30290 WITH SCORE 30350.521
AT ITER 1422 NEW BEST:: SOT 217308 SOS 60502 HAS SOPS 60502 HAS SOUS 30271 HAS SOUPS 30271 WITH SCORE 30331.502
AT ITER 1426 NEW BEST:: SOT 217295 SOS 60489 HAS SOPS 60489 HAS SOUS 30258 HAS SOUPS 30258 WITH SCORE 30318.489
AT ITER 1439 NEW BEST:: SOT 217285 SOS 60479 HAS SOPS 60479 HAS SOUS 30218 HAS SOUPS 30218 WITH SCORE 30278.479
AT ITER 1446 NEW BEST:: SOT 217092 SOS 60699 HAS SOPS 60699 HAS SOUS 30067 HAS SOUPS 30067 WITH SCORE 30127.699
AT ITER 1450 NEW BEST:: SOT 217082 SOS 60689 HAS SOPS 60689 HAS SOUS 30047 HAS SOUPS 30047 WITH SCORE 30107.689
AT ITER 1458 NEW BEST:: SOT 216847 SOS 60481 HAS SOPS 60481 HAS SOUS 29839 HAS SOUPS 29839 WITH SCORE 29899.481
AT ITER 1459 NEW BEST:: SOT 216825 SOS 60359 HAS SOPS 60359 HAS SOUS 29794 HAS SOUPS 29794 WITH SCORE 29854.359
AT ITER 1473 NEW BEST:: SOT 216775 SOS 60341 HAS SOPS 60341 HAS SOUS 29243 HAS SOUPS 29243 WITH SCORE 29303.341
AT ITER 1481 NEW BEST:: SOT 216764 SOS 60324 HAS SOPS 60324 HAS SOUS 29243 HAS SOUPS 29243 WITH SCORE 29303.324
AT ITER 1491 NEW BEST:: SOT 216742 SOS 60302 HAS SOPS 60302 HAS SOUS 29242 HAS SOUPS 29242 WITH SCORE 29302.302
AT ITER 1497 NEW BEST:: SOT 216763 SOS 60299 HAS SOPS 60299 HAS SOUS 29239 HAS SOUPS 29239 WITH SCORE 29299.299
AT ITER 1515 NEW BEST:: SOT 216760 SOS 60296 HAS SOPS 60296 HAS SOUS 29233 HAS SOUPS 29233 WITH SCORE 29293.296
AT ITER 1516 NEW BEST:: SOT 216744 SOS 60280 HAS SOPS 60280 HAS SOUS 29169 HAS SOUPS 29169 WITH SCORE 29229.28
AT ITER 1517 NEW BEST:: SOT 216710 SOS 60271 HAS SOPS 60271 HAS SOUS 29135 HAS SOUPS 29135 WITH SCORE 29195.271
AT ITER 1533 NEW BEST:: SOT 216699 SOS 60249 HAS SOPS 60249 HAS SOUS 29113 HAS SOUPS 29113 WITH SCORE 29173.249
AT ITER 1541 NEW BEST:: SOT 216727 SOS 60246 HAS SOPS 60244 HAS SOUS 29110 HAS SOUPS 29108 WITH SCORE 29168.246
AT ITER 1556 NEW BEST:: SOT 216694 SOS 60138 HAS SOPS 60136 HAS SOUS 29015 HAS SOUPS 29013 WITH SCORE 29073.138
AT ITER 1558 NEW BEST:: SOT 216653 SOS 60139 HAS SOPS 60137 HAS SOUS 28982 HAS SOUPS 28980 WITH SCORE 29040.139
AT ITER 1570 NEW BEST:: SOT 216644 SOS 60130 HAS SOPS 60128 HAS SOUS 28967 HAS SOUPS 28965 WITH SCORE 29025.13
AT ITER 1578 NEW BEST:: SOT 216616 SOS 60102 HAS SOPS 60100 HAS SOUS 28939 HAS SOUPS 28937 WITH SCORE 28997.102
AT ITER 1595 NEW BEST:: SOT 216616 SOS 60102 HAS SOPS 60100 HAS SOUS 28928 HAS SOUPS 28926 WITH SCORE 28986.102
AT ITER 1602 NEW BEST:: SOT 216508 SOS 59994 HAS SOPS 59992 HAS SOUS 28744 HAS SOUPS 28742 WITH SCORE 28801.994
AT ITER 1606 NEW BEST:: SOT 216499 SOS 59985 HAS SOPS 59983 HAS SOUS 28726 HAS SOUPS 28724 WITH SCORE 28783.985
AT ITER 1621 NEW BEST:: SOT 216706 SOS 60150 HAS SOPS 60148 HAS SOUS 28698 HAS SOUPS 28696 WITH SCORE 28756.15
AT ITER 1628 NEW BEST:: SOT 216694 SOS 60144 HAS SOPS 60142 HAS SOUS 28686 HAS SOUPS 28684 WITH SCORE 28744.144
AT ITER 1643 NEW BEST:: SOT 216648 SOS 60098 HAS SOPS 60096 HAS SOUS 28640 HAS SOUPS 28638 WITH SCORE 28698.098
AT ITER 1675 NEW BEST:: SOT 216673 SOS 60123 HAS SOPS 60121 HAS SOUS 28578 HAS SOUPS 28576 WITH SCORE 28636.123
AT ITER 1677 NEW BEST:: SOT 216639 SOS 60089 HAS SOPS 60087 HAS SOUS 28544 HAS SOUPS 28542 WITH SCORE 28602.089
AT ITER 1687 NEW BEST:: SOT 216615 SOS 60065 HAS SOPS 60063 HAS SOUS 28514 HAS SOUPS 28512 WITH SCORE 28572.065
AT ITER 1692 NEW BEST:: SOT 216615 SOS 60061 HAS SOPS 60059 HAS SOUS 28500 HAS SOUPS 28498 WITH SCORE 28558.061
AT ITER 1702 NEW BEST:: SOT 216591 SOS 60037 HAS SOPS 60035 HAS SOUS 28252 HAS SOUPS 28250 WITH SCORE 28310.037
AT ITER 1708 NEW BEST:: SOT 216591 SOS 60034 HAS SOPS 60032 HAS SOUS 28252 HAS SOUPS 28250 WITH SCORE 28310.034
AT ITER 1721 NEW BEST:: SOT 216588 SOS 60041 HAS SOPS 60039 HAS SOUS 28239 HAS SOUPS 28237 WITH SCORE 28297.041
AT ITER 1722 NEW BEST:: SOT 216578 SOS 60031 HAS SOPS 60029 HAS SOUS 28219 HAS SOUPS 28217 WITH SCORE 28277.031
AT ITER 1726 NEW BEST:: SOT 216570 SOS 60023 HAS SOPS 60021 HAS SOUS 28150 HAS SOUPS 28148 WITH SCORE 28208.023
AT ITER 1756 NEW BEST:: SOT 216556 SOS 60009 HAS SOPS 60007 HAS SOUS 28136 HAS SOUPS 28134 WITH SCORE 28194.009
AT ITER 1765 NEW BEST:: SOT 216544 SOS 59999 HAS SOPS 59997 HAS SOUS 28112 HAS SOUPS 28110 WITH SCORE 28169.999
AT ITER 1803 NEW BEST:: SOT 216502 SOS 59978 HAS SOPS 59976 HAS SOUS 28070 HAS SOUPS 28068 WITH SCORE 28127.978
AT ITER 1845 NEW BEST:: SOT 216499 SOS 59975 HAS SOPS 59973 HAS SOUS 28067 HAS SOUPS 28065 WITH SCORE 28124.975
AT ITER 1858 NEW BEST:: SOT 216454 SOS 59793 HAS SOPS 59791 HAS SOUS 27977 HAS SOUPS 27975 WITH SCORE 28034.793
AT ITER 1880 NEW BEST:: SOT 216345 SOS 59684 HAS SOPS 59682 HAS SOUS 27826 HAS SOUPS 27824 WITH SCORE 27883.684
AT ITER 1907 NEW BEST:: SOT 216368 SOS 59697 HAS SOPS 59695 HAS SOUS 27687 HAS SOUPS 27685 WITH SCORE 27744.697
AT ITER 1910 NEW BEST:: SOT 216351 SOS 59764 HAS SOPS 59762 HAS SOUS 27625 HAS SOUPS 27623 WITH SCORE 27682.764
AT ITER 1925 NEW BEST:: SOT 216342 SOS 59755 HAS SOPS 59753 HAS SOUS 27616 HAS SOUPS 27614 WITH SCORE 27673.755
AT ITER 1926 NEW BEST:: SOT 216327 SOS 59740 HAS SOPS 59738 HAS SOUS 27586 HAS SOUPS 27584 WITH SCORE 27643.74
AT ITER 1933 NEW BEST:: SOT 216267 SOS 59664 HAS SOPS 59662 HAS SOUS 27546 HAS SOUPS 27544 WITH SCORE 27603.664
AT ITER 1938 NEW BEST:: SOT 216260 SOS 59657 HAS SOPS 59655 HAS SOUS 27538 HAS SOUPS 27536 WITH SCORE 27595.657
AT ITER 1958 NEW BEST:: SOT 216153 SOS 59550 HAS SOPS 59548 HAS SOUS 27412 HAS SOUPS 27410 WITH SCORE 27469.55
AT ITER 2010 NEW BEST:: SOT 216135 SOS 59532 HAS SOPS 59530 HAS SOUS 27394 HAS SOUPS 27392 WITH SCORE 27451.532
AT ITER 2039 NEW BEST:: SOT 216126 SOS 59523 HAS SOPS 59521 HAS SOUS 27376 HAS SOUPS 27374 WITH SCORE 27433.523
AT ITER 2059 NEW BEST:: SOT 216066 SOS 59463 HAS SOPS 59461 HAS SOUS 27292 HAS SOUPS 27290 WITH SCORE 27349.463
AT ITER 2061 NEW BEST:: SOT 216043 SOS 59571 HAS SOPS 59569 HAS SOUS 27285 HAS SOUPS 27283 WITH SCORE 27342.571
AT ITER 2064 NEW BEST:: SOT 216043 SOS 59577 HAS SOPS 59575 HAS SOUS 27241 HAS SOUPS 27239 WITH SCORE 27298.577
AT ITER 2080 NEW BEST:: SOT 216013 SOS 59547 HAS SOPS 59545 HAS SOUS 27237 HAS SOUPS 27235 WITH SCORE 27294.547
AT ITER 2103 NEW BEST:: SOT 216013 SOS 59547 HAS SOPS 59545 HAS SOUS 27225 HAS SOUPS 27223 WITH SCORE 27282.547
AT ITER 2108 NEW BEST:: SOT 216020 SOS 59554 HAS SOPS 59552 HAS SOUS 27199 HAS SOUPS 27197 WITH SCORE 27256.554
AT ITER 2131 NEW BEST:: SOT 215942 SOS 59488 HAS SOPS 59486 HAS SOUS 27190 HAS SOUPS 27188 WITH SCORE 27247.488
AT ITER 2132 NEW BEST:: SOT 215931 SOS 59477 HAS SOPS 59475 HAS SOUS 27168 HAS SOUPS 27166 WITH SCORE 27225.477
AT ITER 2174 NEW BEST:: SOT 215909 SOS 59455 HAS SOPS 59453 HAS SOUS 27135 HAS SOUPS 27133 WITH SCORE 27192.455
AT ITER 2177 NEW BEST:: SOT 215877 SOS 59423 HAS SOPS 59421 HAS SOUS 27103 HAS SOUPS 27101 WITH SCORE 27160.423
AT ITER 2185 NEW BEST:: SOT 215859 SOS 59419 HAS SOPS 59417 HAS SOUS 27095 HAS SOUPS 27093 WITH SCORE 27152.419
AT ITER 2191 NEW BEST:: SOT 215856 SOS 59416 HAS SOPS 59414 HAS SOUS 27091 HAS SOUPS 27089 WITH SCORE 27148.416
AT ITER 2194 NEW BEST:: SOT 215850 SOS 59404 HAS SOPS 59402 HAS SOUS 27079 HAS SOUPS 27077 WITH SCORE 27136.404
AT ITER 2199 NEW BEST:: SOT 215850 SOS 60236 HAS SOPS 60234 HAS SOUS 27075 HAS SOUPS 27073 WITH SCORE 27133.236
AT ITER 2208 NEW BEST:: SOT 215846 SOS 60232 HAS SOPS 60230 HAS SOUS 27059 HAS SOUPS 27057 WITH SCORE 27117.232
AT ITER 2243 NEW BEST:: SOT 215844 SOS 60230 HAS SOPS 60228 HAS SOUS 27055 HAS SOUPS 27053 WITH SCORE 27113.23
AT ITER 2246 NEW BEST:: SOT 215812 SOS 60198 HAS SOPS 60196 HAS SOUS 26982 HAS SOUPS 26980 WITH SCORE 27040.198
AT ITER 2247 NEW BEST:: SOT 215804 SOS 60190 HAS SOPS 60188 HAS SOUS 26956 HAS SOUPS 26954 WITH SCORE 27014.19
AT ITER 2267 NEW BEST:: SOT 215463 SOS 59907 HAS SOPS 59905 HAS SOUS 26673 HAS SOUPS 26671 WITH SCORE 26730.907
AT ITER 2274 NEW BEST:: SOT 215448 SOS 59892 HAS SOPS 59890 HAS SOUS 26665 HAS SOUPS 26663 WITH SCORE 26722.892
AT ITER 2315 NEW BEST:: SOT 215436 SOS 59880 HAS SOPS 59878 HAS SOUS 26665 HAS SOUPS 26663 WITH SCORE 26722.88
AT ITER 2363 NEW BEST:: SOT 215420 SOS 59864 HAS SOPS 59862 HAS SOUS 26633 HAS SOUPS 26631 WITH SCORE 26690.864
AT ITER 2381 NEW BEST:: SOT 215437 SOS 59849 HAS SOPS 59847 HAS SOUS 26614 HAS SOUPS 26612 WITH SCORE 26671.849
AT ITER 2398 NEW BEST:: SOT 215427 SOS 59839 HAS SOPS 59837 HAS SOUS 26594 HAS SOUPS 26592 WITH SCORE 26651.839
AT ITER 2406 NEW BEST:: SOT 215398 SOS 59810 HAS SOPS 59808 HAS SOUS 26565 HAS SOUPS 26563 WITH SCORE 26622.81
AT ITER 2425 NEW BEST:: SOT 215422 SOS 59834 HAS SOPS 59832 HAS SOUS 26553 HAS SOUPS 26551 WITH SCORE 26610.834
AT ITER 2449 NEW BEST:: SOT 215386 SOS 59798 HAS SOPS 59796 HAS SOUS 26529 HAS SOUPS 26527 WITH SCORE 26586.798
AT ITER 2455 NEW BEST:: SOT 215378 SOS 59790 HAS SOPS 59788 HAS SOUS 26523 HAS SOUPS 26521 WITH SCORE 26580.79
AT ITER 2462 NEW BEST:: SOT 215368 SOS 59787 HAS SOPS 59785 HAS SOUS 26517 HAS SOUPS 26515 WITH SCORE 26574.787
AT ITER 2466 NEW BEST:: SOT 215391 SOS 59766 HAS SOPS 59764 HAS SOUS 26496 HAS SOUPS 26494 WITH SCORE 26553.766
AT ITER 2479 NEW BEST:: SOT 215381 SOS 59765 HAS SOPS 59763 HAS SOUS 26486 HAS SOUPS 26484 WITH SCORE 26543.765
AT ITER 2487 NEW BEST:: SOT 215354 SOS 59738 HAS SOPS 59736 HAS SOUS 26432 HAS SOUPS 26430 WITH SCORE 26489.738
AT ITER 2509 NEW BEST:: SOT 215347 SOS 59731 HAS SOPS 59729 HAS SOUS 26427 HAS SOUPS 26425 WITH SCORE 26484.731
AT ITER 2514 NEW BEST:: SOT 215327 SOS 59711 HAS SOPS 59709 HAS SOUS 26407 HAS SOUPS 26405 WITH SCORE 26464.711
AT ITER 2521 NEW BEST:: SOT 215242 SOS 59682 HAS SOPS 59680 HAS SOUS 26349 HAS SOUPS 26347 WITH SCORE 26406.682
AT ITER 2525 NEW BEST:: SOT 215196 SOS 59629 HAS SOPS 59629 HAS SOUS 26296 HAS SOUPS 26296 WITH SCORE 26355.629
AT ITER 2528 NEW BEST:: SOT 215162 SOS 59595 HAS SOPS 59595 HAS SOUS 26250 HAS SOUPS 26250 WITH SCORE 26309.595
AT ITER 2535 NEW BEST:: SOT 212886 SOS 57959 HAS SOPS 57959 HAS SOUS 26208 HAS SOUPS 26208 WITH SCORE 26265.959
AT ITER 2536 NEW BEST:: SOT 212879 SOS 57952 HAS SOPS 57952 HAS SOUS 26206 HAS SOUPS 26206 WITH SCORE 26263.952
AT ITER 2578 NEW BEST:: SOT 212867 SOS 57940 HAS SOPS 57940 HAS SOUS 26182 HAS SOUPS 26182 WITH SCORE 26239.94
AT ITER 2589 NEW BEST:: SOT 212830 SOS 57943 HAS SOPS 57943 HAS SOUS 26154 HAS SOUPS 26154 WITH SCORE 26211.943
AT ITER 2611 NEW BEST:: SOT 212830 SOS 57930 HAS SOPS 57930 HAS SOUS 26128 HAS SOUPS 26128 WITH SCORE 26185.93
AT ITER 2635 NEW BEST:: SOT 212828 SOS 57928 HAS SOPS 57928 HAS SOUS 26115 HAS SOUPS 26115 WITH SCORE 26172.928
AT ITER 2640 NEW BEST:: SOT 212828 SOS 57928 HAS SOPS 57928 HAS SOUS 26114 HAS SOUPS 26114 WITH SCORE 26171.928
AT ITER 2658 NEW BEST:: SOT 212806 SOS 57906 HAS SOPS 57906 HAS SOUS 26081 HAS SOUPS 26081 WITH SCORE 26138.906
AT ITER 2669 NEW BEST:: SOT 212767 SOS 57867 HAS SOPS 57867 HAS SOUS 26071 HAS SOUPS 26071 WITH SCORE 26128.867
AT ITER 2699 NEW BEST:: SOT 212790 SOS 57842 HAS SOPS 57842 HAS SOUS 26019 HAS SOUPS 26019 WITH SCORE 26076.842
AT ITER 2710 NEW BEST:: SOT 212805 SOS 57886 HAS SOPS 57886 HAS SOUS 25991 HAS SOUPS 25991 WITH SCORE 26048.886
AT ITER 2727 NEW BEST:: SOT 212817 SOS 57898 HAS SOPS 57898 HAS SOUS 25953 HAS SOUPS 25953 WITH SCORE 26010.898
AT ITER 2738 NEW BEST:: SOT 212784 SOS 57865 HAS SOPS 57865 HAS SOUS 25919 HAS SOUPS 25919 WITH SCORE 25976.865
AT ITER 2745 NEW BEST:: SOT 212720 SOS 57791 HAS SOPS 57791 HAS SOUS 25845 HAS SOUPS 25845 WITH SCORE 25902.791
AT ITER 2760 NEW BEST:: SOT 212686 SOS 57757 HAS SOPS 57757 HAS SOUS 25796 HAS SOUPS 25796 WITH SCORE 25853.757
AT ITER 2762 NEW BEST:: SOT 212679 SOS 57750 HAS SOPS 57750 HAS SOUS 25786 HAS SOUPS 25786 WITH SCORE 25843.75
AT ITER 2780 NEW BEST:: SOT 212668 SOS 57739 HAS SOPS 57739 HAS SOUS 25775 HAS SOUPS 25775 WITH SCORE 25832.739
AT ITER 2792 NEW BEST:: SOT 212671 SOS 57737 HAS SOPS 57737 HAS SOUS 25771 HAS SOUPS 25771 WITH SCORE 25828.737
AT ITER 2858 NEW BEST:: SOT 212717 SOS 57784 HAS SOPS 57784 HAS SOUS 25763 HAS SOUPS 25763 WITH SCORE 25820.784
AT ITER 2885 NEW BEST:: SOT 212713 SOS 57780 HAS SOPS 57780 HAS SOUS 25755 HAS SOUPS 25755 WITH SCORE 25812.78
AT ITER 2897 NEW BEST:: SOT 212581 SOS 57615 HAS SOPS 57615 HAS SOUS 25515 HAS SOUPS 25515 WITH SCORE 25572.615
AT ITER 2909 NEW BEST:: SOT 212577 SOS 57611 HAS SOPS 57611 HAS SOUS 25509 HAS SOUPS 25509 WITH SCORE 25566.611
AT ITER 2910 NEW BEST:: SOT 212564 SOS 57598 HAS SOPS 57598 HAS SOUS 25483 HAS SOUPS 25483 WITH SCORE 25540.598
AT ITER 2925 NEW BEST:: SOT 212546 SOS 57580 HAS SOPS 57580 HAS SOUS 25467 HAS SOUPS 25467 WITH SCORE 25524.58
AT ITER 2931 NEW BEST:: SOT 212533 SOS 57567 HAS SOPS 57567 HAS SOUS 25458 HAS SOUPS 25458 WITH SCORE 25515.567
AT ITER 2932 NEW BEST:: SOT 212523 SOS 57557 HAS SOPS 57557 HAS SOUS 25438 HAS SOUPS 25438 WITH SCORE 25495.557
AT ITER 2960 NEW BEST:: SOT 212511 SOS 57545 HAS SOPS 57545 HAS SOUS 25414 HAS SOUPS 25414 WITH SCORE 25471.545
AT ITER 3047 NEW BEST:: SOT 212462 SOS 57467 HAS SOPS 57467 HAS SOUS 25374 HAS SOUPS 25374 WITH SCORE 25431.467
AT ITER 3055 NEW BEST:: SOT 212424 SOS 57429 HAS SOPS 57429 HAS SOUS 25336 HAS SOUPS 25336 WITH SCORE 25393.429
AT ITER 3057 NEW BEST:: SOT 212395 SOS 57400 HAS SOPS 57400 HAS SOUS 25307 HAS SOUPS 25307 WITH SCORE 25364.4
AT ITER 3062 NEW BEST:: SOT 212395 SOS 57401 HAS SOPS 57401 HAS SOUS 25302 HAS SOUPS 25302 WITH SCORE 25359.401
AT ITER 3075 NEW BEST:: SOT 212395 SOS 57391 HAS SOPS 57391 HAS SOUS 25282 HAS SOUPS 25282 WITH SCORE 25339.391
AT ITER 3084 NEW BEST:: SOT 212392 SOS 57384 HAS SOPS 57384 HAS SOUS 25268 HAS SOUPS 25268 WITH SCORE 25325.384
AT ITER 3113 NEW BEST:: SOT 212384 SOS 57372 HAS SOPS 57372 HAS SOUS 25252 HAS SOUPS 25252 WITH SCORE 25309.372
AT ITER 3116 NEW BEST:: SOT 212293 SOS 57318 HAS SOPS 57318 HAS SOUS 25144 HAS SOUPS 25144 WITH SCORE 25201.318
AT ITER 3118 NEW BEST:: SOT 212317 SOS 57342 HAS SOPS 57342 HAS SOUS 25104 HAS SOUPS 25104 WITH SCORE 25161.342
AT ITER 3141 NEW BEST:: SOT 212381 SOS 57406 HAS SOPS 57406 HAS SOUS 25019 HAS SOUPS 25019 WITH SCORE 25076.406
AT ITER 3154 NEW BEST:: SOT 212344 SOS 57369 HAS SOPS 57369 HAS SOUS 24945 HAS SOUPS 24945 WITH SCORE 25002.369
AT ITER 3155 NEW BEST:: SOT 212344 SOS 57356 HAS SOPS 57356 HAS SOUS 24945 HAS SOUPS 24945 WITH SCORE 25002.356
AT ITER 3167 NEW BEST:: SOT 212339 SOS 57351 HAS SOPS 57351 HAS SOUS 24940 HAS SOUPS 24940 WITH SCORE 24997.351
AT ITER 3175 NEW BEST:: SOT 212294 SOS 57338 HAS SOPS 57338 HAS SOUS 24939 HAS SOUPS 24939 WITH SCORE 24996.338
AT ITER 3179 NEW BEST:: SOT 212292 SOS 57333 HAS SOPS 57333 HAS SOUS 24937 HAS SOUPS 24937 WITH SCORE 24994.333
AT ITER 3208 NEW BEST:: SOT 212306 SOS 57328 HAS SOPS 57328 HAS SOUS 24927 HAS SOUPS 24927 WITH SCORE 24984.328
AT ITER 3252 NEW BEST:: SOT 212299 SOS 57314 HAS SOPS 57314 HAS SOUS 24913 HAS SOUPS 24913 WITH SCORE 24970.314
AT ITER 3275 NEW BEST:: SOT 212203 SOS 57218 HAS SOPS 57218 HAS SOUS 24796 HAS SOUPS 24796 WITH SCORE 24853.218
AT ITER 3291 NEW BEST:: SOT 212220 SOS 57517 HAS SOPS 57247 HAS SOUS 24834 HAS SOUPS 24780 WITH SCORE 24837.517
AT ITER 3329 NEW BEST:: SOT 212188 SOS 58063 HAS SOPS 57793 HAS SOUS 24812 HAS SOUPS 24758 WITH SCORE 24816.063
AT ITER 3330 NEW BEST:: SOT 212182 SOS 58057 HAS SOPS 57787 HAS SOUS 24806 HAS SOUPS 24752 WITH SCORE 24810.057
AT ITER 3373 NEW BEST:: SOT 212138 SOS 57972 HAS SOPS 57702 HAS SOUS 24781 HAS SOUPS 24727 WITH SCORE 24784.972
AT ITER 3391 NEW BEST:: SOT 212120 SOS 57954 HAS SOPS 57684 HAS SOUS 24773 HAS SOUPS 24719 WITH SCORE 24776.954
AT ITER 3431 NEW BEST:: SOT 212075 SOS 57909 HAS SOPS 57639 HAS SOUS 24728 HAS SOUPS 24674 WITH SCORE 24731.909
AT ITER 3432 NEW BEST:: SOT 212109 SOS 57943 HAS SOPS 57673 HAS SOUS 24708 HAS SOUPS 24654 WITH SCORE 24711.943
AT ITER 3438 NEW BEST:: SOT 212155 SOS 57989 HAS SOPS 57719 HAS SOUS 24662 HAS SOUPS 24608 WITH SCORE 24665.989
AT ITER 3445 NEW BEST:: SOT 212239 SOS 58073 HAS SOPS 57803 HAS SOUS 24583 HAS SOUPS 24529 WITH SCORE 24587.073
AT ITER 3486 NEW BEST:: SOT 212239 SOS 58073 HAS SOPS 57803 HAS SOUS 24555 HAS SOUPS 24501 WITH SCORE 24559.073
AT ITER 3496 NEW BEST:: SOT 212247 SOS 58081 HAS SOPS 57811 HAS SOUS 24541 HAS SOUPS 24487 WITH SCORE 24545.081
AT ITER 3555 NEW BEST:: SOT 212239 SOS 58141 HAS SOPS 57871 HAS SOUS 24525 HAS SOUPS 24471 WITH SCORE 24529.141
AT ITER 3579 NEW BEST:: SOT 212229 SOS 58131 HAS SOPS 57861 HAS SOUS 24488 HAS SOUPS 24434 WITH SCORE 24492.131
AT ITER 3580 NEW BEST:: SOT 212225 SOS 58127 HAS SOPS 57857 HAS SOUS 24486 HAS SOUPS 24432 WITH SCORE 24490.127
AT ITER 3586 NEW BEST:: SOT 212218 SOS 58120 HAS SOPS 57850 HAS SOUS 24472 HAS SOUPS 24418 WITH SCORE 24476.12
AT ITER 3608 NEW BEST:: SOT 212214 SOS 58116 HAS SOPS 57846 HAS SOUS 24464 HAS SOUPS 24410 WITH SCORE 24468.116
AT ITER 3628 NEW BEST:: SOT 212221 SOS 58123 HAS SOPS 57853 HAS SOUS 24457 HAS SOUPS 24403 WITH SCORE 24461.123
AT ITER 3641 NEW BEST:: SOT 212211 SOS 58113 HAS SOPS 57843 HAS SOUS 24432 HAS SOUPS 24378 WITH SCORE 24436.113
AT ITER 3656 NEW BEST:: SOT 212101 SOS 58003 HAS SOPS 57733 HAS SOUS 24197 HAS SOUPS 24143 WITH SCORE 24201.003
AT ITER 3682 NEW BEST:: SOT 212085 SOS 57987 HAS SOPS 57717 HAS SOUS 24186 HAS SOUPS 24132 WITH SCORE 24189.987
AT ITER 3740 NEW BEST:: SOT 211801 SOS 57692 HAS SOPS 57424 HAS SOUS 24145 HAS SOUPS 24091 WITH SCORE 24148.692
AT ITER 3746 NEW BEST:: SOT 211783 SOS 57674 HAS SOPS 57406 HAS SOUS 24127 HAS SOUPS 24073 WITH SCORE 24130.674
AT ITER 3749 NEW BEST:: SOT 211782 SOS 57675 HAS SOPS 57407 HAS SOUS 24126 HAS SOUPS 24072 WITH SCORE 24129.675
AT ITER 3767 NEW BEST:: SOT 211782 SOS 57896 HAS SOPS 57523 HAS SOUS 24145 HAS SOUPS 24070 WITH SCORE 24127.896
AT ITER 3785 NEW BEST:: SOT 211791 SOS 57875 HAS SOPS 57502 HAS SOUS 24124 HAS SOUPS 24049 WITH SCORE 24106.875
AT ITER 3821 NEW BEST:: SOT 211769 SOS 57853 HAS SOPS 57480 HAS SOUS 24102 HAS SOUPS 24027 WITH SCORE 24084.853
AT ITER 3833 NEW BEST:: SOT 211766 SOS 57850 HAS SOPS 57477 HAS SOUS 24099 HAS SOUPS 24024 WITH SCORE 24081.85
AT ITER 3889 NEW BEST:: SOT 211763 SOS 57847 HAS SOPS 57474 HAS SOUS 24096 HAS SOUPS 24021 WITH SCORE 24078.847
AT ITER 3920 NEW BEST:: SOT 211763 SOS 57842 HAS SOPS 57469 HAS SOUS 24096 HAS SOUPS 24021 WITH SCORE 24078.842
AT ITER 3961 NEW BEST:: SOT 211741 SOS 57793 HAS SOPS 57420 HAS SOUS 24048 HAS SOUPS 23973 WITH SCORE 24030.793
AT ITER 3979 NEW BEST:: SOT 211718 SOS 57770 HAS SOPS 57397 HAS SOUS 24019 HAS SOUPS 23944 WITH SCORE 24001.77
AT ITER 3990 NEW BEST:: SOT 211718 SOS 57770 HAS SOPS 57397 HAS SOUS 23989 HAS SOUPS 23914 WITH SCORE 23971.77
AT ITER 4012 NEW BEST:: SOT 211718 SOS 57770 HAS SOPS 57397 HAS SOUS 23981 HAS SOUPS 23906 WITH SCORE 23963.77
AT ITER 4019 NEW BEST:: SOT 211712 SOS 57775 HAS SOPS 57402 HAS SOUS 23969 HAS SOUPS 23894 WITH SCORE 23951.775
AT ITER 4027 NEW BEST:: SOT 211729 SOS 57792 HAS SOPS 57419 HAS SOUS 23953 HAS SOUPS 23878 WITH SCORE 23935.792
AT ITER 4049 NEW BEST:: SOT 211433 SOS 57496 HAS SOPS 57123 HAS SOUS 23888 HAS SOUPS 23813 WITH SCORE 23870.496
AT ITER 4056 NEW BEST:: SOT 211421 SOS 57484 HAS SOPS 57124 HAS SOUS 23882 HAS SOUPS 23810 WITH SCORE 23867.484
AT ITER 4072 NEW BEST:: SOT 211412 SOS 57497 HAS SOPS 57137 HAS SOUS 23867 HAS SOUPS 23795 WITH SCORE 23852.497
AT ITER 4087 NEW BEST:: SOT 210461 SOS 56546 HAS SOPS 56187 HAS SOUS 23805 HAS SOUPS 23733 WITH SCORE 23789.546
AT ITER 4102 NEW BEST:: SOT 210463 SOS 56499 HAS SOPS 56140 HAS SOUS 23776 HAS SOUPS 23704 WITH SCORE 23760.499
AT ITER 4103 NEW BEST:: SOT 210463 SOS 56491 HAS SOPS 56132 HAS SOUS 23768 HAS SOUPS 23696 WITH SCORE 23752.491
AT ITER 4135 NEW BEST:: SOT 210435 SOS 56463 HAS SOPS 56104 HAS SOUS 23740 HAS SOUPS 23668 WITH SCORE 23724.463
AT ITER 4163 NEW BEST:: SOT 210431 SOS 56459 HAS SOPS 56100 HAS SOUS 23720 HAS SOUPS 23648 WITH SCORE 23704.459
AT ITER 4169 NEW BEST:: SOT 210409 SOS 56441 HAS SOPS 56082 HAS SOUS 23666 HAS SOUPS 23594 WITH SCORE 23650.441
AT ITER 4187 NEW BEST:: SOT 210388 SOS 56420 HAS SOPS 56061 HAS SOUS 23631 HAS SOUPS 23559 WITH SCORE 23615.42
AT ITER 4205 NEW BEST:: SOT 210386 SOS 56405 HAS SOPS 56046 HAS SOUS 23627 HAS SOUPS 23555 WITH SCORE 23611.405
AT ITER 4207 NEW BEST:: SOT 210424 SOS 56443 HAS SOPS 56084 HAS SOUS 23625 HAS SOUPS 23553 WITH SCORE 23609.443
AT ITER 4247 NEW BEST:: SOT 210416 SOS 56435 HAS SOPS 56076 HAS SOUS 23609 HAS SOUPS 23537 WITH SCORE 23593.435
AT ITER 4263 NEW BEST:: SOT 210414 SOS 56417 HAS SOPS 56058 HAS SOUS 23604 HAS SOUPS 23532 WITH SCORE 23588.417
AT ITER 4272 NEW BEST:: SOT 210380 SOS 56383 HAS SOPS 56024 HAS SOUS 23538 HAS SOUPS 23466 WITH SCORE 23522.383
AT ITER 4286 NEW BEST:: SOT 210350 SOS 56353 HAS SOPS 55994 HAS SOUS 23486 HAS SOUPS 23414 WITH SCORE 23470.353
AT ITER 4306 NEW BEST:: SOT 210294 SOS 56297 HAS SOPS 55938 HAS SOUS 23384 HAS SOUPS 23312 WITH SCORE 23368.297
AT ITER 4314 NEW BEST:: SOT 210234 SOS 56237 HAS SOPS 55878 HAS SOUS 23275 HAS SOUPS 23203 WITH SCORE 23259.237
AT ITER 4327 NEW BEST:: SOT 210216 SOS 56219 HAS SOPS 55860 HAS SOUS 23257 HAS SOUPS 23185 WITH SCORE 23241.219
AT ITER 4328 NEW BEST:: SOT 210218 SOS 56221 HAS SOPS 55862 HAS SOUS 23251 HAS SOUPS 23179 WITH SCORE 23235.221
AT ITER 4329 NEW BEST:: SOT 210214 SOS 56217 HAS SOPS 55858 HAS SOUS 23247 HAS SOUPS 23175 WITH SCORE 23231.217
AT ITER 4334 NEW BEST:: SOT 210214 SOS 56217 HAS SOPS 55858 HAS SOUS 23235 HAS SOUPS 23163 WITH SCORE 23219.217
AT ITER 4361 NEW BEST:: SOT 210214 SOS 56217 HAS SOPS 55858 HAS SOUS 23233 HAS SOUPS 23161 WITH SCORE 23217.217
AT ITER 4382 NEW BEST:: SOT 210229 SOS 56201 HAS SOPS 55842 HAS SOUS 23215 HAS SOUPS 23143 WITH SCORE 23199.201
AT ITER 4410 NEW BEST:: SOT 210195 SOS 56167 HAS SOPS 55808 HAS SOUS 23181 HAS SOUPS 23109 WITH SCORE 23165.167
AT ITER 4433 NEW BEST:: SOT 210193 SOS 56165 HAS SOPS 55806 HAS SOUS 23177 HAS SOUPS 23105 WITH SCORE 23161.165
AT ITER 4531 NEW BEST:: SOT 210170 SOS 56142 HAS SOPS 55783 HAS SOUS 23148 HAS SOUPS 23076 WITH SCORE 23132.142
AT ITER 4559 NEW BEST:: SOT 210170 SOS 56142 HAS SOPS 55783 HAS SOUS 23145 HAS SOUPS 23073 WITH SCORE 23129.142
AT ITER 4563 NEW BEST:: SOT 210153 SOS 56125 HAS SOPS 55766 HAS SOUS 23125 HAS SOUPS 23053 WITH SCORE 23109.125
AT ITER 4638 NEW BEST:: SOT 210152 SOS 56126 HAS SOPS 55767 HAS SOUS 23123 HAS SOUPS 23051 WITH SCORE 23107.126
AT ITER 4663 NEW BEST:: SOT 210195 SOS 56169 HAS SOPS 55810 HAS SOUS 23114 HAS SOUPS 23042 WITH SCORE 23098.169
AT ITER 4712 NEW BEST:: SOT 210175 SOS 56149 HAS SOPS 55790 HAS SOUS 23074 HAS SOUPS 23002 WITH SCORE 23058.149
AT ITER 4723 NEW BEST:: SOT 210207 SOS 56181 HAS SOPS 55822 HAS SOUS 23009 HAS SOUPS 22937 WITH SCORE 22993.181
AT ITER 4730 NEW BEST:: SOT 210203 SOS 56177 HAS SOPS 55818 HAS SOUS 22981 HAS SOUPS 22909 WITH SCORE 22965.177
AT ITER 4740 NEW BEST:: SOT 210180 SOS 56154 HAS SOPS 55795 HAS SOUS 22977 HAS SOUPS 22905 WITH SCORE 22961.154
AT ITER 4779 NEW BEST:: SOT 210162 SOS 56218 HAS SOPS 55859 HAS SOUS 22941 HAS SOUPS 22869 WITH SCORE 22925.218
AT ITER 4789 NEW BEST:: SOT 210162 SOS 56218 HAS SOPS 55859 HAS SOUS 22792 HAS SOUPS 22720 WITH SCORE 22776.218
AT ITER 4836 NEW BEST:: SOT 210160 SOS 56216 HAS SOPS 55857 HAS SOUS 22788 HAS SOUPS 22716 WITH SCORE 22772.216
AT ITER 4850 NEW BEST:: SOT 210154 SOS 56210 HAS SOPS 55851 HAS SOUS 22770 HAS SOUPS 22698 WITH SCORE 22754.21
AT ITER 4881 NEW BEST:: SOT 210123 SOS 56179 HAS SOPS 55820 HAS SOUS 22735 HAS SOUPS 22663 WITH SCORE 22719.179
AT ITER 4890 NEW BEST:: SOT 210106 SOS 56162 HAS SOPS 55803 HAS SOUS 22701 HAS SOUPS 22629 WITH SCORE 22685.162
AT ITER 4915 NEW BEST:: SOT 210120 SOS 56138 HAS SOPS 55779 HAS SOUS 22700 HAS SOUPS 22628 WITH SCORE 22684.138
AT ITER 4933 NEW BEST:: SOT 210119 SOS 56137 HAS SOPS 55778 HAS SOUS 22695 HAS SOUPS 22623 WITH SCORE 22679.137
AT ITER 4936 NEW BEST:: SOT 210121 SOS 56139 HAS SOPS 55780 HAS SOUS 22685 HAS SOUPS 22613 WITH SCORE 22669.139
AT ITER 4937 NEW BEST:: SOT 210124 SOS 56146 HAS SOPS 55787 HAS SOUS 22660 HAS SOUPS 22588 WITH SCORE 22644.146
AT ITER 4996 NEW BEST:: SOT 210089 SOS 56111 HAS SOPS 55752 HAS SOUS 22618 HAS SOUPS 22546 WITH SCORE 22602.111
AT ITER 5025 NEW BEST:: SOT 210088 SOS 56107 HAS SOPS 55748 HAS SOUS 22610 HAS SOUPS 22538 WITH SCORE 22594.107
AT ITER 5038 NEW BEST:: SOT 210077 SOS 56096 HAS SOPS 55737 HAS SOUS 22588 HAS SOUPS 22516 WITH SCORE 22572.096
AT ITER 5056 NEW BEST:: SOT 210007 SOS 56052 HAS SOPS 55693 HAS SOUS 22500 HAS SOUPS 22428 WITH SCORE 22484.052
AT ITER 5070 NEW BEST:: SOT 210007 SOS 56052 HAS SOPS 55693 HAS SOUS 22488 HAS SOUPS 22416 WITH SCORE 22472.052
AT ITER 5078 NEW BEST:: SOT 210006 SOS 56051 HAS SOPS 55692 HAS SOUS 22487 HAS SOUPS 22415 WITH SCORE 22471.051
AT ITER 5135 NEW BEST:: SOT 210004 SOS 56049 HAS SOPS 55690 HAS SOUS 22485 HAS SOUPS 22413 WITH SCORE 22469.049
AT ITER 5149 NEW BEST:: SOT 209982 SOS 56027 HAS SOPS 55668 HAS SOUS 22436 HAS SOUPS 22364 WITH SCORE 22420.027
AT ITER 5156 NEW BEST:: SOT 209979 SOS 56024 HAS SOPS 55665 HAS SOUS 22433 HAS SOUPS 22361 WITH SCORE 22417.024
AT ITER 5180 NEW BEST:: SOT 209971 SOS 56034 HAS SOPS 55675 HAS SOUS 22417 HAS SOUPS 22345 WITH SCORE 22401.034
AT ITER 5319 NEW BEST:: SOT 209967 SOS 56030 HAS SOPS 55671 HAS SOUS 22413 HAS SOUPS 22341 WITH SCORE 22397.03
AT ITER 5329 NEW BEST:: SOT 209954 SOS 56037 HAS SOPS 55678 HAS SOUS 22387 HAS SOUPS 22315 WITH SCORE 22371.037
AT ITER 5508 NEW BEST:: SOT 209953 SOS 56036 HAS SOPS 55677 HAS SOUS 22384 HAS SOUPS 22312 WITH SCORE 22368.036
AT ITER 5519 NEW BEST:: SOT 209953 SOS 56036 HAS SOPS 55677 HAS SOUS 22344 HAS SOUPS 22272 WITH SCORE 22328.036
AT ITER 5522 NEW BEST:: SOT 209943 SOS 56031 HAS SOPS 55672 HAS SOUS 22334 HAS SOUPS 22262 WITH SCORE 22318.031
AT ITER 5647 NEW BEST:: SOT 209935 SOS 56023 HAS SOPS 55664 HAS SOUS 22322 HAS SOUPS 22250 WITH SCORE 22306.023
AT ITER 5688 NEW BEST:: SOT 209923 SOS 56011 HAS SOPS 55652 HAS SOUS 22310 HAS SOUPS 22238 WITH SCORE 22294.011
AT ITER 5691 NEW BEST:: SOT 209918 SOS 56006 HAS SOPS 55647 HAS SOUS 22304 HAS SOUPS 22232 WITH SCORE 22288.006
AT ITER 5717 NEW BEST:: SOT 209912 SOS 55994 HAS SOPS 55635 HAS SOUS 22304 HAS SOUPS 22232 WITH SCORE 22287.994
AT ITER 5722 NEW BEST:: SOT 209888 SOS 55957 HAS SOPS 55598 HAS SOUS 22256 HAS SOUPS 22184 WITH SCORE 22239.957
AT ITER 5759 NEW BEST:: SOT 209894 SOS 55963 HAS SOPS 55604 HAS SOUS 22182 HAS SOUPS 22110 WITH SCORE 22165.963
AT ITER 5797 NEW BEST:: SOT 209889 SOS 55958 HAS SOPS 55599 HAS SOUS 22177 HAS SOUPS 22105 WITH SCORE 22160.958
AT ITER 5810 NEW BEST:: SOT 209886 SOS 55955 HAS SOPS 55596 HAS SOUS 22174 HAS SOUPS 22102 WITH SCORE 22157.955
AT ITER 5827 NEW BEST:: SOT 209859 SOS 55928 HAS SOPS 55569 HAS SOUS 22099 HAS SOUPS 22027 WITH SCORE 22082.928
AT ITER 5841 NEW BEST:: SOT 209859 SOS 55928 HAS SOPS 55569 HAS SOUS 22078 HAS SOUPS 22006 WITH SCORE 22061.928
AT ITER 5849 NEW BEST:: SOT 209837 SOS 55988 HAS SOPS 55629 HAS SOUS 22068 HAS SOUPS 21996 WITH SCORE 22051.988
AT ITER 5865 NEW BEST:: SOT 209826 SOS 55977 HAS SOPS 55618 HAS SOUS 22046 HAS SOUPS 21974 WITH SCORE 22029.977
AT ITER 5899 NEW BEST:: SOT 209800 SOS 55977 HAS SOPS 55618 HAS SOUS 21994 HAS SOUPS 21922 WITH SCORE 21977.977
AT ITER 5920 NEW BEST:: SOT 209796 SOS 55973 HAS SOPS 55614 HAS SOUS 21986 HAS SOUPS 21914 WITH SCORE 21969.973
AT ITER 5947 NEW BEST:: SOT 209795 SOS 55957 HAS SOPS 55598 HAS SOUS 21974 HAS SOUPS 21902 WITH SCORE 21957.957
AT ITER 5959 NEW BEST:: SOT 209795 SOS 55957 HAS SOPS 55598 HAS SOUS 21970 HAS SOUPS 21898 WITH SCORE 21953.957
AT ITER 5980 NEW BEST:: SOT 209788 SOS 55950 HAS SOPS 55591 HAS SOUS 21963 HAS SOUPS 21891 WITH SCORE 21946.95
AT ITER 6040 NEW BEST:: SOT 209742 SOS 55904 HAS SOPS 55545 HAS SOUS 21871 HAS SOUPS 21799 WITH SCORE 21854.904
AT ITER 6090 NEW BEST:: SOT 209754 SOS 55874 HAS SOPS 55515 HAS SOUS 21869 HAS SOUPS 21797 WITH SCORE 21852.874
AT ITER 6122 NEW BEST:: SOT 209739 SOS 55827 HAS SOPS 55468 HAS SOUS 21838 HAS SOUPS 21766 WITH SCORE 21821.827
AT ITER 6163 NEW BEST:: SOT 209739 SOS 55827 HAS SOPS 55468 HAS SOUS 21835 HAS SOUPS 21763 WITH SCORE 21818.827
AT ITER 6191 NEW BEST:: SOT 209748 SOS 55836 HAS SOPS 55477 HAS SOUS 21795 HAS SOUPS 21723 WITH SCORE 21778.836
AT ITER 6205 NEW BEST:: SOT 209746 SOS 55834 HAS SOPS 55475 HAS SOUS 21793 HAS SOUPS 21721 WITH SCORE 21776.834
AT ITER 6207 NEW BEST:: SOT 209738 SOS 55847 HAS SOPS 55488 HAS SOUS 21777 HAS SOUPS 21705 WITH SCORE 21760.847
AT ITER 6212 NEW BEST:: SOT 209738 SOS 55832 HAS SOPS 55473 HAS SOUS 21777 HAS SOUPS 21705 WITH SCORE 21760.832
AT ITER 6253 NEW BEST:: SOT 209734 SOS 55828 HAS SOPS 55469 HAS SOUS 21771 HAS SOUPS 21699 WITH SCORE 21754.828
AT ITER 6303 NEW BEST:: SOT 209734 SOS 55790 HAS SOPS 55431 HAS SOUS 21771 HAS SOUPS 21699 WITH SCORE 21754.79
AT ITER 6321 NEW BEST:: SOT 209725 SOS 55781 HAS SOPS 55422 HAS SOUS 21755 HAS SOUPS 21683 WITH SCORE 21738.781
AT ITER 6344 NEW BEST:: SOT 209723 SOS 55779 HAS SOPS 55420 HAS SOUS 21753 HAS SOUPS 21681 WITH SCORE 21736.779
AT ITER 6348 NEW BEST:: SOT 209741 SOS 55797 HAS SOPS 55438 HAS SOUS 21750 HAS SOUPS 21678 WITH SCORE 21733.797
AT ITER 6358 NEW BEST:: SOT 209718 SOS 55795 HAS SOPS 55436 HAS SOUS 21746 HAS SOUPS 21674 WITH SCORE 21729.795
AT ITER 6360 NEW BEST:: SOT 209713 SOS 55790 HAS SOPS 55431 HAS SOUS 21741 HAS SOUPS 21669 WITH SCORE 21724.79
AT ITER 6364 NEW BEST:: SOT 209708 SOS 55785 HAS SOPS 55426 HAS SOUS 21731 HAS SOUPS 21659 WITH SCORE 21714.785
AT ITER 6395 NEW BEST:: SOT 209708 SOS 55785 HAS SOPS 55426 HAS SOUS 21729 HAS SOUPS 21657 WITH SCORE 21712.785
AT ITER 6397 NEW BEST:: SOT 209682 SOS 55786 HAS SOPS 55427 HAS SOUS 21683 HAS SOUPS 21611 WITH SCORE 21666.786
AT ITER 6403 NEW BEST:: SOT 210162 SOS 56140 HAS SOPS 55781 HAS SOUS 21659 HAS SOUPS 21587 WITH SCORE 21643.14
AT ITER 6445 NEW BEST:: SOT 210162 SOS 56134 HAS SOPS 55775 HAS SOUS 21659 HAS SOUPS 21587 WITH SCORE 21643.134
AT ITER 6529 NEW BEST:: SOT 210149 SOS 56134 HAS SOPS 55775 HAS SOUS 21633 HAS SOUPS 21561 WITH SCORE 21617.134
AT ITER 6551 NEW BEST:: SOT 210062 SOS 56047 HAS SOPS 55688 HAS SOUS 21546 HAS SOUPS 21474 WITH SCORE 21530.047
AT ITER 6553 NEW BEST:: SOT 210065 SOS 56036 HAS SOPS 55677 HAS SOUS 21510 HAS SOUPS 21438 WITH SCORE 21494.036
AT ITER 6587 NEW BEST:: SOT 210063 SOS 56034 HAS SOPS 55675 HAS SOUS 21506 HAS SOUPS 21434 WITH SCORE 21490.034
AT ITER 6601 NEW BEST:: SOT 210057 SOS 56028 HAS SOPS 55669 HAS SOUS 21485 HAS SOUPS 21413 WITH SCORE 21469.028
AT ITER 6643 NEW BEST:: SOT 210043 SOS 56014 HAS SOPS 55655 HAS SOUS 21471 HAS SOUPS 21399 WITH SCORE 21455.014
AT ITER 6696 NEW BEST:: SOT 210043 SOS 56014 HAS SOPS 55655 HAS SOUS 21461 HAS SOUPS 21389 WITH SCORE 21445.014
AT ITER 6722 NEW BEST:: SOT 210031 SOS 56010 HAS SOPS 55651 HAS SOUS 21461 HAS SOUPS 21389 WITH SCORE 21445.01
AT ITER 6748 NEW BEST:: SOT 210030 SOS 56007 HAS SOPS 55648 HAS SOUS 21455 HAS SOUPS 21383 WITH SCORE 21439.007
AT ITER 6777 NEW BEST:: SOT 209989 SOS 55981 HAS SOPS 55622 HAS SOUS 21403 HAS SOUPS 21331 WITH SCORE 21386.981
AT ITER 6836 NEW BEST:: SOT 209975 SOS 55984 HAS SOPS 55625 HAS SOUS 21368 HAS SOUPS 21296 WITH SCORE 21351.984
AT ITER 6883 NEW BEST:: SOT 209961 SOS 55970 HAS SOPS 55611 HAS SOUS 21336 HAS SOUPS 21264 WITH SCORE 21319.97
AT ITER 6891 NEW BEST:: SOT 209925 SOS 55934 HAS SOPS 55575 HAS SOUS 21304 HAS SOUPS 21232 WITH SCORE 21287.934
AT ITER 6940 NEW BEST:: SOT 209930 SOS 55924 HAS SOPS 55565 HAS SOUS 21294 HAS SOUPS 21222 WITH SCORE 21277.924
AT ITER 6990 NEW BEST:: SOT 209926 SOS 55920 HAS SOPS 55561 HAS SOUS 21290 HAS SOUPS 21218 WITH SCORE 21273.92
AT ITER 7002 NEW BEST:: SOT 209911 SOS 55905 HAS SOPS 55546 HAS SOUS 21245 HAS SOUPS 21173 WITH SCORE 21228.905
AT ITER 7005 NEW BEST:: SOT 209910 SOS 55904 HAS SOPS 55545 HAS SOUS 21243 HAS SOUPS 21171 WITH SCORE 21226.904
AT ITER 7049 NEW BEST:: SOT 209887 SOS 55881 HAS SOPS 55522 HAS SOUS 21220 HAS SOUPS 21148 WITH SCORE 21203.881
AT ITER 7055 NEW BEST:: SOT 209870 SOS 55772 HAS SOPS 55413 HAS SOUS 21173 HAS SOUPS 21101 WITH SCORE 21156.772
AT ITER 7077 NEW BEST:: SOT 209873 SOS 55440 HAS SOPS 55081 HAS SOUS 21171 HAS SOUPS 21099 WITH SCORE 21154.44
AT ITER 7095 NEW BEST:: SOT 209871 SOS 55436 HAS SOPS 55077 HAS SOUS 21169 HAS SOUPS 21097 WITH SCORE 21152.436
AT ITER 7107 NEW BEST:: SOT 209627 SOS 55192 HAS SOPS 54833 HAS SOUS 20925 HAS SOUPS 20853 WITH SCORE 20908.192
AT ITER 7130 NEW BEST:: SOT 209626 SOS 55191 HAS SOPS 54832 HAS SOUS 20914 HAS SOUPS 20842 WITH SCORE 20897.191
AT ITER 7146 NEW BEST:: SOT 209619 SOS 55184 HAS SOPS 54825 HAS SOUS 20914 HAS SOUPS 20842 WITH SCORE 20897.184
AT ITER 7167 NEW BEST:: SOT 209608 SOS 55173 HAS SOPS 54814 HAS SOUS 20889 HAS SOUPS 20817 WITH SCORE 20872.173
AT ITER 7179 NEW BEST:: SOT 209607 SOS 55173 HAS SOPS 54814 HAS SOUS 20887 HAS SOUPS 20815 WITH SCORE 20870.173
AT ITER 7195 NEW BEST:: SOT 209605 SOS 55171 HAS SOPS 54812 HAS SOUS 20883 HAS SOUPS 20811 WITH SCORE 20866.171
AT ITER 7202 NEW BEST:: SOT 209602 SOS 55168 HAS SOPS 54809 HAS SOUS 20874 HAS SOUPS 20802 WITH SCORE 20857.168
AT ITER 7227 NEW BEST:: SOT 209540 SOS 55106 HAS SOPS 54747 HAS SOUS 20826 HAS SOUPS 20754 WITH SCORE 20809.106
AT ITER 7365 NEW BEST:: SOT 209535 SOS 55101 HAS SOPS 54742 HAS SOUS 20812 HAS SOUPS 20740 WITH SCORE 20795.101
AT ITER 7367 NEW BEST:: SOT 209525 SOS 55091 HAS SOPS 54732 HAS SOUS 20792 HAS SOUPS 20720 WITH SCORE 20775.091
AT ITER 7474 NEW BEST:: SOT 209517 SOS 55083 HAS SOPS 54724 HAS SOUS 20784 HAS SOUPS 20712 WITH SCORE 20767.083
AT ITER 7490 NEW BEST:: SOT 209552 SOS 55118 HAS SOPS 54759 HAS SOUS 20758 HAS SOUPS 20686 WITH SCORE 20741.118
AT ITER 7622 NEW BEST:: SOT 209536 SOS 55085 HAS SOPS 54726 HAS SOUS 20753 HAS SOUPS 20681 WITH SCORE 20736.085
AT ITER 7624 NEW BEST:: SOT 209521 SOS 55078 HAS SOPS 54719 HAS SOUS 20741 HAS SOUPS 20669 WITH SCORE 20724.078
AT ITER 7641 NEW BEST:: SOT 209509 SOS 55066 HAS SOPS 54707 HAS SOUS 20717 HAS SOUPS 20645 WITH SCORE 20700.066
AT ITER 7666 NEW BEST:: SOT 209509 SOS 55065 HAS SOPS 54706 HAS SOUS 20717 HAS SOUPS 20645 WITH SCORE 20700.065
AT ITER 7703 NEW BEST:: SOT 209385 SOS 55941 HAS SOPS 55582 HAS SOUS 20622 HAS SOUPS 20550 WITH SCORE 20605.941
AT ITER 7709 NEW BEST:: SOT 209383 SOS 55939 HAS SOPS 55580 HAS SOUS 20620 HAS SOUPS 20548 WITH SCORE 20603.939
AT ITER 7768 NEW BEST:: SOT 209361 SOS 55917 HAS SOPS 55558 HAS SOUS 20600 HAS SOUPS 20528 WITH SCORE 20583.917
AT ITER 7772 NEW BEST:: SOT 209354 SOS 55910 HAS SOPS 55551 HAS SOUS 20593 HAS SOUPS 20521 WITH SCORE 20576.91
AT ITER 7786 NEW BEST:: SOT 209355 SOS 55909 HAS SOPS 55550 HAS SOUS 20591 HAS SOUPS 20519 WITH SCORE 20574.909
AT ITER 7869 NEW BEST:: SOT 209321 SOS 55875 HAS SOPS 55516 HAS SOUS 20538 HAS SOUPS 20466 WITH SCORE 20521.875
AT ITER 7914 NEW BEST:: SOT 209311 SOS 55865 HAS SOPS 55506 HAS SOUS 20528 HAS SOUPS 20456 WITH SCORE 20511.865
AT ITER 7974 NEW BEST:: SOT 209293 SOS 55847 HAS SOPS 55488 HAS SOUS 20510 HAS SOUPS 20438 WITH SCORE 20493.847
AT ITER 7984 NEW BEST:: SOT 209292 SOS 55846 HAS SOPS 55487 HAS SOUS 20503 HAS SOUPS 20431 WITH SCORE 20486.846
AT ITER 8115 NEW BEST:: SOT 209290 SOS 55844 HAS SOPS 55485 HAS SOUS 20489 HAS SOUPS 20417 WITH SCORE 20472.844
AT ITER 8142 NEW BEST:: SOT 209273 SOS 55825 HAS SOPS 55466 HAS SOUS 20470 HAS SOUPS 20398 WITH SCORE 20453.825
AT ITER 8164 NEW BEST:: SOT 209249 SOS 55823 HAS SOPS 55464 HAS SOUS 20466 HAS SOUPS 20394 WITH SCORE 20449.823
AT ITER 8196 NEW BEST:: SOT 209244 SOS 55818 HAS SOPS 55459 HAS SOUS 20456 HAS SOUPS 20384 WITH SCORE 20439.818
AT ITER 8225 NEW BEST:: SOT 209249 SOS 55823 HAS SOPS 55464 HAS SOUS 20443 HAS SOUPS 20371 WITH SCORE 20426.823
AT ITER 8252 NEW BEST:: SOT 209246 SOS 55820 HAS SOPS 55461 HAS SOUS 20440 HAS SOUPS 20368 WITH SCORE 20423.82
AT ITER 8257 NEW BEST:: SOT 209199 SOS 55807 HAS SOPS 55448 HAS SOUS 20414 HAS SOUPS 20342 WITH SCORE 20397.807
AT ITER 8259 NEW BEST:: SOT 209195 SOS 55799 HAS SOPS 55440 HAS SOUS 20406 HAS SOUPS 20334 WITH SCORE 20389.799
AT ITER 8314 NEW BEST:: SOT 209193 SOS 55797 HAS SOPS 55438 HAS SOUS 20400 HAS SOUPS 20328 WITH SCORE 20383.797
AT ITER 8328 NEW BEST:: SOT 209193 SOS 55795 HAS SOPS 55436 HAS SOUS 20398 HAS SOUPS 20326 WITH SCORE 20381.795
AT ITER 8385 NEW BEST:: SOT 209192 SOS 55790 HAS SOPS 55431 HAS SOUS 20388 HAS SOUPS 20316 WITH SCORE 20371.79
AT ITER 8448 NEW BEST:: SOT 209191 SOS 55789 HAS SOPS 55430 HAS SOUS 20386 HAS SOUPS 20314 WITH SCORE 20369.789
AT ITER 8463 NEW BEST:: SOT 209132 SOS 56685 HAS SOPS 56326 HAS SOUS 20375 HAS SOUPS 20303 WITH SCORE 20359.685
AT ITER 8500 NEW BEST:: SOT 209127 SOS 56691 HAS SOPS 56332 HAS SOUS 20365 HAS SOUPS 20293 WITH SCORE 20349.691
AT ITER 8504 NEW BEST:: SOT 209089 SOS 56653 HAS SOPS 56280 HAS SOUS 20327 HAS SOUPS 20241 WITH SCORE 20297.653
AT ITER 8508 NEW BEST:: SOT 209076 SOS 56640 HAS SOPS 56267 HAS SOUS 20314 HAS SOUPS 20228 WITH SCORE 20284.64
AT ITER 8548 NEW BEST:: SOT 209070 SOS 56640 HAS SOPS 56267 HAS SOUS 20302 HAS SOUPS 20216 WITH SCORE 20272.64
AT ITER 8551 NEW BEST:: SOT 209060 SOS 56630 HAS SOPS 56257 HAS SOUS 20290 HAS SOUPS 20204 WITH SCORE 20260.63
AT ITER 8583 NEW BEST:: SOT 209102 SOS 56672 HAS SOPS 56299 HAS SOUS 20264 HAS SOUPS 20178 WITH SCORE 20234.672
AT ITER 8590 NEW BEST:: SOT 209080 SOS 56156 HAS SOPS 56103 HAS SOUS 20177 HAS SOUPS 20155 WITH SCORE 20211.156
AT ITER 8604 NEW BEST:: SOT 209008 SOS 56120 HAS SOPS 56067 HAS SOUS 20105 HAS SOUPS 20083 WITH SCORE 20139.12
AT ITER 8616 NEW BEST:: SOT 209009 SOS 56105 HAS SOPS 56052 HAS SOUS 20075 HAS SOUPS 20053 WITH SCORE 20109.105
AT ITER 8631 NEW BEST:: SOT 209001 SOS 56097 HAS SOPS 56044 HAS SOUS 20067 HAS SOUPS 20045 WITH SCORE 20101.097
AT ITER 8719 NEW BEST:: SOT 208992 SOS 56088 HAS SOPS 56035 HAS SOUS 20049 HAS SOUPS 20027 WITH SCORE 20083.088
AT ITER 8730 NEW BEST:: SOT 208990 SOS 56086 HAS SOPS 56033 HAS SOUS 20045 HAS SOUPS 20023 WITH SCORE 20079.086
AT ITER 8758 NEW BEST:: SOT 208968 SOS 56064 HAS SOPS 56011 HAS SOUS 20009 HAS SOUPS 19987 WITH SCORE 20043.064
AT ITER 8813 NEW BEST:: SOT 208965 SOS 56064 HAS SOPS 56011 HAS SOUS 20007 HAS SOUPS 19985 WITH SCORE 20041.064
AT ITER 8844 NEW BEST:: SOT 208957 SOS 56056 HAS SOPS 56003 HAS SOUS 19991 HAS SOUPS 19969 WITH SCORE 20025.056
AT ITER 8863 NEW BEST:: SOT 208926 SOS 56025 HAS SOPS 55972 HAS SOUS 19959 HAS SOUPS 19937 WITH SCORE 19993.025
AT ITER 8988 NEW BEST:: SOT 208918 SOS 56017 HAS SOPS 55964 HAS SOUS 19943 HAS SOUPS 19921 WITH SCORE 19977.017
AT ITER 9010 NEW BEST:: SOT 208915 SOS 56014 HAS SOPS 55961 HAS SOUS 19913 HAS SOUPS 19891 WITH SCORE 19947.014
AT ITER 9082 NEW BEST:: SOT 208913 SOS 56880 HAS SOPS 56827 HAS SOUS 19909 HAS SOUPS 19887 WITH SCORE 19943.88
AT ITER 9215 NEW BEST:: SOT 208910 SOS 56877 HAS SOPS 56824 HAS SOUS 19906 HAS SOUPS 19884 WITH SCORE 19940.877
AT ITER 9229 NEW BEST:: SOT 208919 SOS 56886 HAS SOPS 56833 HAS SOUS 19898 HAS SOUPS 19876 WITH SCORE 19932.886
AT ITER 9332 NEW BEST:: SOT 208893 SOS 56860 HAS SOPS 56807 HAS SOUS 19854 HAS SOUPS 19832 WITH SCORE 19888.86
AT ITER 9382 NEW BEST:: SOT 208893 SOS 56860 HAS SOPS 56807 HAS SOUS 19848 HAS SOUPS 19826 WITH SCORE 19882.86
AT ITER 9624 NEW BEST:: SOT 208882 SOS 56849 HAS SOPS 56796 HAS SOUS 19837 HAS SOUPS 19815 WITH SCORE 19871.849
AT ITER 9640 NEW BEST:: SOT 208871 SOS 56843 HAS SOPS 56790 HAS SOUS 19825 HAS SOUPS 19803 WITH SCORE 19859.843
AT ITER 9650 NEW BEST:: SOT 208871 SOS 56843 HAS SOPS 56790 HAS SOUS 19801 HAS SOUPS 19779 WITH SCORE 19835.843
AT ITER 9747 NEW BEST:: SOT 208872 SOS 56844 HAS SOPS 56791 HAS SOUS 19787 HAS SOUPS 19765 WITH SCORE 19821.844
AT ITER 9774 NEW BEST:: SOT 208873 SOS 56845 HAS SOPS 56792 HAS SOUS 19754 HAS SOUPS 19732 WITH SCORE 19788.845
AT ITER 9803 NEW BEST:: SOT 208873 SOS 56851 HAS SOPS 56798 HAS SOUS 19730 HAS SOUPS 19708 WITH SCORE 19764.851
AT ITER 9823 NEW BEST:: SOT 208872 SOS 56850 HAS SOPS 56797 HAS SOUS 19729 HAS SOUPS 19707 WITH SCORE 19763.85
AT ITER 9836 NEW BEST:: SOT 208867 SOS 56845 HAS SOPS 56792 HAS SOUS 19720 HAS SOUPS 19698 WITH SCORE 19754.845
AT ITER 9846 NEW BEST:: SOT 208861 SOS 56839 HAS SOPS 56786 HAS SOUS 19718 HAS SOUPS 19696 WITH SCORE 19752.839
AT ITER 9907 NEW BEST:: SOT 208858 SOS 56821 HAS SOPS 56768 HAS SOUS 19712 HAS SOUPS 19690 WITH SCORE 19746.821
AT ITER 9922 NEW BEST:: SOT 208864 SOS 56827 HAS SOPS 56774 HAS SOUS 19710 HAS SOUPS 19688 WITH SCORE 19744.827
AT ITER 9929 NEW BEST:: SOT 208856 SOS 56819 HAS SOPS 56766 HAS SOUS 19702 HAS SOUPS 19680 WITH SCORE 19736.819
AT ITER 9988 NEW BEST:: SOT 208853 SOS 56816 HAS SOPS 56763 HAS SOUS 19691 HAS SOUPS 19669 WITH SCORE 19725.816
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 4187328 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16150088 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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