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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 7.5K Feb 26 18:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 26 18:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 17:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 17:57 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.2K Feb 25 16:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 18:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 133K Feb 26 18:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 18:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 26 18:04 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 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 1678494538254

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-12
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 12
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: 160 places, 340 transitions, 895 arcs.
AT ITER 0 NEW BEST:: SOT 39029 SOS 22793 HAS SOPS 22771 HAS SOUS 12909 HAS SOUPS 12896 WITH SCORE 12918.793
AT ITER 2 NEW BEST:: SOT 38828 SOS 22542 HAS SOPS 22520 HAS SOUS 12861 HAS SOUPS 12848 WITH SCORE 12870.542
AT ITER 3 NEW BEST:: SOT 38608 SOS 22301 HAS SOPS 22279 HAS SOUS 12791 HAS SOUPS 12778 WITH SCORE 12800.301
AT ITER 10 NEW BEST:: SOT 38498 SOS 22050 HAS SOPS 22028 HAS SOUS 12572 HAS SOUPS 12559 WITH SCORE 12581.05
AT ITER 15 NEW BEST:: SOT 38498 SOS 22050 HAS SOPS 22028 HAS SOUS 12546 HAS SOUPS 12533 WITH SCORE 12555.05
AT ITER 20 NEW BEST:: SOT 38429 SOS 21912 HAS SOPS 21890 HAS SOUS 12482 HAS SOUPS 12469 WITH SCORE 12490.912
AT ITER 21 NEW BEST:: SOT 37389 SOS 21103 HAS SOPS 21081 HAS SOUS 11975 HAS SOUPS 11962 WITH SCORE 11983.103
AT ITER 23 NEW BEST:: SOT 37397 SOS 21077 HAS SOPS 21055 HAS SOUS 11954 HAS SOUPS 11941 WITH SCORE 11962.077
AT ITER 25 NEW BEST:: SOT 37018 SOS 21884 HAS SOPS 21862 HAS SOUS 11688 HAS SOUPS 11675 WITH SCORE 11696.884
AT ITER 30 NEW BEST:: SOT 36579 SOS 21409 HAS SOPS 21387 HAS SOUS 11268 HAS SOUPS 11255 WITH SCORE 11276.409
AT ITER 32 NEW BEST:: SOT 36549 SOS 21349 HAS SOPS 21327 HAS SOUS 11258 HAS SOUPS 11245 WITH SCORE 11266.349
AT ITER 34 NEW BEST:: SOT 36549 SOS 21349 HAS SOPS 21327 HAS SOUS 11252 HAS SOUPS 11239 WITH SCORE 11260.349
AT ITER 36 NEW BEST:: SOT 36539 SOS 21334 HAS SOPS 21312 HAS SOUS 11237 HAS SOUPS 11224 WITH SCORE 11245.334
AT ITER 37 NEW BEST:: SOT 36463 SOS 21110 HAS SOPS 21088 HAS SOUS 11105 HAS SOUPS 11092 WITH SCORE 11113.11
AT ITER 38 NEW BEST:: SOT 36467 SOS 21114 HAS SOPS 21092 HAS SOUS 11101 HAS SOUPS 11088 WITH SCORE 11109.114
AT ITER 42 NEW BEST:: SOT 36239 SOS 20943 HAS SOPS 20921 HAS SOUS 11044 HAS SOUPS 11031 WITH SCORE 11051.943
AT ITER 46 NEW BEST:: SOT 36261 SOS 20963 HAS SOPS 20941 HAS SOUS 11041 HAS SOUPS 11028 WITH SCORE 11048.963
AT ITER 60 NEW BEST:: SOT 36035 SOS 20536 HAS SOPS 20514 HAS SOUS 10839 HAS SOUPS 10826 WITH SCORE 10846.536
AT ITER 66 NEW BEST:: SOT 36027 SOS 20545 HAS SOPS 20523 HAS SOUS 10784 HAS SOUPS 10771 WITH SCORE 10791.545
AT ITER 70 NEW BEST:: SOT 36019 SOS 20521 HAS SOPS 20499 HAS SOUS 10768 HAS SOUPS 10755 WITH SCORE 10775.521
AT ITER 75 NEW BEST:: SOT 36008 SOS 20513 HAS SOPS 20491 HAS SOUS 10747 HAS SOUPS 10734 WITH SCORE 10754.513
AT ITER 85 NEW BEST:: SOT 36008 SOS 20431 HAS SOPS 20409 HAS SOUS 10703 HAS SOUPS 10690 WITH SCORE 10710.431
AT ITER 86 NEW BEST:: SOT 36008 SOS 20431 HAS SOPS 20409 HAS SOUS 10657 HAS SOUPS 10644 WITH SCORE 10664.431
AT ITER 93 NEW BEST:: SOT 35958 SOS 20383 HAS SOPS 20361 HAS SOUS 10639 HAS SOUPS 10626 WITH SCORE 10646.383
AT ITER 95 NEW BEST:: SOT 35758 SOS 19857 HAS SOPS 19835 HAS SOUS 10492 HAS SOUPS 10479 WITH SCORE 10498.857
AT ITER 96 NEW BEST:: SOT 35443 SOS 19682 HAS SOPS 19660 HAS SOUS 10236 HAS SOUPS 10223 WITH SCORE 10242.682
AT ITER 97 NEW BEST:: SOT 35443 SOS 19664 HAS SOPS 19642 HAS SOUS 10236 HAS SOUPS 10223 WITH SCORE 10242.664
AT ITER 105 NEW BEST:: SOT 35335 SOS 19448 HAS SOPS 19426 HAS SOUS 10164 HAS SOUPS 10151 WITH SCORE 10170.448
AT ITER 106 NEW BEST:: SOT 34373 SOS 18881 HAS SOPS 18859 HAS SOUS 10014 HAS SOUPS 10001 WITH SCORE 10019.881
AT ITER 108 NEW BEST:: SOT 34500 SOS 18266 HAS SOPS 18244 HAS SOUS 9949 HAS SOUPS 9936 WITH SCORE 9954.266
AT ITER 113 NEW BEST:: SOT 34531 SOS 18328 HAS SOPS 18306 HAS SOUS 9925 HAS SOUPS 9912 WITH SCORE 9930.328
AT ITER 114 NEW BEST:: SOT 34455 SOS 18090 HAS SOPS 18068 HAS SOUS 9918 HAS SOUPS 9905 WITH SCORE 9923.09
AT ITER 115 NEW BEST:: SOT 34297 SOS 17943 HAS SOPS 17921 HAS SOUS 9857 HAS SOUPS 9844 WITH SCORE 9861.943
AT ITER 120 NEW BEST:: SOT 34195 SOS 17790 HAS SOPS 17768 HAS SOUS 9806 HAS SOUPS 9793 WITH SCORE 9810.79
AT ITER 121 NEW BEST:: SOT 34117 SOS 17571 HAS SOPS 17549 HAS SOUS 9779 HAS SOUPS 9766 WITH SCORE 9783.571
AT ITER 122 NEW BEST:: SOT 34029 SOS 17434 HAS SOPS 17412 HAS SOUS 9709 HAS SOUPS 9696 WITH SCORE 9713.434
AT ITER 124 NEW BEST:: SOT 33986 SOS 17340 HAS SOPS 17318 HAS SOUS 9688 HAS SOUPS 9675 WITH SCORE 9692.34
AT ITER 132 NEW BEST:: SOT 34019 SOS 17487 HAS SOPS 17465 HAS SOUS 9664 HAS SOUPS 9651 WITH SCORE 9668.487
AT ITER 136 NEW BEST:: SOT 34019 SOS 17487 HAS SOPS 17465 HAS SOUS 9633 HAS SOUPS 9620 WITH SCORE 9637.487
AT ITER 142 NEW BEST:: SOT 33745 SOS 17538 HAS SOPS 17516 HAS SOUS 9602 HAS SOUPS 9589 WITH SCORE 9606.538
AT ITER 143 NEW BEST:: SOT 33733 SOS 17523 HAS SOPS 17501 HAS SOUS 9596 HAS SOUPS 9583 WITH SCORE 9600.523
AT ITER 145 NEW BEST:: SOT 33733 SOS 17484 HAS SOPS 17462 HAS SOUS 9557 HAS SOUPS 9544 WITH SCORE 9561.484
AT ITER 146 NEW BEST:: SOT 33686 SOS 17339 HAS SOPS 17317 HAS SOUS 9513 HAS SOUPS 9500 WITH SCORE 9517.339
AT ITER 147 NEW BEST:: SOT 33395 SOS 17080 HAS SOPS 17058 HAS SOUS 9222 HAS SOUPS 9209 WITH SCORE 9226.08
AT ITER 158 NEW BEST:: SOT 33347 SOS 17008 HAS SOPS 16986 HAS SOUS 9198 HAS SOUPS 9185 WITH SCORE 9202.008
AT ITER 162 NEW BEST:: SOT 33308 SOS 16930 HAS SOPS 16908 HAS SOUS 9159 HAS SOUPS 9146 WITH SCORE 9162.93
AT ITER 168 NEW BEST:: SOT 33226 SOS 16906 HAS SOPS 16884 HAS SOUS 9130 HAS SOUPS 9117 WITH SCORE 9133.906
AT ITER 173 NEW BEST:: SOT 33236 SOS 16914 HAS SOPS 16892 HAS SOUS 9103 HAS SOUPS 9090 WITH SCORE 9106.914
AT ITER 174 NEW BEST:: SOT 33200 SOS 16836 HAS SOPS 16814 HAS SOUS 9090 HAS SOUPS 9077 WITH SCORE 9093.836
AT ITER 177 NEW BEST:: SOT 33142 SOS 16694 HAS SOPS 16672 HAS SOUS 9032 HAS SOUPS 9019 WITH SCORE 9035.694
AT ITER 181 NEW BEST:: SOT 33141 SOS 16692 HAS SOPS 16670 HAS SOUS 9031 HAS SOUPS 9018 WITH SCORE 9034.692
AT ITER 184 NEW BEST:: SOT 33151 SOS 16752 HAS SOPS 16730 HAS SOUS 9000 HAS SOUPS 8987 WITH SCORE 9003.752
AT ITER 185 NEW BEST:: SOT 33148 SOS 16742 HAS SOPS 16720 HAS SOUS 8976 HAS SOUPS 8963 WITH SCORE 8979.742
AT ITER 190 NEW BEST:: SOT 33130 SOS 16697 HAS SOPS 16675 HAS SOUS 8954 HAS SOUPS 8941 WITH SCORE 8957.697
AT ITER 192 NEW BEST:: SOT 33136 SOS 16707 HAS SOPS 16685 HAS SOUS 8938 HAS SOUPS 8925 WITH SCORE 8941.707
AT ITER 194 NEW BEST:: SOT 33128 SOS 16691 HAS SOPS 16669 HAS SOUS 8938 HAS SOUPS 8925 WITH SCORE 8941.691
AT ITER 196 NEW BEST:: SOT 33122 SOS 16695 HAS SOPS 16673 HAS SOUS 8931 HAS SOUPS 8918 WITH SCORE 8934.695
AT ITER 198 NEW BEST:: SOT 33104 SOS 16668 HAS SOPS 16646 HAS SOUS 8908 HAS SOUPS 8895 WITH SCORE 8911.668
AT ITER 199 NEW BEST:: SOT 32965 SOS 16667 HAS SOPS 16645 HAS SOUS 8750 HAS SOUPS 8737 WITH SCORE 8753.667
AT ITER 201 NEW BEST:: SOT 32949 SOS 16667 HAS SOPS 16645 HAS SOUS 8734 HAS SOUPS 8721 WITH SCORE 8737.667
AT ITER 202 NEW BEST:: SOT 32948 SOS 16636 HAS SOPS 16614 HAS SOUS 8719 HAS SOUPS 8706 WITH SCORE 8722.636
AT ITER 205 NEW BEST:: SOT 33025 SOS 16767 HAS SOPS 16745 HAS SOUS 8713 HAS SOUPS 8700 WITH SCORE 8716.767
AT ITER 207 NEW BEST:: SOT 33025 SOS 16762 HAS SOPS 16740 HAS SOUS 8713 HAS SOUPS 8700 WITH SCORE 8716.762
AT ITER 212 NEW BEST:: SOT 32972 SOS 16709 HAS SOPS 16687 HAS SOUS 8625 HAS SOUPS 8612 WITH SCORE 8628.709
AT ITER 214 NEW BEST:: SOT 32957 SOS 16665 HAS SOPS 16643 HAS SOUS 8574 HAS SOUPS 8561 WITH SCORE 8577.665
AT ITER 218 NEW BEST:: SOT 32888 SOS 16588 HAS SOPS 16566 HAS SOUS 8506 HAS SOUPS 8493 WITH SCORE 8509.588
AT ITER 223 NEW BEST:: SOT 32888 SOS 16545 HAS SOPS 16523 HAS SOUS 8431 HAS SOUPS 8418 WITH SCORE 8434.545
AT ITER 227 NEW BEST:: SOT 32877 SOS 16534 HAS SOPS 16512 HAS SOUS 8406 HAS SOUPS 8393 WITH SCORE 8409.534
AT ITER 240 NEW BEST:: SOT 32842 SOS 16569 HAS SOPS 16547 HAS SOUS 8301 HAS SOUPS 8288 WITH SCORE 8304.569
AT ITER 242 NEW BEST:: SOT 32835 SOS 16562 HAS SOPS 16540 HAS SOUS 8287 HAS SOUPS 8274 WITH SCORE 8290.562
AT ITER 243 NEW BEST:: SOT 32817 SOS 16507 HAS SOPS 16485 HAS SOUS 8194 HAS SOUPS 8181 WITH SCORE 8197.507
AT ITER 244 NEW BEST:: SOT 31734 SOS 16187 HAS SOPS 16165 HAS SOUS 7407 HAS SOUPS 7394 WITH SCORE 7410.187
AT ITER 247 NEW BEST:: SOT 31708 SOS 16187 HAS SOPS 16165 HAS SOUS 7395 HAS SOUPS 7382 WITH SCORE 7398.187
AT ITER 252 NEW BEST:: SOT 31268 SOS 17215 HAS SOPS 17193 HAS SOUS 7244 HAS SOUPS 7231 WITH SCORE 7248.215
AT ITER 253 NEW BEST:: SOT 31264 SOS 17209 HAS SOPS 17187 HAS SOUS 7242 HAS SOUPS 7229 WITH SCORE 7246.209
AT ITER 254 NEW BEST:: SOT 31264 SOS 17209 HAS SOPS 17187 HAS SOUS 7215 HAS SOUPS 7202 WITH SCORE 7219.209
AT ITER 259 NEW BEST:: SOT 30884 SOS 17738 HAS SOPS 17716 HAS SOUS 6933 HAS SOUPS 6920 WITH SCORE 6937.738
AT ITER 265 NEW BEST:: SOT 30742 SOS 18431 HAS SOPS 18409 HAS SOUS 6776 HAS SOUPS 6763 WITH SCORE 6781.431
AT ITER 268 NEW BEST:: SOT 30732 SOS 18421 HAS SOPS 18399 HAS SOUS 6776 HAS SOUPS 6763 WITH SCORE 6781.421
AT ITER 274 NEW BEST:: SOT 30726 SOS 18411 HAS SOPS 18389 HAS SOUS 6770 HAS SOUPS 6757 WITH SCORE 6775.411
AT ITER 275 NEW BEST:: SOT 30684 SOS 18330 HAS SOPS 18308 HAS SOUS 6762 HAS SOUPS 6749 WITH SCORE 6767.33
AT ITER 278 NEW BEST:: SOT 30580 SOS 18274 HAS SOPS 18252 HAS SOUS 6690 HAS SOUPS 6677 WITH SCORE 6695.274
AT ITER 279 NEW BEST:: SOT 30481 SOS 18110 HAS SOPS 18088 HAS SOUS 6622 HAS SOUPS 6609 WITH SCORE 6627.11
AT ITER 285 NEW BEST:: SOT 30442 SOS 18029 HAS SOPS 18007 HAS SOUS 6583 HAS SOUPS 6570 WITH SCORE 6588.029
AT ITER 292 NEW BEST:: SOT 30442 SOS 18015 HAS SOPS 17993 HAS SOUS 6583 HAS SOUPS 6570 WITH SCORE 6588.015
AT ITER 298 NEW BEST:: SOT 30453 SOS 18026 HAS SOPS 18004 HAS SOUS 6572 HAS SOUPS 6559 WITH SCORE 6577.026
AT ITER 304 NEW BEST:: SOT 30483 SOS 18054 HAS SOPS 18032 HAS SOUS 6553 HAS SOUPS 6540 WITH SCORE 6558.054
AT ITER 310 NEW BEST:: SOT 30479 SOS 18046 HAS SOPS 18024 HAS SOUS 6553 HAS SOUPS 6540 WITH SCORE 6558.046
AT ITER 318 NEW BEST:: SOT 30451 SOS 17992 HAS SOPS 17970 HAS SOUS 6553 HAS SOUPS 6540 WITH SCORE 6557.992
AT ITER 322 NEW BEST:: SOT 30454 SOS 17993 HAS SOPS 17971 HAS SOUS 6533 HAS SOUPS 6520 WITH SCORE 6537.993
AT ITER 331 NEW BEST:: SOT 30451 SOS 17987 HAS SOPS 17965 HAS SOUS 6530 HAS SOUPS 6517 WITH SCORE 6534.987
AT ITER 351 NEW BEST:: SOT 30432 SOS 17964 HAS SOPS 17942 HAS SOUS 6493 HAS SOUPS 6480 WITH SCORE 6497.964
AT ITER 353 NEW BEST:: SOT 30374 SOS 17906 HAS SOPS 17884 HAS SOUS 6493 HAS SOUPS 6480 WITH SCORE 6497.906
AT ITER 354 NEW BEST:: SOT 30356 SOS 17856 HAS SOPS 17834 HAS SOUS 6493 HAS SOUPS 6480 WITH SCORE 6497.856
AT ITER 359 NEW BEST:: SOT 30422 SOS 17922 HAS SOPS 17900 HAS SOUS 6480 HAS SOUPS 6467 WITH SCORE 6484.922
AT ITER 365 NEW BEST:: SOT 30414 SOS 17926 HAS SOPS 17904 HAS SOUS 6469 HAS SOUPS 6456 WITH SCORE 6473.926
AT ITER 371 NEW BEST:: SOT 30390 SOS 17878 HAS SOPS 17856 HAS SOUS 6452 HAS SOUPS 6439 WITH SCORE 6456.878
AT ITER 379 NEW BEST:: SOT 30390 SOS 17878 HAS SOPS 17856 HAS SOUS 6445 HAS SOUPS 6432 WITH SCORE 6449.878
AT ITER 388 NEW BEST:: SOT 30368 SOS 17856 HAS SOPS 17834 HAS SOUS 6423 HAS SOUPS 6410 WITH SCORE 6427.856
AT ITER 389 NEW BEST:: SOT 30364 SOS 17830 HAS SOPS 17808 HAS SOUS 6393 HAS SOUPS 6380 WITH SCORE 6397.83
AT ITER 403 NEW BEST:: SOT 30278 SOS 17902 HAS SOPS 17880 HAS SOUS 6288 HAS SOUPS 6275 WITH SCORE 6292.902
AT ITER 404 NEW BEST:: SOT 30264 SOS 17605 HAS SOPS 17583 HAS SOUS 6277 HAS SOUPS 6264 WITH SCORE 6281.605
AT ITER 405 NEW BEST:: SOT 30258 SOS 17574 HAS SOPS 17552 HAS SOUS 6265 HAS SOUPS 6252 WITH SCORE 6269.574
AT ITER 406 NEW BEST:: SOT 30258 SOS 17574 HAS SOPS 17552 HAS SOUS 6259 HAS SOUPS 6246 WITH SCORE 6263.574
AT ITER 414 NEW BEST:: SOT 30138 SOS 17325 HAS SOPS 17303 HAS SOUS 6190 HAS SOUPS 6177 WITH SCORE 6194.325
AT ITER 415 NEW BEST:: SOT 30126 SOS 17305 HAS SOPS 17283 HAS SOUS 6178 HAS SOUPS 6165 WITH SCORE 6182.305
AT ITER 440 NEW BEST:: SOT 30127 SOS 17288 HAS SOPS 17266 HAS SOUS 6172 HAS SOUPS 6159 WITH SCORE 6176.288
AT ITER 443 NEW BEST:: SOT 30105 SOS 17266 HAS SOPS 17244 HAS SOUS 6152 HAS SOUPS 6139 WITH SCORE 6156.266
AT ITER 456 NEW BEST:: SOT 30097 SOS 17216 HAS SOPS 17194 HAS SOUS 6151 HAS SOUPS 6138 WITH SCORE 6155.216
AT ITER 460 NEW BEST:: SOT 30095 SOS 17189 HAS SOPS 17167 HAS SOUS 6114 HAS SOUPS 6101 WITH SCORE 6118.189
AT ITER 462 NEW BEST:: SOT 30095 SOS 17189 HAS SOPS 17167 HAS SOUS 6077 HAS SOUPS 6064 WITH SCORE 6081.189
AT ITER 469 NEW BEST:: SOT 30089 SOS 17174 HAS SOPS 17152 HAS SOUS 6071 HAS SOUPS 6058 WITH SCORE 6075.174
AT ITER 470 NEW BEST:: SOT 30073 SOS 17141 HAS SOPS 17119 HAS SOUS 6062 HAS SOUPS 6049 WITH SCORE 6066.141
AT ITER 472 NEW BEST:: SOT 30063 SOS 17131 HAS SOPS 17109 HAS SOUS 6052 HAS SOUPS 6039 WITH SCORE 6056.131
AT ITER 487 NEW BEST:: SOT 30059 SOS 17119 HAS SOPS 17097 HAS SOUS 6048 HAS SOUPS 6035 WITH SCORE 6052.119
AT ITER 488 NEW BEST:: SOT 29907 SOS 16792 HAS SOPS 16770 HAS SOUS 6019 HAS SOUPS 6006 WITH SCORE 6022.792
AT ITER 501 NEW BEST:: SOT 29914 SOS 16806 HAS SOPS 16784 HAS SOUS 5994 HAS SOUPS 5981 WITH SCORE 5997.806
AT ITER 512 NEW BEST:: SOT 29912 SOS 16804 HAS SOPS 16782 HAS SOUS 5992 HAS SOUPS 5979 WITH SCORE 5995.804
AT ITER 514 NEW BEST:: SOT 29974 SOS 16208 HAS SOPS 16186 HAS SOUS 5982 HAS SOUPS 5969 WITH SCORE 5985.208
AT ITER 522 NEW BEST:: SOT 29980 SOS 16214 HAS SOPS 16192 HAS SOUS 5980 HAS SOUPS 5967 WITH SCORE 5983.214
AT ITER 525 NEW BEST:: SOT 29944 SOS 16142 HAS SOPS 16120 HAS SOUS 5956 HAS SOUPS 5943 WITH SCORE 5959.142
AT ITER 527 NEW BEST:: SOT 29921 SOS 16101 HAS SOPS 16079 HAS SOUS 5946 HAS SOUPS 5933 WITH SCORE 5949.101
AT ITER 528 NEW BEST:: SOT 29909 SOS 16089 HAS SOPS 16067 HAS SOUS 5940 HAS SOUPS 5927 WITH SCORE 5943.089
AT ITER 529 NEW BEST:: SOT 29889 SOS 16069 HAS SOPS 16047 HAS SOUS 5926 HAS SOUPS 5913 WITH SCORE 5929.069
AT ITER 531 NEW BEST:: SOT 29854 SOS 15999 HAS SOPS 15977 HAS SOUS 5918 HAS SOUPS 5905 WITH SCORE 5920.999
AT ITER 533 NEW BEST:: SOT 29823 SOS 15926 HAS SOPS 15904 HAS SOUS 5887 HAS SOUPS 5874 WITH SCORE 5889.926
AT ITER 534 NEW BEST:: SOT 29819 SOS 15918 HAS SOPS 15896 HAS SOUS 5887 HAS SOUPS 5874 WITH SCORE 5889.918
AT ITER 541 NEW BEST:: SOT 29868 SOS 15967 HAS SOPS 15945 HAS SOUS 5864 HAS SOUPS 5851 WITH SCORE 5866.967
AT ITER 542 NEW BEST:: SOT 29863 SOS 15957 HAS SOPS 15935 HAS SOUS 5864 HAS SOUPS 5851 WITH SCORE 5866.957
AT ITER 548 NEW BEST:: SOT 29794 SOS 15809 HAS SOPS 15787 HAS SOUS 5852 HAS SOUPS 5839 WITH SCORE 5854.809
AT ITER 565 NEW BEST:: SOT 29754 SOS 15769 HAS SOPS 15747 HAS SOUS 5834 HAS SOUPS 5821 WITH SCORE 5836.769
AT ITER 567 NEW BEST:: SOT 29786 SOS 15837 HAS SOPS 15815 HAS SOUS 5819 HAS SOUPS 5806 WITH SCORE 5821.837
AT ITER 569 NEW BEST:: SOT 29746 SOS 15757 HAS SOPS 15735 HAS SOUS 5743 HAS SOUPS 5730 WITH SCORE 5745.757
AT ITER 576 NEW BEST:: SOT 29733 SOS 15645 HAS SOPS 15623 HAS SOUS 5726 HAS SOUPS 5713 WITH SCORE 5728.645
AT ITER 577 NEW BEST:: SOT 29723 SOS 15635 HAS SOPS 15613 HAS SOUS 5721 HAS SOUPS 5708 WITH SCORE 5723.635
AT ITER 579 NEW BEST:: SOT 29685 SOS 15597 HAS SOPS 15575 HAS SOUS 5721 HAS SOUPS 5708 WITH SCORE 5723.597
AT ITER 580 NEW BEST:: SOT 29732 SOS 15727 HAS SOPS 15705 HAS SOUS 5707 HAS SOUPS 5694 WITH SCORE 5709.727
AT ITER 594 NEW BEST:: SOT 29720 SOS 15691 HAS SOPS 15669 HAS SOUS 5683 HAS SOUPS 5670 WITH SCORE 5685.691
AT ITER 605 NEW BEST:: SOT 29751 SOS 15722 HAS SOPS 15700 HAS SOUS 5639 HAS SOUPS 5626 WITH SCORE 5641.722
AT ITER 608 NEW BEST:: SOT 29764 SOS 15780 HAS SOPS 15758 HAS SOUS 5635 HAS SOUPS 5622 WITH SCORE 5637.78
AT ITER 616 NEW BEST:: SOT 29739 SOS 15733 HAS SOPS 15711 HAS SOUS 5621 HAS SOUPS 5608 WITH SCORE 5623.733
AT ITER 620 NEW BEST:: SOT 29739 SOS 15719 HAS SOPS 15697 HAS SOUS 5593 HAS SOUPS 5580 WITH SCORE 5595.719
AT ITER 634 NEW BEST:: SOT 29735 SOS 15713 HAS SOPS 15691 HAS SOUS 5591 HAS SOUPS 5578 WITH SCORE 5593.713
AT ITER 642 NEW BEST:: SOT 29728 SOS 15706 HAS SOPS 15684 HAS SOUS 5584 HAS SOUPS 5571 WITH SCORE 5586.706
AT ITER 643 NEW BEST:: SOT 29706 SOS 15740 HAS SOPS 15718 HAS SOUS 5556 HAS SOUPS 5543 WITH SCORE 5558.74
AT ITER 644 NEW BEST:: SOT 29629 SOS 15594 HAS SOPS 15572 HAS SOUS 5556 HAS SOUPS 5543 WITH SCORE 5558.594
AT ITER 650 NEW BEST:: SOT 29691 SOS 15656 HAS SOPS 15634 HAS SOUS 5542 HAS SOUPS 5529 WITH SCORE 5544.656
AT ITER 651 NEW BEST:: SOT 29683 SOS 15648 HAS SOPS 15626 HAS SOUS 5542 HAS SOUPS 5529 WITH SCORE 5544.648
AT ITER 653 NEW BEST:: SOT 29680 SOS 15645 HAS SOPS 15623 HAS SOUS 5539 HAS SOUPS 5526 WITH SCORE 5541.645
AT ITER 676 NEW BEST:: SOT 29673 SOS 15639 HAS SOPS 15617 HAS SOUS 5539 HAS SOUPS 5526 WITH SCORE 5541.639
AT ITER 677 NEW BEST:: SOT 29659 SOS 15618 HAS SOPS 15596 HAS SOUS 5525 HAS SOUPS 5512 WITH SCORE 5527.618
AT ITER 679 NEW BEST:: SOT 29655 SOS 15754 HAS SOPS 15732 HAS SOUS 5519 HAS SOUPS 5506 WITH SCORE 5521.754
AT ITER 733 NEW BEST:: SOT 29650 SOS 15744 HAS SOPS 15722 HAS SOUS 5516 HAS SOUPS 5503 WITH SCORE 5518.744
AT ITER 743 NEW BEST:: SOT 29648 SOS 15742 HAS SOPS 15720 HAS SOUS 5514 HAS SOUPS 5501 WITH SCORE 5516.742
AT ITER 779 NEW BEST:: SOT 29647 SOS 15623 HAS SOPS 15601 HAS SOUS 5513 HAS SOUPS 5500 WITH SCORE 5515.623
AT ITER 780 NEW BEST:: SOT 29641 SOS 15615 HAS SOPS 15593 HAS SOUS 5509 HAS SOUPS 5496 WITH SCORE 5511.615
AT ITER 783 NEW BEST:: SOT 29634 SOS 15608 HAS SOPS 15586 HAS SOUS 5502 HAS SOUPS 5489 WITH SCORE 5504.608
AT ITER 793 NEW BEST:: SOT 29581 SOS 15555 HAS SOPS 15533 HAS SOUS 5485 HAS SOUPS 5472 WITH SCORE 5487.555
AT ITER 798 NEW BEST:: SOT 29569 SOS 15525 HAS SOPS 15503 HAS SOUS 5479 HAS SOUPS 5466 WITH SCORE 5481.525
AT ITER 800 NEW BEST:: SOT 29564 SOS 15501 HAS SOPS 15479 HAS SOUS 5473 HAS SOUPS 5460 WITH SCORE 5475.501
AT ITER 805 NEW BEST:: SOT 29579 SOS 15516 HAS SOPS 15494 HAS SOUS 5452 HAS SOUPS 5439 WITH SCORE 5454.516
AT ITER 811 NEW BEST:: SOT 29544 SOS 15446 HAS SOPS 15424 HAS SOUS 5451 HAS SOUPS 5438 WITH SCORE 5453.446
AT ITER 815 NEW BEST:: SOT 29564 SOS 15555 HAS SOPS 15533 HAS SOUS 5394 HAS SOUPS 5381 WITH SCORE 5396.555
AT ITER 853 NEW BEST:: SOT 29513 SOS 15130 HAS SOPS 15108 HAS SOUS 5377 HAS SOUPS 5364 WITH SCORE 5379.13
AT ITER 876 NEW BEST:: SOT 29509 SOS 15124 HAS SOPS 15102 HAS SOUS 5377 HAS SOUPS 5364 WITH SCORE 5379.124
AT ITER 890 NEW BEST:: SOT 29509 SOS 15039 HAS SOPS 15017 HAS SOUS 5375 HAS SOUPS 5362 WITH SCORE 5377.039
AT ITER 911 NEW BEST:: SOT 29508 SOS 15038 HAS SOPS 15016 HAS SOUS 5374 HAS SOUPS 5361 WITH SCORE 5376.038
AT ITER 930 NEW BEST:: SOT 29507 SOS 15037 HAS SOPS 15015 HAS SOUS 5373 HAS SOUPS 5360 WITH SCORE 5375.037
AT ITER 932 NEW BEST:: SOT 29504 SOS 15015 HAS SOPS 14993 HAS SOUS 5353 HAS SOUPS 5340 WITH SCORE 5355.015
AT ITER 936 NEW BEST:: SOT 29507 SOS 15026 HAS SOPS 15004 HAS SOUS 5346 HAS SOUPS 5333 WITH SCORE 5348.026
AT ITER 941 NEW BEST:: SOT 29498 SOS 15017 HAS SOPS 14995 HAS SOUS 5346 HAS SOUPS 5333 WITH SCORE 5348.017
AT ITER 948 NEW BEST:: SOT 29378 SOS 14837 HAS SOPS 14815 HAS SOUS 5302 HAS SOUPS 5289 WITH SCORE 5303.837
AT ITER 968 NEW BEST:: SOT 29366 SOS 14823 HAS SOPS 14801 HAS SOUS 5289 HAS SOUPS 5276 WITH SCORE 5290.823
AT ITER 969 NEW BEST:: SOT 29370 SOS 14819 HAS SOPS 14797 HAS SOUS 5285 HAS SOUPS 5272 WITH SCORE 5286.819
AT ITER 976 NEW BEST:: SOT 29345 SOS 14760 HAS SOPS 14738 HAS SOUS 5284 HAS SOUPS 5271 WITH SCORE 5285.76
AT ITER 978 NEW BEST:: SOT 29343 SOS 14758 HAS SOPS 14736 HAS SOUS 5282 HAS SOUPS 5269 WITH SCORE 5283.758
AT ITER 984 NEW BEST:: SOT 29337 SOS 14750 HAS SOPS 14728 HAS SOUS 5273 HAS SOUPS 5260 WITH SCORE 5274.75
AT ITER 989 NEW BEST:: SOT 29333 SOS 14746 HAS SOPS 14724 HAS SOUS 5269 HAS SOUPS 5256 WITH SCORE 5270.746
AT ITER 1000 NEW BEST:: SOT 29313 SOS 14726 HAS SOPS 14704 HAS SOUS 5237 HAS SOUPS 5224 WITH SCORE 5238.726
AT ITER 1012 NEW BEST:: SOT 29324 SOS 14735 HAS SOPS 14713 HAS SOUS 5216 HAS SOUPS 5203 WITH SCORE 5217.735
AT ITER 1016 NEW BEST:: SOT 29322 SOS 14733 HAS SOPS 14711 HAS SOUS 5212 HAS SOUPS 5199 WITH SCORE 5213.733
AT ITER 1027 NEW BEST:: SOT 29308 SOS 14693 HAS SOPS 14671 HAS SOUS 5202 HAS SOUPS 5189 WITH SCORE 5203.693
AT ITER 1033 NEW BEST:: SOT 29305 SOS 14687 HAS SOPS 14665 HAS SOUS 5195 HAS SOUPS 5182 WITH SCORE 5196.687
AT ITER 1051 NEW BEST:: SOT 29307 SOS 14686 HAS SOPS 14664 HAS SOUS 5191 HAS SOUPS 5178 WITH SCORE 5192.686
AT ITER 1078 NEW BEST:: SOT 29342 SOS 14711 HAS SOPS 14689 HAS SOUS 5190 HAS SOUPS 5177 WITH SCORE 5191.711
AT ITER 1080 NEW BEST:: SOT 29294 SOS 14591 HAS SOPS 14569 HAS SOUS 5160 HAS SOUPS 5147 WITH SCORE 5161.591
AT ITER 1081 NEW BEST:: SOT 29292 SOS 14589 HAS SOPS 14567 HAS SOUS 5159 HAS SOUPS 5146 WITH SCORE 5160.589
AT ITER 1083 NEW BEST:: SOT 29292 SOS 14589 HAS SOPS 14567 HAS SOUS 5158 HAS SOUPS 5145 WITH SCORE 5159.589
AT ITER 1091 NEW BEST:: SOT 29323 SOS 14596 HAS SOPS 14574 HAS SOUS 5146 HAS SOUPS 5133 WITH SCORE 5147.596
AT ITER 1099 NEW BEST:: SOT 29321 SOS 14594 HAS SOPS 14572 HAS SOUS 5144 HAS SOUPS 5131 WITH SCORE 5145.594
AT ITER 1111 NEW BEST:: SOT 29167 SOS 15103 HAS SOPS 15081 HAS SOUS 5140 HAS SOUPS 5127 WITH SCORE 5142.103
AT ITER 1114 NEW BEST:: SOT 29178 SOS 15114 HAS SOPS 15092 HAS SOUS 5138 HAS SOUPS 5125 WITH SCORE 5140.114
AT ITER 1124 NEW BEST:: SOT 29174 SOS 15108 HAS SOPS 15086 HAS SOUS 5136 HAS SOUPS 5123 WITH SCORE 5138.108
AT ITER 1130 NEW BEST:: SOT 29159 SOS 15057 HAS SOPS 15035 HAS SOUS 5101 HAS SOUPS 5088 WITH SCORE 5103.057
AT ITER 1131 NEW BEST:: SOT 29144 SOS 15036 HAS SOPS 15014 HAS SOUS 5077 HAS SOUPS 5064 WITH SCORE 5079.036
AT ITER 1138 NEW BEST:: SOT 29186 SOS 15112 HAS SOPS 15090 HAS SOUS 5056 HAS SOUPS 5043 WITH SCORE 5058.112
AT ITER 1149 NEW BEST:: SOT 29209 SOS 15169 HAS SOPS 15147 HAS SOUS 5049 HAS SOUPS 5036 WITH SCORE 5051.169
AT ITER 1174 NEW BEST:: SOT 29205 SOS 15123 HAS SOPS 15101 HAS SOUS 5049 HAS SOUPS 5036 WITH SCORE 5051.123
AT ITER 1176 NEW BEST:: SOT 29217 SOS 15135 HAS SOPS 15113 HAS SOUS 5047 HAS SOUPS 5034 WITH SCORE 5049.135
AT ITER 1182 NEW BEST:: SOT 29281 SOS 15199 HAS SOPS 15177 HAS SOUS 5005 HAS SOUPS 4992 WITH SCORE 5007.199
AT ITER 1201 NEW BEST:: SOT 29270 SOS 15188 HAS SOPS 15166 HAS SOUS 4994 HAS SOUPS 4981 WITH SCORE 4996.188
AT ITER 1214 NEW BEST:: SOT 29243 SOS 15173 HAS SOPS 15151 HAS SOUS 4993 HAS SOUPS 4980 WITH SCORE 4995.173
AT ITER 1215 NEW BEST:: SOT 29233 SOS 15153 HAS SOPS 15131 HAS SOUS 4983 HAS SOUPS 4970 WITH SCORE 4985.153
AT ITER 1218 NEW BEST:: SOT 29235 SOS 15161 HAS SOPS 15139 HAS SOUS 4982 HAS SOUPS 4969 WITH SCORE 4984.161
AT ITER 1228 NEW BEST:: SOT 29200 SOS 15051 HAS SOPS 15029 HAS SOUS 4982 HAS SOUPS 4969 WITH SCORE 4984.051
AT ITER 1236 NEW BEST:: SOT 29186 SOS 14936 HAS SOPS 14914 HAS SOUS 4971 HAS SOUPS 4958 WITH SCORE 4972.936
AT ITER 1246 NEW BEST:: SOT 29203 SOS 14953 HAS SOPS 14931 HAS SOUS 4956 HAS SOUPS 4943 WITH SCORE 4957.953
AT ITER 1257 NEW BEST:: SOT 29203 SOS 14771 HAS SOPS 14749 HAS SOUS 4949 HAS SOUPS 4936 WITH SCORE 4950.771
AT ITER 1260 NEW BEST:: SOT 29188 SOS 14756 HAS SOPS 14734 HAS SOUS 4930 HAS SOUPS 4917 WITH SCORE 4931.756
AT ITER 1269 NEW BEST:: SOT 29220 SOS 14788 HAS SOPS 14766 HAS SOUS 4927 HAS SOUPS 4914 WITH SCORE 4928.788
AT ITER 1291 NEW BEST:: SOT 29237 SOS 14805 HAS SOPS 14783 HAS SOUS 4908 HAS SOUPS 4895 WITH SCORE 4909.805
AT ITER 1298 NEW BEST:: SOT 29069 SOS 14581 HAS SOPS 14559 HAS SOUS 4908 HAS SOUPS 4895 WITH SCORE 4909.581
AT ITER 1306 NEW BEST:: SOT 29036 SOS 14542 HAS SOPS 14520 HAS SOUS 4896 HAS SOUPS 4883 WITH SCORE 4897.542
AT ITER 1324 NEW BEST:: SOT 29006 SOS 14369 HAS SOPS 14347 HAS SOUS 4886 HAS SOUPS 4873 WITH SCORE 4887.369
AT ITER 1329 NEW BEST:: SOT 29005 SOS 14368 HAS SOPS 14346 HAS SOUS 4885 HAS SOUPS 4872 WITH SCORE 4886.368
AT ITER 1345 NEW BEST:: SOT 29022 SOS 14372 HAS SOPS 14350 HAS SOUS 4884 HAS SOUPS 4871 WITH SCORE 4885.372
AT ITER 1350 NEW BEST:: SOT 29014 SOS 14356 HAS SOPS 14334 HAS SOUS 4872 HAS SOUPS 4859 WITH SCORE 4873.356
AT ITER 1352 NEW BEST:: SOT 29013 SOS 14354 HAS SOPS 14332 HAS SOUS 4872 HAS SOUPS 4859 WITH SCORE 4873.354
AT ITER 1366 NEW BEST:: SOT 28992 SOS 14312 HAS SOPS 14290 HAS SOUS 4872 HAS SOUPS 4859 WITH SCORE 4873.312
AT ITER 1370 NEW BEST:: SOT 28990 SOS 14306 HAS SOPS 14284 HAS SOUS 4871 HAS SOUPS 4858 WITH SCORE 4872.306
AT ITER 1386 NEW BEST:: SOT 28989 SOS 14303 HAS SOPS 14281 HAS SOUS 4868 HAS SOUPS 4855 WITH SCORE 4869.303
AT ITER 1418 NEW BEST:: SOT 28988 SOS 14302 HAS SOPS 14280 HAS SOUS 4859 HAS SOUPS 4846 WITH SCORE 4860.302
AT ITER 1421 NEW BEST:: SOT 28977 SOS 14282 HAS SOPS 14260 HAS SOUS 4855 HAS SOUPS 4842 WITH SCORE 4856.282
AT ITER 1433 NEW BEST:: SOT 28975 SOS 14280 HAS SOPS 14258 HAS SOUS 4855 HAS SOUPS 4842 WITH SCORE 4856.28
AT ITER 1444 NEW BEST:: SOT 28970 SOS 14275 HAS SOPS 14253 HAS SOUS 4845 HAS SOUPS 4832 WITH SCORE 4846.275
AT ITER 1455 NEW BEST:: SOT 28970 SOS 14275 HAS SOPS 14253 HAS SOUS 4837 HAS SOUPS 4824 WITH SCORE 4838.275
AT ITER 1459 NEW BEST:: SOT 28968 SOS 14268 HAS SOPS 14246 HAS SOUS 4835 HAS SOUPS 4822 WITH SCORE 4836.268
AT ITER 1478 NEW BEST:: SOT 28910 SOS 14210 HAS SOPS 14188 HAS SOUS 4835 HAS SOUPS 4822 WITH SCORE 4836.21
AT ITER 1480 NEW BEST:: SOT 28925 SOS 14246 HAS SOPS 14224 HAS SOUS 4808 HAS SOUPS 4795 WITH SCORE 4809.246
AT ITER 1493 NEW BEST:: SOT 28920 SOS 14241 HAS SOPS 14219 HAS SOUS 4803 HAS SOUPS 4790 WITH SCORE 4804.241
AT ITER 1514 NEW BEST:: SOT 28921 SOS 14240 HAS SOPS 14218 HAS SOUS 4803 HAS SOUPS 4790 WITH SCORE 4804.24
AT ITER 1533 NEW BEST:: SOT 28888 SOS 14174 HAS SOPS 14152 HAS SOUS 4788 HAS SOUPS 4775 WITH SCORE 4789.174
AT ITER 1535 NEW BEST:: SOT 28884 SOS 14164 HAS SOPS 14142 HAS SOUS 4786 HAS SOUPS 4773 WITH SCORE 4787.164
AT ITER 1548 NEW BEST:: SOT 28863 SOS 14143 HAS SOPS 14121 HAS SOUS 4764 HAS SOUPS 4751 WITH SCORE 4765.143
AT ITER 1552 NEW BEST:: SOT 28848 SOS 14128 HAS SOPS 14106 HAS SOUS 4750 HAS SOUPS 4737 WITH SCORE 4751.128
AT ITER 1579 NEW BEST:: SOT 28844 SOS 14120 HAS SOPS 14098 HAS SOUS 4748 HAS SOUPS 4735 WITH SCORE 4749.12
AT ITER 1583 NEW BEST:: SOT 28864 SOS 14160 HAS SOPS 14138 HAS SOUS 4732 HAS SOUPS 4719 WITH SCORE 4733.16
AT ITER 1585 NEW BEST:: SOT 28866 SOS 14153 HAS SOPS 14131 HAS SOUS 4722 HAS SOUPS 4709 WITH SCORE 4723.153
AT ITER 1588 NEW BEST:: SOT 28852 SOS 14150 HAS SOPS 14128 HAS SOUS 4718 HAS SOUPS 4705 WITH SCORE 4719.15
AT ITER 1598 NEW BEST:: SOT 28842 SOS 14160 HAS SOPS 14138 HAS SOUS 4704 HAS SOUPS 4691 WITH SCORE 4705.16
AT ITER 1647 NEW BEST:: SOT 28837 SOS 14155 HAS SOPS 14133 HAS SOUS 4699 HAS SOUPS 4686 WITH SCORE 4700.155
AT ITER 1655 NEW BEST:: SOT 28725 SOS 14043 HAS SOPS 14021 HAS SOUS 4670 HAS SOUPS 4657 WITH SCORE 4671.043
AT ITER 1667 NEW BEST:: SOT 28725 SOS 14024 HAS SOPS 14002 HAS SOUS 4670 HAS SOUPS 4657 WITH SCORE 4671.024
AT ITER 1674 NEW BEST:: SOT 28781 SOS 14125 HAS SOPS 14103 HAS SOUS 4651 HAS SOUPS 4638 WITH SCORE 4652.125
AT ITER 1678 NEW BEST:: SOT 28750 SOS 14206 HAS SOPS 14184 HAS SOUS 4620 HAS SOUPS 4607 WITH SCORE 4621.206
AT ITER 1680 NEW BEST:: SOT 28749 SOS 14205 HAS SOPS 14183 HAS SOUS 4615 HAS SOUPS 4602 WITH SCORE 4616.205
AT ITER 1687 NEW BEST:: SOT 28721 SOS 14126 HAS SOPS 14104 HAS SOUS 4614 HAS SOUPS 4601 WITH SCORE 4615.126
AT ITER 1695 NEW BEST:: SOT 28698 SOS 14090 HAS SOPS 14068 HAS SOUS 4605 HAS SOUPS 4592 WITH SCORE 4606.09
AT ITER 1719 NEW BEST:: SOT 28665 SOS 14024 HAS SOPS 14002 HAS SOUS 4594 HAS SOUPS 4581 WITH SCORE 4595.024
AT ITER 1723 NEW BEST:: SOT 28648 SOS 14007 HAS SOPS 13985 HAS SOUS 4587 HAS SOUPS 4574 WITH SCORE 4588.007
AT ITER 1739 NEW BEST:: SOT 28649 SOS 13997 HAS SOPS 13975 HAS SOUS 4587 HAS SOUPS 4574 WITH SCORE 4587.997
AT ITER 1747 NEW BEST:: SOT 28637 SOS 13967 HAS SOPS 13945 HAS SOUS 4581 HAS SOUPS 4568 WITH SCORE 4581.967
AT ITER 1753 NEW BEST:: SOT 28632 SOS 13962 HAS SOPS 13940 HAS SOUS 4572 HAS SOUPS 4559 WITH SCORE 4572.962
AT ITER 1773 NEW BEST:: SOT 28606 SOS 13936 HAS SOPS 13914 HAS SOUS 4562 HAS SOUPS 4549 WITH SCORE 4562.936
AT ITER 1810 NEW BEST:: SOT 28615 SOS 13944 HAS SOPS 13922 HAS SOUS 4552 HAS SOUPS 4539 WITH SCORE 4552.944
AT ITER 1817 NEW BEST:: SOT 28603 SOS 13943 HAS SOPS 13921 HAS SOUS 4552 HAS SOUPS 4539 WITH SCORE 4552.943
AT ITER 1821 NEW BEST:: SOT 28603 SOS 13943 HAS SOPS 13921 HAS SOUS 4538 HAS SOUPS 4525 WITH SCORE 4538.943
AT ITER 1845 NEW BEST:: SOT 28590 SOS 13930 HAS SOPS 13908 HAS SOUS 4533 HAS SOUPS 4520 WITH SCORE 4533.93
AT ITER 1888 NEW BEST:: SOT 28545 SOS 13845 HAS SOPS 13823 HAS SOUS 4504 HAS SOUPS 4491 WITH SCORE 4504.845
AT ITER 1927 NEW BEST:: SOT 28542 SOS 13842 HAS SOPS 13820 HAS SOUS 4501 HAS SOUPS 4488 WITH SCORE 4501.842
AT ITER 1945 NEW BEST:: SOT 28514 SOS 13814 HAS SOPS 13792 HAS SOUS 4483 HAS SOUPS 4470 WITH SCORE 4483.814
AT ITER 1953 NEW BEST:: SOT 28509 SOS 13799 HAS SOPS 13777 HAS SOUS 4483 HAS SOUPS 4470 WITH SCORE 4483.799
AT ITER 1962 NEW BEST:: SOT 28507 SOS 13796 HAS SOPS 13774 HAS SOUS 4482 HAS SOUPS 4469 WITH SCORE 4482.796
AT ITER 2012 NEW BEST:: SOT 28481 SOS 13729 HAS SOPS 13707 HAS SOUS 4467 HAS SOUPS 4454 WITH SCORE 4467.729
AT ITER 2015 NEW BEST:: SOT 28460 SOS 13699 HAS SOPS 13677 HAS SOUS 4463 HAS SOUPS 4450 WITH SCORE 4463.699
AT ITER 2044 NEW BEST:: SOT 28459 SOS 13696 HAS SOPS 13674 HAS SOUS 4463 HAS SOUPS 4450 WITH SCORE 4463.696
AT ITER 2062 NEW BEST:: SOT 28455 SOS 13688 HAS SOPS 13666 HAS SOUS 4459 HAS SOUPS 4446 WITH SCORE 4459.688
AT ITER 2075 NEW BEST:: SOT 28422 SOS 13655 HAS SOPS 13633 HAS SOUS 4459 HAS SOUPS 4446 WITH SCORE 4459.655
AT ITER 2154 NEW BEST:: SOT 28418 SOS 13651 HAS SOPS 13629 HAS SOUS 4458 HAS SOUPS 4445 WITH SCORE 4458.651
AT ITER 2169 NEW BEST:: SOT 28408 SOS 13629 HAS SOPS 13607 HAS SOUS 4448 HAS SOUPS 4435 WITH SCORE 4448.629
AT ITER 2171 NEW BEST:: SOT 28339 SOS 13866 HAS SOPS 13844 HAS SOUS 4438 HAS SOUPS 4425 WITH SCORE 4438.866
AT ITER 2193 NEW BEST:: SOT 28336 SOS 13862 HAS SOPS 13840 HAS SOUS 4437 HAS SOUPS 4424 WITH SCORE 4437.862
AT ITER 2236 NEW BEST:: SOT 28335 SOS 13861 HAS SOPS 13839 HAS SOUS 4435 HAS SOUPS 4422 WITH SCORE 4435.861
AT ITER 2243 NEW BEST:: SOT 28355 SOS 13918 HAS SOPS 13896 HAS SOUS 4425 HAS SOUPS 4412 WITH SCORE 4425.918
AT ITER 2273 NEW BEST:: SOT 28362 SOS 13925 HAS SOPS 13903 HAS SOUS 4418 HAS SOUPS 4405 WITH SCORE 4418.925
AT ITER 2276 NEW BEST:: SOT 28362 SOS 13931 HAS SOPS 13909 HAS SOUS 4407 HAS SOUPS 4394 WITH SCORE 4407.931
AT ITER 2281 NEW BEST:: SOT 28363 SOS 13971 HAS SOPS 13949 HAS SOUS 4405 HAS SOUPS 4392 WITH SCORE 4405.971
AT ITER 2287 NEW BEST:: SOT 28359 SOS 13961 HAS SOPS 13939 HAS SOUS 4401 HAS SOUPS 4388 WITH SCORE 4401.961
AT ITER 2293 NEW BEST:: SOT 28319 SOS 14049 HAS SOPS 14027 HAS SOUS 4393 HAS SOUPS 4380 WITH SCORE 4394.049
AT ITER 2298 NEW BEST:: SOT 28318 SOS 14044 HAS SOPS 14022 HAS SOUS 4390 HAS SOUPS 4377 WITH SCORE 4391.044
AT ITER 2312 NEW BEST:: SOT 28309 SOS 14035 HAS SOPS 14013 HAS SOUS 4385 HAS SOUPS 4372 WITH SCORE 4386.035
AT ITER 2318 NEW BEST:: SOT 28309 SOS 14035 HAS SOPS 14013 HAS SOUS 4384 HAS SOUPS 4371 WITH SCORE 4385.035
AT ITER 2337 NEW BEST:: SOT 28315 SOS 14119 HAS SOPS 14097 HAS SOUS 4378 HAS SOUPS 4365 WITH SCORE 4379.119
AT ITER 2339 NEW BEST:: SOT 28366 SOS 14207 HAS SOPS 14185 HAS SOUS 4369 HAS SOUPS 4356 WITH SCORE 4370.207
AT ITER 2353 NEW BEST:: SOT 28364 SOS 14203 HAS SOPS 14181 HAS SOUS 4368 HAS SOUPS 4355 WITH SCORE 4369.203
AT ITER 2364 NEW BEST:: SOT 28311 SOS 14114 HAS SOPS 14092 HAS SOUS 4358 HAS SOUPS 4345 WITH SCORE 4359.114
AT ITER 2388 NEW BEST:: SOT 28311 SOS 14114 HAS SOPS 14092 HAS SOUS 4349 HAS SOUPS 4336 WITH SCORE 4350.114
AT ITER 2390 NEW BEST:: SOT 28312 SOS 14123 HAS SOPS 14101 HAS SOUS 4343 HAS SOUPS 4330 WITH SCORE 4344.123
AT ITER 2399 NEW BEST:: SOT 28312 SOS 14123 HAS SOPS 14101 HAS SOUS 4339 HAS SOUPS 4326 WITH SCORE 4340.123
AT ITER 2414 NEW BEST:: SOT 28281 SOS 14043 HAS SOPS 14021 HAS SOUS 4325 HAS SOUPS 4312 WITH SCORE 4326.043
AT ITER 2421 NEW BEST:: SOT 28281 SOS 14083 HAS SOPS 14061 HAS SOUS 4321 HAS SOUPS 4308 WITH SCORE 4322.083
AT ITER 2430 NEW BEST:: SOT 28243 SOS 14007 HAS SOPS 13985 HAS SOUS 4321 HAS SOUPS 4308 WITH SCORE 4322.007
AT ITER 2434 NEW BEST:: SOT 28247 SOS 14029 HAS SOPS 14007 HAS SOUS 4315 HAS SOUPS 4302 WITH SCORE 4316.029
AT ITER 2436 NEW BEST:: SOT 28249 SOS 14031 HAS SOPS 14009 HAS SOUS 4313 HAS SOUPS 4300 WITH SCORE 4314.031
AT ITER 2439 NEW BEST:: SOT 28246 SOS 14028 HAS SOPS 14006 HAS SOUS 4310 HAS SOUPS 4297 WITH SCORE 4311.028
AT ITER 2470 NEW BEST:: SOT 28240 SOS 14016 HAS SOPS 13994 HAS SOUS 4310 HAS SOUPS 4297 WITH SCORE 4311.016
AT ITER 2472 NEW BEST:: SOT 28237 SOS 14022 HAS SOPS 14000 HAS SOUS 4307 HAS SOUPS 4294 WITH SCORE 4308.022
AT ITER 2474 NEW BEST:: SOT 28236 SOS 14021 HAS SOPS 13999 HAS SOUS 4306 HAS SOUPS 4293 WITH SCORE 4307.021
AT ITER 2476 NEW BEST:: SOT 28249 SOS 14021 HAS SOPS 13999 HAS SOUS 4300 HAS SOUPS 4287 WITH SCORE 4301.021
AT ITER 2534 NEW BEST:: SOT 28242 SOS 14014 HAS SOPS 13992 HAS SOUS 4300 HAS SOUPS 4287 WITH SCORE 4301.014
AT ITER 2570 NEW BEST:: SOT 28267 SOS 14661 HAS SOPS 14639 HAS SOUS 4281 HAS SOUPS 4268 WITH SCORE 4282.661
AT ITER 2583 NEW BEST:: SOT 28265 SOS 14673 HAS SOPS 14651 HAS SOUS 4273 HAS SOUPS 4260 WITH SCORE 4274.673
AT ITER 2595 NEW BEST:: SOT 28274 SOS 14636 HAS SOPS 14614 HAS SOUS 4271 HAS SOUPS 4258 WITH SCORE 4272.636
AT ITER 2610 NEW BEST:: SOT 28311 SOS 14673 HAS SOPS 14651 HAS SOUS 4268 HAS SOUPS 4255 WITH SCORE 4269.673
AT ITER 2616 NEW BEST:: SOT 28341 SOS 14537 HAS SOPS 14515 HAS SOUS 4267 HAS SOUPS 4254 WITH SCORE 4268.537
AT ITER 2622 NEW BEST:: SOT 28352 SOS 14548 HAS SOPS 14526 HAS SOUS 4261 HAS SOUPS 4248 WITH SCORE 4262.548
AT ITER 2651 NEW BEST:: SOT 28350 SOS 14541 HAS SOPS 14519 HAS SOUS 4254 HAS SOUPS 4241 WITH SCORE 4255.541
AT ITER 2657 NEW BEST:: SOT 28348 SOS 14539 HAS SOPS 14517 HAS SOUS 4252 HAS SOUPS 4239 WITH SCORE 4253.539
AT ITER 2667 NEW BEST:: SOT 28346 SOS 14532 HAS SOPS 14510 HAS SOUS 4250 HAS SOUPS 4237 WITH SCORE 4251.532
AT ITER 2707 NEW BEST:: SOT 28331 SOS 14517 HAS SOPS 14495 HAS SOUS 4229 HAS SOUPS 4216 WITH SCORE 4230.517
AT ITER 2728 NEW BEST:: SOT 28330 SOS 14513 HAS SOPS 14491 HAS SOUS 4228 HAS SOUPS 4215 WITH SCORE 4229.513
AT ITER 2764 NEW BEST:: SOT 28326 SOS 14502 HAS SOPS 14480 HAS SOUS 4228 HAS SOUPS 4215 WITH SCORE 4229.502
AT ITER 2781 NEW BEST:: SOT 28324 SOS 14497 HAS SOPS 14475 HAS SOUS 4226 HAS SOUPS 4213 WITH SCORE 4227.497
AT ITER 2783 NEW BEST:: SOT 28324 SOS 14497 HAS SOPS 14475 HAS SOUS 4204 HAS SOUPS 4191 WITH SCORE 4205.497
AT ITER 2842 NEW BEST:: SOT 28322 SOS 14491 HAS SOPS 14469 HAS SOUS 4199 HAS SOUPS 4186 WITH SCORE 4200.491
AT ITER 2850 NEW BEST:: SOT 28308 SOS 14487 HAS SOPS 14465 HAS SOUS 4193 HAS SOUPS 4180 WITH SCORE 4194.487
AT ITER 2938 NEW BEST:: SOT 28306 SOS 14509 HAS SOPS 14487 HAS SOUS 4189 HAS SOUPS 4176 WITH SCORE 4190.509
AT ITER 2955 NEW BEST:: SOT 28301 SOS 14498 HAS SOPS 14476 HAS SOUS 4178 HAS SOUPS 4165 WITH SCORE 4179.498
AT ITER 2989 NEW BEST:: SOT 28268 SOS 14421 HAS SOPS 14399 HAS SOUS 4171 HAS SOUPS 4158 WITH SCORE 4172.421
AT ITER 3057 NEW BEST:: SOT 28266 SOS 14419 HAS SOPS 14397 HAS SOUS 4167 HAS SOUPS 4154 WITH SCORE 4168.419
AT ITER 3078 NEW BEST:: SOT 28248 SOS 14401 HAS SOPS 14379 HAS SOUS 4149 HAS SOUPS 4136 WITH SCORE 4150.401
AT ITER 3110 NEW BEST:: SOT 28242 SOS 14395 HAS SOPS 14373 HAS SOUS 4147 HAS SOUPS 4134 WITH SCORE 4148.395
AT ITER 3116 NEW BEST:: SOT 28250 SOS 14403 HAS SOPS 14381 HAS SOUS 4141 HAS SOUPS 4128 WITH SCORE 4142.403
AT ITER 3196 NEW BEST:: SOT 28246 SOS 14391 HAS SOPS 14369 HAS SOUS 4139 HAS SOUPS 4126 WITH SCORE 4140.391
AT ITER 3199 NEW BEST:: SOT 28250 SOS 14409 HAS SOPS 14387 HAS SOUS 4135 HAS SOUPS 4122 WITH SCORE 4136.409
AT ITER 3212 NEW BEST:: SOT 28248 SOS 14405 HAS SOPS 14383 HAS SOUS 4133 HAS SOUPS 4120 WITH SCORE 4134.405
AT ITER 3213 NEW BEST:: SOT 28246 SOS 14403 HAS SOPS 14381 HAS SOUS 4129 HAS SOUPS 4116 WITH SCORE 4130.403
AT ITER 3222 NEW BEST:: SOT 28245 SOS 14382 HAS SOPS 14360 HAS SOUS 4129 HAS SOUPS 4116 WITH SCORE 4130.382
AT ITER 3245 NEW BEST:: SOT 28242 SOS 14376 HAS SOPS 14354 HAS SOUS 4126 HAS SOUPS 4113 WITH SCORE 4127.376
AT ITER 3285 NEW BEST:: SOT 28230 SOS 14355 HAS SOPS 14333 HAS SOUS 4117 HAS SOUPS 4104 WITH SCORE 4118.355
AT ITER 3292 NEW BEST:: SOT 28234 SOS 14354 HAS SOPS 14332 HAS SOUS 4108 HAS SOUPS 4095 WITH SCORE 4109.354
AT ITER 3299 NEW BEST:: SOT 28249 SOS 14384 HAS SOPS 14362 HAS SOUS 4103 HAS SOUPS 4090 WITH SCORE 4104.384
AT ITER 3313 NEW BEST:: SOT 28241 SOS 14376 HAS SOPS 14354 HAS SOUS 4100 HAS SOUPS 4087 WITH SCORE 4101.376
AT ITER 3329 NEW BEST:: SOT 28185 SOS 14274 HAS SOPS 14252 HAS SOUS 4095 HAS SOUPS 4082 WITH SCORE 4096.274
AT ITER 3331 NEW BEST:: SOT 28176 SOS 14256 HAS SOPS 14234 HAS SOUS 4095 HAS SOUPS 4082 WITH SCORE 4096.256
AT ITER 3334 NEW BEST:: SOT 28170 SOS 14250 HAS SOPS 14228 HAS SOUS 4092 HAS SOUPS 4079 WITH SCORE 4093.25
AT ITER 3387 NEW BEST:: SOT 28161 SOS 14241 HAS SOPS 14219 HAS SOUS 4074 HAS SOUPS 4061 WITH SCORE 4075.241
AT ITER 3419 NEW BEST:: SOT 28180 SOS 13960 HAS SOPS 13938 HAS SOUS 4074 HAS SOUPS 4061 WITH SCORE 4074.96
AT ITER 3471 NEW BEST:: SOT 28188 SOS 13968 HAS SOPS 13946 HAS SOUS 4072 HAS SOUPS 4059 WITH SCORE 4072.968
AT ITER 3475 NEW BEST:: SOT 28186 SOS 13967 HAS SOPS 13945 HAS SOUS 4071 HAS SOUPS 4058 WITH SCORE 4071.967
AT ITER 3549 NEW BEST:: SOT 28182 SOS 13961 HAS SOPS 13939 HAS SOUS 4069 HAS SOUPS 4056 WITH SCORE 4069.961
AT ITER 3550 NEW BEST:: SOT 28183 SOS 13962 HAS SOPS 13940 HAS SOUS 4068 HAS SOUPS 4055 WITH SCORE 4068.962
AT ITER 3603 NEW BEST:: SOT 28192 SOS 13966 HAS SOPS 13944 HAS SOUS 4065 HAS SOUPS 4052 WITH SCORE 4065.966
AT ITER 3643 NEW BEST:: SOT 28191 SOS 13965 HAS SOPS 13943 HAS SOUS 4064 HAS SOUPS 4051 WITH SCORE 4064.965
AT ITER 3679 NEW BEST:: SOT 28188 SOS 13962 HAS SOPS 13940 HAS SOUS 4064 HAS SOUPS 4051 WITH SCORE 4064.962
AT ITER 3692 NEW BEST:: SOT 28193 SOS 13868 HAS SOPS 13846 HAS SOUS 4059 HAS SOUPS 4046 WITH SCORE 4059.868
AT ITER 3693 NEW BEST:: SOT 28181 SOS 13842 HAS SOPS 13820 HAS SOUS 4056 HAS SOUPS 4043 WITH SCORE 4056.842
AT ITER 3793 NEW BEST:: SOT 28175 SOS 13836 HAS SOPS 13814 HAS SOUS 4050 HAS SOUPS 4037 WITH SCORE 4050.836
AT ITER 3835 NEW BEST:: SOT 28174 SOS 13835 HAS SOPS 13813 HAS SOUS 4050 HAS SOUPS 4037 WITH SCORE 4050.835
AT ITER 3874 NEW BEST:: SOT 28077 SOS 14239 HAS SOPS 14217 HAS SOUS 4037 HAS SOUPS 4024 WITH SCORE 4038.239
AT ITER 3899 NEW BEST:: SOT 28071 SOS 14224 HAS SOPS 14202 HAS SOUS 4031 HAS SOUPS 4018 WITH SCORE 4032.224
AT ITER 3927 NEW BEST:: SOT 28065 SOS 14260 HAS SOPS 14238 HAS SOUS 4025 HAS SOUPS 4012 WITH SCORE 4026.26
AT ITER 3953 NEW BEST:: SOT 28085 SOS 14114 HAS SOPS 14092 HAS SOUS 4021 HAS SOUPS 4008 WITH SCORE 4022.114
AT ITER 4014 NEW BEST:: SOT 28081 SOS 14102 HAS SOPS 14080 HAS SOUS 4017 HAS SOUPS 4004 WITH SCORE 4018.102
AT ITER 4019 NEW BEST:: SOT 28092 SOS 14113 HAS SOPS 14091 HAS SOUS 4016 HAS SOUPS 4003 WITH SCORE 4017.113
AT ITER 4025 NEW BEST:: SOT 28090 SOS 14108 HAS SOPS 14086 HAS SOUS 4015 HAS SOUPS 4002 WITH SCORE 4016.108
AT ITER 4036 NEW BEST:: SOT 28084 SOS 14095 HAS SOPS 14073 HAS SOUS 4013 HAS SOUPS 4000 WITH SCORE 4014.095
AT ITER 4037 NEW BEST:: SOT 28081 SOS 14092 HAS SOPS 14070 HAS SOUS 4013 HAS SOUPS 4000 WITH SCORE 4014.092
AT ITER 4159 NEW BEST:: SOT 28078 SOS 14080 HAS SOPS 14058 HAS SOUS 4013 HAS SOUPS 4000 WITH SCORE 4014.08
AT ITER 4176 NEW BEST:: SOT 28068 SOS 14070 HAS SOPS 14048 HAS SOUS 4013 HAS SOUPS 4000 WITH SCORE 4014.07
AT ITER 4226 NEW BEST:: SOT 28069 SOS 14071 HAS SOPS 14049 HAS SOUS 4008 HAS SOUPS 3995 WITH SCORE 4009.071
AT ITER 4260 NEW BEST:: SOT 28065 SOS 14065 HAS SOPS 14043 HAS SOUS 4002 HAS SOUPS 3989 WITH SCORE 4003.065
AT ITER 4343 NEW BEST:: SOT 28065 SOS 14087 HAS SOPS 14065 HAS SOUS 3991 HAS SOUPS 3978 WITH SCORE 3992.087
AT ITER 4355 NEW BEST:: SOT 28054 SOS 14040 HAS SOPS 14018 HAS SOUS 3989 HAS SOUPS 3976 WITH SCORE 3990.04
AT ITER 4380 NEW BEST:: SOT 28054 SOS 14040 HAS SOPS 14018 HAS SOUS 3987 HAS SOUPS 3974 WITH SCORE 3988.04
AT ITER 4391 NEW BEST:: SOT 28052 SOS 14038 HAS SOPS 14016 HAS SOUS 3985 HAS SOUPS 3972 WITH SCORE 3986.038
AT ITER 4467 NEW BEST:: SOT 28053 SOS 14036 HAS SOPS 14014 HAS SOUS 3984 HAS SOUPS 3971 WITH SCORE 3985.036
AT ITER 4469 NEW BEST:: SOT 28053 SOS 14036 HAS SOPS 14014 HAS SOUS 3982 HAS SOUPS 3969 WITH SCORE 3983.036
AT ITER 4474 NEW BEST:: SOT 28046 SOS 14029 HAS SOPS 14007 HAS SOUS 3971 HAS SOUPS 3958 WITH SCORE 3972.029
AT ITER 4487 NEW BEST:: SOT 28028 SOS 14008 HAS SOPS 13986 HAS SOUS 3968 HAS SOUPS 3955 WITH SCORE 3969.008
AT ITER 4526 NEW BEST:: SOT 28024 SOS 13999 HAS SOPS 13977 HAS SOUS 3967 HAS SOUPS 3954 WITH SCORE 3967.999
AT ITER 4536 NEW BEST:: SOT 28020 SOS 13987 HAS SOPS 13965 HAS SOUS 3963 HAS SOUPS 3950 WITH SCORE 3963.987
AT ITER 4550 NEW BEST:: SOT 28014 SOS 13983 HAS SOPS 13961 HAS SOUS 3957 HAS SOUPS 3944 WITH SCORE 3957.983
AT ITER 4573 NEW BEST:: SOT 28011 SOS 13980 HAS SOPS 13958 HAS SOUS 3954 HAS SOUPS 3941 WITH SCORE 3954.98
AT ITER 4587 NEW BEST:: SOT 28010 SOS 13977 HAS SOPS 13955 HAS SOUS 3953 HAS SOUPS 3940 WITH SCORE 3953.977
AT ITER 4599 NEW BEST:: SOT 28007 SOS 13974 HAS SOPS 13952 HAS SOUS 3953 HAS SOUPS 3940 WITH SCORE 3953.974
AT ITER 4626 NEW BEST:: SOT 28009 SOS 13970 HAS SOPS 13948 HAS SOUS 3948 HAS SOUPS 3935 WITH SCORE 3948.97
AT ITER 4629 NEW BEST:: SOT 28006 SOS 13967 HAS SOPS 13945 HAS SOUS 3945 HAS SOUPS 3932 WITH SCORE 3945.967
AT ITER 4662 NEW BEST:: SOT 28006 SOS 13967 HAS SOPS 13945 HAS SOUS 3931 HAS SOUPS 3918 WITH SCORE 3931.967
AT ITER 4806 NEW BEST:: SOT 28010 SOS 13966 HAS SOPS 13944 HAS SOUS 3931 HAS SOUPS 3918 WITH SCORE 3931.966
AT ITER 4814 NEW BEST:: SOT 28000 SOS 13956 HAS SOPS 13934 HAS SOUS 3923 HAS SOUPS 3910 WITH SCORE 3923.956
AT ITER 4846 NEW BEST:: SOT 27998 SOS 13951 HAS SOPS 13929 HAS SOUS 3919 HAS SOUPS 3906 WITH SCORE 3919.951
AT ITER 4863 NEW BEST:: SOT 27993 SOS 13990 HAS SOPS 13968 HAS SOUS 3913 HAS SOUPS 3900 WITH SCORE 3913.99
AT ITER 4887 NEW BEST:: SOT 27993 SOS 13990 HAS SOPS 13968 HAS SOUS 3903 HAS SOUPS 3890 WITH SCORE 3903.99
AT ITER 4930 NEW BEST:: SOT 27991 SOS 13988 HAS SOPS 13966 HAS SOUS 3903 HAS SOUPS 3890 WITH SCORE 3903.988
AT ITER 4949 NEW BEST:: SOT 27983 SOS 13971 HAS SOPS 13949 HAS SOUS 3902 HAS SOUPS 3889 WITH SCORE 3902.971
AT ITER 5083 NEW BEST:: SOT 27971 SOS 13923 HAS SOPS 13901 HAS SOUS 3889 HAS SOUPS 3876 WITH SCORE 3889.923
AT ITER 5085 NEW BEST:: SOT 27968 SOS 13920 HAS SOPS 13898 HAS SOUS 3886 HAS SOUPS 3873 WITH SCORE 3886.92
AT ITER 5136 NEW BEST:: SOT 27963 SOS 13910 HAS SOPS 13888 HAS SOUS 3883 HAS SOUPS 3870 WITH SCORE 3883.91
AT ITER 5281 NEW BEST:: SOT 27956 SOS 13896 HAS SOPS 13874 HAS SOUS 3876 HAS SOUPS 3863 WITH SCORE 3876.896
AT ITER 5421 NEW BEST:: SOT 27955 SOS 13887 HAS SOPS 13865 HAS SOUS 3875 HAS SOUPS 3862 WITH SCORE 3875.887
AT ITER 5444 NEW BEST:: SOT 27960 SOS 13962 HAS SOPS 13940 HAS SOUS 3871 HAS SOUPS 3858 WITH SCORE 3871.962
AT ITER 5456 NEW BEST:: SOT 27959 SOS 13959 HAS SOPS 13937 HAS SOUS 3870 HAS SOUPS 3857 WITH SCORE 3870.959
AT ITER 5474 NEW BEST:: SOT 27959 SOS 13959 HAS SOPS 13937 HAS SOUS 3868 HAS SOUPS 3855 WITH SCORE 3868.959
AT ITER 5511 NEW BEST:: SOT 27958 SOS 13958 HAS SOPS 13936 HAS SOUS 3867 HAS SOUPS 3854 WITH SCORE 3867.958
AT ITER 5577 NEW BEST:: SOT 27969 SOS 13953 HAS SOPS 13931 HAS SOUS 3866 HAS SOUPS 3853 WITH SCORE 3866.953
AT ITER 5616 NEW BEST:: SOT 27966 SOS 13948 HAS SOPS 13926 HAS SOUS 3864 HAS SOUPS 3851 WITH SCORE 3864.948
AT ITER 5675 NEW BEST:: SOT 27952 SOS 13925 HAS SOPS 13903 HAS SOUS 3849 HAS SOUPS 3836 WITH SCORE 3849.925
AT ITER 5689 NEW BEST:: SOT 27968 SOS 14083 HAS SOPS 14061 HAS SOUS 3843 HAS SOUPS 3830 WITH SCORE 3844.083
AT ITER 5698 NEW BEST:: SOT 27960 SOS 14075 HAS SOPS 14053 HAS SOUS 3843 HAS SOUPS 3830 WITH SCORE 3844.075
AT ITER 5710 NEW BEST:: SOT 27950 SOS 14065 HAS SOPS 14043 HAS SOUS 3843 HAS SOUPS 3830 WITH SCORE 3844.065
AT ITER 5713 NEW BEST:: SOT 27947 SOS 14062 HAS SOPS 14040 HAS SOUS 3840 HAS SOUPS 3827 WITH SCORE 3841.062
AT ITER 5724 NEW BEST:: SOT 27944 SOS 14059 HAS SOPS 14037 HAS SOUS 3837 HAS SOUPS 3824 WITH SCORE 3838.059
AT ITER 5743 NEW BEST:: SOT 27940 SOS 14055 HAS SOPS 14033 HAS SOUS 3829 HAS SOUPS 3816 WITH SCORE 3830.055
AT ITER 5857 NEW BEST:: SOT 27931 SOS 14046 HAS SOPS 14024 HAS SOUS 3829 HAS SOUPS 3816 WITH SCORE 3830.046
AT ITER 5899 NEW BEST:: SOT 27929 SOS 14044 HAS SOPS 14022 HAS SOUS 3829 HAS SOUPS 3816 WITH SCORE 3830.044
AT ITER 5931 NEW BEST:: SOT 27935 SOS 14050 HAS SOPS 14028 HAS SOUS 3827 HAS SOUPS 3814 WITH SCORE 3828.05
AT ITER 5937 NEW BEST:: SOT 27937 SOS 14052 HAS SOPS 14030 HAS SOUS 3819 HAS SOUPS 3806 WITH SCORE 3820.052
AT ITER 5958 NEW BEST:: SOT 27932 SOS 14047 HAS SOPS 14025 HAS SOUS 3819 HAS SOUPS 3806 WITH SCORE 3820.047
AT ITER 5961 NEW BEST:: SOT 27919 SOS 14021 HAS SOPS 13999 HAS SOUS 3812 HAS SOUPS 3799 WITH SCORE 3813.021
AT ITER 6030 NEW BEST:: SOT 27909 SOS 14003 HAS SOPS 13981 HAS SOUS 3802 HAS SOUPS 3789 WITH SCORE 3803.003
AT ITER 6050 NEW BEST:: SOT 27909 SOS 14003 HAS SOPS 13981 HAS SOUS 3794 HAS SOUPS 3781 WITH SCORE 3795.003
AT ITER 6253 NEW BEST:: SOT 27906 SOS 13998 HAS SOPS 13976 HAS SOUS 3792 HAS SOUPS 3779 WITH SCORE 3792.998
AT ITER 6322 NEW BEST:: SOT 27901 SOS 13993 HAS SOPS 13971 HAS SOUS 3792 HAS SOUPS 3779 WITH SCORE 3792.993
AT ITER 6328 NEW BEST:: SOT 27894 SOS 13971 HAS SOPS 13949 HAS SOUS 3787 HAS SOUPS 3774 WITH SCORE 3787.971
AT ITER 6343 NEW BEST:: SOT 27894 SOS 13971 HAS SOPS 13949 HAS SOUS 3783 HAS SOUPS 3770 WITH SCORE 3783.971
AT ITER 6468 NEW BEST:: SOT 27883 SOS 13960 HAS SOPS 13938 HAS SOUS 3776 HAS SOUPS 3763 WITH SCORE 3776.96
AT ITER 6586 NEW BEST:: SOT 27883 SOS 13962 HAS SOPS 13940 HAS SOUS 3775 HAS SOUPS 3762 WITH SCORE 3775.962
AT ITER 6678 NEW BEST:: SOT 27869 SOS 13948 HAS SOPS 13926 HAS SOUS 3774 HAS SOUPS 3761 WITH SCORE 3774.948
AT ITER 6723 NEW BEST:: SOT 27869 SOS 13948 HAS SOPS 13926 HAS SOUS 3768 HAS SOUPS 3755 WITH SCORE 3768.948
AT ITER 6776 NEW BEST:: SOT 27856 SOS 13935 HAS SOPS 13913 HAS SOUS 3767 HAS SOUPS 3754 WITH SCORE 3767.935
AT ITER 7193 NEW BEST:: SOT 27856 SOS 13935 HAS SOPS 13913 HAS SOUS 3766 HAS SOUPS 3753 WITH SCORE 3766.935
AT ITER 7234 NEW BEST:: SOT 27847 SOS 13915 HAS SOPS 13893 HAS SOUS 3763 HAS SOUPS 3750 WITH SCORE 3763.915
AT ITER 7447 NEW BEST:: SOT 27847 SOS 13915 HAS SOPS 13893 HAS SOUS 3761 HAS SOUPS 3748 WITH SCORE 3761.915
AT ITER 7467 NEW BEST:: SOT 27846 SOS 13914 HAS SOPS 13892 HAS SOUS 3759 HAS SOUPS 3746 WITH SCORE 3759.914
AT ITER 7553 NEW BEST:: SOT 27850 SOS 13914 HAS SOPS 13892 HAS SOUS 3757 HAS SOUPS 3744 WITH SCORE 3757.914
AT ITER 7555 NEW BEST:: SOT 27849 SOS 13913 HAS SOPS 13891 HAS SOUS 3757 HAS SOUPS 3744 WITH SCORE 3757.913
AT ITER 7582 NEW BEST:: SOT 27849 SOS 13913 HAS SOPS 13891 HAS SOUS 3755 HAS SOUPS 3742 WITH SCORE 3755.913
AT ITER 7606 NEW BEST:: SOT 27849 SOS 13913 HAS SOPS 13891 HAS SOUS 3749 HAS SOUPS 3736 WITH SCORE 3749.913
AT ITER 7631 NEW BEST:: SOT 27850 SOS 13953 HAS SOPS 13931 HAS SOUS 3748 HAS SOUPS 3735 WITH SCORE 3748.953
AT ITER 7663 NEW BEST:: SOT 27873 SOS 13976 HAS SOPS 13954 HAS SOUS 3746 HAS SOUPS 3733 WITH SCORE 3746.976
AT ITER 7672 NEW BEST:: SOT 27868 SOS 13973 HAS SOPS 13951 HAS SOUS 3746 HAS SOUPS 3733 WITH SCORE 3746.973
AT ITER 7681 NEW BEST:: SOT 27866 SOS 13963 HAS SOPS 13941 HAS SOUS 3743 HAS SOUPS 3730 WITH SCORE 3743.963
AT ITER 7723 NEW BEST:: SOT 27869 SOS 13966 HAS SOPS 13944 HAS SOUS 3740 HAS SOUPS 3727 WITH SCORE 3740.966
AT ITER 7745 NEW BEST:: SOT 27866 SOS 13963 HAS SOPS 13941 HAS SOUS 3740 HAS SOUPS 3727 WITH SCORE 3740.963
AT ITER 7792 NEW BEST:: SOT 27864 SOS 13959 HAS SOPS 13937 HAS SOUS 3738 HAS SOUPS 3725 WITH SCORE 3738.959
AT ITER 7867 NEW BEST:: SOT 27861 SOS 13947 HAS SOPS 13925 HAS SOUS 3735 HAS SOUPS 3722 WITH SCORE 3735.947
AT ITER 7961 NEW BEST:: SOT 27860 SOS 13946 HAS SOPS 13924 HAS SOUS 3733 HAS SOUPS 3720 WITH SCORE 3733.946
AT ITER 8013 NEW BEST:: SOT 27858 SOS 13939 HAS SOPS 13917 HAS SOUS 3731 HAS SOUPS 3718 WITH SCORE 3731.939
AT ITER 8016 NEW BEST:: SOT 27860 SOS 13941 HAS SOPS 13919 HAS SOUS 3729 HAS SOUPS 3716 WITH SCORE 3729.941
AT ITER 8081 NEW BEST:: SOT 27860 SOS 13941 HAS SOPS 13919 HAS SOUS 3727 HAS SOUPS 3714 WITH SCORE 3727.941
AT ITER 8140 NEW BEST:: SOT 27870 SOS 13740 HAS SOPS 13718 HAS SOUS 3727 HAS SOUPS 3714 WITH SCORE 3727.74
AT ITER 8142 NEW BEST:: SOT 27869 SOS 13739 HAS SOPS 13717 HAS SOUS 3725 HAS SOUPS 3712 WITH SCORE 3725.739
AT ITER 8170 NEW BEST:: SOT 27867 SOS 13774 HAS SOPS 13752 HAS SOUS 3724 HAS SOUPS 3711 WITH SCORE 3724.774
AT ITER 8498 NEW BEST:: SOT 27863 SOS 13788 HAS SOPS 13766 HAS SOUS 3711 HAS SOUPS 3698 WITH SCORE 3711.788
AT ITER 8572 NEW BEST:: SOT 27859 SOS 13728 HAS SOPS 13706 HAS SOUS 3707 HAS SOUPS 3694 WITH SCORE 3707.728
AT ITER 8661 NEW BEST:: SOT 27858 SOS 13727 HAS SOPS 13705 HAS SOUS 3706 HAS SOUPS 3693 WITH SCORE 3706.727
AT ITER 8744 NEW BEST:: SOT 27860 SOS 13729 HAS SOPS 13707 HAS SOUS 3703 HAS SOUPS 3690 WITH SCORE 3703.729
AT ITER 8914 NEW BEST:: SOT 27860 SOS 13730 HAS SOPS 13708 HAS SOUS 3702 HAS SOUPS 3689 WITH SCORE 3702.73
AT ITER 8947 NEW BEST:: SOT 27860 SOS 13730 HAS SOPS 13708 HAS SOUS 3698 HAS SOUPS 3685 WITH SCORE 3698.73
AT ITER 8991 NEW BEST:: SOT 27864 SOS 13734 HAS SOPS 13712 HAS SOUS 3695 HAS SOUPS 3682 WITH SCORE 3695.734
AT ITER 8997 NEW BEST:: SOT 27871 SOS 13745 HAS SOPS 13723 HAS SOUS 3692 HAS SOUPS 3679 WITH SCORE 3692.745
AT ITER 9265 NEW BEST:: SOT 27870 SOS 13742 HAS SOPS 13720 HAS SOUS 3690 HAS SOUPS 3677 WITH SCORE 3690.742
AT ITER 9296 NEW BEST:: SOT 27868 SOS 13740 HAS SOPS 13718 HAS SOUS 3688 HAS SOUPS 3675 WITH SCORE 3688.74
AT ITER 9302 NEW BEST:: SOT 27874 SOS 13740 HAS SOPS 13718 HAS SOUS 3683 HAS SOUPS 3670 WITH SCORE 3683.74
AT ITER 9356 NEW BEST:: SOT 27873 SOS 13739 HAS SOPS 13717 HAS SOUS 3683 HAS SOUPS 3670 WITH SCORE 3683.739
AT ITER 9539 NEW BEST:: SOT 27842 SOS 13704 HAS SOPS 13682 HAS SOUS 3679 HAS SOUPS 3666 WITH SCORE 3679.704
AT ITER 9702 NEW BEST:: SOT 27842 SOS 13704 HAS SOPS 13682 HAS SOUS 3678 HAS SOUPS 3665 WITH SCORE 3678.704
AT ITER 9774 NEW BEST:: SOT 27841 SOS 13703 HAS SOPS 13681 HAS SOUS 3678 HAS SOUPS 3665 WITH SCORE 3678.703
AT ITER 9793 NEW BEST:: SOT 27840 SOS 13682 HAS SOPS 13660 HAS SOUS 3678 HAS SOUPS 3665 WITH SCORE 3678.682
AT ITER 9806 NEW BEST:: SOT 27840 SOS 13680 HAS SOPS 13658 HAS SOUS 3678 HAS SOUPS 3665 WITH SCORE 3678.68
AT ITER 9867 NEW BEST:: SOT 27836 SOS 13676 HAS SOPS 13654 HAS SOUS 3670 HAS SOUPS 3657 WITH SCORE 3670.676

BK_STOP 1678498062140

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 374 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HealthRecord-PT-12"
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-12, 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-167840342300328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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