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.r067-smll-167814394800400.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 smart
Input is CloudDeployment-PT-4a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r067-smll-167814394800400
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 604K
-rw-r--r-- 1 mcc users 7.2K Feb 25 15:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 25 15:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 14:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 14:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 15:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 15:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 138K Feb 25 15:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 15:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 25 15:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:45 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:45 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 156K 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 1678300337186

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=CloudDeployment-PT-4a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 4a
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: 141 places, 475 transitions, 2657 arcs.
AT ITER 0 NEW BEST:: SOT 50104 SOS 29169 HAS SOPS 27043 HAS SOUS 23029 HAS SOUPS 21104 WITH SCORE 21133.169
AT ITER 5 NEW BEST:: SOT 50071 SOS 29202 HAS SOPS 27109 HAS SOUS 22916 HAS SOUPS 21024 WITH SCORE 21053.202
AT ITER 12 NEW BEST:: SOT 50067 SOS 29198 HAS SOPS 27109 HAS SOUS 22912 HAS SOUPS 21024 WITH SCORE 21053.198
AT ITER 16 NEW BEST:: SOT 50071 SOS 29209 HAS SOPS 27120 HAS SOUS 22910 HAS SOUPS 21022 WITH SCORE 21051.209
AT ITER 20 NEW BEST:: SOT 50040 SOS 29199 HAS SOPS 27110 HAS SOUS 22900 HAS SOUPS 21012 WITH SCORE 21041.199
AT ITER 23 NEW BEST:: SOT 50223 SOS 29293 HAS SOPS 27285 HAS SOUS 22784 HAS SOUPS 20977 WITH SCORE 21006.293
AT ITER 27 NEW BEST:: SOT 50329 SOS 29346 HAS SOPS 27391 HAS SOUS 22625 HAS SOUPS 20871 WITH SCORE 20900.346
AT ITER 31 NEW BEST:: SOT 50764 SOS 29630 HAS SOPS 27675 HAS SOUS 22513 HAS SOUPS 20759 WITH SCORE 20788.63
AT ITER 33 NEW BEST:: SOT 50888 SOS 29750 HAS SOPS 27862 HAS SOUS 22359 HAS SOUPS 20672 WITH SCORE 20701.75
AT ITER 34 NEW BEST:: SOT 51033 SOS 29880 HAS SOPS 27992 HAS SOUS 22270 HAS SOUPS 20583 WITH SCORE 20612.88
AT ITER 35 NEW BEST:: SOT 51145 SOS 29880 HAS SOPS 28048 HAS SOUS 21990 HAS SOUPS 20359 WITH SCORE 20388.88
AT ITER 36 NEW BEST:: SOT 51610 SOS 30119 HAS SOPS 28287 HAS SOUS 21826 HAS SOUPS 20195 WITH SCORE 20225.119
AT ITER 37 NEW BEST:: SOT 51556 SOS 30028 HAS SOPS 28109 HAS SOUS 21858 HAS SOUPS 20192 WITH SCORE 20222.028
AT ITER 46 NEW BEST:: SOT 51642 SOS 30073 HAS SOPS 28207 HAS SOUS 21779 HAS SOUPS 20166 WITH SCORE 20196.073
AT ITER 49 NEW BEST:: SOT 51698 SOS 30097 HAS SOPS 28209 HAS SOUS 21779 HAS SOUPS 20144 WITH SCORE 20174.097
AT ITER 51 NEW BEST:: SOT 51796 SOS 30205 HAS SOPS 28366 HAS SOUS 21691 HAS SOUPS 20105 WITH SCORE 20135.205
AT ITER 53 NEW BEST:: SOT 51834 SOS 30236 HAS SOPS 28397 HAS SOUS 21558 HAS SOUPS 19972 WITH SCORE 20002.236
AT ITER 57 NEW BEST:: SOT 51929 SOS 30217 HAS SOPS 28378 HAS SOUS 21532 HAS SOUPS 19946 WITH SCORE 19976.217
AT ITER 65 NEW BEST:: SOT 52019 SOS 30334 HAS SOPS 28495 HAS SOUS 21514 HAS SOUPS 19928 WITH SCORE 19958.334
AT ITER 70 NEW BEST:: SOT 52271 SOS 30435 HAS SOPS 28596 HAS SOUS 21378 HAS SOUPS 19792 WITH SCORE 19822.435
AT ITER 71 NEW BEST:: SOT 52512 SOS 30606 HAS SOPS 28767 HAS SOUS 21235 HAS SOUPS 19649 WITH SCORE 19679.606
AT ITER 72 NEW BEST:: SOT 52612 SOS 30656 HAS SOPS 28867 HAS SOUS 21085 HAS SOUPS 19549 WITH SCORE 19579.656
AT ITER 76 NEW BEST:: SOT 52656 SOS 30711 HAS SOPS 28922 HAS SOUS 21063 HAS SOUPS 19527 WITH SCORE 19557.711
AT ITER 77 NEW BEST:: SOT 52322 SOS 30764 HAS SOPS 28635 HAS SOUS 20789 HAS SOUPS 19255 WITH SCORE 19285.764
AT ITER 78 NEW BEST:: SOT 52372 SOS 30782 HAS SOPS 28653 HAS SOUS 20740 HAS SOUPS 19206 WITH SCORE 19236.782
AT ITER 82 NEW BEST:: SOT 52360 SOS 30758 HAS SOPS 28629 HAS SOUS 20740 HAS SOUPS 19206 WITH SCORE 19236.758
AT ITER 85 NEW BEST:: SOT 52341 SOS 30755 HAS SOPS 28626 HAS SOUS 20722 HAS SOUPS 19188 WITH SCORE 19218.755
AT ITER 86 NEW BEST:: SOT 52481 SOS 30824 HAS SOPS 28695 HAS SOUS 20694 HAS SOUPS 19160 WITH SCORE 19190.824
AT ITER 88 NEW BEST:: SOT 52456 SOS 30722 HAS SOPS 28645 HAS SOUS 20410 HAS SOUPS 18928 WITH SCORE 18958.722
AT ITER 101 NEW BEST:: SOT 52629 SOS 30738 HAS SOPS 28778 HAS SOUS 20193 HAS SOUPS 18798 WITH SCORE 18828.738
AT ITER 102 NEW BEST:: SOT 52410 SOS 30452 HAS SOPS 28530 HAS SOUS 20087 HAS SOUPS 18730 WITH SCORE 18760.452
AT ITER 105 NEW BEST:: SOT 52401 SOS 30446 HAS SOPS 28521 HAS SOUS 20087 HAS SOUPS 18727 WITH SCORE 18757.446
AT ITER 110 NEW BEST:: SOT 52577 SOS 30508 HAS SOPS 28687 HAS SOUS 19784 HAS SOUPS 18507 WITH SCORE 18537.508
AT ITER 113 NEW BEST:: SOT 52607 SOS 30538 HAS SOPS 28732 HAS SOUS 19739 HAS SOUPS 18477 WITH SCORE 18507.538
AT ITER 115 NEW BEST:: SOT 52603 SOS 30520 HAS SOPS 28714 HAS SOUS 19738 HAS SOUPS 18476 WITH SCORE 18506.52
AT ITER 116 NEW BEST:: SOT 52274 SOS 30577 HAS SOPS 28464 HAS SOUS 19622 HAS SOUPS 18366 WITH SCORE 18396.577
AT ITER 118 NEW BEST:: SOT 52259 SOS 30497 HAS SOPS 28384 HAS SOUS 19530 HAS SOUPS 18274 WITH SCORE 18304.497
AT ITER 121 NEW BEST:: SOT 52594 SOS 30639 HAS SOPS 28526 HAS SOUS 19287 HAS SOUPS 18031 WITH SCORE 18061.639
AT ITER 124 NEW BEST:: SOT 52747 SOS 30761 HAS SOPS 28727 HAS SOUS 19187 HAS SOUPS 18016 WITH SCORE 18046.761
AT ITER 127 NEW BEST:: SOT 52717 SOS 30727 HAS SOPS 28663 HAS SOUS 19038 HAS SOUPS 17867 WITH SCORE 17897.727
AT ITER 129 NEW BEST:: SOT 52717 SOS 30615 HAS SOPS 28551 HAS SOUS 19026 HAS SOUPS 17855 WITH SCORE 17885.615
AT ITER 136 NEW BEST:: SOT 52825 SOS 30696 HAS SOPS 28726 HAS SOUS 18866 HAS SOUPS 17762 WITH SCORE 17792.696
AT ITER 139 NEW BEST:: SOT 52887 SOS 30670 HAS SOPS 28700 HAS SOUS 18755 HAS SOUPS 17651 WITH SCORE 17681.67
AT ITER 144 NEW BEST:: SOT 52870 SOS 30653 HAS SOPS 28683 HAS SOUS 18755 HAS SOUPS 17651 WITH SCORE 17681.653
AT ITER 145 NEW BEST:: SOT 52882 SOS 30633 HAS SOPS 28652 HAS SOUS 18718 HAS SOUPS 17603 WITH SCORE 17633.633
AT ITER 146 NEW BEST:: SOT 52763 SOS 30503 HAS SOPS 28522 HAS SOUS 18674 HAS SOUPS 17559 WITH SCORE 17589.503
AT ITER 148 NEW BEST:: SOT 52881 SOS 30605 HAS SOPS 28557 HAS SOUS 18686 HAS SOUPS 17504 WITH SCORE 17534.605
AT ITER 151 NEW BEST:: SOT 52879 SOS 30505 HAS SOPS 28486 HAS SOUS 18671 HAS SOUPS 17489 WITH SCORE 17519.505
AT ITER 156 NEW BEST:: SOT 53376 SOS 30902 HAS SOPS 28883 HAS SOUS 17618 HAS SOUPS 16436 WITH SCORE 16466.902
AT ITER 158 NEW BEST:: SOT 52320 SOS 31190 HAS SOPS 28286 HAS SOUS 16716 HAS SOUPS 15730 WITH SCORE 15761.19
AT ITER 159 NEW BEST:: SOT 52333 SOS 31187 HAS SOPS 28283 HAS SOUS 16716 HAS SOUPS 15730 WITH SCORE 15761.187
AT ITER 162 NEW BEST:: SOT 52198 SOS 31204 HAS SOPS 28300 HAS SOUS 16448 HAS SOUPS 15462 WITH SCORE 15493.204
AT ITER 170 NEW BEST:: SOT 52198 SOS 31165 HAS SOPS 28261 HAS SOUS 16406 HAS SOUPS 15420 WITH SCORE 15451.165
AT ITER 173 NEW BEST:: SOT 52011 SOS 31038 HAS SOPS 28134 HAS SOUS 16304 HAS SOUPS 15318 WITH SCORE 15349.038
AT ITER 175 NEW BEST:: SOT 51955 SOS 30889 HAS SOPS 27985 HAS SOUS 16250 HAS SOUPS 15264 WITH SCORE 15294.889
AT ITER 177 NEW BEST:: SOT 51550 SOS 30484 HAS SOPS 27565 HAS SOUS 15823 HAS SOUPS 14828 WITH SCORE 14858.484
AT ITER 180 NEW BEST:: SOT 51565 SOS 30491 HAS SOPS 27572 HAS SOUS 15815 HAS SOUPS 14820 WITH SCORE 14850.491
AT ITER 185 NEW BEST:: SOT 51574 SOS 30491 HAS SOPS 27581 HAS SOUS 15803 HAS SOUPS 14817 WITH SCORE 14847.491
AT ITER 188 NEW BEST:: SOT 50240 SOS 30034 HAS SOPS 26774 HAS SOUS 14917 HAS SOUPS 14022 WITH SCORE 14052.034
AT ITER 189 NEW BEST:: SOT 49806 SOS 29684 HAS SOPS 26556 HAS SOUS 14765 HAS SOUPS 13873 WITH SCORE 13902.684
AT ITER 194 NEW BEST:: SOT 50010 SOS 29771 HAS SOPS 26643 HAS SOUS 14673 HAS SOUPS 13781 WITH SCORE 13810.771
AT ITER 198 NEW BEST:: SOT 49929 SOS 29690 HAS SOPS 26562 HAS SOUS 14592 HAS SOUPS 13700 WITH SCORE 13729.69
AT ITER 201 NEW BEST:: SOT 49929 SOS 29662 HAS SOPS 26534 HAS SOUS 14564 HAS SOUPS 13672 WITH SCORE 13701.662
AT ITER 202 NEW BEST:: SOT 50050 SOS 29646 HAS SOPS 26550 HAS SOUS 14536 HAS SOUPS 13644 WITH SCORE 13673.646
AT ITER 204 NEW BEST:: SOT 50098 SOS 29510 HAS SOPS 26414 HAS SOUS 14387 HAS SOUPS 13495 WITH SCORE 13524.51
AT ITER 206 NEW BEST:: SOT 50080 SOS 29496 HAS SOPS 26406 HAS SOUS 14387 HAS SOUPS 13493 WITH SCORE 13522.496
AT ITER 207 NEW BEST:: SOT 50674 SOS 30090 HAS SOPS 27000 HAS SOUS 13735 HAS SOUPS 12841 WITH SCORE 12871.09
AT ITER 208 NEW BEST:: SOT 50376 SOS 29996 HAS SOPS 26808 HAS SOUS 13587 HAS SOUPS 12693 WITH SCORE 12722.996
AT ITER 212 NEW BEST:: SOT 50173 SOS 29664 HAS SOPS 26604 HAS SOUS 13431 HAS SOUPS 12603 WITH SCORE 12632.664
AT ITER 216 NEW BEST:: SOT 50136 SOS 29683 HAS SOPS 26612 HAS SOUS 13416 HAS SOUPS 12588 WITH SCORE 12617.683
AT ITER 217 NEW BEST:: SOT 50019 SOS 29605 HAS SOPS 26573 HAS SOUS 13364 HAS SOUPS 12536 WITH SCORE 12565.605
AT ITER 219 NEW BEST:: SOT 49919 SOS 29408 HAS SOPS 26331 HAS SOUS 13361 HAS SOUPS 12490 WITH SCORE 12519.408
AT ITER 220 NEW BEST:: SOT 49919 SOS 29408 HAS SOPS 26331 HAS SOUS 13355 HAS SOUPS 12484 WITH SCORE 12513.408
AT ITER 223 NEW BEST:: SOT 49952 SOS 29419 HAS SOPS 26342 HAS SOUS 13350 HAS SOUPS 12479 WITH SCORE 12508.419
AT ITER 224 NEW BEST:: SOT 49952 SOS 29513 HAS SOPS 26394 HAS SOUS 13213 HAS SOUPS 12300 WITH SCORE 12329.513
AT ITER 228 NEW BEST:: SOT 49677 SOS 29277 HAS SOPS 26238 HAS SOUS 12991 HAS SOUPS 12066 WITH SCORE 12095.277
AT ITER 230 NEW BEST:: SOT 49559 SOS 29187 HAS SOPS 26123 HAS SOUS 12908 HAS SOUPS 11955 WITH SCORE 11984.187
AT ITER 231 NEW BEST:: SOT 49095 SOS 28787 HAS SOPS 25959 HAS SOUS 12636 HAS SOUPS 11762 WITH SCORE 11790.787
AT ITER 232 NEW BEST:: SOT 49093 SOS 28785 HAS SOPS 25957 HAS SOUS 12634 HAS SOUPS 11760 WITH SCORE 11788.785
AT ITER 233 NEW BEST:: SOT 49054 SOS 28695 HAS SOPS 25799 HAS SOUS 12606 HAS SOUPS 11692 WITH SCORE 11720.695
AT ITER 236 NEW BEST:: SOT 49036 SOS 28697 HAS SOPS 25775 HAS SOUS 12584 HAS SOUPS 11657 WITH SCORE 11685.697
AT ITER 237 NEW BEST:: SOT 48915 SOS 28594 HAS SOPS 25681 HAS SOUS 12509 HAS SOUPS 11582 WITH SCORE 11610.594
AT ITER 238 NEW BEST:: SOT 48465 SOS 28347 HAS SOPS 25364 HAS SOUS 12295 HAS SOUPS 11359 WITH SCORE 11387.347
AT ITER 243 NEW BEST:: SOT 48424 SOS 28315 HAS SOPS 25332 HAS SOUS 12270 HAS SOUPS 11334 WITH SCORE 11362.315
AT ITER 246 NEW BEST:: SOT 48384 SOS 28197 HAS SOPS 25214 HAS SOUS 12241 HAS SOUPS 11305 WITH SCORE 11333.197
AT ITER 247 NEW BEST:: SOT 48369 SOS 28038 HAS SOPS 25022 HAS SOUS 12218 HAS SOUPS 11282 WITH SCORE 11310.038
AT ITER 248 NEW BEST:: SOT 48369 SOS 28028 HAS SOPS 25012 HAS SOUS 12218 HAS SOUPS 11282 WITH SCORE 11310.028
AT ITER 252 NEW BEST:: SOT 48041 SOS 27898 HAS SOPS 24825 HAS SOUS 12221 HAS SOUPS 11281 WITH SCORE 11308.898
AT ITER 253 NEW BEST:: SOT 47714 SOS 27672 HAS SOPS 24822 HAS SOUS 12133 HAS SOUPS 11244 WITH SCORE 11271.672
AT ITER 254 NEW BEST:: SOT 47564 SOS 27615 HAS SOPS 24736 HAS SOUS 12133 HAS SOUPS 11241 WITH SCORE 11268.615
AT ITER 257 NEW BEST:: SOT 47564 SOS 27603 HAS SOPS 24724 HAS SOUS 12133 HAS SOUPS 11241 WITH SCORE 11268.603
AT ITER 259 NEW BEST:: SOT 47578 SOS 27596 HAS SOPS 24731 HAS SOUS 12133 HAS SOUPS 11241 WITH SCORE 11268.596
AT ITER 260 NEW BEST:: SOT 47617 SOS 27629 HAS SOPS 24757 HAS SOUS 12121 HAS SOUPS 11233 WITH SCORE 11260.629
AT ITER 261 NEW BEST:: SOT 47759 SOS 27660 HAS SOPS 24818 HAS SOUS 11992 HAS SOUPS 11104 WITH SCORE 11131.66
AT ITER 265 NEW BEST:: SOT 47747 SOS 27651 HAS SOPS 24809 HAS SOUS 11989 HAS SOUPS 11101 WITH SCORE 11128.651
AT ITER 266 NEW BEST:: SOT 47735 SOS 27648 HAS SOPS 24771 HAS SOUS 11984 HAS SOUPS 11089 WITH SCORE 11116.648
AT ITER 271 NEW BEST:: SOT 47718 SOS 27591 HAS SOPS 24697 HAS SOUS 11990 HAS SOUPS 11078 WITH SCORE 11105.591
AT ITER 272 NEW BEST:: SOT 47725 SOS 27563 HAS SOPS 24641 HAS SOUS 11918 HAS SOUPS 11006 WITH SCORE 11033.563
AT ITER 273 NEW BEST:: SOT 47668 SOS 27576 HAS SOPS 24687 HAS SOUS 11872 HAS SOUPS 10960 WITH SCORE 10987.576
AT ITER 277 NEW BEST:: SOT 47663 SOS 27559 HAS SOPS 24670 HAS SOUS 11855 HAS SOUPS 10943 WITH SCORE 10970.559
AT ITER 279 NEW BEST:: SOT 47693 SOS 27528 HAS SOPS 24680 HAS SOUS 11783 HAS SOUPS 10912 WITH SCORE 10939.528
AT ITER 285 NEW BEST:: SOT 47685 SOS 27646 HAS SOPS 24798 HAS SOUS 11697 HAS SOUPS 10826 WITH SCORE 10853.646
AT ITER 287 NEW BEST:: SOT 47704 SOS 27572 HAS SOPS 24724 HAS SOUS 11656 HAS SOUPS 10785 WITH SCORE 10812.572
AT ITER 288 NEW BEST:: SOT 47704 SOS 27495 HAS SOPS 24647 HAS SOUS 11631 HAS SOUPS 10760 WITH SCORE 10787.495
AT ITER 292 NEW BEST:: SOT 47583 SOS 27455 HAS SOPS 24609 HAS SOUS 11555 HAS SOUPS 10671 WITH SCORE 10698.455
AT ITER 295 NEW BEST:: SOT 47583 SOS 27444 HAS SOPS 24598 HAS SOUS 11550 HAS SOUPS 10666 WITH SCORE 10693.444
AT ITER 304 NEW BEST:: SOT 47579 SOS 27436 HAS SOPS 24590 HAS SOUS 11546 HAS SOUPS 10662 WITH SCORE 10689.436
AT ITER 315 NEW BEST:: SOT 47551 SOS 27396 HAS SOPS 24544 HAS SOUS 11523 HAS SOUPS 10639 WITH SCORE 10666.396
AT ITER 317 NEW BEST:: SOT 45985 SOS 28439 HAS SOPS 24100 HAS SOUS 11042 HAS SOUPS 10341 WITH SCORE 10369.439
AT ITER 323 NEW BEST:: SOT 46012 SOS 28403 HAS SOPS 24097 HAS SOUS 11042 HAS SOUPS 10335 WITH SCORE 10363.403
AT ITER 327 NEW BEST:: SOT 46021 SOS 28397 HAS SOPS 24091 HAS SOUS 11027 HAS SOUPS 10320 WITH SCORE 10348.397
AT ITER 329 NEW BEST:: SOT 46000 SOS 28339 HAS SOPS 24033 HAS SOUS 10913 HAS SOUPS 10206 WITH SCORE 10234.339
AT ITER 330 NEW BEST:: SOT 45990 SOS 28319 HAS SOPS 23987 HAS SOUS 10709 HAS SOUPS 10002 WITH SCORE 10030.319
AT ITER 332 NEW BEST:: SOT 45877 SOS 28201 HAS SOPS 23869 HAS SOUS 10630 HAS SOUPS 9923 WITH SCORE 9951.201
AT ITER 334 NEW BEST:: SOT 45796 SOS 28183 HAS SOPS 23810 HAS SOUS 10587 HAS SOUPS 9867 WITH SCORE 9895.183
AT ITER 337 NEW BEST:: SOT 46607 SOS 29055 HAS SOPS 24699 HAS SOUS 10222 HAS SOUPS 9493 WITH SCORE 9522.055
AT ITER 339 NEW BEST:: SOT 46595 SOS 29043 HAS SOPS 24687 HAS SOUS 10216 HAS SOUPS 9487 WITH SCORE 9516.043
AT ITER 349 NEW BEST:: SOT 46715 SOS 29095 HAS SOPS 24735 HAS SOUS 10204 HAS SOUPS 9478 WITH SCORE 9507.095
AT ITER 359 NEW BEST:: SOT 46671 SOS 29032 HAS SOPS 24672 HAS SOUS 10217 HAS SOUPS 9475 WITH SCORE 9504.032
AT ITER 361 NEW BEST:: SOT 46704 SOS 29032 HAS SOPS 24692 HAS SOUS 10205 HAS SOUPS 9467 WITH SCORE 9496.032
AT ITER 366 NEW BEST:: SOT 46736 SOS 29045 HAS SOPS 24686 HAS SOUS 10173 HAS SOUPS 9420 WITH SCORE 9449.045
AT ITER 370 NEW BEST:: SOT 46699 SOS 29023 HAS SOPS 24665 HAS SOUS 10147 HAS SOUPS 9394 WITH SCORE 9423.023
AT ITER 371 NEW BEST:: SOT 46638 SOS 28873 HAS SOPS 24497 HAS SOUS 10086 HAS SOUPS 9310 WITH SCORE 9338.873
AT ITER 375 NEW BEST:: SOT 46241 SOS 28476 HAS SOPS 24096 HAS SOUS 10066 HAS SOUPS 9290 WITH SCORE 9318.476
AT ITER 377 NEW BEST:: SOT 46068 SOS 28307 HAS SOPS 23927 HAS SOUS 9901 HAS SOUPS 9125 WITH SCORE 9153.307
AT ITER 385 NEW BEST:: SOT 46042 SOS 28281 HAS SOPS 23901 HAS SOUS 9875 HAS SOUPS 9099 WITH SCORE 9127.281
AT ITER 386 NEW BEST:: SOT 45933 SOS 28256 HAS SOPS 23876 HAS SOUS 9859 HAS SOUPS 9083 WITH SCORE 9111.256
AT ITER 390 NEW BEST:: SOT 45879 SOS 28175 HAS SOPS 23795 HAS SOUS 9784 HAS SOUPS 9008 WITH SCORE 9036.175
AT ITER 398 NEW BEST:: SOT 45878 SOS 28034 HAS SOPS 23654 HAS SOUS 9773 HAS SOUPS 8997 WITH SCORE 9025.034
AT ITER 402 NEW BEST:: SOT 45833 SOS 28004 HAS SOPS 23639 HAS SOUS 9748 HAS SOUPS 8967 WITH SCORE 8995.004
AT ITER 407 NEW BEST:: SOT 45833 SOS 27970 HAS SOPS 23605 HAS SOUS 9739 HAS SOUPS 8958 WITH SCORE 8985.97
AT ITER 410 NEW BEST:: SOT 45413 SOS 27705 HAS SOPS 23537 HAS SOUS 9667 HAS SOUPS 8908 WITH SCORE 8935.705
AT ITER 411 NEW BEST:: SOT 45385 SOS 27929 HAS SOPS 23530 HAS SOUS 9679 HAS SOUPS 8868 WITH SCORE 8895.929
AT ITER 413 NEW BEST:: SOT 45385 SOS 27905 HAS SOPS 23506 HAS SOUS 9667 HAS SOUPS 8856 WITH SCORE 8883.905
AT ITER 416 NEW BEST:: SOT 45379 SOS 27901 HAS SOPS 23502 HAS SOUS 9663 HAS SOUPS 8852 WITH SCORE 8879.901
AT ITER 423 NEW BEST:: SOT 45377 SOS 27889 HAS SOPS 23490 HAS SOUS 9657 HAS SOUPS 8846 WITH SCORE 8873.889
AT ITER 424 NEW BEST:: SOT 45386 SOS 27879 HAS SOPS 23473 HAS SOUS 9661 HAS SOUPS 8843 WITH SCORE 8870.879
AT ITER 425 NEW BEST:: SOT 45406 SOS 27867 HAS SOPS 23473 HAS SOUS 9652 HAS SOUPS 8836 WITH SCORE 8863.867
AT ITER 437 NEW BEST:: SOT 45019 SOS 27480 HAS SOPS 23073 HAS SOUS 9626 HAS SOUPS 8810 WITH SCORE 8837.48
AT ITER 446 NEW BEST:: SOT 45030 SOS 27414 HAS SOPS 23007 HAS SOUS 9541 HAS SOUPS 8725 WITH SCORE 8752.414
AT ITER 447 NEW BEST:: SOT 45019 SOS 27435 HAS SOPS 23028 HAS SOUS 9539 HAS SOUPS 8723 WITH SCORE 8750.435
AT ITER 448 NEW BEST:: SOT 45208 SOS 27317 HAS SOPS 22910 HAS SOUS 9521 HAS SOUPS 8705 WITH SCORE 8732.317
AT ITER 449 NEW BEST:: SOT 45313 SOS 27403 HAS SOPS 22996 HAS SOUS 9513 HAS SOUPS 8697 WITH SCORE 8724.403
AT ITER 450 NEW BEST:: SOT 45209 SOS 26984 HAS SOPS 22637 HAS SOUS 9341 HAS SOUPS 8532 WITH SCORE 8558.984
AT ITER 454 NEW BEST:: SOT 45180 SOS 26972 HAS SOPS 22625 HAS SOUS 9337 HAS SOUPS 8528 WITH SCORE 8554.972
AT ITER 463 NEW BEST:: SOT 45188 SOS 26960 HAS SOPS 22613 HAS SOUS 9327 HAS SOUPS 8518 WITH SCORE 8544.96
AT ITER 479 NEW BEST:: SOT 44855 SOS 28710 HAS SOPS 22577 HAS SOUS 9353 HAS SOUPS 8482 WITH SCORE 8510.71
AT ITER 491 NEW BEST:: SOT 44746 SOS 28586 HAS SOPS 22271 HAS SOUS 9357 HAS SOUPS 8463 WITH SCORE 8491.586
AT ITER 494 NEW BEST:: SOT 44745 SOS 28585 HAS SOPS 22270 HAS SOUS 9355 HAS SOUPS 8461 WITH SCORE 8489.585
AT ITER 496 NEW BEST:: SOT 44744 SOS 28570 HAS SOPS 22267 HAS SOUS 9336 HAS SOUPS 8445 WITH SCORE 8473.57
AT ITER 501 NEW BEST:: SOT 44671 SOS 28527 HAS SOPS 22224 HAS SOUS 9293 HAS SOUPS 8402 WITH SCORE 8430.527
AT ITER 508 NEW BEST:: SOT 44529 SOS 28411 HAS SOPS 22180 HAS SOUS 9296 HAS SOUPS 8370 WITH SCORE 8398.411
AT ITER 528 NEW BEST:: SOT 44519 SOS 28391 HAS SOPS 22160 HAS SOUS 9282 HAS SOUPS 8356 WITH SCORE 8384.391
AT ITER 534 NEW BEST:: SOT 44496 SOS 28389 HAS SOPS 22114 HAS SOUS 9239 HAS SOUPS 8313 WITH SCORE 8341.389
AT ITER 538 NEW BEST:: SOT 44463 SOS 28498 HAS SOPS 22115 HAS SOUS 9203 HAS SOUPS 8277 WITH SCORE 8305.498
AT ITER 545 NEW BEST:: SOT 44293 SOS 28328 HAS SOPS 21980 HAS SOUS 9156 HAS SOUPS 8233 WITH SCORE 8261.328
AT ITER 547 NEW BEST:: SOT 44175 SOS 28835 HAS SOPS 21879 HAS SOUS 9224 HAS SOUPS 8179 WITH SCORE 8207.835
AT ITER 553 NEW BEST:: SOT 44168 SOS 28828 HAS SOPS 21872 HAS SOUS 9217 HAS SOUPS 8172 WITH SCORE 8200.828
AT ITER 556 NEW BEST:: SOT 43510 SOS 28170 HAS SOPS 21197 HAS SOUS 8987 HAS SOUPS 7922 WITH SCORE 7950.17
AT ITER 561 NEW BEST:: SOT 43366 SOS 28013 HAS SOPS 21117 HAS SOUS 8927 HAS SOUPS 7853 WITH SCORE 7881.013
AT ITER 564 NEW BEST:: SOT 43408 SOS 28010 HAS SOPS 21114 HAS SOUS 8924 HAS SOUPS 7850 WITH SCORE 7878.01
AT ITER 570 NEW BEST:: SOT 43385 SOS 27977 HAS SOPS 21086 HAS SOUS 8901 HAS SOUPS 7827 WITH SCORE 7854.977
AT ITER 571 NEW BEST:: SOT 43144 SOS 27736 HAS SOPS 20837 HAS SOUS 8887 HAS SOUPS 7813 WITH SCORE 7840.736
AT ITER 577 NEW BEST:: SOT 43172 SOS 27750 HAS SOPS 20899 HAS SOUS 8863 HAS SOUPS 7803 WITH SCORE 7830.75
AT ITER 578 NEW BEST:: SOT 43100 SOS 27678 HAS SOPS 20953 HAS SOUS 8791 HAS SOUPS 7749 WITH SCORE 7776.678
AT ITER 580 NEW BEST:: SOT 41999 SOS 28478 HAS SOPS 20883 HAS SOUS 8727 HAS SOUPS 7724 WITH SCORE 7752.478
AT ITER 589 NEW BEST:: SOT 41999 SOS 28478 HAS SOPS 20883 HAS SOUS 8724 HAS SOUPS 7721 WITH SCORE 7749.478
AT ITER 597 NEW BEST:: SOT 41953 SOS 28437 HAS SOPS 20842 HAS SOUS 8683 HAS SOUPS 7680 WITH SCORE 7708.437
AT ITER 618 NEW BEST:: SOT 41939 SOS 28401 HAS SOPS 20806 HAS SOUS 8647 HAS SOUPS 7644 WITH SCORE 7672.401
AT ITER 640 NEW BEST:: SOT 41925 SOS 28378 HAS SOPS 20783 HAS SOUS 8643 HAS SOUPS 7640 WITH SCORE 7668.378
AT ITER 644 NEW BEST:: SOT 41855 SOS 28166 HAS SOPS 20571 HAS SOUS 8528 HAS SOUPS 7525 WITH SCORE 7553.166
AT ITER 648 NEW BEST:: SOT 41854 SOS 28116 HAS SOPS 20579 HAS SOUS 8480 HAS SOUPS 7515 WITH SCORE 7543.116
AT ITER 652 NEW BEST:: SOT 41854 SOS 28114 HAS SOPS 20575 HAS SOUS 8476 HAS SOUPS 7509 WITH SCORE 7537.114
AT ITER 657 NEW BEST:: SOT 41561 SOS 27995 HAS SOPS 20603 HAS SOUS 8422 HAS SOUPS 7500 WITH SCORE 7527.995
AT ITER 665 NEW BEST:: SOT 41607 SOS 27963 HAS SOPS 20571 HAS SOUS 8421 HAS SOUPS 7499 WITH SCORE 7526.963
AT ITER 673 NEW BEST:: SOT 41640 SOS 27969 HAS SOPS 20557 HAS SOUS 8436 HAS SOUPS 7494 WITH SCORE 7521.969
AT ITER 676 NEW BEST:: SOT 41638 SOS 27977 HAS SOPS 20385 HAS SOUS 8435 HAS SOUPS 7491 WITH SCORE 7518.977
AT ITER 681 NEW BEST:: SOT 41585 SOS 27925 HAS SOPS 20387 HAS SOUS 8423 HAS SOUPS 7479 WITH SCORE 7506.925
AT ITER 683 NEW BEST:: SOT 41627 SOS 27925 HAS SOPS 20345 HAS SOUS 8360 HAS SOUPS 7416 WITH SCORE 7443.925
AT ITER 686 NEW BEST:: SOT 41609 SOS 27871 HAS SOPS 20309 HAS SOUS 8342 HAS SOUPS 7398 WITH SCORE 7425.871
AT ITER 689 NEW BEST:: SOT 41551 SOS 27271 HAS SOPS 17392 HAS SOUS 8278 HAS SOUPS 7264 WITH SCORE 7291.271
AT ITER 691 NEW BEST:: SOT 41221 SOS 26910 HAS SOPS 17031 HAS SOUS 8223 HAS SOUPS 7209 WITH SCORE 7235.91
AT ITER 692 NEW BEST:: SOT 41271 SOS 26939 HAS SOPS 17032 HAS SOUS 8194 HAS SOUPS 7180 WITH SCORE 7206.939
AT ITER 700 NEW BEST:: SOT 41318 SOS 26957 HAS SOPS 17050 HAS SOUS 8183 HAS SOUPS 7169 WITH SCORE 7195.957
AT ITER 711 NEW BEST:: SOT 41334 SOS 26951 HAS SOPS 16988 HAS SOUS 8146 HAS SOUPS 7107 WITH SCORE 7133.951
AT ITER 716 NEW BEST:: SOT 41254 SOS 26855 HAS SOPS 16892 HAS SOUS 8097 HAS SOUPS 7058 WITH SCORE 7084.855
AT ITER 727 NEW BEST:: SOT 41176 SOS 26705 HAS SOPS 16820 HAS SOUS 8097 HAS SOUPS 7024 WITH SCORE 7050.705
AT ITER 728 NEW BEST:: SOT 41183 SOS 26635 HAS SOPS 16946 HAS SOUS 8085 HAS SOUPS 7013 WITH SCORE 7039.635
AT ITER 730 NEW BEST:: SOT 41127 SOS 26458 HAS SOPS 14465 HAS SOUS 7980 HAS SOUPS 6759 WITH SCORE 6785.458
AT ITER 738 NEW BEST:: SOT 41127 SOS 26458 HAS SOPS 14468 HAS SOUS 7980 HAS SOUPS 6758 WITH SCORE 6784.458
AT ITER 748 NEW BEST:: SOT 41150 SOS 26488 HAS SOPS 14462 HAS SOUS 7987 HAS SOUPS 6749 WITH SCORE 6775.488
AT ITER 752 NEW BEST:: SOT 41107 SOS 26444 HAS SOPS 14418 HAS SOUS 7973 HAS SOUPS 6735 WITH SCORE 6761.444
AT ITER 764 NEW BEST:: SOT 40845 SOS 26182 HAS SOPS 14156 HAS SOUS 7711 HAS SOUPS 6473 WITH SCORE 6499.182
AT ITER 773 NEW BEST:: SOT 40791 SOS 26093 HAS SOPS 14059 HAS SOUS 7652 HAS SOUPS 6414 WITH SCORE 6440.093
AT ITER 775 NEW BEST:: SOT 40751 SOS 26053 HAS SOPS 14019 HAS SOUS 7632 HAS SOUPS 6394 WITH SCORE 6420.053
AT ITER 778 NEW BEST:: SOT 40395 SOS 25897 HAS SOPS 13943 HAS SOUS 7615 HAS SOUPS 6318 WITH SCORE 6343.897
AT ITER 782 NEW BEST:: SOT 40391 SOS 25894 HAS SOPS 13940 HAS SOUS 7613 HAS SOUPS 6316 WITH SCORE 6341.894
AT ITER 806 NEW BEST:: SOT 40227 SOS 25730 HAS SOPS 13769 HAS SOUS 7607 HAS SOUPS 6310 WITH SCORE 6335.73
AT ITER 812 NEW BEST:: SOT 40187 SOS 25690 HAS SOPS 13729 HAS SOUS 7573 HAS SOUPS 6276 WITH SCORE 6301.69
AT ITER 818 NEW BEST:: SOT 40091 SOS 25856 HAS SOPS 14037 HAS SOUS 7479 HAS SOUPS 6194 WITH SCORE 6219.856
AT ITER 823 NEW BEST:: SOT 40096 SOS 25856 HAS SOPS 14037 HAS SOUS 7474 HAS SOUPS 6189 WITH SCORE 6214.856
AT ITER 824 NEW BEST:: SOT 41049 SOS 25789 HAS SOPS 14031 HAS SOUS 7283 HAS SOUPS 6134 WITH SCORE 6159.789
AT ITER 834 NEW BEST:: SOT 41044 SOS 25791 HAS SOPS 14033 HAS SOUS 7269 HAS SOUPS 6120 WITH SCORE 6145.791
AT ITER 849 NEW BEST:: SOT 41047 SOS 25779 HAS SOPS 14027 HAS SOUS 7263 HAS SOUPS 6117 WITH SCORE 6142.779
AT ITER 851 NEW BEST:: SOT 41054 SOS 25785 HAS SOPS 14025 HAS SOUS 7262 HAS SOUPS 6116 WITH SCORE 6141.785
AT ITER 854 NEW BEST:: SOT 41064 SOS 25727 HAS SOPS 13967 HAS SOUS 7223 HAS SOUPS 6077 WITH SCORE 6102.727
AT ITER 867 NEW BEST:: SOT 40390 SOS 25029 HAS SOPS 13272 HAS SOUS 7067 HAS SOUPS 5921 WITH SCORE 5946.029
AT ITER 872 NEW BEST:: SOT 40321 SOS 24967 HAS SOPS 13201 HAS SOUS 6997 HAS SOUPS 5850 WITH SCORE 5874.967
AT ITER 877 NEW BEST:: SOT 40318 SOS 24964 HAS SOPS 13198 HAS SOUS 6994 HAS SOUPS 5847 WITH SCORE 5871.964
AT ITER 903 NEW BEST:: SOT 40383 SOS 24966 HAS SOPS 13202 HAS SOUS 6983 HAS SOUPS 5836 WITH SCORE 5860.966
AT ITER 905 NEW BEST:: SOT 40381 SOS 24969 HAS SOPS 13200 HAS SOUS 6982 HAS SOUPS 5834 WITH SCORE 5858.969
AT ITER 912 NEW BEST:: SOT 40381 SOS 24946 HAS SOPS 13198 HAS SOUS 6963 HAS SOUPS 5820 WITH SCORE 5844.946
AT ITER 922 NEW BEST:: SOT 40422 SOS 24973 HAS SOPS 13198 HAS SOUS 6910 HAS SOUPS 5767 WITH SCORE 5791.973
AT ITER 935 NEW BEST:: SOT 40401 SOS 24947 HAS SOPS 13166 HAS SOUS 6899 HAS SOUPS 5755 WITH SCORE 5779.947
AT ITER 956 NEW BEST:: SOT 40388 SOS 24937 HAS SOPS 13129 HAS SOUS 6880 HAS SOUPS 5736 WITH SCORE 5760.937
AT ITER 957 NEW BEST:: SOT 40179 SOS 25786 HAS SOPS 13149 HAS SOUS 6978 HAS SOUPS 5725 WITH SCORE 5750.786
AT ITER 971 NEW BEST:: SOT 40188 SOS 25804 HAS SOPS 13167 HAS SOUS 6948 HAS SOUPS 5702 WITH SCORE 5727.804
AT ITER 983 NEW BEST:: SOT 40275 SOS 25330 HAS SOPS 13167 HAS SOUS 6939 HAS SOUPS 5702 WITH SCORE 5727.33
AT ITER 985 NEW BEST:: SOT 40317 SOS 25376 HAS SOPS 13211 HAS SOUS 6934 HAS SOUPS 5697 WITH SCORE 5722.376
AT ITER 996 NEW BEST:: SOT 40311 SOS 25370 HAS SOPS 13205 HAS SOUS 6916 HAS SOUPS 5679 WITH SCORE 5704.37
AT ITER 1017 NEW BEST:: SOT 40306 SOS 25357 HAS SOPS 13193 HAS SOUS 6907 HAS SOUPS 5670 WITH SCORE 5695.357
AT ITER 1059 NEW BEST:: SOT 40326 SOS 25361 HAS SOPS 13161 HAS SOUS 6895 HAS SOUPS 5658 WITH SCORE 5683.361
AT ITER 1062 NEW BEST:: SOT 40298 SOS 25305 HAS SOPS 13110 HAS SOUS 6810 HAS SOUPS 5623 WITH SCORE 5648.305
AT ITER 1066 NEW BEST:: SOT 40330 SOS 25309 HAS SOPS 13127 HAS SOUS 6794 HAS SOUPS 5607 WITH SCORE 5632.309
AT ITER 1084 NEW BEST:: SOT 40330 SOS 25309 HAS SOPS 13127 HAS SOUS 6764 HAS SOUPS 5583 WITH SCORE 5608.309
AT ITER 1086 NEW BEST:: SOT 40366 SOS 25307 HAS SOPS 13126 HAS SOUS 6759 HAS SOUPS 5578 WITH SCORE 5603.307
AT ITER 1098 NEW BEST:: SOT 40364 SOS 25303 HAS SOPS 13122 HAS SOUS 6755 HAS SOUPS 5574 WITH SCORE 5599.303
AT ITER 1115 NEW BEST:: SOT 40421 SOS 25362 HAS SOPS 13177 HAS SOUS 6743 HAS SOUPS 5560 WITH SCORE 5585.362
AT ITER 1117 NEW BEST:: SOT 40456 SOS 25418 HAS SOPS 13213 HAS SOUS 6722 HAS SOUPS 5539 WITH SCORE 5564.418
AT ITER 1137 NEW BEST:: SOT 40474 SOS 24849 HAS SOPS 13205 HAS SOUS 6721 HAS SOUPS 5538 WITH SCORE 5562.849
AT ITER 1143 NEW BEST:: SOT 40458 SOS 24833 HAS SOPS 13189 HAS SOUS 6713 HAS SOUPS 5530 WITH SCORE 5554.833
AT ITER 1144 NEW BEST:: SOT 40440 SOS 24737 HAS SOPS 13110 HAS SOUS 6680 HAS SOUPS 5514 WITH SCORE 5538.737
AT ITER 1154 NEW BEST:: SOT 40349 SOS 24615 HAS SOPS 13020 HAS SOUS 6679 HAS SOUPS 5513 WITH SCORE 5537.615
AT ITER 1204 NEW BEST:: SOT 40321 SOS 24587 HAS SOPS 13020 HAS SOUS 6662 HAS SOUPS 5513 WITH SCORE 5537.587
AT ITER 1214 NEW BEST:: SOT 40322 SOS 24585 HAS SOPS 13016 HAS SOUS 6659 HAS SOUPS 5511 WITH SCORE 5535.585
AT ITER 1240 NEW BEST:: SOT 40324 SOS 24587 HAS SOPS 13008 HAS SOUS 6651 HAS SOUPS 5503 WITH SCORE 5527.587
AT ITER 1246 NEW BEST:: SOT 40312 SOS 24573 HAS SOPS 12994 HAS SOUS 6643 HAS SOUPS 5495 WITH SCORE 5519.573
AT ITER 1256 NEW BEST:: SOT 40308 SOS 24571 HAS SOPS 12982 HAS SOUS 6643 HAS SOUPS 5495 WITH SCORE 5519.571
AT ITER 1323 NEW BEST:: SOT 40308 SOS 24561 HAS SOPS 12972 HAS SOUS 6633 HAS SOUPS 5485 WITH SCORE 5509.561
AT ITER 1327 NEW BEST:: SOT 40043 SOS 24296 HAS SOPS 12708 HAS SOUS 6608 HAS SOUPS 5460 WITH SCORE 5484.296
AT ITER 1331 NEW BEST:: SOT 40039 SOS 24288 HAS SOPS 12700 HAS SOUS 6604 HAS SOUPS 5456 WITH SCORE 5480.288
AT ITER 1339 NEW BEST:: SOT 40000 SOS 24250 HAS SOPS 12662 HAS SOUS 6567 HAS SOUPS 5419 WITH SCORE 5443.25
AT ITER 1346 NEW BEST:: SOT 39987 SOS 24250 HAS SOPS 10787 HAS SOUS 6541 HAS SOUPS 5163 WITH SCORE 5187.25
AT ITER 1347 NEW BEST:: SOT 39987 SOS 24246 HAS SOPS 10781 HAS SOUS 6539 HAS SOUPS 5162 WITH SCORE 5186.246
AT ITER 1350 NEW BEST:: SOT 39986 SOS 24244 HAS SOPS 10779 HAS SOUS 6538 HAS SOUPS 5161 WITH SCORE 5185.244
AT ITER 1366 NEW BEST:: SOT 39419 SOS 24776 HAS SOPS 10760 HAS SOUS 6555 HAS SOUPS 5142 WITH SCORE 5166.776
AT ITER 1377 NEW BEST:: SOT 39401 SOS 24767 HAS SOPS 10760 HAS SOUS 6555 HAS SOUPS 5142 WITH SCORE 5166.767
AT ITER 1383 NEW BEST:: SOT 39513 SOS 24859 HAS SOPS 10827 HAS SOUS 6530 HAS SOUPS 5117 WITH SCORE 5141.859
AT ITER 1389 NEW BEST:: SOT 39518 SOS 24857 HAS SOPS 10822 HAS SOUS 6522 HAS SOUPS 5112 WITH SCORE 5136.857
AT ITER 1398 NEW BEST:: SOT 39516 SOS 24856 HAS SOPS 10818 HAS SOUS 6518 HAS SOUPS 5108 WITH SCORE 5132.856
AT ITER 1400 NEW BEST:: SOT 39512 SOS 24850 HAS SOPS 10810 HAS SOUS 6512 HAS SOUPS 5102 WITH SCORE 5126.85
AT ITER 1406 NEW BEST:: SOT 39492 SOS 24830 HAS SOPS 10804 HAS SOUS 6492 HAS SOUPS 5096 WITH SCORE 5120.83
AT ITER 1423 NEW BEST:: SOT 39511 SOS 24828 HAS SOPS 10802 HAS SOUS 6490 HAS SOUPS 5094 WITH SCORE 5118.828
AT ITER 1470 NEW BEST:: SOT 39511 SOS 24829 HAS SOPS 10802 HAS SOUS 6489 HAS SOUPS 5093 WITH SCORE 5117.829
AT ITER 1490 NEW BEST:: SOT 39509 SOS 24832 HAS SOPS 10841 HAS SOUS 6471 HAS SOUPS 5075 WITH SCORE 5099.832
AT ITER 1496 NEW BEST:: SOT 39478 SOS 24811 HAS SOPS 10833 HAS SOUS 6491 HAS SOUPS 5068 WITH SCORE 5092.811
AT ITER 1497 NEW BEST:: SOT 39481 SOS 24799 HAS SOPS 10827 HAS SOUS 6485 HAS SOUPS 5062 WITH SCORE 5086.799
AT ITER 1505 NEW BEST:: SOT 39495 SOS 24813 HAS SOPS 10819 HAS SOUS 6477 HAS SOUPS 5054 WITH SCORE 5078.813
AT ITER 1518 NEW BEST:: SOT 39481 SOS 24820 HAS SOPS 10797 HAS SOUS 6444 HAS SOUPS 5021 WITH SCORE 5045.82
AT ITER 1545 NEW BEST:: SOT 39507 SOS 24846 HAS SOPS 10797 HAS SOUS 6443 HAS SOUPS 4995 WITH SCORE 5019.846
AT ITER 1550 NEW BEST:: SOT 39477 SOS 24813 HAS SOPS 10765 HAS SOUS 6443 HAS SOUPS 4995 WITH SCORE 5019.813
AT ITER 1588 NEW BEST:: SOT 38723 SOS 24465 HAS SOPS 10741 HAS SOUS 6489 HAS SOUPS 4971 WITH SCORE 4995.465
AT ITER 1592 NEW BEST:: SOT 38719 SOS 24461 HAS SOPS 10735 HAS SOUS 6486 HAS SOUPS 4968 WITH SCORE 4992.461
AT ITER 1637 NEW BEST:: SOT 38671 SOS 24443 HAS SOPS 10729 HAS SOUS 6483 HAS SOUPS 4962 WITH SCORE 4986.443
AT ITER 1642 NEW BEST:: SOT 38899 SOS 23821 HAS SOPS 10729 HAS SOUS 6464 HAS SOUPS 4962 WITH SCORE 4985.821
AT ITER 1650 NEW BEST:: SOT 38896 SOS 23812 HAS SOPS 10720 HAS SOUS 6455 HAS SOUPS 4953 WITH SCORE 4976.812
AT ITER 1728 NEW BEST:: SOT 38894 SOS 23808 HAS SOPS 10714 HAS SOUS 6452 HAS SOUPS 4951 WITH SCORE 4974.808
AT ITER 1739 NEW BEST:: SOT 38861 SOS 24014 HAS SOPS 10698 HAS SOUS 6448 HAS SOUPS 4943 WITH SCORE 4967.014
AT ITER 1750 NEW BEST:: SOT 38964 SOS 24045 HAS SOPS 10682 HAS SOUS 6417 HAS SOUPS 4928 WITH SCORE 4952.045
AT ITER 1753 NEW BEST:: SOT 38937 SOS 24067 HAS SOPS 10704 HAS SOUS 6394 HAS SOUPS 4886 WITH SCORE 4910.067
AT ITER 1808 NEW BEST:: SOT 38901 SOS 24426 HAS SOPS 10703 HAS SOUS 6399 HAS SOUPS 4885 WITH SCORE 4909.426
AT ITER 1810 NEW BEST:: SOT 38893 SOS 24425 HAS SOPS 10697 HAS SOUS 6393 HAS SOUPS 4879 WITH SCORE 4903.425
AT ITER 1815 NEW BEST:: SOT 38884 SOS 24470 HAS SOPS 9916 HAS SOUS 6407 HAS SOUPS 4773 WITH SCORE 4797.47
AT ITER 1833 NEW BEST:: SOT 38878 SOS 24472 HAS SOPS 9920 HAS SOUS 6406 HAS SOUPS 4772 WITH SCORE 4796.472
AT ITER 1842 NEW BEST:: SOT 38771 SOS 24357 HAS SOPS 9808 HAS SOUS 6303 HAS SOUPS 4669 WITH SCORE 4693.357
AT ITER 1848 NEW BEST:: SOT 38766 SOS 24352 HAS SOPS 9804 HAS SOUS 6298 HAS SOUPS 4665 WITH SCORE 4689.352
AT ITER 1865 NEW BEST:: SOT 38751 SOS 24347 HAS SOPS 9804 HAS SOUS 6299 HAS SOUPS 4664 WITH SCORE 4688.347
AT ITER 1874 NEW BEST:: SOT 38763 SOS 24287 HAS SOPS 9768 HAS SOUS 6291 HAS SOUPS 4656 WITH SCORE 4680.287
AT ITER 1876 NEW BEST:: SOT 38396 SOS 24018 HAS SOPS 9690 HAS SOUS 6351 HAS SOUPS 4654 WITH SCORE 4678.018
AT ITER 1888 NEW BEST:: SOT 38300 SOS 23997 HAS SOPS 9673 HAS SOUS 6346 HAS SOUPS 4649 WITH SCORE 4672.997
AT ITER 1938 NEW BEST:: SOT 38300 SOS 23997 HAS SOPS 9673 HAS SOUS 6340 HAS SOUPS 4643 WITH SCORE 4666.997
AT ITER 1950 NEW BEST:: SOT 38366 SOS 23906 HAS SOPS 9575 HAS SOUS 6322 HAS SOUPS 4626 WITH SCORE 4649.906
AT ITER 1953 NEW BEST:: SOT 38330 SOS 23890 HAS SOPS 9560 HAS SOUS 6326 HAS SOUPS 4622 WITH SCORE 4645.89
AT ITER 1959 NEW BEST:: SOT 38324 SOS 23884 HAS SOPS 9554 HAS SOUS 6320 HAS SOUPS 4616 WITH SCORE 4639.884
AT ITER 1980 NEW BEST:: SOT 38318 SOS 23872 HAS SOPS 9542 HAS SOUS 6322 HAS SOUPS 4614 WITH SCORE 4637.872
AT ITER 1981 NEW BEST:: SOT 38319 SOS 23834 HAS SOPS 9504 HAS SOUS 6302 HAS SOUPS 4594 WITH SCORE 4617.834
AT ITER 2000 NEW BEST:: SOT 38325 SOS 23837 HAS SOPS 9504 HAS SOUS 6296 HAS SOUPS 4591 WITH SCORE 4614.837
AT ITER 2001 NEW BEST:: SOT 38329 SOS 23835 HAS SOPS 9504 HAS SOUS 6290 HAS SOUPS 4585 WITH SCORE 4608.835
AT ITER 2023 NEW BEST:: SOT 38307 SOS 23813 HAS SOPS 9482 HAS SOUS 6272 HAS SOUPS 4567 WITH SCORE 4590.813
AT ITER 2073 NEW BEST:: SOT 38227 SOS 23777 HAS SOPS 9474 HAS SOUS 6281 HAS SOUPS 4559 WITH SCORE 4582.777
AT ITER 2090 NEW BEST:: SOT 38227 SOS 23779 HAS SOPS 9336 HAS SOUS 6284 HAS SOUPS 4541 WITH SCORE 4564.779
AT ITER 2144 NEW BEST:: SOT 38227 SOS 23773 HAS SOPS 9332 HAS SOUS 6282 HAS SOUPS 4539 WITH SCORE 4562.773
AT ITER 2145 NEW BEST:: SOT 38191 SOS 23753 HAS SOPS 9324 HAS SOUS 6286 HAS SOUPS 4535 WITH SCORE 4558.753
AT ITER 2163 NEW BEST:: SOT 38191 SOS 23744 HAS SOPS 9315 HAS SOUS 6284 HAS SOUPS 4533 WITH SCORE 4556.744
AT ITER 2206 NEW BEST:: SOT 38197 SOS 23744 HAS SOPS 9315 HAS SOUS 6278 HAS SOUPS 4530 WITH SCORE 4553.744
AT ITER 2224 NEW BEST:: SOT 38178 SOS 23756 HAS SOPS 9313 HAS SOUS 6280 HAS SOUPS 4523 WITH SCORE 4546.756
AT ITER 2227 NEW BEST:: SOT 38211 SOS 23747 HAS SOPS 9313 HAS SOUS 6279 HAS SOUPS 4523 WITH SCORE 4546.747
AT ITER 2269 NEW BEST:: SOT 38196 SOS 23737 HAS SOPS 9303 HAS SOUS 6274 HAS SOUPS 4518 WITH SCORE 4541.737
AT ITER 2305 NEW BEST:: SOT 38168 SOS 23702 HAS SOPS 9275 HAS SOUS 6274 HAS SOUPS 4518 WITH SCORE 4541.702
AT ITER 2313 NEW BEST:: SOT 38156 SOS 23776 HAS SOPS 9257 HAS SOUS 6274 HAS SOUPS 4514 WITH SCORE 4537.776
AT ITER 2314 NEW BEST:: SOT 38152 SOS 23776 HAS SOPS 9255 HAS SOUS 6275 HAS SOUPS 4513 WITH SCORE 4536.776
AT ITER 2322 NEW BEST:: SOT 38188 SOS 23848 HAS SOPS 9307 HAS SOUS 6251 HAS SOUPS 4509 WITH SCORE 4532.848
AT ITER 2323 NEW BEST:: SOT 38167 SOS 23839 HAS SOPS 9301 HAS SOUS 6245 HAS SOUPS 4503 WITH SCORE 4526.839
AT ITER 2341 NEW BEST:: SOT 38163 SOS 23941 HAS SOPS 9301 HAS SOUS 6243 HAS SOUPS 4501 WITH SCORE 4524.941
AT ITER 2349 NEW BEST:: SOT 38160 SOS 23938 HAS SOPS 9296 HAS SOUS 6238 HAS SOUPS 4496 WITH SCORE 4519.938
AT ITER 2366 NEW BEST:: SOT 38154 SOS 23886 HAS SOPS 9230 HAS SOUS 6239 HAS SOUPS 4490 WITH SCORE 4513.886
AT ITER 2367 NEW BEST:: SOT 38150 SOS 23862 HAS SOPS 9222 HAS SOUS 6253 HAS SOUPS 4488 WITH SCORE 4511.862
AT ITER 2375 NEW BEST:: SOT 38153 SOS 23859 HAS SOPS 9222 HAS SOUS 6253 HAS SOUPS 4488 WITH SCORE 4511.859
AT ITER 2382 NEW BEST:: SOT 38153 SOS 23858 HAS SOPS 9221 HAS SOUS 6251 HAS SOUPS 4486 WITH SCORE 4509.858
AT ITER 2415 NEW BEST:: SOT 38147 SOS 23828 HAS SOPS 9191 HAS SOUS 6221 HAS SOUPS 4456 WITH SCORE 4479.828
AT ITER 2492 NEW BEST:: SOT 38134 SOS 23823 HAS SOPS 9179 HAS SOUS 6209 HAS SOUPS 4444 WITH SCORE 4467.823
AT ITER 2510 NEW BEST:: SOT 38333 SOS 23374 HAS SOPS 9179 HAS SOUS 6196 HAS SOUPS 4444 WITH SCORE 4467.374
AT ITER 2523 NEW BEST:: SOT 38364 SOS 22790 HAS SOPS 9175 HAS SOUS 6192 HAS SOUPS 4440 WITH SCORE 4462.79
AT ITER 2568 NEW BEST:: SOT 38393 SOS 22798 HAS SOPS 9173 HAS SOUS 6189 HAS SOUPS 4439 WITH SCORE 4461.798
AT ITER 2584 NEW BEST:: SOT 38391 SOS 22794 HAS SOPS 9169 HAS SOUS 6189 HAS SOUPS 4439 WITH SCORE 4461.794
AT ITER 2642 NEW BEST:: SOT 38177 SOS 22570 HAS SOPS 8955 HAS SOUS 6092 HAS SOUPS 4342 WITH SCORE 4364.57
AT ITER 2689 NEW BEST:: SOT 38155 SOS 22526 HAS SOPS 8928 HAS SOUS 6083 HAS SOUPS 4329 WITH SCORE 4351.526
AT ITER 2700 NEW BEST:: SOT 38150 SOS 22521 HAS SOPS 8911 HAS SOUS 6081 HAS SOUPS 4327 WITH SCORE 4349.521
AT ITER 2773 NEW BEST:: SOT 38176 SOS 22493 HAS SOPS 8883 HAS SOUS 6096 HAS SOUPS 4326 WITH SCORE 4348.493
AT ITER 2784 NEW BEST:: SOT 38202 SOS 22545 HAS SOPS 8916 HAS SOUS 6050 HAS SOUPS 4280 WITH SCORE 4302.545
AT ITER 2813 NEW BEST:: SOT 38177 SOS 22531 HAS SOPS 8902 HAS SOUS 6047 HAS SOUPS 4277 WITH SCORE 4299.531
AT ITER 2814 NEW BEST:: SOT 38189 SOS 22533 HAS SOPS 8904 HAS SOUS 6043 HAS SOUPS 4275 WITH SCORE 4297.533
AT ITER 2816 NEW BEST:: SOT 38179 SOS 22494 HAS SOPS 8849 HAS SOUS 6023 HAS SOUPS 4255 WITH SCORE 4277.494
AT ITER 2837 NEW BEST:: SOT 38165 SOS 22478 HAS SOPS 8833 HAS SOUS 6023 HAS SOUPS 4255 WITH SCORE 4277.478
AT ITER 2854 NEW BEST:: SOT 38166 SOS 22476 HAS SOPS 8827 HAS SOUS 6022 HAS SOUPS 4254 WITH SCORE 4276.476
AT ITER 2864 NEW BEST:: SOT 38148 SOS 22440 HAS SOPS 8805 HAS SOUS 6030 HAS SOUPS 4248 WITH SCORE 4270.44
AT ITER 2890 NEW BEST:: SOT 38148 SOS 22440 HAS SOPS 8805 HAS SOUS 6029 HAS SOUPS 4247 WITH SCORE 4269.44
AT ITER 2892 NEW BEST:: SOT 37965 SOS 22928 HAS SOPS 8661 HAS SOUS 6028 HAS SOUPS 4229 WITH SCORE 4251.928
AT ITER 2904 NEW BEST:: SOT 37969 SOS 22924 HAS SOPS 8661 HAS SOUS 6024 HAS SOUPS 4225 WITH SCORE 4247.924
AT ITER 2952 NEW BEST:: SOT 37987 SOS 22927 HAS SOPS 8664 HAS SOUS 6015 HAS SOUPS 4219 WITH SCORE 4241.927
AT ITER 3048 NEW BEST:: SOT 37986 SOS 22925 HAS SOPS 8661 HAS SOUS 6012 HAS SOUPS 4217 WITH SCORE 4239.925
AT ITER 3107 NEW BEST:: SOT 37975 SOS 22912 HAS SOPS 8648 HAS SOUS 6007 HAS SOUPS 4212 WITH SCORE 4234.912
AT ITER 3212 NEW BEST:: SOT 37975 SOS 22906 HAS SOPS 8642 HAS SOUS 6004 HAS SOUPS 4209 WITH SCORE 4231.906
AT ITER 3230 NEW BEST:: SOT 37987 SOS 22920 HAS SOPS 8648 HAS SOUS 5992 HAS SOUPS 4205 WITH SCORE 4227.92
AT ITER 3257 NEW BEST:: SOT 37987 SOS 22910 HAS SOPS 8638 HAS SOUS 5984 HAS SOUPS 4197 WITH SCORE 4219.91
AT ITER 3261 NEW BEST:: SOT 38003 SOS 22858 HAS SOPS 8638 HAS SOUS 5976 HAS SOUPS 4197 WITH SCORE 4219.858
AT ITER 3308 NEW BEST:: SOT 38003 SOS 22857 HAS SOPS 8636 HAS SOUS 5973 HAS SOUPS 4193 WITH SCORE 4215.857
AT ITER 3336 NEW BEST:: SOT 38013 SOS 22867 HAS SOPS 8648 HAS SOUS 5959 HAS SOUPS 4186 WITH SCORE 4208.867
AT ITER 3362 NEW BEST:: SOT 38001 SOS 22853 HAS SOPS 8630 HAS SOUS 5960 HAS SOUPS 4186 WITH SCORE 4208.853
AT ITER 3372 NEW BEST:: SOT 37996 SOS 22848 HAS SOPS 8626 HAS SOUS 5955 HAS SOUPS 4182 WITH SCORE 4204.848
AT ITER 3432 NEW BEST:: SOT 37726 SOS 22828 HAS SOPS 8628 HAS SOUS 5977 HAS SOUPS 4164 WITH SCORE 4186.828
AT ITER 3437 NEW BEST:: SOT 37726 SOS 22827 HAS SOPS 8627 HAS SOUS 5976 HAS SOUPS 4163 WITH SCORE 4185.827
AT ITER 3447 NEW BEST:: SOT 37724 SOS 22825 HAS SOPS 8623 HAS SOUS 5974 HAS SOUPS 4159 WITH SCORE 4181.825
AT ITER 3521 NEW BEST:: SOT 37727 SOS 22814 HAS SOPS 8619 HAS SOUS 5964 HAS SOUPS 4149 WITH SCORE 4171.814
AT ITER 3619 NEW BEST:: SOT 37504 SOS 22586 HAS SOPS 8391 HAS SOUS 5956 HAS SOUPS 4131 WITH SCORE 4153.586
AT ITER 3717 NEW BEST:: SOT 37511 SOS 22592 HAS SOPS 8397 HAS SOUS 5952 HAS SOUPS 4127 WITH SCORE 4149.592
AT ITER 3725 NEW BEST:: SOT 37541 SOS 22612 HAS SOPS 8417 HAS SOUS 5950 HAS SOUPS 4125 WITH SCORE 4147.612
AT ITER 3760 NEW BEST:: SOT 37515 SOS 22586 HAS SOPS 8391 HAS SOUS 5950 HAS SOUPS 4125 WITH SCORE 4147.586
AT ITER 3815 NEW BEST:: SOT 37520 SOS 22582 HAS SOPS 8391 HAS SOUS 5950 HAS SOUPS 4125 WITH SCORE 4147.582
AT ITER 3847 NEW BEST:: SOT 37469 SOS 22537 HAS SOPS 8245 HAS SOUS 5939 HAS SOUPS 4095 WITH SCORE 4117.537
AT ITER 3885 NEW BEST:: SOT 37455 SOS 22523 HAS SOPS 8235 HAS SOUS 5925 HAS SOUPS 4085 WITH SCORE 4107.523
AT ITER 3916 NEW BEST:: SOT 37404 SOS 22472 HAS SOPS 8235 HAS SOUS 5925 HAS SOUPS 4085 WITH SCORE 4107.472
AT ITER 3943 NEW BEST:: SOT 37392 SOS 22472 HAS SOPS 8240 HAS SOUS 5929 HAS SOUPS 4084 WITH SCORE 4106.472
AT ITER 3947 NEW BEST:: SOT 37272 SOS 22352 HAS SOPS 8125 HAS SOUS 5855 HAS SOUPS 4010 WITH SCORE 4032.352
AT ITER 4001 NEW BEST:: SOT 37268 SOS 22348 HAS SOPS 8121 HAS SOUS 5851 HAS SOUPS 4006 WITH SCORE 4028.348
AT ITER 4007 NEW BEST:: SOT 37262 SOS 22342 HAS SOPS 8133 HAS SOUS 5842 HAS SOUPS 3997 WITH SCORE 4019.342
AT ITER 4022 NEW BEST:: SOT 37263 SOS 22332 HAS SOPS 8117 HAS SOUS 5832 HAS SOUPS 3990 WITH SCORE 4012.332
AT ITER 4031 NEW BEST:: SOT 37303 SOS 22334 HAS SOPS 8132 HAS SOUS 5816 HAS SOUPS 3975 WITH SCORE 3997.334
AT ITER 4037 NEW BEST:: SOT 37355 SOS 22394 HAS SOPS 8181 HAS SOUS 5813 HAS SOUPS 3972 WITH SCORE 3994.394
AT ITER 4063 NEW BEST:: SOT 37305 SOS 22916 HAS SOPS 8163 HAS SOUS 5816 HAS SOUPS 3966 WITH SCORE 3988.916
AT ITER 4091 NEW BEST:: SOT 37296 SOS 22969 HAS SOPS 8162 HAS SOUS 5816 HAS SOUPS 3965 WITH SCORE 3987.969
AT ITER 4101 NEW BEST:: SOT 37292 SOS 22967 HAS SOPS 8160 HAS SOUS 5814 HAS SOUPS 3963 WITH SCORE 3985.967
AT ITER 4111 NEW BEST:: SOT 37204 SOS 22879 HAS SOPS 8079 HAS SOUS 5787 HAS SOUPS 3936 WITH SCORE 3958.879
AT ITER 4157 NEW BEST:: SOT 37137 SOS 22973 HAS SOPS 8075 HAS SOUS 5799 HAS SOUPS 3932 WITH SCORE 3954.973
AT ITER 4194 NEW BEST:: SOT 37197 SOS 22953 HAS SOPS 8075 HAS SOUS 5810 HAS SOUPS 3932 WITH SCORE 3954.953
AT ITER 4257 NEW BEST:: SOT 37201 SOS 22943 HAS SOPS 8063 HAS SOUS 5804 HAS SOUPS 3928 WITH SCORE 3950.943
AT ITER 4302 NEW BEST:: SOT 37196 SOS 22941 HAS SOPS 8061 HAS SOUS 5804 HAS SOUPS 3926 WITH SCORE 3948.941
AT ITER 4336 NEW BEST:: SOT 37204 SOS 22949 HAS SOPS 8065 HAS SOUS 5806 HAS SOUPS 3924 WITH SCORE 3946.949
AT ITER 4340 NEW BEST:: SOT 37206 SOS 22947 HAS SOPS 8061 HAS SOUS 5800 HAS SOUPS 3920 WITH SCORE 3942.947
AT ITER 4351 NEW BEST:: SOT 37202 SOS 22921 HAS SOPS 8036 HAS SOUS 5783 HAS SOUPS 3904 WITH SCORE 3926.921
AT ITER 4365 NEW BEST:: SOT 37202 SOS 22921 HAS SOPS 8036 HAS SOUS 5782 HAS SOUPS 3903 WITH SCORE 3925.921
AT ITER 4375 NEW BEST:: SOT 36798 SOS 23777 HAS SOPS 8034 HAS SOUS 5908 HAS SOUPS 3901 WITH SCORE 3924.777
AT ITER 4384 NEW BEST:: SOT 36793 SOS 23756 HAS SOPS 8014 HAS SOUS 5891 HAS SOUPS 3884 WITH SCORE 3907.756
AT ITER 4392 NEW BEST:: SOT 36827 SOS 23773 HAS SOPS 8014 HAS SOUS 5857 HAS SOUPS 3863 WITH SCORE 3886.773
AT ITER 4586 NEW BEST:: SOT 36800 SOS 23750 HAS SOPS 8000 HAS SOUS 5851 HAS SOUPS 3857 WITH SCORE 3880.75
AT ITER 4625 NEW BEST:: SOT 36752 SOS 23710 HAS SOPS 7960 HAS SOUS 5843 HAS SOUPS 3849 WITH SCORE 3872.71
AT ITER 4662 NEW BEST:: SOT 36748 SOS 23706 HAS SOPS 7964 HAS SOUS 5847 HAS SOUPS 3849 WITH SCORE 3872.706
AT ITER 4695 NEW BEST:: SOT 36756 SOS 23710 HAS SOPS 7962 HAS SOUS 5836 HAS SOUPS 3844 WITH SCORE 3867.71
AT ITER 4717 NEW BEST:: SOT 36755 SOS 23702 HAS SOPS 7960 HAS SOUS 5829 HAS SOUPS 3843 WITH SCORE 3866.702
AT ITER 4727 NEW BEST:: SOT 36744 SOS 23679 HAS SOPS 7933 HAS SOUS 5806 HAS SOUPS 3816 WITH SCORE 3839.679
AT ITER 4747 NEW BEST:: SOT 36702 SOS 23647 HAS SOPS 7933 HAS SOUS 5806 HAS SOUPS 3816 WITH SCORE 3839.647
AT ITER 4789 NEW BEST:: SOT 36657 SOS 23642 HAS SOPS 7931 HAS SOUS 5807 HAS SOUPS 3814 WITH SCORE 3837.642
AT ITER 4929 NEW BEST:: SOT 36642 SOS 23627 HAS SOPS 7931 HAS SOUS 5792 HAS SOUPS 3814 WITH SCORE 3837.627
AT ITER 4946 NEW BEST:: SOT 36620 SOS 23608 HAS SOPS 7912 HAS SOUS 5783 HAS SOUPS 3805 WITH SCORE 3828.608
AT ITER 5025 NEW BEST:: SOT 36589 SOS 23577 HAS SOPS 7881 HAS SOUS 5772 HAS SOUPS 3794 WITH SCORE 3817.577
AT ITER 5045 NEW BEST:: SOT 36589 SOS 23575 HAS SOPS 7885 HAS SOUS 5768 HAS SOUPS 3791 WITH SCORE 3814.575
AT ITER 5049 NEW BEST:: SOT 36587 SOS 23573 HAS SOPS 7883 HAS SOUS 5760 HAS SOUPS 3783 WITH SCORE 3806.573
AT ITER 5060 NEW BEST:: SOT 36586 SOS 23583 HAS SOPS 7887 HAS SOUS 5757 HAS SOUPS 3780 WITH SCORE 3803.583
AT ITER 5082 NEW BEST:: SOT 36587 SOS 23581 HAS SOPS 7885 HAS SOUS 5755 HAS SOUPS 3778 WITH SCORE 3801.581
AT ITER 5090 NEW BEST:: SOT 36585 SOS 23581 HAS SOPS 7885 HAS SOUS 5754 HAS SOUPS 3777 WITH SCORE 3800.581
AT ITER 5126 NEW BEST:: SOT 36572 SOS 23568 HAS SOPS 7874 HAS SOUS 5751 HAS SOUPS 3772 WITH SCORE 3795.568
AT ITER 5164 NEW BEST:: SOT 36509 SOS 23540 HAS SOPS 7874 HAS SOUS 5743 HAS SOUPS 3772 WITH SCORE 3795.54
AT ITER 5179 NEW BEST:: SOT 36511 SOS 23535 HAS SOPS 7890 HAS SOUS 5738 HAS SOUPS 3770 WITH SCORE 3793.535
AT ITER 5182 NEW BEST:: SOT 36512 SOS 23536 HAS SOPS 7890 HAS SOUS 5737 HAS SOUPS 3769 WITH SCORE 3792.536
AT ITER 5326 NEW BEST:: SOT 36511 SOS 23533 HAS SOPS 7888 HAS SOUS 5736 HAS SOUPS 3768 WITH SCORE 3791.533
AT ITER 5351 NEW BEST:: SOT 36509 SOS 23521 HAS SOPS 7868 HAS SOUS 5727 HAS SOUPS 3759 WITH SCORE 3782.521
AT ITER 5433 NEW BEST:: SOT 36498 SOS 23507 HAS SOPS 7858 HAS SOUS 5723 HAS SOUPS 3755 WITH SCORE 3778.507
AT ITER 5496 NEW BEST:: SOT 36516 SOS 23501 HAS SOPS 7850 HAS SOUS 5708 HAS SOUPS 3746 WITH SCORE 3769.501
AT ITER 5534 NEW BEST:: SOT 36512 SOS 23500 HAS SOPS 7847 HAS SOUS 5706 HAS SOUPS 3742 WITH SCORE 3765.5
AT ITER 5626 NEW BEST:: SOT 36448 SOS 23453 HAS SOPS 7824 HAS SOUS 5704 HAS SOUPS 3740 WITH SCORE 3763.453
AT ITER 5664 NEW BEST:: SOT 36457 SOS 23444 HAS SOPS 7824 HAS SOUS 5695 HAS SOUPS 3740 WITH SCORE 3763.444
AT ITER 5688 NEW BEST:: SOT 36428 SOS 23439 HAS SOPS 7824 HAS SOUS 5680 HAS SOUPS 3729 WITH SCORE 3752.439
AT ITER 5716 NEW BEST:: SOT 36424 SOS 23435 HAS SOPS 7821 HAS SOUS 5679 HAS SOUPS 3727 WITH SCORE 3750.435
AT ITER 5721 NEW BEST:: SOT 36424 SOS 23427 HAS SOPS 7821 HAS SOUS 5681 HAS SOUPS 3727 WITH SCORE 3750.427
AT ITER 5727 NEW BEST:: SOT 36440 SOS 23409 HAS SOPS 7821 HAS SOUS 5679 HAS SOUPS 3727 WITH SCORE 3750.409
AT ITER 5831 NEW BEST:: SOT 36482 SOS 23221 HAS SOPS 7825 HAS SOUS 5675 HAS SOUPS 3727 WITH SCORE 3750.221
AT ITER 5845 NEW BEST:: SOT 36481 SOS 23220 HAS SOPS 7823 HAS SOUS 5675 HAS SOUPS 3727 WITH SCORE 3750.22
AT ITER 5988 NEW BEST:: SOT 36463 SOS 23196 HAS SOPS 7805 HAS SOUS 5673 HAS SOUPS 3725 WITH SCORE 3748.196
AT ITER 6060 NEW BEST:: SOT 36300 SOS 23117 HAS SOPS 7805 HAS SOUS 5633 HAS SOUPS 3725 WITH SCORE 3748.117
AT ITER 6102 NEW BEST:: SOT 36300 SOS 23110 HAS SOPS 7799 HAS SOUS 5629 HAS SOUPS 3722 WITH SCORE 3745.11
AT ITER 6137 NEW BEST:: SOT 36298 SOS 23108 HAS SOPS 7795 HAS SOUS 5625 HAS SOUPS 3718 WITH SCORE 3741.108
AT ITER 6215 NEW BEST:: SOT 36270 SOS 23075 HAS SOPS 7771 HAS SOUS 5621 HAS SOUPS 3710 WITH SCORE 3733.075
AT ITER 6298 NEW BEST:: SOT 36273 SOS 23078 HAS SOPS 7779 HAS SOUS 5616 HAS SOUPS 3708 WITH SCORE 3731.078
AT ITER 6324 NEW BEST:: SOT 36275 SOS 23076 HAS SOPS 7779 HAS SOUS 5614 HAS SOUPS 3706 WITH SCORE 3729.076
AT ITER 6376 NEW BEST:: SOT 36273 SOS 23072 HAS SOPS 7649 HAS SOUS 5610 HAS SOUPS 3702 WITH SCORE 3725.072
AT ITER 6468 NEW BEST:: SOT 36270 SOS 23069 HAS SOPS 7646 HAS SOUS 5607 HAS SOUPS 3699 WITH SCORE 3722.069
AT ITER 6538 NEW BEST:: SOT 36269 SOS 23067 HAS SOPS 7644 HAS SOUS 5606 HAS SOUPS 3698 WITH SCORE 3721.067
AT ITER 6558 NEW BEST:: SOT 36111 SOS 22905 HAS SOPS 7474 HAS SOUS 5582 HAS SOUPS 3674 WITH SCORE 3696.905
AT ITER 6574 NEW BEST:: SOT 36110 SOS 22889 HAS SOPS 7458 HAS SOUS 5569 HAS SOUPS 3661 WITH SCORE 3683.889
AT ITER 6590 NEW BEST:: SOT 36108 SOS 22886 HAS SOPS 7457 HAS SOUS 5568 HAS SOUPS 3660 WITH SCORE 3682.886
AT ITER 6683 NEW BEST:: SOT 36132 SOS 22558 HAS SOPS 7457 HAS SOUS 5578 HAS SOUPS 3660 WITH SCORE 3682.558
AT ITER 6701 NEW BEST:: SOT 36131 SOS 22552 HAS SOPS 7451 HAS SOUS 5573 HAS SOUPS 3655 WITH SCORE 3677.552
AT ITER 6761 NEW BEST:: SOT 36130 SOS 22552 HAS SOPS 7449 HAS SOUS 5570 HAS SOUPS 3652 WITH SCORE 3674.552
AT ITER 6833 NEW BEST:: SOT 36155 SOS 22460 HAS SOPS 7449 HAS SOUS 5568 HAS SOUPS 3652 WITH SCORE 3674.46
AT ITER 6854 NEW BEST:: SOT 36132 SOS 22448 HAS SOPS 7438 HAS SOUS 5567 HAS SOUPS 3651 WITH SCORE 3673.448
AT ITER 6930 NEW BEST:: SOT 36225 SOS 22433 HAS SOPS 7438 HAS SOUS 5570 HAS SOUPS 3651 WITH SCORE 3673.433
AT ITER 7005 NEW BEST:: SOT 36210 SOS 22418 HAS SOPS 7408 HAS SOUS 5567 HAS SOUPS 3634 WITH SCORE 3656.418
AT ITER 7015 NEW BEST:: SOT 36179 SOS 22385 HAS SOPS 7377 HAS SOUS 5562 HAS SOUPS 3629 WITH SCORE 3651.385
AT ITER 7016 NEW BEST:: SOT 36175 SOS 22381 HAS SOPS 7373 HAS SOUS 5558 HAS SOUPS 3625 WITH SCORE 3647.381
AT ITER 7123 NEW BEST:: SOT 36157 SOS 22375 HAS SOPS 7359 HAS SOUS 5557 HAS SOUPS 3624 WITH SCORE 3646.375
AT ITER 7146 NEW BEST:: SOT 36148 SOS 22365 HAS SOPS 7358 HAS SOUS 5556 HAS SOUPS 3623 WITH SCORE 3645.365
AT ITER 7187 NEW BEST:: SOT 36152 SOS 22364 HAS SOPS 7357 HAS SOUS 5555 HAS SOUPS 3622 WITH SCORE 3644.364
AT ITER 7197 NEW BEST:: SOT 36150 SOS 22362 HAS SOPS 7348 HAS SOUS 5555 HAS SOUPS 3621 WITH SCORE 3643.362
AT ITER 7389 NEW BEST:: SOT 36154 SOS 22319 HAS SOPS 7441 HAS SOUS 5546 HAS SOUPS 3612 WITH SCORE 3634.319
AT ITER 7802 NEW BEST:: SOT 36143 SOS 22318 HAS SOPS 7384 HAS SOUS 5552 HAS SOUPS 3611 WITH SCORE 3633.318
AT ITER 7817 NEW BEST:: SOT 36140 SOS 22312 HAS SOPS 7382 HAS SOUS 5554 HAS SOUPS 3611 WITH SCORE 3633.312
AT ITER 7865 NEW BEST:: SOT 36056 SOS 22696 HAS SOPS 7380 HAS SOUS 5551 HAS SOUPS 3608 WITH SCORE 3630.696
AT ITER 7898 NEW BEST:: SOT 36043 SOS 22683 HAS SOPS 7368 HAS SOUS 5548 HAS SOUPS 3605 WITH SCORE 3627.683
AT ITER 7907 NEW BEST:: SOT 36040 SOS 22682 HAS SOPS 7359 HAS SOUS 5547 HAS SOUPS 3603 WITH SCORE 3625.682
AT ITER 7930 NEW BEST:: SOT 36004 SOS 22666 HAS SOPS 7355 HAS SOUS 5551 HAS SOUPS 3599 WITH SCORE 3621.666
AT ITER 7968 NEW BEST:: SOT 36000 SOS 22653 HAS SOPS 7382 HAS SOUS 5546 HAS SOUPS 3594 WITH SCORE 3616.653
AT ITER 8049 NEW BEST:: SOT 36021 SOS 22629 HAS SOPS 7382 HAS SOUS 5545 HAS SOUPS 3594 WITH SCORE 3616.629
AT ITER 8141 NEW BEST:: SOT 36018 SOS 22620 HAS SOPS 7376 HAS SOUS 5545 HAS SOUPS 3591 WITH SCORE 3613.62
AT ITER 8165 NEW BEST:: SOT 36015 SOS 22617 HAS SOPS 7374 HAS SOUS 5542 HAS SOUPS 3589 WITH SCORE 3611.617
AT ITER 8233 NEW BEST:: SOT 36012 SOS 22612 HAS SOPS 7361 HAS SOUS 5537 HAS SOUPS 3584 WITH SCORE 3606.612
AT ITER 8275 NEW BEST:: SOT 36045 SOS 22594 HAS SOPS 7361 HAS SOUS 5531 HAS SOUPS 3584 WITH SCORE 3606.594
AT ITER 8298 NEW BEST:: SOT 36044 SOS 22591 HAS SOPS 7359 HAS SOUS 5532 HAS SOUPS 3584 WITH SCORE 3606.591
AT ITER 8378 NEW BEST:: SOT 36042 SOS 22587 HAS SOPS 7355 HAS SOUS 5532 HAS SOUPS 3584 WITH SCORE 3606.587
AT ITER 8471 NEW BEST:: SOT 36041 SOS 22585 HAS SOPS 7356 HAS SOUS 5535 HAS SOUPS 3584 WITH SCORE 3606.585
AT ITER 8479 NEW BEST:: SOT 35978 SOS 22522 HAS SOPS 7293 HAS SOUS 5529 HAS SOUPS 3578 WITH SCORE 3600.522
AT ITER 8553 NEW BEST:: SOT 35982 SOS 22523 HAS SOPS 7283 HAS SOUS 5519 HAS SOUPS 3574 WITH SCORE 3596.523
AT ITER 8557 NEW BEST:: SOT 35983 SOS 22524 HAS SOPS 7283 HAS SOUS 5519 HAS SOUPS 3573 WITH SCORE 3595.524
AT ITER 8597 NEW BEST:: SOT 35932 SOS 22547 HAS SOPS 7277 HAS SOUS 5528 HAS SOUPS 3572 WITH SCORE 3594.547
AT ITER 8708 NEW BEST:: SOT 35829 SOS 22434 HAS SOPS 7170 HAS SOUS 5524 HAS SOUPS 3568 WITH SCORE 3590.434
AT ITER 8727 NEW BEST:: SOT 35821 SOS 22430 HAS SOPS 7166 HAS SOUS 5520 HAS SOUPS 3564 WITH SCORE 3586.43
AT ITER 8756 NEW BEST:: SOT 35833 SOS 22404 HAS SOPS 7146 HAS SOUS 5503 HAS SOUPS 3547 WITH SCORE 3569.404
AT ITER 8918 NEW BEST:: SOT 35799 SOS 22370 HAS SOPS 7146 HAS SOUS 5503 HAS SOUPS 3547 WITH SCORE 3569.37
AT ITER 8931 NEW BEST:: SOT 35799 SOS 22369 HAS SOPS 7145 HAS SOUS 5503 HAS SOUPS 3547 WITH SCORE 3569.369
AT ITER 8938 NEW BEST:: SOT 35794 SOS 22362 HAS SOPS 7138 HAS SOUS 5497 HAS SOUPS 3541 WITH SCORE 3563.362
AT ITER 9149 NEW BEST:: SOT 35780 SOS 22356 HAS SOPS 7132 HAS SOUS 5493 HAS SOUPS 3535 WITH SCORE 3557.356
AT ITER 9364 NEW BEST:: SOT 35778 SOS 22353 HAS SOPS 7131 HAS SOUS 5491 HAS SOUPS 3533 WITH SCORE 3555.353
AT ITER 9370 NEW BEST:: SOT 35778 SOS 22352 HAS SOPS 7131 HAS SOUS 5490 HAS SOUPS 3533 WITH SCORE 3555.352
AT ITER 9412 NEW BEST:: SOT 35763 SOS 22349 HAS SOPS 7131 HAS SOUS 5490 HAS SOUPS 3533 WITH SCORE 3555.349
AT ITER 9599 NEW BEST:: SOT 35759 SOS 22350 HAS SOPS 7131 HAS SOUS 5489 HAS SOUPS 3532 WITH SCORE 3554.35
AT ITER 9749 NEW BEST:: SOT 35749 SOS 22346 HAS SOPS 7127 HAS SOUS 5485 HAS SOUPS 3528 WITH SCORE 3550.346
AT ITER 9788 NEW BEST:: SOT 35749 SOS 22334 HAS SOPS 7119 HAS SOUS 5481 HAS SOUPS 3524 WITH SCORE 3546.334
AT ITER 9865 NEW BEST:: SOT 35745 SOS 22330 HAS SOPS 7117 HAS SOUS 5477 HAS SOUPS 3522 WITH SCORE 3544.33
AT ITER 9911 NEW BEST:: SOT 35744 SOS 22329 HAS SOPS 7115 HAS SOUS 5475 HAS SOUPS 3520 WITH SCORE 3542.329
AT ITER 9993 NEW BEST:: SOT 35772 SOS 22357 HAS SOPS 7139 HAS SOUS 5472 HAS SOUPS 3517 WITH SCORE 3539.357
STATE_SPACE STATES 7091029 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 17 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 508602470 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678300376396

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

Sequence of Actions to be Executed by the VM

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

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

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