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.r107-tall-167814484700800.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 DLCshifumi-PT-2a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484700800
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 716K
-rw-r--r-- 1 mcc users 6.1K Feb 26 08:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 08:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 07:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 07: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 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 08:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 168K Feb 26 08:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 26 08:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K Feb 26 08:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 213K 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 1678429104099

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=DLCshifumi-PT-2a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 06:18:25] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 06:18:25] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 06:18:25] [INFO ] Load time of PNML (sax parser for PT used): 73 ms
[2023-03-10 06:18:25] [INFO ] Transformed 188 places.
[2023-03-10 06:18:25] [INFO ] Transformed 888 transitions.
[2023-03-10 06:18:25] [INFO ] Found NUPN structural information;
[2023-03-10 06:18:25] [INFO ] Parsed PT model containing 188 places and 888 transitions and 3166 arcs in 146 ms.
[2023-03-10 06:18:25] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 188 places, 888 transitions and 3166 arcs took 10 ms.
Total runtime 184 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 2a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 188 places, 888 transitions, 3166 arcs.
AT ITER 0 NEW BEST:: SOT 122605 SOS 88663 HAS SOPS 54386 HAS SOUS 25074 HAS SOUPS 16131 WITH SCORE 16219.663
AT ITER 4 NEW BEST:: SOT 121907 SOS 87698 HAS SOPS 54087 HAS SOUS 24943 HAS SOUPS 16084 WITH SCORE 16171.698
AT ITER 5 NEW BEST:: SOT 120979 SOS 86789 HAS SOPS 53423 HAS SOUS 24914 HAS SOUPS 16055 WITH SCORE 16141.789
AT ITER 7 NEW BEST:: SOT 120911 SOS 86653 HAS SOPS 53355 HAS SOUS 24812 HAS SOUPS 15987 WITH SCORE 16073.653
AT ITER 13 NEW BEST:: SOT 120954 SOS 87583 HAS SOPS 53624 HAS SOUS 24126 HAS SOUPS 15346 WITH SCORE 15433.583
AT ITER 14 NEW BEST:: SOT 120904 SOS 87483 HAS SOPS 53652 HAS SOUS 24009 HAS SOUPS 15293 WITH SCORE 15380.483
AT ITER 16 NEW BEST:: SOT 120309 SOS 86650 HAS SOPS 53354 HAS SOUS 23937 HAS SOUPS 15241 WITH SCORE 15327.65
AT ITER 24 NEW BEST:: SOT 120298 SOS 86452 HAS SOPS 53332 HAS SOUS 23925 HAS SOUPS 15240 WITH SCORE 15326.452
AT ITER 25 NEW BEST:: SOT 119479 SOS 85830 HAS SOPS 52606 HAS SOUS 23312 HAS SOUPS 14672 WITH SCORE 14757.83
AT ITER 26 NEW BEST:: SOT 118942 SOS 84872 HAS SOPS 52158 HAS SOUS 23280 HAS SOUPS 14614 WITH SCORE 14698.872
AT ITER 27 NEW BEST:: SOT 118888 SOS 84764 HAS SOPS 52150 HAS SOUS 23272 HAS SOUPS 14606 WITH SCORE 14690.764
AT ITER 29 NEW BEST:: SOT 118339 SOS 84148 HAS SOPS 51723 HAS SOUS 23248 HAS SOUPS 14582 WITH SCORE 14666.148
AT ITER 31 NEW BEST:: SOT 118339 SOS 84148 HAS SOPS 51723 HAS SOUS 23228 HAS SOUPS 14562 WITH SCORE 14646.148
AT ITER 32 NEW BEST:: SOT 117557 SOS 83680 HAS SOPS 50899 HAS SOUS 22874 HAS SOUPS 14163 WITH SCORE 14246.68
AT ITER 33 NEW BEST:: SOT 117170 SOS 83293 HAS SOPS 50598 HAS SOUS 22841 HAS SOUPS 14130 WITH SCORE 14213.293
AT ITER 37 NEW BEST:: SOT 117125 SOS 83073 HAS SOPS 50378 HAS SOUS 22760 HAS SOUPS 14049 WITH SCORE 14132.073
AT ITER 38 NEW BEST:: SOT 116299 SOS 81862 HAS SOPS 50060 HAS SOUS 22572 HAS SOUPS 14025 WITH SCORE 14106.862
AT ITER 39 NEW BEST:: SOT 116209 SOS 81502 HAS SOPS 49700 HAS SOUS 22482 HAS SOUPS 13935 WITH SCORE 14016.502
AT ITER 41 NEW BEST:: SOT 116188 SOS 81460 HAS SOPS 49700 HAS SOUS 22440 HAS SOUPS 13914 WITH SCORE 13995.46
AT ITER 42 NEW BEST:: SOT 116148 SOS 81302 HAS SOPS 49542 HAS SOUS 22379 HAS SOUPS 13853 WITH SCORE 13934.302
AT ITER 43 NEW BEST:: SOT 116148 SOS 81242 HAS SOPS 49482 HAS SOUS 22289 HAS SOUPS 13793 WITH SCORE 13874.242
AT ITER 44 NEW BEST:: SOT 116148 SOS 81226 HAS SOPS 49450 HAS SOUS 22297 HAS SOUPS 13793 WITH SCORE 13874.226
AT ITER 45 NEW BEST:: SOT 116143 SOS 81216 HAS SOPS 49440 HAS SOUS 22287 HAS SOUPS 13783 WITH SCORE 13864.216
AT ITER 46 NEW BEST:: SOT 115659 SOS 81103 HAS SOPS 49110 HAS SOUS 22129 HAS SOUPS 13607 WITH SCORE 13688.103
AT ITER 47 NEW BEST:: SOT 115688 SOS 79215 HAS SOPS 48830 HAS SOUS 22313 HAS SOUPS 13498 WITH SCORE 13577.215
AT ITER 48 NEW BEST:: SOT 115141 SOS 78487 HAS SOPS 48490 HAS SOUS 22183 HAS SOUPS 13400 WITH SCORE 13478.487
AT ITER 49 NEW BEST:: SOT 115123 SOS 78479 HAS SOPS 48510 HAS SOUS 22151 HAS SOUPS 13382 WITH SCORE 13460.479
AT ITER 50 NEW BEST:: SOT 115143 SOS 77959 HAS SOPS 48550 HAS SOUS 22101 HAS SOUPS 13367 WITH SCORE 13444.959
AT ITER 53 NEW BEST:: SOT 115129 SOS 77931 HAS SOPS 48518 HAS SOUS 22071 HAS SOUPS 13335 WITH SCORE 13412.931
AT ITER 58 NEW BEST:: SOT 114772 SOS 77330 HAS SOPS 48194 HAS SOUS 22089 HAS SOUPS 13333 WITH SCORE 13410.33
AT ITER 60 NEW BEST:: SOT 114044 SOS 76458 HAS SOPS 47330 HAS SOUS 21130 HAS SOUPS 12477 WITH SCORE 12553.458
AT ITER 67 NEW BEST:: SOT 114024 SOS 76458 HAS SOPS 47330 HAS SOUS 21103 HAS SOUPS 12450 WITH SCORE 12526.458
AT ITER 68 NEW BEST:: SOT 113096 SOS 75585 HAS SOPS 46518 HAS SOUS 21018 HAS SOUPS 12365 WITH SCORE 12440.585
AT ITER 72 NEW BEST:: SOT 113150 SOS 75621 HAS SOPS 46550 HAS SOUS 21001 HAS SOUPS 12349 WITH SCORE 12424.621
AT ITER 73 NEW BEST:: SOT 113147 SOS 75615 HAS SOPS 46550 HAS SOUS 21001 HAS SOUPS 12349 WITH SCORE 12424.615
AT ITER 74 NEW BEST:: SOT 112671 SOS 75971 HAS SOPS 46730 HAS SOUS 20689 HAS SOUPS 12067 WITH SCORE 12142.971
AT ITER 75 NEW BEST:: SOT 112035 SOS 76725 HAS SOPS 47136 HAS SOUS 20442 HAS SOUPS 11866 WITH SCORE 11942.725
AT ITER 79 NEW BEST:: SOT 112019 SOS 76701 HAS SOPS 47128 HAS SOUS 20430 HAS SOUPS 11858 WITH SCORE 11934.701
AT ITER 88 NEW BEST:: SOT 111683 SOS 76320 HAS SOPS 46820 HAS SOUS 20372 HAS SOUPS 11772 WITH SCORE 11848.32
AT ITER 89 NEW BEST:: SOT 111592 SOS 76138 HAS SOPS 46820 HAS SOUS 20104 HAS SOUPS 11772 WITH SCORE 11848.138
AT ITER 91 NEW BEST:: SOT 111595 SOS 76368 HAS SOPS 46842 HAS SOUS 19932 HAS SOUPS 11589 WITH SCORE 11665.368
AT ITER 94 NEW BEST:: SOT 111479 SOS 76320 HAS SOPS 46714 HAS SOUS 19669 HAS SOUPS 11347 WITH SCORE 11423.32
AT ITER 97 NEW BEST:: SOT 110809 SOS 75342 HAS SOPS 45736 HAS SOUS 19090 HAS SOUPS 10768 WITH SCORE 10843.342
AT ITER 99 NEW BEST:: SOT 110015 SOS 74404 HAS SOPS 45188 HAS SOUS 19032 HAS SOUPS 10710 WITH SCORE 10784.404
AT ITER 101 NEW BEST:: SOT 109954 SOS 74282 HAS SOPS 45096 HAS SOUS 18816 HAS SOUPS 10554 WITH SCORE 10628.282
AT ITER 102 NEW BEST:: SOT 110015 SOS 74542 HAS SOPS 45218 HAS SOUS 18815 HAS SOUPS 10535 WITH SCORE 10609.542
AT ITER 111 NEW BEST:: SOT 109957 SOS 74330 HAS SOPS 45038 HAS SOUS 18789 HAS SOUPS 10509 WITH SCORE 10583.33
AT ITER 115 NEW BEST:: SOT 109813 SOS 74186 HAS SOPS 44966 HAS SOUS 18753 HAS SOUPS 10485 WITH SCORE 10559.186
AT ITER 116 NEW BEST:: SOT 109657 SOS 74004 HAS SOPS 44862 HAS SOUS 18753 HAS SOUPS 10485 WITH SCORE 10559.004
AT ITER 121 NEW BEST:: SOT 109206 SOS 73975 HAS SOPS 45021 HAS SOUS 18691 HAS SOUPS 10416 WITH SCORE 10489.975
AT ITER 124 NEW BEST:: SOT 109215 SOS 74010 HAS SOPS 44992 HAS SOUS 18670 HAS SOUPS 10363 WITH SCORE 10437.01
AT ITER 128 NEW BEST:: SOT 108533 SOS 73229 HAS SOPS 44132 HAS SOUS 18719 HAS SOUPS 10328 WITH SCORE 10401.229
AT ITER 134 NEW BEST:: SOT 109102 SOS 73958 HAS SOPS 44300 HAS SOUS 18620 HAS SOUPS 10224 WITH SCORE 10297.958
AT ITER 136 NEW BEST:: SOT 108490 SOS 74236 HAS SOPS 44414 HAS SOUS 18373 HAS SOUPS 10007 WITH SCORE 10081.236
AT ITER 138 NEW BEST:: SOT 108722 SOS 72862 HAS SOPS 43532 HAS SOUS 18155 HAS SOUPS 9789 WITH SCORE 9861.862
AT ITER 139 NEW BEST:: SOT 108520 SOS 72250 HAS SOPS 43440 HAS SOUS 18117 HAS SOUPS 9751 WITH SCORE 9823.25
AT ITER 141 NEW BEST:: SOT 108475 SOS 72612 HAS SOPS 43354 HAS SOUS 18072 HAS SOUPS 9678 WITH SCORE 9750.612
AT ITER 145 NEW BEST:: SOT 108380 SOS 72686 HAS SOPS 43399 HAS SOUS 18080 HAS SOUPS 9664 WITH SCORE 9736.686
AT ITER 147 NEW BEST:: SOT 107904 SOS 72342 HAS SOPS 43171 HAS SOUS 17957 HAS SOUPS 9532 WITH SCORE 9604.342
AT ITER 155 NEW BEST:: SOT 107736 SOS 72160 HAS SOPS 43143 HAS SOUS 17799 HAS SOUPS 9451 WITH SCORE 9523.16
AT ITER 157 NEW BEST:: SOT 107089 SOS 71280 HAS SOPS 42675 HAS SOUS 17579 HAS SOUPS 9229 WITH SCORE 9300.28
AT ITER 159 NEW BEST:: SOT 107087 SOS 71276 HAS SOPS 42639 HAS SOUS 17597 HAS SOUPS 9229 WITH SCORE 9300.276
AT ITER 160 NEW BEST:: SOT 106993 SOS 71101 HAS SOPS 42306 HAS SOUS 17463 HAS SOUPS 9022 WITH SCORE 9093.101
AT ITER 165 NEW BEST:: SOT 106993 SOS 71097 HAS SOPS 42308 HAS SOUS 17461 HAS SOUPS 9022 WITH SCORE 9093.097
AT ITER 186 NEW BEST:: SOT 106664 SOS 70837 HAS SOPS 41994 HAS SOUS 17497 HAS SOUPS 9015 WITH SCORE 9085.837
AT ITER 188 NEW BEST:: SOT 106667 SOS 70807 HAS SOPS 42064 HAS SOUS 17432 HAS SOUPS 9000 WITH SCORE 9070.807
AT ITER 189 NEW BEST:: SOT 106703 SOS 70843 HAS SOPS 42040 HAS SOUS 17450 HAS SOUPS 8968 WITH SCORE 9038.843
AT ITER 191 NEW BEST:: SOT 106640 SOS 70696 HAS SOPS 42040 HAS SOUS 17427 HAS SOUPS 8967 WITH SCORE 9037.696
AT ITER 193 NEW BEST:: SOT 106314 SOS 70289 HAS SOPS 41668 HAS SOUS 17446 HAS SOUPS 8951 WITH SCORE 9021.289
AT ITER 194 NEW BEST:: SOT 106251 SOS 70307 HAS SOPS 41668 HAS SOUS 17428 HAS SOUPS 8933 WITH SCORE 9003.307
AT ITER 196 NEW BEST:: SOT 105775 SOS 69811 HAS SOPS 41332 HAS SOUS 17466 HAS SOUPS 8926 WITH SCORE 8995.811
AT ITER 200 NEW BEST:: SOT 105763 SOS 69787 HAS SOPS 41190 HAS SOUS 17395 HAS SOUPS 8855 WITH SCORE 8924.787
AT ITER 203 NEW BEST:: SOT 105484 SOS 68921 HAS SOPS 40294 HAS SOUS 17399 HAS SOUPS 8830 WITH SCORE 8898.921
AT ITER 206 NEW BEST:: SOT 105506 SOS 68934 HAS SOPS 40305 HAS SOUS 17309 HAS SOUPS 8740 WITH SCORE 8808.934
AT ITER 208 NEW BEST:: SOT 105162 SOS 68547 HAS SOPS 40051 HAS SOUS 17210 HAS SOUPS 8674 WITH SCORE 8742.547
AT ITER 209 NEW BEST:: SOT 104367 SOS 68575 HAS SOPS 39803 HAS SOUS 16791 HAS SOUPS 8285 WITH SCORE 8353.575
AT ITER 210 NEW BEST:: SOT 104263 SOS 68419 HAS SOPS 39699 HAS SOUS 16739 HAS SOUPS 8259 WITH SCORE 8327.419
AT ITER 216 NEW BEST:: SOT 104249 SOS 68363 HAS SOPS 39643 HAS SOUS 16697 HAS SOUPS 8217 WITH SCORE 8285.363
AT ITER 218 NEW BEST:: SOT 104253 SOS 68399 HAS SOPS 39679 HAS SOUS 16696 HAS SOUPS 8216 WITH SCORE 8284.399
AT ITER 219 NEW BEST:: SOT 104007 SOS 68173 HAS SOPS 39711 HAS SOUS 16392 HAS SOUPS 8180 WITH SCORE 8248.173
AT ITER 221 NEW BEST:: SOT 103000 SOS 67214 HAS SOPS 38997 HAS SOUS 16381 HAS SOUPS 8159 WITH SCORE 8226.214
AT ITER 225 NEW BEST:: SOT 102523 SOS 66844 HAS SOPS 38481 HAS SOUS 16386 HAS SOUPS 8091 WITH SCORE 8157.844
AT ITER 251 NEW BEST:: SOT 102493 SOS 66808 HAS SOPS 38457 HAS SOUS 16380 HAS SOUPS 8085 WITH SCORE 8151.808
AT ITER 255 NEW BEST:: SOT 102498 SOS 66887 HAS SOPS 38513 HAS SOUS 16368 HAS SOUPS 8073 WITH SCORE 8139.887
AT ITER 259 NEW BEST:: SOT 102131 SOS 66463 HAS SOPS 38232 HAS SOUS 16282 HAS SOUPS 7996 WITH SCORE 8062.463
AT ITER 262 NEW BEST:: SOT 102129 SOS 66455 HAS SOPS 38224 HAS SOUS 16284 HAS SOUPS 7996 WITH SCORE 8062.455
AT ITER 264 NEW BEST:: SOT 102144 SOS 66527 HAS SOPS 38296 HAS SOUS 16257 HAS SOUPS 7990 WITH SCORE 8056.527
AT ITER 270 NEW BEST:: SOT 102048 SOS 66442 HAS SOPS 38224 HAS SOUS 16269 HAS SOUPS 7990 WITH SCORE 8056.442
AT ITER 291 NEW BEST:: SOT 101493 SOS 66928 HAS SOPS 38539 HAS SOUS 16166 HAS SOUPS 7912 WITH SCORE 7978.928
AT ITER 311 NEW BEST:: SOT 101497 SOS 66936 HAS SOPS 38539 HAS SOUS 16170 HAS SOUPS 7909 WITH SCORE 7975.936
AT ITER 312 NEW BEST:: SOT 101420 SOS 66716 HAS SOPS 38341 HAS SOUS 16148 HAS SOUPS 7887 WITH SCORE 7953.716
AT ITER 314 NEW BEST:: SOT 101080 SOS 66434 HAS SOPS 38083 HAS SOUS 16179 HAS SOUPS 7886 WITH SCORE 7952.434
AT ITER 328 NEW BEST:: SOT 100666 SOS 66158 HAS SOPS 37715 HAS SOUS 16145 HAS SOUPS 7806 WITH SCORE 7872.158
AT ITER 330 NEW BEST:: SOT 100618 SOS 66102 HAS SOPS 37691 HAS SOUS 16141 HAS SOUPS 7806 WITH SCORE 7872.102
AT ITER 331 NEW BEST:: SOT 99995 SOS 65378 HAS SOPS 37291 HAS SOUS 16119 HAS SOUPS 7784 WITH SCORE 7849.378
AT ITER 336 NEW BEST:: SOT 99583 SOS 64707 HAS SOPS 36471 HAS SOUS 16002 HAS SOUPS 7590 WITH SCORE 7654.707
AT ITER 343 NEW BEST:: SOT 99556 SOS 64655 HAS SOPS 36419 HAS SOUS 15998 HAS SOUPS 7586 WITH SCORE 7650.655
AT ITER 345 NEW BEST:: SOT 100016 SOS 64843 HAS SOPS 36729 HAS SOUS 15925 HAS SOUPS 7574 WITH SCORE 7638.843
AT ITER 346 NEW BEST:: SOT 99719 SOS 64669 HAS SOPS 36489 HAS SOUS 15987 HAS SOUPS 7574 WITH SCORE 7638.669
AT ITER 350 NEW BEST:: SOT 99764 SOS 64788 HAS SOPS 36490 HAS SOUS 16020 HAS SOUPS 7548 WITH SCORE 7612.788
AT ITER 353 NEW BEST:: SOT 99913 SOS 64631 HAS SOPS 36165 HAS SOUS 15922 HAS SOUPS 7450 WITH SCORE 7514.631
AT ITER 364 NEW BEST:: SOT 99894 SOS 64614 HAS SOPS 36153 HAS SOUS 15922 HAS SOUPS 7450 WITH SCORE 7514.614
AT ITER 378 NEW BEST:: SOT 100052 SOS 64765 HAS SOPS 36153 HAS SOUS 15955 HAS SOUPS 7356 WITH SCORE 7420.765
AT ITER 381 NEW BEST:: SOT 100051 SOS 64763 HAS SOPS 36153 HAS SOUS 15954 HAS SOUPS 7356 WITH SCORE 7420.763
AT ITER 393 NEW BEST:: SOT 100045 SOS 64757 HAS SOPS 36141 HAS SOUS 15952 HAS SOUPS 7352 WITH SCORE 7416.757
AT ITER 396 NEW BEST:: SOT 100046 SOS 64725 HAS SOPS 36109 HAS SOUS 15942 HAS SOUPS 7346 WITH SCORE 7410.725
AT ITER 402 NEW BEST:: SOT 100040 SOS 64713 HAS SOPS 36097 HAS SOUS 15930 HAS SOUPS 7334 WITH SCORE 7398.713
AT ITER 403 NEW BEST:: SOT 100050 SOS 64727 HAS SOPS 36097 HAS SOUS 15928 HAS SOUPS 7330 WITH SCORE 7394.727
AT ITER 406 NEW BEST:: SOT 100002 SOS 64679 HAS SOPS 36091 HAS SOUS 15887 HAS SOUPS 7325 WITH SCORE 7389.679
AT ITER 417 NEW BEST:: SOT 99932 SOS 64551 HAS SOPS 35963 HAS SOUS 15823 HAS SOUPS 7261 WITH SCORE 7325.551
AT ITER 422 NEW BEST:: SOT 99927 SOS 64551 HAS SOPS 35953 HAS SOUS 15823 HAS SOUPS 7256 WITH SCORE 7320.551
AT ITER 436 NEW BEST:: SOT 99810 SOS 64306 HAS SOPS 35900 HAS SOUS 15780 HAS SOUPS 7245 WITH SCORE 7309.306
AT ITER 439 NEW BEST:: SOT 99782 SOS 64026 HAS SOPS 35704 HAS SOUS 15749 HAS SOUPS 7215 WITH SCORE 7279.026
AT ITER 440 NEW BEST:: SOT 99784 SOS 63994 HAS SOPS 35704 HAS SOUS 15744 HAS SOUPS 7212 WITH SCORE 7275.994
AT ITER 469 NEW BEST:: SOT 99809 SOS 64106 HAS SOPS 35820 HAS SOUS 15709 HAS SOUPS 7208 WITH SCORE 7272.106
AT ITER 478 NEW BEST:: SOT 99971 SOS 64532 HAS SOPS 36086 HAS SOUS 15670 HAS SOUPS 7171 WITH SCORE 7235.532
AT ITER 481 NEW BEST:: SOT 99871 SOS 64394 HAS SOPS 36010 HAS SOUS 15608 HAS SOUPS 7140 WITH SCORE 7204.394
AT ITER 486 NEW BEST:: SOT 99857 SOS 64390 HAS SOPS 36034 HAS SOUS 15563 HAS SOUPS 7140 WITH SCORE 7204.39
AT ITER 492 NEW BEST:: SOT 99718 SOS 64272 HAS SOPS 36014 HAS SOUS 15436 HAS SOUPS 7110 WITH SCORE 7174.272
AT ITER 495 NEW BEST:: SOT 99098 SOS 63650 HAS SOPS 35396 HAS SOUS 15347 HAS SOUPS 7045 WITH SCORE 7108.65
AT ITER 502 NEW BEST:: SOT 98405 SOS 62857 HAS SOPS 34808 HAS SOUS 15349 HAS SOUPS 6978 WITH SCORE 7040.857
AT ITER 507 NEW BEST:: SOT 98289 SOS 62727 HAS SOPS 34706 HAS SOUS 15351 HAS SOUPS 6978 WITH SCORE 7040.727
AT ITER 512 NEW BEST:: SOT 98127 SOS 62539 HAS SOPS 34478 HAS SOUS 15315 HAS SOUPS 6942 WITH SCORE 7004.539
AT ITER 515 NEW BEST:: SOT 98151 SOS 62225 HAS SOPS 34260 HAS SOUS 15315 HAS SOUPS 6942 WITH SCORE 7004.225
AT ITER 519 NEW BEST:: SOT 98039 SOS 62029 HAS SOPS 34198 HAS SOUS 15228 HAS SOUPS 6880 WITH SCORE 6942.029
AT ITER 529 NEW BEST:: SOT 97758 SOS 61764 HAS SOPS 33954 HAS SOUS 15205 HAS SOUPS 6857 WITH SCORE 6918.764
AT ITER 530 NEW BEST:: SOT 97774 SOS 60436 HAS SOPS 32882 HAS SOUS 15183 HAS SOUPS 6851 WITH SCORE 6911.436
AT ITER 532 NEW BEST:: SOT 97236 SOS 59832 HAS SOPS 32452 HAS SOUS 15092 HAS SOUPS 6720 WITH SCORE 6779.832
AT ITER 536 NEW BEST:: SOT 96706 SOS 59147 HAS SOPS 32106 HAS SOUS 14885 HAS SOUPS 6561 WITH SCORE 6620.147
AT ITER 537 NEW BEST:: SOT 96627 SOS 59027 HAS SOPS 31986 HAS SOUS 14825 HAS SOUPS 6520 WITH SCORE 6579.027
AT ITER 539 NEW BEST:: SOT 96185 SOS 58469 HAS SOPS 31708 HAS SOUS 14758 HAS SOUPS 6488 WITH SCORE 6546.469
AT ITER 541 NEW BEST:: SOT 95211 SOS 58185 HAS SOPS 31708 HAS SOUS 14286 HAS SOUPS 6454 WITH SCORE 6512.185
AT ITER 579 NEW BEST:: SOT 95171 SOS 58141 HAS SOPS 31684 HAS SOUS 14273 HAS SOUPS 6449 WITH SCORE 6507.141
AT ITER 583 NEW BEST:: SOT 95146 SOS 58173 HAS SOPS 31743 HAS SOUS 14224 HAS SOUPS 6419 WITH SCORE 6477.173
AT ITER 584 NEW BEST:: SOT 95143 SOS 58167 HAS SOPS 31743 HAS SOUS 14209 HAS SOUPS 6419 WITH SCORE 6477.167
AT ITER 587 NEW BEST:: SOT 95127 SOS 58159 HAS SOPS 31731 HAS SOUS 14209 HAS SOUPS 6417 WITH SCORE 6475.159
AT ITER 592 NEW BEST:: SOT 94906 SOS 57836 HAS SOPS 31510 HAS SOUS 14192 HAS SOUPS 6400 WITH SCORE 6457.836
AT ITER 594 NEW BEST:: SOT 94897 SOS 57813 HAS SOPS 31494 HAS SOUS 14191 HAS SOUPS 6399 WITH SCORE 6456.813
AT ITER 597 NEW BEST:: SOT 94906 SOS 57680 HAS SOPS 31397 HAS SOUS 14190 HAS SOUPS 6398 WITH SCORE 6455.68
AT ITER 610 NEW BEST:: SOT 94285 SOS 57034 HAS SOPS 30865 HAS SOUS 14117 HAS SOUPS 6301 WITH SCORE 6358.034
AT ITER 617 NEW BEST:: SOT 94161 SOS 56710 HAS SOPS 30575 HAS SOUS 14119 HAS SOUPS 6296 WITH SCORE 6352.71
AT ITER 626 NEW BEST:: SOT 93677 SOS 56202 HAS SOPS 30421 HAS SOUS 14105 HAS SOUPS 6282 WITH SCORE 6338.202
AT ITER 640 NEW BEST:: SOT 93671 SOS 56182 HAS SOPS 30417 HAS SOUS 14099 HAS SOUPS 6280 WITH SCORE 6336.182
AT ITER 649 NEW BEST:: SOT 93569 SOS 56030 HAS SOPS 30317 HAS SOUS 14049 HAS SOUPS 6256 WITH SCORE 6312.03
AT ITER 668 NEW BEST:: SOT 93573 SOS 56166 HAS SOPS 30229 HAS SOUS 14058 HAS SOUPS 6251 WITH SCORE 6307.166
AT ITER 691 NEW BEST:: SOT 93236 SOS 55492 HAS SOPS 30229 HAS SOUS 14047 HAS SOUPS 6251 WITH SCORE 6306.492
AT ITER 698 NEW BEST:: SOT 93205 SOS 55443 HAS SOPS 30245 HAS SOUS 13990 HAS SOUPS 6246 WITH SCORE 6301.443
AT ITER 700 NEW BEST:: SOT 93054 SOS 55256 HAS SOPS 30130 HAS SOUS 13935 HAS SOUPS 6203 WITH SCORE 6258.256
AT ITER 723 NEW BEST:: SOT 92865 SOS 55058 HAS SOPS 29974 HAS SOUS 13922 HAS SOUPS 6179 WITH SCORE 6234.058
AT ITER 735 NEW BEST:: SOT 92927 SOS 55229 HAS SOPS 30055 HAS SOUS 13947 HAS SOUPS 6159 WITH SCORE 6214.229
AT ITER 747 NEW BEST:: SOT 92855 SOS 55181 HAS SOPS 30007 HAS SOUS 13957 HAS SOUPS 6157 WITH SCORE 6212.181
AT ITER 754 NEW BEST:: SOT 92855 SOS 55173 HAS SOPS 29991 HAS SOUS 13961 HAS SOUPS 6157 WITH SCORE 6212.173
AT ITER 760 NEW BEST:: SOT 92846 SOS 55164 HAS SOPS 29982 HAS SOUS 13961 HAS SOUPS 6157 WITH SCORE 6212.164
AT ITER 783 NEW BEST:: SOT 92828 SOS 55402 HAS SOPS 30118 HAS SOUS 13977 HAS SOUPS 6156 WITH SCORE 6211.402
AT ITER 785 NEW BEST:: SOT 92564 SOS 55090 HAS SOPS 29998 HAS SOUS 13952 HAS SOUPS 6155 WITH SCORE 6210.09
AT ITER 798 NEW BEST:: SOT 92630 SOS 55106 HAS SOPS 29932 HAS SOUS 13966 HAS SOUPS 6151 WITH SCORE 6206.106
AT ITER 806 NEW BEST:: SOT 92287 SOS 54798 HAS SOPS 29700 HAS SOUS 13926 HAS SOUPS 6112 WITH SCORE 6166.798
AT ITER 812 NEW BEST:: SOT 91855 SOS 54526 HAS SOPS 29428 HAS SOUS 13946 HAS SOUPS 6082 WITH SCORE 6136.526
AT ITER 813 NEW BEST:: SOT 91861 SOS 54442 HAS SOPS 29380 HAS SOUS 13940 HAS SOUPS 6082 WITH SCORE 6136.442
AT ITER 815 NEW BEST:: SOT 91925 SOS 54520 HAS SOPS 29408 HAS SOUS 13942 HAS SOUPS 6059 WITH SCORE 6113.52
AT ITER 818 NEW BEST:: SOT 91951 SOS 54492 HAS SOPS 29420 HAS SOUS 13922 HAS SOUPS 6055 WITH SCORE 6109.492
AT ITER 830 NEW BEST:: SOT 91917 SOS 54424 HAS SOPS 29352 HAS SOUS 13888 HAS SOUPS 6021 WITH SCORE 6075.424
AT ITER 852 NEW BEST:: SOT 91661 SOS 54077 HAS SOPS 29246 HAS SOUS 13867 HAS SOUPS 6013 WITH SCORE 6067.077
AT ITER 864 NEW BEST:: SOT 91656 SOS 54082 HAS SOPS 29238 HAS SOUS 13873 HAS SOUPS 6012 WITH SCORE 6066.082
AT ITER 865 NEW BEST:: SOT 91489 SOS 53972 HAS SOPS 29110 HAS SOUS 13873 HAS SOUPS 6012 WITH SCORE 6065.972
AT ITER 881 NEW BEST:: SOT 91489 SOS 53972 HAS SOPS 29110 HAS SOUS 13855 HAS SOUPS 6000 WITH SCORE 6053.972
AT ITER 882 NEW BEST:: SOT 91473 SOS 53932 HAS SOPS 29070 HAS SOUS 13828 HAS SOUPS 5981 WITH SCORE 6034.932
AT ITER 890 NEW BEST:: SOT 91449 SOS 53904 HAS SOPS 29054 HAS SOUS 13802 HAS SOUPS 5965 WITH SCORE 6018.904
AT ITER 905 NEW BEST:: SOT 91424 SOS 53868 HAS SOPS 29026 HAS SOUS 13788 HAS SOUPS 5957 WITH SCORE 6010.868
AT ITER 916 NEW BEST:: SOT 91422 SOS 53860 HAS SOPS 29026 HAS SOUS 13786 HAS SOUPS 5957 WITH SCORE 6010.86
AT ITER 927 NEW BEST:: SOT 91190 SOS 53646 HAS SOPS 28862 HAS SOUS 13754 HAS SOUPS 5925 WITH SCORE 5978.646
AT ITER 934 NEW BEST:: SOT 91157 SOS 53607 HAS SOPS 28847 HAS SOUS 13751 HAS SOUPS 5925 WITH SCORE 5978.607
AT ITER 940 NEW BEST:: SOT 91171 SOS 53439 HAS SOPS 28763 HAS SOUS 13737 HAS SOUPS 5925 WITH SCORE 5978.439
AT ITER 944 NEW BEST:: SOT 91165 SOS 53427 HAS SOPS 28717 HAS SOUS 13691 HAS SOUPS 5879 WITH SCORE 5932.427
AT ITER 945 NEW BEST:: SOT 91165 SOS 53412 HAS SOPS 28717 HAS SOUS 13676 HAS SOUPS 5869 WITH SCORE 5922.412
AT ITER 958 NEW BEST:: SOT 91162 SOS 53406 HAS SOPS 28717 HAS SOUS 13666 HAS SOUPS 5865 WITH SCORE 5918.406
AT ITER 962 NEW BEST:: SOT 91388 SOS 53666 HAS SOPS 28987 HAS SOUS 13654 HAS SOUPS 5853 WITH SCORE 5906.666
AT ITER 994 NEW BEST:: SOT 91324 SOS 53538 HAS SOPS 28987 HAS SOUS 13670 HAS SOUPS 5853 WITH SCORE 5906.538
AT ITER 1006 NEW BEST:: SOT 91186 SOS 53466 HAS SOPS 28881 HAS SOUS 13668 HAS SOUPS 5834 WITH SCORE 5887.466
AT ITER 1012 NEW BEST:: SOT 91096 SOS 53346 HAS SOPS 28761 HAS SOUS 13614 HAS SOUPS 5792 WITH SCORE 5845.346
AT ITER 1028 NEW BEST:: SOT 91020 SOS 53194 HAS SOPS 28761 HAS SOUS 13567 HAS SOUPS 5792 WITH SCORE 5845.194
AT ITER 1029 NEW BEST:: SOT 90978 SOS 53138 HAS SOPS 28705 HAS SOUS 13567 HAS SOUPS 5792 WITH SCORE 5845.138
AT ITER 1031 NEW BEST:: SOT 91002 SOS 53172 HAS SOPS 28733 HAS SOUS 13567 HAS SOUPS 5789 WITH SCORE 5842.172
AT ITER 1048 NEW BEST:: SOT 90987 SOS 53152 HAS SOPS 28708 HAS SOUS 13552 HAS SOUPS 5774 WITH SCORE 5827.152
AT ITER 1051 NEW BEST:: SOT 90934 SOS 53123 HAS SOPS 28667 HAS SOUS 13553 HAS SOUPS 5769 WITH SCORE 5822.123
AT ITER 1058 NEW BEST:: SOT 90932 SOS 53123 HAS SOPS 28663 HAS SOUS 13553 HAS SOUPS 5767 WITH SCORE 5820.123
AT ITER 1059 NEW BEST:: SOT 90891 SOS 53371 HAS SOPS 28621 HAS SOUS 13545 HAS SOUPS 5740 WITH SCORE 5793.371
AT ITER 1067 NEW BEST:: SOT 90885 SOS 53365 HAS SOPS 28609 HAS SOUS 13533 HAS SOUPS 5728 WITH SCORE 5781.365
AT ITER 1079 NEW BEST:: SOT 90881 SOS 53358 HAS SOPS 28607 HAS SOUS 13529 HAS SOUPS 5725 WITH SCORE 5778.358
AT ITER 1087 NEW BEST:: SOT 90701 SOS 52874 HAS SOPS 28491 HAS SOUS 13527 HAS SOUPS 5723 WITH SCORE 5775.874
AT ITER 1089 NEW BEST:: SOT 90689 SOS 52843 HAS SOPS 28471 HAS SOUS 13524 HAS SOUPS 5721 WITH SCORE 5773.843
AT ITER 1095 NEW BEST:: SOT 90689 SOS 52843 HAS SOPS 28471 HAS SOUS 13521 HAS SOUPS 5718 WITH SCORE 5770.843
AT ITER 1101 NEW BEST:: SOT 90833 SOS 53023 HAS SOPS 28471 HAS SOUS 13449 HAS SOUPS 5646 WITH SCORE 5699.023
AT ITER 1109 NEW BEST:: SOT 90831 SOS 53016 HAS SOPS 28459 HAS SOUS 13441 HAS SOUPS 5641 WITH SCORE 5694.016
AT ITER 1110 NEW BEST:: SOT 90836 SOS 53021 HAS SOPS 28439 HAS SOUS 13451 HAS SOUPS 5631 WITH SCORE 5684.021
AT ITER 1123 NEW BEST:: SOT 90760 SOS 52971 HAS SOPS 28389 HAS SOUS 13430 HAS SOUPS 5610 WITH SCORE 5662.971
AT ITER 1137 NEW BEST:: SOT 90726 SOS 52879 HAS SOPS 28321 HAS SOUS 13424 HAS SOUPS 5604 WITH SCORE 5656.879
AT ITER 1145 NEW BEST:: SOT 90726 SOS 52863 HAS SOPS 28323 HAS SOUS 13415 HAS SOUPS 5604 WITH SCORE 5656.863
AT ITER 1153 NEW BEST:: SOT 90638 SOS 52687 HAS SOPS 28279 HAS SOUS 13367 HAS SOUPS 5578 WITH SCORE 5630.687
AT ITER 1162 NEW BEST:: SOT 90729 SOS 52645 HAS SOPS 28176 HAS SOUS 13375 HAS SOUPS 5569 WITH SCORE 5621.645
AT ITER 1171 NEW BEST:: SOT 90582 SOS 52454 HAS SOPS 28102 HAS SOUS 13268 HAS SOUPS 5556 WITH SCORE 5608.454
AT ITER 1197 NEW BEST:: SOT 90546 SOS 52406 HAS SOPS 28078 HAS SOUS 13267 HAS SOUPS 5555 WITH SCORE 5607.406
AT ITER 1214 NEW BEST:: SOT 90552 SOS 52404 HAS SOPS 28086 HAS SOUS 13265 HAS SOUPS 5555 WITH SCORE 5607.404
AT ITER 1224 NEW BEST:: SOT 90293 SOS 52086 HAS SOPS 27928 HAS SOUS 13194 HAS SOUPS 5504 WITH SCORE 5556.086
AT ITER 1250 NEW BEST:: SOT 90278 SOS 52041 HAS SOPS 27868 HAS SOUS 13154 HAS SOUPS 5479 WITH SCORE 5531.041
AT ITER 1273 NEW BEST:: SOT 90360 SOS 52121 HAS SOPS 27872 HAS SOUS 13194 HAS SOUPS 5467 WITH SCORE 5519.121
AT ITER 1313 NEW BEST:: SOT 90366 SOS 52089 HAS SOPS 27796 HAS SOUS 13210 HAS SOUPS 5461 WITH SCORE 5513.089
AT ITER 1320 NEW BEST:: SOT 90168 SOS 51933 HAS SOPS 27730 HAS SOUS 13123 HAS SOUPS 5404 WITH SCORE 5455.933
AT ITER 1325 NEW BEST:: SOT 89878 SOS 51661 HAS SOPS 27502 HAS SOUS 13139 HAS SOUPS 5388 WITH SCORE 5439.661
AT ITER 1327 NEW BEST:: SOT 89745 SOS 51515 HAS SOPS 27470 HAS SOUS 13035 HAS SOUPS 5380 WITH SCORE 5431.515
AT ITER 1336 NEW BEST:: SOT 89592 SOS 51283 HAS SOPS 27238 HAS SOUS 12951 HAS SOUPS 5333 WITH SCORE 5384.283
AT ITER 1346 NEW BEST:: SOT 89523 SOS 51285 HAS SOPS 27286 HAS SOUS 12932 HAS SOUPS 5327 WITH SCORE 5378.285
AT ITER 1352 NEW BEST:: SOT 89582 SOS 51432 HAS SOPS 27301 HAS SOUS 12932 HAS SOUPS 5305 WITH SCORE 5356.432
AT ITER 1390 NEW BEST:: SOT 89197 SOS 50320 HAS SOPS 26531 HAS SOUS 12925 HAS SOUPS 5298 WITH SCORE 5348.32
AT ITER 1403 NEW BEST:: SOT 89211 SOS 50280 HAS SOPS 26477 HAS SOUS 12921 HAS SOUPS 5288 WITH SCORE 5338.28
AT ITER 1414 NEW BEST:: SOT 89239 SOS 50316 HAS SOPS 26485 HAS SOUS 12915 HAS SOUPS 5282 WITH SCORE 5332.316
AT ITER 1417 NEW BEST:: SOT 89219 SOS 50286 HAS SOPS 26455 HAS SOUS 12910 HAS SOUPS 5277 WITH SCORE 5327.286
AT ITER 1420 NEW BEST:: SOT 89201 SOS 50250 HAS SOPS 26419 HAS SOUS 12916 HAS SOUPS 5271 WITH SCORE 5321.25
AT ITER 1428 NEW BEST:: SOT 89192 SOS 50243 HAS SOPS 26412 HAS SOUS 12917 HAS SOUPS 5271 WITH SCORE 5321.243
AT ITER 1475 NEW BEST:: SOT 89182 SOS 50221 HAS SOPS 26412 HAS SOUS 12912 HAS SOUPS 5271 WITH SCORE 5321.221
AT ITER 1481 NEW BEST:: SOT 89397 SOS 50341 HAS SOPS 26536 HAS SOUS 12859 HAS SOUPS 5234 WITH SCORE 5284.341
AT ITER 1486 NEW BEST:: SOT 89402 SOS 50336 HAS SOPS 26506 HAS SOUS 12869 HAS SOUPS 5234 WITH SCORE 5284.336
AT ITER 1494 NEW BEST:: SOT 89374 SOS 50159 HAS SOPS 26360 HAS SOUS 12847 HAS SOUPS 5205 WITH SCORE 5255.159
AT ITER 1512 NEW BEST:: SOT 89307 SOS 50105 HAS SOPS 26322 HAS SOUS 12844 HAS SOUPS 5202 WITH SCORE 5252.105
AT ITER 1520 NEW BEST:: SOT 89286 SOS 50084 HAS SOPS 26322 HAS SOUS 12844 HAS SOUPS 5202 WITH SCORE 5252.084
AT ITER 1521 NEW BEST:: SOT 89279 SOS 50070 HAS SOPS 26312 HAS SOUS 12844 HAS SOUPS 5202 WITH SCORE 5252.07
AT ITER 1528 NEW BEST:: SOT 89344 SOS 50143 HAS SOPS 26312 HAS SOUS 12876 HAS SOUPS 5180 WITH SCORE 5230.143
AT ITER 1531 NEW BEST:: SOT 89337 SOS 50145 HAS SOPS 26316 HAS SOUS 12874 HAS SOUPS 5179 WITH SCORE 5229.145
AT ITER 1536 NEW BEST:: SOT 89391 SOS 50163 HAS SOPS 26376 HAS SOUS 12824 HAS SOUPS 5159 WITH SCORE 5209.163
AT ITER 1540 NEW BEST:: SOT 89523 SOS 50334 HAS SOPS 26392 HAS SOUS 12815 HAS SOUPS 5140 WITH SCORE 5190.334
AT ITER 1569 NEW BEST:: SOT 89409 SOS 50258 HAS SOPS 26316 HAS SOUS 12834 HAS SOUPS 5140 WITH SCORE 5190.258
AT ITER 1577 NEW BEST:: SOT 89378 SOS 50226 HAS SOPS 26316 HAS SOUS 12833 HAS SOUPS 5140 WITH SCORE 5190.226
AT ITER 1586 NEW BEST:: SOT 89381 SOS 50223 HAS SOPS 26313 HAS SOUS 12830 HAS SOUPS 5137 WITH SCORE 5187.223
AT ITER 1601 NEW BEST:: SOT 89395 SOS 50241 HAS SOPS 26281 HAS SOUS 12863 HAS SOUPS 5130 WITH SCORE 5180.241
AT ITER 1610 NEW BEST:: SOT 89391 SOS 50239 HAS SOPS 26281 HAS SOUS 12863 HAS SOUPS 5130 WITH SCORE 5180.239
AT ITER 1614 NEW BEST:: SOT 89386 SOS 50248 HAS SOPS 26278 HAS SOUS 12861 HAS SOUPS 5127 WITH SCORE 5177.248
AT ITER 1623 NEW BEST:: SOT 89135 SOS 49975 HAS SOPS 26185 HAS SOUS 12597 HAS SOUPS 4983 WITH SCORE 5032.975
AT ITER 1624 NEW BEST:: SOT 89130 SOS 49965 HAS SOPS 26185 HAS SOUS 12549 HAS SOUPS 4983 WITH SCORE 5032.965
AT ITER 1655 NEW BEST:: SOT 89096 SOS 49945 HAS SOPS 26165 HAS SOUS 12551 HAS SOUPS 4979 WITH SCORE 5028.945
AT ITER 1668 NEW BEST:: SOT 89147 SOS 49928 HAS SOPS 26233 HAS SOUS 12534 HAS SOUPS 4979 WITH SCORE 5028.928
AT ITER 1672 NEW BEST:: SOT 89252 SOS 50075 HAS SOPS 26275 HAS SOUS 12606 HAS SOUPS 4964 WITH SCORE 5014.075
AT ITER 1678 NEW BEST:: SOT 88929 SOS 49429 HAS SOPS 26275 HAS SOUS 12091 HAS SOUPS 4964 WITH SCORE 5013.429
AT ITER 1698 NEW BEST:: SOT 88628 SOS 49128 HAS SOPS 26057 HAS SOUS 12061 HAS SOUPS 4934 WITH SCORE 4983.128
AT ITER 1704 NEW BEST:: SOT 88599 SOS 49064 HAS SOPS 26044 HAS SOUS 12043 HAS SOUPS 4924 WITH SCORE 4973.064
AT ITER 1705 NEW BEST:: SOT 88599 SOS 49065 HAS SOPS 26044 HAS SOUS 12042 HAS SOUPS 4923 WITH SCORE 4972.065
AT ITER 1713 NEW BEST:: SOT 88595 SOS 49061 HAS SOPS 26000 HAS SOUS 12038 HAS SOUPS 4901 WITH SCORE 4950.061
AT ITER 1715 NEW BEST:: SOT 88492 SOS 48855 HAS SOPS 26000 HAS SOUS 12031 HAS SOUPS 4901 WITH SCORE 4949.855
AT ITER 1730 NEW BEST:: SOT 88489 SOS 48850 HAS SOPS 26000 HAS SOUS 12030 HAS SOUPS 4900 WITH SCORE 4948.85
AT ITER 1743 NEW BEST:: SOT 88389 SOS 48750 HAS SOPS 25920 HAS SOUS 12010 HAS SOUPS 4880 WITH SCORE 4928.75
AT ITER 1748 NEW BEST:: SOT 88375 SOS 48764 HAS SOPS 25892 HAS SOUS 11996 HAS SOUPS 4866 WITH SCORE 4914.764
AT ITER 1752 NEW BEST:: SOT 88350 SOS 48752 HAS SOPS 25852 HAS SOUS 11990 HAS SOUPS 4850 WITH SCORE 4898.752
AT ITER 1760 NEW BEST:: SOT 88553 SOS 48891 HAS SOPS 25999 HAS SOUS 11951 HAS SOUPS 4845 WITH SCORE 4893.891
AT ITER 1783 NEW BEST:: SOT 88553 SOS 48891 HAS SOPS 25999 HAS SOUS 11949 HAS SOUPS 4843 WITH SCORE 4891.891
AT ITER 1790 NEW BEST:: SOT 88397 SOS 48709 HAS SOPS 25895 HAS SOUS 11936 HAS SOUPS 4830 WITH SCORE 4878.709
AT ITER 1791 NEW BEST:: SOT 88398 SOS 48724 HAS SOPS 25895 HAS SOUS 11934 HAS SOUPS 4828 WITH SCORE 4876.724
AT ITER 1792 NEW BEST:: SOT 88253 SOS 47862 HAS SOPS 25327 HAS SOUS 11737 HAS SOUPS 4758 WITH SCORE 4805.862
AT ITER 1809 NEW BEST:: SOT 88067 SOS 47652 HAS SOPS 25239 HAS SOUS 11728 HAS SOUPS 4750 WITH SCORE 4797.652
AT ITER 1847 NEW BEST:: SOT 88110 SOS 47573 HAS SOPS 25160 HAS SOUS 11705 HAS SOUPS 4727 WITH SCORE 4774.573
AT ITER 1876 NEW BEST:: SOT 88105 SOS 47556 HAS SOPS 25151 HAS SOUS 11697 HAS SOUPS 4723 WITH SCORE 4770.556
AT ITER 1900 NEW BEST:: SOT 88103 SOS 47546 HAS SOPS 25157 HAS SOUS 11687 HAS SOUPS 4721 WITH SCORE 4768.546
AT ITER 1920 NEW BEST:: SOT 87868 SOS 47454 HAS SOPS 24933 HAS SOUS 11717 HAS SOUPS 4721 WITH SCORE 4768.454
AT ITER 1928 NEW BEST:: SOT 87663 SOS 47146 HAS SOPS 24863 HAS SOUS 11678 HAS SOUPS 4716 WITH SCORE 4763.146
AT ITER 1938 NEW BEST:: SOT 88104 SOS 47479 HAS SOPS 25196 HAS SOUS 11623 HAS SOUPS 4712 WITH SCORE 4759.479
AT ITER 1944 NEW BEST:: SOT 87967 SOS 47483 HAS SOPS 25290 HAS SOUS 11593 HAS SOUPS 4711 WITH SCORE 4758.483
AT ITER 1948 NEW BEST:: SOT 87934 SOS 47399 HAS SOPS 25218 HAS SOUS 11569 HAS SOUPS 4684 WITH SCORE 4731.399
AT ITER 1965 NEW BEST:: SOT 87921 SOS 47373 HAS SOPS 25218 HAS SOUS 11556 HAS SOUPS 4684 WITH SCORE 4731.373
AT ITER 1974 NEW BEST:: SOT 87982 SOS 47545 HAS SOPS 25294 HAS SOUS 11576 HAS SOUPS 4680 WITH SCORE 4727.545
AT ITER 1996 NEW BEST:: SOT 87970 SOS 47541 HAS SOPS 25290 HAS SOUS 11574 HAS SOUPS 4678 WITH SCORE 4725.541
AT ITER 1998 NEW BEST:: SOT 88073 SOS 47477 HAS SOPS 25026 HAS SOUS 11626 HAS SOUPS 4653 WITH SCORE 4700.477
AT ITER 1999 NEW BEST:: SOT 88053 SOS 47445 HAS SOPS 25012 HAS SOUS 11603 HAS SOUPS 4644 WITH SCORE 4691.445
AT ITER 2020 NEW BEST:: SOT 87682 SOS 47208 HAS SOPS 24669 HAS SOUS 11833 HAS SOUPS 4610 WITH SCORE 4657.208
AT ITER 2029 NEW BEST:: SOT 87646 SOS 47199 HAS SOPS 24633 HAS SOUS 11835 HAS SOUPS 4610 WITH SCORE 4657.199
AT ITER 2030 NEW BEST:: SOT 87641 SOS 47157 HAS SOPS 24591 HAS SOUS 11832 HAS SOUPS 4607 WITH SCORE 4654.157
AT ITER 2043 NEW BEST:: SOT 87710 SOS 47051 HAS SOPS 24329 HAS SOUS 11825 HAS SOUPS 4577 WITH SCORE 4624.051
AT ITER 2065 NEW BEST:: SOT 87656 SOS 47001 HAS SOPS 24283 HAS SOUS 11820 HAS SOUPS 4571 WITH SCORE 4618.001
AT ITER 2066 NEW BEST:: SOT 87455 SOS 46701 HAS SOPS 24175 HAS SOUS 11743 HAS SOUPS 4526 WITH SCORE 4572.701
AT ITER 2077 NEW BEST:: SOT 87413 SOS 46607 HAS SOPS 24154 HAS SOUS 11734 HAS SOUPS 4526 WITH SCORE 4572.607
AT ITER 2101 NEW BEST:: SOT 87369 SOS 46555 HAS SOPS 24122 HAS SOUS 11702 HAS SOUPS 4510 WITH SCORE 4556.555
AT ITER 2118 NEW BEST:: SOT 87410 SOS 46610 HAS SOPS 24122 HAS SOUS 11738 HAS SOUPS 4505 WITH SCORE 4551.61
AT ITER 2136 NEW BEST:: SOT 87312 SOS 46489 HAS SOPS 24064 HAS SOUS 11708 HAS SOUPS 4472 WITH SCORE 4518.489
AT ITER 2158 NEW BEST:: SOT 87329 SOS 46499 HAS SOPS 24048 HAS SOUS 11677 HAS SOUPS 4448 WITH SCORE 4494.499
AT ITER 2159 NEW BEST:: SOT 87292 SOS 46469 HAS SOPS 24017 HAS SOUS 11677 HAS SOUPS 4444 WITH SCORE 4490.469
AT ITER 2175 NEW BEST:: SOT 87309 SOS 46433 HAS SOPS 23971 HAS SOUS 11679 HAS SOUPS 4441 WITH SCORE 4487.433
AT ITER 2186 NEW BEST:: SOT 87303 SOS 46416 HAS SOPS 23955 HAS SOUS 11669 HAS SOUPS 4434 WITH SCORE 4480.416
AT ITER 2190 NEW BEST:: SOT 87301 SOS 46412 HAS SOPS 23947 HAS SOUS 11663 HAS SOUPS 4428 WITH SCORE 4474.412
AT ITER 2277 NEW BEST:: SOT 87412 SOS 46375 HAS SOPS 24095 HAS SOUS 11478 HAS SOUPS 4428 WITH SCORE 4474.375
AT ITER 2326 NEW BEST:: SOT 87329 SOS 46145 HAS SOPS 23759 HAS SOUS 11494 HAS SOUPS 4404 WITH SCORE 4450.145
AT ITER 2338 NEW BEST:: SOT 87343 SOS 46203 HAS SOPS 23787 HAS SOUS 11523 HAS SOUPS 4403 WITH SCORE 4449.203
AT ITER 2349 NEW BEST:: SOT 87277 SOS 46131 HAS SOPS 23751 HAS SOUS 11505 HAS SOUPS 4393 WITH SCORE 4439.131
AT ITER 2358 NEW BEST:: SOT 87361 SOS 46189 HAS SOPS 23679 HAS SOUS 11526 HAS SOUPS 4390 WITH SCORE 4436.189
AT ITER 2385 NEW BEST:: SOT 87363 SOS 46193 HAS SOPS 23657 HAS SOUS 11528 HAS SOUPS 4379 WITH SCORE 4425.193
AT ITER 2405 NEW BEST:: SOT 87280 SOS 46110 HAS SOPS 23616 HAS SOUS 11522 HAS SOUPS 4373 WITH SCORE 4419.11
AT ITER 2409 NEW BEST:: SOT 87279 SOS 46108 HAS SOPS 23614 HAS SOUS 11520 HAS SOUPS 4371 WITH SCORE 4417.108
AT ITER 2424 NEW BEST:: SOT 87346 SOS 46203 HAS SOPS 23618 HAS SOUS 11524 HAS SOUPS 4362 WITH SCORE 4408.203
AT ITER 2443 NEW BEST:: SOT 87412 SOS 46245 HAS SOPS 23660 HAS SOUS 11508 HAS SOUPS 4355 WITH SCORE 4401.245
AT ITER 2446 NEW BEST:: SOT 87412 SOS 46229 HAS SOPS 23660 HAS SOUS 11499 HAS SOUPS 4354 WITH SCORE 4400.229
AT ITER 2456 NEW BEST:: SOT 87407 SOS 46193 HAS SOPS 23624 HAS SOUS 11499 HAS SOUPS 4354 WITH SCORE 4400.193
AT ITER 2461 NEW BEST:: SOT 87410 SOS 46181 HAS SOPS 23630 HAS SOUS 11493 HAS SOUPS 4354 WITH SCORE 4400.181
AT ITER 2532 NEW BEST:: SOT 86549 SOS 45130 HAS SOPS 22959 HAS SOUS 11214 HAS SOUPS 4237 WITH SCORE 4282.13
AT ITER 2566 NEW BEST:: SOT 86421 SOS 45034 HAS SOPS 22895 HAS SOUS 11214 HAS SOUPS 4237 WITH SCORE 4282.034
AT ITER 2567 NEW BEST:: SOT 86419 SOS 45030 HAS SOPS 22891 HAS SOUS 11213 HAS SOUPS 4236 WITH SCORE 4281.03
AT ITER 2588 NEW BEST:: SOT 86259 SOS 44808 HAS SOPS 22767 HAS SOUS 11147 HAS SOUPS 4219 WITH SCORE 4263.808
AT ITER 2609 NEW BEST:: SOT 86267 SOS 44800 HAS SOPS 22783 HAS SOUS 11139 HAS SOUPS 4219 WITH SCORE 4263.8
AT ITER 2623 NEW BEST:: SOT 86520 SOS 44972 HAS SOPS 22973 HAS SOUS 11122 HAS SOUPS 4217 WITH SCORE 4261.972
AT ITER 2688 NEW BEST:: SOT 86600 SOS 44980 HAS SOPS 22981 HAS SOUS 11097 HAS SOUPS 4207 WITH SCORE 4251.98
AT ITER 2694 NEW BEST:: SOT 86703 SOS 45284 HAS SOPS 23052 HAS SOUS 11059 HAS SOUPS 4174 WITH SCORE 4219.284
AT ITER 2696 NEW BEST:: SOT 86692 SOS 45262 HAS SOPS 23030 HAS SOUS 11050 HAS SOUPS 4165 WITH SCORE 4210.262
AT ITER 2700 NEW BEST:: SOT 86571 SOS 45234 HAS SOPS 22788 HAS SOUS 10976 HAS SOUPS 4045 WITH SCORE 4090.234
AT ITER 2711 NEW BEST:: SOT 86582 SOS 45223 HAS SOPS 22788 HAS SOUS 10954 HAS SOUPS 4023 WITH SCORE 4068.223
AT ITER 2733 NEW BEST:: SOT 86875 SOS 45813 HAS SOPS 22784 HAS SOUS 11277 HAS SOUPS 4019 WITH SCORE 4064.813
AT ITER 2741 NEW BEST:: SOT 86876 SOS 45814 HAS SOPS 22780 HAS SOUS 11275 HAS SOUPS 4017 WITH SCORE 4062.814
AT ITER 2779 NEW BEST:: SOT 86876 SOS 45814 HAS SOPS 22780 HAS SOUS 11266 HAS SOUPS 4012 WITH SCORE 4057.814
AT ITER 2780 NEW BEST:: SOT 86872 SOS 45806 HAS SOPS 22764 HAS SOUS 11250 HAS SOUPS 3996 WITH SCORE 4041.806
AT ITER 2785 NEW BEST:: SOT 86840 SOS 45766 HAS SOPS 22700 HAS SOUS 11218 HAS SOUPS 3964 WITH SCORE 4009.766
AT ITER 2788 NEW BEST:: SOT 86807 SOS 45733 HAS SOPS 22656 HAS SOUS 11196 HAS SOUPS 3942 WITH SCORE 3987.733
AT ITER 2803 NEW BEST:: SOT 86805 SOS 45678 HAS SOPS 22601 HAS SOUS 11194 HAS SOUPS 3940 WITH SCORE 3985.678
AT ITER 2812 NEW BEST:: SOT 86857 SOS 45678 HAS SOPS 22601 HAS SOUS 11155 HAS SOUPS 3914 WITH SCORE 3959.678
AT ITER 2815 NEW BEST:: SOT 86325 SOS 44968 HAS SOPS 22301 HAS SOUS 10651 HAS SOUPS 3840 WITH SCORE 3884.968
AT ITER 2824 NEW BEST:: SOT 86304 SOS 44906 HAS SOPS 22301 HAS SOUS 10621 HAS SOUPS 3834 WITH SCORE 3878.906
AT ITER 2826 NEW BEST:: SOT 86309 SOS 44913 HAS SOPS 22301 HAS SOUS 10621 HAS SOUPS 3833 WITH SCORE 3877.913
AT ITER 2833 NEW BEST:: SOT 86251 SOS 44863 HAS SOPS 22271 HAS SOUS 10618 HAS SOUPS 3828 WITH SCORE 3872.863
AT ITER 2863 NEW BEST:: SOT 86208 SOS 44777 HAS SOPS 22271 HAS SOUS 10527 HAS SOUPS 3807 WITH SCORE 3851.777
AT ITER 2930 NEW BEST:: SOT 86344 SOS 44879 HAS SOPS 22373 HAS SOUS 10493 HAS SOUPS 3790 WITH SCORE 3834.879
AT ITER 2931 NEW BEST:: SOT 86316 SOS 44823 HAS SOPS 22359 HAS SOUS 10468 HAS SOUPS 3776 WITH SCORE 3820.823
AT ITER 2941 NEW BEST:: SOT 86296 SOS 44803 HAS SOPS 22273 HAS SOUS 10470 HAS SOUPS 3767 WITH SCORE 3811.803
AT ITER 2957 NEW BEST:: SOT 86305 SOS 44779 HAS SOPS 22243 HAS SOUS 10458 HAS SOUPS 3756 WITH SCORE 3800.779
AT ITER 2984 NEW BEST:: SOT 86287 SOS 44743 HAS SOPS 22207 HAS SOUS 10450 HAS SOUPS 3748 WITH SCORE 3792.743
AT ITER 3007 NEW BEST:: SOT 86294 SOS 44757 HAS SOPS 22167 HAS SOUS 10403 HAS SOUPS 3701 WITH SCORE 3745.757
AT ITER 3009 NEW BEST:: SOT 86255 SOS 44701 HAS SOPS 22123 HAS SOUS 10396 HAS SOUPS 3700 WITH SCORE 3744.701
AT ITER 3020 NEW BEST:: SOT 86027 SOS 44245 HAS SOPS 22123 HAS SOUS 10300 HAS SOUPS 3700 WITH SCORE 3744.245
AT ITER 3033 NEW BEST:: SOT 86309 SOS 44451 HAS SOPS 22333 HAS SOUS 10242 HAS SOUPS 3687 WITH SCORE 3731.451
AT ITER 3046 NEW BEST:: SOT 86293 SOS 44428 HAS SOPS 22325 HAS SOUS 10236 HAS SOUPS 3684 WITH SCORE 3728.428
AT ITER 3049 NEW BEST:: SOT 86334 SOS 44460 HAS SOPS 22347 HAS SOUS 10233 HAS SOUPS 3681 WITH SCORE 3725.46
AT ITER 3061 NEW BEST:: SOT 86306 SOS 44416 HAS SOPS 22307 HAS SOUS 10215 HAS SOUPS 3663 WITH SCORE 3707.416
AT ITER 3119 NEW BEST:: SOT 86270 SOS 44374 HAS SOPS 22283 HAS SOUS 10203 HAS SOUPS 3651 WITH SCORE 3695.374
AT ITER 3152 NEW BEST:: SOT 86225 SOS 44334 HAS SOPS 22243 HAS SOUS 10166 HAS SOUPS 3626 WITH SCORE 3670.334
AT ITER 3235 NEW BEST:: SOT 86233 SOS 44222 HAS SOPS 22259 HAS SOUS 10158 HAS SOUPS 3626 WITH SCORE 3670.222
AT ITER 3252 NEW BEST:: SOT 86220 SOS 44196 HAS SOPS 22259 HAS SOUS 10257 HAS SOUPS 3626 WITH SCORE 3670.196
AT ITER 3261 NEW BEST:: SOT 86211 SOS 44184 HAS SOPS 22247 HAS SOUS 10257 HAS SOUPS 3626 WITH SCORE 3670.184
AT ITER 3317 NEW BEST:: SOT 86221 SOS 44192 HAS SOPS 22267 HAS SOUS 10255 HAS SOUPS 3624 WITH SCORE 3668.192
AT ITER 3355 NEW BEST:: SOT 86197 SOS 44176 HAS SOPS 22251 HAS SOUS 10259 HAS SOUPS 3624 WITH SCORE 3668.176
AT ITER 3403 NEW BEST:: SOT 86058 SOS 43898 HAS SOPS 22251 HAS SOUS 10085 HAS SOUPS 3624 WITH SCORE 3667.898
AT ITER 3421 NEW BEST:: SOT 86213 SOS 44036 HAS SOPS 22329 HAS SOUS 10079 HAS SOUPS 3613 WITH SCORE 3657.036
AT ITER 3430 NEW BEST:: SOT 86208 SOS 43958 HAS SOPS 22290 HAS SOUS 10074 HAS SOUPS 3608 WITH SCORE 3651.958
AT ITER 3455 NEW BEST:: SOT 85782 SOS 43533 HAS SOPS 22046 HAS SOUS 10074 HAS SOUPS 3608 WITH SCORE 3651.533
AT ITER 3513 NEW BEST:: SOT 85937 SOS 43741 HAS SOPS 22084 HAS SOUS 10233 HAS SOUPS 3607 WITH SCORE 3650.741
AT ITER 3538 NEW BEST:: SOT 85937 SOS 43438 HAS SOPS 21829 HAS SOUS 10230 HAS SOUPS 3607 WITH SCORE 3650.438
AT ITER 3545 NEW BEST:: SOT 85889 SOS 43342 HAS SOPS 21805 HAS SOUS 10214 HAS SOUPS 3603 WITH SCORE 3646.342
AT ITER 3553 NEW BEST:: SOT 85663 SOS 43106 HAS SOPS 21657 HAS SOUS 10186 HAS SOUPS 3582 WITH SCORE 3625.106
AT ITER 3572 NEW BEST:: SOT 85657 SOS 43096 HAS SOPS 21649 HAS SOUS 10181 HAS SOUPS 3578 WITH SCORE 3621.096
AT ITER 3596 NEW BEST:: SOT 85657 SOS 43106 HAS SOPS 21629 HAS SOUS 10181 HAS SOUPS 3568 WITH SCORE 3611.106
AT ITER 3605 NEW BEST:: SOT 85612 SOS 43076 HAS SOPS 21599 HAS SOUS 10187 HAS SOUPS 3568 WITH SCORE 3611.076
AT ITER 3636 NEW BEST:: SOT 85593 SOS 43131 HAS SOPS 21561 HAS SOUS 10189 HAS SOUPS 3563 WITH SCORE 3606.131
AT ITER 3652 NEW BEST:: SOT 85525 SOS 42995 HAS SOPS 21561 HAS SOUS 10172 HAS SOUPS 3563 WITH SCORE 3605.995
AT ITER 3683 NEW BEST:: SOT 85489 SOS 42911 HAS SOPS 21537 HAS SOUS 10160 HAS SOUPS 3563 WITH SCORE 3605.911
AT ITER 3708 NEW BEST:: SOT 85392 SOS 42772 HAS SOPS 21440 HAS SOUS 10133 HAS SOUPS 3536 WITH SCORE 3578.772
AT ITER 3709 NEW BEST:: SOT 85353 SOS 42694 HAS SOPS 21382 HAS SOUS 10071 HAS SOUPS 3485 WITH SCORE 3527.694
AT ITER 3736 NEW BEST:: SOT 85361 SOS 42704 HAS SOPS 21382 HAS SOUS 10067 HAS SOUPS 3481 WITH SCORE 3523.704
AT ITER 3739 NEW BEST:: SOT 85638 SOS 43114 HAS SOPS 21456 HAS SOUS 10096 HAS SOUPS 3462 WITH SCORE 3505.114
AT ITER 3749 NEW BEST:: SOT 85603 SOS 43094 HAS SOPS 21436 HAS SOUS 10096 HAS SOUPS 3462 WITH SCORE 3505.094
AT ITER 3776 NEW BEST:: SOT 85589 SOS 43076 HAS SOPS 21426 HAS SOUS 10091 HAS SOUPS 3458 WITH SCORE 3501.076
AT ITER 3794 NEW BEST:: SOT 85711 SOS 43320 HAS SOPS 21426 HAS SOUS 10257 HAS SOUPS 3456 WITH SCORE 3499.32
AT ITER 3820 NEW BEST:: SOT 85637 SOS 43172 HAS SOPS 21426 HAS SOUS 10245 HAS SOUPS 3456 WITH SCORE 3499.172
AT ITER 3842 NEW BEST:: SOT 85627 SOS 43152 HAS SOPS 21406 HAS SOUS 10238 HAS SOUPS 3449 WITH SCORE 3492.152
AT ITER 3916 NEW BEST:: SOT 85621 SOS 43124 HAS SOPS 21379 HAS SOUS 10240 HAS SOUPS 3447 WITH SCORE 3490.124
AT ITER 3918 NEW BEST:: SOT 85589 SOS 43124 HAS SOPS 21395 HAS SOUS 10232 HAS SOUPS 3443 WITH SCORE 3486.124
AT ITER 3932 NEW BEST:: SOT 85573 SOS 43112 HAS SOPS 21383 HAS SOUS 10232 HAS SOUPS 3441 WITH SCORE 3484.112
AT ITER 3951 NEW BEST:: SOT 85549 SOS 43084 HAS SOPS 21371 HAS SOUS 10230 HAS SOUPS 3441 WITH SCORE 3484.084
AT ITER 3968 NEW BEST:: SOT 85286 SOS 43212 HAS SOPS 21008 HAS SOUS 10260 HAS SOUPS 3416 WITH SCORE 3459.212
AT ITER 3984 NEW BEST:: SOT 85220 SOS 43167 HAS SOPS 20934 HAS SOUS 10238 HAS SOUPS 3394 WITH SCORE 3437.167
AT ITER 3989 NEW BEST:: SOT 85186 SOS 43099 HAS SOPS 20866 HAS SOUS 10198 HAS SOUPS 3354 WITH SCORE 3397.099
AT ITER 3998 NEW BEST:: SOT 85158 SOS 43057 HAS SOPS 20824 HAS SOUS 10185 HAS SOUPS 3341 WITH SCORE 3384.057
AT ITER 4004 NEW BEST:: SOT 85161 SOS 43055 HAS SOPS 20826 HAS SOUS 10182 HAS SOUPS 3339 WITH SCORE 3382.055
AT ITER 4012 NEW BEST:: SOT 85140 SOS 43006 HAS SOPS 20817 HAS SOUS 10170 HAS SOUPS 3333 WITH SCORE 3376.006
AT ITER 4036 NEW BEST:: SOT 84996 SOS 42718 HAS SOPS 20817 HAS SOUS 10160 HAS SOUPS 3333 WITH SCORE 3375.718
AT ITER 4138 NEW BEST:: SOT 84596 SOS 42370 HAS SOPS 20565 HAS SOUS 10142 HAS SOUPS 3328 WITH SCORE 3370.37
AT ITER 4187 NEW BEST:: SOT 84580 SOS 42358 HAS SOPS 20553 HAS SOUS 10144 HAS SOUPS 3328 WITH SCORE 3370.358
AT ITER 4195 NEW BEST:: SOT 84572 SOS 42342 HAS SOPS 20549 HAS SOUS 10138 HAS SOUPS 3324 WITH SCORE 3366.342
AT ITER 4226 NEW BEST:: SOT 84571 SOS 42325 HAS SOPS 20530 HAS SOUS 10138 HAS SOUPS 3323 WITH SCORE 3365.325
AT ITER 4231 NEW BEST:: SOT 84564 SOS 42345 HAS SOPS 20536 HAS SOUS 10136 HAS SOUPS 3321 WITH SCORE 3363.345
AT ITER 4309 NEW BEST:: SOT 84531 SOS 42279 HAS SOPS 20536 HAS SOUS 10083 HAS SOUPS 3321 WITH SCORE 3363.279
AT ITER 4311 NEW BEST:: SOT 84505 SOS 42227 HAS SOPS 20536 HAS SOUS 10083 HAS SOUPS 3321 WITH SCORE 3363.227
AT ITER 4339 NEW BEST:: SOT 84405 SOS 42191 HAS SOPS 20430 HAS SOUS 10079 HAS SOUPS 3313 WITH SCORE 3355.191
AT ITER 4344 NEW BEST:: SOT 84500 SOS 42318 HAS SOPS 20450 HAS SOUS 10091 HAS SOUPS 3307 WITH SCORE 3349.318
AT ITER 4362 NEW BEST:: SOT 84500 SOS 42300 HAS SOPS 20428 HAS SOUS 10097 HAS SOUPS 3307 WITH SCORE 3349.3
AT ITER 4364 NEW BEST:: SOT 84331 SOS 41962 HAS SOPS 20428 HAS SOUS 9874 HAS SOUPS 3307 WITH SCORE 3348.962
AT ITER 4378 NEW BEST:: SOT 84332 SOS 41961 HAS SOPS 20428 HAS SOUS 9874 HAS SOUPS 3307 WITH SCORE 3348.961
AT ITER 4398 NEW BEST:: SOT 84308 SOS 41913 HAS SOPS 20408 HAS SOUS 9861 HAS SOUPS 3294 WITH SCORE 3335.913
AT ITER 4407 NEW BEST:: SOT 84304 SOS 41905 HAS SOPS 20400 HAS SOUS 9857 HAS SOUPS 3290 WITH SCORE 3331.905
AT ITER 4420 NEW BEST:: SOT 83992 SOS 41671 HAS SOPS 20244 HAS SOUS 9764 HAS SOUPS 3273 WITH SCORE 3314.671
AT ITER 4428 NEW BEST:: SOT 83991 SOS 41666 HAS SOPS 20244 HAS SOUS 9763 HAS SOUPS 3273 WITH SCORE 3314.666
AT ITER 4430 NEW BEST:: SOT 83991 SOS 41660 HAS SOPS 20244 HAS SOUS 9759 HAS SOUPS 3271 WITH SCORE 3312.66
AT ITER 4485 NEW BEST:: SOT 83949 SOS 41576 HAS SOPS 20244 HAS SOUS 9717 HAS SOUPS 3271 WITH SCORE 3312.576
AT ITER 4486 NEW BEST:: SOT 83949 SOS 41560 HAS SOPS 20228 HAS SOUS 9717 HAS SOUPS 3271 WITH SCORE 3312.56
AT ITER 4516 NEW BEST:: SOT 83882 SOS 41489 HAS SOPS 20160 HAS SOUS 9687 HAS SOUPS 3241 WITH SCORE 3282.489
AT ITER 4526 NEW BEST:: SOT 83791 SOS 41307 HAS SOPS 20160 HAS SOUS 9753 HAS SOUPS 3241 WITH SCORE 3282.307
AT ITER 4532 NEW BEST:: SOT 83699 SOS 41123 HAS SOPS 20160 HAS SOUS 9680 HAS SOUPS 3241 WITH SCORE 3282.123
AT ITER 4549 NEW BEST:: SOT 83699 SOS 41108 HAS SOPS 20160 HAS SOUS 9675 HAS SOUPS 3236 WITH SCORE 3277.108
AT ITER 4568 NEW BEST:: SOT 83668 SOS 41046 HAS SOPS 20160 HAS SOUS 9541 HAS SOUPS 3236 WITH SCORE 3277.046
AT ITER 4595 NEW BEST:: SOT 83667 SOS 41035 HAS SOPS 20146 HAS SOUS 9534 HAS SOUPS 3232 WITH SCORE 3273.035
AT ITER 4603 NEW BEST:: SOT 83708 SOS 41009 HAS SOPS 20066 HAS SOUS 9531 HAS SOUPS 3220 WITH SCORE 3261.009
AT ITER 4618 NEW BEST:: SOT 83735 SOS 41000 HAS SOPS 20102 HAS SOUS 9522 HAS SOUPS 3220 WITH SCORE 3261.0
AT ITER 4653 NEW BEST:: SOT 83746 SOS 40911 HAS SOPS 19992 HAS SOUS 9476 HAS SOUPS 3207 WITH SCORE 3247.911
AT ITER 4659 NEW BEST:: SOT 83746 SOS 40911 HAS SOPS 19992 HAS SOUS 9458 HAS SOUPS 3197 WITH SCORE 3237.911
AT ITER 4768 NEW BEST:: SOT 83741 SOS 40914 HAS SOPS 19994 HAS SOUS 9456 HAS SOUPS 3192 WITH SCORE 3232.914
AT ITER 4826 NEW BEST:: SOT 83702 SOS 40836 HAS SOPS 19994 HAS SOUS 9397 HAS SOUPS 3192 WITH SCORE 3232.836
AT ITER 4851 NEW BEST:: SOT 83681 SOS 40815 HAS SOPS 19982 HAS SOUS 9397 HAS SOUPS 3192 WITH SCORE 3232.815
AT ITER 4857 NEW BEST:: SOT 83666 SOS 40783 HAS SOPS 19975 HAS SOUS 9387 HAS SOUPS 3186 WITH SCORE 3226.783
AT ITER 4871 NEW BEST:: SOT 83641 SOS 40733 HAS SOPS 19975 HAS SOUS 9493 HAS SOUPS 3186 WITH SCORE 3226.733
AT ITER 4960 NEW BEST:: SOT 83628 SOS 40713 HAS SOPS 19949 HAS SOUS 9502 HAS SOUPS 3184 WITH SCORE 3224.713
AT ITER 4974 NEW BEST:: SOT 83664 SOS 40755 HAS SOPS 19967 HAS SOUS 9500 HAS SOUPS 3179 WITH SCORE 3219.755
AT ITER 4988 NEW BEST:: SOT 83650 SOS 40735 HAS SOPS 19953 HAS SOUS 9498 HAS SOUPS 3177 WITH SCORE 3217.735
AT ITER 5040 NEW BEST:: SOT 83654 SOS 40747 HAS SOPS 19953 HAS SOUS 9499 HAS SOUPS 3176 WITH SCORE 3216.747
AT ITER 5119 NEW BEST:: SOT 83636 SOS 40735 HAS SOPS 19941 HAS SOUS 9502 HAS SOUPS 3176 WITH SCORE 3216.735
AT ITER 5129 NEW BEST:: SOT 83903 SOS 40889 HAS SOPS 20093 HAS SOUS 9389 HAS SOUPS 3100 WITH SCORE 3140.889
AT ITER 5161 NEW BEST:: SOT 83887 SOS 40875 HAS SOPS 20073 HAS SOUS 9379 HAS SOUPS 3090 WITH SCORE 3130.875
AT ITER 5177 NEW BEST:: SOT 83886 SOS 40858 HAS SOPS 20071 HAS SOUS 9362 HAS SOUPS 3078 WITH SCORE 3118.858
AT ITER 5222 NEW BEST:: SOT 83757 SOS 40790 HAS SOPS 19995 HAS SOUS 9355 HAS SOUPS 3075 WITH SCORE 3115.79
AT ITER 5249 NEW BEST:: SOT 83740 SOS 40773 HAS SOPS 20001 HAS SOUS 9345 HAS SOUPS 3065 WITH SCORE 3105.773
AT ITER 5264 NEW BEST:: SOT 83740 SOS 40773 HAS SOPS 19987 HAS SOUS 9340 HAS SOUPS 3053 WITH SCORE 3093.773
AT ITER 5284 NEW BEST:: SOT 83700 SOS 40743 HAS SOPS 19967 HAS SOUS 9327 HAS SOUPS 3048 WITH SCORE 3088.743
AT ITER 5309 NEW BEST:: SOT 83847 SOS 41086 HAS SOPS 20065 HAS SOUS 9358 HAS SOUPS 3038 WITH SCORE 3079.086
AT ITER 5333 NEW BEST:: SOT 83850 SOS 41083 HAS SOPS 20065 HAS SOUS 9352 HAS SOUPS 3032 WITH SCORE 3073.083
AT ITER 5389 NEW BEST:: SOT 83694 SOS 40897 HAS SOPS 19875 HAS SOUS 9338 HAS SOUPS 3002 WITH SCORE 3042.897
AT ITER 5429 NEW BEST:: SOT 83718 SOS 40903 HAS SOPS 19851 HAS SOUS 9334 HAS SOUPS 2994 WITH SCORE 3034.903
AT ITER 5478 NEW BEST:: SOT 83715 SOS 40897 HAS SOPS 19845 HAS SOUS 9334 HAS SOUPS 2994 WITH SCORE 3034.897
AT ITER 5580 NEW BEST:: SOT 83751 SOS 41005 HAS SOPS 19869 HAS SOUS 9328 HAS SOUPS 2988 WITH SCORE 3029.005
AT ITER 5636 NEW BEST:: SOT 83688 SOS 40879 HAS SOPS 19869 HAS SOUS 9098 HAS SOUPS 2988 WITH SCORE 3028.879
AT ITER 5649 NEW BEST:: SOT 83684 SOS 40796 HAS SOPS 19800 HAS SOUS 9098 HAS SOUPS 2988 WITH SCORE 3028.796
AT ITER 5657 NEW BEST:: SOT 83902 SOS 40962 HAS SOPS 19953 HAS SOUS 9085 HAS SOUPS 2985 WITH SCORE 3025.962
AT ITER 5718 NEW BEST:: SOT 83902 SOS 40960 HAS SOPS 19945 HAS SOUS 9080 HAS SOUPS 2982 WITH SCORE 3022.96
AT ITER 5820 NEW BEST:: SOT 83901 SOS 40956 HAS SOPS 19945 HAS SOUS 9079 HAS SOUPS 2982 WITH SCORE 3022.956
AT ITER 5848 NEW BEST:: SOT 83901 SOS 40971 HAS SOPS 19946 HAS SOUS 9078 HAS SOUPS 2981 WITH SCORE 3021.971
AT ITER 5849 NEW BEST:: SOT 83796 SOS 41006 HAS SOPS 19806 HAS SOUS 9086 HAS SOUPS 2966 WITH SCORE 3007.006
AT ITER 5853 NEW BEST:: SOT 83795 SOS 41004 HAS SOPS 19806 HAS SOUS 9083 HAS SOUPS 2964 WITH SCORE 3005.004
AT ITER 5933 NEW BEST:: SOT 83794 SOS 40986 HAS SOPS 19788 HAS SOUS 9071 HAS SOUPS 2952 WITH SCORE 2992.986
AT ITER 5943 NEW BEST:: SOT 83798 SOS 40991 HAS SOPS 19788 HAS SOUS 9069 HAS SOUPS 2950 WITH SCORE 2990.991
AT ITER 5944 NEW BEST:: SOT 83851 SOS 41064 HAS SOPS 19794 HAS SOUS 9082 HAS SOUPS 2945 WITH SCORE 2986.064
AT ITER 6000 NEW BEST:: SOT 83852 SOS 41049 HAS SOPS 19783 HAS SOUS 9082 HAS SOUPS 2945 WITH SCORE 2986.049
AT ITER 6013 NEW BEST:: SOT 83868 SOS 41073 HAS SOPS 19799 HAS SOUS 9085 HAS SOUPS 2944 WITH SCORE 2985.073
AT ITER 6051 NEW BEST:: SOT 83584 SOS 40918 HAS SOPS 19563 HAS SOUS 9115 HAS SOUPS 2944 WITH SCORE 2984.918
AT ITER 6155 NEW BEST:: SOT 83572 SOS 40915 HAS SOPS 19553 HAS SOUS 9114 HAS SOUPS 2943 WITH SCORE 2983.915
AT ITER 6175 NEW BEST:: SOT 83564 SOS 40910 HAS SOPS 19547 HAS SOUS 9114 HAS SOUPS 2942 WITH SCORE 2982.91
AT ITER 6194 NEW BEST:: SOT 83564 SOS 40910 HAS SOPS 19547 HAS SOUS 9112 HAS SOUPS 2940 WITH SCORE 2980.91
AT ITER 6215 NEW BEST:: SOT 83532 SOS 40886 HAS SOPS 19531 HAS SOUS 9112 HAS SOUPS 2940 WITH SCORE 2980.886
AT ITER 6239 NEW BEST:: SOT 83535 SOS 40838 HAS SOPS 19531 HAS SOUS 9109 HAS SOUPS 2940 WITH SCORE 2980.838
AT ITER 6299 NEW BEST:: SOT 83539 SOS 40835 HAS SOPS 19529 HAS SOUS 9109 HAS SOUPS 2939 WITH SCORE 2979.835
AT ITER 6409 NEW BEST:: SOT 83538 SOS 40815 HAS SOPS 19509 HAS SOUS 9100 HAS SOUPS 2928 WITH SCORE 2968.815
AT ITER 6435 NEW BEST:: SOT 83434 SOS 40737 HAS SOPS 19457 HAS SOUS 9087 HAS SOUPS 2927 WITH SCORE 2967.737
AT ITER 6449 NEW BEST:: SOT 83423 SOS 40729 HAS SOPS 19455 HAS SOUS 9085 HAS SOUPS 2927 WITH SCORE 2967.729
AT ITER 6561 NEW BEST:: SOT 83423 SOS 40729 HAS SOPS 19455 HAS SOUS 9079 HAS SOUPS 2921 WITH SCORE 2961.729
AT ITER 6598 NEW BEST:: SOT 83448 SOS 40746 HAS SOPS 19472 HAS SOUS 9074 HAS SOUPS 2919 WITH SCORE 2959.746
AT ITER 6629 NEW BEST:: SOT 83440 SOS 40754 HAS SOPS 19480 HAS SOUS 9074 HAS SOUPS 2913 WITH SCORE 2953.754
AT ITER 6652 NEW BEST:: SOT 83392 SOS 40698 HAS SOPS 19456 HAS SOUS 9065 HAS SOUPS 2908 WITH SCORE 2948.698
AT ITER 6656 NEW BEST:: SOT 83370 SOS 40450 HAS SOPS 19168 HAS SOUS 9051 HAS SOUPS 2874 WITH SCORE 2914.45
AT ITER 6728 NEW BEST:: SOT 83371 SOS 40452 HAS SOPS 19170 HAS SOUS 9049 HAS SOUPS 2873 WITH SCORE 2913.452
AT ITER 6753 NEW BEST:: SOT 83371 SOS 40454 HAS SOPS 19170 HAS SOUS 9047 HAS SOUPS 2871 WITH SCORE 2911.454
AT ITER 6807 NEW BEST:: SOT 83365 SOS 40442 HAS SOPS 19158 HAS SOUS 9038 HAS SOUPS 2862 WITH SCORE 2902.442
AT ITER 6813 NEW BEST:: SOT 83355 SOS 40428 HAS SOPS 19158 HAS SOUS 9036 HAS SOUPS 2862 WITH SCORE 2902.428
AT ITER 6849 NEW BEST:: SOT 83345 SOS 40410 HAS SOPS 19150 HAS SOUS 9036 HAS SOUPS 2862 WITH SCORE 2902.41
AT ITER 6865 NEW BEST:: SOT 83348 SOS 40107 HAS SOPS 18895 HAS SOUS 9029 HAS SOUPS 2858 WITH SCORE 2898.107
AT ITER 6892 NEW BEST:: SOT 83323 SOS 40057 HAS SOPS 18895 HAS SOUS 9014 HAS SOUPS 2858 WITH SCORE 2898.057
AT ITER 7030 NEW BEST:: SOT 83278 SOS 39952 HAS SOPS 18865 HAS SOUS 8999 HAS SOUPS 2858 WITH SCORE 2897.952
AT ITER 7176 NEW BEST:: SOT 83286 SOS 39962 HAS SOPS 18865 HAS SOUS 8995 HAS SOUPS 2854 WITH SCORE 2893.962
AT ITER 7213 NEW BEST:: SOT 83242 SOS 39898 HAS SOPS 18825 HAS SOUS 8980 HAS SOUPS 2851 WITH SCORE 2890.898
AT ITER 7217 NEW BEST:: SOT 83192 SOS 39868 HAS SOPS 18795 HAS SOUS 8933 HAS SOUPS 2825 WITH SCORE 2864.868
AT ITER 7246 NEW BEST:: SOT 83174 SOS 39826 HAS SOPS 18783 HAS SOUS 8927 HAS SOUPS 2825 WITH SCORE 2864.826
AT ITER 7332 NEW BEST:: SOT 83136 SOS 39812 HAS SOPS 18767 HAS SOUS 8907 HAS SOUPS 2815 WITH SCORE 2854.812
AT ITER 7385 NEW BEST:: SOT 83166 SOS 39820 HAS SOPS 18755 HAS SOUS 8910 HAS SOUPS 2810 WITH SCORE 2849.82
AT ITER 7403 NEW BEST:: SOT 83158 SOS 40157 HAS SOPS 18882 HAS SOUS 8904 HAS SOUPS 2804 WITH SCORE 2844.157
AT ITER 7624 NEW BEST:: SOT 83161 SOS 40164 HAS SOPS 18883 HAS SOUS 8904 HAS SOUPS 2803 WITH SCORE 2843.164
AT ITER 7629 NEW BEST:: SOT 83149 SOS 40150 HAS SOPS 18859 HAS SOUS 8882 HAS SOUPS 2781 WITH SCORE 2821.15
AT ITER 7663 NEW BEST:: SOT 83009 SOS 39870 HAS SOPS 18859 HAS SOUS 8847 HAS SOUPS 2781 WITH SCORE 2820.87
AT ITER 7668 NEW BEST:: SOT 83053 SOS 39894 HAS SOPS 18883 HAS SOUS 8837 HAS SOUPS 2779 WITH SCORE 2818.894
AT ITER 7824 NEW BEST:: SOT 83032 SOS 39861 HAS SOPS 18871 HAS SOUS 8828 HAS SOUPS 2773 WITH SCORE 2812.861
AT ITER 7877 NEW BEST:: SOT 83020 SOS 39849 HAS SOPS 18859 HAS SOUS 8820 HAS SOUPS 2771 WITH SCORE 2810.849
AT ITER 7881 NEW BEST:: SOT 83014 SOS 39839 HAS SOPS 18851 HAS SOUS 8815 HAS SOUPS 2767 WITH SCORE 2806.839
AT ITER 7891 NEW BEST:: SOT 82912 SOS 39635 HAS SOPS 18851 HAS SOUS 8789 HAS SOUPS 2767 WITH SCORE 2806.635
AT ITER 7896 NEW BEST:: SOT 82915 SOS 39638 HAS SOPS 18851 HAS SOUS 8789 HAS SOUPS 2765 WITH SCORE 2804.638
AT ITER 7962 NEW BEST:: SOT 82898 SOS 39616 HAS SOPS 18839 HAS SOUS 8783 HAS SOUPS 2759 WITH SCORE 2798.616
AT ITER 8019 NEW BEST:: SOT 82900 SOS 39588 HAS SOPS 18843 HAS SOUS 8781 HAS SOUPS 2759 WITH SCORE 2798.588
AT ITER 8166 NEW BEST:: SOT 82897 SOS 39582 HAS SOPS 18843 HAS SOUS 8775 HAS SOUPS 2759 WITH SCORE 2798.582
AT ITER 8221 NEW BEST:: SOT 82895 SOS 39578 HAS SOPS 18839 HAS SOUS 8774 HAS SOUPS 2758 WITH SCORE 2797.578
AT ITER 8225 NEW BEST:: SOT 82811 SOS 39426 HAS SOPS 18767 HAS SOUS 8755 HAS SOUPS 2739 WITH SCORE 2778.426
AT ITER 8226 NEW BEST:: SOT 82805 SOS 39425 HAS SOPS 18773 HAS SOUS 8752 HAS SOUPS 2738 WITH SCORE 2777.425
AT ITER 8259 NEW BEST:: SOT 82730 SOS 39246 HAS SOPS 18750 HAS SOUS 8724 HAS SOUPS 2736 WITH SCORE 2775.246
AT ITER 8260 NEW BEST:: SOT 82775 SOS 39252 HAS SOPS 18700 HAS SOUS 8734 HAS SOUPS 2732 WITH SCORE 2771.252
AT ITER 8390 NEW BEST:: SOT 82775 SOS 39254 HAS SOPS 18698 HAS SOUS 8734 HAS SOUPS 2731 WITH SCORE 2770.254
AT ITER 8397 NEW BEST:: SOT 82759 SOS 39242 HAS SOPS 18686 HAS SOUS 8736 HAS SOUPS 2731 WITH SCORE 2770.242
AT ITER 8504 NEW BEST:: SOT 82839 SOS 39336 HAS SOPS 18698 HAS SOUS 8722 HAS SOUPS 2717 WITH SCORE 2756.336
AT ITER 8512 NEW BEST:: SOT 82987 SOS 39632 HAS SOPS 18698 HAS SOUS 8983 HAS SOUPS 2715 WITH SCORE 2754.632
AT ITER 8522 NEW BEST:: SOT 82903 SOS 39436 HAS SOPS 18642 HAS SOUS 8955 HAS SOUPS 2715 WITH SCORE 2754.436
AT ITER 8557 NEW BEST:: SOT 82944 SOS 39510 HAS SOPS 18653 HAS SOUS 8962 HAS SOUPS 2713 WITH SCORE 2752.51
AT ITER 8575 NEW BEST:: SOT 83009 SOS 39698 HAS SOPS 18696 HAS SOUS 8981 HAS SOUPS 2702 WITH SCORE 2741.698
AT ITER 8591 NEW BEST:: SOT 83009 SOS 39682 HAS SOPS 18696 HAS SOUS 8980 HAS SOUPS 2702 WITH SCORE 2741.682
AT ITER 8593 NEW BEST:: SOT 83026 SOS 39699 HAS SOPS 18713 HAS SOUS 8977 HAS SOUPS 2699 WITH SCORE 2738.699
AT ITER 8625 NEW BEST:: SOT 83033 SOS 39713 HAS SOPS 18713 HAS SOUS 9226 HAS SOUPS 2697 WITH SCORE 2736.713
AT ITER 8634 NEW BEST:: SOT 83065 SOS 39737 HAS SOPS 18729 HAS SOUS 9218 HAS SOUPS 2689 WITH SCORE 2728.737
AT ITER 8842 NEW BEST:: SOT 83137 SOS 39713 HAS SOPS 18825 HAS SOUS 9194 HAS SOUPS 2689 WITH SCORE 2728.713
AT ITER 8899 NEW BEST:: SOT 83061 SOS 39641 HAS SOPS 18753 HAS SOUS 9199 HAS SOUPS 2684 WITH SCORE 2723.641
AT ITER 8918 NEW BEST:: SOT 83023 SOS 39610 HAS SOPS 18717 HAS SOUS 9195 HAS SOUPS 2676 WITH SCORE 2715.61
AT ITER 8978 NEW BEST:: SOT 83022 SOS 39648 HAS SOPS 18755 HAS SOUS 9191 HAS SOUPS 2672 WITH SCORE 2711.648
AT ITER 9034 NEW BEST:: SOT 83009 SOS 39633 HAS SOPS 18746 HAS SOUS 9191 HAS SOUPS 2672 WITH SCORE 2711.633
AT ITER 9036 NEW BEST:: SOT 83008 SOS 39630 HAS SOPS 18727 HAS SOUS 9192 HAS SOUPS 2672 WITH SCORE 2711.63
AT ITER 9042 NEW BEST:: SOT 82875 SOS 39546 HAS SOPS 18643 HAS SOUS 9206 HAS SOUPS 2672 WITH SCORE 2711.546
AT ITER 9126 NEW BEST:: SOT 82944 SOS 39637 HAS SOPS 18677 HAS SOUS 9205 HAS SOUPS 2671 WITH SCORE 2710.637
AT ITER 9157 NEW BEST:: SOT 82966 SOS 39663 HAS SOPS 18689 HAS SOUS 9203 HAS SOUPS 2667 WITH SCORE 2706.663
AT ITER 9233 NEW BEST:: SOT 82970 SOS 39668 HAS SOPS 18689 HAS SOUS 9207 HAS SOUPS 2666 WITH SCORE 2705.668
AT ITER 9244 NEW BEST:: SOT 82937 SOS 39679 HAS SOPS 18645 HAS SOUS 9182 HAS SOUPS 2646 WITH SCORE 2685.679
AT ITER 9248 NEW BEST:: SOT 82890 SOS 39660 HAS SOPS 18601 HAS SOUS 9178 HAS SOUPS 2642 WITH SCORE 2681.66
AT ITER 9254 NEW BEST:: SOT 82872 SOS 39624 HAS SOPS 18601 HAS SOUS 9063 HAS SOUPS 2642 WITH SCORE 2681.624
AT ITER 9345 NEW BEST:: SOT 82763 SOS 39406 HAS SOPS 18601 HAS SOUS 9030 HAS SOUPS 2642 WITH SCORE 2681.406
AT ITER 9552 NEW BEST:: SOT 82753 SOS 39394 HAS SOPS 18589 HAS SOUS 9029 HAS SOUPS 2640 WITH SCORE 2679.394
AT ITER 9564 NEW BEST:: SOT 82746 SOS 39390 HAS SOPS 18591 HAS SOUS 9027 HAS SOUPS 2639 WITH SCORE 2678.39
AT ITER 9571 NEW BEST:: SOT 82743 SOS 39384 HAS SOPS 18597 HAS SOUS 9020 HAS SOUPS 2638 WITH SCORE 2677.384
AT ITER 9656 NEW BEST:: SOT 82737 SOS 39372 HAS SOPS 18591 HAS SOUS 9008 HAS SOUPS 2629 WITH SCORE 2668.372
AT ITER 9676 NEW BEST:: SOT 82735 SOS 39366 HAS SOPS 18589 HAS SOUS 9006 HAS SOUPS 2628 WITH SCORE 2667.366
AT ITER 9737 NEW BEST:: SOT 82681 SOS 39318 HAS SOPS 18553 HAS SOUS 9000 HAS SOUPS 2622 WITH SCORE 2661.318
AT ITER 9876 NEW BEST:: SOT 82651 SOS 39278 HAS SOPS 18513 HAS SOUS 9000 HAS SOUPS 2622 WITH SCORE 2661.278
AT ITER 9915 NEW BEST:: SOT 82644 SOS 39265 HAS SOPS 18505 HAS SOUS 8998 HAS SOUPS 2620 WITH SCORE 2659.265
AT ITER 9978 NEW BEST:: SOT 82642 SOS 39256 HAS SOPS 18501 HAS SOUS 8993 HAS SOUPS 2620 WITH SCORE 2659.256
STATE_SPACE STATES 474756150994301 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 79 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 50961681693873861 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678429133552

--------------------
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="DLCshifumi-PT-2a"
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 DLCshifumi-PT-2a, 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 r107-tall-167814484700800"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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