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.r075-smll-167814401000416.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 CloudDeployment-PT-5a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-smll-167814401000416
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 668K
-rw-r--r-- 1 mcc users 7.0K Feb 25 15:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 15:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 14:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 14:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.0K Feb 25 15:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 15:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 15:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K Feb 25 15:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:45 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:45 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 230K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678349097320

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=CloudDeployment-PT-5a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 08:05:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 08:05:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 08:05:00] [INFO ] Load time of PNML (sax parser for PT used): 155 ms
[2023-03-09 08:05:00] [INFO ] Transformed 180 places.
[2023-03-09 08:05:00] [INFO ] Transformed 675 transitions.
[2023-03-09 08:05:00] [INFO ] Found NUPN structural information;
[2023-03-09 08:05:00] [INFO ] Parsed PT model containing 180 places and 675 transitions and 3959 arcs in 262 ms.
[2023-03-09 08:05:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 180 places, 675 transitions and 3959 arcs took 16 ms.
Total runtime 322 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 5a
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: 180 places, 675 transitions, 3959 arcs.
AT ITER 0 NEW BEST:: SOT 93429 SOS 54438 HAS SOPS 50899 HAS SOUS 43124 HAS SOUPS 39986 WITH SCORE 40040.438
AT ITER 1 NEW BEST:: SOT 93470 SOS 54520 HAS SOPS 51046 HAS SOUS 43006 HAS SOUPS 39933 WITH SCORE 39987.52
AT ITER 2 NEW BEST:: SOT 93470 SOS 54572 HAS SOPS 51155 HAS SOUS 42766 HAS SOUPS 39750 WITH SCORE 39804.572
AT ITER 5 NEW BEST:: SOT 93411 SOS 54395 HAS SOPS 51037 HAS SOUS 42438 HAS SOUPS 39481 WITH SCORE 39535.395
AT ITER 7 NEW BEST:: SOT 93345 SOS 54371 HAS SOPS 51007 HAS SOUS 42407 HAS SOUPS 39451 WITH SCORE 39505.371
AT ITER 10 NEW BEST:: SOT 93609 SOS 54589 HAS SOPS 51163 HAS SOUS 42217 HAS SOUPS 39199 WITH SCORE 39253.589
AT ITER 11 NEW BEST:: SOT 93595 SOS 54631 HAS SOPS 51219 HAS SOUS 42189 HAS SOUPS 39185 WITH SCORE 39239.631
AT ITER 14 NEW BEST:: SOT 93920 SOS 54883 HAS SOPS 51471 HAS SOUS 41857 HAS SOUPS 38853 WITH SCORE 38907.883
AT ITER 16 NEW BEST:: SOT 93948 SOS 54869 HAS SOPS 51457 HAS SOUS 41759 HAS SOUPS 38755 WITH SCORE 38809.869
AT ITER 17 NEW BEST:: SOT 93948 SOS 54868 HAS SOPS 51456 HAS SOUS 41758 HAS SOUPS 38754 WITH SCORE 38808.868
AT ITER 18 NEW BEST:: SOT 93974 SOS 54892 HAS SOPS 51480 HAS SOUS 41707 HAS SOUPS 38703 WITH SCORE 38757.892
AT ITER 22 NEW BEST:: SOT 93992 SOS 54901 HAS SOPS 51489 HAS SOUS 41671 HAS SOUPS 38667 WITH SCORE 38721.901
AT ITER 33 NEW BEST:: SOT 93969 SOS 54970 HAS SOPS 51581 HAS SOUS 41625 HAS SOUPS 38644 WITH SCORE 38698.97
AT ITER 34 NEW BEST:: SOT 94004 SOS 54967 HAS SOPS 51651 HAS SOUS 41240 HAS SOUPS 38332 WITH SCORE 38386.967
AT ITER 37 NEW BEST:: SOT 94018 SOS 54906 HAS SOPS 51590 HAS SOUS 41190 HAS SOUPS 38282 WITH SCORE 38336.906
AT ITER 41 NEW BEST:: SOT 93858 SOS 54682 HAS SOPS 51366 HAS SOUS 41134 HAS SOUPS 38226 WITH SCORE 38280.682
AT ITER 42 NEW BEST:: SOT 93858 SOS 54682 HAS SOPS 51416 HAS SOUS 40929 HAS SOUPS 38071 WITH SCORE 38125.682
AT ITER 46 NEW BEST:: SOT 93856 SOS 54643 HAS SOPS 51377 HAS SOUS 40890 HAS SOUPS 38032 WITH SCORE 38086.643
AT ITER 49 NEW BEST:: SOT 93848 SOS 54634 HAS SOPS 51368 HAS SOUS 40879 HAS SOUPS 38021 WITH SCORE 38075.634
AT ITER 54 NEW BEST:: SOT 93574 SOS 54289 HAS SOPS 51023 HAS SOUS 40527 HAS SOUPS 37669 WITH SCORE 37723.289
AT ITER 55 NEW BEST:: SOT 93574 SOS 54289 HAS SOPS 51030 HAS SOUS 40499 HAS SOUPS 37648 WITH SCORE 37702.289
AT ITER 56 NEW BEST:: SOT 93540 SOS 54243 HAS SOPS 51006 HAS SOUS 40441 HAS SOUPS 37612 WITH SCORE 37666.243
AT ITER 61 NEW BEST:: SOT 93674 SOS 54058 HAS SOPS 50821 HAS SOUS 40336 HAS SOUPS 37507 WITH SCORE 37561.058
AT ITER 63 NEW BEST:: SOT 93422 SOS 55612 HAS SOPS 50788 HAS SOUS 40096 HAS SOUPS 37372 WITH SCORE 37427.612
AT ITER 66 NEW BEST:: SOT 93422 SOS 55673 HAS SOPS 50849 HAS SOUS 40072 HAS SOUPS 37348 WITH SCORE 37403.673
AT ITER 68 NEW BEST:: SOT 93417 SOS 55668 HAS SOPS 50844 HAS SOUS 40057 HAS SOUPS 37333 WITH SCORE 37388.668
AT ITER 70 NEW BEST:: SOT 93483 SOS 55701 HAS SOPS 50910 HAS SOUS 39925 HAS SOUPS 37234 WITH SCORE 37289.701
AT ITER 72 NEW BEST:: SOT 93447 SOS 55629 HAS SOPS 50820 HAS SOUS 39915 HAS SOUPS 37206 WITH SCORE 37261.629
AT ITER 74 NEW BEST:: SOT 93627 SOS 55718 HAS SOPS 50999 HAS SOUS 39601 HAS SOUPS 36982 WITH SCORE 37037.718
AT ITER 75 NEW BEST:: SOT 93567 SOS 55666 HAS SOPS 50947 HAS SOUS 39501 HAS SOUPS 36882 WITH SCORE 36937.666
AT ITER 76 NEW BEST:: SOT 93799 SOS 55695 HAS SOPS 51092 HAS SOUS 38901 HAS SOUPS 36398 WITH SCORE 36453.695
AT ITER 77 NEW BEST:: SOT 93880 SOS 55775 HAS SOPS 51199 HAS SOUS 38846 HAS SOUPS 36370 WITH SCORE 36425.775
AT ITER 78 NEW BEST:: SOT 94179 SOS 55946 HAS SOPS 51465 HAS SOUS 38484 HAS SOUPS 36103 WITH SCORE 36158.946
AT ITER 80 NEW BEST:: SOT 94414 SOS 55961 HAS SOPS 51480 HAS SOUS 38301 HAS SOUPS 35920 WITH SCORE 35975.961
AT ITER 90 NEW BEST:: SOT 94392 SOS 55907 HAS SOPS 51465 HAS SOUS 38225 HAS SOUPS 35883 WITH SCORE 35938.907
AT ITER 92 NEW BEST:: SOT 94452 SOS 55937 HAS SOPS 51540 HAS SOUS 38120 HAS SOUPS 35823 WITH SCORE 35878.937
AT ITER 94 NEW BEST:: SOT 94568 SOS 55987 HAS SOPS 51643 HAS SOUS 37995 HAS SOUPS 35759 WITH SCORE 35814.987
AT ITER 98 NEW BEST:: SOT 94560 SOS 55976 HAS SOPS 51632 HAS SOUS 37984 HAS SOUPS 35748 WITH SCORE 35803.976
AT ITER 100 NEW BEST:: SOT 94619 SOS 55916 HAS SOPS 51545 HAS SOUS 37835 HAS SOUPS 35599 WITH SCORE 35654.916
AT ITER 103 NEW BEST:: SOT 94278 SOS 55790 HAS SOPS 51388 HAS SOUS 35942 HAS SOUPS 33706 WITH SCORE 33761.79
AT ITER 109 NEW BEST:: SOT 94397 SOS 55706 HAS SOPS 51490 HAS SOUS 35761 HAS SOUPS 33616 WITH SCORE 33671.706
AT ITER 116 NEW BEST:: SOT 94417 SOS 55726 HAS SOPS 51520 HAS SOUS 35731 HAS SOUPS 33596 WITH SCORE 33651.726
AT ITER 118 NEW BEST:: SOT 94282 SOS 55560 HAS SOPS 51337 HAS SOUS 35092 HAS SOUPS 32957 WITH SCORE 33012.56
AT ITER 119 NEW BEST:: SOT 94385 SOS 55735 HAS SOPS 51421 HAS SOUS 35070 HAS SOUPS 32836 WITH SCORE 32891.735
AT ITER 121 NEW BEST:: SOT 94431 SOS 55689 HAS SOPS 51352 HAS SOUS 35047 HAS SOUPS 32790 WITH SCORE 32845.689
AT ITER 128 NEW BEST:: SOT 94547 SOS 55804 HAS SOPS 51525 HAS SOUS 34963 HAS SOUPS 32764 WITH SCORE 32819.804
AT ITER 132 NEW BEST:: SOT 94547 SOS 55788 HAS SOPS 51509 HAS SOUS 34625 HAS SOUPS 32426 WITH SCORE 32481.788
AT ITER 140 NEW BEST:: SOT 94245 SOS 55738 HAS SOPS 51303 HAS SOUS 34336 HAS SOUPS 32167 WITH SCORE 32222.738
AT ITER 141 NEW BEST:: SOT 94181 SOS 55706 HAS SOPS 51239 HAS SOUS 34357 HAS SOUPS 32156 WITH SCORE 32211.706
AT ITER 142 NEW BEST:: SOT 94205 SOS 55754 HAS SOPS 51264 HAS SOUS 34324 HAS SOUPS 32123 WITH SCORE 32178.754
AT ITER 145 NEW BEST:: SOT 94478 SOS 56025 HAS SOPS 51535 HAS SOUS 34278 HAS SOUPS 32077 WITH SCORE 32133.025
AT ITER 146 NEW BEST:: SOT 94490 SOS 56013 HAS SOPS 51535 HAS SOUS 34254 HAS SOUPS 32065 WITH SCORE 32121.013
AT ITER 147 NEW BEST:: SOT 94182 SOS 55875 HAS SOPS 51278 HAS SOUS 34330 HAS SOUPS 32020 WITH SCORE 32075.875
AT ITER 150 NEW BEST:: SOT 94157 SOS 55849 HAS SOPS 51252 HAS SOUS 34304 HAS SOUPS 31994 WITH SCORE 32049.849
AT ITER 151 NEW BEST:: SOT 94335 SOS 56115 HAS SOPS 51607 HAS SOUS 34195 HAS SOUPS 31974 WITH SCORE 32030.115
AT ITER 152 NEW BEST:: SOT 94256 SOS 56163 HAS SOPS 51535 HAS SOUS 34201 HAS SOUPS 31957 WITH SCORE 32013.163
AT ITER 153 NEW BEST:: SOT 94209 SOS 56179 HAS SOPS 51551 HAS SOUS 34200 HAS SOUPS 31956 WITH SCORE 32012.179
AT ITER 155 NEW BEST:: SOT 94271 SOS 56303 HAS SOPS 51675 HAS SOUS 34161 HAS SOUPS 31917 WITH SCORE 31973.303
AT ITER 160 NEW BEST:: SOT 94363 SOS 56349 HAS SOPS 51767 HAS SOUS 34070 HAS SOUPS 31872 WITH SCORE 31928.349
AT ITER 161 NEW BEST:: SOT 94337 SOS 56272 HAS SOPS 51665 HAS SOUS 34045 HAS SOUPS 31822 WITH SCORE 31878.272
AT ITER 164 NEW BEST:: SOT 93890 SOS 55825 HAS SOPS 51218 HAS SOUS 33598 HAS SOUPS 31375 WITH SCORE 31430.825
AT ITER 169 NEW BEST:: SOT 93862 SOS 55913 HAS SOPS 51329 HAS SOUS 33532 HAS SOUPS 31332 WITH SCORE 31387.913
AT ITER 172 NEW BEST:: SOT 93940 SOS 55735 HAS SOPS 51151 HAS SOUS 33508 HAS SOUPS 31308 WITH SCORE 31363.735
AT ITER 177 NEW BEST:: SOT 94147 SOS 55823 HAS SOPS 51301 HAS SOUS 33191 HAS SOUPS 31058 WITH SCORE 31113.823
AT ITER 187 NEW BEST:: SOT 94167 SOS 55861 HAS SOPS 51359 HAS SOUS 33169 HAS SOUPS 31056 WITH SCORE 31111.861
AT ITER 191 NEW BEST:: SOT 94181 SOS 56070 HAS SOPS 51568 HAS SOUS 33061 HAS SOUPS 30948 WITH SCORE 31004.07
AT ITER 195 NEW BEST:: SOT 92062 SOS 54793 HAS SOPS 49828 HAS SOUS 31171 HAS SOUPS 29208 WITH SCORE 29262.793
AT ITER 198 NEW BEST:: SOT 92057 SOS 54595 HAS SOPS 49630 HAS SOUS 30796 HAS SOUPS 28833 WITH SCORE 28887.595
AT ITER 200 NEW BEST:: SOT 91959 SOS 54497 HAS SOPS 49532 HAS SOUS 30698 HAS SOUPS 28735 WITH SCORE 28789.497
AT ITER 204 NEW BEST:: SOT 91945 SOS 54532 HAS SOPS 49567 HAS SOUS 30691 HAS SOUPS 28728 WITH SCORE 28782.532
AT ITER 205 NEW BEST:: SOT 91945 SOS 54112 HAS SOPS 49142 HAS SOUS 30690 HAS SOUPS 28726 WITH SCORE 28780.112
AT ITER 209 NEW BEST:: SOT 91961 SOS 54147 HAS SOPS 49177 HAS SOUS 30649 HAS SOUPS 28685 WITH SCORE 28739.147
AT ITER 210 NEW BEST:: SOT 91986 SOS 54122 HAS SOPS 49152 HAS SOUS 30648 HAS SOUPS 28684 WITH SCORE 28738.122
AT ITER 211 NEW BEST:: SOT 92275 SOS 56285 HAS SOPS 49073 HAS SOUS 30687 HAS SOUPS 28658 WITH SCORE 28714.285
AT ITER 213 NEW BEST:: SOT 92174 SOS 56057 HAS SOPS 48993 HAS SOUS 30472 HAS SOUPS 28504 WITH SCORE 28560.057
AT ITER 215 NEW BEST:: SOT 92176 SOS 56093 HAS SOPS 49029 HAS SOUS 30433 HAS SOUPS 28465 WITH SCORE 28521.093
AT ITER 218 NEW BEST:: SOT 92176 SOS 56004 HAS SOPS 48940 HAS SOUS 30368 HAS SOUPS 28400 WITH SCORE 28456.004
AT ITER 224 NEW BEST:: SOT 92165 SOS 55993 HAS SOPS 48918 HAS SOUS 30316 HAS SOUPS 28348 WITH SCORE 28403.993
AT ITER 226 NEW BEST:: SOT 92477 SOS 56372 HAS SOPS 49297 HAS SOUS 28452 HAS SOUPS 26484 WITH SCORE 26540.372
AT ITER 228 NEW BEST:: SOT 92554 SOS 56336 HAS SOPS 49261 HAS SOUS 28418 HAS SOUPS 26450 WITH SCORE 26506.336
AT ITER 231 NEW BEST:: SOT 92576 SOS 56358 HAS SOPS 49283 HAS SOUS 28396 HAS SOUPS 26428 WITH SCORE 26484.358
AT ITER 239 NEW BEST:: SOT 92491 SOS 56226 HAS SOPS 49107 HAS SOUS 28425 HAS SOUPS 26413 WITH SCORE 26469.226
AT ITER 240 NEW BEST:: SOT 92459 SOS 56176 HAS SOPS 49031 HAS SOUS 28349 HAS SOUPS 26337 WITH SCORE 26393.176
AT ITER 246 NEW BEST:: SOT 92558 SOS 56275 HAS SOPS 49097 HAS SOUS 28303 HAS SOUPS 26291 WITH SCORE 26347.275
AT ITER 248 NEW BEST:: SOT 92739 SOS 56412 HAS SOPS 49252 HAS SOUS 28144 HAS SOUPS 26174 WITH SCORE 26230.412
AT ITER 250 NEW BEST:: SOT 90958 SOS 57711 HAS SOPS 48425 HAS SOUS 26952 HAS SOUPS 25143 WITH SCORE 25200.711
AT ITER 251 NEW BEST:: SOT 90820 SOS 57590 HAS SOPS 48335 HAS SOUS 26828 HAS SOUPS 25050 WITH SCORE 25107.59
AT ITER 255 NEW BEST:: SOT 90711 SOS 57481 HAS SOPS 48226 HAS SOUS 26797 HAS SOUPS 25019 WITH SCORE 25076.481
AT ITER 256 NEW BEST:: SOT 90737 SOS 57486 HAS SOPS 48240 HAS SOUS 26639 HAS SOUPS 24875 WITH SCORE 24932.486
AT ITER 259 NEW BEST:: SOT 90773 SOS 57393 HAS SOPS 48147 HAS SOUS 26454 HAS SOUPS 24690 WITH SCORE 24747.393
AT ITER 263 NEW BEST:: SOT 90773 SOS 57393 HAS SOPS 48127 HAS SOUS 26434 HAS SOUPS 24670 WITH SCORE 24727.393
AT ITER 267 NEW BEST:: SOT 90806 SOS 57383 HAS SOPS 48117 HAS SOUS 26424 HAS SOUPS 24660 WITH SCORE 24717.383
AT ITER 268 NEW BEST:: SOT 90867 SOS 57283 HAS SOPS 48017 HAS SOUS 26355 HAS SOUPS 24591 WITH SCORE 24648.283
AT ITER 270 NEW BEST:: SOT 91000 SOS 57325 HAS SOPS 47904 HAS SOUS 26397 HAS SOUPS 24573 WITH SCORE 24630.325
AT ITER 275 NEW BEST:: SOT 90664 SOS 57202 HAS SOPS 47692 HAS SOUS 26444 HAS SOUPS 24509 WITH SCORE 24566.202
AT ITER 276 NEW BEST:: SOT 90627 SOS 57123 HAS SOPS 47639 HAS SOUS 26370 HAS SOUPS 24435 WITH SCORE 24492.123
AT ITER 285 NEW BEST:: SOT 91380 SOS 50759 HAS SOPS 34347 HAS SOUS 26739 HAS SOUPS 23623 WITH SCORE 23673.759
AT ITER 286 NEW BEST:: SOT 91250 SOS 50621 HAS SOPS 34236 HAS SOUS 26718 HAS SOUPS 23602 WITH SCORE 23652.621
AT ITER 287 NEW BEST:: SOT 91131 SOS 50211 HAS SOPS 33913 HAS SOUS 26455 HAS SOUPS 23279 WITH SCORE 23329.211
AT ITER 290 NEW BEST:: SOT 89536 SOS 53584 HAS SOPS 33494 HAS SOUS 25805 HAS SOUPS 22778 WITH SCORE 22831.584
AT ITER 292 NEW BEST:: SOT 89539 SOS 53584 HAS SOPS 33491 HAS SOUS 25799 HAS SOUPS 22775 WITH SCORE 22828.584
AT ITER 298 NEW BEST:: SOT 89573 SOS 53616 HAS SOPS 33523 HAS SOUS 25726 HAS SOUPS 22702 WITH SCORE 22755.616
AT ITER 308 NEW BEST:: SOT 89922 SOS 53708 HAS SOPS 33770 HAS SOUS 25605 HAS SOUPS 22634 WITH SCORE 22687.708
AT ITER 313 NEW BEST:: SOT 90227 SOS 53867 HAS SOPS 34100 HAS SOUS 25497 HAS SOUPS 22582 WITH SCORE 22635.867
AT ITER 315 NEW BEST:: SOT 90159 SOS 53707 HAS SOPS 33992 HAS SOUS 25526 HAS SOUPS 22559 WITH SCORE 22612.707
AT ITER 319 NEW BEST:: SOT 90187 SOS 53567 HAS SOPS 33964 HAS SOUS 25414 HAS SOUPS 22475 WITH SCORE 22528.567
AT ITER 322 NEW BEST:: SOT 90187 SOS 53543 HAS SOPS 33940 HAS SOUS 25414 HAS SOUPS 22475 WITH SCORE 22528.543
AT ITER 327 NEW BEST:: SOT 89848 SOS 53291 HAS SOPS 33742 HAS SOUS 25171 HAS SOUPS 22228 WITH SCORE 22281.291
AT ITER 331 NEW BEST:: SOT 89932 SOS 53147 HAS SOPS 33598 HAS SOUS 25105 HAS SOUPS 22162 WITH SCORE 22215.147
AT ITER 333 NEW BEST:: SOT 89964 SOS 53089 HAS SOPS 33570 HAS SOUS 24997 HAS SOUPS 22069 WITH SCORE 22122.089
AT ITER 340 NEW BEST:: SOT 89960 SOS 53077 HAS SOPS 33562 HAS SOUS 25001 HAS SOUPS 22069 WITH SCORE 22122.077
AT ITER 344 NEW BEST:: SOT 89939 SOS 53097 HAS SOPS 33561 HAS SOUS 25000 HAS SOUPS 22061 WITH SCORE 22114.097
AT ITER 347 NEW BEST:: SOT 89931 SOS 53081 HAS SOPS 33545 HAS SOUS 25000 HAS SOUPS 22061 WITH SCORE 22114.081
AT ITER 350 NEW BEST:: SOT 89967 SOS 53075 HAS SOPS 33539 HAS SOUS 24948 HAS SOUPS 22009 WITH SCORE 22062.075
AT ITER 356 NEW BEST:: SOT 90057 SOS 53020 HAS SOPS 33379 HAS SOUS 24758 HAS SOUPS 21779 WITH SCORE 21832.02
AT ITER 358 NEW BEST:: SOT 90032 SOS 53083 HAS SOPS 33821 HAS SOUS 24714 HAS SOUPS 21735 WITH SCORE 21788.083
AT ITER 359 NEW BEST:: SOT 90119 SOS 52991 HAS SOPS 33767 HAS SOUS 24702 HAS SOUPS 21704 WITH SCORE 21756.991
AT ITER 365 NEW BEST:: SOT 90119 SOS 51226 HAS SOPS 30363 HAS SOUS 23463 HAS SOUPS 20465 WITH SCORE 20516.226
AT ITER 367 NEW BEST:: SOT 90067 SOS 51174 HAS SOPS 30311 HAS SOUS 23403 HAS SOUPS 20405 WITH SCORE 20456.174
AT ITER 371 NEW BEST:: SOT 89762 SOS 50420 HAS SOPS 29995 HAS SOUS 23075 HAS SOUPS 20092 WITH SCORE 20142.42
AT ITER 374 NEW BEST:: SOT 89756 SOS 50402 HAS SOPS 29980 HAS SOUS 23057 HAS SOUPS 20077 WITH SCORE 20127.402
AT ITER 376 NEW BEST:: SOT 89736 SOS 50352 HAS SOPS 29955 HAS SOUS 23042 HAS SOUPS 20062 WITH SCORE 20112.352
AT ITER 380 NEW BEST:: SOT 89730 SOS 50041 HAS SOPS 29160 HAS SOUS 22462 HAS SOUPS 19482 WITH SCORE 19532.041
AT ITER 382 NEW BEST:: SOT 89714 SOS 50013 HAS SOPS 29132 HAS SOUS 22434 HAS SOUPS 19454 WITH SCORE 19504.013
AT ITER 384 NEW BEST:: SOT 89711 SOS 49986 HAS SOPS 29108 HAS SOUS 22437 HAS SOUPS 19454 WITH SCORE 19503.986
AT ITER 398 NEW BEST:: SOT 89946 SOS 50044 HAS SOPS 29402 HAS SOUS 22336 HAS SOUPS 19428 WITH SCORE 19478.044
AT ITER 403 NEW BEST:: SOT 89961 SOS 50046 HAS SOPS 29404 HAS SOUS 22325 HAS SOUPS 19417 WITH SCORE 19467.046
AT ITER 405 NEW BEST:: SOT 90014 SOS 50076 HAS SOPS 29374 HAS SOUS 22291 HAS SOUPS 19383 WITH SCORE 19433.076
AT ITER 406 NEW BEST:: SOT 90652 SOS 46788 HAS SOPS 29472 HAS SOUS 22274 HAS SOUPS 19375 WITH SCORE 19421.788
AT ITER 416 NEW BEST:: SOT 90664 SOS 46792 HAS SOPS 29476 HAS SOUS 22266 HAS SOUPS 19367 WITH SCORE 19413.792
AT ITER 418 NEW BEST:: SOT 90876 SOS 46769 HAS SOPS 29529 HAS SOUS 21997 HAS SOUPS 19118 WITH SCORE 19164.769
AT ITER 428 NEW BEST:: SOT 89781 SOS 46729 HAS SOPS 29363 HAS SOUS 21898 HAS SOUPS 19090 WITH SCORE 19136.729
AT ITER 429 NEW BEST:: SOT 89761 SOS 46703 HAS SOPS 29337 HAS SOUS 21872 HAS SOUPS 19064 WITH SCORE 19110.703
AT ITER 430 NEW BEST:: SOT 87748 SOS 50067 HAS SOPS 29167 HAS SOUS 21704 HAS SOUPS 18837 WITH SCORE 18887.067
AT ITER 432 NEW BEST:: SOT 87664 SOS 49985 HAS SOPS 29149 HAS SOUS 21680 HAS SOUPS 18807 WITH SCORE 18856.985
AT ITER 441 NEW BEST:: SOT 87379 SOS 49967 HAS SOPS 28943 HAS SOUS 21671 HAS SOUPS 18734 WITH SCORE 18783.967
AT ITER 442 NEW BEST:: SOT 87430 SOS 49836 HAS SOPS 28812 HAS SOUS 21582 HAS SOUPS 18645 WITH SCORE 18694.836
AT ITER 449 NEW BEST:: SOT 87458 SOS 49788 HAS SOPS 28738 HAS SOUS 21506 HAS SOUPS 18582 WITH SCORE 18631.788
AT ITER 450 NEW BEST:: SOT 86794 SOS 50317 HAS SOPS 28332 HAS SOUS 21429 HAS SOUPS 18525 WITH SCORE 18575.317
AT ITER 452 NEW BEST:: SOT 85749 SOS 50390 HAS SOPS 27887 HAS SOUS 21164 HAS SOUPS 18097 WITH SCORE 18147.39
AT ITER 461 NEW BEST:: SOT 85740 SOS 50381 HAS SOPS 27840 HAS SOUS 21157 HAS SOUPS 18090 WITH SCORE 18140.381
AT ITER 462 NEW BEST:: SOT 85321 SOS 49985 HAS SOPS 27333 HAS SOUS 20990 HAS SOUPS 17870 WITH SCORE 17919.985
AT ITER 465 NEW BEST:: SOT 85281 SOS 50457 HAS SOPS 27317 HAS SOUS 20985 HAS SOUPS 17855 WITH SCORE 17905.457
AT ITER 472 NEW BEST:: SOT 82068 SOS 53442 HAS SOPS 26768 HAS SOUS 20534 HAS SOUPS 17418 WITH SCORE 17471.442
AT ITER 475 NEW BEST:: SOT 82144 SOS 53710 HAS SOPS 27086 HAS SOUS 20454 HAS SOUPS 17404 WITH SCORE 17457.71
AT ITER 480 NEW BEST:: SOT 82219 SOS 53800 HAS SOPS 27135 HAS SOUS 20382 HAS SOUPS 17339 WITH SCORE 17392.8
AT ITER 481 NEW BEST:: SOT 82212 SOS 53786 HAS SOPS 27138 HAS SOUS 20433 HAS SOUPS 17337 WITH SCORE 17390.786
AT ITER 483 NEW BEST:: SOT 82212 SOS 53786 HAS SOPS 27136 HAS SOUS 20432 HAS SOUPS 17335 WITH SCORE 17388.786
AT ITER 486 NEW BEST:: SOT 82205 SOS 53779 HAS SOPS 27153 HAS SOUS 20428 HAS SOUPS 17331 WITH SCORE 17384.779
AT ITER 496 NEW BEST:: SOT 82227 SOS 53801 HAS SOPS 27189 HAS SOUS 20386 HAS SOUPS 17307 WITH SCORE 17360.801
AT ITER 498 NEW BEST:: SOT 82121 SOS 53695 HAS SOPS 27075 HAS SOUS 20005 HAS SOUPS 16943 WITH SCORE 16996.695
AT ITER 501 NEW BEST:: SOT 81808 SOS 53305 HAS SOPS 26431 HAS SOUS 19888 HAS SOUPS 16786 WITH SCORE 16839.305
AT ITER 508 NEW BEST:: SOT 81848 SOS 53205 HAS SOPS 26451 HAS SOUS 19868 HAS SOUPS 16786 WITH SCORE 16839.205
AT ITER 510 NEW BEST:: SOT 80670 SOS 52357 HAS SOPS 25818 HAS SOUS 19605 HAS SOUPS 16375 WITH SCORE 16427.357
AT ITER 515 NEW BEST:: SOT 80570 SOS 52275 HAS SOPS 25776 HAS SOUS 19526 HAS SOUPS 16296 WITH SCORE 16348.275
AT ITER 522 NEW BEST:: SOT 80834 SOS 52188 HAS SOPS 25689 HAS SOUS 19374 HAS SOUPS 16221 WITH SCORE 16273.188
AT ITER 523 NEW BEST:: SOT 81033 SOS 52179 HAS SOPS 25472 HAS SOUS 19105 HAS SOUPS 15989 WITH SCORE 16041.179
AT ITER 524 NEW BEST:: SOT 81079 SOS 52119 HAS SOPS 25412 HAS SOUS 18961 HAS SOUPS 15883 WITH SCORE 15935.119
AT ITER 525 NEW BEST:: SOT 81753 SOS 49606 HAS SOPS 25429 HAS SOUS 18862 HAS SOUPS 15869 WITH SCORE 15918.606
AT ITER 526 NEW BEST:: SOT 81869 SOS 49580 HAS SOPS 25403 HAS SOUS 18788 HAS SOUPS 15795 WITH SCORE 15844.58
AT ITER 527 NEW BEST:: SOT 82950 SOS 48926 HAS SOPS 25436 HAS SOUS 18774 HAS SOUPS 15777 WITH SCORE 15825.926
AT ITER 529 NEW BEST:: SOT 82902 SOS 48768 HAS SOPS 25302 HAS SOUS 18742 HAS SOUPS 15721 WITH SCORE 15769.768
AT ITER 536 NEW BEST:: SOT 81323 SOS 47292 HAS SOPS 24321 HAS SOUS 17717 HAS SOUPS 14749 WITH SCORE 14796.292
AT ITER 544 NEW BEST:: SOT 81309 SOS 47173 HAS SOPS 24331 HAS SOUS 17677 HAS SOUPS 14709 WITH SCORE 14756.173
AT ITER 547 NEW BEST:: SOT 81366 SOS 47352 HAS SOPS 24575 HAS SOUS 17576 HAS SOUPS 14661 WITH SCORE 14708.352
AT ITER 548 NEW BEST:: SOT 81507 SOS 47198 HAS SOPS 24565 HAS SOUS 17553 HAS SOUPS 14638 WITH SCORE 14685.198
AT ITER 549 NEW BEST:: SOT 81499 SOS 47246 HAS SOPS 24549 HAS SOUS 17553 HAS SOUPS 14630 WITH SCORE 14677.246
AT ITER 551 NEW BEST:: SOT 81463 SOS 47210 HAS SOPS 24513 HAS SOUS 17517 HAS SOUPS 14594 WITH SCORE 14641.21
AT ITER 556 NEW BEST:: SOT 81265 SOS 47010 HAS SOPS 24313 HAS SOUS 17408 HAS SOUPS 14485 WITH SCORE 14532.01
AT ITER 557 NEW BEST:: SOT 81253 SOS 47000 HAS SOPS 24303 HAS SOUS 17406 HAS SOUPS 14483 WITH SCORE 14530.0
AT ITER 565 NEW BEST:: SOT 81253 SOS 46984 HAS SOPS 24311 HAS SOUS 17402 HAS SOUPS 14483 WITH SCORE 14529.984
AT ITER 577 NEW BEST:: SOT 81218 SOS 46993 HAS SOPS 24152 HAS SOUS 17482 HAS SOUPS 14464 WITH SCORE 14510.993
AT ITER 583 NEW BEST:: SOT 81209 SOS 47003 HAS SOPS 24162 HAS SOUS 17472 HAS SOUPS 14454 WITH SCORE 14501.003
AT ITER 589 NEW BEST:: SOT 80892 SOS 46894 HAS SOPS 24165 HAS SOUS 17416 HAS SOUPS 14421 WITH SCORE 14467.894
AT ITER 594 NEW BEST:: SOT 81946 SOS 47842 HAS SOPS 22668 HAS SOUS 16008 HAS SOUPS 12962 WITH SCORE 13009.842
AT ITER 600 NEW BEST:: SOT 82001 SOS 47792 HAS SOPS 22624 HAS SOUS 15998 HAS SOUPS 12952 WITH SCORE 12999.792
AT ITER 614 NEW BEST:: SOT 81984 SOS 47860 HAS SOPS 22573 HAS SOUS 15964 HAS SOUPS 12918 WITH SCORE 12965.86
AT ITER 619 NEW BEST:: SOT 81991 SOS 47811 HAS SOPS 22559 HAS SOUS 15957 HAS SOUPS 12918 WITH SCORE 12965.811
AT ITER 628 NEW BEST:: SOT 81976 SOS 47707 HAS SOPS 22529 HAS SOUS 15927 HAS SOUPS 12888 WITH SCORE 12935.707
AT ITER 631 NEW BEST:: SOT 81973 SOS 47686 HAS SOPS 22526 HAS SOUS 15921 HAS SOUPS 12885 WITH SCORE 12932.686
AT ITER 632 NEW BEST:: SOT 81999 SOS 47709 HAS SOPS 22446 HAS SOUS 15850 HAS SOUPS 12805 WITH SCORE 12852.709
AT ITER 637 NEW BEST:: SOT 81994 SOS 47619 HAS SOPS 22276 HAS SOUS 15824 HAS SOUPS 12779 WITH SCORE 12826.619
AT ITER 639 NEW BEST:: SOT 82044 SOS 47423 HAS SOPS 22080 HAS SOUS 15688 HAS SOUPS 12643 WITH SCORE 12690.423
AT ITER 655 NEW BEST:: SOT 82038 SOS 47419 HAS SOPS 22072 HAS SOUS 15684 HAS SOUPS 12639 WITH SCORE 12686.419
AT ITER 667 NEW BEST:: SOT 82071 SOS 47449 HAS SOPS 22096 HAS SOUS 15681 HAS SOUPS 12630 WITH SCORE 12677.449
AT ITER 671 NEW BEST:: SOT 82100 SOS 47478 HAS SOPS 22121 HAS SOUS 15634 HAS SOUPS 12583 WITH SCORE 12630.478
AT ITER 672 NEW BEST:: SOT 82062 SOS 47505 HAS SOPS 22131 HAS SOUS 15615 HAS SOUPS 12564 WITH SCORE 12611.505
AT ITER 677 NEW BEST:: SOT 82071 SOS 47523 HAS SOPS 22103 HAS SOUS 15596 HAS SOUPS 12522 WITH SCORE 12569.523
AT ITER 680 NEW BEST:: SOT 82029 SOS 47488 HAS SOPS 22068 HAS SOUS 15596 HAS SOUPS 12522 WITH SCORE 12569.488
AT ITER 681 NEW BEST:: SOT 82014 SOS 47761 HAS SOPS 22033 HAS SOUS 15597 HAS SOUPS 12518 WITH SCORE 12565.761
AT ITER 686 NEW BEST:: SOT 82014 SOS 47614 HAS SOPS 21886 HAS SOUS 15560 HAS SOUPS 12481 WITH SCORE 12528.614
AT ITER 703 NEW BEST:: SOT 81988 SOS 47730 HAS SOPS 22113 HAS SOUS 15537 HAS SOUPS 12458 WITH SCORE 12505.73
AT ITER 710 NEW BEST:: SOT 81988 SOS 47720 HAS SOPS 22103 HAS SOUS 15537 HAS SOUPS 12458 WITH SCORE 12505.72
AT ITER 714 NEW BEST:: SOT 81873 SOS 47605 HAS SOPS 21975 HAS SOUS 15422 HAS SOUPS 12330 WITH SCORE 12377.605
AT ITER 717 NEW BEST:: SOT 81550 SOS 47187 HAS SOPS 21452 HAS SOUS 15421 HAS SOUPS 12212 WITH SCORE 12259.187
AT ITER 718 NEW BEST:: SOT 81553 SOS 47175 HAS SOPS 21425 HAS SOUS 15409 HAS SOUPS 12200 WITH SCORE 12247.175
AT ITER 724 NEW BEST:: SOT 81509 SOS 47087 HAS SOPS 21338 HAS SOUS 15404 HAS SOUPS 12195 WITH SCORE 12242.087
AT ITER 729 NEW BEST:: SOT 81463 SOS 47041 HAS SOPS 21338 HAS SOUS 15404 HAS SOUPS 12195 WITH SCORE 12242.041
AT ITER 737 NEW BEST:: SOT 81460 SOS 47046 HAS SOPS 21342 HAS SOUS 15400 HAS SOUPS 12191 WITH SCORE 12238.046
AT ITER 745 NEW BEST:: SOT 81452 SOS 47030 HAS SOPS 21326 HAS SOUS 15369 HAS SOUPS 12160 WITH SCORE 12207.03
AT ITER 755 NEW BEST:: SOT 81462 SOS 47030 HAS SOPS 21346 HAS SOUS 15337 HAS SOUPS 12135 WITH SCORE 12182.03
AT ITER 756 NEW BEST:: SOT 81386 SOS 47198 HAS SOPS 21514 HAS SOUS 15332 HAS SOUPS 12130 WITH SCORE 12177.198
AT ITER 767 NEW BEST:: SOT 81341 SOS 47162 HAS SOPS 21458 HAS SOUS 15296 HAS SOUPS 12074 WITH SCORE 12121.162
AT ITER 771 NEW BEST:: SOT 81315 SOS 47136 HAS SOPS 21439 HAS SOUS 15277 HAS SOUPS 12055 WITH SCORE 12102.136
AT ITER 775 NEW BEST:: SOT 80585 SOS 47101 HAS SOPS 21476 HAS SOUS 15185 HAS SOUPS 12035 WITH SCORE 12082.101
AT ITER 777 NEW BEST:: SOT 80559 SOS 47213 HAS SOPS 21690 HAS SOUS 15151 HAS SOUPS 12001 WITH SCORE 12048.213
AT ITER 781 NEW BEST:: SOT 80435 SOS 46965 HAS SOPS 21561 HAS SOUS 15145 HAS SOUPS 11998 WITH SCORE 12044.965
AT ITER 782 NEW BEST:: SOT 80387 SOS 46869 HAS SOPS 21465 HAS SOUS 15112 HAS SOUPS 11965 WITH SCORE 12011.869
AT ITER 809 NEW BEST:: SOT 80301 SOS 46721 HAS SOPS 21355 HAS SOUS 15135 HAS SOUPS 11965 WITH SCORE 12011.721
AT ITER 824 NEW BEST:: SOT 80043 SOS 47869 HAS SOPS 20664 HAS SOUS 15213 HAS SOUPS 11899 WITH SCORE 11946.869
AT ITER 825 NEW BEST:: SOT 79942 SOS 47768 HAS SOPS 20562 HAS SOUS 15037 HAS SOUPS 11724 WITH SCORE 11771.768
AT ITER 839 NEW BEST:: SOT 79871 SOS 47697 HAS SOPS 20562 HAS SOUS 15037 HAS SOUPS 11724 WITH SCORE 11771.697
AT ITER 847 NEW BEST:: SOT 79717 SOS 47401 HAS SOPS 20266 HAS SOUS 14791 HAS SOUPS 11478 WITH SCORE 11525.401
AT ITER 854 NEW BEST:: SOT 79598 SOS 48356 HAS SOPS 20293 HAS SOUS 14880 HAS SOUPS 11470 WITH SCORE 11518.356
AT ITER 868 NEW BEST:: SOT 79590 SOS 48348 HAS SOPS 20297 HAS SOUS 14829 HAS SOUPS 11419 WITH SCORE 11467.348
AT ITER 870 NEW BEST:: SOT 79790 SOS 48240 HAS SOPS 20125 HAS SOUS 14816 HAS SOUPS 11406 WITH SCORE 11454.24
AT ITER 884 NEW BEST:: SOT 79855 SOS 48370 HAS SOPS 20117 HAS SOUS 14816 HAS SOUPS 11383 WITH SCORE 11431.37
AT ITER 887 NEW BEST:: SOT 79840 SOS 48357 HAS SOPS 20106 HAS SOUS 14794 HAS SOUPS 11361 WITH SCORE 11409.357
AT ITER 902 NEW BEST:: SOT 79874 SOS 48170 HAS SOPS 20079 HAS SOUS 14747 HAS SOUPS 11346 WITH SCORE 11394.17
AT ITER 908 NEW BEST:: SOT 79741 SOS 48094 HAS SOPS 20003 HAS SOUS 14732 HAS SOUPS 11331 WITH SCORE 11379.094
AT ITER 912 NEW BEST:: SOT 79742 SOS 48087 HAS SOPS 20002 HAS SOUS 14730 HAS SOUPS 11330 WITH SCORE 11378.087
AT ITER 919 NEW BEST:: SOT 79106 SOS 47400 HAS SOPS 19298 HAS SOUS 14610 HAS SOUPS 11210 WITH SCORE 11257.4
AT ITER 922 NEW BEST:: SOT 79101 SOS 47434 HAS SOPS 19288 HAS SOUS 14600 HAS SOUPS 11200 WITH SCORE 11247.434
AT ITER 926 NEW BEST:: SOT 79059 SOS 47434 HAS SOPS 19288 HAS SOUS 14579 HAS SOUPS 11179 WITH SCORE 11226.434
AT ITER 935 NEW BEST:: SOT 79073 SOS 47444 HAS SOPS 19298 HAS SOUS 14577 HAS SOUPS 11177 WITH SCORE 11224.444
AT ITER 939 NEW BEST:: SOT 79039 SOS 47376 HAS SOPS 19230 HAS SOUS 14577 HAS SOUPS 11177 WITH SCORE 11224.376
AT ITER 946 NEW BEST:: SOT 78896 SOS 47309 HAS SOPS 19239 HAS SOUS 14403 HAS SOUPS 11041 WITH SCORE 11088.309
AT ITER 949 NEW BEST:: SOT 78896 SOS 47222 HAS SOPS 19213 HAS SOUS 14377 HAS SOUPS 11027 WITH SCORE 11074.222
AT ITER 960 NEW BEST:: SOT 78737 SOS 46980 HAS SOPS 18937 HAS SOUS 14356 HAS SOUPS 10998 WITH SCORE 11044.98
AT ITER 962 NEW BEST:: SOT 78775 SOS 47018 HAS SOPS 18958 HAS SOUS 14328 HAS SOUPS 10974 WITH SCORE 11021.018
AT ITER 969 NEW BEST:: SOT 78796 SOS 47024 HAS SOPS 18967 HAS SOUS 14334 HAS SOUPS 10971 WITH SCORE 11018.024
AT ITER 984 NEW BEST:: SOT 78785 SOS 47523 HAS SOPS 19454 HAS SOUS 14312 HAS SOUPS 10949 WITH SCORE 10996.523
AT ITER 988 NEW BEST:: SOT 78870 SOS 47553 HAS SOPS 19476 HAS SOUS 14298 HAS SOUPS 10935 WITH SCORE 10982.553
AT ITER 1000 NEW BEST:: SOT 78784 SOS 47467 HAS SOPS 19424 HAS SOUS 14246 HAS SOUPS 10883 WITH SCORE 10930.467
AT ITER 1002 NEW BEST:: SOT 78518 SOS 47388 HAS SOPS 19323 HAS SOUS 14042 HAS SOUPS 10679 WITH SCORE 10726.388
AT ITER 1007 NEW BEST:: SOT 78477 SOS 47347 HAS SOPS 19241 HAS SOUS 13970 HAS SOUPS 10597 WITH SCORE 10644.347
AT ITER 1010 NEW BEST:: SOT 78471 SOS 47295 HAS SOPS 19165 HAS SOUS 13954 HAS SOUPS 10581 WITH SCORE 10628.295
AT ITER 1011 NEW BEST:: SOT 78471 SOS 47295 HAS SOPS 19165 HAS SOUS 13910 HAS SOUPS 10537 WITH SCORE 10584.295
AT ITER 1012 NEW BEST:: SOT 78280 SOS 50462 HAS SOPS 19088 HAS SOUS 13907 HAS SOUPS 10480 WITH SCORE 10530.462
AT ITER 1014 NEW BEST:: SOT 78266 SOS 50318 HAS SOPS 18944 HAS SOUS 13891 HAS SOUPS 10464 WITH SCORE 10514.318
AT ITER 1018 NEW BEST:: SOT 78265 SOS 50315 HAS SOPS 18941 HAS SOUS 13889 HAS SOUPS 10462 WITH SCORE 10512.315
AT ITER 1023 NEW BEST:: SOT 78209 SOS 50203 HAS SOPS 18909 HAS SOUS 13889 HAS SOUPS 10462 WITH SCORE 10512.203
AT ITER 1032 NEW BEST:: SOT 78206 SOS 50200 HAS SOPS 18904 HAS SOUS 13884 HAS SOUPS 10457 WITH SCORE 10507.2
AT ITER 1035 NEW BEST:: SOT 78191 SOS 50210 HAS SOPS 18874 HAS SOUS 13804 HAS SOUPS 10377 WITH SCORE 10427.21
AT ITER 1038 NEW BEST:: SOT 78159 SOS 50222 HAS SOPS 18884 HAS SOUS 13796 HAS SOUPS 10369 WITH SCORE 10419.222
AT ITER 1053 NEW BEST:: SOT 78164 SOS 50211 HAS SOPS 18888 HAS SOUS 13793 HAS SOUPS 10369 WITH SCORE 10419.211
AT ITER 1054 NEW BEST:: SOT 78227 SOS 50139 HAS SOPS 18726 HAS SOUS 13792 HAS SOUPS 10368 WITH SCORE 10418.139
AT ITER 1058 NEW BEST:: SOT 78398 SOS 50181 HAS SOPS 18713 HAS SOUS 13663 HAS SOUPS 10324 WITH SCORE 10374.181
AT ITER 1059 NEW BEST:: SOT 78311 SOS 50105 HAS SOPS 18605 HAS SOUS 13593 HAS SOUPS 10254 WITH SCORE 10304.105
AT ITER 1063 NEW BEST:: SOT 78339 SOS 49879 HAS SOPS 18379 HAS SOUS 13552 HAS SOUPS 10213 WITH SCORE 10262.879
AT ITER 1071 NEW BEST:: SOT 78323 SOS 49941 HAS SOPS 18401 HAS SOUS 13548 HAS SOUPS 10209 WITH SCORE 10258.941
AT ITER 1085 NEW BEST:: SOT 78328 SOS 49925 HAS SOPS 18399 HAS SOUS 13545 HAS SOUPS 10207 WITH SCORE 10256.925
AT ITER 1098 NEW BEST:: SOT 78350 SOS 49908 HAS SOPS 18334 HAS SOUS 13319 HAS SOUPS 10004 WITH SCORE 10053.908
AT ITER 1129 NEW BEST:: SOT 78301 SOS 49898 HAS SOPS 18337 HAS SOUS 13299 HAS SOUPS 9984 WITH SCORE 10033.898
AT ITER 1134 NEW BEST:: SOT 78293 SOS 49941 HAS SOPS 18334 HAS SOUS 13302 HAS SOUPS 9983 WITH SCORE 10032.941
AT ITER 1154 NEW BEST:: SOT 78296 SOS 49944 HAS SOPS 18286 HAS SOUS 13254 HAS SOUPS 9935 WITH SCORE 9984.944
AT ITER 1162 NEW BEST:: SOT 78316 SOS 49934 HAS SOPS 18276 HAS SOUS 13230 HAS SOUPS 9911 WITH SCORE 9960.934
AT ITER 1176 NEW BEST:: SOT 79011 SOS 50629 HAS SOPS 18715 HAS SOUS 12738 HAS SOUPS 9412 WITH SCORE 9462.629
AT ITER 1191 NEW BEST:: SOT 78983 SOS 50573 HAS SOPS 18659 HAS SOUS 12687 HAS SOUPS 9361 WITH SCORE 9411.573
AT ITER 1208 NEW BEST:: SOT 78982 SOS 50572 HAS SOPS 18659 HAS SOUS 12687 HAS SOUPS 9361 WITH SCORE 9411.572
AT ITER 1212 NEW BEST:: SOT 79031 SOS 50565 HAS SOPS 18652 HAS SOUS 12687 HAS SOUPS 9361 WITH SCORE 9411.565
AT ITER 1215 NEW BEST:: SOT 79054 SOS 50521 HAS SOPS 18652 HAS SOUS 12687 HAS SOUPS 9361 WITH SCORE 9411.521
AT ITER 1222 NEW BEST:: SOT 79069 SOS 50279 HAS SOPS 18645 HAS SOUS 12625 HAS SOUPS 9339 WITH SCORE 9389.279
AT ITER 1233 NEW BEST:: SOT 79052 SOS 50262 HAS SOPS 18628 HAS SOUS 12620 HAS SOUPS 9328 WITH SCORE 9378.262
AT ITER 1239 NEW BEST:: SOT 79052 SOS 50242 HAS SOPS 18583 HAS SOUS 12600 HAS SOUPS 9308 WITH SCORE 9358.242
AT ITER 1248 NEW BEST:: SOT 79178 SOS 50290 HAS SOPS 18551 HAS SOUS 12544 HAS SOUPS 9252 WITH SCORE 9302.29
AT ITER 1272 NEW BEST:: SOT 79145 SOS 50257 HAS SOPS 18386 HAS SOUS 12544 HAS SOUPS 9219 WITH SCORE 9269.257
AT ITER 1299 NEW BEST:: SOT 79178 SOS 50308 HAS SOPS 18437 HAS SOUS 12490 HAS SOUPS 9180 WITH SCORE 9230.308
AT ITER 1306 NEW BEST:: SOT 78607 SOS 50026 HAS SOPS 18412 HAS SOUS 12510 HAS SOUPS 9155 WITH SCORE 9205.026
AT ITER 1313 NEW BEST:: SOT 78601 SOS 50026 HAS SOPS 18412 HAS SOUS 12507 HAS SOUPS 9152 WITH SCORE 9202.026
AT ITER 1327 NEW BEST:: SOT 78656 SOS 49950 HAS SOPS 18336 HAS SOUS 12467 HAS SOUPS 9112 WITH SCORE 9161.95
AT ITER 1333 NEW BEST:: SOT 78632 SOS 49965 HAS SOPS 18311 HAS SOUS 12450 HAS SOUPS 9087 WITH SCORE 9136.965
AT ITER 1348 NEW BEST:: SOT 78653 SOS 49972 HAS SOPS 18318 HAS SOUS 12422 HAS SOUPS 9059 WITH SCORE 9108.972
AT ITER 1365 NEW BEST:: SOT 78709 SOS 50007 HAS SOPS 18353 HAS SOUS 12392 HAS SOUPS 9029 WITH SCORE 9079.007
AT ITER 1377 NEW BEST:: SOT 78701 SOS 49991 HAS SOPS 18345 HAS SOUS 12400 HAS SOUPS 9029 WITH SCORE 9078.991
AT ITER 1382 NEW BEST:: SOT 78703 SOS 49989 HAS SOPS 18345 HAS SOUS 12400 HAS SOUPS 9029 WITH SCORE 9078.989
AT ITER 1386 NEW BEST:: SOT 78685 SOS 49963 HAS SOPS 18329 HAS SOUS 12404 HAS SOUPS 9023 WITH SCORE 9072.963
AT ITER 1408 NEW BEST:: SOT 78642 SOS 49958 HAS SOPS 18322 HAS SOUS 12409 HAS SOUPS 9018 WITH SCORE 9067.958
AT ITER 1421 NEW BEST:: SOT 78651 SOS 49939 HAS SOPS 18304 HAS SOUS 12391 HAS SOUPS 9000 WITH SCORE 9049.939
AT ITER 1428 NEW BEST:: SOT 78627 SOS 49899 HAS SOPS 18272 HAS SOUS 12383 HAS SOUPS 8984 WITH SCORE 9033.899
AT ITER 1457 NEW BEST:: SOT 78547 SOS 49862 HAS SOPS 18217 HAS SOUS 12365 HAS SOUPS 8947 WITH SCORE 8996.862
AT ITER 1465 NEW BEST:: SOT 78547 SOS 49653 HAS SOPS 18219 HAS SOUS 12362 HAS SOUPS 8947 WITH SCORE 8996.653
AT ITER 1475 NEW BEST:: SOT 78508 SOS 49641 HAS SOPS 18174 HAS SOUS 12346 HAS SOUPS 8931 WITH SCORE 8980.641
AT ITER 1478 NEW BEST:: SOT 78743 SOS 49876 HAS SOPS 18368 HAS SOUS 12289 HAS SOUPS 8873 WITH SCORE 8922.876
AT ITER 1505 NEW BEST:: SOT 78727 SOS 49860 HAS SOPS 18336 HAS SOUS 12257 HAS SOUPS 8841 WITH SCORE 8890.86
AT ITER 1541 NEW BEST:: SOT 78731 SOS 49854 HAS SOPS 18330 HAS SOUS 12255 HAS SOUPS 8839 WITH SCORE 8888.854
AT ITER 1560 NEW BEST:: SOT 78775 SOS 49567 HAS SOPS 17858 HAS SOUS 12206 HAS SOUPS 8728 WITH SCORE 8777.567
AT ITER 1563 NEW BEST:: SOT 78793 SOS 49675 HAS SOPS 17858 HAS SOUS 12206 HAS SOUPS 8710 WITH SCORE 8759.675
AT ITER 1565 NEW BEST:: SOT 78718 SOS 49598 HAS SOPS 17742 HAS SOUS 12166 HAS SOUPS 8670 WITH SCORE 8719.598
AT ITER 1572 NEW BEST:: SOT 78785 SOS 49625 HAS SOPS 17753 HAS SOUS 12135 HAS SOUPS 8639 WITH SCORE 8688.625
AT ITER 1579 NEW BEST:: SOT 78775 SOS 49620 HAS SOPS 17743 HAS SOUS 12125 HAS SOUPS 8629 WITH SCORE 8678.62
AT ITER 1582 NEW BEST:: SOT 78775 SOS 49579 HAS SOPS 17702 HAS SOUS 12084 HAS SOUPS 8588 WITH SCORE 8637.579
AT ITER 1604 NEW BEST:: SOT 78761 SOS 49596 HAS SOPS 17755 HAS SOUS 12072 HAS SOUPS 8585 WITH SCORE 8634.596
AT ITER 1605 NEW BEST:: SOT 78756 SOS 49591 HAS SOPS 17750 HAS SOUS 12067 HAS SOUPS 8580 WITH SCORE 8629.591
AT ITER 1610 NEW BEST:: SOT 78756 SOS 49323 HAS SOPS 17750 HAS SOUS 12063 HAS SOUPS 8580 WITH SCORE 8629.323
AT ITER 1612 NEW BEST:: SOT 78750 SOS 49273 HAS SOPS 17871 HAS SOUS 12057 HAS SOUPS 8574 WITH SCORE 8623.273
AT ITER 1623 NEW BEST:: SOT 78756 SOS 49229 HAS SOPS 17855 HAS SOUS 12057 HAS SOUPS 8574 WITH SCORE 8623.229
AT ITER 1639 NEW BEST:: SOT 78437 SOS 48910 HAS SOPS 17855 HAS SOUS 11991 HAS SOUPS 8563 WITH SCORE 8611.91
AT ITER 1644 NEW BEST:: SOT 78433 SOS 48906 HAS SOPS 17849 HAS SOUS 11974 HAS SOUPS 8546 WITH SCORE 8594.906
AT ITER 1647 NEW BEST:: SOT 78431 SOS 49004 HAS SOPS 17981 HAS SOUS 11932 HAS SOUPS 8521 WITH SCORE 8570.004
AT ITER 1659 NEW BEST:: SOT 78443 SOS 49831 HAS SOPS 17961 HAS SOUS 11926 HAS SOUPS 8504 WITH SCORE 8553.831
AT ITER 1670 NEW BEST:: SOT 78423 SOS 49821 HAS SOPS 17951 HAS SOUS 11923 HAS SOUPS 8501 WITH SCORE 8550.821
AT ITER 1673 NEW BEST:: SOT 78423 SOS 49436 HAS SOPS 17951 HAS SOUS 11918 HAS SOUPS 8501 WITH SCORE 8550.436
AT ITER 1694 NEW BEST:: SOT 78405 SOS 49512 HAS SOPS 17915 HAS SOUS 11909 HAS SOUPS 8477 WITH SCORE 8526.512
AT ITER 1715 NEW BEST:: SOT 78401 SOS 49508 HAS SOPS 17912 HAS SOUS 11905 HAS SOUPS 8474 WITH SCORE 8523.508
AT ITER 1717 NEW BEST:: SOT 78406 SOS 49495 HAS SOPS 17926 HAS SOUS 11881 HAS SOUPS 8450 WITH SCORE 8499.495
AT ITER 1744 NEW BEST:: SOT 78472 SOS 47323 HAS SOPS 17962 HAS SOUS 11845 HAS SOUPS 8450 WITH SCORE 8497.323
AT ITER 1761 NEW BEST:: SOT 78466 SOS 47317 HAS SOPS 17944 HAS SOUS 11837 HAS SOUPS 8442 WITH SCORE 8489.317
AT ITER 1783 NEW BEST:: SOT 78482 SOS 47286 HAS SOPS 17928 HAS SOUS 11821 HAS SOUPS 8442 WITH SCORE 8489.286
AT ITER 1793 NEW BEST:: SOT 78480 SOS 47280 HAS SOPS 17922 HAS SOUS 11808 HAS SOUPS 8429 WITH SCORE 8476.28
AT ITER 1797 NEW BEST:: SOT 78475 SOS 47278 HAS SOPS 17918 HAS SOUS 11806 HAS SOUPS 8427 WITH SCORE 8474.278
AT ITER 1808 NEW BEST:: SOT 78475 SOS 47275 HAS SOPS 17918 HAS SOUS 11803 HAS SOUPS 8427 WITH SCORE 8474.275
AT ITER 1809 NEW BEST:: SOT 78394 SOS 47268 HAS SOPS 17956 HAS SOUS 11787 HAS SOUPS 8411 WITH SCORE 8458.268
AT ITER 1810 NEW BEST:: SOT 78384 SOS 47258 HAS SOPS 17942 HAS SOUS 11757 HAS SOUPS 8381 WITH SCORE 8428.258
AT ITER 1830 NEW BEST:: SOT 78361 SOS 47248 HAS SOPS 17909 HAS SOUS 11724 HAS SOUPS 8348 WITH SCORE 8395.248
AT ITER 1855 NEW BEST:: SOT 78348 SOS 47230 HAS SOPS 17887 HAS SOUS 11701 HAS SOUPS 8321 WITH SCORE 8368.23
AT ITER 1868 NEW BEST:: SOT 78342 SOS 47226 HAS SOPS 17875 HAS SOUS 11686 HAS SOUPS 8314 WITH SCORE 8361.226
AT ITER 1877 NEW BEST:: SOT 78332 SOS 47218 HAS SOPS 17867 HAS SOUS 11684 HAS SOUPS 8312 WITH SCORE 8359.218
AT ITER 1885 NEW BEST:: SOT 78320 SOS 47216 HAS SOPS 17865 HAS SOUS 11651 HAS SOUPS 8279 WITH SCORE 8326.216
AT ITER 1887 NEW BEST:: SOT 78034 SOS 46954 HAS SOPS 17875 HAS SOUS 11608 HAS SOUPS 8279 WITH SCORE 8325.954
AT ITER 1889 NEW BEST:: SOT 78148 SOS 46966 HAS SOPS 17861 HAS SOUS 11596 HAS SOUPS 8267 WITH SCORE 8313.966
AT ITER 1891 NEW BEST:: SOT 78131 SOS 46928 HAS SOPS 17773 HAS SOUS 11551 HAS SOUPS 8222 WITH SCORE 8268.928
AT ITER 1895 NEW BEST:: SOT 78126 SOS 46927 HAS SOPS 17769 HAS SOUS 11548 HAS SOUPS 8219 WITH SCORE 8265.927
AT ITER 1917 NEW BEST:: SOT 78126 SOS 46927 HAS SOPS 17781 HAS SOUS 11540 HAS SOUPS 8211 WITH SCORE 8257.927
AT ITER 1932 NEW BEST:: SOT 78080 SOS 47023 HAS SOPS 17877 HAS SOUS 11516 HAS SOUPS 8187 WITH SCORE 8234.023
AT ITER 1986 NEW BEST:: SOT 78087 SOS 47010 HAS SOPS 17930 HAS SOUS 11505 HAS SOUPS 8176 WITH SCORE 8223.01
AT ITER 1991 NEW BEST:: SOT 78073 SOS 46982 HAS SOPS 17902 HAS SOUS 11498 HAS SOUPS 8169 WITH SCORE 8215.982
AT ITER 1993 NEW BEST:: SOT 78091 SOS 47000 HAS SOPS 17868 HAS SOUS 11464 HAS SOUPS 8135 WITH SCORE 8182.0
AT ITER 2000 NEW BEST:: SOT 78102 SOS 46926 HAS SOPS 17794 HAS SOUS 11427 HAS SOUPS 8098 WITH SCORE 8144.926
AT ITER 2005 NEW BEST:: SOT 78082 SOS 46838 HAS SOPS 17706 HAS SOUS 11378 HAS SOUPS 8049 WITH SCORE 8095.838
AT ITER 2008 NEW BEST:: SOT 78075 SOS 46830 HAS SOPS 17692 HAS SOUS 11364 HAS SOUPS 8035 WITH SCORE 8081.83
AT ITER 2052 NEW BEST:: SOT 76731 SOS 46750 HAS SOPS 17628 HAS SOUS 11289 HAS SOUPS 7975 WITH SCORE 8021.75
AT ITER 2060 NEW BEST:: SOT 76731 SOS 46824 HAS SOPS 17625 HAS SOUS 11288 HAS SOUPS 7973 WITH SCORE 8019.824
AT ITER 2080 NEW BEST:: SOT 76733 SOS 46761 HAS SOPS 17581 HAS SOUS 11235 HAS SOUPS 7927 WITH SCORE 7973.761
AT ITER 2130 NEW BEST:: SOT 76732 SOS 46760 HAS SOPS 17579 HAS SOUS 11234 HAS SOUPS 7925 WITH SCORE 7971.76
AT ITER 2162 NEW BEST:: SOT 76611 SOS 46660 HAS SOPS 17569 HAS SOUS 11218 HAS SOUPS 7909 WITH SCORE 7955.66
AT ITER 2176 NEW BEST:: SOT 76598 SOS 46661 HAS SOPS 17478 HAS SOUS 11206 HAS SOUPS 7897 WITH SCORE 7943.661
AT ITER 2183 NEW BEST:: SOT 76587 SOS 46628 HAS SOPS 17456 HAS SOUS 11217 HAS SOUPS 7897 WITH SCORE 7943.628
AT ITER 2199 NEW BEST:: SOT 76585 SOS 46632 HAS SOPS 17458 HAS SOUS 11208 HAS SOUPS 7888 WITH SCORE 7934.632
AT ITER 2211 NEW BEST:: SOT 76482 SOS 46728 HAS SOPS 17452 HAS SOUS 11240 HAS SOUPS 7886 WITH SCORE 7932.728
AT ITER 2219 NEW BEST:: SOT 76422 SOS 46690 HAS SOPS 17414 HAS SOUS 11246 HAS SOUPS 7870 WITH SCORE 7916.69
AT ITER 2224 NEW BEST:: SOT 76404 SOS 46692 HAS SOPS 17433 HAS SOUS 11182 HAS SOUPS 7814 WITH SCORE 7860.692
AT ITER 2229 NEW BEST:: SOT 76402 SOS 46688 HAS SOPS 17429 HAS SOUS 11177 HAS SOUPS 7810 WITH SCORE 7856.688
AT ITER 2230 NEW BEST:: SOT 76392 SOS 46678 HAS SOPS 17429 HAS SOUS 11177 HAS SOUPS 7810 WITH SCORE 7856.678
AT ITER 2238 NEW BEST:: SOT 76377 SOS 46728 HAS SOPS 17439 HAS SOUS 11160 HAS SOUPS 7793 WITH SCORE 7839.728
AT ITER 2257 NEW BEST:: SOT 76368 SOS 46638 HAS SOPS 17349 HAS SOUS 11102 HAS SOUPS 7725 WITH SCORE 7771.638
AT ITER 2293 NEW BEST:: SOT 76360 SOS 46634 HAS SOPS 17344 HAS SOUS 11097 HAS SOUPS 7723 WITH SCORE 7769.634
AT ITER 2333 NEW BEST:: SOT 76341 SOS 46605 HAS SOPS 17315 HAS SOUS 11069 HAS SOUPS 7702 WITH SCORE 7748.605
AT ITER 2369 NEW BEST:: SOT 76364 SOS 46686 HAS SOPS 17028 HAS SOUS 11068 HAS SOUPS 7701 WITH SCORE 7747.686
AT ITER 2388 NEW BEST:: SOT 76355 SOS 46638 HAS SOPS 17016 HAS SOUS 11065 HAS SOUPS 7695 WITH SCORE 7741.638
AT ITER 2407 NEW BEST:: SOT 76355 SOS 46637 HAS SOPS 17014 HAS SOUS 11063 HAS SOUPS 7693 WITH SCORE 7739.637
AT ITER 2415 NEW BEST:: SOT 76346 SOS 46627 HAS SOPS 17012 HAS SOUS 11062 HAS SOUPS 7692 WITH SCORE 7738.627
AT ITER 2439 NEW BEST:: SOT 76337 SOS 46676 HAS SOPS 17010 HAS SOUS 11061 HAS SOUPS 7690 WITH SCORE 7736.676
AT ITER 2445 NEW BEST:: SOT 76337 SOS 46654 HAS SOPS 16988 HAS SOUS 11039 HAS SOUPS 7668 WITH SCORE 7714.654
AT ITER 2465 NEW BEST:: SOT 76325 SOS 46652 HAS SOPS 16986 HAS SOUS 11029 HAS SOUPS 7658 WITH SCORE 7704.652
AT ITER 2492 NEW BEST:: SOT 76330 SOS 46652 HAS SOPS 16986 HAS SOUS 11024 HAS SOUPS 7653 WITH SCORE 7699.652
AT ITER 2505 NEW BEST:: SOT 76417 SOS 46783 HAS SOPS 17064 HAS SOUS 10974 HAS SOUPS 7628 WITH SCORE 7674.783
AT ITER 2554 NEW BEST:: SOT 76506 SOS 46877 HAS SOPS 17158 HAS SOUS 10957 HAS SOUPS 7611 WITH SCORE 7657.877
AT ITER 2610 NEW BEST:: SOT 76530 SOS 46905 HAS SOPS 17206 HAS SOUS 10968 HAS SOUPS 7609 WITH SCORE 7655.905
AT ITER 2635 NEW BEST:: SOT 76516 SOS 46877 HAS SOPS 17151 HAS SOUS 10974 HAS SOUPS 7606 WITH SCORE 7652.877
AT ITER 2646 NEW BEST:: SOT 76512 SOS 46863 HAS SOPS 17127 HAS SOUS 10964 HAS SOUPS 7596 WITH SCORE 7642.863
AT ITER 2656 NEW BEST:: SOT 76581 SOS 46896 HAS SOPS 17080 HAS SOUS 10954 HAS SOUPS 7586 WITH SCORE 7632.896
AT ITER 2658 NEW BEST:: SOT 76567 SOS 46992 HAS SOPS 17070 HAS SOUS 10954 HAS SOUPS 7581 WITH SCORE 7627.992
AT ITER 2668 NEW BEST:: SOT 76515 SOS 47200 HAS SOPS 17142 HAS SOUS 10904 HAS SOUPS 7531 WITH SCORE 7578.2
AT ITER 2677 NEW BEST:: SOT 76500 SOS 47185 HAS SOPS 17127 HAS SOUS 10874 HAS SOUPS 7501 WITH SCORE 7548.185
AT ITER 2702 NEW BEST:: SOT 76589 SOS 47205 HAS SOPS 17300 HAS SOUS 10860 HAS SOUPS 7487 WITH SCORE 7534.205
AT ITER 2709 NEW BEST:: SOT 76579 SOS 47348 HAS SOPS 17294 HAS SOUS 10856 HAS SOUPS 7477 WITH SCORE 7524.348
AT ITER 2715 NEW BEST:: SOT 76604 SOS 47323 HAS SOPS 17294 HAS SOUS 10831 HAS SOUPS 7477 WITH SCORE 7524.323
AT ITER 2739 NEW BEST:: SOT 76583 SOS 47281 HAS SOPS 17252 HAS SOUS 10822 HAS SOUPS 7468 WITH SCORE 7515.281
AT ITER 2748 NEW BEST:: SOT 76468 SOS 47713 HAS SOPS 17246 HAS SOUS 10815 HAS SOUPS 7461 WITH SCORE 7508.713
AT ITER 2772 NEW BEST:: SOT 76465 SOS 47682 HAS SOPS 17202 HAS SOUS 10809 HAS SOUPS 7455 WITH SCORE 7502.682
AT ITER 2793 NEW BEST:: SOT 76425 SOS 47650 HAS SOPS 17164 HAS SOUS 10804 HAS SOUPS 7444 WITH SCORE 7491.65
AT ITER 2802 NEW BEST:: SOT 76409 SOS 47618 HAS SOPS 17132 HAS SOUS 10760 HAS SOUPS 7400 WITH SCORE 7447.618
AT ITER 2826 NEW BEST:: SOT 76435 SOS 47579 HAS SOPS 17046 HAS SOUS 10747 HAS SOUPS 7387 WITH SCORE 7434.579
AT ITER 2832 NEW BEST:: SOT 76263 SOS 47407 HAS SOPS 16881 HAS SOUS 10719 HAS SOUPS 7359 WITH SCORE 7406.407
AT ITER 2861 NEW BEST:: SOT 76182 SOS 47366 HAS SOPS 16840 HAS SOUS 10667 HAS SOUPS 7307 WITH SCORE 7354.366
AT ITER 2894 NEW BEST:: SOT 76177 SOS 47361 HAS SOPS 16840 HAS SOUS 10662 HAS SOUPS 7307 WITH SCORE 7354.361
AT ITER 2895 NEW BEST:: SOT 76182 SOS 47338 HAS SOPS 16916 HAS SOUS 10661 HAS SOUPS 7306 WITH SCORE 7353.338
AT ITER 2925 NEW BEST:: SOT 76176 SOS 47332 HAS SOPS 16910 HAS SOUS 10658 HAS SOUPS 7303 WITH SCORE 7350.332
AT ITER 3005 NEW BEST:: SOT 75844 SOS 47148 HAS SOPS 16910 HAS SOUS 10674 HAS SOUPS 7303 WITH SCORE 7350.148
AT ITER 3006 NEW BEST:: SOT 75842 SOS 47146 HAS SOPS 16906 HAS SOUS 10672 HAS SOUPS 7299 WITH SCORE 7346.146
AT ITER 3011 NEW BEST:: SOT 75765 SOS 47097 HAS SOPS 16871 HAS SOUS 10679 HAS SOUPS 7279 WITH SCORE 7326.097
AT ITER 3028 NEW BEST:: SOT 75764 SOS 47096 HAS SOPS 16870 HAS SOUS 10653 HAS SOUPS 7253 WITH SCORE 7300.096
AT ITER 3043 NEW BEST:: SOT 75761 SOS 47090 HAS SOPS 16864 HAS SOUS 10650 HAS SOUPS 7250 WITH SCORE 7297.09
AT ITER 3047 NEW BEST:: SOT 75725 SOS 47050 HAS SOPS 16814 HAS SOUS 10608 HAS SOUPS 7208 WITH SCORE 7255.05
AT ITER 3049 NEW BEST:: SOT 75719 SOS 47040 HAS SOPS 16806 HAS SOUS 10608 HAS SOUPS 7208 WITH SCORE 7255.04
AT ITER 3144 NEW BEST:: SOT 75714 SOS 47038 HAS SOPS 16805 HAS SOUS 10608 HAS SOUPS 7208 WITH SCORE 7255.038
AT ITER 3154 NEW BEST:: SOT 75714 SOS 47032 HAS SOPS 16802 HAS SOUS 10608 HAS SOUPS 7208 WITH SCORE 7255.032
AT ITER 3155 NEW BEST:: SOT 75714 SOS 46924 HAS SOPS 16694 HAS SOUS 10554 HAS SOUPS 7154 WITH SCORE 7200.924
AT ITER 3163 NEW BEST:: SOT 75714 SOS 46889 HAS SOPS 16659 HAS SOUS 10551 HAS SOUPS 7151 WITH SCORE 7197.889
AT ITER 3170 NEW BEST:: SOT 75824 SOS 46914 HAS SOPS 16633 HAS SOUS 10488 HAS SOUPS 7129 WITH SCORE 7175.914
AT ITER 3185 NEW BEST:: SOT 75834 SOS 46924 HAS SOPS 16627 HAS SOUS 10482 HAS SOUPS 7123 WITH SCORE 7169.924
AT ITER 3202 NEW BEST:: SOT 75831 SOS 46918 HAS SOPS 16624 HAS SOUS 10485 HAS SOUPS 7123 WITH SCORE 7169.918
AT ITER 3203 NEW BEST:: SOT 75763 SOS 46899 HAS SOPS 16605 HAS SOUS 10503 HAS SOUPS 7112 WITH SCORE 7158.899
AT ITER 3218 NEW BEST:: SOT 75530 SOS 46658 HAS SOPS 16356 HAS SOUS 10485 HAS SOUPS 7094 WITH SCORE 7140.658
AT ITER 3233 NEW BEST:: SOT 75521 SOS 46652 HAS SOPS 16350 HAS SOUS 10485 HAS SOUPS 7094 WITH SCORE 7140.652
AT ITER 3318 NEW BEST:: SOT 75413 SOS 47252 HAS SOPS 16332 HAS SOUS 10476 HAS SOUPS 7076 WITH SCORE 7123.252
AT ITER 3334 NEW BEST:: SOT 75398 SOS 47291 HAS SOPS 16325 HAS SOUS 10456 HAS SOUPS 7056 WITH SCORE 7103.291
AT ITER 3337 NEW BEST:: SOT 75411 SOS 47286 HAS SOPS 16325 HAS SOUS 10456 HAS SOUPS 7056 WITH SCORE 7103.286
AT ITER 3339 NEW BEST:: SOT 75424 SOS 47279 HAS SOPS 16318 HAS SOUS 10450 HAS SOUPS 7050 WITH SCORE 7097.279
AT ITER 3342 NEW BEST:: SOT 75424 SOS 47279 HAS SOPS 16308 HAS SOUS 10446 HAS SOUPS 7046 WITH SCORE 7093.279
AT ITER 3347 NEW BEST:: SOT 75412 SOS 47265 HAS SOPS 16292 HAS SOUS 10438 HAS SOUPS 7038 WITH SCORE 7085.265
AT ITER 3395 NEW BEST:: SOT 75409 SOS 47258 HAS SOPS 16281 HAS SOUS 10427 HAS SOUPS 7027 WITH SCORE 7074.258
AT ITER 3427 NEW BEST:: SOT 75409 SOS 47251 HAS SOPS 16274 HAS SOUS 10420 HAS SOUPS 7020 WITH SCORE 7067.251
AT ITER 3429 NEW BEST:: SOT 75401 SOS 47227 HAS SOPS 16318 HAS SOUS 10412 HAS SOUPS 7012 WITH SCORE 7059.227
AT ITER 3457 NEW BEST:: SOT 75401 SOS 47215 HAS SOPS 16306 HAS SOUS 10404 HAS SOUPS 7004 WITH SCORE 7051.215
AT ITER 3470 NEW BEST:: SOT 75373 SOS 47157 HAS SOPS 16223 HAS SOUS 10346 HAS SOUPS 6971 WITH SCORE 7018.157
AT ITER 3511 NEW BEST:: SOT 75230 SOS 47086 HAS SOPS 16213 HAS SOUS 10341 HAS SOUPS 6964 WITH SCORE 7011.086
AT ITER 3558 NEW BEST:: SOT 75234 SOS 47086 HAS SOPS 16211 HAS SOUS 10339 HAS SOUPS 6960 WITH SCORE 7007.086
AT ITER 3566 NEW BEST:: SOT 75222 SOS 46978 HAS SOPS 16103 HAS SOUS 10285 HAS SOUPS 6906 WITH SCORE 6952.978
AT ITER 3571 NEW BEST:: SOT 75210 SOS 46983 HAS SOPS 16093 HAS SOUS 10272 HAS SOUPS 6893 WITH SCORE 6939.983
AT ITER 3614 NEW BEST:: SOT 75210 SOS 46977 HAS SOPS 16089 HAS SOUS 10266 HAS SOUPS 6889 WITH SCORE 6935.977
AT ITER 3713 NEW BEST:: SOT 75275 SOS 47032 HAS SOPS 16134 HAS SOUS 10261 HAS SOUPS 6884 WITH SCORE 6931.032
AT ITER 3812 NEW BEST:: SOT 75225 SOS 47007 HAS SOPS 16109 HAS SOUS 10261 HAS SOUPS 6859 WITH SCORE 6906.007
AT ITER 3834 NEW BEST:: SOT 75230 SOS 46981 HAS SOPS 16083 HAS SOUS 10242 HAS SOUPS 6840 WITH SCORE 6886.981
AT ITER 3845 NEW BEST:: SOT 75242 SOS 46766 HAS SOPS 15943 HAS SOUS 10177 HAS SOUPS 6775 WITH SCORE 6821.766
AT ITER 3933 NEW BEST:: SOT 75237 SOS 46776 HAS SOPS 15943 HAS SOUS 10172 HAS SOUPS 6770 WITH SCORE 6816.776
AT ITER 3955 NEW BEST:: SOT 75176 SOS 46749 HAS SOPS 15977 HAS SOUS 10142 HAS SOUPS 6759 WITH SCORE 6805.749
AT ITER 3991 NEW BEST:: SOT 75274 SOS 46792 HAS SOPS 15940 HAS SOUS 10139 HAS SOUPS 6756 WITH SCORE 6802.792
AT ITER 4024 NEW BEST:: SOT 75255 SOS 46796 HAS SOPS 15930 HAS SOUS 10124 HAS SOUPS 6739 WITH SCORE 6785.796
AT ITER 4037 NEW BEST:: SOT 75566 SOS 45657 HAS SOPS 15930 HAS SOUS 10108 HAS SOUPS 6739 WITH SCORE 6784.657
AT ITER 4054 NEW BEST:: SOT 75563 SOS 45654 HAS SOPS 15927 HAS SOUS 10105 HAS SOUPS 6736 WITH SCORE 6781.654
AT ITER 4086 NEW BEST:: SOT 75578 SOS 45579 HAS SOPS 15927 HAS SOUS 10099 HAS SOUPS 6736 WITH SCORE 6781.579
AT ITER 4092 NEW BEST:: SOT 75572 SOS 45549 HAS SOPS 15867 HAS SOUS 10075 HAS SOUPS 6712 WITH SCORE 6757.549
AT ITER 4180 NEW BEST:: SOT 75572 SOS 45527 HAS SOPS 15845 HAS SOUS 10064 HAS SOUPS 6701 WITH SCORE 6746.527
AT ITER 4184 NEW BEST:: SOT 75566 SOS 45527 HAS SOPS 15839 HAS SOUS 10061 HAS SOUPS 6698 WITH SCORE 6743.527
AT ITER 4196 NEW BEST:: SOT 75556 SOS 45521 HAS SOPS 15833 HAS SOUS 10048 HAS SOUPS 6685 WITH SCORE 6730.521
AT ITER 4200 NEW BEST:: SOT 75527 SOS 45521 HAS SOPS 15837 HAS SOUS 10046 HAS SOUPS 6683 WITH SCORE 6728.521
AT ITER 4212 NEW BEST:: SOT 75527 SOS 45441 HAS SOPS 15797 HAS SOUS 10046 HAS SOUPS 6683 WITH SCORE 6728.441
AT ITER 4240 NEW BEST:: SOT 75528 SOS 45908 HAS SOPS 15725 HAS SOUS 10044 HAS SOUPS 6674 WITH SCORE 6719.908
AT ITER 4248 NEW BEST:: SOT 75532 SOS 45912 HAS SOPS 15728 HAS SOUS 10043 HAS SOUPS 6673 WITH SCORE 6718.912
AT ITER 4251 NEW BEST:: SOT 75518 SOS 46092 HAS SOPS 15724 HAS SOUS 10047 HAS SOUPS 6670 WITH SCORE 6716.092
AT ITER 4257 NEW BEST:: SOT 75518 SOS 46080 HAS SOPS 15718 HAS SOUS 10047 HAS SOUPS 6670 WITH SCORE 6716.08
AT ITER 4318 NEW BEST:: SOT 75347 SOS 45909 HAS SOPS 15544 HAS SOUS 10024 HAS SOUPS 6647 WITH SCORE 6692.909
AT ITER 4354 NEW BEST:: SOT 75335 SOS 45873 HAS SOPS 15520 HAS SOUS 10012 HAS SOUPS 6635 WITH SCORE 6680.873
AT ITER 4369 NEW BEST:: SOT 75340 SOS 45863 HAS SOPS 15515 HAS SOUS 10007 HAS SOUPS 6635 WITH SCORE 6680.863
AT ITER 4396 NEW BEST:: SOT 75358 SOS 45860 HAS SOPS 15530 HAS SOUS 9989 HAS SOUPS 6617 WITH SCORE 6662.86
AT ITER 4397 NEW BEST:: SOT 75366 SOS 45864 HAS SOPS 15526 HAS SOUS 9981 HAS SOUPS 6609 WITH SCORE 6654.864
AT ITER 4404 NEW BEST:: SOT 75366 SOS 45852 HAS SOPS 15547 HAS SOUS 9969 HAS SOUPS 6601 WITH SCORE 6646.852
AT ITER 4429 NEW BEST:: SOT 75356 SOS 45846 HAS SOPS 15541 HAS SOUS 9969 HAS SOUPS 6601 WITH SCORE 6646.846
AT ITER 4431 NEW BEST:: SOT 75362 SOS 45831 HAS SOPS 15529 HAS SOUS 9955 HAS SOUPS 6594 WITH SCORE 6639.831
AT ITER 4446 NEW BEST:: SOT 75350 SOS 46001 HAS SOPS 15508 HAS SOUS 9953 HAS SOUPS 6588 WITH SCORE 6634.001
AT ITER 4469 NEW BEST:: SOT 75350 SOS 46001 HAS SOPS 15507 HAS SOUS 9951 HAS SOUPS 6587 WITH SCORE 6633.001
AT ITER 4475 NEW BEST:: SOT 75344 SOS 45981 HAS SOPS 15487 HAS SOUS 9931 HAS SOUPS 6567 WITH SCORE 6612.981
AT ITER 4565 NEW BEST:: SOT 75351 SOS 45981 HAS SOPS 15491 HAS SOUS 9936 HAS SOUPS 6564 WITH SCORE 6609.981
AT ITER 4622 NEW BEST:: SOT 75439 SOS 46069 HAS SOPS 15582 HAS SOUS 9918 HAS SOUPS 6546 WITH SCORE 6592.069
AT ITER 4627 NEW BEST:: SOT 75433 SOS 46065 HAS SOPS 15576 HAS SOUS 9910 HAS SOUPS 6540 WITH SCORE 6586.065
AT ITER 4644 NEW BEST:: SOT 75438 SOS 46061 HAS SOPS 15572 HAS SOUS 9902 HAS SOUPS 6539 WITH SCORE 6585.061
AT ITER 4659 NEW BEST:: SOT 75464 SOS 46054 HAS SOPS 15567 HAS SOUS 9900 HAS SOUPS 6537 WITH SCORE 6583.054
AT ITER 4663 NEW BEST:: SOT 75410 SOS 46751 HAS SOPS 15563 HAS SOUS 9918 HAS SOUPS 6533 WITH SCORE 6579.751
AT ITER 4666 NEW BEST:: SOT 75406 SOS 46737 HAS SOPS 15524 HAS SOUS 9899 HAS SOUPS 6514 WITH SCORE 6560.737
AT ITER 4723 NEW BEST:: SOT 75453 SOS 48299 HAS SOPS 15552 HAS SOUS 9897 HAS SOUPS 6510 WITH SCORE 6558.299
AT ITER 4753 NEW BEST:: SOT 75340 SOS 48181 HAS SOPS 15455 HAS SOUS 9883 HAS SOUPS 6496 WITH SCORE 6544.181
AT ITER 4834 NEW BEST:: SOT 75329 SOS 48171 HAS SOPS 15436 HAS SOUS 9883 HAS SOUPS 6490 WITH SCORE 6538.171
AT ITER 4861 NEW BEST:: SOT 75338 SOS 48158 HAS SOPS 15506 HAS SOUS 9879 HAS SOUPS 6486 WITH SCORE 6534.158
AT ITER 4885 NEW BEST:: SOT 75190 SOS 48031 HAS SOPS 15377 HAS SOUS 9853 HAS SOUPS 6483 WITH SCORE 6531.031
AT ITER 4899 NEW BEST:: SOT 75187 SOS 48016 HAS SOPS 15362 HAS SOUS 9853 HAS SOUPS 6483 WITH SCORE 6531.016
AT ITER 4929 NEW BEST:: SOT 75154 SOS 47996 HAS SOPS 15338 HAS SOUS 9851 HAS SOUPS 6477 WITH SCORE 6524.996
AT ITER 4956 NEW BEST:: SOT 75148 SOS 48016 HAS SOPS 15334 HAS SOUS 9853 HAS SOUPS 6475 WITH SCORE 6523.016
AT ITER 4987 NEW BEST:: SOT 75130 SOS 48010 HAS SOPS 15318 HAS SOUS 9837 HAS SOUPS 6459 WITH SCORE 6507.01
AT ITER 5060 NEW BEST:: SOT 75132 SOS 48014 HAS SOPS 15319 HAS SOUS 9835 HAS SOUPS 6457 WITH SCORE 6505.014
AT ITER 5067 NEW BEST:: SOT 75130 SOS 47997 HAS SOPS 15315 HAS SOUS 9833 HAS SOUPS 6455 WITH SCORE 6502.997
AT ITER 5085 NEW BEST:: SOT 75125 SOS 47993 HAS SOPS 15311 HAS SOUS 9835 HAS SOUPS 6454 WITH SCORE 6501.993
AT ITER 5099 NEW BEST:: SOT 75127 SOS 47993 HAS SOPS 15312 HAS SOUS 9831 HAS SOUPS 6450 WITH SCORE 6497.993
AT ITER 5101 NEW BEST:: SOT 75135 SOS 47982 HAS SOPS 15301 HAS SOUS 9829 HAS SOUPS 6448 WITH SCORE 6495.982
AT ITER 5116 NEW BEST:: SOT 75131 SOS 47970 HAS SOPS 15289 HAS SOUS 9821 HAS SOUPS 6440 WITH SCORE 6487.97
AT ITER 5130 NEW BEST:: SOT 75132 SOS 47969 HAS SOPS 15289 HAS SOUS 9820 HAS SOUPS 6440 WITH SCORE 6487.969
AT ITER 5138 NEW BEST:: SOT 75136 SOS 47972 HAS SOPS 15291 HAS SOUS 9819 HAS SOUPS 6439 WITH SCORE 6486.972
AT ITER 5165 NEW BEST:: SOT 75136 SOS 47970 HAS SOPS 15289 HAS SOUS 9815 HAS SOUPS 6436 WITH SCORE 6483.97
AT ITER 5285 NEW BEST:: SOT 74589 SOS 48931 HAS SOPS 14931 HAS SOUS 9885 HAS SOUPS 6431 WITH SCORE 6479.931
AT ITER 5294 NEW BEST:: SOT 74644 SOS 48947 HAS SOPS 14935 HAS SOUS 9840 HAS SOUPS 6406 WITH SCORE 6454.947
AT ITER 5318 NEW BEST:: SOT 74636 SOS 48931 HAS SOPS 14919 HAS SOUS 9832 HAS SOUPS 6398 WITH SCORE 6446.931
AT ITER 5377 NEW BEST:: SOT 74619 SOS 48918 HAS SOPS 14906 HAS SOUS 9830 HAS SOUPS 6396 WITH SCORE 6444.918
AT ITER 5392 NEW BEST:: SOT 74609 SOS 48907 HAS SOPS 14877 HAS SOUS 9830 HAS SOUPS 6387 WITH SCORE 6435.907
AT ITER 5510 NEW BEST:: SOT 74377 SOS 49156 HAS SOPS 14871 HAS SOUS 9865 HAS SOUPS 6381 WITH SCORE 6430.156
AT ITER 5520 NEW BEST:: SOT 74377 SOS 49141 HAS SOPS 14856 HAS SOUS 9855 HAS SOUPS 6371 WITH SCORE 6420.141
AT ITER 5634 NEW BEST:: SOT 74371 SOS 49135 HAS SOPS 14850 HAS SOUS 9849 HAS SOUPS 6365 WITH SCORE 6414.135
AT ITER 5698 NEW BEST:: SOT 74335 SOS 49191 HAS SOPS 14850 HAS SOUS 9849 HAS SOUPS 6361 WITH SCORE 6410.191
AT ITER 5811 NEW BEST:: SOT 74292 SOS 49143 HAS SOPS 14802 HAS SOUS 9824 HAS SOUPS 6336 WITH SCORE 6385.143
AT ITER 5833 NEW BEST:: SOT 74265 SOS 49118 HAS SOPS 14749 HAS SOUS 9829 HAS SOUPS 6326 WITH SCORE 6375.118
AT ITER 5849 NEW BEST:: SOT 74243 SOS 49118 HAS SOPS 14793 HAS SOUS 9817 HAS SOUPS 6321 WITH SCORE 6370.118
AT ITER 5867 NEW BEST:: SOT 74241 SOS 49120 HAS SOPS 14795 HAS SOUS 9815 HAS SOUPS 6318 WITH SCORE 6367.12
AT ITER 5883 NEW BEST:: SOT 74238 SOS 49113 HAS SOPS 14784 HAS SOUS 9796 HAS SOUPS 6299 WITH SCORE 6348.113
AT ITER 5952 NEW BEST:: SOT 74263 SOS 49137 HAS SOPS 14808 HAS SOUS 9819 HAS SOUPS 6296 WITH SCORE 6345.137
AT ITER 5971 NEW BEST:: SOT 74256 SOS 49116 HAS SOPS 14787 HAS SOUS 9808 HAS SOUPS 6285 WITH SCORE 6334.116
AT ITER 6001 NEW BEST:: SOT 74253 SOS 49110 HAS SOPS 14781 HAS SOUS 9805 HAS SOUPS 6281 WITH SCORE 6330.11
AT ITER 6054 NEW BEST:: SOT 74251 SOS 49108 HAS SOPS 14777 HAS SOUS 9801 HAS SOUPS 6279 WITH SCORE 6328.108
AT ITER 6057 NEW BEST:: SOT 74241 SOS 49093 HAS SOPS 14762 HAS SOUS 9791 HAS SOUPS 6264 WITH SCORE 6313.093
AT ITER 6162 NEW BEST:: SOT 74206 SOS 49423 HAS SOPS 14727 HAS SOUS 9786 HAS SOUPS 6254 WITH SCORE 6303.423
AT ITER 6194 NEW BEST:: SOT 74198 SOS 49451 HAS SOPS 14722 HAS SOUS 9766 HAS SOUPS 6234 WITH SCORE 6283.451
AT ITER 6200 NEW BEST:: SOT 74188 SOS 49443 HAS SOPS 14717 HAS SOUS 9758 HAS SOUPS 6226 WITH SCORE 6275.443
AT ITER 6338 NEW BEST:: SOT 74179 SOS 49456 HAS SOPS 14714 HAS SOUS 9744 HAS SOUPS 6212 WITH SCORE 6261.456
AT ITER 6434 NEW BEST:: SOT 74350 SOS 48710 HAS SOPS 14903 HAS SOUS 9697 HAS SOUPS 6212 WITH SCORE 6260.71
AT ITER 6473 NEW BEST:: SOT 74341 SOS 48707 HAS SOPS 14897 HAS SOUS 9692 HAS SOUPS 6210 WITH SCORE 6258.707
AT ITER 6492 NEW BEST:: SOT 74376 SOS 48742 HAS SOPS 14879 HAS SOUS 9674 HAS SOUPS 6192 WITH SCORE 6240.742
AT ITER 6586 NEW BEST:: SOT 74364 SOS 48730 HAS SOPS 14987 HAS SOUS 9674 HAS SOUPS 6192 WITH SCORE 6240.73
AT ITER 6595 NEW BEST:: SOT 74396 SOS 48686 HAS SOPS 14943 HAS SOUS 9666 HAS SOUPS 6184 WITH SCORE 6232.686
AT ITER 6597 NEW BEST:: SOT 74390 SOS 48680 HAS SOPS 14937 HAS SOUS 9660 HAS SOUPS 6172 WITH SCORE 6220.68
AT ITER 6608 NEW BEST:: SOT 74388 SOS 48774 HAS SOPS 14985 HAS SOUS 9658 HAS SOUPS 6170 WITH SCORE 6218.774
AT ITER 6614 NEW BEST:: SOT 74196 SOS 49478 HAS SOPS 14754 HAS SOUS 9663 HAS SOUPS 6128 WITH SCORE 6177.478
AT ITER 6618 NEW BEST:: SOT 74191 SOS 49448 HAS SOPS 14729 HAS SOUS 9643 HAS SOUPS 6113 WITH SCORE 6162.448
AT ITER 6630 NEW BEST:: SOT 74182 SOS 49430 HAS SOPS 14711 HAS SOUS 9652 HAS SOUPS 6113 WITH SCORE 6162.43
AT ITER 6723 NEW BEST:: SOT 74186 SOS 49429 HAS SOPS 14740 HAS SOUS 9651 HAS SOUPS 6112 WITH SCORE 6161.429
AT ITER 6782 NEW BEST:: SOT 74174 SOS 49453 HAS SOPS 14740 HAS SOUS 9639 HAS SOUPS 6100 WITH SCORE 6149.453
AT ITER 6829 NEW BEST:: SOT 74172 SOS 49451 HAS SOPS 14736 HAS SOUS 9637 HAS SOUPS 6096 WITH SCORE 6145.451
AT ITER 6853 NEW BEST:: SOT 74190 SOS 49297 HAS SOPS 14736 HAS SOUS 9626 HAS SOUPS 6096 WITH SCORE 6145.297
AT ITER 6856 NEW BEST:: SOT 74136 SOS 49243 HAS SOPS 14700 HAS SOUS 9637 HAS SOUPS 6089 WITH SCORE 6138.243
AT ITER 6884 NEW BEST:: SOT 74135 SOS 49241 HAS SOPS 14689 HAS SOUS 9635 HAS SOUPS 6087 WITH SCORE 6136.241
AT ITER 6902 NEW BEST:: SOT 74134 SOS 49238 HAS SOPS 14687 HAS SOUS 9634 HAS SOUPS 6085 WITH SCORE 6134.238
AT ITER 6941 NEW BEST:: SOT 74131 SOS 49229 HAS SOPS 14681 HAS SOUS 9636 HAS SOUPS 6084 WITH SCORE 6133.229
AT ITER 6976 NEW BEST:: SOT 74212 SOS 48539 HAS SOPS 14681 HAS SOUS 9612 HAS SOUPS 6084 WITH SCORE 6132.539
AT ITER 6985 NEW BEST:: SOT 74214 SOS 48538 HAS SOPS 14676 HAS SOUS 9613 HAS SOUPS 6084 WITH SCORE 6132.538
AT ITER 7048 NEW BEST:: SOT 74214 SOS 48508 HAS SOPS 14658 HAS SOUS 9613 HAS SOUPS 6084 WITH SCORE 6132.508
AT ITER 7147 NEW BEST:: SOT 74262 SOS 48564 HAS SOPS 14704 HAS SOUS 9620 HAS SOUPS 6081 WITH SCORE 6129.564
AT ITER 7190 NEW BEST:: SOT 74259 SOS 48558 HAS SOPS 14700 HAS SOUS 9621 HAS SOUPS 6080 WITH SCORE 6128.558
AT ITER 7203 NEW BEST:: SOT 74224 SOS 48588 HAS SOPS 14710 HAS SOUS 9640 HAS SOUPS 6079 WITH SCORE 6127.588
AT ITER 7231 NEW BEST:: SOT 74233 SOS 48597 HAS SOPS 14727 HAS SOUS 9637 HAS SOUPS 6076 WITH SCORE 6124.597
AT ITER 7247 NEW BEST:: SOT 74229 SOS 48595 HAS SOPS 14725 HAS SOUS 9634 HAS SOUPS 6073 WITH SCORE 6121.595
AT ITER 7285 NEW BEST:: SOT 74121 SOS 48538 HAS SOPS 14675 HAS SOUS 9641 HAS SOUPS 6058 WITH SCORE 6106.538
AT ITER 7328 NEW BEST:: SOT 74121 SOS 48538 HAS SOPS 14677 HAS SOUS 9638 HAS SOUPS 6055 WITH SCORE 6103.538
AT ITER 7331 NEW BEST:: SOT 74129 SOS 48494 HAS SOPS 14677 HAS SOUS 9633 HAS SOUPS 6055 WITH SCORE 6103.494
AT ITER 7366 NEW BEST:: SOT 74147 SOS 48476 HAS SOPS 14659 HAS SOUS 9633 HAS SOUPS 6055 WITH SCORE 6103.476
AT ITER 7403 NEW BEST:: SOT 74192 SOS 47906 HAS SOPS 14659 HAS SOUS 9640 HAS SOUPS 6055 WITH SCORE 6102.906
AT ITER 7413 NEW BEST:: SOT 74193 SOS 47904 HAS SOPS 14657 HAS SOUS 9640 HAS SOUPS 6055 WITH SCORE 6102.904
AT ITER 7414 NEW BEST:: SOT 74188 SOS 47898 HAS SOPS 14651 HAS SOUS 9638 HAS SOUPS 6053 WITH SCORE 6100.898
AT ITER 7425 NEW BEST:: SOT 74146 SOS 48144 HAS SOPS 14662 HAS SOUS 9645 HAS SOUPS 6049 WITH SCORE 6097.144
AT ITER 7458 NEW BEST:: SOT 74140 SOS 48138 HAS SOPS 14656 HAS SOUS 9648 HAS SOUPS 6049 WITH SCORE 6097.138
AT ITER 7534 NEW BEST:: SOT 74136 SOS 48120 HAS SOPS 14643 HAS SOUS 9645 HAS SOUPS 6045 WITH SCORE 6093.12
AT ITER 7560 NEW BEST:: SOT 74133 SOS 48113 HAS SOPS 14601 HAS SOUS 9639 HAS SOUPS 6039 WITH SCORE 6087.113
AT ITER 7592 NEW BEST:: SOT 74073 SOS 48057 HAS SOPS 14551 HAS SOUS 9580 HAS SOUPS 5989 WITH SCORE 6037.057
AT ITER 7611 NEW BEST:: SOT 74072 SOS 48056 HAS SOPS 14549 HAS SOUS 9578 HAS SOUPS 5987 WITH SCORE 6035.056
AT ITER 7681 NEW BEST:: SOT 74068 SOS 48054 HAS SOPS 14553 HAS SOUS 9576 HAS SOUPS 5979 WITH SCORE 6027.054
AT ITER 7701 NEW BEST:: SOT 74063 SOS 48049 HAS SOPS 14543 HAS SOUS 9566 HAS SOUPS 5969 WITH SCORE 6017.049
AT ITER 7762 NEW BEST:: SOT 74106 SOS 48059 HAS SOPS 14545 HAS SOUS 9539 HAS SOUPS 5963 WITH SCORE 6011.059
AT ITER 7805 NEW BEST:: SOT 74109 SOS 48061 HAS SOPS 14547 HAS SOUS 9537 HAS SOUPS 5962 WITH SCORE 6010.061
AT ITER 7807 NEW BEST:: SOT 74129 SOS 48065 HAS SOPS 14551 HAS SOUS 9525 HAS SOUPS 5959 WITH SCORE 6007.065
AT ITER 7827 NEW BEST:: SOT 74117 SOS 48061 HAS SOPS 14557 HAS SOUS 9529 HAS SOUPS 5958 WITH SCORE 6006.061
AT ITER 7833 NEW BEST:: SOT 74105 SOS 48049 HAS SOPS 14545 HAS SOUS 9524 HAS SOUPS 5953 WITH SCORE 6001.049
AT ITER 8082 NEW BEST:: SOT 74105 SOS 48037 HAS SOPS 14533 HAS SOUS 9522 HAS SOUPS 5951 WITH SCORE 5999.037
AT ITER 8152 NEW BEST:: SOT 74107 SOS 48023 HAS SOPS 14525 HAS SOUS 9520 HAS SOUPS 5949 WITH SCORE 5997.023
AT ITER 8176 NEW BEST:: SOT 75228 SOS 47991 HAS SOPS 14525 HAS SOUS 9499 HAS SOUPS 5949 WITH SCORE 5996.991
AT ITER 8228 NEW BEST:: SOT 75222 SOS 47985 HAS SOPS 14517 HAS SOUS 9495 HAS SOUPS 5943 WITH SCORE 5990.985
AT ITER 8283 NEW BEST:: SOT 75253 SOS 47982 HAS SOPS 14540 HAS SOUS 9481 HAS SOUPS 5942 WITH SCORE 5989.982
AT ITER 8327 NEW BEST:: SOT 75199 SOS 47936 HAS SOPS 14542 HAS SOUS 9479 HAS SOUPS 5942 WITH SCORE 5989.936
AT ITER 8472 NEW BEST:: SOT 75194 SOS 47931 HAS SOPS 14537 HAS SOUS 9469 HAS SOUPS 5932 WITH SCORE 5979.931
AT ITER 8558 NEW BEST:: SOT 75188 SOS 47914 HAS SOPS 14520 HAS SOUS 9458 HAS SOUPS 5921 WITH SCORE 5968.914
AT ITER 8623 NEW BEST:: SOT 75182 SOS 47916 HAS SOPS 14524 HAS SOUS 9454 HAS SOUPS 5917 WITH SCORE 5964.916
AT ITER 8660 NEW BEST:: SOT 75182 SOS 47912 HAS SOPS 14496 HAS SOUS 9454 HAS SOUPS 5913 WITH SCORE 5960.912
AT ITER 8709 NEW BEST:: SOT 75113 SOS 48146 HAS SOPS 14470 HAS SOUS 9468 HAS SOUPS 5899 WITH SCORE 5947.146
AT ITER 8752 NEW BEST:: SOT 75115 SOS 48144 HAS SOPS 14468 HAS SOUS 9472 HAS SOUPS 5899 WITH SCORE 5947.144
AT ITER 8788 NEW BEST:: SOT 75103 SOS 48134 HAS SOPS 14456 HAS SOUS 9472 HAS SOUPS 5899 WITH SCORE 5947.134
AT ITER 8836 NEW BEST:: SOT 75115 SOS 47865 HAS SOPS 14438 HAS SOUS 9449 HAS SOUPS 5893 WITH SCORE 5940.865
AT ITER 8840 NEW BEST:: SOT 75005 SOS 47833 HAS SOPS 14386 HAS SOUS 9430 HAS SOUPS 5853 WITH SCORE 5900.833
AT ITER 8855 NEW BEST:: SOT 74985 SOS 47817 HAS SOPS 14367 HAS SOUS 9417 HAS SOUPS 5840 WITH SCORE 5887.817
AT ITER 8881 NEW BEST:: SOT 74977 SOS 47813 HAS SOPS 14359 HAS SOUS 9413 HAS SOUPS 5832 WITH SCORE 5879.813
AT ITER 8995 NEW BEST:: SOT 74952 SOS 47795 HAS SOPS 14359 HAS SOUS 9413 HAS SOUPS 5832 WITH SCORE 5879.795
AT ITER 9006 NEW BEST:: SOT 74952 SOS 47775 HAS SOPS 14339 HAS SOUS 9405 HAS SOUPS 5824 WITH SCORE 5871.775
AT ITER 9018 NEW BEST:: SOT 74923 SOS 47732 HAS SOPS 14296 HAS SOUS 9393 HAS SOUPS 5812 WITH SCORE 5859.732
AT ITER 9043 NEW BEST:: SOT 74891 SOS 47722 HAS SOPS 14297 HAS SOUS 9372 HAS SOUPS 5802 WITH SCORE 5849.722
AT ITER 9063 NEW BEST:: SOT 74891 SOS 47720 HAS SOPS 14293 HAS SOUS 9368 HAS SOUPS 5798 WITH SCORE 5845.72
AT ITER 9111 NEW BEST:: SOT 74922 SOS 47756 HAS SOPS 14330 HAS SOUS 9364 HAS SOUPS 5794 WITH SCORE 5841.756
AT ITER 9127 NEW BEST:: SOT 74936 SOS 47769 HAS SOPS 14337 HAS SOUS 9363 HAS SOUPS 5793 WITH SCORE 5840.769
AT ITER 9128 NEW BEST:: SOT 74931 SOS 47764 HAS SOPS 14498 HAS SOUS 9353 HAS SOUPS 5783 WITH SCORE 5830.764
AT ITER 9161 NEW BEST:: SOT 74931 SOS 47761 HAS SOPS 14499 HAS SOUS 9353 HAS SOUPS 5783 WITH SCORE 5830.761
AT ITER 9310 NEW BEST:: SOT 74923 SOS 47749 HAS SOPS 14491 HAS SOUS 9349 HAS SOUPS 5775 WITH SCORE 5822.749
AT ITER 9390 NEW BEST:: SOT 74914 SOS 47743 HAS SOPS 14478 HAS SOUS 9339 HAS SOUPS 5765 WITH SCORE 5812.743
AT ITER 9403 NEW BEST:: SOT 74031 SOS 47307 HAS SOPS 14478 HAS SOUS 9334 HAS SOUPS 5765 WITH SCORE 5812.307
AT ITER 9438 NEW BEST:: SOT 74034 SOS 47305 HAS SOPS 14473 HAS SOUS 9334 HAS SOUPS 5765 WITH SCORE 5812.305
AT ITER 9487 NEW BEST:: SOT 74032 SOS 47303 HAS SOPS 14473 HAS SOUS 9333 HAS SOUPS 5765 WITH SCORE 5812.303
AT ITER 9568 NEW BEST:: SOT 74028 SOS 47297 HAS SOPS 14468 HAS SOUS 9330 HAS SOUPS 5762 WITH SCORE 5809.297
AT ITER 9582 NEW BEST:: SOT 73941 SOS 47464 HAS SOPS 14460 HAS SOUS 9326 HAS SOUPS 5754 WITH SCORE 5801.464
AT ITER 9592 NEW BEST:: SOT 73876 SOS 47397 HAS SOPS 14391 HAS SOUS 9326 HAS SOUPS 5754 WITH SCORE 5801.397
AT ITER 9677 NEW BEST:: SOT 73889 SOS 47395 HAS SOPS 14354 HAS SOUS 9319 HAS SOUPS 5747 WITH SCORE 5794.395
AT ITER 9724 NEW BEST:: SOT 73866 SOS 47369 HAS SOPS 14328 HAS SOUS 9311 HAS SOUPS 5739 WITH SCORE 5786.369
AT ITER 9803 NEW BEST:: SOT 73867 SOS 47367 HAS SOPS 14327 HAS SOUS 9310 HAS SOUPS 5739 WITH SCORE 5786.367
AT ITER 9936 NEW BEST:: SOT 73839 SOS 47389 HAS SOPS 14323 HAS SOUS 9317 HAS SOUPS 5733 WITH SCORE 5780.389
AT ITER 9941 NEW BEST:: SOT 73836 SOS 47372 HAS SOPS 14313 HAS SOUS 9314 HAS SOUPS 5730 WITH SCORE 5777.372
AT ITER 9945 NEW BEST:: SOT 73833 SOS 47371 HAS SOPS 14311 HAS SOUS 9311 HAS SOUPS 5728 WITH SCORE 5775.371
AT ITER 9974 NEW BEST:: SOT 73849 SOS 47347 HAS SOPS 14255 HAS SOUS 9303 HAS SOUPS 5720 WITH SCORE 5767.347
AT ITER 9981 NEW BEST:: SOT 73837 SOS 47367 HAS SOPS 14255 HAS SOUS 9303 HAS SOUPS 5716 WITH SCORE 5763.367
STATE_SPACE STATES 248829948 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 21 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 27853023080 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678349203981

--------------------
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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudDeployment-PT-5a"
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 CloudDeployment-PT-5a, 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 r075-smll-167814401000416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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