fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r224-oct2-159033538400128
Last Updated
Jun 28, 2020

About the Execution of smart for SmartHome-PT-16

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15767.930 3600000.00 3587040.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538400128.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 SmartHome-PT-16, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538400128
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 284K
-rw-r--r-- 1 mcc users 3.4K May 14 03:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 03:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 21:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 21:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 10:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 10:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 120K May 12 20:42 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 1590469791974

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

Filename model.pnml
Petri model created: 499 places, 533 transitions, 1222 arcs.
AT ITER 0 NEW BEST:: SOT 157221 SOS 35977 HAS SOPS 35977 HAS SOUS 35133 HAS SOUPS 35133 WITH SCORE 35168.977
AT ITER 25 NEW BEST:: SOT 157201 SOS 35937 HAS SOPS 35937 HAS SOUS 35093 HAS SOUPS 35093 WITH SCORE 35128.937
AT ITER 34 NEW BEST:: SOT 157175 SOS 35885 HAS SOPS 35885 HAS SOUS 35029 HAS SOUPS 35029 WITH SCORE 35064.885
AT ITER 39 NEW BEST:: SOT 157092 SOS 35781 HAS SOPS 35781 HAS SOUS 34923 HAS SOUPS 34923 WITH SCORE 34958.781
AT ITER 40 NEW BEST:: SOT 156179 SOS 35493 HAS SOPS 35493 HAS SOUS 34161 HAS SOUPS 34161 WITH SCORE 34196.493
AT ITER 42 NEW BEST:: SOT 154986 SOS 36443 HAS SOPS 36443 HAS SOUS 33155 HAS SOUPS 33155 WITH SCORE 33191.443
AT ITER 46 NEW BEST:: SOT 154919 SOS 36374 HAS SOPS 36374 HAS SOUS 33088 HAS SOUPS 33088 WITH SCORE 33124.374
AT ITER 51 NEW BEST:: SOT 154935 SOS 36369 HAS SOPS 36369 HAS SOUS 33058 HAS SOUPS 33058 WITH SCORE 33094.369
AT ITER 52 NEW BEST:: SOT 154134 SOS 35937 HAS SOPS 35937 HAS SOUS 32255 HAS SOUPS 32255 WITH SCORE 32290.937
AT ITER 53 NEW BEST:: SOT 153986 SOS 35863 HAS SOPS 35863 HAS SOUS 32181 HAS SOUPS 32181 WITH SCORE 32216.863
AT ITER 56 NEW BEST:: SOT 153513 SOS 36841 HAS SOPS 36841 HAS SOUS 32009 HAS SOUPS 32009 WITH SCORE 32045.841
AT ITER 61 NEW BEST:: SOT 153523 SOS 36837 HAS SOPS 36837 HAS SOUS 32005 HAS SOUPS 32005 WITH SCORE 32041.837
AT ITER 63 NEW BEST:: SOT 153667 SOS 36839 HAS SOPS 36839 HAS SOUS 31961 HAS SOUPS 31961 WITH SCORE 31997.839
AT ITER 70 NEW BEST:: SOT 153658 SOS 36820 HAS SOPS 36820 HAS SOUS 31942 HAS SOUPS 31942 WITH SCORE 31978.82
AT ITER 73 NEW BEST:: SOT 153655 SOS 36793 HAS SOPS 36793 HAS SOUS 31915 HAS SOUPS 31915 WITH SCORE 31951.793
AT ITER 77 NEW BEST:: SOT 153519 SOS 37439 HAS SOPS 37439 HAS SOUS 31779 HAS SOUPS 31779 WITH SCORE 31816.439
AT ITER 80 NEW BEST:: SOT 153458 SOS 37317 HAS SOPS 37317 HAS SOUS 31731 HAS SOUPS 31731 WITH SCORE 31768.317
AT ITER 84 NEW BEST:: SOT 153455 SOS 37314 HAS SOPS 37314 HAS SOUS 31731 HAS SOUPS 31731 WITH SCORE 31768.314
AT ITER 91 NEW BEST:: SOT 153455 SOS 37308 HAS SOPS 37308 HAS SOUS 31725 HAS SOUPS 31725 WITH SCORE 31762.308
AT ITER 96 NEW BEST:: SOT 153432 SOS 37262 HAS SOPS 37262 HAS SOUS 31684 HAS SOUPS 31684 WITH SCORE 31721.262
AT ITER 105 NEW BEST:: SOT 152685 SOS 37349 HAS SOPS 37349 HAS SOUS 31021 HAS SOUPS 31021 WITH SCORE 31058.349
AT ITER 116 NEW BEST:: SOT 152636 SOS 37251 HAS SOPS 37251 HAS SOUS 30995 HAS SOUPS 30995 WITH SCORE 31032.251
AT ITER 135 NEW BEST:: SOT 152603 SOS 37185 HAS SOPS 37185 HAS SOUS 30962 HAS SOUPS 30962 WITH SCORE 30999.185
AT ITER 140 NEW BEST:: SOT 152578 SOS 37135 HAS SOPS 37135 HAS SOUS 30962 HAS SOUPS 30962 WITH SCORE 30999.135
AT ITER 141 NEW BEST:: SOT 152515 SOS 37072 HAS SOPS 37072 HAS SOUS 30952 HAS SOUPS 30952 WITH SCORE 30989.072
AT ITER 146 NEW BEST:: SOT 152494 SOS 36264 HAS SOPS 36264 HAS SOUS 30928 HAS SOUPS 30928 WITH SCORE 30964.264
AT ITER 150 NEW BEST:: SOT 152516 SOS 36238 HAS SOPS 36238 HAS SOUS 30926 HAS SOUPS 30926 WITH SCORE 30962.238
AT ITER 165 NEW BEST:: SOT 152472 SOS 36150 HAS SOPS 36150 HAS SOUS 30881 HAS SOUPS 30881 WITH SCORE 30917.15
AT ITER 176 NEW BEST:: SOT 152472 SOS 36133 HAS SOPS 36133 HAS SOUS 30881 HAS SOUPS 30881 WITH SCORE 30917.133
AT ITER 183 NEW BEST:: SOT 152310 SOS 35971 HAS SOPS 35971 HAS SOUS 30821 HAS SOUPS 30821 WITH SCORE 30856.971
AT ITER 184 NEW BEST:: SOT 152295 SOS 35956 HAS SOPS 35956 HAS SOUS 30806 HAS SOUPS 30806 WITH SCORE 30841.956
AT ITER 188 NEW BEST:: SOT 152277 SOS 35938 HAS SOPS 35938 HAS SOUS 30788 HAS SOUPS 30788 WITH SCORE 30823.938
AT ITER 201 NEW BEST:: SOT 152277 SOS 35904 HAS SOPS 35904 HAS SOUS 30754 HAS SOUPS 30754 WITH SCORE 30789.904
AT ITER 219 NEW BEST:: SOT 152086 SOS 36588 HAS SOPS 36588 HAS SOUS 30715 HAS SOUPS 30715 WITH SCORE 30751.588
AT ITER 233 NEW BEST:: SOT 152086 SOS 36535 HAS SOPS 36535 HAS SOUS 30662 HAS SOUPS 30662 WITH SCORE 30698.535
AT ITER 235 NEW BEST:: SOT 152079 SOS 36528 HAS SOPS 36528 HAS SOUS 30655 HAS SOUPS 30655 WITH SCORE 30691.528
AT ITER 239 NEW BEST:: SOT 152175 SOS 36601 HAS SOPS 36601 HAS SOUS 30649 HAS SOUPS 30649 WITH SCORE 30685.601
AT ITER 244 NEW BEST:: SOT 152175 SOS 36601 HAS SOPS 36601 HAS SOUS 30642 HAS SOUPS 30642 WITH SCORE 30678.601
AT ITER 247 NEW BEST:: SOT 152189 SOS 36596 HAS SOPS 36596 HAS SOUS 30637 HAS SOUPS 30637 WITH SCORE 30673.596
AT ITER 254 NEW BEST:: SOT 152203 SOS 36568 HAS SOPS 36568 HAS SOUS 30637 HAS SOUPS 30637 WITH SCORE 30673.568
AT ITER 276 NEW BEST:: SOT 152215 SOS 36592 HAS SOPS 36592 HAS SOUS 30633 HAS SOUPS 30633 WITH SCORE 30669.592
AT ITER 279 NEW BEST:: SOT 152165 SOS 36542 HAS SOPS 36542 HAS SOUS 30583 HAS SOUPS 30583 WITH SCORE 30619.542
AT ITER 297 NEW BEST:: SOT 152150 SOS 36668 HAS SOPS 36668 HAS SOUS 30560 HAS SOUPS 30560 WITH SCORE 30596.668
AT ITER 298 NEW BEST:: SOT 152049 SOS 37865 HAS SOPS 37865 HAS SOUS 30556 HAS SOUPS 30556 WITH SCORE 30593.865
AT ITER 301 NEW BEST:: SOT 152041 SOS 37849 HAS SOPS 37849 HAS SOUS 30555 HAS SOUPS 30555 WITH SCORE 30592.849
AT ITER 304 NEW BEST:: SOT 152004 SOS 37851 HAS SOPS 37851 HAS SOUS 30547 HAS SOUPS 30547 WITH SCORE 30584.851
AT ITER 325 NEW BEST:: SOT 151979 SOS 37735 HAS SOPS 37735 HAS SOUS 30465 HAS SOUPS 30465 WITH SCORE 30502.735
AT ITER 326 NEW BEST:: SOT 151922 SOS 37621 HAS SOPS 37621 HAS SOUS 30351 HAS SOUPS 30351 WITH SCORE 30388.621
AT ITER 337 NEW BEST:: SOT 151900 SOS 37577 HAS SOPS 37577 HAS SOUS 30329 HAS SOUPS 30329 WITH SCORE 30366.577
AT ITER 344 NEW BEST:: SOT 151899 SOS 37491 HAS SOPS 37491 HAS SOUS 30327 HAS SOUPS 30327 WITH SCORE 30364.491
AT ITER 348 NEW BEST:: SOT 151875 SOS 37448 HAS SOPS 37448 HAS SOUS 30308 HAS SOUPS 30308 WITH SCORE 30345.448
AT ITER 356 NEW BEST:: SOT 152204 SOS 37444 HAS SOPS 37444 HAS SOUS 30109 HAS SOUPS 30109 WITH SCORE 30146.444
AT ITER 363 NEW BEST:: SOT 152129 SOS 37400 HAS SOPS 37400 HAS SOUS 30075 HAS SOUPS 30075 WITH SCORE 30112.4
AT ITER 364 NEW BEST:: SOT 152143 SOS 37386 HAS SOPS 37386 HAS SOUS 30075 HAS SOUPS 30075 WITH SCORE 30112.386
AT ITER 366 NEW BEST:: SOT 152143 SOS 37384 HAS SOPS 37384 HAS SOUS 30073 HAS SOUPS 30073 WITH SCORE 30110.384
AT ITER 370 NEW BEST:: SOT 152260 SOS 37444 HAS SOPS 37444 HAS SOUS 30048 HAS SOUPS 30048 WITH SCORE 30085.444
AT ITER 375 NEW BEST:: SOT 152260 SOS 37430 HAS SOPS 37430 HAS SOUS 30048 HAS SOUPS 30048 WITH SCORE 30085.43
AT ITER 382 NEW BEST:: SOT 152243 SOS 37396 HAS SOPS 37396 HAS SOUS 30014 HAS SOUPS 30014 WITH SCORE 30051.396
AT ITER 390 NEW BEST:: SOT 152072 SOS 38260 HAS SOPS 38260 HAS SOUS 29963 HAS SOUPS 29963 WITH SCORE 30001.26
AT ITER 403 NEW BEST:: SOT 151969 SOS 38192 HAS SOPS 38192 HAS SOUS 29878 HAS SOUPS 29878 WITH SCORE 29916.192
AT ITER 417 NEW BEST:: SOT 151903 SOS 38126 HAS SOPS 38126 HAS SOUS 29812 HAS SOUPS 29812 WITH SCORE 29850.126
AT ITER 437 NEW BEST:: SOT 151137 SOS 38904 HAS SOPS 38904 HAS SOUS 29472 HAS SOUPS 29472 WITH SCORE 29510.904
AT ITER 452 NEW BEST:: SOT 151144 SOS 38843 HAS SOPS 38843 HAS SOUS 29411 HAS SOUPS 29411 WITH SCORE 29449.843
AT ITER 459 NEW BEST:: SOT 151144 SOS 38788 HAS SOPS 38788 HAS SOUS 29411 HAS SOUPS 29411 WITH SCORE 29449.788
AT ITER 462 NEW BEST:: SOT 151138 SOS 38782 HAS SOPS 38782 HAS SOUS 29405 HAS SOUPS 29405 WITH SCORE 29443.782
AT ITER 476 NEW BEST:: SOT 151118 SOS 38742 HAS SOPS 38742 HAS SOUS 29361 HAS SOUPS 29361 WITH SCORE 29399.742
AT ITER 487 NEW BEST:: SOT 151075 SOS 38708 HAS SOPS 38708 HAS SOUS 29323 HAS SOUPS 29323 WITH SCORE 29361.708
AT ITER 521 NEW BEST:: SOT 151033 SOS 38655 HAS SOPS 38655 HAS SOUS 29303 HAS SOUPS 29303 WITH SCORE 29341.655
AT ITER 530 NEW BEST:: SOT 151031 SOS 38653 HAS SOPS 38653 HAS SOUS 29297 HAS SOUPS 29297 WITH SCORE 29335.653
AT ITER 542 NEW BEST:: SOT 151031 SOS 38650 HAS SOPS 38650 HAS SOUS 29294 HAS SOUPS 29294 WITH SCORE 29332.65
AT ITER 563 NEW BEST:: SOT 150991 SOS 38604 HAS SOPS 38604 HAS SOUS 29283 HAS SOUPS 29283 WITH SCORE 29321.604
AT ITER 571 NEW BEST:: SOT 150954 SOS 38544 HAS SOPS 38544 HAS SOUS 29260 HAS SOUPS 29260 WITH SCORE 29298.544
AT ITER 573 NEW BEST:: SOT 150976 SOS 38566 HAS SOPS 38566 HAS SOUS 29238 HAS SOUPS 29238 WITH SCORE 29276.566
AT ITER 576 NEW BEST:: SOT 150972 SOS 38531 HAS SOPS 38531 HAS SOUS 29207 HAS SOUPS 29207 WITH SCORE 29245.531
AT ITER 593 NEW BEST:: SOT 150972 SOS 38498 HAS SOPS 38498 HAS SOUS 29174 HAS SOUPS 29174 WITH SCORE 29212.498
AT ITER 596 NEW BEST:: SOT 150934 SOS 38495 HAS SOPS 38495 HAS SOUS 29141 HAS SOUPS 29141 WITH SCORE 29179.495
AT ITER 601 NEW BEST:: SOT 150946 SOS 38425 HAS SOPS 38425 HAS SOUS 29088 HAS SOUPS 29088 WITH SCORE 29126.425
AT ITER 619 NEW BEST:: SOT 150935 SOS 38403 HAS SOPS 38403 HAS SOUS 29066 HAS SOUPS 29066 WITH SCORE 29104.403
AT ITER 622 NEW BEST:: SOT 150927 SOS 38391 HAS SOPS 38391 HAS SOUS 29058 HAS SOUPS 29058 WITH SCORE 29096.391
AT ITER 623 NEW BEST:: SOT 150900 SOS 38337 HAS SOPS 38337 HAS SOUS 29004 HAS SOUPS 29004 WITH SCORE 29042.337
AT ITER 632 NEW BEST:: SOT 150891 SOS 38328 HAS SOPS 38328 HAS SOUS 28987 HAS SOUPS 28987 WITH SCORE 29025.328
AT ITER 642 NEW BEST:: SOT 150869 SOS 38256 HAS SOPS 38256 HAS SOUS 28965 HAS SOUPS 28965 WITH SCORE 29003.256
AT ITER 674 NEW BEST:: SOT 150844 SOS 38206 HAS SOPS 38206 HAS SOUS 28899 HAS SOUPS 28899 WITH SCORE 28937.206
AT ITER 679 NEW BEST:: SOT 150774 SOS 38066 HAS SOPS 38066 HAS SOUS 28794 HAS SOUPS 28794 WITH SCORE 28832.066
AT ITER 681 NEW BEST:: SOT 150681 SOS 37807 HAS SOPS 37807 HAS SOUS 28579 HAS SOUPS 28579 WITH SCORE 28616.807
AT ITER 701 NEW BEST:: SOT 150692 SOS 37783 HAS SOPS 37783 HAS SOUS 28569 HAS SOUPS 28569 WITH SCORE 28606.783
AT ITER 708 NEW BEST:: SOT 150692 SOS 37752 HAS SOPS 37752 HAS SOUS 28569 HAS SOUPS 28569 WITH SCORE 28606.752
AT ITER 727 NEW BEST:: SOT 150692 SOS 37752 HAS SOPS 37752 HAS SOUS 28564 HAS SOUPS 28564 WITH SCORE 28601.752
AT ITER 735 NEW BEST:: SOT 150615 SOS 37761 HAS SOPS 37761 HAS SOUS 28536 HAS SOUPS 28536 WITH SCORE 28573.761
AT ITER 742 NEW BEST:: SOT 150569 SOS 37728 HAS SOPS 37728 HAS SOUS 28503 HAS SOUPS 28503 WITH SCORE 28540.728
AT ITER 757 NEW BEST:: SOT 150504 SOS 37589 HAS SOPS 37589 HAS SOUS 28497 HAS SOUPS 28497 WITH SCORE 28534.589
AT ITER 760 NEW BEST:: SOT 150504 SOS 37589 HAS SOPS 37589 HAS SOUS 28488 HAS SOUPS 28488 WITH SCORE 28525.589
AT ITER 767 NEW BEST:: SOT 150477 SOS 37492 HAS SOPS 37492 HAS SOUS 28463 HAS SOUPS 28463 WITH SCORE 28500.492
AT ITER 774 NEW BEST:: SOT 150452 SOS 37442 HAS SOPS 37442 HAS SOUS 28429 HAS SOUPS 28429 WITH SCORE 28466.442
AT ITER 826 NEW BEST:: SOT 150500 SOS 37538 HAS SOPS 37538 HAS SOUS 28425 HAS SOUPS 28425 WITH SCORE 28462.538
AT ITER 827 NEW BEST:: SOT 150499 SOS 37536 HAS SOPS 37536 HAS SOUS 28423 HAS SOUPS 28423 WITH SCORE 28460.536
AT ITER 831 NEW BEST:: SOT 150499 SOS 37519 HAS SOPS 37519 HAS SOUS 28406 HAS SOUPS 28406 WITH SCORE 28443.519
AT ITER 840 NEW BEST:: SOT 150495 SOS 37511 HAS SOPS 37511 HAS SOUS 28398 HAS SOUPS 28398 WITH SCORE 28435.511
AT ITER 859 NEW BEST:: SOT 150487 SOS 37481 HAS SOPS 37481 HAS SOUS 28396 HAS SOUPS 28396 WITH SCORE 28433.481
AT ITER 862 NEW BEST:: SOT 150841 SOS 37685 HAS SOPS 37685 HAS SOUS 28358 HAS SOUPS 28358 WITH SCORE 28395.685
AT ITER 878 NEW BEST:: SOT 150805 SOS 37613 HAS SOPS 37613 HAS SOUS 28358 HAS SOUPS 28358 WITH SCORE 28395.613
AT ITER 882 NEW BEST:: SOT 150767 SOS 37537 HAS SOPS 37537 HAS SOUS 28320 HAS SOUPS 28320 WITH SCORE 28357.537
AT ITER 897 NEW BEST:: SOT 150763 SOS 37529 HAS SOPS 37529 HAS SOUS 28312 HAS SOUPS 28312 WITH SCORE 28349.529
AT ITER 906 NEW BEST:: SOT 150844 SOS 36633 HAS SOPS 36633 HAS SOUS 28292 HAS SOUPS 28292 WITH SCORE 28328.633
AT ITER 922 NEW BEST:: SOT 150701 SOS 36347 HAS SOPS 36347 HAS SOUS 28160 HAS SOUPS 28160 WITH SCORE 28196.347
AT ITER 927 NEW BEST:: SOT 150625 SOS 36233 HAS SOPS 36233 HAS SOUS 28122 HAS SOUPS 28122 WITH SCORE 28158.233
AT ITER 943 NEW BEST:: SOT 150734 SOS 36189 HAS SOPS 36189 HAS SOUS 28078 HAS SOUPS 28078 WITH SCORE 28114.189
AT ITER 948 NEW BEST:: SOT 150760 SOS 36086 HAS SOPS 36086 HAS SOUS 28056 HAS SOUPS 28056 WITH SCORE 28092.086
AT ITER 950 NEW BEST:: SOT 150756 SOS 36178 HAS SOPS 36178 HAS SOUS 28041 HAS SOUPS 28041 WITH SCORE 28077.178
AT ITER 973 NEW BEST:: SOT 150750 SOS 36169 HAS SOPS 36169 HAS SOUS 28003 HAS SOUPS 28003 WITH SCORE 28039.169
AT ITER 1019 NEW BEST:: SOT 150748 SOS 36184 HAS SOPS 36184 HAS SOUS 28001 HAS SOUPS 28001 WITH SCORE 28037.184
AT ITER 1044 NEW BEST:: SOT 150747 SOS 36183 HAS SOPS 36183 HAS SOUS 28000 HAS SOUPS 28000 WITH SCORE 28036.183
AT ITER 1045 NEW BEST:: SOT 150726 SOS 36162 HAS SOPS 36162 HAS SOUS 27979 HAS SOUPS 27979 WITH SCORE 28015.162
AT ITER 1054 NEW BEST:: SOT 150685 SOS 36077 HAS SOPS 36077 HAS SOUS 27894 HAS SOUPS 27894 WITH SCORE 27930.077
AT ITER 1055 NEW BEST:: SOT 150583 SOS 35957 HAS SOPS 35957 HAS SOUS 27792 HAS SOUPS 27792 WITH SCORE 27827.957
AT ITER 1061 NEW BEST:: SOT 150583 SOS 35931 HAS SOPS 35931 HAS SOUS 27792 HAS SOUPS 27792 WITH SCORE 27827.931
AT ITER 1085 NEW BEST:: SOT 150583 SOS 35919 HAS SOPS 35919 HAS SOUS 27792 HAS SOUPS 27792 WITH SCORE 27827.919
AT ITER 1086 NEW BEST:: SOT 150575 SOS 35911 HAS SOPS 35911 HAS SOUS 27792 HAS SOUPS 27792 WITH SCORE 27827.911
AT ITER 1099 NEW BEST:: SOT 150310 SOS 36362 HAS SOPS 36362 HAS SOUS 27604 HAS SOUPS 27604 WITH SCORE 27640.362
AT ITER 1105 NEW BEST:: SOT 150299 SOS 36340 HAS SOPS 36340 HAS SOUS 27582 HAS SOUPS 27582 WITH SCORE 27618.34
AT ITER 1110 NEW BEST:: SOT 150299 SOS 36302 HAS SOPS 36302 HAS SOUS 27544 HAS SOUPS 27544 WITH SCORE 27580.302
AT ITER 1114 NEW BEST:: SOT 150299 SOS 36288 HAS SOPS 36288 HAS SOUS 27530 HAS SOUPS 27530 WITH SCORE 27566.288
AT ITER 1121 NEW BEST:: SOT 150291 SOS 36272 HAS SOPS 36272 HAS SOUS 27508 HAS SOUPS 27508 WITH SCORE 27544.272
AT ITER 1125 NEW BEST:: SOT 150288 SOS 36276 HAS SOPS 36276 HAS SOUS 27493 HAS SOUPS 27493 WITH SCORE 27529.276
AT ITER 1157 NEW BEST:: SOT 150237 SOS 36261 HAS SOPS 36261 HAS SOUS 27478 HAS SOUPS 27478 WITH SCORE 27514.261
AT ITER 1168 NEW BEST:: SOT 150215 SOS 36239 HAS SOPS 36239 HAS SOUS 27456 HAS SOUPS 27456 WITH SCORE 27492.239
AT ITER 1178 NEW BEST:: SOT 150156 SOS 36288 HAS SOPS 36288 HAS SOUS 27374 HAS SOUPS 27374 WITH SCORE 27410.288
AT ITER 1198 NEW BEST:: SOT 150143 SOS 36262 HAS SOPS 36262 HAS SOUS 27348 HAS SOUPS 27348 WITH SCORE 27384.262
AT ITER 1214 NEW BEST:: SOT 150038 SOS 36069 HAS SOPS 36069 HAS SOUS 27252 HAS SOUPS 27252 WITH SCORE 27288.069
AT ITER 1216 NEW BEST:: SOT 150038 SOS 36053 HAS SOPS 36053 HAS SOUS 27236 HAS SOUPS 27236 WITH SCORE 27272.053
AT ITER 1217 NEW BEST:: SOT 150005 SOS 35987 HAS SOPS 35987 HAS SOUS 27170 HAS SOUPS 27170 WITH SCORE 27205.987
AT ITER 1226 NEW BEST:: SOT 149900 SOS 36209 HAS SOPS 36209 HAS SOUS 27101 HAS SOUPS 27101 WITH SCORE 27137.209
AT ITER 1232 NEW BEST:: SOT 149837 SOS 36083 HAS SOPS 36083 HAS SOUS 27038 HAS SOUPS 27038 WITH SCORE 27074.083
AT ITER 1235 NEW BEST:: SOT 149841 SOS 36170 HAS SOPS 36170 HAS SOUS 27032 HAS SOUPS 27032 WITH SCORE 27068.17
AT ITER 1245 NEW BEST:: SOT 149695 SOS 36065 HAS SOPS 36065 HAS SOUS 26986 HAS SOUPS 26986 WITH SCORE 27022.065
AT ITER 1248 NEW BEST:: SOT 149760 SOS 36063 HAS SOPS 36063 HAS SOUS 26984 HAS SOUPS 26984 WITH SCORE 27020.063
AT ITER 1255 NEW BEST:: SOT 149779 SOS 35946 HAS SOPS 35946 HAS SOUS 26973 HAS SOUPS 26973 WITH SCORE 27008.946
AT ITER 1298 NEW BEST:: SOT 149758 SOS 35903 HAS SOPS 35903 HAS SOUS 26930 HAS SOUPS 26930 WITH SCORE 26965.903
AT ITER 1301 NEW BEST:: SOT 149736 SOS 35873 HAS SOPS 35873 HAS SOUS 26908 HAS SOUPS 26908 WITH SCORE 26943.873
AT ITER 1316 NEW BEST:: SOT 149761 SOS 35873 HAS SOPS 35873 HAS SOUS 26883 HAS SOUPS 26883 WITH SCORE 26918.873
AT ITER 1329 NEW BEST:: SOT 149741 SOS 35796 HAS SOPS 35796 HAS SOUS 26789 HAS SOUPS 26789 WITH SCORE 26824.796
AT ITER 1334 NEW BEST:: SOT 149741 SOS 35745 HAS SOPS 35745 HAS SOUS 26738 HAS SOUPS 26738 WITH SCORE 26773.745
AT ITER 1350 NEW BEST:: SOT 149741 SOS 35745 HAS SOPS 35745 HAS SOUS 26687 HAS SOUPS 26687 WITH SCORE 26722.745
AT ITER 1356 NEW BEST:: SOT 149748 SOS 35704 HAS SOPS 35704 HAS SOUS 26670 HAS SOUPS 26670 WITH SCORE 26705.704
AT ITER 1367 NEW BEST:: SOT 149769 SOS 35673 HAS SOPS 35673 HAS SOUS 26649 HAS SOUPS 26649 WITH SCORE 26684.673
AT ITER 1415 NEW BEST:: SOT 149701 SOS 35385 HAS SOPS 35385 HAS SOUS 26440 HAS SOUPS 26440 WITH SCORE 26475.385
AT ITER 1430 NEW BEST:: SOT 149687 SOS 35371 HAS SOPS 35371 HAS SOUS 26440 HAS SOUPS 26440 WITH SCORE 26475.371
AT ITER 1442 NEW BEST:: SOT 149693 SOS 35333 HAS SOPS 35333 HAS SOUS 26402 HAS SOUPS 26402 WITH SCORE 26437.333
AT ITER 1465 NEW BEST:: SOT 149628 SOS 35258 HAS SOPS 35258 HAS SOUS 26327 HAS SOUPS 26327 WITH SCORE 26362.258
AT ITER 1472 NEW BEST:: SOT 149494 SOS 35168 HAS SOPS 35168 HAS SOUS 26266 HAS SOUPS 26266 WITH SCORE 26301.168
AT ITER 1489 NEW BEST:: SOT 148672 SOS 37170 HAS SOPS 37170 HAS SOUS 25858 HAS SOUPS 25858 WITH SCORE 25895.17
AT ITER 1510 NEW BEST:: SOT 148618 SOS 37116 HAS SOPS 37116 HAS SOUS 25842 HAS SOUPS 25842 WITH SCORE 25879.116
AT ITER 1540 NEW BEST:: SOT 148520 SOS 37018 HAS SOPS 37018 HAS SOUS 25772 HAS SOUPS 25772 WITH SCORE 25809.018
AT ITER 1541 NEW BEST:: SOT 148571 SOS 36991 HAS SOPS 36991 HAS SOUS 25711 HAS SOUPS 25711 WITH SCORE 25747.991
AT ITER 1545 NEW BEST:: SOT 148444 SOS 36737 HAS SOPS 36737 HAS SOUS 25591 HAS SOUPS 25591 WITH SCORE 25627.737
AT ITER 1576 NEW BEST:: SOT 148405 SOS 36690 HAS SOPS 36690 HAS SOUS 25544 HAS SOUPS 25544 WITH SCORE 25580.69
AT ITER 1582 NEW BEST:: SOT 148388 SOS 36656 HAS SOPS 36656 HAS SOUS 25487 HAS SOUPS 25487 WITH SCORE 25523.656
AT ITER 1590 NEW BEST:: SOT 148310 SOS 36578 HAS SOPS 36578 HAS SOUS 25487 HAS SOUPS 25487 WITH SCORE 25523.578
AT ITER 1597 NEW BEST:: SOT 148357 SOS 36535 HAS SOPS 36535 HAS SOUS 25444 HAS SOUPS 25444 WITH SCORE 25480.535
AT ITER 1598 NEW BEST:: SOT 148357 SOS 36531 HAS SOPS 36531 HAS SOUS 25444 HAS SOUPS 25444 WITH SCORE 25480.531
AT ITER 1611 NEW BEST:: SOT 148351 SOS 36528 HAS SOPS 36528 HAS SOUS 25441 HAS SOUPS 25441 WITH SCORE 25477.528
AT ITER 1614 NEW BEST:: SOT 148358 SOS 36458 HAS SOPS 36458 HAS SOUS 25441 HAS SOUPS 25441 WITH SCORE 25477.458
AT ITER 1619 NEW BEST:: SOT 148358 SOS 36372 HAS SOPS 36372 HAS SOUS 25355 HAS SOUPS 25355 WITH SCORE 25391.372
AT ITER 1620 NEW BEST:: SOT 148322 SOS 36336 HAS SOPS 36336 HAS SOUS 25319 HAS SOUPS 25319 WITH SCORE 25355.336
AT ITER 1631 NEW BEST:: SOT 148321 SOS 36334 HAS SOPS 36334 HAS SOUS 25317 HAS SOUPS 25317 WITH SCORE 25353.334
AT ITER 1641 NEW BEST:: SOT 148321 SOS 36301 HAS SOPS 36301 HAS SOUS 25317 HAS SOUPS 25317 WITH SCORE 25353.301
AT ITER 1643 NEW BEST:: SOT 148320 SOS 36284 HAS SOPS 36284 HAS SOUS 25300 HAS SOUPS 25300 WITH SCORE 25336.284
AT ITER 1656 NEW BEST:: SOT 148314 SOS 36272 HAS SOPS 36272 HAS SOUS 25288 HAS SOUPS 25288 WITH SCORE 25324.272
AT ITER 1669 NEW BEST:: SOT 148297 SOS 36238 HAS SOPS 36238 HAS SOUS 25283 HAS SOUPS 25283 WITH SCORE 25319.238
AT ITER 1700 NEW BEST:: SOT 148351 SOS 36203 HAS SOPS 36203 HAS SOUS 25214 HAS SOUPS 25214 WITH SCORE 25250.203
AT ITER 1704 NEW BEST:: SOT 148320 SOS 36141 HAS SOPS 36141 HAS SOUS 25214 HAS SOUPS 25214 WITH SCORE 25250.141
AT ITER 1717 NEW BEST:: SOT 148235 SOS 36051 HAS SOPS 36051 HAS SOUS 25124 HAS SOUPS 25124 WITH SCORE 25160.051
AT ITER 1720 NEW BEST:: SOT 148150 SOS 35786 HAS SOPS 35786 HAS SOUS 24910 HAS SOUPS 24910 WITH SCORE 24945.786
AT ITER 1721 NEW BEST:: SOT 148154 SOS 35754 HAS SOPS 35754 HAS SOUS 24898 HAS SOUPS 24898 WITH SCORE 24933.754
AT ITER 1728 NEW BEST:: SOT 148142 SOS 35730 HAS SOPS 35730 HAS SOUS 24886 HAS SOUPS 24886 WITH SCORE 24921.73
AT ITER 1731 NEW BEST:: SOT 148152 SOS 35749 HAS SOPS 35749 HAS SOUS 24836 HAS SOUPS 24836 WITH SCORE 24871.749
AT ITER 1747 NEW BEST:: SOT 148076 SOS 35708 HAS SOPS 35708 HAS SOUS 24795 HAS SOUPS 24795 WITH SCORE 24830.708
AT ITER 1750 NEW BEST:: SOT 148076 SOS 35689 HAS SOPS 35689 HAS SOUS 24776 HAS SOUPS 24776 WITH SCORE 24811.689
AT ITER 1756 NEW BEST:: SOT 148066 SOS 35669 HAS SOPS 35669 HAS SOUS 24766 HAS SOUPS 24766 WITH SCORE 24801.669
AT ITER 1784 NEW BEST:: SOT 148080 SOS 35678 HAS SOPS 35678 HAS SOUS 24761 HAS SOUPS 24761 WITH SCORE 24796.678
AT ITER 1792 NEW BEST:: SOT 148074 SOS 35666 HAS SOPS 35666 HAS SOUS 24743 HAS SOUPS 24743 WITH SCORE 24778.666
AT ITER 1794 NEW BEST:: SOT 147972 SOS 35564 HAS SOPS 35564 HAS SOUS 24692 HAS SOUPS 24692 WITH SCORE 24727.564
AT ITER 1820 NEW BEST:: SOT 147896 SOS 35488 HAS SOPS 35488 HAS SOUS 24616 HAS SOUPS 24616 WITH SCORE 24651.488
AT ITER 1824 NEW BEST:: SOT 147896 SOS 35494 HAS SOPS 35494 HAS SOUS 24614 HAS SOUPS 24614 WITH SCORE 24649.494
AT ITER 1847 NEW BEST:: SOT 147896 SOS 35482 HAS SOPS 35482 HAS SOUS 24614 HAS SOUPS 24614 WITH SCORE 24649.482
AT ITER 1853 NEW BEST:: SOT 147896 SOS 35482 HAS SOPS 35482 HAS SOUS 24606 HAS SOUPS 24606 WITH SCORE 24641.482
AT ITER 1881 NEW BEST:: SOT 147790 SOS 35350 HAS SOPS 35350 HAS SOUS 24499 HAS SOUPS 24499 WITH SCORE 24534.35
AT ITER 1898 NEW BEST:: SOT 147784 SOS 35168 HAS SOPS 35168 HAS SOUS 24453 HAS SOUPS 24453 WITH SCORE 24488.168
AT ITER 1912 NEW BEST:: SOT 147768 SOS 35147 HAS SOPS 35147 HAS SOUS 24428 HAS SOUPS 24428 WITH SCORE 24463.147
AT ITER 1935 NEW BEST:: SOT 147792 SOS 35195 HAS SOPS 35195 HAS SOUS 24355 HAS SOUPS 24355 WITH SCORE 24390.195
AT ITER 1969 NEW BEST:: SOT 147797 SOS 34854 HAS SOPS 34854 HAS SOUS 24326 HAS SOUPS 24326 WITH SCORE 24360.854
AT ITER 1974 NEW BEST:: SOT 147797 SOS 34837 HAS SOPS 34837 HAS SOUS 24309 HAS SOUPS 24309 WITH SCORE 24343.837
AT ITER 1981 NEW BEST:: SOT 147789 SOS 34829 HAS SOPS 34829 HAS SOUS 24309 HAS SOUPS 24309 WITH SCORE 24343.829
AT ITER 1984 NEW BEST:: SOT 147676 SOS 34716 HAS SOPS 34716 HAS SOUS 24253 HAS SOUPS 24253 WITH SCORE 24287.716
AT ITER 1996 NEW BEST:: SOT 147648 SOS 34660 HAS SOPS 34660 HAS SOUS 24225 HAS SOUPS 24225 WITH SCORE 24259.66
AT ITER 2000 NEW BEST:: SOT 147648 SOS 34619 HAS SOPS 34619 HAS SOUS 24184 HAS SOUPS 24184 WITH SCORE 24218.619
AT ITER 2009 NEW BEST:: SOT 147643 SOS 34602 HAS SOPS 34602 HAS SOUS 24180 HAS SOUPS 24180 WITH SCORE 24214.602
AT ITER 2043 NEW BEST:: SOT 147644 SOS 34604 HAS SOPS 34604 HAS SOUS 24168 HAS SOUPS 24168 WITH SCORE 24202.604
AT ITER 2056 NEW BEST:: SOT 147589 SOS 34549 HAS SOPS 34549 HAS SOUS 24167 HAS SOUPS 24167 WITH SCORE 24201.549
AT ITER 2062 NEW BEST:: SOT 147741 SOS 34630 HAS SOPS 34630 HAS SOUS 24145 HAS SOUPS 24145 WITH SCORE 24179.63
AT ITER 2067 NEW BEST:: SOT 147710 SOS 34682 HAS SOPS 34682 HAS SOUS 24144 HAS SOUPS 24144 WITH SCORE 24178.682
AT ITER 2070 NEW BEST:: SOT 147708 SOS 34680 HAS SOPS 34680 HAS SOUS 24142 HAS SOUPS 24142 WITH SCORE 24176.68
AT ITER 2093 NEW BEST:: SOT 147708 SOS 34680 HAS SOPS 34680 HAS SOUS 24104 HAS SOUPS 24104 WITH SCORE 24138.68
AT ITER 2095 NEW BEST:: SOT 147755 SOS 34645 HAS SOPS 34645 HAS SOUS 24005 HAS SOUPS 24005 WITH SCORE 24039.645
AT ITER 2134 NEW BEST:: SOT 147755 SOS 34644 HAS SOPS 34644 HAS SOUS 24005 HAS SOUPS 24005 WITH SCORE 24039.644
AT ITER 2141 NEW BEST:: SOT 147747 SOS 34628 HAS SOPS 34628 HAS SOUS 23989 HAS SOUPS 23989 WITH SCORE 24023.628
AT ITER 2146 NEW BEST:: SOT 147726 SOS 34496 HAS SOPS 34496 HAS SOUS 23878 HAS SOUPS 23878 WITH SCORE 23912.496
AT ITER 2150 NEW BEST:: SOT 147726 SOS 34481 HAS SOPS 34481 HAS SOUS 23863 HAS SOUPS 23863 WITH SCORE 23897.481
AT ITER 2171 NEW BEST:: SOT 147684 SOS 34439 HAS SOPS 34439 HAS SOUS 23842 HAS SOUPS 23842 WITH SCORE 23876.439
AT ITER 2196 NEW BEST:: SOT 147684 SOS 34373 HAS SOPS 34373 HAS SOUS 23842 HAS SOUPS 23842 WITH SCORE 23876.373
AT ITER 2202 NEW BEST:: SOT 147661 SOS 34333 HAS SOPS 34333 HAS SOUS 23802 HAS SOUPS 23802 WITH SCORE 23836.333
AT ITER 2203 NEW BEST:: SOT 147628 SOS 34270 HAS SOPS 34270 HAS SOUS 23739 HAS SOUPS 23739 WITH SCORE 23773.27
AT ITER 2208 NEW BEST:: SOT 147561 SOS 34226 HAS SOPS 34226 HAS SOUS 23727 HAS SOUPS 23727 WITH SCORE 23761.226
AT ITER 2236 NEW BEST:: SOT 147550 SOS 34204 HAS SOPS 34204 HAS SOUS 23716 HAS SOUPS 23716 WITH SCORE 23750.204
AT ITER 2256 NEW BEST:: SOT 147394 SOS 33892 HAS SOPS 33892 HAS SOUS 23530 HAS SOUPS 23530 WITH SCORE 23563.892
AT ITER 2270 NEW BEST:: SOT 147394 SOS 33898 HAS SOPS 33898 HAS SOUS 23521 HAS SOUPS 23521 WITH SCORE 23554.898
AT ITER 2271 NEW BEST:: SOT 147362 SOS 33866 HAS SOPS 33866 HAS SOUS 23505 HAS SOUPS 23505 WITH SCORE 23538.866
AT ITER 2283 NEW BEST:: SOT 147334 SOS 33782 HAS SOPS 33782 HAS SOUS 23429 HAS SOUPS 23429 WITH SCORE 23462.782
AT ITER 2289 NEW BEST:: SOT 147322 SOS 33771 HAS SOPS 33771 HAS SOUS 23425 HAS SOUPS 23425 WITH SCORE 23458.771
AT ITER 2290 NEW BEST:: SOT 147322 SOS 33771 HAS SOPS 33771 HAS SOUS 23406 HAS SOUPS 23406 WITH SCORE 23439.771
AT ITER 2313 NEW BEST:: SOT 146915 SOS 33201 HAS SOPS 33201 HAS SOUS 23074 HAS SOUPS 23074 WITH SCORE 23107.201
AT ITER 2364 NEW BEST:: SOT 146895 SOS 33194 HAS SOPS 33194 HAS SOUS 23060 HAS SOUPS 23060 WITH SCORE 23093.194
AT ITER 2369 NEW BEST:: SOT 146895 SOS 33174 HAS SOPS 33174 HAS SOUS 23040 HAS SOUPS 23040 WITH SCORE 23073.174
AT ITER 2380 NEW BEST:: SOT 146853 SOS 33170 HAS SOPS 33170 HAS SOUS 23036 HAS SOUPS 23036 WITH SCORE 23069.17
AT ITER 2393 NEW BEST:: SOT 146877 SOS 33218 HAS SOPS 33218 HAS SOUS 23034 HAS SOUPS 23034 WITH SCORE 23067.218
AT ITER 2414 NEW BEST:: SOT 146895 SOS 33203 HAS SOPS 33203 HAS SOUS 23025 HAS SOUPS 23025 WITH SCORE 23058.203
AT ITER 2419 NEW BEST:: SOT 146895 SOS 33166 HAS SOPS 33166 HAS SOUS 22996 HAS SOUPS 22996 WITH SCORE 23029.166
AT ITER 2480 NEW BEST:: SOT 146894 SOS 33124 HAS SOPS 33124 HAS SOUS 22961 HAS SOUPS 22961 WITH SCORE 22994.124
AT ITER 2497 NEW BEST:: SOT 147054 SOS 33068 HAS SOPS 33068 HAS SOUS 22939 HAS SOUPS 22939 WITH SCORE 22972.068
AT ITER 2565 NEW BEST:: SOT 147006 SOS 32972 HAS SOPS 32972 HAS SOUS 22903 HAS SOUPS 22903 WITH SCORE 22935.972
AT ITER 2580 NEW BEST:: SOT 146983 SOS 32962 HAS SOPS 32962 HAS SOUS 22887 HAS SOUPS 22887 WITH SCORE 22919.962
AT ITER 2587 NEW BEST:: SOT 146976 SOS 32955 HAS SOPS 32955 HAS SOUS 22880 HAS SOUPS 22880 WITH SCORE 22912.955
AT ITER 2592 NEW BEST:: SOT 146956 SOS 33175 HAS SOPS 33175 HAS SOUS 22878 HAS SOUPS 22878 WITH SCORE 22911.175
AT ITER 2621 NEW BEST:: SOT 146984 SOS 33165 HAS SOPS 33165 HAS SOUS 22868 HAS SOUPS 22868 WITH SCORE 22901.165
AT ITER 2641 NEW BEST:: SOT 146995 SOS 33187 HAS SOPS 33187 HAS SOUS 22866 HAS SOUPS 22866 WITH SCORE 22899.187
AT ITER 2644 NEW BEST:: SOT 146994 SOS 33156 HAS SOPS 33156 HAS SOUS 22835 HAS SOUPS 22835 WITH SCORE 22868.156
AT ITER 2649 NEW BEST:: SOT 146966 SOS 33136 HAS SOPS 33136 HAS SOUS 22815 HAS SOUPS 22815 WITH SCORE 22848.136
AT ITER 2656 NEW BEST:: SOT 146962 SOS 33128 HAS SOPS 33128 HAS SOUS 22803 HAS SOUPS 22803 WITH SCORE 22836.128
AT ITER 2671 NEW BEST:: SOT 146946 SOS 33112 HAS SOPS 33112 HAS SOUS 22785 HAS SOUPS 22785 WITH SCORE 22818.112
AT ITER 2695 NEW BEST:: SOT 146945 SOS 33110 HAS SOPS 33110 HAS SOUS 22771 HAS SOUPS 22771 WITH SCORE 22804.11
AT ITER 2708 NEW BEST:: SOT 146935 SOS 33090 HAS SOPS 33090 HAS SOUS 22751 HAS SOUPS 22751 WITH SCORE 22784.09
AT ITER 2742 NEW BEST:: SOT 146917 SOS 33043 HAS SOPS 33043 HAS SOUS 22704 HAS SOUPS 22704 WITH SCORE 22737.043
AT ITER 2789 NEW BEST:: SOT 146905 SOS 33019 HAS SOPS 33019 HAS SOUS 22663 HAS SOUPS 22663 WITH SCORE 22696.019
AT ITER 2793 NEW BEST:: SOT 146813 SOS 32835 HAS SOPS 32835 HAS SOUS 22579 HAS SOUPS 22579 WITH SCORE 22611.835
AT ITER 2809 NEW BEST:: SOT 146801 SOS 32823 HAS SOPS 32823 HAS SOUS 22567 HAS SOUPS 22567 WITH SCORE 22599.823
AT ITER 2851 NEW BEST:: SOT 146771 SOS 32763 HAS SOPS 32763 HAS SOUS 22556 HAS SOUPS 22556 WITH SCORE 22588.763
AT ITER 2870 NEW BEST:: SOT 146735 SOS 32691 HAS SOPS 32691 HAS SOUS 22438 HAS SOUPS 22438 WITH SCORE 22470.691
AT ITER 2873 NEW BEST:: SOT 146723 SOS 32766 HAS SOPS 32766 HAS SOUS 22429 HAS SOUPS 22429 WITH SCORE 22461.766
AT ITER 2878 NEW BEST:: SOT 146666 SOS 32782 HAS SOPS 32782 HAS SOUS 22389 HAS SOUPS 22389 WITH SCORE 22421.782
AT ITER 2884 NEW BEST:: SOT 146658 SOS 32779 HAS SOPS 32779 HAS SOUS 22386 HAS SOUPS 22386 WITH SCORE 22418.779
AT ITER 2925 NEW BEST:: SOT 146630 SOS 32693 HAS SOPS 32693 HAS SOUS 22379 HAS SOUPS 22379 WITH SCORE 22411.693
AT ITER 2936 NEW BEST:: SOT 146633 SOS 32658 HAS SOPS 32658 HAS SOUS 22344 HAS SOUPS 22344 WITH SCORE 22376.658
AT ITER 2952 NEW BEST:: SOT 146711 SOS 32750 HAS SOPS 32750 HAS SOUS 22328 HAS SOUPS 22328 WITH SCORE 22360.75
AT ITER 2953 NEW BEST:: SOT 146662 SOS 32699 HAS SOPS 32699 HAS SOUS 22279 HAS SOUPS 22279 WITH SCORE 22311.699
AT ITER 2954 NEW BEST:: SOT 146684 SOS 32707 HAS SOPS 32707 HAS SOUS 22267 HAS SOUPS 22267 WITH SCORE 22299.707
AT ITER 2969 NEW BEST:: SOT 146670 SOS 32701 HAS SOPS 32701 HAS SOUS 22261 HAS SOUPS 22261 WITH SCORE 22293.701
AT ITER 3000 NEW BEST:: SOT 146658 SOS 32677 HAS SOPS 32677 HAS SOUS 22237 HAS SOUPS 22237 WITH SCORE 22269.677
AT ITER 3003 NEW BEST:: SOT 146532 SOS 32519 HAS SOPS 32519 HAS SOUS 22168 HAS SOUPS 22168 WITH SCORE 22200.519
AT ITER 3012 NEW BEST:: SOT 146435 SOS 32764 HAS SOPS 32764 HAS SOUS 22112 HAS SOUPS 22112 WITH SCORE 22144.764
AT ITER 3050 NEW BEST:: SOT 146430 SOS 32759 HAS SOPS 32759 HAS SOUS 22107 HAS SOUPS 22107 WITH SCORE 22139.759
AT ITER 3071 NEW BEST:: SOT 146430 SOS 32748 HAS SOPS 32748 HAS SOUS 22099 HAS SOUPS 22099 WITH SCORE 22131.748
AT ITER 3074 NEW BEST:: SOT 146436 SOS 32747 HAS SOPS 32747 HAS SOUS 22098 HAS SOUPS 22098 WITH SCORE 22130.747
AT ITER 3086 NEW BEST:: SOT 146368 SOS 32690 HAS SOPS 32690 HAS SOUS 22041 HAS SOUPS 22041 WITH SCORE 22073.69
AT ITER 3095 NEW BEST:: SOT 146416 SOS 32682 HAS SOPS 32682 HAS SOUS 22033 HAS SOUPS 22033 WITH SCORE 22065.682
AT ITER 3103 NEW BEST:: SOT 146416 SOS 32681 HAS SOPS 32681 HAS SOUS 22033 HAS SOUPS 22033 WITH SCORE 22065.681
AT ITER 3105 NEW BEST:: SOT 146403 SOS 32668 HAS SOPS 32668 HAS SOUS 22020 HAS SOUPS 22020 WITH SCORE 22052.668
AT ITER 3123 NEW BEST:: SOT 146421 SOS 32692 HAS SOPS 32692 HAS SOUS 21997 HAS SOUPS 21997 WITH SCORE 22029.692
AT ITER 3160 NEW BEST:: SOT 146382 SOS 32614 HAS SOPS 32614 HAS SOUS 21919 HAS SOUPS 21919 WITH SCORE 21951.614
AT ITER 3195 NEW BEST:: SOT 146381 SOS 32613 HAS SOPS 32613 HAS SOUS 21919 HAS SOUPS 21919 WITH SCORE 21951.613
AT ITER 3202 NEW BEST:: SOT 146380 SOS 32611 HAS SOPS 32611 HAS SOUS 21917 HAS SOUPS 21917 WITH SCORE 21949.611
AT ITER 3240 NEW BEST:: SOT 146354 SOS 32591 HAS SOPS 32591 HAS SOUS 21897 HAS SOUPS 21897 WITH SCORE 21929.591
AT ITER 3276 NEW BEST:: SOT 146358 SOS 32574 HAS SOPS 32574 HAS SOUS 21881 HAS SOUPS 21881 WITH SCORE 21913.574
AT ITER 3280 NEW BEST:: SOT 146346 SOS 32550 HAS SOPS 32550 HAS SOUS 21857 HAS SOUPS 21857 WITH SCORE 21889.55
AT ITER 3298 NEW BEST:: SOT 146346 SOS 32550 HAS SOPS 32550 HAS SOUS 21837 HAS SOUPS 21837 WITH SCORE 21869.55
AT ITER 3328 NEW BEST:: SOT 146346 SOS 32526 HAS SOPS 32526 HAS SOUS 21837 HAS SOUPS 21837 WITH SCORE 21869.526
AT ITER 3335 NEW BEST:: SOT 146430 SOS 32513 HAS SOPS 32513 HAS SOUS 21824 HAS SOUPS 21824 WITH SCORE 21856.513
AT ITER 3340 NEW BEST:: SOT 146426 SOS 32505 HAS SOPS 32505 HAS SOUS 21820 HAS SOUPS 21820 WITH SCORE 21852.505
AT ITER 3353 NEW BEST:: SOT 146341 SOS 32143 HAS SOPS 32143 HAS SOUS 21715 HAS SOUPS 21715 WITH SCORE 21747.143
AT ITER 3359 NEW BEST:: SOT 146281 SOS 32281 HAS SOPS 32281 HAS SOUS 21688 HAS SOUPS 21688 WITH SCORE 21720.281
AT ITER 3370 NEW BEST:: SOT 146330 SOS 32281 HAS SOPS 32281 HAS SOUS 21639 HAS SOUPS 21639 WITH SCORE 21671.281
AT ITER 3371 NEW BEST:: SOT 146311 SOS 32243 HAS SOPS 32243 HAS SOUS 21620 HAS SOUPS 21620 WITH SCORE 21652.243
AT ITER 3377 NEW BEST:: SOT 146311 SOS 32261 HAS SOPS 32261 HAS SOUS 21602 HAS SOUPS 21602 WITH SCORE 21634.261
AT ITER 3382 NEW BEST:: SOT 146311 SOS 32250 HAS SOPS 32250 HAS SOUS 21599 HAS SOUPS 21599 WITH SCORE 21631.25
AT ITER 3423 NEW BEST:: SOT 146288 SOS 32204 HAS SOPS 32204 HAS SOUS 21576 HAS SOUPS 21576 WITH SCORE 21608.204
AT ITER 3433 NEW BEST:: SOT 146300 SOS 32165 HAS SOPS 32165 HAS SOUS 21537 HAS SOUPS 21537 WITH SCORE 21569.165
AT ITER 3459 NEW BEST:: SOT 146267 SOS 32108 HAS SOPS 32108 HAS SOUS 21495 HAS SOUPS 21495 WITH SCORE 21527.108
AT ITER 3462 NEW BEST:: SOT 146265 SOS 32106 HAS SOPS 32106 HAS SOUS 21491 HAS SOUPS 21491 WITH SCORE 21523.106
AT ITER 3474 NEW BEST:: SOT 146258 SOS 32097 HAS SOPS 32097 HAS SOUS 21482 HAS SOUPS 21482 WITH SCORE 21514.097
AT ITER 3477 NEW BEST:: SOT 146252 SOS 32082 HAS SOPS 32082 HAS SOUS 21470 HAS SOUPS 21470 WITH SCORE 21502.082
AT ITER 3494 NEW BEST:: SOT 146237 SOS 32052 HAS SOPS 32052 HAS SOUS 21449 HAS SOUPS 21449 WITH SCORE 21481.052
AT ITER 3519 NEW BEST:: SOT 146215 SOS 32030 HAS SOPS 32030 HAS SOUS 21427 HAS SOUPS 21427 WITH SCORE 21459.03
AT ITER 3525 NEW BEST:: SOT 146193 SOS 31956 HAS SOPS 31956 HAS SOUS 21353 HAS SOUPS 21353 WITH SCORE 21384.956
AT ITER 3581 NEW BEST:: SOT 146186 SOS 31883 HAS SOPS 31883 HAS SOUS 21339 HAS SOUPS 21339 WITH SCORE 21370.883
AT ITER 3609 NEW BEST:: SOT 146112 SOS 31774 HAS SOPS 31774 HAS SOUS 21269 HAS SOUPS 21269 WITH SCORE 21300.774
AT ITER 3612 NEW BEST:: SOT 146088 SOS 31750 HAS SOPS 31750 HAS SOUS 21269 HAS SOUPS 21269 WITH SCORE 21300.75
AT ITER 3648 NEW BEST:: SOT 146062 SOS 31731 HAS SOPS 31731 HAS SOUS 21243 HAS SOUPS 21243 WITH SCORE 21274.731
AT ITER 3651 NEW BEST:: SOT 146062 SOS 31729 HAS SOPS 31729 HAS SOUS 21241 HAS SOUPS 21241 WITH SCORE 21272.729
AT ITER 3751 NEW BEST:: SOT 146064 SOS 31731 HAS SOPS 31731 HAS SOUS 21239 HAS SOUPS 21239 WITH SCORE 21270.731
AT ITER 3764 NEW BEST:: SOT 146065 SOS 31688 HAS SOPS 31688 HAS SOUS 21237 HAS SOUPS 21237 WITH SCORE 21268.688
AT ITER 3765 NEW BEST:: SOT 146026 SOS 31649 HAS SOPS 31649 HAS SOUS 21237 HAS SOUPS 21237 WITH SCORE 21268.649
AT ITER 3802 NEW BEST:: SOT 146015 SOS 31638 HAS SOPS 31638 HAS SOUS 21236 HAS SOUPS 21236 WITH SCORE 21267.638
AT ITER 3828 NEW BEST:: SOT 145954 SOS 31644 HAS SOPS 31644 HAS SOUS 21138 HAS SOUPS 21138 WITH SCORE 21169.644
AT ITER 3831 NEW BEST:: SOT 145945 SOS 31635 HAS SOPS 31635 HAS SOUS 21132 HAS SOUPS 21132 WITH SCORE 21163.635
AT ITER 3844 NEW BEST:: SOT 145934 SOS 31599 HAS SOPS 31599 HAS SOUS 21110 HAS SOUPS 21110 WITH SCORE 21141.599
AT ITER 3846 NEW BEST:: SOT 145936 SOS 31404 HAS SOPS 31404 HAS SOUS 21097 HAS SOUPS 21097 WITH SCORE 21128.404
AT ITER 3853 NEW BEST:: SOT 145909 SOS 31350 HAS SOPS 31350 HAS SOUS 21004 HAS SOUPS 21004 WITH SCORE 21035.35
AT ITER 3860 NEW BEST:: SOT 145899 SOS 31346 HAS SOPS 31346 HAS SOUS 21000 HAS SOUPS 21000 WITH SCORE 21031.346
AT ITER 3864 NEW BEST:: SOT 145899 SOS 31341 HAS SOPS 31341 HAS SOUS 20995 HAS SOUPS 20995 WITH SCORE 21026.341
AT ITER 3890 NEW BEST:: SOT 145875 SOS 31317 HAS SOPS 31317 HAS SOUS 20971 HAS SOUPS 20971 WITH SCORE 21002.317
AT ITER 3909 NEW BEST:: SOT 145858 SOS 31315 HAS SOPS 31315 HAS SOUS 20969 HAS SOUPS 20969 WITH SCORE 21000.315
AT ITER 3940 NEW BEST:: SOT 145842 SOS 31239 HAS SOPS 31239 HAS SOUS 20900 HAS SOUPS 20900 WITH SCORE 20931.239
AT ITER 3977 NEW BEST:: SOT 145831 SOS 31217 HAS SOPS 31217 HAS SOUS 20900 HAS SOUPS 20900 WITH SCORE 20931.217
AT ITER 4002 NEW BEST:: SOT 145874 SOS 31274 HAS SOPS 31274 HAS SOUS 20892 HAS SOUPS 20892 WITH SCORE 20923.274
AT ITER 4003 NEW BEST:: SOT 145860 SOS 31260 HAS SOPS 31260 HAS SOUS 20882 HAS SOUPS 20882 WITH SCORE 20913.26
AT ITER 4022 NEW BEST:: SOT 145860 SOS 31260 HAS SOPS 31260 HAS SOUS 20875 HAS SOUPS 20875 WITH SCORE 20906.26
AT ITER 4066 NEW BEST:: SOT 145864 SOS 31166 HAS SOPS 31166 HAS SOUS 20815 HAS SOUPS 20815 WITH SCORE 20846.166
AT ITER 4073 NEW BEST:: SOT 145864 SOS 31158 HAS SOPS 31158 HAS SOUS 20815 HAS SOUPS 20815 WITH SCORE 20846.158
AT ITER 4117 NEW BEST:: SOT 145864 SOS 31148 HAS SOPS 31148 HAS SOUS 20805 HAS SOUPS 20805 WITH SCORE 20836.148
AT ITER 4120 NEW BEST:: SOT 145864 SOS 31148 HAS SOPS 31148 HAS SOUS 20802 HAS SOUPS 20802 WITH SCORE 20833.148
AT ITER 4156 NEW BEST:: SOT 145858 SOS 31136 HAS SOPS 31136 HAS SOUS 20802 HAS SOUPS 20802 WITH SCORE 20833.136
AT ITER 4177 NEW BEST:: SOT 145808 SOS 31086 HAS SOPS 31086 HAS SOUS 20802 HAS SOUPS 20802 WITH SCORE 20833.086
AT ITER 4179 NEW BEST:: SOT 145813 SOS 31208 HAS SOPS 31208 HAS SOUS 20787 HAS SOUPS 20787 WITH SCORE 20818.208
AT ITER 4198 NEW BEST:: SOT 145806 SOS 31201 HAS SOPS 31201 HAS SOUS 20780 HAS SOUPS 20780 WITH SCORE 20811.201
AT ITER 4228 NEW BEST:: SOT 145645 SOS 31066 HAS SOPS 31066 HAS SOUS 20778 HAS SOUPS 20778 WITH SCORE 20809.066
AT ITER 4233 NEW BEST:: SOT 145627 SOS 31030 HAS SOPS 31030 HAS SOUS 20778 HAS SOUPS 20778 WITH SCORE 20809.03
AT ITER 4237 NEW BEST:: SOT 145622 SOS 31020 HAS SOPS 31020 HAS SOUS 20771 HAS SOUPS 20771 WITH SCORE 20802.02
AT ITER 4265 NEW BEST:: SOT 145452 SOS 32681 HAS SOPS 32681 HAS SOUS 20730 HAS SOUPS 20730 WITH SCORE 20762.681
AT ITER 4282 NEW BEST:: SOT 145452 SOS 32681 HAS SOPS 32681 HAS SOUS 20704 HAS SOUPS 20704 WITH SCORE 20736.681
AT ITER 4283 NEW BEST:: SOT 145331 SOS 32384 HAS SOPS 32384 HAS SOUS 20637 HAS SOUPS 20637 WITH SCORE 20669.384
AT ITER 4285 NEW BEST:: SOT 145227 SOS 32280 HAS SOPS 32280 HAS SOUS 20637 HAS SOUPS 20637 WITH SCORE 20669.28
AT ITER 4325 NEW BEST:: SOT 145212 SOS 32272 HAS SOPS 32272 HAS SOUS 20629 HAS SOUPS 20629 WITH SCORE 20661.272
AT ITER 4330 NEW BEST:: SOT 145253 SOS 32306 HAS SOPS 32306 HAS SOUS 20622 HAS SOUPS 20622 WITH SCORE 20654.306
AT ITER 4335 NEW BEST:: SOT 145279 SOS 30699 HAS SOPS 30699 HAS SOUS 20505 HAS SOUPS 20505 WITH SCORE 20535.699
AT ITER 4363 NEW BEST:: SOT 145236 SOS 30572 HAS SOPS 30572 HAS SOUS 20413 HAS SOUPS 20413 WITH SCORE 20443.572
AT ITER 4416 NEW BEST:: SOT 145233 SOS 30569 HAS SOPS 30569 HAS SOUS 20413 HAS SOUPS 20413 WITH SCORE 20443.569
AT ITER 4421 NEW BEST:: SOT 145233 SOS 30554 HAS SOPS 30554 HAS SOUS 20413 HAS SOUPS 20413 WITH SCORE 20443.554
AT ITER 4446 NEW BEST:: SOT 145230 SOS 30551 HAS SOPS 30551 HAS SOUS 20407 HAS SOUPS 20407 WITH SCORE 20437.551
AT ITER 4448 NEW BEST:: SOT 145224 SOS 30539 HAS SOPS 30539 HAS SOUS 20395 HAS SOUPS 20395 WITH SCORE 20425.539
AT ITER 4451 NEW BEST:: SOT 145224 SOS 30533 HAS SOPS 30533 HAS SOUS 20392 HAS SOUPS 20392 WITH SCORE 20422.533
AT ITER 4461 NEW BEST:: SOT 145224 SOS 30523 HAS SOPS 30523 HAS SOUS 20392 HAS SOUPS 20392 WITH SCORE 20422.523
AT ITER 4500 NEW BEST:: SOT 145211 SOS 30497 HAS SOPS 30497 HAS SOUS 20379 HAS SOUPS 20379 WITH SCORE 20409.497
AT ITER 4516 NEW BEST:: SOT 145193 SOS 30479 HAS SOPS 30479 HAS SOUS 20361 HAS SOUPS 20361 WITH SCORE 20391.479
AT ITER 4561 NEW BEST:: SOT 145134 SOS 30430 HAS SOPS 30430 HAS SOUS 20302 HAS SOUPS 20302 WITH SCORE 20332.43
AT ITER 4602 NEW BEST:: SOT 145134 SOS 30419 HAS SOPS 30419 HAS SOUS 20291 HAS SOUPS 20291 WITH SCORE 20321.419
AT ITER 4642 NEW BEST:: SOT 145134 SOS 30386 HAS SOPS 30386 HAS SOUS 20258 HAS SOUPS 20258 WITH SCORE 20288.386
AT ITER 4665 NEW BEST:: SOT 145115 SOS 30362 HAS SOPS 30362 HAS SOUS 20239 HAS SOUPS 20239 WITH SCORE 20269.362
AT ITER 4671 NEW BEST:: SOT 145075 SOS 30270 HAS SOPS 30270 HAS SOUS 20217 HAS SOUPS 20217 WITH SCORE 20247.27
AT ITER 4675 NEW BEST:: SOT 145065 SOS 30260 HAS SOPS 30260 HAS SOUS 20207 HAS SOUPS 20207 WITH SCORE 20237.26
AT ITER 4695 NEW BEST:: SOT 144998 SOS 30102 HAS SOPS 30102 HAS SOUS 20070 HAS SOUPS 20070 WITH SCORE 20100.102
AT ITER 4708 NEW BEST:: SOT 144983 SOS 30148 HAS SOPS 30148 HAS SOUS 20068 HAS SOUPS 20068 WITH SCORE 20098.148
AT ITER 4712 NEW BEST:: SOT 144978 SOS 30143 HAS SOPS 30143 HAS SOUS 20068 HAS SOUPS 20068 WITH SCORE 20098.143
AT ITER 4714 NEW BEST:: SOT 144974 SOS 30139 HAS SOPS 30139 HAS SOUS 20064 HAS SOUPS 20064 WITH SCORE 20094.139
AT ITER 4726 NEW BEST:: SOT 144948 SOS 30113 HAS SOPS 30113 HAS SOUS 20038 HAS SOUPS 20038 WITH SCORE 20068.113
AT ITER 4727 NEW BEST:: SOT 144932 SOS 30081 HAS SOPS 30081 HAS SOUS 20006 HAS SOUPS 20006 WITH SCORE 20036.081
AT ITER 4750 NEW BEST:: SOT 144925 SOS 29969 HAS SOPS 29969 HAS SOUS 19992 HAS SOUPS 19992 WITH SCORE 20021.969
AT ITER 4786 NEW BEST:: SOT 144924 SOS 29967 HAS SOPS 29967 HAS SOUS 19990 HAS SOUPS 19990 WITH SCORE 20019.967
AT ITER 4805 NEW BEST:: SOT 144922 SOS 29941 HAS SOPS 29941 HAS SOUS 19976 HAS SOUPS 19976 WITH SCORE 20005.941
AT ITER 4811 NEW BEST:: SOT 144903 SOS 29903 HAS SOPS 29903 HAS SOUS 19969 HAS SOUPS 19969 WITH SCORE 19998.903
AT ITER 4832 NEW BEST:: SOT 144906 SOS 29961 HAS SOPS 29961 HAS SOUS 19958 HAS SOUPS 19958 WITH SCORE 19987.961
AT ITER 4867 NEW BEST:: SOT 144900 SOS 29959 HAS SOPS 29959 HAS SOUS 19956 HAS SOUPS 19956 WITH SCORE 19985.959
AT ITER 4877 NEW BEST:: SOT 144897 SOS 29966 HAS SOPS 29966 HAS SOUS 19950 HAS SOUPS 19950 WITH SCORE 19979.966
AT ITER 4938 NEW BEST:: SOT 144897 SOS 29958 HAS SOPS 29958 HAS SOUS 19942 HAS SOUPS 19942 WITH SCORE 19971.958
AT ITER 4943 NEW BEST:: SOT 144892 SOS 29948 HAS SOPS 29948 HAS SOUS 19932 HAS SOUPS 19932 WITH SCORE 19961.948
AT ITER 4953 NEW BEST:: SOT 144855 SOS 29901 HAS SOPS 29901 HAS SOUS 19919 HAS SOUPS 19919 WITH SCORE 19948.901
AT ITER 4957 NEW BEST:: SOT 144804 SOS 29799 HAS SOPS 29799 HAS SOUS 19857 HAS SOUPS 19857 WITH SCORE 19886.799
AT ITER 4965 NEW BEST:: SOT 144804 SOS 29756 HAS SOPS 29756 HAS SOUS 19822 HAS SOUPS 19822 WITH SCORE 19851.756
AT ITER 4972 NEW BEST:: SOT 144807 SOS 29762 HAS SOPS 29762 HAS SOUS 19814 HAS SOUPS 19814 WITH SCORE 19843.762
AT ITER 4973 NEW BEST:: SOT 144803 SOS 29754 HAS SOPS 29754 HAS SOUS 19810 HAS SOUPS 19810 WITH SCORE 19839.754
AT ITER 4989 NEW BEST:: SOT 144794 SOS 29745 HAS SOPS 29745 HAS SOUS 19801 HAS SOUPS 19801 WITH SCORE 19830.745
AT ITER 5005 NEW BEST:: SOT 144812 SOS 29786 HAS SOPS 29786 HAS SOUS 19796 HAS SOUPS 19796 WITH SCORE 19825.786
AT ITER 5017 NEW BEST:: SOT 144808 SOS 29800 HAS SOPS 29800 HAS SOUS 19792 HAS SOUPS 19792 WITH SCORE 19821.8
AT ITER 5020 NEW BEST:: SOT 144815 SOS 29814 HAS SOPS 29814 HAS SOUS 19786 HAS SOUPS 19786 WITH SCORE 19815.814
AT ITER 5021 NEW BEST:: SOT 144756 SOS 29884 HAS SOPS 29884 HAS SOUS 19774 HAS SOUPS 19774 WITH SCORE 19803.884
AT ITER 5055 NEW BEST:: SOT 144730 SOS 29777 HAS SOPS 29777 HAS SOUS 19713 HAS SOUPS 19713 WITH SCORE 19742.777
AT ITER 5057 NEW BEST:: SOT 144727 SOS 29768 HAS SOPS 29768 HAS SOUS 19710 HAS SOUPS 19710 WITH SCORE 19739.768
AT ITER 5098 NEW BEST:: SOT 144715 SOS 29744 HAS SOPS 29744 HAS SOUS 19686 HAS SOUPS 19686 WITH SCORE 19715.744
AT ITER 5100 NEW BEST:: SOT 144704 SOS 29722 HAS SOPS 29722 HAS SOUS 19686 HAS SOUPS 19686 WITH SCORE 19715.722
AT ITER 5144 NEW BEST:: SOT 144731 SOS 29718 HAS SOPS 29718 HAS SOUS 19684 HAS SOUPS 19684 WITH SCORE 19713.718
AT ITER 5149 NEW BEST:: SOT 144661 SOS 29689 HAS SOPS 29689 HAS SOUS 19626 HAS SOUPS 19626 WITH SCORE 19655.689
AT ITER 5156 NEW BEST:: SOT 144634 SOS 29667 HAS SOPS 29667 HAS SOUS 19599 HAS SOUPS 19599 WITH SCORE 19628.667
AT ITER 5210 NEW BEST:: SOT 144628 SOS 29655 HAS SOPS 29655 HAS SOUS 19599 HAS SOUPS 19599 WITH SCORE 19628.655
AT ITER 5233 NEW BEST:: SOT 144622 SOS 29649 HAS SOPS 29649 HAS SOUS 19593 HAS SOUPS 19593 WITH SCORE 19622.649
AT ITER 5234 NEW BEST:: SOT 144622 SOS 29640 HAS SOPS 29640 HAS SOUS 19584 HAS SOUPS 19584 WITH SCORE 19613.64
AT ITER 5235 NEW BEST:: SOT 144595 SOS 29613 HAS SOPS 29613 HAS SOUS 19557 HAS SOUPS 19557 WITH SCORE 19586.613
AT ITER 5241 NEW BEST:: SOT 144595 SOS 29619 HAS SOPS 29619 HAS SOUS 19545 HAS SOUPS 19545 WITH SCORE 19574.619
AT ITER 5250 NEW BEST:: SOT 144592 SOS 29613 HAS SOPS 29613 HAS SOUS 19539 HAS SOUPS 19539 WITH SCORE 19568.613
AT ITER 5293 NEW BEST:: SOT 144592 SOS 29609 HAS SOPS 29609 HAS SOUS 19539 HAS SOUPS 19539 WITH SCORE 19568.609
AT ITER 5332 NEW BEST:: SOT 144575 SOS 29744 HAS SOPS 29744 HAS SOUS 19535 HAS SOUPS 19535 WITH SCORE 19564.744
AT ITER 5338 NEW BEST:: SOT 144541 SOS 29755 HAS SOPS 29755 HAS SOUS 19529 HAS SOUPS 19529 WITH SCORE 19558.755
AT ITER 5347 NEW BEST:: SOT 144531 SOS 29751 HAS SOPS 29751 HAS SOUS 19523 HAS SOUPS 19523 WITH SCORE 19552.751
AT ITER 5358 NEW BEST:: SOT 144675 SOS 29693 HAS SOPS 29693 HAS SOUS 19516 HAS SOUPS 19516 WITH SCORE 19545.693
AT ITER 5373 NEW BEST:: SOT 144726 SOS 29795 HAS SOPS 29795 HAS SOUS 19512 HAS SOUPS 19512 WITH SCORE 19541.795
AT ITER 5390 NEW BEST:: SOT 144635 SOS 29613 HAS SOPS 29613 HAS SOUS 19377 HAS SOUPS 19377 WITH SCORE 19406.613
AT ITER 5394 NEW BEST:: SOT 144617 SOS 29577 HAS SOPS 29577 HAS SOUS 19359 HAS SOUPS 19359 WITH SCORE 19388.577
AT ITER 5397 NEW BEST:: SOT 144587 SOS 29697 HAS SOPS 29697 HAS SOUS 19344 HAS SOUPS 19344 WITH SCORE 19373.697
AT ITER 5427 NEW BEST:: SOT 144536 SOS 29646 HAS SOPS 29646 HAS SOUS 19293 HAS SOUPS 19293 WITH SCORE 19322.646
AT ITER 5472 NEW BEST:: SOT 144524 SOS 29639 HAS SOPS 29639 HAS SOUS 19281 HAS SOUPS 19281 WITH SCORE 19310.639
AT ITER 5532 NEW BEST:: SOT 144515 SOS 29621 HAS SOPS 29621 HAS SOUS 19270 HAS SOUPS 19270 WITH SCORE 19299.621
AT ITER 5538 NEW BEST:: SOT 144515 SOS 29618 HAS SOPS 29618 HAS SOUS 19270 HAS SOUPS 19270 WITH SCORE 19299.618
AT ITER 5540 NEW BEST:: SOT 144525 SOS 29573 HAS SOPS 29573 HAS SOUS 19270 HAS SOUPS 19270 WITH SCORE 19299.573
AT ITER 5582 NEW BEST:: SOT 144509 SOS 29557 HAS SOPS 29557 HAS SOUS 19270 HAS SOUPS 19270 WITH SCORE 19299.557
AT ITER 5602 NEW BEST:: SOT 144505 SOS 29549 HAS SOPS 29549 HAS SOUS 19262 HAS SOUPS 19262 WITH SCORE 19291.549
AT ITER 5618 NEW BEST:: SOT 144497 SOS 29533 HAS SOPS 29533 HAS SOUS 19246 HAS SOUPS 19246 WITH SCORE 19275.533
AT ITER 5642 NEW BEST:: SOT 144495 SOS 29529 HAS SOPS 29529 HAS SOUS 19242 HAS SOUPS 19242 WITH SCORE 19271.529
AT ITER 5706 NEW BEST:: SOT 144513 SOS 29522 HAS SOPS 29522 HAS SOUS 19217 HAS SOUPS 19217 WITH SCORE 19246.522
AT ITER 5710 NEW BEST:: SOT 144513 SOS 29521 HAS SOPS 29521 HAS SOUS 19217 HAS SOUPS 19217 WITH SCORE 19246.521
AT ITER 5716 NEW BEST:: SOT 144485 SOS 29493 HAS SOPS 29493 HAS SOUS 19203 HAS SOUPS 19203 WITH SCORE 19232.493
AT ITER 5726 NEW BEST:: SOT 144461 SOS 29477 HAS SOPS 29477 HAS SOUS 19203 HAS SOUPS 19203 WITH SCORE 19232.477
AT ITER 5767 NEW BEST:: SOT 144427 SOS 29409 HAS SOPS 29409 HAS SOUS 19169 HAS SOUPS 19169 WITH SCORE 19198.409
AT ITER 5785 NEW BEST:: SOT 144410 SOS 29402 HAS SOPS 29402 HAS SOUS 19162 HAS SOUPS 19162 WITH SCORE 19191.402
AT ITER 5797 NEW BEST:: SOT 144436 SOS 29428 HAS SOPS 29428 HAS SOUS 19136 HAS SOUPS 19136 WITH SCORE 19165.428
AT ITER 5801 NEW BEST:: SOT 144422 SOS 29400 HAS SOPS 29400 HAS SOUS 19108 HAS SOUPS 19108 WITH SCORE 19137.4
AT ITER 5838 NEW BEST:: SOT 144419 SOS 29397 HAS SOPS 29397 HAS SOUS 19105 HAS SOUPS 19105 WITH SCORE 19134.397
AT ITER 5851 NEW BEST:: SOT 144414 SOS 29382 HAS SOPS 29382 HAS SOUS 19095 HAS SOUPS 19095 WITH SCORE 19124.382
AT ITER 5862 NEW BEST:: SOT 144414 SOS 29382 HAS SOPS 29382 HAS SOUS 19085 HAS SOUPS 19085 WITH SCORE 19114.382
AT ITER 5889 NEW BEST:: SOT 144413 SOS 29380 HAS SOPS 29380 HAS SOUS 19083 HAS SOUPS 19083 WITH SCORE 19112.38
AT ITER 5912 NEW BEST:: SOT 144408 SOS 29361 HAS SOPS 29361 HAS SOUS 19078 HAS SOUPS 19078 WITH SCORE 19107.361
AT ITER 5938 NEW BEST:: SOT 144408 SOS 29361 HAS SOPS 29361 HAS SOUS 19023 HAS SOUPS 19023 WITH SCORE 19052.361
AT ITER 5962 NEW BEST:: SOT 144474 SOS 29423 HAS SOPS 29423 HAS SOUS 19019 HAS SOUPS 19019 WITH SCORE 19048.423
AT ITER 6032 NEW BEST:: SOT 144465 SOS 29414 HAS SOPS 29414 HAS SOUS 19010 HAS SOUPS 19010 WITH SCORE 19039.414
AT ITER 6101 NEW BEST:: SOT 144458 SOS 29384 HAS SOPS 29384 HAS SOUS 18996 HAS SOUPS 18996 WITH SCORE 19025.384
AT ITER 6117 NEW BEST:: SOT 144511 SOS 29437 HAS SOPS 29437 HAS SOUS 18993 HAS SOUPS 18993 WITH SCORE 19022.437
AT ITER 6118 NEW BEST:: SOT 144492 SOS 29399 HAS SOPS 29399 HAS SOUS 18955 HAS SOUPS 18955 WITH SCORE 18984.399
AT ITER 6157 NEW BEST:: SOT 144488 SOS 29376 HAS SOPS 29376 HAS SOUS 18947 HAS SOUPS 18947 WITH SCORE 18976.376
AT ITER 6190 NEW BEST:: SOT 144479 SOS 29367 HAS SOPS 29367 HAS SOUS 18938 HAS SOUPS 18938 WITH SCORE 18967.367
AT ITER 6213 NEW BEST:: SOT 144473 SOS 29360 HAS SOPS 29360 HAS SOUS 18931 HAS SOUPS 18931 WITH SCORE 18960.36
AT ITER 6215 NEW BEST:: SOT 144463 SOS 29340 HAS SOPS 29340 HAS SOUS 18911 HAS SOUPS 18911 WITH SCORE 18940.34
AT ITER 6235 NEW BEST:: SOT 144463 SOS 29340 HAS SOPS 29340 HAS SOUS 18875 HAS SOUPS 18875 WITH SCORE 18904.34
AT ITER 6240 NEW BEST:: SOT 144509 SOS 29407 HAS SOPS 29407 HAS SOUS 18864 HAS SOUPS 18864 WITH SCORE 18893.407
AT ITER 6247 NEW BEST:: SOT 144323 SOS 29221 HAS SOPS 29221 HAS SOUS 18813 HAS SOUPS 18813 WITH SCORE 18842.221
AT ITER 6258 NEW BEST:: SOT 144315 SOS 29213 HAS SOPS 29213 HAS SOUS 18813 HAS SOUPS 18813 WITH SCORE 18842.213
AT ITER 6303 NEW BEST:: SOT 144294 SOS 29191 HAS SOPS 29191 HAS SOUS 18792 HAS SOUPS 18792 WITH SCORE 18821.191
AT ITER 6336 NEW BEST:: SOT 144281 SOS 29215 HAS SOPS 29215 HAS SOUS 18788 HAS SOUPS 18788 WITH SCORE 18817.215
AT ITER 6383 NEW BEST:: SOT 144307 SOS 29135 HAS SOPS 29135 HAS SOUS 18785 HAS SOUPS 18785 WITH SCORE 18814.135
AT ITER 6394 NEW BEST:: SOT 144300 SOS 29121 HAS SOPS 29121 HAS SOUS 18771 HAS SOUPS 18771 WITH SCORE 18800.121
AT ITER 6395 NEW BEST:: SOT 144235 SOS 28773 HAS SOPS 28773 HAS SOUS 18734 HAS SOUPS 18734 WITH SCORE 18762.773
AT ITER 6399 NEW BEST:: SOT 144228 SOS 28760 HAS SOPS 28760 HAS SOUS 18721 HAS SOUPS 18721 WITH SCORE 18749.76
AT ITER 6410 NEW BEST:: SOT 144214 SOS 28721 HAS SOPS 28721 HAS SOUS 18706 HAS SOUPS 18706 WITH SCORE 18734.721
AT ITER 6460 NEW BEST:: SOT 144262 SOS 28817 HAS SOPS 28817 HAS SOUS 18686 HAS SOUPS 18686 WITH SCORE 18714.817
AT ITER 6493 NEW BEST:: SOT 144254 SOS 28801 HAS SOPS 28801 HAS SOUS 18678 HAS SOUPS 18678 WITH SCORE 18706.801
AT ITER 6498 NEW BEST:: SOT 144254 SOS 28793 HAS SOPS 28793 HAS SOUS 18678 HAS SOUPS 18678 WITH SCORE 18706.793
AT ITER 6550 NEW BEST:: SOT 144253 SOS 28784 HAS SOPS 28784 HAS SOUS 18677 HAS SOUPS 18677 WITH SCORE 18705.784
AT ITER 6552 NEW BEST:: SOT 144247 SOS 28753 HAS SOPS 28753 HAS SOUS 18646 HAS SOUPS 18646 WITH SCORE 18674.753
AT ITER 6557 NEW BEST:: SOT 144196 SOS 28680 HAS SOPS 28680 HAS SOUS 18596 HAS SOUPS 18596 WITH SCORE 18624.68
AT ITER 6567 NEW BEST:: SOT 144204 SOS 28673 HAS SOPS 28673 HAS SOUS 18590 HAS SOUPS 18590 WITH SCORE 18618.673
AT ITER 6584 NEW BEST:: SOT 144204 SOS 28676 HAS SOPS 28676 HAS SOUS 18584 HAS SOUPS 18584 WITH SCORE 18612.676
AT ITER 6616 NEW BEST:: SOT 144164 SOS 28624 HAS SOPS 28624 HAS SOUS 18572 HAS SOUPS 18572 WITH SCORE 18600.624
AT ITER 6617 NEW BEST:: SOT 144161 SOS 28618 HAS SOPS 28618 HAS SOUS 18566 HAS SOUPS 18566 WITH SCORE 18594.618
AT ITER 6630 NEW BEST:: SOT 144159 SOS 28612 HAS SOPS 28612 HAS SOUS 18562 HAS SOUPS 18562 WITH SCORE 18590.612
AT ITER 6632 NEW BEST:: SOT 144136 SOS 28589 HAS SOPS 28589 HAS SOUS 18539 HAS SOUPS 18539 WITH SCORE 18567.589
AT ITER 6644 NEW BEST:: SOT 144128 SOS 28735 HAS SOPS 28735 HAS SOUS 18531 HAS SOUPS 18531 WITH SCORE 18559.735
AT ITER 6671 NEW BEST:: SOT 144119 SOS 28717 HAS SOPS 28717 HAS SOUS 18510 HAS SOUPS 18510 WITH SCORE 18538.717
AT ITER 6692 NEW BEST:: SOT 144128 SOS 28661 HAS SOPS 28661 HAS SOUS 18489 HAS SOUPS 18489 WITH SCORE 18517.661
AT ITER 6697 NEW BEST:: SOT 144127 SOS 28659 HAS SOPS 28659 HAS SOUS 18487 HAS SOUPS 18487 WITH SCORE 18515.659
AT ITER 6721 NEW BEST:: SOT 144127 SOS 28645 HAS SOPS 28645 HAS SOUS 18467 HAS SOUPS 18467 WITH SCORE 18495.645
AT ITER 6784 NEW BEST:: SOT 144122 SOS 28635 HAS SOPS 28635 HAS SOUS 18445 HAS SOUPS 18445 WITH SCORE 18473.635
AT ITER 6789 NEW BEST:: SOT 144122 SOS 28635 HAS SOPS 28635 HAS SOUS 18425 HAS SOUPS 18425 WITH SCORE 18453.635
AT ITER 6869 NEW BEST:: SOT 144110 SOS 28629 HAS SOPS 28629 HAS SOUS 18425 HAS SOUPS 18425 WITH SCORE 18453.629
AT ITER 6870 NEW BEST:: SOT 144080 SOS 28599 HAS SOPS 28599 HAS SOUS 18395 HAS SOUPS 18395 WITH SCORE 18423.599
AT ITER 6874 NEW BEST:: SOT 144004 SOS 28447 HAS SOPS 28447 HAS SOUS 18391 HAS SOUPS 18391 WITH SCORE 18419.447
AT ITER 6953 NEW BEST:: SOT 143975 SOS 28446 HAS SOPS 28446 HAS SOUS 18390 HAS SOUPS 18390 WITH SCORE 18418.446
AT ITER 6984 NEW BEST:: SOT 143929 SOS 28393 HAS SOPS 28393 HAS SOUS 18344 HAS SOUPS 18344 WITH SCORE 18372.393
AT ITER 6988 NEW BEST:: SOT 143873 SOS 28337 HAS SOPS 28337 HAS SOUS 18288 HAS SOUPS 18288 WITH SCORE 18316.337
AT ITER 7077 NEW BEST:: SOT 143873 SOS 28333 HAS SOPS 28333 HAS SOUS 18288 HAS SOUPS 18288 WITH SCORE 18316.333
AT ITER 7096 NEW BEST:: SOT 143867 SOS 28332 HAS SOPS 28332 HAS SOUS 18276 HAS SOUPS 18276 WITH SCORE 18304.332
AT ITER 7143 NEW BEST:: SOT 143831 SOS 28296 HAS SOPS 28296 HAS SOUS 18258 HAS SOUPS 18258 WITH SCORE 18286.296
AT ITER 7151 NEW BEST:: SOT 143786 SOS 28206 HAS SOPS 28206 HAS SOUS 18210 HAS SOUPS 18210 WITH SCORE 18238.206
AT ITER 7195 NEW BEST:: SOT 143782 SOS 28202 HAS SOPS 28202 HAS SOUS 18206 HAS SOUPS 18206 WITH SCORE 18234.202
AT ITER 7234 NEW BEST:: SOT 143762 SOS 28162 HAS SOPS 28162 HAS SOUS 18166 HAS SOUPS 18166 WITH SCORE 18194.162
AT ITER 7298 NEW BEST:: SOT 143762 SOS 28158 HAS SOPS 28158 HAS SOUS 18162 HAS SOUPS 18162 WITH SCORE 18190.158
AT ITER 7327 NEW BEST:: SOT 143773 SOS 28151 HAS SOPS 28151 HAS SOUS 18155 HAS SOUPS 18155 WITH SCORE 18183.151
AT ITER 7333 NEW BEST:: SOT 143773 SOS 28151 HAS SOPS 28151 HAS SOUS 18154 HAS SOUPS 18154 WITH SCORE 18182.151
AT ITER 7361 NEW BEST:: SOT 143770 SOS 28148 HAS SOPS 28148 HAS SOUS 18142 HAS SOUPS 18142 WITH SCORE 18170.148
AT ITER 7440 NEW BEST:: SOT 143773 SOS 28160 HAS SOPS 28160 HAS SOUS 18136 HAS SOUPS 18136 WITH SCORE 18164.16
AT ITER 7492 NEW BEST:: SOT 143773 SOS 28158 HAS SOPS 28158 HAS SOUS 18135 HAS SOUPS 18135 WITH SCORE 18163.158
AT ITER 7534 NEW BEST:: SOT 143751 SOS 28125 HAS SOPS 28125 HAS SOUS 18113 HAS SOUPS 18113 WITH SCORE 18141.125
AT ITER 7539 NEW BEST:: SOT 143748 SOS 28119 HAS SOPS 28119 HAS SOUS 18110 HAS SOUPS 18110 WITH SCORE 18138.119
AT ITER 7569 NEW BEST:: SOT 143686 SOS 28079 HAS SOPS 28079 HAS SOUS 18103 HAS SOUPS 18103 WITH SCORE 18131.079
AT ITER 7583 NEW BEST:: SOT 143686 SOS 28079 HAS SOPS 28079 HAS SOUS 18095 HAS SOUPS 18095 WITH SCORE 18123.079
AT ITER 7603 NEW BEST:: SOT 143686 SOS 28071 HAS SOPS 28071 HAS SOUS 18087 HAS SOUPS 18087 WITH SCORE 18115.071
AT ITER 7619 NEW BEST:: SOT 143663 SOS 28048 HAS SOPS 28048 HAS SOUS 18064 HAS SOUPS 18064 WITH SCORE 18092.048
AT ITER 7621 NEW BEST:: SOT 143662 SOS 28046 HAS SOPS 28046 HAS SOUS 18062 HAS SOUPS 18062 WITH SCORE 18090.046
AT ITER 7626 NEW BEST:: SOT 143683 SOS 28073 HAS SOPS 28073 HAS SOUS 18039 HAS SOUPS 18039 WITH SCORE 18067.073
AT ITER 7685 NEW BEST:: SOT 143683 SOS 28072 HAS SOPS 28072 HAS SOUS 18038 HAS SOUPS 18038 WITH SCORE 18066.072
AT ITER 7704 NEW BEST:: SOT 143679 SOS 28064 HAS SOPS 28064 HAS SOUS 18016 HAS SOUPS 18016 WITH SCORE 18044.064
AT ITER 7709 NEW BEST:: SOT 143684 SOS 28063 HAS SOPS 28063 HAS SOUS 18015 HAS SOUPS 18015 WITH SCORE 18043.063
AT ITER 7718 NEW BEST:: SOT 143614 SOS 27923 HAS SOPS 27923 HAS SOUS 17911 HAS SOUPS 17911 WITH SCORE 17938.923
AT ITER 7754 NEW BEST:: SOT 143623 SOS 27941 HAS SOPS 27941 HAS SOUS 17910 HAS SOUPS 17910 WITH SCORE 17937.941
AT ITER 7763 NEW BEST:: SOT 143565 SOS 27883 HAS SOPS 27883 HAS SOUS 17910 HAS SOUPS 17910 WITH SCORE 17937.883
AT ITER 7793 NEW BEST:: SOT 143570 SOS 27893 HAS SOPS 27893 HAS SOUS 17905 HAS SOUPS 17905 WITH SCORE 17932.893
AT ITER 7824 NEW BEST:: SOT 143570 SOS 27892 HAS SOPS 27892 HAS SOUS 17904 HAS SOUPS 17904 WITH SCORE 17931.892
AT ITER 7878 NEW BEST:: SOT 143546 SOS 27860 HAS SOPS 27860 HAS SOUS 17901 HAS SOUPS 17901 WITH SCORE 17928.86
AT ITER 7881 NEW BEST:: SOT 143554 SOS 27815 HAS SOPS 27815 HAS SOUS 17858 HAS SOUPS 17858 WITH SCORE 17885.815
AT ITER 7972 NEW BEST:: SOT 143567 SOS 27775 HAS SOPS 27775 HAS SOUS 17818 HAS SOUPS 17818 WITH SCORE 17845.775
AT ITER 7977 NEW BEST:: SOT 143567 SOS 27724 HAS SOPS 27724 HAS SOUS 17818 HAS SOUPS 17818 WITH SCORE 17845.724
AT ITER 7986 NEW BEST:: SOT 143563 SOS 27720 HAS SOPS 27720 HAS SOUS 17812 HAS SOUPS 17812 WITH SCORE 17839.72
AT ITER 8007 NEW BEST:: SOT 143563 SOS 27720 HAS SOPS 27720 HAS SOUS 17706 HAS SOUPS 17706 WITH SCORE 17733.72
AT ITER 8013 NEW BEST:: SOT 143563 SOS 27663 HAS SOPS 27663 HAS SOUS 17706 HAS SOUPS 17706 WITH SCORE 17733.663
AT ITER 8054 NEW BEST:: SOT 143583 SOS 27703 HAS SOPS 27703 HAS SOUS 17699 HAS SOUPS 17699 WITH SCORE 17726.703
AT ITER 8058 NEW BEST:: SOT 143577 SOS 27701 HAS SOPS 27701 HAS SOUS 17697 HAS SOUPS 17697 WITH SCORE 17724.701
AT ITER 8068 NEW BEST:: SOT 143556 SOS 27624 HAS SOPS 27624 HAS SOUS 17649 HAS SOUPS 17649 WITH SCORE 17676.624
AT ITER 8148 NEW BEST:: SOT 143336 SOS 27342 HAS SOPS 27342 HAS SOUS 17600 HAS SOUPS 17600 WITH SCORE 17627.342
AT ITER 8192 NEW BEST:: SOT 143327 SOS 27324 HAS SOPS 27324 HAS SOUS 17591 HAS SOUPS 17591 WITH SCORE 17618.324
AT ITER 8230 NEW BEST:: SOT 143308 SOS 27300 HAS SOPS 27300 HAS SOUS 17572 HAS SOUPS 17572 WITH SCORE 17599.3
AT ITER 8264 NEW BEST:: SOT 143267 SOS 27284 HAS SOPS 27284 HAS SOUS 17564 HAS SOUPS 17564 WITH SCORE 17591.284
AT ITER 8265 NEW BEST:: SOT 143239 SOS 27228 HAS SOPS 27228 HAS SOUS 17533 HAS SOUPS 17533 WITH SCORE 17560.228
AT ITER 8308 NEW BEST:: SOT 143240 SOS 27226 HAS SOPS 27226 HAS SOUS 17531 HAS SOUPS 17531 WITH SCORE 17558.226
AT ITER 8366 NEW BEST:: SOT 143234 SOS 27217 HAS SOPS 27217 HAS SOUS 17522 HAS SOUPS 17522 WITH SCORE 17549.217
AT ITER 8374 NEW BEST:: SOT 143216 SOS 27203 HAS SOPS 27203 HAS SOUS 17515 HAS SOUPS 17515 WITH SCORE 17542.203
AT ITER 8398 NEW BEST:: SOT 143145 SOS 27132 HAS SOPS 27132 HAS SOUS 17507 HAS SOUPS 17507 WITH SCORE 17534.132
AT ITER 8484 NEW BEST:: SOT 143141 SOS 27124 HAS SOPS 27124 HAS SOUS 17503 HAS SOUPS 17503 WITH SCORE 17530.124
AT ITER 8500 NEW BEST:: SOT 143139 SOS 27122 HAS SOPS 27122 HAS SOUS 17501 HAS SOUPS 17501 WITH SCORE 17528.122
AT ITER 8540 NEW BEST:: SOT 143136 SOS 27119 HAS SOPS 27119 HAS SOUS 17492 HAS SOUPS 17492 WITH SCORE 17519.119
AT ITER 8546 NEW BEST:: SOT 143130 SOS 27113 HAS SOPS 27113 HAS SOUS 17486 HAS SOUPS 17486 WITH SCORE 17513.113
AT ITER 8575 NEW BEST:: SOT 143125 SOS 27103 HAS SOPS 27103 HAS SOUS 17476 HAS SOUPS 17476 WITH SCORE 17503.103
AT ITER 8610 NEW BEST:: SOT 143115 SOS 27064 HAS SOPS 27064 HAS SOUS 17456 HAS SOUPS 17456 WITH SCORE 17483.064
AT ITER 8617 NEW BEST:: SOT 143081 SOS 27030 HAS SOPS 27030 HAS SOUS 17452 HAS SOUPS 17452 WITH SCORE 17479.03
AT ITER 8635 NEW BEST:: SOT 143087 SOS 27024 HAS SOPS 27024 HAS SOUS 17446 HAS SOUPS 17446 WITH SCORE 17473.024
AT ITER 8641 NEW BEST:: SOT 143080 SOS 27020 HAS SOPS 27020 HAS SOUS 17436 HAS SOUPS 17436 WITH SCORE 17463.02
AT ITER 8672 NEW BEST:: SOT 143078 SOS 27014 HAS SOPS 27014 HAS SOUS 17430 HAS SOUPS 17430 WITH SCORE 17457.014
AT ITER 8690 NEW BEST:: SOT 143073 SOS 27004 HAS SOPS 27004 HAS SOUS 17420 HAS SOUPS 17420 WITH SCORE 17447.004
AT ITER 8716 NEW BEST:: SOT 143073 SOS 27002 HAS SOPS 27002 HAS SOUS 17418 HAS SOUPS 17418 WITH SCORE 17445.002
AT ITER 8757 NEW BEST:: SOT 143071 SOS 26998 HAS SOPS 26998 HAS SOUS 17414 HAS SOUPS 17414 WITH SCORE 17440.998
AT ITER 8809 NEW BEST:: SOT 143057 SOS 26970 HAS SOPS 26970 HAS SOUS 17392 HAS SOUPS 17392 WITH SCORE 17418.97
AT ITER 8835 NEW BEST:: SOT 143057 SOS 26970 HAS SOPS 26970 HAS SOUS 17390 HAS SOUPS 17390 WITH SCORE 17416.97
AT ITER 8836 NEW BEST:: SOT 143051 SOS 26958 HAS SOPS 26958 HAS SOUS 17378 HAS SOUPS 17378 WITH SCORE 17404.958
AT ITER 8949 NEW BEST:: SOT 143048 SOS 26952 HAS SOPS 26952 HAS SOUS 17375 HAS SOUPS 17375 WITH SCORE 17401.952
AT ITER 8983 NEW BEST:: SOT 143030 SOS 26934 HAS SOPS 26934 HAS SOUS 17375 HAS SOUPS 17375 WITH SCORE 17401.934
AT ITER 8995 NEW BEST:: SOT 143035 SOS 26930 HAS SOPS 26930 HAS SOUS 17357 HAS SOUPS 17357 WITH SCORE 17383.93
AT ITER 9007 NEW BEST:: SOT 143035 SOS 26930 HAS SOPS 26930 HAS SOUS 17353 HAS SOUPS 17353 WITH SCORE 17379.93
AT ITER 9032 NEW BEST:: SOT 143020 SOS 27036 HAS SOPS 27036 HAS SOUS 17348 HAS SOUPS 17348 WITH SCORE 17375.036
AT ITER 9039 NEW BEST:: SOT 143043 SOS 27029 HAS SOPS 27029 HAS SOUS 17341 HAS SOUPS 17341 WITH SCORE 17368.029
AT ITER 9056 NEW BEST:: SOT 143041 SOS 26987 HAS SOPS 26987 HAS SOUS 17337 HAS SOUPS 17337 WITH SCORE 17363.987
AT ITER 9123 NEW BEST:: SOT 143019 SOS 26943 HAS SOPS 26943 HAS SOUS 17293 HAS SOUPS 17293 WITH SCORE 17319.943
AT ITER 9147 NEW BEST:: SOT 143016 SOS 26940 HAS SOPS 26940 HAS SOUS 17290 HAS SOUPS 17290 WITH SCORE 17316.94
AT ITER 9160 NEW BEST:: SOT 143017 SOS 26890 HAS SOPS 26890 HAS SOUS 17239 HAS SOUPS 17239 WITH SCORE 17265.89
AT ITER 9177 NEW BEST:: SOT 143017 SOS 26874 HAS SOPS 26874 HAS SOUS 17223 HAS SOUPS 17223 WITH SCORE 17249.874
AT ITER 9223 NEW BEST:: SOT 143017 SOS 26871 HAS SOPS 26871 HAS SOUS 17220 HAS SOUPS 17220 WITH SCORE 17246.871
AT ITER 9234 NEW BEST:: SOT 142997 SOS 26865 HAS SOPS 26865 HAS SOUS 17200 HAS SOUPS 17200 WITH SCORE 17226.865
AT ITER 9383 NEW BEST:: SOT 142991 SOS 26899 HAS SOPS 26899 HAS SOUS 17194 HAS SOUPS 17194 WITH SCORE 17220.899
AT ITER 9386 NEW BEST:: SOT 142977 SOS 26891 HAS SOPS 26891 HAS SOUS 17186 HAS SOUPS 17186 WITH SCORE 17212.891
AT ITER 9431 NEW BEST:: SOT 142971 SOS 26885 HAS SOPS 26885 HAS SOUS 17174 HAS SOUPS 17174 WITH SCORE 17200.885
AT ITER 9565 NEW BEST:: SOT 142952 SOS 26847 HAS SOPS 26847 HAS SOUS 17146 HAS SOUPS 17146 WITH SCORE 17172.847
AT ITER 9659 NEW BEST:: SOT 142941 SOS 26825 HAS SOPS 26825 HAS SOUS 17138 HAS SOUPS 17138 WITH SCORE 17164.825
AT ITER 9663 NEW BEST:: SOT 142914 SOS 26798 HAS SOPS 26798 HAS SOUS 17138 HAS SOUPS 17138 WITH SCORE 17164.798
AT ITER 9684 NEW BEST:: SOT 142896 SOS 26757 HAS SOPS 26757 HAS SOUS 17093 HAS SOUPS 17093 WITH SCORE 17119.757
AT ITER 9778 NEW BEST:: SOT 142891 SOS 26751 HAS SOPS 26751 HAS SOUS 17087 HAS SOUPS 17087 WITH SCORE 17113.751
AT ITER 9792 NEW BEST:: SOT 142877 SOS 26737 HAS SOPS 26737 HAS SOUS 17073 HAS SOUPS 17073 WITH SCORE 17099.737
AT ITER 9908 NEW BEST:: SOT 142875 SOS 26733 HAS SOPS 26733 HAS SOUS 17069 HAS SOUPS 17069 WITH SCORE 17095.733
AT ITER 9943 NEW BEST:: SOT 142855 SOS 26693 HAS SOPS 26693 HAS SOUS 17049 HAS SOUPS 17049 WITH SCORE 17075.693

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="SmartHome-PT-16"
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 SmartHome-PT-16, 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 r224-oct2-159033538400128"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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