Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.7M
-rw-r--r-- 1 mcc users 12K Apr 12 12:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 48K Apr 12 12:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 123K Apr 11 13:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 392K Apr 11 13:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 15K Apr 14 12:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 54K Apr 14 12:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 179K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Apr 10 17:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 30K Apr 10 17:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 21K Apr 9 23:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K Apr 9 23:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.9K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 1.7M Mar 24 05:38 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 1589744298109

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

Filename model.pnml
Petri model created: 316 places, 1631 transitions, 11384 arcs.
AT ITER 0 NEW BEST:: SOT 281711 SOS 216209 HAS SOPS 215551 HAS SOUS 80573 HAS SOUPS 80297 WITH SCORE 80513.209
AT ITER 10 NEW BEST:: SOT 281729 SOS 216909 HAS SOPS 216251 HAS SOUS 80530 HAS SOUPS 80254 WITH SCORE 80470.909
AT ITER 15 NEW BEST:: SOT 281729 SOS 216909 HAS SOPS 216251 HAS SOUS 80516 HAS SOUPS 80240 WITH SCORE 80456.909
AT ITER 38 NEW BEST:: SOT 281609 SOS 216777 HAS SOPS 216131 HAS SOUS 80264 HAS SOUPS 80000 WITH SCORE 80216.777
AT ITER 46 NEW BEST:: SOT 281571 SOS 216689 HAS SOPS 216005 HAS SOUS 79986 HAS SOUPS 79684 WITH SCORE 79900.689
AT ITER 51 NEW BEST:: SOT 281467 SOS 216585 HAS SOPS 215901 HAS SOUS 79877 HAS SOUPS 79575 WITH SCORE 79791.585
AT ITER 55 NEW BEST:: SOT 281414 SOS 216532 HAS SOPS 215848 HAS SOUS 79877 HAS SOUPS 79575 WITH SCORE 79791.532
AT ITER 72 NEW BEST:: SOT 281414 SOS 216532 HAS SOPS 215848 HAS SOUS 79871 HAS SOUPS 79569 WITH SCORE 79785.532
AT ITER 84 NEW BEST:: SOT 281334 SOS 216452 HAS SOPS 215768 HAS SOUS 79782 HAS SOUPS 79480 WITH SCORE 79696.452
AT ITER 91 NEW BEST:: SOT 281334 SOS 216640 HAS SOPS 215856 HAS SOUS 79782 HAS SOUPS 79479 WITH SCORE 79695.64
AT ITER 110 NEW BEST:: SOT 281292 SOS 216541 HAS SOPS 215715 HAS SOUS 79485 HAS SOUPS 79140 WITH SCORE 79356.541
AT ITER 119 NEW BEST:: SOT 281288 SOS 216526 HAS SOPS 215670 HAS SOUS 79470 HAS SOUPS 79095 WITH SCORE 79311.526
AT ITER 132 NEW BEST:: SOT 281306 SOS 216526 HAS SOPS 215688 HAS SOUS 79281 HAS SOUPS 78924 WITH SCORE 79140.526
AT ITER 146 NEW BEST:: SOT 281084 SOS 216304 HAS SOPS 215466 HAS SOUS 79272 HAS SOUPS 78915 WITH SCORE 79131.304
AT ITER 156 NEW BEST:: SOT 281367 SOS 216575 HAS SOPS 215749 HAS SOUS 79258 HAS SOUPS 78913 WITH SCORE 79129.575
AT ITER 169 NEW BEST:: SOT 277203 SOS 212462 HAS SOPS 211687 HAS SOUS 75141 HAS SOUPS 74847 WITH SCORE 75059.462
AT ITER 177 NEW BEST:: SOT 277168 SOS 212696 HAS SOPS 211921 HAS SOUS 75072 HAS SOUPS 74778 WITH SCORE 74990.696
AT ITER 208 NEW BEST:: SOT 276602 SOS 212173 HAS SOPS 211441 HAS SOUS 74518 HAS SOUPS 74267 WITH SCORE 74479.173
AT ITER 232 NEW BEST:: SOT 276581 SOS 212152 HAS SOPS 211420 HAS SOUS 74518 HAS SOUPS 74267 WITH SCORE 74479.152
AT ITER 234 NEW BEST:: SOT 276581 SOS 212143 HAS SOPS 211411 HAS SOUS 74518 HAS SOUPS 74267 WITH SCORE 74479.143
AT ITER 235 NEW BEST:: SOT 276624 SOS 212139 HAS SOPS 211336 HAS SOUS 74374 HAS SOUPS 74052 WITH SCORE 74264.139
AT ITER 263 NEW BEST:: SOT 276624 SOS 212156 HAS SOPS 211353 HAS SOUS 74182 HAS SOUPS 73860 WITH SCORE 74072.156
AT ITER 264 NEW BEST:: SOT 276649 SOS 212513 HAS SOPS 211710 HAS SOUS 74171 HAS SOUPS 73849 WITH SCORE 74061.513
AT ITER 271 NEW BEST:: SOT 266379 SOS 202397 HAS SOPS 201606 HAS SOUS 63336 HAS SOUPS 63026 WITH SCORE 63228.397
AT ITER 309 NEW BEST:: SOT 266274 SOS 202292 HAS SOPS 201501 HAS SOUS 63159 HAS SOUPS 62849 WITH SCORE 63051.292
AT ITER 336 NEW BEST:: SOT 265704 SOS 201782 HAS SOPS 200991 HAS SOUS 62769 HAS SOUPS 62459 WITH SCORE 62660.782
AT ITER 339 NEW BEST:: SOT 265545 SOS 201623 HAS SOPS 200832 HAS SOUS 62564 HAS SOUPS 62254 WITH SCORE 62455.623
AT ITER 346 NEW BEST:: SOT 265545 SOS 201756 HAS SOPS 200965 HAS SOUS 62543 HAS SOUPS 62233 WITH SCORE 62434.756
AT ITER 358 NEW BEST:: SOT 265272 SOS 201437 HAS SOPS 200617 HAS SOUS 62012 HAS SOUPS 61673 WITH SCORE 61874.437
AT ITER 364 NEW BEST:: SOT 265264 SOS 201429 HAS SOPS 200609 HAS SOUS 62012 HAS SOUPS 61673 WITH SCORE 61874.429
AT ITER 374 NEW BEST:: SOT 265259 SOS 201424 HAS SOPS 200604 HAS SOUS 62007 HAS SOUPS 61668 WITH SCORE 61869.424
AT ITER 381 NEW BEST:: SOT 265259 SOS 201427 HAS SOPS 200604 HAS SOUS 62007 HAS SOUPS 61665 WITH SCORE 61866.427
AT ITER 422 NEW BEST:: SOT 265259 SOS 201495 HAS SOPS 200722 HAS SOUS 61998 HAS SOUPS 61656 WITH SCORE 61857.495
AT ITER 437 NEW BEST:: SOT 264815 SOS 201051 HAS SOPS 200278 HAS SOUS 61533 HAS SOUPS 61191 WITH SCORE 61392.051
AT ITER 440 NEW BEST:: SOT 264828 SOS 201023 HAS SOPS 200291 HAS SOUS 61010 HAS SOUPS 60709 WITH SCORE 60910.023
AT ITER 449 NEW BEST:: SOT 264762 SOS 200957 HAS SOPS 200225 HAS SOUS 60786 HAS SOUPS 60485 WITH SCORE 60685.957
AT ITER 453 NEW BEST:: SOT 264749 SOS 200944 HAS SOPS 200212 HAS SOUS 60773 HAS SOUPS 60472 WITH SCORE 60672.944
AT ITER 469 NEW BEST:: SOT 264750 SOS 200944 HAS SOPS 200211 HAS SOUS 60766 HAS SOUPS 60464 WITH SCORE 60664.944
AT ITER 474 NEW BEST:: SOT 264750 SOS 200944 HAS SOPS 200211 HAS SOUS 60765 HAS SOUPS 60463 WITH SCORE 60663.944
AT ITER 484 NEW BEST:: SOT 264750 SOS 217388 HAS SOPS 207955 HAS SOUS 60757 HAS SOUPS 60367 WITH SCORE 60584.388
AT ITER 495 NEW BEST:: SOT 264821 SOS 217459 HAS SOPS 208026 HAS SOUS 60686 HAS SOUPS 60296 WITH SCORE 60513.459
AT ITER 500 NEW BEST:: SOT 264821 SOS 217459 HAS SOPS 208026 HAS SOUS 60684 HAS SOUPS 60294 WITH SCORE 60511.459
AT ITER 504 NEW BEST:: SOT 264783 SOS 217468 HAS SOPS 208035 HAS SOUS 60450 HAS SOUPS 60060 WITH SCORE 60277.468
AT ITER 509 NEW BEST:: SOT 264783 SOS 217468 HAS SOPS 208035 HAS SOUS 60449 HAS SOUPS 60059 WITH SCORE 60276.468
AT ITER 539 NEW BEST:: SOT 263778 SOS 216471 HAS SOPS 207113 HAS SOUS 59428 HAS SOUPS 59113 WITH SCORE 59329.471
AT ITER 570 NEW BEST:: SOT 263757 SOS 216446 HAS SOPS 207088 HAS SOUS 59398 HAS SOUPS 59083 WITH SCORE 59299.446
AT ITER 578 NEW BEST:: SOT 263757 SOS 216446 HAS SOPS 207088 HAS SOUS 59397 HAS SOUPS 59082 WITH SCORE 59298.446
AT ITER 586 NEW BEST:: SOT 263723 SOS 216412 HAS SOPS 207054 HAS SOUS 59244 HAS SOUPS 58929 WITH SCORE 59145.412
AT ITER 595 NEW BEST:: SOT 263599 SOS 216288 HAS SOPS 206930 HAS SOUS 58821 HAS SOUPS 58506 WITH SCORE 58722.288
AT ITER 627 NEW BEST:: SOT 263592 SOS 216282 HAS SOPS 206927 HAS SOUS 58815 HAS SOUPS 58503 WITH SCORE 58719.282
AT ITER 675 NEW BEST:: SOT 263592 SOS 216282 HAS SOPS 206927 HAS SOUS 58794 HAS SOUPS 58482 WITH SCORE 58698.282
AT ITER 686 NEW BEST:: SOT 263526 SOS 216216 HAS SOPS 206861 HAS SOUS 58728 HAS SOUPS 58416 WITH SCORE 58632.216
AT ITER 704 NEW BEST:: SOT 263474 SOS 216164 HAS SOPS 206809 HAS SOUS 58676 HAS SOUPS 58364 WITH SCORE 58580.164
AT ITER 705 NEW BEST:: SOT 263510 SOS 216200 HAS SOPS 206845 HAS SOUS 58668 HAS SOUPS 58356 WITH SCORE 58572.2
AT ITER 717 NEW BEST:: SOT 263605 SOS 216269 HAS SOPS 206876 HAS SOUS 58238 HAS SOUPS 57888 WITH SCORE 58104.269
AT ITER 726 NEW BEST:: SOT 263549 SOS 216213 HAS SOPS 206820 HAS SOUS 58175 HAS SOUPS 57825 WITH SCORE 58041.213
AT ITER 741 NEW BEST:: SOT 263471 SOS 218272 HAS SOPS 208879 HAS SOUS 58152 HAS SOUPS 57802 WITH SCORE 58020.272
AT ITER 744 NEW BEST:: SOT 263471 SOS 218272 HAS SOPS 208879 HAS SOUS 58143 HAS SOUPS 57793 WITH SCORE 58011.272
AT ITER 767 NEW BEST:: SOT 263681 SOS 218453 HAS SOPS 209016 HAS SOUS 57996 HAS SOUPS 57602 WITH SCORE 57820.453
AT ITER 769 NEW BEST:: SOT 263765 SOS 218537 HAS SOPS 209100 HAS SOUS 57924 HAS SOUPS 57530 WITH SCORE 57748.537
AT ITER 771 NEW BEST:: SOT 263591 SOS 218363 HAS SOPS 208926 HAS SOUS 57772 HAS SOUPS 57378 WITH SCORE 57596.363
AT ITER 786 NEW BEST:: SOT 263515 SOS 218287 HAS SOPS 208850 HAS SOUS 57684 HAS SOUPS 57290 WITH SCORE 57508.287
AT ITER 790 NEW BEST:: SOT 263580 SOS 218352 HAS SOPS 208915 HAS SOUS 57681 HAS SOUPS 57287 WITH SCORE 57505.352
AT ITER 793 NEW BEST:: SOT 263345 SOS 218107 HAS SOPS 208670 HAS SOUS 57445 HAS SOUPS 57051 WITH SCORE 57269.107
AT ITER 796 NEW BEST:: SOT 263193 SOS 217959 HAS SOPS 208522 HAS SOUS 57294 HAS SOUPS 56900 WITH SCORE 57117.959
AT ITER 801 NEW BEST:: SOT 262972 SOS 217738 HAS SOPS 208301 HAS SOUS 56983 HAS SOUPS 56589 WITH SCORE 56806.738
AT ITER 834 NEW BEST:: SOT 261952 SOS 216718 HAS SOPS 207281 HAS SOUS 55868 HAS SOUPS 55474 WITH SCORE 55690.718
AT ITER 847 NEW BEST:: SOT 261966 SOS 216732 HAS SOPS 207295 HAS SOUS 55866 HAS SOUPS 55472 WITH SCORE 55688.732
AT ITER 860 NEW BEST:: SOT 261979 SOS 216745 HAS SOPS 207308 HAS SOUS 55812 HAS SOUPS 55418 WITH SCORE 55634.745
AT ITER 895 NEW BEST:: SOT 262059 SOS 216825 HAS SOPS 207388 HAS SOUS 55769 HAS SOUPS 55375 WITH SCORE 55591.825
AT ITER 915 NEW BEST:: SOT 262039 SOS 216783 HAS SOPS 207346 HAS SOUS 55756 HAS SOUPS 55362 WITH SCORE 55578.783
AT ITER 935 NEW BEST:: SOT 262001 SOS 216503 HAS SOPS 207066 HAS SOUS 55688 HAS SOUPS 55294 WITH SCORE 55510.503
AT ITER 937 NEW BEST:: SOT 262001 SOS 217959 HAS SOPS 208522 HAS SOUS 55636 HAS SOUPS 55242 WITH SCORE 55459.959
AT ITER 939 NEW BEST:: SOT 262001 SOS 217947 HAS SOPS 208522 HAS SOUS 55312 HAS SOUPS 54930 WITH SCORE 55147.947
AT ITER 948 NEW BEST:: SOT 261873 SOS 217819 HAS SOPS 208394 HAS SOUS 55152 HAS SOUPS 54770 WITH SCORE 54987.819
AT ITER 952 NEW BEST:: SOT 261701 SOS 217916 HAS SOPS 208491 HAS SOUS 55013 HAS SOUPS 54631 WITH SCORE 54848.916
AT ITER 953 NEW BEST:: SOT 261701 SOS 217916 HAS SOPS 208491 HAS SOUS 55001 HAS SOUPS 54619 WITH SCORE 54836.916
AT ITER 996 NEW BEST:: SOT 261782 SOS 217937 HAS SOPS 208512 HAS SOUS 54736 HAS SOUPS 54354 WITH SCORE 54571.937
AT ITER 1005 NEW BEST:: SOT 261782 SOS 218147 HAS SOPS 208722 HAS SOUS 54706 HAS SOUPS 54324 WITH SCORE 54542.147
AT ITER 1014 NEW BEST:: SOT 261775 SOS 218838 HAS SOPS 209413 HAS SOUS 54699 HAS SOUPS 54317 WITH SCORE 54535.838
AT ITER 1037 NEW BEST:: SOT 261729 SOS 218792 HAS SOPS 209367 HAS SOUS 54653 HAS SOUPS 54271 WITH SCORE 54489.792
AT ITER 1061 NEW BEST:: SOT 261711 SOS 218770 HAS SOPS 209345 HAS SOUS 54542 HAS SOUPS 54160 WITH SCORE 54378.77
AT ITER 1065 NEW BEST:: SOT 261533 SOS 218592 HAS SOPS 209167 HAS SOUS 54355 HAS SOUPS 53973 WITH SCORE 54191.592
AT ITER 1072 NEW BEST:: SOT 261479 SOS 218538 HAS SOPS 209113 HAS SOUS 54295 HAS SOUPS 53913 WITH SCORE 54131.538
AT ITER 1086 NEW BEST:: SOT 261479 SOS 218538 HAS SOPS 209113 HAS SOUS 54257 HAS SOUPS 53875 WITH SCORE 54093.538
AT ITER 1099 NEW BEST:: SOT 261379 SOS 218463 HAS SOPS 209038 HAS SOUS 54221 HAS SOUPS 53839 WITH SCORE 54057.463
AT ITER 1109 NEW BEST:: SOT 261436 SOS 218520 HAS SOPS 209095 HAS SOUS 54175 HAS SOUPS 53793 WITH SCORE 54011.52
AT ITER 1117 NEW BEST:: SOT 261391 SOS 218475 HAS SOPS 209050 HAS SOUS 54125 HAS SOUPS 53743 WITH SCORE 53961.475
AT ITER 1137 NEW BEST:: SOT 261356 SOS 218440 HAS SOPS 209015 HAS SOUS 54058 HAS SOUPS 53676 WITH SCORE 53894.44
AT ITER 1140 NEW BEST:: SOT 261356 SOS 217812 HAS SOPS 208387 HAS SOUS 54030 HAS SOUPS 53648 WITH SCORE 53865.812
AT ITER 1147 NEW BEST:: SOT 261356 SOS 217812 HAS SOPS 208387 HAS SOUS 53980 HAS SOUPS 53598 WITH SCORE 53815.812
AT ITER 1185 NEW BEST:: SOT 261214 SOS 217417 HAS SOPS 207992 HAS SOUS 53807 HAS SOUPS 53425 WITH SCORE 53642.417
AT ITER 1188 NEW BEST:: SOT 260963 SOS 217166 HAS SOPS 207741 HAS SOUS 53494 HAS SOUPS 53112 WITH SCORE 53329.166
AT ITER 1205 NEW BEST:: SOT 260978 SOS 217743 HAS SOPS 208318 HAS SOUS 53470 HAS SOUPS 53088 WITH SCORE 53305.743
AT ITER 1213 NEW BEST:: SOT 260938 SOS 217703 HAS SOPS 208278 HAS SOUS 53430 HAS SOUPS 53048 WITH SCORE 53265.703
AT ITER 1222 NEW BEST:: SOT 260927 SOS 218189 HAS SOPS 208764 HAS SOUS 53373 HAS SOUPS 52991 WITH SCORE 53209.189
AT ITER 1234 NEW BEST:: SOT 260777 SOS 218039 HAS SOPS 208614 HAS SOUS 53214 HAS SOUPS 52832 WITH SCORE 53050.039
AT ITER 1240 NEW BEST:: SOT 260745 SOS 218007 HAS SOPS 208582 HAS SOUS 53209 HAS SOUPS 52827 WITH SCORE 53045.007
AT ITER 1243 NEW BEST:: SOT 260745 SOS 218007 HAS SOPS 208582 HAS SOUS 53208 HAS SOUPS 52826 WITH SCORE 53044.007
AT ITER 1256 NEW BEST:: SOT 260637 SOS 217899 HAS SOPS 208474 HAS SOUS 53194 HAS SOUPS 52812 WITH SCORE 53029.899
AT ITER 1263 NEW BEST:: SOT 260637 SOS 218074 HAS SOPS 208649 HAS SOUS 53169 HAS SOUPS 52787 WITH SCORE 53005.074
AT ITER 1273 NEW BEST:: SOT 260637 SOS 218417 HAS SOPS 208992 HAS SOUS 53120 HAS SOUPS 52738 WITH SCORE 52956.417
AT ITER 1280 NEW BEST:: SOT 260782 SOS 218576 HAS SOPS 209151 HAS SOUS 53044 HAS SOUPS 52662 WITH SCORE 52880.576
AT ITER 1298 NEW BEST:: SOT 260767 SOS 213097 HAS SOPS 203648 HAS SOUS 52967 HAS SOUPS 52561 WITH SCORE 52774.097
AT ITER 1310 NEW BEST:: SOT 260745 SOS 213075 HAS SOPS 203626 HAS SOUS 52945 HAS SOUPS 52539 WITH SCORE 52752.075
AT ITER 1325 NEW BEST:: SOT 260745 SOS 213075 HAS SOPS 203626 HAS SOUS 52935 HAS SOUPS 52529 WITH SCORE 52742.075
AT ITER 1330 NEW BEST:: SOT 260745 SOS 213075 HAS SOPS 203626 HAS SOUS 52931 HAS SOUPS 52525 WITH SCORE 52738.075
AT ITER 1331 NEW BEST:: SOT 260878 SOS 214590 HAS SOPS 205181 HAS SOUS 52856 HAS SOUPS 52490 WITH SCORE 52704.59
AT ITER 1338 NEW BEST:: SOT 260878 SOS 214590 HAS SOPS 205181 HAS SOUS 52835 HAS SOUPS 52469 WITH SCORE 52683.59
AT ITER 1345 NEW BEST:: SOT 260915 SOS 214627 HAS SOPS 205218 HAS SOUS 52831 HAS SOUPS 52465 WITH SCORE 52679.627
AT ITER 1360 NEW BEST:: SOT 260596 SOS 214308 HAS SOPS 204899 HAS SOUS 52512 HAS SOUPS 52146 WITH SCORE 52360.308
AT ITER 1365 NEW BEST:: SOT 260504 SOS 214216 HAS SOPS 204807 HAS SOUS 52420 HAS SOUPS 52054 WITH SCORE 52268.216
AT ITER 1366 NEW BEST:: SOT 260529 SOS 214241 HAS SOPS 204832 HAS SOUS 52399 HAS SOUPS 52033 WITH SCORE 52247.241
AT ITER 1371 NEW BEST:: SOT 260527 SOS 214239 HAS SOPS 204830 HAS SOUS 52397 HAS SOUPS 52031 WITH SCORE 52245.239
AT ITER 1392 NEW BEST:: SOT 260582 SOS 214233 HAS SOPS 204824 HAS SOUS 52362 HAS SOUPS 51996 WITH SCORE 52210.233
AT ITER 1396 NEW BEST:: SOT 260552 SOS 214203 HAS SOPS 204794 HAS SOUS 52332 HAS SOUPS 51966 WITH SCORE 52180.203
AT ITER 1408 NEW BEST:: SOT 260482 SOS 214133 HAS SOPS 204724 HAS SOUS 52300 HAS SOUPS 51934 WITH SCORE 52148.133
AT ITER 1434 NEW BEST:: SOT 260519 SOS 214170 HAS SOPS 204761 HAS SOUS 52263 HAS SOUPS 51897 WITH SCORE 52111.17
AT ITER 1435 NEW BEST:: SOT 260184 SOS 213846 HAS SOPS 204877 HAS SOUS 51986 HAS SOUPS 51620 WITH SCORE 51833.846
AT ITER 1467 NEW BEST:: SOT 260165 SOS 213808 HAS SOPS 204858 HAS SOUS 51874 HAS SOUPS 51527 WITH SCORE 51740.808
AT ITER 1474 NEW BEST:: SOT 260161 SOS 213804 HAS SOPS 204854 HAS SOUS 51870 HAS SOUPS 51523 WITH SCORE 51736.804
AT ITER 1486 NEW BEST:: SOT 260161 SOS 213688 HAS SOPS 204738 HAS SOUS 51870 HAS SOUPS 51523 WITH SCORE 51736.688
AT ITER 1516 NEW BEST:: SOT 259895 SOS 213449 HAS SOPS 204499 HAS SOUS 51718 HAS SOUPS 51371 WITH SCORE 51584.449
AT ITER 1545 NEW BEST:: SOT 259619 SOS 213173 HAS SOPS 204223 HAS SOUS 51319 HAS SOUPS 50972 WITH SCORE 51185.173
AT ITER 1556 NEW BEST:: SOT 259619 SOS 213173 HAS SOPS 204223 HAS SOUS 51315 HAS SOUPS 50968 WITH SCORE 51181.173
AT ITER 1578 NEW BEST:: SOT 259343 SOS 212879 HAS SOPS 203929 HAS SOUS 51021 HAS SOUPS 50674 WITH SCORE 50886.879
AT ITER 1580 NEW BEST:: SOT 259343 SOS 212879 HAS SOPS 203929 HAS SOUS 51006 HAS SOUPS 50659 WITH SCORE 50871.879
AT ITER 1599 NEW BEST:: SOT 259010 SOS 212179 HAS SOPS 203152 HAS SOUS 50609 HAS SOUPS 50185 WITH SCORE 50397.179
AT ITER 1618 NEW BEST:: SOT 259000 SOS 212169 HAS SOPS 203142 HAS SOUS 50603 HAS SOUPS 50179 WITH SCORE 50391.169
AT ITER 1622 NEW BEST:: SOT 258848 SOS 212017 HAS SOPS 202990 HAS SOUS 50566 HAS SOUPS 50142 WITH SCORE 50354.017
AT ITER 1633 NEW BEST:: SOT 258848 SOS 212137 HAS SOPS 203185 HAS SOUS 50326 HAS SOUPS 49977 WITH SCORE 50189.137
AT ITER 1649 NEW BEST:: SOT 258848 SOS 212137 HAS SOPS 203185 HAS SOUS 50324 HAS SOUPS 49975 WITH SCORE 50187.137
AT ITER 1653 NEW BEST:: SOT 258855 SOS 212144 HAS SOPS 203192 HAS SOUS 50317 HAS SOUPS 49968 WITH SCORE 50180.144
AT ITER 1667 NEW BEST:: SOT 258865 SOS 212151 HAS SOPS 203189 HAS SOUS 50323 HAS SOUPS 49964 WITH SCORE 50176.151
AT ITER 1672 NEW BEST:: SOT 258865 SOS 212147 HAS SOPS 203185 HAS SOUS 50319 HAS SOUPS 49960 WITH SCORE 50172.147
AT ITER 1683 NEW BEST:: SOT 258847 SOS 212129 HAS SOPS 203167 HAS SOUS 50175 HAS SOUPS 49816 WITH SCORE 50028.129
AT ITER 1686 NEW BEST:: SOT 258836 SOS 212118 HAS SOPS 203156 HAS SOUS 50165 HAS SOUPS 49806 WITH SCORE 50018.118
AT ITER 1693 NEW BEST:: SOT 258836 SOS 211616 HAS SOPS 202654 HAS SOUS 50165 HAS SOUPS 49806 WITH SCORE 50017.616
AT ITER 1719 NEW BEST:: SOT 259144 SOS 211924 HAS SOPS 202959 HAS SOUS 50157 HAS SOUPS 49795 WITH SCORE 50006.924
AT ITER 1721 NEW BEST:: SOT 259098 SOS 211878 HAS SOPS 202913 HAS SOUS 50143 HAS SOUPS 49781 WITH SCORE 49992.878
AT ITER 1746 NEW BEST:: SOT 259089 SOS 211869 HAS SOPS 202904 HAS SOUS 50134 HAS SOUPS 49772 WITH SCORE 49983.869
AT ITER 1755 NEW BEST:: SOT 259089 SOS 211869 HAS SOPS 202904 HAS SOUS 50132 HAS SOUPS 49770 WITH SCORE 49981.869
AT ITER 1762 NEW BEST:: SOT 259079 SOS 211859 HAS SOPS 202894 HAS SOUS 50122 HAS SOUPS 49760 WITH SCORE 49971.859
AT ITER 1766 NEW BEST:: SOT 259036 SOS 211816 HAS SOPS 202851 HAS SOUS 50086 HAS SOUPS 49724 WITH SCORE 49935.816
AT ITER 1767 NEW BEST:: SOT 259030 SOS 211810 HAS SOPS 202845 HAS SOUS 50080 HAS SOUPS 49718 WITH SCORE 49929.81
AT ITER 1790 NEW BEST:: SOT 259042 SOS 211822 HAS SOPS 202857 HAS SOUS 50068 HAS SOUPS 49706 WITH SCORE 49917.822
AT ITER 1815 NEW BEST:: SOT 259036 SOS 211816 HAS SOPS 202851 HAS SOUS 50062 HAS SOUPS 49700 WITH SCORE 49911.816
AT ITER 1821 NEW BEST:: SOT 258969 SOS 211749 HAS SOPS 202784 HAS SOUS 49888 HAS SOUPS 49526 WITH SCORE 49737.749
AT ITER 1824 NEW BEST:: SOT 258899 SOS 211679 HAS SOPS 202714 HAS SOUS 49802 HAS SOUPS 49440 WITH SCORE 49651.679
AT ITER 1838 NEW BEST:: SOT 258899 SOS 211679 HAS SOPS 202714 HAS SOUS 49801 HAS SOUPS 49439 WITH SCORE 49650.679
AT ITER 1887 NEW BEST:: SOT 258899 SOS 211679 HAS SOPS 202714 HAS SOUS 49787 HAS SOUPS 49425 WITH SCORE 49636.679
AT ITER 1895 NEW BEST:: SOT 258899 SOS 211679 HAS SOPS 202714 HAS SOUS 49784 HAS SOUPS 49422 WITH SCORE 49633.679
AT ITER 1898 NEW BEST:: SOT 258896 SOS 211676 HAS SOPS 202711 HAS SOUS 49784 HAS SOUPS 49422 WITH SCORE 49633.676
AT ITER 1919 NEW BEST:: SOT 258905 SOS 211685 HAS SOPS 202720 HAS SOUS 49775 HAS SOUPS 49413 WITH SCORE 49624.685
AT ITER 1920 NEW BEST:: SOT 258870 SOS 211650 HAS SOPS 202685 HAS SOUS 49740 HAS SOUPS 49378 WITH SCORE 49589.65
AT ITER 1924 NEW BEST:: SOT 258864 SOS 211644 HAS SOPS 202679 HAS SOUS 49734 HAS SOUPS 49372 WITH SCORE 49583.644
AT ITER 1926 NEW BEST:: SOT 258824 SOS 211604 HAS SOPS 202639 HAS SOUS 49705 HAS SOUPS 49343 WITH SCORE 49554.604
AT ITER 1945 NEW BEST:: SOT 258824 SOS 211604 HAS SOPS 202639 HAS SOUS 49701 HAS SOUPS 49339 WITH SCORE 49550.604
AT ITER 1947 NEW BEST:: SOT 258752 SOS 211475 HAS SOPS 202567 HAS SOUS 49195 HAS SOUPS 48890 WITH SCORE 49101.475
AT ITER 1973 NEW BEST:: SOT 258733 SOS 211456 HAS SOPS 202548 HAS SOUS 49176 HAS SOUPS 48871 WITH SCORE 49082.456
AT ITER 1980 NEW BEST:: SOT 258733 SOS 211456 HAS SOPS 202548 HAS SOUS 49168 HAS SOUPS 48863 WITH SCORE 49074.456
AT ITER 1986 NEW BEST:: SOT 258451 SOS 208956 HAS SOPS 200618 HAS SOUS 48826 HAS SOUPS 48521 WITH SCORE 48729.956
AT ITER 2006 NEW BEST:: SOT 258432 SOS 208947 HAS SOPS 200613 HAS SOUS 48768 HAS SOUPS 48467 WITH SCORE 48675.947
AT ITER 2033 NEW BEST:: SOT 258367 SOS 208882 HAS SOPS 200548 HAS SOUS 48688 HAS SOUPS 48387 WITH SCORE 48595.882
AT ITER 2064 NEW BEST:: SOT 258355 SOS 208870 HAS SOPS 200536 HAS SOUS 48688 HAS SOUPS 48387 WITH SCORE 48595.87
AT ITER 2068 NEW BEST:: SOT 258355 SOS 208870 HAS SOPS 200536 HAS SOUS 48664 HAS SOUPS 48363 WITH SCORE 48571.87
AT ITER 2072 NEW BEST:: SOT 258355 SOS 208870 HAS SOPS 200536 HAS SOUS 48662 HAS SOUPS 48361 WITH SCORE 48569.87
AT ITER 2096 NEW BEST:: SOT 258294 SOS 208809 HAS SOPS 200475 HAS SOUS 48413 HAS SOUPS 48112 WITH SCORE 48320.809
AT ITER 2097 NEW BEST:: SOT 258290 SOS 208805 HAS SOPS 200471 HAS SOUS 48408 HAS SOUPS 48107 WITH SCORE 48315.805
AT ITER 2100 NEW BEST:: SOT 258546 SOS 209034 HAS SOPS 200700 HAS SOUS 48246 HAS SOUPS 47945 WITH SCORE 48154.034
AT ITER 2117 NEW BEST:: SOT 258541 SOS 209029 HAS SOPS 200695 HAS SOUS 48165 HAS SOUPS 47864 WITH SCORE 48073.029
AT ITER 2118 NEW BEST:: SOT 258541 SOS 208966 HAS SOPS 200632 HAS SOUS 48165 HAS SOUPS 47864 WITH SCORE 48072.966
AT ITER 2142 NEW BEST:: SOT 258491 SOS 208916 HAS SOPS 200582 HAS SOUS 48115 HAS SOUPS 47814 WITH SCORE 48022.916
AT ITER 2150 NEW BEST:: SOT 258504 SOS 208929 HAS SOPS 200595 HAS SOUS 48108 HAS SOUPS 47807 WITH SCORE 48015.929
AT ITER 2156 NEW BEST:: SOT 258482 SOS 208907 HAS SOPS 200573 HAS SOUS 48086 HAS SOUPS 47785 WITH SCORE 47993.907
AT ITER 2166 NEW BEST:: SOT 258387 SOS 208812 HAS SOPS 200478 HAS SOUS 48069 HAS SOUPS 47768 WITH SCORE 47976.812
AT ITER 2175 NEW BEST:: SOT 258380 SOS 208805 HAS SOPS 200471 HAS SOUS 48068 HAS SOUPS 47767 WITH SCORE 47975.805
AT ITER 2176 NEW BEST:: SOT 258358 SOS 208783 HAS SOPS 200449 HAS SOUS 48046 HAS SOUPS 47745 WITH SCORE 47953.783
AT ITER 2178 NEW BEST:: SOT 258320 SOS 208745 HAS SOPS 200411 HAS SOUS 48024 HAS SOUPS 47723 WITH SCORE 47931.745
AT ITER 2188 NEW BEST:: SOT 258306 SOS 208731 HAS SOPS 200397 HAS SOUS 48024 HAS SOUPS 47723 WITH SCORE 47931.731
AT ITER 2194 NEW BEST:: SOT 258284 SOS 208709 HAS SOPS 200375 HAS SOUS 48000 HAS SOUPS 47699 WITH SCORE 47907.709
AT ITER 2214 NEW BEST:: SOT 258286 SOS 208711 HAS SOPS 200377 HAS SOUS 47932 HAS SOUPS 47631 WITH SCORE 47839.711
AT ITER 2220 NEW BEST:: SOT 258286 SOS 208715 HAS SOPS 200381 HAS SOUS 47920 HAS SOUPS 47619 WITH SCORE 47827.715
AT ITER 2241 NEW BEST:: SOT 258286 SOS 208703 HAS SOPS 200369 HAS SOUS 47912 HAS SOUPS 47611 WITH SCORE 47819.703
AT ITER 2280 NEW BEST:: SOT 258274 SOS 208691 HAS SOPS 200357 HAS SOUS 47835 HAS SOUPS 47534 WITH SCORE 47742.691
AT ITER 2300 NEW BEST:: SOT 258274 SOS 208583 HAS SOPS 200249 HAS SOUS 47823 HAS SOUPS 47522 WITH SCORE 47730.583
AT ITER 2347 NEW BEST:: SOT 258252 SOS 208557 HAS SOPS 200223 HAS SOUS 47802 HAS SOUPS 47501 WITH SCORE 47709.557
AT ITER 2352 NEW BEST:: SOT 258219 SOS 208524 HAS SOPS 200190 HAS SOUS 47746 HAS SOUPS 47445 WITH SCORE 47653.524
AT ITER 2373 NEW BEST:: SOT 258156 SOS 208499 HAS SOPS 200167 HAS SOUS 47658 HAS SOUPS 47359 WITH SCORE 47567.499
AT ITER 2380 NEW BEST:: SOT 258123 SOS 208466 HAS SOPS 200134 HAS SOUS 47633 HAS SOUPS 47334 WITH SCORE 47542.466
AT ITER 2386 NEW BEST:: SOT 258123 SOS 208501 HAS SOPS 200169 HAS SOUS 47629 HAS SOUPS 47330 WITH SCORE 47538.501
AT ITER 2398 NEW BEST:: SOT 258117 SOS 208495 HAS SOPS 200163 HAS SOUS 47621 HAS SOUPS 47322 WITH SCORE 47530.495
AT ITER 2431 NEW BEST:: SOT 258347 SOS 208700 HAS SOPS 200393 HAS SOUS 47468 HAS SOUPS 47194 WITH SCORE 47402.7
AT ITER 2436 NEW BEST:: SOT 258363 SOS 208716 HAS SOPS 200409 HAS SOUS 47464 HAS SOUPS 47190 WITH SCORE 47398.716
AT ITER 2463 NEW BEST:: SOT 258333 SOS 208686 HAS SOPS 200379 HAS SOUS 47464 HAS SOUPS 47190 WITH SCORE 47398.686
AT ITER 2467 NEW BEST:: SOT 258333 SOS 208686 HAS SOPS 200379 HAS SOUS 47459 HAS SOUPS 47185 WITH SCORE 47393.686
AT ITER 2473 NEW BEST:: SOT 258325 SOS 208678 HAS SOPS 200371 HAS SOUS 47451 HAS SOUPS 47177 WITH SCORE 47385.678
AT ITER 2485 NEW BEST:: SOT 258316 SOS 208669 HAS SOPS 200362 HAS SOUS 47399 HAS SOUPS 47125 WITH SCORE 47333.669
AT ITER 2493 NEW BEST:: SOT 258253 SOS 208606 HAS SOPS 200299 HAS SOUS 47292 HAS SOUPS 47018 WITH SCORE 47226.606
AT ITER 2517 NEW BEST:: SOT 258136 SOS 208489 HAS SOPS 200182 HAS SOUS 47175 HAS SOUPS 46901 WITH SCORE 47109.489
AT ITER 2530 NEW BEST:: SOT 258411 SOS 208740 HAS SOPS 200457 HAS SOUS 47126 HAS SOUPS 46876 WITH SCORE 47084.74
AT ITER 2533 NEW BEST:: SOT 258407 SOS 208736 HAS SOPS 200453 HAS SOUS 47122 HAS SOUPS 46872 WITH SCORE 47080.736
AT ITER 2545 NEW BEST:: SOT 258337 SOS 208531 HAS SOPS 200248 HAS SOUS 47032 HAS SOUPS 46782 WITH SCORE 46990.531
AT ITER 2581 NEW BEST:: SOT 258337 SOS 208537 HAS SOPS 200254 HAS SOUS 47028 HAS SOUPS 46778 WITH SCORE 46986.537
AT ITER 2588 NEW BEST:: SOT 258337 SOS 208747 HAS SOPS 200464 HAS SOUS 46980 HAS SOUPS 46730 WITH SCORE 46938.747
AT ITER 2614 NEW BEST:: SOT 258335 SOS 208745 HAS SOPS 200462 HAS SOUS 46978 HAS SOUPS 46728 WITH SCORE 46936.745
AT ITER 2655 NEW BEST:: SOT 258335 SOS 208745 HAS SOPS 200462 HAS SOUS 46972 HAS SOUPS 46722 WITH SCORE 46930.745
AT ITER 2664 NEW BEST:: SOT 258335 SOS 208083 HAS SOPS 199500 HAS SOUS 46972 HAS SOUPS 46722 WITH SCORE 46930.083
AT ITER 2667 NEW BEST:: SOT 258231 SOS 207992 HAS SOPS 199409 HAS SOUS 46865 HAS SOUPS 46615 WITH SCORE 46822.992
AT ITER 2680 NEW BEST:: SOT 258211 SOS 207972 HAS SOPS 199389 HAS SOUS 46844 HAS SOUPS 46594 WITH SCORE 46801.972
AT ITER 2684 NEW BEST:: SOT 258197 SOS 207881 HAS SOPS 199294 HAS SOUS 46831 HAS SOUPS 46577 WITH SCORE 46784.881
AT ITER 2686 NEW BEST:: SOT 258218 SOS 208532 HAS SOPS 199945 HAS SOUS 46806 HAS SOUPS 46552 WITH SCORE 46760.532
AT ITER 2759 NEW BEST:: SOT 258116 SOS 208413 HAS SOPS 199843 HAS SOUS 46684 HAS SOUPS 46447 WITH SCORE 46655.413
AT ITER 2768 NEW BEST:: SOT 258571 SOS 208884 HAS SOPS 200314 HAS SOUS 46616 HAS SOUPS 46379 WITH SCORE 46587.884
AT ITER 2771 NEW BEST:: SOT 258571 SOS 208884 HAS SOPS 200314 HAS SOUS 46615 HAS SOUPS 46378 WITH SCORE 46586.884
AT ITER 2787 NEW BEST:: SOT 258571 SOS 209817 HAS SOPS 201259 HAS SOUS 46527 HAS SOUPS 46302 WITH SCORE 46511.817
AT ITER 2814 NEW BEST:: SOT 258571 SOS 209841 HAS SOPS 201283 HAS SOUS 46524 HAS SOUPS 46299 WITH SCORE 46508.841
AT ITER 2819 NEW BEST:: SOT 258571 SOS 209841 HAS SOPS 201283 HAS SOUS 46515 HAS SOUPS 46290 WITH SCORE 46499.841
AT ITER 2825 NEW BEST:: SOT 258571 SOS 209939 HAS SOPS 201381 HAS SOUS 46501 HAS SOUPS 46276 WITH SCORE 46485.939
AT ITER 2835 NEW BEST:: SOT 258329 SOS 210049 HAS SOPS 201491 HAS SOUS 46302 HAS SOUPS 46077 WITH SCORE 46287.049
AT ITER 2836 NEW BEST:: SOT 258323 SOS 210043 HAS SOPS 201485 HAS SOUS 46302 HAS SOUPS 46077 WITH SCORE 46287.043
AT ITER 2965 NEW BEST:: SOT 258323 SOS 210043 HAS SOPS 201485 HAS SOUS 46287 HAS SOUPS 46062 WITH SCORE 46272.043
AT ITER 2966 NEW BEST:: SOT 258323 SOS 210043 HAS SOPS 201485 HAS SOUS 46280 HAS SOUPS 46055 WITH SCORE 46265.043
AT ITER 3008 NEW BEST:: SOT 258334 SOS 210054 HAS SOPS 201496 HAS SOUS 46265 HAS SOUPS 46040 WITH SCORE 46250.054
AT ITER 3023 NEW BEST:: SOT 258334 SOS 212099 HAS SOPS 201461 HAS SOUS 46267 HAS SOUPS 46037 WITH SCORE 46249.099
AT ITER 3025 NEW BEST:: SOT 258334 SOS 212099 HAS SOPS 201461 HAS SOUS 46252 HAS SOUPS 46022 WITH SCORE 46234.099
AT ITER 3044 NEW BEST:: SOT 258213 SOS 211978 HAS SOPS 201340 HAS SOUS 46127 HAS SOUPS 45897 WITH SCORE 46108.978
AT ITER 3067 NEW BEST:: SOT 258213 SOS 212282 HAS SOPS 198134 HAS SOUS 46109 HAS SOUPS 45879 WITH SCORE 46091.282
AT ITER 3084 NEW BEST:: SOT 257996 SOS 212067 HAS SOPS 197919 HAS SOUS 45993 HAS SOUPS 45763 WITH SCORE 45975.067
AT ITER 3088 NEW BEST:: SOT 257996 SOS 212067 HAS SOPS 197919 HAS SOUS 45992 HAS SOUPS 45762 WITH SCORE 45974.067
AT ITER 3097 NEW BEST:: SOT 257996 SOS 212067 HAS SOPS 198229 HAS SOUS 45991 HAS SOUPS 45761 WITH SCORE 45973.067
AT ITER 3138 NEW BEST:: SOT 257996 SOS 212067 HAS SOPS 198229 HAS SOUS 45987 HAS SOUPS 45757 WITH SCORE 45969.067
AT ITER 3159 NEW BEST:: SOT 257996 SOS 212067 HAS SOPS 198019 HAS SOUS 45985 HAS SOUPS 45755 WITH SCORE 45967.067
AT ITER 3163 NEW BEST:: SOT 257851 SOS 211924 HAS SOPS 197876 HAS SOUS 45983 HAS SOUPS 45753 WITH SCORE 45964.924
AT ITER 3179 NEW BEST:: SOT 257834 SOS 210902 HAS SOPS 196836 HAS SOUS 45974 HAS SOUPS 45726 WITH SCORE 45936.902
AT ITER 3187 NEW BEST:: SOT 257808 SOS 210876 HAS SOPS 196810 HAS SOUS 45945 HAS SOUPS 45697 WITH SCORE 45907.876
AT ITER 3233 NEW BEST:: SOT 257736 SOS 210796 HAS SOPS 196738 HAS SOUS 45857 HAS SOUPS 45617 WITH SCORE 45827.796
AT ITER 3242 NEW BEST:: SOT 257674 SOS 210698 HAS SOPS 196634 HAS SOUS 45791 HAS SOUPS 45545 WITH SCORE 45755.698
AT ITER 3251 NEW BEST:: SOT 257656 SOS 210680 HAS SOPS 196616 HAS SOUS 45756 HAS SOUPS 45510 WITH SCORE 45720.68
AT ITER 3253 NEW BEST:: SOT 257656 SOS 210780 HAS SOPS 194652 HAS SOUS 45746 HAS SOUPS 45500 WITH SCORE 45710.78
AT ITER 3273 NEW BEST:: SOT 257656 SOS 210780 HAS SOPS 194652 HAS SOUS 45742 HAS SOUPS 45496 WITH SCORE 45706.78
AT ITER 3285 NEW BEST:: SOT 257644 SOS 210752 HAS SOPS 194617 HAS SOUS 45611 HAS SOUPS 45358 WITH SCORE 45568.752
AT ITER 3307 NEW BEST:: SOT 257553 SOS 210661 HAS SOPS 194526 HAS SOUS 45599 HAS SOUPS 45346 WITH SCORE 45556.661
AT ITER 3347 NEW BEST:: SOT 257553 SOS 210661 HAS SOPS 194526 HAS SOUS 45590 HAS SOUPS 45337 WITH SCORE 45547.661
AT ITER 3348 NEW BEST:: SOT 257553 SOS 210699 HAS SOPS 193946 HAS SOUS 45568 HAS SOUPS 45315 WITH SCORE 45525.699
AT ITER 3362 NEW BEST:: SOT 257618 SOS 211168 HAS SOPS 194399 HAS SOUS 45566 HAS SOUPS 45313 WITH SCORE 45524.168
AT ITER 3379 NEW BEST:: SOT 257618 SOS 211136 HAS SOPS 194728 HAS SOUS 45566 HAS SOUPS 45313 WITH SCORE 45524.136
AT ITER 3387 NEW BEST:: SOT 257616 SOS 211134 HAS SOPS 194726 HAS SOUS 45564 HAS SOUPS 45311 WITH SCORE 45522.134
AT ITER 3389 NEW BEST:: SOT 257601 SOS 211119 HAS SOPS 194711 HAS SOUS 45549 HAS SOUPS 45296 WITH SCORE 45507.119
AT ITER 3415 NEW BEST:: SOT 257601 SOS 211266 HAS SOPS 194953 HAS SOUS 45528 HAS SOUPS 45275 WITH SCORE 45486.266
AT ITER 3418 NEW BEST:: SOT 257601 SOS 211266 HAS SOPS 194953 HAS SOUS 45518 HAS SOUPS 45265 WITH SCORE 45476.266
AT ITER 3476 NEW BEST:: SOT 257576 SOS 211241 HAS SOPS 194928 HAS SOUS 45486 HAS SOUPS 45233 WITH SCORE 45444.241
AT ITER 3505 NEW BEST:: SOT 257576 SOS 210803 HAS SOPS 194312 HAS SOUS 45486 HAS SOUPS 45233 WITH SCORE 45443.803
AT ITER 3514 NEW BEST:: SOT 257398 SOS 210970 HAS SOPS 194479 HAS SOUS 45347 HAS SOUPS 45094 WITH SCORE 45304.97
AT ITER 3516 NEW BEST:: SOT 257398 SOS 210970 HAS SOPS 194439 HAS SOUS 45345 HAS SOUPS 45092 WITH SCORE 45302.97
AT ITER 3522 NEW BEST:: SOT 257429 SOS 211001 HAS SOPS 194470 HAS SOUS 45344 HAS SOUPS 45091 WITH SCORE 45302.001
AT ITER 3537 NEW BEST:: SOT 257429 SOS 211281 HAS SOPS 195126 HAS SOUS 45332 HAS SOUPS 45079 WITH SCORE 45290.281
AT ITER 3568 NEW BEST:: SOT 257429 SOS 211281 HAS SOPS 195126 HAS SOUS 45330 HAS SOUPS 45077 WITH SCORE 45288.281
AT ITER 3574 NEW BEST:: SOT 257429 SOS 211281 HAS SOPS 195126 HAS SOUS 45328 HAS SOUPS 45075 WITH SCORE 45286.281
AT ITER 3625 NEW BEST:: SOT 257350 SOS 211202 HAS SOPS 195047 HAS SOUS 45253 HAS SOUPS 45000 WITH SCORE 45211.202
AT ITER 3628 NEW BEST:: SOT 257350 SOS 211202 HAS SOPS 195047 HAS SOUS 45252 HAS SOUPS 44999 WITH SCORE 45210.202
AT ITER 3629 NEW BEST:: SOT 257274 SOS 211126 HAS SOPS 194971 HAS SOUS 45237 HAS SOUPS 44984 WITH SCORE 45195.126
AT ITER 3631 NEW BEST:: SOT 257214 SOS 211066 HAS SOPS 194905 HAS SOUS 45143 HAS SOUPS 44884 WITH SCORE 45095.066
AT ITER 3725 NEW BEST:: SOT 257195 SOS 211011 HAS SOPS 194814 HAS SOUS 45122 HAS SOUPS 44827 WITH SCORE 45038.011
AT ITER 3742 NEW BEST:: SOT 257195 SOS 211011 HAS SOPS 195131 HAS SOUS 45093 HAS SOUPS 44798 WITH SCORE 45009.011
AT ITER 3750 NEW BEST:: SOT 257154 SOS 210532 HAS SOPS 194998 HAS SOUS 45070 HAS SOUPS 44775 WITH SCORE 44985.532
AT ITER 3763 NEW BEST:: SOT 257154 SOS 210530 HAS SOPS 194996 HAS SOUS 45068 HAS SOUPS 44773 WITH SCORE 44983.53
AT ITER 3771 NEW BEST:: SOT 257155 SOS 210531 HAS SOPS 194997 HAS SOUS 45061 HAS SOUPS 44766 WITH SCORE 44976.531
AT ITER 3792 NEW BEST:: SOT 257155 SOS 210531 HAS SOPS 194997 HAS SOUS 45059 HAS SOUPS 44764 WITH SCORE 44974.531
AT ITER 3834 NEW BEST:: SOT 257154 SOS 210530 HAS SOPS 194996 HAS SOUS 45058 HAS SOUPS 44763 WITH SCORE 44973.53
AT ITER 3866 NEW BEST:: SOT 257073 SOS 210449 HAS SOPS 194915 HAS SOUS 44985 HAS SOUPS 44690 WITH SCORE 44900.449
AT ITER 3874 NEW BEST:: SOT 256971 SOS 210370 HAS SOPS 194813 HAS SOUS 45000 HAS SOUPS 44682 WITH SCORE 44892.37
AT ITER 3905 NEW BEST:: SOT 256971 SOS 210361 HAS SOPS 194813 HAS SOUS 44988 HAS SOUPS 44679 WITH SCORE 44889.361
AT ITER 3912 NEW BEST:: SOT 255926 SOS 208228 HAS SOPS 199955 HAS SOUS 44121 HAS SOUPS 43843 WITH SCORE 44051.228
AT ITER 3914 NEW BEST:: SOT 255926 SOS 208664 HAS SOPS 200757 HAS SOUS 44120 HAS SOUPS 43842 WITH SCORE 44050.664
AT ITER 3934 NEW BEST:: SOT 255944 SOS 208682 HAS SOPS 200775 HAS SOUS 44102 HAS SOUPS 43824 WITH SCORE 44032.682
AT ITER 3967 NEW BEST:: SOT 255895 SOS 208633 HAS SOPS 200726 HAS SOUS 44082 HAS SOUPS 43804 WITH SCORE 44012.633
AT ITER 3974 NEW BEST:: SOT 255895 SOS 208794 HAS SOPS 201116 HAS SOUS 44059 HAS SOUPS 43781 WITH SCORE 43989.794
AT ITER 3989 NEW BEST:: SOT 255841 SOS 208743 HAS SOPS 201065 HAS SOUS 44000 HAS SOUPS 43722 WITH SCORE 43930.743
AT ITER 4019 NEW BEST:: SOT 255841 SOS 208801 HAS SOPS 196391 HAS SOUS 43957 HAS SOUPS 43679 WITH SCORE 43887.801
AT ITER 4031 NEW BEST:: SOT 255841 SOS 208801 HAS SOPS 196391 HAS SOUS 43951 HAS SOUPS 43673 WITH SCORE 43881.801
AT ITER 4033 NEW BEST:: SOT 255841 SOS 208459 HAS SOPS 195159 HAS SOUS 43951 HAS SOUPS 43673 WITH SCORE 43881.459
AT ITER 4044 NEW BEST:: SOT 255785 SOS 208410 HAS SOPS 195103 HAS SOUS 43888 HAS SOUPS 43603 WITH SCORE 43811.41
AT ITER 4048 NEW BEST:: SOT 255820 SOS 208445 HAS SOPS 195138 HAS SOUS 43869 HAS SOUPS 43584 WITH SCORE 43792.445
AT ITER 4049 NEW BEST:: SOT 255819 SOS 208444 HAS SOPS 195137 HAS SOUS 43867 HAS SOUPS 43582 WITH SCORE 43790.444
AT ITER 4055 NEW BEST:: SOT 255819 SOS 208460 HAS SOPS 195153 HAS SOUS 43860 HAS SOUPS 43575 WITH SCORE 43783.46
AT ITER 4056 NEW BEST:: SOT 255797 SOS 208438 HAS SOPS 195491 HAS SOUS 43853 HAS SOUPS 43568 WITH SCORE 43776.438
AT ITER 4062 NEW BEST:: SOT 255793 SOS 208434 HAS SOPS 195463 HAS SOUS 43725 HAS SOUPS 43416 WITH SCORE 43624.434
AT ITER 4074 NEW BEST:: SOT 255793 SOS 208434 HAS SOPS 195463 HAS SOUS 43719 HAS SOUPS 43410 WITH SCORE 43618.434
AT ITER 4081 NEW BEST:: SOT 255793 SOS 208500 HAS SOPS 194679 HAS SOUS 43313 HAS SOUPS 43004 WITH SCORE 43212.5
AT ITER 4082 NEW BEST:: SOT 255793 SOS 208492 HAS SOPS 194671 HAS SOUS 43311 HAS SOUPS 43002 WITH SCORE 43210.492
AT ITER 4098 NEW BEST:: SOT 255793 SOS 208492 HAS SOPS 194671 HAS SOUS 43309 HAS SOUPS 43000 WITH SCORE 43208.492
AT ITER 4132 NEW BEST:: SOT 255793 SOS 208320 HAS SOPS 194543 HAS SOUS 43309 HAS SOUPS 43000 WITH SCORE 43208.32
AT ITER 4145 NEW BEST:: SOT 255655 SOS 208159 HAS SOPS 194410 HAS SOUS 43010 HAS SOUPS 42729 WITH SCORE 42937.159
AT ITER 4152 NEW BEST:: SOT 255635 SOS 208139 HAS SOPS 194390 HAS SOUS 42990 HAS SOUPS 42709 WITH SCORE 42917.139
AT ITER 4181 NEW BEST:: SOT 255635 SOS 208139 HAS SOPS 194390 HAS SOUS 42983 HAS SOUPS 42702 WITH SCORE 42910.139
AT ITER 4185 NEW BEST:: SOT 255617 SOS 208121 HAS SOPS 194372 HAS SOUS 42956 HAS SOUPS 42675 WITH SCORE 42883.121
AT ITER 4186 NEW BEST:: SOT 255615 SOS 208119 HAS SOPS 194370 HAS SOUS 42954 HAS SOUPS 42673 WITH SCORE 42881.119
AT ITER 4212 NEW BEST:: SOT 255606 SOS 208110 HAS SOPS 194361 HAS SOUS 42941 HAS SOUPS 42660 WITH SCORE 42868.11
AT ITER 4233 NEW BEST:: SOT 255592 SOS 208092 HAS SOPS 194343 HAS SOUS 42912 HAS SOUPS 42631 WITH SCORE 42839.092
AT ITER 4298 NEW BEST:: SOT 255584 SOS 208084 HAS SOPS 194335 HAS SOUS 42904 HAS SOUPS 42623 WITH SCORE 42831.084
AT ITER 4344 NEW BEST:: SOT 255584 SOS 207888 HAS SOPS 194320 HAS SOUS 42904 HAS SOUPS 42623 WITH SCORE 42830.888
AT ITER 4376 NEW BEST:: SOT 255558 SOS 207862 HAS SOPS 194294 HAS SOUS 42900 HAS SOUPS 42619 WITH SCORE 42826.862
AT ITER 4395 NEW BEST:: SOT 255560 SOS 207861 HAS SOPS 194293 HAS SOUS 42899 HAS SOUPS 42618 WITH SCORE 42825.861
AT ITER 4406 NEW BEST:: SOT 255570 SOS 207876 HAS SOPS 194308 HAS SOUS 42898 HAS SOUPS 42617 WITH SCORE 42824.876
AT ITER 4427 NEW BEST:: SOT 255568 SOS 207874 HAS SOPS 194306 HAS SOUS 42896 HAS SOUPS 42615 WITH SCORE 42822.874
AT ITER 4428 NEW BEST:: SOT 255426 SOS 207797 HAS SOPS 194229 HAS SOUS 42754 HAS SOUPS 42473 WITH SCORE 42680.797
AT ITER 4429 NEW BEST:: SOT 255403 SOS 207774 HAS SOPS 194206 HAS SOUS 42751 HAS SOUPS 42470 WITH SCORE 42677.774
AT ITER 4430 NEW BEST:: SOT 255397 SOS 207768 HAS SOPS 194200 HAS SOUS 42745 HAS SOUPS 42464 WITH SCORE 42671.768
AT ITER 4455 NEW BEST:: SOT 255388 SOS 207759 HAS SOPS 194191 HAS SOUS 42736 HAS SOUPS 42455 WITH SCORE 42662.759
AT ITER 4484 NEW BEST:: SOT 255242 SOS 207619 HAS SOPS 194051 HAS SOUS 42594 HAS SOUPS 42313 WITH SCORE 42520.619
AT ITER 4486 NEW BEST:: SOT 255268 SOS 207645 HAS SOPS 194077 HAS SOUS 42593 HAS SOUPS 42312 WITH SCORE 42519.645
AT ITER 4492 NEW BEST:: SOT 255220 SOS 207555 HAS SOPS 193987 HAS SOUS 42526 HAS SOUPS 42245 WITH SCORE 42452.555
AT ITER 4498 NEW BEST:: SOT 255220 SOS 207831 HAS SOPS 190126 HAS SOUS 42525 HAS SOUPS 42244 WITH SCORE 42451.831
AT ITER 4507 NEW BEST:: SOT 255220 SOS 207828 HAS SOPS 190123 HAS SOUS 42519 HAS SOUPS 42238 WITH SCORE 42445.828
AT ITER 4517 NEW BEST:: SOT 255230 SOS 207838 HAS SOPS 190133 HAS SOUS 42479 HAS SOUPS 42198 WITH SCORE 42405.838
AT ITER 4521 NEW BEST:: SOT 255091 SOS 207702 HAS SOPS 189997 HAS SOUS 42467 HAS SOUPS 42186 WITH SCORE 42393.702
AT ITER 4524 NEW BEST:: SOT 255086 SOS 207697 HAS SOPS 189992 HAS SOUS 42463 HAS SOUPS 42182 WITH SCORE 42389.697
AT ITER 4582 NEW BEST:: SOT 254972 SOS 206201 HAS SOPS 188438 HAS SOUS 42509 HAS SOUPS 42170 WITH SCORE 42376.201
AT ITER 4600 NEW BEST:: SOT 254957 SOS 206186 HAS SOPS 188423 HAS SOUS 42494 HAS SOUPS 42155 WITH SCORE 42361.186
AT ITER 4640 NEW BEST:: SOT 254955 SOS 206184 HAS SOPS 188421 HAS SOUS 42492 HAS SOUPS 42153 WITH SCORE 42359.184
AT ITER 4649 NEW BEST:: SOT 254984 SOS 206209 HAS SOPS 188450 HAS SOUS 42483 HAS SOUPS 42148 WITH SCORE 42354.209
AT ITER 4663 NEW BEST:: SOT 254984 SOS 206111 HAS SOPS 188377 HAS SOUS 42483 HAS SOUPS 42148 WITH SCORE 42354.111
AT ITER 4667 NEW BEST:: SOT 254984 SOS 206111 HAS SOPS 188377 HAS SOUS 42481 HAS SOUPS 42146 WITH SCORE 42352.111
AT ITER 4687 NEW BEST:: SOT 254964 SOS 206093 HAS SOPS 188359 HAS SOUS 42465 HAS SOUPS 42130 WITH SCORE 42336.093
AT ITER 4694 NEW BEST:: SOT 254964 SOS 206093 HAS SOPS 188359 HAS SOUS 42431 HAS SOUPS 42096 WITH SCORE 42302.093
AT ITER 4698 NEW BEST:: SOT 254964 SOS 205907 HAS SOPS 188173 HAS SOUS 42410 HAS SOUPS 42075 WITH SCORE 42280.907
AT ITER 4722 NEW BEST:: SOT 254964 SOS 204054 HAS SOPS 186220 HAS SOUS 42418 HAS SOUPS 41983 WITH SCORE 42187.054
AT ITER 4752 NEW BEST:: SOT 254671 SOS 203755 HAS SOPS 185927 HAS SOUS 42051 HAS SOUPS 41622 WITH SCORE 41825.755
AT ITER 4777 NEW BEST:: SOT 254671 SOS 203755 HAS SOPS 185927 HAS SOUS 42050 HAS SOUPS 41621 WITH SCORE 41824.755
AT ITER 4837 NEW BEST:: SOT 254671 SOS 203755 HAS SOPS 185918 HAS SOUS 42048 HAS SOUPS 41619 WITH SCORE 41822.755
AT ITER 4864 NEW BEST:: SOT 254692 SOS 203776 HAS SOPS 185939 HAS SOUS 41894 HAS SOUPS 41465 WITH SCORE 41668.776
AT ITER 4898 NEW BEST:: SOT 254689 SOS 203759 HAS SOPS 185922 HAS SOUS 41889 HAS SOUPS 41460 WITH SCORE 41663.759
AT ITER 4900 NEW BEST:: SOT 254689 SOS 203759 HAS SOPS 185922 HAS SOUS 41887 HAS SOUPS 41458 WITH SCORE 41661.759
AT ITER 4906 NEW BEST:: SOT 254690 SOS 203760 HAS SOPS 185923 HAS SOUS 41875 HAS SOUPS 41446 WITH SCORE 41649.76
AT ITER 4920 NEW BEST:: SOT 254690 SOS 203781 HAS SOPS 184495 HAS SOUS 41833 HAS SOUPS 41404 WITH SCORE 41607.781
AT ITER 4922 NEW BEST:: SOT 254714 SOS 203815 HAS SOPS 184565 HAS SOUS 41690 HAS SOUPS 41297 WITH SCORE 41500.815
AT ITER 4940 NEW BEST:: SOT 254719 SOS 203820 HAS SOPS 184570 HAS SOUS 41587 HAS SOUPS 41194 WITH SCORE 41397.82
AT ITER 4957 NEW BEST:: SOT 254719 SOS 203806 HAS SOPS 184560 HAS SOUS 41587 HAS SOUPS 41194 WITH SCORE 41397.806
AT ITER 4963 NEW BEST:: SOT 254719 SOS 203806 HAS SOPS 184560 HAS SOUS 41586 HAS SOUPS 41193 WITH SCORE 41396.806
AT ITER 4969 NEW BEST:: SOT 254719 SOS 203589 HAS SOPS 184230 HAS SOUS 41521 HAS SOUPS 41128 WITH SCORE 41331.589
AT ITER 4970 NEW BEST:: SOT 254665 SOS 203535 HAS SOPS 184176 HAS SOUS 41467 HAS SOUPS 41074 WITH SCORE 41277.535
AT ITER 4988 NEW BEST:: SOT 254625 SOS 203494 HAS SOPS 184135 HAS SOUS 41466 HAS SOUPS 41073 WITH SCORE 41276.494
AT ITER 5028 NEW BEST:: SOT 254625 SOS 202986 HAS SOPS 181957 HAS SOUS 41455 HAS SOUPS 41062 WITH SCORE 41264.986
AT ITER 5070 NEW BEST:: SOT 254598 SOS 202995 HAS SOPS 181986 HAS SOUS 41428 HAS SOUPS 41035 WITH SCORE 41237.995
AT ITER 5071 NEW BEST:: SOT 254598 SOS 202995 HAS SOPS 182140 HAS SOUS 41414 HAS SOUPS 41021 WITH SCORE 41223.995
AT ITER 5099 NEW BEST:: SOT 254478 SOS 202979 HAS SOPS 182124 HAS SOUS 41294 HAS SOUPS 40901 WITH SCORE 41103.979
AT ITER 5139 NEW BEST:: SOT 254473 SOS 202974 HAS SOPS 182119 HAS SOUS 41289 HAS SOUPS 40896 WITH SCORE 41098.974
AT ITER 5146 NEW BEST:: SOT 254473 SOS 202960 HAS SOPS 182105 HAS SOUS 41288 HAS SOUPS 40895 WITH SCORE 41097.96
AT ITER 5166 NEW BEST:: SOT 254473 SOS 202968 HAS SOPS 182105 HAS SOUS 41244 HAS SOUPS 40843 WITH SCORE 41045.968
AT ITER 5192 NEW BEST:: SOT 254468 SOS 202939 HAS SOPS 182276 HAS SOUS 41244 HAS SOUPS 40843 WITH SCORE 41045.939
AT ITER 5197 NEW BEST:: SOT 254468 SOS 202939 HAS SOPS 182203 HAS SOUS 41237 HAS SOUPS 40836 WITH SCORE 41038.939
AT ITER 5208 NEW BEST:: SOT 254468 SOS 202954 HAS SOPS 181033 HAS SOUS 41235 HAS SOUPS 40834 WITH SCORE 41036.954
AT ITER 5228 NEW BEST:: SOT 254461 SOS 202947 HAS SOPS 181026 HAS SOUS 41228 HAS SOUPS 40827 WITH SCORE 41029.947
AT ITER 5246 NEW BEST:: SOT 254446 SOS 202931 HAS SOPS 181011 HAS SOUS 41206 HAS SOUPS 40806 WITH SCORE 41008.931
AT ITER 5263 NEW BEST:: SOT 254446 SOS 202931 HAS SOPS 181011 HAS SOUS 41198 HAS SOUPS 40798 WITH SCORE 41000.931
AT ITER 5274 NEW BEST:: SOT 254369 SOS 202812 HAS SOPS 180934 HAS SOUS 41043 HAS SOUPS 40685 WITH SCORE 40887.812
AT ITER 5315 NEW BEST:: SOT 254369 SOS 202812 HAS SOPS 180934 HAS SOUS 41039 HAS SOUPS 40681 WITH SCORE 40883.812
AT ITER 5348 NEW BEST:: SOT 254369 SOS 202812 HAS SOPS 180934 HAS SOUS 41037 HAS SOUPS 40679 WITH SCORE 40881.812
AT ITER 5354 NEW BEST:: SOT 254749 SOS 203202 HAS SOPS 181324 HAS SOUS 41002 HAS SOUPS 40644 WITH SCORE 40847.202
AT ITER 5398 NEW BEST:: SOT 254749 SOS 203184 HAS SOPS 181306 HAS SOUS 40993 HAS SOUPS 40635 WITH SCORE 40838.184
AT ITER 5403 NEW BEST:: SOT 254622 SOS 203087 HAS SOPS 181209 HAS SOUS 40881 HAS SOUPS 40523 WITH SCORE 40726.087
AT ITER 5404 NEW BEST:: SOT 254482 SOS 202947 HAS SOPS 181069 HAS SOUS 40859 HAS SOUPS 40501 WITH SCORE 40703.947
AT ITER 5410 NEW BEST:: SOT 254462 SOS 202925 HAS SOPS 181049 HAS SOUS 40853 HAS SOUPS 40497 WITH SCORE 40699.925
AT ITER 5412 NEW BEST:: SOT 254467 SOS 202930 HAS SOPS 181054 HAS SOUS 40850 HAS SOUPS 40494 WITH SCORE 40696.93
AT ITER 5417 NEW BEST:: SOT 254556 SOS 203021 HAS SOPS 181145 HAS SOUS 40840 HAS SOUPS 40484 WITH SCORE 40687.021
AT ITER 5450 NEW BEST:: SOT 254526 SOS 202991 HAS SOPS 181115 HAS SOUS 40804 HAS SOUPS 40448 WITH SCORE 40650.991
AT ITER 5481 NEW BEST:: SOT 254526 SOS 202916 HAS SOPS 181049 HAS SOUS 40804 HAS SOUPS 40448 WITH SCORE 40650.916
AT ITER 5501 NEW BEST:: SOT 254526 SOS 202916 HAS SOPS 181181 HAS SOUS 40792 HAS SOUPS 40436 WITH SCORE 40638.916
AT ITER 5539 NEW BEST:: SOT 254558 SOS 202948 HAS SOPS 181213 HAS SOUS 40734 HAS SOUPS 40378 WITH SCORE 40580.948
AT ITER 5546 NEW BEST:: SOT 254526 SOS 202916 HAS SOPS 181181 HAS SOUS 40734 HAS SOUPS 40378 WITH SCORE 40580.916
AT ITER 5573 NEW BEST:: SOT 254526 SOS 202940 HAS SOPS 179785 HAS SOUS 40731 HAS SOUPS 40361 WITH SCORE 40563.94
AT ITER 5620 NEW BEST:: SOT 254491 SOS 202883 HAS SOPS 179728 HAS SOUS 40674 HAS SOUPS 40304 WITH SCORE 40506.883
AT ITER 5632 NEW BEST:: SOT 254494 SOS 202886 HAS SOPS 179731 HAS SOUS 40671 HAS SOUPS 40301 WITH SCORE 40503.886
AT ITER 5640 NEW BEST:: SOT 254549 SOS 202935 HAS SOPS 179795 HAS SOUS 40622 HAS SOUPS 40267 WITH SCORE 40469.935
AT ITER 5648 NEW BEST:: SOT 254549 SOS 202934 HAS SOPS 179883 HAS SOUS 40622 HAS SOUPS 40267 WITH SCORE 40469.934
AT ITER 5690 NEW BEST:: SOT 254549 SOS 202934 HAS SOPS 179883 HAS SOUS 40620 HAS SOUPS 40265 WITH SCORE 40467.934
AT ITER 5701 NEW BEST:: SOT 254534 SOS 202914 HAS SOPS 179863 HAS SOUS 40620 HAS SOUPS 40265 WITH SCORE 40467.914
AT ITER 5708 NEW BEST:: SOT 254450 SOS 202830 HAS SOPS 179779 HAS SOUS 40536 HAS SOUPS 40181 WITH SCORE 40383.83
AT ITER 5762 NEW BEST:: SOT 254450 SOS 202830 HAS SOPS 179779 HAS SOUS 40535 HAS SOUPS 40180 WITH SCORE 40382.83
AT ITER 5764 NEW BEST:: SOT 254442 SOS 202822 HAS SOPS 179771 HAS SOUS 40531 HAS SOUPS 40176 WITH SCORE 40378.822
AT ITER 5800 NEW BEST:: SOT 254443 SOS 202823 HAS SOPS 179772 HAS SOUS 40530 HAS SOUPS 40175 WITH SCORE 40377.823
AT ITER 5827 NEW BEST:: SOT 254443 SOS 202831 HAS SOPS 179710 HAS SOUS 40469 HAS SOUPS 40114 WITH SCORE 40316.831
AT ITER 5836 NEW BEST:: SOT 254443 SOS 202831 HAS SOPS 179710 HAS SOUS 40466 HAS SOUPS 40111 WITH SCORE 40313.831
AT ITER 5851 NEW BEST:: SOT 254443 SOS 202831 HAS SOPS 179710 HAS SOUS 40465 HAS SOUPS 40110 WITH SCORE 40312.831
AT ITER 5879 NEW BEST:: SOT 254440 SOS 202818 HAS SOPS 179697 HAS SOUS 40462 HAS SOUPS 40107 WITH SCORE 40309.818
AT ITER 5886 NEW BEST:: SOT 254440 SOS 202818 HAS SOPS 179697 HAS SOUS 40460 HAS SOUPS 40105 WITH SCORE 40307.818
AT ITER 5934 NEW BEST:: SOT 254440 SOS 202818 HAS SOPS 179991 HAS SOUS 40452 HAS SOUPS 40097 WITH SCORE 40299.818
AT ITER 5960 NEW BEST:: SOT 254368 SOS 202749 HAS SOPS 179922 HAS SOUS 40383 HAS SOUPS 40028 WITH SCORE 40230.749
AT ITER 5990 NEW BEST:: SOT 254307 SOS 202646 HAS SOPS 179819 HAS SOUS 40316 HAS SOUPS 39961 WITH SCORE 40163.646
AT ITER 6040 NEW BEST:: SOT 254303 SOS 202642 HAS SOPS 179815 HAS SOUS 40312 HAS SOUPS 39957 WITH SCORE 40159.642
AT ITER 6061 NEW BEST:: SOT 254372 SOS 203790 HAS SOPS 180404 HAS SOUS 40265 HAS SOUPS 39910 WITH SCORE 40113.79
AT ITER 6079 NEW BEST:: SOT 254372 SOS 203524 HAS SOPS 180225 HAS SOUS 40252 HAS SOUPS 39897 WITH SCORE 40100.524
AT ITER 6112 NEW BEST:: SOT 254379 SOS 203531 HAS SOPS 180232 HAS SOUS 40215 HAS SOUPS 39860 WITH SCORE 40063.531
AT ITER 6116 NEW BEST:: SOT 254379 SOS 203462 HAS SOPS 178552 HAS SOUS 40215 HAS SOUPS 39860 WITH SCORE 40063.462
AT ITER 6127 NEW BEST:: SOT 254379 SOS 203462 HAS SOPS 178833 HAS SOUS 40188 HAS SOUPS 39833 WITH SCORE 40036.462
AT ITER 6156 NEW BEST:: SOT 254363 SOS 203438 HAS SOPS 178817 HAS SOUS 40164 HAS SOUPS 39817 WITH SCORE 40020.438
AT ITER 6180 NEW BEST:: SOT 254363 SOS 203456 HAS SOPS 178945 HAS SOUS 40153 HAS SOUPS 39806 WITH SCORE 40009.456
AT ITER 6185 NEW BEST:: SOT 254363 SOS 203497 HAS SOPS 178964 HAS SOUS 40142 HAS SOUPS 39795 WITH SCORE 39998.497
AT ITER 6186 NEW BEST:: SOT 254363 SOS 203497 HAS SOPS 178964 HAS SOUS 40137 HAS SOUPS 39790 WITH SCORE 39993.497
AT ITER 6188 NEW BEST:: SOT 254411 SOS 203545 HAS SOPS 179012 HAS SOUS 40135 HAS SOUPS 39788 WITH SCORE 39991.545
AT ITER 6225 NEW BEST:: SOT 254411 SOS 203651 HAS SOPS 179297 HAS SOUS 40121 HAS SOUPS 39774 WITH SCORE 39977.651
AT ITER 6231 NEW BEST:: SOT 254376 SOS 203616 HAS SOPS 179262 HAS SOUS 40114 HAS SOUPS 39767 WITH SCORE 39970.616
AT ITER 6247 NEW BEST:: SOT 254376 SOS 203620 HAS SOPS 179266 HAS SOUS 40112 HAS SOUPS 39765 WITH SCORE 39968.62
AT ITER 6272 NEW BEST:: SOT 254394 SOS 203638 HAS SOPS 179284 HAS SOUS 40110 HAS SOUPS 39763 WITH SCORE 39966.638
AT ITER 6290 NEW BEST:: SOT 254394 SOS 203646 HAS SOPS 179292 HAS SOUS 40102 HAS SOUPS 39755 WITH SCORE 39958.646
AT ITER 6296 NEW BEST:: SOT 254393 SOS 203645 HAS SOPS 179291 HAS SOUS 40101 HAS SOUPS 39754 WITH SCORE 39957.645
AT ITER 6297 NEW BEST:: SOT 254393 SOS 203645 HAS SOPS 179332 HAS SOUS 40090 HAS SOUPS 39743 WITH SCORE 39946.645
AT ITER 6306 NEW BEST:: SOT 254400 SOS 203610 HAS SOPS 179297 HAS SOUS 40084 HAS SOUPS 39737 WITH SCORE 39940.61
AT ITER 6366 NEW BEST:: SOT 254385 SOS 203595 HAS SOPS 179282 HAS SOUS 40045 HAS SOUPS 39698 WITH SCORE 39901.595
AT ITER 6394 NEW BEST:: SOT 254385 SOS 203588 HAS SOPS 179276 HAS SOUS 40045 HAS SOUPS 39698 WITH SCORE 39901.588
AT ITER 6409 NEW BEST:: SOT 254193 SOS 203395 HAS SOPS 179100 HAS SOUS 39874 HAS SOUPS 39544 WITH SCORE 39747.395
AT ITER 6486 NEW BEST:: SOT 254193 SOS 203395 HAS SOPS 179100 HAS SOUS 39873 HAS SOUPS 39543 WITH SCORE 39746.395
AT ITER 6487 NEW BEST:: SOT 254193 SOS 203024 HAS SOPS 178826 HAS SOUS 39873 HAS SOUPS 39543 WITH SCORE 39746.024
AT ITER 6530 NEW BEST:: SOT 254175 SOS 203006 HAS SOPS 178808 HAS SOUS 39855 HAS SOUPS 39525 WITH SCORE 39728.006
AT ITER 6535 NEW BEST:: SOT 254169 SOS 203004 HAS SOPS 178814 HAS SOUS 39839 HAS SOUPS 39517 WITH SCORE 39720.004
AT ITER 6556 NEW BEST:: SOT 254060 SOS 202894 HAS SOPS 178705 HAS SOUS 39764 HAS SOUPS 39443 WITH SCORE 39645.894
AT ITER 6561 NEW BEST:: SOT 254057 SOS 202882 HAS SOPS 178693 HAS SOUS 39752 HAS SOUPS 39431 WITH SCORE 39633.882
AT ITER 6573 NEW BEST:: SOT 253977 SOS 202802 HAS SOPS 178613 HAS SOUS 39624 HAS SOUPS 39303 WITH SCORE 39505.802
AT ITER 6613 NEW BEST:: SOT 254001 SOS 202820 HAS SOPS 178637 HAS SOUS 39588 HAS SOUPS 39273 WITH SCORE 39475.82
AT ITER 6641 NEW BEST:: SOT 254001 SOS 202856 HAS SOPS 175479 HAS SOUS 39587 HAS SOUPS 39272 WITH SCORE 39474.856
AT ITER 6672 NEW BEST:: SOT 254001 SOS 202854 HAS SOPS 175477 HAS SOUS 39587 HAS SOUPS 39272 WITH SCORE 39474.854
AT ITER 6691 NEW BEST:: SOT 254001 SOS 202854 HAS SOPS 175477 HAS SOUS 39586 HAS SOUPS 39271 WITH SCORE 39473.854
AT ITER 6708 NEW BEST:: SOT 254001 SOS 202854 HAS SOPS 175758 HAS SOUS 39578 HAS SOUPS 39263 WITH SCORE 39465.854
AT ITER 6737 NEW BEST:: SOT 254001 SOS 202791 HAS SOPS 175704 HAS SOUS 39578 HAS SOUPS 39263 WITH SCORE 39465.791
AT ITER 6760 NEW BEST:: SOT 254030 SOS 202820 HAS SOPS 175733 HAS SOUS 39510 HAS SOUPS 39195 WITH SCORE 39397.82
AT ITER 6787 NEW BEST:: SOT 253989 SOS 202779 HAS SOPS 175692 HAS SOUS 39435 HAS SOUPS 39120 WITH SCORE 39322.779
AT ITER 6797 NEW BEST:: SOT 253989 SOS 202779 HAS SOPS 175922 HAS SOUS 39418 HAS SOUPS 39103 WITH SCORE 39305.779
AT ITER 6870 NEW BEST:: SOT 253989 SOS 202773 HAS SOPS 176516 HAS SOUS 39412 HAS SOUPS 39097 WITH SCORE 39299.773
AT ITER 6912 NEW BEST:: SOT 253985 SOS 202769 HAS SOPS 176512 HAS SOUS 39408 HAS SOUPS 39093 WITH SCORE 39295.769
AT ITER 6924 NEW BEST:: SOT 253985 SOS 202752 HAS SOPS 175475 HAS SOUS 39389 HAS SOUPS 39074 WITH SCORE 39276.752
AT ITER 6969 NEW BEST:: SOT 254061 SOS 202828 HAS SOPS 175551 HAS SOUS 39362 HAS SOUPS 39047 WITH SCORE 39249.828
AT ITER 7005 NEW BEST:: SOT 254061 SOS 198132 HAS SOPS 175116 HAS SOUS 39357 HAS SOUPS 39047 WITH SCORE 39245.132
AT ITER 7050 NEW BEST:: SOT 253978 SOS 198180 HAS SOPS 175164 HAS SOUS 39287 HAS SOUPS 38977 WITH SCORE 39175.18
AT ITER 7077 NEW BEST:: SOT 253958 SOS 198147 HAS SOPS 175144 HAS SOUS 39240 HAS SOUPS 38943 WITH SCORE 39141.147
AT ITER 7080 NEW BEST:: SOT 253952 SOS 198141 HAS SOPS 175138 HAS SOUS 39216 HAS SOUPS 38919 WITH SCORE 39117.141
AT ITER 7083 NEW BEST:: SOT 253926 SOS 198115 HAS SOPS 175112 HAS SOUS 39185 HAS SOUPS 38888 WITH SCORE 39086.115
AT ITER 7097 NEW BEST:: SOT 253922 SOS 198102 HAS SOPS 175099 HAS SOUS 39113 HAS SOUPS 38816 WITH SCORE 39014.102
AT ITER 7127 NEW BEST:: SOT 253926 SOS 198106 HAS SOPS 175103 HAS SOUS 39109 HAS SOUPS 38812 WITH SCORE 39010.106
AT ITER 7132 NEW BEST:: SOT 253926 SOS 198052 HAS SOPS 175036 HAS SOUS 39109 HAS SOUPS 38812 WITH SCORE 39010.052
AT ITER 7136 NEW BEST:: SOT 253926 SOS 198052 HAS SOPS 175003 HAS SOUS 39108 HAS SOUPS 38811 WITH SCORE 39009.052
AT ITER 7176 NEW BEST:: SOT 253916 SOS 198042 HAS SOPS 174993 HAS SOUS 39098 HAS SOUPS 38801 WITH SCORE 38999.042
AT ITER 7187 NEW BEST:: SOT 253916 SOS 198043 HAS SOPS 175054 HAS SOUS 39097 HAS SOUPS 38800 WITH SCORE 38998.043
AT ITER 7203 NEW BEST:: SOT 253889 SOS 198016 HAS SOPS 175027 HAS SOUS 39088 HAS SOUPS 38791 WITH SCORE 38989.016
AT ITER 7225 NEW BEST:: SOT 253865 SOS 197992 HAS SOPS 175003 HAS SOUS 38978 HAS SOUPS 38681 WITH SCORE 38878.992
AT ITER 7238 NEW BEST:: SOT 253865 SOS 198005 HAS SOPS 175016 HAS SOUS 38964 HAS SOUPS 38667 WITH SCORE 38865.005
AT ITER 7264 NEW BEST:: SOT 253865 SOS 197955 HAS SOPS 174960 HAS SOUS 38964 HAS SOUPS 38667 WITH SCORE 38864.955
AT ITER 7278 NEW BEST:: SOT 254129 SOS 198225 HAS SOPS 175230 HAS SOUS 38928 HAS SOUPS 38631 WITH SCORE 38829.225
AT ITER 7283 NEW BEST:: SOT 254127 SOS 198223 HAS SOPS 175228 HAS SOUS 38914 HAS SOUPS 38617 WITH SCORE 38815.223
AT ITER 7311 NEW BEST:: SOT 254118 SOS 198214 HAS SOPS 175219 HAS SOUS 38883 HAS SOUPS 38586 WITH SCORE 38784.214
AT ITER 7411 NEW BEST:: SOT 254118 SOS 198214 HAS SOPS 175219 HAS SOUS 38881 HAS SOUPS 38584 WITH SCORE 38782.214
AT ITER 7466 NEW BEST:: SOT 254100 SOS 198196 HAS SOPS 175201 HAS SOUS 38854 HAS SOUPS 38557 WITH SCORE 38755.196
AT ITER 7513 NEW BEST:: SOT 254100 SOS 198208 HAS SOPS 175213 HAS SOUS 38814 HAS SOUPS 38517 WITH SCORE 38715.208
AT ITER 7578 NEW BEST:: SOT 254049 SOS 198157 HAS SOPS 175162 HAS SOUS 38741 HAS SOUPS 38444 WITH SCORE 38642.157
AT ITER 7588 NEW BEST:: SOT 254049 SOS 198145 HAS SOPS 175150 HAS SOUS 38741 HAS SOUPS 38444 WITH SCORE 38642.145
AT ITER 7622 NEW BEST:: SOT 254060 SOS 198156 HAS SOPS 175161 HAS SOUS 38717 HAS SOUPS 38420 WITH SCORE 38618.156
AT ITER 7644 NEW BEST:: SOT 254046 SOS 198142 HAS SOPS 175147 HAS SOUS 38689 HAS SOUPS 38392 WITH SCORE 38590.142
AT ITER 7652 NEW BEST:: SOT 254046 SOS 198141 HAS SOPS 175186 HAS SOUS 38687 HAS SOUPS 38391 WITH SCORE 38589.141
AT ITER 7653 NEW BEST:: SOT 254053 SOS 198148 HAS SOPS 175193 HAS SOUS 38676 HAS SOUPS 38380 WITH SCORE 38578.148
AT ITER 7665 NEW BEST:: SOT 254053 SOS 198166 HAS SOPS 175200 HAS SOUS 38675 HAS SOUPS 38379 WITH SCORE 38577.166
AT ITER 7678 NEW BEST:: SOT 254038 SOS 198151 HAS SOPS 175185 HAS SOUS 38655 HAS SOUPS 38359 WITH SCORE 38557.151
AT ITER 7774 NEW BEST:: SOT 253809 SOS 197920 HAS SOPS 174954 HAS SOUS 38436 HAS SOUPS 38140 WITH SCORE 38337.92
AT ITER 7872 NEW BEST:: SOT 253809 SOS 197917 HAS SOPS 175218 HAS SOUS 38436 HAS SOUPS 38140 WITH SCORE 38337.917
AT ITER 7900 NEW BEST:: SOT 253796 SOS 197650 HAS SOPS 174205 HAS SOUS 38422 HAS SOUPS 38126 WITH SCORE 38323.65
AT ITER 7943 NEW BEST:: SOT 253796 SOS 197930 HAS SOPS 171430 HAS SOUS 38412 HAS SOUPS 38116 WITH SCORE 38313.93
AT ITER 7947 NEW BEST:: SOT 253796 SOS 197930 HAS SOPS 171673 HAS SOUS 38389 HAS SOUPS 38093 WITH SCORE 38290.93
AT ITER 7964 NEW BEST:: SOT 253790 SOS 197924 HAS SOPS 171667 HAS SOUS 38383 HAS SOUPS 38087 WITH SCORE 38284.924
AT ITER 8000 NEW BEST:: SOT 253790 SOS 197852 HAS SOPS 171595 HAS SOUS 38359 HAS SOUPS 38063 WITH SCORE 38260.852
AT ITER 8017 NEW BEST:: SOT 253790 SOS 197852 HAS SOPS 171595 HAS SOUS 38309 HAS SOUPS 38013 WITH SCORE 38210.852
AT ITER 8054 NEW BEST:: SOT 253790 SOS 197852 HAS SOPS 171749 HAS SOUS 38295 HAS SOUPS 37999 WITH SCORE 38196.852
AT ITER 8107 NEW BEST:: SOT 253782 SOS 197844 HAS SOPS 171741 HAS SOUS 38287 HAS SOUPS 37991 WITH SCORE 38188.844
AT ITER 8147 NEW BEST:: SOT 253786 SOS 197848 HAS SOPS 171745 HAS SOUS 38282 HAS SOUPS 37986 WITH SCORE 38183.848
AT ITER 8200 NEW BEST:: SOT 253786 SOS 197848 HAS SOPS 171800 HAS SOUS 38277 HAS SOUPS 37981 WITH SCORE 38178.848
AT ITER 8233 NEW BEST:: SOT 253796 SOS 197858 HAS SOPS 171810 HAS SOUS 38265 HAS SOUPS 37969 WITH SCORE 38166.858
AT ITER 8293 NEW BEST:: SOT 253790 SOS 197824 HAS SOPS 171776 HAS SOUS 38247 HAS SOUPS 37951 WITH SCORE 38148.824
AT ITER 8346 NEW BEST:: SOT 253790 SOS 197824 HAS SOPS 172150 HAS SOUS 38221 HAS SOUPS 37925 WITH SCORE 38122.824
AT ITER 8354 NEW BEST:: SOT 253833 SOS 197712 HAS SOPS 171996 HAS SOUS 38009 HAS SOUPS 37671 WITH SCORE 37868.712
AT ITER 8435 NEW BEST:: SOT 253816 SOS 197675 HAS SOPS 171959 HAS SOUS 37972 HAS SOUPS 37634 WITH SCORE 37831.675
AT ITER 8489 NEW BEST:: SOT 253795 SOS 197654 HAS SOPS 171938 HAS SOUS 37945 HAS SOUPS 37607 WITH SCORE 37804.654
AT ITER 8502 NEW BEST:: SOT 253776 SOS 197635 HAS SOPS 171919 HAS SOUS 37917 HAS SOUPS 37579 WITH SCORE 37776.635
AT ITER 8521 NEW BEST:: SOT 253774 SOS 197633 HAS SOPS 171917 HAS SOUS 37915 HAS SOUPS 37577 WITH SCORE 37774.633
AT ITER 8552 NEW BEST:: SOT 253770 SOS 197627 HAS SOPS 171913 HAS SOUS 37906 HAS SOUPS 37570 WITH SCORE 37767.627
AT ITER 8579 NEW BEST:: SOT 253750 SOS 197607 HAS SOPS 171893 HAS SOUS 37877 HAS SOUPS 37541 WITH SCORE 37738.607
AT ITER 8593 NEW BEST:: SOT 253831 SOS 197568 HAS SOPS 171163 HAS SOUS 37852 HAS SOUPS 37516 WITH SCORE 37713.568
AT ITER 8681 NEW BEST:: SOT 253830 SOS 197717 HAS SOPS 171246 HAS SOUS 37843 HAS SOUPS 37507 WITH SCORE 37704.717
AT ITER 8700 NEW BEST:: SOT 253830 SOS 197549 HAS SOPS 171135 HAS SOUS 37843 HAS SOUPS 37507 WITH SCORE 37704.549
AT ITER 8743 NEW BEST:: SOT 253830 SOS 197559 HAS SOPS 171200 HAS SOUS 37838 HAS SOUPS 37502 WITH SCORE 37699.559
AT ITER 8754 NEW BEST:: SOT 253824 SOS 197553 HAS SOPS 171194 HAS SOUS 37832 HAS SOUPS 37496 WITH SCORE 37693.553
AT ITER 8773 NEW BEST:: SOT 253828 SOS 197549 HAS SOPS 171190 HAS SOUS 37832 HAS SOUPS 37496 WITH SCORE 37693.549
AT ITER 8784 NEW BEST:: SOT 253828 SOS 197547 HAS SOPS 171188 HAS SOUS 37832 HAS SOUPS 37496 WITH SCORE 37693.547
AT ITER 8822 NEW BEST:: SOT 253820 SOS 197539 HAS SOPS 171180 HAS SOUS 37822 HAS SOUPS 37486 WITH SCORE 37683.539
AT ITER 8854 NEW BEST:: SOT 253790 SOS 197513 HAS SOPS 171154 HAS SOUS 37794 HAS SOUPS 37458 WITH SCORE 37655.513
AT ITER 8877 NEW BEST:: SOT 253790 SOS 196634 HAS SOPS 170186 HAS SOUS 37794 HAS SOUPS 37458 WITH SCORE 37654.634
AT ITER 8891 NEW BEST:: SOT 253790 SOS 196624 HAS SOPS 170176 HAS SOUS 37793 HAS SOUPS 37457 WITH SCORE 37653.624
AT ITER 8936 NEW BEST:: SOT 253790 SOS 196624 HAS SOPS 170176 HAS SOUS 37792 HAS SOUPS 37456 WITH SCORE 37652.624
AT ITER 8938 NEW BEST:: SOT 253790 SOS 196624 HAS SOPS 170176 HAS SOUS 37789 HAS SOUPS 37453 WITH SCORE 37649.624
AT ITER 8966 NEW BEST:: SOT 253790 SOS 196618 HAS SOPS 170170 HAS SOUS 37786 HAS SOUPS 37450 WITH SCORE 37646.618
AT ITER 9008 NEW BEST:: SOT 253789 SOS 196617 HAS SOPS 170169 HAS SOUS 37785 HAS SOUPS 37449 WITH SCORE 37645.617
AT ITER 9047 NEW BEST:: SOT 253789 SOS 196617 HAS SOPS 170169 HAS SOUS 37775 HAS SOUPS 37439 WITH SCORE 37635.617
AT ITER 9058 NEW BEST:: SOT 253765 SOS 196593 HAS SOPS 170145 HAS SOUS 37741 HAS SOUPS 37405 WITH SCORE 37601.593
AT ITER 9121 NEW BEST:: SOT 253765 SOS 196593 HAS SOPS 170145 HAS SOUS 37734 HAS SOUPS 37398 WITH SCORE 37594.593
AT ITER 9129 NEW BEST:: SOT 253765 SOS 196593 HAS SOPS 170145 HAS SOUS 37732 HAS SOUPS 37396 WITH SCORE 37592.593
AT ITER 9143 NEW BEST:: SOT 253653 SOS 196495 HAS SOPS 170047 HAS SOUS 37700 HAS SOUPS 37364 WITH SCORE 37560.495
AT ITER 9249 NEW BEST:: SOT 253653 SOS 196495 HAS SOPS 170047 HAS SOUS 37699 HAS SOUPS 37363 WITH SCORE 37559.495
AT ITER 9250 NEW BEST:: SOT 253653 SOS 196495 HAS SOPS 170047 HAS SOUS 37691 HAS SOUPS 37355 WITH SCORE 37551.495
AT ITER 9276 NEW BEST:: SOT 253611 SOS 196457 HAS SOPS 170009 HAS SOUS 37651 HAS SOUPS 37315 WITH SCORE 37511.457
AT ITER 9315 NEW BEST:: SOT 253617 SOS 196458 HAS SOPS 170015 HAS SOUS 37645 HAS SOUPS 37314 WITH SCORE 37510.458
AT ITER 9400 NEW BEST:: SOT 253601 SOS 196460 HAS SOPS 170017 HAS SOUS 37631 HAS SOUPS 37300 WITH SCORE 37496.46
AT ITER 9421 NEW BEST:: SOT 253601 SOS 196460 HAS SOPS 170017 HAS SOUS 37625 HAS SOUPS 37294 WITH SCORE 37490.46
AT ITER 9442 NEW BEST:: SOT 253601 SOS 196455 HAS SOPS 170507 HAS SOUS 37620 HAS SOUPS 37289 WITH SCORE 37485.455
AT ITER 9443 NEW BEST:: SOT 253601 SOS 196455 HAS SOPS 170339 HAS SOUS 37498 HAS SOUPS 37167 WITH SCORE 37363.455
AT ITER 9530 NEW BEST:: SOT 253587 SOS 196447 HAS SOPS 170331 HAS SOUS 37487 HAS SOUPS 37156 WITH SCORE 37352.447
AT ITER 9586 NEW BEST:: SOT 253591 SOS 196451 HAS SOPS 170335 HAS SOUS 37486 HAS SOUPS 37155 WITH SCORE 37351.451
AT ITER 9684 NEW BEST:: SOT 253594 SOS 196454 HAS SOPS 170338 HAS SOUS 37482 HAS SOUPS 37151 WITH SCORE 37347.454
AT ITER 9693 NEW BEST:: SOT 253687 SOS 196547 HAS SOPS 170431 HAS SOUS 37391 HAS SOUPS 37060 WITH SCORE 37256.547
AT ITER 9725 NEW BEST:: SOT 253685 SOS 196545 HAS SOPS 170429 HAS SOUS 37389 HAS SOUPS 37058 WITH SCORE 37254.545
AT ITER 9733 NEW BEST:: SOT 253685 SOS 196510 HAS SOPS 170399 HAS SOUS 37389 HAS SOUPS 37058 WITH SCORE 37254.51
AT ITER 9802 NEW BEST:: SOT 253710 SOS 196535 HAS SOPS 170424 HAS SOUS 37384 HAS SOUPS 37053 WITH SCORE 37249.535
AT ITER 9860 NEW BEST:: SOT 253710 SOS 196562 HAS SOPS 168098 HAS SOUS 37379 HAS SOUPS 37048 WITH SCORE 37244.562
AT ITER 9897 NEW BEST:: SOT 253710 SOS 196562 HAS SOPS 168148 HAS SOUS 37374 HAS SOUPS 37043 WITH SCORE 37239.562
AT ITER 9900 NEW BEST:: SOT 253702 SOS 196554 HAS SOPS 168140 HAS SOUS 37370 HAS SOUPS 37039 WITH SCORE 37235.554

BK_STOP 1589747333482

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 457 Aborted ${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="SafeBus-PT-10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is SafeBus-PT-10, 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 r153-oct2-158972910200416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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