About the Execution of smart for Sudoku-PT-AN07
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15764.270 | 3600000.00 | 3586090.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2020-input.r224-oct2-159033538700363.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Sudoku-PT-AN07, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538700363
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 3.4K Jun 3 09:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Jun 3 09:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Jun 3 09:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Jun 3 09:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 93K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 329K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 142K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 504K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.8K Jun 3 09:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Jun 3 09:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Jun 3 09:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Jun 3 09:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 3 09:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 186K May 12 20:42 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 Sudoku-PT-AN07-CTLCardinality-00
FORMULA_NAME Sudoku-PT-AN07-CTLCardinality-01
FORMULA_NAME Sudoku-PT-AN07-CTLCardinality-02
FORMULA_NAME Sudoku-PT-AN07-CTLCardinality-03
FORMULA_NAME Sudoku-PT-AN07-CTLCardinality-04
FORMULA_NAME Sudoku-PT-AN07-CTLCardinality-05
FORMULA_NAME Sudoku-PT-AN07-CTLCardinality-06
FORMULA_NAME Sudoku-PT-AN07-CTLCardinality-07
FORMULA_NAME Sudoku-PT-AN07-CTLCardinality-08
FORMULA_NAME Sudoku-PT-AN07-CTLCardinality-09
FORMULA_NAME Sudoku-PT-AN07-CTLCardinality-10
FORMULA_NAME Sudoku-PT-AN07-CTLCardinality-11
FORMULA_NAME Sudoku-PT-AN07-CTLCardinality-12
FORMULA_NAME Sudoku-PT-AN07-CTLCardinality-13
FORMULA_NAME Sudoku-PT-AN07-CTLCardinality-14
FORMULA_NAME Sudoku-PT-AN07-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1591336618101
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN07
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: 490 places, 343 transitions, 1372 arcs.
AT ITER 0 NEW BEST:: SOT 124888 SOS 64147 HAS SOPS 64147 HAS SOUS 64147 HAS SOUPS 64147 WITH SCORE 64211.147
AT ITER 1 NEW BEST:: SOT 124909 SOS 64142 HAS SOPS 64142 HAS SOUS 64112 HAS SOUPS 64112 WITH SCORE 64176.142
AT ITER 7 NEW BEST:: SOT 124834 SOS 64295 HAS SOPS 64295 HAS SOUS 64109 HAS SOUPS 64109 WITH SCORE 64173.295
AT ITER 9 NEW BEST:: SOT 124640 SOS 64101 HAS SOPS 64101 HAS SOUS 63915 HAS SOUPS 63915 WITH SCORE 63979.101
AT ITER 32 NEW BEST:: SOT 124496 SOS 63957 HAS SOPS 63957 HAS SOUS 63771 HAS SOUPS 63771 WITH SCORE 63834.957
AT ITER 46 NEW BEST:: SOT 124358 SOS 64650 HAS SOPS 64650 HAS SOUS 63675 HAS SOUPS 63675 WITH SCORE 63739.65
AT ITER 67 NEW BEST:: SOT 124152 SOS 64777 HAS SOPS 64777 HAS SOUS 63511 HAS SOUPS 63511 WITH SCORE 63575.777
AT ITER 70 NEW BEST:: SOT 124116 SOS 64727 HAS SOPS 64727 HAS SOUS 63461 HAS SOUPS 63461 WITH SCORE 63525.727
AT ITER 75 NEW BEST:: SOT 124115 SOS 64738 HAS SOPS 64738 HAS SOUS 63460 HAS SOUPS 63460 WITH SCORE 63524.738
AT ITER 79 NEW BEST:: SOT 123940 SOS 64563 HAS SOPS 64563 HAS SOUS 63285 HAS SOUPS 63285 WITH SCORE 63349.563
AT ITER 89 NEW BEST:: SOT 123706 SOS 64402 HAS SOPS 64402 HAS SOUS 63070 HAS SOUPS 63070 WITH SCORE 63134.402
AT ITER 105 NEW BEST:: SOT 123489 SOS 64535 HAS SOPS 64535 HAS SOUS 62900 HAS SOUPS 62900 WITH SCORE 62964.535
AT ITER 108 NEW BEST:: SOT 123369 SOS 64415 HAS SOPS 64415 HAS SOUS 62804 HAS SOUPS 62804 WITH SCORE 62868.415
AT ITER 125 NEW BEST:: SOT 123400 SOS 64380 HAS SOPS 64380 HAS SOUS 62763 HAS SOUPS 62763 WITH SCORE 62827.38
AT ITER 134 NEW BEST:: SOT 123365 SOS 64345 HAS SOPS 64345 HAS SOUS 62728 HAS SOUPS 62728 WITH SCORE 62792.345
AT ITER 144 NEW BEST:: SOT 123365 SOS 64245 HAS SOPS 64245 HAS SOUS 62728 HAS SOUPS 62728 WITH SCORE 62792.245
AT ITER 163 NEW BEST:: SOT 123365 SOS 64174 HAS SOPS 64174 HAS SOUS 62728 HAS SOUPS 62728 WITH SCORE 62792.174
AT ITER 165 NEW BEST:: SOT 123319 SOS 64174 HAS SOPS 64174 HAS SOUS 62704 HAS SOUPS 62704 WITH SCORE 62768.174
AT ITER 174 NEW BEST:: SOT 123302 SOS 64202 HAS SOPS 64202 HAS SOUS 62687 HAS SOUPS 62687 WITH SCORE 62751.202
AT ITER 178 NEW BEST:: SOT 123200 SOS 64168 HAS SOPS 64168 HAS SOUS 62605 HAS SOUPS 62605 WITH SCORE 62669.168
AT ITER 186 NEW BEST:: SOT 123228 SOS 64171 HAS SOPS 64171 HAS SOUS 62602 HAS SOUPS 62602 WITH SCORE 62666.171
AT ITER 189 NEW BEST:: SOT 123152 SOS 64107 HAS SOPS 64107 HAS SOUS 62529 HAS SOUPS 62529 WITH SCORE 62593.107
AT ITER 193 NEW BEST:: SOT 123195 SOS 64083 HAS SOPS 64083 HAS SOUS 62505 HAS SOUPS 62505 WITH SCORE 62569.083
AT ITER 197 NEW BEST:: SOT 123052 SOS 64721 HAS SOPS 64721 HAS SOUS 62450 HAS SOUPS 62450 WITH SCORE 62514.721
AT ITER 200 NEW BEST:: SOT 122924 SOS 64636 HAS SOPS 64636 HAS SOUS 62365 HAS SOUPS 62365 WITH SCORE 62429.636
AT ITER 205 NEW BEST:: SOT 122782 SOS 65258 HAS SOPS 65258 HAS SOUS 62264 HAS SOUPS 62264 WITH SCORE 62329.258
AT ITER 208 NEW BEST:: SOT 122473 SOS 65475 HAS SOPS 65475 HAS SOUS 62010 HAS SOUPS 62010 WITH SCORE 62075.475
AT ITER 209 NEW BEST:: SOT 122196 SOS 65294 HAS SOPS 65294 HAS SOUS 61829 HAS SOUPS 61829 WITH SCORE 61894.294
AT ITER 211 NEW BEST:: SOT 122185 SOS 65293 HAS SOPS 65293 HAS SOUS 61828 HAS SOUPS 61828 WITH SCORE 61893.293
AT ITER 216 NEW BEST:: SOT 122231 SOS 65297 HAS SOPS 65297 HAS SOUS 61802 HAS SOUPS 61802 WITH SCORE 61867.297
AT ITER 221 NEW BEST:: SOT 122195 SOS 65303 HAS SOPS 65303 HAS SOUS 61775 HAS SOUPS 61775 WITH SCORE 61840.303
AT ITER 223 NEW BEST:: SOT 122148 SOS 65288 HAS SOPS 65288 HAS SOUS 61760 HAS SOUPS 61760 WITH SCORE 61825.288
AT ITER 227 NEW BEST:: SOT 122148 SOS 65214 HAS SOPS 65214 HAS SOUS 61760 HAS SOUPS 61760 WITH SCORE 61825.214
AT ITER 234 NEW BEST:: SOT 122148 SOS 64644 HAS SOPS 64644 HAS SOUS 61760 HAS SOUPS 61760 WITH SCORE 61824.644
AT ITER 241 NEW BEST:: SOT 122181 SOS 64680 HAS SOPS 64680 HAS SOUS 61748 HAS SOUPS 61748 WITH SCORE 61812.68
AT ITER 242 NEW BEST:: SOT 122133 SOS 64632 HAS SOPS 64632 HAS SOUS 61700 HAS SOUPS 61700 WITH SCORE 61764.632
AT ITER 251 NEW BEST:: SOT 122133 SOS 64644 HAS SOPS 64644 HAS SOUS 61694 HAS SOUPS 61694 WITH SCORE 61758.644
AT ITER 270 NEW BEST:: SOT 122101 SOS 64643 HAS SOPS 64643 HAS SOUS 61693 HAS SOUPS 61693 WITH SCORE 61757.643
AT ITER 295 NEW BEST:: SOT 121885 SOS 64992 HAS SOPS 64992 HAS SOUS 61544 HAS SOUPS 61544 WITH SCORE 61608.992
AT ITER 299 NEW BEST:: SOT 121544 SOS 65394 HAS SOPS 65394 HAS SOUS 61291 HAS SOUPS 61291 WITH SCORE 61356.394
AT ITER 300 NEW BEST:: SOT 121544 SOS 65313 HAS SOPS 65313 HAS SOUS 61291 HAS SOUPS 61291 WITH SCORE 61356.313
AT ITER 301 NEW BEST:: SOT 121609 SOS 65330 HAS SOPS 65330 HAS SOUS 61284 HAS SOUPS 61284 WITH SCORE 61349.33
AT ITER 304 NEW BEST:: SOT 121525 SOS 65292 HAS SOPS 65292 HAS SOUS 61200 HAS SOUPS 61200 WITH SCORE 61265.292
AT ITER 311 NEW BEST:: SOT 121420 SOS 65133 HAS SOPS 65133 HAS SOUS 61079 HAS SOUPS 61079 WITH SCORE 61144.133
AT ITER 315 NEW BEST:: SOT 121254 SOS 65176 HAS SOPS 65176 HAS SOUS 61023 HAS SOUPS 61023 WITH SCORE 61088.176
AT ITER 324 NEW BEST:: SOT 121254 SOS 65213 HAS SOPS 65213 HAS SOUS 60982 HAS SOUPS 60982 WITH SCORE 61047.213
AT ITER 327 NEW BEST:: SOT 121068 SOS 65492 HAS SOPS 65492 HAS SOUS 60895 HAS SOUPS 60895 WITH SCORE 60960.492
AT ITER 334 NEW BEST:: SOT 120922 SOS 65317 HAS SOPS 65317 HAS SOUS 60761 HAS SOUPS 60761 WITH SCORE 60826.317
AT ITER 336 NEW BEST:: SOT 120949 SOS 65325 HAS SOPS 65325 HAS SOUS 60739 HAS SOUPS 60739 WITH SCORE 60804.325
AT ITER 343 NEW BEST:: SOT 120937 SOS 65323 HAS SOPS 65323 HAS SOUS 60737 HAS SOUPS 60737 WITH SCORE 60802.323
AT ITER 344 NEW BEST:: SOT 120956 SOS 65340 HAS SOPS 65340 HAS SOUS 60723 HAS SOUPS 60723 WITH SCORE 60788.34
AT ITER 350 NEW BEST:: SOT 120956 SOS 65246 HAS SOPS 65246 HAS SOUS 60714 HAS SOUPS 60714 WITH SCORE 60779.246
AT ITER 367 NEW BEST:: SOT 120809 SOS 65261 HAS SOPS 65261 HAS SOUS 60630 HAS SOUPS 60630 WITH SCORE 60695.261
AT ITER 375 NEW BEST:: SOT 120701 SOS 65351 HAS SOPS 65351 HAS SOUS 60608 HAS SOUPS 60608 WITH SCORE 60673.351
AT ITER 377 NEW BEST:: SOT 120635 SOS 65380 HAS SOPS 65380 HAS SOUS 60601 HAS SOUPS 60601 WITH SCORE 60666.38
AT ITER 379 NEW BEST:: SOT 120380 SOS 66167 HAS SOPS 66167 HAS SOUS 60407 HAS SOUPS 60407 WITH SCORE 60473.167
AT ITER 381 NEW BEST:: SOT 120187 SOS 65974 HAS SOPS 65974 HAS SOUS 60243 HAS SOUPS 60243 WITH SCORE 60308.974
AT ITER 393 NEW BEST:: SOT 120169 SOS 65974 HAS SOPS 65974 HAS SOUS 60225 HAS SOUPS 60225 WITH SCORE 60290.974
AT ITER 398 NEW BEST:: SOT 120169 SOS 65968 HAS SOPS 65968 HAS SOUS 60225 HAS SOUPS 60225 WITH SCORE 60290.968
AT ITER 399 NEW BEST:: SOT 120160 SOS 65959 HAS SOPS 65959 HAS SOUS 60216 HAS SOUPS 60216 WITH SCORE 60281.959
AT ITER 404 NEW BEST:: SOT 120160 SOS 65942 HAS SOPS 65942 HAS SOUS 60216 HAS SOUPS 60216 WITH SCORE 60281.942
AT ITER 424 NEW BEST:: SOT 120160 SOS 65901 HAS SOPS 65901 HAS SOUS 60216 HAS SOUPS 60216 WITH SCORE 60281.901
AT ITER 427 NEW BEST:: SOT 119896 SOS 65871 HAS SOPS 65871 HAS SOUS 60124 HAS SOUPS 60124 WITH SCORE 60189.871
AT ITER 432 NEW BEST:: SOT 119826 SOS 65862 HAS SOPS 65862 HAS SOUS 60077 HAS SOUPS 60077 WITH SCORE 60142.862
AT ITER 433 NEW BEST:: SOT 119819 SOS 65800 HAS SOPS 65800 HAS SOUS 60019 HAS SOUPS 60019 WITH SCORE 60084.8
AT ITER 436 NEW BEST:: SOT 119800 SOS 65778 HAS SOPS 65778 HAS SOUS 60000 HAS SOUPS 60000 WITH SCORE 60065.778
AT ITER 438 NEW BEST:: SOT 119800 SOS 65593 HAS SOPS 65593 HAS SOUS 60000 HAS SOUPS 60000 WITH SCORE 60065.593
AT ITER 439 NEW BEST:: SOT 119800 SOS 65584 HAS SOPS 65584 HAS SOUS 60000 HAS SOUPS 60000 WITH SCORE 60065.584
AT ITER 446 NEW BEST:: SOT 119806 SOS 65455 HAS SOPS 65455 HAS SOUS 59987 HAS SOUPS 59987 WITH SCORE 60052.455
AT ITER 447 NEW BEST:: SOT 119582 SOS 65634 HAS SOPS 65634 HAS SOUS 59936 HAS SOUPS 59936 WITH SCORE 60001.634
AT ITER 458 NEW BEST:: SOT 119507 SOS 65748 HAS SOPS 65748 HAS SOUS 59905 HAS SOUPS 59905 WITH SCORE 59970.748
AT ITER 460 NEW BEST:: SOT 119483 SOS 65826 HAS SOPS 65826 HAS SOUS 59881 HAS SOUPS 59881 WITH SCORE 59946.826
AT ITER 464 NEW BEST:: SOT 119476 SOS 65813 HAS SOPS 65813 HAS SOUS 59804 HAS SOUPS 59804 WITH SCORE 59869.813
AT ITER 466 NEW BEST:: SOT 119452 SOS 66008 HAS SOPS 66008 HAS SOUS 59802 HAS SOUPS 59802 WITH SCORE 59868.008
AT ITER 477 NEW BEST:: SOT 119460 SOS 65968 HAS SOPS 65968 HAS SOUS 59773 HAS SOUPS 59773 WITH SCORE 59838.968
AT ITER 484 NEW BEST:: SOT 119460 SOS 65895 HAS SOPS 65895 HAS SOUS 59773 HAS SOUPS 59773 WITH SCORE 59838.895
AT ITER 490 NEW BEST:: SOT 119466 SOS 65890 HAS SOPS 65890 HAS SOUS 59768 HAS SOUPS 59768 WITH SCORE 59833.89
AT ITER 502 NEW BEST:: SOT 119388 SOS 65812 HAS SOPS 65812 HAS SOUS 59670 HAS SOUPS 59670 WITH SCORE 59735.812
AT ITER 506 NEW BEST:: SOT 119388 SOS 65721 HAS SOPS 65721 HAS SOUS 59670 HAS SOUPS 59670 WITH SCORE 59735.721
AT ITER 507 NEW BEST:: SOT 119324 SOS 65650 HAS SOPS 65650 HAS SOUS 59599 HAS SOUPS 59599 WITH SCORE 59664.65
AT ITER 535 NEW BEST:: SOT 119322 SOS 65648 HAS SOPS 65648 HAS SOUS 59593 HAS SOUPS 59593 WITH SCORE 59658.648
AT ITER 538 NEW BEST:: SOT 119280 SOS 65577 HAS SOPS 65577 HAS SOUS 59435 HAS SOUPS 59435 WITH SCORE 59500.577
AT ITER 540 NEW BEST:: SOT 119280 SOS 65222 HAS SOPS 65222 HAS SOUS 59430 HAS SOUPS 59430 WITH SCORE 59495.222
AT ITER 543 NEW BEST:: SOT 119280 SOS 65217 HAS SOPS 65217 HAS SOUS 59430 HAS SOUPS 59430 WITH SCORE 59495.217
AT ITER 548 NEW BEST:: SOT 119280 SOS 65109 HAS SOPS 65109 HAS SOUS 59430 HAS SOUPS 59430 WITH SCORE 59495.109
AT ITER 549 NEW BEST:: SOT 119280 SOS 65088 HAS SOPS 65088 HAS SOUS 59430 HAS SOUPS 59430 WITH SCORE 59495.088
AT ITER 558 NEW BEST:: SOT 119171 SOS 65060 HAS SOPS 65060 HAS SOUS 59402 HAS SOUPS 59402 WITH SCORE 59467.06
AT ITER 563 NEW BEST:: SOT 119131 SOS 65094 HAS SOPS 65094 HAS SOUS 59362 HAS SOUPS 59362 WITH SCORE 59427.094
AT ITER 566 NEW BEST:: SOT 119011 SOS 65247 HAS SOPS 65247 HAS SOUS 59354 HAS SOUPS 59354 WITH SCORE 59419.247
AT ITER 568 NEW BEST:: SOT 118959 SOS 65183 HAS SOPS 65183 HAS SOUS 59285 HAS SOUPS 59285 WITH SCORE 59350.183
AT ITER 570 NEW BEST:: SOT 118851 SOS 65075 HAS SOPS 65075 HAS SOUS 59165 HAS SOUPS 59165 WITH SCORE 59230.075
AT ITER 571 NEW BEST:: SOT 118737 SOS 64962 HAS SOPS 64962 HAS SOUS 59163 HAS SOUPS 59163 WITH SCORE 59227.962
AT ITER 574 NEW BEST:: SOT 118725 SOS 64950 HAS SOPS 64950 HAS SOUS 59145 HAS SOUPS 59145 WITH SCORE 59209.95
AT ITER 582 NEW BEST:: SOT 118725 SOS 64946 HAS SOPS 64946 HAS SOUS 59145 HAS SOUPS 59145 WITH SCORE 59209.946
AT ITER 583 NEW BEST:: SOT 118725 SOS 64946 HAS SOPS 64946 HAS SOUS 59092 HAS SOUPS 59092 WITH SCORE 59156.946
AT ITER 589 NEW BEST:: SOT 118692 SOS 64888 HAS SOPS 64888 HAS SOUS 59059 HAS SOUPS 59059 WITH SCORE 59123.888
AT ITER 595 NEW BEST:: SOT 118692 SOS 64266 HAS SOPS 64266 HAS SOUS 59059 HAS SOUPS 59059 WITH SCORE 59123.266
AT ITER 598 NEW BEST:: SOT 118692 SOS 64124 HAS SOPS 64124 HAS SOUS 59054 HAS SOUPS 59054 WITH SCORE 59118.124
AT ITER 615 NEW BEST:: SOT 118638 SOS 64076 HAS SOPS 64076 HAS SOUS 59033 HAS SOUPS 59033 WITH SCORE 59097.076
AT ITER 618 NEW BEST:: SOT 118630 SOS 64068 HAS SOPS 64068 HAS SOUS 59025 HAS SOUPS 59025 WITH SCORE 59089.068
AT ITER 623 NEW BEST:: SOT 118630 SOS 64046 HAS SOPS 64046 HAS SOUS 59007 HAS SOUPS 59007 WITH SCORE 59071.046
AT ITER 630 NEW BEST:: SOT 118697 SOS 64031 HAS SOPS 64031 HAS SOUS 58987 HAS SOUPS 58987 WITH SCORE 59051.031
AT ITER 631 NEW BEST:: SOT 118697 SOS 64010 HAS SOPS 64010 HAS SOUS 58984 HAS SOUPS 58984 WITH SCORE 59048.01
AT ITER 645 NEW BEST:: SOT 118722 SOS 64070 HAS SOPS 64070 HAS SOUS 58936 HAS SOUPS 58936 WITH SCORE 59000.07
AT ITER 671 NEW BEST:: SOT 118698 SOS 64139 HAS SOPS 64139 HAS SOUS 58925 HAS SOUPS 58925 WITH SCORE 58989.139
AT ITER 680 NEW BEST:: SOT 118727 SOS 64099 HAS SOPS 64099 HAS SOUS 58847 HAS SOUPS 58847 WITH SCORE 58911.099
AT ITER 693 NEW BEST:: SOT 118474 SOS 64317 HAS SOPS 64317 HAS SOUS 58708 HAS SOUPS 58708 WITH SCORE 58772.317
AT ITER 695 NEW BEST:: SOT 118493 SOS 64315 HAS SOPS 64315 HAS SOUS 58688 HAS SOUPS 58688 WITH SCORE 58752.315
AT ITER 700 NEW BEST:: SOT 118493 SOS 64340 HAS SOPS 64340 HAS SOUS 58682 HAS SOUPS 58682 WITH SCORE 58746.34
AT ITER 701 NEW BEST:: SOT 118493 SOS 64308 HAS SOPS 64308 HAS SOUS 58682 HAS SOUPS 58682 WITH SCORE 58746.308
AT ITER 704 NEW BEST:: SOT 118440 SOS 64205 HAS SOPS 64205 HAS SOUS 58570 HAS SOUPS 58570 WITH SCORE 58634.205
AT ITER 713 NEW BEST:: SOT 118282 SOS 64326 HAS SOPS 64326 HAS SOUS 58474 HAS SOUPS 58474 WITH SCORE 58538.326
AT ITER 714 NEW BEST:: SOT 118282 SOS 64196 HAS SOPS 64196 HAS SOUS 58466 HAS SOUPS 58466 WITH SCORE 58530.196
AT ITER 715 NEW BEST:: SOT 118261 SOS 64141 HAS SOPS 64141 HAS SOUS 58461 HAS SOUPS 58461 WITH SCORE 58525.141
AT ITER 723 NEW BEST:: SOT 118261 SOS 64136 HAS SOPS 64136 HAS SOUS 58461 HAS SOUPS 58461 WITH SCORE 58525.136
AT ITER 725 NEW BEST:: SOT 118261 SOS 64086 HAS SOPS 64086 HAS SOUS 58448 HAS SOUPS 58448 WITH SCORE 58512.086
AT ITER 730 NEW BEST:: SOT 118261 SOS 64000 HAS SOPS 64000 HAS SOUS 58448 HAS SOUPS 58448 WITH SCORE 58512.0
AT ITER 744 NEW BEST:: SOT 118191 SOS 63977 HAS SOPS 63977 HAS SOUS 58425 HAS SOUPS 58425 WITH SCORE 58488.977
AT ITER 750 NEW BEST:: SOT 118001 SOS 64836 HAS SOPS 64836 HAS SOUS 58326 HAS SOUPS 58326 WITH SCORE 58390.836
AT ITER 753 NEW BEST:: SOT 118001 SOS 64796 HAS SOPS 64796 HAS SOUS 58326 HAS SOUPS 58326 WITH SCORE 58390.796
AT ITER 758 NEW BEST:: SOT 117992 SOS 64787 HAS SOPS 64787 HAS SOUS 58317 HAS SOUPS 58317 WITH SCORE 58381.787
AT ITER 759 NEW BEST:: SOT 117919 SOS 64844 HAS SOPS 64844 HAS SOUS 58244 HAS SOUPS 58244 WITH SCORE 58308.844
AT ITER 771 NEW BEST:: SOT 117924 SOS 64711 HAS SOPS 64711 HAS SOUS 58238 HAS SOUPS 58238 WITH SCORE 58302.711
AT ITER 777 NEW BEST:: SOT 117924 SOS 64667 HAS SOPS 64667 HAS SOUS 58238 HAS SOUPS 58238 WITH SCORE 58302.667
AT ITER 778 NEW BEST:: SOT 117919 SOS 64682 HAS SOPS 64682 HAS SOUS 58233 HAS SOUPS 58233 WITH SCORE 58297.682
AT ITER 788 NEW BEST:: SOT 117919 SOS 64674 HAS SOPS 64674 HAS SOUS 58233 HAS SOUPS 58233 WITH SCORE 58297.674
AT ITER 795 NEW BEST:: SOT 117901 SOS 64702 HAS SOPS 64702 HAS SOUS 58201 HAS SOUPS 58201 WITH SCORE 58265.702
AT ITER 800 NEW BEST:: SOT 117841 SOS 64601 HAS SOPS 64601 HAS SOUS 58101 HAS SOUPS 58101 WITH SCORE 58165.601
AT ITER 803 NEW BEST:: SOT 117679 SOS 65531 HAS SOPS 65531 HAS SOUS 58089 HAS SOUPS 58089 WITH SCORE 58154.531
AT ITER 806 NEW BEST:: SOT 117679 SOS 65140 HAS SOPS 65140 HAS SOUS 58078 HAS SOUPS 58078 WITH SCORE 58143.14
AT ITER 812 NEW BEST:: SOT 117663 SOS 65028 HAS SOPS 65028 HAS SOUS 58004 HAS SOUPS 58004 WITH SCORE 58069.028
AT ITER 844 NEW BEST:: SOT 117661 SOS 65026 HAS SOPS 65026 HAS SOUS 58002 HAS SOUPS 58002 WITH SCORE 58067.026
AT ITER 849 NEW BEST:: SOT 117608 SOS 65012 HAS SOPS 65012 HAS SOUS 57988 HAS SOUPS 57988 WITH SCORE 58053.012
AT ITER 861 NEW BEST:: SOT 117311 SOS 64658 HAS SOPS 64658 HAS SOUS 57798 HAS SOUPS 57798 WITH SCORE 57862.658
AT ITER 864 NEW BEST:: SOT 117311 SOS 64637 HAS SOPS 64637 HAS SOUS 57783 HAS SOUPS 57783 WITH SCORE 57847.637
AT ITER 872 NEW BEST:: SOT 117280 SOS 64625 HAS SOPS 64625 HAS SOUS 57720 HAS SOUPS 57720 WITH SCORE 57784.625
AT ITER 874 NEW BEST:: SOT 117280 SOS 64556 HAS SOPS 64556 HAS SOUS 57720 HAS SOUPS 57720 WITH SCORE 57784.556
AT ITER 877 NEW BEST:: SOT 117277 SOS 64556 HAS SOPS 64556 HAS SOUS 57717 HAS SOUPS 57717 WITH SCORE 57781.556
AT ITER 890 NEW BEST:: SOT 117261 SOS 64540 HAS SOPS 64540 HAS SOUS 57701 HAS SOUPS 57701 WITH SCORE 57765.54
AT ITER 893 NEW BEST:: SOT 117254 SOS 64545 HAS SOPS 64545 HAS SOUS 57610 HAS SOUPS 57610 WITH SCORE 57674.545
AT ITER 895 NEW BEST:: SOT 117254 SOS 64652 HAS SOPS 64652 HAS SOUS 57592 HAS SOUPS 57592 WITH SCORE 57656.652
AT ITER 904 NEW BEST:: SOT 117230 SOS 64628 HAS SOPS 64628 HAS SOUS 57568 HAS SOUPS 57568 WITH SCORE 57632.628
AT ITER 911 NEW BEST:: SOT 117230 SOS 64617 HAS SOPS 64617 HAS SOUS 57557 HAS SOUPS 57557 WITH SCORE 57621.617
AT ITER 912 NEW BEST:: SOT 117224 SOS 64611 HAS SOPS 64611 HAS SOUS 57551 HAS SOUPS 57551 WITH SCORE 57615.611
AT ITER 914 NEW BEST:: SOT 117224 SOS 64606 HAS SOPS 64606 HAS SOUS 57546 HAS SOUPS 57546 WITH SCORE 57610.606
AT ITER 918 NEW BEST:: SOT 117224 SOS 64609 HAS SOPS 64609 HAS SOUS 57503 HAS SOUPS 57503 WITH SCORE 57567.609
AT ITER 919 NEW BEST:: SOT 117202 SOS 64499 HAS SOPS 64499 HAS SOUS 57455 HAS SOUPS 57455 WITH SCORE 57519.499
AT ITER 946 NEW BEST:: SOT 117202 SOS 64439 HAS SOPS 64439 HAS SOUS 57455 HAS SOUPS 57455 WITH SCORE 57519.439
AT ITER 951 NEW BEST:: SOT 117071 SOS 64389 HAS SOPS 64389 HAS SOUS 57405 HAS SOUPS 57405 WITH SCORE 57469.389
AT ITER 964 NEW BEST:: SOT 117006 SOS 64384 HAS SOPS 64384 HAS SOUS 57400 HAS SOUPS 57400 WITH SCORE 57464.384
AT ITER 968 NEW BEST:: SOT 116998 SOS 64380 HAS SOPS 64380 HAS SOUS 57396 HAS SOUPS 57396 WITH SCORE 57460.38
AT ITER 975 NEW BEST:: SOT 116964 SOS 64502 HAS SOPS 64502 HAS SOUS 57362 HAS SOUPS 57362 WITH SCORE 57426.502
AT ITER 984 NEW BEST:: SOT 116904 SOS 64550 HAS SOPS 64550 HAS SOUS 57294 HAS SOUPS 57294 WITH SCORE 57358.55
AT ITER 988 NEW BEST:: SOT 116904 SOS 64582 HAS SOPS 64582 HAS SOUS 57212 HAS SOUPS 57212 WITH SCORE 57276.582
AT ITER 1008 NEW BEST:: SOT 116614 SOS 65031 HAS SOPS 65031 HAS SOUS 57134 HAS SOUPS 57134 WITH SCORE 57199.031
AT ITER 1014 NEW BEST:: SOT 116614 SOS 64986 HAS SOPS 64986 HAS SOUS 57134 HAS SOUPS 57134 WITH SCORE 57198.986
AT ITER 1018 NEW BEST:: SOT 116562 SOS 64959 HAS SOPS 64959 HAS SOUS 57107 HAS SOUPS 57107 WITH SCORE 57171.959
AT ITER 1033 NEW BEST:: SOT 116562 SOS 64913 HAS SOPS 64913 HAS SOUS 57107 HAS SOUPS 57107 WITH SCORE 57171.913
AT ITER 1039 NEW BEST:: SOT 116562 SOS 64833 HAS SOPS 64833 HAS SOUS 57107 HAS SOUPS 57107 WITH SCORE 57171.833
AT ITER 1043 NEW BEST:: SOT 116562 SOS 64806 HAS SOPS 64806 HAS SOUS 57030 HAS SOUPS 57030 WITH SCORE 57094.806
AT ITER 1047 NEW BEST:: SOT 116562 SOS 64826 HAS SOPS 64826 HAS SOUS 57003 HAS SOUPS 57003 WITH SCORE 57067.826
AT ITER 1048 NEW BEST:: SOT 116534 SOS 64864 HAS SOPS 64864 HAS SOUS 56975 HAS SOUPS 56975 WITH SCORE 57039.864
AT ITER 1052 NEW BEST:: SOT 116534 SOS 64818 HAS SOPS 64818 HAS SOUS 56975 HAS SOUPS 56975 WITH SCORE 57039.818
AT ITER 1053 NEW BEST:: SOT 116518 SOS 65009 HAS SOPS 65009 HAS SOUS 56959 HAS SOUPS 56959 WITH SCORE 57024.009
AT ITER 1062 NEW BEST:: SOT 116502 SOS 64993 HAS SOPS 64993 HAS SOUS 56943 HAS SOUPS 56943 WITH SCORE 57007.993
AT ITER 1086 NEW BEST:: SOT 116404 SOS 64925 HAS SOPS 64925 HAS SOUS 56875 HAS SOUPS 56875 WITH SCORE 56939.925
AT ITER 1092 NEW BEST:: SOT 116405 SOS 64924 HAS SOPS 64924 HAS SOUS 56875 HAS SOUPS 56875 WITH SCORE 56939.924
AT ITER 1095 NEW BEST:: SOT 116324 SOS 64865 HAS SOPS 64865 HAS SOUS 56824 HAS SOUPS 56824 WITH SCORE 56888.865
AT ITER 1100 NEW BEST:: SOT 116310 SOS 64770 HAS SOPS 64770 HAS SOUS 56763 HAS SOUPS 56763 WITH SCORE 56827.77
AT ITER 1105 NEW BEST:: SOT 116230 SOS 64712 HAS SOPS 64712 HAS SOUS 56705 HAS SOUPS 56705 WITH SCORE 56769.712
AT ITER 1123 NEW BEST:: SOT 116230 SOS 64709 HAS SOPS 64709 HAS SOUS 56702 HAS SOUPS 56702 WITH SCORE 56766.709
AT ITER 1125 NEW BEST:: SOT 116102 SOS 64887 HAS SOPS 64887 HAS SOUS 56691 HAS SOUPS 56691 WITH SCORE 56755.887
AT ITER 1141 NEW BEST:: SOT 116102 SOS 64820 HAS SOPS 64820 HAS SOUS 56596 HAS SOUPS 56596 WITH SCORE 56660.82
AT ITER 1165 NEW BEST:: SOT 116102 SOS 64820 HAS SOPS 64820 HAS SOUS 56593 HAS SOUPS 56593 WITH SCORE 56657.82
AT ITER 1170 NEW BEST:: SOT 116102 SOS 64743 HAS SOPS 64743 HAS SOUS 56593 HAS SOUPS 56593 WITH SCORE 56657.743
AT ITER 1171 NEW BEST:: SOT 116101 SOS 64742 HAS SOPS 64742 HAS SOUS 56593 HAS SOUPS 56593 WITH SCORE 56657.742
AT ITER 1173 NEW BEST:: SOT 116098 SOS 64739 HAS SOPS 64739 HAS SOUS 56590 HAS SOUPS 56590 WITH SCORE 56654.739
AT ITER 1178 NEW BEST:: SOT 116094 SOS 64735 HAS SOPS 64735 HAS SOUS 56586 HAS SOUPS 56586 WITH SCORE 56650.735
AT ITER 1197 NEW BEST:: SOT 116067 SOS 64697 HAS SOPS 64697 HAS SOUS 56555 HAS SOUPS 56555 WITH SCORE 56619.697
AT ITER 1206 NEW BEST:: SOT 116067 SOS 64451 HAS SOPS 64451 HAS SOUS 56555 HAS SOUPS 56555 WITH SCORE 56619.451
AT ITER 1210 NEW BEST:: SOT 116040 SOS 64547 HAS SOPS 64547 HAS SOUS 56530 HAS SOUPS 56530 WITH SCORE 56594.547
AT ITER 1243 NEW BEST:: SOT 115927 SOS 64506 HAS SOPS 64506 HAS SOUS 56489 HAS SOUPS 56489 WITH SCORE 56553.506
AT ITER 1246 NEW BEST:: SOT 115832 SOS 64419 HAS SOPS 64419 HAS SOUS 56402 HAS SOUPS 56402 WITH SCORE 56466.419
AT ITER 1253 NEW BEST:: SOT 115829 SOS 64460 HAS SOPS 64460 HAS SOUS 56399 HAS SOUPS 56399 WITH SCORE 56463.46
AT ITER 1271 NEW BEST:: SOT 115829 SOS 64460 HAS SOPS 64460 HAS SOUS 56394 HAS SOUPS 56394 WITH SCORE 56458.46
AT ITER 1284 NEW BEST:: SOT 115829 SOS 64322 HAS SOPS 64322 HAS SOUS 56394 HAS SOUPS 56394 WITH SCORE 56458.322
AT ITER 1300 NEW BEST:: SOT 115829 SOS 64071 HAS SOPS 64071 HAS SOUS 56391 HAS SOUPS 56391 WITH SCORE 56455.071
AT ITER 1306 NEW BEST:: SOT 115784 SOS 64038 HAS SOPS 64038 HAS SOUS 56358 HAS SOUPS 56358 WITH SCORE 56422.038
AT ITER 1326 NEW BEST:: SOT 115759 SOS 64013 HAS SOPS 64013 HAS SOUS 56355 HAS SOUPS 56355 WITH SCORE 56419.013
AT ITER 1336 NEW BEST:: SOT 115759 SOS 64012 HAS SOPS 64012 HAS SOUS 56355 HAS SOUPS 56355 WITH SCORE 56419.012
AT ITER 1339 NEW BEST:: SOT 115712 SOS 64076 HAS SOPS 64076 HAS SOUS 56322 HAS SOUPS 56322 WITH SCORE 56386.076
AT ITER 1345 NEW BEST:: SOT 115672 SOS 64156 HAS SOPS 64156 HAS SOUS 56318 HAS SOUPS 56318 WITH SCORE 56382.156
AT ITER 1347 NEW BEST:: SOT 115592 SOS 64329 HAS SOPS 64329 HAS SOUS 56252 HAS SOUPS 56252 WITH SCORE 56316.329
AT ITER 1358 NEW BEST:: SOT 115592 SOS 64300 HAS SOPS 64300 HAS SOUS 56252 HAS SOUPS 56252 WITH SCORE 56316.3
AT ITER 1364 NEW BEST:: SOT 115380 SOS 64661 HAS SOPS 64661 HAS SOUS 56175 HAS SOUPS 56175 WITH SCORE 56239.661
AT ITER 1382 NEW BEST:: SOT 115376 SOS 64695 HAS SOPS 64695 HAS SOUS 56171 HAS SOUPS 56171 WITH SCORE 56235.695
AT ITER 1391 NEW BEST:: SOT 115376 SOS 64673 HAS SOPS 64673 HAS SOUS 56159 HAS SOUPS 56159 WITH SCORE 56223.673
AT ITER 1431 NEW BEST:: SOT 115309 SOS 64666 HAS SOPS 64666 HAS SOUS 56152 HAS SOUPS 56152 WITH SCORE 56216.666
AT ITER 1434 NEW BEST:: SOT 115309 SOS 64659 HAS SOPS 64659 HAS SOUS 56152 HAS SOUPS 56152 WITH SCORE 56216.659
AT ITER 1439 NEW BEST:: SOT 115314 SOS 64664 HAS SOPS 64664 HAS SOUS 56150 HAS SOUPS 56150 WITH SCORE 56214.664
AT ITER 1440 NEW BEST:: SOT 115329 SOS 64569 HAS SOPS 64569 HAS SOUS 56122 HAS SOUPS 56122 WITH SCORE 56186.569
AT ITER 1445 NEW BEST:: SOT 115329 SOS 64567 HAS SOPS 64567 HAS SOUS 56122 HAS SOUPS 56122 WITH SCORE 56186.567
AT ITER 1453 NEW BEST:: SOT 115171 SOS 64853 HAS SOPS 64853 HAS SOUS 56118 HAS SOUPS 56118 WITH SCORE 56182.853
AT ITER 1460 NEW BEST:: SOT 115171 SOS 64849 HAS SOPS 64849 HAS SOUS 56118 HAS SOUPS 56118 WITH SCORE 56182.849
AT ITER 1462 NEW BEST:: SOT 114834 SOS 65503 HAS SOPS 65503 HAS SOUS 56058 HAS SOUPS 56058 WITH SCORE 56123.503
AT ITER 1472 NEW BEST:: SOT 114834 SOS 65492 HAS SOPS 65492 HAS SOUS 56056 HAS SOUPS 56056 WITH SCORE 56121.492
AT ITER 1473 NEW BEST:: SOT 114808 SOS 65500 HAS SOPS 65500 HAS SOUS 56043 HAS SOUPS 56043 WITH SCORE 56108.5
AT ITER 1478 NEW BEST:: SOT 114796 SOS 65488 HAS SOPS 65488 HAS SOUS 56031 HAS SOUPS 56031 WITH SCORE 56096.488
AT ITER 1483 NEW BEST:: SOT 114796 SOS 65448 HAS SOPS 65448 HAS SOUS 56031 HAS SOUPS 56031 WITH SCORE 56096.448
AT ITER 1489 NEW BEST:: SOT 114793 SOS 65405 HAS SOPS 65405 HAS SOUS 55988 HAS SOUPS 55988 WITH SCORE 56053.405
AT ITER 1493 NEW BEST:: SOT 114793 SOS 65297 HAS SOPS 65297 HAS SOUS 55988 HAS SOUPS 55988 WITH SCORE 56053.297
AT ITER 1515 NEW BEST:: SOT 114793 SOS 65257 HAS SOPS 65257 HAS SOUS 55948 HAS SOUPS 55948 WITH SCORE 56013.257
AT ITER 1558 NEW BEST:: SOT 114793 SOS 65089 HAS SOPS 65089 HAS SOUS 55923 HAS SOUPS 55923 WITH SCORE 55988.089
AT ITER 1572 NEW BEST:: SOT 114793 SOS 65014 HAS SOPS 65014 HAS SOUS 55923 HAS SOUPS 55923 WITH SCORE 55988.014
AT ITER 1578 NEW BEST:: SOT 114790 SOS 65018 HAS SOPS 65018 HAS SOUS 55894 HAS SOUPS 55894 WITH SCORE 55959.018
AT ITER 1586 NEW BEST:: SOT 114677 SOS 64950 HAS SOPS 64950 HAS SOUS 55807 HAS SOUPS 55807 WITH SCORE 55871.95
AT ITER 1588 NEW BEST:: SOT 114677 SOS 64945 HAS SOPS 64945 HAS SOUS 55807 HAS SOUPS 55807 WITH SCORE 55871.945
AT ITER 1589 NEW BEST:: SOT 114677 SOS 64945 HAS SOPS 64945 HAS SOUS 55797 HAS SOUPS 55797 WITH SCORE 55861.945
AT ITER 1595 NEW BEST:: SOT 114677 SOS 64863 HAS SOPS 64863 HAS SOUS 55797 HAS SOUPS 55797 WITH SCORE 55861.863
AT ITER 1599 NEW BEST:: SOT 114677 SOS 64828 HAS SOPS 64828 HAS SOUS 55797 HAS SOUPS 55797 WITH SCORE 55861.828
AT ITER 1610 NEW BEST:: SOT 114677 SOS 64845 HAS SOPS 64845 HAS SOUS 55759 HAS SOUPS 55759 WITH SCORE 55823.845
AT ITER 1613 NEW BEST:: SOT 114665 SOS 64833 HAS SOPS 64833 HAS SOUS 55747 HAS SOUPS 55747 WITH SCORE 55811.833
AT ITER 1619 NEW BEST:: SOT 114576 SOS 64776 HAS SOPS 64776 HAS SOUS 55690 HAS SOUPS 55690 WITH SCORE 55754.776
AT ITER 1625 NEW BEST:: SOT 114581 SOS 64411 HAS SOPS 64411 HAS SOUS 55680 HAS SOUPS 55680 WITH SCORE 55744.411
AT ITER 1632 NEW BEST:: SOT 114581 SOS 64357 HAS SOPS 64357 HAS SOUS 55671 HAS SOUPS 55671 WITH SCORE 55735.357
AT ITER 1640 NEW BEST:: SOT 114581 SOS 64357 HAS SOPS 64357 HAS SOUS 55669 HAS SOUPS 55669 WITH SCORE 55733.357
AT ITER 1644 NEW BEST:: SOT 114579 SOS 64301 HAS SOPS 64301 HAS SOUS 55648 HAS SOUPS 55648 WITH SCORE 55712.301
AT ITER 1678 NEW BEST:: SOT 114381 SOS 64226 HAS SOPS 64226 HAS SOUS 55599 HAS SOUPS 55599 WITH SCORE 55663.226
AT ITER 1679 NEW BEST:: SOT 114381 SOS 64221 HAS SOPS 64221 HAS SOUS 55599 HAS SOUPS 55599 WITH SCORE 55663.221
AT ITER 1689 NEW BEST:: SOT 114443 SOS 64230 HAS SOPS 64230 HAS SOUS 55574 HAS SOUPS 55574 WITH SCORE 55638.23
AT ITER 1690 NEW BEST:: SOT 114443 SOS 64191 HAS SOPS 64191 HAS SOUS 55574 HAS SOUPS 55574 WITH SCORE 55638.191
AT ITER 1693 NEW BEST:: SOT 114426 SOS 64176 HAS SOPS 64176 HAS SOUS 55557 HAS SOUPS 55557 WITH SCORE 55621.176
AT ITER 1695 NEW BEST:: SOT 114426 SOS 64145 HAS SOPS 64145 HAS SOUS 55557 HAS SOUPS 55557 WITH SCORE 55621.145
AT ITER 1746 NEW BEST:: SOT 114359 SOS 64123 HAS SOPS 64123 HAS SOUS 55535 HAS SOUPS 55535 WITH SCORE 55599.123
AT ITER 1756 NEW BEST:: SOT 114355 SOS 64120 HAS SOPS 64120 HAS SOUS 55532 HAS SOUPS 55532 WITH SCORE 55596.12
AT ITER 1761 NEW BEST:: SOT 114355 SOS 64113 HAS SOPS 64113 HAS SOUS 55532 HAS SOUPS 55532 WITH SCORE 55596.113
AT ITER 1774 NEW BEST:: SOT 114362 SOS 64220 HAS SOPS 64220 HAS SOUS 55523 HAS SOUPS 55523 WITH SCORE 55587.22
AT ITER 1795 NEW BEST:: SOT 114186 SOS 64705 HAS SOPS 64705 HAS SOUS 55412 HAS SOUPS 55412 WITH SCORE 55476.705
AT ITER 1816 NEW BEST:: SOT 114071 SOS 64611 HAS SOPS 64611 HAS SOUS 55401 HAS SOUPS 55401 WITH SCORE 55465.611
AT ITER 1831 NEW BEST:: SOT 114135 SOS 64397 HAS SOPS 64397 HAS SOUS 55328 HAS SOUPS 55328 WITH SCORE 55392.397
AT ITER 1833 NEW BEST:: SOT 114135 SOS 64324 HAS SOPS 64324 HAS SOUS 55328 HAS SOUPS 55328 WITH SCORE 55392.324
AT ITER 1834 NEW BEST:: SOT 114119 SOS 64342 HAS SOPS 64342 HAS SOUS 55315 HAS SOUPS 55315 WITH SCORE 55379.342
AT ITER 1870 NEW BEST:: SOT 114119 SOS 64332 HAS SOPS 64332 HAS SOUS 55315 HAS SOUPS 55315 WITH SCORE 55379.332
AT ITER 1872 NEW BEST:: SOT 114119 SOS 64312 HAS SOPS 64312 HAS SOUS 55315 HAS SOUPS 55315 WITH SCORE 55379.312
AT ITER 1875 NEW BEST:: SOT 114119 SOS 64249 HAS SOPS 64249 HAS SOUS 55315 HAS SOUPS 55315 WITH SCORE 55379.249
AT ITER 1884 NEW BEST:: SOT 114076 SOS 64329 HAS SOPS 64329 HAS SOUS 55291 HAS SOUPS 55291 WITH SCORE 55355.329
AT ITER 1888 NEW BEST:: SOT 114076 SOS 64340 HAS SOPS 64340 HAS SOUS 55263 HAS SOUPS 55263 WITH SCORE 55327.34
AT ITER 1897 NEW BEST:: SOT 114076 SOS 64200 HAS SOPS 64200 HAS SOUS 55135 HAS SOUPS 55135 WITH SCORE 55199.2
AT ITER 1900 NEW BEST:: SOT 113906 SOS 64125 HAS SOPS 64125 HAS SOUS 55060 HAS SOUPS 55060 WITH SCORE 55124.125
AT ITER 1906 NEW BEST:: SOT 113915 SOS 64060 HAS SOPS 64060 HAS SOUS 55056 HAS SOUPS 55056 WITH SCORE 55120.06
AT ITER 1921 NEW BEST:: SOT 113915 SOS 64050 HAS SOPS 64050 HAS SOUS 55056 HAS SOUPS 55056 WITH SCORE 55120.05
AT ITER 1923 NEW BEST:: SOT 113915 SOS 64045 HAS SOPS 64045 HAS SOUS 55056 HAS SOUPS 55056 WITH SCORE 55120.045
AT ITER 1925 NEW BEST:: SOT 113937 SOS 63876 HAS SOPS 63876 HAS SOUS 55041 HAS SOUPS 55041 WITH SCORE 55104.876
AT ITER 1926 NEW BEST:: SOT 113821 SOS 63826 HAS SOPS 63826 HAS SOUS 54991 HAS SOUPS 54991 WITH SCORE 55054.826
AT ITER 1927 NEW BEST:: SOT 113767 SOS 63814 HAS SOPS 63814 HAS SOUS 54961 HAS SOUPS 54961 WITH SCORE 55024.814
AT ITER 1928 NEW BEST:: SOT 113767 SOS 63782 HAS SOPS 63782 HAS SOUS 54961 HAS SOUPS 54961 WITH SCORE 55024.782
AT ITER 1942 NEW BEST:: SOT 113618 SOS 63684 HAS SOPS 63684 HAS SOUS 54863 HAS SOUPS 54863 WITH SCORE 54926.684
AT ITER 1993 NEW BEST:: SOT 113567 SOS 63650 HAS SOPS 63650 HAS SOUS 54862 HAS SOUPS 54862 WITH SCORE 54925.65
AT ITER 1998 NEW BEST:: SOT 113494 SOS 63583 HAS SOPS 63583 HAS SOUS 54815 HAS SOUPS 54815 WITH SCORE 54878.583
AT ITER 2001 NEW BEST:: SOT 113494 SOS 63501 HAS SOPS 63501 HAS SOUS 54815 HAS SOUPS 54815 WITH SCORE 54878.501
AT ITER 2009 NEW BEST:: SOT 113214 SOS 63816 HAS SOPS 63816 HAS SOUS 54688 HAS SOUPS 54688 WITH SCORE 54751.816
AT ITER 2018 NEW BEST:: SOT 113227 SOS 63811 HAS SOPS 63811 HAS SOUS 54624 HAS SOUPS 54624 WITH SCORE 54687.811
AT ITER 2020 NEW BEST:: SOT 113128 SOS 63712 HAS SOPS 63712 HAS SOUS 54525 HAS SOUPS 54525 WITH SCORE 54588.712
AT ITER 2031 NEW BEST:: SOT 113122 SOS 63562 HAS SOPS 63562 HAS SOUS 54447 HAS SOUPS 54447 WITH SCORE 54510.562
AT ITER 2050 NEW BEST:: SOT 113122 SOS 63506 HAS SOPS 63506 HAS SOUS 54447 HAS SOUPS 54447 WITH SCORE 54510.506
AT ITER 2054 NEW BEST:: SOT 113122 SOS 63265 HAS SOPS 63265 HAS SOUS 54436 HAS SOUPS 54436 WITH SCORE 54499.265
AT ITER 2055 NEW BEST:: SOT 113122 SOS 63243 HAS SOPS 63243 HAS SOUS 54436 HAS SOUPS 54436 WITH SCORE 54499.243
AT ITER 2094 NEW BEST:: SOT 113122 SOS 63198 HAS SOPS 63198 HAS SOUS 54436 HAS SOUPS 54436 WITH SCORE 54499.198
AT ITER 2097 NEW BEST:: SOT 112992 SOS 63068 HAS SOPS 63068 HAS SOUS 54306 HAS SOUPS 54306 WITH SCORE 54369.068
AT ITER 2099 NEW BEST:: SOT 112864 SOS 62973 HAS SOPS 62973 HAS SOUS 54223 HAS SOUPS 54223 WITH SCORE 54285.973
AT ITER 2111 NEW BEST:: SOT 112845 SOS 63208 HAS SOPS 63208 HAS SOUS 54221 HAS SOUPS 54221 WITH SCORE 54284.208
AT ITER 2115 NEW BEST:: SOT 112845 SOS 63262 HAS SOPS 63262 HAS SOUS 54216 HAS SOUPS 54216 WITH SCORE 54279.262
AT ITER 2122 NEW BEST:: SOT 112767 SOS 63249 HAS SOPS 63249 HAS SOUS 54203 HAS SOUPS 54203 WITH SCORE 54266.249
AT ITER 2125 NEW BEST:: SOT 112767 SOS 63224 HAS SOPS 63224 HAS SOUS 54203 HAS SOUPS 54203 WITH SCORE 54266.224
AT ITER 2132 NEW BEST:: SOT 112767 SOS 62988 HAS SOPS 62988 HAS SOUS 54203 HAS SOUPS 54203 WITH SCORE 54265.988
AT ITER 2138 NEW BEST:: SOT 112747 SOS 62985 HAS SOPS 62985 HAS SOUS 54197 HAS SOUPS 54197 WITH SCORE 54259.985
AT ITER 2145 NEW BEST:: SOT 112753 SOS 62979 HAS SOPS 62979 HAS SOUS 54191 HAS SOUPS 54191 WITH SCORE 54253.979
AT ITER 2152 NEW BEST:: SOT 112716 SOS 62999 HAS SOPS 62999 HAS SOUS 54154 HAS SOUPS 54154 WITH SCORE 54216.999
AT ITER 2157 NEW BEST:: SOT 112655 SOS 62955 HAS SOPS 62955 HAS SOUS 54127 HAS SOUPS 54127 WITH SCORE 54189.955
AT ITER 2160 NEW BEST:: SOT 112652 SOS 62952 HAS SOPS 62952 HAS SOUS 54124 HAS SOUPS 54124 WITH SCORE 54186.952
AT ITER 2181 NEW BEST:: SOT 112652 SOS 62906 HAS SOPS 62906 HAS SOUS 54124 HAS SOUPS 54124 WITH SCORE 54186.906
AT ITER 2189 NEW BEST:: SOT 112652 SOS 62853 HAS SOPS 62853 HAS SOUS 54124 HAS SOUPS 54124 WITH SCORE 54186.853
AT ITER 2193 NEW BEST:: SOT 112652 SOS 62839 HAS SOPS 62839 HAS SOUS 54124 HAS SOUPS 54124 WITH SCORE 54186.839
AT ITER 2195 NEW BEST:: SOT 112338 SOS 62626 HAS SOPS 62626 HAS SOUS 53984 HAS SOUPS 53984 WITH SCORE 54046.626
AT ITER 2204 NEW BEST:: SOT 112295 SOS 62606 HAS SOPS 62606 HAS SOUS 53964 HAS SOUPS 53964 WITH SCORE 54026.606
AT ITER 2211 NEW BEST:: SOT 112257 SOS 62599 HAS SOPS 62599 HAS SOUS 53957 HAS SOUPS 53957 WITH SCORE 54019.599
AT ITER 2220 NEW BEST:: SOT 112246 SOS 62590 HAS SOPS 62590 HAS SOUS 53950 HAS SOUPS 53950 WITH SCORE 54012.59
AT ITER 2229 NEW BEST:: SOT 112246 SOS 62605 HAS SOPS 62605 HAS SOUS 53944 HAS SOUPS 53944 WITH SCORE 54006.605
AT ITER 2249 NEW BEST:: SOT 112246 SOS 62572 HAS SOPS 62572 HAS SOUS 53911 HAS SOUPS 53911 WITH SCORE 53973.572
AT ITER 2257 NEW BEST:: SOT 112220 SOS 62546 HAS SOPS 62546 HAS SOUS 53885 HAS SOUPS 53885 WITH SCORE 53947.546
AT ITER 2261 NEW BEST:: SOT 112158 SOS 62593 HAS SOPS 62593 HAS SOUS 53879 HAS SOUPS 53879 WITH SCORE 53941.593
AT ITER 2263 NEW BEST:: SOT 112158 SOS 62612 HAS SOPS 62612 HAS SOUS 53857 HAS SOUPS 53857 WITH SCORE 53919.612
AT ITER 2265 NEW BEST:: SOT 112158 SOS 62582 HAS SOPS 62582 HAS SOUS 53857 HAS SOUPS 53857 WITH SCORE 53919.582
AT ITER 2266 NEW BEST:: SOT 112093 SOS 62548 HAS SOPS 62548 HAS SOUS 53850 HAS SOUPS 53850 WITH SCORE 53912.548
AT ITER 2270 NEW BEST:: SOT 112093 SOS 62514 HAS SOPS 62514 HAS SOUS 53850 HAS SOUPS 53850 WITH SCORE 53912.514
AT ITER 2272 NEW BEST:: SOT 111977 SOS 62469 HAS SOPS 62469 HAS SOUS 53805 HAS SOUPS 53805 WITH SCORE 53867.469
AT ITER 2283 NEW BEST:: SOT 111937 SOS 62582 HAS SOPS 62582 HAS SOUS 53764 HAS SOUPS 53764 WITH SCORE 53826.582
AT ITER 2284 NEW BEST:: SOT 111937 SOS 62558 HAS SOPS 62558 HAS SOUS 53752 HAS SOUPS 53752 WITH SCORE 53814.558
AT ITER 2309 NEW BEST:: SOT 111937 SOS 62530 HAS SOPS 62530 HAS SOUS 53741 HAS SOUPS 53741 WITH SCORE 53803.53
AT ITER 2312 NEW BEST:: SOT 111773 SOS 62457 HAS SOPS 62457 HAS SOUS 53668 HAS SOUPS 53668 WITH SCORE 53730.457
AT ITER 2315 NEW BEST:: SOT 111597 SOS 62297 HAS SOPS 62297 HAS SOUS 53508 HAS SOUPS 53508 WITH SCORE 53570.297
AT ITER 2321 NEW BEST:: SOT 111582 SOS 62282 HAS SOPS 62282 HAS SOUS 53493 HAS SOUPS 53493 WITH SCORE 53555.282
AT ITER 2324 NEW BEST:: SOT 111565 SOS 62299 HAS SOPS 62299 HAS SOUS 53481 HAS SOUPS 53481 WITH SCORE 53543.299
AT ITER 2338 NEW BEST:: SOT 111368 SOS 62995 HAS SOPS 62995 HAS SOUS 53335 HAS SOUPS 53335 WITH SCORE 53397.995
AT ITER 2352 NEW BEST:: SOT 111368 SOS 62947 HAS SOPS 62947 HAS SOUS 53323 HAS SOUPS 53323 WITH SCORE 53385.947
AT ITER 2360 NEW BEST:: SOT 111368 SOS 62981 HAS SOPS 62981 HAS SOUS 53322 HAS SOUPS 53322 WITH SCORE 53384.981
AT ITER 2385 NEW BEST:: SOT 111407 SOS 63049 HAS SOPS 63049 HAS SOUS 53311 HAS SOUPS 53311 WITH SCORE 53374.049
AT ITER 2390 NEW BEST:: SOT 111255 SOS 62950 HAS SOPS 62950 HAS SOUS 53212 HAS SOUPS 53212 WITH SCORE 53274.95
AT ITER 2402 NEW BEST:: SOT 111255 SOS 62912 HAS SOPS 62912 HAS SOUS 53212 HAS SOUPS 53212 WITH SCORE 53274.912
AT ITER 2405 NEW BEST:: SOT 111250 SOS 62917 HAS SOPS 62917 HAS SOUS 53207 HAS SOUPS 53207 WITH SCORE 53269.917
AT ITER 2406 NEW BEST:: SOT 111161 SOS 62828 HAS SOPS 62828 HAS SOUS 53118 HAS SOUPS 53118 WITH SCORE 53180.828
AT ITER 2418 NEW BEST:: SOT 111161 SOS 62828 HAS SOPS 62828 HAS SOUS 53104 HAS SOUPS 53104 WITH SCORE 53166.828
AT ITER 2419 NEW BEST:: SOT 111122 SOS 62743 HAS SOPS 62743 HAS SOUS 53016 HAS SOUPS 53016 WITH SCORE 53078.743
AT ITER 2422 NEW BEST:: SOT 111104 SOS 62725 HAS SOPS 62725 HAS SOUS 52998 HAS SOUPS 52998 WITH SCORE 53060.725
AT ITER 2429 NEW BEST:: SOT 111104 SOS 62725 HAS SOPS 62725 HAS SOUS 52994 HAS SOUPS 52994 WITH SCORE 53056.725
AT ITER 2431 NEW BEST:: SOT 110998 SOS 62629 HAS SOPS 62629 HAS SOUS 52898 HAS SOUPS 52898 WITH SCORE 52960.629
AT ITER 2446 NEW BEST:: SOT 110977 SOS 62608 HAS SOPS 62608 HAS SOUS 52853 HAS SOUPS 52853 WITH SCORE 52915.608
AT ITER 2453 NEW BEST:: SOT 110977 SOS 62574 HAS SOPS 62574 HAS SOUS 52835 HAS SOUPS 52835 WITH SCORE 52897.574
AT ITER 2458 NEW BEST:: SOT 110965 SOS 62589 HAS SOPS 62589 HAS SOUS 52785 HAS SOUPS 52785 WITH SCORE 52847.589
AT ITER 2466 NEW BEST:: SOT 110937 SOS 62564 HAS SOPS 62564 HAS SOUS 52757 HAS SOUPS 52757 WITH SCORE 52819.564
AT ITER 2490 NEW BEST:: SOT 110927 SOS 62554 HAS SOPS 62554 HAS SOUS 52747 HAS SOUPS 52747 WITH SCORE 52809.554
AT ITER 2509 NEW BEST:: SOT 110927 SOS 62554 HAS SOPS 62554 HAS SOUS 52716 HAS SOUPS 52716 WITH SCORE 52778.554
AT ITER 2514 NEW BEST:: SOT 110690 SOS 63114 HAS SOPS 63114 HAS SOUS 52689 HAS SOUPS 52689 WITH SCORE 52752.114
AT ITER 2515 NEW BEST:: SOT 110720 SOS 63229 HAS SOPS 63229 HAS SOUS 52672 HAS SOUPS 52672 WITH SCORE 52735.229
AT ITER 2519 NEW BEST:: SOT 110720 SOS 63199 HAS SOPS 63199 HAS SOUS 52672 HAS SOUPS 52672 WITH SCORE 52735.199
AT ITER 2521 NEW BEST:: SOT 110704 SOS 63102 HAS SOPS 63102 HAS SOUS 52668 HAS SOUPS 52668 WITH SCORE 52731.102
AT ITER 2522 NEW BEST:: SOT 110708 SOS 63084 HAS SOPS 63084 HAS SOUS 52639 HAS SOUPS 52639 WITH SCORE 52702.084
AT ITER 2525 NEW BEST:: SOT 110696 SOS 63072 HAS SOPS 63072 HAS SOUS 52627 HAS SOUPS 52627 WITH SCORE 52690.072
AT ITER 2529 NEW BEST:: SOT 110652 SOS 63028 HAS SOPS 63028 HAS SOUS 52583 HAS SOUPS 52583 WITH SCORE 52646.028
AT ITER 2530 NEW BEST:: SOT 110652 SOS 63002 HAS SOPS 63002 HAS SOUS 52566 HAS SOUPS 52566 WITH SCORE 52629.002
AT ITER 2558 NEW BEST:: SOT 110652 SOS 62981 HAS SOPS 62981 HAS SOUS 52566 HAS SOUPS 52566 WITH SCORE 52628.981
AT ITER 2563 NEW BEST:: SOT 110644 SOS 62975 HAS SOPS 62975 HAS SOUS 52564 HAS SOUPS 52564 WITH SCORE 52626.975
AT ITER 2581 NEW BEST:: SOT 110644 SOS 62974 HAS SOPS 62974 HAS SOUS 52564 HAS SOUPS 52564 WITH SCORE 52626.974
AT ITER 2613 NEW BEST:: SOT 110644 SOS 62846 HAS SOPS 62846 HAS SOUS 52564 HAS SOUPS 52564 WITH SCORE 52626.846
AT ITER 2629 NEW BEST:: SOT 110639 SOS 62841 HAS SOPS 62841 HAS SOUS 52552 HAS SOUPS 52552 WITH SCORE 52614.841
AT ITER 2649 NEW BEST:: SOT 110530 SOS 62810 HAS SOPS 62810 HAS SOUS 52521 HAS SOUPS 52521 WITH SCORE 52583.81
AT ITER 2650 NEW BEST:: SOT 110510 SOS 62790 HAS SOPS 62790 HAS SOUS 52501 HAS SOUPS 52501 WITH SCORE 52563.79
AT ITER 2659 NEW BEST:: SOT 110487 SOS 62754 HAS SOPS 62754 HAS SOUS 52494 HAS SOUPS 52494 WITH SCORE 52556.754
AT ITER 2660 NEW BEST:: SOT 110546 SOS 62551 HAS SOPS 62551 HAS SOUS 52401 HAS SOUPS 52401 WITH SCORE 52463.551
AT ITER 2664 NEW BEST:: SOT 110517 SOS 62484 HAS SOPS 62484 HAS SOUS 52382 HAS SOUPS 52382 WITH SCORE 52444.484
AT ITER 2667 NEW BEST:: SOT 110491 SOS 62513 HAS SOPS 62513 HAS SOUS 52356 HAS SOUPS 52356 WITH SCORE 52418.513
AT ITER 2673 NEW BEST:: SOT 110491 SOS 62470 HAS SOPS 62470 HAS SOUS 52356 HAS SOUPS 52356 WITH SCORE 52418.47
AT ITER 2674 NEW BEST:: SOT 110318 SOS 62534 HAS SOPS 62534 HAS SOUS 52335 HAS SOUPS 52335 WITH SCORE 52397.534
AT ITER 2684 NEW BEST:: SOT 110318 SOS 62510 HAS SOPS 62510 HAS SOUS 52335 HAS SOUPS 52335 WITH SCORE 52397.51
AT ITER 2689 NEW BEST:: SOT 110318 SOS 62512 HAS SOPS 62512 HAS SOUS 52330 HAS SOUPS 52330 WITH SCORE 52392.512
AT ITER 2695 NEW BEST:: SOT 110318 SOS 62487 HAS SOPS 62487 HAS SOUS 52330 HAS SOUPS 52330 WITH SCORE 52392.487
AT ITER 2699 NEW BEST:: SOT 110274 SOS 62470 HAS SOPS 62470 HAS SOUS 52313 HAS SOUPS 52313 WITH SCORE 52375.47
AT ITER 2701 NEW BEST:: SOT 110274 SOS 62448 HAS SOPS 62448 HAS SOUS 52313 HAS SOUPS 52313 WITH SCORE 52375.448
AT ITER 2709 NEW BEST:: SOT 110284 SOS 62429 HAS SOPS 62429 HAS SOUS 52301 HAS SOUPS 52301 WITH SCORE 52363.429
AT ITER 2720 NEW BEST:: SOT 110284 SOS 62422 HAS SOPS 62422 HAS SOUS 52301 HAS SOUPS 52301 WITH SCORE 52363.422
AT ITER 2723 NEW BEST:: SOT 110263 SOS 62401 HAS SOPS 62401 HAS SOUS 52280 HAS SOUPS 52280 WITH SCORE 52342.401
AT ITER 2725 NEW BEST:: SOT 110263 SOS 62351 HAS SOPS 62351 HAS SOUS 52280 HAS SOUPS 52280 WITH SCORE 52342.351
AT ITER 2727 NEW BEST:: SOT 110307 SOS 62353 HAS SOPS 62353 HAS SOUS 52259 HAS SOUPS 52259 WITH SCORE 52321.353
AT ITER 2736 NEW BEST:: SOT 110226 SOS 62528 HAS SOPS 62528 HAS SOUS 52215 HAS SOUPS 52215 WITH SCORE 52277.528
AT ITER 2739 NEW BEST:: SOT 110178 SOS 62449 HAS SOPS 62449 HAS SOUS 52153 HAS SOUPS 52153 WITH SCORE 52215.449
AT ITER 2751 NEW BEST:: SOT 110137 SOS 62304 HAS SOPS 62304 HAS SOUS 52112 HAS SOUPS 52112 WITH SCORE 52174.304
AT ITER 2764 NEW BEST:: SOT 110155 SOS 62316 HAS SOPS 62316 HAS SOUS 52109 HAS SOUPS 52109 WITH SCORE 52171.316
AT ITER 2776 NEW BEST:: SOT 109868 SOS 62100 HAS SOPS 62100 HAS SOUS 51893 HAS SOUPS 51893 WITH SCORE 51955.1
AT ITER 2797 NEW BEST:: SOT 109818 SOS 62077 HAS SOPS 62077 HAS SOUS 51870 HAS SOUPS 51870 WITH SCORE 51932.077
AT ITER 2807 NEW BEST:: SOT 109793 SOS 62024 HAS SOPS 62024 HAS SOUS 51822 HAS SOUPS 51822 WITH SCORE 51884.024
AT ITER 2813 NEW BEST:: SOT 109778 SOS 62178 HAS SOPS 62178 HAS SOUS 51816 HAS SOUPS 51816 WITH SCORE 51878.178
AT ITER 2815 NEW BEST:: SOT 109777 SOS 62177 HAS SOPS 62177 HAS SOUS 51815 HAS SOUPS 51815 WITH SCORE 51877.177
AT ITER 2833 NEW BEST:: SOT 109768 SOS 62323 HAS SOPS 62323 HAS SOUS 51806 HAS SOUPS 51806 WITH SCORE 51868.323
AT ITER 2834 NEW BEST:: SOT 109559 SOS 62178 HAS SOPS 62178 HAS SOUS 51661 HAS SOUPS 51661 WITH SCORE 51723.178
AT ITER 2838 NEW BEST:: SOT 109507 SOS 62023 HAS SOPS 62023 HAS SOUS 51611 HAS SOUPS 51611 WITH SCORE 51673.023
AT ITER 2840 NEW BEST:: SOT 109507 SOS 61987 HAS SOPS 61987 HAS SOUS 51611 HAS SOUPS 51611 WITH SCORE 51672.987
AT ITER 2898 NEW BEST:: SOT 109510 SOS 62080 HAS SOPS 62080 HAS SOUS 51601 HAS SOUPS 51601 WITH SCORE 51663.08
AT ITER 2930 NEW BEST:: SOT 109486 SOS 62056 HAS SOPS 62056 HAS SOUS 51577 HAS SOUPS 51577 WITH SCORE 51639.056
AT ITER 2933 NEW BEST:: SOT 109486 SOS 61858 HAS SOPS 61858 HAS SOUS 51575 HAS SOUPS 51575 WITH SCORE 51636.858
AT ITER 2940 NEW BEST:: SOT 109467 SOS 61839 HAS SOPS 61839 HAS SOUS 51533 HAS SOUPS 51533 WITH SCORE 51594.839
AT ITER 2943 NEW BEST:: SOT 109465 SOS 61837 HAS SOPS 61837 HAS SOUS 51531 HAS SOUPS 51531 WITH SCORE 51592.837
AT ITER 2958 NEW BEST:: SOT 109465 SOS 61808 HAS SOPS 61808 HAS SOUS 51520 HAS SOUPS 51520 WITH SCORE 51581.808
AT ITER 2970 NEW BEST:: SOT 109465 SOS 61808 HAS SOPS 61808 HAS SOUS 51510 HAS SOUPS 51510 WITH SCORE 51571.808
AT ITER 2978 NEW BEST:: SOT 109466 SOS 61809 HAS SOPS 61809 HAS SOUS 51507 HAS SOUPS 51507 WITH SCORE 51568.809
AT ITER 2990 NEW BEST:: SOT 109466 SOS 61805 HAS SOPS 61805 HAS SOUS 51507 HAS SOUPS 51507 WITH SCORE 51568.805
AT ITER 2992 NEW BEST:: SOT 109426 SOS 61725 HAS SOPS 61725 HAS SOUS 51427 HAS SOUPS 51427 WITH SCORE 51488.725
AT ITER 3000 NEW BEST:: SOT 109396 SOS 61668 HAS SOPS 61668 HAS SOUS 51355 HAS SOUPS 51355 WITH SCORE 51416.668
AT ITER 3007 NEW BEST:: SOT 109324 SOS 61654 HAS SOPS 61654 HAS SOUS 51295 HAS SOUPS 51295 WITH SCORE 51356.654
AT ITER 3023 NEW BEST:: SOT 109316 SOS 61646 HAS SOPS 61646 HAS SOUS 51287 HAS SOUPS 51287 WITH SCORE 51348.646
AT ITER 3049 NEW BEST:: SOT 109311 SOS 61641 HAS SOPS 61641 HAS SOUS 51282 HAS SOUPS 51282 WITH SCORE 51343.641
AT ITER 3055 NEW BEST:: SOT 109298 SOS 61950 HAS SOPS 61950 HAS SOUS 51279 HAS SOUPS 51279 WITH SCORE 51340.95
AT ITER 3056 NEW BEST:: SOT 109298 SOS 61935 HAS SOPS 61935 HAS SOUS 51279 HAS SOUPS 51279 WITH SCORE 51340.935
AT ITER 3069 NEW BEST:: SOT 109271 SOS 62136 HAS SOPS 62136 HAS SOUS 51252 HAS SOUPS 51252 WITH SCORE 51314.136
AT ITER 3070 NEW BEST:: SOT 109271 SOS 62097 HAS SOPS 62097 HAS SOUS 51252 HAS SOUPS 51252 WITH SCORE 51314.097
AT ITER 3101 NEW BEST:: SOT 109268 SOS 62076 HAS SOPS 62076 HAS SOUS 51249 HAS SOUPS 51249 WITH SCORE 51311.076
AT ITER 3106 NEW BEST:: SOT 109268 SOS 61820 HAS SOPS 61820 HAS SOUS 51249 HAS SOUPS 51249 WITH SCORE 51310.82
AT ITER 3108 NEW BEST:: SOT 109137 SOS 61561 HAS SOPS 61561 HAS SOUS 51198 HAS SOUPS 51198 WITH SCORE 51259.561
AT ITER 3157 NEW BEST:: SOT 109137 SOS 61544 HAS SOPS 61544 HAS SOUS 51198 HAS SOUPS 51198 WITH SCORE 51259.544
AT ITER 3163 NEW BEST:: SOT 109137 SOS 61510 HAS SOPS 61510 HAS SOUS 51198 HAS SOUPS 51198 WITH SCORE 51259.51
AT ITER 3166 NEW BEST:: SOT 109136 SOS 61509 HAS SOPS 61509 HAS SOUS 51166 HAS SOUPS 51166 WITH SCORE 51227.509
AT ITER 3171 NEW BEST:: SOT 108946 SOS 61621 HAS SOPS 61621 HAS SOUS 51107 HAS SOUPS 51107 WITH SCORE 51168.621
AT ITER 3183 NEW BEST:: SOT 108946 SOS 61583 HAS SOPS 61583 HAS SOUS 51069 HAS SOUPS 51069 WITH SCORE 51130.583
AT ITER 3187 NEW BEST:: SOT 108930 SOS 61556 HAS SOPS 61556 HAS SOUS 51064 HAS SOUPS 51064 WITH SCORE 51125.556
AT ITER 3198 NEW BEST:: SOT 108904 SOS 61530 HAS SOPS 61530 HAS SOUS 51045 HAS SOUPS 51045 WITH SCORE 51106.53
AT ITER 3207 NEW BEST:: SOT 108897 SOS 61525 HAS SOPS 61525 HAS SOUS 51040 HAS SOUPS 51040 WITH SCORE 51101.525
AT ITER 3208 NEW BEST:: SOT 108897 SOS 61383 HAS SOPS 61383 HAS SOUS 51031 HAS SOUPS 51031 WITH SCORE 51092.383
AT ITER 3229 NEW BEST:: SOT 108897 SOS 61348 HAS SOPS 61348 HAS SOUS 51031 HAS SOUPS 51031 WITH SCORE 51092.348
AT ITER 3255 NEW BEST:: SOT 108897 SOS 61332 HAS SOPS 61332 HAS SOUS 51031 HAS SOUPS 51031 WITH SCORE 51092.332
AT ITER 3274 NEW BEST:: SOT 108897 SOS 61288 HAS SOPS 61288 HAS SOUS 51031 HAS SOUPS 51031 WITH SCORE 51092.288
AT ITER 3276 NEW BEST:: SOT 108885 SOS 61276 HAS SOPS 61276 HAS SOUS 50980 HAS SOUPS 50980 WITH SCORE 51041.276
AT ITER 3299 NEW BEST:: SOT 108854 SOS 61359 HAS SOPS 61359 HAS SOUS 50949 HAS SOUPS 50949 WITH SCORE 51010.359
AT ITER 3302 NEW BEST:: SOT 108854 SOS 61347 HAS SOPS 61347 HAS SOUS 50949 HAS SOUPS 50949 WITH SCORE 51010.347
AT ITER 3305 NEW BEST:: SOT 108848 SOS 61516 HAS SOPS 61516 HAS SOUS 50943 HAS SOUPS 50943 WITH SCORE 51004.516
AT ITER 3317 NEW BEST:: SOT 108841 SOS 61509 HAS SOPS 61509 HAS SOUS 50936 HAS SOUPS 50936 WITH SCORE 50997.509
AT ITER 3319 NEW BEST:: SOT 108831 SOS 61499 HAS SOPS 61499 HAS SOUS 50931 HAS SOUPS 50931 WITH SCORE 50992.499
AT ITER 3354 NEW BEST:: SOT 108831 SOS 61477 HAS SOPS 61477 HAS SOUS 50931 HAS SOUPS 50931 WITH SCORE 50992.477
AT ITER 3357 NEW BEST:: SOT 108831 SOS 61367 HAS SOPS 61367 HAS SOUS 50931 HAS SOUPS 50931 WITH SCORE 50992.367
AT ITER 3363 NEW BEST:: SOT 108676 SOS 61260 HAS SOPS 61260 HAS SOUS 50900 HAS SOUPS 50900 WITH SCORE 50961.26
AT ITER 3389 NEW BEST:: SOT 108587 SOS 61171 HAS SOPS 61171 HAS SOUS 50811 HAS SOUPS 50811 WITH SCORE 50872.171
AT ITER 3391 NEW BEST:: SOT 108616 SOS 61182 HAS SOPS 61182 HAS SOUS 50786 HAS SOUPS 50786 WITH SCORE 50847.182
AT ITER 3392 NEW BEST:: SOT 108599 SOS 61165 HAS SOPS 61165 HAS SOUS 50769 HAS SOUPS 50769 WITH SCORE 50830.165
AT ITER 3402 NEW BEST:: SOT 108421 SOS 61209 HAS SOPS 61209 HAS SOUS 50753 HAS SOUPS 50753 WITH SCORE 50814.209
AT ITER 3409 NEW BEST:: SOT 108417 SOS 61209 HAS SOPS 61209 HAS SOUS 50749 HAS SOUPS 50749 WITH SCORE 50810.209
AT ITER 3419 NEW BEST:: SOT 108410 SOS 61202 HAS SOPS 61202 HAS SOUS 50742 HAS SOUPS 50742 WITH SCORE 50803.202
AT ITER 3453 NEW BEST:: SOT 108415 SOS 61207 HAS SOPS 61207 HAS SOUS 50708 HAS SOUPS 50708 WITH SCORE 50769.207
AT ITER 3467 NEW BEST:: SOT 108407 SOS 61199 HAS SOPS 61199 HAS SOUS 50678 HAS SOUPS 50678 WITH SCORE 50739.199
AT ITER 3490 NEW BEST:: SOT 108407 SOS 61162 HAS SOPS 61162 HAS SOUS 50678 HAS SOUPS 50678 WITH SCORE 50739.162
AT ITER 3493 NEW BEST:: SOT 108400 SOS 61155 HAS SOPS 61155 HAS SOUS 50671 HAS SOUPS 50671 WITH SCORE 50732.155
AT ITER 3499 NEW BEST:: SOT 108400 SOS 61134 HAS SOPS 61134 HAS SOUS 50630 HAS SOUPS 50630 WITH SCORE 50691.134
AT ITER 3506 NEW BEST:: SOT 108396 SOS 61117 HAS SOPS 61117 HAS SOUS 50629 HAS SOUPS 50629 WITH SCORE 50690.117
AT ITER 3509 NEW BEST:: SOT 108399 SOS 61106 HAS SOPS 61106 HAS SOUS 50611 HAS SOUPS 50611 WITH SCORE 50672.106
AT ITER 3512 NEW BEST:: SOT 108399 SOS 61073 HAS SOPS 61073 HAS SOUS 50611 HAS SOUPS 50611 WITH SCORE 50672.073
AT ITER 3518 NEW BEST:: SOT 108345 SOS 61227 HAS SOPS 61227 HAS SOUS 50596 HAS SOUPS 50596 WITH SCORE 50657.227
AT ITER 3520 NEW BEST:: SOT 108345 SOS 61227 HAS SOPS 61227 HAS SOUS 50542 HAS SOUPS 50542 WITH SCORE 50603.227
AT ITER 3531 NEW BEST:: SOT 108330 SOS 61217 HAS SOPS 61217 HAS SOUS 50532 HAS SOUPS 50532 WITH SCORE 50593.217
AT ITER 3536 NEW BEST:: SOT 108325 SOS 61212 HAS SOPS 61212 HAS SOUS 50523 HAS SOUPS 50523 WITH SCORE 50584.212
AT ITER 3550 NEW BEST:: SOT 108271 SOS 61185 HAS SOPS 61185 HAS SOUS 50518 HAS SOUPS 50518 WITH SCORE 50579.185
AT ITER 3552 NEW BEST:: SOT 108253 SOS 61183 HAS SOPS 61183 HAS SOUS 50503 HAS SOUPS 50503 WITH SCORE 50564.183
AT ITER 3583 NEW BEST:: SOT 108253 SOS 61180 HAS SOPS 61180 HAS SOUS 50503 HAS SOUPS 50503 WITH SCORE 50564.18
AT ITER 3584 NEW BEST:: SOT 108223 SOS 61150 HAS SOPS 61150 HAS SOUS 50473 HAS SOUPS 50473 WITH SCORE 50534.15
AT ITER 3588 NEW BEST:: SOT 108219 SOS 61137 HAS SOPS 61137 HAS SOUS 50467 HAS SOUPS 50467 WITH SCORE 50528.137
AT ITER 3594 NEW BEST:: SOT 108208 SOS 61142 HAS SOPS 61142 HAS SOUS 50438 HAS SOUPS 50438 WITH SCORE 50499.142
AT ITER 3609 NEW BEST:: SOT 108208 SOS 61123 HAS SOPS 61123 HAS SOUS 50419 HAS SOUPS 50419 WITH SCORE 50480.123
AT ITER 3621 NEW BEST:: SOT 108274 SOS 61091 HAS SOPS 61091 HAS SOUS 50406 HAS SOUPS 50406 WITH SCORE 50467.091
AT ITER 3622 NEW BEST:: SOT 108274 SOS 61034 HAS SOPS 61034 HAS SOUS 50399 HAS SOUPS 50399 WITH SCORE 50460.034
AT ITER 3643 NEW BEST:: SOT 108250 SOS 61010 HAS SOPS 61010 HAS SOUS 50357 HAS SOUPS 50357 WITH SCORE 50418.01
AT ITER 3648 NEW BEST:: SOT 108250 SOS 61007 HAS SOPS 61007 HAS SOUS 50357 HAS SOUPS 50357 WITH SCORE 50418.007
AT ITER 3661 NEW BEST:: SOT 108219 SOS 61015 HAS SOPS 61015 HAS SOUS 50304 HAS SOUPS 50304 WITH SCORE 50365.015
AT ITER 3666 NEW BEST:: SOT 108218 SOS 61014 HAS SOPS 61014 HAS SOUS 50303 HAS SOUPS 50303 WITH SCORE 50364.014
AT ITER 3674 NEW BEST:: SOT 108179 SOS 60975 HAS SOPS 60975 HAS SOUS 50264 HAS SOUPS 50264 WITH SCORE 50324.975
AT ITER 3687 NEW BEST:: SOT 108160 SOS 60817 HAS SOPS 60817 HAS SOUS 50245 HAS SOUPS 50245 WITH SCORE 50305.817
AT ITER 3690 NEW BEST:: SOT 108160 SOS 60076 HAS SOPS 60076 HAS SOUS 50190 HAS SOUPS 50190 WITH SCORE 50250.076
AT ITER 3693 NEW BEST:: SOT 108156 SOS 60072 HAS SOPS 60072 HAS SOUS 50186 HAS SOUPS 50186 WITH SCORE 50246.072
AT ITER 3695 NEW BEST:: SOT 108133 SOS 60079 HAS SOPS 60079 HAS SOUS 50163 HAS SOUPS 50163 WITH SCORE 50223.079
AT ITER 3716 NEW BEST:: SOT 108133 SOS 60079 HAS SOPS 60079 HAS SOUS 50157 HAS SOUPS 50157 WITH SCORE 50217.079
AT ITER 3722 NEW BEST:: SOT 108133 SOS 60076 HAS SOPS 60076 HAS SOUS 50157 HAS SOUPS 50157 WITH SCORE 50217.076
AT ITER 3749 NEW BEST:: SOT 108149 SOS 59974 HAS SOPS 59974 HAS SOUS 50131 HAS SOUPS 50131 WITH SCORE 50190.974
AT ITER 3752 NEW BEST:: SOT 108151 SOS 59974 HAS SOPS 59974 HAS SOUS 50129 HAS SOUPS 50129 WITH SCORE 50188.974
AT ITER 3764 NEW BEST:: SOT 108146 SOS 59969 HAS SOPS 59969 HAS SOUS 50124 HAS SOUPS 50124 WITH SCORE 50183.969
AT ITER 3767 NEW BEST:: SOT 108134 SOS 59965 HAS SOPS 59965 HAS SOUS 50120 HAS SOUPS 50120 WITH SCORE 50179.965
AT ITER 3780 NEW BEST:: SOT 108134 SOS 59965 HAS SOPS 59965 HAS SOUS 50112 HAS SOUPS 50112 WITH SCORE 50171.965
AT ITER 3789 NEW BEST:: SOT 108134 SOS 59923 HAS SOPS 59923 HAS SOUS 50112 HAS SOUPS 50112 WITH SCORE 50171.923
AT ITER 3814 NEW BEST:: SOT 108105 SOS 59904 HAS SOPS 59904 HAS SOUS 50093 HAS SOUPS 50093 WITH SCORE 50152.904
AT ITER 3816 NEW BEST:: SOT 108095 SOS 59899 HAS SOPS 59899 HAS SOUS 50088 HAS SOUPS 50088 WITH SCORE 50147.899
AT ITER 3819 NEW BEST:: SOT 108095 SOS 59882 HAS SOPS 59882 HAS SOUS 50088 HAS SOUPS 50088 WITH SCORE 50147.882
AT ITER 3828 NEW BEST:: SOT 108095 SOS 59845 HAS SOPS 59845 HAS SOUS 50051 HAS SOUPS 50051 WITH SCORE 50110.845
AT ITER 3832 NEW BEST:: SOT 108093 SOS 59843 HAS SOPS 59843 HAS SOUS 50049 HAS SOUPS 50049 WITH SCORE 50108.843
AT ITER 3837 NEW BEST:: SOT 108093 SOS 59902 HAS SOPS 59902 HAS SOUS 50046 HAS SOUPS 50046 WITH SCORE 50105.902
AT ITER 3889 NEW BEST:: SOT 108080 SOS 59889 HAS SOPS 59889 HAS SOUS 50033 HAS SOUPS 50033 WITH SCORE 50092.889
AT ITER 3899 NEW BEST:: SOT 108075 SOS 60316 HAS SOPS 60316 HAS SOUS 50028 HAS SOUPS 50028 WITH SCORE 50088.316
AT ITER 3900 NEW BEST:: SOT 108032 SOS 60310 HAS SOPS 60310 HAS SOUS 50022 HAS SOUPS 50022 WITH SCORE 50082.31
AT ITER 3908 NEW BEST:: SOT 108046 SOS 60301 HAS SOPS 60301 HAS SOUS 50013 HAS SOUPS 50013 WITH SCORE 50073.301
AT ITER 3909 NEW BEST:: SOT 108046 SOS 60166 HAS SOPS 60166 HAS SOUS 49963 HAS SOUPS 49963 WITH SCORE 50023.166
AT ITER 3926 NEW BEST:: SOT 108046 SOS 60131 HAS SOPS 60131 HAS SOUS 49963 HAS SOUPS 49963 WITH SCORE 50023.131
AT ITER 3927 NEW BEST:: SOT 108031 SOS 60322 HAS SOPS 60322 HAS SOUS 49954 HAS SOUPS 49954 WITH SCORE 50014.322
AT ITER 3935 NEW BEST:: SOT 107670 SOS 60191 HAS SOPS 60191 HAS SOUS 49884 HAS SOUPS 49884 WITH SCORE 49944.191
AT ITER 3937 NEW BEST:: SOT 107621 SOS 60142 HAS SOPS 60142 HAS SOUS 49835 HAS SOUPS 49835 WITH SCORE 49895.142
AT ITER 3944 NEW BEST:: SOT 107621 SOS 60142 HAS SOPS 60142 HAS SOUS 49794 HAS SOUPS 49794 WITH SCORE 49854.142
AT ITER 3948 NEW BEST:: SOT 107509 SOS 60070 HAS SOPS 60070 HAS SOUS 49760 HAS SOUPS 49760 WITH SCORE 49820.07
AT ITER 3956 NEW BEST:: SOT 107437 SOS 60605 HAS SOPS 60605 HAS SOUS 49688 HAS SOUPS 49688 WITH SCORE 49748.605
AT ITER 3979 NEW BEST:: SOT 107424 SOS 60592 HAS SOPS 60592 HAS SOUS 49675 HAS SOUPS 49675 WITH SCORE 49735.592
AT ITER 3980 NEW BEST:: SOT 107391 SOS 60559 HAS SOPS 60559 HAS SOUS 49642 HAS SOUPS 49642 WITH SCORE 49702.559
AT ITER 4027 NEW BEST:: SOT 107445 SOS 60543 HAS SOPS 60543 HAS SOUS 49620 HAS SOUPS 49620 WITH SCORE 49680.543
AT ITER 4031 NEW BEST:: SOT 107477 SOS 60597 HAS SOPS 60597 HAS SOUS 49600 HAS SOUPS 49600 WITH SCORE 49660.597
AT ITER 4033 NEW BEST:: SOT 107477 SOS 60587 HAS SOPS 60587 HAS SOUS 49600 HAS SOUPS 49600 WITH SCORE 49660.587
AT ITER 4041 NEW BEST:: SOT 107417 SOS 60547 HAS SOPS 60547 HAS SOUS 49600 HAS SOUPS 49600 WITH SCORE 49660.547
AT ITER 4050 NEW BEST:: SOT 107474 SOS 60545 HAS SOPS 60545 HAS SOUS 49556 HAS SOUPS 49556 WITH SCORE 49616.545
AT ITER 4061 NEW BEST:: SOT 107474 SOS 60490 HAS SOPS 60490 HAS SOUS 49548 HAS SOUPS 49548 WITH SCORE 49608.49
AT ITER 4075 NEW BEST:: SOT 107472 SOS 60488 HAS SOPS 60488 HAS SOUS 49546 HAS SOUPS 49546 WITH SCORE 49606.488
AT ITER 4097 NEW BEST:: SOT 107317 SOS 60424 HAS SOPS 60424 HAS SOUS 49485 HAS SOUPS 49485 WITH SCORE 49545.424
AT ITER 4098 NEW BEST:: SOT 107296 SOS 60458 HAS SOPS 60458 HAS SOUS 49480 HAS SOUPS 49480 WITH SCORE 49540.458
AT ITER 4101 NEW BEST:: SOT 107279 SOS 60441 HAS SOPS 60441 HAS SOUS 49463 HAS SOUPS 49463 WITH SCORE 49523.441
AT ITER 4118 NEW BEST:: SOT 107252 SOS 60495 HAS SOPS 60495 HAS SOUS 49455 HAS SOUPS 49455 WITH SCORE 49515.495
AT ITER 4120 NEW BEST:: SOT 107252 SOS 60477 HAS SOPS 60477 HAS SOUS 49455 HAS SOUPS 49455 WITH SCORE 49515.477
AT ITER 4122 NEW BEST:: SOT 107252 SOS 60514 HAS SOPS 60514 HAS SOUS 49453 HAS SOUPS 49453 WITH SCORE 49513.514
AT ITER 4135 NEW BEST:: SOT 107252 SOS 60499 HAS SOPS 60499 HAS SOUS 49453 HAS SOUPS 49453 WITH SCORE 49513.499
AT ITER 4141 NEW BEST:: SOT 107249 SOS 60496 HAS SOPS 60496 HAS SOUS 49450 HAS SOUPS 49450 WITH SCORE 49510.496
AT ITER 4169 NEW BEST:: SOT 107210 SOS 60457 HAS SOPS 60457 HAS SOUS 49411 HAS SOUPS 49411 WITH SCORE 49471.457
AT ITER 4170 NEW BEST:: SOT 107178 SOS 60425 HAS SOPS 60425 HAS SOUS 49379 HAS SOUPS 49379 WITH SCORE 49439.425
AT ITER 4206 NEW BEST:: SOT 107176 SOS 60423 HAS SOPS 60423 HAS SOUS 49342 HAS SOUPS 49342 WITH SCORE 49402.423
AT ITER 4237 NEW BEST:: SOT 107083 SOS 60330 HAS SOPS 60330 HAS SOUS 49249 HAS SOUPS 49249 WITH SCORE 49309.33
AT ITER 4244 NEW BEST:: SOT 107145 SOS 60392 HAS SOPS 60392 HAS SOUS 49199 HAS SOUPS 49199 WITH SCORE 49259.392
AT ITER 4249 NEW BEST:: SOT 107145 SOS 60372 HAS SOPS 60372 HAS SOUS 49199 HAS SOUPS 49199 WITH SCORE 49259.372
AT ITER 4269 NEW BEST:: SOT 107145 SOS 60346 HAS SOPS 60346 HAS SOUS 49199 HAS SOUPS 49199 WITH SCORE 49259.346
AT ITER 4278 NEW BEST:: SOT 107190 SOS 60464 HAS SOPS 60464 HAS SOUS 49190 HAS SOUPS 49190 WITH SCORE 49250.464
AT ITER 4287 NEW BEST:: SOT 107061 SOS 60378 HAS SOPS 60378 HAS SOUS 49130 HAS SOUPS 49130 WITH SCORE 49190.378
AT ITER 4298 NEW BEST:: SOT 107049 SOS 60417 HAS SOPS 60417 HAS SOUS 49118 HAS SOUPS 49118 WITH SCORE 49178.417
AT ITER 4302 NEW BEST:: SOT 107067 SOS 60363 HAS SOPS 60363 HAS SOUS 49061 HAS SOUPS 49061 WITH SCORE 49121.363
AT ITER 4309 NEW BEST:: SOT 107067 SOS 60353 HAS SOPS 60353 HAS SOUS 49056 HAS SOUPS 49056 WITH SCORE 49116.353
AT ITER 4337 NEW BEST:: SOT 107060 SOS 60346 HAS SOPS 60346 HAS SOUS 49049 HAS SOUPS 49049 WITH SCORE 49109.346
AT ITER 4399 NEW BEST:: SOT 106954 SOS 60990 HAS SOPS 60990 HAS SOUS 49038 HAS SOUPS 49038 WITH SCORE 49098.99
AT ITER 4403 NEW BEST:: SOT 106937 SOS 60912 HAS SOPS 60912 HAS SOUS 48972 HAS SOUPS 48972 WITH SCORE 49032.912
AT ITER 4411 NEW BEST:: SOT 106904 SOS 60879 HAS SOPS 60879 HAS SOUS 48939 HAS SOUPS 48939 WITH SCORE 48999.879
AT ITER 4426 NEW BEST:: SOT 106894 SOS 60869 HAS SOPS 60869 HAS SOUS 48929 HAS SOUPS 48929 WITH SCORE 48989.869
AT ITER 4430 NEW BEST:: SOT 106883 SOS 60858 HAS SOPS 60858 HAS SOUS 48909 HAS SOUPS 48909 WITH SCORE 48969.858
AT ITER 4435 NEW BEST:: SOT 106870 SOS 60845 HAS SOPS 60845 HAS SOUS 48896 HAS SOUPS 48896 WITH SCORE 48956.845
AT ITER 4436 NEW BEST:: SOT 106870 SOS 60834 HAS SOPS 60834 HAS SOUS 48896 HAS SOUPS 48896 WITH SCORE 48956.834
AT ITER 4438 NEW BEST:: SOT 106854 SOS 60818 HAS SOPS 60818 HAS SOUS 48885 HAS SOUPS 48885 WITH SCORE 48945.818
AT ITER 4454 NEW BEST:: SOT 106849 SOS 60813 HAS SOPS 60813 HAS SOUS 48880 HAS SOUPS 48880 WITH SCORE 48940.813
AT ITER 4488 NEW BEST:: SOT 106843 SOS 60812 HAS SOPS 60812 HAS SOUS 48873 HAS SOUPS 48873 WITH SCORE 48933.812
AT ITER 4492 NEW BEST:: SOT 106835 SOS 60804 HAS SOPS 60804 HAS SOUS 48866 HAS SOUPS 48866 WITH SCORE 48926.804
AT ITER 4502 NEW BEST:: SOT 106803 SOS 60891 HAS SOPS 60891 HAS SOUS 48855 HAS SOUPS 48855 WITH SCORE 48915.891
AT ITER 4533 NEW BEST:: SOT 106803 SOS 60890 HAS SOPS 60890 HAS SOUS 48854 HAS SOUPS 48854 WITH SCORE 48914.89
AT ITER 4534 NEW BEST:: SOT 106854 SOS 60870 HAS SOPS 60870 HAS SOUS 48826 HAS SOUPS 48826 WITH SCORE 48886.87
AT ITER 4537 NEW BEST:: SOT 106839 SOS 60855 HAS SOPS 60855 HAS SOUS 48811 HAS SOUPS 48811 WITH SCORE 48871.855
AT ITER 4552 NEW BEST:: SOT 106710 SOS 60950 HAS SOPS 60950 HAS SOUS 48758 HAS SOUPS 48758 WITH SCORE 48818.95
AT ITER 4557 NEW BEST:: SOT 106698 SOS 60938 HAS SOPS 60938 HAS SOUS 48746 HAS SOUPS 48746 WITH SCORE 48806.938
AT ITER 4559 NEW BEST:: SOT 106698 SOS 60926 HAS SOPS 60926 HAS SOUS 48746 HAS SOUPS 48746 WITH SCORE 48806.926
AT ITER 4561 NEW BEST:: SOT 106698 SOS 60926 HAS SOPS 60926 HAS SOUS 48745 HAS SOUPS 48745 WITH SCORE 48805.926
AT ITER 4593 NEW BEST:: SOT 106698 SOS 60916 HAS SOPS 60916 HAS SOUS 48737 HAS SOUPS 48737 WITH SCORE 48797.916
AT ITER 4604 NEW BEST:: SOT 106698 SOS 60902 HAS SOPS 60902 HAS SOUS 48737 HAS SOUPS 48737 WITH SCORE 48797.902
AT ITER 4652 NEW BEST:: SOT 106698 SOS 60616 HAS SOPS 60616 HAS SOUS 48734 HAS SOUPS 48734 WITH SCORE 48794.616
AT ITER 4684 NEW BEST:: SOT 106695 SOS 60613 HAS SOPS 60613 HAS SOUS 48731 HAS SOUPS 48731 WITH SCORE 48791.613
AT ITER 4693 NEW BEST:: SOT 106695 SOS 60611 HAS SOPS 60611 HAS SOUS 48731 HAS SOUPS 48731 WITH SCORE 48791.611
AT ITER 4697 NEW BEST:: SOT 106684 SOS 60598 HAS SOPS 60598 HAS SOUS 48718 HAS SOUPS 48718 WITH SCORE 48778.598
AT ITER 4745 NEW BEST:: SOT 106694 SOS 60598 HAS SOPS 60598 HAS SOUS 48708 HAS SOUPS 48708 WITH SCORE 48768.598
AT ITER 4751 NEW BEST:: SOT 106694 SOS 60627 HAS SOPS 60627 HAS SOUS 48670 HAS SOUPS 48670 WITH SCORE 48730.627
AT ITER 4764 NEW BEST:: SOT 106658 SOS 60610 HAS SOPS 60610 HAS SOUS 48637 HAS SOUPS 48637 WITH SCORE 48697.61
AT ITER 4782 NEW BEST:: SOT 106656 SOS 60608 HAS SOPS 60608 HAS SOUS 48635 HAS SOUPS 48635 WITH SCORE 48695.608
AT ITER 4792 NEW BEST:: SOT 106642 SOS 60594 HAS SOPS 60594 HAS SOUS 48623 HAS SOUPS 48623 WITH SCORE 48683.594
AT ITER 4834 NEW BEST:: SOT 106627 SOS 60579 HAS SOPS 60579 HAS SOUS 48614 HAS SOUPS 48614 WITH SCORE 48674.579
AT ITER 4866 NEW BEST:: SOT 106626 SOS 60578 HAS SOPS 60578 HAS SOUS 48613 HAS SOUPS 48613 WITH SCORE 48673.578
AT ITER 4869 NEW BEST:: SOT 106545 SOS 60553 HAS SOPS 60553 HAS SOUS 48560 HAS SOUPS 48560 WITH SCORE 48620.553
AT ITER 4902 NEW BEST:: SOT 106545 SOS 60553 HAS SOPS 60553 HAS SOUS 48559 HAS SOUPS 48559 WITH SCORE 48619.553
AT ITER 4912 NEW BEST:: SOT 106534 SOS 60542 HAS SOPS 60542 HAS SOUS 48537 HAS SOUPS 48537 WITH SCORE 48597.542
AT ITER 4918 NEW BEST:: SOT 106534 SOS 60542 HAS SOPS 60542 HAS SOUS 48533 HAS SOUPS 48533 WITH SCORE 48593.542
AT ITER 4925 NEW BEST:: SOT 106504 SOS 60512 HAS SOPS 60512 HAS SOUS 48480 HAS SOUPS 48480 WITH SCORE 48540.512
AT ITER 4931 NEW BEST:: SOT 106504 SOS 60441 HAS SOPS 60441 HAS SOUS 48480 HAS SOUPS 48480 WITH SCORE 48540.441
AT ITER 4936 NEW BEST:: SOT 106501 SOS 60271 HAS SOPS 60271 HAS SOUS 48477 HAS SOUPS 48477 WITH SCORE 48537.271
AT ITER 4952 NEW BEST:: SOT 106501 SOS 60271 HAS SOPS 60271 HAS SOUS 48475 HAS SOUPS 48475 WITH SCORE 48535.271
AT ITER 4979 NEW BEST:: SOT 106501 SOS 60231 HAS SOPS 60231 HAS SOUS 48475 HAS SOUPS 48475 WITH SCORE 48535.231
AT ITER 4999 NEW BEST:: SOT 106495 SOS 60225 HAS SOPS 60225 HAS SOUS 48469 HAS SOUPS 48469 WITH SCORE 48529.225
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Sudoku-PT-AN07-CTLCardinality-00 (AG( (EX( (! potential( ( 3 ) <= (tk(P190)) ))))))
PROPERTY: Sudoku-PT-AN07-CTLCardinality-01 ( (! (EG( (! potential( ( 2 ) <= (tk(P400)) ))))) | ( ( ( ( potential( ( 2 ) <= (tk(P179)) ) & potential( (tk(P227)) <= (tk(P346)) ) ) | ( potential( ( 1 ) <= (tk(P223)) ) & potential( (tk(P405)) <= (tk(P383)) ) ) ) & (AF(potential( (tk(P89)) <= (tk(P404)) ))) ) | ( ( (! potential( (tk(P387)) <= (tk(P15)) )) & (! potential( (tk(P171)) <= (tk(P485)) )) ) | (! ( potential( (tk(P72)) <= (tk(P394)) ) & potential( ( 1 ) <= (tk(P454)) ) )) ) ) )
PROPERTY: Sudoku-PT-AN07-CTLCardinality-02 ( (AF(( ( potential( ( 1 ) <= (tk(P77)) ) | potential( ( 2 ) <= (tk(P489)) ) ) & (! potential( ( 1 ) <= (tk(P281)) )) ))) & (EF(potential( (tk(P292)) <= (tk(P475)) ))) )
PROPERTY: Sudoku-PT-AN07-CTLCardinality-03 (AG( ( (! (! potential( (tk(P367)) <= (tk(P178)) ))) | (AF(potential( ( 3 ) <= (tk(P139)) ))) )))
PROPERTY: Sudoku-PT-AN07-CTLCardinality-04 (EX( (! (EF(potential( (tk(P451)) <= (tk(P176)) ))))))
PROPERTY: Sudoku-PT-AN07-CTLCardinality-05 (AX( ( (EX( potential( (tk(P393)) <= (tk(P180)) ))) & (EF(potential( ( 2 ) <= (tk(P224)) ))) )))
PROPERTY: Sudoku-PT-AN07-CTLCardinality-06 (! (AX( (AF(potential( (tk(P177)) <= (tk(P97)) ))))))
PROPERTY: Sudoku-PT-AN07-CTLCardinality-07 (EF(potential( ( 3 ) <= (tk(P451)) )))
PROPERTY: Sudoku-PT-AN07-CTLCardinality-08 (AF(( (AF(potential( (tk(P159)) <= (tk(P460)) ))) & (EF(potential( ( 2 ) <= (tk(P87)) ))) )))
PROPERTY: Sudoku-PT-AN07-CTLCardinality-09 (EU( potential( ( 1 ) <= (tk(P484)) ),(EF(potential( ( 2 ) <= (tk(P209)) ))) ))
PROPERTY: Sudoku-PT-AN07-CTLCardinality-10 (EG( (AX( (! potential( ( 3 ) <= (tk(P315)) ))))))
PROPERTY: Sudoku-PT-AN07-CTLCardinality-11 ( ( ( (EG( potential( ( 2 ) <= (tk(P26)) ))) & (EF(potential( (tk(P434)) <= (tk(P454)) ))) ) | (! potential( ( 3 ) <= (tk(P96)) )) ) & (AF(potential( (tk(P445)) <= (tk(P61)) ))) )
PROPERTY: Sudoku-PT-AN07-CTLCardinality-12 (AU( ( ( potential( (tk(P271)) <= (tk(P340)) ) | potential( (tk(P296)) <= (tk(P98)) ) ) | (! potential( ( 3 ) <= (tk(P211)) )) ),(EG( potential( ( 2 ) <= (tk(P400)) ))) ))
PROPERTY: Sudoku-PT-AN07-CTLCardinality-13 ( (AF((! potential( (tk(P227)) <= (tk(P294)) )))) & (EX( (EF(potential( ( 2 ) <= (tk(P2)) ))))) )
PROPERTY: Sudoku-PT-AN07-CTLCardinality-14 (! (EG( (! (! potential( (tk(P374)) <= (tk(P317)) ))))))
PROPERTY: Sudoku-PT-AN07-CTLCardinality-15 (! (! (EF(potential( ( 3 ) <= (tk(P488)) )))))
BK_TIME_CONFINEMENT_REACHED
--------------------
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="Sudoku-PT-AN07"
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 Sudoku-PT-AN07, 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 r224-oct2-159033538700363"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-PT-AN07.tgz
mv Sudoku-PT-AN07 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 '
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 ;