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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 7.4K Feb 26 17:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 17:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 17:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 17:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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 18K Feb 25 16:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 17:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 114K Feb 26 17:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 17:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 17:58 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 73K 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 1678496917775

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-15
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 15
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: 163 places, 348 transitions, 919 arcs.
AT ITER 0 NEW BEST:: SOT 37608 SOS 20404 HAS SOPS 20382 HAS SOUS 11851 HAS SOUPS 11838 WITH SCORE 11858.404
AT ITER 2 NEW BEST:: SOT 37608 SOS 20404 HAS SOPS 20382 HAS SOUS 11824 HAS SOUPS 11811 WITH SCORE 11831.404
AT ITER 3 NEW BEST:: SOT 37608 SOS 20443 HAS SOPS 20421 HAS SOUS 11823 HAS SOUPS 11810 WITH SCORE 11830.443
AT ITER 9 NEW BEST:: SOT 37608 SOS 20232 HAS SOPS 20210 HAS SOUS 11823 HAS SOUPS 11810 WITH SCORE 11830.232
AT ITER 11 NEW BEST:: SOT 37582 SOS 20181 HAS SOPS 20159 HAS SOUS 11797 HAS SOUPS 11784 WITH SCORE 11804.181
AT ITER 12 NEW BEST:: SOT 37506 SOS 19991 HAS SOPS 19969 HAS SOUS 11759 HAS SOUPS 11746 WITH SCORE 11765.991
AT ITER 14 NEW BEST:: SOT 37505 SOS 19989 HAS SOPS 19967 HAS SOUS 11758 HAS SOUPS 11745 WITH SCORE 11764.989
AT ITER 15 NEW BEST:: SOT 37505 SOS 19919 HAS SOPS 19897 HAS SOUS 11733 HAS SOUPS 11720 WITH SCORE 11739.919
AT ITER 16 NEW BEST:: SOT 37390 SOS 19674 HAS SOPS 19652 HAS SOUS 11618 HAS SOUPS 11605 WITH SCORE 11624.674
AT ITER 26 NEW BEST:: SOT 37350 SOS 19591 HAS SOPS 19569 HAS SOUS 11592 HAS SOUPS 11579 WITH SCORE 11598.591
AT ITER 31 NEW BEST:: SOT 36776 SOS 19504 HAS SOPS 19482 HAS SOUS 11500 HAS SOUPS 11487 WITH SCORE 11506.504
AT ITER 33 NEW BEST:: SOT 36734 SOS 19263 HAS SOPS 19241 HAS SOUS 11386 HAS SOUPS 11373 WITH SCORE 11392.263
AT ITER 34 NEW BEST:: SOT 36714 SOS 19223 HAS SOPS 19201 HAS SOUS 11366 HAS SOUPS 11353 WITH SCORE 11372.223
AT ITER 35 NEW BEST:: SOT 36468 SOS 18766 HAS SOPS 18744 HAS SOUS 11285 HAS SOUPS 11272 WITH SCORE 11290.766
AT ITER 38 NEW BEST:: SOT 36467 SOS 18766 HAS SOPS 18744 HAS SOUS 11284 HAS SOUPS 11271 WITH SCORE 11289.766
AT ITER 40 NEW BEST:: SOT 36338 SOS 18657 HAS SOPS 18635 HAS SOUS 11244 HAS SOUPS 11231 WITH SCORE 11249.657
AT ITER 41 NEW BEST:: SOT 36113 SOS 18432 HAS SOPS 18410 HAS SOUS 11189 HAS SOUPS 11176 WITH SCORE 11194.432
AT ITER 43 NEW BEST:: SOT 36070 SOS 18304 HAS SOPS 18282 HAS SOUS 11092 HAS SOUPS 11079 WITH SCORE 11097.304
AT ITER 45 NEW BEST:: SOT 36037 SOS 18272 HAS SOPS 18250 HAS SOUS 11059 HAS SOUPS 11046 WITH SCORE 11064.272
AT ITER 49 NEW BEST:: SOT 35798 SOS 18153 HAS SOPS 18131 HAS SOUS 10882 HAS SOUPS 10869 WITH SCORE 10887.153
AT ITER 54 NEW BEST:: SOT 34348 SOS 17509 HAS SOPS 17487 HAS SOUS 10069 HAS SOUPS 10056 WITH SCORE 10073.509
AT ITER 56 NEW BEST:: SOT 34348 SOS 17505 HAS SOPS 17483 HAS SOUS 10069 HAS SOUPS 10056 WITH SCORE 10073.505
AT ITER 60 NEW BEST:: SOT 34350 SOS 17507 HAS SOPS 17485 HAS SOUS 10059 HAS SOUPS 10046 WITH SCORE 10063.507
AT ITER 63 NEW BEST:: SOT 34330 SOS 17484 HAS SOPS 17462 HAS SOUS 10038 HAS SOUPS 10025 WITH SCORE 10042.484
AT ITER 64 NEW BEST:: SOT 34258 SOS 17601 HAS SOPS 17579 HAS SOUS 9980 HAS SOUPS 9967 WITH SCORE 9984.601
AT ITER 65 NEW BEST:: SOT 34243 SOS 17571 HAS SOPS 17549 HAS SOUS 9980 HAS SOUPS 9967 WITH SCORE 9984.571
AT ITER 72 NEW BEST:: SOT 34203 SOS 17406 HAS SOPS 17384 HAS SOUS 9970 HAS SOUPS 9957 WITH SCORE 9974.406
AT ITER 73 NEW BEST:: SOT 33591 SOS 17602 HAS SOPS 17580 HAS SOUS 9482 HAS SOUPS 9469 WITH SCORE 9486.602
AT ITER 76 NEW BEST:: SOT 33560 SOS 17540 HAS SOPS 17518 HAS SOUS 9463 HAS SOUPS 9450 WITH SCORE 9467.54
AT ITER 77 NEW BEST:: SOT 33458 SOS 17385 HAS SOPS 17363 HAS SOUS 9372 HAS SOUPS 9359 WITH SCORE 9376.385
AT ITER 83 NEW BEST:: SOT 33480 SOS 17282 HAS SOPS 17260 HAS SOUS 9331 HAS SOUPS 9318 WITH SCORE 9335.282
AT ITER 85 NEW BEST:: SOT 33412 SOS 17281 HAS SOPS 17259 HAS SOUS 9184 HAS SOUPS 9171 WITH SCORE 9188.281
AT ITER 87 NEW BEST:: SOT 33379 SOS 17203 HAS SOPS 17181 HAS SOUS 9172 HAS SOUPS 9159 WITH SCORE 9176.203
AT ITER 89 NEW BEST:: SOT 33379 SOS 17147 HAS SOPS 17125 HAS SOUS 9144 HAS SOUPS 9131 WITH SCORE 9148.147
AT ITER 90 NEW BEST:: SOT 33377 SOS 17145 HAS SOPS 17123 HAS SOUS 9143 HAS SOUPS 9130 WITH SCORE 9147.145
AT ITER 91 NEW BEST:: SOT 33346 SOS 17061 HAS SOPS 17039 HAS SOUS 9119 HAS SOUPS 9106 WITH SCORE 9123.061
AT ITER 92 NEW BEST:: SOT 33338 SOS 17036 HAS SOPS 17014 HAS SOUS 9113 HAS SOUPS 9100 WITH SCORE 9117.036
AT ITER 93 NEW BEST:: SOT 32247 SOS 16209 HAS SOPS 16187 HAS SOUS 8022 HAS SOUPS 8009 WITH SCORE 8025.209
AT ITER 94 NEW BEST:: SOT 31751 SOS 17751 HAS SOPS 17729 HAS SOUS 7689 HAS SOUPS 7676 WITH SCORE 7693.751
AT ITER 95 NEW BEST:: SOT 31746 SOS 17741 HAS SOPS 17719 HAS SOUS 7677 HAS SOUPS 7664 WITH SCORE 7681.741
AT ITER 97 NEW BEST:: SOT 31723 SOS 17718 HAS SOPS 17696 HAS SOUS 7634 HAS SOUPS 7621 WITH SCORE 7638.718
AT ITER 100 NEW BEST:: SOT 31713 SOS 17708 HAS SOPS 17686 HAS SOUS 7624 HAS SOUPS 7611 WITH SCORE 7628.708
AT ITER 101 NEW BEST:: SOT 31727 SOS 17720 HAS SOPS 17698 HAS SOUS 7621 HAS SOUPS 7608 WITH SCORE 7625.72
AT ITER 102 NEW BEST:: SOT 31720 SOS 17706 HAS SOPS 17684 HAS SOUS 7614 HAS SOUPS 7601 WITH SCORE 7618.706
AT ITER 103 NEW BEST:: SOT 31598 SOS 17504 HAS SOPS 17482 HAS SOUS 7453 HAS SOUPS 7440 WITH SCORE 7457.504
AT ITER 104 NEW BEST:: SOT 31581 SOS 17485 HAS SOPS 17463 HAS SOUS 7434 HAS SOUPS 7421 WITH SCORE 7438.485
AT ITER 109 NEW BEST:: SOT 31567 SOS 17457 HAS SOPS 17435 HAS SOUS 7420 HAS SOUPS 7407 WITH SCORE 7424.457
AT ITER 110 NEW BEST:: SOT 31556 SOS 17447 HAS SOPS 17425 HAS SOUS 7373 HAS SOUPS 7360 WITH SCORE 7377.447
AT ITER 111 NEW BEST:: SOT 31528 SOS 17391 HAS SOPS 17369 HAS SOUS 7339 HAS SOUPS 7326 WITH SCORE 7343.391
AT ITER 115 NEW BEST:: SOT 31502 SOS 17365 HAS SOPS 17343 HAS SOUS 7312 HAS SOUPS 7299 WITH SCORE 7316.365
AT ITER 118 NEW BEST:: SOT 31517 SOS 17371 HAS SOPS 17349 HAS SOUS 7293 HAS SOUPS 7280 WITH SCORE 7297.371
AT ITER 119 NEW BEST:: SOT 31527 SOS 17391 HAS SOPS 17369 HAS SOUS 7290 HAS SOUPS 7277 WITH SCORE 7294.391
AT ITER 120 NEW BEST:: SOT 31479 SOS 17343 HAS SOPS 17321 HAS SOUS 7218 HAS SOUPS 7205 WITH SCORE 7222.343
AT ITER 121 NEW BEST:: SOT 31477 SOS 17318 HAS SOPS 17296 HAS SOUS 7213 HAS SOUPS 7200 WITH SCORE 7217.318
AT ITER 125 NEW BEST:: SOT 31481 SOS 17324 HAS SOPS 17302 HAS SOUS 7211 HAS SOUPS 7198 WITH SCORE 7215.324
AT ITER 127 NEW BEST:: SOT 31447 SOS 17282 HAS SOPS 17260 HAS SOUS 7169 HAS SOUPS 7156 WITH SCORE 7173.282
AT ITER 144 NEW BEST:: SOT 31386 SOS 17146 HAS SOPS 17124 HAS SOUS 7068 HAS SOUPS 7055 WITH SCORE 7072.146
AT ITER 154 NEW BEST:: SOT 31366 SOS 17106 HAS SOPS 17084 HAS SOUS 7052 HAS SOUPS 7039 WITH SCORE 7056.106
AT ITER 172 NEW BEST:: SOT 31317 SOS 17011 HAS SOPS 16989 HAS SOUS 7003 HAS SOUPS 6990 WITH SCORE 7007.011
AT ITER 173 NEW BEST:: SOT 31265 SOS 16954 HAS SOPS 16932 HAS SOUS 6984 HAS SOUPS 6971 WITH SCORE 6987.954
AT ITER 174 NEW BEST:: SOT 31300 SOS 16978 HAS SOPS 16956 HAS SOUS 6924 HAS SOUPS 6911 WITH SCORE 6927.978
AT ITER 180 NEW BEST:: SOT 31294 SOS 16966 HAS SOPS 16944 HAS SOUS 6918 HAS SOUPS 6905 WITH SCORE 6921.966
AT ITER 182 NEW BEST:: SOT 31208 SOS 16831 HAS SOPS 16809 HAS SOUS 6893 HAS SOUPS 6880 WITH SCORE 6896.831
AT ITER 196 NEW BEST:: SOT 31222 SOS 16870 HAS SOPS 16848 HAS SOUS 6892 HAS SOUPS 6879 WITH SCORE 6895.87
AT ITER 197 NEW BEST:: SOT 31224 SOS 16872 HAS SOPS 16850 HAS SOUS 6873 HAS SOUPS 6860 WITH SCORE 6876.872
AT ITER 198 NEW BEST:: SOT 31188 SOS 16821 HAS SOPS 16799 HAS SOUS 6852 HAS SOUPS 6839 WITH SCORE 6855.821
AT ITER 199 NEW BEST:: SOT 31057 SOS 16638 HAS SOPS 16616 HAS SOUS 6841 HAS SOUPS 6828 WITH SCORE 6844.638
AT ITER 207 NEW BEST:: SOT 31045 SOS 16618 HAS SOPS 16596 HAS SOUS 6829 HAS SOUPS 6816 WITH SCORE 6832.618
AT ITER 209 NEW BEST:: SOT 31039 SOS 16617 HAS SOPS 16595 HAS SOUS 6813 HAS SOUPS 6800 WITH SCORE 6816.617
AT ITER 210 NEW BEST:: SOT 31035 SOS 16613 HAS SOPS 16591 HAS SOUS 6812 HAS SOUPS 6799 WITH SCORE 6815.613
AT ITER 243 NEW BEST:: SOT 30983 SOS 16514 HAS SOPS 16492 HAS SOUS 6806 HAS SOUPS 6793 WITH SCORE 6809.514
AT ITER 246 NEW BEST:: SOT 30960 SOS 16503 HAS SOPS 16481 HAS SOUS 6782 HAS SOUPS 6769 WITH SCORE 6785.503
AT ITER 255 NEW BEST:: SOT 30923 SOS 16450 HAS SOPS 16428 HAS SOUS 6777 HAS SOUPS 6764 WITH SCORE 6780.45
AT ITER 263 NEW BEST:: SOT 30764 SOS 16185 HAS SOPS 16163 HAS SOUS 6618 HAS SOUPS 6605 WITH SCORE 6621.185
AT ITER 264 NEW BEST:: SOT 30669 SOS 16036 HAS SOPS 16014 HAS SOUS 6613 HAS SOUPS 6600 WITH SCORE 6616.036
AT ITER 273 NEW BEST:: SOT 30644 SOS 16034 HAS SOPS 16012 HAS SOUS 6568 HAS SOUPS 6555 WITH SCORE 6571.034
AT ITER 276 NEW BEST:: SOT 30633 SOS 16023 HAS SOPS 16001 HAS SOUS 6546 HAS SOUPS 6533 WITH SCORE 6549.023
AT ITER 280 NEW BEST:: SOT 30622 SOS 16012 HAS SOPS 15990 HAS SOUS 6535 HAS SOUPS 6522 WITH SCORE 6538.012
AT ITER 282 NEW BEST:: SOT 30611 SOS 16001 HAS SOPS 15979 HAS SOUS 6522 HAS SOUPS 6509 WITH SCORE 6525.001
AT ITER 283 NEW BEST:: SOT 30510 SOS 15829 HAS SOPS 15807 HAS SOUS 6450 HAS SOUPS 6437 WITH SCORE 6452.829
AT ITER 288 NEW BEST:: SOT 30523 SOS 15816 HAS SOPS 15794 HAS SOUS 6450 HAS SOUPS 6437 WITH SCORE 6452.816
AT ITER 296 NEW BEST:: SOT 30493 SOS 15821 HAS SOPS 15799 HAS SOUS 6416 HAS SOUPS 6403 WITH SCORE 6418.821
AT ITER 304 NEW BEST:: SOT 30457 SOS 15753 HAS SOPS 15731 HAS SOUS 6412 HAS SOUPS 6399 WITH SCORE 6414.753
AT ITER 305 NEW BEST:: SOT 30422 SOS 15685 HAS SOPS 15663 HAS SOUS 6412 HAS SOUPS 6399 WITH SCORE 6414.685
AT ITER 315 NEW BEST:: SOT 30464 SOS 15676 HAS SOPS 15654 HAS SOUS 6396 HAS SOUPS 6383 WITH SCORE 6398.676
AT ITER 325 NEW BEST:: SOT 30453 SOS 15665 HAS SOPS 15643 HAS SOUS 6385 HAS SOUPS 6372 WITH SCORE 6387.665
AT ITER 333 NEW BEST:: SOT 30437 SOS 15617 HAS SOPS 15595 HAS SOUS 6353 HAS SOUPS 6340 WITH SCORE 6355.617
AT ITER 338 NEW BEST:: SOT 30436 SOS 15614 HAS SOPS 15592 HAS SOUS 6352 HAS SOUPS 6339 WITH SCORE 6354.614
AT ITER 346 NEW BEST:: SOT 30352 SOS 15488 HAS SOPS 15466 HAS SOUS 6311 HAS SOUPS 6298 WITH SCORE 6313.488
AT ITER 363 NEW BEST:: SOT 30345 SOS 15481 HAS SOPS 15459 HAS SOUS 6297 HAS SOUPS 6284 WITH SCORE 6299.481
AT ITER 366 NEW BEST:: SOT 30309 SOS 15424 HAS SOPS 15402 HAS SOUS 6288 HAS SOUPS 6275 WITH SCORE 6290.424
AT ITER 373 NEW BEST:: SOT 30308 SOS 15422 HAS SOPS 15400 HAS SOUS 6287 HAS SOUPS 6274 WITH SCORE 6289.422
AT ITER 375 NEW BEST:: SOT 30277 SOS 15285 HAS SOPS 15263 HAS SOUS 6193 HAS SOUPS 6180 WITH SCORE 6195.285
AT ITER 376 NEW BEST:: SOT 30267 SOS 15267 HAS SOPS 15245 HAS SOUS 6183 HAS SOUPS 6170 WITH SCORE 6185.267
AT ITER 383 NEW BEST:: SOT 30244 SOS 15286 HAS SOPS 15264 HAS SOUS 6163 HAS SOUPS 6150 WITH SCORE 6165.286
AT ITER 384 NEW BEST:: SOT 30217 SOS 15110 HAS SOPS 15088 HAS SOUS 6094 HAS SOUPS 6081 WITH SCORE 6096.11
AT ITER 391 NEW BEST:: SOT 30209 SOS 15098 HAS SOPS 15076 HAS SOUS 6082 HAS SOUPS 6069 WITH SCORE 6084.098
AT ITER 400 NEW BEST:: SOT 30193 SOS 15066 HAS SOPS 15044 HAS SOUS 6050 HAS SOUPS 6037 WITH SCORE 6052.066
AT ITER 402 NEW BEST:: SOT 30207 SOS 15080 HAS SOPS 15058 HAS SOUS 6040 HAS SOUPS 6027 WITH SCORE 6042.08
AT ITER 407 NEW BEST:: SOT 30205 SOS 15078 HAS SOPS 15056 HAS SOUS 6038 HAS SOUPS 6025 WITH SCORE 6040.078
AT ITER 408 NEW BEST:: SOT 30202 SOS 15072 HAS SOPS 15050 HAS SOUS 6019 HAS SOUPS 6006 WITH SCORE 6021.072
AT ITER 413 NEW BEST:: SOT 30202 SOS 15072 HAS SOPS 15050 HAS SOUS 6018 HAS SOUPS 6005 WITH SCORE 6020.072
AT ITER 415 NEW BEST:: SOT 30201 SOS 15074 HAS SOPS 15052 HAS SOUS 6008 HAS SOUPS 5995 WITH SCORE 6010.074
AT ITER 426 NEW BEST:: SOT 30219 SOS 15092 HAS SOPS 15070 HAS SOUS 6003 HAS SOUPS 5990 WITH SCORE 6005.092
AT ITER 427 NEW BEST:: SOT 30172 SOS 14982 HAS SOPS 14960 HAS SOUS 5948 HAS SOUPS 5935 WITH SCORE 5949.982
AT ITER 434 NEW BEST:: SOT 30146 SOS 15063 HAS SOPS 15041 HAS SOUS 5945 HAS SOUPS 5932 WITH SCORE 5947.063
AT ITER 440 NEW BEST:: SOT 30142 SOS 15059 HAS SOPS 15037 HAS SOUS 5945 HAS SOUPS 5932 WITH SCORE 5947.059
AT ITER 466 NEW BEST:: SOT 30134 SOS 15048 HAS SOPS 15026 HAS SOUS 5938 HAS SOUPS 5925 WITH SCORE 5940.048
AT ITER 472 NEW BEST:: SOT 30120 SOS 15179 HAS SOPS 15157 HAS SOUS 5932 HAS SOUPS 5919 WITH SCORE 5934.179
AT ITER 473 NEW BEST:: SOT 30120 SOS 14523 HAS SOPS 14501 HAS SOUS 5913 HAS SOUPS 5900 WITH SCORE 5914.523
AT ITER 475 NEW BEST:: SOT 30069 SOS 14433 HAS SOPS 14411 HAS SOUS 5879 HAS SOUPS 5866 WITH SCORE 5880.433
AT ITER 496 NEW BEST:: SOT 30109 SOS 14473 HAS SOPS 14451 HAS SOUS 5875 HAS SOUPS 5862 WITH SCORE 5876.473
AT ITER 501 NEW BEST:: SOT 30077 SOS 14441 HAS SOPS 14419 HAS SOUS 5828 HAS SOUPS 5815 WITH SCORE 5829.441
AT ITER 506 NEW BEST:: SOT 29961 SOS 14733 HAS SOPS 14711 HAS SOUS 5798 HAS SOUPS 5785 WITH SCORE 5799.733
AT ITER 508 NEW BEST:: SOT 29965 SOS 14737 HAS SOPS 14715 HAS SOUS 5794 HAS SOUPS 5781 WITH SCORE 5795.737
AT ITER 513 NEW BEST:: SOT 29967 SOS 14750 HAS SOPS 14728 HAS SOUS 5792 HAS SOUPS 5779 WITH SCORE 5793.75
AT ITER 514 NEW BEST:: SOT 29938 SOS 14721 HAS SOPS 14699 HAS SOUS 5786 HAS SOUPS 5773 WITH SCORE 5787.721
AT ITER 516 NEW BEST:: SOT 29938 SOS 14694 HAS SOPS 14672 HAS SOUS 5778 HAS SOUPS 5765 WITH SCORE 5779.694
AT ITER 520 NEW BEST:: SOT 29943 SOS 14671 HAS SOPS 14649 HAS SOUS 5752 HAS SOUPS 5739 WITH SCORE 5753.671
AT ITER 521 NEW BEST:: SOT 29921 SOS 14606 HAS SOPS 14584 HAS SOUS 5731 HAS SOUPS 5718 WITH SCORE 5732.606
AT ITER 526 NEW BEST:: SOT 29897 SOS 14558 HAS SOPS 14536 HAS SOUS 5667 HAS SOUPS 5654 WITH SCORE 5668.558
AT ITER 527 NEW BEST:: SOT 29843 SOS 14504 HAS SOPS 14482 HAS SOUS 5658 HAS SOUPS 5645 WITH SCORE 5659.504
AT ITER 537 NEW BEST:: SOT 29781 SOS 14344 HAS SOPS 14322 HAS SOUS 5632 HAS SOUPS 5619 WITH SCORE 5633.344
AT ITER 538 NEW BEST:: SOT 29772 SOS 14335 HAS SOPS 14313 HAS SOUS 5618 HAS SOUPS 5605 WITH SCORE 5619.335
AT ITER 546 NEW BEST:: SOT 29772 SOS 14338 HAS SOPS 14316 HAS SOUS 5616 HAS SOUPS 5603 WITH SCORE 5617.338
AT ITER 553 NEW BEST:: SOT 29713 SOS 14257 HAS SOPS 14235 HAS SOUS 5557 HAS SOUPS 5544 WITH SCORE 5558.257
AT ITER 568 NEW BEST:: SOT 29678 SOS 14222 HAS SOPS 14200 HAS SOUS 5497 HAS SOUPS 5484 WITH SCORE 5498.222
AT ITER 575 NEW BEST:: SOT 29669 SOS 14213 HAS SOPS 14191 HAS SOUS 5485 HAS SOUPS 5472 WITH SCORE 5486.213
AT ITER 621 NEW BEST:: SOT 29651 SOS 14195 HAS SOPS 14173 HAS SOUS 5467 HAS SOUPS 5454 WITH SCORE 5468.195
AT ITER 628 NEW BEST:: SOT 29648 SOS 14192 HAS SOPS 14170 HAS SOUS 5464 HAS SOUPS 5451 WITH SCORE 5465.192
AT ITER 643 NEW BEST:: SOT 29601 SOS 14110 HAS SOPS 14088 HAS SOUS 5404 HAS SOUPS 5391 WITH SCORE 5405.11
AT ITER 655 NEW BEST:: SOT 29591 SOS 14100 HAS SOPS 14078 HAS SOUS 5393 HAS SOUPS 5380 WITH SCORE 5394.1
AT ITER 656 NEW BEST:: SOT 29559 SOS 14049 HAS SOPS 14027 HAS SOUS 5393 HAS SOUPS 5380 WITH SCORE 5394.049
AT ITER 657 NEW BEST:: SOT 29528 SOS 13923 HAS SOPS 13901 HAS SOUS 5328 HAS SOUPS 5315 WITH SCORE 5328.923
AT ITER 664 NEW BEST:: SOT 29516 SOS 13911 HAS SOPS 13889 HAS SOUS 5310 HAS SOUPS 5297 WITH SCORE 5310.911
AT ITER 690 NEW BEST:: SOT 29464 SOS 13828 HAS SOPS 13806 HAS SOUS 5274 HAS SOUPS 5261 WITH SCORE 5274.828
AT ITER 696 NEW BEST:: SOT 29317 SOS 14660 HAS SOPS 14638 HAS SOUS 5255 HAS SOUPS 5242 WITH SCORE 5256.66
AT ITER 715 NEW BEST:: SOT 29255 SOS 14523 HAS SOPS 14501 HAS SOUS 5255 HAS SOUPS 5242 WITH SCORE 5256.523
AT ITER 716 NEW BEST:: SOT 29243 SOS 14503 HAS SOPS 14481 HAS SOUS 5247 HAS SOUPS 5234 WITH SCORE 5248.503
AT ITER 742 NEW BEST:: SOT 29257 SOS 14517 HAS SOPS 14495 HAS SOUS 5245 HAS SOUPS 5232 WITH SCORE 5246.517
AT ITER 751 NEW BEST:: SOT 29214 SOS 14474 HAS SOPS 14452 HAS SOUS 5162 HAS SOUPS 5149 WITH SCORE 5163.474
AT ITER 752 NEW BEST:: SOT 29194 SOS 14454 HAS SOPS 14432 HAS SOUS 5162 HAS SOUPS 5149 WITH SCORE 5163.454
AT ITER 760 NEW BEST:: SOT 29171 SOS 14426 HAS SOPS 14404 HAS SOUS 5137 HAS SOUPS 5124 WITH SCORE 5138.426
AT ITER 761 NEW BEST:: SOT 29149 SOS 14404 HAS SOPS 14382 HAS SOUS 5134 HAS SOUPS 5121 WITH SCORE 5135.404
AT ITER 781 NEW BEST:: SOT 29198 SOS 14404 HAS SOPS 14382 HAS SOUS 5071 HAS SOUPS 5058 WITH SCORE 5072.404
AT ITER 782 NEW BEST:: SOT 29232 SOS 14438 HAS SOPS 14416 HAS SOUS 5015 HAS SOUPS 5002 WITH SCORE 5016.438
AT ITER 790 NEW BEST:: SOT 29248 SOS 14457 HAS SOPS 14435 HAS SOUS 5002 HAS SOUPS 4989 WITH SCORE 5003.457
AT ITER 792 NEW BEST:: SOT 29247 SOS 14456 HAS SOPS 14434 HAS SOUS 5001 HAS SOUPS 4988 WITH SCORE 5002.456
AT ITER 801 NEW BEST:: SOT 29222 SOS 14468 HAS SOPS 14446 HAS SOUS 4990 HAS SOUPS 4977 WITH SCORE 4991.468
AT ITER 802 NEW BEST:: SOT 29213 SOS 14438 HAS SOPS 14416 HAS SOUS 4973 HAS SOUPS 4960 WITH SCORE 4974.438
AT ITER 831 NEW BEST:: SOT 29209 SOS 14434 HAS SOPS 14412 HAS SOUS 4969 HAS SOUPS 4956 WITH SCORE 4970.434
AT ITER 832 NEW BEST:: SOT 29190 SOS 14396 HAS SOPS 14374 HAS SOUS 4967 HAS SOUPS 4954 WITH SCORE 4968.396
AT ITER 837 NEW BEST:: SOT 29192 SOS 14400 HAS SOPS 14378 HAS SOUS 4963 HAS SOUPS 4950 WITH SCORE 4964.4
AT ITER 841 NEW BEST:: SOT 29191 SOS 14399 HAS SOPS 14377 HAS SOUS 4962 HAS SOUPS 4949 WITH SCORE 4963.399
AT ITER 845 NEW BEST:: SOT 29169 SOS 14369 HAS SOPS 14347 HAS SOUS 4943 HAS SOUPS 4930 WITH SCORE 4944.369
AT ITER 857 NEW BEST:: SOT 29177 SOS 14384 HAS SOPS 14362 HAS SOUS 4904 HAS SOUPS 4891 WITH SCORE 4905.384
AT ITER 864 NEW BEST:: SOT 29391 SOS 14705 HAS SOPS 14683 HAS SOUS 4903 HAS SOUPS 4890 WITH SCORE 4904.705
AT ITER 880 NEW BEST:: SOT 29383 SOS 14691 HAS SOPS 14669 HAS SOUS 4889 HAS SOUPS 4876 WITH SCORE 4890.691
AT ITER 890 NEW BEST:: SOT 29362 SOS 14670 HAS SOPS 14648 HAS SOUS 4832 HAS SOUPS 4819 WITH SCORE 4833.67
AT ITER 903 NEW BEST:: SOT 29370 SOS 14633 HAS SOPS 14611 HAS SOUS 4830 HAS SOUPS 4817 WITH SCORE 4831.633
AT ITER 915 NEW BEST:: SOT 29367 SOS 14640 HAS SOPS 14618 HAS SOUS 4825 HAS SOUPS 4812 WITH SCORE 4826.64
AT ITER 927 NEW BEST:: SOT 29365 SOS 14635 HAS SOPS 14613 HAS SOUS 4825 HAS SOUPS 4812 WITH SCORE 4826.635
AT ITER 948 NEW BEST:: SOT 29372 SOS 14642 HAS SOPS 14620 HAS SOUS 4816 HAS SOUPS 4803 WITH SCORE 4817.642
AT ITER 957 NEW BEST:: SOT 29356 SOS 14626 HAS SOPS 14604 HAS SOUS 4784 HAS SOUPS 4771 WITH SCORE 4785.626
AT ITER 961 NEW BEST:: SOT 29356 SOS 14621 HAS SOPS 14599 HAS SOUS 4783 HAS SOUPS 4770 WITH SCORE 4784.621
AT ITER 978 NEW BEST:: SOT 29351 SOS 14616 HAS SOPS 14594 HAS SOUS 4760 HAS SOUPS 4747 WITH SCORE 4761.616
AT ITER 980 NEW BEST:: SOT 29338 SOS 14603 HAS SOPS 14581 HAS SOUS 4760 HAS SOUPS 4747 WITH SCORE 4761.603
AT ITER 985 NEW BEST:: SOT 29326 SOS 14579 HAS SOPS 14557 HAS SOUS 4754 HAS SOUPS 4741 WITH SCORE 4755.579
AT ITER 990 NEW BEST:: SOT 29301 SOS 14720 HAS SOPS 14698 HAS SOUS 4740 HAS SOUPS 4727 WITH SCORE 4741.72
AT ITER 992 NEW BEST:: SOT 29289 SOS 14700 HAS SOPS 14678 HAS SOUS 4736 HAS SOUPS 4723 WITH SCORE 4737.7
AT ITER 1002 NEW BEST:: SOT 29282 SOS 14684 HAS SOPS 14662 HAS SOUS 4722 HAS SOUPS 4709 WITH SCORE 4723.684
AT ITER 1009 NEW BEST:: SOT 29282 SOS 14684 HAS SOPS 14662 HAS SOUS 4709 HAS SOUPS 4696 WITH SCORE 4710.684
AT ITER 1010 NEW BEST:: SOT 29278 SOS 14676 HAS SOPS 14654 HAS SOUS 4705 HAS SOUPS 4692 WITH SCORE 4706.676
AT ITER 1011 NEW BEST:: SOT 29274 SOS 14672 HAS SOPS 14650 HAS SOUS 4697 HAS SOUPS 4684 WITH SCORE 4698.672
AT ITER 1038 NEW BEST:: SOT 29269 SOS 14667 HAS SOPS 14645 HAS SOUS 4695 HAS SOUPS 4682 WITH SCORE 4696.667
AT ITER 1044 NEW BEST:: SOT 29241 SOS 14611 HAS SOPS 14589 HAS SOUS 4667 HAS SOUPS 4654 WITH SCORE 4668.611
AT ITER 1045 NEW BEST:: SOT 29231 SOS 14611 HAS SOPS 14589 HAS SOUS 4662 HAS SOUPS 4649 WITH SCORE 4663.611
AT ITER 1047 NEW BEST:: SOT 29170 SOS 14450 HAS SOPS 14428 HAS SOUS 4623 HAS SOUPS 4610 WITH SCORE 4624.45
AT ITER 1063 NEW BEST:: SOT 29163 SOS 14616 HAS SOPS 14594 HAS SOUS 4620 HAS SOUPS 4607 WITH SCORE 4621.616
AT ITER 1070 NEW BEST:: SOT 29188 SOS 14666 HAS SOPS 14644 HAS SOUS 4615 HAS SOUPS 4602 WITH SCORE 4616.666
AT ITER 1073 NEW BEST:: SOT 29178 SOS 14656 HAS SOPS 14634 HAS SOUS 4615 HAS SOUPS 4602 WITH SCORE 4616.656
AT ITER 1078 NEW BEST:: SOT 29159 SOS 14618 HAS SOPS 14596 HAS SOUS 4615 HAS SOUPS 4602 WITH SCORE 4616.618
AT ITER 1084 NEW BEST:: SOT 29160 SOS 14616 HAS SOPS 14594 HAS SOUS 4614 HAS SOUPS 4601 WITH SCORE 4615.616
AT ITER 1090 NEW BEST:: SOT 29174 SOS 14655 HAS SOPS 14633 HAS SOUS 4603 HAS SOUPS 4590 WITH SCORE 4604.655
AT ITER 1092 NEW BEST:: SOT 29131 SOS 14584 HAS SOPS 14562 HAS SOUS 4592 HAS SOUPS 4579 WITH SCORE 4593.584
AT ITER 1099 NEW BEST:: SOT 29129 SOS 14579 HAS SOPS 14557 HAS SOUS 4591 HAS SOUPS 4578 WITH SCORE 4592.579
AT ITER 1105 NEW BEST:: SOT 29129 SOS 14579 HAS SOPS 14557 HAS SOUS 4587 HAS SOUPS 4574 WITH SCORE 4588.579
AT ITER 1116 NEW BEST:: SOT 29121 SOS 14555 HAS SOPS 14533 HAS SOUS 4579 HAS SOUPS 4566 WITH SCORE 4580.555
AT ITER 1133 NEW BEST:: SOT 29097 SOS 14507 HAS SOPS 14485 HAS SOUS 4567 HAS SOUPS 4554 WITH SCORE 4568.507
AT ITER 1141 NEW BEST:: SOT 29095 SOS 14505 HAS SOPS 14483 HAS SOUS 4565 HAS SOUPS 4552 WITH SCORE 4566.505
AT ITER 1156 NEW BEST:: SOT 29095 SOS 14499 HAS SOPS 14477 HAS SOUS 4555 HAS SOUPS 4542 WITH SCORE 4556.499
AT ITER 1203 NEW BEST:: SOT 29076 SOS 14480 HAS SOPS 14458 HAS SOUS 4536 HAS SOUPS 4523 WITH SCORE 4537.48
AT ITER 1257 NEW BEST:: SOT 29075 SOS 14479 HAS SOPS 14457 HAS SOUS 4534 HAS SOUPS 4521 WITH SCORE 4535.479
AT ITER 1261 NEW BEST:: SOT 29063 SOS 14448 HAS SOPS 14426 HAS SOUS 4527 HAS SOUPS 4514 WITH SCORE 4528.448
AT ITER 1262 NEW BEST:: SOT 29053 SOS 14412 HAS SOPS 14390 HAS SOUS 4519 HAS SOUPS 4506 WITH SCORE 4520.412
AT ITER 1263 NEW BEST:: SOT 29047 SOS 14800 HAS SOPS 14778 HAS SOUS 4514 HAS SOUPS 4501 WITH SCORE 4515.8
AT ITER 1265 NEW BEST:: SOT 29047 SOS 14800 HAS SOPS 14778 HAS SOUS 4512 HAS SOUPS 4499 WITH SCORE 4513.8
AT ITER 1300 NEW BEST:: SOT 29051 SOS 14804 HAS SOPS 14782 HAS SOUS 4508 HAS SOUPS 4495 WITH SCORE 4509.804
AT ITER 1303 NEW BEST:: SOT 29048 SOS 14801 HAS SOPS 14779 HAS SOUS 4495 HAS SOUPS 4482 WITH SCORE 4496.801
AT ITER 1314 NEW BEST:: SOT 29061 SOS 14814 HAS SOPS 14792 HAS SOUS 4482 HAS SOUPS 4469 WITH SCORE 4483.814
AT ITER 1378 NEW BEST:: SOT 29054 SOS 14828 HAS SOPS 14806 HAS SOUS 4475 HAS SOUPS 4462 WITH SCORE 4476.828
AT ITER 1385 NEW BEST:: SOT 29043 SOS 14817 HAS SOPS 14795 HAS SOUS 4475 HAS SOUPS 4462 WITH SCORE 4476.817
AT ITER 1402 NEW BEST:: SOT 29042 SOS 14814 HAS SOPS 14792 HAS SOUS 4474 HAS SOUPS 4461 WITH SCORE 4475.814
AT ITER 1419 NEW BEST:: SOT 28865 SOS 14556 HAS SOPS 14534 HAS SOUS 4452 HAS SOUPS 4439 WITH SCORE 4453.556
AT ITER 1440 NEW BEST:: SOT 28865 SOS 14556 HAS SOPS 14534 HAS SOUS 4450 HAS SOUPS 4437 WITH SCORE 4451.556
AT ITER 1458 NEW BEST:: SOT 28939 SOS 14667 HAS SOPS 14645 HAS SOUS 4440 HAS SOUPS 4427 WITH SCORE 4441.667
AT ITER 1460 NEW BEST:: SOT 28934 SOS 14657 HAS SOPS 14635 HAS SOUS 4438 HAS SOUPS 4425 WITH SCORE 4439.657
AT ITER 1465 NEW BEST:: SOT 28889 SOS 14567 HAS SOPS 14545 HAS SOUS 4362 HAS SOUPS 4349 WITH SCORE 4363.567
AT ITER 1470 NEW BEST:: SOT 28883 SOS 14561 HAS SOPS 14539 HAS SOUS 4356 HAS SOUPS 4343 WITH SCORE 4357.561
AT ITER 1475 NEW BEST:: SOT 28882 SOS 14560 HAS SOPS 14538 HAS SOUS 4355 HAS SOUPS 4342 WITH SCORE 4356.56
AT ITER 1477 NEW BEST:: SOT 28870 SOS 14536 HAS SOPS 14514 HAS SOUS 4355 HAS SOUPS 4342 WITH SCORE 4356.536
AT ITER 1484 NEW BEST:: SOT 28871 SOS 14532 HAS SOPS 14510 HAS SOUS 4346 HAS SOUPS 4333 WITH SCORE 4347.532
AT ITER 1506 NEW BEST:: SOT 28869 SOS 14530 HAS SOPS 14508 HAS SOUS 4344 HAS SOUPS 4331 WITH SCORE 4345.53
AT ITER 1509 NEW BEST:: SOT 28840 SOS 14484 HAS SOPS 14462 HAS SOUS 4340 HAS SOUPS 4327 WITH SCORE 4341.484
AT ITER 1524 NEW BEST:: SOT 28839 SOS 14483 HAS SOPS 14461 HAS SOUS 4339 HAS SOUPS 4326 WITH SCORE 4340.483
AT ITER 1530 NEW BEST:: SOT 28820 SOS 14436 HAS SOPS 14414 HAS SOUS 4324 HAS SOUPS 4311 WITH SCORE 4325.436
AT ITER 1532 NEW BEST:: SOT 28820 SOS 14434 HAS SOPS 14412 HAS SOUS 4307 HAS SOUPS 4294 WITH SCORE 4308.434
AT ITER 1555 NEW BEST:: SOT 28824 SOS 14618 HAS SOPS 14596 HAS SOUS 4306 HAS SOUPS 4293 WITH SCORE 4307.618
AT ITER 1566 NEW BEST:: SOT 28823 SOS 14613 HAS SOPS 14591 HAS SOUS 4304 HAS SOUPS 4291 WITH SCORE 4305.613
AT ITER 1588 NEW BEST:: SOT 28819 SOS 14601 HAS SOPS 14579 HAS SOUS 4302 HAS SOUPS 4289 WITH SCORE 4303.601
AT ITER 1598 NEW BEST:: SOT 28811 SOS 14341 HAS SOPS 14319 HAS SOUS 4301 HAS SOUPS 4288 WITH SCORE 4302.341
AT ITER 1599 NEW BEST:: SOT 28811 SOS 14337 HAS SOPS 14315 HAS SOUS 4297 HAS SOUPS 4284 WITH SCORE 4298.337
AT ITER 1618 NEW BEST:: SOT 28809 SOS 14328 HAS SOPS 14306 HAS SOUS 4270 HAS SOUPS 4257 WITH SCORE 4271.328
AT ITER 1644 NEW BEST:: SOT 28797 SOS 14304 HAS SOPS 14282 HAS SOUS 4270 HAS SOUPS 4257 WITH SCORE 4271.304
AT ITER 1650 NEW BEST:: SOT 28787 SOS 14294 HAS SOPS 14272 HAS SOUS 4267 HAS SOUPS 4254 WITH SCORE 4268.294
AT ITER 1661 NEW BEST:: SOT 28785 SOS 14292 HAS SOPS 14270 HAS SOUS 4266 HAS SOUPS 4253 WITH SCORE 4267.292
AT ITER 1700 NEW BEST:: SOT 28780 SOS 14287 HAS SOPS 14265 HAS SOUS 4261 HAS SOUPS 4248 WITH SCORE 4262.287
AT ITER 1714 NEW BEST:: SOT 28793 SOS 14300 HAS SOPS 14278 HAS SOUS 4257 HAS SOUPS 4244 WITH SCORE 4258.3
AT ITER 1736 NEW BEST:: SOT 28790 SOS 14028 HAS SOPS 14006 HAS SOUS 4253 HAS SOUPS 4240 WITH SCORE 4254.028
AT ITER 1743 NEW BEST:: SOT 28774 SOS 13996 HAS SOPS 13974 HAS SOUS 4253 HAS SOUPS 4240 WITH SCORE 4253.996
AT ITER 1754 NEW BEST:: SOT 28773 SOS 13991 HAS SOPS 13969 HAS SOUS 4252 HAS SOUPS 4239 WITH SCORE 4252.991
AT ITER 1757 NEW BEST:: SOT 28771 SOS 13988 HAS SOPS 13966 HAS SOUS 4252 HAS SOUPS 4239 WITH SCORE 4252.988
AT ITER 1764 NEW BEST:: SOT 28771 SOS 13988 HAS SOPS 13966 HAS SOUS 4224 HAS SOUPS 4211 WITH SCORE 4224.988
AT ITER 1776 NEW BEST:: SOT 28769 SOS 13982 HAS SOPS 13960 HAS SOUS 4222 HAS SOUPS 4209 WITH SCORE 4222.982
AT ITER 1788 NEW BEST:: SOT 28764 SOS 13977 HAS SOPS 13955 HAS SOUS 4212 HAS SOUPS 4199 WITH SCORE 4212.977
AT ITER 1803 NEW BEST:: SOT 28760 SOS 13973 HAS SOPS 13951 HAS SOUS 4209 HAS SOUPS 4196 WITH SCORE 4209.973
AT ITER 1806 NEW BEST:: SOT 28754 SOS 13883 HAS SOPS 13861 HAS SOUS 4203 HAS SOUPS 4190 WITH SCORE 4203.883
AT ITER 1859 NEW BEST:: SOT 28721 SOS 13825 HAS SOPS 13803 HAS SOUS 4195 HAS SOUPS 4182 WITH SCORE 4195.825
AT ITER 1876 NEW BEST:: SOT 28724 SOS 13687 HAS SOPS 13665 HAS SOUS 4193 HAS SOUPS 4180 WITH SCORE 4193.687
AT ITER 1881 NEW BEST:: SOT 28694 SOS 13597 HAS SOPS 13575 HAS SOUS 4178 HAS SOUPS 4165 WITH SCORE 4178.597
AT ITER 1907 NEW BEST:: SOT 28688 SOS 13582 HAS SOPS 13560 HAS SOUS 4175 HAS SOUPS 4162 WITH SCORE 4175.582
AT ITER 1924 NEW BEST:: SOT 28684 SOS 13566 HAS SOPS 13544 HAS SOUS 4175 HAS SOUPS 4162 WITH SCORE 4175.566
AT ITER 1943 NEW BEST:: SOT 28680 SOS 13558 HAS SOPS 13536 HAS SOUS 4171 HAS SOUPS 4158 WITH SCORE 4171.558
AT ITER 1952 NEW BEST:: SOT 28737 SOS 13729 HAS SOPS 13707 HAS SOUS 4168 HAS SOUPS 4155 WITH SCORE 4168.729
AT ITER 1968 NEW BEST:: SOT 28736 SOS 13728 HAS SOPS 13706 HAS SOUS 4162 HAS SOUPS 4149 WITH SCORE 4162.728
AT ITER 1978 NEW BEST:: SOT 28739 SOS 13746 HAS SOPS 13724 HAS SOUS 4160 HAS SOUPS 4147 WITH SCORE 4160.746
AT ITER 2030 NEW BEST:: SOT 28737 SOS 13744 HAS SOPS 13722 HAS SOUS 4156 HAS SOUPS 4143 WITH SCORE 4156.744
AT ITER 2039 NEW BEST:: SOT 28735 SOS 13700 HAS SOPS 13678 HAS SOUS 4156 HAS SOUPS 4143 WITH SCORE 4156.7
AT ITER 2111 NEW BEST:: SOT 28728 SOS 13693 HAS SOPS 13671 HAS SOUS 4154 HAS SOUPS 4141 WITH SCORE 4154.693
AT ITER 2122 NEW BEST:: SOT 28725 SOS 13690 HAS SOPS 13668 HAS SOUS 4151 HAS SOUPS 4138 WITH SCORE 4151.69
AT ITER 2145 NEW BEST:: SOT 28696 SOS 13656 HAS SOPS 13634 HAS SOUS 4124 HAS SOUPS 4111 WITH SCORE 4124.656
AT ITER 2199 NEW BEST:: SOT 28692 SOS 13644 HAS SOPS 13622 HAS SOUS 4122 HAS SOUPS 4109 WITH SCORE 4122.644
AT ITER 2306 NEW BEST:: SOT 28689 SOS 13641 HAS SOPS 13619 HAS SOUS 4119 HAS SOUPS 4106 WITH SCORE 4119.641
AT ITER 2327 NEW BEST:: SOT 28686 SOS 13638 HAS SOPS 13616 HAS SOUS 4116 HAS SOUPS 4103 WITH SCORE 4116.638
AT ITER 2342 NEW BEST:: SOT 28686 SOS 13528 HAS SOPS 13506 HAS SOUS 4116 HAS SOUPS 4103 WITH SCORE 4116.528
AT ITER 2411 NEW BEST:: SOT 28686 SOS 13516 HAS SOPS 13494 HAS SOUS 4116 HAS SOUPS 4103 WITH SCORE 4116.516
AT ITER 2415 NEW BEST:: SOT 28672 SOS 13502 HAS SOPS 13480 HAS SOUS 4113 HAS SOUPS 4100 WITH SCORE 4113.502
AT ITER 2474 NEW BEST:: SOT 28660 SOS 13381 HAS SOPS 13359 HAS SOUS 4110 HAS SOUPS 4097 WITH SCORE 4110.381
AT ITER 2482 NEW BEST:: SOT 28698 SOS 13439 HAS SOPS 13417 HAS SOUS 4086 HAS SOUPS 4073 WITH SCORE 4086.439
AT ITER 2520 NEW BEST:: SOT 28701 SOS 13447 HAS SOPS 13425 HAS SOUS 4084 HAS SOUPS 4071 WITH SCORE 4084.447
AT ITER 2570 NEW BEST:: SOT 28695 SOS 13441 HAS SOPS 13419 HAS SOUS 4084 HAS SOUPS 4071 WITH SCORE 4084.441
AT ITER 2583 NEW BEST:: SOT 28695 SOS 13450 HAS SOPS 13428 HAS SOUS 4083 HAS SOUPS 4070 WITH SCORE 4083.45
AT ITER 2626 NEW BEST:: SOT 28691 SOS 13434 HAS SOPS 13412 HAS SOUS 4079 HAS SOUPS 4066 WITH SCORE 4079.434
AT ITER 2642 NEW BEST:: SOT 28685 SOS 13428 HAS SOPS 13406 HAS SOUS 4079 HAS SOUPS 4066 WITH SCORE 4079.428
AT ITER 2716 NEW BEST:: SOT 28685 SOS 13428 HAS SOPS 13406 HAS SOUS 4077 HAS SOUPS 4064 WITH SCORE 4077.428
AT ITER 2767 NEW BEST:: SOT 28642 SOS 13309 HAS SOPS 13287 HAS SOUS 4043 HAS SOUPS 4030 WITH SCORE 4043.309
AT ITER 2789 NEW BEST:: SOT 28651 SOS 13318 HAS SOPS 13296 HAS SOUS 4040 HAS SOUPS 4027 WITH SCORE 4040.318
AT ITER 2883 NEW BEST:: SOT 28686 SOS 13300 HAS SOPS 13278 HAS SOUS 4027 HAS SOUPS 4014 WITH SCORE 4027.3
AT ITER 2926 NEW BEST:: SOT 28682 SOS 13292 HAS SOPS 13270 HAS SOUS 4021 HAS SOUPS 4008 WITH SCORE 4021.292
AT ITER 2945 NEW BEST:: SOT 28678 SOS 13288 HAS SOPS 13266 HAS SOUS 4019 HAS SOUPS 4006 WITH SCORE 4019.288
AT ITER 3002 NEW BEST:: SOT 28678 SOS 13288 HAS SOPS 13266 HAS SOUS 4015 HAS SOUPS 4002 WITH SCORE 4015.288
AT ITER 3023 NEW BEST:: SOT 28660 SOS 13270 HAS SOPS 13248 HAS SOUS 4008 HAS SOUPS 3995 WITH SCORE 4008.27
AT ITER 3095 NEW BEST:: SOT 28657 SOS 13263 HAS SOPS 13241 HAS SOUS 4008 HAS SOUPS 3995 WITH SCORE 4008.263
AT ITER 3107 NEW BEST:: SOT 28653 SOS 13259 HAS SOPS 13237 HAS SOUS 3989 HAS SOUPS 3976 WITH SCORE 3989.259
AT ITER 3120 NEW BEST:: SOT 28662 SOS 13289 HAS SOPS 13267 HAS SOUS 3987 HAS SOUPS 3974 WITH SCORE 3987.289
AT ITER 3139 NEW BEST:: SOT 28671 SOS 13298 HAS SOPS 13276 HAS SOUS 3978 HAS SOUPS 3965 WITH SCORE 3978.298
AT ITER 3186 NEW BEST:: SOT 28671 SOS 13298 HAS SOPS 13276 HAS SOUS 3967 HAS SOUPS 3954 WITH SCORE 3967.298
AT ITER 3225 NEW BEST:: SOT 28670 SOS 13296 HAS SOPS 13274 HAS SOUS 3966 HAS SOUPS 3953 WITH SCORE 3966.296
AT ITER 3230 NEW BEST:: SOT 28699 SOS 13369 HAS SOPS 13347 HAS SOUS 3959 HAS SOUPS 3946 WITH SCORE 3959.369
AT ITER 3249 NEW BEST:: SOT 28702 SOS 13372 HAS SOPS 13350 HAS SOUS 3957 HAS SOUPS 3944 WITH SCORE 3957.372
AT ITER 3262 NEW BEST:: SOT 28693 SOS 13465 HAS SOPS 13443 HAS SOUS 3954 HAS SOUPS 3941 WITH SCORE 3954.465
AT ITER 3290 NEW BEST:: SOT 28709 SOS 13486 HAS SOPS 13464 HAS SOUS 3947 HAS SOUPS 3934 WITH SCORE 3947.486
AT ITER 3292 NEW BEST:: SOT 28607 SOS 13188 HAS SOPS 13166 HAS SOUS 3938 HAS SOUPS 3925 WITH SCORE 3938.188
AT ITER 3300 NEW BEST:: SOT 28595 SOS 13176 HAS SOPS 13154 HAS SOUS 3938 HAS SOUPS 3925 WITH SCORE 3938.176
AT ITER 3343 NEW BEST:: SOT 28579 SOS 13160 HAS SOPS 13138 HAS SOUS 3938 HAS SOUPS 3925 WITH SCORE 3938.16
AT ITER 3351 NEW BEST:: SOT 28573 SOS 13151 HAS SOPS 13129 HAS SOUS 3935 HAS SOUPS 3922 WITH SCORE 3935.151
AT ITER 3358 NEW BEST:: SOT 28552 SOS 13130 HAS SOPS 13108 HAS SOUS 3914 HAS SOUPS 3901 WITH SCORE 3914.13
AT ITER 3373 NEW BEST:: SOT 28530 SOS 13108 HAS SOPS 13086 HAS SOUS 3914 HAS SOUPS 3901 WITH SCORE 3914.108
AT ITER 3381 NEW BEST:: SOT 28520 SOS 13083 HAS SOPS 13061 HAS SOUS 3904 HAS SOUPS 3891 WITH SCORE 3904.083
AT ITER 3443 NEW BEST:: SOT 28513 SOS 13076 HAS SOPS 13054 HAS SOUS 3896 HAS SOUPS 3883 WITH SCORE 3896.076
AT ITER 3448 NEW BEST:: SOT 28510 SOS 13067 HAS SOPS 13045 HAS SOUS 3893 HAS SOUPS 3880 WITH SCORE 3893.067
AT ITER 3456 NEW BEST:: SOT 28504 SOS 13055 HAS SOPS 13033 HAS SOUS 3890 HAS SOUPS 3877 WITH SCORE 3890.055
AT ITER 3457 NEW BEST:: SOT 28502 SOS 13053 HAS SOPS 13031 HAS SOUS 3888 HAS SOUPS 3875 WITH SCORE 3888.053
AT ITER 3459 NEW BEST:: SOT 28500 SOS 13051 HAS SOPS 13029 HAS SOUS 3886 HAS SOUPS 3873 WITH SCORE 3886.051
AT ITER 3467 NEW BEST:: SOT 28498 SOS 13045 HAS SOPS 13023 HAS SOUS 3884 HAS SOUPS 3871 WITH SCORE 3884.045
AT ITER 3475 NEW BEST:: SOT 28515 SOS 13219 HAS SOPS 13197 HAS SOUS 3881 HAS SOUPS 3868 WITH SCORE 3881.219
AT ITER 3557 NEW BEST:: SOT 28469 SOS 13153 HAS SOPS 13131 HAS SOUS 3881 HAS SOUPS 3868 WITH SCORE 3881.153
AT ITER 3575 NEW BEST:: SOT 28467 SOS 13150 HAS SOPS 13128 HAS SOUS 3879 HAS SOUPS 3866 WITH SCORE 3879.15
AT ITER 3586 NEW BEST:: SOT 28462 SOS 13145 HAS SOPS 13123 HAS SOUS 3874 HAS SOUPS 3861 WITH SCORE 3874.145
AT ITER 3595 NEW BEST:: SOT 28455 SOS 13131 HAS SOPS 13109 HAS SOUS 3874 HAS SOUPS 3861 WITH SCORE 3874.131
AT ITER 3604 NEW BEST:: SOT 28452 SOS 13124 HAS SOPS 13102 HAS SOUS 3874 HAS SOUPS 3861 WITH SCORE 3874.124
AT ITER 3621 NEW BEST:: SOT 28443 SOS 13106 HAS SOPS 13084 HAS SOUS 3873 HAS SOUPS 3860 WITH SCORE 3873.106
AT ITER 3630 NEW BEST:: SOT 28443 SOS 13112 HAS SOPS 13090 HAS SOUS 3867 HAS SOUPS 3854 WITH SCORE 3867.112
AT ITER 3676 NEW BEST:: SOT 28442 SOS 13109 HAS SOPS 13087 HAS SOUS 3866 HAS SOUPS 3853 WITH SCORE 3866.109
AT ITER 3734 NEW BEST:: SOT 28440 SOS 13106 HAS SOPS 13084 HAS SOUS 3864 HAS SOUPS 3851 WITH SCORE 3864.106
AT ITER 3744 NEW BEST:: SOT 28435 SOS 13101 HAS SOPS 13079 HAS SOUS 3863 HAS SOUPS 3850 WITH SCORE 3863.101
AT ITER 3780 NEW BEST:: SOT 28434 SOS 13100 HAS SOPS 13078 HAS SOUS 3861 HAS SOUPS 3848 WITH SCORE 3861.1
AT ITER 3792 NEW BEST:: SOT 28425 SOS 13091 HAS SOPS 13069 HAS SOUS 3861 HAS SOUPS 3848 WITH SCORE 3861.091
AT ITER 3832 NEW BEST:: SOT 28425 SOS 13091 HAS SOPS 13069 HAS SOUS 3860 HAS SOUPS 3847 WITH SCORE 3860.091
AT ITER 3842 NEW BEST:: SOT 28421 SOS 13087 HAS SOPS 13065 HAS SOUS 3856 HAS SOUPS 3843 WITH SCORE 3856.087
AT ITER 3925 NEW BEST:: SOT 28423 SOS 13082 HAS SOPS 13060 HAS SOUS 3835 HAS SOUPS 3822 WITH SCORE 3835.082
AT ITER 3942 NEW BEST:: SOT 28424 SOS 13088 HAS SOPS 13066 HAS SOUS 3833 HAS SOUPS 3820 WITH SCORE 3833.088
AT ITER 3947 NEW BEST:: SOT 28399 SOS 13035 HAS SOPS 13013 HAS SOUS 3826 HAS SOUPS 3813 WITH SCORE 3826.035
AT ITER 4012 NEW BEST:: SOT 28394 SOS 13030 HAS SOPS 13008 HAS SOUS 3821 HAS SOUPS 3808 WITH SCORE 3821.03
AT ITER 4066 NEW BEST:: SOT 28400 SOS 13036 HAS SOPS 13014 HAS SOUS 3803 HAS SOUPS 3790 WITH SCORE 3803.036
AT ITER 4098 NEW BEST:: SOT 28409 SOS 13045 HAS SOPS 13023 HAS SOUS 3802 HAS SOUPS 3789 WITH SCORE 3802.045
AT ITER 4117 NEW BEST:: SOT 28408 SOS 13044 HAS SOPS 13022 HAS SOUS 3801 HAS SOUPS 3788 WITH SCORE 3801.044
AT ITER 4192 NEW BEST:: SOT 28407 SOS 13043 HAS SOPS 13021 HAS SOUS 3801 HAS SOUPS 3788 WITH SCORE 3801.043
AT ITER 4210 NEW BEST:: SOT 28407 SOS 13043 HAS SOPS 13021 HAS SOUS 3799 HAS SOUPS 3786 WITH SCORE 3799.043
AT ITER 4212 NEW BEST:: SOT 28406 SOS 13042 HAS SOPS 13020 HAS SOUS 3799 HAS SOUPS 3786 WITH SCORE 3799.042
AT ITER 4213 NEW BEST:: SOT 28402 SOS 13025 HAS SOPS 13003 HAS SOUS 3798 HAS SOUPS 3785 WITH SCORE 3798.025
AT ITER 4217 NEW BEST:: SOT 28397 SOS 13020 HAS SOPS 12998 HAS SOUS 3793 HAS SOUPS 3780 WITH SCORE 3793.02
AT ITER 4226 NEW BEST:: SOT 28393 SOS 13016 HAS SOPS 12994 HAS SOUS 3793 HAS SOUPS 3780 WITH SCORE 3793.016
AT ITER 4334 NEW BEST:: SOT 28383 SOS 13006 HAS SOPS 12984 HAS SOUS 3783 HAS SOUPS 3770 WITH SCORE 3783.006
AT ITER 4340 NEW BEST:: SOT 28377 SOS 13000 HAS SOPS 12978 HAS SOUS 3782 HAS SOUPS 3769 WITH SCORE 3782.0
AT ITER 4371 NEW BEST:: SOT 28371 SOS 12988 HAS SOPS 12966 HAS SOUS 3777 HAS SOUPS 3764 WITH SCORE 3776.988
AT ITER 4378 NEW BEST:: SOT 28370 SOS 12987 HAS SOPS 12965 HAS SOUS 3776 HAS SOUPS 3763 WITH SCORE 3775.987
AT ITER 4410 NEW BEST:: SOT 28366 SOS 12983 HAS SOPS 12961 HAS SOUS 3772 HAS SOUPS 3759 WITH SCORE 3771.983
AT ITER 4530 NEW BEST:: SOT 28355 SOS 12972 HAS SOPS 12950 HAS SOUS 3768 HAS SOUPS 3755 WITH SCORE 3767.972
AT ITER 4535 NEW BEST:: SOT 28348 SOS 12965 HAS SOPS 12943 HAS SOUS 3768 HAS SOUPS 3755 WITH SCORE 3767.965
AT ITER 4551 NEW BEST:: SOT 28346 SOS 12963 HAS SOPS 12941 HAS SOUS 3764 HAS SOUPS 3751 WITH SCORE 3763.963
AT ITER 4561 NEW BEST:: SOT 28346 SOS 12963 HAS SOPS 12941 HAS SOUS 3759 HAS SOUPS 3746 WITH SCORE 3758.963
AT ITER 4583 NEW BEST:: SOT 28359 SOS 12976 HAS SOPS 12954 HAS SOUS 3757 HAS SOUPS 3744 WITH SCORE 3756.976
AT ITER 4652 NEW BEST:: SOT 28358 SOS 12975 HAS SOPS 12953 HAS SOUS 3756 HAS SOUPS 3743 WITH SCORE 3755.975
AT ITER 4668 NEW BEST:: SOT 28356 SOS 12973 HAS SOPS 12951 HAS SOUS 3754 HAS SOUPS 3741 WITH SCORE 3753.973
AT ITER 4730 NEW BEST:: SOT 28355 SOS 12972 HAS SOPS 12950 HAS SOUS 3753 HAS SOUPS 3740 WITH SCORE 3752.972
AT ITER 4758 NEW BEST:: SOT 28353 SOS 12970 HAS SOPS 12948 HAS SOUS 3752 HAS SOUPS 3739 WITH SCORE 3751.97
AT ITER 4762 NEW BEST:: SOT 28351 SOS 12968 HAS SOPS 12946 HAS SOUS 3751 HAS SOUPS 3738 WITH SCORE 3750.968
AT ITER 4774 NEW BEST:: SOT 28350 SOS 12967 HAS SOPS 12945 HAS SOUS 3750 HAS SOUPS 3737 WITH SCORE 3749.967
AT ITER 4866 NEW BEST:: SOT 28350 SOS 12967 HAS SOPS 12945 HAS SOUS 3749 HAS SOUPS 3736 WITH SCORE 3748.967
AT ITER 4872 NEW BEST:: SOT 28350 SOS 12967 HAS SOPS 12945 HAS SOUS 3748 HAS SOUPS 3735 WITH SCORE 3747.967
AT ITER 4936 NEW BEST:: SOT 28349 SOS 12941 HAS SOPS 12919 HAS SOUS 3744 HAS SOUPS 3731 WITH SCORE 3743.941
AT ITER 5023 NEW BEST:: SOT 28347 SOS 12935 HAS SOPS 12913 HAS SOUS 3742 HAS SOUPS 3729 WITH SCORE 3741.935
AT ITER 5133 NEW BEST:: SOT 28333 SOS 12911 HAS SOPS 12889 HAS SOUS 3742 HAS SOUPS 3729 WITH SCORE 3741.911
AT ITER 5135 NEW BEST:: SOT 28331 SOS 12910 HAS SOPS 12888 HAS SOUS 3740 HAS SOUPS 3727 WITH SCORE 3739.91
AT ITER 5151 NEW BEST:: SOT 28323 SOS 12902 HAS SOPS 12880 HAS SOUS 3740 HAS SOUPS 3727 WITH SCORE 3739.902
AT ITER 5223 NEW BEST:: SOT 28323 SOS 12898 HAS SOPS 12876 HAS SOUS 3738 HAS SOUPS 3725 WITH SCORE 3737.898
AT ITER 5261 NEW BEST:: SOT 28323 SOS 12898 HAS SOPS 12876 HAS SOUS 3724 HAS SOUPS 3711 WITH SCORE 3723.898
AT ITER 5289 NEW BEST:: SOT 28320 SOS 12895 HAS SOPS 12873 HAS SOUS 3721 HAS SOUPS 3708 WITH SCORE 3720.895
AT ITER 5331 NEW BEST:: SOT 28318 SOS 12891 HAS SOPS 12869 HAS SOUS 3720 HAS SOUPS 3707 WITH SCORE 3719.891
AT ITER 5344 NEW BEST:: SOT 28314 SOS 12887 HAS SOPS 12865 HAS SOUS 3714 HAS SOUPS 3701 WITH SCORE 3713.887
AT ITER 5433 NEW BEST:: SOT 28317 SOS 12908 HAS SOPS 12886 HAS SOUS 3708 HAS SOUPS 3695 WITH SCORE 3707.908
AT ITER 5466 NEW BEST:: SOT 28316 SOS 12906 HAS SOPS 12884 HAS SOUS 3708 HAS SOUPS 3695 WITH SCORE 3707.906
AT ITER 5490 NEW BEST:: SOT 28311 SOS 12897 HAS SOPS 12875 HAS SOUS 3705 HAS SOUPS 3692 WITH SCORE 3704.897
AT ITER 5520 NEW BEST:: SOT 28307 SOS 12893 HAS SOPS 12871 HAS SOUS 3705 HAS SOUPS 3692 WITH SCORE 3704.893
AT ITER 5648 NEW BEST:: SOT 28311 SOS 12897 HAS SOPS 12875 HAS SOUS 3701 HAS SOUPS 3688 WITH SCORE 3700.897
AT ITER 5687 NEW BEST:: SOT 28309 SOS 12895 HAS SOPS 12873 HAS SOUS 3699 HAS SOUPS 3686 WITH SCORE 3698.895
AT ITER 5743 NEW BEST:: SOT 28314 SOS 12900 HAS SOPS 12878 HAS SOUS 3698 HAS SOUPS 3685 WITH SCORE 3697.9
AT ITER 5752 NEW BEST:: SOT 28313 SOS 12898 HAS SOPS 12876 HAS SOUS 3696 HAS SOUPS 3683 WITH SCORE 3695.898
AT ITER 5801 NEW BEST:: SOT 28311 SOS 12896 HAS SOPS 12874 HAS SOUS 3694 HAS SOUPS 3681 WITH SCORE 3693.896
AT ITER 5809 NEW BEST:: SOT 28306 SOS 12896 HAS SOPS 12874 HAS SOUS 3692 HAS SOUPS 3679 WITH SCORE 3691.896
AT ITER 5851 NEW BEST:: SOT 28310 SOS 12900 HAS SOPS 12878 HAS SOUS 3688 HAS SOUPS 3675 WITH SCORE 3687.9
AT ITER 5863 NEW BEST:: SOT 28309 SOS 12899 HAS SOPS 12877 HAS SOUS 3686 HAS SOUPS 3673 WITH SCORE 3685.899
AT ITER 5998 NEW BEST:: SOT 28306 SOS 12893 HAS SOPS 12871 HAS SOUS 3680 HAS SOUPS 3667 WITH SCORE 3679.893
AT ITER 6042 NEW BEST:: SOT 28308 SOS 12873 HAS SOPS 12851 HAS SOUS 3680 HAS SOUPS 3667 WITH SCORE 3679.873
AT ITER 6056 NEW BEST:: SOT 28300 SOS 12865 HAS SOPS 12843 HAS SOUS 3680 HAS SOUPS 3667 WITH SCORE 3679.865
AT ITER 6067 NEW BEST:: SOT 28299 SOS 12864 HAS SOPS 12842 HAS SOUS 3678 HAS SOUPS 3665 WITH SCORE 3677.864
AT ITER 6119 NEW BEST:: SOT 28304 SOS 12869 HAS SOPS 12847 HAS SOUS 3673 HAS SOUPS 3660 WITH SCORE 3672.869
AT ITER 6161 NEW BEST:: SOT 28303 SOS 12869 HAS SOPS 12847 HAS SOUS 3672 HAS SOUPS 3659 WITH SCORE 3671.869
AT ITER 6324 NEW BEST:: SOT 28301 SOS 12865 HAS SOPS 12843 HAS SOUS 3672 HAS SOUPS 3659 WITH SCORE 3671.865
AT ITER 6412 NEW BEST:: SOT 28300 SOS 12864 HAS SOPS 12842 HAS SOUS 3672 HAS SOUPS 3659 WITH SCORE 3671.864
AT ITER 6414 NEW BEST:: SOT 28313 SOS 12873 HAS SOPS 12851 HAS SOUS 3666 HAS SOUPS 3653 WITH SCORE 3665.873
AT ITER 6424 NEW BEST:: SOT 28313 SOS 12873 HAS SOPS 12851 HAS SOUS 3657 HAS SOUPS 3644 WITH SCORE 3656.873
AT ITER 6449 NEW BEST:: SOT 28298 SOS 12843 HAS SOPS 12821 HAS SOUS 3657 HAS SOUPS 3644 WITH SCORE 3656.843
AT ITER 6473 NEW BEST:: SOT 28297 SOS 12845 HAS SOPS 12823 HAS SOUS 3652 HAS SOUPS 3639 WITH SCORE 3651.845
AT ITER 6485 NEW BEST:: SOT 28293 SOS 12837 HAS SOPS 12815 HAS SOUS 3650 HAS SOUPS 3637 WITH SCORE 3649.837
AT ITER 6533 NEW BEST:: SOT 28292 SOS 12836 HAS SOPS 12814 HAS SOUS 3650 HAS SOUPS 3637 WITH SCORE 3649.836
AT ITER 6724 NEW BEST:: SOT 28285 SOS 12822 HAS SOPS 12800 HAS SOUS 3648 HAS SOUPS 3635 WITH SCORE 3647.822
AT ITER 6770 NEW BEST:: SOT 28283 SOS 12820 HAS SOPS 12798 HAS SOUS 3646 HAS SOUPS 3633 WITH SCORE 3645.82
AT ITER 6880 NEW BEST:: SOT 28279 SOS 12816 HAS SOPS 12794 HAS SOUS 3642 HAS SOUPS 3629 WITH SCORE 3641.816
AT ITER 6979 NEW BEST:: SOT 28276 SOS 12810 HAS SOPS 12788 HAS SOUS 3639 HAS SOUPS 3626 WITH SCORE 3638.81
AT ITER 6995 NEW BEST:: SOT 28276 SOS 12810 HAS SOPS 12788 HAS SOUS 3632 HAS SOUPS 3619 WITH SCORE 3631.81
AT ITER 7020 NEW BEST:: SOT 28285 SOS 12819 HAS SOPS 12797 HAS SOUS 3628 HAS SOUPS 3615 WITH SCORE 3627.819
AT ITER 7028 NEW BEST:: SOT 28283 SOS 12813 HAS SOPS 12791 HAS SOUS 3625 HAS SOUPS 3612 WITH SCORE 3624.813
AT ITER 7065 NEW BEST:: SOT 28282 SOS 12812 HAS SOPS 12790 HAS SOUS 3624 HAS SOUPS 3611 WITH SCORE 3623.812
AT ITER 7117 NEW BEST:: SOT 28220 SOS 12693 HAS SOPS 12671 HAS SOUS 3620 HAS SOUPS 3607 WITH SCORE 3619.693
AT ITER 7158 NEW BEST:: SOT 28207 SOS 12658 HAS SOPS 12636 HAS SOUS 3606 HAS SOUPS 3593 WITH SCORE 3605.658
AT ITER 7188 NEW BEST:: SOT 28214 SOS 12665 HAS SOPS 12643 HAS SOUS 3605 HAS SOUPS 3592 WITH SCORE 3604.665
AT ITER 7208 NEW BEST:: SOT 28218 SOS 12669 HAS SOPS 12647 HAS SOUS 3602 HAS SOUPS 3589 WITH SCORE 3601.669
AT ITER 7326 NEW BEST:: SOT 28213 SOS 12664 HAS SOPS 12642 HAS SOUS 3598 HAS SOUPS 3585 WITH SCORE 3597.664
AT ITER 7345 NEW BEST:: SOT 28211 SOS 12660 HAS SOPS 12638 HAS SOUS 3598 HAS SOUPS 3585 WITH SCORE 3597.66
AT ITER 7367 NEW BEST:: SOT 28186 SOS 12620 HAS SOPS 12598 HAS SOUS 3588 HAS SOUPS 3575 WITH SCORE 3587.62
AT ITER 7446 NEW BEST:: SOT 28182 SOS 12616 HAS SOPS 12594 HAS SOUS 3584 HAS SOUPS 3571 WITH SCORE 3583.616
AT ITER 7469 NEW BEST:: SOT 28178 SOS 12612 HAS SOPS 12590 HAS SOUS 3580 HAS SOUPS 3567 WITH SCORE 3579.612
AT ITER 7481 NEW BEST:: SOT 28175 SOS 12609 HAS SOPS 12587 HAS SOUS 3579 HAS SOUPS 3566 WITH SCORE 3578.609
AT ITER 7531 NEW BEST:: SOT 28174 SOS 12608 HAS SOPS 12586 HAS SOUS 3579 HAS SOUPS 3566 WITH SCORE 3578.608
AT ITER 7561 NEW BEST:: SOT 28171 SOS 12603 HAS SOPS 12581 HAS SOUS 3575 HAS SOUPS 3562 WITH SCORE 3574.603
AT ITER 7587 NEW BEST:: SOT 28167 SOS 12543 HAS SOPS 12521 HAS SOUS 3571 HAS SOUPS 3558 WITH SCORE 3570.543
AT ITER 7801 NEW BEST:: SOT 28165 SOS 12541 HAS SOPS 12519 HAS SOUS 3569 HAS SOUPS 3556 WITH SCORE 3568.541
AT ITER 7869 NEW BEST:: SOT 28163 SOS 12539 HAS SOPS 12517 HAS SOUS 3567 HAS SOUPS 3554 WITH SCORE 3566.539
AT ITER 7963 NEW BEST:: SOT 28177 SOS 12567 HAS SOPS 12545 HAS SOUS 3566 HAS SOUPS 3553 WITH SCORE 3565.567
AT ITER 7969 NEW BEST:: SOT 28174 SOS 12561 HAS SOPS 12539 HAS SOUS 3565 HAS SOUPS 3552 WITH SCORE 3564.561
AT ITER 8027 NEW BEST:: SOT 28172 SOS 12541 HAS SOPS 12519 HAS SOUS 3562 HAS SOUPS 3549 WITH SCORE 3561.541
AT ITER 8161 NEW BEST:: SOT 28172 SOS 12541 HAS SOPS 12519 HAS SOUS 3558 HAS SOUPS 3545 WITH SCORE 3557.541
AT ITER 8225 NEW BEST:: SOT 28172 SOS 12541 HAS SOPS 12519 HAS SOUS 3550 HAS SOUPS 3537 WITH SCORE 3549.541
AT ITER 8234 NEW BEST:: SOT 28165 SOS 12534 HAS SOPS 12512 HAS SOUS 3543 HAS SOUPS 3530 WITH SCORE 3542.534
AT ITER 8249 NEW BEST:: SOT 28164 SOS 12533 HAS SOPS 12511 HAS SOUS 3542 HAS SOUPS 3529 WITH SCORE 3541.533
AT ITER 8262 NEW BEST:: SOT 28148 SOS 12489 HAS SOPS 12467 HAS SOUS 3538 HAS SOUPS 3525 WITH SCORE 3537.489
AT ITER 8281 NEW BEST:: SOT 28148 SOS 12482 HAS SOPS 12460 HAS SOUS 3537 HAS SOUPS 3524 WITH SCORE 3536.482
AT ITER 8302 NEW BEST:: SOT 28142 SOS 12479 HAS SOPS 12457 HAS SOUS 3528 HAS SOUPS 3515 WITH SCORE 3527.479
AT ITER 8456 NEW BEST:: SOT 28143 SOS 12480 HAS SOPS 12458 HAS SOUS 3527 HAS SOUPS 3514 WITH SCORE 3526.48
AT ITER 8707 NEW BEST:: SOT 28142 SOS 12472 HAS SOPS 12450 HAS SOUS 3524 HAS SOUPS 3511 WITH SCORE 3523.472
AT ITER 8773 NEW BEST:: SOT 28133 SOS 12463 HAS SOPS 12441 HAS SOUS 3519 HAS SOUPS 3506 WITH SCORE 3518.463
AT ITER 8982 NEW BEST:: SOT 28120 SOS 12377 HAS SOPS 12355 HAS SOUS 3519 HAS SOUPS 3506 WITH SCORE 3518.377
AT ITER 8987 NEW BEST:: SOT 28100 SOS 12337 HAS SOPS 12315 HAS SOUS 3519 HAS SOUPS 3506 WITH SCORE 3518.337
AT ITER 9029 NEW BEST:: SOT 28101 SOS 12338 HAS SOPS 12316 HAS SOUS 3518 HAS SOUPS 3505 WITH SCORE 3517.338
AT ITER 9282 NEW BEST:: SOT 28103 SOS 12351 HAS SOPS 12329 HAS SOUS 3517 HAS SOUPS 3504 WITH SCORE 3516.351
AT ITER 9413 NEW BEST:: SOT 28102 SOS 12349 HAS SOPS 12327 HAS SOUS 3516 HAS SOUPS 3503 WITH SCORE 3515.349
AT ITER 9589 NEW BEST:: SOT 28069 SOS 12316 HAS SOPS 12294 HAS SOUS 3516 HAS SOUPS 3503 WITH SCORE 3515.316
AT ITER 9667 NEW BEST:: SOT 28069 SOS 12316 HAS SOPS 12294 HAS SOUS 3514 HAS SOUPS 3501 WITH SCORE 3513.316
AT ITER 9668 NEW BEST:: SOT 28074 SOS 12321 HAS SOPS 12299 HAS SOUS 3509 HAS SOUPS 3496 WITH SCORE 3508.321
AT ITER 9714 NEW BEST:: SOT 28068 SOS 12305 HAS SOPS 12283 HAS SOUS 3505 HAS SOUPS 3492 WITH SCORE 3504.305
AT ITER 9735 NEW BEST:: SOT 28066 SOS 12303 HAS SOPS 12281 HAS SOUS 3503 HAS SOUPS 3490 WITH SCORE 3502.303
AT ITER 9791 NEW BEST:: SOT 28064 SOS 12302 HAS SOPS 12280 HAS SOUS 3501 HAS SOUPS 3488 WITH SCORE 3500.302
AT ITER 9970 NEW BEST:: SOT 28062 SOS 12295 HAS SOPS 12273 HAS SOUS 3500 HAS SOUPS 3487 WITH SCORE 3499.295
STATE_SPACE STATES 2771271911 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 46030895030 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678497095875

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

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