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.r331-tall-167889204300328.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 Raft-PT-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204300328
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 496K
-rw-r--r-- 1 mcc users 6.6K Feb 26 17:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 26 17:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 17:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 17:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.5K Feb 26 17:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 17:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 17:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 17:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 89K 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 1679138255052

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=Raft-PT-06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 11:17:36] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 11:17:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 11:17:37] [INFO ] Load time of PNML (sax parser for PT used): 61 ms
[2023-03-18 11:17:37] [INFO ] Transformed 188 places.
[2023-03-18 11:17:37] [INFO ] Transformed 332 transitions.
[2023-03-18 11:17:37] [INFO ] Found NUPN structural information;
[2023-03-18 11:17:37] [INFO ] Parsed PT model containing 188 places and 332 transitions and 1231 arcs in 140 ms.
[2023-03-18 11:17:37] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 188 places, 332 transitions and 1231 arcs took 10 ms.
Total runtime 405 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 06
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: 188 places, 332 transitions, 1231 arcs.
AT ITER 0 NEW BEST:: SOT 54322 SOS 35622 HAS SOPS 35598 HAS SOUS 28141 HAS SOUPS 28135 WITH SCORE 28170.622
AT ITER 8 NEW BEST:: SOT 53090 SOS 34386 HAS SOPS 34360 HAS SOUS 26954 HAS SOUPS 26947 WITH SCORE 26981.386
AT ITER 9 NEW BEST:: SOT 52862 SOS 34190 HAS SOPS 34144 HAS SOUS 26734 HAS SOUPS 26708 WITH SCORE 26742.19
AT ITER 15 NEW BEST:: SOT 52862 SOS 34179 HAS SOPS 34133 HAS SOUS 26711 HAS SOUPS 26685 WITH SCORE 26719.179
AT ITER 16 NEW BEST:: SOT 52690 SOS 34151 HAS SOPS 34086 HAS SOUS 26657 HAS SOUPS 26614 WITH SCORE 26648.151
AT ITER 17 NEW BEST:: SOT 52606 SOS 34055 HAS SOPS 33981 HAS SOUS 26563 HAS SOUPS 26513 WITH SCORE 26547.055
AT ITER 19 NEW BEST:: SOT 52412 SOS 33841 HAS SOPS 33749 HAS SOUS 26330 HAS SOUPS 26280 WITH SCORE 26313.841
AT ITER 21 NEW BEST:: SOT 51476 SOS 33654 HAS SOPS 33005 HAS SOUS 25788 HAS SOUPS 25674 WITH SCORE 25707.654
AT ITER 22 NEW BEST:: SOT 51182 SOS 33472 HAS SOPS 32949 HAS SOUS 25642 HAS SOUPS 25521 WITH SCORE 25554.472
AT ITER 24 NEW BEST:: SOT 51182 SOS 33460 HAS SOPS 32937 HAS SOUS 25599 HAS SOUPS 25478 WITH SCORE 25511.46
AT ITER 25 NEW BEST:: SOT 51154 SOS 33404 HAS SOPS 32881 HAS SOUS 25571 HAS SOUPS 25450 WITH SCORE 25483.404
AT ITER 26 NEW BEST:: SOT 51110 SOS 33301 HAS SOPS 32774 HAS SOUS 25411 HAS SOUPS 25290 WITH SCORE 25323.301
AT ITER 27 NEW BEST:: SOT 50906 SOS 32913 HAS SOPS 32373 HAS SOUS 25011 HAS SOUPS 24890 WITH SCORE 24922.913
AT ITER 29 NEW BEST:: SOT 49280 SOS 33497 HAS SOPS 30760 HAS SOUS 24260 HAS SOUPS 24000 WITH SCORE 24033.497
AT ITER 31 NEW BEST:: SOT 49275 SOS 33462 HAS SOPS 30725 HAS SOUS 24259 HAS SOUPS 23999 WITH SCORE 24032.462
AT ITER 32 NEW BEST:: SOT 48999 SOS 33140 HAS SOPS 30311 HAS SOUS 23880 HAS SOUPS 23585 WITH SCORE 23618.14
AT ITER 37 NEW BEST:: SOT 48971 SOS 33067 HAS SOPS 30238 HAS SOUS 23807 HAS SOUPS 23512 WITH SCORE 23545.067
AT ITER 40 NEW BEST:: SOT 48942 SOS 32976 HAS SOPS 30147 HAS SOUS 23716 HAS SOUPS 23421 WITH SCORE 23453.976
AT ITER 44 NEW BEST:: SOT 49010 SOS 32971 HAS SOPS 30142 HAS SOUS 23656 HAS SOUPS 23361 WITH SCORE 23393.971
AT ITER 45 NEW BEST:: SOT 49010 SOS 32821 HAS SOPS 30014 HAS SOUS 23656 HAS SOUPS 23361 WITH SCORE 23393.821
AT ITER 49 NEW BEST:: SOT 49010 SOS 32683 HAS SOPS 29876 HAS SOUS 23633 HAS SOUPS 23338 WITH SCORE 23370.683
AT ITER 53 NEW BEST:: SOT 48742 SOS 32331 HAS SOPS 29586 HAS SOUS 23350 HAS SOUPS 23052 WITH SCORE 23084.331
AT ITER 54 NEW BEST:: SOT 48742 SOS 32331 HAS SOPS 29578 HAS SOUS 23346 HAS SOUPS 23048 WITH SCORE 23080.331
AT ITER 55 NEW BEST:: SOT 48742 SOS 32334 HAS SOPS 29521 HAS SOUS 23336 HAS SOUPS 23038 WITH SCORE 23070.334
AT ITER 58 NEW BEST:: SOT 48568 SOS 32229 HAS SOPS 29505 HAS SOUS 23221 HAS SOUPS 22930 WITH SCORE 22962.229
AT ITER 59 NEW BEST:: SOT 48544 SOS 32160 HAS SOPS 29457 HAS SOUS 23173 HAS SOUPS 22882 WITH SCORE 22914.16
AT ITER 62 NEW BEST:: SOT 48530 SOS 32126 HAS SOPS 29429 HAS SOUS 23172 HAS SOUPS 22854 WITH SCORE 22886.126
AT ITER 69 NEW BEST:: SOT 47956 SOS 31485 HAS SOPS 28964 HAS SOUS 22624 HAS SOUPS 22306 WITH SCORE 22337.485
AT ITER 71 NEW BEST:: SOT 47956 SOS 31482 HAS SOPS 28961 HAS SOUS 22621 HAS SOUPS 22303 WITH SCORE 22334.482
AT ITER 73 NEW BEST:: SOT 47871 SOS 31326 HAS SOPS 28798 HAS SOUS 22505 HAS SOUPS 22187 WITH SCORE 22218.326
AT ITER 75 NEW BEST:: SOT 47673 SOS 31318 HAS SOPS 28831 HAS SOUS 22431 HAS SOUPS 22113 WITH SCORE 22144.318
AT ITER 76 NEW BEST:: SOT 47646 SOS 30857 HAS SOPS 28370 HAS SOUS 22159 HAS SOUPS 21841 WITH SCORE 21871.857
AT ITER 77 NEW BEST:: SOT 47641 SOS 30822 HAS SOPS 28335 HAS SOUS 22159 HAS SOUPS 21841 WITH SCORE 21871.822
AT ITER 80 NEW BEST:: SOT 47597 SOS 30773 HAS SOPS 28280 HAS SOUS 22104 HAS SOUPS 21786 WITH SCORE 21816.773
AT ITER 82 NEW BEST:: SOT 47591 SOS 30767 HAS SOPS 28274 HAS SOUS 22098 HAS SOUPS 21780 WITH SCORE 21810.767
AT ITER 84 NEW BEST:: SOT 47591 SOS 30706 HAS SOPS 28213 HAS SOUS 22049 HAS SOUPS 21731 WITH SCORE 21761.706
AT ITER 85 NEW BEST:: SOT 45388 SOS 30607 HAS SOPS 26563 HAS SOUS 20924 HAS SOUPS 20473 WITH SCORE 20503.607
AT ITER 86 NEW BEST:: SOT 45334 SOS 30500 HAS SOPS 26468 HAS SOUS 20837 HAS SOUPS 20386 WITH SCORE 20416.5
AT ITER 92 NEW BEST:: SOT 45367 SOS 30500 HAS SOPS 26468 HAS SOUS 20794 HAS SOUPS 20343 WITH SCORE 20373.5
AT ITER 93 NEW BEST:: SOT 45367 SOS 30471 HAS SOPS 26439 HAS SOUS 20794 HAS SOUPS 20343 WITH SCORE 20373.471
AT ITER 94 NEW BEST:: SOT 45367 SOS 30451 HAS SOPS 26439 HAS SOUS 20794 HAS SOUPS 20343 WITH SCORE 20373.451
AT ITER 96 NEW BEST:: SOT 45367 SOS 30424 HAS SOPS 26439 HAS SOUS 20794 HAS SOUPS 20343 WITH SCORE 20373.424
AT ITER 97 NEW BEST:: SOT 45367 SOS 30418 HAS SOPS 26433 HAS SOUS 20794 HAS SOUPS 20343 WITH SCORE 20373.418
AT ITER 99 NEW BEST:: SOT 45183 SOS 30290 HAS SOPS 26668 HAS SOUS 20783 HAS SOUPS 20334 WITH SCORE 20364.29
AT ITER 100 NEW BEST:: SOT 45013 SOS 30222 HAS SOPS 26547 HAS SOUS 20591 HAS SOUPS 20168 WITH SCORE 20198.222
AT ITER 101 NEW BEST:: SOT 44998 SOS 30207 HAS SOPS 26517 HAS SOUS 20575 HAS SOUPS 20152 WITH SCORE 20182.207
AT ITER 102 NEW BEST:: SOT 44932 SOS 30163 HAS SOPS 26451 HAS SOUS 20504 HAS SOUPS 20081 WITH SCORE 20111.163
AT ITER 103 NEW BEST:: SOT 44237 SOS 29400 HAS SOPS 25743 HAS SOUS 19774 HAS SOUPS 19351 WITH SCORE 19380.4
AT ITER 104 NEW BEST:: SOT 44237 SOS 29397 HAS SOPS 25678 HAS SOUS 19741 HAS SOUPS 19318 WITH SCORE 19347.397
AT ITER 108 NEW BEST:: SOT 44243 SOS 29397 HAS SOPS 25666 HAS SOUS 19735 HAS SOUPS 19312 WITH SCORE 19341.397
AT ITER 109 NEW BEST:: SOT 43602 SOS 29230 HAS SOPS 25197 HAS SOUS 19433 HAS SOUPS 18967 WITH SCORE 18996.23
AT ITER 112 NEW BEST:: SOT 43602 SOS 29138 HAS SOPS 25199 HAS SOUS 19408 HAS SOUPS 18942 WITH SCORE 18971.138
AT ITER 114 NEW BEST:: SOT 43529 SOS 29561 HAS SOPS 25303 HAS SOUS 19416 HAS SOUPS 18937 WITH SCORE 18966.561
AT ITER 115 NEW BEST:: SOT 43528 SOS 29572 HAS SOPS 25304 HAS SOUS 19414 HAS SOUPS 18935 WITH SCORE 18964.572
AT ITER 117 NEW BEST:: SOT 43415 SOS 29497 HAS SOPS 25341 HAS SOUS 19360 HAS SOUPS 18887 WITH SCORE 18916.497
AT ITER 121 NEW BEST:: SOT 43096 SOS 28603 HAS SOPS 24700 HAS SOUS 19072 HAS SOUPS 18599 WITH SCORE 18627.603
AT ITER 123 NEW BEST:: SOT 43096 SOS 28622 HAS SOPS 24684 HAS SOUS 19017 HAS SOUPS 18544 WITH SCORE 18572.622
AT ITER 124 NEW BEST:: SOT 42807 SOS 28471 HAS SOPS 24505 HAS SOUS 18838 HAS SOUPS 18351 WITH SCORE 18379.471
AT ITER 126 NEW BEST:: SOT 42773 SOS 28420 HAS SOPS 24437 HAS SOUS 18770 HAS SOUPS 18283 WITH SCORE 18311.42
AT ITER 127 NEW BEST:: SOT 41116 SOS 28637 HAS SOPS 23146 HAS SOUS 17740 HAS SOUPS 17161 WITH SCORE 17189.637
AT ITER 130 NEW BEST:: SOT 41116 SOS 28557 HAS SOPS 23093 HAS SOUS 17691 HAS SOUPS 17112 WITH SCORE 17140.557
AT ITER 133 NEW BEST:: SOT 41052 SOS 28525 HAS SOPS 23173 HAS SOUS 17666 HAS SOUPS 17087 WITH SCORE 17115.525
AT ITER 135 NEW BEST:: SOT 41028 SOS 28501 HAS SOPS 23137 HAS SOUS 17641 HAS SOUPS 17060 WITH SCORE 17088.501
AT ITER 136 NEW BEST:: SOT 41020 SOS 28493 HAS SOPS 23129 HAS SOUS 17633 HAS SOUPS 17052 WITH SCORE 17080.493
AT ITER 137 NEW BEST:: SOT 41020 SOS 28488 HAS SOPS 23129 HAS SOUS 17632 HAS SOUPS 17051 WITH SCORE 17079.488
AT ITER 140 NEW BEST:: SOT 41010 SOS 28643 HAS SOPS 23180 HAS SOUS 17608 HAS SOUPS 17024 WITH SCORE 17052.643
AT ITER 156 NEW BEST:: SOT 40971 SOS 28577 HAS SOPS 23114 HAS SOUS 17540 HAS SOUPS 16956 WITH SCORE 16984.577
AT ITER 158 NEW BEST:: SOT 40950 SOS 28535 HAS SOPS 23076 HAS SOUS 17519 HAS SOUPS 16935 WITH SCORE 16963.535
AT ITER 163 NEW BEST:: SOT 40947 SOS 28532 HAS SOPS 23067 HAS SOUS 17516 HAS SOUPS 16932 WITH SCORE 16960.532
AT ITER 165 NEW BEST:: SOT 40948 SOS 28310 HAS SOPS 22872 HAS SOUS 17487 HAS SOUPS 16903 WITH SCORE 16931.31
AT ITER 168 NEW BEST:: SOT 40948 SOS 28310 HAS SOPS 22872 HAS SOUS 17479 HAS SOUPS 16895 WITH SCORE 16923.31
AT ITER 170 NEW BEST:: SOT 40937 SOS 28312 HAS SOPS 22869 HAS SOUS 17475 HAS SOUPS 16891 WITH SCORE 16919.312
AT ITER 172 NEW BEST:: SOT 40950 SOS 28061 HAS SOPS 22655 HAS SOUS 17407 HAS SOUPS 16823 WITH SCORE 16851.061
AT ITER 176 NEW BEST:: SOT 40897 SOS 27984 HAS SOPS 22496 HAS SOUS 17352 HAS SOUPS 16768 WITH SCORE 16795.984
AT ITER 183 NEW BEST:: SOT 40897 SOS 27945 HAS SOPS 22573 HAS SOUS 17329 HAS SOUPS 16745 WITH SCORE 16772.945
AT ITER 185 NEW BEST:: SOT 40794 SOS 27832 HAS SOPS 22400 HAS SOUS 17184 HAS SOUPS 16597 WITH SCORE 16624.832
AT ITER 186 NEW BEST:: SOT 40800 SOS 27838 HAS SOPS 22409 HAS SOUS 17175 HAS SOUPS 16591 WITH SCORE 16618.838
AT ITER 187 NEW BEST:: SOT 40791 SOS 27820 HAS SOPS 22391 HAS SOUS 17157 HAS SOUPS 16573 WITH SCORE 16600.82
AT ITER 189 NEW BEST:: SOT 40659 SOS 27690 HAS SOPS 22236 HAS SOUS 17016 HAS SOUPS 16441 WITH SCORE 16468.69
AT ITER 192 NEW BEST:: SOT 40554 SOS 27591 HAS SOPS 22097 HAS SOUS 16894 HAS SOUPS 16319 WITH SCORE 16346.591
AT ITER 197 NEW BEST:: SOT 40269 SOS 27319 HAS SOPS 22015 HAS SOUS 16721 HAS SOUPS 16146 WITH SCORE 16173.319
AT ITER 198 NEW BEST:: SOT 39620 SOS 27866 HAS SOPS 21571 HAS SOUS 16413 HAS SOUPS 15783 WITH SCORE 15810.866
AT ITER 199 NEW BEST:: SOT 39365 SOS 27770 HAS SOPS 21455 HAS SOUS 16199 HAS SOUPS 15559 WITH SCORE 15586.77
AT ITER 200 NEW BEST:: SOT 39344 SOS 27649 HAS SOPS 21375 HAS SOUS 16202 HAS SOUPS 15542 WITH SCORE 15569.649
AT ITER 202 NEW BEST:: SOT 39344 SOS 27622 HAS SOPS 21375 HAS SOUS 16202 HAS SOUPS 15542 WITH SCORE 15569.622
AT ITER 203 NEW BEST:: SOT 39254 SOS 27550 HAS SOPS 21325 HAS SOUS 16145 HAS SOUPS 15485 WITH SCORE 15512.55
AT ITER 204 NEW BEST:: SOT 39060 SOS 27356 HAS SOPS 21119 HAS SOUS 15932 HAS SOUPS 15267 WITH SCORE 15294.356
AT ITER 206 NEW BEST:: SOT 39042 SOS 27318 HAS SOPS 21092 HAS SOUS 15905 HAS SOUPS 15240 WITH SCORE 15267.318
AT ITER 210 NEW BEST:: SOT 39042 SOS 27318 HAS SOPS 21092 HAS SOUS 15888 HAS SOUPS 15223 WITH SCORE 15250.318
AT ITER 211 NEW BEST:: SOT 39024 SOS 27109 HAS SOPS 20907 HAS SOUS 15820 HAS SOUPS 15155 WITH SCORE 15182.109
AT ITER 213 NEW BEST:: SOT 38934 SOS 26936 HAS SOPS 20853 HAS SOUS 15761 HAS SOUPS 15096 WITH SCORE 15122.936
AT ITER 214 NEW BEST:: SOT 38963 SOS 26783 HAS SOPS 20465 HAS SOUS 15569 HAS SOUPS 14904 WITH SCORE 14930.783
AT ITER 216 NEW BEST:: SOT 38963 SOS 26709 HAS SOPS 20299 HAS SOUS 15561 HAS SOUPS 14896 WITH SCORE 14922.709
AT ITER 217 NEW BEST:: SOT 38939 SOS 26685 HAS SOPS 20271 HAS SOUS 15537 HAS SOUPS 14872 WITH SCORE 14898.685
AT ITER 221 NEW BEST:: SOT 38873 SOS 26605 HAS SOPS 20134 HAS SOUS 15438 HAS SOUPS 14773 WITH SCORE 14799.605
AT ITER 228 NEW BEST:: SOT 38794 SOS 26528 HAS SOPS 20057 HAS SOUS 15367 HAS SOUPS 14702 WITH SCORE 14728.528
AT ITER 234 NEW BEST:: SOT 38716 SOS 26416 HAS SOPS 19940 HAS SOUS 15250 HAS SOUPS 14585 WITH SCORE 14611.416
AT ITER 236 NEW BEST:: SOT 38654 SOS 26232 HAS SOPS 19756 HAS SOUS 15069 HAS SOUPS 14404 WITH SCORE 14430.232
AT ITER 238 NEW BEST:: SOT 38588 SOS 26166 HAS SOPS 19640 HAS SOUS 14942 HAS SOUPS 14277 WITH SCORE 14303.166
AT ITER 239 NEW BEST:: SOT 38670 SOS 25969 HAS SOPS 19216 HAS SOUS 14983 HAS SOUPS 14091 WITH SCORE 14116.969
AT ITER 242 NEW BEST:: SOT 38588 SOS 25832 HAS SOPS 19133 HAS SOUS 14900 HAS SOUPS 14023 WITH SCORE 14048.832
AT ITER 245 NEW BEST:: SOT 38580 SOS 25856 HAS SOPS 19149 HAS SOUS 14894 HAS SOUPS 14017 WITH SCORE 14042.856
AT ITER 246 NEW BEST:: SOT 37553 SOS 25503 HAS SOPS 18487 HAS SOUS 14139 HAS SOUPS 13217 WITH SCORE 13242.503
AT ITER 250 NEW BEST:: SOT 37547 SOS 25497 HAS SOPS 18475 HAS SOUS 14126 HAS SOUPS 13204 WITH SCORE 13229.497
AT ITER 255 NEW BEST:: SOT 37491 SOS 25437 HAS SOPS 18415 HAS SOUS 14066 HAS SOUPS 13144 WITH SCORE 13169.437
AT ITER 265 NEW BEST:: SOT 37153 SOS 25612 HAS SOPS 18359 HAS SOUS 13891 HAS SOUPS 12947 WITH SCORE 12972.612
AT ITER 267 NEW BEST:: SOT 37189 SOS 25568 HAS SOPS 18119 HAS SOUS 13778 HAS SOUPS 12853 WITH SCORE 12878.568
AT ITER 269 NEW BEST:: SOT 37105 SOS 25481 HAS SOPS 17873 HAS SOUS 13610 HAS SOUPS 12685 WITH SCORE 12710.481
AT ITER 276 NEW BEST:: SOT 37081 SOS 25272 HAS SOPS 17689 HAS SOUS 13500 HAS SOUPS 12575 WITH SCORE 12600.272
AT ITER 278 NEW BEST:: SOT 37043 SOS 25141 HAS SOPS 17442 HAS SOUS 13408 HAS SOUPS 12483 WITH SCORE 12508.141
AT ITER 282 NEW BEST:: SOT 37003 SOS 25266 HAS SOPS 17447 HAS SOUS 13393 HAS SOUPS 12468 WITH SCORE 12493.266
AT ITER 291 NEW BEST:: SOT 37003 SOS 25266 HAS SOPS 17447 HAS SOUS 13374 HAS SOUPS 12449 WITH SCORE 12474.266
AT ITER 294 NEW BEST:: SOT 36993 SOS 25221 HAS SOPS 17388 HAS SOUS 13359 HAS SOUPS 12434 WITH SCORE 12459.221
AT ITER 303 NEW BEST:: SOT 36993 SOS 25221 HAS SOPS 17388 HAS SOUS 13356 HAS SOUPS 12431 WITH SCORE 12456.221
AT ITER 307 NEW BEST:: SOT 36971 SOS 25199 HAS SOPS 17355 HAS SOUS 13314 HAS SOUPS 12389 WITH SCORE 12414.199
AT ITER 313 NEW BEST:: SOT 36971 SOS 25199 HAS SOPS 17355 HAS SOUS 13312 HAS SOUPS 12387 WITH SCORE 12412.199
AT ITER 314 NEW BEST:: SOT 36971 SOS 25153 HAS SOPS 17328 HAS SOUS 13293 HAS SOUPS 12387 WITH SCORE 12412.153
AT ITER 317 NEW BEST:: SOT 36879 SOS 25038 HAS SOPS 17265 HAS SOUS 13230 HAS SOUPS 12324 WITH SCORE 12349.038
AT ITER 324 NEW BEST:: SOT 36939 SOS 25098 HAS SOPS 17127 HAS SOUS 13092 HAS SOUPS 12186 WITH SCORE 12211.098
AT ITER 342 NEW BEST:: SOT 36921 SOS 25109 HAS SOPS 17039 HAS SOUS 13052 HAS SOUPS 12146 WITH SCORE 12171.109
AT ITER 343 NEW BEST:: SOT 36907 SOS 25095 HAS SOPS 17018 HAS SOUS 13042 HAS SOUPS 12134 WITH SCORE 12159.095
AT ITER 345 NEW BEST:: SOT 36132 SOS 28633 HAS SOPS 18014 HAS SOUS 12984 HAS SOUPS 11966 WITH SCORE 11994.633
AT ITER 349 NEW BEST:: SOT 36130 SOS 28631 HAS SOPS 18011 HAS SOUS 12981 HAS SOUPS 11963 WITH SCORE 11991.631
AT ITER 353 NEW BEST:: SOT 36136 SOS 28637 HAS SOPS 17987 HAS SOUS 12964 HAS SOUPS 11945 WITH SCORE 11973.637
AT ITER 354 NEW BEST:: SOT 36100 SOS 28601 HAS SOPS 17933 HAS SOUS 12928 HAS SOUPS 11909 WITH SCORE 11937.601
AT ITER 356 NEW BEST:: SOT 36043 SOS 28544 HAS SOPS 17859 HAS SOUS 12872 HAS SOUPS 11853 WITH SCORE 11881.544
AT ITER 364 NEW BEST:: SOT 35949 SOS 28450 HAS SOPS 17718 HAS SOUS 12732 HAS SOUPS 11713 WITH SCORE 11741.45
AT ITER 368 NEW BEST:: SOT 35949 SOS 28450 HAS SOPS 17640 HAS SOUS 12714 HAS SOUPS 11682 WITH SCORE 11710.45
AT ITER 373 NEW BEST:: SOT 35915 SOS 28416 HAS SOPS 17608 HAS SOUS 12663 HAS SOUPS 11631 WITH SCORE 11659.416
AT ITER 374 NEW BEST:: SOT 35887 SOS 28388 HAS SOPS 17566 HAS SOUS 12621 HAS SOUPS 11589 WITH SCORE 11617.388
AT ITER 378 NEW BEST:: SOT 35887 SOS 28359 HAS SOPS 17541 HAS SOUS 12621 HAS SOUPS 11589 WITH SCORE 11617.359
AT ITER 381 NEW BEST:: SOT 35749 SOS 28221 HAS SOPS 17419 HAS SOUS 12482 HAS SOUPS 11450 WITH SCORE 11478.221
AT ITER 398 NEW BEST:: SOT 35749 SOS 28209 HAS SOPS 17415 HAS SOUS 12478 HAS SOUPS 11450 WITH SCORE 11478.209
AT ITER 409 NEW BEST:: SOT 35725 SOS 28185 HAS SOPS 17395 HAS SOUS 12460 HAS SOUPS 11430 WITH SCORE 11458.185
AT ITER 412 NEW BEST:: SOT 35703 SOS 28163 HAS SOPS 17362 HAS SOUS 12405 HAS SOUPS 11375 WITH SCORE 11403.163
AT ITER 414 NEW BEST:: SOT 35704 SOS 27933 HAS SOPS 17158 HAS SOUS 12362 HAS SOUPS 11332 WITH SCORE 11359.933
AT ITER 415 NEW BEST:: SOT 35705 SOS 27707 HAS SOPS 16998 HAS SOUS 12294 HAS SOUPS 11284 WITH SCORE 11311.707
AT ITER 424 NEW BEST:: SOT 35670 SOS 27724 HAS SOPS 16963 HAS SOUS 12294 HAS SOUPS 11254 WITH SCORE 11281.724
AT ITER 432 NEW BEST:: SOT 35666 SOS 27720 HAS SOPS 16958 HAS SOUS 12291 HAS SOUPS 11251 WITH SCORE 11278.72
AT ITER 440 NEW BEST:: SOT 35556 SOS 27610 HAS SOPS 16921 HAS SOUS 12244 HAS SOUPS 11204 WITH SCORE 11231.61
AT ITER 453 NEW BEST:: SOT 35556 SOS 27610 HAS SOPS 16909 HAS SOUS 12252 HAS SOUPS 11200 WITH SCORE 11227.61
AT ITER 455 NEW BEST:: SOT 35514 SOS 27568 HAS SOPS 16846 HAS SOUS 12221 HAS SOUPS 11169 WITH SCORE 11196.568
AT ITER 456 NEW BEST:: SOT 35198 SOS 27252 HAS SOPS 16624 HAS SOUS 11926 HAS SOUPS 10879 WITH SCORE 10906.252
AT ITER 459 NEW BEST:: SOT 35152 SOS 27206 HAS SOPS 16588 HAS SOUS 11880 HAS SOUPS 10842 WITH SCORE 10869.206
AT ITER 468 NEW BEST:: SOT 35150 SOS 27204 HAS SOPS 16567 HAS SOUS 11850 HAS SOUPS 10814 WITH SCORE 10841.204
AT ITER 469 NEW BEST:: SOT 35150 SOS 27201 HAS SOPS 16566 HAS SOUS 11849 HAS SOUPS 10814 WITH SCORE 10841.201
AT ITER 472 NEW BEST:: SOT 35086 SOS 27086 HAS SOPS 16422 HAS SOUS 11728 HAS SOUPS 10693 WITH SCORE 10720.086
AT ITER 473 NEW BEST:: SOT 35086 SOS 27086 HAS SOPS 16422 HAS SOUS 11700 HAS SOUPS 10665 WITH SCORE 10692.086
AT ITER 476 NEW BEST:: SOT 35012 SOS 27012 HAS SOPS 16311 HAS SOUS 11607 HAS SOUPS 10572 WITH SCORE 10599.012
AT ITER 477 NEW BEST:: SOT 35013 SOS 27013 HAS SOPS 16308 HAS SOUS 11606 HAS SOUPS 10571 WITH SCORE 10598.013
AT ITER 479 NEW BEST:: SOT 35001 SOS 27001 HAS SOPS 16284 HAS SOUS 11570 HAS SOUPS 10535 WITH SCORE 10562.001
AT ITER 482 NEW BEST:: SOT 35001 SOS 27001 HAS SOPS 16284 HAS SOUS 11562 HAS SOUPS 10527 WITH SCORE 10554.001
AT ITER 493 NEW BEST:: SOT 34995 SOS 26998 HAS SOPS 16265 HAS SOUS 11543 HAS SOUPS 10508 WITH SCORE 10534.998
AT ITER 494 NEW BEST:: SOT 34990 SOS 26993 HAS SOPS 16263 HAS SOUS 11527 HAS SOUPS 10492 WITH SCORE 10518.993
AT ITER 501 NEW BEST:: SOT 34654 SOS 26605 HAS SOPS 15823 HAS SOUS 11157 HAS SOUPS 10138 WITH SCORE 10164.605
AT ITER 518 NEW BEST:: SOT 34642 SOS 26593 HAS SOPS 15811 HAS SOUS 11145 HAS SOUPS 10126 WITH SCORE 10152.593
AT ITER 524 NEW BEST:: SOT 34557 SOS 26513 HAS SOPS 15673 HAS SOUS 10879 HAS SOUPS 9860 WITH SCORE 9886.513
AT ITER 529 NEW BEST:: SOT 34432 SOS 27353 HAS SOPS 15946 HAS SOUS 10899 HAS SOUPS 9857 WITH SCORE 9884.353
AT ITER 532 NEW BEST:: SOT 34432 SOS 27353 HAS SOPS 15946 HAS SOUS 10884 HAS SOUPS 9842 WITH SCORE 9869.353
AT ITER 537 NEW BEST:: SOT 34416 SOS 27337 HAS SOPS 15922 HAS SOUS 10870 HAS SOUPS 9828 WITH SCORE 9855.337
AT ITER 543 NEW BEST:: SOT 34344 SOS 27265 HAS SOPS 15850 HAS SOUS 10795 HAS SOUPS 9753 WITH SCORE 9780.265
AT ITER 545 NEW BEST:: SOT 34353 SOS 27274 HAS SOPS 15844 HAS SOUS 10789 HAS SOUPS 9747 WITH SCORE 9774.274
AT ITER 549 NEW BEST:: SOT 34320 SOS 27241 HAS SOPS 15862 HAS SOUS 10772 HAS SOUPS 9730 WITH SCORE 9757.241
AT ITER 556 NEW BEST:: SOT 34099 SOS 27020 HAS SOPS 15679 HAS SOUS 10528 HAS SOUPS 9509 WITH SCORE 9536.02
AT ITER 557 NEW BEST:: SOT 34085 SOS 27014 HAS SOPS 15641 HAS SOUS 10526 HAS SOUPS 9499 WITH SCORE 9526.014
AT ITER 560 NEW BEST:: SOT 34000 SOS 27390 HAS SOPS 15692 HAS SOUS 10512 HAS SOUPS 9485 WITH SCORE 9512.39
AT ITER 562 NEW BEST:: SOT 34013 SOS 27403 HAS SOPS 15715 HAS SOUS 10507 HAS SOUPS 9480 WITH SCORE 9507.403
AT ITER 564 NEW BEST:: SOT 34007 SOS 27397 HAS SOPS 15703 HAS SOUS 10499 HAS SOUPS 9471 WITH SCORE 9498.397
AT ITER 565 NEW BEST:: SOT 33935 SOS 27325 HAS SOPS 15649 HAS SOUS 10432 HAS SOUPS 9404 WITH SCORE 9431.325
AT ITER 570 NEW BEST:: SOT 33855 SOS 27245 HAS SOPS 15529 HAS SOUS 10294 HAS SOUPS 9266 WITH SCORE 9293.245
AT ITER 573 NEW BEST:: SOT 33855 SOS 27152 HAS SOPS 15465 HAS SOUS 10281 HAS SOUPS 9253 WITH SCORE 9280.152
AT ITER 576 NEW BEST:: SOT 33797 SOS 27094 HAS SOPS 15434 HAS SOUS 10228 HAS SOUPS 9200 WITH SCORE 9227.094
AT ITER 578 NEW BEST:: SOT 33797 SOS 27094 HAS SOPS 15426 HAS SOUS 10221 HAS SOUPS 9193 WITH SCORE 9220.094
AT ITER 585 NEW BEST:: SOT 33759 SOS 27076 HAS SOPS 15326 HAS SOUS 10162 HAS SOUPS 9134 WITH SCORE 9161.076
AT ITER 591 NEW BEST:: SOT 33739 SOS 27028 HAS SOPS 15286 HAS SOUS 10126 HAS SOUPS 9098 WITH SCORE 9125.028
AT ITER 597 NEW BEST:: SOT 33643 SOS 26932 HAS SOPS 15238 HAS SOUS 10073 HAS SOUPS 9045 WITH SCORE 9071.932
AT ITER 616 NEW BEST:: SOT 33569 SOS 26986 HAS SOPS 15289 HAS SOUS 10066 HAS SOUPS 9038 WITH SCORE 9064.986
AT ITER 617 NEW BEST:: SOT 33615 SOS 27032 HAS SOPS 15266 HAS SOUS 10043 HAS SOUPS 9015 WITH SCORE 9042.032
AT ITER 629 NEW BEST:: SOT 33612 SOS 27029 HAS SOPS 15263 HAS SOUS 10040 HAS SOUPS 9012 WITH SCORE 9039.029
AT ITER 634 NEW BEST:: SOT 33564 SOS 26981 HAS SOPS 15239 HAS SOUS 9992 HAS SOUPS 8964 WITH SCORE 8990.981
AT ITER 648 NEW BEST:: SOT 33634 SOS 27051 HAS SOPS 15196 HAS SOUS 9986 HAS SOUPS 8958 WITH SCORE 8985.051
AT ITER 657 NEW BEST:: SOT 33137 SOS 29260 HAS SOPS 15910 HAS SOUS 9838 HAS SOUPS 8745 WITH SCORE 8774.26
AT ITER 662 NEW BEST:: SOT 33125 SOS 29248 HAS SOPS 15892 HAS SOUS 9813 HAS SOUPS 8720 WITH SCORE 8749.248
AT ITER 664 NEW BEST:: SOT 33112 SOS 29252 HAS SOPS 15866 HAS SOUS 9809 HAS SOUPS 8701 WITH SCORE 8730.252
AT ITER 677 NEW BEST:: SOT 33056 SOS 29205 HAS SOPS 15778 HAS SOUS 9736 HAS SOUPS 8628 WITH SCORE 8657.205
AT ITER 692 NEW BEST:: SOT 33056 SOS 29205 HAS SOPS 15778 HAS SOUS 9729 HAS SOUPS 8621 WITH SCORE 8650.205
AT ITER 697 NEW BEST:: SOT 33016 SOS 29165 HAS SOPS 15758 HAS SOUS 9699 HAS SOUPS 8591 WITH SCORE 8620.165
AT ITER 703 NEW BEST:: SOT 33097 SOS 28338 HAS SOPS 15459 HAS SOUS 9671 HAS SOUPS 8583 WITH SCORE 8611.338
AT ITER 707 NEW BEST:: SOT 32945 SOS 28186 HAS SOPS 15431 HAS SOUS 9604 HAS SOUPS 8532 WITH SCORE 8560.186
AT ITER 711 NEW BEST:: SOT 32917 SOS 28158 HAS SOPS 15389 HAS SOUS 9547 HAS SOUPS 8475 WITH SCORE 8503.158
AT ITER 717 NEW BEST:: SOT 32917 SOS 28158 HAS SOPS 15389 HAS SOUS 9544 HAS SOUPS 8472 WITH SCORE 8500.158
AT ITER 724 NEW BEST:: SOT 32917 SOS 28158 HAS SOPS 15389 HAS SOUS 9526 HAS SOUPS 8454 WITH SCORE 8482.158
AT ITER 725 NEW BEST:: SOT 32883 SOS 28124 HAS SOPS 15381 HAS SOUS 9475 HAS SOUPS 8403 WITH SCORE 8431.124
AT ITER 742 NEW BEST:: SOT 32787 SOS 28028 HAS SOPS 15275 HAS SOUS 9435 HAS SOUPS 8363 WITH SCORE 8391.028
AT ITER 744 NEW BEST:: SOT 32739 SOS 28025 HAS SOPS 15376 HAS SOUS 9413 HAS SOUPS 8341 WITH SCORE 8369.025
AT ITER 751 NEW BEST:: SOT 32717 SOS 28003 HAS SOPS 15343 HAS SOUS 9374 HAS SOUPS 8302 WITH SCORE 8330.003
AT ITER 755 NEW BEST:: SOT 32667 SOS 27953 HAS SOPS 15309 HAS SOUS 9326 HAS SOUPS 8257 WITH SCORE 8284.953
AT ITER 760 NEW BEST:: SOT 32667 SOS 27953 HAS SOPS 15281 HAS SOUS 9305 HAS SOUPS 8236 WITH SCORE 8263.953
AT ITER 763 NEW BEST:: SOT 32658 SOS 27944 HAS SOPS 15272 HAS SOUS 9296 HAS SOUPS 8227 WITH SCORE 8254.944
AT ITER 773 NEW BEST:: SOT 32658 SOS 27944 HAS SOPS 15272 HAS SOUS 9291 HAS SOUPS 8222 WITH SCORE 8249.944
AT ITER 785 NEW BEST:: SOT 32648 SOS 27934 HAS SOPS 15257 HAS SOUS 9276 HAS SOUPS 8207 WITH SCORE 8234.934
AT ITER 787 NEW BEST:: SOT 32648 SOS 27934 HAS SOPS 15257 HAS SOUS 9247 HAS SOUPS 8178 WITH SCORE 8205.934
AT ITER 791 NEW BEST:: SOT 32622 SOS 27908 HAS SOPS 15218 HAS SOUS 9206 HAS SOUPS 8137 WITH SCORE 8164.908
AT ITER 796 NEW BEST:: SOT 32622 SOS 27908 HAS SOPS 15218 HAS SOUS 9204 HAS SOUPS 8135 WITH SCORE 8162.908
AT ITER 806 NEW BEST:: SOT 32480 SOS 27766 HAS SOPS 15161 HAS SOUS 9111 HAS SOUPS 8042 WITH SCORE 8069.766
AT ITER 809 NEW BEST:: SOT 32480 SOS 27723 HAS SOPS 15130 HAS SOUS 9111 HAS SOUPS 8042 WITH SCORE 8069.723
AT ITER 812 NEW BEST:: SOT 32464 SOS 27707 HAS SOPS 15106 HAS SOUS 9083 HAS SOUPS 8014 WITH SCORE 8041.707
AT ITER 823 NEW BEST:: SOT 32427 SOS 27610 HAS SOPS 14897 HAS SOUS 9057 HAS SOUPS 7988 WITH SCORE 8015.61
AT ITER 832 NEW BEST:: SOT 32427 SOS 27610 HAS SOPS 14869 HAS SOUS 9043 HAS SOUPS 7973 WITH SCORE 8000.61
AT ITER 836 NEW BEST:: SOT 32425 SOS 27608 HAS SOPS 14866 HAS SOUS 9040 HAS SOUPS 7970 WITH SCORE 7997.608
AT ITER 840 NEW BEST:: SOT 32367 SOS 27550 HAS SOPS 14831 HAS SOUS 8992 HAS SOUPS 7922 WITH SCORE 7949.55
AT ITER 850 NEW BEST:: SOT 32355 SOS 27538 HAS SOPS 14813 HAS SOUS 8974 HAS SOUPS 7904 WITH SCORE 7931.538
AT ITER 853 NEW BEST:: SOT 32349 SOS 27532 HAS SOPS 14804 HAS SOUS 8967 HAS SOUPS 7897 WITH SCORE 7924.532
AT ITER 868 NEW BEST:: SOT 32313 SOS 27496 HAS SOPS 14750 HAS SOUS 8913 HAS SOUPS 7843 WITH SCORE 7870.496
AT ITER 870 NEW BEST:: SOT 32313 SOS 27496 HAS SOPS 14658 HAS SOUS 8874 HAS SOUPS 7804 WITH SCORE 7831.496
AT ITER 876 NEW BEST:: SOT 32287 SOS 27470 HAS SOPS 14612 HAS SOUS 8851 HAS SOUPS 7781 WITH SCORE 7808.47
AT ITER 883 NEW BEST:: SOT 32275 SOS 27458 HAS SOPS 14594 HAS SOUS 8833 HAS SOUPS 7763 WITH SCORE 7790.458
AT ITER 889 NEW BEST:: SOT 32661 SOS 24894 HAS SOPS 13728 HAS SOUS 8742 HAS SOUPS 7741 WITH SCORE 7765.894
AT ITER 892 NEW BEST:: SOT 32659 SOS 24892 HAS SOPS 13724 HAS SOUS 8740 HAS SOUPS 7739 WITH SCORE 7763.892
AT ITER 898 NEW BEST:: SOT 32649 SOS 24882 HAS SOPS 13709 HAS SOUS 8725 HAS SOUPS 7724 WITH SCORE 7748.882
AT ITER 901 NEW BEST:: SOT 32671 SOS 24713 HAS SOPS 13671 HAS SOUS 8714 HAS SOUPS 7718 WITH SCORE 7742.713
AT ITER 911 NEW BEST:: SOT 32682 SOS 24711 HAS SOPS 13657 HAS SOUS 8700 HAS SOUPS 7704 WITH SCORE 7728.711
AT ITER 912 NEW BEST:: SOT 32666 SOS 24695 HAS SOPS 13641 HAS SOUS 8668 HAS SOUPS 7672 WITH SCORE 7696.695
AT ITER 916 NEW BEST:: SOT 32666 SOS 24695 HAS SOPS 13641 HAS SOUS 8666 HAS SOUPS 7670 WITH SCORE 7694.695
AT ITER 927 NEW BEST:: SOT 32647 SOS 24643 HAS SOPS 13680 HAS SOUS 8645 HAS SOUPS 7664 WITH SCORE 7688.643
AT ITER 935 NEW BEST:: SOT 32625 SOS 24621 HAS SOPS 13639 HAS SOUS 8620 HAS SOUPS 7639 WITH SCORE 7663.621
AT ITER 957 NEW BEST:: SOT 32603 SOS 24603 HAS SOPS 13610 HAS SOUS 8614 HAS SOUPS 7633 WITH SCORE 7657.603
AT ITER 960 NEW BEST:: SOT 32589 SOS 24589 HAS SOPS 13582 HAS SOUS 8603 HAS SOUPS 7622 WITH SCORE 7646.589
AT ITER 968 NEW BEST:: SOT 32571 SOS 24571 HAS SOPS 13555 HAS SOUS 8580 HAS SOUPS 7599 WITH SCORE 7623.571
AT ITER 969 NEW BEST:: SOT 32551 SOS 24551 HAS SOPS 13525 HAS SOUS 8550 HAS SOUPS 7569 WITH SCORE 7593.551
AT ITER 970 NEW BEST:: SOT 32515 SOS 24553 HAS SOPS 13504 HAS SOUS 8544 HAS SOUPS 7563 WITH SCORE 7587.553
AT ITER 1003 NEW BEST:: SOT 32490 SOS 24520 HAS SOPS 13479 HAS SOUS 8509 HAS SOUPS 7536 WITH SCORE 7560.52
AT ITER 1021 NEW BEST:: SOT 32472 SOS 24502 HAS SOPS 13452 HAS SOUS 8482 HAS SOUPS 7509 WITH SCORE 7533.502
AT ITER 1054 NEW BEST:: SOT 32472 SOS 24502 HAS SOPS 13452 HAS SOUS 8481 HAS SOUPS 7508 WITH SCORE 7532.502
AT ITER 1074 NEW BEST:: SOT 32414 SOS 24444 HAS SOPS 13433 HAS SOUS 8447 HAS SOUPS 7474 WITH SCORE 7498.444
AT ITER 1075 NEW BEST:: SOT 32382 SOS 24411 HAS SOPS 13377 HAS SOUS 8409 HAS SOUPS 7436 WITH SCORE 7460.411
AT ITER 1089 NEW BEST:: SOT 32399 SOS 24428 HAS SOPS 13394 HAS SOUS 8385 HAS SOUPS 7412 WITH SCORE 7436.428
AT ITER 1097 NEW BEST:: SOT 32399 SOS 24428 HAS SOPS 13378 HAS SOUS 8385 HAS SOUPS 7408 WITH SCORE 7432.428
AT ITER 1107 NEW BEST:: SOT 32402 SOS 24372 HAS SOPS 13325 HAS SOUS 8357 HAS SOUPS 7380 WITH SCORE 7404.372
AT ITER 1126 NEW BEST:: SOT 32402 SOS 24372 HAS SOPS 13325 HAS SOUS 8342 HAS SOUPS 7365 WITH SCORE 7389.372
AT ITER 1134 NEW BEST:: SOT 32444 SOS 24414 HAS SOPS 13304 HAS SOUS 8358 HAS SOUPS 7364 WITH SCORE 7388.414
AT ITER 1154 NEW BEST:: SOT 32403 SOS 24302 HAS SOPS 13069 HAS SOUS 8345 HAS SOUPS 7340 WITH SCORE 7364.302
AT ITER 1167 NEW BEST:: SOT 32403 SOS 24302 HAS SOPS 13069 HAS SOUS 8342 HAS SOUPS 7337 WITH SCORE 7361.302
AT ITER 1168 NEW BEST:: SOT 32359 SOS 24265 HAS SOPS 13046 HAS SOUS 8313 HAS SOUPS 7308 WITH SCORE 7332.265
AT ITER 1175 NEW BEST:: SOT 32339 SOS 24245 HAS SOPS 13016 HAS SOUS 8280 HAS SOUPS 7275 WITH SCORE 7299.245
AT ITER 1193 NEW BEST:: SOT 32323 SOS 24222 HAS SOPS 12984 HAS SOUS 8256 HAS SOUPS 7251 WITH SCORE 7275.222
AT ITER 1196 NEW BEST:: SOT 32391 SOS 24290 HAS SOPS 12972 HAS SOUS 8240 HAS SOUPS 7235 WITH SCORE 7259.29
AT ITER 1212 NEW BEST:: SOT 32385 SOS 24284 HAS SOPS 12956 HAS SOUS 8227 HAS SOUPS 7222 WITH SCORE 7246.284
AT ITER 1214 NEW BEST:: SOT 32427 SOS 24326 HAS SOPS 12935 HAS SOUS 8220 HAS SOUPS 7215 WITH SCORE 7239.326
AT ITER 1222 NEW BEST:: SOT 32389 SOS 24288 HAS SOPS 12853 HAS SOUS 8162 HAS SOUPS 7157 WITH SCORE 7181.288
AT ITER 1228 NEW BEST:: SOT 32389 SOS 24288 HAS SOPS 12853 HAS SOUS 8147 HAS SOUPS 7142 WITH SCORE 7166.288
AT ITER 1247 NEW BEST:: SOT 32377 SOS 24276 HAS SOPS 12847 HAS SOUS 8138 HAS SOUPS 7133 WITH SCORE 7157.276
AT ITER 1254 NEW BEST:: SOT 32371 SOS 24270 HAS SOPS 12841 HAS SOUS 8114 HAS SOUPS 7109 WITH SCORE 7133.27
AT ITER 1259 NEW BEST:: SOT 32366 SOS 24280 HAS SOPS 12839 HAS SOUS 8116 HAS SOUPS 7099 WITH SCORE 7123.28
AT ITER 1270 NEW BEST:: SOT 32358 SOS 24272 HAS SOPS 12827 HAS SOUS 8104 HAS SOUPS 7087 WITH SCORE 7111.272
AT ITER 1271 NEW BEST:: SOT 32320 SOS 24234 HAS SOPS 12770 HAS SOUS 8030 HAS SOUPS 7013 WITH SCORE 7037.234
AT ITER 1296 NEW BEST:: SOT 32280 SOS 24194 HAS SOPS 12750 HAS SOUS 8000 HAS SOUPS 6983 WITH SCORE 7007.194
AT ITER 1309 NEW BEST:: SOT 32272 SOS 24186 HAS SOPS 12722 HAS SOUS 7988 HAS SOUPS 6971 WITH SCORE 6995.186
AT ITER 1315 NEW BEST:: SOT 32263 SOS 24168 HAS SOPS 12695 HAS SOUS 7979 HAS SOUPS 6962 WITH SCORE 6986.168
AT ITER 1358 NEW BEST:: SOT 32259 SOS 24164 HAS SOPS 12689 HAS SOUS 7973 HAS SOUPS 6956 WITH SCORE 6980.164
AT ITER 1365 NEW BEST:: SOT 32245 SOS 24150 HAS SOPS 12668 HAS SOUS 7956 HAS SOUPS 6939 WITH SCORE 6963.15
AT ITER 1381 NEW BEST:: SOT 32250 SOS 24079 HAS SOPS 12597 HAS SOUS 7898 HAS SOUPS 6881 WITH SCORE 6905.079
AT ITER 1403 NEW BEST:: SOT 32242 SOS 24071 HAS SOPS 12585 HAS SOUS 7886 HAS SOUPS 6869 WITH SCORE 6893.071
AT ITER 1412 NEW BEST:: SOT 32166 SOS 23995 HAS SOPS 12607 HAS SOUS 7847 HAS SOUPS 6830 WITH SCORE 6853.995
AT ITER 1414 NEW BEST:: SOT 32155 SOS 23984 HAS SOPS 12590 HAS SOUS 7831 HAS SOUPS 6814 WITH SCORE 6837.984
AT ITER 1433 NEW BEST:: SOT 32135 SOS 23964 HAS SOPS 12560 HAS SOUS 7799 HAS SOUPS 6782 WITH SCORE 6805.964
AT ITER 1440 NEW BEST:: SOT 32132 SOS 23961 HAS SOPS 12555 HAS SOUS 7794 HAS SOUPS 6777 WITH SCORE 6800.961
AT ITER 1444 NEW BEST:: SOT 32120 SOS 23949 HAS SOPS 12556 HAS SOUS 7794 HAS SOUPS 6777 WITH SCORE 6800.949
AT ITER 1452 NEW BEST:: SOT 32114 SOS 23943 HAS SOPS 12535 HAS SOUS 7785 HAS SOUPS 6768 WITH SCORE 6791.943
AT ITER 1455 NEW BEST:: SOT 32114 SOS 23940 HAS SOPS 12535 HAS SOUS 7782 HAS SOUPS 6768 WITH SCORE 6791.94
AT ITER 1469 NEW BEST:: SOT 32152 SOS 23978 HAS SOPS 12511 HAS SOUS 7780 HAS SOUPS 6759 WITH SCORE 6782.978
AT ITER 1471 NEW BEST:: SOT 32148 SOS 23974 HAS SOPS 12503 HAS SOUS 7776 HAS SOUPS 6755 WITH SCORE 6778.974
AT ITER 1500 NEW BEST:: SOT 32148 SOS 23974 HAS SOPS 12503 HAS SOUS 7766 HAS SOUPS 6745 WITH SCORE 6768.974
AT ITER 1502 NEW BEST:: SOT 32132 SOS 23958 HAS SOPS 12518 HAS SOUS 7758 HAS SOUPS 6737 WITH SCORE 6760.958
AT ITER 1506 NEW BEST:: SOT 32132 SOS 23958 HAS SOPS 12518 HAS SOUS 7755 HAS SOUPS 6734 WITH SCORE 6757.958
AT ITER 1512 NEW BEST:: SOT 32115 SOS 23941 HAS SOPS 12477 HAS SOUS 7740 HAS SOUPS 6719 WITH SCORE 6742.941
AT ITER 1519 NEW BEST:: SOT 32099 SOS 23925 HAS SOPS 12446 HAS SOUS 7723 HAS SOUPS 6702 WITH SCORE 6725.925
AT ITER 1522 NEW BEST:: SOT 32099 SOS 23925 HAS SOPS 12446 HAS SOUS 7721 HAS SOUPS 6700 WITH SCORE 6723.925
AT ITER 1541 NEW BEST:: SOT 32099 SOS 23925 HAS SOPS 12418 HAS SOUS 7702 HAS SOUPS 6681 WITH SCORE 6704.925
AT ITER 1551 NEW BEST:: SOT 32083 SOS 23909 HAS SOPS 12394 HAS SOUS 7670 HAS SOUPS 6649 WITH SCORE 6672.909
AT ITER 1572 NEW BEST:: SOT 32073 SOS 23899 HAS SOPS 12335 HAS SOUS 7658 HAS SOUPS 6628 WITH SCORE 6651.899
AT ITER 1586 NEW BEST:: SOT 32049 SOS 23875 HAS SOPS 12301 HAS SOUS 7622 HAS SOUPS 6592 WITH SCORE 6615.875
AT ITER 1588 NEW BEST:: SOT 32055 SOS 23881 HAS SOPS 12298 HAS SOUS 7619 HAS SOUPS 6589 WITH SCORE 6612.881
AT ITER 1597 NEW BEST:: SOT 32046 SOS 23854 HAS SOPS 12271 HAS SOUS 7583 HAS SOUPS 6553 WITH SCORE 6576.854
AT ITER 1601 NEW BEST:: SOT 32016 SOS 23824 HAS SOPS 12286 HAS SOUS 7583 HAS SOUPS 6553 WITH SCORE 6576.824
AT ITER 1670 NEW BEST:: SOT 32040 SOS 23848 HAS SOPS 12262 HAS SOUS 7583 HAS SOUPS 6538 WITH SCORE 6561.848
AT ITER 1679 NEW BEST:: SOT 32040 SOS 23848 HAS SOPS 12262 HAS SOUS 7576 HAS SOUPS 6531 WITH SCORE 6554.848
AT ITER 1694 NEW BEST:: SOT 32048 SOS 23856 HAS SOPS 12242 HAS SOUS 7564 HAS SOUPS 6519 WITH SCORE 6542.856
AT ITER 1726 NEW BEST:: SOT 32022 SOS 23830 HAS SOPS 12208 HAS SOUS 7558 HAS SOUPS 6513 WITH SCORE 6536.83
AT ITER 1728 NEW BEST:: SOT 32022 SOS 23830 HAS SOPS 12208 HAS SOUS 7549 HAS SOUPS 6504 WITH SCORE 6527.83
AT ITER 1747 NEW BEST:: SOT 32019 SOS 23815 HAS SOPS 12193 HAS SOUS 7519 HAS SOUPS 6474 WITH SCORE 6497.815
AT ITER 1764 NEW BEST:: SOT 32006 SOS 23802 HAS SOPS 12180 HAS SOUS 7515 HAS SOUPS 6470 WITH SCORE 6493.802
AT ITER 1765 NEW BEST:: SOT 32006 SOS 23802 HAS SOPS 12180 HAS SOUS 7514 HAS SOUPS 6469 WITH SCORE 6492.802
AT ITER 1785 NEW BEST:: SOT 32005 SOS 23801 HAS SOPS 12186 HAS SOUS 7505 HAS SOUPS 6460 WITH SCORE 6483.801
AT ITER 1789 NEW BEST:: SOT 31966 SOS 23759 HAS SOPS 12141 HAS SOUS 7466 HAS SOUPS 6421 WITH SCORE 6444.759
AT ITER 1790 NEW BEST:: SOT 31966 SOS 23759 HAS SOPS 12081 HAS SOUS 7421 HAS SOUPS 6376 WITH SCORE 6399.759
AT ITER 1798 NEW BEST:: SOT 31956 SOS 23749 HAS SOPS 12069 HAS SOUS 7414 HAS SOUPS 6369 WITH SCORE 6392.749
AT ITER 1799 NEW BEST:: SOT 31934 SOS 23727 HAS SOPS 12086 HAS SOUS 7407 HAS SOUPS 6362 WITH SCORE 6385.727
AT ITER 1813 NEW BEST:: SOT 31930 SOS 23723 HAS SOPS 12049 HAS SOUS 7377 HAS SOUPS 6332 WITH SCORE 6355.723
AT ITER 1818 NEW BEST:: SOT 31930 SOS 23723 HAS SOPS 12049 HAS SOUS 7371 HAS SOUPS 6326 WITH SCORE 6349.723
AT ITER 1823 NEW BEST:: SOT 31927 SOS 23720 HAS SOPS 12036 HAS SOUS 7370 HAS SOUPS 6325 WITH SCORE 6348.72
AT ITER 1826 NEW BEST:: SOT 31919 SOS 23640 HAS SOPS 11894 HAS SOUS 7348 HAS SOUPS 6303 WITH SCORE 6326.64
AT ITER 1837 NEW BEST:: SOT 31910 SOS 23631 HAS SOPS 11831 HAS SOUS 7315 HAS SOUPS 6243 WITH SCORE 6266.631
AT ITER 1863 NEW BEST:: SOT 31910 SOS 23631 HAS SOPS 11831 HAS SOUS 7310 HAS SOUPS 6238 WITH SCORE 6261.631
AT ITER 1866 NEW BEST:: SOT 31902 SOS 23623 HAS SOPS 11825 HAS SOUS 7304 HAS SOUPS 6232 WITH SCORE 6255.623
AT ITER 1902 NEW BEST:: SOT 31902 SOS 23623 HAS SOPS 11825 HAS SOUS 7297 HAS SOUPS 6225 WITH SCORE 6248.623
AT ITER 1906 NEW BEST:: SOT 32114 SOS 22614 HAS SOPS 11624 HAS SOUS 7291 HAS SOUPS 6219 WITH SCORE 6241.614
AT ITER 1924 NEW BEST:: SOT 32100 SOS 22600 HAS SOPS 11603 HAS SOUS 7263 HAS SOUPS 6191 WITH SCORE 6213.6
AT ITER 1959 NEW BEST:: SOT 32100 SOS 22600 HAS SOPS 11579 HAS SOUS 7242 HAS SOUPS 6170 WITH SCORE 6192.6
AT ITER 1977 NEW BEST:: SOT 32104 SOS 22604 HAS SOPS 11545 HAS SOUS 7222 HAS SOUPS 6146 WITH SCORE 6168.604
AT ITER 1982 NEW BEST:: SOT 32065 SOS 22519 HAS SOPS 11436 HAS SOUS 7199 HAS SOUPS 6099 WITH SCORE 6121.519
AT ITER 1986 NEW BEST:: SOT 32061 SOS 22515 HAS SOPS 11428 HAS SOUS 7188 HAS SOUPS 6088 WITH SCORE 6110.515
AT ITER 2005 NEW BEST:: SOT 32061 SOS 22511 HAS SOPS 11424 HAS SOUS 7188 HAS SOUPS 6088 WITH SCORE 6110.511
AT ITER 2014 NEW BEST:: SOT 32061 SOS 22511 HAS SOPS 11424 HAS SOUS 7186 HAS SOUPS 6086 WITH SCORE 6108.511
AT ITER 2031 NEW BEST:: SOT 32025 SOS 22826 HAS SOPS 11535 HAS SOUS 7185 HAS SOUPS 6085 WITH SCORE 6107.826
AT ITER 2039 NEW BEST:: SOT 32019 SOS 22820 HAS SOPS 11526 HAS SOUS 7166 HAS SOUPS 6066 WITH SCORE 6088.82
AT ITER 2043 NEW BEST:: SOT 32015 SOS 22816 HAS SOPS 11522 HAS SOUS 7158 HAS SOUPS 6058 WITH SCORE 6080.816
AT ITER 2048 NEW BEST:: SOT 32011 SOS 22812 HAS SOPS 11519 HAS SOUS 7155 HAS SOUPS 6055 WITH SCORE 6077.812
AT ITER 2049 NEW BEST:: SOT 32009 SOS 22810 HAS SOPS 11516 HAS SOUS 7151 HAS SOUPS 6051 WITH SCORE 6073.81
AT ITER 2068 NEW BEST:: SOT 32001 SOS 22802 HAS SOPS 11504 HAS SOUS 7139 HAS SOUPS 6039 WITH SCORE 6061.802
AT ITER 2075 NEW BEST:: SOT 31962 SOS 22777 HAS SOPS 11541 HAS SOUS 7138 HAS SOUPS 6038 WITH SCORE 6060.777
AT ITER 2098 NEW BEST:: SOT 31948 SOS 22765 HAS SOPS 11529 HAS SOUS 7120 HAS SOUPS 6020 WITH SCORE 6042.765
AT ITER 2128 NEW BEST:: SOT 31942 SOS 22759 HAS SOPS 11520 HAS SOUS 7108 HAS SOUPS 6008 WITH SCORE 6030.759
AT ITER 2131 NEW BEST:: SOT 31944 SOS 22755 HAS SOPS 11508 HAS SOUS 7101 HAS SOUPS 6001 WITH SCORE 6023.755
AT ITER 2148 NEW BEST:: SOT 31942 SOS 22753 HAS SOPS 11502 HAS SOUS 7089 HAS SOUPS 5989 WITH SCORE 6011.753
AT ITER 2152 NEW BEST:: SOT 31958 SOS 22769 HAS SOPS 11490 HAS SOUS 7069 HAS SOUPS 5969 WITH SCORE 5991.769
AT ITER 2201 NEW BEST:: SOT 31950 SOS 22761 HAS SOPS 11490 HAS SOUS 7069 HAS SOUPS 5969 WITH SCORE 5991.761
AT ITER 2226 NEW BEST:: SOT 31942 SOS 22753 HAS SOPS 11478 HAS SOUS 7057 HAS SOUPS 5957 WITH SCORE 5979.753
AT ITER 2232 NEW BEST:: SOT 31898 SOS 22709 HAS SOPS 11483 HAS SOUS 7033 HAS SOUPS 5933 WITH SCORE 5955.709
AT ITER 2236 NEW BEST:: SOT 31892 SOS 22703 HAS SOPS 11486 HAS SOUS 7024 HAS SOUPS 5924 WITH SCORE 5946.703
AT ITER 2242 NEW BEST:: SOT 31888 SOS 22699 HAS SOPS 11482 HAS SOUS 7012 HAS SOUPS 5912 WITH SCORE 5934.699
AT ITER 2248 NEW BEST:: SOT 31888 SOS 22635 HAS SOPS 11370 HAS SOUS 7012 HAS SOUPS 5912 WITH SCORE 5934.635
AT ITER 2273 NEW BEST:: SOT 31868 SOS 22604 HAS SOPS 11329 HAS SOUS 6982 HAS SOUPS 5882 WITH SCORE 5904.604
AT ITER 2322 NEW BEST:: SOT 31866 SOS 22602 HAS SOPS 11326 HAS SOUS 6980 HAS SOUPS 5880 WITH SCORE 5902.602
AT ITER 2333 NEW BEST:: SOT 31887 SOS 22623 HAS SOPS 11347 HAS SOUS 6957 HAS SOUPS 5857 WITH SCORE 5879.623
AT ITER 2339 NEW BEST:: SOT 31872 SOS 22620 HAS SOPS 11335 HAS SOUS 6951 HAS SOUPS 5851 WITH SCORE 5873.62
AT ITER 2340 NEW BEST:: SOT 31872 SOS 22620 HAS SOPS 11335 HAS SOUS 6939 HAS SOUPS 5839 WITH SCORE 5861.62
AT ITER 2370 NEW BEST:: SOT 31872 SOS 22563 HAS SOPS 11285 HAS SOUS 6939 HAS SOUPS 5839 WITH SCORE 5861.563
AT ITER 2382 NEW BEST:: SOT 31822 SOS 22513 HAS SOPS 11210 HAS SOUS 6860 HAS SOUPS 5760 WITH SCORE 5782.513
AT ITER 2387 NEW BEST:: SOT 31818 SOS 22509 HAS SOPS 11204 HAS SOUS 6859 HAS SOUPS 5759 WITH SCORE 5781.509
AT ITER 2409 NEW BEST:: SOT 31819 SOS 22505 HAS SOPS 11203 HAS SOUS 6857 HAS SOUPS 5757 WITH SCORE 5779.505
AT ITER 2448 NEW BEST:: SOT 31815 SOS 22501 HAS SOPS 11197 HAS SOUS 6838 HAS SOUPS 5738 WITH SCORE 5760.501
AT ITER 2501 NEW BEST:: SOT 31797 SOS 22483 HAS SOPS 11170 HAS SOUS 6807 HAS SOUPS 5707 WITH SCORE 5729.483
AT ITER 2522 NEW BEST:: SOT 31791 SOS 22477 HAS SOPS 11161 HAS SOUS 6798 HAS SOUPS 5698 WITH SCORE 5720.477
AT ITER 2550 NEW BEST:: SOT 31786 SOS 22472 HAS SOPS 11156 HAS SOUS 6783 HAS SOUPS 5683 WITH SCORE 5705.472
AT ITER 2574 NEW BEST:: SOT 31770 SOS 22456 HAS SOPS 11150 HAS SOUS 6773 HAS SOUPS 5673 WITH SCORE 5695.456
AT ITER 2583 NEW BEST:: SOT 31767 SOS 22442 HAS SOPS 11135 HAS SOUS 6768 HAS SOUPS 5668 WITH SCORE 5690.442
AT ITER 2585 NEW BEST:: SOT 31757 SOS 22432 HAS SOPS 11125 HAS SOUS 6754 HAS SOUPS 5654 WITH SCORE 5676.432
AT ITER 2611 NEW BEST:: SOT 31753 SOS 22428 HAS SOPS 11119 HAS SOUS 6748 HAS SOUPS 5648 WITH SCORE 5670.428
AT ITER 2630 NEW BEST:: SOT 31741 SOS 22416 HAS SOPS 11113 HAS SOUS 6739 HAS SOUPS 5639 WITH SCORE 5661.416
AT ITER 2651 NEW BEST:: SOT 31740 SOS 22415 HAS SOPS 11111 HAS SOUS 6738 HAS SOUPS 5638 WITH SCORE 5660.415
AT ITER 2652 NEW BEST:: SOT 31732 SOS 22407 HAS SOPS 11107 HAS SOUS 6732 HAS SOUPS 5632 WITH SCORE 5654.407
AT ITER 2657 NEW BEST:: SOT 31736 SOS 22411 HAS SOPS 11105 HAS SOUS 6730 HAS SOUPS 5630 WITH SCORE 5652.411
AT ITER 2664 NEW BEST:: SOT 31728 SOS 22403 HAS SOPS 11097 HAS SOUS 6710 HAS SOUPS 5610 WITH SCORE 5632.403
AT ITER 2731 NEW BEST:: SOT 31698 SOS 22273 HAS SOPS 10983 HAS SOUS 6646 HAS SOUPS 5562 WITH SCORE 5584.273
AT ITER 2732 NEW BEST:: SOT 31622 SOS 22197 HAS SOPS 10869 HAS SOUS 6508 HAS SOUPS 5424 WITH SCORE 5446.197
AT ITER 2744 NEW BEST:: SOT 31620 SOS 22195 HAS SOPS 10866 HAS SOUS 6505 HAS SOUPS 5421 WITH SCORE 5443.195
AT ITER 2757 NEW BEST:: SOT 31620 SOS 22195 HAS SOPS 10866 HAS SOUS 6503 HAS SOUPS 5419 WITH SCORE 5441.195
AT ITER 2770 NEW BEST:: SOT 31616 SOS 22191 HAS SOPS 10866 HAS SOUS 6503 HAS SOUPS 5419 WITH SCORE 5441.191
AT ITER 2855 NEW BEST:: SOT 31606 SOS 22186 HAS SOPS 10866 HAS SOUS 6473 HAS SOUPS 5389 WITH SCORE 5411.186
AT ITER 2888 NEW BEST:: SOT 31598 SOS 22178 HAS SOPS 10850 HAS SOUS 6466 HAS SOUPS 5382 WITH SCORE 5404.178
AT ITER 2899 NEW BEST:: SOT 31598 SOS 22178 HAS SOPS 10850 HAS SOUS 6462 HAS SOUPS 5378 WITH SCORE 5400.178
AT ITER 2907 NEW BEST:: SOT 31597 SOS 22175 HAS SOPS 10847 HAS SOUS 6459 HAS SOUPS 5375 WITH SCORE 5397.175
AT ITER 2914 NEW BEST:: SOT 31556 SOS 22135 HAS SOPS 10808 HAS SOUS 6454 HAS SOUPS 5370 WITH SCORE 5392.135
AT ITER 2999 NEW BEST:: SOT 31602 SOS 22181 HAS SOPS 10753 HAS SOUS 6449 HAS SOUPS 5365 WITH SCORE 5387.181
AT ITER 3051 NEW BEST:: SOT 31598 SOS 22177 HAS SOPS 10747 HAS SOUS 6434 HAS SOUPS 5350 WITH SCORE 5372.177
AT ITER 3105 NEW BEST:: SOT 31620 SOS 22148 HAS SOPS 10665 HAS SOUS 6433 HAS SOUPS 5349 WITH SCORE 5371.148
AT ITER 3154 NEW BEST:: SOT 31612 SOS 22140 HAS SOPS 10669 HAS SOUS 6425 HAS SOUPS 5341 WITH SCORE 5363.14
AT ITER 3183 NEW BEST:: SOT 31608 SOS 22132 HAS SOPS 10654 HAS SOUS 6417 HAS SOUPS 5333 WITH SCORE 5355.132
AT ITER 3228 NEW BEST:: SOT 31592 SOS 22116 HAS SOPS 10630 HAS SOUS 6396 HAS SOUPS 5312 WITH SCORE 5334.116
AT ITER 3232 NEW BEST:: SOT 31619 SOS 22143 HAS SOPS 10657 HAS SOUS 6390 HAS SOUPS 5306 WITH SCORE 5328.143
AT ITER 3239 NEW BEST:: SOT 31613 SOS 22137 HAS SOPS 10645 HAS SOUS 6376 HAS SOUPS 5292 WITH SCORE 5314.137
AT ITER 3255 NEW BEST:: SOT 31613 SOS 22137 HAS SOPS 10645 HAS SOUS 6368 HAS SOUPS 5284 WITH SCORE 5306.137
AT ITER 3377 NEW BEST:: SOT 31606 SOS 22095 HAS SOPS 10603 HAS SOUS 6361 HAS SOUPS 5277 WITH SCORE 5299.095
AT ITER 3403 NEW BEST:: SOT 31606 SOS 22090 HAS SOPS 10598 HAS SOUS 6361 HAS SOUPS 5277 WITH SCORE 5299.09
AT ITER 3418 NEW BEST:: SOT 31606 SOS 22090 HAS SOPS 10598 HAS SOUS 6357 HAS SOUPS 5273 WITH SCORE 5295.09
AT ITER 3431 NEW BEST:: SOT 31630 SOS 22114 HAS SOPS 10582 HAS SOUS 6340 HAS SOUPS 5256 WITH SCORE 5278.114
AT ITER 3437 NEW BEST:: SOT 31624 SOS 22108 HAS SOPS 10573 HAS SOUS 6331 HAS SOUPS 5247 WITH SCORE 5269.108
AT ITER 3449 NEW BEST:: SOT 31596 SOS 22243 HAS SOPS 10607 HAS SOUS 6328 HAS SOUPS 5240 WITH SCORE 5262.243
AT ITER 3460 NEW BEST:: SOT 31588 SOS 22235 HAS SOPS 10599 HAS SOUS 6324 HAS SOUPS 5236 WITH SCORE 5258.235
AT ITER 3473 NEW BEST:: SOT 31588 SOS 22235 HAS SOPS 10599 HAS SOUS 6308 HAS SOUPS 5220 WITH SCORE 5242.235
AT ITER 3492 NEW BEST:: SOT 31574 SOS 22232 HAS SOPS 10621 HAS SOUS 6303 HAS SOUPS 5215 WITH SCORE 5237.232
AT ITER 3545 NEW BEST:: SOT 31562 SOS 22220 HAS SOPS 10605 HAS SOUS 6295 HAS SOUPS 5207 WITH SCORE 5229.22
AT ITER 3557 NEW BEST:: SOT 31560 SOS 22233 HAS SOPS 10616 HAS SOUS 6293 HAS SOUPS 5205 WITH SCORE 5227.233
AT ITER 3608 NEW BEST:: SOT 31560 SOS 22233 HAS SOPS 10604 HAS SOUS 6288 HAS SOUPS 5200 WITH SCORE 5222.233
AT ITER 3711 NEW BEST:: SOT 31550 SOS 22223 HAS SOPS 10589 HAS SOUS 6270 HAS SOUPS 5182 WITH SCORE 5204.223
AT ITER 3742 NEW BEST:: SOT 31534 SOS 22207 HAS SOPS 10570 HAS SOUS 6251 HAS SOUPS 5163 WITH SCORE 5185.207
AT ITER 3787 NEW BEST:: SOT 31534 SOS 22207 HAS SOPS 10562 HAS SOUS 6247 HAS SOUPS 5159 WITH SCORE 5181.207
AT ITER 3816 NEW BEST:: SOT 31532 SOS 22212 HAS SOPS 10569 HAS SOUS 6244 HAS SOUPS 5156 WITH SCORE 5178.212
AT ITER 3852 NEW BEST:: SOT 31522 SOS 22198 HAS SOPS 10566 HAS SOUS 6241 HAS SOUPS 5153 WITH SCORE 5175.198
AT ITER 3918 NEW BEST:: SOT 31500 SOS 22112 HAS SOPS 10423 HAS SOUS 6203 HAS SOUPS 5115 WITH SCORE 5137.112
AT ITER 3924 NEW BEST:: SOT 31492 SOS 22104 HAS SOPS 10407 HAS SOUS 6187 HAS SOUPS 5099 WITH SCORE 5121.104
AT ITER 3945 NEW BEST:: SOT 31489 SOS 22101 HAS SOPS 10392 HAS SOUS 6187 HAS SOUPS 5099 WITH SCORE 5121.101
AT ITER 3976 NEW BEST:: SOT 31517 SOS 22122 HAS SOPS 10400 HAS SOUS 6186 HAS SOUPS 5098 WITH SCORE 5120.122
AT ITER 3997 NEW BEST:: SOT 31517 SOS 22122 HAS SOPS 10400 HAS SOUS 6185 HAS SOUPS 5097 WITH SCORE 5119.122
AT ITER 4017 NEW BEST:: SOT 31517 SOS 22122 HAS SOPS 10392 HAS SOUS 6179 HAS SOUPS 5091 WITH SCORE 5113.122
AT ITER 4018 NEW BEST:: SOT 31515 SOS 22120 HAS SOPS 10388 HAS SOUS 6176 HAS SOUPS 5088 WITH SCORE 5110.12
AT ITER 4045 NEW BEST:: SOT 31498 SOS 21991 HAS SOPS 10259 HAS SOUS 6164 HAS SOUPS 5076 WITH SCORE 5097.991
AT ITER 4051 NEW BEST:: SOT 31498 SOS 21991 HAS SOPS 10251 HAS SOUS 6158 HAS SOUPS 5070 WITH SCORE 5091.991
AT ITER 4076 NEW BEST:: SOT 31498 SOS 21991 HAS SOPS 10251 HAS SOUS 6157 HAS SOUPS 5069 WITH SCORE 5090.991
AT ITER 4123 NEW BEST:: SOT 31498 SOS 21991 HAS SOPS 10249 HAS SOUS 6158 HAS SOUPS 5068 WITH SCORE 5089.991
AT ITER 4134 NEW BEST:: SOT 31488 SOS 21981 HAS SOPS 10254 HAS SOUS 6158 HAS SOUPS 5068 WITH SCORE 5089.981
AT ITER 4136 NEW BEST:: SOT 31484 SOS 21977 HAS SOPS 10248 HAS SOUS 6152 HAS SOUPS 5062 WITH SCORE 5083.977
AT ITER 4265 NEW BEST:: SOT 31474 SOS 21967 HAS SOPS 10233 HAS SOUS 6132 HAS SOUPS 5042 WITH SCORE 5063.967
AT ITER 4277 NEW BEST:: SOT 31470 SOS 21963 HAS SOPS 10216 HAS SOUS 6116 HAS SOUPS 5026 WITH SCORE 5047.963
AT ITER 4301 NEW BEST:: SOT 31456 SOS 21949 HAS SOPS 10195 HAS SOUS 6102 HAS SOUPS 5012 WITH SCORE 5033.949
AT ITER 4304 NEW BEST:: SOT 31456 SOS 21949 HAS SOPS 10195 HAS SOUS 6099 HAS SOUPS 5009 WITH SCORE 5030.949
AT ITER 4396 NEW BEST:: SOT 31454 SOS 21947 HAS SOPS 10192 HAS SOUS 6098 HAS SOUPS 5008 WITH SCORE 5029.947
AT ITER 4429 NEW BEST:: SOT 31482 SOS 21975 HAS SOPS 10169 HAS SOUS 6085 HAS SOUPS 4995 WITH SCORE 5016.975
AT ITER 4435 NEW BEST:: SOT 31474 SOS 21967 HAS SOPS 10157 HAS SOUS 6068 HAS SOUPS 4978 WITH SCORE 4999.967
AT ITER 4485 NEW BEST:: SOT 31471 SOS 21964 HAS SOPS 10153 HAS SOUS 6065 HAS SOUPS 4975 WITH SCORE 4996.964
AT ITER 4486 NEW BEST:: SOT 31471 SOS 21964 HAS SOPS 10153 HAS SOUS 6053 HAS SOUPS 4963 WITH SCORE 4984.964
AT ITER 4490 NEW BEST:: SOT 31471 SOS 21964 HAS SOPS 10153 HAS SOUS 6052 HAS SOUPS 4962 WITH SCORE 4983.964
AT ITER 4492 NEW BEST:: SOT 31471 SOS 21964 HAS SOPS 10153 HAS SOUS 6049 HAS SOUPS 4959 WITH SCORE 4980.964
AT ITER 4501 NEW BEST:: SOT 31479 SOS 21972 HAS SOPS 10135 HAS SOUS 6047 HAS SOUPS 4957 WITH SCORE 4978.972
AT ITER 4635 NEW BEST:: SOT 31471 SOS 21964 HAS SOPS 10139 HAS SOUS 6046 HAS SOUPS 4956 WITH SCORE 4977.964
AT ITER 4664 NEW BEST:: SOT 31471 SOS 21964 HAS SOPS 10139 HAS SOUS 6045 HAS SOUPS 4955 WITH SCORE 4976.964
AT ITER 4683 NEW BEST:: SOT 31462 SOS 21912 HAS SOPS 10108 HAS SOUS 6013 HAS SOUPS 4941 WITH SCORE 4962.912
AT ITER 4697 NEW BEST:: SOT 31468 SOS 21918 HAS SOPS 10105 HAS SOUS 6010 HAS SOUPS 4938 WITH SCORE 4959.918
AT ITER 4715 NEW BEST:: SOT 31462 SOS 21912 HAS SOPS 10097 HAS SOUS 6005 HAS SOUPS 4933 WITH SCORE 4954.912
AT ITER 4735 NEW BEST:: SOT 31450 SOS 21900 HAS SOPS 10084 HAS SOUS 5972 HAS SOUPS 4900 WITH SCORE 4921.9
AT ITER 4741 NEW BEST:: SOT 31436 SOS 21886 HAS SOPS 10063 HAS SOUS 5943 HAS SOUPS 4871 WITH SCORE 4892.886
AT ITER 4755 NEW BEST:: SOT 31434 SOS 21884 HAS SOPS 10060 HAS SOUS 5939 HAS SOUPS 4867 WITH SCORE 4888.884
AT ITER 4765 NEW BEST:: SOT 31434 SOS 21884 HAS SOPS 10060 HAS SOUS 5937 HAS SOUPS 4865 WITH SCORE 4886.884
AT ITER 4776 NEW BEST:: SOT 31426 SOS 21876 HAS SOPS 10048 HAS SOUS 5929 HAS SOUPS 4857 WITH SCORE 4878.876
AT ITER 4792 NEW BEST:: SOT 31438 SOS 21888 HAS SOPS 10030 HAS SOUS 5928 HAS SOUPS 4856 WITH SCORE 4877.888
AT ITER 4796 NEW BEST:: SOT 31438 SOS 21888 HAS SOPS 10030 HAS SOUS 5926 HAS SOUPS 4854 WITH SCORE 4875.888
AT ITER 4802 NEW BEST:: SOT 31432 SOS 21882 HAS SOPS 10021 HAS SOUS 5917 HAS SOUPS 4845 WITH SCORE 4866.882
AT ITER 4926 NEW BEST:: SOT 31422 SOS 21872 HAS SOPS 10006 HAS SOUS 5902 HAS SOUPS 4830 WITH SCORE 4851.872
AT ITER 4948 NEW BEST:: SOT 31418 SOS 21868 HAS SOPS 10008 HAS SOUS 5902 HAS SOUPS 4830 WITH SCORE 4851.868
AT ITER 4953 NEW BEST:: SOT 31394 SOS 21844 HAS SOPS 10012 HAS SOUS 5889 HAS SOUPS 4817 WITH SCORE 4838.844
AT ITER 4967 NEW BEST:: SOT 31392 SOS 21842 HAS SOPS 10008 HAS SOUS 5889 HAS SOUPS 4817 WITH SCORE 4838.842
AT ITER 4974 NEW BEST:: SOT 31389 SOS 21836 HAS SOPS 10005 HAS SOUS 5883 HAS SOUPS 4814 WITH SCORE 4835.836
AT ITER 4990 NEW BEST:: SOT 31386 SOS 21833 HAS SOPS 9995 HAS SOUS 5880 HAS SOUPS 4811 WITH SCORE 4832.833
AT ITER 5016 NEW BEST:: SOT 31377 SOS 21906 HAS SOPS 10018 HAS SOUS 5879 HAS SOUPS 4810 WITH SCORE 4831.906
AT ITER 5019 NEW BEST:: SOT 31377 SOS 21906 HAS SOPS 10018 HAS SOUS 5876 HAS SOUPS 4807 WITH SCORE 4828.906
AT ITER 5108 NEW BEST:: SOT 31361 SOS 21890 HAS SOPS 10014 HAS SOUS 5873 HAS SOUPS 4804 WITH SCORE 4825.89
AT ITER 5146 NEW BEST:: SOT 31361 SOS 21890 HAS SOPS 10014 HAS SOUS 5872 HAS SOUPS 4803 WITH SCORE 4824.89
AT ITER 5156 NEW BEST:: SOT 31341 SOS 21870 HAS SOPS 9974 HAS SOUS 5872 HAS SOUPS 4803 WITH SCORE 4824.87
AT ITER 5180 NEW BEST:: SOT 31338 SOS 21874 HAS SOPS 9975 HAS SOUS 5869 HAS SOUPS 4800 WITH SCORE 4821.874
AT ITER 5195 NEW BEST:: SOT 31338 SOS 21874 HAS SOPS 9923 HAS SOUS 5849 HAS SOUPS 4780 WITH SCORE 4801.874
AT ITER 5207 NEW BEST:: SOT 31336 SOS 21872 HAS SOPS 9903 HAS SOUS 5830 HAS SOUPS 4761 WITH SCORE 4782.872
AT ITER 5287 NEW BEST:: SOT 31330 SOS 21866 HAS SOPS 9897 HAS SOUS 5825 HAS SOUPS 4756 WITH SCORE 4777.866
AT ITER 5307 NEW BEST:: SOT 31326 SOS 21862 HAS SOPS 9896 HAS SOUS 5816 HAS SOUPS 4747 WITH SCORE 4768.862
AT ITER 5355 NEW BEST:: SOT 31322 SOS 21858 HAS SOPS 9890 HAS SOUS 5805 HAS SOUPS 4736 WITH SCORE 4757.858
AT ITER 5363 NEW BEST:: SOT 31315 SOS 21820 HAS SOPS 9846 HAS SOUS 5792 HAS SOUPS 4717 WITH SCORE 4738.82
AT ITER 5406 NEW BEST:: SOT 31313 SOS 21818 HAS SOPS 9846 HAS SOUS 5791 HAS SOUPS 4717 WITH SCORE 4738.818
AT ITER 5440 NEW BEST:: SOT 31301 SOS 21806 HAS SOPS 9843 HAS SOUS 5788 HAS SOUPS 4714 WITH SCORE 4735.806
AT ITER 5444 NEW BEST:: SOT 31295 SOS 21800 HAS SOPS 9835 HAS SOUS 5784 HAS SOUPS 4710 WITH SCORE 4731.8
AT ITER 5480 NEW BEST:: SOT 31309 SOS 21814 HAS SOPS 9807 HAS SOUS 5749 HAS SOUPS 4675 WITH SCORE 4696.814
AT ITER 5505 NEW BEST:: SOT 31297 SOS 21802 HAS SOPS 9794 HAS SOUS 5736 HAS SOUPS 4662 WITH SCORE 4683.802
AT ITER 5541 NEW BEST:: SOT 31304 SOS 21809 HAS SOPS 9785 HAS SOUS 5741 HAS SOUPS 4661 WITH SCORE 4682.809
AT ITER 5595 NEW BEST:: SOT 31305 SOS 21810 HAS SOPS 9770 HAS SOUS 5743 HAS SOUPS 4658 WITH SCORE 4679.81
AT ITER 5626 NEW BEST:: SOT 31305 SOS 21808 HAS SOPS 9754 HAS SOUS 5743 HAS SOUPS 4658 WITH SCORE 4679.808
AT ITER 5670 NEW BEST:: SOT 31305 SOS 21808 HAS SOPS 9750 HAS SOUS 5739 HAS SOUPS 4654 WITH SCORE 4675.808
AT ITER 5703 NEW BEST:: SOT 31303 SOS 21806 HAS SOPS 9746 HAS SOUS 5736 HAS SOUPS 4651 WITH SCORE 4672.806
AT ITER 5709 NEW BEST:: SOT 31304 SOS 21807 HAS SOPS 9743 HAS SOUS 5737 HAS SOUPS 4650 WITH SCORE 4671.807
AT ITER 5742 NEW BEST:: SOT 31296 SOS 21799 HAS SOPS 9731 HAS SOUS 5725 HAS SOUPS 4638 WITH SCORE 4659.799
AT ITER 5782 NEW BEST:: SOT 31292 SOS 21795 HAS SOPS 9725 HAS SOUS 5722 HAS SOUPS 4635 WITH SCORE 4656.795
AT ITER 5806 NEW BEST:: SOT 31304 SOS 21777 HAS SOPS 9710 HAS SOUS 5718 HAS SOUPS 4631 WITH SCORE 4652.777
AT ITER 5808 NEW BEST:: SOT 31296 SOS 21769 HAS SOPS 9714 HAS SOUS 5714 HAS SOUPS 4627 WITH SCORE 4648.769
AT ITER 5860 NEW BEST:: SOT 31277 SOS 21837 HAS SOPS 9764 HAS SOUS 5713 HAS SOUPS 4626 WITH SCORE 4647.837
AT ITER 5869 NEW BEST:: SOT 31265 SOS 21825 HAS SOPS 9718 HAS SOUS 5674 HAS SOUPS 4587 WITH SCORE 4608.825
AT ITER 5935 NEW BEST:: SOT 31267 SOS 21827 HAS SOPS 9713 HAS SOUS 5671 HAS SOUPS 4584 WITH SCORE 4605.827
AT ITER 6028 NEW BEST:: SOT 31262 SOS 21834 HAS SOPS 9720 HAS SOUS 5666 HAS SOUPS 4579 WITH SCORE 4600.834
AT ITER 6067 NEW BEST:: SOT 31237 SOS 21784 HAS SOPS 9680 HAS SOUS 5658 HAS SOUPS 4571 WITH SCORE 4592.784
AT ITER 6077 NEW BEST:: SOT 31229 SOS 21763 HAS SOPS 9666 HAS SOUS 5638 HAS SOUPS 4558 WITH SCORE 4579.763
AT ITER 6167 NEW BEST:: SOT 31223 SOS 21757 HAS SOPS 9657 HAS SOUS 5629 HAS SOUPS 4549 WITH SCORE 4570.757
AT ITER 6233 NEW BEST:: SOT 31223 SOS 21757 HAS SOPS 9657 HAS SOUS 5628 HAS SOUPS 4548 WITH SCORE 4569.757
AT ITER 6274 NEW BEST:: SOT 31215 SOS 21749 HAS SOPS 9641 HAS SOUS 5616 HAS SOUPS 4536 WITH SCORE 4557.749
AT ITER 6303 NEW BEST:: SOT 31213 SOS 21747 HAS SOPS 9638 HAS SOUS 5609 HAS SOUPS 4529 WITH SCORE 4550.747
AT ITER 6336 NEW BEST:: SOT 31207 SOS 21741 HAS SOPS 9639 HAS SOUS 5603 HAS SOUPS 4524 WITH SCORE 4545.741
AT ITER 6337 NEW BEST:: SOT 31207 SOS 21739 HAS SOPS 9635 HAS SOUS 5601 HAS SOUPS 4522 WITH SCORE 4543.739
AT ITER 6397 NEW BEST:: SOT 31201 SOS 21733 HAS SOPS 9626 HAS SOUS 5592 HAS SOUPS 4513 WITH SCORE 4534.733
AT ITER 6470 NEW BEST:: SOT 31185 SOS 21717 HAS SOPS 9594 HAS SOUS 5568 HAS SOUPS 4489 WITH SCORE 4510.717
AT ITER 6524 NEW BEST:: SOT 31185 SOS 21685 HAS SOPS 9562 HAS SOUS 5568 HAS SOUPS 4489 WITH SCORE 4510.685
AT ITER 6540 NEW BEST:: SOT 31181 SOS 21681 HAS SOPS 9546 HAS SOUS 5558 HAS SOUPS 4479 WITH SCORE 4500.681
AT ITER 6579 NEW BEST:: SOT 31181 SOS 21681 HAS SOPS 9546 HAS SOUS 5557 HAS SOUPS 4478 WITH SCORE 4499.681
AT ITER 6629 NEW BEST:: SOT 31175 SOS 21675 HAS SOPS 9537 HAS SOUS 5550 HAS SOUPS 4471 WITH SCORE 4492.675
AT ITER 6835 NEW BEST:: SOT 31169 SOS 21669 HAS SOPS 9528 HAS SOUS 5540 HAS SOUPS 4461 WITH SCORE 4482.669
AT ITER 6934 NEW BEST:: SOT 31153 SOS 21645 HAS SOPS 9496 HAS SOUS 5508 HAS SOUPS 4429 WITH SCORE 4450.645
AT ITER 6994 NEW BEST:: SOT 31152 SOS 21644 HAS SOPS 9495 HAS SOUS 5507 HAS SOUPS 4428 WITH SCORE 4449.644
AT ITER 7002 NEW BEST:: SOT 31122 SOS 21614 HAS SOPS 9482 HAS SOUS 5477 HAS SOUPS 4398 WITH SCORE 4419.614
AT ITER 7019 NEW BEST:: SOT 31115 SOS 21608 HAS SOPS 9476 HAS SOUS 5469 HAS SOUPS 4390 WITH SCORE 4411.608
AT ITER 7021 NEW BEST:: SOT 31089 SOS 21582 HAS SOPS 9437 HAS SOUS 5419 HAS SOUPS 4340 WITH SCORE 4361.582
AT ITER 7094 NEW BEST:: SOT 31085 SOS 21578 HAS SOPS 9429 HAS SOUS 5411 HAS SOUPS 4332 WITH SCORE 4353.578
AT ITER 7291 NEW BEST:: SOT 31084 SOS 21579 HAS SOPS 9432 HAS SOUS 5410 HAS SOUPS 4331 WITH SCORE 4352.579
AT ITER 7320 NEW BEST:: SOT 31078 SOS 21573 HAS SOPS 9423 HAS SOUS 5404 HAS SOUPS 4325 WITH SCORE 4346.573
AT ITER 7326 NEW BEST:: SOT 31067 SOS 21562 HAS SOPS 9404 HAS SOUS 5391 HAS SOUPS 4312 WITH SCORE 4333.562
AT ITER 7331 NEW BEST:: SOT 31073 SOS 21568 HAS SOPS 9397 HAS SOUS 5388 HAS SOUPS 4309 WITH SCORE 4330.568
AT ITER 7362 NEW BEST:: SOT 31055 SOS 21550 HAS SOPS 9379 HAS SOUS 5374 HAS SOUPS 4295 WITH SCORE 4316.55
AT ITER 7395 NEW BEST:: SOT 31055 SOS 21550 HAS SOPS 9379 HAS SOUS 5373 HAS SOUPS 4294 WITH SCORE 4315.55
AT ITER 7708 NEW BEST:: SOT 31050 SOS 21545 HAS SOPS 9371 HAS SOUS 5365 HAS SOUPS 4286 WITH SCORE 4307.545
AT ITER 7727 NEW BEST:: SOT 31042 SOS 21537 HAS SOPS 9352 HAS SOUS 5350 HAS SOUPS 4271 WITH SCORE 4292.537
AT ITER 7741 NEW BEST:: SOT 31041 SOS 21525 HAS SOPS 9340 HAS SOUS 5349 HAS SOUPS 4270 WITH SCORE 4291.525
AT ITER 7777 NEW BEST:: SOT 31041 SOS 21525 HAS SOPS 9340 HAS SOUS 5347 HAS SOUPS 4268 WITH SCORE 4289.525
AT ITER 7813 NEW BEST:: SOT 31033 SOS 21556 HAS SOPS 9349 HAS SOUS 5347 HAS SOUPS 4267 WITH SCORE 4288.556
AT ITER 7836 NEW BEST:: SOT 31033 SOS 21556 HAS SOPS 9349 HAS SOUS 5346 HAS SOUPS 4266 WITH SCORE 4287.556
AT ITER 7881 NEW BEST:: SOT 31031 SOS 21554 HAS SOPS 9346 HAS SOUS 5345 HAS SOUPS 4265 WITH SCORE 4286.554
AT ITER 7960 NEW BEST:: SOT 31030 SOS 21551 HAS SOPS 9341 HAS SOUS 5341 HAS SOUPS 4260 WITH SCORE 4281.551
AT ITER 8040 NEW BEST:: SOT 31030 SOS 21551 HAS SOPS 9329 HAS SOUS 5332 HAS SOUPS 4251 WITH SCORE 4272.551
AT ITER 8083 NEW BEST:: SOT 31027 SOS 21540 HAS SOPS 9326 HAS SOUS 5331 HAS SOUPS 4250 WITH SCORE 4271.54
AT ITER 8097 NEW BEST:: SOT 31011 SOS 21524 HAS SOPS 9302 HAS SOUS 5315 HAS SOUPS 4234 WITH SCORE 4255.524
AT ITER 8112 NEW BEST:: SOT 31009 SOS 21521 HAS SOPS 9298 HAS SOUS 5312 HAS SOUPS 4231 WITH SCORE 4252.521
AT ITER 8150 NEW BEST:: SOT 31013 SOS 21520 HAS SOPS 9297 HAS SOUS 5310 HAS SOUPS 4229 WITH SCORE 4250.52
AT ITER 8282 NEW BEST:: SOT 31011 SOS 21518 HAS SOPS 9294 HAS SOUS 5307 HAS SOUPS 4226 WITH SCORE 4247.518
AT ITER 8350 NEW BEST:: SOT 31008 SOS 21518 HAS SOPS 9297 HAS SOUS 5305 HAS SOUPS 4224 WITH SCORE 4245.518
AT ITER 8351 NEW BEST:: SOT 31014 SOS 21516 HAS SOPS 9299 HAS SOUS 5303 HAS SOUPS 4222 WITH SCORE 4243.516
AT ITER 8356 NEW BEST:: SOT 30960 SOS 21907 HAS SOPS 9455 HAS SOUS 5305 HAS SOUPS 4214 WITH SCORE 4235.907
AT ITER 8396 NEW BEST:: SOT 30948 SOS 21895 HAS SOPS 9461 HAS SOUS 5293 HAS SOUPS 4202 WITH SCORE 4223.895
AT ITER 8400 NEW BEST:: SOT 30948 SOS 21895 HAS SOPS 9461 HAS SOUS 5292 HAS SOUPS 4201 WITH SCORE 4222.895
AT ITER 8424 NEW BEST:: SOT 30947 SOS 21894 HAS SOPS 9460 HAS SOUS 5291 HAS SOUPS 4200 WITH SCORE 4221.894
AT ITER 8448 NEW BEST:: SOT 30887 SOS 22261 HAS SOPS 9568 HAS SOUS 5299 HAS SOUPS 4198 WITH SCORE 4220.261
AT ITER 8465 NEW BEST:: SOT 30883 SOS 22257 HAS SOPS 9562 HAS SOUS 5293 HAS SOUPS 4192 WITH SCORE 4214.257
AT ITER 8534 NEW BEST:: SOT 30881 SOS 22255 HAS SOPS 9559 HAS SOUS 5283 HAS SOUPS 4182 WITH SCORE 4204.255
AT ITER 8541 NEW BEST:: SOT 30873 SOS 22244 HAS SOPS 9544 HAS SOUS 5271 HAS SOUPS 4170 WITH SCORE 4192.244
AT ITER 8592 NEW BEST:: SOT 30871 SOS 22228 HAS SOPS 9528 HAS SOUS 5265 HAS SOUPS 4164 WITH SCORE 4186.228
AT ITER 8649 NEW BEST:: SOT 30867 SOS 22224 HAS SOPS 9522 HAS SOUS 5257 HAS SOUPS 4156 WITH SCORE 4178.224
AT ITER 8819 NEW BEST:: SOT 30864 SOS 22221 HAS SOPS 9517 HAS SOUS 5250 HAS SOUPS 4149 WITH SCORE 4171.221
AT ITER 8836 NEW BEST:: SOT 30868 SOS 22225 HAS SOPS 9511 HAS SOUS 5247 HAS SOUPS 4146 WITH SCORE 4168.225
AT ITER 8981 NEW BEST:: SOT 30868 SOS 22225 HAS SOPS 9511 HAS SOUS 5244 HAS SOUPS 4143 WITH SCORE 4165.225
AT ITER 9058 NEW BEST:: SOT 30861 SOS 22195 HAS SOPS 9486 HAS SOUS 5226 HAS SOUPS 4130 WITH SCORE 4152.195
AT ITER 9096 NEW BEST:: SOT 30857 SOS 22191 HAS SOPS 9481 HAS SOUS 5222 HAS SOUPS 4126 WITH SCORE 4148.191
AT ITER 9132 NEW BEST:: SOT 30841 SOS 22176 HAS SOPS 9458 HAS SOUS 5217 HAS SOUPS 4121 WITH SCORE 4143.176
AT ITER 9280 NEW BEST:: SOT 30841 SOS 22176 HAS SOPS 9446 HAS SOUS 5210 HAS SOUPS 4114 WITH SCORE 4136.176
AT ITER 9389 NEW BEST:: SOT 30853 SOS 22188 HAS SOPS 9464 HAS SOUS 5201 HAS SOUPS 4105 WITH SCORE 4127.188
AT ITER 9417 NEW BEST:: SOT 30857 SOS 22192 HAS SOPS 9442 HAS SOUS 5187 HAS SOUPS 4091 WITH SCORE 4113.192
AT ITER 9421 NEW BEST:: SOT 30863 SOS 22198 HAS SOPS 9441 HAS SOUS 5187 HAS SOUPS 4088 WITH SCORE 4110.198
AT ITER 9449 NEW BEST:: SOT 30861 SOS 22196 HAS SOPS 9440 HAS SOUS 5184 HAS SOUPS 4085 WITH SCORE 4107.196
AT ITER 9620 NEW BEST:: SOT 30859 SOS 22194 HAS SOPS 9441 HAS SOUS 5182 HAS SOUPS 4083 WITH SCORE 4105.194
AT ITER 9688 NEW BEST:: SOT 30853 SOS 22188 HAS SOPS 9433 HAS SOUS 5176 HAS SOUPS 4077 WITH SCORE 4099.188
AT ITER 9824 NEW BEST:: SOT 30847 SOS 22182 HAS SOPS 9424 HAS SOUS 5161 HAS SOUPS 4062 WITH SCORE 4084.182
AT ITER 9894 NEW BEST:: SOT 30850 SOS 22179 HAS SOPS 9421 HAS SOUS 5158 HAS SOUPS 4059 WITH SCORE 4081.179
AT ITER 9945 NEW BEST:: SOT 30844 SOS 22218 HAS SOPS 9435 HAS SOUS 5158 HAS SOUPS 4058 WITH SCORE 4080.218
STATE_SPACE STATES 290943857237679643228538581 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 38 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 6992602093393911917034043864 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679138293858

--------------------
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="Raft-PT-06"
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 Raft-PT-06, 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 r331-tall-167889204300328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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