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.r355-smll-167891803400400.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 SemanticWebServices-PT-S128P12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891803400400
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 652K
-rw-r--r-- 1 mcc users 6.7K Feb 26 10:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 10:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 26 10:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 10:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 10:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 26 10:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 26 10:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K Feb 26 10:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 224K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679930451210

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=SemanticWebServices-PT-S128P12
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SemanticWebServices (PT), instance S128P12
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: 191 places, 414 transitions, 1559 arcs.
AT ITER 0 NEW BEST:: SOT 67994 SOS 44482 HAS SOPS 39582 HAS SOUS 17984 HAS SOUPS 16325 WITH SCORE 16369.482
AT ITER 1 NEW BEST:: SOT 67994 SOS 44396 HAS SOPS 39496 HAS SOUS 17905 HAS SOUPS 16246 WITH SCORE 16290.396
AT ITER 5 NEW BEST:: SOT 67994 SOS 44638 HAS SOPS 39738 HAS SOUS 17696 HAS SOUPS 16037 WITH SCORE 16081.638
AT ITER 6 NEW BEST:: SOT 67994 SOS 44674 HAS SOPS 39738 HAS SOUS 17642 HAS SOUPS 15965 WITH SCORE 16009.674
AT ITER 7 NEW BEST:: SOT 67994 SOS 44668 HAS SOPS 39732 HAS SOUS 17642 HAS SOUPS 15965 WITH SCORE 16009.668
AT ITER 8 NEW BEST:: SOT 68064 SOS 44828 HAS SOPS 39892 HAS SOUS 17575 HAS SOUPS 15898 WITH SCORE 15942.828
AT ITER 15 NEW BEST:: SOT 68190 SOS 44685 HAS SOPS 39749 HAS SOUS 17539 HAS SOUPS 15862 WITH SCORE 15906.685
AT ITER 17 NEW BEST:: SOT 68190 SOS 44695 HAS SOPS 39759 HAS SOUS 17534 HAS SOUPS 15857 WITH SCORE 15901.695
AT ITER 19 NEW BEST:: SOT 68364 SOS 44957 HAS SOPS 40005 HAS SOUS 17200 HAS SOUPS 15515 WITH SCORE 15559.957
AT ITER 20 NEW BEST:: SOT 68364 SOS 45011 HAS SOPS 39955 HAS SOUS 17244 HAS SOUPS 15507 WITH SCORE 15552.011
AT ITER 21 NEW BEST:: SOT 68364 SOS 45011 HAS SOPS 39955 HAS SOUS 17152 HAS SOUPS 15415 WITH SCORE 15460.011
AT ITER 22 NEW BEST:: SOT 68364 SOS 44999 HAS SOPS 39943 HAS SOUS 17148 HAS SOUPS 15411 WITH SCORE 15455.999
AT ITER 23 NEW BEST:: SOT 68364 SOS 44997 HAS SOPS 39941 HAS SOUS 17121 HAS SOUPS 15384 WITH SCORE 15428.997
AT ITER 24 NEW BEST:: SOT 68364 SOS 44565 HAS SOPS 39421 HAS SOUS 17162 HAS SOUPS 15381 WITH SCORE 15425.565
AT ITER 26 NEW BEST:: SOT 68364 SOS 44567 HAS SOPS 39423 HAS SOUS 16850 HAS SOUPS 15069 WITH SCORE 15113.567
AT ITER 33 NEW BEST:: SOT 68364 SOS 44491 HAS SOPS 39281 HAS SOUS 16855 HAS SOUPS 15041 WITH SCORE 15085.491
AT ITER 35 NEW BEST:: SOT 68364 SOS 44435 HAS SOPS 39225 HAS SOUS 16824 HAS SOUPS 15010 WITH SCORE 15054.435
AT ITER 37 NEW BEST:: SOT 68364 SOS 44323 HAS SOPS 39101 HAS SOUS 16768 HAS SOUPS 14948 WITH SCORE 14992.323
AT ITER 38 NEW BEST:: SOT 68364 SOS 44395 HAS SOPS 39173 HAS SOUS 16699 HAS SOUPS 14879 WITH SCORE 14923.395
AT ITER 39 NEW BEST:: SOT 68364 SOS 44583 HAS SOPS 39361 HAS SOUS 16485 HAS SOUPS 14665 WITH SCORE 14709.583
AT ITER 40 NEW BEST:: SOT 68364 SOS 44537 HAS SOPS 39315 HAS SOUS 16462 HAS SOUPS 14642 WITH SCORE 14686.537
AT ITER 42 NEW BEST:: SOT 68364 SOS 44469 HAS SOPS 39267 HAS SOUS 16428 HAS SOUPS 14618 WITH SCORE 14662.469
AT ITER 45 NEW BEST:: SOT 68364 SOS 44443 HAS SOPS 39267 HAS SOUS 16415 HAS SOUPS 14618 WITH SCORE 14662.443
AT ITER 47 NEW BEST:: SOT 68364 SOS 43879 HAS SOPS 38659 HAS SOUS 16331 HAS SOUPS 14512 WITH SCORE 14555.879
AT ITER 51 NEW BEST:: SOT 68364 SOS 43891 HAS SOPS 38671 HAS SOUS 16328 HAS SOUPS 14509 WITH SCORE 14552.891
AT ITER 52 NEW BEST:: SOT 68364 SOS 43887 HAS SOPS 38643 HAS SOUS 16326 HAS SOUPS 14495 WITH SCORE 14538.887
AT ITER 56 NEW BEST:: SOT 68396 SOS 43749 HAS SOPS 38465 HAS SOUS 16211 HAS SOUPS 14360 WITH SCORE 14403.749
AT ITER 63 NEW BEST:: SOT 68396 SOS 43757 HAS SOPS 38473 HAS SOUS 16207 HAS SOUPS 14356 WITH SCORE 14399.757
AT ITER 66 NEW BEST:: SOT 68390 SOS 44111 HAS SOPS 38827 HAS SOUS 16201 HAS SOUPS 14350 WITH SCORE 14394.111
AT ITER 68 NEW BEST:: SOT 68390 SOS 44095 HAS SOPS 38819 HAS SOUS 16193 HAS SOUPS 14346 WITH SCORE 14390.095
AT ITER 70 NEW BEST:: SOT 68330 SOS 44011 HAS SOPS 38735 HAS SOUS 16185 HAS SOUPS 14338 WITH SCORE 14382.011
AT ITER 71 NEW BEST:: SOT 68245 SOS 43266 HAS SOPS 38330 HAS SOUS 16175 HAS SOUPS 14328 WITH SCORE 14371.266
AT ITER 72 NEW BEST:: SOT 67934 SOS 44856 HAS SOPS 38128 HAS SOUS 16208 HAS SOUPS 14247 WITH SCORE 14291.856
AT ITER 73 NEW BEST:: SOT 67934 SOS 44652 HAS SOPS 37924 HAS SOUS 16145 HAS SOUPS 14184 WITH SCORE 14228.652
AT ITER 78 NEW BEST:: SOT 67934 SOS 44602 HAS SOPS 37874 HAS SOUS 16120 HAS SOUPS 14159 WITH SCORE 14203.602
AT ITER 79 NEW BEST:: SOT 67934 SOS 44380 HAS SOPS 37652 HAS SOUS 15890 HAS SOUPS 13929 WITH SCORE 13973.38
AT ITER 81 NEW BEST:: SOT 67934 SOS 43906 HAS SOPS 37178 HAS SOUS 15731 HAS SOUPS 13770 WITH SCORE 13813.906
AT ITER 86 NEW BEST:: SOT 67934 SOS 43888 HAS SOPS 37178 HAS SOUS 15741 HAS SOUPS 13770 WITH SCORE 13813.888
AT ITER 88 NEW BEST:: SOT 67924 SOS 43866 HAS SOPS 37156 HAS SOUS 15725 HAS SOUPS 13754 WITH SCORE 13797.866
AT ITER 91 NEW BEST:: SOT 67924 SOS 43870 HAS SOPS 37152 HAS SOUS 15727 HAS SOUPS 13752 WITH SCORE 13795.87
AT ITER 95 NEW BEST:: SOT 67924 SOS 43584 HAS SOPS 36866 HAS SOUS 15718 HAS SOUPS 13743 WITH SCORE 13786.584
AT ITER 100 NEW BEST:: SOT 67924 SOS 43536 HAS SOPS 36842 HAS SOUS 15694 HAS SOUPS 13731 WITH SCORE 13774.536
AT ITER 105 NEW BEST:: SOT 54502 SOS 33954 HAS SOPS 30428 HAS SOUS 9714 HAS SOUPS 8693 WITH SCORE 8726.954
AT ITER 111 NEW BEST:: SOT 54588 SOS 33944 HAS SOPS 30418 HAS SOUS 9648 HAS SOUPS 8627 WITH SCORE 8660.944
AT ITER 115 NEW BEST:: SOT 54574 SOS 33930 HAS SOPS 30404 HAS SOUS 9641 HAS SOUPS 8620 WITH SCORE 8653.93
AT ITER 118 NEW BEST:: SOT 54460 SOS 33860 HAS SOPS 30290 HAS SOUS 9577 HAS SOUPS 8563 WITH SCORE 8596.86
AT ITER 119 NEW BEST:: SOT 54460 SOS 33358 HAS SOPS 29792 HAS SOUS 9561 HAS SOUPS 8549 WITH SCORE 8582.358
AT ITER 121 NEW BEST:: SOT 54458 SOS 33356 HAS SOPS 29790 HAS SOUS 9559 HAS SOUPS 8547 WITH SCORE 8580.356
AT ITER 125 NEW BEST:: SOT 54442 SOS 33340 HAS SOPS 29774 HAS SOUS 9551 HAS SOUPS 8539 WITH SCORE 8572.34
AT ITER 126 NEW BEST:: SOT 54408 SOS 33328 HAS SOPS 29784 HAS SOUS 9534 HAS SOUPS 8533 WITH SCORE 8566.328
AT ITER 128 NEW BEST:: SOT 54408 SOS 33092 HAS SOPS 29470 HAS SOUS 9418 HAS SOUPS 8378 WITH SCORE 8411.092
AT ITER 131 NEW BEST:: SOT 54222 SOS 32854 HAS SOPS 29284 HAS SOUS 9390 HAS SOUPS 8350 WITH SCORE 8382.854
AT ITER 133 NEW BEST:: SOT 54150 SOS 32782 HAS SOPS 29212 HAS SOUS 9362 HAS SOUPS 8322 WITH SCORE 8354.782
AT ITER 136 NEW BEST:: SOT 53994 SOS 32626 HAS SOPS 29056 HAS SOUS 9208 HAS SOUPS 8168 WITH SCORE 8200.626
AT ITER 143 NEW BEST:: SOT 53846 SOS 32478 HAS SOPS 28908 HAS SOUS 9166 HAS SOUPS 8126 WITH SCORE 8158.478
AT ITER 145 NEW BEST:: SOT 53846 SOS 32492 HAS SOPS 28906 HAS SOUS 9173 HAS SOUPS 8125 WITH SCORE 8157.492
AT ITER 148 NEW BEST:: SOT 53758 SOS 32404 HAS SOPS 28818 HAS SOUS 9085 HAS SOUPS 8037 WITH SCORE 8069.404
AT ITER 149 NEW BEST:: SOT 53658 SOS 32304 HAS SOPS 28718 HAS SOUS 9066 HAS SOUPS 8018 WITH SCORE 8050.304
AT ITER 150 NEW BEST:: SOT 53640 SOS 32290 HAS SOPS 28710 HAS SOUS 9059 HAS SOUPS 8014 WITH SCORE 8046.29
AT ITER 152 NEW BEST:: SOT 53542 SOS 32282 HAS SOPS 28734 HAS SOUS 9042 HAS SOUPS 8013 WITH SCORE 8045.282
AT ITER 163 NEW BEST:: SOT 53524 SOS 31844 HAS SOPS 28296 HAS SOUS 9032 HAS SOUPS 8003 WITH SCORE 8034.844
AT ITER 167 NEW BEST:: SOT 53524 SOS 31832 HAS SOPS 28290 HAS SOUS 9026 HAS SOUPS 8000 WITH SCORE 8031.832
AT ITER 168 NEW BEST:: SOT 53524 SOS 31832 HAS SOPS 28290 HAS SOUS 8940 HAS SOUPS 7914 WITH SCORE 7945.832
AT ITER 173 NEW BEST:: SOT 52860 SOS 31205 HAS SOPS 27663 HAS SOUS 8616 HAS SOUPS 7590 WITH SCORE 7621.205
AT ITER 174 NEW BEST:: SOT 52804 SOS 31149 HAS SOPS 27607 HAS SOUS 8570 HAS SOUPS 7544 WITH SCORE 7575.149
AT ITER 181 NEW BEST:: SOT 52512 SOS 30867 HAS SOPS 27325 HAS SOUS 8565 HAS SOUPS 7539 WITH SCORE 7569.867
AT ITER 182 NEW BEST:: SOT 52466 SOS 30861 HAS SOPS 27305 HAS SOUS 8562 HAS SOUPS 7529 WITH SCORE 7559.861
AT ITER 185 NEW BEST:: SOT 52390 SOS 30785 HAS SOPS 27229 HAS SOUS 8562 HAS SOUPS 7529 WITH SCORE 7559.785
AT ITER 187 NEW BEST:: SOT 52372 SOS 30767 HAS SOPS 27211 HAS SOUS 8553 HAS SOUPS 7520 WITH SCORE 7550.767
AT ITER 188 NEW BEST:: SOT 49298 SOS 39275 HAS SOPS 38627 HAS SOUS 7463 HAS SOUPS 7317 WITH SCORE 7356.275
AT ITER 192 NEW BEST:: SOT 49266 SOS 39243 HAS SOPS 38595 HAS SOUS 7455 HAS SOUPS 7309 WITH SCORE 7348.243
AT ITER 195 NEW BEST:: SOT 49302 SOS 39279 HAS SOPS 38631 HAS SOUS 7443 HAS SOUPS 7297 WITH SCORE 7336.279
AT ITER 196 NEW BEST:: SOT 49290 SOS 39267 HAS SOPS 38619 HAS SOUS 7437 HAS SOUPS 7291 WITH SCORE 7330.267
AT ITER 202 NEW BEST:: SOT 49574 SOS 39437 HAS SOPS 38789 HAS SOUS 7352 HAS SOUPS 7206 WITH SCORE 7245.437
AT ITER 206 NEW BEST:: SOT 49610 SOS 39435 HAS SOPS 38749 HAS SOUS 7337 HAS SOUPS 7172 WITH SCORE 7211.435
AT ITER 207 NEW BEST:: SOT 49610 SOS 39435 HAS SOPS 38749 HAS SOUS 7281 HAS SOUPS 7116 WITH SCORE 7155.435
AT ITER 210 NEW BEST:: SOT 49648 SOS 39285 HAS SOPS 38567 HAS SOUS 7297 HAS SOUPS 7116 WITH SCORE 7155.285
AT ITER 213 NEW BEST:: SOT 49698 SOS 39335 HAS SOPS 38617 HAS SOUS 7268 HAS SOUPS 7087 WITH SCORE 7126.335
AT ITER 220 NEW BEST:: SOT 48718 SOS 38437 HAS SOPS 37719 HAS SOUS 6940 HAS SOUPS 6759 WITH SCORE 6797.437
AT ITER 227 NEW BEST:: SOT 48718 SOS 38437 HAS SOPS 37719 HAS SOUS 6919 HAS SOUPS 6738 WITH SCORE 6776.437
AT ITER 232 NEW BEST:: SOT 48532 SOS 38251 HAS SOPS 37533 HAS SOUS 6914 HAS SOUPS 6733 WITH SCORE 6771.251
AT ITER 233 NEW BEST:: SOT 48532 SOS 38251 HAS SOPS 37533 HAS SOUS 6908 HAS SOUPS 6727 WITH SCORE 6765.251
AT ITER 237 NEW BEST:: SOT 48432 SOS 38157 HAS SOPS 37439 HAS SOUS 6908 HAS SOUPS 6727 WITH SCORE 6765.157
AT ITER 249 NEW BEST:: SOT 48360 SOS 38165 HAS SOPS 37487 HAS SOUS 6870 HAS SOUPS 6709 WITH SCORE 6747.165
AT ITER 251 NEW BEST:: SOT 48326 SOS 38131 HAS SOPS 37453 HAS SOUS 6853 HAS SOUPS 6692 WITH SCORE 6730.131
AT ITER 252 NEW BEST:: SOT 48317 SOS 38122 HAS SOPS 37444 HAS SOUS 6853 HAS SOUPS 6692 WITH SCORE 6730.122
AT ITER 253 NEW BEST:: SOT 48285 SOS 38090 HAS SOPS 37412 HAS SOUS 6837 HAS SOUPS 6676 WITH SCORE 6714.09
AT ITER 260 NEW BEST:: SOT 48147 SOS 37952 HAS SOPS 37274 HAS SOUS 6837 HAS SOUPS 6676 WITH SCORE 6713.952
AT ITER 262 NEW BEST:: SOT 48111 SOS 37884 HAS SOPS 37206 HAS SOUS 6801 HAS SOUPS 6640 WITH SCORE 6677.884
AT ITER 277 NEW BEST:: SOT 48111 SOS 37884 HAS SOPS 37206 HAS SOUS 6775 HAS SOUPS 6614 WITH SCORE 6651.884
AT ITER 280 NEW BEST:: SOT 48089 SOS 37862 HAS SOPS 37184 HAS SOUS 6765 HAS SOUPS 6604 WITH SCORE 6641.862
AT ITER 282 NEW BEST:: SOT 48089 SOS 37862 HAS SOPS 37184 HAS SOUS 6716 HAS SOUPS 6555 WITH SCORE 6592.862
AT ITER 285 NEW BEST:: SOT 48061 SOS 37834 HAS SOPS 37156 HAS SOUS 6676 HAS SOUPS 6515 WITH SCORE 6552.834
AT ITER 287 NEW BEST:: SOT 48009 SOS 37798 HAS SOPS 37104 HAS SOUS 6676 HAS SOUPS 6507 WITH SCORE 6544.798
AT ITER 292 NEW BEST:: SOT 47977 SOS 37810 HAS SOPS 37116 HAS SOUS 6668 HAS SOUPS 6499 WITH SCORE 6536.81
AT ITER 293 NEW BEST:: SOT 47879 SOS 37712 HAS SOPS 37018 HAS SOUS 6619 HAS SOUPS 6450 WITH SCORE 6487.712
AT ITER 299 NEW BEST:: SOT 47703 SOS 37560 HAS SOPS 36916 HAS SOUS 6542 HAS SOUPS 6398 WITH SCORE 6435.56
AT ITER 302 NEW BEST:: SOT 47731 SOS 37588 HAS SOPS 36944 HAS SOUS 6530 HAS SOUPS 6386 WITH SCORE 6423.588
AT ITER 307 NEW BEST:: SOT 47611 SOS 37468 HAS SOPS 36824 HAS SOUS 6440 HAS SOUPS 6296 WITH SCORE 6333.468
AT ITER 310 NEW BEST:: SOT 47691 SOS 37548 HAS SOPS 36904 HAS SOUS 6401 HAS SOUPS 6257 WITH SCORE 6294.548
AT ITER 317 NEW BEST:: SOT 47747 SOS 37604 HAS SOPS 36960 HAS SOUS 6389 HAS SOUPS 6245 WITH SCORE 6282.604
AT ITER 319 NEW BEST:: SOT 47741 SOS 37598 HAS SOPS 36954 HAS SOUS 6389 HAS SOUPS 6245 WITH SCORE 6282.598
AT ITER 321 NEW BEST:: SOT 47731 SOS 37588 HAS SOPS 36944 HAS SOUS 6379 HAS SOUPS 6235 WITH SCORE 6272.588
AT ITER 326 NEW BEST:: SOT 47819 SOS 37350 HAS SOPS 36668 HAS SOUS 6376 HAS SOUPS 6213 WITH SCORE 6250.35
AT ITER 328 NEW BEST:: SOT 47262 SOS 36860 HAS SOPS 36178 HAS SOUS 6323 HAS SOUPS 6160 WITH SCORE 6196.86
AT ITER 336 NEW BEST:: SOT 47340 SOS 36938 HAS SOPS 36256 HAS SOUS 6288 HAS SOUPS 6125 WITH SCORE 6161.938
AT ITER 348 NEW BEST:: SOT 47336 SOS 36934 HAS SOPS 36252 HAS SOUS 6285 HAS SOUPS 6122 WITH SCORE 6158.934
AT ITER 369 NEW BEST:: SOT 47366 SOS 36964 HAS SOPS 36282 HAS SOUS 6260 HAS SOUPS 6097 WITH SCORE 6133.964
AT ITER 372 NEW BEST:: SOT 47012 SOS 36682 HAS SOPS 35964 HAS SOUS 6248 HAS SOUPS 6085 WITH SCORE 6121.682
AT ITER 377 NEW BEST:: SOT 46700 SOS 36374 HAS SOPS 35656 HAS SOUS 6147 HAS SOUPS 5984 WITH SCORE 6020.374
AT ITER 391 NEW BEST:: SOT 46602 SOS 36280 HAS SOPS 35562 HAS SOUS 6145 HAS SOUPS 5982 WITH SCORE 6018.28
AT ITER 396 NEW BEST:: SOT 46596 SOS 36274 HAS SOPS 35556 HAS SOUS 6142 HAS SOUPS 5979 WITH SCORE 6015.274
AT ITER 401 NEW BEST:: SOT 46596 SOS 36274 HAS SOPS 35556 HAS SOUS 6136 HAS SOUPS 5973 WITH SCORE 6009.274
AT ITER 404 NEW BEST:: SOT 46778 SOS 36438 HAS SOPS 35702 HAS SOUS 6115 HAS SOUPS 5943 WITH SCORE 5979.438
AT ITER 417 NEW BEST:: SOT 46778 SOS 36438 HAS SOPS 35702 HAS SOUS 6099 HAS SOUPS 5927 WITH SCORE 5963.438
AT ITER 430 NEW BEST:: SOT 46740 SOS 36400 HAS SOPS 35664 HAS SOUS 6087 HAS SOUPS 5915 WITH SCORE 5951.4
AT ITER 432 NEW BEST:: SOT 46732 SOS 36392 HAS SOPS 35674 HAS SOUS 6074 HAS SOUPS 5911 WITH SCORE 5947.392
AT ITER 437 NEW BEST:: SOT 46642 SOS 36302 HAS SOPS 35584 HAS SOUS 5965 HAS SOUPS 5802 WITH SCORE 5838.302
AT ITER 445 NEW BEST:: SOT 46642 SOS 36302 HAS SOPS 35584 HAS SOUS 5954 HAS SOUPS 5791 WITH SCORE 5827.302
AT ITER 446 NEW BEST:: SOT 46664 SOS 36324 HAS SOPS 35606 HAS SOUS 5924 HAS SOUPS 5761 WITH SCORE 5797.324
AT ITER 449 NEW BEST:: SOT 46674 SOS 36334 HAS SOPS 35616 HAS SOUS 5904 HAS SOUPS 5741 WITH SCORE 5777.334
AT ITER 451 NEW BEST:: SOT 46662 SOS 36322 HAS SOPS 35604 HAS SOUS 5904 HAS SOUPS 5741 WITH SCORE 5777.322
AT ITER 453 NEW BEST:: SOT 46662 SOS 36322 HAS SOPS 35604 HAS SOUS 5845 HAS SOUPS 5682 WITH SCORE 5718.322
AT ITER 457 NEW BEST:: SOT 46656 SOS 36316 HAS SOPS 35598 HAS SOUS 5842 HAS SOUPS 5679 WITH SCORE 5715.316
AT ITER 459 NEW BEST:: SOT 46656 SOS 36254 HAS SOPS 35536 HAS SOUS 5783 HAS SOUPS 5620 WITH SCORE 5656.254
AT ITER 473 NEW BEST:: SOT 46628 SOS 36226 HAS SOPS 35508 HAS SOUS 5783 HAS SOUPS 5620 WITH SCORE 5656.226
AT ITER 481 NEW BEST:: SOT 46594 SOS 36192 HAS SOPS 35474 HAS SOUS 5777 HAS SOUPS 5614 WITH SCORE 5650.192
AT ITER 487 NEW BEST:: SOT 46594 SOS 36139 HAS SOPS 35453 HAS SOUS 5761 HAS SOUPS 5614 WITH SCORE 5650.139
AT ITER 488 NEW BEST:: SOT 46509 SOS 36054 HAS SOPS 35368 HAS SOUS 5744 HAS SOUPS 5597 WITH SCORE 5633.054
AT ITER 491 NEW BEST:: SOT 46547 SOS 36092 HAS SOPS 35406 HAS SOUS 5731 HAS SOUPS 5584 WITH SCORE 5620.092
AT ITER 500 NEW BEST:: SOT 46577 SOS 36122 HAS SOPS 35436 HAS SOUS 5719 HAS SOUPS 5572 WITH SCORE 5608.122
AT ITER 503 NEW BEST:: SOT 46565 SOS 36110 HAS SOPS 35424 HAS SOUS 5713 HAS SOUPS 5566 WITH SCORE 5602.11
AT ITER 526 NEW BEST:: SOT 46523 SOS 36068 HAS SOPS 35382 HAS SOUS 5686 HAS SOUPS 5539 WITH SCORE 5575.068
AT ITER 534 NEW BEST:: SOT 46537 SOS 36082 HAS SOPS 35396 HAS SOUS 5676 HAS SOUPS 5529 WITH SCORE 5565.082
AT ITER 544 NEW BEST:: SOT 46537 SOS 36082 HAS SOPS 35396 HAS SOUS 5669 HAS SOUPS 5522 WITH SCORE 5558.082
AT ITER 546 NEW BEST:: SOT 46547 SOS 36092 HAS SOPS 35406 HAS SOUS 5664 HAS SOUPS 5517 WITH SCORE 5553.092
AT ITER 552 NEW BEST:: SOT 46547 SOS 36090 HAS SOPS 35406 HAS SOUS 5663 HAS SOUPS 5517 WITH SCORE 5553.09
AT ITER 558 NEW BEST:: SOT 46387 SOS 35930 HAS SOPS 35246 HAS SOUS 5567 HAS SOUPS 5421 WITH SCORE 5456.93
AT ITER 560 NEW BEST:: SOT 46351 SOS 35894 HAS SOPS 35210 HAS SOUS 5540 HAS SOUPS 5394 WITH SCORE 5429.894
AT ITER 566 NEW BEST:: SOT 46347 SOS 35890 HAS SOPS 35206 HAS SOUS 5536 HAS SOUPS 5390 WITH SCORE 5425.89
AT ITER 573 NEW BEST:: SOT 46293 SOS 35836 HAS SOPS 35152 HAS SOUS 5509 HAS SOUPS 5363 WITH SCORE 5398.836
AT ITER 583 NEW BEST:: SOT 46279 SOS 35822 HAS SOPS 35138 HAS SOUS 5504 HAS SOUPS 5358 WITH SCORE 5393.822
AT ITER 584 NEW BEST:: SOT 46135 SOS 35678 HAS SOPS 34994 HAS SOUS 5504 HAS SOUPS 5358 WITH SCORE 5393.678
AT ITER 587 NEW BEST:: SOT 46111 SOS 35654 HAS SOPS 34970 HAS SOUS 5489 HAS SOUPS 5343 WITH SCORE 5378.654
AT ITER 593 NEW BEST:: SOT 46105 SOS 35648 HAS SOPS 34964 HAS SOUS 5471 HAS SOUPS 5325 WITH SCORE 5360.648
AT ITER 595 NEW BEST:: SOT 46383 SOS 35926 HAS SOPS 35224 HAS SOUS 5425 HAS SOUPS 5270 WITH SCORE 5305.926
AT ITER 597 NEW BEST:: SOT 46373 SOS 35916 HAS SOPS 35232 HAS SOUS 5403 HAS SOUPS 5257 WITH SCORE 5292.916
AT ITER 603 NEW BEST:: SOT 46373 SOS 35908 HAS SOPS 35232 HAS SOUS 5399 HAS SOUPS 5257 WITH SCORE 5292.908
AT ITER 643 NEW BEST:: SOT 46373 SOS 35908 HAS SOPS 35232 HAS SOUS 5396 HAS SOUPS 5254 WITH SCORE 5289.908
AT ITER 648 NEW BEST:: SOT 46353 SOS 35888 HAS SOPS 35212 HAS SOUS 5396 HAS SOUPS 5254 WITH SCORE 5289.888
AT ITER 659 NEW BEST:: SOT 46325 SOS 35804 HAS SOPS 35128 HAS SOUS 5340 HAS SOUPS 5198 WITH SCORE 5233.804
AT ITER 669 NEW BEST:: SOT 46325 SOS 35740 HAS SOPS 35032 HAS SOUS 5356 HAS SOUPS 5198 WITH SCORE 5233.74
AT ITER 670 NEW BEST:: SOT 46325 SOS 35730 HAS SOPS 35012 HAS SOUS 5361 HAS SOUPS 5198 WITH SCORE 5233.73
AT ITER 674 NEW BEST:: SOT 46371 SOS 35776 HAS SOPS 35058 HAS SOUS 5356 HAS SOUPS 5193 WITH SCORE 5228.776
AT ITER 676 NEW BEST:: SOT 46339 SOS 35744 HAS SOPS 35026 HAS SOUS 5356 HAS SOUPS 5193 WITH SCORE 5228.744
AT ITER 677 NEW BEST:: SOT 46331 SOS 35736 HAS SOPS 35018 HAS SOUS 5348 HAS SOUPS 5185 WITH SCORE 5220.736
AT ITER 713 NEW BEST:: SOT 46343 SOS 35748 HAS SOPS 35030 HAS SOUS 5327 HAS SOUPS 5164 WITH SCORE 5199.748
AT ITER 714 NEW BEST:: SOT 46343 SOS 35748 HAS SOPS 35030 HAS SOUS 5284 HAS SOUPS 5121 WITH SCORE 5156.748
AT ITER 717 NEW BEST:: SOT 46331 SOS 35736 HAS SOPS 35018 HAS SOUS 5284 HAS SOUPS 5121 WITH SCORE 5156.736
AT ITER 718 NEW BEST:: SOT 46329 SOS 35734 HAS SOPS 35016 HAS SOUS 5283 HAS SOUPS 5120 WITH SCORE 5155.734
AT ITER 737 NEW BEST:: SOT 46356 SOS 35761 HAS SOPS 35043 HAS SOUS 5260 HAS SOUPS 5097 WITH SCORE 5132.761
AT ITER 741 NEW BEST:: SOT 46362 SOS 35701 HAS SOPS 34961 HAS SOUS 5235 HAS SOUPS 5061 WITH SCORE 5096.701
AT ITER 745 NEW BEST:: SOT 46354 SOS 35693 HAS SOPS 34953 HAS SOUS 5192 HAS SOUPS 5018 WITH SCORE 5053.693
AT ITER 749 NEW BEST:: SOT 46252 SOS 35591 HAS SOPS 34851 HAS SOUS 5192 HAS SOUPS 5018 WITH SCORE 5053.591
AT ITER 757 NEW BEST:: SOT 46442 SOS 35781 HAS SOPS 35041 HAS SOUS 5173 HAS SOUPS 4999 WITH SCORE 5034.781
AT ITER 764 NEW BEST:: SOT 46442 SOS 35781 HAS SOPS 35041 HAS SOUS 5169 HAS SOUPS 4995 WITH SCORE 5030.781
AT ITER 771 NEW BEST:: SOT 46414 SOS 35758 HAS SOPS 35018 HAS SOUS 5165 HAS SOUPS 4991 WITH SCORE 5026.758
AT ITER 775 NEW BEST:: SOT 46414 SOS 35758 HAS SOPS 35018 HAS SOUS 5163 HAS SOUPS 4989 WITH SCORE 5024.758
AT ITER 781 NEW BEST:: SOT 46410 SOS 35754 HAS SOPS 35014 HAS SOUS 5161 HAS SOUPS 4987 WITH SCORE 5022.754
AT ITER 794 NEW BEST:: SOT 46410 SOS 35754 HAS SOPS 35014 HAS SOUS 5157 HAS SOUPS 4983 WITH SCORE 5018.754
AT ITER 796 NEW BEST:: SOT 46396 SOS 35740 HAS SOPS 35000 HAS SOUS 5150 HAS SOUPS 4976 WITH SCORE 5011.74
AT ITER 799 NEW BEST:: SOT 46286 SOS 35630 HAS SOPS 34890 HAS SOUS 5094 HAS SOUPS 4920 WITH SCORE 4955.63
AT ITER 810 NEW BEST:: SOT 46277 SOS 35618 HAS SOPS 34878 HAS SOUS 5091 HAS SOUPS 4917 WITH SCORE 4952.618
AT ITER 816 NEW BEST:: SOT 46277 SOS 35610 HAS SOPS 34870 HAS SOUS 5087 HAS SOUPS 4913 WITH SCORE 4948.61
AT ITER 824 NEW BEST:: SOT 46129 SOS 35462 HAS SOPS 34722 HAS SOUS 5075 HAS SOUPS 4901 WITH SCORE 4936.462
AT ITER 841 NEW BEST:: SOT 46133 SOS 35434 HAS SOPS 34694 HAS SOUS 5070 HAS SOUPS 4896 WITH SCORE 4931.434
AT ITER 847 NEW BEST:: SOT 46067 SOS 35368 HAS SOPS 34628 HAS SOUS 5044 HAS SOUPS 4870 WITH SCORE 4905.368
AT ITER 849 NEW BEST:: SOT 46063 SOS 35364 HAS SOPS 34624 HAS SOUS 5040 HAS SOUPS 4866 WITH SCORE 4901.364
AT ITER 855 NEW BEST:: SOT 46015 SOS 35316 HAS SOPS 34576 HAS SOUS 5040 HAS SOUPS 4866 WITH SCORE 4901.316
AT ITER 858 NEW BEST:: SOT 46007 SOS 35308 HAS SOPS 34568 HAS SOUS 5032 HAS SOUPS 4858 WITH SCORE 4893.308
AT ITER 866 NEW BEST:: SOT 46007 SOS 35286 HAS SOPS 34546 HAS SOUS 5032 HAS SOUPS 4858 WITH SCORE 4893.286
AT ITER 870 NEW BEST:: SOT 46001 SOS 35280 HAS SOPS 34540 HAS SOUS 5029 HAS SOUPS 4855 WITH SCORE 4890.28
AT ITER 903 NEW BEST:: SOT 46001 SOS 35236 HAS SOPS 34518 HAS SOUS 4997 HAS SOUPS 4834 WITH SCORE 4869.236
AT ITER 905 NEW BEST:: SOT 46017 SOS 35246 HAS SOPS 34528 HAS SOUS 4991 HAS SOUPS 4828 WITH SCORE 4863.246
AT ITER 906 NEW BEST:: SOT 45925 SOS 35154 HAS SOPS 34436 HAS SOUS 4945 HAS SOUPS 4782 WITH SCORE 4817.154
AT ITER 921 NEW BEST:: SOT 45877 SOS 35106 HAS SOPS 34388 HAS SOUS 4919 HAS SOUPS 4756 WITH SCORE 4791.106
AT ITER 924 NEW BEST:: SOT 45833 SOS 35062 HAS SOPS 34344 HAS SOUS 4898 HAS SOUPS 4735 WITH SCORE 4770.062
AT ITER 931 NEW BEST:: SOT 45728 SOS 34957 HAS SOPS 34239 HAS SOUS 4898 HAS SOUPS 4735 WITH SCORE 4769.957
AT ITER 949 NEW BEST:: SOT 45930 SOS 35159 HAS SOPS 34441 HAS SOUS 4893 HAS SOUPS 4730 WITH SCORE 4765.159
AT ITER 971 NEW BEST:: SOT 45942 SOS 35171 HAS SOPS 34453 HAS SOUS 4887 HAS SOUPS 4724 WITH SCORE 4759.171
AT ITER 977 NEW BEST:: SOT 45946 SOS 35175 HAS SOPS 34457 HAS SOUS 4885 HAS SOUPS 4722 WITH SCORE 4757.175
AT ITER 982 NEW BEST:: SOT 45946 SOS 35155 HAS SOPS 34437 HAS SOUS 4885 HAS SOUPS 4722 WITH SCORE 4757.155
AT ITER 983 NEW BEST:: SOT 45826 SOS 35035 HAS SOPS 34317 HAS SOUS 4850 HAS SOUPS 4687 WITH SCORE 4722.035
AT ITER 1006 NEW BEST:: SOT 45822 SOS 35031 HAS SOPS 34313 HAS SOUS 4850 HAS SOUPS 4687 WITH SCORE 4722.031
AT ITER 1020 NEW BEST:: SOT 45834 SOS 35043 HAS SOPS 34325 HAS SOUS 4834 HAS SOUPS 4671 WITH SCORE 4706.043
AT ITER 1022 NEW BEST:: SOT 45834 SOS 35043 HAS SOPS 34325 HAS SOUS 4823 HAS SOUPS 4660 WITH SCORE 4695.043
AT ITER 1025 NEW BEST:: SOT 45832 SOS 35041 HAS SOPS 34323 HAS SOUS 4807 HAS SOUPS 4644 WITH SCORE 4679.041
AT ITER 1039 NEW BEST:: SOT 45839 SOS 35041 HAS SOPS 34323 HAS SOUS 4800 HAS SOUPS 4637 WITH SCORE 4672.041
AT ITER 1042 NEW BEST:: SOT 45807 SOS 35009 HAS SOPS 34291 HAS SOUS 4800 HAS SOUPS 4637 WITH SCORE 4672.009
AT ITER 1048 NEW BEST:: SOT 45799 SOS 35001 HAS SOPS 34283 HAS SOUS 4796 HAS SOUPS 4633 WITH SCORE 4668.001
AT ITER 1081 NEW BEST:: SOT 45771 SOS 34941 HAS SOPS 34239 HAS SOUS 4738 HAS SOUPS 4583 WITH SCORE 4617.941
AT ITER 1083 NEW BEST:: SOT 45887 SOS 35057 HAS SOPS 34355 HAS SOUS 4643 HAS SOUPS 4488 WITH SCORE 4523.057
AT ITER 1084 NEW BEST:: SOT 45875 SOS 35045 HAS SOPS 34343 HAS SOUS 4643 HAS SOUPS 4488 WITH SCORE 4523.045
AT ITER 1086 NEW BEST:: SOT 45823 SOS 34993 HAS SOPS 34291 HAS SOUS 4641 HAS SOUPS 4486 WITH SCORE 4520.993
AT ITER 1113 NEW BEST:: SOT 45791 SOS 34961 HAS SOPS 34259 HAS SOUS 4641 HAS SOUPS 4486 WITH SCORE 4520.961
AT ITER 1117 NEW BEST:: SOT 45593 SOS 34431 HAS SOPS 33729 HAS SOUS 4624 HAS SOUPS 4469 WITH SCORE 4503.431
AT ITER 1128 NEW BEST:: SOT 45683 SOS 34521 HAS SOPS 33819 HAS SOUS 4570 HAS SOUPS 4415 WITH SCORE 4449.521
AT ITER 1135 NEW BEST:: SOT 45683 SOS 34517 HAS SOPS 33815 HAS SOUS 4568 HAS SOUPS 4413 WITH SCORE 4447.517
AT ITER 1146 NEW BEST:: SOT 45683 SOS 34517 HAS SOPS 33815 HAS SOUS 4540 HAS SOUPS 4385 WITH SCORE 4419.517
AT ITER 1171 NEW BEST:: SOT 45681 SOS 34515 HAS SOPS 33813 HAS SOUS 4530 HAS SOUPS 4375 WITH SCORE 4409.515
AT ITER 1197 NEW BEST:: SOT 45713 SOS 34567 HAS SOPS 33847 HAS SOUS 4532 HAS SOUPS 4368 WITH SCORE 4402.567
AT ITER 1211 NEW BEST:: SOT 45711 SOS 34565 HAS SOPS 33845 HAS SOUS 4532 HAS SOUPS 4368 WITH SCORE 4402.565
AT ITER 1225 NEW BEST:: SOT 45721 SOS 34575 HAS SOPS 33855 HAS SOUS 4526 HAS SOUPS 4362 WITH SCORE 4396.575
AT ITER 1248 NEW BEST:: SOT 45643 SOS 34497 HAS SOPS 33777 HAS SOUS 4507 HAS SOUPS 4343 WITH SCORE 4377.497
AT ITER 1251 NEW BEST:: SOT 45575 SOS 34429 HAS SOPS 33709 HAS SOUS 4473 HAS SOUPS 4309 WITH SCORE 4343.429
AT ITER 1255 NEW BEST:: SOT 45613 SOS 34467 HAS SOPS 33747 HAS SOUS 4467 HAS SOUPS 4303 WITH SCORE 4337.467
AT ITER 1272 NEW BEST:: SOT 45627 SOS 34481 HAS SOPS 33761 HAS SOUS 4462 HAS SOUPS 4298 WITH SCORE 4332.481
AT ITER 1283 NEW BEST:: SOT 45623 SOS 34477 HAS SOPS 33757 HAS SOUS 4458 HAS SOUPS 4294 WITH SCORE 4328.477
AT ITER 1288 NEW BEST:: SOT 45637 SOS 34491 HAS SOPS 33771 HAS SOUS 4451 HAS SOUPS 4287 WITH SCORE 4321.491
AT ITER 1295 NEW BEST:: SOT 45649 SOS 34455 HAS SOPS 33735 HAS SOUS 4418 HAS SOUPS 4254 WITH SCORE 4288.455
AT ITER 1299 NEW BEST:: SOT 45649 SOS 34437 HAS SOPS 33717 HAS SOUS 4409 HAS SOUPS 4245 WITH SCORE 4279.437
AT ITER 1316 NEW BEST:: SOT 45437 SOS 34225 HAS SOPS 33505 HAS SOUS 4383 HAS SOUPS 4219 WITH SCORE 4253.225
AT ITER 1322 NEW BEST:: SOT 45453 SOS 34241 HAS SOPS 33521 HAS SOUS 4379 HAS SOUPS 4215 WITH SCORE 4249.241
AT ITER 1332 NEW BEST:: SOT 45423 SOS 34211 HAS SOPS 33491 HAS SOUS 4353 HAS SOUPS 4189 WITH SCORE 4223.211
AT ITER 1348 NEW BEST:: SOT 45669 SOS 34457 HAS SOPS 33737 HAS SOUS 4344 HAS SOUPS 4180 WITH SCORE 4214.457
AT ITER 1358 NEW BEST:: SOT 45667 SOS 34455 HAS SOPS 33735 HAS SOUS 4342 HAS SOUPS 4178 WITH SCORE 4212.455
AT ITER 1366 NEW BEST:: SOT 45667 SOS 34506 HAS SOPS 33742 HAS SOUS 4353 HAS SOUPS 4167 WITH SCORE 4201.506
AT ITER 1370 NEW BEST:: SOT 45625 SOS 34464 HAS SOPS 33700 HAS SOUS 4332 HAS SOUPS 4146 WITH SCORE 4180.464
AT ITER 1387 NEW BEST:: SOT 45625 SOS 34448 HAS SOPS 33684 HAS SOUS 4328 HAS SOUPS 4142 WITH SCORE 4176.448
AT ITER 1389 NEW BEST:: SOT 45635 SOS 34458 HAS SOPS 33694 HAS SOUS 4320 HAS SOUPS 4134 WITH SCORE 4168.458
AT ITER 1402 NEW BEST:: SOT 45635 SOS 34446 HAS SOPS 33670 HAS SOUS 4323 HAS SOUPS 4131 WITH SCORE 4165.446
AT ITER 1419 NEW BEST:: SOT 45671 SOS 34482 HAS SOPS 33706 HAS SOUS 4309 HAS SOUPS 4117 WITH SCORE 4151.482
AT ITER 1423 NEW BEST:: SOT 45679 SOS 34490 HAS SOPS 33714 HAS SOUS 4304 HAS SOUPS 4112 WITH SCORE 4146.49
AT ITER 1451 NEW BEST:: SOT 45679 SOS 34460 HAS SOPS 33700 HAS SOUS 4289 HAS SOUPS 4105 WITH SCORE 4139.46
AT ITER 1476 NEW BEST:: SOT 45659 SOS 34440 HAS SOPS 33680 HAS SOUS 4284 HAS SOUPS 4100 WITH SCORE 4134.44
AT ITER 1480 NEW BEST:: SOT 45659 SOS 34430 HAS SOPS 33670 HAS SOUS 4284 HAS SOUPS 4100 WITH SCORE 4134.43
AT ITER 1481 NEW BEST:: SOT 45659 SOS 34430 HAS SOPS 33670 HAS SOUS 4269 HAS SOUPS 4085 WITH SCORE 4119.43
AT ITER 1483 NEW BEST:: SOT 45653 SOS 34424 HAS SOPS 33664 HAS SOUS 4269 HAS SOUPS 4085 WITH SCORE 4119.424
AT ITER 1489 NEW BEST:: SOT 45623 SOS 34394 HAS SOPS 33634 HAS SOUS 4269 HAS SOUPS 4085 WITH SCORE 4119.394
AT ITER 1493 NEW BEST:: SOT 45601 SOS 34372 HAS SOPS 33612 HAS SOUS 4265 HAS SOUPS 4081 WITH SCORE 4115.372
AT ITER 1494 NEW BEST:: SOT 45655 SOS 34426 HAS SOPS 33666 HAS SOUS 4261 HAS SOUPS 4077 WITH SCORE 4111.426
AT ITER 1515 NEW BEST:: SOT 45647 SOS 34420 HAS SOPS 33660 HAS SOUS 4261 HAS SOUPS 4077 WITH SCORE 4111.42
AT ITER 1520 NEW BEST:: SOT 45631 SOS 34404 HAS SOPS 33644 HAS SOUS 4253 HAS SOUPS 4069 WITH SCORE 4103.404
AT ITER 1529 NEW BEST:: SOT 45649 SOS 34422 HAS SOPS 33662 HAS SOUS 4249 HAS SOUPS 4065 WITH SCORE 4099.422
AT ITER 1537 NEW BEST:: SOT 45635 SOS 34408 HAS SOPS 33648 HAS SOUS 4248 HAS SOUPS 4064 WITH SCORE 4098.408
AT ITER 1571 NEW BEST:: SOT 45633 SOS 34406 HAS SOPS 33646 HAS SOUS 4246 HAS SOUPS 4062 WITH SCORE 4096.406
AT ITER 1638 NEW BEST:: SOT 45613 SOS 34386 HAS SOPS 33626 HAS SOUS 4226 HAS SOUPS 4042 WITH SCORE 4076.386
AT ITER 1647 NEW BEST:: SOT 45619 SOS 34392 HAS SOPS 33632 HAS SOUS 4201 HAS SOUPS 4017 WITH SCORE 4051.392
AT ITER 1690 NEW BEST:: SOT 45619 SOS 34356 HAS SOPS 33596 HAS SOUS 4196 HAS SOUPS 4012 WITH SCORE 4046.356
AT ITER 1731 NEW BEST:: SOT 45637 SOS 34374 HAS SOPS 33614 HAS SOUS 4185 HAS SOUPS 4001 WITH SCORE 4035.374
AT ITER 1739 NEW BEST:: SOT 45563 SOS 34300 HAS SOPS 33540 HAS SOUS 4139 HAS SOUPS 3955 WITH SCORE 3989.3
AT ITER 1755 NEW BEST:: SOT 45550 SOS 34277 HAS SOPS 33517 HAS SOUS 4111 HAS SOUPS 3927 WITH SCORE 3961.277
AT ITER 1760 NEW BEST:: SOT 45550 SOS 34241 HAS SOPS 33499 HAS SOUS 4093 HAS SOUPS 3918 WITH SCORE 3952.241
AT ITER 1761 NEW BEST:: SOT 45480 SOS 34171 HAS SOPS 33429 HAS SOUS 4073 HAS SOUPS 3898 WITH SCORE 3932.171
AT ITER 1762 NEW BEST:: SOT 45488 SOS 34179 HAS SOPS 33437 HAS SOUS 4067 HAS SOUPS 3892 WITH SCORE 3926.179
AT ITER 1779 NEW BEST:: SOT 45490 SOS 34181 HAS SOPS 33439 HAS SOUS 4059 HAS SOUPS 3884 WITH SCORE 3918.181
AT ITER 1785 NEW BEST:: SOT 45474 SOS 34161 HAS SOPS 33419 HAS SOUS 4058 HAS SOUPS 3883 WITH SCORE 3917.161
AT ITER 1841 NEW BEST:: SOT 45462 SOS 34149 HAS SOPS 33407 HAS SOUS 4041 HAS SOUPS 3866 WITH SCORE 3900.149
AT ITER 1844 NEW BEST:: SOT 45456 SOS 34143 HAS SOPS 33401 HAS SOUS 4035 HAS SOUPS 3860 WITH SCORE 3894.143
AT ITER 1858 NEW BEST:: SOT 45464 SOS 34151 HAS SOPS 33409 HAS SOUS 4034 HAS SOUPS 3859 WITH SCORE 3893.151
AT ITER 1867 NEW BEST:: SOT 45450 SOS 34137 HAS SOPS 33395 HAS SOUS 4029 HAS SOUPS 3854 WITH SCORE 3888.137
AT ITER 1884 NEW BEST:: SOT 45446 SOS 34133 HAS SOPS 33391 HAS SOUS 4029 HAS SOUPS 3854 WITH SCORE 3888.133
AT ITER 1895 NEW BEST:: SOT 45442 SOS 34129 HAS SOPS 33387 HAS SOUS 4025 HAS SOUPS 3850 WITH SCORE 3884.129
AT ITER 1898 NEW BEST:: SOT 45398 SOS 34085 HAS SOPS 33343 HAS SOUS 3993 HAS SOUPS 3818 WITH SCORE 3852.085
AT ITER 1940 NEW BEST:: SOT 45408 SOS 34095 HAS SOPS 33353 HAS SOUS 3989 HAS SOUPS 3814 WITH SCORE 3848.095
AT ITER 1949 NEW BEST:: SOT 45376 SOS 34075 HAS SOPS 33321 HAS SOUS 3993 HAS SOUPS 3812 WITH SCORE 3846.075
AT ITER 1960 NEW BEST:: SOT 45372 SOS 34071 HAS SOPS 33317 HAS SOUS 3993 HAS SOUPS 3812 WITH SCORE 3846.071
AT ITER 1996 NEW BEST:: SOT 45354 SOS 34053 HAS SOPS 33299 HAS SOUS 3993 HAS SOUPS 3812 WITH SCORE 3846.053
AT ITER 2000 NEW BEST:: SOT 45340 SOS 34039 HAS SOPS 33285 HAS SOUS 3992 HAS SOUPS 3811 WITH SCORE 3845.039
AT ITER 2023 NEW BEST:: SOT 45302 SOS 34001 HAS SOPS 33247 HAS SOUS 3989 HAS SOUPS 3808 WITH SCORE 3842.001
AT ITER 2026 NEW BEST:: SOT 45376 SOS 34075 HAS SOPS 33321 HAS SOUS 3975 HAS SOUPS 3794 WITH SCORE 3828.075
AT ITER 2051 NEW BEST:: SOT 45378 SOS 34077 HAS SOPS 33323 HAS SOUS 3961 HAS SOUPS 3780 WITH SCORE 3814.077
AT ITER 2053 NEW BEST:: SOT 45376 SOS 34075 HAS SOPS 33321 HAS SOUS 3958 HAS SOUPS 3777 WITH SCORE 3811.075
AT ITER 2060 NEW BEST:: SOT 45366 SOS 34065 HAS SOPS 33311 HAS SOUS 3956 HAS SOUPS 3775 WITH SCORE 3809.065
AT ITER 2067 NEW BEST:: SOT 45360 SOS 34059 HAS SOPS 33305 HAS SOUS 3956 HAS SOUPS 3775 WITH SCORE 3809.059
AT ITER 2077 NEW BEST:: SOT 45355 SOS 34055 HAS SOPS 33301 HAS SOUS 3954 HAS SOUPS 3773 WITH SCORE 3807.055
AT ITER 2080 NEW BEST:: SOT 45355 SOS 34041 HAS SOPS 33287 HAS SOUS 3946 HAS SOUPS 3765 WITH SCORE 3799.041
AT ITER 2115 NEW BEST:: SOT 45347 SOS 34033 HAS SOPS 33279 HAS SOUS 3941 HAS SOUPS 3760 WITH SCORE 3794.033
AT ITER 2165 NEW BEST:: SOT 45345 SOS 34031 HAS SOPS 33277 HAS SOUS 3941 HAS SOUPS 3760 WITH SCORE 3794.031
AT ITER 2185 NEW BEST:: SOT 45351 SOS 34037 HAS SOPS 33283 HAS SOUS 3938 HAS SOUPS 3757 WITH SCORE 3791.037
AT ITER 2203 NEW BEST:: SOT 45315 SOS 34001 HAS SOPS 33247 HAS SOUS 3911 HAS SOUPS 3730 WITH SCORE 3764.001
AT ITER 2219 NEW BEST:: SOT 45315 SOS 34001 HAS SOPS 33247 HAS SOUS 3902 HAS SOUPS 3721 WITH SCORE 3755.001
AT ITER 2242 NEW BEST:: SOT 45309 SOS 33992 HAS SOPS 33238 HAS SOUS 3902 HAS SOUPS 3721 WITH SCORE 3754.992
AT ITER 2264 NEW BEST:: SOT 45309 SOS 33992 HAS SOPS 33238 HAS SOUS 3901 HAS SOUPS 3720 WITH SCORE 3753.992
AT ITER 2266 NEW BEST:: SOT 45285 SOS 33961 HAS SOPS 33207 HAS SOUS 3884 HAS SOUPS 3703 WITH SCORE 3736.961
AT ITER 2273 NEW BEST:: SOT 45285 SOS 33961 HAS SOPS 33207 HAS SOUS 3882 HAS SOUPS 3701 WITH SCORE 3734.961
AT ITER 2295 NEW BEST:: SOT 45257 SOS 33933 HAS SOPS 33179 HAS SOUS 3875 HAS SOUPS 3694 WITH SCORE 3727.933
AT ITER 2328 NEW BEST:: SOT 45257 SOS 33933 HAS SOPS 33179 HAS SOUS 3873 HAS SOUPS 3692 WITH SCORE 3725.933
AT ITER 2340 NEW BEST:: SOT 45235 SOS 33911 HAS SOPS 33157 HAS SOUS 3861 HAS SOUPS 3680 WITH SCORE 3713.911
AT ITER 2343 NEW BEST:: SOT 45213 SOS 33889 HAS SOPS 33135 HAS SOUS 3851 HAS SOUPS 3670 WITH SCORE 3703.889
AT ITER 2346 NEW BEST:: SOT 45209 SOS 33885 HAS SOPS 33131 HAS SOUS 3848 HAS SOUPS 3667 WITH SCORE 3700.885
AT ITER 2356 NEW BEST:: SOT 45197 SOS 33873 HAS SOPS 33119 HAS SOUS 3846 HAS SOUPS 3665 WITH SCORE 3698.873
AT ITER 2368 NEW BEST:: SOT 45187 SOS 33863 HAS SOPS 33109 HAS SOUS 3832 HAS SOUPS 3651 WITH SCORE 3684.863
AT ITER 2373 NEW BEST:: SOT 45187 SOS 33845 HAS SOPS 33109 HAS SOUS 3823 HAS SOUPS 3651 WITH SCORE 3684.845
AT ITER 2397 NEW BEST:: SOT 45179 SOS 33837 HAS SOPS 33101 HAS SOUS 3815 HAS SOUPS 3643 WITH SCORE 3676.837
AT ITER 2399 NEW BEST:: SOT 45161 SOS 33818 HAS SOPS 33082 HAS SOUS 3805 HAS SOUPS 3633 WITH SCORE 3666.818
AT ITER 2402 NEW BEST:: SOT 45161 SOS 33806 HAS SOPS 33076 HAS SOUS 3799 HAS SOUPS 3630 WITH SCORE 3663.806
AT ITER 2409 NEW BEST:: SOT 45153 SOS 33798 HAS SOPS 33068 HAS SOUS 3782 HAS SOUPS 3613 WITH SCORE 3646.798
AT ITER 2410 NEW BEST:: SOT 45145 SOS 33790 HAS SOPS 33060 HAS SOUS 3778 HAS SOUPS 3609 WITH SCORE 3642.79
AT ITER 2438 NEW BEST:: SOT 45135 SOS 33780 HAS SOPS 33050 HAS SOUS 3778 HAS SOUPS 3609 WITH SCORE 3642.78
AT ITER 2449 NEW BEST:: SOT 45087 SOS 33732 HAS SOPS 33002 HAS SOUS 3778 HAS SOUPS 3609 WITH SCORE 3642.732
AT ITER 2479 NEW BEST:: SOT 45079 SOS 33724 HAS SOPS 32994 HAS SOUS 3774 HAS SOUPS 3605 WITH SCORE 3638.724
AT ITER 2485 NEW BEST:: SOT 45095 SOS 33740 HAS SOPS 33010 HAS SOUS 3770 HAS SOUPS 3601 WITH SCORE 3634.74
AT ITER 2489 NEW BEST:: SOT 45095 SOS 33736 HAS SOPS 33010 HAS SOUS 3768 HAS SOUPS 3601 WITH SCORE 3634.736
AT ITER 2505 NEW BEST:: SOT 45097 SOS 33738 HAS SOPS 33012 HAS SOUS 3767 HAS SOUPS 3600 WITH SCORE 3633.738
AT ITER 2511 NEW BEST:: SOT 45089 SOS 33730 HAS SOPS 33004 HAS SOUS 3759 HAS SOUPS 3592 WITH SCORE 3625.73
AT ITER 2512 NEW BEST:: SOT 45189 SOS 33830 HAS SOPS 33104 HAS SOUS 3741 HAS SOUPS 3574 WITH SCORE 3607.83
AT ITER 2531 NEW BEST:: SOT 45189 SOS 33830 HAS SOPS 33104 HAS SOUS 3738 HAS SOUPS 3571 WITH SCORE 3604.83
AT ITER 2539 NEW BEST:: SOT 45181 SOS 33822 HAS SOPS 33096 HAS SOUS 3734 HAS SOUPS 3567 WITH SCORE 3600.822
AT ITER 2548 NEW BEST:: SOT 45173 SOS 33814 HAS SOPS 33088 HAS SOUS 3731 HAS SOUPS 3564 WITH SCORE 3597.814
AT ITER 2563 NEW BEST:: SOT 45157 SOS 33800 HAS SOPS 33074 HAS SOUS 3724 HAS SOUPS 3557 WITH SCORE 3590.8
AT ITER 2568 NEW BEST:: SOT 45153 SOS 33796 HAS SOPS 33070 HAS SOUS 3724 HAS SOUPS 3557 WITH SCORE 3590.796
AT ITER 2576 NEW BEST:: SOT 45181 SOS 33824 HAS SOPS 33098 HAS SOUS 3718 HAS SOUPS 3551 WITH SCORE 3584.824
AT ITER 2603 NEW BEST:: SOT 45175 SOS 33818 HAS SOPS 33092 HAS SOUS 3718 HAS SOUPS 3551 WITH SCORE 3584.818
AT ITER 2604 NEW BEST:: SOT 45175 SOS 33808 HAS SOPS 33082 HAS SOUS 3703 HAS SOUPS 3536 WITH SCORE 3569.808
AT ITER 2669 NEW BEST:: SOT 45175 SOS 33812 HAS SOPS 33070 HAS SOUS 3705 HAS SOUPS 3530 WITH SCORE 3563.812
AT ITER 2689 NEW BEST:: SOT 45175 SOS 33812 HAS SOPS 33070 HAS SOUS 3704 HAS SOUPS 3529 WITH SCORE 3562.812
AT ITER 2741 NEW BEST:: SOT 45173 SOS 33810 HAS SOPS 33068 HAS SOUS 3704 HAS SOUPS 3529 WITH SCORE 3562.81
AT ITER 2745 NEW BEST:: SOT 45147 SOS 33784 HAS SOPS 33042 HAS SOUS 3701 HAS SOUPS 3526 WITH SCORE 3559.784
AT ITER 2759 NEW BEST:: SOT 45165 SOS 33802 HAS SOPS 33060 HAS SOUS 3693 HAS SOUPS 3518 WITH SCORE 3551.802
AT ITER 2776 NEW BEST:: SOT 45153 SOS 33790 HAS SOPS 33048 HAS SOUS 3674 HAS SOUPS 3499 WITH SCORE 3532.79
AT ITER 2779 NEW BEST:: SOT 45155 SOS 33792 HAS SOPS 33050 HAS SOUS 3672 HAS SOUPS 3497 WITH SCORE 3530.792
AT ITER 2783 NEW BEST:: SOT 45143 SOS 33780 HAS SOPS 33038 HAS SOUS 3661 HAS SOUPS 3486 WITH SCORE 3519.78
AT ITER 2795 NEW BEST:: SOT 45143 SOS 33768 HAS SOPS 33032 HAS SOUS 3655 HAS SOUPS 3483 WITH SCORE 3516.768
AT ITER 2827 NEW BEST:: SOT 45101 SOS 33726 HAS SOPS 32990 HAS SOUS 3655 HAS SOUPS 3483 WITH SCORE 3516.726
AT ITER 2858 NEW BEST:: SOT 45101 SOS 33726 HAS SOPS 32990 HAS SOUS 3649 HAS SOUPS 3477 WITH SCORE 3510.726
AT ITER 2893 NEW BEST:: SOT 45095 SOS 33720 HAS SOPS 32984 HAS SOUS 3649 HAS SOUPS 3477 WITH SCORE 3510.72
AT ITER 2927 NEW BEST:: SOT 45089 SOS 33714 HAS SOPS 32978 HAS SOUS 3648 HAS SOUPS 3476 WITH SCORE 3509.714
AT ITER 2977 NEW BEST:: SOT 45065 SOS 33690 HAS SOPS 32954 HAS SOUS 3638 HAS SOUPS 3466 WITH SCORE 3499.69
AT ITER 3007 NEW BEST:: SOT 45065 SOS 33680 HAS SOPS 32944 HAS SOUS 3633 HAS SOUPS 3461 WITH SCORE 3494.68
AT ITER 3009 NEW BEST:: SOT 45059 SOS 33674 HAS SOPS 32938 HAS SOUS 3631 HAS SOUPS 3459 WITH SCORE 3492.674
AT ITER 3100 NEW BEST:: SOT 45055 SOS 33670 HAS SOPS 32934 HAS SOUS 3627 HAS SOUPS 3455 WITH SCORE 3488.67
AT ITER 3104 NEW BEST:: SOT 45063 SOS 33678 HAS SOPS 32942 HAS SOUS 3626 HAS SOUPS 3454 WITH SCORE 3487.678
AT ITER 3105 NEW BEST:: SOT 44947 SOS 33588 HAS SOPS 32852 HAS SOUS 3626 HAS SOUPS 3454 WITH SCORE 3487.588
AT ITER 3111 NEW BEST:: SOT 44931 SOS 33572 HAS SOPS 32836 HAS SOUS 3625 HAS SOUPS 3453 WITH SCORE 3486.572
AT ITER 3116 NEW BEST:: SOT 44913 SOS 33554 HAS SOPS 32818 HAS SOUS 3607 HAS SOUPS 3435 WITH SCORE 3468.554
AT ITER 3122 NEW BEST:: SOT 44905 SOS 33546 HAS SOPS 32810 HAS SOUS 3606 HAS SOUPS 3434 WITH SCORE 3467.546
AT ITER 3174 NEW BEST:: SOT 44913 SOS 33554 HAS SOPS 32818 HAS SOUS 3601 HAS SOUPS 3429 WITH SCORE 3462.554
AT ITER 3219 NEW BEST:: SOT 44907 SOS 33548 HAS SOPS 32812 HAS SOUS 3601 HAS SOUPS 3429 WITH SCORE 3462.548
AT ITER 3237 NEW BEST:: SOT 44951 SOS 33592 HAS SOPS 32856 HAS SOUS 3600 HAS SOUPS 3428 WITH SCORE 3461.592
AT ITER 3263 NEW BEST:: SOT 44901 SOS 33608 HAS SOPS 32872 HAS SOUS 3587 HAS SOUPS 3415 WITH SCORE 3448.608
AT ITER 3292 NEW BEST:: SOT 44945 SOS 33652 HAS SOPS 32916 HAS SOUS 3585 HAS SOUPS 3413 WITH SCORE 3446.652
AT ITER 3327 NEW BEST:: SOT 44945 SOS 33652 HAS SOPS 32916 HAS SOUS 3562 HAS SOUPS 3390 WITH SCORE 3423.652
AT ITER 3344 NEW BEST:: SOT 44955 SOS 33662 HAS SOPS 32926 HAS SOUS 3555 HAS SOUPS 3383 WITH SCORE 3416.662
AT ITER 3370 NEW BEST:: SOT 44951 SOS 33658 HAS SOPS 32922 HAS SOUS 3555 HAS SOUPS 3383 WITH SCORE 3416.658
AT ITER 3412 NEW BEST:: SOT 44927 SOS 33642 HAS SOPS 32906 HAS SOUS 3553 HAS SOUPS 3381 WITH SCORE 3414.642
AT ITER 3480 NEW BEST:: SOT 44919 SOS 33696 HAS SOPS 32972 HAS SOUS 3546 HAS SOUPS 3380 WITH SCORE 3413.696
AT ITER 3485 NEW BEST:: SOT 44917 SOS 33694 HAS SOPS 32970 HAS SOUS 3545 HAS SOUPS 3379 WITH SCORE 3412.694
AT ITER 3531 NEW BEST:: SOT 44909 SOS 33686 HAS SOPS 32962 HAS SOUS 3537 HAS SOUPS 3371 WITH SCORE 3404.686
AT ITER 3556 NEW BEST:: SOT 44903 SOS 33680 HAS SOPS 32956 HAS SOUS 3534 HAS SOUPS 3368 WITH SCORE 3401.68
AT ITER 3626 NEW BEST:: SOT 44903 SOS 33680 HAS SOPS 32956 HAS SOUS 3532 HAS SOUPS 3366 WITH SCORE 3399.68
AT ITER 3659 NEW BEST:: SOT 44893 SOS 33668 HAS SOPS 32946 HAS SOUS 3525 HAS SOUPS 3360 WITH SCORE 3393.668
AT ITER 3671 NEW BEST:: SOT 44885 SOS 33594 HAS SOPS 32872 HAS SOUS 3521 HAS SOUPS 3356 WITH SCORE 3389.594
AT ITER 3672 NEW BEST:: SOT 44885 SOS 33594 HAS SOPS 32872 HAS SOUS 3514 HAS SOUPS 3349 WITH SCORE 3382.594
AT ITER 3709 NEW BEST:: SOT 44881 SOS 33590 HAS SOPS 32868 HAS SOUS 3505 HAS SOUPS 3340 WITH SCORE 3373.59
AT ITER 3722 NEW BEST:: SOT 44881 SOS 33574 HAS SOPS 32852 HAS SOUS 3504 HAS SOUPS 3339 WITH SCORE 3372.574
AT ITER 3750 NEW BEST:: SOT 44877 SOS 33570 HAS SOPS 32848 HAS SOUS 3502 HAS SOUPS 3337 WITH SCORE 3370.57
AT ITER 3806 NEW BEST:: SOT 44871 SOS 33563 HAS SOPS 32841 HAS SOUS 3500 HAS SOUPS 3335 WITH SCORE 3368.563
AT ITER 3817 NEW BEST:: SOT 44875 SOS 33567 HAS SOPS 32845 HAS SOUS 3460 HAS SOUPS 3295 WITH SCORE 3328.567
AT ITER 3837 NEW BEST:: SOT 44877 SOS 33569 HAS SOPS 32847 HAS SOUS 3454 HAS SOUPS 3289 WITH SCORE 3322.569
AT ITER 3890 NEW BEST:: SOT 44849 SOS 33541 HAS SOPS 32819 HAS SOUS 3448 HAS SOUPS 3283 WITH SCORE 3316.541
AT ITER 3897 NEW BEST:: SOT 44853 SOS 33535 HAS SOPS 32813 HAS SOUS 3441 HAS SOUPS 3276 WITH SCORE 3309.535
AT ITER 3926 NEW BEST:: SOT 44853 SOS 33535 HAS SOPS 32813 HAS SOUS 3440 HAS SOUPS 3275 WITH SCORE 3308.535
AT ITER 3947 NEW BEST:: SOT 44849 SOS 33531 HAS SOPS 32809 HAS SOUS 3436 HAS SOUPS 3271 WITH SCORE 3304.531
AT ITER 3959 NEW BEST:: SOT 44849 SOS 33531 HAS SOPS 32809 HAS SOUS 3435 HAS SOUPS 3270 WITH SCORE 3303.531
AT ITER 3982 NEW BEST:: SOT 44841 SOS 33523 HAS SOPS 32801 HAS SOUS 3429 HAS SOUPS 3264 WITH SCORE 3297.523
AT ITER 3996 NEW BEST:: SOT 44848 SOS 33530 HAS SOPS 32808 HAS SOUS 3422 HAS SOUPS 3257 WITH SCORE 3290.53
AT ITER 4004 NEW BEST:: SOT 44836 SOS 33518 HAS SOPS 32796 HAS SOUS 3392 HAS SOUPS 3227 WITH SCORE 3260.518
AT ITER 4023 NEW BEST:: SOT 44816 SOS 33478 HAS SOPS 32756 HAS SOUS 3392 HAS SOUPS 3227 WITH SCORE 3260.478
AT ITER 4041 NEW BEST:: SOT 44804 SOS 33466 HAS SOPS 32744 HAS SOUS 3391 HAS SOUPS 3226 WITH SCORE 3259.466
AT ITER 4086 NEW BEST:: SOT 44802 SOS 33464 HAS SOPS 32742 HAS SOUS 3387 HAS SOUPS 3222 WITH SCORE 3255.464
AT ITER 4107 NEW BEST:: SOT 44802 SOS 33446 HAS SOPS 32724 HAS SOUS 3384 HAS SOUPS 3219 WITH SCORE 3252.446
AT ITER 4119 NEW BEST:: SOT 44802 SOS 33430 HAS SOPS 32716 HAS SOUS 3376 HAS SOUPS 3215 WITH SCORE 3248.43
AT ITER 4159 NEW BEST:: SOT 44844 SOS 33472 HAS SOPS 32758 HAS SOUS 3374 HAS SOUPS 3213 WITH SCORE 3246.472
AT ITER 4193 NEW BEST:: SOT 44827 SOS 33455 HAS SOPS 32741 HAS SOUS 3367 HAS SOUPS 3206 WITH SCORE 3239.455
AT ITER 4213 NEW BEST:: SOT 44825 SOS 33453 HAS SOPS 32739 HAS SOUS 3366 HAS SOUPS 3205 WITH SCORE 3238.453
AT ITER 4254 NEW BEST:: SOT 44819 SOS 33447 HAS SOPS 32733 HAS SOUS 3360 HAS SOUPS 3199 WITH SCORE 3232.447
AT ITER 4281 NEW BEST:: SOT 44813 SOS 33441 HAS SOPS 32727 HAS SOUS 3360 HAS SOUPS 3199 WITH SCORE 3232.441
AT ITER 4288 NEW BEST:: SOT 44813 SOS 33439 HAS SOPS 32727 HAS SOUS 3359 HAS SOUPS 3199 WITH SCORE 3232.439
AT ITER 4316 NEW BEST:: SOT 44813 SOS 33431 HAS SOPS 32723 HAS SOUS 3355 HAS SOUPS 3197 WITH SCORE 3230.431
AT ITER 4319 NEW BEST:: SOT 44811 SOS 33429 HAS SOPS 32721 HAS SOUS 3353 HAS SOUPS 3195 WITH SCORE 3228.429
AT ITER 4384 NEW BEST:: SOT 44809 SOS 33427 HAS SOPS 32719 HAS SOUS 3353 HAS SOUPS 3195 WITH SCORE 3228.427
AT ITER 4401 NEW BEST:: SOT 44813 SOS 33431 HAS SOPS 32723 HAS SOUS 3349 HAS SOUPS 3191 WITH SCORE 3224.431
AT ITER 4451 NEW BEST:: SOT 44833 SOS 33451 HAS SOPS 32743 HAS SOUS 3329 HAS SOUPS 3171 WITH SCORE 3204.451
AT ITER 4456 NEW BEST:: SOT 44831 SOS 33449 HAS SOPS 32741 HAS SOUS 3327 HAS SOUPS 3169 WITH SCORE 3202.449
AT ITER 4486 NEW BEST:: SOT 44831 SOS 33437 HAS SOPS 32725 HAS SOUS 3321 HAS SOUPS 3161 WITH SCORE 3194.437
AT ITER 4506 NEW BEST:: SOT 44831 SOS 33401 HAS SOPS 32665 HAS SOUS 3331 HAS SOUPS 3159 WITH SCORE 3192.401
AT ITER 4524 NEW BEST:: SOT 44825 SOS 33395 HAS SOPS 32659 HAS SOUS 3330 HAS SOUPS 3158 WITH SCORE 3191.395
AT ITER 4603 NEW BEST:: SOT 44825 SOS 33395 HAS SOPS 32659 HAS SOUS 3329 HAS SOUPS 3157 WITH SCORE 3190.395
AT ITER 4616 NEW BEST:: SOT 44825 SOS 33361 HAS SOPS 32645 HAS SOUS 3312 HAS SOUPS 3150 WITH SCORE 3183.361
AT ITER 4658 NEW BEST:: SOT 44820 SOS 33343 HAS SOPS 32627 HAS SOUS 3307 HAS SOUPS 3145 WITH SCORE 3178.343
AT ITER 4718 NEW BEST:: SOT 44812 SOS 33335 HAS SOPS 32619 HAS SOUS 3303 HAS SOUPS 3141 WITH SCORE 3174.335
AT ITER 4814 NEW BEST:: SOT 44802 SOS 33325 HAS SOPS 32609 HAS SOUS 3303 HAS SOUPS 3141 WITH SCORE 3174.325
AT ITER 4821 NEW BEST:: SOT 44758 SOS 33281 HAS SOPS 32565 HAS SOUS 3292 HAS SOUPS 3130 WITH SCORE 3163.281
AT ITER 4834 NEW BEST:: SOT 44765 SOS 33291 HAS SOPS 32575 HAS SOUS 3291 HAS SOUPS 3129 WITH SCORE 3162.291
AT ITER 4916 NEW BEST:: SOT 44727 SOS 33253 HAS SOPS 32537 HAS SOUS 3265 HAS SOUPS 3103 WITH SCORE 3136.253
AT ITER 4982 NEW BEST:: SOT 44725 SOS 33251 HAS SOPS 32535 HAS SOUS 3263 HAS SOUPS 3101 WITH SCORE 3134.251
AT ITER 5006 NEW BEST:: SOT 44711 SOS 33237 HAS SOPS 32521 HAS SOUS 3263 HAS SOUPS 3101 WITH SCORE 3134.237
AT ITER 5076 NEW BEST:: SOT 44685 SOS 33216 HAS SOPS 32500 HAS SOUS 3254 HAS SOUPS 3092 WITH SCORE 3125.216
AT ITER 5100 NEW BEST:: SOT 44675 SOS 33206 HAS SOPS 32490 HAS SOUS 3244 HAS SOUPS 3082 WITH SCORE 3115.206
AT ITER 5107 NEW BEST:: SOT 44692 SOS 33214 HAS SOPS 32498 HAS SOUS 3236 HAS SOUPS 3074 WITH SCORE 3107.214
AT ITER 5109 NEW BEST:: SOT 44650 SOS 33172 HAS SOPS 32456 HAS SOUS 3231 HAS SOUPS 3069 WITH SCORE 3102.172
AT ITER 5272 NEW BEST:: SOT 44644 SOS 33166 HAS SOPS 32450 HAS SOUS 3229 HAS SOUPS 3067 WITH SCORE 3100.166
AT ITER 5407 NEW BEST:: SOT 44668 SOS 33190 HAS SOPS 32474 HAS SOUS 3228 HAS SOUPS 3066 WITH SCORE 3099.19
AT ITER 5563 NEW BEST:: SOT 44670 SOS 33192 HAS SOPS 32476 HAS SOUS 3227 HAS SOUPS 3065 WITH SCORE 3098.192
AT ITER 5713 NEW BEST:: SOT 44668 SOS 33190 HAS SOPS 32474 HAS SOUS 3224 HAS SOUPS 3062 WITH SCORE 3095.19
AT ITER 5727 NEW BEST:: SOT 44658 SOS 33180 HAS SOPS 32464 HAS SOUS 3222 HAS SOUPS 3060 WITH SCORE 3093.18
AT ITER 5764 NEW BEST:: SOT 44646 SOS 33168 HAS SOPS 32452 HAS SOUS 3218 HAS SOUPS 3056 WITH SCORE 3089.168
AT ITER 5918 NEW BEST:: SOT 44658 SOS 33180 HAS SOPS 32464 HAS SOUS 3215 HAS SOUPS 3053 WITH SCORE 3086.18
AT ITER 5929 NEW BEST:: SOT 44658 SOS 33176 HAS SOPS 32462 HAS SOUS 3213 HAS SOUPS 3052 WITH SCORE 3085.176
AT ITER 5942 NEW BEST:: SOT 44678 SOS 33196 HAS SOPS 32482 HAS SOUS 3209 HAS SOUPS 3048 WITH SCORE 3081.196
AT ITER 5943 NEW BEST:: SOT 44664 SOS 33182 HAS SOPS 32468 HAS SOUS 3206 HAS SOUPS 3045 WITH SCORE 3078.182
AT ITER 5948 NEW BEST:: SOT 44636 SOS 33154 HAS SOPS 32440 HAS SOUS 3203 HAS SOUPS 3042 WITH SCORE 3075.154
AT ITER 5977 NEW BEST:: SOT 44604 SOS 33122 HAS SOPS 32408 HAS SOUS 3191 HAS SOUPS 3030 WITH SCORE 3063.122
AT ITER 6015 NEW BEST:: SOT 44598 SOS 33116 HAS SOPS 32402 HAS SOUS 3188 HAS SOUPS 3027 WITH SCORE 3060.116
AT ITER 6061 NEW BEST:: SOT 44552 SOS 33070 HAS SOPS 32356 HAS SOUS 3187 HAS SOUPS 3026 WITH SCORE 3059.07
AT ITER 6075 NEW BEST:: SOT 44540 SOS 33058 HAS SOPS 32344 HAS SOUS 3175 HAS SOUPS 3014 WITH SCORE 3047.058
AT ITER 6088 NEW BEST:: SOT 44538 SOS 33056 HAS SOPS 32342 HAS SOUS 3173 HAS SOUPS 3012 WITH SCORE 3045.056
AT ITER 6111 NEW BEST:: SOT 44526 SOS 33044 HAS SOPS 32330 HAS SOUS 3167 HAS SOUPS 3006 WITH SCORE 3039.044
AT ITER 6164 NEW BEST:: SOT 44512 SOS 33030 HAS SOPS 32316 HAS SOUS 3165 HAS SOUPS 3004 WITH SCORE 3037.03
AT ITER 6200 NEW BEST:: SOT 44466 SOS 32984 HAS SOPS 32270 HAS SOUS 3162 HAS SOUPS 3001 WITH SCORE 3033.984
AT ITER 6208 NEW BEST:: SOT 44466 SOS 32980 HAS SOPS 32266 HAS SOUS 3160 HAS SOUPS 2999 WITH SCORE 3031.98
AT ITER 6283 NEW BEST:: SOT 44468 SOS 32982 HAS SOPS 32268 HAS SOUS 3156 HAS SOUPS 2995 WITH SCORE 3027.982
AT ITER 6312 NEW BEST:: SOT 44466 SOS 32980 HAS SOPS 32266 HAS SOUS 3154 HAS SOUPS 2993 WITH SCORE 3025.98
AT ITER 6323 NEW BEST:: SOT 44460 SOS 32974 HAS SOPS 32260 HAS SOUS 3151 HAS SOUPS 2990 WITH SCORE 3022.974
AT ITER 6408 NEW BEST:: SOT 44458 SOS 32972 HAS SOPS 32258 HAS SOUS 3151 HAS SOUPS 2990 WITH SCORE 3022.972
AT ITER 6460 NEW BEST:: SOT 44438 SOS 32952 HAS SOPS 32238 HAS SOUS 3133 HAS SOUPS 2972 WITH SCORE 3004.952
AT ITER 6482 NEW BEST:: SOT 44444 SOS 32958 HAS SOPS 32244 HAS SOUS 3132 HAS SOUPS 2971 WITH SCORE 3003.958
AT ITER 6506 NEW BEST:: SOT 44438 SOS 32952 HAS SOPS 32238 HAS SOUS 3132 HAS SOUPS 2971 WITH SCORE 3003.952
AT ITER 6507 NEW BEST:: SOT 44444 SOS 32958 HAS SOPS 32244 HAS SOUS 3128 HAS SOUPS 2967 WITH SCORE 2999.958
AT ITER 6556 NEW BEST:: SOT 44416 SOS 32930 HAS SOPS 32216 HAS SOUS 3127 HAS SOUPS 2966 WITH SCORE 2998.93
AT ITER 6590 NEW BEST:: SOT 44402 SOS 32906 HAS SOPS 32202 HAS SOUS 3108 HAS SOUPS 2952 WITH SCORE 2984.906
AT ITER 6595 NEW BEST:: SOT 44356 SOS 32860 HAS SOPS 32156 HAS SOUS 3097 HAS SOUPS 2941 WITH SCORE 2973.86
AT ITER 6661 NEW BEST:: SOT 44338 SOS 32842 HAS SOPS 32138 HAS SOUS 3094 HAS SOUPS 2938 WITH SCORE 2970.842
AT ITER 6679 NEW BEST:: SOT 44338 SOS 32842 HAS SOPS 32138 HAS SOUS 3089 HAS SOUPS 2933 WITH SCORE 2965.842
AT ITER 6930 NEW BEST:: SOT 44334 SOS 32839 HAS SOPS 32135 HAS SOUS 3089 HAS SOUPS 2933 WITH SCORE 2965.839
AT ITER 7030 NEW BEST:: SOT 44336 SOS 32841 HAS SOPS 32137 HAS SOUS 3088 HAS SOUPS 2932 WITH SCORE 2964.841
AT ITER 7076 NEW BEST:: SOT 44344 SOS 32849 HAS SOPS 32145 HAS SOUS 3087 HAS SOUPS 2931 WITH SCORE 2963.849
AT ITER 7104 NEW BEST:: SOT 44336 SOS 32843 HAS SOPS 32139 HAS SOUS 3087 HAS SOUPS 2931 WITH SCORE 2963.843
AT ITER 7186 NEW BEST:: SOT 44330 SOS 32837 HAS SOPS 32133 HAS SOUS 3084 HAS SOUPS 2928 WITH SCORE 2960.837
AT ITER 7271 NEW BEST:: SOT 44330 SOS 32833 HAS SOPS 32131 HAS SOUS 3082 HAS SOUPS 2927 WITH SCORE 2959.833
AT ITER 7335 NEW BEST:: SOT 44340 SOS 32843 HAS SOPS 32141 HAS SOUS 3079 HAS SOUPS 2924 WITH SCORE 2956.843
AT ITER 7387 NEW BEST:: SOT 44340 SOS 32843 HAS SOPS 32141 HAS SOUS 3077 HAS SOUPS 2922 WITH SCORE 2954.843
AT ITER 7389 NEW BEST:: SOT 44334 SOS 32837 HAS SOPS 32135 HAS SOUS 3075 HAS SOUPS 2920 WITH SCORE 2952.837
AT ITER 7423 NEW BEST:: SOT 44330 SOS 32833 HAS SOPS 32131 HAS SOUS 3071 HAS SOUPS 2916 WITH SCORE 2948.833
AT ITER 7452 NEW BEST:: SOT 44324 SOS 32827 HAS SOPS 32125 HAS SOUS 3065 HAS SOUPS 2910 WITH SCORE 2942.827
AT ITER 7494 NEW BEST:: SOT 44320 SOS 32823 HAS SOPS 32121 HAS SOUS 3063 HAS SOUPS 2908 WITH SCORE 2940.823
AT ITER 7676 NEW BEST:: SOT 44310 SOS 32813 HAS SOPS 32111 HAS SOUS 3063 HAS SOUPS 2908 WITH SCORE 2940.813
AT ITER 7712 NEW BEST:: SOT 44304 SOS 32804 HAS SOPS 32102 HAS SOUS 3060 HAS SOUPS 2905 WITH SCORE 2937.804
AT ITER 7746 NEW BEST:: SOT 44320 SOS 32794 HAS SOPS 32092 HAS SOUS 3060 HAS SOUPS 2905 WITH SCORE 2937.794
AT ITER 7951 NEW BEST:: SOT 44318 SOS 32792 HAS SOPS 32090 HAS SOUS 3059 HAS SOUPS 2904 WITH SCORE 2936.792
AT ITER 8063 NEW BEST:: SOT 44314 SOS 32788 HAS SOPS 32086 HAS SOUS 3058 HAS SOUPS 2903 WITH SCORE 2935.788
AT ITER 8157 NEW BEST:: SOT 44316 SOS 32784 HAS SOPS 32082 HAS SOUS 3056 HAS SOUPS 2901 WITH SCORE 2933.784
AT ITER 8233 NEW BEST:: SOT 44312 SOS 32780 HAS SOPS 32078 HAS SOUS 3054 HAS SOUPS 2899 WITH SCORE 2931.78
AT ITER 8346 NEW BEST:: SOT 44312 SOS 32776 HAS SOPS 32076 HAS SOUS 3052 HAS SOUPS 2898 WITH SCORE 2930.776
AT ITER 8354 NEW BEST:: SOT 44306 SOS 32770 HAS SOPS 32070 HAS SOUS 3050 HAS SOUPS 2896 WITH SCORE 2928.77
AT ITER 8610 NEW BEST:: SOT 44298 SOS 32760 HAS SOPS 32060 HAS SOUS 3044 HAS SOUPS 2890 WITH SCORE 2922.76
AT ITER 8630 NEW BEST:: SOT 44276 SOS 32738 HAS SOPS 32038 HAS SOUS 3042 HAS SOUPS 2888 WITH SCORE 2920.738
AT ITER 8765 NEW BEST:: SOT 44266 SOS 32728 HAS SOPS 32028 HAS SOUS 3037 HAS SOUPS 2883 WITH SCORE 2915.728
AT ITER 8769 NEW BEST:: SOT 44250 SOS 32712 HAS SOPS 32012 HAS SOUS 3037 HAS SOUPS 2883 WITH SCORE 2915.712
AT ITER 8959 NEW BEST:: SOT 44248 SOS 32710 HAS SOPS 32010 HAS SOUS 3035 HAS SOUPS 2881 WITH SCORE 2913.71
AT ITER 9008 NEW BEST:: SOT 44242 SOS 32704 HAS SOPS 32004 HAS SOUS 3029 HAS SOUPS 2875 WITH SCORE 2907.704
AT ITER 9400 NEW BEST:: SOT 44239 SOS 32701 HAS SOPS 32001 HAS SOUS 3027 HAS SOUPS 2873 WITH SCORE 2905.701
AT ITER 9481 NEW BEST:: SOT 44233 SOS 32697 HAS SOPS 31997 HAS SOUS 3026 HAS SOUPS 2872 WITH SCORE 2904.697
AT ITER 9540 NEW BEST:: SOT 44221 SOS 32685 HAS SOPS 31985 HAS SOUS 3022 HAS SOUPS 2868 WITH SCORE 2900.685
AT ITER 9545 NEW BEST:: SOT 44215 SOS 32679 HAS SOPS 31979 HAS SOUS 3018 HAS SOUPS 2864 WITH SCORE 2896.679
AT ITER 9629 NEW BEST:: SOT 44209 SOS 32673 HAS SOPS 31973 HAS SOUS 3016 HAS SOUPS 2862 WITH SCORE 2894.673
AT ITER 9702 NEW BEST:: SOT 44271 SOS 32735 HAS SOPS 32035 HAS SOUS 3013 HAS SOUPS 2859 WITH SCORE 2891.735
AT ITER 9884 NEW BEST:: SOT 44284 SOS 32748 HAS SOPS 32048 HAS SOUS 3011 HAS SOUPS 2857 WITH SCORE 2889.748
AT ITER 9908 NEW BEST:: SOT 44268 SOS 32732 HAS SOPS 32032 HAS SOUS 3003 HAS SOUPS 2849 WITH SCORE 2881.732
AT ITER 9941 NEW BEST:: SOT 44262 SOS 32726 HAS SOPS 32026 HAS SOUS 3000 HAS SOUPS 2846 WITH SCORE 2878.726
AT ITER 9979 NEW BEST:: SOT 44262 SOS 32726 HAS SOPS 32026 HAS SOUS 2998 HAS SOUPS 2844 WITH SCORE 2876.726

BK_STOP 1679931621342

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

ERROR:
Generation failed in Meddly with error code:
Insufficient memory
within model automodel instantiated in file model.sm near line 2181
/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 369 Segmentation fault ${SMART}/smart ${INPUT_SM}

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="SemanticWebServices-PT-S128P12"
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 SemanticWebServices-PT-S128P12, 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 r355-smll-167891803400400"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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