Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972600403.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is FlexibleBarrier-PT-22a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972600403
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 564K
-rw-r--r-- 1 mcc users 3.4K Apr 4 20:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 4 20:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 4 09:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 4 09:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Apr 3 21:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 3 21:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 3 13:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 3 13:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 384K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME FlexibleBarrier-PT-22a-CTLCardinality-00
FORMULA_NAME FlexibleBarrier-PT-22a-CTLCardinality-01
FORMULA_NAME FlexibleBarrier-PT-22a-CTLCardinality-02
FORMULA_NAME FlexibleBarrier-PT-22a-CTLCardinality-03
FORMULA_NAME FlexibleBarrier-PT-22a-CTLCardinality-04
FORMULA_NAME FlexibleBarrier-PT-22a-CTLCardinality-05
FORMULA_NAME FlexibleBarrier-PT-22a-CTLCardinality-06
FORMULA_NAME FlexibleBarrier-PT-22a-CTLCardinality-07
FORMULA_NAME FlexibleBarrier-PT-22a-CTLCardinality-08
FORMULA_NAME FlexibleBarrier-PT-22a-CTLCardinality-09
FORMULA_NAME FlexibleBarrier-PT-22a-CTLCardinality-10
FORMULA_NAME FlexibleBarrier-PT-22a-CTLCardinality-11
FORMULA_NAME FlexibleBarrier-PT-22a-CTLCardinality-12
FORMULA_NAME FlexibleBarrier-PT-22a-CTLCardinality-13
FORMULA_NAME FlexibleBarrier-PT-22a-CTLCardinality-14
FORMULA_NAME FlexibleBarrier-PT-22a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589454182125

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 22a
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 267 places, 1258 transitions, 6375 arcs.
AT ITER 0 NEW BEST:: SOT 301178 SOS 264570 HAS SOPS 264570 HAS SOUS 145125 HAS SOUPS 145125 WITH SCORE 145389.57
AT ITER 1 NEW BEST:: SOT 301171 SOS 264436 HAS SOPS 264436 HAS SOUS 140741 HAS SOUPS 140741 WITH SCORE 141005.436
AT ITER 3 NEW BEST:: SOT 300401 SOS 263632 HAS SOPS 263632 HAS SOUS 140426 HAS SOUPS 140426 WITH SCORE 140689.632
AT ITER 5 NEW BEST:: SOT 300465 SOS 263450 HAS SOPS 263450 HAS SOUS 136881 HAS SOUPS 136881 WITH SCORE 137144.45
AT ITER 9 NEW BEST:: SOT 299761 SOS 262697 HAS SOPS 262697 HAS SOUS 136752 HAS SOUPS 136752 WITH SCORE 137014.697
AT ITER 13 NEW BEST:: SOT 299887 SOS 262631 HAS SOPS 262631 HAS SOUS 136688 HAS SOUPS 136688 WITH SCORE 136950.631
AT ITER 14 NEW BEST:: SOT 299671 SOS 262288 HAS SOPS 262288 HAS SOUS 136682 HAS SOUPS 136682 WITH SCORE 136944.288
AT ITER 17 NEW BEST:: SOT 299669 SOS 262284 HAS SOPS 262284 HAS SOUS 136620 HAS SOUPS 136620 WITH SCORE 136882.284
AT ITER 19 NEW BEST:: SOT 299752 SOS 261719 HAS SOPS 261719 HAS SOUS 132224 HAS SOUPS 132224 WITH SCORE 132485.719
AT ITER 20 NEW BEST:: SOT 299388 SOS 261105 HAS SOPS 261105 HAS SOUS 131852 HAS SOUPS 131852 WITH SCORE 132113.105
AT ITER 22 NEW BEST:: SOT 298787 SOS 260504 HAS SOPS 260504 HAS SOUS 131541 HAS SOUPS 131541 WITH SCORE 131801.504
AT ITER 29 NEW BEST:: SOT 298842 SOS 259129 HAS SOPS 259129 HAS SOUS 126558 HAS SOUPS 126558 WITH SCORE 126817.129
AT ITER 30 NEW BEST:: SOT 298841 SOS 259124 HAS SOPS 259124 HAS SOUS 126555 HAS SOUPS 126555 WITH SCORE 126814.124
AT ITER 34 NEW BEST:: SOT 298115 SOS 258280 HAS SOPS 258280 HAS SOUS 126101 HAS SOUPS 126101 WITH SCORE 126359.28
AT ITER 35 NEW BEST:: SOT 298758 SOS 256182 HAS SOPS 256182 HAS SOUS 118369 HAS SOUPS 118369 WITH SCORE 118625.182
AT ITER 36 NEW BEST:: SOT 298393 SOS 255714 HAS SOPS 255714 HAS SOUS 118233 HAS SOUPS 118233 WITH SCORE 118488.714
AT ITER 37 NEW BEST:: SOT 298491 SOS 253031 HAS SOPS 253031 HAS SOUS 114760 HAS SOUPS 114760 WITH SCORE 115013.031
AT ITER 38 NEW BEST:: SOT 298554 SOS 251077 HAS SOPS 251077 HAS SOUS 112265 HAS SOUPS 112265 WITH SCORE 112516.077
AT ITER 39 NEW BEST:: SOT 298693 SOS 251355 HAS SOPS 251355 HAS SOUS 112262 HAS SOUPS 112262 WITH SCORE 112513.355
AT ITER 41 NEW BEST:: SOT 298694 SOS 250770 HAS SOPS 250754 HAS SOUS 108565 HAS SOUPS 108561 WITH SCORE 108811.77
AT ITER 43 NEW BEST:: SOT 298675 SOS 250453 HAS SOPS 250437 HAS SOUS 107932 HAS SOUPS 107928 WITH SCORE 108178.453
AT ITER 45 NEW BEST:: SOT 298607 SOS 249985 HAS SOPS 249969 HAS SOUS 107668 HAS SOUPS 107664 WITH SCORE 107913.985
AT ITER 46 NEW BEST:: SOT 298437 SOS 249173 HAS SOPS 249157 HAS SOUS 107283 HAS SOUPS 107279 WITH SCORE 107528.173
AT ITER 47 NEW BEST:: SOT 297526 SOS 248213 HAS SOPS 248197 HAS SOUS 106785 HAS SOUPS 106781 WITH SCORE 107029.213
AT ITER 49 NEW BEST:: SOT 297617 SOS 248257 HAS SOPS 248241 HAS SOUS 106781 HAS SOUPS 106777 WITH SCORE 107025.257
AT ITER 51 NEW BEST:: SOT 297653 SOS 248215 HAS SOPS 248199 HAS SOUS 106741 HAS SOUPS 106737 WITH SCORE 106985.215
AT ITER 53 NEW BEST:: SOT 297650 SOS 248208 HAS SOPS 248192 HAS SOUS 106737 HAS SOUPS 106733 WITH SCORE 106981.208
AT ITER 55 NEW BEST:: SOT 297696 SOS 248162 HAS SOPS 248146 HAS SOUS 106691 HAS SOUPS 106687 WITH SCORE 106935.162
AT ITER 56 NEW BEST:: SOT 297676 SOS 247504 HAS SOPS 247488 HAS SOUS 106170 HAS SOUPS 106166 WITH SCORE 106413.504
AT ITER 57 NEW BEST:: SOT 297673 SOS 245053 HAS SOPS 245037 HAS SOUS 104355 HAS SOUPS 104351 WITH SCORE 104596.053
AT ITER 58 NEW BEST:: SOT 297723 SOS 245003 HAS SOPS 244987 HAS SOUS 104305 HAS SOUPS 104301 WITH SCORE 104546.003
AT ITER 60 NEW BEST:: SOT 296545 SOS 243879 HAS SOPS 243863 HAS SOUS 103921 HAS SOUPS 103917 WITH SCORE 104160.879
AT ITER 61 NEW BEST:: SOT 296548 SOS 243885 HAS SOPS 243869 HAS SOUS 103789 HAS SOUPS 103785 WITH SCORE 104028.885
AT ITER 65 NEW BEST:: SOT 296615 SOS 239735 HAS SOPS 239719 HAS SOUS 99638 HAS SOUPS 99634 WITH SCORE 99873.735
AT ITER 69 NEW BEST:: SOT 296496 SOS 235838 HAS SOPS 235822 HAS SOUS 97242 HAS SOUPS 97238 WITH SCORE 97473.838
AT ITER 71 NEW BEST:: SOT 296541 SOS 233212 HAS SOPS 233196 HAS SOUS 96329 HAS SOUPS 96325 WITH SCORE 96558.212
AT ITER 72 NEW BEST:: SOT 296537 SOS 233138 HAS SOPS 233122 HAS SOUS 96325 HAS SOUPS 96321 WITH SCORE 96554.138
AT ITER 73 NEW BEST:: SOT 296551 SOS 231380 HAS SOPS 231364 HAS SOUS 95627 HAS SOUPS 95623 WITH SCORE 95854.38
AT ITER 77 NEW BEST:: SOT 296626 SOS 231376 HAS SOPS 231360 HAS SOUS 95621 HAS SOUPS 95617 WITH SCORE 95848.376
AT ITER 79 NEW BEST:: SOT 296660 SOS 230598 HAS SOPS 230582 HAS SOUS 93173 HAS SOUPS 93169 WITH SCORE 93399.598
AT ITER 80 NEW BEST:: SOT 296666 SOS 230592 HAS SOPS 230576 HAS SOUS 93161 HAS SOUPS 93157 WITH SCORE 93387.592
AT ITER 85 NEW BEST:: SOT 296938 SOS 227985 HAS SOPS 227969 HAS SOUS 91851 HAS SOUPS 91847 WITH SCORE 92074.985
AT ITER 86 NEW BEST:: SOT 296976 SOS 227983 HAS SOPS 227967 HAS SOUS 91850 HAS SOUPS 91846 WITH SCORE 92073.983
AT ITER 87 NEW BEST:: SOT 296975 SOS 223038 HAS SOPS 223022 HAS SOUS 90176 HAS SOUPS 90172 WITH SCORE 90395.038
AT ITER 89 NEW BEST:: SOT 296937 SOS 222735 HAS SOPS 222719 HAS SOUS 90122 HAS SOUPS 90118 WITH SCORE 90340.735
AT ITER 91 NEW BEST:: SOT 296922 SOS 222690 HAS SOPS 222674 HAS SOUS 90106 HAS SOUPS 90102 WITH SCORE 90324.69
AT ITER 95 NEW BEST:: SOT 296174 SOS 221857 HAS SOPS 221841 HAS SOUS 89685 HAS SOUPS 89681 WITH SCORE 89902.857
AT ITER 96 NEW BEST:: SOT 296227 SOS 221908 HAS SOPS 221892 HAS SOUS 89682 HAS SOUPS 89678 WITH SCORE 89899.908
AT ITER 98 NEW BEST:: SOT 296235 SOS 221924 HAS SOPS 221908 HAS SOUS 89681 HAS SOUPS 89677 WITH SCORE 89898.924
AT ITER 104 NEW BEST:: SOT 296067 SOS 221816 HAS SOPS 221800 HAS SOUS 89342 HAS SOUPS 89338 WITH SCORE 89559.816
AT ITER 107 NEW BEST:: SOT 296066 SOS 221814 HAS SOPS 221798 HAS SOUS 89341 HAS SOUPS 89337 WITH SCORE 89558.814
AT ITER 111 NEW BEST:: SOT 292506 SOS 218368 HAS SOPS 218238 HAS SOUS 85875 HAS SOUPS 85843 WITH SCORE 86061.368
AT ITER 112 NEW BEST:: SOT 292479 SOS 218061 HAS SOPS 217932 HAS SOUS 84743 HAS SOUPS 84711 WITH SCORE 84929.061
AT ITER 115 NEW BEST:: SOT 292472 SOS 217981 HAS SOPS 217823 HAS SOUS 84657 HAS SOUPS 84624 WITH SCORE 84841.981
AT ITER 116 NEW BEST:: SOT 291990 SOS 217499 HAS SOPS 217341 HAS SOUS 84606 HAS SOUPS 84573 WITH SCORE 84790.499
AT ITER 118 NEW BEST:: SOT 291990 SOS 217499 HAS SOPS 217341 HAS SOUS 84590 HAS SOUPS 84557 WITH SCORE 84774.499
AT ITER 124 NEW BEST:: SOT 291969 SOS 217156 HAS SOPS 216998 HAS SOUS 84564 HAS SOUPS 84531 WITH SCORE 84748.156
AT ITER 131 NEW BEST:: SOT 292266 SOS 212399 HAS SOPS 212241 HAS SOUS 82919 HAS SOUPS 82886 WITH SCORE 83098.399
AT ITER 132 NEW BEST:: SOT 292265 SOS 212411 HAS SOPS 212253 HAS SOUS 82917 HAS SOUPS 82884 WITH SCORE 83096.411
AT ITER 133 NEW BEST:: SOT 292265 SOS 212255 HAS SOPS 212097 HAS SOUS 82913 HAS SOUPS 82880 WITH SCORE 83092.255
AT ITER 138 NEW BEST:: SOT 292341 SOS 212237 HAS SOPS 212078 HAS SOUS 82888 HAS SOUPS 82855 WITH SCORE 83067.237
AT ITER 145 NEW BEST:: SOT 292213 SOS 212275 HAS SOPS 212116 HAS SOUS 82858 HAS SOUPS 82825 WITH SCORE 83037.275
AT ITER 146 NEW BEST:: SOT 292305 SOS 212206 HAS SOPS 212028 HAS SOUS 82792 HAS SOUPS 82759 WITH SCORE 82971.206
AT ITER 148 NEW BEST:: SOT 292301 SOS 212198 HAS SOPS 212020 HAS SOUS 82789 HAS SOUPS 82756 WITH SCORE 82968.198
AT ITER 154 NEW BEST:: SOT 292400 SOS 212196 HAS SOPS 212018 HAS SOUS 82700 HAS SOUPS 82667 WITH SCORE 82879.196
AT ITER 159 NEW BEST:: SOT 292537 SOS 211309 HAS SOPS 211131 HAS SOUS 82488 HAS SOUPS 82455 WITH SCORE 82666.309
AT ITER 162 NEW BEST:: SOT 290152 SOS 210655 HAS SOPS 208744 HAS SOUS 80563 HAS SOUPS 80457 WITH SCORE 80667.655
AT ITER 164 NEW BEST:: SOT 290147 SOS 210612 HAS SOPS 208701 HAS SOUS 80557 HAS SOUPS 80451 WITH SCORE 80661.612
AT ITER 165 NEW BEST:: SOT 288906 SOS 209393 HAS SOPS 207482 HAS SOUS 79963 HAS SOUPS 79857 WITH SCORE 80066.393
AT ITER 166 NEW BEST:: SOT 276692 SOS 198886 HAS SOPS 195143 HAS SOUS 74040 HAS SOUPS 73855 WITH SCORE 74053.886
AT ITER 168 NEW BEST:: SOT 276726 SOS 198218 HAS SOPS 194497 HAS SOUS 73020 HAS SOUPS 72835 WITH SCORE 73033.218
AT ITER 170 NEW BEST:: SOT 276614 SOS 197941 HAS SOPS 194188 HAS SOUS 72711 HAS SOUPS 72526 WITH SCORE 72723.941
AT ITER 176 NEW BEST:: SOT 272852 SOS 194281 HAS SOPS 190528 HAS SOUS 71073 HAS SOUPS 70888 WITH SCORE 71082.281
AT ITER 180 NEW BEST:: SOT 272825 SOS 194218 HAS SOPS 190438 HAS SOUS 70983 HAS SOUPS 70798 WITH SCORE 70992.218
AT ITER 182 NEW BEST:: SOT 272785 SOS 193101 HAS SOPS 188681 HAS SOUS 68020 HAS SOUPS 67835 WITH SCORE 68028.101
AT ITER 185 NEW BEST:: SOT 272819 SOS 193101 HAS SOPS 188624 HAS SOUS 67902 HAS SOUPS 67717 WITH SCORE 67910.101
AT ITER 190 NEW BEST:: SOT 272795 SOS 192981 HAS SOPS 188480 HAS SOUS 67758 HAS SOUPS 67573 WITH SCORE 67765.981
AT ITER 195 NEW BEST:: SOT 272876 SOS 192952 HAS SOPS 188446 HAS SOUS 67723 HAS SOUPS 67538 WITH SCORE 67730.952
AT ITER 198 NEW BEST:: SOT 272972 SOS 193042 HAS SOPS 188524 HAS SOUS 67705 HAS SOUPS 67520 WITH SCORE 67713.042
AT ITER 200 NEW BEST:: SOT 272911 SOS 192981 HAS SOPS 188463 HAS SOUS 67644 HAS SOUPS 67459 WITH SCORE 67651.981
AT ITER 205 NEW BEST:: SOT 272908 SOS 192975 HAS SOPS 188457 HAS SOUS 67644 HAS SOUPS 67459 WITH SCORE 67651.975
AT ITER 208 NEW BEST:: SOT 272770 SOS 189773 HAS SOPS 184988 HAS SOUS 64938 HAS SOUPS 64753 WITH SCORE 64942.773
AT ITER 224 NEW BEST:: SOT 272642 SOS 189534 HAS SOPS 184749 HAS SOUS 64899 HAS SOUPS 64714 WITH SCORE 64903.534
AT ITER 226 NEW BEST:: SOT 272649 SOS 189492 HAS SOPS 184707 HAS SOUS 64858 HAS SOUPS 64673 WITH SCORE 64862.492
AT ITER 228 NEW BEST:: SOT 272647 SOS 189585 HAS SOPS 184760 HAS SOUS 64818 HAS SOUPS 64633 WITH SCORE 64822.585
AT ITER 231 NEW BEST:: SOT 272662 SOS 189531 HAS SOPS 184721 HAS SOUS 64779 HAS SOUPS 64594 WITH SCORE 64783.531
AT ITER 237 NEW BEST:: SOT 272635 SOS 189484 HAS SOPS 184667 HAS SOUS 64755 HAS SOUPS 64570 WITH SCORE 64759.484
AT ITER 238 NEW BEST:: SOT 268559 SOS 185405 HAS SOPS 180579 HAS SOUS 62767 HAS SOUPS 62582 WITH SCORE 62767.405
AT ITER 241 NEW BEST:: SOT 268559 SOS 185174 HAS SOPS 179260 HAS SOUS 60624 HAS SOUPS 60439 WITH SCORE 60624.174
AT ITER 242 NEW BEST:: SOT 268538 SOS 185117 HAS SOPS 179218 HAS SOUS 60582 HAS SOUPS 60397 WITH SCORE 60582.117
AT ITER 243 NEW BEST:: SOT 268538 SOS 185117 HAS SOPS 179218 HAS SOUS 60576 HAS SOUPS 60391 WITH SCORE 60576.117
AT ITER 244 NEW BEST:: SOT 268674 SOS 185175 HAS SOPS 179276 HAS SOUS 60524 HAS SOUPS 60339 WITH SCORE 60524.175
AT ITER 245 NEW BEST:: SOT 268650 SOS 185151 HAS SOPS 179252 HAS SOUS 60500 HAS SOUPS 60315 WITH SCORE 60500.151
AT ITER 246 NEW BEST:: SOT 268565 SOS 184799 HAS SOPS 178878 HAS SOUS 60229 HAS SOUPS 60044 WITH SCORE 60228.799
AT ITER 249 NEW BEST:: SOT 268478 SOS 184620 HAS SOPS 178699 HAS SOUS 60075 HAS SOUPS 59890 WITH SCORE 60074.62
AT ITER 256 NEW BEST:: SOT 268477 SOS 184619 HAS SOPS 178697 HAS SOUS 60073 HAS SOUPS 59888 WITH SCORE 60072.619
AT ITER 258 NEW BEST:: SOT 268412 SOS 180858 HAS SOPS 174936 HAS SOUS 59289 HAS SOUPS 59104 WITH SCORE 59284.858
AT ITER 259 NEW BEST:: SOT 268385 SOS 180809 HAS SOPS 174882 HAS SOUS 59235 HAS SOUPS 59050 WITH SCORE 59230.809
AT ITER 262 NEW BEST:: SOT 268384 SOS 180719 HAS SOPS 174792 HAS SOUS 59136 HAS SOUPS 58951 WITH SCORE 59131.719
AT ITER 263 NEW BEST:: SOT 268384 SOS 180667 HAS SOPS 174740 HAS SOUS 59084 HAS SOUPS 58899 WITH SCORE 59079.667
AT ITER 265 NEW BEST:: SOT 268602 SOS 178878 HAS SOPS 172981 HAS SOUS 58907 HAS SOUPS 58722 WITH SCORE 58900.878
AT ITER 271 NEW BEST:: SOT 268643 SOS 178872 HAS SOPS 172966 HAS SOUS 58901 HAS SOUPS 58707 WITH SCORE 58885.872
AT ITER 274 NEW BEST:: SOT 268643 SOS 178870 HAS SOPS 172916 HAS SOUS 58839 HAS SOUPS 58645 WITH SCORE 58823.87
AT ITER 281 NEW BEST:: SOT 270073 SOS 180271 HAS SOPS 174033 HAS SOUS 58519 HAS SOUPS 58324 WITH SCORE 58504.271
AT ITER 282 NEW BEST:: SOT 270047 SOS 180081 HAS SOPS 173855 HAS SOUS 58434 HAS SOUPS 58239 WITH SCORE 58419.081
AT ITER 283 NEW BEST:: SOT 269974 SOS 179970 HAS SOPS 173709 HAS SOUS 58346 HAS SOUPS 58151 WITH SCORE 58330.97
AT ITER 286 NEW BEST:: SOT 270060 SOS 178840 HAS SOPS 172579 HAS SOUS 57975 HAS SOUPS 57780 WITH SCORE 57958.84
AT ITER 288 NEW BEST:: SOT 270053 SOS 178833 HAS SOPS 172572 HAS SOUS 57968 HAS SOUPS 57773 WITH SCORE 57951.833
AT ITER 289 NEW BEST:: SOT 269916 SOS 178691 HAS SOPS 172413 HAS SOUS 57935 HAS SOUPS 57740 WITH SCORE 57918.691
AT ITER 292 NEW BEST:: SOT 269903 SOS 178639 HAS SOPS 172361 HAS SOUS 57919 HAS SOUPS 57724 WITH SCORE 57902.639
AT ITER 294 NEW BEST:: SOT 269784 SOS 178402 HAS SOPS 172097 HAS SOUS 57773 HAS SOUPS 57578 WITH SCORE 57756.402
AT ITER 295 NEW BEST:: SOT 269759 SOS 178377 HAS SOPS 172059 HAS SOUS 57735 HAS SOUPS 57540 WITH SCORE 57718.377
AT ITER 298 NEW BEST:: SOT 269976 SOS 171940 HAS SOPS 165653 HAS SOUS 56272 HAS SOUPS 56077 WITH SCORE 56248.94
AT ITER 300 NEW BEST:: SOT 269823 SOS 171751 HAS SOPS 165336 HAS SOUS 55944 HAS SOUPS 55732 WITH SCORE 55903.751
AT ITER 306 NEW BEST:: SOT 266402 SOS 174490 HAS SOPS 168075 HAS SOUS 55343 HAS SOUPS 55131 WITH SCORE 55305.49
AT ITER 307 NEW BEST:: SOT 266961 SOS 169102 HAS SOPS 162736 HAS SOUS 54663 HAS SOUPS 54451 WITH SCORE 54620.102
AT ITER 308 NEW BEST:: SOT 267023 SOS 169164 HAS SOPS 162109 HAS SOUS 53783 HAS SOUPS 53571 WITH SCORE 53740.164
AT ITER 310 NEW BEST:: SOT 267053 SOS 166949 HAS SOPS 159894 HAS SOUS 53351 HAS SOUPS 53139 WITH SCORE 53305.949
AT ITER 315 NEW BEST:: SOT 267039 SOS 166945 HAS SOPS 159890 HAS SOUS 53337 HAS SOUPS 53125 WITH SCORE 53291.945
AT ITER 317 NEW BEST:: SOT 267039 SOS 162372 HAS SOPS 155328 HAS SOUS 52095 HAS SOUPS 51883 WITH SCORE 52045.372
AT ITER 318 NEW BEST:: SOT 266994 SOS 162327 HAS SOPS 155238 HAS SOUS 52005 HAS SOUPS 51793 WITH SCORE 51955.327
AT ITER 321 NEW BEST:: SOT 266994 SOS 162059 HAS SOPS 155012 HAS SOUS 52005 HAS SOUPS 51793 WITH SCORE 51955.059
AT ITER 323 NEW BEST:: SOT 266988 SOS 162044 HAS SOPS 154988 HAS SOUS 51990 HAS SOUPS 51769 WITH SCORE 51931.044
AT ITER 327 NEW BEST:: SOT 267043 SOS 160627 HAS SOPS 152268 HAS SOUS 49351 HAS SOUPS 49130 WITH SCORE 49290.627
AT ITER 328 NEW BEST:: SOT 262789 SOS 156982 HAS SOPS 148623 HAS SOUS 47512 HAS SOUPS 47291 WITH SCORE 47447.982
AT ITER 333 NEW BEST:: SOT 262753 SOS 156910 HAS SOPS 148551 HAS SOUS 47404 HAS SOUPS 47183 WITH SCORE 47339.91
AT ITER 336 NEW BEST:: SOT 261344 SOS 155501 HAS SOPS 147137 HAS SOUS 46692 HAS SOUPS 46471 WITH SCORE 46626.501
AT ITER 341 NEW BEST:: SOT 261300 SOS 155427 HAS SOPS 147049 HAS SOUS 46531 HAS SOUPS 46310 WITH SCORE 46465.427
AT ITER 342 NEW BEST:: SOT 261326 SOS 155348 HAS SOPS 146970 HAS SOUS 46459 HAS SOUPS 46238 WITH SCORE 46393.348
AT ITER 344 NEW BEST:: SOT 261314 SOS 155336 HAS SOPS 146946 HAS SOUS 46435 HAS SOUPS 46214 WITH SCORE 46369.336
AT ITER 346 NEW BEST:: SOT 261208 SOS 154879 HAS SOPS 146410 HAS SOUS 46147 HAS SOUPS 45926 WITH SCORE 46080.879
AT ITER 350 NEW BEST:: SOT 261211 SOS 152990 HAS SOPS 144521 HAS SOUS 46043 HAS SOUPS 45822 WITH SCORE 45974.99
AT ITER 355 NEW BEST:: SOT 256732 SOS 148402 HAS SOPS 139894 HAS SOUS 43716 HAS SOUPS 43495 WITH SCORE 43643.402
AT ITER 356 NEW BEST:: SOT 256666 SOS 148336 HAS SOPS 139807 HAS SOUS 43631 HAS SOUPS 43408 WITH SCORE 43556.336
AT ITER 359 NEW BEST:: SOT 258600 SOS 148030 HAS SOPS 139507 HAS SOUS 43375 HAS SOUPS 43152 WITH SCORE 43300.03
AT ITER 361 NEW BEST:: SOT 258524 SOS 147787 HAS SOPS 139188 HAS SOUS 43107 HAS SOUPS 42884 WITH SCORE 43031.787
AT ITER 363 NEW BEST:: SOT 258460 SOS 147723 HAS SOPS 139112 HAS SOUS 43031 HAS SOUPS 42808 WITH SCORE 42955.723
AT ITER 364 NEW BEST:: SOT 251486 SOS 170737 HAS SOPS 132138 HAS SOUS 40550 HAS SOUPS 40235 WITH SCORE 40405.737
AT ITER 365 NEW BEST:: SOT 251434 SOS 170539 HAS SOPS 131940 HAS SOUS 40465 HAS SOUPS 40150 WITH SCORE 40320.539
AT ITER 367 NEW BEST:: SOT 251389 SOS 170494 HAS SOPS 131876 HAS SOUS 40401 HAS SOUPS 40086 WITH SCORE 40256.494
AT ITER 370 NEW BEST:: SOT 250908 SOS 169994 HAS SOPS 131360 HAS SOUS 40092 HAS SOUPS 39777 WITH SCORE 39946.994
AT ITER 373 NEW BEST:: SOT 250891 SOS 170038 HAS SOPS 131404 HAS SOUS 40075 HAS SOUPS 39760 WITH SCORE 39930.038
AT ITER 377 NEW BEST:: SOT 250776 SOS 169808 HAS SOPS 131107 HAS SOUS 39807 HAS SOUPS 39492 WITH SCORE 39661.808
AT ITER 379 NEW BEST:: SOT 250774 SOS 169800 HAS SOPS 131099 HAS SOUS 39801 HAS SOUPS 39486 WITH SCORE 39655.8
AT ITER 382 NEW BEST:: SOT 250770 SOS 169836 HAS SOPS 131135 HAS SOUS 39798 HAS SOUPS 39483 WITH SCORE 39652.836
AT ITER 384 NEW BEST:: SOT 250921 SOS 169942 HAS SOPS 131241 HAS SOUS 39792 HAS SOUPS 39477 WITH SCORE 39646.942
AT ITER 390 NEW BEST:: SOT 250842 SOS 169925 HAS SOPS 131145 HAS SOUS 39696 HAS SOUPS 39381 WITH SCORE 39550.925
AT ITER 394 NEW BEST:: SOT 250830 SOS 169895 HAS SOPS 131115 HAS SOUS 39684 HAS SOUPS 39369 WITH SCORE 39538.895
AT ITER 405 NEW BEST:: SOT 250830 SOS 169807 HAS SOPS 131027 HAS SOUS 39683 HAS SOUPS 39368 WITH SCORE 39537.807
AT ITER 407 NEW BEST:: SOT 250878 SOS 169849 HAS SOPS 131021 HAS SOUS 39592 HAS SOUPS 39277 WITH SCORE 39446.849
AT ITER 410 NEW BEST:: SOT 250836 SOS 169768 HAS SOPS 130937 HAS SOUS 39498 HAS SOUPS 39183 WITH SCORE 39352.768
AT ITER 411 NEW BEST:: SOT 252650 SOS 171436 HAS SOPS 129855 HAS SOUS 38848 HAS SOUPS 38533 WITH SCORE 38704.436
AT ITER 412 NEW BEST:: SOT 252647 SOS 171334 HAS SOPS 129701 HAS SOUS 38672 HAS SOUPS 38357 WITH SCORE 38528.334
AT ITER 417 NEW BEST:: SOT 252638 SOS 171312 HAS SOPS 129689 HAS SOUS 38672 HAS SOUPS 38357 WITH SCORE 38528.312
AT ITER 428 NEW BEST:: SOT 252577 SOS 171251 HAS SOPS 129628 HAS SOUS 38611 HAS SOUPS 38296 WITH SCORE 38467.251
AT ITER 432 NEW BEST:: SOT 252576 SOS 171245 HAS SOPS 129622 HAS SOUS 38605 HAS SOUPS 38290 WITH SCORE 38461.245
AT ITER 433 NEW BEST:: SOT 252680 SOS 171032 HAS SOPS 129448 HAS SOUS 38522 HAS SOUPS 38207 WITH SCORE 38378.032
AT ITER 435 NEW BEST:: SOT 252701 SOS 171045 HAS SOPS 129437 HAS SOUS 38434 HAS SOUPS 38119 WITH SCORE 38290.045
AT ITER 436 NEW BEST:: SOT 252690 SOS 171034 HAS SOPS 129426 HAS SOUS 38423 HAS SOUPS 38108 WITH SCORE 38279.034
AT ITER 443 NEW BEST:: SOT 252690 SOS 171028 HAS SOPS 129420 HAS SOUS 38423 HAS SOUPS 38108 WITH SCORE 38279.028
AT ITER 444 NEW BEST:: SOT 253522 SOS 171816 HAS SOPS 129906 HAS SOUS 38291 HAS SOUPS 37976 WITH SCORE 38147.816
AT ITER 445 NEW BEST:: SOT 253522 SOS 171813 HAS SOPS 129903 HAS SOUS 38291 HAS SOUPS 37976 WITH SCORE 38147.813
AT ITER 448 NEW BEST:: SOT 253626 SOS 171899 HAS SOPS 129641 HAS SOUS 38244 HAS SOUPS 37929 WITH SCORE 38100.899
AT ITER 452 NEW BEST:: SOT 253626 SOS 171642 HAS SOPS 129484 HAS SOUS 38244 HAS SOUPS 37929 WITH SCORE 38100.642
AT ITER 454 NEW BEST:: SOT 255248 SOS 173226 HAS SOPS 130308 HAS SOUS 37774 HAS SOUPS 37459 WITH SCORE 37632.226
AT ITER 455 NEW BEST:: SOT 255070 SOS 172663 HAS SOPS 129745 HAS SOUS 37339 HAS SOUPS 37024 WITH SCORE 37196.663
AT ITER 458 NEW BEST:: SOT 255032 SOS 172625 HAS SOPS 129669 HAS SOUS 37263 HAS SOUPS 36948 WITH SCORE 37120.625
AT ITER 460 NEW BEST:: SOT 254119 SOS 171675 HAS SOPS 128415 HAS SOUS 36210 HAS SOUPS 35895 WITH SCORE 36066.675
AT ITER 464 NEW BEST:: SOT 253999 SOS 171565 HAS SOPS 128305 HAS SOUS 36162 HAS SOUPS 35847 WITH SCORE 36018.565
AT ITER 465 NEW BEST:: SOT 254018 SOS 171242 HAS SOPS 127837 HAS SOUS 35736 HAS SOUPS 35421 WITH SCORE 35592.242
AT ITER 472 NEW BEST:: SOT 254018 SOS 171245 HAS SOPS 127831 HAS SOUS 35719 HAS SOUPS 35404 WITH SCORE 35575.245
AT ITER 473 NEW BEST:: SOT 254014 SOS 171399 HAS SOPS 127924 HAS SOUS 35713 HAS SOUPS 35398 WITH SCORE 35569.399
AT ITER 474 NEW BEST:: SOT 253925 SOS 171187 HAS SOPS 127671 HAS SOUS 35460 HAS SOUPS 35145 WITH SCORE 35316.187
AT ITER 484 NEW BEST:: SOT 253900 SOS 171378 HAS SOPS 127863 HAS SOUS 35446 HAS SOUPS 35131 WITH SCORE 35302.378
AT ITER 486 NEW BEST:: SOT 253886 SOS 171300 HAS SOPS 127803 HAS SOUS 35386 HAS SOUPS 35071 WITH SCORE 35242.3
AT ITER 487 NEW BEST:: SOT 253688 SOS 170851 HAS SOPS 127304 HAS SOUS 35176 HAS SOUPS 34861 WITH SCORE 35031.851
AT ITER 490 NEW BEST:: SOT 253315 SOS 170485 HAS SOPS 126960 HAS SOUS 35026 HAS SOUPS 34711 WITH SCORE 34881.485
AT ITER 498 NEW BEST:: SOT 253279 SOS 170520 HAS SOPS 126877 HAS SOUS 34943 HAS SOUPS 34628 WITH SCORE 34798.52
AT ITER 499 NEW BEST:: SOT 253265 SOS 170506 HAS SOPS 126856 HAS SOUS 34922 HAS SOUPS 34607 WITH SCORE 34777.506
AT ITER 500 NEW BEST:: SOT 253259 SOS 170498 HAS SOPS 126846 HAS SOUS 34914 HAS SOUPS 34599 WITH SCORE 34769.498
AT ITER 508 NEW BEST:: SOT 253221 SOS 170444 HAS SOPS 126808 HAS SOUS 34901 HAS SOUPS 34586 WITH SCORE 34756.444
AT ITER 515 NEW BEST:: SOT 253251 SOS 170474 HAS SOPS 124486 HAS SOUS 34234 HAS SOUPS 33919 WITH SCORE 34089.474
AT ITER 522 NEW BEST:: SOT 253191 SOS 170488 HAS SOPS 124425 HAS SOUS 34187 HAS SOUPS 33870 WITH SCORE 34040.488
AT ITER 527 NEW BEST:: SOT 253211 SOS 170695 HAS SOPS 124463 HAS SOUS 34150 HAS SOUPS 33833 WITH SCORE 34003.695
AT ITER 531 NEW BEST:: SOT 253307 SOS 170786 HAS SOPS 124658 HAS SOUS 34051 HAS SOUPS 33734 WITH SCORE 33904.786
AT ITER 541 NEW BEST:: SOT 253340 SOS 170820 HAS SOPS 124692 HAS SOUS 34035 HAS SOUPS 33718 WITH SCORE 33888.82
AT ITER 551 NEW BEST:: SOT 253314 SOS 170753 HAS SOPS 124612 HAS SOUS 33954 HAS SOUPS 33637 WITH SCORE 33807.753
AT ITER 557 NEW BEST:: SOT 253311 SOS 170747 HAS SOPS 124606 HAS SOUS 33951 HAS SOUPS 33634 WITH SCORE 33804.747
AT ITER 558 NEW BEST:: SOT 253311 SOS 170653 HAS SOPS 124512 HAS SOUS 33951 HAS SOUPS 33634 WITH SCORE 33804.653
AT ITER 560 NEW BEST:: SOT 253296 SOS 170643 HAS SOPS 124488 HAS SOUS 33946 HAS SOUPS 33629 WITH SCORE 33799.643
AT ITER 562 NEW BEST:: SOT 253296 SOS 170643 HAS SOPS 124486 HAS SOUS 33944 HAS SOUPS 33627 WITH SCORE 33797.643
AT ITER 566 NEW BEST:: SOT 253202 SOS 170439 HAS SOPS 124236 HAS SOUS 33728 HAS SOUPS 33411 WITH SCORE 33581.439
AT ITER 576 NEW BEST:: SOT 253202 SOS 170394 HAS SOPS 124191 HAS SOUS 33683 HAS SOUPS 33366 WITH SCORE 33536.394
AT ITER 584 NEW BEST:: SOT 253202 SOS 170383 HAS SOPS 124180 HAS SOUS 33683 HAS SOUPS 33366 WITH SCORE 33536.383
AT ITER 589 NEW BEST:: SOT 253202 SOS 170335 HAS SOPS 124132 HAS SOUS 33665 HAS SOUPS 33348 WITH SCORE 33518.335
AT ITER 595 NEW BEST:: SOT 253180 SOS 170168 HAS SOPS 123861 HAS SOUS 33495 HAS SOUPS 33178 WITH SCORE 33348.168
AT ITER 610 NEW BEST:: SOT 253075 SOS 170060 HAS SOPS 123753 HAS SOUS 33438 HAS SOUPS 33121 WITH SCORE 33291.06
AT ITER 611 NEW BEST:: SOT 253091 SOS 170092 HAS SOPS 123785 HAS SOUS 33430 HAS SOUPS 33113 WITH SCORE 33283.092
AT ITER 622 NEW BEST:: SOT 253091 SOS 169844 HAS SOPS 123547 HAS SOUS 33370 HAS SOUPS 33053 WITH SCORE 33222.844
AT ITER 623 NEW BEST:: SOT 253024 SOS 169906 HAS SOPS 123609 HAS SOUS 33355 HAS SOUPS 33038 WITH SCORE 33207.906
AT ITER 624 NEW BEST:: SOT 253068 SOS 169881 HAS SOPS 123601 HAS SOUS 33347 HAS SOUPS 33030 WITH SCORE 33199.881
AT ITER 632 NEW BEST:: SOT 253022 SOS 169838 HAS SOPS 123558 HAS SOUS 33266 HAS SOUPS 32949 WITH SCORE 33118.838
AT ITER 634 NEW BEST:: SOT 253014 SOS 169830 HAS SOPS 123550 HAS SOUS 33262 HAS SOUPS 32945 WITH SCORE 33114.83
AT ITER 640 NEW BEST:: SOT 253036 SOS 169803 HAS SOPS 123547 HAS SOUS 33238 HAS SOUPS 32921 WITH SCORE 33090.803
AT ITER 642 NEW BEST:: SOT 253036 SOS 169790 HAS SOPS 123534 HAS SOUS 33212 HAS SOUPS 32895 WITH SCORE 33064.79
AT ITER 643 NEW BEST:: SOT 252939 SOS 169596 HAS SOPS 123340 HAS SOUS 33187 HAS SOUPS 32870 WITH SCORE 33039.596
AT ITER 644 NEW BEST:: SOT 252922 SOS 169579 HAS SOPS 123323 HAS SOUS 33176 HAS SOUPS 32859 WITH SCORE 33028.579
AT ITER 646 NEW BEST:: SOT 252921 SOS 169591 HAS SOPS 123335 HAS SOUS 33174 HAS SOUPS 32857 WITH SCORE 33026.591
AT ITER 656 NEW BEST:: SOT 252719 SOS 169389 HAS SOPS 123133 HAS SOUS 33073 HAS SOUPS 32756 WITH SCORE 32925.389
AT ITER 658 NEW BEST:: SOT 252624 SOS 169191 HAS SOPS 122889 HAS SOUS 32878 HAS SOUPS 32561 WITH SCORE 32730.191
AT ITER 662 NEW BEST:: SOT 252526 SOS 169117 HAS SOPS 122808 HAS SOUS 32846 HAS SOUPS 32529 WITH SCORE 32698.117
AT ITER 666 NEW BEST:: SOT 250445 SOS 167052 HAS SOPS 121063 HAS SOUS 32316 HAS SOUPS 31999 WITH SCORE 32166.052
AT ITER 669 NEW BEST:: SOT 250430 SOS 167022 HAS SOPS 121033 HAS SOUS 32301 HAS SOUPS 31984 WITH SCORE 32151.022
AT ITER 678 NEW BEST:: SOT 250343 SOS 166878 HAS SOPS 120889 HAS SOUS 32252 HAS SOUPS 31935 WITH SCORE 32101.878
AT ITER 681 NEW BEST:: SOT 250331 SOS 166866 HAS SOPS 120877 HAS SOUS 32240 HAS SOUPS 31923 WITH SCORE 32089.866
AT ITER 682 NEW BEST:: SOT 250300 SOS 166740 HAS SOPS 120751 HAS SOUS 32114 HAS SOUPS 31797 WITH SCORE 31963.74
AT ITER 691 NEW BEST:: SOT 250255 SOS 166776 HAS SOPS 120692 HAS SOUS 32057 HAS SOUPS 31740 WITH SCORE 31906.776
AT ITER 696 NEW BEST:: SOT 250242 SOS 166750 HAS SOPS 120666 HAS SOUS 32031 HAS SOUPS 31714 WITH SCORE 31880.75
AT ITER 697 NEW BEST:: SOT 250181 SOS 166687 HAS SOPS 120623 HAS SOUS 32002 HAS SOUPS 31685 WITH SCORE 31851.687
AT ITER 704 NEW BEST:: SOT 250135 SOS 166621 HAS SOPS 120511 HAS SOUS 31892 HAS SOUPS 31575 WITH SCORE 31741.621
AT ITER 714 NEW BEST:: SOT 250076 SOS 166562 HAS SOPS 120452 HAS SOUS 31862 HAS SOUPS 31545 WITH SCORE 31711.562
AT ITER 717 NEW BEST:: SOT 250056 SOS 166486 HAS SOPS 120376 HAS SOUS 31826 HAS SOUPS 31509 WITH SCORE 31675.486
AT ITER 727 NEW BEST:: SOT 250047 SOS 166416 HAS SOPS 120285 HAS SOUS 31784 HAS SOUPS 31467 WITH SCORE 31633.416
AT ITER 735 NEW BEST:: SOT 250046 SOS 166380 HAS SOPS 120249 HAS SOUS 31782 HAS SOUPS 31465 WITH SCORE 31631.38
AT ITER 736 NEW BEST:: SOT 250046 SOS 166360 HAS SOPS 120229 HAS SOUS 31772 HAS SOUPS 31455 WITH SCORE 31621.36
AT ITER 746 NEW BEST:: SOT 250034 SOS 166377 HAS SOPS 120232 HAS SOUS 31760 HAS SOUPS 31443 WITH SCORE 31609.377
AT ITER 772 NEW BEST:: SOT 248965 SOS 172024 HAS SOPS 119129 HAS SOUS 31358 HAS SOUPS 30936 WITH SCORE 31108.024
AT ITER 780 NEW BEST:: SOT 248963 SOS 172009 HAS SOPS 119122 HAS SOUS 31358 HAS SOUPS 30936 WITH SCORE 31108.009
AT ITER 790 NEW BEST:: SOT 248901 SOS 171946 HAS SOPS 118998 HAS SOUS 31236 HAS SOUPS 30814 WITH SCORE 30985.946
AT ITER 792 NEW BEST:: SOT 248897 SOS 171942 HAS SOPS 118994 HAS SOUS 31232 HAS SOUPS 30810 WITH SCORE 30981.942
AT ITER 797 NEW BEST:: SOT 248853 SOS 171890 HAS SOPS 118933 HAS SOUS 31171 HAS SOUPS 30749 WITH SCORE 30920.89
AT ITER 799 NEW BEST:: SOT 247984 SOS 171022 HAS SOPS 118085 HAS SOUS 30766 HAS SOUPS 30344 WITH SCORE 30515.022
AT ITER 800 NEW BEST:: SOT 247926 SOS 170960 HAS SOPS 117965 HAS SOUS 30646 HAS SOUPS 30224 WITH SCORE 30394.96
AT ITER 802 NEW BEST:: SOT 247930 SOS 170478 HAS SOPS 117483 HAS SOUS 30640 HAS SOUPS 30218 WITH SCORE 30388.478
AT ITER 810 NEW BEST:: SOT 247224 SOS 169806 HAS SOPS 116811 HAS SOUS 30319 HAS SOUPS 29897 WITH SCORE 30066.806
AT ITER 817 NEW BEST:: SOT 247154 SOS 169713 HAS SOPS 116671 HAS SOUS 30209 HAS SOUPS 29787 WITH SCORE 29956.713
AT ITER 818 NEW BEST:: SOT 247103 SOS 169513 HAS SOPS 116569 HAS SOUS 30194 HAS SOUPS 29772 WITH SCORE 29941.513
AT ITER 821 NEW BEST:: SOT 246958 SOS 172234 HAS SOPS 119229 HAS SOUS 30181 HAS SOUPS 29759 WITH SCORE 29931.234
AT ITER 831 NEW BEST:: SOT 246889 SOS 172118 HAS SOPS 119044 HAS SOUS 29996 HAS SOUPS 29574 WITH SCORE 29746.118
AT ITER 832 NEW BEST:: SOT 246895 SOS 172127 HAS SOPS 118924 HAS SOUS 29945 HAS SOUPS 29523 WITH SCORE 29695.127
AT ITER 837 NEW BEST:: SOT 246890 SOS 172069 HAS SOPS 118914 HAS SOUS 29900 HAS SOUPS 29478 WITH SCORE 29650.069
AT ITER 846 NEW BEST:: SOT 246899 SOS 172087 HAS SOPS 118932 HAS SOUS 29813 HAS SOUPS 29391 WITH SCORE 29563.087
AT ITER 853 NEW BEST:: SOT 246899 SOS 171967 HAS SOPS 118872 HAS SOUS 29813 HAS SOUPS 29391 WITH SCORE 29562.967
AT ITER 855 NEW BEST:: SOT 246818 SOS 171882 HAS SOPS 118710 HAS SOUS 29655 HAS SOUPS 29233 WITH SCORE 29404.882
AT ITER 862 NEW BEST:: SOT 246812 SOS 171868 HAS SOPS 118698 HAS SOUS 29641 HAS SOUPS 29219 WITH SCORE 29390.868
AT ITER 866 NEW BEST:: SOT 246790 SOS 171824 HAS SOPS 118654 HAS SOUS 29613 HAS SOUPS 29191 WITH SCORE 29362.824
AT ITER 873 NEW BEST:: SOT 246788 SOS 171822 HAS SOPS 118651 HAS SOUS 29610 HAS SOUPS 29188 WITH SCORE 29359.822
AT ITER 875 NEW BEST:: SOT 246728 SOS 172978 HAS SOPS 118588 HAS SOUS 29579 HAS SOUPS 29155 WITH SCORE 29327.978
AT ITER 883 NEW BEST:: SOT 246695 SOS 172941 HAS SOPS 118544 HAS SOUS 29550 HAS SOUPS 29126 WITH SCORE 29298.941
AT ITER 884 NEW BEST:: SOT 246752 SOS 172992 HAS SOPS 118583 HAS SOUS 29482 HAS SOUPS 29058 WITH SCORE 29230.992
AT ITER 885 NEW BEST:: SOT 246709 SOS 172949 HAS SOPS 118497 HAS SOUS 29396 HAS SOUPS 28972 WITH SCORE 29144.949
AT ITER 890 NEW BEST:: SOT 246664 SOS 172904 HAS SOPS 118407 HAS SOUS 29306 HAS SOUPS 28882 WITH SCORE 29054.904
AT ITER 902 NEW BEST:: SOT 246608 SOS 172862 HAS SOPS 118295 HAS SOUS 29214 HAS SOUPS 28790 WITH SCORE 28962.862
AT ITER 908 NEW BEST:: SOT 246610 SOS 172860 HAS SOPS 118291 HAS SOUS 29206 HAS SOUPS 28782 WITH SCORE 28954.86
AT ITER 909 NEW BEST:: SOT 246574 SOS 172837 HAS SOPS 118254 HAS SOUS 29156 HAS SOUPS 28732 WITH SCORE 28904.837
AT ITER 911 NEW BEST:: SOT 246494 SOS 172634 HAS SOPS 118008 HAS SOUS 28947 HAS SOUPS 28523 WITH SCORE 28695.634
AT ITER 913 NEW BEST:: SOT 246494 SOS 172634 HAS SOPS 117608 HAS SOUS 28717 HAS SOUPS 28293 WITH SCORE 28465.634
AT ITER 915 NEW BEST:: SOT 246505 SOS 172611 HAS SOPS 117583 HAS SOUS 28680 HAS SOUPS 28256 WITH SCORE 28428.611
AT ITER 916 NEW BEST:: SOT 246235 SOS 172341 HAS SOPS 117313 HAS SOUS 28545 HAS SOUPS 28121 WITH SCORE 28293.341
AT ITER 917 NEW BEST:: SOT 246224 SOS 172100 HAS SOPS 117126 HAS SOUS 28358 HAS SOUPS 27934 WITH SCORE 28106.1
AT ITER 921 NEW BEST:: SOT 246212 SOS 172165 HAS SOPS 116902 HAS SOUS 28177 HAS SOUPS 27753 WITH SCORE 27925.165
AT ITER 922 NEW BEST:: SOT 246247 SOS 172169 HAS SOPS 116873 HAS SOUS 28148 HAS SOUPS 27724 WITH SCORE 27896.169
AT ITER 931 NEW BEST:: SOT 246232 SOS 172052 HAS SOPS 116741 HAS SOUS 28012 HAS SOUPS 27588 WITH SCORE 27760.052
AT ITER 935 NEW BEST:: SOT 246226 SOS 172034 HAS SOPS 116729 HAS SOUS 28000 HAS SOUPS 27576 WITH SCORE 27748.034
AT ITER 943 NEW BEST:: SOT 246177 SOS 171968 HAS SOPS 116663 HAS SOUS 27940 HAS SOUPS 27516 WITH SCORE 27687.968
AT ITER 956 NEW BEST:: SOT 246123 SOS 171866 HAS SOPS 116555 HAS SOUS 27887 HAS SOUPS 27463 WITH SCORE 27634.866
AT ITER 964 NEW BEST:: SOT 246118 SOS 171856 HAS SOPS 116545 HAS SOUS 27882 HAS SOUPS 27458 WITH SCORE 27629.856
AT ITER 976 NEW BEST:: SOT 246069 SOS 171748 HAS SOPS 116420 HAS SOUS 27772 HAS SOUPS 27348 WITH SCORE 27519.748
AT ITER 987 NEW BEST:: SOT 245821 SOS 177590 HAS SOPS 116152 HAS SOUS 27640 HAS SOUPS 27206 WITH SCORE 27383.59
AT ITER 993 NEW BEST:: SOT 245536 SOS 188695 HAS SOPS 115820 HAS SOUS 27508 HAS SOUPS 27057 WITH SCORE 27245.695
AT ITER 1008 NEW BEST:: SOT 245494 SOS 188611 HAS SOPS 115736 HAS SOUS 27466 HAS SOUPS 27015 WITH SCORE 27203.611
AT ITER 1013 NEW BEST:: SOT 245494 SOS 188605 HAS SOPS 115496 HAS SOUS 27328 HAS SOUPS 26877 WITH SCORE 27065.605
AT ITER 1019 NEW BEST:: SOT 245485 SOS 188578 HAS SOPS 115469 HAS SOUS 27301 HAS SOUPS 26850 WITH SCORE 27038.578
AT ITER 1026 NEW BEST:: SOT 245463 SOS 188498 HAS SOPS 115355 HAS SOUS 27186 HAS SOUPS 26735 WITH SCORE 26923.498
AT ITER 1031 NEW BEST:: SOT 245462 SOS 188477 HAS SOPS 115334 HAS SOUS 27163 HAS SOUPS 26712 WITH SCORE 26900.477
AT ITER 1049 NEW BEST:: SOT 245468 SOS 188506 HAS SOPS 115346 HAS SOUS 27137 HAS SOUPS 26686 WITH SCORE 26874.506
AT ITER 1063 NEW BEST:: SOT 245466 SOS 188504 HAS SOPS 115344 HAS SOUS 27135 HAS SOUPS 26684 WITH SCORE 26872.504
AT ITER 1082 NEW BEST:: SOT 245450 SOS 188488 HAS SOPS 115312 HAS SOUS 27103 HAS SOUPS 26652 WITH SCORE 26840.488
AT ITER 1083 NEW BEST:: SOT 245434 SOS 188456 HAS SOPS 115263 HAS SOUS 27053 HAS SOUPS 26602 WITH SCORE 26790.456
AT ITER 1084 NEW BEST:: SOT 245317 SOS 188403 HAS SOPS 115093 HAS SOUS 26883 HAS SOUPS 26432 WITH SCORE 26620.403
AT ITER 1090 NEW BEST:: SOT 245183 SOS 188316 HAS SOPS 114906 HAS SOUS 26734 HAS SOUPS 26283 WITH SCORE 26471.316
AT ITER 1091 NEW BEST:: SOT 245125 SOS 188200 HAS SOPS 114790 HAS SOUS 26608 HAS SOUPS 26157 WITH SCORE 26345.2
AT ITER 1092 NEW BEST:: SOT 245129 SOS 188200 HAS SOPS 114556 HAS SOUS 26559 HAS SOUPS 26108 WITH SCORE 26296.2
AT ITER 1100 NEW BEST:: SOT 245129 SOS 188180 HAS SOPS 114546 HAS SOUS 26549 HAS SOUPS 26098 WITH SCORE 26286.18
AT ITER 1108 NEW BEST:: SOT 245130 SOS 188167 HAS SOPS 114452 HAS SOUS 26127 HAS SOUPS 25673 WITH SCORE 25861.167
AT ITER 1111 NEW BEST:: SOT 245122 SOS 188125 HAS SOPS 114391 HAS SOUS 26077 HAS SOUPS 25623 WITH SCORE 25811.125
AT ITER 1112 NEW BEST:: SOT 245096 SOS 188059 HAS SOPS 114304 HAS SOUS 26031 HAS SOUPS 25577 WITH SCORE 25765.059
AT ITER 1119 NEW BEST:: SOT 243858 SOS 186872 HAS SOPS 113117 HAS SOUS 25478 HAS SOUPS 25024 WITH SCORE 25210.872
AT ITER 1122 NEW BEST:: SOT 243858 SOS 185097 HAS SOPS 111349 HAS SOUS 25413 HAS SOUPS 24959 WITH SCORE 25144.097
AT ITER 1123 NEW BEST:: SOT 243834 SOS 185061 HAS SOPS 111301 HAS SOUS 25365 HAS SOUPS 24911 WITH SCORE 25096.061
AT ITER 1142 NEW BEST:: SOT 243787 SOS 184980 HAS SOPS 111207 HAS SOUS 25264 HAS SOUPS 24810 WITH SCORE 24994.98
AT ITER 1143 NEW BEST:: SOT 243772 SOS 184859 HAS SOPS 111177 HAS SOUS 25234 HAS SOUPS 24780 WITH SCORE 24964.859
AT ITER 1145 NEW BEST:: SOT 243734 SOS 184802 HAS SOPS 111101 HAS SOUS 25158 HAS SOUPS 24704 WITH SCORE 24888.802
AT ITER 1147 NEW BEST:: SOT 243720 SOS 184788 HAS SOPS 111073 HAS SOUS 25130 HAS SOUPS 24676 WITH SCORE 24860.788
AT ITER 1149 NEW BEST:: SOT 243719 SOS 184787 HAS SOPS 111072 HAS SOUS 25129 HAS SOUPS 24675 WITH SCORE 24859.787
AT ITER 1150 NEW BEST:: SOT 243702 SOS 184753 HAS SOPS 111038 HAS SOUS 25078 HAS SOUPS 24624 WITH SCORE 24808.753
AT ITER 1151 NEW BEST:: SOT 243702 SOS 184753 HAS SOPS 111038 HAS SOUS 25071 HAS SOUPS 24617 WITH SCORE 24801.753
AT ITER 1157 NEW BEST:: SOT 243497 SOS 184548 HAS SOPS 110778 HAS SOUS 24886 HAS SOUPS 24432 WITH SCORE 24616.548
AT ITER 1158 NEW BEST:: SOT 243499 SOS 184548 HAS SOPS 110780 HAS SOUS 24884 HAS SOUPS 24430 WITH SCORE 24614.548
AT ITER 1183 NEW BEST:: SOT 243551 SOS 184552 HAS SOPS 110787 HAS SOUS 24849 HAS SOUPS 24395 WITH SCORE 24579.552
AT ITER 1184 NEW BEST:: SOT 243345 SOS 184356 HAS SOPS 110447 HAS SOUS 24508 HAS SOUPS 24054 WITH SCORE 24238.356
AT ITER 1215 NEW BEST:: SOT 243310 SOS 184286 HAS SOPS 110377 HAS SOUS 24461 HAS SOUPS 24007 WITH SCORE 24191.286
AT ITER 1230 NEW BEST:: SOT 243310 SOS 184285 HAS SOPS 110376 HAS SOUS 24461 HAS SOUPS 24007 WITH SCORE 24191.285
AT ITER 1250 NEW BEST:: SOT 243311 SOS 184276 HAS SOPS 110378 HAS SOUS 24457 HAS SOUPS 24003 WITH SCORE 24187.276
AT ITER 1256 NEW BEST:: SOT 243332 SOS 184318 HAS SOPS 110153 HAS SOUS 24072 HAS SOUPS 23618 WITH SCORE 23802.318
AT ITER 1284 NEW BEST:: SOT 243343 SOS 184315 HAS SOPS 110151 HAS SOUS 24070 HAS SOUPS 23616 WITH SCORE 23800.315
AT ITER 1288 NEW BEST:: SOT 243322 SOS 184294 HAS SOPS 110109 HAS SOUS 23987 HAS SOUPS 23533 WITH SCORE 23717.294
AT ITER 1293 NEW BEST:: SOT 243306 SOS 184252 HAS SOPS 110051 HAS SOUS 23929 HAS SOUPS 23475 WITH SCORE 23659.252
AT ITER 1297 NEW BEST:: SOT 243303 SOS 184204 HAS SOPS 110000 HAS SOUS 23878 HAS SOUPS 23424 WITH SCORE 23608.204
AT ITER 1315 NEW BEST:: SOT 243296 SOS 184189 HAS SOPS 109978 HAS SOUS 23856 HAS SOUPS 23402 WITH SCORE 23586.189
AT ITER 1320 NEW BEST:: SOT 243284 SOS 184141 HAS SOPS 109538 HAS SOUS 23518 HAS SOUPS 23064 WITH SCORE 23248.141
AT ITER 1326 NEW BEST:: SOT 243276 SOS 184125 HAS SOPS 109522 HAS SOUS 23502 HAS SOUPS 23048 WITH SCORE 23232.125
AT ITER 1335 NEW BEST:: SOT 243254 SOS 184103 HAS SOPS 109478 HAS SOUS 23458 HAS SOUPS 23004 WITH SCORE 23188.103
AT ITER 1351 NEW BEST:: SOT 243254 SOS 184043 HAS SOPS 109438 HAS SOUS 23438 HAS SOUPS 22984 WITH SCORE 23168.043
AT ITER 1356 NEW BEST:: SOT 243190 SOS 183876 HAS SOPS 109310 HAS SOUS 23310 HAS SOUPS 22856 WITH SCORE 23039.876
AT ITER 1359 NEW BEST:: SOT 243151 SOS 183837 HAS SOPS 109232 HAS SOUS 23256 HAS SOUPS 22802 WITH SCORE 22985.837
AT ITER 1365 NEW BEST:: SOT 243151 SOS 183891 HAS SOPS 109232 HAS SOUS 23186 HAS SOUPS 22732 WITH SCORE 22915.891
AT ITER 1367 NEW BEST:: SOT 243109 SOS 183853 HAS SOPS 109175 HAS SOUS 23144 HAS SOUPS 22690 WITH SCORE 22873.853
AT ITER 1382 NEW BEST:: SOT 243106 SOS 183814 HAS SOPS 109169 HAS SOUS 23138 HAS SOUPS 22684 WITH SCORE 22867.814
AT ITER 1391 NEW BEST:: SOT 243167 SOS 183899 HAS SOPS 109169 HAS SOUS 23114 HAS SOUPS 22660 WITH SCORE 22843.899
AT ITER 1402 NEW BEST:: SOT 243160 SOS 183887 HAS SOPS 109155 HAS SOUS 23110 HAS SOUPS 22656 WITH SCORE 22839.887
AT ITER 1407 NEW BEST:: SOT 243143 SOS 183824 HAS SOPS 109121 HAS SOUS 23086 HAS SOUPS 22632 WITH SCORE 22815.824
AT ITER 1412 NEW BEST:: SOT 243146 SOS 183773 HAS SOPS 109076 HAS SOUS 23072 HAS SOUPS 22618 WITH SCORE 22801.773
AT ITER 1425 NEW BEST:: SOT 243148 SOS 183773 HAS SOPS 109038 HAS SOUS 23006 HAS SOUPS 22552 WITH SCORE 22735.773
AT ITER 1426 NEW BEST:: SOT 243158 SOS 183730 HAS SOPS 109058 HAS SOUS 22963 HAS SOUPS 22509 WITH SCORE 22692.73
AT ITER 1468 NEW BEST:: SOT 243174 SOS 183762 HAS SOPS 109090 HAS SOUS 22961 HAS SOUPS 22507 WITH SCORE 22690.762
AT ITER 1476 NEW BEST:: SOT 243164 SOS 184462 HAS SOPS 109790 HAS SOUS 22959 HAS SOUPS 22505 WITH SCORE 22689.462
AT ITER 1497 NEW BEST:: SOT 243164 SOS 184465 HAS SOPS 109790 HAS SOUS 22956 HAS SOUPS 22502 WITH SCORE 22686.465
AT ITER 1501 NEW BEST:: SOT 243148 SOS 184449 HAS SOPS 109758 HAS SOUS 22924 HAS SOUPS 22470 WITH SCORE 22654.449
AT ITER 1525 NEW BEST:: SOT 243120 SOS 184408 HAS SOPS 109702 HAS SOUS 22881 HAS SOUPS 22427 WITH SCORE 22611.408
AT ITER 1526 NEW BEST:: SOT 243120 SOS 184416 HAS SOPS 109694 HAS SOUS 22873 HAS SOUPS 22419 WITH SCORE 22603.416
AT ITER 1535 NEW BEST:: SOT 243014 SOS 184539 HAS SOPS 109653 HAS SOUS 22808 HAS SOUPS 22354 WITH SCORE 22538.539
AT ITER 1544 NEW BEST:: SOT 242965 SOS 184452 HAS SOPS 109555 HAS SOUS 22729 HAS SOUPS 22275 WITH SCORE 22459.452
AT ITER 1545 NEW BEST:: SOT 242966 SOS 184436 HAS SOPS 109486 HAS SOUS 22637 HAS SOUPS 22183 WITH SCORE 22367.436
AT ITER 1546 NEW BEST:: SOT 242911 SOS 184348 HAS SOPS 109376 HAS SOUS 22541 HAS SOUPS 22087 WITH SCORE 22271.348
AT ITER 1553 NEW BEST:: SOT 242872 SOS 184309 HAS SOPS 109298 HAS SOUS 22463 HAS SOUPS 22009 WITH SCORE 22193.309
AT ITER 1554 NEW BEST:: SOT 242872 SOS 184309 HAS SOPS 109298 HAS SOUS 22442 HAS SOUPS 21988 WITH SCORE 22172.309
AT ITER 1558 NEW BEST:: SOT 242857 SOS 184279 HAS SOPS 109268 HAS SOUS 22412 HAS SOUPS 21958 WITH SCORE 22142.279
AT ITER 1577 NEW BEST:: SOT 242831 SOS 184253 HAS SOPS 109216 HAS SOUS 22360 HAS SOUPS 21906 WITH SCORE 22090.253
AT ITER 1598 NEW BEST:: SOT 242818 SOS 184240 HAS SOPS 109203 HAS SOUS 22360 HAS SOUPS 21906 WITH SCORE 22090.24
AT ITER 1605 NEW BEST:: SOT 242818 SOS 184182 HAS SOPS 109145 HAS SOUS 22278 HAS SOUPS 21824 WITH SCORE 22008.182
AT ITER 1608 NEW BEST:: SOT 242825 SOS 184219 HAS SOPS 109159 HAS SOUS 22262 HAS SOUPS 21808 WITH SCORE 21992.219
AT ITER 1613 NEW BEST:: SOT 242722 SOS 184141 HAS SOPS 109017 HAS SOUS 22131 HAS SOUPS 21677 WITH SCORE 21861.141
AT ITER 1619 NEW BEST:: SOT 242682 SOS 184061 HAS SOPS 108937 HAS SOUS 22109 HAS SOUPS 21655 WITH SCORE 21839.061
AT ITER 1622 NEW BEST:: SOT 242680 SOS 184059 HAS SOPS 108933 HAS SOUS 22105 HAS SOUPS 21651 WITH SCORE 21835.059
AT ITER 1626 NEW BEST:: SOT 242628 SOS 183906 HAS SOPS 108778 HAS SOUS 21989 HAS SOUPS 21535 WITH SCORE 21718.906
AT ITER 1630 NEW BEST:: SOT 242649 SOS 183912 HAS SOPS 108769 HAS SOUS 21939 HAS SOUPS 21485 WITH SCORE 21668.912
AT ITER 1641 NEW BEST:: SOT 242591 SOS 183854 HAS SOPS 108691 HAS SOUS 21899 HAS SOUPS 21445 WITH SCORE 21628.854
AT ITER 1647 NEW BEST:: SOT 242562 SOS 183828 HAS SOPS 108662 HAS SOUS 21878 HAS SOUPS 21424 WITH SCORE 21607.828
AT ITER 1648 NEW BEST:: SOT 242602 SOS 183800 HAS SOPS 108666 HAS SOUS 21844 HAS SOUPS 21390 WITH SCORE 21573.8
AT ITER 1659 NEW BEST:: SOT 242578 SOS 183746 HAS SOPS 108618 HAS SOUS 21787 HAS SOUPS 21333 WITH SCORE 21516.746
AT ITER 1667 NEW BEST:: SOT 242549 SOS 183550 HAS SOPS 108560 HAS SOUS 21729 HAS SOUPS 21275 WITH SCORE 21458.55
AT ITER 1677 NEW BEST:: SOT 242521 SOS 183522 HAS SOPS 108504 HAS SOUS 21673 HAS SOUPS 21219 WITH SCORE 21402.522
AT ITER 1685 NEW BEST:: SOT 242520 SOS 183450 HAS SOPS 108432 HAS SOUS 21609 HAS SOUPS 21155 WITH SCORE 21338.45
AT ITER 1686 NEW BEST:: SOT 242450 SOS 183343 HAS SOPS 108292 HAS SOUS 21469 HAS SOUPS 21015 WITH SCORE 21198.343
AT ITER 1734 NEW BEST:: SOT 242428 SOS 183301 HAS SOPS 108248 HAS SOUS 21428 HAS SOUPS 20974 WITH SCORE 21157.301
AT ITER 1743 NEW BEST:: SOT 242050 SOS 182923 HAS SOPS 107870 HAS SOUS 21236 HAS SOUPS 20782 WITH SCORE 20964.923
AT ITER 1745 NEW BEST:: SOT 242045 SOS 182965 HAS SOPS 107860 HAS SOUS 21226 HAS SOUPS 20772 WITH SCORE 20954.965
AT ITER 1747 NEW BEST:: SOT 242019 SOS 182890 HAS SOPS 107776 HAS SOUS 21188 HAS SOUPS 20734 WITH SCORE 20916.89
AT ITER 1748 NEW BEST:: SOT 242028 SOS 182862 HAS SOPS 107748 HAS SOUS 21154 HAS SOUPS 20700 WITH SCORE 20882.862
AT ITER 1760 NEW BEST:: SOT 242015 SOS 182831 HAS SOPS 107713 HAS SOUS 21124 HAS SOUPS 20670 WITH SCORE 20852.831
AT ITER 1782 NEW BEST:: SOT 241910 SOS 182672 HAS SOPS 107569 HAS SOUS 21003 HAS SOUPS 20549 WITH SCORE 20731.672
AT ITER 1794 NEW BEST:: SOT 241802 SOS 182492 HAS SOPS 107353 HAS SOUS 20846 HAS SOUPS 20392 WITH SCORE 20574.492
AT ITER 1814 NEW BEST:: SOT 241788 SOS 182470 HAS SOPS 107325 HAS SOUS 20818 HAS SOUPS 20364 WITH SCORE 20546.47
AT ITER 1819 NEW BEST:: SOT 241785 SOS 182390 HAS SOPS 107242 HAS SOUS 20812 HAS SOUPS 20358 WITH SCORE 20540.39
AT ITER 1823 NEW BEST:: SOT 241759 SOS 182413 HAS SOPS 107238 HAS SOUS 20804 HAS SOUPS 20350 WITH SCORE 20532.413
AT ITER 1832 NEW BEST:: SOT 241759 SOS 182397 HAS SOPS 107222 HAS SOUS 20788 HAS SOUPS 20334 WITH SCORE 20516.397
AT ITER 1848 NEW BEST:: SOT 241733 SOS 182301 HAS SOPS 107135 HAS SOUS 20736 HAS SOUPS 20282 WITH SCORE 20464.301
AT ITER 1854 NEW BEST:: SOT 241693 SOS 182221 HAS SOPS 107055 HAS SOUS 20696 HAS SOUPS 20242 WITH SCORE 20424.221
AT ITER 1871 NEW BEST:: SOT 241689 SOS 182223 HAS SOPS 107053 HAS SOUS 20694 HAS SOUPS 20240 WITH SCORE 20422.223
AT ITER 1893 NEW BEST:: SOT 241636 SOS 182245 HAS SOPS 107011 HAS SOUS 20669 HAS SOUPS 20215 WITH SCORE 20397.245
AT ITER 1921 NEW BEST:: SOT 241626 SOS 182228 HAS SOPS 106991 HAS SOUS 20655 HAS SOUPS 20201 WITH SCORE 20383.228
AT ITER 1929 NEW BEST:: SOT 241619 SOS 182218 HAS SOPS 106981 HAS SOUS 20648 HAS SOUPS 20194 WITH SCORE 20376.218
AT ITER 1932 NEW BEST:: SOT 241595 SOS 182194 HAS SOPS 106933 HAS SOUS 20600 HAS SOUPS 20146 WITH SCORE 20328.194
AT ITER 1935 NEW BEST:: SOT 241572 SOS 182148 HAS SOPS 106887 HAS SOUS 20589 HAS SOUPS 20135 WITH SCORE 20317.148
AT ITER 1964 NEW BEST:: SOT 241522 SOS 182048 HAS SOPS 106787 HAS SOUS 20539 HAS SOUPS 20085 WITH SCORE 20267.048
AT ITER 1970 NEW BEST:: SOT 241451 SOS 181976 HAS SOPS 106711 HAS SOUS 20462 HAS SOUPS 20007 WITH SCORE 20188.976
AT ITER 1986 NEW BEST:: SOT 241167 SOS 181695 HAS SOPS 106455 HAS SOUS 20427 HAS SOUPS 19972 WITH SCORE 20153.695
AT ITER 1998 NEW BEST:: SOT 241158 SOS 181677 HAS SOPS 106341 HAS SOUS 20331 HAS SOUPS 19876 WITH SCORE 20057.677
AT ITER 2004 NEW BEST:: SOT 241151 SOS 181663 HAS SOPS 106327 HAS SOUS 20324 HAS SOUPS 19869 WITH SCORE 20050.663
AT ITER 2017 NEW BEST:: SOT 240673 SOS 181182 HAS SOPS 105843 HAS SOUS 20079 HAS SOUPS 19621 WITH SCORE 19802.182
AT ITER 2043 NEW BEST:: SOT 240696 SOS 180869 HAS SOPS 105547 HAS SOUS 20071 HAS SOUPS 19613 WITH SCORE 19793.869
AT ITER 2061 NEW BEST:: SOT 240540 SOS 180707 HAS SOPS 105382 HAS SOUS 19981 HAS SOUPS 19523 WITH SCORE 19703.707
AT ITER 2062 NEW BEST:: SOT 240529 SOS 180685 HAS SOPS 105360 HAS SOUS 19959 HAS SOUPS 19501 WITH SCORE 19681.685
AT ITER 2075 NEW BEST:: SOT 240435 SOS 180591 HAS SOPS 105172 HAS SOUS 19771 HAS SOUPS 19313 WITH SCORE 19493.591
AT ITER 2087 NEW BEST:: SOT 240435 SOS 180587 HAS SOPS 105108 HAS SOUS 19719 HAS SOUPS 19261 WITH SCORE 19441.587
AT ITER 2098 NEW BEST:: SOT 240448 SOS 180616 HAS SOPS 105145 HAS SOUS 19708 HAS SOUPS 19250 WITH SCORE 19430.616
AT ITER 2135 NEW BEST:: SOT 240448 SOS 180639 HAS SOPS 105145 HAS SOUS 19685 HAS SOUPS 19227 WITH SCORE 19407.639
AT ITER 2139 NEW BEST:: SOT 240431 SOS 180605 HAS SOPS 105111 HAS SOUS 19668 HAS SOUPS 19210 WITH SCORE 19390.605
AT ITER 2146 NEW BEST:: SOT 240431 SOS 180593 HAS SOPS 105111 HAS SOUS 19668 HAS SOUPS 19210 WITH SCORE 19390.593
AT ITER 2155 NEW BEST:: SOT 240422 SOS 180606 HAS SOPS 105093 HAS SOUS 19625 HAS SOUPS 19167 WITH SCORE 19347.606
AT ITER 2199 NEW BEST:: SOT 240391 SOS 180544 HAS SOPS 105031 HAS SOUS 19611 HAS SOUPS 19153 WITH SCORE 19333.544
AT ITER 2224 NEW BEST:: SOT 240409 SOS 180569 HAS SOPS 104642 HAS SOUS 19581 HAS SOUPS 19123 WITH SCORE 19303.569
AT ITER 2255 NEW BEST:: SOT 240385 SOS 180615 HAS SOPS 104651 HAS SOUS 19568 HAS SOUPS 19110 WITH SCORE 19290.615
AT ITER 2266 NEW BEST:: SOT 240330 SOS 180533 HAS SOPS 104569 HAS SOUS 19486 HAS SOUPS 19028 WITH SCORE 19208.533
AT ITER 2269 NEW BEST:: SOT 240329 SOS 180531 HAS SOPS 104567 HAS SOUS 19484 HAS SOUPS 19026 WITH SCORE 19206.531
AT ITER 2274 NEW BEST:: SOT 240316 SOS 180511 HAS SOPS 104541 HAS SOUS 19462 HAS SOUPS 19004 WITH SCORE 19184.511
AT ITER 2282 NEW BEST:: SOT 240315 SOS 180510 HAS SOPS 104539 HAS SOUS 19460 HAS SOUPS 19002 WITH SCORE 19182.51
AT ITER 2291 NEW BEST:: SOT 240297 SOS 180517 HAS SOPS 104503 HAS SOUS 19385 HAS SOUPS 18927 WITH SCORE 19107.517
AT ITER 2324 NEW BEST:: SOT 240295 SOS 180541 HAS SOPS 104499 HAS SOUS 19381 HAS SOUPS 18923 WITH SCORE 19103.541
AT ITER 2325 NEW BEST:: SOT 240286 SOS 180528 HAS SOPS 104466 HAS SOUS 19169 HAS SOUPS 18706 WITH SCORE 18886.528
AT ITER 2329 NEW BEST:: SOT 240225 SOS 180466 HAS SOPS 104426 HAS SOUS 19165 HAS SOUPS 18702 WITH SCORE 18882.466
AT ITER 2346 NEW BEST:: SOT 240197 SOS 180438 HAS SOPS 104384 HAS SOUS 19123 HAS SOUPS 18660 WITH SCORE 18840.438
AT ITER 2361 NEW BEST:: SOT 240182 SOS 180415 HAS SOPS 104354 HAS SOUS 19093 HAS SOUPS 18630 WITH SCORE 18810.415
AT ITER 2374 NEW BEST:: SOT 240178 SOS 180411 HAS SOPS 104346 HAS SOUS 19089 HAS SOUPS 18626 WITH SCORE 18806.411
AT ITER 2381 NEW BEST:: SOT 240170 SOS 180412 HAS SOPS 104338 HAS SOUS 19081 HAS SOUPS 18618 WITH SCORE 18798.412
AT ITER 2414 NEW BEST:: SOT 240059 SOS 180301 HAS SOPS 104168 HAS SOUS 18963 HAS SOUPS 18500 WITH SCORE 18680.301
AT ITER 2450 NEW BEST:: SOT 240029 SOS 180256 HAS SOPS 104108 HAS SOUS 18933 HAS SOUPS 18470 WITH SCORE 18650.256
AT ITER 2456 NEW BEST:: SOT 240024 SOS 180241 HAS SOPS 103878 HAS SOUS 18818 HAS SOUPS 18355 WITH SCORE 18535.241
AT ITER 2468 NEW BEST:: SOT 240031 SOS 180199 HAS SOPS 103839 HAS SOUS 18776 HAS SOUPS 18313 WITH SCORE 18493.199
AT ITER 2470 NEW BEST:: SOT 240031 SOS 180203 HAS SOPS 103839 HAS SOUS 18772 HAS SOUPS 18309 WITH SCORE 18489.203
AT ITER 2501 NEW BEST:: SOT 239790 SOS 179957 HAS SOPS 103287 HAS SOUS 18498 HAS SOUPS 18035 WITH SCORE 18214.957
AT ITER 2515 NEW BEST:: SOT 239535 SOS 179741 HAS SOPS 103233 HAS SOUS 18393 HAS SOUPS 17930 WITH SCORE 18109.741
AT ITER 2518 NEW BEST:: SOT 239525 SOS 179706 HAS SOPS 103213 HAS SOUS 18373 HAS SOUPS 17910 WITH SCORE 18089.706
AT ITER 2548 NEW BEST:: SOT 239524 SOS 179650 HAS SOPS 103157 HAS SOUS 18317 HAS SOUPS 17854 WITH SCORE 18033.65
AT ITER 2549 NEW BEST:: SOT 239479 SOS 179717 HAS SOPS 103169 HAS SOUS 18314 HAS SOUPS 17851 WITH SCORE 18030.717
AT ITER 2574 NEW BEST:: SOT 239407 SOS 179601 HAS SOPS 103025 HAS SOUS 18203 HAS SOUPS 17740 WITH SCORE 17919.601
AT ITER 2592 NEW BEST:: SOT 239310 SOS 179543 HAS SOPS 102901 HAS SOUS 18086 HAS SOUPS 17623 WITH SCORE 17802.543
AT ITER 2620 NEW BEST:: SOT 239296 SOS 179529 HAS SOPS 102886 HAS SOUS 18084 HAS SOUPS 17621 WITH SCORE 17800.529
AT ITER 2689 NEW BEST:: SOT 239290 SOS 179523 HAS SOPS 102874 HAS SOUS 18072 HAS SOUPS 17609 WITH SCORE 17788.523
AT ITER 2705 NEW BEST:: SOT 239280 SOS 179469 HAS SOPS 102854 HAS SOUS 18052 HAS SOUPS 17589 WITH SCORE 17768.469
AT ITER 2706 NEW BEST:: SOT 239280 SOS 179415 HAS SOPS 102827 HAS SOUS 18052 HAS SOUPS 17589 WITH SCORE 17768.415
AT ITER 2714 NEW BEST:: SOT 239263 SOS 179398 HAS SOPS 102793 HAS SOUS 18018 HAS SOUPS 17555 WITH SCORE 17734.398
AT ITER 2727 NEW BEST:: SOT 239248 SOS 179368 HAS SOPS 102763 HAS SOUS 18003 HAS SOUPS 17540 WITH SCORE 17719.368
AT ITER 2740 NEW BEST:: SOT 239238 SOS 179353 HAS SOPS 102748 HAS SOUS 17988 HAS SOUPS 17525 WITH SCORE 17704.353
AT ITER 2769 NEW BEST:: SOT 239192 SOS 179284 HAS SOPS 102656 HAS SOUS 17896 HAS SOUPS 17433 WITH SCORE 17612.284
AT ITER 2775 NEW BEST:: SOT 239185 SOS 179270 HAS SOPS 102642 HAS SOUS 17884 HAS SOUPS 17421 WITH SCORE 17600.27
AT ITER 2781 NEW BEST:: SOT 239165 SOS 179237 HAS SOPS 102618 HAS SOUS 17874 HAS SOUPS 17411 WITH SCORE 17590.237
AT ITER 2805 NEW BEST:: SOT 239160 SOS 179224 HAS SOPS 102604 HAS SOUS 17864 HAS SOUPS 17401 WITH SCORE 17580.224
AT ITER 2836 NEW BEST:: SOT 239081 SOS 179179 HAS SOPS 102574 HAS SOUS 17857 HAS SOUPS 17394 WITH SCORE 17573.179
AT ITER 2846 NEW BEST:: SOT 239068 SOS 179166 HAS SOPS 102548 HAS SOUS 17831 HAS SOUPS 17368 WITH SCORE 17547.166
AT ITER 2848 NEW BEST:: SOT 239054 SOS 179142 HAS SOPS 102520 HAS SOUS 17803 HAS SOUPS 17340 WITH SCORE 17519.142
AT ITER 2856 NEW BEST:: SOT 239026 SOS 179122 HAS SOPS 102481 HAS SOUS 17773 HAS SOUPS 17310 WITH SCORE 17489.122
AT ITER 2901 NEW BEST:: SOT 238664 SOS 178753 HAS SOPS 102203 HAS SOUS 17607 HAS SOUPS 17144 WITH SCORE 17322.753
AT ITER 2931 NEW BEST:: SOT 238651 SOS 178727 HAS SOPS 102177 HAS SOUS 17581 HAS SOUPS 17118 WITH SCORE 17296.727
AT ITER 2940 NEW BEST:: SOT 238651 SOS 178724 HAS SOPS 102057 HAS SOUS 17512 HAS SOUPS 17049 WITH SCORE 17227.724
AT ITER 2966 NEW BEST:: SOT 238641 SOS 178704 HAS SOPS 102037 HAS SOUS 17502 HAS SOUPS 17039 WITH SCORE 17217.704
AT ITER 2988 NEW BEST:: SOT 238630 SOS 177366 HAS SOPS 100699 HAS SOUS 17432 HAS SOUPS 16969 WITH SCORE 17146.366
AT ITER 2989 NEW BEST:: SOT 238628 SOS 177385 HAS SOPS 100718 HAS SOUS 17430 HAS SOUPS 16967 WITH SCORE 17144.385
AT ITER 2992 NEW BEST:: SOT 238652 SOS 177434 HAS SOPS 100766 HAS SOUS 17428 HAS SOUPS 16965 WITH SCORE 17142.434
AT ITER 3046 NEW BEST:: SOT 238484 SOS 177269 HAS SOPS 100791 HAS SOUS 17393 HAS SOUPS 16930 WITH SCORE 17107.269
AT ITER 3050 NEW BEST:: SOT 238468 SOS 177236 HAS SOPS 100759 HAS SOUS 17361 HAS SOUPS 16898 WITH SCORE 17075.236
AT ITER 3053 NEW BEST:: SOT 238462 SOS 177198 HAS SOPS 100734 HAS SOUS 17348 HAS SOUPS 16885 WITH SCORE 17062.198
AT ITER 3079 NEW BEST:: SOT 238459 SOS 177205 HAS SOPS 100728 HAS SOUS 17342 HAS SOUPS 16879 WITH SCORE 17056.205
AT ITER 3104 NEW BEST:: SOT 238309 SOS 177055 HAS SOPS 100578 HAS SOUS 17267 HAS SOUPS 16804 WITH SCORE 16981.055
AT ITER 3114 NEW BEST:: SOT 238305 SOS 177055 HAS SOPS 100574 HAS SOUS 17263 HAS SOUPS 16800 WITH SCORE 16977.055
AT ITER 3117 NEW BEST:: SOT 238301 SOS 177052 HAS SOPS 100579 HAS SOUS 17255 HAS SOUPS 16792 WITH SCORE 16969.052
AT ITER 3118 NEW BEST:: SOT 238268 SOS 176929 HAS SOPS 100464 HAS SOUS 17180 HAS SOUPS 16717 WITH SCORE 16893.929
AT ITER 3122 NEW BEST:: SOT 238264 SOS 176925 HAS SOPS 100456 HAS SOUS 17172 HAS SOUPS 16709 WITH SCORE 16885.925
AT ITER 3128 NEW BEST:: SOT 238248 SOS 176899 HAS SOPS 100430 HAS SOUS 17163 HAS SOUPS 16700 WITH SCORE 16876.899
AT ITER 3169 NEW BEST:: SOT 238251 SOS 176914 HAS SOPS 100436 HAS SOUS 17149 HAS SOUPS 16686 WITH SCORE 16862.914
AT ITER 3175 NEW BEST:: SOT 238253 SOS 176894 HAS SOPS 100237 HAS SOUS 16967 HAS SOUPS 16504 WITH SCORE 16680.894
AT ITER 3189 NEW BEST:: SOT 238259 SOS 176883 HAS SOPS 100232 HAS SOUS 16947 HAS SOUPS 16484 WITH SCORE 16660.883
AT ITER 3192 NEW BEST:: SOT 238249 SOS 176873 HAS SOPS 100222 HAS SOUS 16947 HAS SOUPS 16484 WITH SCORE 16660.873
AT ITER 3197 NEW BEST:: SOT 238246 SOS 176867 HAS SOPS 100213 HAS SOUS 16935 HAS SOUPS 16472 WITH SCORE 16648.867
AT ITER 3224 NEW BEST:: SOT 238231 SOS 177536 HAS SOPS 100197 HAS SOUS 16926 HAS SOUPS 16462 WITH SCORE 16639.536
AT ITER 3235 NEW BEST:: SOT 238232 SOS 177531 HAS SOPS 100186 HAS SOUS 16915 HAS SOUPS 16451 WITH SCORE 16628.531
AT ITER 3295 NEW BEST:: SOT 238225 SOS 177493 HAS SOPS 100172 HAS SOUS 16901 HAS SOUPS 16437 WITH SCORE 16614.493
AT ITER 3296 NEW BEST:: SOT 238213 SOS 177454 HAS SOPS 100146 HAS SOUS 16877 HAS SOUPS 16413 WITH SCORE 16590.454
AT ITER 3326 NEW BEST:: SOT 238179 SOS 177420 HAS SOPS 100078 HAS SOUS 16809 HAS SOUPS 16345 WITH SCORE 16522.42
AT ITER 3363 NEW BEST:: SOT 238171 SOS 177404 HAS SOPS 100062 HAS SOUS 16801 HAS SOUPS 16337 WITH SCORE 16514.404
AT ITER 3367 NEW BEST:: SOT 238109 SOS 180767 HAS SOPS 99990 HAS SOUS 16764 HAS SOUPS 16295 WITH SCORE 16475.767
AT ITER 3369 NEW BEST:: SOT 238075 SOS 180745 HAS SOPS 99954 HAS SOUS 16735 HAS SOUPS 16266 WITH SCORE 16446.745
AT ITER 3401 NEW BEST:: SOT 238078 SOS 180748 HAS SOPS 99960 HAS SOUS 16725 HAS SOUPS 16256 WITH SCORE 16436.748
AT ITER 3438 NEW BEST:: SOT 238055 SOS 180671 HAS SOPS 99854 HAS SOUS 16621 HAS SOUPS 16150 WITH SCORE 16330.671
AT ITER 3449 NEW BEST:: SOT 238056 SOS 180687 HAS SOPS 99856 HAS SOUS 16613 HAS SOUPS 16142 WITH SCORE 16322.687
AT ITER 3464 NEW BEST:: SOT 237528 SOS 180170 HAS SOPS 99350 HAS SOUS 16382 HAS SOUPS 15911 WITH SCORE 16091.17
AT ITER 3469 NEW BEST:: SOT 237531 SOS 180188 HAS SOPS 99356 HAS SOUS 16358 HAS SOUPS 15887 WITH SCORE 16067.188
AT ITER 3474 NEW BEST:: SOT 237533 SOS 180186 HAS SOPS 99354 HAS SOUS 16357 HAS SOUPS 15886 WITH SCORE 16066.186
AT ITER 3490 NEW BEST:: SOT 237523 SOS 180166 HAS SOPS 99334 HAS SOUS 16351 HAS SOUPS 15880 WITH SCORE 16060.166
AT ITER 3496 NEW BEST:: SOT 237499 SOS 180142 HAS SOPS 99286 HAS SOUS 16303 HAS SOUPS 15832 WITH SCORE 16012.142
AT ITER 3504 NEW BEST:: SOT 237499 SOS 180132 HAS SOPS 99276 HAS SOUS 16293 HAS SOUPS 15822 WITH SCORE 16002.132
AT ITER 3516 NEW BEST:: SOT 237481 SOS 180114 HAS SOPS 99240 HAS SOUS 16257 HAS SOUPS 15786 WITH SCORE 15966.114
AT ITER 3555 NEW BEST:: SOT 237465 SOS 180098 HAS SOPS 99208 HAS SOUS 16225 HAS SOUPS 15754 WITH SCORE 15934.098
AT ITER 3583 NEW BEST:: SOT 237457 SOS 180082 HAS SOPS 99184 HAS SOUS 16207 HAS SOUPS 15736 WITH SCORE 15916.082
AT ITER 3588 NEW BEST:: SOT 237457 SOS 180059 HAS SOPS 99184 HAS SOUS 16207 HAS SOUPS 15736 WITH SCORE 15916.059
AT ITER 3603 NEW BEST:: SOT 237387 SOS 179989 HAS SOPS 99112 HAS SOUS 16169 HAS SOUPS 15698 WITH SCORE 15877.989
AT ITER 3605 NEW BEST:: SOT 237386 SOS 179988 HAS SOPS 99110 HAS SOUS 16167 HAS SOUPS 15696 WITH SCORE 15875.988
AT ITER 3619 NEW BEST:: SOT 237374 SOS 179964 HAS SOPS 99086 HAS SOUS 16155 HAS SOUPS 15684 WITH SCORE 15863.964
AT ITER 3633 NEW BEST:: SOT 237372 SOS 179913 HAS SOPS 99048 HAS SOUS 16132 HAS SOUPS 15661 WITH SCORE 15840.913
AT ITER 3660 NEW BEST:: SOT 237360 SOS 179907 HAS SOPS 99036 HAS SOUS 16126 HAS SOUPS 15655 WITH SCORE 15834.907
AT ITER 3748 NEW BEST:: SOT 237337 SOS 179891 HAS SOPS 98990 HAS SOUS 16090 HAS SOUPS 15619 WITH SCORE 15798.891
AT ITER 3759 NEW BEST:: SOT 237266 SOS 179785 HAS SOPS 98848 HAS SOUS 16006 HAS SOUPS 15535 WITH SCORE 15714.785
AT ITER 3761 NEW BEST:: SOT 237243 SOS 179813 HAS SOPS 98843 HAS SOUS 15990 HAS SOUPS 15519 WITH SCORE 15698.813
AT ITER 3772 NEW BEST:: SOT 237243 SOS 179649 HAS SOPS 98679 HAS SOUS 15990 HAS SOUPS 15519 WITH SCORE 15698.649
AT ITER 3777 NEW BEST:: SOT 237242 SOS 179647 HAS SOPS 98676 HAS SOUS 15987 HAS SOUPS 15516 WITH SCORE 15695.647
AT ITER 3790 NEW BEST:: SOT 237242 SOS 179648 HAS SOPS 98676 HAS SOUS 15986 HAS SOUPS 15515 WITH SCORE 15694.648
AT ITER 3850 NEW BEST:: SOT 237238 SOS 179647 HAS SOPS 98668 HAS SOUS 15978 HAS SOUPS 15507 WITH SCORE 15686.647
AT ITER 3884 NEW BEST:: SOT 237234 SOS 179641 HAS SOPS 98660 HAS SOUS 15970 HAS SOUPS 15499 WITH SCORE 15678.641
AT ITER 3958 NEW BEST:: SOT 237235 SOS 179636 HAS SOPS 98656 HAS SOUS 15966 HAS SOUPS 15495 WITH SCORE 15674.636
AT ITER 3971 NEW BEST:: SOT 237234 SOS 179632 HAS SOPS 98652 HAS SOUS 15964 HAS SOUPS 15493 WITH SCORE 15672.632
AT ITER 3979 NEW BEST:: SOT 237177 SOS 179587 HAS SOPS 98573 HAS SOUS 15885 HAS SOUPS 15414 WITH SCORE 15593.587
AT ITER 4024 NEW BEST:: SOT 237159 SOS 179535 HAS SOPS 98520 HAS SOUS 15847 HAS SOUPS 15376 WITH SCORE 15555.535
AT ITER 4052 NEW BEST:: SOT 237141 SOS 181170 HAS SOPS 98469 HAS SOUS 15839 HAS SOUPS 15352 WITH SCORE 15533.17
AT ITER 4061 NEW BEST:: SOT 237155 SOS 181157 HAS SOPS 98456 HAS SOUS 15826 HAS SOUPS 15339 WITH SCORE 15520.157
AT ITER 4114 NEW BEST:: SOT 237140 SOS 181128 HAS SOPS 98426 HAS SOUS 15796 HAS SOUPS 15309 WITH SCORE 15490.128
AT ITER 4125 NEW BEST:: SOT 237134 SOS 181122 HAS SOPS 98414 HAS SOUS 15784 HAS SOUPS 15297 WITH SCORE 15478.122
AT ITER 4146 NEW BEST:: SOT 237132 SOS 181118 HAS SOPS 98410 HAS SOUS 15780 HAS SOUPS 15293 WITH SCORE 15474.118
AT ITER 4219 NEW BEST:: SOT 237127 SOS 181041 HAS SOPS 98364 HAS SOUS 15770 HAS SOUPS 15283 WITH SCORE 15464.041
AT ITER 4229 NEW BEST:: SOT 237098 SOS 181043 HAS SOPS 98337 HAS SOUS 15743 HAS SOUPS 15256 WITH SCORE 15437.043
AT ITER 4296 NEW BEST:: SOT 237098 SOS 181039 HAS SOPS 98177 HAS SOUS 15655 HAS SOUPS 15168 WITH SCORE 15349.039
AT ITER 4328 NEW BEST:: SOT 237076 SOS 180973 HAS SOPS 98111 HAS SOUS 15611 HAS SOUPS 15124 WITH SCORE 15304.973
AT ITER 4330 NEW BEST:: SOT 237069 SOS 180954 HAS SOPS 98097 HAS SOUS 15597 HAS SOUPS 15110 WITH SCORE 15290.954
AT ITER 4337 NEW BEST:: SOT 237067 SOS 180951 HAS SOPS 98093 HAS SOUS 15593 HAS SOUPS 15106 WITH SCORE 15286.951
AT ITER 4365 NEW BEST:: SOT 237063 SOS 180940 HAS SOPS 98085 HAS SOUS 15584 HAS SOUPS 15097 WITH SCORE 15277.94
AT ITER 4404 NEW BEST:: SOT 237039 SOS 180868 HAS SOPS 98013 HAS SOUS 15536 HAS SOUPS 15049 WITH SCORE 15229.868
AT ITER 4417 NEW BEST:: SOT 236992 SOS 188500 HAS SOPS 97933 HAS SOUS 15527 HAS SOUPS 15029 WITH SCORE 15217.5
AT ITER 4455 NEW BEST:: SOT 237053 SOS 188551 HAS SOPS 97793 HAS SOUS 15526 HAS SOUPS 15028 WITH SCORE 15216.551
AT ITER 4467 NEW BEST:: SOT 237051 SOS 188550 HAS SOPS 97793 HAS SOUS 15525 HAS SOUPS 15028 WITH SCORE 15216.55
AT ITER 4487 NEW BEST:: SOT 237051 SOS 188550 HAS SOPS 97793 HAS SOUS 15522 HAS SOUPS 15025 WITH SCORE 15213.55
AT ITER 4524 NEW BEST:: SOT 237039 SOS 188532 HAS SOPS 97775 HAS SOUS 15504 HAS SOUPS 15007 WITH SCORE 15195.532
AT ITER 4541 NEW BEST:: SOT 237039 SOS 188532 HAS SOPS 97772 HAS SOUS 15464 HAS SOUPS 14967 WITH SCORE 15155.532
AT ITER 4552 NEW BEST:: SOT 237039 SOS 188523 HAS SOPS 97766 HAS SOUS 15461 HAS SOUPS 14964 WITH SCORE 15152.523
AT ITER 4593 NEW BEST:: SOT 237042 SOS 188519 HAS SOPS 97765 HAS SOUS 15460 HAS SOUPS 14963 WITH SCORE 15151.519
AT ITER 4603 NEW BEST:: SOT 237154 SOS 188479 HAS SOPS 96775 HAS SOUS 15436 HAS SOUPS 14939 WITH SCORE 15127.479
AT ITER 4613 NEW BEST:: SOT 237155 SOS 188457 HAS SOPS 96763 HAS SOUS 15428 HAS SOUPS 14931 WITH SCORE 15119.457
AT ITER 4633 NEW BEST:: SOT 237112 SOS 188389 HAS SOPS 96722 HAS SOUS 15412 HAS SOUPS 14915 WITH SCORE 15103.389
AT ITER 4672 NEW BEST:: SOT 237096 SOS 188341 HAS SOPS 96678 HAS SOUS 15376 HAS SOUPS 14879 WITH SCORE 15067.341
AT ITER 4674 NEW BEST:: SOT 237302 SOS 188543 HAS SOPS 96848 HAS SOUS 15360 HAS SOUPS 14863 WITH SCORE 15051.543
AT ITER 4724 NEW BEST:: SOT 237213 SOS 188455 HAS SOPS 96797 HAS SOUS 15334 HAS SOUPS 14837 WITH SCORE 15025.455
AT ITER 4737 NEW BEST:: SOT 237204 SOS 188441 HAS SOPS 96779 HAS SOUS 15326 HAS SOUPS 14829 WITH SCORE 15017.441
AT ITER 4790 NEW BEST:: SOT 237204 SOS 188348 HAS SOPS 96779 HAS SOUS 15326 HAS SOUPS 14829 WITH SCORE 15017.348
AT ITER 4792 NEW BEST:: SOT 237256 SOS 188403 HAS SOPS 96719 HAS SOUS 15320 HAS SOUPS 14823 WITH SCORE 15011.403
AT ITER 4807 NEW BEST:: SOT 237247 SOS 188385 HAS SOPS 96701 HAS SOUS 15302 HAS SOUPS 14805 WITH SCORE 14993.385
AT ITER 4815 NEW BEST:: SOT 237245 SOS 188382 HAS SOPS 96633 HAS SOUS 15159 HAS SOUPS 14662 WITH SCORE 14850.382
AT ITER 4866 NEW BEST:: SOT 237246 SOS 188390 HAS SOPS 96635 HAS SOUS 15149 HAS SOUPS 14652 WITH SCORE 14840.39
AT ITER 4875 NEW BEST:: SOT 237245 SOS 188386 HAS SOPS 96630 HAS SOUS 15144 HAS SOUPS 14647 WITH SCORE 14835.386
AT ITER 4893 NEW BEST:: SOT 237240 SOS 188376 HAS SOPS 96620 HAS SOUS 15129 HAS SOUPS 14632 WITH SCORE 14820.376
AT ITER 4939 NEW BEST:: SOT 237230 SOS 188356 HAS SOPS 96595 HAS SOUS 15114 HAS SOUPS 14617 WITH SCORE 14805.356
AT ITER 4947 NEW BEST:: SOT 237230 SOS 188355 HAS SOPS 96594 HAS SOUS 15113 HAS SOUPS 14616 WITH SCORE 14804.355
AT ITER 4996 NEW BEST:: SOT 237198 SOS 188298 HAS SOPS 96530 HAS SOUS 15049 HAS SOUPS 14552 WITH SCORE 14740.298
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: FlexibleBarrier-PT-22a-CTLCardinality-00 ( ( ( ( ( potential( ( 2 ) <= (tk(P77)) ) & potential( ( 2 ) <= (tk(P247)) ) ) | ( potential( (tk(P100)) <= (tk(P115)) ) & potential( (tk(P255)) <= (tk(P193)) ) ) ) & (EG( potential( (tk(P26)) <= (tk(P159)) ))) ) | (! (AF(potential( (tk(P249)) <= (tk(P56)) )))) ) & (EF((! potential( (tk(P10)) <= (tk(P84)) )))) )
PROPERTY: FlexibleBarrier-PT-22a-CTLCardinality-01 (EG( (AG( potential( (tk(P235)) <= (tk(P173)) )))))
PROPERTY: FlexibleBarrier-PT-22a-CTLCardinality-02 (! (EF((AG( potential( ( 1 ) <= (tk(P24)) ))))))
PROPERTY: FlexibleBarrier-PT-22a-CTLCardinality-03 (! (EU( (! potential( ( 2 ) <= (tk(P122)) )),( potential( (tk(P89)) <= (tk(P262)) ) & potential( ( 2 ) <= (tk(P147)) ) ) )))
PROPERTY: FlexibleBarrier-PT-22a-CTLCardinality-04 (! ( (EF(( potential( ( 2 ) <= (tk(P240)) ) & potential( ( 3 ) <= (tk(P160)) ) ))) & potential( (tk(P190)) <= (tk(P133)) ) ))
PROPERTY: FlexibleBarrier-PT-22a-CTLCardinality-05 ( (AX( (EF(potential( ( 2 ) <= (tk(P176)) ))))) & (EF((EX( potential( (tk(P162)) <= (tk(P172)) ))))) )
PROPERTY: FlexibleBarrier-PT-22a-CTLCardinality-06 ( (AG( (EF(potential( ( 3 ) <= (tk(P121)) ))))) | (EG( ( ( potential( ( 3 ) <= (tk(P151)) ) & potential( (tk(P168)) <= (tk(P175)) ) ) & ( potential( (tk(P18)) <= (tk(P251)) ) & potential( (tk(P99)) <= (tk(P92)) ) ) ))) )
PROPERTY: FlexibleBarrier-PT-22a-CTLCardinality-07 (EF(potential( ( 2 ) <= (tk(P22)) )))
PROPERTY: FlexibleBarrier-PT-22a-CTLCardinality-08 (AX( ( (EF(potential( ( 1 ) <= (tk(P9)) ))) & (! ( potential( ( 1 ) <= (tk(P100)) ) & potential( (tk(P74)) <= (tk(P244)) ) )) )))
PROPERTY: FlexibleBarrier-PT-22a-CTLCardinality-09 (EU( (! potential( ( 1 ) <= (tk(P191)) )),( ( potential( ( 1 ) <= (tk(P200)) ) | potential( ( 1 ) <= (tk(P2)) ) ) | ( potential( (tk(P199)) <= (tk(P69)) ) & potential( ( 3 ) <= (tk(P243)) ) ) ) ))
PROPERTY: FlexibleBarrier-PT-22a-CTLCardinality-10 (! (EG( (AG( potential( (tk(P226)) <= (tk(P226)) ))))))
PROPERTY: FlexibleBarrier-PT-22a-CTLCardinality-11 (EF(( ( potential( (tk(P145)) <= (tk(P76)) ) | (! potential( (tk(P193)) <= (tk(P107)) )) ) & potential( ( 2 ) <= (tk(P205)) ) )))
PROPERTY: FlexibleBarrier-PT-22a-CTLCardinality-12 (EX( (AG( potential( (tk(P67)) <= (tk(P160)) )))))
PROPERTY: FlexibleBarrier-PT-22a-CTLCardinality-13 ( (! (EX( ( potential( ( 3 ) <= (tk(P20)) ) | potential( (tk(P33)) <= (tk(P5)) ) )))) | (! (EF(( potential( ( 1 ) <= (tk(P101)) ) & potential( (tk(P55)) <= (tk(P92)) ) )))) )
PROPERTY: FlexibleBarrier-PT-22a-CTLCardinality-14 ( ( (! ( ( potential( ( 2 ) <= (tk(P256)) ) | potential( ( 3 ) <= (tk(P195)) ) ) | ( potential( (tk(P227)) <= (tk(P170)) ) | potential( ( 1 ) <= (tk(P261)) ) ) )) | (! potential( ( 2 ) <= (tk(P84)) )) ) & (EF(potential( ( 3 ) <= (tk(P160)) ))) )
PROPERTY: FlexibleBarrier-PT-22a-CTLCardinality-15 (AX( (EF(( potential( ( 2 ) <= (tk(P204)) ) | potential( ( 2 ) <= (tk(P169)) ) )))))

BK_STOP 1589455597728

--------------------
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: 479 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="FlexibleBarrier-PT-22a"
export BK_EXAMINATION="CTLCardinality"
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 FlexibleBarrier-PT-22a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r078-smll-158922972600403"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-22a.tgz
mv FlexibleBarrier-PT-22a execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;