Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961354700440.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 PolyORBLF-PT-S02J06T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354700440
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 9.5K Apr 12 05:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 33K Apr 12 05:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Apr 11 04:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Apr 11 04:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 8.1K Apr 14 12:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 39K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Apr 14 12:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 33K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.5K Apr 10 12:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 10 12:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Apr 9 17:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 37K Apr 9 17:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.7K Apr 10 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 983K 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 1589642546990

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

Filename model.pnml
Petri model created: 536 places, 1064 transitions, 4866 arcs.
AT ITER 0 NEW BEST:: SOT 349952 SOS 193804 HAS SOPS 190980 HAS SOUS 110674 HAS SOUPS 110339 WITH SCORE 110532.804
AT ITER 11 NEW BEST:: SOT 348412 SOS 192316 HAS SOPS 189492 HAS SOUS 109183 HAS SOUPS 108848 WITH SCORE 109040.316
AT ITER 29 NEW BEST:: SOT 343935 SOS 191960 HAS SOPS 189136 HAS SOUS 108562 HAS SOUPS 108227 WITH SCORE 108418.96
AT ITER 37 NEW BEST:: SOT 341125 SOS 202221 HAS SOPS 201194 HAS SOUS 106492 HAS SOUPS 106292 WITH SCORE 106494.221
AT ITER 63 NEW BEST:: SOT 341090 SOS 202151 HAS SOPS 201124 HAS SOUS 106450 HAS SOUPS 106250 WITH SCORE 106452.151
AT ITER 64 NEW BEST:: SOT 340937 SOS 190498 HAS SOPS 188181 HAS SOUS 106138 HAS SOUPS 105856 WITH SCORE 106046.498
AT ITER 81 NEW BEST:: SOT 340899 SOS 190422 HAS SOPS 188105 HAS SOUS 106138 HAS SOUPS 105856 WITH SCORE 106046.422
AT ITER 101 NEW BEST:: SOT 340857 SOS 190134 HAS SOPS 187817 HAS SOUS 106105 HAS SOUPS 105823 WITH SCORE 106013.134
AT ITER 102 NEW BEST:: SOT 340381 SOS 189746 HAS SOPS 187429 HAS SOUS 105906 HAS SOUPS 105624 WITH SCORE 105813.746
AT ITER 104 NEW BEST:: SOT 340377 SOS 189738 HAS SOPS 187421 HAS SOUS 105889 HAS SOUPS 105607 WITH SCORE 105796.738
AT ITER 106 NEW BEST:: SOT 340377 SOS 189394 HAS SOPS 187077 HAS SOUS 105889 HAS SOUPS 105607 WITH SCORE 105796.394
AT ITER 110 NEW BEST:: SOT 339549 SOS 188566 HAS SOPS 186249 HAS SOUS 105061 HAS SOUPS 104779 WITH SCORE 104967.566
AT ITER 116 NEW BEST:: SOT 339511 SOS 188528 HAS SOPS 186211 HAS SOUS 105023 HAS SOUPS 104741 WITH SCORE 104929.528
AT ITER 118 NEW BEST:: SOT 337482 SOS 186565 HAS SOPS 184248 HAS SOUS 103489 HAS SOUPS 103207 WITH SCORE 103393.565
AT ITER 126 NEW BEST:: SOT 337471 SOS 186493 HAS SOPS 184176 HAS SOUS 103443 HAS SOUPS 103161 WITH SCORE 103347.493
AT ITER 132 NEW BEST:: SOT 336959 SOS 185986 HAS SOPS 183669 HAS SOUS 103120 HAS SOUPS 102838 WITH SCORE 103023.986
AT ITER 139 NEW BEST:: SOT 336938 SOS 185932 HAS SOPS 183615 HAS SOUS 103066 HAS SOUPS 102784 WITH SCORE 102969.932
AT ITER 141 NEW BEST:: SOT 336938 SOS 186016 HAS SOPS 183699 HAS SOUS 102898 HAS SOUPS 102616 WITH SCORE 102802.016
AT ITER 145 NEW BEST:: SOT 334409 SOS 183557 HAS SOPS 181240 HAS SOUS 100270 HAS SOUPS 99988 WITH SCORE 100171.557
AT ITER 157 NEW BEST:: SOT 334382 SOS 183531 HAS SOPS 181214 HAS SOUS 100260 HAS SOUPS 99978 WITH SCORE 100161.531
AT ITER 161 NEW BEST:: SOT 334370 SOS 183519 HAS SOPS 181202 HAS SOUS 100236 HAS SOUPS 99954 WITH SCORE 100137.519
AT ITER 193 NEW BEST:: SOT 334292 SOS 183441 HAS SOPS 181124 HAS SOUS 100101 HAS SOUPS 99819 WITH SCORE 100002.441
AT ITER 199 NEW BEST:: SOT 334256 SOS 183553 HAS SOPS 181250 HAS SOUS 100079 HAS SOUPS 99797 WITH SCORE 99980.553
AT ITER 200 NEW BEST:: SOT 334140 SOS 183408 HAS SOPS 181105 HAS SOUS 99924 HAS SOUPS 99642 WITH SCORE 99825.408
AT ITER 203 NEW BEST:: SOT 334092 SOS 183342 HAS SOPS 181032 HAS SOUS 99711 HAS SOUPS 99429 WITH SCORE 99612.342
AT ITER 221 NEW BEST:: SOT 333996 SOS 183246 HAS SOPS 180936 HAS SOUS 99619 HAS SOUPS 99337 WITH SCORE 99520.246
AT ITER 230 NEW BEST:: SOT 333903 SOS 182955 HAS SOPS 180645 HAS SOUS 99421 HAS SOUPS 99139 WITH SCORE 99321.955
AT ITER 241 NEW BEST:: SOT 330626 SOS 179834 HAS SOPS 177368 HAS SOUS 96230 HAS SOUPS 95862 WITH SCORE 96041.834
AT ITER 243 NEW BEST:: SOT 330411 SOS 179392 HAS SOPS 176926 HAS SOUS 95865 HAS SOUPS 95497 WITH SCORE 95676.392
AT ITER 246 NEW BEST:: SOT 330267 SOS 179148 HAS SOPS 176394 HAS SOUS 95721 HAS SOUPS 95305 WITH SCORE 95484.148
AT ITER 249 NEW BEST:: SOT 330223 SOS 179197 HAS SOPS 176462 HAS SOUS 95686 HAS SOUPS 95271 WITH SCORE 95450.197
AT ITER 255 NEW BEST:: SOT 330185 SOS 179176 HAS SOPS 176536 HAS SOUS 95656 HAS SOUPS 95241 WITH SCORE 95420.176
AT ITER 271 NEW BEST:: SOT 330151 SOS 179108 HAS SOPS 176468 HAS SOUS 95538 HAS SOUPS 95123 WITH SCORE 95302.108
AT ITER 284 NEW BEST:: SOT 330139 SOS 179096 HAS SOPS 176456 HAS SOUS 95526 HAS SOUPS 95111 WITH SCORE 95290.096
AT ITER 291 NEW BEST:: SOT 330053 SOS 179121 HAS SOPS 176481 HAS SOUS 95421 HAS SOUPS 95006 WITH SCORE 95185.121
AT ITER 305 NEW BEST:: SOT 329644 SOS 178796 HAS SOPS 176156 HAS SOUS 95320 HAS SOUPS 94905 WITH SCORE 95083.796
AT ITER 308 NEW BEST:: SOT 326263 SOS 175543 HAS SOPS 172903 HAS SOUS 94105 HAS SOUPS 93690 WITH SCORE 93865.543
AT ITER 310 NEW BEST:: SOT 326167 SOS 175447 HAS SOPS 172807 HAS SOUS 94057 HAS SOUPS 93642 WITH SCORE 93817.447
AT ITER 311 NEW BEST:: SOT 322050 SOS 171330 HAS SOPS 168690 HAS SOUS 92804 HAS SOUPS 92389 WITH SCORE 92560.33
AT ITER 312 NEW BEST:: SOT 322044 SOS 171324 HAS SOPS 168684 HAS SOUS 92798 HAS SOUPS 92383 WITH SCORE 92554.324
AT ITER 326 NEW BEST:: SOT 322015 SOS 171266 HAS SOPS 168626 HAS SOUS 92740 HAS SOUPS 92325 WITH SCORE 92496.266
AT ITER 327 NEW BEST:: SOT 321862 SOS 171113 HAS SOPS 168473 HAS SOUS 92658 HAS SOUPS 92243 WITH SCORE 92414.113
AT ITER 332 NEW BEST:: SOT 321832 SOS 171093 HAS SOPS 168453 HAS SOUS 92638 HAS SOUPS 92223 WITH SCORE 92394.093
AT ITER 346 NEW BEST:: SOT 321776 SOS 171037 HAS SOPS 168397 HAS SOUS 92616 HAS SOUPS 92201 WITH SCORE 92372.037
AT ITER 348 NEW BEST:: SOT 321832 SOS 171093 HAS SOPS 168453 HAS SOUS 92592 HAS SOUPS 92177 WITH SCORE 92348.093
AT ITER 357 NEW BEST:: SOT 319948 SOS 171093 HAS SOPS 168453 HAS SOUS 92218 HAS SOUPS 91803 WITH SCORE 91974.093
AT ITER 370 NEW BEST:: SOT 319782 SOS 170927 HAS SOPS 168287 HAS SOUS 92001 HAS SOUPS 91586 WITH SCORE 91756.927
AT ITER 373 NEW BEST:: SOT 319791 SOS 170954 HAS SOPS 168314 HAS SOUS 91979 HAS SOUPS 91564 WITH SCORE 91734.954
AT ITER 378 NEW BEST:: SOT 319786 SOS 170944 HAS SOPS 168304 HAS SOUS 91969 HAS SOUPS 91554 WITH SCORE 91724.944
AT ITER 381 NEW BEST:: SOT 319453 SOS 170511 HAS SOPS 167871 HAS SOUS 91532 HAS SOUPS 91117 WITH SCORE 91287.511
AT ITER 433 NEW BEST:: SOT 319453 SOS 170205 HAS SOPS 167565 HAS SOUS 91532 HAS SOUPS 91117 WITH SCORE 91287.205
AT ITER 443 NEW BEST:: SOT 319279 SOS 169739 HAS SOPS 167099 HAS SOUS 91190 HAS SOUPS 90775 WITH SCORE 90944.739
AT ITER 449 NEW BEST:: SOT 316512 SOS 167008 HAS SOPS 164368 HAS SOUS 91019 HAS SOUPS 90604 WITH SCORE 90771.008
AT ITER 450 NEW BEST:: SOT 316161 SOS 167532 HAS SOPS 164215 HAS SOUS 90561 HAS SOUPS 90017 WITH SCORE 90184.532
AT ITER 451 NEW BEST:: SOT 316161 SOS 167532 HAS SOPS 164215 HAS SOUS 90151 HAS SOUPS 89607 WITH SCORE 89774.532
AT ITER 454 NEW BEST:: SOT 312128 SOS 165886 HAS SOPS 162569 HAS SOUS 89115 HAS SOUPS 88571 WITH SCORE 88736.886
AT ITER 481 NEW BEST:: SOT 312034 SOS 165786 HAS SOPS 162469 HAS SOUS 89071 HAS SOUPS 88527 WITH SCORE 88692.786
AT ITER 485 NEW BEST:: SOT 311135 SOS 165149 HAS SOPS 161832 HAS SOUS 88559 HAS SOUPS 88015 WITH SCORE 88180.149
AT ITER 499 NEW BEST:: SOT 311117 SOS 164999 HAS SOPS 161682 HAS SOUS 88537 HAS SOUPS 87993 WITH SCORE 88157.999
AT ITER 507 NEW BEST:: SOT 311117 SOS 164567 HAS SOPS 161250 HAS SOUS 88535 HAS SOUPS 87991 WITH SCORE 88155.567
AT ITER 511 NEW BEST:: SOT 311044 SOS 165434 HAS SOPS 162117 HAS SOUS 88530 HAS SOUPS 87986 WITH SCORE 88151.434
AT ITER 527 NEW BEST:: SOT 310650 SOS 165084 HAS SOPS 161767 HAS SOUS 88130 HAS SOUPS 87586 WITH SCORE 87751.084
AT ITER 533 NEW BEST:: SOT 310084 SOS 164518 HAS SOPS 161201 HAS SOUS 87370 HAS SOUPS 86826 WITH SCORE 86990.518
AT ITER 537 NEW BEST:: SOT 310072 SOS 164506 HAS SOPS 161189 HAS SOUS 87358 HAS SOUPS 86814 WITH SCORE 86978.506
AT ITER 543 NEW BEST:: SOT 310016 SOS 164463 HAS SOPS 161146 HAS SOUS 87323 HAS SOUPS 86779 WITH SCORE 86943.463
AT ITER 557 NEW BEST:: SOT 310036 SOS 164424 HAS SOPS 161107 HAS SOUS 87321 HAS SOUPS 86777 WITH SCORE 86941.424
AT ITER 558 NEW BEST:: SOT 308149 SOS 162691 HAS SOPS 159374 HAS SOUS 86918 HAS SOUPS 86374 WITH SCORE 86536.691
AT ITER 565 NEW BEST:: SOT 308113 SOS 162571 HAS SOPS 159254 HAS SOUS 86888 HAS SOUPS 86344 WITH SCORE 86506.571
AT ITER 571 NEW BEST:: SOT 308092 SOS 162550 HAS SOPS 159045 HAS SOUS 86867 HAS SOUPS 86135 WITH SCORE 86297.55
AT ITER 579 NEW BEST:: SOT 308100 SOS 162558 HAS SOPS 159053 HAS SOUS 86826 HAS SOUPS 86094 WITH SCORE 86256.558
AT ITER 583 NEW BEST:: SOT 308100 SOS 163954 HAS SOPS 160065 HAS SOUS 86876 HAS SOUPS 86080 WITH SCORE 86243.954
AT ITER 605 NEW BEST:: SOT 308075 SOS 163929 HAS SOPS 160040 HAS SOUS 86862 HAS SOUPS 86066 WITH SCORE 86229.929
AT ITER 614 NEW BEST:: SOT 307928 SOS 164687 HAS SOPS 160798 HAS SOUS 86744 HAS SOUPS 85948 WITH SCORE 86112.687
AT ITER 619 NEW BEST:: SOT 307929 SOS 164689 HAS SOPS 160800 HAS SOUS 86682 HAS SOUPS 85886 WITH SCORE 86050.689
AT ITER 637 NEW BEST:: SOT 307821 SOS 164550 HAS SOPS 160654 HAS SOUS 86466 HAS SOUPS 85670 WITH SCORE 85834.55
AT ITER 659 NEW BEST:: SOT 307771 SOS 164473 HAS SOPS 160577 HAS SOUS 86339 HAS SOUPS 85543 WITH SCORE 85707.473
AT ITER 665 NEW BEST:: SOT 307681 SOS 164324 HAS SOPS 160428 HAS SOUS 86248 HAS SOUPS 85452 WITH SCORE 85616.324
AT ITER 688 NEW BEST:: SOT 307447 SOS 164102 HAS SOPS 160206 HAS SOUS 86131 HAS SOUPS 85335 WITH SCORE 85499.102
AT ITER 689 NEW BEST:: SOT 307418 SOS 164044 HAS SOPS 160148 HAS SOUS 86073 HAS SOUPS 85277 WITH SCORE 85441.044
AT ITER 699 NEW BEST:: SOT 307366 SOS 164015 HAS SOPS 160119 HAS SOUS 86072 HAS SOUPS 85276 WITH SCORE 85440.015
AT ITER 714 NEW BEST:: SOT 307301 SOS 163967 HAS SOPS 160071 HAS SOUS 85953 HAS SOUPS 85157 WITH SCORE 85320.967
AT ITER 721 NEW BEST:: SOT 307281 SOS 163941 HAS SOPS 160045 HAS SOUS 85913 HAS SOUPS 85117 WITH SCORE 85280.941
AT ITER 723 NEW BEST:: SOT 307274 SOS 163934 HAS SOPS 160038 HAS SOUS 85906 HAS SOUPS 85110 WITH SCORE 85273.934
AT ITER 753 NEW BEST:: SOT 307218 SOS 163753 HAS SOPS 159857 HAS SOUS 85794 HAS SOUPS 84998 WITH SCORE 85161.753
AT ITER 786 NEW BEST:: SOT 307172 SOS 163592 HAS SOPS 159696 HAS SOUS 85725 HAS SOUPS 84929 WITH SCORE 85092.592
AT ITER 787 NEW BEST:: SOT 307166 SOS 163586 HAS SOPS 159690 HAS SOUS 85713 HAS SOUPS 84917 WITH SCORE 85080.586
AT ITER 799 NEW BEST:: SOT 307459 SOS 163887 HAS SOPS 159991 HAS SOUS 85621 HAS SOUPS 84825 WITH SCORE 84988.887
AT ITER 811 NEW BEST:: SOT 307258 SOS 163686 HAS SOPS 159790 HAS SOUS 85406 HAS SOUPS 84610 WITH SCORE 84773.686
AT ITER 818 NEW BEST:: SOT 307284 SOS 163712 HAS SOPS 159816 HAS SOUS 85358 HAS SOUPS 84562 WITH SCORE 84725.712
AT ITER 820 NEW BEST:: SOT 305209 SOS 161817 HAS SOPS 157921 HAS SOUS 84889 HAS SOUPS 84093 WITH SCORE 84254.817
AT ITER 843 NEW BEST:: SOT 305209 SOS 158496 HAS SOPS 154600 HAS SOUS 84870 HAS SOUPS 84074 WITH SCORE 84232.496
AT ITER 853 NEW BEST:: SOT 305119 SOS 157685 HAS SOPS 153789 HAS SOUS 84809 HAS SOUPS 84013 WITH SCORE 84170.685
AT ITER 856 NEW BEST:: SOT 304869 SOS 157435 HAS SOPS 153539 HAS SOUS 84727 HAS SOUPS 83931 WITH SCORE 84088.435
AT ITER 863 NEW BEST:: SOT 304740 SOS 157220 HAS SOPS 153324 HAS SOUS 84545 HAS SOUPS 83749 WITH SCORE 83906.22
AT ITER 866 NEW BEST:: SOT 304396 SOS 156960 HAS SOPS 153064 HAS SOUS 84225 HAS SOUPS 83429 WITH SCORE 83585.96
AT ITER 885 NEW BEST:: SOT 304348 SOS 156816 HAS SOPS 152920 HAS SOUS 84177 HAS SOUPS 83381 WITH SCORE 83537.816
AT ITER 897 NEW BEST:: SOT 304113 SOS 156581 HAS SOPS 152685 HAS SOUS 83924 HAS SOUPS 83128 WITH SCORE 83284.581
AT ITER 901 NEW BEST:: SOT 304009 SOS 156469 HAS SOPS 152573 HAS SOUS 83722 HAS SOUPS 82926 WITH SCORE 83082.469
AT ITER 906 NEW BEST:: SOT 304000 SOS 156442 HAS SOPS 152537 HAS SOUS 83695 HAS SOUPS 82899 WITH SCORE 83055.442
AT ITER 918 NEW BEST:: SOT 303977 SOS 156419 HAS SOPS 152514 HAS SOUS 83645 HAS SOUPS 82849 WITH SCORE 83005.419
AT ITER 942 NEW BEST:: SOT 303831 SOS 156273 HAS SOPS 152368 HAS SOUS 83525 HAS SOUPS 82729 WITH SCORE 82885.273
AT ITER 945 NEW BEST:: SOT 303707 SOS 156204 HAS SOPS 152299 HAS SOUS 83317 HAS SOUPS 82521 WITH SCORE 82677.204
AT ITER 948 NEW BEST:: SOT 303707 SOS 155724 HAS SOPS 151819 HAS SOUS 83317 HAS SOUPS 82521 WITH SCORE 82676.724
AT ITER 967 NEW BEST:: SOT 303695 SOS 155710 HAS SOPS 151805 HAS SOUS 83261 HAS SOUPS 82465 WITH SCORE 82620.71
AT ITER 970 NEW BEST:: SOT 303656 SOS 155671 HAS SOPS 151766 HAS SOUS 83222 HAS SOUPS 82426 WITH SCORE 82581.671
AT ITER 985 NEW BEST:: SOT 303644 SOS 155659 HAS SOPS 151754 HAS SOUS 83184 HAS SOUPS 82388 WITH SCORE 82543.659
AT ITER 992 NEW BEST:: SOT 303640 SOS 155655 HAS SOPS 151750 HAS SOUS 83180 HAS SOUPS 82384 WITH SCORE 82539.655
AT ITER 994 NEW BEST:: SOT 303591 SOS 155606 HAS SOPS 151707 HAS SOUS 83155 HAS SOUPS 82359 WITH SCORE 82514.606
AT ITER 998 NEW BEST:: SOT 303526 SOS 155541 HAS SOPS 151642 HAS SOUS 83013 HAS SOUPS 82217 WITH SCORE 82372.541
AT ITER 1025 NEW BEST:: SOT 303526 SOS 155494 HAS SOPS 151548 HAS SOUS 83013 HAS SOUPS 82217 WITH SCORE 82372.494
AT ITER 1034 NEW BEST:: SOT 303523 SOS 155491 HAS SOPS 151545 HAS SOUS 83007 HAS SOUPS 82211 WITH SCORE 82366.491
AT ITER 1037 NEW BEST:: SOT 303665 SOS 155633 HAS SOPS 151687 HAS SOUS 82967 HAS SOUPS 82171 WITH SCORE 82326.633
AT ITER 1051 NEW BEST:: SOT 303685 SOS 155653 HAS SOPS 151707 HAS SOUS 82962 HAS SOUPS 82166 WITH SCORE 82321.653
AT ITER 1079 NEW BEST:: SOT 303546 SOS 155514 HAS SOPS 151568 HAS SOUS 82823 HAS SOUPS 82027 WITH SCORE 82182.514
AT ITER 1087 NEW BEST:: SOT 303546 SOS 155492 HAS SOPS 151546 HAS SOUS 82427 HAS SOUPS 81631 WITH SCORE 81786.492
AT ITER 1111 NEW BEST:: SOT 303539 SOS 155492 HAS SOPS 151546 HAS SOUS 82420 HAS SOUPS 81624 WITH SCORE 81779.492
AT ITER 1125 NEW BEST:: SOT 303498 SOS 155451 HAS SOPS 151505 HAS SOUS 82379 HAS SOUPS 81583 WITH SCORE 81738.451
AT ITER 1128 NEW BEST:: SOT 303459 SOS 155386 HAS SOPS 151440 HAS SOUS 82314 HAS SOUPS 81518 WITH SCORE 81673.386
AT ITER 1135 NEW BEST:: SOT 303459 SOS 155386 HAS SOPS 151440 HAS SOUS 82301 HAS SOUPS 81505 WITH SCORE 81660.386
AT ITER 1152 NEW BEST:: SOT 303409 SOS 155313 HAS SOPS 151367 HAS SOUS 82213 HAS SOUPS 81417 WITH SCORE 81572.313
AT ITER 1179 NEW BEST:: SOT 303376 SOS 155268 HAS SOPS 151322 HAS SOUS 82147 HAS SOUPS 81351 WITH SCORE 81506.268
AT ITER 1184 NEW BEST:: SOT 303413 SOS 155291 HAS SOPS 151345 HAS SOUS 81969 HAS SOUPS 81173 WITH SCORE 81328.291
AT ITER 1187 NEW BEST:: SOT 303411 SOS 155287 HAS SOPS 151341 HAS SOUS 81965 HAS SOUPS 81169 WITH SCORE 81324.287
AT ITER 1194 NEW BEST:: SOT 303405 SOS 155366 HAS SOPS 151400 HAS SOUS 81925 HAS SOUPS 81129 WITH SCORE 81284.366
AT ITER 1201 NEW BEST:: SOT 303376 SOS 155337 HAS SOPS 151371 HAS SOUS 81867 HAS SOUPS 81071 WITH SCORE 81226.337
AT ITER 1207 NEW BEST:: SOT 303369 SOS 155322 HAS SOPS 151356 HAS SOUS 81852 HAS SOUPS 81056 WITH SCORE 81211.322
AT ITER 1210 NEW BEST:: SOT 303340 SOS 155355 HAS SOPS 151405 HAS SOUS 81839 HAS SOUPS 81043 WITH SCORE 81198.355
AT ITER 1241 NEW BEST:: SOT 303241 SOS 155157 HAS SOPS 151207 HAS SOUS 81641 HAS SOUPS 80845 WITH SCORE 81000.157
AT ITER 1258 NEW BEST:: SOT 303153 SOS 155136 HAS SOPS 151286 HAS SOUS 81580 HAS SOUPS 80784 WITH SCORE 80939.136
AT ITER 1266 NEW BEST:: SOT 303148 SOS 155105 HAS SOPS 151255 HAS SOUS 81544 HAS SOUPS 80748 WITH SCORE 80903.105
AT ITER 1269 NEW BEST:: SOT 303136 SOS 154907 HAS SOPS 151228 HAS SOUS 81517 HAS SOUPS 80730 WITH SCORE 80884.907
AT ITER 1273 NEW BEST:: SOT 302952 SOS 154849 HAS SOPS 151170 HAS SOUS 81418 HAS SOUPS 80631 WITH SCORE 80785.849
AT ITER 1275 NEW BEST:: SOT 302918 SOS 154794 HAS SOPS 151115 HAS SOUS 81363 HAS SOUPS 80576 WITH SCORE 80730.794
AT ITER 1280 NEW BEST:: SOT 302794 SOS 154772 HAS SOPS 151217 HAS SOUS 81291 HAS SOUPS 80504 WITH SCORE 80658.772
AT ITER 1283 NEW BEST:: SOT 302257 SOS 154212 HAS SOPS 150657 HAS SOUS 80868 HAS SOUPS 80081 WITH SCORE 80235.212
AT ITER 1303 NEW BEST:: SOT 302362 SOS 154308 HAS SOPS 150753 HAS SOUS 80493 HAS SOUPS 79706 WITH SCORE 79860.308
AT ITER 1305 NEW BEST:: SOT 302267 SOS 154166 HAS SOPS 150611 HAS SOUS 80321 HAS SOUPS 79534 WITH SCORE 79688.166
AT ITER 1317 NEW BEST:: SOT 302214 SOS 154113 HAS SOPS 150558 HAS SOUS 80215 HAS SOUPS 79428 WITH SCORE 79582.113
AT ITER 1335 NEW BEST:: SOT 302199 SOS 154098 HAS SOPS 150513 HAS SOUS 80200 HAS SOUPS 79383 WITH SCORE 79537.098
AT ITER 1339 NEW BEST:: SOT 302442 SOS 154282 HAS SOPS 150697 HAS SOUS 79669 HAS SOUPS 78852 WITH SCORE 79006.282
AT ITER 1345 NEW BEST:: SOT 302464 SOS 154304 HAS SOPS 150719 HAS SOUS 79657 HAS SOUPS 78840 WITH SCORE 78994.304
AT ITER 1347 NEW BEST:: SOT 302449 SOS 154289 HAS SOPS 150704 HAS SOUS 79652 HAS SOUPS 78835 WITH SCORE 78989.289
AT ITER 1349 NEW BEST:: SOT 302449 SOS 153070 HAS SOPS 149485 HAS SOUS 79643 HAS SOUPS 78826 WITH SCORE 78979.07
AT ITER 1366 NEW BEST:: SOT 302401 SOS 152998 HAS SOPS 149413 HAS SOUS 79547 HAS SOUPS 78730 WITH SCORE 78882.998
AT ITER 1369 NEW BEST:: SOT 302413 SOS 153003 HAS SOPS 149418 HAS SOUS 79536 HAS SOUPS 78719 WITH SCORE 78872.003
AT ITER 1370 NEW BEST:: SOT 302427 SOS 153017 HAS SOPS 149432 HAS SOUS 79508 HAS SOUPS 78691 WITH SCORE 78844.017
AT ITER 1385 NEW BEST:: SOT 302377 SOS 152967 HAS SOPS 149382 HAS SOUS 79417 HAS SOUPS 78600 WITH SCORE 78752.967
AT ITER 1396 NEW BEST:: SOT 302308 SOS 152967 HAS SOPS 149382 HAS SOUS 79364 HAS SOUPS 78547 WITH SCORE 78699.967
AT ITER 1403 NEW BEST:: SOT 302620 SOS 153489 HAS SOPS 149904 HAS SOUS 79160 HAS SOUPS 78343 WITH SCORE 78496.489
AT ITER 1407 NEW BEST:: SOT 302591 SOS 153460 HAS SOPS 149875 HAS SOUS 79119 HAS SOUPS 78302 WITH SCORE 78455.46
AT ITER 1408 NEW BEST:: SOT 302586 SOS 153450 HAS SOPS 149865 HAS SOUS 79109 HAS SOUPS 78292 WITH SCORE 78445.45
AT ITER 1415 NEW BEST:: SOT 302388 SOS 153252 HAS SOPS 149667 HAS SOUS 78911 HAS SOUPS 78094 WITH SCORE 78247.252
AT ITER 1434 NEW BEST:: SOT 302388 SOS 153252 HAS SOPS 149667 HAS SOUS 78904 HAS SOUPS 78087 WITH SCORE 78240.252
AT ITER 1449 NEW BEST:: SOT 298409 SOS 149686 HAS SOPS 146101 HAS SOUS 77554 HAS SOUPS 76737 WITH SCORE 76886.686
AT ITER 1452 NEW BEST:: SOT 298449 SOS 149878 HAS SOPS 146293 HAS SOUS 77481 HAS SOUPS 76664 WITH SCORE 76813.878
AT ITER 1456 NEW BEST:: SOT 298443 SOS 149872 HAS SOPS 146287 HAS SOUS 77475 HAS SOUPS 76658 WITH SCORE 76807.872
AT ITER 1466 NEW BEST:: SOT 298482 SOS 149898 HAS SOPS 146313 HAS SOUS 77370 HAS SOUPS 76553 WITH SCORE 76702.898
AT ITER 1511 NEW BEST:: SOT 298441 SOS 149830 HAS SOPS 146245 HAS SOUS 76775 HAS SOUPS 75958 WITH SCORE 76107.83
AT ITER 1518 NEW BEST:: SOT 298428 SOS 149817 HAS SOPS 146219 HAS SOUS 76760 HAS SOUPS 75941 WITH SCORE 76090.817
AT ITER 1524 NEW BEST:: SOT 298351 SOS 149494 HAS SOPS 145896 HAS SOUS 76647 HAS SOUPS 75828 WITH SCORE 75977.494
AT ITER 1525 NEW BEST:: SOT 298275 SOS 149414 HAS SOPS 145816 HAS SOUS 76495 HAS SOUPS 75676 WITH SCORE 75825.414
AT ITER 1543 NEW BEST:: SOT 298210 SOS 149324 HAS SOPS 145726 HAS SOUS 76405 HAS SOUPS 75586 WITH SCORE 75735.324
AT ITER 1569 NEW BEST:: SOT 298151 SOS 149265 HAS SOPS 145667 HAS SOUS 76266 HAS SOUPS 75447 WITH SCORE 75596.265
AT ITER 1585 NEW BEST:: SOT 298141 SOS 149235 HAS SOPS 145637 HAS SOUS 76236 HAS SOUPS 75417 WITH SCORE 75566.235
AT ITER 1590 NEW BEST:: SOT 298130 SOS 149224 HAS SOPS 145626 HAS SOUS 76163 HAS SOUPS 75344 WITH SCORE 75493.224
AT ITER 1604 NEW BEST:: SOT 298127 SOS 149221 HAS SOPS 145623 HAS SOUS 76162 HAS SOUPS 75343 WITH SCORE 75492.221
AT ITER 1606 NEW BEST:: SOT 298211 SOS 149557 HAS SOPS 145959 HAS SOUS 76094 HAS SOUPS 75275 WITH SCORE 75424.557
AT ITER 1611 NEW BEST:: SOT 298211 SOS 149463 HAS SOPS 145865 HAS SOUS 76094 HAS SOUPS 75275 WITH SCORE 75424.463
AT ITER 1612 NEW BEST:: SOT 298271 SOS 149493 HAS SOPS 145895 HAS SOUS 75791 HAS SOUPS 74972 WITH SCORE 75121.493
AT ITER 1619 NEW BEST:: SOT 298209 SOS 149205 HAS SOPS 145607 HAS SOUS 75713 HAS SOUPS 74894 WITH SCORE 75043.205
AT ITER 1637 NEW BEST:: SOT 298190 SOS 149186 HAS SOPS 145588 HAS SOUS 75676 HAS SOUPS 74857 WITH SCORE 75006.186
AT ITER 1642 NEW BEST:: SOT 298180 SOS 148981 HAS SOPS 145383 HAS SOUS 75637 HAS SOUPS 74818 WITH SCORE 74966.981
AT ITER 1685 NEW BEST:: SOT 298126 SOS 148908 HAS SOPS 145310 HAS SOUS 75557 HAS SOUPS 74738 WITH SCORE 74886.908
AT ITER 1688 NEW BEST:: SOT 298166 SOS 148948 HAS SOPS 145350 HAS SOUS 75505 HAS SOUPS 74686 WITH SCORE 74834.948
AT ITER 1692 NEW BEST:: SOT 298127 SOS 148896 HAS SOPS 145298 HAS SOUS 75450 HAS SOUPS 74631 WITH SCORE 74779.896
AT ITER 1712 NEW BEST:: SOT 298087 SOS 148870 HAS SOPS 145272 HAS SOUS 75424 HAS SOUPS 74605 WITH SCORE 74753.87
AT ITER 1716 NEW BEST:: SOT 298084 SOS 148809 HAS SOPS 145211 HAS SOUS 75418 HAS SOUPS 74599 WITH SCORE 74747.809
AT ITER 1739 NEW BEST:: SOT 297931 SOS 148491 HAS SOPS 144893 HAS SOUS 75100 HAS SOUPS 74281 WITH SCORE 74429.491
AT ITER 1791 NEW BEST:: SOT 297886 SOS 148416 HAS SOPS 144818 HAS SOUS 75025 HAS SOUPS 74206 WITH SCORE 74354.416
AT ITER 1799 NEW BEST:: SOT 297773 SOS 148211 HAS SOPS 144613 HAS SOUS 74875 HAS SOUPS 74056 WITH SCORE 74204.211
AT ITER 1814 NEW BEST:: SOT 297773 SOS 148211 HAS SOPS 144613 HAS SOUS 74833 HAS SOUPS 74014 WITH SCORE 74162.211
AT ITER 1823 NEW BEST:: SOT 297770 SOS 148208 HAS SOPS 144610 HAS SOUS 74827 HAS SOUPS 74008 WITH SCORE 74156.208
AT ITER 1845 NEW BEST:: SOT 297762 SOS 148192 HAS SOPS 144594 HAS SOUS 74811 HAS SOUPS 73992 WITH SCORE 74140.192
AT ITER 1857 NEW BEST:: SOT 297492 SOS 147941 HAS SOPS 144343 HAS SOUS 74568 HAS SOUPS 73749 WITH SCORE 73896.941
AT ITER 1882 NEW BEST:: SOT 297392 SOS 147826 HAS SOPS 143040 HAS SOUS 74543 HAS SOUPS 73526 WITH SCORE 73673.826
AT ITER 1893 NEW BEST:: SOT 297283 SOS 147856 HAS SOPS 143070 HAS SOUS 74506 HAS SOUPS 73489 WITH SCORE 73636.856
AT ITER 1906 NEW BEST:: SOT 297283 SOS 147424 HAS SOPS 142638 HAS SOUS 74506 HAS SOUPS 73489 WITH SCORE 73636.424
AT ITER 1914 NEW BEST:: SOT 297290 SOS 147431 HAS SOPS 142633 HAS SOUS 74459 HAS SOUPS 73432 WITH SCORE 73579.431
AT ITER 1971 NEW BEST:: SOT 297290 SOS 147503 HAS SOPS 142705 HAS SOUS 74433 HAS SOUPS 73406 WITH SCORE 73553.503
AT ITER 1972 NEW BEST:: SOT 297278 SOS 147479 HAS SOPS 142681 HAS SOUS 74409 HAS SOUPS 73382 WITH SCORE 73529.479
AT ITER 1984 NEW BEST:: SOT 297162 SOS 147449 HAS SOPS 142739 HAS SOUS 74375 HAS SOUPS 73348 WITH SCORE 73495.449
AT ITER 1987 NEW BEST:: SOT 297177 SOS 147353 HAS SOPS 142643 HAS SOUS 74256 HAS SOUPS 73229 WITH SCORE 73376.353
AT ITER 2012 NEW BEST:: SOT 297162 SOS 147338 HAS SOPS 142628 HAS SOUS 74226 HAS SOUPS 73199 WITH SCORE 73346.338
AT ITER 2020 NEW BEST:: SOT 296915 SOS 146727 HAS SOPS 142013 HAS SOUS 73872 HAS SOUPS 72845 WITH SCORE 72991.727
AT ITER 2069 NEW BEST:: SOT 296890 SOS 146702 HAS SOPS 141988 HAS SOUS 73822 HAS SOUPS 72795 WITH SCORE 72941.702
AT ITER 2082 NEW BEST:: SOT 296837 SOS 146640 HAS SOPS 141926 HAS SOUS 73748 HAS SOUPS 72721 WITH SCORE 72867.64
AT ITER 2098 NEW BEST:: SOT 296874 SOS 146677 HAS SOPS 141963 HAS SOUS 73742 HAS SOUPS 72715 WITH SCORE 72861.677
AT ITER 2106 NEW BEST:: SOT 296874 SOS 146779 HAS SOPS 142065 HAS SOUS 73691 HAS SOUPS 72664 WITH SCORE 72810.779
AT ITER 2108 NEW BEST:: SOT 296115 SOS 145903 HAS SOPS 141189 HAS SOUS 73087 HAS SOUPS 72060 WITH SCORE 72205.903
AT ITER 2114 NEW BEST:: SOT 295950 SOS 145613 HAS SOPS 140899 HAS SOUS 72882 HAS SOUPS 71855 WITH SCORE 72000.613
AT ITER 2135 NEW BEST:: SOT 295855 SOS 145308 HAS SOPS 140594 HAS SOUS 72741 HAS SOUPS 71714 WITH SCORE 71859.308
AT ITER 2141 NEW BEST:: SOT 295844 SOS 145297 HAS SOPS 140583 HAS SOUS 72631 HAS SOUPS 71604 WITH SCORE 71749.297
AT ITER 2151 NEW BEST:: SOT 295819 SOS 145222 HAS SOPS 140508 HAS SOUS 72581 HAS SOUPS 71554 WITH SCORE 71699.222
AT ITER 2164 NEW BEST:: SOT 295794 SOS 145172 HAS SOPS 140458 HAS SOUS 72531 HAS SOUPS 71504 WITH SCORE 71649.172
AT ITER 2166 NEW BEST:: SOT 295740 SOS 145204 HAS SOPS 140490 HAS SOUS 72523 HAS SOUPS 71496 WITH SCORE 71641.204
AT ITER 2209 NEW BEST:: SOT 295711 SOS 145175 HAS SOPS 140461 HAS SOUS 72465 HAS SOUPS 71438 WITH SCORE 71583.175
AT ITER 2241 NEW BEST:: SOT 295658 SOS 145122 HAS SOPS 140408 HAS SOUS 72426 HAS SOUPS 71399 WITH SCORE 71544.122
AT ITER 2278 NEW BEST:: SOT 295441 SOS 144995 HAS SOPS 140281 HAS SOUS 72426 HAS SOUPS 71399 WITH SCORE 71543.995
AT ITER 2282 NEW BEST:: SOT 295298 SOS 144805 HAS SOPS 140091 HAS SOUS 72173 HAS SOUPS 71146 WITH SCORE 71290.805
AT ITER 2284 NEW BEST:: SOT 295202 SOS 144645 HAS SOPS 139931 HAS SOUS 72013 HAS SOUPS 70986 WITH SCORE 71130.645
AT ITER 2299 NEW BEST:: SOT 295201 SOS 144640 HAS SOPS 139926 HAS SOUS 72013 HAS SOUPS 70986 WITH SCORE 71130.64
AT ITER 2305 NEW BEST:: SOT 295194 SOS 144633 HAS SOPS 139919 HAS SOUS 72001 HAS SOUPS 70974 WITH SCORE 71118.633
AT ITER 2312 NEW BEST:: SOT 294898 SOS 144423 HAS SOPS 139709 HAS SOUS 71821 HAS SOUPS 70794 WITH SCORE 70938.423
AT ITER 2321 NEW BEST:: SOT 294820 SOS 144314 HAS SOPS 139600 HAS SOUS 71711 HAS SOUPS 70684 WITH SCORE 70828.314
AT ITER 2339 NEW BEST:: SOT 294698 SOS 144162 HAS SOPS 139448 HAS SOUS 71574 HAS SOUPS 70547 WITH SCORE 70691.162
AT ITER 2361 NEW BEST:: SOT 294698 SOS 144162 HAS SOPS 139448 HAS SOUS 71532 HAS SOUPS 70505 WITH SCORE 70649.162
AT ITER 2379 NEW BEST:: SOT 294465 SOS 144006 HAS SOPS 139292 HAS SOUS 71383 HAS SOUPS 70356 WITH SCORE 70500.006
AT ITER 2382 NEW BEST:: SOT 294465 SOS 144006 HAS SOPS 139292 HAS SOUS 71382 HAS SOUPS 70355 WITH SCORE 70499.006
AT ITER 2385 NEW BEST:: SOT 294474 SOS 143945 HAS SOPS 139231 HAS SOUS 71342 HAS SOUPS 70315 WITH SCORE 70458.945
AT ITER 2393 NEW BEST:: SOT 294652 SOS 144003 HAS SOPS 139289 HAS SOUS 71275 HAS SOUPS 70248 WITH SCORE 70392.003
AT ITER 2426 NEW BEST:: SOT 294520 SOS 143871 HAS SOPS 139157 HAS SOUS 70816 HAS SOUPS 69789 WITH SCORE 69932.871
AT ITER 2429 NEW BEST:: SOT 294520 SOS 143463 HAS SOPS 138749 HAS SOUS 70814 HAS SOUPS 69787 WITH SCORE 69930.463
AT ITER 2430 NEW BEST:: SOT 294427 SOS 143354 HAS SOPS 138640 HAS SOUS 70719 HAS SOUPS 69692 WITH SCORE 69835.354
AT ITER 2433 NEW BEST:: SOT 294322 SOS 143237 HAS SOPS 138616 HAS SOUS 70625 HAS SOUPS 69598 WITH SCORE 69741.237
AT ITER 2437 NEW BEST:: SOT 294302 SOS 143226 HAS SOPS 138605 HAS SOUS 70605 HAS SOUPS 69578 WITH SCORE 69721.226
AT ITER 2439 NEW BEST:: SOT 294290 SOS 143214 HAS SOPS 138593 HAS SOUS 70581 HAS SOUPS 69554 WITH SCORE 69697.214
AT ITER 2448 NEW BEST:: SOT 294285 SOS 143209 HAS SOPS 138588 HAS SOUS 70571 HAS SOUPS 69544 WITH SCORE 69687.209
AT ITER 2462 NEW BEST:: SOT 294285 SOS 143201 HAS SOPS 138580 HAS SOUS 70571 HAS SOUPS 69544 WITH SCORE 69687.201
AT ITER 2463 NEW BEST:: SOT 294309 SOS 143225 HAS SOPS 138604 HAS SOUS 70562 HAS SOUPS 69535 WITH SCORE 69678.225
AT ITER 2482 NEW BEST:: SOT 294299 SOS 143215 HAS SOPS 138594 HAS SOUS 70542 HAS SOUPS 69515 WITH SCORE 69658.215
AT ITER 2494 NEW BEST:: SOT 294265 SOS 143181 HAS SOPS 138492 HAS SOUS 70506 HAS SOUPS 69479 WITH SCORE 69622.181
AT ITER 2496 NEW BEST:: SOT 294227 SOS 142980 HAS SOPS 138291 HAS SOUS 70430 HAS SOUPS 69403 WITH SCORE 69545.98
AT ITER 2512 NEW BEST:: SOT 294196 SOS 142949 HAS SOPS 138260 HAS SOUS 70368 HAS SOUPS 69341 WITH SCORE 69483.949
AT ITER 2521 NEW BEST:: SOT 294194 SOS 142947 HAS SOPS 138258 HAS SOUS 70366 HAS SOUPS 69339 WITH SCORE 69481.947
AT ITER 2563 NEW BEST:: SOT 294190 SOS 142940 HAS SOPS 138251 HAS SOUS 70360 HAS SOUPS 69333 WITH SCORE 69475.94
AT ITER 2611 NEW BEST:: SOT 294151 SOS 142784 HAS SOPS 138095 HAS SOUS 70282 HAS SOUPS 69255 WITH SCORE 69397.784
AT ITER 2619 NEW BEST:: SOT 294151 SOS 142763 HAS SOPS 138074 HAS SOUS 70279 HAS SOUPS 69252 WITH SCORE 69394.763
AT ITER 2634 NEW BEST:: SOT 294145 SOS 142757 HAS SOPS 138068 HAS SOUS 70275 HAS SOUPS 69248 WITH SCORE 69390.757
AT ITER 2643 NEW BEST:: SOT 294119 SOS 142731 HAS SOPS 138042 HAS SOUS 70249 HAS SOUPS 69222 WITH SCORE 69364.731
AT ITER 2656 NEW BEST:: SOT 294101 SOS 142701 HAS SOPS 138012 HAS SOUS 70219 HAS SOUPS 69192 WITH SCORE 69334.701
AT ITER 2679 NEW BEST:: SOT 294018 SOS 142576 HAS SOPS 137887 HAS SOUS 70005 HAS SOUPS 68978 WITH SCORE 69120.576
AT ITER 2686 NEW BEST:: SOT 293847 SOS 142481 HAS SOPS 137792 HAS SOUS 69920 HAS SOUPS 68893 WITH SCORE 69035.481
AT ITER 2703 NEW BEST:: SOT 293847 SOS 142476 HAS SOPS 137787 HAS SOUS 69915 HAS SOUPS 68888 WITH SCORE 69030.476
AT ITER 2719 NEW BEST:: SOT 293798 SOS 142230 HAS SOPS 137727 HAS SOUS 69833 HAS SOUPS 68837 WITH SCORE 68979.23
AT ITER 2738 NEW BEST:: SOT 293798 SOS 142233 HAS SOPS 137730 HAS SOUS 69797 HAS SOUPS 68801 WITH SCORE 68943.233
AT ITER 2743 NEW BEST:: SOT 293790 SOS 142170 HAS SOPS 137627 HAS SOUS 69720 HAS SOUPS 68724 WITH SCORE 68866.17
AT ITER 2754 NEW BEST:: SOT 293784 SOS 142105 HAS SOPS 137562 HAS SOUS 69667 HAS SOUPS 68671 WITH SCORE 68813.105
AT ITER 2769 NEW BEST:: SOT 293766 SOS 142087 HAS SOPS 137544 HAS SOUS 69649 HAS SOUPS 68653 WITH SCORE 68795.087
AT ITER 2776 NEW BEST:: SOT 293690 SOS 141935 HAS SOPS 137354 HAS SOUS 69497 HAS SOUPS 68501 WITH SCORE 68642.935
AT ITER 2779 NEW BEST:: SOT 293668 SOS 141913 HAS SOPS 137332 HAS SOUS 69475 HAS SOUPS 68479 WITH SCORE 68620.913
AT ITER 2817 NEW BEST:: SOT 293668 SOS 141912 HAS SOPS 137331 HAS SOUS 69475 HAS SOUPS 68479 WITH SCORE 68620.912
AT ITER 2823 NEW BEST:: SOT 293645 SOS 141959 HAS SOPS 137378 HAS SOUS 69471 HAS SOUPS 68475 WITH SCORE 68616.959
AT ITER 2834 NEW BEST:: SOT 293666 SOS 141980 HAS SOPS 137399 HAS SOUS 69425 HAS SOUPS 68429 WITH SCORE 68570.98
AT ITER 2854 NEW BEST:: SOT 293687 SOS 142001 HAS SOPS 137420 HAS SOUS 69418 HAS SOUPS 68422 WITH SCORE 68564.001
AT ITER 2883 NEW BEST:: SOT 293663 SOS 141929 HAS SOPS 137348 HAS SOUS 69394 HAS SOUPS 68398 WITH SCORE 68539.929
AT ITER 2895 NEW BEST:: SOT 293649 SOS 142045 HAS SOPS 137464 HAS SOUS 69351 HAS SOUPS 68355 WITH SCORE 68497.045
AT ITER 2899 NEW BEST:: SOT 293527 SOS 141916 HAS SOPS 137342 HAS SOUS 69250 HAS SOUPS 68254 WITH SCORE 68395.916
AT ITER 2936 NEW BEST:: SOT 293440 SOS 141814 HAS SOPS 137240 HAS SOUS 69148 HAS SOUPS 68152 WITH SCORE 68293.814
AT ITER 2969 NEW BEST:: SOT 293411 SOS 141785 HAS SOPS 137211 HAS SOUS 69117 HAS SOUPS 68121 WITH SCORE 68262.785
AT ITER 2983 NEW BEST:: SOT 293289 SOS 141663 HAS SOPS 137089 HAS SOUS 68995 HAS SOUPS 67999 WITH SCORE 68140.663
AT ITER 3004 NEW BEST:: SOT 293289 SOS 141765 HAS SOPS 137191 HAS SOUS 68993 HAS SOUPS 67997 WITH SCORE 68138.765
AT ITER 3012 NEW BEST:: SOT 293284 SOS 141750 HAS SOPS 137171 HAS SOUS 68978 HAS SOUPS 67982 WITH SCORE 68123.75
AT ITER 3018 NEW BEST:: SOT 292181 SOS 140664 HAS SOPS 136085 HAS SOUS 68652 HAS SOUPS 67656 WITH SCORE 67796.664
AT ITER 3021 NEW BEST:: SOT 291499 SOS 139990 HAS SOPS 135411 HAS SOUS 68286 HAS SOUPS 67290 WITH SCORE 67429.99
AT ITER 3033 NEW BEST:: SOT 291490 SOS 140000 HAS SOPS 135421 HAS SOUS 68268 HAS SOUPS 67272 WITH SCORE 67412.0
AT ITER 3061 NEW BEST:: SOT 291456 SOS 140002 HAS SOPS 135423 HAS SOUS 68200 HAS SOUPS 67204 WITH SCORE 67344.002
AT ITER 3066 NEW BEST:: SOT 291458 SOS 139537 HAS SOPS 134958 HAS SOUS 68097 HAS SOUPS 67101 WITH SCORE 67240.537
AT ITER 3101 NEW BEST:: SOT 291446 SOS 139572 HAS SOPS 135000 HAS SOUS 68085 HAS SOUPS 67089 WITH SCORE 67228.572
AT ITER 3110 NEW BEST:: SOT 291212 SOS 139338 HAS SOPS 134766 HAS SOUS 68056 HAS SOUPS 67060 WITH SCORE 67199.338
AT ITER 3111 NEW BEST:: SOT 291098 SOS 139145 HAS SOPS 134573 HAS SOUS 67986 HAS SOUPS 66990 WITH SCORE 67129.145
AT ITER 3115 NEW BEST:: SOT 291074 SOS 139121 HAS SOPS 134549 HAS SOUS 67962 HAS SOUPS 66966 WITH SCORE 67105.121
AT ITER 3123 NEW BEST:: SOT 291043 SOS 139090 HAS SOPS 134518 HAS SOUS 67920 HAS SOUPS 66924 WITH SCORE 67063.09
AT ITER 3128 NEW BEST:: SOT 291081 SOS 139073 HAS SOPS 134501 HAS SOUS 67903 HAS SOUPS 66907 WITH SCORE 67046.073
AT ITER 3133 NEW BEST:: SOT 291062 SOS 139140 HAS SOPS 134585 HAS SOUS 67902 HAS SOUPS 66906 WITH SCORE 67045.14
AT ITER 3138 NEW BEST:: SOT 291062 SOS 139078 HAS SOPS 134523 HAS SOUS 67902 HAS SOUPS 66906 WITH SCORE 67045.078
AT ITER 3166 NEW BEST:: SOT 291060 SOS 139076 HAS SOPS 134521 HAS SOUS 67898 HAS SOUPS 66902 WITH SCORE 67041.076
AT ITER 3180 NEW BEST:: SOT 291060 SOS 139070 HAS SOPS 134515 HAS SOUS 67892 HAS SOUPS 66896 WITH SCORE 67035.07
AT ITER 3181 NEW BEST:: SOT 291036 SOS 139046 HAS SOPS 134491 HAS SOUS 67868 HAS SOUPS 66872 WITH SCORE 67011.046
AT ITER 3190 NEW BEST:: SOT 291016 SOS 139026 HAS SOPS 134471 HAS SOUS 67828 HAS SOUPS 66832 WITH SCORE 66971.026
AT ITER 3197 NEW BEST:: SOT 290979 SOS 139288 HAS SOPS 134733 HAS SOUS 67750 HAS SOUPS 66754 WITH SCORE 66893.288
AT ITER 3211 NEW BEST:: SOT 290967 SOS 139276 HAS SOPS 134721 HAS SOUS 67738 HAS SOUPS 66742 WITH SCORE 66881.276
AT ITER 3218 NEW BEST:: SOT 290959 SOS 139268 HAS SOPS 134700 HAS SOUS 67709 HAS SOUPS 66713 WITH SCORE 66852.268
AT ITER 3226 NEW BEST:: SOT 290953 SOS 139256 HAS SOPS 134688 HAS SOUS 67703 HAS SOUPS 66707 WITH SCORE 66846.256
AT ITER 3234 NEW BEST:: SOT 290937 SOS 139240 HAS SOPS 134672 HAS SOUS 67671 HAS SOUPS 66675 WITH SCORE 66814.24
AT ITER 3243 NEW BEST:: SOT 290925 SOS 139228 HAS SOPS 134660 HAS SOUS 67671 HAS SOUPS 66675 WITH SCORE 66814.228
AT ITER 3281 NEW BEST:: SOT 290916 SOS 139218 HAS SOPS 134650 HAS SOUS 67662 HAS SOUPS 66666 WITH SCORE 66805.218
AT ITER 3324 NEW BEST:: SOT 290943 SOS 139211 HAS SOPS 134643 HAS SOUS 67401 HAS SOUPS 66405 WITH SCORE 66544.211
AT ITER 3325 NEW BEST:: SOT 290954 SOS 139188 HAS SOPS 134620 HAS SOUS 67399 HAS SOUPS 66403 WITH SCORE 66542.188
AT ITER 3327 NEW BEST:: SOT 290999 SOS 139233 HAS SOPS 134665 HAS SOUS 67369 HAS SOUPS 66373 WITH SCORE 66512.233
AT ITER 3338 NEW BEST:: SOT 290960 SOS 139196 HAS SOPS 134628 HAS SOUS 67267 HAS SOUPS 66271 WITH SCORE 66410.196
AT ITER 3350 NEW BEST:: SOT 290951 SOS 139178 HAS SOPS 134610 HAS SOUS 67249 HAS SOUPS 66253 WITH SCORE 66392.178
AT ITER 3352 NEW BEST:: SOT 290829 SOS 139018 HAS SOPS 134450 HAS SOUS 67217 HAS SOUPS 66221 WITH SCORE 66360.018
AT ITER 3397 NEW BEST:: SOT 290763 SOS 138909 HAS SOPS 134341 HAS SOUS 67108 HAS SOUPS 66112 WITH SCORE 66250.909
AT ITER 3400 NEW BEST:: SOT 290763 SOS 138708 HAS SOPS 134140 HAS SOUS 67046 HAS SOUPS 66050 WITH SCORE 66188.708
AT ITER 3402 NEW BEST:: SOT 290745 SOS 138699 HAS SOPS 134131 HAS SOUS 67037 HAS SOUPS 66041 WITH SCORE 66179.699
AT ITER 3415 NEW BEST:: SOT 290737 SOS 138691 HAS SOPS 134123 HAS SOUS 67027 HAS SOUPS 66031 WITH SCORE 66169.691
AT ITER 3416 NEW BEST:: SOT 290735 SOS 138689 HAS SOPS 134121 HAS SOUS 67025 HAS SOUPS 66029 WITH SCORE 66167.689
AT ITER 3423 NEW BEST:: SOT 290711 SOS 138651 HAS SOPS 134083 HAS SOUS 66755 HAS SOUPS 65759 WITH SCORE 65897.651
AT ITER 3435 NEW BEST:: SOT 290645 SOS 138519 HAS SOPS 133951 HAS SOUS 66623 HAS SOUPS 65627 WITH SCORE 65765.519
AT ITER 3442 NEW BEST:: SOT 290639 SOS 138507 HAS SOPS 133939 HAS SOUS 66611 HAS SOUPS 65615 WITH SCORE 65753.507
AT ITER 3444 NEW BEST:: SOT 290600 SOS 138308 HAS SOPS 133740 HAS SOUS 66561 HAS SOUPS 65565 WITH SCORE 65703.308
AT ITER 3454 NEW BEST:: SOT 290613 SOS 138276 HAS SOPS 133708 HAS SOUS 66558 HAS SOUPS 65562 WITH SCORE 65700.276
AT ITER 3455 NEW BEST:: SOT 290613 SOS 138276 HAS SOPS 133708 HAS SOUS 66555 HAS SOUPS 65559 WITH SCORE 65697.276
AT ITER 3492 NEW BEST:: SOT 290606 SOS 138262 HAS SOPS 133694 HAS SOUS 66541 HAS SOUPS 65545 WITH SCORE 65683.262
AT ITER 3498 NEW BEST:: SOT 290600 SOS 138253 HAS SOPS 133685 HAS SOUS 66532 HAS SOUPS 65536 WITH SCORE 65674.253
AT ITER 3506 NEW BEST:: SOT 290541 SOS 138187 HAS SOPS 133619 HAS SOUS 66414 HAS SOUPS 65418 WITH SCORE 65556.187
AT ITER 3592 NEW BEST:: SOT 290383 SOS 137947 HAS SOPS 133379 HAS SOUS 66112 HAS SOUPS 65116 WITH SCORE 65253.947
AT ITER 3600 NEW BEST:: SOT 290673 SOS 138248 HAS SOPS 133680 HAS SOUS 66057 HAS SOUPS 65061 WITH SCORE 65199.248
AT ITER 3623 NEW BEST:: SOT 290589 SOS 138137 HAS SOPS 133569 HAS SOUS 65929 HAS SOUPS 64933 WITH SCORE 65071.137
AT ITER 3632 NEW BEST:: SOT 290579 SOS 138041 HAS SOPS 133529 HAS SOUS 65909 HAS SOUPS 64913 WITH SCORE 65051.041
AT ITER 3642 NEW BEST:: SOT 290557 SOS 137986 HAS SOPS 133474 HAS SOUS 65887 HAS SOUPS 64891 WITH SCORE 65028.986
AT ITER 3643 NEW BEST:: SOT 290353 SOS 137837 HAS SOPS 133325 HAS SOUS 65624 HAS SOUPS 64628 WITH SCORE 64765.837
AT ITER 3653 NEW BEST:: SOT 290304 SOS 137845 HAS SOPS 133333 HAS SOUS 65565 HAS SOUPS 64569 WITH SCORE 64706.845
AT ITER 3671 NEW BEST:: SOT 290275 SOS 137816 HAS SOPS 133304 HAS SOUS 65544 HAS SOUPS 64548 WITH SCORE 64685.816
AT ITER 3727 NEW BEST:: SOT 290233 SOS 137754 HAS SOPS 133242 HAS SOUS 65440 HAS SOUPS 64444 WITH SCORE 64581.754
AT ITER 3753 NEW BEST:: SOT 290251 SOS 137763 HAS SOPS 133251 HAS SOUS 65314 HAS SOUPS 64318 WITH SCORE 64455.763
AT ITER 3797 NEW BEST:: SOT 290017 SOS 137529 HAS SOPS 133017 HAS SOUS 64917 HAS SOUPS 63921 WITH SCORE 64058.529
AT ITER 3809 NEW BEST:: SOT 290006 SOS 137518 HAS SOPS 133012 HAS SOUS 64906 HAS SOUPS 63916 WITH SCORE 64053.518
AT ITER 3834 NEW BEST:: SOT 289972 SOS 137593 HAS SOPS 133087 HAS SOUS 64878 HAS SOUPS 63888 WITH SCORE 64025.593
AT ITER 3836 NEW BEST:: SOT 289968 SOS 137589 HAS SOPS 133083 HAS SOUS 64870 HAS SOUPS 63880 WITH SCORE 64017.589
AT ITER 3854 NEW BEST:: SOT 289971 SOS 137583 HAS SOPS 133077 HAS SOUS 64864 HAS SOUPS 63874 WITH SCORE 64011.583
AT ITER 3855 NEW BEST:: SOT 289959 SOS 137571 HAS SOPS 133065 HAS SOUS 64859 HAS SOUPS 63869 WITH SCORE 64006.571
AT ITER 3857 NEW BEST:: SOT 289932 SOS 137679 HAS SOPS 133173 HAS SOUS 64823 HAS SOUPS 63833 WITH SCORE 63970.679
AT ITER 3914 NEW BEST:: SOT 290011 SOS 137760 HAS SOPS 133204 HAS SOUS 64776 HAS SOUPS 63786 WITH SCORE 63923.76
AT ITER 3915 NEW BEST:: SOT 289955 SOS 137603 HAS SOPS 133047 HAS SOUS 64664 HAS SOUPS 63674 WITH SCORE 63811.603
AT ITER 3926 NEW BEST:: SOT 289954 SOS 137601 HAS SOPS 133045 HAS SOUS 64658 HAS SOUPS 63668 WITH SCORE 63805.601
AT ITER 3946 NEW BEST:: SOT 289857 SOS 137440 HAS SOPS 132884 HAS SOUS 64557 HAS SOUPS 63567 WITH SCORE 63704.44
AT ITER 3964 NEW BEST:: SOT 289786 SOS 137371 HAS SOPS 132815 HAS SOUS 64517 HAS SOUPS 63527 WITH SCORE 63664.371
AT ITER 3983 NEW BEST:: SOT 289774 SOS 137359 HAS SOPS 132803 HAS SOUS 64510 HAS SOUPS 63520 WITH SCORE 63657.359
AT ITER 3985 NEW BEST:: SOT 289774 SOS 137357 HAS SOPS 132801 HAS SOUS 64509 HAS SOUPS 63519 WITH SCORE 63656.357
AT ITER 3987 NEW BEST:: SOT 289782 SOS 137365 HAS SOPS 132809 HAS SOUS 64505 HAS SOUPS 63515 WITH SCORE 63652.365
AT ITER 3989 NEW BEST:: SOT 289778 SOS 137361 HAS SOPS 132805 HAS SOUS 64497 HAS SOUPS 63507 WITH SCORE 63644.361
AT ITER 4008 NEW BEST:: SOT 289829 SOS 137412 HAS SOPS 132856 HAS SOUS 64423 HAS SOUPS 63433 WITH SCORE 63570.412
AT ITER 4028 NEW BEST:: SOT 289794 SOS 137342 HAS SOPS 132786 HAS SOUS 64353 HAS SOUPS 63363 WITH SCORE 63500.342
AT ITER 4030 NEW BEST:: SOT 289595 SOS 137143 HAS SOPS 132587 HAS SOUS 64015 HAS SOUPS 63025 WITH SCORE 63162.143
AT ITER 4032 NEW BEST:: SOT 289561 SOS 137109 HAS SOPS 132553 HAS SOUS 63947 HAS SOUPS 62957 WITH SCORE 63094.109
AT ITER 4033 NEW BEST:: SOT 289576 SOS 136845 HAS SOPS 132289 HAS SOUS 63923 HAS SOUPS 62933 WITH SCORE 63069.845
AT ITER 4060 NEW BEST:: SOT 289471 SOS 136705 HAS SOPS 132149 HAS SOUS 63669 HAS SOUPS 62679 WITH SCORE 62815.705
AT ITER 4072 NEW BEST:: SOT 289404 SOS 136504 HAS SOPS 131881 HAS SOUS 63468 HAS SOUPS 62478 WITH SCORE 62614.504
AT ITER 4093 NEW BEST:: SOT 289191 SOS 135392 HAS SOPS 130769 HAS SOUS 63320 HAS SOUPS 62330 WITH SCORE 62465.392
AT ITER 4103 NEW BEST:: SOT 289195 SOS 135396 HAS SOPS 130773 HAS SOUS 63316 HAS SOUPS 62326 WITH SCORE 62461.396
AT ITER 4139 NEW BEST:: SOT 289186 SOS 135387 HAS SOPS 130764 HAS SOUS 63298 HAS SOUPS 62308 WITH SCORE 62443.387
AT ITER 4144 NEW BEST:: SOT 289203 SOS 135404 HAS SOPS 130769 HAS SOUS 63295 HAS SOUPS 62305 WITH SCORE 62440.404
AT ITER 4150 NEW BEST:: SOT 289049 SOS 135177 HAS SOPS 130542 HAS SOUS 63133 HAS SOUPS 62143 WITH SCORE 62278.177
AT ITER 4225 NEW BEST:: SOT 288983 SOS 135017 HAS SOPS 130382 HAS SOUS 63048 HAS SOUPS 62058 WITH SCORE 62193.017
AT ITER 4238 NEW BEST:: SOT 288971 SOS 135005 HAS SOPS 130370 HAS SOUS 63030 HAS SOUPS 62040 WITH SCORE 62175.005
AT ITER 4241 NEW BEST:: SOT 288971 SOS 135001 HAS SOPS 130366 HAS SOUS 63014 HAS SOUPS 62024 WITH SCORE 62159.001
AT ITER 4253 NEW BEST:: SOT 288933 SOS 135076 HAS SOPS 130441 HAS SOUS 62990 HAS SOUPS 62000 WITH SCORE 62135.076
AT ITER 4264 NEW BEST:: SOT 288925 SOS 135076 HAS SOPS 130449 HAS SOUS 62982 HAS SOUPS 61992 WITH SCORE 62127.076
AT ITER 4273 NEW BEST:: SOT 288924 SOS 135075 HAS SOPS 130448 HAS SOUS 62980 HAS SOUPS 61990 WITH SCORE 62125.075
AT ITER 4297 NEW BEST:: SOT 288876 SOS 135027 HAS SOPS 130400 HAS SOUS 62903 HAS SOUPS 61913 WITH SCORE 62048.027
AT ITER 4316 NEW BEST:: SOT 288945 SOS 134824 HAS SOPS 130197 HAS SOUS 62879 HAS SOUPS 61889 WITH SCORE 62023.824
AT ITER 4346 NEW BEST:: SOT 288945 SOS 134824 HAS SOPS 130197 HAS SOUS 62850 HAS SOUPS 61860 WITH SCORE 61994.824
AT ITER 4389 NEW BEST:: SOT 288939 SOS 134818 HAS SOPS 130191 HAS SOUS 62844 HAS SOUPS 61854 WITH SCORE 61988.818
AT ITER 4434 NEW BEST:: SOT 288947 SOS 134057 HAS SOPS 129430 HAS SOUS 62844 HAS SOUPS 61854 WITH SCORE 61988.057
AT ITER 4440 NEW BEST:: SOT 288948 SOS 134058 HAS SOPS 129431 HAS SOUS 62838 HAS SOUPS 61848 WITH SCORE 61982.058
AT ITER 4460 NEW BEST:: SOT 288948 SOS 134058 HAS SOPS 129431 HAS SOUS 62825 HAS SOUPS 61835 WITH SCORE 61969.058
AT ITER 4475 NEW BEST:: SOT 288943 SOS 134074 HAS SOPS 129442 HAS SOUS 62820 HAS SOUPS 61825 WITH SCORE 61959.074
AT ITER 4487 NEW BEST:: SOT 288944 SOS 134048 HAS SOPS 129416 HAS SOUS 62803 HAS SOUPS 61808 WITH SCORE 61942.048
AT ITER 4503 NEW BEST:: SOT 288938 SOS 134042 HAS SOPS 129362 HAS SOUS 62797 HAS SOUPS 61794 WITH SCORE 61928.042
AT ITER 4505 NEW BEST:: SOT 288843 SOS 133896 HAS SOPS 129216 HAS SOUS 62742 HAS SOUPS 61739 WITH SCORE 61872.896
AT ITER 4517 NEW BEST:: SOT 288784 SOS 133710 HAS SOPS 129030 HAS SOUS 62705 HAS SOUPS 61702 WITH SCORE 61835.71
AT ITER 4531 NEW BEST:: SOT 288736 SOS 133662 HAS SOPS 128982 HAS SOUS 62657 HAS SOUPS 61654 WITH SCORE 61787.662
AT ITER 4533 NEW BEST:: SOT 288632 SOS 133458 HAS SOPS 128778 HAS SOUS 62494 HAS SOUPS 61491 WITH SCORE 61624.458
AT ITER 4543 NEW BEST:: SOT 288610 SOS 133436 HAS SOPS 128756 HAS SOUS 62463 HAS SOUPS 61460 WITH SCORE 61593.436
AT ITER 4557 NEW BEST:: SOT 288602 SOS 133428 HAS SOPS 128748 HAS SOUS 62462 HAS SOUPS 61459 WITH SCORE 61592.428
AT ITER 4561 NEW BEST:: SOT 288602 SOS 133399 HAS SOPS 128719 HAS SOUS 62402 HAS SOUPS 61399 WITH SCORE 61532.399
AT ITER 4575 NEW BEST:: SOT 288579 SOS 133376 HAS SOPS 128706 HAS SOUS 62386 HAS SOUPS 61383 WITH SCORE 61516.376
AT ITER 4577 NEW BEST:: SOT 288569 SOS 133366 HAS SOPS 128696 HAS SOUS 62376 HAS SOUPS 61373 WITH SCORE 61506.366
AT ITER 4583 NEW BEST:: SOT 288569 SOS 133330 HAS SOPS 128620 HAS SOUS 62372 HAS SOUPS 61365 WITH SCORE 61498.33
AT ITER 4603 NEW BEST:: SOT 288570 SOS 133150 HAS SOPS 128440 HAS SOUS 62365 HAS SOUPS 61358 WITH SCORE 61491.15
AT ITER 4608 NEW BEST:: SOT 288648 SOS 133119 HAS SOPS 128331 HAS SOUS 62334 HAS SOUPS 61327 WITH SCORE 61460.119
AT ITER 4620 NEW BEST:: SOT 288499 SOS 132970 HAS SOPS 128182 HAS SOUS 62036 HAS SOUPS 61029 WITH SCORE 61161.97
AT ITER 4663 NEW BEST:: SOT 288496 SOS 132954 HAS SOPS 128166 HAS SOUS 62030 HAS SOUPS 61023 WITH SCORE 61155.954
AT ITER 4680 NEW BEST:: SOT 288496 SOS 132965 HAS SOPS 128177 HAS SOUS 62019 HAS SOUPS 61012 WITH SCORE 61144.965
AT ITER 4715 NEW BEST:: SOT 288496 SOS 132877 HAS SOPS 128089 HAS SOUS 62019 HAS SOUPS 61012 WITH SCORE 61144.877
AT ITER 4732 NEW BEST:: SOT 288485 SOS 132866 HAS SOPS 128078 HAS SOUS 62014 HAS SOUPS 61007 WITH SCORE 61139.866
AT ITER 4734 NEW BEST:: SOT 288463 SOS 132838 HAS SOPS 128050 HAS SOUS 61962 HAS SOUPS 60955 WITH SCORE 61087.838
AT ITER 4778 NEW BEST:: SOT 288439 SOS 132814 HAS SOPS 128026 HAS SOUS 61938 HAS SOUPS 60931 WITH SCORE 61063.814
AT ITER 4818 NEW BEST:: SOT 288447 SOS 132822 HAS SOPS 128034 HAS SOUS 61873 HAS SOUPS 60866 WITH SCORE 60998.822
AT ITER 4859 NEW BEST:: SOT 288436 SOS 132826 HAS SOPS 128038 HAS SOUS 61859 HAS SOUPS 60852 WITH SCORE 60984.826
AT ITER 4872 NEW BEST:: SOT 288429 SOS 132794 HAS SOPS 128006 HAS SOUS 61847 HAS SOUPS 60840 WITH SCORE 60972.794
AT ITER 4899 NEW BEST:: SOT 288423 SOS 132799 HAS SOPS 128011 HAS SOUS 61835 HAS SOUPS 60828 WITH SCORE 60960.799
AT ITER 4920 NEW BEST:: SOT 288423 SOS 132859 HAS SOPS 128071 HAS SOUS 61775 HAS SOUPS 60768 WITH SCORE 60900.859
AT ITER 4921 NEW BEST:: SOT 288397 SOS 132833 HAS SOPS 128045 HAS SOUS 61734 HAS SOUPS 60727 WITH SCORE 60859.833
AT ITER 4944 NEW BEST:: SOT 288397 SOS 132804 HAS SOPS 127987 HAS SOUS 61705 HAS SOUPS 60698 WITH SCORE 60830.804
AT ITER 4956 NEW BEST:: SOT 288193 SOS 132204 HAS SOPS 127387 HAS SOUS 61686 HAS SOUPS 60679 WITH SCORE 60811.204
AT ITER 4962 NEW BEST:: SOT 288177 SOS 132172 HAS SOPS 127355 HAS SOUS 61670 HAS SOUPS 60663 WITH SCORE 60795.172
AT ITER 4964 NEW BEST:: SOT 288199 SOS 132194 HAS SOPS 127377 HAS SOUS 61667 HAS SOUPS 60660 WITH SCORE 60792.194
AT ITER 4996 NEW BEST:: SOT 288177 SOS 132128 HAS SOPS 127311 HAS SOUS 61623 HAS SOUPS 60616 WITH SCORE 60748.128
AT ITER 5025 NEW BEST:: SOT 288102 SOS 132031 HAS SOPS 127214 HAS SOUS 61591 HAS SOUPS 60584 WITH SCORE 60716.031
AT ITER 5063 NEW BEST:: SOT 288098 SOS 132025 HAS SOPS 127208 HAS SOUS 61583 HAS SOUPS 60576 WITH SCORE 60708.025
AT ITER 5085 NEW BEST:: SOT 288092 SOS 132013 HAS SOPS 127196 HAS SOUS 61577 HAS SOUPS 60570 WITH SCORE 60702.013
AT ITER 5107 NEW BEST:: SOT 288086 SOS 132007 HAS SOPS 127196 HAS SOUS 61565 HAS SOUPS 60564 WITH SCORE 60696.007
AT ITER 5108 NEW BEST:: SOT 288060 SOS 131958 HAS SOPS 127147 HAS SOUS 61547 HAS SOUPS 60546 WITH SCORE 60677.958
AT ITER 5118 NEW BEST:: SOT 288050 SOS 131939 HAS SOPS 127128 HAS SOUS 61505 HAS SOUPS 60504 WITH SCORE 60635.939
AT ITER 5120 NEW BEST:: SOT 288026 SOS 131903 HAS SOPS 127092 HAS SOUS 61469 HAS SOUPS 60468 WITH SCORE 60599.903
AT ITER 5129 NEW BEST:: SOT 287993 SOS 131870 HAS SOPS 127059 HAS SOUS 61166 HAS SOUPS 60165 WITH SCORE 60296.87
AT ITER 5137 NEW BEST:: SOT 287979 SOS 131856 HAS SOPS 127045 HAS SOUS 61152 HAS SOUPS 60151 WITH SCORE 60282.856
AT ITER 5151 NEW BEST:: SOT 287974 SOS 131835 HAS SOPS 127024 HAS SOUS 61142 HAS SOUPS 60141 WITH SCORE 60272.835
AT ITER 5157 NEW BEST:: SOT 288039 SOS 131900 HAS SOPS 127089 HAS SOUS 61132 HAS SOUPS 60131 WITH SCORE 60262.9
AT ITER 5194 NEW BEST:: SOT 288050 SOS 131788 HAS SOPS 126977 HAS SOUS 61052 HAS SOUPS 60051 WITH SCORE 60182.788
AT ITER 5236 NEW BEST:: SOT 288008 SOS 131746 HAS SOPS 126935 HAS SOUS 60968 HAS SOUPS 59967 WITH SCORE 60098.746
AT ITER 5295 NEW BEST:: SOT 288014 SOS 131749 HAS SOPS 126938 HAS SOUS 60965 HAS SOUPS 59964 WITH SCORE 60095.749
AT ITER 5311 NEW BEST:: SOT 288005 SOS 131740 HAS SOPS 126929 HAS SOUS 60947 HAS SOUPS 59946 WITH SCORE 60077.74
AT ITER 5328 NEW BEST:: SOT 287927 SOS 131484 HAS SOPS 126673 HAS SOUS 60800 HAS SOUPS 59799 WITH SCORE 59930.484
AT ITER 5332 NEW BEST:: SOT 287854 SOS 131323 HAS SOPS 126512 HAS SOUS 60719 HAS SOUPS 59718 WITH SCORE 59849.323
AT ITER 5339 NEW BEST:: SOT 287828 SOS 131297 HAS SOPS 126486 HAS SOUS 60693 HAS SOUPS 59692 WITH SCORE 59823.297
AT ITER 5347 NEW BEST:: SOT 287811 SOS 131263 HAS SOPS 126452 HAS SOUS 60659 HAS SOUPS 59658 WITH SCORE 59789.263
AT ITER 5352 NEW BEST:: SOT 287811 SOS 131196 HAS SOPS 126399 HAS SOUS 60659 HAS SOUPS 59658 WITH SCORE 59789.196
AT ITER 5354 NEW BEST:: SOT 287808 SOS 131487 HAS SOPS 126657 HAS SOUS 60620 HAS SOUPS 59637 WITH SCORE 59768.487
AT ITER 5356 NEW BEST:: SOT 287724 SOS 131403 HAS SOPS 126573 HAS SOUS 60508 HAS SOUPS 59525 WITH SCORE 59656.403
AT ITER 5370 NEW BEST:: SOT 287719 SOS 131398 HAS SOPS 126568 HAS SOUS 60492 HAS SOUPS 59509 WITH SCORE 59640.398
AT ITER 5385 NEW BEST:: SOT 287758 SOS 131857 HAS SOPS 127027 HAS SOUS 60439 HAS SOUPS 59456 WITH SCORE 59587.857
AT ITER 5394 NEW BEST:: SOT 287750 SOS 131841 HAS SOPS 127011 HAS SOUS 60423 HAS SOUPS 59440 WITH SCORE 59571.841
AT ITER 5410 NEW BEST:: SOT 287750 SOS 131898 HAS SOPS 127008 HAS SOUS 60420 HAS SOUPS 59434 WITH SCORE 59565.898
AT ITER 5477 NEW BEST:: SOT 287759 SOS 131889 HAS SOPS 126999 HAS SOUS 60402 HAS SOUPS 59416 WITH SCORE 59547.889
AT ITER 5490 NEW BEST:: SOT 287759 SOS 131889 HAS SOPS 126999 HAS SOUS 60379 HAS SOUPS 59393 WITH SCORE 59524.889
AT ITER 5528 NEW BEST:: SOT 287745 SOS 131875 HAS SOPS 126985 HAS SOUS 60363 HAS SOUPS 59377 WITH SCORE 59508.875
AT ITER 5533 NEW BEST:: SOT 287736 SOS 133463 HAS SOPS 128573 HAS SOUS 60345 HAS SOUPS 59359 WITH SCORE 59492.463
AT ITER 5538 NEW BEST:: SOT 287729 SOS 133456 HAS SOPS 128566 HAS SOUS 60338 HAS SOUPS 59352 WITH SCORE 59485.456
AT ITER 5548 NEW BEST:: SOT 287724 SOS 133446 HAS SOPS 128556 HAS SOUS 60333 HAS SOUPS 59347 WITH SCORE 59480.446
AT ITER 5572 NEW BEST:: SOT 287692 SOS 133422 HAS SOPS 128532 HAS SOUS 60285 HAS SOUPS 59299 WITH SCORE 59432.422
AT ITER 5582 NEW BEST:: SOT 287668 SOS 133448 HAS SOPS 128558 HAS SOUS 60261 HAS SOUPS 59275 WITH SCORE 59408.448
AT ITER 5586 NEW BEST:: SOT 287655 SOS 133439 HAS SOPS 128549 HAS SOUS 60244 HAS SOUPS 59258 WITH SCORE 59391.439
AT ITER 5592 NEW BEST:: SOT 287655 SOS 133355 HAS SOPS 128465 HAS SOUS 60244 HAS SOUPS 59258 WITH SCORE 59391.355
AT ITER 5606 NEW BEST:: SOT 287634 SOS 133306 HAS SOPS 128416 HAS SOUS 60232 HAS SOUPS 59246 WITH SCORE 59379.306
AT ITER 5652 NEW BEST:: SOT 287594 SOS 133266 HAS SOPS 128376 HAS SOUS 60132 HAS SOUPS 59146 WITH SCORE 59279.266
AT ITER 5661 NEW BEST:: SOT 287571 SOS 133240 HAS SOPS 128350 HAS SOUS 60077 HAS SOUPS 59091 WITH SCORE 59224.24
AT ITER 5662 NEW BEST:: SOT 287565 SOS 133234 HAS SOPS 128344 HAS SOUS 60071 HAS SOUPS 59085 WITH SCORE 59218.234
AT ITER 5670 NEW BEST:: SOT 287521 SOS 133197 HAS SOPS 128233 HAS SOUS 60060 HAS SOUPS 59074 WITH SCORE 59207.197
AT ITER 5679 NEW BEST:: SOT 287502 SOS 133159 HAS SOPS 128195 HAS SOUS 59997 HAS SOUPS 59011 WITH SCORE 59144.159
AT ITER 5698 NEW BEST:: SOT 287469 SOS 133152 HAS SOPS 128188 HAS SOUS 59983 HAS SOUPS 58997 WITH SCORE 59130.152
AT ITER 5728 NEW BEST:: SOT 287468 SOS 133151 HAS SOPS 128182 HAS SOUS 59976 HAS SOUPS 58990 WITH SCORE 59123.151
AT ITER 5740 NEW BEST:: SOT 287330 SOS 133185 HAS SOPS 128216 HAS SOUS 59871 HAS SOUPS 58885 WITH SCORE 59018.185
AT ITER 5762 NEW BEST:: SOT 287290 SOS 133105 HAS SOPS 128136 HAS SOUS 59791 HAS SOUPS 58805 WITH SCORE 58938.105
AT ITER 5785 NEW BEST:: SOT 287338 SOS 133147 HAS SOPS 128178 HAS SOUS 59779 HAS SOUPS 58793 WITH SCORE 58926.147
AT ITER 5811 NEW BEST:: SOT 287338 SOS 133242 HAS SOPS 128273 HAS SOUS 59730 HAS SOUPS 58744 WITH SCORE 58877.242
AT ITER 5884 NEW BEST:: SOT 287297 SOS 133201 HAS SOPS 128232 HAS SOUS 59616 HAS SOUPS 58630 WITH SCORE 58763.201
AT ITER 5899 NEW BEST:: SOT 287297 SOS 133194 HAS SOPS 128225 HAS SOUS 59616 HAS SOUPS 58630 WITH SCORE 58763.194
AT ITER 5950 NEW BEST:: SOT 287255 SOS 132978 HAS SOPS 128009 HAS SOUS 59535 HAS SOUPS 58549 WITH SCORE 58681.978
AT ITER 5976 NEW BEST:: SOT 287241 SOS 132959 HAS SOPS 127990 HAS SOUS 59417 HAS SOUPS 58431 WITH SCORE 58563.959
AT ITER 5977 NEW BEST:: SOT 286820 SOS 131868 HAS SOPS 126886 HAS SOUS 59018 HAS SOUPS 58032 WITH SCORE 58163.868
AT ITER 5983 NEW BEST:: SOT 286810 SOS 131858 HAS SOPS 126876 HAS SOUS 59003 HAS SOUPS 58017 WITH SCORE 58148.858
AT ITER 6020 NEW BEST:: SOT 286768 SOS 131783 HAS SOPS 126801 HAS SOUS 58928 HAS SOUPS 57942 WITH SCORE 58073.783
AT ITER 6061 NEW BEST:: SOT 286793 SOS 131808 HAS SOPS 126826 HAS SOUS 58896 HAS SOUPS 57910 WITH SCORE 58041.808
AT ITER 6074 NEW BEST:: SOT 286705 SOS 131696 HAS SOPS 126714 HAS SOUS 58882 HAS SOUPS 57896 WITH SCORE 58027.696
AT ITER 6081 NEW BEST:: SOT 286691 SOS 131683 HAS SOPS 126701 HAS SOUS 58842 HAS SOUPS 57856 WITH SCORE 57987.683
AT ITER 6086 NEW BEST:: SOT 286683 SOS 131673 HAS SOPS 126691 HAS SOUS 58796 HAS SOUPS 57810 WITH SCORE 57941.673
AT ITER 6102 NEW BEST:: SOT 286660 SOS 131658 HAS SOPS 126676 HAS SOUS 58699 HAS SOUPS 57713 WITH SCORE 57844.658
AT ITER 6106 NEW BEST:: SOT 286666 SOS 130368 HAS SOPS 125386 HAS SOUS 58698 HAS SOUPS 57712 WITH SCORE 57842.368
AT ITER 6117 NEW BEST:: SOT 286666 SOS 130368 HAS SOPS 125386 HAS SOUS 58681 HAS SOUPS 57695 WITH SCORE 57825.368
AT ITER 6211 NEW BEST:: SOT 286738 SOS 130507 HAS SOPS 125525 HAS SOUS 58591 HAS SOUPS 57605 WITH SCORE 57735.507
AT ITER 6248 NEW BEST:: SOT 286704 SOS 130509 HAS SOPS 125527 HAS SOUS 58588 HAS SOUPS 57602 WITH SCORE 57732.509
AT ITER 6288 NEW BEST:: SOT 286707 SOS 130512 HAS SOPS 125514 HAS SOUS 58567 HAS SOUPS 57576 WITH SCORE 57706.512
AT ITER 6290 NEW BEST:: SOT 286688 SOS 130493 HAS SOPS 125495 HAS SOUS 58529 HAS SOUPS 57538 WITH SCORE 57668.493
AT ITER 6335 NEW BEST:: SOT 286685 SOS 130490 HAS SOPS 125492 HAS SOUS 58525 HAS SOUPS 57534 WITH SCORE 57664.49
AT ITER 6336 NEW BEST:: SOT 286673 SOS 130470 HAS SOPS 125472 HAS SOUS 58501 HAS SOUPS 57510 WITH SCORE 57640.47
AT ITER 6350 NEW BEST:: SOT 286626 SOS 130423 HAS SOPS 125425 HAS SOUS 58454 HAS SOUPS 57463 WITH SCORE 57593.423
AT ITER 6361 NEW BEST:: SOT 286602 SOS 130405 HAS SOPS 125407 HAS SOUS 58446 HAS SOUPS 57455 WITH SCORE 57585.405
AT ITER 6399 NEW BEST:: SOT 286615 SOS 130418 HAS SOPS 125409 HAS SOUS 58408 HAS SOUPS 57417 WITH SCORE 57547.418
AT ITER 6405 NEW BEST:: SOT 286588 SOS 130391 HAS SOPS 125382 HAS SOUS 58357 HAS SOUPS 57366 WITH SCORE 57496.391
AT ITER 6411 NEW BEST:: SOT 286579 SOS 130382 HAS SOPS 125373 HAS SOUS 58357 HAS SOUPS 57366 WITH SCORE 57496.382
AT ITER 6423 NEW BEST:: SOT 286579 SOS 130366 HAS SOPS 125357 HAS SOUS 58357 HAS SOUPS 57366 WITH SCORE 57496.366
AT ITER 6428 NEW BEST:: SOT 286563 SOS 130350 HAS SOPS 125341 HAS SOUS 58325 HAS SOUPS 57334 WITH SCORE 57464.35
AT ITER 6460 NEW BEST:: SOT 286524 SOS 129500 HAS SOPS 124587 HAS SOUS 58238 HAS SOUPS 57263 WITH SCORE 57392.5
AT ITER 6480 NEW BEST:: SOT 286520 SOS 129496 HAS SOPS 124583 HAS SOUS 58231 HAS SOUPS 57256 WITH SCORE 57385.496
AT ITER 6486 NEW BEST:: SOT 286511 SOS 129487 HAS SOPS 124574 HAS SOUS 58213 HAS SOUPS 57238 WITH SCORE 57367.487
AT ITER 6519 NEW BEST:: SOT 286451 SOS 129427 HAS SOPS 124514 HAS SOUS 57922 HAS SOUPS 56947 WITH SCORE 57076.427
AT ITER 6528 NEW BEST:: SOT 286510 SOS 129566 HAS SOPS 124653 HAS SOUS 57920 HAS SOUPS 56945 WITH SCORE 57074.566
AT ITER 6529 NEW BEST:: SOT 286352 SOS 129341 HAS SOPS 124428 HAS SOUS 57731 HAS SOUPS 56756 WITH SCORE 56885.341
AT ITER 6532 NEW BEST:: SOT 286364 SOS 129302 HAS SOPS 124323 HAS SOUS 57733 HAS SOUPS 56752 WITH SCORE 56881.302
AT ITER 6540 NEW BEST:: SOT 286296 SOS 129166 HAS SOPS 124187 HAS SOUS 57597 HAS SOUPS 56616 WITH SCORE 56745.166
AT ITER 6598 NEW BEST:: SOT 286194 SOS 129013 HAS SOPS 124034 HAS SOUS 57409 HAS SOUPS 56428 WITH SCORE 56557.013
AT ITER 6610 NEW BEST:: SOT 286171 SOS 129175 HAS SOPS 124196 HAS SOUS 57362 HAS SOUPS 56381 WITH SCORE 56510.175
AT ITER 6628 NEW BEST:: SOT 286170 SOS 129174 HAS SOPS 124195 HAS SOUS 57360 HAS SOUPS 56379 WITH SCORE 56508.174
AT ITER 6631 NEW BEST:: SOT 286152 SOS 129156 HAS SOPS 124177 HAS SOUS 57324 HAS SOUPS 56343 WITH SCORE 56472.156
AT ITER 6637 NEW BEST:: SOT 286151 SOS 129016 HAS SOPS 124037 HAS SOUS 57309 HAS SOUPS 56328 WITH SCORE 56457.016
AT ITER 6658 NEW BEST:: SOT 286078 SOS 128943 HAS SOPS 123964 HAS SOUS 57197 HAS SOUPS 56216 WITH SCORE 56344.943
AT ITER 6670 NEW BEST:: SOT 286013 SOS 128789 HAS SOPS 123810 HAS SOUS 56961 HAS SOUPS 55980 WITH SCORE 56108.789
AT ITER 6674 NEW BEST:: SOT 286010 SOS 128783 HAS SOPS 123804 HAS SOUS 56955 HAS SOUPS 55974 WITH SCORE 56102.783
AT ITER 6714 NEW BEST:: SOT 286014 SOS 128765 HAS SOPS 123786 HAS SOUS 56924 HAS SOUPS 55943 WITH SCORE 56071.765
AT ITER 6753 NEW BEST:: SOT 285950 SOS 128681 HAS SOPS 123702 HAS SOUS 56869 HAS SOUPS 55888 WITH SCORE 56016.681
AT ITER 6762 NEW BEST:: SOT 285924 SOS 129390 HAS SOPS 124411 HAS SOUS 56851 HAS SOUPS 55870 WITH SCORE 55999.39
AT ITER 6777 NEW BEST:: SOT 285893 SOS 129328 HAS SOPS 124349 HAS SOUS 56789 HAS SOUPS 55808 WITH SCORE 55937.328
AT ITER 6789 NEW BEST:: SOT 285934 SOS 129389 HAS SOPS 124410 HAS SOUS 56708 HAS SOUPS 55727 WITH SCORE 55856.389
AT ITER 6813 NEW BEST:: SOT 285934 SOS 128969 HAS SOPS 123990 HAS SOUS 56708 HAS SOUPS 55727 WITH SCORE 55855.969
AT ITER 6825 NEW BEST:: SOT 285932 SOS 128967 HAS SOPS 123988 HAS SOUS 56704 HAS SOUPS 55723 WITH SCORE 55851.967
AT ITER 6843 NEW BEST:: SOT 285935 SOS 128956 HAS SOPS 123982 HAS SOUS 56693 HAS SOUPS 55717 WITH SCORE 55845.956
AT ITER 6844 NEW BEST:: SOT 285923 SOS 128929 HAS SOPS 123955 HAS SOUS 56669 HAS SOUPS 55693 WITH SCORE 55821.929
AT ITER 6861 NEW BEST:: SOT 285923 SOS 128749 HAS SOPS 123775 HAS SOUS 56669 HAS SOUPS 55693 WITH SCORE 55821.749
AT ITER 6870 NEW BEST:: SOT 285889 SOS 128780 HAS SOPS 123806 HAS SOUS 56569 HAS SOUPS 55593 WITH SCORE 55721.78
AT ITER 6883 NEW BEST:: SOT 285884 SOS 128633 HAS SOPS 123659 HAS SOUS 56481 HAS SOUPS 55505 WITH SCORE 55633.633
AT ITER 6931 NEW BEST:: SOT 285849 SOS 128596 HAS SOPS 123622 HAS SOUS 56470 HAS SOUPS 55494 WITH SCORE 55622.596
AT ITER 6942 NEW BEST:: SOT 285818 SOS 128545 HAS SOPS 123571 HAS SOUS 56469 HAS SOUPS 55493 WITH SCORE 55621.545
AT ITER 6976 NEW BEST:: SOT 285813 SOS 128540 HAS SOPS 123566 HAS SOUS 56459 HAS SOUPS 55483 WITH SCORE 55611.54
AT ITER 7153 NEW BEST:: SOT 285783 SOS 128520 HAS SOPS 123546 HAS SOUS 56429 HAS SOUPS 55453 WITH SCORE 55581.52
AT ITER 7164 NEW BEST:: SOT 285762 SOS 128499 HAS SOPS 123525 HAS SOUS 56395 HAS SOUPS 55419 WITH SCORE 55547.499
AT ITER 7180 NEW BEST:: SOT 285741 SOS 128478 HAS SOPS 123504 HAS SOUS 56353 HAS SOUPS 55377 WITH SCORE 55505.478
AT ITER 7215 NEW BEST:: SOT 285713 SOS 128450 HAS SOPS 123476 HAS SOUS 56283 HAS SOUPS 55307 WITH SCORE 55435.45
AT ITER 7258 NEW BEST:: SOT 285592 SOS 128211 HAS SOPS 123237 HAS SOUS 56129 HAS SOUPS 55153 WITH SCORE 55281.211
AT ITER 7281 NEW BEST:: SOT 285580 SOS 128199 HAS SOPS 123225 HAS SOUS 56105 HAS SOUPS 55129 WITH SCORE 55257.199
AT ITER 7291 NEW BEST:: SOT 285556 SOS 128183 HAS SOPS 123209 HAS SOUS 56065 HAS SOUPS 55089 WITH SCORE 55217.183
AT ITER 7293 NEW BEST:: SOT 285550 SOS 128189 HAS SOPS 123215 HAS SOUS 56055 HAS SOUPS 55079 WITH SCORE 55207.189
AT ITER 7336 NEW BEST:: SOT 285553 SOS 128182 HAS SOPS 123208 HAS SOUS 56048 HAS SOUPS 55072 WITH SCORE 55200.182
AT ITER 7343 NEW BEST:: SOT 285508 SOS 128066 HAS SOPS 123092 HAS SOUS 55599 HAS SOUPS 54623 WITH SCORE 54751.066
AT ITER 7359 NEW BEST:: SOT 285496 SOS 128016 HAS SOPS 123042 HAS SOUS 55575 HAS SOUPS 54599 WITH SCORE 54727.016
AT ITER 7388 NEW BEST:: SOT 285472 SOS 127988 HAS SOPS 123014 HAS SOUS 55527 HAS SOUPS 54551 WITH SCORE 54678.988
AT ITER 7406 NEW BEST:: SOT 285471 SOS 127987 HAS SOPS 123013 HAS SOUS 55525 HAS SOUPS 54549 WITH SCORE 54676.987
AT ITER 7416 NEW BEST:: SOT 285457 SOS 127973 HAS SOPS 122999 HAS SOUS 55329 HAS SOUPS 54353 WITH SCORE 54480.973
AT ITER 7426 NEW BEST:: SOT 285478 SOS 128459 HAS SOPS 123485 HAS SOUS 55210 HAS SOUPS 54234 WITH SCORE 54362.459
AT ITER 7445 NEW BEST:: SOT 285445 SOS 128366 HAS SOPS 123464 HAS SOUS 55191 HAS SOUPS 54225 WITH SCORE 54353.366
AT ITER 7475 NEW BEST:: SOT 285364 SOS 128256 HAS SOPS 123354 HAS SOUS 55185 HAS SOUPS 54219 WITH SCORE 54347.256
AT ITER 7479 NEW BEST:: SOT 285341 SOS 127722 HAS SOPS 122820 HAS SOUS 55183 HAS SOUPS 54217 WITH SCORE 54344.722
AT ITER 7485 NEW BEST:: SOT 285288 SOS 127669 HAS SOPS 122767 HAS SOUS 55004 HAS SOUPS 54038 WITH SCORE 54165.669
AT ITER 7490 NEW BEST:: SOT 285295 SOS 127676 HAS SOPS 122774 HAS SOUS 54998 HAS SOUPS 54032 WITH SCORE 54159.676
AT ITER 7520 NEW BEST:: SOT 285287 SOS 127666 HAS SOPS 122764 HAS SOUS 54982 HAS SOUPS 54016 WITH SCORE 54143.666
AT ITER 7551 NEW BEST:: SOT 285060 SOS 125678 HAS SOPS 121334 HAS SOUS 54722 HAS SOUPS 53849 WITH SCORE 53974.678
AT ITER 7569 NEW BEST:: SOT 284970 SOS 125568 HAS SOPS 121224 HAS SOUS 54574 HAS SOUPS 53701 WITH SCORE 53826.568
AT ITER 7600 NEW BEST:: SOT 284970 SOS 125544 HAS SOPS 121200 HAS SOUS 54515 HAS SOUPS 53642 WITH SCORE 53767.544
AT ITER 7645 NEW BEST:: SOT 284892 SOS 125404 HAS SOPS 121086 HAS SOUS 54484 HAS SOUPS 53611 WITH SCORE 53736.404
AT ITER 7674 NEW BEST:: SOT 284862 SOS 125374 HAS SOPS 121056 HAS SOUS 54451 HAS SOUPS 53578 WITH SCORE 53703.374
AT ITER 7691 NEW BEST:: SOT 284862 SOS 125372 HAS SOPS 121054 HAS SOUS 54451 HAS SOUPS 53578 WITH SCORE 53703.372
AT ITER 7696 NEW BEST:: SOT 284870 SOS 125380 HAS SOPS 121062 HAS SOUS 54438 HAS SOUPS 53565 WITH SCORE 53690.38
AT ITER 7704 NEW BEST:: SOT 284871 SOS 125297 HAS SOPS 120979 HAS SOUS 54421 HAS SOUPS 53548 WITH SCORE 53673.297
AT ITER 7784 NEW BEST:: SOT 284692 SOS 124368 HAS SOPS 120050 HAS SOUS 54364 HAS SOUPS 53491 WITH SCORE 53615.368
AT ITER 7787 NEW BEST:: SOT 284686 SOS 124362 HAS SOPS 120044 HAS SOUS 54358 HAS SOUPS 53485 WITH SCORE 53609.362
AT ITER 7823 NEW BEST:: SOT 284636 SOS 124312 HAS SOPS 119994 HAS SOUS 54320 HAS SOUPS 53447 WITH SCORE 53571.312
AT ITER 7828 NEW BEST:: SOT 284622 SOS 124339 HAS SOPS 120021 HAS SOUS 54277 HAS SOUPS 53404 WITH SCORE 53528.339
AT ITER 7831 NEW BEST:: SOT 284613 SOS 124311 HAS SOPS 119993 HAS SOUS 54249 HAS SOUPS 53376 WITH SCORE 53500.311
AT ITER 7908 NEW BEST:: SOT 284607 SOS 124305 HAS SOPS 119987 HAS SOUS 54237 HAS SOUPS 53364 WITH SCORE 53488.305
AT ITER 7926 NEW BEST:: SOT 284604 SOS 124299 HAS SOPS 119981 HAS SOUS 54207 HAS SOUPS 53334 WITH SCORE 53458.299
AT ITER 7965 NEW BEST:: SOT 284652 SOS 124282 HAS SOPS 119964 HAS SOUS 54024 HAS SOUPS 53151 WITH SCORE 53275.282
AT ITER 7976 NEW BEST:: SOT 284769 SOS 124375 HAS SOPS 120057 HAS SOUS 53946 HAS SOUPS 53073 WITH SCORE 53197.375
AT ITER 8014 NEW BEST:: SOT 284856 SOS 124449 HAS SOPS 120131 HAS SOUS 53898 HAS SOUPS 53025 WITH SCORE 53149.449
AT ITER 8077 NEW BEST:: SOT 284835 SOS 124428 HAS SOPS 120110 HAS SOUS 53884 HAS SOUPS 53011 WITH SCORE 53135.428
AT ITER 8081 NEW BEST:: SOT 284835 SOS 124445 HAS SOPS 120093 HAS SOUS 53850 HAS SOUPS 52977 WITH SCORE 53101.445
AT ITER 8085 NEW BEST:: SOT 284809 SOS 124406 HAS SOPS 120054 HAS SOUS 53811 HAS SOUPS 52938 WITH SCORE 53062.406
AT ITER 8142 NEW BEST:: SOT 284765 SOS 124351 HAS SOPS 119999 HAS SOUS 53738 HAS SOUPS 52865 WITH SCORE 52989.351
AT ITER 8152 NEW BEST:: SOT 284761 SOS 124331 HAS SOPS 119983 HAS SOUS 53738 HAS SOUPS 52865 WITH SCORE 52989.331
AT ITER 8198 NEW BEST:: SOT 284760 SOS 124362 HAS SOPS 120014 HAS SOUS 53698 HAS SOUPS 52825 WITH SCORE 52949.362
AT ITER 8224 NEW BEST:: SOT 284760 SOS 124252 HAS SOPS 119904 HAS SOUS 53688 HAS SOUPS 52815 WITH SCORE 52939.252
AT ITER 8244 NEW BEST:: SOT 284764 SOS 124235 HAS SOPS 119855 HAS SOUS 53672 HAS SOUPS 52799 WITH SCORE 52923.235
AT ITER 8253 NEW BEST:: SOT 284757 SOS 124221 HAS SOPS 119841 HAS SOUS 53658 HAS SOUPS 52785 WITH SCORE 52909.221
AT ITER 8332 NEW BEST:: SOT 284753 SOS 124216 HAS SOPS 119836 HAS SOUS 53653 HAS SOUPS 52780 WITH SCORE 52904.216
AT ITER 8356 NEW BEST:: SOT 284679 SOS 124142 HAS SOPS 119762 HAS SOUS 53535 HAS SOUPS 52662 WITH SCORE 52786.142
AT ITER 8360 NEW BEST:: SOT 284691 SOS 124135 HAS SOPS 119736 HAS SOUS 53528 HAS SOUPS 52655 WITH SCORE 52779.135
AT ITER 8412 NEW BEST:: SOT 284702 SOS 124149 HAS SOPS 119750 HAS SOUS 53501 HAS SOUPS 52628 WITH SCORE 52752.149
AT ITER 8429 NEW BEST:: SOT 284833 SOS 124280 HAS SOPS 119881 HAS SOUS 53443 HAS SOUPS 52570 WITH SCORE 52694.28
AT ITER 8462 NEW BEST:: SOT 284840 SOS 124287 HAS SOPS 119888 HAS SOUS 53395 HAS SOUPS 52522 WITH SCORE 52646.287
AT ITER 8478 NEW BEST:: SOT 284808 SOS 124227 HAS SOPS 119828 HAS SOUS 53314 HAS SOUPS 52441 WITH SCORE 52565.227
AT ITER 8488 NEW BEST:: SOT 284782 SOS 124189 HAS SOPS 119790 HAS SOUS 53276 HAS SOUPS 52403 WITH SCORE 52527.189
AT ITER 8500 NEW BEST:: SOT 284732 SOS 124139 HAS SOPS 119740 HAS SOUS 53255 HAS SOUPS 52382 WITH SCORE 52506.139
AT ITER 8510 NEW BEST:: SOT 284931 SOS 124159 HAS SOPS 119760 HAS SOUS 53223 HAS SOUPS 52350 WITH SCORE 52474.159
AT ITER 8527 NEW BEST:: SOT 284855 SOS 124044 HAS SOPS 119645 HAS SOUS 53206 HAS SOUPS 52333 WITH SCORE 52457.044
AT ITER 8541 NEW BEST:: SOT 284828 SOS 124007 HAS SOPS 119608 HAS SOUS 53163 HAS SOUPS 52290 WITH SCORE 52414.007
AT ITER 8559 NEW BEST:: SOT 284802 SOS 123981 HAS SOPS 119618 HAS SOUS 53122 HAS SOUPS 52285 WITH SCORE 52408.981
AT ITER 8571 NEW BEST:: SOT 284798 SOS 123977 HAS SOPS 119614 HAS SOUS 53110 HAS SOUPS 52273 WITH SCORE 52396.977
AT ITER 8641 NEW BEST:: SOT 284821 SOS 123969 HAS SOPS 119606 HAS SOUS 53110 HAS SOUPS 52273 WITH SCORE 52396.969
AT ITER 8665 NEW BEST:: SOT 284805 SOS 123953 HAS SOPS 119590 HAS SOUS 53078 HAS SOUPS 52241 WITH SCORE 52364.953
AT ITER 8682 NEW BEST:: SOT 284800 SOS 123948 HAS SOPS 119585 HAS SOUS 53054 HAS SOUPS 52217 WITH SCORE 52340.948
AT ITER 8725 NEW BEST:: SOT 284769 SOS 123917 HAS SOPS 119554 HAS SOUS 53023 HAS SOUPS 52186 WITH SCORE 52309.917
AT ITER 8731 NEW BEST:: SOT 284763 SOS 123911 HAS SOPS 119548 HAS SOUS 53011 HAS SOUPS 52174 WITH SCORE 52297.911
AT ITER 8747 NEW BEST:: SOT 284784 SOS 123932 HAS SOPS 119564 HAS SOUS 52998 HAS SOUPS 52161 WITH SCORE 52284.932
AT ITER 8751 NEW BEST:: SOT 284795 SOS 123931 HAS SOPS 119563 HAS SOUS 52993 HAS SOUPS 52156 WITH SCORE 52279.931
AT ITER 8752 NEW BEST:: SOT 284793 SOS 123913 HAS SOPS 119545 HAS SOUS 52989 HAS SOUPS 52152 WITH SCORE 52275.913
AT ITER 8761 NEW BEST:: SOT 284790 SOS 123910 HAS SOPS 119542 HAS SOUS 52984 HAS SOUPS 52147 WITH SCORE 52270.91
AT ITER 8782 NEW BEST:: SOT 284766 SOS 123882 HAS SOPS 119514 HAS SOUS 52945 HAS SOUPS 52108 WITH SCORE 52231.882
AT ITER 8787 NEW BEST:: SOT 284776 SOS 123892 HAS SOPS 119524 HAS SOUS 52931 HAS SOUPS 52094 WITH SCORE 52217.892
AT ITER 8805 NEW BEST:: SOT 284753 SOS 123889 HAS SOPS 119521 HAS SOUS 52913 HAS SOUPS 52076 WITH SCORE 52199.889
AT ITER 8820 NEW BEST:: SOT 284727 SOS 123863 HAS SOPS 119495 HAS SOUS 52887 HAS SOUPS 52050 WITH SCORE 52173.863
AT ITER 8866 NEW BEST:: SOT 284726 SOS 123127 HAS SOPS 118759 HAS SOUS 52857 HAS SOUPS 52020 WITH SCORE 52143.127
AT ITER 8921 NEW BEST:: SOT 284720 SOS 123079 HAS SOPS 118711 HAS SOUS 52845 HAS SOUPS 52008 WITH SCORE 52131.079
AT ITER 8936 NEW BEST:: SOT 284718 SOS 123077 HAS SOPS 118709 HAS SOUS 52835 HAS SOUPS 51998 WITH SCORE 52121.077
AT ITER 8948 NEW BEST:: SOT 284715 SOS 123073 HAS SOPS 118705 HAS SOUS 52831 HAS SOUPS 51994 WITH SCORE 52117.073
AT ITER 8950 NEW BEST:: SOT 284686 SOS 123044 HAS SOPS 118676 HAS SOUS 52773 HAS SOUPS 51936 WITH SCORE 52059.044
AT ITER 8983 NEW BEST:: SOT 284659 SOS 123017 HAS SOPS 118649 HAS SOUS 52742 HAS SOUPS 51905 WITH SCORE 52028.017
AT ITER 9031 NEW BEST:: SOT 284668 SOS 123017 HAS SOPS 118620 HAS SOUS 52726 HAS SOUPS 51889 WITH SCORE 52012.017
AT ITER 9079 NEW BEST:: SOT 284658 SOS 122971 HAS SOPS 118574 HAS SOUS 52680 HAS SOUPS 51843 WITH SCORE 51965.971
AT ITER 9138 NEW BEST:: SOT 284731 SOS 123057 HAS SOPS 118634 HAS SOUS 52653 HAS SOUPS 51816 WITH SCORE 51939.057
AT ITER 9150 NEW BEST:: SOT 284743 SOS 123021 HAS SOPS 118570 HAS SOUS 52632 HAS SOUPS 51795 WITH SCORE 51918.021
AT ITER 9155 NEW BEST:: SOT 284733 SOS 123001 HAS SOPS 118550 HAS SOUS 52612 HAS SOUPS 51775 WITH SCORE 51898.001
AT ITER 9166 NEW BEST:: SOT 284721 SOS 122991 HAS SOPS 118540 HAS SOUS 52600 HAS SOUPS 51763 WITH SCORE 51885.991
AT ITER 9174 NEW BEST:: SOT 284604 SOS 122828 HAS SOPS 118377 HAS SOUS 52405 HAS SOUPS 51568 WITH SCORE 51690.828
AT ITER 9197 NEW BEST:: SOT 284463 SOS 122687 HAS SOPS 118236 HAS SOUS 52195 HAS SOUPS 51358 WITH SCORE 51480.687
AT ITER 9200 NEW BEST:: SOT 284456 SOS 122682 HAS SOPS 118231 HAS SOUS 52187 HAS SOUPS 51350 WITH SCORE 51472.682
AT ITER 9246 NEW BEST:: SOT 284453 SOS 122673 HAS SOPS 118222 HAS SOUS 52178 HAS SOUPS 51341 WITH SCORE 51463.673
AT ITER 9264 NEW BEST:: SOT 284446 SOS 122659 HAS SOPS 118208 HAS SOUS 52164 HAS SOUPS 51327 WITH SCORE 51449.659
AT ITER 9275 NEW BEST:: SOT 284418 SOS 122631 HAS SOPS 118180 HAS SOUS 52099 HAS SOUPS 51262 WITH SCORE 51384.631
AT ITER 9293 NEW BEST:: SOT 284416 SOS 122624 HAS SOPS 118173 HAS SOUS 52095 HAS SOUPS 51258 WITH SCORE 51380.624
AT ITER 9300 NEW BEST:: SOT 284408 SOS 122616 HAS SOPS 118165 HAS SOUS 52079 HAS SOUPS 51242 WITH SCORE 51364.616
AT ITER 9346 NEW BEST:: SOT 284403 SOS 122606 HAS SOPS 118155 HAS SOUS 52069 HAS SOUPS 51232 WITH SCORE 51354.606
AT ITER 9410 NEW BEST:: SOT 284412 SOS 122615 HAS SOPS 118164 HAS SOUS 51991 HAS SOUPS 51154 WITH SCORE 51276.615
AT ITER 9519 NEW BEST:: SOT 284405 SOS 122608 HAS SOPS 118157 HAS SOUS 51966 HAS SOUPS 51129 WITH SCORE 51251.608
AT ITER 9676 NEW BEST:: SOT 284397 SOS 122600 HAS SOPS 118149 HAS SOUS 51950 HAS SOUPS 51113 WITH SCORE 51235.6
AT ITER 9720 NEW BEST:: SOT 284393 SOS 122600 HAS SOPS 118149 HAS SOUS 51942 HAS SOUPS 51105 WITH SCORE 51227.6
AT ITER 9864 NEW BEST:: SOT 284377 SOS 122584 HAS SOPS 118133 HAS SOUS 51931 HAS SOUPS 51094 WITH SCORE 51216.584
AT ITER 9932 NEW BEST:: SOT 284317 SOS 122285 HAS SOPS 117899 HAS SOUS 51909 HAS SOUPS 51072 WITH SCORE 51194.285
AT ITER 9947 NEW BEST:: SOT 284278 SOS 122246 HAS SOPS 117860 HAS SOUS 51848 HAS SOUPS 51011 WITH SCORE 51133.246

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="PolyORBLF-PT-S02J06T06"
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 PolyORBLF-PT-S02J06T06, 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 r123-tajo-158961354700440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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