Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r419-tajo-167905973600312.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldRVt-PT-040A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r419-tajo-167905973600312
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 7.3K Feb 26 00:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 00:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 23:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 25 23:27 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 17:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 00:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 26 00:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 00:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 00:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 109K 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 1679088614277

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldRVt-PT-040A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 040A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 323 places, 323 transitions, 1366 arcs.
AT ITER 0 NEW BEST:: SOT 81877 SOS 60079 HAS SOPS 60079 HAS SOUS 56213 HAS SOUPS 56213 WITH SCORE 56273.079
AT ITER 4 NEW BEST:: SOT 81735 SOS 59822 HAS SOPS 59822 HAS SOUS 55881 HAS SOUPS 55881 WITH SCORE 55940.822
AT ITER 5 NEW BEST:: SOT 81701 SOS 59802 HAS SOPS 59802 HAS SOUS 55821 HAS SOUPS 55821 WITH SCORE 55880.802
AT ITER 11 NEW BEST:: SOT 81543 SOS 59405 HAS SOPS 59405 HAS SOUS 55537 HAS SOUPS 55537 WITH SCORE 55596.405
AT ITER 15 NEW BEST:: SOT 81484 SOS 59437 HAS SOPS 59437 HAS SOUS 55518 HAS SOUPS 55518 WITH SCORE 55577.437
AT ITER 19 NEW BEST:: SOT 81471 SOS 59486 HAS SOPS 59486 HAS SOUS 55458 HAS SOUPS 55458 WITH SCORE 55517.486
AT ITER 22 NEW BEST:: SOT 81396 SOS 59286 HAS SOPS 59286 HAS SOUS 55286 HAS SOUPS 55286 WITH SCORE 55345.286
AT ITER 24 NEW BEST:: SOT 81405 SOS 59266 HAS SOPS 59266 HAS SOUS 55275 HAS SOUPS 55275 WITH SCORE 55334.266
AT ITER 25 NEW BEST:: SOT 81401 SOS 59262 HAS SOPS 59262 HAS SOUS 55271 HAS SOUPS 55271 WITH SCORE 55330.262
AT ITER 26 NEW BEST:: SOT 81281 SOS 59141 HAS SOPS 59141 HAS SOUS 55091 HAS SOUPS 55091 WITH SCORE 55150.141
AT ITER 27 NEW BEST:: SOT 81131 SOS 58840 HAS SOPS 58840 HAS SOUS 54791 HAS SOUPS 54791 WITH SCORE 54849.84
AT ITER 29 NEW BEST:: SOT 80876 SOS 58399 HAS SOPS 58399 HAS SOUS 54458 HAS SOUPS 54458 WITH SCORE 54516.399
AT ITER 34 NEW BEST:: SOT 80876 SOS 58397 HAS SOPS 58397 HAS SOUS 54458 HAS SOUPS 54458 WITH SCORE 54516.397
AT ITER 35 NEW BEST:: SOT 80783 SOS 58204 HAS SOPS 58204 HAS SOUS 54173 HAS SOUPS 54173 WITH SCORE 54231.204
AT ITER 44 NEW BEST:: SOT 80783 SOS 58287 HAS SOPS 58287 HAS SOUS 54089 HAS SOUPS 54089 WITH SCORE 54147.287
AT ITER 52 NEW BEST:: SOT 80724 SOS 58169 HAS SOPS 58169 HAS SOUS 53917 HAS SOUPS 53917 WITH SCORE 53975.169
AT ITER 53 NEW BEST:: SOT 80634 SOS 57990 HAS SOPS 57990 HAS SOUS 53649 HAS SOUPS 53649 WITH SCORE 53706.99
AT ITER 54 NEW BEST:: SOT 80535 SOS 57795 HAS SOPS 57795 HAS SOUS 53454 HAS SOUPS 53454 WITH SCORE 53511.795
AT ITER 55 NEW BEST:: SOT 80354 SOS 57448 HAS SOPS 57448 HAS SOUS 53180 HAS SOUPS 53180 WITH SCORE 53237.448
AT ITER 56 NEW BEST:: SOT 80245 SOS 57230 HAS SOPS 57230 HAS SOUS 53012 HAS SOUPS 53012 WITH SCORE 53069.23
AT ITER 58 NEW BEST:: SOT 80349 SOS 57172 HAS SOPS 57172 HAS SOUS 52901 HAS SOUPS 52901 WITH SCORE 52958.172
AT ITER 59 NEW BEST:: SOT 80310 SOS 57094 HAS SOPS 57094 HAS SOUS 52823 HAS SOUPS 52823 WITH SCORE 52880.094
AT ITER 60 NEW BEST:: SOT 80267 SOS 57011 HAS SOPS 57011 HAS SOUS 52740 HAS SOUPS 52740 WITH SCORE 52797.011
AT ITER 62 NEW BEST:: SOT 80267 SOS 56913 HAS SOPS 56913 HAS SOUS 52657 HAS SOUPS 52657 WITH SCORE 52713.913
AT ITER 63 NEW BEST:: SOT 80287 SOS 56933 HAS SOPS 56933 HAS SOUS 52652 HAS SOUPS 52652 WITH SCORE 52708.933
AT ITER 64 NEW BEST:: SOT 80247 SOS 56853 HAS SOPS 56853 HAS SOUS 52572 HAS SOUPS 52572 WITH SCORE 52628.853
AT ITER 66 NEW BEST:: SOT 80247 SOS 56947 HAS SOPS 56947 HAS SOUS 52565 HAS SOUPS 52565 WITH SCORE 52621.947
AT ITER 67 NEW BEST:: SOT 80247 SOS 56947 HAS SOPS 56947 HAS SOUS 52484 HAS SOUPS 52484 WITH SCORE 52540.947
AT ITER 70 NEW BEST:: SOT 79983 SOS 56322 HAS SOPS 56322 HAS SOUS 52118 HAS SOUPS 52118 WITH SCORE 52174.322
AT ITER 71 NEW BEST:: SOT 79911 SOS 56112 HAS SOPS 56112 HAS SOUS 51908 HAS SOUPS 51908 WITH SCORE 51964.112
AT ITER 72 NEW BEST:: SOT 79869 SOS 56070 HAS SOPS 56070 HAS SOUS 51866 HAS SOUPS 51866 WITH SCORE 51922.07
AT ITER 73 NEW BEST:: SOT 79622 SOS 55701 HAS SOPS 55701 HAS SOUS 51536 HAS SOUPS 51536 WITH SCORE 51591.701
AT ITER 74 NEW BEST:: SOT 79533 SOS 55555 HAS SOPS 55555 HAS SOUS 51337 HAS SOUPS 51337 WITH SCORE 51392.555
AT ITER 77 NEW BEST:: SOT 79287 SOS 55167 HAS SOPS 55167 HAS SOUS 50835 HAS SOUPS 50835 WITH SCORE 50890.167
AT ITER 78 NEW BEST:: SOT 79191 SOS 54995 HAS SOPS 54995 HAS SOUS 50587 HAS SOUPS 50587 WITH SCORE 50641.995
AT ITER 81 NEW BEST:: SOT 79072 SOS 54802 HAS SOPS 54802 HAS SOUS 50320 HAS SOUPS 50320 WITH SCORE 50374.802
AT ITER 85 NEW BEST:: SOT 78810 SOS 54409 HAS SOPS 54409 HAS SOUS 49955 HAS SOUPS 49955 WITH SCORE 50009.409
AT ITER 86 NEW BEST:: SOT 78819 SOS 54452 HAS SOPS 54452 HAS SOUS 49948 HAS SOUPS 49948 WITH SCORE 50002.452
AT ITER 87 NEW BEST:: SOT 78699 SOS 54272 HAS SOPS 54272 HAS SOUS 49784 HAS SOUPS 49784 WITH SCORE 49838.272
AT ITER 92 NEW BEST:: SOT 78674 SOS 54106 HAS SOPS 54106 HAS SOUS 49758 HAS SOUPS 49758 WITH SCORE 49812.106
AT ITER 94 NEW BEST:: SOT 78527 SOS 53835 HAS SOPS 53835 HAS SOUS 49375 HAS SOUPS 49375 WITH SCORE 49428.835
AT ITER 95 NEW BEST:: SOT 78398 SOS 53577 HAS SOPS 53577 HAS SOUS 49186 HAS SOUPS 49186 WITH SCORE 49239.577
AT ITER 99 NEW BEST:: SOT 78398 SOS 53551 HAS SOPS 53551 HAS SOUS 49173 HAS SOUPS 49173 WITH SCORE 49226.551
AT ITER 103 NEW BEST:: SOT 78410 SOS 53510 HAS SOPS 53510 HAS SOUS 49169 HAS SOUPS 49169 WITH SCORE 49222.51
AT ITER 108 NEW BEST:: SOT 78112 SOS 53095 HAS SOPS 53095 HAS SOUS 48796 HAS SOUPS 48796 WITH SCORE 48849.095
AT ITER 109 NEW BEST:: SOT 78088 SOS 53047 HAS SOPS 53047 HAS SOUS 48725 HAS SOUPS 48725 WITH SCORE 48778.047
AT ITER 110 NEW BEST:: SOT 78002 SOS 52847 HAS SOPS 52847 HAS SOUS 48588 HAS SOUPS 48588 WITH SCORE 48640.847
AT ITER 111 NEW BEST:: SOT 77896 SOS 52578 HAS SOPS 52578 HAS SOUS 48319 HAS SOUPS 48319 WITH SCORE 48371.578
AT ITER 114 NEW BEST:: SOT 77837 SOS 52455 HAS SOPS 52455 HAS SOUS 48313 HAS SOUPS 48313 WITH SCORE 48365.455
AT ITER 115 NEW BEST:: SOT 77842 SOS 52537 HAS SOPS 52537 HAS SOUS 48270 HAS SOUPS 48270 WITH SCORE 48322.537
AT ITER 117 NEW BEST:: SOT 77692 SOS 52240 HAS SOPS 52240 HAS SOUS 47942 HAS SOUPS 47942 WITH SCORE 47994.24
AT ITER 119 NEW BEST:: SOT 77579 SOS 52188 HAS SOPS 52188 HAS SOUS 47784 HAS SOUPS 47784 WITH SCORE 47836.188
AT ITER 122 NEW BEST:: SOT 77533 SOS 52219 HAS SOPS 52219 HAS SOUS 47674 HAS SOUPS 47674 WITH SCORE 47726.219
AT ITER 123 NEW BEST:: SOT 77533 SOS 52077 HAS SOPS 52077 HAS SOUS 47674 HAS SOUPS 47674 WITH SCORE 47726.077
AT ITER 125 NEW BEST:: SOT 77533 SOS 52154 HAS SOPS 52154 HAS SOUS 47671 HAS SOUPS 47671 WITH SCORE 47723.154
AT ITER 127 NEW BEST:: SOT 77455 SOS 51918 HAS SOPS 51918 HAS SOUS 47512 HAS SOUPS 47512 WITH SCORE 47563.918
AT ITER 129 NEW BEST:: SOT 77318 SOS 51580 HAS SOPS 51580 HAS SOUS 47173 HAS SOUPS 47173 WITH SCORE 47224.58
AT ITER 130 NEW BEST:: SOT 77317 SOS 51579 HAS SOPS 51579 HAS SOUS 47170 HAS SOUPS 47170 WITH SCORE 47221.579
AT ITER 133 NEW BEST:: SOT 77317 SOS 51582 HAS SOPS 51582 HAS SOUS 47168 HAS SOUPS 47168 WITH SCORE 47219.582
AT ITER 137 NEW BEST:: SOT 77274 SOS 51493 HAS SOPS 51493 HAS SOUS 47142 HAS SOUPS 47142 WITH SCORE 47193.493
AT ITER 141 NEW BEST:: SOT 77272 SOS 51490 HAS SOPS 51490 HAS SOUS 47078 HAS SOUPS 47078 WITH SCORE 47129.49
AT ITER 143 NEW BEST:: SOT 77144 SOS 51289 HAS SOPS 51289 HAS SOUS 46877 HAS SOUPS 46877 WITH SCORE 46928.289
AT ITER 144 NEW BEST:: SOT 77144 SOS 51338 HAS SOPS 51338 HAS SOUS 46872 HAS SOUPS 46872 WITH SCORE 46923.338
AT ITER 147 NEW BEST:: SOT 77100 SOS 51115 HAS SOPS 51115 HAS SOUS 46758 HAS SOUPS 46758 WITH SCORE 46809.115
AT ITER 153 NEW BEST:: SOT 76994 SOS 51004 HAS SOPS 51004 HAS SOUS 46647 HAS SOUPS 46647 WITH SCORE 46698.004
AT ITER 154 NEW BEST:: SOT 76872 SOS 50646 HAS SOPS 50646 HAS SOUS 46403 HAS SOUPS 46403 WITH SCORE 46453.646
AT ITER 156 NEW BEST:: SOT 76871 SOS 50645 HAS SOPS 50645 HAS SOUS 46402 HAS SOUPS 46402 WITH SCORE 46452.645
AT ITER 159 NEW BEST:: SOT 76930 SOS 50608 HAS SOPS 50608 HAS SOUS 46323 HAS SOUPS 46323 WITH SCORE 46373.608
AT ITER 163 NEW BEST:: SOT 76930 SOS 50684 HAS SOPS 50684 HAS SOUS 46320 HAS SOUPS 46320 WITH SCORE 46370.684
AT ITER 165 NEW BEST:: SOT 76930 SOS 50651 HAS SOPS 50651 HAS SOUS 46304 HAS SOUPS 46304 WITH SCORE 46354.651
AT ITER 166 NEW BEST:: SOT 76844 SOS 50488 HAS SOPS 50488 HAS SOUS 46180 HAS SOUPS 46180 WITH SCORE 46230.488
AT ITER 167 NEW BEST:: SOT 76813 SOS 50427 HAS SOPS 50427 HAS SOUS 46089 HAS SOUPS 46089 WITH SCORE 46139.427
AT ITER 168 NEW BEST:: SOT 76770 SOS 50448 HAS SOPS 50448 HAS SOUS 46002 HAS SOUPS 46002 WITH SCORE 46052.448
AT ITER 170 NEW BEST:: SOT 76656 SOS 50212 HAS SOPS 50212 HAS SOUS 45817 HAS SOUPS 45817 WITH SCORE 45867.212
AT ITER 176 NEW BEST:: SOT 76644 SOS 50196 HAS SOPS 50196 HAS SOUS 45801 HAS SOUPS 45801 WITH SCORE 45851.196
AT ITER 177 NEW BEST:: SOT 76666 SOS 50195 HAS SOPS 50195 HAS SOUS 45770 HAS SOUPS 45770 WITH SCORE 45820.195
AT ITER 188 NEW BEST:: SOT 76605 SOS 50102 HAS SOPS 50102 HAS SOUS 45677 HAS SOUPS 45677 WITH SCORE 45727.102
AT ITER 190 NEW BEST:: SOT 76356 SOS 49749 HAS SOPS 49749 HAS SOUS 45264 HAS SOUPS 45264 WITH SCORE 45313.749
AT ITER 191 NEW BEST:: SOT 76203 SOS 49449 HAS SOPS 49449 HAS SOUS 44964 HAS SOUPS 44964 WITH SCORE 45013.449
AT ITER 193 NEW BEST:: SOT 75976 SOS 48985 HAS SOPS 48985 HAS SOUS 44629 HAS SOUPS 44629 WITH SCORE 44677.985
AT ITER 197 NEW BEST:: SOT 75907 SOS 48793 HAS SOPS 48793 HAS SOUS 44398 HAS SOUPS 44398 WITH SCORE 44446.793
AT ITER 198 NEW BEST:: SOT 75811 SOS 48697 HAS SOPS 48697 HAS SOUS 44302 HAS SOUPS 44302 WITH SCORE 44350.697
AT ITER 200 NEW BEST:: SOT 75811 SOS 48628 HAS SOPS 48628 HAS SOUS 44289 HAS SOUPS 44289 WITH SCORE 44337.628
AT ITER 201 NEW BEST:: SOT 75734 SOS 48307 HAS SOPS 48307 HAS SOUS 44120 HAS SOUPS 44120 WITH SCORE 44168.307
AT ITER 202 NEW BEST:: SOT 75734 SOS 48303 HAS SOPS 48303 HAS SOUS 44120 HAS SOUPS 44120 WITH SCORE 44168.303
AT ITER 203 NEW BEST:: SOT 75792 SOS 48315 HAS SOPS 48315 HAS SOUS 44103 HAS SOUPS 44103 WITH SCORE 44151.315
AT ITER 204 NEW BEST:: SOT 75754 SOS 48227 HAS SOPS 48227 HAS SOUS 43983 HAS SOUPS 43983 WITH SCORE 44031.227
AT ITER 205 NEW BEST:: SOT 75497 SOS 47765 HAS SOPS 47765 HAS SOUS 43617 HAS SOUPS 43617 WITH SCORE 43664.765
AT ITER 206 NEW BEST:: SOT 75432 SOS 47676 HAS SOPS 47676 HAS SOUS 43507 HAS SOUPS 43507 WITH SCORE 43554.676
AT ITER 213 NEW BEST:: SOT 75182 SOS 47254 HAS SOPS 47254 HAS SOUS 43100 HAS SOUPS 43100 WITH SCORE 43147.254
AT ITER 215 NEW BEST:: SOT 75173 SOS 47245 HAS SOPS 47245 HAS SOUS 43091 HAS SOUPS 43091 WITH SCORE 43138.245
AT ITER 220 NEW BEST:: SOT 75142 SOS 47183 HAS SOPS 47183 HAS SOUS 43029 HAS SOUPS 43029 WITH SCORE 43076.183
AT ITER 221 NEW BEST:: SOT 75036 SOS 46988 HAS SOPS 46988 HAS SOUS 42755 HAS SOUPS 42755 WITH SCORE 42801.988
AT ITER 223 NEW BEST:: SOT 75036 SOS 46988 HAS SOPS 46988 HAS SOUS 42732 HAS SOUPS 42732 WITH SCORE 42778.988
AT ITER 224 NEW BEST:: SOT 75036 SOS 46988 HAS SOPS 46988 HAS SOUS 42697 HAS SOUPS 42697 WITH SCORE 42743.988
AT ITER 229 NEW BEST:: SOT 74995 SOS 46909 HAS SOPS 46909 HAS SOUS 42617 HAS SOUPS 42617 WITH SCORE 42663.909
AT ITER 230 NEW BEST:: SOT 75086 SOS 47001 HAS SOPS 47001 HAS SOUS 42606 HAS SOUPS 42606 WITH SCORE 42653.001
AT ITER 233 NEW BEST:: SOT 75057 SOS 46957 HAS SOPS 46957 HAS SOUS 42547 HAS SOUPS 42547 WITH SCORE 42593.957
AT ITER 236 NEW BEST:: SOT 74887 SOS 46622 HAS SOPS 46622 HAS SOUS 42187 HAS SOUPS 42187 WITH SCORE 42233.622
AT ITER 239 NEW BEST:: SOT 74880 SOS 46601 HAS SOPS 46601 HAS SOUS 42173 HAS SOUPS 42173 WITH SCORE 42219.601
AT ITER 246 NEW BEST:: SOT 74577 SOS 46197 HAS SOPS 46197 HAS SOUS 41679 HAS SOUPS 41679 WITH SCORE 41725.197
AT ITER 253 NEW BEST:: SOT 74507 SOS 46046 HAS SOPS 46046 HAS SOUS 41493 HAS SOUPS 41493 WITH SCORE 41539.046
AT ITER 263 NEW BEST:: SOT 74482 SOS 45996 HAS SOPS 45996 HAS SOUS 41451 HAS SOUPS 41451 WITH SCORE 41496.996
AT ITER 265 NEW BEST:: SOT 74477 SOS 45984 HAS SOPS 45984 HAS SOUS 41439 HAS SOUPS 41439 WITH SCORE 41484.984
AT ITER 266 NEW BEST:: SOT 74458 SOS 45965 HAS SOPS 45965 HAS SOUS 41401 HAS SOUPS 41401 WITH SCORE 41446.965
AT ITER 270 NEW BEST:: SOT 74458 SOS 45899 HAS SOPS 45899 HAS SOUS 41335 HAS SOUPS 41335 WITH SCORE 41380.899
AT ITER 272 NEW BEST:: SOT 74355 SOS 45757 HAS SOPS 45757 HAS SOUS 41254 HAS SOUPS 41254 WITH SCORE 41299.757
AT ITER 273 NEW BEST:: SOT 74355 SOS 45750 HAS SOPS 45750 HAS SOUS 41232 HAS SOUPS 41232 WITH SCORE 41277.75
AT ITER 277 NEW BEST:: SOT 74355 SOS 45750 HAS SOPS 45750 HAS SOUS 41217 HAS SOUPS 41217 WITH SCORE 41262.75
AT ITER 284 NEW BEST:: SOT 74405 SOS 45804 HAS SOPS 45804 HAS SOUS 41213 HAS SOUPS 41213 WITH SCORE 41258.804
AT ITER 289 NEW BEST:: SOT 74260 SOS 45473 HAS SOPS 45473 HAS SOUS 40706 HAS SOUPS 40706 WITH SCORE 40751.473
AT ITER 290 NEW BEST:: SOT 74157 SOS 45357 HAS SOPS 45357 HAS SOUS 40595 HAS SOUPS 40595 WITH SCORE 40640.357
AT ITER 292 NEW BEST:: SOT 74100 SOS 45262 HAS SOPS 45262 HAS SOUS 40481 HAS SOUPS 40481 WITH SCORE 40526.262
AT ITER 297 NEW BEST:: SOT 74015 SOS 45132 HAS SOPS 45132 HAS SOUS 40350 HAS SOUPS 40350 WITH SCORE 40395.132
AT ITER 302 NEW BEST:: SOT 73989 SOS 45067 HAS SOPS 45067 HAS SOUS 40311 HAS SOUPS 40311 WITH SCORE 40356.067
AT ITER 303 NEW BEST:: SOT 73954 SOS 45023 HAS SOPS 45023 HAS SOUS 40267 HAS SOUPS 40267 WITH SCORE 40312.023
AT ITER 305 NEW BEST:: SOT 73933 SOS 44903 HAS SOPS 44903 HAS SOUS 40257 HAS SOUPS 40257 WITH SCORE 40301.903
AT ITER 306 NEW BEST:: SOT 73871 SOS 44659 HAS SOPS 44659 HAS SOUS 40046 HAS SOUPS 40046 WITH SCORE 40090.659
AT ITER 308 NEW BEST:: SOT 73812 SOS 44369 HAS SOPS 44369 HAS SOUS 39942 HAS SOUPS 39942 WITH SCORE 39986.369
AT ITER 321 NEW BEST:: SOT 73697 SOS 44194 HAS SOPS 44194 HAS SOUS 39704 HAS SOUPS 39704 WITH SCORE 39748.194
AT ITER 323 NEW BEST:: SOT 73549 SOS 43881 HAS SOPS 43881 HAS SOUS 39412 HAS SOUPS 39412 WITH SCORE 39455.881
AT ITER 324 NEW BEST:: SOT 73547 SOS 43870 HAS SOPS 43870 HAS SOUS 39407 HAS SOUPS 39407 WITH SCORE 39450.87
AT ITER 326 NEW BEST:: SOT 73535 SOS 44029 HAS SOPS 44029 HAS SOUS 39384 HAS SOUPS 39384 WITH SCORE 39428.029
AT ITER 327 NEW BEST:: SOT 73487 SOS 43965 HAS SOPS 43965 HAS SOUS 39320 HAS SOUPS 39320 WITH SCORE 39363.965
AT ITER 328 NEW BEST:: SOT 73337 SOS 43765 HAS SOPS 43765 HAS SOUS 39070 HAS SOUPS 39070 WITH SCORE 39113.765
AT ITER 337 NEW BEST:: SOT 73309 SOS 43709 HAS SOPS 43709 HAS SOUS 38980 HAS SOUPS 38980 WITH SCORE 39023.709
AT ITER 339 NEW BEST:: SOT 73300 SOS 43687 HAS SOPS 43687 HAS SOUS 38958 HAS SOUPS 38958 WITH SCORE 39001.687
AT ITER 341 NEW BEST:: SOT 73275 SOS 43662 HAS SOPS 43662 HAS SOUS 38933 HAS SOUPS 38933 WITH SCORE 38976.662
AT ITER 349 NEW BEST:: SOT 73128 SOS 43284 HAS SOPS 43284 HAS SOUS 38597 HAS SOUPS 38597 WITH SCORE 38640.284
AT ITER 350 NEW BEST:: SOT 73073 SOS 43178 HAS SOPS 43178 HAS SOUS 38466 HAS SOUPS 38466 WITH SCORE 38509.178
AT ITER 354 NEW BEST:: SOT 73071 SOS 43172 HAS SOPS 43172 HAS SOUS 38460 HAS SOUPS 38460 WITH SCORE 38503.172
AT ITER 355 NEW BEST:: SOT 72865 SOS 42857 HAS SOPS 42857 HAS SOUS 38145 HAS SOUPS 38145 WITH SCORE 38187.857
AT ITER 358 NEW BEST:: SOT 72865 SOS 42854 HAS SOPS 42854 HAS SOUS 38145 HAS SOUPS 38145 WITH SCORE 38187.854
AT ITER 362 NEW BEST:: SOT 72861 SOS 42892 HAS SOPS 42892 HAS SOUS 38062 HAS SOUPS 38062 WITH SCORE 38104.892
AT ITER 365 NEW BEST:: SOT 72849 SOS 42860 HAS SOPS 42860 HAS SOUS 38030 HAS SOUPS 38030 WITH SCORE 38072.86
AT ITER 366 NEW BEST:: SOT 72818 SOS 42823 HAS SOPS 42823 HAS SOUS 37916 HAS SOUPS 37916 WITH SCORE 37958.823
AT ITER 367 NEW BEST:: SOT 72817 SOS 42822 HAS SOPS 42822 HAS SOUS 37915 HAS SOUPS 37915 WITH SCORE 37957.822
AT ITER 368 NEW BEST:: SOT 72730 SOS 42788 HAS SOPS 42788 HAS SOUS 37879 HAS SOUPS 37879 WITH SCORE 37921.788
AT ITER 369 NEW BEST:: SOT 72680 SOS 42780 HAS SOPS 42780 HAS SOUS 37810 HAS SOUPS 37810 WITH SCORE 37852.78
AT ITER 375 NEW BEST:: SOT 72680 SOS 42777 HAS SOPS 42777 HAS SOUS 37795 HAS SOUPS 37795 WITH SCORE 37837.777
AT ITER 380 NEW BEST:: SOT 72675 SOS 42762 HAS SOPS 42762 HAS SOUS 37787 HAS SOUPS 37787 WITH SCORE 37829.762
AT ITER 384 NEW BEST:: SOT 72548 SOS 42309 HAS SOPS 42309 HAS SOUS 37498 HAS SOUPS 37498 WITH SCORE 37540.309
AT ITER 392 NEW BEST:: SOT 72468 SOS 42210 HAS SOPS 42210 HAS SOUS 37444 HAS SOUPS 37444 WITH SCORE 37486.21
AT ITER 395 NEW BEST:: SOT 72456 SOS 42198 HAS SOPS 42198 HAS SOUS 37439 HAS SOUPS 37439 WITH SCORE 37481.198
AT ITER 397 NEW BEST:: SOT 72357 SOS 41979 HAS SOPS 41979 HAS SOUS 37217 HAS SOUPS 37217 WITH SCORE 37258.979
AT ITER 399 NEW BEST:: SOT 72350 SOS 41972 HAS SOPS 41972 HAS SOUS 37210 HAS SOUPS 37210 WITH SCORE 37251.972
AT ITER 400 NEW BEST:: SOT 72350 SOS 42078 HAS SOPS 42078 HAS SOUS 37182 HAS SOUPS 37182 WITH SCORE 37224.078
AT ITER 401 NEW BEST:: SOT 72340 SOS 42058 HAS SOPS 42058 HAS SOUS 37160 HAS SOUPS 37160 WITH SCORE 37202.058
AT ITER 412 NEW BEST:: SOT 72340 SOS 42058 HAS SOPS 42058 HAS SOUS 37154 HAS SOUPS 37154 WITH SCORE 37196.058
AT ITER 413 NEW BEST:: SOT 72338 SOS 42054 HAS SOPS 42054 HAS SOUS 37140 HAS SOUPS 37140 WITH SCORE 37182.054
AT ITER 415 NEW BEST:: SOT 72147 SOS 41716 HAS SOPS 41716 HAS SOUS 36861 HAS SOUPS 36861 WITH SCORE 36902.716
AT ITER 421 NEW BEST:: SOT 72147 SOS 41716 HAS SOPS 41716 HAS SOUS 36831 HAS SOUPS 36831 WITH SCORE 36872.716
AT ITER 426 NEW BEST:: SOT 72133 SOS 41688 HAS SOPS 41688 HAS SOUS 36803 HAS SOUPS 36803 WITH SCORE 36844.688
AT ITER 437 NEW BEST:: SOT 72115 SOS 41626 HAS SOPS 41626 HAS SOUS 36757 HAS SOUPS 36757 WITH SCORE 36798.626
AT ITER 438 NEW BEST:: SOT 72115 SOS 41623 HAS SOPS 41623 HAS SOUS 36754 HAS SOUPS 36754 WITH SCORE 36795.623
AT ITER 443 NEW BEST:: SOT 71848 SOS 41267 HAS SOPS 41267 HAS SOUS 36398 HAS SOUPS 36398 WITH SCORE 36439.267
AT ITER 450 NEW BEST:: SOT 71824 SOS 41131 HAS SOPS 41131 HAS SOUS 36262 HAS SOUPS 36262 WITH SCORE 36303.131
AT ITER 452 NEW BEST:: SOT 71836 SOS 41134 HAS SOPS 41134 HAS SOUS 36256 HAS SOUPS 36256 WITH SCORE 36297.134
AT ITER 454 NEW BEST:: SOT 71792 SOS 41006 HAS SOPS 41006 HAS SOUS 36186 HAS SOUPS 36186 WITH SCORE 36227.006
AT ITER 460 NEW BEST:: SOT 71777 SOS 40985 HAS SOPS 40985 HAS SOUS 36152 HAS SOUPS 36152 WITH SCORE 36192.985
AT ITER 463 NEW BEST:: SOT 71743 SOS 40906 HAS SOPS 40906 HAS SOUS 36028 HAS SOUPS 36028 WITH SCORE 36068.906
AT ITER 467 NEW BEST:: SOT 71740 SOS 40899 HAS SOPS 40899 HAS SOUS 36023 HAS SOUPS 36023 WITH SCORE 36063.899
AT ITER 470 NEW BEST:: SOT 71740 SOS 40899 HAS SOPS 40899 HAS SOUS 35883 HAS SOUPS 35883 WITH SCORE 35923.899
AT ITER 473 NEW BEST:: SOT 71705 SOS 40759 HAS SOPS 40759 HAS SOUS 35813 HAS SOUPS 35813 WITH SCORE 35853.759
AT ITER 479 NEW BEST:: SOT 71705 SOS 40723 HAS SOPS 40723 HAS SOUS 35648 HAS SOUPS 35648 WITH SCORE 35688.723
AT ITER 482 NEW BEST:: SOT 71602 SOS 40508 HAS SOPS 40508 HAS SOUS 35447 HAS SOUPS 35447 WITH SCORE 35487.508
AT ITER 483 NEW BEST:: SOT 71578 SOS 40472 HAS SOPS 40472 HAS SOUS 35411 HAS SOUPS 35411 WITH SCORE 35451.472
AT ITER 487 NEW BEST:: SOT 71490 SOS 40208 HAS SOPS 40208 HAS SOUS 35320 HAS SOUPS 35320 WITH SCORE 35360.208
AT ITER 492 NEW BEST:: SOT 71441 SOS 40129 HAS SOPS 40129 HAS SOUS 35262 HAS SOUPS 35262 WITH SCORE 35302.129
AT ITER 494 NEW BEST:: SOT 71333 SOS 39923 HAS SOPS 39923 HAS SOUS 35038 HAS SOUPS 35038 WITH SCORE 35077.923
AT ITER 497 NEW BEST:: SOT 71333 SOS 40038 HAS SOPS 40038 HAS SOUS 35020 HAS SOUPS 35020 WITH SCORE 35060.038
AT ITER 501 NEW BEST:: SOT 71380 SOS 40085 HAS SOPS 40085 HAS SOUS 35014 HAS SOUPS 35014 WITH SCORE 35054.085
AT ITER 503 NEW BEST:: SOT 71356 SOS 39989 HAS SOPS 39989 HAS SOUS 34966 HAS SOUPS 34966 WITH SCORE 35005.989
AT ITER 504 NEW BEST:: SOT 71266 SOS 39716 HAS SOPS 39716 HAS SOUS 34754 HAS SOUPS 34754 WITH SCORE 34793.716
AT ITER 513 NEW BEST:: SOT 71266 SOS 39728 HAS SOPS 39728 HAS SOUS 34742 HAS SOUPS 34742 WITH SCORE 34781.728
AT ITER 514 NEW BEST:: SOT 71169 SOS 39618 HAS SOPS 39618 HAS SOUS 34633 HAS SOUPS 34633 WITH SCORE 34672.618
AT ITER 518 NEW BEST:: SOT 71106 SOS 39513 HAS SOPS 39513 HAS SOUS 34528 HAS SOUPS 34528 WITH SCORE 34567.513
AT ITER 525 NEW BEST:: SOT 71104 SOS 39511 HAS SOPS 39511 HAS SOUS 34526 HAS SOUPS 34526 WITH SCORE 34565.511
AT ITER 531 NEW BEST:: SOT 71082 SOS 39507 HAS SOPS 39507 HAS SOUS 34507 HAS SOUPS 34507 WITH SCORE 34546.507
AT ITER 533 NEW BEST:: SOT 70974 SOS 39366 HAS SOPS 39366 HAS SOUS 34382 HAS SOUPS 34382 WITH SCORE 34421.366
AT ITER 535 NEW BEST:: SOT 70906 SOS 39162 HAS SOPS 39162 HAS SOUS 34314 HAS SOUPS 34314 WITH SCORE 34353.162
AT ITER 544 NEW BEST:: SOT 70997 SOS 39211 HAS SOPS 39211 HAS SOUS 34286 HAS SOUPS 34286 WITH SCORE 34325.211
AT ITER 549 NEW BEST:: SOT 70997 SOS 39162 HAS SOPS 39162 HAS SOUS 34286 HAS SOUPS 34286 WITH SCORE 34325.162
AT ITER 553 NEW BEST:: SOT 70946 SOS 39009 HAS SOPS 39009 HAS SOUS 34133 HAS SOUPS 34133 WITH SCORE 34172.009
AT ITER 554 NEW BEST:: SOT 70946 SOS 38947 HAS SOPS 38947 HAS SOUS 34133 HAS SOUPS 34133 WITH SCORE 34171.947
AT ITER 560 NEW BEST:: SOT 70946 SOS 38937 HAS SOPS 38937 HAS SOUS 34133 HAS SOUPS 34133 WITH SCORE 34171.937
AT ITER 565 NEW BEST:: SOT 70914 SOS 38905 HAS SOPS 38905 HAS SOUS 34101 HAS SOUPS 34101 WITH SCORE 34139.905
AT ITER 575 NEW BEST:: SOT 70914 SOS 38905 HAS SOPS 38905 HAS SOUS 34046 HAS SOUPS 34046 WITH SCORE 34084.905
AT ITER 578 NEW BEST:: SOT 70913 SOS 38902 HAS SOPS 38902 HAS SOUS 34008 HAS SOUPS 34008 WITH SCORE 34046.902
AT ITER 579 NEW BEST:: SOT 70913 SOS 38902 HAS SOPS 38902 HAS SOUS 33987 HAS SOUPS 33987 WITH SCORE 34025.902
AT ITER 580 NEW BEST:: SOT 70899 SOS 38980 HAS SOPS 38980 HAS SOUS 33956 HAS SOUPS 33956 WITH SCORE 33994.98
AT ITER 581 NEW BEST:: SOT 70899 SOS 38998 HAS SOPS 38998 HAS SOUS 33946 HAS SOUPS 33946 WITH SCORE 33984.998
AT ITER 584 NEW BEST:: SOT 70753 SOS 38907 HAS SOPS 38907 HAS SOUS 33910 HAS SOUPS 33910 WITH SCORE 33948.907
AT ITER 586 NEW BEST:: SOT 70685 SOS 38790 HAS SOPS 38790 HAS SOUS 33884 HAS SOUPS 33884 WITH SCORE 33922.79
AT ITER 590 NEW BEST:: SOT 70585 SOS 38573 HAS SOPS 38573 HAS SOUS 33714 HAS SOUPS 33714 WITH SCORE 33752.573
AT ITER 593 NEW BEST:: SOT 70585 SOS 38497 HAS SOPS 38497 HAS SOUS 33586 HAS SOUPS 33586 WITH SCORE 33624.497
AT ITER 595 NEW BEST:: SOT 70559 SOS 38367 HAS SOPS 38367 HAS SOUS 33534 HAS SOUPS 33534 WITH SCORE 33572.367
AT ITER 605 NEW BEST:: SOT 70456 SOS 38118 HAS SOPS 38118 HAS SOUS 33284 HAS SOUPS 33284 WITH SCORE 33322.118
AT ITER 624 NEW BEST:: SOT 70393 SOS 37992 HAS SOPS 37992 HAS SOUS 33165 HAS SOUPS 33165 WITH SCORE 33202.992
AT ITER 628 NEW BEST:: SOT 70337 SOS 37902 HAS SOPS 37902 HAS SOUS 33075 HAS SOUPS 33075 WITH SCORE 33112.902
AT ITER 632 NEW BEST:: SOT 70319 SOS 37884 HAS SOPS 37884 HAS SOUS 33066 HAS SOUPS 33066 WITH SCORE 33103.884
AT ITER 641 NEW BEST:: SOT 70194 SOS 37634 HAS SOPS 37634 HAS SOUS 32936 HAS SOUPS 32936 WITH SCORE 32973.634
AT ITER 643 NEW BEST:: SOT 70140 SOS 37535 HAS SOPS 37535 HAS SOUS 32873 HAS SOUPS 32873 WITH SCORE 32910.535
AT ITER 650 NEW BEST:: SOT 70130 SOS 37461 HAS SOPS 37461 HAS SOUS 32803 HAS SOUPS 32803 WITH SCORE 32840.461
AT ITER 651 NEW BEST:: SOT 70130 SOS 37483 HAS SOPS 37483 HAS SOUS 32791 HAS SOUPS 32791 WITH SCORE 32828.483
AT ITER 652 NEW BEST:: SOT 70140 SOS 37473 HAS SOPS 37473 HAS SOUS 32781 HAS SOUPS 32781 WITH SCORE 32818.473
AT ITER 653 NEW BEST:: SOT 70128 SOS 37457 HAS SOPS 37457 HAS SOUS 32751 HAS SOUPS 32751 WITH SCORE 32788.457
AT ITER 656 NEW BEST:: SOT 70000 SOS 37383 HAS SOPS 37383 HAS SOUS 32659 HAS SOUPS 32659 WITH SCORE 32696.383
AT ITER 662 NEW BEST:: SOT 70000 SOS 37435 HAS SOPS 37435 HAS SOUS 32576 HAS SOUPS 32576 WITH SCORE 32613.435
AT ITER 670 NEW BEST:: SOT 69924 SOS 37299 HAS SOPS 37299 HAS SOUS 32493 HAS SOUPS 32493 WITH SCORE 32530.299
AT ITER 671 NEW BEST:: SOT 69924 SOS 37265 HAS SOPS 37265 HAS SOUS 32493 HAS SOUPS 32493 WITH SCORE 32530.265
AT ITER 676 NEW BEST:: SOT 69886 SOS 37226 HAS SOPS 37226 HAS SOUS 32454 HAS SOUPS 32454 WITH SCORE 32491.226
AT ITER 682 NEW BEST:: SOT 69713 SOS 36986 HAS SOPS 36986 HAS SOUS 32229 HAS SOUPS 32229 WITH SCORE 32265.986
AT ITER 683 NEW BEST:: SOT 69661 SOS 36789 HAS SOPS 36789 HAS SOUS 32082 HAS SOUPS 32082 WITH SCORE 32118.789
AT ITER 686 NEW BEST:: SOT 69661 SOS 36788 HAS SOPS 36788 HAS SOUS 32082 HAS SOUPS 32082 WITH SCORE 32118.788
AT ITER 692 NEW BEST:: SOT 69564 SOS 36660 HAS SOPS 36660 HAS SOUS 31954 HAS SOUPS 31954 WITH SCORE 31990.66
AT ITER 696 NEW BEST:: SOT 69525 SOS 36496 HAS SOPS 36496 HAS SOUS 31846 HAS SOUPS 31846 WITH SCORE 31882.496
AT ITER 704 NEW BEST:: SOT 69525 SOS 36496 HAS SOPS 36496 HAS SOUS 31844 HAS SOUPS 31844 WITH SCORE 31880.496
AT ITER 709 NEW BEST:: SOT 69486 SOS 36301 HAS SOPS 36301 HAS SOUS 31713 HAS SOUPS 31713 WITH SCORE 31749.301
AT ITER 710 NEW BEST:: SOT 69362 SOS 36048 HAS SOPS 36048 HAS SOUS 31592 HAS SOUPS 31592 WITH SCORE 31628.048
AT ITER 716 NEW BEST:: SOT 69359 SOS 36041 HAS SOPS 36041 HAS SOUS 31585 HAS SOUPS 31585 WITH SCORE 31621.041
AT ITER 722 NEW BEST:: SOT 69342 SOS 36240 HAS SOPS 36240 HAS SOUS 31388 HAS SOUPS 31388 WITH SCORE 31424.24
AT ITER 729 NEW BEST:: SOT 69314 SOS 36331 HAS SOPS 36331 HAS SOUS 31346 HAS SOUPS 31346 WITH SCORE 31382.331
AT ITER 732 NEW BEST:: SOT 69206 SOS 35999 HAS SOPS 35999 HAS SOUS 31099 HAS SOUPS 31099 WITH SCORE 31134.999
AT ITER 733 NEW BEST:: SOT 69193 SOS 35986 HAS SOPS 35986 HAS SOUS 31086 HAS SOUPS 31086 WITH SCORE 31121.986
AT ITER 742 NEW BEST:: SOT 69181 SOS 35950 HAS SOPS 35950 HAS SOUS 31062 HAS SOUPS 31062 WITH SCORE 31097.95
AT ITER 754 NEW BEST:: SOT 69125 SOS 35772 HAS SOPS 35772 HAS SOUS 30840 HAS SOUPS 30840 WITH SCORE 30875.772
AT ITER 756 NEW BEST:: SOT 69118 SOS 35737 HAS SOPS 35737 HAS SOUS 30826 HAS SOUPS 30826 WITH SCORE 30861.737
AT ITER 758 NEW BEST:: SOT 69011 SOS 35550 HAS SOPS 35550 HAS SOUS 30721 HAS SOUPS 30721 WITH SCORE 30756.55
AT ITER 766 NEW BEST:: SOT 69012 SOS 35619 HAS SOPS 35619 HAS SOUS 30705 HAS SOUPS 30705 WITH SCORE 30740.619
AT ITER 772 NEW BEST:: SOT 69012 SOS 35601 HAS SOPS 35601 HAS SOUS 30692 HAS SOUPS 30692 WITH SCORE 30727.601
AT ITER 777 NEW BEST:: SOT 69077 SOS 35244 HAS SOPS 35244 HAS SOUS 30457 HAS SOUPS 30457 WITH SCORE 30492.244
AT ITER 778 NEW BEST:: SOT 69041 SOS 35206 HAS SOPS 35206 HAS SOUS 30411 HAS SOUPS 30411 WITH SCORE 30446.206
AT ITER 784 NEW BEST:: SOT 68972 SOS 34949 HAS SOPS 34949 HAS SOUS 30241 HAS SOUPS 30241 WITH SCORE 30275.949
AT ITER 790 NEW BEST:: SOT 68907 SOS 34815 HAS SOPS 34815 HAS SOUS 30109 HAS SOUPS 30109 WITH SCORE 30143.815
AT ITER 793 NEW BEST:: SOT 68907 SOS 34820 HAS SOPS 34820 HAS SOUS 30104 HAS SOUPS 30104 WITH SCORE 30138.82
AT ITER 798 NEW BEST:: SOT 68763 SOS 34669 HAS SOPS 34669 HAS SOUS 29950 HAS SOUPS 29950 WITH SCORE 29984.669
AT ITER 802 NEW BEST:: SOT 68741 SOS 34636 HAS SOPS 34636 HAS SOUS 29917 HAS SOUPS 29917 WITH SCORE 29951.636
AT ITER 804 NEW BEST:: SOT 68739 SOS 34634 HAS SOPS 34634 HAS SOUS 29915 HAS SOUPS 29915 WITH SCORE 29949.634
AT ITER 806 NEW BEST:: SOT 68597 SOS 34465 HAS SOPS 34465 HAS SOUS 29746 HAS SOUPS 29746 WITH SCORE 29780.465
AT ITER 809 NEW BEST:: SOT 68582 SOS 34450 HAS SOPS 34450 HAS SOUS 29731 HAS SOUPS 29731 WITH SCORE 29765.45
AT ITER 817 NEW BEST:: SOT 68532 SOS 34336 HAS SOPS 34336 HAS SOUS 29585 HAS SOUPS 29585 WITH SCORE 29619.336
AT ITER 836 NEW BEST:: SOT 68429 SOS 33995 HAS SOPS 33995 HAS SOUS 29352 HAS SOUPS 29352 WITH SCORE 29385.995
AT ITER 839 NEW BEST:: SOT 68423 SOS 33983 HAS SOPS 33983 HAS SOUS 29340 HAS SOUPS 29340 WITH SCORE 29373.983
AT ITER 842 NEW BEST:: SOT 68291 SOS 33518 HAS SOPS 33518 HAS SOUS 29142 HAS SOUPS 29142 WITH SCORE 29175.518
AT ITER 851 NEW BEST:: SOT 68277 SOS 33500 HAS SOPS 33500 HAS SOUS 29124 HAS SOUPS 29124 WITH SCORE 29157.5
AT ITER 866 NEW BEST:: SOT 68241 SOS 33464 HAS SOPS 33464 HAS SOUS 29072 HAS SOUPS 29072 WITH SCORE 29105.464
AT ITER 873 NEW BEST:: SOT 68135 SOS 33336 HAS SOPS 33336 HAS SOUS 28995 HAS SOUPS 28995 WITH SCORE 29028.336
AT ITER 877 NEW BEST:: SOT 68093 SOS 33273 HAS SOPS 33273 HAS SOUS 28916 HAS SOUPS 28916 WITH SCORE 28949.273
AT ITER 881 NEW BEST:: SOT 68066 SOS 33237 HAS SOPS 33237 HAS SOUS 28880 HAS SOUPS 28880 WITH SCORE 28913.237
AT ITER 891 NEW BEST:: SOT 67954 SOS 33037 HAS SOPS 33037 HAS SOUS 28804 HAS SOUPS 28804 WITH SCORE 28837.037
AT ITER 897 NEW BEST:: SOT 67738 SOS 32614 HAS SOPS 32614 HAS SOUS 28456 HAS SOUPS 28456 WITH SCORE 28488.614
AT ITER 909 NEW BEST:: SOT 67725 SOS 32573 HAS SOPS 32573 HAS SOUS 28439 HAS SOUPS 28439 WITH SCORE 28471.573
AT ITER 920 NEW BEST:: SOT 67551 SOS 32283 HAS SOPS 32283 HAS SOUS 28075 HAS SOUPS 28075 WITH SCORE 28107.283
AT ITER 932 NEW BEST:: SOT 67551 SOS 32168 HAS SOPS 32168 HAS SOUS 27961 HAS SOUPS 27961 WITH SCORE 27993.168
AT ITER 934 NEW BEST:: SOT 67544 SOS 32161 HAS SOPS 32161 HAS SOUS 27954 HAS SOUPS 27954 WITH SCORE 27986.161
AT ITER 935 NEW BEST:: SOT 67528 SOS 32135 HAS SOPS 32135 HAS SOUS 27950 HAS SOUPS 27950 WITH SCORE 27982.135
AT ITER 936 NEW BEST:: SOT 67472 SOS 32058 HAS SOPS 32058 HAS SOUS 27908 HAS SOUPS 27908 WITH SCORE 27940.058
AT ITER 945 NEW BEST:: SOT 67355 SOS 31708 HAS SOPS 31708 HAS SOUS 27798 HAS SOUPS 27798 WITH SCORE 27829.708
AT ITER 954 NEW BEST:: SOT 67352 SOS 31704 HAS SOPS 31704 HAS SOUS 27759 HAS SOUPS 27759 WITH SCORE 27790.704
AT ITER 967 NEW BEST:: SOT 67331 SOS 31646 HAS SOPS 31646 HAS SOUS 27717 HAS SOUPS 27717 WITH SCORE 27748.646
AT ITER 968 NEW BEST:: SOT 67331 SOS 31622 HAS SOPS 31622 HAS SOUS 27717 HAS SOUPS 27717 WITH SCORE 27748.622
AT ITER 970 NEW BEST:: SOT 67321 SOS 31605 HAS SOPS 31605 HAS SOUS 27697 HAS SOUPS 27697 WITH SCORE 27728.605
AT ITER 982 NEW BEST:: SOT 67321 SOS 31547 HAS SOPS 31547 HAS SOUS 27697 HAS SOUPS 27697 WITH SCORE 27728.547
AT ITER 985 NEW BEST:: SOT 67305 SOS 31567 HAS SOPS 31567 HAS SOUS 27691 HAS SOUPS 27691 WITH SCORE 27722.567
AT ITER 992 NEW BEST:: SOT 67248 SOS 31429 HAS SOPS 31429 HAS SOUS 27557 HAS SOUPS 27557 WITH SCORE 27588.429
AT ITER 993 NEW BEST:: SOT 67161 SOS 31342 HAS SOPS 31342 HAS SOUS 27470 HAS SOUPS 27470 WITH SCORE 27501.342
AT ITER 995 NEW BEST:: SOT 67159 SOS 31340 HAS SOPS 31340 HAS SOUS 27468 HAS SOUPS 27468 WITH SCORE 27499.34
AT ITER 1002 NEW BEST:: SOT 67117 SOS 31230 HAS SOPS 31230 HAS SOUS 27412 HAS SOUPS 27412 WITH SCORE 27443.23
AT ITER 1008 NEW BEST:: SOT 67085 SOS 31206 HAS SOPS 31206 HAS SOUS 27342 HAS SOUPS 27342 WITH SCORE 27373.206
AT ITER 1012 NEW BEST:: SOT 67064 SOS 31178 HAS SOPS 31178 HAS SOUS 27314 HAS SOUPS 27314 WITH SCORE 27345.178
AT ITER 1017 NEW BEST:: SOT 67064 SOS 31175 HAS SOPS 31175 HAS SOUS 27314 HAS SOUPS 27314 WITH SCORE 27345.175
AT ITER 1019 NEW BEST:: SOT 67004 SOS 31087 HAS SOPS 31087 HAS SOUS 27216 HAS SOUPS 27216 WITH SCORE 27247.087
AT ITER 1024 NEW BEST:: SOT 66947 SOS 30776 HAS SOPS 30776 HAS SOUS 27058 HAS SOUPS 27058 WITH SCORE 27088.776
AT ITER 1036 NEW BEST:: SOT 66925 SOS 30650 HAS SOPS 30650 HAS SOUS 26969 HAS SOUPS 26969 WITH SCORE 26999.65
AT ITER 1040 NEW BEST:: SOT 66840 SOS 30574 HAS SOPS 30574 HAS SOUS 26814 HAS SOUPS 26814 WITH SCORE 26844.574
AT ITER 1046 NEW BEST:: SOT 66824 SOS 30558 HAS SOPS 30558 HAS SOUS 26807 HAS SOUPS 26807 WITH SCORE 26837.558
AT ITER 1050 NEW BEST:: SOT 66808 SOS 30548 HAS SOPS 30548 HAS SOUS 26805 HAS SOUPS 26805 WITH SCORE 26835.548
AT ITER 1057 NEW BEST:: SOT 66797 SOS 30499 HAS SOPS 30499 HAS SOUS 26777 HAS SOUPS 26777 WITH SCORE 26807.499
AT ITER 1062 NEW BEST:: SOT 66747 SOS 30405 HAS SOPS 30405 HAS SOUS 26685 HAS SOUPS 26685 WITH SCORE 26715.405
AT ITER 1067 NEW BEST:: SOT 66736 SOS 30378 HAS SOPS 30378 HAS SOUS 26666 HAS SOUPS 26666 WITH SCORE 26696.378
AT ITER 1068 NEW BEST:: SOT 66737 SOS 30370 HAS SOPS 30370 HAS SOUS 26658 HAS SOUPS 26658 WITH SCORE 26688.37
AT ITER 1070 NEW BEST:: SOT 66720 SOS 30356 HAS SOPS 30356 HAS SOUS 26634 HAS SOUPS 26634 WITH SCORE 26664.356
AT ITER 1073 NEW BEST:: SOT 66669 SOS 30285 HAS SOPS 30285 HAS SOUS 26569 HAS SOUPS 26569 WITH SCORE 26599.285
AT ITER 1081 NEW BEST:: SOT 66662 SOS 30278 HAS SOPS 30278 HAS SOUS 26568 HAS SOUPS 26568 WITH SCORE 26598.278
AT ITER 1089 NEW BEST:: SOT 66641 SOS 30281 HAS SOPS 30281 HAS SOUS 26539 HAS SOUPS 26539 WITH SCORE 26569.281
AT ITER 1097 NEW BEST:: SOT 66641 SOS 30219 HAS SOPS 30219 HAS SOUS 26508 HAS SOUPS 26508 WITH SCORE 26538.219
AT ITER 1103 NEW BEST:: SOT 66641 SOS 30211 HAS SOPS 30211 HAS SOUS 26506 HAS SOUPS 26506 WITH SCORE 26536.211
AT ITER 1107 NEW BEST:: SOT 66592 SOS 30090 HAS SOPS 30090 HAS SOUS 26462 HAS SOUPS 26462 WITH SCORE 26492.09
AT ITER 1118 NEW BEST:: SOT 66570 SOS 30068 HAS SOPS 30068 HAS SOUS 26418 HAS SOUPS 26418 WITH SCORE 26448.068
AT ITER 1141 NEW BEST:: SOT 66570 SOS 30065 HAS SOPS 30065 HAS SOUS 26418 HAS SOUPS 26418 WITH SCORE 26448.065
AT ITER 1145 NEW BEST:: SOT 66556 SOS 29985 HAS SOPS 29985 HAS SOUS 26376 HAS SOUPS 26376 WITH SCORE 26405.985
AT ITER 1156 NEW BEST:: SOT 66550 SOS 29917 HAS SOPS 29917 HAS SOUS 26303 HAS SOUPS 26303 WITH SCORE 26332.917
AT ITER 1163 NEW BEST:: SOT 66543 SOS 29883 HAS SOPS 29883 HAS SOUS 26281 HAS SOUPS 26281 WITH SCORE 26310.883
AT ITER 1164 NEW BEST:: SOT 66403 SOS 29708 HAS SOPS 29708 HAS SOUS 26022 HAS SOUPS 26022 WITH SCORE 26051.708
AT ITER 1175 NEW BEST:: SOT 66370 SOS 29459 HAS SOPS 29459 HAS SOUS 25888 HAS SOUPS 25888 WITH SCORE 25917.459
AT ITER 1182 NEW BEST:: SOT 66355 SOS 29444 HAS SOPS 29444 HAS SOUS 25873 HAS SOUPS 25873 WITH SCORE 25902.444
AT ITER 1183 NEW BEST:: SOT 66271 SOS 29059 HAS SOPS 29059 HAS SOUS 25529 HAS SOUPS 25529 WITH SCORE 25558.059
AT ITER 1190 NEW BEST:: SOT 66133 SOS 28700 HAS SOPS 28700 HAS SOUS 25303 HAS SOUPS 25303 WITH SCORE 25331.7
AT ITER 1194 NEW BEST:: SOT 66129 SOS 28692 HAS SOPS 28692 HAS SOUS 25291 HAS SOUPS 25291 WITH SCORE 25319.692
AT ITER 1201 NEW BEST:: SOT 65944 SOS 28382 HAS SOPS 28382 HAS SOUS 25018 HAS SOUPS 25018 WITH SCORE 25046.382
AT ITER 1204 NEW BEST:: SOT 65944 SOS 28428 HAS SOPS 28428 HAS SOUS 24914 HAS SOUPS 24914 WITH SCORE 24942.428
AT ITER 1208 NEW BEST:: SOT 65932 SOS 28392 HAS SOPS 28392 HAS SOUS 24890 HAS SOUPS 24890 WITH SCORE 24918.392
AT ITER 1211 NEW BEST:: SOT 65920 SOS 28364 HAS SOPS 28364 HAS SOUS 24862 HAS SOUPS 24862 WITH SCORE 24890.364
AT ITER 1214 NEW BEST:: SOT 65895 SOS 28286 HAS SOPS 28286 HAS SOUS 24854 HAS SOUPS 24854 WITH SCORE 24882.286
AT ITER 1220 NEW BEST:: SOT 65871 SOS 28247 HAS SOPS 28247 HAS SOUS 24819 HAS SOUPS 24819 WITH SCORE 24847.247
AT ITER 1222 NEW BEST:: SOT 65870 SOS 28232 HAS SOPS 28232 HAS SOUS 24804 HAS SOUPS 24804 WITH SCORE 24832.232
AT ITER 1232 NEW BEST:: SOT 65867 SOS 28229 HAS SOPS 28229 HAS SOUS 24801 HAS SOUPS 24801 WITH SCORE 24829.229
AT ITER 1236 NEW BEST:: SOT 65832 SOS 28174 HAS SOPS 28174 HAS SOUS 24769 HAS SOUPS 24769 WITH SCORE 24797.174
AT ITER 1237 NEW BEST:: SOT 65827 SOS 28169 HAS SOPS 28169 HAS SOUS 24764 HAS SOUPS 24764 WITH SCORE 24792.169
AT ITER 1244 NEW BEST:: SOT 65773 SOS 28092 HAS SOPS 28092 HAS SOUS 24687 HAS SOUPS 24687 WITH SCORE 24715.092
AT ITER 1255 NEW BEST:: SOT 65766 SOS 28081 HAS SOPS 28081 HAS SOUS 24680 HAS SOUPS 24680 WITH SCORE 24708.081
AT ITER 1257 NEW BEST:: SOT 65755 SOS 28018 HAS SOPS 28018 HAS SOUS 24583 HAS SOUPS 24583 WITH SCORE 24611.018
AT ITER 1267 NEW BEST:: SOT 65719 SOS 27858 HAS SOPS 27858 HAS SOUS 24460 HAS SOUPS 24460 WITH SCORE 24487.858
AT ITER 1275 NEW BEST:: SOT 65716 SOS 27853 HAS SOPS 27853 HAS SOUS 24451 HAS SOUPS 24451 WITH SCORE 24478.853
AT ITER 1280 NEW BEST:: SOT 65690 SOS 27824 HAS SOPS 27824 HAS SOUS 24407 HAS SOUPS 24407 WITH SCORE 24434.824
AT ITER 1282 NEW BEST:: SOT 65690 SOS 27800 HAS SOPS 27800 HAS SOUS 24407 HAS SOUPS 24407 WITH SCORE 24434.8
AT ITER 1289 NEW BEST:: SOT 65590 SOS 27675 HAS SOPS 27675 HAS SOUS 24282 HAS SOUPS 24282 WITH SCORE 24309.675
AT ITER 1299 NEW BEST:: SOT 65586 SOS 27672 HAS SOPS 27672 HAS SOUS 24279 HAS SOUPS 24279 WITH SCORE 24306.672
AT ITER 1310 NEW BEST:: SOT 65561 SOS 27439 HAS SOPS 27439 HAS SOUS 24160 HAS SOUPS 24160 WITH SCORE 24187.439
AT ITER 1327 NEW BEST:: SOT 65568 SOS 27444 HAS SOPS 27444 HAS SOUS 24155 HAS SOUPS 24155 WITH SCORE 24182.444
AT ITER 1342 NEW BEST:: SOT 65569 SOS 27442 HAS SOPS 27442 HAS SOUS 24153 HAS SOUPS 24153 WITH SCORE 24180.442
AT ITER 1350 NEW BEST:: SOT 65510 SOS 27357 HAS SOPS 27357 HAS SOUS 24074 HAS SOUPS 24074 WITH SCORE 24101.357
AT ITER 1356 NEW BEST:: SOT 65210 SOS 26811 HAS SOPS 26811 HAS SOUS 23640 HAS SOUPS 23640 WITH SCORE 23666.811
AT ITER 1358 NEW BEST:: SOT 65209 SOS 26791 HAS SOPS 26791 HAS SOUS 23625 HAS SOUPS 23625 WITH SCORE 23651.791
AT ITER 1359 NEW BEST:: SOT 65149 SOS 26692 HAS SOPS 26692 HAS SOUS 23525 HAS SOUPS 23525 WITH SCORE 23551.692
AT ITER 1366 NEW BEST:: SOT 65122 SOS 26665 HAS SOPS 26665 HAS SOUS 23498 HAS SOUPS 23498 WITH SCORE 23524.665
AT ITER 1367 NEW BEST:: SOT 65080 SOS 26583 HAS SOPS 26583 HAS SOUS 23391 HAS SOUPS 23391 WITH SCORE 23417.583
AT ITER 1371 NEW BEST:: SOT 65053 SOS 26547 HAS SOPS 26547 HAS SOUS 23355 HAS SOUPS 23355 WITH SCORE 23381.547
AT ITER 1384 NEW BEST:: SOT 65007 SOS 26520 HAS SOPS 26520 HAS SOUS 23328 HAS SOUPS 23328 WITH SCORE 23354.52
AT ITER 1385 NEW BEST:: SOT 64984 SOS 26446 HAS SOPS 26446 HAS SOUS 23278 HAS SOUPS 23278 WITH SCORE 23304.446
AT ITER 1387 NEW BEST:: SOT 64948 SOS 26411 HAS SOPS 26411 HAS SOUS 23243 HAS SOUPS 23243 WITH SCORE 23269.411
AT ITER 1390 NEW BEST:: SOT 64948 SOS 26325 HAS SOPS 26325 HAS SOUS 23194 HAS SOUPS 23194 WITH SCORE 23220.325
AT ITER 1409 NEW BEST:: SOT 64878 SOS 26255 HAS SOPS 26255 HAS SOUS 23111 HAS SOUPS 23111 WITH SCORE 23137.255
AT ITER 1410 NEW BEST:: SOT 64884 SOS 26250 HAS SOPS 26250 HAS SOUS 23110 HAS SOUPS 23110 WITH SCORE 23136.25
AT ITER 1415 NEW BEST:: SOT 64872 SOS 26238 HAS SOPS 26238 HAS SOUS 23098 HAS SOUPS 23098 WITH SCORE 23124.238
AT ITER 1428 NEW BEST:: SOT 64964 SOS 26205 HAS SOPS 26205 HAS SOUS 23050 HAS SOUPS 23050 WITH SCORE 23076.205
AT ITER 1439 NEW BEST:: SOT 64953 SOS 26230 HAS SOPS 26230 HAS SOUS 22991 HAS SOUPS 22991 WITH SCORE 23017.23
AT ITER 1468 NEW BEST:: SOT 64949 SOS 26226 HAS SOPS 26226 HAS SOUS 22987 HAS SOUPS 22987 WITH SCORE 23013.226
AT ITER 1476 NEW BEST:: SOT 64834 SOS 26100 HAS SOPS 26100 HAS SOUS 22786 HAS SOUPS 22786 WITH SCORE 22812.1
AT ITER 1478 NEW BEST:: SOT 64754 SOS 25981 HAS SOPS 25981 HAS SOUS 22644 HAS SOUPS 22644 WITH SCORE 22669.981
AT ITER 1483 NEW BEST:: SOT 64595 SOS 25822 HAS SOPS 25822 HAS SOUS 22485 HAS SOUPS 22485 WITH SCORE 22510.822
AT ITER 1484 NEW BEST:: SOT 64595 SOS 25800 HAS SOPS 25800 HAS SOUS 22442 HAS SOUPS 22442 WITH SCORE 22467.8
AT ITER 1499 NEW BEST:: SOT 64595 SOS 25796 HAS SOPS 25796 HAS SOUS 22442 HAS SOUPS 22442 WITH SCORE 22467.796
AT ITER 1503 NEW BEST:: SOT 64575 SOS 25728 HAS SOPS 25728 HAS SOUS 22410 HAS SOUPS 22410 WITH SCORE 22435.728
AT ITER 1506 NEW BEST:: SOT 64560 SOS 25683 HAS SOPS 25683 HAS SOUS 22395 HAS SOUPS 22395 WITH SCORE 22420.683
AT ITER 1512 NEW BEST:: SOT 64557 SOS 25680 HAS SOPS 25680 HAS SOUS 22395 HAS SOUPS 22395 WITH SCORE 22420.68
AT ITER 1513 NEW BEST:: SOT 64513 SOS 25486 HAS SOPS 25486 HAS SOUS 22267 HAS SOUPS 22267 WITH SCORE 22292.486
AT ITER 1515 NEW BEST:: SOT 64508 SOS 25481 HAS SOPS 25481 HAS SOUS 22262 HAS SOUPS 22262 WITH SCORE 22287.481
AT ITER 1526 NEW BEST:: SOT 64493 SOS 25461 HAS SOPS 25461 HAS SOUS 22232 HAS SOUPS 22232 WITH SCORE 22257.461
AT ITER 1532 NEW BEST:: SOT 64491 SOS 25459 HAS SOPS 25459 HAS SOUS 22230 HAS SOUPS 22230 WITH SCORE 22255.459
AT ITER 1533 NEW BEST:: SOT 64491 SOS 25459 HAS SOPS 25459 HAS SOUS 22224 HAS SOUPS 22224 WITH SCORE 22249.459
AT ITER 1534 NEW BEST:: SOT 64371 SOS 25339 HAS SOPS 25339 HAS SOUS 22104 HAS SOUPS 22104 WITH SCORE 22129.339
AT ITER 1558 NEW BEST:: SOT 64355 SOS 25313 HAS SOPS 25313 HAS SOUS 22084 HAS SOUPS 22084 WITH SCORE 22109.313
AT ITER 1561 NEW BEST:: SOT 64308 SOS 25266 HAS SOPS 25266 HAS SOUS 22033 HAS SOUPS 22033 WITH SCORE 22058.266
AT ITER 1565 NEW BEST:: SOT 64304 SOS 25262 HAS SOPS 25262 HAS SOUS 22025 HAS SOUPS 22025 WITH SCORE 22050.262
AT ITER 1566 NEW BEST:: SOT 64256 SOS 25143 HAS SOPS 25143 HAS SOUS 21907 HAS SOUPS 21907 WITH SCORE 21932.143
AT ITER 1569 NEW BEST:: SOT 64256 SOS 25181 HAS SOPS 25181 HAS SOUS 21894 HAS SOUPS 21894 WITH SCORE 21919.181
AT ITER 1575 NEW BEST:: SOT 64246 SOS 25151 HAS SOPS 25151 HAS SOUS 21878 HAS SOUPS 21878 WITH SCORE 21903.151
AT ITER 1580 NEW BEST:: SOT 64249 SOS 25159 HAS SOPS 25159 HAS SOUS 21874 HAS SOUPS 21874 WITH SCORE 21899.159
AT ITER 1587 NEW BEST:: SOT 64242 SOS 25138 HAS SOPS 25138 HAS SOUS 21853 HAS SOUPS 21853 WITH SCORE 21878.138
AT ITER 1591 NEW BEST:: SOT 64232 SOS 25065 HAS SOPS 25065 HAS SOUS 21839 HAS SOUPS 21839 WITH SCORE 21864.065
AT ITER 1599 NEW BEST:: SOT 64229 SOS 25058 HAS SOPS 25058 HAS SOUS 21833 HAS SOUPS 21833 WITH SCORE 21858.058
AT ITER 1603 NEW BEST:: SOT 64227 SOS 25055 HAS SOPS 25055 HAS SOUS 21830 HAS SOUPS 21830 WITH SCORE 21855.055
AT ITER 1613 NEW BEST:: SOT 64217 SOS 25014 HAS SOPS 25014 HAS SOUS 21802 HAS SOUPS 21802 WITH SCORE 21827.014
AT ITER 1629 NEW BEST:: SOT 64204 SOS 25001 HAS SOPS 25001 HAS SOUS 21770 HAS SOUPS 21770 WITH SCORE 21795.001
AT ITER 1632 NEW BEST:: SOT 64151 SOS 24930 HAS SOPS 24930 HAS SOUS 21715 HAS SOUPS 21715 WITH SCORE 21739.93
AT ITER 1633 NEW BEST:: SOT 64140 SOS 24910 HAS SOPS 24910 HAS SOUS 21695 HAS SOUPS 21695 WITH SCORE 21719.91
AT ITER 1637 NEW BEST:: SOT 64140 SOS 24896 HAS SOPS 24896 HAS SOUS 21663 HAS SOUPS 21663 WITH SCORE 21687.896
AT ITER 1675 NEW BEST:: SOT 64110 SOS 24866 HAS SOPS 24866 HAS SOUS 21584 HAS SOUPS 21584 WITH SCORE 21608.866
AT ITER 1680 NEW BEST:: SOT 64097 SOS 24792 HAS SOPS 24792 HAS SOUS 21552 HAS SOUPS 21552 WITH SCORE 21576.792
AT ITER 1686 NEW BEST:: SOT 64081 SOS 24744 HAS SOPS 24744 HAS SOUS 21520 HAS SOUPS 21520 WITH SCORE 21544.744
AT ITER 1691 NEW BEST:: SOT 64083 SOS 24731 HAS SOPS 24731 HAS SOUS 21507 HAS SOUPS 21507 WITH SCORE 21531.731
AT ITER 1694 NEW BEST:: SOT 64068 SOS 24701 HAS SOPS 24701 HAS SOUS 21482 HAS SOUPS 21482 WITH SCORE 21506.701
AT ITER 1699 NEW BEST:: SOT 64063 SOS 24693 HAS SOPS 24693 HAS SOUS 21474 HAS SOUPS 21474 WITH SCORE 21498.693
AT ITER 1701 NEW BEST:: SOT 64052 SOS 24647 HAS SOPS 24647 HAS SOUS 21461 HAS SOUPS 21461 WITH SCORE 21485.647
AT ITER 1703 NEW BEST:: SOT 64052 SOS 24718 HAS SOPS 24718 HAS SOUS 21381 HAS SOUPS 21381 WITH SCORE 21405.718
AT ITER 1707 NEW BEST:: SOT 64044 SOS 24706 HAS SOPS 24706 HAS SOUS 21373 HAS SOUPS 21373 WITH SCORE 21397.706
AT ITER 1709 NEW BEST:: SOT 64044 SOS 24677 HAS SOPS 24677 HAS SOUS 21359 HAS SOUPS 21359 WITH SCORE 21383.677
AT ITER 1725 NEW BEST:: SOT 64060 SOS 24729 HAS SOPS 24729 HAS SOUS 21349 HAS SOUPS 21349 WITH SCORE 21373.729
AT ITER 1729 NEW BEST:: SOT 64008 SOS 24660 HAS SOPS 24660 HAS SOUS 21263 HAS SOUPS 21263 WITH SCORE 21287.66
AT ITER 1739 NEW BEST:: SOT 64008 SOS 24644 HAS SOPS 24644 HAS SOUS 21247 HAS SOUPS 21247 WITH SCORE 21271.644
AT ITER 1775 NEW BEST:: SOT 64008 SOS 24626 HAS SOPS 24626 HAS SOUS 21232 HAS SOUPS 21232 WITH SCORE 21256.626
AT ITER 1788 NEW BEST:: SOT 63918 SOS 24429 HAS SOPS 24429 HAS SOUS 21064 HAS SOUPS 21064 WITH SCORE 21088.429
AT ITER 1793 NEW BEST:: SOT 63918 SOS 24443 HAS SOPS 24443 HAS SOUS 21057 HAS SOUPS 21057 WITH SCORE 21081.443
AT ITER 1805 NEW BEST:: SOT 63896 SOS 24421 HAS SOPS 24421 HAS SOUS 21024 HAS SOUPS 21024 WITH SCORE 21048.421
AT ITER 1825 NEW BEST:: SOT 63896 SOS 24379 HAS SOPS 24379 HAS SOUS 21009 HAS SOUPS 21009 WITH SCORE 21033.379
AT ITER 1831 NEW BEST:: SOT 63832 SOS 24305 HAS SOPS 24305 HAS SOUS 20889 HAS SOUPS 20889 WITH SCORE 20913.305
AT ITER 1835 NEW BEST:: SOT 63814 SOS 24373 HAS SOPS 24373 HAS SOUS 20870 HAS SOUPS 20870 WITH SCORE 20894.373
AT ITER 1836 NEW BEST:: SOT 63733 SOS 24251 HAS SOPS 24251 HAS SOUS 20735 HAS SOUPS 20735 WITH SCORE 20759.251
AT ITER 1839 NEW BEST:: SOT 63733 SOS 24244 HAS SOPS 24244 HAS SOUS 20735 HAS SOUPS 20735 WITH SCORE 20759.244
AT ITER 1861 NEW BEST:: SOT 63744 SOS 24254 HAS SOPS 24254 HAS SOUS 20691 HAS SOUPS 20691 WITH SCORE 20715.254
AT ITER 1876 NEW BEST:: SOT 63723 SOS 24257 HAS SOPS 24257 HAS SOUS 20636 HAS SOUPS 20636 WITH SCORE 20660.257
AT ITER 1878 NEW BEST:: SOT 63725 SOS 24261 HAS SOPS 24261 HAS SOUS 20632 HAS SOUPS 20632 WITH SCORE 20656.261
AT ITER 1917 NEW BEST:: SOT 63725 SOS 24249 HAS SOPS 24249 HAS SOUS 20610 HAS SOUPS 20610 WITH SCORE 20634.249
AT ITER 1918 NEW BEST:: SOT 63575 SOS 24052 HAS SOPS 24052 HAS SOUS 20474 HAS SOUPS 20474 WITH SCORE 20498.052
AT ITER 1929 NEW BEST:: SOT 63547 SOS 24078 HAS SOPS 24078 HAS SOUS 20452 HAS SOUPS 20452 WITH SCORE 20476.078
AT ITER 1940 NEW BEST:: SOT 63534 SOS 24052 HAS SOPS 24052 HAS SOUS 20439 HAS SOUPS 20439 WITH SCORE 20463.052
AT ITER 1944 NEW BEST:: SOT 63472 SOS 23990 HAS SOPS 23990 HAS SOUS 20349 HAS SOUPS 20349 WITH SCORE 20372.99
AT ITER 1949 NEW BEST:: SOT 63464 SOS 23998 HAS SOPS 23998 HAS SOUS 20343 HAS SOUPS 20343 WITH SCORE 20366.998
AT ITER 1950 NEW BEST:: SOT 63428 SOS 23912 HAS SOPS 23912 HAS SOUS 20252 HAS SOUPS 20252 WITH SCORE 20275.912
AT ITER 1973 NEW BEST:: SOT 63428 SOS 23814 HAS SOPS 23814 HAS SOUS 20216 HAS SOUPS 20216 WITH SCORE 20239.814
AT ITER 1983 NEW BEST:: SOT 63425 SOS 23815 HAS SOPS 23815 HAS SOUS 20207 HAS SOUPS 20207 WITH SCORE 20230.815
AT ITER 2002 NEW BEST:: SOT 63184 SOS 23500 HAS SOPS 23500 HAS SOUS 19913 HAS SOUPS 19913 WITH SCORE 19936.5
AT ITER 2037 NEW BEST:: SOT 63124 SOS 23342 HAS SOPS 23342 HAS SOUS 19830 HAS SOUPS 19830 WITH SCORE 19853.342
AT ITER 2038 NEW BEST:: SOT 63097 SOS 23315 HAS SOPS 23315 HAS SOUS 19803 HAS SOUPS 19803 WITH SCORE 19826.315
AT ITER 2052 NEW BEST:: SOT 63097 SOS 23315 HAS SOPS 23315 HAS SOUS 19801 HAS SOUPS 19801 WITH SCORE 19824.315
AT ITER 2053 NEW BEST:: SOT 63088 SOS 23303 HAS SOPS 23303 HAS SOUS 19786 HAS SOUPS 19786 WITH SCORE 19809.303
AT ITER 2064 NEW BEST:: SOT 63085 SOS 23298 HAS SOPS 23298 HAS SOUS 19782 HAS SOUPS 19782 WITH SCORE 19805.298
AT ITER 2077 NEW BEST:: SOT 63082 SOS 23282 HAS SOPS 23282 HAS SOUS 19777 HAS SOUPS 19777 WITH SCORE 19800.282
AT ITER 2090 NEW BEST:: SOT 62982 SOS 23116 HAS SOPS 23116 HAS SOUS 19732 HAS SOUPS 19732 WITH SCORE 19755.116
AT ITER 2098 NEW BEST:: SOT 62980 SOS 23110 HAS SOPS 23110 HAS SOUS 19719 HAS SOUPS 19719 WITH SCORE 19742.11
AT ITER 2109 NEW BEST:: SOT 62977 SOS 23105 HAS SOPS 23105 HAS SOUS 19714 HAS SOUPS 19714 WITH SCORE 19737.105
AT ITER 2118 NEW BEST:: SOT 62938 SOS 23024 HAS SOPS 23024 HAS SOUS 19663 HAS SOUPS 19663 WITH SCORE 19686.024
AT ITER 2120 NEW BEST:: SOT 62938 SOS 23044 HAS SOPS 23044 HAS SOUS 19645 HAS SOUPS 19645 WITH SCORE 19668.044
AT ITER 2126 NEW BEST:: SOT 62910 SOS 22964 HAS SOPS 22964 HAS SOUS 19604 HAS SOUPS 19604 WITH SCORE 19626.964
AT ITER 2136 NEW BEST:: SOT 62907 SOS 22885 HAS SOPS 22885 HAS SOUS 19492 HAS SOUPS 19492 WITH SCORE 19514.885
AT ITER 2140 NEW BEST:: SOT 62905 SOS 22883 HAS SOPS 22883 HAS SOUS 19468 HAS SOUPS 19468 WITH SCORE 19490.883
AT ITER 2145 NEW BEST:: SOT 62881 SOS 22874 HAS SOPS 22874 HAS SOUS 19456 HAS SOUPS 19456 WITH SCORE 19478.874
AT ITER 2147 NEW BEST:: SOT 62875 SOS 22867 HAS SOPS 22867 HAS SOUS 19448 HAS SOUPS 19448 WITH SCORE 19470.867
AT ITER 2150 NEW BEST:: SOT 62865 SOS 22832 HAS SOPS 22832 HAS SOUS 19428 HAS SOUPS 19428 WITH SCORE 19450.832
AT ITER 2163 NEW BEST:: SOT 62843 SOS 22747 HAS SOPS 22747 HAS SOUS 19367 HAS SOUPS 19367 WITH SCORE 19389.747
AT ITER 2164 NEW BEST:: SOT 62799 SOS 22565 HAS SOPS 22565 HAS SOUS 19324 HAS SOUPS 19324 WITH SCORE 19346.565
AT ITER 2171 NEW BEST:: SOT 62797 SOS 22562 HAS SOPS 22562 HAS SOUS 19323 HAS SOUPS 19323 WITH SCORE 19345.562
AT ITER 2173 NEW BEST:: SOT 62735 SOS 22349 HAS SOPS 22349 HAS SOUS 19219 HAS SOUPS 19219 WITH SCORE 19241.349
AT ITER 2174 NEW BEST:: SOT 62745 SOS 22389 HAS SOPS 22389 HAS SOUS 19211 HAS SOUPS 19211 WITH SCORE 19233.389
AT ITER 2189 NEW BEST:: SOT 62707 SOS 22359 HAS SOPS 22359 HAS SOUS 19192 HAS SOUPS 19192 WITH SCORE 19214.359
AT ITER 2195 NEW BEST:: SOT 62702 SOS 22362 HAS SOPS 22362 HAS SOUS 19187 HAS SOUPS 19187 WITH SCORE 19209.362
AT ITER 2217 NEW BEST:: SOT 62673 SOS 22327 HAS SOPS 22327 HAS SOUS 19179 HAS SOUPS 19179 WITH SCORE 19201.327
AT ITER 2221 NEW BEST:: SOT 62673 SOS 22311 HAS SOPS 22311 HAS SOUS 19119 HAS SOUPS 19119 WITH SCORE 19141.311
AT ITER 2229 NEW BEST:: SOT 62613 SOS 22193 HAS SOPS 22193 HAS SOUS 19011 HAS SOUPS 19011 WITH SCORE 19033.193
AT ITER 2232 NEW BEST:: SOT 62613 SOS 22181 HAS SOPS 22181 HAS SOUS 18999 HAS SOUPS 18999 WITH SCORE 19021.181
AT ITER 2262 NEW BEST:: SOT 62570 SOS 22031 HAS SOPS 22031 HAS SOUS 18969 HAS SOUPS 18969 WITH SCORE 18991.031
AT ITER 2276 NEW BEST:: SOT 62563 SOS 21996 HAS SOPS 21996 HAS SOUS 18946 HAS SOUPS 18946 WITH SCORE 18967.996
AT ITER 2285 NEW BEST:: SOT 62504 SOS 21886 HAS SOPS 21886 HAS SOUS 18851 HAS SOUPS 18851 WITH SCORE 18872.886
AT ITER 2292 NEW BEST:: SOT 62496 SOS 21885 HAS SOPS 21885 HAS SOUS 18850 HAS SOUPS 18850 WITH SCORE 18871.885
AT ITER 2298 NEW BEST:: SOT 62492 SOS 21869 HAS SOPS 21869 HAS SOUS 18838 HAS SOUPS 18838 WITH SCORE 18859.869
AT ITER 2310 NEW BEST:: SOT 62480 SOS 21851 HAS SOPS 21851 HAS SOUS 18821 HAS SOUPS 18821 WITH SCORE 18842.851
AT ITER 2317 NEW BEST:: SOT 62479 SOS 21850 HAS SOPS 21850 HAS SOUS 18821 HAS SOUPS 18821 WITH SCORE 18842.85
AT ITER 2318 NEW BEST:: SOT 62479 SOS 21838 HAS SOPS 21838 HAS SOUS 18789 HAS SOUPS 18789 WITH SCORE 18810.838
AT ITER 2332 NEW BEST:: SOT 62474 SOS 21828 HAS SOPS 21828 HAS SOUS 18784 HAS SOUPS 18784 WITH SCORE 18805.828
AT ITER 2333 NEW BEST:: SOT 62474 SOS 21821 HAS SOPS 21821 HAS SOUS 18777 HAS SOUPS 18777 WITH SCORE 18798.821
AT ITER 2334 NEW BEST:: SOT 62441 SOS 21773 HAS SOPS 21773 HAS SOUS 18744 HAS SOUPS 18744 WITH SCORE 18765.773
AT ITER 2365 NEW BEST:: SOT 62421 SOS 21743 HAS SOPS 21743 HAS SOUS 18711 HAS SOUPS 18711 WITH SCORE 18732.743
AT ITER 2393 NEW BEST:: SOT 62410 SOS 21717 HAS SOPS 21717 HAS SOUS 18664 HAS SOUPS 18664 WITH SCORE 18685.717
AT ITER 2394 NEW BEST:: SOT 62393 SOS 21712 HAS SOPS 21712 HAS SOUS 18619 HAS SOUPS 18619 WITH SCORE 18640.712
AT ITER 2417 NEW BEST:: SOT 62352 SOS 21637 HAS SOPS 21637 HAS SOUS 18570 HAS SOUPS 18570 WITH SCORE 18591.637
AT ITER 2428 NEW BEST:: SOT 62328 SOS 21589 HAS SOPS 21589 HAS SOUS 18530 HAS SOUPS 18530 WITH SCORE 18551.589
AT ITER 2452 NEW BEST:: SOT 62311 SOS 21572 HAS SOPS 21572 HAS SOUS 18501 HAS SOUPS 18501 WITH SCORE 18522.572
AT ITER 2454 NEW BEST:: SOT 62281 SOS 21498 HAS SOPS 21498 HAS SOUS 18442 HAS SOUPS 18442 WITH SCORE 18463.498
AT ITER 2455 NEW BEST:: SOT 62267 SOS 21456 HAS SOPS 21456 HAS SOUS 18414 HAS SOUPS 18414 WITH SCORE 18435.456
AT ITER 2475 NEW BEST:: SOT 62255 SOS 21432 HAS SOPS 21432 HAS SOUS 18392 HAS SOUPS 18392 WITH SCORE 18413.432
AT ITER 2476 NEW BEST:: SOT 62240 SOS 21399 HAS SOPS 21399 HAS SOUS 18347 HAS SOUPS 18347 WITH SCORE 18368.399
AT ITER 2478 NEW BEST:: SOT 62238 SOS 21385 HAS SOPS 21385 HAS SOUS 18344 HAS SOUPS 18344 WITH SCORE 18365.385
AT ITER 2502 NEW BEST:: SOT 62231 SOS 21384 HAS SOPS 21384 HAS SOUS 18331 HAS SOUPS 18331 WITH SCORE 18352.384
AT ITER 2508 NEW BEST:: SOT 62224 SOS 21246 HAS SOPS 21246 HAS SOUS 18327 HAS SOUPS 18327 WITH SCORE 18348.246
AT ITER 2521 NEW BEST:: SOT 62248 SOS 21304 HAS SOPS 21304 HAS SOUS 18323 HAS SOUPS 18323 WITH SCORE 18344.304
AT ITER 2522 NEW BEST:: SOT 62247 SOS 21303 HAS SOPS 21303 HAS SOUS 18322 HAS SOUPS 18322 WITH SCORE 18343.303
AT ITER 2527 NEW BEST:: SOT 62233 SOS 21275 HAS SOPS 21275 HAS SOUS 18301 HAS SOUPS 18301 WITH SCORE 18322.275
AT ITER 2539 NEW BEST:: SOT 62209 SOS 21251 HAS SOPS 21251 HAS SOUS 18277 HAS SOUPS 18277 WITH SCORE 18298.251
AT ITER 2552 NEW BEST:: SOT 62184 SOS 21210 HAS SOPS 21210 HAS SOUS 18228 HAS SOUPS 18228 WITH SCORE 18249.21
AT ITER 2564 NEW BEST:: SOT 62118 SOS 21102 HAS SOPS 21102 HAS SOUS 18122 HAS SOUPS 18122 WITH SCORE 18143.102
AT ITER 2584 NEW BEST:: SOT 62108 SOS 21087 HAS SOPS 21087 HAS SOUS 18107 HAS SOUPS 18107 WITH SCORE 18128.087
AT ITER 2592 NEW BEST:: SOT 62043 SOS 20981 HAS SOPS 20981 HAS SOUS 18071 HAS SOUPS 18071 WITH SCORE 18091.981
AT ITER 2595 NEW BEST:: SOT 61980 SOS 20855 HAS SOPS 20855 HAS SOUS 18015 HAS SOUPS 18015 WITH SCORE 18035.855
AT ITER 2605 NEW BEST:: SOT 61980 SOS 20848 HAS SOPS 20848 HAS SOUS 18015 HAS SOUPS 18015 WITH SCORE 18035.848
AT ITER 2611 NEW BEST:: SOT 61969 SOS 20789 HAS SOPS 20789 HAS SOUS 17986 HAS SOUPS 17986 WITH SCORE 18006.789
AT ITER 2621 NEW BEST:: SOT 61955 SOS 20775 HAS SOPS 20775 HAS SOUS 17972 HAS SOUPS 17972 WITH SCORE 17992.775
AT ITER 2624 NEW BEST:: SOT 61948 SOS 20754 HAS SOPS 20754 HAS SOUS 17952 HAS SOUPS 17952 WITH SCORE 17972.754
AT ITER 2643 NEW BEST:: SOT 61976 SOS 20861 HAS SOPS 20861 HAS SOUS 17951 HAS SOUPS 17951 WITH SCORE 17971.861
AT ITER 2644 NEW BEST:: SOT 61976 SOS 20855 HAS SOPS 20855 HAS SOUS 17948 HAS SOUPS 17948 WITH SCORE 17968.855
AT ITER 2654 NEW BEST:: SOT 61895 SOS 20690 HAS SOPS 20690 HAS SOUS 17808 HAS SOUPS 17808 WITH SCORE 17828.69
AT ITER 2689 NEW BEST:: SOT 61838 SOS 20635 HAS SOPS 20635 HAS SOUS 17720 HAS SOUPS 17720 WITH SCORE 17740.635
AT ITER 2698 NEW BEST:: SOT 61784 SOS 20554 HAS SOPS 20554 HAS SOUS 17639 HAS SOUPS 17639 WITH SCORE 17659.554
AT ITER 2704 NEW BEST:: SOT 61769 SOS 20511 HAS SOPS 20511 HAS SOUS 17634 HAS SOUPS 17634 WITH SCORE 17654.511
AT ITER 2734 NEW BEST:: SOT 61705 SOS 20431 HAS SOPS 20431 HAS SOUS 17554 HAS SOUPS 17554 WITH SCORE 17574.431
AT ITER 2746 NEW BEST:: SOT 61701 SOS 20415 HAS SOPS 20415 HAS SOUS 17542 HAS SOUPS 17542 WITH SCORE 17562.415
AT ITER 2756 NEW BEST:: SOT 61699 SOS 20404 HAS SOPS 20404 HAS SOUS 17535 HAS SOUPS 17535 WITH SCORE 17555.404
AT ITER 2759 NEW BEST:: SOT 61656 SOS 20341 HAS SOPS 20341 HAS SOUS 17492 HAS SOUPS 17492 WITH SCORE 17512.341
AT ITER 2783 NEW BEST:: SOT 61614 SOS 20267 HAS SOPS 20267 HAS SOUS 17414 HAS SOUPS 17414 WITH SCORE 17434.267
AT ITER 2803 NEW BEST:: SOT 61586 SOS 20231 HAS SOPS 20231 HAS SOUS 17406 HAS SOUPS 17406 WITH SCORE 17426.231
AT ITER 2813 NEW BEST:: SOT 61586 SOS 20203 HAS SOPS 20203 HAS SOUS 17366 HAS SOUPS 17366 WITH SCORE 17386.203
AT ITER 2820 NEW BEST:: SOT 61591 SOS 20211 HAS SOPS 20211 HAS SOUS 17365 HAS SOUPS 17365 WITH SCORE 17385.211
AT ITER 2839 NEW BEST:: SOT 61571 SOS 20175 HAS SOPS 20175 HAS SOUS 17345 HAS SOUPS 17345 WITH SCORE 17365.175
AT ITER 2857 NEW BEST:: SOT 61569 SOS 20168 HAS SOPS 20168 HAS SOUS 17341 HAS SOUPS 17341 WITH SCORE 17361.168
AT ITER 2872 NEW BEST:: SOT 61528 SOS 20112 HAS SOPS 20112 HAS SOUS 17318 HAS SOUPS 17318 WITH SCORE 17338.112
AT ITER 2879 NEW BEST:: SOT 61523 SOS 20045 HAS SOPS 20045 HAS SOUS 17282 HAS SOUPS 17282 WITH SCORE 17302.045
AT ITER 2905 NEW BEST:: SOT 61523 SOS 20036 HAS SOPS 20036 HAS SOUS 17282 HAS SOUPS 17282 WITH SCORE 17302.036
AT ITER 2909 NEW BEST:: SOT 61521 SOS 20028 HAS SOPS 20028 HAS SOUS 17278 HAS SOUPS 17278 WITH SCORE 17298.028
AT ITER 2928 NEW BEST:: SOT 61521 SOS 20020 HAS SOPS 20020 HAS SOUS 17274 HAS SOUPS 17274 WITH SCORE 17294.02
AT ITER 2934 NEW BEST:: SOT 61507 SOS 19999 HAS SOPS 19999 HAS SOUS 17253 HAS SOUPS 17253 WITH SCORE 17272.999
AT ITER 2937 NEW BEST:: SOT 61506 SOS 19995 HAS SOPS 19995 HAS SOUS 17251 HAS SOUPS 17251 WITH SCORE 17270.995
AT ITER 2949 NEW BEST:: SOT 61516 SOS 20000 HAS SOPS 20000 HAS SOUS 17244 HAS SOUPS 17244 WITH SCORE 17264.0
AT ITER 2962 NEW BEST:: SOT 61516 SOS 19888 HAS SOPS 19888 HAS SOUS 17204 HAS SOUPS 17204 WITH SCORE 17223.888
AT ITER 2969 NEW BEST:: SOT 61503 SOS 19865 HAS SOPS 19865 HAS SOUS 17197 HAS SOUPS 17197 WITH SCORE 17216.865
AT ITER 3003 NEW BEST:: SOT 61486 SOS 19827 HAS SOPS 19827 HAS SOUS 17178 HAS SOUPS 17178 WITH SCORE 17197.827
AT ITER 3006 NEW BEST:: SOT 61476 SOS 19784 HAS SOPS 19784 HAS SOUS 17160 HAS SOUPS 17160 WITH SCORE 17179.784
AT ITER 3017 NEW BEST:: SOT 61463 SOS 19751 HAS SOPS 19751 HAS SOUS 17141 HAS SOUPS 17141 WITH SCORE 17160.751
AT ITER 3021 NEW BEST:: SOT 61423 SOS 19638 HAS SOPS 19638 HAS SOUS 17084 HAS SOUPS 17084 WITH SCORE 17103.638
AT ITER 3022 NEW BEST:: SOT 61415 SOS 19578 HAS SOPS 19578 HAS SOUS 17041 HAS SOUPS 17041 WITH SCORE 17060.578
AT ITER 3025 NEW BEST:: SOT 61408 SOS 19567 HAS SOPS 19567 HAS SOUS 17030 HAS SOUPS 17030 WITH SCORE 17049.567
AT ITER 3028 NEW BEST:: SOT 61386 SOS 19534 HAS SOPS 19534 HAS SOUS 16986 HAS SOUPS 16986 WITH SCORE 17005.534
AT ITER 3053 NEW BEST:: SOT 61382 SOS 19498 HAS SOPS 19498 HAS SOUS 16982 HAS SOUPS 16982 WITH SCORE 17001.498
AT ITER 3099 NEW BEST:: SOT 61338 SOS 19410 HAS SOPS 19410 HAS SOUS 16915 HAS SOUPS 16915 WITH SCORE 16934.41
AT ITER 3105 NEW BEST:: SOT 61324 SOS 19392 HAS SOPS 19392 HAS SOUS 16894 HAS SOUPS 16894 WITH SCORE 16913.392
AT ITER 3138 NEW BEST:: SOT 61324 SOS 19353 HAS SOPS 19353 HAS SOUS 16894 HAS SOUPS 16894 WITH SCORE 16913.353
AT ITER 3156 NEW BEST:: SOT 61296 SOS 19289 HAS SOPS 19289 HAS SOUS 16849 HAS SOUPS 16849 WITH SCORE 16868.289
AT ITER 3175 NEW BEST:: SOT 61296 SOS 19279 HAS SOPS 19279 HAS SOUS 16831 HAS SOUPS 16831 WITH SCORE 16850.279
AT ITER 3208 NEW BEST:: SOT 61296 SOS 19276 HAS SOPS 19276 HAS SOUS 16826 HAS SOUPS 16826 WITH SCORE 16845.276
AT ITER 3210 NEW BEST:: SOT 61295 SOS 19273 HAS SOPS 19273 HAS SOUS 16824 HAS SOUPS 16824 WITH SCORE 16843.273
AT ITER 3222 NEW BEST:: SOT 61295 SOS 19242 HAS SOPS 19242 HAS SOUS 16824 HAS SOUPS 16824 WITH SCORE 16843.242
AT ITER 3228 NEW BEST:: SOT 61295 SOS 19215 HAS SOPS 19215 HAS SOUS 16820 HAS SOUPS 16820 WITH SCORE 16839.215
AT ITER 3284 NEW BEST:: SOT 61289 SOS 19224 HAS SOPS 19224 HAS SOUS 16806 HAS SOUPS 16806 WITH SCORE 16825.224
AT ITER 3328 NEW BEST:: SOT 61282 SOS 19211 HAS SOPS 19211 HAS SOUS 16796 HAS SOUPS 16796 WITH SCORE 16815.211
AT ITER 3331 NEW BEST:: SOT 61230 SOS 19159 HAS SOPS 19159 HAS SOUS 16741 HAS SOUPS 16741 WITH SCORE 16760.159
AT ITER 3368 NEW BEST:: SOT 61224 SOS 19147 HAS SOPS 19147 HAS SOUS 16731 HAS SOUPS 16731 WITH SCORE 16750.147
AT ITER 3376 NEW BEST:: SOT 61218 SOS 19139 HAS SOPS 19139 HAS SOUS 16720 HAS SOUPS 16720 WITH SCORE 16739.139
AT ITER 3397 NEW BEST:: SOT 61210 SOS 19123 HAS SOPS 19123 HAS SOUS 16707 HAS SOUPS 16707 WITH SCORE 16726.123
AT ITER 3409 NEW BEST:: SOT 61208 SOS 19121 HAS SOPS 19121 HAS SOUS 16706 HAS SOUPS 16706 WITH SCORE 16725.121
AT ITER 3463 NEW BEST:: SOT 61201 SOS 19100 HAS SOPS 19100 HAS SOUS 16685 HAS SOUPS 16685 WITH SCORE 16704.1
AT ITER 3467 NEW BEST:: SOT 61192 SOS 19110 HAS SOPS 19110 HAS SOUS 16652 HAS SOUPS 16652 WITH SCORE 16671.11
AT ITER 3469 NEW BEST:: SOT 61171 SOS 19070 HAS SOPS 19070 HAS SOUS 16617 HAS SOUPS 16617 WITH SCORE 16636.07
AT ITER 3491 NEW BEST:: SOT 61169 SOS 19065 HAS SOPS 19065 HAS SOUS 16617 HAS SOUPS 16617 WITH SCORE 16636.065
AT ITER 3509 NEW BEST:: SOT 61157 SOS 19049 HAS SOPS 19049 HAS SOUS 16614 HAS SOUPS 16614 WITH SCORE 16633.049
AT ITER 3510 NEW BEST:: SOT 61157 SOS 19049 HAS SOPS 19049 HAS SOUS 16607 HAS SOUPS 16607 WITH SCORE 16626.049
AT ITER 3605 NEW BEST:: SOT 61117 SOS 19005 HAS SOPS 19005 HAS SOUS 16561 HAS SOUPS 16561 WITH SCORE 16580.005
AT ITER 3642 NEW BEST:: SOT 61117 SOS 19003 HAS SOPS 19003 HAS SOUS 16535 HAS SOUPS 16535 WITH SCORE 16554.003
AT ITER 3643 NEW BEST:: SOT 61117 SOS 19000 HAS SOPS 19000 HAS SOUS 16535 HAS SOUPS 16535 WITH SCORE 16554.0
AT ITER 3649 NEW BEST:: SOT 61111 SOS 18988 HAS SOPS 18988 HAS SOUS 16527 HAS SOUPS 16527 WITH SCORE 16545.988
AT ITER 3651 NEW BEST:: SOT 61100 SOS 18977 HAS SOPS 18977 HAS SOUS 16516 HAS SOUPS 16516 WITH SCORE 16534.977
AT ITER 3672 NEW BEST:: SOT 61067 SOS 18929 HAS SOPS 18929 HAS SOUS 16473 HAS SOUPS 16473 WITH SCORE 16491.929
AT ITER 3691 NEW BEST:: SOT 61087 SOS 18936 HAS SOPS 18936 HAS SOUS 16437 HAS SOUPS 16437 WITH SCORE 16455.936
AT ITER 3709 NEW BEST:: SOT 61075 SOS 18918 HAS SOPS 18918 HAS SOUS 16421 HAS SOUPS 16421 WITH SCORE 16439.918
AT ITER 3713 NEW BEST:: SOT 61069 SOS 18910 HAS SOPS 18910 HAS SOUS 16413 HAS SOUPS 16413 WITH SCORE 16431.91
AT ITER 3720 NEW BEST:: SOT 61069 SOS 18910 HAS SOPS 18910 HAS SOUS 16407 HAS SOUPS 16407 WITH SCORE 16425.91
AT ITER 3762 NEW BEST:: SOT 61059 SOS 18900 HAS SOPS 18900 HAS SOUS 16407 HAS SOUPS 16407 WITH SCORE 16425.9
AT ITER 3766 NEW BEST:: SOT 61050 SOS 18882 HAS SOPS 18882 HAS SOUS 16390 HAS SOUPS 16390 WITH SCORE 16408.882
AT ITER 3773 NEW BEST:: SOT 60992 SOS 18773 HAS SOPS 18773 HAS SOUS 16287 HAS SOUPS 16287 WITH SCORE 16305.773
AT ITER 3793 NEW BEST:: SOT 60992 SOS 18782 HAS SOPS 18782 HAS SOUS 16279 HAS SOUPS 16279 WITH SCORE 16297.782
AT ITER 3826 NEW BEST:: SOT 60960 SOS 18698 HAS SOPS 18698 HAS SOUS 16210 HAS SOUPS 16210 WITH SCORE 16228.698
AT ITER 3834 NEW BEST:: SOT 60866 SOS 18512 HAS SOPS 18512 HAS SOUS 16055 HAS SOUPS 16055 WITH SCORE 16073.512
AT ITER 3846 NEW BEST:: SOT 60860 SOS 18500 HAS SOPS 18500 HAS SOUS 16043 HAS SOUPS 16043 WITH SCORE 16061.5
AT ITER 3865 NEW BEST:: SOT 60858 SOS 18530 HAS SOPS 18530 HAS SOUS 16019 HAS SOUPS 16019 WITH SCORE 16037.53
AT ITER 3876 NEW BEST:: SOT 60841 SOS 18443 HAS SOPS 18443 HAS SOUS 15959 HAS SOUPS 15959 WITH SCORE 15977.443
AT ITER 3892 NEW BEST:: SOT 60841 SOS 18443 HAS SOPS 18443 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 15976.443
AT ITER 3918 NEW BEST:: SOT 60829 SOS 18431 HAS SOPS 18431 HAS SOUS 15946 HAS SOUPS 15946 WITH SCORE 15964.431
AT ITER 3941 NEW BEST:: SOT 60827 SOS 18429 HAS SOPS 18429 HAS SOUS 15944 HAS SOUPS 15944 WITH SCORE 15962.429
AT ITER 3985 NEW BEST:: SOT 60813 SOS 18402 HAS SOPS 18402 HAS SOUS 15923 HAS SOUPS 15923 WITH SCORE 15941.402
AT ITER 4006 NEW BEST:: SOT 60807 SOS 18388 HAS SOPS 18388 HAS SOUS 15913 HAS SOUPS 15913 WITH SCORE 15931.388
AT ITER 4031 NEW BEST:: SOT 60807 SOS 18335 HAS SOPS 18335 HAS SOUS 15892 HAS SOUPS 15892 WITH SCORE 15910.335
AT ITER 4080 NEW BEST:: SOT 60804 SOS 18331 HAS SOPS 18331 HAS SOUS 15886 HAS SOUPS 15886 WITH SCORE 15904.331
AT ITER 4126 NEW BEST:: SOT 60766 SOS 18255 HAS SOPS 18255 HAS SOUS 15784 HAS SOUPS 15784 WITH SCORE 15802.255
AT ITER 4127 NEW BEST:: SOT 60761 SOS 18250 HAS SOPS 18250 HAS SOUS 15774 HAS SOUPS 15774 WITH SCORE 15792.25
AT ITER 4148 NEW BEST:: SOT 60733 SOS 18167 HAS SOPS 18167 HAS SOUS 15712 HAS SOUPS 15712 WITH SCORE 15730.167
AT ITER 4176 NEW BEST:: SOT 60708 SOS 18149 HAS SOPS 18149 HAS SOUS 15681 HAS SOUPS 15681 WITH SCORE 15699.149
AT ITER 4185 NEW BEST:: SOT 60704 SOS 18181 HAS SOPS 18181 HAS SOUS 15677 HAS SOUPS 15677 WITH SCORE 15695.181
AT ITER 4219 NEW BEST:: SOT 60689 SOS 18081 HAS SOPS 18081 HAS SOUS 15655 HAS SOUPS 15655 WITH SCORE 15673.081
AT ITER 4266 NEW BEST:: SOT 60680 SOS 18063 HAS SOPS 18063 HAS SOUS 15637 HAS SOUPS 15637 WITH SCORE 15655.063
AT ITER 4280 NEW BEST:: SOT 60658 SOS 18041 HAS SOPS 18041 HAS SOUS 15604 HAS SOUPS 15604 WITH SCORE 15622.041
AT ITER 4281 NEW BEST:: SOT 60535 SOS 17835 HAS SOPS 17835 HAS SOUS 15479 HAS SOUPS 15479 WITH SCORE 15496.835
AT ITER 4295 NEW BEST:: SOT 60533 SOS 17781 HAS SOPS 17781 HAS SOUS 15473 HAS SOUPS 15473 WITH SCORE 15490.781
AT ITER 4305 NEW BEST:: SOT 60529 SOS 17749 HAS SOPS 17749 HAS SOUS 15465 HAS SOUPS 15465 WITH SCORE 15482.749
AT ITER 4325 NEW BEST:: SOT 60521 SOS 17736 HAS SOPS 17736 HAS SOUS 15452 HAS SOUPS 15452 WITH SCORE 15469.736
AT ITER 4380 NEW BEST:: SOT 60509 SOS 17721 HAS SOPS 17721 HAS SOUS 15436 HAS SOUPS 15436 WITH SCORE 15453.721
AT ITER 4389 NEW BEST:: SOT 60487 SOS 17687 HAS SOPS 17687 HAS SOUS 15402 HAS SOUPS 15402 WITH SCORE 15419.687
AT ITER 4392 NEW BEST:: SOT 60492 SOS 17726 HAS SOPS 17726 HAS SOUS 15400 HAS SOUPS 15400 WITH SCORE 15417.726
AT ITER 4405 NEW BEST:: SOT 60485 SOS 17711 HAS SOPS 17711 HAS SOUS 15394 HAS SOUPS 15394 WITH SCORE 15411.711
AT ITER 4408 NEW BEST:: SOT 60484 SOS 17710 HAS SOPS 17710 HAS SOUS 15393 HAS SOUPS 15393 WITH SCORE 15410.71
AT ITER 4427 NEW BEST:: SOT 60389 SOS 17621 HAS SOPS 17621 HAS SOUS 15284 HAS SOUPS 15284 WITH SCORE 15301.621
AT ITER 4442 NEW BEST:: SOT 60399 SOS 17621 HAS SOPS 17621 HAS SOUS 15280 HAS SOUPS 15280 WITH SCORE 15297.621
AT ITER 4454 NEW BEST:: SOT 60397 SOS 17617 HAS SOPS 17617 HAS SOUS 15278 HAS SOUPS 15278 WITH SCORE 15295.617
AT ITER 4461 NEW BEST:: SOT 60368 SOS 17471 HAS SOPS 17471 HAS SOUS 15191 HAS SOUPS 15191 WITH SCORE 15208.471
AT ITER 4526 NEW BEST:: SOT 60368 SOS 17408 HAS SOPS 17408 HAS SOUS 15170 HAS SOUPS 15170 WITH SCORE 15187.408
AT ITER 4528 NEW BEST:: SOT 60344 SOS 17381 HAS SOPS 17381 HAS SOUS 15144 HAS SOUPS 15144 WITH SCORE 15161.381
AT ITER 4565 NEW BEST:: SOT 60344 SOS 17381 HAS SOPS 17381 HAS SOUS 15140 HAS SOUPS 15140 WITH SCORE 15157.381
AT ITER 4571 NEW BEST:: SOT 60342 SOS 17379 HAS SOPS 17379 HAS SOUS 15138 HAS SOUPS 15138 WITH SCORE 15155.379
AT ITER 4587 NEW BEST:: SOT 60342 SOS 17379 HAS SOPS 17379 HAS SOUS 15133 HAS SOUPS 15133 WITH SCORE 15150.379
AT ITER 4588 NEW BEST:: SOT 60341 SOS 17377 HAS SOPS 17377 HAS SOUS 15131 HAS SOUPS 15131 WITH SCORE 15148.377
AT ITER 4596 NEW BEST:: SOT 60335 SOS 17347 HAS SOPS 17347 HAS SOUS 15119 HAS SOUPS 15119 WITH SCORE 15136.347
AT ITER 4644 NEW BEST:: SOT 60333 SOS 17345 HAS SOPS 17345 HAS SOUS 15117 HAS SOUPS 15117 WITH SCORE 15134.345
AT ITER 4646 NEW BEST:: SOT 60328 SOS 17339 HAS SOPS 17339 HAS SOUS 15111 HAS SOUPS 15111 WITH SCORE 15128.339
AT ITER 4687 NEW BEST:: SOT 60328 SOS 17336 HAS SOPS 17336 HAS SOUS 15111 HAS SOUPS 15111 WITH SCORE 15128.336
AT ITER 4705 NEW BEST:: SOT 60295 SOS 17269 HAS SOPS 17269 HAS SOUS 15047 HAS SOUPS 15047 WITH SCORE 15064.269
AT ITER 4727 NEW BEST:: SOT 60292 SOS 17241 HAS SOPS 17241 HAS SOUS 15035 HAS SOUPS 15035 WITH SCORE 15052.241
AT ITER 4757 NEW BEST:: SOT 60275 SOS 17182 HAS SOPS 17182 HAS SOUS 14993 HAS SOUPS 14993 WITH SCORE 15010.182
AT ITER 4765 NEW BEST:: SOT 60246 SOS 17125 HAS SOPS 17125 HAS SOUS 14964 HAS SOUPS 14964 WITH SCORE 14981.125
AT ITER 4774 NEW BEST:: SOT 60259 SOS 17220 HAS SOPS 17220 HAS SOUS 14959 HAS SOUPS 14959 WITH SCORE 14976.22
AT ITER 4789 NEW BEST:: SOT 60243 SOS 17188 HAS SOPS 17188 HAS SOUS 14927 HAS SOUPS 14927 WITH SCORE 14944.188
AT ITER 4814 NEW BEST:: SOT 60243 SOS 17178 HAS SOPS 17178 HAS SOUS 14923 HAS SOUPS 14923 WITH SCORE 14940.178
AT ITER 4825 NEW BEST:: SOT 60248 SOS 17183 HAS SOPS 17183 HAS SOUS 14921 HAS SOUPS 14921 WITH SCORE 14938.183
AT ITER 4827 NEW BEST:: SOT 60252 SOS 17153 HAS SOPS 17153 HAS SOUS 14909 HAS SOUPS 14909 WITH SCORE 14926.153
AT ITER 4887 NEW BEST:: SOT 60225 SOS 17126 HAS SOPS 17126 HAS SOUS 14882 HAS SOUPS 14882 WITH SCORE 14899.126
AT ITER 4900 NEW BEST:: SOT 60226 SOS 17132 HAS SOPS 17132 HAS SOUS 14881 HAS SOUPS 14881 WITH SCORE 14898.132
AT ITER 4929 NEW BEST:: SOT 60207 SOS 17065 HAS SOPS 17065 HAS SOUS 14819 HAS SOUPS 14819 WITH SCORE 14836.065
AT ITER 4970 NEW BEST:: SOT 60200 SOS 17044 HAS SOPS 17044 HAS SOUS 14784 HAS SOUPS 14784 WITH SCORE 14801.044
AT ITER 4985 NEW BEST:: SOT 60200 SOS 17064 HAS SOPS 17064 HAS SOUS 14764 HAS SOUPS 14764 WITH SCORE 14781.064
AT ITER 4986 NEW BEST:: SOT 60195 SOS 17041 HAS SOPS 17041 HAS SOUS 14750 HAS SOUPS 14750 WITH SCORE 14767.041
AT ITER 5055 NEW BEST:: SOT 60189 SOS 17022 HAS SOPS 17022 HAS SOUS 14741 HAS SOUPS 14741 WITH SCORE 14758.022
AT ITER 5102 NEW BEST:: SOT 60184 SOS 17007 HAS SOPS 17007 HAS SOUS 14731 HAS SOUPS 14731 WITH SCORE 14748.007
AT ITER 5153 NEW BEST:: SOT 60180 SOS 16999 HAS SOPS 16999 HAS SOUS 14725 HAS SOUPS 14725 WITH SCORE 14741.999
AT ITER 5169 NEW BEST:: SOT 60180 SOS 16998 HAS SOPS 16998 HAS SOUS 14725 HAS SOUPS 14725 WITH SCORE 14741.998
AT ITER 5240 NEW BEST:: SOT 60165 SOS 16978 HAS SOPS 16978 HAS SOUS 14710 HAS SOUPS 14710 WITH SCORE 14726.978
AT ITER 5243 NEW BEST:: SOT 60165 SOS 16947 HAS SOPS 16947 HAS SOUS 14700 HAS SOUPS 14700 WITH SCORE 14716.947
AT ITER 5275 NEW BEST:: SOT 60143 SOS 16881 HAS SOPS 16881 HAS SOUS 14675 HAS SOUPS 14675 WITH SCORE 14691.881
AT ITER 5293 NEW BEST:: SOT 60144 SOS 16881 HAS SOPS 16881 HAS SOUS 14674 HAS SOUPS 14674 WITH SCORE 14690.881
AT ITER 5296 NEW BEST:: SOT 60144 SOS 16880 HAS SOPS 16880 HAS SOUS 14674 HAS SOUPS 14674 WITH SCORE 14690.88
AT ITER 5320 NEW BEST:: SOT 60142 SOS 16876 HAS SOPS 16876 HAS SOUS 14672 HAS SOUPS 14672 WITH SCORE 14688.876
AT ITER 5324 NEW BEST:: SOT 60129 SOS 16858 HAS SOPS 16858 HAS SOUS 14641 HAS SOUPS 14641 WITH SCORE 14657.858
AT ITER 5332 NEW BEST:: SOT 60121 SOS 16835 HAS SOPS 16835 HAS SOUS 14626 HAS SOUPS 14626 WITH SCORE 14642.835
AT ITER 5398 NEW BEST:: SOT 60121 SOS 16789 HAS SOPS 16789 HAS SOUS 14626 HAS SOUPS 14626 WITH SCORE 14642.789
AT ITER 5438 NEW BEST:: SOT 60103 SOS 16771 HAS SOPS 16771 HAS SOUS 14608 HAS SOUPS 14608 WITH SCORE 14624.771
AT ITER 5454 NEW BEST:: SOT 60102 SOS 16770 HAS SOPS 16770 HAS SOUS 14607 HAS SOUPS 14607 WITH SCORE 14623.77
AT ITER 5510 NEW BEST:: SOT 60115 SOS 16797 HAS SOPS 16797 HAS SOUS 14604 HAS SOUPS 14604 WITH SCORE 14620.797
AT ITER 5512 NEW BEST:: SOT 60087 SOS 16751 HAS SOPS 16751 HAS SOUS 14570 HAS SOUPS 14570 WITH SCORE 14586.751
AT ITER 5523 NEW BEST:: SOT 60083 SOS 16747 HAS SOPS 16747 HAS SOUS 14566 HAS SOUPS 14566 WITH SCORE 14582.747
AT ITER 5548 NEW BEST:: SOT 60087 SOS 16752 HAS SOPS 16752 HAS SOUS 14562 HAS SOUPS 14562 WITH SCORE 14578.752
AT ITER 5572 NEW BEST:: SOT 60085 SOS 16748 HAS SOPS 16748 HAS SOUS 14560 HAS SOUPS 14560 WITH SCORE 14576.748
AT ITER 5622 NEW BEST:: SOT 60085 SOS 16747 HAS SOPS 16747 HAS SOUS 14559 HAS SOUPS 14559 WITH SCORE 14575.747
AT ITER 5632 NEW BEST:: SOT 60067 SOS 16636 HAS SOPS 16636 HAS SOUS 14504 HAS SOUPS 14504 WITH SCORE 14520.636
AT ITER 5640 NEW BEST:: SOT 60067 SOS 16626 HAS SOPS 16626 HAS SOUS 14499 HAS SOUPS 14499 WITH SCORE 14515.626
AT ITER 5661 NEW BEST:: SOT 60067 SOS 16626 HAS SOPS 16626 HAS SOUS 14497 HAS SOUPS 14497 WITH SCORE 14513.626
AT ITER 5667 NEW BEST:: SOT 60066 SOS 16623 HAS SOPS 16623 HAS SOUS 14496 HAS SOUPS 14496 WITH SCORE 14512.623
AT ITER 5680 NEW BEST:: SOT 60060 SOS 16608 HAS SOPS 16608 HAS SOUS 14487 HAS SOUPS 14487 WITH SCORE 14503.608
AT ITER 5694 NEW BEST:: SOT 60060 SOS 16587 HAS SOPS 16587 HAS SOUS 14487 HAS SOUPS 14487 WITH SCORE 14503.587
AT ITER 5701 NEW BEST:: SOT 60060 SOS 16564 HAS SOPS 16564 HAS SOUS 14476 HAS SOUPS 14476 WITH SCORE 14492.564
AT ITER 5739 NEW BEST:: SOT 60061 SOS 16569 HAS SOPS 16569 HAS SOUS 14474 HAS SOUPS 14474 WITH SCORE 14490.569
AT ITER 5754 NEW BEST:: SOT 60060 SOS 16566 HAS SOPS 16566 HAS SOUS 14470 HAS SOUPS 14470 WITH SCORE 14486.566
AT ITER 5764 NEW BEST:: SOT 60036 SOS 16534 HAS SOPS 16534 HAS SOUS 14438 HAS SOUPS 14438 WITH SCORE 14454.534
AT ITER 5765 NEW BEST:: SOT 60032 SOS 16587 HAS SOPS 16587 HAS SOUS 14430 HAS SOUPS 14430 WITH SCORE 14446.587
AT ITER 5773 NEW BEST:: SOT 60030 SOS 16581 HAS SOPS 16581 HAS SOUS 14424 HAS SOUPS 14424 WITH SCORE 14440.581
AT ITER 5866 NEW BEST:: SOT 60021 SOS 16579 HAS SOPS 16579 HAS SOUS 14415 HAS SOUPS 14415 WITH SCORE 14431.579
AT ITER 5893 NEW BEST:: SOT 60011 SOS 16559 HAS SOPS 16559 HAS SOUS 14395 HAS SOUPS 14395 WITH SCORE 14411.559
AT ITER 5895 NEW BEST:: SOT 60002 SOS 16547 HAS SOPS 16547 HAS SOUS 14380 HAS SOUPS 14380 WITH SCORE 14396.547
AT ITER 5899 NEW BEST:: SOT 59985 SOS 16546 HAS SOPS 16546 HAS SOUS 14365 HAS SOUPS 14365 WITH SCORE 14381.546
AT ITER 5900 NEW BEST:: SOT 59985 SOS 16538 HAS SOPS 16538 HAS SOUS 14357 HAS SOUPS 14357 WITH SCORE 14373.538
AT ITER 5908 NEW BEST:: SOT 59983 SOS 16532 HAS SOPS 16532 HAS SOUS 14351 HAS SOUPS 14351 WITH SCORE 14367.532
AT ITER 5939 NEW BEST:: SOT 59981 SOS 16528 HAS SOPS 16528 HAS SOUS 14349 HAS SOUPS 14349 WITH SCORE 14365.528
AT ITER 5973 NEW BEST:: SOT 59981 SOS 16552 HAS SOPS 16552 HAS SOUS 14339 HAS SOUPS 14339 WITH SCORE 14355.552
AT ITER 5989 NEW BEST:: SOT 59981 SOS 16537 HAS SOPS 16537 HAS SOUS 14339 HAS SOUPS 14339 WITH SCORE 14355.537
AT ITER 6008 NEW BEST:: SOT 59971 SOS 16522 HAS SOPS 16522 HAS SOUS 14324 HAS SOUPS 14324 WITH SCORE 14340.522
AT ITER 6020 NEW BEST:: SOT 59971 SOS 16521 HAS SOPS 16521 HAS SOUS 14323 HAS SOUPS 14323 WITH SCORE 14339.521
AT ITER 6030 NEW BEST:: SOT 59956 SOS 16506 HAS SOPS 16506 HAS SOUS 14315 HAS SOUPS 14315 WITH SCORE 14331.506
AT ITER 6079 NEW BEST:: SOT 59942 SOS 16486 HAS SOPS 16486 HAS SOUS 14293 HAS SOUPS 14293 WITH SCORE 14309.486
AT ITER 6087 NEW BEST:: SOT 59918 SOS 16462 HAS SOPS 16462 HAS SOUS 14269 HAS SOUPS 14269 WITH SCORE 14285.462
AT ITER 6093 NEW BEST:: SOT 59908 SOS 16452 HAS SOPS 16452 HAS SOUS 14259 HAS SOUPS 14259 WITH SCORE 14275.452
AT ITER 6095 NEW BEST:: SOT 59907 SOS 16450 HAS SOPS 16450 HAS SOUS 14256 HAS SOUPS 14256 WITH SCORE 14272.45
AT ITER 6154 NEW BEST:: SOT 59905 SOS 16429 HAS SOPS 16429 HAS SOUS 14253 HAS SOUPS 14253 WITH SCORE 14269.429
AT ITER 6186 NEW BEST:: SOT 59905 SOS 16423 HAS SOPS 16423 HAS SOUS 14253 HAS SOUPS 14253 WITH SCORE 14269.423
AT ITER 6195 NEW BEST:: SOT 59905 SOS 16423 HAS SOPS 16423 HAS SOUS 14236 HAS SOUPS 14236 WITH SCORE 14252.423
AT ITER 6280 NEW BEST:: SOT 59891 SOS 16409 HAS SOPS 16409 HAS SOUS 14222 HAS SOUPS 14222 WITH SCORE 14238.409
AT ITER 6284 NEW BEST:: SOT 59891 SOS 16365 HAS SOPS 16365 HAS SOUS 14222 HAS SOUPS 14222 WITH SCORE 14238.365
AT ITER 6295 NEW BEST:: SOT 59887 SOS 16357 HAS SOPS 16357 HAS SOUS 14216 HAS SOUPS 14216 WITH SCORE 14232.357
AT ITER 6302 NEW BEST:: SOT 59883 SOS 16345 HAS SOPS 16345 HAS SOUS 14204 HAS SOUPS 14204 WITH SCORE 14220.345
AT ITER 6316 NEW BEST:: SOT 59877 SOS 16330 HAS SOPS 16330 HAS SOUS 14192 HAS SOUPS 14192 WITH SCORE 14208.33
AT ITER 6325 NEW BEST:: SOT 59875 SOS 16328 HAS SOPS 16328 HAS SOUS 14188 HAS SOUPS 14188 WITH SCORE 14204.328
AT ITER 6328 NEW BEST:: SOT 59857 SOS 16296 HAS SOPS 16296 HAS SOUS 14146 HAS SOUPS 14146 WITH SCORE 14162.296
AT ITER 6335 NEW BEST:: SOT 59802 SOS 16241 HAS SOPS 16241 HAS SOUS 14064 HAS SOUPS 14064 WITH SCORE 14080.241
AT ITER 6396 NEW BEST:: SOT 59802 SOS 16237 HAS SOPS 16237 HAS SOUS 14064 HAS SOUPS 14064 WITH SCORE 14080.237
AT ITER 6409 NEW BEST:: SOT 59802 SOS 16234 HAS SOPS 16234 HAS SOUS 14064 HAS SOUPS 14064 WITH SCORE 14080.234
AT ITER 6449 NEW BEST:: SOT 59802 SOS 16238 HAS SOPS 16238 HAS SOUS 14061 HAS SOUPS 14061 WITH SCORE 14077.238
AT ITER 6509 NEW BEST:: SOT 59801 SOS 16228 HAS SOPS 16228 HAS SOUS 14051 HAS SOUPS 14051 WITH SCORE 14067.228
AT ITER 6543 NEW BEST:: SOT 59801 SOS 16092 HAS SOPS 16092 HAS SOUS 14015 HAS SOUPS 14015 WITH SCORE 14031.092
AT ITER 6582 NEW BEST:: SOT 59773 SOS 16050 HAS SOPS 16050 HAS SOUS 13987 HAS SOUPS 13987 WITH SCORE 14003.05
AT ITER 6629 NEW BEST:: SOT 59762 SOS 16006 HAS SOPS 16006 HAS SOUS 13962 HAS SOUPS 13962 WITH SCORE 13978.006
AT ITER 6633 NEW BEST:: SOT 59757 SOS 15988 HAS SOPS 15988 HAS SOUS 13952 HAS SOUPS 13952 WITH SCORE 13967.988
AT ITER 6635 NEW BEST:: SOT 59741 SOS 15968 HAS SOPS 15968 HAS SOUS 13932 HAS SOUPS 13932 WITH SCORE 13947.968
AT ITER 6673 NEW BEST:: SOT 59741 SOS 15962 HAS SOPS 15962 HAS SOUS 13932 HAS SOUPS 13932 WITH SCORE 13947.962
AT ITER 6691 NEW BEST:: SOT 59730 SOS 15963 HAS SOPS 15963 HAS SOUS 13921 HAS SOUPS 13921 WITH SCORE 13936.963
AT ITER 6693 NEW BEST:: SOT 59722 SOS 15961 HAS SOPS 15961 HAS SOUS 13919 HAS SOUPS 13919 WITH SCORE 13934.961
AT ITER 6698 NEW BEST:: SOT 59722 SOS 15961 HAS SOPS 15961 HAS SOUS 13916 HAS SOUPS 13916 WITH SCORE 13931.961
AT ITER 6766 NEW BEST:: SOT 59721 SOS 15957 HAS SOPS 15957 HAS SOUS 13913 HAS SOUPS 13913 WITH SCORE 13928.957
AT ITER 6785 NEW BEST:: SOT 59725 SOS 15987 HAS SOPS 15987 HAS SOUS 13910 HAS SOUPS 13910 WITH SCORE 13925.987
AT ITER 6845 NEW BEST:: SOT 59732 SOS 15953 HAS SOPS 15953 HAS SOUS 13893 HAS SOUPS 13893 WITH SCORE 13908.953
AT ITER 6873 NEW BEST:: SOT 59715 SOS 15932 HAS SOPS 15932 HAS SOUS 13872 HAS SOUPS 13872 WITH SCORE 13887.932
AT ITER 6913 NEW BEST:: SOT 59699 SOS 15906 HAS SOPS 15906 HAS SOUS 13839 HAS SOUPS 13839 WITH SCORE 13854.906
AT ITER 6949 NEW BEST:: SOT 59696 SOS 15900 HAS SOPS 15900 HAS SOUS 13833 HAS SOUPS 13833 WITH SCORE 13848.9
AT ITER 6971 NEW BEST:: SOT 59623 SOS 15761 HAS SOPS 15761 HAS SOUS 13716 HAS SOUPS 13716 WITH SCORE 13731.761
AT ITER 6979 NEW BEST:: SOT 59625 SOS 15730 HAS SOPS 15730 HAS SOUS 13676 HAS SOUPS 13676 WITH SCORE 13691.73
AT ITER 6990 NEW BEST:: SOT 59603 SOS 15700 HAS SOPS 15700 HAS SOUS 13641 HAS SOUPS 13641 WITH SCORE 13656.7
AT ITER 6995 NEW BEST:: SOT 59603 SOS 15695 HAS SOPS 15695 HAS SOUS 13640 HAS SOUPS 13640 WITH SCORE 13655.695
AT ITER 7021 NEW BEST:: SOT 59601 SOS 15692 HAS SOPS 15692 HAS SOUS 13637 HAS SOUPS 13637 WITH SCORE 13652.692
AT ITER 7032 NEW BEST:: SOT 59553 SOS 15567 HAS SOPS 15567 HAS SOUS 13589 HAS SOUPS 13589 WITH SCORE 13604.567
AT ITER 7036 NEW BEST:: SOT 59552 SOS 15566 HAS SOPS 15566 HAS SOUS 13587 HAS SOUPS 13587 WITH SCORE 13602.566
AT ITER 7068 NEW BEST:: SOT 59549 SOS 15556 HAS SOPS 15556 HAS SOUS 13570 HAS SOUPS 13570 WITH SCORE 13585.556
AT ITER 7157 NEW BEST:: SOT 59537 SOS 15544 HAS SOPS 15544 HAS SOUS 13556 HAS SOUPS 13556 WITH SCORE 13571.544
AT ITER 7201 NEW BEST:: SOT 59534 SOS 15540 HAS SOPS 15540 HAS SOUS 13552 HAS SOUPS 13552 WITH SCORE 13567.54
AT ITER 7258 NEW BEST:: SOT 59505 SOS 15462 HAS SOPS 15462 HAS SOUS 13502 HAS SOUPS 13502 WITH SCORE 13517.462
AT ITER 7260 NEW BEST:: SOT 59505 SOS 15462 HAS SOPS 15462 HAS SOUS 13500 HAS SOUPS 13500 WITH SCORE 13515.462
AT ITER 7310 NEW BEST:: SOT 59510 SOS 15450 HAS SOPS 15450 HAS SOUS 13498 HAS SOUPS 13498 WITH SCORE 13513.45
AT ITER 7349 NEW BEST:: SOT 59515 SOS 15464 HAS SOPS 15464 HAS SOUS 13471 HAS SOUPS 13471 WITH SCORE 13486.464
AT ITER 7401 NEW BEST:: SOT 59496 SOS 15416 HAS SOPS 15416 HAS SOUS 13435 HAS SOUPS 13435 WITH SCORE 13450.416
AT ITER 7414 NEW BEST:: SOT 59490 SOS 15398 HAS SOPS 15398 HAS SOUS 13423 HAS SOUPS 13423 WITH SCORE 13438.398
AT ITER 7427 NEW BEST:: SOT 59489 SOS 15393 HAS SOPS 15393 HAS SOUS 13421 HAS SOUPS 13421 WITH SCORE 13436.393
AT ITER 7432 NEW BEST:: SOT 59484 SOS 15377 HAS SOPS 15377 HAS SOUS 13415 HAS SOUPS 13415 WITH SCORE 13430.377
AT ITER 7470 NEW BEST:: SOT 59500 SOS 15432 HAS SOPS 15432 HAS SOUS 13410 HAS SOUPS 13410 WITH SCORE 13425.432
AT ITER 7526 NEW BEST:: SOT 59498 SOS 15450 HAS SOPS 15450 HAS SOUS 13404 HAS SOUPS 13404 WITH SCORE 13419.45
AT ITER 7532 NEW BEST:: SOT 59491 SOS 15436 HAS SOPS 15436 HAS SOUS 13390 HAS SOUPS 13390 WITH SCORE 13405.436
AT ITER 7537 NEW BEST:: SOT 59477 SOS 15421 HAS SOPS 15421 HAS SOUS 13372 HAS SOUPS 13372 WITH SCORE 13387.421
AT ITER 7554 NEW BEST:: SOT 59471 SOS 15413 HAS SOPS 15413 HAS SOUS 13364 HAS SOUPS 13364 WITH SCORE 13379.413
AT ITER 7600 NEW BEST:: SOT 59471 SOS 15413 HAS SOPS 15413 HAS SOUS 13356 HAS SOUPS 13356 WITH SCORE 13371.413
AT ITER 7616 NEW BEST:: SOT 59468 SOS 15410 HAS SOPS 15410 HAS SOUS 13353 HAS SOUPS 13353 WITH SCORE 13368.41
AT ITER 7661 NEW BEST:: SOT 59468 SOS 15410 HAS SOPS 15410 HAS SOUS 13331 HAS SOUPS 13331 WITH SCORE 13346.41
AT ITER 7676 NEW BEST:: SOT 59468 SOS 15392 HAS SOPS 15392 HAS SOUS 13331 HAS SOUPS 13331 WITH SCORE 13346.392
AT ITER 7718 NEW BEST:: SOT 59464 SOS 15388 HAS SOPS 15388 HAS SOUS 13326 HAS SOUPS 13326 WITH SCORE 13341.388
AT ITER 7722 NEW BEST:: SOT 59465 SOS 15387 HAS SOPS 15387 HAS SOUS 13326 HAS SOUPS 13326 WITH SCORE 13341.387
AT ITER 7770 NEW BEST:: SOT 59463 SOS 15379 HAS SOPS 15379 HAS SOUS 13320 HAS SOUPS 13320 WITH SCORE 13335.379
AT ITER 7802 NEW BEST:: SOT 59460 SOS 15369 HAS SOPS 15369 HAS SOUS 13312 HAS SOUPS 13312 WITH SCORE 13327.369
AT ITER 7823 NEW BEST:: SOT 59436 SOS 15337 HAS SOPS 15337 HAS SOUS 13282 HAS SOUPS 13282 WITH SCORE 13297.337
AT ITER 7839 NEW BEST:: SOT 59435 SOS 15325 HAS SOPS 15325 HAS SOUS 13280 HAS SOUPS 13280 WITH SCORE 13295.325
AT ITER 7872 NEW BEST:: SOT 59434 SOS 15320 HAS SOPS 15320 HAS SOUS 13276 HAS SOUPS 13276 WITH SCORE 13291.32
AT ITER 7874 NEW BEST:: SOT 59441 SOS 15338 HAS SOPS 15338 HAS SOUS 13268 HAS SOUPS 13268 WITH SCORE 13283.338
AT ITER 7924 NEW BEST:: SOT 59439 SOS 15336 HAS SOPS 15336 HAS SOUS 13252 HAS SOUPS 13252 WITH SCORE 13267.336
AT ITER 8004 NEW BEST:: SOT 59439 SOS 15336 HAS SOPS 15336 HAS SOUS 13250 HAS SOUPS 13250 WITH SCORE 13265.336
AT ITER 8044 NEW BEST:: SOT 59422 SOS 15303 HAS SOPS 15303 HAS SOUS 13223 HAS SOUPS 13223 WITH SCORE 13238.303
AT ITER 8048 NEW BEST:: SOT 59424 SOS 15311 HAS SOPS 15311 HAS SOUS 13218 HAS SOUPS 13218 WITH SCORE 13233.311
AT ITER 8123 NEW BEST:: SOT 59421 SOS 15308 HAS SOPS 15308 HAS SOUS 13216 HAS SOUPS 13216 WITH SCORE 13231.308
AT ITER 8149 NEW BEST:: SOT 59420 SOS 15304 HAS SOPS 15304 HAS SOUS 13214 HAS SOUPS 13214 WITH SCORE 13229.304
AT ITER 8212 NEW BEST:: SOT 59418 SOS 15302 HAS SOPS 15302 HAS SOUS 13214 HAS SOUPS 13214 WITH SCORE 13229.302
AT ITER 8221 NEW BEST:: SOT 59415 SOS 15290 HAS SOPS 15290 HAS SOUS 13208 HAS SOUPS 13208 WITH SCORE 13223.29
AT ITER 8231 NEW BEST:: SOT 59413 SOS 15286 HAS SOPS 15286 HAS SOUS 13204 HAS SOUPS 13204 WITH SCORE 13219.286
AT ITER 8255 NEW BEST:: SOT 59393 SOS 15260 HAS SOPS 15260 HAS SOUS 13174 HAS SOUPS 13174 WITH SCORE 13189.26
AT ITER 8260 NEW BEST:: SOT 59401 SOS 15266 HAS SOPS 15266 HAS SOUS 13172 HAS SOUPS 13172 WITH SCORE 13187.266
AT ITER 8287 NEW BEST:: SOT 59392 SOS 15254 HAS SOPS 15254 HAS SOUS 13168 HAS SOUPS 13168 WITH SCORE 13183.254
AT ITER 8292 NEW BEST:: SOT 59376 SOS 15230 HAS SOPS 15230 HAS SOUS 13133 HAS SOUPS 13133 WITH SCORE 13148.23
AT ITER 8315 NEW BEST:: SOT 59352 SOS 15180 HAS SOPS 15180 HAS SOUS 13093 HAS SOUPS 13093 WITH SCORE 13108.18
AT ITER 8346 NEW BEST:: SOT 59352 SOS 15148 HAS SOPS 15148 HAS SOUS 13070 HAS SOUPS 13070 WITH SCORE 13085.148
AT ITER 8393 NEW BEST:: SOT 59309 SOS 15086 HAS SOPS 15086 HAS SOUS 13029 HAS SOUPS 13029 WITH SCORE 13044.086
AT ITER 8475 NEW BEST:: SOT 59309 SOS 15079 HAS SOPS 15079 HAS SOUS 13029 HAS SOUPS 13029 WITH SCORE 13044.079
AT ITER 8493 NEW BEST:: SOT 59281 SOS 14993 HAS SOPS 14993 HAS SOUS 12986 HAS SOUPS 12986 WITH SCORE 13000.993
AT ITER 8500 NEW BEST:: SOT 59271 SOS 14981 HAS SOPS 14981 HAS SOUS 12974 HAS SOUPS 12974 WITH SCORE 12988.981
AT ITER 8574 NEW BEST:: SOT 59271 SOS 14979 HAS SOPS 14979 HAS SOUS 12973 HAS SOUPS 12973 WITH SCORE 12987.979
AT ITER 8604 NEW BEST:: SOT 59275 SOS 15015 HAS SOPS 15015 HAS SOUS 12965 HAS SOUPS 12965 WITH SCORE 12980.015
AT ITER 8629 NEW BEST:: SOT 59271 SOS 14971 HAS SOPS 14971 HAS SOUS 12945 HAS SOUPS 12945 WITH SCORE 12959.971
AT ITER 8668 NEW BEST:: SOT 59265 SOS 14961 HAS SOPS 14961 HAS SOUS 12933 HAS SOUPS 12933 WITH SCORE 12947.961
AT ITER 8670 NEW BEST:: SOT 59261 SOS 14955 HAS SOPS 14955 HAS SOUS 12929 HAS SOUPS 12929 WITH SCORE 12943.955
AT ITER 8703 NEW BEST:: SOT 59246 SOS 14938 HAS SOPS 14938 HAS SOUS 12928 HAS SOUPS 12928 WITH SCORE 12942.938
AT ITER 8726 NEW BEST:: SOT 59246 SOS 14945 HAS SOPS 14945 HAS SOUS 12924 HAS SOUPS 12924 WITH SCORE 12938.945
AT ITER 8752 NEW BEST:: SOT 59242 SOS 14935 HAS SOPS 14935 HAS SOUS 12914 HAS SOUPS 12914 WITH SCORE 12928.935
AT ITER 9002 NEW BEST:: SOT 59236 SOS 14935 HAS SOPS 14935 HAS SOUS 12908 HAS SOUPS 12908 WITH SCORE 12922.935
AT ITER 9200 NEW BEST:: SOT 59225 SOS 14878 HAS SOPS 14878 HAS SOUS 12893 HAS SOUPS 12893 WITH SCORE 12907.878
AT ITER 9224 NEW BEST:: SOT 59168 SOS 14775 HAS SOPS 14775 HAS SOUS 12813 HAS SOUPS 12813 WITH SCORE 12827.775
AT ITER 9249 NEW BEST:: SOT 59156 SOS 14732 HAS SOPS 14732 HAS SOUS 12782 HAS SOUPS 12782 WITH SCORE 12796.732
AT ITER 9264 NEW BEST:: SOT 59149 SOS 14723 HAS SOPS 14723 HAS SOUS 12774 HAS SOUPS 12774 WITH SCORE 12788.723
AT ITER 9279 NEW BEST:: SOT 59154 SOS 14722 HAS SOPS 14722 HAS SOUS 12765 HAS SOUPS 12765 WITH SCORE 12779.722
AT ITER 9298 NEW BEST:: SOT 59145 SOS 14720 HAS SOPS 14720 HAS SOUS 12753 HAS SOUPS 12753 WITH SCORE 12767.72
AT ITER 9302 NEW BEST:: SOT 59145 SOS 14715 HAS SOPS 14715 HAS SOUS 12748 HAS SOUPS 12748 WITH SCORE 12762.715
AT ITER 9308 NEW BEST:: SOT 59139 SOS 14686 HAS SOPS 14686 HAS SOUS 12737 HAS SOUPS 12737 WITH SCORE 12751.686
AT ITER 9337 NEW BEST:: SOT 59139 SOS 14668 HAS SOPS 14668 HAS SOUS 12737 HAS SOUPS 12737 WITH SCORE 12751.668
AT ITER 9345 NEW BEST:: SOT 59128 SOS 14657 HAS SOPS 14657 HAS SOUS 12726 HAS SOUPS 12726 WITH SCORE 12740.657
AT ITER 9372 NEW BEST:: SOT 59125 SOS 14653 HAS SOPS 14653 HAS SOUS 12722 HAS SOUPS 12722 WITH SCORE 12736.653
AT ITER 9399 NEW BEST:: SOT 59128 SOS 14652 HAS SOPS 14652 HAS SOUS 12711 HAS SOUPS 12711 WITH SCORE 12725.652
AT ITER 9401 NEW BEST:: SOT 59127 SOS 14651 HAS SOPS 14651 HAS SOUS 12706 HAS SOUPS 12706 WITH SCORE 12720.651
AT ITER 9417 NEW BEST:: SOT 59121 SOS 14649 HAS SOPS 14649 HAS SOUS 12704 HAS SOUPS 12704 WITH SCORE 12718.649
AT ITER 9453 NEW BEST:: SOT 59118 SOS 14642 HAS SOPS 14642 HAS SOUS 12700 HAS SOUPS 12700 WITH SCORE 12714.642
AT ITER 9473 NEW BEST:: SOT 59123 SOS 14658 HAS SOPS 14658 HAS SOUS 12698 HAS SOUPS 12698 WITH SCORE 12712.658
AT ITER 9556 NEW BEST:: SOT 59113 SOS 14648 HAS SOPS 14648 HAS SOUS 12688 HAS SOUPS 12688 WITH SCORE 12702.648
AT ITER 9624 NEW BEST:: SOT 59097 SOS 14608 HAS SOPS 14608 HAS SOUS 12656 HAS SOUPS 12656 WITH SCORE 12670.608
AT ITER 9668 NEW BEST:: SOT 59093 SOS 14587 HAS SOPS 14587 HAS SOUS 12651 HAS SOUPS 12651 WITH SCORE 12665.587
AT ITER 9682 NEW BEST:: SOT 59077 SOS 14562 HAS SOPS 14562 HAS SOUS 12645 HAS SOUPS 12645 WITH SCORE 12659.562
AT ITER 9700 NEW BEST:: SOT 59069 SOS 14546 HAS SOPS 14546 HAS SOUS 12631 HAS SOUPS 12631 WITH SCORE 12645.546
AT ITER 9720 NEW BEST:: SOT 59068 SOS 14547 HAS SOPS 14547 HAS SOUS 12627 HAS SOUPS 12627 WITH SCORE 12641.547
AT ITER 9730 NEW BEST:: SOT 59064 SOS 14541 HAS SOPS 14541 HAS SOUS 12625 HAS SOUPS 12625 WITH SCORE 12639.541
AT ITER 9731 NEW BEST:: SOT 59062 SOS 14532 HAS SOPS 14532 HAS SOUS 12615 HAS SOUPS 12615 WITH SCORE 12629.532
AT ITER 9828 NEW BEST:: SOT 59036 SOS 14480 HAS SOPS 14480 HAS SOUS 12560 HAS SOUPS 12560 WITH SCORE 12574.48
AT ITER 9832 NEW BEST:: SOT 59037 SOS 14475 HAS SOPS 14475 HAS SOUS 12559 HAS SOUPS 12559 WITH SCORE 12573.475
AT ITER 9847 NEW BEST:: SOT 59035 SOS 14471 HAS SOPS 14471 HAS SOUS 12559 HAS SOUPS 12559 WITH SCORE 12573.471
AT ITER 9945 NEW BEST:: SOT 59025 SOS 14452 HAS SOPS 14452 HAS SOUS 12535 HAS SOUPS 12535 WITH SCORE 12549.452
AT ITER 9959 NEW BEST:: SOT 59023 SOS 14448 HAS SOPS 14448 HAS SOUS 12534 HAS SOUPS 12534 WITH SCORE 12548.448
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 1166808 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16152828 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldRVt-PT-040A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is ShieldRVt-PT-040A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r419-tajo-167905973600312"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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