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.r195-smll-167840342200320.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 HealthRecord-PT-11, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342200320
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 540K
-rw-r--r-- 1 mcc users 8.3K Feb 26 18:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 26 18:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 18:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 18:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 10K Feb 26 18:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 26 18:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 26 18:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 26 18:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:13 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 70K 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 1678494234591

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=HealthRecord-PT-11
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 11
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: 159 places, 334 transitions, 879 arcs.
AT ITER 0 NEW BEST:: SOT 34738 SOS 18722 HAS SOPS 18700 HAS SOUS 10926 HAS SOUPS 10913 WITH SCORE 10931.722
AT ITER 2 NEW BEST:: SOT 33089 SOS 17727 HAS SOPS 17705 HAS SOUS 9922 HAS SOUPS 9909 WITH SCORE 9926.727
AT ITER 5 NEW BEST:: SOT 33044 SOS 17637 HAS SOPS 17615 HAS SOUS 9922 HAS SOUPS 9909 WITH SCORE 9926.637
AT ITER 6 NEW BEST:: SOT 32908 SOS 17365 HAS SOPS 17343 HAS SOUS 9780 HAS SOUPS 9767 WITH SCORE 9784.365
AT ITER 12 NEW BEST:: SOT 32834 SOS 17245 HAS SOPS 17223 HAS SOUS 9678 HAS SOUPS 9665 WITH SCORE 9682.245
AT ITER 16 NEW BEST:: SOT 32831 SOS 17263 HAS SOPS 17241 HAS SOUS 9676 HAS SOUPS 9663 WITH SCORE 9680.263
AT ITER 17 NEW BEST:: SOT 32801 SOS 17204 HAS SOPS 17182 HAS SOUS 9675 HAS SOUPS 9662 WITH SCORE 9679.204
AT ITER 18 NEW BEST:: SOT 32741 SOS 17081 HAS SOPS 17059 HAS SOUS 9615 HAS SOUPS 9602 WITH SCORE 9619.081
AT ITER 24 NEW BEST:: SOT 32712 SOS 17023 HAS SOPS 17001 HAS SOUS 9586 HAS SOUPS 9573 WITH SCORE 9590.023
AT ITER 25 NEW BEST:: SOT 32712 SOS 17020 HAS SOPS 16998 HAS SOUS 9583 HAS SOUPS 9570 WITH SCORE 9587.02
AT ITER 26 NEW BEST:: SOT 32712 SOS 17015 HAS SOPS 16993 HAS SOUS 9583 HAS SOUPS 9570 WITH SCORE 9587.015
AT ITER 29 NEW BEST:: SOT 32712 SOS 17015 HAS SOPS 16993 HAS SOUS 9569 HAS SOUPS 9556 WITH SCORE 9573.015
AT ITER 30 NEW BEST:: SOT 32747 SOS 17085 HAS SOPS 17063 HAS SOUS 9540 HAS SOUPS 9527 WITH SCORE 9544.085
AT ITER 31 NEW BEST:: SOT 32048 SOS 16463 HAS SOPS 16441 HAS SOUS 8858 HAS SOUPS 8845 WITH SCORE 8861.463
AT ITER 42 NEW BEST:: SOT 31972 SOS 16406 HAS SOPS 16384 HAS SOUS 8839 HAS SOUPS 8826 WITH SCORE 8842.406
AT ITER 45 NEW BEST:: SOT 32012 SOS 16441 HAS SOPS 16419 HAS SOUS 8812 HAS SOUPS 8799 WITH SCORE 8815.441
AT ITER 51 NEW BEST:: SOT 31408 SOS 16472 HAS SOPS 16450 HAS SOUS 8767 HAS SOUPS 8754 WITH SCORE 8770.472
AT ITER 52 NEW BEST:: SOT 31322 SOS 16268 HAS SOPS 16246 HAS SOUS 8734 HAS SOUPS 8721 WITH SCORE 8737.268
AT ITER 53 NEW BEST:: SOT 31311 SOS 16256 HAS SOPS 16234 HAS SOUS 8724 HAS SOUPS 8711 WITH SCORE 8727.256
AT ITER 54 NEW BEST:: SOT 31306 SOS 16246 HAS SOPS 16224 HAS SOUS 8719 HAS SOUPS 8706 WITH SCORE 8722.246
AT ITER 56 NEW BEST:: SOT 30465 SOS 16266 HAS SOPS 16244 HAS SOUS 7991 HAS SOUPS 7978 WITH SCORE 7994.266
AT ITER 58 NEW BEST:: SOT 30513 SOS 16317 HAS SOPS 16295 HAS SOUS 7978 HAS SOUPS 7965 WITH SCORE 7981.317
AT ITER 61 NEW BEST:: SOT 30461 SOS 16213 HAS SOPS 16191 HAS SOUS 7978 HAS SOUPS 7965 WITH SCORE 7981.213
AT ITER 66 NEW BEST:: SOT 30444 SOS 16200 HAS SOPS 16178 HAS SOUS 7977 HAS SOUPS 7964 WITH SCORE 7980.2
AT ITER 67 NEW BEST:: SOT 30402 SOS 16091 HAS SOPS 16069 HAS SOUS 7973 HAS SOUPS 7960 WITH SCORE 7976.091
AT ITER 68 NEW BEST:: SOT 30230 SOS 15941 HAS SOPS 15919 HAS SOUS 7794 HAS SOUPS 7781 WITH SCORE 7796.941
AT ITER 73 NEW BEST:: SOT 30128 SOS 15799 HAS SOPS 15777 HAS SOUS 7775 HAS SOUPS 7762 WITH SCORE 7777.799
AT ITER 79 NEW BEST:: SOT 30020 SOS 15739 HAS SOPS 15717 HAS SOUS 7772 HAS SOUPS 7759 WITH SCORE 7774.739
AT ITER 80 NEW BEST:: SOT 29996 SOS 15679 HAS SOPS 15657 HAS SOUS 7760 HAS SOUPS 7747 WITH SCORE 7762.679
AT ITER 81 NEW BEST:: SOT 29986 SOS 15649 HAS SOPS 15627 HAS SOUS 7740 HAS SOUPS 7727 WITH SCORE 7742.649
AT ITER 83 NEW BEST:: SOT 29986 SOS 15646 HAS SOPS 15624 HAS SOUS 7737 HAS SOUPS 7724 WITH SCORE 7739.646
AT ITER 85 NEW BEST:: SOT 29904 SOS 15540 HAS SOPS 15518 HAS SOUS 7709 HAS SOUPS 7696 WITH SCORE 7711.54
AT ITER 86 NEW BEST:: SOT 29939 SOS 15575 HAS SOPS 15553 HAS SOUS 7705 HAS SOUPS 7692 WITH SCORE 7707.575
AT ITER 87 NEW BEST:: SOT 29918 SOS 15554 HAS SOPS 15532 HAS SOUS 7704 HAS SOUPS 7691 WITH SCORE 7706.554
AT ITER 89 NEW BEST:: SOT 29814 SOS 15284 HAS SOPS 15262 HAS SOUS 7591 HAS SOUPS 7578 WITH SCORE 7593.284
AT ITER 96 NEW BEST:: SOT 29852 SOS 15319 HAS SOPS 15297 HAS SOUS 7587 HAS SOUPS 7574 WITH SCORE 7589.319
AT ITER 98 NEW BEST:: SOT 29842 SOS 15248 HAS SOPS 15226 HAS SOUS 7480 HAS SOUPS 7467 WITH SCORE 7482.248
AT ITER 100 NEW BEST:: SOT 29808 SOS 15197 HAS SOPS 15175 HAS SOUS 7480 HAS SOUPS 7467 WITH SCORE 7482.197
AT ITER 101 NEW BEST:: SOT 29774 SOS 15030 HAS SOPS 15008 HAS SOUS 7328 HAS SOUPS 7315 WITH SCORE 7330.03
AT ITER 104 NEW BEST:: SOT 29715 SOS 14916 HAS SOPS 14894 HAS SOUS 7228 HAS SOUPS 7215 WITH SCORE 7229.916
AT ITER 105 NEW BEST:: SOT 29701 SOS 14874 HAS SOPS 14852 HAS SOUS 7200 HAS SOUPS 7187 WITH SCORE 7201.874
AT ITER 110 NEW BEST:: SOT 29709 SOS 14775 HAS SOPS 14753 HAS SOUS 7189 HAS SOUPS 7176 WITH SCORE 7190.775
AT ITER 115 NEW BEST:: SOT 29692 SOS 14741 HAS SOPS 14719 HAS SOUS 7189 HAS SOUPS 7176 WITH SCORE 7190.741
AT ITER 136 NEW BEST:: SOT 29445 SOS 14402 HAS SOPS 14380 HAS SOUS 7126 HAS SOUPS 7113 WITH SCORE 7127.402
AT ITER 138 NEW BEST:: SOT 29413 SOS 14344 HAS SOPS 14322 HAS SOUS 7083 HAS SOUPS 7070 WITH SCORE 7084.344
AT ITER 140 NEW BEST:: SOT 29263 SOS 14243 HAS SOPS 14221 HAS SOUS 6903 HAS SOUPS 6890 WITH SCORE 6904.243
AT ITER 142 NEW BEST:: SOT 29218 SOS 14191 HAS SOPS 14169 HAS SOUS 6903 HAS SOUPS 6890 WITH SCORE 6904.191
AT ITER 144 NEW BEST:: SOT 29197 SOS 14170 HAS SOPS 14148 HAS SOUS 6895 HAS SOUPS 6882 WITH SCORE 6896.17
AT ITER 152 NEW BEST:: SOT 29066 SOS 13963 HAS SOPS 13941 HAS SOUS 6780 HAS SOUPS 6767 WITH SCORE 6780.963
AT ITER 155 NEW BEST:: SOT 29015 SOS 13875 HAS SOPS 13853 HAS SOUS 6766 HAS SOUPS 6753 WITH SCORE 6766.875
AT ITER 161 NEW BEST:: SOT 29037 SOS 13953 HAS SOPS 13931 HAS SOUS 6760 HAS SOUPS 6747 WITH SCORE 6760.953
AT ITER 164 NEW BEST:: SOT 29077 SOS 14010 HAS SOPS 13988 HAS SOUS 6750 HAS SOUPS 6737 WITH SCORE 6751.01
AT ITER 165 NEW BEST:: SOT 29021 SOS 13947 HAS SOPS 13925 HAS SOUS 6695 HAS SOUPS 6682 WITH SCORE 6695.947
AT ITER 166 NEW BEST:: SOT 28819 SOS 13796 HAS SOPS 13774 HAS SOUS 6646 HAS SOUPS 6633 WITH SCORE 6646.796
AT ITER 175 NEW BEST:: SOT 28798 SOS 13765 HAS SOPS 13743 HAS SOUS 6641 HAS SOUPS 6628 WITH SCORE 6641.765
AT ITER 181 NEW BEST:: SOT 28806 SOS 13766 HAS SOPS 13744 HAS SOUS 6611 HAS SOUPS 6598 WITH SCORE 6611.766
AT ITER 186 NEW BEST:: SOT 28817 SOS 13803 HAS SOPS 13781 HAS SOUS 6609 HAS SOUPS 6596 WITH SCORE 6609.803
AT ITER 188 NEW BEST:: SOT 28821 SOS 13765 HAS SOPS 13743 HAS SOUS 6547 HAS SOUPS 6534 WITH SCORE 6547.765
AT ITER 197 NEW BEST:: SOT 28815 SOS 13753 HAS SOPS 13731 HAS SOUS 6544 HAS SOUPS 6531 WITH SCORE 6544.753
AT ITER 202 NEW BEST:: SOT 28751 SOS 13633 HAS SOPS 13611 HAS SOUS 6537 HAS SOUPS 6524 WITH SCORE 6537.633
AT ITER 205 NEW BEST:: SOT 28806 SOS 13578 HAS SOPS 13556 HAS SOUS 6536 HAS SOUPS 6523 WITH SCORE 6536.578
AT ITER 215 NEW BEST:: SOT 28794 SOS 13566 HAS SOPS 13544 HAS SOUS 6524 HAS SOUPS 6511 WITH SCORE 6524.566
AT ITER 216 NEW BEST:: SOT 28766 SOS 13472 HAS SOPS 13450 HAS SOUS 6466 HAS SOUPS 6453 WITH SCORE 6466.472
AT ITER 220 NEW BEST:: SOT 28737 SOS 13443 HAS SOPS 13421 HAS SOUS 6414 HAS SOUPS 6401 WITH SCORE 6414.443
AT ITER 221 NEW BEST:: SOT 28781 SOS 13415 HAS SOPS 13393 HAS SOUS 6342 HAS SOUPS 6329 WITH SCORE 6342.415
AT ITER 222 NEW BEST:: SOT 28812 SOS 13446 HAS SOPS 13424 HAS SOUS 6321 HAS SOUPS 6308 WITH SCORE 6321.446
AT ITER 226 NEW BEST:: SOT 28796 SOS 13410 HAS SOPS 13388 HAS SOUS 6295 HAS SOUPS 6282 WITH SCORE 6295.41
AT ITER 227 NEW BEST:: SOT 28780 SOS 13370 HAS SOPS 13348 HAS SOUS 6279 HAS SOUPS 6266 WITH SCORE 6279.37
AT ITER 231 NEW BEST:: SOT 28616 SOS 13611 HAS SOPS 13589 HAS SOUS 6128 HAS SOUPS 6115 WITH SCORE 6128.611
AT ITER 233 NEW BEST:: SOT 28616 SOS 13611 HAS SOPS 13589 HAS SOUS 6126 HAS SOUPS 6113 WITH SCORE 6126.611
AT ITER 234 NEW BEST:: SOT 28594 SOS 13541 HAS SOPS 13519 HAS SOUS 6104 HAS SOUPS 6091 WITH SCORE 6104.541
AT ITER 236 NEW BEST:: SOT 28602 SOS 13559 HAS SOPS 13537 HAS SOUS 6085 HAS SOUPS 6072 WITH SCORE 6085.559
AT ITER 242 NEW BEST:: SOT 28598 SOS 13549 HAS SOPS 13527 HAS SOUS 6084 HAS SOUPS 6071 WITH SCORE 6084.549
AT ITER 244 NEW BEST:: SOT 28595 SOS 13543 HAS SOPS 13521 HAS SOUS 6081 HAS SOUPS 6068 WITH SCORE 6081.543
AT ITER 245 NEW BEST:: SOT 28560 SOS 13473 HAS SOPS 13451 HAS SOUS 6051 HAS SOUPS 6038 WITH SCORE 6051.473
AT ITER 257 NEW BEST:: SOT 28558 SOS 13469 HAS SOPS 13447 HAS SOUS 6048 HAS SOUPS 6035 WITH SCORE 6048.469
AT ITER 259 NEW BEST:: SOT 28558 SOS 13469 HAS SOPS 13447 HAS SOUS 6039 HAS SOUPS 6026 WITH SCORE 6039.469
AT ITER 265 NEW BEST:: SOT 28534 SOS 13421 HAS SOPS 13399 HAS SOUS 6039 HAS SOUPS 6026 WITH SCORE 6039.421
AT ITER 274 NEW BEST:: SOT 28502 SOS 13357 HAS SOPS 13335 HAS SOUS 6013 HAS SOUPS 6000 WITH SCORE 6013.357
AT ITER 290 NEW BEST:: SOT 28466 SOS 13279 HAS SOPS 13257 HAS SOUS 5989 HAS SOUPS 5976 WITH SCORE 5989.279
AT ITER 291 NEW BEST:: SOT 28448 SOS 13231 HAS SOPS 13209 HAS SOUS 5955 HAS SOUPS 5942 WITH SCORE 5955.231
AT ITER 293 NEW BEST:: SOT 28439 SOS 13210 HAS SOPS 13188 HAS SOUS 5929 HAS SOUPS 5916 WITH SCORE 5929.21
AT ITER 297 NEW BEST:: SOT 28453 SOS 13233 HAS SOPS 13211 HAS SOUS 5927 HAS SOUPS 5914 WITH SCORE 5927.233
AT ITER 300 NEW BEST:: SOT 28439 SOS 13209 HAS SOPS 13187 HAS SOUS 5923 HAS SOUPS 5910 WITH SCORE 5923.209
AT ITER 303 NEW BEST:: SOT 28400 SOS 13170 HAS SOPS 13148 HAS SOUS 5898 HAS SOUPS 5885 WITH SCORE 5898.17
AT ITER 307 NEW BEST:: SOT 28406 SOS 13177 HAS SOPS 13155 HAS SOUS 5895 HAS SOUPS 5882 WITH SCORE 5895.177
AT ITER 328 NEW BEST:: SOT 28386 SOS 13211 HAS SOPS 13189 HAS SOUS 5874 HAS SOUPS 5861 WITH SCORE 5874.211
AT ITER 330 NEW BEST:: SOT 28386 SOS 13211 HAS SOPS 13189 HAS SOUS 5870 HAS SOUPS 5857 WITH SCORE 5870.211
AT ITER 331 NEW BEST:: SOT 28366 SOS 13338 HAS SOPS 13316 HAS SOUS 5828 HAS SOUPS 5815 WITH SCORE 5828.338
AT ITER 334 NEW BEST:: SOT 28353 SOS 13002 HAS SOPS 12980 HAS SOUS 5798 HAS SOUPS 5785 WITH SCORE 5798.002
AT ITER 352 NEW BEST:: SOT 28356 SOS 13005 HAS SOPS 12983 HAS SOUS 5782 HAS SOUPS 5769 WITH SCORE 5782.005
AT ITER 357 NEW BEST:: SOT 28323 SOS 12946 HAS SOPS 12924 HAS SOUS 5729 HAS SOUPS 5716 WITH SCORE 5728.946
AT ITER 369 NEW BEST:: SOT 28197 SOS 12640 HAS SOPS 12618 HAS SOUS 5675 HAS SOUPS 5662 WITH SCORE 5674.64
AT ITER 375 NEW BEST:: SOT 28197 SOS 12640 HAS SOPS 12618 HAS SOUS 5669 HAS SOUPS 5656 WITH SCORE 5668.64
AT ITER 378 NEW BEST:: SOT 28172 SOS 12611 HAS SOPS 12589 HAS SOUS 5649 HAS SOUPS 5636 WITH SCORE 5648.611
AT ITER 389 NEW BEST:: SOT 28176 SOS 12821 HAS SOPS 12799 HAS SOUS 5639 HAS SOUPS 5626 WITH SCORE 5638.821
AT ITER 393 NEW BEST:: SOT 28094 SOS 12696 HAS SOPS 12674 HAS SOUS 5501 HAS SOUPS 5488 WITH SCORE 5500.696
AT ITER 399 NEW BEST:: SOT 28066 SOS 12644 HAS SOPS 12622 HAS SOUS 5493 HAS SOUPS 5480 WITH SCORE 5492.644
AT ITER 403 NEW BEST:: SOT 28053 SOS 12618 HAS SOPS 12596 HAS SOUS 5480 HAS SOUPS 5467 WITH SCORE 5479.618
AT ITER 409 NEW BEST:: SOT 28034 SOS 12599 HAS SOPS 12577 HAS SOUS 5442 HAS SOUPS 5429 WITH SCORE 5441.599
AT ITER 410 NEW BEST:: SOT 28048 SOS 12619 HAS SOPS 12597 HAS SOUS 5416 HAS SOUPS 5403 WITH SCORE 5415.619
AT ITER 412 NEW BEST:: SOT 28048 SOS 12611 HAS SOPS 12589 HAS SOUS 5416 HAS SOUPS 5403 WITH SCORE 5415.611
AT ITER 417 NEW BEST:: SOT 28044 SOS 12605 HAS SOPS 12583 HAS SOUS 5408 HAS SOUPS 5395 WITH SCORE 5407.605
AT ITER 419 NEW BEST:: SOT 28024 SOS 12580 HAS SOPS 12558 HAS SOUS 5398 HAS SOUPS 5385 WITH SCORE 5397.58
AT ITER 421 NEW BEST:: SOT 27872 SOS 13163 HAS SOPS 13141 HAS SOUS 5322 HAS SOUPS 5309 WITH SCORE 5322.163
AT ITER 432 NEW BEST:: SOT 27836 SOS 13063 HAS SOPS 13041 HAS SOUS 5244 HAS SOUPS 5231 WITH SCORE 5244.063
AT ITER 437 NEW BEST:: SOT 27814 SOS 13041 HAS SOPS 13019 HAS SOUS 5222 HAS SOUPS 5209 WITH SCORE 5222.041
AT ITER 438 NEW BEST:: SOT 27767 SOS 12958 HAS SOPS 12936 HAS SOUS 5156 HAS SOUPS 5143 WITH SCORE 5155.958
AT ITER 442 NEW BEST:: SOT 27725 SOS 12888 HAS SOPS 12866 HAS SOUS 5128 HAS SOUPS 5115 WITH SCORE 5127.888
AT ITER 449 NEW BEST:: SOT 27695 SOS 12826 HAS SOPS 12804 HAS SOUS 5096 HAS SOUPS 5083 WITH SCORE 5095.826
AT ITER 450 NEW BEST:: SOT 27694 SOS 12825 HAS SOPS 12803 HAS SOUS 5095 HAS SOUPS 5082 WITH SCORE 5094.825
AT ITER 452 NEW BEST:: SOT 27662 SOS 12857 HAS SOPS 12835 HAS SOUS 5087 HAS SOUPS 5074 WITH SCORE 5086.857
AT ITER 476 NEW BEST:: SOT 27660 SOS 12828 HAS SOPS 12806 HAS SOUS 5085 HAS SOUPS 5072 WITH SCORE 5084.828
AT ITER 480 NEW BEST:: SOT 27655 SOS 12823 HAS SOPS 12801 HAS SOUS 5075 HAS SOUPS 5062 WITH SCORE 5074.823
AT ITER 489 NEW BEST:: SOT 27654 SOS 12821 HAS SOPS 12799 HAS SOUS 5075 HAS SOUPS 5062 WITH SCORE 5074.821
AT ITER 493 NEW BEST:: SOT 27618 SOS 12749 HAS SOPS 12727 HAS SOUS 5051 HAS SOUPS 5038 WITH SCORE 5050.749
AT ITER 502 NEW BEST:: SOT 27605 SOS 12723 HAS SOPS 12701 HAS SOUS 5037 HAS SOUPS 5024 WITH SCORE 5036.723
AT ITER 537 NEW BEST:: SOT 27596 SOS 12686 HAS SOPS 12664 HAS SOUS 5026 HAS SOUPS 5013 WITH SCORE 5025.686
AT ITER 540 NEW BEST:: SOT 27592 SOS 12674 HAS SOPS 12652 HAS SOUS 5022 HAS SOUPS 5009 WITH SCORE 5021.674
AT ITER 550 NEW BEST:: SOT 27588 SOS 12670 HAS SOPS 12648 HAS SOUS 5018 HAS SOUPS 5005 WITH SCORE 5017.67
AT ITER 552 NEW BEST:: SOT 27558 SOS 12614 HAS SOPS 12592 HAS SOUS 5010 HAS SOUPS 4997 WITH SCORE 5009.614
AT ITER 554 NEW BEST:: SOT 27549 SOS 12593 HAS SOPS 12571 HAS SOUS 5010 HAS SOUPS 4997 WITH SCORE 5009.593
AT ITER 555 NEW BEST:: SOT 27561 SOS 12614 HAS SOPS 12592 HAS SOUS 4989 HAS SOUPS 4976 WITH SCORE 4988.614
AT ITER 563 NEW BEST:: SOT 27547 SOS 12604 HAS SOPS 12582 HAS SOUS 4957 HAS SOUPS 4944 WITH SCORE 4956.604
AT ITER 571 NEW BEST:: SOT 27547 SOS 12604 HAS SOPS 12582 HAS SOUS 4935 HAS SOUPS 4922 WITH SCORE 4934.604
AT ITER 573 NEW BEST:: SOT 27506 SOS 12494 HAS SOPS 12472 HAS SOUS 4925 HAS SOUPS 4912 WITH SCORE 4924.494
AT ITER 580 NEW BEST:: SOT 27510 SOS 12501 HAS SOPS 12479 HAS SOUS 4891 HAS SOUPS 4878 WITH SCORE 4890.501
AT ITER 582 NEW BEST:: SOT 27502 SOS 12485 HAS SOPS 12463 HAS SOUS 4879 HAS SOUPS 4866 WITH SCORE 4878.485
AT ITER 583 NEW BEST:: SOT 27494 SOS 12477 HAS SOPS 12455 HAS SOUS 4868 HAS SOUPS 4855 WITH SCORE 4867.477
AT ITER 590 NEW BEST:: SOT 27490 SOS 12473 HAS SOPS 12451 HAS SOUS 4864 HAS SOUPS 4851 WITH SCORE 4863.473
AT ITER 596 NEW BEST:: SOT 27489 SOS 12469 HAS SOPS 12447 HAS SOUS 4862 HAS SOUPS 4849 WITH SCORE 4861.469
AT ITER 611 NEW BEST:: SOT 27471 SOS 12460 HAS SOPS 12438 HAS SOUS 4845 HAS SOUPS 4832 WITH SCORE 4844.46
AT ITER 616 NEW BEST:: SOT 27458 SOS 12420 HAS SOPS 12398 HAS SOUS 4829 HAS SOUPS 4816 WITH SCORE 4828.42
AT ITER 627 NEW BEST:: SOT 27453 SOS 12415 HAS SOPS 12393 HAS SOUS 4827 HAS SOUPS 4814 WITH SCORE 4826.415
AT ITER 634 NEW BEST:: SOT 27451 SOS 12412 HAS SOPS 12390 HAS SOUS 4824 HAS SOUPS 4811 WITH SCORE 4823.412
AT ITER 682 NEW BEST:: SOT 27473 SOS 12456 HAS SOPS 12434 HAS SOUS 4822 HAS SOUPS 4809 WITH SCORE 4821.456
AT ITER 684 NEW BEST:: SOT 27465 SOS 12448 HAS SOPS 12426 HAS SOUS 4822 HAS SOUPS 4809 WITH SCORE 4821.448
AT ITER 689 NEW BEST:: SOT 27445 SOS 12403 HAS SOPS 12381 HAS SOUS 4797 HAS SOUPS 4784 WITH SCORE 4796.403
AT ITER 692 NEW BEST:: SOT 27394 SOS 12385 HAS SOPS 12363 HAS SOUS 4795 HAS SOUPS 4782 WITH SCORE 4794.385
AT ITER 693 NEW BEST:: SOT 27371 SOS 12362 HAS SOPS 12340 HAS SOUS 4772 HAS SOUPS 4759 WITH SCORE 4771.362
AT ITER 700 NEW BEST:: SOT 27357 SOS 12293 HAS SOPS 12271 HAS SOUS 4758 HAS SOUPS 4745 WITH SCORE 4757.293
AT ITER 707 NEW BEST:: SOT 27339 SOS 12275 HAS SOPS 12253 HAS SOUS 4740 HAS SOUPS 4727 WITH SCORE 4739.275
AT ITER 724 NEW BEST:: SOT 27331 SOS 12267 HAS SOPS 12245 HAS SOUS 4732 HAS SOUPS 4719 WITH SCORE 4731.267
AT ITER 728 NEW BEST:: SOT 27321 SOS 12252 HAS SOPS 12230 HAS SOUS 4727 HAS SOUPS 4714 WITH SCORE 4726.252
AT ITER 736 NEW BEST:: SOT 27318 SOS 12249 HAS SOPS 12227 HAS SOUS 4706 HAS SOUPS 4693 WITH SCORE 4705.249
AT ITER 750 NEW BEST:: SOT 27322 SOS 12249 HAS SOPS 12227 HAS SOUS 4702 HAS SOUPS 4689 WITH SCORE 4701.249
AT ITER 757 NEW BEST:: SOT 27320 SOS 12244 HAS SOPS 12222 HAS SOUS 4698 HAS SOUPS 4685 WITH SCORE 4697.244
AT ITER 763 NEW BEST:: SOT 27311 SOS 12217 HAS SOPS 12195 HAS SOUS 4685 HAS SOUPS 4672 WITH SCORE 4684.217
AT ITER 768 NEW BEST:: SOT 27303 SOS 12198 HAS SOPS 12176 HAS SOUS 4685 HAS SOUPS 4672 WITH SCORE 4684.198
AT ITER 785 NEW BEST:: SOT 27291 SOS 12180 HAS SOPS 12158 HAS SOUS 4679 HAS SOUPS 4666 WITH SCORE 4678.18
AT ITER 795 NEW BEST:: SOT 27291 SOS 12180 HAS SOPS 12158 HAS SOUS 4673 HAS SOUPS 4660 WITH SCORE 4672.18
AT ITER 812 NEW BEST:: SOT 27274 SOS 12374 HAS SOPS 12352 HAS SOUS 4671 HAS SOUPS 4658 WITH SCORE 4670.374
AT ITER 823 NEW BEST:: SOT 27120 SOS 12741 HAS SOPS 12719 HAS SOUS 4652 HAS SOUPS 4639 WITH SCORE 4651.741
AT ITER 829 NEW BEST:: SOT 27080 SOS 12644 HAS SOPS 12622 HAS SOUS 4612 HAS SOUPS 4599 WITH SCORE 4611.644
AT ITER 832 NEW BEST:: SOT 27068 SOS 12593 HAS SOPS 12571 HAS SOUS 4590 HAS SOUPS 4577 WITH SCORE 4589.593
AT ITER 845 NEW BEST:: SOT 27057 SOS 12582 HAS SOPS 12560 HAS SOUS 4579 HAS SOUPS 4566 WITH SCORE 4578.582
AT ITER 848 NEW BEST:: SOT 27068 SOS 12593 HAS SOPS 12571 HAS SOUS 4549 HAS SOUPS 4536 WITH SCORE 4548.593
AT ITER 849 NEW BEST:: SOT 27085 SOS 12610 HAS SOPS 12588 HAS SOUS 4538 HAS SOUPS 4525 WITH SCORE 4537.61
AT ITER 862 NEW BEST:: SOT 27066 SOS 12591 HAS SOPS 12569 HAS SOUS 4519 HAS SOUPS 4506 WITH SCORE 4518.591
AT ITER 865 NEW BEST:: SOT 27057 SOS 12582 HAS SOPS 12560 HAS SOUS 4502 HAS SOUPS 4489 WITH SCORE 4501.582
AT ITER 867 NEW BEST:: SOT 27037 SOS 12562 HAS SOPS 12540 HAS SOUS 4482 HAS SOUPS 4469 WITH SCORE 4481.562
AT ITER 870 NEW BEST:: SOT 27031 SOS 12546 HAS SOPS 12524 HAS SOUS 4481 HAS SOUPS 4468 WITH SCORE 4480.546
AT ITER 879 NEW BEST:: SOT 27029 SOS 12544 HAS SOPS 12522 HAS SOUS 4479 HAS SOUPS 4466 WITH SCORE 4478.544
AT ITER 882 NEW BEST:: SOT 27025 SOS 12532 HAS SOPS 12510 HAS SOUS 4475 HAS SOUPS 4462 WITH SCORE 4474.532
AT ITER 900 NEW BEST:: SOT 27030 SOS 12515 HAS SOPS 12493 HAS SOUS 4472 HAS SOUPS 4459 WITH SCORE 4471.515
AT ITER 914 NEW BEST:: SOT 27030 SOS 12510 HAS SOPS 12488 HAS SOUS 4467 HAS SOUPS 4454 WITH SCORE 4466.51
AT ITER 924 NEW BEST:: SOT 27039 SOS 12537 HAS SOPS 12515 HAS SOUS 4466 HAS SOUPS 4453 WITH SCORE 4465.537
AT ITER 940 NEW BEST:: SOT 27087 SOS 12600 HAS SOPS 12578 HAS SOUS 4458 HAS SOUPS 4445 WITH SCORE 4457.6
AT ITER 949 NEW BEST:: SOT 26921 SOS 12336 HAS SOPS 12314 HAS SOUS 4450 HAS SOUPS 4437 WITH SCORE 4449.336
AT ITER 953 NEW BEST:: SOT 26921 SOS 12336 HAS SOPS 12314 HAS SOUS 4424 HAS SOUPS 4411 WITH SCORE 4423.336
AT ITER 983 NEW BEST:: SOT 26947 SOS 12162 HAS SOPS 12140 HAS SOUS 4420 HAS SOUPS 4407 WITH SCORE 4419.162
AT ITER 1016 NEW BEST:: SOT 26953 SOS 12157 HAS SOPS 12135 HAS SOUS 4408 HAS SOUPS 4395 WITH SCORE 4407.157
AT ITER 1027 NEW BEST:: SOT 26944 SOS 12141 HAS SOPS 12119 HAS SOUS 4401 HAS SOUPS 4388 WITH SCORE 4400.141
AT ITER 1047 NEW BEST:: SOT 26944 SOS 12133 HAS SOPS 12111 HAS SOUS 4401 HAS SOUPS 4388 WITH SCORE 4400.133
AT ITER 1054 NEW BEST:: SOT 26938 SOS 12121 HAS SOPS 12099 HAS SOUS 4397 HAS SOUPS 4384 WITH SCORE 4396.121
AT ITER 1060 NEW BEST:: SOT 26924 SOS 12086 HAS SOPS 12064 HAS SOUS 4390 HAS SOUPS 4377 WITH SCORE 4389.086
AT ITER 1075 NEW BEST:: SOT 26912 SOS 12074 HAS SOPS 12052 HAS SOUS 4380 HAS SOUPS 4367 WITH SCORE 4379.074
AT ITER 1080 NEW BEST:: SOT 26894 SOS 12029 HAS SOPS 12007 HAS SOUS 4362 HAS SOUPS 4349 WITH SCORE 4361.029
AT ITER 1082 NEW BEST:: SOT 26882 SOS 12015 HAS SOPS 11993 HAS SOUS 4348 HAS SOUPS 4335 WITH SCORE 4347.015
AT ITER 1085 NEW BEST:: SOT 26891 SOS 12008 HAS SOPS 11986 HAS SOUS 4325 HAS SOUPS 4312 WITH SCORE 4324.008
AT ITER 1088 NEW BEST:: SOT 26885 SOS 12040 HAS SOPS 12018 HAS SOUS 4293 HAS SOUPS 4280 WITH SCORE 4292.04
AT ITER 1092 NEW BEST:: SOT 26876 SOS 12031 HAS SOPS 12009 HAS SOUS 4293 HAS SOUPS 4280 WITH SCORE 4292.031
AT ITER 1114 NEW BEST:: SOT 26870 SOS 12025 HAS SOPS 12003 HAS SOUS 4291 HAS SOUPS 4278 WITH SCORE 4290.025
AT ITER 1121 NEW BEST:: SOT 26884 SOS 12039 HAS SOPS 12017 HAS SOUS 4285 HAS SOUPS 4272 WITH SCORE 4284.039
AT ITER 1128 NEW BEST:: SOT 26812 SOS 11923 HAS SOPS 11901 HAS SOUS 4251 HAS SOUPS 4238 WITH SCORE 4249.923
AT ITER 1130 NEW BEST:: SOT 26800 SOS 11905 HAS SOPS 11883 HAS SOUS 4245 HAS SOUPS 4232 WITH SCORE 4243.905
AT ITER 1134 NEW BEST:: SOT 26796 SOS 11901 HAS SOPS 11879 HAS SOUS 4241 HAS SOUPS 4228 WITH SCORE 4239.901
AT ITER 1138 NEW BEST:: SOT 26787 SOS 11892 HAS SOPS 11870 HAS SOUS 4232 HAS SOUPS 4219 WITH SCORE 4230.892
AT ITER 1177 NEW BEST:: SOT 26796 SOS 11909 HAS SOPS 11887 HAS SOUS 4201 HAS SOUPS 4188 WITH SCORE 4199.909
AT ITER 1179 NEW BEST:: SOT 26793 SOS 11903 HAS SOPS 11881 HAS SOUS 4201 HAS SOUPS 4188 WITH SCORE 4199.903
AT ITER 1203 NEW BEST:: SOT 26802 SOS 11912 HAS SOPS 11890 HAS SOUS 4200 HAS SOUPS 4187 WITH SCORE 4198.912
AT ITER 1214 NEW BEST:: SOT 26768 SOS 11878 HAS SOPS 11856 HAS SOUS 4166 HAS SOUPS 4153 WITH SCORE 4164.878
AT ITER 1233 NEW BEST:: SOT 26758 SOS 11853 HAS SOPS 11831 HAS SOUS 4156 HAS SOUPS 4143 WITH SCORE 4154.853
AT ITER 1239 NEW BEST:: SOT 26758 SOS 11865 HAS SOPS 11843 HAS SOUS 4153 HAS SOUPS 4140 WITH SCORE 4151.865
AT ITER 1243 NEW BEST:: SOT 26584 SOS 12246 HAS SOPS 12224 HAS SOUS 4110 HAS SOUPS 4097 WITH SCORE 4109.246
AT ITER 1261 NEW BEST:: SOT 26572 SOS 12225 HAS SOPS 12203 HAS SOUS 4092 HAS SOUPS 4079 WITH SCORE 4091.225
AT ITER 1270 NEW BEST:: SOT 26556 SOS 12200 HAS SOPS 12178 HAS SOUS 4068 HAS SOUPS 4055 WITH SCORE 4067.2
AT ITER 1287 NEW BEST:: SOT 26555 SOS 12199 HAS SOPS 12177 HAS SOUS 4062 HAS SOUPS 4049 WITH SCORE 4061.199
AT ITER 1306 NEW BEST:: SOT 26551 SOS 12193 HAS SOPS 12171 HAS SOUS 4056 HAS SOUPS 4043 WITH SCORE 4055.193
AT ITER 1333 NEW BEST:: SOT 26551 SOS 12193 HAS SOPS 12171 HAS SOUS 4050 HAS SOUPS 4037 WITH SCORE 4049.193
AT ITER 1336 NEW BEST:: SOT 26541 SOS 12168 HAS SOPS 12146 HAS SOUS 4041 HAS SOUPS 4028 WITH SCORE 4040.168
AT ITER 1343 NEW BEST:: SOT 26518 SOS 12006 HAS SOPS 11984 HAS SOUS 4025 HAS SOUPS 4012 WITH SCORE 4024.006
AT ITER 1347 NEW BEST:: SOT 26551 SOS 12047 HAS SOPS 12025 HAS SOUS 4022 HAS SOUPS 4009 WITH SCORE 4021.047
AT ITER 1362 NEW BEST:: SOT 26551 SOS 12039 HAS SOPS 12017 HAS SOUS 4014 HAS SOUPS 4001 WITH SCORE 4013.039
AT ITER 1373 NEW BEST:: SOT 26541 SOS 12024 HAS SOPS 12002 HAS SOUS 4014 HAS SOUPS 4001 WITH SCORE 4013.024
AT ITER 1387 NEW BEST:: SOT 26542 SOS 12128 HAS SOPS 12106 HAS SOUS 4001 HAS SOUPS 3988 WITH SCORE 4000.128
AT ITER 1399 NEW BEST:: SOT 26542 SOS 12128 HAS SOPS 12106 HAS SOUS 3982 HAS SOUPS 3969 WITH SCORE 3981.128
AT ITER 1416 NEW BEST:: SOT 26527 SOS 12120 HAS SOPS 12098 HAS SOUS 3967 HAS SOUPS 3954 WITH SCORE 3966.12
AT ITER 1417 NEW BEST:: SOT 26538 SOS 12102 HAS SOPS 12080 HAS SOUS 3965 HAS SOUPS 3952 WITH SCORE 3964.102
AT ITER 1432 NEW BEST:: SOT 26538 SOS 12102 HAS SOPS 12080 HAS SOUS 3960 HAS SOUPS 3947 WITH SCORE 3959.102
AT ITER 1450 NEW BEST:: SOT 26529 SOS 12184 HAS SOPS 12162 HAS SOUS 3951 HAS SOUPS 3938 WITH SCORE 3950.184
AT ITER 1464 NEW BEST:: SOT 26510 SOS 12126 HAS SOPS 12104 HAS SOUS 3947 HAS SOUPS 3934 WITH SCORE 3946.126
AT ITER 1466 NEW BEST:: SOT 26502 SOS 12109 HAS SOPS 12087 HAS SOUS 3938 HAS SOUPS 3925 WITH SCORE 3937.109
AT ITER 1480 NEW BEST:: SOT 26494 SOS 12102 HAS SOPS 12080 HAS SOUS 3930 HAS SOUPS 3917 WITH SCORE 3929.102
AT ITER 1486 NEW BEST:: SOT 26494 SOS 12102 HAS SOPS 12080 HAS SOUS 3924 HAS SOUPS 3911 WITH SCORE 3923.102
AT ITER 1489 NEW BEST:: SOT 26490 SOS 12127 HAS SOPS 12105 HAS SOUS 3921 HAS SOUPS 3908 WITH SCORE 3920.127
AT ITER 1516 NEW BEST:: SOT 26489 SOS 12126 HAS SOPS 12104 HAS SOUS 3920 HAS SOUPS 3907 WITH SCORE 3919.126
AT ITER 1517 NEW BEST:: SOT 26487 SOS 12116 HAS SOPS 12094 HAS SOUS 3918 HAS SOUPS 3905 WITH SCORE 3917.116
AT ITER 1521 NEW BEST:: SOT 26496 SOS 12141 HAS SOPS 12119 HAS SOUS 3916 HAS SOUPS 3903 WITH SCORE 3915.141
AT ITER 1524 NEW BEST:: SOT 26475 SOS 12099 HAS SOPS 12077 HAS SOUS 3916 HAS SOUPS 3903 WITH SCORE 3915.099
AT ITER 1525 NEW BEST:: SOT 26457 SOS 12061 HAS SOPS 12039 HAS SOUS 3890 HAS SOUPS 3877 WITH SCORE 3889.061
AT ITER 1545 NEW BEST:: SOT 26461 SOS 12065 HAS SOPS 12043 HAS SOUS 3847 HAS SOUPS 3834 WITH SCORE 3846.065
AT ITER 1604 NEW BEST:: SOT 26461 SOS 12065 HAS SOPS 12043 HAS SOUS 3837 HAS SOUPS 3824 WITH SCORE 3836.065
AT ITER 1622 NEW BEST:: SOT 26472 SOS 12079 HAS SOPS 12057 HAS SOUS 3819 HAS SOUPS 3806 WITH SCORE 3818.079
AT ITER 1634 NEW BEST:: SOT 26428 SOS 12189 HAS SOPS 12167 HAS SOUS 3815 HAS SOUPS 3802 WITH SCORE 3814.189
AT ITER 1656 NEW BEST:: SOT 26429 SOS 12185 HAS SOPS 12163 HAS SOUS 3810 HAS SOUPS 3797 WITH SCORE 3809.185
AT ITER 1665 NEW BEST:: SOT 26410 SOS 12166 HAS SOPS 12144 HAS SOUS 3791 HAS SOUPS 3778 WITH SCORE 3790.166
AT ITER 1678 NEW BEST:: SOT 26407 SOS 12163 HAS SOPS 12141 HAS SOUS 3788 HAS SOUPS 3775 WITH SCORE 3787.163
AT ITER 1711 NEW BEST:: SOT 26382 SOS 12117 HAS SOPS 12095 HAS SOUS 3784 HAS SOUPS 3771 WITH SCORE 3783.117
AT ITER 1746 NEW BEST:: SOT 26376 SOS 12012 HAS SOPS 11990 HAS SOUS 3777 HAS SOUPS 3764 WITH SCORE 3776.012
AT ITER 1761 NEW BEST:: SOT 26373 SOS 12009 HAS SOPS 11987 HAS SOUS 3777 HAS SOUPS 3764 WITH SCORE 3776.009
AT ITER 1770 NEW BEST:: SOT 26369 SOS 11998 HAS SOPS 11976 HAS SOUS 3774 HAS SOUPS 3761 WITH SCORE 3772.998
AT ITER 1775 NEW BEST:: SOT 26263 SOS 11839 HAS SOPS 11817 HAS SOUS 3773 HAS SOUPS 3760 WITH SCORE 3771.839
AT ITER 1777 NEW BEST:: SOT 26257 SOS 11827 HAS SOPS 11805 HAS SOUS 3767 HAS SOUPS 3754 WITH SCORE 3765.827
AT ITER 1780 NEW BEST:: SOT 26224 SOS 11750 HAS SOPS 11728 HAS SOUS 3745 HAS SOUPS 3732 WITH SCORE 3743.75
AT ITER 1797 NEW BEST:: SOT 26224 SOS 11750 HAS SOPS 11728 HAS SOUS 3742 HAS SOUPS 3729 WITH SCORE 3740.75
AT ITER 1799 NEW BEST:: SOT 26218 SOS 11734 HAS SOPS 11712 HAS SOUS 3738 HAS SOUPS 3725 WITH SCORE 3736.734
AT ITER 1821 NEW BEST:: SOT 26206 SOS 11710 HAS SOPS 11688 HAS SOUS 3726 HAS SOUPS 3713 WITH SCORE 3724.71
AT ITER 1831 NEW BEST:: SOT 26191 SOS 11695 HAS SOPS 11673 HAS SOUS 3725 HAS SOUPS 3712 WITH SCORE 3723.695
AT ITER 1836 NEW BEST:: SOT 26187 SOS 11689 HAS SOPS 11667 HAS SOUS 3723 HAS SOUPS 3710 WITH SCORE 3721.689
AT ITER 1851 NEW BEST:: SOT 26143 SOS 11606 HAS SOPS 11584 HAS SOUS 3721 HAS SOUPS 3708 WITH SCORE 3719.606
AT ITER 1852 NEW BEST:: SOT 26137 SOS 11592 HAS SOPS 11570 HAS SOUS 3717 HAS SOUPS 3704 WITH SCORE 3715.592
AT ITER 1878 NEW BEST:: SOT 26124 SOS 11559 HAS SOPS 11537 HAS SOUS 3706 HAS SOUPS 3693 WITH SCORE 3704.559
AT ITER 1895 NEW BEST:: SOT 26118 SOS 11553 HAS SOPS 11531 HAS SOUS 3693 HAS SOUPS 3680 WITH SCORE 3691.553
AT ITER 1913 NEW BEST:: SOT 26108 SOS 11528 HAS SOPS 11506 HAS SOUS 3683 HAS SOUPS 3670 WITH SCORE 3681.528
AT ITER 1923 NEW BEST:: SOT 26108 SOS 11528 HAS SOPS 11506 HAS SOUS 3682 HAS SOUPS 3669 WITH SCORE 3680.528
AT ITER 1935 NEW BEST:: SOT 26098 SOS 11518 HAS SOPS 11496 HAS SOUS 3672 HAS SOUPS 3659 WITH SCORE 3670.518
AT ITER 1940 NEW BEST:: SOT 26100 SOS 11508 HAS SOPS 11486 HAS SOUS 3654 HAS SOUPS 3641 WITH SCORE 3652.508
AT ITER 1946 NEW BEST:: SOT 26090 SOS 11498 HAS SOPS 11476 HAS SOUS 3651 HAS SOUPS 3638 WITH SCORE 3649.498
AT ITER 1967 NEW BEST:: SOT 26072 SOS 11462 HAS SOPS 11440 HAS SOUS 3643 HAS SOUPS 3630 WITH SCORE 3641.462
AT ITER 2010 NEW BEST:: SOT 26066 SOS 11456 HAS SOPS 11434 HAS SOUS 3640 HAS SOUPS 3627 WITH SCORE 3638.456
AT ITER 2018 NEW BEST:: SOT 26059 SOS 11442 HAS SOPS 11420 HAS SOUS 3633 HAS SOUPS 3620 WITH SCORE 3631.442
AT ITER 2021 NEW BEST:: SOT 26029 SOS 11365 HAS SOPS 11343 HAS SOUS 3611 HAS SOUPS 3598 WITH SCORE 3609.365
AT ITER 2047 NEW BEST:: SOT 26025 SOS 11355 HAS SOPS 11333 HAS SOUS 3606 HAS SOUPS 3593 WITH SCORE 3604.355
AT ITER 2060 NEW BEST:: SOT 26020 SOS 11331 HAS SOPS 11309 HAS SOUS 3604 HAS SOUPS 3591 WITH SCORE 3602.331
AT ITER 2099 NEW BEST:: SOT 26020 SOS 11322 HAS SOPS 11300 HAS SOUS 3603 HAS SOUPS 3590 WITH SCORE 3601.322
AT ITER 2128 NEW BEST:: SOT 26020 SOS 11322 HAS SOPS 11300 HAS SOUS 3599 HAS SOUPS 3586 WITH SCORE 3597.322
AT ITER 2155 NEW BEST:: SOT 26020 SOS 11314 HAS SOPS 11292 HAS SOUS 3599 HAS SOUPS 3586 WITH SCORE 3597.314
AT ITER 2164 NEW BEST:: SOT 26018 SOS 11311 HAS SOPS 11289 HAS SOUS 3596 HAS SOUPS 3583 WITH SCORE 3594.311
AT ITER 2221 NEW BEST:: SOT 26025 SOS 11316 HAS SOPS 11294 HAS SOUS 3591 HAS SOUPS 3578 WITH SCORE 3589.316
AT ITER 2273 NEW BEST:: SOT 26016 SOS 11307 HAS SOPS 11285 HAS SOUS 3587 HAS SOUPS 3574 WITH SCORE 3585.307
AT ITER 2305 NEW BEST:: SOT 26018 SOS 11309 HAS SOPS 11287 HAS SOUS 3585 HAS SOUPS 3572 WITH SCORE 3583.309
AT ITER 2342 NEW BEST:: SOT 25960 SOS 11221 HAS SOPS 11199 HAS SOUS 3576 HAS SOUPS 3563 WITH SCORE 3574.221
AT ITER 2355 NEW BEST:: SOT 25954 SOS 11212 HAS SOPS 11190 HAS SOUS 3571 HAS SOUPS 3558 WITH SCORE 3569.212
AT ITER 2397 NEW BEST:: SOT 25939 SOS 11197 HAS SOPS 11175 HAS SOUS 3571 HAS SOUPS 3558 WITH SCORE 3569.197
AT ITER 2454 NEW BEST:: SOT 25938 SOS 11196 HAS SOPS 11174 HAS SOUS 3570 HAS SOUPS 3557 WITH SCORE 3568.196
AT ITER 2477 NEW BEST:: SOT 25916 SOS 11130 HAS SOPS 11108 HAS SOUS 3526 HAS SOUPS 3513 WITH SCORE 3524.13
AT ITER 2487 NEW BEST:: SOT 25916 SOS 11121 HAS SOPS 11099 HAS SOUS 3523 HAS SOUPS 3510 WITH SCORE 3521.121
AT ITER 2490 NEW BEST:: SOT 25916 SOS 11112 HAS SOPS 11090 HAS SOUS 3523 HAS SOUPS 3510 WITH SCORE 3521.112
AT ITER 2537 NEW BEST:: SOT 25915 SOS 11111 HAS SOPS 11089 HAS SOUS 3522 HAS SOUPS 3509 WITH SCORE 3520.111
AT ITER 2614 NEW BEST:: SOT 25913 SOS 11109 HAS SOPS 11087 HAS SOUS 3518 HAS SOUPS 3505 WITH SCORE 3516.109
AT ITER 2656 NEW BEST:: SOT 25916 SOS 11122 HAS SOPS 11100 HAS SOUS 3516 HAS SOUPS 3503 WITH SCORE 3514.122
AT ITER 2662 NEW BEST:: SOT 25933 SOS 11156 HAS SOPS 11134 HAS SOUS 3509 HAS SOUPS 3496 WITH SCORE 3507.156
AT ITER 2667 NEW BEST:: SOT 25932 SOS 11155 HAS SOPS 11133 HAS SOUS 3507 HAS SOUPS 3494 WITH SCORE 3505.155
AT ITER 2679 NEW BEST:: SOT 25930 SOS 11151 HAS SOPS 11129 HAS SOUS 3507 HAS SOUPS 3494 WITH SCORE 3505.151
AT ITER 2707 NEW BEST:: SOT 25924 SOS 11147 HAS SOPS 11125 HAS SOUS 3501 HAS SOUPS 3488 WITH SCORE 3499.147
AT ITER 2711 NEW BEST:: SOT 25921 SOS 11144 HAS SOPS 11122 HAS SOUS 3501 HAS SOUPS 3488 WITH SCORE 3499.144
AT ITER 2731 NEW BEST:: SOT 25921 SOS 11144 HAS SOPS 11122 HAS SOUS 3495 HAS SOUPS 3482 WITH SCORE 3493.144
AT ITER 2741 NEW BEST:: SOT 25917 SOS 11146 HAS SOPS 11124 HAS SOUS 3491 HAS SOUPS 3478 WITH SCORE 3489.146
AT ITER 2776 NEW BEST:: SOT 25917 SOS 11146 HAS SOPS 11124 HAS SOUS 3489 HAS SOUPS 3476 WITH SCORE 3487.146
AT ITER 2781 NEW BEST:: SOT 25932 SOS 11077 HAS SOPS 11055 HAS SOUS 3488 HAS SOUPS 3475 WITH SCORE 3486.077
AT ITER 2812 NEW BEST:: SOT 25928 SOS 11073 HAS SOPS 11051 HAS SOUS 3484 HAS SOUPS 3471 WITH SCORE 3482.073
AT ITER 2829 NEW BEST:: SOT 25926 SOS 11069 HAS SOPS 11047 HAS SOUS 3482 HAS SOUPS 3469 WITH SCORE 3480.069
AT ITER 2871 NEW BEST:: SOT 25925 SOS 11068 HAS SOPS 11046 HAS SOUS 3480 HAS SOUPS 3467 WITH SCORE 3478.068
AT ITER 2895 NEW BEST:: SOT 25923 SOS 11069 HAS SOPS 11047 HAS SOUS 3479 HAS SOUPS 3466 WITH SCORE 3477.069
AT ITER 2902 NEW BEST:: SOT 25916 SOS 11048 HAS SOPS 11026 HAS SOUS 3479 HAS SOUPS 3466 WITH SCORE 3477.048
AT ITER 2912 NEW BEST:: SOT 25897 SOS 11028 HAS SOPS 11006 HAS SOUS 3466 HAS SOUPS 3453 WITH SCORE 3464.028
AT ITER 2999 NEW BEST:: SOT 25893 SOS 10996 HAS SOPS 10974 HAS SOUS 3461 HAS SOUPS 3448 WITH SCORE 3458.996
AT ITER 3054 NEW BEST:: SOT 25891 SOS 10994 HAS SOPS 10972 HAS SOUS 3459 HAS SOUPS 3446 WITH SCORE 3456.994
AT ITER 3061 NEW BEST:: SOT 25868 SOS 10971 HAS SOPS 10949 HAS SOUS 3446 HAS SOUPS 3433 WITH SCORE 3443.971
AT ITER 3108 NEW BEST:: SOT 25865 SOS 10968 HAS SOPS 10946 HAS SOUS 3443 HAS SOUPS 3430 WITH SCORE 3440.968
AT ITER 3138 NEW BEST:: SOT 25862 SOS 10965 HAS SOPS 10943 HAS SOUS 3440 HAS SOUPS 3427 WITH SCORE 3437.965
AT ITER 3139 NEW BEST:: SOT 25866 SOS 10976 HAS SOPS 10954 HAS SOUS 3437 HAS SOUPS 3424 WITH SCORE 3434.976
AT ITER 3272 NEW BEST:: SOT 25861 SOS 11006 HAS SOPS 10984 HAS SOUS 3428 HAS SOUPS 3415 WITH SCORE 3426.006
AT ITER 3278 NEW BEST:: SOT 25854 SOS 10970 HAS SOPS 10948 HAS SOUS 3427 HAS SOUPS 3414 WITH SCORE 3424.97
AT ITER 3287 NEW BEST:: SOT 25847 SOS 10963 HAS SOPS 10941 HAS SOUS 3422 HAS SOUPS 3409 WITH SCORE 3419.963
AT ITER 3297 NEW BEST:: SOT 25858 SOS 10974 HAS SOPS 10952 HAS SOUS 3383 HAS SOUPS 3370 WITH SCORE 3380.974
AT ITER 3315 NEW BEST:: SOT 25866 SOS 10957 HAS SOPS 10935 HAS SOUS 3383 HAS SOUPS 3370 WITH SCORE 3380.957
AT ITER 3329 NEW BEST:: SOT 25870 SOS 10961 HAS SOPS 10939 HAS SOUS 3379 HAS SOUPS 3366 WITH SCORE 3376.961
AT ITER 3358 NEW BEST:: SOT 25847 SOS 11187 HAS SOPS 11165 HAS SOUS 3378 HAS SOUPS 3365 WITH SCORE 3376.187
AT ITER 3378 NEW BEST:: SOT 25850 SOS 11185 HAS SOPS 11163 HAS SOUS 3378 HAS SOUPS 3365 WITH SCORE 3376.185
AT ITER 3404 NEW BEST:: SOT 25822 SOS 11129 HAS SOPS 11107 HAS SOUS 3378 HAS SOUPS 3365 WITH SCORE 3376.129
AT ITER 3453 NEW BEST:: SOT 25784 SOS 11071 HAS SOPS 11049 HAS SOUS 3360 HAS SOUPS 3347 WITH SCORE 3358.071
AT ITER 3582 NEW BEST:: SOT 25779 SOS 11061 HAS SOPS 11039 HAS SOUS 3359 HAS SOUPS 3346 WITH SCORE 3357.061
AT ITER 3602 NEW BEST:: SOT 25779 SOS 11061 HAS SOPS 11039 HAS SOUS 3357 HAS SOUPS 3344 WITH SCORE 3355.061
AT ITER 3627 NEW BEST:: SOT 25776 SOS 11058 HAS SOPS 11036 HAS SOUS 3354 HAS SOUPS 3341 WITH SCORE 3352.058
AT ITER 3671 NEW BEST:: SOT 25790 SOS 11086 HAS SOPS 11064 HAS SOUS 3347 HAS SOUPS 3334 WITH SCORE 3345.086
AT ITER 3682 NEW BEST:: SOT 25786 SOS 11078 HAS SOPS 11056 HAS SOUS 3344 HAS SOUPS 3331 WITH SCORE 3342.078
AT ITER 3693 NEW BEST:: SOT 25784 SOS 11076 HAS SOPS 11054 HAS SOUS 3339 HAS SOUPS 3326 WITH SCORE 3337.076
AT ITER 3702 NEW BEST:: SOT 25774 SOS 11066 HAS SOPS 11044 HAS SOUS 3329 HAS SOUPS 3316 WITH SCORE 3327.066
AT ITER 3714 NEW BEST:: SOT 25771 SOS 11063 HAS SOPS 11041 HAS SOUS 3323 HAS SOUPS 3310 WITH SCORE 3321.063
AT ITER 3761 NEW BEST:: SOT 25771 SOS 11061 HAS SOPS 11039 HAS SOUS 3320 HAS SOUPS 3307 WITH SCORE 3318.061
AT ITER 3768 NEW BEST:: SOT 25769 SOS 11057 HAS SOPS 11035 HAS SOUS 3318 HAS SOUPS 3305 WITH SCORE 3316.057
AT ITER 3784 NEW BEST:: SOT 25751 SOS 11026 HAS SOPS 11004 HAS SOUS 3318 HAS SOUPS 3305 WITH SCORE 3316.026
AT ITER 3786 NEW BEST:: SOT 25749 SOS 11022 HAS SOPS 11000 HAS SOUS 3317 HAS SOUPS 3304 WITH SCORE 3315.022
AT ITER 3819 NEW BEST:: SOT 25751 SOS 11024 HAS SOPS 11002 HAS SOUS 3315 HAS SOUPS 3302 WITH SCORE 3313.024
AT ITER 3834 NEW BEST:: SOT 25749 SOS 11022 HAS SOPS 11000 HAS SOUS 3313 HAS SOUPS 3300 WITH SCORE 3311.022
AT ITER 4076 NEW BEST:: SOT 25741 SOS 11117 HAS SOPS 11095 HAS SOUS 3307 HAS SOUPS 3294 WITH SCORE 3305.117
AT ITER 4085 NEW BEST:: SOT 25771 SOS 11165 HAS SOPS 11143 HAS SOUS 3300 HAS SOUPS 3287 WITH SCORE 3298.165
AT ITER 4133 NEW BEST:: SOT 25769 SOS 11161 HAS SOPS 11139 HAS SOUS 3298 HAS SOUPS 3285 WITH SCORE 3296.161
AT ITER 4160 NEW BEST:: SOT 25767 SOS 11159 HAS SOPS 11137 HAS SOUS 3296 HAS SOUPS 3283 WITH SCORE 3294.159
AT ITER 4168 NEW BEST:: SOT 25764 SOS 11156 HAS SOPS 11134 HAS SOUS 3293 HAS SOUPS 3280 WITH SCORE 3291.156
AT ITER 4207 NEW BEST:: SOT 25760 SOS 11152 HAS SOPS 11130 HAS SOUS 3290 HAS SOUPS 3277 WITH SCORE 3288.152
AT ITER 4223 NEW BEST:: SOT 25760 SOS 11152 HAS SOPS 11130 HAS SOUS 3288 HAS SOUPS 3275 WITH SCORE 3286.152
AT ITER 4240 NEW BEST:: SOT 25756 SOS 11170 HAS SOPS 11148 HAS SOUS 3287 HAS SOUPS 3274 WITH SCORE 3285.17
AT ITER 4287 NEW BEST:: SOT 25745 SOS 11148 HAS SOPS 11126 HAS SOUS 3284 HAS SOUPS 3271 WITH SCORE 3282.148
AT ITER 4297 NEW BEST:: SOT 25745 SOS 11147 HAS SOPS 11125 HAS SOUS 3283 HAS SOUPS 3270 WITH SCORE 3281.147
AT ITER 4328 NEW BEST:: SOT 25741 SOS 11141 HAS SOPS 11119 HAS SOUS 3280 HAS SOUPS 3267 WITH SCORE 3278.141
AT ITER 4447 NEW BEST:: SOT 25740 SOS 11139 HAS SOPS 11117 HAS SOUS 3279 HAS SOUPS 3266 WITH SCORE 3277.139
AT ITER 4495 NEW BEST:: SOT 25734 SOS 11078 HAS SOPS 11056 HAS SOUS 3277 HAS SOUPS 3264 WITH SCORE 3275.078
AT ITER 4505 NEW BEST:: SOT 25719 SOS 11048 HAS SOPS 11026 HAS SOUS 3276 HAS SOUPS 3263 WITH SCORE 3274.048
AT ITER 4581 NEW BEST:: SOT 25716 SOS 11045 HAS SOPS 11023 HAS SOUS 3273 HAS SOUPS 3260 WITH SCORE 3271.045
AT ITER 4588 NEW BEST:: SOT 25716 SOS 11044 HAS SOPS 11022 HAS SOUS 3273 HAS SOUPS 3260 WITH SCORE 3271.044
AT ITER 4653 NEW BEST:: SOT 25698 SOS 11013 HAS SOPS 10991 HAS SOUS 3269 HAS SOUPS 3256 WITH SCORE 3267.013
AT ITER 4657 NEW BEST:: SOT 25697 SOS 11010 HAS SOPS 10988 HAS SOUS 3269 HAS SOUPS 3256 WITH SCORE 3267.01
AT ITER 4676 NEW BEST:: SOT 25659 SOS 10948 HAS SOPS 10926 HAS SOUS 3255 HAS SOUPS 3242 WITH SCORE 3252.948
AT ITER 4714 NEW BEST:: SOT 25659 SOS 10948 HAS SOPS 10926 HAS SOUS 3253 HAS SOUPS 3240 WITH SCORE 3250.948
AT ITER 4721 NEW BEST:: SOT 25638 SOS 10911 HAS SOPS 10889 HAS SOUS 3248 HAS SOUPS 3235 WITH SCORE 3245.911
AT ITER 4818 NEW BEST:: SOT 25638 SOS 10907 HAS SOPS 10885 HAS SOUS 3247 HAS SOUPS 3234 WITH SCORE 3244.907
AT ITER 4928 NEW BEST:: SOT 25639 SOS 10908 HAS SOPS 10886 HAS SOUS 3245 HAS SOUPS 3232 WITH SCORE 3242.908
AT ITER 4934 NEW BEST:: SOT 25638 SOS 10907 HAS SOPS 10885 HAS SOUS 3244 HAS SOUPS 3231 WITH SCORE 3241.907
AT ITER 4937 NEW BEST:: SOT 25638 SOS 10907 HAS SOPS 10885 HAS SOUS 3242 HAS SOUPS 3229 WITH SCORE 3239.907
AT ITER 4941 NEW BEST:: SOT 25638 SOS 10907 HAS SOPS 10885 HAS SOUS 3241 HAS SOUPS 3228 WITH SCORE 3238.907
AT ITER 4946 NEW BEST:: SOT 25637 SOS 10906 HAS SOPS 10884 HAS SOUS 3239 HAS SOUPS 3226 WITH SCORE 3236.906
AT ITER 4977 NEW BEST:: SOT 25637 SOS 10905 HAS SOPS 10883 HAS SOUS 3238 HAS SOUPS 3225 WITH SCORE 3235.905
AT ITER 5000 NEW BEST:: SOT 25631 SOS 10889 HAS SOPS 10867 HAS SOUS 3232 HAS SOUPS 3219 WITH SCORE 3229.889
AT ITER 5003 NEW BEST:: SOT 25709 SOS 11045 HAS SOPS 11023 HAS SOUS 3222 HAS SOUPS 3209 WITH SCORE 3220.045
AT ITER 5073 NEW BEST:: SOT 25706 SOS 11042 HAS SOPS 11020 HAS SOUS 3216 HAS SOUPS 3203 WITH SCORE 3214.042
AT ITER 5085 NEW BEST:: SOT 25702 SOS 11034 HAS SOPS 11012 HAS SOUS 3216 HAS SOUPS 3203 WITH SCORE 3214.034
AT ITER 5101 NEW BEST:: SOT 25701 SOS 11033 HAS SOPS 11011 HAS SOUS 3213 HAS SOUPS 3200 WITH SCORE 3211.033
AT ITER 5138 NEW BEST:: SOT 25697 SOS 11029 HAS SOPS 11007 HAS SOUS 3206 HAS SOUPS 3193 WITH SCORE 3204.029
AT ITER 5149 NEW BEST:: SOT 25699 SOS 11033 HAS SOPS 11011 HAS SOUS 3204 HAS SOUPS 3191 WITH SCORE 3202.033
AT ITER 5166 NEW BEST:: SOT 25696 SOS 11026 HAS SOPS 11004 HAS SOUS 3201 HAS SOUPS 3188 WITH SCORE 3199.026
AT ITER 5191 NEW BEST:: SOT 25690 SOS 11008 HAS SOPS 10986 HAS SOUS 3198 HAS SOUPS 3185 WITH SCORE 3196.008
AT ITER 5225 NEW BEST:: SOT 25690 SOS 11008 HAS SOPS 10986 HAS SOUS 3196 HAS SOUPS 3183 WITH SCORE 3194.008
AT ITER 5281 NEW BEST:: SOT 25690 SOS 11008 HAS SOPS 10986 HAS SOUS 3195 HAS SOUPS 3182 WITH SCORE 3193.008
AT ITER 5337 NEW BEST:: SOT 25689 SOS 11008 HAS SOPS 10986 HAS SOUS 3194 HAS SOUPS 3181 WITH SCORE 3192.008
AT ITER 5406 NEW BEST:: SOT 25692 SOS 10994 HAS SOPS 10972 HAS SOUS 3190 HAS SOUPS 3177 WITH SCORE 3187.994
AT ITER 5415 NEW BEST:: SOT 25698 SOS 11006 HAS SOPS 10984 HAS SOUS 3189 HAS SOUPS 3176 WITH SCORE 3187.006
AT ITER 5465 NEW BEST:: SOT 25697 SOS 11004 HAS SOPS 10982 HAS SOUS 3188 HAS SOUPS 3175 WITH SCORE 3186.004
AT ITER 5483 NEW BEST:: SOT 25683 SOS 10981 HAS SOPS 10959 HAS SOUS 3172 HAS SOUPS 3159 WITH SCORE 3169.981
AT ITER 5587 NEW BEST:: SOT 25681 SOS 10971 HAS SOPS 10949 HAS SOUS 3168 HAS SOUPS 3155 WITH SCORE 3165.971
AT ITER 5685 NEW BEST:: SOT 25679 SOS 10972 HAS SOPS 10950 HAS SOUS 3166 HAS SOUPS 3153 WITH SCORE 3163.972
AT ITER 5702 NEW BEST:: SOT 25675 SOS 10968 HAS SOPS 10946 HAS SOUS 3162 HAS SOUPS 3149 WITH SCORE 3159.968
AT ITER 5751 NEW BEST:: SOT 25672 SOS 11036 HAS SOPS 11014 HAS SOUS 3160 HAS SOUPS 3147 WITH SCORE 3158.036
AT ITER 5847 NEW BEST:: SOT 25672 SOS 11036 HAS SOPS 11014 HAS SOUS 3159 HAS SOUPS 3146 WITH SCORE 3157.036
AT ITER 5870 NEW BEST:: SOT 25671 SOS 11035 HAS SOPS 11013 HAS SOUS 3158 HAS SOUPS 3145 WITH SCORE 3156.035
AT ITER 5935 NEW BEST:: SOT 25663 SOS 11019 HAS SOPS 10997 HAS SOUS 3158 HAS SOUPS 3145 WITH SCORE 3156.019
AT ITER 5971 NEW BEST:: SOT 25653 SOS 10999 HAS SOPS 10977 HAS SOUS 3157 HAS SOUPS 3144 WITH SCORE 3154.999
AT ITER 6012 NEW BEST:: SOT 25650 SOS 10998 HAS SOPS 10976 HAS SOUS 3156 HAS SOUPS 3143 WITH SCORE 3153.998
AT ITER 6059 NEW BEST:: SOT 25658 SOS 11010 HAS SOPS 10988 HAS SOUS 3153 HAS SOUPS 3140 WITH SCORE 3151.01
AT ITER 6139 NEW BEST:: SOT 25659 SOS 11012 HAS SOPS 10990 HAS SOUS 3151 HAS SOUPS 3138 WITH SCORE 3149.012
AT ITER 6218 NEW BEST:: SOT 25655 SOS 11004 HAS SOPS 10982 HAS SOUS 3143 HAS SOUPS 3130 WITH SCORE 3141.004
AT ITER 6293 NEW BEST:: SOT 25655 SOS 11004 HAS SOPS 10982 HAS SOUS 3138 HAS SOUPS 3125 WITH SCORE 3136.004
AT ITER 6363 NEW BEST:: SOT 25652 SOS 11001 HAS SOPS 10979 HAS SOUS 3135 HAS SOUPS 3122 WITH SCORE 3133.001
AT ITER 6405 NEW BEST:: SOT 25643 SOS 10956 HAS SOPS 10934 HAS SOUS 3116 HAS SOUPS 3103 WITH SCORE 3113.956
AT ITER 6650 NEW BEST:: SOT 25646 SOS 10957 HAS SOPS 10935 HAS SOUS 3114 HAS SOUPS 3101 WITH SCORE 3111.957
AT ITER 6689 NEW BEST:: SOT 25642 SOS 10953 HAS SOPS 10931 HAS SOUS 3110 HAS SOUPS 3097 WITH SCORE 3107.953
AT ITER 6703 NEW BEST:: SOT 25640 SOS 10949 HAS SOPS 10927 HAS SOUS 3110 HAS SOUPS 3097 WITH SCORE 3107.949
AT ITER 6874 NEW BEST:: SOT 25640 SOS 10949 HAS SOPS 10927 HAS SOUS 3108 HAS SOUPS 3095 WITH SCORE 3105.949
AT ITER 6889 NEW BEST:: SOT 25639 SOS 10948 HAS SOPS 10926 HAS SOUS 3107 HAS SOUPS 3094 WITH SCORE 3104.948
AT ITER 6895 NEW BEST:: SOT 25637 SOS 10946 HAS SOPS 10924 HAS SOUS 3103 HAS SOUPS 3090 WITH SCORE 3100.946
AT ITER 6927 NEW BEST:: SOT 25635 SOS 10916 HAS SOPS 10894 HAS SOUS 3101 HAS SOUPS 3088 WITH SCORE 3098.916
AT ITER 7012 NEW BEST:: SOT 25635 SOS 10915 HAS SOPS 10893 HAS SOUS 3100 HAS SOUPS 3087 WITH SCORE 3097.915
AT ITER 7100 NEW BEST:: SOT 25634 SOS 10912 HAS SOPS 10890 HAS SOUS 3099 HAS SOUPS 3086 WITH SCORE 3096.912
AT ITER 7230 NEW BEST:: SOT 25637 SOS 10877 HAS SOPS 10855 HAS SOUS 3097 HAS SOUPS 3084 WITH SCORE 3094.877
AT ITER 7252 NEW BEST:: SOT 25637 SOS 10878 HAS SOPS 10856 HAS SOUS 3096 HAS SOUPS 3083 WITH SCORE 3093.878
AT ITER 7342 NEW BEST:: SOT 25636 SOS 10877 HAS SOPS 10855 HAS SOUS 3096 HAS SOUPS 3083 WITH SCORE 3093.877
AT ITER 7353 NEW BEST:: SOT 25639 SOS 10880 HAS SOPS 10858 HAS SOUS 3095 HAS SOUPS 3082 WITH SCORE 3092.88
AT ITER 7377 NEW BEST:: SOT 25630 SOS 10862 HAS SOPS 10840 HAS SOUS 3091 HAS SOUPS 3078 WITH SCORE 3088.862
AT ITER 7431 NEW BEST:: SOT 25619 SOS 10851 HAS SOPS 10829 HAS SOUS 3090 HAS SOUPS 3077 WITH SCORE 3087.851
AT ITER 7708 NEW BEST:: SOT 25616 SOS 10848 HAS SOPS 10826 HAS SOUS 3090 HAS SOUPS 3077 WITH SCORE 3087.848
AT ITER 7715 NEW BEST:: SOT 25616 SOS 10849 HAS SOPS 10827 HAS SOUS 3089 HAS SOUPS 3076 WITH SCORE 3086.849
AT ITER 7912 NEW BEST:: SOT 25616 SOS 10850 HAS SOPS 10828 HAS SOUS 3088 HAS SOUPS 3075 WITH SCORE 3085.85
AT ITER 7969 NEW BEST:: SOT 25616 SOS 10850 HAS SOPS 10828 HAS SOUS 3086 HAS SOUPS 3073 WITH SCORE 3083.85
AT ITER 7970 NEW BEST:: SOT 25612 SOS 10838 HAS SOPS 10816 HAS SOUS 3086 HAS SOUPS 3073 WITH SCORE 3083.838
AT ITER 8051 NEW BEST:: SOT 25620 SOS 10846 HAS SOPS 10824 HAS SOUS 3084 HAS SOUPS 3071 WITH SCORE 3081.846
AT ITER 8235 NEW BEST:: SOT 25617 SOS 10843 HAS SOPS 10821 HAS SOUS 3073 HAS SOUPS 3060 WITH SCORE 3070.843
AT ITER 8265 NEW BEST:: SOT 25617 SOS 10841 HAS SOPS 10819 HAS SOUS 3073 HAS SOUPS 3060 WITH SCORE 3070.841
AT ITER 8298 NEW BEST:: SOT 25615 SOS 10834 HAS SOPS 10812 HAS SOUS 3073 HAS SOUPS 3060 WITH SCORE 3070.834
AT ITER 8318 NEW BEST:: SOT 25615 SOS 10833 HAS SOPS 10811 HAS SOUS 3072 HAS SOUPS 3059 WITH SCORE 3069.833
AT ITER 8426 NEW BEST:: SOT 25616 SOS 10825 HAS SOPS 10803 HAS SOUS 3072 HAS SOUPS 3059 WITH SCORE 3069.825
AT ITER 8534 NEW BEST:: SOT 25614 SOS 10823 HAS SOPS 10801 HAS SOUS 3068 HAS SOUPS 3055 WITH SCORE 3065.823
AT ITER 8614 NEW BEST:: SOT 25615 SOS 10824 HAS SOPS 10802 HAS SOUS 3065 HAS SOUPS 3052 WITH SCORE 3062.824
AT ITER 8745 NEW BEST:: SOT 25614 SOS 10823 HAS SOPS 10801 HAS SOUS 3064 HAS SOUPS 3051 WITH SCORE 3061.823
AT ITER 8748 NEW BEST:: SOT 25612 SOS 10823 HAS SOPS 10801 HAS SOUS 3063 HAS SOUPS 3050 WITH SCORE 3060.823
AT ITER 8784 NEW BEST:: SOT 25607 SOS 10815 HAS SOPS 10793 HAS SOUS 3055 HAS SOUPS 3042 WITH SCORE 3052.815
AT ITER 8877 NEW BEST:: SOT 25603 SOS 10807 HAS SOPS 10785 HAS SOUS 3053 HAS SOUPS 3040 WITH SCORE 3050.807
AT ITER 9048 NEW BEST:: SOT 25599 SOS 10803 HAS SOPS 10781 HAS SOUS 3049 HAS SOUPS 3036 WITH SCORE 3046.803
AT ITER 9096 NEW BEST:: SOT 25599 SOS 10799 HAS SOPS 10777 HAS SOUS 3049 HAS SOUPS 3036 WITH SCORE 3046.799
AT ITER 9203 NEW BEST:: SOT 25599 SOS 10799 HAS SOPS 10777 HAS SOUS 3047 HAS SOUPS 3034 WITH SCORE 3044.799
AT ITER 9205 NEW BEST:: SOT 25598 SOS 10798 HAS SOPS 10776 HAS SOUS 3046 HAS SOUPS 3033 WITH SCORE 3043.798
AT ITER 9271 NEW BEST:: SOT 25595 SOS 10798 HAS SOPS 10776 HAS SOUS 3043 HAS SOUPS 3030 WITH SCORE 3040.798
AT ITER 9309 NEW BEST:: SOT 25593 SOS 10794 HAS SOPS 10772 HAS SOUS 3043 HAS SOUPS 3030 WITH SCORE 3040.794
AT ITER 9317 NEW BEST:: SOT 25605 SOS 10752 HAS SOPS 10730 HAS SOUS 3043 HAS SOUPS 3030 WITH SCORE 3040.752
AT ITER 9358 NEW BEST:: SOT 25613 SOS 10712 HAS SOPS 10690 HAS SOUS 3041 HAS SOUPS 3028 WITH SCORE 3038.712
AT ITER 9489 NEW BEST:: SOT 25609 SOS 10708 HAS SOPS 10686 HAS SOUS 3041 HAS SOUPS 3028 WITH SCORE 3038.708
AT ITER 9860 NEW BEST:: SOT 25619 SOS 10718 HAS SOPS 10696 HAS SOUS 3035 HAS SOUPS 3022 WITH SCORE 3032.718
STATE_SPACE STATES 1252473852 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 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 19929661934 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678494269458

--------------------
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="HealthRecord-PT-11"
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 HealthRecord-PT-11, 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 r195-smll-167840342200320"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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