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-159033470401052.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 ShieldRVt-PT-040A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470401052
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 280K
-rw-r--r-- 1 mcc users 4.0K May 14 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 20:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 20:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 14:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 14:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 09:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 09:46 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 109K 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 ShieldRVt-PT-040A-CTLFireability-00
FORMULA_NAME ShieldRVt-PT-040A-CTLFireability-01
FORMULA_NAME ShieldRVt-PT-040A-CTLFireability-02
FORMULA_NAME ShieldRVt-PT-040A-CTLFireability-03
FORMULA_NAME ShieldRVt-PT-040A-CTLFireability-04
FORMULA_NAME ShieldRVt-PT-040A-CTLFireability-05
FORMULA_NAME ShieldRVt-PT-040A-CTLFireability-06
FORMULA_NAME ShieldRVt-PT-040A-CTLFireability-07
FORMULA_NAME ShieldRVt-PT-040A-CTLFireability-08
FORMULA_NAME ShieldRVt-PT-040A-CTLFireability-09
FORMULA_NAME ShieldRVt-PT-040A-CTLFireability-10
FORMULA_NAME ShieldRVt-PT-040A-CTLFireability-11
FORMULA_NAME ShieldRVt-PT-040A-CTLFireability-12
FORMULA_NAME ShieldRVt-PT-040A-CTLFireability-13
FORMULA_NAME ShieldRVt-PT-040A-CTLFireability-14
FORMULA_NAME ShieldRVt-PT-040A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590457135253

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 040A
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 323 places, 323 transitions, 1366 arcs.
AT ITER 0 NEW BEST:: SOT 81877 SOS 60079 HAS SOPS 60079 HAS SOUS 56213 HAS SOUPS 56213 WITH SCORE 56273.079
AT ITER 2 NEW BEST:: SOT 81768 SOS 59929 HAS SOPS 59929 HAS SOUS 56063 HAS SOUPS 56063 WITH SCORE 56122.929
AT ITER 4 NEW BEST:: SOT 81652 SOS 59698 HAS SOPS 59698 HAS SOUS 55720 HAS SOUPS 55720 WITH SCORE 55779.698
AT ITER 5 NEW BEST:: SOT 81536 SOS 59471 HAS SOPS 59471 HAS SOUS 55493 HAS SOUPS 55493 WITH SCORE 55552.471
AT ITER 8 NEW BEST:: SOT 81439 SOS 59219 HAS SOPS 59219 HAS SOUS 55203 HAS SOUPS 55203 WITH SCORE 55262.219
AT ITER 9 NEW BEST:: SOT 81368 SOS 59074 HAS SOPS 59074 HAS SOUS 55079 HAS SOUPS 55079 WITH SCORE 55138.074
AT ITER 12 NEW BEST:: SOT 81303 SOS 58944 HAS SOPS 58944 HAS SOUS 54913 HAS SOUPS 54913 WITH SCORE 54971.944
AT ITER 19 NEW BEST:: SOT 81198 SOS 58586 HAS SOPS 58586 HAS SOUS 54574 HAS SOUPS 54574 WITH SCORE 54632.586
AT ITER 20 NEW BEST:: SOT 81081 SOS 58352 HAS SOPS 58352 HAS SOUS 54251 HAS SOUPS 54251 WITH SCORE 54309.352
AT ITER 22 NEW BEST:: SOT 80992 SOS 58136 HAS SOPS 58136 HAS SOUS 53986 HAS SOUPS 53986 WITH SCORE 54044.136
AT ITER 23 NEW BEST:: SOT 80911 SOS 58024 HAS SOPS 58024 HAS SOUS 53857 HAS SOUPS 53857 WITH SCORE 53915.024
AT ITER 25 NEW BEST:: SOT 80810 SOS 57873 HAS SOPS 57873 HAS SOUS 53674 HAS SOUPS 53674 WITH SCORE 53731.873
AT ITER 26 NEW BEST:: SOT 80732 SOS 57782 HAS SOPS 57782 HAS SOUS 53619 HAS SOUPS 53619 WITH SCORE 53676.782
AT ITER 27 NEW BEST:: SOT 80732 SOS 57782 HAS SOPS 57782 HAS SOUS 53564 HAS SOUPS 53564 WITH SCORE 53621.782
AT ITER 28 NEW BEST:: SOT 80732 SOS 57584 HAS SOPS 57584 HAS SOUS 53544 HAS SOUPS 53544 WITH SCORE 53601.584
AT ITER 31 NEW BEST:: SOT 80648 SOS 57500 HAS SOPS 57500 HAS SOUS 53460 HAS SOUPS 53460 WITH SCORE 53517.5
AT ITER 34 NEW BEST:: SOT 80583 SOS 57325 HAS SOPS 57325 HAS SOUS 53282 HAS SOUPS 53282 WITH SCORE 53339.325
AT ITER 35 NEW BEST:: SOT 80431 SOS 56955 HAS SOPS 56955 HAS SOUS 53004 HAS SOUPS 53004 WITH SCORE 53060.955
AT ITER 37 NEW BEST:: SOT 80429 SOS 56951 HAS SOPS 56951 HAS SOUS 53000 HAS SOUPS 53000 WITH SCORE 53056.951
AT ITER 38 NEW BEST:: SOT 80364 SOS 56822 HAS SOPS 56822 HAS SOUS 52807 HAS SOUPS 52807 WITH SCORE 52863.822
AT ITER 40 NEW BEST:: SOT 80361 SOS 56819 HAS SOPS 56819 HAS SOUS 52804 HAS SOUPS 52804 WITH SCORE 52860.819
AT ITER 43 NEW BEST:: SOT 80346 SOS 56789 HAS SOPS 56789 HAS SOUS 52760 HAS SOUPS 52760 WITH SCORE 52816.789
AT ITER 44 NEW BEST:: SOT 80346 SOS 56889 HAS SOPS 56889 HAS SOUS 52752 HAS SOUPS 52752 WITH SCORE 52808.889
AT ITER 45 NEW BEST:: SOT 80207 SOS 56625 HAS SOPS 56625 HAS SOUS 52488 HAS SOUPS 52488 WITH SCORE 52544.625
AT ITER 47 NEW BEST:: SOT 80207 SOS 56669 HAS SOPS 56669 HAS SOUS 52486 HAS SOUPS 52486 WITH SCORE 52542.669
AT ITER 48 NEW BEST:: SOT 80085 SOS 56301 HAS SOPS 56301 HAS SOUS 52319 HAS SOUPS 52319 WITH SCORE 52375.301
AT ITER 53 NEW BEST:: SOT 80065 SOS 56289 HAS SOPS 56289 HAS SOUS 52250 HAS SOUPS 52250 WITH SCORE 52306.289
AT ITER 57 NEW BEST:: SOT 79980 SOS 56066 HAS SOPS 56066 HAS SOUS 52166 HAS SOUPS 52166 WITH SCORE 52222.066
AT ITER 69 NEW BEST:: SOT 79791 SOS 55736 HAS SOPS 55736 HAS SOUS 51778 HAS SOUPS 51778 WITH SCORE 51833.736
AT ITER 70 NEW BEST:: SOT 79787 SOS 55732 HAS SOPS 55732 HAS SOUS 51774 HAS SOUPS 51774 WITH SCORE 51829.732
AT ITER 72 NEW BEST:: SOT 79650 SOS 55461 HAS SOPS 55461 HAS SOUS 51573 HAS SOUPS 51573 WITH SCORE 51628.461
AT ITER 74 NEW BEST:: SOT 79650 SOS 55445 HAS SOPS 55445 HAS SOUS 51557 HAS SOUPS 51557 WITH SCORE 51612.445
AT ITER 81 NEW BEST:: SOT 79566 SOS 55261 HAS SOPS 55261 HAS SOUS 51272 HAS SOUPS 51272 WITH SCORE 51327.261
AT ITER 83 NEW BEST:: SOT 79439 SOS 55003 HAS SOPS 55003 HAS SOUS 51088 HAS SOUPS 51088 WITH SCORE 51143.003
AT ITER 84 NEW BEST:: SOT 79245 SOS 54634 HAS SOPS 54634 HAS SOUS 50815 HAS SOUPS 50815 WITH SCORE 50869.634
AT ITER 85 NEW BEST:: SOT 79235 SOS 54663 HAS SOPS 54663 HAS SOUS 50762 HAS SOUPS 50762 WITH SCORE 50816.663
AT ITER 90 NEW BEST:: SOT 79149 SOS 54568 HAS SOPS 54568 HAS SOUS 50592 HAS SOUPS 50592 WITH SCORE 50646.568
AT ITER 92 NEW BEST:: SOT 79082 SOS 54360 HAS SOPS 54360 HAS SOUS 50445 HAS SOUPS 50445 WITH SCORE 50499.36
AT ITER 93 NEW BEST:: SOT 79081 SOS 54359 HAS SOPS 54359 HAS SOUS 50444 HAS SOUPS 50444 WITH SCORE 50498.359
AT ITER 98 NEW BEST:: SOT 79081 SOS 54363 HAS SOPS 54363 HAS SOUS 50443 HAS SOUPS 50443 WITH SCORE 50497.363
AT ITER 99 NEW BEST:: SOT 79031 SOS 54220 HAS SOPS 54220 HAS SOUS 50300 HAS SOUPS 50300 WITH SCORE 50354.22
AT ITER 103 NEW BEST:: SOT 79048 SOS 54237 HAS SOPS 54237 HAS SOUS 50246 HAS SOUPS 50246 WITH SCORE 50300.237
AT ITER 108 NEW BEST:: SOT 78856 SOS 53983 HAS SOPS 53983 HAS SOUS 50065 HAS SOUPS 50065 WITH SCORE 50118.983
AT ITER 110 NEW BEST:: SOT 78851 SOS 53978 HAS SOPS 53978 HAS SOUS 50060 HAS SOUPS 50060 WITH SCORE 50113.978
AT ITER 112 NEW BEST:: SOT 78776 SOS 53610 HAS SOPS 53610 HAS SOUS 49839 HAS SOUPS 49839 WITH SCORE 49892.61
AT ITER 115 NEW BEST:: SOT 78772 SOS 53606 HAS SOPS 53606 HAS SOUS 49835 HAS SOUPS 49835 WITH SCORE 49888.606
AT ITER 116 NEW BEST:: SOT 78767 SOS 53601 HAS SOPS 53601 HAS SOUS 49830 HAS SOUPS 49830 WITH SCORE 49883.601
AT ITER 120 NEW BEST:: SOT 78609 SOS 53303 HAS SOPS 53303 HAS SOUS 49526 HAS SOUPS 49526 WITH SCORE 49579.303
AT ITER 124 NEW BEST:: SOT 78420 SOS 52942 HAS SOPS 52942 HAS SOUS 49062 HAS SOUPS 49062 WITH SCORE 49114.942
AT ITER 128 NEW BEST:: SOT 78288 SOS 52582 HAS SOPS 52582 HAS SOUS 48793 HAS SOUPS 48793 WITH SCORE 48845.582
AT ITER 129 NEW BEST:: SOT 78203 SOS 52481 HAS SOPS 52481 HAS SOUS 48696 HAS SOUPS 48696 WITH SCORE 48748.481
AT ITER 131 NEW BEST:: SOT 78091 SOS 52232 HAS SOPS 52232 HAS SOUS 48429 HAS SOUPS 48429 WITH SCORE 48481.232
AT ITER 133 NEW BEST:: SOT 78091 SOS 52228 HAS SOPS 52228 HAS SOUS 48382 HAS SOUPS 48382 WITH SCORE 48434.228
AT ITER 134 NEW BEST:: SOT 77728 SOS 51725 HAS SOPS 51725 HAS SOUS 47792 HAS SOUPS 47792 WITH SCORE 47843.725
AT ITER 137 NEW BEST:: SOT 77632 SOS 51587 HAS SOPS 51587 HAS SOUS 47622 HAS SOUPS 47622 WITH SCORE 47673.587
AT ITER 139 NEW BEST:: SOT 77632 SOS 51587 HAS SOPS 51587 HAS SOUS 47621 HAS SOUPS 47621 WITH SCORE 47672.587
AT ITER 140 NEW BEST:: SOT 77574 SOS 51472 HAS SOPS 51472 HAS SOUS 47449 HAS SOUPS 47449 WITH SCORE 47500.472
AT ITER 141 NEW BEST:: SOT 77507 SOS 51246 HAS SOPS 51246 HAS SOUS 47287 HAS SOUPS 47287 WITH SCORE 47338.246
AT ITER 143 NEW BEST:: SOT 77489 SOS 51353 HAS SOPS 51353 HAS SOUS 47274 HAS SOUPS 47274 WITH SCORE 47325.353
AT ITER 144 NEW BEST:: SOT 77397 SOS 51169 HAS SOPS 51169 HAS SOUS 47108 HAS SOUPS 47108 WITH SCORE 47159.169
AT ITER 149 NEW BEST:: SOT 77241 SOS 50699 HAS SOPS 50699 HAS SOUS 46621 HAS SOUPS 46621 WITH SCORE 46671.699
AT ITER 151 NEW BEST:: SOT 77207 SOS 50612 HAS SOPS 50612 HAS SOUS 46534 HAS SOUPS 46534 WITH SCORE 46584.612
AT ITER 152 NEW BEST:: SOT 77048 SOS 50301 HAS SOPS 50301 HAS SOUS 46223 HAS SOUPS 46223 WITH SCORE 46273.301
AT ITER 153 NEW BEST:: SOT 76961 SOS 50124 HAS SOPS 50124 HAS SOUS 45989 HAS SOUPS 45989 WITH SCORE 46039.124
AT ITER 154 NEW BEST:: SOT 76828 SOS 49880 HAS SOPS 49880 HAS SOUS 45811 HAS SOUPS 45811 WITH SCORE 45860.88
AT ITER 158 NEW BEST:: SOT 76602 SOS 49509 HAS SOPS 49509 HAS SOUS 45376 HAS SOUPS 45376 WITH SCORE 45425.509
AT ITER 159 NEW BEST:: SOT 76636 SOS 49459 HAS SOPS 49459 HAS SOUS 45224 HAS SOUPS 45224 WITH SCORE 45273.459
AT ITER 161 NEW BEST:: SOT 76527 SOS 49350 HAS SOPS 49350 HAS SOUS 45137 HAS SOUPS 45137 WITH SCORE 45186.35
AT ITER 165 NEW BEST:: SOT 76526 SOS 49349 HAS SOPS 49349 HAS SOUS 45136 HAS SOUPS 45136 WITH SCORE 45185.349
AT ITER 169 NEW BEST:: SOT 76383 SOS 48923 HAS SOPS 48923 HAS SOUS 44713 HAS SOUPS 44713 WITH SCORE 44761.923
AT ITER 171 NEW BEST:: SOT 76226 SOS 48570 HAS SOPS 48570 HAS SOUS 44525 HAS SOUPS 44525 WITH SCORE 44573.57
AT ITER 178 NEW BEST:: SOT 76149 SOS 48400 HAS SOPS 48400 HAS SOUS 44312 HAS SOUPS 44312 WITH SCORE 44360.4
AT ITER 179 NEW BEST:: SOT 76146 SOS 48397 HAS SOPS 48397 HAS SOUS 44309 HAS SOUPS 44309 WITH SCORE 44357.397
AT ITER 180 NEW BEST:: SOT 76109 SOS 48345 HAS SOPS 48345 HAS SOUS 44109 HAS SOUPS 44109 WITH SCORE 44157.345
AT ITER 190 NEW BEST:: SOT 76070 SOS 48221 HAS SOPS 48221 HAS SOUS 44051 HAS SOUPS 44051 WITH SCORE 44099.221
AT ITER 192 NEW BEST:: SOT 75902 SOS 47800 HAS SOPS 47800 HAS SOUS 43620 HAS SOUPS 43620 WITH SCORE 43667.8
AT ITER 200 NEW BEST:: SOT 75744 SOS 47477 HAS SOPS 47477 HAS SOUS 43204 HAS SOUPS 43204 WITH SCORE 43251.477
AT ITER 201 NEW BEST:: SOT 75799 SOS 47612 HAS SOPS 47612 HAS SOUS 43202 HAS SOUPS 43202 WITH SCORE 43249.612
AT ITER 202 NEW BEST:: SOT 75656 SOS 47363 HAS SOPS 47363 HAS SOUS 42961 HAS SOUPS 42961 WITH SCORE 43008.363
AT ITER 206 NEW BEST:: SOT 75533 SOS 47060 HAS SOPS 47060 HAS SOUS 42687 HAS SOUPS 42687 WITH SCORE 42734.06
AT ITER 210 NEW BEST:: SOT 75533 SOS 47008 HAS SOPS 47008 HAS SOUS 42682 HAS SOUPS 42682 WITH SCORE 42729.008
AT ITER 217 NEW BEST:: SOT 75505 SOS 46909 HAS SOPS 46909 HAS SOUS 42652 HAS SOUPS 42652 WITH SCORE 42698.909
AT ITER 221 NEW BEST:: SOT 75505 SOS 46940 HAS SOPS 46940 HAS SOUS 42603 HAS SOUPS 42603 WITH SCORE 42649.94
AT ITER 223 NEW BEST:: SOT 75468 SOS 46857 HAS SOPS 46857 HAS SOUS 42520 HAS SOUPS 42520 WITH SCORE 42566.857
AT ITER 227 NEW BEST:: SOT 75488 SOS 46684 HAS SOPS 46684 HAS SOUS 42356 HAS SOUPS 42356 WITH SCORE 42402.684
AT ITER 229 NEW BEST:: SOT 75443 SOS 46639 HAS SOPS 46639 HAS SOUS 42311 HAS SOUPS 42311 WITH SCORE 42357.639
AT ITER 230 NEW BEST:: SOT 75410 SOS 46573 HAS SOPS 46573 HAS SOUS 42278 HAS SOUPS 42278 WITH SCORE 42324.573
AT ITER 232 NEW BEST:: SOT 75323 SOS 46390 HAS SOPS 46390 HAS SOUS 42095 HAS SOUPS 42095 WITH SCORE 42141.39
AT ITER 233 NEW BEST:: SOT 75323 SOS 46348 HAS SOPS 46348 HAS SOUS 42053 HAS SOUPS 42053 WITH SCORE 42099.348
AT ITER 235 NEW BEST:: SOT 75318 SOS 46303 HAS SOPS 46303 HAS SOUS 42039 HAS SOUPS 42039 WITH SCORE 42085.303
AT ITER 239 NEW BEST:: SOT 75229 SOS 46214 HAS SOPS 46214 HAS SOUS 41950 HAS SOUPS 41950 WITH SCORE 41996.214
AT ITER 245 NEW BEST:: SOT 75103 SOS 45962 HAS SOPS 45962 HAS SOUS 41824 HAS SOUPS 41824 WITH SCORE 41869.962
AT ITER 252 NEW BEST:: SOT 75102 SOS 45980 HAS SOPS 45980 HAS SOUS 41796 HAS SOUPS 41796 WITH SCORE 41841.98
AT ITER 259 NEW BEST:: SOT 75050 SOS 45902 HAS SOPS 45902 HAS SOUS 41692 HAS SOUPS 41692 WITH SCORE 41737.902
AT ITER 260 NEW BEST:: SOT 75006 SOS 45837 HAS SOPS 45837 HAS SOUS 41627 HAS SOUPS 41627 WITH SCORE 41672.837
AT ITER 262 NEW BEST:: SOT 74870 SOS 45403 HAS SOPS 45403 HAS SOUS 41136 HAS SOUPS 41136 WITH SCORE 41181.403
AT ITER 263 NEW BEST:: SOT 74809 SOS 45342 HAS SOPS 45342 HAS SOUS 41075 HAS SOUPS 41075 WITH SCORE 41120.342
AT ITER 270 NEW BEST:: SOT 74804 SOS 45337 HAS SOPS 45337 HAS SOUS 41070 HAS SOUPS 41070 WITH SCORE 41115.337
AT ITER 273 NEW BEST:: SOT 74853 SOS 45354 HAS SOPS 45354 HAS SOUS 40999 HAS SOUPS 40999 WITH SCORE 41044.354
AT ITER 274 NEW BEST:: SOT 74853 SOS 45354 HAS SOPS 45354 HAS SOUS 40993 HAS SOUPS 40993 WITH SCORE 41038.354
AT ITER 278 NEW BEST:: SOT 74832 SOS 45279 HAS SOPS 45279 HAS SOUS 40963 HAS SOUPS 40963 WITH SCORE 41008.279
AT ITER 279 NEW BEST:: SOT 74832 SOS 45213 HAS SOPS 45213 HAS SOUS 40951 HAS SOUPS 40951 WITH SCORE 40996.213
AT ITER 281 NEW BEST:: SOT 74819 SOS 45196 HAS SOPS 45196 HAS SOUS 40927 HAS SOUPS 40927 WITH SCORE 40972.196
AT ITER 288 NEW BEST:: SOT 74781 SOS 45120 HAS SOPS 45120 HAS SOUS 40851 HAS SOUPS 40851 WITH SCORE 40896.12
AT ITER 289 NEW BEST:: SOT 74781 SOS 45120 HAS SOPS 45120 HAS SOUS 40836 HAS SOUPS 40836 WITH SCORE 40881.12
AT ITER 290 NEW BEST:: SOT 74594 SOS 44797 HAS SOPS 44797 HAS SOUS 40453 HAS SOUPS 40453 WITH SCORE 40497.797
AT ITER 299 NEW BEST:: SOT 74528 SOS 44720 HAS SOPS 44720 HAS SOUS 40302 HAS SOUPS 40302 WITH SCORE 40346.72
AT ITER 303 NEW BEST:: SOT 74449 SOS 44679 HAS SOPS 44679 HAS SOUS 40194 HAS SOUPS 40194 WITH SCORE 40238.679
AT ITER 306 NEW BEST:: SOT 74407 SOS 44637 HAS SOPS 44637 HAS SOUS 40131 HAS SOUPS 40131 WITH SCORE 40175.637
AT ITER 308 NEW BEST:: SOT 74289 SOS 44519 HAS SOPS 44519 HAS SOUS 39971 HAS SOUPS 39971 WITH SCORE 40015.519
AT ITER 309 NEW BEST:: SOT 74212 SOS 44442 HAS SOPS 44442 HAS SOUS 39894 HAS SOUPS 39894 WITH SCORE 39938.442
AT ITER 310 NEW BEST:: SOT 74209 SOS 44243 HAS SOPS 44243 HAS SOUS 39773 HAS SOUPS 39773 WITH SCORE 39817.243
AT ITER 312 NEW BEST:: SOT 74174 SOS 44149 HAS SOPS 44149 HAS SOUS 39669 HAS SOUPS 39669 WITH SCORE 39713.149
AT ITER 314 NEW BEST:: SOT 74132 SOS 44079 HAS SOPS 44079 HAS SOUS 39599 HAS SOUPS 39599 WITH SCORE 39643.079
AT ITER 325 NEW BEST:: SOT 74110 SOS 44089 HAS SOPS 44089 HAS SOUS 39547 HAS SOUPS 39547 WITH SCORE 39591.089
AT ITER 330 NEW BEST:: SOT 74110 SOS 43993 HAS SOPS 43993 HAS SOUS 39409 HAS SOUPS 39409 WITH SCORE 39452.993
AT ITER 331 NEW BEST:: SOT 74106 SOS 43981 HAS SOPS 43981 HAS SOUS 39397 HAS SOUPS 39397 WITH SCORE 39440.981
AT ITER 333 NEW BEST:: SOT 73995 SOS 43892 HAS SOPS 43892 HAS SOUS 39169 HAS SOUPS 39169 WITH SCORE 39212.892
AT ITER 338 NEW BEST:: SOT 73953 SOS 43808 HAS SOPS 43808 HAS SOUS 39134 HAS SOUPS 39134 WITH SCORE 39177.808
AT ITER 342 NEW BEST:: SOT 73934 SOS 43748 HAS SOPS 43748 HAS SOUS 39099 HAS SOUPS 39099 WITH SCORE 39142.748
AT ITER 348 NEW BEST:: SOT 73881 SOS 43695 HAS SOPS 43695 HAS SOUS 39046 HAS SOUPS 39046 WITH SCORE 39089.695
AT ITER 350 NEW BEST:: SOT 73696 SOS 43416 HAS SOPS 43416 HAS SOUS 38744 HAS SOUPS 38744 WITH SCORE 38787.416
AT ITER 353 NEW BEST:: SOT 73696 SOS 43391 HAS SOPS 43391 HAS SOUS 38744 HAS SOUPS 38744 WITH SCORE 38787.391
AT ITER 357 NEW BEST:: SOT 73620 SOS 43257 HAS SOPS 43257 HAS SOUS 38724 HAS SOUPS 38724 WITH SCORE 38767.257
AT ITER 361 NEW BEST:: SOT 73441 SOS 43062 HAS SOPS 43062 HAS SOUS 38524 HAS SOUPS 38524 WITH SCORE 38567.062
AT ITER 362 NEW BEST:: SOT 73427 SOS 43034 HAS SOPS 43034 HAS SOUS 38503 HAS SOUPS 38503 WITH SCORE 38546.034
AT ITER 364 NEW BEST:: SOT 73475 SOS 43031 HAS SOPS 43031 HAS SOUS 38500 HAS SOUPS 38500 WITH SCORE 38543.031
AT ITER 365 NEW BEST:: SOT 73475 SOS 43041 HAS SOPS 43041 HAS SOUS 38465 HAS SOUPS 38465 WITH SCORE 38508.041
AT ITER 366 NEW BEST:: SOT 73447 SOS 42985 HAS SOPS 42985 HAS SOUS 38437 HAS SOUPS 38437 WITH SCORE 38479.985
AT ITER 368 NEW BEST:: SOT 73372 SOS 42864 HAS SOPS 42864 HAS SOUS 38362 HAS SOUPS 38362 WITH SCORE 38404.864
AT ITER 374 NEW BEST:: SOT 73307 SOS 42769 HAS SOPS 42769 HAS SOUS 38249 HAS SOUPS 38249 WITH SCORE 38291.769
AT ITER 375 NEW BEST:: SOT 73255 SOS 42751 HAS SOPS 42751 HAS SOUS 38178 HAS SOUPS 38178 WITH SCORE 38220.751
AT ITER 376 NEW BEST:: SOT 73061 SOS 42255 HAS SOPS 42255 HAS SOUS 37927 HAS SOUPS 37927 WITH SCORE 37969.255
AT ITER 379 NEW BEST:: SOT 73083 SOS 42277 HAS SOPS 42277 HAS SOUS 37900 HAS SOUPS 37900 WITH SCORE 37942.277
AT ITER 384 NEW BEST:: SOT 73081 SOS 42274 HAS SOPS 42274 HAS SOUS 37897 HAS SOUPS 37897 WITH SCORE 37939.274
AT ITER 388 NEW BEST:: SOT 73081 SOS 42265 HAS SOPS 42265 HAS SOUS 37897 HAS SOUPS 37897 WITH SCORE 37939.265
AT ITER 390 NEW BEST:: SOT 73062 SOS 42246 HAS SOPS 42246 HAS SOUS 37878 HAS SOUPS 37878 WITH SCORE 37920.246
AT ITER 395 NEW BEST:: SOT 73048 SOS 42342 HAS SOPS 42342 HAS SOUS 37848 HAS SOUPS 37848 WITH SCORE 37890.342
AT ITER 396 NEW BEST:: SOT 73048 SOS 42338 HAS SOPS 42338 HAS SOUS 37844 HAS SOUPS 37844 WITH SCORE 37886.338
AT ITER 401 NEW BEST:: SOT 73043 SOS 42328 HAS SOPS 42328 HAS SOUS 37830 HAS SOUPS 37830 WITH SCORE 37872.328
AT ITER 413 NEW BEST:: SOT 72935 SOS 42089 HAS SOPS 42089 HAS SOUS 37591 HAS SOUPS 37591 WITH SCORE 37633.089
AT ITER 414 NEW BEST:: SOT 72817 SOS 41767 HAS SOPS 41767 HAS SOUS 37269 HAS SOUPS 37269 WITH SCORE 37310.767
AT ITER 422 NEW BEST:: SOT 72817 SOS 41754 HAS SOPS 41754 HAS SOUS 37216 HAS SOUPS 37216 WITH SCORE 37257.754
AT ITER 424 NEW BEST:: SOT 72767 SOS 41653 HAS SOPS 41653 HAS SOUS 37066 HAS SOUPS 37066 WITH SCORE 37107.653
AT ITER 440 NEW BEST:: SOT 72728 SOS 41581 HAS SOPS 41581 HAS SOUS 36994 HAS SOUPS 36994 WITH SCORE 37035.581
AT ITER 441 NEW BEST:: SOT 72623 SOS 41458 HAS SOPS 41458 HAS SOUS 36928 HAS SOUPS 36928 WITH SCORE 36969.458
AT ITER 442 NEW BEST:: SOT 72592 SOS 41467 HAS SOPS 41467 HAS SOUS 36875 HAS SOUPS 36875 WITH SCORE 36916.467
AT ITER 448 NEW BEST:: SOT 72526 SOS 41397 HAS SOPS 41397 HAS SOUS 36771 HAS SOUPS 36771 WITH SCORE 36812.397
AT ITER 450 NEW BEST:: SOT 72492 SOS 41361 HAS SOPS 41361 HAS SOUS 36735 HAS SOUPS 36735 WITH SCORE 36776.361
AT ITER 455 NEW BEST:: SOT 72492 SOS 41306 HAS SOPS 41306 HAS SOUS 36686 HAS SOUPS 36686 WITH SCORE 36727.306
AT ITER 466 NEW BEST:: SOT 72492 SOS 41297 HAS SOPS 41297 HAS SOUS 36681 HAS SOUPS 36681 WITH SCORE 36722.297
AT ITER 473 NEW BEST:: SOT 72434 SOS 41149 HAS SOPS 41149 HAS SOUS 36623 HAS SOUPS 36623 WITH SCORE 36664.149
AT ITER 477 NEW BEST:: SOT 72431 SOS 41137 HAS SOPS 41137 HAS SOUS 36611 HAS SOUPS 36611 WITH SCORE 36652.137
AT ITER 478 NEW BEST:: SOT 72400 SOS 41048 HAS SOPS 41048 HAS SOUS 36588 HAS SOUPS 36588 WITH SCORE 36629.048
AT ITER 483 NEW BEST:: SOT 72373 SOS 41021 HAS SOPS 41021 HAS SOUS 36561 HAS SOUPS 36561 WITH SCORE 36602.021
AT ITER 492 NEW BEST:: SOT 72252 SOS 40900 HAS SOPS 40900 HAS SOUS 36465 HAS SOUPS 36465 WITH SCORE 36505.9
AT ITER 506 NEW BEST:: SOT 72252 SOS 40881 HAS SOPS 40881 HAS SOUS 36462 HAS SOUPS 36462 WITH SCORE 36502.881
AT ITER 508 NEW BEST:: SOT 72267 SOS 40896 HAS SOPS 40896 HAS SOUS 36400 HAS SOUPS 36400 WITH SCORE 36440.896
AT ITER 518 NEW BEST:: SOT 72217 SOS 40781 HAS SOPS 40781 HAS SOUS 36287 HAS SOUPS 36287 WITH SCORE 36327.781
AT ITER 528 NEW BEST:: SOT 72230 SOS 40875 HAS SOPS 40875 HAS SOUS 36284 HAS SOUPS 36284 WITH SCORE 36324.875
AT ITER 532 NEW BEST:: SOT 72203 SOS 40839 HAS SOPS 40839 HAS SOUS 36276 HAS SOUPS 36276 WITH SCORE 36316.839
AT ITER 536 NEW BEST:: SOT 72169 SOS 40788 HAS SOPS 40788 HAS SOUS 36225 HAS SOUPS 36225 WITH SCORE 36265.788
AT ITER 541 NEW BEST:: SOT 72182 SOS 40801 HAS SOPS 40801 HAS SOUS 36222 HAS SOUPS 36222 WITH SCORE 36262.801
AT ITER 559 NEW BEST:: SOT 72177 SOS 40781 HAS SOPS 40781 HAS SOUS 36207 HAS SOUPS 36207 WITH SCORE 36247.781
AT ITER 563 NEW BEST:: SOT 71967 SOS 40464 HAS SOPS 40464 HAS SOUS 36036 HAS SOUPS 36036 WITH SCORE 36076.464
AT ITER 565 NEW BEST:: SOT 71980 SOS 40454 HAS SOPS 40454 HAS SOUS 36032 HAS SOUPS 36032 WITH SCORE 36072.454
AT ITER 572 NEW BEST:: SOT 71961 SOS 40377 HAS SOPS 40377 HAS SOUS 35957 HAS SOUPS 35957 WITH SCORE 35997.377
AT ITER 577 NEW BEST:: SOT 71918 SOS 40434 HAS SOPS 40434 HAS SOUS 35943 HAS SOUPS 35943 WITH SCORE 35983.434
AT ITER 578 NEW BEST:: SOT 71891 SOS 40326 HAS SOPS 40326 HAS SOUS 35926 HAS SOUPS 35926 WITH SCORE 35966.326
AT ITER 583 NEW BEST:: SOT 71747 SOS 40044 HAS SOPS 40044 HAS SOUS 35622 HAS SOUPS 35622 WITH SCORE 35662.044
AT ITER 584 NEW BEST:: SOT 71716 SOS 40024 HAS SOPS 40024 HAS SOUS 35613 HAS SOUPS 35613 WITH SCORE 35653.024
AT ITER 588 NEW BEST:: SOT 71698 SOS 39988 HAS SOPS 39988 HAS SOUS 35559 HAS SOUPS 35559 WITH SCORE 35598.988
AT ITER 591 NEW BEST:: SOT 71695 SOS 39976 HAS SOPS 39976 HAS SOUS 35550 HAS SOUPS 35550 WITH SCORE 35589.976
AT ITER 595 NEW BEST:: SOT 71674 SOS 39948 HAS SOPS 39948 HAS SOUS 35522 HAS SOUPS 35522 WITH SCORE 35561.948
AT ITER 596 NEW BEST:: SOT 71674 SOS 39855 HAS SOPS 39855 HAS SOUS 35487 HAS SOUPS 35487 WITH SCORE 35526.855
AT ITER 597 NEW BEST:: SOT 71638 SOS 39804 HAS SOPS 39804 HAS SOUS 35436 HAS SOUPS 35436 WITH SCORE 35475.804
AT ITER 601 NEW BEST:: SOT 71526 SOS 39626 HAS SOPS 39626 HAS SOUS 35257 HAS SOUPS 35257 WITH SCORE 35296.626
AT ITER 604 NEW BEST:: SOT 71510 SOS 39594 HAS SOPS 39594 HAS SOUS 35225 HAS SOUPS 35225 WITH SCORE 35264.594
AT ITER 607 NEW BEST:: SOT 71436 SOS 39538 HAS SOPS 39538 HAS SOUS 35109 HAS SOUPS 35109 WITH SCORE 35148.538
AT ITER 620 NEW BEST:: SOT 71417 SOS 39480 HAS SOPS 39480 HAS SOUS 35010 HAS SOUPS 35010 WITH SCORE 35049.48
AT ITER 621 NEW BEST:: SOT 71390 SOS 39435 HAS SOPS 39435 HAS SOUS 34983 HAS SOUPS 34983 WITH SCORE 35022.435
AT ITER 622 NEW BEST:: SOT 71311 SOS 39269 HAS SOPS 39269 HAS SOUS 34725 HAS SOUPS 34725 WITH SCORE 34764.269
AT ITER 623 NEW BEST:: SOT 71255 SOS 39207 HAS SOPS 39207 HAS SOUS 34666 HAS SOUPS 34666 WITH SCORE 34705.207
AT ITER 628 NEW BEST:: SOT 71218 SOS 39113 HAS SOPS 39113 HAS SOUS 34517 HAS SOUPS 34517 WITH SCORE 34556.113
AT ITER 629 NEW BEST:: SOT 71198 SOS 39073 HAS SOPS 39073 HAS SOUS 34473 HAS SOUPS 34473 WITH SCORE 34512.073
AT ITER 631 NEW BEST:: SOT 71159 SOS 39021 HAS SOPS 39021 HAS SOUS 34421 HAS SOUPS 34421 WITH SCORE 34460.021
AT ITER 634 NEW BEST:: SOT 71159 SOS 38963 HAS SOPS 38963 HAS SOUS 34361 HAS SOUPS 34361 WITH SCORE 34399.963
AT ITER 636 NEW BEST:: SOT 71159 SOS 38894 HAS SOPS 38894 HAS SOUS 34295 HAS SOUPS 34295 WITH SCORE 34333.894
AT ITER 638 NEW BEST:: SOT 71104 SOS 38897 HAS SOPS 38897 HAS SOUS 34292 HAS SOUPS 34292 WITH SCORE 34330.897
AT ITER 646 NEW BEST:: SOT 71088 SOS 38873 HAS SOPS 38873 HAS SOUS 34266 HAS SOUPS 34266 WITH SCORE 34304.873
AT ITER 649 NEW BEST:: SOT 71057 SOS 38725 HAS SOPS 38725 HAS SOUS 34223 HAS SOUPS 34223 WITH SCORE 34261.725
AT ITER 650 NEW BEST:: SOT 71057 SOS 38725 HAS SOPS 38725 HAS SOUS 34201 HAS SOUPS 34201 WITH SCORE 34239.725
AT ITER 653 NEW BEST:: SOT 71057 SOS 38725 HAS SOPS 38725 HAS SOUS 34192 HAS SOUPS 34192 WITH SCORE 34230.725
AT ITER 654 NEW BEST:: SOT 71057 SOS 38722 HAS SOPS 38722 HAS SOUS 34192 HAS SOUPS 34192 WITH SCORE 34230.722
AT ITER 655 NEW BEST:: SOT 71019 SOS 38663 HAS SOPS 38663 HAS SOUS 34174 HAS SOUPS 34174 WITH SCORE 34212.663
AT ITER 659 NEW BEST:: SOT 71019 SOS 38663 HAS SOPS 38663 HAS SOUS 34173 HAS SOUPS 34173 WITH SCORE 34211.663
AT ITER 663 NEW BEST:: SOT 71031 SOS 38587 HAS SOPS 38587 HAS SOUS 34085 HAS SOUPS 34085 WITH SCORE 34123.587
AT ITER 666 NEW BEST:: SOT 71035 SOS 38573 HAS SOPS 38573 HAS SOUS 34071 HAS SOUPS 34071 WITH SCORE 34109.573
AT ITER 667 NEW BEST:: SOT 71041 SOS 38503 HAS SOPS 38503 HAS SOUS 34050 HAS SOUPS 34050 WITH SCORE 34088.503
AT ITER 668 NEW BEST:: SOT 70919 SOS 38303 HAS SOPS 38303 HAS SOUS 33816 HAS SOUPS 33816 WITH SCORE 33854.303
AT ITER 670 NEW BEST:: SOT 70919 SOS 38303 HAS SOPS 38303 HAS SOUS 33793 HAS SOUPS 33793 WITH SCORE 33831.303
AT ITER 672 NEW BEST:: SOT 70832 SOS 38144 HAS SOPS 38144 HAS SOUS 33641 HAS SOUPS 33641 WITH SCORE 33679.144
AT ITER 683 NEW BEST:: SOT 70764 SOS 37804 HAS SOPS 37804 HAS SOUS 33505 HAS SOUPS 33505 WITH SCORE 33542.804
AT ITER 694 NEW BEST:: SOT 70498 SOS 37392 HAS SOPS 37392 HAS SOUS 33071 HAS SOUPS 33071 WITH SCORE 33108.392
AT ITER 697 NEW BEST:: SOT 70412 SOS 37217 HAS SOPS 37217 HAS SOUS 32985 HAS SOUPS 32985 WITH SCORE 33022.217
AT ITER 698 NEW BEST:: SOT 70412 SOS 37188 HAS SOPS 37188 HAS SOUS 32945 HAS SOUPS 32945 WITH SCORE 32982.188
AT ITER 702 NEW BEST:: SOT 70191 SOS 36910 HAS SOPS 36910 HAS SOUS 32669 HAS SOUPS 32669 WITH SCORE 32705.91
AT ITER 705 NEW BEST:: SOT 70185 SOS 36904 HAS SOPS 36904 HAS SOUS 32648 HAS SOUPS 32648 WITH SCORE 32684.904
AT ITER 708 NEW BEST:: SOT 70154 SOS 36912 HAS SOPS 36912 HAS SOUS 32617 HAS SOUPS 32617 WITH SCORE 32653.912
AT ITER 715 NEW BEST:: SOT 70116 SOS 36879 HAS SOPS 36879 HAS SOUS 32570 HAS SOUPS 32570 WITH SCORE 32606.879
AT ITER 718 NEW BEST:: SOT 69813 SOS 36420 HAS SOPS 36420 HAS SOUS 32262 HAS SOUPS 32262 WITH SCORE 32298.42
AT ITER 719 NEW BEST:: SOT 69759 SOS 36347 HAS SOPS 36347 HAS SOUS 32189 HAS SOUPS 32189 WITH SCORE 32225.347
AT ITER 725 NEW BEST:: SOT 69657 SOS 36138 HAS SOPS 36138 HAS SOUS 31984 HAS SOUPS 31984 WITH SCORE 32020.138
AT ITER 734 NEW BEST:: SOT 69583 SOS 36079 HAS SOPS 36079 HAS SOUS 31920 HAS SOUPS 31920 WITH SCORE 31956.079
AT ITER 745 NEW BEST:: SOT 69507 SOS 36009 HAS SOPS 36009 HAS SOUS 31876 HAS SOUPS 31876 WITH SCORE 31912.009
AT ITER 746 NEW BEST:: SOT 69487 SOS 35979 HAS SOPS 35979 HAS SOUS 31836 HAS SOUPS 31836 WITH SCORE 31871.979
AT ITER 748 NEW BEST:: SOT 69491 SOS 35985 HAS SOPS 35985 HAS SOUS 31824 HAS SOUPS 31824 WITH SCORE 31859.985
AT ITER 753 NEW BEST:: SOT 69420 SOS 35782 HAS SOPS 35782 HAS SOUS 31687 HAS SOUPS 31687 WITH SCORE 31722.782
AT ITER 755 NEW BEST:: SOT 69412 SOS 35774 HAS SOPS 35774 HAS SOUS 31679 HAS SOUPS 31679 WITH SCORE 31714.774
AT ITER 757 NEW BEST:: SOT 69349 SOS 35684 HAS SOPS 35684 HAS SOUS 31613 HAS SOUPS 31613 WITH SCORE 31648.684
AT ITER 759 NEW BEST:: SOT 69352 SOS 35689 HAS SOPS 35689 HAS SOUS 31595 HAS SOUPS 31595 WITH SCORE 31630.689
AT ITER 760 NEW BEST:: SOT 69276 SOS 35525 HAS SOPS 35525 HAS SOUS 31402 HAS SOUPS 31402 WITH SCORE 31437.525
AT ITER 763 NEW BEST:: SOT 69276 SOS 35509 HAS SOPS 35509 HAS SOUS 31386 HAS SOUPS 31386 WITH SCORE 31421.509
AT ITER 764 NEW BEST:: SOT 69263 SOS 35483 HAS SOPS 35483 HAS SOUS 31367 HAS SOUPS 31367 WITH SCORE 31402.483
AT ITER 770 NEW BEST:: SOT 69232 SOS 35386 HAS SOPS 35386 HAS SOUS 31258 HAS SOUPS 31258 WITH SCORE 31293.386
AT ITER 771 NEW BEST:: SOT 69173 SOS 35244 HAS SOPS 35244 HAS SOUS 31054 HAS SOUPS 31054 WITH SCORE 31089.244
AT ITER 778 NEW BEST:: SOT 69166 SOS 35230 HAS SOPS 35230 HAS SOUS 31047 HAS SOUPS 31047 WITH SCORE 31082.23
AT ITER 783 NEW BEST:: SOT 69167 SOS 35234 HAS SOPS 35234 HAS SOUS 31046 HAS SOUPS 31046 WITH SCORE 31081.234
AT ITER 795 NEW BEST:: SOT 69041 SOS 35141 HAS SOPS 35141 HAS SOUS 31012 HAS SOUPS 31012 WITH SCORE 31047.141
AT ITER 799 NEW BEST:: SOT 69013 SOS 35073 HAS SOPS 35073 HAS SOUS 30940 HAS SOUPS 30940 WITH SCORE 30975.073
AT ITER 803 NEW BEST:: SOT 69004 SOS 35037 HAS SOPS 35037 HAS SOUS 30913 HAS SOUPS 30913 WITH SCORE 30948.037
AT ITER 806 NEW BEST:: SOT 68937 SOS 34941 HAS SOPS 34941 HAS SOUS 30817 HAS SOUPS 30817 WITH SCORE 30851.941
AT ITER 810 NEW BEST:: SOT 68845 SOS 34790 HAS SOPS 34790 HAS SOUS 30646 HAS SOUPS 30646 WITH SCORE 30680.79
AT ITER 814 NEW BEST:: SOT 68763 SOS 34704 HAS SOPS 34704 HAS SOUS 30540 HAS SOUPS 30540 WITH SCORE 30574.704
AT ITER 825 NEW BEST:: SOT 68532 SOS 34204 HAS SOPS 34204 HAS SOUS 30127 HAS SOUPS 30127 WITH SCORE 30161.204
AT ITER 826 NEW BEST:: SOT 68454 SOS 34026 HAS SOPS 34026 HAS SOUS 30067 HAS SOUPS 30067 WITH SCORE 30101.026
AT ITER 828 NEW BEST:: SOT 68327 SOS 33899 HAS SOPS 33899 HAS SOUS 30009 HAS SOUPS 30009 WITH SCORE 30042.899
AT ITER 831 NEW BEST:: SOT 68308 SOS 33841 HAS SOPS 33841 HAS SOUS 29982 HAS SOUPS 29982 WITH SCORE 30015.841
AT ITER 835 NEW BEST:: SOT 68304 SOS 33837 HAS SOPS 33837 HAS SOUS 29960 HAS SOUPS 29960 WITH SCORE 29993.837
AT ITER 836 NEW BEST:: SOT 68303 SOS 33836 HAS SOPS 33836 HAS SOUS 29950 HAS SOUPS 29950 WITH SCORE 29983.836
AT ITER 851 NEW BEST:: SOT 68289 SOS 33808 HAS SOPS 33808 HAS SOUS 29922 HAS SOUPS 29922 WITH SCORE 29955.808
AT ITER 857 NEW BEST:: SOT 68218 SOS 33527 HAS SOPS 33527 HAS SOUS 29605 HAS SOUPS 29605 WITH SCORE 29638.527
AT ITER 859 NEW BEST:: SOT 68113 SOS 33248 HAS SOPS 33248 HAS SOUS 29375 HAS SOUPS 29375 WITH SCORE 29408.248
AT ITER 861 NEW BEST:: SOT 68125 SOS 33025 HAS SOPS 33025 HAS SOUS 29284 HAS SOUPS 29284 WITH SCORE 29317.025
AT ITER 882 NEW BEST:: SOT 68122 SOS 33020 HAS SOPS 33020 HAS SOUS 29279 HAS SOUPS 29279 WITH SCORE 29312.02
AT ITER 885 NEW BEST:: SOT 68027 SOS 32925 HAS SOPS 32925 HAS SOUS 29257 HAS SOUPS 29257 WITH SCORE 29289.925
AT ITER 892 NEW BEST:: SOT 67952 SOS 32850 HAS SOPS 32850 HAS SOUS 29164 HAS SOUPS 29164 WITH SCORE 29196.85
AT ITER 894 NEW BEST:: SOT 67869 SOS 32683 HAS SOPS 32683 HAS SOUS 29066 HAS SOUPS 29066 WITH SCORE 29098.683
AT ITER 895 NEW BEST:: SOT 67712 SOS 32375 HAS SOPS 32375 HAS SOUS 28849 HAS SOUPS 28849 WITH SCORE 28881.375
AT ITER 898 NEW BEST:: SOT 67707 SOS 32355 HAS SOPS 32355 HAS SOUS 28834 HAS SOUPS 28834 WITH SCORE 28866.355
AT ITER 903 NEW BEST:: SOT 67601 SOS 32196 HAS SOPS 32196 HAS SOUS 28675 HAS SOUPS 28675 WITH SCORE 28707.196
AT ITER 909 NEW BEST:: SOT 67565 SOS 32061 HAS SOPS 32061 HAS SOUS 28565 HAS SOUPS 28565 WITH SCORE 28597.061
AT ITER 918 NEW BEST:: SOT 67565 SOS 32061 HAS SOPS 32061 HAS SOUS 28555 HAS SOUPS 28555 WITH SCORE 28587.061
AT ITER 920 NEW BEST:: SOT 67508 SOS 31985 HAS SOPS 31985 HAS SOUS 28479 HAS SOUPS 28479 WITH SCORE 28510.985
AT ITER 924 NEW BEST:: SOT 67473 SOS 31883 HAS SOPS 31883 HAS SOUS 28445 HAS SOUPS 28445 WITH SCORE 28476.883
AT ITER 929 NEW BEST:: SOT 67473 SOS 31938 HAS SOPS 31938 HAS SOUS 28441 HAS SOUPS 28441 WITH SCORE 28472.938
AT ITER 954 NEW BEST:: SOT 67451 SOS 31821 HAS SOPS 31821 HAS SOUS 28394 HAS SOUPS 28394 WITH SCORE 28425.821
AT ITER 955 NEW BEST:: SOT 67336 SOS 31706 HAS SOPS 31706 HAS SOUS 28279 HAS SOUPS 28279 WITH SCORE 28310.706
AT ITER 958 NEW BEST:: SOT 67278 SOS 31648 HAS SOPS 31648 HAS SOUS 28221 HAS SOUPS 28221 WITH SCORE 28252.648
AT ITER 959 NEW BEST:: SOT 67203 SOS 31592 HAS SOPS 31592 HAS SOUS 28165 HAS SOUPS 28165 WITH SCORE 28196.592
AT ITER 964 NEW BEST:: SOT 67195 SOS 31556 HAS SOPS 31556 HAS SOUS 28081 HAS SOUPS 28081 WITH SCORE 28112.556
AT ITER 965 NEW BEST:: SOT 67181 SOS 31542 HAS SOPS 31542 HAS SOUS 28067 HAS SOUPS 28067 WITH SCORE 28098.542
AT ITER 973 NEW BEST:: SOT 67169 SOS 31524 HAS SOPS 31524 HAS SOUS 28026 HAS SOUPS 28026 WITH SCORE 28057.524
AT ITER 974 NEW BEST:: SOT 67153 SOS 31476 HAS SOPS 31476 HAS SOUS 27994 HAS SOUPS 27994 WITH SCORE 28025.476
AT ITER 984 NEW BEST:: SOT 67153 SOS 31474 HAS SOPS 31474 HAS SOUS 27994 HAS SOUPS 27994 WITH SCORE 28025.474
AT ITER 985 NEW BEST:: SOT 67039 SOS 31281 HAS SOPS 31281 HAS SOUS 27801 HAS SOUPS 27801 WITH SCORE 27832.281
AT ITER 989 NEW BEST:: SOT 67032 SOS 31274 HAS SOPS 31274 HAS SOUS 27794 HAS SOUPS 27794 WITH SCORE 27825.274
AT ITER 997 NEW BEST:: SOT 67018 SOS 31232 HAS SOPS 31232 HAS SOUS 27766 HAS SOUPS 27766 WITH SCORE 27797.232
AT ITER 1002 NEW BEST:: SOT 66995 SOS 31089 HAS SOPS 31089 HAS SOUS 27652 HAS SOUPS 27652 WITH SCORE 27683.089
AT ITER 1003 NEW BEST:: SOT 66963 SOS 31035 HAS SOPS 31035 HAS SOUS 27598 HAS SOUPS 27598 WITH SCORE 27629.035
AT ITER 1010 NEW BEST:: SOT 66882 SOS 30651 HAS SOPS 30651 HAS SOUS 27437 HAS SOUPS 27437 WITH SCORE 27467.651
AT ITER 1028 NEW BEST:: SOT 66836 SOS 30582 HAS SOPS 30582 HAS SOUS 27368 HAS SOUPS 27368 WITH SCORE 27398.582
AT ITER 1042 NEW BEST:: SOT 66594 SOS 30317 HAS SOPS 30317 HAS SOUS 27256 HAS SOUPS 27256 WITH SCORE 27286.317
AT ITER 1044 NEW BEST:: SOT 66594 SOS 30337 HAS SOPS 30337 HAS SOUS 27252 HAS SOUPS 27252 WITH SCORE 27282.337
AT ITER 1047 NEW BEST:: SOT 66589 SOS 30332 HAS SOPS 30332 HAS SOUS 27247 HAS SOUPS 27247 WITH SCORE 27277.332
AT ITER 1050 NEW BEST:: SOT 66539 SOS 30215 HAS SOPS 30215 HAS SOUS 27242 HAS SOUPS 27242 WITH SCORE 27272.215
AT ITER 1053 NEW BEST:: SOT 66487 SOS 30073 HAS SOPS 30073 HAS SOUS 27159 HAS SOUPS 27159 WITH SCORE 27189.073
AT ITER 1056 NEW BEST:: SOT 66415 SOS 29785 HAS SOPS 29785 HAS SOUS 26862 HAS SOUPS 26862 WITH SCORE 26891.785
AT ITER 1057 NEW BEST:: SOT 66416 SOS 29788 HAS SOPS 29788 HAS SOUS 26854 HAS SOUPS 26854 WITH SCORE 26883.788
AT ITER 1064 NEW BEST:: SOT 66394 SOS 29744 HAS SOPS 29744 HAS SOUS 26832 HAS SOUPS 26832 WITH SCORE 26861.744
AT ITER 1070 NEW BEST:: SOT 66443 SOS 29839 HAS SOPS 29839 HAS SOUS 26823 HAS SOUPS 26823 WITH SCORE 26852.839
AT ITER 1086 NEW BEST:: SOT 66401 SOS 29783 HAS SOPS 29783 HAS SOUS 26767 HAS SOUPS 26767 WITH SCORE 26796.783
AT ITER 1100 NEW BEST:: SOT 66287 SOS 29393 HAS SOPS 29393 HAS SOUS 26555 HAS SOUPS 26555 WITH SCORE 26584.393
AT ITER 1123 NEW BEST:: SOT 66257 SOS 29255 HAS SOPS 29255 HAS SOUS 26392 HAS SOUPS 26392 WITH SCORE 26421.255
AT ITER 1127 NEW BEST:: SOT 66143 SOS 28958 HAS SOPS 28958 HAS SOUS 26198 HAS SOUPS 26198 WITH SCORE 26226.958
AT ITER 1132 NEW BEST:: SOT 66120 SOS 28918 HAS SOPS 28918 HAS SOUS 26158 HAS SOUPS 26158 WITH SCORE 26186.918
AT ITER 1142 NEW BEST:: SOT 65982 SOS 28713 HAS SOPS 28713 HAS SOUS 25966 HAS SOUPS 25966 WITH SCORE 25994.713
AT ITER 1145 NEW BEST:: SOT 65950 SOS 28681 HAS SOPS 28681 HAS SOUS 25920 HAS SOUPS 25920 WITH SCORE 25948.681
AT ITER 1158 NEW BEST:: SOT 65950 SOS 28680 HAS SOPS 28680 HAS SOUS 25918 HAS SOUPS 25918 WITH SCORE 25946.68
AT ITER 1177 NEW BEST:: SOT 65892 SOS 28592 HAS SOPS 28592 HAS SOUS 25830 HAS SOUPS 25830 WITH SCORE 25858.592
AT ITER 1184 NEW BEST:: SOT 65801 SOS 28455 HAS SOPS 28455 HAS SOUS 25657 HAS SOUPS 25657 WITH SCORE 25685.455
AT ITER 1190 NEW BEST:: SOT 65711 SOS 28171 HAS SOPS 28171 HAS SOUS 25373 HAS SOUPS 25373 WITH SCORE 25401.171
AT ITER 1196 NEW BEST:: SOT 65707 SOS 28159 HAS SOPS 28159 HAS SOUS 25357 HAS SOUPS 25357 WITH SCORE 25385.159
AT ITER 1203 NEW BEST:: SOT 65668 SOS 28094 HAS SOPS 28094 HAS SOUS 25292 HAS SOUPS 25292 WITH SCORE 25320.094
AT ITER 1207 NEW BEST:: SOT 65658 SOS 28084 HAS SOPS 28084 HAS SOUS 25287 HAS SOUPS 25287 WITH SCORE 25315.084
AT ITER 1212 NEW BEST:: SOT 65610 SOS 27962 HAS SOPS 27962 HAS SOUS 25201 HAS SOUPS 25201 WITH SCORE 25228.962
AT ITER 1215 NEW BEST:: SOT 65574 SOS 27896 HAS SOPS 27896 HAS SOUS 25113 HAS SOUPS 25113 WITH SCORE 25140.896
AT ITER 1217 NEW BEST:: SOT 65562 SOS 27878 HAS SOPS 27878 HAS SOUS 25101 HAS SOUPS 25101 WITH SCORE 25128.878
AT ITER 1236 NEW BEST:: SOT 65534 SOS 27819 HAS SOPS 27819 HAS SOUS 25045 HAS SOUPS 25045 WITH SCORE 25072.819
AT ITER 1238 NEW BEST:: SOT 65551 SOS 27962 HAS SOPS 27962 HAS SOUS 25038 HAS SOUPS 25038 WITH SCORE 25065.962
AT ITER 1245 NEW BEST:: SOT 65468 SOS 27852 HAS SOPS 27852 HAS SOUS 24937 HAS SOUPS 24937 WITH SCORE 24964.852
AT ITER 1247 NEW BEST:: SOT 65447 SOS 27844 HAS SOPS 27844 HAS SOUS 24881 HAS SOUPS 24881 WITH SCORE 24908.844
AT ITER 1250 NEW BEST:: SOT 65433 SOS 27836 HAS SOPS 27836 HAS SOUS 24873 HAS SOUPS 24873 WITH SCORE 24900.836
AT ITER 1287 NEW BEST:: SOT 65453 SOS 27875 HAS SOPS 27875 HAS SOUS 24839 HAS SOUPS 24839 WITH SCORE 24866.875
AT ITER 1301 NEW BEST:: SOT 65421 SOS 27835 HAS SOPS 27835 HAS SOUS 24799 HAS SOUPS 24799 WITH SCORE 24826.835
AT ITER 1315 NEW BEST:: SOT 65397 SOS 27811 HAS SOPS 27811 HAS SOUS 24763 HAS SOUPS 24763 WITH SCORE 24790.811
AT ITER 1318 NEW BEST:: SOT 65397 SOS 27809 HAS SOPS 27809 HAS SOUS 24763 HAS SOUPS 24763 WITH SCORE 24790.809
AT ITER 1332 NEW BEST:: SOT 65380 SOS 27791 HAS SOPS 27791 HAS SOUS 24720 HAS SOUPS 24720 WITH SCORE 24747.791
AT ITER 1339 NEW BEST:: SOT 65369 SOS 27769 HAS SOPS 27769 HAS SOUS 24718 HAS SOUPS 24718 WITH SCORE 24745.769
AT ITER 1342 NEW BEST:: SOT 65360 SOS 27733 HAS SOPS 27733 HAS SOUS 24700 HAS SOUPS 24700 WITH SCORE 24727.733
AT ITER 1352 NEW BEST:: SOT 65320 SOS 27675 HAS SOPS 27675 HAS SOUS 24649 HAS SOUPS 24649 WITH SCORE 24676.675
AT ITER 1354 NEW BEST:: SOT 65311 SOS 27663 HAS SOPS 27663 HAS SOUS 24637 HAS SOUPS 24637 WITH SCORE 24664.663
AT ITER 1361 NEW BEST:: SOT 65313 SOS 27604 HAS SOPS 27604 HAS SOUS 24616 HAS SOUPS 24616 WITH SCORE 24643.604
AT ITER 1368 NEW BEST:: SOT 65246 SOS 27513 HAS SOPS 27513 HAS SOUS 24584 HAS SOUPS 24584 WITH SCORE 24611.513
AT ITER 1380 NEW BEST:: SOT 65246 SOS 27453 HAS SOPS 27453 HAS SOUS 24584 HAS SOUPS 24584 WITH SCORE 24611.453
AT ITER 1397 NEW BEST:: SOT 65242 SOS 27441 HAS SOPS 27441 HAS SOUS 24576 HAS SOUPS 24576 WITH SCORE 24603.441
AT ITER 1405 NEW BEST:: SOT 65202 SOS 27381 HAS SOPS 27381 HAS SOUS 24520 HAS SOUPS 24520 WITH SCORE 24547.381
AT ITER 1417 NEW BEST:: SOT 65106 SOS 27276 HAS SOPS 27276 HAS SOUS 24338 HAS SOUPS 24338 WITH SCORE 24365.276
AT ITER 1418 NEW BEST:: SOT 65106 SOS 27276 HAS SOPS 27276 HAS SOUS 24336 HAS SOUPS 24336 WITH SCORE 24363.276
AT ITER 1423 NEW BEST:: SOT 65090 SOS 27252 HAS SOPS 27252 HAS SOUS 24313 HAS SOUPS 24313 WITH SCORE 24340.252
AT ITER 1426 NEW BEST:: SOT 65090 SOS 27036 HAS SOPS 27036 HAS SOUS 24186 HAS SOUPS 24186 WITH SCORE 24213.036
AT ITER 1429 NEW BEST:: SOT 65088 SOS 27028 HAS SOPS 27028 HAS SOUS 24180 HAS SOUPS 24180 WITH SCORE 24207.028
AT ITER 1439 NEW BEST:: SOT 64953 SOS 26849 HAS SOPS 26849 HAS SOUS 24001 HAS SOUPS 24001 WITH SCORE 24027.849
AT ITER 1444 NEW BEST:: SOT 64951 SOS 26846 HAS SOPS 26846 HAS SOUS 23999 HAS SOUPS 23999 WITH SCORE 24025.846
AT ITER 1454 NEW BEST:: SOT 64951 SOS 26819 HAS SOPS 26819 HAS SOUS 23999 HAS SOUPS 23999 WITH SCORE 24025.819
AT ITER 1470 NEW BEST:: SOT 64778 SOS 26588 HAS SOPS 26588 HAS SOUS 23824 HAS SOUPS 23824 WITH SCORE 23850.588
AT ITER 1484 NEW BEST:: SOT 64753 SOS 26539 HAS SOPS 26539 HAS SOUS 23774 HAS SOUPS 23774 WITH SCORE 23800.539
AT ITER 1487 NEW BEST:: SOT 64732 SOS 26509 HAS SOPS 26509 HAS SOUS 23686 HAS SOUPS 23686 WITH SCORE 23712.509
AT ITER 1491 NEW BEST:: SOT 64705 SOS 26474 HAS SOPS 26474 HAS SOUS 23647 HAS SOUPS 23647 WITH SCORE 23673.474
AT ITER 1497 NEW BEST:: SOT 64656 SOS 26413 HAS SOPS 26413 HAS SOUS 23586 HAS SOUPS 23586 WITH SCORE 23612.413
AT ITER 1502 NEW BEST:: SOT 64632 SOS 26333 HAS SOPS 26333 HAS SOUS 23534 HAS SOUPS 23534 WITH SCORE 23560.333
AT ITER 1504 NEW BEST:: SOT 64634 SOS 26329 HAS SOPS 26329 HAS SOUS 23530 HAS SOUPS 23530 WITH SCORE 23556.329
AT ITER 1506 NEW BEST:: SOT 64610 SOS 26293 HAS SOPS 26293 HAS SOUS 23506 HAS SOUPS 23506 WITH SCORE 23532.293
AT ITER 1523 NEW BEST:: SOT 64606 SOS 26285 HAS SOPS 26285 HAS SOUS 23500 HAS SOUPS 23500 WITH SCORE 23526.285
AT ITER 1530 NEW BEST:: SOT 64531 SOS 26185 HAS SOPS 26185 HAS SOUS 23400 HAS SOUPS 23400 WITH SCORE 23426.185
AT ITER 1561 NEW BEST:: SOT 64515 SOS 26148 HAS SOPS 26148 HAS SOUS 23384 HAS SOUPS 23384 WITH SCORE 23410.148
AT ITER 1568 NEW BEST:: SOT 64477 SOS 26090 HAS SOPS 26090 HAS SOUS 23323 HAS SOUPS 23323 WITH SCORE 23349.09
AT ITER 1569 NEW BEST:: SOT 64477 SOS 26090 HAS SOPS 26090 HAS SOUS 23317 HAS SOUPS 23317 WITH SCORE 23343.09
AT ITER 1574 NEW BEST:: SOT 64456 SOS 26024 HAS SOPS 26024 HAS SOUS 23231 HAS SOUPS 23231 WITH SCORE 23257.024
AT ITER 1585 NEW BEST:: SOT 64457 SOS 26016 HAS SOPS 26016 HAS SOUS 23228 HAS SOUPS 23228 WITH SCORE 23254.016
AT ITER 1607 NEW BEST:: SOT 64450 SOS 25994 HAS SOPS 25994 HAS SOUS 23205 HAS SOUPS 23205 WITH SCORE 23230.994
AT ITER 1609 NEW BEST:: SOT 64433 SOS 25943 HAS SOPS 25943 HAS SOUS 23171 HAS SOUPS 23171 WITH SCORE 23196.943
AT ITER 1616 NEW BEST:: SOT 64389 SOS 25889 HAS SOPS 25889 HAS SOUS 23099 HAS SOUPS 23099 WITH SCORE 23124.889
AT ITER 1632 NEW BEST:: SOT 64364 SOS 25829 HAS SOPS 25829 HAS SOUS 23057 HAS SOUPS 23057 WITH SCORE 23082.829
AT ITER 1683 NEW BEST:: SOT 64358 SOS 25817 HAS SOPS 25817 HAS SOUS 23045 HAS SOUPS 23045 WITH SCORE 23070.817
AT ITER 1684 NEW BEST:: SOT 64351 SOS 25810 HAS SOPS 25810 HAS SOUS 23045 HAS SOUPS 23045 WITH SCORE 23070.81
AT ITER 1687 NEW BEST:: SOT 64288 SOS 25726 HAS SOPS 25726 HAS SOUS 22961 HAS SOUPS 22961 WITH SCORE 22986.726
AT ITER 1692 NEW BEST:: SOT 64288 SOS 25725 HAS SOPS 25725 HAS SOUS 22960 HAS SOUPS 22960 WITH SCORE 22985.725
AT ITER 1728 NEW BEST:: SOT 64295 SOS 25703 HAS SOPS 25703 HAS SOUS 22953 HAS SOUPS 22953 WITH SCORE 22978.703
AT ITER 1729 NEW BEST:: SOT 64273 SOS 25657 HAS SOPS 25657 HAS SOUS 22927 HAS SOUPS 22927 WITH SCORE 22952.657
AT ITER 1739 NEW BEST:: SOT 64232 SOS 25577 HAS SOPS 25577 HAS SOUS 22842 HAS SOUPS 22842 WITH SCORE 22867.577
AT ITER 1740 NEW BEST:: SOT 64239 SOS 25584 HAS SOPS 25584 HAS SOUS 22838 HAS SOUPS 22838 WITH SCORE 22863.584
AT ITER 1743 NEW BEST:: SOT 64239 SOS 25519 HAS SOPS 25519 HAS SOUS 22788 HAS SOUPS 22788 WITH SCORE 22813.519
AT ITER 1746 NEW BEST:: SOT 64233 SOS 25512 HAS SOPS 25512 HAS SOUS 22781 HAS SOUPS 22781 WITH SCORE 22806.512
AT ITER 1754 NEW BEST:: SOT 64214 SOS 25487 HAS SOPS 25487 HAS SOUS 22745 HAS SOUPS 22745 WITH SCORE 22770.487
AT ITER 1763 NEW BEST:: SOT 64210 SOS 25455 HAS SOPS 25455 HAS SOUS 22737 HAS SOUPS 22737 WITH SCORE 22762.455
AT ITER 1795 NEW BEST:: SOT 64168 SOS 25395 HAS SOPS 25395 HAS SOUS 22667 HAS SOUPS 22667 WITH SCORE 22692.395
AT ITER 1797 NEW BEST:: SOT 64168 SOS 25395 HAS SOPS 25395 HAS SOUS 22657 HAS SOUPS 22657 WITH SCORE 22682.395
AT ITER 1800 NEW BEST:: SOT 64123 SOS 25330 HAS SOPS 25330 HAS SOUS 22561 HAS SOUPS 22561 WITH SCORE 22586.33
AT ITER 1804 NEW BEST:: SOT 64133 SOS 25276 HAS SOPS 25276 HAS SOUS 22522 HAS SOUPS 22522 WITH SCORE 22547.276
AT ITER 1814 NEW BEST:: SOT 64112 SOS 25214 HAS SOPS 25214 HAS SOUS 22474 HAS SOUPS 22474 WITH SCORE 22499.214
AT ITER 1817 NEW BEST:: SOT 64111 SOS 25209 HAS SOPS 25209 HAS SOUS 22469 HAS SOUPS 22469 WITH SCORE 22494.209
AT ITER 1823 NEW BEST:: SOT 64135 SOS 25181 HAS SOPS 25181 HAS SOUS 22453 HAS SOUPS 22453 WITH SCORE 22478.181
AT ITER 1839 NEW BEST:: SOT 64135 SOS 25183 HAS SOPS 25183 HAS SOUS 22451 HAS SOUPS 22451 WITH SCORE 22476.183
AT ITER 1861 NEW BEST:: SOT 64068 SOS 25009 HAS SOPS 25009 HAS SOUS 22321 HAS SOUPS 22321 WITH SCORE 22346.009
AT ITER 1906 NEW BEST:: SOT 64062 SOS 25001 HAS SOPS 25001 HAS SOUS 22313 HAS SOUPS 22313 WITH SCORE 22338.001
AT ITER 1907 NEW BEST:: SOT 64001 SOS 24865 HAS SOPS 24865 HAS SOUS 22237 HAS SOUPS 22237 WITH SCORE 22261.865
AT ITER 1920 NEW BEST:: SOT 64000 SOS 24864 HAS SOPS 24864 HAS SOUS 22235 HAS SOUPS 22235 WITH SCORE 22259.864
AT ITER 1935 NEW BEST:: SOT 63829 SOS 24636 HAS SOPS 24636 HAS SOUS 22008 HAS SOUPS 22008 WITH SCORE 22032.636
AT ITER 1952 NEW BEST:: SOT 63766 SOS 24552 HAS SOPS 24552 HAS SOUS 21924 HAS SOUPS 21924 WITH SCORE 21948.552
AT ITER 1970 NEW BEST:: SOT 63700 SOS 24405 HAS SOPS 24405 HAS SOUS 21799 HAS SOUPS 21799 WITH SCORE 21823.405
AT ITER 1973 NEW BEST:: SOT 63678 SOS 24363 HAS SOPS 24363 HAS SOUS 21777 HAS SOUPS 21777 WITH SCORE 21801.363
AT ITER 1999 NEW BEST:: SOT 63678 SOS 24363 HAS SOPS 24363 HAS SOUS 21773 HAS SOUPS 21773 WITH SCORE 21797.363
AT ITER 2039 NEW BEST:: SOT 63632 SOS 24317 HAS SOPS 24317 HAS SOUS 21740 HAS SOUPS 21740 WITH SCORE 21764.317
AT ITER 2052 NEW BEST:: SOT 63621 SOS 24248 HAS SOPS 24248 HAS SOUS 21656 HAS SOUPS 21656 WITH SCORE 21680.248
AT ITER 2093 NEW BEST:: SOT 63615 SOS 24242 HAS SOPS 24242 HAS SOUS 21650 HAS SOUPS 21650 WITH SCORE 21674.242
AT ITER 2097 NEW BEST:: SOT 63609 SOS 24205 HAS SOPS 24205 HAS SOUS 21613 HAS SOUPS 21613 WITH SCORE 21637.205
AT ITER 2098 NEW BEST:: SOT 63611 SOS 24159 HAS SOPS 24159 HAS SOUS 21602 HAS SOUPS 21602 WITH SCORE 21626.159
AT ITER 2109 NEW BEST:: SOT 63597 SOS 24151 HAS SOPS 24151 HAS SOUS 21594 HAS SOUPS 21594 WITH SCORE 21618.151
AT ITER 2155 NEW BEST:: SOT 63564 SOS 24096 HAS SOPS 24096 HAS SOUS 21550 HAS SOUPS 21550 WITH SCORE 21574.096
AT ITER 2158 NEW BEST:: SOT 63564 SOS 24131 HAS SOPS 24131 HAS SOUS 21546 HAS SOUPS 21546 WITH SCORE 21570.131
AT ITER 2190 NEW BEST:: SOT 63561 SOS 24125 HAS SOPS 24125 HAS SOUS 21540 HAS SOUPS 21540 WITH SCORE 21564.125
AT ITER 2204 NEW BEST:: SOT 63561 SOS 24125 HAS SOPS 24125 HAS SOUS 21532 HAS SOUPS 21532 WITH SCORE 21556.125
AT ITER 2219 NEW BEST:: SOT 63561 SOS 24069 HAS SOPS 24069 HAS SOUS 21532 HAS SOUPS 21532 WITH SCORE 21556.069
AT ITER 2238 NEW BEST:: SOT 63563 SOS 23991 HAS SOPS 23991 HAS SOUS 21523 HAS SOUPS 21523 WITH SCORE 21546.991
AT ITER 2244 NEW BEST:: SOT 63563 SOS 23989 HAS SOPS 23989 HAS SOUS 21523 HAS SOUPS 21523 WITH SCORE 21546.989
AT ITER 2271 NEW BEST:: SOT 63550 SOS 23970 HAS SOPS 23970 HAS SOUS 21521 HAS SOUPS 21521 WITH SCORE 21544.97
AT ITER 2279 NEW BEST:: SOT 63504 SOS 23901 HAS SOPS 23901 HAS SOUS 21475 HAS SOUPS 21475 WITH SCORE 21498.901
AT ITER 2289 NEW BEST:: SOT 63465 SOS 23865 HAS SOPS 23865 HAS SOUS 21449 HAS SOUPS 21449 WITH SCORE 21472.865
AT ITER 2303 NEW BEST:: SOT 63413 SOS 23830 HAS SOPS 23830 HAS SOUS 21414 HAS SOUPS 21414 WITH SCORE 21437.83
AT ITER 2311 NEW BEST:: SOT 63407 SOS 23818 HAS SOPS 23818 HAS SOUS 21402 HAS SOUPS 21402 WITH SCORE 21425.818
AT ITER 2313 NEW BEST:: SOT 63410 SOS 23855 HAS SOPS 23855 HAS SOUS 21389 HAS SOUPS 21389 WITH SCORE 21412.855
AT ITER 2324 NEW BEST:: SOT 63396 SOS 23834 HAS SOPS 23834 HAS SOUS 21365 HAS SOUPS 21365 WITH SCORE 21388.834
AT ITER 2325 NEW BEST:: SOT 63387 SOS 23823 HAS SOPS 23823 HAS SOUS 21354 HAS SOUPS 21354 WITH SCORE 21377.823
AT ITER 2351 NEW BEST:: SOT 63401 SOS 23817 HAS SOPS 23817 HAS SOUS 21348 HAS SOUPS 21348 WITH SCORE 21371.817
AT ITER 2353 NEW BEST:: SOT 63400 SOS 23815 HAS SOPS 23815 HAS SOUS 21346 HAS SOUPS 21346 WITH SCORE 21369.815
AT ITER 2364 NEW BEST:: SOT 63399 SOS 23813 HAS SOPS 23813 HAS SOUS 21344 HAS SOUPS 21344 WITH SCORE 21367.813
AT ITER 2369 NEW BEST:: SOT 63401 SOS 23815 HAS SOPS 23815 HAS SOUS 21325 HAS SOUPS 21325 WITH SCORE 21348.815
AT ITER 2375 NEW BEST:: SOT 63385 SOS 23787 HAS SOPS 23787 HAS SOUS 21297 HAS SOUPS 21297 WITH SCORE 21320.787
AT ITER 2381 NEW BEST:: SOT 63369 SOS 23755 HAS SOPS 23755 HAS SOUS 21265 HAS SOUPS 21265 WITH SCORE 21288.755
AT ITER 2409 NEW BEST:: SOT 63369 SOS 23753 HAS SOPS 23753 HAS SOUS 21263 HAS SOUPS 21263 WITH SCORE 21286.753
AT ITER 2415 NEW BEST:: SOT 63365 SOS 23747 HAS SOPS 23747 HAS SOUS 21240 HAS SOUPS 21240 WITH SCORE 21263.747
AT ITER 2427 NEW BEST:: SOT 63365 SOS 23732 HAS SOPS 23732 HAS SOUS 21232 HAS SOUPS 21232 WITH SCORE 21255.732
AT ITER 2434 NEW BEST:: SOT 63347 SOS 23701 HAS SOPS 23701 HAS SOUS 21201 HAS SOUPS 21201 WITH SCORE 21224.701
AT ITER 2447 NEW BEST:: SOT 63316 SOS 23608 HAS SOPS 23608 HAS SOUS 21139 HAS SOUPS 21139 WITH SCORE 21162.608
AT ITER 2452 NEW BEST:: SOT 63329 SOS 23669 HAS SOPS 23669 HAS SOUS 21138 HAS SOUPS 21138 WITH SCORE 21161.669
AT ITER 2477 NEW BEST:: SOT 63324 SOS 23664 HAS SOPS 23664 HAS SOUS 21133 HAS SOUPS 21133 WITH SCORE 21156.664
AT ITER 2478 NEW BEST:: SOT 63310 SOS 23636 HAS SOPS 23636 HAS SOUS 21119 HAS SOUPS 21119 WITH SCORE 21142.636
AT ITER 2481 NEW BEST:: SOT 63259 SOS 23588 HAS SOPS 23588 HAS SOUS 21071 HAS SOUPS 21071 WITH SCORE 21094.588
AT ITER 2498 NEW BEST:: SOT 63243 SOS 23572 HAS SOPS 23572 HAS SOUS 21041 HAS SOUPS 21041 WITH SCORE 21064.572
AT ITER 2504 NEW BEST:: SOT 63241 SOS 23554 HAS SOPS 23554 HAS SOUS 21025 HAS SOUPS 21025 WITH SCORE 21048.554
AT ITER 2525 NEW BEST:: SOT 63234 SOS 23553 HAS SOPS 23553 HAS SOUS 21002 HAS SOUPS 21002 WITH SCORE 21025.553
AT ITER 2528 NEW BEST:: SOT 63230 SOS 23552 HAS SOPS 23552 HAS SOUS 20991 HAS SOUPS 20991 WITH SCORE 21014.552
AT ITER 2529 NEW BEST:: SOT 63222 SOS 23546 HAS SOPS 23546 HAS SOUS 20977 HAS SOUPS 20977 WITH SCORE 21000.546
AT ITER 2535 NEW BEST:: SOT 63280 SOS 23604 HAS SOPS 23604 HAS SOUS 20975 HAS SOUPS 20975 WITH SCORE 20998.604
AT ITER 2587 NEW BEST:: SOT 63253 SOS 23545 HAS SOPS 23545 HAS SOUS 20955 HAS SOUPS 20955 WITH SCORE 20978.545
AT ITER 2596 NEW BEST:: SOT 63246 SOS 23518 HAS SOPS 23518 HAS SOUS 20927 HAS SOUPS 20927 WITH SCORE 20950.518
AT ITER 2606 NEW BEST:: SOT 63226 SOS 23488 HAS SOPS 23488 HAS SOUS 20907 HAS SOUPS 20907 WITH SCORE 20930.488
AT ITER 2614 NEW BEST:: SOT 63163 SOS 23425 HAS SOPS 23425 HAS SOUS 20844 HAS SOUPS 20844 WITH SCORE 20867.425
AT ITER 2619 NEW BEST:: SOT 63145 SOS 23371 HAS SOPS 23371 HAS SOUS 20817 HAS SOUPS 20817 WITH SCORE 20840.371
AT ITER 2623 NEW BEST:: SOT 63127 SOS 23353 HAS SOPS 23353 HAS SOUS 20793 HAS SOUPS 20793 WITH SCORE 20816.353
AT ITER 2625 NEW BEST:: SOT 63125 SOS 23351 HAS SOPS 23351 HAS SOUS 20791 HAS SOUPS 20791 WITH SCORE 20814.351
AT ITER 2626 NEW BEST:: SOT 63124 SOS 23350 HAS SOPS 23350 HAS SOUS 20790 HAS SOUPS 20790 WITH SCORE 20813.35
AT ITER 2636 NEW BEST:: SOT 63120 SOS 23342 HAS SOPS 23342 HAS SOUS 20786 HAS SOUPS 20786 WITH SCORE 20809.342
AT ITER 2692 NEW BEST:: SOT 63118 SOS 23340 HAS SOPS 23340 HAS SOUS 20784 HAS SOUPS 20784 WITH SCORE 20807.34
AT ITER 2705 NEW BEST:: SOT 63117 SOS 23336 HAS SOPS 23336 HAS SOUS 20781 HAS SOUPS 20781 WITH SCORE 20804.336
AT ITER 2717 NEW BEST:: SOT 63115 SOS 23328 HAS SOPS 23328 HAS SOUS 20777 HAS SOUPS 20777 WITH SCORE 20800.328
AT ITER 2720 NEW BEST:: SOT 63115 SOS 23312 HAS SOPS 23312 HAS SOUS 20777 HAS SOUPS 20777 WITH SCORE 20800.312
AT ITER 2747 NEW BEST:: SOT 63112 SOS 23180 HAS SOPS 23180 HAS SOUS 20728 HAS SOUPS 20728 WITH SCORE 20751.18
AT ITER 2768 NEW BEST:: SOT 63070 SOS 23135 HAS SOPS 23135 HAS SOUS 20683 HAS SOUPS 20683 WITH SCORE 20706.135
AT ITER 2772 NEW BEST:: SOT 63047 SOS 23103 HAS SOPS 23103 HAS SOUS 20651 HAS SOUPS 20651 WITH SCORE 20674.103
AT ITER 2773 NEW BEST:: SOT 63044 SOS 23090 HAS SOPS 23090 HAS SOUS 20649 HAS SOUPS 20649 WITH SCORE 20672.09
AT ITER 2802 NEW BEST:: SOT 63014 SOS 23046 HAS SOPS 23046 HAS SOUS 20612 HAS SOUPS 20612 WITH SCORE 20635.046
AT ITER 2810 NEW BEST:: SOT 63005 SOS 23037 HAS SOPS 23037 HAS SOUS 20594 HAS SOUPS 20594 WITH SCORE 20617.037
AT ITER 2813 NEW BEST:: SOT 62985 SOS 22970 HAS SOPS 22970 HAS SOUS 20514 HAS SOUPS 20514 WITH SCORE 20536.97
AT ITER 2824 NEW BEST:: SOT 62873 SOS 22813 HAS SOPS 22813 HAS SOUS 20392 HAS SOUPS 20392 WITH SCORE 20414.813
AT ITER 2852 NEW BEST:: SOT 62859 SOS 22719 HAS SOPS 22719 HAS SOUS 20388 HAS SOUPS 20388 WITH SCORE 20410.719
AT ITER 2858 NEW BEST:: SOT 62831 SOS 22692 HAS SOPS 22692 HAS SOUS 20361 HAS SOUPS 20361 WITH SCORE 20383.692
AT ITER 2880 NEW BEST:: SOT 62825 SOS 22686 HAS SOPS 22686 HAS SOUS 20345 HAS SOUPS 20345 WITH SCORE 20367.686
AT ITER 2881 NEW BEST:: SOT 62776 SOS 22601 HAS SOPS 22601 HAS SOUS 20284 HAS SOUPS 20284 WITH SCORE 20306.601
AT ITER 2891 NEW BEST:: SOT 62775 SOS 22599 HAS SOPS 22599 HAS SOUS 20282 HAS SOUPS 20282 WITH SCORE 20304.599
AT ITER 2902 NEW BEST:: SOT 62765 SOS 22584 HAS SOPS 22584 HAS SOUS 20272 HAS SOUPS 20272 WITH SCORE 20294.584
AT ITER 2916 NEW BEST:: SOT 62765 SOS 22584 HAS SOPS 22584 HAS SOUS 20269 HAS SOUPS 20269 WITH SCORE 20291.584
AT ITER 2950 NEW BEST:: SOT 62762 SOS 22580 HAS SOPS 22580 HAS SOUS 20265 HAS SOUPS 20265 WITH SCORE 20287.58
AT ITER 3001 NEW BEST:: SOT 62762 SOS 22576 HAS SOPS 22576 HAS SOUS 20263 HAS SOUPS 20263 WITH SCORE 20285.576
AT ITER 3003 NEW BEST:: SOT 62757 SOS 22574 HAS SOPS 22574 HAS SOUS 20249 HAS SOUPS 20249 WITH SCORE 20271.574
AT ITER 3024 NEW BEST:: SOT 62673 SOS 22490 HAS SOPS 22490 HAS SOUS 20120 HAS SOUPS 20120 WITH SCORE 20142.49
AT ITER 3037 NEW BEST:: SOT 62669 SOS 22448 HAS SOPS 22448 HAS SOUS 20098 HAS SOUPS 20098 WITH SCORE 20120.448
AT ITER 3074 NEW BEST:: SOT 62653 SOS 22424 HAS SOPS 22424 HAS SOUS 20074 HAS SOUPS 20074 WITH SCORE 20096.424
AT ITER 3097 NEW BEST:: SOT 62653 SOS 22416 HAS SOPS 22416 HAS SOUS 20074 HAS SOUPS 20074 WITH SCORE 20096.416
AT ITER 3115 NEW BEST:: SOT 62641 SOS 22400 HAS SOPS 22400 HAS SOUS 20058 HAS SOUPS 20058 WITH SCORE 20080.4
AT ITER 3116 NEW BEST:: SOT 62628 SOS 22419 HAS SOPS 22419 HAS SOUS 20028 HAS SOUPS 20028 WITH SCORE 20050.419
AT ITER 3128 NEW BEST:: SOT 62622 SOS 22407 HAS SOPS 22407 HAS SOUS 20016 HAS SOUPS 20016 WITH SCORE 20038.407
AT ITER 3139 NEW BEST:: SOT 62615 SOS 22386 HAS SOPS 22386 HAS SOUS 20009 HAS SOUPS 20009 WITH SCORE 20031.386
AT ITER 3181 NEW BEST:: SOT 62586 SOS 22298 HAS SOPS 22298 HAS SOUS 19935 HAS SOUPS 19935 WITH SCORE 19957.298
AT ITER 3282 NEW BEST:: SOT 62586 SOS 22304 HAS SOPS 22304 HAS SOUS 19933 HAS SOUPS 19933 WITH SCORE 19955.304
AT ITER 3288 NEW BEST:: SOT 62539 SOS 22184 HAS SOPS 22184 HAS SOUS 19901 HAS SOUPS 19901 WITH SCORE 19923.184
AT ITER 3319 NEW BEST:: SOT 62533 SOS 22160 HAS SOPS 22160 HAS SOUS 19885 HAS SOUPS 19885 WITH SCORE 19907.16
AT ITER 3320 NEW BEST:: SOT 62533 SOS 22154 HAS SOPS 22154 HAS SOUS 19885 HAS SOUPS 19885 WITH SCORE 19907.154
AT ITER 3406 NEW BEST:: SOT 62518 SOS 22134 HAS SOPS 22134 HAS SOUS 19871 HAS SOUPS 19871 WITH SCORE 19893.134
AT ITER 3419 NEW BEST:: SOT 62539 SOS 22155 HAS SOPS 22155 HAS SOUS 19830 HAS SOUPS 19830 WITH SCORE 19852.155
AT ITER 3423 NEW BEST:: SOT 62518 SOS 22118 HAS SOPS 22118 HAS SOUS 19786 HAS SOUPS 19786 WITH SCORE 19808.118
AT ITER 3425 NEW BEST:: SOT 62524 SOS 22135 HAS SOPS 22135 HAS SOUS 19753 HAS SOUPS 19753 WITH SCORE 19775.135
AT ITER 3436 NEW BEST:: SOT 62514 SOS 22114 HAS SOPS 22114 HAS SOUS 19732 HAS SOUPS 19732 WITH SCORE 19754.114
AT ITER 3437 NEW BEST:: SOT 62393 SOS 22039 HAS SOPS 22039 HAS SOUS 19657 HAS SOUPS 19657 WITH SCORE 19679.039
AT ITER 3460 NEW BEST:: SOT 62412 SOS 22058 HAS SOPS 22058 HAS SOUS 19629 HAS SOUPS 19629 WITH SCORE 19651.058
AT ITER 3462 NEW BEST:: SOT 62349 SOS 21947 HAS SOPS 21947 HAS SOUS 19545 HAS SOUPS 19545 WITH SCORE 19566.947
AT ITER 3472 NEW BEST:: SOT 62351 SOS 21939 HAS SOPS 21939 HAS SOUS 19535 HAS SOUPS 19535 WITH SCORE 19556.939
AT ITER 3488 NEW BEST:: SOT 62322 SOS 21901 HAS SOPS 21901 HAS SOUS 19497 HAS SOUPS 19497 WITH SCORE 19518.901
AT ITER 3522 NEW BEST:: SOT 62328 SOS 21936 HAS SOPS 21936 HAS SOUS 19495 HAS SOUPS 19495 WITH SCORE 19516.936
AT ITER 3535 NEW BEST:: SOT 62328 SOS 21937 HAS SOPS 21937 HAS SOUS 19494 HAS SOUPS 19494 WITH SCORE 19515.937
AT ITER 3536 NEW BEST:: SOT 62328 SOS 21943 HAS SOPS 21943 HAS SOUS 19482 HAS SOUPS 19482 WITH SCORE 19503.943
AT ITER 3565 NEW BEST:: SOT 62314 SOS 21895 HAS SOPS 21895 HAS SOUS 19454 HAS SOUPS 19454 WITH SCORE 19475.895
AT ITER 3575 NEW BEST:: SOT 62314 SOS 21871 HAS SOPS 21871 HAS SOUS 19442 HAS SOUPS 19442 WITH SCORE 19463.871
AT ITER 3582 NEW BEST:: SOT 62308 SOS 21859 HAS SOPS 21859 HAS SOUS 19431 HAS SOUPS 19431 WITH SCORE 19452.859
AT ITER 3605 NEW BEST:: SOT 62284 SOS 21781 HAS SOPS 21781 HAS SOUS 19376 HAS SOUPS 19376 WITH SCORE 19397.781
AT ITER 3606 NEW BEST:: SOT 62284 SOS 21717 HAS SOPS 21717 HAS SOUS 19376 HAS SOUPS 19376 WITH SCORE 19397.717
AT ITER 3608 NEW BEST:: SOT 62282 SOS 21711 HAS SOPS 21711 HAS SOUS 19373 HAS SOUPS 19373 WITH SCORE 19394.711
AT ITER 3634 NEW BEST:: SOT 62282 SOS 21709 HAS SOPS 21709 HAS SOUS 19371 HAS SOUPS 19371 WITH SCORE 19392.709
AT ITER 3638 NEW BEST:: SOT 62278 SOS 21657 HAS SOPS 21657 HAS SOUS 19299 HAS SOUPS 19299 WITH SCORE 19320.657
AT ITER 3657 NEW BEST:: SOT 62277 SOS 21659 HAS SOPS 21659 HAS SOUS 19294 HAS SOUPS 19294 WITH SCORE 19315.659
AT ITER 3687 NEW BEST:: SOT 62273 SOS 21654 HAS SOPS 21654 HAS SOUS 19289 HAS SOUPS 19289 WITH SCORE 19310.654
AT ITER 3712 NEW BEST:: SOT 62273 SOS 21646 HAS SOPS 21646 HAS SOUS 19287 HAS SOUPS 19287 WITH SCORE 19308.646
AT ITER 3766 NEW BEST:: SOT 62270 SOS 21667 HAS SOPS 21667 HAS SOUS 19281 HAS SOUPS 19281 WITH SCORE 19302.667
AT ITER 3788 NEW BEST:: SOT 62268 SOS 21666 HAS SOPS 21666 HAS SOUS 19280 HAS SOUPS 19280 WITH SCORE 19301.666
AT ITER 3810 NEW BEST:: SOT 62252 SOS 21626 HAS SOPS 21626 HAS SOUS 19248 HAS SOUPS 19248 WITH SCORE 19269.626
AT ITER 3815 NEW BEST:: SOT 62179 SOS 21404 HAS SOPS 21404 HAS SOUS 19134 HAS SOUPS 19134 WITH SCORE 19155.404
AT ITER 3826 NEW BEST:: SOT 62188 SOS 21406 HAS SOPS 21406 HAS SOUS 19114 HAS SOUPS 19114 WITH SCORE 19135.406
AT ITER 3828 NEW BEST:: SOT 62186 SOS 21398 HAS SOPS 21398 HAS SOUS 19108 HAS SOUPS 19108 WITH SCORE 19129.398
AT ITER 3873 NEW BEST:: SOT 62182 SOS 21377 HAS SOPS 21377 HAS SOUS 19095 HAS SOUPS 19095 WITH SCORE 19116.377
AT ITER 3903 NEW BEST:: SOT 62178 SOS 21373 HAS SOPS 21373 HAS SOUS 19093 HAS SOUPS 19093 WITH SCORE 19114.373
AT ITER 3948 NEW BEST:: SOT 62173 SOS 21348 HAS SOPS 21348 HAS SOUS 19089 HAS SOUPS 19089 WITH SCORE 19110.348
AT ITER 3975 NEW BEST:: SOT 62171 SOS 21346 HAS SOPS 21346 HAS SOUS 19087 HAS SOUPS 19087 WITH SCORE 19108.346
AT ITER 3995 NEW BEST:: SOT 62161 SOS 21301 HAS SOPS 21301 HAS SOUS 19060 HAS SOUPS 19060 WITH SCORE 19081.301
AT ITER 4018 NEW BEST:: SOT 62157 SOS 21291 HAS SOPS 21291 HAS SOUS 19050 HAS SOUPS 19050 WITH SCORE 19071.291
AT ITER 4042 NEW BEST:: SOT 62155 SOS 21285 HAS SOPS 21285 HAS SOUS 19047 HAS SOUPS 19047 WITH SCORE 19068.285
AT ITER 4048 NEW BEST:: SOT 62146 SOS 21276 HAS SOPS 21276 HAS SOUS 19038 HAS SOUPS 19038 WITH SCORE 19059.276
AT ITER 4058 NEW BEST:: SOT 62146 SOS 21275 HAS SOPS 21275 HAS SOUS 19038 HAS SOUPS 19038 WITH SCORE 19059.275
AT ITER 4059 NEW BEST:: SOT 62143 SOS 21263 HAS SOPS 21263 HAS SOUS 19036 HAS SOUPS 19036 WITH SCORE 19057.263
AT ITER 4060 NEW BEST:: SOT 62095 SOS 21174 HAS SOPS 21174 HAS SOUS 18979 HAS SOUPS 18979 WITH SCORE 19000.174
AT ITER 4069 NEW BEST:: SOT 62095 SOS 21124 HAS SOPS 21124 HAS SOUS 18954 HAS SOUPS 18954 WITH SCORE 18975.124
AT ITER 4070 NEW BEST:: SOT 62092 SOS 21120 HAS SOPS 21120 HAS SOUS 18950 HAS SOUPS 18950 WITH SCORE 18971.12
AT ITER 4094 NEW BEST:: SOT 62089 SOS 21114 HAS SOPS 21114 HAS SOUS 18944 HAS SOUPS 18944 WITH SCORE 18965.114
AT ITER 4125 NEW BEST:: SOT 62077 SOS 21102 HAS SOPS 21102 HAS SOUS 18932 HAS SOUPS 18932 WITH SCORE 18953.102
AT ITER 4126 NEW BEST:: SOT 62061 SOS 21114 HAS SOPS 21114 HAS SOUS 18916 HAS SOUPS 18916 WITH SCORE 18937.114
AT ITER 4128 NEW BEST:: SOT 62056 SOS 21099 HAS SOPS 21099 HAS SOUS 18911 HAS SOUPS 18911 WITH SCORE 18932.099
AT ITER 4167 NEW BEST:: SOT 62039 SOS 21082 HAS SOPS 21082 HAS SOUS 18894 HAS SOUPS 18894 WITH SCORE 18915.082
AT ITER 4170 NEW BEST:: SOT 62035 SOS 21096 HAS SOPS 21096 HAS SOUS 18877 HAS SOUPS 18877 WITH SCORE 18898.096
AT ITER 4201 NEW BEST:: SOT 62029 SOS 21090 HAS SOPS 21090 HAS SOUS 18877 HAS SOUPS 18877 WITH SCORE 18898.09
AT ITER 4225 NEW BEST:: SOT 62005 SOS 21055 HAS SOPS 21055 HAS SOUS 18838 HAS SOUPS 18838 WITH SCORE 18859.055
AT ITER 4229 NEW BEST:: SOT 62002 SOS 21051 HAS SOPS 21051 HAS SOUS 18834 HAS SOUPS 18834 WITH SCORE 18855.051
AT ITER 4253 NEW BEST:: SOT 61964 SOS 20926 HAS SOPS 20926 HAS SOUS 18750 HAS SOUPS 18750 WITH SCORE 18770.926
AT ITER 4276 NEW BEST:: SOT 61962 SOS 20920 HAS SOPS 20920 HAS SOUS 18748 HAS SOUPS 18748 WITH SCORE 18768.92
AT ITER 4283 NEW BEST:: SOT 61955 SOS 20885 HAS SOPS 20885 HAS SOUS 18734 HAS SOUPS 18734 WITH SCORE 18754.885
AT ITER 4319 NEW BEST:: SOT 61942 SOS 20845 HAS SOPS 20845 HAS SOUS 18703 HAS SOUPS 18703 WITH SCORE 18723.845
AT ITER 4331 NEW BEST:: SOT 61939 SOS 20836 HAS SOPS 20836 HAS SOUS 18694 HAS SOUPS 18694 WITH SCORE 18714.836
AT ITER 4332 NEW BEST:: SOT 61922 SOS 20795 HAS SOPS 20795 HAS SOUS 18648 HAS SOUPS 18648 WITH SCORE 18668.795
AT ITER 4385 NEW BEST:: SOT 61932 SOS 20803 HAS SOPS 20803 HAS SOUS 18644 HAS SOUPS 18644 WITH SCORE 18664.803
AT ITER 4407 NEW BEST:: SOT 61927 SOS 20798 HAS SOPS 20798 HAS SOUS 18639 HAS SOUPS 18639 WITH SCORE 18659.798
AT ITER 4435 NEW BEST:: SOT 61927 SOS 20792 HAS SOPS 20792 HAS SOUS 18633 HAS SOUPS 18633 WITH SCORE 18653.792
AT ITER 4447 NEW BEST:: SOT 61925 SOS 20788 HAS SOPS 20788 HAS SOUS 18631 HAS SOUPS 18631 WITH SCORE 18651.788
AT ITER 4479 NEW BEST:: SOT 61919 SOS 20776 HAS SOPS 20776 HAS SOUS 18622 HAS SOUPS 18622 WITH SCORE 18642.776
AT ITER 4502 NEW BEST:: SOT 61914 SOS 20772 HAS SOPS 20772 HAS SOUS 18618 HAS SOUPS 18618 WITH SCORE 18638.772
AT ITER 4520 NEW BEST:: SOT 61914 SOS 20752 HAS SOPS 20752 HAS SOUS 18608 HAS SOUPS 18608 WITH SCORE 18628.752
AT ITER 4609 NEW BEST:: SOT 61914 SOS 20752 HAS SOPS 20752 HAS SOUS 18606 HAS SOUPS 18606 WITH SCORE 18626.752
AT ITER 4624 NEW BEST:: SOT 61911 SOS 20748 HAS SOPS 20748 HAS SOUS 18602 HAS SOUPS 18602 WITH SCORE 18622.748
AT ITER 4632 NEW BEST:: SOT 61902 SOS 20739 HAS SOPS 20739 HAS SOUS 18586 HAS SOUPS 18586 WITH SCORE 18606.739
AT ITER 4677 NEW BEST:: SOT 61814 SOS 20580 HAS SOPS 20580 HAS SOUS 18478 HAS SOUPS 18478 WITH SCORE 18498.58
AT ITER 4706 NEW BEST:: SOT 61814 SOS 20576 HAS SOPS 20576 HAS SOUS 18474 HAS SOUPS 18474 WITH SCORE 18494.576
AT ITER 4710 NEW BEST:: SOT 61814 SOS 20576 HAS SOPS 20576 HAS SOUS 18463 HAS SOUPS 18463 WITH SCORE 18483.576
AT ITER 4730 NEW BEST:: SOT 61814 SOS 20567 HAS SOPS 20567 HAS SOUS 18463 HAS SOUPS 18463 WITH SCORE 18483.567
AT ITER 4748 NEW BEST:: SOT 61811 SOS 20562 HAS SOPS 20562 HAS SOUS 18458 HAS SOUPS 18458 WITH SCORE 18478.562
AT ITER 4791 NEW BEST:: SOT 61808 SOS 20567 HAS SOPS 20567 HAS SOUS 18450 HAS SOUPS 18450 WITH SCORE 18470.567
AT ITER 4836 NEW BEST:: SOT 61832 SOS 20597 HAS SOPS 20597 HAS SOUS 18445 HAS SOUPS 18445 WITH SCORE 18465.597
AT ITER 4841 NEW BEST:: SOT 61826 SOS 20585 HAS SOPS 20585 HAS SOUS 18440 HAS SOUPS 18440 WITH SCORE 18460.585
AT ITER 4847 NEW BEST:: SOT 61814 SOS 20565 HAS SOPS 20565 HAS SOUS 18420 HAS SOUPS 18420 WITH SCORE 18440.565
AT ITER 4858 NEW BEST:: SOT 61815 SOS 20559 HAS SOPS 20559 HAS SOUS 18406 HAS SOUPS 18406 WITH SCORE 18426.559
AT ITER 4866 NEW BEST:: SOT 61809 SOS 20551 HAS SOPS 20551 HAS SOUS 18398 HAS SOUPS 18398 WITH SCORE 18418.551
AT ITER 4873 NEW BEST:: SOT 61787 SOS 20474 HAS SOPS 20474 HAS SOUS 18335 HAS SOUPS 18335 WITH SCORE 18355.474
AT ITER 4891 NEW BEST:: SOT 61787 SOS 20467 HAS SOPS 20467 HAS SOUS 18317 HAS SOUPS 18317 WITH SCORE 18337.467
AT ITER 4953 NEW BEST:: SOT 61786 SOS 20464 HAS SOPS 20464 HAS SOUS 18315 HAS SOUPS 18315 WITH SCORE 18335.464
AT ITER 4975 NEW BEST:: SOT 61786 SOS 20464 HAS SOPS 20464 HAS SOUS 18304 HAS SOUPS 18304 WITH SCORE 18324.464
AT ITER 4995 NEW BEST:: SOT 61782 SOS 20458 HAS SOPS 20458 HAS SOUS 18296 HAS SOUPS 18296 WITH SCORE 18316.458
AT ITER 4996 NEW BEST:: SOT 61782 SOS 20458 HAS SOPS 20458 HAS SOUS 18295 HAS SOUPS 18295 WITH SCORE 18315.458
Bounds file is: CTLFireability.xml
PROPERTY: ShieldRVt-PT-040A-CTLFireability-00 (EF( (! (! (! (! ((potential((tk(P213)>=1) & (tk(P214)>=1) & (tk(P217)>=1))))))))))
PROPERTY: ShieldRVt-PT-040A-CTLFireability-01 (EU( (! (! (! ((potential((tk(P266)>=1))))))) , ( (EG( ((potential((tk(P133)>=1) & (tk(P134)>=1) & (tk(P137)>=1)))))) & ( ((potential((tk(P34)>=1)))) & ( ((potential((tk(P12)>=1)))) | ((potential((tk(P20)>=1)))) ) ) ) ))
PROPERTY: ShieldRVt-PT-040A-CTLFireability-02 (EF( ( (EX( ( ((potential((tk(P168)>=1)))) | ((potential((tk(P247)>=1) & (tk(P250)>=1)))) ))) & (! (AG( ((potential((tk(P95)>=1) & (tk(P98)>=1))))))) )))
PROPERTY: ShieldRVt-PT-040A-CTLFireability-03 (EF( (! (! ( ( ((potential((tk(P186)>=1)))) | ((potential((tk(P176)>=1)))) ) | ( ((potential((tk(P142)>=1)))) | ((potential((tk(P260)>=1) & (tk(P269)>=1) & (tk(P275)>=1)))) ) )))))
PROPERTY: ShieldRVt-PT-040A-CTLFireability-04 (EX( (EF( ( ( ((potential((tk(P47)>=1) & (tk(P50)>=1)))) | ((potential((tk(P174)>=1)))) ) | ( ((potential((tk(P220)>=1)))) & ((potential((tk(P264)>=1)))) ) )))))
PROPERTY: ShieldRVt-PT-040A-CTLFireability-05 (AG( (EX( (EF( ((potential((tk(P98)>=1))))))))))
PROPERTY: ShieldRVt-PT-040A-CTLFireability-06 (EU( (AF( (! ((potential((tk(P188)>=1))))))) , ((potential((tk(P249)>=1) & (tk(P251)>=1) & (tk(P256)>=1)))) ))
PROPERTY: ShieldRVt-PT-040A-CTLFireability-07 ( ( (AF( ( ( ((potential((tk(P136)>=1)))) | ((potential((tk(P68)>=1) & (tk(P77)>=1) & (tk(P83)>=1)))) ) & ( ((potential((tk(P38)>=1)))) & ((potential((tk(P231)>=1) & (tk(P234)>=1)))) ) ))) & (! ( ((potential((tk(P169)>=1) & (tk(P171)>=1) & (tk(P176)>=1)))) | (EF( ((potential((tk(P245)>=1) & (tk(P246)>=1) & (tk(P249)>=1)))))) )) ) | (! (EF( ( ( ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P11)>=1)))) & ((potential((tk(P247)>=1) & (tk(P250)>=1)))) ) & ((potential((tk(P33)>=1) & (tk(P35)>=1) & (tk(P40)>=1)))) )))) )
PROPERTY: ShieldRVt-PT-040A-CTLFireability-08 (! (AG( (EF( ( ((potential((tk(P244)>=1) & (tk(P253)>=1) & (tk(P259)>=1)))) | ((potential((tk(P206)>=1)))) ))))))
PROPERTY: ShieldRVt-PT-040A-CTLFireability-09 (AG( (AU( ( ((potential((tk(P226)>=1)))) & ((potential((tk(P130)>=1)))) ) , (! ((potential((tk(P78)>=1))))) ))))
PROPERTY: ShieldRVt-PT-040A-CTLFireability-10 (EU( ( ( ((potential((tk(P120)>=1)))) & ( ((potential((tk(P224)>=1)))) | ((potential((tk(P202)>=1)))) ) ) | (! ((potential((tk(P13)>=1) & (tk(P14)>=1) & (tk(P17)>=1))))) ) , ((potential((tk(P194)>=1)))) ))
PROPERTY: ShieldRVt-PT-040A-CTLFireability-11 (EU( (EF( ( ((potential((tk(P100)>=1)))) | ((potential((tk(P73)>=1) & (tk(P75)>=1) & (tk(P80)>=1)))) ))) , ( ((potential((tk(P69)>=1) & (tk(P70)>=1) & (tk(P73)>=1)))) | ( ( ((potential((tk(P114)>=1)))) | ((potential((tk(P298)>=1)))) ) | ( ((potential((tk(P228)>=1)))) | ((potential((tk(P256)>=1)))) ) ) ) ))
PROPERTY: ShieldRVt-PT-040A-CTLFireability-12 ( (EG( (AG( (! ((potential((tk(P79)>=1) & (tk(P82)>=1))))))))) | (EU( (AX( ((potential((tk(P70)>=1)))))) , ( ( ((potential((tk(P225)>=1) & (tk(P227)>=1) & (tk(P232)>=1)))) & ((potential((tk(P127)>=1) & (tk(P130)>=1)))) ) & ( ((potential((tk(P129)>=1) & (tk(P131)>=1) & (tk(P136)>=1)))) | ((potential((tk(P114)>=1)))) ) ) )) )
PROPERTY: ShieldRVt-PT-040A-CTLFireability-13 ( (EF( (EX( ( ((potential((tk(P5)>=1) & (tk(P6)>=1) & (tk(P9)>=1)))) & ((potential((tk(P53)>=1) & (tk(P54)>=1) & (tk(P57)>=1)))) ))))) | ((potential((tk(P108)>=1)))) )
PROPERTY: ShieldRVt-PT-040A-CTLFireability-14 (! ( ((potential((tk(P38)>=1)))) | (EU( (! ((potential((tk(P180)>=1) & (tk(P189)>=1) & (tk(P195)>=1))))) , ( ((potential((tk(P95)>=1) & (tk(P98)>=1)))) & ((potential((tk(P310)>=1)))) ) )) ))
PROPERTY: ShieldRVt-PT-040A-CTLFireability-15 (EU( ( (EF( ((potential((tk(P65)>=1) & (tk(P67)>=1) & (tk(P72)>=1)))))) | ( ((potential((tk(P89)>=1) & (tk(P91)>=1) & (tk(P96)>=1)))) | ( ((potential((tk(P23)>=1) & (tk(P26)>=1)))) | ((potential((tk(P2)>=1) & (tk(P8)>=1)))) ) ) ) , (AU( ((potential((tk(P79)>=1) & (tk(P82)>=1)))) , ((potential((tk(P264)>=1)))) )) ))

BK_STOP 1590459575948

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 374 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldRVt-PT-040A"
export BK_EXAMINATION="CTLFireability"
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 ShieldRVt-PT-040A, examination is CTLFireability"
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-159033470401052"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVt-PT-040A.tgz
mv ShieldRVt-PT-040A execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;