fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r207-tajo-159033470100859
Last Updated
Jun 28, 2020

About the Execution of smart for ShieldRVs-PT-030A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15764.900 3600000.00 3600020.00 0.00 [undef] Time out reached

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033470100859.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 ShieldRVs-PT-030A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470100859
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 348K
-rw-r--r-- 1 mcc users 3.2K May 14 02:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 02:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 19:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 19:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K May 14 10:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 2.8K May 13 14:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K May 13 14:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 09:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 09:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 191K May 12 20:42 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 ShieldRVs-PT-030A-CTLCardinality-00
FORMULA_NAME ShieldRVs-PT-030A-CTLCardinality-01
FORMULA_NAME ShieldRVs-PT-030A-CTLCardinality-02
FORMULA_NAME ShieldRVs-PT-030A-CTLCardinality-03
FORMULA_NAME ShieldRVs-PT-030A-CTLCardinality-04
FORMULA_NAME ShieldRVs-PT-030A-CTLCardinality-05
FORMULA_NAME ShieldRVs-PT-030A-CTLCardinality-06
FORMULA_NAME ShieldRVs-PT-030A-CTLCardinality-07
FORMULA_NAME ShieldRVs-PT-030A-CTLCardinality-08
FORMULA_NAME ShieldRVs-PT-030A-CTLCardinality-09
FORMULA_NAME ShieldRVs-PT-030A-CTLCardinality-10
FORMULA_NAME ShieldRVs-PT-030A-CTLCardinality-11
FORMULA_NAME ShieldRVs-PT-030A-CTLCardinality-12
FORMULA_NAME ShieldRVs-PT-030A-CTLCardinality-13
FORMULA_NAME ShieldRVs-PT-030A-CTLCardinality-14
FORMULA_NAME ShieldRVs-PT-030A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590453309123

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 030A
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: 423 places, 573 transitions, 2760 arcs.
AT ITER 0 NEW BEST:: SOT 182058 SOS 156302 HAS SOPS 156302 HAS SOUS 126747 HAS SOUPS 126747 WITH SCORE 126903.302
AT ITER 1 NEW BEST:: SOT 182057 SOS 155962 HAS SOPS 155962 HAS SOUS 126668 HAS SOUPS 126668 WITH SCORE 126823.962
AT ITER 4 NEW BEST:: SOT 181900 SOS 155136 HAS SOPS 155136 HAS SOUS 125799 HAS SOUPS 125799 WITH SCORE 125954.136
AT ITER 6 NEW BEST:: SOT 181839 SOS 155131 HAS SOPS 155131 HAS SOUS 125794 HAS SOUPS 125794 WITH SCORE 125949.131
AT ITER 7 NEW BEST:: SOT 181837 SOS 155129 HAS SOPS 155129 HAS SOUS 125790 HAS SOUPS 125790 WITH SCORE 125945.129
AT ITER 8 NEW BEST:: SOT 181880 SOS 154471 HAS SOPS 154471 HAS SOUS 125084 HAS SOUPS 125084 WITH SCORE 125238.471
AT ITER 9 NEW BEST:: SOT 181620 SOS 153494 HAS SOPS 153494 HAS SOUS 123622 HAS SOUPS 123622 WITH SCORE 123775.494
AT ITER 10 NEW BEST:: SOT 181571 SOS 152896 HAS SOPS 152896 HAS SOUS 122985 HAS SOUPS 122985 WITH SCORE 123137.896
AT ITER 13 NEW BEST:: SOT 181814 SOS 152763 HAS SOPS 152763 HAS SOUS 122756 HAS SOUPS 122756 WITH SCORE 122908.763
AT ITER 14 NEW BEST:: SOT 181785 SOS 152102 HAS SOPS 152102 HAS SOUS 121822 HAS SOUPS 121822 WITH SCORE 121974.102
AT ITER 16 NEW BEST:: SOT 181789 SOS 151646 HAS SOPS 151646 HAS SOUS 121341 HAS SOUPS 121341 WITH SCORE 121492.646
AT ITER 17 NEW BEST:: SOT 181696 SOS 151553 HAS SOPS 151553 HAS SOUS 121248 HAS SOUPS 121248 WITH SCORE 121399.553
AT ITER 19 NEW BEST:: SOT 181656 SOS 151444 HAS SOPS 151444 HAS SOUS 121106 HAS SOUPS 121106 WITH SCORE 121257.444
AT ITER 24 NEW BEST:: SOT 181353 SOS 151141 HAS SOPS 151141 HAS SOUS 120803 HAS SOUPS 120803 WITH SCORE 120954.141
AT ITER 25 NEW BEST:: SOT 181247 SOS 150694 HAS SOPS 150694 HAS SOUS 120666 HAS SOUPS 120666 WITH SCORE 120816.694
AT ITER 28 NEW BEST:: SOT 181107 SOS 150554 HAS SOPS 150554 HAS SOUS 120520 HAS SOUPS 120520 WITH SCORE 120670.554
AT ITER 29 NEW BEST:: SOT 181317 SOS 150249 HAS SOPS 150249 HAS SOUS 120195 HAS SOUPS 120195 WITH SCORE 120345.249
AT ITER 30 NEW BEST:: SOT 181218 SOS 150032 HAS SOPS 150032 HAS SOUS 120028 HAS SOUPS 120028 WITH SCORE 120178.032
AT ITER 34 NEW BEST:: SOT 181294 SOS 149817 HAS SOPS 149817 HAS SOUS 119793 HAS SOUPS 119793 WITH SCORE 119942.817
AT ITER 35 NEW BEST:: SOT 181109 SOS 148736 HAS SOPS 148736 HAS SOUS 119088 HAS SOUPS 119088 WITH SCORE 119236.736
AT ITER 38 NEW BEST:: SOT 180976 SOS 148601 HAS SOPS 148601 HAS SOUS 118907 HAS SOUPS 118907 WITH SCORE 119055.601
AT ITER 41 NEW BEST:: SOT 180943 SOS 148568 HAS SOPS 148568 HAS SOUS 118874 HAS SOUPS 118874 WITH SCORE 119022.568
AT ITER 42 NEW BEST:: SOT 181280 SOS 148548 HAS SOPS 148548 HAS SOUS 118503 HAS SOUPS 118503 WITH SCORE 118651.548
AT ITER 43 NEW BEST:: SOT 181241 SOS 148437 HAS SOPS 148437 HAS SOUS 118355 HAS SOUPS 118355 WITH SCORE 118503.437
AT ITER 49 NEW BEST:: SOT 181171 SOS 147907 HAS SOPS 147907 HAS SOUS 118086 HAS SOUPS 118086 WITH SCORE 118233.907
AT ITER 50 NEW BEST:: SOT 181165 SOS 147901 HAS SOPS 147901 HAS SOUS 118080 HAS SOUPS 118080 WITH SCORE 118227.901
AT ITER 51 NEW BEST:: SOT 180987 SOS 147225 HAS SOPS 147225 HAS SOUS 116912 HAS SOUPS 116912 WITH SCORE 117059.225
AT ITER 52 NEW BEST:: SOT 180900 SOS 146548 HAS SOPS 146548 HAS SOUS 116410 HAS SOUPS 116410 WITH SCORE 116556.548
AT ITER 53 NEW BEST:: SOT 180788 SOS 146436 HAS SOPS 146436 HAS SOUS 116298 HAS SOUPS 116298 WITH SCORE 116444.436
AT ITER 54 NEW BEST:: SOT 180731 SOS 146403 HAS SOPS 146403 HAS SOUS 116278 HAS SOUPS 116278 WITH SCORE 116424.403
AT ITER 56 NEW BEST:: SOT 180636 SOS 146307 HAS SOPS 146307 HAS SOUS 116181 HAS SOUPS 116181 WITH SCORE 116327.307
AT ITER 59 NEW BEST:: SOT 180636 SOS 146214 HAS SOPS 146214 HAS SOUS 116090 HAS SOUPS 116090 WITH SCORE 116236.214
AT ITER 63 NEW BEST:: SOT 180636 SOS 145713 HAS SOPS 145713 HAS SOUS 115655 HAS SOUPS 115655 WITH SCORE 115800.713
AT ITER 64 NEW BEST:: SOT 180906 SOS 145458 HAS SOPS 145458 HAS SOUS 115125 HAS SOUPS 115125 WITH SCORE 115270.458
AT ITER 65 NEW BEST:: SOT 180900 SOS 145452 HAS SOPS 145452 HAS SOUS 115119 HAS SOUPS 115119 WITH SCORE 115264.452
AT ITER 67 NEW BEST:: SOT 180822 SOS 145010 HAS SOPS 145010 HAS SOUS 114729 HAS SOUPS 114729 WITH SCORE 114874.01
AT ITER 68 NEW BEST:: SOT 180466 SOS 143740 HAS SOPS 143740 HAS SOUS 113842 HAS SOUPS 113842 WITH SCORE 113985.74
AT ITER 71 NEW BEST:: SOT 180466 SOS 143676 HAS SOPS 143676 HAS SOUS 113762 HAS SOUPS 113762 WITH SCORE 113905.676
AT ITER 72 NEW BEST:: SOT 180297 SOS 142891 HAS SOPS 142891 HAS SOUS 113077 HAS SOUPS 113077 WITH SCORE 113219.891
AT ITER 73 NEW BEST:: SOT 180294 SOS 142888 HAS SOPS 142888 HAS SOUS 113074 HAS SOUPS 113074 WITH SCORE 113216.888
AT ITER 74 NEW BEST:: SOT 180292 SOS 142790 HAS SOPS 142790 HAS SOUS 112972 HAS SOUPS 112972 WITH SCORE 113114.79
AT ITER 76 NEW BEST:: SOT 180143 SOS 142691 HAS SOPS 142691 HAS SOUS 112899 HAS SOUPS 112899 WITH SCORE 113041.691
AT ITER 82 NEW BEST:: SOT 180091 SOS 142613 HAS SOPS 142613 HAS SOUS 112821 HAS SOUPS 112821 WITH SCORE 112963.613
AT ITER 87 NEW BEST:: SOT 180091 SOS 142539 HAS SOPS 142539 HAS SOUS 112815 HAS SOUPS 112815 WITH SCORE 112957.539
AT ITER 89 NEW BEST:: SOT 180091 SOS 142185 HAS SOPS 142185 HAS SOUS 112780 HAS SOUPS 112780 WITH SCORE 112922.185
AT ITER 94 NEW BEST:: SOT 180067 SOS 141967 HAS SOPS 141967 HAS SOUS 112710 HAS SOUPS 112710 WITH SCORE 112851.967
AT ITER 95 NEW BEST:: SOT 179985 SOS 141885 HAS SOPS 141885 HAS SOUS 112628 HAS SOUPS 112628 WITH SCORE 112769.885
AT ITER 96 NEW BEST:: SOT 179955 SOS 141855 HAS SOPS 141855 HAS SOUS 112598 HAS SOUPS 112598 WITH SCORE 112739.855
AT ITER 98 NEW BEST:: SOT 179531 SOS 141431 HAS SOPS 141431 HAS SOUS 112174 HAS SOUPS 112174 WITH SCORE 112315.431
AT ITER 99 NEW BEST:: SOT 179470 SOS 141387 HAS SOPS 141387 HAS SOUS 112144 HAS SOUPS 112144 WITH SCORE 112285.387
AT ITER 100 NEW BEST:: SOT 179470 SOS 141216 HAS SOPS 141216 HAS SOUS 112115 HAS SOUPS 112115 WITH SCORE 112256.216
AT ITER 107 NEW BEST:: SOT 179420 SOS 141057 HAS SOPS 141057 HAS SOUS 111813 HAS SOUPS 111813 WITH SCORE 111954.057
AT ITER 109 NEW BEST:: SOT 179368 SOS 140953 HAS SOPS 140953 HAS SOUS 111553 HAS SOUPS 111553 WITH SCORE 111693.953
AT ITER 110 NEW BEST:: SOT 178872 SOS 140288 HAS SOPS 140288 HAS SOUS 110195 HAS SOUPS 110195 WITH SCORE 110335.288
AT ITER 116 NEW BEST:: SOT 178839 SOS 140255 HAS SOPS 140255 HAS SOUS 110162 HAS SOUPS 110162 WITH SCORE 110302.255
AT ITER 119 NEW BEST:: SOT 178744 SOS 139970 HAS SOPS 139970 HAS SOUS 109875 HAS SOUPS 109875 WITH SCORE 110014.97
AT ITER 123 NEW BEST:: SOT 178641 SOS 139846 HAS SOPS 139846 HAS SOUS 109751 HAS SOUPS 109751 WITH SCORE 109890.846
AT ITER 125 NEW BEST:: SOT 178641 SOS 139022 HAS SOPS 139022 HAS SOUS 109237 HAS SOUPS 109237 WITH SCORE 109376.022
AT ITER 126 NEW BEST:: SOT 178936 SOS 139546 HAS SOPS 139546 HAS SOUS 108873 HAS SOUPS 108873 WITH SCORE 109012.546
AT ITER 128 NEW BEST:: SOT 178875 SOS 139303 HAS SOPS 139303 HAS SOUS 108626 HAS SOUPS 108626 WITH SCORE 108765.303
AT ITER 135 NEW BEST:: SOT 178808 SOS 138942 HAS SOPS 138942 HAS SOUS 108381 HAS SOUPS 108381 WITH SCORE 108519.942
AT ITER 137 NEW BEST:: SOT 178691 SOS 138825 HAS SOPS 138825 HAS SOUS 108264 HAS SOUPS 108264 WITH SCORE 108402.825
AT ITER 139 NEW BEST:: SOT 178627 SOS 138219 HAS SOPS 138219 HAS SOUS 107973 HAS SOUPS 107973 WITH SCORE 108111.219
AT ITER 141 NEW BEST:: SOT 178564 SOS 137841 HAS SOPS 137841 HAS SOUS 107716 HAS SOUPS 107716 WITH SCORE 107853.841
AT ITER 143 NEW BEST:: SOT 178498 SOS 137775 HAS SOPS 137775 HAS SOUS 107711 HAS SOUPS 107711 WITH SCORE 107848.775
AT ITER 144 NEW BEST:: SOT 178447 SOS 137609 HAS SOPS 137609 HAS SOUS 107545 HAS SOUPS 107545 WITH SCORE 107682.609
AT ITER 148 NEW BEST:: SOT 178447 SOS 136992 HAS SOPS 136992 HAS SOUS 107374 HAS SOUPS 107374 WITH SCORE 107510.992
AT ITER 149 NEW BEST:: SOT 178433 SOS 136978 HAS SOPS 136978 HAS SOUS 107353 HAS SOUPS 107353 WITH SCORE 107489.978
AT ITER 150 NEW BEST:: SOT 178433 SOS 137079 HAS SOPS 137079 HAS SOUS 107290 HAS SOUPS 107290 WITH SCORE 107427.079
AT ITER 154 NEW BEST:: SOT 178431 SOS 136675 HAS SOPS 136675 HAS SOUS 107144 HAS SOUPS 107144 WITH SCORE 107280.675
AT ITER 155 NEW BEST:: SOT 178159 SOS 136401 HAS SOPS 136401 HAS SOUS 106768 HAS SOUPS 106768 WITH SCORE 106904.401
AT ITER 163 NEW BEST:: SOT 178107 SOS 136237 HAS SOPS 136237 HAS SOUS 106673 HAS SOUPS 106673 WITH SCORE 106809.237
AT ITER 165 NEW BEST:: SOT 177985 SOS 136115 HAS SOPS 136115 HAS SOUS 106551 HAS SOUPS 106551 WITH SCORE 106687.115
AT ITER 167 NEW BEST:: SOT 177984 SOS 135804 HAS SOPS 135804 HAS SOUS 106371 HAS SOUPS 106371 WITH SCORE 106506.804
AT ITER 169 NEW BEST:: SOT 177883 SOS 135629 HAS SOPS 135629 HAS SOUS 106194 HAS SOUPS 106194 WITH SCORE 106329.629
AT ITER 173 NEW BEST:: SOT 177848 SOS 135559 HAS SOPS 135559 HAS SOUS 106159 HAS SOUPS 106159 WITH SCORE 106294.559
AT ITER 177 NEW BEST:: SOT 177767 SOS 134999 HAS SOPS 134999 HAS SOUS 105975 HAS SOUPS 105975 WITH SCORE 106109.999
AT ITER 180 NEW BEST:: SOT 177729 SOS 135103 HAS SOPS 135103 HAS SOUS 105974 HAS SOUPS 105974 WITH SCORE 106109.103
AT ITER 181 NEW BEST:: SOT 177729 SOS 135077 HAS SOPS 135077 HAS SOUS 105948 HAS SOUPS 105948 WITH SCORE 106083.077
AT ITER 184 NEW BEST:: SOT 177559 SOS 134486 HAS SOPS 134486 HAS SOUS 104901 HAS SOUPS 104901 WITH SCORE 105035.486
AT ITER 186 NEW BEST:: SOT 177525 SOS 134341 HAS SOPS 134341 HAS SOUS 104839 HAS SOUPS 104839 WITH SCORE 104973.341
AT ITER 190 NEW BEST:: SOT 177437 SOS 134253 HAS SOPS 134253 HAS SOUS 104751 HAS SOUPS 104751 WITH SCORE 104885.253
AT ITER 191 NEW BEST:: SOT 177665 SOS 134362 HAS SOPS 134362 HAS SOUS 104572 HAS SOUPS 104572 WITH SCORE 104706.362
AT ITER 193 NEW BEST:: SOT 177624 SOS 134116 HAS SOPS 134116 HAS SOUS 104367 HAS SOUPS 104367 WITH SCORE 104501.116
AT ITER 197 NEW BEST:: SOT 177590 SOS 133980 HAS SOPS 133980 HAS SOUS 104231 HAS SOUPS 104231 WITH SCORE 104364.98
AT ITER 201 NEW BEST:: SOT 177584 SOS 133478 HAS SOPS 133478 HAS SOUS 103965 HAS SOUPS 103965 WITH SCORE 104098.478
AT ITER 206 NEW BEST:: SOT 177584 SOS 133058 HAS SOPS 133058 HAS SOUS 103822 HAS SOUPS 103822 WITH SCORE 103955.058
AT ITER 208 NEW BEST:: SOT 177651 SOS 132448 HAS SOPS 132448 HAS SOUS 103605 HAS SOUPS 103605 WITH SCORE 103737.448
AT ITER 212 NEW BEST:: SOT 177588 SOS 132171 HAS SOPS 132171 HAS SOUS 103416 HAS SOUPS 103416 WITH SCORE 103548.171
AT ITER 215 NEW BEST:: SOT 177546 SOS 131561 HAS SOPS 131561 HAS SOUS 102891 HAS SOUPS 102891 WITH SCORE 103022.561
AT ITER 223 NEW BEST:: SOT 177494 SOS 131509 HAS SOPS 131509 HAS SOUS 102865 HAS SOUPS 102865 WITH SCORE 102996.509
AT ITER 224 NEW BEST:: SOT 177089 SOS 131013 HAS SOPS 131013 HAS SOUS 102361 HAS SOUPS 102361 WITH SCORE 102492.013
AT ITER 225 NEW BEST:: SOT 177019 SOS 130941 HAS SOPS 130941 HAS SOUS 102290 HAS SOUPS 102290 WITH SCORE 102420.941
AT ITER 226 NEW BEST:: SOT 176958 SOS 130880 HAS SOPS 130880 HAS SOUS 102228 HAS SOUPS 102228 WITH SCORE 102358.88
AT ITER 231 NEW BEST:: SOT 176791 SOS 130713 HAS SOPS 130713 HAS SOUS 102061 HAS SOUPS 102061 WITH SCORE 102191.713
AT ITER 233 NEW BEST:: SOT 176739 SOS 130661 HAS SOPS 130661 HAS SOUS 101960 HAS SOUPS 101960 WITH SCORE 102090.661
AT ITER 239 NEW BEST:: SOT 176739 SOS 130655 HAS SOPS 130655 HAS SOUS 101957 HAS SOUPS 101957 WITH SCORE 102087.655
AT ITER 241 NEW BEST:: SOT 176803 SOS 130519 HAS SOPS 130519 HAS SOUS 101830 HAS SOUPS 101830 WITH SCORE 101960.519
AT ITER 244 NEW BEST:: SOT 176787 SOS 130503 HAS SOPS 130503 HAS SOUS 101814 HAS SOUPS 101814 WITH SCORE 101944.503
AT ITER 245 NEW BEST:: SOT 176778 SOS 130497 HAS SOPS 130497 HAS SOUS 101808 HAS SOUPS 101808 WITH SCORE 101938.497
AT ITER 251 NEW BEST:: SOT 176740 SOS 130269 HAS SOPS 130269 HAS SOUS 101693 HAS SOUPS 101693 WITH SCORE 101823.269
AT ITER 254 NEW BEST:: SOT 176731 SOS 130260 HAS SOPS 130260 HAS SOUS 101684 HAS SOUPS 101684 WITH SCORE 101814.26
AT ITER 255 NEW BEST:: SOT 176630 SOS 130111 HAS SOPS 130111 HAS SOUS 101553 HAS SOUPS 101553 WITH SCORE 101683.111
AT ITER 256 NEW BEST:: SOT 176630 SOS 130111 HAS SOPS 130111 HAS SOUS 101177 HAS SOUPS 101177 WITH SCORE 101307.111
AT ITER 257 NEW BEST:: SOT 176229 SOS 129710 HAS SOPS 129710 HAS SOUS 100776 HAS SOUPS 100776 WITH SCORE 100905.71
AT ITER 258 NEW BEST:: SOT 175944 SOS 129365 HAS SOPS 129365 HAS SOUS 100431 HAS SOUPS 100431 WITH SCORE 100560.365
AT ITER 260 NEW BEST:: SOT 175901 SOS 129322 HAS SOPS 129322 HAS SOUS 100391 HAS SOUPS 100391 WITH SCORE 100520.322
AT ITER 268 NEW BEST:: SOT 175759 SOS 129180 HAS SOPS 129180 HAS SOUS 100248 HAS SOUPS 100248 WITH SCORE 100377.18
AT ITER 270 NEW BEST:: SOT 175787 SOS 129165 HAS SOPS 129165 HAS SOUS 100121 HAS SOUPS 100121 WITH SCORE 100250.165
AT ITER 272 NEW BEST:: SOT 175858 SOS 129236 HAS SOPS 129236 HAS SOUS 100120 HAS SOUPS 100120 WITH SCORE 100249.236
AT ITER 274 NEW BEST:: SOT 176025 SOS 128924 HAS SOPS 128924 HAS SOUS 99776 HAS SOUPS 99776 WITH SCORE 99904.924
AT ITER 278 NEW BEST:: SOT 175820 SOS 128589 HAS SOPS 128589 HAS SOUS 99439 HAS SOUPS 99439 WITH SCORE 99567.589
AT ITER 279 NEW BEST:: SOT 175748 SOS 128513 HAS SOPS 128513 HAS SOUS 99363 HAS SOUPS 99363 WITH SCORE 99491.513
AT ITER 281 NEW BEST:: SOT 175692 SOS 128457 HAS SOPS 128457 HAS SOUS 99307 HAS SOUPS 99307 WITH SCORE 99435.457
AT ITER 284 NEW BEST:: SOT 175594 SOS 128389 HAS SOPS 128389 HAS SOUS 99281 HAS SOUPS 99281 WITH SCORE 99409.389
AT ITER 290 NEW BEST:: SOT 175594 SOS 127963 HAS SOPS 127963 HAS SOUS 99159 HAS SOUPS 99159 WITH SCORE 99286.963
AT ITER 302 NEW BEST:: SOT 175411 SOS 127763 HAS SOPS 127763 HAS SOUS 98959 HAS SOUPS 98959 WITH SCORE 99086.763
AT ITER 303 NEW BEST:: SOT 175370 SOS 127767 HAS SOPS 127767 HAS SOUS 98918 HAS SOUPS 98918 WITH SCORE 99045.767
AT ITER 306 NEW BEST:: SOT 175370 SOS 127833 HAS SOPS 127833 HAS SOUS 98875 HAS SOUPS 98875 WITH SCORE 99002.833
AT ITER 307 NEW BEST:: SOT 175120 SOS 127508 HAS SOPS 127508 HAS SOUS 98550 HAS SOUPS 98550 WITH SCORE 98677.508
AT ITER 308 NEW BEST:: SOT 175207 SOS 127390 HAS SOPS 127390 HAS SOUS 98422 HAS SOUPS 98422 WITH SCORE 98549.39
AT ITER 309 NEW BEST:: SOT 175079 SOS 127260 HAS SOPS 127260 HAS SOUS 98288 HAS SOUPS 98288 WITH SCORE 98415.26
AT ITER 310 NEW BEST:: SOT 175005 SOS 127184 HAS SOPS 127184 HAS SOUS 98287 HAS SOUPS 98287 WITH SCORE 98414.184
AT ITER 311 NEW BEST:: SOT 174959 SOS 127174 HAS SOPS 127174 HAS SOUS 98286 HAS SOUPS 98286 WITH SCORE 98413.174
AT ITER 314 NEW BEST:: SOT 174830 SOS 126221 HAS SOPS 126221 HAS SOUS 97792 HAS SOUPS 97792 WITH SCORE 97918.221
AT ITER 321 NEW BEST:: SOT 174830 SOS 126221 HAS SOPS 126221 HAS SOUS 97761 HAS SOUPS 97761 WITH SCORE 97887.221
AT ITER 329 NEW BEST:: SOT 174774 SOS 126120 HAS SOPS 126120 HAS SOUS 97687 HAS SOUPS 97687 WITH SCORE 97813.12
AT ITER 332 NEW BEST:: SOT 174676 SOS 125970 HAS SOPS 125970 HAS SOUS 97537 HAS SOUPS 97537 WITH SCORE 97662.97
AT ITER 337 NEW BEST:: SOT 174676 SOS 125790 HAS SOPS 125790 HAS SOUS 97288 HAS SOUPS 97288 WITH SCORE 97413.79
AT ITER 338 NEW BEST:: SOT 174665 SOS 125685 HAS SOPS 125685 HAS SOUS 97277 HAS SOUPS 97277 WITH SCORE 97402.685
AT ITER 341 NEW BEST:: SOT 174650 SOS 125237 HAS SOPS 125237 HAS SOUS 97180 HAS SOUPS 97180 WITH SCORE 97305.237
AT ITER 346 NEW BEST:: SOT 174910 SOS 124440 HAS SOPS 124440 HAS SOUS 96763 HAS SOUPS 96763 WITH SCORE 96887.44
AT ITER 347 NEW BEST:: SOT 174826 SOS 124315 HAS SOPS 124315 HAS SOUS 96634 HAS SOUPS 96634 WITH SCORE 96758.315
AT ITER 351 NEW BEST:: SOT 174638 SOS 124023 HAS SOPS 124023 HAS SOUS 96471 HAS SOUPS 96471 WITH SCORE 96595.023
AT ITER 354 NEW BEST:: SOT 174745 SOS 123993 HAS SOPS 123993 HAS SOUS 95942 HAS SOUPS 95942 WITH SCORE 96065.993
AT ITER 357 NEW BEST:: SOT 174344 SOS 123592 HAS SOPS 123592 HAS SOUS 95586 HAS SOUPS 95586 WITH SCORE 95709.592
AT ITER 366 NEW BEST:: SOT 174336 SOS 123565 HAS SOPS 123565 HAS SOUS 95577 HAS SOUPS 95577 WITH SCORE 95700.565
AT ITER 369 NEW BEST:: SOT 174312 SOS 123541 HAS SOPS 123541 HAS SOUS 95553 HAS SOUPS 95553 WITH SCORE 95676.541
AT ITER 372 NEW BEST:: SOT 174312 SOS 122825 HAS SOPS 122825 HAS SOUS 95257 HAS SOUPS 95257 WITH SCORE 95379.825
AT ITER 374 NEW BEST:: SOT 174668 SOS 122988 HAS SOPS 122988 HAS SOUS 95228 HAS SOUPS 95228 WITH SCORE 95350.988
AT ITER 376 NEW BEST:: SOT 174511 SOS 122465 HAS SOPS 122465 HAS SOUS 94885 HAS SOUPS 94885 WITH SCORE 95007.465
AT ITER 379 NEW BEST:: SOT 174487 SOS 122429 HAS SOPS 122429 HAS SOUS 94849 HAS SOUPS 94849 WITH SCORE 94971.429
AT ITER 380 NEW BEST:: SOT 174487 SOS 122429 HAS SOPS 122429 HAS SOUS 94846 HAS SOUPS 94846 WITH SCORE 94968.429
AT ITER 387 NEW BEST:: SOT 174478 SOS 122420 HAS SOPS 122420 HAS SOUS 94837 HAS SOUPS 94837 WITH SCORE 94959.42
AT ITER 396 NEW BEST:: SOT 174444 SOS 122386 HAS SOPS 122386 HAS SOUS 94751 HAS SOUPS 94751 WITH SCORE 94873.386
AT ITER 400 NEW BEST:: SOT 174288 SOS 121434 HAS SOPS 121434 HAS SOUS 93934 HAS SOUPS 93934 WITH SCORE 94055.434
AT ITER 403 NEW BEST:: SOT 174340 SOS 121596 HAS SOPS 121596 HAS SOUS 93921 HAS SOUPS 93921 WITH SCORE 94042.596
AT ITER 405 NEW BEST:: SOT 174273 SOS 121478 HAS SOPS 121478 HAS SOUS 93743 HAS SOUPS 93743 WITH SCORE 93864.478
AT ITER 411 NEW BEST:: SOT 174267 SOS 121469 HAS SOPS 121469 HAS SOUS 93722 HAS SOUPS 93722 WITH SCORE 93843.469
AT ITER 412 NEW BEST:: SOT 174265 SOS 121459 HAS SOPS 121459 HAS SOUS 93711 HAS SOUPS 93711 WITH SCORE 93832.459
AT ITER 413 NEW BEST:: SOT 174274 SOS 121449 HAS SOPS 121449 HAS SOUS 93698 HAS SOUPS 93698 WITH SCORE 93819.449
AT ITER 416 NEW BEST:: SOT 174110 SOS 121189 HAS SOPS 121189 HAS SOUS 93453 HAS SOUPS 93453 WITH SCORE 93574.189
AT ITER 418 NEW BEST:: SOT 174197 SOS 121212 HAS SOPS 121212 HAS SOUS 93427 HAS SOUPS 93427 WITH SCORE 93548.212
AT ITER 422 NEW BEST:: SOT 174244 SOS 120903 HAS SOPS 120903 HAS SOUS 93092 HAS SOUPS 93092 WITH SCORE 93212.903
AT ITER 424 NEW BEST:: SOT 174211 SOS 120870 HAS SOPS 120870 HAS SOUS 93058 HAS SOUPS 93058 WITH SCORE 93178.87
AT ITER 428 NEW BEST:: SOT 174179 SOS 120787 HAS SOPS 120787 HAS SOUS 92981 HAS SOUPS 92981 WITH SCORE 93101.787
AT ITER 444 NEW BEST:: SOT 173522 SOS 120130 HAS SOPS 120130 HAS SOUS 92324 HAS SOUPS 92324 WITH SCORE 92444.13
AT ITER 447 NEW BEST:: SOT 173515 SOS 120095 HAS SOPS 120095 HAS SOUS 92317 HAS SOUPS 92317 WITH SCORE 92437.095
AT ITER 452 NEW BEST:: SOT 173544 SOS 120124 HAS SOPS 120124 HAS SOUS 92312 HAS SOUPS 92312 WITH SCORE 92432.124
AT ITER 453 NEW BEST:: SOT 173514 SOS 120004 HAS SOPS 120004 HAS SOUS 92221 HAS SOUPS 92221 WITH SCORE 92341.004
AT ITER 455 NEW BEST:: SOT 173514 SOS 119895 HAS SOPS 119895 HAS SOUS 92205 HAS SOUPS 92205 WITH SCORE 92324.895
AT ITER 461 NEW BEST:: SOT 173514 SOS 119851 HAS SOPS 119851 HAS SOUS 92195 HAS SOUPS 92195 WITH SCORE 92314.851
AT ITER 474 NEW BEST:: SOT 173514 SOS 119817 HAS SOPS 119817 HAS SOUS 92166 HAS SOUPS 92166 WITH SCORE 92285.817
AT ITER 479 NEW BEST:: SOT 173505 SOS 119805 HAS SOPS 119805 HAS SOUS 92154 HAS SOUPS 92154 WITH SCORE 92273.805
AT ITER 480 NEW BEST:: SOT 173505 SOS 119749 HAS SOPS 119749 HAS SOUS 92140 HAS SOUPS 92140 WITH SCORE 92259.749
AT ITER 483 NEW BEST:: SOT 173518 SOS 119706 HAS SOPS 119706 HAS SOUS 92119 HAS SOUPS 92119 WITH SCORE 92238.706
AT ITER 485 NEW BEST:: SOT 173565 SOS 119793 HAS SOPS 119793 HAS SOUS 91906 HAS SOUPS 91906 WITH SCORE 92025.793
AT ITER 488 NEW BEST:: SOT 173531 SOS 119623 HAS SOPS 119623 HAS SOUS 91770 HAS SOUPS 91770 WITH SCORE 91889.623
AT ITER 489 NEW BEST:: SOT 173522 SOS 119580 HAS SOPS 119580 HAS SOUS 91757 HAS SOUPS 91757 WITH SCORE 91876.58
AT ITER 491 NEW BEST:: SOT 173699 SOS 119900 HAS SOPS 119900 HAS SOUS 91670 HAS SOUPS 91670 WITH SCORE 91789.9
AT ITER 492 NEW BEST:: SOT 173689 SOS 119880 HAS SOPS 119880 HAS SOUS 91659 HAS SOUPS 91659 WITH SCORE 91778.88
AT ITER 497 NEW BEST:: SOT 173590 SOS 118705 HAS SOPS 118705 HAS SOUS 91270 HAS SOUPS 91270 WITH SCORE 91388.705
AT ITER 498 NEW BEST:: SOT 173589 SOS 118693 HAS SOPS 118693 HAS SOUS 91258 HAS SOUPS 91258 WITH SCORE 91376.693
AT ITER 508 NEW BEST:: SOT 173589 SOS 118538 HAS SOPS 118538 HAS SOUS 91258 HAS SOUPS 91258 WITH SCORE 91376.538
AT ITER 509 NEW BEST:: SOT 173487 SOS 118121 HAS SOPS 118121 HAS SOUS 91063 HAS SOUPS 91063 WITH SCORE 91181.121
AT ITER 514 NEW BEST:: SOT 173462 SOS 118096 HAS SOPS 118096 HAS SOUS 91038 HAS SOUPS 91038 WITH SCORE 91156.096
AT ITER 515 NEW BEST:: SOT 173400 SOS 118078 HAS SOPS 118078 HAS SOUS 90968 HAS SOUPS 90968 WITH SCORE 91086.078
AT ITER 517 NEW BEST:: SOT 173446 SOS 117896 HAS SOPS 117896 HAS SOUS 90878 HAS SOUPS 90878 WITH SCORE 90995.896
AT ITER 519 NEW BEST:: SOT 172996 SOS 117334 HAS SOPS 117334 HAS SOUS 89868 HAS SOUPS 89868 WITH SCORE 89985.334
AT ITER 520 NEW BEST:: SOT 172886 SOS 117161 HAS SOPS 117161 HAS SOUS 89662 HAS SOUPS 89662 WITH SCORE 89779.161
AT ITER 529 NEW BEST:: SOT 172754 SOS 117029 HAS SOPS 117029 HAS SOUS 89529 HAS SOUPS 89529 WITH SCORE 89646.029
AT ITER 532 NEW BEST:: SOT 172818 SOS 117033 HAS SOPS 117033 HAS SOUS 89290 HAS SOUPS 89290 WITH SCORE 89407.033
AT ITER 538 NEW BEST:: SOT 172850 SOS 117125 HAS SOPS 117125 HAS SOUS 89281 HAS SOUPS 89281 WITH SCORE 89398.125
AT ITER 540 NEW BEST:: SOT 172411 SOS 116761 HAS SOPS 116761 HAS SOUS 88557 HAS SOUPS 88557 WITH SCORE 88673.761
AT ITER 542 NEW BEST:: SOT 172320 SOS 116670 HAS SOPS 116670 HAS SOUS 88529 HAS SOUPS 88529 WITH SCORE 88645.67
AT ITER 547 NEW BEST:: SOT 172238 SOS 116207 HAS SOPS 116207 HAS SOUS 88258 HAS SOUPS 88258 WITH SCORE 88374.207
AT ITER 549 NEW BEST:: SOT 171916 SOS 115883 HAS SOPS 115883 HAS SOUS 87935 HAS SOUPS 87935 WITH SCORE 88050.883
AT ITER 550 NEW BEST:: SOT 171916 SOS 115863 HAS SOPS 115863 HAS SOUS 87925 HAS SOUPS 87925 WITH SCORE 88040.863
AT ITER 551 NEW BEST:: SOT 171924 SOS 115954 HAS SOPS 115954 HAS SOUS 87921 HAS SOUPS 87921 WITH SCORE 88036.954
AT ITER 552 NEW BEST:: SOT 171928 SOS 115958 HAS SOPS 115958 HAS SOUS 87865 HAS SOUPS 87865 WITH SCORE 87980.958
AT ITER 556 NEW BEST:: SOT 171763 SOS 115793 HAS SOPS 115793 HAS SOUS 87700 HAS SOUPS 87700 WITH SCORE 87815.793
AT ITER 557 NEW BEST:: SOT 171763 SOS 115950 HAS SOPS 115950 HAS SOUS 87504 HAS SOUPS 87504 WITH SCORE 87619.95
AT ITER 563 NEW BEST:: SOT 171763 SOS 115936 HAS SOPS 115936 HAS SOUS 87490 HAS SOUPS 87490 WITH SCORE 87605.936
AT ITER 569 NEW BEST:: SOT 171720 SOS 115916 HAS SOPS 115916 HAS SOUS 87307 HAS SOUPS 87307 WITH SCORE 87422.916
AT ITER 572 NEW BEST:: SOT 172014 SOS 115996 HAS SOPS 115996 HAS SOUS 87194 HAS SOUPS 87194 WITH SCORE 87309.996
AT ITER 573 NEW BEST:: SOT 172014 SOS 115786 HAS SOPS 115786 HAS SOUS 87082 HAS SOUPS 87082 WITH SCORE 87197.786
AT ITER 575 NEW BEST:: SOT 171999 SOS 115768 HAS SOPS 115768 HAS SOUS 87061 HAS SOUPS 87061 WITH SCORE 87176.768
AT ITER 576 NEW BEST:: SOT 171977 SOS 115707 HAS SOPS 115707 HAS SOUS 86844 HAS SOUPS 86844 WITH SCORE 86959.707
AT ITER 577 NEW BEST:: SOT 171828 SOS 115552 HAS SOPS 115552 HAS SOUS 86689 HAS SOUPS 86689 WITH SCORE 86804.552
AT ITER 588 NEW BEST:: SOT 171828 SOS 115504 HAS SOPS 115504 HAS SOUS 86529 HAS SOUPS 86529 WITH SCORE 86644.504
AT ITER 591 NEW BEST:: SOT 171828 SOS 115542 HAS SOPS 115542 HAS SOUS 86480 HAS SOUPS 86480 WITH SCORE 86595.542
AT ITER 595 NEW BEST:: SOT 171824 SOS 115538 HAS SOPS 115538 HAS SOUS 86476 HAS SOUPS 86476 WITH SCORE 86591.538
AT ITER 602 NEW BEST:: SOT 171737 SOS 115338 HAS SOPS 115338 HAS SOUS 86097 HAS SOUPS 86097 WITH SCORE 86212.338
AT ITER 611 NEW BEST:: SOT 171731 SOS 115292 HAS SOPS 115292 HAS SOUS 85550 HAS SOUPS 85550 WITH SCORE 85665.292
AT ITER 613 NEW BEST:: SOT 171923 SOS 116421 HAS SOPS 116421 HAS SOUS 85354 HAS SOUPS 85354 WITH SCORE 85470.421
AT ITER 622 NEW BEST:: SOT 171814 SOS 116310 HAS SOPS 116310 HAS SOUS 85271 HAS SOUPS 85271 WITH SCORE 85387.31
AT ITER 631 NEW BEST:: SOT 171870 SOS 116262 HAS SOPS 116262 HAS SOUS 85269 HAS SOUPS 85269 WITH SCORE 85385.262
AT ITER 633 NEW BEST:: SOT 171870 SOS 116256 HAS SOPS 116256 HAS SOUS 85267 HAS SOUPS 85267 WITH SCORE 85383.256
AT ITER 639 NEW BEST:: SOT 171841 SOS 116227 HAS SOPS 116227 HAS SOUS 85238 HAS SOUPS 85238 WITH SCORE 85354.227
AT ITER 640 NEW BEST:: SOT 171841 SOS 116270 HAS SOPS 116270 HAS SOUS 85197 HAS SOUPS 85197 WITH SCORE 85313.27
AT ITER 644 NEW BEST:: SOT 171795 SOS 116178 HAS SOPS 116178 HAS SOUS 85082 HAS SOUPS 85082 WITH SCORE 85198.178
AT ITER 645 NEW BEST:: SOT 171723 SOS 116017 HAS SOPS 116017 HAS SOUS 85055 HAS SOUPS 85055 WITH SCORE 85171.017
AT ITER 646 NEW BEST:: SOT 171492 SOS 115453 HAS SOPS 115453 HAS SOUS 85006 HAS SOUPS 85006 WITH SCORE 85121.453
AT ITER 651 NEW BEST:: SOT 171432 SOS 115393 HAS SOPS 115393 HAS SOUS 84967 HAS SOUPS 84967 WITH SCORE 85082.393
AT ITER 654 NEW BEST:: SOT 171415 SOS 115376 HAS SOPS 115376 HAS SOUS 84950 HAS SOUPS 84950 WITH SCORE 85065.376
AT ITER 658 NEW BEST:: SOT 171415 SOS 115412 HAS SOPS 115412 HAS SOUS 84930 HAS SOUPS 84930 WITH SCORE 85045.412
AT ITER 662 NEW BEST:: SOT 171415 SOS 115341 HAS SOPS 115341 HAS SOUS 84889 HAS SOUPS 84889 WITH SCORE 85004.341
AT ITER 671 NEW BEST:: SOT 171315 SOS 115189 HAS SOPS 115189 HAS SOUS 84545 HAS SOUPS 84545 WITH SCORE 84660.189
AT ITER 675 NEW BEST:: SOT 171296 SOS 115094 HAS SOPS 115094 HAS SOUS 84469 HAS SOUPS 84469 WITH SCORE 84584.094
AT ITER 676 NEW BEST:: SOT 171196 SOS 114873 HAS SOPS 114873 HAS SOUS 84410 HAS SOUPS 84410 WITH SCORE 84524.873
AT ITER 679 NEW BEST:: SOT 171182 SOS 114859 HAS SOPS 114859 HAS SOUS 84396 HAS SOUPS 84396 WITH SCORE 84510.859
AT ITER 681 NEW BEST:: SOT 171182 SOS 114865 HAS SOPS 114865 HAS SOUS 84392 HAS SOUPS 84392 WITH SCORE 84506.865
AT ITER 695 NEW BEST:: SOT 171182 SOS 114934 HAS SOPS 114934 HAS SOUS 84382 HAS SOUPS 84382 WITH SCORE 84496.934
AT ITER 700 NEW BEST:: SOT 171188 SOS 114928 HAS SOPS 114928 HAS SOUS 84382 HAS SOUPS 84382 WITH SCORE 84496.928
AT ITER 716 NEW BEST:: SOT 170667 SOS 114289 HAS SOPS 114289 HAS SOUS 83485 HAS SOUPS 83485 WITH SCORE 83599.289
AT ITER 726 NEW BEST:: SOT 170651 SOS 114245 HAS SOPS 114245 HAS SOUS 83443 HAS SOUPS 83443 WITH SCORE 83557.245
AT ITER 727 NEW BEST:: SOT 170457 SOS 113999 HAS SOPS 113999 HAS SOUS 83201 HAS SOUPS 83201 WITH SCORE 83314.999
AT ITER 729 NEW BEST:: SOT 170381 SOS 113923 HAS SOPS 113923 HAS SOUS 83125 HAS SOUPS 83125 WITH SCORE 83238.923
AT ITER 735 NEW BEST:: SOT 170187 SOS 113653 HAS SOPS 113653 HAS SOUS 82855 HAS SOUPS 82855 WITH SCORE 82968.653
AT ITER 738 NEW BEST:: SOT 169998 SOS 113464 HAS SOPS 113464 HAS SOUS 82666 HAS SOUPS 82666 WITH SCORE 82779.464
AT ITER 745 NEW BEST:: SOT 169988 SOS 113454 HAS SOPS 113454 HAS SOUS 82651 HAS SOUPS 82651 WITH SCORE 82764.454
AT ITER 750 NEW BEST:: SOT 169673 SOS 112662 HAS SOPS 112662 HAS SOUS 82113 HAS SOUPS 82113 WITH SCORE 82225.662
AT ITER 751 NEW BEST:: SOT 169324 SOS 111989 HAS SOPS 111989 HAS SOUS 81547 HAS SOUPS 81547 WITH SCORE 81658.989
AT ITER 758 NEW BEST:: SOT 169357 SOS 111987 HAS SOPS 111987 HAS SOUS 81529 HAS SOUPS 81529 WITH SCORE 81640.987
AT ITER 762 NEW BEST:: SOT 169266 SOS 111640 HAS SOPS 111640 HAS SOUS 81426 HAS SOUPS 81426 WITH SCORE 81537.64
AT ITER 771 NEW BEST:: SOT 169238 SOS 111372 HAS SOPS 111372 HAS SOUS 81126 HAS SOUPS 81126 WITH SCORE 81237.372
AT ITER 774 NEW BEST:: SOT 169238 SOS 111272 HAS SOPS 111272 HAS SOUS 81078 HAS SOUPS 81078 WITH SCORE 81189.272
AT ITER 775 NEW BEST:: SOT 169083 SOS 111044 HAS SOPS 111044 HAS SOUS 80541 HAS SOUPS 80541 WITH SCORE 80652.044
AT ITER 788 NEW BEST:: SOT 168755 SOS 110678 HAS SOPS 110678 HAS SOUS 80171 HAS SOUPS 80171 WITH SCORE 80281.678
AT ITER 789 NEW BEST:: SOT 168724 SOS 110649 HAS SOPS 110649 HAS SOUS 80142 HAS SOUPS 80142 WITH SCORE 80252.649
AT ITER 803 NEW BEST:: SOT 168766 SOS 110693 HAS SOPS 110693 HAS SOUS 80095 HAS SOUPS 80095 WITH SCORE 80205.693
AT ITER 806 NEW BEST:: SOT 168766 SOS 110694 HAS SOPS 110694 HAS SOUS 80094 HAS SOUPS 80094 WITH SCORE 80204.694
AT ITER 810 NEW BEST:: SOT 168694 SOS 110672 HAS SOPS 110672 HAS SOUS 80069 HAS SOUPS 80069 WITH SCORE 80179.672
AT ITER 815 NEW BEST:: SOT 168627 SOS 110524 HAS SOPS 110524 HAS SOUS 79617 HAS SOUPS 79617 WITH SCORE 79727.524
AT ITER 819 NEW BEST:: SOT 168098 SOS 109975 HAS SOPS 109975 HAS SOUS 79068 HAS SOUPS 79068 WITH SCORE 79177.975
AT ITER 825 NEW BEST:: SOT 168226 SOS 109955 HAS SOPS 109955 HAS SOUS 78918 HAS SOUPS 78918 WITH SCORE 79027.955
AT ITER 827 NEW BEST:: SOT 168311 SOS 109942 HAS SOPS 109942 HAS SOUS 78886 HAS SOUPS 78886 WITH SCORE 78995.942
AT ITER 828 NEW BEST:: SOT 168311 SOS 109951 HAS SOPS 109951 HAS SOUS 78879 HAS SOUPS 78879 WITH SCORE 78988.951
AT ITER 831 NEW BEST:: SOT 168146 SOS 109776 HAS SOPS 109776 HAS SOUS 78704 HAS SOUPS 78704 WITH SCORE 78813.776
AT ITER 834 NEW BEST:: SOT 168146 SOS 109646 HAS SOPS 109646 HAS SOUS 78704 HAS SOUPS 78704 WITH SCORE 78813.646
AT ITER 835 NEW BEST:: SOT 168146 SOS 109700 HAS SOPS 109700 HAS SOUS 78517 HAS SOUPS 78517 WITH SCORE 78626.7
AT ITER 836 NEW BEST:: SOT 168137 SOS 109691 HAS SOPS 109691 HAS SOUS 78508 HAS SOUPS 78508 WITH SCORE 78617.691
AT ITER 844 NEW BEST:: SOT 168129 SOS 109636 HAS SOPS 109636 HAS SOUS 78433 HAS SOUPS 78433 WITH SCORE 78542.636
AT ITER 861 NEW BEST:: SOT 168114 SOS 109456 HAS SOPS 109456 HAS SOUS 78203 HAS SOUPS 78203 WITH SCORE 78312.456
AT ITER 864 NEW BEST:: SOT 168121 SOS 109175 HAS SOPS 109175 HAS SOUS 78203 HAS SOUPS 78203 WITH SCORE 78312.175
AT ITER 875 NEW BEST:: SOT 168089 SOS 109111 HAS SOPS 109111 HAS SOUS 78167 HAS SOUPS 78167 WITH SCORE 78276.111
AT ITER 880 NEW BEST:: SOT 168093 SOS 108911 HAS SOPS 108911 HAS SOUS 78081 HAS SOUPS 78081 WITH SCORE 78189.911
AT ITER 884 NEW BEST:: SOT 167897 SOS 108614 HAS SOPS 108614 HAS SOUS 77655 HAS SOUPS 77655 WITH SCORE 77763.614
AT ITER 886 NEW BEST:: SOT 167897 SOS 108614 HAS SOPS 108614 HAS SOUS 77654 HAS SOUPS 77654 WITH SCORE 77762.614
AT ITER 891 NEW BEST:: SOT 167893 SOS 108610 HAS SOPS 108610 HAS SOUS 77650 HAS SOUPS 77650 WITH SCORE 77758.61
AT ITER 892 NEW BEST:: SOT 167883 SOS 108595 HAS SOPS 108595 HAS SOUS 77638 HAS SOUPS 77638 WITH SCORE 77746.595
AT ITER 894 NEW BEST:: SOT 167883 SOS 107959 HAS SOPS 107959 HAS SOUS 77492 HAS SOUPS 77492 WITH SCORE 77599.959
AT ITER 895 NEW BEST:: SOT 167858 SOS 107652 HAS SOPS 107652 HAS SOUS 77368 HAS SOUPS 77368 WITH SCORE 77475.652
AT ITER 896 NEW BEST:: SOT 167694 SOS 106830 HAS SOPS 106830 HAS SOUS 77041 HAS SOUPS 77041 WITH SCORE 77147.83
AT ITER 906 NEW BEST:: SOT 167655 SOS 106752 HAS SOPS 106752 HAS SOUS 76963 HAS SOUPS 76963 WITH SCORE 77069.752
AT ITER 913 NEW BEST:: SOT 167574 SOS 106671 HAS SOPS 106671 HAS SOUS 76882 HAS SOUPS 76882 WITH SCORE 76988.671
AT ITER 922 NEW BEST:: SOT 167821 SOS 106328 HAS SOPS 106328 HAS SOUS 76873 HAS SOUPS 76873 WITH SCORE 76979.328
AT ITER 925 NEW BEST:: SOT 167734 SOS 106241 HAS SOPS 106241 HAS SOUS 76786 HAS SOUPS 76786 WITH SCORE 76892.241
AT ITER 927 NEW BEST:: SOT 167733 SOS 106210 HAS SOPS 106210 HAS SOUS 76782 HAS SOUPS 76782 WITH SCORE 76888.21
AT ITER 928 NEW BEST:: SOT 167693 SOS 106170 HAS SOPS 106170 HAS SOUS 76742 HAS SOUPS 76742 WITH SCORE 76848.17
AT ITER 932 NEW BEST:: SOT 167223 SOS 105700 HAS SOPS 105700 HAS SOUS 76321 HAS SOUPS 76321 WITH SCORE 76426.7
AT ITER 946 NEW BEST:: SOT 167078 SOS 105687 HAS SOPS 105687 HAS SOUS 76242 HAS SOUPS 76242 WITH SCORE 76347.687
AT ITER 952 NEW BEST:: SOT 167078 SOS 105685 HAS SOPS 105685 HAS SOUS 76192 HAS SOUPS 76192 WITH SCORE 76297.685
AT ITER 956 NEW BEST:: SOT 167088 SOS 105695 HAS SOPS 105695 HAS SOUS 76191 HAS SOUPS 76191 WITH SCORE 76296.695
AT ITER 957 NEW BEST:: SOT 166985 SOS 105594 HAS SOPS 105594 HAS SOUS 76040 HAS SOUPS 76040 WITH SCORE 76145.594
AT ITER 958 NEW BEST:: SOT 166858 SOS 105539 HAS SOPS 105539 HAS SOUS 75807 HAS SOUPS 75807 WITH SCORE 75912.539
AT ITER 962 NEW BEST:: SOT 166837 SOS 105518 HAS SOPS 105518 HAS SOUS 75786 HAS SOUPS 75786 WITH SCORE 75891.518
AT ITER 963 NEW BEST:: SOT 166808 SOS 105483 HAS SOPS 105483 HAS SOUS 75749 HAS SOUPS 75749 WITH SCORE 75854.483
AT ITER 970 NEW BEST:: SOT 166956 SOS 105641 HAS SOPS 105641 HAS SOUS 75735 HAS SOUPS 75735 WITH SCORE 75840.641
AT ITER 985 NEW BEST:: SOT 166778 SOS 105700 HAS SOPS 105700 HAS SOUS 75640 HAS SOUPS 75640 WITH SCORE 75745.7
AT ITER 988 NEW BEST:: SOT 166415 SOS 105283 HAS SOPS 105283 HAS SOUS 75223 HAS SOUPS 75223 WITH SCORE 75328.283
AT ITER 1001 NEW BEST:: SOT 166407 SOS 105275 HAS SOPS 105275 HAS SOUS 75223 HAS SOUPS 75223 WITH SCORE 75328.275
AT ITER 1003 NEW BEST:: SOT 166407 SOS 105275 HAS SOPS 105275 HAS SOUS 75222 HAS SOUPS 75222 WITH SCORE 75327.275
AT ITER 1012 NEW BEST:: SOT 166399 SOS 105224 HAS SOPS 105224 HAS SOUS 75120 HAS SOUPS 75120 WITH SCORE 75225.224
AT ITER 1013 NEW BEST:: SOT 166115 SOS 104901 HAS SOPS 104901 HAS SOUS 74841 HAS SOUPS 74841 WITH SCORE 74945.901
AT ITER 1016 NEW BEST:: SOT 166115 SOS 104943 HAS SOPS 104943 HAS SOUS 74778 HAS SOUPS 74778 WITH SCORE 74882.943
AT ITER 1017 NEW BEST:: SOT 166091 SOS 104901 HAS SOPS 104901 HAS SOUS 74650 HAS SOUPS 74650 WITH SCORE 74754.901
AT ITER 1018 NEW BEST:: SOT 166054 SOS 104697 HAS SOPS 104697 HAS SOUS 74547 HAS SOUPS 74547 WITH SCORE 74651.697
AT ITER 1021 NEW BEST:: SOT 166054 SOS 104392 HAS SOPS 104392 HAS SOUS 74489 HAS SOUPS 74489 WITH SCORE 74593.392
AT ITER 1026 NEW BEST:: SOT 166054 SOS 104392 HAS SOPS 104392 HAS SOUS 74452 HAS SOUPS 74452 WITH SCORE 74556.392
AT ITER 1033 NEW BEST:: SOT 165987 SOS 104096 HAS SOPS 104096 HAS SOUS 74403 HAS SOUPS 74403 WITH SCORE 74507.096
AT ITER 1042 NEW BEST:: SOT 166044 SOS 104100 HAS SOPS 104100 HAS SOUS 74402 HAS SOUPS 74402 WITH SCORE 74506.1
AT ITER 1054 NEW BEST:: SOT 165973 SOS 104027 HAS SOPS 104027 HAS SOUS 74253 HAS SOUPS 74253 WITH SCORE 74357.027
AT ITER 1068 NEW BEST:: SOT 165847 SOS 103597 HAS SOPS 103597 HAS SOUS 74090 HAS SOUPS 74090 WITH SCORE 74193.597
AT ITER 1091 NEW BEST:: SOT 165769 SOS 103221 HAS SOPS 103221 HAS SOUS 73889 HAS SOUPS 73889 WITH SCORE 73992.221
AT ITER 1097 NEW BEST:: SOT 165782 SOS 103296 HAS SOPS 103296 HAS SOUS 73873 HAS SOUPS 73873 WITH SCORE 73976.296
AT ITER 1100 NEW BEST:: SOT 165760 SOS 103250 HAS SOPS 103250 HAS SOUS 73791 HAS SOUPS 73791 WITH SCORE 73894.25
AT ITER 1112 NEW BEST:: SOT 165750 SOS 103220 HAS SOPS 103220 HAS SOUS 73771 HAS SOUPS 73771 WITH SCORE 73874.22
AT ITER 1114 NEW BEST:: SOT 165750 SOS 102616 HAS SOPS 102616 HAS SOUS 73739 HAS SOUPS 73739 WITH SCORE 73841.616
AT ITER 1116 NEW BEST:: SOT 165733 SOS 102639 HAS SOPS 102639 HAS SOUS 73643 HAS SOUPS 73643 WITH SCORE 73745.639
AT ITER 1119 NEW BEST:: SOT 165716 SOS 102622 HAS SOPS 102622 HAS SOUS 73626 HAS SOUPS 73626 WITH SCORE 73728.622
AT ITER 1120 NEW BEST:: SOT 165710 SOS 102545 HAS SOPS 102545 HAS SOUS 73549 HAS SOUPS 73549 WITH SCORE 73651.545
AT ITER 1125 NEW BEST:: SOT 165808 SOS 102775 HAS SOPS 102775 HAS SOUS 73540 HAS SOUPS 73540 WITH SCORE 73642.775
AT ITER 1128 NEW BEST:: SOT 165803 SOS 102770 HAS SOPS 102770 HAS SOUS 73535 HAS SOUPS 73535 WITH SCORE 73637.77
AT ITER 1132 NEW BEST:: SOT 165803 SOS 102770 HAS SOPS 102770 HAS SOUS 73483 HAS SOUPS 73483 WITH SCORE 73585.77
AT ITER 1135 NEW BEST:: SOT 165789 SOS 102770 HAS SOPS 102770 HAS SOUS 73469 HAS SOUPS 73469 WITH SCORE 73571.77
AT ITER 1137 NEW BEST:: SOT 165751 SOS 102732 HAS SOPS 102732 HAS SOUS 73393 HAS SOUPS 73393 WITH SCORE 73495.732
AT ITER 1138 NEW BEST:: SOT 165751 SOS 102717 HAS SOPS 102717 HAS SOUS 73393 HAS SOUPS 73393 WITH SCORE 73495.717
AT ITER 1144 NEW BEST:: SOT 165676 SOS 102642 HAS SOPS 102642 HAS SOUS 73318 HAS SOUPS 73318 WITH SCORE 73420.642
AT ITER 1147 NEW BEST:: SOT 165660 SOS 102572 HAS SOPS 102572 HAS SOUS 73270 HAS SOUPS 73270 WITH SCORE 73372.572
AT ITER 1152 NEW BEST:: SOT 165658 SOS 102568 HAS SOPS 102568 HAS SOUS 73268 HAS SOUPS 73268 WITH SCORE 73370.568
AT ITER 1153 NEW BEST:: SOT 165574 SOS 102458 HAS SOPS 102458 HAS SOUS 73214 HAS SOUPS 73214 WITH SCORE 73316.458
AT ITER 1154 NEW BEST:: SOT 165572 SOS 102456 HAS SOPS 102456 HAS SOUS 73206 HAS SOUPS 73206 WITH SCORE 73308.456
AT ITER 1158 NEW BEST:: SOT 165572 SOS 102409 HAS SOPS 102409 HAS SOUS 73159 HAS SOUPS 73159 WITH SCORE 73261.409
AT ITER 1160 NEW BEST:: SOT 165421 SOS 102083 HAS SOPS 102083 HAS SOUS 72999 HAS SOUPS 72999 WITH SCORE 73101.083
AT ITER 1164 NEW BEST:: SOT 165377 SOS 101987 HAS SOPS 101987 HAS SOUS 72954 HAS SOUPS 72954 WITH SCORE 73055.987
AT ITER 1168 NEW BEST:: SOT 165371 SOS 101957 HAS SOPS 101957 HAS SOUS 72945 HAS SOUPS 72945 WITH SCORE 73046.957
AT ITER 1173 NEW BEST:: SOT 165371 SOS 101924 HAS SOPS 101924 HAS SOUS 72945 HAS SOUPS 72945 WITH SCORE 73046.924
AT ITER 1177 NEW BEST:: SOT 165403 SOS 101839 HAS SOPS 101839 HAS SOUS 72731 HAS SOUPS 72731 WITH SCORE 72832.839
AT ITER 1178 NEW BEST:: SOT 165403 SOS 101839 HAS SOPS 101839 HAS SOUS 72623 HAS SOUPS 72623 WITH SCORE 72724.839
AT ITER 1184 NEW BEST:: SOT 164693 SOS 101129 HAS SOPS 101129 HAS SOUS 71913 HAS SOUPS 71913 WITH SCORE 72014.129
AT ITER 1185 NEW BEST:: SOT 164705 SOS 100812 HAS SOPS 100812 HAS SOUS 71632 HAS SOUPS 71632 WITH SCORE 71732.812
AT ITER 1192 NEW BEST:: SOT 164653 SOS 100760 HAS SOPS 100760 HAS SOUS 71568 HAS SOUPS 71568 WITH SCORE 71668.76
AT ITER 1209 NEW BEST:: SOT 164653 SOS 100747 HAS SOPS 100747 HAS SOUS 71547 HAS SOUPS 71547 WITH SCORE 71647.747
AT ITER 1228 NEW BEST:: SOT 164653 SOS 100301 HAS SOPS 100301 HAS SOUS 71477 HAS SOUPS 71477 WITH SCORE 71577.301
AT ITER 1230 NEW BEST:: SOT 164653 SOS 100301 HAS SOPS 100301 HAS SOUS 71475 HAS SOUPS 71475 WITH SCORE 71575.301
AT ITER 1233 NEW BEST:: SOT 164653 SOS 99611 HAS SOPS 99611 HAS SOUS 71300 HAS SOUPS 71300 WITH SCORE 71399.611
AT ITER 1244 NEW BEST:: SOT 164585 SOS 99137 HAS SOPS 99137 HAS SOUS 71176 HAS SOUPS 71176 WITH SCORE 71275.137
AT ITER 1246 NEW BEST:: SOT 164585 SOS 99260 HAS SOPS 99260 HAS SOUS 71052 HAS SOUPS 71052 WITH SCORE 71151.26
AT ITER 1248 NEW BEST:: SOT 164528 SOS 99006 HAS SOPS 99006 HAS SOUS 70722 HAS SOUPS 70722 WITH SCORE 70821.006
AT ITER 1251 NEW BEST:: SOT 164278 SOS 98401 HAS SOPS 98401 HAS SOUS 70444 HAS SOUPS 70444 WITH SCORE 70542.401
AT ITER 1259 NEW BEST:: SOT 164216 SOS 98267 HAS SOPS 98267 HAS SOUS 70383 HAS SOUPS 70383 WITH SCORE 70481.267
AT ITER 1260 NEW BEST:: SOT 164241 SOS 98362 HAS SOPS 98362 HAS SOUS 70363 HAS SOUPS 70363 WITH SCORE 70461.362
AT ITER 1270 NEW BEST:: SOT 164209 SOS 98312 HAS SOPS 98312 HAS SOUS 70307 HAS SOUPS 70307 WITH SCORE 70405.312
AT ITER 1273 NEW BEST:: SOT 164209 SOS 98277 HAS SOPS 98277 HAS SOUS 70293 HAS SOUPS 70293 WITH SCORE 70391.277
AT ITER 1279 NEW BEST:: SOT 164217 SOS 98176 HAS SOPS 98176 HAS SOUS 70190 HAS SOUPS 70190 WITH SCORE 70288.176
AT ITER 1282 NEW BEST:: SOT 164192 SOS 98151 HAS SOPS 98151 HAS SOUS 70092 HAS SOUPS 70092 WITH SCORE 70190.151
AT ITER 1287 NEW BEST:: SOT 164181 SOS 97955 HAS SOPS 97955 HAS SOUS 69855 HAS SOUPS 69855 WITH SCORE 69952.955
AT ITER 1298 NEW BEST:: SOT 164178 SOS 97952 HAS SOPS 97952 HAS SOUS 69849 HAS SOUPS 69849 WITH SCORE 69946.952
AT ITER 1303 NEW BEST:: SOT 164310 SOS 97893 HAS SOPS 97893 HAS SOUS 69781 HAS SOUPS 69781 WITH SCORE 69878.893
AT ITER 1309 NEW BEST:: SOT 164136 SOS 97395 HAS SOPS 97395 HAS SOUS 69499 HAS SOUPS 69499 WITH SCORE 69596.395
AT ITER 1310 NEW BEST:: SOT 164215 SOS 97402 HAS SOPS 97402 HAS SOUS 69448 HAS SOUPS 69448 WITH SCORE 69545.402
AT ITER 1315 NEW BEST:: SOT 164200 SOS 97501 HAS SOPS 97501 HAS SOUS 69313 HAS SOUPS 69313 WITH SCORE 69410.501
AT ITER 1317 NEW BEST:: SOT 164299 SOS 97497 HAS SOPS 97497 HAS SOUS 69282 HAS SOUPS 69282 WITH SCORE 69379.497
AT ITER 1318 NEW BEST:: SOT 164226 SOS 97424 HAS SOPS 97424 HAS SOUS 69139 HAS SOUPS 69139 WITH SCORE 69236.424
AT ITER 1324 NEW BEST:: SOT 164163 SOS 97201 HAS SOPS 97201 HAS SOUS 69012 HAS SOUPS 69012 WITH SCORE 69109.201
AT ITER 1329 NEW BEST:: SOT 164022 SOS 97031 HAS SOPS 97031 HAS SOUS 68802 HAS SOUPS 68802 WITH SCORE 68899.031
AT ITER 1337 NEW BEST:: SOT 163875 SOS 96972 HAS SOPS 96972 HAS SOUS 68739 HAS SOUPS 68739 WITH SCORE 68835.972
AT ITER 1355 NEW BEST:: SOT 163875 SOS 97176 HAS SOPS 97176 HAS SOUS 68725 HAS SOUPS 68725 WITH SCORE 68822.176
AT ITER 1356 NEW BEST:: SOT 163773 SOS 97074 HAS SOPS 97074 HAS SOUS 68674 HAS SOUPS 68674 WITH SCORE 68771.074
AT ITER 1362 NEW BEST:: SOT 163631 SOS 97046 HAS SOPS 97046 HAS SOUS 68419 HAS SOUPS 68419 WITH SCORE 68516.046
AT ITER 1369 NEW BEST:: SOT 163631 SOS 97037 HAS SOPS 97037 HAS SOUS 68410 HAS SOUPS 68410 WITH SCORE 68507.037
AT ITER 1375 NEW BEST:: SOT 163630 SOS 97036 HAS SOPS 97036 HAS SOUS 68405 HAS SOUPS 68405 WITH SCORE 68502.036
AT ITER 1377 NEW BEST:: SOT 163471 SOS 96864 HAS SOPS 96864 HAS SOUS 68230 HAS SOUPS 68230 WITH SCORE 68326.864
AT ITER 1379 NEW BEST:: SOT 163360 SOS 96696 HAS SOPS 96696 HAS SOUS 68018 HAS SOUPS 68018 WITH SCORE 68114.696
AT ITER 1380 NEW BEST:: SOT 163310 SOS 96302 HAS SOPS 96302 HAS SOUS 67965 HAS SOUPS 67965 WITH SCORE 68061.302
AT ITER 1384 NEW BEST:: SOT 163289 SOS 96256 HAS SOPS 96256 HAS SOUS 67965 HAS SOUPS 67965 WITH SCORE 68061.256
AT ITER 1405 NEW BEST:: SOT 163265 SOS 96237 HAS SOPS 96237 HAS SOUS 67959 HAS SOUPS 67959 WITH SCORE 68055.237
AT ITER 1429 NEW BEST:: SOT 163301 SOS 96209 HAS SOPS 96209 HAS SOUS 67931 HAS SOUPS 67931 WITH SCORE 68027.209
AT ITER 1439 NEW BEST:: SOT 163266 SOS 95741 HAS SOPS 95741 HAS SOUS 67663 HAS SOUPS 67663 WITH SCORE 67758.741
AT ITER 1442 NEW BEST:: SOT 163267 SOS 95937 HAS SOPS 95937 HAS SOUS 67556 HAS SOUPS 67556 WITH SCORE 67651.937
AT ITER 1448 NEW BEST:: SOT 163267 SOS 96037 HAS SOPS 96037 HAS SOUS 67515 HAS SOUPS 67515 WITH SCORE 67611.037
AT ITER 1450 NEW BEST:: SOT 163127 SOS 95897 HAS SOPS 95897 HAS SOUS 67375 HAS SOUPS 67375 WITH SCORE 67470.897
AT ITER 1459 NEW BEST:: SOT 163127 SOS 96027 HAS SOPS 96027 HAS SOUS 67350 HAS SOUPS 67350 WITH SCORE 67446.027
AT ITER 1461 NEW BEST:: SOT 162813 SOS 95613 HAS SOPS 95613 HAS SOUS 66786 HAS SOUPS 66786 WITH SCORE 66881.613
AT ITER 1469 NEW BEST:: SOT 162748 SOS 95524 HAS SOPS 95524 HAS SOUS 66688 HAS SOUPS 66688 WITH SCORE 66783.524
AT ITER 1483 NEW BEST:: SOT 162748 SOS 95469 HAS SOPS 95469 HAS SOUS 66682 HAS SOUPS 66682 WITH SCORE 66777.469
AT ITER 1510 NEW BEST:: SOT 162748 SOS 95409 HAS SOPS 95409 HAS SOUS 66652 HAS SOUPS 66652 WITH SCORE 66747.409
AT ITER 1523 NEW BEST:: SOT 162821 SOS 95303 HAS SOPS 95303 HAS SOUS 66637 HAS SOUPS 66637 WITH SCORE 66732.303
AT ITER 1529 NEW BEST:: SOT 162830 SOS 94792 HAS SOPS 94792 HAS SOUS 66289 HAS SOUPS 66289 WITH SCORE 66383.792
AT ITER 1530 NEW BEST:: SOT 162813 SOS 94740 HAS SOPS 94740 HAS SOUS 65941 HAS SOUPS 65941 WITH SCORE 66035.74
AT ITER 1539 NEW BEST:: SOT 162808 SOS 94735 HAS SOPS 94735 HAS SOUS 65936 HAS SOUPS 65936 WITH SCORE 66030.735
AT ITER 1545 NEW BEST:: SOT 162863 SOS 94790 HAS SOPS 94790 HAS SOUS 65904 HAS SOUPS 65904 WITH SCORE 65998.79
AT ITER 1550 NEW BEST:: SOT 162775 SOS 94702 HAS SOPS 94702 HAS SOUS 65836 HAS SOUPS 65836 WITH SCORE 65930.702
AT ITER 1553 NEW BEST:: SOT 162648 SOS 94575 HAS SOPS 94575 HAS SOUS 65661 HAS SOUPS 65661 WITH SCORE 65755.575
AT ITER 1557 NEW BEST:: SOT 162638 SOS 94525 HAS SOPS 94525 HAS SOUS 65426 HAS SOUPS 65426 WITH SCORE 65520.525
AT ITER 1559 NEW BEST:: SOT 162648 SOS 94995 HAS SOPS 94995 HAS SOUS 65387 HAS SOUPS 65387 WITH SCORE 65481.995
AT ITER 1585 NEW BEST:: SOT 162605 SOS 94952 HAS SOPS 94952 HAS SOUS 65377 HAS SOUPS 65377 WITH SCORE 65471.952
AT ITER 1586 NEW BEST:: SOT 162627 SOS 94947 HAS SOPS 94947 HAS SOUS 65363 HAS SOUPS 65363 WITH SCORE 65457.947
AT ITER 1596 NEW BEST:: SOT 162573 SOS 94866 HAS SOPS 94866 HAS SOUS 65308 HAS SOUPS 65308 WITH SCORE 65402.866
AT ITER 1598 NEW BEST:: SOT 162550 SOS 94772 HAS SOPS 94772 HAS SOUS 65217 HAS SOUPS 65217 WITH SCORE 65311.772
AT ITER 1599 NEW BEST:: SOT 162206 SOS 94362 HAS SOPS 94362 HAS SOUS 64585 HAS SOUPS 64585 WITH SCORE 64679.362
AT ITER 1606 NEW BEST:: SOT 162196 SOS 94352 HAS SOPS 94352 HAS SOUS 64575 HAS SOUPS 64575 WITH SCORE 64669.352
AT ITER 1614 NEW BEST:: SOT 162285 SOS 94387 HAS SOPS 94387 HAS SOUS 64226 HAS SOUPS 64226 WITH SCORE 64320.387
AT ITER 1617 NEW BEST:: SOT 162347 SOS 94106 HAS SOPS 94106 HAS SOUS 64220 HAS SOUPS 64220 WITH SCORE 64314.106
AT ITER 1619 NEW BEST:: SOT 162341 SOS 93992 HAS SOPS 93992 HAS SOUS 64114 HAS SOUPS 64114 WITH SCORE 64207.992
AT ITER 1630 NEW BEST:: SOT 162341 SOS 93968 HAS SOPS 93968 HAS SOUS 64114 HAS SOUPS 64114 WITH SCORE 64207.968
AT ITER 1635 NEW BEST:: SOT 162248 SOS 93875 HAS SOPS 93875 HAS SOUS 64011 HAS SOUPS 64011 WITH SCORE 64104.875
AT ITER 1639 NEW BEST:: SOT 162180 SOS 93376 HAS SOPS 93376 HAS SOUS 63930 HAS SOUPS 63930 WITH SCORE 64023.376
AT ITER 1649 NEW BEST:: SOT 162180 SOS 93308 HAS SOPS 93308 HAS SOUS 63828 HAS SOUPS 63828 WITH SCORE 63921.308
AT ITER 1656 NEW BEST:: SOT 162175 SOS 93283 HAS SOPS 93283 HAS SOUS 63828 HAS SOUPS 63828 WITH SCORE 63921.283
AT ITER 1664 NEW BEST:: SOT 162116 SOS 92988 HAS SOPS 92988 HAS SOUS 63731 HAS SOUPS 63731 WITH SCORE 63823.988
AT ITER 1666 NEW BEST:: SOT 162083 SOS 92955 HAS SOPS 92955 HAS SOUS 63698 HAS SOUPS 63698 WITH SCORE 63790.955
AT ITER 1675 NEW BEST:: SOT 162084 SOS 92953 HAS SOPS 92953 HAS SOUS 63697 HAS SOUPS 63697 WITH SCORE 63789.953
AT ITER 1676 NEW BEST:: SOT 162084 SOS 92796 HAS SOPS 92796 HAS SOUS 63678 HAS SOUPS 63678 WITH SCORE 63770.796
AT ITER 1683 NEW BEST:: SOT 162057 SOS 92769 HAS SOPS 92769 HAS SOUS 63651 HAS SOUPS 63651 WITH SCORE 63743.769
AT ITER 1695 NEW BEST:: SOT 162054 SOS 92765 HAS SOPS 92765 HAS SOUS 63647 HAS SOUPS 63647 WITH SCORE 63739.765
AT ITER 1700 NEW BEST:: SOT 161614 SOS 92255 HAS SOPS 92255 HAS SOUS 63097 HAS SOUPS 63097 WITH SCORE 63189.255
AT ITER 1718 NEW BEST:: SOT 161552 SOS 92193 HAS SOPS 92193 HAS SOUS 62966 HAS SOUPS 62966 WITH SCORE 63058.193
AT ITER 1728 NEW BEST:: SOT 161437 SOS 92297 HAS SOPS 92297 HAS SOUS 62856 HAS SOUPS 62856 WITH SCORE 62948.297
AT ITER 1732 NEW BEST:: SOT 161178 SOS 93466 HAS SOPS 93466 HAS SOUS 62844 HAS SOUPS 62844 WITH SCORE 62937.466
AT ITER 1738 NEW BEST:: SOT 161176 SOS 93463 HAS SOPS 93463 HAS SOUS 62843 HAS SOUPS 62843 WITH SCORE 62936.463
AT ITER 1740 NEW BEST:: SOT 161262 SOS 93309 HAS SOPS 93309 HAS SOUS 62610 HAS SOUPS 62610 WITH SCORE 62703.309
AT ITER 1748 NEW BEST:: SOT 161229 SOS 93078 HAS SOPS 93078 HAS SOUS 62567 HAS SOUPS 62567 WITH SCORE 62660.078
AT ITER 1749 NEW BEST:: SOT 161128 SOS 91809 HAS SOPS 91809 HAS SOUS 62397 HAS SOUPS 62397 WITH SCORE 62488.809
AT ITER 1752 NEW BEST:: SOT 161100 SOS 91692 HAS SOPS 91692 HAS SOUS 62359 HAS SOUPS 62359 WITH SCORE 62450.692
AT ITER 1753 NEW BEST:: SOT 161100 SOS 91484 HAS SOPS 91484 HAS SOUS 62239 HAS SOUPS 62239 WITH SCORE 62330.484
AT ITER 1754 NEW BEST:: SOT 160997 SOS 91369 HAS SOPS 91369 HAS SOUS 62162 HAS SOUPS 62162 WITH SCORE 62253.369
AT ITER 1757 NEW BEST:: SOT 160890 SOS 91064 HAS SOPS 91064 HAS SOUS 61878 HAS SOUPS 61878 WITH SCORE 61969.064
AT ITER 1767 NEW BEST:: SOT 160883 SOS 91043 HAS SOPS 91043 HAS SOUS 61864 HAS SOUPS 61864 WITH SCORE 61955.043
AT ITER 1770 NEW BEST:: SOT 160883 SOS 90973 HAS SOPS 90973 HAS SOUS 61738 HAS SOUPS 61738 WITH SCORE 61828.973
AT ITER 1772 NEW BEST:: SOT 160875 SOS 90965 HAS SOPS 90965 HAS SOUS 61722 HAS SOUPS 61722 WITH SCORE 61812.965
AT ITER 1777 NEW BEST:: SOT 160775 SOS 90699 HAS SOPS 90699 HAS SOUS 61498 HAS SOUPS 61498 WITH SCORE 61588.699
AT ITER 1781 NEW BEST:: SOT 160863 SOS 90443 HAS SOPS 90443 HAS SOUS 61428 HAS SOUPS 61428 WITH SCORE 61518.443
AT ITER 1785 NEW BEST:: SOT 160861 SOS 90444 HAS SOPS 90444 HAS SOUS 61401 HAS SOUPS 61401 WITH SCORE 61491.444
AT ITER 1805 NEW BEST:: SOT 160807 SOS 90282 HAS SOPS 90282 HAS SOUS 61239 HAS SOUPS 61239 WITH SCORE 61329.282
AT ITER 1807 NEW BEST:: SOT 160839 SOS 90367 HAS SOPS 90367 HAS SOUS 61172 HAS SOUPS 61172 WITH SCORE 61262.367
AT ITER 1810 NEW BEST:: SOT 160812 SOS 90019 HAS SOPS 90019 HAS SOUS 61061 HAS SOUPS 61061 WITH SCORE 61151.019
AT ITER 1817 NEW BEST:: SOT 160691 SOS 89852 HAS SOPS 89852 HAS SOUS 60769 HAS SOUPS 60769 WITH SCORE 60858.852
AT ITER 1825 NEW BEST:: SOT 160667 SOS 89828 HAS SOPS 89828 HAS SOUS 60742 HAS SOUPS 60742 WITH SCORE 60831.828
AT ITER 1833 NEW BEST:: SOT 160600 SOS 89761 HAS SOPS 89761 HAS SOUS 60675 HAS SOUPS 60675 WITH SCORE 60764.761
AT ITER 1834 NEW BEST:: SOT 160573 SOS 89589 HAS SOPS 89589 HAS SOUS 60612 HAS SOUPS 60612 WITH SCORE 60701.589
AT ITER 1852 NEW BEST:: SOT 160494 SOS 89479 HAS SOPS 89479 HAS SOUS 60570 HAS SOUPS 60570 WITH SCORE 60659.479
AT ITER 1865 NEW BEST:: SOT 160382 SOS 89152 HAS SOPS 89152 HAS SOUS 60116 HAS SOUPS 60116 WITH SCORE 60205.152
AT ITER 1867 NEW BEST:: SOT 160235 SOS 88379 HAS SOPS 88379 HAS SOUS 59730 HAS SOUPS 59730 WITH SCORE 59818.379
AT ITER 1873 NEW BEST:: SOT 160189 SOS 88182 HAS SOPS 88182 HAS SOUS 59646 HAS SOUPS 59646 WITH SCORE 59734.182
AT ITER 1879 NEW BEST:: SOT 160138 SOS 88169 HAS SOPS 88169 HAS SOUS 59595 HAS SOUPS 59595 WITH SCORE 59683.169
AT ITER 1883 NEW BEST:: SOT 160133 SOS 88159 HAS SOPS 88159 HAS SOUS 59585 HAS SOUPS 59585 WITH SCORE 59673.159
AT ITER 1892 NEW BEST:: SOT 160137 SOS 88102 HAS SOPS 88102 HAS SOUS 59532 HAS SOUPS 59532 WITH SCORE 59620.102
AT ITER 1894 NEW BEST:: SOT 160114 SOS 88167 HAS SOPS 88167 HAS SOUS 59486 HAS SOUPS 59486 WITH SCORE 59574.167
AT ITER 1898 NEW BEST:: SOT 160106 SOS 88159 HAS SOPS 88159 HAS SOUS 59478 HAS SOUPS 59478 WITH SCORE 59566.159
AT ITER 1911 NEW BEST:: SOT 160119 SOS 88172 HAS SOPS 88172 HAS SOUS 59447 HAS SOUPS 59447 WITH SCORE 59535.172
AT ITER 1912 NEW BEST:: SOT 160124 SOS 88069 HAS SOPS 88069 HAS SOUS 59383 HAS SOUPS 59383 WITH SCORE 59471.069
AT ITER 1920 NEW BEST:: SOT 160038 SOS 87770 HAS SOPS 87770 HAS SOUS 59329 HAS SOUPS 59329 WITH SCORE 59416.77
AT ITER 1926 NEW BEST:: SOT 159984 SOS 87605 HAS SOPS 87605 HAS SOUS 59268 HAS SOUPS 59268 WITH SCORE 59355.605
AT ITER 1927 NEW BEST:: SOT 159947 SOS 87199 HAS SOPS 87199 HAS SOUS 59111 HAS SOUPS 59111 WITH SCORE 59198.199
AT ITER 1928 NEW BEST:: SOT 159947 SOS 87195 HAS SOPS 87195 HAS SOUS 59111 HAS SOUPS 59111 WITH SCORE 59198.195
AT ITER 1937 NEW BEST:: SOT 159946 SOS 87194 HAS SOPS 87194 HAS SOUS 59108 HAS SOUPS 59108 WITH SCORE 59195.194
AT ITER 1943 NEW BEST:: SOT 159797 SOS 86964 HAS SOPS 86964 HAS SOUS 59086 HAS SOUPS 59086 WITH SCORE 59172.964
AT ITER 1956 NEW BEST:: SOT 159738 SOS 86901 HAS SOPS 86901 HAS SOUS 59023 HAS SOUPS 59023 WITH SCORE 59109.901
AT ITER 1967 NEW BEST:: SOT 159738 SOS 87051 HAS SOPS 87051 HAS SOUS 58880 HAS SOUPS 58880 WITH SCORE 58967.051
AT ITER 1976 NEW BEST:: SOT 159621 SOS 86934 HAS SOPS 86934 HAS SOUS 58763 HAS SOUPS 58763 WITH SCORE 58849.934
AT ITER 1985 NEW BEST:: SOT 159600 SOS 87132 HAS SOPS 87132 HAS SOUS 58699 HAS SOUPS 58699 WITH SCORE 58786.132
AT ITER 1986 NEW BEST:: SOT 159600 SOS 87162 HAS SOPS 87162 HAS SOUS 58697 HAS SOUPS 58697 WITH SCORE 58784.162
AT ITER 1988 NEW BEST:: SOT 159600 SOS 87227 HAS SOPS 87227 HAS SOUS 58692 HAS SOUPS 58692 WITH SCORE 58779.227
AT ITER 1992 NEW BEST:: SOT 159599 SOS 87242 HAS SOPS 87242 HAS SOUS 58639 HAS SOUPS 58639 WITH SCORE 58726.242
AT ITER 2004 NEW BEST:: SOT 159555 SOS 87198 HAS SOPS 87198 HAS SOUS 58595 HAS SOUPS 58595 WITH SCORE 58682.198
AT ITER 2008 NEW BEST:: SOT 159469 SOS 87112 HAS SOPS 87112 HAS SOUS 58509 HAS SOUPS 58509 WITH SCORE 58596.112
AT ITER 2009 NEW BEST:: SOT 159415 SOS 87058 HAS SOPS 87058 HAS SOUS 58507 HAS SOUPS 58507 WITH SCORE 58594.058
AT ITER 2011 NEW BEST:: SOT 159361 SOS 87004 HAS SOPS 87004 HAS SOUS 58397 HAS SOUPS 58397 WITH SCORE 58484.004
AT ITER 2029 NEW BEST:: SOT 159278 SOS 86882 HAS SOPS 86882 HAS SOUS 58364 HAS SOUPS 58364 WITH SCORE 58450.882
AT ITER 2034 NEW BEST:: SOT 159213 SOS 87069 HAS SOPS 87069 HAS SOUS 58335 HAS SOUPS 58335 WITH SCORE 58422.069
AT ITER 2040 NEW BEST:: SOT 159187 SOS 87043 HAS SOPS 87043 HAS SOUS 58309 HAS SOUPS 58309 WITH SCORE 58396.043
AT ITER 2041 NEW BEST:: SOT 159170 SOS 87084 HAS SOPS 87084 HAS SOUS 58271 HAS SOUPS 58271 WITH SCORE 58358.084
AT ITER 2042 NEW BEST:: SOT 159136 SOS 87038 HAS SOPS 87038 HAS SOUS 58234 HAS SOUPS 58234 WITH SCORE 58321.038
AT ITER 2043 NEW BEST:: SOT 159047 SOS 86931 HAS SOPS 86931 HAS SOUS 58174 HAS SOUPS 58174 WITH SCORE 58260.931
AT ITER 2048 NEW BEST:: SOT 158990 SOS 86918 HAS SOPS 86918 HAS SOUS 58049 HAS SOUPS 58049 WITH SCORE 58135.918
AT ITER 2049 NEW BEST:: SOT 159036 SOS 86699 HAS SOPS 86699 HAS SOUS 57904 HAS SOUPS 57904 WITH SCORE 57990.699
AT ITER 2050 NEW BEST:: SOT 158903 SOS 86415 HAS SOPS 86415 HAS SOUS 57668 HAS SOUPS 57668 WITH SCORE 57754.415
AT ITER 2066 NEW BEST:: SOT 158689 SOS 86128 HAS SOPS 86128 HAS SOUS 57312 HAS SOUPS 57312 WITH SCORE 57398.128
AT ITER 2073 NEW BEST:: SOT 158665 SOS 86104 HAS SOPS 86104 HAS SOUS 57282 HAS SOUPS 57282 WITH SCORE 57368.104
AT ITER 2075 NEW BEST:: SOT 158618 SOS 86065 HAS SOPS 86065 HAS SOUS 57127 HAS SOUPS 57127 WITH SCORE 57213.065
AT ITER 2076 NEW BEST:: SOT 158646 SOS 86093 HAS SOPS 86093 HAS SOUS 57076 HAS SOUPS 57076 WITH SCORE 57162.093
AT ITER 2080 NEW BEST:: SOT 158499 SOS 86042 HAS SOPS 86042 HAS SOUS 56983 HAS SOUPS 56983 WITH SCORE 57069.042
AT ITER 2084 NEW BEST:: SOT 158468 SOS 86011 HAS SOPS 86011 HAS SOUS 56952 HAS SOUPS 56952 WITH SCORE 57038.011
AT ITER 2087 NEW BEST:: SOT 158426 SOS 85939 HAS SOPS 85939 HAS SOUS 56835 HAS SOUPS 56835 WITH SCORE 56920.939
AT ITER 2096 NEW BEST:: SOT 158273 SOS 85855 HAS SOPS 85855 HAS SOUS 56714 HAS SOUPS 56714 WITH SCORE 56799.855
AT ITER 2110 NEW BEST:: SOT 158099 SOS 84739 HAS SOPS 84739 HAS SOUS 56555 HAS SOUPS 56555 WITH SCORE 56639.739
AT ITER 2114 NEW BEST:: SOT 158095 SOS 84735 HAS SOPS 84735 HAS SOUS 56507 HAS SOUPS 56507 WITH SCORE 56591.735
AT ITER 2119 NEW BEST:: SOT 158016 SOS 84641 HAS SOPS 84641 HAS SOUS 56413 HAS SOUPS 56413 WITH SCORE 56497.641
AT ITER 2126 NEW BEST:: SOT 157991 SOS 84266 HAS SOPS 84266 HAS SOUS 56152 HAS SOUPS 56152 WITH SCORE 56236.266
AT ITER 2129 NEW BEST:: SOT 157971 SOS 84244 HAS SOPS 84244 HAS SOUS 56055 HAS SOUPS 56055 WITH SCORE 56139.244
AT ITER 2158 NEW BEST:: SOT 157963 SOS 84236 HAS SOPS 84236 HAS SOUS 56031 HAS SOUPS 56031 WITH SCORE 56115.236
AT ITER 2164 NEW BEST:: SOT 157903 SOS 84176 HAS SOPS 84176 HAS SOUS 55971 HAS SOUPS 55971 WITH SCORE 56055.176
AT ITER 2172 NEW BEST:: SOT 157882 SOS 83945 HAS SOPS 83945 HAS SOUS 55884 HAS SOUPS 55884 WITH SCORE 55967.945
AT ITER 2179 NEW BEST:: SOT 157879 SOS 83881 HAS SOPS 83881 HAS SOUS 55845 HAS SOUPS 55845 WITH SCORE 55928.881
AT ITER 2183 NEW BEST:: SOT 157857 SOS 83837 HAS SOPS 83837 HAS SOUS 55800 HAS SOUPS 55800 WITH SCORE 55883.837
AT ITER 2203 NEW BEST:: SOT 158099 SOS 83656 HAS SOPS 83656 HAS SOUS 55523 HAS SOUPS 55523 WITH SCORE 55606.656
AT ITER 2204 NEW BEST:: SOT 157790 SOS 83347 HAS SOPS 83347 HAS SOUS 55214 HAS SOUPS 55214 WITH SCORE 55297.347
AT ITER 2213 NEW BEST:: SOT 157784 SOS 83341 HAS SOPS 83341 HAS SOUS 55205 HAS SOUPS 55205 WITH SCORE 55288.341
AT ITER 2215 NEW BEST:: SOT 157773 SOS 83330 HAS SOPS 83330 HAS SOUS 55205 HAS SOUPS 55205 WITH SCORE 55288.33
AT ITER 2216 NEW BEST:: SOT 157821 SOS 83206 HAS SOPS 83206 HAS SOUS 55075 HAS SOUPS 55075 WITH SCORE 55158.206
AT ITER 2218 NEW BEST:: SOT 157854 SOS 83366 HAS SOPS 83366 HAS SOUS 55018 HAS SOUPS 55018 WITH SCORE 55101.366
AT ITER 2225 NEW BEST:: SOT 157837 SOS 83349 HAS SOPS 83349 HAS SOUS 55001 HAS SOUPS 55001 WITH SCORE 55084.349
AT ITER 2232 NEW BEST:: SOT 157837 SOS 83522 HAS SOPS 83522 HAS SOUS 54965 HAS SOUPS 54965 WITH SCORE 55048.522
AT ITER 2252 NEW BEST:: SOT 157446 SOS 83048 HAS SOPS 83048 HAS SOUS 54441 HAS SOUPS 54441 WITH SCORE 54524.048
AT ITER 2260 NEW BEST:: SOT 157472 SOS 83074 HAS SOPS 83074 HAS SOUS 54419 HAS SOUPS 54419 WITH SCORE 54502.074
AT ITER 2264 NEW BEST:: SOT 157392 SOS 83448 HAS SOPS 83448 HAS SOUS 54387 HAS SOUPS 54387 WITH SCORE 54470.448
AT ITER 2265 NEW BEST:: SOT 157370 SOS 83390 HAS SOPS 83390 HAS SOUS 54347 HAS SOUPS 54347 WITH SCORE 54430.39
AT ITER 2276 NEW BEST:: SOT 157352 SOS 83372 HAS SOPS 83372 HAS SOUS 54321 HAS SOUPS 54321 WITH SCORE 54404.372
AT ITER 2277 NEW BEST:: SOT 157341 SOS 83445 HAS SOPS 83445 HAS SOUS 54290 HAS SOUPS 54290 WITH SCORE 54373.445
AT ITER 2285 NEW BEST:: SOT 157339 SOS 83444 HAS SOPS 83444 HAS SOUS 54288 HAS SOUPS 54288 WITH SCORE 54371.444
AT ITER 2287 NEW BEST:: SOT 157339 SOS 83394 HAS SOPS 83394 HAS SOUS 54268 HAS SOUPS 54268 WITH SCORE 54351.394
AT ITER 2288 NEW BEST:: SOT 157221 SOS 82417 HAS SOPS 82417 HAS SOUS 53945 HAS SOUPS 53945 WITH SCORE 54027.417
AT ITER 2291 NEW BEST:: SOT 157220 SOS 82408 HAS SOPS 82408 HAS SOUS 53942 HAS SOUPS 53942 WITH SCORE 54024.408
AT ITER 2295 NEW BEST:: SOT 157193 SOS 82377 HAS SOPS 82377 HAS SOUS 53838 HAS SOUPS 53838 WITH SCORE 53920.377
AT ITER 2300 NEW BEST:: SOT 157183 SOS 82362 HAS SOPS 82362 HAS SOUS 53823 HAS SOUPS 53823 WITH SCORE 53905.362
AT ITER 2307 NEW BEST:: SOT 156946 SOS 82072 HAS SOPS 82072 HAS SOUS 53452 HAS SOUPS 53452 WITH SCORE 53534.072
AT ITER 2314 NEW BEST:: SOT 156945 SOS 82065 HAS SOPS 82065 HAS SOUS 53450 HAS SOUPS 53450 WITH SCORE 53532.065
AT ITER 2318 NEW BEST:: SOT 156897 SOS 82006 HAS SOPS 82006 HAS SOUS 53391 HAS SOUPS 53391 WITH SCORE 53473.006
AT ITER 2320 NEW BEST:: SOT 156825 SOS 81918 HAS SOPS 81918 HAS SOUS 53303 HAS SOUPS 53303 WITH SCORE 53384.918
AT ITER 2332 NEW BEST:: SOT 156782 SOS 81825 HAS SOPS 81825 HAS SOUS 53292 HAS SOUPS 53292 WITH SCORE 53373.825
AT ITER 2339 NEW BEST:: SOT 156412 SOS 81176 HAS SOPS 81176 HAS SOUS 52776 HAS SOUPS 52776 WITH SCORE 52857.176
AT ITER 2342 NEW BEST:: SOT 156196 SOS 80960 HAS SOPS 80960 HAS SOUS 52560 HAS SOUPS 52560 WITH SCORE 52640.96
AT ITER 2352 NEW BEST:: SOT 156163 SOS 80927 HAS SOPS 80927 HAS SOUS 52538 HAS SOUPS 52538 WITH SCORE 52618.927
AT ITER 2364 NEW BEST:: SOT 156084 SOS 80929 HAS SOPS 80929 HAS SOUS 52477 HAS SOUPS 52477 WITH SCORE 52557.929
AT ITER 2367 NEW BEST:: SOT 156089 SOS 79941 HAS SOPS 79941 HAS SOUS 52299 HAS SOUPS 52299 WITH SCORE 52378.941
AT ITER 2378 NEW BEST:: SOT 155846 SOS 79649 HAS SOPS 79649 HAS SOUS 51969 HAS SOUPS 51969 WITH SCORE 52048.649
AT ITER 2389 NEW BEST:: SOT 155590 SOS 79372 HAS SOPS 79372 HAS SOUS 51665 HAS SOUPS 51665 WITH SCORE 51744.372
AT ITER 2391 NEW BEST:: SOT 155579 SOS 79361 HAS SOPS 79361 HAS SOUS 51621 HAS SOUPS 51621 WITH SCORE 51700.361
AT ITER 2398 NEW BEST:: SOT 155754 SOS 79859 HAS SOPS 79859 HAS SOUS 51568 HAS SOUPS 51568 WITH SCORE 51647.859
AT ITER 2432 NEW BEST:: SOT 155754 SOS 79846 HAS SOPS 79846 HAS SOUS 51562 HAS SOUPS 51562 WITH SCORE 51641.846
AT ITER 2438 NEW BEST:: SOT 155754 SOS 79680 HAS SOPS 79680 HAS SOUS 51508 HAS SOUPS 51508 WITH SCORE 51587.68
AT ITER 2464 NEW BEST:: SOT 155761 SOS 79669 HAS SOPS 79669 HAS SOUS 51476 HAS SOUPS 51476 WITH SCORE 51555.669
AT ITER 2469 NEW BEST:: SOT 155547 SOS 79403 HAS SOPS 79403 HAS SOUS 51168 HAS SOUPS 51168 WITH SCORE 51247.403
AT ITER 2479 NEW BEST:: SOT 155547 SOS 79139 HAS SOPS 79139 HAS SOUS 51102 HAS SOUPS 51102 WITH SCORE 51181.139
AT ITER 2497 NEW BEST:: SOT 155534 SOS 78643 HAS SOPS 78643 HAS SOUS 51011 HAS SOUPS 51011 WITH SCORE 51089.643
AT ITER 2508 NEW BEST:: SOT 155412 SOS 78508 HAS SOPS 78508 HAS SOUS 50764 HAS SOUPS 50764 WITH SCORE 50842.508
AT ITER 2512 NEW BEST:: SOT 155305 SOS 78313 HAS SOPS 78313 HAS SOUS 50543 HAS SOUPS 50543 WITH SCORE 50621.313
AT ITER 2526 NEW BEST:: SOT 155328 SOS 78436 HAS SOPS 78436 HAS SOUS 50537 HAS SOUPS 50537 WITH SCORE 50615.436
AT ITER 2537 NEW BEST:: SOT 155328 SOS 78436 HAS SOPS 78436 HAS SOUS 50483 HAS SOUPS 50483 WITH SCORE 50561.436
AT ITER 2542 NEW BEST:: SOT 155148 SOS 78256 HAS SOPS 78256 HAS SOUS 50303 HAS SOUPS 50303 WITH SCORE 50381.256
AT ITER 2553 NEW BEST:: SOT 155031 SOS 78022 HAS SOPS 78022 HAS SOUS 50108 HAS SOUPS 50108 WITH SCORE 50186.022
AT ITER 2558 NEW BEST:: SOT 155214 SOS 77679 HAS SOPS 77679 HAS SOUS 49970 HAS SOUPS 49970 WITH SCORE 50047.679
AT ITER 2564 NEW BEST:: SOT 155212 SOS 77631 HAS SOPS 77631 HAS SOUS 49958 HAS SOUPS 49958 WITH SCORE 50035.631
AT ITER 2565 NEW BEST:: SOT 155216 SOS 77779 HAS SOPS 77779 HAS SOUS 49955 HAS SOUPS 49955 WITH SCORE 50032.779
AT ITER 2579 NEW BEST:: SOT 155245 SOS 77859 HAS SOPS 77859 HAS SOUS 49933 HAS SOUPS 49933 WITH SCORE 50010.859
AT ITER 2580 NEW BEST:: SOT 155221 SOS 77823 HAS SOPS 77823 HAS SOUS 49861 HAS SOUPS 49861 WITH SCORE 49938.823
AT ITER 2582 NEW BEST:: SOT 155170 SOS 77767 HAS SOPS 77767 HAS SOUS 49805 HAS SOUPS 49805 WITH SCORE 49882.767
AT ITER 2585 NEW BEST:: SOT 155170 SOS 77727 HAS SOPS 77727 HAS SOUS 49789 HAS SOUPS 49789 WITH SCORE 49866.727
AT ITER 2586 NEW BEST:: SOT 155140 SOS 77614 HAS SOPS 77614 HAS SOUS 49734 HAS SOUPS 49734 WITH SCORE 49811.614
AT ITER 2598 NEW BEST:: SOT 155140 SOS 77653 HAS SOPS 77653 HAS SOUS 49638 HAS SOUPS 49638 WITH SCORE 49715.653
AT ITER 2600 NEW BEST:: SOT 155157 SOS 77760 HAS SOPS 77760 HAS SOUS 49626 HAS SOUPS 49626 WITH SCORE 49703.76
AT ITER 2601 NEW BEST:: SOT 155050 SOS 77520 HAS SOPS 77520 HAS SOUS 49371 HAS SOUPS 49371 WITH SCORE 49448.52
AT ITER 2603 NEW BEST:: SOT 155067 SOS 77552 HAS SOPS 77552 HAS SOUS 49346 HAS SOUPS 49346 WITH SCORE 49423.552
AT ITER 2625 NEW BEST:: SOT 154908 SOS 77393 HAS SOPS 77393 HAS SOUS 49187 HAS SOUPS 49187 WITH SCORE 49264.393
AT ITER 2636 NEW BEST:: SOT 154908 SOS 77358 HAS SOPS 77358 HAS SOUS 49173 HAS SOUPS 49173 WITH SCORE 49250.358
AT ITER 2642 NEW BEST:: SOT 154908 SOS 77208 HAS SOPS 77208 HAS SOUS 49161 HAS SOUPS 49161 WITH SCORE 49238.208
AT ITER 2647 NEW BEST:: SOT 154836 SOS 77166 HAS SOPS 77166 HAS SOUS 49101 HAS SOUPS 49101 WITH SCORE 49178.166
AT ITER 2649 NEW BEST:: SOT 154826 SOS 77116 HAS SOPS 77116 HAS SOUS 49081 HAS SOUPS 49081 WITH SCORE 49158.116
AT ITER 2659 NEW BEST:: SOT 154789 SOS 77133 HAS SOPS 77133 HAS SOUS 48938 HAS SOUPS 48938 WITH SCORE 49015.133
AT ITER 2663 NEW BEST:: SOT 154705 SOS 76850 HAS SOPS 76850 HAS SOUS 48798 HAS SOUPS 48798 WITH SCORE 48874.85
AT ITER 2666 NEW BEST:: SOT 154705 SOS 76901 HAS SOPS 76901 HAS SOUS 48779 HAS SOUPS 48779 WITH SCORE 48855.901
AT ITER 2667 NEW BEST:: SOT 154705 SOS 76360 HAS SOPS 76360 HAS SOUS 48634 HAS SOUPS 48634 WITH SCORE 48710.36
AT ITER 2693 NEW BEST:: SOT 154696 SOS 76396 HAS SOPS 76396 HAS SOUS 48617 HAS SOUPS 48617 WITH SCORE 48693.396
AT ITER 2706 NEW BEST:: SOT 154646 SOS 76266 HAS SOPS 76266 HAS SOUS 48492 HAS SOUPS 48492 WITH SCORE 48568.266
AT ITER 2712 NEW BEST:: SOT 154627 SOS 76233 HAS SOPS 76233 HAS SOUS 48459 HAS SOUPS 48459 WITH SCORE 48535.233
AT ITER 2743 NEW BEST:: SOT 154627 SOS 76206 HAS SOPS 76206 HAS SOUS 48441 HAS SOUPS 48441 WITH SCORE 48517.206
AT ITER 2749 NEW BEST:: SOT 154502 SOS 76094 HAS SOPS 76094 HAS SOUS 48329 HAS SOUPS 48329 WITH SCORE 48405.094
AT ITER 2758 NEW BEST:: SOT 154502 SOS 76121 HAS SOPS 76121 HAS SOUS 48320 HAS SOUPS 48320 WITH SCORE 48396.121
AT ITER 2761 NEW BEST:: SOT 154502 SOS 76115 HAS SOPS 76115 HAS SOUS 48320 HAS SOUPS 48320 WITH SCORE 48396.115
AT ITER 2780 NEW BEST:: SOT 154448 SOS 76061 HAS SOPS 76061 HAS SOUS 48266 HAS SOUPS 48266 WITH SCORE 48342.061
AT ITER 2790 NEW BEST:: SOT 154448 SOS 76055 HAS SOPS 76055 HAS SOUS 48266 HAS SOUPS 48266 WITH SCORE 48342.055
AT ITER 2837 NEW BEST:: SOT 154481 SOS 76077 HAS SOPS 76077 HAS SOUS 48246 HAS SOUPS 48246 WITH SCORE 48322.077
AT ITER 2848 NEW BEST:: SOT 154481 SOS 76122 HAS SOPS 76122 HAS SOUS 48229 HAS SOUPS 48229 WITH SCORE 48305.122
AT ITER 2851 NEW BEST:: SOT 154560 SOS 76181 HAS SOPS 76181 HAS SOUS 48216 HAS SOUPS 48216 WITH SCORE 48292.181
AT ITER 2852 NEW BEST:: SOT 154547 SOS 76146 HAS SOPS 76146 HAS SOUS 48200 HAS SOUPS 48200 WITH SCORE 48276.146
AT ITER 2872 NEW BEST:: SOT 154547 SOS 76089 HAS SOPS 76089 HAS SOUS 48181 HAS SOUPS 48181 WITH SCORE 48257.089
AT ITER 2890 NEW BEST:: SOT 154514 SOS 75969 HAS SOPS 75969 HAS SOUS 48121 HAS SOUPS 48121 WITH SCORE 48196.969
AT ITER 2898 NEW BEST:: SOT 154514 SOS 75945 HAS SOPS 75945 HAS SOUS 48096 HAS SOUPS 48096 WITH SCORE 48171.945
AT ITER 2908 NEW BEST:: SOT 154370 SOS 75625 HAS SOPS 75625 HAS SOUS 48021 HAS SOUPS 48021 WITH SCORE 48096.625
AT ITER 2912 NEW BEST:: SOT 154347 SOS 75570 HAS SOPS 75570 HAS SOUS 47987 HAS SOUPS 47987 WITH SCORE 48062.57
AT ITER 2924 NEW BEST:: SOT 154347 SOS 75565 HAS SOPS 75565 HAS SOUS 47982 HAS SOUPS 47982 WITH SCORE 48057.565
AT ITER 2935 NEW BEST:: SOT 154347 SOS 74845 HAS SOPS 74845 HAS SOUS 47690 HAS SOUPS 47690 WITH SCORE 47764.845
AT ITER 2942 NEW BEST:: SOT 154311 SOS 74797 HAS SOPS 74797 HAS SOUS 47651 HAS SOUPS 47651 WITH SCORE 47725.797
AT ITER 2982 NEW BEST:: SOT 154137 SOS 74523 HAS SOPS 74523 HAS SOUS 47347 HAS SOUPS 47347 WITH SCORE 47421.523
AT ITER 3014 NEW BEST:: SOT 154101 SOS 74499 HAS SOPS 74499 HAS SOUS 47317 HAS SOUPS 47317 WITH SCORE 47391.499
AT ITER 3019 NEW BEST:: SOT 154082 SOS 74435 HAS SOPS 74435 HAS SOUS 47253 HAS SOUPS 47253 WITH SCORE 47327.435
AT ITER 3024 NEW BEST:: SOT 154004 SOS 74357 HAS SOPS 74357 HAS SOUS 47199 HAS SOUPS 47199 WITH SCORE 47273.357
AT ITER 3028 NEW BEST:: SOT 153982 SOS 74324 HAS SOPS 74324 HAS SOUS 47118 HAS SOUPS 47118 WITH SCORE 47192.324
AT ITER 3029 NEW BEST:: SOT 153903 SOS 74245 HAS SOPS 74245 HAS SOUS 47039 HAS SOUPS 47039 WITH SCORE 47113.245
AT ITER 3033 NEW BEST:: SOT 153758 SOS 74059 HAS SOPS 74059 HAS SOUS 46777 HAS SOUPS 46777 WITH SCORE 46851.059
AT ITER 3060 NEW BEST:: SOT 153701 SOS 73636 HAS SOPS 73636 HAS SOUS 46717 HAS SOUPS 46717 WITH SCORE 46790.636
AT ITER 3066 NEW BEST:: SOT 153585 SOS 73245 HAS SOPS 73245 HAS SOUS 46533 HAS SOUPS 46533 WITH SCORE 46606.245
AT ITER 3068 NEW BEST:: SOT 153570 SOS 73245 HAS SOPS 73245 HAS SOUS 46508 HAS SOUPS 46508 WITH SCORE 46581.245
AT ITER 3069 NEW BEST:: SOT 153548 SOS 73177 HAS SOPS 73177 HAS SOUS 46486 HAS SOUPS 46486 WITH SCORE 46559.177
AT ITER 3071 NEW BEST:: SOT 153542 SOS 73171 HAS SOPS 73171 HAS SOUS 46480 HAS SOUPS 46480 WITH SCORE 46553.171
AT ITER 3104 NEW BEST:: SOT 153538 SOS 73163 HAS SOPS 73163 HAS SOUS 46472 HAS SOUPS 46472 WITH SCORE 46545.163
AT ITER 3111 NEW BEST:: SOT 153538 SOS 73159 HAS SOPS 73159 HAS SOUS 46472 HAS SOUPS 46472 WITH SCORE 46545.159
AT ITER 3142 NEW BEST:: SOT 153515 SOS 73101 HAS SOPS 73101 HAS SOUS 46414 HAS SOUPS 46414 WITH SCORE 46487.101
AT ITER 3143 NEW BEST:: SOT 153357 SOS 72938 HAS SOPS 72938 HAS SOUS 46214 HAS SOUPS 46214 WITH SCORE 46286.938
AT ITER 3147 NEW BEST:: SOT 153347 SOS 72923 HAS SOPS 72923 HAS SOUS 46199 HAS SOUPS 46199 WITH SCORE 46271.923
AT ITER 3173 NEW BEST:: SOT 153328 SOS 72891 HAS SOPS 72891 HAS SOUS 46169 HAS SOUPS 46169 WITH SCORE 46241.891
AT ITER 3176 NEW BEST:: SOT 153287 SOS 72738 HAS SOPS 72738 HAS SOUS 46068 HAS SOUPS 46068 WITH SCORE 46140.738
AT ITER 3177 NEW BEST:: SOT 153086 SOS 72486 HAS SOPS 72486 HAS SOUS 45933 HAS SOUPS 45933 WITH SCORE 46005.486
AT ITER 3178 NEW BEST:: SOT 153091 SOS 72441 HAS SOPS 72441 HAS SOUS 45896 HAS SOUPS 45896 WITH SCORE 45968.441
AT ITER 3198 NEW BEST:: SOT 153056 SOS 72406 HAS SOPS 72406 HAS SOUS 45840 HAS SOUPS 45840 WITH SCORE 45912.406
AT ITER 3200 NEW BEST:: SOT 153056 SOS 72357 HAS SOPS 72357 HAS SOUS 45761 HAS SOUPS 45761 WITH SCORE 45833.357
AT ITER 3206 NEW BEST:: SOT 153093 SOS 72339 HAS SOPS 72339 HAS SOUS 45756 HAS SOUPS 45756 WITH SCORE 45828.339
AT ITER 3236 NEW BEST:: SOT 153000 SOS 72069 HAS SOPS 72069 HAS SOUS 45736 HAS SOUPS 45736 WITH SCORE 45808.069
AT ITER 3269 NEW BEST:: SOT 152941 SOS 72028 HAS SOPS 72028 HAS SOUS 45732 HAS SOUPS 45732 WITH SCORE 45804.028
AT ITER 3270 NEW BEST:: SOT 152924 SOS 71978 HAS SOPS 71978 HAS SOUS 45664 HAS SOUPS 45664 WITH SCORE 45735.978
AT ITER 3284 NEW BEST:: SOT 152874 SOS 71895 HAS SOPS 71895 HAS SOUS 45602 HAS SOUPS 45602 WITH SCORE 45673.895
AT ITER 3292 NEW BEST:: SOT 152871 SOS 71893 HAS SOPS 71893 HAS SOUS 45597 HAS SOUPS 45597 WITH SCORE 45668.893
AT ITER 3303 NEW BEST:: SOT 152867 SOS 71873 HAS SOPS 71873 HAS SOUS 45581 HAS SOUPS 45581 WITH SCORE 45652.873
AT ITER 3309 NEW BEST:: SOT 152834 SOS 71775 HAS SOPS 71775 HAS SOUS 45520 HAS SOUPS 45520 WITH SCORE 45591.775
AT ITER 3316 NEW BEST:: SOT 152675 SOS 71594 HAS SOPS 71594 HAS SOUS 45347 HAS SOUPS 45347 WITH SCORE 45418.594
AT ITER 3317 NEW BEST:: SOT 152667 SOS 71526 HAS SOPS 71526 HAS SOUS 45234 HAS SOUPS 45234 WITH SCORE 45305.526
AT ITER 3330 NEW BEST:: SOT 152667 SOS 71470 HAS SOPS 71470 HAS SOUS 45183 HAS SOUPS 45183 WITH SCORE 45254.47
AT ITER 3344 NEW BEST:: SOT 152673 SOS 71315 HAS SOPS 71315 HAS SOUS 45179 HAS SOUPS 45179 WITH SCORE 45250.315
AT ITER 3349 NEW BEST:: SOT 152646 SOS 71312 HAS SOPS 71312 HAS SOUS 45156 HAS SOUPS 45156 WITH SCORE 45227.312
AT ITER 3360 NEW BEST:: SOT 152630 SOS 71296 HAS SOPS 71296 HAS SOUS 45136 HAS SOUPS 45136 WITH SCORE 45207.296
AT ITER 3364 NEW BEST:: SOT 152644 SOS 71334 HAS SOPS 71334 HAS SOUS 45000 HAS SOUPS 45000 WITH SCORE 45071.334
AT ITER 3391 NEW BEST:: SOT 152720 SOS 71253 HAS SOPS 71253 HAS SOUS 44997 HAS SOUPS 44997 WITH SCORE 45068.253
AT ITER 3396 NEW BEST:: SOT 152606 SOS 70766 HAS SOPS 70766 HAS SOUS 44846 HAS SOUPS 44846 WITH SCORE 44916.766
AT ITER 3402 NEW BEST:: SOT 152606 SOS 70546 HAS SOPS 70546 HAS SOUS 44756 HAS SOUPS 44756 WITH SCORE 44826.546
AT ITER 3407 NEW BEST:: SOT 152574 SOS 70482 HAS SOPS 70482 HAS SOUS 44676 HAS SOUPS 44676 WITH SCORE 44746.482
AT ITER 3408 NEW BEST:: SOT 152554 SOS 70412 HAS SOPS 70412 HAS SOUS 44648 HAS SOUPS 44648 WITH SCORE 44718.412
AT ITER 3415 NEW BEST:: SOT 152590 SOS 70474 HAS SOPS 70474 HAS SOUS 44639 HAS SOUPS 44639 WITH SCORE 44709.474
AT ITER 3425 NEW BEST:: SOT 152590 SOS 70288 HAS SOPS 70288 HAS SOUS 44585 HAS SOUPS 44585 WITH SCORE 44655.288
AT ITER 3444 NEW BEST:: SOT 152597 SOS 70308 HAS SOPS 70308 HAS SOUS 44567 HAS SOUPS 44567 WITH SCORE 44637.308
AT ITER 3447 NEW BEST:: SOT 152580 SOS 70195 HAS SOPS 70195 HAS SOUS 44566 HAS SOUPS 44566 WITH SCORE 44636.195
AT ITER 3477 NEW BEST:: SOT 152528 SOS 70180 HAS SOPS 70180 HAS SOUS 44562 HAS SOUPS 44562 WITH SCORE 44632.18
AT ITER 3484 NEW BEST:: SOT 152393 SOS 70018 HAS SOPS 70018 HAS SOUS 44294 HAS SOUPS 44294 WITH SCORE 44364.018
AT ITER 3492 NEW BEST:: SOT 152283 SOS 69900 HAS SOPS 69900 HAS SOUS 44176 HAS SOUPS 44176 WITH SCORE 44245.9
AT ITER 3494 NEW BEST:: SOT 152146 SOS 69722 HAS SOPS 69722 HAS SOUS 43998 HAS SOUPS 43998 WITH SCORE 44067.722
AT ITER 3495 NEW BEST:: SOT 152063 SOS 69647 HAS SOPS 69647 HAS SOUS 43960 HAS SOUPS 43960 WITH SCORE 44029.647
AT ITER 3500 NEW BEST:: SOT 151940 SOS 69528 HAS SOPS 69528 HAS SOUS 43891 HAS SOUPS 43891 WITH SCORE 43960.528
AT ITER 3528 NEW BEST:: SOT 151950 SOS 69496 HAS SOPS 69496 HAS SOUS 43871 HAS SOUPS 43871 WITH SCORE 43940.496
AT ITER 3529 NEW BEST:: SOT 151950 SOS 69468 HAS SOPS 69468 HAS SOUS 43855 HAS SOUPS 43855 WITH SCORE 43924.468
AT ITER 3531 NEW BEST:: SOT 151898 SOS 69296 HAS SOPS 69296 HAS SOUS 43755 HAS SOUPS 43755 WITH SCORE 43824.296
AT ITER 3543 NEW BEST:: SOT 151882 SOS 69272 HAS SOPS 69272 HAS SOUS 43700 HAS SOUPS 43700 WITH SCORE 43769.272
AT ITER 3550 NEW BEST:: SOT 151738 SOS 69093 HAS SOPS 69093 HAS SOUS 43415 HAS SOUPS 43415 WITH SCORE 43484.093
AT ITER 3581 NEW BEST:: SOT 151648 SOS 69003 HAS SOPS 69003 HAS SOUS 43287 HAS SOUPS 43287 WITH SCORE 43356.003
AT ITER 3583 NEW BEST:: SOT 151623 SOS 68978 HAS SOPS 68978 HAS SOUS 43282 HAS SOUPS 43282 WITH SCORE 43350.978
AT ITER 3602 NEW BEST:: SOT 151628 SOS 69109 HAS SOPS 69109 HAS SOUS 43193 HAS SOUPS 43193 WITH SCORE 43262.109
AT ITER 3623 NEW BEST:: SOT 151603 SOS 69084 HAS SOPS 69084 HAS SOUS 43168 HAS SOUPS 43168 WITH SCORE 43237.084
AT ITER 3639 NEW BEST:: SOT 151559 SOS 68797 HAS SOPS 68797 HAS SOUS 43101 HAS SOUPS 43101 WITH SCORE 43169.797
AT ITER 3651 NEW BEST:: SOT 151468 SOS 68706 HAS SOPS 68706 HAS SOUS 43030 HAS SOUPS 43030 WITH SCORE 43098.706
AT ITER 3654 NEW BEST:: SOT 151408 SOS 68646 HAS SOPS 68646 HAS SOUS 42890 HAS SOUPS 42890 WITH SCORE 42958.646
AT ITER 3656 NEW BEST:: SOT 151264 SOS 68502 HAS SOPS 68502 HAS SOUS 42746 HAS SOUPS 42746 WITH SCORE 42814.502
AT ITER 3673 NEW BEST:: SOT 151254 SOS 68492 HAS SOPS 68492 HAS SOUS 42738 HAS SOUPS 42738 WITH SCORE 42806.492
AT ITER 3676 NEW BEST:: SOT 151254 SOS 68457 HAS SOPS 68457 HAS SOUS 42733 HAS SOUPS 42733 WITH SCORE 42801.457
AT ITER 3686 NEW BEST:: SOT 151209 SOS 68401 HAS SOPS 68401 HAS SOUS 42633 HAS SOUPS 42633 WITH SCORE 42701.401
AT ITER 3701 NEW BEST:: SOT 151205 SOS 68438 HAS SOPS 68438 HAS SOUS 42613 HAS SOUPS 42613 WITH SCORE 42681.438
AT ITER 3744 NEW BEST:: SOT 151173 SOS 68382 HAS SOPS 68382 HAS SOUS 42513 HAS SOUPS 42513 WITH SCORE 42581.382
AT ITER 3767 NEW BEST:: SOT 151166 SOS 68375 HAS SOPS 68375 HAS SOUS 42503 HAS SOUPS 42503 WITH SCORE 42571.375
AT ITER 3783 NEW BEST:: SOT 151194 SOS 68316 HAS SOPS 68316 HAS SOUS 42451 HAS SOUPS 42451 WITH SCORE 42519.316
AT ITER 3786 NEW BEST:: SOT 151104 SOS 68226 HAS SOPS 68226 HAS SOUS 42360 HAS SOUPS 42360 WITH SCORE 42428.226
AT ITER 3790 NEW BEST:: SOT 150871 SOS 67993 HAS SOPS 67993 HAS SOUS 42127 HAS SOUPS 42127 WITH SCORE 42194.993
AT ITER 3791 NEW BEST:: SOT 150862 SOS 67984 HAS SOPS 67984 HAS SOUS 42118 HAS SOUPS 42118 WITH SCORE 42185.984
AT ITER 3801 NEW BEST:: SOT 150863 SOS 67718 HAS SOPS 67718 HAS SOUS 42106 HAS SOUPS 42106 WITH SCORE 42173.718
AT ITER 3810 NEW BEST:: SOT 150821 SOS 67489 HAS SOPS 67489 HAS SOUS 42016 HAS SOUPS 42016 WITH SCORE 42083.489
AT ITER 3826 NEW BEST:: SOT 150772 SOS 67400 HAS SOPS 67400 HAS SOUS 41918 HAS SOUPS 41918 WITH SCORE 41985.4
AT ITER 3831 NEW BEST:: SOT 150722 SOS 67274 HAS SOPS 67274 HAS SOUS 41792 HAS SOUPS 41792 WITH SCORE 41859.274
AT ITER 3841 NEW BEST:: SOT 150741 SOS 67343 HAS SOPS 67343 HAS SOUS 41735 HAS SOUPS 41735 WITH SCORE 41802.343
AT ITER 3852 NEW BEST:: SOT 150729 SOS 67309 HAS SOPS 67309 HAS SOUS 41687 HAS SOUPS 41687 WITH SCORE 41754.309
AT ITER 3855 NEW BEST:: SOT 150683 SOS 67237 HAS SOPS 67237 HAS SOUS 41542 HAS SOUPS 41542 WITH SCORE 41609.237
AT ITER 3865 NEW BEST:: SOT 150661 SOS 67198 HAS SOPS 67198 HAS SOUS 41488 HAS SOUPS 41488 WITH SCORE 41555.198
AT ITER 3919 NEW BEST:: SOT 150664 SOS 67457 HAS SOPS 67457 HAS SOUS 41373 HAS SOUPS 41373 WITH SCORE 41440.457
AT ITER 3947 NEW BEST:: SOT 150526 SOS 67059 HAS SOPS 67059 HAS SOUS 41147 HAS SOUPS 41147 WITH SCORE 41214.059
AT ITER 3949 NEW BEST:: SOT 150583 SOS 67059 HAS SOPS 67059 HAS SOUS 41090 HAS SOUPS 41090 WITH SCORE 41157.059
AT ITER 3955 NEW BEST:: SOT 150577 SOS 67051 HAS SOPS 67051 HAS SOUS 41080 HAS SOUPS 41080 WITH SCORE 41147.051
AT ITER 3967 NEW BEST:: SOT 150572 SOS 67045 HAS SOPS 67045 HAS SOUS 41074 HAS SOUPS 41074 WITH SCORE 41141.045
AT ITER 3969 NEW BEST:: SOT 150574 SOS 67013 HAS SOPS 67013 HAS SOUS 41064 HAS SOUPS 41064 WITH SCORE 41131.013
AT ITER 3970 NEW BEST:: SOT 150538 SOS 66977 HAS SOPS 66977 HAS SOUS 41036 HAS SOUPS 41036 WITH SCORE 41102.977
AT ITER 3981 NEW BEST:: SOT 150514 SOS 66893 HAS SOPS 66893 HAS SOUS 40988 HAS SOUPS 40988 WITH SCORE 41054.893
AT ITER 4005 NEW BEST:: SOT 150460 SOS 66829 HAS SOPS 66829 HAS SOUS 40918 HAS SOUPS 40918 WITH SCORE 40984.829
AT ITER 4018 NEW BEST:: SOT 150484 SOS 66748 HAS SOPS 66748 HAS SOUS 40902 HAS SOUPS 40902 WITH SCORE 40968.748
AT ITER 4027 NEW BEST:: SOT 150520 SOS 66716 HAS SOPS 66716 HAS SOUS 40894 HAS SOUPS 40894 WITH SCORE 40960.716
AT ITER 4046 NEW BEST:: SOT 150543 SOS 66748 HAS SOPS 66748 HAS SOUS 40871 HAS SOUPS 40871 WITH SCORE 40937.748
AT ITER 4049 NEW BEST:: SOT 150543 SOS 66759 HAS SOPS 66759 HAS SOUS 40859 HAS SOUPS 40859 WITH SCORE 40925.759
AT ITER 4063 NEW BEST:: SOT 150223 SOS 66446 HAS SOPS 66446 HAS SOUS 40541 HAS SOUPS 40541 WITH SCORE 40607.446
AT ITER 4079 NEW BEST:: SOT 150169 SOS 66382 HAS SOPS 66382 HAS SOUS 40445 HAS SOUPS 40445 WITH SCORE 40511.382
AT ITER 4086 NEW BEST:: SOT 150166 SOS 66379 HAS SOPS 66379 HAS SOUS 40442 HAS SOUPS 40442 WITH SCORE 40508.379
AT ITER 4091 NEW BEST:: SOT 150166 SOS 66373 HAS SOPS 66373 HAS SOUS 40440 HAS SOUPS 40440 WITH SCORE 40506.373
AT ITER 4094 NEW BEST:: SOT 150030 SOS 66155 HAS SOPS 66155 HAS SOUS 40181 HAS SOUPS 40181 WITH SCORE 40247.155
AT ITER 4124 NEW BEST:: SOT 150030 SOS 66311 HAS SOPS 66311 HAS SOUS 40173 HAS SOUPS 40173 WITH SCORE 40239.311
AT ITER 4152 NEW BEST:: SOT 150009 SOS 66290 HAS SOPS 66290 HAS SOUS 40152 HAS SOUPS 40152 WITH SCORE 40218.29
AT ITER 4180 NEW BEST:: SOT 150009 SOS 66297 HAS SOPS 66297 HAS SOUS 40151 HAS SOUPS 40151 WITH SCORE 40217.297
AT ITER 4185 NEW BEST:: SOT 149957 SOS 66229 HAS SOPS 66229 HAS SOUS 40014 HAS SOUPS 40014 WITH SCORE 40080.229
AT ITER 4187 NEW BEST:: SOT 149957 SOS 66154 HAS SOPS 66154 HAS SOUS 39996 HAS SOUPS 39996 WITH SCORE 40062.154
AT ITER 4188 NEW BEST:: SOT 149896 SOS 65947 HAS SOPS 65947 HAS SOUS 39860 HAS SOUPS 39860 WITH SCORE 39925.947
AT ITER 4196 NEW BEST:: SOT 149847 SOS 65849 HAS SOPS 65849 HAS SOUS 39824 HAS SOUPS 39824 WITH SCORE 39889.849
AT ITER 4199 NEW BEST:: SOT 149817 SOS 65623 HAS SOPS 65623 HAS SOUS 39732 HAS SOUPS 39732 WITH SCORE 39797.623
AT ITER 4200 NEW BEST:: SOT 149807 SOS 65578 HAS SOPS 65578 HAS SOUS 39688 HAS SOUPS 39688 WITH SCORE 39753.578
AT ITER 4233 NEW BEST:: SOT 149754 SOS 65521 HAS SOPS 65521 HAS SOUS 39634 HAS SOUPS 39634 WITH SCORE 39699.521
AT ITER 4244 NEW BEST:: SOT 149706 SOS 65287 HAS SOPS 65287 HAS SOUS 39534 HAS SOUPS 39534 WITH SCORE 39599.287
AT ITER 4246 NEW BEST:: SOT 149663 SOS 65244 HAS SOPS 65244 HAS SOUS 39491 HAS SOUPS 39491 WITH SCORE 39556.244
AT ITER 4252 NEW BEST:: SOT 149629 SOS 65162 HAS SOPS 65162 HAS SOUS 39480 HAS SOUPS 39480 WITH SCORE 39545.162
AT ITER 4258 NEW BEST:: SOT 149587 SOS 65144 HAS SOPS 65144 HAS SOUS 39460 HAS SOUPS 39460 WITH SCORE 39525.144
AT ITER 4269 NEW BEST:: SOT 149583 SOS 65142 HAS SOPS 65142 HAS SOUS 39458 HAS SOUPS 39458 WITH SCORE 39523.142
AT ITER 4278 NEW BEST:: SOT 149583 SOS 65130 HAS SOPS 65130 HAS SOUS 39458 HAS SOUPS 39458 WITH SCORE 39523.13
AT ITER 4287 NEW BEST:: SOT 149552 SOS 65090 HAS SOPS 65090 HAS SOUS 39418 HAS SOUPS 39418 WITH SCORE 39483.09
AT ITER 4311 NEW BEST:: SOT 149536 SOS 65046 HAS SOPS 65046 HAS SOUS 39402 HAS SOUPS 39402 WITH SCORE 39467.046
AT ITER 4316 NEW BEST:: SOT 149532 SOS 65094 HAS SOPS 65094 HAS SOUS 39398 HAS SOUPS 39398 WITH SCORE 39463.094
AT ITER 4320 NEW BEST:: SOT 149468 SOS 64928 HAS SOPS 64928 HAS SOUS 39347 HAS SOUPS 39347 WITH SCORE 39411.928
AT ITER 4321 NEW BEST:: SOT 149476 SOS 64861 HAS SOPS 64861 HAS SOUS 39281 HAS SOUPS 39281 WITH SCORE 39345.861
AT ITER 4337 NEW BEST:: SOT 149444 SOS 64821 HAS SOPS 64821 HAS SOUS 39197 HAS SOUPS 39197 WITH SCORE 39261.821
AT ITER 4345 NEW BEST:: SOT 149437 SOS 64787 HAS SOPS 64787 HAS SOUS 39190 HAS SOUPS 39190 WITH SCORE 39254.787
AT ITER 4350 NEW BEST:: SOT 149391 SOS 64721 HAS SOPS 64721 HAS SOUS 39127 HAS SOUPS 39127 WITH SCORE 39191.721
AT ITER 4377 NEW BEST:: SOT 149289 SOS 64585 HAS SOPS 64585 HAS SOUS 38974 HAS SOUPS 38974 WITH SCORE 39038.585
AT ITER 4383 NEW BEST:: SOT 149287 SOS 64581 HAS SOPS 64581 HAS SOUS 38971 HAS SOUPS 38971 WITH SCORE 39035.581
AT ITER 4393 NEW BEST:: SOT 149255 SOS 64534 HAS SOPS 64534 HAS SOUS 38907 HAS SOUPS 38907 WITH SCORE 38971.534
AT ITER 4412 NEW BEST:: SOT 149255 SOS 64703 HAS SOPS 64703 HAS SOUS 38893 HAS SOUPS 38893 WITH SCORE 38957.703
AT ITER 4425 NEW BEST:: SOT 149361 SOS 64809 HAS SOPS 64809 HAS SOUS 38870 HAS SOUPS 38870 WITH SCORE 38934.809
AT ITER 4434 NEW BEST:: SOT 149340 SOS 64782 HAS SOPS 64782 HAS SOUS 38869 HAS SOUPS 38869 WITH SCORE 38933.782
AT ITER 4455 NEW BEST:: SOT 149326 SOS 64708 HAS SOPS 64708 HAS SOUS 38831 HAS SOUPS 38831 WITH SCORE 38895.708
AT ITER 4465 NEW BEST:: SOT 149323 SOS 64717 HAS SOPS 64717 HAS SOUS 38828 HAS SOUPS 38828 WITH SCORE 38892.717
AT ITER 4466 NEW BEST:: SOT 149326 SOS 64720 HAS SOPS 64720 HAS SOUS 38824 HAS SOUPS 38824 WITH SCORE 38888.72
AT ITER 4479 NEW BEST:: SOT 149317 SOS 64707 HAS SOPS 64707 HAS SOUS 38819 HAS SOUPS 38819 WITH SCORE 38883.707
AT ITER 4480 NEW BEST:: SOT 149381 SOS 64691 HAS SOPS 64691 HAS SOUS 38795 HAS SOUPS 38795 WITH SCORE 38859.691
AT ITER 4500 NEW BEST:: SOT 149380 SOS 64690 HAS SOPS 64690 HAS SOUS 38794 HAS SOUPS 38794 WITH SCORE 38858.69
AT ITER 4516 NEW BEST:: SOT 149380 SOS 64697 HAS SOPS 64697 HAS SOUS 38782 HAS SOUPS 38782 WITH SCORE 38846.697
AT ITER 4542 NEW BEST:: SOT 149336 SOS 64553 HAS SOPS 64553 HAS SOUS 38694 HAS SOUPS 38694 WITH SCORE 38758.553
AT ITER 4573 NEW BEST:: SOT 149315 SOS 64545 HAS SOPS 64545 HAS SOUS 38673 HAS SOUPS 38673 WITH SCORE 38737.545
AT ITER 4601 NEW BEST:: SOT 149309 SOS 64539 HAS SOPS 64539 HAS SOUS 38667 HAS SOUPS 38667 WITH SCORE 38731.539
AT ITER 4613 NEW BEST:: SOT 149269 SOS 64499 HAS SOPS 64499 HAS SOUS 38627 HAS SOUPS 38627 WITH SCORE 38691.499
AT ITER 4616 NEW BEST:: SOT 149269 SOS 64494 HAS SOPS 64494 HAS SOUS 38622 HAS SOUPS 38622 WITH SCORE 38686.494
AT ITER 4655 NEW BEST:: SOT 149253 SOS 64466 HAS SOPS 64466 HAS SOUS 38594 HAS SOUPS 38594 WITH SCORE 38658.466
AT ITER 4667 NEW BEST:: SOT 149340 SOS 64451 HAS SOPS 64451 HAS SOUS 38526 HAS SOUPS 38526 WITH SCORE 38590.451
AT ITER 4668 NEW BEST:: SOT 149320 SOS 64427 HAS SOPS 64427 HAS SOUS 38498 HAS SOUPS 38498 WITH SCORE 38562.427
AT ITER 4678 NEW BEST:: SOT 149306 SOS 64403 HAS SOPS 64403 HAS SOUS 38474 HAS SOUPS 38474 WITH SCORE 38538.403
AT ITER 4685 NEW BEST:: SOT 149306 SOS 64387 HAS SOPS 64387 HAS SOUS 38474 HAS SOUPS 38474 WITH SCORE 38538.387
AT ITER 4712 NEW BEST:: SOT 149306 SOS 64384 HAS SOPS 64384 HAS SOUS 38471 HAS SOUPS 38471 WITH SCORE 38535.384
AT ITER 4733 NEW BEST:: SOT 149321 SOS 64423 HAS SOPS 64423 HAS SOUS 38467 HAS SOUPS 38467 WITH SCORE 38531.423
AT ITER 4763 NEW BEST:: SOT 149325 SOS 64421 HAS SOPS 64421 HAS SOUS 38427 HAS SOUPS 38427 WITH SCORE 38491.421
AT ITER 4794 NEW BEST:: SOT 149309 SOS 64349 HAS SOPS 64349 HAS SOUS 38399 HAS SOUPS 38399 WITH SCORE 38463.349
AT ITER 4880 NEW BEST:: SOT 149309 SOS 64259 HAS SOPS 64259 HAS SOUS 38399 HAS SOUPS 38399 WITH SCORE 38463.259
AT ITER 4882 NEW BEST:: SOT 149283 SOS 64181 HAS SOPS 64181 HAS SOUS 38364 HAS SOUPS 38364 WITH SCORE 38428.181
AT ITER 4888 NEW BEST:: SOT 149283 SOS 64229 HAS SOPS 64229 HAS SOUS 38348 HAS SOUPS 38348 WITH SCORE 38412.229
AT ITER 4890 NEW BEST:: SOT 149283 SOS 64204 HAS SOPS 64204 HAS SOUS 38348 HAS SOUPS 38348 WITH SCORE 38412.204
AT ITER 4894 NEW BEST:: SOT 149249 SOS 64076 HAS SOPS 64076 HAS SOUS 38292 HAS SOUPS 38292 WITH SCORE 38356.076
AT ITER 4901 NEW BEST:: SOT 149110 SOS 63551 HAS SOPS 63551 HAS SOUS 38135 HAS SOUPS 38135 WITH SCORE 38198.551
AT ITER 4905 NEW BEST:: SOT 149096 SOS 63742 HAS SOPS 63742 HAS SOUS 38053 HAS SOUPS 38053 WITH SCORE 38116.742
AT ITER 4918 NEW BEST:: SOT 149092 SOS 63748 HAS SOPS 63748 HAS SOUS 38038 HAS SOUPS 38038 WITH SCORE 38101.748
AT ITER 4952 NEW BEST:: SOT 149108 SOS 63748 HAS SOPS 63748 HAS SOUS 38022 HAS SOUPS 38022 WITH SCORE 38085.748
AT ITER 4966 NEW BEST:: SOT 149144 SOS 63784 HAS SOPS 63784 HAS SOUS 38004 HAS SOUPS 38004 WITH SCORE 38067.784
AT ITER 4970 NEW BEST:: SOT 149144 SOS 63784 HAS SOPS 63784 HAS SOUS 38001 HAS SOUPS 38001 WITH SCORE 38064.784
AT ITER 4980 NEW BEST:: SOT 149119 SOS 63746 HAS SOPS 63746 HAS SOUS 37967 HAS SOUPS 37967 WITH SCORE 38030.746
AT ITER 4982 NEW BEST:: SOT 149059 SOS 63656 HAS SOPS 63656 HAS SOUS 37897 HAS SOUPS 37897 WITH SCORE 37960.656
AT ITER 4997 NEW BEST:: SOT 149029 SOS 63611 HAS SOPS 63611 HAS SOUS 37834 HAS SOUPS 37834 WITH SCORE 37897.611
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldRVs-PT-030A-CTLCardinality-00 (! (EG( potential( (tk(P348)) <= (tk(P374)) ))))
PROPERTY: ShieldRVs-PT-030A-CTLCardinality-01 ( (! (! ( (! potential( ( 1 ) <= (tk(P111)) )) & ( potential( (tk(P179)) <= (tk(P145)) ) | potential( (tk(P231)) <= (tk(P87)) ) ) ))) & (EG( potential( (tk(P207)) <= (tk(P10)) ))) )
PROPERTY: ShieldRVs-PT-030A-CTLCardinality-02 (AG( (EF(( potential( (tk(P83)) <= (tk(P282)) ) | potential( (tk(P69)) <= (tk(P121)) ) )))))
PROPERTY: ShieldRVs-PT-030A-CTLCardinality-03 (AF((AU( potential( ( 2 ) <= (tk(P114)) ),potential( ( 2 ) <= (tk(P307)) ) ))))
PROPERTY: ShieldRVs-PT-030A-CTLCardinality-04 ( ( (EG( ( potential( (tk(P370)) <= (tk(P326)) ) | potential( (tk(P22)) <= (tk(P272)) ) ))) | (EG( ( potential( ( 1 ) <= (tk(P11)) ) | potential( (tk(P152)) <= (tk(P226)) ) ))) ) & potential( (tk(P55)) <= (tk(P324)) ) )
PROPERTY: ShieldRVs-PT-030A-CTLCardinality-05 (AU( ( potential( (tk(P192)) <= (tk(P273)) ) & (! potential( ( 3 ) <= (tk(P70)) )) ),(EX( potential( ( 1 ) <= (tk(P5)) ))) ))
PROPERTY: ShieldRVs-PT-030A-CTLCardinality-06 (EU( ( ( potential( (tk(P266)) <= (tk(P137)) ) | potential( ( 3 ) <= (tk(P207)) ) ) | (! potential( ( 1 ) <= (tk(P203)) )) ),( (! potential( (tk(P188)) <= (tk(P271)) )) & potential( (tk(P21)) <= (tk(P147)) ) ) ))
PROPERTY: ShieldRVs-PT-030A-CTLCardinality-07 (EF((! (AX( potential( ( 1 ) <= (tk(P219)) ))))))
PROPERTY: ShieldRVs-PT-030A-CTLCardinality-08 (AF(potential( ( 3 ) <= (tk(P112)) )))
PROPERTY: ShieldRVs-PT-030A-CTLCardinality-09 (! ( (! (EF(potential( ( 3 ) <= (tk(P318)) )))) | (AG( ( potential( ( 2 ) <= (tk(P330)) ) | potential( (tk(P278)) <= (tk(P241)) ) ))) ))
PROPERTY: ShieldRVs-PT-030A-CTLCardinality-10 (AF(( (AG( potential( ( 1 ) <= (tk(P200)) ))) & (AG( potential( (tk(P389)) <= (tk(P230)) ))) )))
PROPERTY: ShieldRVs-PT-030A-CTLCardinality-11 ( (! (AF((! potential( (tk(P303)) <= (tk(P51)) ))))) | ( (EU( potential( ( 3 ) <= (tk(P288)) ),potential( ( 1 ) <= (tk(P13)) ) )) & (AU( potential( ( 3 ) <= (tk(P209)) ),potential( (tk(P377)) <= (tk(P93)) ) )) ) )
PROPERTY: ShieldRVs-PT-030A-CTLCardinality-12 (EU( (! ( potential( ( 3 ) <= (tk(P101)) ) & potential( ( 2 ) <= (tk(P199)) ) )),(EF(potential( ( 1 ) <= (tk(P272)) ))) ))
PROPERTY: ShieldRVs-PT-030A-CTLCardinality-13 (! (! (AG( ( potential( (tk(P26)) <= (tk(P388)) ) & potential( (tk(P260)) <= (tk(P275)) ) )))))
PROPERTY: ShieldRVs-PT-030A-CTLCardinality-14 (EG( ( potential( ( 1 ) <= (tk(P322)) ) | ( (! potential( ( 2 ) <= (tk(P311)) )) | potential( ( 2 ) <= (tk(P40)) ) ) )))
PROPERTY: ShieldRVs-PT-030A-CTLCardinality-15 (AF(potential( ( 3 ) <= (tk(P245)) )))

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="ShieldRVs-PT-030A"
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 ShieldRVs-PT-030A, 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 r207-tajo-159033470100859"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVs-PT-030A.tgz
mv ShieldRVs-PT-030A 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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;