About the Execution of Smart for UtilityControlRoom-COL-Z4T4N08
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
14996.915 | 3600000.00 | 3598138.00 | 2417.90 | [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.r483-tall-167912696501080.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is UtilityControlRoom-COL-Z4T4N08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696501080
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 6.2K Feb 26 14:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 51K Feb 26 14:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 14:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 14:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 17:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 17:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 14:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 140K Feb 26 14:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 14:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K Feb 26 14:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 17:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 29K 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 1679189906868
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=UtilityControlRoom-COL-Z4T4N08
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-19 01:38:29] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-19 01:38:29] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-19 01:38:30] [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 01:38:30] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-19 01:38:30] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 693 ms
[2023-03-19 01:38:30] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 302 PT places and 600.0 transition bindings in 20 ms.
[2023-03-19 01:38:30] [INFO ] Unfolded HLPN to a Petri net with 302 places and 600 transitions 1928 arcs in 60 ms.
[2023-03-19 01:38:30] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 128 transitions
Reduce isomorphic transitions removed 128 transitions.
Drop transitions removed 32 transitions
Redundant transition composition rules discarded 32 transitions
[2023-03-19 01:38:30] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 302 places, 440 transitions and 1288 arcs took 19 ms.
Total runtime 1059 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z4T4N08
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 302 places, 440 transitions, 1288 arcs.
AT ITER 0 NEW BEST:: SOT 91947 SOS 61113 HAS SOPS 61113 HAS SOUS 39909 HAS SOUPS 39909 WITH SCORE 39970.113
AT ITER 10 NEW BEST:: SOT 91894 SOS 61037 HAS SOPS 61037 HAS SOUS 39755 HAS SOUPS 39755 WITH SCORE 39816.037
AT ITER 11 NEW BEST:: SOT 91953 SOS 61096 HAS SOPS 61096 HAS SOUS 39694 HAS SOUPS 39694 WITH SCORE 39755.096
AT ITER 24 NEW BEST:: SOT 89495 SOS 58665 HAS SOPS 58665 HAS SOUS 37263 HAS SOUPS 37263 WITH SCORE 37321.665
AT ITER 32 NEW BEST:: SOT 89438 SOS 58522 HAS SOPS 58522 HAS SOUS 37042 HAS SOUPS 37042 WITH SCORE 37100.522
AT ITER 34 NEW BEST:: SOT 89447 SOS 58647 HAS SOPS 58647 HAS SOUS 37037 HAS SOUPS 37037 WITH SCORE 37095.647
AT ITER 37 NEW BEST:: SOT 89437 SOS 58745 HAS SOPS 58745 HAS SOUS 37027 HAS SOUPS 37027 WITH SCORE 37085.745
AT ITER 42 NEW BEST:: SOT 89437 SOS 58689 HAS SOPS 58689 HAS SOUS 36897 HAS SOUPS 36897 WITH SCORE 36955.689
AT ITER 58 NEW BEST:: SOT 90295 SOS 58743 HAS SOPS 58743 HAS SOUS 35158 HAS SOUPS 35158 WITH SCORE 35216.743
AT ITER 67 NEW BEST:: SOT 90307 SOS 58755 HAS SOPS 58755 HAS SOUS 35149 HAS SOUPS 35149 WITH SCORE 35207.755
AT ITER 70 NEW BEST:: SOT 90307 SOS 58507 HAS SOPS 58507 HAS SOUS 34965 HAS SOUPS 34965 WITH SCORE 35023.507
AT ITER 74 NEW BEST:: SOT 90307 SOS 58337 HAS SOPS 58337 HAS SOUS 34879 HAS SOUPS 34879 WITH SCORE 34937.337
AT ITER 75 NEW BEST:: SOT 90307 SOS 58235 HAS SOPS 58235 HAS SOUS 34777 HAS SOUPS 34777 WITH SCORE 34835.235
AT ITER 78 NEW BEST:: SOT 90335 SOS 58120 HAS SOPS 58120 HAS SOUS 34703 HAS SOUPS 34703 WITH SCORE 34761.12
AT ITER 82 NEW BEST:: SOT 86753 SOS 55467 HAS SOPS 55467 HAS SOUS 31183 HAS SOUPS 31183 WITH SCORE 31238.467
AT ITER 83 NEW BEST:: SOT 86761 SOS 55469 HAS SOPS 55469 HAS SOUS 30998 HAS SOUPS 30998 WITH SCORE 31053.469
AT ITER 84 NEW BEST:: SOT 86745 SOS 55528 HAS SOPS 55528 HAS SOUS 30963 HAS SOUPS 30963 WITH SCORE 31018.528
AT ITER 93 NEW BEST:: SOT 86745 SOS 55528 HAS SOPS 55528 HAS SOUS 30887 HAS SOUPS 30887 WITH SCORE 30942.528
AT ITER 95 NEW BEST:: SOT 86733 SOS 55516 HAS SOPS 55516 HAS SOUS 30879 HAS SOUPS 30879 WITH SCORE 30934.516
AT ITER 103 NEW BEST:: SOT 86751 SOS 55534 HAS SOPS 55534 HAS SOUS 30796 HAS SOUPS 30796 WITH SCORE 30851.534
AT ITER 115 NEW BEST:: SOT 86727 SOS 55500 HAS SOPS 55500 HAS SOUS 30704 HAS SOUPS 30704 WITH SCORE 30759.5
AT ITER 116 NEW BEST:: SOT 86684 SOS 55457 HAS SOPS 55457 HAS SOUS 30688 HAS SOUPS 30688 WITH SCORE 30743.457
AT ITER 123 NEW BEST:: SOT 86684 SOS 55457 HAS SOPS 55457 HAS SOUS 30680 HAS SOUPS 30680 WITH SCORE 30735.457
AT ITER 127 NEW BEST:: SOT 86703 SOS 55476 HAS SOPS 55476 HAS SOUS 30624 HAS SOUPS 30624 WITH SCORE 30679.476
AT ITER 132 NEW BEST:: SOT 86636 SOS 55357 HAS SOPS 55357 HAS SOUS 30370 HAS SOUPS 30370 WITH SCORE 30425.357
AT ITER 135 NEW BEST:: SOT 86625 SOS 54880 HAS SOPS 54880 HAS SOUS 30268 HAS SOUPS 30268 WITH SCORE 30322.88
AT ITER 138 NEW BEST:: SOT 86589 SOS 54844 HAS SOPS 54844 HAS SOUS 30252 HAS SOUPS 30252 WITH SCORE 30306.844
AT ITER 144 NEW BEST:: SOT 86585 SOS 54840 HAS SOPS 54840 HAS SOUS 30246 HAS SOUPS 30246 WITH SCORE 30300.84
AT ITER 147 NEW BEST:: SOT 86564 SOS 54819 HAS SOPS 54819 HAS SOUS 30225 HAS SOUPS 30225 WITH SCORE 30279.819
AT ITER 151 NEW BEST:: SOT 86536 SOS 54605 HAS SOPS 54605 HAS SOUS 30197 HAS SOUPS 30197 WITH SCORE 30251.605
AT ITER 152 NEW BEST:: SOT 86526 SOS 54580 HAS SOPS 54580 HAS SOUS 30187 HAS SOUPS 30187 WITH SCORE 30241.58
AT ITER 155 NEW BEST:: SOT 85028 SOS 53082 HAS SOPS 53082 HAS SOUS 29976 HAS SOUPS 29976 WITH SCORE 30029.082
AT ITER 158 NEW BEST:: SOT 85022 SOS 53076 HAS SOPS 53076 HAS SOUS 29934 HAS SOUPS 29934 WITH SCORE 29987.076
AT ITER 160 NEW BEST:: SOT 84949 SOS 52965 HAS SOPS 52965 HAS SOUS 29439 HAS SOUPS 29439 WITH SCORE 29491.965
AT ITER 169 NEW BEST:: SOT 84912 SOS 52889 HAS SOPS 52889 HAS SOUS 29316 HAS SOUPS 29316 WITH SCORE 29368.889
AT ITER 175 NEW BEST:: SOT 82459 SOS 52830 HAS SOPS 52830 HAS SOUS 27581 HAS SOUPS 27581 WITH SCORE 27633.83
AT ITER 184 NEW BEST:: SOT 82459 SOS 52830 HAS SOPS 52830 HAS SOUS 27573 HAS SOUPS 27573 WITH SCORE 27625.83
AT ITER 186 NEW BEST:: SOT 82457 SOS 52828 HAS SOPS 52828 HAS SOUS 27571 HAS SOUPS 27571 WITH SCORE 27623.828
AT ITER 190 NEW BEST:: SOT 82449 SOS 52820 HAS SOPS 52820 HAS SOUS 27567 HAS SOUPS 27567 WITH SCORE 27619.82
AT ITER 191 NEW BEST:: SOT 82448 SOS 52819 HAS SOPS 52819 HAS SOUS 27518 HAS SOUPS 27518 WITH SCORE 27570.819
AT ITER 195 NEW BEST:: SOT 82441 SOS 52816 HAS SOPS 52816 HAS SOUS 27486 HAS SOUPS 27486 WITH SCORE 27538.816
AT ITER 197 NEW BEST:: SOT 82405 SOS 53429 HAS SOPS 53429 HAS SOUS 27469 HAS SOUPS 27469 WITH SCORE 27522.429
AT ITER 200 NEW BEST:: SOT 82380 SOS 53403 HAS SOPS 53403 HAS SOUS 27248 HAS SOUPS 27248 WITH SCORE 27301.403
AT ITER 202 NEW BEST:: SOT 82380 SOS 53322 HAS SOPS 53322 HAS SOUS 27248 HAS SOUPS 27248 WITH SCORE 27301.322
AT ITER 207 NEW BEST:: SOT 82343 SOS 53350 HAS SOPS 53350 HAS SOUS 27146 HAS SOUPS 27146 WITH SCORE 27199.35
AT ITER 212 NEW BEST:: SOT 82255 SOS 52350 HAS SOPS 52350 HAS SOUS 27063 HAS SOUPS 27063 WITH SCORE 27115.35
AT ITER 224 NEW BEST:: SOT 82310 SOS 52405 HAS SOPS 52405 HAS SOUS 26647 HAS SOUPS 26647 WITH SCORE 26699.405
AT ITER 231 NEW BEST:: SOT 82194 SOS 52179 HAS SOPS 52179 HAS SOUS 26525 HAS SOUPS 26525 WITH SCORE 26577.179
AT ITER 232 NEW BEST:: SOT 82132 SOS 51866 HAS SOPS 51866 HAS SOUS 26463 HAS SOUPS 26463 WITH SCORE 26514.866
AT ITER 239 NEW BEST:: SOT 82165 SOS 51932 HAS SOPS 51932 HAS SOUS 26397 HAS SOUPS 26397 WITH SCORE 26448.932
AT ITER 244 NEW BEST:: SOT 82220 SOS 51717 HAS SOPS 51717 HAS SOUS 26374 HAS SOUPS 26374 WITH SCORE 26425.717
AT ITER 245 NEW BEST:: SOT 82243 SOS 51740 HAS SOPS 51740 HAS SOUS 26139 HAS SOUPS 26139 WITH SCORE 26190.74
AT ITER 247 NEW BEST:: SOT 82098 SOS 50966 HAS SOPS 50966 HAS SOUS 26005 HAS SOUPS 26005 WITH SCORE 26055.966
AT ITER 261 NEW BEST:: SOT 82064 SOS 51066 HAS SOPS 51066 HAS SOUS 25975 HAS SOUPS 25975 WITH SCORE 26026.066
AT ITER 266 NEW BEST:: SOT 82284 SOS 51286 HAS SOPS 51286 HAS SOUS 25972 HAS SOUPS 25972 WITH SCORE 26023.286
AT ITER 271 NEW BEST:: SOT 82271 SOS 51280 HAS SOPS 51280 HAS SOUS 25900 HAS SOUPS 25900 WITH SCORE 25951.28
AT ITER 272 NEW BEST:: SOT 82295 SOS 51304 HAS SOPS 51304 HAS SOUS 25852 HAS SOUPS 25852 WITH SCORE 25903.304
AT ITER 293 NEW BEST:: SOT 82266 SOS 51269 HAS SOPS 51269 HAS SOUS 25455 HAS SOUPS 25455 WITH SCORE 25506.269
AT ITER 294 NEW BEST:: SOT 82252 SOS 51246 HAS SOPS 51246 HAS SOUS 25441 HAS SOUPS 25441 WITH SCORE 25492.246
AT ITER 295 NEW BEST:: SOT 82171 SOS 51165 HAS SOPS 51165 HAS SOUS 25366 HAS SOUPS 25366 WITH SCORE 25417.165
AT ITER 296 NEW BEST:: SOT 82164 SOS 51183 HAS SOPS 51183 HAS SOUS 25355 HAS SOUPS 25355 WITH SCORE 25406.183
AT ITER 300 NEW BEST:: SOT 82164 SOS 51207 HAS SOPS 51207 HAS SOUS 25331 HAS SOUPS 25331 WITH SCORE 25382.207
AT ITER 309 NEW BEST:: SOT 82239 SOS 51245 HAS SOPS 51245 HAS SOUS 25249 HAS SOUPS 25249 WITH SCORE 25300.245
AT ITER 310 NEW BEST:: SOT 82088 SOS 54332 HAS SOPS 54332 HAS SOUS 25168 HAS SOUPS 25168 WITH SCORE 25222.332
AT ITER 313 NEW BEST:: SOT 82075 SOS 54240 HAS SOPS 54240 HAS SOUS 25076 HAS SOUPS 25076 WITH SCORE 25130.24
AT ITER 318 NEW BEST:: SOT 82090 SOS 54217 HAS SOPS 54217 HAS SOUS 25028 HAS SOUPS 25028 WITH SCORE 25082.217
AT ITER 321 NEW BEST:: SOT 82090 SOS 54218 HAS SOPS 54218 HAS SOUS 25027 HAS SOUPS 25027 WITH SCORE 25081.218
AT ITER 327 NEW BEST:: SOT 81972 SOS 54093 HAS SOPS 54093 HAS SOUS 24852 HAS SOUPS 24852 WITH SCORE 24906.093
AT ITER 328 NEW BEST:: SOT 81960 SOS 54036 HAS SOPS 54036 HAS SOUS 24840 HAS SOUPS 24840 WITH SCORE 24894.036
AT ITER 333 NEW BEST:: SOT 81966 SOS 54042 HAS SOPS 54042 HAS SOUS 24811 HAS SOUPS 24811 WITH SCORE 24865.042
AT ITER 335 NEW BEST:: SOT 81975 SOS 54051 HAS SOPS 54051 HAS SOUS 24770 HAS SOUPS 24770 WITH SCORE 24824.051
AT ITER 346 NEW BEST:: SOT 81757 SOS 53833 HAS SOPS 53833 HAS SOUS 24558 HAS SOUPS 24558 WITH SCORE 24611.833
AT ITER 347 NEW BEST:: SOT 81836 SOS 53912 HAS SOPS 53912 HAS SOUS 24497 HAS SOUPS 24497 WITH SCORE 24550.912
AT ITER 357 NEW BEST:: SOT 81825 SOS 53901 HAS SOPS 53901 HAS SOUS 24496 HAS SOUPS 24496 WITH SCORE 24549.901
AT ITER 377 NEW BEST:: SOT 81825 SOS 53951 HAS SOPS 53951 HAS SOUS 24488 HAS SOUPS 24488 WITH SCORE 24541.951
AT ITER 384 NEW BEST:: SOT 81787 SOS 53917 HAS SOPS 53917 HAS SOUS 24393 HAS SOUPS 24393 WITH SCORE 24446.917
AT ITER 393 NEW BEST:: SOT 81771 SOS 53885 HAS SOPS 53885 HAS SOUS 24365 HAS SOUPS 24365 WITH SCORE 24418.885
AT ITER 396 NEW BEST:: SOT 81723 SOS 53630 HAS SOPS 53630 HAS SOUS 24350 HAS SOUPS 24350 WITH SCORE 24403.63
AT ITER 406 NEW BEST:: SOT 81580 SOS 53755 HAS SOPS 53755 HAS SOUS 24344 HAS SOUPS 24344 WITH SCORE 24397.755
AT ITER 411 NEW BEST:: SOT 81612 SOS 53769 HAS SOPS 53769 HAS SOUS 24308 HAS SOUPS 24308 WITH SCORE 24361.769
AT ITER 423 NEW BEST:: SOT 81605 SOS 53743 HAS SOPS 53743 HAS SOUS 24294 HAS SOUPS 24294 WITH SCORE 24347.743
AT ITER 425 NEW BEST:: SOT 81557 SOS 53679 HAS SOPS 53679 HAS SOUS 24214 HAS SOUPS 24214 WITH SCORE 24267.679
AT ITER 430 NEW BEST:: SOT 81588 SOS 53710 HAS SOPS 53710 HAS SOUS 24122 HAS SOUPS 24122 WITH SCORE 24175.71
AT ITER 434 NEW BEST:: SOT 81547 SOS 53669 HAS SOPS 53669 HAS SOUS 24043 HAS SOUPS 24043 WITH SCORE 24096.669
AT ITER 435 NEW BEST:: SOT 81592 SOS 53882 HAS SOPS 53882 HAS SOUS 24005 HAS SOUPS 24005 WITH SCORE 24058.882
AT ITER 439 NEW BEST:: SOT 81556 SOS 53846 HAS SOPS 53846 HAS SOUS 23933 HAS SOUPS 23933 WITH SCORE 23986.846
AT ITER 442 NEW BEST:: SOT 81676 SOS 53966 HAS SOPS 53966 HAS SOUS 23813 HAS SOUPS 23813 WITH SCORE 23866.966
AT ITER 444 NEW BEST:: SOT 81661 SOS 53910 HAS SOPS 53910 HAS SOUS 23809 HAS SOUPS 23809 WITH SCORE 23862.91
AT ITER 446 NEW BEST:: SOT 81658 SOS 53904 HAS SOPS 53904 HAS SOUS 23806 HAS SOUPS 23806 WITH SCORE 23859.904
AT ITER 447 NEW BEST:: SOT 81653 SOS 53899 HAS SOPS 53899 HAS SOUS 23796 HAS SOUPS 23796 WITH SCORE 23849.899
AT ITER 458 NEW BEST:: SOT 81653 SOS 53899 HAS SOPS 53899 HAS SOUS 23784 HAS SOUPS 23784 WITH SCORE 23837.899
AT ITER 461 NEW BEST:: SOT 81659 SOS 53905 HAS SOPS 53905 HAS SOUS 23740 HAS SOUPS 23740 WITH SCORE 23793.905
AT ITER 464 NEW BEST:: SOT 81627 SOS 53873 HAS SOPS 53873 HAS SOUS 23406 HAS SOUPS 23406 WITH SCORE 23459.873
AT ITER 478 NEW BEST:: SOT 81598 SOS 53896 HAS SOPS 53896 HAS SOUS 23392 HAS SOUPS 23392 WITH SCORE 23445.896
AT ITER 479 NEW BEST:: SOT 81590 SOS 53888 HAS SOPS 53888 HAS SOUS 23372 HAS SOUPS 23372 WITH SCORE 23425.888
AT ITER 482 NEW BEST:: SOT 81551 SOS 53527 HAS SOPS 53527 HAS SOUS 23267 HAS SOUPS 23267 WITH SCORE 23320.527
AT ITER 500 NEW BEST:: SOT 81555 SOS 54393 HAS SOPS 54393 HAS SOUS 23251 HAS SOUPS 23251 WITH SCORE 23305.393
AT ITER 502 NEW BEST:: SOT 81532 SOS 54370 HAS SOPS 54370 HAS SOUS 23227 HAS SOUPS 23227 WITH SCORE 23281.37
AT ITER 503 NEW BEST:: SOT 81528 SOS 54366 HAS SOPS 54366 HAS SOUS 23219 HAS SOUPS 23219 WITH SCORE 23273.366
AT ITER 508 NEW BEST:: SOT 81532 SOS 54309 HAS SOPS 54309 HAS SOUS 23186 HAS SOUPS 23186 WITH SCORE 23240.309
AT ITER 509 NEW BEST:: SOT 81513 SOS 54290 HAS SOPS 54290 HAS SOUS 23155 HAS SOUPS 23155 WITH SCORE 23209.29
AT ITER 519 NEW BEST:: SOT 81612 SOS 54919 HAS SOPS 54919 HAS SOUS 22867 HAS SOUPS 22867 WITH SCORE 22921.919
AT ITER 522 NEW BEST:: SOT 81612 SOS 54919 HAS SOPS 54919 HAS SOUS 22863 HAS SOUPS 22863 WITH SCORE 22917.919
AT ITER 527 NEW BEST:: SOT 81594 SOS 54941 HAS SOPS 54941 HAS SOUS 22831 HAS SOUPS 22831 WITH SCORE 22885.941
AT ITER 552 NEW BEST:: SOT 81449 SOS 54796 HAS SOPS 54796 HAS SOUS 22733 HAS SOUPS 22733 WITH SCORE 22787.796
AT ITER 553 NEW BEST:: SOT 81441 SOS 54820 HAS SOPS 54820 HAS SOUS 22727 HAS SOUPS 22727 WITH SCORE 22781.82
AT ITER 560 NEW BEST:: SOT 81429 SOS 54808 HAS SOPS 54808 HAS SOUS 22703 HAS SOUPS 22703 WITH SCORE 22757.808
AT ITER 563 NEW BEST:: SOT 81382 SOS 54497 HAS SOPS 54497 HAS SOUS 22680 HAS SOUPS 22680 WITH SCORE 22734.497
AT ITER 566 NEW BEST:: SOT 81353 SOS 53712 HAS SOPS 53712 HAS SOUS 22622 HAS SOUPS 22622 WITH SCORE 22675.712
AT ITER 567 NEW BEST:: SOT 81318 SOS 53537 HAS SOPS 53537 HAS SOUS 22587 HAS SOUPS 22587 WITH SCORE 22640.537
AT ITER 575 NEW BEST:: SOT 81318 SOS 53504 HAS SOPS 53504 HAS SOUS 22562 HAS SOUPS 22562 WITH SCORE 22615.504
AT ITER 595 NEW BEST:: SOT 81277 SOS 53463 HAS SOPS 53463 HAS SOUS 22476 HAS SOUPS 22476 WITH SCORE 22529.463
AT ITER 599 NEW BEST:: SOT 81275 SOS 53453 HAS SOPS 53453 HAS SOUS 22474 HAS SOUPS 22474 WITH SCORE 22527.453
AT ITER 601 NEW BEST:: SOT 81274 SOS 53452 HAS SOPS 53452 HAS SOUS 22472 HAS SOUPS 22472 WITH SCORE 22525.452
AT ITER 606 NEW BEST:: SOT 81194 SOS 52736 HAS SOPS 52736 HAS SOUS 22432 HAS SOUPS 22432 WITH SCORE 22484.736
AT ITER 612 NEW BEST:: SOT 80962 SOS 51604 HAS SOPS 51604 HAS SOUS 22157 HAS SOUPS 22157 WITH SCORE 22208.604
AT ITER 613 NEW BEST:: SOT 80934 SOS 51576 HAS SOPS 51576 HAS SOUS 22131 HAS SOUPS 22131 WITH SCORE 22182.576
AT ITER 625 NEW BEST:: SOT 80934 SOS 51732 HAS SOPS 51732 HAS SOUS 21975 HAS SOUPS 21975 WITH SCORE 22026.732
AT ITER 637 NEW BEST:: SOT 80946 SOS 51560 HAS SOPS 51560 HAS SOUS 21894 HAS SOUPS 21894 WITH SCORE 21945.56
AT ITER 638 NEW BEST:: SOT 80945 SOS 51559 HAS SOPS 51559 HAS SOUS 21892 HAS SOUPS 21892 WITH SCORE 21943.559
AT ITER 647 NEW BEST:: SOT 80952 SOS 51727 HAS SOPS 51727 HAS SOUS 21833 HAS SOUPS 21833 WITH SCORE 21884.727
AT ITER 648 NEW BEST:: SOT 80952 SOS 51727 HAS SOPS 51727 HAS SOUS 21829 HAS SOUPS 21829 WITH SCORE 21880.727
AT ITER 653 NEW BEST:: SOT 80981 SOS 52141 HAS SOPS 52141 HAS SOUS 21796 HAS SOUPS 21796 WITH SCORE 21848.141
AT ITER 654 NEW BEST:: SOT 80981 SOS 52197 HAS SOPS 52197 HAS SOUS 21740 HAS SOUPS 21740 WITH SCORE 21792.197
AT ITER 679 NEW BEST:: SOT 80926 SOS 51886 HAS SOPS 51886 HAS SOUS 21672 HAS SOUPS 21672 WITH SCORE 21723.886
AT ITER 680 NEW BEST:: SOT 80906 SOS 51034 HAS SOPS 51034 HAS SOUS 21661 HAS SOUPS 21661 WITH SCORE 21712.034
AT ITER 686 NEW BEST:: SOT 80919 SOS 50813 HAS SOPS 50813 HAS SOUS 21625 HAS SOUPS 21625 WITH SCORE 21675.813
AT ITER 689 NEW BEST:: SOT 80928 SOS 50841 HAS SOPS 50841 HAS SOUS 21624 HAS SOUPS 21624 WITH SCORE 21674.841
AT ITER 692 NEW BEST:: SOT 80910 SOS 50823 HAS SOPS 50823 HAS SOUS 21612 HAS SOUPS 21612 WITH SCORE 21662.823
AT ITER 701 NEW BEST:: SOT 80874 SOS 50925 HAS SOPS 50925 HAS SOUS 21577 HAS SOUPS 21577 WITH SCORE 21627.925
AT ITER 739 NEW BEST:: SOT 80832 SOS 50873 HAS SOPS 50873 HAS SOUS 21559 HAS SOUPS 21559 WITH SCORE 21609.873
AT ITER 748 NEW BEST:: SOT 80854 SOS 50895 HAS SOPS 50895 HAS SOUS 21537 HAS SOUPS 21537 WITH SCORE 21587.895
AT ITER 753 NEW BEST:: SOT 80884 SOS 50885 HAS SOPS 50885 HAS SOUS 21394 HAS SOUPS 21394 WITH SCORE 21444.885
AT ITER 776 NEW BEST:: SOT 80758 SOS 50759 HAS SOPS 50759 HAS SOUS 21091 HAS SOUPS 21091 WITH SCORE 21141.759
AT ITER 784 NEW BEST:: SOT 80758 SOS 50722 HAS SOPS 50722 HAS SOUS 21073 HAS SOUPS 21073 WITH SCORE 21123.722
AT ITER 789 NEW BEST:: SOT 80756 SOS 50720 HAS SOPS 50720 HAS SOUS 21064 HAS SOUPS 21064 WITH SCORE 21114.72
AT ITER 793 NEW BEST:: SOT 80608 SOS 50420 HAS SOPS 50420 HAS SOUS 20919 HAS SOUPS 20919 WITH SCORE 20969.42
AT ITER 808 NEW BEST:: SOT 80608 SOS 50420 HAS SOPS 50420 HAS SOUS 20917 HAS SOUPS 20917 WITH SCORE 20967.42
AT ITER 811 NEW BEST:: SOT 80542 SOS 50065 HAS SOPS 50065 HAS SOUS 20852 HAS SOUPS 20852 WITH SCORE 20902.065
AT ITER 816 NEW BEST:: SOT 80515 SOS 50175 HAS SOPS 50175 HAS SOUS 20661 HAS SOUPS 20661 WITH SCORE 20711.175
AT ITER 824 NEW BEST:: SOT 80443 SOS 50103 HAS SOPS 50103 HAS SOUS 20659 HAS SOUPS 20659 WITH SCORE 20709.103
AT ITER 826 NEW BEST:: SOT 80374 SOS 50034 HAS SOPS 50034 HAS SOUS 20521 HAS SOUPS 20521 WITH SCORE 20571.034
AT ITER 834 NEW BEST:: SOT 80369 SOS 50029 HAS SOPS 50029 HAS SOUS 20487 HAS SOUPS 20487 WITH SCORE 20537.029
AT ITER 835 NEW BEST:: SOT 80368 SOS 50028 HAS SOPS 50028 HAS SOUS 20485 HAS SOUPS 20485 WITH SCORE 20535.028
AT ITER 838 NEW BEST:: SOT 80352 SOS 50012 HAS SOPS 50012 HAS SOUS 20453 HAS SOUPS 20453 WITH SCORE 20503.012
AT ITER 859 NEW BEST:: SOT 80352 SOS 50012 HAS SOPS 50012 HAS SOUS 20451 HAS SOUPS 20451 WITH SCORE 20501.012
AT ITER 878 NEW BEST:: SOT 80343 SOS 50021 HAS SOPS 50021 HAS SOUS 20433 HAS SOUPS 20433 WITH SCORE 20483.021
AT ITER 886 NEW BEST:: SOT 80348 SOS 50026 HAS SOPS 50026 HAS SOUS 20425 HAS SOUPS 20425 WITH SCORE 20475.026
AT ITER 900 NEW BEST:: SOT 80346 SOS 50024 HAS SOPS 50024 HAS SOUS 20423 HAS SOUPS 20423 WITH SCORE 20473.024
AT ITER 911 NEW BEST:: SOT 80318 SOS 49968 HAS SOPS 49968 HAS SOUS 20395 HAS SOUPS 20395 WITH SCORE 20444.968
AT ITER 914 NEW BEST:: SOT 80319 SOS 49806 HAS SOPS 49806 HAS SOUS 20354 HAS SOUPS 20354 WITH SCORE 20403.806
AT ITER 920 NEW BEST:: SOT 80398 SOS 49129 HAS SOPS 49129 HAS SOUS 20300 HAS SOUPS 20300 WITH SCORE 20349.129
AT ITER 927 NEW BEST:: SOT 80408 SOS 49192 HAS SOPS 49192 HAS SOUS 20267 HAS SOUPS 20267 WITH SCORE 20316.192
AT ITER 938 NEW BEST:: SOT 80440 SOS 49267 HAS SOPS 49267 HAS SOUS 20137 HAS SOUPS 20137 WITH SCORE 20186.267
AT ITER 939 NEW BEST:: SOT 80381 SOS 49208 HAS SOPS 49208 HAS SOUS 20019 HAS SOUPS 20019 WITH SCORE 20068.208
AT ITER 954 NEW BEST:: SOT 80361 SOS 49188 HAS SOPS 49188 HAS SOUS 19999 HAS SOUPS 19999 WITH SCORE 20048.188
AT ITER 983 NEW BEST:: SOT 80348 SOS 49175 HAS SOPS 49175 HAS SOUS 19937 HAS SOUPS 19937 WITH SCORE 19986.175
AT ITER 990 NEW BEST:: SOT 80366 SOS 49193 HAS SOPS 49193 HAS SOUS 19925 HAS SOUPS 19925 WITH SCORE 19974.193
AT ITER 992 NEW BEST:: SOT 80361 SOS 49188 HAS SOPS 49188 HAS SOUS 19915 HAS SOUPS 19915 WITH SCORE 19964.188
AT ITER 1010 NEW BEST:: SOT 80361 SOS 49164 HAS SOPS 49164 HAS SOUS 19915 HAS SOUPS 19915 WITH SCORE 19964.164
AT ITER 1019 NEW BEST:: SOT 80322 SOS 49125 HAS SOPS 49125 HAS SOUS 19895 HAS SOUPS 19895 WITH SCORE 19944.125
AT ITER 1059 NEW BEST:: SOT 80272 SOS 49075 HAS SOPS 49075 HAS SOUS 19870 HAS SOUPS 19870 WITH SCORE 19919.075
AT ITER 1089 NEW BEST:: SOT 80138 SOS 49047 HAS SOPS 49047 HAS SOUS 19775 HAS SOUPS 19775 WITH SCORE 19824.047
AT ITER 1093 NEW BEST:: SOT 80138 SOS 49019 HAS SOPS 49019 HAS SOUS 19775 HAS SOUPS 19775 WITH SCORE 19824.019
AT ITER 1121 NEW BEST:: SOT 80138 SOS 49026 HAS SOPS 49026 HAS SOUS 19768 HAS SOUPS 19768 WITH SCORE 19817.026
AT ITER 1123 NEW BEST:: SOT 80138 SOS 49026 HAS SOPS 49026 HAS SOUS 19760 HAS SOUPS 19760 WITH SCORE 19809.026
AT ITER 1126 NEW BEST:: SOT 80136 SOS 49022 HAS SOPS 49022 HAS SOUS 19756 HAS SOUPS 19756 WITH SCORE 19805.022
AT ITER 1130 NEW BEST:: SOT 80079 SOS 48723 HAS SOPS 48723 HAS SOUS 19699 HAS SOUPS 19699 WITH SCORE 19747.723
AT ITER 1145 NEW BEST:: SOT 80073 SOS 48717 HAS SOPS 48717 HAS SOUS 19687 HAS SOUPS 19687 WITH SCORE 19735.717
AT ITER 1147 NEW BEST:: SOT 80067 SOS 48711 HAS SOPS 48711 HAS SOUS 19654 HAS SOUPS 19654 WITH SCORE 19702.711
AT ITER 1155 NEW BEST:: SOT 80037 SOS 48711 HAS SOPS 48711 HAS SOUS 19594 HAS SOUPS 19594 WITH SCORE 19642.711
AT ITER 1170 NEW BEST:: SOT 80025 SOS 48693 HAS SOPS 48693 HAS SOUS 19582 HAS SOUPS 19582 WITH SCORE 19630.693
AT ITER 1172 NEW BEST:: SOT 80025 SOS 48640 HAS SOPS 48640 HAS SOUS 19580 HAS SOUPS 19580 WITH SCORE 19628.64
AT ITER 1174 NEW BEST:: SOT 80066 SOS 48681 HAS SOPS 48681 HAS SOUS 19539 HAS SOUPS 19539 WITH SCORE 19587.681
AT ITER 1177 NEW BEST:: SOT 80078 SOS 48693 HAS SOPS 48693 HAS SOUS 19537 HAS SOUPS 19537 WITH SCORE 19585.693
AT ITER 1199 NEW BEST:: SOT 80034 SOS 48606 HAS SOPS 48606 HAS SOUS 19492 HAS SOUPS 19492 WITH SCORE 19540.606
AT ITER 1229 NEW BEST:: SOT 80021 SOS 48546 HAS SOPS 48546 HAS SOUS 19466 HAS SOUPS 19466 WITH SCORE 19514.546
AT ITER 1232 NEW BEST:: SOT 79992 SOS 48517 HAS SOPS 48517 HAS SOUS 19444 HAS SOUPS 19444 WITH SCORE 19492.517
AT ITER 1234 NEW BEST:: SOT 80001 SOS 48526 HAS SOPS 48526 HAS SOUS 19376 HAS SOUPS 19376 WITH SCORE 19424.526
AT ITER 1244 NEW BEST:: SOT 79835 SOS 48020 HAS SOPS 48020 HAS SOUS 19190 HAS SOUPS 19190 WITH SCORE 19238.02
AT ITER 1246 NEW BEST:: SOT 79825 SOS 47986 HAS SOPS 47986 HAS SOUS 19179 HAS SOUPS 19179 WITH SCORE 19226.986
AT ITER 1286 NEW BEST:: SOT 79787 SOS 45991 HAS SOPS 45991 HAS SOUS 19167 HAS SOUPS 19167 WITH SCORE 19212.991
AT ITER 1304 NEW BEST:: SOT 79816 SOS 46011 HAS SOPS 46011 HAS SOUS 19105 HAS SOUPS 19105 WITH SCORE 19151.011
AT ITER 1307 NEW BEST:: SOT 79805 SOS 46033 HAS SOPS 46033 HAS SOUS 19094 HAS SOUPS 19094 WITH SCORE 19140.033
AT ITER 1315 NEW BEST:: SOT 79824 SOS 46346 HAS SOPS 46346 HAS SOUS 19008 HAS SOUPS 19008 WITH SCORE 19054.346
AT ITER 1318 NEW BEST:: SOT 79835 SOS 46390 HAS SOPS 46390 HAS SOUS 18960 HAS SOUPS 18960 WITH SCORE 19006.39
AT ITER 1321 NEW BEST:: SOT 79847 SOS 46402 HAS SOPS 46402 HAS SOUS 18948 HAS SOUPS 18948 WITH SCORE 18994.402
AT ITER 1347 NEW BEST:: SOT 79847 SOS 46402 HAS SOPS 46402 HAS SOUS 18930 HAS SOUPS 18930 WITH SCORE 18976.402
AT ITER 1349 NEW BEST:: SOT 79847 SOS 46354 HAS SOPS 46354 HAS SOUS 18891 HAS SOUPS 18891 WITH SCORE 18937.354
AT ITER 1420 NEW BEST:: SOT 79847 SOS 46318 HAS SOPS 46318 HAS SOUS 18879 HAS SOUPS 18879 WITH SCORE 18925.318
AT ITER 1422 NEW BEST:: SOT 79847 SOS 46318 HAS SOPS 46318 HAS SOUS 18858 HAS SOUPS 18858 WITH SCORE 18904.318
AT ITER 1445 NEW BEST:: SOT 79794 SOS 46349 HAS SOPS 46349 HAS SOUS 18748 HAS SOUPS 18748 WITH SCORE 18794.349
AT ITER 1467 NEW BEST:: SOT 79760 SOS 46155 HAS SOPS 46155 HAS SOUS 18694 HAS SOUPS 18694 WITH SCORE 18740.155
AT ITER 1469 NEW BEST:: SOT 79752 SOS 46087 HAS SOPS 46087 HAS SOUS 18693 HAS SOUPS 18693 WITH SCORE 18739.087
AT ITER 1488 NEW BEST:: SOT 79767 SOS 46125 HAS SOPS 46125 HAS SOUS 18685 HAS SOUPS 18685 WITH SCORE 18731.125
AT ITER 1506 NEW BEST:: SOT 79767 SOS 46106 HAS SOPS 46106 HAS SOUS 18685 HAS SOUPS 18685 WITH SCORE 18731.106
AT ITER 1518 NEW BEST:: SOT 79698 SOS 46063 HAS SOPS 46063 HAS SOUS 18433 HAS SOUPS 18433 WITH SCORE 18479.063
AT ITER 1526 NEW BEST:: SOT 79699 SOS 46064 HAS SOPS 46064 HAS SOUS 18423 HAS SOUPS 18423 WITH SCORE 18469.064
AT ITER 1537 NEW BEST:: SOT 79698 SOS 46215 HAS SOPS 46215 HAS SOUS 18405 HAS SOUPS 18405 WITH SCORE 18451.215
AT ITER 1538 NEW BEST:: SOT 79658 SOS 46175 HAS SOPS 46175 HAS SOUS 18325 HAS SOUPS 18325 WITH SCORE 18371.175
AT ITER 1580 NEW BEST:: SOT 79620 SOS 46101 HAS SOPS 46101 HAS SOUS 18285 HAS SOUPS 18285 WITH SCORE 18331.101
AT ITER 1585 NEW BEST:: SOT 79689 SOS 46350 HAS SOPS 46350 HAS SOUS 18268 HAS SOUPS 18268 WITH SCORE 18314.35
AT ITER 1587 NEW BEST:: SOT 79690 SOS 46302 HAS SOPS 46302 HAS SOUS 18260 HAS SOUPS 18260 WITH SCORE 18306.302
AT ITER 1588 NEW BEST:: SOT 79680 SOS 46292 HAS SOPS 46292 HAS SOUS 18250 HAS SOUPS 18250 WITH SCORE 18296.292
AT ITER 1599 NEW BEST:: SOT 79668 SOS 46280 HAS SOPS 46280 HAS SOUS 18232 HAS SOUPS 18232 WITH SCORE 18278.28
AT ITER 1615 NEW BEST:: SOT 79666 SOS 46286 HAS SOPS 46286 HAS SOUS 18230 HAS SOUPS 18230 WITH SCORE 18276.286
AT ITER 1625 NEW BEST:: SOT 79672 SOS 46272 HAS SOPS 46272 HAS SOUS 18229 HAS SOUPS 18229 WITH SCORE 18275.272
AT ITER 1640 NEW BEST:: SOT 79667 SOS 46393 HAS SOPS 46393 HAS SOUS 18220 HAS SOUPS 18220 WITH SCORE 18266.393
AT ITER 1652 NEW BEST:: SOT 79689 SOS 45204 HAS SOPS 45204 HAS SOUS 18195 HAS SOUPS 18195 WITH SCORE 18240.204
AT ITER 1653 NEW BEST:: SOT 79689 SOS 44960 HAS SOPS 44960 HAS SOUS 18195 HAS SOUPS 18195 WITH SCORE 18239.96
AT ITER 1655 NEW BEST:: SOT 79677 SOS 44900 HAS SOPS 44900 HAS SOUS 18195 HAS SOUPS 18195 WITH SCORE 18239.9
AT ITER 1657 NEW BEST:: SOT 79659 SOS 44882 HAS SOPS 44882 HAS SOUS 18191 HAS SOUPS 18191 WITH SCORE 18235.882
AT ITER 1659 NEW BEST:: SOT 79659 SOS 44882 HAS SOPS 44882 HAS SOUS 18189 HAS SOUPS 18189 WITH SCORE 18233.882
AT ITER 1665 NEW BEST:: SOT 79654 SOS 44877 HAS SOPS 44877 HAS SOUS 18179 HAS SOUPS 18179 WITH SCORE 18223.877
AT ITER 1712 NEW BEST:: SOT 79644 SOS 44867 HAS SOPS 44867 HAS SOUS 18174 HAS SOUPS 18174 WITH SCORE 18218.867
AT ITER 1721 NEW BEST:: SOT 79644 SOS 44867 HAS SOPS 44867 HAS SOUS 18170 HAS SOUPS 18170 WITH SCORE 18214.867
AT ITER 1742 NEW BEST:: SOT 79630 SOS 44853 HAS SOPS 44853 HAS SOUS 18156 HAS SOUPS 18156 WITH SCORE 18200.853
AT ITER 1754 NEW BEST:: SOT 79647 SOS 44870 HAS SOPS 44870 HAS SOUS 18026 HAS SOUPS 18026 WITH SCORE 18070.87
AT ITER 1762 NEW BEST:: SOT 79594 SOS 44441 HAS SOPS 44441 HAS SOUS 18006 HAS SOUPS 18006 WITH SCORE 18050.441
AT ITER 1766 NEW BEST:: SOT 79594 SOS 44541 HAS SOPS 44541 HAS SOUS 17981 HAS SOUPS 17981 WITH SCORE 18025.541
AT ITER 1769 NEW BEST:: SOT 79580 SOS 44916 HAS SOPS 44916 HAS SOUS 17890 HAS SOUPS 17890 WITH SCORE 17934.916
AT ITER 1793 NEW BEST:: SOT 79573 SOS 44909 HAS SOPS 44909 HAS SOUS 17828 HAS SOUPS 17828 WITH SCORE 17872.909
AT ITER 1825 NEW BEST:: SOT 79565 SOS 44901 HAS SOPS 44901 HAS SOUS 17812 HAS SOUPS 17812 WITH SCORE 17856.901
AT ITER 1838 NEW BEST:: SOT 79569 SOS 44775 HAS SOPS 44775 HAS SOUS 17791 HAS SOUPS 17791 WITH SCORE 17835.775
AT ITER 1856 NEW BEST:: SOT 79558 SOS 44711 HAS SOPS 44711 HAS SOUS 17780 HAS SOUPS 17780 WITH SCORE 17824.711
AT ITER 1878 NEW BEST:: SOT 79552 SOS 44705 HAS SOPS 44705 HAS SOUS 17773 HAS SOUPS 17773 WITH SCORE 17817.705
AT ITER 1880 NEW BEST:: SOT 79552 SOS 44705 HAS SOPS 44705 HAS SOUS 17765 HAS SOUPS 17765 WITH SCORE 17809.705
AT ITER 1913 NEW BEST:: SOT 79552 SOS 44801 HAS SOPS 44801 HAS SOUS 17741 HAS SOUPS 17741 WITH SCORE 17785.801
AT ITER 1930 NEW BEST:: SOT 79533 SOS 44777 HAS SOPS 44777 HAS SOUS 17703 HAS SOUPS 17703 WITH SCORE 17747.777
AT ITER 1931 NEW BEST:: SOT 79517 SOS 44745 HAS SOPS 44745 HAS SOUS 17671 HAS SOUPS 17671 WITH SCORE 17715.745
AT ITER 1934 NEW BEST:: SOT 79517 SOS 44745 HAS SOPS 44745 HAS SOUS 17651 HAS SOUPS 17651 WITH SCORE 17695.745
AT ITER 1948 NEW BEST:: SOT 79531 SOS 44759 HAS SOPS 44759 HAS SOUS 17650 HAS SOUPS 17650 WITH SCORE 17694.759
AT ITER 1949 NEW BEST:: SOT 79561 SOS 45103 HAS SOPS 45103 HAS SOUS 17639 HAS SOUPS 17639 WITH SCORE 17684.103
AT ITER 1952 NEW BEST:: SOT 79531 SOS 45081 HAS SOPS 45081 HAS SOUS 17609 HAS SOUPS 17609 WITH SCORE 17654.081
AT ITER 1961 NEW BEST:: SOT 79440 SOS 44990 HAS SOPS 44990 HAS SOUS 17596 HAS SOUPS 17596 WITH SCORE 17640.99
AT ITER 1973 NEW BEST:: SOT 79426 SOS 46012 HAS SOPS 46012 HAS SOUS 17573 HAS SOUPS 17573 WITH SCORE 17619.012
AT ITER 1994 NEW BEST:: SOT 79438 SOS 46024 HAS SOPS 46024 HAS SOUS 17522 HAS SOUPS 17522 WITH SCORE 17568.024
AT ITER 1996 NEW BEST:: SOT 79436 SOS 46022 HAS SOPS 46022 HAS SOUS 17516 HAS SOUPS 17516 WITH SCORE 17562.022
AT ITER 2017 NEW BEST:: SOT 79422 SOS 46008 HAS SOPS 46008 HAS SOUS 17495 HAS SOUPS 17495 WITH SCORE 17541.008
AT ITER 2018 NEW BEST:: SOT 79426 SOS 46001 HAS SOPS 46001 HAS SOUS 17481 HAS SOUPS 17481 WITH SCORE 17527.001
AT ITER 2022 NEW BEST:: SOT 79431 SOS 46006 HAS SOPS 46006 HAS SOUS 17471 HAS SOUPS 17471 WITH SCORE 17517.006
AT ITER 2043 NEW BEST:: SOT 79430 SOS 46005 HAS SOPS 46005 HAS SOUS 17469 HAS SOUPS 17469 WITH SCORE 17515.005
AT ITER 2049 NEW BEST:: SOT 79413 SOS 45978 HAS SOPS 45978 HAS SOUS 17421 HAS SOUPS 17421 WITH SCORE 17466.978
AT ITER 2057 NEW BEST:: SOT 79403 SOS 45958 HAS SOPS 45958 HAS SOUS 17411 HAS SOUPS 17411 WITH SCORE 17456.958
AT ITER 2060 NEW BEST:: SOT 79381 SOS 45932 HAS SOPS 45932 HAS SOUS 17409 HAS SOUPS 17409 WITH SCORE 17454.932
AT ITER 2069 NEW BEST:: SOT 79356 SOS 45519 HAS SOPS 45519 HAS SOUS 17397 HAS SOUPS 17397 WITH SCORE 17442.519
AT ITER 2072 NEW BEST:: SOT 79355 SOS 45518 HAS SOPS 45518 HAS SOUS 17395 HAS SOUPS 17395 WITH SCORE 17440.518
AT ITER 2073 NEW BEST:: SOT 79361 SOS 45524 HAS SOPS 45524 HAS SOUS 17383 HAS SOUPS 17383 WITH SCORE 17428.524
AT ITER 2091 NEW BEST:: SOT 79369 SOS 45615 HAS SOPS 45615 HAS SOUS 17374 HAS SOUPS 17374 WITH SCORE 17419.615
AT ITER 2093 NEW BEST:: SOT 79358 SOS 45505 HAS SOPS 45505 HAS SOUS 17367 HAS SOUPS 17367 WITH SCORE 17412.505
AT ITER 2101 NEW BEST:: SOT 79278 SOS 45265 HAS SOPS 45265 HAS SOUS 17367 HAS SOUPS 17367 WITH SCORE 17412.265
AT ITER 2188 NEW BEST:: SOT 79261 SOS 45248 HAS SOPS 45248 HAS SOUS 17304 HAS SOUPS 17304 WITH SCORE 17349.248
AT ITER 2200 NEW BEST:: SOT 79266 SOS 45256 HAS SOPS 45256 HAS SOUS 17303 HAS SOUPS 17303 WITH SCORE 17348.256
AT ITER 2202 NEW BEST:: SOT 79266 SOS 45258 HAS SOPS 45258 HAS SOUS 17298 HAS SOUPS 17298 WITH SCORE 17343.258
AT ITER 2216 NEW BEST:: SOT 79258 SOS 45245 HAS SOPS 45245 HAS SOUS 17268 HAS SOUPS 17268 WITH SCORE 17313.245
AT ITER 2229 NEW BEST:: SOT 79258 SOS 45461 HAS SOPS 45461 HAS SOUS 17214 HAS SOUPS 17214 WITH SCORE 17259.461
AT ITER 2235 NEW BEST:: SOT 79212 SOS 45415 HAS SOPS 45415 HAS SOUS 17122 HAS SOUPS 17122 WITH SCORE 17167.415
AT ITER 2258 NEW BEST:: SOT 79194 SOS 45376 HAS SOPS 45376 HAS SOUS 17103 HAS SOUPS 17103 WITH SCORE 17148.376
AT ITER 2292 NEW BEST:: SOT 79189 SOS 45371 HAS SOPS 45371 HAS SOUS 17093 HAS SOUPS 17093 WITH SCORE 17138.371
AT ITER 2300 NEW BEST:: SOT 79187 SOS 45373 HAS SOPS 45373 HAS SOUS 17085 HAS SOUPS 17085 WITH SCORE 17130.373
AT ITER 2306 NEW BEST:: SOT 79189 SOS 45387 HAS SOPS 45387 HAS SOUS 17077 HAS SOUPS 17077 WITH SCORE 17122.387
AT ITER 2315 NEW BEST:: SOT 79207 SOS 45469 HAS SOPS 45469 HAS SOUS 17049 HAS SOUPS 17049 WITH SCORE 17094.469
AT ITER 2317 NEW BEST:: SOT 79211 SOS 45473 HAS SOPS 45473 HAS SOUS 17036 HAS SOUPS 17036 WITH SCORE 17081.473
AT ITER 2322 NEW BEST:: SOT 79211 SOS 45452 HAS SOPS 45452 HAS SOUS 17032 HAS SOUPS 17032 WITH SCORE 17077.452
AT ITER 2334 NEW BEST:: SOT 79211 SOS 45452 HAS SOPS 45452 HAS SOUS 17031 HAS SOUPS 17031 WITH SCORE 17076.452
AT ITER 2351 NEW BEST:: SOT 79234 SOS 45475 HAS SOPS 45475 HAS SOUS 17008 HAS SOUPS 17008 WITH SCORE 17053.475
AT ITER 2363 NEW BEST:: SOT 79227 SOS 45468 HAS SOPS 45468 HAS SOUS 17008 HAS SOUPS 17008 WITH SCORE 17053.468
AT ITER 2367 NEW BEST:: SOT 79179 SOS 45323 HAS SOPS 45323 HAS SOUS 16958 HAS SOUPS 16958 WITH SCORE 17003.323
AT ITER 2371 NEW BEST:: SOT 79179 SOS 45315 HAS SOPS 45315 HAS SOUS 16954 HAS SOUPS 16954 WITH SCORE 16999.315
AT ITER 2397 NEW BEST:: SOT 79171 SOS 45313 HAS SOPS 45313 HAS SOUS 16920 HAS SOUPS 16920 WITH SCORE 16965.313
AT ITER 2400 NEW BEST:: SOT 79179 SOS 45289 HAS SOPS 45289 HAS SOUS 16912 HAS SOUPS 16912 WITH SCORE 16957.289
AT ITER 2410 NEW BEST:: SOT 79152 SOS 45070 HAS SOPS 45070 HAS SOUS 16889 HAS SOUPS 16889 WITH SCORE 16934.07
AT ITER 2421 NEW BEST:: SOT 79150 SOS 45068 HAS SOPS 45068 HAS SOUS 16853 HAS SOUPS 16853 WITH SCORE 16898.068
AT ITER 2422 NEW BEST:: SOT 79138 SOS 45050 HAS SOPS 45050 HAS SOUS 16835 HAS SOUPS 16835 WITH SCORE 16880.05
AT ITER 2430 NEW BEST:: SOT 79138 SOS 45050 HAS SOPS 45050 HAS SOUS 16811 HAS SOUPS 16811 WITH SCORE 16856.05
AT ITER 2438 NEW BEST:: SOT 79134 SOS 45046 HAS SOPS 45046 HAS SOUS 16805 HAS SOUPS 16805 WITH SCORE 16850.046
AT ITER 2441 NEW BEST:: SOT 79147 SOS 45059 HAS SOPS 45059 HAS SOUS 16792 HAS SOUPS 16792 WITH SCORE 16837.059
AT ITER 2446 NEW BEST:: SOT 79090 SOS 45002 HAS SOPS 45002 HAS SOUS 16627 HAS SOUPS 16627 WITH SCORE 16672.002
AT ITER 2452 NEW BEST:: SOT 79064 SOS 44781 HAS SOPS 44781 HAS SOUS 16595 HAS SOUPS 16595 WITH SCORE 16639.781
AT ITER 2466 NEW BEST:: SOT 79029 SOS 44720 HAS SOPS 44720 HAS SOUS 16586 HAS SOUPS 16586 WITH SCORE 16630.72
AT ITER 2474 NEW BEST:: SOT 79025 SOS 44716 HAS SOPS 44716 HAS SOUS 16582 HAS SOUPS 16582 WITH SCORE 16626.716
AT ITER 2492 NEW BEST:: SOT 79016 SOS 44637 HAS SOPS 44637 HAS SOUS 16564 HAS SOUPS 16564 WITH SCORE 16608.637
AT ITER 2503 NEW BEST:: SOT 79010 SOS 44631 HAS SOPS 44631 HAS SOUS 16552 HAS SOUPS 16552 WITH SCORE 16596.631
AT ITER 2504 NEW BEST:: SOT 79009 SOS 44517 HAS SOPS 44517 HAS SOUS 16546 HAS SOUPS 16546 WITH SCORE 16590.517
AT ITER 2564 NEW BEST:: SOT 79025 SOS 44533 HAS SOPS 44533 HAS SOUS 16545 HAS SOUPS 16545 WITH SCORE 16589.533
AT ITER 2573 NEW BEST:: SOT 79007 SOS 44479 HAS SOPS 44479 HAS SOUS 16518 HAS SOUPS 16518 WITH SCORE 16562.479
AT ITER 2579 NEW BEST:: SOT 78993 SOS 44465 HAS SOPS 44465 HAS SOUS 16495 HAS SOUPS 16495 WITH SCORE 16539.465
AT ITER 2609 NEW BEST:: SOT 78972 SOS 44511 HAS SOPS 44511 HAS SOUS 16445 HAS SOUPS 16445 WITH SCORE 16489.511
AT ITER 2660 NEW BEST:: SOT 78970 SOS 44441 HAS SOPS 44441 HAS SOUS 16443 HAS SOUPS 16443 WITH SCORE 16487.441
AT ITER 2685 NEW BEST:: SOT 78970 SOS 44441 HAS SOPS 44441 HAS SOUS 16437 HAS SOUPS 16437 WITH SCORE 16481.441
AT ITER 2686 NEW BEST:: SOT 78970 SOS 44441 HAS SOPS 44441 HAS SOUS 16432 HAS SOUPS 16432 WITH SCORE 16476.441
AT ITER 2697 NEW BEST:: SOT 78970 SOS 44429 HAS SOPS 44429 HAS SOUS 16426 HAS SOUPS 16426 WITH SCORE 16470.429
AT ITER 2701 NEW BEST:: SOT 78970 SOS 44429 HAS SOPS 44429 HAS SOUS 16424 HAS SOUPS 16424 WITH SCORE 16468.429
AT ITER 2704 NEW BEST:: SOT 78962 SOS 44413 HAS SOPS 44413 HAS SOUS 16416 HAS SOUPS 16416 WITH SCORE 16460.413
AT ITER 2706 NEW BEST:: SOT 78959 SOS 44413 HAS SOPS 44413 HAS SOUS 16413 HAS SOUPS 16413 WITH SCORE 16457.413
AT ITER 2747 NEW BEST:: SOT 78889 SOS 44304 HAS SOPS 44304 HAS SOUS 16299 HAS SOUPS 16299 WITH SCORE 16343.304
AT ITER 2763 NEW BEST:: SOT 78839 SOS 44226 HAS SOPS 44226 HAS SOUS 16221 HAS SOUPS 16221 WITH SCORE 16265.226
AT ITER 2764 NEW BEST:: SOT 78818 SOS 44205 HAS SOPS 44205 HAS SOUS 16166 HAS SOUPS 16166 WITH SCORE 16210.205
AT ITER 2775 NEW BEST:: SOT 78756 SOS 44134 HAS SOPS 44134 HAS SOUS 16139 HAS SOUPS 16139 WITH SCORE 16183.134
AT ITER 2777 NEW BEST:: SOT 78726 SOS 44104 HAS SOPS 44104 HAS SOUS 16133 HAS SOUPS 16133 WITH SCORE 16177.104
AT ITER 2779 NEW BEST:: SOT 78721 SOS 44099 HAS SOPS 44099 HAS SOUS 16120 HAS SOUPS 16120 WITH SCORE 16164.099
AT ITER 2797 NEW BEST:: SOT 78697 SOS 44056 HAS SOPS 44056 HAS SOUS 16095 HAS SOUPS 16095 WITH SCORE 16139.056
AT ITER 2820 NEW BEST:: SOT 78569 SOS 43964 HAS SOPS 43964 HAS SOUS 16084 HAS SOUPS 16084 WITH SCORE 16127.964
AT ITER 2823 NEW BEST:: SOT 78565 SOS 43960 HAS SOPS 43960 HAS SOUS 16076 HAS SOUPS 16076 WITH SCORE 16119.96
AT ITER 2824 NEW BEST:: SOT 78549 SOS 43946 HAS SOPS 43946 HAS SOUS 16044 HAS SOUPS 16044 WITH SCORE 16087.946
AT ITER 2829 NEW BEST:: SOT 78544 SOS 43666 HAS SOPS 43666 HAS SOUS 16028 HAS SOUPS 16028 WITH SCORE 16071.666
AT ITER 2862 NEW BEST:: SOT 78544 SOS 43694 HAS SOPS 43694 HAS SOUS 16023 HAS SOUPS 16023 WITH SCORE 16066.694
AT ITER 2879 NEW BEST:: SOT 78528 SOS 43678 HAS SOPS 43678 HAS SOUS 16001 HAS SOUPS 16001 WITH SCORE 16044.678
AT ITER 2880 NEW BEST:: SOT 78528 SOS 43588 HAS SOPS 43588 HAS SOUS 16001 HAS SOUPS 16001 WITH SCORE 16044.588
AT ITER 2908 NEW BEST:: SOT 78505 SOS 43565 HAS SOPS 43565 HAS SOUS 15932 HAS SOUPS 15932 WITH SCORE 15975.565
AT ITER 2940 NEW BEST:: SOT 78510 SOS 43570 HAS SOPS 43570 HAS SOUS 15928 HAS SOUPS 15928 WITH SCORE 15971.57
AT ITER 2953 NEW BEST:: SOT 78509 SOS 43568 HAS SOPS 43568 HAS SOUS 15923 HAS SOUPS 15923 WITH SCORE 15966.568
AT ITER 2957 NEW BEST:: SOT 78503 SOS 43562 HAS SOPS 43562 HAS SOUS 15911 HAS SOUPS 15911 WITH SCORE 15954.562
AT ITER 2972 NEW BEST:: SOT 78514 SOS 43573 HAS SOPS 43573 HAS SOUS 15889 HAS SOUPS 15889 WITH SCORE 15932.573
AT ITER 3004 NEW BEST:: SOT 78504 SOS 43759 HAS SOPS 43759 HAS SOUS 15856 HAS SOUPS 15856 WITH SCORE 15899.759
AT ITER 3017 NEW BEST:: SOT 78450 SOS 43850 HAS SOPS 43850 HAS SOUS 15807 HAS SOUPS 15807 WITH SCORE 15850.85
AT ITER 3018 NEW BEST:: SOT 78384 SOS 43784 HAS SOPS 43784 HAS SOUS 15717 HAS SOUPS 15717 WITH SCORE 15760.784
AT ITER 3029 NEW BEST:: SOT 78375 SOS 43775 HAS SOPS 43775 HAS SOUS 15699 HAS SOUPS 15699 WITH SCORE 15742.775
AT ITER 3032 NEW BEST:: SOT 78384 SOS 43755 HAS SOPS 43755 HAS SOUS 15698 HAS SOUPS 15698 WITH SCORE 15741.755
AT ITER 3040 NEW BEST:: SOT 78374 SOS 43765 HAS SOPS 43765 HAS SOUS 15683 HAS SOUPS 15683 WITH SCORE 15726.765
AT ITER 3114 NEW BEST:: SOT 78373 SOS 43763 HAS SOPS 43763 HAS SOUS 15682 HAS SOUPS 15682 WITH SCORE 15725.763
AT ITER 3125 NEW BEST:: SOT 78372 SOS 43762 HAS SOPS 43762 HAS SOUS 15679 HAS SOUPS 15679 WITH SCORE 15722.762
AT ITER 3151 NEW BEST:: SOT 78354 SOS 44500 HAS SOPS 44500 HAS SOUS 15673 HAS SOUPS 15673 WITH SCORE 15717.5
AT ITER 3167 NEW BEST:: SOT 78311 SOS 44401 HAS SOPS 44401 HAS SOUS 15628 HAS SOUPS 15628 WITH SCORE 15672.401
AT ITER 3170 NEW BEST:: SOT 78302 SOS 44356 HAS SOPS 44356 HAS SOUS 15619 HAS SOUPS 15619 WITH SCORE 15663.356
AT ITER 3181 NEW BEST:: SOT 78306 SOS 44360 HAS SOPS 44360 HAS SOUS 15615 HAS SOUPS 15615 WITH SCORE 15659.36
AT ITER 3212 NEW BEST:: SOT 78326 SOS 44640 HAS SOPS 44640 HAS SOUS 15593 HAS SOUPS 15593 WITH SCORE 15637.64
AT ITER 3233 NEW BEST:: SOT 78326 SOS 44629 HAS SOPS 44629 HAS SOUS 15592 HAS SOUPS 15592 WITH SCORE 15636.629
AT ITER 3238 NEW BEST:: SOT 78297 SOS 44602 HAS SOPS 44602 HAS SOUS 15581 HAS SOUPS 15581 WITH SCORE 15625.602
AT ITER 3240 NEW BEST:: SOT 78286 SOS 44591 HAS SOPS 44591 HAS SOUS 15551 HAS SOUPS 15551 WITH SCORE 15595.591
AT ITER 3247 NEW BEST:: SOT 78275 SOS 44580 HAS SOPS 44580 HAS SOUS 15529 HAS SOUPS 15529 WITH SCORE 15573.58
AT ITER 3255 NEW BEST:: SOT 78271 SOS 44548 HAS SOPS 44548 HAS SOUS 15513 HAS SOUPS 15513 WITH SCORE 15557.548
AT ITER 3270 NEW BEST:: SOT 78296 SOS 44573 HAS SOPS 44573 HAS SOUS 15499 HAS SOUPS 15499 WITH SCORE 15543.573
AT ITER 3277 NEW BEST:: SOT 78294 SOS 44571 HAS SOPS 44571 HAS SOUS 15495 HAS SOUPS 15495 WITH SCORE 15539.571
AT ITER 3278 NEW BEST:: SOT 78268 SOS 44519 HAS SOPS 44519 HAS SOUS 15469 HAS SOUPS 15469 WITH SCORE 15513.519
AT ITER 3306 NEW BEST:: SOT 78240 SOS 44397 HAS SOPS 44397 HAS SOUS 15434 HAS SOUPS 15434 WITH SCORE 15478.397
AT ITER 3355 NEW BEST:: SOT 78226 SOS 44359 HAS SOPS 44359 HAS SOUS 15418 HAS SOUPS 15418 WITH SCORE 15462.359
AT ITER 3372 NEW BEST:: SOT 78225 SOS 44358 HAS SOPS 44358 HAS SOUS 15416 HAS SOUPS 15416 WITH SCORE 15460.358
AT ITER 3408 NEW BEST:: SOT 78223 SOS 44352 HAS SOPS 44352 HAS SOUS 15416 HAS SOUPS 15416 WITH SCORE 15460.352
AT ITER 3416 NEW BEST:: SOT 78223 SOS 44354 HAS SOPS 44354 HAS SOUS 15414 HAS SOUPS 15414 WITH SCORE 15458.354
AT ITER 3431 NEW BEST:: SOT 78216 SOS 44347 HAS SOPS 44347 HAS SOUS 15383 HAS SOUPS 15383 WITH SCORE 15427.347
AT ITER 3476 NEW BEST:: SOT 78215 SOS 44346 HAS SOPS 44346 HAS SOUS 15382 HAS SOUPS 15382 WITH SCORE 15426.346
AT ITER 3482 NEW BEST:: SOT 78206 SOS 44364 HAS SOPS 44364 HAS SOUS 15364 HAS SOUPS 15364 WITH SCORE 15408.364
AT ITER 3483 NEW BEST:: SOT 78196 SOS 44392 HAS SOPS 44392 HAS SOUS 15314 HAS SOUPS 15314 WITH SCORE 15358.392
AT ITER 3484 NEW BEST:: SOT 78202 SOS 44398 HAS SOPS 44398 HAS SOUS 15313 HAS SOUPS 15313 WITH SCORE 15357.398
AT ITER 3497 NEW BEST:: SOT 78196 SOS 44392 HAS SOPS 44392 HAS SOUS 15303 HAS SOUPS 15303 WITH SCORE 15347.392
AT ITER 3501 NEW BEST:: SOT 78180 SOS 44370 HAS SOPS 44370 HAS SOUS 15277 HAS SOUPS 15277 WITH SCORE 15321.37
AT ITER 3515 NEW BEST:: SOT 78180 SOS 44370 HAS SOPS 44370 HAS SOUS 15259 HAS SOUPS 15259 WITH SCORE 15303.37
AT ITER 3553 NEW BEST:: SOT 78155 SOS 44125 HAS SOPS 44125 HAS SOUS 15233 HAS SOUPS 15233 WITH SCORE 15277.125
AT ITER 3594 NEW BEST:: SOT 78155 SOS 44125 HAS SOPS 44125 HAS SOUS 15224 HAS SOUPS 15224 WITH SCORE 15268.125
AT ITER 3625 NEW BEST:: SOT 78136 SOS 44106 HAS SOPS 44106 HAS SOUS 15172 HAS SOUPS 15172 WITH SCORE 15216.106
AT ITER 3698 NEW BEST:: SOT 78136 SOS 44106 HAS SOPS 44106 HAS SOUS 15160 HAS SOUPS 15160 WITH SCORE 15204.106
AT ITER 3703 NEW BEST:: SOT 78126 SOS 44056 HAS SOPS 44056 HAS SOUS 15140 HAS SOUPS 15140 WITH SCORE 15184.056
AT ITER 3705 NEW BEST:: SOT 78119 SOS 44049 HAS SOPS 44049 HAS SOUS 15083 HAS SOUPS 15083 WITH SCORE 15127.049
AT ITER 3720 NEW BEST:: SOT 78119 SOS 44049 HAS SOPS 44049 HAS SOUS 15077 HAS SOUPS 15077 WITH SCORE 15121.049
AT ITER 3723 NEW BEST:: SOT 78092 SOS 44022 HAS SOPS 44022 HAS SOUS 14996 HAS SOUPS 14996 WITH SCORE 15040.022
AT ITER 3745 NEW BEST:: SOT 78139 SOS 44080 HAS SOPS 44080 HAS SOUS 14987 HAS SOUPS 14987 WITH SCORE 15031.08
AT ITER 3746 NEW BEST:: SOT 78140 SOS 44081 HAS SOPS 44081 HAS SOUS 14975 HAS SOUPS 14975 WITH SCORE 15019.081
AT ITER 3772 NEW BEST:: SOT 78131 SOS 44072 HAS SOPS 44072 HAS SOUS 14958 HAS SOUPS 14958 WITH SCORE 15002.072
AT ITER 3778 NEW BEST:: SOT 78120 SOS 44061 HAS SOPS 44061 HAS SOUS 14936 HAS SOUPS 14936 WITH SCORE 14980.061
AT ITER 3780 NEW BEST:: SOT 78111 SOS 44071 HAS SOPS 44071 HAS SOUS 14932 HAS SOUPS 14932 WITH SCORE 14976.071
AT ITER 3794 NEW BEST:: SOT 78060 SOS 44011 HAS SOPS 44011 HAS SOUS 14901 HAS SOUPS 14901 WITH SCORE 14945.011
AT ITER 3813 NEW BEST:: SOT 78052 SOS 44003 HAS SOPS 44003 HAS SOUS 14873 HAS SOUPS 14873 WITH SCORE 14917.003
AT ITER 3857 NEW BEST:: SOT 78055 SOS 44012 HAS SOPS 44012 HAS SOUS 14871 HAS SOUPS 14871 WITH SCORE 14915.012
AT ITER 3864 NEW BEST:: SOT 78055 SOS 43994 HAS SOPS 43994 HAS SOUS 14871 HAS SOUPS 14871 WITH SCORE 14914.994
AT ITER 3871 NEW BEST:: SOT 78058 SOS 43965 HAS SOPS 43965 HAS SOUS 14869 HAS SOUPS 14869 WITH SCORE 14912.965
AT ITER 3874 NEW BEST:: SOT 78054 SOS 43956 HAS SOPS 43956 HAS SOUS 14865 HAS SOUPS 14865 WITH SCORE 14908.956
AT ITER 3882 NEW BEST:: SOT 78052 SOS 43954 HAS SOPS 43954 HAS SOUS 14859 HAS SOUPS 14859 WITH SCORE 14902.954
AT ITER 3892 NEW BEST:: SOT 78021 SOS 43910 HAS SOPS 43910 HAS SOUS 14809 HAS SOUPS 14809 WITH SCORE 14852.91
AT ITER 3895 NEW BEST:: SOT 78023 SOS 43912 HAS SOPS 43912 HAS SOUS 14808 HAS SOUPS 14808 WITH SCORE 14851.912
AT ITER 3897 NEW BEST:: SOT 78065 SOS 43954 HAS SOPS 43954 HAS SOUS 14784 HAS SOUPS 14784 WITH SCORE 14827.954
AT ITER 3951 NEW BEST:: SOT 78059 SOS 43949 HAS SOPS 43949 HAS SOUS 14772 HAS SOUPS 14772 WITH SCORE 14815.949
AT ITER 3985 NEW BEST:: SOT 78052 SOS 45201 HAS SOPS 45201 HAS SOUS 14751 HAS SOUPS 14751 WITH SCORE 14796.201
AT ITER 4011 NEW BEST:: SOT 78048 SOS 45197 HAS SOPS 45197 HAS SOUS 14743 HAS SOUPS 14743 WITH SCORE 14788.197
AT ITER 4026 NEW BEST:: SOT 78001 SOS 45150 HAS SOPS 45150 HAS SOUS 14719 HAS SOUPS 14719 WITH SCORE 14764.15
AT ITER 4032 NEW BEST:: SOT 77995 SOS 45144 HAS SOPS 45144 HAS SOUS 14701 HAS SOUPS 14701 WITH SCORE 14746.144
AT ITER 4086 NEW BEST:: SOT 77995 SOS 45135 HAS SOPS 45135 HAS SOUS 14701 HAS SOUPS 14701 WITH SCORE 14746.135
AT ITER 4114 NEW BEST:: SOT 77995 SOS 45183 HAS SOPS 45183 HAS SOUS 14689 HAS SOUPS 14689 WITH SCORE 14734.183
AT ITER 4117 NEW BEST:: SOT 77991 SOS 45179 HAS SOPS 45179 HAS SOUS 14687 HAS SOUPS 14687 WITH SCORE 14732.179
AT ITER 4120 NEW BEST:: SOT 77978 SOS 45167 HAS SOPS 45167 HAS SOUS 14656 HAS SOUPS 14656 WITH SCORE 14701.167
AT ITER 4172 NEW BEST:: SOT 77967 SOS 45146 HAS SOPS 45146 HAS SOUS 14621 HAS SOUPS 14621 WITH SCORE 14666.146
AT ITER 4204 NEW BEST:: SOT 77953 SOS 45098 HAS SOPS 45098 HAS SOUS 14597 HAS SOUPS 14597 WITH SCORE 14642.098
AT ITER 4215 NEW BEST:: SOT 77949 SOS 45086 HAS SOPS 45086 HAS SOUS 14591 HAS SOUPS 14591 WITH SCORE 14636.086
AT ITER 4218 NEW BEST:: SOT 77922 SOS 45011 HAS SOPS 45011 HAS SOUS 14552 HAS SOUPS 14552 WITH SCORE 14597.011
AT ITER 4225 NEW BEST:: SOT 77922 SOS 45006 HAS SOPS 45006 HAS SOUS 14547 HAS SOUPS 14547 WITH SCORE 14592.006
AT ITER 4249 NEW BEST:: SOT 77925 SOS 45009 HAS SOPS 45009 HAS SOUS 14529 HAS SOUPS 14529 WITH SCORE 14574.009
AT ITER 4258 NEW BEST:: SOT 77921 SOS 44989 HAS SOPS 44989 HAS SOUS 14521 HAS SOUPS 14521 WITH SCORE 14565.989
AT ITER 4300 NEW BEST:: SOT 77919 SOS 44987 HAS SOPS 44987 HAS SOUS 14518 HAS SOUPS 14518 WITH SCORE 14562.987
AT ITER 4310 NEW BEST:: SOT 77919 SOS 44938 HAS SOPS 44938 HAS SOUS 14508 HAS SOUPS 14508 WITH SCORE 14552.938
AT ITER 4338 NEW BEST:: SOT 77911 SOS 44930 HAS SOPS 44930 HAS SOUS 14492 HAS SOUPS 14492 WITH SCORE 14536.93
AT ITER 4356 NEW BEST:: SOT 77911 SOS 44930 HAS SOPS 44930 HAS SOUS 14490 HAS SOUPS 14490 WITH SCORE 14534.93
AT ITER 4371 NEW BEST:: SOT 77901 SOS 44930 HAS SOPS 44930 HAS SOUS 14470 HAS SOUPS 14470 WITH SCORE 14514.93
AT ITER 4387 NEW BEST:: SOT 77897 SOS 44921 HAS SOPS 44921 HAS SOUS 14465 HAS SOUPS 14465 WITH SCORE 14509.921
AT ITER 4412 NEW BEST:: SOT 77891 SOS 44885 HAS SOPS 44885 HAS SOUS 14459 HAS SOUPS 14459 WITH SCORE 14503.885
AT ITER 4424 NEW BEST:: SOT 77901 SOS 44895 HAS SOPS 44895 HAS SOUS 14449 HAS SOUPS 14449 WITH SCORE 14493.895
AT ITER 4435 NEW BEST:: SOT 77912 SOS 45012 HAS SOPS 45012 HAS SOUS 14446 HAS SOUPS 14446 WITH SCORE 14491.012
AT ITER 4457 NEW BEST:: SOT 77908 SOS 45006 HAS SOPS 45006 HAS SOUS 14446 HAS SOUPS 14446 WITH SCORE 14491.006
AT ITER 4477 NEW BEST:: SOT 77904 SOS 45002 HAS SOPS 45002 HAS SOUS 14434 HAS SOUPS 14434 WITH SCORE 14479.002
AT ITER 4517 NEW BEST:: SOT 77901 SOS 44999 HAS SOPS 44999 HAS SOUS 14432 HAS SOUPS 14432 WITH SCORE 14476.999
AT ITER 4591 NEW BEST:: SOT 77895 SOS 44993 HAS SOPS 44993 HAS SOUS 14428 HAS SOUPS 14428 WITH SCORE 14472.993
AT ITER 4619 NEW BEST:: SOT 77866 SOS 44964 HAS SOPS 44964 HAS SOUS 14418 HAS SOUPS 14418 WITH SCORE 14462.964
AT ITER 4693 NEW BEST:: SOT 77858 SOS 44956 HAS SOPS 44956 HAS SOUS 14385 HAS SOUPS 14385 WITH SCORE 14429.956
AT ITER 4739 NEW BEST:: SOT 77842 SOS 45232 HAS SOPS 45232 HAS SOUS 14383 HAS SOUPS 14383 WITH SCORE 14428.232
AT ITER 4789 NEW BEST:: SOT 77832 SOS 45216 HAS SOPS 45216 HAS SOUS 14375 HAS SOUPS 14375 WITH SCORE 14420.216
AT ITER 4804 NEW BEST:: SOT 77832 SOS 45216 HAS SOPS 45216 HAS SOUS 14372 HAS SOUPS 14372 WITH SCORE 14417.216
AT ITER 4813 NEW BEST:: SOT 77825 SOS 45208 HAS SOPS 45208 HAS SOUS 14368 HAS SOUPS 14368 WITH SCORE 14413.208
AT ITER 4893 NEW BEST:: SOT 77767 SOS 45146 HAS SOPS 45146 HAS SOUS 14319 HAS SOUPS 14319 WITH SCORE 14364.146
AT ITER 4924 NEW BEST:: SOT 77765 SOS 45148 HAS SOPS 45148 HAS SOUS 14315 HAS SOUPS 14315 WITH SCORE 14360.148
AT ITER 4948 NEW BEST:: SOT 77718 SOS 45101 HAS SOPS 45101 HAS SOUS 14284 HAS SOUPS 14284 WITH SCORE 14329.101
AT ITER 4981 NEW BEST:: SOT 77696 SOS 48846 HAS SOPS 48846 HAS SOUS 14279 HAS SOUPS 14279 WITH SCORE 14327.846
AT ITER 4993 NEW BEST:: SOT 77711 SOS 48861 HAS SOPS 48861 HAS SOUS 14269 HAS SOUPS 14269 WITH SCORE 14317.861
AT ITER 5033 NEW BEST:: SOT 77713 SOS 48863 HAS SOPS 48863 HAS SOUS 14267 HAS SOUPS 14267 WITH SCORE 14315.863
AT ITER 5038 NEW BEST:: SOT 77713 SOS 47848 HAS SOPS 47848 HAS SOUS 14267 HAS SOUPS 14267 WITH SCORE 14314.848
AT ITER 5058 NEW BEST:: SOT 77707 SOS 47842 HAS SOPS 47842 HAS SOUS 14250 HAS SOUPS 14250 WITH SCORE 14297.842
AT ITER 5070 NEW BEST:: SOT 77690 SOS 47825 HAS SOPS 47825 HAS SOUS 14232 HAS SOUPS 14232 WITH SCORE 14279.825
AT ITER 5090 NEW BEST:: SOT 77676 SOS 47853 HAS SOPS 47853 HAS SOUS 14218 HAS SOUPS 14218 WITH SCORE 14265.853
AT ITER 5123 NEW BEST:: SOT 77681 SOS 47858 HAS SOPS 47858 HAS SOUS 14214 HAS SOUPS 14214 WITH SCORE 14261.858
AT ITER 5135 NEW BEST:: SOT 77676 SOS 47832 HAS SOPS 47832 HAS SOUS 14211 HAS SOUPS 14211 WITH SCORE 14258.832
AT ITER 5136 NEW BEST:: SOT 77675 SOS 47828 HAS SOPS 47828 HAS SOUS 14210 HAS SOUPS 14210 WITH SCORE 14257.828
AT ITER 5138 NEW BEST:: SOT 77675 SOS 47828 HAS SOPS 47828 HAS SOUS 14205 HAS SOUPS 14205 WITH SCORE 14252.828
AT ITER 5187 NEW BEST:: SOT 77667 SOS 47820 HAS SOPS 47820 HAS SOUS 14197 HAS SOUPS 14197 WITH SCORE 14244.82
AT ITER 5231 NEW BEST:: SOT 77660 SOS 47813 HAS SOPS 47813 HAS SOUS 14171 HAS SOUPS 14171 WITH SCORE 14218.813
AT ITER 5239 NEW BEST:: SOT 77654 SOS 47804 HAS SOPS 47804 HAS SOUS 14168 HAS SOUPS 14168 WITH SCORE 14215.804
AT ITER 5246 NEW BEST:: SOT 77651 SOS 47420 HAS SOPS 47420 HAS SOUS 14168 HAS SOUPS 14168 WITH SCORE 14215.42
AT ITER 5256 NEW BEST:: SOT 77651 SOS 47420 HAS SOPS 47420 HAS SOUS 14161 HAS SOUPS 14161 WITH SCORE 14208.42
AT ITER 5258 NEW BEST:: SOT 77668 SOS 47411 HAS SOPS 47411 HAS SOUS 14143 HAS SOUPS 14143 WITH SCORE 14190.411
AT ITER 5298 NEW BEST:: SOT 77673 SOS 47416 HAS SOPS 47416 HAS SOUS 14133 HAS SOUPS 14133 WITH SCORE 14180.416
AT ITER 5301 NEW BEST:: SOT 77673 SOS 47412 HAS SOPS 47412 HAS SOUS 14133 HAS SOUPS 14133 WITH SCORE 14180.412
AT ITER 5342 NEW BEST:: SOT 77691 SOS 47430 HAS SOPS 47430 HAS SOUS 14124 HAS SOUPS 14124 WITH SCORE 14171.43
AT ITER 5347 NEW BEST:: SOT 77682 SOS 47428 HAS SOPS 47428 HAS SOUS 14113 HAS SOUPS 14113 WITH SCORE 14160.428
AT ITER 5350 NEW BEST:: SOT 77676 SOS 47416 HAS SOPS 47416 HAS SOUS 14101 HAS SOUPS 14101 WITH SCORE 14148.416
AT ITER 5358 NEW BEST:: SOT 77659 SOS 47331 HAS SOPS 47331 HAS SOUS 14075 HAS SOUPS 14075 WITH SCORE 14122.331
AT ITER 5388 NEW BEST:: SOT 77675 SOS 47021 HAS SOPS 47021 HAS SOUS 14047 HAS SOUPS 14047 WITH SCORE 14094.021
AT ITER 5407 NEW BEST:: SOT 77677 SOS 46992 HAS SOPS 46992 HAS SOUS 14039 HAS SOUPS 14039 WITH SCORE 14085.992
AT ITER 5427 NEW BEST:: SOT 77671 SOS 46980 HAS SOPS 46980 HAS SOUS 14033 HAS SOUPS 14033 WITH SCORE 14079.98
AT ITER 5498 NEW BEST:: SOT 77654 SOS 47218 HAS SOPS 47218 HAS SOUS 14029 HAS SOUPS 14029 WITH SCORE 14076.218
AT ITER 5552 NEW BEST:: SOT 77651 SOS 47215 HAS SOPS 47215 HAS SOUS 14020 HAS SOUPS 14020 WITH SCORE 14067.215
AT ITER 5565 NEW BEST:: SOT 77651 SOS 47215 HAS SOPS 47215 HAS SOUS 14005 HAS SOUPS 14005 WITH SCORE 14052.215
AT ITER 5586 NEW BEST:: SOT 77649 SOS 47219 HAS SOPS 47219 HAS SOUS 14003 HAS SOUPS 14003 WITH SCORE 14050.219
AT ITER 5637 NEW BEST:: SOT 77653 SOS 47223 HAS SOPS 47223 HAS SOUS 14001 HAS SOUPS 14001 WITH SCORE 14048.223
AT ITER 5679 NEW BEST:: SOT 77591 SOS 47161 HAS SOPS 47161 HAS SOUS 13939 HAS SOUPS 13939 WITH SCORE 13986.161
AT ITER 5717 NEW BEST:: SOT 77580 SOS 47138 HAS SOPS 47138 HAS SOUS 13912 HAS SOUPS 13912 WITH SCORE 13959.138
AT ITER 5743 NEW BEST:: SOT 77570 SOS 47118 HAS SOPS 47118 HAS SOUS 13892 HAS SOUPS 13892 WITH SCORE 13939.118
AT ITER 5775 NEW BEST:: SOT 77570 SOS 47113 HAS SOPS 47113 HAS SOUS 13887 HAS SOUPS 13887 WITH SCORE 13934.113
AT ITER 5858 NEW BEST:: SOT 77566 SOS 47109 HAS SOPS 47109 HAS SOUS 13879 HAS SOUPS 13879 WITH SCORE 13926.109
AT ITER 5865 NEW BEST:: SOT 77554 SOS 47097 HAS SOPS 47097 HAS SOUS 13864 HAS SOUPS 13864 WITH SCORE 13911.097
AT ITER 5877 NEW BEST:: SOT 77569 SOS 47088 HAS SOPS 47088 HAS SOUS 13860 HAS SOUPS 13860 WITH SCORE 13907.088
AT ITER 5903 NEW BEST:: SOT 77591 SOS 47110 HAS SOPS 47110 HAS SOUS 13852 HAS SOUPS 13852 WITH SCORE 13899.11
AT ITER 5927 NEW BEST:: SOT 77590 SOS 47107 HAS SOPS 47107 HAS SOUS 13849 HAS SOUPS 13849 WITH SCORE 13896.107
AT ITER 5935 NEW BEST:: SOT 77584 SOS 47087 HAS SOPS 47087 HAS SOUS 13839 HAS SOUPS 13839 WITH SCORE 13886.087
AT ITER 5974 NEW BEST:: SOT 77586 SOS 47089 HAS SOPS 47089 HAS SOUS 13823 HAS SOUPS 13823 WITH SCORE 13870.089
AT ITER 6002 NEW BEST:: SOT 77584 SOS 47073 HAS SOPS 47073 HAS SOUS 13822 HAS SOUPS 13822 WITH SCORE 13869.073
AT ITER 6006 NEW BEST:: SOT 77584 SOS 47069 HAS SOPS 47069 HAS SOUS 13821 HAS SOUPS 13821 WITH SCORE 13868.069
AT ITER 6135 NEW BEST:: SOT 77578 SOS 47044 HAS SOPS 47044 HAS SOUS 13815 HAS SOUPS 13815 WITH SCORE 13862.044
AT ITER 6182 NEW BEST:: SOT 77576 SOS 47042 HAS SOPS 47042 HAS SOUS 13809 HAS SOUPS 13809 WITH SCORE 13856.042
AT ITER 6190 NEW BEST:: SOT 77573 SOS 47039 HAS SOPS 47039 HAS SOUS 13803 HAS SOUPS 13803 WITH SCORE 13850.039
AT ITER 6209 NEW BEST:: SOT 77580 SOS 47058 HAS SOPS 47058 HAS SOUS 13794 HAS SOUPS 13794 WITH SCORE 13841.058
AT ITER 6235 NEW BEST:: SOT 77576 SOS 47054 HAS SOPS 47054 HAS SOUS 13785 HAS SOUPS 13785 WITH SCORE 13832.054
AT ITER 6240 NEW BEST:: SOT 77560 SOS 47038 HAS SOPS 47038 HAS SOUS 13768 HAS SOUPS 13768 WITH SCORE 13815.038
AT ITER 6252 NEW BEST:: SOT 77557 SOS 47032 HAS SOPS 47032 HAS SOUS 13762 HAS SOUPS 13762 WITH SCORE 13809.032
AT ITER 6263 NEW BEST:: SOT 77563 SOS 47038 HAS SOPS 47038 HAS SOUS 13738 HAS SOUPS 13738 WITH SCORE 13785.038
AT ITER 6267 NEW BEST:: SOT 77536 SOS 47011 HAS SOPS 47011 HAS SOUS 13677 HAS SOUPS 13677 WITH SCORE 13724.011
AT ITER 6276 NEW BEST:: SOT 77555 SOS 47071 HAS SOPS 47071 HAS SOUS 13655 HAS SOUPS 13655 WITH SCORE 13702.071
AT ITER 6385 NEW BEST:: SOT 77542 SOS 47058 HAS SOPS 47058 HAS SOUS 13615 HAS SOUPS 13615 WITH SCORE 13662.058
AT ITER 6391 NEW BEST:: SOT 77540 SOS 47054 HAS SOPS 47054 HAS SOUS 13613 HAS SOUPS 13613 WITH SCORE 13660.054
AT ITER 6533 NEW BEST:: SOT 77555 SOS 47088 HAS SOPS 47088 HAS SOUS 13609 HAS SOUPS 13609 WITH SCORE 13656.088
AT ITER 6597 NEW BEST:: SOT 77545 SOS 47078 HAS SOPS 47078 HAS SOUS 13598 HAS SOUPS 13598 WITH SCORE 13645.078
AT ITER 6616 NEW BEST:: SOT 77508 SOS 47005 HAS SOPS 47005 HAS SOUS 13561 HAS SOUPS 13561 WITH SCORE 13608.005
AT ITER 6618 NEW BEST:: SOT 77505 SOS 46999 HAS SOPS 46999 HAS SOUS 13555 HAS SOUPS 13555 WITH SCORE 13601.999
AT ITER 6624 NEW BEST:: SOT 77505 SOS 47055 HAS SOPS 47055 HAS SOUS 13541 HAS SOUPS 13541 WITH SCORE 13588.055
AT ITER 6655 NEW BEST:: SOT 77495 SOS 47267 HAS SOPS 47267 HAS SOUS 13473 HAS SOUPS 13473 WITH SCORE 13520.267
AT ITER 6668 NEW BEST:: SOT 77479 SOS 47202 HAS SOPS 47202 HAS SOUS 13449 HAS SOUPS 13449 WITH SCORE 13496.202
AT ITER 6685 NEW BEST:: SOT 77469 SOS 47192 HAS SOPS 47192 HAS SOUS 13427 HAS SOUPS 13427 WITH SCORE 13474.192
AT ITER 6729 NEW BEST:: SOT 77469 SOS 47183 HAS SOPS 47183 HAS SOUS 13427 HAS SOUPS 13427 WITH SCORE 13474.183
AT ITER 6730 NEW BEST:: SOT 77455 SOS 47169 HAS SOPS 47169 HAS SOUS 13413 HAS SOUPS 13413 WITH SCORE 13460.169
AT ITER 6769 NEW BEST:: SOT 77450 SOS 47164 HAS SOPS 47164 HAS SOUS 13403 HAS SOUPS 13403 WITH SCORE 13450.164
AT ITER 6804 NEW BEST:: SOT 77478 SOS 46999 HAS SOPS 46999 HAS SOUS 13389 HAS SOUPS 13389 WITH SCORE 13435.999
AT ITER 6835 NEW BEST:: SOT 77471 SOS 46992 HAS SOPS 46992 HAS SOUS 13379 HAS SOUPS 13379 WITH SCORE 13425.992
AT ITER 6840 NEW BEST:: SOT 77503 SOS 43132 HAS SOPS 43132 HAS SOUS 13378 HAS SOUPS 13378 WITH SCORE 13421.132
AT ITER 6859 NEW BEST:: SOT 77494 SOS 43123 HAS SOPS 43123 HAS SOUS 13369 HAS SOUPS 13369 WITH SCORE 13412.123
AT ITER 6860 NEW BEST:: SOT 77499 SOS 43128 HAS SOPS 43128 HAS SOUS 13319 HAS SOUPS 13319 WITH SCORE 13362.128
AT ITER 6979 NEW BEST:: SOT 77499 SOS 43092 HAS SOPS 43092 HAS SOUS 13310 HAS SOUPS 13310 WITH SCORE 13353.092
AT ITER 6993 NEW BEST:: SOT 77518 SOS 43111 HAS SOPS 43111 HAS SOUS 13304 HAS SOUPS 13304 WITH SCORE 13347.111
AT ITER 7015 NEW BEST:: SOT 77498 SOS 43045 HAS SOPS 43045 HAS SOUS 13237 HAS SOUPS 13237 WITH SCORE 13280.045
AT ITER 7131 NEW BEST:: SOT 77501 SOS 43042 HAS SOPS 43042 HAS SOUS 13233 HAS SOUPS 13233 WITH SCORE 13276.042
AT ITER 7143 NEW BEST:: SOT 77511 SOS 43065 HAS SOPS 43065 HAS SOUS 13232 HAS SOUPS 13232 WITH SCORE 13275.065
AT ITER 7190 NEW BEST:: SOT 77487 SOS 43077 HAS SOPS 43077 HAS SOUS 13224 HAS SOUPS 13224 WITH SCORE 13267.077
AT ITER 7264 NEW BEST:: SOT 77476 SOS 43056 HAS SOPS 43056 HAS SOUS 13203 HAS SOUPS 13203 WITH SCORE 13246.056
AT ITER 7298 NEW BEST:: SOT 77464 SOS 43044 HAS SOPS 43044 HAS SOUS 13194 HAS SOUPS 13194 WITH SCORE 13237.044
AT ITER 7361 NEW BEST:: SOT 77464 SOS 43056 HAS SOPS 43056 HAS SOUS 13191 HAS SOUPS 13191 WITH SCORE 13234.056
AT ITER 7459 NEW BEST:: SOT 77464 SOS 43072 HAS SOPS 43072 HAS SOUS 13187 HAS SOUPS 13187 WITH SCORE 13230.072
AT ITER 7509 NEW BEST:: SOT 77467 SOS 43093 HAS SOPS 43093 HAS SOUS 13181 HAS SOUPS 13181 WITH SCORE 13224.093
AT ITER 7627 NEW BEST:: SOT 77428 SOS 43054 HAS SOPS 43054 HAS SOUS 13155 HAS SOUPS 13155 WITH SCORE 13198.054
AT ITER 7636 NEW BEST:: SOT 77393 SOS 44071 HAS SOPS 44071 HAS SOUS 13140 HAS SOUPS 13140 WITH SCORE 13184.071
AT ITER 7724 NEW BEST:: SOT 77378 SOS 44071 HAS SOPS 44071 HAS SOUS 13110 HAS SOUPS 13110 WITH SCORE 13154.071
AT ITER 7738 NEW BEST:: SOT 77376 SOS 44069 HAS SOPS 44069 HAS SOUS 13092 HAS SOUPS 13092 WITH SCORE 13136.069
AT ITER 7755 NEW BEST:: SOT 77388 SOS 44132 HAS SOPS 44132 HAS SOUS 13091 HAS SOUPS 13091 WITH SCORE 13135.132
AT ITER 7789 NEW BEST:: SOT 77390 SOS 43996 HAS SOPS 43996 HAS SOUS 13067 HAS SOUPS 13067 WITH SCORE 13110.996
AT ITER 7814 NEW BEST:: SOT 77394 SOS 44000 HAS SOPS 44000 HAS SOUS 13058 HAS SOUPS 13058 WITH SCORE 13102.0
AT ITER 7831 NEW BEST:: SOT 77398 SOS 44004 HAS SOPS 44004 HAS SOUS 13054 HAS SOUPS 13054 WITH SCORE 13098.004
AT ITER 7847 NEW BEST:: SOT 77396 SOS 44002 HAS SOPS 44002 HAS SOUS 13052 HAS SOUPS 13052 WITH SCORE 13096.002
AT ITER 7922 NEW BEST:: SOT 77390 SOS 44014 HAS SOPS 44014 HAS SOUS 13046 HAS SOUPS 13046 WITH SCORE 13090.014
AT ITER 7993 NEW BEST:: SOT 77400 SOS 43996 HAS SOPS 43996 HAS SOUS 13040 HAS SOUPS 13040 WITH SCORE 13083.996
AT ITER 8037 NEW BEST:: SOT 77394 SOS 44241 HAS SOPS 44241 HAS SOUS 13034 HAS SOUPS 13034 WITH SCORE 13078.241
AT ITER 8094 NEW BEST:: SOT 77394 SOS 44278 HAS SOPS 44278 HAS SOUS 13032 HAS SOUPS 13032 WITH SCORE 13076.278
AT ITER 8107 NEW BEST:: SOT 77394 SOS 44286 HAS SOPS 44286 HAS SOUS 13030 HAS SOUPS 13030 WITH SCORE 13074.286
AT ITER 8139 NEW BEST:: SOT 77396 SOS 44594 HAS SOPS 44594 HAS SOUS 12949 HAS SOUPS 12949 WITH SCORE 12993.594
AT ITER 8150 NEW BEST:: SOT 77387 SOS 44568 HAS SOPS 44568 HAS SOUS 12941 HAS SOUPS 12941 WITH SCORE 12985.568
AT ITER 8211 NEW BEST:: SOT 77371 SOS 44552 HAS SOPS 44552 HAS SOUS 12925 HAS SOUPS 12925 WITH SCORE 12969.552
AT ITER 8234 NEW BEST:: SOT 77308 SOS 44412 HAS SOPS 44412 HAS SOUS 12919 HAS SOUPS 12919 WITH SCORE 12963.412
AT ITER 8254 NEW BEST:: SOT 77305 SOS 44409 HAS SOPS 44409 HAS SOUS 12913 HAS SOUPS 12913 WITH SCORE 12957.409
AT ITER 8285 NEW BEST:: SOT 77296 SOS 44357 HAS SOPS 44357 HAS SOUS 12879 HAS SOUPS 12879 WITH SCORE 12923.357
AT ITER 8322 NEW BEST:: SOT 77296 SOS 44385 HAS SOPS 44385 HAS SOUS 12872 HAS SOUPS 12872 WITH SCORE 12916.385
AT ITER 8355 NEW BEST:: SOT 77289 SOS 44378 HAS SOPS 44378 HAS SOUS 12865 HAS SOUPS 12865 WITH SCORE 12909.378
AT ITER 8360 NEW BEST:: SOT 77295 SOS 44263 HAS SOPS 44263 HAS SOUS 12865 HAS SOUPS 12865 WITH SCORE 12909.263
AT ITER 8432 NEW BEST:: SOT 77295 SOS 44206 HAS SOPS 44206 HAS SOUS 12859 HAS SOUPS 12859 WITH SCORE 12903.206
AT ITER 8441 NEW BEST:: SOT 77293 SOS 44202 HAS SOPS 44202 HAS SOUS 12857 HAS SOUPS 12857 WITH SCORE 12901.202
AT ITER 8463 NEW BEST:: SOT 77289 SOS 44196 HAS SOPS 44196 HAS SOUS 12853 HAS SOUPS 12853 WITH SCORE 12897.196
AT ITER 8484 NEW BEST:: SOT 77286 SOS 44193 HAS SOPS 44193 HAS SOUS 12847 HAS SOUPS 12847 WITH SCORE 12891.193
AT ITER 8523 NEW BEST:: SOT 77259 SOS 44114 HAS SOPS 44114 HAS SOUS 12832 HAS SOUPS 12832 WITH SCORE 12876.114
AT ITER 8545 NEW BEST:: SOT 77250 SOS 44078 HAS SOPS 44078 HAS SOUS 12823 HAS SOUPS 12823 WITH SCORE 12867.078
AT ITER 8556 NEW BEST:: SOT 77251 SOS 44047 HAS SOPS 44047 HAS SOUS 12820 HAS SOUPS 12820 WITH SCORE 12864.047
AT ITER 8598 NEW BEST:: SOT 77254 SOS 44041 HAS SOPS 44041 HAS SOUS 12820 HAS SOUPS 12820 WITH SCORE 12864.041
AT ITER 8611 NEW BEST:: SOT 77233 SOS 44020 HAS SOPS 44020 HAS SOUS 12788 HAS SOUPS 12788 WITH SCORE 12832.02
AT ITER 8625 NEW BEST:: SOT 77233 SOS 44002 HAS SOPS 44002 HAS SOUS 12788 HAS SOUPS 12788 WITH SCORE 12832.002
AT ITER 8686 NEW BEST:: SOT 77234 SOS 43996 HAS SOPS 43996 HAS SOUS 12788 HAS SOUPS 12788 WITH SCORE 12831.996
AT ITER 8688 NEW BEST:: SOT 77237 SOS 43999 HAS SOPS 43999 HAS SOUS 12779 HAS SOUPS 12779 WITH SCORE 12822.999
AT ITER 8695 NEW BEST:: SOT 77231 SOS 43993 HAS SOPS 43993 HAS SOUS 12752 HAS SOUPS 12752 WITH SCORE 12795.993
AT ITER 8697 NEW BEST:: SOT 77202 SOS 43964 HAS SOPS 43964 HAS SOUS 12751 HAS SOUPS 12751 WITH SCORE 12794.964
AT ITER 8836 NEW BEST:: SOT 77193 SOS 43955 HAS SOPS 43955 HAS SOUS 12743 HAS SOUPS 12743 WITH SCORE 12786.955
AT ITER 8873 NEW BEST:: SOT 77162 SOS 43924 HAS SOPS 43924 HAS SOUS 12737 HAS SOUPS 12737 WITH SCORE 12780.924
AT ITER 8879 NEW BEST:: SOT 77158 SOS 43920 HAS SOPS 43920 HAS SOUS 12725 HAS SOUPS 12725 WITH SCORE 12768.92
AT ITER 8938 NEW BEST:: SOT 77117 SOS 44445 HAS SOPS 44445 HAS SOUS 12698 HAS SOUPS 12698 WITH SCORE 12742.445
AT ITER 8950 NEW BEST:: SOT 77115 SOS 44443 HAS SOPS 44443 HAS SOUS 12693 HAS SOUPS 12693 WITH SCORE 12737.443
AT ITER 8990 NEW BEST:: SOT 77144 SOS 44513 HAS SOPS 44513 HAS SOUS 12692 HAS SOUPS 12692 WITH SCORE 12736.513
AT ITER 9002 NEW BEST:: SOT 77149 SOS 44518 HAS SOPS 44518 HAS SOUS 12683 HAS SOUPS 12683 WITH SCORE 12727.518
AT ITER 9091 NEW BEST:: SOT 77149 SOS 44542 HAS SOPS 44542 HAS SOUS 12677 HAS SOUPS 12677 WITH SCORE 12721.542
AT ITER 9104 NEW BEST:: SOT 77141 SOS 44574 HAS SOPS 44574 HAS SOUS 12664 HAS SOUPS 12664 WITH SCORE 12708.574
AT ITER 9117 NEW BEST:: SOT 77127 SOS 44546 HAS SOPS 44546 HAS SOUS 12647 HAS SOUPS 12647 WITH SCORE 12691.546
AT ITER 9122 NEW BEST:: SOT 77127 SOS 44542 HAS SOPS 44542 HAS SOUS 12643 HAS SOUPS 12643 WITH SCORE 12687.542
AT ITER 9128 NEW BEST:: SOT 77132 SOS 44547 HAS SOPS 44547 HAS SOUS 12638 HAS SOUPS 12638 WITH SCORE 12682.547
AT ITER 9208 NEW BEST:: SOT 77132 SOS 44547 HAS SOPS 44547 HAS SOUS 12634 HAS SOUPS 12634 WITH SCORE 12678.547
AT ITER 9314 NEW BEST:: SOT 77132 SOS 44547 HAS SOPS 44547 HAS SOUS 12627 HAS SOUPS 12627 WITH SCORE 12671.547
AT ITER 9411 NEW BEST:: SOT 77113 SOS 44528 HAS SOPS 44528 HAS SOUS 12617 HAS SOUPS 12617 WITH SCORE 12661.528
AT ITER 9480 NEW BEST:: SOT 77105 SOS 44520 HAS SOPS 44520 HAS SOUS 12601 HAS SOUPS 12601 WITH SCORE 12645.52
AT ITER 9518 NEW BEST:: SOT 77111 SOS 44526 HAS SOPS 44526 HAS SOUS 12598 HAS SOUPS 12598 WITH SCORE 12642.526
AT ITER 9580 NEW BEST:: SOT 77098 SOS 44513 HAS SOPS 44513 HAS SOUS 12563 HAS SOUPS 12563 WITH SCORE 12607.513
AT ITER 9592 NEW BEST:: SOT 77075 SOS 44490 HAS SOPS 44490 HAS SOUS 12554 HAS SOUPS 12554 WITH SCORE 12598.49
AT ITER 9619 NEW BEST:: SOT 77075 SOS 44490 HAS SOPS 44490 HAS SOUS 12552 HAS SOUPS 12552 WITH SCORE 12596.49
AT ITER 9680 NEW BEST:: SOT 77061 SOS 44504 HAS SOPS 44504 HAS SOUS 12551 HAS SOUPS 12551 WITH SCORE 12595.504
AT ITER 9758 NEW BEST:: SOT 77060 SOS 44503 HAS SOPS 44503 HAS SOUS 12548 HAS SOUPS 12548 WITH SCORE 12592.503
AT ITER 9848 NEW BEST:: SOT 77058 SOS 44501 HAS SOPS 44501 HAS SOUS 12542 HAS SOUPS 12542 WITH SCORE 12586.501
AT ITER 9985 NEW BEST:: SOT 77036 SOS 44476 HAS SOPS 44476 HAS SOUS 12540 HAS SOUPS 12540 WITH SCORE 12584.476
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 1185016 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16139000 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="UtilityControlRoom-COL-Z4T4N08"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is UtilityControlRoom-COL-Z4T4N08, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r483-tall-167912696501080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/UtilityControlRoom-COL-Z4T4N08.tgz
mv UtilityControlRoom-COL-Z4T4N08 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 '
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 ;