About the Execution of smart for BusinessProcesses-PT-10
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15741.940 | 3600000.00 | 3591540.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.r018-oct2-158897680100528.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 BusinessProcesses-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680100528
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 296K
-rw-r--r-- 1 mcc users 3.6K Mar 26 02:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 26 02:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 131K 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 1589019737062
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 10
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 518 places, 471 transitions, 1415 arcs.
AT ITER 0 NEW BEST:: SOT 157270 SOS 64272 HAS SOPS 64272 HAS SOUS 61445 HAS SOUPS 61445 WITH SCORE 61509.272
AT ITER 7 NEW BEST:: SOT 157222 SOS 64224 HAS SOPS 64224 HAS SOUS 61397 HAS SOUPS 61397 WITH SCORE 61461.224
AT ITER 10 NEW BEST:: SOT 157222 SOS 64182 HAS SOPS 64182 HAS SOUS 61355 HAS SOUPS 61355 WITH SCORE 61419.182
AT ITER 15 NEW BEST:: SOT 157218 SOS 64301 HAS SOPS 64301 HAS SOUS 61350 HAS SOUPS 61350 WITH SCORE 61414.301
AT ITER 16 NEW BEST:: SOT 157217 SOS 64299 HAS SOPS 64299 HAS SOUS 61348 HAS SOUPS 61348 WITH SCORE 61412.299
AT ITER 17 NEW BEST:: SOT 157217 SOS 64225 HAS SOPS 64225 HAS SOUS 61274 HAS SOUPS 61274 WITH SCORE 61338.225
AT ITER 29 NEW BEST:: SOT 157174 SOS 64139 HAS SOPS 64139 HAS SOUS 61188 HAS SOUPS 61188 WITH SCORE 61252.139
AT ITER 35 NEW BEST:: SOT 157059 SOS 64016 HAS SOPS 64016 HAS SOUS 61144 HAS SOUPS 61144 WITH SCORE 61208.016
AT ITER 45 NEW BEST:: SOT 156617 SOS 64939 HAS SOPS 64939 HAS SOUS 61016 HAS SOUPS 61016 WITH SCORE 61080.939
AT ITER 48 NEW BEST:: SOT 156454 SOS 64722 HAS SOPS 64722 HAS SOUS 60799 HAS SOUPS 60799 WITH SCORE 60863.722
AT ITER 57 NEW BEST:: SOT 156312 SOS 64548 HAS SOPS 64548 HAS SOUS 60647 HAS SOUPS 60647 WITH SCORE 60711.548
AT ITER 60 NEW BEST:: SOT 156223 SOS 64458 HAS SOPS 64458 HAS SOUS 60557 HAS SOUPS 60557 WITH SCORE 60621.458
AT ITER 63 NEW BEST:: SOT 152766 SOS 61346 HAS SOPS 61346 HAS SOUS 57222 HAS SOUPS 57222 WITH SCORE 57283.346
AT ITER 65 NEW BEST:: SOT 152752 SOS 61332 HAS SOPS 61332 HAS SOUS 57222 HAS SOUPS 57222 WITH SCORE 57283.332
AT ITER 77 NEW BEST:: SOT 152707 SOS 61332 HAS SOPS 61332 HAS SOUS 57221 HAS SOUPS 57221 WITH SCORE 57282.332
AT ITER 89 NEW BEST:: SOT 152706 SOS 61331 HAS SOPS 61331 HAS SOUS 57220 HAS SOUPS 57220 WITH SCORE 57281.331
AT ITER 103 NEW BEST:: SOT 152696 SOS 61311 HAS SOPS 61311 HAS SOUS 57208 HAS SOUPS 57208 WITH SCORE 57269.311
AT ITER 108 NEW BEST:: SOT 152677 SOS 61273 HAS SOPS 61273 HAS SOUS 57170 HAS SOUPS 57170 WITH SCORE 57231.273
AT ITER 120 NEW BEST:: SOT 150727 SOS 59452 HAS SOPS 59452 HAS SOUS 55349 HAS SOUPS 55349 WITH SCORE 55408.452
AT ITER 123 NEW BEST:: SOT 150727 SOS 59428 HAS SOPS 59428 HAS SOUS 55349 HAS SOUPS 55349 WITH SCORE 55408.428
AT ITER 124 NEW BEST:: SOT 150757 SOS 59454 HAS SOPS 59454 HAS SOUS 55341 HAS SOUPS 55341 WITH SCORE 55400.454
AT ITER 129 NEW BEST:: SOT 150764 SOS 59197 HAS SOPS 59197 HAS SOUS 55084 HAS SOUPS 55084 WITH SCORE 55143.197
AT ITER 133 NEW BEST:: SOT 150756 SOS 59181 HAS SOPS 59181 HAS SOUS 55068 HAS SOUPS 55068 WITH SCORE 55127.181
AT ITER 139 NEW BEST:: SOT 150788 SOS 59195 HAS SOPS 59195 HAS SOUS 55050 HAS SOUPS 55050 WITH SCORE 55109.195
AT ITER 148 NEW BEST:: SOT 150758 SOS 59177 HAS SOPS 59177 HAS SOUS 55032 HAS SOUPS 55032 WITH SCORE 55091.177
AT ITER 151 NEW BEST:: SOT 150813 SOS 59226 HAS SOPS 59226 HAS SOUS 55026 HAS SOUPS 55026 WITH SCORE 55085.226
AT ITER 160 NEW BEST:: SOT 150758 SOS 59014 HAS SOPS 59014 HAS SOUS 54814 HAS SOUPS 54814 WITH SCORE 54873.014
AT ITER 165 NEW BEST:: SOT 150782 SOS 59038 HAS SOPS 59038 HAS SOUS 54813 HAS SOUPS 54813 WITH SCORE 54872.038
AT ITER 167 NEW BEST:: SOT 150618 SOS 58812 HAS SOPS 58812 HAS SOUS 54587 HAS SOUPS 54587 WITH SCORE 54645.812
AT ITER 171 NEW BEST:: SOT 150618 SOS 58576 HAS SOPS 58576 HAS SOUS 54563 HAS SOUPS 54563 WITH SCORE 54621.576
AT ITER 172 NEW BEST:: SOT 150593 SOS 58550 HAS SOPS 58550 HAS SOUS 54561 HAS SOUPS 54561 WITH SCORE 54619.55
AT ITER 190 NEW BEST:: SOT 150593 SOS 58398 HAS SOPS 58398 HAS SOUS 54409 HAS SOUPS 54409 WITH SCORE 54467.398
AT ITER 195 NEW BEST:: SOT 150592 SOS 58397 HAS SOPS 58397 HAS SOUS 54408 HAS SOUPS 54408 WITH SCORE 54466.397
AT ITER 199 NEW BEST:: SOT 150606 SOS 58133 HAS SOPS 58133 HAS SOUS 54261 HAS SOUPS 54261 WITH SCORE 54319.133
AT ITER 202 NEW BEST:: SOT 150557 SOS 58035 HAS SOPS 58035 HAS SOUS 54163 HAS SOUPS 54163 WITH SCORE 54221.035
AT ITER 217 NEW BEST:: SOT 150556 SOS 58034 HAS SOPS 58034 HAS SOUS 54162 HAS SOUPS 54162 WITH SCORE 54220.034
AT ITER 234 NEW BEST:: SOT 150552 SOS 58030 HAS SOPS 58030 HAS SOUS 54158 HAS SOUPS 54158 WITH SCORE 54216.03
AT ITER 235 NEW BEST:: SOT 150549 SOS 58027 HAS SOPS 58027 HAS SOUS 54155 HAS SOUPS 54155 WITH SCORE 54213.027
AT ITER 242 NEW BEST:: SOT 150549 SOS 58017 HAS SOPS 58017 HAS SOUS 54145 HAS SOUPS 54145 WITH SCORE 54203.017
AT ITER 244 NEW BEST:: SOT 150327 SOS 58189 HAS SOPS 58189 HAS SOUS 53929 HAS SOUPS 53929 WITH SCORE 53987.189
AT ITER 246 NEW BEST:: SOT 150374 SOS 58262 HAS SOPS 58262 HAS SOUS 53806 HAS SOUPS 53806 WITH SCORE 53864.262
AT ITER 248 NEW BEST:: SOT 150422 SOS 58255 HAS SOPS 58255 HAS SOUS 53799 HAS SOUPS 53799 WITH SCORE 53857.255
AT ITER 253 NEW BEST:: SOT 150422 SOS 58225 HAS SOPS 58225 HAS SOUS 53769 HAS SOUPS 53769 WITH SCORE 53827.225
AT ITER 271 NEW BEST:: SOT 150316 SOS 57991 HAS SOPS 57991 HAS SOUS 53641 HAS SOUPS 53641 WITH SCORE 53698.991
AT ITER 272 NEW BEST:: SOT 150143 SOS 58127 HAS SOPS 58127 HAS SOUS 53634 HAS SOUPS 53634 WITH SCORE 53692.127
AT ITER 282 NEW BEST:: SOT 150060 SOS 58118 HAS SOPS 58118 HAS SOUS 53625 HAS SOUPS 53625 WITH SCORE 53683.118
AT ITER 284 NEW BEST:: SOT 149988 SOS 58032 HAS SOPS 58032 HAS SOUS 53598 HAS SOUPS 53598 WITH SCORE 53656.032
AT ITER 294 NEW BEST:: SOT 149861 SOS 57864 HAS SOPS 57864 HAS SOUS 53518 HAS SOUPS 53518 WITH SCORE 53575.864
AT ITER 296 NEW BEST:: SOT 149847 SOS 57850 HAS SOPS 57850 HAS SOUS 53504 HAS SOUPS 53504 WITH SCORE 53561.85
AT ITER 297 NEW BEST:: SOT 149751 SOS 57722 HAS SOPS 57722 HAS SOUS 53431 HAS SOUPS 53431 WITH SCORE 53488.722
AT ITER 300 NEW BEST:: SOT 147903 SOS 55772 HAS SOPS 55772 HAS SOUS 51481 HAS SOUPS 51481 WITH SCORE 51536.772
AT ITER 302 NEW BEST:: SOT 147757 SOS 55418 HAS SOPS 55418 HAS SOUS 51343 HAS SOUPS 51343 WITH SCORE 51398.418
AT ITER 304 NEW BEST:: SOT 147757 SOS 55338 HAS SOPS 55338 HAS SOUS 51194 HAS SOUPS 51194 WITH SCORE 51249.338
AT ITER 315 NEW BEST:: SOT 147726 SOS 55300 HAS SOPS 55300 HAS SOUS 51156 HAS SOUPS 51156 WITH SCORE 51211.3
AT ITER 324 NEW BEST:: SOT 147724 SOS 55190 HAS SOPS 55190 HAS SOUS 51046 HAS SOUPS 51046 WITH SCORE 51101.19
AT ITER 327 NEW BEST:: SOT 147610 SOS 54915 HAS SOPS 54915 HAS SOUS 50932 HAS SOUPS 50932 WITH SCORE 50986.915
AT ITER 335 NEW BEST:: SOT 147446 SOS 54764 HAS SOPS 54764 HAS SOUS 50781 HAS SOUPS 50781 WITH SCORE 50835.764
AT ITER 353 NEW BEST:: SOT 147377 SOS 54625 HAS SOPS 54625 HAS SOUS 50723 HAS SOUPS 50723 WITH SCORE 50777.625
AT ITER 357 NEW BEST:: SOT 147361 SOS 54593 HAS SOPS 54593 HAS SOUS 50691 HAS SOUPS 50691 WITH SCORE 50745.593
AT ITER 365 NEW BEST:: SOT 147360 SOS 54573 HAS SOPS 54573 HAS SOUS 50671 HAS SOUPS 50671 WITH SCORE 50725.573
AT ITER 367 NEW BEST:: SOT 147315 SOS 54557 HAS SOPS 54557 HAS SOUS 50655 HAS SOUPS 50655 WITH SCORE 50709.557
AT ITER 374 NEW BEST:: SOT 147291 SOS 54533 HAS SOPS 54533 HAS SOUS 50655 HAS SOUPS 50655 WITH SCORE 50709.533
AT ITER 387 NEW BEST:: SOT 147285 SOS 54521 HAS SOPS 54521 HAS SOUS 50643 HAS SOUPS 50643 WITH SCORE 50697.521
AT ITER 391 NEW BEST:: SOT 147307 SOS 54274 HAS SOPS 54274 HAS SOUS 50396 HAS SOUPS 50396 WITH SCORE 50450.274
AT ITER 394 NEW BEST:: SOT 147296 SOS 54263 HAS SOPS 54263 HAS SOUS 50385 HAS SOUPS 50385 WITH SCORE 50439.263
AT ITER 397 NEW BEST:: SOT 147355 SOS 54291 HAS SOPS 54291 HAS SOUS 50353 HAS SOUPS 50353 WITH SCORE 50407.291
AT ITER 402 NEW BEST:: SOT 147342 SOS 54265 HAS SOPS 54265 HAS SOUS 50327 HAS SOUPS 50327 WITH SCORE 50381.265
AT ITER 406 NEW BEST:: SOT 147342 SOS 54298 HAS SOPS 54298 HAS SOUS 50325 HAS SOUPS 50325 WITH SCORE 50379.298
AT ITER 423 NEW BEST:: SOT 147321 SOS 54277 HAS SOPS 54277 HAS SOUS 50304 HAS SOUPS 50304 WITH SCORE 50358.277
AT ITER 450 NEW BEST:: SOT 147325 SOS 54270 HAS SOPS 54270 HAS SOUS 50297 HAS SOUPS 50297 WITH SCORE 50351.27
AT ITER 454 NEW BEST:: SOT 147229 SOS 54208 HAS SOPS 54208 HAS SOUS 50235 HAS SOUPS 50235 WITH SCORE 50289.208
AT ITER 460 NEW BEST:: SOT 147228 SOS 54175 HAS SOPS 54175 HAS SOUS 50202 HAS SOUPS 50202 WITH SCORE 50256.175
AT ITER 461 NEW BEST:: SOT 147172 SOS 54090 HAS SOPS 54090 HAS SOUS 50117 HAS SOUPS 50117 WITH SCORE 50171.09
AT ITER 467 NEW BEST:: SOT 147400 SOS 54055 HAS SOPS 54055 HAS SOUS 50082 HAS SOUPS 50082 WITH SCORE 50136.055
AT ITER 485 NEW BEST:: SOT 147374 SOS 53975 HAS SOPS 53975 HAS SOUS 50002 HAS SOUPS 50002 WITH SCORE 50055.975
AT ITER 486 NEW BEST:: SOT 147331 SOS 53883 HAS SOPS 53883 HAS SOUS 49910 HAS SOUPS 49910 WITH SCORE 49963.883
AT ITER 490 NEW BEST:: SOT 147325 SOS 53865 HAS SOPS 53865 HAS SOUS 49892 HAS SOUPS 49892 WITH SCORE 49945.865
AT ITER 491 NEW BEST:: SOT 147208 SOS 53631 HAS SOPS 53631 HAS SOUS 49658 HAS SOUPS 49658 WITH SCORE 49711.631
AT ITER 512 NEW BEST:: SOT 147221 SOS 53587 HAS SOPS 53587 HAS SOUS 49614 HAS SOUPS 49614 WITH SCORE 49667.587
AT ITER 515 NEW BEST:: SOT 147221 SOS 53575 HAS SOPS 53575 HAS SOUS 49602 HAS SOUPS 49602 WITH SCORE 49655.575
AT ITER 521 NEW BEST:: SOT 147113 SOS 53314 HAS SOPS 53314 HAS SOUS 49442 HAS SOUPS 49442 WITH SCORE 49495.314
AT ITER 542 NEW BEST:: SOT 147101 SOS 53314 HAS SOPS 53314 HAS SOUS 49430 HAS SOUPS 49430 WITH SCORE 49483.314
AT ITER 543 NEW BEST:: SOT 146924 SOS 53161 HAS SOPS 53161 HAS SOUS 49301 HAS SOUPS 49301 WITH SCORE 49354.161
AT ITER 568 NEW BEST:: SOT 146991 SOS 53127 HAS SOPS 53127 HAS SOUS 49267 HAS SOUPS 49267 WITH SCORE 49320.127
AT ITER 569 NEW BEST:: SOT 146991 SOS 53117 HAS SOPS 53117 HAS SOUS 49257 HAS SOUPS 49257 WITH SCORE 49310.117
AT ITER 575 NEW BEST:: SOT 146991 SOS 53066 HAS SOPS 53066 HAS SOUS 49206 HAS SOUPS 49206 WITH SCORE 49259.066
AT ITER 583 NEW BEST:: SOT 146513 SOS 52637 HAS SOPS 52637 HAS SOUS 48654 HAS SOUPS 48654 WITH SCORE 48706.637
AT ITER 610 NEW BEST:: SOT 146512 SOS 52636 HAS SOPS 52636 HAS SOUS 48653 HAS SOUPS 48653 WITH SCORE 48705.636
AT ITER 611 NEW BEST:: SOT 146512 SOS 52581 HAS SOPS 52581 HAS SOUS 48558 HAS SOUPS 48558 WITH SCORE 48610.581
AT ITER 619 NEW BEST:: SOT 146510 SOS 52602 HAS SOPS 52602 HAS SOUS 48554 HAS SOUPS 48554 WITH SCORE 48606.602
AT ITER 657 NEW BEST:: SOT 146453 SOS 52545 HAS SOPS 52545 HAS SOUS 48496 HAS SOUPS 48496 WITH SCORE 48548.545
AT ITER 660 NEW BEST:: SOT 146495 SOS 52587 HAS SOPS 52587 HAS SOUS 48463 HAS SOUPS 48463 WITH SCORE 48515.587
AT ITER 661 NEW BEST:: SOT 146511 SOS 52544 HAS SOPS 52544 HAS SOUS 48420 HAS SOUPS 48420 WITH SCORE 48472.544
AT ITER 672 NEW BEST:: SOT 146470 SOS 52499 HAS SOPS 52499 HAS SOUS 48378 HAS SOUPS 48378 WITH SCORE 48430.499
AT ITER 674 NEW BEST:: SOT 146456 SOS 52413 HAS SOPS 52413 HAS SOUS 48292 HAS SOUPS 48292 WITH SCORE 48344.413
AT ITER 679 NEW BEST:: SOT 146311 SOS 52211 HAS SOPS 52211 HAS SOUS 48090 HAS SOUPS 48090 WITH SCORE 48142.211
AT ITER 680 NEW BEST:: SOT 146238 SOS 51958 HAS SOPS 51958 HAS SOUS 47837 HAS SOUPS 47837 WITH SCORE 47888.958
AT ITER 690 NEW BEST:: SOT 146235 SOS 51955 HAS SOPS 51955 HAS SOUS 47834 HAS SOUPS 47834 WITH SCORE 47885.955
AT ITER 695 NEW BEST:: SOT 146193 SOS 51871 HAS SOPS 51871 HAS SOUS 47761 HAS SOUPS 47761 WITH SCORE 47812.871
AT ITER 729 NEW BEST:: SOT 146367 SOS 51862 HAS SOPS 51862 HAS SOUS 47752 HAS SOUPS 47752 WITH SCORE 47803.862
AT ITER 734 NEW BEST:: SOT 146367 SOS 51817 HAS SOPS 51817 HAS SOUS 47707 HAS SOUPS 47707 WITH SCORE 47758.817
AT ITER 736 NEW BEST:: SOT 146306 SOS 51776 HAS SOPS 51776 HAS SOUS 47666 HAS SOUPS 47666 WITH SCORE 47717.776
AT ITER 750 NEW BEST:: SOT 146288 SOS 51740 HAS SOPS 51740 HAS SOUS 47648 HAS SOUPS 47648 WITH SCORE 47699.74
AT ITER 765 NEW BEST:: SOT 146288 SOS 51614 HAS SOPS 51614 HAS SOUS 47522 HAS SOUPS 47522 WITH SCORE 47573.614
AT ITER 770 NEW BEST:: SOT 146288 SOS 51613 HAS SOPS 51613 HAS SOUS 47521 HAS SOUPS 47521 WITH SCORE 47572.613
AT ITER 782 NEW BEST:: SOT 146178 SOS 51481 HAS SOPS 51481 HAS SOUS 47346 HAS SOUPS 47346 WITH SCORE 47397.481
AT ITER 800 NEW BEST:: SOT 146177 SOS 51479 HAS SOPS 51479 HAS SOUS 47344 HAS SOUPS 47344 WITH SCORE 47395.479
AT ITER 820 NEW BEST:: SOT 146175 SOS 51477 HAS SOPS 51477 HAS SOUS 47343 HAS SOUPS 47343 WITH SCORE 47394.477
AT ITER 822 NEW BEST:: SOT 146117 SOS 51419 HAS SOPS 51419 HAS SOUS 47285 HAS SOUPS 47285 WITH SCORE 47336.419
AT ITER 824 NEW BEST:: SOT 146065 SOS 51398 HAS SOPS 51398 HAS SOUS 47264 HAS SOUPS 47264 WITH SCORE 47315.398
AT ITER 828 NEW BEST:: SOT 146063 SOS 51394 HAS SOPS 51394 HAS SOUS 47260 HAS SOUPS 47260 WITH SCORE 47311.394
AT ITER 831 NEW BEST:: SOT 146053 SOS 51383 HAS SOPS 51383 HAS SOUS 47249 HAS SOUPS 47249 WITH SCORE 47300.383
AT ITER 842 NEW BEST:: SOT 145898 SOS 51276 HAS SOPS 51276 HAS SOUS 47142 HAS SOUPS 47142 WITH SCORE 47193.276
AT ITER 857 NEW BEST:: SOT 145897 SOS 51274 HAS SOPS 51274 HAS SOUS 47140 HAS SOUPS 47140 WITH SCORE 47191.274
AT ITER 859 NEW BEST:: SOT 145925 SOS 51183 HAS SOPS 51183 HAS SOUS 47049 HAS SOUPS 47049 WITH SCORE 47100.183
AT ITER 864 NEW BEST:: SOT 145956 SOS 51214 HAS SOPS 51214 HAS SOUS 47018 HAS SOUPS 47018 WITH SCORE 47069.214
AT ITER 881 NEW BEST:: SOT 146082 SOS 51340 HAS SOPS 51340 HAS SOUS 46973 HAS SOUPS 46973 WITH SCORE 47024.34
AT ITER 890 NEW BEST:: SOT 146082 SOS 51314 HAS SOPS 51314 HAS SOUS 46947 HAS SOUPS 46947 WITH SCORE 46998.314
AT ITER 894 NEW BEST:: SOT 145608 SOS 53950 HAS SOPS 53950 HAS SOUS 46618 HAS SOUPS 46618 WITH SCORE 46671.95
AT ITER 907 NEW BEST:: SOT 145554 SOS 53944 HAS SOPS 53944 HAS SOUS 46612 HAS SOUPS 46612 WITH SCORE 46665.944
AT ITER 918 NEW BEST:: SOT 145554 SOS 53891 HAS SOPS 53891 HAS SOUS 46559 HAS SOUPS 46559 WITH SCORE 46612.891
AT ITER 925 NEW BEST:: SOT 145537 SOS 53789 HAS SOPS 53789 HAS SOUS 46535 HAS SOUPS 46535 WITH SCORE 46588.789
AT ITER 929 NEW BEST:: SOT 145513 SOS 53764 HAS SOPS 53764 HAS SOUS 46510 HAS SOUPS 46510 WITH SCORE 46563.764
AT ITER 936 NEW BEST:: SOT 145385 SOS 53508 HAS SOPS 53508 HAS SOUS 46254 HAS SOUPS 46254 WITH SCORE 46307.508
AT ITER 941 NEW BEST:: SOT 145385 SOS 53414 HAS SOPS 53414 HAS SOUS 46160 HAS SOUPS 46160 WITH SCORE 46213.414
AT ITER 954 NEW BEST:: SOT 145382 SOS 53360 HAS SOPS 53360 HAS SOUS 46154 HAS SOUPS 46154 WITH SCORE 46207.36
AT ITER 955 NEW BEST:: SOT 145382 SOS 53346 HAS SOPS 53346 HAS SOUS 46140 HAS SOUPS 46140 WITH SCORE 46193.346
AT ITER 973 NEW BEST:: SOT 145296 SOS 53120 HAS SOPS 53120 HAS SOUS 46075 HAS SOUPS 46075 WITH SCORE 46128.12
AT ITER 976 NEW BEST:: SOT 145295 SOS 53118 HAS SOPS 53118 HAS SOUS 46073 HAS SOUPS 46073 WITH SCORE 46126.118
AT ITER 977 NEW BEST:: SOT 145249 SOS 53026 HAS SOPS 53026 HAS SOUS 46027 HAS SOUPS 46027 WITH SCORE 46080.026
AT ITER 986 NEW BEST:: SOT 145227 SOS 52763 HAS SOPS 52763 HAS SOUS 45979 HAS SOUPS 45979 WITH SCORE 46031.763
AT ITER 1012 NEW BEST:: SOT 145233 SOS 52726 HAS SOPS 52726 HAS SOUS 45968 HAS SOUPS 45968 WITH SCORE 46020.726
AT ITER 1025 NEW BEST:: SOT 145220 SOS 52700 HAS SOPS 52700 HAS SOUS 45942 HAS SOUPS 45942 WITH SCORE 45994.7
AT ITER 1026 NEW BEST:: SOT 145217 SOS 52696 HAS SOPS 52696 HAS SOUS 45938 HAS SOUPS 45938 WITH SCORE 45990.696
AT ITER 1035 NEW BEST:: SOT 145221 SOS 52735 HAS SOPS 52735 HAS SOUS 45924 HAS SOUPS 45924 WITH SCORE 45976.735
AT ITER 1043 NEW BEST:: SOT 145187 SOS 52722 HAS SOPS 52722 HAS SOUS 45911 HAS SOUPS 45911 WITH SCORE 45963.722
AT ITER 1047 NEW BEST:: SOT 145187 SOS 52721 HAS SOPS 52721 HAS SOUS 45910 HAS SOUPS 45910 WITH SCORE 45962.721
AT ITER 1058 NEW BEST:: SOT 145116 SOS 52648 HAS SOPS 52648 HAS SOUS 45837 HAS SOUPS 45837 WITH SCORE 45889.648
AT ITER 1062 NEW BEST:: SOT 145044 SOS 52540 HAS SOPS 52540 HAS SOUS 45765 HAS SOUPS 45765 WITH SCORE 45817.54
AT ITER 1070 NEW BEST:: SOT 145044 SOS 52468 HAS SOPS 52468 HAS SOUS 45693 HAS SOUPS 45693 WITH SCORE 45745.468
AT ITER 1071 NEW BEST:: SOT 145046 SOS 52466 HAS SOPS 52466 HAS SOUS 45691 HAS SOUPS 45691 WITH SCORE 45743.466
AT ITER 1074 NEW BEST:: SOT 145068 SOS 52488 HAS SOPS 52488 HAS SOUS 45648 HAS SOUPS 45648 WITH SCORE 45700.488
AT ITER 1083 NEW BEST:: SOT 145015 SOS 52416 HAS SOPS 52416 HAS SOUS 45629 HAS SOUPS 45629 WITH SCORE 45681.416
AT ITER 1085 NEW BEST:: SOT 145015 SOS 52357 HAS SOPS 52357 HAS SOUS 45570 HAS SOUPS 45570 WITH SCORE 45622.357
AT ITER 1088 NEW BEST:: SOT 144951 SOS 52293 HAS SOPS 52293 HAS SOUS 45570 HAS SOUPS 45570 WITH SCORE 45622.293
AT ITER 1092 NEW BEST:: SOT 145052 SOS 52311 HAS SOPS 52311 HAS SOUS 45557 HAS SOUPS 45557 WITH SCORE 45609.311
AT ITER 1093 NEW BEST:: SOT 145061 SOS 52256 HAS SOPS 52256 HAS SOUS 45502 HAS SOUPS 45502 WITH SCORE 45554.256
AT ITER 1094 NEW BEST:: SOT 145049 SOS 52244 HAS SOPS 52244 HAS SOUS 45490 HAS SOUPS 45490 WITH SCORE 45542.244
AT ITER 1096 NEW BEST:: SOT 145048 SOS 52243 HAS SOPS 52243 HAS SOUS 45489 HAS SOUPS 45489 WITH SCORE 45541.243
AT ITER 1102 NEW BEST:: SOT 144924 SOS 52066 HAS SOPS 52066 HAS SOUS 45345 HAS SOUPS 45345 WITH SCORE 45397.066
AT ITER 1112 NEW BEST:: SOT 144924 SOS 52066 HAS SOPS 52066 HAS SOUS 45304 HAS SOUPS 45304 WITH SCORE 45356.066
AT ITER 1122 NEW BEST:: SOT 144790 SOS 51886 HAS SOPS 51886 HAS SOUS 45163 HAS SOUPS 45163 WITH SCORE 45214.886
AT ITER 1135 NEW BEST:: SOT 144762 SOS 51852 HAS SOPS 51852 HAS SOUS 45129 HAS SOUPS 45129 WITH SCORE 45180.852
AT ITER 1143 NEW BEST:: SOT 144799 SOS 51888 HAS SOPS 51888 HAS SOUS 45127 HAS SOUPS 45127 WITH SCORE 45178.888
AT ITER 1151 NEW BEST:: SOT 144730 SOS 51828 HAS SOPS 51828 HAS SOUS 45067 HAS SOUPS 45067 WITH SCORE 45118.828
AT ITER 1158 NEW BEST:: SOT 144730 SOS 51828 HAS SOPS 51828 HAS SOUS 45021 HAS SOUPS 45021 WITH SCORE 45072.828
AT ITER 1159 NEW BEST:: SOT 144723 SOS 51821 HAS SOPS 51821 HAS SOUS 45014 HAS SOUPS 45014 WITH SCORE 45065.821
AT ITER 1176 NEW BEST:: SOT 144723 SOS 51794 HAS SOPS 51794 HAS SOUS 45014 HAS SOUPS 45014 WITH SCORE 45065.794
AT ITER 1177 NEW BEST:: SOT 144907 SOS 51905 HAS SOPS 51905 HAS SOUS 44971 HAS SOUPS 44971 WITH SCORE 45022.905
AT ITER 1178 NEW BEST:: SOT 144896 SOS 51883 HAS SOPS 51883 HAS SOUS 44960 HAS SOUPS 44960 WITH SCORE 45011.883
AT ITER 1180 NEW BEST:: SOT 144896 SOS 51883 HAS SOPS 51883 HAS SOUS 44943 HAS SOUPS 44943 WITH SCORE 44994.883
AT ITER 1202 NEW BEST:: SOT 144892 SOS 51879 HAS SOPS 51879 HAS SOUS 44943 HAS SOUPS 44943 WITH SCORE 44994.879
AT ITER 1209 NEW BEST:: SOT 144991 SOS 51869 HAS SOPS 51869 HAS SOUS 44932 HAS SOUPS 44932 WITH SCORE 44983.869
AT ITER 1237 NEW BEST:: SOT 144822 SOS 51656 HAS SOPS 51656 HAS SOUS 44781 HAS SOUPS 44781 WITH SCORE 44832.656
AT ITER 1257 NEW BEST:: SOT 144807 SOS 51641 HAS SOPS 51641 HAS SOUS 44766 HAS SOUPS 44766 WITH SCORE 44817.641
AT ITER 1259 NEW BEST:: SOT 144798 SOS 51600 HAS SOPS 51600 HAS SOUS 44752 HAS SOUPS 44752 WITH SCORE 44803.6
AT ITER 1276 NEW BEST:: SOT 144693 SOS 51390 HAS SOPS 51390 HAS SOUS 44722 HAS SOUPS 44722 WITH SCORE 44773.39
AT ITER 1298 NEW BEST:: SOT 144739 SOS 51358 HAS SOPS 51358 HAS SOUS 44690 HAS SOUPS 44690 WITH SCORE 44741.358
AT ITER 1303 NEW BEST:: SOT 144718 SOS 51337 HAS SOPS 51337 HAS SOUS 44669 HAS SOUPS 44669 WITH SCORE 44720.337
AT ITER 1304 NEW BEST:: SOT 144651 SOS 51203 HAS SOPS 51203 HAS SOUS 44535 HAS SOUPS 44535 WITH SCORE 44586.203
AT ITER 1314 NEW BEST:: SOT 144651 SOS 51087 HAS SOPS 51087 HAS SOUS 44524 HAS SOUPS 44524 WITH SCORE 44575.087
AT ITER 1334 NEW BEST:: SOT 144658 SOS 51013 HAS SOPS 51013 HAS SOUS 44450 HAS SOUPS 44450 WITH SCORE 44501.013
AT ITER 1343 NEW BEST:: SOT 144669 SOS 51002 HAS SOPS 51002 HAS SOUS 44439 HAS SOUPS 44439 WITH SCORE 44490.002
AT ITER 1350 NEW BEST:: SOT 144528 SOS 50824 HAS SOPS 50824 HAS SOUS 44261 HAS SOUPS 44261 WITH SCORE 44311.824
AT ITER 1353 NEW BEST:: SOT 144498 SOS 50780 HAS SOPS 50780 HAS SOUS 44241 HAS SOUPS 44241 WITH SCORE 44291.78
AT ITER 1374 NEW BEST:: SOT 144438 SOS 50690 HAS SOPS 50690 HAS SOUS 44181 HAS SOUPS 44181 WITH SCORE 44231.69
AT ITER 1381 NEW BEST:: SOT 144438 SOS 50630 HAS SOPS 50630 HAS SOUS 44121 HAS SOUPS 44121 WITH SCORE 44171.63
AT ITER 1400 NEW BEST:: SOT 144344 SOS 50950 HAS SOPS 50950 HAS SOUS 44045 HAS SOUPS 44045 WITH SCORE 44095.95
AT ITER 1403 NEW BEST:: SOT 144261 SOS 50850 HAS SOPS 50850 HAS SOUS 44011 HAS SOUPS 44011 WITH SCORE 44061.85
AT ITER 1433 NEW BEST:: SOT 144095 SOS 50603 HAS SOPS 50603 HAS SOUS 43845 HAS SOUPS 43845 WITH SCORE 43895.603
AT ITER 1450 NEW BEST:: SOT 144075 SOS 50583 HAS SOPS 50583 HAS SOUS 43845 HAS SOUPS 43845 WITH SCORE 43895.583
AT ITER 1452 NEW BEST:: SOT 143996 SOS 50504 HAS SOPS 50504 HAS SOUS 43766 HAS SOUPS 43766 WITH SCORE 43816.504
AT ITER 1456 NEW BEST:: SOT 143926 SOS 50486 HAS SOPS 50486 HAS SOUS 43748 HAS SOUPS 43748 WITH SCORE 43798.486
AT ITER 1463 NEW BEST:: SOT 143835 SOS 50384 HAS SOPS 50384 HAS SOUS 43646 HAS SOUPS 43646 WITH SCORE 43696.384
AT ITER 1472 NEW BEST:: SOT 143758 SOS 50290 HAS SOPS 50290 HAS SOUS 43579 HAS SOUPS 43579 WITH SCORE 43629.29
AT ITER 1473 NEW BEST:: SOT 143736 SOS 50189 HAS SOPS 50189 HAS SOUS 43557 HAS SOUPS 43557 WITH SCORE 43607.189
AT ITER 1483 NEW BEST:: SOT 143730 SOS 50183 HAS SOPS 50183 HAS SOUS 43557 HAS SOUPS 43557 WITH SCORE 43607.183
AT ITER 1488 NEW BEST:: SOT 143638 SOS 49999 HAS SOPS 49999 HAS SOUS 43465 HAS SOUPS 43465 WITH SCORE 43514.999
AT ITER 1498 NEW BEST:: SOT 143628 SOS 49986 HAS SOPS 49986 HAS SOUS 43452 HAS SOUPS 43452 WITH SCORE 43501.986
AT ITER 1504 NEW BEST:: SOT 143617 SOS 49885 HAS SOPS 49885 HAS SOUS 43351 HAS SOUPS 43351 WITH SCORE 43400.885
AT ITER 1511 NEW BEST:: SOT 143609 SOS 49830 HAS SOPS 49830 HAS SOUS 43296 HAS SOUPS 43296 WITH SCORE 43345.83
AT ITER 1520 NEW BEST:: SOT 143494 SOS 49455 HAS SOPS 49455 HAS SOUS 43034 HAS SOUPS 43034 WITH SCORE 43083.455
AT ITER 1530 NEW BEST:: SOT 143487 SOS 49440 HAS SOPS 49440 HAS SOUS 43019 HAS SOUPS 43019 WITH SCORE 43068.44
AT ITER 1531 NEW BEST:: SOT 143442 SOS 49395 HAS SOPS 49395 HAS SOUS 42974 HAS SOUPS 42974 WITH SCORE 43023.395
AT ITER 1534 NEW BEST:: SOT 143289 SOS 49249 HAS SOPS 49249 HAS SOUS 42828 HAS SOUPS 42828 WITH SCORE 42877.249
AT ITER 1539 NEW BEST:: SOT 143263 SOS 49165 HAS SOPS 49165 HAS SOUS 42770 HAS SOUPS 42770 WITH SCORE 42819.165
AT ITER 1550 NEW BEST:: SOT 143258 SOS 49160 HAS SOPS 49160 HAS SOUS 42765 HAS SOUPS 42765 WITH SCORE 42814.16
AT ITER 1555 NEW BEST:: SOT 143122 SOS 48955 HAS SOPS 48955 HAS SOUS 42560 HAS SOUPS 42560 WITH SCORE 42608.955
AT ITER 1574 NEW BEST:: SOT 143108 SOS 48941 HAS SOPS 48941 HAS SOUS 42546 HAS SOUPS 42546 WITH SCORE 42594.941
AT ITER 1588 NEW BEST:: SOT 143090 SOS 48915 HAS SOPS 48915 HAS SOUS 42520 HAS SOUPS 42520 WITH SCORE 42568.915
AT ITER 1606 NEW BEST:: SOT 143136 SOS 48913 HAS SOPS 48913 HAS SOUS 42518 HAS SOUPS 42518 WITH SCORE 42566.913
AT ITER 1607 NEW BEST:: SOT 143137 SOS 48932 HAS SOPS 48932 HAS SOUS 42514 HAS SOUPS 42514 WITH SCORE 42562.932
AT ITER 1626 NEW BEST:: SOT 143105 SOS 48870 HAS SOPS 48870 HAS SOUS 42452 HAS SOUPS 42452 WITH SCORE 42500.87
AT ITER 1644 NEW BEST:: SOT 143103 SOS 48850 HAS SOPS 48850 HAS SOUS 42450 HAS SOUPS 42450 WITH SCORE 42498.85
AT ITER 1674 NEW BEST:: SOT 143103 SOS 48796 HAS SOPS 48796 HAS SOUS 42423 HAS SOUPS 42423 WITH SCORE 42471.796
AT ITER 1681 NEW BEST:: SOT 143100 SOS 48793 HAS SOPS 48793 HAS SOUS 42420 HAS SOUPS 42420 WITH SCORE 42468.793
AT ITER 1683 NEW BEST:: SOT 143127 SOS 48803 HAS SOPS 48803 HAS SOUS 42385 HAS SOUPS 42385 WITH SCORE 42433.803
AT ITER 1692 NEW BEST:: SOT 143137 SOS 48788 HAS SOPS 48788 HAS SOUS 42370 HAS SOUPS 42370 WITH SCORE 42418.788
AT ITER 1722 NEW BEST:: SOT 142991 SOS 48622 HAS SOPS 48622 HAS SOUS 42290 HAS SOUPS 42290 WITH SCORE 42338.622
AT ITER 1723 NEW BEST:: SOT 142965 SOS 48595 HAS SOPS 48595 HAS SOUS 42263 HAS SOUPS 42263 WITH SCORE 42311.595
AT ITER 1726 NEW BEST:: SOT 142984 SOS 48588 HAS SOPS 48588 HAS SOUS 42256 HAS SOUPS 42256 WITH SCORE 42304.588
AT ITER 1742 NEW BEST:: SOT 142979 SOS 48543 HAS SOPS 48543 HAS SOUS 42246 HAS SOUPS 42246 WITH SCORE 42294.543
AT ITER 1748 NEW BEST:: SOT 142987 SOS 48523 HAS SOPS 48523 HAS SOUS 42226 HAS SOUPS 42226 WITH SCORE 42274.523
AT ITER 1751 NEW BEST:: SOT 142937 SOS 48386 HAS SOPS 48386 HAS SOUS 42208 HAS SOUPS 42208 WITH SCORE 42256.386
AT ITER 1758 NEW BEST:: SOT 142949 SOS 48237 HAS SOPS 48237 HAS SOUS 42056 HAS SOUPS 42056 WITH SCORE 42104.237
AT ITER 1760 NEW BEST:: SOT 142949 SOS 48237 HAS SOPS 48237 HAS SOUS 42043 HAS SOUPS 42043 WITH SCORE 42091.237
AT ITER 1775 NEW BEST:: SOT 142949 SOS 48172 HAS SOPS 48172 HAS SOUS 41978 HAS SOUPS 41978 WITH SCORE 42026.172
AT ITER 1799 NEW BEST:: SOT 142975 SOS 48198 HAS SOPS 48198 HAS SOUS 41945 HAS SOUPS 41945 WITH SCORE 41993.198
AT ITER 1800 NEW BEST:: SOT 142919 SOS 48057 HAS SOPS 48057 HAS SOUS 41836 HAS SOUPS 41836 WITH SCORE 41884.057
AT ITER 1811 NEW BEST:: SOT 142864 SOS 48002 HAS SOPS 48002 HAS SOUS 41781 HAS SOUPS 41781 WITH SCORE 41829.002
AT ITER 1819 NEW BEST:: SOT 142828 SOS 47978 HAS SOPS 47978 HAS SOUS 41757 HAS SOUPS 41757 WITH SCORE 41804.978
AT ITER 1836 NEW BEST:: SOT 142816 SOS 47966 HAS SOPS 47966 HAS SOUS 41757 HAS SOUPS 41757 WITH SCORE 41804.966
AT ITER 1837 NEW BEST:: SOT 142814 SOS 47962 HAS SOPS 47962 HAS SOUS 41753 HAS SOUPS 41753 WITH SCORE 41800.962
AT ITER 1839 NEW BEST:: SOT 142814 SOS 47961 HAS SOPS 47961 HAS SOUS 41752 HAS SOUPS 41752 WITH SCORE 41799.961
AT ITER 1842 NEW BEST:: SOT 142765 SOS 47937 HAS SOPS 47937 HAS SOUS 41728 HAS SOUPS 41728 WITH SCORE 41775.937
AT ITER 1844 NEW BEST:: SOT 142754 SOS 47915 HAS SOPS 47915 HAS SOUS 41705 HAS SOUPS 41705 WITH SCORE 41752.915
AT ITER 1866 NEW BEST:: SOT 142753 SOS 47914 HAS SOPS 47914 HAS SOUS 41704 HAS SOUPS 41704 WITH SCORE 41751.914
AT ITER 1870 NEW BEST:: SOT 142736 SOS 47897 HAS SOPS 47897 HAS SOUS 41704 HAS SOUPS 41704 WITH SCORE 41751.897
AT ITER 1894 NEW BEST:: SOT 142746 SOS 47917 HAS SOPS 47917 HAS SOUS 41673 HAS SOUPS 41673 WITH SCORE 41720.917
AT ITER 1900 NEW BEST:: SOT 142705 SOS 47874 HAS SOPS 47874 HAS SOUS 41630 HAS SOUPS 41630 WITH SCORE 41677.874
AT ITER 1901 NEW BEST:: SOT 142701 SOS 47862 HAS SOPS 47862 HAS SOUS 41622 HAS SOUPS 41622 WITH SCORE 41669.862
AT ITER 1902 NEW BEST:: SOT 142701 SOS 47823 HAS SOPS 47823 HAS SOUS 41583 HAS SOUPS 41583 WITH SCORE 41630.823
AT ITER 1903 NEW BEST:: SOT 142701 SOS 47822 HAS SOPS 47822 HAS SOUS 41583 HAS SOUPS 41583 WITH SCORE 41630.822
AT ITER 1912 NEW BEST:: SOT 142701 SOS 47750 HAS SOPS 47750 HAS SOUS 41546 HAS SOUPS 41546 WITH SCORE 41593.75
AT ITER 1927 NEW BEST:: SOT 142602 SOS 47651 HAS SOPS 47651 HAS SOUS 41546 HAS SOUPS 41546 WITH SCORE 41593.651
AT ITER 1933 NEW BEST:: SOT 142600 SOS 47647 HAS SOPS 47647 HAS SOUS 41542 HAS SOUPS 41542 WITH SCORE 41589.647
AT ITER 1952 NEW BEST:: SOT 142588 SOS 47642 HAS SOPS 47642 HAS SOUS 41530 HAS SOUPS 41530 WITH SCORE 41577.642
AT ITER 1972 NEW BEST:: SOT 142588 SOS 47583 HAS SOPS 47583 HAS SOUS 41471 HAS SOUPS 41471 WITH SCORE 41518.583
AT ITER 1990 NEW BEST:: SOT 142610 SOS 47557 HAS SOPS 47557 HAS SOUS 41445 HAS SOUPS 41445 WITH SCORE 41492.557
AT ITER 2002 NEW BEST:: SOT 142590 SOS 47537 HAS SOPS 47537 HAS SOUS 41425 HAS SOUPS 41425 WITH SCORE 41472.537
AT ITER 2010 NEW BEST:: SOT 142632 SOS 47466 HAS SOPS 47466 HAS SOUS 41241 HAS SOUPS 41241 WITH SCORE 41288.466
AT ITER 2014 NEW BEST:: SOT 142627 SOS 47461 HAS SOPS 47461 HAS SOUS 41241 HAS SOUPS 41241 WITH SCORE 41288.461
AT ITER 2015 NEW BEST:: SOT 142624 SOS 47455 HAS SOPS 47455 HAS SOUS 41235 HAS SOUPS 41235 WITH SCORE 41282.455
AT ITER 2025 NEW BEST:: SOT 142593 SOS 47393 HAS SOPS 47393 HAS SOUS 41136 HAS SOUPS 41136 WITH SCORE 41183.393
AT ITER 2052 NEW BEST:: SOT 142397 SOS 48065 HAS SOPS 48065 HAS SOUS 41005 HAS SOUPS 41005 WITH SCORE 41053.065
AT ITER 2070 NEW BEST:: SOT 142385 SOS 48053 HAS SOPS 48053 HAS SOUS 40993 HAS SOUPS 40993 WITH SCORE 41041.053
AT ITER 2080 NEW BEST:: SOT 142513 SOS 48051 HAS SOPS 48051 HAS SOUS 40991 HAS SOUPS 40991 WITH SCORE 41039.051
AT ITER 2140 NEW BEST:: SOT 142513 SOS 48036 HAS SOPS 48036 HAS SOUS 40976 HAS SOUPS 40976 WITH SCORE 41024.036
AT ITER 2145 NEW BEST:: SOT 142122 SOS 47640 HAS SOPS 47640 HAS SOUS 40580 HAS SOUPS 40580 WITH SCORE 40627.64
AT ITER 2147 NEW BEST:: SOT 142122 SOS 47630 HAS SOPS 47630 HAS SOUS 40570 HAS SOUPS 40570 WITH SCORE 40617.63
AT ITER 2152 NEW BEST:: SOT 142082 SOS 47570 HAS SOPS 47570 HAS SOUS 40530 HAS SOUPS 40530 WITH SCORE 40577.57
AT ITER 2163 NEW BEST:: SOT 142079 SOS 47471 HAS SOPS 47471 HAS SOUS 40431 HAS SOUPS 40431 WITH SCORE 40478.471
AT ITER 2184 NEW BEST:: SOT 142070 SOS 47462 HAS SOPS 47462 HAS SOUS 40422 HAS SOUPS 40422 WITH SCORE 40469.462
AT ITER 2190 NEW BEST:: SOT 142070 SOS 47459 HAS SOPS 47459 HAS SOUS 40419 HAS SOUPS 40419 WITH SCORE 40466.459
AT ITER 2205 NEW BEST:: SOT 142004 SOS 47327 HAS SOPS 47327 HAS SOUS 40287 HAS SOUPS 40287 WITH SCORE 40334.327
AT ITER 2213 NEW BEST:: SOT 142003 SOS 47325 HAS SOPS 47325 HAS SOUS 40285 HAS SOUPS 40285 WITH SCORE 40332.325
AT ITER 2230 NEW BEST:: SOT 142002 SOS 47323 HAS SOPS 47323 HAS SOUS 40283 HAS SOUPS 40283 WITH SCORE 40330.323
AT ITER 2282 NEW BEST:: SOT 141968 SOS 47272 HAS SOPS 47272 HAS SOUS 40232 HAS SOUPS 40232 WITH SCORE 40279.272
AT ITER 2306 NEW BEST:: SOT 141967 SOS 47345 HAS SOPS 47345 HAS SOUS 40230 HAS SOUPS 40230 WITH SCORE 40277.345
AT ITER 2316 NEW BEST:: SOT 141875 SOS 47207 HAS SOPS 47207 HAS SOUS 40138 HAS SOUPS 40138 WITH SCORE 40185.207
AT ITER 2346 NEW BEST:: SOT 141863 SOS 47204 HAS SOPS 47204 HAS SOUS 40114 HAS SOUPS 40114 WITH SCORE 40161.204
AT ITER 2351 NEW BEST:: SOT 141822 SOS 47122 HAS SOPS 47122 HAS SOUS 40032 HAS SOUPS 40032 WITH SCORE 40079.122
AT ITER 2354 NEW BEST:: SOT 141874 SOS 47166 HAS SOPS 47166 HAS SOUS 40020 HAS SOUPS 40020 WITH SCORE 40067.166
AT ITER 2356 NEW BEST:: SOT 141869 SOS 46996 HAS SOPS 46996 HAS SOUS 40015 HAS SOUPS 40015 WITH SCORE 40061.996
AT ITER 2360 NEW BEST:: SOT 141825 SOS 46976 HAS SOPS 46976 HAS SOUS 39995 HAS SOUPS 39995 WITH SCORE 40041.976
AT ITER 2382 NEW BEST:: SOT 141800 SOS 46926 HAS SOPS 46926 HAS SOUS 39945 HAS SOUPS 39945 WITH SCORE 39991.926
AT ITER 2385 NEW BEST:: SOT 141792 SOS 46910 HAS SOPS 46910 HAS SOUS 39937 HAS SOUPS 39937 WITH SCORE 39983.91
AT ITER 2428 NEW BEST:: SOT 141785 SOS 46903 HAS SOPS 46903 HAS SOUS 39930 HAS SOUPS 39930 WITH SCORE 39976.903
AT ITER 2448 NEW BEST:: SOT 141785 SOS 46877 HAS SOPS 46877 HAS SOUS 39917 HAS SOUPS 39917 WITH SCORE 39963.877
AT ITER 2453 NEW BEST:: SOT 141761 SOS 46826 HAS SOPS 46826 HAS SOUS 39899 HAS SOUPS 39899 WITH SCORE 39945.826
AT ITER 2464 NEW BEST:: SOT 141749 SOS 46724 HAS SOPS 46724 HAS SOUS 39887 HAS SOUPS 39887 WITH SCORE 39933.724
AT ITER 2467 NEW BEST:: SOT 141780 SOS 46645 HAS SOPS 46645 HAS SOUS 39808 HAS SOUPS 39808 WITH SCORE 39854.645
AT ITER 2468 NEW BEST:: SOT 141729 SOS 46603 HAS SOPS 46603 HAS SOUS 39766 HAS SOUPS 39766 WITH SCORE 39812.603
AT ITER 2479 NEW BEST:: SOT 141728 SOS 46602 HAS SOPS 46602 HAS SOUS 39765 HAS SOUPS 39765 WITH SCORE 39811.602
AT ITER 2488 NEW BEST:: SOT 141518 SOS 50656 HAS SOPS 50656 HAS SOUS 39750 HAS SOUPS 39750 WITH SCORE 39800.656
AT ITER 2517 NEW BEST:: SOT 141350 SOS 50320 HAS SOPS 50320 HAS SOUS 39588 HAS SOUPS 39588 WITH SCORE 39638.32
AT ITER 2526 NEW BEST:: SOT 141232 SOS 50084 HAS SOPS 50084 HAS SOUS 39476 HAS SOUPS 39476 WITH SCORE 39526.084
AT ITER 2535 NEW BEST:: SOT 141196 SOS 50047 HAS SOPS 50047 HAS SOUS 39445 HAS SOUPS 39445 WITH SCORE 39495.047
AT ITER 2540 NEW BEST:: SOT 141190 SOS 50041 HAS SOPS 50041 HAS SOUS 39439 HAS SOUPS 39439 WITH SCORE 39489.041
AT ITER 2542 NEW BEST:: SOT 141188 SOS 50039 HAS SOPS 50039 HAS SOUS 39437 HAS SOUPS 39437 WITH SCORE 39487.039
AT ITER 2566 NEW BEST:: SOT 141043 SOS 49814 HAS SOPS 49814 HAS SOUS 39323 HAS SOUPS 39323 WITH SCORE 39372.814
AT ITER 2576 NEW BEST:: SOT 141042 SOS 49812 HAS SOPS 49812 HAS SOUS 39321 HAS SOUPS 39321 WITH SCORE 39370.812
AT ITER 2586 NEW BEST:: SOT 141027 SOS 49797 HAS SOPS 49797 HAS SOUS 39306 HAS SOUPS 39306 WITH SCORE 39355.797
AT ITER 2587 NEW BEST:: SOT 141017 SOS 49778 HAS SOPS 49778 HAS SOUS 39287 HAS SOUPS 39287 WITH SCORE 39336.778
AT ITER 2592 NEW BEST:: SOT 141042 SOS 49765 HAS SOPS 49765 HAS SOUS 39274 HAS SOUPS 39274 WITH SCORE 39323.765
AT ITER 2593 NEW BEST:: SOT 140944 SOS 49720 HAS SOPS 49720 HAS SOUS 39240 HAS SOUPS 39240 WITH SCORE 39289.72
AT ITER 2596 NEW BEST:: SOT 140897 SOS 49706 HAS SOPS 49706 HAS SOUS 39226 HAS SOUPS 39226 WITH SCORE 39275.706
AT ITER 2603 NEW BEST:: SOT 140901 SOS 49703 HAS SOPS 49703 HAS SOUS 39223 HAS SOUPS 39223 WITH SCORE 39272.703
AT ITER 2631 NEW BEST:: SOT 140862 SOS 49579 HAS SOPS 49579 HAS SOUS 39099 HAS SOUPS 39099 WITH SCORE 39148.579
AT ITER 2635 NEW BEST:: SOT 140841 SOS 49558 HAS SOPS 49558 HAS SOUS 39078 HAS SOUPS 39078 WITH SCORE 39127.558
AT ITER 2683 NEW BEST:: SOT 140830 SOS 49547 HAS SOPS 49547 HAS SOUS 39067 HAS SOUPS 39067 WITH SCORE 39116.547
AT ITER 2699 NEW BEST:: SOT 140811 SOS 49509 HAS SOPS 49509 HAS SOUS 39029 HAS SOUPS 39029 WITH SCORE 39078.509
AT ITER 2704 NEW BEST:: SOT 140804 SOS 49502 HAS SOPS 49502 HAS SOUS 39029 HAS SOUPS 39029 WITH SCORE 39078.502
AT ITER 2714 NEW BEST:: SOT 140772 SOS 49470 HAS SOPS 49470 HAS SOUS 38997 HAS SOUPS 38997 WITH SCORE 39046.47
AT ITER 2735 NEW BEST:: SOT 140771 SOS 49455 HAS SOPS 49455 HAS SOUS 38982 HAS SOUPS 38982 WITH SCORE 39031.455
AT ITER 2746 NEW BEST:: SOT 140768 SOS 49452 HAS SOPS 49452 HAS SOUS 38979 HAS SOUPS 38979 WITH SCORE 39028.452
AT ITER 2760 NEW BEST:: SOT 140757 SOS 49441 HAS SOPS 49441 HAS SOUS 38979 HAS SOUPS 38979 WITH SCORE 39028.441
AT ITER 2772 NEW BEST:: SOT 140740 SOS 49407 HAS SOPS 49407 HAS SOUS 38945 HAS SOUPS 38945 WITH SCORE 38994.407
AT ITER 2777 NEW BEST:: SOT 140740 SOS 49407 HAS SOPS 49407 HAS SOUS 38920 HAS SOUPS 38920 WITH SCORE 38969.407
AT ITER 2792 NEW BEST:: SOT 140707 SOS 49341 HAS SOPS 49341 HAS SOUS 38854 HAS SOUPS 38854 WITH SCORE 38903.341
AT ITER 2830 NEW BEST:: SOT 140671 SOS 49265 HAS SOPS 49265 HAS SOUS 38778 HAS SOUPS 38778 WITH SCORE 38827.265
AT ITER 2856 NEW BEST:: SOT 140667 SOS 49257 HAS SOPS 49257 HAS SOUS 38770 HAS SOUPS 38770 WITH SCORE 38819.257
AT ITER 2860 NEW BEST:: SOT 140367 SOS 48957 HAS SOPS 48957 HAS SOUS 38470 HAS SOUPS 38470 WITH SCORE 38518.957
AT ITER 2883 NEW BEST:: SOT 140347 SOS 48938 HAS SOPS 48938 HAS SOUS 38451 HAS SOUPS 38451 WITH SCORE 38499.938
AT ITER 2892 NEW BEST:: SOT 140334 SOS 48912 HAS SOPS 48912 HAS SOUS 38425 HAS SOUPS 38425 WITH SCORE 38473.912
AT ITER 2894 NEW BEST:: SOT 140312 SOS 48890 HAS SOPS 48890 HAS SOUS 38425 HAS SOUPS 38425 WITH SCORE 38473.89
AT ITER 2899 NEW BEST:: SOT 140311 SOS 48889 HAS SOPS 48889 HAS SOUS 38424 HAS SOUPS 38424 WITH SCORE 38472.889
AT ITER 2908 NEW BEST:: SOT 140247 SOS 48813 HAS SOPS 48813 HAS SOUS 38348 HAS SOUPS 38348 WITH SCORE 38396.813
AT ITER 2911 NEW BEST:: SOT 140222 SOS 48788 HAS SOPS 48788 HAS SOUS 38348 HAS SOUPS 38348 WITH SCORE 38396.788
AT ITER 2924 NEW BEST:: SOT 140222 SOS 48787 HAS SOPS 48787 HAS SOUS 38347 HAS SOUPS 38347 WITH SCORE 38395.787
AT ITER 2929 NEW BEST:: SOT 140206 SOS 48755 HAS SOPS 48755 HAS SOUS 38315 HAS SOUPS 38315 WITH SCORE 38363.755
AT ITER 2935 NEW BEST:: SOT 140161 SOS 48665 HAS SOPS 48665 HAS SOUS 38270 HAS SOUPS 38270 WITH SCORE 38318.665
AT ITER 2950 NEW BEST:: SOT 140053 SOS 48538 HAS SOPS 48538 HAS SOUS 38232 HAS SOUPS 38232 WITH SCORE 38280.538
AT ITER 2960 NEW BEST:: SOT 140063 SOS 48426 HAS SOPS 48426 HAS SOUS 38120 HAS SOUPS 38120 WITH SCORE 38168.426
AT ITER 3046 NEW BEST:: SOT 140081 SOS 47384 HAS SOPS 47384 HAS SOUS 38116 HAS SOUPS 38116 WITH SCORE 38163.384
AT ITER 3047 NEW BEST:: SOT 140051 SOS 47354 HAS SOPS 47354 HAS SOUS 38086 HAS SOUPS 38086 WITH SCORE 38133.354
AT ITER 3056 NEW BEST:: SOT 140057 SOS 47345 HAS SOPS 47345 HAS SOUS 38077 HAS SOUPS 38077 WITH SCORE 38124.345
AT ITER 3070 NEW BEST:: SOT 139995 SOS 47221 HAS SOPS 47221 HAS SOUS 38015 HAS SOUPS 38015 WITH SCORE 38062.221
AT ITER 3071 NEW BEST:: SOT 139955 SOS 47141 HAS SOPS 47141 HAS SOUS 37935 HAS SOUPS 37935 WITH SCORE 37982.141
AT ITER 3089 NEW BEST:: SOT 139942 SOS 47115 HAS SOPS 47115 HAS SOUS 37909 HAS SOUPS 37909 WITH SCORE 37956.115
AT ITER 3102 NEW BEST:: SOT 139940 SOS 47111 HAS SOPS 47111 HAS SOUS 37906 HAS SOUPS 37906 WITH SCORE 37953.111
AT ITER 3105 NEW BEST:: SOT 139940 SOS 47081 HAS SOPS 47081 HAS SOUS 37876 HAS SOUPS 37876 WITH SCORE 37923.081
AT ITER 3136 NEW BEST:: SOT 139972 SOS 46824 HAS SOPS 46824 HAS SOUS 37854 HAS SOUPS 37854 WITH SCORE 37900.824
AT ITER 3149 NEW BEST:: SOT 139981 SOS 46842 HAS SOPS 46842 HAS SOUS 37850 HAS SOUPS 37850 WITH SCORE 37896.842
AT ITER 3151 NEW BEST:: SOT 139912 SOS 46704 HAS SOPS 46704 HAS SOUS 37781 HAS SOUPS 37781 WITH SCORE 37827.704
AT ITER 3152 NEW BEST:: SOT 139840 SOS 46420 HAS SOPS 46420 HAS SOUS 37501 HAS SOUPS 37501 WITH SCORE 37547.42
AT ITER 3153 NEW BEST:: SOT 139853 SOS 46366 HAS SOPS 46366 HAS SOUS 37339 HAS SOUPS 37339 WITH SCORE 37385.366
AT ITER 3155 NEW BEST:: SOT 139853 SOS 46366 HAS SOPS 46366 HAS SOUS 37325 HAS SOUPS 37325 WITH SCORE 37371.366
AT ITER 3165 NEW BEST:: SOT 139853 SOS 46365 HAS SOPS 46365 HAS SOUS 37324 HAS SOUPS 37324 WITH SCORE 37370.365
AT ITER 3173 NEW BEST:: SOT 139698 SOS 46300 HAS SOPS 46300 HAS SOUS 37259 HAS SOUPS 37259 WITH SCORE 37305.3
AT ITER 3181 NEW BEST:: SOT 139697 SOS 46298 HAS SOPS 46298 HAS SOUS 37257 HAS SOUPS 37257 WITH SCORE 37303.298
AT ITER 3203 NEW BEST:: SOT 139652 SOS 46169 HAS SOPS 46169 HAS SOUS 37128 HAS SOUPS 37128 WITH SCORE 37174.169
AT ITER 3256 NEW BEST:: SOT 139647 SOS 46175 HAS SOPS 46175 HAS SOUS 37122 HAS SOUPS 37122 WITH SCORE 37168.175
AT ITER 3283 NEW BEST:: SOT 139645 SOS 46171 HAS SOPS 46171 HAS SOUS 37118 HAS SOUPS 37118 WITH SCORE 37164.171
AT ITER 3298 NEW BEST:: SOT 139645 SOS 46120 HAS SOPS 46120 HAS SOUS 37118 HAS SOUPS 37118 WITH SCORE 37164.12
AT ITER 3299 NEW BEST:: SOT 139612 SOS 46024 HAS SOPS 46024 HAS SOUS 37022 HAS SOUPS 37022 WITH SCORE 37068.024
AT ITER 3304 NEW BEST:: SOT 139663 SOS 45984 HAS SOPS 45984 HAS SOUS 37012 HAS SOUPS 37012 WITH SCORE 37057.984
AT ITER 3312 NEW BEST:: SOT 139663 SOS 45969 HAS SOPS 45969 HAS SOUS 36997 HAS SOUPS 36997 WITH SCORE 37042.969
AT ITER 3314 NEW BEST:: SOT 139661 SOS 45969 HAS SOPS 45969 HAS SOUS 36995 HAS SOUPS 36995 WITH SCORE 37040.969
AT ITER 3332 NEW BEST:: SOT 139656 SOS 45959 HAS SOPS 45959 HAS SOUS 36985 HAS SOUPS 36985 WITH SCORE 37030.959
AT ITER 3342 NEW BEST:: SOT 139490 SOS 45627 HAS SOPS 45627 HAS SOUS 36819 HAS SOUPS 36819 WITH SCORE 36864.627
AT ITER 3343 NEW BEST:: SOT 139477 SOS 45614 HAS SOPS 45614 HAS SOUS 36819 HAS SOUPS 36819 WITH SCORE 36864.614
AT ITER 3344 NEW BEST:: SOT 138991 SOS 45233 HAS SOPS 45233 HAS SOUS 36462 HAS SOUPS 36462 WITH SCORE 36507.233
AT ITER 3355 NEW BEST:: SOT 138872 SOS 45108 HAS SOPS 45108 HAS SOUS 36442 HAS SOUPS 36442 WITH SCORE 36487.108
AT ITER 3358 NEW BEST:: SOT 138860 SOS 45041 HAS SOPS 45041 HAS SOUS 36320 HAS SOUPS 36320 WITH SCORE 36365.041
AT ITER 3364 NEW BEST:: SOT 138868 SOS 45001 HAS SOPS 45001 HAS SOUS 36312 HAS SOUPS 36312 WITH SCORE 36357.001
AT ITER 3367 NEW BEST:: SOT 138833 SOS 44931 HAS SOPS 44931 HAS SOUS 36242 HAS SOUPS 36242 WITH SCORE 36286.931
AT ITER 3382 NEW BEST:: SOT 138810 SOS 44885 HAS SOPS 44885 HAS SOUS 36196 HAS SOUPS 36196 WITH SCORE 36240.885
AT ITER 3399 NEW BEST:: SOT 138812 SOS 44882 HAS SOPS 44882 HAS SOUS 36193 HAS SOUPS 36193 WITH SCORE 36237.882
AT ITER 3424 NEW BEST:: SOT 138800 SOS 44858 HAS SOPS 44858 HAS SOUS 36169 HAS SOUPS 36169 WITH SCORE 36213.858
AT ITER 3429 NEW BEST:: SOT 138798 SOS 44846 HAS SOPS 44846 HAS SOUS 36157 HAS SOUPS 36157 WITH SCORE 36201.846
AT ITER 3502 NEW BEST:: SOT 138807 SOS 44843 HAS SOPS 44843 HAS SOUS 36154 HAS SOUPS 36154 WITH SCORE 36198.843
AT ITER 3537 NEW BEST:: SOT 138875 SOS 44904 HAS SOPS 44904 HAS SOUS 36139 HAS SOUPS 36139 WITH SCORE 36183.904
AT ITER 3552 NEW BEST:: SOT 138952 SOS 44863 HAS SOPS 44863 HAS SOUS 36098 HAS SOUPS 36098 WITH SCORE 36142.863
AT ITER 3559 NEW BEST:: SOT 138937 SOS 44848 HAS SOPS 44848 HAS SOUS 36083 HAS SOUPS 36083 WITH SCORE 36127.848
AT ITER 3570 NEW BEST:: SOT 138941 SOS 44856 HAS SOPS 44856 HAS SOUS 36015 HAS SOUPS 36015 WITH SCORE 36059.856
AT ITER 3577 NEW BEST:: SOT 138914 SOS 44854 HAS SOPS 44854 HAS SOUS 36013 HAS SOUPS 36013 WITH SCORE 36057.854
AT ITER 3587 NEW BEST:: SOT 138420 SOS 44270 HAS SOPS 44270 HAS SOUS 35429 HAS SOUPS 35429 WITH SCORE 35473.27
AT ITER 3602 NEW BEST:: SOT 138420 SOS 44255 HAS SOPS 44255 HAS SOUS 35414 HAS SOUPS 35414 WITH SCORE 35458.255
AT ITER 3607 NEW BEST:: SOT 138409 SOS 44243 HAS SOPS 44243 HAS SOUS 35412 HAS SOUPS 35412 WITH SCORE 35456.243
AT ITER 3608 NEW BEST:: SOT 138409 SOS 44243 HAS SOPS 44243 HAS SOUS 35399 HAS SOUPS 35399 WITH SCORE 35443.243
AT ITER 3620 NEW BEST:: SOT 138400 SOS 44234 HAS SOPS 44234 HAS SOUS 35390 HAS SOUPS 35390 WITH SCORE 35434.234
AT ITER 3625 NEW BEST:: SOT 138398 SOS 44232 HAS SOPS 44232 HAS SOUS 35388 HAS SOUPS 35388 WITH SCORE 35432.232
AT ITER 3691 NEW BEST:: SOT 138418 SOS 44306 HAS SOPS 44306 HAS SOUS 35380 HAS SOUPS 35380 WITH SCORE 35424.306
AT ITER 3706 NEW BEST:: SOT 138409 SOS 44288 HAS SOPS 44288 HAS SOUS 35362 HAS SOUPS 35362 WITH SCORE 35406.288
AT ITER 3724 NEW BEST:: SOT 138270 SOS 44141 HAS SOPS 44141 HAS SOUS 35215 HAS SOUPS 35215 WITH SCORE 35259.141
AT ITER 3760 NEW BEST:: SOT 138198 SOS 44051 HAS SOPS 44051 HAS SOUS 35125 HAS SOUPS 35125 WITH SCORE 35169.051
AT ITER 3774 NEW BEST:: SOT 138031 SOS 44388 HAS SOPS 44388 HAS SOUS 34993 HAS SOUPS 34993 WITH SCORE 35037.388
AT ITER 3784 NEW BEST:: SOT 138031 SOS 44363 HAS SOPS 44363 HAS SOUS 34993 HAS SOUPS 34993 WITH SCORE 35037.363
AT ITER 3795 NEW BEST:: SOT 137968 SOS 44329 HAS SOPS 44329 HAS SOUS 34961 HAS SOUPS 34961 WITH SCORE 35005.329
AT ITER 3825 NEW BEST:: SOT 137923 SOS 44284 HAS SOPS 44284 HAS SOUS 34961 HAS SOUPS 34961 WITH SCORE 35005.284
AT ITER 3826 NEW BEST:: SOT 137915 SOS 44282 HAS SOPS 44282 HAS SOUS 34959 HAS SOUPS 34959 WITH SCORE 35003.282
AT ITER 3828 NEW BEST:: SOT 137914 SOS 44121 HAS SOPS 44121 HAS SOUS 34946 HAS SOUPS 34946 WITH SCORE 34990.121
AT ITER 3847 NEW BEST:: SOT 137862 SOS 44069 HAS SOPS 44069 HAS SOUS 34894 HAS SOUPS 34894 WITH SCORE 34938.069
AT ITER 3856 NEW BEST:: SOT 137879 SOS 44045 HAS SOPS 44045 HAS SOUS 34881 HAS SOUPS 34881 WITH SCORE 34925.045
AT ITER 3871 NEW BEST:: SOT 137869 SOS 44035 HAS SOPS 44035 HAS SOUS 34881 HAS SOUPS 34881 WITH SCORE 34925.035
AT ITER 3882 NEW BEST:: SOT 137869 SOS 44021 HAS SOPS 44021 HAS SOUS 34867 HAS SOUPS 34867 WITH SCORE 34911.021
AT ITER 3884 NEW BEST:: SOT 137771 SOS 43970 HAS SOPS 43970 HAS SOUS 34816 HAS SOUPS 34816 WITH SCORE 34859.97
AT ITER 3885 NEW BEST:: SOT 137787 SOS 43945 HAS SOPS 43945 HAS SOUS 34791 HAS SOUPS 34791 WITH SCORE 34834.945
AT ITER 3892 NEW BEST:: SOT 137780 SOS 43907 HAS SOPS 43907 HAS SOUS 34777 HAS SOUPS 34777 WITH SCORE 34820.907
AT ITER 3894 NEW BEST:: SOT 137765 SOS 43882 HAS SOPS 43882 HAS SOUS 34752 HAS SOUPS 34752 WITH SCORE 34795.882
AT ITER 3901 NEW BEST:: SOT 137436 SOS 43570 HAS SOPS 43570 HAS SOUS 34423 HAS SOUPS 34423 WITH SCORE 34466.57
AT ITER 3904 NEW BEST:: SOT 137388 SOS 43522 HAS SOPS 43522 HAS SOUS 34375 HAS SOUPS 34375 WITH SCORE 34418.522
AT ITER 3910 NEW BEST:: SOT 137394 SOS 43528 HAS SOPS 43528 HAS SOUS 34357 HAS SOUPS 34357 WITH SCORE 34400.528
AT ITER 3927 NEW BEST:: SOT 137371 SOS 43505 HAS SOPS 43505 HAS SOUS 34334 HAS SOUPS 34334 WITH SCORE 34377.505
AT ITER 3928 NEW BEST:: SOT 137272 SOS 43406 HAS SOPS 43406 HAS SOUS 34334 HAS SOUPS 34334 WITH SCORE 34377.406
AT ITER 3932 NEW BEST:: SOT 137272 SOS 43360 HAS SOPS 43360 HAS SOUS 34305 HAS SOUPS 34305 WITH SCORE 34348.36
AT ITER 3998 NEW BEST:: SOT 137243 SOS 43359 HAS SOPS 43359 HAS SOUS 34304 HAS SOUPS 34304 WITH SCORE 34347.359
AT ITER 4011 NEW BEST:: SOT 137243 SOS 43351 HAS SOPS 43351 HAS SOUS 34296 HAS SOUPS 34296 WITH SCORE 34339.351
AT ITER 4022 NEW BEST:: SOT 137270 SOS 43211 HAS SOPS 43211 HAS SOUS 34196 HAS SOUPS 34196 WITH SCORE 34239.211
AT ITER 4030 NEW BEST:: SOT 137261 SOS 43199 HAS SOPS 43199 HAS SOUS 34191 HAS SOUPS 34191 WITH SCORE 34234.199
AT ITER 4042 NEW BEST:: SOT 137264 SOS 43165 HAS SOPS 43165 HAS SOUS 34157 HAS SOUPS 34157 WITH SCORE 34200.165
AT ITER 4045 NEW BEST:: SOT 137256 SOS 43164 HAS SOPS 43164 HAS SOUS 34156 HAS SOUPS 34156 WITH SCORE 34199.164
AT ITER 4078 NEW BEST:: SOT 137254 SOS 43163 HAS SOPS 43163 HAS SOUS 34155 HAS SOUPS 34155 WITH SCORE 34198.163
AT ITER 4093 NEW BEST:: SOT 137240 SOS 43135 HAS SOPS 43135 HAS SOUS 34127 HAS SOUPS 34127 WITH SCORE 34170.135
AT ITER 4095 NEW BEST:: SOT 137245 SOS 43145 HAS SOPS 43145 HAS SOUS 34092 HAS SOUPS 34092 WITH SCORE 34135.145
AT ITER 4111 NEW BEST:: SOT 137265 SOS 43165 HAS SOPS 43165 HAS SOUS 34033 HAS SOUPS 34033 WITH SCORE 34076.165
AT ITER 4112 NEW BEST:: SOT 137265 SOS 43149 HAS SOPS 43149 HAS SOUS 34017 HAS SOUPS 34017 WITH SCORE 34060.149
AT ITER 4153 NEW BEST:: SOT 137257 SOS 43136 HAS SOPS 43136 HAS SOUS 34004 HAS SOUPS 34004 WITH SCORE 34047.136
AT ITER 4157 NEW BEST:: SOT 137242 SOS 43106 HAS SOPS 43106 HAS SOUS 33989 HAS SOUPS 33989 WITH SCORE 34032.106
AT ITER 4161 NEW BEST:: SOT 137306 SOS 43170 HAS SOPS 43170 HAS SOUS 33984 HAS SOUPS 33984 WITH SCORE 34027.17
AT ITER 4194 NEW BEST:: SOT 137274 SOS 43127 HAS SOPS 43127 HAS SOUS 33941 HAS SOUPS 33941 WITH SCORE 33984.127
AT ITER 4217 NEW BEST:: SOT 137215 SOS 43123 HAS SOPS 43123 HAS SOUS 33937 HAS SOUPS 33937 WITH SCORE 33980.123
AT ITER 4224 NEW BEST:: SOT 137215 SOS 43098 HAS SOPS 43098 HAS SOUS 33912 HAS SOUPS 33912 WITH SCORE 33955.098
AT ITER 4232 NEW BEST:: SOT 137299 SOS 43162 HAS SOPS 43162 HAS SOUS 33868 HAS SOUPS 33868 WITH SCORE 33911.162
AT ITER 4255 NEW BEST:: SOT 137285 SOS 43140 HAS SOPS 43140 HAS SOUS 33844 HAS SOUPS 33844 WITH SCORE 33887.14
AT ITER 4333 NEW BEST:: SOT 137248 SOS 43113 HAS SOPS 43113 HAS SOUS 33817 HAS SOUPS 33817 WITH SCORE 33860.113
AT ITER 4347 NEW BEST:: SOT 137276 SOS 43219 HAS SOPS 43219 HAS SOUS 33805 HAS SOUPS 33805 WITH SCORE 33848.219
AT ITER 4353 NEW BEST:: SOT 137268 SOS 43174 HAS SOPS 43174 HAS SOUS 33760 HAS SOUPS 33760 WITH SCORE 33803.174
AT ITER 4357 NEW BEST:: SOT 137281 SOS 43153 HAS SOPS 43153 HAS SOUS 33739 HAS SOUPS 33739 WITH SCORE 33782.153
AT ITER 4364 NEW BEST:: SOT 137279 SOS 43151 HAS SOPS 43151 HAS SOUS 33737 HAS SOUPS 33737 WITH SCORE 33780.151
AT ITER 4385 NEW BEST:: SOT 137227 SOS 43091 HAS SOPS 43091 HAS SOUS 33729 HAS SOUPS 33729 WITH SCORE 33772.091
AT ITER 4392 NEW BEST:: SOT 137220 SOS 43077 HAS SOPS 43077 HAS SOUS 33715 HAS SOUPS 33715 WITH SCORE 33758.077
AT ITER 4399 NEW BEST:: SOT 137201 SOS 43067 HAS SOPS 43067 HAS SOUS 33705 HAS SOUPS 33705 WITH SCORE 33748.067
AT ITER 4410 NEW BEST:: SOT 137201 SOS 43067 HAS SOPS 43067 HAS SOUS 33697 HAS SOUPS 33697 WITH SCORE 33740.067
AT ITER 4441 NEW BEST:: SOT 137280 SOS 43064 HAS SOPS 43064 HAS SOUS 33694 HAS SOUPS 33694 WITH SCORE 33737.064
AT ITER 4456 NEW BEST:: SOT 137261 SOS 43045 HAS SOPS 43045 HAS SOUS 33673 HAS SOUPS 33673 WITH SCORE 33716.045
AT ITER 4461 NEW BEST:: SOT 137277 SOS 43150 HAS SOPS 43150 HAS SOUS 33665 HAS SOUPS 33665 WITH SCORE 33708.15
AT ITER 4462 NEW BEST:: SOT 137283 SOS 43088 HAS SOPS 43088 HAS SOUS 33597 HAS SOUPS 33597 WITH SCORE 33640.088
AT ITER 4484 NEW BEST:: SOT 137313 SOS 43079 HAS SOPS 43079 HAS SOUS 33595 HAS SOUPS 33595 WITH SCORE 33638.079
AT ITER 4495 NEW BEST:: SOT 136844 SOS 43853 HAS SOPS 43853 HAS SOUS 33294 HAS SOUPS 33294 WITH SCORE 33337.853
AT ITER 4506 NEW BEST:: SOT 136844 SOS 43853 HAS SOPS 43853 HAS SOUS 33288 HAS SOUPS 33288 WITH SCORE 33331.853
AT ITER 4533 NEW BEST:: SOT 136818 SOS 43814 HAS SOPS 43814 HAS SOUS 33262 HAS SOUPS 33262 WITH SCORE 33305.814
AT ITER 4539 NEW BEST:: SOT 136818 SOS 43813 HAS SOPS 43813 HAS SOUS 33262 HAS SOUPS 33262 WITH SCORE 33305.813
AT ITER 4576 NEW BEST:: SOT 136800 SOS 43777 HAS SOPS 43777 HAS SOUS 33226 HAS SOUPS 33226 WITH SCORE 33269.777
AT ITER 4591 NEW BEST:: SOT 136799 SOS 43776 HAS SOPS 43776 HAS SOUS 33225 HAS SOUPS 33225 WITH SCORE 33268.776
AT ITER 4594 NEW BEST:: SOT 136810 SOS 43798 HAS SOPS 43798 HAS SOUS 33214 HAS SOUPS 33214 WITH SCORE 33257.798
AT ITER 4599 NEW BEST:: SOT 136801 SOS 43790 HAS SOPS 43790 HAS SOUS 33206 HAS SOUPS 33206 WITH SCORE 33249.79
AT ITER 4627 NEW BEST:: SOT 136773 SOS 43762 HAS SOPS 43762 HAS SOUS 33178 HAS SOUPS 33178 WITH SCORE 33221.762
AT ITER 4635 NEW BEST:: SOT 136650 SOS 43591 HAS SOPS 43591 HAS SOUS 33007 HAS SOUPS 33007 WITH SCORE 33050.591
AT ITER 4650 NEW BEST:: SOT 136647 SOS 43585 HAS SOPS 43585 HAS SOUS 33001 HAS SOUPS 33001 WITH SCORE 33044.585
AT ITER 4660 NEW BEST:: SOT 136691 SOS 43577 HAS SOPS 43577 HAS SOUS 32993 HAS SOUPS 32993 WITH SCORE 33036.577
AT ITER 4704 NEW BEST:: SOT 136701 SOS 43587 HAS SOPS 43587 HAS SOUS 32892 HAS SOUPS 32892 WITH SCORE 32935.587
AT ITER 4720 NEW BEST:: SOT 136626 SOS 43491 HAS SOPS 43491 HAS SOUS 32853 HAS SOUPS 32853 WITH SCORE 32896.491
AT ITER 4731 NEW BEST:: SOT 136454 SOS 43348 HAS SOPS 43348 HAS SOUS 32710 HAS SOUPS 32710 WITH SCORE 32753.348
AT ITER 4734 NEW BEST:: SOT 136411 SOS 43278 HAS SOPS 43278 HAS SOUS 32671 HAS SOUPS 32671 WITH SCORE 32714.278
AT ITER 4745 NEW BEST:: SOT 136441 SOS 42814 HAS SOPS 42814 HAS SOUS 32671 HAS SOUPS 32671 WITH SCORE 32713.814
AT ITER 4747 NEW BEST:: SOT 136412 SOS 42723 HAS SOPS 42723 HAS SOUS 32580 HAS SOUPS 32580 WITH SCORE 32622.723
AT ITER 4774 NEW BEST:: SOT 136388 SOS 42675 HAS SOPS 42675 HAS SOUS 32532 HAS SOUPS 32532 WITH SCORE 32574.675
AT ITER 4777 NEW BEST:: SOT 136356 SOS 42627 HAS SOPS 42627 HAS SOUS 32500 HAS SOUPS 32500 WITH SCORE 32542.627
AT ITER 4781 NEW BEST:: SOT 136346 SOS 42607 HAS SOPS 42607 HAS SOUS 32480 HAS SOUPS 32480 WITH SCORE 32522.607
AT ITER 4805 NEW BEST:: SOT 136256 SOS 42538 HAS SOPS 42538 HAS SOUS 32430 HAS SOUPS 32430 WITH SCORE 32472.538
AT ITER 4835 NEW BEST:: SOT 136256 SOS 42526 HAS SOPS 42526 HAS SOUS 32418 HAS SOUPS 32418 WITH SCORE 32460.526
AT ITER 4865 NEW BEST:: SOT 136218 SOS 42484 HAS SOPS 42484 HAS SOUS 32375 HAS SOUPS 32375 WITH SCORE 32417.484
AT ITER 4868 NEW BEST:: SOT 136245 SOS 42463 HAS SOPS 42463 HAS SOUS 32354 HAS SOUPS 32354 WITH SCORE 32396.463
AT ITER 4885 NEW BEST:: SOT 136222 SOS 42434 HAS SOPS 42434 HAS SOUS 32308 HAS SOUPS 32308 WITH SCORE 32350.434
AT ITER 4900 NEW BEST:: SOT 136216 SOS 42428 HAS SOPS 42428 HAS SOUS 32308 HAS SOUPS 32308 WITH SCORE 32350.428
AT ITER 5006 NEW BEST:: SOT 136207 SOS 42410 HAS SOPS 42410 HAS SOUS 32299 HAS SOUPS 32299 WITH SCORE 32341.41
AT ITER 5007 NEW BEST:: SOT 136118 SOS 42369 HAS SOPS 42369 HAS SOUS 32299 HAS SOUPS 32299 WITH SCORE 32341.369
AT ITER 5022 NEW BEST:: SOT 136118 SOS 42331 HAS SOPS 42331 HAS SOUS 32283 HAS SOUPS 32283 WITH SCORE 32325.331
AT ITER 5065 NEW BEST:: SOT 136118 SOS 42330 HAS SOPS 42330 HAS SOUS 32282 HAS SOUPS 32282 WITH SCORE 32324.33
AT ITER 5080 NEW BEST:: SOT 136146 SOS 42347 HAS SOPS 42347 HAS SOUS 32256 HAS SOUPS 32256 WITH SCORE 32298.347
AT ITER 5106 NEW BEST:: SOT 136205 SOS 42406 HAS SOPS 42406 HAS SOUS 32249 HAS SOUPS 32249 WITH SCORE 32291.406
AT ITER 5108 NEW BEST:: SOT 136203 SOS 42402 HAS SOPS 42402 HAS SOUS 32245 HAS SOUPS 32245 WITH SCORE 32287.402
AT ITER 5117 NEW BEST:: SOT 136204 SOS 42396 HAS SOPS 42396 HAS SOUS 32238 HAS SOUPS 32238 WITH SCORE 32280.396
AT ITER 5120 NEW BEST:: SOT 136204 SOS 42405 HAS SOPS 42405 HAS SOUS 32224 HAS SOUPS 32224 WITH SCORE 32266.405
AT ITER 5158 NEW BEST:: SOT 136193 SOS 42415 HAS SOPS 42415 HAS SOUS 32200 HAS SOUPS 32200 WITH SCORE 32242.415
AT ITER 5171 NEW BEST:: SOT 136182 SOS 42393 HAS SOPS 42393 HAS SOUS 32189 HAS SOUPS 32189 WITH SCORE 32231.393
AT ITER 5187 NEW BEST:: SOT 136164 SOS 42375 HAS SOPS 42375 HAS SOUS 32171 HAS SOUPS 32171 WITH SCORE 32213.375
AT ITER 5190 NEW BEST:: SOT 136136 SOS 42347 HAS SOPS 42347 HAS SOUS 32129 HAS SOUPS 32129 WITH SCORE 32171.347
AT ITER 5199 NEW BEST:: SOT 136083 SOS 42241 HAS SOPS 42241 HAS SOUS 32126 HAS SOUPS 32126 WITH SCORE 32168.241
AT ITER 5213 NEW BEST:: SOT 136082 SOS 42206 HAS SOPS 42206 HAS SOUS 32049 HAS SOUPS 32049 WITH SCORE 32091.206
AT ITER 5256 NEW BEST:: SOT 135941 SOS 42065 HAS SOPS 42065 HAS SOUS 32042 HAS SOUPS 32042 WITH SCORE 32084.065
AT ITER 5272 NEW BEST:: SOT 135935 SOS 42041 HAS SOPS 42041 HAS SOUS 32036 HAS SOUPS 32036 WITH SCORE 32078.041
AT ITER 5279 NEW BEST:: SOT 135940 SOS 42033 HAS SOPS 42033 HAS SOUS 32028 HAS SOUPS 32028 WITH SCORE 32070.033
AT ITER 5318 NEW BEST:: SOT 135920 SOS 41993 HAS SOPS 41993 HAS SOUS 32008 HAS SOUPS 32008 WITH SCORE 32049.993
AT ITER 5356 NEW BEST:: SOT 135907 SOS 41980 HAS SOPS 41980 HAS SOUS 31995 HAS SOUPS 31995 WITH SCORE 32036.98
AT ITER 5373 NEW BEST:: SOT 135873 SOS 41909 HAS SOPS 41909 HAS SOUS 31924 HAS SOUPS 31924 WITH SCORE 31965.909
AT ITER 5390 NEW BEST:: SOT 135849 SOS 41861 HAS SOPS 41861 HAS SOUS 31876 HAS SOUPS 31876 WITH SCORE 31917.861
AT ITER 5396 NEW BEST:: SOT 135841 SOS 41792 HAS SOPS 41792 HAS SOUS 31807 HAS SOUPS 31807 WITH SCORE 31848.792
AT ITER 5406 NEW BEST:: SOT 135841 SOS 41782 HAS SOPS 41782 HAS SOUS 31797 HAS SOUPS 31797 WITH SCORE 31838.782
AT ITER 5433 NEW BEST:: SOT 135836 SOS 41777 HAS SOPS 41777 HAS SOUS 31784 HAS SOUPS 31784 WITH SCORE 31825.777
AT ITER 5435 NEW BEST:: SOT 135844 SOS 41696 HAS SOPS 41696 HAS SOUS 31721 HAS SOUPS 31721 WITH SCORE 31762.696
AT ITER 5455 NEW BEST:: SOT 136052 SOS 41837 HAS SOPS 41837 HAS SOUS 31717 HAS SOUPS 31717 WITH SCORE 31758.837
AT ITER 5467 NEW BEST:: SOT 136006 SOS 41805 HAS SOPS 41805 HAS SOUS 31685 HAS SOUPS 31685 WITH SCORE 31726.805
AT ITER 5475 NEW BEST:: SOT 136006 SOS 41713 HAS SOPS 41713 HAS SOUS 31655 HAS SOUPS 31655 WITH SCORE 31696.713
AT ITER 5539 NEW BEST:: SOT 135970 SOS 41726 HAS SOPS 41726 HAS SOUS 31614 HAS SOUPS 31614 WITH SCORE 31655.726
AT ITER 5576 NEW BEST:: SOT 135970 SOS 41723 HAS SOPS 41723 HAS SOUS 31611 HAS SOUPS 31611 WITH SCORE 31652.723
AT ITER 5580 NEW BEST:: SOT 135919 SOS 41621 HAS SOPS 41621 HAS SOUS 31509 HAS SOUPS 31509 WITH SCORE 31550.621
AT ITER 5588 NEW BEST:: SOT 135882 SOS 41584 HAS SOPS 41584 HAS SOUS 31484 HAS SOUPS 31484 WITH SCORE 31525.584
AT ITER 5625 NEW BEST:: SOT 135827 SOS 41529 HAS SOPS 41529 HAS SOUS 31429 HAS SOUPS 31429 WITH SCORE 31470.529
AT ITER 5626 NEW BEST:: SOT 135814 SOS 41516 HAS SOPS 41516 HAS SOUS 31429 HAS SOUPS 31429 WITH SCORE 31470.516
AT ITER 5629 NEW BEST:: SOT 135813 SOS 41472 HAS SOPS 41472 HAS SOUS 31385 HAS SOUPS 31385 WITH SCORE 31426.472
AT ITER 5638 NEW BEST:: SOT 135760 SOS 41328 HAS SOPS 41328 HAS SOUS 31272 HAS SOUPS 31272 WITH SCORE 31313.328
AT ITER 5693 NEW BEST:: SOT 135744 SOS 41278 HAS SOPS 41278 HAS SOUS 31238 HAS SOUPS 31238 WITH SCORE 31279.278
AT ITER 5706 NEW BEST:: SOT 135755 SOS 41024 HAS SOPS 41024 HAS SOUS 31159 HAS SOUPS 31159 WITH SCORE 31200.024
AT ITER 5708 NEW BEST:: SOT 135777 SOS 41043 HAS SOPS 41043 HAS SOUS 31153 HAS SOUPS 31153 WITH SCORE 31194.043
AT ITER 5740 NEW BEST:: SOT 135740 SOS 41016 HAS SOPS 41016 HAS SOUS 31126 HAS SOUPS 31126 WITH SCORE 31167.016
AT ITER 5747 NEW BEST:: SOT 135736 SOS 41012 HAS SOPS 41012 HAS SOUS 31113 HAS SOUPS 31113 WITH SCORE 31154.012
AT ITER 5757 NEW BEST:: SOT 135695 SOS 40899 HAS SOPS 40899 HAS SOUS 31066 HAS SOUPS 31066 WITH SCORE 31106.899
AT ITER 5767 NEW BEST:: SOT 135695 SOS 40898 HAS SOPS 40898 HAS SOUS 31065 HAS SOUPS 31065 WITH SCORE 31105.898
AT ITER 5774 NEW BEST:: SOT 135691 SOS 40894 HAS SOPS 40894 HAS SOUS 31061 HAS SOUPS 31061 WITH SCORE 31101.894
AT ITER 5796 NEW BEST:: SOT 135673 SOS 40916 HAS SOPS 40916 HAS SOUS 31025 HAS SOUPS 31025 WITH SCORE 31065.916
AT ITER 5800 NEW BEST:: SOT 135669 SOS 40914 HAS SOPS 40914 HAS SOUS 31023 HAS SOUPS 31023 WITH SCORE 31063.914
AT ITER 5809 NEW BEST:: SOT 135649 SOS 40854 HAS SOPS 40854 HAS SOUS 30983 HAS SOUPS 30983 WITH SCORE 31023.854
AT ITER 5847 NEW BEST:: SOT 135636 SOS 40845 HAS SOPS 40845 HAS SOUS 30974 HAS SOUPS 30974 WITH SCORE 31014.845
AT ITER 5854 NEW BEST:: SOT 135607 SOS 40785 HAS SOPS 40785 HAS SOUS 30945 HAS SOUPS 30945 WITH SCORE 30985.785
AT ITER 5867 NEW BEST:: SOT 135533 SOS 40715 HAS SOPS 40715 HAS SOUS 30875 HAS SOUPS 30875 WITH SCORE 30915.715
AT ITER 5896 NEW BEST:: SOT 135533 SOS 40714 HAS SOPS 40714 HAS SOUS 30874 HAS SOUPS 30874 WITH SCORE 30914.714
AT ITER 5923 NEW BEST:: SOT 135539 SOS 40699 HAS SOPS 40699 HAS SOUS 30859 HAS SOUPS 30859 WITH SCORE 30899.699
AT ITER 5975 NEW BEST:: SOT 135539 SOS 40571 HAS SOPS 40571 HAS SOUS 30795 HAS SOUPS 30795 WITH SCORE 30835.571
AT ITER 5985 NEW BEST:: SOT 135520 SOS 40533 HAS SOPS 40533 HAS SOUS 30757 HAS SOUPS 30757 WITH SCORE 30797.533
AT ITER 5997 NEW BEST:: SOT 135470 SOS 40483 HAS SOPS 40483 HAS SOUS 30757 HAS SOUPS 30757 WITH SCORE 30797.483
AT ITER 6004 NEW BEST:: SOT 135514 SOS 40277 HAS SOPS 40277 HAS SOUS 30551 HAS SOUPS 30551 WITH SCORE 30591.277
AT ITER 6042 NEW BEST:: SOT 135504 SOS 40267 HAS SOPS 40267 HAS SOUS 30532 HAS SOUPS 30532 WITH SCORE 30572.267
AT ITER 6081 NEW BEST:: SOT 135504 SOS 40235 HAS SOPS 40235 HAS SOUS 30500 HAS SOUPS 30500 WITH SCORE 30540.235
AT ITER 6083 NEW BEST:: SOT 135486 SOS 40199 HAS SOPS 40199 HAS SOUS 30464 HAS SOUPS 30464 WITH SCORE 30504.199
AT ITER 6084 NEW BEST:: SOT 135472 SOS 40185 HAS SOPS 40185 HAS SOUS 30450 HAS SOUPS 30450 WITH SCORE 30490.185
AT ITER 6098 NEW BEST:: SOT 135460 SOS 40145 HAS SOPS 40145 HAS SOUS 30410 HAS SOUPS 30410 WITH SCORE 30450.145
AT ITER 6104 NEW BEST:: SOT 135457 SOS 40129 HAS SOPS 40129 HAS SOUS 30394 HAS SOUPS 30394 WITH SCORE 30434.129
AT ITER 6111 NEW BEST:: SOT 135408 SOS 40076 HAS SOPS 40076 HAS SOUS 30390 HAS SOUPS 30390 WITH SCORE 30430.076
AT ITER 6152 NEW BEST:: SOT 135404 SOS 40068 HAS SOPS 40068 HAS SOUS 30382 HAS SOUPS 30382 WITH SCORE 30422.068
AT ITER 6163 NEW BEST:: SOT 135404 SOS 40047 HAS SOPS 40047 HAS SOUS 30361 HAS SOUPS 30361 WITH SCORE 30401.047
AT ITER 6168 NEW BEST:: SOT 135389 SOS 40024 HAS SOPS 40024 HAS SOUS 30338 HAS SOUPS 30338 WITH SCORE 30378.024
AT ITER 6190 NEW BEST:: SOT 135403 SOS 39993 HAS SOPS 39993 HAS SOUS 30307 HAS SOUPS 30307 WITH SCORE 30346.993
AT ITER 6239 NEW BEST:: SOT 135401 SOS 39990 HAS SOPS 39990 HAS SOUS 30305 HAS SOUPS 30305 WITH SCORE 30344.99
AT ITER 6271 NEW BEST:: SOT 135369 SOS 39958 HAS SOPS 39958 HAS SOUS 30305 HAS SOUPS 30305 WITH SCORE 30344.958
AT ITER 6297 NEW BEST:: SOT 135331 SOS 39920 HAS SOPS 39920 HAS SOUS 30267 HAS SOUPS 30267 WITH SCORE 30306.92
AT ITER 6353 NEW BEST:: SOT 135301 SOS 39860 HAS SOPS 39860 HAS SOUS 30207 HAS SOUPS 30207 WITH SCORE 30246.86
AT ITER 6369 NEW BEST:: SOT 135303 SOS 39858 HAS SOPS 39858 HAS SOUS 30205 HAS SOUPS 30205 WITH SCORE 30244.858
AT ITER 6513 NEW BEST:: SOT 135300 SOS 39852 HAS SOPS 39852 HAS SOUS 30202 HAS SOUPS 30202 WITH SCORE 30241.852
AT ITER 6519 NEW BEST:: SOT 135291 SOS 39821 HAS SOPS 39821 HAS SOUS 30189 HAS SOUPS 30189 WITH SCORE 30228.821
AT ITER 6532 NEW BEST:: SOT 135270 SOS 39797 HAS SOPS 39797 HAS SOUS 30183 HAS SOUPS 30183 WITH SCORE 30222.797
AT ITER 6568 NEW BEST:: SOT 135215 SOS 39785 HAS SOPS 39785 HAS SOUS 30171 HAS SOUPS 30171 WITH SCORE 30210.785
AT ITER 6608 NEW BEST:: SOT 135187 SOS 39745 HAS SOPS 39745 HAS SOUS 30159 HAS SOUPS 30159 WITH SCORE 30198.745
AT ITER 6620 NEW BEST:: SOT 135150 SOS 39669 HAS SOPS 39669 HAS SOUS 30083 HAS SOUPS 30083 WITH SCORE 30122.669
AT ITER 6638 NEW BEST:: SOT 135133 SOS 39652 HAS SOPS 39652 HAS SOUS 30066 HAS SOUPS 30066 WITH SCORE 30105.652
AT ITER 6646 NEW BEST:: SOT 135133 SOS 39637 HAS SOPS 39637 HAS SOUS 30051 HAS SOUPS 30051 WITH SCORE 30090.637
AT ITER 6671 NEW BEST:: SOT 135133 SOS 39633 HAS SOPS 39633 HAS SOUS 30050 HAS SOUPS 30050 WITH SCORE 30089.633
AT ITER 6679 NEW BEST:: SOT 135133 SOS 39633 HAS SOPS 39633 HAS SOUS 30038 HAS SOUPS 30038 WITH SCORE 30077.633
AT ITER 6686 NEW BEST:: SOT 135107 SOS 39617 HAS SOPS 39617 HAS SOUS 30035 HAS SOUPS 30035 WITH SCORE 30074.617
AT ITER 6694 NEW BEST:: SOT 135052 SOS 39507 HAS SOPS 39507 HAS SOUS 29980 HAS SOUPS 29980 WITH SCORE 30019.507
AT ITER 6774 NEW BEST:: SOT 135188 SOS 39607 HAS SOPS 39607 HAS SOUS 29922 HAS SOUPS 29922 WITH SCORE 29961.607
AT ITER 6818 NEW BEST:: SOT 135273 SOS 39637 HAS SOPS 39637 HAS SOUS 29899 HAS SOUPS 29899 WITH SCORE 29938.637
AT ITER 6827 NEW BEST:: SOT 135270 SOS 39631 HAS SOPS 39631 HAS SOUS 29899 HAS SOUPS 29899 WITH SCORE 29938.631
AT ITER 6880 NEW BEST:: SOT 135267 SOS 39572 HAS SOPS 39572 HAS SOUS 29896 HAS SOUPS 29896 WITH SCORE 29935.572
AT ITER 6889 NEW BEST:: SOT 135127 SOS 39432 HAS SOPS 39432 HAS SOUS 29826 HAS SOUPS 29826 WITH SCORE 29865.432
AT ITER 6916 NEW BEST:: SOT 135127 SOS 39305 HAS SOPS 39305 HAS SOUS 29821 HAS SOUPS 29821 WITH SCORE 29860.305
AT ITER 6917 NEW BEST:: SOT 135123 SOS 39297 HAS SOPS 39297 HAS SOUS 29817 HAS SOUPS 29817 WITH SCORE 29856.297
AT ITER 6929 NEW BEST:: SOT 135140 SOS 39293 HAS SOPS 39293 HAS SOUS 29813 HAS SOUPS 29813 WITH SCORE 29852.293
AT ITER 6949 NEW BEST:: SOT 135131 SOS 39336 HAS SOPS 39336 HAS SOUS 29761 HAS SOUPS 29761 WITH SCORE 29800.336
AT ITER 6960 NEW BEST:: SOT 135099 SOS 39304 HAS SOPS 39304 HAS SOUS 29729 HAS SOUPS 29729 WITH SCORE 29768.304
AT ITER 6965 NEW BEST:: SOT 135099 SOS 39294 HAS SOPS 39294 HAS SOUS 29729 HAS SOUPS 29729 WITH SCORE 29768.294
AT ITER 6979 NEW BEST:: SOT 135099 SOS 39266 HAS SOPS 39266 HAS SOUS 29729 HAS SOUPS 29729 WITH SCORE 29768.266
AT ITER 7005 NEW BEST:: SOT 135103 SOS 39246 HAS SOPS 39246 HAS SOUS 29709 HAS SOUPS 29709 WITH SCORE 29748.246
AT ITER 7014 NEW BEST:: SOT 135087 SOS 39243 HAS SOPS 39243 HAS SOUS 29706 HAS SOUPS 29706 WITH SCORE 29745.243
AT ITER 7016 NEW BEST:: SOT 135072 SOS 39227 HAS SOPS 39227 HAS SOUS 29690 HAS SOUPS 29690 WITH SCORE 29729.227
AT ITER 7106 NEW BEST:: SOT 135071 SOS 39225 HAS SOPS 39225 HAS SOUS 29689 HAS SOUPS 29689 WITH SCORE 29728.225
AT ITER 7107 NEW BEST:: SOT 135078 SOS 39232 HAS SOPS 39232 HAS SOUS 29684 HAS SOUPS 29684 WITH SCORE 29723.232
AT ITER 7133 NEW BEST:: SOT 135075 SOS 39192 HAS SOPS 39192 HAS SOUS 29644 HAS SOUPS 29644 WITH SCORE 29683.192
AT ITER 7157 NEW BEST:: SOT 135042 SOS 39159 HAS SOPS 39159 HAS SOUS 29611 HAS SOUPS 29611 WITH SCORE 29650.159
AT ITER 7158 NEW BEST:: SOT 135046 SOS 39111 HAS SOPS 39111 HAS SOUS 29563 HAS SOUPS 29563 WITH SCORE 29602.111
AT ITER 7194 NEW BEST:: SOT 135046 SOS 39066 HAS SOPS 39066 HAS SOUS 29518 HAS SOUPS 29518 WITH SCORE 29557.066
AT ITER 7199 NEW BEST:: SOT 135011 SOS 39047 HAS SOPS 39047 HAS SOUS 29499 HAS SOUPS 29499 WITH SCORE 29538.047
AT ITER 7208 NEW BEST:: SOT 134983 SOS 39004 HAS SOPS 39004 HAS SOUS 29456 HAS SOUPS 29456 WITH SCORE 29495.004
AT ITER 7210 NEW BEST:: SOT 134993 SOS 39016 HAS SOPS 39016 HAS SOUS 29420 HAS SOUPS 29420 WITH SCORE 29459.016
AT ITER 7217 NEW BEST:: SOT 134993 SOS 38942 HAS SOPS 38942 HAS SOUS 29346 HAS SOUPS 29346 WITH SCORE 29384.942
AT ITER 7223 NEW BEST:: SOT 134984 SOS 38940 HAS SOPS 38940 HAS SOUS 29328 HAS SOUPS 29328 WITH SCORE 29366.94
AT ITER 7247 NEW BEST:: SOT 134942 SOS 38832 HAS SOPS 38832 HAS SOUS 29220 HAS SOUPS 29220 WITH SCORE 29258.832
AT ITER 7275 NEW BEST:: SOT 134938 SOS 38831 HAS SOPS 38831 HAS SOUS 29200 HAS SOUPS 29200 WITH SCORE 29238.831
AT ITER 7283 NEW BEST:: SOT 134883 SOS 38767 HAS SOPS 38767 HAS SOUS 29182 HAS SOUPS 29182 WITH SCORE 29220.767
AT ITER 7322 NEW BEST:: SOT 134946 SOS 38718 HAS SOPS 38718 HAS SOUS 29133 HAS SOUPS 29133 WITH SCORE 29171.718
AT ITER 7342 NEW BEST:: SOT 134951 SOS 38723 HAS SOPS 38723 HAS SOUS 29096 HAS SOUPS 29096 WITH SCORE 29134.723
AT ITER 7350 NEW BEST:: SOT 134942 SOS 38705 HAS SOPS 38705 HAS SOUS 29078 HAS SOUPS 29078 WITH SCORE 29116.705
AT ITER 7364 NEW BEST:: SOT 134944 SOS 38691 HAS SOPS 38691 HAS SOUS 29064 HAS SOUPS 29064 WITH SCORE 29102.691
AT ITER 7371 NEW BEST:: SOT 134933 SOS 38671 HAS SOPS 38671 HAS SOUS 29044 HAS SOUPS 29044 WITH SCORE 29082.671
AT ITER 7417 NEW BEST:: SOT 134933 SOS 38641 HAS SOPS 38641 HAS SOUS 29014 HAS SOUPS 29014 WITH SCORE 29052.641
AT ITER 7418 NEW BEST:: SOT 134942 SOS 38589 HAS SOPS 38589 HAS SOUS 28971 HAS SOUPS 28971 WITH SCORE 29009.589
AT ITER 7425 NEW BEST:: SOT 134909 SOS 38523 HAS SOPS 38523 HAS SOUS 28938 HAS SOUPS 28938 WITH SCORE 28976.523
AT ITER 7439 NEW BEST:: SOT 134890 SOS 38485 HAS SOPS 38485 HAS SOUS 28900 HAS SOUPS 28900 WITH SCORE 28938.485
AT ITER 7448 NEW BEST:: SOT 134876 SOS 38545 HAS SOPS 38545 HAS SOUS 28886 HAS SOUPS 28886 WITH SCORE 28924.545
AT ITER 7453 NEW BEST:: SOT 134838 SOS 38507 HAS SOPS 38507 HAS SOUS 28848 HAS SOUPS 28848 WITH SCORE 28886.507
AT ITER 7520 NEW BEST:: SOT 134831 SOS 38495 HAS SOPS 38495 HAS SOUS 28843 HAS SOUPS 28843 WITH SCORE 28881.495
AT ITER 7569 NEW BEST:: SOT 134753 SOS 38417 HAS SOPS 38417 HAS SOUS 28843 HAS SOUPS 28843 WITH SCORE 28881.417
AT ITER 7576 NEW BEST:: SOT 134753 SOS 38402 HAS SOPS 38402 HAS SOUS 28828 HAS SOUPS 28828 WITH SCORE 28866.402
AT ITER 7582 NEW BEST:: SOT 134750 SOS 38399 HAS SOPS 38399 HAS SOUS 28828 HAS SOUPS 28828 WITH SCORE 28866.399
AT ITER 7586 NEW BEST:: SOT 134750 SOS 38399 HAS SOPS 38399 HAS SOUS 28807 HAS SOUPS 28807 WITH SCORE 28845.399
AT ITER 7656 NEW BEST:: SOT 134708 SOS 38315 HAS SOPS 38315 HAS SOUS 28791 HAS SOUPS 28791 WITH SCORE 28829.315
AT ITER 7684 NEW BEST:: SOT 134682 SOS 38289 HAS SOPS 38289 HAS SOUS 28765 HAS SOUPS 28765 WITH SCORE 28803.289
AT ITER 7689 NEW BEST:: SOT 134640 SOS 38238 HAS SOPS 38238 HAS SOUS 28754 HAS SOUPS 28754 WITH SCORE 28792.238
AT ITER 7691 NEW BEST:: SOT 134640 SOS 38238 HAS SOPS 38238 HAS SOUS 28749 HAS SOUPS 28749 WITH SCORE 28787.238
AT ITER 7707 NEW BEST:: SOT 134615 SOS 38213 HAS SOPS 38213 HAS SOUS 28724 HAS SOUPS 28724 WITH SCORE 28762.213
AT ITER 7713 NEW BEST:: SOT 134614 SOS 38211 HAS SOPS 38211 HAS SOUS 28722 HAS SOUPS 28722 WITH SCORE 28760.211
AT ITER 7726 NEW BEST:: SOT 134614 SOS 38199 HAS SOPS 38199 HAS SOUS 28722 HAS SOUPS 28722 WITH SCORE 28760.199
AT ITER 7775 NEW BEST:: SOT 134604 SOS 38179 HAS SOPS 38179 HAS SOUS 28712 HAS SOUPS 28712 WITH SCORE 28750.179
AT ITER 7801 NEW BEST:: SOT 134577 SOS 38152 HAS SOPS 38152 HAS SOUS 28693 HAS SOUPS 28693 WITH SCORE 28731.152
AT ITER 7822 NEW BEST:: SOT 134567 SOS 38142 HAS SOPS 38142 HAS SOUS 28693 HAS SOUPS 28693 WITH SCORE 28731.142
AT ITER 7853 NEW BEST:: SOT 134571 SOS 38130 HAS SOPS 38130 HAS SOUS 28681 HAS SOUPS 28681 WITH SCORE 28719.13
AT ITER 7858 NEW BEST:: SOT 134553 SOS 38111 HAS SOPS 38111 HAS SOUS 28679 HAS SOUPS 28679 WITH SCORE 28717.111
AT ITER 7877 NEW BEST:: SOT 134553 SOS 38111 HAS SOPS 38111 HAS SOUS 28666 HAS SOUPS 28666 WITH SCORE 28704.111
AT ITER 7921 NEW BEST:: SOT 134546 SOS 38104 HAS SOPS 38104 HAS SOUS 28659 HAS SOUPS 28659 WITH SCORE 28697.104
AT ITER 7968 NEW BEST:: SOT 134527 SOS 38066 HAS SOPS 38066 HAS SOUS 28640 HAS SOUPS 28640 WITH SCORE 28678.066
AT ITER 7985 NEW BEST:: SOT 134509 SOS 38024 HAS SOPS 38024 HAS SOUS 28598 HAS SOUPS 28598 WITH SCORE 28636.024
AT ITER 7991 NEW BEST:: SOT 134480 SOS 37966 HAS SOPS 37966 HAS SOUS 28540 HAS SOUPS 28540 WITH SCORE 28577.966
AT ITER 8002 NEW BEST:: SOT 134450 SOS 37943 HAS SOPS 37943 HAS SOUS 28517 HAS SOUPS 28517 WITH SCORE 28554.943
AT ITER 8024 NEW BEST:: SOT 134449 SOS 37942 HAS SOPS 37942 HAS SOUS 28516 HAS SOUPS 28516 WITH SCORE 28553.942
AT ITER 8052 NEW BEST:: SOT 134449 SOS 37939 HAS SOPS 37939 HAS SOUS 28513 HAS SOUPS 28513 WITH SCORE 28550.939
AT ITER 8218 NEW BEST:: SOT 134441 SOS 37931 HAS SOPS 37931 HAS SOUS 28505 HAS SOUPS 28505 WITH SCORE 28542.931
AT ITER 8235 NEW BEST:: SOT 134432 SOS 37921 HAS SOPS 37921 HAS SOUS 28495 HAS SOUPS 28495 WITH SCORE 28532.921
AT ITER 8236 NEW BEST:: SOT 134396 SOS 37891 HAS SOPS 37891 HAS SOUS 28465 HAS SOUPS 28465 WITH SCORE 28502.891
AT ITER 8250 NEW BEST:: SOT 134392 SOS 37815 HAS SOPS 37815 HAS SOUS 28453 HAS SOUPS 28453 WITH SCORE 28490.815
AT ITER 8256 NEW BEST:: SOT 134387 SOS 37805 HAS SOPS 37805 HAS SOUS 28449 HAS SOUPS 28449 WITH SCORE 28486.805
AT ITER 8286 NEW BEST:: SOT 134377 SOS 37796 HAS SOPS 37796 HAS SOUS 28440 HAS SOUPS 28440 WITH SCORE 28477.796
AT ITER 8307 NEW BEST:: SOT 134369 SOS 37789 HAS SOPS 37789 HAS SOUS 28433 HAS SOUPS 28433 WITH SCORE 28470.789
AT ITER 8309 NEW BEST:: SOT 134363 SOS 37777 HAS SOPS 37777 HAS SOUS 28421 HAS SOUPS 28421 WITH SCORE 28458.777
AT ITER 8317 NEW BEST:: SOT 134338 SOS 37729 HAS SOPS 37729 HAS SOUS 28373 HAS SOUPS 28373 WITH SCORE 28410.729
AT ITER 8320 NEW BEST:: SOT 134333 SOS 37738 HAS SOPS 37738 HAS SOUS 28372 HAS SOUPS 28372 WITH SCORE 28409.738
AT ITER 8328 NEW BEST:: SOT 134334 SOS 37729 HAS SOPS 37729 HAS SOUS 28363 HAS SOUPS 28363 WITH SCORE 28400.729
AT ITER 8336 NEW BEST:: SOT 134326 SOS 37702 HAS SOPS 37702 HAS SOUS 28336 HAS SOUPS 28336 WITH SCORE 28373.702
AT ITER 8368 NEW BEST:: SOT 134219 SOS 37665 HAS SOPS 37665 HAS SOUS 28299 HAS SOUPS 28299 WITH SCORE 28336.665
AT ITER 8383 NEW BEST:: SOT 134158 SOS 37654 HAS SOPS 37654 HAS SOUS 28288 HAS SOUPS 28288 WITH SCORE 28325.654
AT ITER 8412 NEW BEST:: SOT 134101 SOS 37616 HAS SOPS 37616 HAS SOUS 28250 HAS SOUPS 28250 WITH SCORE 28287.616
AT ITER 8423 NEW BEST:: SOT 134117 SOS 37598 HAS SOPS 37598 HAS SOUS 28232 HAS SOUPS 28232 WITH SCORE 28269.598
AT ITER 8433 NEW BEST:: SOT 134116 SOS 37596 HAS SOPS 37596 HAS SOUS 28230 HAS SOUPS 28230 WITH SCORE 28267.596
AT ITER 8442 NEW BEST:: SOT 134112 SOS 37592 HAS SOPS 37592 HAS SOUS 28226 HAS SOUPS 28226 WITH SCORE 28263.592
AT ITER 8443 NEW BEST:: SOT 134112 SOS 37576 HAS SOPS 37576 HAS SOUS 28210 HAS SOUPS 28210 WITH SCORE 28247.576
AT ITER 8445 NEW BEST:: SOT 134101 SOS 37692 HAS SOPS 37692 HAS SOUS 28199 HAS SOUPS 28199 WITH SCORE 28236.692
AT ITER 8452 NEW BEST:: SOT 134099 SOS 37688 HAS SOPS 37688 HAS SOUS 28195 HAS SOUPS 28195 WITH SCORE 28232.688
AT ITER 8517 NEW BEST:: SOT 134101 SOS 37681 HAS SOPS 37681 HAS SOUS 28159 HAS SOUPS 28159 WITH SCORE 28196.681
AT ITER 8565 NEW BEST:: SOT 134067 SOS 37613 HAS SOPS 37613 HAS SOUS 28125 HAS SOUPS 28125 WITH SCORE 28162.613
AT ITER 8572 NEW BEST:: SOT 134067 SOS 37603 HAS SOPS 37603 HAS SOUS 28116 HAS SOUPS 28116 WITH SCORE 28153.603
AT ITER 8650 NEW BEST:: SOT 134066 SOS 37600 HAS SOPS 37600 HAS SOUS 28113 HAS SOUPS 28113 WITH SCORE 28150.6
AT ITER 8669 NEW BEST:: SOT 134046 SOS 37580 HAS SOPS 37580 HAS SOUS 28093 HAS SOUPS 28093 WITH SCORE 28130.58
AT ITER 8724 NEW BEST:: SOT 134018 SOS 37566 HAS SOPS 37566 HAS SOUS 28079 HAS SOUPS 28079 WITH SCORE 28116.566
AT ITER 8778 NEW BEST:: SOT 134017 SOS 37564 HAS SOPS 37564 HAS SOUS 28077 HAS SOUPS 28077 WITH SCORE 28114.564
AT ITER 8784 NEW BEST:: SOT 133986 SOS 37509 HAS SOPS 37509 HAS SOUS 28053 HAS SOUPS 28053 WITH SCORE 28090.509
AT ITER 8807 NEW BEST:: SOT 133986 SOS 37505 HAS SOPS 37505 HAS SOUS 28045 HAS SOUPS 28045 WITH SCORE 28082.505
AT ITER 8826 NEW BEST:: SOT 133986 SOS 37504 HAS SOPS 37504 HAS SOUS 28044 HAS SOUPS 28044 WITH SCORE 28081.504
AT ITER 8882 NEW BEST:: SOT 133985 SOS 37490 HAS SOPS 37490 HAS SOUS 28043 HAS SOUPS 28043 WITH SCORE 28080.49
AT ITER 8947 NEW BEST:: SOT 133979 SOS 37498 HAS SOPS 37498 HAS SOUS 28026 HAS SOUPS 28026 WITH SCORE 28063.498
AT ITER 8972 NEW BEST:: SOT 133980 SOS 37497 HAS SOPS 37497 HAS SOUS 28025 HAS SOUPS 28025 WITH SCORE 28062.497
AT ITER 8979 NEW BEST:: SOT 133978 SOS 37495 HAS SOPS 37495 HAS SOUS 28023 HAS SOUPS 28023 WITH SCORE 28060.495
AT ITER 8984 NEW BEST:: SOT 133973 SOS 37485 HAS SOPS 37485 HAS SOUS 28013 HAS SOUPS 28013 WITH SCORE 28050.485
AT ITER 9001 NEW BEST:: SOT 133906 SOS 37426 HAS SOPS 37426 HAS SOUS 27954 HAS SOUPS 27954 WITH SCORE 27991.426
AT ITER 9062 NEW BEST:: SOT 133922 SOS 37399 HAS SOPS 37399 HAS SOUS 27927 HAS SOUPS 27927 WITH SCORE 27964.399
AT ITER 9063 NEW BEST:: SOT 133959 SOS 37393 HAS SOPS 37393 HAS SOUS 27921 HAS SOUPS 27921 WITH SCORE 27958.393
AT ITER 9102 NEW BEST:: SOT 133957 SOS 37391 HAS SOPS 37391 HAS SOUS 27919 HAS SOUPS 27919 WITH SCORE 27956.391
AT ITER 9127 NEW BEST:: SOT 133934 SOS 37378 HAS SOPS 37378 HAS SOUS 27906 HAS SOUPS 27906 WITH SCORE 27943.378
AT ITER 9151 NEW BEST:: SOT 133917 SOS 37372 HAS SOPS 37372 HAS SOUS 27900 HAS SOUPS 27900 WITH SCORE 27937.372
AT ITER 9172 NEW BEST:: SOT 133901 SOS 37342 HAS SOPS 37342 HAS SOUS 27870 HAS SOUPS 27870 WITH SCORE 27907.342
AT ITER 9191 NEW BEST:: SOT 133879 SOS 37321 HAS SOPS 37321 HAS SOUS 27849 HAS SOUPS 27849 WITH SCORE 27886.321
AT ITER 9227 NEW BEST:: SOT 133883 SOS 37329 HAS SOPS 37329 HAS SOUS 27844 HAS SOUPS 27844 WITH SCORE 27881.329
AT ITER 9244 NEW BEST:: SOT 133871 SOS 37379 HAS SOPS 37379 HAS SOUS 27832 HAS SOUPS 27832 WITH SCORE 27869.379
AT ITER 9245 NEW BEST:: SOT 133855 SOS 37363 HAS SOPS 37363 HAS SOUS 27816 HAS SOUPS 27816 WITH SCORE 27853.363
AT ITER 9261 NEW BEST:: SOT 133855 SOS 37360 HAS SOPS 37360 HAS SOUS 27816 HAS SOUPS 27816 WITH SCORE 27853.36
AT ITER 9262 NEW BEST:: SOT 133855 SOS 37373 HAS SOPS 37373 HAS SOUS 27810 HAS SOUPS 27810 WITH SCORE 27847.373
AT ITER 9275 NEW BEST:: SOT 133855 SOS 37363 HAS SOPS 37363 HAS SOUS 27800 HAS SOUPS 27800 WITH SCORE 27837.363
AT ITER 9314 NEW BEST:: SOT 133833 SOS 37388 HAS SOPS 37388 HAS SOUS 27779 HAS SOUPS 27779 WITH SCORE 27816.388
AT ITER 9363 NEW BEST:: SOT 133816 SOS 37339 HAS SOPS 37339 HAS SOUS 27730 HAS SOUPS 27730 WITH SCORE 27767.339
AT ITER 9404 NEW BEST:: SOT 133808 SOS 37323 HAS SOPS 37323 HAS SOUS 27722 HAS SOUPS 27722 WITH SCORE 27759.323
AT ITER 9410 NEW BEST:: SOT 133808 SOS 37309 HAS SOPS 37309 HAS SOUS 27708 HAS SOUPS 27708 WITH SCORE 27745.309
AT ITER 9445 NEW BEST:: SOT 133807 SOS 37307 HAS SOPS 37307 HAS SOUS 27706 HAS SOUPS 27706 WITH SCORE 27743.307
AT ITER 9451 NEW BEST:: SOT 133767 SOS 37267 HAS SOPS 37267 HAS SOUS 27666 HAS SOUPS 27666 WITH SCORE 27703.267
AT ITER 9454 NEW BEST:: SOT 133764 SOS 37261 HAS SOPS 37261 HAS SOUS 27660 HAS SOUPS 27660 WITH SCORE 27697.261
AT ITER 9484 NEW BEST:: SOT 133764 SOS 37237 HAS SOPS 37237 HAS SOUS 27636 HAS SOUPS 27636 WITH SCORE 27673.237
AT ITER 9493 NEW BEST:: SOT 133758 SOS 37219 HAS SOPS 37219 HAS SOUS 27624 HAS SOUPS 27624 WITH SCORE 27661.219
AT ITER 9512 NEW BEST:: SOT 133757 SOS 37218 HAS SOPS 37218 HAS SOUS 27623 HAS SOUPS 27623 WITH SCORE 27660.218
AT ITER 9525 NEW BEST:: SOT 133755 SOS 37214 HAS SOPS 37214 HAS SOUS 27602 HAS SOUPS 27602 WITH SCORE 27639.214
AT ITER 9535 NEW BEST:: SOT 133724 SOS 37152 HAS SOPS 37152 HAS SOUS 27571 HAS SOUPS 27571 WITH SCORE 27608.152
AT ITER 9551 NEW BEST:: SOT 133722 SOS 37148 HAS SOPS 37148 HAS SOUS 27567 HAS SOUPS 27567 WITH SCORE 27604.148
AT ITER 9595 NEW BEST:: SOT 133719 SOS 37144 HAS SOPS 37144 HAS SOUS 27563 HAS SOUPS 27563 WITH SCORE 27600.144
AT ITER 9616 NEW BEST:: SOT 133715 SOS 37140 HAS SOPS 37140 HAS SOUS 27559 HAS SOUPS 27559 WITH SCORE 27596.14
AT ITER 9670 NEW BEST:: SOT 133708 SOS 37126 HAS SOPS 37126 HAS SOUS 27545 HAS SOUPS 27545 WITH SCORE 27582.126
AT ITER 9674 NEW BEST:: SOT 133708 SOS 37114 HAS SOPS 37114 HAS SOUS 27533 HAS SOUPS 27533 WITH SCORE 27570.114
AT ITER 9695 NEW BEST:: SOT 133698 SOS 37094 HAS SOPS 37094 HAS SOUS 27513 HAS SOUPS 27513 WITH SCORE 27550.094
AT ITER 9700 NEW BEST:: SOT 133701 SOS 37087 HAS SOPS 37087 HAS SOUS 27504 HAS SOUPS 27504 WITH SCORE 27541.087
AT ITER 9707 NEW BEST:: SOT 133701 SOS 37079 HAS SOPS 37079 HAS SOUS 27488 HAS SOUPS 27488 WITH SCORE 27525.079
AT ITER 9738 NEW BEST:: SOT 133708 SOS 37093 HAS SOPS 37093 HAS SOUS 27460 HAS SOUPS 27460 WITH SCORE 27497.093
AT ITER 9813 NEW BEST:: SOT 133656 SOS 37028 HAS SOPS 37028 HAS SOUS 27421 HAS SOUPS 27421 WITH SCORE 27458.028
AT ITER 9986 NEW BEST:: SOT 133655 SOS 37026 HAS SOPS 37026 HAS SOUS 27419 HAS SOUPS 27419 WITH SCORE 27456.026
AT ITER 9989 NEW BEST:: SOT 133636 SOS 37002 HAS SOPS 37002 HAS SOUS 27414 HAS SOUPS 27414 WITH SCORE 27451.002
AT ITER 9994 NEW BEST:: SOT 133545 SOS 37914 HAS SOPS 37914 HAS SOUS 27338 HAS SOUPS 27338 WITH SCORE 27375.914
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="BusinessProcesses-PT-10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897680100528"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-10.tgz
mv BusinessProcesses-PT-10 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
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 ;