Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250000112.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off 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 MultiwaySync-PT-none, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250000112
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 284K
-rw-r--r-- 1 mcc users 3.6K Apr 8 13:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 8 13:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 7 16:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 16:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Apr 6 19:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 6 19:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 6 02:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 6 02:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 6 20:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 6 20:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 111K Mar 24 05:37 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 1589637811426

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

Filename model.pnml
Petri model created: 222 places, 472 transitions, 1496 arcs.
AT ITER 0 NEW BEST:: SOT 81779 SOS 68511 HAS SOPS 68511 HAS SOUS 37256 HAS SOUPS 37256 WITH SCORE 37324.511
AT ITER 2 NEW BEST:: SOT 81732 SOS 68419 HAS SOPS 68419 HAS SOUS 37167 HAS SOUPS 37167 WITH SCORE 37235.419
AT ITER 7 NEW BEST:: SOT 81697 SOS 68285 HAS SOPS 68285 HAS SOUS 37162 HAS SOUPS 37162 WITH SCORE 37230.285
AT ITER 10 NEW BEST:: SOT 80336 SOS 66895 HAS SOPS 66895 HAS SOUS 36845 HAS SOUPS 36845 WITH SCORE 36911.895
AT ITER 14 NEW BEST:: SOT 80242 SOS 66801 HAS SOPS 66801 HAS SOUS 36781 HAS SOUPS 36781 WITH SCORE 36847.801
AT ITER 15 NEW BEST:: SOT 80867 SOS 66915 HAS SOPS 66915 HAS SOUS 36675 HAS SOUPS 36675 WITH SCORE 36741.915
AT ITER 16 NEW BEST:: SOT 80793 SOS 66476 HAS SOPS 66476 HAS SOUS 36447 HAS SOUPS 36447 WITH SCORE 36513.476
AT ITER 18 NEW BEST:: SOT 80793 SOS 66188 HAS SOPS 66188 HAS SOUS 36447 HAS SOUPS 36447 WITH SCORE 36513.188
AT ITER 23 NEW BEST:: SOT 80841 SOS 66284 HAS SOPS 66284 HAS SOUS 36446 HAS SOUPS 36446 WITH SCORE 36512.284
AT ITER 24 NEW BEST:: SOT 81017 SOS 66036 HAS SOPS 66036 HAS SOUS 36221 HAS SOUPS 36221 WITH SCORE 36287.036
AT ITER 25 NEW BEST:: SOT 80923 SOS 65629 HAS SOPS 65629 HAS SOUS 35998 HAS SOUPS 35998 WITH SCORE 36063.629
AT ITER 27 NEW BEST:: SOT 80959 SOS 65386 HAS SOPS 65386 HAS SOUS 35675 HAS SOUPS 35675 WITH SCORE 35740.386
AT ITER 29 NEW BEST:: SOT 80834 SOS 65099 HAS SOPS 65099 HAS SOUS 35529 HAS SOUPS 35529 WITH SCORE 35594.099
AT ITER 30 NEW BEST:: SOT 80826 SOS 65083 HAS SOPS 65083 HAS SOUS 35505 HAS SOUPS 35505 WITH SCORE 35570.083
AT ITER 35 NEW BEST:: SOT 80826 SOS 65239 HAS SOPS 65239 HAS SOUS 35453 HAS SOUPS 35453 WITH SCORE 35518.239
AT ITER 37 NEW BEST:: SOT 80374 SOS 64801 HAS SOPS 64801 HAS SOUS 35256 HAS SOUPS 35256 WITH SCORE 35320.801
AT ITER 39 NEW BEST:: SOT 80249 SOS 64525 HAS SOPS 64525 HAS SOUS 34589 HAS SOUPS 34589 WITH SCORE 34653.525
AT ITER 40 NEW BEST:: SOT 80258 SOS 64573 HAS SOPS 64573 HAS SOUS 34546 HAS SOUPS 34546 WITH SCORE 34610.573
AT ITER 41 NEW BEST:: SOT 80258 SOS 64485 HAS SOPS 64485 HAS SOUS 34476 HAS SOUPS 34476 WITH SCORE 34540.485
AT ITER 43 NEW BEST:: SOT 79038 SOS 63354 HAS SOPS 63354 HAS SOUS 33844 HAS SOUPS 33844 WITH SCORE 33907.354
AT ITER 47 NEW BEST:: SOT 79036 SOS 63133 HAS SOPS 63133 HAS SOUS 33707 HAS SOUPS 33707 WITH SCORE 33770.133
AT ITER 51 NEW BEST:: SOT 78877 SOS 63027 HAS SOPS 63027 HAS SOUS 33640 HAS SOUPS 33640 WITH SCORE 33703.027
AT ITER 53 NEW BEST:: SOT 79261 SOS 63432 HAS SOPS 63432 HAS SOUS 33586 HAS SOUPS 33586 WITH SCORE 33649.432
AT ITER 54 NEW BEST:: SOT 72349 SOS 56195 HAS SOPS 56195 HAS SOUS 26691 HAS SOUPS 26691 WITH SCORE 26747.195
AT ITER 56 NEW BEST:: SOT 72329 SOS 56155 HAS SOPS 56155 HAS SOUS 26615 HAS SOUPS 26615 WITH SCORE 26671.155
AT ITER 57 NEW BEST:: SOT 72293 SOS 56011 HAS SOPS 56011 HAS SOUS 26543 HAS SOUPS 26543 WITH SCORE 26599.011
AT ITER 58 NEW BEST:: SOT 72023 SOS 55687 HAS SOPS 55687 HAS SOUS 26338 HAS SOUPS 26338 WITH SCORE 26393.687
AT ITER 60 NEW BEST:: SOT 71570 SOS 54984 HAS SOPS 54984 HAS SOUS 25762 HAS SOUPS 25762 WITH SCORE 25816.984
AT ITER 68 NEW BEST:: SOT 71556 SOS 54943 HAS SOPS 54943 HAS SOUS 25682 HAS SOUPS 25682 WITH SCORE 25736.943
AT ITER 72 NEW BEST:: SOT 71556 SOS 54939 HAS SOPS 54939 HAS SOUS 25682 HAS SOUPS 25682 WITH SCORE 25736.939
AT ITER 76 NEW BEST:: SOT 71357 SOS 54671 HAS SOPS 54671 HAS SOUS 25470 HAS SOUPS 25470 WITH SCORE 25524.671
AT ITER 78 NEW BEST:: SOT 70314 SOS 53683 HAS SOPS 53683 HAS SOUS 24896 HAS SOUPS 24896 WITH SCORE 24949.683
AT ITER 81 NEW BEST:: SOT 70051 SOS 53360 HAS SOPS 53360 HAS SOUS 24632 HAS SOUPS 24632 WITH SCORE 24685.36
AT ITER 91 NEW BEST:: SOT 70029 SOS 49532 HAS SOPS 49532 HAS SOUS 24266 HAS SOUPS 24266 WITH SCORE 24315.532
AT ITER 96 NEW BEST:: SOT 68355 SOS 48424 HAS SOPS 48424 HAS SOUS 23853 HAS SOUPS 23853 WITH SCORE 23901.424
AT ITER 98 NEW BEST:: SOT 68446 SOS 47850 HAS SOPS 47850 HAS SOUS 23559 HAS SOUPS 23559 WITH SCORE 23606.85
AT ITER 99 NEW BEST:: SOT 68497 SOS 47366 HAS SOPS 47366 HAS SOUS 23453 HAS SOUPS 23453 WITH SCORE 23500.366
AT ITER 103 NEW BEST:: SOT 68487 SOS 47220 HAS SOPS 47220 HAS SOUS 23433 HAS SOUPS 23433 WITH SCORE 23480.22
AT ITER 105 NEW BEST:: SOT 68487 SOS 47046 HAS SOPS 47046 HAS SOUS 23433 HAS SOUPS 23433 WITH SCORE 23480.046
AT ITER 107 NEW BEST:: SOT 68648 SOS 47207 HAS SOPS 47207 HAS SOUS 23369 HAS SOUPS 23369 WITH SCORE 23416.207
AT ITER 109 NEW BEST:: SOT 68648 SOS 47290 HAS SOPS 47290 HAS SOUS 23311 HAS SOUPS 23311 WITH SCORE 23358.29
AT ITER 113 NEW BEST:: SOT 68654 SOS 47294 HAS SOPS 47294 HAS SOUS 23292 HAS SOUPS 23292 WITH SCORE 23339.294
AT ITER 115 NEW BEST:: SOT 68649 SOS 47289 HAS SOPS 47289 HAS SOUS 23282 HAS SOUPS 23282 WITH SCORE 23329.289
AT ITER 116 NEW BEST:: SOT 68510 SOS 47150 HAS SOPS 47150 HAS SOUS 23211 HAS SOUPS 23211 WITH SCORE 23258.15
AT ITER 119 NEW BEST:: SOT 68495 SOS 47135 HAS SOPS 47135 HAS SOUS 23201 HAS SOUPS 23201 WITH SCORE 23248.135
AT ITER 122 NEW BEST:: SOT 68444 SOS 47016 HAS SOPS 47016 HAS SOUS 23116 HAS SOUPS 23116 WITH SCORE 23163.016
AT ITER 125 NEW BEST:: SOT 68470 SOS 46982 HAS SOPS 46982 HAS SOUS 23022 HAS SOUPS 23022 WITH SCORE 23068.982
AT ITER 127 NEW BEST:: SOT 68470 SOS 46985 HAS SOPS 46985 HAS SOUS 23019 HAS SOUPS 23019 WITH SCORE 23065.985
AT ITER 129 NEW BEST:: SOT 68480 SOS 46985 HAS SOPS 46985 HAS SOUS 22999 HAS SOUPS 22999 WITH SCORE 23045.985
AT ITER 130 NEW BEST:: SOT 68352 SOS 46747 HAS SOPS 46747 HAS SOUS 22980 HAS SOUPS 22980 WITH SCORE 23026.747
AT ITER 132 NEW BEST:: SOT 68320 SOS 46586 HAS SOPS 46586 HAS SOUS 22948 HAS SOUPS 22948 WITH SCORE 22994.586
AT ITER 137 NEW BEST:: SOT 68388 SOS 46711 HAS SOPS 46711 HAS SOUS 22928 HAS SOUPS 22928 WITH SCORE 22974.711
AT ITER 140 NEW BEST:: SOT 68350 SOS 46541 HAS SOPS 46541 HAS SOUS 22828 HAS SOUPS 22828 WITH SCORE 22874.541
AT ITER 141 NEW BEST:: SOT 68320 SOS 46435 HAS SOPS 46435 HAS SOUS 22793 HAS SOUPS 22793 WITH SCORE 22839.435
AT ITER 147 NEW BEST:: SOT 67986 SOS 46179 HAS SOPS 46179 HAS SOUS 22729 HAS SOUPS 22729 WITH SCORE 22775.179
AT ITER 151 NEW BEST:: SOT 67556 SOS 45423 HAS SOPS 45423 HAS SOUS 22543 HAS SOUPS 22543 WITH SCORE 22588.423
AT ITER 152 NEW BEST:: SOT 67469 SOS 45261 HAS SOPS 45261 HAS SOUS 22374 HAS SOUPS 22374 WITH SCORE 22419.261
AT ITER 157 NEW BEST:: SOT 66919 SOS 44728 HAS SOPS 44728 HAS SOUS 22148 HAS SOUPS 22148 WITH SCORE 22192.728
AT ITER 163 NEW BEST:: SOT 67104 SOS 44949 HAS SOPS 44949 HAS SOUS 22135 HAS SOUPS 22135 WITH SCORE 22179.949
AT ITER 173 NEW BEST:: SOT 67108 SOS 44953 HAS SOPS 44953 HAS SOUS 22111 HAS SOUPS 22111 WITH SCORE 22155.953
AT ITER 177 NEW BEST:: SOT 67045 SOS 44772 HAS SOPS 44772 HAS SOUS 21862 HAS SOUPS 21862 WITH SCORE 21906.772
AT ITER 178 NEW BEST:: SOT 67085 SOS 44773 HAS SOPS 44773 HAS SOUS 21787 HAS SOUPS 21787 WITH SCORE 21831.773
AT ITER 180 NEW BEST:: SOT 66556 SOS 44122 HAS SOPS 44122 HAS SOUS 21704 HAS SOUPS 21704 WITH SCORE 21748.122
AT ITER 182 NEW BEST:: SOT 66415 SOS 43417 HAS SOPS 43417 HAS SOUS 21540 HAS SOUPS 21540 WITH SCORE 21583.417
AT ITER 183 NEW BEST:: SOT 66282 SOS 43053 HAS SOPS 43053 HAS SOUS 21492 HAS SOUPS 21492 WITH SCORE 21535.053
AT ITER 186 NEW BEST:: SOT 66335 SOS 42891 HAS SOPS 42891 HAS SOUS 21411 HAS SOUPS 21411 WITH SCORE 21453.891
AT ITER 188 NEW BEST:: SOT 66394 SOS 42270 HAS SOPS 42270 HAS SOUS 21079 HAS SOUPS 21079 WITH SCORE 21121.27
AT ITER 193 NEW BEST:: SOT 66329 SOS 42140 HAS SOPS 42140 HAS SOUS 20819 HAS SOUPS 20819 WITH SCORE 20861.14
AT ITER 196 NEW BEST:: SOT 66257 SOS 42038 HAS SOPS 42038 HAS SOUS 20777 HAS SOUPS 20777 WITH SCORE 20819.038
AT ITER 197 NEW BEST:: SOT 66059 SOS 41856 HAS SOPS 41856 HAS SOUS 20549 HAS SOUPS 20549 WITH SCORE 20590.856
AT ITER 206 NEW BEST:: SOT 66034 SOS 41880 HAS SOPS 41880 HAS SOUS 20479 HAS SOUPS 20479 WITH SCORE 20520.88
AT ITER 209 NEW BEST:: SOT 66161 SOS 41700 HAS SOPS 41700 HAS SOUS 20412 HAS SOUPS 20412 WITH SCORE 20453.7
AT ITER 212 NEW BEST:: SOT 65879 SOS 41371 HAS SOPS 41371 HAS SOUS 20215 HAS SOUPS 20215 WITH SCORE 20256.371
AT ITER 215 NEW BEST:: SOT 65807 SOS 41299 HAS SOPS 41299 HAS SOUS 20181 HAS SOUPS 20181 WITH SCORE 20222.299
AT ITER 217 NEW BEST:: SOT 65723 SOS 41215 HAS SOPS 41215 HAS SOUS 20097 HAS SOUPS 20097 WITH SCORE 20138.215
AT ITER 221 NEW BEST:: SOT 65723 SOS 41211 HAS SOPS 41211 HAS SOUS 20041 HAS SOUPS 20041 WITH SCORE 20082.211
AT ITER 227 NEW BEST:: SOT 65697 SOS 41184 HAS SOPS 41184 HAS SOUS 20012 HAS SOUPS 20012 WITH SCORE 20053.184
AT ITER 228 NEW BEST:: SOT 65086 SOS 40685 HAS SOPS 40685 HAS SOUS 19963 HAS SOUPS 19963 WITH SCORE 20003.685
AT ITER 230 NEW BEST:: SOT 65005 SOS 40546 HAS SOPS 40546 HAS SOUS 19853 HAS SOUPS 19853 WITH SCORE 19893.546
AT ITER 232 NEW BEST:: SOT 64999 SOS 40562 HAS SOPS 40562 HAS SOUS 19661 HAS SOUPS 19661 WITH SCORE 19701.562
AT ITER 236 NEW BEST:: SOT 65007 SOS 40372 HAS SOPS 40372 HAS SOUS 19590 HAS SOUPS 19590 WITH SCORE 19630.372
AT ITER 238 NEW BEST:: SOT 65061 SOS 40488 HAS SOPS 40488 HAS SOUS 19570 HAS SOUPS 19570 WITH SCORE 19610.488
AT ITER 240 NEW BEST:: SOT 64838 SOS 40262 HAS SOPS 40262 HAS SOUS 19474 HAS SOUPS 19474 WITH SCORE 19514.262
AT ITER 241 NEW BEST:: SOT 64782 SOS 39726 HAS SOPS 39726 HAS SOUS 19242 HAS SOUPS 19242 WITH SCORE 19281.726
AT ITER 243 NEW BEST:: SOT 64823 SOS 39710 HAS SOPS 39710 HAS SOUS 19242 HAS SOUPS 19242 WITH SCORE 19281.71
AT ITER 245 NEW BEST:: SOT 64825 SOS 39712 HAS SOPS 39712 HAS SOUS 19240 HAS SOUPS 19240 WITH SCORE 19279.712
AT ITER 249 NEW BEST:: SOT 64825 SOS 39712 HAS SOPS 39712 HAS SOUS 19237 HAS SOUPS 19237 WITH SCORE 19276.712
AT ITER 251 NEW BEST:: SOT 64816 SOS 39721 HAS SOPS 39721 HAS SOUS 19228 HAS SOUPS 19228 WITH SCORE 19267.721
AT ITER 261 NEW BEST:: SOT 64633 SOS 39537 HAS SOPS 39537 HAS SOUS 19210 HAS SOUPS 19210 WITH SCORE 19249.537
AT ITER 264 NEW BEST:: SOT 64618 SOS 39522 HAS SOPS 39522 HAS SOUS 19210 HAS SOUPS 19210 WITH SCORE 19249.522
AT ITER 267 NEW BEST:: SOT 64618 SOS 39514 HAS SOPS 39514 HAS SOUS 19210 HAS SOUPS 19210 WITH SCORE 19249.514
AT ITER 270 NEW BEST:: SOT 64502 SOS 39380 HAS SOPS 39380 HAS SOUS 19098 HAS SOUPS 19098 WITH SCORE 19137.38
AT ITER 277 NEW BEST:: SOT 64472 SOS 39290 HAS SOPS 39290 HAS SOUS 19068 HAS SOUPS 19068 WITH SCORE 19107.29
AT ITER 283 NEW BEST:: SOT 64351 SOS 39186 HAS SOPS 39186 HAS SOUS 19047 HAS SOUPS 19047 WITH SCORE 19086.186
AT ITER 285 NEW BEST:: SOT 64197 SOS 39032 HAS SOPS 39032 HAS SOUS 18866 HAS SOUPS 18866 WITH SCORE 18905.032
AT ITER 291 NEW BEST:: SOT 64221 SOS 39113 HAS SOPS 39113 HAS SOUS 18845 HAS SOUPS 18845 WITH SCORE 18884.113
AT ITER 293 NEW BEST:: SOT 64204 SOS 38985 HAS SOPS 38985 HAS SOUS 18743 HAS SOUPS 18743 WITH SCORE 18781.985
AT ITER 301 NEW BEST:: SOT 64186 SOS 38737 HAS SOPS 38737 HAS SOUS 18397 HAS SOUPS 18397 WITH SCORE 18435.737
AT ITER 302 NEW BEST:: SOT 64186 SOS 38700 HAS SOPS 38700 HAS SOUS 18373 HAS SOUPS 18373 WITH SCORE 18411.7
AT ITER 317 NEW BEST:: SOT 64240 SOS 38754 HAS SOPS 38754 HAS SOUS 18372 HAS SOUPS 18372 WITH SCORE 18410.754
AT ITER 318 NEW BEST:: SOT 64620 SOS 38847 HAS SOPS 38847 HAS SOUS 18324 HAS SOUPS 18324 WITH SCORE 18362.847
AT ITER 323 NEW BEST:: SOT 64497 SOS 38724 HAS SOPS 38724 HAS SOUS 18104 HAS SOUPS 18104 WITH SCORE 18142.724
AT ITER 325 NEW BEST:: SOT 64391 SOS 38304 HAS SOPS 38304 HAS SOUS 17841 HAS SOUPS 17841 WITH SCORE 17879.304
AT ITER 343 NEW BEST:: SOT 64347 SOS 38260 HAS SOPS 38260 HAS SOUS 17828 HAS SOUPS 17828 WITH SCORE 17866.26
AT ITER 348 NEW BEST:: SOT 64574 SOS 38395 HAS SOPS 38395 HAS SOUS 17729 HAS SOUPS 17729 WITH SCORE 17767.395
AT ITER 352 NEW BEST:: SOT 64523 SOS 38327 HAS SOPS 38327 HAS SOUS 17678 HAS SOUPS 17678 WITH SCORE 17716.327
AT ITER 357 NEW BEST:: SOT 64505 SOS 38309 HAS SOPS 38309 HAS SOUS 17660 HAS SOUPS 17660 WITH SCORE 17698.309
AT ITER 367 NEW BEST:: SOT 64503 SOS 38307 HAS SOPS 38307 HAS SOUS 17658 HAS SOUPS 17658 WITH SCORE 17696.307
AT ITER 383 NEW BEST:: SOT 64503 SOS 38242 HAS SOPS 38242 HAS SOUS 17658 HAS SOUPS 17658 WITH SCORE 17696.242
AT ITER 404 NEW BEST:: SOT 64509 SOS 38267 HAS SOPS 38267 HAS SOUS 17652 HAS SOUPS 17652 WITH SCORE 17690.267
AT ITER 420 NEW BEST:: SOT 64532 SOS 38047 HAS SOPS 38047 HAS SOUS 17602 HAS SOUPS 17602 WITH SCORE 17640.047
AT ITER 421 NEW BEST:: SOT 64431 SOS 37897 HAS SOPS 37897 HAS SOUS 17581 HAS SOUPS 17581 WITH SCORE 17618.897
AT ITER 422 NEW BEST:: SOT 64309 SOS 37775 HAS SOPS 37775 HAS SOUS 17459 HAS SOUPS 17459 WITH SCORE 17496.775
AT ITER 423 NEW BEST:: SOT 63849 SOS 37308 HAS SOPS 37308 HAS SOUS 17060 HAS SOUPS 17060 WITH SCORE 17097.308
AT ITER 426 NEW BEST:: SOT 63837 SOS 37284 HAS SOPS 37284 HAS SOUS 17048 HAS SOUPS 17048 WITH SCORE 17085.284
AT ITER 434 NEW BEST:: SOT 63775 SOS 37201 HAS SOPS 37201 HAS SOUS 16944 HAS SOUPS 16944 WITH SCORE 16981.201
AT ITER 438 NEW BEST:: SOT 63770 SOS 37191 HAS SOPS 37191 HAS SOUS 16939 HAS SOUPS 16939 WITH SCORE 16976.191
AT ITER 443 NEW BEST:: SOT 63778 SOS 37103 HAS SOPS 37103 HAS SOUS 16938 HAS SOUPS 16938 WITH SCORE 16975.103
AT ITER 444 NEW BEST:: SOT 63759 SOS 37084 HAS SOPS 37084 HAS SOUS 16900 HAS SOUPS 16900 WITH SCORE 16937.084
AT ITER 447 NEW BEST:: SOT 63726 SOS 37032 HAS SOPS 37032 HAS SOUS 16834 HAS SOUPS 16834 WITH SCORE 16871.032
AT ITER 448 NEW BEST:: SOT 63720 SOS 36992 HAS SOPS 36992 HAS SOUS 16794 HAS SOUPS 16794 WITH SCORE 16830.992
AT ITER 459 NEW BEST:: SOT 63719 SOS 36947 HAS SOPS 36947 HAS SOUS 16786 HAS SOUPS 16786 WITH SCORE 16822.947
AT ITER 465 NEW BEST:: SOT 63719 SOS 36942 HAS SOPS 36942 HAS SOUS 16786 HAS SOUPS 16786 WITH SCORE 16822.942
AT ITER 475 NEW BEST:: SOT 63712 SOS 36921 HAS SOPS 36921 HAS SOUS 16786 HAS SOUPS 16786 WITH SCORE 16822.921
AT ITER 476 NEW BEST:: SOT 63550 SOS 36435 HAS SOPS 36435 HAS SOUS 16462 HAS SOUPS 16462 WITH SCORE 16498.435
AT ITER 481 NEW BEST:: SOT 63539 SOS 36402 HAS SOPS 36402 HAS SOUS 16456 HAS SOUPS 16456 WITH SCORE 16492.402
AT ITER 485 NEW BEST:: SOT 63584 SOS 36039 HAS SOPS 36039 HAS SOUS 16445 HAS SOUPS 16445 WITH SCORE 16481.039
AT ITER 488 NEW BEST:: SOT 63552 SOS 36007 HAS SOPS 36007 HAS SOUS 16437 HAS SOUPS 16437 WITH SCORE 16473.007
AT ITER 493 NEW BEST:: SOT 63519 SOS 35935 HAS SOPS 35935 HAS SOUS 16334 HAS SOUPS 16334 WITH SCORE 16369.935
AT ITER 496 NEW BEST:: SOT 63505 SOS 35900 HAS SOPS 35900 HAS SOUS 16313 HAS SOUPS 16313 WITH SCORE 16348.9
AT ITER 501 NEW BEST:: SOT 63406 SOS 35112 HAS SOPS 35112 HAS SOUS 16188 HAS SOUPS 16188 WITH SCORE 16223.112
AT ITER 505 NEW BEST:: SOT 63388 SOS 35094 HAS SOPS 35094 HAS SOUS 16170 HAS SOUPS 16170 WITH SCORE 16205.094
AT ITER 507 NEW BEST:: SOT 63372 SOS 35242 HAS SOPS 35242 HAS SOUS 16163 HAS SOUPS 16163 WITH SCORE 16198.242
AT ITER 512 NEW BEST:: SOT 63332 SOS 35226 HAS SOPS 35226 HAS SOUS 16159 HAS SOUPS 16159 WITH SCORE 16194.226
AT ITER 514 NEW BEST:: SOT 63245 SOS 35135 HAS SOPS 35135 HAS SOUS 16052 HAS SOUPS 16052 WITH SCORE 16087.135
AT ITER 528 NEW BEST:: SOT 63299 SOS 35173 HAS SOPS 35173 HAS SOUS 16046 HAS SOUPS 16046 WITH SCORE 16081.173
AT ITER 532 NEW BEST:: SOT 63204 SOS 34688 HAS SOPS 34688 HAS SOUS 15780 HAS SOUPS 15780 WITH SCORE 15814.688
AT ITER 535 NEW BEST:: SOT 63212 SOS 34721 HAS SOPS 34721 HAS SOUS 15767 HAS SOUPS 15767 WITH SCORE 15801.721
AT ITER 536 NEW BEST:: SOT 63202 SOS 34711 HAS SOPS 34711 HAS SOUS 15757 HAS SOUPS 15757 WITH SCORE 15791.711
AT ITER 539 NEW BEST:: SOT 63092 SOS 34582 HAS SOPS 34582 HAS SOUS 15573 HAS SOUPS 15573 WITH SCORE 15607.582
AT ITER 554 NEW BEST:: SOT 63065 SOS 34528 HAS SOPS 34528 HAS SOUS 15492 HAS SOUPS 15492 WITH SCORE 15526.528
AT ITER 559 NEW BEST:: SOT 62883 SOS 34509 HAS SOPS 34509 HAS SOUS 15473 HAS SOUPS 15473 WITH SCORE 15507.509
AT ITER 566 NEW BEST:: SOT 62864 SOS 34509 HAS SOPS 34509 HAS SOUS 15452 HAS SOUPS 15452 WITH SCORE 15486.509
AT ITER 574 NEW BEST:: SOT 62827 SOS 34404 HAS SOPS 34404 HAS SOUS 15438 HAS SOUPS 15438 WITH SCORE 15472.404
AT ITER 582 NEW BEST:: SOT 62793 SOS 34458 HAS SOPS 34458 HAS SOUS 15412 HAS SOUPS 15412 WITH SCORE 15446.458
AT ITER 584 NEW BEST:: SOT 62793 SOS 34466 HAS SOPS 34466 HAS SOUS 15402 HAS SOUPS 15402 WITH SCORE 15436.466
AT ITER 595 NEW BEST:: SOT 62785 SOS 34458 HAS SOPS 34458 HAS SOUS 15394 HAS SOUPS 15394 WITH SCORE 15428.458
AT ITER 608 NEW BEST:: SOT 62769 SOS 34442 HAS SOPS 34442 HAS SOUS 15362 HAS SOUPS 15362 WITH SCORE 15396.442
AT ITER 609 NEW BEST:: SOT 62801 SOS 34525 HAS SOPS 34525 HAS SOUS 15240 HAS SOUPS 15240 WITH SCORE 15274.525
AT ITER 620 NEW BEST:: SOT 62758 SOS 34461 HAS SOPS 34461 HAS SOUS 15229 HAS SOUPS 15229 WITH SCORE 15263.461
AT ITER 629 NEW BEST:: SOT 62754 SOS 34457 HAS SOPS 34457 HAS SOUS 15193 HAS SOUPS 15193 WITH SCORE 15227.457
AT ITER 631 NEW BEST:: SOT 62728 SOS 34475 HAS SOPS 34475 HAS SOUS 15131 HAS SOUPS 15131 WITH SCORE 15165.475
AT ITER 639 NEW BEST:: SOT 62728 SOS 34517 HAS SOPS 34517 HAS SOUS 15128 HAS SOUPS 15128 WITH SCORE 15162.517
AT ITER 647 NEW BEST:: SOT 62690 SOS 34341 HAS SOPS 34341 HAS SOUS 15022 HAS SOUPS 15022 WITH SCORE 15056.341
AT ITER 659 NEW BEST:: SOT 62737 SOS 34319 HAS SOPS 34319 HAS SOUS 15017 HAS SOUPS 15017 WITH SCORE 15051.319
AT ITER 679 NEW BEST:: SOT 62658 SOS 34252 HAS SOPS 34252 HAS SOUS 14967 HAS SOUPS 14967 WITH SCORE 15001.252
AT ITER 684 NEW BEST:: SOT 62640 SOS 34234 HAS SOPS 34234 HAS SOUS 14966 HAS SOUPS 14966 WITH SCORE 15000.234
AT ITER 702 NEW BEST:: SOT 62622 SOS 34216 HAS SOPS 34216 HAS SOUS 14955 HAS SOUPS 14955 WITH SCORE 14989.216
AT ITER 707 NEW BEST:: SOT 62697 SOS 34168 HAS SOPS 34168 HAS SOUS 14951 HAS SOUPS 14951 WITH SCORE 14985.168
AT ITER 710 NEW BEST:: SOT 62534 SOS 33931 HAS SOPS 33931 HAS SOUS 14941 HAS SOUPS 14941 WITH SCORE 14974.931
AT ITER 718 NEW BEST:: SOT 62534 SOS 33918 HAS SOPS 33918 HAS SOUS 14939 HAS SOUPS 14939 WITH SCORE 14972.918
AT ITER 727 NEW BEST:: SOT 62534 SOS 33918 HAS SOPS 33918 HAS SOUS 14923 HAS SOUPS 14923 WITH SCORE 14956.918
AT ITER 740 NEW BEST:: SOT 62395 SOS 33439 HAS SOPS 33439 HAS SOUS 14609 HAS SOUPS 14609 WITH SCORE 14642.439
AT ITER 743 NEW BEST:: SOT 62357 SOS 33401 HAS SOPS 33401 HAS SOUS 14556 HAS SOUPS 14556 WITH SCORE 14589.401
AT ITER 746 NEW BEST:: SOT 62273 SOS 33317 HAS SOPS 33317 HAS SOUS 14472 HAS SOUPS 14472 WITH SCORE 14505.317
AT ITER 749 NEW BEST:: SOT 62013 SOS 33057 HAS SOPS 33057 HAS SOUS 14383 HAS SOUPS 14383 WITH SCORE 14416.057
AT ITER 756 NEW BEST:: SOT 62125 SOS 32977 HAS SOPS 32977 HAS SOUS 14334 HAS SOUPS 14334 WITH SCORE 14366.977
AT ITER 762 NEW BEST:: SOT 62098 SOS 32934 HAS SOPS 32934 HAS SOUS 14269 HAS SOUPS 14269 WITH SCORE 14301.934
AT ITER 773 NEW BEST:: SOT 62078 SOS 32884 HAS SOPS 32884 HAS SOUS 14231 HAS SOUPS 14231 WITH SCORE 14263.884
AT ITER 787 NEW BEST:: SOT 62120 SOS 32962 HAS SOPS 32962 HAS SOUS 14194 HAS SOUPS 14194 WITH SCORE 14226.962
AT ITER 793 NEW BEST:: SOT 62120 SOS 32948 HAS SOPS 32948 HAS SOUS 14187 HAS SOUPS 14187 WITH SCORE 14219.948
AT ITER 794 NEW BEST:: SOT 62365 SOS 33009 HAS SOPS 33009 HAS SOUS 14116 HAS SOUPS 14116 WITH SCORE 14149.009
AT ITER 799 NEW BEST:: SOT 62347 SOS 33007 HAS SOPS 33007 HAS SOUS 14104 HAS SOUPS 14104 WITH SCORE 14137.007
AT ITER 815 NEW BEST:: SOT 62323 SOS 32828 HAS SOPS 32828 HAS SOUS 14000 HAS SOUPS 14000 WITH SCORE 14032.828
AT ITER 819 NEW BEST:: SOT 62309 SOS 32764 HAS SOPS 32764 HAS SOUS 13987 HAS SOUPS 13987 WITH SCORE 14019.764
AT ITER 822 NEW BEST:: SOT 62242 SOS 32727 HAS SOPS 32727 HAS SOUS 13924 HAS SOUPS 13924 WITH SCORE 13956.727
AT ITER 838 NEW BEST:: SOT 62275 SOS 32885 HAS SOPS 32885 HAS SOUS 13891 HAS SOUPS 13891 WITH SCORE 13923.885
AT ITER 855 NEW BEST:: SOT 62276 SOS 32707 HAS SOPS 32707 HAS SOUS 13861 HAS SOUPS 13861 WITH SCORE 13893.707
AT ITER 856 NEW BEST:: SOT 62210 SOS 32630 HAS SOPS 32630 HAS SOUS 13795 HAS SOUPS 13795 WITH SCORE 13827.63
AT ITER 859 NEW BEST:: SOT 62202 SOS 32626 HAS SOPS 32626 HAS SOUS 13791 HAS SOUPS 13791 WITH SCORE 13823.626
AT ITER 862 NEW BEST:: SOT 62200 SOS 32623 HAS SOPS 32623 HAS SOUS 13786 HAS SOUPS 13786 WITH SCORE 13818.623
AT ITER 875 NEW BEST:: SOT 62047 SOS 32522 HAS SOPS 32522 HAS SOUS 13717 HAS SOUPS 13717 WITH SCORE 13749.522
AT ITER 880 NEW BEST:: SOT 62039 SOS 32499 HAS SOPS 32499 HAS SOUS 13679 HAS SOUPS 13679 WITH SCORE 13711.499
AT ITER 886 NEW BEST:: SOT 61912 SOS 32285 HAS SOPS 32285 HAS SOUS 13554 HAS SOUPS 13554 WITH SCORE 13586.285
AT ITER 894 NEW BEST:: SOT 61898 SOS 32269 HAS SOPS 32269 HAS SOUS 13440 HAS SOUPS 13440 WITH SCORE 13472.269
AT ITER 899 NEW BEST:: SOT 61869 SOS 32242 HAS SOPS 32242 HAS SOUS 13431 HAS SOUPS 13431 WITH SCORE 13463.242
AT ITER 904 NEW BEST:: SOT 61670 SOS 31914 HAS SOPS 31914 HAS SOUS 13383 HAS SOUPS 13383 WITH SCORE 13414.914
AT ITER 905 NEW BEST:: SOT 61566 SOS 31794 HAS SOPS 31794 HAS SOUS 13373 HAS SOUPS 13373 WITH SCORE 13404.794
AT ITER 908 NEW BEST:: SOT 61527 SOS 31982 HAS SOPS 31982 HAS SOUS 13353 HAS SOUPS 13353 WITH SCORE 13384.982
AT ITER 910 NEW BEST:: SOT 61589 SOS 31999 HAS SOPS 31999 HAS SOUS 13331 HAS SOUPS 13331 WITH SCORE 13362.999
AT ITER 914 NEW BEST:: SOT 61560 SOS 32072 HAS SOPS 32072 HAS SOUS 13229 HAS SOUPS 13229 WITH SCORE 13261.072
AT ITER 924 NEW BEST:: SOT 61558 SOS 32054 HAS SOPS 32054 HAS SOUS 13223 HAS SOUPS 13223 WITH SCORE 13255.054
AT ITER 943 NEW BEST:: SOT 61558 SOS 32046 HAS SOPS 32046 HAS SOUS 13199 HAS SOUPS 13199 WITH SCORE 13231.046
AT ITER 947 NEW BEST:: SOT 61547 SOS 31950 HAS SOPS 31950 HAS SOUS 13156 HAS SOUPS 13156 WITH SCORE 13187.95
AT ITER 951 NEW BEST:: SOT 61541 SOS 31938 HAS SOPS 31938 HAS SOUS 13150 HAS SOUPS 13150 WITH SCORE 13181.938
AT ITER 959 NEW BEST:: SOT 61525 SOS 32328 HAS SOPS 32328 HAS SOUS 13116 HAS SOUPS 13116 WITH SCORE 13148.328
AT ITER 964 NEW BEST:: SOT 61485 SOS 32220 HAS SOPS 32220 HAS SOUS 13088 HAS SOUPS 13088 WITH SCORE 13120.22
AT ITER 972 NEW BEST:: SOT 61485 SOS 32184 HAS SOPS 32184 HAS SOUS 13088 HAS SOUPS 13088 WITH SCORE 13120.184
AT ITER 1000 NEW BEST:: SOT 61456 SOS 32168 HAS SOPS 32168 HAS SOUS 13072 HAS SOUPS 13072 WITH SCORE 13104.168
AT ITER 1014 NEW BEST:: SOT 61407 SOS 32142 HAS SOPS 32142 HAS SOUS 13012 HAS SOUPS 13012 WITH SCORE 13044.142
AT ITER 1022 NEW BEST:: SOT 61395 SOS 32128 HAS SOPS 32128 HAS SOUS 13008 HAS SOUPS 13008 WITH SCORE 13040.128
AT ITER 1023 NEW BEST:: SOT 61383 SOS 32100 HAS SOPS 32100 HAS SOUS 12980 HAS SOUPS 12980 WITH SCORE 13012.1
AT ITER 1028 NEW BEST:: SOT 61313 SOS 31931 HAS SOPS 31931 HAS SOUS 12859 HAS SOUPS 12859 WITH SCORE 12890.931
AT ITER 1044 NEW BEST:: SOT 61312 SOS 31922 HAS SOPS 31922 HAS SOUS 12856 HAS SOUPS 12856 WITH SCORE 12887.922
AT ITER 1069 NEW BEST:: SOT 61306 SOS 31886 HAS SOPS 31886 HAS SOUS 12856 HAS SOUPS 12856 WITH SCORE 12887.886
AT ITER 1086 NEW BEST:: SOT 61156 SOS 31733 HAS SOPS 31733 HAS SOUS 12850 HAS SOUPS 12850 WITH SCORE 12881.733
AT ITER 1097 NEW BEST:: SOT 61155 SOS 31599 HAS SOPS 31599 HAS SOUS 12823 HAS SOUPS 12823 WITH SCORE 12854.599
AT ITER 1118 NEW BEST:: SOT 61155 SOS 31578 HAS SOPS 31578 HAS SOUS 12823 HAS SOUPS 12823 WITH SCORE 12854.578
AT ITER 1132 NEW BEST:: SOT 61163 SOS 31600 HAS SOPS 31600 HAS SOUS 12810 HAS SOUPS 12810 WITH SCORE 12841.6
AT ITER 1139 NEW BEST:: SOT 61165 SOS 31600 HAS SOPS 31600 HAS SOUS 12764 HAS SOUPS 12764 WITH SCORE 12795.6
AT ITER 1151 NEW BEST:: SOT 61143 SOS 31582 HAS SOPS 31582 HAS SOUS 12745 HAS SOUPS 12745 WITH SCORE 12776.582
AT ITER 1153 NEW BEST:: SOT 61143 SOS 31418 HAS SOPS 31418 HAS SOUS 12663 HAS SOUPS 12663 WITH SCORE 12694.418
AT ITER 1158 NEW BEST:: SOT 61126 SOS 31409 HAS SOPS 31409 HAS SOUS 12654 HAS SOUPS 12654 WITH SCORE 12685.409
AT ITER 1161 NEW BEST:: SOT 61115 SOS 31409 HAS SOPS 31409 HAS SOUS 12643 HAS SOUPS 12643 WITH SCORE 12674.409
AT ITER 1166 NEW BEST:: SOT 61083 SOS 31316 HAS SOPS 31316 HAS SOUS 12612 HAS SOUPS 12612 WITH SCORE 12643.316
AT ITER 1179 NEW BEST:: SOT 61104 SOS 31420 HAS SOPS 31420 HAS SOUS 12514 HAS SOUPS 12514 WITH SCORE 12545.42
AT ITER 1188 NEW BEST:: SOT 61098 SOS 31414 HAS SOPS 31414 HAS SOUS 12506 HAS SOUPS 12506 WITH SCORE 12537.414
AT ITER 1190 NEW BEST:: SOT 61144 SOS 31445 HAS SOPS 31445 HAS SOUS 12492 HAS SOUPS 12492 WITH SCORE 12523.445
AT ITER 1232 NEW BEST:: SOT 61117 SOS 31409 HAS SOPS 31409 HAS SOUS 12439 HAS SOUPS 12439 WITH SCORE 12470.409
AT ITER 1234 NEW BEST:: SOT 61096 SOS 31442 HAS SOPS 31442 HAS SOUS 12420 HAS SOUPS 12420 WITH SCORE 12451.442
AT ITER 1243 NEW BEST:: SOT 61010 SOS 31202 HAS SOPS 31202 HAS SOUS 12289 HAS SOUPS 12289 WITH SCORE 12320.202
AT ITER 1264 NEW BEST:: SOT 61011 SOS 31199 HAS SOPS 31199 HAS SOUS 12289 HAS SOUPS 12289 WITH SCORE 12320.199
AT ITER 1286 NEW BEST:: SOT 61011 SOS 31196 HAS SOPS 31196 HAS SOUS 12288 HAS SOUPS 12288 WITH SCORE 12319.196
AT ITER 1291 NEW BEST:: SOT 61083 SOS 31268 HAS SOPS 31268 HAS SOUS 12252 HAS SOUPS 12252 WITH SCORE 12283.268
AT ITER 1299 NEW BEST:: SOT 61069 SOS 31247 HAS SOPS 31247 HAS SOUS 12243 HAS SOUPS 12243 WITH SCORE 12274.247
AT ITER 1309 NEW BEST:: SOT 61084 SOS 31332 HAS SOPS 31332 HAS SOUS 12072 HAS SOUPS 12072 WITH SCORE 12103.332
AT ITER 1314 NEW BEST:: SOT 61139 SOS 31421 HAS SOPS 31421 HAS SOUS 12057 HAS SOUPS 12057 WITH SCORE 12088.421
AT ITER 1344 NEW BEST:: SOT 61121 SOS 31403 HAS SOPS 31403 HAS SOUS 12036 HAS SOUPS 12036 WITH SCORE 12067.403
AT ITER 1354 NEW BEST:: SOT 61095 SOS 31345 HAS SOPS 31345 HAS SOUS 12007 HAS SOUPS 12007 WITH SCORE 12038.345
AT ITER 1372 NEW BEST:: SOT 61088 SOS 31339 HAS SOPS 31339 HAS SOUS 12005 HAS SOUPS 12005 WITH SCORE 12036.339
AT ITER 1374 NEW BEST:: SOT 61091 SOS 31336 HAS SOPS 31336 HAS SOUS 11962 HAS SOUPS 11962 WITH SCORE 11993.336
AT ITER 1376 NEW BEST:: SOT 61083 SOS 31316 HAS SOPS 31316 HAS SOUS 11954 HAS SOUPS 11954 WITH SCORE 11985.316
AT ITER 1377 NEW BEST:: SOT 60868 SOS 30486 HAS SOPS 30486 HAS SOUS 11743 HAS SOUPS 11743 WITH SCORE 11773.486
AT ITER 1392 NEW BEST:: SOT 60865 SOS 30483 HAS SOPS 30483 HAS SOUS 11737 HAS SOUPS 11737 WITH SCORE 11767.483
AT ITER 1398 NEW BEST:: SOT 60856 SOS 30442 HAS SOPS 30442 HAS SOUS 11733 HAS SOUPS 11733 WITH SCORE 11763.442
AT ITER 1431 NEW BEST:: SOT 60841 SOS 30382 HAS SOPS 30382 HAS SOUS 11718 HAS SOUPS 11718 WITH SCORE 11748.382
AT ITER 1432 NEW BEST:: SOT 60872 SOS 30365 HAS SOPS 30365 HAS SOUS 11704 HAS SOUPS 11704 WITH SCORE 11734.365
AT ITER 1447 NEW BEST:: SOT 60770 SOS 30265 HAS SOPS 30265 HAS SOUS 11656 HAS SOUPS 11656 WITH SCORE 11686.265
AT ITER 1453 NEW BEST:: SOT 60737 SOS 30244 HAS SOPS 30244 HAS SOUS 11647 HAS SOUPS 11647 WITH SCORE 11677.244
AT ITER 1455 NEW BEST:: SOT 60737 SOS 30156 HAS SOPS 30156 HAS SOUS 11631 HAS SOUPS 11631 WITH SCORE 11661.156
AT ITER 1465 NEW BEST:: SOT 60706 SOS 30117 HAS SOPS 30117 HAS SOUS 11576 HAS SOUPS 11576 WITH SCORE 11606.117
AT ITER 1484 NEW BEST:: SOT 60684 SOS 30051 HAS SOPS 30051 HAS SOUS 11531 HAS SOUPS 11531 WITH SCORE 11561.051
AT ITER 1491 NEW BEST:: SOT 60672 SOS 29973 HAS SOPS 29973 HAS SOUS 11483 HAS SOUPS 11483 WITH SCORE 11512.973
AT ITER 1511 NEW BEST:: SOT 60672 SOS 29971 HAS SOPS 29971 HAS SOUS 11483 HAS SOUPS 11483 WITH SCORE 11512.971
AT ITER 1527 NEW BEST:: SOT 60670 SOS 29968 HAS SOPS 29968 HAS SOUS 11479 HAS SOUPS 11479 WITH SCORE 11508.968
AT ITER 1535 NEW BEST:: SOT 60697 SOS 29876 HAS SOPS 29876 HAS SOUS 11458 HAS SOUPS 11458 WITH SCORE 11487.876
AT ITER 1543 NEW BEST:: SOT 60696 SOS 29877 HAS SOPS 29877 HAS SOUS 11453 HAS SOUPS 11453 WITH SCORE 11482.877
AT ITER 1557 NEW BEST:: SOT 60696 SOS 29958 HAS SOPS 29958 HAS SOUS 11441 HAS SOUPS 11441 WITH SCORE 11470.958
AT ITER 1570 NEW BEST:: SOT 60672 SOS 29956 HAS SOPS 29956 HAS SOUS 11441 HAS SOUPS 11441 WITH SCORE 11470.956
AT ITER 1611 NEW BEST:: SOT 60672 SOS 29951 HAS SOPS 29951 HAS SOUS 11441 HAS SOUPS 11441 WITH SCORE 11470.951
AT ITER 1615 NEW BEST:: SOT 60679 SOS 29951 HAS SOPS 29951 HAS SOUS 11433 HAS SOUPS 11433 WITH SCORE 11462.951
AT ITER 1629 NEW BEST:: SOT 60632 SOS 29939 HAS SOPS 29939 HAS SOUS 11421 HAS SOUPS 11421 WITH SCORE 11450.939
AT ITER 1634 NEW BEST:: SOT 60668 SOS 29994 HAS SOPS 29994 HAS SOUS 11411 HAS SOUPS 11411 WITH SCORE 11440.994
AT ITER 1649 NEW BEST:: SOT 60668 SOS 29986 HAS SOPS 29986 HAS SOUS 11410 HAS SOUPS 11410 WITH SCORE 11439.986
AT ITER 1656 NEW BEST:: SOT 60662 SOS 29974 HAS SOPS 29974 HAS SOUS 11404 HAS SOUPS 11404 WITH SCORE 11433.974
AT ITER 1669 NEW BEST:: SOT 60731 SOS 29932 HAS SOPS 29932 HAS SOUS 11351 HAS SOUPS 11351 WITH SCORE 11380.932
AT ITER 1685 NEW BEST:: SOT 60731 SOS 29931 HAS SOPS 29931 HAS SOUS 11350 HAS SOUPS 11350 WITH SCORE 11379.931
AT ITER 1691 NEW BEST:: SOT 60712 SOS 29922 HAS SOPS 29922 HAS SOUS 11295 HAS SOUPS 11295 WITH SCORE 11324.922
AT ITER 1699 NEW BEST:: SOT 60712 SOS 29845 HAS SOPS 29845 HAS SOUS 11168 HAS SOUPS 11168 WITH SCORE 11197.845
AT ITER 1724 NEW BEST:: SOT 60744 SOS 29863 HAS SOPS 29863 HAS SOUS 11154 HAS SOUPS 11154 WITH SCORE 11183.863
AT ITER 1737 NEW BEST:: SOT 60742 SOS 29856 HAS SOPS 29856 HAS SOUS 11147 HAS SOUPS 11147 WITH SCORE 11176.856
AT ITER 1745 NEW BEST:: SOT 60701 SOS 29805 HAS SOPS 29805 HAS SOUS 11082 HAS SOUPS 11082 WITH SCORE 11111.805
AT ITER 1748 NEW BEST:: SOT 60691 SOS 29763 HAS SOPS 29763 HAS SOUS 10958 HAS SOUPS 10958 WITH SCORE 10987.763
AT ITER 1752 NEW BEST:: SOT 60691 SOS 29535 HAS SOPS 29535 HAS SOUS 10901 HAS SOUPS 10901 WITH SCORE 10930.535
AT ITER 1767 NEW BEST:: SOT 60586 SOS 29427 HAS SOPS 29427 HAS SOUS 10850 HAS SOUPS 10850 WITH SCORE 10879.427
AT ITER 1778 NEW BEST:: SOT 60568 SOS 29352 HAS SOPS 29352 HAS SOUS 10846 HAS SOUPS 10846 WITH SCORE 10875.352
AT ITER 1786 NEW BEST:: SOT 60535 SOS 29330 HAS SOPS 29330 HAS SOUS 10835 HAS SOUPS 10835 WITH SCORE 10864.33
AT ITER 1790 NEW BEST:: SOT 60558 SOS 29265 HAS SOPS 29265 HAS SOUS 10812 HAS SOUPS 10812 WITH SCORE 10841.265
AT ITER 1801 NEW BEST:: SOT 60537 SOS 29227 HAS SOPS 29227 HAS SOUS 10787 HAS SOUPS 10787 WITH SCORE 10816.227
AT ITER 1814 NEW BEST:: SOT 60526 SOS 29216 HAS SOPS 29216 HAS SOUS 10781 HAS SOUPS 10781 WITH SCORE 10810.216
AT ITER 1840 NEW BEST:: SOT 60523 SOS 29213 HAS SOPS 29213 HAS SOUS 10778 HAS SOUPS 10778 WITH SCORE 10807.213
AT ITER 1851 NEW BEST:: SOT 60495 SOS 29194 HAS SOPS 29194 HAS SOUS 10777 HAS SOUPS 10777 WITH SCORE 10806.194
AT ITER 1871 NEW BEST:: SOT 60483 SOS 29158 HAS SOPS 29158 HAS SOUS 10759 HAS SOUPS 10759 WITH SCORE 10788.158
AT ITER 1883 NEW BEST:: SOT 60465 SOS 29090 HAS SOPS 29090 HAS SOUS 10711 HAS SOUPS 10711 WITH SCORE 10740.09
AT ITER 1887 NEW BEST:: SOT 60405 SOS 29030 HAS SOPS 29030 HAS SOUS 10711 HAS SOUPS 10711 WITH SCORE 10740.03
AT ITER 1891 NEW BEST:: SOT 60367 SOS 28865 HAS SOPS 28865 HAS SOUS 10623 HAS SOUPS 10623 WITH SCORE 10651.865
AT ITER 1893 NEW BEST:: SOT 60219 SOS 28670 HAS SOPS 28670 HAS SOUS 10561 HAS SOUPS 10561 WITH SCORE 10589.67
AT ITER 1902 NEW BEST:: SOT 60213 SOS 28664 HAS SOPS 28664 HAS SOUS 10549 HAS SOUPS 10549 WITH SCORE 10577.664
AT ITER 1913 NEW BEST:: SOT 60158 SOS 28609 HAS SOPS 28609 HAS SOUS 10536 HAS SOUPS 10536 WITH SCORE 10564.609
AT ITER 1928 NEW BEST:: SOT 60191 SOS 28642 HAS SOPS 28642 HAS SOUS 10524 HAS SOUPS 10524 WITH SCORE 10552.642
AT ITER 1931 NEW BEST:: SOT 60156 SOS 28621 HAS SOPS 28621 HAS SOUS 10503 HAS SOUPS 10503 WITH SCORE 10531.621
AT ITER 1937 NEW BEST:: SOT 60155 SOS 28728 HAS SOPS 28728 HAS SOUS 10475 HAS SOUPS 10475 WITH SCORE 10503.728
AT ITER 1947 NEW BEST:: SOT 60141 SOS 28707 HAS SOPS 28707 HAS SOUS 10447 HAS SOUPS 10447 WITH SCORE 10475.707
AT ITER 1964 NEW BEST:: SOT 60126 SOS 28400 HAS SOPS 28400 HAS SOUS 10353 HAS SOUPS 10353 WITH SCORE 10381.4
AT ITER 1973 NEW BEST:: SOT 59993 SOS 28234 HAS SOPS 28234 HAS SOUS 10249 HAS SOUPS 10249 WITH SCORE 10277.234
AT ITER 2001 NEW BEST:: SOT 59988 SOS 28214 HAS SOPS 28214 HAS SOUS 10229 HAS SOUPS 10229 WITH SCORE 10257.214
AT ITER 2003 NEW BEST:: SOT 59697 SOS 28098 HAS SOPS 28098 HAS SOUS 10069 HAS SOUPS 10069 WITH SCORE 10097.098
AT ITER 2038 NEW BEST:: SOT 59691 SOS 28087 HAS SOPS 28087 HAS SOUS 10068 HAS SOUPS 10068 WITH SCORE 10096.087
AT ITER 2040 NEW BEST:: SOT 59665 SOS 28058 HAS SOPS 28058 HAS SOUS 10056 HAS SOUPS 10056 WITH SCORE 10084.058
AT ITER 2049 NEW BEST:: SOT 59661 SOS 28052 HAS SOPS 28052 HAS SOUS 10050 HAS SOUPS 10050 WITH SCORE 10078.052
AT ITER 2051 NEW BEST:: SOT 59660 SOS 28017 HAS SOPS 28017 HAS SOUS 10050 HAS SOUPS 10050 WITH SCORE 10078.017
AT ITER 2072 NEW BEST:: SOT 59640 SOS 27997 HAS SOPS 27997 HAS SOUS 10030 HAS SOUPS 10030 WITH SCORE 10057.997
AT ITER 2079 NEW BEST:: SOT 59710 SOS 28089 HAS SOPS 28089 HAS SOUS 10022 HAS SOUPS 10022 WITH SCORE 10050.089
AT ITER 2104 NEW BEST:: SOT 59660 SOS 27742 HAS SOPS 27742 HAS SOUS 9840 HAS SOUPS 9840 WITH SCORE 9867.742
AT ITER 2113 NEW BEST:: SOT 59667 SOS 27635 HAS SOPS 27635 HAS SOUS 9825 HAS SOUPS 9825 WITH SCORE 9852.635
AT ITER 2115 NEW BEST:: SOT 59667 SOS 27583 HAS SOPS 27583 HAS SOUS 9795 HAS SOUPS 9795 WITH SCORE 9822.583
AT ITER 2125 NEW BEST:: SOT 59565 SOS 27481 HAS SOPS 27481 HAS SOUS 9693 HAS SOUPS 9693 WITH SCORE 9720.481
AT ITER 2145 NEW BEST:: SOT 59549 SOS 27465 HAS SOPS 27465 HAS SOUS 9685 HAS SOUPS 9685 WITH SCORE 9712.465
AT ITER 2156 NEW BEST:: SOT 59533 SOS 27395 HAS SOPS 27395 HAS SOUS 9631 HAS SOUPS 9631 WITH SCORE 9658.395
AT ITER 2160 NEW BEST:: SOT 59491 SOS 27328 HAS SOPS 27328 HAS SOUS 9558 HAS SOUPS 9558 WITH SCORE 9585.328
AT ITER 2175 NEW BEST:: SOT 59485 SOS 27277 HAS SOPS 27277 HAS SOUS 9544 HAS SOUPS 9544 WITH SCORE 9571.277
AT ITER 2211 NEW BEST:: SOT 59460 SOS 27267 HAS SOPS 27267 HAS SOUS 9537 HAS SOUPS 9537 WITH SCORE 9564.267
AT ITER 2213 NEW BEST:: SOT 59445 SOS 27252 HAS SOPS 27252 HAS SOUS 9490 HAS SOUPS 9490 WITH SCORE 9517.252
AT ITER 2222 NEW BEST:: SOT 59447 SOS 27252 HAS SOPS 27252 HAS SOUS 9488 HAS SOUPS 9488 WITH SCORE 9515.252
AT ITER 2242 NEW BEST:: SOT 59368 SOS 27182 HAS SOPS 27182 HAS SOUS 9455 HAS SOUPS 9455 WITH SCORE 9482.182
AT ITER 2253 NEW BEST:: SOT 59076 SOS 27088 HAS SOPS 27088 HAS SOUS 9310 HAS SOUPS 9310 WITH SCORE 9337.088
AT ITER 2256 NEW BEST:: SOT 59066 SOS 27058 HAS SOPS 27058 HAS SOUS 9302 HAS SOUPS 9302 WITH SCORE 9329.058
AT ITER 2278 NEW BEST:: SOT 59034 SOS 27062 HAS SOPS 27062 HAS SOUS 9293 HAS SOUPS 9293 WITH SCORE 9320.062
AT ITER 2283 NEW BEST:: SOT 59035 SOS 27067 HAS SOPS 27067 HAS SOUS 9291 HAS SOUPS 9291 WITH SCORE 9318.067
AT ITER 2291 NEW BEST:: SOT 59035 SOS 27036 HAS SOPS 27036 HAS SOUS 9291 HAS SOUPS 9291 WITH SCORE 9318.036
AT ITER 2298 NEW BEST:: SOT 59241 SOS 27260 HAS SOPS 27260 HAS SOUS 9273 HAS SOUPS 9273 WITH SCORE 9300.26
AT ITER 2329 NEW BEST:: SOT 59230 SOS 27234 HAS SOPS 27234 HAS SOUS 9233 HAS SOUPS 9233 WITH SCORE 9260.234
AT ITER 2330 NEW BEST:: SOT 59194 SOS 27212 HAS SOPS 27212 HAS SOUS 9200 HAS SOUPS 9200 WITH SCORE 9227.212
AT ITER 2338 NEW BEST:: SOT 59180 SOS 27202 HAS SOPS 27202 HAS SOUS 9183 HAS SOUPS 9183 WITH SCORE 9210.202
AT ITER 2339 NEW BEST:: SOT 59177 SOS 27200 HAS SOPS 27200 HAS SOUS 9178 HAS SOUPS 9178 WITH SCORE 9205.2
AT ITER 2362 NEW BEST:: SOT 58911 SOS 26918 HAS SOPS 26918 HAS SOUS 9046 HAS SOUPS 9046 WITH SCORE 9072.918
AT ITER 2382 NEW BEST:: SOT 58912 SOS 26898 HAS SOPS 26898 HAS SOUS 9042 HAS SOUPS 9042 WITH SCORE 9068.898
AT ITER 2402 NEW BEST:: SOT 58912 SOS 26858 HAS SOPS 26858 HAS SOUS 9022 HAS SOUPS 9022 WITH SCORE 9048.858
AT ITER 2408 NEW BEST:: SOT 58912 SOS 26852 HAS SOPS 26852 HAS SOUS 9021 HAS SOUPS 9021 WITH SCORE 9047.852
AT ITER 2426 NEW BEST:: SOT 58905 SOS 26838 HAS SOPS 26838 HAS SOUS 8977 HAS SOUPS 8977 WITH SCORE 9003.838
AT ITER 2446 NEW BEST:: SOT 58900 SOS 26841 HAS SOPS 26841 HAS SOUS 8974 HAS SOUPS 8974 WITH SCORE 9000.841
AT ITER 2463 NEW BEST:: SOT 58883 SOS 26796 HAS SOPS 26796 HAS SOUS 8948 HAS SOUPS 8948 WITH SCORE 8974.796
AT ITER 2472 NEW BEST:: SOT 58855 SOS 26776 HAS SOPS 26776 HAS SOUS 8948 HAS SOUPS 8948 WITH SCORE 8974.776
AT ITER 2499 NEW BEST:: SOT 58855 SOS 26776 HAS SOPS 26776 HAS SOUS 8941 HAS SOUPS 8941 WITH SCORE 8967.776
AT ITER 2500 NEW BEST:: SOT 58831 SOS 26690 HAS SOPS 26690 HAS SOUS 8926 HAS SOUPS 8926 WITH SCORE 8952.69
AT ITER 2561 NEW BEST:: SOT 59015 SOS 26828 HAS SOPS 26828 HAS SOUS 8839 HAS SOUPS 8839 WITH SCORE 8865.828
AT ITER 2582 NEW BEST:: SOT 59015 SOS 26796 HAS SOPS 26796 HAS SOUS 8775 HAS SOUPS 8775 WITH SCORE 8801.796
AT ITER 2599 NEW BEST:: SOT 58964 SOS 26732 HAS SOPS 26732 HAS SOUS 8685 HAS SOUPS 8685 WITH SCORE 8711.732
AT ITER 2624 NEW BEST:: SOT 58964 SOS 26734 HAS SOPS 26734 HAS SOUS 8683 HAS SOUPS 8683 WITH SCORE 8709.734
AT ITER 2681 NEW BEST:: SOT 59016 SOS 26675 HAS SOPS 26675 HAS SOUS 8675 HAS SOUPS 8675 WITH SCORE 8701.675
AT ITER 2687 NEW BEST:: SOT 59008 SOS 26642 HAS SOPS 26642 HAS SOUS 8656 HAS SOUPS 8656 WITH SCORE 8682.642
AT ITER 2697 NEW BEST:: SOT 58797 SOS 26429 HAS SOPS 26429 HAS SOUS 8653 HAS SOUPS 8653 WITH SCORE 8679.429
AT ITER 2702 NEW BEST:: SOT 58763 SOS 26379 HAS SOPS 26379 HAS SOUS 8617 HAS SOUPS 8617 WITH SCORE 8643.379
AT ITER 2730 NEW BEST:: SOT 58771 SOS 26334 HAS SOPS 26334 HAS SOUS 8617 HAS SOUPS 8617 WITH SCORE 8643.334
AT ITER 2737 NEW BEST:: SOT 58735 SOS 26278 HAS SOPS 26278 HAS SOUS 8581 HAS SOUPS 8581 WITH SCORE 8607.278
AT ITER 2740 NEW BEST:: SOT 58735 SOS 26281 HAS SOPS 26281 HAS SOUS 8580 HAS SOUPS 8580 WITH SCORE 8606.281
AT ITER 2801 NEW BEST:: SOT 58711 SOS 26257 HAS SOPS 26257 HAS SOUS 8560 HAS SOUPS 8560 WITH SCORE 8586.257
AT ITER 2818 NEW BEST:: SOT 58710 SOS 26254 HAS SOPS 26254 HAS SOUS 8559 HAS SOUPS 8559 WITH SCORE 8585.254
AT ITER 2833 NEW BEST:: SOT 58689 SOS 26251 HAS SOPS 26251 HAS SOUS 8545 HAS SOUPS 8545 WITH SCORE 8571.251
AT ITER 2851 NEW BEST:: SOT 58685 SOS 26243 HAS SOPS 26243 HAS SOUS 8543 HAS SOUPS 8543 WITH SCORE 8569.243
AT ITER 2853 NEW BEST:: SOT 58686 SOS 26301 HAS SOPS 26301 HAS SOUS 8542 HAS SOUPS 8542 WITH SCORE 8568.301
AT ITER 2895 NEW BEST:: SOT 58666 SOS 26278 HAS SOPS 26278 HAS SOUS 8527 HAS SOUPS 8527 WITH SCORE 8553.278
AT ITER 2907 NEW BEST:: SOT 58662 SOS 26274 HAS SOPS 26274 HAS SOUS 8524 HAS SOUPS 8524 WITH SCORE 8550.274
AT ITER 2912 NEW BEST:: SOT 58670 SOS 26282 HAS SOPS 26282 HAS SOUS 8523 HAS SOUPS 8523 WITH SCORE 8549.282
AT ITER 2932 NEW BEST:: SOT 58637 SOS 26250 HAS SOPS 26250 HAS SOUS 8509 HAS SOUPS 8509 WITH SCORE 8535.25
AT ITER 2938 NEW BEST:: SOT 58533 SOS 26061 HAS SOPS 26061 HAS SOUS 8337 HAS SOUPS 8337 WITH SCORE 8363.061
AT ITER 2949 NEW BEST:: SOT 58558 SOS 26061 HAS SOPS 26061 HAS SOUS 8315 HAS SOUPS 8315 WITH SCORE 8341.061
AT ITER 2983 NEW BEST:: SOT 58558 SOS 26057 HAS SOPS 26057 HAS SOUS 8315 HAS SOUPS 8315 WITH SCORE 8341.057
AT ITER 3000 NEW BEST:: SOT 58608 SOS 26073 HAS SOPS 26073 HAS SOUS 8257 HAS SOUPS 8257 WITH SCORE 8283.073
AT ITER 3023 NEW BEST:: SOT 58588 SOS 26055 HAS SOPS 26055 HAS SOUS 8249 HAS SOUPS 8249 WITH SCORE 8275.055
AT ITER 3028 NEW BEST:: SOT 58503 SOS 25970 HAS SOPS 25970 HAS SOUS 8215 HAS SOUPS 8215 WITH SCORE 8240.97
AT ITER 3040 NEW BEST:: SOT 58502 SOS 25973 HAS SOPS 25973 HAS SOUS 8087 HAS SOUPS 8087 WITH SCORE 8112.973
AT ITER 3061 NEW BEST:: SOT 58429 SOS 25900 HAS SOPS 25900 HAS SOUS 8039 HAS SOUPS 8039 WITH SCORE 8064.9
AT ITER 3082 NEW BEST:: SOT 58420 SOS 25891 HAS SOPS 25891 HAS SOUS 8024 HAS SOUPS 8024 WITH SCORE 8049.891
AT ITER 3100 NEW BEST:: SOT 58380 SOS 25851 HAS SOPS 25851 HAS SOUS 8003 HAS SOUPS 8003 WITH SCORE 8028.851
AT ITER 3172 NEW BEST:: SOT 58386 SOS 25849 HAS SOPS 25849 HAS SOUS 7994 HAS SOUPS 7994 WITH SCORE 8019.849
AT ITER 3194 NEW BEST:: SOT 58386 SOS 25849 HAS SOPS 25849 HAS SOUS 7990 HAS SOUPS 7990 WITH SCORE 8015.849
AT ITER 3219 NEW BEST:: SOT 58383 SOS 25841 HAS SOPS 25841 HAS SOUS 7990 HAS SOUPS 7990 WITH SCORE 8015.841
AT ITER 3233 NEW BEST:: SOT 58375 SOS 25815 HAS SOPS 25815 HAS SOUS 7989 HAS SOUPS 7989 WITH SCORE 8014.815
AT ITER 3241 NEW BEST:: SOT 58374 SOS 25828 HAS SOPS 25828 HAS SOUS 7988 HAS SOUPS 7988 WITH SCORE 8013.828
AT ITER 3292 NEW BEST:: SOT 58347 SOS 25747 HAS SOPS 25747 HAS SOUS 7949 HAS SOUPS 7949 WITH SCORE 7974.747
AT ITER 3293 NEW BEST:: SOT 58354 SOS 25754 HAS SOPS 25754 HAS SOUS 7931 HAS SOUPS 7931 WITH SCORE 7956.754
AT ITER 3358 NEW BEST:: SOT 58332 SOS 25688 HAS SOPS 25688 HAS SOUS 7887 HAS SOUPS 7887 WITH SCORE 7912.688
AT ITER 3360 NEW BEST:: SOT 58331 SOS 25685 HAS SOPS 25685 HAS SOUS 7874 HAS SOUPS 7874 WITH SCORE 7899.685
AT ITER 3364 NEW BEST:: SOT 58293 SOS 25643 HAS SOPS 25643 HAS SOUS 7846 HAS SOUPS 7846 WITH SCORE 7871.643
AT ITER 3384 NEW BEST:: SOT 58286 SOS 25636 HAS SOPS 25636 HAS SOUS 7829 HAS SOUPS 7829 WITH SCORE 7854.636
AT ITER 3394 NEW BEST:: SOT 58104 SOS 25505 HAS SOPS 25505 HAS SOUS 7795 HAS SOUPS 7795 WITH SCORE 7820.505
AT ITER 3400 NEW BEST:: SOT 58105 SOS 25508 HAS SOPS 25508 HAS SOUS 7789 HAS SOUPS 7789 WITH SCORE 7814.508
AT ITER 3404 NEW BEST:: SOT 58107 SOS 25515 HAS SOPS 25515 HAS SOUS 7788 HAS SOUPS 7788 WITH SCORE 7813.515
AT ITER 3438 NEW BEST:: SOT 58059 SOS 25443 HAS SOPS 25443 HAS SOUS 7780 HAS SOUPS 7780 WITH SCORE 7805.443
AT ITER 3492 NEW BEST:: SOT 58059 SOS 25435 HAS SOPS 25435 HAS SOUS 7772 HAS SOUPS 7772 WITH SCORE 7797.435
AT ITER 3518 NEW BEST:: SOT 57956 SOS 25383 HAS SOPS 25356 HAS SOUS 7756 HAS SOUPS 7729 WITH SCORE 7754.383
AT ITER 3531 NEW BEST:: SOT 57960 SOS 25354 HAS SOPS 25327 HAS SOUS 7742 HAS SOUPS 7715 WITH SCORE 7740.354
AT ITER 3582 NEW BEST:: SOT 57948 SOS 25346 HAS SOPS 25319 HAS SOUS 7740 HAS SOUPS 7713 WITH SCORE 7738.346
AT ITER 3587 NEW BEST:: SOT 57945 SOS 25343 HAS SOPS 25316 HAS SOUS 7740 HAS SOUPS 7713 WITH SCORE 7738.343
AT ITER 3591 NEW BEST:: SOT 57940 SOS 25328 HAS SOPS 25301 HAS SOUS 7729 HAS SOUPS 7702 WITH SCORE 7727.328
AT ITER 3629 NEW BEST:: SOT 57924 SOS 25338 HAS SOPS 25311 HAS SOUS 7718 HAS SOUPS 7691 WITH SCORE 7716.338
AT ITER 3631 NEW BEST:: SOT 57976 SOS 25381 HAS SOPS 25354 HAS SOUS 7715 HAS SOUPS 7688 WITH SCORE 7713.381
AT ITER 3632 NEW BEST:: SOT 57967 SOS 25326 HAS SOPS 25299 HAS SOUS 7701 HAS SOUPS 7674 WITH SCORE 7699.326
AT ITER 3697 NEW BEST:: SOT 57965 SOS 25320 HAS SOPS 25293 HAS SOUS 7698 HAS SOUPS 7671 WITH SCORE 7696.32
AT ITER 3713 NEW BEST:: SOT 57924 SOS 25279 HAS SOPS 25252 HAS SOUS 7684 HAS SOUPS 7657 WITH SCORE 7682.279
AT ITER 3741 NEW BEST:: SOT 57916 SOS 25271 HAS SOPS 25244 HAS SOUS 7684 HAS SOUPS 7657 WITH SCORE 7682.271
AT ITER 3791 NEW BEST:: SOT 57918 SOS 25355 HAS SOPS 25328 HAS SOUS 7683 HAS SOUPS 7656 WITH SCORE 7681.355
AT ITER 3819 NEW BEST:: SOT 57912 SOS 25348 HAS SOPS 25321 HAS SOUS 7677 HAS SOUPS 7650 WITH SCORE 7675.348
AT ITER 3844 NEW BEST:: SOT 57900 SOS 25336 HAS SOPS 25309 HAS SOUS 7677 HAS SOUPS 7650 WITH SCORE 7675.336
AT ITER 3916 NEW BEST:: SOT 57892 SOS 25292 HAS SOPS 25265 HAS SOUS 7643 HAS SOUPS 7616 WITH SCORE 7641.292
AT ITER 3993 NEW BEST:: SOT 57856 SOS 25257 HAS SOPS 25230 HAS SOUS 7642 HAS SOUPS 7615 WITH SCORE 7640.257
AT ITER 4049 NEW BEST:: SOT 57857 SOS 25257 HAS SOPS 25230 HAS SOUS 7639 HAS SOUPS 7612 WITH SCORE 7637.257
AT ITER 4107 NEW BEST:: SOT 57850 SOS 25218 HAS SOPS 25191 HAS SOUS 7628 HAS SOUPS 7601 WITH SCORE 7626.218
AT ITER 4148 NEW BEST:: SOT 57836 SOS 25190 HAS SOPS 25163 HAS SOUS 7603 HAS SOUPS 7576 WITH SCORE 7601.19
AT ITER 4169 NEW BEST:: SOT 57835 SOS 25193 HAS SOPS 25166 HAS SOUS 7601 HAS SOUPS 7574 WITH SCORE 7599.193
AT ITER 4170 NEW BEST:: SOT 57832 SOS 25190 HAS SOPS 25163 HAS SOUS 7598 HAS SOUPS 7571 WITH SCORE 7596.19
AT ITER 4214 NEW BEST:: SOT 57842 SOS 25099 HAS SOPS 25072 HAS SOUS 7592 HAS SOUPS 7565 WITH SCORE 7590.099
AT ITER 4265 NEW BEST:: SOT 57854 SOS 25107 HAS SOPS 25080 HAS SOUS 7584 HAS SOUPS 7557 WITH SCORE 7582.107
AT ITER 4281 NEW BEST:: SOT 57845 SOS 25106 HAS SOPS 25079 HAS SOUS 7584 HAS SOUPS 7557 WITH SCORE 7582.106
AT ITER 4328 NEW BEST:: SOT 57841 SOS 25096 HAS SOPS 25069 HAS SOUS 7577 HAS SOUPS 7550 WITH SCORE 7575.096
AT ITER 4331 NEW BEST:: SOT 57812 SOS 25057 HAS SOPS 25030 HAS SOUS 7560 HAS SOUPS 7533 WITH SCORE 7558.057
AT ITER 4336 NEW BEST:: SOT 57808 SOS 25053 HAS SOPS 25026 HAS SOUS 7556 HAS SOUPS 7529 WITH SCORE 7554.053
AT ITER 4441 NEW BEST:: SOT 57816 SOS 25047 HAS SOPS 25020 HAS SOUS 7548 HAS SOUPS 7521 WITH SCORE 7546.047
AT ITER 4442 NEW BEST:: SOT 57802 SOS 25020 HAS SOPS 24993 HAS SOUS 7545 HAS SOUPS 7518 WITH SCORE 7543.02
AT ITER 4470 NEW BEST:: SOT 57795 SOS 24985 HAS SOPS 24958 HAS SOUS 7492 HAS SOUPS 7465 WITH SCORE 7489.985
AT ITER 4482 NEW BEST:: SOT 57794 SOS 24984 HAS SOPS 24957 HAS SOUS 7490 HAS SOUPS 7463 WITH SCORE 7487.984
AT ITER 4546 NEW BEST:: SOT 57776 SOS 24966 HAS SOPS 24939 HAS SOUS 7472 HAS SOUPS 7445 WITH SCORE 7469.966
AT ITER 4589 NEW BEST:: SOT 57780 SOS 24970 HAS SOPS 24943 HAS SOUS 7470 HAS SOUPS 7443 WITH SCORE 7467.97
AT ITER 4594 NEW BEST:: SOT 57780 SOS 24970 HAS SOPS 24943 HAS SOUS 7469 HAS SOUPS 7442 WITH SCORE 7466.97
AT ITER 4612 NEW BEST:: SOT 57766 SOS 24935 HAS SOPS 24908 HAS SOUS 7464 HAS SOUPS 7437 WITH SCORE 7461.935
AT ITER 4648 NEW BEST:: SOT 57759 SOS 24920 HAS SOPS 24893 HAS SOUS 7462 HAS SOUPS 7435 WITH SCORE 7459.92
AT ITER 4693 NEW BEST:: SOT 57770 SOS 24929 HAS SOPS 24902 HAS SOUS 7459 HAS SOUPS 7432 WITH SCORE 7456.929
AT ITER 4699 NEW BEST:: SOT 57765 SOS 24924 HAS SOPS 24897 HAS SOUS 7453 HAS SOUPS 7426 WITH SCORE 7450.924
AT ITER 4730 NEW BEST:: SOT 57765 SOS 24911 HAS SOPS 24884 HAS SOUS 7451 HAS SOUPS 7424 WITH SCORE 7448.911
AT ITER 4769 NEW BEST:: SOT 57616 SOS 24711 HAS SOPS 24684 HAS SOUS 7413 HAS SOUPS 7386 WITH SCORE 7410.711
AT ITER 4794 NEW BEST:: SOT 57616 SOS 24691 HAS SOPS 24664 HAS SOUS 7413 HAS SOUPS 7386 WITH SCORE 7410.691
AT ITER 4799 NEW BEST:: SOT 57636 SOS 24678 HAS SOPS 24651 HAS SOUS 7411 HAS SOUPS 7384 WITH SCORE 7408.678
AT ITER 4802 NEW BEST:: SOT 57640 SOS 24688 HAS SOPS 24661 HAS SOUS 7407 HAS SOUPS 7380 WITH SCORE 7404.688
AT ITER 4812 NEW BEST:: SOT 57608 SOS 24630 HAS SOPS 24603 HAS SOUS 7395 HAS SOUPS 7368 WITH SCORE 7392.63
AT ITER 4846 NEW BEST:: SOT 57599 SOS 24753 HAS SOPS 24726 HAS SOUS 7394 HAS SOUPS 7367 WITH SCORE 7391.753
AT ITER 4848 NEW BEST:: SOT 57628 SOS 24726 HAS SOPS 24699 HAS SOUS 7366 HAS SOUPS 7339 WITH SCORE 7363.726
AT ITER 4853 NEW BEST:: SOT 57645 SOS 24743 HAS SOPS 24716 HAS SOUS 7361 HAS SOUPS 7334 WITH SCORE 7358.743
AT ITER 4893 NEW BEST:: SOT 57630 SOS 24703 HAS SOPS 24676 HAS SOUS 7344 HAS SOUPS 7317 WITH SCORE 7341.703
AT ITER 4901 NEW BEST:: SOT 57610 SOS 24681 HAS SOPS 24654 HAS SOUS 7317 HAS SOUPS 7290 WITH SCORE 7314.681
AT ITER 4920 NEW BEST:: SOT 57620 SOS 24658 HAS SOPS 24631 HAS SOUS 7297 HAS SOUPS 7270 WITH SCORE 7294.658
AT ITER 4944 NEW BEST:: SOT 57672 SOS 24697 HAS SOPS 24670 HAS SOUS 7284 HAS SOUPS 7257 WITH SCORE 7281.697
AT ITER 5048 NEW BEST:: SOT 57792 SOS 24660 HAS SOPS 24633 HAS SOUS 7257 HAS SOUPS 7230 WITH SCORE 7254.66
AT ITER 5061 NEW BEST:: SOT 57787 SOS 24656 HAS SOPS 24629 HAS SOUS 7256 HAS SOUPS 7229 WITH SCORE 7253.656
AT ITER 5064 NEW BEST:: SOT 57802 SOS 24636 HAS SOPS 24609 HAS SOUS 7256 HAS SOUPS 7229 WITH SCORE 7253.636
AT ITER 5071 NEW BEST:: SOT 57770 SOS 24609 HAS SOPS 24582 HAS SOUS 7254 HAS SOUPS 7227 WITH SCORE 7251.609
AT ITER 5075 NEW BEST:: SOT 57757 SOS 24565 HAS SOPS 24538 HAS SOUS 7241 HAS SOUPS 7214 WITH SCORE 7238.565
AT ITER 5077 NEW BEST:: SOT 57754 SOS 24531 HAS SOPS 24504 HAS SOUS 7230 HAS SOUPS 7203 WITH SCORE 7227.531
AT ITER 5110 NEW BEST:: SOT 57751 SOS 24513 HAS SOPS 24486 HAS SOUS 7227 HAS SOUPS 7200 WITH SCORE 7224.513
AT ITER 5122 NEW BEST:: SOT 57743 SOS 24502 HAS SOPS 24475 HAS SOUS 7216 HAS SOUPS 7189 WITH SCORE 7213.502
AT ITER 5134 NEW BEST:: SOT 57771 SOS 24506 HAS SOPS 24479 HAS SOUS 7201 HAS SOUPS 7174 WITH SCORE 7198.506
AT ITER 5158 NEW BEST:: SOT 57771 SOS 24500 HAS SOPS 24473 HAS SOUS 7184 HAS SOUPS 7157 WITH SCORE 7181.5
AT ITER 5172 NEW BEST:: SOT 57700 SOS 24228 HAS SOPS 24201 HAS SOUS 7138 HAS SOUPS 7111 WITH SCORE 7135.228
AT ITER 5244 NEW BEST:: SOT 57706 SOS 24227 HAS SOPS 24200 HAS SOUS 7136 HAS SOUPS 7109 WITH SCORE 7133.227
AT ITER 5256 NEW BEST:: SOT 57699 SOS 24225 HAS SOPS 24198 HAS SOUS 7133 HAS SOUPS 7106 WITH SCORE 7130.225
AT ITER 5292 NEW BEST:: SOT 57642 SOS 24172 HAS SOPS 24145 HAS SOUS 7125 HAS SOUPS 7098 WITH SCORE 7122.172
AT ITER 5331 NEW BEST:: SOT 57622 SOS 24142 HAS SOPS 24115 HAS SOUS 7062 HAS SOUPS 7035 WITH SCORE 7059.142
AT ITER 5345 NEW BEST:: SOT 57625 SOS 24138 HAS SOPS 24111 HAS SOUS 7061 HAS SOUPS 7034 WITH SCORE 7058.138
AT ITER 5353 NEW BEST:: SOT 57478 SOS 23991 HAS SOPS 23964 HAS SOUS 7001 HAS SOUPS 6974 WITH SCORE 6997.991
AT ITER 5383 NEW BEST:: SOT 57477 SOS 23990 HAS SOPS 23963 HAS SOUS 7001 HAS SOUPS 6974 WITH SCORE 6997.99
AT ITER 5421 NEW BEST:: SOT 57468 SOS 24032 HAS SOPS 24005 HAS SOUS 6988 HAS SOUPS 6961 WITH SCORE 6985.032
AT ITER 5467 NEW BEST:: SOT 57458 SOS 24015 HAS SOPS 23988 HAS SOUS 6972 HAS SOUPS 6945 WITH SCORE 6969.015
AT ITER 5479 NEW BEST:: SOT 57452 SOS 24015 HAS SOPS 23988 HAS SOUS 6971 HAS SOUPS 6944 WITH SCORE 6968.015
AT ITER 5483 NEW BEST:: SOT 57443 SOS 23966 HAS SOPS 23939 HAS SOUS 6954 HAS SOUPS 6927 WITH SCORE 6950.966
AT ITER 5502 NEW BEST:: SOT 57417 SOS 23915 HAS SOPS 23888 HAS SOUS 6950 HAS SOUPS 6923 WITH SCORE 6946.915
AT ITER 5515 NEW BEST:: SOT 57408 SOS 23889 HAS SOPS 23862 HAS SOUS 6938 HAS SOUPS 6911 WITH SCORE 6934.889
AT ITER 5520 NEW BEST:: SOT 57560 SOS 23969 HAS SOPS 23942 HAS SOUS 6924 HAS SOUPS 6897 WITH SCORE 6920.969
AT ITER 5540 NEW BEST:: SOT 57560 SOS 23941 HAS SOPS 23914 HAS SOUS 6914 HAS SOUPS 6887 WITH SCORE 6910.941
AT ITER 5561 NEW BEST:: SOT 57549 SOS 23899 HAS SOPS 23872 HAS SOUS 6892 HAS SOUPS 6865 WITH SCORE 6888.899
AT ITER 5623 NEW BEST:: SOT 57547 SOS 23896 HAS SOPS 23869 HAS SOUS 6888 HAS SOUPS 6861 WITH SCORE 6884.896
AT ITER 5628 NEW BEST:: SOT 57543 SOS 23892 HAS SOPS 23865 HAS SOUS 6887 HAS SOUPS 6860 WITH SCORE 6883.892
AT ITER 5636 NEW BEST:: SOT 57563 SOS 23886 HAS SOPS 23859 HAS SOUS 6879 HAS SOUPS 6852 WITH SCORE 6875.886
AT ITER 5655 NEW BEST:: SOT 57476 SOS 23794 HAS SOPS 23767 HAS SOUS 6833 HAS SOUPS 6806 WITH SCORE 6829.794
AT ITER 5674 NEW BEST:: SOT 57465 SOS 23787 HAS SOPS 23760 HAS SOUS 6825 HAS SOUPS 6798 WITH SCORE 6821.787
AT ITER 5678 NEW BEST:: SOT 57463 SOS 23783 HAS SOPS 23756 HAS SOUS 6819 HAS SOUPS 6792 WITH SCORE 6815.783
AT ITER 5719 NEW BEST:: SOT 57460 SOS 23780 HAS SOPS 23753 HAS SOUS 6816 HAS SOUPS 6789 WITH SCORE 6812.78
AT ITER 5789 NEW BEST:: SOT 57460 SOS 23779 HAS SOPS 23752 HAS SOUS 6803 HAS SOUPS 6776 WITH SCORE 6799.779
AT ITER 5816 NEW BEST:: SOT 57466 SOS 23866 HAS SOPS 23839 HAS SOUS 6799 HAS SOUPS 6772 WITH SCORE 6795.866
AT ITER 5822 NEW BEST:: SOT 57484 SOS 23876 HAS SOPS 23849 HAS SOUS 6796 HAS SOUPS 6769 WITH SCORE 6792.876
AT ITER 5851 NEW BEST:: SOT 57488 SOS 23883 HAS SOPS 23856 HAS SOUS 6793 HAS SOUPS 6766 WITH SCORE 6789.883
AT ITER 5876 NEW BEST:: SOT 57445 SOS 23560 HAS SOPS 23533 HAS SOUS 6750 HAS SOUPS 6723 WITH SCORE 6746.56
AT ITER 5896 NEW BEST:: SOT 57446 SOS 23564 HAS SOPS 23537 HAS SOUS 6749 HAS SOUPS 6722 WITH SCORE 6745.564
AT ITER 5915 NEW BEST:: SOT 57560 SOS 23687 HAS SOPS 23660 HAS SOUS 6740 HAS SOUPS 6713 WITH SCORE 6736.687
AT ITER 5957 NEW BEST:: SOT 57557 SOS 23678 HAS SOPS 23651 HAS SOUS 6735 HAS SOUPS 6708 WITH SCORE 6731.678
AT ITER 5985 NEW BEST:: SOT 57553 SOS 23670 HAS SOPS 23643 HAS SOUS 6731 HAS SOUPS 6704 WITH SCORE 6727.67
AT ITER 6033 NEW BEST:: SOT 57438 SOS 23594 HAS SOPS 23567 HAS SOUS 6727 HAS SOUPS 6700 WITH SCORE 6723.594
AT ITER 6173 NEW BEST:: SOT 57438 SOS 23580 HAS SOPS 23553 HAS SOUS 6726 HAS SOUPS 6699 WITH SCORE 6722.58
AT ITER 6191 NEW BEST:: SOT 57438 SOS 23545 HAS SOPS 23518 HAS SOUS 6726 HAS SOUPS 6699 WITH SCORE 6722.545
AT ITER 6217 NEW BEST:: SOT 57439 SOS 23640 HAS SOPS 23613 HAS SOUS 6717 HAS SOUPS 6690 WITH SCORE 6713.64
AT ITER 6234 NEW BEST:: SOT 57384 SOS 23604 HAS SOPS 23577 HAS SOUS 6702 HAS SOUPS 6675 WITH SCORE 6698.604
AT ITER 6238 NEW BEST:: SOT 57383 SOS 23602 HAS SOPS 23575 HAS SOUS 6692 HAS SOUPS 6665 WITH SCORE 6688.602
AT ITER 6247 NEW BEST:: SOT 57369 SOS 23619 HAS SOPS 23592 HAS SOUS 6670 HAS SOUPS 6643 WITH SCORE 6666.619
AT ITER 6252 NEW BEST:: SOT 57368 SOS 23617 HAS SOPS 23590 HAS SOUS 6670 HAS SOUPS 6643 WITH SCORE 6666.617
AT ITER 6393 NEW BEST:: SOT 57366 SOS 23613 HAS SOPS 23586 HAS SOUS 6664 HAS SOUPS 6637 WITH SCORE 6660.613
AT ITER 6419 NEW BEST:: SOT 57360 SOS 23611 HAS SOPS 23584 HAS SOUS 6664 HAS SOUPS 6637 WITH SCORE 6660.611
AT ITER 6435 NEW BEST:: SOT 57363 SOS 23606 HAS SOPS 23579 HAS SOUS 6664 HAS SOUPS 6637 WITH SCORE 6660.606
AT ITER 6440 NEW BEST:: SOT 57362 SOS 23602 HAS SOPS 23575 HAS SOUS 6661 HAS SOUPS 6634 WITH SCORE 6657.602
AT ITER 6460 NEW BEST:: SOT 57356 SOS 23606 HAS SOPS 23579 HAS SOUS 6658 HAS SOUPS 6631 WITH SCORE 6654.606
AT ITER 6476 NEW BEST:: SOT 57342 SOS 23570 HAS SOPS 23543 HAS SOUS 6619 HAS SOUPS 6592 WITH SCORE 6615.57
AT ITER 6509 NEW BEST:: SOT 57327 SOS 23636 HAS SOPS 23609 HAS SOUS 6607 HAS SOUPS 6580 WITH SCORE 6603.636
AT ITER 6530 NEW BEST:: SOT 57289 SOS 23582 HAS SOPS 23555 HAS SOUS 6561 HAS SOUPS 6534 WITH SCORE 6557.582
AT ITER 6537 NEW BEST:: SOT 57285 SOS 23582 HAS SOPS 23555 HAS SOUS 6557 HAS SOUPS 6530 WITH SCORE 6553.582
AT ITER 6546 NEW BEST:: SOT 57298 SOS 23585 HAS SOPS 23558 HAS SOUS 6547 HAS SOUPS 6520 WITH SCORE 6543.585
AT ITER 6704 NEW BEST:: SOT 57223 SOS 23555 HAS SOPS 23528 HAS SOUS 6508 HAS SOUPS 6481 WITH SCORE 6504.555
AT ITER 6709 NEW BEST:: SOT 57217 SOS 23543 HAS SOPS 23516 HAS SOUS 6508 HAS SOUPS 6481 WITH SCORE 6504.543
AT ITER 6726 NEW BEST:: SOT 57228 SOS 23583 HAS SOPS 23556 HAS SOUS 6507 HAS SOUPS 6480 WITH SCORE 6503.583
AT ITER 6744 NEW BEST:: SOT 57226 SOS 23581 HAS SOPS 23554 HAS SOUS 6492 HAS SOUPS 6465 WITH SCORE 6488.581
AT ITER 6896 NEW BEST:: SOT 57225 SOS 23579 HAS SOPS 23552 HAS SOUS 6490 HAS SOUPS 6463 WITH SCORE 6486.579
AT ITER 6925 NEW BEST:: SOT 57221 SOS 23575 HAS SOPS 23548 HAS SOUS 6486 HAS SOUPS 6459 WITH SCORE 6482.575
AT ITER 6930 NEW BEST:: SOT 57219 SOS 23571 HAS SOPS 23544 HAS SOUS 6479 HAS SOUPS 6452 WITH SCORE 6475.571
AT ITER 6946 NEW BEST:: SOT 57215 SOS 23567 HAS SOPS 23540 HAS SOUS 6475 HAS SOUPS 6448 WITH SCORE 6471.567
AT ITER 7015 NEW BEST:: SOT 57199 SOS 23543 HAS SOPS 23516 HAS SOUS 6459 HAS SOUPS 6432 WITH SCORE 6455.543
AT ITER 7025 NEW BEST:: SOT 57169 SOS 23513 HAS SOPS 23486 HAS SOUS 6453 HAS SOUPS 6426 WITH SCORE 6449.513
AT ITER 7033 NEW BEST:: SOT 57148 SOS 23496 HAS SOPS 23469 HAS SOUS 6446 HAS SOUPS 6419 WITH SCORE 6442.496
AT ITER 7078 NEW BEST:: SOT 57147 SOS 23481 HAS SOPS 23454 HAS SOUS 6441 HAS SOUPS 6414 WITH SCORE 6437.481
AT ITER 7080 NEW BEST:: SOT 57227 SOS 23553 HAS SOPS 23526 HAS SOUS 6430 HAS SOUPS 6403 WITH SCORE 6426.553
AT ITER 7090 NEW BEST:: SOT 57235 SOS 23549 HAS SOPS 23522 HAS SOUS 6427 HAS SOUPS 6400 WITH SCORE 6423.549
AT ITER 7097 NEW BEST:: SOT 57212 SOS 23449 HAS SOPS 23422 HAS SOUS 6420 HAS SOUPS 6393 WITH SCORE 6416.449
AT ITER 7158 NEW BEST:: SOT 57203 SOS 23431 HAS SOPS 23404 HAS SOUS 6402 HAS SOUPS 6375 WITH SCORE 6398.431
AT ITER 7211 NEW BEST:: SOT 57221 SOS 23446 HAS SOPS 23419 HAS SOUS 6375 HAS SOUPS 6348 WITH SCORE 6371.446
AT ITER 7230 NEW BEST:: SOT 57219 SOS 23442 HAS SOPS 23415 HAS SOUS 6373 HAS SOUPS 6346 WITH SCORE 6369.442
AT ITER 7328 NEW BEST:: SOT 57224 SOS 23461 HAS SOPS 23434 HAS SOUS 6371 HAS SOUPS 6344 WITH SCORE 6367.461
AT ITER 7360 NEW BEST:: SOT 57219 SOS 23446 HAS SOPS 23419 HAS SOUS 6371 HAS SOUPS 6344 WITH SCORE 6367.446
AT ITER 7378 NEW BEST:: SOT 57219 SOS 23474 HAS SOPS 23447 HAS SOUS 6363 HAS SOUPS 6336 WITH SCORE 6359.474
AT ITER 7445 NEW BEST:: SOT 57235 SOS 23448 HAS SOPS 23421 HAS SOUS 6345 HAS SOUPS 6318 WITH SCORE 6341.448
AT ITER 7472 NEW BEST:: SOT 57223 SOS 23436 HAS SOPS 23409 HAS SOUS 6319 HAS SOUPS 6292 WITH SCORE 6315.436
AT ITER 7474 NEW BEST:: SOT 57212 SOS 23425 HAS SOPS 23398 HAS SOUS 6313 HAS SOUPS 6286 WITH SCORE 6309.425
AT ITER 7515 NEW BEST:: SOT 57206 SOS 23437 HAS SOPS 23410 HAS SOUS 6295 HAS SOUPS 6268 WITH SCORE 6291.437
AT ITER 7528 NEW BEST:: SOT 57211 SOS 23442 HAS SOPS 23415 HAS SOUS 6290 HAS SOUPS 6263 WITH SCORE 6286.442
AT ITER 7540 NEW BEST:: SOT 57212 SOS 23442 HAS SOPS 23415 HAS SOUS 6289 HAS SOUPS 6262 WITH SCORE 6285.442
AT ITER 7547 NEW BEST:: SOT 57210 SOS 23444 HAS SOPS 23417 HAS SOUS 6287 HAS SOUPS 6260 WITH SCORE 6283.444
AT ITER 7575 NEW BEST:: SOT 57210 SOS 23444 HAS SOPS 23417 HAS SOUS 6261 HAS SOUPS 6234 WITH SCORE 6257.444
AT ITER 7596 NEW BEST:: SOT 57250 SOS 23484 HAS SOPS 23457 HAS SOUS 6253 HAS SOUPS 6226 WITH SCORE 6249.484
AT ITER 7614 NEW BEST:: SOT 57246 SOS 23460 HAS SOPS 23433 HAS SOUS 6228 HAS SOUPS 6201 WITH SCORE 6224.46
AT ITER 7648 NEW BEST:: SOT 57243 SOS 23444 HAS SOPS 23417 HAS SOUS 6207 HAS SOUPS 6180 WITH SCORE 6203.444
AT ITER 7671 NEW BEST:: SOT 57246 SOS 23445 HAS SOPS 23418 HAS SOUS 6206 HAS SOUPS 6179 WITH SCORE 6202.445
AT ITER 7673 NEW BEST:: SOT 57238 SOS 23405 HAS SOPS 23378 HAS SOUS 6190 HAS SOUPS 6163 WITH SCORE 6186.405
AT ITER 7675 NEW BEST:: SOT 57236 SOS 23410 HAS SOPS 23383 HAS SOUS 6179 HAS SOUPS 6152 WITH SCORE 6175.41
AT ITER 7677 NEW BEST:: SOT 57237 SOS 23378 HAS SOPS 23351 HAS SOUS 6179 HAS SOUPS 6152 WITH SCORE 6175.378
AT ITER 7686 NEW BEST:: SOT 57247 SOS 23394 HAS SOPS 23367 HAS SOUS 6177 HAS SOUPS 6150 WITH SCORE 6173.394
AT ITER 7733 NEW BEST:: SOT 57231 SOS 23376 HAS SOPS 23349 HAS SOUS 6167 HAS SOUPS 6140 WITH SCORE 6163.376
AT ITER 7734 NEW BEST:: SOT 57268 SOS 23413 HAS SOPS 23386 HAS SOUS 6108 HAS SOUPS 6081 WITH SCORE 6104.413
AT ITER 7746 NEW BEST:: SOT 57260 SOS 23399 HAS SOPS 23372 HAS SOUS 6104 HAS SOUPS 6077 WITH SCORE 6100.399
AT ITER 7822 NEW BEST:: SOT 57254 SOS 23390 HAS SOPS 23363 HAS SOUS 6092 HAS SOUPS 6065 WITH SCORE 6088.39
AT ITER 7836 NEW BEST:: SOT 57242 SOS 23392 HAS SOPS 23365 HAS SOUS 6086 HAS SOUPS 6059 WITH SCORE 6082.392
AT ITER 7842 NEW BEST:: SOT 57236 SOS 23376 HAS SOPS 23349 HAS SOUS 6060 HAS SOUPS 6033 WITH SCORE 6056.376
AT ITER 7896 NEW BEST:: SOT 57217 SOS 23350 HAS SOPS 23323 HAS SOUS 6046 HAS SOUPS 6019 WITH SCORE 6042.35
AT ITER 7901 NEW BEST:: SOT 57181 SOS 23314 HAS SOPS 23287 HAS SOUS 6010 HAS SOUPS 5983 WITH SCORE 6006.314
AT ITER 7932 NEW BEST:: SOT 57167 SOS 23314 HAS SOPS 23287 HAS SOUS 5985 HAS SOUPS 5958 WITH SCORE 5981.314
AT ITER 7952 NEW BEST:: SOT 57107 SOS 23266 HAS SOPS 23239 HAS SOUS 5983 HAS SOUPS 5956 WITH SCORE 5979.266
AT ITER 7974 NEW BEST:: SOT 57090 SOS 23225 HAS SOPS 23198 HAS SOUS 5976 HAS SOUPS 5949 WITH SCORE 5972.225
AT ITER 7991 NEW BEST:: SOT 57098 SOS 23227 HAS SOPS 23200 HAS SOUS 5970 HAS SOUPS 5943 WITH SCORE 5966.227
AT ITER 7998 NEW BEST:: SOT 57081 SOS 23209 HAS SOPS 23182 HAS SOUS 5966 HAS SOUPS 5939 WITH SCORE 5962.209
AT ITER 8021 NEW BEST:: SOT 57080 SOS 23208 HAS SOPS 23181 HAS SOUS 5966 HAS SOUPS 5939 WITH SCORE 5962.208
AT ITER 8038 NEW BEST:: SOT 57079 SOS 23207 HAS SOPS 23180 HAS SOUS 5965 HAS SOUPS 5938 WITH SCORE 5961.207
AT ITER 8107 NEW BEST:: SOT 57068 SOS 23205 HAS SOPS 23178 HAS SOUS 5963 HAS SOUPS 5936 WITH SCORE 5959.205
AT ITER 8144 NEW BEST:: SOT 57062 SOS 23178 HAS SOPS 23151 HAS SOUS 5963 HAS SOUPS 5936 WITH SCORE 5959.178
AT ITER 8208 NEW BEST:: SOT 57070 SOS 23177 HAS SOPS 23150 HAS SOUS 5958 HAS SOUPS 5931 WITH SCORE 5954.177
AT ITER 8260 NEW BEST:: SOT 57046 SOS 23024 HAS SOPS 22997 HAS SOUS 5897 HAS SOUPS 5870 WITH SCORE 5893.024
AT ITER 8266 NEW BEST:: SOT 57016 SOS 22992 HAS SOPS 22965 HAS SOUS 5888 HAS SOUPS 5861 WITH SCORE 5883.992
AT ITER 8355 NEW BEST:: SOT 57013 SOS 22989 HAS SOPS 22962 HAS SOUS 5885 HAS SOUPS 5858 WITH SCORE 5880.989
AT ITER 8362 NEW BEST:: SOT 57007 SOS 22969 HAS SOPS 22942 HAS SOUS 5866 HAS SOUPS 5839 WITH SCORE 5861.969
AT ITER 8461 NEW BEST:: SOT 57001 SOS 22977 HAS SOPS 22950 HAS SOUS 5860 HAS SOUPS 5833 WITH SCORE 5855.977
AT ITER 8485 NEW BEST:: SOT 56966 SOS 22916 HAS SOPS 22889 HAS SOUS 5851 HAS SOUPS 5824 WITH SCORE 5846.916
AT ITER 8487 NEW BEST:: SOT 56961 SOS 22913 HAS SOPS 22886 HAS SOUS 5848 HAS SOUPS 5821 WITH SCORE 5843.913
AT ITER 8607 NEW BEST:: SOT 56958 SOS 22910 HAS SOPS 22883 HAS SOUS 5848 HAS SOUPS 5821 WITH SCORE 5843.91
AT ITER 8636 NEW BEST:: SOT 56952 SOS 22904 HAS SOPS 22877 HAS SOUS 5842 HAS SOUPS 5815 WITH SCORE 5837.904
AT ITER 8675 NEW BEST:: SOT 56948 SOS 22900 HAS SOPS 22873 HAS SOUS 5832 HAS SOUPS 5805 WITH SCORE 5827.9
AT ITER 8768 NEW BEST:: SOT 56956 SOS 22902 HAS SOPS 22875 HAS SOUS 5824 HAS SOUPS 5797 WITH SCORE 5819.902
AT ITER 8788 NEW BEST:: SOT 56864 SOS 22790 HAS SOPS 22763 HAS SOUS 5792 HAS SOUPS 5765 WITH SCORE 5787.79
AT ITER 8850 NEW BEST:: SOT 56867 SOS 22798 HAS SOPS 22771 HAS SOUS 5789 HAS SOUPS 5762 WITH SCORE 5784.798
AT ITER 8903 NEW BEST:: SOT 56866 SOS 22799 HAS SOPS 22772 HAS SOUS 5788 HAS SOUPS 5761 WITH SCORE 5783.799
AT ITER 8916 NEW BEST:: SOT 56862 SOS 22787 HAS SOPS 22760 HAS SOUS 5780 HAS SOUPS 5753 WITH SCORE 5775.787
AT ITER 8930 NEW BEST:: SOT 56883 SOS 22802 HAS SOPS 22775 HAS SOUS 5777 HAS SOUPS 5750 WITH SCORE 5772.802
AT ITER 8982 NEW BEST:: SOT 56884 SOS 22800 HAS SOPS 22773 HAS SOUS 5776 HAS SOUPS 5749 WITH SCORE 5771.8
AT ITER 9005 NEW BEST:: SOT 56908 SOS 22820 HAS SOPS 22793 HAS SOUS 5767 HAS SOUPS 5740 WITH SCORE 5762.82
AT ITER 9014 NEW BEST:: SOT 56900 SOS 22812 HAS SOPS 22785 HAS SOUS 5767 HAS SOUPS 5740 WITH SCORE 5762.812
AT ITER 9028 NEW BEST:: SOT 56900 SOS 22810 HAS SOPS 22783 HAS SOUS 5765 HAS SOUPS 5738 WITH SCORE 5760.81
AT ITER 9102 NEW BEST:: SOT 56899 SOS 22803 HAS SOPS 22776 HAS SOUS 5763 HAS SOUPS 5736 WITH SCORE 5758.803
AT ITER 9114 NEW BEST:: SOT 56875 SOS 22768 HAS SOPS 22741 HAS SOUS 5717 HAS SOUPS 5690 WITH SCORE 5712.768
AT ITER 9119 NEW BEST:: SOT 56863 SOS 22717 HAS SOPS 22690 HAS SOUS 5704 HAS SOUPS 5677 WITH SCORE 5699.717
AT ITER 9204 NEW BEST:: SOT 56843 SOS 22697 HAS SOPS 22670 HAS SOUS 5696 HAS SOUPS 5669 WITH SCORE 5691.697
AT ITER 9221 NEW BEST:: SOT 56843 SOS 22692 HAS SOPS 22665 HAS SOUS 5691 HAS SOUPS 5664 WITH SCORE 5686.692
AT ITER 9241 NEW BEST:: SOT 56850 SOS 22672 HAS SOPS 22645 HAS SOUS 5685 HAS SOUPS 5658 WITH SCORE 5680.672
AT ITER 9275 NEW BEST:: SOT 56847 SOS 22663 HAS SOPS 22636 HAS SOUS 5679 HAS SOUPS 5652 WITH SCORE 5674.663
AT ITER 9311 NEW BEST:: SOT 56867 SOS 22683 HAS SOPS 22656 HAS SOUS 5675 HAS SOUPS 5648 WITH SCORE 5670.683
AT ITER 9316 NEW BEST:: SOT 56859 SOS 22675 HAS SOPS 22648 HAS SOUS 5667 HAS SOUPS 5640 WITH SCORE 5662.675
AT ITER 9337 NEW BEST:: SOT 56853 SOS 22669 HAS SOPS 22642 HAS SOUS 5655 HAS SOUPS 5628 WITH SCORE 5650.669
AT ITER 9411 NEW BEST:: SOT 56848 SOS 22549 HAS SOPS 22522 HAS SOUS 5640 HAS SOUPS 5613 WITH SCORE 5635.549
AT ITER 9488 NEW BEST:: SOT 56847 SOS 22547 HAS SOPS 22520 HAS SOUS 5638 HAS SOUPS 5611 WITH SCORE 5633.547
AT ITER 9560 NEW BEST:: SOT 56883 SOS 22541 HAS SOPS 22514 HAS SOUS 5592 HAS SOUPS 5565 WITH SCORE 5587.541
AT ITER 9576 NEW BEST:: SOT 56872 SOS 22529 HAS SOPS 22502 HAS SOUS 5585 HAS SOUPS 5558 WITH SCORE 5580.529
AT ITER 9588 NEW BEST:: SOT 56865 SOS 22515 HAS SOPS 22488 HAS SOUS 5582 HAS SOUPS 5555 WITH SCORE 5577.515
AT ITER 9627 NEW BEST:: SOT 56865 SOS 22512 HAS SOPS 22485 HAS SOUS 5581 HAS SOUPS 5554 WITH SCORE 5576.512
AT ITER 9637 NEW BEST:: SOT 56862 SOS 22509 HAS SOPS 22482 HAS SOUS 5576 HAS SOUPS 5549 WITH SCORE 5571.509
AT ITER 9667 NEW BEST:: SOT 56862 SOS 22493 HAS SOPS 22466 HAS SOUS 5564 HAS SOUPS 5537 WITH SCORE 5559.493
AT ITER 9694 NEW BEST:: SOT 56798 SOS 22417 HAS SOPS 22390 HAS SOUS 5516 HAS SOUPS 5489 WITH SCORE 5511.417
AT ITER 9702 NEW BEST:: SOT 56853 SOS 22472 HAS SOPS 22445 HAS SOUS 5505 HAS SOUPS 5478 WITH SCORE 5500.472
AT ITER 9797 NEW BEST:: SOT 56852 SOS 22470 HAS SOPS 22443 HAS SOUS 5502 HAS SOUPS 5475 WITH SCORE 5497.47
AT ITER 9849 NEW BEST:: SOT 56853 SOS 22471 HAS SOPS 22444 HAS SOUS 5489 HAS SOUPS 5462 WITH SCORE 5484.471
AT ITER 9863 NEW BEST:: SOT 56853 SOS 22457 HAS SOPS 22430 HAS SOUS 5489 HAS SOUPS 5462 WITH SCORE 5484.457
AT ITER 9921 NEW BEST:: SOT 56841 SOS 22445 HAS SOPS 22418 HAS SOUS 5489 HAS SOUPS 5462 WITH SCORE 5484.445
AT ITER 9929 NEW BEST:: SOT 56851 SOS 22449 HAS SOPS 22422 HAS SOUS 5486 HAS SOUPS 5459 WITH SCORE 5481.449
AT ITER 9959 NEW BEST:: SOT 56843 SOS 22436 HAS SOPS 22409 HAS SOUS 5473 HAS SOUPS 5446 WITH SCORE 5468.436
STATE_SPACE STATES 52595997309385113601 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 27 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 2189198146521545164801 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589637848122

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

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="MultiwaySync-PT-none"
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 MultiwaySync-PT-none, 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 r108-csrt-158961250000112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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