Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 752K
-rw-r--r-- 1 mcc users 3.2K Mar 30 01:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 15:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 28 15:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 27 08:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 08:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 07:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 07:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 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 591K 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 1589150080824

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

Filename model.pnml
Petri model created: 1182 places, 1824 transitions, 8741 arcs.
AT ITER 0 NEW BEST:: SOT 1371630 SOS 370547 HAS SOPS 370547 HAS SOUS 239087 HAS SOUPS 239087 WITH SCORE 239457.547
AT ITER 4 NEW BEST:: SOT 1371362 SOS 370461 HAS SOPS 370461 HAS SOUS 238819 HAS SOUPS 238819 WITH SCORE 239189.461
AT ITER 10 NEW BEST:: SOT 1371362 SOS 370559 HAS SOPS 370559 HAS SOUS 238818 HAS SOUPS 238818 WITH SCORE 239188.559
AT ITER 14 NEW BEST:: SOT 1371261 SOS 370550 HAS SOPS 370550 HAS SOUS 238510 HAS SOUPS 238510 WITH SCORE 238880.55
AT ITER 20 NEW BEST:: SOT 1371284 SOS 370596 HAS SOPS 370596 HAS SOUS 238498 HAS SOUPS 238498 WITH SCORE 238868.596
AT ITER 22 NEW BEST:: SOT 1371234 SOS 370496 HAS SOPS 370496 HAS SOUS 238398 HAS SOUPS 238398 WITH SCORE 238768.496
AT ITER 48 NEW BEST:: SOT 1371178 SOS 370384 HAS SOPS 370384 HAS SOUS 238286 HAS SOUPS 238286 WITH SCORE 238656.384
AT ITER 50 NEW BEST:: SOT 1371178 SOS 370296 HAS SOPS 370296 HAS SOUS 238284 HAS SOUPS 238284 WITH SCORE 238654.296
AT ITER 70 NEW BEST:: SOT 1371232 SOS 370264 HAS SOPS 370264 HAS SOUS 238276 HAS SOUPS 238276 WITH SCORE 238646.264
AT ITER 99 NEW BEST:: SOT 1371232 SOS 370239 HAS SOPS 370239 HAS SOUS 238251 HAS SOUPS 238251 WITH SCORE 238621.239
AT ITER 102 NEW BEST:: SOT 1371283 SOS 370188 HAS SOPS 370188 HAS SOUS 238251 HAS SOUPS 238251 WITH SCORE 238621.188
AT ITER 110 NEW BEST:: SOT 1371380 SOS 370339 HAS SOPS 370339 HAS SOUS 238231 HAS SOUPS 238231 WITH SCORE 238601.339
AT ITER 139 NEW BEST:: SOT 1371165 SOS 370349 HAS SOPS 370349 HAS SOUS 238071 HAS SOUPS 238071 WITH SCORE 238441.349
AT ITER 171 NEW BEST:: SOT 1370953 SOS 369925 HAS SOPS 369925 HAS SOUS 237849 HAS SOUPS 237849 WITH SCORE 238218.925
AT ITER 182 NEW BEST:: SOT 1370892 SOS 369867 HAS SOPS 369867 HAS SOUS 237787 HAS SOUPS 237787 WITH SCORE 238156.867
AT ITER 187 NEW BEST:: SOT 1370816 SOS 369715 HAS SOPS 369715 HAS SOUS 237635 HAS SOUPS 237635 WITH SCORE 238004.715
AT ITER 236 NEW BEST:: SOT 1370816 SOS 369663 HAS SOPS 369663 HAS SOUS 237583 HAS SOUPS 237583 WITH SCORE 237952.663
AT ITER 253 NEW BEST:: SOT 1370812 SOS 369655 HAS SOPS 369655 HAS SOUS 237338 HAS SOUPS 237338 WITH SCORE 237707.655
AT ITER 254 NEW BEST:: SOT 1370802 SOS 369563 HAS SOPS 369563 HAS SOUS 237246 HAS SOUPS 237246 WITH SCORE 237615.563
AT ITER 273 NEW BEST:: SOT 1370802 SOS 369593 HAS SOPS 369593 HAS SOUS 237191 HAS SOUPS 237191 WITH SCORE 237560.593
AT ITER 278 NEW BEST:: SOT 1370802 SOS 369377 HAS SOPS 369377 HAS SOUS 237191 HAS SOUPS 237191 WITH SCORE 237560.377
AT ITER 301 NEW BEST:: SOT 1370237 SOS 368999 HAS SOPS 368999 HAS SOUS 236551 HAS SOUPS 236551 WITH SCORE 236919.999
AT ITER 311 NEW BEST:: SOT 1370162 SOS 369149 HAS SOPS 369149 HAS SOUS 236476 HAS SOUPS 236476 WITH SCORE 236845.149
AT ITER 319 NEW BEST:: SOT 1369976 SOS 368965 HAS SOPS 368965 HAS SOUS 236290 HAS SOUPS 236290 WITH SCORE 236658.965
AT ITER 325 NEW BEST:: SOT 1369946 SOS 368935 HAS SOPS 368935 HAS SOUS 236289 HAS SOUPS 236289 WITH SCORE 236657.935
AT ITER 333 NEW BEST:: SOT 1373048 SOS 372375 HAS SOPS 372375 HAS SOUS 229519 HAS SOUPS 229519 WITH SCORE 229891.375
AT ITER 355 NEW BEST:: SOT 1373077 SOS 372433 HAS SOPS 372433 HAS SOUS 229467 HAS SOUPS 229467 WITH SCORE 229839.433
AT ITER 357 NEW BEST:: SOT 1373077 SOS 372169 HAS SOPS 372169 HAS SOUS 229467 HAS SOUPS 229467 WITH SCORE 229839.169
AT ITER 358 NEW BEST:: SOT 1373046 SOS 372619 HAS SOPS 372619 HAS SOUS 229434 HAS SOUPS 229434 WITH SCORE 229806.619
AT ITER 361 NEW BEST:: SOT 1372139 SOS 372758 HAS SOPS 372758 HAS SOUS 228790 HAS SOUPS 228790 WITH SCORE 229162.758
AT ITER 371 NEW BEST:: SOT 1372073 SOS 372626 HAS SOPS 372626 HAS SOUS 228658 HAS SOUPS 228658 WITH SCORE 229030.626
AT ITER 414 NEW BEST:: SOT 1372073 SOS 372886 HAS SOPS 372886 HAS SOUS 228656 HAS SOUPS 228656 WITH SCORE 229028.886
AT ITER 418 NEW BEST:: SOT 1372032 SOS 373013 HAS SOPS 373013 HAS SOUS 228566 HAS SOUPS 228566 WITH SCORE 228939.013
AT ITER 425 NEW BEST:: SOT 1372032 SOS 384949 HAS SOPS 384949 HAS SOUS 228547 HAS SOUPS 228547 WITH SCORE 228931.949
AT ITER 432 NEW BEST:: SOT 1372032 SOS 384947 HAS SOPS 384947 HAS SOUS 228547 HAS SOUPS 228547 WITH SCORE 228931.947
AT ITER 457 NEW BEST:: SOT 1372050 SOS 384916 HAS SOPS 384916 HAS SOUS 228516 HAS SOUPS 228516 WITH SCORE 228900.916
AT ITER 469 NEW BEST:: SOT 1372044 SOS 384898 HAS SOPS 384898 HAS SOUS 228504 HAS SOUPS 228504 WITH SCORE 228888.898
AT ITER 491 NEW BEST:: SOT 1371791 SOS 384645 HAS SOPS 384645 HAS SOUS 224497 HAS SOUPS 224497 WITH SCORE 224881.645
AT ITER 495 NEW BEST:: SOT 1371204 SOS 391774 HAS SOPS 391774 HAS SOUS 224008 HAS SOUPS 224008 WITH SCORE 224399.774
AT ITER 506 NEW BEST:: SOT 1371096 SOS 391666 HAS SOPS 391666 HAS SOUS 223985 HAS SOUPS 223985 WITH SCORE 224376.666
AT ITER 513 NEW BEST:: SOT 1371041 SOS 391556 HAS SOPS 391556 HAS SOUS 223875 HAS SOUPS 223875 WITH SCORE 224266.556
AT ITER 516 NEW BEST:: SOT 1370842 SOS 391614 HAS SOPS 391614 HAS SOUS 223676 HAS SOUPS 223676 WITH SCORE 224067.614
AT ITER 518 NEW BEST:: SOT 1370570 SOS 391342 HAS SOPS 391342 HAS SOUS 223676 HAS SOUPS 223676 WITH SCORE 224067.342
AT ITER 523 NEW BEST:: SOT 1370570 SOS 391317 HAS SOPS 391317 HAS SOUS 223676 HAS SOUPS 223676 WITH SCORE 224067.317
AT ITER 525 NEW BEST:: SOT 1370498 SOS 391173 HAS SOPS 391173 HAS SOUS 223604 HAS SOUPS 223604 WITH SCORE 223995.173
AT ITER 526 NEW BEST:: SOT 1370498 SOS 391173 HAS SOPS 391173 HAS SOUS 223596 HAS SOUPS 223596 WITH SCORE 223987.173
AT ITER 531 NEW BEST:: SOT 1370468 SOS 391113 HAS SOPS 391113 HAS SOUS 223536 HAS SOUPS 223536 WITH SCORE 223927.113
AT ITER 537 NEW BEST:: SOT 1369624 SOS 398977 HAS SOPS 398977 HAS SOUS 223127 HAS SOUPS 223127 WITH SCORE 223525.977
AT ITER 538 NEW BEST:: SOT 1369656 SOS 399041 HAS SOPS 399041 HAS SOUS 223078 HAS SOUPS 223078 WITH SCORE 223477.041
AT ITER 540 NEW BEST:: SOT 1369656 SOS 398780 HAS SOPS 398780 HAS SOUS 222825 HAS SOUPS 222825 WITH SCORE 223223.78
AT ITER 554 NEW BEST:: SOT 1369591 SOS 398650 HAS SOPS 398650 HAS SOUS 222695 HAS SOUPS 222695 WITH SCORE 223093.65
AT ITER 559 NEW BEST:: SOT 1369490 SOS 398448 HAS SOPS 398448 HAS SOUS 222493 HAS SOUPS 222493 WITH SCORE 222891.448
AT ITER 583 NEW BEST:: SOT 1369489 SOS 398446 HAS SOPS 398446 HAS SOUS 222491 HAS SOUPS 222491 WITH SCORE 222889.446
AT ITER 587 NEW BEST:: SOT 1369248 SOS 398124 HAS SOPS 398124 HAS SOUS 222128 HAS SOUPS 222128 WITH SCORE 222526.124
AT ITER 593 NEW BEST:: SOT 1369247 SOS 398122 HAS SOPS 398122 HAS SOUS 222126 HAS SOUPS 222126 WITH SCORE 222524.122
AT ITER 599 NEW BEST:: SOT 1369304 SOS 398236 HAS SOPS 398236 HAS SOUS 221970 HAS SOUPS 221970 WITH SCORE 222368.236
AT ITER 602 NEW BEST:: SOT 1369264 SOS 398362 HAS SOPS 398362 HAS SOUS 221930 HAS SOUPS 221930 WITH SCORE 222328.362
AT ITER 612 NEW BEST:: SOT 1369241 SOS 396992 HAS SOPS 396992 HAS SOUS 221676 HAS SOUPS 221676 WITH SCORE 222072.992
AT ITER 633 NEW BEST:: SOT 1369205 SOS 396886 HAS SOPS 396886 HAS SOUS 221630 HAS SOUPS 221630 WITH SCORE 222026.886
AT ITER 638 NEW BEST:: SOT 1369286 SOS 396643 HAS SOPS 396643 HAS SOUS 221630 HAS SOUPS 221630 WITH SCORE 222026.643
AT ITER 647 NEW BEST:: SOT 1368734 SOS 396133 HAS SOPS 396133 HAS SOUS 221120 HAS SOUPS 221120 WITH SCORE 221516.133
AT ITER 654 NEW BEST:: SOT 1368759 SOS 396153 HAS SOPS 396153 HAS SOUS 221085 HAS SOUPS 221085 WITH SCORE 221481.153
AT ITER 680 NEW BEST:: SOT 1368759 SOS 395971 HAS SOPS 395971 HAS SOUS 220857 HAS SOUPS 220857 WITH SCORE 221252.971
AT ITER 689 NEW BEST:: SOT 1368315 SOS 400052 HAS SOPS 400052 HAS SOUS 220302 HAS SOUPS 220302 WITH SCORE 220702.052
AT ITER 690 NEW BEST:: SOT 1368314 SOS 400050 HAS SOPS 400050 HAS SOUS 220300 HAS SOUPS 220300 WITH SCORE 220700.05
AT ITER 695 NEW BEST:: SOT 1368226 SOS 399874 HAS SOPS 399874 HAS SOUS 220124 HAS SOUPS 220124 WITH SCORE 220523.874
AT ITER 703 NEW BEST:: SOT 1368542 SOS 400190 HAS SOPS 400190 HAS SOUS 218550 HAS SOUPS 218550 WITH SCORE 218950.19
AT ITER 705 NEW BEST:: SOT 1368508 SOS 400122 HAS SOPS 400122 HAS SOUS 218482 HAS SOUPS 218482 WITH SCORE 218882.122
AT ITER 722 NEW BEST:: SOT 1368475 SOS 400320 HAS SOPS 400320 HAS SOUS 218449 HAS SOUPS 218449 WITH SCORE 218849.32
AT ITER 726 NEW BEST:: SOT 1368475 SOS 400320 HAS SOPS 400320 HAS SOUS 218447 HAS SOUPS 218447 WITH SCORE 218847.32
AT ITER 739 NEW BEST:: SOT 1368484 SOS 400241 HAS SOPS 400241 HAS SOUS 218419 HAS SOUPS 218419 WITH SCORE 218819.241
AT ITER 746 NEW BEST:: SOT 1368483 SOS 400239 HAS SOPS 400239 HAS SOUS 218417 HAS SOUPS 218417 WITH SCORE 218817.239
AT ITER 799 NEW BEST:: SOT 1368474 SOS 400221 HAS SOPS 400221 HAS SOUS 218399 HAS SOUPS 218399 WITH SCORE 218799.221
AT ITER 817 NEW BEST:: SOT 1368443 SOS 400319 HAS SOPS 400319 HAS SOUS 218368 HAS SOUPS 218368 WITH SCORE 218768.319
AT ITER 824 NEW BEST:: SOT 1368390 SOS 400325 HAS SOPS 400325 HAS SOUS 218321 HAS SOUPS 218321 WITH SCORE 218721.325
AT ITER 825 NEW BEST:: SOT 1368299 SOS 400317 HAS SOPS 400317 HAS SOUS 218230 HAS SOUPS 218230 WITH SCORE 218630.317
AT ITER 839 NEW BEST:: SOT 1368343 SOS 400405 HAS SOPS 400405 HAS SOUS 218110 HAS SOUPS 218110 WITH SCORE 218510.405
AT ITER 840 NEW BEST:: SOT 1368112 SOS 400345 HAS SOPS 400345 HAS SOUS 217916 HAS SOUPS 217916 WITH SCORE 218316.345
AT ITER 845 NEW BEST:: SOT 1368080 SOS 400329 HAS SOPS 400329 HAS SOUS 217868 HAS SOUPS 217868 WITH SCORE 218268.329
AT ITER 851 NEW BEST:: SOT 1368065 SOS 400281 HAS SOPS 400281 HAS SOUS 217838 HAS SOUPS 217838 WITH SCORE 218238.281
AT ITER 862 NEW BEST:: SOT 1367862 SOS 399923 HAS SOPS 399923 HAS SOUS 217610 HAS SOUPS 217610 WITH SCORE 218009.923
AT ITER 870 NEW BEST:: SOT 1368045 SOS 400025 HAS SOPS 400025 HAS SOUS 217448 HAS SOUPS 217448 WITH SCORE 217848.025
AT ITER 872 NEW BEST:: SOT 1368044 SOS 399943 HAS SOPS 399943 HAS SOUS 217366 HAS SOUPS 217366 WITH SCORE 217765.943
AT ITER 881 NEW BEST:: SOT 1368006 SOS 399924 HAS SOPS 399924 HAS SOUS 217347 HAS SOUPS 217347 WITH SCORE 217746.924
AT ITER 885 NEW BEST:: SOT 1367837 SOS 400526 HAS SOPS 400526 HAS SOUS 217178 HAS SOUPS 217178 WITH SCORE 217578.526
AT ITER 899 NEW BEST:: SOT 1367837 SOS 400490 HAS SOPS 400490 HAS SOUS 217139 HAS SOUPS 217139 WITH SCORE 217539.49
AT ITER 905 NEW BEST:: SOT 1367837 SOS 400490 HAS SOPS 400490 HAS SOUS 217100 HAS SOUPS 217100 WITH SCORE 217500.49
AT ITER 908 NEW BEST:: SOT 1367837 SOS 400702 HAS SOPS 400702 HAS SOUS 216888 HAS SOUPS 216888 WITH SCORE 217288.702
AT ITER 909 NEW BEST:: SOT 1367879 SOS 400663 HAS SOPS 400663 HAS SOUS 216849 HAS SOUPS 216849 WITH SCORE 217249.663
AT ITER 912 NEW BEST:: SOT 1367956 SOS 400560 HAS SOPS 400560 HAS SOUS 216764 HAS SOUPS 216764 WITH SCORE 217164.56
AT ITER 957 NEW BEST:: SOT 1367902 SOS 400560 HAS SOPS 400560 HAS SOUS 216737 HAS SOUPS 216737 WITH SCORE 217137.56
AT ITER 979 NEW BEST:: SOT 1367867 SOS 400346 HAS SOPS 400346 HAS SOUS 216654 HAS SOUPS 216654 WITH SCORE 217054.346
AT ITER 1002 NEW BEST:: SOT 1367841 SOS 400294 HAS SOPS 400294 HAS SOUS 216627 HAS SOUPS 216627 WITH SCORE 217027.294
AT ITER 1006 NEW BEST:: SOT 1367824 SOS 400277 HAS SOPS 400277 HAS SOUS 216610 HAS SOUPS 216610 WITH SCORE 217010.277
AT ITER 1029 NEW BEST:: SOT 1367171 SOS 402955 HAS SOPS 402955 HAS SOUS 216206 HAS SOUPS 216206 WITH SCORE 216608.955
AT ITER 1035 NEW BEST:: SOT 1367171 SOS 403005 HAS SOPS 403005 HAS SOUS 216162 HAS SOUPS 216162 WITH SCORE 216565.005
AT ITER 1040 NEW BEST:: SOT 1367074 SOS 402975 HAS SOPS 402975 HAS SOUS 216065 HAS SOUPS 216065 WITH SCORE 216467.975
AT ITER 1050 NEW BEST:: SOT 1366914 SOS 402759 HAS SOPS 402759 HAS SOUS 216024 HAS SOUPS 216024 WITH SCORE 216426.759
AT ITER 1053 NEW BEST:: SOT 1366748 SOS 402555 HAS SOPS 402555 HAS SOUS 215731 HAS SOUPS 215731 WITH SCORE 216133.555
AT ITER 1083 NEW BEST:: SOT 1366726 SOS 402511 HAS SOPS 402511 HAS SOUS 215687 HAS SOUPS 215687 WITH SCORE 216089.511
AT ITER 1105 NEW BEST:: SOT 1366726 SOS 402507 HAS SOPS 402507 HAS SOUS 215683 HAS SOUPS 215683 WITH SCORE 216085.507
AT ITER 1125 NEW BEST:: SOT 1366698 SOS 402423 HAS SOPS 402423 HAS SOUS 215655 HAS SOUPS 215655 WITH SCORE 216057.423
AT ITER 1128 NEW BEST:: SOT 1366697 SOS 402421 HAS SOPS 402421 HAS SOUS 215653 HAS SOUPS 215653 WITH SCORE 216055.421
AT ITER 1135 NEW BEST:: SOT 1366639 SOS 402385 HAS SOPS 402385 HAS SOUS 215617 HAS SOUPS 215617 WITH SCORE 216019.385
AT ITER 1137 NEW BEST:: SOT 1366254 SOS 402274 HAS SOPS 402274 HAS SOUS 215517 HAS SOUPS 215517 WITH SCORE 215919.274
AT ITER 1139 NEW BEST:: SOT 1366117 SOS 402333 HAS SOPS 402333 HAS SOUS 215448 HAS SOUPS 215448 WITH SCORE 215850.333
AT ITER 1146 NEW BEST:: SOT 1366121 SOS 402341 HAS SOPS 402341 HAS SOUS 215343 HAS SOUPS 215343 WITH SCORE 215745.341
AT ITER 1159 NEW BEST:: SOT 1366085 SOS 411449 HAS SOPS 411449 HAS SOUS 215271 HAS SOUPS 215271 WITH SCORE 215682.449
AT ITER 1178 NEW BEST:: SOT 1366085 SOS 411381 HAS SOPS 411381 HAS SOUS 215140 HAS SOUPS 215140 WITH SCORE 215551.381
AT ITER 1186 NEW BEST:: SOT 1366071 SOS 411353 HAS SOPS 411353 HAS SOUS 215112 HAS SOUPS 215112 WITH SCORE 215523.353
AT ITER 1191 NEW BEST:: SOT 1366070 SOS 411351 HAS SOPS 411351 HAS SOUS 215110 HAS SOUPS 215110 WITH SCORE 215521.351
AT ITER 1192 NEW BEST:: SOT 1366070 SOS 411425 HAS SOPS 411425 HAS SOUS 215036 HAS SOUPS 215036 WITH SCORE 215447.425
AT ITER 1196 NEW BEST:: SOT 1366070 SOS 411390 HAS SOPS 411390 HAS SOUS 215036 HAS SOUPS 215036 WITH SCORE 215447.39
AT ITER 1241 NEW BEST:: SOT 1366028 SOS 411358 HAS SOPS 411358 HAS SOUS 215004 HAS SOUPS 215004 WITH SCORE 215415.358
AT ITER 1244 NEW BEST:: SOT 1365995 SOS 411292 HAS SOPS 411292 HAS SOUS 214938 HAS SOUPS 214938 WITH SCORE 215349.292
AT ITER 1247 NEW BEST:: SOT 1365995 SOS 411292 HAS SOPS 411292 HAS SOUS 214937 HAS SOUPS 214937 WITH SCORE 215348.292
AT ITER 1248 NEW BEST:: SOT 1365962 SOS 411259 HAS SOPS 411259 HAS SOUS 214850 HAS SOUPS 214850 WITH SCORE 215261.259
AT ITER 1315 NEW BEST:: SOT 1365962 SOS 413673 HAS SOPS 413673 HAS SOUS 214843 HAS SOUPS 214843 WITH SCORE 215256.673
AT ITER 1324 NEW BEST:: SOT 1365825 SOS 413536 HAS SOPS 413536 HAS SOUS 214706 HAS SOUPS 214706 WITH SCORE 215119.536
AT ITER 1333 NEW BEST:: SOT 1365825 SOS 414112 HAS SOPS 414112 HAS SOUS 214687 HAS SOUPS 214687 WITH SCORE 215101.112
AT ITER 1351 NEW BEST:: SOT 1365814 SOS 414090 HAS SOPS 414090 HAS SOUS 214665 HAS SOUPS 214665 WITH SCORE 215079.09
AT ITER 1356 NEW BEST:: SOT 1365720 SOS 413996 HAS SOPS 413996 HAS SOUS 214665 HAS SOUPS 214665 WITH SCORE 215078.996
AT ITER 1368 NEW BEST:: SOT 1365583 SOS 413859 HAS SOPS 413859 HAS SOUS 214601 HAS SOUPS 214601 WITH SCORE 215014.859
AT ITER 1371 NEW BEST:: SOT 1365542 SOS 413818 HAS SOPS 413818 HAS SOUS 214553 HAS SOUPS 214553 WITH SCORE 214966.818
AT ITER 1406 NEW BEST:: SOT 1365542 SOS 413818 HAS SOPS 413818 HAS SOUS 214513 HAS SOUPS 214513 WITH SCORE 214926.818
AT ITER 1430 NEW BEST:: SOT 1365518 SOS 413830 HAS SOPS 413830 HAS SOUS 214489 HAS SOUPS 214489 WITH SCORE 214902.83
AT ITER 1431 NEW BEST:: SOT 1365518 SOS 414093 HAS SOPS 414093 HAS SOUS 214351 HAS SOUPS 214351 WITH SCORE 214765.093
AT ITER 1433 NEW BEST:: SOT 1365510 SOS 414093 HAS SOPS 414093 HAS SOUS 214339 HAS SOUPS 214339 WITH SCORE 214753.093
AT ITER 1462 NEW BEST:: SOT 1365503 SOS 414079 HAS SOPS 414079 HAS SOUS 214325 HAS SOUPS 214325 WITH SCORE 214739.079
AT ITER 1471 NEW BEST:: SOT 1365185 SOS 427196 HAS SOPS 427196 HAS SOUS 214264 HAS SOUPS 214264 WITH SCORE 214691.196
AT ITER 1472 NEW BEST:: SOT 1365095 SOS 427016 HAS SOPS 427016 HAS SOUS 214174 HAS SOUPS 214174 WITH SCORE 214601.016
AT ITER 1488 NEW BEST:: SOT 1365056 SOS 426938 HAS SOPS 426938 HAS SOUS 214096 HAS SOUPS 214096 WITH SCORE 214522.938
AT ITER 1499 NEW BEST:: SOT 1365056 SOS 426930 HAS SOPS 426930 HAS SOUS 214092 HAS SOUPS 214092 WITH SCORE 214518.93
AT ITER 1502 NEW BEST:: SOT 1364884 SOS 427258 HAS SOPS 427258 HAS SOUS 214004 HAS SOUPS 214004 WITH SCORE 214431.258
AT ITER 1515 NEW BEST:: SOT 1364881 SOS 427252 HAS SOPS 427252 HAS SOUS 213998 HAS SOUPS 213998 WITH SCORE 214425.252
AT ITER 1520 NEW BEST:: SOT 1364821 SOS 427192 HAS SOPS 427192 HAS SOUS 213938 HAS SOUPS 213938 WITH SCORE 214365.192
AT ITER 1532 NEW BEST:: SOT 1364669 SOS 426971 HAS SOPS 426971 HAS SOUS 213798 HAS SOUPS 213798 WITH SCORE 214224.971
AT ITER 1561 NEW BEST:: SOT 1363823 SOS 436377 HAS SOPS 436377 HAS SOUS 213186 HAS SOUPS 213186 WITH SCORE 213622.377
AT ITER 1580 NEW BEST:: SOT 1363823 SOS 436377 HAS SOPS 436377 HAS SOUS 213183 HAS SOUPS 213183 WITH SCORE 213619.377
AT ITER 1581 NEW BEST:: SOT 1363835 SOS 436401 HAS SOPS 436401 HAS SOUS 212994 HAS SOUPS 212994 WITH SCORE 213430.401
AT ITER 1601 NEW BEST:: SOT 1363805 SOS 436341 HAS SOPS 436341 HAS SOUS 212964 HAS SOUPS 212964 WITH SCORE 213400.341
AT ITER 1615 NEW BEST:: SOT 1363719 SOS 436255 HAS SOPS 436255 HAS SOUS 212866 HAS SOUPS 212866 WITH SCORE 213302.255
AT ITER 1616 NEW BEST:: SOT 1363719 SOS 436234 HAS SOPS 436234 HAS SOUS 212845 HAS SOUPS 212845 WITH SCORE 213281.234
AT ITER 1619 NEW BEST:: SOT 1363697 SOS 436190 HAS SOPS 436190 HAS SOUS 212801 HAS SOUPS 212801 WITH SCORE 213237.19
AT ITER 1635 NEW BEST:: SOT 1363543 SOS 436036 HAS SOPS 436036 HAS SOUS 212662 HAS SOUPS 212662 WITH SCORE 213098.036
AT ITER 1643 NEW BEST:: SOT 1363468 SOS 436213 HAS SOPS 436213 HAS SOUS 212606 HAS SOUPS 212606 WITH SCORE 213042.213
AT ITER 1653 NEW BEST:: SOT 1363468 SOS 436213 HAS SOPS 436213 HAS SOUS 212602 HAS SOUPS 212602 WITH SCORE 213038.213
AT ITER 1654 NEW BEST:: SOT 1363468 SOS 437321 HAS SOPS 437321 HAS SOUS 212597 HAS SOUPS 212597 WITH SCORE 213034.321
AT ITER 1655 NEW BEST:: SOT 1363415 SOS 437215 HAS SOPS 437215 HAS SOUS 212491 HAS SOUPS 212491 WITH SCORE 212928.215
AT ITER 1660 NEW BEST:: SOT 1363415 SOS 437215 HAS SOPS 437215 HAS SOUS 212473 HAS SOUPS 212473 WITH SCORE 212910.215
AT ITER 1667 NEW BEST:: SOT 1363390 SOS 437165 HAS SOPS 437165 HAS SOUS 212423 HAS SOUPS 212423 WITH SCORE 212860.165
AT ITER 1668 NEW BEST:: SOT 1363277 SOS 437107 HAS SOPS 437107 HAS SOUS 212309 HAS SOUPS 212309 WITH SCORE 212746.107
AT ITER 1679 NEW BEST:: SOT 1363346 SOS 437073 HAS SOPS 437073 HAS SOUS 212275 HAS SOUPS 212275 WITH SCORE 212712.073
AT ITER 1687 NEW BEST:: SOT 1363119 SOS 437935 HAS SOPS 437935 HAS SOUS 212236 HAS SOUPS 212236 WITH SCORE 212673.935
AT ITER 1699 NEW BEST:: SOT 1363017 SOS 438139 HAS SOPS 438139 HAS SOUS 212134 HAS SOUPS 212134 WITH SCORE 212572.139
AT ITER 1701 NEW BEST:: SOT 1362995 SOS 438095 HAS SOPS 438095 HAS SOUS 212090 HAS SOUPS 212090 WITH SCORE 212528.095
AT ITER 1715 NEW BEST:: SOT 1362975 SOS 438055 HAS SOPS 438055 HAS SOUS 212050 HAS SOUPS 212050 WITH SCORE 212488.055
AT ITER 1729 NEW BEST:: SOT 1362762 SOS 437866 HAS SOPS 437866 HAS SOUS 211782 HAS SOUPS 211782 WITH SCORE 212219.866
AT ITER 1741 NEW BEST:: SOT 1362485 SOS 437439 HAS SOPS 437439 HAS SOUS 211615 HAS SOUPS 211615 WITH SCORE 212052.439
AT ITER 1761 NEW BEST:: SOT 1362485 SOS 437367 HAS SOPS 437367 HAS SOUS 211615 HAS SOUPS 211615 WITH SCORE 212052.367
AT ITER 1762 NEW BEST:: SOT 1362394 SOS 437185 HAS SOPS 437185 HAS SOUS 211433 HAS SOUPS 211433 WITH SCORE 211870.185
AT ITER 1803 NEW BEST:: SOT 1362394 SOS 437185 HAS SOPS 437185 HAS SOUS 211251 HAS SOUPS 211251 WITH SCORE 211688.185
AT ITER 1808 NEW BEST:: SOT 1362319 SOS 437035 HAS SOPS 437035 HAS SOUS 211176 HAS SOUPS 211176 WITH SCORE 211613.035
AT ITER 1815 NEW BEST:: SOT 1362283 SOS 437035 HAS SOPS 437035 HAS SOUS 211140 HAS SOUPS 211140 WITH SCORE 211577.035
AT ITER 1836 NEW BEST:: SOT 1362168 SOS 436690 HAS SOPS 436690 HAS SOUS 211075 HAS SOUPS 211075 WITH SCORE 211511.69
AT ITER 1849 NEW BEST:: SOT 1362168 SOS 436674 HAS SOPS 436674 HAS SOUS 211075 HAS SOUPS 211075 WITH SCORE 211511.674
AT ITER 1853 NEW BEST:: SOT 1361901 SOS 436538 HAS SOPS 436538 HAS SOUS 210820 HAS SOUPS 210820 WITH SCORE 211256.538
AT ITER 1878 NEW BEST:: SOT 1361813 SOS 436490 HAS SOPS 436490 HAS SOUS 210708 HAS SOUPS 210708 WITH SCORE 211144.49
AT ITER 1895 NEW BEST:: SOT 1361813 SOS 436490 HAS SOPS 436490 HAS SOUS 210707 HAS SOUPS 210707 WITH SCORE 211143.49
AT ITER 1902 NEW BEST:: SOT 1361754 SOS 436502 HAS SOPS 436502 HAS SOUS 210666 HAS SOUPS 210666 WITH SCORE 211102.502
AT ITER 1903 NEW BEST:: SOT 1361754 SOS 436502 HAS SOPS 436502 HAS SOUS 210624 HAS SOUPS 210624 WITH SCORE 211060.502
AT ITER 1908 NEW BEST:: SOT 1361754 SOS 436721 HAS SOPS 436721 HAS SOUS 210465 HAS SOUPS 210465 WITH SCORE 210901.721
AT ITER 1921 NEW BEST:: SOT 1361754 SOS 436720 HAS SOPS 436720 HAS SOUS 210464 HAS SOUPS 210464 WITH SCORE 210900.72
AT ITER 1922 NEW BEST:: SOT 1361754 SOS 436532 HAS SOPS 436532 HAS SOUS 210244 HAS SOUPS 210244 WITH SCORE 210680.532
AT ITER 1932 NEW BEST:: SOT 1362007 SOS 436719 HAS SOPS 436719 HAS SOUS 210226 HAS SOUPS 210226 WITH SCORE 210662.719
AT ITER 1938 NEW BEST:: SOT 1362001 SOS 436701 HAS SOPS 436701 HAS SOUS 210208 HAS SOUPS 210208 WITH SCORE 210644.701
AT ITER 1973 NEW BEST:: SOT 1362044 SOS 436659 HAS SOPS 436659 HAS SOUS 210149 HAS SOUPS 210149 WITH SCORE 210585.659
AT ITER 1976 NEW BEST:: SOT 1361914 SOS 436399 HAS SOPS 436399 HAS SOUS 209979 HAS SOUPS 209979 WITH SCORE 210415.399
AT ITER 2001 NEW BEST:: SOT 1361914 SOS 436370 HAS SOPS 436370 HAS SOUS 209950 HAS SOUPS 209950 WITH SCORE 210386.37
AT ITER 2007 NEW BEST:: SOT 1361953 SOS 436370 HAS SOPS 436370 HAS SOUS 209948 HAS SOUPS 209948 WITH SCORE 210384.37
AT ITER 2014 NEW BEST:: SOT 1361871 SOS 436616 HAS SOPS 436616 HAS SOUS 209866 HAS SOUPS 209866 WITH SCORE 210302.616
AT ITER 2025 NEW BEST:: SOT 1361681 SOS 436521 HAS SOPS 436521 HAS SOUS 209676 HAS SOUPS 209676 WITH SCORE 210112.521
AT ITER 2037 NEW BEST:: SOT 1361657 SOS 436509 HAS SOPS 436509 HAS SOUS 209652 HAS SOUPS 209652 WITH SCORE 210088.509
AT ITER 2049 NEW BEST:: SOT 1361722 SOS 436572 HAS SOPS 436572 HAS SOUS 209648 HAS SOUPS 209648 WITH SCORE 210084.572
AT ITER 2086 NEW BEST:: SOT 1361554 SOS 436236 HAS SOPS 436236 HAS SOUS 209451 HAS SOUPS 209451 WITH SCORE 209887.236
AT ITER 2112 NEW BEST:: SOT 1360553 SOS 435334 HAS SOPS 435334 HAS SOUS 208544 HAS SOUPS 208544 WITH SCORE 208979.334
AT ITER 2133 NEW BEST:: SOT 1360538 SOS 435319 HAS SOPS 435319 HAS SOUS 208527 HAS SOUPS 208527 WITH SCORE 208962.319
AT ITER 2134 NEW BEST:: SOT 1360523 SOS 435289 HAS SOPS 435289 HAS SOUS 208497 HAS SOUPS 208497 WITH SCORE 208932.289
AT ITER 2143 NEW BEST:: SOT 1360491 SOS 435225 HAS SOPS 435225 HAS SOUS 208465 HAS SOUPS 208465 WITH SCORE 208900.225
AT ITER 2171 NEW BEST:: SOT 1360491 SOS 435191 HAS SOPS 435191 HAS SOUS 208465 HAS SOUPS 208465 WITH SCORE 208900.191
AT ITER 2236 NEW BEST:: SOT 1360491 SOS 435191 HAS SOPS 435191 HAS SOUS 208422 HAS SOUPS 208422 WITH SCORE 208857.191
AT ITER 2249 NEW BEST:: SOT 1360467 SOS 435167 HAS SOPS 435167 HAS SOUS 208422 HAS SOUPS 208422 WITH SCORE 208857.167
AT ITER 2253 NEW BEST:: SOT 1361405 SOS 436169 HAS SOPS 436169 HAS SOUS 208304 HAS SOUPS 208304 WITH SCORE 208740.169
AT ITER 2257 NEW BEST:: SOT 1361390 SOS 436193 HAS SOPS 436193 HAS SOUS 208179 HAS SOUPS 208179 WITH SCORE 208615.193
AT ITER 2262 NEW BEST:: SOT 1361402 SOS 435958 HAS SOPS 435958 HAS SOUS 208158 HAS SOUPS 208158 WITH SCORE 208593.958
AT ITER 2272 NEW BEST:: SOT 1361223 SOS 435779 HAS SOPS 435779 HAS SOUS 207979 HAS SOUPS 207979 WITH SCORE 208414.779
AT ITER 2282 NEW BEST:: SOT 1361011 SOS 435673 HAS SOPS 435673 HAS SOUS 207767 HAS SOUPS 207767 WITH SCORE 208202.673
AT ITER 2303 NEW BEST:: SOT 1361004 SOS 435659 HAS SOPS 435659 HAS SOUS 207753 HAS SOUPS 207753 WITH SCORE 208188.659
AT ITER 2308 NEW BEST:: SOT 1361004 SOS 435655 HAS SOPS 435655 HAS SOUS 207693 HAS SOUPS 207693 WITH SCORE 208128.655
AT ITER 2311 NEW BEST:: SOT 1361004 SOS 435655 HAS SOPS 435655 HAS SOUS 207640 HAS SOUPS 207640 WITH SCORE 208075.655
AT ITER 2339 NEW BEST:: SOT 1361004 SOS 435655 HAS SOPS 435655 HAS SOUS 207582 HAS SOUPS 207582 WITH SCORE 208017.655
AT ITER 2353 NEW BEST:: SOT 1360873 SOS 435552 HAS SOPS 435552 HAS SOUS 207398 HAS SOUPS 207398 WITH SCORE 207833.552
AT ITER 2365 NEW BEST:: SOT 1360856 SOS 435535 HAS SOPS 435535 HAS SOUS 207368 HAS SOUPS 207368 WITH SCORE 207803.535
AT ITER 2424 NEW BEST:: SOT 1360741 SOS 435305 HAS SOPS 435305 HAS SOUS 207253 HAS SOUPS 207253 WITH SCORE 207688.305
AT ITER 2450 NEW BEST:: SOT 1360741 SOS 435167 HAS SOPS 435167 HAS SOUS 207245 HAS SOUPS 207245 WITH SCORE 207680.167
AT ITER 2455 NEW BEST:: SOT 1360639 SOS 435371 HAS SOPS 435371 HAS SOUS 207177 HAS SOUPS 207177 WITH SCORE 207612.371
AT ITER 2456 NEW BEST:: SOT 1360598 SOS 435289 HAS SOPS 435289 HAS SOUS 207082 HAS SOUPS 207082 WITH SCORE 207517.289
AT ITER 2466 NEW BEST:: SOT 1360510 SOS 435218 HAS SOPS 435218 HAS SOUS 206994 HAS SOUPS 206994 WITH SCORE 207429.218
AT ITER 2470 NEW BEST:: SOT 1360603 SOS 435404 HAS SOPS 435404 HAS SOUS 206975 HAS SOUPS 206975 WITH SCORE 207410.404
AT ITER 2481 NEW BEST:: SOT 1360590 SOS 435381 HAS SOPS 435381 HAS SOUS 206949 HAS SOUPS 206949 WITH SCORE 207384.381
AT ITER 2484 NEW BEST:: SOT 1360793 SOS 435641 HAS SOPS 435641 HAS SOUS 206938 HAS SOUPS 206938 WITH SCORE 207373.641
AT ITER 2504 NEW BEST:: SOT 1360793 SOS 435641 HAS SOPS 435641 HAS SOUS 206906 HAS SOUPS 206906 WITH SCORE 207341.641
AT ITER 2530 NEW BEST:: SOT 1360793 SOS 435599 HAS SOPS 435599 HAS SOUS 206863 HAS SOUPS 206863 WITH SCORE 207298.599
AT ITER 2543 NEW BEST:: SOT 1360824 SOS 435661 HAS SOPS 435661 HAS SOUS 206862 HAS SOUPS 206862 WITH SCORE 207297.661
AT ITER 2593 NEW BEST:: SOT 1360694 SOS 435601 HAS SOPS 435601 HAS SOUS 206772 HAS SOUPS 206772 WITH SCORE 207207.601
AT ITER 2648 NEW BEST:: SOT 1360639 SOS 435491 HAS SOPS 435491 HAS SOUS 206662 HAS SOUPS 206662 WITH SCORE 207097.491
AT ITER 2665 NEW BEST:: SOT 1360639 SOS 435491 HAS SOPS 435491 HAS SOUS 206585 HAS SOUPS 206585 WITH SCORE 207020.491
AT ITER 2670 NEW BEST:: SOT 1360639 SOS 435491 HAS SOPS 435491 HAS SOUS 206584 HAS SOUPS 206584 WITH SCORE 207019.491
AT ITER 2682 NEW BEST:: SOT 1360514 SOS 435241 HAS SOPS 435241 HAS SOUS 206334 HAS SOUPS 206334 WITH SCORE 206769.241
AT ITER 2696 NEW BEST:: SOT 1360616 SOS 423493 HAS SOPS 423493 HAS SOUS 206321 HAS SOUPS 206321 WITH SCORE 206744.493
AT ITER 2705 NEW BEST:: SOT 1360609 SOS 423479 HAS SOPS 423479 HAS SOUS 206307 HAS SOUPS 206307 WITH SCORE 206730.479
AT ITER 2714 NEW BEST:: SOT 1360513 SOS 423072 HAS SOPS 423072 HAS SOUS 206201 HAS SOUPS 206201 WITH SCORE 206624.072
AT ITER 2719 NEW BEST:: SOT 1360507 SOS 423075 HAS SOPS 423075 HAS SOUS 206192 HAS SOUPS 206192 WITH SCORE 206615.075
AT ITER 2721 NEW BEST:: SOT 1360465 SOS 422990 HAS SOPS 422990 HAS SOUS 206188 HAS SOUPS 206188 WITH SCORE 206610.99
AT ITER 2722 NEW BEST:: SOT 1360261 SOS 422444 HAS SOPS 422444 HAS SOUS 206005 HAS SOUPS 206005 WITH SCORE 206427.444
AT ITER 2742 NEW BEST:: SOT 1360261 SOS 423037 HAS SOPS 423037 HAS SOUS 205937 HAS SOUPS 205937 WITH SCORE 206360.037
AT ITER 2757 NEW BEST:: SOT 1360273 SOS 423135 HAS SOPS 423135 HAS SOUS 205901 HAS SOUPS 205901 WITH SCORE 206324.135
AT ITER 2763 NEW BEST:: SOT 1359897 SOS 418567 HAS SOPS 418567 HAS SOUS 205516 HAS SOUPS 205516 WITH SCORE 205934.567
AT ITER 2768 NEW BEST:: SOT 1360045 SOS 418529 HAS SOPS 418529 HAS SOUS 205215 HAS SOUPS 205215 WITH SCORE 205633.529
AT ITER 2770 NEW BEST:: SOT 1360018 SOS 418659 HAS SOPS 418659 HAS SOUS 205188 HAS SOUPS 205188 WITH SCORE 205606.659
AT ITER 2775 NEW BEST:: SOT 1359824 SOS 418685 HAS SOPS 418685 HAS SOUS 205033 HAS SOUPS 205033 WITH SCORE 205451.685
AT ITER 2784 NEW BEST:: SOT 1359823 SOS 418683 HAS SOPS 418683 HAS SOUS 205031 HAS SOUPS 205031 WITH SCORE 205449.683
AT ITER 2785 NEW BEST:: SOT 1359849 SOS 418621 HAS SOPS 418621 HAS SOUS 204999 HAS SOUPS 204999 WITH SCORE 205417.621
AT ITER 2799 NEW BEST:: SOT 1359822 SOS 418486 HAS SOPS 418486 HAS SOUS 204984 HAS SOUPS 204984 WITH SCORE 205402.486
AT ITER 2802 NEW BEST:: SOT 1359851 SOS 418466 HAS SOPS 418466 HAS SOUS 204964 HAS SOUPS 204964 WITH SCORE 205382.466
AT ITER 2818 NEW BEST:: SOT 1359472 SOS 418176 HAS SOPS 418176 HAS SOUS 204674 HAS SOUPS 204674 WITH SCORE 205092.176
AT ITER 2835 NEW BEST:: SOT 1359501 SOS 417159 HAS SOPS 417159 HAS SOUS 204675 HAS SOUPS 204675 WITH SCORE 205092.159
AT ITER 2858 NEW BEST:: SOT 1359500 SOS 417157 HAS SOPS 417157 HAS SOUS 204674 HAS SOUPS 204674 WITH SCORE 205091.157
AT ITER 2869 NEW BEST:: SOT 1359499 SOS 417155 HAS SOPS 417155 HAS SOUS 204672 HAS SOUPS 204672 WITH SCORE 205089.155
AT ITER 2874 NEW BEST:: SOT 1359438 SOS 417185 HAS SOPS 417185 HAS SOUS 204569 HAS SOUPS 204569 WITH SCORE 204986.185
AT ITER 2904 NEW BEST:: SOT 1359277 SOS 417006 HAS SOPS 417006 HAS SOUS 204411 HAS SOUPS 204411 WITH SCORE 204828.006
AT ITER 2951 NEW BEST:: SOT 1359226 SOS 416904 HAS SOPS 416904 HAS SOUS 204360 HAS SOUPS 204360 WITH SCORE 204776.904
AT ITER 2972 NEW BEST:: SOT 1359189 SOS 416879 HAS SOPS 416879 HAS SOUS 204323 HAS SOUPS 204323 WITH SCORE 204739.879
AT ITER 2995 NEW BEST:: SOT 1359180 SOS 416861 HAS SOPS 416861 HAS SOUS 204309 HAS SOUPS 204309 WITH SCORE 204725.861
AT ITER 2998 NEW BEST:: SOT 1359108 SOS 416789 HAS SOPS 416789 HAS SOUS 204235 HAS SOUPS 204235 WITH SCORE 204651.789
AT ITER 3013 NEW BEST:: SOT 1359077 SOS 416839 HAS SOPS 416839 HAS SOUS 204009 HAS SOUPS 204009 WITH SCORE 204425.839
AT ITER 3024 NEW BEST:: SOT 1359077 SOS 416839 HAS SOPS 416839 HAS SOUS 203925 HAS SOUPS 203925 WITH SCORE 204341.839
AT ITER 3027 NEW BEST:: SOT 1359077 SOS 416697 HAS SOPS 416697 HAS SOUS 203925 HAS SOUPS 203925 WITH SCORE 204341.697
AT ITER 3048 NEW BEST:: SOT 1359077 SOS 416764 HAS SOPS 416764 HAS SOUS 203891 HAS SOUPS 203891 WITH SCORE 204307.764
AT ITER 3052 NEW BEST:: SOT 1359034 SOS 416678 HAS SOPS 416678 HAS SOUS 203775 HAS SOUPS 203775 WITH SCORE 204191.678
AT ITER 3058 NEW BEST:: SOT 1359160 SOS 416652 HAS SOPS 416652 HAS SOUS 203763 HAS SOUPS 203763 WITH SCORE 204179.652
AT ITER 3074 NEW BEST:: SOT 1359160 SOS 416647 HAS SOPS 416647 HAS SOUS 203763 HAS SOUPS 203763 WITH SCORE 204179.647
AT ITER 3078 NEW BEST:: SOT 1359135 SOS 416586 HAS SOPS 416586 HAS SOUS 203702 HAS SOUPS 203702 WITH SCORE 204118.586
AT ITER 3098 NEW BEST:: SOT 1359135 SOS 416586 HAS SOPS 416586 HAS SOUS 203697 HAS SOUPS 203697 WITH SCORE 204113.586
AT ITER 3106 NEW BEST:: SOT 1359135 SOS 416726 HAS SOPS 416726 HAS SOUS 203473 HAS SOUPS 203473 WITH SCORE 203889.726
AT ITER 3111 NEW BEST:: SOT 1359135 SOS 416726 HAS SOPS 416726 HAS SOUS 203422 HAS SOUPS 203422 WITH SCORE 203838.726
AT ITER 3129 NEW BEST:: SOT 1359082 SOS 416673 HAS SOPS 416673 HAS SOUS 203421 HAS SOUPS 203421 WITH SCORE 203837.673
AT ITER 3141 NEW BEST:: SOT 1359014 SOS 416605 HAS SOPS 416605 HAS SOUS 203353 HAS SOUPS 203353 WITH SCORE 203769.605
AT ITER 3154 NEW BEST:: SOT 1358955 SOS 416487 HAS SOPS 416487 HAS SOUS 203235 HAS SOUPS 203235 WITH SCORE 203651.487
AT ITER 3159 NEW BEST:: SOT 1358962 SOS 416345 HAS SOPS 416345 HAS SOUS 203097 HAS SOUPS 203097 WITH SCORE 203513.345
AT ITER 3187 NEW BEST:: SOT 1358962 SOS 416386 HAS SOPS 416386 HAS SOUS 203071 HAS SOUPS 203071 WITH SCORE 203487.386
AT ITER 3188 NEW BEST:: SOT 1358829 SOS 417080 HAS SOPS 417080 HAS SOUS 203058 HAS SOUPS 203058 WITH SCORE 203475.08
AT ITER 3213 NEW BEST:: SOT 1358829 SOS 416887 HAS SOPS 416887 HAS SOUS 202779 HAS SOUPS 202779 WITH SCORE 203195.887
AT ITER 3237 NEW BEST:: SOT 1358806 SOS 416841 HAS SOPS 416841 HAS SOUS 202733 HAS SOUPS 202733 WITH SCORE 203149.841
AT ITER 3245 NEW BEST:: SOT 1358758 SOS 416745 HAS SOPS 416745 HAS SOUS 202637 HAS SOUPS 202637 WITH SCORE 203053.745
AT ITER 3250 NEW BEST:: SOT 1358629 SOS 416687 HAS SOPS 416687 HAS SOUS 202529 HAS SOUPS 202529 WITH SCORE 202945.687
AT ITER 3252 NEW BEST:: SOT 1358664 SOS 416477 HAS SOPS 416477 HAS SOUS 202529 HAS SOUPS 202529 WITH SCORE 202945.477
AT ITER 3268 NEW BEST:: SOT 1358664 SOS 416449 HAS SOPS 416449 HAS SOUS 202501 HAS SOUPS 202501 WITH SCORE 202917.449
AT ITER 3272 NEW BEST:: SOT 1358528 SOS 416177 HAS SOPS 416177 HAS SOUS 202365 HAS SOUPS 202365 WITH SCORE 202781.177
AT ITER 3296 NEW BEST:: SOT 1358487 SOS 416095 HAS SOPS 416095 HAS SOUS 202283 HAS SOUPS 202283 WITH SCORE 202699.095
AT ITER 3298 NEW BEST:: SOT 1358495 SOS 415966 HAS SOPS 415966 HAS SOUS 202146 HAS SOUPS 202146 WITH SCORE 202561.966
AT ITER 3302 NEW BEST:: SOT 1358365 SOS 415782 HAS SOPS 415782 HAS SOUS 202033 HAS SOUPS 202033 WITH SCORE 202448.782
AT ITER 3305 NEW BEST:: SOT 1358314 SOS 415658 HAS SOPS 415658 HAS SOUS 201982 HAS SOUPS 201982 WITH SCORE 202397.658
AT ITER 3313 NEW BEST:: SOT 1358276 SOS 415582 HAS SOPS 415582 HAS SOUS 201944 HAS SOUPS 201944 WITH SCORE 202359.582
AT ITER 3337 NEW BEST:: SOT 1358249 SOS 415528 HAS SOPS 415528 HAS SOUS 201825 HAS SOUPS 201825 WITH SCORE 202240.528
AT ITER 3370 NEW BEST:: SOT 1358294 SOS 415483 HAS SOPS 415483 HAS SOUS 201825 HAS SOUPS 201825 WITH SCORE 202240.483
AT ITER 3377 NEW BEST:: SOT 1358276 SOS 415447 HAS SOPS 415447 HAS SOUS 201789 HAS SOUPS 201789 WITH SCORE 202204.447
AT ITER 3378 NEW BEST:: SOT 1358274 SOS 415441 HAS SOPS 415441 HAS SOUS 201783 HAS SOUPS 201783 WITH SCORE 202198.441
AT ITER 3380 NEW BEST:: SOT 1358232 SOS 415399 HAS SOPS 415399 HAS SOUS 201741 HAS SOUPS 201741 WITH SCORE 202156.399
AT ITER 3399 NEW BEST:: SOT 1358232 SOS 415399 HAS SOPS 415399 HAS SOUS 201719 HAS SOUPS 201719 WITH SCORE 202134.399
AT ITER 3409 NEW BEST:: SOT 1358291 SOS 415350 HAS SOPS 415350 HAS SOUS 201597 HAS SOUPS 201597 WITH SCORE 202012.35
AT ITER 3416 NEW BEST:: SOT 1358282 SOS 415332 HAS SOPS 415332 HAS SOUS 201540 HAS SOUPS 201540 WITH SCORE 201955.332
AT ITER 3417 NEW BEST:: SOT 1358185 SOS 415678 HAS SOPS 415678 HAS SOUS 201331 HAS SOUPS 201331 WITH SCORE 201746.678
AT ITER 3461 NEW BEST:: SOT 1357956 SOS 415220 HAS SOPS 415220 HAS SOUS 201212 HAS SOUPS 201212 WITH SCORE 201627.22
AT ITER 3462 NEW BEST:: SOT 1357956 SOS 415138 HAS SOPS 415138 HAS SOUS 201101 HAS SOUPS 201101 WITH SCORE 201516.138
AT ITER 3469 NEW BEST:: SOT 1357954 SOS 415134 HAS SOPS 415134 HAS SOUS 201099 HAS SOUPS 201099 WITH SCORE 201514.134
AT ITER 3477 NEW BEST:: SOT 1358000 SOS 415226 HAS SOPS 415226 HAS SOUS 201051 HAS SOUPS 201051 WITH SCORE 201466.226
AT ITER 3493 NEW BEST:: SOT 1358000 SOS 415085 HAS SOPS 415085 HAS SOUS 201051 HAS SOUPS 201051 WITH SCORE 201466.085
AT ITER 3514 NEW BEST:: SOT 1357964 SOS 415013 HAS SOPS 415013 HAS SOUS 200988 HAS SOUPS 200988 WITH SCORE 201403.013
AT ITER 3526 NEW BEST:: SOT 1357963 SOS 415011 HAS SOPS 415011 HAS SOUS 200986 HAS SOUPS 200986 WITH SCORE 201401.011
AT ITER 3534 NEW BEST:: SOT 1357988 SOS 414986 HAS SOPS 414986 HAS SOUS 200986 HAS SOUPS 200986 WITH SCORE 201400.986
AT ITER 3535 NEW BEST:: SOT 1357991 SOS 414992 HAS SOPS 414992 HAS SOUS 200983 HAS SOUPS 200983 WITH SCORE 201397.992
AT ITER 3577 NEW BEST:: SOT 1357991 SOS 414992 HAS SOPS 414992 HAS SOUS 200982 HAS SOUPS 200982 WITH SCORE 201396.992
AT ITER 3588 NEW BEST:: SOT 1357767 SOS 414768 HAS SOPS 414768 HAS SOUS 200819 HAS SOUPS 200819 WITH SCORE 201233.768
AT ITER 3624 NEW BEST:: SOT 1357737 SOS 414707 HAS SOPS 414707 HAS SOUS 200727 HAS SOUPS 200727 WITH SCORE 201141.707
AT ITER 3651 NEW BEST:: SOT 1357731 SOS 414695 HAS SOPS 414695 HAS SOUS 200715 HAS SOUPS 200715 WITH SCORE 201129.695
AT ITER 3661 NEW BEST:: SOT 1357784 SOS 414801 HAS SOPS 414801 HAS SOUS 200700 HAS SOUPS 200700 WITH SCORE 201114.801
AT ITER 3684 NEW BEST:: SOT 1357587 SOS 414407 HAS SOPS 414407 HAS SOUS 200552 HAS SOUPS 200552 WITH SCORE 200966.407
AT ITER 3720 NEW BEST:: SOT 1357587 SOS 414307 HAS SOPS 414307 HAS SOUS 200488 HAS SOUPS 200488 WITH SCORE 200902.307
AT ITER 3725 NEW BEST:: SOT 1357587 SOS 414245 HAS SOPS 414245 HAS SOUS 200426 HAS SOUPS 200426 WITH SCORE 200840.245
AT ITER 3728 NEW BEST:: SOT 1357463 SOS 414938 HAS SOPS 414938 HAS SOUS 200419 HAS SOUPS 200419 WITH SCORE 200833.938
AT ITER 3744 NEW BEST:: SOT 1357387 SOS 414897 HAS SOPS 414897 HAS SOUS 200378 HAS SOUPS 200378 WITH SCORE 200792.897
AT ITER 3746 NEW BEST:: SOT 1357327 SOS 414777 HAS SOPS 414777 HAS SOUS 200258 HAS SOUPS 200258 WITH SCORE 200672.777
AT ITER 3758 NEW BEST:: SOT 1357377 SOS 415013 HAS SOPS 415013 HAS SOUS 200172 HAS SOUPS 200172 WITH SCORE 200587.013
AT ITER 3761 NEW BEST:: SOT 1357361 SOS 414981 HAS SOPS 414981 HAS SOUS 200156 HAS SOUPS 200156 WITH SCORE 200570.981
AT ITER 3764 NEW BEST:: SOT 1357367 SOS 414987 HAS SOPS 414987 HAS SOUS 200084 HAS SOUPS 200084 WITH SCORE 200498.987
AT ITER 3775 NEW BEST:: SOT 1357263 SOS 414895 HAS SOPS 414895 HAS SOUS 199876 HAS SOUPS 199876 WITH SCORE 200290.895
AT ITER 3776 NEW BEST:: SOT 1357210 SOS 414789 HAS SOPS 414789 HAS SOUS 199770 HAS SOUPS 199770 WITH SCORE 200184.789
AT ITER 3778 NEW BEST:: SOT 1357151 SOS 414671 HAS SOPS 414671 HAS SOUS 199652 HAS SOUPS 199652 WITH SCORE 200066.671
AT ITER 3782 NEW BEST:: SOT 1357141 SOS 414651 HAS SOPS 414651 HAS SOUS 199533 HAS SOUPS 199533 WITH SCORE 199947.651
AT ITER 3812 NEW BEST:: SOT 1357076 SOS 414521 HAS SOPS 414521 HAS SOUS 199468 HAS SOUPS 199468 WITH SCORE 199882.521
AT ITER 3815 NEW BEST:: SOT 1357041 SOS 414451 HAS SOPS 414451 HAS SOUS 199398 HAS SOUPS 199398 WITH SCORE 199812.451
AT ITER 3820 NEW BEST:: SOT 1357017 SOS 414508 HAS SOPS 414508 HAS SOUS 199077 HAS SOUPS 199077 WITH SCORE 199491.508
AT ITER 3828 NEW BEST:: SOT 1357101 SOS 414643 HAS SOPS 414643 HAS SOUS 199038 HAS SOUPS 199038 WITH SCORE 199452.643
AT ITER 3861 NEW BEST:: SOT 1356980 SOS 414401 HAS SOPS 414401 HAS SOUS 198796 HAS SOUPS 198796 WITH SCORE 199210.401
AT ITER 3872 NEW BEST:: SOT 1356812 SOS 414233 HAS SOPS 414233 HAS SOUS 198628 HAS SOUPS 198628 WITH SCORE 199042.233
AT ITER 3874 NEW BEST:: SOT 1356744 SOS 414045 HAS SOPS 414045 HAS SOUS 198351 HAS SOUPS 198351 WITH SCORE 198765.045
AT ITER 3876 NEW BEST:: SOT 1356725 SOS 414007 HAS SOPS 414007 HAS SOUS 198313 HAS SOUPS 198313 WITH SCORE 198727.007
AT ITER 3919 NEW BEST:: SOT 1356711 SOS 414021 HAS SOPS 414021 HAS SOUS 198299 HAS SOUPS 198299 WITH SCORE 198713.021
AT ITER 3923 NEW BEST:: SOT 1356710 SOS 414063 HAS SOPS 414063 HAS SOUS 198297 HAS SOUPS 198297 WITH SCORE 198711.063
AT ITER 3932 NEW BEST:: SOT 1356814 SOS 414015 HAS SOPS 414015 HAS SOUS 198249 HAS SOUPS 198249 WITH SCORE 198663.015
AT ITER 3940 NEW BEST:: SOT 1356784 SOS 413955 HAS SOPS 413955 HAS SOUS 198219 HAS SOUPS 198219 WITH SCORE 198632.955
AT ITER 3947 NEW BEST:: SOT 1356760 SOS 413907 HAS SOPS 413907 HAS SOUS 198171 HAS SOUPS 198171 WITH SCORE 198584.907
AT ITER 3958 NEW BEST:: SOT 1356703 SOS 413793 HAS SOPS 413793 HAS SOUS 197897 HAS SOUPS 197897 WITH SCORE 198310.793
AT ITER 3969 NEW BEST:: SOT 1356731 SOS 413768 HAS SOPS 413768 HAS SOUS 197856 HAS SOUPS 197856 WITH SCORE 198269.768
AT ITER 4010 NEW BEST:: SOT 1356730 SOS 413766 HAS SOPS 413766 HAS SOUS 197854 HAS SOUPS 197854 WITH SCORE 198267.766
AT ITER 4089 NEW BEST:: SOT 1356727 SOS 413756 HAS SOPS 413756 HAS SOUS 197820 HAS SOUPS 197820 WITH SCORE 198233.756
AT ITER 4105 NEW BEST:: SOT 1356676 SOS 413849 HAS SOPS 413849 HAS SOUS 197817 HAS SOUPS 197817 WITH SCORE 198230.849
AT ITER 4110 NEW BEST:: SOT 1356675 SOS 413848 HAS SOPS 413848 HAS SOUS 197816 HAS SOUPS 197816 WITH SCORE 198229.848
AT ITER 4186 NEW BEST:: SOT 1356494 SOS 413811 HAS SOPS 413811 HAS SOUS 197714 HAS SOUPS 197714 WITH SCORE 198127.811
AT ITER 4202 NEW BEST:: SOT 1356310 SOS 412930 HAS SOPS 412930 HAS SOUS 197409 HAS SOUPS 197409 WITH SCORE 197821.93
AT ITER 4217 NEW BEST:: SOT 1356203 SOS 412823 HAS SOPS 412823 HAS SOUS 197395 HAS SOUPS 197395 WITH SCORE 197807.823
AT ITER 4222 NEW BEST:: SOT 1356059 SOS 412535 HAS SOPS 412535 HAS SOUS 197199 HAS SOUPS 197199 WITH SCORE 197611.535
AT ITER 4228 NEW BEST:: SOT 1356059 SOS 412572 HAS SOPS 412572 HAS SOUS 197161 HAS SOUPS 197161 WITH SCORE 197573.572
AT ITER 4233 NEW BEST:: SOT 1356042 SOS 412538 HAS SOPS 412538 HAS SOUS 196977 HAS SOUPS 196977 WITH SCORE 197389.538
AT ITER 4240 NEW BEST:: SOT 1356012 SOS 412268 HAS SOPS 412268 HAS SOUS 196707 HAS SOUPS 196707 WITH SCORE 197119.268
AT ITER 4290 NEW BEST:: SOT 1356161 SOS 412417 HAS SOPS 412417 HAS SOUS 196706 HAS SOUPS 196706 WITH SCORE 197118.417
AT ITER 4354 NEW BEST:: SOT 1356123 SOS 412379 HAS SOPS 412379 HAS SOUS 196668 HAS SOUPS 196668 WITH SCORE 197080.379
AT ITER 4370 NEW BEST:: SOT 1356080 SOS 412293 HAS SOPS 412293 HAS SOUS 196582 HAS SOUPS 196582 WITH SCORE 196994.293
AT ITER 4379 NEW BEST:: SOT 1356080 SOS 412293 HAS SOPS 412293 HAS SOUS 196558 HAS SOUPS 196558 WITH SCORE 196970.293
AT ITER 4392 NEW BEST:: SOT 1356080 SOS 412649 HAS SOPS 412649 HAS SOUS 196481 HAS SOUPS 196481 WITH SCORE 196893.649
AT ITER 4393 NEW BEST:: SOT 1355935 SOS 412504 HAS SOPS 412504 HAS SOUS 196336 HAS SOUPS 196336 WITH SCORE 196748.504
AT ITER 4429 NEW BEST:: SOT 1355975 SOS 412459 HAS SOPS 412459 HAS SOUS 196311 HAS SOUPS 196311 WITH SCORE 196723.459
AT ITER 4444 NEW BEST:: SOT 1355948 SOS 412465 HAS SOPS 412465 HAS SOUS 196284 HAS SOUPS 196284 WITH SCORE 196696.465
AT ITER 4459 NEW BEST:: SOT 1355935 SOS 412452 HAS SOPS 412452 HAS SOUS 196271 HAS SOUPS 196271 WITH SCORE 196683.452
AT ITER 4504 NEW BEST:: SOT 1355920 SOS 412437 HAS SOPS 412437 HAS SOUS 196256 HAS SOUPS 196256 WITH SCORE 196668.437
AT ITER 4519 NEW BEST:: SOT 1355960 SOS 413050 HAS SOPS 413050 HAS SOUS 196195 HAS SOUPS 196195 WITH SCORE 196608.05
AT ITER 4521 NEW BEST:: SOT 1355960 SOS 413026 HAS SOPS 413026 HAS SOUS 196077 HAS SOUPS 196077 WITH SCORE 196490.026
AT ITER 4526 NEW BEST:: SOT 1355903 SOS 413104 HAS SOPS 413104 HAS SOUS 196042 HAS SOUPS 196042 WITH SCORE 196455.104
AT ITER 4544 NEW BEST:: SOT 1354782 SOS 411983 HAS SOPS 411983 HAS SOUS 195539 HAS SOUPS 195539 WITH SCORE 195950.983
AT ITER 4554 NEW BEST:: SOT 1354817 SOS 412018 HAS SOPS 412018 HAS SOUS 194979 HAS SOUPS 194979 WITH SCORE 195391.018
AT ITER 4564 NEW BEST:: SOT 1354697 SOS 411589 HAS SOPS 411589 HAS SOUS 194587 HAS SOUPS 194587 WITH SCORE 194998.589
AT ITER 4568 NEW BEST:: SOT 1354433 SOS 411107 HAS SOPS 411107 HAS SOUS 194276 HAS SOUPS 194276 WITH SCORE 194687.107
AT ITER 4577 NEW BEST:: SOT 1354432 SOS 411105 HAS SOPS 411105 HAS SOUS 194274 HAS SOUPS 194274 WITH SCORE 194685.105
AT ITER 4603 NEW BEST:: SOT 1354408 SOS 411081 HAS SOPS 411081 HAS SOUS 194260 HAS SOUPS 194260 WITH SCORE 194671.081
AT ITER 4622 NEW BEST:: SOT 1354269 SOS 462427 HAS SOPS 462427 HAS SOUS 193982 HAS SOUPS 193982 WITH SCORE 194444.427
AT ITER 4648 NEW BEST:: SOT 1354212 SOS 462385 HAS SOPS 462385 HAS SOUS 193886 HAS SOUPS 193886 WITH SCORE 194348.385
AT ITER 4659 NEW BEST:: SOT 1354212 SOS 462385 HAS SOPS 462385 HAS SOUS 193878 HAS SOUPS 193878 WITH SCORE 194340.385
AT ITER 4666 NEW BEST:: SOT 1354257 SOS 462230 HAS SOPS 462230 HAS SOUS 193723 HAS SOUPS 193723 WITH SCORE 194185.23
AT ITER 4701 NEW BEST:: SOT 1354262 SOS 462240 HAS SOPS 462240 HAS SOUS 193480 HAS SOUPS 193480 WITH SCORE 193942.24
AT ITER 4705 NEW BEST:: SOT 1354212 SOS 462027 HAS SOPS 462027 HAS SOUS 193377 HAS SOUPS 193377 WITH SCORE 193839.027
AT ITER 4712 NEW BEST:: SOT 1354211 SOS 461866 HAS SOPS 461866 HAS SOUS 193375 HAS SOUPS 193375 WITH SCORE 193836.866
AT ITER 4727 NEW BEST:: SOT 1354248 SOS 461840 HAS SOPS 461840 HAS SOUS 193249 HAS SOUPS 193249 WITH SCORE 193710.84
AT ITER 4730 NEW BEST:: SOT 1354235 SOS 461814 HAS SOPS 461814 HAS SOUS 193155 HAS SOUPS 193155 WITH SCORE 193616.814
AT ITER 4744 NEW BEST:: SOT 1354214 SOS 461734 HAS SOPS 461734 HAS SOUS 193075 HAS SOUPS 193075 WITH SCORE 193536.734
AT ITER 4745 NEW BEST:: SOT 1354214 SOS 461734 HAS SOPS 461734 HAS SOUS 193074 HAS SOUPS 193074 WITH SCORE 193535.734
AT ITER 4757 NEW BEST:: SOT 1354179 SOS 461667 HAS SOPS 461667 HAS SOUS 193073 HAS SOUPS 193073 WITH SCORE 193534.667
AT ITER 4780 NEW BEST:: SOT 1354165 SOS 461410 HAS SOPS 461410 HAS SOUS 193059 HAS SOUPS 193059 WITH SCORE 193520.41
AT ITER 4796 NEW BEST:: SOT 1354201 SOS 461482 HAS SOPS 461482 HAS SOUS 192968 HAS SOUPS 192968 WITH SCORE 193429.482
AT ITER 4812 NEW BEST:: SOT 1354201 SOS 461482 HAS SOPS 461482 HAS SOUS 192948 HAS SOUPS 192948 WITH SCORE 193409.482
AT ITER 4813 NEW BEST:: SOT 1354160 SOS 461400 HAS SOPS 461400 HAS SOUS 192758 HAS SOUPS 192758 WITH SCORE 193219.4
AT ITER 4816 NEW BEST:: SOT 1354159 SOS 461398 HAS SOPS 461398 HAS SOUS 192756 HAS SOUPS 192756 WITH SCORE 193217.398
AT ITER 4834 NEW BEST:: SOT 1353099 SOS 461207 HAS SOPS 461207 HAS SOUS 192226 HAS SOUPS 192226 WITH SCORE 192687.207
AT ITER 4837 NEW BEST:: SOT 1353089 SOS 461187 HAS SOPS 461187 HAS SOUS 192206 HAS SOUPS 192206 WITH SCORE 192667.187
AT ITER 4839 NEW BEST:: SOT 1353128 SOS 461265 HAS SOPS 461265 HAS SOUS 192166 HAS SOUPS 192166 WITH SCORE 192627.265
AT ITER 4846 NEW BEST:: SOT 1353128 SOS 461525 HAS SOPS 461525 HAS SOUS 192114 HAS SOUPS 192114 WITH SCORE 192575.525
AT ITER 4853 NEW BEST:: SOT 1353044 SOS 461357 HAS SOPS 461357 HAS SOUS 191907 HAS SOUPS 191907 WITH SCORE 192368.357
AT ITER 4854 NEW BEST:: SOT 1353017 SOS 461389 HAS SOPS 461389 HAS SOUS 191853 HAS SOUPS 191853 WITH SCORE 192314.389
AT ITER 4858 NEW BEST:: SOT 1353017 SOS 461233 HAS SOPS 461233 HAS SOUS 191781 HAS SOUPS 191781 WITH SCORE 192242.233
AT ITER 4862 NEW BEST:: SOT 1353018 SOS 461540 HAS SOPS 461540 HAS SOUS 191627 HAS SOUPS 191627 WITH SCORE 192088.54
AT ITER 4865 NEW BEST:: SOT 1353010 SOS 461380 HAS SOPS 461380 HAS SOUS 191601 HAS SOUPS 191601 WITH SCORE 192062.38
AT ITER 4895 NEW BEST:: SOT 1352973 SOS 461306 HAS SOPS 461306 HAS SOUS 191559 HAS SOUPS 191559 WITH SCORE 192020.306
AT ITER 4921 NEW BEST:: SOT 1352961 SOS 461306 HAS SOPS 461306 HAS SOUS 191535 HAS SOUPS 191535 WITH SCORE 191996.306
AT ITER 4933 NEW BEST:: SOT 1352939 SOS 461287 HAS SOPS 461287 HAS SOUS 191513 HAS SOUPS 191513 WITH SCORE 191974.287
AT ITER 4934 NEW BEST:: SOT 1352881 SOS 461171 HAS SOPS 461171 HAS SOUS 191397 HAS SOUPS 191397 WITH SCORE 191858.171
AT ITER 4949 NEW BEST:: SOT 1352848 SOS 461577 HAS SOPS 461577 HAS SOUS 191257 HAS SOUPS 191257 WITH SCORE 191718.577
AT ITER 4984 NEW BEST:: SOT 1352830 SOS 461541 HAS SOPS 461541 HAS SOUS 191190 HAS SOUPS 191190 WITH SCORE 191651.541
AT ITER 4995 NEW BEST:: SOT 1352940 SOS 461431 HAS SOPS 461431 HAS SOUS 191190 HAS SOUPS 191190 WITH SCORE 191651.431
AT ITER 4996 NEW BEST:: SOT 1352900 SOS 461723 HAS SOPS 461723 HAS SOUS 191078 HAS SOUPS 191078 WITH SCORE 191539.723
AT ITER 5016 NEW BEST:: SOT 1352825 SOS 461573 HAS SOPS 461573 HAS SOUS 191034 HAS SOUPS 191034 WITH SCORE 191495.573
AT ITER 5018 NEW BEST:: SOT 1352826 SOS 461575 HAS SOPS 461575 HAS SOUS 191021 HAS SOUPS 191021 WITH SCORE 191482.575
AT ITER 5020 NEW BEST:: SOT 1352952 SOS 461104 HAS SOPS 461104 HAS SOUS 190970 HAS SOUPS 190970 WITH SCORE 191431.104
AT ITER 5029 NEW BEST:: SOT 1352945 SOS 461090 HAS SOPS 461090 HAS SOUS 190956 HAS SOUPS 190956 WITH SCORE 191417.09
AT ITER 5035 NEW BEST:: SOT 1352878 SOS 462040 HAS SOPS 462040 HAS SOUS 190667 HAS SOUPS 190667 WITH SCORE 191129.04
AT ITER 5036 NEW BEST:: SOT 1352698 SOS 461940 HAS SOPS 461940 HAS SOUS 190547 HAS SOUPS 190547 WITH SCORE 191008.94
AT ITER 5055 NEW BEST:: SOT 1352698 SOS 461904 HAS SOPS 461904 HAS SOUS 190511 HAS SOUPS 190511 WITH SCORE 190972.904
AT ITER 5066 NEW BEST:: SOT 1352535 SOS 461935 HAS SOPS 461935 HAS SOUS 190291 HAS SOUPS 190291 WITH SCORE 190752.935
AT ITER 5072 NEW BEST:: SOT 1352513 SOS 461924 HAS SOPS 461924 HAS SOUS 190258 HAS SOUPS 190258 WITH SCORE 190719.924
AT ITER 5158 NEW BEST:: SOT 1352464 SOS 461826 HAS SOPS 461826 HAS SOUS 190160 HAS SOUPS 190160 WITH SCORE 190621.826
AT ITER 5159 NEW BEST:: SOT 1352464 SOS 461791 HAS SOPS 461791 HAS SOUS 190108 HAS SOUPS 190108 WITH SCORE 190569.791
AT ITER 5161 NEW BEST:: SOT 1352377 SOS 461678 HAS SOPS 461678 HAS SOUS 189784 HAS SOUPS 189784 WITH SCORE 190245.678
AT ITER 5178 NEW BEST:: SOT 1352368 SOS 461669 HAS SOPS 461669 HAS SOUS 189782 HAS SOUPS 189782 WITH SCORE 190243.669
AT ITER 5181 NEW BEST:: SOT 1352368 SOS 461669 HAS SOPS 461669 HAS SOUS 189690 HAS SOUPS 189690 WITH SCORE 190151.669
AT ITER 5198 NEW BEST:: SOT 1352309 SOS 461551 HAS SOPS 461551 HAS SOUS 189572 HAS SOUPS 189572 WITH SCORE 190033.551
AT ITER 5203 NEW BEST:: SOT 1352262 SOS 461238 HAS SOPS 461238 HAS SOUS 189453 HAS SOUPS 189453 WITH SCORE 189914.238
AT ITER 5213 NEW BEST:: SOT 1352230 SOS 461174 HAS SOPS 461174 HAS SOUS 189416 HAS SOUPS 189416 WITH SCORE 189877.174
AT ITER 5237 NEW BEST:: SOT 1352230 SOS 461235 HAS SOPS 461235 HAS SOUS 189305 HAS SOUPS 189305 WITH SCORE 189766.235
AT ITER 5238 NEW BEST:: SOT 1352300 SOS 461159 HAS SOPS 461159 HAS SOUS 189303 HAS SOUPS 189303 WITH SCORE 189764.159
AT ITER 5261 NEW BEST:: SOT 1352306 SOS 462445 HAS SOPS 462445 HAS SOUS 189185 HAS SOUPS 189185 WITH SCORE 189647.445
AT ITER 5290 NEW BEST:: SOT 1352250 SOS 462333 HAS SOPS 462333 HAS SOUS 189129 HAS SOUPS 189129 WITH SCORE 189591.333
AT ITER 5302 NEW BEST:: SOT 1352238 SOS 462309 HAS SOPS 462309 HAS SOUS 189105 HAS SOUPS 189105 WITH SCORE 189567.309
AT ITER 5330 NEW BEST:: SOT 1352161 SOS 462232 HAS SOPS 462232 HAS SOUS 189097 HAS SOUPS 189097 WITH SCORE 189559.232
AT ITER 5334 NEW BEST:: SOT 1352123 SOS 462156 HAS SOPS 462156 HAS SOUS 189021 HAS SOUPS 189021 WITH SCORE 189483.156
AT ITER 5347 NEW BEST:: SOT 1352012 SOS 461934 HAS SOPS 461934 HAS SOUS 188993 HAS SOUPS 188993 WITH SCORE 189454.934
AT ITER 5356 NEW BEST:: SOT 1352072 SOS 461874 HAS SOPS 461874 HAS SOUS 188993 HAS SOUPS 188993 WITH SCORE 189454.874
AT ITER 5368 NEW BEST:: SOT 1351962 SOS 461874 HAS SOPS 461874 HAS SOUS 188773 HAS SOUPS 188773 WITH SCORE 189234.874
AT ITER 5377 NEW BEST:: SOT 1351962 SOS 461874 HAS SOPS 461874 HAS SOUS 188689 HAS SOUPS 188689 WITH SCORE 189150.874
AT ITER 5379 NEW BEST:: SOT 1351946 SOS 461858 HAS SOPS 461858 HAS SOUS 188682 HAS SOUPS 188682 WITH SCORE 189143.858
AT ITER 5418 NEW BEST:: SOT 1351946 SOS 461806 HAS SOPS 461806 HAS SOUS 188630 HAS SOUPS 188630 WITH SCORE 189091.806
AT ITER 5463 NEW BEST:: SOT 1351707 SOS 461571 HAS SOPS 461571 HAS SOUS 188395 HAS SOUPS 188395 WITH SCORE 188856.571
AT ITER 5470 NEW BEST:: SOT 1351707 SOS 461819 HAS SOPS 461819 HAS SOUS 188333 HAS SOUPS 188333 WITH SCORE 188794.819
AT ITER 5477 NEW BEST:: SOT 1351700 SOS 461810 HAS SOPS 461810 HAS SOUS 188328 HAS SOUPS 188328 WITH SCORE 188789.81
AT ITER 5511 NEW BEST:: SOT 1351633 SOS 461809 HAS SOPS 461809 HAS SOUS 188296 HAS SOUPS 188296 WITH SCORE 188757.809
AT ITER 5519 NEW BEST:: SOT 1351621 SOS 461652 HAS SOPS 461652 HAS SOUS 188272 HAS SOUPS 188272 WITH SCORE 188733.652
AT ITER 5531 NEW BEST:: SOT 1351607 SOS 461624 HAS SOPS 461624 HAS SOUS 188258 HAS SOUPS 188258 WITH SCORE 188719.624
AT ITER 5539 NEW BEST:: SOT 1351607 SOS 461624 HAS SOPS 461624 HAS SOUS 188243 HAS SOUPS 188243 WITH SCORE 188704.624
AT ITER 5561 NEW BEST:: SOT 1351606 SOS 461622 HAS SOPS 461622 HAS SOUS 188241 HAS SOUPS 188241 WITH SCORE 188702.622
AT ITER 5563 NEW BEST:: SOT 1351489 SOS 461505 HAS SOPS 461505 HAS SOUS 188124 HAS SOUPS 188124 WITH SCORE 188585.505
AT ITER 5607 NEW BEST:: SOT 1351417 SOS 461433 HAS SOPS 461433 HAS SOUS 188124 HAS SOUPS 188124 WITH SCORE 188585.433
AT ITER 5627 NEW BEST:: SOT 1351417 SOS 461384 HAS SOPS 461384 HAS SOUS 188124 HAS SOUPS 188124 WITH SCORE 188585.384
AT ITER 5631 NEW BEST:: SOT 1351491 SOS 461300 HAS SOPS 461300 HAS SOUS 187997 HAS SOUPS 187997 WITH SCORE 188458.3
AT ITER 5633 NEW BEST:: SOT 1351491 SOS 461873 HAS SOPS 461873 HAS SOUS 187954 HAS SOUPS 187954 WITH SCORE 188415.873
AT ITER 5682 NEW BEST:: SOT 1351491 SOS 461733 HAS SOPS 461733 HAS SOUS 187814 HAS SOUPS 187814 WITH SCORE 188275.733
AT ITER 5684 NEW BEST:: SOT 1351469 SOS 461689 HAS SOPS 461689 HAS SOUS 187754 HAS SOUPS 187754 WITH SCORE 188215.689
AT ITER 5701 NEW BEST:: SOT 1351288 SOS 461469 HAS SOPS 461469 HAS SOUS 187534 HAS SOUPS 187534 WITH SCORE 187995.469
AT ITER 5715 NEW BEST:: SOT 1351247 SOS 461428 HAS SOPS 461428 HAS SOUS 187493 HAS SOUPS 187493 WITH SCORE 187954.428
AT ITER 5748 NEW BEST:: SOT 1351247 SOS 461428 HAS SOPS 461428 HAS SOUS 187476 HAS SOUPS 187476 WITH SCORE 187937.428
AT ITER 5751 NEW BEST:: SOT 1351120 SOS 461372 HAS SOPS 461372 HAS SOUS 187392 HAS SOUPS 187392 WITH SCORE 187853.372
AT ITER 5755 NEW BEST:: SOT 1351103 SOS 461416 HAS SOPS 461416 HAS SOUS 187320 HAS SOUPS 187320 WITH SCORE 187781.416
AT ITER 5781 NEW BEST:: SOT 1351055 SOS 461376 HAS SOPS 461376 HAS SOUS 187139 HAS SOUPS 187139 WITH SCORE 187600.376
AT ITER 5793 NEW BEST:: SOT 1351045 SOS 461346 HAS SOPS 461346 HAS SOUS 187129 HAS SOUPS 187129 WITH SCORE 187590.346
AT ITER 5802 NEW BEST:: SOT 1351040 SOS 461339 HAS SOPS 461339 HAS SOUS 187122 HAS SOUPS 187122 WITH SCORE 187583.339
AT ITER 5804 NEW BEST:: SOT 1351040 SOS 461313 HAS SOPS 461313 HAS SOUS 187035 HAS SOUPS 187035 WITH SCORE 187496.313
AT ITER 5815 NEW BEST:: SOT 1351022 SOS 461298 HAS SOPS 461298 HAS SOUS 186963 HAS SOUPS 186963 WITH SCORE 187424.298
AT ITER 5818 NEW BEST:: SOT 1351022 SOS 461298 HAS SOPS 461298 HAS SOUS 186957 HAS SOUPS 186957 WITH SCORE 187418.298
AT ITER 5825 NEW BEST:: SOT 1350947 SOS 461073 HAS SOPS 461073 HAS SOUS 186841 HAS SOUPS 186841 WITH SCORE 187302.073
AT ITER 5844 NEW BEST:: SOT 1350828 SOS 460962 HAS SOPS 460962 HAS SOUS 186820 HAS SOUPS 186820 WITH SCORE 187280.962
AT ITER 5864 NEW BEST:: SOT 1350796 SOS 461282 HAS SOPS 461282 HAS SOUS 186776 HAS SOUPS 186776 WITH SCORE 187237.282
AT ITER 5881 NEW BEST:: SOT 1350727 SOS 460909 HAS SOPS 460909 HAS SOUS 186555 HAS SOUPS 186555 WITH SCORE 187015.909
AT ITER 5882 NEW BEST:: SOT 1350727 SOS 460909 HAS SOPS 460909 HAS SOUS 186554 HAS SOUPS 186554 WITH SCORE 187014.909
AT ITER 5885 NEW BEST:: SOT 1350727 SOS 460909 HAS SOPS 460909 HAS SOUS 186551 HAS SOUPS 186551 WITH SCORE 187011.909
AT ITER 5896 NEW BEST:: SOT 1350684 SOS 460823 HAS SOPS 460823 HAS SOUS 186465 HAS SOUPS 186465 WITH SCORE 186925.823
AT ITER 5914 NEW BEST:: SOT 1350676 SOS 460815 HAS SOPS 460815 HAS SOUS 186434 HAS SOUPS 186434 WITH SCORE 186894.815
AT ITER 5946 NEW BEST:: SOT 1350676 SOS 460907 HAS SOPS 460907 HAS SOUS 186158 HAS SOUPS 186158 WITH SCORE 186618.907
AT ITER 5991 NEW BEST:: SOT 1350615 SOS 460814 HAS SOPS 460814 HAS SOUS 186143 HAS SOUPS 186143 WITH SCORE 186603.814
AT ITER 5993 NEW BEST:: SOT 1350571 SOS 460638 HAS SOPS 460638 HAS SOUS 186055 HAS SOUPS 186055 WITH SCORE 186515.638
AT ITER 5998 NEW BEST:: SOT 1350608 SOS 460631 HAS SOPS 460631 HAS SOUS 186029 HAS SOUPS 186029 WITH SCORE 186489.631
AT ITER 6000 NEW BEST:: SOT 1350524 SOS 460463 HAS SOPS 460463 HAS SOUS 185861 HAS SOUPS 185861 WITH SCORE 186321.463
AT ITER 6011 NEW BEST:: SOT 1350506 SOS 460445 HAS SOPS 460445 HAS SOUS 185843 HAS SOUPS 185843 WITH SCORE 186303.445
AT ITER 6064 NEW BEST:: SOT 1350486 SOS 460405 HAS SOPS 460405 HAS SOUS 185803 HAS SOUPS 185803 WITH SCORE 186263.405
AT ITER 6068 NEW BEST:: SOT 1350420 SOS 460381 HAS SOPS 460381 HAS SOUS 185737 HAS SOUPS 185737 WITH SCORE 186197.381
AT ITER 6075 NEW BEST:: SOT 1350386 SOS 460313 HAS SOPS 460313 HAS SOUS 185669 HAS SOUPS 185669 WITH SCORE 186129.313
AT ITER 6087 NEW BEST:: SOT 1350360 SOS 460261 HAS SOPS 460261 HAS SOUS 185451 HAS SOUPS 185451 WITH SCORE 185911.261
AT ITER 6090 NEW BEST:: SOT 1350141 SOS 460507 HAS SOPS 460507 HAS SOUS 185195 HAS SOUPS 185195 WITH SCORE 185655.507
AT ITER 6111 NEW BEST:: SOT 1350113 SOS 460465 HAS SOPS 460465 HAS SOUS 185111 HAS SOUPS 185111 WITH SCORE 185571.465
AT ITER 6136 NEW BEST:: SOT 1350043 SOS 460444 HAS SOPS 460444 HAS SOUS 185011 HAS SOUPS 185011 WITH SCORE 185471.444
AT ITER 6156 NEW BEST:: SOT 1350043 SOS 460428 HAS SOPS 460428 HAS SOUS 185011 HAS SOUPS 185011 WITH SCORE 185471.428
AT ITER 6162 NEW BEST:: SOT 1350043 SOS 460236 HAS SOPS 460236 HAS SOUS 185011 HAS SOUPS 185011 WITH SCORE 185471.236
AT ITER 6176 NEW BEST:: SOT 1350043 SOS 460217 HAS SOPS 460217 HAS SOUS 184992 HAS SOUPS 184992 WITH SCORE 185452.217
AT ITER 6205 NEW BEST:: SOT 1350043 SOS 460217 HAS SOPS 460217 HAS SOUS 184990 HAS SOUPS 184990 WITH SCORE 185450.217
AT ITER 6221 NEW BEST:: SOT 1350042 SOS 460215 HAS SOPS 460215 HAS SOUS 184988 HAS SOUPS 184988 WITH SCORE 185448.215
AT ITER 6238 NEW BEST:: SOT 1349951 SOS 460033 HAS SOPS 460033 HAS SOUS 184934 HAS SOUPS 184934 WITH SCORE 185394.033
AT ITER 6240 NEW BEST:: SOT 1349931 SOS 460032 HAS SOPS 460032 HAS SOUS 184914 HAS SOUPS 184914 WITH SCORE 185374.032
AT ITER 6247 NEW BEST:: SOT 1349931 SOS 460032 HAS SOPS 460032 HAS SOUS 184869 HAS SOUPS 184869 WITH SCORE 185329.032
AT ITER 6267 NEW BEST:: SOT 1349931 SOS 460003 HAS SOPS 460003 HAS SOUS 184869 HAS SOUPS 184869 WITH SCORE 185329.003
AT ITER 6275 NEW BEST:: SOT 1349894 SOS 459954 HAS SOPS 459954 HAS SOUS 184785 HAS SOUPS 184785 WITH SCORE 185244.954
AT ITER 6286 NEW BEST:: SOT 1349852 SOS 459912 HAS SOPS 459912 HAS SOUS 184743 HAS SOUPS 184743 WITH SCORE 185202.912
AT ITER 6291 NEW BEST:: SOT 1349842 SOS 459892 HAS SOPS 459892 HAS SOUS 184695 HAS SOUPS 184695 WITH SCORE 185154.892
AT ITER 6297 NEW BEST:: SOT 1349831 SOS 459870 HAS SOPS 459870 HAS SOUS 184684 HAS SOUPS 184684 WITH SCORE 185143.87
AT ITER 6346 NEW BEST:: SOT 1349849 SOS 459952 HAS SOPS 459952 HAS SOUS 184526 HAS SOUPS 184526 WITH SCORE 184985.952
AT ITER 6370 NEW BEST:: SOT 1349849 SOS 459952 HAS SOPS 459952 HAS SOUS 184455 HAS SOUPS 184455 WITH SCORE 184914.952
AT ITER 6399 NEW BEST:: SOT 1349845 SOS 459944 HAS SOPS 459944 HAS SOUS 184443 HAS SOUPS 184443 WITH SCORE 184902.944
AT ITER 6401 NEW BEST:: SOT 1350324 SOS 460423 HAS SOPS 460423 HAS SOUS 184276 HAS SOUPS 184276 WITH SCORE 184736.423
AT ITER 6411 NEW BEST:: SOT 1350277 SOS 460376 HAS SOPS 460376 HAS SOUS 184229 HAS SOUPS 184229 WITH SCORE 184689.376
AT ITER 6412 NEW BEST:: SOT 1350277 SOS 459224 HAS SOPS 459224 HAS SOUS 184197 HAS SOUPS 184197 WITH SCORE 184656.224
AT ITER 6424 NEW BEST:: SOT 1350306 SOS 459253 HAS SOPS 459253 HAS SOUS 184168 HAS SOUPS 184168 WITH SCORE 184627.253
AT ITER 6453 NEW BEST:: SOT 1350306 SOS 459253 HAS SOPS 459253 HAS SOUS 184053 HAS SOUPS 184053 WITH SCORE 184512.253
AT ITER 6455 NEW BEST:: SOT 1350223 SOS 459255 HAS SOPS 459255 HAS SOUS 183970 HAS SOUPS 183970 WITH SCORE 184429.255
AT ITER 6467 NEW BEST:: SOT 1350186 SOS 459236 HAS SOPS 459236 HAS SOUS 183954 HAS SOUPS 183954 WITH SCORE 184413.236
AT ITER 6469 NEW BEST:: SOT 1350177 SOS 459191 HAS SOPS 459191 HAS SOUS 183918 HAS SOUPS 183918 WITH SCORE 184377.191
AT ITER 6470 NEW BEST:: SOT 1350218 SOS 459139 HAS SOPS 459139 HAS SOUS 183854 HAS SOUPS 183854 WITH SCORE 184313.139
AT ITER 6482 NEW BEST:: SOT 1350199 SOS 459061 HAS SOPS 459061 HAS SOUS 183826 HAS SOUPS 183826 WITH SCORE 184285.061
AT ITER 6506 NEW BEST:: SOT 1350187 SOS 458902 HAS SOPS 458902 HAS SOUS 183811 HAS SOUPS 183811 WITH SCORE 184269.902
AT ITER 6512 NEW BEST:: SOT 1350146 SOS 458820 HAS SOPS 458820 HAS SOUS 183693 HAS SOUPS 183693 WITH SCORE 184151.82
AT ITER 6538 NEW BEST:: SOT 1350223 SOS 458974 HAS SOPS 458974 HAS SOUS 183667 HAS SOUPS 183667 WITH SCORE 184125.974
AT ITER 6554 NEW BEST:: SOT 1350204 SOS 458936 HAS SOPS 458936 HAS SOUS 183629 HAS SOUPS 183629 WITH SCORE 184087.936
AT ITER 6556 NEW BEST:: SOT 1350129 SOS 459011 HAS SOPS 459011 HAS SOUS 183554 HAS SOUPS 183554 WITH SCORE 184013.011
AT ITER 6603 NEW BEST:: SOT 1350129 SOS 459011 HAS SOPS 459011 HAS SOUS 183458 HAS SOUPS 183458 WITH SCORE 183917.011
AT ITER 6656 NEW BEST:: SOT 1350129 SOS 459011 HAS SOPS 459011 HAS SOUS 183415 HAS SOUPS 183415 WITH SCORE 183874.011
AT ITER 6677 NEW BEST:: SOT 1350127 SOS 458999 HAS SOPS 458999 HAS SOUS 183408 HAS SOUPS 183408 WITH SCORE 183866.999
AT ITER 6708 NEW BEST:: SOT 1350223 SOS 459726 HAS SOPS 459726 HAS SOUS 183377 HAS SOUPS 183377 WITH SCORE 183836.726
AT ITER 6751 NEW BEST:: SOT 1350176 SOS 459746 HAS SOPS 459746 HAS SOUS 183316 HAS SOUPS 183316 WITH SCORE 183775.746
AT ITER 6805 NEW BEST:: SOT 1350164 SOS 459722 HAS SOPS 459722 HAS SOUS 183292 HAS SOUPS 183292 WITH SCORE 183751.722
AT ITER 6806 NEW BEST:: SOT 1350164 SOS 459722 HAS SOPS 459722 HAS SOUS 183290 HAS SOUPS 183290 WITH SCORE 183749.722
AT ITER 6807 NEW BEST:: SOT 1350178 SOS 459750 HAS SOPS 459750 HAS SOUS 183286 HAS SOUPS 183286 WITH SCORE 183745.75
AT ITER 6827 NEW BEST:: SOT 1350154 SOS 459726 HAS SOPS 459726 HAS SOUS 183274 HAS SOUPS 183274 WITH SCORE 183733.726
AT ITER 6846 NEW BEST:: SOT 1350061 SOS 459457 HAS SOPS 459457 HAS SOUS 183088 HAS SOUPS 183088 WITH SCORE 183547.457
AT ITER 6873 NEW BEST:: SOT 1350042 SOS 459419 HAS SOPS 459419 HAS SOUS 183050 HAS SOUPS 183050 WITH SCORE 183509.419
AT ITER 6889 NEW BEST:: SOT 1349997 SOS 459374 HAS SOPS 459374 HAS SOUS 182960 HAS SOUPS 182960 WITH SCORE 183419.374
AT ITER 6907 NEW BEST:: SOT 1349997 SOS 459042 HAS SOPS 459042 HAS SOUS 182960 HAS SOUPS 182960 WITH SCORE 183419.042
AT ITER 6926 NEW BEST:: SOT 1349957 SOS 458962 HAS SOPS 458962 HAS SOUS 182920 HAS SOUPS 182920 WITH SCORE 183378.962
AT ITER 6935 NEW BEST:: SOT 1349957 SOS 459370 HAS SOPS 459370 HAS SOUS 182906 HAS SOUPS 182906 WITH SCORE 183365.37
AT ITER 6956 NEW BEST:: SOT 1349910 SOS 459333 HAS SOPS 459333 HAS SOUS 182869 HAS SOUPS 182869 WITH SCORE 183328.333
AT ITER 6975 NEW BEST:: SOT 1349563 SOS 459020 HAS SOPS 459020 HAS SOUS 182631 HAS SOUPS 182631 WITH SCORE 183090.02
AT ITER 6981 NEW BEST:: SOT 1349563 SOS 459020 HAS SOPS 459020 HAS SOUS 182602 HAS SOUPS 182602 WITH SCORE 183061.02
AT ITER 7035 NEW BEST:: SOT 1349527 SOS 458948 HAS SOPS 458948 HAS SOUS 182566 HAS SOUPS 182566 WITH SCORE 183024.948
AT ITER 7068 NEW BEST:: SOT 1349470 SOS 458828 HAS SOPS 458828 HAS SOUS 182512 HAS SOUPS 182512 WITH SCORE 182970.828
AT ITER 7132 NEW BEST:: SOT 1349439 SOS 458766 HAS SOPS 458766 HAS SOUS 182416 HAS SOUPS 182416 WITH SCORE 182874.766
AT ITER 7147 NEW BEST:: SOT 1349438 SOS 458764 HAS SOPS 458764 HAS SOUS 182414 HAS SOUPS 182414 WITH SCORE 182872.764
AT ITER 7154 NEW BEST:: SOT 1349412 SOS 458767 HAS SOPS 458767 HAS SOUS 182388 HAS SOUPS 182388 WITH SCORE 182846.767
AT ITER 7160 NEW BEST:: SOT 1349415 SOS 458764 HAS SOPS 458764 HAS SOUS 182388 HAS SOUPS 182388 WITH SCORE 182846.764
AT ITER 7167 NEW BEST:: SOT 1349434 SOS 458631 HAS SOPS 458631 HAS SOUS 182369 HAS SOUPS 182369 WITH SCORE 182827.631
AT ITER 7168 NEW BEST:: SOT 1349333 SOS 458509 HAS SOPS 458509 HAS SOUS 182247 HAS SOUPS 182247 WITH SCORE 182705.509
AT ITER 7169 NEW BEST:: SOT 1348082 SOS 462628 HAS SOPS 462628 HAS SOUS 181729 HAS SOUPS 181729 WITH SCORE 182191.628
AT ITER 7208 NEW BEST:: SOT 1347971 SOS 462411 HAS SOPS 462411 HAS SOUS 181661 HAS SOUPS 181661 WITH SCORE 182123.411
AT ITER 7215 NEW BEST:: SOT 1347906 SOS 462473 HAS SOPS 462473 HAS SOUS 181628 HAS SOUPS 181628 WITH SCORE 182090.473
AT ITER 7245 NEW BEST:: SOT 1347909 SOS 462479 HAS SOPS 462479 HAS SOUS 181485 HAS SOUPS 181485 WITH SCORE 181947.479
AT ITER 7257 NEW BEST:: SOT 1347891 SOS 462443 HAS SOPS 462443 HAS SOUS 181479 HAS SOUPS 181479 WITH SCORE 181941.443
AT ITER 7288 NEW BEST:: SOT 1347891 SOS 462401 HAS SOPS 462401 HAS SOUS 181437 HAS SOUPS 181437 WITH SCORE 181899.401
AT ITER 7294 NEW BEST:: SOT 1347886 SOS 462391 HAS SOPS 462391 HAS SOUS 181427 HAS SOUPS 181427 WITH SCORE 181889.391
AT ITER 7304 NEW BEST:: SOT 1347858 SOS 462335 HAS SOPS 462335 HAS SOUS 181371 HAS SOUPS 181371 WITH SCORE 181833.335
AT ITER 7305 NEW BEST:: SOT 1347894 SOS 462199 HAS SOPS 462199 HAS SOUS 181362 HAS SOUPS 181362 WITH SCORE 181824.199
AT ITER 7330 NEW BEST:: SOT 1347865 SOS 462170 HAS SOPS 462170 HAS SOUS 181362 HAS SOUPS 181362 WITH SCORE 181824.17
AT ITER 7336 NEW BEST:: SOT 1347865 SOS 462170 HAS SOPS 462170 HAS SOUS 181350 HAS SOUPS 181350 WITH SCORE 181812.17
AT ITER 7348 NEW BEST:: SOT 1347865 SOS 462170 HAS SOPS 462170 HAS SOUS 181234 HAS SOUPS 181234 WITH SCORE 181696.17
AT ITER 7351 NEW BEST:: SOT 1347857 SOS 462154 HAS SOPS 462154 HAS SOUS 181218 HAS SOUPS 181218 WITH SCORE 181680.154
AT ITER 7376 NEW BEST:: SOT 1347893 SOS 462171 HAS SOPS 462171 HAS SOUS 181201 HAS SOUPS 181201 WITH SCORE 181663.171
AT ITER 7446 NEW BEST:: SOT 1347551 SOS 462007 HAS SOPS 462007 HAS SOUS 180945 HAS SOUPS 180945 WITH SCORE 181407.007
AT ITER 7447 NEW BEST:: SOT 1347422 SOS 463920 HAS SOPS 463920 HAS SOUS 180896 HAS SOUPS 180896 WITH SCORE 181359.92
AT ITER 7449 NEW BEST:: SOT 1347140 SOS 463708 HAS SOPS 463708 HAS SOUS 180596 HAS SOUPS 180596 WITH SCORE 181059.708
AT ITER 7458 NEW BEST:: SOT 1347060 SOS 463548 HAS SOPS 463548 HAS SOUS 180436 HAS SOUPS 180436 WITH SCORE 180899.548
AT ITER 7459 NEW BEST:: SOT 1347060 SOS 463463 HAS SOPS 463463 HAS SOUS 180436 HAS SOUPS 180436 WITH SCORE 180899.463
AT ITER 7471 NEW BEST:: SOT 1346908 SOS 463394 HAS SOPS 463394 HAS SOUS 180177 HAS SOUPS 180177 WITH SCORE 180640.394
AT ITER 7503 NEW BEST:: SOT 1346885 SOS 463348 HAS SOPS 463348 HAS SOUS 180038 HAS SOUPS 180038 WITH SCORE 180501.348
AT ITER 7519 NEW BEST:: SOT 1346787 SOS 463201 HAS SOPS 463201 HAS SOUS 179940 HAS SOUPS 179940 WITH SCORE 180403.201
AT ITER 7522 NEW BEST:: SOT 1346843 SOS 463200 HAS SOPS 463200 HAS SOUS 179939 HAS SOUPS 179939 WITH SCORE 180402.2
AT ITER 7540 NEW BEST:: SOT 1346788 SOS 463255 HAS SOPS 463255 HAS SOUS 179884 HAS SOUPS 179884 WITH SCORE 180347.255
AT ITER 7556 NEW BEST:: SOT 1346780 SOS 463239 HAS SOPS 463239 HAS SOUS 179876 HAS SOUPS 179876 WITH SCORE 180339.239
AT ITER 7570 NEW BEST:: SOT 1346778 SOS 463235 HAS SOPS 463235 HAS SOUS 179874 HAS SOUPS 179874 WITH SCORE 180337.235
AT ITER 7580 NEW BEST:: SOT 1346545 SOS 463002 HAS SOPS 463002 HAS SOUS 179678 HAS SOUPS 179678 WITH SCORE 180141.002
AT ITER 7582 NEW BEST:: SOT 1346554 SOS 463011 HAS SOPS 463011 HAS SOUS 179602 HAS SOUPS 179602 WITH SCORE 180065.011
AT ITER 7588 NEW BEST:: SOT 1346436 SOS 462775 HAS SOPS 462775 HAS SOUS 179484 HAS SOUPS 179484 WITH SCORE 179946.775
AT ITER 7601 NEW BEST:: SOT 1346412 SOS 462727 HAS SOPS 462727 HAS SOUS 179473 HAS SOUPS 179473 WITH SCORE 179935.727
AT ITER 7630 NEW BEST:: SOT 1343372 SOS 459687 HAS SOPS 459687 HAS SOUS 176969 HAS SOUPS 176969 WITH SCORE 177428.687
AT ITER 7633 NEW BEST:: SOT 1343372 SOS 459687 HAS SOPS 459687 HAS SOUS 176944 HAS SOUPS 176944 WITH SCORE 177403.687
AT ITER 7644 NEW BEST:: SOT 1343276 SOS 459591 HAS SOPS 459591 HAS SOUS 176848 HAS SOUPS 176848 WITH SCORE 177307.591
AT ITER 7660 NEW BEST:: SOT 1343276 SOS 459591 HAS SOPS 459591 HAS SOUS 176799 HAS SOUPS 176799 WITH SCORE 177258.591
AT ITER 7668 NEW BEST:: SOT 1343156 SOS 460065 HAS SOPS 460065 HAS SOUS 176679 HAS SOUPS 176679 WITH SCORE 177139.065
AT ITER 7689 NEW BEST:: SOT 1343172 SOS 459990 HAS SOPS 459990 HAS SOUS 176604 HAS SOUPS 176604 WITH SCORE 177063.99
AT ITER 7699 NEW BEST:: SOT 1343146 SOS 459992 HAS SOPS 459992 HAS SOUS 176603 HAS SOUPS 176603 WITH SCORE 177062.992
AT ITER 7718 NEW BEST:: SOT 1343146 SOS 459976 HAS SOPS 459976 HAS SOUS 176587 HAS SOUPS 176587 WITH SCORE 177046.976
AT ITER 7727 NEW BEST:: SOT 1343197 SOS 460046 HAS SOPS 460046 HAS SOUS 176513 HAS SOUPS 176513 WITH SCORE 176973.046
AT ITER 7742 NEW BEST:: SOT 1342876 SOS 459971 HAS SOPS 459971 HAS SOUS 176341 HAS SOUPS 176341 WITH SCORE 176800.971
AT ITER 7748 NEW BEST:: SOT 1342756 SOS 459824 HAS SOPS 459824 HAS SOUS 176147 HAS SOUPS 176147 WITH SCORE 176606.824
AT ITER 7776 NEW BEST:: SOT 1342637 SOS 460294 HAS SOPS 460294 HAS SOUS 176146 HAS SOUPS 176146 WITH SCORE 176606.294
AT ITER 7803 NEW BEST:: SOT 1342534 SOS 459894 HAS SOPS 459894 HAS SOUS 176133 HAS SOUPS 176133 WITH SCORE 176592.894
AT ITER 7806 NEW BEST:: SOT 1342525 SOS 459885 HAS SOPS 459885 HAS SOUS 176125 HAS SOUPS 176125 WITH SCORE 176584.885
AT ITER 7821 NEW BEST:: SOT 1342826 SOS 459491 HAS SOPS 459491 HAS SOUS 176063 HAS SOUPS 176063 WITH SCORE 176522.491
AT ITER 7845 NEW BEST:: SOT 1342826 SOS 459394 HAS SOPS 459394 HAS SOUS 175999 HAS SOUPS 175999 WITH SCORE 176458.394
AT ITER 7855 NEW BEST:: SOT 1342824 SOS 459392 HAS SOPS 459392 HAS SOUS 175997 HAS SOUPS 175997 WITH SCORE 176456.392
AT ITER 7860 NEW BEST:: SOT 1342847 SOS 459409 HAS SOPS 459409 HAS SOUS 175985 HAS SOUPS 175985 WITH SCORE 176444.409
AT ITER 7865 NEW BEST:: SOT 1342839 SOS 459393 HAS SOPS 459393 HAS SOUS 175969 HAS SOUPS 175969 WITH SCORE 176428.393
AT ITER 7895 NEW BEST:: SOT 1342838 SOS 459391 HAS SOPS 459391 HAS SOUS 175967 HAS SOUPS 175967 WITH SCORE 176426.391
AT ITER 7903 NEW BEST:: SOT 1342830 SOS 459392 HAS SOPS 459392 HAS SOUS 175951 HAS SOUPS 175951 WITH SCORE 176410.392
AT ITER 7980 NEW BEST:: SOT 1342690 SOS 459112 HAS SOPS 459112 HAS SOUS 175661 HAS SOUPS 175661 WITH SCORE 176120.112
AT ITER 7984 NEW BEST:: SOT 1342690 SOS 459120 HAS SOPS 459120 HAS SOUS 175639 HAS SOUPS 175639 WITH SCORE 176098.12
AT ITER 7992 NEW BEST:: SOT 1342580 SOS 458928 HAS SOPS 458928 HAS SOUS 175401 HAS SOUPS 175401 WITH SCORE 175859.928
AT ITER 7998 NEW BEST:: SOT 1342574 SOS 458758 HAS SOPS 458758 HAS SOUS 175300 HAS SOUPS 175300 WITH SCORE 175758.758
AT ITER 8014 NEW BEST:: SOT 1342418 SOS 458446 HAS SOPS 458446 HAS SOUS 175116 HAS SOUPS 175116 WITH SCORE 175574.446
AT ITER 8021 NEW BEST:: SOT 1342351 SOS 458379 HAS SOPS 458379 HAS SOUS 174995 HAS SOUPS 174995 WITH SCORE 175453.379
AT ITER 8036 NEW BEST:: SOT 1342051 SOS 458609 HAS SOPS 458609 HAS SOUS 174930 HAS SOUPS 174930 WITH SCORE 175388.609
AT ITER 8044 NEW BEST:: SOT 1342099 SOS 459041 HAS SOPS 459041 HAS SOUS 174920 HAS SOUPS 174920 WITH SCORE 175379.041
AT ITER 8053 NEW BEST:: SOT 1342076 SOS 459061 HAS SOPS 459061 HAS SOUS 174902 HAS SOUPS 174902 WITH SCORE 175361.061
AT ITER 8060 NEW BEST:: SOT 1342018 SOS 458945 HAS SOPS 458945 HAS SOUS 174889 HAS SOUPS 174889 WITH SCORE 175347.945
AT ITER 8068 NEW BEST:: SOT 1341999 SOS 459802 HAS SOPS 459802 HAS SOUS 174836 HAS SOUPS 174836 WITH SCORE 175295.802
AT ITER 8101 NEW BEST:: SOT 1341999 SOS 459685 HAS SOPS 459685 HAS SOUS 174836 HAS SOUPS 174836 WITH SCORE 175295.685
AT ITER 8139 NEW BEST:: SOT 1341990 SOS 459676 HAS SOPS 459676 HAS SOUS 174835 HAS SOUPS 174835 WITH SCORE 175294.676
AT ITER 8147 NEW BEST:: SOT 1341967 SOS 459630 HAS SOPS 459630 HAS SOUS 174784 HAS SOUPS 174784 WITH SCORE 175243.63
AT ITER 8167 NEW BEST:: SOT 1341925 SOS 459546 HAS SOPS 459546 HAS SOUS 174731 HAS SOUPS 174731 WITH SCORE 175190.546
AT ITER 8226 NEW BEST:: SOT 1341925 SOS 459546 HAS SOPS 459546 HAS SOUS 174665 HAS SOUPS 174665 WITH SCORE 175124.546
AT ITER 8227 NEW BEST:: SOT 1341925 SOS 459456 HAS SOPS 459456 HAS SOUS 174620 HAS SOUPS 174620 WITH SCORE 175079.456
AT ITER 8232 NEW BEST:: SOT 1341915 SOS 459446 HAS SOPS 459446 HAS SOUS 174610 HAS SOUPS 174610 WITH SCORE 175069.446
AT ITER 8238 NEW BEST:: SOT 1341854 SOS 459324 HAS SOPS 459324 HAS SOUS 174509 HAS SOUPS 174509 WITH SCORE 174968.324
AT ITER 8245 NEW BEST:: SOT 1341809 SOS 459329 HAS SOPS 459329 HAS SOUS 174464 HAS SOUPS 174464 WITH SCORE 174923.329
AT ITER 8269 NEW BEST:: SOT 1341767 SOS 459237 HAS SOPS 459237 HAS SOUS 174421 HAS SOUPS 174421 WITH SCORE 174880.237
AT ITER 8326 NEW BEST:: SOT 1341664 SOS 459031 HAS SOPS 459031 HAS SOUS 174318 HAS SOUPS 174318 WITH SCORE 174777.031
AT ITER 8327 NEW BEST:: SOT 1341664 SOS 459031 HAS SOPS 459031 HAS SOUS 174308 HAS SOUPS 174308 WITH SCORE 174767.031
AT ITER 8331 NEW BEST:: SOT 1341660 SOS 459023 HAS SOPS 459023 HAS SOUS 174300 HAS SOUPS 174300 WITH SCORE 174759.023
AT ITER 8348 NEW BEST:: SOT 1341583 SOS 458981 HAS SOPS 458981 HAS SOUS 174156 HAS SOUPS 174156 WITH SCORE 174614.981
AT ITER 8419 NEW BEST:: SOT 1341583 SOS 458877 HAS SOPS 458877 HAS SOUS 174070 HAS SOUPS 174070 WITH SCORE 174528.877
AT ITER 8459 NEW BEST:: SOT 1341580 SOS 458871 HAS SOPS 458871 HAS SOUS 174067 HAS SOUPS 174067 WITH SCORE 174525.871
AT ITER 8490 NEW BEST:: SOT 1341502 SOS 459050 HAS SOPS 459050 HAS SOUS 174056 HAS SOUPS 174056 WITH SCORE 174515.05
AT ITER 8512 NEW BEST:: SOT 1341488 SOS 459022 HAS SOPS 459022 HAS SOUS 174028 HAS SOUPS 174028 WITH SCORE 174487.022
AT ITER 8566 NEW BEST:: SOT 1341408 SOS 459466 HAS SOPS 459466 HAS SOUS 173868 HAS SOUPS 173868 WITH SCORE 174327.466
AT ITER 8576 NEW BEST:: SOT 1341336 SOS 459322 HAS SOPS 459322 HAS SOUS 173724 HAS SOUPS 173724 WITH SCORE 174183.322
AT ITER 8579 NEW BEST:: SOT 1341215 SOS 459030 HAS SOPS 459030 HAS SOUS 173432 HAS SOUPS 173432 WITH SCORE 173891.03
AT ITER 8592 NEW BEST:: SOT 1341233 SOS 459066 HAS SOPS 459066 HAS SOUS 173410 HAS SOUPS 173410 WITH SCORE 173869.066
AT ITER 8621 NEW BEST:: SOT 1341158 SOS 464117 HAS SOPS 464117 HAS SOUS 173348 HAS SOUPS 173348 WITH SCORE 173812.117
AT ITER 8631 NEW BEST:: SOT 1341158 SOS 464095 HAS SOPS 464095 HAS SOUS 173308 HAS SOUPS 173308 WITH SCORE 173772.095
AT ITER 8643 NEW BEST:: SOT 1341158 SOS 464070 HAS SOPS 464070 HAS SOUS 173303 HAS SOUPS 173303 WITH SCORE 173767.07
AT ITER 8644 NEW BEST:: SOT 1341143 SOS 464040 HAS SOPS 464040 HAS SOUS 173273 HAS SOUPS 173273 WITH SCORE 173737.04
AT ITER 8645 NEW BEST:: SOT 1341118 SOS 463990 HAS SOPS 463990 HAS SOUS 173182 HAS SOUPS 173182 WITH SCORE 173645.99
AT ITER 8664 NEW BEST:: SOT 1341104 SOS 463987 HAS SOPS 463987 HAS SOUS 173179 HAS SOUPS 173179 WITH SCORE 173642.987
AT ITER 8667 NEW BEST:: SOT 1341066 SOS 463968 HAS SOPS 463968 HAS SOUS 173065 HAS SOUPS 173065 WITH SCORE 173528.968
AT ITER 8681 NEW BEST:: SOT 1341060 SOS 463962 HAS SOPS 463962 HAS SOUS 173052 HAS SOUPS 173052 WITH SCORE 173515.962
AT ITER 8690 NEW BEST:: SOT 1341062 SOS 463966 HAS SOPS 463966 HAS SOUS 172993 HAS SOUPS 172993 WITH SCORE 173456.966
AT ITER 8698 NEW BEST:: SOT 1341083 SOS 463873 HAS SOPS 463873 HAS SOUS 172945 HAS SOUPS 172945 WITH SCORE 173408.873
AT ITER 8713 NEW BEST:: SOT 1340907 SOS 463521 HAS SOPS 463521 HAS SOUS 172742 HAS SOUPS 172742 WITH SCORE 173205.521
AT ITER 8720 NEW BEST:: SOT 1340907 SOS 463598 HAS SOPS 463598 HAS SOUS 172690 HAS SOUPS 172690 WITH SCORE 173153.598
AT ITER 8727 NEW BEST:: SOT 1340876 SOS 463536 HAS SOPS 463536 HAS SOUS 172634 HAS SOUPS 172634 WITH SCORE 173097.536
AT ITER 8729 NEW BEST:: SOT 1340875 SOS 463534 HAS SOPS 463534 HAS SOUS 172632 HAS SOUPS 172632 WITH SCORE 173095.534
AT ITER 8751 NEW BEST:: SOT 1340857 SOS 463480 HAS SOPS 463480 HAS SOUS 172587 HAS SOUPS 172587 WITH SCORE 173050.48
AT ITER 8754 NEW BEST:: SOT 1340732 SOS 463230 HAS SOPS 463230 HAS SOUS 172479 HAS SOUPS 172479 WITH SCORE 172942.23
AT ITER 8763 NEW BEST:: SOT 1340654 SOS 462509 HAS SOPS 462509 HAS SOUS 172414 HAS SOUPS 172414 WITH SCORE 172876.509
AT ITER 8789 NEW BEST:: SOT 1340654 SOS 462484 HAS SOPS 462484 HAS SOUS 172414 HAS SOUPS 172414 WITH SCORE 172876.484
AT ITER 8812 NEW BEST:: SOT 1340562 SOS 462282 HAS SOPS 462282 HAS SOUS 172248 HAS SOUPS 172248 WITH SCORE 172710.282
AT ITER 8818 NEW BEST:: SOT 1340516 SOS 462190 HAS SOPS 462190 HAS SOUS 172156 HAS SOUPS 172156 WITH SCORE 172618.19
AT ITER 8849 NEW BEST:: SOT 1340516 SOS 462183 HAS SOPS 462183 HAS SOUS 172149 HAS SOUPS 172149 WITH SCORE 172611.183
AT ITER 8864 NEW BEST:: SOT 1340566 SOS 461047 HAS SOPS 461047 HAS SOUS 172112 HAS SOUPS 172112 WITH SCORE 172573.047
AT ITER 8870 NEW BEST:: SOT 1340522 SOS 460992 HAS SOPS 460992 HAS SOUS 172024 HAS SOUPS 172024 WITH SCORE 172484.992
AT ITER 8874 NEW BEST:: SOT 1340508 SOS 460957 HAS SOPS 460957 HAS SOUS 172003 HAS SOUPS 172003 WITH SCORE 172463.957
AT ITER 8918 NEW BEST:: SOT 1340463 SOS 460942 HAS SOPS 460942 HAS SOUS 171973 HAS SOUPS 171973 WITH SCORE 172433.942
AT ITER 8939 NEW BEST:: SOT 1340463 SOS 460942 HAS SOPS 460942 HAS SOUS 171966 HAS SOUPS 171966 WITH SCORE 172426.942
AT ITER 8941 NEW BEST:: SOT 1340462 SOS 460940 HAS SOPS 460940 HAS SOUS 171964 HAS SOUPS 171964 WITH SCORE 172424.94
AT ITER 8958 NEW BEST:: SOT 1340438 SOS 460893 HAS SOPS 460893 HAS SOUS 171950 HAS SOUPS 171950 WITH SCORE 172410.893
AT ITER 8966 NEW BEST:: SOT 1340370 SOS 460842 HAS SOPS 460842 HAS SOUS 171838 HAS SOUPS 171838 WITH SCORE 172298.842
AT ITER 8970 NEW BEST:: SOT 1340299 SOS 460796 HAS SOPS 460796 HAS SOUS 171792 HAS SOUPS 171792 WITH SCORE 172252.796
AT ITER 9025 NEW BEST:: SOT 1340327 SOS 460852 HAS SOPS 460852 HAS SOUS 171725 HAS SOUPS 171725 WITH SCORE 172185.852
AT ITER 9029 NEW BEST:: SOT 1340287 SOS 460772 HAS SOPS 460772 HAS SOUS 171657 HAS SOUPS 171657 WITH SCORE 172117.772
AT ITER 9042 NEW BEST:: SOT 1340270 SOS 459935 HAS SOPS 459935 HAS SOUS 171356 HAS SOUPS 171356 WITH SCORE 171815.935
AT ITER 9048 NEW BEST:: SOT 1340143 SOS 468061 HAS SOPS 468061 HAS SOUS 171342 HAS SOUPS 171342 WITH SCORE 171810.061
AT ITER 9164 NEW BEST:: SOT 1340175 SOS 468125 HAS SOPS 468125 HAS SOUS 171324 HAS SOUPS 171324 WITH SCORE 171792.125
AT ITER 9178 NEW BEST:: SOT 1340163 SOS 467885 HAS SOPS 467885 HAS SOUS 171261 HAS SOUPS 171261 WITH SCORE 171728.885
AT ITER 9207 NEW BEST:: SOT 1340162 SOS 467886 HAS SOPS 467886 HAS SOUS 171260 HAS SOUPS 171260 WITH SCORE 171727.886
AT ITER 9220 NEW BEST:: SOT 1340154 SOS 468086 HAS SOPS 468086 HAS SOUS 171244 HAS SOUPS 171244 WITH SCORE 171712.086
AT ITER 9302 NEW BEST:: SOT 1340129 SOS 467924 HAS SOPS 467924 HAS SOUS 171194 HAS SOUPS 171194 WITH SCORE 171661.924
AT ITER 9303 NEW BEST:: SOT 1339967 SOS 468015 HAS SOPS 468015 HAS SOUS 171158 HAS SOUPS 171158 WITH SCORE 171626.015
AT ITER 9362 NEW BEST:: SOT 1339967 SOS 468015 HAS SOPS 468015 HAS SOUS 171157 HAS SOUPS 171157 WITH SCORE 171625.015
AT ITER 9368 NEW BEST:: SOT 1339933 SOS 467947 HAS SOPS 467947 HAS SOUS 171123 HAS SOUPS 171123 WITH SCORE 171590.947
AT ITER 9374 NEW BEST:: SOT 1339972 SOS 467985 HAS SOPS 467985 HAS SOUS 171121 HAS SOUPS 171121 WITH SCORE 171588.985
AT ITER 9378 NEW BEST:: SOT 1339376 SOS 470312 HAS SOPS 470312 HAS SOUS 170742 HAS SOUPS 170742 WITH SCORE 171212.312
AT ITER 9394 NEW BEST:: SOT 1339344 SOS 470170 HAS SOPS 470170 HAS SOUS 170678 HAS SOUPS 170678 WITH SCORE 171148.17
AT ITER 9420 NEW BEST:: SOT 1339395 SOS 470119 HAS SOPS 470119 HAS SOUS 170678 HAS SOUPS 170678 WITH SCORE 171148.119
AT ITER 9453 NEW BEST:: SOT 1339302 SOS 469933 HAS SOPS 469933 HAS SOUS 170492 HAS SOUPS 170492 WITH SCORE 170961.933
AT ITER 9454 NEW BEST:: SOT 1339298 SOS 469925 HAS SOPS 469925 HAS SOUS 170484 HAS SOUPS 170484 WITH SCORE 170953.925
AT ITER 9461 NEW BEST:: SOT 1339245 SOS 470031 HAS SOPS 470031 HAS SOUS 170483 HAS SOUPS 170483 WITH SCORE 170953.031
AT ITER 9465 NEW BEST:: SOT 1339245 SOS 470031 HAS SOPS 470031 HAS SOUS 170442 HAS SOUPS 170442 WITH SCORE 170912.031
AT ITER 9475 NEW BEST:: SOT 1339228 SOS 469997 HAS SOPS 469997 HAS SOUS 170390 HAS SOUPS 170390 WITH SCORE 170859.997
AT ITER 9487 NEW BEST:: SOT 1339050 SOS 470441 HAS SOPS 470441 HAS SOUS 170274 HAS SOUPS 170274 WITH SCORE 170744.441
AT ITER 9498 NEW BEST:: SOT 1339050 SOS 470451 HAS SOPS 470451 HAS SOUS 170259 HAS SOUPS 170259 WITH SCORE 170729.451
AT ITER 9562 NEW BEST:: SOT 1338964 SOS 470624 HAS SOPS 470624 HAS SOUS 170167 HAS SOUPS 170167 WITH SCORE 170637.624
AT ITER 9590 NEW BEST:: SOT 1338932 SOS 470592 HAS SOPS 470592 HAS SOUS 170135 HAS SOUPS 170135 WITH SCORE 170605.592
AT ITER 9598 NEW BEST:: SOT 1338914 SOS 470556 HAS SOPS 470556 HAS SOUS 170115 HAS SOUPS 170115 WITH SCORE 170585.556
AT ITER 9604 NEW BEST:: SOT 1338751 SOS 470604 HAS SOPS 470604 HAS SOUS 169615 HAS SOUPS 169615 WITH SCORE 170085.604
AT ITER 9605 NEW BEST:: SOT 1338733 SOS 470577 HAS SOPS 470577 HAS SOUS 169597 HAS SOUPS 169597 WITH SCORE 170067.577
AT ITER 9672 NEW BEST:: SOT 1338641 SOS 470508 HAS SOPS 470508 HAS SOUS 169505 HAS SOUPS 169505 WITH SCORE 169975.508
AT ITER 9675 NEW BEST:: SOT 1338633 SOS 470500 HAS SOPS 470500 HAS SOUS 169489 HAS SOUPS 169489 WITH SCORE 169959.5
AT ITER 9679 NEW BEST:: SOT 1338625 SOS 470484 HAS SOPS 470484 HAS SOUS 169481 HAS SOUPS 169481 WITH SCORE 169951.484
AT ITER 9688 NEW BEST:: SOT 1338611 SOS 470456 HAS SOPS 470456 HAS SOUS 169453 HAS SOUPS 169453 WITH SCORE 169923.456
AT ITER 9707 NEW BEST:: SOT 1338579 SOS 470392 HAS SOPS 470392 HAS SOUS 169389 HAS SOUPS 169389 WITH SCORE 169859.392
AT ITER 9718 NEW BEST:: SOT 1338595 SOS 470424 HAS SOPS 470424 HAS SOUS 169353 HAS SOUPS 169353 WITH SCORE 169823.424
AT ITER 9722 NEW BEST:: SOT 1338533 SOS 470118 HAS SOPS 470118 HAS SOUS 169229 HAS SOUPS 169229 WITH SCORE 169699.118
AT ITER 9730 NEW BEST:: SOT 1338507 SOS 470066 HAS SOPS 470066 HAS SOUS 169181 HAS SOUPS 169181 WITH SCORE 169651.066
AT ITER 9768 NEW BEST:: SOT 1338559 SOS 470170 HAS SOPS 470170 HAS SOUS 169167 HAS SOUPS 169167 WITH SCORE 169637.17
AT ITER 9774 NEW BEST:: SOT 1338535 SOS 470146 HAS SOPS 470146 HAS SOUS 169131 HAS SOUPS 169131 WITH SCORE 169601.146
AT ITER 9792 NEW BEST:: SOT 1338558 SOS 470076 HAS SOPS 470076 HAS SOUS 168945 HAS SOUPS 168945 WITH SCORE 169415.076
AT ITER 9828 NEW BEST:: SOT 1338548 SOS 470056 HAS SOPS 470056 HAS SOUS 168931 HAS SOUPS 168931 WITH SCORE 169401.056
AT ITER 9881 NEW BEST:: SOT 1338527 SOS 470036 HAS SOPS 470036 HAS SOUS 168911 HAS SOUPS 168911 WITH SCORE 169381.036
AT ITER 9895 NEW BEST:: SOT 1338519 SOS 470032 HAS SOPS 470032 HAS SOUS 168903 HAS SOUPS 168903 WITH SCORE 169373.032
AT ITER 9934 NEW BEST:: SOT 1338470 SOS 469983 HAS SOPS 469983 HAS SOUS 168903 HAS SOUPS 168903 WITH SCORE 169372.983
AT ITER 9962 NEW BEST:: SOT 1338571 SOS 470074 HAS SOPS 470074 HAS SOUS 168812 HAS SOUPS 168812 WITH SCORE 169282.074
AT ITER 9986 NEW BEST:: SOT 1338535 SOS 470154 HAS SOPS 470154 HAS SOUS 168740 HAS SOUPS 168740 WITH SCORE 169210.154

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="CloudDeployment-PT-4b"
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 CloudDeployment-PT-4b, 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 r033-smll-158901926000312"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-4b.tgz
mv CloudDeployment-PT-4b execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;