fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r491-tall-167912710000064
Last Updated
May 14, 2023

About the Execution of Smart+red for Sudoku-COL-AN08

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

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r491-tall-167912710000064.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 Sudoku-COL-AN08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710000064
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 404K
-rw-r--r-- 1 mcc users 6.4K Feb 26 08:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 08:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 08:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 08:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 17:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 17:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.9K Feb 26 09:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 09:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 26 08:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 26 08:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 6.5K 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 1679210572403

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=Sudoku-COL-AN08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 07:22:54] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 07:22:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 07:22:54] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-19 07:22:54] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-19 07:22:54] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 465 ms
[2023-03-19 07:22:54] [INFO ] Imported 4 HL places and 1 HL transitions for a total of 704 PT places and 512.0 transition bindings in 12 ms.
[2023-03-19 07:22:54] [INFO ] Unfolded HLPN to a Petri net with 704 places and 512 transitions 2048 arcs in 28 ms.
[2023-03-19 07:22:54] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-19 07:22:54] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 704 places, 512 transitions and 2048 arcs took 9 ms.
Total runtime 617 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (COL), instance AN08
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: 704 places, 512 transitions, 2048 arcs.
AT ITER 0 NEW BEST:: SOT 272587 SOS 138474 HAS SOPS 138474 HAS SOUS 138474 HAS SOUPS 138474 WITH SCORE 138612.474
AT ITER 1 NEW BEST:: SOT 272503 SOS 138453 HAS SOPS 138453 HAS SOUS 138453 HAS SOUPS 138453 WITH SCORE 138591.453
AT ITER 7 NEW BEST:: SOT 272192 SOS 138258 HAS SOPS 138258 HAS SOUS 138251 HAS SOUPS 138251 WITH SCORE 138389.258
AT ITER 10 NEW BEST:: SOT 272148 SOS 138281 HAS SOPS 138281 HAS SOUS 138207 HAS SOUPS 138207 WITH SCORE 138345.281
AT ITER 20 NEW BEST:: SOT 272186 SOS 138338 HAS SOPS 138338 HAS SOUS 138203 HAS SOUPS 138203 WITH SCORE 138341.338
AT ITER 23 NEW BEST:: SOT 272109 SOS 138298 HAS SOPS 138298 HAS SOUS 138163 HAS SOUPS 138163 WITH SCORE 138301.298
AT ITER 47 NEW BEST:: SOT 271987 SOS 138176 HAS SOPS 138176 HAS SOUS 138041 HAS SOUPS 138041 WITH SCORE 138179.176
AT ITER 54 NEW BEST:: SOT 271949 SOS 138165 HAS SOPS 138165 HAS SOUS 138003 HAS SOUPS 138003 WITH SCORE 138141.165
AT ITER 73 NEW BEST:: SOT 271661 SOS 137877 HAS SOPS 137877 HAS SOUS 137715 HAS SOUPS 137715 WITH SCORE 137852.877
AT ITER 95 NEW BEST:: SOT 271378 SOS 137729 HAS SOPS 137729 HAS SOUS 137478 HAS SOUPS 137478 WITH SCORE 137615.729
AT ITER 105 NEW BEST:: SOT 271314 SOS 137665 HAS SOPS 137665 HAS SOUS 137414 HAS SOUPS 137414 WITH SCORE 137551.665
AT ITER 107 NEW BEST:: SOT 271321 SOS 137681 HAS SOPS 137681 HAS SOUS 137351 HAS SOUPS 137351 WITH SCORE 137488.681
AT ITER 108 NEW BEST:: SOT 271037 SOS 137518 HAS SOPS 137518 HAS SOUS 137169 HAS SOUPS 137169 WITH SCORE 137306.518
AT ITER 110 NEW BEST:: SOT 271023 SOS 137504 HAS SOPS 137504 HAS SOUS 137155 HAS SOUPS 137155 WITH SCORE 137292.504
AT ITER 113 NEW BEST:: SOT 270954 SOS 137833 HAS SOPS 137833 HAS SOUS 137086 HAS SOUPS 137086 WITH SCORE 137223.833
AT ITER 114 NEW BEST:: SOT 270699 SOS 137715 HAS SOPS 137715 HAS SOUS 136927 HAS SOUPS 136927 WITH SCORE 137064.715
AT ITER 122 NEW BEST:: SOT 270547 SOS 137563 HAS SOPS 137563 HAS SOUS 136775 HAS SOUPS 136775 WITH SCORE 136912.563
AT ITER 126 NEW BEST:: SOT 270577 SOS 137590 HAS SOPS 137590 HAS SOUS 136745 HAS SOUPS 136745 WITH SCORE 136882.59
AT ITER 127 NEW BEST:: SOT 270514 SOS 137740 HAS SOPS 137740 HAS SOUS 136699 HAS SOUPS 136699 WITH SCORE 136836.74
AT ITER 137 NEW BEST:: SOT 270546 SOS 137731 HAS SOPS 137731 HAS SOUS 136649 HAS SOUPS 136649 WITH SCORE 136786.731
AT ITER 140 NEW BEST:: SOT 270381 SOS 137638 HAS SOPS 137638 HAS SOUS 136508 HAS SOUPS 136508 WITH SCORE 136645.638
AT ITER 147 NEW BEST:: SOT 270032 SOS 137394 HAS SOPS 137394 HAS SOUS 136250 HAS SOUPS 136250 WITH SCORE 136387.394
AT ITER 152 NEW BEST:: SOT 269953 SOS 138201 HAS SOPS 138201 HAS SOUS 136190 HAS SOUPS 136190 WITH SCORE 136328.201
AT ITER 156 NEW BEST:: SOT 269629 SOS 137953 HAS SOPS 137953 HAS SOUS 135896 HAS SOUPS 135896 WITH SCORE 136033.953
AT ITER 158 NEW BEST:: SOT 269723 SOS 137996 HAS SOPS 137996 HAS SOUS 135853 HAS SOUPS 135853 WITH SCORE 135990.996
AT ITER 177 NEW BEST:: SOT 269353 SOS 137770 HAS SOPS 137770 HAS SOUS 135572 HAS SOUPS 135572 WITH SCORE 135709.77
AT ITER 185 NEW BEST:: SOT 269111 SOS 139088 HAS SOPS 139088 HAS SOUS 135461 HAS SOUPS 135461 WITH SCORE 135600.088
AT ITER 192 NEW BEST:: SOT 269111 SOS 139028 HAS SOPS 139028 HAS SOUS 135377 HAS SOUPS 135377 WITH SCORE 135516.028
AT ITER 203 NEW BEST:: SOT 268747 SOS 139762 HAS SOPS 139762 HAS SOUS 135101 HAS SOUPS 135101 WITH SCORE 135240.762
AT ITER 207 NEW BEST:: SOT 268747 SOS 139635 HAS SOPS 139635 HAS SOUS 135101 HAS SOUPS 135101 WITH SCORE 135240.635
AT ITER 209 NEW BEST:: SOT 268563 SOS 139560 HAS SOPS 139560 HAS SOUS 135026 HAS SOUPS 135026 WITH SCORE 135165.56
AT ITER 221 NEW BEST:: SOT 268526 SOS 139451 HAS SOPS 139451 HAS SOUS 134943 HAS SOUPS 134943 WITH SCORE 135082.451
AT ITER 222 NEW BEST:: SOT 268495 SOS 139440 HAS SOPS 139440 HAS SOUS 134912 HAS SOUPS 134912 WITH SCORE 135051.44
AT ITER 223 NEW BEST:: SOT 268193 SOS 139243 HAS SOPS 139243 HAS SOUS 134714 HAS SOUPS 134714 WITH SCORE 134853.243
AT ITER 230 NEW BEST:: SOT 267813 SOS 139200 HAS SOPS 139200 HAS SOUS 134498 HAS SOUPS 134498 WITH SCORE 134637.2
AT ITER 234 NEW BEST:: SOT 267669 SOS 139066 HAS SOPS 139066 HAS SOUS 134354 HAS SOUPS 134354 WITH SCORE 134493.066
AT ITER 243 NEW BEST:: SOT 267755 SOS 139054 HAS SOPS 139054 HAS SOUS 134311 HAS SOUPS 134311 WITH SCORE 134450.054
AT ITER 247 NEW BEST:: SOT 267770 SOS 139086 HAS SOPS 139086 HAS SOUS 134264 HAS SOUPS 134264 WITH SCORE 134403.086
AT ITER 253 NEW BEST:: SOT 267444 SOS 139318 HAS SOPS 139318 HAS SOUS 134056 HAS SOUPS 134056 WITH SCORE 134195.318
AT ITER 254 NEW BEST:: SOT 267471 SOS 139502 HAS SOPS 139502 HAS SOUS 134032 HAS SOUPS 134032 WITH SCORE 134171.502
AT ITER 256 NEW BEST:: SOT 267471 SOS 139385 HAS SOPS 139385 HAS SOUS 134032 HAS SOUPS 134032 WITH SCORE 134171.385
AT ITER 259 NEW BEST:: SOT 267338 SOS 139265 HAS SOPS 139265 HAS SOUS 133912 HAS SOUPS 133912 WITH SCORE 134051.265
AT ITER 261 NEW BEST:: SOT 266936 SOS 139030 HAS SOPS 139030 HAS SOUS 133562 HAS SOUPS 133562 WITH SCORE 133701.03
AT ITER 262 NEW BEST:: SOT 266798 SOS 138892 HAS SOPS 138892 HAS SOUS 133424 HAS SOUPS 133424 WITH SCORE 133562.892
AT ITER 263 NEW BEST:: SOT 266633 SOS 139233 HAS SOPS 139233 HAS SOUS 133403 HAS SOUPS 133403 WITH SCORE 133542.233
AT ITER 268 NEW BEST:: SOT 266539 SOS 139326 HAS SOPS 139326 HAS SOUS 133354 HAS SOUPS 133354 WITH SCORE 133493.326
AT ITER 274 NEW BEST:: SOT 266539 SOS 139315 HAS SOPS 139315 HAS SOUS 133354 HAS SOUPS 133354 WITH SCORE 133493.315
AT ITER 280 NEW BEST:: SOT 266489 SOS 139265 HAS SOPS 139265 HAS SOUS 133304 HAS SOUPS 133304 WITH SCORE 133443.265
AT ITER 281 NEW BEST:: SOT 266454 SOS 139130 HAS SOPS 139130 HAS SOUS 133220 HAS SOUPS 133220 WITH SCORE 133359.13
AT ITER 288 NEW BEST:: SOT 266429 SOS 139195 HAS SOPS 139195 HAS SOUS 133133 HAS SOUPS 133133 WITH SCORE 133272.195
AT ITER 308 NEW BEST:: SOT 266429 SOS 139188 HAS SOPS 139188 HAS SOUS 133133 HAS SOUPS 133133 WITH SCORE 133272.188
AT ITER 312 NEW BEST:: SOT 266567 SOS 139432 HAS SOPS 139432 HAS SOUS 133032 HAS SOUPS 133032 WITH SCORE 133171.432
AT ITER 314 NEW BEST:: SOT 266567 SOS 139337 HAS SOPS 139337 HAS SOUS 133032 HAS SOUPS 133032 WITH SCORE 133171.337
AT ITER 320 NEW BEST:: SOT 266494 SOS 139656 HAS SOPS 139656 HAS SOUS 132991 HAS SOUPS 132991 WITH SCORE 133130.656
AT ITER 323 NEW BEST:: SOT 265950 SOS 139802 HAS SOPS 139802 HAS SOUS 132466 HAS SOUPS 132466 WITH SCORE 132605.802
AT ITER 329 NEW BEST:: SOT 265777 SOS 139629 HAS SOPS 139629 HAS SOUS 132293 HAS SOUPS 132293 WITH SCORE 132432.629
AT ITER 330 NEW BEST:: SOT 265712 SOS 139513 HAS SOPS 139513 HAS SOUS 132159 HAS SOUPS 132159 WITH SCORE 132298.513
AT ITER 334 NEW BEST:: SOT 265645 SOS 140867 HAS SOPS 140867 HAS SOUS 132150 HAS SOUPS 132150 WITH SCORE 132290.867
AT ITER 340 NEW BEST:: SOT 265623 SOS 140863 HAS SOPS 140863 HAS SOUS 132120 HAS SOUPS 132120 WITH SCORE 132260.863
AT ITER 344 NEW BEST:: SOT 265623 SOS 140798 HAS SOPS 140798 HAS SOUS 132120 HAS SOUPS 132120 WITH SCORE 132260.798
AT ITER 347 NEW BEST:: SOT 265527 SOS 140834 HAS SOPS 140834 HAS SOUS 132024 HAS SOUPS 132024 WITH SCORE 132164.834
AT ITER 352 NEW BEST:: SOT 265527 SOS 140800 HAS SOPS 140800 HAS SOUS 132024 HAS SOUPS 132024 WITH SCORE 132164.8
AT ITER 355 NEW BEST:: SOT 265392 SOS 140665 HAS SOPS 140665 HAS SOUS 131889 HAS SOUPS 131889 WITH SCORE 132029.665
AT ITER 360 NEW BEST:: SOT 265026 SOS 140527 HAS SOPS 140527 HAS SOUS 131605 HAS SOUPS 131605 WITH SCORE 131745.527
AT ITER 364 NEW BEST:: SOT 265001 SOS 140432 HAS SOPS 140432 HAS SOUS 131580 HAS SOUPS 131580 WITH SCORE 131720.432
AT ITER 366 NEW BEST:: SOT 264969 SOS 140422 HAS SOPS 140422 HAS SOUS 131570 HAS SOUPS 131570 WITH SCORE 131710.422
AT ITER 367 NEW BEST:: SOT 264916 SOS 140369 HAS SOPS 140369 HAS SOUS 131454 HAS SOUPS 131454 WITH SCORE 131594.369
AT ITER 378 NEW BEST:: SOT 264916 SOS 140356 HAS SOPS 140356 HAS SOUS 131454 HAS SOUPS 131454 WITH SCORE 131594.356
AT ITER 380 NEW BEST:: SOT 264948 SOS 140436 HAS SOPS 140436 HAS SOUS 131405 HAS SOUPS 131405 WITH SCORE 131545.436
AT ITER 381 NEW BEST:: SOT 264576 SOS 140964 HAS SOPS 140964 HAS SOUS 131381 HAS SOUPS 131381 WITH SCORE 131521.964
AT ITER 382 NEW BEST:: SOT 264229 SOS 142357 HAS SOPS 142357 HAS SOUS 131215 HAS SOUPS 131215 WITH SCORE 131357.357
AT ITER 384 NEW BEST:: SOT 263992 SOS 144348 HAS SOPS 144348 HAS SOUS 131077 HAS SOUPS 131077 WITH SCORE 131221.348
AT ITER 385 NEW BEST:: SOT 263992 SOS 144344 HAS SOPS 144344 HAS SOUS 131077 HAS SOUPS 131077 WITH SCORE 131221.344
AT ITER 391 NEW BEST:: SOT 263638 SOS 144790 HAS SOPS 144790 HAS SOUS 130903 HAS SOUPS 130903 WITH SCORE 131047.79
AT ITER 400 NEW BEST:: SOT 263501 SOS 144653 HAS SOPS 144653 HAS SOUS 130789 HAS SOUPS 130789 WITH SCORE 130933.653
AT ITER 414 NEW BEST:: SOT 263501 SOS 144599 HAS SOPS 144599 HAS SOUS 130789 HAS SOUPS 130789 WITH SCORE 130933.599
AT ITER 421 NEW BEST:: SOT 263501 SOS 144522 HAS SOPS 144522 HAS SOUS 130789 HAS SOUPS 130789 WITH SCORE 130933.522
AT ITER 428 NEW BEST:: SOT 263501 SOS 143798 HAS SOPS 143798 HAS SOUS 130716 HAS SOUPS 130716 WITH SCORE 130859.798
AT ITER 432 NEW BEST:: SOT 263501 SOS 143731 HAS SOPS 143731 HAS SOUS 130708 HAS SOUPS 130708 WITH SCORE 130851.731
AT ITER 445 NEW BEST:: SOT 263345 SOS 143808 HAS SOPS 143808 HAS SOUS 130609 HAS SOUPS 130609 WITH SCORE 130752.808
AT ITER 447 NEW BEST:: SOT 263331 SOS 143928 HAS SOPS 143928 HAS SOUS 130605 HAS SOUPS 130605 WITH SCORE 130748.928
AT ITER 454 NEW BEST:: SOT 263029 SOS 143780 HAS SOPS 143780 HAS SOUS 130457 HAS SOUPS 130457 WITH SCORE 130600.78
AT ITER 456 NEW BEST:: SOT 262964 SOS 143517 HAS SOPS 143517 HAS SOUS 130362 HAS SOUPS 130362 WITH SCORE 130505.517
AT ITER 466 NEW BEST:: SOT 262602 SOS 143405 HAS SOPS 143405 HAS SOUS 130109 HAS SOUPS 130109 WITH SCORE 130252.405
AT ITER 474 NEW BEST:: SOT 262513 SOS 143366 HAS SOPS 143366 HAS SOUS 130020 HAS SOUPS 130020 WITH SCORE 130163.366
AT ITER 485 NEW BEST:: SOT 262513 SOS 143339 HAS SOPS 143339 HAS SOUS 130020 HAS SOUPS 130020 WITH SCORE 130163.339
AT ITER 502 NEW BEST:: SOT 262389 SOS 143343 HAS SOPS 143343 HAS SOUS 129955 HAS SOUPS 129955 WITH SCORE 130098.343
AT ITER 509 NEW BEST:: SOT 262389 SOS 143170 HAS SOPS 143170 HAS SOUS 129955 HAS SOUPS 129955 WITH SCORE 130098.17
AT ITER 519 NEW BEST:: SOT 262116 SOS 144314 HAS SOPS 144314 HAS SOUS 129751 HAS SOUPS 129751 WITH SCORE 129895.314
AT ITER 522 NEW BEST:: SOT 262116 SOS 144197 HAS SOPS 144197 HAS SOUS 129751 HAS SOUPS 129751 WITH SCORE 129895.197
AT ITER 523 NEW BEST:: SOT 261714 SOS 144061 HAS SOPS 144061 HAS SOUS 129419 HAS SOUPS 129419 WITH SCORE 129563.061
AT ITER 534 NEW BEST:: SOT 261432 SOS 144028 HAS SOPS 144028 HAS SOUS 129254 HAS SOUPS 129254 WITH SCORE 129398.028
AT ITER 536 NEW BEST:: SOT 261432 SOS 144019 HAS SOPS 144019 HAS SOUS 129254 HAS SOUPS 129254 WITH SCORE 129398.019
AT ITER 539 NEW BEST:: SOT 261340 SOS 143970 HAS SOPS 143970 HAS SOUS 129205 HAS SOUPS 129205 WITH SCORE 129348.97
AT ITER 541 NEW BEST:: SOT 261351 SOS 143955 HAS SOPS 143955 HAS SOUS 129134 HAS SOUPS 129134 WITH SCORE 129277.955
AT ITER 544 NEW BEST:: SOT 261316 SOS 143946 HAS SOPS 143946 HAS SOUS 129134 HAS SOUPS 129134 WITH SCORE 129277.946
AT ITER 550 NEW BEST:: SOT 261316 SOS 143934 HAS SOPS 143934 HAS SOUS 129052 HAS SOUPS 129052 WITH SCORE 129195.934
AT ITER 562 NEW BEST:: SOT 261224 SOS 144121 HAS SOPS 144121 HAS SOUS 129012 HAS SOUPS 129012 WITH SCORE 129156.121
AT ITER 567 NEW BEST:: SOT 261241 SOS 144136 HAS SOPS 144136 HAS SOUS 128972 HAS SOUPS 128972 WITH SCORE 129116.136
AT ITER 571 NEW BEST:: SOT 261241 SOS 144119 HAS SOPS 144119 HAS SOUS 128972 HAS SOUPS 128972 WITH SCORE 129116.119
AT ITER 576 NEW BEST:: SOT 261299 SOS 143979 HAS SOPS 143979 HAS SOUS 128931 HAS SOUPS 128931 WITH SCORE 129074.979
AT ITER 582 NEW BEST:: SOT 261299 SOS 143859 HAS SOPS 143859 HAS SOUS 128931 HAS SOUPS 128931 WITH SCORE 129074.859
AT ITER 585 NEW BEST:: SOT 261299 SOS 143791 HAS SOPS 143791 HAS SOUS 128931 HAS SOUPS 128931 WITH SCORE 129074.791
AT ITER 587 NEW BEST:: SOT 261072 SOS 143446 HAS SOPS 143446 HAS SOUS 128701 HAS SOUPS 128701 WITH SCORE 128844.446
AT ITER 590 NEW BEST:: SOT 261176 SOS 143299 HAS SOPS 143299 HAS SOUS 128520 HAS SOUPS 128520 WITH SCORE 128663.299
AT ITER 591 NEW BEST:: SOT 261069 SOS 143668 HAS SOPS 143668 HAS SOUS 128416 HAS SOUPS 128416 WITH SCORE 128559.668
AT ITER 594 NEW BEST:: SOT 261221 SOS 143795 HAS SOPS 143795 HAS SOUS 128327 HAS SOUPS 128327 WITH SCORE 128470.795
AT ITER 607 NEW BEST:: SOT 260720 SOS 144812 HAS SOPS 144812 HAS SOUS 128176 HAS SOUPS 128176 WITH SCORE 128320.812
AT ITER 622 NEW BEST:: SOT 260720 SOS 144812 HAS SOPS 144812 HAS SOUS 128136 HAS SOUPS 128136 WITH SCORE 128280.812
AT ITER 623 NEW BEST:: SOT 260720 SOS 144792 HAS SOPS 144792 HAS SOUS 128116 HAS SOUPS 128116 WITH SCORE 128260.792
AT ITER 633 NEW BEST:: SOT 260725 SOS 144826 HAS SOPS 144826 HAS SOUS 128104 HAS SOUPS 128104 WITH SCORE 128248.826
AT ITER 636 NEW BEST:: SOT 260507 SOS 144716 HAS SOPS 144716 HAS SOUS 127994 HAS SOUPS 127994 WITH SCORE 128138.716
AT ITER 637 NEW BEST:: SOT 260507 SOS 144031 HAS SOPS 144031 HAS SOUS 127994 HAS SOUPS 127994 WITH SCORE 128138.031
AT ITER 643 NEW BEST:: SOT 260507 SOS 144007 HAS SOPS 144007 HAS SOUS 127994 HAS SOUPS 127994 WITH SCORE 128138.007
AT ITER 647 NEW BEST:: SOT 260454 SOS 143997 HAS SOPS 143997 HAS SOUS 127984 HAS SOUPS 127984 WITH SCORE 128127.997
AT ITER 654 NEW BEST:: SOT 260454 SOS 142786 HAS SOPS 142786 HAS SOUS 127984 HAS SOUPS 127984 WITH SCORE 128126.786
AT ITER 658 NEW BEST:: SOT 260454 SOS 142763 HAS SOPS 142763 HAS SOUS 127982 HAS SOUPS 127982 WITH SCORE 128124.763
AT ITER 665 NEW BEST:: SOT 260454 SOS 142681 HAS SOPS 142681 HAS SOUS 127982 HAS SOUPS 127982 WITH SCORE 128124.681
AT ITER 668 NEW BEST:: SOT 260454 SOS 141362 HAS SOPS 141362 HAS SOUS 127982 HAS SOUPS 127982 WITH SCORE 128123.362
AT ITER 669 NEW BEST:: SOT 260346 SOS 141577 HAS SOPS 141577 HAS SOUS 127934 HAS SOUPS 127934 WITH SCORE 128075.577
AT ITER 682 NEW BEST:: SOT 260310 SOS 141541 HAS SOPS 141541 HAS SOUS 127898 HAS SOUPS 127898 WITH SCORE 128039.541
AT ITER 689 NEW BEST:: SOT 259989 SOS 141575 HAS SOPS 141575 HAS SOUS 127601 HAS SOUPS 127601 WITH SCORE 127742.575
AT ITER 697 NEW BEST:: SOT 259934 SOS 141527 HAS SOPS 141527 HAS SOUS 127553 HAS SOUPS 127553 WITH SCORE 127694.527
AT ITER 707 NEW BEST:: SOT 259934 SOS 141510 HAS SOPS 141510 HAS SOUS 127553 HAS SOUPS 127553 WITH SCORE 127694.51
AT ITER 714 NEW BEST:: SOT 259858 SOS 141443 HAS SOPS 141443 HAS SOUS 127534 HAS SOUPS 127534 WITH SCORE 127675.443
AT ITER 715 NEW BEST:: SOT 259858 SOS 141425 HAS SOPS 141425 HAS SOUS 127516 HAS SOUPS 127516 WITH SCORE 127657.425
AT ITER 719 NEW BEST:: SOT 259474 SOS 141713 HAS SOPS 141713 HAS SOUS 127280 HAS SOUPS 127280 WITH SCORE 127421.713
AT ITER 731 NEW BEST:: SOT 259454 SOS 141733 HAS SOPS 141733 HAS SOUS 127260 HAS SOUPS 127260 WITH SCORE 127401.733
AT ITER 738 NEW BEST:: SOT 258921 SOS 141657 HAS SOPS 141657 HAS SOUS 126775 HAS SOUPS 126775 WITH SCORE 126916.657
AT ITER 739 NEW BEST:: SOT 258904 SOS 141640 HAS SOPS 141640 HAS SOUS 126758 HAS SOUPS 126758 WITH SCORE 126899.64
AT ITER 745 NEW BEST:: SOT 258450 SOS 141877 HAS SOPS 141877 HAS SOUS 126462 HAS SOUPS 126462 WITH SCORE 126603.877
AT ITER 747 NEW BEST:: SOT 258462 SOS 141810 HAS SOPS 141810 HAS SOUS 126316 HAS SOUPS 126316 WITH SCORE 126457.81
AT ITER 748 NEW BEST:: SOT 258462 SOS 141738 HAS SOPS 141738 HAS SOUS 126316 HAS SOUPS 126316 WITH SCORE 126457.738
AT ITER 753 NEW BEST:: SOT 258462 SOS 141653 HAS SOPS 141653 HAS SOUS 126316 HAS SOUPS 126316 WITH SCORE 126457.653
AT ITER 754 NEW BEST:: SOT 258422 SOS 141613 HAS SOPS 141613 HAS SOUS 126316 HAS SOUPS 126316 WITH SCORE 126457.613
AT ITER 756 NEW BEST:: SOT 258422 SOS 141612 HAS SOPS 141612 HAS SOUS 126316 HAS SOUPS 126316 WITH SCORE 126457.612
AT ITER 783 NEW BEST:: SOT 258214 SOS 141450 HAS SOPS 141450 HAS SOUS 126231 HAS SOUPS 126231 WITH SCORE 126372.45
AT ITER 785 NEW BEST:: SOT 258214 SOS 141412 HAS SOPS 141412 HAS SOUS 126193 HAS SOUPS 126193 WITH SCORE 126334.412
AT ITER 789 NEW BEST:: SOT 258098 SOS 141138 HAS SOPS 141138 HAS SOUS 125991 HAS SOUPS 125991 WITH SCORE 126132.138
AT ITER 805 NEW BEST:: SOT 257927 SOS 141175 HAS SOPS 141175 HAS SOUS 125988 HAS SOUPS 125988 WITH SCORE 126129.175
AT ITER 813 NEW BEST:: SOT 257518 SOS 141045 HAS SOPS 141045 HAS SOUS 125829 HAS SOUPS 125829 WITH SCORE 125970.045
AT ITER 815 NEW BEST:: SOT 257527 SOS 140918 HAS SOPS 140918 HAS SOUS 125722 HAS SOUPS 125722 WITH SCORE 125862.918
AT ITER 817 NEW BEST:: SOT 257523 SOS 140798 HAS SOPS 140798 HAS SOUS 125691 HAS SOUPS 125691 WITH SCORE 125831.798
AT ITER 819 NEW BEST:: SOT 257523 SOS 140747 HAS SOPS 140747 HAS SOUS 125634 HAS SOUPS 125634 WITH SCORE 125774.747
AT ITER 820 NEW BEST:: SOT 257483 SOS 140556 HAS SOPS 140556 HAS SOUS 125554 HAS SOUPS 125554 WITH SCORE 125694.556
AT ITER 824 NEW BEST:: SOT 257483 SOS 140468 HAS SOPS 140468 HAS SOUS 125553 HAS SOUPS 125553 WITH SCORE 125693.468
AT ITER 826 NEW BEST:: SOT 257483 SOS 140428 HAS SOPS 140428 HAS SOUS 125553 HAS SOUPS 125553 WITH SCORE 125693.428
AT ITER 835 NEW BEST:: SOT 257449 SOS 140428 HAS SOPS 140428 HAS SOUS 125519 HAS SOUPS 125519 WITH SCORE 125659.428
AT ITER 843 NEW BEST:: SOT 257331 SOS 140608 HAS SOPS 140608 HAS SOUS 125426 HAS SOUPS 125426 WITH SCORE 125566.608
AT ITER 844 NEW BEST:: SOT 257292 SOS 140583 HAS SOPS 140583 HAS SOUS 125401 HAS SOUPS 125401 WITH SCORE 125541.583
AT ITER 851 NEW BEST:: SOT 257250 SOS 140541 HAS SOPS 140541 HAS SOUS 125359 HAS SOUPS 125359 WITH SCORE 125499.541
AT ITER 853 NEW BEST:: SOT 257250 SOS 140460 HAS SOPS 140460 HAS SOUS 125359 HAS SOUPS 125359 WITH SCORE 125499.46
AT ITER 856 NEW BEST:: SOT 257250 SOS 140342 HAS SOPS 140342 HAS SOUS 125359 HAS SOUPS 125359 WITH SCORE 125499.342
AT ITER 862 NEW BEST:: SOT 257211 SOS 140316 HAS SOPS 140316 HAS SOUS 125333 HAS SOUPS 125333 WITH SCORE 125473.316
AT ITER 866 NEW BEST:: SOT 257211 SOS 140239 HAS SOPS 140239 HAS SOUS 125333 HAS SOUPS 125333 WITH SCORE 125473.239
AT ITER 870 NEW BEST:: SOT 257116 SOS 140124 HAS SOPS 140124 HAS SOUS 125260 HAS SOUPS 125260 WITH SCORE 125400.124
AT ITER 874 NEW BEST:: SOT 257269 SOS 140079 HAS SOPS 140079 HAS SOUS 125203 HAS SOUPS 125203 WITH SCORE 125343.079
AT ITER 877 NEW BEST:: SOT 257364 SOS 140040 HAS SOPS 140040 HAS SOUS 125082 HAS SOUPS 125082 WITH SCORE 125222.04
AT ITER 885 NEW BEST:: SOT 257425 SOS 140097 HAS SOPS 140097 HAS SOUS 125080 HAS SOUPS 125080 WITH SCORE 125220.097
AT ITER 891 NEW BEST:: SOT 257331 SOS 140050 HAS SOPS 140050 HAS SOUS 125033 HAS SOUPS 125033 WITH SCORE 125173.05
AT ITER 892 NEW BEST:: SOT 257119 SOS 139863 HAS SOPS 139863 HAS SOUS 124946 HAS SOUPS 124946 WITH SCORE 125085.863
AT ITER 897 NEW BEST:: SOT 257119 SOS 139611 HAS SOPS 139611 HAS SOUS 124904 HAS SOUPS 124904 WITH SCORE 125043.611
AT ITER 922 NEW BEST:: SOT 256892 SOS 140059 HAS SOPS 140059 HAS SOUS 124780 HAS SOUPS 124780 WITH SCORE 124920.059
AT ITER 928 NEW BEST:: SOT 256746 SOS 139981 HAS SOPS 139981 HAS SOUS 124654 HAS SOUPS 124654 WITH SCORE 124793.981
AT ITER 936 NEW BEST:: SOT 256685 SOS 139942 HAS SOPS 139942 HAS SOUS 124615 HAS SOUPS 124615 WITH SCORE 124754.942
AT ITER 945 NEW BEST:: SOT 256685 SOS 139842 HAS SOPS 139842 HAS SOUS 124498 HAS SOUPS 124498 WITH SCORE 124637.842
AT ITER 951 NEW BEST:: SOT 256685 SOS 139792 HAS SOPS 139792 HAS SOUS 124498 HAS SOUPS 124498 WITH SCORE 124637.792
AT ITER 956 NEW BEST:: SOT 256685 SOS 139758 HAS SOPS 139758 HAS SOUS 124496 HAS SOUPS 124496 WITH SCORE 124635.758
AT ITER 958 NEW BEST:: SOT 256816 SOS 139914 HAS SOPS 139914 HAS SOUS 124465 HAS SOUPS 124465 WITH SCORE 124604.914
AT ITER 969 NEW BEST:: SOT 256784 SOS 139905 HAS SOPS 139905 HAS SOUS 124456 HAS SOUPS 124456 WITH SCORE 124595.905
AT ITER 972 NEW BEST:: SOT 256716 SOS 139892 HAS SOPS 139892 HAS SOUS 124443 HAS SOUPS 124443 WITH SCORE 124582.892
AT ITER 975 NEW BEST:: SOT 256363 SOS 139798 HAS SOPS 139798 HAS SOUS 124246 HAS SOUPS 124246 WITH SCORE 124385.798
AT ITER 978 NEW BEST:: SOT 256363 SOS 139814 HAS SOPS 139814 HAS SOUS 124225 HAS SOUPS 124225 WITH SCORE 124364.814
AT ITER 980 NEW BEST:: SOT 256363 SOS 139649 HAS SOPS 139649 HAS SOUS 124150 HAS SOUPS 124150 WITH SCORE 124289.649
AT ITER 983 NEW BEST:: SOT 256306 SOS 139706 HAS SOPS 139706 HAS SOUS 124093 HAS SOUPS 124093 WITH SCORE 124232.706
AT ITER 986 NEW BEST:: SOT 256306 SOS 138838 HAS SOPS 138838 HAS SOUS 124074 HAS SOUPS 124074 WITH SCORE 124212.838
AT ITER 991 NEW BEST:: SOT 256306 SOS 138796 HAS SOPS 138796 HAS SOUS 124074 HAS SOUPS 124074 WITH SCORE 124212.796
AT ITER 992 NEW BEST:: SOT 256306 SOS 138754 HAS SOPS 138754 HAS SOUS 124054 HAS SOUPS 124054 WITH SCORE 124192.754
AT ITER 1001 NEW BEST:: SOT 256304 SOS 138753 HAS SOPS 138753 HAS SOUS 124054 HAS SOUPS 124054 WITH SCORE 124192.753
AT ITER 1010 NEW BEST:: SOT 256304 SOS 138457 HAS SOPS 138457 HAS SOUS 123980 HAS SOUPS 123980 WITH SCORE 124118.457
AT ITER 1012 NEW BEST:: SOT 256304 SOS 138446 HAS SOPS 138446 HAS SOUS 123980 HAS SOUPS 123980 WITH SCORE 124118.446
AT ITER 1021 NEW BEST:: SOT 256304 SOS 138403 HAS SOPS 138403 HAS SOUS 123937 HAS SOUPS 123937 WITH SCORE 124075.403
AT ITER 1023 NEW BEST:: SOT 256197 SOS 138376 HAS SOPS 138376 HAS SOUS 123910 HAS SOUPS 123910 WITH SCORE 124048.376
AT ITER 1030 NEW BEST:: SOT 256197 SOS 138092 HAS SOPS 138092 HAS SOUS 123910 HAS SOUPS 123910 WITH SCORE 124048.092
AT ITER 1037 NEW BEST:: SOT 256197 SOS 138091 HAS SOPS 138091 HAS SOUS 123910 HAS SOUPS 123910 WITH SCORE 124048.091
AT ITER 1038 NEW BEST:: SOT 256240 SOS 138087 HAS SOPS 138087 HAS SOUS 123906 HAS SOUPS 123906 WITH SCORE 124044.087
AT ITER 1040 NEW BEST:: SOT 255860 SOS 138153 HAS SOPS 138153 HAS SOUS 123646 HAS SOUPS 123646 WITH SCORE 123784.153
AT ITER 1049 NEW BEST:: SOT 255738 SOS 138137 HAS SOPS 138137 HAS SOUS 123534 HAS SOUPS 123534 WITH SCORE 123672.137
AT ITER 1051 NEW BEST:: SOT 255738 SOS 138108 HAS SOPS 138108 HAS SOUS 123534 HAS SOUPS 123534 WITH SCORE 123672.108
AT ITER 1060 NEW BEST:: SOT 255689 SOS 138059 HAS SOPS 138059 HAS SOUS 123485 HAS SOUPS 123485 WITH SCORE 123623.059
AT ITER 1063 NEW BEST:: SOT 255752 SOS 137998 HAS SOPS 137998 HAS SOUS 123382 HAS SOUPS 123382 WITH SCORE 123519.998
AT ITER 1069 NEW BEST:: SOT 255550 SOS 137997 HAS SOPS 137997 HAS SOUS 123327 HAS SOUPS 123327 WITH SCORE 123464.997
AT ITER 1070 NEW BEST:: SOT 255499 SOS 137794 HAS SOPS 137794 HAS SOUS 123236 HAS SOUPS 123236 WITH SCORE 123373.794
AT ITER 1077 NEW BEST:: SOT 255499 SOS 137716 HAS SOPS 137716 HAS SOUS 123236 HAS SOUPS 123236 WITH SCORE 123373.716
AT ITER 1090 NEW BEST:: SOT 255445 SOS 137638 HAS SOPS 137638 HAS SOUS 123214 HAS SOUPS 123214 WITH SCORE 123351.638
AT ITER 1092 NEW BEST:: SOT 255297 SOS 138341 HAS SOPS 138341 HAS SOUS 123151 HAS SOUPS 123151 WITH SCORE 123289.341
AT ITER 1098 NEW BEST:: SOT 255297 SOS 138284 HAS SOPS 138284 HAS SOUS 123130 HAS SOUPS 123130 WITH SCORE 123268.284
AT ITER 1104 NEW BEST:: SOT 255249 SOS 138328 HAS SOPS 138328 HAS SOUS 123128 HAS SOUPS 123128 WITH SCORE 123266.328
AT ITER 1107 NEW BEST:: SOT 255241 SOS 138320 HAS SOPS 138320 HAS SOUS 123120 HAS SOUPS 123120 WITH SCORE 123258.32
AT ITER 1108 NEW BEST:: SOT 255188 SOS 138276 HAS SOPS 138276 HAS SOUS 123106 HAS SOUPS 123106 WITH SCORE 123244.276
AT ITER 1118 NEW BEST:: SOT 255087 SOS 138189 HAS SOPS 138189 HAS SOUS 123005 HAS SOUPS 123005 WITH SCORE 123143.189
AT ITER 1126 NEW BEST:: SOT 254862 SOS 138285 HAS SOPS 138285 HAS SOUS 122947 HAS SOUPS 122947 WITH SCORE 123085.285
AT ITER 1133 NEW BEST:: SOT 254862 SOS 138235 HAS SOPS 138235 HAS SOUS 122913 HAS SOUPS 122913 WITH SCORE 123051.235
AT ITER 1143 NEW BEST:: SOT 254642 SOS 138122 HAS SOPS 138122 HAS SOUS 122797 HAS SOUPS 122797 WITH SCORE 122935.122
AT ITER 1151 NEW BEST:: SOT 254519 SOS 138035 HAS SOPS 138035 HAS SOUS 122748 HAS SOUPS 122748 WITH SCORE 122886.035
AT ITER 1154 NEW BEST:: SOT 254509 SOS 138025 HAS SOPS 138025 HAS SOUS 122736 HAS SOUPS 122736 WITH SCORE 122874.025
AT ITER 1159 NEW BEST:: SOT 254419 SOS 137957 HAS SOPS 137957 HAS SOUS 122646 HAS SOUPS 122646 WITH SCORE 122783.957
AT ITER 1167 NEW BEST:: SOT 254419 SOS 137869 HAS SOPS 137869 HAS SOUS 122578 HAS SOUPS 122578 WITH SCORE 122715.869
AT ITER 1168 NEW BEST:: SOT 254050 SOS 137889 HAS SOPS 137889 HAS SOUS 122531 HAS SOUPS 122531 WITH SCORE 122668.889
AT ITER 1169 NEW BEST:: SOT 254030 SOS 137869 HAS SOPS 137869 HAS SOUS 122511 HAS SOUPS 122511 WITH SCORE 122648.869
AT ITER 1173 NEW BEST:: SOT 254023 SOS 137862 HAS SOPS 137862 HAS SOUS 122504 HAS SOUPS 122504 WITH SCORE 122641.862
AT ITER 1176 NEW BEST:: SOT 254121 SOS 137655 HAS SOPS 137655 HAS SOUS 122275 HAS SOUPS 122275 WITH SCORE 122412.655
AT ITER 1178 NEW BEST:: SOT 254121 SOS 137532 HAS SOPS 137532 HAS SOUS 122275 HAS SOUPS 122275 WITH SCORE 122412.532
AT ITER 1187 NEW BEST:: SOT 254097 SOS 137520 HAS SOPS 137520 HAS SOUS 122251 HAS SOUPS 122251 WITH SCORE 122388.52
AT ITER 1190 NEW BEST:: SOT 254002 SOS 137519 HAS SOPS 137519 HAS SOUS 122250 HAS SOUPS 122250 WITH SCORE 122387.519
AT ITER 1207 NEW BEST:: SOT 253999 SOS 137569 HAS SOPS 137569 HAS SOUS 122227 HAS SOUPS 122227 WITH SCORE 122364.569
AT ITER 1216 NEW BEST:: SOT 253979 SOS 137549 HAS SOPS 137549 HAS SOUS 122205 HAS SOUPS 122205 WITH SCORE 122342.549
AT ITER 1248 NEW BEST:: SOT 253973 SOS 137595 HAS SOPS 137595 HAS SOUS 122199 HAS SOUPS 122199 WITH SCORE 122336.595
AT ITER 1256 NEW BEST:: SOT 253970 SOS 137592 HAS SOPS 137592 HAS SOUS 122196 HAS SOUPS 122196 WITH SCORE 122333.592
AT ITER 1258 NEW BEST:: SOT 253970 SOS 137536 HAS SOPS 137536 HAS SOUS 122196 HAS SOUPS 122196 WITH SCORE 122333.536
AT ITER 1260 NEW BEST:: SOT 253925 SOS 137500 HAS SOPS 137500 HAS SOUS 122160 HAS SOUPS 122160 WITH SCORE 122297.5
AT ITER 1265 NEW BEST:: SOT 253795 SOS 137424 HAS SOPS 137424 HAS SOUS 122043 HAS SOUPS 122043 WITH SCORE 122180.424
AT ITER 1277 NEW BEST:: SOT 253524 SOS 137690 HAS SOPS 137690 HAS SOUS 121920 HAS SOUPS 121920 WITH SCORE 122057.69
AT ITER 1288 NEW BEST:: SOT 253518 SOS 137773 HAS SOPS 137773 HAS SOUS 121914 HAS SOUPS 121914 WITH SCORE 122051.773
AT ITER 1298 NEW BEST:: SOT 253518 SOS 137712 HAS SOPS 137712 HAS SOUS 121914 HAS SOUPS 121914 WITH SCORE 122051.712
AT ITER 1299 NEW BEST:: SOT 253474 SOS 138147 HAS SOPS 138147 HAS SOUS 121892 HAS SOUPS 121892 WITH SCORE 122030.147
AT ITER 1306 NEW BEST:: SOT 253245 SOS 138938 HAS SOPS 138938 HAS SOUS 121700 HAS SOUPS 121700 WITH SCORE 121838.938
AT ITER 1307 NEW BEST:: SOT 253244 SOS 138937 HAS SOPS 138937 HAS SOUS 121690 HAS SOUPS 121690 WITH SCORE 121828.937
AT ITER 1320 NEW BEST:: SOT 253080 SOS 138773 HAS SOPS 138773 HAS SOUS 121526 HAS SOUPS 121526 WITH SCORE 121664.773
AT ITER 1324 NEW BEST:: SOT 253080 SOS 138753 HAS SOPS 138753 HAS SOUS 121526 HAS SOUPS 121526 WITH SCORE 121664.753
AT ITER 1326 NEW BEST:: SOT 253048 SOS 138769 HAS SOPS 138769 HAS SOUS 121494 HAS SOUPS 121494 WITH SCORE 121632.769
AT ITER 1337 NEW BEST:: SOT 253094 SOS 137487 HAS SOPS 137487 HAS SOUS 121246 HAS SOUPS 121246 WITH SCORE 121383.487
AT ITER 1345 NEW BEST:: SOT 253094 SOS 137357 HAS SOPS 137357 HAS SOUS 121246 HAS SOUPS 121246 WITH SCORE 121383.357
AT ITER 1347 NEW BEST:: SOT 253094 SOS 137184 HAS SOPS 137184 HAS SOUS 121216 HAS SOUPS 121216 WITH SCORE 121353.184
AT ITER 1351 NEW BEST:: SOT 253140 SOS 136852 HAS SOPS 136852 HAS SOUS 121144 HAS SOUPS 121144 WITH SCORE 121280.852
AT ITER 1359 NEW BEST:: SOT 253132 SOS 136849 HAS SOPS 136849 HAS SOUS 121095 HAS SOUPS 121095 WITH SCORE 121231.849
AT ITER 1365 NEW BEST:: SOT 252836 SOS 136933 HAS SOPS 136933 HAS SOUS 120924 HAS SOUPS 120924 WITH SCORE 121060.933
AT ITER 1373 NEW BEST:: SOT 252778 SOS 136875 HAS SOPS 136875 HAS SOUS 120866 HAS SOUPS 120866 WITH SCORE 121002.875
AT ITER 1385 NEW BEST:: SOT 252899 SOS 135638 HAS SOPS 135638 HAS SOUS 120825 HAS SOUPS 120825 WITH SCORE 120960.638
AT ITER 1395 NEW BEST:: SOT 252798 SOS 135544 HAS SOPS 135544 HAS SOUS 120731 HAS SOUPS 120731 WITH SCORE 120866.544
AT ITER 1408 NEW BEST:: SOT 252798 SOS 135219 HAS SOPS 135219 HAS SOUS 120731 HAS SOUPS 120731 WITH SCORE 120866.219
AT ITER 1410 NEW BEST:: SOT 252798 SOS 135210 HAS SOPS 135210 HAS SOUS 120731 HAS SOUPS 120731 WITH SCORE 120866.21
AT ITER 1411 NEW BEST:: SOT 252798 SOS 135210 HAS SOPS 135210 HAS SOUS 120729 HAS SOUPS 120729 WITH SCORE 120864.21
AT ITER 1425 NEW BEST:: SOT 252664 SOS 135066 HAS SOPS 135066 HAS SOUS 120578 HAS SOUPS 120578 WITH SCORE 120713.066
AT ITER 1429 NEW BEST:: SOT 252598 SOS 135100 HAS SOPS 135100 HAS SOUS 120512 HAS SOUPS 120512 WITH SCORE 120647.1
AT ITER 1430 NEW BEST:: SOT 252494 SOS 135167 HAS SOPS 135167 HAS SOUS 120476 HAS SOUPS 120476 WITH SCORE 120611.167
AT ITER 1435 NEW BEST:: SOT 252395 SOS 135255 HAS SOPS 135255 HAS SOUS 120462 HAS SOUPS 120462 WITH SCORE 120597.255
AT ITER 1437 NEW BEST:: SOT 252067 SOS 135490 HAS SOPS 135490 HAS SOUS 120445 HAS SOUPS 120445 WITH SCORE 120580.49
AT ITER 1445 NEW BEST:: SOT 252067 SOS 135498 HAS SOPS 135498 HAS SOUS 120402 HAS SOUPS 120402 WITH SCORE 120537.498
AT ITER 1453 NEW BEST:: SOT 252055 SOS 135552 HAS SOPS 135552 HAS SOUS 120390 HAS SOUPS 120390 WITH SCORE 120525.552
AT ITER 1460 NEW BEST:: SOT 252024 SOS 135521 HAS SOPS 135521 HAS SOUS 120359 HAS SOUPS 120359 WITH SCORE 120494.521
AT ITER 1461 NEW BEST:: SOT 252095 SOS 135485 HAS SOPS 135485 HAS SOUS 120207 HAS SOUPS 120207 WITH SCORE 120342.485
AT ITER 1470 NEW BEST:: SOT 252095 SOS 135485 HAS SOPS 135485 HAS SOUS 120191 HAS SOUPS 120191 WITH SCORE 120326.485
AT ITER 1473 NEW BEST:: SOT 252037 SOS 135479 HAS SOPS 135479 HAS SOUS 120185 HAS SOUPS 120185 WITH SCORE 120320.479
AT ITER 1476 NEW BEST:: SOT 251914 SOS 135432 HAS SOPS 135432 HAS SOUS 120110 HAS SOUPS 120110 WITH SCORE 120245.432
AT ITER 1482 NEW BEST:: SOT 251895 SOS 135413 HAS SOPS 135413 HAS SOUS 120091 HAS SOUPS 120091 WITH SCORE 120226.413
AT ITER 1488 NEW BEST:: SOT 251886 SOS 135407 HAS SOPS 135407 HAS SOUS 120085 HAS SOUPS 120085 WITH SCORE 120220.407
AT ITER 1491 NEW BEST:: SOT 251854 SOS 135343 HAS SOPS 135343 HAS SOUS 120021 HAS SOUPS 120021 WITH SCORE 120156.343
AT ITER 1493 NEW BEST:: SOT 251854 SOS 135317 HAS SOPS 135317 HAS SOUS 119990 HAS SOUPS 119990 WITH SCORE 120125.317
AT ITER 1503 NEW BEST:: SOT 251853 SOS 135317 HAS SOPS 135317 HAS SOUS 119988 HAS SOUPS 119988 WITH SCORE 120123.317
AT ITER 1506 NEW BEST:: SOT 251819 SOS 135306 HAS SOPS 135306 HAS SOUS 119977 HAS SOUPS 119977 WITH SCORE 120112.306
AT ITER 1511 NEW BEST:: SOT 251914 SOS 135134 HAS SOPS 135134 HAS SOUS 119900 HAS SOUPS 119900 WITH SCORE 120035.134
AT ITER 1514 NEW BEST:: SOT 251987 SOS 134988 HAS SOPS 134988 HAS SOUS 119885 HAS SOUPS 119885 WITH SCORE 120019.988
AT ITER 1516 NEW BEST:: SOT 251987 SOS 135015 HAS SOPS 135015 HAS SOUS 119803 HAS SOUPS 119803 WITH SCORE 119938.015
AT ITER 1517 NEW BEST:: SOT 251991 SOS 135023 HAS SOPS 135023 HAS SOUS 119799 HAS SOUPS 119799 WITH SCORE 119934.023
AT ITER 1527 NEW BEST:: SOT 252002 SOS 135012 HAS SOPS 135012 HAS SOUS 119799 HAS SOUPS 119799 WITH SCORE 119934.012
AT ITER 1530 NEW BEST:: SOT 251582 SOS 135050 HAS SOPS 135050 HAS SOUS 119618 HAS SOUPS 119618 WITH SCORE 119753.05
AT ITER 1534 NEW BEST:: SOT 251582 SOS 134927 HAS SOPS 134927 HAS SOUS 119618 HAS SOUPS 119618 WITH SCORE 119752.927
AT ITER 1548 NEW BEST:: SOT 251582 SOS 134815 HAS SOPS 134815 HAS SOUS 119571 HAS SOUPS 119571 WITH SCORE 119705.815
AT ITER 1554 NEW BEST:: SOT 251432 SOS 134715 HAS SOPS 134715 HAS SOUS 119565 HAS SOUPS 119565 WITH SCORE 119699.715
AT ITER 1579 NEW BEST:: SOT 251432 SOS 134658 HAS SOPS 134658 HAS SOUS 119565 HAS SOUPS 119565 WITH SCORE 119699.658
AT ITER 1586 NEW BEST:: SOT 251432 SOS 134580 HAS SOPS 134580 HAS SOUS 119468 HAS SOUPS 119468 WITH SCORE 119602.58
AT ITER 1590 NEW BEST:: SOT 251409 SOS 134574 HAS SOPS 134574 HAS SOUS 119433 HAS SOUPS 119433 WITH SCORE 119567.574
AT ITER 1593 NEW BEST:: SOT 251409 SOS 134549 HAS SOPS 134549 HAS SOUS 119433 HAS SOUPS 119433 WITH SCORE 119567.549
AT ITER 1611 NEW BEST:: SOT 251333 SOS 134589 HAS SOPS 134589 HAS SOUS 119425 HAS SOUPS 119425 WITH SCORE 119559.589
AT ITER 1612 NEW BEST:: SOT 251315 SOS 134571 HAS SOPS 134571 HAS SOUS 119407 HAS SOUPS 119407 WITH SCORE 119541.571
AT ITER 1620 NEW BEST:: SOT 251315 SOS 134514 HAS SOPS 134514 HAS SOUS 119407 HAS SOUPS 119407 WITH SCORE 119541.514
AT ITER 1634 NEW BEST:: SOT 251219 SOS 134466 HAS SOPS 134466 HAS SOUS 119359 HAS SOUPS 119359 WITH SCORE 119493.466
AT ITER 1637 NEW BEST:: SOT 251214 SOS 134471 HAS SOPS 134471 HAS SOUS 119354 HAS SOUPS 119354 WITH SCORE 119488.471
AT ITER 1638 NEW BEST:: SOT 250952 SOS 134907 HAS SOPS 134907 HAS SOUS 119313 HAS SOUPS 119313 WITH SCORE 119447.907
AT ITER 1639 NEW BEST:: SOT 250939 SOS 134894 HAS SOPS 134894 HAS SOUS 119300 HAS SOUPS 119300 WITH SCORE 119434.894
AT ITER 1642 NEW BEST:: SOT 250964 SOS 134855 HAS SOPS 134855 HAS SOUS 119293 HAS SOUPS 119293 WITH SCORE 119427.855
AT ITER 1659 NEW BEST:: SOT 250981 SOS 134811 HAS SOPS 134811 HAS SOUS 119281 HAS SOUPS 119281 WITH SCORE 119415.811
AT ITER 1664 NEW BEST:: SOT 250872 SOS 134744 HAS SOPS 134744 HAS SOUS 119251 HAS SOUPS 119251 WITH SCORE 119385.744
AT ITER 1667 NEW BEST:: SOT 250905 SOS 134869 HAS SOPS 134869 HAS SOUS 119249 HAS SOUPS 119249 WITH SCORE 119383.869
AT ITER 1678 NEW BEST:: SOT 250867 SOS 134715 HAS SOPS 134715 HAS SOUS 119213 HAS SOUPS 119213 WITH SCORE 119347.715
AT ITER 1689 NEW BEST:: SOT 250867 SOS 134701 HAS SOPS 134701 HAS SOUS 119213 HAS SOUPS 119213 WITH SCORE 119347.701
AT ITER 1706 NEW BEST:: SOT 250867 SOS 134532 HAS SOPS 134532 HAS SOUS 119213 HAS SOUPS 119213 WITH SCORE 119347.532
AT ITER 1725 NEW BEST:: SOT 250867 SOS 134405 HAS SOPS 134405 HAS SOUS 119191 HAS SOUPS 119191 WITH SCORE 119325.405
AT ITER 1745 NEW BEST:: SOT 250867 SOS 134390 HAS SOPS 134390 HAS SOUS 119140 HAS SOUPS 119140 WITH SCORE 119274.39
AT ITER 1748 NEW BEST:: SOT 250727 SOS 134274 HAS SOPS 134274 HAS SOUS 119050 HAS SOUPS 119050 WITH SCORE 119184.274
AT ITER 1767 NEW BEST:: SOT 250557 SOS 135701 HAS SOPS 135701 HAS SOUS 118908 HAS SOUPS 118908 WITH SCORE 119043.701
AT ITER 1769 NEW BEST:: SOT 250557 SOS 135667 HAS SOPS 135667 HAS SOUS 118908 HAS SOUPS 118908 WITH SCORE 119043.667
AT ITER 1773 NEW BEST:: SOT 250580 SOS 135590 HAS SOPS 135590 HAS SOUS 118881 HAS SOUPS 118881 WITH SCORE 119016.59
AT ITER 1792 NEW BEST:: SOT 250580 SOS 135583 HAS SOPS 135583 HAS SOUS 118881 HAS SOUPS 118881 WITH SCORE 119016.583
AT ITER 1794 NEW BEST:: SOT 250369 SOS 135403 HAS SOPS 135403 HAS SOUS 118701 HAS SOUPS 118701 WITH SCORE 118836.403
AT ITER 1804 NEW BEST:: SOT 250086 SOS 136035 HAS SOPS 136035 HAS SOUS 118622 HAS SOUPS 118622 WITH SCORE 118758.035
AT ITER 1814 NEW BEST:: SOT 250086 SOS 135981 HAS SOPS 135981 HAS SOUS 118592 HAS SOUPS 118592 WITH SCORE 118727.981
AT ITER 1820 NEW BEST:: SOT 250004 SOS 135946 HAS SOPS 135946 HAS SOUS 118557 HAS SOUPS 118557 WITH SCORE 118692.946
AT ITER 1826 NEW BEST:: SOT 249707 SOS 136332 HAS SOPS 136332 HAS SOUS 118550 HAS SOUPS 118550 WITH SCORE 118686.332
AT ITER 1835 NEW BEST:: SOT 249707 SOS 136290 HAS SOPS 136290 HAS SOUS 118515 HAS SOUPS 118515 WITH SCORE 118651.29
AT ITER 1843 NEW BEST:: SOT 249438 SOS 136275 HAS SOPS 136275 HAS SOUS 118348 HAS SOUPS 118348 WITH SCORE 118484.275
AT ITER 1848 NEW BEST:: SOT 249080 SOS 136105 HAS SOPS 136105 HAS SOUS 118214 HAS SOUPS 118214 WITH SCORE 118350.105
AT ITER 1850 NEW BEST:: SOT 248864 SOS 135966 HAS SOPS 135966 HAS SOUS 118075 HAS SOUPS 118075 WITH SCORE 118210.966
AT ITER 1873 NEW BEST:: SOT 248631 SOS 136955 HAS SOPS 136955 HAS SOUS 118006 HAS SOUPS 118006 WITH SCORE 118142.955
AT ITER 1890 NEW BEST:: SOT 248434 SOS 136841 HAS SOPS 136841 HAS SOUS 117892 HAS SOUPS 117892 WITH SCORE 118028.841
AT ITER 1896 NEW BEST:: SOT 248225 SOS 136732 HAS SOPS 136732 HAS SOUS 117783 HAS SOUPS 117783 WITH SCORE 117919.732
AT ITER 1900 NEW BEST:: SOT 248225 SOS 136543 HAS SOPS 136543 HAS SOUS 117774 HAS SOUPS 117774 WITH SCORE 117910.543
AT ITER 1902 NEW BEST:: SOT 248222 SOS 136540 HAS SOPS 136540 HAS SOUS 117771 HAS SOUPS 117771 WITH SCORE 117907.54
AT ITER 1903 NEW BEST:: SOT 248105 SOS 136546 HAS SOPS 136546 HAS SOUS 117763 HAS SOUPS 117763 WITH SCORE 117899.546
AT ITER 1907 NEW BEST:: SOT 248105 SOS 136540 HAS SOPS 136540 HAS SOUS 117763 HAS SOUPS 117763 WITH SCORE 117899.54
AT ITER 1915 NEW BEST:: SOT 247998 SOS 136433 HAS SOPS 136433 HAS SOUS 117656 HAS SOUPS 117656 WITH SCORE 117792.433
AT ITER 1928 NEW BEST:: SOT 247978 SOS 136423 HAS SOPS 136423 HAS SOUS 117656 HAS SOUPS 117656 WITH SCORE 117792.423
AT ITER 1934 NEW BEST:: SOT 247910 SOS 136380 HAS SOPS 136380 HAS SOUS 117613 HAS SOUPS 117613 WITH SCORE 117749.38
AT ITER 1941 NEW BEST:: SOT 247910 SOS 136165 HAS SOPS 136165 HAS SOUS 117595 HAS SOUPS 117595 WITH SCORE 117731.165
AT ITER 1942 NEW BEST:: SOT 247910 SOS 136106 HAS SOPS 136106 HAS SOUS 117595 HAS SOUPS 117595 WITH SCORE 117731.106
AT ITER 1946 NEW BEST:: SOT 247910 SOS 136106 HAS SOPS 136106 HAS SOUS 117589 HAS SOUPS 117589 WITH SCORE 117725.106
AT ITER 1953 NEW BEST:: SOT 247909 SOS 136105 HAS SOPS 136105 HAS SOUS 117588 HAS SOUPS 117588 WITH SCORE 117724.105
AT ITER 1957 NEW BEST:: SOT 247859 SOS 136055 HAS SOPS 136055 HAS SOUS 117498 HAS SOUPS 117498 WITH SCORE 117634.055
AT ITER 1973 NEW BEST:: SOT 247707 SOS 136011 HAS SOPS 136011 HAS SOUS 117454 HAS SOUPS 117454 WITH SCORE 117590.011
AT ITER 1982 NEW BEST:: SOT 247707 SOS 136011 HAS SOPS 136011 HAS SOUS 117443 HAS SOUPS 117443 WITH SCORE 117579.011
AT ITER 1988 NEW BEST:: SOT 247707 SOS 135977 HAS SOPS 135977 HAS SOUS 117427 HAS SOUPS 117427 WITH SCORE 117562.977
AT ITER 1990 NEW BEST:: SOT 247529 SOS 135902 HAS SOPS 135902 HAS SOUS 117352 HAS SOUPS 117352 WITH SCORE 117487.902
AT ITER 2006 NEW BEST:: SOT 247522 SOS 135795 HAS SOPS 135795 HAS SOUS 117231 HAS SOUPS 117231 WITH SCORE 117366.795
AT ITER 2016 NEW BEST:: SOT 247486 SOS 135759 HAS SOPS 135759 HAS SOUS 117195 HAS SOUPS 117195 WITH SCORE 117330.759
AT ITER 2020 NEW BEST:: SOT 247473 SOS 135701 HAS SOPS 135701 HAS SOUS 117085 HAS SOUPS 117085 WITH SCORE 117220.701
AT ITER 2021 NEW BEST:: SOT 247473 SOS 135695 HAS SOPS 135695 HAS SOUS 117013 HAS SOUPS 117013 WITH SCORE 117148.695
AT ITER 2031 NEW BEST:: SOT 247382 SOS 135846 HAS SOPS 135846 HAS SOUS 116922 HAS SOUPS 116922 WITH SCORE 117057.846
AT ITER 2042 NEW BEST:: SOT 247358 SOS 135754 HAS SOPS 135754 HAS SOUS 116898 HAS SOUPS 116898 WITH SCORE 117033.754
AT ITER 2046 NEW BEST:: SOT 247358 SOS 135676 HAS SOPS 135676 HAS SOUS 116820 HAS SOUPS 116820 WITH SCORE 116955.676
AT ITER 2047 NEW BEST:: SOT 247238 SOS 135733 HAS SOPS 135733 HAS SOUS 116785 HAS SOUPS 116785 WITH SCORE 116920.733
AT ITER 2049 NEW BEST:: SOT 247183 SOS 135653 HAS SOPS 135653 HAS SOUS 116676 HAS SOUPS 116676 WITH SCORE 116811.653
AT ITER 2053 NEW BEST:: SOT 247203 SOS 135592 HAS SOPS 135592 HAS SOUS 116615 HAS SOUPS 116615 WITH SCORE 116750.592
AT ITER 2061 NEW BEST:: SOT 246863 SOS 136008 HAS SOPS 136008 HAS SOUS 116469 HAS SOUPS 116469 WITH SCORE 116605.008
AT ITER 2072 NEW BEST:: SOT 246351 SOS 136251 HAS SOPS 136251 HAS SOUS 116288 HAS SOUPS 116288 WITH SCORE 116424.251
AT ITER 2087 NEW BEST:: SOT 246350 SOS 136250 HAS SOPS 136250 HAS SOUS 116281 HAS SOUPS 116281 WITH SCORE 116417.25
AT ITER 2096 NEW BEST:: SOT 246341 SOS 136241 HAS SOPS 136241 HAS SOUS 116272 HAS SOUPS 116272 WITH SCORE 116408.241
AT ITER 2117 NEW BEST:: SOT 246341 SOS 136157 HAS SOPS 136157 HAS SOUS 116195 HAS SOUPS 116195 WITH SCORE 116331.157
AT ITER 2118 NEW BEST:: SOT 246247 SOS 136266 HAS SOPS 136266 HAS SOUS 116193 HAS SOUPS 116193 WITH SCORE 116329.266
AT ITER 2119 NEW BEST:: SOT 246217 SOS 136236 HAS SOPS 136236 HAS SOUS 116163 HAS SOUPS 116163 WITH SCORE 116299.236
AT ITER 2122 NEW BEST:: SOT 246089 SOS 136148 HAS SOPS 136148 HAS SOUS 116075 HAS SOUPS 116075 WITH SCORE 116211.148
AT ITER 2126 NEW BEST:: SOT 245831 SOS 136408 HAS SOPS 136408 HAS SOUS 115859 HAS SOUPS 115859 WITH SCORE 115995.408
AT ITER 2129 NEW BEST:: SOT 245738 SOS 136346 HAS SOPS 136346 HAS SOUS 115828 HAS SOUPS 115828 WITH SCORE 115964.346
AT ITER 2133 NEW BEST:: SOT 245720 SOS 136397 HAS SOPS 136397 HAS SOUS 115797 HAS SOUPS 115797 WITH SCORE 115933.397
AT ITER 2136 NEW BEST:: SOT 245537 SOS 136822 HAS SOPS 136822 HAS SOUS 115666 HAS SOUPS 115666 WITH SCORE 115802.822
AT ITER 2138 NEW BEST:: SOT 245537 SOS 136754 HAS SOPS 136754 HAS SOUS 115666 HAS SOUPS 115666 WITH SCORE 115802.754
AT ITER 2139 NEW BEST:: SOT 245507 SOS 136648 HAS SOPS 136648 HAS SOUS 115567 HAS SOUPS 115567 WITH SCORE 115703.648
AT ITER 2173 NEW BEST:: SOT 245214 SOS 136442 HAS SOPS 136442 HAS SOUS 115410 HAS SOUPS 115410 WITH SCORE 115546.442
AT ITER 2181 NEW BEST:: SOT 245214 SOS 136421 HAS SOPS 136421 HAS SOUS 115410 HAS SOUPS 115410 WITH SCORE 115546.421
AT ITER 2193 NEW BEST:: SOT 245161 SOS 136484 HAS SOPS 136484 HAS SOUS 115313 HAS SOUPS 115313 WITH SCORE 115449.484
AT ITER 2196 NEW BEST:: SOT 245130 SOS 136466 HAS SOPS 136466 HAS SOUS 115308 HAS SOUPS 115308 WITH SCORE 115444.466
AT ITER 2198 NEW BEST:: SOT 245130 SOS 136342 HAS SOPS 136342 HAS SOUS 115300 HAS SOUPS 115300 WITH SCORE 115436.342
AT ITER 2199 NEW BEST:: SOT 245115 SOS 136407 HAS SOPS 136407 HAS SOUS 115284 HAS SOUPS 115284 WITH SCORE 115420.407
AT ITER 2204 NEW BEST:: SOT 245097 SOS 136389 HAS SOPS 136389 HAS SOUS 115266 HAS SOUPS 115266 WITH SCORE 115402.389
AT ITER 2205 NEW BEST:: SOT 244969 SOS 136293 HAS SOPS 136293 HAS SOUS 115138 HAS SOUPS 115138 WITH SCORE 115274.293
AT ITER 2214 NEW BEST:: SOT 244969 SOS 136157 HAS SOPS 136157 HAS SOUS 115080 HAS SOUPS 115080 WITH SCORE 115216.157
AT ITER 2219 NEW BEST:: SOT 244969 SOS 136035 HAS SOPS 136035 HAS SOUS 115080 HAS SOUPS 115080 WITH SCORE 115216.035
AT ITER 2225 NEW BEST:: SOT 244810 SOS 136018 HAS SOPS 136018 HAS SOUS 114921 HAS SOUPS 114921 WITH SCORE 115057.018
AT ITER 2235 NEW BEST:: SOT 244810 SOS 135994 HAS SOPS 135994 HAS SOUS 114921 HAS SOUPS 114921 WITH SCORE 115056.994
AT ITER 2236 NEW BEST:: SOT 244813 SOS 135837 HAS SOPS 135837 HAS SOUS 114861 HAS SOUPS 114861 WITH SCORE 114996.837
AT ITER 2239 NEW BEST:: SOT 244810 SOS 135834 HAS SOPS 135834 HAS SOUS 114858 HAS SOUPS 114858 WITH SCORE 114993.834
AT ITER 2244 NEW BEST:: SOT 244780 SOS 135699 HAS SOPS 135699 HAS SOUS 114807 HAS SOUPS 114807 WITH SCORE 114942.699
AT ITER 2246 NEW BEST:: SOT 244812 SOS 135731 HAS SOPS 135731 HAS SOUS 114799 HAS SOUPS 114799 WITH SCORE 114934.731
AT ITER 2250 NEW BEST:: SOT 244367 SOS 135771 HAS SOPS 135771 HAS SOUS 114642 HAS SOUPS 114642 WITH SCORE 114777.771
AT ITER 2257 NEW BEST:: SOT 244348 SOS 135757 HAS SOPS 135757 HAS SOUS 114628 HAS SOUPS 114628 WITH SCORE 114763.757
AT ITER 2264 NEW BEST:: SOT 244348 SOS 135712 HAS SOPS 135712 HAS SOUS 114628 HAS SOUPS 114628 WITH SCORE 114763.712
AT ITER 2266 NEW BEST:: SOT 244348 SOS 135637 HAS SOPS 135637 HAS SOUS 114628 HAS SOUPS 114628 WITH SCORE 114763.637
AT ITER 2269 NEW BEST:: SOT 244262 SOS 135577 HAS SOPS 135577 HAS SOUS 114620 HAS SOUPS 114620 WITH SCORE 114755.577
AT ITER 2287 NEW BEST:: SOT 243766 SOS 135343 HAS SOPS 135343 HAS SOUS 114523 HAS SOUPS 114523 WITH SCORE 114658.343
AT ITER 2303 NEW BEST:: SOT 243590 SOS 135216 HAS SOPS 135216 HAS SOUS 114447 HAS SOUPS 114447 WITH SCORE 114582.216
AT ITER 2312 NEW BEST:: SOT 243389 SOS 135086 HAS SOPS 135086 HAS SOUS 114421 HAS SOUPS 114421 WITH SCORE 114556.086
AT ITER 2313 NEW BEST:: SOT 243389 SOS 135057 HAS SOPS 135057 HAS SOUS 114421 HAS SOUPS 114421 WITH SCORE 114556.057
AT ITER 2314 NEW BEST:: SOT 243229 SOS 134945 HAS SOPS 134945 HAS SOUS 114276 HAS SOUPS 114276 WITH SCORE 114410.945
AT ITER 2322 NEW BEST:: SOT 243229 SOS 134933 HAS SOPS 134933 HAS SOUS 114250 HAS SOUPS 114250 WITH SCORE 114384.933
AT ITER 2323 NEW BEST:: SOT 242977 SOS 134751 HAS SOPS 134751 HAS SOUS 114068 HAS SOUPS 114068 WITH SCORE 114202.751
AT ITER 2329 NEW BEST:: SOT 242922 SOS 134707 HAS SOPS 134707 HAS SOUS 114024 HAS SOUPS 114024 WITH SCORE 114158.707
AT ITER 2346 NEW BEST:: SOT 242851 SOS 134636 HAS SOPS 134636 HAS SOUS 114008 HAS SOUPS 114008 WITH SCORE 114142.636
AT ITER 2351 NEW BEST:: SOT 242851 SOS 134636 HAS SOPS 134636 HAS SOUS 114007 HAS SOUPS 114007 WITH SCORE 114141.636
AT ITER 2353 NEW BEST:: SOT 242806 SOS 134591 HAS SOPS 134591 HAS SOUS 113962 HAS SOUPS 113962 WITH SCORE 114096.591
AT ITER 2363 NEW BEST:: SOT 242752 SOS 134586 HAS SOPS 134586 HAS SOUS 113930 HAS SOUPS 113930 WITH SCORE 114064.586
AT ITER 2380 NEW BEST:: SOT 242751 SOS 134534 HAS SOPS 134534 HAS SOUS 113864 HAS SOUPS 113864 WITH SCORE 113998.534
AT ITER 2386 NEW BEST:: SOT 242391 SOS 134786 HAS SOPS 134786 HAS SOUS 113679 HAS SOUPS 113679 WITH SCORE 113813.786
AT ITER 2389 NEW BEST:: SOT 242322 SOS 134759 HAS SOPS 134759 HAS SOUS 113633 HAS SOUPS 113633 WITH SCORE 113767.759
AT ITER 2395 NEW BEST:: SOT 242295 SOS 134769 HAS SOPS 134769 HAS SOUS 113627 HAS SOUPS 113627 WITH SCORE 113761.769
AT ITER 2396 NEW BEST:: SOT 242295 SOS 134688 HAS SOPS 134688 HAS SOUS 113627 HAS SOUPS 113627 WITH SCORE 113761.688
AT ITER 2410 NEW BEST:: SOT 242127 SOS 135253 HAS SOPS 135253 HAS SOUS 113606 HAS SOUPS 113606 WITH SCORE 113741.253
AT ITER 2420 NEW BEST:: SOT 242239 SOS 135268 HAS SOPS 135268 HAS SOUS 113483 HAS SOUPS 113483 WITH SCORE 113618.268
AT ITER 2429 NEW BEST:: SOT 242023 SOS 135197 HAS SOPS 135197 HAS SOUS 113412 HAS SOUPS 113412 WITH SCORE 113547.197
AT ITER 2434 NEW BEST:: SOT 241796 SOS 135122 HAS SOPS 135122 HAS SOUS 113337 HAS SOUPS 113337 WITH SCORE 113472.122
AT ITER 2441 NEW BEST:: SOT 241796 SOS 135122 HAS SOPS 135122 HAS SOUS 113287 HAS SOUPS 113287 WITH SCORE 113422.122
AT ITER 2444 NEW BEST:: SOT 241796 SOS 135094 HAS SOPS 135094 HAS SOUS 113287 HAS SOUPS 113287 WITH SCORE 113422.094
AT ITER 2451 NEW BEST:: SOT 241796 SOS 135026 HAS SOPS 135026 HAS SOUS 113253 HAS SOUPS 113253 WITH SCORE 113388.026
AT ITER 2485 NEW BEST:: SOT 241568 SOS 134851 HAS SOPS 134851 HAS SOUS 113078 HAS SOUPS 113078 WITH SCORE 113212.851
AT ITER 2492 NEW BEST:: SOT 241513 SOS 134796 HAS SOPS 134796 HAS SOUS 113066 HAS SOUPS 113066 WITH SCORE 113200.796
AT ITER 2502 NEW BEST:: SOT 241578 SOS 134981 HAS SOPS 134981 HAS SOUS 113046 HAS SOUPS 113046 WITH SCORE 113180.981
AT ITER 2507 NEW BEST:: SOT 241578 SOS 134980 HAS SOPS 134980 HAS SOUS 113046 HAS SOUPS 113046 WITH SCORE 113180.98
AT ITER 2508 NEW BEST:: SOT 241575 SOS 134968 HAS SOPS 134968 HAS SOUS 113046 HAS SOUPS 113046 WITH SCORE 113180.968
AT ITER 2509 NEW BEST:: SOT 241564 SOS 134940 HAS SOPS 134940 HAS SOUS 113034 HAS SOUPS 113034 WITH SCORE 113168.94
AT ITER 2512 NEW BEST:: SOT 241564 SOS 134919 HAS SOPS 134919 HAS SOUS 113034 HAS SOUPS 113034 WITH SCORE 113168.919
AT ITER 2549 NEW BEST:: SOT 241564 SOS 134622 HAS SOPS 134622 HAS SOUS 113028 HAS SOUPS 113028 WITH SCORE 113162.622
AT ITER 2555 NEW BEST:: SOT 241404 SOS 134511 HAS SOPS 134511 HAS SOUS 112917 HAS SOUPS 112917 WITH SCORE 113051.511
AT ITER 2567 NEW BEST:: SOT 241390 SOS 134497 HAS SOPS 134497 HAS SOUS 112903 HAS SOUPS 112903 WITH SCORE 113037.497
AT ITER 2572 NEW BEST:: SOT 241378 SOS 134485 HAS SOPS 134485 HAS SOUS 112887 HAS SOUPS 112887 WITH SCORE 113021.485
AT ITER 2583 NEW BEST:: SOT 241304 SOS 134411 HAS SOPS 134411 HAS SOUS 112813 HAS SOUPS 112813 WITH SCORE 112947.411
AT ITER 2600 NEW BEST:: SOT 241260 SOS 134367 HAS SOPS 134367 HAS SOUS 112769 HAS SOUPS 112769 WITH SCORE 112903.367
AT ITER 2602 NEW BEST:: SOT 241260 SOS 134333 HAS SOPS 134333 HAS SOUS 112705 HAS SOUPS 112705 WITH SCORE 112839.333
AT ITER 2609 NEW BEST:: SOT 241143 SOS 134216 HAS SOPS 134216 HAS SOUS 112513 HAS SOUPS 112513 WITH SCORE 112647.216
AT ITER 2612 NEW BEST:: SOT 241143 SOS 134216 HAS SOPS 134216 HAS SOUS 112491 HAS SOUPS 112491 WITH SCORE 112625.216
AT ITER 2614 NEW BEST:: SOT 241143 SOS 134111 HAS SOPS 134111 HAS SOUS 112427 HAS SOUPS 112427 WITH SCORE 112561.111
AT ITER 2619 NEW BEST:: SOT 241087 SOS 134055 HAS SOPS 134055 HAS SOUS 112371 HAS SOUPS 112371 WITH SCORE 112505.055
AT ITER 2627 NEW BEST:: SOT 241087 SOS 133901 HAS SOPS 133901 HAS SOUS 112371 HAS SOUPS 112371 WITH SCORE 112504.901
AT ITER 2629 NEW BEST:: SOT 241087 SOS 133851 HAS SOPS 133851 HAS SOUS 112346 HAS SOUPS 112346 WITH SCORE 112479.851
AT ITER 2647 NEW BEST:: SOT 240980 SOS 133830 HAS SOPS 133830 HAS SOUS 112325 HAS SOUPS 112325 WITH SCORE 112458.83
AT ITER 2648 NEW BEST:: SOT 240868 SOS 133802 HAS SOPS 133802 HAS SOUS 112241 HAS SOUPS 112241 WITH SCORE 112374.802
AT ITER 2656 NEW BEST:: SOT 240766 SOS 133930 HAS SOPS 133930 HAS SOUS 112153 HAS SOUPS 112153 WITH SCORE 112286.93
AT ITER 2669 NEW BEST:: SOT 240773 SOS 133927 HAS SOPS 133927 HAS SOUS 112150 HAS SOUPS 112150 WITH SCORE 112283.927
AT ITER 2674 NEW BEST:: SOT 240773 SOS 133941 HAS SOPS 133941 HAS SOUS 112139 HAS SOUPS 112139 WITH SCORE 112272.941
AT ITER 2680 NEW BEST:: SOT 240773 SOS 133870 HAS SOPS 133870 HAS SOUS 112139 HAS SOUPS 112139 WITH SCORE 112272.87
AT ITER 2681 NEW BEST:: SOT 240824 SOS 133921 HAS SOPS 133921 HAS SOUS 112119 HAS SOUPS 112119 WITH SCORE 112252.921
AT ITER 2683 NEW BEST:: SOT 240425 SOS 134637 HAS SOPS 134637 HAS SOUS 111968 HAS SOUPS 111968 WITH SCORE 112102.637
AT ITER 2703 NEW BEST:: SOT 240398 SOS 134619 HAS SOPS 134619 HAS SOUS 111950 HAS SOUPS 111950 WITH SCORE 112084.619
AT ITER 2728 NEW BEST:: SOT 240333 SOS 134554 HAS SOPS 134554 HAS SOUS 111885 HAS SOUPS 111885 WITH SCORE 112019.554
AT ITER 2729 NEW BEST:: SOT 240181 SOS 134402 HAS SOPS 134402 HAS SOUS 111733 HAS SOUPS 111733 WITH SCORE 111867.402
AT ITER 2737 NEW BEST:: SOT 240322 SOS 134333 HAS SOPS 134333 HAS SOUS 111651 HAS SOUPS 111651 WITH SCORE 111785.333
AT ITER 2746 NEW BEST:: SOT 240286 SOS 134304 HAS SOPS 134304 HAS SOUS 111631 HAS SOUPS 111631 WITH SCORE 111765.304
AT ITER 2749 NEW BEST:: SOT 240286 SOS 134349 HAS SOPS 134349 HAS SOUS 111599 HAS SOUPS 111599 WITH SCORE 111733.349
AT ITER 2765 NEW BEST:: SOT 240229 SOS 134292 HAS SOPS 134292 HAS SOUS 111542 HAS SOUPS 111542 WITH SCORE 111676.292
AT ITER 2768 NEW BEST:: SOT 240218 SOS 134297 HAS SOPS 134297 HAS SOUS 111539 HAS SOUPS 111539 WITH SCORE 111673.297
AT ITER 2771 NEW BEST:: SOT 240287 SOS 133698 HAS SOPS 133698 HAS SOUS 111490 HAS SOUPS 111490 WITH SCORE 111623.698
AT ITER 2779 NEW BEST:: SOT 240287 SOS 133647 HAS SOPS 133647 HAS SOUS 111434 HAS SOUPS 111434 WITH SCORE 111567.647
AT ITER 2781 NEW BEST:: SOT 240217 SOS 133612 HAS SOPS 133612 HAS SOUS 111434 HAS SOUPS 111434 WITH SCORE 111567.612
AT ITER 2783 NEW BEST:: SOT 240217 SOS 133607 HAS SOPS 133607 HAS SOUS 111434 HAS SOUPS 111434 WITH SCORE 111567.607
AT ITER 2784 NEW BEST:: SOT 240206 SOS 133596 HAS SOPS 133596 HAS SOUS 111423 HAS SOUPS 111423 WITH SCORE 111556.596
AT ITER 2797 NEW BEST:: SOT 240206 SOS 133671 HAS SOPS 133671 HAS SOUS 111375 HAS SOUPS 111375 WITH SCORE 111508.671
AT ITER 2798 NEW BEST:: SOT 240359 SOS 133443 HAS SOPS 133443 HAS SOUS 111361 HAS SOUPS 111361 WITH SCORE 111494.443
AT ITER 2799 NEW BEST:: SOT 240309 SOS 133372 HAS SOPS 133372 HAS SOUS 111347 HAS SOUPS 111347 WITH SCORE 111480.372
AT ITER 2809 NEW BEST:: SOT 240277 SOS 133359 HAS SOPS 133359 HAS SOUS 111315 HAS SOUPS 111315 WITH SCORE 111448.359
AT ITER 2813 NEW BEST:: SOT 240277 SOS 132866 HAS SOPS 132866 HAS SOUS 111315 HAS SOUPS 111315 WITH SCORE 111447.866
AT ITER 2817 NEW BEST:: SOT 240307 SOS 132870 HAS SOPS 132870 HAS SOUS 111242 HAS SOUPS 111242 WITH SCORE 111374.87
AT ITER 2859 NEW BEST:: SOT 240275 SOS 132838 HAS SOPS 132838 HAS SOUS 111210 HAS SOUPS 111210 WITH SCORE 111342.838
AT ITER 2878 NEW BEST:: SOT 240275 SOS 132823 HAS SOPS 132823 HAS SOUS 111210 HAS SOUPS 111210 WITH SCORE 111342.823
AT ITER 2894 NEW BEST:: SOT 240275 SOS 132766 HAS SOPS 132766 HAS SOUS 111210 HAS SOUPS 111210 WITH SCORE 111342.766
AT ITER 2895 NEW BEST:: SOT 240270 SOS 132766 HAS SOPS 132766 HAS SOUS 111205 HAS SOUPS 111205 WITH SCORE 111337.766
AT ITER 2896 NEW BEST:: SOT 240270 SOS 132733 HAS SOPS 132733 HAS SOUS 111205 HAS SOUPS 111205 WITH SCORE 111337.733
AT ITER 2908 NEW BEST:: SOT 240265 SOS 132728 HAS SOPS 132728 HAS SOUS 111186 HAS SOUPS 111186 WITH SCORE 111318.728
AT ITER 2911 NEW BEST:: SOT 240262 SOS 132725 HAS SOPS 132725 HAS SOUS 111183 HAS SOUPS 111183 WITH SCORE 111315.725
AT ITER 2914 NEW BEST:: SOT 240288 SOS 132650 HAS SOPS 132650 HAS SOUS 111157 HAS SOUPS 111157 WITH SCORE 111289.65
AT ITER 2923 NEW BEST:: SOT 239871 SOS 132731 HAS SOPS 132731 HAS SOUS 111025 HAS SOUPS 111025 WITH SCORE 111157.731
AT ITER 2931 NEW BEST:: SOT 239871 SOS 132731 HAS SOPS 132731 HAS SOUS 111023 HAS SOUPS 111023 WITH SCORE 111155.731
AT ITER 2937 NEW BEST:: SOT 239801 SOS 132661 HAS SOPS 132661 HAS SOUS 110914 HAS SOUPS 110914 WITH SCORE 111046.661
AT ITER 2941 NEW BEST:: SOT 239511 SOS 132816 HAS SOPS 132816 HAS SOUS 110718 HAS SOUPS 110718 WITH SCORE 110850.816
AT ITER 2943 NEW BEST:: SOT 239481 SOS 132786 HAS SOPS 132786 HAS SOUS 110685 HAS SOUPS 110685 WITH SCORE 110817.786
AT ITER 2979 NEW BEST:: SOT 239481 SOS 132807 HAS SOPS 132807 HAS SOUS 110664 HAS SOUPS 110664 WITH SCORE 110796.807
AT ITER 2981 NEW BEST:: SOT 239448 SOS 132774 HAS SOPS 132774 HAS SOUS 110631 HAS SOUPS 110631 WITH SCORE 110763.774
AT ITER 3005 NEW BEST:: SOT 239399 SOS 132793 HAS SOPS 132793 HAS SOUS 110629 HAS SOUPS 110629 WITH SCORE 110761.793
AT ITER 3007 NEW BEST:: SOT 239320 SOS 132615 HAS SOPS 132615 HAS SOUS 110521 HAS SOUPS 110521 WITH SCORE 110653.615
AT ITER 3014 NEW BEST:: SOT 239320 SOS 132615 HAS SOPS 132615 HAS SOUS 110486 HAS SOUPS 110486 WITH SCORE 110618.615
AT ITER 3021 NEW BEST:: SOT 239330 SOS 132625 HAS SOPS 132625 HAS SOUS 110433 HAS SOUPS 110433 WITH SCORE 110565.625
AT ITER 3052 NEW BEST:: SOT 239322 SOS 132850 HAS SOPS 132850 HAS SOUS 110425 HAS SOUPS 110425 WITH SCORE 110557.85
AT ITER 3053 NEW BEST:: SOT 239288 SOS 132663 HAS SOPS 132663 HAS SOUS 110352 HAS SOUPS 110352 WITH SCORE 110484.663
AT ITER 3054 NEW BEST:: SOT 239315 SOS 132629 HAS SOPS 132629 HAS SOUS 110313 HAS SOUPS 110313 WITH SCORE 110445.629
AT ITER 3064 NEW BEST:: SOT 239315 SOS 132713 HAS SOPS 132713 HAS SOUS 110312 HAS SOUPS 110312 WITH SCORE 110444.713
AT ITER 3066 NEW BEST:: SOT 239267 SOS 132732 HAS SOPS 132732 HAS SOUS 110230 HAS SOUPS 110230 WITH SCORE 110362.732
AT ITER 3075 NEW BEST:: SOT 239262 SOS 132727 HAS SOPS 132727 HAS SOUS 110225 HAS SOUPS 110225 WITH SCORE 110357.727
AT ITER 3109 NEW BEST:: SOT 239262 SOS 132659 HAS SOPS 132659 HAS SOUS 110225 HAS SOUPS 110225 WITH SCORE 110357.659
AT ITER 3114 NEW BEST:: SOT 239337 SOS 132654 HAS SOPS 132654 HAS SOUS 110220 HAS SOUPS 110220 WITH SCORE 110352.654
AT ITER 3120 NEW BEST:: SOT 238945 SOS 132433 HAS SOPS 132433 HAS SOUS 110183 HAS SOUPS 110183 WITH SCORE 110315.433
AT ITER 3121 NEW BEST:: SOT 238940 SOS 132428 HAS SOPS 132428 HAS SOUS 110178 HAS SOUPS 110178 WITH SCORE 110310.428
AT ITER 3123 NEW BEST:: SOT 238951 SOS 132358 HAS SOPS 132358 HAS SOUS 110075 HAS SOUPS 110075 WITH SCORE 110207.358
AT ITER 3129 NEW BEST:: SOT 238953 SOS 132368 HAS SOPS 132368 HAS SOUS 110069 HAS SOUPS 110069 WITH SCORE 110201.368
AT ITER 3130 NEW BEST:: SOT 238963 SOS 132357 HAS SOPS 132357 HAS SOUS 110051 HAS SOUPS 110051 WITH SCORE 110183.357
AT ITER 3135 NEW BEST:: SOT 238931 SOS 132456 HAS SOPS 132456 HAS SOUS 110004 HAS SOUPS 110004 WITH SCORE 110136.456
AT ITER 3151 NEW BEST:: SOT 238942 SOS 132037 HAS SOPS 132037 HAS SOUS 109978 HAS SOUPS 109978 WITH SCORE 110110.037
AT ITER 3163 NEW BEST:: SOT 238941 SOS 132005 HAS SOPS 132005 HAS SOUS 109945 HAS SOUPS 109945 WITH SCORE 110077.005
AT ITER 3197 NEW BEST:: SOT 238912 SOS 132080 HAS SOPS 132080 HAS SOUS 109885 HAS SOUPS 109885 WITH SCORE 110017.08
AT ITER 3213 NEW BEST:: SOT 238533 SOS 132051 HAS SOPS 132051 HAS SOUS 109773 HAS SOUPS 109773 WITH SCORE 109905.051
AT ITER 3215 NEW BEST:: SOT 238533 SOS 131760 HAS SOPS 131760 HAS SOUS 109773 HAS SOUPS 109773 WITH SCORE 109904.76
AT ITER 3223 NEW BEST:: SOT 238306 SOS 131890 HAS SOPS 131890 HAS SOUS 109695 HAS SOUPS 109695 WITH SCORE 109826.89
AT ITER 3225 NEW BEST:: SOT 238306 SOS 131751 HAS SOPS 131751 HAS SOUS 109695 HAS SOUPS 109695 WITH SCORE 109826.751
AT ITER 3232 NEW BEST:: SOT 238263 SOS 131705 HAS SOPS 131705 HAS SOUS 109576 HAS SOUPS 109576 WITH SCORE 109707.705
AT ITER 3236 NEW BEST:: SOT 238269 SOS 131658 HAS SOPS 131658 HAS SOUS 109529 HAS SOUPS 109529 WITH SCORE 109660.658
AT ITER 3242 NEW BEST:: SOT 238079 SOS 131726 HAS SOPS 131726 HAS SOUS 109526 HAS SOUPS 109526 WITH SCORE 109657.726
AT ITER 3248 NEW BEST:: SOT 238067 SOS 131783 HAS SOPS 131783 HAS SOUS 109514 HAS SOUPS 109514 WITH SCORE 109645.783
AT ITER 3249 NEW BEST:: SOT 238067 SOS 131783 HAS SOPS 131783 HAS SOUS 109504 HAS SOUPS 109504 WITH SCORE 109635.783
AT ITER 3251 NEW BEST:: SOT 237988 SOS 132253 HAS SOPS 132253 HAS SOUS 109489 HAS SOUPS 109489 WITH SCORE 109621.253
AT ITER 3253 NEW BEST:: SOT 237988 SOS 132246 HAS SOPS 132246 HAS SOUS 109475 HAS SOUPS 109475 WITH SCORE 109607.246
AT ITER 3259 NEW BEST:: SOT 237981 SOS 132268 HAS SOPS 132268 HAS SOUS 109450 HAS SOUPS 109450 WITH SCORE 109582.268
AT ITER 3281 NEW BEST:: SOT 237944 SOS 132175 HAS SOPS 132175 HAS SOUS 109306 HAS SOUPS 109306 WITH SCORE 109438.175
AT ITER 3301 NEW BEST:: SOT 237933 SOS 132164 HAS SOPS 132164 HAS SOUS 109295 HAS SOUPS 109295 WITH SCORE 109427.164
AT ITER 3307 NEW BEST:: SOT 237935 SOS 132144 HAS SOPS 132144 HAS SOUS 109286 HAS SOUPS 109286 WITH SCORE 109418.144
AT ITER 3311 NEW BEST:: SOT 237935 SOS 132125 HAS SOPS 132125 HAS SOUS 109286 HAS SOUPS 109286 WITH SCORE 109418.125
AT ITER 3312 NEW BEST:: SOT 237935 SOS 132050 HAS SOPS 132050 HAS SOUS 109270 HAS SOUPS 109270 WITH SCORE 109402.05
AT ITER 3313 NEW BEST:: SOT 238073 SOS 132055 HAS SOPS 132055 HAS SOUS 109183 HAS SOUPS 109183 WITH SCORE 109315.055
AT ITER 3315 NEW BEST:: SOT 238070 SOS 132052 HAS SOPS 132052 HAS SOUS 109180 HAS SOUPS 109180 WITH SCORE 109312.052
AT ITER 3326 NEW BEST:: SOT 238070 SOS 132006 HAS SOPS 132006 HAS SOUS 109160 HAS SOUPS 109160 WITH SCORE 109292.006
AT ITER 3331 NEW BEST:: SOT 237597 SOS 131697 HAS SOPS 131697 HAS SOUS 109080 HAS SOUPS 109080 WITH SCORE 109211.697
AT ITER 3333 NEW BEST:: SOT 237589 SOS 131689 HAS SOPS 131689 HAS SOUS 109072 HAS SOUPS 109072 WITH SCORE 109203.689
AT ITER 3335 NEW BEST:: SOT 237589 SOS 131689 HAS SOPS 131689 HAS SOUS 109049 HAS SOUPS 109049 WITH SCORE 109180.689
AT ITER 3342 NEW BEST:: SOT 237589 SOS 131689 HAS SOPS 131689 HAS SOUS 109045 HAS SOUPS 109045 WITH SCORE 109176.689
AT ITER 3343 NEW BEST:: SOT 237589 SOS 131547 HAS SOPS 131547 HAS SOUS 109045 HAS SOUPS 109045 WITH SCORE 109176.547
AT ITER 3347 NEW BEST:: SOT 237579 SOS 131537 HAS SOPS 131537 HAS SOUS 109037 HAS SOUPS 109037 WITH SCORE 109168.537
AT ITER 3353 NEW BEST:: SOT 237579 SOS 131506 HAS SOPS 131506 HAS SOUS 109037 HAS SOUPS 109037 WITH SCORE 109168.506
AT ITER 3364 NEW BEST:: SOT 237630 SOS 131638 HAS SOPS 131638 HAS SOUS 109000 HAS SOUPS 109000 WITH SCORE 109131.638
AT ITER 3378 NEW BEST:: SOT 237626 SOS 131640 HAS SOPS 131640 HAS SOUS 108966 HAS SOUPS 108966 WITH SCORE 109097.64
AT ITER 3398 NEW BEST:: SOT 237626 SOS 131519 HAS SOPS 131519 HAS SOUS 108966 HAS SOUPS 108966 WITH SCORE 109097.519
AT ITER 3399 NEW BEST:: SOT 237611 SOS 131549 HAS SOPS 131549 HAS SOUS 108940 HAS SOUPS 108940 WITH SCORE 109071.549
AT ITER 3418 NEW BEST:: SOT 237620 SOS 131124 HAS SOPS 131124 HAS SOUS 108885 HAS SOUPS 108885 WITH SCORE 109016.124
AT ITER 3440 NEW BEST:: SOT 237566 SOS 131070 HAS SOPS 131070 HAS SOUS 108878 HAS SOUPS 108878 WITH SCORE 109009.07
AT ITER 3442 NEW BEST:: SOT 237626 SOS 131159 HAS SOPS 131159 HAS SOUS 108819 HAS SOUPS 108819 WITH SCORE 108950.159
AT ITER 3452 NEW BEST:: SOT 237697 SOS 131230 HAS SOPS 131230 HAS SOUS 108805 HAS SOUPS 108805 WITH SCORE 108936.23
AT ITER 3454 NEW BEST:: SOT 237639 SOS 131201 HAS SOPS 131201 HAS SOUS 108776 HAS SOUPS 108776 WITH SCORE 108907.201
AT ITER 3459 NEW BEST:: SOT 237626 SOS 131188 HAS SOPS 131188 HAS SOUS 108763 HAS SOUPS 108763 WITH SCORE 108894.188
AT ITER 3473 NEW BEST:: SOT 237617 SOS 131179 HAS SOPS 131179 HAS SOUS 108754 HAS SOUPS 108754 WITH SCORE 108885.179
AT ITER 3480 NEW BEST:: SOT 237746 SOS 130834 HAS SOPS 130834 HAS SOUS 108687 HAS SOUPS 108687 WITH SCORE 108817.834
AT ITER 3484 NEW BEST:: SOT 237746 SOS 130829 HAS SOPS 130829 HAS SOUS 108682 HAS SOUPS 108682 WITH SCORE 108812.829
AT ITER 3491 NEW BEST:: SOT 237722 SOS 130805 HAS SOPS 130805 HAS SOUS 108658 HAS SOUPS 108658 WITH SCORE 108788.805
AT ITER 3496 NEW BEST:: SOT 237590 SOS 130750 HAS SOPS 130750 HAS SOUS 108526 HAS SOUPS 108526 WITH SCORE 108656.75
AT ITER 3498 NEW BEST:: SOT 237261 SOS 130479 HAS SOPS 130479 HAS SOUS 108255 HAS SOUPS 108255 WITH SCORE 108385.479
AT ITER 3532 NEW BEST:: SOT 237226 SOS 130444 HAS SOPS 130444 HAS SOUS 108220 HAS SOUPS 108220 WITH SCORE 108350.444
AT ITER 3541 NEW BEST:: SOT 237224 SOS 130385 HAS SOPS 130385 HAS SOUS 108209 HAS SOUPS 108209 WITH SCORE 108339.385
AT ITER 3545 NEW BEST:: SOT 237229 SOS 130357 HAS SOPS 130357 HAS SOUS 108143 HAS SOUPS 108143 WITH SCORE 108273.357
AT ITER 3551 NEW BEST:: SOT 237100 SOS 130298 HAS SOPS 130298 HAS SOUS 108084 HAS SOUPS 108084 WITH SCORE 108214.298
AT ITER 3569 NEW BEST:: SOT 237091 SOS 130337 HAS SOPS 130337 HAS SOUS 108083 HAS SOUPS 108083 WITH SCORE 108213.337
AT ITER 3576 NEW BEST:: SOT 237095 SOS 130333 HAS SOPS 130333 HAS SOUS 108083 HAS SOUPS 108083 WITH SCORE 108213.333
AT ITER 3585 NEW BEST:: SOT 237095 SOS 130263 HAS SOPS 130263 HAS SOUS 108083 HAS SOUPS 108083 WITH SCORE 108213.263
AT ITER 3588 NEW BEST:: SOT 236968 SOS 130587 HAS SOPS 130587 HAS SOUS 108036 HAS SOUPS 108036 WITH SCORE 108166.587
AT ITER 3591 NEW BEST:: SOT 236951 SOS 130570 HAS SOPS 130570 HAS SOUS 108019 HAS SOUPS 108019 WITH SCORE 108149.57
AT ITER 3601 NEW BEST:: SOT 236951 SOS 130611 HAS SOPS 130611 HAS SOUS 107993 HAS SOUPS 107993 WITH SCORE 108123.611
AT ITER 3657 NEW BEST:: SOT 236951 SOS 130480 HAS SOPS 130480 HAS SOUS 107814 HAS SOUPS 107814 WITH SCORE 107944.48
AT ITER 3663 NEW BEST:: SOT 236851 SOS 130503 HAS SOPS 130503 HAS SOUS 107777 HAS SOUPS 107777 WITH SCORE 107907.503
AT ITER 3700 NEW BEST:: SOT 236851 SOS 130513 HAS SOPS 130513 HAS SOUS 107773 HAS SOUPS 107773 WITH SCORE 107903.513
AT ITER 3737 NEW BEST:: SOT 236834 SOS 130496 HAS SOPS 130496 HAS SOUS 107751 HAS SOUPS 107751 WITH SCORE 107881.496
AT ITER 3743 NEW BEST:: SOT 236834 SOS 130455 HAS SOPS 130455 HAS SOUS 107751 HAS SOUPS 107751 WITH SCORE 107881.455
AT ITER 3758 NEW BEST:: SOT 236538 SOS 130218 HAS SOPS 130218 HAS SOUS 107514 HAS SOUPS 107514 WITH SCORE 107644.218
AT ITER 3760 NEW BEST:: SOT 236498 SOS 130096 HAS SOPS 130096 HAS SOUS 107401 HAS SOUPS 107401 WITH SCORE 107531.096
AT ITER 3791 NEW BEST:: SOT 236498 SOS 130012 HAS SOPS 130012 HAS SOUS 107401 HAS SOUPS 107401 WITH SCORE 107531.012
AT ITER 3796 NEW BEST:: SOT 236498 SOS 129966 HAS SOPS 129966 HAS SOUS 107375 HAS SOUPS 107375 WITH SCORE 107504.966
AT ITER 3808 NEW BEST:: SOT 236221 SOS 129765 HAS SOPS 129765 HAS SOUS 107174 HAS SOUPS 107174 WITH SCORE 107303.765
AT ITER 3831 NEW BEST:: SOT 236243 SOS 129880 HAS SOPS 129880 HAS SOUS 107133 HAS SOUPS 107133 WITH SCORE 107262.88
AT ITER 3856 NEW BEST:: SOT 236243 SOS 129826 HAS SOPS 129826 HAS SOUS 107133 HAS SOUPS 107133 WITH SCORE 107262.826
AT ITER 3871 NEW BEST:: SOT 236165 SOS 129748 HAS SOPS 129748 HAS SOUS 107055 HAS SOUPS 107055 WITH SCORE 107184.748
AT ITER 3884 NEW BEST:: SOT 236165 SOS 129730 HAS SOPS 129730 HAS SOUS 107037 HAS SOUPS 107037 WITH SCORE 107166.73
AT ITER 3886 NEW BEST:: SOT 236161 SOS 129726 HAS SOPS 129726 HAS SOUS 107033 HAS SOUPS 107033 WITH SCORE 107162.726
AT ITER 3903 NEW BEST:: SOT 236158 SOS 130150 HAS SOPS 130150 HAS SOUS 107030 HAS SOUPS 107030 WITH SCORE 107160.15
AT ITER 3916 NEW BEST:: SOT 236158 SOS 130074 HAS SOPS 130074 HAS SOUS 107030 HAS SOUPS 107030 WITH SCORE 107160.074
AT ITER 3930 NEW BEST:: SOT 236158 SOS 130068 HAS SOPS 130068 HAS SOUS 107024 HAS SOUPS 107024 WITH SCORE 107154.068
AT ITER 3938 NEW BEST:: SOT 236130 SOS 129987 HAS SOPS 129987 HAS SOUS 107008 HAS SOUPS 107008 WITH SCORE 107137.987
AT ITER 3944 NEW BEST:: SOT 236062 SOS 129919 HAS SOPS 129919 HAS SOUS 106991 HAS SOUPS 106991 WITH SCORE 107120.919
AT ITER 3950 NEW BEST:: SOT 236020 SOS 129894 HAS SOPS 129894 HAS SOUS 106949 HAS SOUPS 106949 WITH SCORE 107078.894
AT ITER 3962 NEW BEST:: SOT 235955 SOS 130053 HAS SOPS 130053 HAS SOUS 106918 HAS SOUPS 106918 WITH SCORE 107048.053
AT ITER 3963 NEW BEST:: SOT 235898 SOS 130080 HAS SOPS 130080 HAS SOUS 106904 HAS SOUPS 106904 WITH SCORE 107034.08
AT ITER 3964 NEW BEST:: SOT 235629 SOS 129871 HAS SOPS 129871 HAS SOUS 106653 HAS SOUPS 106653 WITH SCORE 106782.871
AT ITER 3965 NEW BEST:: SOT 235621 SOS 129796 HAS SOPS 129796 HAS SOUS 106578 HAS SOUPS 106578 WITH SCORE 106707.796
AT ITER 3966 NEW BEST:: SOT 235621 SOS 129781 HAS SOPS 129781 HAS SOUS 106578 HAS SOUPS 106578 WITH SCORE 106707.781
AT ITER 3975 NEW BEST:: SOT 235621 SOS 129732 HAS SOPS 129732 HAS SOUS 106578 HAS SOUPS 106578 WITH SCORE 106707.732
AT ITER 3990 NEW BEST:: SOT 235550 SOS 129564 HAS SOPS 129564 HAS SOUS 106438 HAS SOUPS 106438 WITH SCORE 106567.564
AT ITER 3994 NEW BEST:: SOT 235534 SOS 129548 HAS SOPS 129548 HAS SOUS 106406 HAS SOUPS 106406 WITH SCORE 106535.548
AT ITER 4003 NEW BEST:: SOT 235506 SOS 129520 HAS SOPS 129520 HAS SOUS 106378 HAS SOUPS 106378 WITH SCORE 106507.52
AT ITER 4015 NEW BEST:: SOT 235506 SOS 129511 HAS SOPS 129511 HAS SOUS 106378 HAS SOUPS 106378 WITH SCORE 106507.511
AT ITER 4021 NEW BEST:: SOT 235506 SOS 129471 HAS SOPS 129471 HAS SOUS 106345 HAS SOUPS 106345 WITH SCORE 106474.471
AT ITER 4031 NEW BEST:: SOT 235502 SOS 129468 HAS SOPS 129468 HAS SOUS 106342 HAS SOUPS 106342 WITH SCORE 106471.468
AT ITER 4049 NEW BEST:: SOT 235502 SOS 129434 HAS SOPS 129434 HAS SOUS 106337 HAS SOUPS 106337 WITH SCORE 106466.434
AT ITER 4054 NEW BEST:: SOT 235493 SOS 129425 HAS SOPS 129425 HAS SOUS 106328 HAS SOUPS 106328 WITH SCORE 106457.425
AT ITER 4058 NEW BEST:: SOT 235481 SOS 129413 HAS SOPS 129413 HAS SOUS 106316 HAS SOUPS 106316 WITH SCORE 106445.413
AT ITER 4062 NEW BEST:: SOT 235481 SOS 129398 HAS SOPS 129398 HAS SOUS 106316 HAS SOUPS 106316 WITH SCORE 106445.398
AT ITER 4067 NEW BEST:: SOT 235469 SOS 129279 HAS SOPS 129279 HAS SOUS 106304 HAS SOUPS 106304 WITH SCORE 106433.279
AT ITER 4087 NEW BEST:: SOT 235469 SOS 129291 HAS SOPS 129291 HAS SOUS 106297 HAS SOUPS 106297 WITH SCORE 106426.291
AT ITER 4099 NEW BEST:: SOT 235469 SOS 129291 HAS SOPS 129291 HAS SOUS 106273 HAS SOUPS 106273 WITH SCORE 106402.291
AT ITER 4110 NEW BEST:: SOT 235469 SOS 129281 HAS SOPS 129281 HAS SOUS 106242 HAS SOUPS 106242 WITH SCORE 106371.281
AT ITER 4115 NEW BEST:: SOT 235410 SOS 129222 HAS SOPS 129222 HAS SOUS 106124 HAS SOUPS 106124 WITH SCORE 106253.222
AT ITER 4117 NEW BEST:: SOT 235327 SOS 129155 HAS SOPS 129155 HAS SOUS 106057 HAS SOUPS 106057 WITH SCORE 106186.155
AT ITER 4128 NEW BEST:: SOT 235312 SOS 129140 HAS SOPS 129140 HAS SOUS 106042 HAS SOUPS 106042 WITH SCORE 106171.14
AT ITER 4138 NEW BEST:: SOT 235079 SOS 128966 HAS SOPS 128966 HAS SOUS 105933 HAS SOUPS 105933 WITH SCORE 106061.966
AT ITER 4169 NEW BEST:: SOT 235060 SOS 128954 HAS SOPS 128954 HAS SOUS 105930 HAS SOUPS 105930 WITH SCORE 106058.954
AT ITER 4173 NEW BEST:: SOT 234923 SOS 128870 HAS SOPS 128870 HAS SOUS 105888 HAS SOUPS 105888 WITH SCORE 106016.87
AT ITER 4178 NEW BEST:: SOT 234894 SOS 129258 HAS SOPS 129258 HAS SOUS 105887 HAS SOUPS 105887 WITH SCORE 106016.258
AT ITER 4181 NEW BEST:: SOT 234903 SOS 129267 HAS SOPS 129267 HAS SOUS 105845 HAS SOUPS 105845 WITH SCORE 105974.267
AT ITER 4191 NEW BEST:: SOT 234926 SOS 129244 HAS SOPS 129244 HAS SOUS 105845 HAS SOUPS 105845 WITH SCORE 105974.244
AT ITER 4208 NEW BEST:: SOT 234884 SOS 129118 HAS SOPS 129118 HAS SOUS 105779 HAS SOUPS 105779 WITH SCORE 105908.118
AT ITER 4227 NEW BEST:: SOT 234884 SOS 129048 HAS SOPS 129048 HAS SOUS 105766 HAS SOUPS 105766 WITH SCORE 105895.048
AT ITER 4228 NEW BEST:: SOT 234863 SOS 129027 HAS SOPS 129027 HAS SOUS 105745 HAS SOUPS 105745 WITH SCORE 105874.027
AT ITER 4230 NEW BEST:: SOT 234863 SOS 129020 HAS SOPS 129020 HAS SOUS 105745 HAS SOUPS 105745 WITH SCORE 105874.02
AT ITER 4243 NEW BEST:: SOT 234772 SOS 128929 HAS SOPS 128929 HAS SOUS 105654 HAS SOUPS 105654 WITH SCORE 105782.929
AT ITER 4244 NEW BEST:: SOT 234731 SOS 128904 HAS SOPS 128904 HAS SOUS 105629 HAS SOUPS 105629 WITH SCORE 105757.904
AT ITER 4248 NEW BEST:: SOT 234456 SOS 128689 HAS SOPS 128689 HAS SOUS 105574 HAS SOUPS 105574 WITH SCORE 105702.689
AT ITER 4264 NEW BEST:: SOT 234456 SOS 128670 HAS SOPS 128670 HAS SOUS 105574 HAS SOUPS 105574 WITH SCORE 105702.67
AT ITER 4270 NEW BEST:: SOT 234456 SOS 128645 HAS SOPS 128645 HAS SOUS 105574 HAS SOUPS 105574 WITH SCORE 105702.645
AT ITER 4283 NEW BEST:: SOT 234456 SOS 128549 HAS SOPS 128549 HAS SOUS 105574 HAS SOUPS 105574 WITH SCORE 105702.549
AT ITER 4293 NEW BEST:: SOT 234456 SOS 128526 HAS SOPS 128526 HAS SOUS 105571 HAS SOUPS 105571 WITH SCORE 105699.526
AT ITER 4309 NEW BEST:: SOT 234456 SOS 128526 HAS SOPS 128526 HAS SOUS 105526 HAS SOUPS 105526 WITH SCORE 105654.526
AT ITER 4319 NEW BEST:: SOT 234456 SOS 128510 HAS SOPS 128510 HAS SOUS 105516 HAS SOUPS 105516 WITH SCORE 105644.51
AT ITER 4340 NEW BEST:: SOT 234303 SOS 128403 HAS SOPS 128403 HAS SOUS 105465 HAS SOUPS 105465 WITH SCORE 105593.403
AT ITER 4367 NEW BEST:: SOT 234290 SOS 128476 HAS SOPS 128476 HAS SOUS 105452 HAS SOUPS 105452 WITH SCORE 105580.476
AT ITER 4368 NEW BEST:: SOT 234274 SOS 128460 HAS SOPS 128460 HAS SOUS 105436 HAS SOUPS 105436 WITH SCORE 105564.46
AT ITER 4407 NEW BEST:: SOT 234196 SOS 128986 HAS SOPS 128986 HAS SOUS 105370 HAS SOUPS 105370 WITH SCORE 105498.986
AT ITER 4414 NEW BEST:: SOT 234196 SOS 128911 HAS SOPS 128911 HAS SOUS 105369 HAS SOUPS 105369 WITH SCORE 105497.911
AT ITER 4424 NEW BEST:: SOT 234221 SOS 128936 HAS SOPS 128936 HAS SOUS 105334 HAS SOUPS 105334 WITH SCORE 105462.936
AT ITER 4430 NEW BEST:: SOT 234216 SOS 128926 HAS SOPS 128926 HAS SOUS 105324 HAS SOUPS 105324 WITH SCORE 105452.926
AT ITER 4458 NEW BEST:: SOT 234192 SOS 129479 HAS SOPS 129479 HAS SOUS 105300 HAS SOUPS 105300 WITH SCORE 105429.479
AT ITER 4468 NEW BEST:: SOT 234192 SOS 129468 HAS SOPS 129468 HAS SOUS 105289 HAS SOUPS 105289 WITH SCORE 105418.468
AT ITER 4479 NEW BEST:: SOT 234192 SOS 129435 HAS SOPS 129435 HAS SOUS 105289 HAS SOUPS 105289 WITH SCORE 105418.435
AT ITER 4490 NEW BEST:: SOT 234125 SOS 129600 HAS SOPS 129600 HAS SOUS 105253 HAS SOUPS 105253 WITH SCORE 105382.6
AT ITER 4527 NEW BEST:: SOT 234125 SOS 129571 HAS SOPS 129571 HAS SOUS 105246 HAS SOUPS 105246 WITH SCORE 105375.571
AT ITER 4528 NEW BEST:: SOT 234102 SOS 129548 HAS SOPS 129548 HAS SOUS 105186 HAS SOUPS 105186 WITH SCORE 105315.548
AT ITER 4547 NEW BEST:: SOT 234017 SOS 129463 HAS SOPS 129463 HAS SOUS 105100 HAS SOUPS 105100 WITH SCORE 105229.463
AT ITER 4569 NEW BEST:: SOT 233949 SOS 129402 HAS SOPS 129402 HAS SOUS 105039 HAS SOUPS 105039 WITH SCORE 105168.402
AT ITER 4573 NEW BEST:: SOT 233990 SOS 129006 HAS SOPS 129006 HAS SOUS 104978 HAS SOUPS 104978 WITH SCORE 105107.006
AT ITER 4574 NEW BEST:: SOT 233856 SOS 129103 HAS SOPS 129103 HAS SOUS 104964 HAS SOUPS 104964 WITH SCORE 105093.103
AT ITER 4577 NEW BEST:: SOT 233872 SOS 129095 HAS SOPS 129095 HAS SOUS 104964 HAS SOUPS 104964 WITH SCORE 105093.095
AT ITER 4588 NEW BEST:: SOT 233867 SOS 129123 HAS SOPS 129123 HAS SOUS 104948 HAS SOUPS 104948 WITH SCORE 105077.123
AT ITER 4590 NEW BEST:: SOT 233996 SOS 129209 HAS SOPS 129209 HAS SOUS 104947 HAS SOUPS 104947 WITH SCORE 105076.209
AT ITER 4620 NEW BEST:: SOT 233989 SOS 129202 HAS SOPS 129202 HAS SOUS 104940 HAS SOUPS 104940 WITH SCORE 105069.202
AT ITER 4656 NEW BEST:: SOT 233950 SOS 129163 HAS SOPS 129163 HAS SOUS 104867 HAS SOUPS 104867 WITH SCORE 104996.163
AT ITER 4661 NEW BEST:: SOT 233886 SOS 129203 HAS SOPS 129203 HAS SOUS 104830 HAS SOUPS 104830 WITH SCORE 104959.203
AT ITER 4675 NEW BEST:: SOT 233886 SOS 129203 HAS SOPS 129203 HAS SOUS 104806 HAS SOUPS 104806 WITH SCORE 104935.203
AT ITER 4694 NEW BEST:: SOT 233896 SOS 129185 HAS SOPS 129185 HAS SOUS 104805 HAS SOUPS 104805 WITH SCORE 104934.185
AT ITER 4699 NEW BEST:: SOT 233896 SOS 129143 HAS SOPS 129143 HAS SOUS 104805 HAS SOUPS 104805 WITH SCORE 104934.143
AT ITER 4711 NEW BEST:: SOT 233896 SOS 129092 HAS SOPS 129092 HAS SOUS 104804 HAS SOUPS 104804 WITH SCORE 104933.092
AT ITER 4714 NEW BEST:: SOT 233896 SOS 129050 HAS SOPS 129050 HAS SOUS 104781 HAS SOUPS 104781 WITH SCORE 104910.05
AT ITER 4716 NEW BEST:: SOT 233896 SOS 128981 HAS SOPS 128981 HAS SOUS 104781 HAS SOUPS 104781 WITH SCORE 104909.981
AT ITER 4730 NEW BEST:: SOT 233896 SOS 128973 HAS SOPS 128973 HAS SOUS 104781 HAS SOUPS 104781 WITH SCORE 104909.973
AT ITER 4742 NEW BEST:: SOT 233893 SOS 128970 HAS SOPS 128970 HAS SOUS 104778 HAS SOUPS 104778 WITH SCORE 104906.97
AT ITER 4745 NEW BEST:: SOT 233645 SOS 129263 HAS SOPS 129263 HAS SOUS 104750 HAS SOUPS 104750 WITH SCORE 104879.263
AT ITER 4752 NEW BEST:: SOT 233630 SOS 129248 HAS SOPS 129248 HAS SOUS 104735 HAS SOUPS 104735 WITH SCORE 104864.248
AT ITER 4758 NEW BEST:: SOT 233496 SOS 129141 HAS SOPS 129141 HAS SOUS 104649 HAS SOUPS 104649 WITH SCORE 104778.141
AT ITER 4768 NEW BEST:: SOT 233595 SOS 128957 HAS SOPS 128957 HAS SOUS 104537 HAS SOUPS 104537 WITH SCORE 104665.957
AT ITER 4781 NEW BEST:: SOT 233580 SOS 128940 HAS SOPS 128940 HAS SOUS 104447 HAS SOUPS 104447 WITH SCORE 104575.94
AT ITER 4823 NEW BEST:: SOT 233570 SOS 129189 HAS SOPS 129189 HAS SOUS 104437 HAS SOUPS 104437 WITH SCORE 104566.189
AT ITER 4854 NEW BEST:: SOT 233182 SOS 129402 HAS SOPS 129402 HAS SOUS 104432 HAS SOUPS 104432 WITH SCORE 104561.402
AT ITER 4856 NEW BEST:: SOT 233186 SOS 129336 HAS SOPS 129336 HAS SOUS 104422 HAS SOUPS 104422 WITH SCORE 104551.336
AT ITER 4871 NEW BEST:: SOT 232923 SOS 129532 HAS SOPS 129532 HAS SOUS 104420 HAS SOUPS 104420 WITH SCORE 104549.532
AT ITER 4876 NEW BEST:: SOT 232923 SOS 129523 HAS SOPS 129523 HAS SOUS 104420 HAS SOUPS 104420 WITH SCORE 104549.523
AT ITER 4881 NEW BEST:: SOT 232950 SOS 129520 HAS SOPS 129520 HAS SOUS 104417 HAS SOUPS 104417 WITH SCORE 104546.52
AT ITER 4893 NEW BEST:: SOT 232987 SOS 129515 HAS SOPS 129515 HAS SOUS 104412 HAS SOUPS 104412 WITH SCORE 104541.515
AT ITER 4919 NEW BEST:: SOT 232991 SOS 129519 HAS SOPS 129519 HAS SOUS 104387 HAS SOUPS 104387 WITH SCORE 104516.519
AT ITER 4929 NEW BEST:: SOT 232784 SOS 129341 HAS SOPS 129341 HAS SOUS 104209 HAS SOUPS 104209 WITH SCORE 104338.341
AT ITER 4938 NEW BEST:: SOT 232784 SOS 129320 HAS SOPS 129320 HAS SOUS 104198 HAS SOUPS 104198 WITH SCORE 104327.32
AT ITER 4943 NEW BEST:: SOT 232784 SOS 129297 HAS SOPS 129297 HAS SOUS 104198 HAS SOUPS 104198 WITH SCORE 104327.297
AT ITER 4968 NEW BEST:: SOT 232764 SOS 129236 HAS SOPS 129236 HAS SOUS 104137 HAS SOUPS 104137 WITH SCORE 104266.236
AT ITER 4982 NEW BEST:: SOT 232759 SOS 129231 HAS SOPS 129231 HAS SOUS 104122 HAS SOUPS 104122 WITH SCORE 104251.231
AT ITER 5006 NEW BEST:: SOT 232759 SOS 129206 HAS SOPS 129206 HAS SOUS 104109 HAS SOUPS 104109 WITH SCORE 104238.206
AT ITER 5018 NEW BEST:: SOT 232608 SOS 129366 HAS SOPS 129366 HAS SOUS 104043 HAS SOUPS 104043 WITH SCORE 104172.366
AT ITER 5030 NEW BEST:: SOT 232620 SOS 129366 HAS SOPS 129366 HAS SOUS 103972 HAS SOUPS 103972 WITH SCORE 104101.366
AT ITER 5036 NEW BEST:: SOT 232594 SOS 129340 HAS SOPS 129340 HAS SOUS 103946 HAS SOUPS 103946 WITH SCORE 104075.34
AT ITER 5040 NEW BEST:: SOT 232591 SOS 129353 HAS SOPS 129353 HAS SOUS 103927 HAS SOUPS 103927 WITH SCORE 104056.353
AT ITER 5045 NEW BEST:: SOT 232591 SOS 129206 HAS SOPS 129206 HAS SOUS 103920 HAS SOUPS 103920 WITH SCORE 104049.206
AT ITER 5054 NEW BEST:: SOT 232591 SOS 129206 HAS SOPS 129206 HAS SOUS 103917 HAS SOUPS 103917 WITH SCORE 104046.206
AT ITER 5055 NEW BEST:: SOT 232591 SOS 129190 HAS SOPS 129190 HAS SOUS 103917 HAS SOUPS 103917 WITH SCORE 104046.19
AT ITER 5063 NEW BEST:: SOT 232589 SOS 129188 HAS SOPS 129188 HAS SOUS 103915 HAS SOUPS 103915 WITH SCORE 104044.188
AT ITER 5081 NEW BEST:: SOT 232585 SOS 129184 HAS SOPS 129184 HAS SOUS 103911 HAS SOUPS 103911 WITH SCORE 104040.184
AT ITER 5087 NEW BEST:: SOT 232580 SOS 129179 HAS SOPS 129179 HAS SOUS 103906 HAS SOUPS 103906 WITH SCORE 104035.179
AT ITER 5094 NEW BEST:: SOT 232552 SOS 129151 HAS SOPS 129151 HAS SOUS 103878 HAS SOUPS 103878 WITH SCORE 104007.151
AT ITER 5097 NEW BEST:: SOT 232590 SOS 129131 HAS SOPS 129131 HAS SOUS 103812 HAS SOUPS 103812 WITH SCORE 103941.131
AT ITER 5098 NEW BEST:: SOT 232555 SOS 129113 HAS SOPS 129113 HAS SOUS 103808 HAS SOUPS 103808 WITH SCORE 103937.113
AT ITER 5101 NEW BEST:: SOT 232527 SOS 129085 HAS SOPS 129085 HAS SOUS 103780 HAS SOUPS 103780 WITH SCORE 103909.085
AT ITER 5106 NEW BEST:: SOT 232402 SOS 129014 HAS SOPS 129014 HAS SOUS 103729 HAS SOUPS 103729 WITH SCORE 103858.014
AT ITER 5135 NEW BEST:: SOT 232402 SOS 129014 HAS SOPS 129014 HAS SOUS 103724 HAS SOUPS 103724 WITH SCORE 103853.014
AT ITER 5146 NEW BEST:: SOT 232394 SOS 129008 HAS SOPS 129008 HAS SOUS 103718 HAS SOUPS 103718 WITH SCORE 103847.008
AT ITER 5148 NEW BEST:: SOT 232377 SOS 128945 HAS SOPS 128945 HAS SOUS 103699 HAS SOUPS 103699 WITH SCORE 103827.945
AT ITER 5163 NEW BEST:: SOT 232377 SOS 128980 HAS SOPS 128980 HAS SOUS 103667 HAS SOUPS 103667 WITH SCORE 103795.98
AT ITER 5166 NEW BEST:: SOT 232188 SOS 128862 HAS SOPS 128862 HAS SOUS 103525 HAS SOUPS 103525 WITH SCORE 103653.862
AT ITER 5171 NEW BEST:: SOT 232162 SOS 128836 HAS SOPS 128836 HAS SOUS 103499 HAS SOUPS 103499 WITH SCORE 103627.836
AT ITER 5180 NEW BEST:: SOT 232130 SOS 128832 HAS SOPS 128832 HAS SOUS 103479 HAS SOUPS 103479 WITH SCORE 103607.832
AT ITER 5197 NEW BEST:: SOT 232120 SOS 128822 HAS SOPS 128822 HAS SOUS 103469 HAS SOUPS 103469 WITH SCORE 103597.822
AT ITER 5217 NEW BEST:: SOT 232120 SOS 128731 HAS SOPS 128731 HAS SOUS 103469 HAS SOUPS 103469 WITH SCORE 103597.731
AT ITER 5220 NEW BEST:: SOT 232076 SOS 128873 HAS SOPS 128873 HAS SOUS 103436 HAS SOUPS 103436 WITH SCORE 103564.873
AT ITER 5223 NEW BEST:: SOT 232039 SOS 128830 HAS SOPS 128830 HAS SOUS 103393 HAS SOUPS 103393 WITH SCORE 103521.83
AT ITER 5234 NEW BEST:: SOT 232039 SOS 128486 HAS SOPS 128486 HAS SOUS 103309 HAS SOUPS 103309 WITH SCORE 103437.486
AT ITER 5241 NEW BEST:: SOT 232017 SOS 128464 HAS SOPS 128464 HAS SOUS 103287 HAS SOUPS 103287 WITH SCORE 103415.464
AT ITER 5267 NEW BEST:: SOT 231968 SOS 128399 HAS SOPS 128399 HAS SOUS 103222 HAS SOUPS 103222 WITH SCORE 103350.399
AT ITER 5273 NEW BEST:: SOT 231943 SOS 128374 HAS SOPS 128374 HAS SOUS 103202 HAS SOUPS 103202 WITH SCORE 103330.374
AT ITER 5282 NEW BEST:: SOT 231943 SOS 128370 HAS SOPS 128370 HAS SOUS 103202 HAS SOUPS 103202 WITH SCORE 103330.37
AT ITER 5288 NEW BEST:: SOT 231943 SOS 128366 HAS SOPS 128366 HAS SOUS 103202 HAS SOUPS 103202 WITH SCORE 103330.366
AT ITER 5301 NEW BEST:: SOT 231830 SOS 128273 HAS SOPS 128273 HAS SOUS 103109 HAS SOUPS 103109 WITH SCORE 103237.273
AT ITER 5304 NEW BEST:: SOT 231823 SOS 128287 HAS SOPS 128287 HAS SOUS 103102 HAS SOUPS 103102 WITH SCORE 103230.287
AT ITER 5307 NEW BEST:: SOT 231798 SOS 128262 HAS SOPS 128262 HAS SOUS 103077 HAS SOUPS 103077 WITH SCORE 103205.262
AT ITER 5322 NEW BEST:: SOT 231749 SOS 128213 HAS SOPS 128213 HAS SOUS 103028 HAS SOUPS 103028 WITH SCORE 103156.213
AT ITER 5334 NEW BEST:: SOT 231515 SOS 128069 HAS SOPS 128069 HAS SOUS 103017 HAS SOUPS 103017 WITH SCORE 103145.069
AT ITER 5335 NEW BEST:: SOT 231500 SOS 128054 HAS SOPS 128054 HAS SOUS 103002 HAS SOUPS 103002 WITH SCORE 103130.054
AT ITER 5339 NEW BEST:: SOT 231482 SOS 128036 HAS SOPS 128036 HAS SOUS 102975 HAS SOUPS 102975 WITH SCORE 103103.036
AT ITER 5360 NEW BEST:: SOT 231283 SOS 127985 HAS SOPS 127985 HAS SOUS 102953 HAS SOUPS 102953 WITH SCORE 103080.985
AT ITER 5361 NEW BEST:: SOT 231183 SOS 127885 HAS SOPS 127885 HAS SOUS 102853 HAS SOUPS 102853 WITH SCORE 102980.885
AT ITER 5373 NEW BEST:: SOT 231143 SOS 127796 HAS SOPS 127796 HAS SOUS 102764 HAS SOUPS 102764 WITH SCORE 102891.796
AT ITER 5383 NEW BEST:: SOT 231143 SOS 127813 HAS SOPS 127813 HAS SOUS 102659 HAS SOUPS 102659 WITH SCORE 102786.813
AT ITER 5388 NEW BEST:: SOT 231131 SOS 127807 HAS SOPS 127807 HAS SOUS 102653 HAS SOUPS 102653 WITH SCORE 102780.807
AT ITER 5401 NEW BEST:: SOT 231104 SOS 127780 HAS SOPS 127780 HAS SOUS 102626 HAS SOUPS 102626 WITH SCORE 102753.78
AT ITER 5402 NEW BEST:: SOT 231060 SOS 127589 HAS SOPS 127589 HAS SOUS 102532 HAS SOUPS 102532 WITH SCORE 102659.589
AT ITER 5410 NEW BEST:: SOT 231060 SOS 127563 HAS SOPS 127563 HAS SOUS 102532 HAS SOUPS 102532 WITH SCORE 102659.563
AT ITER 5422 NEW BEST:: SOT 230941 SOS 127498 HAS SOPS 127498 HAS SOUS 102528 HAS SOUPS 102528 WITH SCORE 102655.498
AT ITER 5423 NEW BEST:: SOT 230917 SOS 127474 HAS SOPS 127474 HAS SOUS 102504 HAS SOUPS 102504 WITH SCORE 102631.474
AT ITER 5440 NEW BEST:: SOT 230917 SOS 127358 HAS SOPS 127358 HAS SOUS 102498 HAS SOUPS 102498 WITH SCORE 102625.358
AT ITER 5459 NEW BEST:: SOT 230858 SOS 127267 HAS SOPS 127267 HAS SOUS 102461 HAS SOUPS 102461 WITH SCORE 102588.267
AT ITER 5468 NEW BEST:: SOT 230668 SOS 127232 HAS SOPS 127232 HAS SOUS 102461 HAS SOUPS 102461 WITH SCORE 102588.232
AT ITER 5479 NEW BEST:: SOT 230629 SOS 127193 HAS SOPS 127193 HAS SOUS 102422 HAS SOUPS 102422 WITH SCORE 102549.193
AT ITER 5519 NEW BEST:: SOT 230629 SOS 127142 HAS SOPS 127142 HAS SOUS 102422 HAS SOUPS 102422 WITH SCORE 102549.142
AT ITER 5520 NEW BEST:: SOT 230629 SOS 127142 HAS SOPS 127142 HAS SOUS 102421 HAS SOUPS 102421 WITH SCORE 102548.142
AT ITER 5533 NEW BEST:: SOT 230590 SOS 127142 HAS SOPS 127142 HAS SOUS 102351 HAS SOUPS 102351 WITH SCORE 102478.142
AT ITER 5547 NEW BEST:: SOT 230590 SOS 127096 HAS SOPS 127096 HAS SOUS 102351 HAS SOUPS 102351 WITH SCORE 102478.096
AT ITER 5555 NEW BEST:: SOT 230587 SOS 127093 HAS SOPS 127093 HAS SOUS 102344 HAS SOUPS 102344 WITH SCORE 102471.093
AT ITER 5556 NEW BEST:: SOT 230586 SOS 127092 HAS SOPS 127092 HAS SOUS 102343 HAS SOUPS 102343 WITH SCORE 102470.092
AT ITER 5558 NEW BEST:: SOT 230586 SOS 127092 HAS SOPS 127092 HAS SOUS 102341 HAS SOUPS 102341 WITH SCORE 102468.092
AT ITER 5570 NEW BEST:: SOT 230426 SOS 127136 HAS SOPS 127136 HAS SOUS 102194 HAS SOUPS 102194 WITH SCORE 102321.136
AT ITER 5581 NEW BEST:: SOT 230426 SOS 127082 HAS SOPS 127082 HAS SOUS 102193 HAS SOUPS 102193 WITH SCORE 102320.082
AT ITER 5584 NEW BEST:: SOT 230297 SOS 127206 HAS SOPS 127206 HAS SOUS 102071 HAS SOUPS 102071 WITH SCORE 102198.206
AT ITER 5590 NEW BEST:: SOT 230294 SOS 127203 HAS SOPS 127203 HAS SOUS 102068 HAS SOUPS 102068 WITH SCORE 102195.203
AT ITER 5609 NEW BEST:: SOT 230137 SOS 127046 HAS SOPS 127046 HAS SOUS 101971 HAS SOUPS 101971 WITH SCORE 102098.046
AT ITER 5613 NEW BEST:: SOT 230137 SOS 127040 HAS SOPS 127040 HAS SOUS 101969 HAS SOUPS 101969 WITH SCORE 102096.04
AT ITER 5624 NEW BEST:: SOT 230072 SOS 127027 HAS SOPS 127027 HAS SOUS 101956 HAS SOUPS 101956 WITH SCORE 102083.027
AT ITER 5643 NEW BEST:: SOT 230066 SOS 127090 HAS SOPS 127090 HAS SOUS 101954 HAS SOUPS 101954 WITH SCORE 102081.09
AT ITER 5645 NEW BEST:: SOT 230042 SOS 127066 HAS SOPS 127066 HAS SOUS 101930 HAS SOUPS 101930 WITH SCORE 102057.066
AT ITER 5646 NEW BEST:: SOT 230042 SOS 127061 HAS SOPS 127061 HAS SOUS 101930 HAS SOUPS 101930 WITH SCORE 102057.061
AT ITER 5695 NEW BEST:: SOT 230042 SOS 127059 HAS SOPS 127059 HAS SOUS 101930 HAS SOUPS 101930 WITH SCORE 102057.059
AT ITER 5696 NEW BEST:: SOT 230034 SOS 126989 HAS SOPS 126989 HAS SOUS 101892 HAS SOUPS 101892 WITH SCORE 102018.989
AT ITER 5700 NEW BEST:: SOT 230034 SOS 126947 HAS SOPS 126947 HAS SOUS 101892 HAS SOUPS 101892 WITH SCORE 102018.947
AT ITER 5716 NEW BEST:: SOT 230034 SOS 126947 HAS SOPS 126947 HAS SOUS 101811 HAS SOUPS 101811 WITH SCORE 101937.947
AT ITER 5724 NEW BEST:: SOT 229959 SOS 126909 HAS SOPS 126909 HAS SOUS 101773 HAS SOUPS 101773 WITH SCORE 101899.909
AT ITER 5744 NEW BEST:: SOT 229948 SOS 126899 HAS SOPS 126899 HAS SOUS 101763 HAS SOUPS 101763 WITH SCORE 101889.899
AT ITER 5763 NEW BEST:: SOT 229948 SOS 126863 HAS SOPS 126863 HAS SOUS 101750 HAS SOUPS 101750 WITH SCORE 101876.863
AT ITER 5787 NEW BEST:: SOT 229925 SOS 126858 HAS SOPS 126858 HAS SOUS 101745 HAS SOUPS 101745 WITH SCORE 101871.858
AT ITER 5790 NEW BEST:: SOT 229924 SOS 126857 HAS SOPS 126857 HAS SOUS 101744 HAS SOUPS 101744 WITH SCORE 101870.857
AT ITER 5795 NEW BEST:: SOT 229892 SOS 126825 HAS SOPS 126825 HAS SOUS 101712 HAS SOUPS 101712 WITH SCORE 101838.825
AT ITER 5819 NEW BEST:: SOT 229892 SOS 126815 HAS SOPS 126815 HAS SOUS 101712 HAS SOUPS 101712 WITH SCORE 101838.815
AT ITER 5820 NEW BEST:: SOT 229881 SOS 126721 HAS SOPS 126721 HAS SOUS 101693 HAS SOUPS 101693 WITH SCORE 101819.721
AT ITER 5826 NEW BEST:: SOT 229853 SOS 126681 HAS SOPS 126681 HAS SOUS 101684 HAS SOUPS 101684 WITH SCORE 101810.681
AT ITER 5827 NEW BEST:: SOT 229812 SOS 126678 HAS SOPS 126678 HAS SOUS 101662 HAS SOUPS 101662 WITH SCORE 101788.678
AT ITER 5836 NEW BEST:: SOT 229782 SOS 126638 HAS SOPS 126638 HAS SOUS 101625 HAS SOUPS 101625 WITH SCORE 101751.638
AT ITER 5858 NEW BEST:: SOT 229782 SOS 126650 HAS SOPS 126650 HAS SOUS 101557 HAS SOUPS 101557 WITH SCORE 101683.65
AT ITER 5866 NEW BEST:: SOT 229764 SOS 126632 HAS SOPS 126632 HAS SOUS 101539 HAS SOUPS 101539 WITH SCORE 101665.632
AT ITER 5879 NEW BEST:: SOT 229764 SOS 126632 HAS SOPS 126632 HAS SOUS 101526 HAS SOUPS 101526 WITH SCORE 101652.632
AT ITER 5902 NEW BEST:: SOT 229732 SOS 126702 HAS SOPS 126702 HAS SOUS 101489 HAS SOUPS 101489 WITH SCORE 101615.702
AT ITER 5929 NEW BEST:: SOT 229732 SOS 126702 HAS SOPS 126702 HAS SOUS 101460 HAS SOUPS 101460 WITH SCORE 101586.702
AT ITER 5949 NEW BEST:: SOT 229696 SOS 126702 HAS SOPS 126702 HAS SOUS 101448 HAS SOUPS 101448 WITH SCORE 101574.702
AT ITER 5955 NEW BEST:: SOT 229658 SOS 126664 HAS SOPS 126664 HAS SOUS 101410 HAS SOUPS 101410 WITH SCORE 101536.664
AT ITER 5958 NEW BEST:: SOT 229625 SOS 126631 HAS SOPS 126631 HAS SOUS 101366 HAS SOUPS 101366 WITH SCORE 101492.631
AT ITER 5961 NEW BEST:: SOT 229617 SOS 126639 HAS SOPS 126639 HAS SOUS 101350 HAS SOUPS 101350 WITH SCORE 101476.639
AT ITER 5964 NEW BEST:: SOT 229667 SOS 126650 HAS SOPS 126650 HAS SOUS 101337 HAS SOUPS 101337 WITH SCORE 101463.65
AT ITER 5973 NEW BEST:: SOT 229667 SOS 126658 HAS SOPS 126658 HAS SOUS 101294 HAS SOUPS 101294 WITH SCORE 101420.658
AT ITER 6030 NEW BEST:: SOT 229647 SOS 126659 HAS SOPS 126659 HAS SOUS 101274 HAS SOUPS 101274 WITH SCORE 101400.659
AT ITER 6046 NEW BEST:: SOT 229639 SOS 126651 HAS SOPS 126651 HAS SOUS 101266 HAS SOUPS 101266 WITH SCORE 101392.651
AT ITER 6061 NEW BEST:: SOT 229639 SOS 126566 HAS SOPS 126566 HAS SOUS 101266 HAS SOUPS 101266 WITH SCORE 101392.566
AT ITER 6070 NEW BEST:: SOT 229639 SOS 126543 HAS SOPS 126543 HAS SOUS 101266 HAS SOUPS 101266 WITH SCORE 101392.543
AT ITER 6106 NEW BEST:: SOT 229627 SOS 126539 HAS SOPS 126539 HAS SOUS 101262 HAS SOUPS 101262 WITH SCORE 101388.539
AT ITER 6111 NEW BEST:: SOT 229627 SOS 126490 HAS SOPS 126490 HAS SOUS 101215 HAS SOUPS 101215 WITH SCORE 101341.49
AT ITER 6121 NEW BEST:: SOT 229582 SOS 126445 HAS SOPS 126445 HAS SOUS 101170 HAS SOUPS 101170 WITH SCORE 101296.445
AT ITER 6189 NEW BEST:: SOT 229590 SOS 126437 HAS SOPS 126437 HAS SOUS 101170 HAS SOUPS 101170 WITH SCORE 101296.437
AT ITER 6198 NEW BEST:: SOT 229585 SOS 126432 HAS SOPS 126432 HAS SOUS 101165 HAS SOUPS 101165 WITH SCORE 101291.432
AT ITER 6204 NEW BEST:: SOT 229552 SOS 126399 HAS SOPS 126399 HAS SOUS 101115 HAS SOUPS 101115 WITH SCORE 101241.399
AT ITER 6211 NEW BEST:: SOT 229570 SOS 126417 HAS SOPS 126417 HAS SOUS 101029 HAS SOUPS 101029 WITH SCORE 101155.417
AT ITER 6233 NEW BEST:: SOT 229543 SOS 126519 HAS SOPS 126519 HAS SOUS 101016 HAS SOUPS 101016 WITH SCORE 101142.519
AT ITER 6241 NEW BEST:: SOT 229531 SOS 126507 HAS SOPS 126507 HAS SOUS 100976 HAS SOUPS 100976 WITH SCORE 101102.507
AT ITER 6248 NEW BEST:: SOT 229502 SOS 126478 HAS SOPS 126478 HAS SOUS 100947 HAS SOUPS 100947 WITH SCORE 101073.478
AT ITER 6256 NEW BEST:: SOT 229389 SOS 126500 HAS SOPS 126500 HAS SOUS 100884 HAS SOUPS 100884 WITH SCORE 101010.5
AT ITER 6261 NEW BEST:: SOT 229300 SOS 126411 HAS SOPS 126411 HAS SOUS 100795 HAS SOUPS 100795 WITH SCORE 100921.411
AT ITER 6262 NEW BEST:: SOT 229283 SOS 126387 HAS SOPS 126387 HAS SOUS 100698 HAS SOUPS 100698 WITH SCORE 100824.387
AT ITER 6263 NEW BEST:: SOT 229274 SOS 126378 HAS SOPS 126378 HAS SOUS 100689 HAS SOUPS 100689 WITH SCORE 100815.378
AT ITER 6265 NEW BEST:: SOT 229153 SOS 126309 HAS SOPS 126309 HAS SOUS 100633 HAS SOUPS 100633 WITH SCORE 100759.309
AT ITER 6275 NEW BEST:: SOT 229125 SOS 126281 HAS SOPS 126281 HAS SOUS 100605 HAS SOUPS 100605 WITH SCORE 100731.281
AT ITER 6277 NEW BEST:: SOT 229124 SOS 126280 HAS SOPS 126280 HAS SOUS 100604 HAS SOUPS 100604 WITH SCORE 100730.28
AT ITER 6282 NEW BEST:: SOT 229124 SOS 126280 HAS SOPS 126280 HAS SOUS 100594 HAS SOUPS 100594 WITH SCORE 100720.28
AT ITER 6295 NEW BEST:: SOT 228932 SOS 126205 HAS SOPS 126205 HAS SOUS 100512 HAS SOUPS 100512 WITH SCORE 100638.205
AT ITER 6297 NEW BEST:: SOT 228918 SOS 126191 HAS SOPS 126191 HAS SOUS 100498 HAS SOUPS 100498 WITH SCORE 100624.191
AT ITER 6322 NEW BEST:: SOT 228915 SOS 126188 HAS SOPS 126188 HAS SOUS 100495 HAS SOUPS 100495 WITH SCORE 100621.188
AT ITER 6346 NEW BEST:: SOT 228899 SOS 126180 HAS SOPS 126180 HAS SOUS 100483 HAS SOUPS 100483 WITH SCORE 100609.18
AT ITER 6348 NEW BEST:: SOT 228804 SOS 126085 HAS SOPS 126085 HAS SOUS 100365 HAS SOUPS 100365 WITH SCORE 100491.085
AT ITER 6356 NEW BEST:: SOT 228622 SOS 126002 HAS SOPS 126002 HAS SOUS 100265 HAS SOUPS 100265 WITH SCORE 100391.002
AT ITER 6359 NEW BEST:: SOT 228619 SOS 126106 HAS SOPS 126106 HAS SOUS 100262 HAS SOUPS 100262 WITH SCORE 100388.106
AT ITER 6410 NEW BEST:: SOT 228609 SOS 126098 HAS SOPS 126098 HAS SOUS 100259 HAS SOUPS 100259 WITH SCORE 100385.098
AT ITER 6411 NEW BEST:: SOT 228609 SOS 126098 HAS SOPS 126098 HAS SOUS 100235 HAS SOUPS 100235 WITH SCORE 100361.098
AT ITER 6426 NEW BEST:: SOT 228609 SOS 126064 HAS SOPS 126064 HAS SOUS 100234 HAS SOUPS 100234 WITH SCORE 100360.064
AT ITER 6436 NEW BEST:: SOT 228606 SOS 126061 HAS SOPS 126061 HAS SOUS 100231 HAS SOUPS 100231 WITH SCORE 100357.061
AT ITER 6440 NEW BEST:: SOT 228606 SOS 126058 HAS SOPS 126058 HAS SOUS 100231 HAS SOUPS 100231 WITH SCORE 100357.058
AT ITER 6492 NEW BEST:: SOT 228530 SOS 126015 HAS SOPS 126015 HAS SOUS 100181 HAS SOUPS 100181 WITH SCORE 100307.015
AT ITER 6500 NEW BEST:: SOT 228530 SOS 126013 HAS SOPS 126013 HAS SOUS 100181 HAS SOUPS 100181 WITH SCORE 100307.013
AT ITER 6514 NEW BEST:: SOT 228530 SOS 125998 HAS SOPS 125998 HAS SOUS 100181 HAS SOUPS 100181 WITH SCORE 100306.998
AT ITER 6526 NEW BEST:: SOT 228378 SOS 125963 HAS SOPS 125963 HAS SOUS 100149 HAS SOUPS 100149 WITH SCORE 100274.963
AT ITER 6566 NEW BEST:: SOT 228378 SOS 125963 HAS SOPS 125963 HAS SOUS 100146 HAS SOUPS 100146 WITH SCORE 100271.963
AT ITER 6606 NEW BEST:: SOT 228378 SOS 125889 HAS SOPS 125889 HAS SOUS 100146 HAS SOUPS 100146 WITH SCORE 100271.889
AT ITER 6625 NEW BEST:: SOT 228378 SOS 125845 HAS SOPS 125845 HAS SOUS 100145 HAS SOUPS 100145 WITH SCORE 100270.845
AT ITER 6650 NEW BEST:: SOT 228355 SOS 125920 HAS SOPS 125920 HAS SOUS 100135 HAS SOUPS 100135 WITH SCORE 100260.92
AT ITER 6656 NEW BEST:: SOT 228338 SOS 125903 HAS SOPS 125903 HAS SOUS 100118 HAS SOUPS 100118 WITH SCORE 100243.903
AT ITER 6660 NEW BEST:: SOT 228328 SOS 125962 HAS SOPS 125962 HAS SOUS 100108 HAS SOUPS 100108 WITH SCORE 100233.962
AT ITER 6694 NEW BEST:: SOT 228316 SOS 125921 HAS SOPS 125921 HAS SOUS 100089 HAS SOUPS 100089 WITH SCORE 100214.921
AT ITER 6702 NEW BEST:: SOT 228316 SOS 125889 HAS SOPS 125889 HAS SOUS 100076 HAS SOUPS 100076 WITH SCORE 100201.889
AT ITER 6703 NEW BEST:: SOT 228314 SOS 125887 HAS SOPS 125887 HAS SOUS 100076 HAS SOUPS 100076 WITH SCORE 100201.887
AT ITER 6740 NEW BEST:: SOT 228255 SOS 125846 HAS SOPS 125846 HAS SOUS 100040 HAS SOUPS 100040 WITH SCORE 100165.846
AT ITER 6746 NEW BEST:: SOT 228255 SOS 125821 HAS SOPS 125821 HAS SOUS 100021 HAS SOUPS 100021 WITH SCORE 100146.821
AT ITER 6751 NEW BEST:: SOT 228151 SOS 125717 HAS SOPS 125717 HAS SOUS 99917 HAS SOUPS 99917 WITH SCORE 100042.717
AT ITER 6752 NEW BEST:: SOT 228086 SOS 125652 HAS SOPS 125652 HAS SOUS 99852 HAS SOUPS 99852 WITH SCORE 99977.652
AT ITER 6764 NEW BEST:: SOT 228064 SOS 125630 HAS SOPS 125630 HAS SOUS 99830 HAS SOUPS 99830 WITH SCORE 99955.63
AT ITER 6780 NEW BEST:: SOT 228015 SOS 125581 HAS SOPS 125581 HAS SOUS 99781 HAS SOUPS 99781 WITH SCORE 99906.581
AT ITER 6782 NEW BEST:: SOT 228089 SOS 125535 HAS SOPS 125535 HAS SOUS 99741 HAS SOUPS 99741 WITH SCORE 99866.535
AT ITER 6787 NEW BEST:: SOT 228075 SOS 125521 HAS SOPS 125521 HAS SOUS 99722 HAS SOUPS 99722 WITH SCORE 99847.521
AT ITER 6797 NEW BEST:: SOT 228050 SOS 125496 HAS SOPS 125496 HAS SOUS 99697 HAS SOUPS 99697 WITH SCORE 99822.496
AT ITER 6802 NEW BEST:: SOT 227882 SOS 125516 HAS SOPS 125516 HAS SOUS 99542 HAS SOUPS 99542 WITH SCORE 99667.516
AT ITER 6804 NEW BEST:: SOT 227915 SOS 125523 HAS SOPS 125523 HAS SOUS 99529 HAS SOUPS 99529 WITH SCORE 99654.523
AT ITER 6812 NEW BEST:: SOT 227915 SOS 125520 HAS SOPS 125520 HAS SOUS 99529 HAS SOUPS 99529 WITH SCORE 99654.52
AT ITER 6814 NEW BEST:: SOT 227915 SOS 125520 HAS SOPS 125520 HAS SOUS 99511 HAS SOUPS 99511 WITH SCORE 99636.52
AT ITER 6823 NEW BEST:: SOT 227862 SOS 125497 HAS SOPS 125497 HAS SOUS 99468 HAS SOUPS 99468 WITH SCORE 99593.497
AT ITER 6829 NEW BEST:: SOT 227862 SOS 125495 HAS SOPS 125495 HAS SOUS 99468 HAS SOUPS 99468 WITH SCORE 99593.495
AT ITER 6841 NEW BEST:: SOT 227789 SOS 125462 HAS SOPS 125462 HAS SOUS 99435 HAS SOUPS 99435 WITH SCORE 99560.462
AT ITER 6848 NEW BEST:: SOT 227779 SOS 125452 HAS SOPS 125452 HAS SOUS 99425 HAS SOUPS 99425 WITH SCORE 99550.452
AT ITER 6855 NEW BEST:: SOT 227761 SOS 125434 HAS SOPS 125434 HAS SOUS 99407 HAS SOUPS 99407 WITH SCORE 99532.434
AT ITER 6857 NEW BEST:: SOT 227698 SOS 125440 HAS SOPS 125440 HAS SOUS 99367 HAS SOUPS 99367 WITH SCORE 99492.44
AT ITER 6862 NEW BEST:: SOT 227684 SOS 125426 HAS SOPS 125426 HAS SOUS 99344 HAS SOUPS 99344 WITH SCORE 99469.426
AT ITER 6870 NEW BEST:: SOT 227702 SOS 125527 HAS SOPS 125527 HAS SOUS 99299 HAS SOUPS 99299 WITH SCORE 99424.527
AT ITER 6910 NEW BEST:: SOT 227740 SOS 125446 HAS SOPS 125446 HAS SOUS 99271 HAS SOUPS 99271 WITH SCORE 99396.446
AT ITER 6920 NEW BEST:: SOT 227722 SOS 125428 HAS SOPS 125428 HAS SOUS 99253 HAS SOUPS 99253 WITH SCORE 99378.428
AT ITER 6932 NEW BEST:: SOT 227757 SOS 125463 HAS SOPS 125463 HAS SOUS 99235 HAS SOUPS 99235 WITH SCORE 99360.463
AT ITER 6934 NEW BEST:: SOT 227694 SOS 125202 HAS SOPS 125202 HAS SOUS 99172 HAS SOUPS 99172 WITH SCORE 99297.202
AT ITER 6960 NEW BEST:: SOT 227688 SOS 125200 HAS SOPS 125200 HAS SOUS 99172 HAS SOUPS 99172 WITH SCORE 99297.2
AT ITER 6963 NEW BEST:: SOT 227654 SOS 125166 HAS SOPS 125166 HAS SOUS 99138 HAS SOUPS 99138 WITH SCORE 99263.166
AT ITER 6989 NEW BEST:: SOT 227578 SOS 125103 HAS SOPS 125103 HAS SOUS 99075 HAS SOUPS 99075 WITH SCORE 99200.103
AT ITER 7005 NEW BEST:: SOT 227578 SOS 125125 HAS SOPS 125125 HAS SOUS 99073 HAS SOUPS 99073 WITH SCORE 99198.125
AT ITER 7010 NEW BEST:: SOT 227538 SOS 125085 HAS SOPS 125085 HAS SOUS 99033 HAS SOUPS 99033 WITH SCORE 99158.085
AT ITER 7031 NEW BEST:: SOT 227515 SOS 125015 HAS SOPS 125015 HAS SOUS 98998 HAS SOUPS 98998 WITH SCORE 99123.015
AT ITER 7037 NEW BEST:: SOT 227505 SOS 124925 HAS SOPS 124925 HAS SOUS 98971 HAS SOUPS 98971 WITH SCORE 99095.925
AT ITER 7039 NEW BEST:: SOT 227487 SOS 124907 HAS SOPS 124907 HAS SOUS 98953 HAS SOUPS 98953 WITH SCORE 99077.907
AT ITER 7043 NEW BEST:: SOT 227419 SOS 124857 HAS SOPS 124857 HAS SOUS 98914 HAS SOUPS 98914 WITH SCORE 99038.857
AT ITER 7063 NEW BEST:: SOT 227419 SOS 124813 HAS SOPS 124813 HAS SOUS 98905 HAS SOUPS 98905 WITH SCORE 99029.813
AT ITER 7075 NEW BEST:: SOT 226832 SOS 124559 HAS SOPS 124559 HAS SOUS 98776 HAS SOUPS 98776 WITH SCORE 98900.559
AT ITER 7079 NEW BEST:: SOT 226748 SOS 124376 HAS SOPS 124376 HAS SOUS 98588 HAS SOUPS 98588 WITH SCORE 98712.376
AT ITER 7081 NEW BEST:: SOT 226752 SOS 124285 HAS SOPS 124285 HAS SOUS 98497 HAS SOUPS 98497 WITH SCORE 98621.285
AT ITER 7092 NEW BEST:: SOT 226752 SOS 124273 HAS SOPS 124273 HAS SOUS 98495 HAS SOUPS 98495 WITH SCORE 98619.273
AT ITER 7114 NEW BEST:: SOT 226747 SOS 124264 HAS SOPS 124264 HAS SOUS 98490 HAS SOUPS 98490 WITH SCORE 98614.264
AT ITER 7115 NEW BEST:: SOT 226751 SOS 124170 HAS SOPS 124170 HAS SOUS 98487 HAS SOUPS 98487 WITH SCORE 98611.17
AT ITER 7125 NEW BEST:: SOT 226769 SOS 124134 HAS SOPS 124134 HAS SOUS 98487 HAS SOUPS 98487 WITH SCORE 98611.134
AT ITER 7128 NEW BEST:: SOT 226769 SOS 124089 HAS SOPS 124089 HAS SOUS 98469 HAS SOUPS 98469 WITH SCORE 98593.089
AT ITER 7170 NEW BEST:: SOT 226765 SOS 124085 HAS SOPS 124085 HAS SOUS 98465 HAS SOUPS 98465 WITH SCORE 98589.085
AT ITER 7181 NEW BEST:: SOT 226760 SOS 124061 HAS SOPS 124061 HAS SOUS 98441 HAS SOUPS 98441 WITH SCORE 98565.061
AT ITER 7182 NEW BEST:: SOT 226721 SOS 124022 HAS SOPS 124022 HAS SOUS 98394 HAS SOUPS 98394 WITH SCORE 98518.022
AT ITER 7183 NEW BEST:: SOT 226693 SOS 124031 HAS SOPS 124031 HAS SOUS 98369 HAS SOUPS 98369 WITH SCORE 98493.031
AT ITER 7240 NEW BEST:: SOT 226693 SOS 124038 HAS SOPS 124038 HAS SOUS 98324 HAS SOUPS 98324 WITH SCORE 98448.038
AT ITER 7267 NEW BEST:: SOT 226685 SOS 124030 HAS SOPS 124030 HAS SOUS 98298 HAS SOUPS 98298 WITH SCORE 98422.03
AT ITER 7279 NEW BEST:: SOT 226685 SOS 124023 HAS SOPS 124023 HAS SOUS 98298 HAS SOUPS 98298 WITH SCORE 98422.023
AT ITER 7281 NEW BEST:: SOT 226680 SOS 124018 HAS SOPS 124018 HAS SOUS 98293 HAS SOUPS 98293 WITH SCORE 98417.018
AT ITER 7295 NEW BEST:: SOT 226680 SOS 124013 HAS SOPS 124013 HAS SOUS 98187 HAS SOUPS 98187 WITH SCORE 98311.013
AT ITER 7339 NEW BEST:: SOT 226679 SOS 124012 HAS SOPS 124012 HAS SOUS 98185 HAS SOUPS 98185 WITH SCORE 98309.012
AT ITER 7344 NEW BEST:: SOT 226651 SOS 123977 HAS SOPS 123977 HAS SOUS 98157 HAS SOUPS 98157 WITH SCORE 98280.977
AT ITER 7353 NEW BEST:: SOT 226651 SOS 123977 HAS SOPS 123977 HAS SOUS 98151 HAS SOUPS 98151 WITH SCORE 98274.977
AT ITER 7356 NEW BEST:: SOT 226633 SOS 124061 HAS SOPS 124061 HAS SOUS 98079 HAS SOUPS 98079 WITH SCORE 98203.061
AT ITER 7362 NEW BEST:: SOT 226625 SOS 124053 HAS SOPS 124053 HAS SOUS 98071 HAS SOUPS 98071 WITH SCORE 98195.053
AT ITER 7395 NEW BEST:: SOT 226625 SOS 124027 HAS SOPS 124027 HAS SOUS 98071 HAS SOUPS 98071 WITH SCORE 98195.027
AT ITER 7399 NEW BEST:: SOT 226612 SOS 124014 HAS SOPS 124014 HAS SOUS 98058 HAS SOUPS 98058 WITH SCORE 98182.014
AT ITER 7418 NEW BEST:: SOT 226612 SOS 123934 HAS SOPS 123934 HAS SOUS 98058 HAS SOUPS 98058 WITH SCORE 98181.934
AT ITER 7435 NEW BEST:: SOT 226578 SOS 123913 HAS SOPS 123913 HAS SOUS 98037 HAS SOUPS 98037 WITH SCORE 98160.913
AT ITER 7444 NEW BEST:: SOT 226574 SOS 123925 HAS SOPS 123925 HAS SOUS 98033 HAS SOUPS 98033 WITH SCORE 98156.925
AT ITER 7452 NEW BEST:: SOT 226574 SOS 123918 HAS SOPS 123918 HAS SOUS 98028 HAS SOUPS 98028 WITH SCORE 98151.918
AT ITER 7476 NEW BEST:: SOT 226651 SOS 123893 HAS SOPS 123893 HAS SOUS 97992 HAS SOUPS 97992 WITH SCORE 98115.893
AT ITER 7509 NEW BEST:: SOT 226644 SOS 123886 HAS SOPS 123886 HAS SOUS 97985 HAS SOUPS 97985 WITH SCORE 98108.886
AT ITER 7541 NEW BEST:: SOT 226644 SOS 123677 HAS SOPS 123677 HAS SOUS 97985 HAS SOUPS 97985 WITH SCORE 98108.677
AT ITER 7564 NEW BEST:: SOT 226635 SOS 123668 HAS SOPS 123668 HAS SOUS 97976 HAS SOUPS 97976 WITH SCORE 98099.668
AT ITER 7578 NEW BEST:: SOT 226628 SOS 123661 HAS SOPS 123661 HAS SOUS 97969 HAS SOUPS 97969 WITH SCORE 98092.661
AT ITER 7582 NEW BEST:: SOT 226604 SOS 123637 HAS SOPS 123637 HAS SOUS 97945 HAS SOUPS 97945 WITH SCORE 98068.637
AT ITER 7593 NEW BEST:: SOT 226612 SOS 123641 HAS SOPS 123641 HAS SOUS 97943 HAS SOUPS 97943 WITH SCORE 98066.641
AT ITER 7596 NEW BEST:: SOT 226490 SOS 123619 HAS SOPS 123619 HAS SOUS 97921 HAS SOUPS 97921 WITH SCORE 98044.619
AT ITER 7610 NEW BEST:: SOT 226490 SOS 123619 HAS SOPS 123619 HAS SOUS 97912 HAS SOUPS 97912 WITH SCORE 98035.619
AT ITER 7614 NEW BEST:: SOT 226490 SOS 123546 HAS SOPS 123546 HAS SOUS 97912 HAS SOUPS 97912 WITH SCORE 98035.546
AT ITER 7657 NEW BEST:: SOT 226490 SOS 123546 HAS SOPS 123546 HAS SOUS 97905 HAS SOUPS 97905 WITH SCORE 98028.546
AT ITER 7690 NEW BEST:: SOT 226487 SOS 123552 HAS SOPS 123552 HAS SOUS 97902 HAS SOUPS 97902 WITH SCORE 98025.552
AT ITER 7733 NEW BEST:: SOT 226485 SOS 123743 HAS SOPS 123743 HAS SOUS 97881 HAS SOUPS 97881 WITH SCORE 98004.743
AT ITER 7752 NEW BEST:: SOT 226485 SOS 123687 HAS SOPS 123687 HAS SOUS 97881 HAS SOUPS 97881 WITH SCORE 98004.687
AT ITER 7761 NEW BEST:: SOT 226478 SOS 123680 HAS SOPS 123680 HAS SOUS 97874 HAS SOUPS 97874 WITH SCORE 97997.68
AT ITER 7781 NEW BEST:: SOT 226424 SOS 123669 HAS SOPS 123669 HAS SOUS 97863 HAS SOUPS 97863 WITH SCORE 97986.669
AT ITER 7789 NEW BEST:: SOT 226413 SOS 123798 HAS SOPS 123798 HAS SOUS 97852 HAS SOUPS 97852 WITH SCORE 97975.798
AT ITER 7797 NEW BEST:: SOT 226413 SOS 123798 HAS SOPS 123798 HAS SOUS 97835 HAS SOUPS 97835 WITH SCORE 97958.798
AT ITER 7800 NEW BEST:: SOT 226413 SOS 123771 HAS SOPS 123771 HAS SOUS 97823 HAS SOUPS 97823 WITH SCORE 97946.771
AT ITER 7852 NEW BEST:: SOT 226413 SOS 123747 HAS SOPS 123747 HAS SOUS 97823 HAS SOUPS 97823 WITH SCORE 97946.747
AT ITER 7856 NEW BEST:: SOT 226445 SOS 123755 HAS SOPS 123755 HAS SOUS 97782 HAS SOUPS 97782 WITH SCORE 97905.755
AT ITER 7857 NEW BEST:: SOT 226327 SOS 123696 HAS SOPS 123696 HAS SOUS 97782 HAS SOUPS 97782 WITH SCORE 97905.696
AT ITER 7874 NEW BEST:: SOT 226143 SOS 123694 HAS SOPS 123694 HAS SOUS 97757 HAS SOUPS 97757 WITH SCORE 97880.694
AT ITER 7879 NEW BEST:: SOT 226143 SOS 123676 HAS SOPS 123676 HAS SOUS 97753 HAS SOUPS 97753 WITH SCORE 97876.676
AT ITER 7882 NEW BEST:: SOT 226135 SOS 123664 HAS SOPS 123664 HAS SOUS 97741 HAS SOUPS 97741 WITH SCORE 97864.664
AT ITER 7912 NEW BEST:: SOT 226133 SOS 123663 HAS SOPS 123663 HAS SOUS 97740 HAS SOUPS 97740 WITH SCORE 97863.663
AT ITER 7915 NEW BEST:: SOT 226133 SOS 123670 HAS SOPS 123670 HAS SOUS 97732 HAS SOUPS 97732 WITH SCORE 97855.67
AT ITER 7949 NEW BEST:: SOT 226028 SOS 123594 HAS SOPS 123594 HAS SOUS 97656 HAS SOUPS 97656 WITH SCORE 97779.594
AT ITER 7963 NEW BEST:: SOT 226030 SOS 123592 HAS SOPS 123592 HAS SOUS 97654 HAS SOUPS 97654 WITH SCORE 97777.592
AT ITER 7992 NEW BEST:: SOT 226014 SOS 124062 HAS SOPS 124062 HAS SOUS 97638 HAS SOUPS 97638 WITH SCORE 97762.062
AT ITER 8021 NEW BEST:: SOT 225933 SOS 124023 HAS SOPS 124023 HAS SOUS 97623 HAS SOUPS 97623 WITH SCORE 97747.023
AT ITER 8027 NEW BEST:: SOT 225907 SOS 123997 HAS SOPS 123997 HAS SOUS 97571 HAS SOUPS 97571 WITH SCORE 97694.997
AT ITER 8028 NEW BEST:: SOT 225870 SOS 123960 HAS SOPS 123960 HAS SOUS 97526 HAS SOUPS 97526 WITH SCORE 97649.96
AT ITER 8059 NEW BEST:: SOT 225864 SOS 124852 HAS SOPS 124852 HAS SOUS 97520 HAS SOUPS 97520 WITH SCORE 97644.852
AT ITER 8063 NEW BEST:: SOT 225857 SOS 124845 HAS SOPS 124845 HAS SOUS 97513 HAS SOUPS 97513 WITH SCORE 97637.845
AT ITER 8075 NEW BEST:: SOT 225857 SOS 124927 HAS SOPS 124927 HAS SOUS 97510 HAS SOUPS 97510 WITH SCORE 97634.927
AT ITER 8091 NEW BEST:: SOT 225847 SOS 124917 HAS SOPS 124917 HAS SOUS 97500 HAS SOUPS 97500 WITH SCORE 97624.917
AT ITER 8096 NEW BEST:: SOT 225839 SOS 124909 HAS SOPS 124909 HAS SOUS 97492 HAS SOUPS 97492 WITH SCORE 97616.909
AT ITER 8097 NEW BEST:: SOT 225839 SOS 124862 HAS SOPS 124862 HAS SOUS 97486 HAS SOUPS 97486 WITH SCORE 97610.862
AT ITER 8098 NEW BEST:: SOT 225812 SOS 124835 HAS SOPS 124835 HAS SOUS 97409 HAS SOUPS 97409 WITH SCORE 97533.835
AT ITER 8103 NEW BEST:: SOT 225806 SOS 124829 HAS SOPS 124829 HAS SOUS 97403 HAS SOUPS 97403 WITH SCORE 97527.829
AT ITER 8149 NEW BEST:: SOT 225750 SOS 124773 HAS SOPS 124773 HAS SOUS 97347 HAS SOUPS 97347 WITH SCORE 97471.773
AT ITER 8169 NEW BEST:: SOT 225736 SOS 124759 HAS SOPS 124759 HAS SOUS 97333 HAS SOUPS 97333 WITH SCORE 97457.759
AT ITER 8207 NEW BEST:: SOT 225654 SOS 125454 HAS SOPS 125454 HAS SOUS 97289 HAS SOUPS 97289 WITH SCORE 97414.454
AT ITER 8216 NEW BEST:: SOT 225654 SOS 125420 HAS SOPS 125420 HAS SOUS 97281 HAS SOUPS 97281 WITH SCORE 97406.42
AT ITER 8217 NEW BEST:: SOT 225654 SOS 125234 HAS SOPS 125234 HAS SOUS 97281 HAS SOUPS 97281 WITH SCORE 97406.234
AT ITER 8227 NEW BEST:: SOT 225603 SOS 125183 HAS SOPS 125183 HAS SOUS 97241 HAS SOUPS 97241 WITH SCORE 97366.183
AT ITER 8228 NEW BEST:: SOT 225599 SOS 125179 HAS SOPS 125179 HAS SOUS 97237 HAS SOUPS 97237 WITH SCORE 97362.179
AT ITER 8240 NEW BEST:: SOT 225567 SOS 126138 HAS SOPS 126138 HAS SOUS 97214 HAS SOUPS 97214 WITH SCORE 97340.138
AT ITER 8252 NEW BEST:: SOT 225567 SOS 126132 HAS SOPS 126132 HAS SOUS 97214 HAS SOUPS 97214 WITH SCORE 97340.132
AT ITER 8268 NEW BEST:: SOT 225560 SOS 126125 HAS SOPS 126125 HAS SOUS 97177 HAS SOUPS 97177 WITH SCORE 97303.125
AT ITER 8269 NEW BEST:: SOT 225560 SOS 126084 HAS SOPS 126084 HAS SOUS 97177 HAS SOUPS 97177 WITH SCORE 97303.084
AT ITER 8275 NEW BEST:: SOT 225551 SOS 126111 HAS SOPS 126111 HAS SOUS 97168 HAS SOUPS 97168 WITH SCORE 97294.111
AT ITER 8286 NEW BEST:: SOT 225521 SOS 126107 HAS SOPS 126107 HAS SOUS 97157 HAS SOUPS 97157 WITH SCORE 97283.107
AT ITER 8293 NEW BEST:: SOT 225515 SOS 126101 HAS SOPS 126101 HAS SOUS 97151 HAS SOUPS 97151 WITH SCORE 97277.101
AT ITER 8305 NEW BEST:: SOT 225515 SOS 126050 HAS SOPS 126050 HAS SOUS 97151 HAS SOUPS 97151 WITH SCORE 97277.05
AT ITER 8307 NEW BEST:: SOT 225481 SOS 126016 HAS SOPS 126016 HAS SOUS 97078 HAS SOUPS 97078 WITH SCORE 97204.016
AT ITER 8333 NEW BEST:: SOT 225616 SOS 126107 HAS SOPS 126107 HAS SOUS 97067 HAS SOUPS 97067 WITH SCORE 97193.107
AT ITER 8345 NEW BEST:: SOT 225606 SOS 126352 HAS SOPS 126352 HAS SOUS 97057 HAS SOUPS 97057 WITH SCORE 97183.352
AT ITER 8363 NEW BEST:: SOT 225620 SOS 126324 HAS SOPS 126324 HAS SOUS 97040 HAS SOUPS 97040 WITH SCORE 97166.324
AT ITER 8389 NEW BEST:: SOT 225608 SOS 126312 HAS SOPS 126312 HAS SOUS 97028 HAS SOUPS 97028 WITH SCORE 97154.312
AT ITER 8424 NEW BEST:: SOT 225564 SOS 126268 HAS SOPS 126268 HAS SOUS 96984 HAS SOUPS 96984 WITH SCORE 97110.268
AT ITER 8448 NEW BEST:: SOT 225560 SOS 126264 HAS SOPS 126264 HAS SOUS 96980 HAS SOUPS 96980 WITH SCORE 97106.264
AT ITER 8453 NEW BEST:: SOT 225549 SOS 126198 HAS SOPS 126198 HAS SOUS 96968 HAS SOUPS 96968 WITH SCORE 97094.198
AT ITER 8469 NEW BEST:: SOT 225566 SOS 126266 HAS SOPS 126266 HAS SOUS 96905 HAS SOUPS 96905 WITH SCORE 97031.266
AT ITER 8470 NEW BEST:: SOT 225566 SOS 126296 HAS SOPS 126296 HAS SOUS 96898 HAS SOUPS 96898 WITH SCORE 97024.296
AT ITER 8471 NEW BEST:: SOT 225567 SOS 126297 HAS SOPS 126297 HAS SOUS 96888 HAS SOUPS 96888 WITH SCORE 97014.297
AT ITER 8509 NEW BEST:: SOT 225531 SOS 126261 HAS SOPS 126261 HAS SOUS 96852 HAS SOUPS 96852 WITH SCORE 96978.261
AT ITER 8516 NEW BEST:: SOT 225557 SOS 126287 HAS SOPS 126287 HAS SOUS 96845 HAS SOUPS 96845 WITH SCORE 96971.287
AT ITER 8532 NEW BEST:: SOT 225557 SOS 126267 HAS SOPS 126267 HAS SOUS 96845 HAS SOUPS 96845 WITH SCORE 96971.267
AT ITER 8558 NEW BEST:: SOT 225555 SOS 126265 HAS SOPS 126265 HAS SOUS 96843 HAS SOUPS 96843 WITH SCORE 96969.265
AT ITER 8561 NEW BEST:: SOT 225318 SOS 125964 HAS SOPS 125964 HAS SOUS 96770 HAS SOUPS 96770 WITH SCORE 96895.964
AT ITER 8564 NEW BEST:: SOT 225302 SOS 125933 HAS SOPS 125933 HAS SOUS 96739 HAS SOUPS 96739 WITH SCORE 96864.933
AT ITER 8597 NEW BEST:: SOT 225271 SOS 125902 HAS SOPS 125902 HAS SOUS 96708 HAS SOUPS 96708 WITH SCORE 96833.902
AT ITER 8604 NEW BEST:: SOT 225176 SOS 125807 HAS SOPS 125807 HAS SOUS 96613 HAS SOUPS 96613 WITH SCORE 96738.807
AT ITER 8621 NEW BEST:: SOT 225173 SOS 125804 HAS SOPS 125804 HAS SOUS 96597 HAS SOUPS 96597 WITH SCORE 96722.804
AT ITER 8627 NEW BEST:: SOT 225100 SOS 126305 HAS SOPS 126305 HAS SOUS 96524 HAS SOUPS 96524 WITH SCORE 96650.305
AT ITER 8653 NEW BEST:: SOT 225079 SOS 126284 HAS SOPS 126284 HAS SOUS 96503 HAS SOUPS 96503 WITH SCORE 96629.284
AT ITER 8661 NEW BEST:: SOT 225075 SOS 126281 HAS SOPS 126281 HAS SOUS 96500 HAS SOUPS 96500 WITH SCORE 96626.281
AT ITER 8702 NEW BEST:: SOT 225110 SOS 126316 HAS SOPS 126316 HAS SOUS 96497 HAS SOUPS 96497 WITH SCORE 96623.316
AT ITER 8721 NEW BEST:: SOT 225110 SOS 126303 HAS SOPS 126303 HAS SOUS 96497 HAS SOUPS 96497 WITH SCORE 96623.303
AT ITER 8732 NEW BEST:: SOT 225103 SOS 126296 HAS SOPS 126296 HAS SOUS 96490 HAS SOUPS 96490 WITH SCORE 96616.296
AT ITER 8733 NEW BEST:: SOT 225103 SOS 126172 HAS SOPS 126172 HAS SOUS 96490 HAS SOUPS 96490 WITH SCORE 96616.172
AT ITER 8744 NEW BEST:: SOT 225103 SOS 126168 HAS SOPS 126168 HAS SOUS 96490 HAS SOUPS 96490 WITH SCORE 96616.168
AT ITER 8761 NEW BEST:: SOT 225123 SOS 126178 HAS SOPS 126178 HAS SOUS 96480 HAS SOUPS 96480 WITH SCORE 96606.178
AT ITER 8764 NEW BEST:: SOT 225116 SOS 126171 HAS SOPS 126171 HAS SOUS 96473 HAS SOUPS 96473 WITH SCORE 96599.171
AT ITER 8779 NEW BEST:: SOT 225116 SOS 126102 HAS SOPS 126102 HAS SOUS 96473 HAS SOUPS 96473 WITH SCORE 96599.102
AT ITER 8780 NEW BEST:: SOT 225115 SOS 126101 HAS SOPS 126101 HAS SOUS 96472 HAS SOUPS 96472 WITH SCORE 96598.101
AT ITER 8886 NEW BEST:: SOT 225115 SOS 126110 HAS SOPS 126110 HAS SOUS 96460 HAS SOUPS 96460 WITH SCORE 96586.11
AT ITER 8915 NEW BEST:: SOT 225086 SOS 126081 HAS SOPS 126081 HAS SOUS 96431 HAS SOUPS 96431 WITH SCORE 96557.081
AT ITER 8916 NEW BEST:: SOT 225086 SOS 126081 HAS SOPS 126081 HAS SOUS 96390 HAS SOUPS 96390 WITH SCORE 96516.081
AT ITER 8993 NEW BEST:: SOT 225086 SOS 126066 HAS SOPS 126066 HAS SOUS 96387 HAS SOUPS 96387 WITH SCORE 96513.066
AT ITER 8997 NEW BEST:: SOT 225086 SOS 126012 HAS SOPS 126012 HAS SOUS 96380 HAS SOUPS 96380 WITH SCORE 96506.012
AT ITER 9011 NEW BEST:: SOT 225086 SOS 126123 HAS SOPS 126123 HAS SOUS 96353 HAS SOUPS 96353 WITH SCORE 96479.123
AT ITER 9025 NEW BEST:: SOT 224952 SOS 126113 HAS SOPS 126113 HAS SOUS 96343 HAS SOUPS 96343 WITH SCORE 96469.113
AT ITER 9062 NEW BEST:: SOT 224952 SOS 126104 HAS SOPS 126104 HAS SOUS 96343 HAS SOUPS 96343 WITH SCORE 96469.104
AT ITER 9073 NEW BEST:: SOT 224875 SOS 126103 HAS SOPS 126103 HAS SOUS 96304 HAS SOUPS 96304 WITH SCORE 96430.103
AT ITER 9077 NEW BEST:: SOT 224857 SOS 126239 HAS SOPS 126239 HAS SOUS 96286 HAS SOUPS 96286 WITH SCORE 96412.239
AT ITER 9088 NEW BEST:: SOT 224819 SOS 126201 HAS SOPS 126201 HAS SOUS 96159 HAS SOUPS 96159 WITH SCORE 96285.201
AT ITER 9099 NEW BEST:: SOT 224812 SOS 126159 HAS SOPS 126159 HAS SOUS 96159 HAS SOUPS 96159 WITH SCORE 96285.159
AT ITER 9113 NEW BEST:: SOT 224619 SOS 126625 HAS SOPS 126625 HAS SOUS 96041 HAS SOUPS 96041 WITH SCORE 96167.625
AT ITER 9115 NEW BEST:: SOT 224592 SOS 126694 HAS SOPS 126694 HAS SOUS 96014 HAS SOUPS 96014 WITH SCORE 96140.694
AT ITER 9138 NEW BEST:: SOT 224592 SOS 126694 HAS SOPS 126694 HAS SOUS 96008 HAS SOUPS 96008 WITH SCORE 96134.694
AT ITER 9144 NEW BEST:: SOT 224592 SOS 126694 HAS SOPS 126694 HAS SOUS 96006 HAS SOUPS 96006 WITH SCORE 96132.694
AT ITER 9147 NEW BEST:: SOT 224591 SOS 126693 HAS SOPS 126693 HAS SOUS 96005 HAS SOUPS 96005 WITH SCORE 96131.693
AT ITER 9228 NEW BEST:: SOT 224583 SOS 126677 HAS SOPS 126677 HAS SOUS 95989 HAS SOUPS 95989 WITH SCORE 96115.677
AT ITER 9268 NEW BEST:: SOT 224577 SOS 126673 HAS SOPS 126673 HAS SOUS 95986 HAS SOUPS 95986 WITH SCORE 96112.673
AT ITER 9271 NEW BEST:: SOT 224599 SOS 126685 HAS SOPS 126685 HAS SOUS 95978 HAS SOUPS 95978 WITH SCORE 96104.685
AT ITER 9281 NEW BEST:: SOT 224592 SOS 126678 HAS SOPS 126678 HAS SOUS 95971 HAS SOUPS 95971 WITH SCORE 96097.678
AT ITER 9290 NEW BEST:: SOT 224531 SOS 126617 HAS SOPS 126617 HAS SOUS 95869 HAS SOUPS 95869 WITH SCORE 95995.617
AT ITER 9295 NEW BEST:: SOT 224514 SOS 126600 HAS SOPS 126600 HAS SOUS 95852 HAS SOUPS 95852 WITH SCORE 95978.6
AT ITER 9346 NEW BEST:: SOT 224514 SOS 126560 HAS SOPS 126560 HAS SOUS 95852 HAS SOUPS 95852 WITH SCORE 95978.56
AT ITER 9351 NEW BEST:: SOT 224514 SOS 126543 HAS SOPS 126543 HAS SOUS 95852 HAS SOUPS 95852 WITH SCORE 95978.543
AT ITER 9362 NEW BEST:: SOT 224514 SOS 126679 HAS SOPS 126679 HAS SOUS 95794 HAS SOUPS 95794 WITH SCORE 95920.679
AT ITER 9393 NEW BEST:: SOT 224430 SOS 126719 HAS SOPS 126719 HAS SOUS 95778 HAS SOUPS 95778 WITH SCORE 95904.719
AT ITER 9406 NEW BEST:: SOT 224375 SOS 126664 HAS SOPS 126664 HAS SOUS 95733 HAS SOUPS 95733 WITH SCORE 95859.664
AT ITER 9432 NEW BEST:: SOT 224457 SOS 126603 HAS SOPS 126603 HAS SOUS 95606 HAS SOUPS 95606 WITH SCORE 95732.603
AT ITER 9480 NEW BEST:: SOT 224444 SOS 126590 HAS SOPS 126590 HAS SOUS 95593 HAS SOUPS 95593 WITH SCORE 95719.59
AT ITER 9531 NEW BEST:: SOT 224444 SOS 126578 HAS SOPS 126578 HAS SOUS 95593 HAS SOUPS 95593 WITH SCORE 95719.578
AT ITER 9539 NEW BEST:: SOT 224465 SOS 126515 HAS SOPS 126515 HAS SOUS 95593 HAS SOUPS 95593 WITH SCORE 95719.515
AT ITER 9565 NEW BEST:: SOT 224448 SOS 126498 HAS SOPS 126498 HAS SOUS 95576 HAS SOUPS 95576 WITH SCORE 95702.498
AT ITER 9592 NEW BEST:: SOT 224448 SOS 126473 HAS SOPS 126473 HAS SOUS 95576 HAS SOUPS 95576 WITH SCORE 95702.473
AT ITER 9606 NEW BEST:: SOT 224448 SOS 126449 HAS SOPS 126449 HAS SOUS 95576 HAS SOUPS 95576 WITH SCORE 95702.449
AT ITER 9612 NEW BEST:: SOT 224432 SOS 126433 HAS SOPS 126433 HAS SOUS 95560 HAS SOUPS 95560 WITH SCORE 95686.433
AT ITER 9621 NEW BEST:: SOT 224432 SOS 126410 HAS SOPS 126410 HAS SOUS 95560 HAS SOUPS 95560 WITH SCORE 95686.41
AT ITER 9623 NEW BEST:: SOT 224401 SOS 126379 HAS SOPS 126379 HAS SOUS 95529 HAS SOUPS 95529 WITH SCORE 95655.379
AT ITER 9641 NEW BEST:: SOT 224372 SOS 126827 HAS SOPS 126827 HAS SOUS 95511 HAS SOUPS 95511 WITH SCORE 95637.827
AT ITER 9667 NEW BEST:: SOT 224309 SOS 126764 HAS SOPS 126764 HAS SOUS 95468 HAS SOUPS 95468 WITH SCORE 95594.764
AT ITER 9668 NEW BEST:: SOT 224309 SOS 126734 HAS SOPS 126734 HAS SOUS 95468 HAS SOUPS 95468 WITH SCORE 95594.734
AT ITER 9673 NEW BEST:: SOT 224304 SOS 126724 HAS SOPS 126724 HAS SOUS 95458 HAS SOUPS 95458 WITH SCORE 95584.724
AT ITER 9703 NEW BEST:: SOT 224244 SOS 126795 HAS SOPS 126795 HAS SOUS 95428 HAS SOUPS 95428 WITH SCORE 95554.795
AT ITER 9741 NEW BEST:: SOT 224244 SOS 126738 HAS SOPS 126738 HAS SOUS 95419 HAS SOUPS 95419 WITH SCORE 95545.738
AT ITER 9753 NEW BEST:: SOT 224244 SOS 126144 HAS SOPS 126144 HAS SOUS 95419 HAS SOUPS 95419 WITH SCORE 95545.144
AT ITER 9754 NEW BEST:: SOT 224244 SOS 126133 HAS SOPS 126133 HAS SOUS 95419 HAS SOUPS 95419 WITH SCORE 95545.133
AT ITER 9759 NEW BEST:: SOT 224116 SOS 126116 HAS SOPS 126116 HAS SOUS 95394 HAS SOUPS 95394 WITH SCORE 95520.116
AT ITER 9767 NEW BEST:: SOT 224034 SOS 126025 HAS SOPS 126025 HAS SOUS 95322 HAS SOUPS 95322 WITH SCORE 95448.025
AT ITER 9771 NEW BEST:: SOT 224024 SOS 126002 HAS SOPS 126002 HAS SOUS 95264 HAS SOUPS 95264 WITH SCORE 95390.002
AT ITER 9799 NEW BEST:: SOT 224024 SOS 126008 HAS SOPS 126008 HAS SOUS 95238 HAS SOUPS 95238 WITH SCORE 95364.008
AT ITER 9836 NEW BEST:: SOT 224022 SOS 126006 HAS SOPS 126006 HAS SOUS 95236 HAS SOUPS 95236 WITH SCORE 95362.006
AT ITER 9858 NEW BEST:: SOT 224028 SOS 125982 HAS SOPS 125982 HAS SOUS 95225 HAS SOUPS 95225 WITH SCORE 95350.982
AT ITER 9873 NEW BEST:: SOT 224028 SOS 125982 HAS SOPS 125982 HAS SOUS 95150 HAS SOUPS 95150 WITH SCORE 95275.982
AT ITER 9882 NEW BEST:: SOT 223992 SOS 125915 HAS SOPS 125915 HAS SOUS 95074 HAS SOUPS 95074 WITH SCORE 95199.915
AT ITER 9908 NEW BEST:: SOT 223882 SOS 125805 HAS SOPS 125805 HAS SOUS 94860 HAS SOUPS 94860 WITH SCORE 94985.805
AT ITER 9924 NEW BEST:: SOT 223823 SOS 125786 HAS SOPS 125786 HAS SOUS 94841 HAS SOUPS 94841 WITH SCORE 94966.786
AT ITER 9932 NEW BEST:: SOT 223857 SOS 125786 HAS SOPS 125786 HAS SOUS 94839 HAS SOUPS 94839 WITH SCORE 94964.786
AT ITER 9941 NEW BEST:: SOT 223779 SOS 125655 HAS SOPS 125655 HAS SOUS 94761 HAS SOUPS 94761 WITH SCORE 94886.655
AT ITER 9946 NEW BEST:: SOT 223779 SOS 125603 HAS SOPS 125603 HAS SOUS 94761 HAS SOUPS 94761 WITH SCORE 94886.603
AT ITER 9949 NEW BEST:: SOT 223742 SOS 125566 HAS SOPS 125566 HAS SOUS 94724 HAS SOUPS 94724 WITH SCORE 94849.566
AT ITER 9966 NEW BEST:: SOT 223730 SOS 125534 HAS SOPS 125534 HAS SOUS 94712 HAS SOUPS 94712 WITH SCORE 94837.534
AT ITER 9972 NEW BEST:: SOT 223578 SOS 126045 HAS SOPS 126045 HAS SOUS 94631 HAS SOUPS 94631 WITH SCORE 94757.045
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 4059936 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16119612 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Sudoku-COL-AN08"
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 Sudoku-COL-AN08, 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 r491-tall-167912710000064"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-COL-AN08.tgz
mv Sudoku-COL-AN08 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 ;