Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 752K
-rw-r--r-- 1 mcc users 6.1K Feb 25 14:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 25 14:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 14:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 14:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 119K Feb 25 14:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 25 14:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 308K Mar 5 18:22 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 1678299117077

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CloudDeployment-PT-3b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 3b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 859 places, 1152 transitions, 4030 arcs.
AT ITER 0 NEW BEST:: SOT 597462 SOS 157944 HAS SOPS 157944 HAS SOUS 113307 HAS SOUPS 113307 WITH SCORE 113464.944
AT ITER 22 NEW BEST:: SOT 597462 SOS 157944 HAS SOPS 157944 HAS SOUS 113275 HAS SOUPS 113275 WITH SCORE 113432.944
AT ITER 38 NEW BEST:: SOT 597578 SOS 158002 HAS SOPS 158002 HAS SOUS 113227 HAS SOUPS 113227 WITH SCORE 113385.002
AT ITER 45 NEW BEST:: SOT 597505 SOS 158039 HAS SOPS 158039 HAS SOUS 113172 HAS SOUPS 113172 WITH SCORE 113330.039
AT ITER 53 NEW BEST:: SOT 597417 SOS 157980 HAS SOPS 157980 HAS SOUS 113045 HAS SOUPS 113045 WITH SCORE 113202.98
AT ITER 61 NEW BEST:: SOT 597417 SOS 157967 HAS SOPS 157967 HAS SOUS 113029 HAS SOUPS 113029 WITH SCORE 113186.967
AT ITER 77 NEW BEST:: SOT 597417 SOS 160867 HAS SOPS 160867 HAS SOUS 113025 HAS SOUPS 113025 WITH SCORE 113185.867
AT ITER 127 NEW BEST:: SOT 597352 SOS 161181 HAS SOPS 161181 HAS SOUS 112984 HAS SOUPS 112984 WITH SCORE 113145.181
AT ITER 140 NEW BEST:: SOT 597322 SOS 161162 HAS SOPS 161162 HAS SOUS 112965 HAS SOUPS 112965 WITH SCORE 113126.162
AT ITER 148 NEW BEST:: SOT 597303 SOS 161124 HAS SOPS 161124 HAS SOUS 112840 HAS SOUPS 112840 WITH SCORE 113001.124
AT ITER 159 NEW BEST:: SOT 597200 SOS 161044 HAS SOPS 161044 HAS SOUS 112634 HAS SOUPS 112634 WITH SCORE 112795.044
AT ITER 163 NEW BEST:: SOT 596704 SOS 164622 HAS SOPS 164622 HAS SOUS 112513 HAS SOUPS 112513 WITH SCORE 112677.622
AT ITER 179 NEW BEST:: SOT 596675 SOS 164585 HAS SOPS 164585 HAS SOUS 112456 HAS SOUPS 112456 WITH SCORE 112620.585
AT ITER 193 NEW BEST:: SOT 596684 SOS 164603 HAS SOPS 164603 HAS SOUS 112438 HAS SOUPS 112438 WITH SCORE 112602.603
AT ITER 210 NEW BEST:: SOT 596638 SOS 164327 HAS SOPS 164327 HAS SOUS 112346 HAS SOUPS 112346 WITH SCORE 112510.327
AT ITER 220 NEW BEST:: SOT 596521 SOS 164429 HAS SOPS 164429 HAS SOUS 112229 HAS SOUPS 112229 WITH SCORE 112393.429
AT ITER 241 NEW BEST:: SOT 596477 SOS 164407 HAS SOPS 164407 HAS SOUS 112185 HAS SOUPS 112185 WITH SCORE 112349.407
AT ITER 248 NEW BEST:: SOT 596477 SOS 166044 HAS SOPS 166044 HAS SOUS 112183 HAS SOUPS 112183 WITH SCORE 112349.044
AT ITER 270 NEW BEST:: SOT 596441 SOS 166008 HAS SOPS 166008 HAS SOUS 112183 HAS SOUPS 112183 WITH SCORE 112349.008
AT ITER 271 NEW BEST:: SOT 596085 SOS 165686 HAS SOPS 165686 HAS SOUS 111857 HAS SOUPS 111857 WITH SCORE 112022.686
AT ITER 272 NEW BEST:: SOT 595979 SOS 165694 HAS SOPS 165694 HAS SOUS 111667 HAS SOUPS 111667 WITH SCORE 111832.694
AT ITER 276 NEW BEST:: SOT 595924 SOS 165584 HAS SOPS 165584 HAS SOUS 111557 HAS SOUPS 111557 WITH SCORE 111722.584
AT ITER 277 NEW BEST:: SOT 595813 SOS 165522 HAS SOPS 165522 HAS SOUS 111465 HAS SOUPS 111465 WITH SCORE 111630.522
AT ITER 318 NEW BEST:: SOT 595813 SOS 165487 HAS SOPS 165487 HAS SOUS 111413 HAS SOUPS 111413 WITH SCORE 111578.487
AT ITER 350 NEW BEST:: SOT 595721 SOS 163823 HAS SOPS 163823 HAS SOUS 111387 HAS SOUPS 111387 WITH SCORE 111550.823
AT ITER 359 NEW BEST:: SOT 595721 SOS 163823 HAS SOPS 163823 HAS SOUS 111378 HAS SOUPS 111378 WITH SCORE 111541.823
AT ITER 371 NEW BEST:: SOT 594771 SOS 173454 HAS SOPS 173454 HAS SOUS 110709 HAS SOUPS 110709 WITH SCORE 110882.454
AT ITER 372 NEW BEST:: SOT 594759 SOS 173430 HAS SOPS 173430 HAS SOUS 110685 HAS SOUPS 110685 WITH SCORE 110858.43
AT ITER 379 NEW BEST:: SOT 594695 SOS 173366 HAS SOPS 173366 HAS SOUS 110621 HAS SOUPS 110621 WITH SCORE 110794.366
AT ITER 386 NEW BEST:: SOT 594672 SOS 173623 HAS SOPS 173623 HAS SOUS 110598 HAS SOUPS 110598 WITH SCORE 110771.623
AT ITER 393 NEW BEST:: SOT 594672 SOS 173622 HAS SOPS 173622 HAS SOUS 110592 HAS SOUPS 110592 WITH SCORE 110765.622
AT ITER 397 NEW BEST:: SOT 594594 SOS 173441 HAS SOPS 173441 HAS SOUS 110275 HAS SOUPS 110275 WITH SCORE 110448.441
AT ITER 399 NEW BEST:: SOT 594474 SOS 173447 HAS SOPS 173447 HAS SOUS 110173 HAS SOUPS 110173 WITH SCORE 110346.447
AT ITER 402 NEW BEST:: SOT 594473 SOS 173445 HAS SOPS 173445 HAS SOUS 110171 HAS SOUPS 110171 WITH SCORE 110344.445
AT ITER 409 NEW BEST:: SOT 594429 SOS 173355 HAS SOPS 173355 HAS SOUS 110081 HAS SOUPS 110081 WITH SCORE 110254.355
AT ITER 417 NEW BEST:: SOT 594381 SOS 173259 HAS SOPS 173259 HAS SOUS 109862 HAS SOUPS 109862 WITH SCORE 110035.259
AT ITER 432 NEW BEST:: SOT 594311 SOS 173335 HAS SOPS 173335 HAS SOUS 109792 HAS SOUPS 109792 WITH SCORE 109965.335
AT ITER 454 NEW BEST:: SOT 594169 SOS 173122 HAS SOPS 173122 HAS SOUS 109579 HAS SOUPS 109579 WITH SCORE 109752.122
AT ITER 458 NEW BEST:: SOT 594163 SOS 173116 HAS SOPS 173116 HAS SOUS 109573 HAS SOUPS 109573 WITH SCORE 109746.116
AT ITER 475 NEW BEST:: SOT 593960 SOS 173136 HAS SOPS 173136 HAS SOUS 109398 HAS SOUPS 109398 WITH SCORE 109571.136
AT ITER 481 NEW BEST:: SOT 593910 SOS 172989 HAS SOPS 172989 HAS SOUS 109306 HAS SOUPS 109306 WITH SCORE 109478.989
AT ITER 485 NEW BEST:: SOT 593909 SOS 172987 HAS SOPS 172987 HAS SOUS 109304 HAS SOUPS 109304 WITH SCORE 109476.987
AT ITER 509 NEW BEST:: SOT 593905 SOS 172979 HAS SOPS 172979 HAS SOUS 109296 HAS SOUPS 109296 WITH SCORE 109468.979
AT ITER 526 NEW BEST:: SOT 593917 SOS 172880 HAS SOPS 172880 HAS SOUS 109226 HAS SOUPS 109226 WITH SCORE 109398.88
AT ITER 530 NEW BEST:: SOT 593890 SOS 173062 HAS SOPS 173062 HAS SOUS 109154 HAS SOUPS 109154 WITH SCORE 109327.062
AT ITER 551 NEW BEST:: SOT 593823 SOS 172995 HAS SOPS 172995 HAS SOUS 109154 HAS SOUPS 109154 WITH SCORE 109326.995
AT ITER 560 NEW BEST:: SOT 593823 SOS 166249 HAS SOPS 166249 HAS SOUS 109154 HAS SOUPS 109154 WITH SCORE 109320.249
AT ITER 571 NEW BEST:: SOT 593758 SOS 166119 HAS SOPS 166119 HAS SOUS 109137 HAS SOUPS 109137 WITH SCORE 109303.119
AT ITER 592 NEW BEST:: SOT 593578 SOS 166049 HAS SOPS 166049 HAS SOUS 109067 HAS SOUPS 109067 WITH SCORE 109233.049
AT ITER 603 NEW BEST:: SOT 593578 SOS 165949 HAS SOPS 165949 HAS SOUS 108967 HAS SOUPS 108967 WITH SCORE 109132.949
AT ITER 606 NEW BEST:: SOT 593560 SOS 165931 HAS SOPS 165931 HAS SOUS 108967 HAS SOUPS 108967 WITH SCORE 109132.931
AT ITER 610 NEW BEST:: SOT 593560 SOS 165931 HAS SOPS 165931 HAS SOUS 108963 HAS SOUPS 108963 WITH SCORE 109128.931
AT ITER 611 NEW BEST:: SOT 593537 SOS 163929 HAS SOPS 163929 HAS SOUS 108796 HAS SOUPS 108796 WITH SCORE 108959.929
AT ITER 630 NEW BEST:: SOT 593522 SOS 163894 HAS SOPS 163894 HAS SOUS 108775 HAS SOUPS 108775 WITH SCORE 108938.894
AT ITER 633 NEW BEST:: SOT 593458 SOS 163871 HAS SOPS 163871 HAS SOUS 108711 HAS SOUPS 108711 WITH SCORE 108874.871
AT ITER 654 NEW BEST:: SOT 593458 SOS 163866 HAS SOPS 163866 HAS SOUS 108705 HAS SOUPS 108705 WITH SCORE 108868.866
AT ITER 661 NEW BEST:: SOT 593455 SOS 163864 HAS SOPS 163864 HAS SOUS 108702 HAS SOUPS 108702 WITH SCORE 108865.864
AT ITER 672 NEW BEST:: SOT 593455 SOS 163864 HAS SOPS 163864 HAS SOUS 108618 HAS SOUPS 108618 WITH SCORE 108781.864
AT ITER 683 NEW BEST:: SOT 593490 SOS 163968 HAS SOPS 163968 HAS SOUS 108581 HAS SOUPS 108581 WITH SCORE 108744.968
AT ITER 691 NEW BEST:: SOT 593354 SOS 164146 HAS SOPS 164146 HAS SOUS 108502 HAS SOUPS 108502 WITH SCORE 108666.146
AT ITER 703 NEW BEST:: SOT 593354 SOS 164125 HAS SOPS 164125 HAS SOUS 108502 HAS SOUPS 108502 WITH SCORE 108666.125
AT ITER 704 NEW BEST:: SOT 593317 SOS 164088 HAS SOPS 164088 HAS SOUS 108408 HAS SOUPS 108408 WITH SCORE 108572.088
AT ITER 719 NEW BEST:: SOT 593297 SOS 164060 HAS SOPS 164060 HAS SOUS 108368 HAS SOUPS 108368 WITH SCORE 108532.06
AT ITER 765 NEW BEST:: SOT 593319 SOS 164104 HAS SOPS 164104 HAS SOUS 108226 HAS SOUPS 108226 WITH SCORE 108390.104
AT ITER 781 NEW BEST:: SOT 593319 SOS 164138 HAS SOPS 164138 HAS SOUS 108065 HAS SOUPS 108065 WITH SCORE 108229.138
AT ITER 786 NEW BEST:: SOT 593198 SOS 164017 HAS SOPS 164017 HAS SOUS 107944 HAS SOUPS 107944 WITH SCORE 108108.017
AT ITER 805 NEW BEST:: SOT 593202 SOS 164025 HAS SOPS 164025 HAS SOUS 107937 HAS SOUPS 107937 WITH SCORE 108101.025
AT ITER 816 NEW BEST:: SOT 593266 SOS 163964 HAS SOPS 163964 HAS SOUS 107607 HAS SOUPS 107607 WITH SCORE 107770.964
AT ITER 819 NEW BEST:: SOT 593269 SOS 163970 HAS SOPS 163970 HAS SOUS 107512 HAS SOUPS 107512 WITH SCORE 107675.97
AT ITER 847 NEW BEST:: SOT 593224 SOS 163835 HAS SOPS 163835 HAS SOUS 107467 HAS SOUPS 107467 WITH SCORE 107630.835
AT ITER 853 NEW BEST:: SOT 593214 SOS 163825 HAS SOPS 163825 HAS SOUS 107457 HAS SOUPS 107457 WITH SCORE 107620.825
AT ITER 857 NEW BEST:: SOT 593099 SOS 163609 HAS SOPS 163609 HAS SOUS 107299 HAS SOUPS 107299 WITH SCORE 107462.609
AT ITER 871 NEW BEST:: SOT 593099 SOS 164614 HAS SOPS 164614 HAS SOUS 107233 HAS SOUPS 107233 WITH SCORE 107397.614
AT ITER 898 NEW BEST:: SOT 593098 SOS 164612 HAS SOPS 164612 HAS SOUS 107231 HAS SOUPS 107231 WITH SCORE 107395.612
AT ITER 901 NEW BEST:: SOT 593027 SOS 164206 HAS SOPS 164206 HAS SOUS 107092 HAS SOUPS 107092 WITH SCORE 107256.206
AT ITER 907 NEW BEST:: SOT 593033 SOS 164188 HAS SOPS 164188 HAS SOUS 105178 HAS SOUPS 105178 WITH SCORE 105342.188
AT ITER 922 NEW BEST:: SOT 592940 SOS 164179 HAS SOPS 164179 HAS SOUS 105085 HAS SOUPS 105085 WITH SCORE 105249.179
AT ITER 954 NEW BEST:: SOT 592828 SOS 164097 HAS SOPS 164097 HAS SOUS 104547 HAS SOUPS 104547 WITH SCORE 104711.097
AT ITER 1023 NEW BEST:: SOT 592800 SOS 164100 HAS SOPS 164100 HAS SOUS 104436 HAS SOUPS 104436 WITH SCORE 104600.1
AT ITER 1032 NEW BEST:: SOT 592668 SOS 164160 HAS SOPS 164160 HAS SOUS 104302 HAS SOUPS 104302 WITH SCORE 104466.16
AT ITER 1034 NEW BEST:: SOT 592586 SOS 164065 HAS SOPS 164065 HAS SOUS 104151 HAS SOUPS 104151 WITH SCORE 104315.065
AT ITER 1056 NEW BEST:: SOT 592586 SOS 164072 HAS SOPS 164072 HAS SOUS 104149 HAS SOUPS 104149 WITH SCORE 104313.072
AT ITER 1058 NEW BEST:: SOT 592399 SOS 164354 HAS SOPS 164354 HAS SOUS 104123 HAS SOUPS 104123 WITH SCORE 104287.354
AT ITER 1060 NEW BEST:: SOT 592523 SOS 164728 HAS SOPS 164728 HAS SOUS 104122 HAS SOUPS 104122 WITH SCORE 104286.728
AT ITER 1063 NEW BEST:: SOT 592523 SOS 164728 HAS SOPS 164728 HAS SOUS 104121 HAS SOUPS 104121 WITH SCORE 104285.728
AT ITER 1077 NEW BEST:: SOT 592356 SOS 164564 HAS SOPS 164564 HAS SOUS 103955 HAS SOUPS 103955 WITH SCORE 104119.564
AT ITER 1090 NEW BEST:: SOT 592390 SOS 164483 HAS SOPS 164483 HAS SOUS 103953 HAS SOUPS 103953 WITH SCORE 104117.483
AT ITER 1109 NEW BEST:: SOT 592357 SOS 164417 HAS SOPS 164417 HAS SOUS 103881 HAS SOUPS 103881 WITH SCORE 104045.417
AT ITER 1110 NEW BEST:: SOT 592383 SOS 164315 HAS SOPS 164315 HAS SOUS 103769 HAS SOUPS 103769 WITH SCORE 103933.315
AT ITER 1120 NEW BEST:: SOT 592144 SOS 164916 HAS SOPS 164916 HAS SOUS 103530 HAS SOUPS 103530 WITH SCORE 103694.916
AT ITER 1178 NEW BEST:: SOT 592144 SOS 164916 HAS SOPS 164916 HAS SOUS 103484 HAS SOUPS 103484 WITH SCORE 103648.916
AT ITER 1179 NEW BEST:: SOT 592115 SOS 164940 HAS SOPS 164940 HAS SOUS 103479 HAS SOUPS 103479 WITH SCORE 103643.94
AT ITER 1195 NEW BEST:: SOT 592049 SOS 164808 HAS SOPS 164808 HAS SOUS 103470 HAS SOUPS 103470 WITH SCORE 103634.808
AT ITER 1242 NEW BEST:: SOT 591992 SOS 164729 HAS SOPS 164729 HAS SOUS 103457 HAS SOUPS 103457 WITH SCORE 103621.729
AT ITER 1248 NEW BEST:: SOT 591967 SOS 164704 HAS SOPS 164704 HAS SOUS 103457 HAS SOUPS 103457 WITH SCORE 103621.704
AT ITER 1264 NEW BEST:: SOT 591910 SOS 164533 HAS SOPS 164533 HAS SOUS 103400 HAS SOUPS 103400 WITH SCORE 103564.533
AT ITER 1280 NEW BEST:: SOT 591910 SOS 164524 HAS SOPS 164524 HAS SOUS 103400 HAS SOUPS 103400 WITH SCORE 103564.524
AT ITER 1294 NEW BEST:: SOT 591927 SOS 164476 HAS SOPS 164476 HAS SOUS 103287 HAS SOUPS 103287 WITH SCORE 103451.476
AT ITER 1297 NEW BEST:: SOT 591927 SOS 164476 HAS SOPS 164476 HAS SOUS 103284 HAS SOUPS 103284 WITH SCORE 103448.476
AT ITER 1300 NEW BEST:: SOT 591871 SOS 164364 HAS SOPS 164364 HAS SOUS 103228 HAS SOUPS 103228 WITH SCORE 103392.364
AT ITER 1334 NEW BEST:: SOT 591675 SOS 164033 HAS SOPS 164033 HAS SOUS 103183 HAS SOUPS 103183 WITH SCORE 103347.033
AT ITER 1351 NEW BEST:: SOT 591756 SOS 164186 HAS SOPS 164186 HAS SOUS 103128 HAS SOUPS 103128 WITH SCORE 103292.186
AT ITER 1361 NEW BEST:: SOT 591738 SOS 164168 HAS SOPS 164168 HAS SOUS 103110 HAS SOUPS 103110 WITH SCORE 103274.168
AT ITER 1366 NEW BEST:: SOT 591727 SOS 164150 HAS SOPS 164150 HAS SOUS 102983 HAS SOUPS 102983 WITH SCORE 103147.15
AT ITER 1376 NEW BEST:: SOT 591728 SOS 164117 HAS SOPS 164117 HAS SOUS 102944 HAS SOUPS 102944 WITH SCORE 103108.117
AT ITER 1396 NEW BEST:: SOT 591649 SOS 164038 HAS SOPS 164038 HAS SOUS 102865 HAS SOUPS 102865 WITH SCORE 103029.038
AT ITER 1404 NEW BEST:: SOT 591627 SOS 163972 HAS SOPS 163972 HAS SOUS 102821 HAS SOUPS 102821 WITH SCORE 102984.972
AT ITER 1435 NEW BEST:: SOT 591500 SOS 163718 HAS SOPS 163718 HAS SOUS 102567 HAS SOUPS 102567 WITH SCORE 102730.718
AT ITER 1473 NEW BEST:: SOT 591388 SOS 163606 HAS SOPS 163606 HAS SOUS 102472 HAS SOUPS 102472 WITH SCORE 102635.606
AT ITER 1488 NEW BEST:: SOT 591388 SOS 163543 HAS SOPS 163543 HAS SOUS 102362 HAS SOUPS 102362 WITH SCORE 102525.543
AT ITER 1510 NEW BEST:: SOT 591372 SOS 163511 HAS SOPS 163511 HAS SOUS 102345 HAS SOUPS 102345 WITH SCORE 102508.511
AT ITER 1514 NEW BEST:: SOT 591270 SOS 163420 HAS SOPS 163420 HAS SOUS 102248 HAS SOUPS 102248 WITH SCORE 102411.42
AT ITER 1524 NEW BEST:: SOT 591270 SOS 163411 HAS SOPS 163411 HAS SOUS 102239 HAS SOUPS 102239 WITH SCORE 102402.411
AT ITER 1566 NEW BEST:: SOT 591230 SOS 163371 HAS SOPS 163371 HAS SOUS 102199 HAS SOUPS 102199 WITH SCORE 102362.371
AT ITER 1567 NEW BEST:: SOT 591173 SOS 163252 HAS SOPS 163252 HAS SOUS 102080 HAS SOUPS 102080 WITH SCORE 102243.252
AT ITER 1572 NEW BEST:: SOT 591173 SOS 163187 HAS SOPS 163187 HAS SOUS 102023 HAS SOUPS 102023 WITH SCORE 102186.187
AT ITER 1588 NEW BEST:: SOT 591223 SOS 163181 HAS SOPS 163181 HAS SOUS 102017 HAS SOUPS 102017 WITH SCORE 102180.181
AT ITER 1595 NEW BEST:: SOT 591214 SOS 163163 HAS SOPS 163163 HAS SOUS 101969 HAS SOUPS 101969 WITH SCORE 102132.163
AT ITER 1602 NEW BEST:: SOT 591138 SOS 163332 HAS SOPS 163332 HAS SOUS 101904 HAS SOUPS 101904 WITH SCORE 102067.332
AT ITER 1651 NEW BEST:: SOT 591124 SOS 163328 HAS SOPS 163328 HAS SOUS 101890 HAS SOUPS 101890 WITH SCORE 102053.328
AT ITER 1653 NEW BEST:: SOT 591124 SOS 163328 HAS SOPS 163328 HAS SOUS 101874 HAS SOUPS 101874 WITH SCORE 102037.328
AT ITER 1684 NEW BEST:: SOT 591158 SOS 163254 HAS SOPS 163254 HAS SOUS 101763 HAS SOUPS 101763 WITH SCORE 101926.254
AT ITER 1685 NEW BEST:: SOT 591028 SOS 163471 HAS SOPS 163471 HAS SOUS 101649 HAS SOUPS 101649 WITH SCORE 101812.471
AT ITER 1697 NEW BEST:: SOT 590222 SOS 171614 HAS SOPS 171614 HAS SOUS 101494 HAS SOUPS 101494 WITH SCORE 101665.614
AT ITER 1698 NEW BEST:: SOT 590235 SOS 171614 HAS SOPS 171614 HAS SOUS 101481 HAS SOUPS 101481 WITH SCORE 101652.614
AT ITER 1716 NEW BEST:: SOT 590235 SOS 171614 HAS SOPS 171614 HAS SOUS 101440 HAS SOUPS 101440 WITH SCORE 101611.614
AT ITER 1733 NEW BEST:: SOT 590214 SOS 171572 HAS SOPS 171572 HAS SOUS 101400 HAS SOUPS 101400 WITH SCORE 101571.572
AT ITER 1763 NEW BEST:: SOT 590425 SOS 166081 HAS SOPS 166081 HAS SOUS 101344 HAS SOUPS 101344 WITH SCORE 101510.081
AT ITER 1783 NEW BEST:: SOT 590527 SOS 166285 HAS SOPS 166285 HAS SOUS 101332 HAS SOUPS 101332 WITH SCORE 101498.285
AT ITER 1786 NEW BEST:: SOT 590473 SOS 166123 HAS SOPS 166123 HAS SOUS 101224 HAS SOUPS 101224 WITH SCORE 101390.123
AT ITER 1792 NEW BEST:: SOT 590378 SOS 166269 HAS SOPS 166269 HAS SOUS 101213 HAS SOUPS 101213 WITH SCORE 101379.269
AT ITER 1800 NEW BEST:: SOT 590378 SOS 166264 HAS SOPS 166264 HAS SOUS 101208 HAS SOUPS 101208 WITH SCORE 101374.264
AT ITER 1811 NEW BEST:: SOT 590360 SOS 166228 HAS SOPS 166228 HAS SOUS 101194 HAS SOUPS 101194 WITH SCORE 101360.228
AT ITER 1814 NEW BEST:: SOT 590335 SOS 166262 HAS SOPS 166262 HAS SOUS 101181 HAS SOUPS 101181 WITH SCORE 101347.262
AT ITER 1821 NEW BEST:: SOT 590396 SOS 166186 HAS SOPS 166186 HAS SOUS 101143 HAS SOUPS 101143 WITH SCORE 101309.186
AT ITER 1839 NEW BEST:: SOT 590568 SOS 166354 HAS SOPS 166354 HAS SOUS 101135 HAS SOUPS 101135 WITH SCORE 101301.354
AT ITER 1847 NEW BEST:: SOT 590545 SOS 166308 HAS SOPS 166308 HAS SOUS 101112 HAS SOUPS 101112 WITH SCORE 101278.308
AT ITER 1866 NEW BEST:: SOT 590512 SOS 166242 HAS SOPS 166242 HAS SOUS 101079 HAS SOUPS 101079 WITH SCORE 101245.242
AT ITER 1878 NEW BEST:: SOT 590513 SOS 166387 HAS SOPS 166387 HAS SOUS 101054 HAS SOUPS 101054 WITH SCORE 101220.387
AT ITER 1895 NEW BEST:: SOT 590505 SOS 166387 HAS SOPS 166387 HAS SOUS 101042 HAS SOUPS 101042 WITH SCORE 101208.387
AT ITER 1899 NEW BEST:: SOT 590486 SOS 166349 HAS SOPS 166349 HAS SOUS 101004 HAS SOUPS 101004 WITH SCORE 101170.349
AT ITER 1901 NEW BEST:: SOT 590477 SOS 166331 HAS SOPS 166331 HAS SOUS 100986 HAS SOUPS 100986 WITH SCORE 101152.331
AT ITER 1903 NEW BEST:: SOT 590397 SOS 166321 HAS SOPS 166321 HAS SOUS 100956 HAS SOUPS 100956 WITH SCORE 101122.321
AT ITER 1943 NEW BEST:: SOT 590375 SOS 166241 HAS SOPS 166241 HAS SOUS 100954 HAS SOUPS 100954 WITH SCORE 101120.241
AT ITER 1958 NEW BEST:: SOT 590239 SOS 166101 HAS SOPS 166101 HAS SOUS 100800 HAS SOUPS 100800 WITH SCORE 100966.101
AT ITER 1964 NEW BEST:: SOT 590225 SOS 166073 HAS SOPS 166073 HAS SOUS 100785 HAS SOUPS 100785 WITH SCORE 100951.073
AT ITER 2003 NEW BEST:: SOT 590173 SOS 166029 HAS SOPS 166029 HAS SOUS 100741 HAS SOUPS 100741 WITH SCORE 100907.029
AT ITER 2039 NEW BEST:: SOT 590173 SOS 166029 HAS SOPS 166029 HAS SOUS 100689 HAS SOUPS 100689 WITH SCORE 100855.029
AT ITER 2049 NEW BEST:: SOT 590173 SOS 165933 HAS SOPS 165933 HAS SOUS 100689 HAS SOUPS 100689 WITH SCORE 100854.933
AT ITER 2060 NEW BEST:: SOT 590158 SOS 165950 HAS SOPS 165950 HAS SOUS 100635 HAS SOUPS 100635 WITH SCORE 100800.95
AT ITER 2061 NEW BEST:: SOT 590158 SOS 165950 HAS SOPS 165950 HAS SOUS 100623 HAS SOUPS 100623 WITH SCORE 100788.95
AT ITER 2081 NEW BEST:: SOT 590158 SOS 166085 HAS SOPS 166085 HAS SOUS 100547 HAS SOUPS 100547 WITH SCORE 100713.085
AT ITER 2088 NEW BEST:: SOT 590119 SOS 166124 HAS SOPS 166124 HAS SOUS 100508 HAS SOUPS 100508 WITH SCORE 100674.124
AT ITER 2094 NEW BEST:: SOT 590155 SOS 166093 HAS SOPS 166093 HAS SOUS 100477 HAS SOUPS 100477 WITH SCORE 100643.093
AT ITER 2148 NEW BEST:: SOT 590154 SOS 166091 HAS SOPS 166091 HAS SOUS 100475 HAS SOUPS 100475 WITH SCORE 100641.091
AT ITER 2160 NEW BEST:: SOT 590159 SOS 166023 HAS SOPS 166023 HAS SOUS 100376 HAS SOUPS 100376 WITH SCORE 100542.023
AT ITER 2163 NEW BEST:: SOT 590123 SOS 165835 HAS SOPS 165835 HAS SOUS 100340 HAS SOUPS 100340 WITH SCORE 100505.835
AT ITER 2172 NEW BEST:: SOT 590257 SOS 165917 HAS SOPS 165917 HAS SOUS 100310 HAS SOUPS 100310 WITH SCORE 100475.917
AT ITER 2175 NEW BEST:: SOT 590211 SOS 165871 HAS SOPS 165871 HAS SOUS 100260 HAS SOUPS 100260 WITH SCORE 100425.871
AT ITER 2181 NEW BEST:: SOT 590211 SOS 165871 HAS SOPS 165871 HAS SOUS 100240 HAS SOUPS 100240 WITH SCORE 100405.871
AT ITER 2189 NEW BEST:: SOT 590199 SOS 165847 HAS SOPS 165847 HAS SOUS 100216 HAS SOUPS 100216 WITH SCORE 100381.847
AT ITER 2192 NEW BEST:: SOT 590130 SOS 165709 HAS SOPS 165709 HAS SOUS 100078 HAS SOUPS 100078 WITH SCORE 100243.709
AT ITER 2196 NEW BEST:: SOT 590124 SOS 165697 HAS SOPS 165697 HAS SOUS 100028 HAS SOUPS 100028 WITH SCORE 100193.697
AT ITER 2198 NEW BEST:: SOT 590124 SOS 165697 HAS SOPS 165697 HAS SOUS 99997 HAS SOUPS 99997 WITH SCORE 100162.697
AT ITER 2205 NEW BEST:: SOT 590124 SOS 165638 HAS SOPS 165638 HAS SOUS 99997 HAS SOUPS 99997 WITH SCORE 100162.638
AT ITER 2214 NEW BEST:: SOT 590110 SOS 165610 HAS SOPS 165610 HAS SOUS 99955 HAS SOUPS 99955 WITH SCORE 100120.61
AT ITER 2217 NEW BEST:: SOT 589990 SOS 165528 HAS SOPS 165528 HAS SOUS 99950 HAS SOUPS 99950 WITH SCORE 100115.528
AT ITER 2286 NEW BEST:: SOT 589971 SOS 165490 HAS SOPS 165490 HAS SOUS 99940 HAS SOUPS 99940 WITH SCORE 100105.49
AT ITER 2300 NEW BEST:: SOT 589926 SOS 165400 HAS SOPS 165400 HAS SOUS 99870 HAS SOUPS 99870 WITH SCORE 100035.4
AT ITER 2306 NEW BEST:: SOT 589926 SOS 165382 HAS SOPS 165382 HAS SOUS 99852 HAS SOUPS 99852 WITH SCORE 100017.382
AT ITER 2316 NEW BEST:: SOT 589644 SOS 165248 HAS SOPS 165248 HAS SOUS 99652 HAS SOUPS 99652 WITH SCORE 99817.248
AT ITER 2355 NEW BEST:: SOT 589528 SOS 165179 HAS SOPS 165179 HAS SOUS 99593 HAS SOUPS 99593 WITH SCORE 99758.179
AT ITER 2419 NEW BEST:: SOT 589495 SOS 165115 HAS SOPS 165115 HAS SOUS 99550 HAS SOUPS 99550 WITH SCORE 99715.115
AT ITER 2423 NEW BEST:: SOT 589437 SOS 165067 HAS SOPS 165067 HAS SOUS 99485 HAS SOUPS 99485 WITH SCORE 99650.067
AT ITER 2493 NEW BEST:: SOT 589437 SOS 165024 HAS SOPS 165024 HAS SOUS 99481 HAS SOUPS 99481 WITH SCORE 99646.024
AT ITER 2511 NEW BEST:: SOT 589351 SOS 165143 HAS SOPS 165143 HAS SOUS 99464 HAS SOUPS 99464 WITH SCORE 99629.143
AT ITER 2523 NEW BEST:: SOT 589409 SOS 165129 HAS SOPS 165129 HAS SOUS 99394 HAS SOUPS 99394 WITH SCORE 99559.129
AT ITER 2532 NEW BEST:: SOT 589373 SOS 165091 HAS SOPS 165091 HAS SOUS 99356 HAS SOUPS 99356 WITH SCORE 99521.091
AT ITER 2543 NEW BEST:: SOT 589141 SOS 164859 HAS SOPS 164859 HAS SOUS 99176 HAS SOUPS 99176 WITH SCORE 99340.859
AT ITER 2550 NEW BEST:: SOT 589139 SOS 164857 HAS SOPS 164857 HAS SOUS 99176 HAS SOUPS 99176 WITH SCORE 99340.857
AT ITER 2587 NEW BEST:: SOT 589135 SOS 164849 HAS SOPS 164849 HAS SOUS 99172 HAS SOUPS 99172 WITH SCORE 99336.849
AT ITER 2617 NEW BEST:: SOT 589091 SOS 164845 HAS SOPS 164845 HAS SOUS 99146 HAS SOUPS 99146 WITH SCORE 99310.845
AT ITER 2623 NEW BEST:: SOT 589078 SOS 164820 HAS SOPS 164820 HAS SOUS 99131 HAS SOUPS 99131 WITH SCORE 99295.82
AT ITER 2636 NEW BEST:: SOT 589057 SOS 164778 HAS SOPS 164778 HAS SOUS 99089 HAS SOUPS 99089 WITH SCORE 99253.778
AT ITER 2644 NEW BEST:: SOT 589057 SOS 164778 HAS SOPS 164778 HAS SOUS 99072 HAS SOUPS 99072 WITH SCORE 99236.778
AT ITER 2649 NEW BEST:: SOT 588995 SOS 164654 HAS SOPS 164654 HAS SOUS 98948 HAS SOUPS 98948 WITH SCORE 99112.654
AT ITER 2664 NEW BEST:: SOT 588943 SOS 164602 HAS SOPS 164602 HAS SOUS 98937 HAS SOUPS 98937 WITH SCORE 99101.602
AT ITER 2681 NEW BEST:: SOT 589027 SOS 165368 HAS SOPS 165368 HAS SOUS 98929 HAS SOUPS 98929 WITH SCORE 99094.368
AT ITER 2687 NEW BEST:: SOT 589035 SOS 165342 HAS SOPS 165342 HAS SOUS 98922 HAS SOUPS 98922 WITH SCORE 99087.342
AT ITER 2698 NEW BEST:: SOT 589015 SOS 165392 HAS SOPS 165392 HAS SOUS 98902 HAS SOUPS 98902 WITH SCORE 99067.392
AT ITER 2706 NEW BEST:: SOT 589075 SOS 164629 HAS SOPS 164629 HAS SOUS 98870 HAS SOUPS 98870 WITH SCORE 99034.629
AT ITER 2712 NEW BEST:: SOT 588848 SOS 164274 HAS SOPS 164274 HAS SOUS 98766 HAS SOUPS 98766 WITH SCORE 98930.274
AT ITER 2725 NEW BEST:: SOT 588840 SOS 164258 HAS SOPS 164258 HAS SOUS 98750 HAS SOUPS 98750 WITH SCORE 98914.258
AT ITER 2727 NEW BEST:: SOT 588834 SOS 164268 HAS SOPS 164268 HAS SOUS 98744 HAS SOUPS 98744 WITH SCORE 98908.268
AT ITER 2732 NEW BEST:: SOT 588954 SOS 164232 HAS SOPS 164232 HAS SOUS 98734 HAS SOUPS 98734 WITH SCORE 98898.232
AT ITER 2736 NEW BEST:: SOT 588912 SOS 164064 HAS SOPS 164064 HAS SOUS 98692 HAS SOUPS 98692 WITH SCORE 98856.064
AT ITER 2745 NEW BEST:: SOT 588912 SOS 164040 HAS SOPS 164040 HAS SOUS 98668 HAS SOUPS 98668 WITH SCORE 98832.04
AT ITER 2762 NEW BEST:: SOT 588912 SOS 163830 HAS SOPS 163830 HAS SOUS 98668 HAS SOUPS 98668 WITH SCORE 98831.83
AT ITER 2772 NEW BEST:: SOT 588825 SOS 163482 HAS SOPS 163482 HAS SOUS 98494 HAS SOUPS 98494 WITH SCORE 98657.482
AT ITER 2786 NEW BEST:: SOT 588808 SOS 163431 HAS SOPS 163431 HAS SOUS 98460 HAS SOUPS 98460 WITH SCORE 98623.431
AT ITER 2820 NEW BEST:: SOT 588808 SOS 163407 HAS SOPS 163407 HAS SOUS 98460 HAS SOUPS 98460 WITH SCORE 98623.407
AT ITER 2829 NEW BEST:: SOT 588805 SOS 163401 HAS SOPS 163401 HAS SOUS 98454 HAS SOUPS 98454 WITH SCORE 98617.401
AT ITER 2836 NEW BEST:: SOT 588732 SOS 163255 HAS SOPS 163255 HAS SOUS 98328 HAS SOUPS 98328 WITH SCORE 98491.255
AT ITER 2839 NEW BEST:: SOT 588739 SOS 163244 HAS SOPS 163244 HAS SOUS 98317 HAS SOUPS 98317 WITH SCORE 98480.244
AT ITER 2879 NEW BEST:: SOT 588733 SOS 163238 HAS SOPS 163238 HAS SOUS 98317 HAS SOUPS 98317 WITH SCORE 98480.238
AT ITER 2880 NEW BEST:: SOT 588732 SOS 163237 HAS SOPS 163237 HAS SOUS 98317 HAS SOUPS 98317 WITH SCORE 98480.237
AT ITER 2883 NEW BEST:: SOT 588703 SOS 163211 HAS SOPS 163211 HAS SOUS 98256 HAS SOUPS 98256 WITH SCORE 98419.211
AT ITER 2884 NEW BEST:: SOT 588688 SOS 163289 HAS SOPS 163289 HAS SOUS 98248 HAS SOUPS 98248 WITH SCORE 98411.289
AT ITER 2888 NEW BEST:: SOT 588671 SOS 163255 HAS SOPS 163255 HAS SOUS 98214 HAS SOUPS 98214 WITH SCORE 98377.255
AT ITER 2906 NEW BEST:: SOT 588671 SOS 163143 HAS SOPS 163143 HAS SOUS 98102 HAS SOUPS 98102 WITH SCORE 98265.143
AT ITER 2941 NEW BEST:: SOT 588645 SOS 163091 HAS SOPS 163091 HAS SOUS 98075 HAS SOUPS 98075 WITH SCORE 98238.091
AT ITER 2953 NEW BEST:: SOT 588632 SOS 163065 HAS SOPS 163065 HAS SOUS 98061 HAS SOUPS 98061 WITH SCORE 98224.065
AT ITER 2990 NEW BEST:: SOT 588635 SOS 163047 HAS SOPS 163047 HAS SOUS 98061 HAS SOUPS 98061 WITH SCORE 98224.047
AT ITER 2995 NEW BEST:: SOT 588553 SOS 162965 HAS SOPS 162965 HAS SOUS 98061 HAS SOUPS 98061 WITH SCORE 98223.965
AT ITER 3005 NEW BEST:: SOT 588523 SOS 162935 HAS SOPS 162935 HAS SOUS 98031 HAS SOUPS 98031 WITH SCORE 98193.935
AT ITER 3032 NEW BEST:: SOT 588523 SOS 162935 HAS SOPS 162935 HAS SOUS 97968 HAS SOUPS 97968 WITH SCORE 98130.935
AT ITER 3049 NEW BEST:: SOT 588415 SOS 162827 HAS SOPS 162827 HAS SOUS 97942 HAS SOUPS 97942 WITH SCORE 98104.827
AT ITER 3055 NEW BEST:: SOT 588415 SOS 162798 HAS SOPS 162798 HAS SOUS 97942 HAS SOUPS 97942 WITH SCORE 98104.798
AT ITER 3077 NEW BEST:: SOT 588406 SOS 162780 HAS SOPS 162780 HAS SOUS 97902 HAS SOUPS 97902 WITH SCORE 98064.78
AT ITER 3081 NEW BEST:: SOT 588404 SOS 162778 HAS SOPS 162778 HAS SOUS 97900 HAS SOUPS 97900 WITH SCORE 98062.778
AT ITER 3104 NEW BEST:: SOT 588385 SOS 162710 HAS SOPS 162710 HAS SOUS 97871 HAS SOUPS 97871 WITH SCORE 98033.71
AT ITER 3153 NEW BEST:: SOT 588265 SOS 162713 HAS SOPS 162713 HAS SOUS 97793 HAS SOUPS 97793 WITH SCORE 97955.713
AT ITER 3195 NEW BEST:: SOT 588236 SOS 162684 HAS SOPS 162684 HAS SOUS 97793 HAS SOUPS 97793 WITH SCORE 97955.684
AT ITER 3201 NEW BEST:: SOT 588250 SOS 163252 HAS SOPS 163252 HAS SOUS 97746 HAS SOUPS 97746 WITH SCORE 97909.252
AT ITER 3223 NEW BEST:: SOT 588184 SOS 163261 HAS SOPS 163261 HAS SOUS 97680 HAS SOUPS 97680 WITH SCORE 97843.261
AT ITER 3258 NEW BEST:: SOT 588120 SOS 163133 HAS SOPS 163133 HAS SOUS 97616 HAS SOUPS 97616 WITH SCORE 97779.133
AT ITER 3270 NEW BEST:: SOT 587968 SOS 163077 HAS SOPS 163077 HAS SOUS 97519 HAS SOUPS 97519 WITH SCORE 97682.077
AT ITER 3345 NEW BEST:: SOT 587968 SOS 163062 HAS SOPS 163062 HAS SOUS 97519 HAS SOUPS 97519 WITH SCORE 97682.062
AT ITER 3354 NEW BEST:: SOT 587968 SOS 163059 HAS SOPS 163059 HAS SOUS 97513 HAS SOUPS 97513 WITH SCORE 97676.059
AT ITER 3356 NEW BEST:: SOT 587967 SOS 163101 HAS SOPS 163101 HAS SOUS 97377 HAS SOUPS 97377 WITH SCORE 97540.101
AT ITER 3364 NEW BEST:: SOT 587967 SOS 163101 HAS SOPS 163101 HAS SOUS 97257 HAS SOUPS 97257 WITH SCORE 97420.101
AT ITER 3375 NEW BEST:: SOT 587964 SOS 163095 HAS SOPS 163095 HAS SOUS 97155 HAS SOUPS 97155 WITH SCORE 97318.095
AT ITER 3387 NEW BEST:: SOT 587954 SOS 163065 HAS SOPS 163065 HAS SOUS 97140 HAS SOUPS 97140 WITH SCORE 97303.065
AT ITER 3395 NEW BEST:: SOT 587954 SOS 163049 HAS SOPS 163049 HAS SOUS 97124 HAS SOUPS 97124 WITH SCORE 97287.049
AT ITER 3408 NEW BEST:: SOT 587715 SOS 162871 HAS SOPS 162871 HAS SOUS 97041 HAS SOUPS 97041 WITH SCORE 97203.871
AT ITER 3426 NEW BEST:: SOT 587691 SOS 162705 HAS SOPS 162705 HAS SOUS 96993 HAS SOUPS 96993 WITH SCORE 97155.705
AT ITER 3465 NEW BEST:: SOT 587688 SOS 162699 HAS SOPS 162699 HAS SOUS 96987 HAS SOUPS 96987 WITH SCORE 97149.699
AT ITER 3471 NEW BEST:: SOT 587687 SOS 162695 HAS SOPS 162695 HAS SOUS 96949 HAS SOUPS 96949 WITH SCORE 97111.695
AT ITER 3482 NEW BEST:: SOT 587603 SOS 162659 HAS SOPS 162659 HAS SOUS 96869 HAS SOUPS 96869 WITH SCORE 97031.659
AT ITER 3558 NEW BEST:: SOT 587603 SOS 162659 HAS SOPS 162659 HAS SOUS 96861 HAS SOUPS 96861 WITH SCORE 97023.659
AT ITER 3569 NEW BEST:: SOT 587603 SOS 162617 HAS SOPS 162617 HAS SOUS 96847 HAS SOUPS 96847 WITH SCORE 97009.617
AT ITER 3582 NEW BEST:: SOT 587604 SOS 162619 HAS SOPS 162619 HAS SOUS 96845 HAS SOUPS 96845 WITH SCORE 97007.619
AT ITER 3592 NEW BEST:: SOT 587620 SOS 162651 HAS SOPS 162651 HAS SOUS 96800 HAS SOUPS 96800 WITH SCORE 96962.651
AT ITER 3623 NEW BEST:: SOT 587584 SOS 162561 HAS SOPS 162561 HAS SOUS 96746 HAS SOUPS 96746 WITH SCORE 96908.561
AT ITER 3635 NEW BEST:: SOT 587544 SOS 162583 HAS SOPS 162583 HAS SOUS 96632 HAS SOUPS 96632 WITH SCORE 96794.583
AT ITER 3663 NEW BEST:: SOT 587544 SOS 162223 HAS SOPS 162223 HAS SOUS 96632 HAS SOUPS 96632 WITH SCORE 96794.223
AT ITER 3665 NEW BEST:: SOT 587541 SOS 162217 HAS SOPS 162217 HAS SOUS 96538 HAS SOUPS 96538 WITH SCORE 96700.217
AT ITER 3679 NEW BEST:: SOT 587541 SOS 162169 HAS SOPS 162169 HAS SOUS 96490 HAS SOUPS 96490 WITH SCORE 96652.169
AT ITER 3689 NEW BEST:: SOT 587455 SOS 162111 HAS SOPS 162111 HAS SOUS 96473 HAS SOUPS 96473 WITH SCORE 96635.111
AT ITER 3691 NEW BEST:: SOT 587454 SOS 162109 HAS SOPS 162109 HAS SOUS 96471 HAS SOUPS 96471 WITH SCORE 96633.109
AT ITER 3698 NEW BEST:: SOT 587453 SOS 162107 HAS SOPS 162107 HAS SOUS 96469 HAS SOUPS 96469 WITH SCORE 96631.107
AT ITER 3701 NEW BEST:: SOT 587426 SOS 162053 HAS SOPS 162053 HAS SOUS 96415 HAS SOUPS 96415 WITH SCORE 96577.053
AT ITER 3717 NEW BEST:: SOT 587496 SOS 162048 HAS SOPS 162048 HAS SOUS 96326 HAS SOUPS 96326 WITH SCORE 96488.048
AT ITER 3735 NEW BEST:: SOT 587570 SOS 162196 HAS SOPS 162196 HAS SOUS 96252 HAS SOUPS 96252 WITH SCORE 96414.196
AT ITER 3762 NEW BEST:: SOT 587533 SOS 162159 HAS SOPS 162159 HAS SOUS 96215 HAS SOUPS 96215 WITH SCORE 96377.159
AT ITER 3764 NEW BEST:: SOT 587495 SOS 162083 HAS SOPS 162083 HAS SOUS 96201 HAS SOUPS 96201 WITH SCORE 96363.083
AT ITER 3786 NEW BEST:: SOT 587468 SOS 162056 HAS SOPS 162056 HAS SOUS 96147 HAS SOUPS 96147 WITH SCORE 96309.056
AT ITER 3788 NEW BEST:: SOT 587464 SOS 162048 HAS SOPS 162048 HAS SOUS 96139 HAS SOUPS 96139 WITH SCORE 96301.048
AT ITER 3813 NEW BEST:: SOT 587463 SOS 162046 HAS SOPS 162046 HAS SOUS 96138 HAS SOUPS 96138 WITH SCORE 96300.046
AT ITER 3820 NEW BEST:: SOT 587463 SOS 162046 HAS SOPS 162046 HAS SOUS 96129 HAS SOUPS 96129 WITH SCORE 96291.046
AT ITER 3834 NEW BEST:: SOT 587463 SOS 162046 HAS SOPS 162046 HAS SOUS 96087 HAS SOUPS 96087 WITH SCORE 96249.046
AT ITER 3866 NEW BEST:: SOT 587423 SOS 162006 HAS SOPS 162006 HAS SOUS 96086 HAS SOUPS 96086 WITH SCORE 96248.006
AT ITER 3901 NEW BEST:: SOT 587362 SOS 161945 HAS SOPS 161945 HAS SOUS 96044 HAS SOUPS 96044 WITH SCORE 96205.945
AT ITER 3905 NEW BEST:: SOT 587351 SOS 161923 HAS SOPS 161923 HAS SOUS 96022 HAS SOUPS 96022 WITH SCORE 96183.923
AT ITER 3929 NEW BEST:: SOT 587475 SOS 161923 HAS SOPS 161923 HAS SOUS 96018 HAS SOUPS 96018 WITH SCORE 96179.923
AT ITER 3931 NEW BEST:: SOT 587475 SOS 161923 HAS SOPS 161923 HAS SOUS 96017 HAS SOUPS 96017 WITH SCORE 96178.923
AT ITER 3952 NEW BEST:: SOT 587413 SOS 161799 HAS SOPS 161799 HAS SOUS 95954 HAS SOUPS 95954 WITH SCORE 96115.799
AT ITER 3953 NEW BEST:: SOT 587402 SOS 161777 HAS SOPS 161777 HAS SOUS 95943 HAS SOUPS 95943 WITH SCORE 96104.777
AT ITER 3988 NEW BEST:: SOT 587454 SOS 161882 HAS SOPS 161882 HAS SOUS 95942 HAS SOUPS 95942 WITH SCORE 96103.882
AT ITER 4004 NEW BEST:: SOT 587454 SOS 161861 HAS SOPS 161861 HAS SOUS 95937 HAS SOUPS 95937 WITH SCORE 96098.861
AT ITER 4019 NEW BEST:: SOT 587445 SOS 161843 HAS SOPS 161843 HAS SOUS 95921 HAS SOUPS 95921 WITH SCORE 96082.843
AT ITER 4067 NEW BEST:: SOT 587445 SOS 161829 HAS SOPS 161829 HAS SOUS 95907 HAS SOUPS 95907 WITH SCORE 96068.829
AT ITER 4069 NEW BEST:: SOT 587364 SOS 161758 HAS SOPS 161758 HAS SOUS 95826 HAS SOUPS 95826 WITH SCORE 95987.758
AT ITER 4080 NEW BEST:: SOT 587364 SOS 161747 HAS SOPS 161747 HAS SOUS 95824 HAS SOUPS 95824 WITH SCORE 95985.747
AT ITER 4111 NEW BEST:: SOT 587364 SOS 161708 HAS SOPS 161708 HAS SOUS 95747 HAS SOUPS 95747 WITH SCORE 95908.708
AT ITER 4113 NEW BEST:: SOT 587352 SOS 161690 HAS SOPS 161690 HAS SOUS 95735 HAS SOUPS 95735 WITH SCORE 95896.69
AT ITER 4121 NEW BEST:: SOT 587466 SOS 161803 HAS SOPS 161803 HAS SOUS 95733 HAS SOUPS 95733 WITH SCORE 95894.803
AT ITER 4123 NEW BEST:: SOT 587476 SOS 161728 HAS SOPS 161728 HAS SOUS 95720 HAS SOUPS 95720 WITH SCORE 95881.728
AT ITER 4133 NEW BEST:: SOT 587319 SOS 161981 HAS SOPS 161981 HAS SOUS 95667 HAS SOUPS 95667 WITH SCORE 95828.981
AT ITER 4140 NEW BEST:: SOT 587378 SOS 160742 HAS SOPS 160742 HAS SOUS 95640 HAS SOUPS 95640 WITH SCORE 95800.742
AT ITER 4145 NEW BEST:: SOT 587379 SOS 160598 HAS SOPS 160598 HAS SOUS 95597 HAS SOUPS 95597 WITH SCORE 95757.598
AT ITER 4161 NEW BEST:: SOT 587368 SOS 160576 HAS SOPS 160576 HAS SOUS 95577 HAS SOUPS 95577 WITH SCORE 95737.576
AT ITER 4179 NEW BEST:: SOT 587368 SOS 160555 HAS SOPS 160555 HAS SOUS 95570 HAS SOUPS 95570 WITH SCORE 95730.555
AT ITER 4187 NEW BEST:: SOT 587358 SOS 160627 HAS SOPS 160627 HAS SOUS 95560 HAS SOUPS 95560 WITH SCORE 95720.627
AT ITER 4189 NEW BEST:: SOT 587337 SOS 160600 HAS SOPS 160600 HAS SOUS 95416 HAS SOUPS 95416 WITH SCORE 95576.6
AT ITER 4196 NEW BEST:: SOT 587313 SOS 160469 HAS SOPS 160469 HAS SOUS 95367 HAS SOUPS 95367 WITH SCORE 95527.469
AT ITER 4209 NEW BEST:: SOT 587276 SOS 160089 HAS SOPS 160089 HAS SOUS 95261 HAS SOUPS 95261 WITH SCORE 95421.089
AT ITER 4238 NEW BEST:: SOT 587257 SOS 160051 HAS SOPS 160051 HAS SOUS 95223 HAS SOUPS 95223 WITH SCORE 95383.051
AT ITER 4258 NEW BEST:: SOT 587240 SOS 160123 HAS SOPS 160123 HAS SOUS 95212 HAS SOUPS 95212 WITH SCORE 95372.123
AT ITER 4288 NEW BEST:: SOT 587240 SOS 160107 HAS SOPS 160107 HAS SOUS 95196 HAS SOUPS 95196 WITH SCORE 95356.107
AT ITER 4318 NEW BEST:: SOT 587234 SOS 160001 HAS SOPS 160001 HAS SOUS 95076 HAS SOUPS 95076 WITH SCORE 95236.001
AT ITER 4319 NEW BEST:: SOT 587234 SOS 159953 HAS SOPS 159953 HAS SOUS 95003 HAS SOUPS 95003 WITH SCORE 95162.953
AT ITER 4322 NEW BEST:: SOT 587234 SOS 159953 HAS SOPS 159953 HAS SOUS 94992 HAS SOUPS 94992 WITH SCORE 95151.953
AT ITER 4363 NEW BEST:: SOT 587234 SOS 159945 HAS SOPS 159945 HAS SOUS 94984 HAS SOUPS 94984 WITH SCORE 95143.945
AT ITER 4374 NEW BEST:: SOT 587234 SOS 159938 HAS SOPS 159938 HAS SOUS 94977 HAS SOUPS 94977 WITH SCORE 95136.938
AT ITER 4381 NEW BEST:: SOT 587209 SOS 159913 HAS SOPS 159913 HAS SOUS 94952 HAS SOUPS 94952 WITH SCORE 95111.913
AT ITER 4391 NEW BEST:: SOT 587265 SOS 160025 HAS SOPS 160025 HAS SOUS 94891 HAS SOUPS 94891 WITH SCORE 95051.025
AT ITER 4392 NEW BEST:: SOT 587234 SOS 159963 HAS SOPS 159963 HAS SOUS 94860 HAS SOUPS 94860 WITH SCORE 95019.963
AT ITER 4412 NEW BEST:: SOT 587218 SOS 159931 HAS SOPS 159931 HAS SOUS 94844 HAS SOUPS 94844 WITH SCORE 95003.931
AT ITER 4414 NEW BEST:: SOT 587164 SOS 159707 HAS SOPS 159707 HAS SOUS 94838 HAS SOUPS 94838 WITH SCORE 94997.707
AT ITER 4416 NEW BEST:: SOT 587164 SOS 159671 HAS SOPS 159671 HAS SOUS 94802 HAS SOUPS 94802 WITH SCORE 94961.671
AT ITER 4428 NEW BEST:: SOT 587163 SOS 159669 HAS SOPS 159669 HAS SOUS 94767 HAS SOUPS 94767 WITH SCORE 94926.669
AT ITER 4431 NEW BEST:: SOT 587135 SOS 159613 HAS SOPS 159613 HAS SOUS 94702 HAS SOUPS 94702 WITH SCORE 94861.613
AT ITER 4437 NEW BEST:: SOT 587117 SOS 159577 HAS SOPS 159577 HAS SOUS 94631 HAS SOUPS 94631 WITH SCORE 94790.577
AT ITER 4501 NEW BEST:: SOT 587117 SOS 159577 HAS SOPS 159577 HAS SOUS 94599 HAS SOUPS 94599 WITH SCORE 94758.577
AT ITER 4544 NEW BEST:: SOT 587219 SOS 159555 HAS SOPS 159555 HAS SOUS 94558 HAS SOUPS 94558 WITH SCORE 94717.555
AT ITER 4559 NEW BEST:: SOT 587209 SOS 159535 HAS SOPS 159535 HAS SOUS 94548 HAS SOUPS 94548 WITH SCORE 94707.535
AT ITER 4564 NEW BEST:: SOT 587209 SOS 159199 HAS SOPS 159199 HAS SOUS 94548 HAS SOUPS 94548 WITH SCORE 94707.199
AT ITER 4566 NEW BEST:: SOT 587208 SOS 159198 HAS SOPS 159198 HAS SOUS 94547 HAS SOUPS 94547 WITH SCORE 94706.198
AT ITER 4570 NEW BEST:: SOT 587184 SOS 159099 HAS SOPS 159099 HAS SOUS 94521 HAS SOUPS 94521 WITH SCORE 94680.099
AT ITER 4588 NEW BEST:: SOT 587274 SOS 159106 HAS SOPS 159106 HAS SOUS 94496 HAS SOUPS 94496 WITH SCORE 94655.106
AT ITER 4606 NEW BEST:: SOT 587273 SOS 159104 HAS SOPS 159104 HAS SOUS 94494 HAS SOUPS 94494 WITH SCORE 94653.104
AT ITER 4668 NEW BEST:: SOT 587170 SOS 158898 HAS SOPS 158898 HAS SOUS 94124 HAS SOUPS 94124 WITH SCORE 94282.898
AT ITER 4705 NEW BEST:: SOT 587186 SOS 158930 HAS SOPS 158930 HAS SOUS 94094 HAS SOUPS 94094 WITH SCORE 94252.93
AT ITER 4726 NEW BEST:: SOT 587136 SOS 158882 HAS SOPS 158882 HAS SOUS 94048 HAS SOUPS 94048 WITH SCORE 94206.882
AT ITER 4804 NEW BEST:: SOT 587124 SOS 158858 HAS SOPS 158858 HAS SOUS 94024 HAS SOUPS 94024 WITH SCORE 94182.858
AT ITER 4816 NEW BEST:: SOT 587147 SOS 158904 HAS SOPS 158904 HAS SOUS 93946 HAS SOUPS 93946 WITH SCORE 94104.904
AT ITER 4847 NEW BEST:: SOT 587147 SOS 158916 HAS SOPS 158916 HAS SOUS 93934 HAS SOUPS 93934 WITH SCORE 94092.916
AT ITER 4867 NEW BEST:: SOT 587091 SOS 158812 HAS SOPS 158812 HAS SOUS 93872 HAS SOUPS 93872 WITH SCORE 94030.812
AT ITER 4905 NEW BEST:: SOT 587020 SOS 158832 HAS SOPS 158832 HAS SOUS 93781 HAS SOUPS 93781 WITH SCORE 93939.832
AT ITER 4912 NEW BEST:: SOT 586996 SOS 158815 HAS SOPS 158815 HAS SOUS 93764 HAS SOUPS 93764 WITH SCORE 93922.815
AT ITER 4928 NEW BEST:: SOT 586954 SOS 158731 HAS SOPS 158731 HAS SOUS 93722 HAS SOUPS 93722 WITH SCORE 93880.731
AT ITER 4936 NEW BEST:: SOT 586947 SOS 158717 HAS SOPS 158717 HAS SOUS 93708 HAS SOUPS 93708 WITH SCORE 93866.717
AT ITER 4948 NEW BEST:: SOT 586947 SOS 158683 HAS SOPS 158683 HAS SOUS 93674 HAS SOUPS 93674 WITH SCORE 93832.683
AT ITER 4957 NEW BEST:: SOT 586934 SOS 158670 HAS SOPS 158670 HAS SOUS 93674 HAS SOUPS 93674 WITH SCORE 93832.67
AT ITER 4998 NEW BEST:: SOT 586928 SOS 158658 HAS SOPS 158658 HAS SOUS 93657 HAS SOUPS 93657 WITH SCORE 93815.658
AT ITER 5010 NEW BEST:: SOT 586916 SOS 158634 HAS SOPS 158634 HAS SOUS 93633 HAS SOUPS 93633 WITH SCORE 93791.634
AT ITER 5013 NEW BEST:: SOT 586798 SOS 156970 HAS SOPS 156970 HAS SOUS 93515 HAS SOUPS 93515 WITH SCORE 93671.97
AT ITER 5016 NEW BEST:: SOT 586798 SOS 156970 HAS SOPS 156970 HAS SOUS 93506 HAS SOUPS 93506 WITH SCORE 93662.97
AT ITER 5057 NEW BEST:: SOT 586738 SOS 156951 HAS SOPS 156951 HAS SOUS 93473 HAS SOUPS 93473 WITH SCORE 93629.951
AT ITER 5084 NEW BEST:: SOT 586738 SOS 156846 HAS SOPS 156846 HAS SOUS 93438 HAS SOUPS 93438 WITH SCORE 93594.846
AT ITER 5085 NEW BEST:: SOT 586722 SOS 156814 HAS SOPS 156814 HAS SOUS 93405 HAS SOUPS 93405 WITH SCORE 93561.814
AT ITER 5099 NEW BEST:: SOT 586722 SOS 156769 HAS SOPS 156769 HAS SOUS 93315 HAS SOUPS 93315 WITH SCORE 93471.769
AT ITER 5133 NEW BEST:: SOT 586722 SOS 156733 HAS SOPS 156733 HAS SOUS 93309 HAS SOUPS 93309 WITH SCORE 93465.733
AT ITER 5151 NEW BEST:: SOT 586690 SOS 156742 HAS SOPS 156742 HAS SOUS 93269 HAS SOUPS 93269 WITH SCORE 93425.742
AT ITER 5154 NEW BEST:: SOT 586632 SOS 156626 HAS SOPS 156626 HAS SOUS 93211 HAS SOUPS 93211 WITH SCORE 93367.626
AT ITER 5179 NEW BEST:: SOT 586652 SOS 156666 HAS SOPS 156666 HAS SOUS 93188 HAS SOUPS 93188 WITH SCORE 93344.666
AT ITER 5188 NEW BEST:: SOT 586695 SOS 156522 HAS SOPS 156522 HAS SOUS 93161 HAS SOUPS 93161 WITH SCORE 93317.522
AT ITER 5200 NEW BEST:: SOT 586677 SOS 156432 HAS SOPS 156432 HAS SOUS 93125 HAS SOUPS 93125 WITH SCORE 93281.432
AT ITER 5211 NEW BEST:: SOT 586570 SOS 156638 HAS SOPS 156638 HAS SOUS 93056 HAS SOUPS 93056 WITH SCORE 93212.638
AT ITER 5214 NEW BEST:: SOT 586522 SOS 156623 HAS SOPS 156623 HAS SOUS 92926 HAS SOUPS 92926 WITH SCORE 93082.623
AT ITER 5228 NEW BEST:: SOT 586508 SOS 156595 HAS SOPS 156595 HAS SOUS 92898 HAS SOUPS 92898 WITH SCORE 93054.595
AT ITER 5246 NEW BEST:: SOT 586531 SOS 156564 HAS SOPS 156564 HAS SOUS 92867 HAS SOUPS 92867 WITH SCORE 93023.564
AT ITER 5254 NEW BEST:: SOT 586501 SOS 156504 HAS SOPS 156504 HAS SOUS 92807 HAS SOUPS 92807 WITH SCORE 92963.504
AT ITER 5276 NEW BEST:: SOT 586464 SOS 156430 HAS SOPS 156430 HAS SOUS 92688 HAS SOUPS 92688 WITH SCORE 92844.43
AT ITER 5284 NEW BEST:: SOT 586453 SOS 156345 HAS SOPS 156345 HAS SOUS 92603 HAS SOUPS 92603 WITH SCORE 92759.345
AT ITER 5285 NEW BEST:: SOT 586453 SOS 156345 HAS SOPS 156345 HAS SOUS 92594 HAS SOUPS 92594 WITH SCORE 92750.345
AT ITER 5298 NEW BEST:: SOT 586452 SOS 156343 HAS SOPS 156343 HAS SOUS 92592 HAS SOUPS 92592 WITH SCORE 92748.343
AT ITER 5304 NEW BEST:: SOT 586452 SOS 156343 HAS SOPS 156343 HAS SOUS 92579 HAS SOUPS 92579 WITH SCORE 92735.343
AT ITER 5306 NEW BEST:: SOT 586413 SOS 156489 HAS SOPS 156489 HAS SOUS 92557 HAS SOUPS 92557 WITH SCORE 92713.489
AT ITER 5361 NEW BEST:: SOT 586413 SOS 156489 HAS SOPS 156489 HAS SOUS 92539 HAS SOUPS 92539 WITH SCORE 92695.489
AT ITER 5383 NEW BEST:: SOT 586347 SOS 156291 HAS SOPS 156291 HAS SOUS 92473 HAS SOUPS 92473 WITH SCORE 92629.291
AT ITER 5384 NEW BEST:: SOT 586330 SOS 156257 HAS SOPS 156257 HAS SOUS 92424 HAS SOUPS 92424 WITH SCORE 92580.257
AT ITER 5390 NEW BEST:: SOT 586379 SOS 156116 HAS SOPS 156116 HAS SOUS 92418 HAS SOUPS 92418 WITH SCORE 92574.116
AT ITER 5391 NEW BEST:: SOT 586374 SOS 156106 HAS SOPS 156106 HAS SOUS 92408 HAS SOUPS 92408 WITH SCORE 92564.106
AT ITER 5400 NEW BEST:: SOT 586333 SOS 156109 HAS SOPS 156109 HAS SOUS 92373 HAS SOUPS 92373 WITH SCORE 92529.109
AT ITER 5408 NEW BEST:: SOT 586332 SOS 156107 HAS SOPS 156107 HAS SOUS 92371 HAS SOUPS 92371 WITH SCORE 92527.107
AT ITER 5423 NEW BEST:: SOT 586331 SOS 156105 HAS SOPS 156105 HAS SOUS 92369 HAS SOUPS 92369 WITH SCORE 92525.105
AT ITER 5435 NEW BEST:: SOT 586291 SOS 156018 HAS SOPS 156018 HAS SOUS 92282 HAS SOUPS 92282 WITH SCORE 92438.018
AT ITER 5472 NEW BEST:: SOT 586291 SOS 155994 HAS SOPS 155994 HAS SOUS 92282 HAS SOUPS 92282 WITH SCORE 92437.994
AT ITER 5499 NEW BEST:: SOT 586228 SOS 155757 HAS SOPS 155757 HAS SOUS 92000 HAS SOUPS 92000 WITH SCORE 92155.757
AT ITER 5535 NEW BEST:: SOT 586095 SOS 156116 HAS SOPS 156116 HAS SOUS 91863 HAS SOUPS 91863 WITH SCORE 92019.116
AT ITER 5537 NEW BEST:: SOT 586095 SOS 156089 HAS SOPS 156089 HAS SOUS 91824 HAS SOUPS 91824 WITH SCORE 91980.089
AT ITER 5578 NEW BEST:: SOT 586041 SOS 156109 HAS SOPS 156109 HAS SOUS 91786 HAS SOUPS 91786 WITH SCORE 91942.109
AT ITER 5584 NEW BEST:: SOT 585996 SOS 156037 HAS SOPS 156037 HAS SOUS 91754 HAS SOUPS 91754 WITH SCORE 91910.037
AT ITER 5664 NEW BEST:: SOT 585995 SOS 156035 HAS SOPS 156035 HAS SOUS 91753 HAS SOUPS 91753 WITH SCORE 91909.035
AT ITER 5665 NEW BEST:: SOT 585992 SOS 156029 HAS SOPS 156029 HAS SOUS 91688 HAS SOUPS 91688 WITH SCORE 91844.029
AT ITER 5678 NEW BEST:: SOT 585905 SOS 155895 HAS SOPS 155895 HAS SOUS 91537 HAS SOUPS 91537 WITH SCORE 91692.895
AT ITER 5698 NEW BEST:: SOT 585905 SOS 155622 HAS SOPS 155622 HAS SOUS 91446 HAS SOUPS 91446 WITH SCORE 91601.622
AT ITER 5720 NEW BEST:: SOT 585803 SOS 155379 HAS SOPS 155379 HAS SOUS 91401 HAS SOUPS 91401 WITH SCORE 91556.379
AT ITER 5727 NEW BEST:: SOT 585796 SOS 155365 HAS SOPS 155365 HAS SOUS 91387 HAS SOUPS 91387 WITH SCORE 91542.365
AT ITER 5733 NEW BEST:: SOT 585796 SOS 155355 HAS SOPS 155355 HAS SOUS 91387 HAS SOUPS 91387 WITH SCORE 91542.355
AT ITER 5750 NEW BEST:: SOT 585754 SOS 155271 HAS SOPS 155271 HAS SOUS 91324 HAS SOUPS 91324 WITH SCORE 91479.271
AT ITER 5811 NEW BEST:: SOT 585750 SOS 155269 HAS SOPS 155269 HAS SOUS 91322 HAS SOUPS 91322 WITH SCORE 91477.269
AT ITER 5834 NEW BEST:: SOT 585750 SOS 155269 HAS SOPS 155269 HAS SOUS 91277 HAS SOUPS 91277 WITH SCORE 91432.269
AT ITER 5855 NEW BEST:: SOT 585750 SOS 155269 HAS SOPS 155269 HAS SOUS 91274 HAS SOUPS 91274 WITH SCORE 91429.269
AT ITER 5929 NEW BEST:: SOT 585750 SOS 155243 HAS SOPS 155243 HAS SOUS 91274 HAS SOUPS 91274 WITH SCORE 91429.243
AT ITER 5939 NEW BEST:: SOT 585770 SOS 155224 HAS SOPS 155224 HAS SOUS 91263 HAS SOUPS 91263 WITH SCORE 91418.224
AT ITER 5946 NEW BEST:: SOT 585737 SOS 155082 HAS SOPS 155082 HAS SOUS 91251 HAS SOUPS 91251 WITH SCORE 91406.082
AT ITER 5960 NEW BEST:: SOT 585719 SOS 155046 HAS SOPS 155046 HAS SOUS 91239 HAS SOUPS 91239 WITH SCORE 91394.046
AT ITER 5961 NEW BEST:: SOT 585711 SOS 155030 HAS SOPS 155030 HAS SOUS 91223 HAS SOUPS 91223 WITH SCORE 91378.03
AT ITER 5964 NEW BEST:: SOT 585711 SOS 155030 HAS SOPS 155030 HAS SOUS 91197 HAS SOUPS 91197 WITH SCORE 91352.03
AT ITER 6009 NEW BEST:: SOT 585706 SOS 155025 HAS SOPS 155025 HAS SOUS 91192 HAS SOUPS 91192 WITH SCORE 91347.025
AT ITER 6039 NEW BEST:: SOT 585708 SOS 155029 HAS SOPS 155029 HAS SOUS 91139 HAS SOUPS 91139 WITH SCORE 91294.029
AT ITER 6061 NEW BEST:: SOT 585708 SOS 155022 HAS SOPS 155022 HAS SOUS 91132 HAS SOUPS 91132 WITH SCORE 91287.022
AT ITER 6081 NEW BEST:: SOT 585712 SOS 155062 HAS SOPS 155062 HAS SOUS 91108 HAS SOUPS 91108 WITH SCORE 91263.062
AT ITER 6083 NEW BEST:: SOT 585668 SOS 154996 HAS SOPS 154996 HAS SOUS 91064 HAS SOUPS 91064 WITH SCORE 91218.996
AT ITER 6106 NEW BEST:: SOT 585615 SOS 154943 HAS SOPS 154943 HAS SOUS 91007 HAS SOUPS 91007 WITH SCORE 91161.943
AT ITER 6139 NEW BEST:: SOT 585579 SOS 155151 HAS SOPS 155151 HAS SOUS 91006 HAS SOUPS 91006 WITH SCORE 91161.151
AT ITER 6207 NEW BEST:: SOT 585529 SOS 155051 HAS SOPS 155051 HAS SOUS 90906 HAS SOUPS 90906 WITH SCORE 91061.051
AT ITER 6228 NEW BEST:: SOT 585538 SOS 155047 HAS SOPS 155047 HAS SOUS 90904 HAS SOUPS 90904 WITH SCORE 91059.047
AT ITER 6242 NEW BEST:: SOT 585514 SOS 155023 HAS SOPS 155023 HAS SOUS 90880 HAS SOUPS 90880 WITH SCORE 91035.023
AT ITER 6300 NEW BEST:: SOT 585433 SOS 154929 HAS SOPS 154929 HAS SOUS 90786 HAS SOUPS 90786 WITH SCORE 90940.929
AT ITER 6301 NEW BEST:: SOT 585309 SOS 154681 HAS SOPS 154681 HAS SOUS 90585 HAS SOUPS 90585 WITH SCORE 90739.681
AT ITER 6310 NEW BEST:: SOT 585286 SOS 154586 HAS SOPS 154586 HAS SOUS 90539 HAS SOUPS 90539 WITH SCORE 90693.586
AT ITER 6320 NEW BEST:: SOT 585309 SOS 154506 HAS SOPS 154506 HAS SOUS 90539 HAS SOUPS 90539 WITH SCORE 90693.506
AT ITER 6324 NEW BEST:: SOT 585253 SOS 154481 HAS SOPS 154481 HAS SOUS 90483 HAS SOUPS 90483 WITH SCORE 90637.481
AT ITER 6326 NEW BEST:: SOT 585253 SOS 154444 HAS SOPS 154444 HAS SOUS 90446 HAS SOUPS 90446 WITH SCORE 90600.444
AT ITER 6339 NEW BEST:: SOT 585245 SOS 154428 HAS SOPS 154428 HAS SOUS 90430 HAS SOUPS 90430 WITH SCORE 90584.428
AT ITER 6351 NEW BEST:: SOT 585257 SOS 154272 HAS SOPS 154272 HAS SOUS 90420 HAS SOUPS 90420 WITH SCORE 90574.272
AT ITER 6367 NEW BEST:: SOT 585257 SOS 154272 HAS SOPS 154272 HAS SOUS 90286 HAS SOUPS 90286 WITH SCORE 90440.272
AT ITER 6368 NEW BEST:: SOT 585304 SOS 154366 HAS SOPS 154366 HAS SOUS 90260 HAS SOUPS 90260 WITH SCORE 90414.366
AT ITER 6463 NEW BEST:: SOT 585268 SOS 154333 HAS SOPS 154333 HAS SOUS 90227 HAS SOUPS 90227 WITH SCORE 90381.333
AT ITER 6534 NEW BEST:: SOT 585241 SOS 154279 HAS SOPS 154279 HAS SOUS 90150 HAS SOUPS 90150 WITH SCORE 90304.279
AT ITER 6553 NEW BEST:: SOT 585241 SOS 154269 HAS SOPS 154269 HAS SOUS 90140 HAS SOUPS 90140 WITH SCORE 90294.269
AT ITER 6576 NEW BEST:: SOT 585261 SOS 154146 HAS SOPS 154146 HAS SOUS 90118 HAS SOUPS 90118 WITH SCORE 90272.146
AT ITER 6631 NEW BEST:: SOT 585261 SOS 154128 HAS SOPS 154128 HAS SOUS 90076 HAS SOUPS 90076 WITH SCORE 90230.128
AT ITER 6649 NEW BEST:: SOT 585245 SOS 154215 HAS SOPS 154215 HAS SOUS 90044 HAS SOUPS 90044 WITH SCORE 90198.215
AT ITER 6673 NEW BEST:: SOT 585231 SOS 154187 HAS SOPS 154187 HAS SOUS 90030 HAS SOUPS 90030 WITH SCORE 90184.187
AT ITER 6676 NEW BEST:: SOT 585218 SOS 153921 HAS SOPS 153921 HAS SOUS 89974 HAS SOUPS 89974 WITH SCORE 90127.921
AT ITER 6690 NEW BEST:: SOT 585239 SOS 153894 HAS SOPS 153894 HAS SOUS 89972 HAS SOUPS 89972 WITH SCORE 90125.894
AT ITER 6699 NEW BEST:: SOT 585240 SOS 153884 HAS SOPS 153884 HAS SOUS 89949 HAS SOUPS 89949 WITH SCORE 90102.884
AT ITER 6703 NEW BEST:: SOT 585370 SOS 153980 HAS SOPS 153980 HAS SOUS 89881 HAS SOUPS 89881 WITH SCORE 90034.98
AT ITER 6726 NEW BEST:: SOT 585226 SOS 153995 HAS SOPS 153995 HAS SOUS 89795 HAS SOUPS 89795 WITH SCORE 89948.995
AT ITER 6743 NEW BEST:: SOT 585253 SOS 154029 HAS SOPS 154029 HAS SOUS 89667 HAS SOUPS 89667 WITH SCORE 89821.029
AT ITER 6755 NEW BEST:: SOT 585252 SOS 154027 HAS SOPS 154027 HAS SOUS 89665 HAS SOUPS 89665 WITH SCORE 89819.027
AT ITER 6762 NEW BEST:: SOT 585236 SOS 153995 HAS SOPS 153995 HAS SOUS 89612 HAS SOUPS 89612 WITH SCORE 89765.995
AT ITER 6765 NEW BEST:: SOT 585172 SOS 153867 HAS SOPS 153867 HAS SOUS 89540 HAS SOUPS 89540 WITH SCORE 89693.867
AT ITER 6790 NEW BEST:: SOT 585140 SOS 153843 HAS SOPS 153843 HAS SOUS 89508 HAS SOUPS 89508 WITH SCORE 89661.843
AT ITER 6806 NEW BEST:: SOT 585140 SOS 153810 HAS SOPS 153810 HAS SOUS 89494 HAS SOUPS 89494 WITH SCORE 89647.81
AT ITER 6810 NEW BEST:: SOT 585140 SOS 153810 HAS SOPS 153810 HAS SOUS 89451 HAS SOUPS 89451 WITH SCORE 89604.81
AT ITER 6817 NEW BEST:: SOT 585109 SOS 153655 HAS SOPS 153655 HAS SOUS 89451 HAS SOUPS 89451 WITH SCORE 89604.655
AT ITER 6840 NEW BEST:: SOT 585093 SOS 154403 HAS SOPS 154403 HAS SOUS 89435 HAS SOUPS 89435 WITH SCORE 89589.403
AT ITER 6844 NEW BEST:: SOT 585054 SOS 154361 HAS SOPS 154361 HAS SOUS 89393 HAS SOUPS 89393 WITH SCORE 89547.361
AT ITER 6850 NEW BEST:: SOT 584895 SOS 154092 HAS SOPS 154092 HAS SOUS 89012 HAS SOUPS 89012 WITH SCORE 89166.092
AT ITER 6905 NEW BEST:: SOT 584886 SOS 154074 HAS SOPS 154074 HAS SOUS 88994 HAS SOUPS 88994 WITH SCORE 89148.074
AT ITER 6910 NEW BEST:: SOT 584882 SOS 154053 HAS SOPS 154053 HAS SOUS 88973 HAS SOUPS 88973 WITH SCORE 89127.053
AT ITER 6917 NEW BEST:: SOT 584839 SOS 154086 HAS SOPS 154086 HAS SOUS 88968 HAS SOUPS 88968 WITH SCORE 89122.086
AT ITER 6919 NEW BEST:: SOT 584833 SOS 154074 HAS SOPS 154074 HAS SOUS 88956 HAS SOUPS 88956 WITH SCORE 89110.074
AT ITER 6937 NEW BEST:: SOT 584833 SOS 153462 HAS SOPS 153462 HAS SOUS 88956 HAS SOUPS 88956 WITH SCORE 89109.462
AT ITER 6941 NEW BEST:: SOT 584833 SOS 153462 HAS SOPS 153462 HAS SOUS 88952 HAS SOUPS 88952 WITH SCORE 89105.462
AT ITER 6948 NEW BEST:: SOT 584692 SOS 153453 HAS SOPS 153453 HAS SOUS 88892 HAS SOUPS 88892 WITH SCORE 89045.453
AT ITER 6953 NEW BEST:: SOT 584645 SOS 153160 HAS SOPS 153160 HAS SOUS 88865 HAS SOUPS 88865 WITH SCORE 89018.16
AT ITER 6982 NEW BEST:: SOT 584577 SOS 153056 HAS SOPS 153056 HAS SOUS 88782 HAS SOUPS 88782 WITH SCORE 88935.056
AT ITER 7028 NEW BEST:: SOT 584549 SOS 153028 HAS SOPS 153028 HAS SOUS 88708 HAS SOUPS 88708 WITH SCORE 88861.028
AT ITER 7043 NEW BEST:: SOT 584549 SOS 153052 HAS SOPS 153052 HAS SOUS 88684 HAS SOUPS 88684 WITH SCORE 88837.052
AT ITER 7046 NEW BEST:: SOT 584467 SOS 152962 HAS SOPS 152962 HAS SOUS 88668 HAS SOUPS 88668 WITH SCORE 88820.962
AT ITER 7052 NEW BEST:: SOT 584516 SOS 153615 HAS SOPS 153615 HAS SOUS 88612 HAS SOUPS 88612 WITH SCORE 88765.615
AT ITER 7064 NEW BEST:: SOT 584473 SOS 153585 HAS SOPS 153585 HAS SOUS 88589 HAS SOUPS 88589 WITH SCORE 88742.585
AT ITER 7099 NEW BEST:: SOT 584473 SOS 153585 HAS SOPS 153585 HAS SOUS 88586 HAS SOUPS 88586 WITH SCORE 88739.585
AT ITER 7113 NEW BEST:: SOT 584393 SOS 153477 HAS SOPS 153477 HAS SOUS 88530 HAS SOUPS 88530 WITH SCORE 88683.477
AT ITER 7118 NEW BEST:: SOT 584393 SOS 153477 HAS SOPS 153477 HAS SOUS 88498 HAS SOUPS 88498 WITH SCORE 88651.477
AT ITER 7120 NEW BEST:: SOT 584354 SOS 153399 HAS SOPS 153399 HAS SOUS 88364 HAS SOUPS 88364 WITH SCORE 88517.399
AT ITER 7125 NEW BEST:: SOT 584354 SOS 153352 HAS SOPS 153352 HAS SOUS 88321 HAS SOUPS 88321 WITH SCORE 88474.352
AT ITER 7128 NEW BEST:: SOT 584353 SOS 153350 HAS SOPS 153350 HAS SOUS 88318 HAS SOUPS 88318 WITH SCORE 88471.35
AT ITER 7129 NEW BEST:: SOT 584324 SOS 153292 HAS SOPS 153292 HAS SOUS 88260 HAS SOUPS 88260 WITH SCORE 88413.292
AT ITER 7141 NEW BEST:: SOT 584296 SOS 153236 HAS SOPS 153236 HAS SOUS 88232 HAS SOUPS 88232 WITH SCORE 88385.236
AT ITER 7170 NEW BEST:: SOT 584176 SOS 153126 HAS SOPS 153126 HAS SOUS 88122 HAS SOUPS 88122 WITH SCORE 88275.126
AT ITER 7211 NEW BEST:: SOT 584122 SOS 153018 HAS SOPS 153018 HAS SOUS 88068 HAS SOUPS 88068 WITH SCORE 88221.018
AT ITER 7236 NEW BEST:: SOT 584118 SOS 153014 HAS SOPS 153014 HAS SOUS 88056 HAS SOUPS 88056 WITH SCORE 88209.014
AT ITER 7237 NEW BEST:: SOT 584155 SOS 152977 HAS SOPS 152977 HAS SOUS 88052 HAS SOUPS 88052 WITH SCORE 88204.977
AT ITER 7250 NEW BEST:: SOT 584121 SOS 152909 HAS SOPS 152909 HAS SOUS 88052 HAS SOUPS 88052 WITH SCORE 88204.909
AT ITER 7290 NEW BEST:: SOT 584129 SOS 152925 HAS SOPS 152925 HAS SOUS 88013 HAS SOUPS 88013 WITH SCORE 88165.925
AT ITER 7314 NEW BEST:: SOT 584137 SOS 152941 HAS SOPS 152941 HAS SOUS 87882 HAS SOUPS 87882 WITH SCORE 88034.941
AT ITER 7359 NEW BEST:: SOT 583975 SOS 156716 HAS SOPS 156716 HAS SOUS 87720 HAS SOUPS 87720 WITH SCORE 87876.716
AT ITER 7360 NEW BEST:: SOT 583996 SOS 156758 HAS SOPS 156758 HAS SOUS 87613 HAS SOUPS 87613 WITH SCORE 87769.758
AT ITER 7364 NEW BEST:: SOT 583945 SOS 156758 HAS SOPS 156758 HAS SOUS 87562 HAS SOUPS 87562 WITH SCORE 87718.758
AT ITER 7379 NEW BEST:: SOT 584003 SOS 156793 HAS SOPS 156793 HAS SOUS 87557 HAS SOUPS 87557 WITH SCORE 87713.793
AT ITER 7381 NEW BEST:: SOT 584009 SOS 156786 HAS SOPS 156786 HAS SOUS 87550 HAS SOUPS 87550 WITH SCORE 87706.786
AT ITER 7411 NEW BEST:: SOT 583961 SOS 156738 HAS SOPS 156738 HAS SOUS 87550 HAS SOUPS 87550 WITH SCORE 87706.738
AT ITER 7497 NEW BEST:: SOT 583967 SOS 156750 HAS SOPS 156750 HAS SOUS 87544 HAS SOUPS 87544 WITH SCORE 87700.75
AT ITER 7577 NEW BEST:: SOT 583973 SOS 156762 HAS SOPS 156762 HAS SOUS 87529 HAS SOUPS 87529 WITH SCORE 87685.762
AT ITER 7584 NEW BEST:: SOT 583886 SOS 156588 HAS SOPS 156588 HAS SOUS 87423 HAS SOUPS 87423 WITH SCORE 87579.588
AT ITER 7603 NEW BEST:: SOT 583841 SOS 156498 HAS SOPS 156498 HAS SOUS 87378 HAS SOUPS 87378 WITH SCORE 87534.498
AT ITER 7616 NEW BEST:: SOT 583827 SOS 156470 HAS SOPS 156470 HAS SOUS 87350 HAS SOUPS 87350 WITH SCORE 87506.47
AT ITER 7648 NEW BEST:: SOT 583825 SOS 156468 HAS SOPS 156468 HAS SOUS 87348 HAS SOUPS 87348 WITH SCORE 87504.468
AT ITER 7656 NEW BEST:: SOT 583825 SOS 156438 HAS SOPS 156438 HAS SOUS 87309 HAS SOUPS 87309 WITH SCORE 87465.438
AT ITER 7667 NEW BEST:: SOT 583825 SOS 156435 HAS SOPS 156435 HAS SOUS 87306 HAS SOUPS 87306 WITH SCORE 87462.435
AT ITER 7668 NEW BEST:: SOT 583926 SOS 156944 HAS SOPS 156944 HAS SOUS 87277 HAS SOUPS 87277 WITH SCORE 87433.944
AT ITER 7724 NEW BEST:: SOT 583913 SOS 156892 HAS SOPS 156892 HAS SOUS 87251 HAS SOUPS 87251 WITH SCORE 87407.892
AT ITER 7766 NEW BEST:: SOT 584006 SOS 157078 HAS SOPS 157078 HAS SOUS 87143 HAS SOUPS 87143 WITH SCORE 87300.078
AT ITER 7790 NEW BEST:: SOT 583987 SOS 157049 HAS SOPS 157049 HAS SOUS 87114 HAS SOUPS 87114 WITH SCORE 87271.049
AT ITER 7833 NEW BEST:: SOT 583987 SOS 157089 HAS SOPS 157089 HAS SOUS 87094 HAS SOUPS 87094 WITH SCORE 87251.089
AT ITER 7847 NEW BEST:: SOT 583970 SOS 157055 HAS SOPS 157055 HAS SOUS 87063 HAS SOUPS 87063 WITH SCORE 87220.055
AT ITER 7854 NEW BEST:: SOT 583978 SOS 157049 HAS SOPS 157049 HAS SOUS 87057 HAS SOUPS 87057 WITH SCORE 87214.049
AT ITER 7855 NEW BEST:: SOT 583974 SOS 157041 HAS SOPS 157041 HAS SOUS 87049 HAS SOUPS 87049 WITH SCORE 87206.041
AT ITER 7861 NEW BEST:: SOT 583948 SOS 157018 HAS SOPS 157018 HAS SOUS 87026 HAS SOUPS 87026 WITH SCORE 87183.018
AT ITER 7930 NEW BEST:: SOT 583908 SOS 156978 HAS SOPS 156978 HAS SOUS 86986 HAS SOUPS 86986 WITH SCORE 87142.978
AT ITER 7939 NEW BEST:: SOT 583900 SOS 156964 HAS SOPS 156964 HAS SOUS 86972 HAS SOUPS 86972 WITH SCORE 87128.964
AT ITER 7952 NEW BEST:: SOT 583900 SOS 156964 HAS SOPS 156964 HAS SOUS 86961 HAS SOUPS 86961 WITH SCORE 87117.964
AT ITER 7954 NEW BEST:: SOT 583900 SOS 156851 HAS SOPS 156851 HAS SOUS 86961 HAS SOUPS 86961 WITH SCORE 87117.851
AT ITER 7977 NEW BEST:: SOT 583893 SOS 156835 HAS SOPS 156835 HAS SOUS 86945 HAS SOUPS 86945 WITH SCORE 87101.835
AT ITER 8009 NEW BEST:: SOT 583893 SOS 156835 HAS SOPS 156835 HAS SOUS 86940 HAS SOUPS 86940 WITH SCORE 87096.835
AT ITER 8043 NEW BEST:: SOT 583836 SOS 156834 HAS SOPS 156834 HAS SOUS 86921 HAS SOUPS 86921 WITH SCORE 87077.834
AT ITER 8098 NEW BEST:: SOT 583835 SOS 156832 HAS SOPS 156832 HAS SOUS 86919 HAS SOUPS 86919 WITH SCORE 87075.832
AT ITER 8109 NEW BEST:: SOT 583811 SOS 156884 HAS SOPS 156884 HAS SOUS 86910 HAS SOUPS 86910 WITH SCORE 87066.884
AT ITER 8121 NEW BEST:: SOT 583774 SOS 156810 HAS SOPS 156810 HAS SOUS 86836 HAS SOUPS 86836 WITH SCORE 86992.81
AT ITER 8123 NEW BEST:: SOT 583755 SOS 156788 HAS SOPS 156788 HAS SOUS 86814 HAS SOUPS 86814 WITH SCORE 86970.788
AT ITER 8170 NEW BEST:: SOT 583733 SOS 156765 HAS SOPS 156765 HAS SOUS 86775 HAS SOUPS 86775 WITH SCORE 86931.765
AT ITER 8233 NEW BEST:: SOT 583733 SOS 156763 HAS SOPS 156763 HAS SOUS 86773 HAS SOUPS 86773 WITH SCORE 86929.763
AT ITER 8304 NEW BEST:: SOT 583648 SOS 156678 HAS SOPS 156678 HAS SOUS 86753 HAS SOUPS 86753 WITH SCORE 86909.678
AT ITER 8336 NEW BEST:: SOT 583645 SOS 156672 HAS SOPS 156672 HAS SOUS 86747 HAS SOUPS 86747 WITH SCORE 86903.672
AT ITER 8339 NEW BEST:: SOT 583670 SOS 156722 HAS SOPS 156722 HAS SOUS 86739 HAS SOUPS 86739 WITH SCORE 86895.722
AT ITER 8393 NEW BEST:: SOT 583672 SOS 156731 HAS SOPS 156731 HAS SOUS 86730 HAS SOUPS 86730 WITH SCORE 86886.731
AT ITER 8397 NEW BEST:: SOT 583610 SOS 156607 HAS SOPS 156607 HAS SOUS 86625 HAS SOUPS 86625 WITH SCORE 86781.607
AT ITER 8404 NEW BEST:: SOT 583610 SOS 155381 HAS SOPS 155381 HAS SOUS 86625 HAS SOUPS 86625 WITH SCORE 86780.381
AT ITER 8424 NEW BEST:: SOT 583610 SOS 155381 HAS SOPS 155381 HAS SOUS 86613 HAS SOUPS 86613 WITH SCORE 86768.381
AT ITER 8426 NEW BEST:: SOT 583608 SOS 155377 HAS SOPS 155377 HAS SOUS 86609 HAS SOUPS 86609 WITH SCORE 86764.377
AT ITER 8436 NEW BEST:: SOT 583588 SOS 155337 HAS SOPS 155337 HAS SOUS 86569 HAS SOUPS 86569 WITH SCORE 86724.337
AT ITER 8440 NEW BEST:: SOT 583564 SOS 155313 HAS SOPS 155313 HAS SOUS 86545 HAS SOUPS 86545 WITH SCORE 86700.313
AT ITER 8458 NEW BEST:: SOT 583583 SOS 155294 HAS SOPS 155294 HAS SOUS 86545 HAS SOUPS 86545 WITH SCORE 86700.294
AT ITER 8485 NEW BEST:: SOT 583569 SOS 155434 HAS SOPS 155434 HAS SOUS 86542 HAS SOUPS 86542 WITH SCORE 86697.434
AT ITER 8488 NEW BEST:: SOT 583577 SOS 155429 HAS SOPS 155429 HAS SOUS 86537 HAS SOUPS 86537 WITH SCORE 86692.429
AT ITER 8497 NEW BEST:: SOT 583577 SOS 155321 HAS SOPS 155321 HAS SOUS 86537 HAS SOUPS 86537 WITH SCORE 86692.321
AT ITER 8599 NEW BEST:: SOT 583576 SOS 155319 HAS SOPS 155319 HAS SOUS 86535 HAS SOUPS 86535 WITH SCORE 86690.319
AT ITER 8605 NEW BEST:: SOT 583545 SOS 155257 HAS SOPS 155257 HAS SOUS 86473 HAS SOUPS 86473 WITH SCORE 86628.257
AT ITER 8739 NEW BEST:: SOT 583503 SOS 155173 HAS SOPS 155173 HAS SOUS 86435 HAS SOUPS 86435 WITH SCORE 86590.173
AT ITER 8815 NEW BEST:: SOT 583485 SOS 154849 HAS SOPS 154849 HAS SOUS 86395 HAS SOUPS 86395 WITH SCORE 86549.849
AT ITER 8818 NEW BEST:: SOT 583479 SOS 154837 HAS SOPS 154837 HAS SOUS 86364 HAS SOUPS 86364 WITH SCORE 86518.837
AT ITER 8826 NEW BEST:: SOT 583460 SOS 154799 HAS SOPS 154799 HAS SOUS 86326 HAS SOUPS 86326 WITH SCORE 86480.799
AT ITER 8892 NEW BEST:: SOT 583381 SOS 154720 HAS SOPS 154720 HAS SOUS 86325 HAS SOUPS 86325 WITH SCORE 86479.72
AT ITER 8912 NEW BEST:: SOT 583379 SOS 154716 HAS SOPS 154716 HAS SOUS 86323 HAS SOUPS 86323 WITH SCORE 86477.716
AT ITER 8929 NEW BEST:: SOT 583366 SOS 154679 HAS SOPS 154679 HAS SOUS 86299 HAS SOUPS 86299 WITH SCORE 86453.679
AT ITER 8958 NEW BEST:: SOT 583366 SOS 154679 HAS SOPS 154679 HAS SOUS 86296 HAS SOUPS 86296 WITH SCORE 86450.679
AT ITER 8973 NEW BEST:: SOT 583366 SOS 154659 HAS SOPS 154659 HAS SOUS 86296 HAS SOUPS 86296 WITH SCORE 86450.659
AT ITER 9000 NEW BEST:: SOT 583358 SOS 154643 HAS SOPS 154643 HAS SOUS 86286 HAS SOUPS 86286 WITH SCORE 86440.643
AT ITER 9001 NEW BEST:: SOT 583358 SOS 154637 HAS SOPS 154637 HAS SOUS 86283 HAS SOUPS 86283 WITH SCORE 86437.637
AT ITER 9033 NEW BEST:: SOT 583331 SOS 154489 HAS SOPS 154489 HAS SOUS 86229 HAS SOUPS 86229 WITH SCORE 86383.489
AT ITER 9049 NEW BEST:: SOT 583315 SOS 154535 HAS SOPS 154535 HAS SOUS 86197 HAS SOUPS 86197 WITH SCORE 86351.535
AT ITER 9057 NEW BEST:: SOT 583285 SOS 154490 HAS SOPS 154490 HAS SOUS 86152 HAS SOUPS 86152 WITH SCORE 86306.49
AT ITER 9083 NEW BEST:: SOT 583236 SOS 154392 HAS SOPS 154392 HAS SOUS 86067 HAS SOUPS 86067 WITH SCORE 86221.392
AT ITER 9108 NEW BEST:: SOT 583268 SOS 154351 HAS SOPS 154351 HAS SOUS 86061 HAS SOUPS 86061 WITH SCORE 86215.351
AT ITER 9166 NEW BEST:: SOT 583090 SOS 154325 HAS SOPS 154325 HAS SOUS 85944 HAS SOUPS 85944 WITH SCORE 86098.325
AT ITER 9175 NEW BEST:: SOT 583090 SOS 154319 HAS SOPS 154319 HAS SOUS 85944 HAS SOUPS 85944 WITH SCORE 86098.319
AT ITER 9187 NEW BEST:: SOT 583079 SOS 154297 HAS SOPS 154297 HAS SOUS 85933 HAS SOUPS 85933 WITH SCORE 86087.297
AT ITER 9252 NEW BEST:: SOT 583070 SOS 154259 HAS SOPS 154259 HAS SOUS 85895 HAS SOUPS 85895 WITH SCORE 86049.259
AT ITER 9312 NEW BEST:: SOT 582964 SOS 154199 HAS SOPS 154199 HAS SOUS 85757 HAS SOUPS 85757 WITH SCORE 85911.199
AT ITER 9345 NEW BEST:: SOT 582945 SOS 154198 HAS SOPS 154198 HAS SOUS 85738 HAS SOUPS 85738 WITH SCORE 85892.198
AT ITER 9389 NEW BEST:: SOT 582969 SOS 154222 HAS SOPS 154222 HAS SOUS 85732 HAS SOUPS 85732 WITH SCORE 85886.222
AT ITER 9394 NEW BEST:: SOT 582968 SOS 154220 HAS SOPS 154220 HAS SOUS 85731 HAS SOUPS 85731 WITH SCORE 85885.22
AT ITER 9434 NEW BEST:: SOT 582953 SOS 154254 HAS SOPS 154254 HAS SOUS 85716 HAS SOUPS 85716 WITH SCORE 85870.254
AT ITER 9449 NEW BEST:: SOT 582989 SOS 154158 HAS SOPS 154158 HAS SOUS 85694 HAS SOUPS 85694 WITH SCORE 85848.158
AT ITER 9454 NEW BEST:: SOT 582828 SOS 153836 HAS SOPS 153836 HAS SOUS 85694 HAS SOUPS 85694 WITH SCORE 85847.836
AT ITER 9456 NEW BEST:: SOT 582821 SOS 153822 HAS SOPS 153822 HAS SOUS 85680 HAS SOUPS 85680 WITH SCORE 85833.822
AT ITER 9486 NEW BEST:: SOT 582813 SOS 153806 HAS SOPS 153806 HAS SOUS 85664 HAS SOUPS 85664 WITH SCORE 85817.806
AT ITER 9488 NEW BEST:: SOT 582813 SOS 153806 HAS SOPS 153806 HAS SOUS 85657 HAS SOUPS 85657 WITH SCORE 85810.806
AT ITER 9507 NEW BEST:: SOT 582830 SOS 153720 HAS SOPS 153720 HAS SOUS 85654 HAS SOUPS 85654 WITH SCORE 85807.72
AT ITER 9556 NEW BEST:: SOT 582880 SOS 153716 HAS SOPS 153716 HAS SOUS 85652 HAS SOUPS 85652 WITH SCORE 85805.716
AT ITER 9578 NEW BEST:: SOT 582884 SOS 153724 HAS SOPS 153724 HAS SOUS 85614 HAS SOUPS 85614 WITH SCORE 85767.724
AT ITER 9580 NEW BEST:: SOT 582884 SOS 153724 HAS SOPS 153724 HAS SOUS 85590 HAS SOUPS 85590 WITH SCORE 85743.724
AT ITER 9594 NEW BEST:: SOT 582861 SOS 153678 HAS SOPS 153678 HAS SOUS 85580 HAS SOUPS 85580 WITH SCORE 85733.678
AT ITER 9618 NEW BEST:: SOT 582861 SOS 153569 HAS SOPS 153569 HAS SOUS 85496 HAS SOUPS 85496 WITH SCORE 85649.569
AT ITER 9631 NEW BEST:: SOT 582856 SOS 153508 HAS SOPS 153508 HAS SOUS 85453 HAS SOUPS 85453 WITH SCORE 85606.508
AT ITER 9645 NEW BEST:: SOT 582856 SOS 153500 HAS SOPS 153500 HAS SOUS 85445 HAS SOUPS 85445 WITH SCORE 85598.5
AT ITER 9656 NEW BEST:: SOT 582859 SOS 153506 HAS SOPS 153506 HAS SOUS 85425 HAS SOUPS 85425 WITH SCORE 85578.506
AT ITER 9659 NEW BEST:: SOT 582856 SOS 153500 HAS SOPS 153500 HAS SOUS 85419 HAS SOUPS 85419 WITH SCORE 85572.5
AT ITER 9673 NEW BEST:: SOT 582847 SOS 153686 HAS SOPS 153686 HAS SOUS 85410 HAS SOUPS 85410 WITH SCORE 85563.686
AT ITER 9694 NEW BEST:: SOT 582841 SOS 153674 HAS SOPS 153674 HAS SOUS 85398 HAS SOUPS 85398 WITH SCORE 85551.674
AT ITER 9695 NEW BEST:: SOT 582840 SOS 153672 HAS SOPS 153672 HAS SOUS 85397 HAS SOUPS 85397 WITH SCORE 85550.672
AT ITER 9785 NEW BEST:: SOT 582834 SOS 153666 HAS SOPS 153666 HAS SOUS 85391 HAS SOUPS 85391 WITH SCORE 85544.666
AT ITER 9797 NEW BEST:: SOT 582834 SOS 153538 HAS SOPS 153538 HAS SOUS 85391 HAS SOUPS 85391 WITH SCORE 85544.538
AT ITER 9823 NEW BEST:: SOT 582824 SOS 153523 HAS SOPS 153523 HAS SOUS 85381 HAS SOUPS 85381 WITH SCORE 85534.523
AT ITER 9856 NEW BEST:: SOT 582733 SOS 153951 HAS SOPS 153951 HAS SOUS 85325 HAS SOUPS 85325 WITH SCORE 85478.951
AT ITER 9915 NEW BEST:: SOT 582730 SOS 153945 HAS SOPS 153945 HAS SOUS 85319 HAS SOUPS 85319 WITH SCORE 85472.945
AT ITER 9942 NEW BEST:: SOT 582730 SOS 153773 HAS SOPS 153773 HAS SOUS 85319 HAS SOUPS 85319 WITH SCORE 85472.773
AT ITER 9965 NEW BEST:: SOT 582720 SOS 153753 HAS SOPS 153753 HAS SOUS 85309 HAS SOUPS 85309 WITH SCORE 85462.753
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 7101924 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154280 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudDeployment-PT-3b"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is CloudDeployment-PT-3b, 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 r067-smll-167814394800392"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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