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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 7.7K Feb 26 18:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 18:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 18:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 18:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 18:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 159K Feb 26 18:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 18:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 18:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:14 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 71K 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 1678495387796

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-13
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 13
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: 161 places, 341 transitions, 899 arcs.
AT ITER 0 NEW BEST:: SOT 36165 SOS 19654 HAS SOPS 19632 HAS SOUS 11451 HAS SOUPS 11438 WITH SCORE 11457.654
AT ITER 3 NEW BEST:: SOT 36142 SOS 19608 HAS SOPS 19586 HAS SOUS 11451 HAS SOUPS 11438 WITH SCORE 11457.608
AT ITER 5 NEW BEST:: SOT 36058 SOS 19440 HAS SOPS 19418 HAS SOUS 11390 HAS SOUPS 11377 WITH SCORE 11396.44
AT ITER 6 NEW BEST:: SOT 36058 SOS 19338 HAS SOPS 19316 HAS SOUS 11390 HAS SOUPS 11377 WITH SCORE 11396.338
AT ITER 8 NEW BEST:: SOT 34498 SOS 19167 HAS SOPS 19145 HAS SOUS 10548 HAS SOUPS 10535 WITH SCORE 10554.167
AT ITER 12 NEW BEST:: SOT 34339 SOS 19013 HAS SOPS 18991 HAS SOUS 10501 HAS SOUPS 10488 WITH SCORE 10507.013
AT ITER 15 NEW BEST:: SOT 34312 SOS 18968 HAS SOPS 18946 HAS SOUS 10483 HAS SOUPS 10470 WITH SCORE 10488.968
AT ITER 16 NEW BEST:: SOT 34257 SOS 18813 HAS SOPS 18791 HAS SOUS 10379 HAS SOUPS 10366 WITH SCORE 10384.813
AT ITER 17 NEW BEST:: SOT 34251 SOS 18829 HAS SOPS 18807 HAS SOUS 10372 HAS SOUPS 10359 WITH SCORE 10377.829
AT ITER 20 NEW BEST:: SOT 34161 SOS 18739 HAS SOPS 18717 HAS SOUS 10371 HAS SOUPS 10358 WITH SCORE 10376.739
AT ITER 21 NEW BEST:: SOT 34092 SOS 18624 HAS SOPS 18602 HAS SOUS 10321 HAS SOUPS 10308 WITH SCORE 10326.624
AT ITER 24 NEW BEST:: SOT 33924 SOS 18408 HAS SOPS 18386 HAS SOUS 10311 HAS SOUPS 10298 WITH SCORE 10316.408
AT ITER 29 NEW BEST:: SOT 33942 SOS 18430 HAS SOPS 18408 HAS SOUS 10289 HAS SOUPS 10276 WITH SCORE 10294.43
AT ITER 31 NEW BEST:: SOT 33950 SOS 18442 HAS SOPS 18420 HAS SOUS 10259 HAS SOUPS 10246 WITH SCORE 10264.442
AT ITER 35 NEW BEST:: SOT 33922 SOS 18400 HAS SOPS 18378 HAS SOUS 10245 HAS SOUPS 10232 WITH SCORE 10250.4
AT ITER 39 NEW BEST:: SOT 34013 SOS 18563 HAS SOPS 18541 HAS SOUS 10235 HAS SOUPS 10222 WITH SCORE 10240.563
AT ITER 40 NEW BEST:: SOT 34083 SOS 18698 HAS SOPS 18676 HAS SOUS 10234 HAS SOUPS 10221 WITH SCORE 10239.698
AT ITER 44 NEW BEST:: SOT 33943 SOS 18485 HAS SOPS 18463 HAS SOUS 10173 HAS SOUPS 10160 WITH SCORE 10178.485
AT ITER 45 NEW BEST:: SOT 33924 SOS 18442 HAS SOPS 18420 HAS SOUS 10166 HAS SOUPS 10153 WITH SCORE 10171.442
AT ITER 51 NEW BEST:: SOT 33861 SOS 18380 HAS SOPS 18358 HAS SOUS 10159 HAS SOUPS 10146 WITH SCORE 10164.38
AT ITER 57 NEW BEST:: SOT 33818 SOS 18302 HAS SOPS 18280 HAS SOUS 10108 HAS SOUPS 10095 WITH SCORE 10113.302
AT ITER 58 NEW BEST:: SOT 33707 SOS 18152 HAS SOPS 18130 HAS SOUS 10014 HAS SOUPS 10001 WITH SCORE 10019.152
AT ITER 60 NEW BEST:: SOT 33702 SOS 18111 HAS SOPS 18089 HAS SOUS 9973 HAS SOUPS 9960 WITH SCORE 9978.111
AT ITER 61 NEW BEST:: SOT 33127 SOS 17850 HAS SOPS 17828 HAS SOUS 9816 HAS SOUPS 9803 WITH SCORE 9820.85
AT ITER 62 NEW BEST:: SOT 33116 SOS 17816 HAS SOPS 17794 HAS SOUS 9792 HAS SOUPS 9779 WITH SCORE 9796.816
AT ITER 64 NEW BEST:: SOT 33018 SOS 17647 HAS SOPS 17625 HAS SOUS 9638 HAS SOUPS 9625 WITH SCORE 9642.647
AT ITER 65 NEW BEST:: SOT 32993 SOS 17607 HAS SOPS 17585 HAS SOUS 9483 HAS SOUPS 9470 WITH SCORE 9487.607
AT ITER 68 NEW BEST:: SOT 32990 SOS 17578 HAS SOPS 17556 HAS SOUS 9457 HAS SOUPS 9444 WITH SCORE 9461.578
AT ITER 74 NEW BEST:: SOT 32966 SOS 17530 HAS SOPS 17508 HAS SOUS 9433 HAS SOUPS 9420 WITH SCORE 9437.53
AT ITER 75 NEW BEST:: SOT 32935 SOS 17501 HAS SOPS 17479 HAS SOUS 9404 HAS SOUPS 9391 WITH SCORE 9408.501
AT ITER 79 NEW BEST:: SOT 32982 SOS 17495 HAS SOPS 17473 HAS SOUS 9333 HAS SOUPS 9320 WITH SCORE 9337.495
AT ITER 82 NEW BEST:: SOT 32966 SOS 17479 HAS SOPS 17457 HAS SOUS 9317 HAS SOUPS 9304 WITH SCORE 9321.479
AT ITER 95 NEW BEST:: SOT 32302 SOS 17664 HAS SOPS 17642 HAS SOUS 8819 HAS SOUPS 8806 WITH SCORE 8823.664
AT ITER 100 NEW BEST:: SOT 32302 SOS 17659 HAS SOPS 17637 HAS SOUS 8819 HAS SOUPS 8806 WITH SCORE 8823.659
AT ITER 102 NEW BEST:: SOT 32276 SOS 17633 HAS SOPS 17611 HAS SOUS 8767 HAS SOUPS 8754 WITH SCORE 8771.633
AT ITER 105 NEW BEST:: SOT 32267 SOS 17615 HAS SOPS 17593 HAS SOUS 8762 HAS SOUPS 8749 WITH SCORE 8766.615
AT ITER 107 NEW BEST:: SOT 32082 SOS 17302 HAS SOPS 17280 HAS SOUS 8561 HAS SOUPS 8548 WITH SCORE 8565.302
AT ITER 108 NEW BEST:: SOT 32021 SOS 17191 HAS SOPS 17169 HAS SOUS 8511 HAS SOUPS 8498 WITH SCORE 8515.191
AT ITER 110 NEW BEST:: SOT 31990 SOS 17163 HAS SOPS 17141 HAS SOUS 8477 HAS SOUPS 8464 WITH SCORE 8481.163
AT ITER 117 NEW BEST:: SOT 31976 SOS 17124 HAS SOPS 17102 HAS SOUS 8477 HAS SOUPS 8464 WITH SCORE 8481.124
AT ITER 119 NEW BEST:: SOT 31975 SOS 17123 HAS SOPS 17101 HAS SOUS 8475 HAS SOUPS 8462 WITH SCORE 8479.123
AT ITER 121 NEW BEST:: SOT 32060 SOS 17293 HAS SOPS 17271 HAS SOUS 8444 HAS SOUPS 8431 WITH SCORE 8448.293
AT ITER 123 NEW BEST:: SOT 32034 SOS 17241 HAS SOPS 17219 HAS SOUS 8443 HAS SOUPS 8430 WITH SCORE 8447.241
AT ITER 130 NEW BEST:: SOT 32018 SOS 17209 HAS SOPS 17187 HAS SOUS 8427 HAS SOUPS 8414 WITH SCORE 8431.209
AT ITER 131 NEW BEST:: SOT 32026 SOS 17224 HAS SOPS 17202 HAS SOUS 8424 HAS SOUPS 8411 WITH SCORE 8428.224
AT ITER 132 NEW BEST:: SOT 32026 SOS 17221 HAS SOPS 17199 HAS SOUS 8424 HAS SOUPS 8411 WITH SCORE 8428.221
AT ITER 138 NEW BEST:: SOT 31987 SOS 17156 HAS SOPS 17134 HAS SOUS 8385 HAS SOUPS 8372 WITH SCORE 8389.156
AT ITER 149 NEW BEST:: SOT 31997 SOS 17150 HAS SOPS 17128 HAS SOUS 8369 HAS SOUPS 8356 WITH SCORE 8373.15
AT ITER 151 NEW BEST:: SOT 31947 SOS 17074 HAS SOPS 17052 HAS SOUS 8297 HAS SOUPS 8284 WITH SCORE 8301.074
AT ITER 169 NEW BEST:: SOT 31962 SOS 17076 HAS SOPS 17054 HAS SOUS 8295 HAS SOUPS 8282 WITH SCORE 8299.076
AT ITER 175 NEW BEST:: SOT 31894 SOS 16972 HAS SOPS 16950 HAS SOUS 8271 HAS SOUPS 8258 WITH SCORE 8274.972
AT ITER 177 NEW BEST:: SOT 31712 SOS 16699 HAS SOPS 16677 HAS SOUS 8180 HAS SOUPS 8167 WITH SCORE 8183.699
AT ITER 190 NEW BEST:: SOT 31761 SOS 16798 HAS SOPS 16776 HAS SOUS 8129 HAS SOUPS 8116 WITH SCORE 8132.798
AT ITER 191 NEW BEST:: SOT 31761 SOS 16798 HAS SOPS 16776 HAS SOUS 8106 HAS SOUPS 8093 WITH SCORE 8109.798
AT ITER 194 NEW BEST:: SOT 31765 SOS 16802 HAS SOPS 16780 HAS SOUS 8086 HAS SOUPS 8073 WITH SCORE 8089.802
AT ITER 198 NEW BEST:: SOT 31751 SOS 16760 HAS SOPS 16738 HAS SOUS 8058 HAS SOUPS 8045 WITH SCORE 8061.76
AT ITER 199 NEW BEST:: SOT 31744 SOS 16768 HAS SOPS 16746 HAS SOUS 8049 HAS SOUPS 8036 WITH SCORE 8052.768
AT ITER 206 NEW BEST:: SOT 31574 SOS 16986 HAS SOPS 16964 HAS SOUS 7992 HAS SOUPS 7979 WITH SCORE 7995.986
AT ITER 213 NEW BEST:: SOT 31486 SOS 16887 HAS SOPS 16865 HAS SOUS 7870 HAS SOUPS 7857 WITH SCORE 7873.887
AT ITER 218 NEW BEST:: SOT 31486 SOS 16883 HAS SOPS 16861 HAS SOUS 7868 HAS SOUPS 7855 WITH SCORE 7871.883
AT ITER 220 NEW BEST:: SOT 31503 SOS 16895 HAS SOPS 16873 HAS SOUS 7857 HAS SOUPS 7844 WITH SCORE 7860.895
AT ITER 223 NEW BEST:: SOT 31469 SOS 16811 HAS SOPS 16789 HAS SOUS 7842 HAS SOUPS 7829 WITH SCORE 7845.811
AT ITER 228 NEW BEST:: SOT 31463 SOS 16805 HAS SOPS 16783 HAS SOUS 7836 HAS SOUPS 7823 WITH SCORE 7839.805
AT ITER 229 NEW BEST:: SOT 31466 SOS 16808 HAS SOPS 16786 HAS SOUS 7819 HAS SOUPS 7806 WITH SCORE 7822.808
AT ITER 241 NEW BEST:: SOT 31477 SOS 16815 HAS SOPS 16793 HAS SOUS 7817 HAS SOUPS 7804 WITH SCORE 7820.815
AT ITER 243 NEW BEST:: SOT 31424 SOS 16683 HAS SOPS 16661 HAS SOUS 7817 HAS SOUPS 7804 WITH SCORE 7820.683
AT ITER 260 NEW BEST:: SOT 31385 SOS 16605 HAS SOPS 16583 HAS SOUS 7797 HAS SOUPS 7784 WITH SCORE 7800.605
AT ITER 262 NEW BEST:: SOT 31387 SOS 16602 HAS SOPS 16580 HAS SOUS 7796 HAS SOUPS 7783 WITH SCORE 7799.602
AT ITER 263 NEW BEST:: SOT 31367 SOS 16554 HAS SOPS 16532 HAS SOUS 7784 HAS SOUPS 7771 WITH SCORE 7787.554
AT ITER 264 NEW BEST:: SOT 31361 SOS 16536 HAS SOPS 16514 HAS SOUS 7778 HAS SOUPS 7765 WITH SCORE 7781.536
AT ITER 265 NEW BEST:: SOT 31370 SOS 16545 HAS SOPS 16523 HAS SOUS 7762 HAS SOUPS 7749 WITH SCORE 7765.545
AT ITER 267 NEW BEST:: SOT 31322 SOS 16503 HAS SOPS 16481 HAS SOUS 7687 HAS SOUPS 7674 WITH SCORE 7690.503
AT ITER 273 NEW BEST:: SOT 31296 SOS 16394 HAS SOPS 16372 HAS SOUS 7673 HAS SOUPS 7660 WITH SCORE 7676.394
AT ITER 279 NEW BEST:: SOT 31212 SOS 16184 HAS SOPS 16162 HAS SOUS 7632 HAS SOUPS 7619 WITH SCORE 7635.184
AT ITER 281 NEW BEST:: SOT 31240 SOS 16212 HAS SOPS 16190 HAS SOUS 7605 HAS SOUPS 7592 WITH SCORE 7608.212
AT ITER 283 NEW BEST:: SOT 31092 SOS 16003 HAS SOPS 15981 HAS SOUS 7588 HAS SOUPS 7575 WITH SCORE 7591.003
AT ITER 286 NEW BEST:: SOT 31063 SOS 15974 HAS SOPS 15952 HAS SOUS 7559 HAS SOUPS 7546 WITH SCORE 7561.974
AT ITER 292 NEW BEST:: SOT 30971 SOS 15756 HAS SOPS 15734 HAS SOUS 7540 HAS SOUPS 7527 WITH SCORE 7542.756
AT ITER 296 NEW BEST:: SOT 30965 SOS 15750 HAS SOPS 15728 HAS SOUS 7537 HAS SOUPS 7524 WITH SCORE 7539.75
AT ITER 297 NEW BEST:: SOT 30955 SOS 15725 HAS SOPS 15703 HAS SOUS 7532 HAS SOUPS 7519 WITH SCORE 7534.725
AT ITER 322 NEW BEST:: SOT 30348 SOS 15375 HAS SOPS 15353 HAS SOUS 6901 HAS SOUPS 6888 WITH SCORE 6903.375
AT ITER 324 NEW BEST:: SOT 30346 SOS 15370 HAS SOPS 15348 HAS SOUS 6900 HAS SOUPS 6887 WITH SCORE 6902.37
AT ITER 330 NEW BEST:: SOT 30243 SOS 15144 HAS SOPS 15122 HAS SOUS 6802 HAS SOUPS 6789 WITH SCORE 6804.144
AT ITER 332 NEW BEST:: SOT 30225 SOS 15072 HAS SOPS 15050 HAS SOUS 6800 HAS SOUPS 6787 WITH SCORE 6802.072
AT ITER 333 NEW BEST:: SOT 30129 SOS 14876 HAS SOPS 14854 HAS SOUS 6728 HAS SOUPS 6715 WITH SCORE 6729.876
AT ITER 358 NEW BEST:: SOT 30122 SOS 14875 HAS SOPS 14853 HAS SOUS 6725 HAS SOUPS 6712 WITH SCORE 6726.875
AT ITER 360 NEW BEST:: SOT 30076 SOS 14764 HAS SOPS 14742 HAS SOUS 6706 HAS SOUPS 6693 WITH SCORE 6707.764
AT ITER 362 NEW BEST:: SOT 30076 SOS 14763 HAS SOPS 14741 HAS SOUS 6706 HAS SOUPS 6693 WITH SCORE 6707.763
AT ITER 368 NEW BEST:: SOT 30095 SOS 14777 HAS SOPS 14755 HAS SOUS 6628 HAS SOUPS 6615 WITH SCORE 6629.777
AT ITER 369 NEW BEST:: SOT 30075 SOS 14797 HAS SOPS 14775 HAS SOUS 6611 HAS SOUPS 6598 WITH SCORE 6612.797
AT ITER 373 NEW BEST:: SOT 30074 SOS 14764 HAS SOPS 14742 HAS SOUS 6610 HAS SOUPS 6597 WITH SCORE 6611.764
AT ITER 375 NEW BEST:: SOT 30096 SOS 14808 HAS SOPS 14786 HAS SOUS 6594 HAS SOUPS 6581 WITH SCORE 6595.808
AT ITER 398 NEW BEST:: SOT 30085 SOS 14797 HAS SOPS 14775 HAS SOUS 6563 HAS SOUPS 6550 WITH SCORE 6564.797
AT ITER 399 NEW BEST:: SOT 30085 SOS 14796 HAS SOPS 14774 HAS SOUS 6563 HAS SOUPS 6550 WITH SCORE 6564.796
AT ITER 400 NEW BEST:: SOT 30249 SOS 14805 HAS SOPS 14783 HAS SOUS 6530 HAS SOUPS 6517 WITH SCORE 6531.805
AT ITER 412 NEW BEST:: SOT 30248 SOS 14804 HAS SOPS 14782 HAS SOUS 6527 HAS SOUPS 6514 WITH SCORE 6528.804
AT ITER 417 NEW BEST:: SOT 29592 SOS 17300 HAS SOPS 17278 HAS SOUS 5912 HAS SOUPS 5899 WITH SCORE 5916.3
AT ITER 435 NEW BEST:: SOT 29560 SOS 17197 HAS SOPS 17175 HAS SOUS 5909 HAS SOUPS 5896 WITH SCORE 5913.197
AT ITER 443 NEW BEST:: SOT 29558 SOS 17195 HAS SOPS 17173 HAS SOUS 5905 HAS SOUPS 5892 WITH SCORE 5909.195
AT ITER 454 NEW BEST:: SOT 29579 SOS 17237 HAS SOPS 17215 HAS SOUS 5880 HAS SOUPS 5867 WITH SCORE 5884.237
AT ITER 456 NEW BEST:: SOT 29593 SOS 17269 HAS SOPS 17247 HAS SOUS 5870 HAS SOUPS 5857 WITH SCORE 5874.269
AT ITER 459 NEW BEST:: SOT 29578 SOS 17224 HAS SOPS 17202 HAS SOUS 5855 HAS SOUPS 5842 WITH SCORE 5859.224
AT ITER 462 NEW BEST:: SOT 29635 SOS 17298 HAS SOPS 17276 HAS SOUS 5825 HAS SOUPS 5812 WITH SCORE 5829.298
AT ITER 474 NEW BEST:: SOT 29645 SOS 17308 HAS SOPS 17286 HAS SOUS 5781 HAS SOUPS 5768 WITH SCORE 5785.308
AT ITER 476 NEW BEST:: SOT 29592 SOS 17202 HAS SOPS 17180 HAS SOUS 5728 HAS SOUPS 5715 WITH SCORE 5732.202
AT ITER 484 NEW BEST:: SOT 29498 SOS 17059 HAS SOPS 17037 HAS SOUS 5683 HAS SOUPS 5670 WITH SCORE 5687.059
AT ITER 493 NEW BEST:: SOT 29494 SOS 17055 HAS SOPS 17033 HAS SOUS 5667 HAS SOUPS 5654 WITH SCORE 5671.055
AT ITER 494 NEW BEST:: SOT 29500 SOS 17051 HAS SOPS 17029 HAS SOUS 5667 HAS SOUPS 5654 WITH SCORE 5671.051
AT ITER 495 NEW BEST:: SOT 29449 SOS 16936 HAS SOPS 16914 HAS SOUS 5616 HAS SOUPS 5603 WITH SCORE 5619.936
AT ITER 498 NEW BEST:: SOT 29419 SOS 16896 HAS SOPS 16874 HAS SOUS 5596 HAS SOUPS 5583 WITH SCORE 5599.896
AT ITER 506 NEW BEST:: SOT 29416 SOS 16883 HAS SOPS 16861 HAS SOUS 5592 HAS SOUPS 5579 WITH SCORE 5595.883
AT ITER 515 NEW BEST:: SOT 29278 SOS 16656 HAS SOPS 16634 HAS SOUS 5479 HAS SOUPS 5466 WITH SCORE 5482.656
AT ITER 527 NEW BEST:: SOT 29262 SOS 16624 HAS SOPS 16602 HAS SOUS 5462 HAS SOUPS 5449 WITH SCORE 5465.624
AT ITER 528 NEW BEST:: SOT 29229 SOS 16591 HAS SOPS 16569 HAS SOUS 5410 HAS SOUPS 5397 WITH SCORE 5413.591
AT ITER 530 NEW BEST:: SOT 29227 SOS 16587 HAS SOPS 16565 HAS SOUS 5409 HAS SOUPS 5396 WITH SCORE 5412.587
AT ITER 535 NEW BEST:: SOT 29226 SOS 16586 HAS SOPS 16564 HAS SOUS 5407 HAS SOUPS 5394 WITH SCORE 5410.586
AT ITER 554 NEW BEST:: SOT 29254 SOS 16622 HAS SOPS 16600 HAS SOUS 5396 HAS SOUPS 5383 WITH SCORE 5399.622
AT ITER 557 NEW BEST:: SOT 29242 SOS 16706 HAS SOPS 16684 HAS SOUS 5390 HAS SOUPS 5377 WITH SCORE 5393.706
AT ITER 565 NEW BEST:: SOT 29242 SOS 16706 HAS SOPS 16684 HAS SOUS 5372 HAS SOUPS 5359 WITH SCORE 5375.706
AT ITER 570 NEW BEST:: SOT 29238 SOS 16711 HAS SOPS 16689 HAS SOUS 5371 HAS SOUPS 5358 WITH SCORE 5374.711
AT ITER 578 NEW BEST:: SOT 29227 SOS 16689 HAS SOPS 16667 HAS SOUS 5360 HAS SOUPS 5347 WITH SCORE 5363.689
AT ITER 582 NEW BEST:: SOT 29185 SOS 16567 HAS SOPS 16545 HAS SOUS 5331 HAS SOUPS 5318 WITH SCORE 5334.567
AT ITER 583 NEW BEST:: SOT 29182 SOS 16564 HAS SOPS 16542 HAS SOUS 5327 HAS SOUPS 5314 WITH SCORE 5330.564
AT ITER 585 NEW BEST:: SOT 29118 SOS 16448 HAS SOPS 16426 HAS SOUS 5241 HAS SOUPS 5228 WITH SCORE 5244.448
AT ITER 598 NEW BEST:: SOT 29020 SOS 16293 HAS SOPS 16271 HAS SOUS 5225 HAS SOUPS 5212 WITH SCORE 5228.293
AT ITER 614 NEW BEST:: SOT 29018 SOS 16291 HAS SOPS 16269 HAS SOUS 5225 HAS SOUPS 5212 WITH SCORE 5228.291
AT ITER 629 NEW BEST:: SOT 28940 SOS 16213 HAS SOPS 16191 HAS SOUS 5225 HAS SOUPS 5212 WITH SCORE 5228.213
AT ITER 639 NEW BEST:: SOT 28951 SOS 16225 HAS SOPS 16203 HAS SOUS 5220 HAS SOUPS 5207 WITH SCORE 5223.225
AT ITER 645 NEW BEST:: SOT 29009 SOS 16283 HAS SOPS 16261 HAS SOUS 5209 HAS SOUPS 5196 WITH SCORE 5212.283
AT ITER 646 NEW BEST:: SOT 29010 SOS 16284 HAS SOPS 16262 HAS SOUS 5192 HAS SOUPS 5179 WITH SCORE 5195.284
AT ITER 650 NEW BEST:: SOT 28966 SOS 16240 HAS SOPS 16218 HAS SOUS 5121 HAS SOUPS 5108 WITH SCORE 5124.24
AT ITER 664 NEW BEST:: SOT 28963 SOS 16268 HAS SOPS 16246 HAS SOUS 5119 HAS SOUPS 5106 WITH SCORE 5122.268
AT ITER 671 NEW BEST:: SOT 28948 SOS 16253 HAS SOPS 16231 HAS SOUS 5098 HAS SOUPS 5085 WITH SCORE 5101.253
AT ITER 686 NEW BEST:: SOT 28910 SOS 16180 HAS SOPS 16158 HAS SOUS 5074 HAS SOUPS 5061 WITH SCORE 5077.18
AT ITER 701 NEW BEST:: SOT 28885 SOS 16449 HAS SOPS 16427 HAS SOUS 5026 HAS SOUPS 5013 WITH SCORE 5029.449
AT ITER 708 NEW BEST:: SOT 28850 SOS 16414 HAS SOPS 16392 HAS SOUS 4991 HAS SOUPS 4978 WITH SCORE 4994.414
AT ITER 712 NEW BEST:: SOT 28848 SOS 16412 HAS SOPS 16390 HAS SOUS 4987 HAS SOUPS 4974 WITH SCORE 4990.412
AT ITER 725 NEW BEST:: SOT 28848 SOS 16412 HAS SOPS 16390 HAS SOUS 4956 HAS SOUPS 4943 WITH SCORE 4959.412
AT ITER 732 NEW BEST:: SOT 28829 SOS 16396 HAS SOPS 16374 HAS SOUS 4936 HAS SOUPS 4923 WITH SCORE 4939.396
AT ITER 733 NEW BEST:: SOT 28844 SOS 16392 HAS SOPS 16370 HAS SOUS 4907 HAS SOUPS 4894 WITH SCORE 4910.392
AT ITER 745 NEW BEST:: SOT 28838 SOS 16380 HAS SOPS 16358 HAS SOUS 4901 HAS SOUPS 4888 WITH SCORE 4904.38
AT ITER 747 NEW BEST:: SOT 28841 SOS 16354 HAS SOPS 16332 HAS SOUS 4901 HAS SOUPS 4888 WITH SCORE 4904.354
AT ITER 758 NEW BEST:: SOT 28862 SOS 16375 HAS SOPS 16353 HAS SOUS 4898 HAS SOUPS 4885 WITH SCORE 4901.375
AT ITER 768 NEW BEST:: SOT 28861 SOS 16374 HAS SOPS 16352 HAS SOUS 4897 HAS SOUPS 4884 WITH SCORE 4900.374
AT ITER 770 NEW BEST:: SOT 28833 SOS 16346 HAS SOPS 16324 HAS SOUS 4869 HAS SOUPS 4856 WITH SCORE 4872.346
AT ITER 784 NEW BEST:: SOT 28853 SOS 16366 HAS SOPS 16344 HAS SOUS 4849 HAS SOUPS 4836 WITH SCORE 4852.366
AT ITER 788 NEW BEST:: SOT 28853 SOS 16356 HAS SOPS 16334 HAS SOUS 4844 HAS SOUPS 4831 WITH SCORE 4847.356
AT ITER 825 NEW BEST:: SOT 28845 SOS 16348 HAS SOPS 16326 HAS SOUS 4828 HAS SOUPS 4815 WITH SCORE 4831.348
AT ITER 833 NEW BEST:: SOT 28825 SOS 16314 HAS SOPS 16292 HAS SOUS 4820 HAS SOUPS 4807 WITH SCORE 4823.314
AT ITER 847 NEW BEST:: SOT 28812 SOS 16301 HAS SOPS 16279 HAS SOUS 4807 HAS SOUPS 4794 WITH SCORE 4810.301
AT ITER 869 NEW BEST:: SOT 28788 SOS 16277 HAS SOPS 16255 HAS SOUS 4759 HAS SOUPS 4746 WITH SCORE 4762.277
AT ITER 886 NEW BEST:: SOT 28854 SOS 16343 HAS SOPS 16321 HAS SOUS 4745 HAS SOUPS 4732 WITH SCORE 4748.343
AT ITER 904 NEW BEST:: SOT 28848 SOS 16313 HAS SOPS 16291 HAS SOUS 4739 HAS SOUPS 4726 WITH SCORE 4742.313
AT ITER 907 NEW BEST:: SOT 28808 SOS 16213 HAS SOPS 16191 HAS SOUS 4719 HAS SOUPS 4706 WITH SCORE 4722.213
AT ITER 913 NEW BEST:: SOT 28772 SOS 16105 HAS SOPS 16083 HAS SOUS 4717 HAS SOUPS 4704 WITH SCORE 4720.105
AT ITER 917 NEW BEST:: SOT 28762 SOS 16095 HAS SOPS 16073 HAS SOUS 4717 HAS SOUPS 4704 WITH SCORE 4720.095
AT ITER 924 NEW BEST:: SOT 28737 SOS 16070 HAS SOPS 16048 HAS SOUS 4692 HAS SOUPS 4679 WITH SCORE 4695.07
AT ITER 971 NEW BEST:: SOT 28772 SOS 16179 HAS SOPS 16157 HAS SOUS 4682 HAS SOUPS 4669 WITH SCORE 4685.179
AT ITER 979 NEW BEST:: SOT 28712 SOS 16041 HAS SOPS 16019 HAS SOUS 4622 HAS SOUPS 4609 WITH SCORE 4625.041
AT ITER 1016 NEW BEST:: SOT 28698 SOS 16062 HAS SOPS 16040 HAS SOUS 4584 HAS SOUPS 4571 WITH SCORE 4587.062
AT ITER 1038 NEW BEST:: SOT 28696 SOS 16060 HAS SOPS 16038 HAS SOUS 4580 HAS SOUPS 4567 WITH SCORE 4583.06
AT ITER 1065 NEW BEST:: SOT 28687 SOS 16051 HAS SOPS 16029 HAS SOUS 4571 HAS SOUPS 4558 WITH SCORE 4574.051
AT ITER 1068 NEW BEST:: SOT 28682 SOS 16041 HAS SOPS 16019 HAS SOUS 4571 HAS SOUPS 4558 WITH SCORE 4574.041
AT ITER 1077 NEW BEST:: SOT 28710 SOS 16044 HAS SOPS 16022 HAS SOUS 4561 HAS SOUPS 4548 WITH SCORE 4564.044
AT ITER 1080 NEW BEST:: SOT 28706 SOS 16040 HAS SOPS 16018 HAS SOUS 4553 HAS SOUPS 4540 WITH SCORE 4556.04
AT ITER 1096 NEW BEST:: SOT 28706 SOS 16020 HAS SOPS 15998 HAS SOUS 4543 HAS SOUPS 4530 WITH SCORE 4546.02
AT ITER 1111 NEW BEST:: SOT 28715 SOS 16026 HAS SOPS 16004 HAS SOUS 4524 HAS SOUPS 4511 WITH SCORE 4527.026
AT ITER 1117 NEW BEST:: SOT 28700 SOS 16011 HAS SOPS 15989 HAS SOUS 4524 HAS SOUPS 4511 WITH SCORE 4527.011
AT ITER 1122 NEW BEST:: SOT 28652 SOS 15940 HAS SOPS 15918 HAS SOUS 4497 HAS SOUPS 4484 WITH SCORE 4499.94
AT ITER 1143 NEW BEST:: SOT 28666 SOS 15926 HAS SOPS 15904 HAS SOUS 4494 HAS SOUPS 4481 WITH SCORE 4496.926
AT ITER 1161 NEW BEST:: SOT 28637 SOS 15868 HAS SOPS 15846 HAS SOUS 4478 HAS SOUPS 4465 WITH SCORE 4480.868
AT ITER 1180 NEW BEST:: SOT 28589 SOS 15804 HAS SOPS 15782 HAS SOUS 4455 HAS SOUPS 4442 WITH SCORE 4457.804
AT ITER 1189 NEW BEST:: SOT 28640 SOS 15869 HAS SOPS 15847 HAS SOUS 4446 HAS SOUPS 4433 WITH SCORE 4448.869
AT ITER 1218 NEW BEST:: SOT 28637 SOS 15866 HAS SOPS 15844 HAS SOUS 4444 HAS SOUPS 4431 WITH SCORE 4446.866
AT ITER 1220 NEW BEST:: SOT 28633 SOS 15843 HAS SOPS 15821 HAS SOUS 4430 HAS SOUPS 4417 WITH SCORE 4432.843
AT ITER 1221 NEW BEST:: SOT 28626 SOS 15836 HAS SOPS 15814 HAS SOUS 4423 HAS SOUPS 4410 WITH SCORE 4425.836
AT ITER 1245 NEW BEST:: SOT 28624 SOS 15832 HAS SOPS 15810 HAS SOUS 4421 HAS SOUPS 4408 WITH SCORE 4423.832
AT ITER 1275 NEW BEST:: SOT 28604 SOS 15792 HAS SOPS 15770 HAS SOUS 4403 HAS SOUPS 4390 WITH SCORE 4405.792
AT ITER 1280 NEW BEST:: SOT 28588 SOS 15760 HAS SOPS 15738 HAS SOUS 4391 HAS SOUPS 4378 WITH SCORE 4393.76
AT ITER 1281 NEW BEST:: SOT 28588 SOS 15760 HAS SOPS 15738 HAS SOUS 4387 HAS SOUPS 4374 WITH SCORE 4389.76
AT ITER 1287 NEW BEST:: SOT 28570 SOS 15880 HAS SOPS 15858 HAS SOUS 4369 HAS SOUPS 4356 WITH SCORE 4371.88
AT ITER 1296 NEW BEST:: SOT 28569 SOS 15876 HAS SOPS 15854 HAS SOUS 4368 HAS SOUPS 4355 WITH SCORE 4370.876
AT ITER 1310 NEW BEST:: SOT 28555 SOS 15862 HAS SOPS 15840 HAS SOUS 4354 HAS SOUPS 4341 WITH SCORE 4356.862
AT ITER 1311 NEW BEST:: SOT 28546 SOS 15844 HAS SOPS 15822 HAS SOUS 4352 HAS SOUPS 4339 WITH SCORE 4354.844
AT ITER 1320 NEW BEST:: SOT 28540 SOS 15832 HAS SOPS 15810 HAS SOUS 4346 HAS SOUPS 4333 WITH SCORE 4348.832
AT ITER 1323 NEW BEST:: SOT 28518 SOS 15810 HAS SOPS 15788 HAS SOUS 4343 HAS SOUPS 4330 WITH SCORE 4345.81
AT ITER 1331 NEW BEST:: SOT 28521 SOS 15819 HAS SOPS 15797 HAS SOUS 4342 HAS SOUPS 4329 WITH SCORE 4344.819
AT ITER 1348 NEW BEST:: SOT 28536 SOS 15859 HAS SOPS 15837 HAS SOUS 4323 HAS SOUPS 4310 WITH SCORE 4325.859
AT ITER 1369 NEW BEST:: SOT 28508 SOS 15817 HAS SOPS 15795 HAS SOUS 4310 HAS SOUPS 4297 WITH SCORE 4312.817
AT ITER 1370 NEW BEST:: SOT 28539 SOS 15851 HAS SOPS 15829 HAS SOUS 4284 HAS SOUPS 4271 WITH SCORE 4286.851
AT ITER 1373 NEW BEST:: SOT 28536 SOS 15903 HAS SOPS 15881 HAS SOUS 4281 HAS SOUPS 4268 WITH SCORE 4283.903
AT ITER 1379 NEW BEST:: SOT 28516 SOS 15863 HAS SOPS 15841 HAS SOUS 4281 HAS SOUPS 4268 WITH SCORE 4283.863
AT ITER 1396 NEW BEST:: SOT 28521 SOS 15868 HAS SOPS 15846 HAS SOUS 4279 HAS SOUPS 4266 WITH SCORE 4281.868
AT ITER 1411 NEW BEST:: SOT 28489 SOS 15821 HAS SOPS 15799 HAS SOUS 4274 HAS SOUPS 4261 WITH SCORE 4276.821
AT ITER 1418 NEW BEST:: SOT 28530 SOS 15895 HAS SOPS 15873 HAS SOUS 4263 HAS SOUPS 4250 WITH SCORE 4265.895
AT ITER 1429 NEW BEST:: SOT 28533 SOS 15790 HAS SOPS 15768 HAS SOUS 4263 HAS SOUPS 4250 WITH SCORE 4265.79
AT ITER 1443 NEW BEST:: SOT 28546 SOS 15785 HAS SOPS 15763 HAS SOUS 4258 HAS SOUPS 4245 WITH SCORE 4260.785
AT ITER 1467 NEW BEST:: SOT 28541 SOS 15780 HAS SOPS 15758 HAS SOUS 4253 HAS SOUPS 4240 WITH SCORE 4255.78
AT ITER 1476 NEW BEST:: SOT 28538 SOS 15774 HAS SOPS 15752 HAS SOUS 4250 HAS SOUPS 4237 WITH SCORE 4252.774
AT ITER 1477 NEW BEST:: SOT 28534 SOS 15746 HAS SOPS 15724 HAS SOUS 4243 HAS SOUPS 4230 WITH SCORE 4245.746
AT ITER 1530 NEW BEST:: SOT 28500 SOS 15609 HAS SOPS 15587 HAS SOUS 4211 HAS SOUPS 4198 WITH SCORE 4213.609
AT ITER 1534 NEW BEST:: SOT 28503 SOS 15622 HAS SOPS 15600 HAS SOUS 4210 HAS SOUPS 4197 WITH SCORE 4212.622
AT ITER 1536 NEW BEST:: SOT 28476 SOS 15565 HAS SOPS 15543 HAS SOUS 4184 HAS SOUPS 4171 WITH SCORE 4186.565
AT ITER 1637 NEW BEST:: SOT 28418 SOS 15484 HAS SOPS 15462 HAS SOUS 4158 HAS SOUPS 4145 WITH SCORE 4160.484
AT ITER 1662 NEW BEST:: SOT 28404 SOS 15444 HAS SOPS 15422 HAS SOUS 4140 HAS SOUPS 4127 WITH SCORE 4142.444
AT ITER 1664 NEW BEST:: SOT 28399 SOS 15405 HAS SOPS 15383 HAS SOUS 4122 HAS SOUPS 4109 WITH SCORE 4124.405
AT ITER 1667 NEW BEST:: SOT 28384 SOS 15390 HAS SOPS 15368 HAS SOUS 4122 HAS SOUPS 4109 WITH SCORE 4124.39
AT ITER 1683 NEW BEST:: SOT 28359 SOS 15348 HAS SOPS 15326 HAS SOUS 4105 HAS SOUPS 4092 WITH SCORE 4107.348
AT ITER 1691 NEW BEST:: SOT 28335 SOS 15300 HAS SOPS 15278 HAS SOUS 4081 HAS SOUPS 4068 WITH SCORE 4083.3
AT ITER 1697 NEW BEST:: SOT 28362 SOS 15327 HAS SOPS 15305 HAS SOUS 4077 HAS SOUPS 4064 WITH SCORE 4079.327
AT ITER 1799 NEW BEST:: SOT 28350 SOS 15303 HAS SOPS 15281 HAS SOUS 4075 HAS SOUPS 4062 WITH SCORE 4077.303
AT ITER 1881 NEW BEST:: SOT 28360 SOS 15313 HAS SOPS 15291 HAS SOUS 4067 HAS SOUPS 4054 WITH SCORE 4069.313
AT ITER 1908 NEW BEST:: SOT 28363 SOS 15316 HAS SOPS 15294 HAS SOUS 4066 HAS SOUPS 4053 WITH SCORE 4068.316
AT ITER 1919 NEW BEST:: SOT 28348 SOS 15291 HAS SOPS 15269 HAS SOUS 4056 HAS SOUPS 4043 WITH SCORE 4058.291
AT ITER 1935 NEW BEST:: SOT 28341 SOS 15284 HAS SOPS 15262 HAS SOUS 4055 HAS SOUPS 4042 WITH SCORE 4057.284
AT ITER 1936 NEW BEST:: SOT 28338 SOS 15281 HAS SOPS 15259 HAS SOUS 4049 HAS SOUPS 4036 WITH SCORE 4051.281
AT ITER 1941 NEW BEST:: SOT 28303 SOS 15246 HAS SOPS 15224 HAS SOUS 4014 HAS SOUPS 4001 WITH SCORE 4016.246
AT ITER 1951 NEW BEST:: SOT 28303 SOS 15246 HAS SOPS 15224 HAS SOUS 4009 HAS SOUPS 3996 WITH SCORE 4011.246
AT ITER 2001 NEW BEST:: SOT 28290 SOS 15220 HAS SOPS 15198 HAS SOUS 3986 HAS SOUPS 3973 WITH SCORE 3988.22
AT ITER 2003 NEW BEST:: SOT 28266 SOS 15184 HAS SOPS 15162 HAS SOUS 3986 HAS SOUPS 3973 WITH SCORE 3988.184
AT ITER 2038 NEW BEST:: SOT 28269 SOS 15185 HAS SOPS 15163 HAS SOUS 3979 HAS SOUPS 3966 WITH SCORE 3981.185
AT ITER 2055 NEW BEST:: SOT 28269 SOS 15185 HAS SOPS 15163 HAS SOUS 3972 HAS SOUPS 3959 WITH SCORE 3974.185
AT ITER 2061 NEW BEST:: SOT 28279 SOS 15073 HAS SOPS 15051 HAS SOUS 3972 HAS SOUPS 3959 WITH SCORE 3974.073
AT ITER 2090 NEW BEST:: SOT 28279 SOS 15073 HAS SOPS 15051 HAS SOUS 3970 HAS SOUPS 3957 WITH SCORE 3972.073
AT ITER 2091 NEW BEST:: SOT 28283 SOS 15080 HAS SOPS 15058 HAS SOUS 3969 HAS SOUPS 3956 WITH SCORE 3971.08
AT ITER 2095 NEW BEST:: SOT 28169 SOS 14966 HAS SOPS 14944 HAS SOUS 3969 HAS SOUPS 3956 WITH SCORE 3970.966
AT ITER 2104 NEW BEST:: SOT 28183 SOS 14987 HAS SOPS 14965 HAS SOUS 3964 HAS SOUPS 3951 WITH SCORE 3965.987
AT ITER 2113 NEW BEST:: SOT 28181 SOS 14983 HAS SOPS 14961 HAS SOUS 3962 HAS SOUPS 3949 WITH SCORE 3963.983
AT ITER 2146 NEW BEST:: SOT 28187 SOS 14979 HAS SOPS 14957 HAS SOUS 3958 HAS SOUPS 3945 WITH SCORE 3959.979
AT ITER 2172 NEW BEST:: SOT 28201 SOS 14993 HAS SOPS 14971 HAS SOUS 3953 HAS SOUPS 3940 WITH SCORE 3954.993
AT ITER 2196 NEW BEST:: SOT 28195 SOS 15017 HAS SOPS 14995 HAS SOUS 3950 HAS SOUPS 3937 WITH SCORE 3952.017
AT ITER 2197 NEW BEST:: SOT 28185 SOS 15007 HAS SOPS 14985 HAS SOUS 3940 HAS SOUPS 3927 WITH SCORE 3942.007
AT ITER 2214 NEW BEST:: SOT 28173 SOS 14992 HAS SOPS 14970 HAS SOUS 3922 HAS SOUPS 3909 WITH SCORE 3923.992
AT ITER 2223 NEW BEST:: SOT 28176 SOS 14990 HAS SOPS 14968 HAS SOUS 3922 HAS SOUPS 3909 WITH SCORE 3923.99
AT ITER 2301 NEW BEST:: SOT 28177 SOS 14991 HAS SOPS 14969 HAS SOUS 3921 HAS SOUPS 3908 WITH SCORE 3922.991
AT ITER 2303 NEW BEST:: SOT 28172 SOS 14980 HAS SOPS 14958 HAS SOUS 3920 HAS SOUPS 3907 WITH SCORE 3921.98
AT ITER 2312 NEW BEST:: SOT 28172 SOS 14980 HAS SOPS 14958 HAS SOUS 3915 HAS SOUPS 3902 WITH SCORE 3916.98
AT ITER 2313 NEW BEST:: SOT 28161 SOS 15035 HAS SOPS 15013 HAS SOUS 3908 HAS SOUPS 3895 WITH SCORE 3910.035
AT ITER 2323 NEW BEST:: SOT 28161 SOS 15034 HAS SOPS 15012 HAS SOUS 3907 HAS SOUPS 3894 WITH SCORE 3909.034
AT ITER 2343 NEW BEST:: SOT 28156 SOS 15021 HAS SOPS 14999 HAS SOUS 3898 HAS SOUPS 3885 WITH SCORE 3900.021
AT ITER 2348 NEW BEST:: SOT 28156 SOS 15021 HAS SOPS 14999 HAS SOUS 3897 HAS SOUPS 3884 WITH SCORE 3899.021
AT ITER 2350 NEW BEST:: SOT 28148 SOS 15208 HAS SOPS 15186 HAS SOUS 3894 HAS SOUPS 3881 WITH SCORE 3896.208
AT ITER 2365 NEW BEST:: SOT 28144 SOS 15204 HAS SOPS 15182 HAS SOUS 3887 HAS SOUPS 3874 WITH SCORE 3889.204
AT ITER 2378 NEW BEST:: SOT 28125 SOS 15334 HAS SOPS 15312 HAS SOUS 3886 HAS SOUPS 3873 WITH SCORE 3888.334
AT ITER 2390 NEW BEST:: SOT 28125 SOS 15334 HAS SOPS 15312 HAS SOUS 3885 HAS SOUPS 3872 WITH SCORE 3887.334
AT ITER 2409 NEW BEST:: SOT 28114 SOS 15323 HAS SOPS 15301 HAS SOUS 3872 HAS SOUPS 3859 WITH SCORE 3874.323
AT ITER 2448 NEW BEST:: SOT 28113 SOS 15322 HAS SOPS 15300 HAS SOUS 3870 HAS SOUPS 3857 WITH SCORE 3872.322
AT ITER 2449 NEW BEST:: SOT 28110 SOS 15319 HAS SOPS 15297 HAS SOUS 3867 HAS SOUPS 3854 WITH SCORE 3869.319
AT ITER 2455 NEW BEST:: SOT 28094 SOS 15303 HAS SOPS 15281 HAS SOUS 3848 HAS SOUPS 3835 WITH SCORE 3850.303
AT ITER 2463 NEW BEST:: SOT 28092 SOS 15301 HAS SOPS 15279 HAS SOUS 3835 HAS SOUPS 3822 WITH SCORE 3837.301
AT ITER 2493 NEW BEST:: SOT 28077 SOS 15286 HAS SOPS 15264 HAS SOUS 3826 HAS SOUPS 3813 WITH SCORE 3828.286
AT ITER 2507 NEW BEST:: SOT 28075 SOS 15284 HAS SOPS 15262 HAS SOUS 3824 HAS SOUPS 3811 WITH SCORE 3826.284
AT ITER 2533 NEW BEST:: SOT 28071 SOS 15280 HAS SOPS 15258 HAS SOUS 3812 HAS SOUPS 3799 WITH SCORE 3814.28
AT ITER 2539 NEW BEST:: SOT 28059 SOS 15268 HAS SOPS 15246 HAS SOUS 3791 HAS SOUPS 3778 WITH SCORE 3793.268
AT ITER 2567 NEW BEST:: SOT 28044 SOS 15243 HAS SOPS 15221 HAS SOUS 3766 HAS SOUPS 3753 WITH SCORE 3768.243
AT ITER 2569 NEW BEST:: SOT 28015 SOS 15185 HAS SOPS 15163 HAS SOUS 3754 HAS SOUPS 3741 WITH SCORE 3756.185
AT ITER 2578 NEW BEST:: SOT 28011 SOS 15181 HAS SOPS 15159 HAS SOUS 3743 HAS SOUPS 3730 WITH SCORE 3745.181
AT ITER 2580 NEW BEST:: SOT 28009 SOS 15179 HAS SOPS 15157 HAS SOUS 3742 HAS SOUPS 3729 WITH SCORE 3744.179
AT ITER 2599 NEW BEST:: SOT 28001 SOS 15143 HAS SOPS 15121 HAS SOUS 3726 HAS SOUPS 3713 WITH SCORE 3728.143
AT ITER 2630 NEW BEST:: SOT 28013 SOS 15163 HAS SOPS 15141 HAS SOUS 3720 HAS SOUPS 3707 WITH SCORE 3722.163
AT ITER 2631 NEW BEST:: SOT 27999 SOS 15135 HAS SOPS 15113 HAS SOUS 3720 HAS SOUPS 3707 WITH SCORE 3722.135
AT ITER 2635 NEW BEST:: SOT 27996 SOS 15131 HAS SOPS 15109 HAS SOUS 3717 HAS SOUPS 3704 WITH SCORE 3719.131
AT ITER 2721 NEW BEST:: SOT 27984 SOS 15119 HAS SOPS 15097 HAS SOUS 3717 HAS SOUPS 3704 WITH SCORE 3719.119
AT ITER 2733 NEW BEST:: SOT 27987 SOS 15112 HAS SOPS 15090 HAS SOUS 3706 HAS SOUPS 3693 WITH SCORE 3708.112
AT ITER 2736 NEW BEST:: SOT 27960 SOS 15235 HAS SOPS 15213 HAS SOUS 3705 HAS SOUPS 3692 WITH SCORE 3707.235
AT ITER 2740 NEW BEST:: SOT 27959 SOS 15234 HAS SOPS 15212 HAS SOUS 3705 HAS SOUPS 3692 WITH SCORE 3707.234
AT ITER 2756 NEW BEST:: SOT 27954 SOS 15229 HAS SOPS 15207 HAS SOUS 3702 HAS SOUPS 3689 WITH SCORE 3704.229
AT ITER 2763 NEW BEST:: SOT 27954 SOS 15223 HAS SOPS 15201 HAS SOUS 3695 HAS SOUPS 3682 WITH SCORE 3697.223
AT ITER 2787 NEW BEST:: SOT 27931 SOS 15200 HAS SOPS 15178 HAS SOUS 3672 HAS SOUPS 3659 WITH SCORE 3674.2
AT ITER 2803 NEW BEST:: SOT 27928 SOS 15196 HAS SOPS 15174 HAS SOUS 3670 HAS SOUPS 3657 WITH SCORE 3672.196
AT ITER 2850 NEW BEST:: SOT 27926 SOS 15194 HAS SOPS 15172 HAS SOUS 3670 HAS SOUPS 3657 WITH SCORE 3672.194
AT ITER 2872 NEW BEST:: SOT 27921 SOS 15189 HAS SOPS 15167 HAS SOUS 3638 HAS SOUPS 3625 WITH SCORE 3640.189
AT ITER 2899 NEW BEST:: SOT 27921 SOS 15189 HAS SOPS 15167 HAS SOUS 3637 HAS SOUPS 3624 WITH SCORE 3639.189
AT ITER 2929 NEW BEST:: SOT 27923 SOS 15191 HAS SOPS 15169 HAS SOUS 3635 HAS SOUPS 3622 WITH SCORE 3637.191
AT ITER 2984 NEW BEST:: SOT 27922 SOS 15190 HAS SOPS 15168 HAS SOUS 3634 HAS SOUPS 3621 WITH SCORE 3636.19
AT ITER 2995 NEW BEST:: SOT 27926 SOS 15274 HAS SOPS 15252 HAS SOUS 3630 HAS SOUPS 3617 WITH SCORE 3632.274
AT ITER 3066 NEW BEST:: SOT 27926 SOS 15274 HAS SOPS 15252 HAS SOUS 3629 HAS SOUPS 3616 WITH SCORE 3631.274
AT ITER 3084 NEW BEST:: SOT 27920 SOS 15268 HAS SOPS 15246 HAS SOUS 3626 HAS SOUPS 3613 WITH SCORE 3628.268
AT ITER 3087 NEW BEST:: SOT 27919 SOS 15267 HAS SOPS 15245 HAS SOUS 3625 HAS SOUPS 3612 WITH SCORE 3627.267
AT ITER 3129 NEW BEST:: SOT 27922 SOS 15269 HAS SOPS 15247 HAS SOUS 3621 HAS SOUPS 3608 WITH SCORE 3623.269
AT ITER 3138 NEW BEST:: SOT 27920 SOS 15265 HAS SOPS 15243 HAS SOUS 3619 HAS SOUPS 3606 WITH SCORE 3621.265
AT ITER 3139 NEW BEST:: SOT 27920 SOS 15265 HAS SOPS 15243 HAS SOUS 3597 HAS SOUPS 3584 WITH SCORE 3599.265
AT ITER 3207 NEW BEST:: SOT 27915 SOS 15255 HAS SOPS 15233 HAS SOUS 3590 HAS SOUPS 3577 WITH SCORE 3592.255
AT ITER 3266 NEW BEST:: SOT 27913 SOS 14991 HAS SOPS 14969 HAS SOUS 3578 HAS SOUPS 3565 WITH SCORE 3579.991
AT ITER 3290 NEW BEST:: SOT 27909 SOS 14987 HAS SOPS 14965 HAS SOUS 3574 HAS SOUPS 3561 WITH SCORE 3575.987
AT ITER 3308 NEW BEST:: SOT 27900 SOS 14969 HAS SOPS 14947 HAS SOUS 3573 HAS SOUPS 3560 WITH SCORE 3574.969
AT ITER 3354 NEW BEST:: SOT 27897 SOS 14966 HAS SOPS 14944 HAS SOUS 3570 HAS SOUPS 3557 WITH SCORE 3571.966
AT ITER 3357 NEW BEST:: SOT 27878 SOS 14934 HAS SOPS 14912 HAS SOUS 3564 HAS SOUPS 3551 WITH SCORE 3565.934
AT ITER 3364 NEW BEST:: SOT 27872 SOS 14922 HAS SOPS 14900 HAS SOUS 3557 HAS SOUPS 3544 WITH SCORE 3558.922
AT ITER 3371 NEW BEST:: SOT 27870 SOS 14900 HAS SOPS 14878 HAS SOUS 3552 HAS SOUPS 3539 WITH SCORE 3553.9
AT ITER 3474 NEW BEST:: SOT 27895 SOS 14885 HAS SOPS 14863 HAS SOUS 3529 HAS SOUPS 3516 WITH SCORE 3530.885
AT ITER 3479 NEW BEST:: SOT 27890 SOS 14880 HAS SOPS 14858 HAS SOUS 3524 HAS SOUPS 3511 WITH SCORE 3525.88
AT ITER 3529 NEW BEST:: SOT 27890 SOS 14880 HAS SOPS 14858 HAS SOUS 3521 HAS SOUPS 3508 WITH SCORE 3522.88
AT ITER 3564 NEW BEST:: SOT 27890 SOS 14880 HAS SOPS 14858 HAS SOUS 3518 HAS SOUPS 3505 WITH SCORE 3519.88
AT ITER 3614 NEW BEST:: SOT 27882 SOS 14872 HAS SOPS 14850 HAS SOUS 3510 HAS SOUPS 3497 WITH SCORE 3511.872
AT ITER 3647 NEW BEST:: SOT 27873 SOS 14863 HAS SOPS 14841 HAS SOUS 3510 HAS SOUPS 3497 WITH SCORE 3511.863
AT ITER 3671 NEW BEST:: SOT 27864 SOS 14848 HAS SOPS 14826 HAS SOUS 3502 HAS SOUPS 3489 WITH SCORE 3503.848
AT ITER 3677 NEW BEST:: SOT 27860 SOS 14844 HAS SOPS 14822 HAS SOUS 3498 HAS SOUPS 3485 WITH SCORE 3499.844
AT ITER 3698 NEW BEST:: SOT 27872 SOS 14867 HAS SOPS 14845 HAS SOUS 3497 HAS SOUPS 3484 WITH SCORE 3498.867
AT ITER 3728 NEW BEST:: SOT 27865 SOS 14860 HAS SOPS 14838 HAS SOUS 3496 HAS SOUPS 3483 WITH SCORE 3497.86
AT ITER 3748 NEW BEST:: SOT 27865 SOS 14859 HAS SOPS 14837 HAS SOUS 3493 HAS SOUPS 3480 WITH SCORE 3494.859
AT ITER 3790 NEW BEST:: SOT 27862 SOS 14856 HAS SOPS 14834 HAS SOUS 3490 HAS SOUPS 3477 WITH SCORE 3491.856
AT ITER 3870 NEW BEST:: SOT 27847 SOS 14826 HAS SOPS 14804 HAS SOUS 3474 HAS SOUPS 3461 WITH SCORE 3475.826
AT ITER 3912 NEW BEST:: SOT 27838 SOS 14817 HAS SOPS 14795 HAS SOUS 3471 HAS SOUPS 3458 WITH SCORE 3472.817
AT ITER 3959 NEW BEST:: SOT 27822 SOS 14785 HAS SOPS 14763 HAS SOUS 3471 HAS SOUPS 3458 WITH SCORE 3472.785
AT ITER 4061 NEW BEST:: SOT 27822 SOS 14785 HAS SOPS 14763 HAS SOUS 3464 HAS SOUPS 3451 WITH SCORE 3465.785
AT ITER 4078 NEW BEST:: SOT 27814 SOS 14777 HAS SOPS 14755 HAS SOUS 3456 HAS SOUPS 3443 WITH SCORE 3457.777
AT ITER 4098 NEW BEST:: SOT 27808 SOS 14771 HAS SOPS 14749 HAS SOUS 3450 HAS SOUPS 3437 WITH SCORE 3451.771
AT ITER 4137 NEW BEST:: SOT 27764 SOS 14723 HAS SOPS 14701 HAS SOUS 3438 HAS SOUPS 3425 WITH SCORE 3439.723
AT ITER 4142 NEW BEST:: SOT 27767 SOS 14726 HAS SOPS 14704 HAS SOUS 3432 HAS SOUPS 3419 WITH SCORE 3433.726
AT ITER 4172 NEW BEST:: SOT 27763 SOS 14720 HAS SOPS 14698 HAS SOUS 3432 HAS SOUPS 3419 WITH SCORE 3433.72
AT ITER 4178 NEW BEST:: SOT 27762 SOS 14718 HAS SOPS 14696 HAS SOUS 3432 HAS SOUPS 3419 WITH SCORE 3433.718
AT ITER 4180 NEW BEST:: SOT 27758 SOS 14712 HAS SOPS 14690 HAS SOUS 3427 HAS SOUPS 3414 WITH SCORE 3428.712
AT ITER 4243 NEW BEST:: SOT 27742 SOS 14680 HAS SOPS 14658 HAS SOUS 3422 HAS SOUPS 3409 WITH SCORE 3423.68
AT ITER 4255 NEW BEST:: SOT 27754 SOS 14685 HAS SOPS 14663 HAS SOUS 3406 HAS SOUPS 3393 WITH SCORE 3407.685
AT ITER 4300 NEW BEST:: SOT 27754 SOS 14685 HAS SOPS 14663 HAS SOUS 3404 HAS SOUPS 3391 WITH SCORE 3405.685
AT ITER 4336 NEW BEST:: SOT 27757 SOS 14688 HAS SOPS 14666 HAS SOUS 3402 HAS SOUPS 3389 WITH SCORE 3403.688
AT ITER 4363 NEW BEST:: SOT 27757 SOS 14688 HAS SOPS 14666 HAS SOUS 3400 HAS SOUPS 3387 WITH SCORE 3401.688
AT ITER 4426 NEW BEST:: SOT 27761 SOS 14696 HAS SOPS 14674 HAS SOUS 3388 HAS SOUPS 3375 WITH SCORE 3389.696
AT ITER 4446 NEW BEST:: SOT 27759 SOS 14694 HAS SOPS 14672 HAS SOUS 3384 HAS SOUPS 3371 WITH SCORE 3385.694
AT ITER 4497 NEW BEST:: SOT 27759 SOS 14713 HAS SOPS 14691 HAS SOUS 3383 HAS SOUPS 3370 WITH SCORE 3384.713
AT ITER 4565 NEW BEST:: SOT 27758 SOS 14712 HAS SOPS 14690 HAS SOUS 3381 HAS SOUPS 3368 WITH SCORE 3382.712
AT ITER 4578 NEW BEST:: SOT 27758 SOS 14712 HAS SOPS 14690 HAS SOUS 3371 HAS SOUPS 3358 WITH SCORE 3372.712
AT ITER 4596 NEW BEST:: SOT 27758 SOS 14712 HAS SOPS 14690 HAS SOUS 3367 HAS SOUPS 3354 WITH SCORE 3368.712
AT ITER 4599 NEW BEST:: SOT 27755 SOS 14709 HAS SOPS 14687 HAS SOUS 3361 HAS SOUPS 3348 WITH SCORE 3362.709
AT ITER 4614 NEW BEST:: SOT 27756 SOS 14710 HAS SOPS 14688 HAS SOUS 3360 HAS SOUPS 3347 WITH SCORE 3361.71
AT ITER 4623 NEW BEST:: SOT 27762 SOS 14623 HAS SOPS 14601 HAS SOUS 3358 HAS SOUPS 3345 WITH SCORE 3359.623
AT ITER 4642 NEW BEST:: SOT 27758 SOS 14619 HAS SOPS 14597 HAS SOUS 3355 HAS SOUPS 3342 WITH SCORE 3356.619
AT ITER 4651 NEW BEST:: SOT 27761 SOS 14618 HAS SOPS 14596 HAS SOUS 3355 HAS SOUPS 3342 WITH SCORE 3356.618
AT ITER 4678 NEW BEST:: SOT 27761 SOS 14618 HAS SOPS 14596 HAS SOUS 3351 HAS SOUPS 3338 WITH SCORE 3352.618
AT ITER 4745 NEW BEST:: SOT 27755 SOS 14612 HAS SOPS 14590 HAS SOUS 3343 HAS SOUPS 3330 WITH SCORE 3344.612
AT ITER 4749 NEW BEST:: SOT 27754 SOS 14707 HAS SOPS 14685 HAS SOUS 3339 HAS SOUPS 3326 WITH SCORE 3340.707
AT ITER 4824 NEW BEST:: SOT 27740 SOS 14677 HAS SOPS 14655 HAS SOUS 3326 HAS SOUPS 3313 WITH SCORE 3327.677
AT ITER 4837 NEW BEST:: SOT 27754 SOS 14691 HAS SOPS 14669 HAS SOUS 3320 HAS SOUPS 3307 WITH SCORE 3321.691
AT ITER 4862 NEW BEST:: SOT 27747 SOS 14684 HAS SOPS 14662 HAS SOUS 3314 HAS SOUPS 3301 WITH SCORE 3315.684
AT ITER 5086 NEW BEST:: SOT 27746 SOS 14681 HAS SOPS 14659 HAS SOUS 3313 HAS SOUPS 3300 WITH SCORE 3314.681
AT ITER 5101 NEW BEST:: SOT 27747 SOS 14682 HAS SOPS 14660 HAS SOUS 3311 HAS SOUPS 3298 WITH SCORE 3312.682
AT ITER 5158 NEW BEST:: SOT 27746 SOS 14681 HAS SOPS 14659 HAS SOUS 3310 HAS SOUPS 3297 WITH SCORE 3311.681
AT ITER 5166 NEW BEST:: SOT 27742 SOS 14677 HAS SOPS 14655 HAS SOUS 3306 HAS SOUPS 3293 WITH SCORE 3307.677
AT ITER 5233 NEW BEST:: SOT 27738 SOS 14663 HAS SOPS 14641 HAS SOUS 3303 HAS SOUPS 3290 WITH SCORE 3304.663
AT ITER 5325 NEW BEST:: SOT 27732 SOS 14653 HAS SOPS 14631 HAS SOUS 3299 HAS SOUPS 3286 WITH SCORE 3300.653
AT ITER 5349 NEW BEST:: SOT 27732 SOS 14653 HAS SOPS 14631 HAS SOUS 3298 HAS SOUPS 3285 WITH SCORE 3299.653
AT ITER 5426 NEW BEST:: SOT 27732 SOS 14653 HAS SOPS 14631 HAS SOUS 3296 HAS SOUPS 3283 WITH SCORE 3297.653
AT ITER 5621 NEW BEST:: SOT 27731 SOS 14652 HAS SOPS 14630 HAS SOUS 3295 HAS SOUPS 3282 WITH SCORE 3296.652
AT ITER 5636 NEW BEST:: SOT 27731 SOS 14647 HAS SOPS 14625 HAS SOUS 3294 HAS SOUPS 3281 WITH SCORE 3295.647
AT ITER 5684 NEW BEST:: SOT 27731 SOS 14644 HAS SOPS 14622 HAS SOUS 3294 HAS SOUPS 3281 WITH SCORE 3295.644
AT ITER 5690 NEW BEST:: SOT 27731 SOS 14642 HAS SOPS 14620 HAS SOUS 3293 HAS SOUPS 3280 WITH SCORE 3294.642
AT ITER 5710 NEW BEST:: SOT 27728 SOS 14639 HAS SOPS 14617 HAS SOUS 3293 HAS SOUPS 3280 WITH SCORE 3294.639
AT ITER 5751 NEW BEST:: SOT 27717 SOS 14628 HAS SOPS 14606 HAS SOUS 3293 HAS SOUPS 3280 WITH SCORE 3294.628
AT ITER 5806 NEW BEST:: SOT 27716 SOS 14626 HAS SOPS 14604 HAS SOUS 3293 HAS SOUPS 3280 WITH SCORE 3294.626
AT ITER 5867 NEW BEST:: SOT 27697 SOS 14589 HAS SOPS 14567 HAS SOUS 3293 HAS SOUPS 3280 WITH SCORE 3294.589
AT ITER 5877 NEW BEST:: SOT 27697 SOS 14589 HAS SOPS 14567 HAS SOUS 3291 HAS SOUPS 3278 WITH SCORE 3292.589
AT ITER 5888 NEW BEST:: SOT 27697 SOS 14589 HAS SOPS 14567 HAS SOUS 3289 HAS SOUPS 3276 WITH SCORE 3290.589
AT ITER 5899 NEW BEST:: SOT 27697 SOS 14589 HAS SOPS 14567 HAS SOUS 3286 HAS SOUPS 3273 WITH SCORE 3287.589
AT ITER 5918 NEW BEST:: SOT 27699 SOS 14595 HAS SOPS 14573 HAS SOUS 3285 HAS SOUPS 3272 WITH SCORE 3286.595
AT ITER 5931 NEW BEST:: SOT 27699 SOS 14596 HAS SOPS 14574 HAS SOUS 3282 HAS SOUPS 3269 WITH SCORE 3283.596
AT ITER 6000 NEW BEST:: SOT 27708 SOS 14760 HAS SOPS 14738 HAS SOUS 3281 HAS SOUPS 3268 WITH SCORE 3282.76
AT ITER 6075 NEW BEST:: SOT 27705 SOS 14678 HAS SOPS 14656 HAS SOUS 3279 HAS SOUPS 3266 WITH SCORE 3280.678
AT ITER 6086 NEW BEST:: SOT 27717 SOS 14679 HAS SOPS 14657 HAS SOUS 3278 HAS SOUPS 3265 WITH SCORE 3279.679
AT ITER 6088 NEW BEST:: SOT 27716 SOS 14678 HAS SOPS 14656 HAS SOUS 3276 HAS SOUPS 3263 WITH SCORE 3277.678
AT ITER 6121 NEW BEST:: SOT 27716 SOS 14678 HAS SOPS 14656 HAS SOUS 3273 HAS SOUPS 3260 WITH SCORE 3274.678
AT ITER 6237 NEW BEST:: SOT 27718 SOS 14676 HAS SOPS 14654 HAS SOUS 3268 HAS SOUPS 3255 WITH SCORE 3269.676
AT ITER 6276 NEW BEST:: SOT 27718 SOS 14676 HAS SOPS 14654 HAS SOUS 3267 HAS SOUPS 3254 WITH SCORE 3268.676
AT ITER 6390 NEW BEST:: SOT 27719 SOS 14677 HAS SOPS 14655 HAS SOUS 3256 HAS SOUPS 3243 WITH SCORE 3257.677
AT ITER 6474 NEW BEST:: SOT 27718 SOS 14676 HAS SOPS 14654 HAS SOUS 3255 HAS SOUPS 3242 WITH SCORE 3256.676
AT ITER 6526 NEW BEST:: SOT 27718 SOS 14676 HAS SOPS 14654 HAS SOUS 3254 HAS SOUPS 3241 WITH SCORE 3255.676
AT ITER 6579 NEW BEST:: SOT 27709 SOS 14666 HAS SOPS 14644 HAS SOUS 3251 HAS SOUPS 3238 WITH SCORE 3252.666
AT ITER 6696 NEW BEST:: SOT 27709 SOS 14665 HAS SOPS 14643 HAS SOUS 3250 HAS SOUPS 3237 WITH SCORE 3251.665
AT ITER 6717 NEW BEST:: SOT 27694 SOS 14644 HAS SOPS 14622 HAS SOUS 3247 HAS SOUPS 3234 WITH SCORE 3248.644
AT ITER 6737 NEW BEST:: SOT 27691 SOS 14642 HAS SOPS 14620 HAS SOUS 3247 HAS SOUPS 3234 WITH SCORE 3248.642
AT ITER 6806 NEW BEST:: SOT 27692 SOS 14643 HAS SOPS 14621 HAS SOUS 3246 HAS SOUPS 3233 WITH SCORE 3247.643
AT ITER 6868 NEW BEST:: SOT 27690 SOS 14647 HAS SOPS 14625 HAS SOUS 3238 HAS SOUPS 3225 WITH SCORE 3239.647
AT ITER 6882 NEW BEST:: SOT 27690 SOS 14586 HAS SOPS 14564 HAS SOUS 3238 HAS SOUPS 3225 WITH SCORE 3239.586
AT ITER 6892 NEW BEST:: SOT 27686 SOS 14582 HAS SOPS 14560 HAS SOUS 3238 HAS SOUPS 3225 WITH SCORE 3239.582
AT ITER 7079 NEW BEST:: SOT 27686 SOS 14582 HAS SOPS 14560 HAS SOUS 3235 HAS SOUPS 3222 WITH SCORE 3236.582
AT ITER 7210 NEW BEST:: SOT 27682 SOS 14578 HAS SOPS 14556 HAS SOUS 3227 HAS SOUPS 3214 WITH SCORE 3228.578
AT ITER 7254 NEW BEST:: SOT 27681 SOS 14577 HAS SOPS 14555 HAS SOUS 3226 HAS SOUPS 3213 WITH SCORE 3227.577
AT ITER 7324 NEW BEST:: SOT 27687 SOS 14583 HAS SOPS 14561 HAS SOUS 3222 HAS SOUPS 3209 WITH SCORE 3223.583
AT ITER 7357 NEW BEST:: SOT 27693 SOS 14589 HAS SOPS 14567 HAS SOUS 3221 HAS SOUPS 3208 WITH SCORE 3222.589
AT ITER 7360 NEW BEST:: SOT 27697 SOS 14589 HAS SOPS 14567 HAS SOUS 3218 HAS SOUPS 3205 WITH SCORE 3219.589
AT ITER 7418 NEW BEST:: SOT 27662 SOS 14546 HAS SOPS 14524 HAS SOUS 3215 HAS SOUPS 3202 WITH SCORE 3216.546
AT ITER 7506 NEW BEST:: SOT 27659 SOS 14543 HAS SOPS 14521 HAS SOUS 3214 HAS SOUPS 3201 WITH SCORE 3215.543
AT ITER 7538 NEW BEST:: SOT 27660 SOS 14544 HAS SOPS 14522 HAS SOUS 3213 HAS SOUPS 3200 WITH SCORE 3214.544
AT ITER 7567 NEW BEST:: SOT 27673 SOS 14557 HAS SOPS 14535 HAS SOUS 3211 HAS SOUPS 3198 WITH SCORE 3212.557
AT ITER 7570 NEW BEST:: SOT 27665 SOS 14549 HAS SOPS 14527 HAS SOUS 3211 HAS SOUPS 3198 WITH SCORE 3212.549
AT ITER 7572 NEW BEST:: SOT 27662 SOS 14546 HAS SOPS 14524 HAS SOUS 3211 HAS SOUPS 3198 WITH SCORE 3212.546
AT ITER 7770 NEW BEST:: SOT 27667 SOS 14553 HAS SOPS 14531 HAS SOUS 3209 HAS SOUPS 3196 WITH SCORE 3210.553
AT ITER 7819 NEW BEST:: SOT 27665 SOS 14551 HAS SOPS 14529 HAS SOUS 3209 HAS SOUPS 3196 WITH SCORE 3210.551
AT ITER 7849 NEW BEST:: SOT 27664 SOS 14550 HAS SOPS 14528 HAS SOUS 3207 HAS SOUPS 3194 WITH SCORE 3208.55
AT ITER 7864 NEW BEST:: SOT 27663 SOS 14549 HAS SOPS 14527 HAS SOUS 3205 HAS SOUPS 3192 WITH SCORE 3206.549
AT ITER 8025 NEW BEST:: SOT 27659 SOS 14545 HAS SOPS 14523 HAS SOUS 3197 HAS SOUPS 3184 WITH SCORE 3198.545
AT ITER 8059 NEW BEST:: SOT 27657 SOS 14543 HAS SOPS 14521 HAS SOUS 3195 HAS SOUPS 3182 WITH SCORE 3196.543
AT ITER 8142 NEW BEST:: SOT 27655 SOS 14541 HAS SOPS 14519 HAS SOUS 3193 HAS SOUPS 3180 WITH SCORE 3194.541
AT ITER 8158 NEW BEST:: SOT 27654 SOS 14540 HAS SOPS 14518 HAS SOUS 3192 HAS SOUPS 3179 WITH SCORE 3193.54
AT ITER 8175 NEW BEST:: SOT 27653 SOS 14539 HAS SOPS 14517 HAS SOUS 3191 HAS SOUPS 3178 WITH SCORE 3192.539
AT ITER 8196 NEW BEST:: SOT 27623 SOS 14509 HAS SOPS 14487 HAS SOUS 3191 HAS SOUPS 3178 WITH SCORE 3192.509
AT ITER 8372 NEW BEST:: SOT 27613 SOS 14491 HAS SOPS 14469 HAS SOUS 3185 HAS SOUPS 3172 WITH SCORE 3186.491
AT ITER 8385 NEW BEST:: SOT 27616 SOS 14494 HAS SOPS 14472 HAS SOUS 3180 HAS SOUPS 3167 WITH SCORE 3181.494
AT ITER 8589 NEW BEST:: SOT 27614 SOS 14601 HAS SOPS 14579 HAS SOUS 3179 HAS SOUPS 3166 WITH SCORE 3180.601
AT ITER 8675 NEW BEST:: SOT 27612 SOS 14597 HAS SOPS 14575 HAS SOUS 3178 HAS SOUPS 3165 WITH SCORE 3179.597
AT ITER 8696 NEW BEST:: SOT 27630 SOS 14493 HAS SOPS 14471 HAS SOUS 3178 HAS SOUPS 3165 WITH SCORE 3179.493
AT ITER 8814 NEW BEST:: SOT 27626 SOS 14489 HAS SOPS 14467 HAS SOUS 3174 HAS SOUPS 3161 WITH SCORE 3175.489
AT ITER 8831 NEW BEST:: SOT 27626 SOS 14487 HAS SOPS 14465 HAS SOUS 3172 HAS SOUPS 3159 WITH SCORE 3173.487
AT ITER 9034 NEW BEST:: SOT 27626 SOS 14490 HAS SOPS 14468 HAS SOUS 3168 HAS SOUPS 3155 WITH SCORE 3169.49
AT ITER 9068 NEW BEST:: SOT 27624 SOS 14488 HAS SOPS 14466 HAS SOUS 3162 HAS SOUPS 3149 WITH SCORE 3163.488
AT ITER 9127 NEW BEST:: SOT 27625 SOS 14489 HAS SOPS 14467 HAS SOUS 3160 HAS SOUPS 3147 WITH SCORE 3161.489
AT ITER 9135 NEW BEST:: SOT 27625 SOS 14501 HAS SOPS 14479 HAS SOUS 3155 HAS SOUPS 3142 WITH SCORE 3156.501
AT ITER 9137 NEW BEST:: SOT 27625 SOS 14501 HAS SOPS 14479 HAS SOUS 3153 HAS SOUPS 3140 WITH SCORE 3154.501
AT ITER 9248 NEW BEST:: SOT 27597 SOS 14452 HAS SOPS 14430 HAS SOUS 3136 HAS SOUPS 3123 WITH SCORE 3137.452
AT ITER 9347 NEW BEST:: SOT 27597 SOS 14452 HAS SOPS 14430 HAS SOUS 3131 HAS SOUPS 3118 WITH SCORE 3132.452
AT ITER 9454 NEW BEST:: SOT 27597 SOS 14452 HAS SOPS 14430 HAS SOUS 3127 HAS SOUPS 3114 WITH SCORE 3128.452
AT ITER 9484 NEW BEST:: SOT 27595 SOS 14449 HAS SOPS 14427 HAS SOUS 3126 HAS SOUPS 3113 WITH SCORE 3127.449
AT ITER 9682 NEW BEST:: SOT 27591 SOS 14442 HAS SOPS 14420 HAS SOUS 3114 HAS SOUPS 3101 WITH SCORE 3115.442
AT ITER 9696 NEW BEST:: SOT 27587 SOS 14437 HAS SOPS 14415 HAS SOUS 3111 HAS SOUPS 3098 WITH SCORE 3112.437
AT ITER 9796 NEW BEST:: SOT 27583 SOS 14428 HAS SOPS 14406 HAS SOUS 3107 HAS SOUPS 3094 WITH SCORE 3108.428
AT ITER 9820 NEW BEST:: SOT 27575 SOS 14486 HAS SOPS 14464 HAS SOUS 3106 HAS SOUPS 3093 WITH SCORE 3107.486
AT ITER 9877 NEW BEST:: SOT 27572 SOS 14478 HAS SOPS 14456 HAS SOUS 3104 HAS SOUPS 3091 WITH SCORE 3105.478
AT ITER 9965 NEW BEST:: SOT 27578 SOS 14484 HAS SOPS 14462 HAS SOUS 3103 HAS SOUPS 3090 WITH SCORE 3104.484
STATE_SPACE STATES 1865959856 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 30351452471 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678495451526

--------------------
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-13"
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-13, 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-167840342300336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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