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.r171-tall-167838858700544.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 FlexibleBarrier-PT-16a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858700544
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 648K
-rw-r--r-- 1 mcc users 7.6K Feb 25 13:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 25 13:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 12:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 12:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 13:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 91K Feb 25 13:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 13:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 13:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 214K 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 1679480006990

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=FlexibleBarrier-PT-16a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 10:13:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 10:13:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 10:13:28] [INFO ] Load time of PNML (sax parser for PT used): 69 ms
[2023-03-22 10:13:28] [INFO ] Transformed 195 places.
[2023-03-22 10:13:28] [INFO ] Transformed 724 transitions.
[2023-03-22 10:13:28] [INFO ] Found NUPN structural information;
[2023-03-22 10:13:28] [INFO ] Parsed PT model containing 195 places and 724 transitions and 3489 arcs in 135 ms.
[2023-03-22 10:13:28] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 195 places, 724 transitions and 3489 arcs took 9 ms.
Total runtime 171 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 16a
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: 195 places, 724 transitions, 3489 arcs.
AT ITER 0 NEW BEST:: SOT 123777 SOS 105472 HAS SOPS 105472 HAS SOUS 60122 HAS SOUPS 60122 WITH SCORE 60227.472
AT ITER 4 NEW BEST:: SOT 123901 SOS 105257 HAS SOPS 105257 HAS SOUS 57959 HAS SOUPS 57959 WITH SCORE 58064.257
AT ITER 5 NEW BEST:: SOT 123694 SOS 105088 HAS SOPS 105088 HAS SOUS 57847 HAS SOUPS 57847 WITH SCORE 57952.088
AT ITER 7 NEW BEST:: SOT 123563 SOS 104957 HAS SOPS 104957 HAS SOUS 57712 HAS SOUPS 57712 WITH SCORE 57816.957
AT ITER 11 NEW BEST:: SOT 123664 SOS 104486 HAS SOPS 104486 HAS SOUS 54369 HAS SOUPS 54369 WITH SCORE 54473.486
AT ITER 13 NEW BEST:: SOT 123804 SOS 103649 HAS SOPS 103649 HAS SOUS 50682 HAS SOUPS 50682 WITH SCORE 50785.649
AT ITER 14 NEW BEST:: SOT 123856 SOS 103205 HAS SOPS 103205 HAS SOUS 49574 HAS SOUPS 49574 WITH SCORE 49677.205
AT ITER 15 NEW BEST:: SOT 123749 SOS 103057 HAS SOPS 103057 HAS SOUS 49533 HAS SOUPS 49533 WITH SCORE 49636.057
AT ITER 16 NEW BEST:: SOT 123565 SOS 102731 HAS SOPS 102731 HAS SOUS 49323 HAS SOUPS 49323 WITH SCORE 49425.731
AT ITER 17 NEW BEST:: SOT 123594 SOS 102575 HAS SOPS 102575 HAS SOUS 49227 HAS SOUPS 49227 WITH SCORE 49329.575
AT ITER 23 NEW BEST:: SOT 123198 SOS 102085 HAS SOPS 102085 HAS SOUS 49008 HAS SOUPS 49008 WITH SCORE 49110.085
AT ITER 26 NEW BEST:: SOT 123285 SOS 102127 HAS SOPS 102127 HAS SOUS 49007 HAS SOUPS 49007 WITH SCORE 49109.127
AT ITER 28 NEW BEST:: SOT 123311 SOS 102178 HAS SOPS 102178 HAS SOUS 49004 HAS SOUPS 49004 WITH SCORE 49106.178
AT ITER 31 NEW BEST:: SOT 123119 SOS 102004 HAS SOPS 102004 HAS SOUS 48965 HAS SOUPS 48965 WITH SCORE 49067.004
AT ITER 32 NEW BEST:: SOT 122529 SOS 101414 HAS SOPS 101414 HAS SOUS 48671 HAS SOUPS 48671 WITH SCORE 48772.414
AT ITER 34 NEW BEST:: SOT 122362 SOS 101093 HAS SOPS 101093 HAS SOUS 48528 HAS SOUPS 48528 WITH SCORE 48629.093
AT ITER 35 NEW BEST:: SOT 122413 SOS 101042 HAS SOPS 101042 HAS SOUS 48477 HAS SOUPS 48477 WITH SCORE 48578.042
AT ITER 38 NEW BEST:: SOT 122441 SOS 100699 HAS SOPS 100699 HAS SOUS 48354 HAS SOUPS 48354 WITH SCORE 48454.699
AT ITER 42 NEW BEST:: SOT 122081 SOS 100426 HAS SOPS 100426 HAS SOUS 48320 HAS SOUPS 48320 WITH SCORE 48420.426
AT ITER 45 NEW BEST:: SOT 122180 SOS 100507 HAS SOPS 100507 HAS SOUS 48283 HAS SOUPS 48283 WITH SCORE 48383.507
AT ITER 47 NEW BEST:: SOT 122358 SOS 99036 HAS SOPS 99036 HAS SOUS 45749 HAS SOUPS 45749 WITH SCORE 45848.036
AT ITER 49 NEW BEST:: SOT 122358 SOS 98723 HAS SOPS 98723 HAS SOUS 45421 HAS SOUPS 45421 WITH SCORE 45519.723
AT ITER 50 NEW BEST:: SOT 122048 SOS 98434 HAS SOPS 98434 HAS SOUS 45368 HAS SOUPS 45368 WITH SCORE 45466.434
AT ITER 51 NEW BEST:: SOT 122123 SOS 98584 HAS SOPS 98584 HAS SOUS 45365 HAS SOUPS 45365 WITH SCORE 45463.584
AT ITER 53 NEW BEST:: SOT 122361 SOS 97638 HAS SOPS 97638 HAS SOUS 44218 HAS SOUPS 44218 WITH SCORE 44315.638
AT ITER 55 NEW BEST:: SOT 122407 SOS 97592 HAS SOPS 97592 HAS SOUS 44172 HAS SOUPS 44172 WITH SCORE 44269.592
AT ITER 56 NEW BEST:: SOT 122442 SOS 97542 HAS SOPS 97542 HAS SOUS 44126 HAS SOUPS 44126 WITH SCORE 44223.542
AT ITER 57 NEW BEST:: SOT 120273 SOS 95488 HAS SOPS 95373 HAS SOUS 42048 HAS SOUPS 42014 WITH SCORE 42109.488
AT ITER 58 NEW BEST:: SOT 120270 SOS 95482 HAS SOPS 95367 HAS SOUS 42045 HAS SOUPS 42011 WITH SCORE 42106.482
AT ITER 59 NEW BEST:: SOT 120342 SOS 95467 HAS SOPS 95346 HAS SOUS 42036 HAS SOUPS 42002 WITH SCORE 42097.467
AT ITER 60 NEW BEST:: SOT 120345 SOS 95436 HAS SOPS 95305 HAS SOUS 41998 HAS SOUPS 41964 WITH SCORE 42059.436
AT ITER 62 NEW BEST:: SOT 120344 SOS 95435 HAS SOPS 95304 HAS SOUS 41997 HAS SOUPS 41963 WITH SCORE 42058.435
AT ITER 63 NEW BEST:: SOT 120557 SOS 92641 HAS SOPS 92510 HAS SOUS 38338 HAS SOUPS 38304 WITH SCORE 38396.641
AT ITER 64 NEW BEST:: SOT 120568 SOS 91716 HAS SOPS 91585 HAS SOUS 38034 HAS SOUPS 38000 WITH SCORE 38091.716
AT ITER 69 NEW BEST:: SOT 120584 SOS 89852 HAS SOPS 89721 HAS SOUS 37138 HAS SOUPS 37104 WITH SCORE 37193.852
AT ITER 70 NEW BEST:: SOT 120575 SOS 89488 HAS SOPS 89357 HAS SOUS 37050 HAS SOUPS 37016 WITH SCORE 37105.488
AT ITER 76 NEW BEST:: SOT 120460 SOS 88951 HAS SOPS 88820 HAS SOUS 36840 HAS SOUPS 36806 WITH SCORE 36894.951
AT ITER 77 NEW BEST:: SOT 120435 SOS 88953 HAS SOPS 88822 HAS SOUS 36816 HAS SOUPS 36782 WITH SCORE 36870.953
AT ITER 79 NEW BEST:: SOT 120482 SOS 87100 HAS SOPS 86969 HAS SOUS 36220 HAS SOUPS 36186 WITH SCORE 36273.1
AT ITER 82 NEW BEST:: SOT 120482 SOS 87046 HAS SOPS 86915 HAS SOUS 36166 HAS SOUPS 36132 WITH SCORE 36219.046
AT ITER 83 NEW BEST:: SOT 120303 SOS 86867 HAS SOPS 86736 HAS SOUS 36139 HAS SOUPS 36105 WITH SCORE 36191.867
AT ITER 86 NEW BEST:: SOT 120402 SOS 83325 HAS SOPS 83194 HAS SOUS 33869 HAS SOUPS 33835 WITH SCORE 33918.325
AT ITER 92 NEW BEST:: SOT 120469 SOS 79822 HAS SOPS 79691 HAS SOUS 32824 HAS SOUPS 32790 WITH SCORE 32869.822
AT ITER 93 NEW BEST:: SOT 120453 SOS 79627 HAS SOPS 79482 HAS SOUS 32657 HAS SOUPS 32623 WITH SCORE 32702.627
AT ITER 94 NEW BEST:: SOT 120451 SOS 79577 HAS SOPS 79432 HAS SOUS 32609 HAS SOUPS 32575 WITH SCORE 32654.577
AT ITER 95 NEW BEST:: SOT 120483 SOS 79472 HAS SOPS 79327 HAS SOUS 32545 HAS SOUPS 32511 WITH SCORE 32590.472
AT ITER 96 NEW BEST:: SOT 120402 SOS 79344 HAS SOPS 79199 HAS SOUS 32486 HAS SOUPS 32452 WITH SCORE 32531.344
AT ITER 98 NEW BEST:: SOT 118668 SOS 79272 HAS SOPS 77398 HAS SOUS 30802 HAS SOUPS 30696 WITH SCORE 30775.272
AT ITER 106 NEW BEST:: SOT 112582 SOS 74811 HAS SOPS 71226 HAS SOUS 28036 HAS SOUPS 27868 WITH SCORE 27942.811
AT ITER 111 NEW BEST:: SOT 112621 SOS 74848 HAS SOPS 71236 HAS SOUS 27988 HAS SOUPS 27820 WITH SCORE 27894.848
AT ITER 118 NEW BEST:: SOT 112611 SOS 74828 HAS SOPS 71216 HAS SOUS 27978 HAS SOUPS 27810 WITH SCORE 27884.828
AT ITER 120 NEW BEST:: SOT 112512 SOS 74479 HAS SOPS 70913 HAS SOUS 27852 HAS SOUPS 27684 WITH SCORE 27758.479
AT ITER 132 NEW BEST:: SOT 112542 SOS 74461 HAS SOPS 70828 HAS SOUS 27793 HAS SOUPS 27625 WITH SCORE 27699.461
AT ITER 135 NEW BEST:: SOT 112544 SOS 74448 HAS SOPS 70815 HAS SOUS 27780 HAS SOUPS 27612 WITH SCORE 27686.448
AT ITER 136 NEW BEST:: SOT 112544 SOS 74442 HAS SOPS 70809 HAS SOUS 27780 HAS SOUPS 27612 WITH SCORE 27686.442
AT ITER 137 NEW BEST:: SOT 112550 SOS 74000 HAS SOPS 70367 HAS SOUS 27584 HAS SOUPS 27416 WITH SCORE 27490.0
AT ITER 140 NEW BEST:: SOT 112546 SOS 73895 HAS SOPS 70294 HAS SOUS 27581 HAS SOUPS 27413 WITH SCORE 27486.895
AT ITER 145 NEW BEST:: SOT 110179 SOS 71539 HAS SOPS 67905 HAS SOUS 26326 HAS SOUPS 26158 WITH SCORE 26229.539
AT ITER 146 NEW BEST:: SOT 109999 SOS 71326 HAS SOPS 67622 HAS SOUS 26067 HAS SOUPS 25899 WITH SCORE 25970.326
AT ITER 147 NEW BEST:: SOT 109965 SOS 71285 HAS SOPS 67581 HAS SOUS 26026 HAS SOUPS 25858 WITH SCORE 25929.285
AT ITER 149 NEW BEST:: SOT 109955 SOS 71057 HAS SOPS 67305 HAS SOUS 25822 HAS SOUPS 25654 WITH SCORE 25725.057
AT ITER 150 NEW BEST:: SOT 109951 SOS 70999 HAS SOPS 67250 HAS SOUS 25822 HAS SOUPS 25654 WITH SCORE 25724.999
AT ITER 155 NEW BEST:: SOT 108365 SOS 69789 HAS SOPS 66025 HAS SOUS 25260 HAS SOUPS 25092 WITH SCORE 25161.789
AT ITER 158 NEW BEST:: SOT 108440 SOS 69650 HAS SOPS 65964 HAS SOUS 25185 HAS SOUPS 25017 WITH SCORE 25086.65
AT ITER 167 NEW BEST:: SOT 108426 SOS 69622 HAS SOPS 65936 HAS SOUS 25157 HAS SOUPS 24989 WITH SCORE 25058.622
AT ITER 169 NEW BEST:: SOT 108426 SOS 69611 HAS SOPS 65749 HAS SOUS 24893 HAS SOUPS 24725 WITH SCORE 24794.611
AT ITER 170 NEW BEST:: SOT 108428 SOS 69611 HAS SOPS 65749 HAS SOUS 24891 HAS SOUPS 24723 WITH SCORE 24792.611
AT ITER 174 NEW BEST:: SOT 107833 SOS 69069 HAS SOPS 65207 HAS SOUS 24693 HAS SOUPS 24525 WITH SCORE 24594.069
AT ITER 175 NEW BEST:: SOT 107832 SOS 69097 HAS SOPS 65235 HAS SOUS 24692 HAS SOUPS 24524 WITH SCORE 24593.097
AT ITER 179 NEW BEST:: SOT 107472 SOS 68737 HAS SOPS 64875 HAS SOUS 24512 HAS SOUPS 24344 WITH SCORE 24412.737
AT ITER 186 NEW BEST:: SOT 107471 SOS 68735 HAS SOPS 64845 HAS SOUS 24314 HAS SOUPS 24139 WITH SCORE 24207.735
AT ITER 188 NEW BEST:: SOT 107423 SOS 68648 HAS SOPS 64749 HAS SOUS 24250 HAS SOUPS 24071 WITH SCORE 24139.648
AT ITER 193 NEW BEST:: SOT 107095 SOS 68320 HAS SOPS 64421 HAS SOUS 24086 HAS SOUPS 23907 WITH SCORE 23975.32
AT ITER 194 NEW BEST:: SOT 107023 SOS 68235 HAS SOPS 64277 HAS SOUS 23882 HAS SOUPS 23703 WITH SCORE 23771.235
AT ITER 199 NEW BEST:: SOT 106601 SOS 67787 HAS SOPS 63569 HAS SOUS 23385 HAS SOUPS 23206 WITH SCORE 23273.787
AT ITER 202 NEW BEST:: SOT 106582 SOS 67537 HAS SOPS 63362 HAS SOUS 23283 HAS SOUPS 23104 WITH SCORE 23171.537
AT ITER 205 NEW BEST:: SOT 104751 SOS 65724 HAS SOPS 61435 HAS SOUS 22280 HAS SOUPS 22101 WITH SCORE 22166.724
AT ITER 209 NEW BEST:: SOT 106393 SOS 64439 HAS SOPS 59969 HAS SOUS 22040 HAS SOUPS 21861 WITH SCORE 21925.439
AT ITER 210 NEW BEST:: SOT 106173 SOS 64215 HAS SOPS 59745 HAS SOUS 21924 HAS SOUPS 21745 WITH SCORE 21809.215
AT ITER 212 NEW BEST:: SOT 106940 SOS 64939 HAS SOPS 60219 HAS SOUS 21478 HAS SOUPS 21299 WITH SCORE 21363.939
AT ITER 237 NEW BEST:: SOT 106939 SOS 64937 HAS SOPS 60217 HAS SOUS 21478 HAS SOUPS 21299 WITH SCORE 21363.937
AT ITER 238 NEW BEST:: SOT 106909 SOS 64907 HAS SOPS 60187 HAS SOUS 21448 HAS SOUPS 21269 WITH SCORE 21333.907
AT ITER 240 NEW BEST:: SOT 106907 SOS 64904 HAS SOPS 60183 HAS SOUS 21411 HAS SOUPS 21232 WITH SCORE 21296.904
AT ITER 246 NEW BEST:: SOT 106839 SOS 64827 HAS SOPS 60047 HAS SOUS 21241 HAS SOUPS 21062 WITH SCORE 21126.827
AT ITER 249 NEW BEST:: SOT 106831 SOS 64819 HAS SOPS 60031 HAS SOUS 21225 HAS SOUPS 21046 WITH SCORE 21110.819
AT ITER 251 NEW BEST:: SOT 106804 SOS 64823 HAS SOPS 60018 HAS SOUS 21182 HAS SOUPS 21003 WITH SCORE 21067.823
AT ITER 253 NEW BEST:: SOT 106794 SOS 61682 HAS SOPS 56890 HAS SOUS 20720 HAS SOUPS 20541 WITH SCORE 20602.682
AT ITER 255 NEW BEST:: SOT 106780 SOS 61605 HAS SOPS 56803 HAS SOUS 20634 HAS SOUPS 20454 WITH SCORE 20515.605
AT ITER 259 NEW BEST:: SOT 106785 SOS 61562 HAS SOPS 56760 HAS SOUS 20608 HAS SOUPS 20428 WITH SCORE 20489.562
AT ITER 275 NEW BEST:: SOT 106781 SOS 61554 HAS SOPS 56757 HAS SOUS 20604 HAS SOUPS 20424 WITH SCORE 20485.554
AT ITER 281 NEW BEST:: SOT 106713 SOS 61439 HAS SOPS 56621 HAS SOUS 20546 HAS SOUPS 20366 WITH SCORE 20427.439
AT ITER 287 NEW BEST:: SOT 106731 SOS 58592 HAS SOPS 53813 HAS SOUS 20176 HAS SOUPS 19996 WITH SCORE 20054.592
AT ITER 289 NEW BEST:: SOT 106689 SOS 58526 HAS SOPS 53443 HAS SOUS 19710 HAS SOUPS 19530 WITH SCORE 19588.526
AT ITER 295 NEW BEST:: SOT 106715 SOS 58462 HAS SOPS 53379 HAS SOUS 19707 HAS SOUPS 19527 WITH SCORE 19585.462
AT ITER 296 NEW BEST:: SOT 106715 SOS 58449 HAS SOPS 53366 HAS SOUS 19694 HAS SOUPS 19514 WITH SCORE 19572.449
AT ITER 297 NEW BEST:: SOT 106708 SOS 58306 HAS SOPS 53207 HAS SOUS 19643 HAS SOUPS 19463 WITH SCORE 19521.306
AT ITER 299 NEW BEST:: SOT 106707 SOS 58214 HAS SOPS 53115 HAS SOUS 19598 HAS SOUPS 19418 WITH SCORE 19476.214
AT ITER 305 NEW BEST:: SOT 106648 SOS 58161 HAS SOPS 53062 HAS SOUS 19574 HAS SOUPS 19394 WITH SCORE 19452.161
AT ITER 308 NEW BEST:: SOT 106557 SOS 57833 HAS SOPS 52780 HAS SOUS 19438 HAS SOUPS 19258 WITH SCORE 19315.833
AT ITER 310 NEW BEST:: SOT 106552 SOS 57828 HAS SOPS 52770 HAS SOUS 19433 HAS SOUPS 19248 WITH SCORE 19305.828
AT ITER 311 NEW BEST:: SOT 105433 SOS 56709 HAS SOPS 51627 HAS SOUS 18848 HAS SOUPS 18651 WITH SCORE 18707.709
AT ITER 319 NEW BEST:: SOT 105425 SOS 56658 HAS SOPS 51562 HAS SOUS 18783 HAS SOUPS 18586 WITH SCORE 18642.658
AT ITER 325 NEW BEST:: SOT 105425 SOS 56649 HAS SOPS 51553 HAS SOUS 18783 HAS SOUPS 18586 WITH SCORE 18642.649
AT ITER 327 NEW BEST:: SOT 105433 SOS 56561 HAS SOPS 51461 HAS SOUS 18744 HAS SOUPS 18547 WITH SCORE 18603.561
AT ITER 330 NEW BEST:: SOT 105452 SOS 56561 HAS SOPS 51391 HAS SOUS 18674 HAS SOUPS 18477 WITH SCORE 18533.561
AT ITER 331 NEW BEST:: SOT 105447 SOS 56556 HAS SOPS 51381 HAS SOUS 18664 HAS SOUPS 18467 WITH SCORE 18523.556
AT ITER 332 NEW BEST:: SOT 105447 SOS 56552 HAS SOPS 51377 HAS SOUS 18660 HAS SOUPS 18463 WITH SCORE 18519.552
AT ITER 333 NEW BEST:: SOT 105431 SOS 56506 HAS SOPS 51331 HAS SOUS 18630 HAS SOUPS 18433 WITH SCORE 18489.506
AT ITER 340 NEW BEST:: SOT 105430 SOS 56534 HAS SOPS 51323 HAS SOUS 18628 HAS SOUPS 18431 WITH SCORE 18487.534
AT ITER 344 NEW BEST:: SOT 105859 SOS 56954 HAS SOPS 51635 HAS SOUS 18603 HAS SOUPS 18406 WITH SCORE 18462.954
AT ITER 349 NEW BEST:: SOT 105845 SOS 56926 HAS SOPS 51607 HAS SOUS 18603 HAS SOUPS 18406 WITH SCORE 18462.926
AT ITER 354 NEW BEST:: SOT 105850 SOS 56933 HAS SOPS 51614 HAS SOUS 18598 HAS SOUPS 18401 WITH SCORE 18457.933
AT ITER 356 NEW BEST:: SOT 105850 SOS 56917 HAS SOPS 51598 HAS SOUS 18582 HAS SOUPS 18385 WITH SCORE 18441.917
AT ITER 358 NEW BEST:: SOT 105848 SOS 56913 HAS SOPS 51594 HAS SOUS 18578 HAS SOUPS 18381 WITH SCORE 18437.913
AT ITER 360 NEW BEST:: SOT 105849 SOS 56914 HAS SOPS 51404 HAS SOUS 18304 HAS SOUPS 18107 WITH SCORE 18163.914
AT ITER 361 NEW BEST:: SOT 105845 SOS 56910 HAS SOPS 51396 HAS SOUS 18293 HAS SOUPS 18096 WITH SCORE 18152.91
AT ITER 366 NEW BEST:: SOT 105686 SOS 56560 HAS SOPS 51013 HAS SOUS 17971 HAS SOUPS 17774 WITH SCORE 17830.56
AT ITER 371 NEW BEST:: SOT 105685 SOS 56552 HAS SOPS 51005 HAS SOUS 17964 HAS SOUPS 17767 WITH SCORE 17823.552
AT ITER 372 NEW BEST:: SOT 105686 SOS 56575 HAS SOPS 51006 HAS SOUS 17940 HAS SOUPS 17743 WITH SCORE 17799.575
AT ITER 375 NEW BEST:: SOT 105757 SOS 56603 HAS SOPS 51034 HAS SOUS 17919 HAS SOUPS 17722 WITH SCORE 17778.603
AT ITER 383 NEW BEST:: SOT 105748 SOS 56552 HAS SOPS 50950 HAS SOUS 17837 HAS SOUPS 17640 WITH SCORE 17696.552
AT ITER 389 NEW BEST:: SOT 106095 SOS 56914 HAS SOPS 50954 HAS SOUS 17598 HAS SOUPS 17401 WITH SCORE 17457.914
AT ITER 393 NEW BEST:: SOT 106092 SOS 56911 HAS SOPS 50948 HAS SOUS 17589 HAS SOUPS 17392 WITH SCORE 17448.911
AT ITER 399 NEW BEST:: SOT 106158 SOS 56938 HAS SOPS 50975 HAS SOUS 17577 HAS SOUPS 17380 WITH SCORE 17436.938
AT ITER 402 NEW BEST:: SOT 105948 SOS 56728 HAS SOPS 50765 HAS SOUS 17472 HAS SOUPS 17275 WITH SCORE 17331.728
AT ITER 403 NEW BEST:: SOT 105948 SOS 56723 HAS SOPS 50760 HAS SOUS 17467 HAS SOUPS 17270 WITH SCORE 17326.723
AT ITER 406 NEW BEST:: SOT 105938 SOS 56479 HAS SOPS 50516 HAS SOUS 17424 HAS SOUPS 17227 WITH SCORE 17283.479
AT ITER 407 NEW BEST:: SOT 105920 SOS 56461 HAS SOPS 50498 HAS SOUS 17424 HAS SOUPS 17227 WITH SCORE 17283.461
AT ITER 419 NEW BEST:: SOT 105905 SOS 56424 HAS SOPS 49748 HAS SOUS 16816 HAS SOUPS 16619 WITH SCORE 16675.424
AT ITER 425 NEW BEST:: SOT 105883 SOS 56380 HAS SOPS 49682 HAS SOUS 16772 HAS SOUPS 16575 WITH SCORE 16631.38
AT ITER 427 NEW BEST:: SOT 105917 SOS 54200 HAS SOPS 47502 HAS SOUS 16650 HAS SOUPS 16453 WITH SCORE 16507.2
AT ITER 431 NEW BEST:: SOT 105894 SOS 54180 HAS SOPS 47482 HAS SOUS 16622 HAS SOUPS 16425 WITH SCORE 16479.18
AT ITER 434 NEW BEST:: SOT 105890 SOS 54180 HAS SOPS 47478 HAS SOUS 16618 HAS SOUPS 16421 WITH SCORE 16475.18
AT ITER 435 NEW BEST:: SOT 105696 SOS 54064 HAS SOPS 47418 HAS SOUS 16592 HAS SOUPS 16395 WITH SCORE 16449.064
AT ITER 444 NEW BEST:: SOT 105588 SOS 53977 HAS SOPS 47277 HAS SOUS 16457 HAS SOUPS 16260 WITH SCORE 16313.977
AT ITER 449 NEW BEST:: SOT 105539 SOS 53863 HAS SOPS 47179 HAS SOUS 16359 HAS SOUPS 16162 WITH SCORE 16215.863
AT ITER 460 NEW BEST:: SOT 105535 SOS 54275 HAS SOPS 47591 HAS SOUS 16355 HAS SOUPS 16158 WITH SCORE 16212.275
AT ITER 482 NEW BEST:: SOT 105520 SOS 54251 HAS SOPS 47552 HAS SOUS 16316 HAS SOUPS 16119 WITH SCORE 16173.251
AT ITER 485 NEW BEST:: SOT 105506 SOS 54223 HAS SOPS 47524 HAS SOUS 16311 HAS SOUPS 16114 WITH SCORE 16168.223
AT ITER 488 NEW BEST:: SOT 104718 SOS 61658 HAS SOPS 46736 HAS SOUS 16048 HAS SOUPS 15808 WITH SCORE 15869.658
AT ITER 489 NEW BEST:: SOT 104721 SOS 61661 HAS SOPS 46711 HAS SOUS 16026 HAS SOUPS 15786 WITH SCORE 15847.661
AT ITER 490 NEW BEST:: SOT 104671 SOS 61549 HAS SOPS 46599 HAS SOUS 16014 HAS SOUPS 15774 WITH SCORE 15835.549
AT ITER 492 NEW BEST:: SOT 104707 SOS 61554 HAS SOPS 46622 HAS SOUS 16009 HAS SOUPS 15769 WITH SCORE 15830.554
AT ITER 499 NEW BEST:: SOT 104695 SOS 61541 HAS SOPS 46598 HAS SOUS 15991 HAS SOUPS 15751 WITH SCORE 15812.541
AT ITER 522 NEW BEST:: SOT 104694 SOS 61546 HAS SOPS 46596 HAS SOUS 15990 HAS SOUPS 15750 WITH SCORE 15811.546
AT ITER 533 NEW BEST:: SOT 104682 SOS 61534 HAS SOPS 46572 HAS SOUS 15966 HAS SOUPS 15726 WITH SCORE 15787.534
AT ITER 538 NEW BEST:: SOT 104677 SOS 61524 HAS SOPS 46562 HAS SOUS 15927 HAS SOUPS 15687 WITH SCORE 15748.524
AT ITER 539 NEW BEST:: SOT 104675 SOS 61516 HAS SOPS 46402 HAS SOUS 15697 HAS SOUPS 15457 WITH SCORE 15518.516
AT ITER 540 NEW BEST:: SOT 104614 SOS 61529 HAS SOPS 46426 HAS SOUS 15691 HAS SOUPS 15451 WITH SCORE 15512.529
AT ITER 542 NEW BEST:: SOT 104551 SOS 61471 HAS SOPS 46368 HAS SOUS 15655 HAS SOUPS 15415 WITH SCORE 15476.471
AT ITER 551 NEW BEST:: SOT 104815 SOS 61706 HAS SOPS 46434 HAS SOUS 15504 HAS SOUPS 15264 WITH SCORE 15325.706
AT ITER 568 NEW BEST:: SOT 104830 SOS 61692 HAS SOPS 46419 HAS SOUS 15492 HAS SOUPS 15252 WITH SCORE 15313.692
AT ITER 572 NEW BEST:: SOT 104832 SOS 61685 HAS SOPS 46414 HAS SOUS 15487 HAS SOUPS 15247 WITH SCORE 15308.685
AT ITER 573 NEW BEST:: SOT 104169 SOS 61012 HAS SOPS 46045 HAS SOUS 15483 HAS SOUPS 15243 WITH SCORE 15304.012
AT ITER 575 NEW BEST:: SOT 104170 SOS 61004 HAS SOPS 46037 HAS SOUS 15475 HAS SOUPS 15235 WITH SCORE 15296.004
AT ITER 580 NEW BEST:: SOT 104141 SOS 60919 HAS SOPS 45952 HAS SOUS 15446 HAS SOUPS 15206 WITH SCORE 15266.919
AT ITER 589 NEW BEST:: SOT 104181 SOS 58777 HAS SOPS 43810 HAS SOUS 15447 HAS SOUPS 15207 WITH SCORE 15265.777
AT ITER 599 NEW BEST:: SOT 104092 SOS 58638 HAS SOPS 43632 HAS SOUS 15292 HAS SOUPS 15052 WITH SCORE 15110.638
AT ITER 600 NEW BEST:: SOT 104068 SOS 58614 HAS SOPS 43584 HAS SOUS 15265 HAS SOUPS 15025 WITH SCORE 15083.614
AT ITER 616 NEW BEST:: SOT 104067 SOS 58612 HAS SOPS 43582 HAS SOUS 15264 HAS SOUPS 15024 WITH SCORE 15082.612
AT ITER 618 NEW BEST:: SOT 104033 SOS 58724 HAS SOPS 43634 HAS SOUS 15262 HAS SOUPS 15022 WITH SCORE 15080.724
AT ITER 631 NEW BEST:: SOT 104064 SOS 58724 HAS SOPS 43073 HAS SOUS 15134 HAS SOUPS 14894 WITH SCORE 14952.724
AT ITER 636 NEW BEST:: SOT 104062 SOS 58723 HAS SOPS 43069 HAS SOUS 15127 HAS SOUPS 14887 WITH SCORE 14945.723
AT ITER 638 NEW BEST:: SOT 103702 SOS 59528 HAS SOPS 42686 HAS SOUS 14813 HAS SOUPS 14548 WITH SCORE 14607.528
AT ITER 643 NEW BEST:: SOT 103702 SOS 59513 HAS SOPS 42686 HAS SOUS 14813 HAS SOUPS 14548 WITH SCORE 14607.513
AT ITER 645 NEW BEST:: SOT 103708 SOS 59458 HAS SOPS 42617 HAS SOUS 14744 HAS SOUPS 14479 WITH SCORE 14538.458
AT ITER 656 NEW BEST:: SOT 103704 SOS 59400 HAS SOPS 42559 HAS SOUS 14737 HAS SOUPS 14472 WITH SCORE 14531.4
AT ITER 659 NEW BEST:: SOT 103687 SOS 59383 HAS SOPS 42525 HAS SOUS 14714 HAS SOUPS 14449 WITH SCORE 14508.383
AT ITER 661 NEW BEST:: SOT 103675 SOS 59201 HAS SOPS 42343 HAS SOUS 14700 HAS SOUPS 14435 WITH SCORE 14494.201
AT ITER 663 NEW BEST:: SOT 103675 SOS 59201 HAS SOPS 42343 HAS SOUS 14686 HAS SOUPS 14421 WITH SCORE 14480.201
AT ITER 676 NEW BEST:: SOT 103665 SOS 59206 HAS SOPS 42338 HAS SOUS 14681 HAS SOUPS 14416 WITH SCORE 14475.206
AT ITER 678 NEW BEST:: SOT 103659 SOS 59200 HAS SOPS 42326 HAS SOUS 14669 HAS SOUPS 14404 WITH SCORE 14463.2
AT ITER 690 NEW BEST:: SOT 103642 SOS 59158 HAS SOPS 42295 HAS SOUS 14637 HAS SOUPS 14372 WITH SCORE 14431.158
AT ITER 692 NEW BEST:: SOT 103640 SOS 59155 HAS SOPS 42291 HAS SOUS 14633 HAS SOUPS 14368 WITH SCORE 14427.155
AT ITER 703 NEW BEST:: SOT 103640 SOS 59166 HAS SOPS 42291 HAS SOUS 14622 HAS SOUPS 14357 WITH SCORE 14416.166
AT ITER 713 NEW BEST:: SOT 103618 SOS 59166 HAS SOPS 42269 HAS SOUS 14600 HAS SOUPS 14335 WITH SCORE 14394.166
AT ITER 722 NEW BEST:: SOT 103635 SOS 59183 HAS SOPS 42269 HAS SOUS 14566 HAS SOUPS 14301 WITH SCORE 14360.183
AT ITER 731 NEW BEST:: SOT 103630 SOS 59173 HAS SOPS 42123 HAS SOUS 14504 HAS SOUPS 14239 WITH SCORE 14298.173
AT ITER 738 NEW BEST:: SOT 103602 SOS 59131 HAS SOPS 42081 HAS SOUS 14484 HAS SOUPS 14219 WITH SCORE 14278.131
AT ITER 744 NEW BEST:: SOT 103422 SOS 58980 HAS SOPS 41913 HAS SOUS 14412 HAS SOUPS 14147 WITH SCORE 14205.98
AT ITER 747 NEW BEST:: SOT 103951 SOS 59466 HAS SOPS 42079 HAS SOUS 14251 HAS SOUPS 13986 WITH SCORE 14045.466
AT ITER 751 NEW BEST:: SOT 103835 SOS 60691 HAS SOPS 41940 HAS SOUS 14168 HAS SOUPS 13880 WITH SCORE 13940.691
AT ITER 755 NEW BEST:: SOT 103296 SOS 60155 HAS SOPS 41524 HAS SOUS 14069 HAS SOUPS 13781 WITH SCORE 13841.155
AT ITER 772 NEW BEST:: SOT 103280 SOS 60150 HAS SOPS 41508 HAS SOUS 14069 HAS SOUPS 13781 WITH SCORE 13841.15
AT ITER 785 NEW BEST:: SOT 103262 SOS 60136 HAS SOPS 41483 HAS SOUS 14044 HAS SOUPS 13756 WITH SCORE 13816.136
AT ITER 807 NEW BEST:: SOT 103254 SOS 60120 HAS SOPS 41467 HAS SOUS 14044 HAS SOUPS 13756 WITH SCORE 13816.12
AT ITER 842 NEW BEST:: SOT 103254 SOS 60087 HAS SOPS 41445 HAS SOUS 14044 HAS SOUPS 13756 WITH SCORE 13816.087
AT ITER 857 NEW BEST:: SOT 103232 SOS 60065 HAS SOPS 41401 HAS SOUS 14000 HAS SOUPS 13712 WITH SCORE 13772.065
AT ITER 858 NEW BEST:: SOT 103189 SOS 60004 HAS SOPS 41315 HAS SOUS 13914 HAS SOUPS 13626 WITH SCORE 13686.004
AT ITER 866 NEW BEST:: SOT 103184 SOS 59999 HAS SOPS 41305 HAS SOUS 13904 HAS SOUPS 13616 WITH SCORE 13675.999
AT ITER 870 NEW BEST:: SOT 103078 SOS 59893 HAS SOPS 41155 HAS SOUS 13754 HAS SOUPS 13466 WITH SCORE 13525.893
AT ITER 872 NEW BEST:: SOT 103080 SOS 59895 HAS SOPS 41132 HAS SOUS 13729 HAS SOUPS 13441 WITH SCORE 13500.895
AT ITER 885 NEW BEST:: SOT 103068 SOS 59854 HAS SOPS 41091 HAS SOUS 13717 HAS SOUPS 13429 WITH SCORE 13488.854
AT ITER 889 NEW BEST:: SOT 103076 SOS 59856 HAS SOPS 41027 HAS SOUS 13335 HAS SOUPS 13051 WITH SCORE 13110.856
AT ITER 891 NEW BEST:: SOT 102554 SOS 60145 HAS SOPS 41315 HAS SOUS 13172 HAS SOUPS 12888 WITH SCORE 12948.145
AT ITER 899 NEW BEST:: SOT 102572 SOS 60178 HAS SOPS 41339 HAS SOUS 13164 HAS SOUPS 12880 WITH SCORE 12940.178
AT ITER 910 NEW BEST:: SOT 102543 SOS 60149 HAS SOPS 41281 HAS SOUS 13106 HAS SOUPS 12822 WITH SCORE 12882.149
AT ITER 912 NEW BEST:: SOT 102541 SOS 60146 HAS SOPS 41277 HAS SOUS 13103 HAS SOUPS 12819 WITH SCORE 12879.146
AT ITER 915 NEW BEST:: SOT 102528 SOS 60092 HAS SOPS 41223 HAS SOUS 13064 HAS SOUPS 12780 WITH SCORE 12840.092
AT ITER 920 NEW BEST:: SOT 102529 SOS 60095 HAS SOPS 41225 HAS SOUS 13045 HAS SOUPS 12761 WITH SCORE 12821.095
AT ITER 926 NEW BEST:: SOT 102529 SOS 60095 HAS SOPS 41225 HAS SOUS 13035 HAS SOUPS 12751 WITH SCORE 12811.095
AT ITER 929 NEW BEST:: SOT 102555 SOS 59919 HAS SOPS 41061 HAS SOUS 12944 HAS SOUPS 12660 WITH SCORE 12719.919
AT ITER 940 NEW BEST:: SOT 102545 SOS 59910 HAS SOPS 41053 HAS SOUS 12936 HAS SOUPS 12652 WITH SCORE 12711.91
AT ITER 946 NEW BEST:: SOT 102543 SOS 59908 HAS SOPS 41049 HAS SOUS 12932 HAS SOUPS 12648 WITH SCORE 12707.908
AT ITER 949 NEW BEST:: SOT 102539 SOS 59904 HAS SOPS 41043 HAS SOUS 12927 HAS SOUPS 12643 WITH SCORE 12702.904
AT ITER 959 NEW BEST:: SOT 102502 SOS 59827 HAS SOPS 40962 HAS SOUS 12849 HAS SOUPS 12565 WITH SCORE 12624.827
AT ITER 967 NEW BEST:: SOT 102498 SOS 59819 HAS SOPS 40954 HAS SOUS 12849 HAS SOUPS 12565 WITH SCORE 12624.819
AT ITER 979 NEW BEST:: SOT 102488 SOS 59798 HAS SOPS 40934 HAS SOUS 12829 HAS SOUPS 12545 WITH SCORE 12604.798
AT ITER 983 NEW BEST:: SOT 102348 SOS 59437 HAS SOPS 40562 HAS SOUS 12548 HAS SOUPS 12264 WITH SCORE 12323.437
AT ITER 985 NEW BEST:: SOT 102329 SOS 59418 HAS SOPS 40543 HAS SOUS 12534 HAS SOUPS 12250 WITH SCORE 12309.418
AT ITER 1008 NEW BEST:: SOT 102329 SOS 59417 HAS SOPS 40542 HAS SOUS 12533 HAS SOUPS 12249 WITH SCORE 12308.417
AT ITER 1021 NEW BEST:: SOT 102493 SOS 59357 HAS SOPS 39794 HAS SOUS 12469 HAS SOUPS 12185 WITH SCORE 12244.357
AT ITER 1026 NEW BEST:: SOT 102468 SOS 59373 HAS SOPS 39744 HAS SOUS 12419 HAS SOUPS 12135 WITH SCORE 12194.373
AT ITER 1039 NEW BEST:: SOT 102424 SOS 59329 HAS SOPS 39700 HAS SOUS 12401 HAS SOUPS 12117 WITH SCORE 12176.329
AT ITER 1046 NEW BEST:: SOT 102420 SOS 59325 HAS SOPS 39695 HAS SOUS 12396 HAS SOUPS 12112 WITH SCORE 12171.325
AT ITER 1047 NEW BEST:: SOT 102420 SOS 59310 HAS SOPS 39695 HAS SOUS 12385 HAS SOUPS 12101 WITH SCORE 12160.31
AT ITER 1050 NEW BEST:: SOT 102402 SOS 59270 HAS SOPS 39639 HAS SOUS 12331 HAS SOUPS 12047 WITH SCORE 12106.27
AT ITER 1060 NEW BEST:: SOT 102451 SOS 59272 HAS SOPS 39649 HAS SOUS 12317 HAS SOUPS 12033 WITH SCORE 12092.272
AT ITER 1071 NEW BEST:: SOT 102315 SOS 59120 HAS SOPS 39293 HAS SOUS 12153 HAS SOUPS 11869 WITH SCORE 11928.12
AT ITER 1083 NEW BEST:: SOT 102303 SOS 59068 HAS SOPS 39252 HAS SOUS 12138 HAS SOUPS 11854 WITH SCORE 11913.068
AT ITER 1086 NEW BEST:: SOT 102303 SOS 59066 HAS SOPS 39252 HAS SOUS 12138 HAS SOUPS 11854 WITH SCORE 11913.066
AT ITER 1096 NEW BEST:: SOT 102436 SOS 59222 HAS SOPS 39060 HAS SOUS 11916 HAS SOUPS 11632 WITH SCORE 11691.222
AT ITER 1110 NEW BEST:: SOT 102422 SOS 58377 HAS SOPS 38222 HAS SOUS 11872 HAS SOUPS 11588 WITH SCORE 11646.377
AT ITER 1113 NEW BEST:: SOT 102414 SOS 58384 HAS SOPS 38221 HAS SOUS 11871 HAS SOUPS 11587 WITH SCORE 11645.384
AT ITER 1116 NEW BEST:: SOT 102504 SOS 58443 HAS SOPS 37679 HAS SOUS 11715 HAS SOUPS 11431 WITH SCORE 11489.443
AT ITER 1128 NEW BEST:: SOT 102448 SOS 58362 HAS SOPS 37628 HAS SOUS 11710 HAS SOUPS 11426 WITH SCORE 11484.362
AT ITER 1131 NEW BEST:: SOT 102266 SOS 58149 HAS SOPS 38062 HAS SOUS 11691 HAS SOUPS 11407 WITH SCORE 11465.149
AT ITER 1159 NEW BEST:: SOT 102266 SOS 58146 HAS SOPS 38059 HAS SOUS 11691 HAS SOUPS 11407 WITH SCORE 11465.146
AT ITER 1168 NEW BEST:: SOT 102254 SOS 58130 HAS SOPS 38039 HAS SOUS 11671 HAS SOUPS 11387 WITH SCORE 11445.13
AT ITER 1173 NEW BEST:: SOT 102228 SOS 58078 HAS SOPS 37987 HAS SOUS 11671 HAS SOUPS 11387 WITH SCORE 11445.078
AT ITER 1185 NEW BEST:: SOT 102062 SOS 58788 HAS SOPS 39047 HAS SOUS 11638 HAS SOUPS 11354 WITH SCORE 11412.788
AT ITER 1189 NEW BEST:: SOT 102097 SOS 57928 HAS SOPS 37857 HAS SOUS 11602 HAS SOUPS 11318 WITH SCORE 11375.928
AT ITER 1210 NEW BEST:: SOT 102086 SOS 58399 HAS SOPS 37847 HAS SOUS 11595 HAS SOUPS 11304 WITH SCORE 11362.399
AT ITER 1217 NEW BEST:: SOT 102061 SOS 58374 HAS SOPS 37807 HAS SOUS 11583 HAS SOUPS 11292 WITH SCORE 11350.374
AT ITER 1224 NEW BEST:: SOT 102023 SOS 58336 HAS SOPS 37769 HAS SOUS 11562 HAS SOUPS 11271 WITH SCORE 11329.336
AT ITER 1239 NEW BEST:: SOT 102010 SOS 58308 HAS SOPS 37725 HAS SOUS 11532 HAS SOUPS 11241 WITH SCORE 11299.308
AT ITER 1244 NEW BEST:: SOT 101999 SOS 58291 HAS SOPS 37703 HAS SOUS 11515 HAS SOUPS 11224 WITH SCORE 11282.291
AT ITER 1255 NEW BEST:: SOT 101996 SOS 58378 HAS SOPS 37759 HAS SOUS 11512 HAS SOUPS 11221 WITH SCORE 11279.378
AT ITER 1263 NEW BEST:: SOT 101997 SOS 58348 HAS SOPS 37745 HAS SOUS 11512 HAS SOUPS 11221 WITH SCORE 11279.348
AT ITER 1266 NEW BEST:: SOT 101881 SOS 58247 HAS SOPS 37581 HAS SOUS 11396 HAS SOUPS 11105 WITH SCORE 11163.247
AT ITER 1267 NEW BEST:: SOT 101877 SOS 58243 HAS SOPS 37573 HAS SOUS 11388 HAS SOUPS 11097 WITH SCORE 11155.243
AT ITER 1279 NEW BEST:: SOT 101877 SOS 58248 HAS SOPS 37573 HAS SOUS 11384 HAS SOUPS 11093 WITH SCORE 11151.248
AT ITER 1309 NEW BEST:: SOT 101877 SOS 58248 HAS SOPS 37545 HAS SOUS 11339 HAS SOUPS 11048 WITH SCORE 11106.248
AT ITER 1351 NEW BEST:: SOT 101872 SOS 58228 HAS SOPS 37515 HAS SOUS 11314 HAS SOUPS 11023 WITH SCORE 11081.228
AT ITER 1362 NEW BEST:: SOT 101858 SOS 58214 HAS SOPS 37487 HAS SOUS 11272 HAS SOUPS 10981 WITH SCORE 11039.214
AT ITER 1393 NEW BEST:: SOT 101851 SOS 58205 HAS SOPS 37473 HAS SOUS 11247 HAS SOUPS 10956 WITH SCORE 11014.205
AT ITER 1417 NEW BEST:: SOT 101712 SOS 74706 HAS SOPS 37249 HAS SOUS 11151 HAS SOUPS 10821 WITH SCORE 10895.706
AT ITER 1425 NEW BEST:: SOT 101707 SOS 74682 HAS SOPS 37228 HAS SOUS 11149 HAS SOUPS 10819 WITH SCORE 10893.682
AT ITER 1433 NEW BEST:: SOT 101706 SOS 74681 HAS SOPS 37226 HAS SOUS 11146 HAS SOUPS 10816 WITH SCORE 10890.681
AT ITER 1443 NEW BEST:: SOT 101699 SOS 74667 HAS SOPS 37212 HAS SOUS 11132 HAS SOUPS 10802 WITH SCORE 10876.667
AT ITER 1453 NEW BEST:: SOT 101716 SOS 74702 HAS SOPS 37246 HAS SOUS 11117 HAS SOUPS 10787 WITH SCORE 10861.702
AT ITER 1461 NEW BEST:: SOT 101716 SOS 74697 HAS SOPS 37246 HAS SOUS 11117 HAS SOUPS 10787 WITH SCORE 10861.697
AT ITER 1462 NEW BEST:: SOT 101701 SOS 74669 HAS SOPS 37216 HAS SOUS 11098 HAS SOUPS 10768 WITH SCORE 10842.669
AT ITER 1469 NEW BEST:: SOT 101573 SOS 74541 HAS SOPS 37085 HAS SOUS 11028 HAS SOUPS 10698 WITH SCORE 10772.541
AT ITER 1486 NEW BEST:: SOT 101556 SOS 74478 HAS SOPS 37019 HAS SOUS 10994 HAS SOUPS 10664 WITH SCORE 10738.478
AT ITER 1492 NEW BEST:: SOT 101541 SOS 74484 HAS SOPS 36989 HAS SOUS 10968 HAS SOUPS 10638 WITH SCORE 10712.484
AT ITER 1504 NEW BEST:: SOT 101539 SOS 74480 HAS SOPS 36985 HAS SOUS 10964 HAS SOUPS 10634 WITH SCORE 10708.48
AT ITER 1507 NEW BEST:: SOT 101529 SOS 74465 HAS SOPS 36965 HAS SOUS 10954 HAS SOUPS 10624 WITH SCORE 10698.465
AT ITER 1531 NEW BEST:: SOT 101505 SOS 74422 HAS SOPS 36917 HAS SOUS 10925 HAS SOUPS 10595 WITH SCORE 10669.422
AT ITER 1542 NEW BEST:: SOT 101483 SOS 74393 HAS SOPS 36873 HAS SOUS 10909 HAS SOUPS 10579 WITH SCORE 10653.393
AT ITER 1546 NEW BEST:: SOT 101471 SOS 74369 HAS SOPS 36841 HAS SOUS 10877 HAS SOUPS 10547 WITH SCORE 10621.369
AT ITER 1551 NEW BEST:: SOT 101462 SOS 74354 HAS SOPS 36822 HAS SOUS 10868 HAS SOUPS 10538 WITH SCORE 10612.354
AT ITER 1555 NEW BEST:: SOT 101460 SOS 74332 HAS SOPS 36798 HAS SOUS 10844 HAS SOUPS 10514 WITH SCORE 10588.332
AT ITER 1563 NEW BEST:: SOT 101433 SOS 74275 HAS SOPS 36744 HAS SOUS 10800 HAS SOUPS 10470 WITH SCORE 10544.275
AT ITER 1597 NEW BEST:: SOT 101428 SOS 74261 HAS SOPS 36734 HAS SOUS 10777 HAS SOUPS 10447 WITH SCORE 10521.261
AT ITER 1598 NEW BEST:: SOT 101428 SOS 74261 HAS SOPS 36727 HAS SOUS 10770 HAS SOUPS 10440 WITH SCORE 10514.261
AT ITER 1609 NEW BEST:: SOT 101397 SOS 74253 HAS SOPS 36698 HAS SOUS 10758 HAS SOUPS 10428 WITH SCORE 10502.253
AT ITER 1618 NEW BEST:: SOT 101388 SOS 74244 HAS SOPS 36680 HAS SOUS 10740 HAS SOUPS 10410 WITH SCORE 10484.244
AT ITER 1623 NEW BEST:: SOT 101397 SOS 74214 HAS SOPS 36657 HAS SOUS 10715 HAS SOUPS 10385 WITH SCORE 10459.214
AT ITER 1627 NEW BEST:: SOT 101389 SOS 74206 HAS SOPS 36654 HAS SOUS 10712 HAS SOUPS 10382 WITH SCORE 10456.206
AT ITER 1717 NEW BEST:: SOT 101394 SOS 87149 HAS SOPS 36607 HAS SOUS 10705 HAS SOUPS 10348 WITH SCORE 10435.149
AT ITER 1771 NEW BEST:: SOT 101390 SOS 87141 HAS SOPS 36599 HAS SOUS 10701 HAS SOUPS 10344 WITH SCORE 10431.141
AT ITER 1788 NEW BEST:: SOT 101379 SOS 87130 HAS SOPS 36577 HAS SOUS 10691 HAS SOUPS 10334 WITH SCORE 10421.13
AT ITER 1806 NEW BEST:: SOT 101359 SOS 87094 HAS SOPS 36537 HAS SOUS 10646 HAS SOUPS 10289 WITH SCORE 10376.094
AT ITER 1820 NEW BEST:: SOT 101289 SOS 87024 HAS SOPS 36437 HAS SOUS 10568 HAS SOUPS 10211 WITH SCORE 10298.024
AT ITER 1821 NEW BEST:: SOT 101289 SOS 87024 HAS SOPS 36402 HAS SOUS 10533 HAS SOUPS 10176 WITH SCORE 10263.024
AT ITER 1858 NEW BEST:: SOT 101266 SOS 87002 HAS SOPS 36430 HAS SOUS 10529 HAS SOUPS 10172 WITH SCORE 10259.002
AT ITER 1863 NEW BEST:: SOT 101252 SOS 86974 HAS SOPS 36395 HAS SOUS 10501 HAS SOUPS 10144 WITH SCORE 10230.974
AT ITER 1870 NEW BEST:: SOT 101245 SOS 86968 HAS SOPS 36381 HAS SOUS 10493 HAS SOUPS 10136 WITH SCORE 10222.968
AT ITER 1884 NEW BEST:: SOT 101245 SOS 86963 HAS SOPS 36376 HAS SOUS 10488 HAS SOUPS 10131 WITH SCORE 10217.963
AT ITER 1924 NEW BEST:: SOT 101445 SOS 87154 HAS SOPS 36527 HAS SOUS 10439 HAS SOUPS 10082 WITH SCORE 10169.154
AT ITER 1950 NEW BEST:: SOT 101444 SOS 87152 HAS SOPS 36525 HAS SOUS 10436 HAS SOUPS 10079 WITH SCORE 10166.152
AT ITER 1959 NEW BEST:: SOT 101444 SOS 87152 HAS SOPS 36525 HAS SOUS 10434 HAS SOUPS 10077 WITH SCORE 10164.152
AT ITER 1963 NEW BEST:: SOT 101447 SOS 87164 HAS SOPS 36531 HAS SOUS 10426 HAS SOUPS 10069 WITH SCORE 10156.164
AT ITER 1964 NEW BEST:: SOT 101427 SOS 87115 HAS SOPS 36491 HAS SOUS 10386 HAS SOUPS 10029 WITH SCORE 10116.115
AT ITER 1974 NEW BEST:: SOT 101383 SOS 87026 HAS SOPS 36403 HAS SOUS 10319 HAS SOUPS 9962 WITH SCORE 10049.026
AT ITER 1990 NEW BEST:: SOT 101367 SOS 86993 HAS SOPS 36365 HAS SOUS 10287 HAS SOUPS 9930 WITH SCORE 10016.993
AT ITER 1993 NEW BEST:: SOT 101377 SOS 86988 HAS SOPS 36357 HAS SOUS 10281 HAS SOUPS 9924 WITH SCORE 10010.988
AT ITER 1995 NEW BEST:: SOT 101367 SOS 86997 HAS SOPS 36356 HAS SOUS 10280 HAS SOUPS 9923 WITH SCORE 10009.997
AT ITER 2000 NEW BEST:: SOT 101347 SOS 86976 HAS SOPS 36335 HAS SOUS 10249 HAS SOUPS 9892 WITH SCORE 9978.976
AT ITER 2059 NEW BEST:: SOT 101344 SOS 86973 HAS SOPS 36323 HAS SOUS 10231 HAS SOUPS 9874 WITH SCORE 9960.973
AT ITER 2069 NEW BEST:: SOT 101343 SOS 86917 HAS SOPS 36267 HAS SOUS 10171 HAS SOUPS 9814 WITH SCORE 9900.917
AT ITER 2072 NEW BEST:: SOT 101335 SOS 86902 HAS SOPS 36251 HAS SOUS 10166 HAS SOUPS 9809 WITH SCORE 9895.902
AT ITER 2082 NEW BEST:: SOT 101324 SOS 86891 HAS SOPS 36229 HAS SOUS 10144 HAS SOUPS 9787 WITH SCORE 9873.891
AT ITER 2084 NEW BEST:: SOT 101324 SOS 84001 HAS SOPS 36231 HAS SOUS 10140 HAS SOUPS 9789 WITH SCORE 9873.001
AT ITER 2123 NEW BEST:: SOT 101319 SOS 83991 HAS SOPS 36221 HAS SOUS 10139 HAS SOUPS 9788 WITH SCORE 9871.991
AT ITER 2128 NEW BEST:: SOT 101341 SOS 83992 HAS SOPS 36212 HAS SOUS 10134 HAS SOUPS 9779 WITH SCORE 9862.992
AT ITER 2141 NEW BEST:: SOT 101336 SOS 83987 HAS SOPS 36202 HAS SOUS 10124 HAS SOUPS 9769 WITH SCORE 9852.987
AT ITER 2150 NEW BEST:: SOT 101325 SOS 83976 HAS SOPS 36180 HAS SOUS 10102 HAS SOUPS 9747 WITH SCORE 9830.976
AT ITER 2203 NEW BEST:: SOT 101319 SOS 83967 HAS SOPS 36168 HAS SOUS 10096 HAS SOUPS 9741 WITH SCORE 9824.967
AT ITER 2211 NEW BEST:: SOT 101312 SOS 83949 HAS SOPS 36154 HAS SOUS 10090 HAS SOUPS 9735 WITH SCORE 9818.949
AT ITER 2220 NEW BEST:: SOT 101311 SOS 83949 HAS SOPS 36152 HAS SOUS 10087 HAS SOUPS 9732 WITH SCORE 9815.949
AT ITER 2222 NEW BEST:: SOT 101310 SOS 83950 HAS SOPS 36150 HAS SOUS 10083 HAS SOUPS 9728 WITH SCORE 9811.95
AT ITER 2226 NEW BEST:: SOT 101309 SOS 83949 HAS SOPS 36149 HAS SOUS 10082 HAS SOUPS 9727 WITH SCORE 9810.949
AT ITER 2245 NEW BEST:: SOT 101303 SOS 83897 HAS SOPS 36091 HAS SOUS 10024 HAS SOUPS 9669 WITH SCORE 9752.897
AT ITER 2252 NEW BEST:: SOT 101303 SOS 83909 HAS SOPS 36091 HAS SOUS 10012 HAS SOUPS 9657 WITH SCORE 9740.909
AT ITER 2257 NEW BEST:: SOT 101298 SOS 83900 HAS SOPS 36081 HAS SOUS 10002 HAS SOUPS 9647 WITH SCORE 9730.9
AT ITER 2276 NEW BEST:: SOT 101302 SOS 83908 HAS SOPS 36089 HAS SOUS 10001 HAS SOUPS 9646 WITH SCORE 9729.908
AT ITER 2279 NEW BEST:: SOT 101283 SOS 83870 HAS SOPS 36051 HAS SOUS 10001 HAS SOUPS 9646 WITH SCORE 9729.87
AT ITER 2320 NEW BEST:: SOT 101232 SOS 83818 HAS SOPS 35995 HAS SOUS 9946 HAS SOUPS 9591 WITH SCORE 9674.818
AT ITER 2325 NEW BEST:: SOT 101123 SOS 83705 HAS SOPS 35919 HAS SOUS 9888 HAS SOUPS 9533 WITH SCORE 9616.705
AT ITER 2334 NEW BEST:: SOT 101064 SOS 83651 HAS SOPS 35865 HAS SOUS 9863 HAS SOUPS 9508 WITH SCORE 9591.651
AT ITER 2350 NEW BEST:: SOT 101061 SOS 83636 HAS SOPS 35859 HAS SOUS 9857 HAS SOUPS 9502 WITH SCORE 9585.636
AT ITER 2366 NEW BEST:: SOT 101043 SOS 83609 HAS SOPS 35823 HAS SOUS 9830 HAS SOUPS 9475 WITH SCORE 9558.609
AT ITER 2398 NEW BEST:: SOT 101046 SOS 83619 HAS SOPS 35829 HAS SOUS 9818 HAS SOUPS 9463 WITH SCORE 9546.619
AT ITER 2408 NEW BEST:: SOT 101044 SOS 83555 HAS SOPS 35755 HAS SOUS 9741 HAS SOUPS 9389 WITH SCORE 9472.555
AT ITER 2432 NEW BEST:: SOT 101060 SOS 83547 HAS SOPS 35134 HAS SOUS 9723 HAS SOUPS 9371 WITH SCORE 9454.547
AT ITER 2433 NEW BEST:: SOT 101060 SOS 83544 HAS SOPS 35071 HAS SOUS 9657 HAS SOUPS 9305 WITH SCORE 9388.544
AT ITER 2437 NEW BEST:: SOT 101071 SOS 83515 HAS SOPS 35038 HAS SOUS 9628 HAS SOUPS 9276 WITH SCORE 9359.515
AT ITER 2498 NEW BEST:: SOT 101030 SOS 83467 HAS SOPS 35196 HAS SOUS 9598 HAS SOUPS 9246 WITH SCORE 9329.467
AT ITER 2549 NEW BEST:: SOT 101030 SOS 83467 HAS SOPS 35196 HAS SOUS 9540 HAS SOUPS 9188 WITH SCORE 9271.467
AT ITER 2559 NEW BEST:: SOT 101026 SOS 83459 HAS SOPS 35188 HAS SOUS 9532 HAS SOUPS 9180 WITH SCORE 9263.459
AT ITER 2591 NEW BEST:: SOT 101023 SOS 83454 HAS SOPS 35182 HAS SOUS 9528 HAS SOUPS 9176 WITH SCORE 9259.454
AT ITER 2597 NEW BEST:: SOT 101024 SOS 83454 HAS SOPS 35166 HAS SOUS 9474 HAS SOUPS 9122 WITH SCORE 9205.454
AT ITER 2614 NEW BEST:: SOT 101020 SOS 83446 HAS SOPS 35134 HAS SOUS 9418 HAS SOUPS 9066 WITH SCORE 9149.446
AT ITER 2622 NEW BEST:: SOT 100973 SOS 83384 HAS SOPS 35040 HAS SOUS 9292 HAS SOUPS 8940 WITH SCORE 9023.384
AT ITER 2642 NEW BEST:: SOT 100972 SOS 83381 HAS SOPS 35037 HAS SOUS 9290 HAS SOUPS 8938 WITH SCORE 9021.381
AT ITER 2706 NEW BEST:: SOT 100973 SOS 83383 HAS SOPS 34876 HAS SOUS 9285 HAS SOUPS 8933 WITH SCORE 9016.383
AT ITER 2713 NEW BEST:: SOT 100969 SOS 83363 HAS SOPS 34859 HAS SOUS 9277 HAS SOUPS 8925 WITH SCORE 9008.363
AT ITER 2718 NEW BEST:: SOT 100964 SOS 83363 HAS SOPS 34854 HAS SOUS 9272 HAS SOUPS 8920 WITH SCORE 9003.363
AT ITER 2736 NEW BEST:: SOT 100954 SOS 83363 HAS SOPS 34844 HAS SOUS 9271 HAS SOUPS 8919 WITH SCORE 9002.363
AT ITER 2754 NEW BEST:: SOT 100939 SOS 83351 HAS SOPS 34834 HAS SOUS 9261 HAS SOUPS 8909 WITH SCORE 8992.351
AT ITER 2763 NEW BEST:: SOT 100938 SOS 83789 HAS SOPS 34825 HAS SOUS 9264 HAS SOUPS 8906 WITH SCORE 8989.789
AT ITER 2813 NEW BEST:: SOT 100938 SOS 83786 HAS SOPS 34823 HAS SOUS 9262 HAS SOUPS 8904 WITH SCORE 8987.786
AT ITER 2849 NEW BEST:: SOT 100949 SOS 83808 HAS SOPS 34820 HAS SOUS 9255 HAS SOUPS 8897 WITH SCORE 8980.808
AT ITER 2881 NEW BEST:: SOT 100943 SOS 83799 HAS SOPS 34808 HAS SOUS 9243 HAS SOUPS 8885 WITH SCORE 8968.799
AT ITER 2916 NEW BEST:: SOT 100938 SOS 83652 HAS SOPS 34718 HAS SOUS 9215 HAS SOUPS 8857 WITH SCORE 8940.652
AT ITER 2921 NEW BEST:: SOT 100924 SOS 83638 HAS SOPS 34690 HAS SOUS 9187 HAS SOUPS 8829 WITH SCORE 8912.638
AT ITER 2941 NEW BEST:: SOT 100932 SOS 83497 HAS SOPS 34616 HAS SOUS 9154 HAS SOUPS 8796 WITH SCORE 8879.497
AT ITER 2962 NEW BEST:: SOT 100931 SOS 83495 HAS SOPS 34613 HAS SOUS 9151 HAS SOUPS 8793 WITH SCORE 8876.495
AT ITER 2972 NEW BEST:: SOT 100958 SOS 83522 HAS SOPS 34591 HAS SOUS 9133 HAS SOUPS 8771 WITH SCORE 8854.522
AT ITER 2984 NEW BEST:: SOT 100948 SOS 83512 HAS SOPS 34571 HAS SOUS 9113 HAS SOUPS 8751 WITH SCORE 8834.512
AT ITER 3002 NEW BEST:: SOT 100891 SOS 83544 HAS SOPS 34546 HAS SOUS 9088 HAS SOUPS 8726 WITH SCORE 8809.544
AT ITER 3013 NEW BEST:: SOT 101025 SOS 83536 HAS SOPS 34532 HAS SOUS 9074 HAS SOUPS 8712 WITH SCORE 8795.536
AT ITER 3054 NEW BEST:: SOT 100986 SOS 83497 HAS SOPS 34493 HAS SOUS 9071 HAS SOUPS 8709 WITH SCORE 8792.497
AT ITER 3086 NEW BEST:: SOT 100986 SOS 83512 HAS SOPS 34493 HAS SOUS 9069 HAS SOUPS 8707 WITH SCORE 8790.512
AT ITER 3120 NEW BEST:: SOT 100955 SOS 83450 HAS SOPS 34431 HAS SOUS 9038 HAS SOUPS 8676 WITH SCORE 8759.45
AT ITER 3133 NEW BEST:: SOT 100988 SOS 83403 HAS SOPS 34432 HAS SOUS 9004 HAS SOUPS 8642 WITH SCORE 8725.403
AT ITER 3147 NEW BEST:: SOT 100958 SOS 83323 HAS SOPS 34320 HAS SOUS 8940 HAS SOUPS 8578 WITH SCORE 8661.323
AT ITER 3151 NEW BEST:: SOT 100936 SOS 83290 HAS SOPS 34288 HAS SOUS 8920 HAS SOUPS 8558 WITH SCORE 8641.29
AT ITER 3157 NEW BEST:: SOT 100930 SOS 83284 HAS SOPS 34276 HAS SOUS 8908 HAS SOUPS 8546 WITH SCORE 8629.284
AT ITER 3235 NEW BEST:: SOT 100919 SOS 83273 HAS SOPS 34267 HAS SOUS 8901 HAS SOUPS 8539 WITH SCORE 8622.273
AT ITER 3266 NEW BEST:: SOT 100913 SOS 83262 HAS SOPS 34255 HAS SOUS 8893 HAS SOUPS 8531 WITH SCORE 8614.262
AT ITER 3274 NEW BEST:: SOT 100655 SOS 82997 HAS SOPS 34029 HAS SOUS 8778 HAS SOUPS 8416 WITH SCORE 8498.997
AT ITER 3282 NEW BEST:: SOT 100661 SOS 82990 HAS SOPS 34028 HAS SOUS 8777 HAS SOUPS 8415 WITH SCORE 8497.99
AT ITER 3293 NEW BEST:: SOT 100652 SOS 82982 HAS SOPS 34010 HAS SOUS 8764 HAS SOUPS 8402 WITH SCORE 8484.982
AT ITER 3296 NEW BEST:: SOT 100658 SOS 82994 HAS SOPS 33911 HAS SOUS 8740 HAS SOUPS 8378 WITH SCORE 8460.994
AT ITER 3300 NEW BEST:: SOT 100656 SOS 82980 HAS SOPS 33901 HAS SOUS 8736 HAS SOUPS 8374 WITH SCORE 8456.98
AT ITER 3346 NEW BEST:: SOT 100654 SOS 82980 HAS SOPS 33897 HAS SOUS 8732 HAS SOUPS 8370 WITH SCORE 8452.98
AT ITER 3366 NEW BEST:: SOT 100647 SOS 82963 HAS SOPS 33883 HAS SOUS 8718 HAS SOUPS 8356 WITH SCORE 8438.963
AT ITER 3408 NEW BEST:: SOT 100588 SOS 82904 HAS SOPS 33765 HAS SOUS 8600 HAS SOUPS 8238 WITH SCORE 8320.904
AT ITER 3451 NEW BEST:: SOT 100566 SOS 82871 HAS SOPS 33737 HAS SOUS 8599 HAS SOUPS 8237 WITH SCORE 8319.871
AT ITER 3491 NEW BEST:: SOT 100568 SOS 82873 HAS SOPS 33734 HAS SOUS 8589 HAS SOUPS 8227 WITH SCORE 8309.873
AT ITER 3505 NEW BEST:: SOT 100544 SOS 82849 HAS SOPS 34386 HAS SOUS 8581 HAS SOUPS 8219 WITH SCORE 8301.849
AT ITER 3514 NEW BEST:: SOT 100542 SOS 82846 HAS SOPS 34383 HAS SOUS 8578 HAS SOUPS 8216 WITH SCORE 8298.846
AT ITER 3523 NEW BEST:: SOT 100539 SOS 82842 HAS SOPS 34381 HAS SOUS 8576 HAS SOUPS 8214 WITH SCORE 8296.842
AT ITER 3557 NEW BEST:: SOT 100524 SOS 82823 HAS SOPS 34459 HAS SOUS 8573 HAS SOUPS 8211 WITH SCORE 8293.823
AT ITER 3584 NEW BEST:: SOT 100520 SOS 82817 HAS SOPS 34451 HAS SOUS 8567 HAS SOUPS 8205 WITH SCORE 8287.817
AT ITER 3617 NEW BEST:: SOT 100516 SOS 82821 HAS SOPS 34443 HAS SOUS 8563 HAS SOUPS 8201 WITH SCORE 8283.821
AT ITER 3649 NEW BEST:: SOT 100499 SOS 82810 HAS SOPS 34436 HAS SOUS 8556 HAS SOUPS 8194 WITH SCORE 8276.81
AT ITER 3658 NEW BEST:: SOT 100498 SOS 82809 HAS SOPS 34435 HAS SOUS 8555 HAS SOUPS 8193 WITH SCORE 8275.809
AT ITER 3664 NEW BEST:: SOT 100494 SOS 82801 HAS SOPS 34427 HAS SOUS 8547 HAS SOUPS 8185 WITH SCORE 8267.801
AT ITER 3676 NEW BEST:: SOT 100491 SOS 82801 HAS SOPS 34426 HAS SOUS 8545 HAS SOUPS 8183 WITH SCORE 8265.801
AT ITER 3747 NEW BEST:: SOT 100485 SOS 82788 HAS SOPS 34414 HAS SOUS 8539 HAS SOUPS 8177 WITH SCORE 8259.788
AT ITER 3764 NEW BEST:: SOT 100486 SOS 82786 HAS SOPS 34413 HAS SOUS 8538 HAS SOUPS 8176 WITH SCORE 8258.786
AT ITER 3774 NEW BEST:: SOT 100468 SOS 82750 HAS SOPS 34377 HAS SOUS 8516 HAS SOUPS 8154 WITH SCORE 8236.75
AT ITER 3777 NEW BEST:: SOT 100455 SOS 82747 HAS SOPS 34361 HAS SOUS 8502 HAS SOUPS 8140 WITH SCORE 8222.747
AT ITER 3790 NEW BEST:: SOT 100435 SOS 82717 HAS SOPS 34321 HAS SOUS 8472 HAS SOUPS 8110 WITH SCORE 8192.717
AT ITER 3802 NEW BEST:: SOT 100423 SOS 82701 HAS SOPS 34297 HAS SOUS 8448 HAS SOUPS 8086 WITH SCORE 8168.701
AT ITER 3827 NEW BEST:: SOT 100414 SOS 82683 HAS SOPS 34279 HAS SOUS 8434 HAS SOUPS 8072 WITH SCORE 8154.683
AT ITER 3834 NEW BEST:: SOT 100400 SOS 82669 HAS SOPS 34265 HAS SOUS 8420 HAS SOUPS 8058 WITH SCORE 8140.669
AT ITER 3888 NEW BEST:: SOT 100398 SOS 82666 HAS SOPS 34261 HAS SOUS 8417 HAS SOUPS 8055 WITH SCORE 8137.666
AT ITER 3898 NEW BEST:: SOT 100392 SOS 82660 HAS SOPS 34259 HAS SOUS 8415 HAS SOUPS 8053 WITH SCORE 8135.66
AT ITER 3922 NEW BEST:: SOT 100372 SOS 82602 HAS SOPS 34219 HAS SOUS 8413 HAS SOUPS 8051 WITH SCORE 8133.602
AT ITER 3925 NEW BEST:: SOT 100371 SOS 82601 HAS SOPS 34217 HAS SOUS 8411 HAS SOUPS 8049 WITH SCORE 8131.601
AT ITER 3960 NEW BEST:: SOT 100371 SOS 82578 HAS SOPS 34194 HAS SOUS 8388 HAS SOUPS 8026 WITH SCORE 8108.578
AT ITER 3980 NEW BEST:: SOT 100368 SOS 82638 HAS SOPS 34221 HAS SOUS 8385 HAS SOUPS 8023 WITH SCORE 8105.638
AT ITER 4002 NEW BEST:: SOT 100383 SOS 82664 HAS SOPS 34225 HAS SOUS 8383 HAS SOUPS 8021 WITH SCORE 8103.664
AT ITER 4020 NEW BEST:: SOT 100381 SOS 82660 HAS SOPS 34219 HAS SOUS 8379 HAS SOUPS 8017 WITH SCORE 8099.66
AT ITER 4027 NEW BEST:: SOT 100380 SOS 82659 HAS SOPS 34217 HAS SOUS 8377 HAS SOUPS 8015 WITH SCORE 8097.659
AT ITER 4059 NEW BEST:: SOT 100379 SOS 82658 HAS SOPS 34215 HAS SOUS 8375 HAS SOUPS 8013 WITH SCORE 8095.658
AT ITER 4065 NEW BEST:: SOT 100379 SOS 82658 HAS SOPS 34053 HAS SOUS 8366 HAS SOUPS 8004 WITH SCORE 8086.658
AT ITER 4085 NEW BEST:: SOT 100373 SOS 82642 HAS SOPS 34031 HAS SOUS 8344 HAS SOUPS 7982 WITH SCORE 8064.642
AT ITER 4104 NEW BEST:: SOT 100370 SOS 82636 HAS SOPS 34025 HAS SOUS 8341 HAS SOUPS 7979 WITH SCORE 8061.636
AT ITER 4120 NEW BEST:: SOT 100360 SOS 82625 HAS SOPS 34021 HAS SOUS 8322 HAS SOUPS 7960 WITH SCORE 8042.625
AT ITER 4136 NEW BEST:: SOT 100360 SOS 82646 HAS SOPS 34021 HAS SOUS 8301 HAS SOUPS 7939 WITH SCORE 8021.646
AT ITER 4205 NEW BEST:: SOT 100355 SOS 82632 HAS SOPS 34011 HAS SOUS 8300 HAS SOUPS 7938 WITH SCORE 8020.632
AT ITER 4214 NEW BEST:: SOT 100353 SOS 82630 HAS SOPS 34009 HAS SOUS 8298 HAS SOUPS 7936 WITH SCORE 8018.63
AT ITER 4215 NEW BEST:: SOT 100349 SOS 82628 HAS SOPS 34003 HAS SOUS 8292 HAS SOUPS 7930 WITH SCORE 8012.628
AT ITER 4229 NEW BEST:: SOT 100335 SOS 82618 HAS SOPS 33975 HAS SOUS 8278 HAS SOUPS 7916 WITH SCORE 7998.618
AT ITER 4241 NEW BEST:: SOT 100335 SOS 82617 HAS SOPS 33975 HAS SOUS 8277 HAS SOUPS 7915 WITH SCORE 7997.617
AT ITER 4255 NEW BEST:: SOT 100329 SOS 82608 HAS SOPS 33963 HAS SOUS 8268 HAS SOUPS 7906 WITH SCORE 7988.608
AT ITER 4259 NEW BEST:: SOT 100300 SOS 82551 HAS SOPS 33905 HAS SOUS 8210 HAS SOUPS 7848 WITH SCORE 7930.551
AT ITER 4260 NEW BEST:: SOT 100282 SOS 82533 HAS SOPS 33878 HAS SOUS 8183 HAS SOUPS 7821 WITH SCORE 7903.533
AT ITER 4310 NEW BEST:: SOT 100262 SOS 82492 HAS SOPS 33838 HAS SOUS 8155 HAS SOUPS 7793 WITH SCORE 7875.492
AT ITER 4316 NEW BEST:: SOT 100261 SOS 82461 HAS SOPS 33814 HAS SOUS 8121 HAS SOUPS 7759 WITH SCORE 7841.461
AT ITER 4342 NEW BEST:: SOT 100238 SOS 82419 HAS SOPS 33768 HAS SOUS 8097 HAS SOUPS 7735 WITH SCORE 7817.419
AT ITER 4425 NEW BEST:: SOT 100229 SOS 82407 HAS SOPS 33750 HAS SOUS 8078 HAS SOUPS 7716 WITH SCORE 7798.407
AT ITER 4491 NEW BEST:: SOT 100227 SOS 82406 HAS SOPS 33747 HAS SOUS 8075 HAS SOUPS 7713 WITH SCORE 7795.406
AT ITER 4504 NEW BEST:: SOT 100224 SOS 82423 HAS SOPS 33741 HAS SOUS 8069 HAS SOUPS 7707 WITH SCORE 7789.423
AT ITER 4516 NEW BEST:: SOT 100223 SOS 82421 HAS SOPS 33739 HAS SOUS 8068 HAS SOUPS 7706 WITH SCORE 7788.421
AT ITER 4537 NEW BEST:: SOT 100223 SOS 82419 HAS SOPS 33727 HAS SOUS 8044 HAS SOUPS 7682 WITH SCORE 7764.419
AT ITER 4558 NEW BEST:: SOT 100205 SOS 82372 HAS SOPS 33681 HAS SOUS 8010 HAS SOUPS 7648 WITH SCORE 7730.372
AT ITER 4560 NEW BEST:: SOT 100203 SOS 82366 HAS SOPS 33671 HAS SOUS 8002 HAS SOUPS 7640 WITH SCORE 7722.366
AT ITER 4575 NEW BEST:: SOT 100202 SOS 82365 HAS SOPS 33669 HAS SOUS 8000 HAS SOUPS 7638 WITH SCORE 7720.365
AT ITER 4642 NEW BEST:: SOT 100198 SOS 82365 HAS SOPS 33665 HAS SOUS 7996 HAS SOUPS 7634 WITH SCORE 7716.365
AT ITER 4678 NEW BEST:: SOT 100200 SOS 82368 HAS SOPS 33619 HAS SOUS 7993 HAS SOUPS 7631 WITH SCORE 7713.368
AT ITER 4703 NEW BEST:: SOT 100198 SOS 81886 HAS SOPS 33618 HAS SOUS 7991 HAS SOUPS 7630 WITH SCORE 7711.886
AT ITER 4730 NEW BEST:: SOT 100196 SOS 81882 HAS SOPS 33614 HAS SOUS 7989 HAS SOUPS 7628 WITH SCORE 7709.882
AT ITER 4784 NEW BEST:: SOT 100195 SOS 81873 HAS SOPS 33596 HAS SOUS 7955 HAS SOUPS 7594 WITH SCORE 7675.873
AT ITER 4804 NEW BEST:: SOT 100193 SOS 81869 HAS SOPS 33592 HAS SOUS 7943 HAS SOUPS 7582 WITH SCORE 7663.869
AT ITER 4814 NEW BEST:: SOT 100178 SOS 81852 HAS SOPS 33575 HAS SOUS 7926 HAS SOUPS 7565 WITH SCORE 7646.852
AT ITER 4904 NEW BEST:: SOT 100182 SOS 81841 HAS SOPS 33557 HAS SOUS 7907 HAS SOUPS 7546 WITH SCORE 7627.841
AT ITER 4919 NEW BEST:: SOT 100170 SOS 81817 HAS SOPS 33527 HAS SOUS 7883 HAS SOUPS 7522 WITH SCORE 7603.817
AT ITER 4939 NEW BEST:: SOT 100162 SOS 81803 HAS SOPS 33505 HAS SOUS 7861 HAS SOUPS 7500 WITH SCORE 7581.803
AT ITER 4970 NEW BEST:: SOT 100160 SOS 81793 HAS SOPS 33501 HAS SOUS 7859 HAS SOUPS 7498 WITH SCORE 7579.793
AT ITER 5052 NEW BEST:: SOT 100166 SOS 81791 HAS SOPS 33501 HAS SOUS 7855 HAS SOUPS 7494 WITH SCORE 7575.791
AT ITER 5068 NEW BEST:: SOT 100164 SOS 81790 HAS SOPS 33498 HAS SOUS 7853 HAS SOUPS 7492 WITH SCORE 7573.79
AT ITER 5083 NEW BEST:: SOT 100161 SOS 81795 HAS SOPS 33496 HAS SOUS 7851 HAS SOUPS 7490 WITH SCORE 7571.795
AT ITER 5086 NEW BEST:: SOT 100152 SOS 81786 HAS SOPS 33478 HAS SOUS 7833 HAS SOUPS 7472 WITH SCORE 7553.786
AT ITER 5152 NEW BEST:: SOT 100150 SOS 81783 HAS SOPS 33474 HAS SOUS 7829 HAS SOUPS 7468 WITH SCORE 7549.783
AT ITER 5179 NEW BEST:: SOT 100148 SOS 81779 HAS SOPS 33470 HAS SOUS 7827 HAS SOUPS 7466 WITH SCORE 7547.779
AT ITER 5189 NEW BEST:: SOT 100147 SOS 81780 HAS SOPS 33468 HAS SOUS 7823 HAS SOUPS 7462 WITH SCORE 7543.78
AT ITER 5246 NEW BEST:: SOT 100141 SOS 81768 HAS SOPS 33456 HAS SOUS 7815 HAS SOUPS 7454 WITH SCORE 7535.768
AT ITER 5261 NEW BEST:: SOT 100139 SOS 81765 HAS SOPS 33452 HAS SOUS 7804 HAS SOUPS 7443 WITH SCORE 7524.765
AT ITER 5297 NEW BEST:: SOT 100138 SOS 81762 HAS SOPS 33448 HAS SOUS 7800 HAS SOUPS 7439 WITH SCORE 7520.762
AT ITER 5390 NEW BEST:: SOT 100135 SOS 81756 HAS SOPS 33445 HAS SOUS 7800 HAS SOUPS 7439 WITH SCORE 7520.756
AT ITER 5408 NEW BEST:: SOT 100103 SOS 81708 HAS SOPS 33381 HAS SOUS 7746 HAS SOUPS 7385 WITH SCORE 7466.708
AT ITER 5457 NEW BEST:: SOT 100082 SOS 81686 HAS SOPS 33359 HAS SOUS 7735 HAS SOUPS 7374 WITH SCORE 7455.686
AT ITER 5471 NEW BEST:: SOT 100090 SOS 81683 HAS SOPS 33359 HAS SOUS 7735 HAS SOUPS 7374 WITH SCORE 7455.683
AT ITER 5478 NEW BEST:: SOT 100088 SOS 81683 HAS SOPS 33357 HAS SOUS 7733 HAS SOUPS 7372 WITH SCORE 7453.683
AT ITER 5489 NEW BEST:: SOT 100054 SOS 81648 HAS SOPS 33322 HAS SOUS 7716 HAS SOUPS 7355 WITH SCORE 7436.648
AT ITER 5490 NEW BEST:: SOT 100039 SOS 81618 HAS SOPS 33292 HAS SOUS 7649 HAS SOUPS 7288 WITH SCORE 7369.618
AT ITER 5542 NEW BEST:: SOT 100040 SOS 81619 HAS SOPS 33291 HAS SOUS 7648 HAS SOUPS 7287 WITH SCORE 7368.619
AT ITER 5557 NEW BEST:: SOT 100039 SOS 81610 HAS SOPS 33273 HAS SOUS 7630 HAS SOUPS 7269 WITH SCORE 7350.61
AT ITER 5584 NEW BEST:: SOT 100038 SOS 81609 HAS SOPS 33272 HAS SOUS 7629 HAS SOUPS 7268 WITH SCORE 7349.609
AT ITER 5586 NEW BEST:: SOT 100025 SOS 81583 HAS SOPS 33259 HAS SOUS 7616 HAS SOUPS 7255 WITH SCORE 7336.583
AT ITER 5608 NEW BEST:: SOT 100022 SOS 81578 HAS SOPS 33253 HAS SOUS 7611 HAS SOUPS 7250 WITH SCORE 7331.578
AT ITER 5647 NEW BEST:: SOT 100013 SOS 81554 HAS SOPS 33235 HAS SOUS 7603 HAS SOUPS 7242 WITH SCORE 7323.554
AT ITER 5678 NEW BEST:: SOT 100013 SOS 81555 HAS SOPS 33235 HAS SOUS 7602 HAS SOUPS 7241 WITH SCORE 7322.555
AT ITER 5682 NEW BEST:: SOT 100009 SOS 81551 HAS SOPS 32995 HAS SOUS 7586 HAS SOUPS 7225 WITH SCORE 7306.551
AT ITER 5721 NEW BEST:: SOT 99995 SOS 81520 HAS SOPS 32967 HAS SOUS 7575 HAS SOUPS 7214 WITH SCORE 7295.52
AT ITER 5836 NEW BEST:: SOT 99993 SOS 81518 HAS SOPS 32963 HAS SOUS 7571 HAS SOUPS 7210 WITH SCORE 7291.518
AT ITER 5906 NEW BEST:: SOT 99976 SOS 81522 HAS SOPS 32957 HAS SOUS 7565 HAS SOUPS 7204 WITH SCORE 7285.522
AT ITER 5911 NEW BEST:: SOT 99969 SOS 81501 HAS SOPS 32936 HAS SOUS 7551 HAS SOUPS 7190 WITH SCORE 7271.501
AT ITER 5927 NEW BEST:: SOT 99970 SOS 81502 HAS SOPS 32926 HAS SOUS 7534 HAS SOUPS 7173 WITH SCORE 7254.502
AT ITER 6045 NEW BEST:: SOT 99964 SOS 81490 HAS SOPS 32914 HAS SOUS 7528 HAS SOUPS 7167 WITH SCORE 7248.49
AT ITER 6053 NEW BEST:: SOT 99967 SOS 81468 HAS SOPS 32895 HAS SOUS 7484 HAS SOUPS 7123 WITH SCORE 7204.468
AT ITER 6057 NEW BEST:: SOT 99965 SOS 81456 HAS SOPS 32886 HAS SOUS 7480 HAS SOUPS 7119 WITH SCORE 7200.456
AT ITER 6092 NEW BEST:: SOT 99950 SOS 81442 HAS SOPS 32872 HAS SOUS 7474 HAS SOUPS 7113 WITH SCORE 7194.442
AT ITER 6096 NEW BEST:: SOT 99949 SOS 81440 HAS SOPS 32869 HAS SOUS 7471 HAS SOUPS 7110 WITH SCORE 7191.44
AT ITER 6198 NEW BEST:: SOT 99949 SOS 81439 HAS SOPS 32869 HAS SOUS 7471 HAS SOUPS 7110 WITH SCORE 7191.439
AT ITER 6335 NEW BEST:: SOT 99949 SOS 81435 HAS SOPS 32865 HAS SOUS 7467 HAS SOUPS 7106 WITH SCORE 7187.435
AT ITER 6353 NEW BEST:: SOT 99948 SOS 81433 HAS SOPS 32860 HAS SOUS 7463 HAS SOUPS 7102 WITH SCORE 7183.433
AT ITER 6382 NEW BEST:: SOT 99938 SOS 81422 HAS SOPS 33002 HAS SOUS 7461 HAS SOUPS 7100 WITH SCORE 7181.422
AT ITER 6385 NEW BEST:: SOT 99936 SOS 81420 HAS SOPS 32998 HAS SOUS 7457 HAS SOUPS 7096 WITH SCORE 7177.42
AT ITER 6388 NEW BEST:: SOT 99933 SOS 81417 HAS SOPS 32994 HAS SOUS 7453 HAS SOUPS 7092 WITH SCORE 7173.417
AT ITER 6390 NEW BEST:: SOT 99928 SOS 81412 HAS SOPS 32988 HAS SOUS 7451 HAS SOUPS 7090 WITH SCORE 7171.412
AT ITER 6453 NEW BEST:: SOT 99920 SOS 81404 HAS SOPS 32980 HAS SOUS 7443 HAS SOUPS 7082 WITH SCORE 7163.404
AT ITER 6610 NEW BEST:: SOT 99920 SOS 81404 HAS SOPS 32980 HAS SOUS 7440 HAS SOUPS 7079 WITH SCORE 7160.404
AT ITER 6635 NEW BEST:: SOT 99913 SOS 81390 HAS SOPS 32973 HAS SOUS 7433 HAS SOUPS 7072 WITH SCORE 7153.39
AT ITER 6662 NEW BEST:: SOT 99913 SOS 81393 HAS SOPS 32973 HAS SOUS 7430 HAS SOUPS 7069 WITH SCORE 7150.393
AT ITER 6721 NEW BEST:: SOT 99912 SOS 81393 HAS SOPS 32972 HAS SOUS 7429 HAS SOUPS 7068 WITH SCORE 7149.393
AT ITER 6723 NEW BEST:: SOT 99910 SOS 81390 HAS SOPS 32968 HAS SOUS 7425 HAS SOUPS 7064 WITH SCORE 7145.39
AT ITER 6779 NEW BEST:: SOT 99895 SOS 81358 HAS SOPS 32938 HAS SOUS 7389 HAS SOUPS 7028 WITH SCORE 7109.358
AT ITER 6847 NEW BEST:: SOT 99891 SOS 81361 HAS SOPS 32937 HAS SOUS 7388 HAS SOUPS 7027 WITH SCORE 7108.361
AT ITER 6910 NEW BEST:: SOT 99879 SOS 81359 HAS SOPS 32923 HAS SOUS 7375 HAS SOUPS 7014 WITH SCORE 7095.359
AT ITER 6927 NEW BEST:: SOT 99878 SOS 81357 HAS SOPS 32921 HAS SOUS 7374 HAS SOUPS 7013 WITH SCORE 7094.357
AT ITER 6930 NEW BEST:: SOT 99876 SOS 81369 HAS SOPS 32917 HAS SOUS 7370 HAS SOUPS 7009 WITH SCORE 7090.369
AT ITER 6944 NEW BEST:: SOT 99876 SOS 81368 HAS SOPS 32916 HAS SOUS 7370 HAS SOUPS 7009 WITH SCORE 7090.368
AT ITER 6969 NEW BEST:: SOT 99852 SOS 81287 HAS SOPS 32835 HAS SOUS 7331 HAS SOUPS 6970 WITH SCORE 7051.287
AT ITER 7000 NEW BEST:: SOT 99848 SOS 81283 HAS SOPS 32829 HAS SOUS 7327 HAS SOUPS 6966 WITH SCORE 7047.283
AT ITER 7072 NEW BEST:: SOT 99843 SOS 81279 HAS SOPS 32828 HAS SOUS 7325 HAS SOUPS 6964 WITH SCORE 7045.279
AT ITER 7112 NEW BEST:: SOT 99846 SOS 81278 HAS SOPS 32830 HAS SOUS 7323 HAS SOUPS 6962 WITH SCORE 7043.278
AT ITER 7222 NEW BEST:: SOT 99843 SOS 81272 HAS SOPS 32821 HAS SOUS 7314 HAS SOUPS 6953 WITH SCORE 7034.272
AT ITER 7376 NEW BEST:: SOT 99843 SOS 81270 HAS SOPS 32819 HAS SOUS 7312 HAS SOUPS 6951 WITH SCORE 7032.27
AT ITER 7462 NEW BEST:: SOT 99838 SOS 81265 HAS SOPS 32809 HAS SOUS 7302 HAS SOUPS 6941 WITH SCORE 7022.265
AT ITER 7555 NEW BEST:: SOT 99838 SOS 81263 HAS SOPS 32805 HAS SOUS 7300 HAS SOUPS 6939 WITH SCORE 7020.263
AT ITER 7561 NEW BEST:: SOT 99834 SOS 81261 HAS SOPS 32803 HAS SOUS 7298 HAS SOUPS 6937 WITH SCORE 7018.261
AT ITER 7599 NEW BEST:: SOT 99832 SOS 81257 HAS SOPS 32799 HAS SOUS 7294 HAS SOUPS 6933 WITH SCORE 7014.257
AT ITER 7604 NEW BEST:: SOT 99832 SOS 81257 HAS SOPS 32796 HAS SOUS 7291 HAS SOUPS 6930 WITH SCORE 7011.257
AT ITER 7648 NEW BEST:: SOT 99829 SOS 81240 HAS SOPS 32776 HAS SOUS 7271 HAS SOUPS 6910 WITH SCORE 6991.24
AT ITER 7655 NEW BEST:: SOT 99825 SOS 81236 HAS SOPS 32772 HAS SOUS 7267 HAS SOUPS 6906 WITH SCORE 6987.236
AT ITER 7669 NEW BEST:: SOT 99823 SOS 81230 HAS SOPS 32764 HAS SOUS 7259 HAS SOUPS 6898 WITH SCORE 6979.23
AT ITER 7685 NEW BEST:: SOT 99817 SOS 81224 HAS SOPS 32757 HAS SOUS 7252 HAS SOUPS 6891 WITH SCORE 6972.224
AT ITER 7775 NEW BEST:: SOT 99819 SOS 81221 HAS SOPS 32305 HAS SOUS 7236 HAS SOUPS 6875 WITH SCORE 6956.221
AT ITER 7878 NEW BEST:: SOT 99832 SOS 81214 HAS SOPS 32308 HAS SOUS 7236 HAS SOUPS 6875 WITH SCORE 6956.214
AT ITER 7911 NEW BEST:: SOT 99917 SOS 81286 HAS SOPS 32338 HAS SOUS 7169 HAS SOUPS 6808 WITH SCORE 6889.286
AT ITER 7920 NEW BEST:: SOT 99915 SOS 81286 HAS SOPS 32336 HAS SOUS 7167 HAS SOUPS 6806 WITH SCORE 6887.286
AT ITER 7983 NEW BEST:: SOT 99915 SOS 81284 HAS SOPS 32336 HAS SOUS 7167 HAS SOUPS 6806 WITH SCORE 6887.284
AT ITER 8096 NEW BEST:: SOT 99914 SOS 81283 HAS SOPS 32335 HAS SOUS 7166 HAS SOUPS 6805 WITH SCORE 6886.283
AT ITER 8146 NEW BEST:: SOT 99913 SOS 81289 HAS SOPS 32333 HAS SOUS 7164 HAS SOUPS 6803 WITH SCORE 6884.289
AT ITER 8167 NEW BEST:: SOT 99918 SOS 83214 HAS SOPS 32331 HAS SOUS 7166 HAS SOUPS 6801 WITH SCORE 6884.214
AT ITER 8250 NEW BEST:: SOT 99886 SOS 83189 HAS SOPS 32267 HAS SOUS 7092 HAS SOUPS 6727 WITH SCORE 6810.189
AT ITER 8296 NEW BEST:: SOT 99857 SOS 83165 HAS SOPS 32283 HAS SOUS 7090 HAS SOUPS 6725 WITH SCORE 6808.165
AT ITER 8390 NEW BEST:: SOT 99841 SOS 83144 HAS SOPS 32270 HAS SOUS 7077 HAS SOUPS 6712 WITH SCORE 6795.144
AT ITER 8394 NEW BEST:: SOT 99841 SOS 83142 HAS SOPS 32270 HAS SOUS 7077 HAS SOUPS 6712 WITH SCORE 6795.142
AT ITER 8415 NEW BEST:: SOT 99831 SOS 83105 HAS SOPS 32235 HAS SOUS 7054 HAS SOUPS 6689 WITH SCORE 6772.105
AT ITER 8444 NEW BEST:: SOT 99829 SOS 83095 HAS SOPS 32231 HAS SOUS 7052 HAS SOUPS 6687 WITH SCORE 6770.095
AT ITER 8516 NEW BEST:: SOT 99814 SOS 83095 HAS SOPS 32216 HAS SOUS 7037 HAS SOUPS 6672 WITH SCORE 6755.095
AT ITER 8627 NEW BEST:: SOT 99737 SOS 83023 HAS SOPS 32174 HAS SOUS 7012 HAS SOUPS 6647 WITH SCORE 6730.023
AT ITER 8634 NEW BEST:: SOT 99732 SOS 83015 HAS SOPS 32164 HAS SOUS 7005 HAS SOUPS 6640 WITH SCORE 6723.015
AT ITER 8777 NEW BEST:: SOT 99724 SOS 83010 HAS SOPS 32162 HAS SOUS 7000 HAS SOUPS 6635 WITH SCORE 6718.01
AT ITER 8815 NEW BEST:: SOT 99722 SOS 83008 HAS SOPS 32160 HAS SOUS 6998 HAS SOUPS 6633 WITH SCORE 6716.008
AT ITER 8920 NEW BEST:: SOT 99714 SOS 83000 HAS SOPS 32148 HAS SOUS 6986 HAS SOUPS 6621 WITH SCORE 6704.0
AT ITER 8997 NEW BEST:: SOT 99714 SOS 82997 HAS SOPS 32145 HAS SOUS 6983 HAS SOUPS 6618 WITH SCORE 6700.997
AT ITER 9039 NEW BEST:: SOT 99712 SOS 82993 HAS SOPS 32141 HAS SOUS 6979 HAS SOUPS 6614 WITH SCORE 6696.993
AT ITER 9142 NEW BEST:: SOT 99710 SOS 82989 HAS SOPS 32135 HAS SOUS 6973 HAS SOUPS 6608 WITH SCORE 6690.989
AT ITER 9189 NEW BEST:: SOT 99706 SOS 82980 HAS SOPS 32127 HAS SOUS 6970 HAS SOUPS 6605 WITH SCORE 6687.98
AT ITER 9258 NEW BEST:: SOT 99706 SOS 82972 HAS SOPS 32123 HAS SOUS 6970 HAS SOUPS 6605 WITH SCORE 6687.972
AT ITER 9326 NEW BEST:: SOT 99704 SOS 82970 HAS SOPS 32120 HAS SOUS 6968 HAS SOUPS 6603 WITH SCORE 6685.97
AT ITER 9328 NEW BEST:: SOT 99704 SOS 82968 HAS SOPS 32119 HAS SOUS 6967 HAS SOUPS 6602 WITH SCORE 6684.968
AT ITER 9365 NEW BEST:: SOT 99704 SOS 82967 HAS SOPS 32118 HAS SOUS 6966 HAS SOUPS 6601 WITH SCORE 6683.967
AT ITER 9437 NEW BEST:: SOT 99703 SOS 82965 HAS SOPS 32104 HAS SOUS 6940 HAS SOUPS 6575 WITH SCORE 6657.965
AT ITER 9574 NEW BEST:: SOT 99703 SOS 82964 HAS SOPS 32103 HAS SOUS 6939 HAS SOUPS 6574 WITH SCORE 6656.964
AT ITER 9725 NEW BEST:: SOT 99701 SOS 82967 HAS SOPS 32099 HAS SOUS 6929 HAS SOUPS 6564 WITH SCORE 6646.967
AT ITER 9750 NEW BEST:: SOT 99703 SOS 82962 HAS SOPS 32103 HAS SOUS 6927 HAS SOUPS 6562 WITH SCORE 6644.962
AT ITER 9885 NEW BEST:: SOT 99697 SOS 82958 HAS SOPS 32095 HAS SOUS 6921 HAS SOUPS 6556 WITH SCORE 6638.958
AT ITER 9961 NEW BEST:: SOT 99695 SOS 82955 HAS SOPS 32091 HAS SOUS 6919 HAS SOUPS 6554 WITH SCORE 6636.955
STATE_SPACE STATES 184884258895036417 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 18 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 4783880198909067265 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679480091029

--------------------
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="FlexibleBarrier-PT-16a"
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 FlexibleBarrier-PT-16a, 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 r171-tall-167838858700544"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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