About the Execution of smart for Raft-PT-05
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15765.300 | 3600000.00 | 3600040.00 | 0.00 | F??????????????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502600243.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Raft-PT-05, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502600243
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 244K
-rw-r--r-- 1 mcc users 3.6K Apr 12 08:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 08:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 11 09:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 11 09:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 9 21:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 9 21:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 62K Mar 24 05:38 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Raft-PT-05-CTLCardinality-00
FORMULA_NAME Raft-PT-05-CTLCardinality-01
FORMULA_NAME Raft-PT-05-CTLCardinality-02
FORMULA_NAME Raft-PT-05-CTLCardinality-03
FORMULA_NAME Raft-PT-05-CTLCardinality-04
FORMULA_NAME Raft-PT-05-CTLCardinality-05
FORMULA_NAME Raft-PT-05-CTLCardinality-06
FORMULA_NAME Raft-PT-05-CTLCardinality-07
FORMULA_NAME Raft-PT-05-CTLCardinality-08
FORMULA_NAME Raft-PT-05-CTLCardinality-09
FORMULA_NAME Raft-PT-05-CTLCardinality-10
FORMULA_NAME Raft-PT-05-CTLCardinality-11
FORMULA_NAME Raft-PT-05-CTLCardinality-12
FORMULA_NAME Raft-PT-05-CTLCardinality-13
FORMULA_NAME Raft-PT-05-CTLCardinality-14
FORMULA_NAME Raft-PT-05-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589796340793
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 05
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 133 places, 238 transitions, 864 arcs.
AT ITER 0 NEW BEST:: SOT 27317 SOS 17522 HAS SOPS 17502 HAS SOUS 13979 HAS SOUPS 13974 WITH SCORE 13991.522
AT ITER 3 NEW BEST:: SOT 27273 SOS 17476 HAS SOPS 17451 HAS SOUS 13914 HAS SOUPS 13905 WITH SCORE 13922.476
AT ITER 4 NEW BEST:: SOT 27276 SOS 17445 HAS SOPS 17399 HAS SOUS 13836 HAS SOUPS 13807 WITH SCORE 13824.445
AT ITER 6 NEW BEST:: SOT 27148 SOS 17387 HAS SOPS 17328 HAS SOUS 13716 HAS SOUPS 13679 WITH SCORE 13696.387
AT ITER 7 NEW BEST:: SOT 26899 SOS 17138 HAS SOPS 17079 HAS SOUS 13483 HAS SOUPS 13446 WITH SCORE 13463.138
AT ITER 8 NEW BEST:: SOT 26898 SOS 17132 HAS SOPS 17073 HAS SOUS 13483 HAS SOUPS 13446 WITH SCORE 13463.132
AT ITER 10 NEW BEST:: SOT 26678 SOS 16994 HAS SOPS 16919 HAS SOUS 13392 HAS SOUPS 13340 WITH SCORE 13356.994
AT ITER 11 NEW BEST:: SOT 26454 SOS 16754 HAS SOPS 16679 HAS SOUS 13168 HAS SOUPS 13116 WITH SCORE 13132.754
AT ITER 12 NEW BEST:: SOT 26454 SOS 16752 HAS SOPS 16677 HAS SOUS 13168 HAS SOUPS 13116 WITH SCORE 13132.752
AT ITER 15 NEW BEST:: SOT 26326 SOS 16609 HAS SOPS 16525 HAS SOUS 13016 HAS SOUPS 12964 WITH SCORE 12980.609
AT ITER 16 NEW BEST:: SOT 26095 SOS 16420 HAS SOPS 16327 HAS SOUS 12859 HAS SOUPS 12799 WITH SCORE 12815.42
AT ITER 18 NEW BEST:: SOT 26095 SOS 16435 HAS SOPS 16342 HAS SOUS 12844 HAS SOUPS 12784 WITH SCORE 12800.435
AT ITER 19 NEW BEST:: SOT 26185 SOS 16408 HAS SOPS 16114 HAS SOUS 12911 HAS SOUPS 12650 WITH SCORE 12666.408
AT ITER 21 NEW BEST:: SOT 26185 SOS 16278 HAS SOPS 15984 HAS SOUS 12911 HAS SOUPS 12650 WITH SCORE 12666.278
AT ITER 22 NEW BEST:: SOT 26185 SOS 16047 HAS SOPS 15783 HAS SOUS 12881 HAS SOUPS 12650 WITH SCORE 12666.047
AT ITER 24 NEW BEST:: SOT 26135 SOS 16020 HAS SOPS 15748 HAS SOUS 12861 HAS SOUPS 12625 WITH SCORE 12641.02
AT ITER 25 NEW BEST:: SOT 26003 SOS 15922 HAS SOPS 15657 HAS SOUS 12731 HAS SOUPS 12502 WITH SCORE 12517.922
AT ITER 27 NEW BEST:: SOT 25995 SOS 15905 HAS SOPS 15640 HAS SOUS 12713 HAS SOUPS 12484 WITH SCORE 12499.905
AT ITER 31 NEW BEST:: SOT 25995 SOS 15897 HAS SOPS 15641 HAS SOUS 12704 HAS SOUPS 12484 WITH SCORE 12499.897
AT ITER 33 NEW BEST:: SOT 25723 SOS 15887 HAS SOPS 15497 HAS SOUS 12688 HAS SOUPS 12436 WITH SCORE 12451.887
AT ITER 37 NEW BEST:: SOT 25723 SOS 15890 HAS SOPS 15497 HAS SOUS 12684 HAS SOUPS 12430 WITH SCORE 12445.89
AT ITER 44 NEW BEST:: SOT 25657 SOS 15954 HAS SOPS 15572 HAS SOUS 12624 HAS SOUPS 12381 WITH SCORE 12396.954
AT ITER 46 NEW BEST:: SOT 25578 SOS 15875 HAS SOPS 15472 HAS SOUS 12544 HAS SOUPS 12289 WITH SCORE 12304.875
AT ITER 47 NEW BEST:: SOT 25402 SOS 15710 HAS SOPS 15307 HAS SOUS 12382 HAS SOUPS 12127 WITH SCORE 12142.71
AT ITER 49 NEW BEST:: SOT 25398 SOS 15702 HAS SOPS 15299 HAS SOUS 12377 HAS SOUPS 12122 WITH SCORE 12137.702
AT ITER 56 NEW BEST:: SOT 25335 SOS 15751 HAS SOPS 15348 HAS SOUS 12342 HAS SOUPS 12087 WITH SCORE 12102.751
AT ITER 57 NEW BEST:: SOT 25119 SOS 15489 HAS SOPS 15042 HAS SOUS 12056 HAS SOUPS 11781 WITH SCORE 11796.489
AT ITER 58 NEW BEST:: SOT 25119 SOS 15452 HAS SOPS 15005 HAS SOUS 12056 HAS SOUPS 11781 WITH SCORE 11796.452
AT ITER 59 NEW BEST:: SOT 25119 SOS 15441 HAS SOPS 14994 HAS SOUS 12056 HAS SOUPS 11781 WITH SCORE 11796.441
AT ITER 60 NEW BEST:: SOT 25114 SOS 15384 HAS SOPS 14937 HAS SOUS 12024 HAS SOUPS 11749 WITH SCORE 11764.384
AT ITER 62 NEW BEST:: SOT 25114 SOS 15518 HAS SOPS 15071 HAS SOUS 12016 HAS SOUPS 11741 WITH SCORE 11756.518
AT ITER 67 NEW BEST:: SOT 25114 SOS 15301 HAS SOPS 14854 HAS SOUS 11963 HAS SOUPS 11688 WITH SCORE 11703.301
AT ITER 68 NEW BEST:: SOT 24976 SOS 15167 HAS SOPS 14720 HAS SOUS 11828 HAS SOUPS 11553 WITH SCORE 11568.167
AT ITER 69 NEW BEST:: SOT 24558 SOS 15665 HAS SOPS 14107 HAS SOUS 11818 HAS SOUPS 11124 WITH SCORE 11139.665
AT ITER 70 NEW BEST:: SOT 24400 SOS 15498 HAS SOPS 13887 HAS SOUS 11602 HAS SOUPS 10904 WITH SCORE 10919.498
AT ITER 71 NEW BEST:: SOT 24400 SOS 15241 HAS SOPS 13748 HAS SOUS 11485 HAS SOUPS 10862 WITH SCORE 10877.241
AT ITER 74 NEW BEST:: SOT 24120 SOS 15028 HAS SOPS 13525 HAS SOUS 11245 HAS SOUPS 10600 WITH SCORE 10615.028
AT ITER 79 NEW BEST:: SOT 24120 SOS 15028 HAS SOPS 13525 HAS SOUS 11244 HAS SOUPS 10599 WITH SCORE 10614.028
AT ITER 80 NEW BEST:: SOT 23988 SOS 14926 HAS SOPS 13390 HAS SOUS 11125 HAS SOUPS 10480 WITH SCORE 10494.926
AT ITER 81 NEW BEST:: SOT 23988 SOS 14911 HAS SOPS 13356 HAS SOUS 11092 HAS SOUPS 10446 WITH SCORE 10460.911
AT ITER 82 NEW BEST:: SOT 22999 SOS 14372 HAS SOPS 12682 HAS SOUS 10456 HAS SOUPS 9759 WITH SCORE 9773.372
AT ITER 84 NEW BEST:: SOT 22799 SOS 14163 HAS SOPS 12457 HAS SOUS 10206 HAS SOUPS 9509 WITH SCORE 9523.163
AT ITER 86 NEW BEST:: SOT 22745 SOS 14109 HAS SOPS 12403 HAS SOUS 10161 HAS SOUPS 9464 WITH SCORE 9478.109
AT ITER 89 NEW BEST:: SOT 22724 SOS 14081 HAS SOPS 12375 HAS SOUS 10126 HAS SOUPS 9429 WITH SCORE 9443.081
AT ITER 90 NEW BEST:: SOT 22712 SOS 14027 HAS SOPS 12291 HAS SOUS 10100 HAS SOUPS 9403 WITH SCORE 9417.027
AT ITER 94 NEW BEST:: SOT 22618 SOS 13976 HAS SOPS 12103 HAS SOUS 10082 HAS SOUPS 9310 WITH SCORE 9323.976
AT ITER 95 NEW BEST:: SOT 22444 SOS 13890 HAS SOPS 11972 HAS SOUS 9982 HAS SOUPS 9210 WITH SCORE 9223.89
AT ITER 96 NEW BEST:: SOT 22382 SOS 13828 HAS SOPS 11910 HAS SOUS 9942 HAS SOUPS 9170 WITH SCORE 9183.828
AT ITER 97 NEW BEST:: SOT 22382 SOS 13763 HAS SOPS 11845 HAS SOUS 9942 HAS SOUPS 9170 WITH SCORE 9183.763
AT ITER 101 NEW BEST:: SOT 22370 SOS 13745 HAS SOPS 11827 HAS SOUS 9924 HAS SOUPS 9152 WITH SCORE 9165.745
AT ITER 102 NEW BEST:: SOT 22424 SOS 13798 HAS SOPS 11701 HAS SOUS 9977 HAS SOUPS 9026 WITH SCORE 9039.798
AT ITER 103 NEW BEST:: SOT 22424 SOS 13808 HAS SOPS 11689 HAS SOUS 9965 HAS SOUPS 9014 WITH SCORE 9027.808
AT ITER 107 NEW BEST:: SOT 22261 SOS 13676 HAS SOPS 11574 HAS SOUS 9811 HAS SOUPS 8860 WITH SCORE 8873.676
AT ITER 111 NEW BEST:: SOT 22261 SOS 13676 HAS SOPS 11574 HAS SOUS 9803 HAS SOUPS 8852 WITH SCORE 8865.676
AT ITER 113 NEW BEST:: SOT 22230 SOS 13660 HAS SOPS 11543 HAS SOUS 9793 HAS SOUPS 8827 WITH SCORE 8840.66
AT ITER 119 NEW BEST:: SOT 22230 SOS 13588 HAS SOPS 11489 HAS SOUS 9775 HAS SOUPS 8827 WITH SCORE 8840.588
AT ITER 124 NEW BEST:: SOT 22239 SOS 13472 HAS SOPS 11439 HAS SOUS 9709 HAS SOUPS 8827 WITH SCORE 8840.472
AT ITER 129 NEW BEST:: SOT 22239 SOS 13438 HAS SOPS 11404 HAS SOUS 9677 HAS SOUPS 8795 WITH SCORE 8808.438
AT ITER 138 NEW BEST:: SOT 22234 SOS 13432 HAS SOPS 11398 HAS SOUS 9671 HAS SOUPS 8789 WITH SCORE 8802.432
AT ITER 139 NEW BEST:: SOT 22220 SOS 13364 HAS SOPS 11268 HAS SOUS 9583 HAS SOUPS 8701 WITH SCORE 8714.364
AT ITER 141 NEW BEST:: SOT 22072 SOS 13216 HAS SOPS 11127 HAS SOUS 9401 HAS SOUPS 8519 WITH SCORE 8532.216
AT ITER 147 NEW BEST:: SOT 22057 SOS 13201 HAS SOPS 11112 HAS SOUS 9386 HAS SOUPS 8504 WITH SCORE 8517.201
AT ITER 148 NEW BEST:: SOT 22057 SOS 13189 HAS SOPS 11100 HAS SOUS 9386 HAS SOUPS 8504 WITH SCORE 8517.189
AT ITER 151 NEW BEST:: SOT 22009 SOS 13128 HAS SOPS 11028 HAS SOUS 9292 HAS SOUPS 8410 WITH SCORE 8423.128
AT ITER 153 NEW BEST:: SOT 22009 SOS 13094 HAS SOPS 10994 HAS SOUS 9290 HAS SOUPS 8408 WITH SCORE 8421.094
AT ITER 154 NEW BEST:: SOT 21874 SOS 12931 HAS SOPS 10787 HAS SOUS 9136 HAS SOUPS 8254 WITH SCORE 8266.931
AT ITER 157 NEW BEST:: SOT 21863 SOS 12886 HAS SOPS 10742 HAS SOUS 9108 HAS SOUPS 8226 WITH SCORE 8238.886
AT ITER 158 NEW BEST:: SOT 21861 SOS 12884 HAS SOPS 10739 HAS SOUS 9106 HAS SOUPS 8224 WITH SCORE 8236.884
AT ITER 159 NEW BEST:: SOT 21861 SOS 12883 HAS SOPS 10739 HAS SOUS 9106 HAS SOUPS 8224 WITH SCORE 8236.883
AT ITER 160 NEW BEST:: SOT 21835 SOS 12844 HAS SOPS 10700 HAS SOUS 9054 HAS SOUPS 8172 WITH SCORE 8184.844
AT ITER 170 NEW BEST:: SOT 21835 SOS 12799 HAS SOPS 10655 HAS SOUS 9013 HAS SOUPS 8131 WITH SCORE 8143.799
AT ITER 171 NEW BEST:: SOT 21626 SOS 12925 HAS SOPS 10562 HAS SOUS 8946 HAS SOUPS 8044 WITH SCORE 8056.925
AT ITER 173 NEW BEST:: SOT 21594 SOS 12893 HAS SOPS 10507 HAS SOUS 8889 HAS SOUPS 7987 WITH SCORE 7999.893
AT ITER 174 NEW BEST:: SOT 21597 SOS 12668 HAS SOPS 10303 HAS SOUS 8887 HAS SOUPS 7985 WITH SCORE 7997.668
AT ITER 176 NEW BEST:: SOT 21595 SOS 12666 HAS SOPS 10300 HAS SOUS 8884 HAS SOUPS 7982 WITH SCORE 7994.666
AT ITER 187 NEW BEST:: SOT 21595 SOS 12638 HAS SOPS 10272 HAS SOUS 8877 HAS SOUPS 7975 WITH SCORE 7987.638
AT ITER 189 NEW BEST:: SOT 21454 SOS 12497 HAS SOPS 10131 HAS SOUS 8698 HAS SOUPS 7796 WITH SCORE 7808.497
AT ITER 191 NEW BEST:: SOT 20967 SOS 13114 HAS SOPS 9972 HAS SOUS 8608 HAS SOUPS 7706 WITH SCORE 7719.114
AT ITER 198 NEW BEST:: SOT 20858 SOS 13062 HAS SOPS 9882 HAS SOUS 8484 HAS SOUPS 7582 WITH SCORE 7595.062
AT ITER 202 NEW BEST:: SOT 20858 SOS 12798 HAS SOPS 9669 HAS SOUS 8480 HAS SOUPS 7578 WITH SCORE 7590.798
AT ITER 205 NEW BEST:: SOT 20879 SOS 12654 HAS SOPS 9532 HAS SOUS 8458 HAS SOUPS 7556 WITH SCORE 7568.654
AT ITER 211 NEW BEST:: SOT 20804 SOS 12579 HAS SOPS 9475 HAS SOUS 8399 HAS SOUPS 7500 WITH SCORE 7512.579
AT ITER 215 NEW BEST:: SOT 20736 SOS 12503 HAS SOPS 9459 HAS SOUS 8388 HAS SOUPS 7497 WITH SCORE 7509.503
AT ITER 216 NEW BEST:: SOT 20646 SOS 12377 HAS SOPS 9322 HAS SOUS 8282 HAS SOUPS 7391 WITH SCORE 7403.377
AT ITER 217 NEW BEST:: SOT 20514 SOS 12256 HAS SOPS 9190 HAS SOUS 8161 HAS SOUPS 7270 WITH SCORE 7282.256
AT ITER 229 NEW BEST:: SOT 20514 SOS 12279 HAS SOPS 9190 HAS SOUS 8135 HAS SOUPS 7244 WITH SCORE 7256.279
AT ITER 230 NEW BEST:: SOT 20483 SOS 12248 HAS SOPS 9161 HAS SOUS 8124 HAS SOUPS 7233 WITH SCORE 7245.248
AT ITER 233 NEW BEST:: SOT 20420 SOS 12212 HAS SOPS 9071 HAS SOUS 8034 HAS SOUPS 7116 WITH SCORE 7128.212
AT ITER 236 NEW BEST:: SOT 20407 SOS 12199 HAS SOPS 9045 HAS SOUS 7996 HAS SOUPS 7078 WITH SCORE 7090.199
AT ITER 240 NEW BEST:: SOT 20407 SOS 12141 HAS SOPS 9053 HAS SOUS 7996 HAS SOUPS 7078 WITH SCORE 7090.141
AT ITER 248 NEW BEST:: SOT 19786 SOS 12931 HAS SOPS 9405 HAS SOUS 7866 HAS SOUPS 6887 WITH SCORE 6899.931
AT ITER 249 NEW BEST:: SOT 19762 SOS 12909 HAS SOPS 9379 HAS SOUS 7842 HAS SOUPS 6863 WITH SCORE 6875.909
AT ITER 253 NEW BEST:: SOT 19762 SOS 12848 HAS SOPS 9318 HAS SOUS 7842 HAS SOUPS 6863 WITH SCORE 6875.848
AT ITER 263 NEW BEST:: SOT 19762 SOS 12584 HAS SOPS 9105 HAS SOUS 7842 HAS SOUPS 6863 WITH SCORE 6875.584
AT ITER 264 NEW BEST:: SOT 19714 SOS 12536 HAS SOPS 9033 HAS SOUS 7755 HAS SOUPS 6776 WITH SCORE 6788.536
AT ITER 265 NEW BEST:: SOT 19696 SOS 12527 HAS SOPS 9024 HAS SOUS 7737 HAS SOUPS 6758 WITH SCORE 6770.527
AT ITER 268 NEW BEST:: SOT 19696 SOS 12527 HAS SOPS 8970 HAS SOUS 7683 HAS SOUPS 6704 WITH SCORE 6716.527
AT ITER 270 NEW BEST:: SOT 19692 SOS 12523 HAS SOPS 8957 HAS SOUS 7675 HAS SOUPS 6696 WITH SCORE 6708.523
AT ITER 276 NEW BEST:: SOT 19599 SOS 12430 HAS SOPS 8864 HAS SOUS 7546 HAS SOUPS 6567 WITH SCORE 6579.43
AT ITER 284 NEW BEST:: SOT 19589 SOS 12420 HAS SOPS 8849 HAS SOUS 7529 HAS SOUPS 6550 WITH SCORE 6562.42
AT ITER 285 NEW BEST:: SOT 19694 SOS 12214 HAS SOPS 8643 HAS SOUS 7477 HAS SOUPS 6498 WITH SCORE 6510.214
AT ITER 290 NEW BEST:: SOT 19638 SOS 12158 HAS SOPS 8664 HAS SOUS 7463 HAS SOUPS 6484 WITH SCORE 6496.158
AT ITER 291 NEW BEST:: SOT 19612 SOS 12132 HAS SOPS 8625 HAS SOUS 7390 HAS SOUPS 6411 WITH SCORE 6423.132
AT ITER 293 NEW BEST:: SOT 19534 SOS 12294 HAS SOPS 8653 HAS SOUS 7378 HAS SOUPS 6338 WITH SCORE 6350.294
AT ITER 294 NEW BEST:: SOT 19441 SOS 12227 HAS SOPS 8785 HAS SOUS 7372 HAS SOUPS 6332 WITH SCORE 6344.227
AT ITER 305 NEW BEST:: SOT 19433 SOS 12190 HAS SOPS 8730 HAS SOUS 7385 HAS SOUPS 6332 WITH SCORE 6344.19
AT ITER 311 NEW BEST:: SOT 19429 SOS 12186 HAS SOPS 8724 HAS SOUS 7381 HAS SOUPS 6328 WITH SCORE 6340.186
AT ITER 315 NEW BEST:: SOT 19461 SOS 11949 HAS SOPS 8625 HAS SOUS 7352 HAS SOUPS 6307 WITH SCORE 6318.949
AT ITER 317 NEW BEST:: SOT 19235 SOS 11964 HAS SOPS 8678 HAS SOUS 7287 HAS SOUPS 6258 WITH SCORE 6269.964
AT ITER 323 NEW BEST:: SOT 19200 SOS 11733 HAS SOPS 8503 HAS SOUS 7215 HAS SOUPS 6242 WITH SCORE 6253.733
AT ITER 326 NEW BEST:: SOT 19089 SOS 11625 HAS SOPS 8498 HAS SOUS 7173 HAS SOUPS 6206 WITH SCORE 6217.625
AT ITER 329 NEW BEST:: SOT 19085 SOS 11635 HAS SOPS 8473 HAS SOUS 7167 HAS SOUPS 6200 WITH SCORE 6211.635
AT ITER 338 NEW BEST:: SOT 19079 SOS 11644 HAS SOPS 8405 HAS SOUS 7158 HAS SOUPS 6191 WITH SCORE 6202.644
AT ITER 346 NEW BEST:: SOT 19079 SOS 11613 HAS SOPS 8385 HAS SOUS 7138 HAS SOUPS 6181 WITH SCORE 6192.613
AT ITER 354 NEW BEST:: SOT 19087 SOS 11306 HAS SOPS 8012 HAS SOUS 6910 HAS SOUPS 5952 WITH SCORE 5963.306
AT ITER 358 NEW BEST:: SOT 19027 SOS 11510 HAS SOPS 8046 HAS SOUS 6916 HAS SOUPS 5949 WITH SCORE 5960.51
AT ITER 366 NEW BEST:: SOT 19027 SOS 11508 HAS SOPS 8044 HAS SOUS 6916 HAS SOUPS 5949 WITH SCORE 5960.508
AT ITER 367 NEW BEST:: SOT 19017 SOS 11519 HAS SOPS 8043 HAS SOUS 6913 HAS SOUPS 5945 WITH SCORE 5956.519
AT ITER 368 NEW BEST:: SOT 19005 SOS 11507 HAS SOPS 8025 HAS SOUS 6901 HAS SOUPS 5933 WITH SCORE 5944.507
AT ITER 372 NEW BEST:: SOT 18981 SOS 11483 HAS SOPS 8022 HAS SOUS 6889 HAS SOUPS 5924 WITH SCORE 5935.483
AT ITER 381 NEW BEST:: SOT 18973 SOS 11475 HAS SOPS 7987 HAS SOUS 6863 HAS SOUPS 5894 WITH SCORE 5905.475
AT ITER 397 NEW BEST:: SOT 18951 SOS 11453 HAS SOPS 7953 HAS SOUS 6854 HAS SOUPS 5885 WITH SCORE 5896.453
AT ITER 399 NEW BEST:: SOT 18914 SOS 11406 HAS SOPS 7852 HAS SOUS 6771 HAS SOUPS 5802 WITH SCORE 5813.406
AT ITER 410 NEW BEST:: SOT 18892 SOS 11384 HAS SOPS 7828 HAS SOUS 6757 HAS SOUPS 5788 WITH SCORE 5799.384
AT ITER 414 NEW BEST:: SOT 18890 SOS 11382 HAS SOPS 7825 HAS SOUS 6754 HAS SOUPS 5785 WITH SCORE 5796.382
AT ITER 421 NEW BEST:: SOT 18888 SOS 11380 HAS SOPS 7822 HAS SOUS 6752 HAS SOUPS 5783 WITH SCORE 5794.38
AT ITER 425 NEW BEST:: SOT 18509 SOS 11373 HAS SOPS 7515 HAS SOUS 6517 HAS SOUPS 5524 WITH SCORE 5535.373
AT ITER 428 NEW BEST:: SOT 18509 SOS 11373 HAS SOPS 7515 HAS SOUS 6515 HAS SOUPS 5522 WITH SCORE 5533.373
AT ITER 439 NEW BEST:: SOT 18507 SOS 11371 HAS SOPS 7501 HAS SOUS 6513 HAS SOUPS 5520 WITH SCORE 5531.371
AT ITER 442 NEW BEST:: SOT 18495 SOS 11359 HAS SOPS 7489 HAS SOUS 6495 HAS SOUPS 5502 WITH SCORE 5513.359
AT ITER 446 NEW BEST:: SOT 18496 SOS 11338 HAS SOPS 7488 HAS SOUS 6486 HAS SOUPS 5493 WITH SCORE 5504.338
AT ITER 458 NEW BEST:: SOT 18397 SOS 11274 HAS SOPS 7442 HAS SOUS 6398 HAS SOUPS 5405 WITH SCORE 5416.274
AT ITER 467 NEW BEST:: SOT 18387 SOS 11264 HAS SOPS 7427 HAS SOUS 6383 HAS SOUPS 5390 WITH SCORE 5401.264
AT ITER 476 NEW BEST:: SOT 18375 SOS 11306 HAS SOPS 7468 HAS SOUS 6377 HAS SOUPS 5384 WITH SCORE 5395.306
AT ITER 482 NEW BEST:: SOT 18375 SOS 11266 HAS SOPS 7428 HAS SOUS 6377 HAS SOUPS 5384 WITH SCORE 5395.266
AT ITER 487 NEW BEST:: SOT 18353 SOS 11244 HAS SOPS 7443 HAS SOUS 6363 HAS SOUPS 5374 WITH SCORE 5385.244
AT ITER 495 NEW BEST:: SOT 18137 SOS 11913 HAS SOPS 7581 HAS SOUS 6338 HAS SOUPS 5319 WITH SCORE 5330.913
AT ITER 508 NEW BEST:: SOT 18120 SOS 11896 HAS SOPS 7562 HAS SOUS 6311 HAS SOUPS 5292 WITH SCORE 5303.896
AT ITER 512 NEW BEST:: SOT 18112 SOS 11888 HAS SOPS 7546 HAS SOUS 6302 HAS SOUPS 5280 WITH SCORE 5291.888
AT ITER 523 NEW BEST:: SOT 18096 SOS 11872 HAS SOPS 7538 HAS SOUS 6278 HAS SOUPS 5264 WITH SCORE 5275.872
AT ITER 544 NEW BEST:: SOT 18042 SOS 11840 HAS SOPS 7489 HAS SOUS 6251 HAS SOUPS 5237 WITH SCORE 5248.84
AT ITER 554 NEW BEST:: SOT 18042 SOS 11878 HAS SOPS 7527 HAS SOUS 6243 HAS SOUPS 5229 WITH SCORE 5240.878
AT ITER 556 NEW BEST:: SOT 18042 SOS 11878 HAS SOPS 7471 HAS SOUS 6211 HAS SOUPS 5197 WITH SCORE 5208.878
AT ITER 558 NEW BEST:: SOT 18038 SOS 11874 HAS SOPS 7462 HAS SOUS 6207 HAS SOUPS 5190 WITH SCORE 5201.874
AT ITER 559 NEW BEST:: SOT 18024 SOS 11860 HAS SOPS 7469 HAS SOUS 6195 HAS SOUPS 5184 WITH SCORE 5195.86
AT ITER 561 NEW BEST:: SOT 18024 SOS 11860 HAS SOPS 7469 HAS SOUS 6193 HAS SOUPS 5182 WITH SCORE 5193.86
AT ITER 575 NEW BEST:: SOT 18005 SOS 11792 HAS SOPS 7438 HAS SOUS 6170 HAS SOUPS 5168 WITH SCORE 5179.792
AT ITER 584 NEW BEST:: SOT 17975 SOS 11762 HAS SOPS 7398 HAS SOUS 6125 HAS SOUPS 5123 WITH SCORE 5134.762
AT ITER 621 NEW BEST:: SOT 17915 SOS 11702 HAS SOPS 7396 HAS SOUS 6101 HAS SOUPS 5099 WITH SCORE 5110.702
AT ITER 627 NEW BEST:: SOT 17917 SOS 11704 HAS SOPS 7388 HAS SOUS 6102 HAS SOUPS 5090 WITH SCORE 5101.704
AT ITER 628 NEW BEST:: SOT 17862 SOS 11649 HAS SOPS 7323 HAS SOUS 6033 HAS SOUPS 5021 WITH SCORE 5032.649
AT ITER 630 NEW BEST:: SOT 17863 SOS 11650 HAS SOPS 7324 HAS SOUS 6014 HAS SOUPS 5002 WITH SCORE 5013.65
AT ITER 634 NEW BEST:: SOT 17812 SOS 11636 HAS SOPS 7249 HAS SOUS 5999 HAS SOUPS 4951 WITH SCORE 4962.636
AT ITER 639 NEW BEST:: SOT 17812 SOS 11636 HAS SOPS 7249 HAS SOUS 5998 HAS SOUPS 4950 WITH SCORE 4961.636
AT ITER 641 NEW BEST:: SOT 17844 SOS 11575 HAS SOPS 7102 HAS SOUS 5993 HAS SOUPS 4945 WITH SCORE 4956.575
AT ITER 646 NEW BEST:: SOT 17822 SOS 11553 HAS SOPS 7069 HAS SOUS 5963 HAS SOUPS 4915 WITH SCORE 4926.553
AT ITER 653 NEW BEST:: SOT 17724 SOS 12050 HAS SOPS 7214 HAS SOUS 5952 HAS SOUPS 4885 WITH SCORE 4897.05
AT ITER 654 NEW BEST:: SOT 17724 SOS 12044 HAS SOPS 7209 HAS SOUS 5952 HAS SOUPS 4885 WITH SCORE 4897.044
AT ITER 658 NEW BEST:: SOT 17684 SOS 12027 HAS SOPS 7197 HAS SOUS 5898 HAS SOUPS 4831 WITH SCORE 4843.027
AT ITER 671 NEW BEST:: SOT 17684 SOS 12027 HAS SOPS 7153 HAS SOUS 5865 HAS SOUPS 4798 WITH SCORE 4810.027
AT ITER 673 NEW BEST:: SOT 17682 SOS 12025 HAS SOPS 7150 HAS SOUS 5862 HAS SOUPS 4795 WITH SCORE 4807.025
AT ITER 681 NEW BEST:: SOT 17585 SOS 12073 HAS SOPS 7196 HAS SOUS 5842 HAS SOUPS 4775 WITH SCORE 4787.073
AT ITER 682 NEW BEST:: SOT 17505 SOS 12002 HAS SOPS 7161 HAS SOUS 5743 HAS SOUPS 4676 WITH SCORE 4688.002
AT ITER 691 NEW BEST:: SOT 17501 SOS 11991 HAS SOPS 7125 HAS SOUS 5714 HAS SOUPS 4647 WITH SCORE 4658.991
AT ITER 699 NEW BEST:: SOT 17496 SOS 11986 HAS SOPS 7115 HAS SOUS 5707 HAS SOUPS 4640 WITH SCORE 4651.986
AT ITER 700 NEW BEST:: SOT 17490 SOS 11980 HAS SOPS 7108 HAS SOUS 5700 HAS SOUPS 4633 WITH SCORE 4644.98
AT ITER 701 NEW BEST:: SOT 17485 SOS 11975 HAS SOPS 7100 HAS SOUS 5695 HAS SOUPS 4628 WITH SCORE 4639.975
AT ITER 703 NEW BEST:: SOT 17485 SOS 11926 HAS SOPS 7064 HAS SOUS 5695 HAS SOUPS 4628 WITH SCORE 4639.926
AT ITER 706 NEW BEST:: SOT 17439 SOS 11912 HAS SOPS 7068 HAS SOUS 5622 HAS SOUPS 4555 WITH SCORE 4566.912
AT ITER 714 NEW BEST:: SOT 17437 SOS 11910 HAS SOPS 7064 HAS SOUS 5618 HAS SOUPS 4551 WITH SCORE 4562.91
AT ITER 725 NEW BEST:: SOT 17427 SOS 11900 HAS SOPS 7049 HAS SOUS 5607 HAS SOUPS 4540 WITH SCORE 4551.9
AT ITER 726 NEW BEST:: SOT 17415 SOS 11888 HAS SOPS 7049 HAS SOUS 5591 HAS SOUPS 4532 WITH SCORE 4543.888
AT ITER 739 NEW BEST:: SOT 17412 SOS 11885 HAS SOPS 7046 HAS SOUS 5587 HAS SOUPS 4528 WITH SCORE 4539.885
AT ITER 755 NEW BEST:: SOT 17408 SOS 11881 HAS SOPS 7040 HAS SOUS 5569 HAS SOUPS 4510 WITH SCORE 4521.881
AT ITER 759 NEW BEST:: SOT 17388 SOS 11861 HAS SOPS 7016 HAS SOUS 5540 HAS SOUPS 4481 WITH SCORE 4492.861
AT ITER 775 NEW BEST:: SOT 17388 SOS 11861 HAS SOPS 7016 HAS SOUS 5535 HAS SOUPS 4476 WITH SCORE 4487.861
AT ITER 795 NEW BEST:: SOT 17322 SOS 12022 HAS SOPS 7124 HAS SOUS 5460 HAS SOUPS 4401 WITH SCORE 4413.022
AT ITER 811 NEW BEST:: SOT 17311 SOS 12011 HAS SOPS 7111 HAS SOUS 5423 HAS SOUPS 4364 WITH SCORE 4376.011
AT ITER 830 NEW BEST:: SOT 17311 SOS 12011 HAS SOPS 7111 HAS SOUS 5405 HAS SOUPS 4346 WITH SCORE 4358.011
AT ITER 838 NEW BEST:: SOT 17323 SOS 12010 HAS SOPS 7086 HAS SOUS 5404 HAS SOUPS 4345 WITH SCORE 4357.01
AT ITER 840 NEW BEST:: SOT 17133 SOS 12399 HAS SOPS 7043 HAS SOUS 5367 HAS SOUPS 4285 WITH SCORE 4297.399
AT ITER 858 NEW BEST:: SOT 17132 SOS 12431 HAS SOPS 7087 HAS SOUS 5354 HAS SOUPS 4284 WITH SCORE 4296.431
AT ITER 863 NEW BEST:: SOT 17126 SOS 12425 HAS SOPS 7078 HAS SOUS 5342 HAS SOUPS 4272 WITH SCORE 4284.425
AT ITER 871 NEW BEST:: SOT 17122 SOS 12421 HAS SOPS 7072 HAS SOUS 5320 HAS SOUPS 4250 WITH SCORE 4262.421
AT ITER 877 NEW BEST:: SOT 17122 SOS 12452 HAS SOPS 7112 HAS SOUS 5316 HAS SOUPS 4246 WITH SCORE 4258.452
AT ITER 878 NEW BEST:: SOT 17071 SOS 12402 HAS SOPS 7046 HAS SOUS 5205 HAS SOUPS 4135 WITH SCORE 4147.402
AT ITER 879 NEW BEST:: SOT 17059 SOS 12400 HAS SOPS 7040 HAS SOUS 5187 HAS SOUPS 4117 WITH SCORE 4129.4
AT ITER 880 NEW BEST:: SOT 17094 SOS 12338 HAS SOPS 7000 HAS SOUS 5186 HAS SOUPS 4116 WITH SCORE 4128.338
AT ITER 884 NEW BEST:: SOT 17119 SOS 12373 HAS SOPS 7005 HAS SOUS 5191 HAS SOUPS 4111 WITH SCORE 4123.373
AT ITER 890 NEW BEST:: SOT 17119 SOS 12373 HAS SOPS 7005 HAS SOUS 5190 HAS SOUPS 4110 WITH SCORE 4122.373
AT ITER 902 NEW BEST:: SOT 17114 SOS 12368 HAS SOPS 7011 HAS SOUS 5182 HAS SOUPS 4108 WITH SCORE 4120.368
AT ITER 905 NEW BEST:: SOT 17112 SOS 12366 HAS SOPS 7009 HAS SOUS 5180 HAS SOUPS 4106 WITH SCORE 4118.366
AT ITER 924 NEW BEST:: SOT 17102 SOS 12356 HAS SOPS 6994 HAS SOUS 5165 HAS SOUPS 4091 WITH SCORE 4103.356
AT ITER 933 NEW BEST:: SOT 17098 SOS 12352 HAS SOPS 6988 HAS SOUS 5159 HAS SOUPS 4085 WITH SCORE 4097.352
AT ITER 940 NEW BEST:: SOT 17095 SOS 12349 HAS SOPS 6970 HAS SOUS 5145 HAS SOUPS 4071 WITH SCORE 4083.349
AT ITER 946 NEW BEST:: SOT 17089 SOS 12343 HAS SOPS 6961 HAS SOUS 5136 HAS SOUPS 4062 WITH SCORE 4074.343
AT ITER 956 NEW BEST:: SOT 17038 SOS 12465 HAS SOPS 7024 HAS SOUS 5189 HAS SOUPS 4056 WITH SCORE 4068.465
AT ITER 958 NEW BEST:: SOT 17041 SOS 12471 HAS SOPS 7030 HAS SOUS 5183 HAS SOUPS 4050 WITH SCORE 4062.471
AT ITER 962 NEW BEST:: SOT 17023 SOS 12453 HAS SOPS 7003 HAS SOUS 5149 HAS SOUPS 4016 WITH SCORE 4028.453
AT ITER 975 NEW BEST:: SOT 16975 SOS 12561 HAS SOPS 6991 HAS SOUS 5143 HAS SOUPS 4004 WITH SCORE 4016.561
AT ITER 986 NEW BEST:: SOT 16972 SOS 12513 HAS SOPS 6929 HAS SOUS 5154 HAS SOUPS 4001 WITH SCORE 4013.513
AT ITER 988 NEW BEST:: SOT 16994 SOS 12535 HAS SOPS 6897 HAS SOUS 5141 HAS SOUPS 3987 WITH SCORE 3999.535
AT ITER 1001 NEW BEST:: SOT 16988 SOS 12529 HAS SOPS 6924 HAS SOUS 5135 HAS SOUPS 3984 WITH SCORE 3996.529
AT ITER 1007 NEW BEST:: SOT 16988 SOS 12523 HAS SOPS 6924 HAS SOUS 5135 HAS SOUPS 3984 WITH SCORE 3996.523
AT ITER 1030 NEW BEST:: SOT 16974 SOS 12509 HAS SOPS 6903 HAS SOUS 5122 HAS SOUPS 3971 WITH SCORE 3983.509
AT ITER 1051 NEW BEST:: SOT 16950 SOS 12485 HAS SOPS 6867 HAS SOUS 5110 HAS SOUPS 3959 WITH SCORE 3971.485
AT ITER 1054 NEW BEST:: SOT 16916 SOS 12577 HAS SOPS 6859 HAS SOUS 5112 HAS SOUPS 3956 WITH SCORE 3968.577
AT ITER 1056 NEW BEST:: SOT 16905 SOS 12560 HAS SOPS 6842 HAS SOUS 5096 HAS SOUPS 3940 WITH SCORE 3952.56
AT ITER 1065 NEW BEST:: SOT 16897 SOS 12552 HAS SOPS 6830 HAS SOUS 5088 HAS SOUPS 3932 WITH SCORE 3944.552
AT ITER 1122 NEW BEST:: SOT 16891 SOS 12546 HAS SOPS 6833 HAS SOUS 5088 HAS SOUPS 3932 WITH SCORE 3944.546
AT ITER 1127 NEW BEST:: SOT 16880 SOS 12618 HAS SOPS 6891 HAS SOUS 5077 HAS SOUPS 3921 WITH SCORE 3933.618
AT ITER 1129 NEW BEST:: SOT 16886 SOS 12624 HAS SOPS 6868 HAS SOUS 5060 HAS SOUPS 3904 WITH SCORE 3916.624
AT ITER 1151 NEW BEST:: SOT 16885 SOS 12623 HAS SOPS 6853 HAS SOUS 5062 HAS SOUPS 3900 WITH SCORE 3912.623
AT ITER 1162 NEW BEST:: SOT 16881 SOS 12602 HAS SOPS 6832 HAS SOUS 5026 HAS SOUPS 3864 WITH SCORE 3876.602
AT ITER 1169 NEW BEST:: SOT 16882 SOS 12603 HAS SOPS 6811 HAS SOUS 5015 HAS SOUPS 3853 WITH SCORE 3865.603
AT ITER 1174 NEW BEST:: SOT 16896 SOS 12617 HAS SOPS 6779 HAS SOUS 4985 HAS SOUPS 3823 WITH SCORE 3835.617
AT ITER 1206 NEW BEST:: SOT 16862 SOS 12532 HAS SOPS 6771 HAS SOUS 4930 HAS SOUPS 3795 WITH SCORE 3807.532
AT ITER 1211 NEW BEST:: SOT 16867 SOS 12528 HAS SOPS 6767 HAS SOUS 4917 HAS SOUPS 3782 WITH SCORE 3794.528
AT ITER 1212 NEW BEST:: SOT 16867 SOS 12516 HAS SOPS 6747 HAS SOUS 4922 HAS SOUPS 3779 WITH SCORE 3791.516
AT ITER 1218 NEW BEST:: SOT 16867 SOS 12516 HAS SOPS 6743 HAS SOUS 4919 HAS SOUPS 3776 WITH SCORE 3788.516
AT ITER 1223 NEW BEST:: SOT 16859 SOS 12508 HAS SOPS 6733 HAS SOUS 4909 HAS SOUPS 3766 WITH SCORE 3778.508
AT ITER 1234 NEW BEST:: SOT 16859 SOS 12508 HAS SOPS 6733 HAS SOUS 4899 HAS SOUPS 3756 WITH SCORE 3768.508
AT ITER 1240 NEW BEST:: SOT 16859 SOS 12507 HAS SOPS 6732 HAS SOUS 4899 HAS SOUPS 3756 WITH SCORE 3768.507
AT ITER 1246 NEW BEST:: SOT 16843 SOS 12484 HAS SOPS 6701 HAS SOUS 4865 HAS SOUPS 3722 WITH SCORE 3734.484
AT ITER 1253 NEW BEST:: SOT 16835 SOS 12476 HAS SOPS 6693 HAS SOUS 4847 HAS SOUPS 3704 WITH SCORE 3716.476
AT ITER 1255 NEW BEST:: SOT 16834 SOS 12476 HAS SOPS 6689 HAS SOUS 4845 HAS SOUPS 3702 WITH SCORE 3714.476
AT ITER 1278 NEW BEST:: SOT 16818 SOS 12460 HAS SOPS 6665 HAS SOUS 4821 HAS SOUPS 3678 WITH SCORE 3690.46
AT ITER 1280 NEW BEST:: SOT 16794 SOS 12443 HAS SOPS 6633 HAS SOUS 4784 HAS SOUPS 3641 WITH SCORE 3653.443
AT ITER 1307 NEW BEST:: SOT 16780 SOS 12429 HAS SOPS 6612 HAS SOUS 4764 HAS SOUPS 3621 WITH SCORE 3633.429
AT ITER 1335 NEW BEST:: SOT 16774 SOS 12423 HAS SOPS 6603 HAS SOUS 4755 HAS SOUPS 3612 WITH SCORE 3624.423
AT ITER 1345 NEW BEST:: SOT 16768 SOS 12417 HAS SOPS 6594 HAS SOUS 4746 HAS SOUPS 3603 WITH SCORE 3615.417
AT ITER 1351 NEW BEST:: SOT 16769 SOS 12407 HAS SOPS 6543 HAS SOUS 4755 HAS SOUPS 3599 WITH SCORE 3611.407
AT ITER 1353 NEW BEST:: SOT 16767 SOS 12405 HAS SOPS 6541 HAS SOUS 4753 HAS SOUPS 3597 WITH SCORE 3609.405
AT ITER 1364 NEW BEST:: SOT 16739 SOS 12365 HAS SOPS 6513 HAS SOUS 4729 HAS SOUPS 3585 WITH SCORE 3597.365
AT ITER 1373 NEW BEST:: SOT 16730 SOS 12359 HAS SOPS 6501 HAS SOUS 4723 HAS SOUPS 3579 WITH SCORE 3591.359
AT ITER 1376 NEW BEST:: SOT 16708 SOS 12483 HAS SOPS 6572 HAS SOUS 4706 HAS SOUPS 3562 WITH SCORE 3574.483
AT ITER 1381 NEW BEST:: SOT 16688 SOS 12455 HAS SOPS 6557 HAS SOUS 4661 HAS SOUPS 3517 WITH SCORE 3529.455
AT ITER 1392 NEW BEST:: SOT 16687 SOS 12453 HAS SOPS 6555 HAS SOUS 4658 HAS SOUPS 3514 WITH SCORE 3526.453
AT ITER 1414 NEW BEST:: SOT 16686 SOS 12451 HAS SOPS 6557 HAS SOUS 4657 HAS SOUPS 3514 WITH SCORE 3526.451
AT ITER 1419 NEW BEST:: SOT 16686 SOS 12451 HAS SOPS 6545 HAS SOUS 4648 HAS SOUPS 3505 WITH SCORE 3517.451
AT ITER 1425 NEW BEST:: SOT 16682 SOS 12447 HAS SOPS 6547 HAS SOUS 4644 HAS SOUPS 3503 WITH SCORE 3515.447
AT ITER 1429 NEW BEST:: SOT 16698 SOS 12463 HAS SOPS 6549 HAS SOUS 4638 HAS SOUPS 3497 WITH SCORE 3509.463
AT ITER 1433 NEW BEST:: SOT 16693 SOS 12462 HAS SOPS 6548 HAS SOUS 4629 HAS SOUPS 3488 WITH SCORE 3500.462
AT ITER 1438 NEW BEST:: SOT 16736 SOS 12181 HAS SOPS 6441 HAS SOUS 4612 HAS SOUPS 3481 WITH SCORE 3493.181
AT ITER 1449 NEW BEST:: SOT 16736 SOS 12181 HAS SOPS 6438 HAS SOUS 4609 HAS SOUPS 3478 WITH SCORE 3490.181
AT ITER 1460 NEW BEST:: SOT 16740 SOS 12185 HAS SOPS 6442 HAS SOUS 4607 HAS SOUPS 3476 WITH SCORE 3488.185
AT ITER 1469 NEW BEST:: SOT 16752 SOS 12197 HAS SOPS 6442 HAS SOUS 4603 HAS SOUPS 3472 WITH SCORE 3484.197
AT ITER 1481 NEW BEST:: SOT 16760 SOS 12205 HAS SOPS 6457 HAS SOUS 4602 HAS SOUPS 3471 WITH SCORE 3483.205
AT ITER 1508 NEW BEST:: SOT 16742 SOS 12187 HAS SOPS 6430 HAS SOUS 4566 HAS SOUPS 3435 WITH SCORE 3447.187
AT ITER 1511 NEW BEST:: SOT 16738 SOS 12092 HAS SOPS 6335 HAS SOUS 4558 HAS SOUPS 3427 WITH SCORE 3439.092
AT ITER 1530 NEW BEST:: SOT 16738 SOS 12092 HAS SOPS 6323 HAS SOUS 4553 HAS SOUPS 3421 WITH SCORE 3433.092
AT ITER 1531 NEW BEST:: SOT 16722 SOS 12060 HAS SOPS 6307 HAS SOUS 4537 HAS SOUPS 3421 WITH SCORE 3433.06
AT ITER 1532 NEW BEST:: SOT 16722 SOS 12059 HAS SOPS 6306 HAS SOUS 4537 HAS SOUPS 3421 WITH SCORE 3433.059
AT ITER 1542 NEW BEST:: SOT 16720 SOS 12057 HAS SOPS 6302 HAS SOUS 4531 HAS SOUPS 3415 WITH SCORE 3427.057
AT ITER 1568 NEW BEST:: SOT 16721 SOS 12073 HAS SOPS 6296 HAS SOUS 4525 HAS SOUPS 3394 WITH SCORE 3406.073
AT ITER 1592 NEW BEST:: SOT 16721 SOS 12073 HAS SOPS 6292 HAS SOUS 4522 HAS SOUPS 3391 WITH SCORE 3403.073
AT ITER 1601 NEW BEST:: SOT 16721 SOS 12073 HAS SOPS 6292 HAS SOUS 4512 HAS SOUPS 3381 WITH SCORE 3393.073
AT ITER 1620 NEW BEST:: SOT 16721 SOS 12073 HAS SOPS 6292 HAS SOUS 4511 HAS SOUPS 3380 WITH SCORE 3392.073
AT ITER 1622 NEW BEST:: SOT 16739 SOS 12073 HAS SOPS 6292 HAS SOUS 4491 HAS SOUPS 3360 WITH SCORE 3372.073
AT ITER 1643 NEW BEST:: SOT 16729 SOS 12024 HAS SOPS 6230 HAS SOUS 4493 HAS SOUPS 3350 WITH SCORE 3362.024
AT ITER 1656 NEW BEST:: SOT 16729 SOS 12014 HAS SOPS 6215 HAS SOUS 4493 HAS SOUPS 3350 WITH SCORE 3362.014
AT ITER 1660 NEW BEST:: SOT 16717 SOS 12002 HAS SOPS 6197 HAS SOUS 4471 HAS SOUPS 3328 WITH SCORE 3340.002
AT ITER 1686 NEW BEST:: SOT 16717 SOS 11973 HAS SOPS 6160 HAS SOUS 4479 HAS SOUPS 3328 WITH SCORE 3339.973
AT ITER 1707 NEW BEST:: SOT 16708 SOS 11948 HAS SOPS 6135 HAS SOUS 4468 HAS SOUPS 3317 WITH SCORE 3328.948
AT ITER 1721 NEW BEST:: SOT 16706 SOS 11946 HAS SOPS 6132 HAS SOUS 4465 HAS SOUPS 3314 WITH SCORE 3325.946
AT ITER 1741 NEW BEST:: SOT 16700 SOS 11940 HAS SOPS 6123 HAS SOUS 4459 HAS SOUPS 3308 WITH SCORE 3319.94
AT ITER 1749 NEW BEST:: SOT 16698 SOS 11938 HAS SOPS 6120 HAS SOUS 4456 HAS SOUPS 3305 WITH SCORE 3316.938
AT ITER 1772 NEW BEST:: SOT 16680 SOS 11920 HAS SOPS 6120 HAS SOUS 4454 HAS SOUPS 3303 WITH SCORE 3314.92
AT ITER 1779 NEW BEST:: SOT 16678 SOS 11918 HAS SOPS 6117 HAS SOUS 4451 HAS SOUPS 3300 WITH SCORE 3311.918
AT ITER 1784 NEW BEST:: SOT 16678 SOS 11918 HAS SOPS 6109 HAS SOUS 4449 HAS SOUPS 3296 WITH SCORE 3307.918
AT ITER 1786 NEW BEST:: SOT 16654 SOS 11894 HAS SOPS 6100 HAS SOUS 4440 HAS SOUPS 3287 WITH SCORE 3298.894
AT ITER 1811 NEW BEST:: SOT 16650 SOS 11890 HAS SOPS 6077 HAS SOUS 4417 HAS SOUPS 3264 WITH SCORE 3275.89
AT ITER 1821 NEW BEST:: SOT 16630 SOS 11930 HAS SOPS 6111 HAS SOUS 4397 HAS SOUPS 3244 WITH SCORE 3255.93
AT ITER 1828 NEW BEST:: SOT 16624 SOS 11924 HAS SOPS 6099 HAS SOUS 4385 HAS SOUPS 3232 WITH SCORE 3243.924
AT ITER 1829 NEW BEST:: SOT 16616 SOS 11916 HAS SOPS 6087 HAS SOUS 4371 HAS SOUPS 3218 WITH SCORE 3229.916
AT ITER 1836 NEW BEST:: SOT 16616 SOS 11916 HAS SOPS 6087 HAS SOUS 4369 HAS SOUPS 3216 WITH SCORE 3227.916
AT ITER 1857 NEW BEST:: SOT 16616 SOS 11914 HAS SOPS 6082 HAS SOUS 4369 HAS SOUPS 3216 WITH SCORE 3227.914
AT ITER 1878 NEW BEST:: SOT 16618 SOS 11916 HAS SOPS 6065 HAS SOUS 4366 HAS SOUPS 3213 WITH SCORE 3224.916
AT ITER 1927 NEW BEST:: SOT 16618 SOS 11916 HAS SOPS 6065 HAS SOUS 4356 HAS SOUPS 3203 WITH SCORE 3214.916
AT ITER 1966 NEW BEST:: SOT 16618 SOS 11916 HAS SOPS 6065 HAS SOUS 4355 HAS SOUPS 3202 WITH SCORE 3213.916
AT ITER 1971 NEW BEST:: SOT 16618 SOS 11914 HAS SOPS 6063 HAS SOUS 4349 HAS SOUPS 3196 WITH SCORE 3207.914
AT ITER 1987 NEW BEST:: SOT 16602 SOS 11898 HAS SOPS 6027 HAS SOUS 4319 HAS SOUPS 3166 WITH SCORE 3177.898
AT ITER 2009 NEW BEST:: SOT 16598 SOS 11928 HAS SOPS 6039 HAS SOUS 4316 HAS SOUPS 3154 WITH SCORE 3165.928
AT ITER 2055 NEW BEST:: SOT 16599 SOS 11946 HAS SOPS 6073 HAS SOUS 4297 HAS SOUPS 3150 WITH SCORE 3161.946
AT ITER 2067 NEW BEST:: SOT 16589 SOS 11936 HAS SOPS 6058 HAS SOUS 4282 HAS SOUPS 3135 WITH SCORE 3146.936
AT ITER 2089 NEW BEST:: SOT 16588 SOS 11904 HAS SOPS 6026 HAS SOUS 4274 HAS SOUPS 3127 WITH SCORE 3138.904
AT ITER 2106 NEW BEST:: SOT 16588 SOS 11903 HAS SOPS 6025 HAS SOUS 4270 HAS SOUPS 3123 WITH SCORE 3134.903
AT ITER 2160 NEW BEST:: SOT 16588 SOS 11903 HAS SOPS 6025 HAS SOUS 4263 HAS SOUPS 3116 WITH SCORE 3127.903
AT ITER 2165 NEW BEST:: SOT 16564 SOS 11879 HAS SOPS 6002 HAS SOUS 4253 HAS SOUPS 3106 WITH SCORE 3117.879
AT ITER 2203 NEW BEST:: SOT 16556 SOS 11871 HAS SOPS 5999 HAS SOUS 4253 HAS SOUPS 3106 WITH SCORE 3117.871
AT ITER 2221 NEW BEST:: SOT 16556 SOS 11829 HAS SOPS 5971 HAS SOUS 4244 HAS SOUPS 3097 WITH SCORE 3108.829
AT ITER 2239 NEW BEST:: SOT 16552 SOS 11829 HAS SOPS 5959 HAS SOUS 4236 HAS SOUPS 3085 WITH SCORE 3096.829
AT ITER 2243 NEW BEST:: SOT 16568 SOS 11845 HAS SOPS 5983 HAS SOUS 4231 HAS SOUPS 3080 WITH SCORE 3091.845
AT ITER 2265 NEW BEST:: SOT 16568 SOS 11837 HAS SOPS 5975 HAS SOUS 4231 HAS SOUPS 3080 WITH SCORE 3091.837
AT ITER 2270 NEW BEST:: SOT 16566 SOS 11835 HAS SOPS 5972 HAS SOUS 4223 HAS SOUPS 3072 WITH SCORE 3083.835
AT ITER 2321 NEW BEST:: SOT 16556 SOS 11825 HAS SOPS 5957 HAS SOUS 4208 HAS SOUPS 3057 WITH SCORE 3068.825
AT ITER 2337 NEW BEST:: SOT 16552 SOS 11821 HAS SOPS 5951 HAS SOUS 4202 HAS SOUPS 3051 WITH SCORE 3062.821
AT ITER 2383 NEW BEST:: SOT 16550 SOS 11817 HAS SOPS 5952 HAS SOUS 4197 HAS SOUPS 3051 WITH SCORE 3062.817
AT ITER 2407 NEW BEST:: SOT 16548 SOS 11815 HAS SOPS 5949 HAS SOUS 4196 HAS SOUPS 3050 WITH SCORE 3061.815
AT ITER 2422 NEW BEST:: SOT 16540 SOS 11807 HAS SOPS 5946 HAS SOUS 4193 HAS SOUPS 3047 WITH SCORE 3058.807
AT ITER 2476 NEW BEST:: SOT 16543 SOS 11810 HAS SOPS 5939 HAS SOUS 4184 HAS SOUPS 3038 WITH SCORE 3049.81
AT ITER 2508 NEW BEST:: SOT 16533 SOS 11800 HAS SOPS 5924 HAS SOUS 4167 HAS SOUPS 3021 WITH SCORE 3032.8
AT ITER 2523 NEW BEST:: SOT 16538 SOS 11805 HAS SOPS 5924 HAS SOUS 4157 HAS SOUPS 3011 WITH SCORE 3022.805
AT ITER 2532 NEW BEST:: SOT 16520 SOS 11843 HAS SOPS 5918 HAS SOUS 4150 HAS SOUPS 3002 WITH SCORE 3013.843
AT ITER 2542 NEW BEST:: SOT 16383 SOS 12444 HAS SOPS 6101 HAS SOUS 4128 HAS SOUPS 2980 WITH SCORE 2992.444
AT ITER 2562 NEW BEST:: SOT 16355 SOS 12536 HAS SOPS 6127 HAS SOUS 4124 HAS SOUPS 2972 WITH SCORE 2984.536
AT ITER 2571 NEW BEST:: SOT 16354 SOS 12530 HAS SOPS 6122 HAS SOUS 4123 HAS SOUPS 2972 WITH SCORE 2984.53
AT ITER 2574 NEW BEST:: SOT 16277 SOS 12873 HAS SOPS 6212 HAS SOUS 4117 HAS SOUPS 2954 WITH SCORE 2966.873
AT ITER 2591 NEW BEST:: SOT 16271 SOS 12867 HAS SOPS 6204 HAS SOUS 4113 HAS SOUPS 2950 WITH SCORE 2962.867
AT ITER 2601 NEW BEST:: SOT 16271 SOS 12867 HAS SOPS 6204 HAS SOUS 4112 HAS SOUPS 2949 WITH SCORE 2961.867
AT ITER 2616 NEW BEST:: SOT 16271 SOS 12865 HAS SOPS 6204 HAS SOUS 4110 HAS SOUPS 2949 WITH SCORE 2961.865
AT ITER 2653 NEW BEST:: SOT 16270 SOS 12863 HAS SOPS 6203 HAS SOUS 4108 HAS SOUPS 2948 WITH SCORE 2960.863
AT ITER 2672 NEW BEST:: SOT 16256 SOS 12849 HAS SOPS 6203 HAS SOUS 4101 HAS SOUPS 2946 WITH SCORE 2958.849
AT ITER 2728 NEW BEST:: SOT 16252 SOS 12845 HAS SOPS 6189 HAS SOUS 4087 HAS SOUPS 2932 WITH SCORE 2944.845
AT ITER 2761 NEW BEST:: SOT 16247 SOS 12835 HAS SOPS 6184 HAS SOUS 4070 HAS SOUPS 2920 WITH SCORE 2932.835
AT ITER 2769 NEW BEST:: SOT 16247 SOS 12831 HAS SOPS 6181 HAS SOUS 4069 HAS SOUPS 2920 WITH SCORE 2932.831
AT ITER 2814 NEW BEST:: SOT 16240 SOS 12820 HAS SOPS 6183 HAS SOUS 4058 HAS SOUPS 2913 WITH SCORE 2925.82
AT ITER 2821 NEW BEST:: SOT 16237 SOS 12808 HAS SOPS 6174 HAS SOUS 4057 HAS SOUPS 2912 WITH SCORE 2924.808
AT ITER 2857 NEW BEST:: SOT 16233 SOS 12804 HAS SOPS 6166 HAS SOUS 4046 HAS SOUPS 2897 WITH SCORE 2909.804
AT ITER 2881 NEW BEST:: SOT 16245 SOS 12808 HAS SOPS 6184 HAS SOUS 4037 HAS SOUPS 2896 WITH SCORE 2908.808
AT ITER 2920 NEW BEST:: SOT 16239 SOS 12802 HAS SOPS 6175 HAS SOUS 4029 HAS SOUPS 2888 WITH SCORE 2900.802
AT ITER 2949 NEW BEST:: SOT 16239 SOS 12802 HAS SOPS 6175 HAS SOUS 4028 HAS SOUPS 2887 WITH SCORE 2899.802
AT ITER 2968 NEW BEST:: SOT 16239 SOS 12802 HAS SOPS 6175 HAS SOUS 4027 HAS SOUPS 2886 WITH SCORE 2898.802
AT ITER 2995 NEW BEST:: SOT 16255 SOS 12818 HAS SOPS 6172 HAS SOUS 4024 HAS SOUPS 2883 WITH SCORE 2895.818
AT ITER 3001 NEW BEST:: SOT 16257 SOS 12827 HAS SOPS 6168 HAS SOUS 4032 HAS SOUPS 2878 WITH SCORE 2890.827
AT ITER 3024 NEW BEST:: SOT 16257 SOS 12827 HAS SOPS 6168 HAS SOUS 4031 HAS SOUPS 2877 WITH SCORE 2889.827
AT ITER 3046 NEW BEST:: SOT 16252 SOS 12822 HAS SOPS 6142 HAS SOUS 4022 HAS SOUPS 2868 WITH SCORE 2880.822
AT ITER 3085 NEW BEST:: SOT 16252 SOS 12822 HAS SOPS 6142 HAS SOUS 4019 HAS SOUPS 2865 WITH SCORE 2877.822
AT ITER 3136 NEW BEST:: SOT 16248 SOS 12818 HAS SOPS 6136 HAS SOUS 4013 HAS SOUPS 2859 WITH SCORE 2871.818
AT ITER 3151 NEW BEST:: SOT 16248 SOS 12816 HAS SOPS 6135 HAS SOUS 4012 HAS SOUPS 2859 WITH SCORE 2871.816
AT ITER 3190 NEW BEST:: SOT 16244 SOS 12845 HAS SOPS 6163 HAS SOUS 4006 HAS SOUPS 2853 WITH SCORE 2865.845
AT ITER 3290 NEW BEST:: SOT 16240 SOS 12833 HAS SOPS 6155 HAS SOUS 4001 HAS SOUPS 2852 WITH SCORE 2864.833
AT ITER 3407 NEW BEST:: SOT 16238 SOS 12831 HAS SOPS 6150 HAS SOUS 3998 HAS SOUPS 2849 WITH SCORE 2861.831
AT ITER 3408 NEW BEST:: SOT 16238 SOS 12831 HAS SOPS 6150 HAS SOUS 3990 HAS SOUPS 2841 WITH SCORE 2853.831
AT ITER 3451 NEW BEST:: SOT 16236 SOS 12830 HAS SOPS 6148 HAS SOUS 3990 HAS SOUPS 2840 WITH SCORE 2852.83
AT ITER 3457 NEW BEST:: SOT 16219 SOS 12813 HAS SOPS 6126 HAS SOUS 3987 HAS SOUPS 2837 WITH SCORE 2849.813
AT ITER 3491 NEW BEST:: SOT 16171 SOS 13066 HAS SOPS 6228 HAS SOUS 3985 HAS SOUPS 2835 WITH SCORE 2848.066
AT ITER 3500 NEW BEST:: SOT 16171 SOS 13063 HAS SOPS 6228 HAS SOUS 3985 HAS SOUPS 2835 WITH SCORE 2848.063
AT ITER 3653 NEW BEST:: SOT 16171 SOS 13063 HAS SOPS 6228 HAS SOUS 3984 HAS SOUPS 2834 WITH SCORE 2847.063
AT ITER 3728 NEW BEST:: SOT 16175 SOS 13067 HAS SOPS 6184 HAS SOUS 3990 HAS SOUPS 2824 WITH SCORE 2837.067
AT ITER 3752 NEW BEST:: SOT 16173 SOS 13069 HAS SOPS 6182 HAS SOUS 3990 HAS SOUPS 2822 WITH SCORE 2835.069
AT ITER 3797 NEW BEST:: SOT 16165 SOS 13061 HAS SOPS 6170 HAS SOUS 3969 HAS SOUPS 2801 WITH SCORE 2814.061
AT ITER 3810 NEW BEST:: SOT 16181 SOS 13077 HAS SOPS 6167 HAS SOUS 3973 HAS SOUPS 2798 WITH SCORE 2811.077
AT ITER 3824 NEW BEST:: SOT 16172 SOS 13043 HAS SOPS 6129 HAS SOUS 3969 HAS SOUPS 2794 WITH SCORE 2807.043
AT ITER 3851 NEW BEST:: SOT 16175 SOS 13057 HAS SOPS 6143 HAS SOUS 3968 HAS SOUPS 2793 WITH SCORE 2806.057
AT ITER 3915 NEW BEST:: SOT 16174 SOS 13034 HAS SOPS 6113 HAS SOUS 3974 HAS SOUPS 2792 WITH SCORE 2805.034
AT ITER 3918 NEW BEST:: SOT 16172 SOS 13030 HAS SOPS 6110 HAS SOUS 3972 HAS SOUPS 2791 WITH SCORE 2804.03
AT ITER 3922 NEW BEST:: SOT 16166 SOS 13024 HAS SOPS 6097 HAS SOUS 3963 HAS SOUPS 2782 WITH SCORE 2795.024
AT ITER 3927 NEW BEST:: SOT 16166 SOS 13024 HAS SOPS 6092 HAS SOUS 3958 HAS SOUPS 2777 WITH SCORE 2790.024
AT ITER 3989 NEW BEST:: SOT 16160 SOS 13018 HAS SOPS 6080 HAS SOUS 3950 HAS SOUPS 2769 WITH SCORE 2782.018
AT ITER 3998 NEW BEST:: SOT 16148 SOS 13006 HAS SOPS 6049 HAS SOUS 3927 HAS SOUPS 2746 WITH SCORE 2759.006
AT ITER 4029 NEW BEST:: SOT 16132 SOS 12990 HAS SOPS 6055 HAS SOUS 3905 HAS SOUPS 2735 WITH SCORE 2747.99
AT ITER 4141 NEW BEST:: SOT 16130 SOS 12988 HAS SOPS 6055 HAS SOUS 3905 HAS SOUPS 2735 WITH SCORE 2747.988
AT ITER 4173 NEW BEST:: SOT 16126 SOS 12984 HAS SOPS 6049 HAS SOUS 3894 HAS SOUPS 2724 WITH SCORE 2736.984
AT ITER 4183 NEW BEST:: SOT 16116 SOS 12974 HAS SOPS 6042 HAS SOUS 3884 HAS SOUPS 2714 WITH SCORE 2726.974
AT ITER 4234 NEW BEST:: SOT 16109 SOS 12960 HAS SOPS 6035 HAS SOUS 3870 HAS SOUPS 2707 WITH SCORE 2719.96
AT ITER 4261 NEW BEST:: SOT 16097 SOS 13014 HAS SOPS 6047 HAS SOUS 3871 HAS SOUPS 2706 WITH SCORE 2719.014
AT ITER 4361 NEW BEST:: SOT 16089 SOS 13006 HAS SOPS 6041 HAS SOUS 3865 HAS SOUPS 2700 WITH SCORE 2713.006
AT ITER 4377 NEW BEST:: SOT 16083 SOS 13015 HAS SOPS 6036 HAS SOUS 3866 HAS SOUPS 2694 WITH SCORE 2707.015
AT ITER 4421 NEW BEST:: SOT 16083 SOS 13015 HAS SOPS 6032 HAS SOUS 3863 HAS SOUPS 2691 WITH SCORE 2704.015
AT ITER 4426 NEW BEST:: SOT 16079 SOS 13011 HAS SOPS 6016 HAS SOUS 3857 HAS SOUPS 2685 WITH SCORE 2698.011
AT ITER 4488 NEW BEST:: SOT 16078 SOS 13010 HAS SOPS 6015 HAS SOUS 3855 HAS SOUPS 2683 WITH SCORE 2696.01
AT ITER 4510 NEW BEST:: SOT 16070 SOS 13002 HAS SOPS 5999 HAS SOUS 3847 HAS SOUPS 2675 WITH SCORE 2688.002
AT ITER 4517 NEW BEST:: SOT 16064 SOS 12996 HAS SOPS 5993 HAS SOUS 3841 HAS SOUPS 2669 WITH SCORE 2681.996
AT ITER 4537 NEW BEST:: SOT 16060 SOS 12992 HAS SOPS 5987 HAS SOUS 3835 HAS SOUPS 2663 WITH SCORE 2675.992
AT ITER 4570 NEW BEST:: SOT 16016 SOS 13246 HAS SOPS 6066 HAS SOUS 3835 HAS SOUPS 2655 WITH SCORE 2668.246
AT ITER 4622 NEW BEST:: SOT 16012 SOS 13242 HAS SOPS 6042 HAS SOUS 3835 HAS SOUPS 2647 WITH SCORE 2660.242
AT ITER 4663 NEW BEST:: SOT 16008 SOS 13237 HAS SOPS 6044 HAS SOUS 3828 HAS SOUPS 2644 WITH SCORE 2657.237
AT ITER 4693 NEW BEST:: SOT 15999 SOS 13225 HAS SOPS 6043 HAS SOUS 3825 HAS SOUPS 2644 WITH SCORE 2657.225
AT ITER 4749 NEW BEST:: SOT 15997 SOS 13223 HAS SOPS 6040 HAS SOUS 3820 HAS SOUPS 2639 WITH SCORE 2652.223
AT ITER 4776 NEW BEST:: SOT 15999 SOS 13227 HAS SOPS 6014 HAS SOUS 3825 HAS SOUPS 2637 WITH SCORE 2650.227
AT ITER 4784 NEW BEST:: SOT 15999 SOS 13227 HAS SOPS 6011 HAS SOUS 3823 HAS SOUPS 2635 WITH SCORE 2648.227
AT ITER 4800 NEW BEST:: SOT 16049 SOS 12886 HAS SOPS 5871 HAS SOUS 3812 HAS SOUPS 2634 WITH SCORE 2646.886
AT ITER 4808 NEW BEST:: SOT 16049 SOS 12883 HAS SOPS 5868 HAS SOUS 3812 HAS SOUPS 2634 WITH SCORE 2646.883
AT ITER 4977 NEW BEST:: SOT 16047 SOS 12883 HAS SOPS 5868 HAS SOUS 3811 HAS SOUPS 2633 WITH SCORE 2645.883
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Raft-PT-05-CTLCardinality-00 ( ( potential( (tk(P120)) <= (tk(P105)) ) & (EF(( potential( ( 2 ) <= (tk(P99)) ) & potential( (tk(P76)) <= (tk(P110)) ) ))) ) & (! potential( ( 1 ) <= (tk(P83)) )) )
PROPERTY: Raft-PT-05-CTLCardinality-01 (EF(( (AF(potential( (tk(P80)) <= (tk(P4)) ))) & ( (! potential( ( 1 ) <= (tk(P29)) )) & ( potential( ( 2 ) <= (tk(P94)) ) & potential( (tk(P102)) <= (tk(P108)) ) ) ) )))
PROPERTY: Raft-PT-05-CTLCardinality-02 (! (EU( ( potential( (tk(P46)) <= (tk(P81)) ) | potential( ( 3 ) <= (tk(P4)) ) ),( potential( ( 1 ) <= (tk(P129)) ) & potential( (tk(P10)) <= (tk(P73)) ) ) )))
PROPERTY: Raft-PT-05-CTLCardinality-03 (! (EU( (! potential( ( 1 ) <= (tk(P85)) )),( potential( (tk(P33)) <= (tk(P77)) ) & potential( ( 2 ) <= (tk(P12)) ) ) )))
PROPERTY: Raft-PT-05-CTLCardinality-04 (AG( (! potential( ( 3 ) <= (tk(P116)) ))))
PROPERTY: Raft-PT-05-CTLCardinality-05 ( (EU( potential( (tk(P128)) <= (tk(P35)) ),( potential( ( 2 ) <= (tk(P5)) ) & potential( (tk(P75)) <= (tk(P32)) ) ) )) | ( ( ( (! potential( ( 2 ) <= (tk(P115)) )) | ( potential( (tk(P118)) <= (tk(P52)) ) & potential( (tk(P127)) <= (tk(P51)) ) ) ) | (EF(potential( ( 2 ) <= (tk(P48)) ))) ) & ( ( (! potential( (tk(P118)) <= (tk(P6)) )) | potential( (tk(P98)) <= (tk(P86)) ) ) & ( potential( (tk(P131)) <= (tk(P125)) ) & ( potential( (tk(P39)) <= (tk(P62)) ) & potential( ( 3 ) <= (tk(P74)) ) ) ) ) ) )
PROPERTY: Raft-PT-05-CTLCardinality-06 ( (! (EF((! potential( ( 1 ) <= (tk(P13)) ))))) | ( (! (AG( potential( (tk(P104)) <= (tk(P49)) )))) & (AU( potential( (tk(P77)) <= (tk(P71)) ),potential( (tk(P38)) <= (tk(P83)) ) )) ) )
PROPERTY: Raft-PT-05-CTLCardinality-07 ( ( ( potential( (tk(P117)) <= (tk(P119)) ) & (EX( potential( ( 3 ) <= (tk(P41)) ))) ) & (AU( potential( ( 1 ) <= (tk(P92)) ),potential( (tk(P55)) <= (tk(P130)) ) )) ) | (! ( (! (! potential( (tk(P116)) <= (tk(P35)) ))) & (EF(potential( ( 2 ) <= (tk(P132)) ))) )) )
PROPERTY: Raft-PT-05-CTLCardinality-08 (AG( (EX( (! potential( ( 3 ) <= (tk(P82)) ))))))
PROPERTY: Raft-PT-05-CTLCardinality-09 (EU( (! potential( ( 2 ) <= (tk(P33)) )),( ( potential( ( 3 ) <= (tk(P121)) ) | potential( (tk(P133)) <= (tk(P62)) ) ) & ( potential( ( 3 ) <= (tk(P53)) ) & potential( ( 3 ) <= (tk(P123)) ) ) ) ))
PROPERTY: Raft-PT-05-CTLCardinality-10 (EF(( potential( ( 2 ) <= (tk(P19)) ) | (EX( potential( ( 2 ) <= (tk(P57)) ))) )))
PROPERTY: Raft-PT-05-CTLCardinality-11 (AG( (! potential( ( 2 ) <= (tk(P36)) ))))
PROPERTY: Raft-PT-05-CTLCardinality-12 ( (! (EU( potential( ( 1 ) <= (tk(P63)) ),potential( (tk(P9)) <= (tk(P4)) ) ))) | (EF((! ( potential( (tk(P99)) <= (tk(P116)) ) | potential( (tk(P3)) <= (tk(P66)) ) )))) )
PROPERTY: Raft-PT-05-CTLCardinality-13 (AF(( (AG( potential( (tk(P77)) <= (tk(P89)) ))) | (EF(potential( ( 2 ) <= (tk(P24)) ))) )))
PROPERTY: Raft-PT-05-CTLCardinality-14 (AX( (AG( (! potential( ( 3 ) <= (tk(P101)) ))))))
PROPERTY: Raft-PT-05-CTLCardinality-15 ( (AG( (EF(potential( ( 3 ) <= (tk(P101)) ))))) | (EF(potential( ( 3 ) <= (tk(P33)) ))) )
FORMULA Raft-PT-05-CTLCardinality-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
BK_TIME_CONFINEMENT_REACHED
--------------------
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="Raft-PT-05"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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-4028"
echo " Executing tool smart"
echo " Input is Raft-PT-05, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502600243"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-05.tgz
mv Raft-PT-05 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;