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.r267-smll-167863541600248.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 smartxred
Input is NoC3x3-PT-2A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541600248
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 7.5K Feb 26 10:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 10:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 26 10:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 10:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 10:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 26 10:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 10:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 26 10:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 127K Mar 5 18:23 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 1678812387928

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=NoC3x3-PT-2A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 16:46:31] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 16:46:31] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 16:46:31] [INFO ] Load time of PNML (sax parser for PT used): 240 ms
[2023-03-14 16:46:31] [INFO ] Transformed 361 places.
[2023-03-14 16:46:31] [INFO ] Transformed 428 transitions.
[2023-03-14 16:46:31] [INFO ] Found NUPN structural information;
[2023-03-14 16:46:31] [INFO ] Parsed PT model containing 361 places and 428 transitions and 1697 arcs in 375 ms.
[2023-03-14 16:46:31] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 361 places, 428 transitions and 1697 arcs took 11 ms.
Total runtime 449 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 2A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 361 places, 428 transitions, 1697 arcs.
AT ITER 0 NEW BEST:: SOT 128116 SOS 107782 HAS SOPS 107773 HAS SOUS 71642 HAS SOUPS 71633 WITH SCORE 71740.782
AT ITER 3 NEW BEST:: SOT 128116 SOS 107704 HAS SOPS 107695 HAS SOUS 71642 HAS SOUPS 71633 WITH SCORE 71740.704
AT ITER 10 NEW BEST:: SOT 128030 SOS 107628 HAS SOPS 107619 HAS SOUS 71567 HAS SOUPS 71558 WITH SCORE 71665.628
AT ITER 16 NEW BEST:: SOT 127519 SOS 107166 HAS SOPS 107157 HAS SOUS 71478 HAS SOUPS 71469 WITH SCORE 71576.166
AT ITER 18 NEW BEST:: SOT 127225 SOS 106872 HAS SOPS 106863 HAS SOUS 71449 HAS SOUPS 71440 WITH SCORE 71546.872
AT ITER 19 NEW BEST:: SOT 126440 SOS 106158 HAS SOPS 106149 HAS SOUS 70880 HAS SOUPS 70871 WITH SCORE 70977.158
AT ITER 22 NEW BEST:: SOT 126440 SOS 106158 HAS SOPS 106149 HAS SOUS 70879 HAS SOUPS 70870 WITH SCORE 70976.158
AT ITER 24 NEW BEST:: SOT 126329 SOS 106076 HAS SOPS 106067 HAS SOUS 70793 HAS SOUPS 70784 WITH SCORE 70890.076
AT ITER 29 NEW BEST:: SOT 126329 SOS 106081 HAS SOPS 106072 HAS SOUS 70790 HAS SOUPS 70781 WITH SCORE 70887.081
AT ITER 34 NEW BEST:: SOT 126344 SOS 105925 HAS SOPS 105916 HAS SOUS 70752 HAS SOUPS 70743 WITH SCORE 70848.925
AT ITER 35 NEW BEST:: SOT 125121 SOS 104702 HAS SOPS 104693 HAS SOUS 69662 HAS SOUPS 69653 WITH SCORE 69757.702
AT ITER 37 NEW BEST:: SOT 124917 SOS 104498 HAS SOPS 104489 HAS SOUS 69524 HAS SOUPS 69515 WITH SCORE 69619.498
AT ITER 39 NEW BEST:: SOT 124315 SOS 103896 HAS SOPS 103887 HAS SOUS 68612 HAS SOUPS 68603 WITH SCORE 68706.896
AT ITER 42 NEW BEST:: SOT 124121 SOS 103804 HAS SOPS 103795 HAS SOUS 68520 HAS SOUPS 68511 WITH SCORE 68614.804
AT ITER 43 NEW BEST:: SOT 123320 SOS 103113 HAS SOPS 103104 HAS SOUS 67829 HAS SOUPS 67820 WITH SCORE 67923.113
AT ITER 44 NEW BEST:: SOT 123005 SOS 102801 HAS SOPS 102792 HAS SOUS 67685 HAS SOUPS 67676 WITH SCORE 67778.801
AT ITER 48 NEW BEST:: SOT 122259 SOS 102182 HAS SOPS 102173 HAS SOUS 67062 HAS SOUPS 67053 WITH SCORE 67155.182
AT ITER 51 NEW BEST:: SOT 122216 SOS 101637 HAS SOPS 101628 HAS SOUS 67050 HAS SOUPS 67041 WITH SCORE 67142.637
AT ITER 54 NEW BEST:: SOT 122216 SOS 101347 HAS SOPS 101338 HAS SOUS 67050 HAS SOUPS 67041 WITH SCORE 67142.347
AT ITER 56 NEW BEST:: SOT 121550 SOS 100681 HAS SOPS 100672 HAS SOUS 66382 HAS SOUPS 66373 WITH SCORE 66473.681
AT ITER 57 NEW BEST:: SOT 121635 SOS 100711 HAS SOPS 100702 HAS SOUS 66369 HAS SOUPS 66360 WITH SCORE 66460.711
AT ITER 64 NEW BEST:: SOT 121635 SOS 99795 HAS SOPS 99786 HAS SOUS 66344 HAS SOUPS 66335 WITH SCORE 66434.795
AT ITER 65 NEW BEST:: SOT 121635 SOS 99795 HAS SOPS 99786 HAS SOUS 66342 HAS SOUPS 66333 WITH SCORE 66432.795
AT ITER 66 NEW BEST:: SOT 120837 SOS 98692 HAS SOPS 98683 HAS SOUS 65582 HAS SOUPS 65573 WITH SCORE 65671.692
AT ITER 74 NEW BEST:: SOT 120758 SOS 98523 HAS SOPS 98514 HAS SOUS 65484 HAS SOUPS 65475 WITH SCORE 65573.523
AT ITER 91 NEW BEST:: SOT 120758 SOS 98406 HAS SOPS 98397 HAS SOUS 65327 HAS SOUPS 65318 WITH SCORE 65416.406
AT ITER 93 NEW BEST:: SOT 120603 SOS 98425 HAS SOPS 98416 HAS SOUS 65219 HAS SOUPS 65210 WITH SCORE 65308.425
AT ITER 99 NEW BEST:: SOT 120331 SOS 98044 HAS SOPS 98035 HAS SOUS 64833 HAS SOUPS 64824 WITH SCORE 64922.044
AT ITER 100 NEW BEST:: SOT 119885 SOS 97586 HAS SOPS 97577 HAS SOUS 64375 HAS SOUPS 64366 WITH SCORE 64463.586
AT ITER 101 NEW BEST:: SOT 119866 SOS 97431 HAS SOPS 97407 HAS SOUS 64356 HAS SOUPS 64332 WITH SCORE 64429.431
AT ITER 112 NEW BEST:: SOT 119768 SOS 97363 HAS SOPS 97339 HAS SOUS 64316 HAS SOUPS 64292 WITH SCORE 64389.363
AT ITER 113 NEW BEST:: SOT 119768 SOS 97329 HAS SOPS 97305 HAS SOUS 64316 HAS SOUPS 64292 WITH SCORE 64389.329
AT ITER 116 NEW BEST:: SOT 119761 SOS 97293 HAS SOPS 97269 HAS SOUS 64280 HAS SOUPS 64256 WITH SCORE 64353.293
AT ITER 138 NEW BEST:: SOT 119472 SOS 97004 HAS SOPS 96980 HAS SOUS 64062 HAS SOUPS 64038 WITH SCORE 64135.004
AT ITER 140 NEW BEST:: SOT 119462 SOS 97048 HAS SOPS 97024 HAS SOUS 64039 HAS SOUPS 64015 WITH SCORE 64112.048
AT ITER 141 NEW BEST:: SOT 118879 SOS 96507 HAS SOPS 96483 HAS SOUS 63595 HAS SOUPS 63571 WITH SCORE 63667.507
AT ITER 143 NEW BEST:: SOT 118906 SOS 96452 HAS SOPS 96428 HAS SOUS 63570 HAS SOUPS 63546 WITH SCORE 63642.452
AT ITER 147 NEW BEST:: SOT 118689 SOS 95469 HAS SOPS 95445 HAS SOUS 63551 HAS SOUPS 63527 WITH SCORE 63622.469
AT ITER 149 NEW BEST:: SOT 118689 SOS 95222 HAS SOPS 95198 HAS SOUS 63508 HAS SOUPS 63484 WITH SCORE 63579.222
AT ITER 151 NEW BEST:: SOT 118689 SOS 95220 HAS SOPS 95196 HAS SOUS 63506 HAS SOUPS 63482 WITH SCORE 63577.22
AT ITER 153 NEW BEST:: SOT 118757 SOS 95288 HAS SOPS 95264 HAS SOUS 63462 HAS SOUPS 63438 WITH SCORE 63533.288
AT ITER 157 NEW BEST:: SOT 118759 SOS 95277 HAS SOPS 95253 HAS SOUS 63391 HAS SOUPS 63367 WITH SCORE 63462.277
AT ITER 161 NEW BEST:: SOT 118187 SOS 94705 HAS SOPS 94681 HAS SOUS 62817 HAS SOUPS 62793 WITH SCORE 62887.705
AT ITER 162 NEW BEST:: SOT 117023 SOS 93541 HAS SOPS 93517 HAS SOUS 61841 HAS SOUPS 61817 WITH SCORE 61910.541
AT ITER 166 NEW BEST:: SOT 117038 SOS 93302 HAS SOPS 93278 HAS SOUS 61741 HAS SOUPS 61717 WITH SCORE 61810.302
AT ITER 168 NEW BEST:: SOT 116573 SOS 92837 HAS SOPS 92813 HAS SOUS 61361 HAS SOUPS 61337 WITH SCORE 61429.837
AT ITER 170 NEW BEST:: SOT 116549 SOS 92813 HAS SOPS 92789 HAS SOUS 61325 HAS SOUPS 61301 WITH SCORE 61393.813
AT ITER 173 NEW BEST:: SOT 116485 SOS 92749 HAS SOPS 92725 HAS SOUS 61323 HAS SOUPS 61299 WITH SCORE 61391.749
AT ITER 178 NEW BEST:: SOT 116652 SOS 92801 HAS SOPS 92777 HAS SOUS 61228 HAS SOUPS 61204 WITH SCORE 61296.801
AT ITER 179 NEW BEST:: SOT 116652 SOS 92597 HAS SOPS 92573 HAS SOUS 61197 HAS SOUPS 61173 WITH SCORE 61265.597
AT ITER 182 NEW BEST:: SOT 116652 SOS 92355 HAS SOPS 92331 HAS SOUS 61188 HAS SOUPS 61164 WITH SCORE 61256.355
AT ITER 184 NEW BEST:: SOT 116652 SOS 92353 HAS SOPS 92329 HAS SOUS 61187 HAS SOUPS 61163 WITH SCORE 61255.353
AT ITER 186 NEW BEST:: SOT 116427 SOS 92128 HAS SOPS 92104 HAS SOUS 60855 HAS SOUPS 60831 WITH SCORE 60923.128
AT ITER 187 NEW BEST:: SOT 116398 SOS 92099 HAS SOPS 92075 HAS SOUS 60851 HAS SOUPS 60827 WITH SCORE 60919.099
AT ITER 192 NEW BEST:: SOT 116295 SOS 91471 HAS SOPS 91447 HAS SOUS 60748 HAS SOUPS 60724 WITH SCORE 60815.471
AT ITER 195 NEW BEST:: SOT 116250 SOS 91419 HAS SOPS 91395 HAS SOUS 60726 HAS SOUPS 60702 WITH SCORE 60793.419
AT ITER 196 NEW BEST:: SOT 116088 SOS 91318 HAS SOPS 91294 HAS SOUS 60625 HAS SOUPS 60601 WITH SCORE 60692.318
AT ITER 201 NEW BEST:: SOT 116082 SOS 91312 HAS SOPS 91288 HAS SOUS 60614 HAS SOUPS 60590 WITH SCORE 60681.312
AT ITER 203 NEW BEST:: SOT 116082 SOS 90790 HAS SOPS 90766 HAS SOUS 60589 HAS SOUPS 60565 WITH SCORE 60655.79
AT ITER 210 NEW BEST:: SOT 115573 SOS 90549 HAS SOPS 90525 HAS SOUS 60282 HAS SOUPS 60258 WITH SCORE 60348.549
AT ITER 221 NEW BEST:: SOT 115573 SOS 90469 HAS SOPS 90445 HAS SOUS 60282 HAS SOUPS 60258 WITH SCORE 60348.469
AT ITER 229 NEW BEST:: SOT 115363 SOS 90259 HAS SOPS 90235 HAS SOUS 59906 HAS SOUPS 59882 WITH SCORE 59972.259
AT ITER 230 NEW BEST:: SOT 115361 SOS 90255 HAS SOPS 90231 HAS SOUS 59906 HAS SOUPS 59882 WITH SCORE 59972.255
AT ITER 232 NEW BEST:: SOT 115288 SOS 89969 HAS SOPS 89945 HAS SOUS 59829 HAS SOUPS 59805 WITH SCORE 59894.969
AT ITER 238 NEW BEST:: SOT 115228 SOS 89909 HAS SOPS 89885 HAS SOUS 59769 HAS SOUPS 59745 WITH SCORE 59834.909
AT ITER 240 NEW BEST:: SOT 115103 SOS 89784 HAS SOPS 89760 HAS SOUS 59647 HAS SOUPS 59623 WITH SCORE 59712.784
AT ITER 242 NEW BEST:: SOT 115030 SOS 89754 HAS SOPS 89745 HAS SOUS 59578 HAS SOUPS 59569 WITH SCORE 59658.754
AT ITER 243 NEW BEST:: SOT 115003 SOS 89725 HAS SOPS 89716 HAS SOUS 59572 HAS SOUPS 59563 WITH SCORE 59652.725
AT ITER 249 NEW BEST:: SOT 113772 SOS 88546 HAS SOPS 88537 HAS SOUS 58725 HAS SOUPS 58716 WITH SCORE 58804.546
AT ITER 252 NEW BEST:: SOT 114012 SOS 88761 HAS SOPS 88752 HAS SOUS 58680 HAS SOUPS 58671 WITH SCORE 58759.761
AT ITER 254 NEW BEST:: SOT 113814 SOS 88563 HAS SOPS 88554 HAS SOUS 58476 HAS SOUPS 58467 WITH SCORE 58555.563
AT ITER 257 NEW BEST:: SOT 113814 SOS 88519 HAS SOPS 88510 HAS SOUS 58404 HAS SOUPS 58395 WITH SCORE 58483.519
AT ITER 258 NEW BEST:: SOT 113814 SOS 88519 HAS SOPS 88510 HAS SOUS 58328 HAS SOUPS 58319 WITH SCORE 58407.519
AT ITER 259 NEW BEST:: SOT 113814 SOS 88519 HAS SOPS 88510 HAS SOUS 58326 HAS SOUPS 58317 WITH SCORE 58405.519
AT ITER 267 NEW BEST:: SOT 113814 SOS 88396 HAS SOPS 88387 HAS SOUS 58326 HAS SOUPS 58317 WITH SCORE 58405.396
AT ITER 268 NEW BEST:: SOT 113814 SOS 88396 HAS SOPS 88387 HAS SOUS 58324 HAS SOUPS 58315 WITH SCORE 58403.396
AT ITER 271 NEW BEST:: SOT 113814 SOS 88153 HAS SOPS 87957 HAS SOUS 58324 HAS SOUPS 58128 WITH SCORE 58216.153
AT ITER 274 NEW BEST:: SOT 113727 SOS 88072 HAS SOPS 87876 HAS SOUS 58310 HAS SOUPS 58114 WITH SCORE 58202.072
AT ITER 278 NEW BEST:: SOT 113727 SOS 87919 HAS SOPS 87723 HAS SOUS 58310 HAS SOUPS 58114 WITH SCORE 58201.919
AT ITER 279 NEW BEST:: SOT 113627 SOS 87819 HAS SOPS 87623 HAS SOUS 58210 HAS SOUPS 58014 WITH SCORE 58101.819
AT ITER 281 NEW BEST:: SOT 113627 SOS 87807 HAS SOPS 87611 HAS SOUS 58210 HAS SOUPS 58014 WITH SCORE 58101.807
AT ITER 283 NEW BEST:: SOT 113424 SOS 86816 HAS SOPS 86620 HAS SOUS 58115 HAS SOUPS 57919 WITH SCORE 58005.816
AT ITER 287 NEW BEST:: SOT 113379 SOS 86771 HAS SOPS 86575 HAS SOUS 57976 HAS SOUPS 57780 WITH SCORE 57866.771
AT ITER 290 NEW BEST:: SOT 113190 SOS 86568 HAS SOPS 86372 HAS SOUS 57773 HAS SOUPS 57577 WITH SCORE 57663.568
AT ITER 291 NEW BEST:: SOT 113160 SOS 86538 HAS SOPS 86342 HAS SOUS 57743 HAS SOUPS 57547 WITH SCORE 57633.538
AT ITER 292 NEW BEST:: SOT 112945 SOS 86467 HAS SOPS 86271 HAS SOUS 57596 HAS SOUPS 57400 WITH SCORE 57486.467
AT ITER 293 NEW BEST:: SOT 112645 SOS 86167 HAS SOPS 85971 HAS SOUS 57393 HAS SOUPS 57197 WITH SCORE 57283.167
AT ITER 298 NEW BEST:: SOT 112645 SOS 86149 HAS SOPS 85953 HAS SOUS 57375 HAS SOUPS 57179 WITH SCORE 57265.149
AT ITER 300 NEW BEST:: SOT 112689 SOS 86193 HAS SOPS 85997 HAS SOUS 57285 HAS SOUPS 57089 WITH SCORE 57175.193
AT ITER 301 NEW BEST:: SOT 112530 SOS 86034 HAS SOPS 85838 HAS SOUS 57126 HAS SOUPS 56930 WITH SCORE 57016.034
AT ITER 305 NEW BEST:: SOT 112460 SOS 85879 HAS SOPS 85683 HAS SOUS 57076 HAS SOUPS 56880 WITH SCORE 56965.879
AT ITER 308 NEW BEST:: SOT 112343 SOS 85939 HAS SOPS 85743 HAS SOUS 57037 HAS SOUPS 56841 WITH SCORE 56926.939
AT ITER 309 NEW BEST:: SOT 112343 SOS 85624 HAS SOPS 85428 HAS SOUS 56992 HAS SOUPS 56796 WITH SCORE 56881.624
AT ITER 310 NEW BEST:: SOT 112325 SOS 85584 HAS SOPS 85388 HAS SOUS 56970 HAS SOUPS 56774 WITH SCORE 56859.584
AT ITER 314 NEW BEST:: SOT 112273 SOS 85532 HAS SOPS 85336 HAS SOUS 56970 HAS SOUPS 56774 WITH SCORE 56859.532
AT ITER 319 NEW BEST:: SOT 112200 SOS 85104 HAS SOPS 84908 HAS SOUS 56577 HAS SOUPS 56381 WITH SCORE 56466.104
AT ITER 322 NEW BEST:: SOT 112200 SOS 85091 HAS SOPS 84895 HAS SOUS 56564 HAS SOUPS 56368 WITH SCORE 56453.091
AT ITER 326 NEW BEST:: SOT 112178 SOS 85025 HAS SOPS 84829 HAS SOUS 56498 HAS SOUPS 56302 WITH SCORE 56387.025
AT ITER 328 NEW BEST:: SOT 112178 SOS 85071 HAS SOPS 84875 HAS SOUS 56486 HAS SOUPS 56290 WITH SCORE 56375.071
AT ITER 332 NEW BEST:: SOT 111821 SOS 84639 HAS SOPS 84443 HAS SOUS 56168 HAS SOUPS 55972 WITH SCORE 56056.639
AT ITER 334 NEW BEST:: SOT 111813 SOS 84625 HAS SOPS 84429 HAS SOUS 56157 HAS SOUPS 55961 WITH SCORE 56045.625
AT ITER 340 NEW BEST:: SOT 111771 SOS 84583 HAS SOPS 84387 HAS SOUS 56155 HAS SOUPS 55959 WITH SCORE 56043.583
AT ITER 345 NEW BEST:: SOT 111465 SOS 84277 HAS SOPS 84081 HAS SOUS 55779 HAS SOUPS 55583 WITH SCORE 55667.277
AT ITER 349 NEW BEST:: SOT 111462 SOS 84274 HAS SOPS 84078 HAS SOUS 55776 HAS SOUPS 55580 WITH SCORE 55664.274
AT ITER 351 NEW BEST:: SOT 111440 SOS 84252 HAS SOPS 84056 HAS SOUS 55754 HAS SOUPS 55558 WITH SCORE 55642.252
AT ITER 355 NEW BEST:: SOT 111429 SOS 84222 HAS SOPS 84026 HAS SOUS 55743 HAS SOUPS 55547 WITH SCORE 55631.222
AT ITER 362 NEW BEST:: SOT 111389 SOS 84157 HAS SOPS 83961 HAS SOUS 55735 HAS SOUPS 55539 WITH SCORE 55623.157
AT ITER 363 NEW BEST:: SOT 111377 SOS 84151 HAS SOPS 83955 HAS SOUS 55721 HAS SOUPS 55525 WITH SCORE 55609.151
AT ITER 364 NEW BEST:: SOT 111387 SOS 84205 HAS SOPS 84009 HAS SOUS 55607 HAS SOUPS 55411 WITH SCORE 55495.205
AT ITER 365 NEW BEST:: SOT 111365 SOS 84183 HAS SOPS 83987 HAS SOUS 55581 HAS SOUPS 55385 WITH SCORE 55469.183
AT ITER 368 NEW BEST:: SOT 111274 SOS 83854 HAS SOPS 83658 HAS SOUS 55555 HAS SOUPS 55359 WITH SCORE 55442.854
AT ITER 376 NEW BEST:: SOT 111156 SOS 83642 HAS SOPS 83446 HAS SOUS 55343 HAS SOUPS 55147 WITH SCORE 55230.642
AT ITER 377 NEW BEST:: SOT 111161 SOS 83647 HAS SOPS 83451 HAS SOUS 55340 HAS SOUPS 55144 WITH SCORE 55227.647
AT ITER 379 NEW BEST:: SOT 110133 SOS 82658 HAS SOPS 82462 HAS SOUS 54208 HAS SOUPS 54012 WITH SCORE 54094.658
AT ITER 382 NEW BEST:: SOT 110258 SOS 82783 HAS SOPS 82587 HAS SOUS 54083 HAS SOUPS 53887 WITH SCORE 53969.783
AT ITER 384 NEW BEST:: SOT 110226 SOS 82733 HAS SOPS 82537 HAS SOUS 54035 HAS SOUPS 53839 WITH SCORE 53921.733
AT ITER 390 NEW BEST:: SOT 110204 SOS 82667 HAS SOPS 82471 HAS SOUS 54035 HAS SOUPS 53839 WITH SCORE 53921.667
AT ITER 391 NEW BEST:: SOT 110233 SOS 82372 HAS SOPS 82052 HAS SOUS 54056 HAS SOUPS 53736 WITH SCORE 53818.372
AT ITER 397 NEW BEST:: SOT 110187 SOS 82326 HAS SOPS 82006 HAS SOUS 53950 HAS SOUPS 53630 WITH SCORE 53712.326
AT ITER 398 NEW BEST:: SOT 109629 SOS 81768 HAS SOPS 81448 HAS SOUS 53502 HAS SOUPS 53182 WITH SCORE 53263.768
AT ITER 408 NEW BEST:: SOT 109421 SOS 81560 HAS SOPS 81240 HAS SOUS 53294 HAS SOUPS 52974 WITH SCORE 53055.56
AT ITER 409 NEW BEST:: SOT 109272 SOS 81435 HAS SOPS 81091 HAS SOUS 53126 HAS SOUPS 52782 WITH SCORE 52863.435
AT ITER 411 NEW BEST:: SOT 109273 SOS 81407 HAS SOPS 81063 HAS SOUS 53066 HAS SOUPS 52722 WITH SCORE 52803.407
AT ITER 412 NEW BEST:: SOT 109273 SOS 81389 HAS SOPS 81045 HAS SOUS 53066 HAS SOUPS 52722 WITH SCORE 52803.389
AT ITER 418 NEW BEST:: SOT 108999 SOS 81238 HAS SOPS 80894 HAS SOUS 53013 HAS SOUPS 52669 WITH SCORE 52750.238
AT ITER 419 NEW BEST:: SOT 108874 SOS 80218 HAS SOPS 79874 HAS SOUS 52754 HAS SOUPS 52410 WITH SCORE 52490.218
AT ITER 421 NEW BEST:: SOT 108374 SOS 80108 HAS SOPS 79764 HAS SOUS 52263 HAS SOUPS 51919 WITH SCORE 51999.108
AT ITER 422 NEW BEST:: SOT 108213 SOS 79665 HAS SOPS 79321 HAS SOUS 52175 HAS SOUPS 51831 WITH SCORE 51910.665
AT ITER 423 NEW BEST:: SOT 108213 SOS 79665 HAS SOPS 79321 HAS SOUS 52143 HAS SOUPS 51799 WITH SCORE 51878.665
AT ITER 429 NEW BEST:: SOT 108236 SOS 79688 HAS SOPS 79344 HAS SOUS 52060 HAS SOUPS 51716 WITH SCORE 51795.688
AT ITER 432 NEW BEST:: SOT 108295 SOS 79642 HAS SOPS 79298 HAS SOUS 52039 HAS SOUPS 51695 WITH SCORE 51774.642
AT ITER 434 NEW BEST:: SOT 107714 SOS 79071 HAS SOPS 78727 HAS SOUS 51382 HAS SOUPS 51038 WITH SCORE 51117.071
AT ITER 435 NEW BEST:: SOT 107714 SOS 78960 HAS SOPS 78616 HAS SOUS 51382 HAS SOUPS 51038 WITH SCORE 51116.96
AT ITER 439 NEW BEST:: SOT 107714 SOS 78771 HAS SOPS 78427 HAS SOUS 51312 HAS SOUPS 50968 WITH SCORE 51046.771
AT ITER 441 NEW BEST:: SOT 107742 SOS 78666 HAS SOPS 78322 HAS SOUS 51280 HAS SOUPS 50936 WITH SCORE 51014.666
AT ITER 442 NEW BEST:: SOT 107699 SOS 78623 HAS SOPS 78279 HAS SOUS 51237 HAS SOUPS 50893 WITH SCORE 50971.623
AT ITER 443 NEW BEST:: SOT 107609 SOS 78593 HAS SOPS 78249 HAS SOUS 51177 HAS SOUPS 50833 WITH SCORE 50911.593
AT ITER 444 NEW BEST:: SOT 107609 SOS 78593 HAS SOPS 78249 HAS SOUS 51165 HAS SOUPS 50821 WITH SCORE 50899.593
AT ITER 445 NEW BEST:: SOT 107575 SOS 78559 HAS SOPS 78215 HAS SOUS 51161 HAS SOUPS 50817 WITH SCORE 50895.559
AT ITER 447 NEW BEST:: SOT 107466 SOS 78626 HAS SOPS 78282 HAS SOUS 51155 HAS SOUPS 50811 WITH SCORE 50889.626
AT ITER 452 NEW BEST:: SOT 107429 SOS 78528 HAS SOPS 78184 HAS SOUS 51051 HAS SOUPS 50707 WITH SCORE 50785.528
AT ITER 458 NEW BEST:: SOT 107427 SOS 78504 HAS SOPS 78160 HAS SOUS 51027 HAS SOUPS 50683 WITH SCORE 50761.504
AT ITER 461 NEW BEST:: SOT 106854 SOS 77921 HAS SOPS 77577 HAS SOUS 50606 HAS SOUPS 50262 WITH SCORE 50339.921
AT ITER 462 NEW BEST:: SOT 106854 SOS 77911 HAS SOPS 77567 HAS SOUS 50606 HAS SOUPS 50262 WITH SCORE 50339.911
AT ITER 464 NEW BEST:: SOT 106843 SOS 77854 HAS SOPS 77510 HAS SOUS 50605 HAS SOUPS 50261 WITH SCORE 50338.854
AT ITER 468 NEW BEST:: SOT 106830 SOS 77788 HAS SOPS 77444 HAS SOUS 50416 HAS SOUPS 50072 WITH SCORE 50149.788
AT ITER 471 NEW BEST:: SOT 106828 SOS 77786 HAS SOPS 77442 HAS SOUS 50414 HAS SOUPS 50070 WITH SCORE 50147.786
AT ITER 473 NEW BEST:: SOT 106740 SOS 77698 HAS SOPS 77354 HAS SOUS 50386 HAS SOUPS 50042 WITH SCORE 50119.698
AT ITER 474 NEW BEST:: SOT 106713 SOS 77671 HAS SOPS 77327 HAS SOUS 50379 HAS SOUPS 50035 WITH SCORE 50112.671
AT ITER 478 NEW BEST:: SOT 106713 SOS 77542 HAS SOPS 77198 HAS SOUS 50379 HAS SOUPS 50035 WITH SCORE 50112.542
AT ITER 490 NEW BEST:: SOT 106547 SOS 77376 HAS SOPS 77032 HAS SOUS 50213 HAS SOUPS 49869 WITH SCORE 49946.376
AT ITER 495 NEW BEST:: SOT 106427 SOS 77202 HAS SOPS 76858 HAS SOUS 50213 HAS SOUPS 49869 WITH SCORE 49946.202
AT ITER 496 NEW BEST:: SOT 106427 SOS 77191 HAS SOPS 76847 HAS SOUS 50213 HAS SOUPS 49869 WITH SCORE 49946.191
AT ITER 497 NEW BEST:: SOT 106099 SOS 76991 HAS SOPS 76647 HAS SOUS 50009 HAS SOUPS 49665 WITH SCORE 49741.991
AT ITER 504 NEW BEST:: SOT 106023 SOS 76827 HAS SOPS 76483 HAS SOUS 49933 HAS SOUPS 49589 WITH SCORE 49665.827
AT ITER 505 NEW BEST:: SOT 105497 SOS 76565 HAS SOPS 76221 HAS SOUS 49788 HAS SOUPS 49444 WITH SCORE 49520.565
AT ITER 506 NEW BEST:: SOT 105491 SOS 76547 HAS SOPS 76197 HAS SOUS 49788 HAS SOUPS 49438 WITH SCORE 49514.547
AT ITER 509 NEW BEST:: SOT 105352 SOS 75937 HAS SOPS 75760 HAS SOUS 49524 HAS SOUPS 49347 WITH SCORE 49422.937
AT ITER 510 NEW BEST:: SOT 105332 SOS 75917 HAS SOPS 75740 HAS SOUS 49328 HAS SOUPS 49151 WITH SCORE 49226.917
AT ITER 519 NEW BEST:: SOT 105018 SOS 75574 HAS SOPS 75397 HAS SOUS 49178 HAS SOUPS 49001 WITH SCORE 49076.574
AT ITER 523 NEW BEST:: SOT 105134 SOS 75813 HAS SOPS 75636 HAS SOUS 49059 HAS SOUPS 48882 WITH SCORE 48957.813
AT ITER 524 NEW BEST:: SOT 104776 SOS 75395 HAS SOPS 75218 HAS SOUS 48688 HAS SOUPS 48511 WITH SCORE 48586.395
AT ITER 526 NEW BEST:: SOT 104561 SOS 75321 HAS SOPS 75144 HAS SOUS 48459 HAS SOUPS 48282 WITH SCORE 48357.321
AT ITER 529 NEW BEST:: SOT 104569 SOS 75350 HAS SOPS 75173 HAS SOUS 48446 HAS SOUPS 48269 WITH SCORE 48344.35
AT ITER 530 NEW BEST:: SOT 104648 SOS 75146 HAS SOPS 74963 HAS SOUS 48371 HAS SOUPS 48188 WITH SCORE 48263.146
AT ITER 531 NEW BEST:: SOT 104648 SOS 75088 HAS SOPS 74905 HAS SOUS 48326 HAS SOUPS 48143 WITH SCORE 48218.088
AT ITER 534 NEW BEST:: SOT 104768 SOS 75319 HAS SOPS 75136 HAS SOUS 48149 HAS SOUPS 47966 WITH SCORE 48041.319
AT ITER 538 NEW BEST:: SOT 104760 SOS 75311 HAS SOPS 75128 HAS SOUS 48149 HAS SOUPS 47966 WITH SCORE 48041.311
AT ITER 542 NEW BEST:: SOT 104760 SOS 75047 HAS SOPS 74864 HAS SOUS 48143 HAS SOUPS 47960 WITH SCORE 48035.047
AT ITER 548 NEW BEST:: SOT 104684 SOS 75277 HAS SOPS 75094 HAS SOUS 48045 HAS SOUPS 47862 WITH SCORE 47937.277
AT ITER 549 NEW BEST:: SOT 104025 SOS 74504 HAS SOPS 74321 HAS SOUS 47272 HAS SOUPS 47089 WITH SCORE 47163.504
AT ITER 560 NEW BEST:: SOT 103453 SOS 74476 HAS SOPS 74293 HAS SOUS 47083 HAS SOUPS 46900 WITH SCORE 46974.476
AT ITER 564 NEW BEST:: SOT 103438 SOS 74461 HAS SOPS 74278 HAS SOUS 47068 HAS SOUPS 46885 WITH SCORE 46959.461
AT ITER 567 NEW BEST:: SOT 103383 SOS 74406 HAS SOPS 74223 HAS SOUS 46911 HAS SOUPS 46728 WITH SCORE 46802.406
AT ITER 571 NEW BEST:: SOT 103356 SOS 74063 HAS SOPS 73880 HAS SOUS 46726 HAS SOUPS 46543 WITH SCORE 46617.063
AT ITER 572 NEW BEST:: SOT 103439 SOS 74037 HAS SOPS 73745 HAS SOUS 46700 HAS SOUPS 46408 WITH SCORE 46482.037
AT ITER 577 NEW BEST:: SOT 103429 SOS 74026 HAS SOPS 73734 HAS SOUS 46689 HAS SOUPS 46397 WITH SCORE 46471.026
AT ITER 585 NEW BEST:: SOT 103303 SOS 73626 HAS SOPS 73334 HAS SOUS 46578 HAS SOUPS 46286 WITH SCORE 46359.626
AT ITER 587 NEW BEST:: SOT 103283 SOS 73606 HAS SOPS 73314 HAS SOUS 46558 HAS SOUPS 46266 WITH SCORE 46339.606
AT ITER 588 NEW BEST:: SOT 103322 SOS 73567 HAS SOPS 73275 HAS SOUS 46474 HAS SOUPS 46182 WITH SCORE 46255.567
AT ITER 593 NEW BEST:: SOT 103237 SOS 73439 HAS SOPS 73147 HAS SOUS 46411 HAS SOUPS 46119 WITH SCORE 46192.439
AT ITER 597 NEW BEST:: SOT 103237 SOS 73439 HAS SOPS 73147 HAS SOUS 46409 HAS SOUPS 46117 WITH SCORE 46190.439
AT ITER 598 NEW BEST:: SOT 102632 SOS 72939 HAS SOPS 72647 HAS SOUS 45688 HAS SOUPS 45396 WITH SCORE 45468.939
AT ITER 599 NEW BEST:: SOT 102632 SOS 73029 HAS SOPS 72737 HAS SOUS 45684 HAS SOUPS 45392 WITH SCORE 45465.029
AT ITER 602 NEW BEST:: SOT 102632 SOS 72933 HAS SOPS 72521 HAS SOUS 45673 HAS SOUPS 45295 WITH SCORE 45367.933
AT ITER 603 NEW BEST:: SOT 102632 SOS 72907 HAS SOPS 72495 HAS SOUS 45673 HAS SOUPS 45295 WITH SCORE 45367.907
AT ITER 604 NEW BEST:: SOT 102633 SOS 72908 HAS SOPS 72496 HAS SOUS 45670 HAS SOUPS 45292 WITH SCORE 45364.908
AT ITER 605 NEW BEST:: SOT 102599 SOS 72857 HAS SOPS 72445 HAS SOUS 45645 HAS SOUPS 45267 WITH SCORE 45339.857
AT ITER 606 NEW BEST:: SOT 102599 SOS 72857 HAS SOPS 72445 HAS SOUS 45606 HAS SOUPS 45228 WITH SCORE 45300.857
AT ITER 608 NEW BEST:: SOT 102620 SOS 72806 HAS SOPS 72394 HAS SOUS 45574 HAS SOUPS 45196 WITH SCORE 45268.806
AT ITER 610 NEW BEST:: SOT 102582 SOS 72834 HAS SOPS 72422 HAS SOUS 45536 HAS SOUPS 45158 WITH SCORE 45230.834
AT ITER 612 NEW BEST:: SOT 102695 SOS 72616 HAS SOPS 72204 HAS SOUS 45453 HAS SOUPS 45075 WITH SCORE 45147.616
AT ITER 616 NEW BEST:: SOT 102683 SOS 72604 HAS SOPS 72192 HAS SOUS 45441 HAS SOUPS 45063 WITH SCORE 45135.604
AT ITER 619 NEW BEST:: SOT 102632 SOS 72520 HAS SOPS 72108 HAS SOUS 45357 HAS SOUPS 44979 WITH SCORE 45051.52
AT ITER 628 NEW BEST:: SOT 102623 SOS 72496 HAS SOPS 72090 HAS SOUS 45350 HAS SOUPS 44978 WITH SCORE 45050.496
AT ITER 632 NEW BEST:: SOT 102637 SOS 72510 HAS SOPS 72104 HAS SOUS 45270 HAS SOUPS 44898 WITH SCORE 44970.51
AT ITER 633 NEW BEST:: SOT 102603 SOS 72442 HAS SOPS 72036 HAS SOUS 45219 HAS SOUPS 44847 WITH SCORE 44919.442
AT ITER 636 NEW BEST:: SOT 102555 SOS 72349 HAS SOPS 71943 HAS SOUS 45121 HAS SOUPS 44749 WITH SCORE 44821.349
AT ITER 642 NEW BEST:: SOT 102576 SOS 72370 HAS SOPS 71964 HAS SOUS 45118 HAS SOUPS 44746 WITH SCORE 44818.37
AT ITER 646 NEW BEST:: SOT 102439 SOS 72077 HAS SOPS 71671 HAS SOUS 45059 HAS SOUPS 44687 WITH SCORE 44759.077
AT ITER 648 NEW BEST:: SOT 102355 SOS 71860 HAS SOPS 71454 HAS SOUS 45005 HAS SOUPS 44633 WITH SCORE 44704.86
AT ITER 664 NEW BEST:: SOT 102037 SOS 71358 HAS SOPS 70952 HAS SOUS 44503 HAS SOUPS 44131 WITH SCORE 44202.358
AT ITER 665 NEW BEST:: SOT 102002 SOS 71323 HAS SOPS 70917 HAS SOUS 44446 HAS SOUPS 44074 WITH SCORE 44145.323
AT ITER 669 NEW BEST:: SOT 101921 SOS 71460 HAS SOPS 70824 HAS SOUS 44656 HAS SOUPS 44054 WITH SCORE 44125.46
AT ITER 674 NEW BEST:: SOT 101917 SOS 71590 HAS SOPS 70954 HAS SOUS 44600 HAS SOUPS 43998 WITH SCORE 44069.59
AT ITER 676 NEW BEST:: SOT 101889 SOS 71562 HAS SOPS 70926 HAS SOUS 44544 HAS SOUPS 43942 WITH SCORE 44013.562
AT ITER 687 NEW BEST:: SOT 101927 SOS 71600 HAS SOPS 70964 HAS SOUS 44506 HAS SOUPS 43904 WITH SCORE 43975.6
AT ITER 690 NEW BEST:: SOT 102012 SOS 71725 HAS SOPS 71089 HAS SOUS 44499 HAS SOUPS 43897 WITH SCORE 43968.725
AT ITER 700 NEW BEST:: SOT 101994 SOS 71707 HAS SOPS 71071 HAS SOUS 44425 HAS SOUPS 43823 WITH SCORE 43894.707
AT ITER 701 NEW BEST:: SOT 101948 SOS 71533 HAS SOPS 70897 HAS SOUS 44188 HAS SOUPS 43586 WITH SCORE 43657.533
AT ITER 707 NEW BEST:: SOT 101118 SOS 70870 HAS SOPS 70234 HAS SOUS 43696 HAS SOUPS 43094 WITH SCORE 43164.87
AT ITER 711 NEW BEST:: SOT 100991 SOS 69372 HAS SOPS 68736 HAS SOUS 43491 HAS SOUPS 42889 WITH SCORE 42958.372
AT ITER 717 NEW BEST:: SOT 100958 SOS 69339 HAS SOPS 68703 HAS SOUS 43489 HAS SOUPS 42887 WITH SCORE 42956.339
AT ITER 718 NEW BEST:: SOT 100930 SOS 69283 HAS SOPS 68647 HAS SOUS 43433 HAS SOUPS 42831 WITH SCORE 42900.283
AT ITER 726 NEW BEST:: SOT 101008 SOS 69215 HAS SOPS 68579 HAS SOUS 43296 HAS SOUPS 42694 WITH SCORE 42763.215
AT ITER 727 NEW BEST:: SOT 100956 SOS 69163 HAS SOPS 68527 HAS SOUS 43290 HAS SOUPS 42688 WITH SCORE 42757.163
AT ITER 728 NEW BEST:: SOT 100957 SOS 69114 HAS SOPS 68478 HAS SOUS 43279 HAS SOUPS 42677 WITH SCORE 42746.114
AT ITER 730 NEW BEST:: SOT 100957 SOS 69024 HAS SOPS 68388 HAS SOUS 43243 HAS SOUPS 42641 WITH SCORE 42710.024
AT ITER 734 NEW BEST:: SOT 100883 SOS 68914 HAS SOPS 68278 HAS SOUS 43166 HAS SOUPS 42564 WITH SCORE 42632.914
AT ITER 741 NEW BEST:: SOT 100875 SOS 68906 HAS SOPS 68270 HAS SOUS 43150 HAS SOUPS 42548 WITH SCORE 42616.906
AT ITER 747 NEW BEST:: SOT 100733 SOS 68714 HAS SOPS 68078 HAS SOUS 43113 HAS SOUPS 42511 WITH SCORE 42579.714
AT ITER 750 NEW BEST:: SOT 100661 SOS 68642 HAS SOPS 67982 HAS SOUS 43041 HAS SOUPS 42415 WITH SCORE 42483.642
AT ITER 751 NEW BEST:: SOT 100597 SOS 68570 HAS SOPS 67910 HAS SOUS 42935 HAS SOUPS 42309 WITH SCORE 42377.57
AT ITER 753 NEW BEST:: SOT 100596 SOS 68569 HAS SOPS 67909 HAS SOUS 42934 HAS SOUPS 42308 WITH SCORE 42376.569
AT ITER 754 NEW BEST:: SOT 100405 SOS 68321 HAS SOPS 67589 HAS SOUS 42850 HAS SOUPS 42224 WITH SCORE 42292.321
AT ITER 758 NEW BEST:: SOT 100405 SOS 68029 HAS SOPS 67297 HAS SOUS 42808 HAS SOUPS 42182 WITH SCORE 42250.029
AT ITER 760 NEW BEST:: SOT 100405 SOS 67837 HAS SOPS 67105 HAS SOUS 42758 HAS SOUPS 42132 WITH SCORE 42199.837
AT ITER 764 NEW BEST:: SOT 99864 SOS 67296 HAS SOPS 66564 HAS SOUS 42109 HAS SOUPS 41483 WITH SCORE 41550.296
AT ITER 765 NEW BEST:: SOT 99873 SOS 66344 HAS SOPS 65610 HAS SOUS 42000 HAS SOUPS 41372 WITH SCORE 41438.344
AT ITER 778 NEW BEST:: SOT 99823 SOS 66294 HAS SOPS 65560 HAS SOUS 41957 HAS SOUPS 41329 WITH SCORE 41395.294
AT ITER 780 NEW BEST:: SOT 99773 SOS 66236 HAS SOPS 65502 HAS SOUS 41895 HAS SOUPS 41267 WITH SCORE 41333.236
AT ITER 781 NEW BEST:: SOT 99773 SOS 66163 HAS SOPS 65429 HAS SOUS 41822 HAS SOUPS 41194 WITH SCORE 41260.163
AT ITER 785 NEW BEST:: SOT 99762 SOS 66152 HAS SOPS 65418 HAS SOUS 41811 HAS SOUPS 41183 WITH SCORE 41249.152
AT ITER 798 NEW BEST:: SOT 99802 SOS 65907 HAS SOPS 65173 HAS SOUS 41757 HAS SOUPS 41129 WITH SCORE 41194.907
AT ITER 803 NEW BEST:: SOT 99881 SOS 65986 HAS SOPS 65252 HAS SOUS 41678 HAS SOUPS 41050 WITH SCORE 41115.986
AT ITER 805 NEW BEST:: SOT 99877 SOS 65990 HAS SOPS 65254 HAS SOUS 41678 HAS SOUPS 41048 WITH SCORE 41113.99
AT ITER 807 NEW BEST:: SOT 99870 SOS 65983 HAS SOPS 65247 HAS SOUS 41565 HAS SOUPS 40935 WITH SCORE 41000.983
AT ITER 812 NEW BEST:: SOT 99884 SOS 65997 HAS SOPS 65261 HAS SOUS 41543 HAS SOUPS 40913 WITH SCORE 40978.997
AT ITER 818 NEW BEST:: SOT 99916 SOS 65942 HAS SOPS 65206 HAS SOUS 41495 HAS SOUPS 40865 WITH SCORE 40930.942
AT ITER 822 NEW BEST:: SOT 99682 SOS 65550 HAS SOPS 64814 HAS SOUS 41249 HAS SOUPS 40619 WITH SCORE 40684.55
AT ITER 825 NEW BEST:: SOT 99556 SOS 65382 HAS SOPS 64646 HAS SOUS 41048 HAS SOUPS 40418 WITH SCORE 40483.382
AT ITER 828 NEW BEST:: SOT 99550 SOS 65376 HAS SOPS 64640 HAS SOUS 41042 HAS SOUPS 40412 WITH SCORE 40477.376
AT ITER 829 NEW BEST:: SOT 99544 SOS 65392 HAS SOPS 64656 HAS SOUS 41014 HAS SOUPS 40384 WITH SCORE 40449.392
AT ITER 831 NEW BEST:: SOT 99503 SOS 65415 HAS SOPS 64611 HAS SOUS 41037 HAS SOUPS 40339 WITH SCORE 40404.415
AT ITER 834 NEW BEST:: SOT 99495 SOS 65411 HAS SOPS 64607 HAS SOUS 41037 HAS SOUPS 40339 WITH SCORE 40404.411
AT ITER 837 NEW BEST:: SOT 99259 SOS 65185 HAS SOPS 64381 HAS SOUS 40803 HAS SOUPS 40105 WITH SCORE 40170.185
AT ITER 838 NEW BEST:: SOT 99279 SOS 65608 HAS SOPS 64914 HAS SOUS 40512 HAS SOUPS 39890 WITH SCORE 39955.608
AT ITER 843 NEW BEST:: SOT 99483 SOS 65812 HAS SOPS 65118 HAS SOUS 40190 HAS SOUPS 39568 WITH SCORE 39633.812
AT ITER 846 NEW BEST:: SOT 99455 SOS 65784 HAS SOPS 65090 HAS SOUS 40094 HAS SOUPS 39472 WITH SCORE 39537.784
AT ITER 851 NEW BEST:: SOT 99323 SOS 65483 HAS SOPS 64855 HAS SOUS 39793 HAS SOUPS 39237 WITH SCORE 39302.483
AT ITER 855 NEW BEST:: SOT 99144 SOS 65304 HAS SOPS 64676 HAS SOUS 39731 HAS SOUPS 39175 WITH SCORE 39240.304
AT ITER 865 NEW BEST:: SOT 99098 SOS 65166 HAS SOPS 64538 HAS SOUS 39593 HAS SOUPS 39037 WITH SCORE 39102.166
AT ITER 870 NEW BEST:: SOT 99115 SOS 65193 HAS SOPS 64565 HAS SOUS 39558 HAS SOUPS 39002 WITH SCORE 39067.193
AT ITER 873 NEW BEST:: SOT 99089 SOS 65167 HAS SOPS 64539 HAS SOUS 39558 HAS SOUPS 39002 WITH SCORE 39067.167
AT ITER 875 NEW BEST:: SOT 99156 SOS 65234 HAS SOPS 64606 HAS SOUS 39439 HAS SOUPS 38883 WITH SCORE 38948.234
AT ITER 876 NEW BEST:: SOT 98883 SOS 64435 HAS SOPS 63807 HAS SOUS 39186 HAS SOUPS 38630 WITH SCORE 38694.435
AT ITER 891 NEW BEST:: SOT 98851 SOS 64403 HAS SOPS 63775 HAS SOUS 39154 HAS SOUPS 38598 WITH SCORE 38662.403
AT ITER 892 NEW BEST:: SOT 98801 SOS 64353 HAS SOPS 63725 HAS SOUS 39130 HAS SOUPS 38574 WITH SCORE 38638.353
AT ITER 898 NEW BEST:: SOT 98801 SOS 64331 HAS SOPS 63703 HAS SOUS 39108 HAS SOUPS 38552 WITH SCORE 38616.331
AT ITER 899 NEW BEST:: SOT 98795 SOS 64281 HAS SOPS 63601 HAS SOUS 39110 HAS SOUPS 38502 WITH SCORE 38566.281
AT ITER 903 NEW BEST:: SOT 98267 SOS 63581 HAS SOPS 62901 HAS SOUS 38980 HAS SOUPS 38372 WITH SCORE 38435.581
AT ITER 918 NEW BEST:: SOT 98267 SOS 63581 HAS SOPS 62901 HAS SOUS 38952 HAS SOUPS 38344 WITH SCORE 38407.581
AT ITER 924 NEW BEST:: SOT 98309 SOS 63577 HAS SOPS 62789 HAS SOUS 38968 HAS SOUPS 38252 WITH SCORE 38315.577
AT ITER 926 NEW BEST:: SOT 98123 SOS 63391 HAS SOPS 62603 HAS SOUS 38782 HAS SOUPS 38066 WITH SCORE 38129.391
AT ITER 936 NEW BEST:: SOT 97982 SOS 63117 HAS SOPS 62375 HAS SOUS 38608 HAS SOUPS 37938 WITH SCORE 38001.117
AT ITER 939 NEW BEST:: SOT 97961 SOS 63096 HAS SOPS 62354 HAS SOUS 38587 HAS SOUPS 37917 WITH SCORE 37980.096
AT ITER 947 NEW BEST:: SOT 97645 SOS 63025 HAS SOPS 62283 HAS SOUS 38276 HAS SOUPS 37606 WITH SCORE 37669.025
AT ITER 949 NEW BEST:: SOT 97645 SOS 62739 HAS SOPS 61997 HAS SOUS 38220 HAS SOUPS 37550 WITH SCORE 37612.739
AT ITER 964 NEW BEST:: SOT 97382 SOS 62476 HAS SOPS 61734 HAS SOUS 37957 HAS SOUPS 37287 WITH SCORE 37349.476
AT ITER 987 NEW BEST:: SOT 97400 SOS 62416 HAS SOPS 61674 HAS SOUS 37952 HAS SOUPS 37282 WITH SCORE 37344.416
AT ITER 995 NEW BEST:: SOT 97369 SOS 62304 HAS SOPS 61562 HAS SOUS 37894 HAS SOUPS 37224 WITH SCORE 37286.304
AT ITER 998 NEW BEST:: SOT 97369 SOS 62297 HAS SOPS 61555 HAS SOUS 37894 HAS SOUPS 37224 WITH SCORE 37286.297
AT ITER 1006 NEW BEST:: SOT 97350 SOS 62278 HAS SOPS 61536 HAS SOUS 37894 HAS SOUPS 37224 WITH SCORE 37286.278
AT ITER 1012 NEW BEST:: SOT 97153 SOS 62240 HAS SOPS 61502 HAS SOUS 37741 HAS SOUPS 37075 WITH SCORE 37137.24
AT ITER 1016 NEW BEST:: SOT 97153 SOS 62240 HAS SOPS 61502 HAS SOUS 37739 HAS SOUPS 37073 WITH SCORE 37135.24
AT ITER 1031 NEW BEST:: SOT 97146 SOS 62233 HAS SOPS 61495 HAS SOUS 37739 HAS SOUPS 37073 WITH SCORE 37135.233
AT ITER 1034 NEW BEST:: SOT 97172 SOS 62234 HAS SOPS 61496 HAS SOUS 37712 HAS SOUPS 37046 WITH SCORE 37108.234
AT ITER 1035 NEW BEST:: SOT 96815 SOS 61877 HAS SOPS 61139 HAS SOUS 37395 HAS SOUPS 36729 WITH SCORE 36790.877
AT ITER 1038 NEW BEST:: SOT 96580 SOS 61788 HAS SOPS 61050 HAS SOUS 37280 HAS SOUPS 36614 WITH SCORE 36675.788
AT ITER 1040 NEW BEST:: SOT 96548 SOS 61802 HAS SOPS 61064 HAS SOUS 37221 HAS SOUPS 36555 WITH SCORE 36616.802
AT ITER 1042 NEW BEST:: SOT 96585 SOS 61780 HAS SOPS 61042 HAS SOUS 37199 HAS SOUPS 36533 WITH SCORE 36594.78
AT ITER 1062 NEW BEST:: SOT 96691 SOS 61598 HAS SOPS 60860 HAS SOUS 37107 HAS SOUPS 36441 WITH SCORE 36502.598
AT ITER 1065 NEW BEST:: SOT 96637 SOS 61572 HAS SOPS 60834 HAS SOUS 37024 HAS SOUPS 36358 WITH SCORE 36419.572
AT ITER 1068 NEW BEST:: SOT 96619 SOS 61572 HAS SOPS 60834 HAS SOUS 37006 HAS SOUPS 36340 WITH SCORE 36401.572
AT ITER 1072 NEW BEST:: SOT 96619 SOS 61572 HAS SOPS 60834 HAS SOUS 36862 HAS SOUPS 36196 WITH SCORE 36257.572
AT ITER 1075 NEW BEST:: SOT 96615 SOS 61568 HAS SOPS 60830 HAS SOUS 36820 HAS SOUPS 36154 WITH SCORE 36215.568
AT ITER 1076 NEW BEST:: SOT 96602 SOS 61555 HAS SOPS 60817 HAS SOUS 36787 HAS SOUPS 36121 WITH SCORE 36182.555
AT ITER 1079 NEW BEST:: SOT 96602 SOS 61555 HAS SOPS 60817 HAS SOUS 36783 HAS SOUPS 36117 WITH SCORE 36178.555
AT ITER 1080 NEW BEST:: SOT 96607 SOS 61505 HAS SOPS 60742 HAS SOUS 36738 HAS SOUPS 36047 WITH SCORE 36108.505
AT ITER 1081 NEW BEST:: SOT 96606 SOS 61502 HAS SOPS 60739 HAS SOUS 36738 HAS SOUPS 36047 WITH SCORE 36108.502
AT ITER 1089 NEW BEST:: SOT 96742 SOS 61602 HAS SOPS 60839 HAS SOUS 36687 HAS SOUPS 35996 WITH SCORE 36057.602
AT ITER 1096 NEW BEST:: SOT 96718 SOS 61578 HAS SOPS 60815 HAS SOUS 36663 HAS SOUPS 35972 WITH SCORE 36033.578
AT ITER 1106 NEW BEST:: SOT 96722 SOS 61427 HAS SOPS 60664 HAS SOUS 36649 HAS SOUPS 35958 WITH SCORE 36019.427
AT ITER 1114 NEW BEST:: SOT 96729 SOS 61436 HAS SOPS 60673 HAS SOUS 36591 HAS SOUPS 35900 WITH SCORE 35961.436
AT ITER 1129 NEW BEST:: SOT 96464 SOS 60601 HAS SOPS 59838 HAS SOUS 36548 HAS SOUPS 35857 WITH SCORE 35917.601
AT ITER 1133 NEW BEST:: SOT 96430 SOS 60794 HAS SOPS 60031 HAS SOUS 36450 HAS SOUPS 35759 WITH SCORE 35819.794
AT ITER 1145 NEW BEST:: SOT 96408 SOS 60722 HAS SOPS 59984 HAS SOUS 36378 HAS SOUPS 35712 WITH SCORE 35772.722
AT ITER 1151 NEW BEST:: SOT 96415 SOS 60906 HAS SOPS 59991 HAS SOUS 36395 HAS SOUPS 35619 WITH SCORE 35679.906
AT ITER 1153 NEW BEST:: SOT 96342 SOS 60771 HAS SOPS 59884 HAS SOUS 36322 HAS SOUPS 35574 WITH SCORE 35634.771
AT ITER 1188 NEW BEST:: SOT 96618 SOS 61111 HAS SOPS 60224 HAS SOUS 36316 HAS SOUPS 35568 WITH SCORE 35629.111
AT ITER 1190 NEW BEST:: SOT 96564 SOS 60939 HAS SOPS 60052 HAS SOUS 36309 HAS SOUPS 35561 WITH SCORE 35621.939
AT ITER 1202 NEW BEST:: SOT 96517 SOS 60608 HAS SOPS 59721 HAS SOUS 36260 HAS SOUPS 35512 WITH SCORE 35572.608
AT ITER 1208 NEW BEST:: SOT 96386 SOS 60723 HAS SOPS 59836 HAS SOUS 36202 HAS SOUPS 35454 WITH SCORE 35514.723
AT ITER 1222 NEW BEST:: SOT 96376 SOS 60703 HAS SOPS 59816 HAS SOUS 36192 HAS SOUPS 35444 WITH SCORE 35504.703
AT ITER 1225 NEW BEST:: SOT 96333 SOS 60660 HAS SOPS 59773 HAS SOUS 36180 HAS SOUPS 35432 WITH SCORE 35492.66
AT ITER 1227 NEW BEST:: SOT 96325 SOS 60651 HAS SOPS 59764 HAS SOUS 36161 HAS SOUPS 35413 WITH SCORE 35473.651
AT ITER 1231 NEW BEST:: SOT 96329 SOS 60605 HAS SOPS 59718 HAS SOUS 36146 HAS SOUPS 35398 WITH SCORE 35458.605
AT ITER 1232 NEW BEST:: SOT 96386 SOS 60206 HAS SOPS 59319 HAS SOUS 36037 HAS SOUPS 35289 WITH SCORE 35349.206
AT ITER 1239 NEW BEST:: SOT 96388 SOS 60204 HAS SOPS 59317 HAS SOUS 35981 HAS SOUPS 35233 WITH SCORE 35293.204
AT ITER 1243 NEW BEST:: SOT 96388 SOS 60202 HAS SOPS 59315 HAS SOUS 35975 HAS SOUPS 35227 WITH SCORE 35287.202
AT ITER 1250 NEW BEST:: SOT 96388 SOS 60194 HAS SOPS 59307 HAS SOUS 35975 HAS SOUPS 35227 WITH SCORE 35287.194
AT ITER 1257 NEW BEST:: SOT 96432 SOS 60238 HAS SOPS 59351 HAS SOUS 35972 HAS SOUPS 35224 WITH SCORE 35284.238
AT ITER 1271 NEW BEST:: SOT 96432 SOS 60049 HAS SOPS 59162 HAS SOUS 35880 HAS SOUPS 35132 WITH SCORE 35192.049
AT ITER 1273 NEW BEST:: SOT 96381 SOS 59998 HAS SOPS 59111 HAS SOUS 35880 HAS SOUPS 35132 WITH SCORE 35191.998
AT ITER 1280 NEW BEST:: SOT 96392 SOS 59985 HAS SOPS 59098 HAS SOUS 35861 HAS SOUPS 35113 WITH SCORE 35172.985
AT ITER 1287 NEW BEST:: SOT 96289 SOS 59941 HAS SOPS 58996 HAS SOUS 35910 HAS SOUPS 35104 WITH SCORE 35163.941
AT ITER 1313 NEW BEST:: SOT 96281 SOS 59940 HAS SOPS 58995 HAS SOUS 35889 HAS SOUPS 35083 WITH SCORE 35142.94
AT ITER 1314 NEW BEST:: SOT 96253 SOS 59878 HAS SOPS 58933 HAS SOUS 35877 HAS SOUPS 35071 WITH SCORE 35130.878
AT ITER 1348 NEW BEST:: SOT 96218 SOS 59552 HAS SOPS 58607 HAS SOUS 35595 HAS SOUPS 34789 WITH SCORE 34848.552
AT ITER 1353 NEW BEST:: SOT 96182 SOS 59516 HAS SOPS 58571 HAS SOUS 35495 HAS SOUPS 34689 WITH SCORE 34748.516
AT ITER 1360 NEW BEST:: SOT 96200 SOS 59534 HAS SOPS 58589 HAS SOUS 35477 HAS SOUPS 34671 WITH SCORE 34730.534
AT ITER 1364 NEW BEST:: SOT 96194 SOS 59516 HAS SOPS 58571 HAS SOUS 35477 HAS SOUPS 34671 WITH SCORE 34730.516
AT ITER 1374 NEW BEST:: SOT 96194 SOS 59664 HAS SOPS 58539 HAS SOUS 35586 HAS SOUPS 34656 WITH SCORE 34715.664
AT ITER 1377 NEW BEST:: SOT 96322 SOS 59681 HAS SOPS 58614 HAS SOUS 35515 HAS SOUPS 34643 WITH SCORE 34702.681
AT ITER 1382 NEW BEST:: SOT 96290 SOS 59713 HAS SOPS 58646 HAS SOUS 35483 HAS SOUPS 34611 WITH SCORE 34670.713
AT ITER 1391 NEW BEST:: SOT 96307 SOS 59730 HAS SOPS 58663 HAS SOUS 35414 HAS SOUPS 34542 WITH SCORE 34601.73
AT ITER 1396 NEW BEST:: SOT 96306 SOS 59728 HAS SOPS 58661 HAS SOUS 35414 HAS SOUPS 34542 WITH SCORE 34601.728
AT ITER 1403 NEW BEST:: SOT 96365 SOS 59825 HAS SOPS 58758 HAS SOUS 35385 HAS SOUPS 34513 WITH SCORE 34572.825
AT ITER 1409 NEW BEST:: SOT 96319 SOS 59427 HAS SOPS 58360 HAS SOUS 35357 HAS SOUPS 34485 WITH SCORE 34544.427
AT ITER 1410 NEW BEST:: SOT 96324 SOS 59407 HAS SOPS 58340 HAS SOUS 35347 HAS SOUPS 34475 WITH SCORE 34534.407
AT ITER 1417 NEW BEST:: SOT 96341 SOS 59434 HAS SOPS 58353 HAS SOUS 35346 HAS SOUPS 34460 WITH SCORE 34519.434
AT ITER 1426 NEW BEST:: SOT 96374 SOS 59477 HAS SOPS 58396 HAS SOUS 35251 HAS SOUPS 34365 WITH SCORE 34424.477
AT ITER 1428 NEW BEST:: SOT 96374 SOS 59449 HAS SOPS 58368 HAS SOUS 35229 HAS SOUPS 34343 WITH SCORE 34402.449
AT ITER 1430 NEW BEST:: SOT 96375 SOS 59359 HAS SOPS 58278 HAS SOUS 35181 HAS SOUPS 34295 WITH SCORE 34354.359
AT ITER 1453 NEW BEST:: SOT 96325 SOS 59309 HAS SOPS 58228 HAS SOUS 35059 HAS SOUPS 34173 WITH SCORE 34232.309
AT ITER 1456 NEW BEST:: SOT 96317 SOS 59262 HAS SOPS 57969 HAS SOUS 35042 HAS SOUPS 34045 WITH SCORE 34104.262
AT ITER 1472 NEW BEST:: SOT 96216 SOS 59161 HAS SOPS 57868 HAS SOUS 34971 HAS SOUPS 33974 WITH SCORE 34033.161
AT ITER 1475 NEW BEST:: SOT 96112 SOS 58973 HAS SOPS 57680 HAS SOUS 34855 HAS SOUPS 33858 WITH SCORE 33916.973
AT ITER 1481 NEW BEST:: SOT 96112 SOS 58973 HAS SOPS 57680 HAS SOUS 34815 HAS SOUPS 33818 WITH SCORE 33876.973
AT ITER 1485 NEW BEST:: SOT 96101 SOS 58962 HAS SOPS 57669 HAS SOUS 34804 HAS SOUPS 33807 WITH SCORE 33865.962
AT ITER 1489 NEW BEST:: SOT 96034 SOS 58895 HAS SOPS 57602 HAS SOUS 34698 HAS SOUPS 33701 WITH SCORE 33759.895
AT ITER 1494 NEW BEST:: SOT 96032 SOS 58893 HAS SOPS 57600 HAS SOUS 34696 HAS SOUPS 33699 WITH SCORE 33757.893
AT ITER 1503 NEW BEST:: SOT 96032 SOS 58872 HAS SOPS 57579 HAS SOUS 34675 HAS SOUPS 33678 WITH SCORE 33736.872
AT ITER 1517 NEW BEST:: SOT 95894 SOS 58829 HAS SOPS 57536 HAS SOUS 34544 HAS SOUPS 33547 WITH SCORE 33605.829
AT ITER 1535 NEW BEST:: SOT 95877 SOS 58812 HAS SOPS 57519 HAS SOUS 34512 HAS SOUPS 33515 WITH SCORE 33573.812
AT ITER 1540 NEW BEST:: SOT 96011 SOS 58728 HAS SOPS 57435 HAS SOUS 34498 HAS SOUPS 33501 WITH SCORE 33559.728
AT ITER 1543 NEW BEST:: SOT 95872 SOS 58690 HAS SOPS 57453 HAS SOUS 34230 HAS SOUPS 33233 WITH SCORE 33291.69
AT ITER 1546 NEW BEST:: SOT 95872 SOS 58690 HAS SOPS 57453 HAS SOUS 34124 HAS SOUPS 33127 WITH SCORE 33185.69
AT ITER 1549 NEW BEST:: SOT 95825 SOS 58643 HAS SOPS 57406 HAS SOUS 34077 HAS SOUPS 33080 WITH SCORE 33138.643
AT ITER 1551 NEW BEST:: SOT 95834 SOS 57727 HAS SOPS 56429 HAS SOUS 33889 HAS SOUPS 32892 WITH SCORE 32949.727
AT ITER 1557 NEW BEST:: SOT 95707 SOS 57661 HAS SOPS 56363 HAS SOUS 33831 HAS SOUPS 32834 WITH SCORE 32891.661
AT ITER 1558 NEW BEST:: SOT 95695 SOS 57649 HAS SOPS 56351 HAS SOUS 33831 HAS SOUPS 32834 WITH SCORE 32891.649
AT ITER 1562 NEW BEST:: SOT 95674 SOS 57628 HAS SOPS 56330 HAS SOUS 33810 HAS SOUPS 32813 WITH SCORE 32870.628
AT ITER 1574 NEW BEST:: SOT 95674 SOS 57632 HAS SOPS 56330 HAS SOUS 33809 HAS SOUPS 32811 WITH SCORE 32868.632
AT ITER 1577 NEW BEST:: SOT 95529 SOS 57487 HAS SOPS 56185 HAS SOUS 33710 HAS SOUPS 32712 WITH SCORE 32769.487
AT ITER 1579 NEW BEST:: SOT 95567 SOS 57435 HAS SOPS 56077 HAS SOUS 33703 HAS SOUPS 32705 WITH SCORE 32762.435
AT ITER 1584 NEW BEST:: SOT 95517 SOS 57371 HAS SOPS 56013 HAS SOUS 33581 HAS SOUPS 32583 WITH SCORE 32640.371
AT ITER 1588 NEW BEST:: SOT 95626 SOS 57480 HAS SOPS 56122 HAS SOUS 33562 HAS SOUPS 32564 WITH SCORE 32621.48
AT ITER 1589 NEW BEST:: SOT 95626 SOS 57480 HAS SOPS 56122 HAS SOUS 33532 HAS SOUPS 32534 WITH SCORE 32591.48
AT ITER 1593 NEW BEST:: SOT 95773 SOS 57690 HAS SOPS 56332 HAS SOUS 33512 HAS SOUPS 32514 WITH SCORE 32571.69
AT ITER 1609 NEW BEST:: SOT 95679 SOS 57680 HAS SOPS 56322 HAS SOUS 33512 HAS SOUPS 32514 WITH SCORE 32571.68
AT ITER 1633 NEW BEST:: SOT 95563 SOS 57536 HAS SOPS 56178 HAS SOUS 33460 HAS SOUPS 32462 WITH SCORE 32519.536
AT ITER 1634 NEW BEST:: SOT 95561 SOS 57534 HAS SOPS 56176 HAS SOUS 33458 HAS SOUPS 32460 WITH SCORE 32517.534
AT ITER 1643 NEW BEST:: SOT 95506 SOS 57685 HAS SOPS 56327 HAS SOUS 33426 HAS SOUPS 32428 WITH SCORE 32485.685
AT ITER 1647 NEW BEST:: SOT 95557 SOS 57687 HAS SOPS 56329 HAS SOUS 33396 HAS SOUPS 32398 WITH SCORE 32455.687
AT ITER 1655 NEW BEST:: SOT 95607 SOS 57725 HAS SOPS 56367 HAS SOUS 33350 HAS SOUPS 32352 WITH SCORE 32409.725
AT ITER 1658 NEW BEST:: SOT 95589 SOS 57707 HAS SOPS 56349 HAS SOUS 33328 HAS SOUPS 32330 WITH SCORE 32387.707
AT ITER 1661 NEW BEST:: SOT 95578 SOS 57685 HAS SOPS 56327 HAS SOUS 33328 HAS SOUPS 32330 WITH SCORE 32387.685
AT ITER 1663 NEW BEST:: SOT 95578 SOS 57701 HAS SOPS 56343 HAS SOUS 33321 HAS SOUPS 32323 WITH SCORE 32380.701
AT ITER 1677 NEW BEST:: SOT 95501 SOS 57586 HAS SOPS 56228 HAS SOUS 33225 HAS SOUPS 32227 WITH SCORE 32284.586
AT ITER 1686 NEW BEST:: SOT 95491 SOS 57576 HAS SOPS 56218 HAS SOUS 33215 HAS SOUPS 32217 WITH SCORE 32274.576
AT ITER 1690 NEW BEST:: SOT 95422 SOS 57445 HAS SOPS 56087 HAS SOUS 33153 HAS SOUPS 32155 WITH SCORE 32212.445
AT ITER 1694 NEW BEST:: SOT 95240 SOS 57263 HAS SOPS 55905 HAS SOUS 33119 HAS SOUPS 32121 WITH SCORE 32178.263
AT ITER 1695 NEW BEST:: SOT 95224 SOS 57218 HAS SOPS 55889 HAS SOUS 33092 HAS SOUPS 32102 WITH SCORE 32159.218
AT ITER 1697 NEW BEST:: SOT 95067 SOS 56947 HAS SOPS 55618 HAS SOUS 33063 HAS SOUPS 32073 WITH SCORE 32129.947
AT ITER 1710 NEW BEST:: SOT 95113 SOS 57083 HAS SOPS 55754 HAS SOUS 32961 HAS SOUPS 31971 WITH SCORE 32028.083
AT ITER 1724 NEW BEST:: SOT 95087 SOS 57057 HAS SOPS 55728 HAS SOUS 32947 HAS SOUPS 31957 WITH SCORE 32014.057
AT ITER 1732 NEW BEST:: SOT 95017 SOS 56780 HAS SOPS 55451 HAS SOUS 32877 HAS SOUPS 31887 WITH SCORE 31943.78
AT ITER 1747 NEW BEST:: SOT 94820 SOS 56545 HAS SOPS 55216 HAS SOUS 32593 HAS SOUPS 31603 WITH SCORE 31659.545
AT ITER 1753 NEW BEST:: SOT 94790 SOS 56524 HAS SOPS 55135 HAS SOUS 32542 HAS SOUPS 31522 WITH SCORE 31578.524
AT ITER 1755 NEW BEST:: SOT 94751 SOS 56088 HAS SOPS 54699 HAS SOUS 32534 HAS SOUPS 31514 WITH SCORE 31570.088
AT ITER 1758 NEW BEST:: SOT 94773 SOS 56032 HAS SOPS 54630 HAS SOUS 32517 HAS SOUPS 31497 WITH SCORE 31553.032
AT ITER 1774 NEW BEST:: SOT 94760 SOS 56302 HAS SOPS 54900 HAS SOUS 32516 HAS SOUPS 31496 WITH SCORE 31552.302
AT ITER 1784 NEW BEST:: SOT 94722 SOS 56109 HAS SOPS 54671 HAS SOUS 32381 HAS SOUPS 31325 WITH SCORE 31381.109
AT ITER 1791 NEW BEST:: SOT 94143 SOS 55907 HAS SOPS 54474 HAS SOUS 31970 HAS SOUPS 30914 WITH SCORE 30969.907
AT ITER 1793 NEW BEST:: SOT 94095 SOS 55859 HAS SOPS 54426 HAS SOUS 31922 HAS SOUPS 30866 WITH SCORE 30921.859
AT ITER 1797 NEW BEST:: SOT 94262 SOS 55722 HAS SOPS 54289 HAS SOUS 31916 HAS SOUPS 30860 WITH SCORE 30915.722
AT ITER 1806 NEW BEST:: SOT 94262 SOS 55763 HAS SOPS 54245 HAS SOUS 31897 HAS SOUPS 30819 WITH SCORE 30874.763
AT ITER 1810 NEW BEST:: SOT 94359 SOS 56018 HAS SOPS 54335 HAS SOUS 31920 HAS SOUPS 30677 WITH SCORE 30733.018
AT ITER 1812 NEW BEST:: SOT 94351 SOS 56014 HAS SOPS 54331 HAS SOUS 31917 HAS SOUPS 30674 WITH SCORE 30730.014
AT ITER 1817 NEW BEST:: SOT 94351 SOS 55975 HAS SOPS 54279 HAS SOUS 31904 HAS SOUPS 30648 WITH SCORE 30703.975
AT ITER 1825 NEW BEST:: SOT 94377 SOS 56001 HAS SOPS 54305 HAS SOUS 31795 HAS SOUPS 30539 WITH SCORE 30595.001
AT ITER 1830 NEW BEST:: SOT 94367 SOS 55991 HAS SOPS 54295 HAS SOUS 31785 HAS SOUPS 30529 WITH SCORE 30584.991
AT ITER 1845 NEW BEST:: SOT 94385 SOS 56009 HAS SOPS 54313 HAS SOUS 31779 HAS SOUPS 30523 WITH SCORE 30579.009
AT ITER 1847 NEW BEST:: SOT 94252 SOS 55876 HAS SOPS 54180 HAS SOUS 31646 HAS SOUPS 30390 WITH SCORE 30445.876
AT ITER 1869 NEW BEST:: SOT 94215 SOS 55964 HAS SOPS 53890 HAS SOUS 31632 HAS SOUPS 30233 WITH SCORE 30288.964
AT ITER 1872 NEW BEST:: SOT 94182 SOS 55931 HAS SOPS 53857 HAS SOUS 31577 HAS SOUPS 30178 WITH SCORE 30233.931
AT ITER 1875 NEW BEST:: SOT 94182 SOS 55931 HAS SOPS 53857 HAS SOUS 31521 HAS SOUPS 30122 WITH SCORE 30177.931
AT ITER 1883 NEW BEST:: SOT 94162 SOS 55911 HAS SOPS 53837 HAS SOUS 31501 HAS SOUPS 30102 WITH SCORE 30157.911
AT ITER 1890 NEW BEST:: SOT 94142 SOS 55891 HAS SOPS 53817 HAS SOUS 31481 HAS SOUPS 30082 WITH SCORE 30137.891
AT ITER 1916 NEW BEST:: SOT 94132 SOS 55881 HAS SOPS 53807 HAS SOUS 31471 HAS SOUPS 30072 WITH SCORE 30127.881
AT ITER 1925 NEW BEST:: SOT 94182 SOS 55941 HAS SOPS 53867 HAS SOUS 31455 HAS SOUPS 30056 WITH SCORE 30111.941
AT ITER 1931 NEW BEST:: SOT 94239 SOS 55782 HAS SOPS 53708 HAS SOUS 31409 HAS SOUPS 30010 WITH SCORE 30065.782
AT ITER 1933 NEW BEST:: SOT 94233 SOS 55776 HAS SOPS 53702 HAS SOUS 31406 HAS SOUPS 30007 WITH SCORE 30062.776
AT ITER 1938 NEW BEST:: SOT 94023 SOS 55696 HAS SOPS 53622 HAS SOUS 31406 HAS SOUPS 30007 WITH SCORE 30062.696
AT ITER 1945 NEW BEST:: SOT 94023 SOS 55453 HAS SOPS 53379 HAS SOUS 31406 HAS SOUPS 30007 WITH SCORE 30062.453
AT ITER 1961 NEW BEST:: SOT 93996 SOS 55426 HAS SOPS 53352 HAS SOUS 31379 HAS SOUPS 29980 WITH SCORE 30035.426
AT ITER 1970 NEW BEST:: SOT 93866 SOS 55296 HAS SOPS 53222 HAS SOUS 31355 HAS SOUPS 29956 WITH SCORE 30011.296
AT ITER 1976 NEW BEST:: SOT 93822 SOS 55112 HAS SOPS 53038 HAS SOUS 31281 HAS SOUPS 29882 WITH SCORE 29937.112
AT ITER 1979 NEW BEST:: SOT 93822 SOS 54835 HAS SOPS 52761 HAS SOUS 31280 HAS SOUPS 29881 WITH SCORE 29935.835
AT ITER 1980 NEW BEST:: SOT 93820 SOS 54843 HAS SOPS 52769 HAS SOUS 31276 HAS SOUPS 29877 WITH SCORE 29931.843
AT ITER 1984 NEW BEST:: SOT 93778 SOS 54801 HAS SOPS 52727 HAS SOUS 31139 HAS SOUPS 29740 WITH SCORE 29794.801
AT ITER 1985 NEW BEST:: SOT 93742 SOS 54752 HAS SOPS 52678 HAS SOUS 31115 HAS SOUPS 29716 WITH SCORE 29770.752
AT ITER 1986 NEW BEST:: SOT 93697 SOS 54707 HAS SOPS 52633 HAS SOUS 31070 HAS SOUPS 29671 WITH SCORE 29725.707
AT ITER 1992 NEW BEST:: SOT 93697 SOS 54707 HAS SOPS 52633 HAS SOUS 31036 HAS SOUPS 29637 WITH SCORE 29691.707
AT ITER 2001 NEW BEST:: SOT 93680 SOS 54690 HAS SOPS 52616 HAS SOUS 31028 HAS SOUPS 29629 WITH SCORE 29683.69
AT ITER 2006 NEW BEST:: SOT 93611 SOS 54413 HAS SOPS 52339 HAS SOUS 30982 HAS SOUPS 29583 WITH SCORE 29637.413
AT ITER 2009 NEW BEST:: SOT 93605 SOS 54392 HAS SOPS 52318 HAS SOUS 30973 HAS SOUPS 29574 WITH SCORE 29628.392
AT ITER 2010 NEW BEST:: SOT 93588 SOS 54375 HAS SOPS 52301 HAS SOUS 30939 HAS SOUPS 29540 WITH SCORE 29594.375
AT ITER 2030 NEW BEST:: SOT 93576 SOS 54325 HAS SOPS 52251 HAS SOUS 30933 HAS SOUPS 29534 WITH SCORE 29588.325
AT ITER 2050 NEW BEST:: SOT 93576 SOS 54273 HAS SOPS 52199 HAS SOUS 30933 HAS SOUPS 29534 WITH SCORE 29588.273
AT ITER 2051 NEW BEST:: SOT 93569 SOS 54209 HAS SOPS 52135 HAS SOUS 30926 HAS SOUPS 29527 WITH SCORE 29581.209
AT ITER 2059 NEW BEST:: SOT 93512 SOS 54150 HAS SOPS 52076 HAS SOUS 30869 HAS SOUPS 29470 WITH SCORE 29524.15
AT ITER 2069 NEW BEST:: SOT 93464 SOS 54076 HAS SOPS 51976 HAS SOUS 30769 HAS SOUPS 29370 WITH SCORE 29424.076
AT ITER 2084 NEW BEST:: SOT 93464 SOS 54069 HAS SOPS 51969 HAS SOUS 30744 HAS SOUPS 29345 WITH SCORE 29399.069
AT ITER 2103 NEW BEST:: SOT 93428 SOS 53997 HAS SOPS 51897 HAS SOUS 30690 HAS SOUPS 29291 WITH SCORE 29344.997
AT ITER 2111 NEW BEST:: SOT 93420 SOS 53686 HAS SOPS 51586 HAS SOUS 30639 HAS SOUPS 29240 WITH SCORE 29293.686
AT ITER 2112 NEW BEST:: SOT 93366 SOS 53490 HAS SOPS 51532 HAS SOUS 30549 HAS SOUPS 29191 WITH SCORE 29244.49
AT ITER 2119 NEW BEST:: SOT 93334 SOS 53442 HAS SOPS 51484 HAS SOUS 30517 HAS SOUPS 29159 WITH SCORE 29212.442
AT ITER 2120 NEW BEST:: SOT 93296 SOS 53404 HAS SOPS 51446 HAS SOUS 30480 HAS SOUPS 29122 WITH SCORE 29175.404
AT ITER 2144 NEW BEST:: SOT 93284 SOS 53441 HAS SOPS 51483 HAS SOUS 30470 HAS SOUPS 29112 WITH SCORE 29165.441
AT ITER 2158 NEW BEST:: SOT 93247 SOS 52517 HAS SOPS 50433 HAS SOUS 30535 HAS SOUPS 29112 WITH SCORE 29164.517
AT ITER 2159 NEW BEST:: SOT 93289 SOS 52559 HAS SOPS 50475 HAS SOUS 30507 HAS SOUPS 29084 WITH SCORE 29136.559
AT ITER 2210 NEW BEST:: SOT 93289 SOS 52379 HAS SOPS 50295 HAS SOUS 30471 HAS SOUPS 29048 WITH SCORE 29100.379
AT ITER 2214 NEW BEST:: SOT 93289 SOS 52331 HAS SOPS 50247 HAS SOUS 30471 HAS SOUPS 29048 WITH SCORE 29100.331
AT ITER 2217 NEW BEST:: SOT 93293 SOS 52323 HAS SOPS 50239 HAS SOUS 30471 HAS SOUPS 29048 WITH SCORE 29100.323
AT ITER 2218 NEW BEST:: SOT 93287 SOS 52317 HAS SOPS 50233 HAS SOUS 30465 HAS SOUPS 29042 WITH SCORE 29094.317
AT ITER 2228 NEW BEST:: SOT 93284 SOS 52314 HAS SOPS 50230 HAS SOUS 30462 HAS SOUPS 29039 WITH SCORE 29091.314
AT ITER 2231 NEW BEST:: SOT 93284 SOS 52314 HAS SOPS 50192 HAS SOUS 30428 HAS SOUPS 28986 WITH SCORE 29038.314
AT ITER 2235 NEW BEST:: SOT 93241 SOS 52318 HAS SOPS 50196 HAS SOUS 30392 HAS SOUPS 28950 WITH SCORE 29002.318
AT ITER 2241 NEW BEST:: SOT 93241 SOS 52283 HAS SOPS 50161 HAS SOUS 30392 HAS SOUPS 28950 WITH SCORE 29002.283
AT ITER 2249 NEW BEST:: SOT 93205 SOS 52247 HAS SOPS 50125 HAS SOUS 30356 HAS SOUPS 28914 WITH SCORE 28966.247
AT ITER 2260 NEW BEST:: SOT 93205 SOS 52218 HAS SOPS 50096 HAS SOUS 30327 HAS SOUPS 28885 WITH SCORE 28937.218
AT ITER 2261 NEW BEST:: SOT 93191 SOS 52204 HAS SOPS 50082 HAS SOUS 30299 HAS SOUPS 28857 WITH SCORE 28909.204
AT ITER 2263 NEW BEST:: SOT 93111 SOS 52124 HAS SOPS 50002 HAS SOUS 30244 HAS SOUPS 28802 WITH SCORE 28854.124
AT ITER 2288 NEW BEST:: SOT 93123 SOS 52119 HAS SOPS 49997 HAS SOUS 30239 HAS SOUPS 28797 WITH SCORE 28849.119
AT ITER 2323 NEW BEST:: SOT 93051 SOS 52286 HAS SOPS 50210 HAS SOUS 30201 HAS SOUPS 28773 WITH SCORE 28825.286
AT ITER 2324 NEW BEST:: SOT 93079 SOS 52088 HAS SOPS 49951 HAS SOUS 30213 HAS SOUPS 28724 WITH SCORE 28776.088
AT ITER 2341 NEW BEST:: SOT 93051 SOS 52060 HAS SOPS 49923 HAS SOUS 30185 HAS SOUPS 28696 WITH SCORE 28748.06
AT ITER 2350 NEW BEST:: SOT 93051 SOS 52190 HAS SOPS 50053 HAS SOUS 30130 HAS SOUPS 28641 WITH SCORE 28693.19
AT ITER 2351 NEW BEST:: SOT 93027 SOS 52166 HAS SOPS 50029 HAS SOUS 30102 HAS SOUPS 28613 WITH SCORE 28665.166
AT ITER 2366 NEW BEST:: SOT 93024 SOS 52163 HAS SOPS 50026 HAS SOUS 30101 HAS SOUPS 28612 WITH SCORE 28664.163
AT ITER 2369 NEW BEST:: SOT 93024 SOS 52163 HAS SOPS 50026 HAS SOUS 30057 HAS SOUPS 28568 WITH SCORE 28620.163
AT ITER 2403 NEW BEST:: SOT 93004 SOS 52085 HAS SOPS 49948 HAS SOUS 30019 HAS SOUPS 28530 WITH SCORE 28582.085
AT ITER 2422 NEW BEST:: SOT 92999 SOS 52079 HAS SOPS 49942 HAS SOUS 30013 HAS SOUPS 28524 WITH SCORE 28576.079
AT ITER 2425 NEW BEST:: SOT 93066 SOS 52146 HAS SOPS 50009 HAS SOUS 29946 HAS SOUPS 28457 WITH SCORE 28509.146
AT ITER 2427 NEW BEST:: SOT 92977 SOS 52001 HAS SOPS 49864 HAS SOUS 29821 HAS SOUPS 28332 WITH SCORE 28384.001
AT ITER 2459 NEW BEST:: SOT 92926 SOS 51950 HAS SOPS 49813 HAS SOUS 29770 HAS SOUPS 28281 WITH SCORE 28332.95
AT ITER 2471 NEW BEST:: SOT 92843 SOS 51984 HAS SOPS 49867 HAS SOUS 29713 HAS SOUPS 28244 WITH SCORE 28295.984
AT ITER 2479 NEW BEST:: SOT 92789 SOS 51930 HAS SOPS 49813 HAS SOUS 29695 HAS SOUPS 28226 WITH SCORE 28277.93
AT ITER 2487 NEW BEST:: SOT 92878 SOS 52066 HAS SOPS 49949 HAS SOUS 29663 HAS SOUPS 28194 WITH SCORE 28246.066
AT ITER 2498 NEW BEST:: SOT 92869 SOS 52057 HAS SOPS 49940 HAS SOUS 29636 HAS SOUPS 28167 WITH SCORE 28219.057
AT ITER 2517 NEW BEST:: SOT 92826 SOS 52014 HAS SOPS 49897 HAS SOUS 29609 HAS SOUPS 28140 WITH SCORE 28192.014
AT ITER 2521 NEW BEST:: SOT 92810 SOS 52110 HAS SOPS 49993 HAS SOUS 29577 HAS SOUPS 28108 WITH SCORE 28160.11
AT ITER 2527 NEW BEST:: SOT 92680 SOS 51980 HAS SOPS 49863 HAS SOUS 29447 HAS SOUPS 27978 WITH SCORE 28029.98
AT ITER 2555 NEW BEST:: SOT 92659 SOS 51908 HAS SOPS 49754 HAS SOUS 29459 HAS SOUPS 27953 WITH SCORE 28004.908
AT ITER 2558 NEW BEST:: SOT 92523 SOS 51772 HAS SOPS 49618 HAS SOUS 29447 HAS SOUPS 27941 WITH SCORE 27992.772
AT ITER 2572 NEW BEST:: SOT 92519 SOS 51687 HAS SOPS 49533 HAS SOUS 29414 HAS SOUPS 27908 WITH SCORE 27959.687
AT ITER 2573 NEW BEST:: SOT 92519 SOS 51257 HAS SOPS 49103 HAS SOUS 29414 HAS SOUPS 27908 WITH SCORE 27959.257
AT ITER 2612 NEW BEST:: SOT 92487 SOS 51222 HAS SOPS 49068 HAS SOUS 29363 HAS SOUPS 27857 WITH SCORE 27908.222
AT ITER 2616 NEW BEST:: SOT 92572 SOS 51205 HAS SOPS 49051 HAS SOUS 29244 HAS SOUPS 27738 WITH SCORE 27789.205
AT ITER 2630 NEW BEST:: SOT 92568 SOS 51201 HAS SOPS 49047 HAS SOUS 29244 HAS SOUPS 27738 WITH SCORE 27789.201
AT ITER 2644 NEW BEST:: SOT 92586 SOS 51159 HAS SOPS 49005 HAS SOUS 29208 HAS SOUPS 27702 WITH SCORE 27753.159
AT ITER 2656 NEW BEST:: SOT 92526 SOS 51103 HAS SOPS 48949 HAS SOUS 29172 HAS SOUPS 27666 WITH SCORE 27717.103
AT ITER 2665 NEW BEST:: SOT 92537 SOS 51114 HAS SOPS 48960 HAS SOUS 29161 HAS SOUPS 27655 WITH SCORE 27706.114
AT ITER 2666 NEW BEST:: SOT 92510 SOS 51087 HAS SOPS 48933 HAS SOUS 29126 HAS SOUPS 27620 WITH SCORE 27671.087
AT ITER 2668 NEW BEST:: SOT 92495 SOS 51072 HAS SOPS 48918 HAS SOUS 29026 HAS SOUPS 27520 WITH SCORE 27571.072
AT ITER 2679 NEW BEST:: SOT 92383 SOS 50936 HAS SOPS 48782 HAS SOUS 28858 HAS SOUPS 27352 WITH SCORE 27402.936
AT ITER 2681 NEW BEST:: SOT 92382 SOS 50935 HAS SOPS 48781 HAS SOUS 28857 HAS SOUPS 27351 WITH SCORE 27401.935
AT ITER 2692 NEW BEST:: SOT 92382 SOS 50934 HAS SOPS 48780 HAS SOUS 28855 HAS SOUPS 27349 WITH SCORE 27399.934
AT ITER 2698 NEW BEST:: SOT 92377 SOS 50934 HAS SOPS 48780 HAS SOUS 28845 HAS SOUPS 27339 WITH SCORE 27389.934
AT ITER 2704 NEW BEST:: SOT 92327 SOS 50884 HAS SOPS 48730 HAS SOUS 28743 HAS SOUPS 27237 WITH SCORE 27287.884
AT ITER 2716 NEW BEST:: SOT 92425 SOS 50801 HAS SOPS 48642 HAS SOUS 28728 HAS SOUPS 27222 WITH SCORE 27272.801
AT ITER 2725 NEW BEST:: SOT 92425 SOS 50777 HAS SOPS 48618 HAS SOUS 28668 HAS SOUPS 27162 WITH SCORE 27212.777
AT ITER 2727 NEW BEST:: SOT 92415 SOS 50767 HAS SOPS 48608 HAS SOUS 28654 HAS SOUPS 27148 WITH SCORE 27198.767
AT ITER 2734 NEW BEST:: SOT 92366 SOS 50680 HAS SOPS 48521 HAS SOUS 28638 HAS SOUPS 27132 WITH SCORE 27182.68
AT ITER 2745 NEW BEST:: SOT 92244 SOS 50558 HAS SOPS 48399 HAS SOUS 28638 HAS SOUPS 27132 WITH SCORE 27182.558
AT ITER 2749 NEW BEST:: SOT 92216 SOS 50526 HAS SOPS 48367 HAS SOUS 28606 HAS SOUPS 27100 WITH SCORE 27150.526
AT ITER 2752 NEW BEST:: SOT 92150 SOS 50460 HAS SOPS 48301 HAS SOUS 28446 HAS SOUPS 26940 WITH SCORE 26990.46
AT ITER 2770 NEW BEST:: SOT 92150 SOS 50441 HAS SOPS 48282 HAS SOUS 28436 HAS SOUPS 26930 WITH SCORE 26980.441
AT ITER 2778 NEW BEST:: SOT 92134 SOS 50257 HAS SOPS 48098 HAS SOUS 28375 HAS SOUPS 26869 WITH SCORE 26919.257
AT ITER 2797 NEW BEST:: SOT 92133 SOS 50228 HAS SOPS 48069 HAS SOUS 28363 HAS SOUPS 26857 WITH SCORE 26907.228
AT ITER 2806 NEW BEST:: SOT 92188 SOS 50283 HAS SOPS 48124 HAS SOUS 28350 HAS SOUPS 26844 WITH SCORE 26894.283
AT ITER 2809 NEW BEST:: SOT 92267 SOS 50380 HAS SOPS 48221 HAS SOUS 28271 HAS SOUPS 26765 WITH SCORE 26815.38
AT ITER 2811 NEW BEST:: SOT 92267 SOS 50251 HAS SOPS 48218 HAS SOUS 28197 HAS SOUPS 26756 WITH SCORE 26806.251
AT ITER 2815 NEW BEST:: SOT 92363 SOS 50007 HAS SOPS 47974 HAS SOUS 28195 HAS SOUPS 26754 WITH SCORE 26804.007
AT ITER 2827 NEW BEST:: SOT 92305 SOS 49955 HAS SOPS 47928 HAS SOUS 28143 HAS SOUPS 26708 WITH SCORE 26757.955
AT ITER 2840 NEW BEST:: SOT 92276 SOS 49926 HAS SOPS 47899 HAS SOUS 28114 HAS SOUPS 26679 WITH SCORE 26728.926
AT ITER 2843 NEW BEST:: SOT 92334 SOS 49917 HAS SOPS 47890 HAS SOUS 28094 HAS SOUPS 26659 WITH SCORE 26708.917
AT ITER 2845 NEW BEST:: SOT 92330 SOS 49911 HAS SOPS 47888 HAS SOUS 28090 HAS SOUPS 26657 WITH SCORE 26706.911
AT ITER 2849 NEW BEST:: SOT 92303 SOS 49871 HAS SOPS 47848 HAS SOUS 28060 HAS SOUPS 26627 WITH SCORE 26676.871
AT ITER 2855 NEW BEST:: SOT 92371 SOS 49888 HAS SOPS 47865 HAS SOUS 28038 HAS SOUPS 26605 WITH SCORE 26654.888
AT ITER 2858 NEW BEST:: SOT 92218 SOS 49753 HAS SOPS 47730 HAS SOUS 28029 HAS SOUPS 26596 WITH SCORE 26645.753
AT ITER 2888 NEW BEST:: SOT 92209 SOS 49744 HAS SOPS 47721 HAS SOUS 28020 HAS SOUPS 26587 WITH SCORE 26636.744
AT ITER 2893 NEW BEST:: SOT 92139 SOS 49674 HAS SOPS 47651 HAS SOUS 27976 HAS SOUPS 26543 WITH SCORE 26592.674
AT ITER 2913 NEW BEST:: SOT 92123 SOS 49428 HAS SOPS 47405 HAS SOUS 27970 HAS SOUPS 26537 WITH SCORE 26586.428
AT ITER 2943 NEW BEST:: SOT 92097 SOS 49402 HAS SOPS 47379 HAS SOUS 27964 HAS SOUPS 26531 WITH SCORE 26580.402
AT ITER 2948 NEW BEST:: SOT 92081 SOS 49404 HAS SOPS 47381 HAS SOUS 27957 HAS SOUPS 26524 WITH SCORE 26573.404
AT ITER 2959 NEW BEST:: SOT 92081 SOS 49423 HAS SOPS 47400 HAS SOUS 27943 HAS SOUPS 26510 WITH SCORE 26559.423
AT ITER 2975 NEW BEST:: SOT 92060 SOS 49402 HAS SOPS 47379 HAS SOUS 27922 HAS SOUPS 26489 WITH SCORE 26538.402
AT ITER 2981 NEW BEST:: SOT 92050 SOS 49358 HAS SOPS 47335 HAS SOUS 27881 HAS SOUPS 26448 WITH SCORE 26497.358
AT ITER 2992 NEW BEST:: SOT 92050 SOS 49358 HAS SOPS 47335 HAS SOUS 27871 HAS SOUPS 26438 WITH SCORE 26487.358
AT ITER 2995 NEW BEST:: SOT 92049 SOS 49357 HAS SOPS 47334 HAS SOUS 27869 HAS SOUPS 26436 WITH SCORE 26485.357
AT ITER 3003 NEW BEST:: SOT 92043 SOS 49351 HAS SOPS 47328 HAS SOUS 27851 HAS SOUPS 26418 WITH SCORE 26467.351
AT ITER 3016 NEW BEST:: SOT 92043 SOS 49555 HAS SOPS 47532 HAS SOUS 27831 HAS SOUPS 26398 WITH SCORE 26447.555
AT ITER 3030 NEW BEST:: SOT 92030 SOS 49542 HAS SOPS 47519 HAS SOUS 27818 HAS SOUPS 26385 WITH SCORE 26434.542
AT ITER 3042 NEW BEST:: SOT 92030 SOS 49420 HAS SOPS 47397 HAS SOUS 27818 HAS SOUPS 26385 WITH SCORE 26434.42
AT ITER 3049 NEW BEST:: SOT 92068 SOS 49143 HAS SOPS 47120 HAS SOUS 27712 HAS SOUPS 26279 WITH SCORE 26328.143
AT ITER 3096 NEW BEST:: SOT 92059 SOS 49037 HAS SOPS 47014 HAS SOUS 27694 HAS SOUPS 26261 WITH SCORE 26310.037
AT ITER 3099 NEW BEST:: SOT 92050 SOS 49028 HAS SOPS 47005 HAS SOUS 27680 HAS SOUPS 26247 WITH SCORE 26296.028
AT ITER 3103 NEW BEST:: SOT 92040 SOS 49018 HAS SOPS 46995 HAS SOUS 27650 HAS SOUPS 26217 WITH SCORE 26266.018
AT ITER 3123 NEW BEST:: SOT 92025 SOS 48928 HAS SOPS 46875 HAS SOUS 27620 HAS SOUPS 26172 WITH SCORE 26220.928
AT ITER 3147 NEW BEST:: SOT 91945 SOS 48848 HAS SOPS 46795 HAS SOUS 27567 HAS SOUPS 26119 WITH SCORE 26167.848
AT ITER 3152 NEW BEST:: SOT 91849 SOS 48762 HAS SOPS 46709 HAS SOUS 27548 HAS SOUPS 26100 WITH SCORE 26148.762
AT ITER 3161 NEW BEST:: SOT 91829 SOS 48491 HAS SOPS 46432 HAS SOUS 27525 HAS SOUPS 26074 WITH SCORE 26122.491
AT ITER 3169 NEW BEST:: SOT 91834 SOS 48496 HAS SOPS 46437 HAS SOUS 27458 HAS SOUPS 26007 WITH SCORE 26055.496
AT ITER 3187 NEW BEST:: SOT 91709 SOS 48420 HAS SOPS 46380 HAS SOUS 27261 HAS SOUPS 25829 WITH SCORE 25877.42
AT ITER 3216 NEW BEST:: SOT 91706 SOS 48396 HAS SOPS 46356 HAS SOUS 27258 HAS SOUPS 25826 WITH SCORE 25874.396
AT ITER 3226 NEW BEST:: SOT 91459 SOS 48114 HAS SOPS 46074 HAS SOUS 27127 HAS SOUPS 25695 WITH SCORE 25743.114
AT ITER 3240 NEW BEST:: SOT 91469 SOS 48295 HAS SOPS 46045 HAS SOUS 27156 HAS SOUPS 25666 WITH SCORE 25714.295
AT ITER 3244 NEW BEST:: SOT 91403 SOS 47885 HAS SOPS 45635 HAS SOUS 27102 HAS SOUPS 25612 WITH SCORE 25659.885
AT ITER 3246 NEW BEST:: SOT 91405 SOS 47810 HAS SOPS 45560 HAS SOUS 27082 HAS SOUPS 25592 WITH SCORE 25639.81
AT ITER 3252 NEW BEST:: SOT 91411 SOS 47792 HAS SOPS 45542 HAS SOUS 27064 HAS SOUPS 25574 WITH SCORE 25621.792
AT ITER 3253 NEW BEST:: SOT 91411 SOS 47792 HAS SOPS 45542 HAS SOUS 27034 HAS SOUPS 25544 WITH SCORE 25591.792
AT ITER 3256 NEW BEST:: SOT 91411 SOS 47790 HAS SOPS 45540 HAS SOUS 27032 HAS SOUPS 25542 WITH SCORE 25589.79
AT ITER 3260 NEW BEST:: SOT 91326 SOS 47632 HAS SOPS 45382 HAS SOUS 26874 HAS SOUPS 25384 WITH SCORE 25431.632
AT ITER 3263 NEW BEST:: SOT 91299 SOS 47605 HAS SOPS 45355 HAS SOUS 26847 HAS SOUPS 25357 WITH SCORE 25404.605
AT ITER 3271 NEW BEST:: SOT 91288 SOS 47578 HAS SOPS 45328 HAS SOUS 26820 HAS SOUPS 25330 WITH SCORE 25377.578
AT ITER 3274 NEW BEST:: SOT 91073 SOS 47363 HAS SOPS 45113 HAS SOUS 26651 HAS SOUPS 25161 WITH SCORE 25208.363
AT ITER 3277 NEW BEST:: SOT 91080 SOS 47335 HAS SOPS 45085 HAS SOUS 26644 HAS SOUPS 25154 WITH SCORE 25201.335
AT ITER 3304 NEW BEST:: SOT 91080 SOS 47335 HAS SOPS 45085 HAS SOUS 26636 HAS SOUPS 25146 WITH SCORE 25193.335
AT ITER 3312 NEW BEST:: SOT 91080 SOS 47234 HAS SOPS 44984 HAS SOUS 26599 HAS SOUPS 25109 WITH SCORE 25156.234
AT ITER 3320 NEW BEST:: SOT 91056 SOS 47258 HAS SOPS 45020 HAS SOUS 26571 HAS SOUPS 25093 WITH SCORE 25140.258
AT ITER 3340 NEW BEST:: SOT 91036 SOS 47261 HAS SOPS 45023 HAS SOUS 26563 HAS SOUPS 25085 WITH SCORE 25132.261
AT ITER 3362 NEW BEST:: SOT 91052 SOS 47277 HAS SOPS 45039 HAS SOUS 26533 HAS SOUPS 25055 WITH SCORE 25102.277
AT ITER 3365 NEW BEST:: SOT 91044 SOS 47269 HAS SOPS 45031 HAS SOUS 26533 HAS SOUPS 25055 WITH SCORE 25102.269
AT ITER 3366 NEW BEST:: SOT 91045 SOS 47258 HAS SOPS 45020 HAS SOUS 26528 HAS SOUPS 25050 WITH SCORE 25097.258
AT ITER 3373 NEW BEST:: SOT 91051 SOS 47249 HAS SOPS 45011 HAS SOUS 26528 HAS SOUPS 25050 WITH SCORE 25097.249
AT ITER 3408 NEW BEST:: SOT 90953 SOS 47151 HAS SOPS 44913 HAS SOUS 26430 HAS SOUPS 24952 WITH SCORE 24999.151
AT ITER 3456 NEW BEST:: SOT 90852 SOS 47104 HAS SOPS 44866 HAS SOUS 26363 HAS SOUPS 24885 WITH SCORE 24932.104
AT ITER 3458 NEW BEST:: SOT 90821 SOS 47063 HAS SOPS 44825 HAS SOUS 26342 HAS SOUPS 24864 WITH SCORE 24911.063
AT ITER 3461 NEW BEST:: SOT 90805 SOS 46990 HAS SOPS 44752 HAS SOUS 26242 HAS SOUPS 24764 WITH SCORE 24810.99
AT ITER 3473 NEW BEST:: SOT 90824 SOS 46943 HAS SOPS 44705 HAS SOUS 26242 HAS SOUPS 24764 WITH SCORE 24810.943
AT ITER 3488 NEW BEST:: SOT 90830 SOS 46977 HAS SOPS 44739 HAS SOUS 26220 HAS SOUPS 24742 WITH SCORE 24788.977
AT ITER 3489 NEW BEST:: SOT 90829 SOS 46961 HAS SOPS 44718 HAS SOUS 26224 HAS SOUPS 24741 WITH SCORE 24787.961
AT ITER 3498 NEW BEST:: SOT 90829 SOS 46963 HAS SOPS 44720 HAS SOUS 26207 HAS SOUPS 24724 WITH SCORE 24770.963
AT ITER 3505 NEW BEST:: SOT 90829 SOS 46956 HAS SOPS 44699 HAS SOUS 26207 HAS SOUPS 24717 WITH SCORE 24763.956
AT ITER 3512 NEW BEST:: SOT 90829 SOS 46836 HAS SOPS 44579 HAS SOUS 26207 HAS SOUPS 24717 WITH SCORE 24763.836
AT ITER 3526 NEW BEST:: SOT 90821 SOS 46828 HAS SOPS 44571 HAS SOUS 26199 HAS SOUPS 24709 WITH SCORE 24755.828
AT ITER 3530 NEW BEST:: SOT 90833 SOS 46866 HAS SOPS 44573 HAS SOUS 26213 HAS SOUPS 24705 WITH SCORE 24751.866
AT ITER 3545 NEW BEST:: SOT 90833 SOS 46838 HAS SOPS 44541 HAS SOUS 26209 HAS SOUPS 24701 WITH SCORE 24747.838
AT ITER 3585 NEW BEST:: SOT 90806 SOS 46811 HAS SOPS 44514 HAS SOUS 26182 HAS SOUPS 24674 WITH SCORE 24720.811
AT ITER 3594 NEW BEST:: SOT 90806 SOS 46776 HAS SOPS 44479 HAS SOUS 26160 HAS SOUPS 24652 WITH SCORE 24698.776
AT ITER 3595 NEW BEST:: SOT 90833 SOS 46779 HAS SOPS 44458 HAS SOUS 26178 HAS SOUPS 24646 WITH SCORE 24692.779
AT ITER 3602 NEW BEST:: SOT 90825 SOS 46771 HAS SOPS 44450 HAS SOUS 26165 HAS SOUPS 24633 WITH SCORE 24679.771
AT ITER 3609 NEW BEST:: SOT 90752 SOS 46679 HAS SOPS 44344 HAS SOUS 26119 HAS SOUPS 24573 WITH SCORE 24619.679
AT ITER 3616 NEW BEST:: SOT 90752 SOS 46675 HAS SOPS 44340 HAS SOUS 26115 HAS SOUPS 24569 WITH SCORE 24615.675
AT ITER 3642 NEW BEST:: SOT 90705 SOS 46575 HAS SOPS 44240 HAS SOUS 26091 HAS SOUPS 24545 WITH SCORE 24591.575
AT ITER 3653 NEW BEST:: SOT 90701 SOS 46558 HAS SOPS 44223 HAS SOUS 26061 HAS SOUPS 24515 WITH SCORE 24561.558
AT ITER 3669 NEW BEST:: SOT 90701 SOS 46628 HAS SOPS 44223 HAS SOUS 26066 HAS SOUPS 24485 WITH SCORE 24531.628
AT ITER 3679 NEW BEST:: SOT 90607 SOS 46503 HAS SOPS 44098 HAS SOUS 26035 HAS SOUPS 24454 WITH SCORE 24500.503
AT ITER 3685 NEW BEST:: SOT 90588 SOS 46484 HAS SOPS 44079 HAS SOUS 25956 HAS SOUPS 24375 WITH SCORE 24421.484
AT ITER 3695 NEW BEST:: SOT 90532 SOS 46556 HAS SOPS 44023 HAS SOUS 25973 HAS SOUPS 24328 WITH SCORE 24374.556
AT ITER 3711 NEW BEST:: SOT 90536 SOS 46560 HAS SOPS 44027 HAS SOUS 25943 HAS SOUPS 24298 WITH SCORE 24344.56
AT ITER 3738 NEW BEST:: SOT 90492 SOS 46516 HAS SOPS 43983 HAS SOUS 25899 HAS SOUPS 24254 WITH SCORE 24300.516
AT ITER 3769 NEW BEST:: SOT 90496 SOS 46520 HAS SOPS 43987 HAS SOUS 25891 HAS SOUPS 24246 WITH SCORE 24292.52
AT ITER 3819 NEW BEST:: SOT 90492 SOS 46516 HAS SOPS 43983 HAS SOUS 25883 HAS SOUPS 24238 WITH SCORE 24284.516
AT ITER 3826 NEW BEST:: SOT 90492 SOS 46428 HAS SOPS 43895 HAS SOUS 25883 HAS SOUPS 24238 WITH SCORE 24284.428
AT ITER 3845 NEW BEST:: SOT 90470 SOS 46428 HAS SOPS 43895 HAS SOUS 25861 HAS SOUPS 24216 WITH SCORE 24262.428
AT ITER 3849 NEW BEST:: SOT 90462 SOS 46420 HAS SOPS 43887 HAS SOUS 25853 HAS SOUPS 24208 WITH SCORE 24254.42
AT ITER 3856 NEW BEST:: SOT 90462 SOS 46420 HAS SOPS 43887 HAS SOUS 25850 HAS SOUPS 24205 WITH SCORE 24251.42
AT ITER 3861 NEW BEST:: SOT 90462 SOS 46399 HAS SOPS 43866 HAS SOUS 25829 HAS SOUPS 24184 WITH SCORE 24230.399
AT ITER 3865 NEW BEST:: SOT 90448 SOS 46385 HAS SOPS 43852 HAS SOUS 25815 HAS SOUPS 24170 WITH SCORE 24216.385
AT ITER 3880 NEW BEST:: SOT 90444 SOS 46347 HAS SOPS 43814 HAS SOUS 25811 HAS SOUPS 24166 WITH SCORE 24212.347
AT ITER 3881 NEW BEST:: SOT 90436 SOS 46339 HAS SOPS 43806 HAS SOUS 25803 HAS SOUPS 24158 WITH SCORE 24204.339
AT ITER 3895 NEW BEST:: SOT 90422 SOS 46325 HAS SOPS 43792 HAS SOUS 25789 HAS SOUPS 24144 WITH SCORE 24190.325
AT ITER 3908 NEW BEST:: SOT 90416 SOS 46319 HAS SOPS 43801 HAS SOUS 25741 HAS SOUPS 24111 WITH SCORE 24157.319
AT ITER 3911 NEW BEST:: SOT 90418 SOS 46321 HAS SOPS 43803 HAS SOUS 25732 HAS SOUPS 24102 WITH SCORE 24148.321
AT ITER 3951 NEW BEST:: SOT 90403 SOS 46276 HAS SOPS 43758 HAS SOUS 25732 HAS SOUPS 24102 WITH SCORE 24148.276
AT ITER 3969 NEW BEST:: SOT 90393 SOS 46266 HAS SOPS 43748 HAS SOUS 25724 HAS SOUPS 24094 WITH SCORE 24140.266
AT ITER 3973 NEW BEST:: SOT 90386 SOS 46237 HAS SOPS 43721 HAS SOUS 25696 HAS SOUPS 24067 WITH SCORE 24113.237
AT ITER 3977 NEW BEST:: SOT 90306 SOS 46144 HAS SOPS 43628 HAS SOUS 25648 HAS SOUPS 24019 WITH SCORE 24065.144
AT ITER 3979 NEW BEST:: SOT 90306 SOS 45998 HAS SOPS 43444 HAS SOUS 25664 HAS SOUPS 24008 WITH SCORE 24053.998
AT ITER 3984 NEW BEST:: SOT 90321 SOS 45975 HAS SOPS 43421 HAS SOUS 25662 HAS SOUPS 24006 WITH SCORE 24051.975
AT ITER 4017 NEW BEST:: SOT 90321 SOS 45975 HAS SOPS 43421 HAS SOUS 25656 HAS SOUPS 24000 WITH SCORE 24045.975
AT ITER 4026 NEW BEST:: SOT 90283 SOS 45815 HAS SOPS 43426 HAS SOUS 25611 HAS SOUPS 23998 WITH SCORE 24043.815
AT ITER 4036 NEW BEST:: SOT 90190 SOS 45662 HAS SOPS 43273 HAS SOUS 25579 HAS SOUPS 23966 WITH SCORE 24011.662
AT ITER 4061 NEW BEST:: SOT 90177 SOS 45649 HAS SOPS 43260 HAS SOUS 25554 HAS SOUPS 23941 WITH SCORE 23986.649
AT ITER 4117 NEW BEST:: SOT 90156 SOS 45568 HAS SOPS 43179 HAS SOUS 25494 HAS SOUPS 23881 WITH SCORE 23926.568
AT ITER 4123 NEW BEST:: SOT 90156 SOS 45568 HAS SOPS 43179 HAS SOUS 25492 HAS SOUPS 23879 WITH SCORE 23924.568
AT ITER 4129 NEW BEST:: SOT 90126 SOS 45568 HAS SOPS 43149 HAS SOUS 25492 HAS SOUPS 23849 WITH SCORE 23894.568
AT ITER 4133 NEW BEST:: SOT 90116 SOS 45562 HAS SOPS 43143 HAS SOUS 25484 HAS SOUPS 23841 WITH SCORE 23886.562
AT ITER 4154 NEW BEST:: SOT 90126 SOS 45515 HAS SOPS 43096 HAS SOUS 25481 HAS SOUPS 23838 WITH SCORE 23883.515
AT ITER 4166 NEW BEST:: SOT 90096 SOS 45485 HAS SOPS 43066 HAS SOUS 25451 HAS SOUPS 23808 WITH SCORE 23853.485
AT ITER 4176 NEW BEST:: SOT 90096 SOS 45465 HAS SOPS 43046 HAS SOUS 25451 HAS SOUPS 23808 WITH SCORE 23853.465
AT ITER 4208 NEW BEST:: SOT 90118 SOS 45463 HAS SOPS 43044 HAS SOUS 25449 HAS SOUPS 23806 WITH SCORE 23851.463
AT ITER 4213 NEW BEST:: SOT 90111 SOS 45473 HAS SOPS 43087 HAS SOUS 25436 HAS SOUPS 23793 WITH SCORE 23838.473
AT ITER 4222 NEW BEST:: SOT 90111 SOS 45419 HAS SOPS 43015 HAS SOUS 25420 HAS SOUPS 23775 WITH SCORE 23820.419
AT ITER 4237 NEW BEST:: SOT 90139 SOS 45493 HAS SOPS 43089 HAS SOUS 25396 HAS SOUPS 23751 WITH SCORE 23796.493
AT ITER 4245 NEW BEST:: SOT 90131 SOS 45492 HAS SOPS 43088 HAS SOUS 25394 HAS SOUPS 23749 WITH SCORE 23794.492
AT ITER 4251 NEW BEST:: SOT 90099 SOS 45460 HAS SOPS 43056 HAS SOUS 25390 HAS SOUPS 23745 WITH SCORE 23790.46
AT ITER 4289 NEW BEST:: SOT 90099 SOS 45306 HAS SOPS 42902 HAS SOUS 25379 HAS SOUPS 23734 WITH SCORE 23779.306
AT ITER 4294 NEW BEST:: SOT 90096 SOS 45303 HAS SOPS 42899 HAS SOUS 25378 HAS SOUPS 23733 WITH SCORE 23778.303
AT ITER 4323 NEW BEST:: SOT 90095 SOS 45302 HAS SOPS 42898 HAS SOUS 25378 HAS SOUPS 23733 WITH SCORE 23778.302
AT ITER 4324 NEW BEST:: SOT 90091 SOS 45072 HAS SOPS 42668 HAS SOUS 25316 HAS SOUPS 23671 WITH SCORE 23716.072
AT ITER 4348 NEW BEST:: SOT 90117 SOS 45046 HAS SOPS 42642 HAS SOUS 25316 HAS SOUPS 23671 WITH SCORE 23716.046
AT ITER 4353 NEW BEST:: SOT 90023 SOS 44858 HAS SOPS 42454 HAS SOUS 25251 HAS SOUPS 23606 WITH SCORE 23650.858
AT ITER 4358 NEW BEST:: SOT 90008 SOS 44831 HAS SOPS 42427 HAS SOUS 25232 HAS SOUPS 23587 WITH SCORE 23631.831
AT ITER 4366 NEW BEST:: SOT 90008 SOS 44859 HAS SOPS 42427 HAS SOUS 25238 HAS SOUPS 23565 WITH SCORE 23609.859
AT ITER 4371 NEW BEST:: SOT 90008 SOS 44859 HAS SOPS 42427 HAS SOUS 25236 HAS SOUPS 23563 WITH SCORE 23607.859
AT ITER 4373 NEW BEST:: SOT 90010 SOS 44852 HAS SOPS 42420 HAS SOUS 25178 HAS SOUPS 23505 WITH SCORE 23549.852
AT ITER 4387 NEW BEST:: SOT 89977 SOS 44790 HAS SOPS 42358 HAS SOUS 25174 HAS SOUPS 23501 WITH SCORE 23545.79
AT ITER 4390 NEW BEST:: SOT 89984 SOS 44797 HAS SOPS 42365 HAS SOUS 25092 HAS SOUPS 23419 WITH SCORE 23463.797
AT ITER 4398 NEW BEST:: SOT 89971 SOS 44784 HAS SOPS 42352 HAS SOUS 25053 HAS SOUPS 23380 WITH SCORE 23424.784
AT ITER 4404 NEW BEST:: SOT 89971 SOS 44848 HAS SOPS 42416 HAS SOUS 25042 HAS SOUPS 23369 WITH SCORE 23413.848
AT ITER 4428 NEW BEST:: SOT 89982 SOS 44826 HAS SOPS 42394 HAS SOUS 25036 HAS SOUPS 23363 WITH SCORE 23407.826
AT ITER 4443 NEW BEST:: SOT 89976 SOS 44820 HAS SOPS 42388 HAS SOUS 25026 HAS SOUPS 23353 WITH SCORE 23397.82
AT ITER 4447 NEW BEST:: SOT 89936 SOS 44763 HAS SOPS 42331 HAS SOUS 24973 HAS SOUPS 23300 WITH SCORE 23344.763
AT ITER 4487 NEW BEST:: SOT 89933 SOS 44750 HAS SOPS 42318 HAS SOUS 24970 HAS SOUPS 23297 WITH SCORE 23341.75
AT ITER 4496 NEW BEST:: SOT 89849 SOS 44666 HAS SOPS 42234 HAS SOUS 24946 HAS SOUPS 23273 WITH SCORE 23317.666
AT ITER 4503 NEW BEST:: SOT 89717 SOS 44534 HAS SOPS 42102 HAS SOUS 24863 HAS SOUPS 23190 WITH SCORE 23234.534
AT ITER 4511 NEW BEST:: SOT 89691 SOS 44508 HAS SOPS 42076 HAS SOUS 24857 HAS SOUPS 23184 WITH SCORE 23228.508
AT ITER 4536 NEW BEST:: SOT 89671 SOS 44482 HAS SOPS 42051 HAS SOUS 24831 HAS SOUPS 23159 WITH SCORE 23203.482
AT ITER 4547 NEW BEST:: SOT 89665 SOS 44476 HAS SOPS 42045 HAS SOUS 24825 HAS SOUPS 23153 WITH SCORE 23197.476
AT ITER 4572 NEW BEST:: SOT 89623 SOS 44370 HAS SOPS 41939 HAS SOUS 24823 HAS SOUPS 23151 WITH SCORE 23195.37
AT ITER 4577 NEW BEST:: SOT 89577 SOS 44340 HAS SOPS 41909 HAS SOUS 24733 HAS SOUPS 23061 WITH SCORE 23105.34
AT ITER 4593 NEW BEST:: SOT 89510 SOS 44193 HAS SOPS 41762 HAS SOUS 24706 HAS SOUPS 23034 WITH SCORE 23078.193
AT ITER 4600 NEW BEST:: SOT 89425 SOS 43949 HAS SOPS 41518 HAS SOUS 24579 HAS SOUPS 22907 WITH SCORE 22950.949
AT ITER 4604 NEW BEST:: SOT 89425 SOS 43949 HAS SOPS 41518 HAS SOUS 24559 HAS SOUPS 22887 WITH SCORE 22930.949
AT ITER 4606 NEW BEST:: SOT 89425 SOS 43948 HAS SOPS 41517 HAS SOUS 24558 HAS SOUPS 22886 WITH SCORE 22929.948
AT ITER 4629 NEW BEST:: SOT 89440 SOS 43933 HAS SOPS 41502 HAS SOUS 24528 HAS SOUPS 22856 WITH SCORE 22899.933
AT ITER 4640 NEW BEST:: SOT 89438 SOS 43931 HAS SOPS 41500 HAS SOUS 24528 HAS SOUPS 22856 WITH SCORE 22899.931
AT ITER 4644 NEW BEST:: SOT 89434 SOS 43927 HAS SOPS 41496 HAS SOUS 24524 HAS SOUPS 22852 WITH SCORE 22895.927
AT ITER 4650 NEW BEST:: SOT 89413 SOS 43906 HAS SOPS 41475 HAS SOUS 24503 HAS SOUPS 22831 WITH SCORE 22874.906
AT ITER 4669 NEW BEST:: SOT 89387 SOS 43880 HAS SOPS 41449 HAS SOUS 24464 HAS SOUPS 22792 WITH SCORE 22835.88
AT ITER 4681 NEW BEST:: SOT 89380 SOS 43869 HAS SOPS 41438 HAS SOUS 24456 HAS SOUPS 22784 WITH SCORE 22827.869
AT ITER 4687 NEW BEST:: SOT 89380 SOS 43869 HAS SOPS 41438 HAS SOUS 24440 HAS SOUPS 22768 WITH SCORE 22811.869
AT ITER 4711 NEW BEST:: SOT 89352 SOS 43495 HAS SOPS 41020 HAS SOUS 24463 HAS SOUPS 22747 WITH SCORE 22790.495
AT ITER 4723 NEW BEST:: SOT 89352 SOS 43495 HAS SOPS 41020 HAS SOUS 24441 HAS SOUPS 22725 WITH SCORE 22768.495
AT ITER 4809 NEW BEST:: SOT 89319 SOS 43302 HAS SOPS 40827 HAS SOUS 24403 HAS SOUPS 22687 WITH SCORE 22730.302
AT ITER 4817 NEW BEST:: SOT 89319 SOS 43108 HAS SOPS 40633 HAS SOUS 24403 HAS SOUPS 22687 WITH SCORE 22730.108
AT ITER 4820 NEW BEST:: SOT 89311 SOS 43076 HAS SOPS 40593 HAS SOUS 24379 HAS SOUPS 22663 WITH SCORE 22706.076
AT ITER 4828 NEW BEST:: SOT 89303 SOS 43068 HAS SOPS 40585 HAS SOUS 24371 HAS SOUPS 22655 WITH SCORE 22698.068
AT ITER 4841 NEW BEST:: SOT 89293 SOS 43043 HAS SOPS 40565 HAS SOUS 24351 HAS SOUPS 22640 WITH SCORE 22683.043
AT ITER 4849 NEW BEST:: SOT 89209 SOS 42959 HAS SOPS 40481 HAS SOUS 24267 HAS SOUPS 22556 WITH SCORE 22598.959
AT ITER 4850 NEW BEST:: SOT 89103 SOS 42687 HAS SOPS 40145 HAS SOUS 24183 HAS SOUPS 22415 WITH SCORE 22457.687
AT ITER 4852 NEW BEST:: SOT 89103 SOS 42687 HAS SOPS 40145 HAS SOUS 24159 HAS SOUPS 22391 WITH SCORE 22433.687
AT ITER 4866 NEW BEST:: SOT 89098 SOS 42702 HAS SOPS 40160 HAS SOUS 24154 HAS SOUPS 22386 WITH SCORE 22428.702
AT ITER 4869 NEW BEST:: SOT 89072 SOS 42637 HAS SOPS 40082 HAS SOUS 24102 HAS SOUPS 22334 WITH SCORE 22376.637
AT ITER 4870 NEW BEST:: SOT 89072 SOS 42630 HAS SOPS 40075 HAS SOUS 24095 HAS SOUPS 22327 WITH SCORE 22369.63
AT ITER 4892 NEW BEST:: SOT 88861 SOS 42390 HAS SOPS 39835 HAS SOUS 23834 HAS SOUPS 22066 WITH SCORE 22108.39
AT ITER 4894 NEW BEST:: SOT 88801 SOS 42330 HAS SOPS 39775 HAS SOUS 23774 HAS SOUPS 22006 WITH SCORE 22048.33
AT ITER 4900 NEW BEST:: SOT 88801 SOS 42306 HAS SOPS 39725 HAS SOUS 23774 HAS SOUPS 22006 WITH SCORE 22048.306
AT ITER 4906 NEW BEST:: SOT 88801 SOS 42298 HAS SOPS 39717 HAS SOUS 23774 HAS SOUPS 22006 WITH SCORE 22048.298
AT ITER 4916 NEW BEST:: SOT 88809 SOS 42306 HAS SOPS 39725 HAS SOUS 23766 HAS SOUPS 21998 WITH SCORE 22040.306
AT ITER 4944 NEW BEST:: SOT 88832 SOS 42300 HAS SOPS 39719 HAS SOUS 23762 HAS SOUPS 21994 WITH SCORE 22036.3
AT ITER 4949 NEW BEST:: SOT 88816 SOS 42284 HAS SOPS 39703 HAS SOUS 23746 HAS SOUPS 21978 WITH SCORE 22020.284
AT ITER 4955 NEW BEST:: SOT 88814 SOS 42287 HAS SOPS 39701 HAS SOUS 23749 HAS SOUPS 21976 WITH SCORE 22018.287
AT ITER 4957 NEW BEST:: SOT 88756 SOS 42168 HAS SOPS 39582 HAS SOUS 23691 HAS SOUPS 21918 WITH SCORE 21960.168
AT ITER 4970 NEW BEST:: SOT 88756 SOS 42094 HAS SOPS 39508 HAS SOUS 23657 HAS SOUPS 21884 WITH SCORE 21926.094
AT ITER 4980 NEW BEST:: SOT 88754 SOS 42092 HAS SOPS 39506 HAS SOUS 23655 HAS SOUPS 21882 WITH SCORE 21924.092
AT ITER 5019 NEW BEST:: SOT 88755 SOS 42105 HAS SOPS 39507 HAS SOUS 23656 HAS SOUPS 21871 WITH SCORE 21913.105
AT ITER 5032 NEW BEST:: SOT 88745 SOS 42095 HAS SOPS 39497 HAS SOUS 23637 HAS SOUPS 21852 WITH SCORE 21894.095
AT ITER 5042 NEW BEST:: SOT 88712 SOS 42046 HAS SOPS 39448 HAS SOUS 23582 HAS SOUPS 21797 WITH SCORE 21839.046
AT ITER 5063 NEW BEST:: SOT 88712 SOS 41638 HAS SOPS 39040 HAS SOUS 23534 HAS SOUPS 21749 WITH SCORE 21790.638
AT ITER 5073 NEW BEST:: SOT 88811 SOS 41176 HAS SOPS 38578 HAS SOUS 23460 HAS SOUPS 21675 WITH SCORE 21716.176
AT ITER 5076 NEW BEST:: SOT 88825 SOS 41148 HAS SOPS 38550 HAS SOUS 23460 HAS SOUPS 21675 WITH SCORE 21716.148
AT ITER 5086 NEW BEST:: SOT 88880 SOS 41267 HAS SOPS 38683 HAS SOUS 23445 HAS SOUPS 21674 WITH SCORE 21715.267
AT ITER 5106 NEW BEST:: SOT 88880 SOS 41267 HAS SOPS 38683 HAS SOUS 23443 HAS SOUPS 21672 WITH SCORE 21713.267
AT ITER 5109 NEW BEST:: SOT 88853 SOS 41267 HAS SOPS 38683 HAS SOUS 23416 HAS SOUPS 21645 WITH SCORE 21686.267
AT ITER 5113 NEW BEST:: SOT 88837 SOS 41221 HAS SOPS 38667 HAS SOUS 23370 HAS SOUPS 21629 WITH SCORE 21670.221
AT ITER 5146 NEW BEST:: SOT 88802 SOS 41196 HAS SOPS 38652 HAS SOUS 23345 HAS SOUPS 21614 WITH SCORE 21655.196
AT ITER 5185 NEW BEST:: SOT 88852 SOS 41228 HAS SOPS 38684 HAS SOUS 23333 HAS SOUPS 21602 WITH SCORE 21643.228
AT ITER 5199 NEW BEST:: SOT 88841 SOS 41206 HAS SOPS 38662 HAS SOUS 23300 HAS SOUPS 21569 WITH SCORE 21610.206
AT ITER 5216 NEW BEST:: SOT 88735 SOS 41100 HAS SOPS 38556 HAS SOUS 23244 HAS SOUPS 21513 WITH SCORE 21554.1
AT ITER 5235 NEW BEST:: SOT 88720 SOS 41085 HAS SOPS 38541 HAS SOUS 23229 HAS SOUPS 21498 WITH SCORE 21539.085
AT ITER 5238 NEW BEST:: SOT 88688 SOS 40973 HAS SOPS 38378 HAS SOUS 23184 HAS SOUPS 21421 WITH SCORE 21461.973
AT ITER 5246 NEW BEST:: SOT 88681 SOS 40980 HAS SOPS 38385 HAS SOUS 23170 HAS SOUPS 21407 WITH SCORE 21447.98
AT ITER 5300 NEW BEST:: SOT 88681 SOS 40990 HAS SOPS 38395 HAS SOUS 23164 HAS SOUPS 21401 WITH SCORE 21441.99
AT ITER 5306 NEW BEST:: SOT 88659 SOS 41003 HAS SOPS 38408 HAS SOUS 23154 HAS SOUPS 21391 WITH SCORE 21432.003
AT ITER 5314 NEW BEST:: SOT 88658 SOS 41002 HAS SOPS 38407 HAS SOUS 23153 HAS SOUPS 21390 WITH SCORE 21431.002
AT ITER 5320 NEW BEST:: SOT 88695 SOS 40494 HAS SOPS 37899 HAS SOUS 23123 HAS SOUPS 21360 WITH SCORE 21400.494
AT ITER 5346 NEW BEST:: SOT 88691 SOS 40494 HAS SOPS 37899 HAS SOUS 23121 HAS SOUPS 21358 WITH SCORE 21398.494
AT ITER 5359 NEW BEST:: SOT 88683 SOS 40486 HAS SOPS 37889 HAS SOUS 23111 HAS SOUPS 21348 WITH SCORE 21388.486
AT ITER 5371 NEW BEST:: SOT 88739 SOS 40287 HAS SOPS 37604 HAS SOUS 23183 HAS SOUPS 21334 WITH SCORE 21374.287
AT ITER 5407 NEW BEST:: SOT 88753 SOS 40279 HAS SOPS 37596 HAS SOUS 23178 HAS SOUPS 21329 WITH SCORE 21369.279
AT ITER 5429 NEW BEST:: SOT 88738 SOS 40286 HAS SOPS 37569 HAS SOUS 23172 HAS SOUPS 21302 WITH SCORE 21342.286
AT ITER 5431 NEW BEST:: SOT 88724 SOS 40272 HAS SOPS 37555 HAS SOUS 23152 HAS SOUPS 21282 WITH SCORE 21322.272
AT ITER 5438 NEW BEST:: SOT 88708 SOS 40240 HAS SOPS 37523 HAS SOUS 23144 HAS SOUPS 21274 WITH SCORE 21314.24
AT ITER 5453 NEW BEST:: SOT 88639 SOS 40171 HAS SOPS 37454 HAS SOUS 23142 HAS SOUPS 21272 WITH SCORE 21312.171
AT ITER 5457 NEW BEST:: SOT 88632 SOS 40168 HAS SOPS 37451 HAS SOUS 23135 HAS SOUPS 21265 WITH SCORE 21305.168
AT ITER 5465 NEW BEST:: SOT 88592 SOS 40128 HAS SOPS 37411 HAS SOUS 23095 HAS SOUPS 21225 WITH SCORE 21265.128
AT ITER 5468 NEW BEST:: SOT 88596 SOS 40120 HAS SOPS 37399 HAS SOUS 23095 HAS SOUPS 21221 WITH SCORE 21261.12
AT ITER 5476 NEW BEST:: SOT 88552 SOS 40076 HAS SOPS 37355 HAS SOUS 23051 HAS SOUPS 21177 WITH SCORE 21217.076
AT ITER 5480 NEW BEST:: SOT 88537 SOS 40061 HAS SOPS 37340 HAS SOUS 23029 HAS SOUPS 21155 WITH SCORE 21195.061
AT ITER 5507 NEW BEST:: SOT 88533 SOS 40057 HAS SOPS 37336 HAS SOUS 23027 HAS SOUPS 21153 WITH SCORE 21193.057
AT ITER 5544 NEW BEST:: SOT 88450 SOS 39968 HAS SOPS 37247 HAS SOUS 22980 HAS SOUPS 21106 WITH SCORE 21145.968
AT ITER 5560 NEW BEST:: SOT 88444 SOS 39962 HAS SOPS 37241 HAS SOUS 22974 HAS SOUPS 21100 WITH SCORE 21139.962
AT ITER 5563 NEW BEST:: SOT 88426 SOS 39925 HAS SOPS 37242 HAS SOUS 22936 HAS SOUPS 21078 WITH SCORE 21117.925
AT ITER 5582 NEW BEST:: SOT 88426 SOS 39925 HAS SOPS 37242 HAS SOUS 22920 HAS SOUPS 21062 WITH SCORE 21101.925
AT ITER 5661 NEW BEST:: SOT 88419 SOS 39864 HAS SOPS 37167 HAS SOUS 22889 HAS SOUPS 21017 WITH SCORE 21056.864
AT ITER 5674 NEW BEST:: SOT 88374 SOS 39753 HAS SOPS 37034 HAS SOUS 22866 HAS SOUPS 20994 WITH SCORE 21033.753
AT ITER 5695 NEW BEST:: SOT 88368 SOS 39741 HAS SOPS 37022 HAS SOUS 22854 HAS SOUPS 20982 WITH SCORE 21021.741
AT ITER 5700 NEW BEST:: SOT 88344 SOS 39717 HAS SOPS 36998 HAS SOUS 22854 HAS SOUPS 20982 WITH SCORE 21021.717
AT ITER 5723 NEW BEST:: SOT 88344 SOS 39694 HAS SOPS 36975 HAS SOUS 22854 HAS SOUPS 20982 WITH SCORE 21021.694
AT ITER 5728 NEW BEST:: SOT 88336 SOS 39686 HAS SOPS 36967 HAS SOUS 22842 HAS SOUPS 20970 WITH SCORE 21009.686
AT ITER 5756 NEW BEST:: SOT 88336 SOS 39650 HAS SOPS 36931 HAS SOUS 22806 HAS SOUPS 20934 WITH SCORE 20973.65
AT ITER 5812 NEW BEST:: SOT 88351 SOS 39646 HAS SOPS 36927 HAS SOUS 22800 HAS SOUPS 20928 WITH SCORE 20967.646
AT ITER 5819 NEW BEST:: SOT 88356 SOS 39653 HAS SOPS 36934 HAS SOUS 22797 HAS SOUPS 20925 WITH SCORE 20964.653
AT ITER 5836 NEW BEST:: SOT 88354 SOS 39651 HAS SOPS 36932 HAS SOUS 22795 HAS SOUPS 20923 WITH SCORE 20962.651
AT ITER 5862 NEW BEST:: SOT 88311 SOS 39666 HAS SOPS 36947 HAS SOUS 22752 HAS SOUPS 20880 WITH SCORE 20919.666
AT ITER 5869 NEW BEST:: SOT 88337 SOS 39664 HAS SOPS 36945 HAS SOUS 22692 HAS SOUPS 20820 WITH SCORE 20859.664
AT ITER 5871 NEW BEST:: SOT 88270 SOS 39597 HAS SOPS 36878 HAS SOUS 22663 HAS SOUPS 20791 WITH SCORE 20830.597
AT ITER 5923 NEW BEST:: SOT 88241 SOS 39514 HAS SOPS 36795 HAS SOUS 22618 HAS SOUPS 20746 WITH SCORE 20785.514
AT ITER 5931 NEW BEST:: SOT 88296 SOS 39440 HAS SOPS 36721 HAS SOUS 22613 HAS SOUPS 20741 WITH SCORE 20780.44
AT ITER 5955 NEW BEST:: SOT 88285 SOS 39429 HAS SOPS 36710 HAS SOUS 22582 HAS SOUPS 20710 WITH SCORE 20749.429
AT ITER 6013 NEW BEST:: SOT 88285 SOS 39402 HAS SOPS 36682 HAS SOUS 22577 HAS SOUPS 20705 WITH SCORE 20744.402
AT ITER 6014 NEW BEST:: SOT 88350 SOS 39470 HAS SOPS 36750 HAS SOUS 22524 HAS SOUPS 20652 WITH SCORE 20691.47
AT ITER 6035 NEW BEST:: SOT 88362 SOS 39521 HAS SOPS 36801 HAS SOUS 22516 HAS SOUPS 20644 WITH SCORE 20683.521
AT ITER 6036 NEW BEST:: SOT 88353 SOS 39517 HAS SOPS 36797 HAS SOUS 22505 HAS SOUPS 20633 WITH SCORE 20672.517
AT ITER 6038 NEW BEST:: SOT 88295 SOS 39459 HAS SOPS 36739 HAS SOUS 22499 HAS SOUPS 20627 WITH SCORE 20666.459
AT ITER 6041 NEW BEST:: SOT 88284 SOS 39426 HAS SOPS 36699 HAS SOUS 22469 HAS SOUPS 20597 WITH SCORE 20636.426
AT ITER 6047 NEW BEST:: SOT 88278 SOS 39420 HAS SOPS 36693 HAS SOUS 22463 HAS SOUPS 20591 WITH SCORE 20630.42
AT ITER 6051 NEW BEST:: SOT 88299 SOS 39425 HAS SOPS 36698 HAS SOUS 22455 HAS SOUPS 20583 WITH SCORE 20622.425
AT ITER 6071 NEW BEST:: SOT 88299 SOS 39347 HAS SOPS 36620 HAS SOUS 22436 HAS SOUPS 20564 WITH SCORE 20603.347
AT ITER 6143 NEW BEST:: SOT 88212 SOS 39216 HAS SOPS 36489 HAS SOUS 22389 HAS SOUPS 20517 WITH SCORE 20556.216
AT ITER 6173 NEW BEST:: SOT 88210 SOS 39214 HAS SOPS 36487 HAS SOUS 22387 HAS SOUPS 20515 WITH SCORE 20554.214
AT ITER 6207 NEW BEST:: SOT 88210 SOS 39151 HAS SOPS 36424 HAS SOUS 22373 HAS SOUPS 20501 WITH SCORE 20540.151
AT ITER 6208 NEW BEST:: SOT 88216 SOS 39137 HAS SOPS 36410 HAS SOUS 22369 HAS SOUPS 20497 WITH SCORE 20536.137
AT ITER 6209 NEW BEST:: SOT 88260 SOS 39033 HAS SOPS 36306 HAS SOUS 22341 HAS SOUPS 20469 WITH SCORE 20508.033
AT ITER 6236 NEW BEST:: SOT 88260 SOS 39033 HAS SOPS 36306 HAS SOUS 22315 HAS SOUPS 20443 WITH SCORE 20482.033
AT ITER 6267 NEW BEST:: SOT 88248 SOS 39021 HAS SOPS 36294 HAS SOUS 22311 HAS SOUPS 20439 WITH SCORE 20478.021
AT ITER 6355 NEW BEST:: SOT 88225 SOS 38998 HAS SOPS 36271 HAS SOUS 22274 HAS SOUPS 20402 WITH SCORE 20440.998
AT ITER 6365 NEW BEST:: SOT 88218 SOS 38991 HAS SOPS 36264 HAS SOUS 22260 HAS SOUPS 20388 WITH SCORE 20426.991
AT ITER 6388 NEW BEST:: SOT 88164 SOS 38984 HAS SOPS 36257 HAS SOUS 22215 HAS SOUPS 20343 WITH SCORE 20381.984
AT ITER 6403 NEW BEST:: SOT 88058 SOS 39031 HAS SOPS 36313 HAS SOUS 22205 HAS SOUPS 20333 WITH SCORE 20372.031
AT ITER 6416 NEW BEST:: SOT 88054 SOS 39027 HAS SOPS 36309 HAS SOUS 22201 HAS SOUPS 20329 WITH SCORE 20368.027
AT ITER 6421 NEW BEST:: SOT 88056 SOS 39009 HAS SOPS 36291 HAS SOUS 22201 HAS SOUPS 20329 WITH SCORE 20368.009
AT ITER 6450 NEW BEST:: SOT 88026 SOS 38979 HAS SOPS 36261 HAS SOUS 22181 HAS SOUPS 20309 WITH SCORE 20347.979
AT ITER 6483 NEW BEST:: SOT 88026 SOS 38979 HAS SOPS 36256 HAS SOUS 22176 HAS SOUPS 20304 WITH SCORE 20342.979
AT ITER 6498 NEW BEST:: SOT 88026 SOS 38979 HAS SOPS 36256 HAS SOUS 22172 HAS SOUPS 20300 WITH SCORE 20338.979
AT ITER 6513 NEW BEST:: SOT 88034 SOS 38955 HAS SOPS 36232 HAS SOUS 22169 HAS SOUPS 20297 WITH SCORE 20335.955
AT ITER 6552 NEW BEST:: SOT 88048 SOS 38971 HAS SOPS 36248 HAS SOUS 22147 HAS SOUPS 20275 WITH SCORE 20313.971
AT ITER 6559 NEW BEST:: SOT 88033 SOS 39068 HAS SOPS 36346 HAS SOUS 22144 HAS SOUPS 20272 WITH SCORE 20311.068
AT ITER 6593 NEW BEST:: SOT 87946 SOS 39009 HAS SOPS 36287 HAS SOUS 22099 HAS SOUPS 20227 WITH SCORE 20266.009
AT ITER 6594 NEW BEST:: SOT 87946 SOS 38992 HAS SOPS 36270 HAS SOUS 22099 HAS SOUPS 20227 WITH SCORE 20265.992
AT ITER 6601 NEW BEST:: SOT 87950 SOS 38992 HAS SOPS 36270 HAS SOUS 22097 HAS SOUPS 20225 WITH SCORE 20263.992
AT ITER 6635 NEW BEST:: SOT 87923 SOS 38965 HAS SOPS 36243 HAS SOUS 22068 HAS SOUPS 20196 WITH SCORE 20234.965
AT ITER 6659 NEW BEST:: SOT 87923 SOS 38980 HAS SOPS 36258 HAS SOUS 22067 HAS SOUPS 20195 WITH SCORE 20233.98
AT ITER 6668 NEW BEST:: SOT 87914 SOS 38971 HAS SOPS 36249 HAS SOUS 22058 HAS SOUPS 20186 WITH SCORE 20224.971
AT ITER 6674 NEW BEST:: SOT 87910 SOS 38967 HAS SOPS 36245 HAS SOUS 22054 HAS SOUPS 20182 WITH SCORE 20220.967
AT ITER 6697 NEW BEST:: SOT 87866 SOS 38923 HAS SOPS 36201 HAS SOUS 22054 HAS SOUPS 20182 WITH SCORE 20220.923
AT ITER 6719 NEW BEST:: SOT 87854 SOS 38911 HAS SOPS 36189 HAS SOUS 22042 HAS SOUPS 20170 WITH SCORE 20208.911
AT ITER 6739 NEW BEST:: SOT 87831 SOS 38865 HAS SOPS 36143 HAS SOUS 22042 HAS SOUPS 20170 WITH SCORE 20208.865
AT ITER 6768 NEW BEST:: SOT 87835 SOS 38865 HAS SOPS 36143 HAS SOUS 22038 HAS SOUPS 20166 WITH SCORE 20204.865
AT ITER 6788 NEW BEST:: SOT 87827 SOS 38857 HAS SOPS 36135 HAS SOUS 22037 HAS SOUPS 20165 WITH SCORE 20203.857
AT ITER 6809 NEW BEST:: SOT 87781 SOS 38811 HAS SOPS 36089 HAS SOUS 21991 HAS SOUPS 20119 WITH SCORE 20157.811
AT ITER 6837 NEW BEST:: SOT 87781 SOS 38787 HAS SOPS 36065 HAS SOUS 21991 HAS SOUPS 20119 WITH SCORE 20157.787
AT ITER 6838 NEW BEST:: SOT 87704 SOS 38710 HAS SOPS 35988 HAS SOUS 21914 HAS SOUPS 20042 WITH SCORE 20080.71
AT ITER 6886 NEW BEST:: SOT 87703 SOS 38709 HAS SOPS 35987 HAS SOUS 21893 HAS SOUPS 20021 WITH SCORE 20059.709
AT ITER 6926 NEW BEST:: SOT 87726 SOS 38708 HAS SOPS 35974 HAS SOUS 21898 HAS SOUPS 20016 WITH SCORE 20054.708
AT ITER 6928 NEW BEST:: SOT 87721 SOS 38693 HAS SOPS 35959 HAS SOUS 21888 HAS SOUPS 20006 WITH SCORE 20044.693
AT ITER 6932 NEW BEST:: SOT 87723 SOS 38695 HAS SOPS 35961 HAS SOUS 21880 HAS SOUPS 19998 WITH SCORE 20036.695
AT ITER 6978 NEW BEST:: SOT 87723 SOS 38694 HAS SOPS 35960 HAS SOUS 21880 HAS SOUPS 19998 WITH SCORE 20036.694
AT ITER 7017 NEW BEST:: SOT 87725 SOS 38696 HAS SOPS 35962 HAS SOUS 21876 HAS SOUPS 19994 WITH SCORE 20032.696
AT ITER 7021 NEW BEST:: SOT 87731 SOS 38668 HAS SOPS 35968 HAS SOUS 21853 HAS SOUPS 19988 WITH SCORE 20026.668
AT ITER 7022 NEW BEST:: SOT 87724 SOS 38631 HAS SOPS 35931 HAS SOUS 21831 HAS SOUPS 19966 WITH SCORE 20004.631
AT ITER 7051 NEW BEST:: SOT 87705 SOS 38622 HAS SOPS 35922 HAS SOUS 21815 HAS SOUPS 19950 WITH SCORE 19988.622
AT ITER 7053 NEW BEST:: SOT 87704 SOS 38621 HAS SOPS 35921 HAS SOUS 21814 HAS SOUPS 19949 WITH SCORE 19987.621
AT ITER 7059 NEW BEST:: SOT 87700 SOS 38617 HAS SOPS 35917 HAS SOUS 21814 HAS SOUPS 19949 WITH SCORE 19987.617
AT ITER 7061 NEW BEST:: SOT 87622 SOS 38655 HAS SOPS 35955 HAS SOUS 21794 HAS SOUPS 19929 WITH SCORE 19967.655
AT ITER 7090 NEW BEST:: SOT 87497 SOS 38676 HAS SOPS 35976 HAS SOUS 21747 HAS SOUPS 19882 WITH SCORE 19920.676
AT ITER 7197 NEW BEST:: SOT 87497 SOS 38671 HAS SOPS 35971 HAS SOUS 21747 HAS SOUPS 19882 WITH SCORE 19920.671
AT ITER 7211 NEW BEST:: SOT 87480 SOS 38654 HAS SOPS 35954 HAS SOUS 21742 HAS SOUPS 19877 WITH SCORE 19915.654
AT ITER 7227 NEW BEST:: SOT 87504 SOS 38678 HAS SOPS 35978 HAS SOUS 21722 HAS SOUPS 19857 WITH SCORE 19895.678
AT ITER 7317 NEW BEST:: SOT 87498 SOS 38666 HAS SOPS 35966 HAS SOUS 21722 HAS SOUPS 19857 WITH SCORE 19895.666
AT ITER 7325 NEW BEST:: SOT 87501 SOS 38669 HAS SOPS 35969 HAS SOUS 21719 HAS SOUPS 19854 WITH SCORE 19892.669
AT ITER 7393 NEW BEST:: SOT 87493 SOS 38667 HAS SOPS 35967 HAS SOUS 21717 HAS SOUPS 19852 WITH SCORE 19890.667
AT ITER 7410 NEW BEST:: SOT 87493 SOS 38671 HAS SOPS 35971 HAS SOUS 21698 HAS SOUPS 19833 WITH SCORE 19871.671
AT ITER 7435 NEW BEST:: SOT 87493 SOS 38667 HAS SOPS 35967 HAS SOUS 21694 HAS SOUPS 19829 WITH SCORE 19867.667
AT ITER 7468 NEW BEST:: SOT 87493 SOS 38618 HAS SOPS 35910 HAS SOUS 21699 HAS SOUPS 19826 WITH SCORE 19864.618
AT ITER 7476 NEW BEST:: SOT 87489 SOS 38614 HAS SOPS 35906 HAS SOUS 21695 HAS SOUPS 19822 WITH SCORE 19860.614
AT ITER 7497 NEW BEST:: SOT 87489 SOS 38614 HAS SOPS 35906 HAS SOUS 21685 HAS SOUPS 19812 WITH SCORE 19850.614
AT ITER 7547 NEW BEST:: SOT 87487 SOS 38612 HAS SOPS 35904 HAS SOUS 21685 HAS SOUPS 19812 WITH SCORE 19850.612
AT ITER 7554 NEW BEST:: SOT 87471 SOS 38670 HAS SOPS 35962 HAS SOUS 21675 HAS SOUPS 19802 WITH SCORE 19840.67
AT ITER 7582 NEW BEST:: SOT 87480 SOS 38676 HAS SOPS 35968 HAS SOUS 21674 HAS SOUPS 19801 WITH SCORE 19839.676
AT ITER 7597 NEW BEST:: SOT 87489 SOS 38685 HAS SOPS 35977 HAS SOUS 21673 HAS SOUPS 19800 WITH SCORE 19838.685
AT ITER 7609 NEW BEST:: SOT 87479 SOS 38685 HAS SOPS 35977 HAS SOUS 21663 HAS SOUPS 19790 WITH SCORE 19828.685
AT ITER 7674 NEW BEST:: SOT 87464 SOS 38640 HAS SOPS 35924 HAS SOUS 21628 HAS SOUPS 19755 WITH SCORE 19793.64
AT ITER 7716 NEW BEST:: SOT 87460 SOS 38626 HAS SOPS 35910 HAS SOUS 21622 HAS SOUPS 19749 WITH SCORE 19787.626
AT ITER 7717 NEW BEST:: SOT 87438 SOS 38584 HAS SOPS 35858 HAS SOUS 21610 HAS SOUPS 19727 WITH SCORE 19765.584
AT ITER 7750 NEW BEST:: SOT 87322 SOS 38468 HAS SOPS 35742 HAS SOUS 21606 HAS SOUPS 19723 WITH SCORE 19761.468
AT ITER 7784 NEW BEST:: SOT 87322 SOS 38468 HAS SOPS 35742 HAS SOUS 21590 HAS SOUPS 19707 WITH SCORE 19745.468
AT ITER 7820 NEW BEST:: SOT 87318 SOS 38462 HAS SOPS 35736 HAS SOUS 21586 HAS SOUPS 19703 WITH SCORE 19741.462
AT ITER 7828 NEW BEST:: SOT 87342 SOS 38442 HAS SOPS 35716 HAS SOUS 21586 HAS SOUPS 19703 WITH SCORE 19741.442
AT ITER 7834 NEW BEST:: SOT 87326 SOS 38398 HAS SOPS 35672 HAS SOUS 21570 HAS SOUPS 19687 WITH SCORE 19725.398
AT ITER 7853 NEW BEST:: SOT 87326 SOS 38398 HAS SOPS 35672 HAS SOUS 21562 HAS SOUPS 19679 WITH SCORE 19717.398
AT ITER 7862 NEW BEST:: SOT 87315 SOS 38381 HAS SOPS 35655 HAS SOUS 21545 HAS SOUPS 19662 WITH SCORE 19700.381
AT ITER 7863 NEW BEST:: SOT 87295 SOS 38379 HAS SOPS 35653 HAS SOUS 21531 HAS SOUPS 19648 WITH SCORE 19686.379
AT ITER 7870 NEW BEST:: SOT 87253 SOS 38337 HAS SOPS 35611 HAS SOUS 21527 HAS SOUPS 19644 WITH SCORE 19682.337
AT ITER 7875 NEW BEST:: SOT 87269 SOS 38170 HAS SOPS 35429 HAS SOUS 21506 HAS SOUPS 19608 WITH SCORE 19646.17
AT ITER 7876 NEW BEST:: SOT 87251 SOS 38205 HAS SOPS 35492 HAS SOUS 21486 HAS SOUPS 19588 WITH SCORE 19626.205
AT ITER 7905 NEW BEST:: SOT 87251 SOS 38218 HAS SOPS 35492 HAS SOUS 21489 HAS SOUPS 19578 WITH SCORE 19616.218
AT ITER 7924 NEW BEST:: SOT 87251 SOS 38189 HAS SOPS 35463 HAS SOUS 21435 HAS SOUPS 19524 WITH SCORE 19562.189
AT ITER 7928 NEW BEST:: SOT 87169 SOS 38103 HAS SOPS 35377 HAS SOUS 21422 HAS SOUPS 19511 WITH SCORE 19549.103
AT ITER 7940 NEW BEST:: SOT 87169 SOS 38100 HAS SOPS 35374 HAS SOUS 21419 HAS SOUPS 19508 WITH SCORE 19546.1
AT ITER 7968 NEW BEST:: SOT 87272 SOS 38175 HAS SOPS 35449 HAS SOUS 21409 HAS SOUPS 19498 WITH SCORE 19536.175
AT ITER 8022 NEW BEST:: SOT 87271 SOS 38174 HAS SOPS 35448 HAS SOUS 21404 HAS SOUPS 19493 WITH SCORE 19531.174
AT ITER 8056 NEW BEST:: SOT 87259 SOS 38162 HAS SOPS 35436 HAS SOUS 21392 HAS SOUPS 19481 WITH SCORE 19519.162
AT ITER 8063 NEW BEST:: SOT 87234 SOS 38046 HAS SOPS 35320 HAS SOUS 21387 HAS SOUPS 19476 WITH SCORE 19514.046
AT ITER 8084 NEW BEST:: SOT 87247 SOS 38240 HAS SOPS 35514 HAS SOUS 21382 HAS SOUPS 19471 WITH SCORE 19509.24
AT ITER 8097 NEW BEST:: SOT 87247 SOS 38305 HAS SOPS 35579 HAS SOUS 21350 HAS SOUPS 19439 WITH SCORE 19477.305
AT ITER 8152 NEW BEST:: SOT 87239 SOS 38356 HAS SOPS 35568 HAS SOUS 21366 HAS SOUPS 19414 WITH SCORE 19452.356
AT ITER 8263 NEW BEST:: SOT 87216 SOS 38333 HAS SOPS 35545 HAS SOUS 21343 HAS SOUPS 19391 WITH SCORE 19429.333
AT ITER 8331 NEW BEST:: SOT 87210 SOS 38327 HAS SOPS 35543 HAS SOUS 21337 HAS SOUPS 19387 WITH SCORE 19425.327
AT ITER 8341 NEW BEST:: SOT 87183 SOS 38235 HAS SOPS 35482 HAS SOUS 21279 HAS SOUPS 19360 WITH SCORE 19398.235
AT ITER 8400 NEW BEST:: SOT 87140 SOS 38234 HAS SOPS 35481 HAS SOUS 21276 HAS SOUPS 19357 WITH SCORE 19395.234
AT ITER 8435 NEW BEST:: SOT 87138 SOS 38232 HAS SOPS 35479 HAS SOUS 21274 HAS SOUPS 19355 WITH SCORE 19393.232
AT ITER 8488 NEW BEST:: SOT 87103 SOS 38532 HAS SOPS 35779 HAS SOUS 21265 HAS SOUPS 19346 WITH SCORE 19384.532
AT ITER 8524 NEW BEST:: SOT 87033 SOS 38462 HAS SOPS 35709 HAS SOUS 21265 HAS SOUPS 19346 WITH SCORE 19384.462
AT ITER 8583 NEW BEST:: SOT 87036 SOS 38266 HAS SOPS 35513 HAS SOUS 21263 HAS SOUPS 19344 WITH SCORE 19382.266
AT ITER 8614 NEW BEST:: SOT 87019 SOS 38249 HAS SOPS 35496 HAS SOUS 21238 HAS SOUPS 19319 WITH SCORE 19357.249
AT ITER 8737 NEW BEST:: SOT 87019 SOS 38264 HAS SOPS 35511 HAS SOUS 21227 HAS SOUPS 19308 WITH SCORE 19346.264
AT ITER 8753 NEW BEST:: SOT 86999 SOS 38264 HAS SOPS 35511 HAS SOUS 21211 HAS SOUPS 19292 WITH SCORE 19330.264
AT ITER 8760 NEW BEST:: SOT 86981 SOS 38246 HAS SOPS 35493 HAS SOUS 21203 HAS SOUPS 19284 WITH SCORE 19322.246
AT ITER 8770 NEW BEST:: SOT 86981 SOS 38240 HAS SOPS 35487 HAS SOUS 21200 HAS SOUPS 19281 WITH SCORE 19319.24
AT ITER 8777 NEW BEST:: SOT 86976 SOS 38237 HAS SOPS 35464 HAS SOUS 21189 HAS SOUPS 19261 WITH SCORE 19299.237
AT ITER 8785 NEW BEST:: SOT 86974 SOS 38232 HAS SOPS 35459 HAS SOUS 21184 HAS SOUPS 19256 WITH SCORE 19294.232
AT ITER 8797 NEW BEST:: SOT 86955 SOS 38223 HAS SOPS 35450 HAS SOUS 21184 HAS SOUPS 19256 WITH SCORE 19294.223
AT ITER 8839 NEW BEST:: SOT 86955 SOS 38205 HAS SOPS 35432 HAS SOUS 21162 HAS SOUPS 19234 WITH SCORE 19272.205
AT ITER 8873 NEW BEST:: SOT 86951 SOS 38203 HAS SOPS 35430 HAS SOUS 21160 HAS SOUPS 19232 WITH SCORE 19270.203
AT ITER 8907 NEW BEST:: SOT 86950 SOS 38202 HAS SOPS 35429 HAS SOUS 21159 HAS SOUPS 19231 WITH SCORE 19269.202
AT ITER 8912 NEW BEST:: SOT 86953 SOS 38186 HAS SOPS 35413 HAS SOUS 21142 HAS SOUPS 19214 WITH SCORE 19252.186
AT ITER 8940 NEW BEST:: SOT 86951 SOS 38182 HAS SOPS 35409 HAS SOUS 21142 HAS SOUPS 19214 WITH SCORE 19252.182
AT ITER 8943 NEW BEST:: SOT 86949 SOS 38180 HAS SOPS 35407 HAS SOUS 21140 HAS SOUPS 19212 WITH SCORE 19250.18
AT ITER 8957 NEW BEST:: SOT 86944 SOS 38126 HAS SOPS 35353 HAS SOUS 21125 HAS SOUPS 19197 WITH SCORE 19235.126
AT ITER 8970 NEW BEST:: SOT 86910 SOS 38078 HAS SOPS 35316 HAS SOUS 21096 HAS SOUPS 19179 WITH SCORE 19217.078
AT ITER 9084 NEW BEST:: SOT 86844 SOS 37937 HAS SOPS 35222 HAS SOUS 20982 HAS SOUPS 19112 WITH SCORE 19149.937
AT ITER 9115 NEW BEST:: SOT 86844 SOS 37904 HAS SOPS 35178 HAS SOUS 20960 HAS SOUPS 19090 WITH SCORE 19127.904
AT ITER 9175 NEW BEST:: SOT 86842 SOS 37902 HAS SOPS 35176 HAS SOUS 20960 HAS SOUPS 19090 WITH SCORE 19127.902
AT ITER 9266 NEW BEST:: SOT 86812 SOS 37889 HAS SOPS 35146 HAS SOUS 20948 HAS SOUPS 19061 WITH SCORE 19098.889
AT ITER 9295 NEW BEST:: SOT 86929 SOS 38006 HAS SOPS 35263 HAS SOUS 20945 HAS SOUPS 19058 WITH SCORE 19096.006
AT ITER 9314 NEW BEST:: SOT 86944 SOS 37982 HAS SOPS 35274 HAS SOUS 20906 HAS SOUPS 19041 WITH SCORE 19078.982
AT ITER 9318 NEW BEST:: SOT 86910 SOS 37948 HAS SOPS 35240 HAS SOUS 20890 HAS SOUPS 19025 WITH SCORE 19062.948
AT ITER 9435 NEW BEST:: SOT 86921 SOS 37947 HAS SOPS 35239 HAS SOUS 20889 HAS SOUPS 19024 WITH SCORE 19061.947
AT ITER 9453 NEW BEST:: SOT 86921 SOS 37923 HAS SOPS 35215 HAS SOUS 20865 HAS SOUPS 19000 WITH SCORE 19037.923
AT ITER 9531 NEW BEST:: SOT 86891 SOS 37997 HAS SOPS 35289 HAS SOUS 20850 HAS SOUPS 18985 WITH SCORE 19022.997
AT ITER 9553 NEW BEST:: SOT 86863 SOS 37955 HAS SOPS 35261 HAS SOUS 20812 HAS SOUPS 18961 WITH SCORE 18998.955
AT ITER 9619 NEW BEST:: SOT 86843 SOS 37935 HAS SOPS 35241 HAS SOUS 20775 HAS SOUPS 18924 WITH SCORE 18961.935
AT ITER 9647 NEW BEST:: SOT 86853 SOS 37932 HAS SOPS 35238 HAS SOUS 20775 HAS SOUPS 18924 WITH SCORE 18961.932
AT ITER 9699 NEW BEST:: SOT 86853 SOS 37908 HAS SOPS 35214 HAS SOUS 20775 HAS SOUPS 18924 WITH SCORE 18961.908
AT ITER 9728 NEW BEST:: SOT 86805 SOS 37860 HAS SOPS 35166 HAS SOUS 20751 HAS SOUPS 18900 WITH SCORE 18937.86
AT ITER 9762 NEW BEST:: SOT 86824 SOS 37840 HAS SOPS 35146 HAS SOUS 20688 HAS SOUPS 18837 WITH SCORE 18874.84
AT ITER 9811 NEW BEST:: SOT 86825 SOS 37839 HAS SOPS 35145 HAS SOUS 20688 HAS SOUPS 18837 WITH SCORE 18874.839
AT ITER 9874 NEW BEST:: SOT 86815 SOS 37829 HAS SOPS 35135 HAS SOUS 20688 HAS SOUPS 18837 WITH SCORE 18874.829
AT ITER 9889 NEW BEST:: SOT 86707 SOS 37721 HAS SOPS 35027 HAS SOUS 20657 HAS SOUPS 18806 WITH SCORE 18843.721
AT ITER 9923 NEW BEST:: SOT 86707 SOS 37718 HAS SOPS 35024 HAS SOUS 20654 HAS SOUPS 18803 WITH SCORE 18840.718
AT ITER 9937 NEW BEST:: SOT 86738 SOS 37653 HAS SOPS 34959 HAS SOUS 20653 HAS SOUPS 18802 WITH SCORE 18839.653
AT ITER 9939 NEW BEST:: SOT 86738 SOS 37627 HAS SOPS 34915 HAS SOUS 20661 HAS SOUPS 18797 WITH SCORE 18834.627
AT ITER 9990 NEW BEST:: SOT 86750 SOS 37513 HAS SOPS 34792 HAS SOUS 20645 HAS SOUPS 18781 WITH SCORE 18818.513

BK_STOP 1678815843422

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 483 Killed ${SMART}/smart ${INPUT_SM}

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="NoC3x3-PT-2A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is NoC3x3-PT-2A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r267-smll-167863541600248"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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