Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502600267.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Raft-PT-08, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502600267
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 352K
-rw-r--r-- 1 mcc users 4.3K Apr 12 08:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 12 08:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 11 09:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 09:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 9 21:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 9 21:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 156K Mar 24 05:38 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Raft-PT-08-CTLCardinality-00
FORMULA_NAME Raft-PT-08-CTLCardinality-01
FORMULA_NAME Raft-PT-08-CTLCardinality-02
FORMULA_NAME Raft-PT-08-CTLCardinality-03
FORMULA_NAME Raft-PT-08-CTLCardinality-04
FORMULA_NAME Raft-PT-08-CTLCardinality-05
FORMULA_NAME Raft-PT-08-CTLCardinality-06
FORMULA_NAME Raft-PT-08-CTLCardinality-07
FORMULA_NAME Raft-PT-08-CTLCardinality-08
FORMULA_NAME Raft-PT-08-CTLCardinality-09
FORMULA_NAME Raft-PT-08-CTLCardinality-10
FORMULA_NAME Raft-PT-08-CTLCardinality-11
FORMULA_NAME Raft-PT-08-CTLCardinality-12
FORMULA_NAME Raft-PT-08-CTLCardinality-13
FORMULA_NAME Raft-PT-08-CTLCardinality-14
FORMULA_NAME Raft-PT-08-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589803364762

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 08
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: 328 places, 568 transitions, 2163 arcs.
AT ITER 0 NEW BEST:: SOT 163639 SOS 109952 HAS SOPS 109920 HAS SOUS 86574 HAS SOUPS 86566 WITH SCORE 86675.952
AT ITER 2 NEW BEST:: SOT 163639 SOS 109193 HAS SOPS 109161 HAS SOUS 86574 HAS SOUPS 86566 WITH SCORE 86675.193
AT ITER 3 NEW BEST:: SOT 163275 SOS 109519 HAS SOPS 109472 HAS SOUS 86512 HAS SOUPS 86490 WITH SCORE 86599.519
AT ITER 4 NEW BEST:: SOT 161055 SOS 109654 HAS SOPS 107742 HAS SOUS 85808 HAS SOUPS 85564 WITH SCORE 85673.654
AT ITER 6 NEW BEST:: SOT 160843 SOS 109382 HAS SOPS 107444 HAS SOUS 85504 HAS SOUPS 85235 WITH SCORE 85344.382
AT ITER 7 NEW BEST:: SOT 160511 SOS 108997 HAS SOPS 107006 HAS SOUS 85092 HAS SOUPS 84797 WITH SCORE 84905.997
AT ITER 10 NEW BEST:: SOT 160511 SOS 108856 HAS SOPS 106865 HAS SOUS 85061 HAS SOUPS 84766 WITH SCORE 84874.856
AT ITER 13 NEW BEST:: SOT 160511 SOS 107628 HAS SOPS 105637 HAS SOUS 84922 HAS SOUPS 84627 WITH SCORE 84734.628
AT ITER 14 NEW BEST:: SOT 160189 SOS 107311 HAS SOPS 105282 HAS SOUS 84481 HAS SOUPS 84149 WITH SCORE 84256.311
AT ITER 15 NEW BEST:: SOT 157919 SOS 111109 HAS SOPS 103474 HAS SOUS 83582 HAS SOUPS 83022 WITH SCORE 83133.109
AT ITER 21 NEW BEST:: SOT 157919 SOS 111257 HAS SOPS 103474 HAS SOUS 83548 HAS SOUPS 82988 WITH SCORE 83099.257
AT ITER 22 NEW BEST:: SOT 157919 SOS 111155 HAS SOPS 103372 HAS SOUS 83530 HAS SOUPS 82970 WITH SCORE 83081.155
AT ITER 29 NEW BEST:: SOT 157919 SOS 111155 HAS SOPS 103372 HAS SOUS 83505 HAS SOUPS 82945 WITH SCORE 83056.155
AT ITER 30 NEW BEST:: SOT 157919 SOS 111095 HAS SOPS 103312 HAS SOUS 83473 HAS SOUPS 82913 WITH SCORE 83024.095
AT ITER 31 NEW BEST:: SOT 157217 SOS 110209 HAS SOPS 102895 HAS SOUS 83028 HAS SOUPS 82468 WITH SCORE 82578.209
AT ITER 32 NEW BEST:: SOT 156669 SOS 109576 HAS SOPS 102237 HAS SOUS 82300 HAS SOUPS 81740 WITH SCORE 81849.576
AT ITER 33 NEW BEST:: SOT 156669 SOS 109497 HAS SOPS 102158 HAS SOUS 82300 HAS SOUPS 81740 WITH SCORE 81849.497
AT ITER 36 NEW BEST:: SOT 156669 SOS 109502 HAS SOPS 102163 HAS SOUS 82293 HAS SOUPS 81733 WITH SCORE 81842.502
AT ITER 42 NEW BEST:: SOT 156241 SOS 109053 HAS SOPS 101672 HAS SOUS 81818 HAS SOUPS 81242 WITH SCORE 81351.053
AT ITER 43 NEW BEST:: SOT 155609 SOS 107297 HAS SOPS 100014 HAS SOUS 80931 HAS SOUPS 80355 WITH SCORE 80462.297
AT ITER 44 NEW BEST:: SOT 155469 SOS 107626 HAS SOPS 100343 HAS SOUS 80906 HAS SOUPS 80330 WITH SCORE 80437.626
AT ITER 46 NEW BEST:: SOT 155469 SOS 107284 HAS SOPS 100172 HAS SOUS 80906 HAS SOUPS 80330 WITH SCORE 80437.284
AT ITER 47 NEW BEST:: SOT 155469 SOS 107215 HAS SOPS 100103 HAS SOUS 80875 HAS SOUPS 80299 WITH SCORE 80406.215
AT ITER 50 NEW BEST:: SOT 155075 SOS 106811 HAS SOPS 99644 HAS SOUS 80419 HAS SOUPS 79843 WITH SCORE 79949.811
AT ITER 53 NEW BEST:: SOT 154923 SOS 106917 HAS SOPS 99556 HAS SOUS 80173 HAS SOUPS 79597 WITH SCORE 79703.917
AT ITER 54 NEW BEST:: SOT 154719 SOS 106778 HAS SOPS 99417 HAS SOUS 80099 HAS SOUPS 79523 WITH SCORE 79629.778
AT ITER 57 NEW BEST:: SOT 154719 SOS 106744 HAS SOPS 99417 HAS SOUS 80099 HAS SOUPS 79523 WITH SCORE 79629.744
AT ITER 59 NEW BEST:: SOT 154367 SOS 106392 HAS SOPS 99024 HAS SOUS 79670 HAS SOUPS 79094 WITH SCORE 79200.392
AT ITER 61 NEW BEST:: SOT 153071 SOS 104951 HAS SOPS 97566 HAS SOUS 78066 HAS SOUPS 77474 WITH SCORE 77578.951
AT ITER 64 NEW BEST:: SOT 153071 SOS 104951 HAS SOPS 97540 HAS SOUS 78040 HAS SOUPS 77448 WITH SCORE 77552.951
AT ITER 66 NEW BEST:: SOT 153071 SOS 104940 HAS SOPS 97529 HAS SOUS 78040 HAS SOUPS 77448 WITH SCORE 77552.94
AT ITER 69 NEW BEST:: SOT 153067 SOS 104936 HAS SOPS 97521 HAS SOUS 78031 HAS SOUPS 77439 WITH SCORE 77543.936
AT ITER 72 NEW BEST:: SOT 154298 SOS 106676 HAS SOPS 95259 HAS SOUS 79680 HAS SOUPS 75086 WITH SCORE 75192.676
AT ITER 74 NEW BEST:: SOT 154298 SOS 106583 HAS SOPS 95259 HAS SOUS 79680 HAS SOUPS 75086 WITH SCORE 75192.583
AT ITER 75 NEW BEST:: SOT 154078 SOS 106345 HAS SOPS 94947 HAS SOUS 79379 HAS SOUPS 74774 WITH SCORE 74880.345
AT ITER 76 NEW BEST:: SOT 154078 SOS 106345 HAS SOPS 94861 HAS SOUS 79351 HAS SOUPS 74746 WITH SCORE 74852.345
AT ITER 77 NEW BEST:: SOT 153529 SOS 104445 HAS SOPS 93229 HAS SOUS 77824 HAS SOUPS 73487 WITH SCORE 73591.445
AT ITER 78 NEW BEST:: SOT 153514 SOS 104374 HAS SOPS 93158 HAS SOUS 77697 HAS SOUPS 73360 WITH SCORE 73464.374
AT ITER 79 NEW BEST:: SOT 152622 SOS 103283 HAS SOPS 92063 HAS SOUS 76412 HAS SOUPS 72070 WITH SCORE 72173.283
AT ITER 80 NEW BEST:: SOT 152622 SOS 103356 HAS SOPS 91844 HAS SOUS 76193 HAS SOUPS 71851 WITH SCORE 71954.356
AT ITER 81 NEW BEST:: SOT 152622 SOS 103310 HAS SOPS 91844 HAS SOUS 76161 HAS SOUPS 71819 WITH SCORE 71922.31
AT ITER 82 NEW BEST:: SOT 152622 SOS 103430 HAS SOPS 91844 HAS SOUS 76114 HAS SOUPS 71772 WITH SCORE 71875.43
AT ITER 83 NEW BEST:: SOT 152498 SOS 102580 HAS SOPS 91220 HAS SOUS 75928 HAS SOUPS 71586 WITH SCORE 71688.58
AT ITER 84 NEW BEST:: SOT 151875 SOS 102016 HAS SOPS 91145 HAS SOUS 75407 HAS SOUPS 71025 WITH SCORE 71127.016
AT ITER 87 NEW BEST:: SOT 151666 SOS 101800 HAS SOPS 90726 HAS SOUS 74991 HAS SOUPS 70609 WITH SCORE 70710.8
AT ITER 88 NEW BEST:: SOT 151666 SOS 101727 HAS SOPS 90653 HAS SOUS 74960 HAS SOUPS 70578 WITH SCORE 70679.727
AT ITER 89 NEW BEST:: SOT 151666 SOS 101707 HAS SOPS 90653 HAS SOUS 74960 HAS SOUPS 70578 WITH SCORE 70679.707
AT ITER 91 NEW BEST:: SOT 151666 SOS 101707 HAS SOPS 90653 HAS SOUS 74867 HAS SOUPS 70485 WITH SCORE 70586.707
AT ITER 92 NEW BEST:: SOT 151666 SOS 101707 HAS SOPS 90653 HAS SOUS 74819 HAS SOUPS 70437 WITH SCORE 70538.707
AT ITER 93 NEW BEST:: SOT 151354 SOS 101330 HAS SOPS 90276 HAS SOUS 74377 HAS SOUPS 69995 WITH SCORE 70096.33
AT ITER 96 NEW BEST:: SOT 151094 SOS 101047 HAS SOPS 89960 HAS SOUS 74140 HAS SOUPS 69727 WITH SCORE 69828.047
AT ITER 97 NEW BEST:: SOT 150971 SOS 100816 HAS SOPS 89729 HAS SOUS 73911 HAS SOUPS 69498 WITH SCORE 69598.816
AT ITER 99 NEW BEST:: SOT 150887 SOS 100734 HAS SOPS 89645 HAS SOUS 73835 HAS SOUPS 69414 WITH SCORE 69514.734
AT ITER 102 NEW BEST:: SOT 150531 SOS 100482 HAS SOPS 89356 HAS SOUS 73553 HAS SOUPS 69128 WITH SCORE 69228.482
AT ITER 108 NEW BEST:: SOT 150431 SOS 100282 HAS SOPS 89156 HAS SOUS 73403 HAS SOUPS 68978 WITH SCORE 69078.282
AT ITER 109 NEW BEST:: SOT 150431 SOS 100191 HAS SOPS 89203 HAS SOUS 73403 HAS SOUPS 68978 WITH SCORE 69078.191
AT ITER 110 NEW BEST:: SOT 150487 SOS 99308 HAS SOPS 88437 HAS SOUS 73381 HAS SOUPS 68956 WITH SCORE 69055.308
AT ITER 111 NEW BEST:: SOT 150443 SOS 98905 HAS SOPS 88226 HAS SOUS 73288 HAS SOUPS 68863 WITH SCORE 68961.905
AT ITER 112 NEW BEST:: SOT 150443 SOS 97874 HAS SOPS 87346 HAS SOUS 73137 HAS SOUPS 68863 WITH SCORE 68960.874
AT ITER 117 NEW BEST:: SOT 150408 SOS 97630 HAS SOPS 87137 HAS SOUS 73067 HAS SOUPS 68828 WITH SCORE 68925.63
AT ITER 118 NEW BEST:: SOT 150408 SOS 97546 HAS SOPS 87053 HAS SOUS 73011 HAS SOUPS 68772 WITH SCORE 68869.546
AT ITER 125 NEW BEST:: SOT 150352 SOS 97402 HAS SOPS 86937 HAS SOUS 72895 HAS SOUPS 68656 WITH SCORE 68753.402
AT ITER 128 NEW BEST:: SOT 150033 SOS 97259 HAS SOPS 86884 HAS SOUS 72679 HAS SOUPS 68440 WITH SCORE 68537.259
AT ITER 130 NEW BEST:: SOT 149833 SOS 97122 HAS SOPS 86723 HAS SOUS 72494 HAS SOUPS 68255 WITH SCORE 68352.122
AT ITER 132 NEW BEST:: SOT 148994 SOS 96409 HAS SOPS 86128 HAS SOUS 71589 HAS SOUPS 67350 WITH SCORE 67446.409
AT ITER 133 NEW BEST:: SOT 148950 SOS 96365 HAS SOPS 86015 HAS SOUS 71476 HAS SOUPS 67237 WITH SCORE 67333.365
AT ITER 134 NEW BEST:: SOT 144823 SOS 94251 HAS SOPS 82425 HAS SOUS 68397 HAS SOUPS 64002 WITH SCORE 64096.251
AT ITER 137 NEW BEST:: SOT 144231 SOS 93901 HAS SOPS 81993 HAS SOUS 67969 HAS SOUPS 63554 WITH SCORE 63647.901
AT ITER 138 NEW BEST:: SOT 144159 SOS 93829 HAS SOPS 81852 HAS SOUS 67830 HAS SOUPS 63415 WITH SCORE 63508.829
AT ITER 141 NEW BEST:: SOT 144120 SOS 93751 HAS SOPS 81735 HAS SOUS 67751 HAS SOUPS 63336 WITH SCORE 63429.751
AT ITER 142 NEW BEST:: SOT 141242 SOS 96097 HAS SOPS 79423 HAS SOUS 66149 HAS SOUPS 61523 WITH SCORE 61619.097
AT ITER 143 NEW BEST:: SOT 141242 SOS 95318 HAS SOPS 78833 HAS SOUS 65951 HAS SOUPS 61471 WITH SCORE 61566.318
AT ITER 144 NEW BEST:: SOT 141202 SOS 94448 HAS SOPS 77963 HAS SOUS 65675 HAS SOUPS 61195 WITH SCORE 61289.448
AT ITER 147 NEW BEST:: SOT 140819 SOS 94017 HAS SOPS 77618 HAS SOUS 65371 HAS SOUPS 60891 WITH SCORE 60985.017
AT ITER 153 NEW BEST:: SOT 140634 SOS 93766 HAS SOPS 77367 HAS SOUS 65120 HAS SOUPS 60640 WITH SCORE 60733.766
AT ITER 160 NEW BEST:: SOT 140619 SOS 93739 HAS SOPS 77351 HAS SOUS 65104 HAS SOUPS 60624 WITH SCORE 60717.739
AT ITER 162 NEW BEST:: SOT 140578 SOS 93679 HAS SOPS 77209 HAS SOUS 65003 HAS SOUPS 60523 WITH SCORE 60616.679
AT ITER 166 NEW BEST:: SOT 140578 SOS 93647 HAS SOPS 77209 HAS SOUS 65003 HAS SOUPS 60523 WITH SCORE 60616.647
AT ITER 167 NEW BEST:: SOT 140531 SOS 93553 HAS SOPS 77115 HAS SOUS 64909 HAS SOUPS 60429 WITH SCORE 60522.553
AT ITER 172 NEW BEST:: SOT 140531 SOS 93553 HAS SOPS 77115 HAS SOUS 64893 HAS SOUPS 60413 WITH SCORE 60506.553
AT ITER 177 NEW BEST:: SOT 140478 SOS 93447 HAS SOPS 77009 HAS SOUS 64792 HAS SOUPS 60312 WITH SCORE 60405.447
AT ITER 178 NEW BEST:: SOT 140088 SOS 93568 HAS SOPS 77607 HAS SOUS 64679 HAS SOUPS 60199 WITH SCORE 60292.568
AT ITER 181 NEW BEST:: SOT 140028 SOS 93448 HAS SOPS 77586 HAS SOUS 64506 HAS SOUPS 60026 WITH SCORE 60119.448
AT ITER 183 NEW BEST:: SOT 139698 SOS 92924 HAS SOPS 77091 HAS SOUS 64067 HAS SOUPS 59587 WITH SCORE 59679.924
AT ITER 184 NEW BEST:: SOT 139694 SOS 92916 HAS SOPS 77083 HAS SOUS 64059 HAS SOUPS 59579 WITH SCORE 59671.916
AT ITER 187 NEW BEST:: SOT 139699 SOS 92121 HAS SOPS 76325 HAS SOUS 63941 HAS SOUPS 59461 WITH SCORE 59553.121
AT ITER 188 NEW BEST:: SOT 139699 SOS 92015 HAS SOPS 76307 HAS SOUS 63897 HAS SOUPS 59461 WITH SCORE 59553.015
AT ITER 190 NEW BEST:: SOT 139699 SOS 91706 HAS SOPS 75998 HAS SOUS 63820 HAS SOUPS 59384 WITH SCORE 59475.706
AT ITER 191 NEW BEST:: SOT 139573 SOS 91425 HAS SOPS 75695 HAS SOUS 63456 HAS SOUPS 59015 WITH SCORE 59106.425
AT ITER 193 NEW BEST:: SOT 139801 SOS 91556 HAS SOPS 75073 HAS SOUS 63611 HAS SOUPS 58417 WITH SCORE 58508.556
AT ITER 203 NEW BEST:: SOT 139801 SOS 91454 HAS SOPS 75014 HAS SOUS 63611 HAS SOUPS 58417 WITH SCORE 58508.454
AT ITER 207 NEW BEST:: SOT 139801 SOS 91418 HAS SOPS 75014 HAS SOUS 63611 HAS SOUPS 58417 WITH SCORE 58508.418
AT ITER 209 NEW BEST:: SOT 139648 SOS 91062 HAS SOPS 74603 HAS SOUS 63209 HAS SOUPS 58006 WITH SCORE 58097.062
AT ITER 211 NEW BEST:: SOT 139684 SOS 90940 HAS SOPS 74557 HAS SOUS 63087 HAS SOUPS 57960 WITH SCORE 58050.94
AT ITER 212 NEW BEST:: SOT 139674 SOS 90930 HAS SOPS 74542 HAS SOUS 63077 HAS SOUPS 57945 WITH SCORE 58035.93
AT ITER 215 NEW BEST:: SOT 139674 SOS 90921 HAS SOPS 74542 HAS SOUS 63077 HAS SOUPS 57945 WITH SCORE 58035.921
AT ITER 218 NEW BEST:: SOT 139674 SOS 90919 HAS SOPS 74431 HAS SOUS 63077 HAS SOUPS 57945 WITH SCORE 58035.919
AT ITER 219 NEW BEST:: SOT 139666 SOS 90887 HAS SOPS 74223 HAS SOUS 62965 HAS SOUPS 57833 WITH SCORE 57923.887
AT ITER 224 NEW BEST:: SOT 139416 SOS 90824 HAS SOPS 74267 HAS SOUS 62824 HAS SOUPS 57692 WITH SCORE 57782.824
AT ITER 227 NEW BEST:: SOT 139450 SOS 90232 HAS SOPS 73701 HAS SOUS 62605 HAS SOUPS 57473 WITH SCORE 57563.232
AT ITER 228 NEW BEST:: SOT 139331 SOS 89989 HAS SOPS 73344 HAS SOUS 62462 HAS SOUPS 57330 WITH SCORE 57419.989
AT ITER 231 NEW BEST:: SOT 139068 SOS 89624 HAS SOPS 72979 HAS SOUS 62165 HAS SOUPS 57033 WITH SCORE 57122.624
AT ITER 243 NEW BEST:: SOT 139068 SOS 89606 HAS SOPS 72823 HAS SOUS 62165 HAS SOUPS 57033 WITH SCORE 57122.606
AT ITER 244 NEW BEST:: SOT 134792 SOS 93136 HAS SOPS 71449 HAS SOUS 60065 HAS SOUPS 54933 WITH SCORE 55026.136
AT ITER 246 NEW BEST:: SOT 134654 SOS 93283 HAS SOPS 71351 HAS SOUS 60048 HAS SOUPS 54804 WITH SCORE 54897.283
AT ITER 252 NEW BEST:: SOT 134056 SOS 92685 HAS SOPS 71059 HAS SOUS 59756 HAS SOUPS 54512 WITH SCORE 54604.685
AT ITER 254 NEW BEST:: SOT 134056 SOS 92685 HAS SOPS 71059 HAS SOUS 59722 HAS SOUPS 54478 WITH SCORE 54570.685
AT ITER 259 NEW BEST:: SOT 134056 SOS 92669 HAS SOPS 71043 HAS SOUS 59722 HAS SOUPS 54478 WITH SCORE 54570.669
AT ITER 264 NEW BEST:: SOT 134026 SOS 92613 HAS SOPS 70919 HAS SOUS 59692 HAS SOUPS 54448 WITH SCORE 54540.613
AT ITER 271 NEW BEST:: SOT 133614 SOS 92399 HAS SOPS 71161 HAS SOUS 59654 HAS SOUPS 54423 WITH SCORE 54515.399
AT ITER 276 NEW BEST:: SOT 133390 SOS 92120 HAS SOPS 71003 HAS SOUS 59483 HAS SOUPS 54252 WITH SCORE 54344.12
AT ITER 278 NEW BEST:: SOT 133163 SOS 91929 HAS SOPS 70890 HAS SOUS 59325 HAS SOUPS 54094 WITH SCORE 54185.929
AT ITER 279 NEW BEST:: SOT 132785 SOS 91798 HAS SOPS 71089 HAS SOUS 59192 HAS SOUPS 53961 WITH SCORE 54052.798
AT ITER 283 NEW BEST:: SOT 132761 SOS 91736 HAS SOPS 71027 HAS SOUS 59126 HAS SOUPS 53895 WITH SCORE 53986.736
AT ITER 293 NEW BEST:: SOT 132789 SOS 91804 HAS SOPS 71111 HAS SOUS 58979 HAS SOUPS 53748 WITH SCORE 53839.804
AT ITER 296 NEW BEST:: SOT 132449 SOS 91464 HAS SOPS 70824 HAS SOUS 58707 HAS SOUPS 53476 WITH SCORE 53567.464
AT ITER 297 NEW BEST:: SOT 132449 SOS 91322 HAS SOPS 70722 HAS SOUS 58707 HAS SOUPS 53476 WITH SCORE 53567.322
AT ITER 299 NEW BEST:: SOT 131967 SOS 90946 HAS SOPS 70186 HAS SOUS 58266 HAS SOUPS 52929 WITH SCORE 53019.946
AT ITER 300 NEW BEST:: SOT 131951 SOS 90926 HAS SOPS 70154 HAS SOUS 58218 HAS SOUPS 52881 WITH SCORE 52971.926
AT ITER 301 NEW BEST:: SOT 131951 SOS 90896 HAS SOPS 70154 HAS SOUS 58218 HAS SOUPS 52881 WITH SCORE 52971.896
AT ITER 304 NEW BEST:: SOT 132039 SOS 91070 HAS SOPS 70073 HAS SOUS 58211 HAS SOUPS 52874 WITH SCORE 52965.07
AT ITER 308 NEW BEST:: SOT 131946 SOS 90921 HAS SOPS 69898 HAS SOUS 58071 HAS SOUPS 52734 WITH SCORE 52824.921
AT ITER 309 NEW BEST:: SOT 131929 SOS 90907 HAS SOPS 69847 HAS SOUS 58054 HAS SOUPS 52717 WITH SCORE 52807.907
AT ITER 313 NEW BEST:: SOT 131929 SOS 90899 HAS SOPS 69839 HAS SOUS 58054 HAS SOUPS 52717 WITH SCORE 52807.899
AT ITER 315 NEW BEST:: SOT 131928 SOS 90850 HAS SOPS 69796 HAS SOUS 58041 HAS SOUPS 52710 WITH SCORE 52800.85
AT ITER 335 NEW BEST:: SOT 131906 SOS 90828 HAS SOPS 69774 HAS SOUS 58023 HAS SOUPS 52692 WITH SCORE 52782.828
AT ITER 337 NEW BEST:: SOT 131735 SOS 90771 HAS SOPS 69784 HAS SOUS 57992 HAS SOUPS 52673 WITH SCORE 52763.771
AT ITER 344 NEW BEST:: SOT 131629 SOS 90665 HAS SOPS 69680 HAS SOUS 57890 HAS SOUPS 52571 WITH SCORE 52661.665
AT ITER 348 NEW BEST:: SOT 131563 SOS 90599 HAS SOPS 69548 HAS SOUS 57788 HAS SOUPS 52469 WITH SCORE 52559.599
AT ITER 351 NEW BEST:: SOT 131266 SOS 89995 HAS SOPS 69279 HAS SOUS 57327 HAS SOUPS 52153 WITH SCORE 52242.995
AT ITER 357 NEW BEST:: SOT 130960 SOS 89689 HAS SOPS 68956 HAS SOUS 56974 HAS SOUPS 51800 WITH SCORE 51889.689
AT ITER 361 NEW BEST:: SOT 130782 SOS 89511 HAS SOPS 68689 HAS SOUS 56618 HAS SOUPS 51444 WITH SCORE 51533.511
AT ITER 368 NEW BEST:: SOT 130590 SOS 89319 HAS SOPS 68608 HAS SOUS 56465 HAS SOUPS 51291 WITH SCORE 51380.319
AT ITER 370 NEW BEST:: SOT 130135 SOS 89734 HAS SOPS 68237 HAS SOUS 56178 HAS SOUPS 50976 WITH SCORE 51065.734
AT ITER 371 NEW BEST:: SOT 130135 SOS 89689 HAS SOPS 68237 HAS SOUS 56178 HAS SOUPS 50976 WITH SCORE 51065.689
AT ITER 372 NEW BEST:: SOT 130135 SOS 89663 HAS SOPS 68237 HAS SOUS 56178 HAS SOUPS 50976 WITH SCORE 51065.663
AT ITER 377 NEW BEST:: SOT 127552 SOS 89121 HAS SOPS 66652 HAS SOUS 54661 HAS SOUPS 49343 WITH SCORE 49432.121
AT ITER 379 NEW BEST:: SOT 127493 SOS 89092 HAS SOPS 66623 HAS SOUS 54582 HAS SOUPS 49264 WITH SCORE 49353.092
AT ITER 380 NEW BEST:: SOT 127494 SOS 88347 HAS SOPS 65331 HAS SOUS 54551 HAS SOUPS 49233 WITH SCORE 49321.347
AT ITER 382 NEW BEST:: SOT 127440 SOS 88305 HAS SOPS 65231 HAS SOUS 54439 HAS SOUPS 49121 WITH SCORE 49209.305
AT ITER 383 NEW BEST:: SOT 127127 SOS 88056 HAS SOPS 65136 HAS SOUS 54334 HAS SOUPS 49016 WITH SCORE 49104.056
AT ITER 384 NEW BEST:: SOT 127087 SOS 88016 HAS SOPS 65016 HAS SOUS 54294 HAS SOUPS 48976 WITH SCORE 49064.016
AT ITER 386 NEW BEST:: SOT 127033 SOS 87935 HAS SOPS 64935 HAS SOUS 54240 HAS SOUPS 48922 WITH SCORE 49009.935
AT ITER 389 NEW BEST:: SOT 127007 SOS 87709 HAS SOPS 64709 HAS SOUS 54214 HAS SOUPS 48896 WITH SCORE 48983.709
AT ITER 392 NEW BEST:: SOT 127007 SOS 87822 HAS SOPS 64709 HAS SOUS 54208 HAS SOUPS 48890 WITH SCORE 48977.822
AT ITER 396 NEW BEST:: SOT 126073 SOS 87062 HAS SOPS 64370 HAS SOUS 53514 HAS SOUPS 48204 WITH SCORE 48291.062
AT ITER 399 NEW BEST:: SOT 126048 SOS 86947 HAS SOPS 64255 HAS SOUS 53444 HAS SOUPS 48134 WITH SCORE 48220.947
AT ITER 400 NEW BEST:: SOT 126040 SOS 86875 HAS SOPS 64243 HAS SOUS 53432 HAS SOUPS 48122 WITH SCORE 48208.875
AT ITER 405 NEW BEST:: SOT 126040 SOS 86862 HAS SOPS 64256 HAS SOUS 53432 HAS SOUPS 48122 WITH SCORE 48208.862
AT ITER 406 NEW BEST:: SOT 125641 SOS 86500 HAS SOPS 64169 HAS SOUS 53105 HAS SOUPS 47787 WITH SCORE 47873.5
AT ITER 407 NEW BEST:: SOT 125571 SOS 86196 HAS SOPS 63865 HAS SOUS 52888 HAS SOUPS 47570 WITH SCORE 47656.196
AT ITER 408 NEW BEST:: SOT 125549 SOS 86174 HAS SOPS 63872 HAS SOUS 52861 HAS SOUPS 47543 WITH SCORE 47629.174
AT ITER 409 NEW BEST:: SOT 125549 SOS 86137 HAS SOPS 63864 HAS SOUS 52861 HAS SOUPS 47543 WITH SCORE 47629.137
AT ITER 411 NEW BEST:: SOT 125200 SOS 85881 HAS SOPS 63785 HAS SOUS 52549 HAS SOUPS 47236 WITH SCORE 47321.881
AT ITER 419 NEW BEST:: SOT 125035 SOS 85666 HAS SOPS 63570 HAS SOUS 52412 HAS SOUPS 47099 WITH SCORE 47184.666
AT ITER 426 NEW BEST:: SOT 125021 SOS 85638 HAS SOPS 63542 HAS SOUS 52384 HAS SOUPS 47071 WITH SCORE 47156.638
AT ITER 429 NEW BEST:: SOT 124749 SOS 85366 HAS SOPS 63202 HAS SOUS 52078 HAS SOUPS 46731 WITH SCORE 46816.366
AT ITER 434 NEW BEST:: SOT 124635 SOS 85252 HAS SOPS 62974 HAS SOUS 51888 HAS SOUPS 46541 WITH SCORE 46626.252
AT ITER 438 NEW BEST:: SOT 124695 SOS 85364 HAS SOPS 63173 HAS SOUS 51877 HAS SOUPS 46530 WITH SCORE 46615.364
AT ITER 439 NEW BEST:: SOT 124659 SOS 85328 HAS SOPS 63137 HAS SOUS 51851 HAS SOUPS 46504 WITH SCORE 46589.328
AT ITER 441 NEW BEST:: SOT 124559 SOS 85183 HAS SOPS 62947 HAS SOUS 51759 HAS SOUPS 46412 WITH SCORE 46497.183
AT ITER 442 NEW BEST:: SOT 124515 SOS 85139 HAS SOPS 62925 HAS SOUS 51726 HAS SOUPS 46379 WITH SCORE 46464.139
AT ITER 445 NEW BEST:: SOT 124515 SOS 85047 HAS SOPS 62833 HAS SOUS 51542 HAS SOUPS 46195 WITH SCORE 46280.047
AT ITER 446 NEW BEST:: SOT 124365 SOS 84550 HAS SOPS 62533 HAS SOUS 51130 HAS SOUPS 45915 WITH SCORE 45999.55
AT ITER 452 NEW BEST:: SOT 124355 SOS 84530 HAS SOPS 62513 HAS SOUS 51110 HAS SOUPS 45895 WITH SCORE 45979.53
AT ITER 454 NEW BEST:: SOT 124283 SOS 84458 HAS SOPS 62477 HAS SOUS 51065 HAS SOUPS 45859 WITH SCORE 45943.458
AT ITER 460 NEW BEST:: SOT 123817 SOS 84202 HAS SOPS 62558 HAS SOUS 51025 HAS SOUPS 45819 WITH SCORE 45903.202
AT ITER 466 NEW BEST:: SOT 123455 SOS 83801 HAS SOPS 62276 HAS SOUS 50721 HAS SOUPS 45515 WITH SCORE 45598.801
AT ITER 467 NEW BEST:: SOT 123254 SOS 83436 HAS SOPS 61899 HAS SOUS 50491 HAS SOUPS 45285 WITH SCORE 45368.436
AT ITER 471 NEW BEST:: SOT 122889 SOS 83071 HAS SOPS 61534 HAS SOUS 50331 HAS SOUPS 45125 WITH SCORE 45208.071
AT ITER 476 NEW BEST:: SOT 122880 SOS 82770 HAS SOPS 61286 HAS SOUS 50269 HAS SOUPS 45116 WITH SCORE 45198.77
AT ITER 477 NEW BEST:: SOT 122914 SOS 82590 HAS SOPS 61287 HAS SOUS 50119 HAS SOUPS 45080 WITH SCORE 45162.59
AT ITER 478 NEW BEST:: SOT 122906 SOS 82580 HAS SOPS 61245 HAS SOUS 50107 HAS SOUPS 45036 WITH SCORE 45118.58
AT ITER 481 NEW BEST:: SOT 122319 SOS 81993 HAS SOPS 60658 HAS SOUS 49516 HAS SOUPS 44445 WITH SCORE 44526.993
AT ITER 485 NEW BEST:: SOT 122231 SOS 81905 HAS SOPS 60526 HAS SOUS 49384 HAS SOUPS 44313 WITH SCORE 44394.905
AT ITER 490 NEW BEST:: SOT 122142 SOS 81775 HAS SOPS 60305 HAS SOUS 49166 HAS SOUPS 44092 WITH SCORE 44173.775
AT ITER 497 NEW BEST:: SOT 122055 SOS 81636 HAS SOPS 60079 HAS SOUS 48890 HAS SOUPS 43816 WITH SCORE 43897.636
AT ITER 501 NEW BEST:: SOT 121817 SOS 81398 HAS SOPS 59722 HAS SOUS 48486 HAS SOUPS 43399 WITH SCORE 43480.398
AT ITER 504 NEW BEST:: SOT 121529 SOS 81110 HAS SOPS 59434 HAS SOUS 48338 HAS SOUPS 43251 WITH SCORE 43332.11
AT ITER 509 NEW BEST:: SOT 121529 SOS 80854 HAS SOPS 59277 HAS SOUS 48296 HAS SOUPS 43209 WITH SCORE 43289.854
AT ITER 510 NEW BEST:: SOT 121526 SOS 80851 HAS SOPS 59274 HAS SOUS 48293 HAS SOUPS 43206 WITH SCORE 43286.851
AT ITER 520 NEW BEST:: SOT 121398 SOS 80723 HAS SOPS 59213 HAS SOUS 48146 HAS SOUPS 43095 WITH SCORE 43175.723
AT ITER 521 NEW BEST:: SOT 120304 SOS 81334 HAS SOPS 59041 HAS SOUS 47509 HAS SOUPS 42403 WITH SCORE 42484.334
AT ITER 524 NEW BEST:: SOT 120304 SOS 81263 HAS SOPS 59115 HAS SOUS 47509 HAS SOUPS 42403 WITH SCORE 42484.263
AT ITER 526 NEW BEST:: SOT 120260 SOS 81216 HAS SOPS 59046 HAS SOUS 47434 HAS SOUPS 42328 WITH SCORE 42409.216
AT ITER 527 NEW BEST:: SOT 119954 SOS 80910 HAS SOPS 58587 HAS SOUS 46941 HAS SOUPS 41835 WITH SCORE 41915.91
AT ITER 528 NEW BEST:: SOT 119960 SOS 80745 HAS SOPS 58422 HAS SOUS 46922 HAS SOUPS 41816 WITH SCORE 41896.745
AT ITER 531 NEW BEST:: SOT 119625 SOS 80632 HAS SOPS 58421 HAS SOUS 46812 HAS SOUPS 41706 WITH SCORE 41786.632
AT ITER 543 NEW BEST:: SOT 119302 SOS 80309 HAS SOPS 58098 HAS SOUS 46459 HAS SOUPS 41353 WITH SCORE 41433.309
AT ITER 549 NEW BEST:: SOT 119190 SOS 80292 HAS SOPS 58081 HAS SOUS 46411 HAS SOUPS 41305 WITH SCORE 41385.292
AT ITER 555 NEW BEST:: SOT 119183 SOS 80280 HAS SOPS 58064 HAS SOUS 46394 HAS SOUPS 41288 WITH SCORE 41368.28
AT ITER 556 NEW BEST:: SOT 119163 SOS 80265 HAS SOPS 58039 HAS SOUS 46369 HAS SOUPS 41258 WITH SCORE 41338.265
AT ITER 560 NEW BEST:: SOT 119162 SOS 80219 HAS SOPS 58087 HAS SOUS 46366 HAS SOUPS 41255 WITH SCORE 41335.219
AT ITER 561 NEW BEST:: SOT 119073 SOS 80130 HAS SOPS 57998 HAS SOUS 46271 HAS SOUPS 41160 WITH SCORE 41240.13
AT ITER 563 NEW BEST:: SOT 119045 SOS 80047 HAS SOPS 57860 HAS SOUS 46270 HAS SOUPS 41159 WITH SCORE 41239.047
AT ITER 567 NEW BEST:: SOT 119003 SOS 79963 HAS SOPS 57872 HAS SOUS 46261 HAS SOUPS 41150 WITH SCORE 41229.963
AT ITER 568 NEW BEST:: SOT 118908 SOS 79831 HAS SOPS 57793 HAS SOUS 46175 HAS SOUPS 41064 WITH SCORE 41143.831
AT ITER 570 NEW BEST:: SOT 118549 SOS 79472 HAS SOPS 57513 HAS SOUS 45849 HAS SOUPS 40751 WITH SCORE 40830.472
AT ITER 571 NEW BEST:: SOT 118583 SOS 79168 HAS SOPS 57499 HAS SOUS 45550 HAS SOUPS 40742 WITH SCORE 40821.168
AT ITER 574 NEW BEST:: SOT 118557 SOS 79135 HAS SOPS 57466 HAS SOUS 45519 HAS SOUPS 40711 WITH SCORE 40790.135
AT ITER 579 NEW BEST:: SOT 118557 SOS 78906 HAS SOPS 57237 HAS SOUS 45465 HAS SOUPS 40657 WITH SCORE 40735.906
AT ITER 582 NEW BEST:: SOT 118465 SOS 78675 HAS SOPS 57018 HAS SOUS 45360 HAS SOUPS 40552 WITH SCORE 40630.675
AT ITER 587 NEW BEST:: SOT 118407 SOS 78588 HAS SOPS 56931 HAS SOUS 45285 HAS SOUPS 40477 WITH SCORE 40555.588
AT ITER 589 NEW BEST:: SOT 118176 SOS 78211 HAS SOPS 56450 HAS SOUS 44856 HAS SOUPS 40048 WITH SCORE 40126.211
AT ITER 594 NEW BEST:: SOT 118030 SOS 77992 HAS SOPS 56523 HAS SOUS 44856 HAS SOUPS 40048 WITH SCORE 40125.992
AT ITER 602 NEW BEST:: SOT 117977 SOS 77811 HAS SOPS 56199 HAS SOUS 44753 HAS SOUPS 39945 WITH SCORE 40022.811
AT ITER 617 NEW BEST:: SOT 117644 SOS 77496 HAS SOPS 56320 HAS SOUS 44620 HAS SOUPS 39812 WITH SCORE 39889.496
AT ITER 626 NEW BEST:: SOT 117347 SOS 77184 HAS SOPS 56044 HAS SOUS 44293 HAS SOUPS 39485 WITH SCORE 39562.184
AT ITER 629 NEW BEST:: SOT 117347 SOS 77142 HAS SOPS 56002 HAS SOUS 44293 HAS SOUPS 39485 WITH SCORE 39562.142
AT ITER 644 NEW BEST:: SOT 117357 SOS 77152 HAS SOPS 56017 HAS SOUS 44211 HAS SOUPS 39403 WITH SCORE 39480.152
AT ITER 647 NEW BEST:: SOT 117231 SOS 76946 HAS SOPS 55811 HAS SOUS 44005 HAS SOUPS 39197 WITH SCORE 39273.946
AT ITER 649 NEW BEST:: SOT 117078 SOS 76878 HAS SOPS 55850 HAS SOUS 43876 HAS SOUPS 39076 WITH SCORE 39152.878
AT ITER 652 NEW BEST:: SOT 117052 SOS 76864 HAS SOPS 55742 HAS SOUS 43864 HAS SOUPS 39064 WITH SCORE 39140.864
AT ITER 653 NEW BEST:: SOT 116902 SOS 76714 HAS SOPS 55442 HAS SOUS 43621 HAS SOUPS 38821 WITH SCORE 38897.714
AT ITER 655 NEW BEST:: SOT 116902 SOS 76509 HAS SOPS 55237 HAS SOUS 43531 HAS SOUPS 38731 WITH SCORE 38807.509
AT ITER 661 NEW BEST:: SOT 116778 SOS 76385 HAS SOPS 54961 HAS SOUS 43250 HAS SOUPS 38450 WITH SCORE 38526.385
AT ITER 663 NEW BEST:: SOT 116769 SOS 76376 HAS SOPS 54943 HAS SOUS 43223 HAS SOUPS 38423 WITH SCORE 38499.376
AT ITER 675 NEW BEST:: SOT 116733 SOS 76505 HAS SOPS 55237 HAS SOUS 43187 HAS SOUPS 38387 WITH SCORE 38463.505
AT ITER 678 NEW BEST:: SOT 116733 SOS 76481 HAS SOPS 55221 HAS SOUS 43187 HAS SOUPS 38387 WITH SCORE 38463.481
AT ITER 679 NEW BEST:: SOT 116681 SOS 76416 HAS SOPS 55143 HAS SOUS 43059 HAS SOUPS 38259 WITH SCORE 38335.416
AT ITER 682 NEW BEST:: SOT 116683 SOS 76375 HAS SOPS 55102 HAS SOUS 43033 HAS SOUPS 38233 WITH SCORE 38309.375
AT ITER 685 NEW BEST:: SOT 114026 SOS 76189 HAS SOPS 53788 HAS SOUS 41449 HAS SOUPS 36534 WITH SCORE 36610.189
AT ITER 687 NEW BEST:: SOT 113287 SOS 78273 HAS SOPS 54203 HAS SOUS 41194 HAS SOUPS 36216 WITH SCORE 36294.273
AT ITER 695 NEW BEST:: SOT 113241 SOS 78129 HAS SOPS 54111 HAS SOUS 41115 HAS SOUPS 36137 WITH SCORE 36215.129
AT ITER 699 NEW BEST:: SOT 113241 SOS 78129 HAS SOPS 54111 HAS SOUS 41112 HAS SOUPS 36134 WITH SCORE 36212.129
AT ITER 701 NEW BEST:: SOT 113233 SOS 78125 HAS SOPS 54111 HAS SOUS 41104 HAS SOUPS 36126 WITH SCORE 36204.125
AT ITER 703 NEW BEST:: SOT 113233 SOS 78111 HAS SOPS 54097 HAS SOUS 41104 HAS SOUPS 36126 WITH SCORE 36204.111
AT ITER 706 NEW BEST:: SOT 113242 SOS 78129 HAS SOPS 54111 HAS SOUS 41063 HAS SOUPS 36085 WITH SCORE 36163.129
AT ITER 707 NEW BEST:: SOT 113263 SOS 78050 HAS SOPS 54118 HAS SOUS 41022 HAS SOUPS 36044 WITH SCORE 36122.05
AT ITER 710 NEW BEST:: SOT 113209 SOS 78024 HAS SOPS 54037 HAS SOUS 40926 HAS SOUPS 35948 WITH SCORE 36026.024
AT ITER 730 NEW BEST:: SOT 112999 SOS 77874 HAS SOPS 53989 HAS SOUS 40828 HAS SOUPS 35880 WITH SCORE 35957.874
AT ITER 731 NEW BEST:: SOT 112681 SOS 77526 HAS SOPS 53923 HAS SOUS 40493 HAS SOUPS 35634 WITH SCORE 35711.526
AT ITER 735 NEW BEST:: SOT 112577 SOS 77422 HAS SOPS 53767 HAS SOUS 40338 HAS SOUPS 35479 WITH SCORE 35556.422
AT ITER 736 NEW BEST:: SOT 112590 SOS 77421 HAS SOPS 53792 HAS SOUS 40325 HAS SOUPS 35466 WITH SCORE 35543.421
AT ITER 741 NEW BEST:: SOT 112502 SOS 77354 HAS SOPS 53725 HAS SOUS 40258 HAS SOUPS 35399 WITH SCORE 35476.354
AT ITER 744 NEW BEST:: SOT 112480 SOS 77332 HAS SOPS 53673 HAS SOUS 40232 HAS SOUPS 35373 WITH SCORE 35450.332
AT ITER 746 NEW BEST:: SOT 112374 SOS 77253 HAS SOPS 53567 HAS SOUS 40180 HAS SOUPS 35294 WITH SCORE 35371.253
AT ITER 765 NEW BEST:: SOT 112346 SOS 77225 HAS SOPS 53525 HAS SOUS 40123 HAS SOUPS 35237 WITH SCORE 35314.225
AT ITER 766 NEW BEST:: SOT 111946 SOS 77042 HAS SOPS 53342 HAS SOUS 40097 HAS SOUPS 35211 WITH SCORE 35288.042
AT ITER 768 NEW BEST:: SOT 111958 SOS 77054 HAS SOPS 53329 HAS SOUS 40095 HAS SOUPS 35209 WITH SCORE 35286.054
AT ITER 780 NEW BEST:: SOT 111712 SOS 76808 HAS SOPS 52948 HAS SOUS 39864 HAS SOUPS 34918 WITH SCORE 34994.808
AT ITER 784 NEW BEST:: SOT 111566 SOS 76644 HAS SOPS 52784 HAS SOUS 39763 HAS SOUPS 34817 WITH SCORE 34893.644
AT ITER 785 NEW BEST:: SOT 111587 SOS 76653 HAS SOPS 52606 HAS SOUS 39682 HAS SOUPS 34736 WITH SCORE 34812.653
AT ITER 787 NEW BEST:: SOT 111587 SOS 76647 HAS SOPS 52594 HAS SOUS 39680 HAS SOUPS 34734 WITH SCORE 34810.647
AT ITER 793 NEW BEST:: SOT 111581 SOS 76641 HAS SOPS 52585 HAS SOUS 39671 HAS SOUPS 34725 WITH SCORE 34801.641
AT ITER 799 NEW BEST:: SOT 111581 SOS 76641 HAS SOPS 52585 HAS SOUS 39650 HAS SOUPS 34704 WITH SCORE 34780.641
AT ITER 803 NEW BEST:: SOT 111529 SOS 76589 HAS SOPS 52507 HAS SOUS 39573 HAS SOUPS 34627 WITH SCORE 34703.589
AT ITER 805 NEW BEST:: SOT 111529 SOS 76573 HAS SOPS 52507 HAS SOUS 39573 HAS SOUPS 34627 WITH SCORE 34703.573
AT ITER 810 NEW BEST:: SOT 111502 SOS 76555 HAS SOPS 52480 HAS SOUS 39564 HAS SOUPS 34609 WITH SCORE 34685.555
AT ITER 816 NEW BEST:: SOT 111499 SOS 76553 HAS SOPS 52476 HAS SOUS 39560 HAS SOUPS 34604 WITH SCORE 34680.553
AT ITER 830 NEW BEST:: SOT 111320 SOS 76273 HAS SOPS 52121 HAS SOUS 39293 HAS SOUPS 34337 WITH SCORE 34413.273
AT ITER 838 NEW BEST:: SOT 111276 SOS 76118 HAS SOPS 51834 HAS SOUS 39205 HAS SOUPS 34249 WITH SCORE 34325.118
AT ITER 839 NEW BEST:: SOT 111287 SOS 76108 HAS SOPS 51803 HAS SOUS 39200 HAS SOUPS 34244 WITH SCORE 34320.108
AT ITER 842 NEW BEST:: SOT 111252 SOS 76038 HAS SOPS 51698 HAS SOUS 39165 HAS SOUPS 34209 WITH SCORE 34285.038
AT ITER 847 NEW BEST:: SOT 111190 SOS 75942 HAS SOPS 51326 HAS SOUS 39193 HAS SOUPS 34137 WITH SCORE 34212.942
AT ITER 850 NEW BEST:: SOT 111060 SOS 75755 HAS SOPS 51139 HAS SOUS 38995 HAS SOUPS 33939 WITH SCORE 34014.755
AT ITER 853 NEW BEST:: SOT 111078 SOS 75719 HAS SOPS 51139 HAS SOUS 38977 HAS SOUPS 33921 WITH SCORE 33996.719
AT ITER 854 NEW BEST:: SOT 110978 SOS 75619 HAS SOPS 51073 HAS SOUS 38911 HAS SOUPS 33855 WITH SCORE 33930.619
AT ITER 856 NEW BEST:: SOT 110978 SOS 75551 HAS SOPS 51073 HAS SOUS 38911 HAS SOUPS 33855 WITH SCORE 33930.551
AT ITER 859 NEW BEST:: SOT 110959 SOS 75540 HAS SOPS 50932 HAS SOUS 38844 HAS SOUPS 33788 WITH SCORE 33863.54
AT ITER 861 NEW BEST:: SOT 110911 SOS 75492 HAS SOPS 50889 HAS SOUS 38792 HAS SOUPS 33736 WITH SCORE 33811.492
AT ITER 862 NEW BEST:: SOT 110911 SOS 75492 HAS SOPS 50857 HAS SOUS 38780 HAS SOUPS 33724 WITH SCORE 33799.492
AT ITER 872 NEW BEST:: SOT 110749 SOS 75330 HAS SOPS 50733 HAS SOUS 38629 HAS SOUPS 33592 WITH SCORE 33667.33
AT ITER 874 NEW BEST:: SOT 110740 SOS 75272 HAS SOPS 50655 HAS SOUS 38585 HAS SOUPS 33548 WITH SCORE 33623.272
AT ITER 876 NEW BEST:: SOT 110646 SOS 75232 HAS SOPS 50521 HAS SOUS 38465 HAS SOUPS 33374 WITH SCORE 33449.232
AT ITER 878 NEW BEST:: SOT 110646 SOS 75074 HAS SOPS 50419 HAS SOUS 38465 HAS SOUPS 33374 WITH SCORE 33449.074
AT ITER 883 NEW BEST:: SOT 110588 SOS 75024 HAS SOPS 50245 HAS SOUS 38389 HAS SOUPS 33298 WITH SCORE 33373.024
AT ITER 893 NEW BEST:: SOT 110567 SOS 74982 HAS SOPS 50203 HAS SOUS 38368 HAS SOUPS 33277 WITH SCORE 33351.982
AT ITER 894 NEW BEST:: SOT 110435 SOS 74850 HAS SOPS 50005 HAS SOUS 38169 HAS SOUPS 33078 WITH SCORE 33152.85
AT ITER 901 NEW BEST:: SOT 110267 SOS 74682 HAS SOPS 49848 HAS SOUS 37991 HAS SOUPS 32909 WITH SCORE 32983.682
AT ITER 911 NEW BEST:: SOT 110261 SOS 74704 HAS SOPS 49839 HAS SOUS 37982 HAS SOUPS 32900 WITH SCORE 32974.704
AT ITER 922 NEW BEST:: SOT 110179 SOS 74658 HAS SOPS 49707 HAS SOUS 37943 HAS SOUPS 32861 WITH SCORE 32935.658
AT ITER 924 NEW BEST:: SOT 110179 SOS 74628 HAS SOPS 49707 HAS SOUS 37928 HAS SOUPS 32861 WITH SCORE 32935.628
AT ITER 929 NEW BEST:: SOT 110180 SOS 74633 HAS SOPS 49706 HAS SOUS 37923 HAS SOUPS 32856 WITH SCORE 32930.633
AT ITER 940 NEW BEST:: SOT 109667 SOS 76443 HAS SOPS 49658 HAS SOUS 37850 HAS SOUPS 32727 WITH SCORE 32803.443
AT ITER 942 NEW BEST:: SOT 109671 SOS 76288 HAS SOPS 49666 HAS SOUS 37711 HAS SOUPS 32715 WITH SCORE 32791.288
AT ITER 948 NEW BEST:: SOT 109719 SOS 76336 HAS SOPS 49714 HAS SOUS 37696 HAS SOUPS 32700 WITH SCORE 32776.336
AT ITER 950 NEW BEST:: SOT 109529 SOS 76079 HAS SOPS 49607 HAS SOUS 37525 HAS SOUPS 32529 WITH SCORE 32605.079
AT ITER 953 NEW BEST:: SOT 109424 SOS 76134 HAS SOPS 49482 HAS SOUS 37521 HAS SOUPS 32465 WITH SCORE 32541.134
AT ITER 964 NEW BEST:: SOT 109424 SOS 76110 HAS SOPS 49450 HAS SOUS 37489 HAS SOUPS 32433 WITH SCORE 32509.11
AT ITER 975 NEW BEST:: SOT 109406 SOS 76074 HAS SOPS 49484 HAS SOUS 37486 HAS SOUPS 32430 WITH SCORE 32506.074
AT ITER 980 NEW BEST:: SOT 109279 SOS 76090 HAS SOPS 49313 HAS SOUS 37530 HAS SOUPS 32331 WITH SCORE 32407.09
AT ITER 996 NEW BEST:: SOT 109270 SOS 76083 HAS SOPS 49277 HAS SOUS 37487 HAS SOUPS 32288 WITH SCORE 32364.083
AT ITER 1001 NEW BEST:: SOT 109268 SOS 76081 HAS SOPS 49274 HAS SOUS 37479 HAS SOUPS 32280 WITH SCORE 32356.081
AT ITER 1002 NEW BEST:: SOT 109268 SOS 76081 HAS SOPS 49274 HAS SOUS 37469 HAS SOUPS 32270 WITH SCORE 32346.081
AT ITER 1014 NEW BEST:: SOT 109136 SOS 75949 HAS SOPS 49067 HAS SOUS 37197 HAS SOUPS 31998 WITH SCORE 32073.949
AT ITER 1026 NEW BEST:: SOT 109115 SOS 75928 HAS SOPS 49046 HAS SOUS 37186 HAS SOUPS 31987 WITH SCORE 32062.928
AT ITER 1032 NEW BEST:: SOT 108922 SOS 75669 HAS SOPS 48985 HAS SOUS 37059 HAS SOUPS 31860 WITH SCORE 31935.669
AT ITER 1042 NEW BEST:: SOT 108922 SOS 75649 HAS SOPS 48990 HAS SOUS 37059 HAS SOUPS 31860 WITH SCORE 31935.649
AT ITER 1045 NEW BEST:: SOT 108894 SOS 75621 HAS SOPS 48962 HAS SOUS 37059 HAS SOUPS 31860 WITH SCORE 31935.621
AT ITER 1046 NEW BEST:: SOT 108785 SOS 75461 HAS SOPS 48751 HAS SOUS 36818 HAS SOUPS 31619 WITH SCORE 31694.461
AT ITER 1049 NEW BEST:: SOT 108739 SOS 75327 HAS SOPS 48704 HAS SOUS 36804 HAS SOUPS 31605 WITH SCORE 31680.327
AT ITER 1052 NEW BEST:: SOT 108672 SOS 75213 HAS SOPS 48670 HAS SOUS 36694 HAS SOUPS 31554 WITH SCORE 31629.213
AT ITER 1054 NEW BEST:: SOT 108666 SOS 75207 HAS SOPS 48628 HAS SOUS 36596 HAS SOUPS 31456 WITH SCORE 31531.207
AT ITER 1060 NEW BEST:: SOT 108790 SOS 75299 HAS SOPS 48596 HAS SOUS 36656 HAS SOUPS 31455 WITH SCORE 31530.299
AT ITER 1066 NEW BEST:: SOT 108766 SOS 75251 HAS SOPS 48524 HAS SOUS 36608 HAS SOUPS 31407 WITH SCORE 31482.251
AT ITER 1073 NEW BEST:: SOT 108680 SOS 75165 HAS SOPS 48352 HAS SOUS 36434 HAS SOUPS 31233 WITH SCORE 31308.165
AT ITER 1075 NEW BEST:: SOT 108668 SOS 75082 HAS SOPS 48279 HAS SOUS 36380 HAS SOUPS 31179 WITH SCORE 31254.082
AT ITER 1079 NEW BEST:: SOT 108668 SOS 75063 HAS SOPS 48260 HAS SOUS 36369 HAS SOUPS 31168 WITH SCORE 31243.063
AT ITER 1080 NEW BEST:: SOT 108528 SOS 74806 HAS SOPS 48043 HAS SOUS 36222 HAS SOUPS 31021 WITH SCORE 31095.806
AT ITER 1090 NEW BEST:: SOT 108488 SOS 74746 HAS SOPS 47983 HAS SOUS 36142 HAS SOUPS 30941 WITH SCORE 31015.746
AT ITER 1091 NEW BEST:: SOT 108486 SOS 74744 HAS SOPS 47980 HAS SOUS 36139 HAS SOUPS 30938 WITH SCORE 31012.744
AT ITER 1133 NEW BEST:: SOT 108486 SOS 74744 HAS SOPS 47980 HAS SOUS 36134 HAS SOUPS 30933 WITH SCORE 31007.744
AT ITER 1142 NEW BEST:: SOT 108457 SOS 74715 HAS SOPS 47937 HAS SOUS 36017 HAS SOUPS 30875 WITH SCORE 30949.715
AT ITER 1151 NEW BEST:: SOT 108457 SOS 74715 HAS SOPS 47937 HAS SOUS 36006 HAS SOUPS 30864 WITH SCORE 30938.715
AT ITER 1161 NEW BEST:: SOT 108403 SOS 74511 HAS SOPS 47841 HAS SOUS 35994 HAS SOUPS 30852 WITH SCORE 30926.511
AT ITER 1170 NEW BEST:: SOT 108403 SOS 74486 HAS SOPS 47866 HAS SOUS 35994 HAS SOUPS 30852 WITH SCORE 30926.486
AT ITER 1195 NEW BEST:: SOT 108369 SOS 74452 HAS SOPS 47680 HAS SOUS 35973 HAS SOUPS 30767 WITH SCORE 30841.452
AT ITER 1197 NEW BEST:: SOT 108291 SOS 74374 HAS SOPS 47524 HAS SOUS 35789 HAS SOUPS 30583 WITH SCORE 30657.374
AT ITER 1201 NEW BEST:: SOT 108185 SOS 74333 HAS SOPS 47487 HAS SOUS 35714 HAS SOUPS 30508 WITH SCORE 30582.333
AT ITER 1202 NEW BEST:: SOT 108094 SOS 74251 HAS SOPS 47437 HAS SOUS 35651 HAS SOUPS 30445 WITH SCORE 30519.251
AT ITER 1205 NEW BEST:: SOT 108055 SOS 74173 HAS SOPS 47320 HAS SOUS 35594 HAS SOUPS 30388 WITH SCORE 30462.173
AT ITER 1207 NEW BEST:: SOT 108048 SOS 74109 HAS SOPS 47262 HAS SOUS 35536 HAS SOUPS 30330 WITH SCORE 30404.109
AT ITER 1209 NEW BEST:: SOT 107918 SOS 73945 HAS SOPS 47169 HAS SOUS 35443 HAS SOUPS 30237 WITH SCORE 30310.945
AT ITER 1217 NEW BEST:: SOT 107839 SOS 73787 HAS SOPS 47011 HAS SOUS 35206 HAS SOUPS 30000 WITH SCORE 30073.787
AT ITER 1232 NEW BEST:: SOT 107847 SOS 73765 HAS SOPS 46995 HAS SOUS 35190 HAS SOUPS 29984 WITH SCORE 30057.765
AT ITER 1244 NEW BEST:: SOT 107694 SOS 73612 HAS SOPS 46815 HAS SOUS 35140 HAS SOUPS 29934 WITH SCORE 30007.612
AT ITER 1259 NEW BEST:: SOT 107694 SOS 73612 HAS SOPS 46815 HAS SOUS 35114 HAS SOUPS 29908 WITH SCORE 29981.612
AT ITER 1267 NEW BEST:: SOT 107533 SOS 73451 HAS SOPS 46654 HAS SOUS 35058 HAS SOUPS 29852 WITH SCORE 29925.451
AT ITER 1270 NEW BEST:: SOT 107464 SOS 73382 HAS SOPS 46512 HAS SOUS 34951 HAS SOUPS 29745 WITH SCORE 29818.382
AT ITER 1273 NEW BEST:: SOT 107413 SOS 73314 HAS SOPS 46427 HAS SOUS 34866 HAS SOUPS 29660 WITH SCORE 29733.314
AT ITER 1282 NEW BEST:: SOT 106364 SOS 79096 HAS SOPS 48161 HAS SOUS 34936 HAS SOUPS 29598 WITH SCORE 29677.096
AT ITER 1289 NEW BEST:: SOT 106333 SOS 79046 HAS SOPS 48105 HAS SOUS 34904 HAS SOUPS 29566 WITH SCORE 29645.046
AT ITER 1305 NEW BEST:: SOT 106261 SOS 78974 HAS SOPS 48033 HAS SOUS 34775 HAS SOUPS 29437 WITH SCORE 29515.974
AT ITER 1307 NEW BEST:: SOT 106241 SOS 78954 HAS SOPS 48000 HAS SOUS 34744 HAS SOUPS 29406 WITH SCORE 29484.954
AT ITER 1312 NEW BEST:: SOT 106239 SOS 78952 HAS SOPS 47996 HAS SOUS 34739 HAS SOUPS 29400 WITH SCORE 29478.952
AT ITER 1316 NEW BEST:: SOT 106096 SOS 78763 HAS SOPS 47820 HAS SOUS 34471 HAS SOUPS 29132 WITH SCORE 29210.763
AT ITER 1324 NEW BEST:: SOT 106046 SOS 78713 HAS SOPS 47745 HAS SOUS 34396 HAS SOUPS 29057 WITH SCORE 29135.713
AT ITER 1326 NEW BEST:: SOT 106514 SOS 73469 HAS SOPS 45826 HAS SOUS 34044 HAS SOUPS 28806 WITH SCORE 28879.469
AT ITER 1331 NEW BEST:: SOT 106491 SOS 73446 HAS SOPS 45803 HAS SOUS 34021 HAS SOUPS 28783 WITH SCORE 28856.446
AT ITER 1340 NEW BEST:: SOT 106505 SOS 73474 HAS SOPS 45831 HAS SOUS 34002 HAS SOUPS 28764 WITH SCORE 28837.474
AT ITER 1343 NEW BEST:: SOT 106390 SOS 73357 HAS SOPS 45867 HAS SOUS 33948 HAS SOUPS 28710 WITH SCORE 28783.357
AT ITER 1348 NEW BEST:: SOT 106280 SOS 73247 HAS SOPS 45702 HAS SOUS 33804 HAS SOUPS 28566 WITH SCORE 28639.247
AT ITER 1355 NEW BEST:: SOT 106292 SOS 73259 HAS SOPS 45684 HAS SOUS 33795 HAS SOUPS 28557 WITH SCORE 28630.259
AT ITER 1363 NEW BEST:: SOT 106102 SOS 73586 HAS SOPS 45525 HAS SOUS 33794 HAS SOUPS 28283 WITH SCORE 28356.586
AT ITER 1368 NEW BEST:: SOT 106097 SOS 73428 HAS SOPS 45479 HAS SOUS 33639 HAS SOUPS 28240 WITH SCORE 28313.428
AT ITER 1377 NEW BEST:: SOT 106097 SOS 73408 HAS SOPS 45459 HAS SOUS 33639 HAS SOUPS 28240 WITH SCORE 28313.408
AT ITER 1393 NEW BEST:: SOT 106085 SOS 73390 HAS SOPS 45435 HAS SOUS 33621 HAS SOUPS 28222 WITH SCORE 28295.39
AT ITER 1397 NEW BEST:: SOT 106062 SOS 73344 HAS SOPS 45389 HAS SOUS 33601 HAS SOUPS 28202 WITH SCORE 28275.344
AT ITER 1403 NEW BEST:: SOT 105991 SOS 73271 HAS SOPS 45354 HAS SOUS 33526 HAS SOUPS 28127 WITH SCORE 28200.271
AT ITER 1413 NEW BEST:: SOT 105991 SOS 73226 HAS SOPS 45294 HAS SOUS 33508 HAS SOUPS 28109 WITH SCORE 28182.226
AT ITER 1424 NEW BEST:: SOT 105991 SOS 73214 HAS SOPS 45282 HAS SOUS 33506 HAS SOUPS 28107 WITH SCORE 28180.214
AT ITER 1435 NEW BEST:: SOT 105989 SOS 73102 HAS SOPS 45192 HAS SOUS 33476 HAS SOUPS 28093 WITH SCORE 28166.102
AT ITER 1437 NEW BEST:: SOT 105873 SOS 72986 HAS SOPS 45018 HAS SOUS 33174 HAS SOUPS 27791 WITH SCORE 27863.986
AT ITER 1440 NEW BEST:: SOT 105873 SOS 72982 HAS SOPS 45014 HAS SOUS 33174 HAS SOUPS 27791 WITH SCORE 27863.982
AT ITER 1445 NEW BEST:: SOT 105773 SOS 72882 HAS SOPS 44833 HAS SOUS 33028 HAS SOUPS 27645 WITH SCORE 27717.882
AT ITER 1450 NEW BEST:: SOT 105771 SOS 72880 HAS SOPS 44830 HAS SOUS 33020 HAS SOUPS 27637 WITH SCORE 27709.88
AT ITER 1453 NEW BEST:: SOT 105891 SOS 73021 HAS SOPS 44829 HAS SOUS 33017 HAS SOUPS 27634 WITH SCORE 27707.021
AT ITER 1454 NEW BEST:: SOT 105833 SOS 72963 HAS SOPS 44742 HAS SOUS 32878 HAS SOUPS 27495 WITH SCORE 27567.963
AT ITER 1455 NEW BEST:: SOT 105822 SOS 73025 HAS SOPS 44856 HAS SOUS 32867 HAS SOUPS 27484 WITH SCORE 27557.025
AT ITER 1457 NEW BEST:: SOT 105818 SOS 73021 HAS SOPS 44845 HAS SOUS 32861 HAS SOUPS 27478 WITH SCORE 27551.021
AT ITER 1468 NEW BEST:: SOT 105782 SOS 72985 HAS SOPS 44863 HAS SOUS 32826 HAS SOUPS 27465 WITH SCORE 27537.985
AT ITER 1469 NEW BEST:: SOT 105856 SOS 73105 HAS SOPS 44778 HAS SOUS 32790 HAS SOUPS 27429 WITH SCORE 27502.105
AT ITER 1479 NEW BEST:: SOT 105830 SOS 73079 HAS SOPS 44752 HAS SOUS 32760 HAS SOUPS 27399 WITH SCORE 27472.079
AT ITER 1482 NEW BEST:: SOT 105738 SOS 72987 HAS SOPS 44713 HAS SOUS 32721 HAS SOUPS 27360 WITH SCORE 27432.987
AT ITER 1498 NEW BEST:: SOT 105738 SOS 72987 HAS SOPS 44713 HAS SOUS 32710 HAS SOUPS 27349 WITH SCORE 27421.987
AT ITER 1501 NEW BEST:: SOT 105573 SOS 72822 HAS SOPS 44676 HAS SOUS 32561 HAS SOUPS 27328 WITH SCORE 27400.822
AT ITER 1507 NEW BEST:: SOT 105567 SOS 72816 HAS SOPS 44667 HAS SOUS 32552 HAS SOUPS 27319 WITH SCORE 27391.816
AT ITER 1514 NEW BEST:: SOT 105567 SOS 72799 HAS SOPS 44599 HAS SOUS 32535 HAS SOUPS 27285 WITH SCORE 27357.799
AT ITER 1516 NEW BEST:: SOT 105570 SOS 72802 HAS SOPS 44628 HAS SOUS 32506 HAS SOUPS 27256 WITH SCORE 27328.802
AT ITER 1518 NEW BEST:: SOT 105570 SOS 72802 HAS SOPS 44628 HAS SOUS 32505 HAS SOUPS 27255 WITH SCORE 27327.802
AT ITER 1520 NEW BEST:: SOT 105576 SOS 72808 HAS SOPS 44577 HAS SOUS 32467 HAS SOUPS 27214 WITH SCORE 27286.808
AT ITER 1521 NEW BEST:: SOT 105499 SOS 72731 HAS SOPS 44578 HAS SOUS 32442 HAS SOUPS 27189 WITH SCORE 27261.731
AT ITER 1522 NEW BEST:: SOT 103317 SOS 80280 HAS SOPS 46568 HAS SOUS 31952 HAS SOUPS 26481 WITH SCORE 26561.28
AT ITER 1523 NEW BEST:: SOT 103261 SOS 80224 HAS SOPS 46484 HAS SOUS 31878 HAS SOUPS 26407 WITH SCORE 26487.224
AT ITER 1524 NEW BEST:: SOT 103310 SOS 80273 HAS SOPS 46399 HAS SOUS 31820 HAS SOUPS 26349 WITH SCORE 26429.273
AT ITER 1536 NEW BEST:: SOT 103310 SOS 80273 HAS SOPS 46399 HAS SOUS 31811 HAS SOUPS 26340 WITH SCORE 26420.273
AT ITER 1543 NEW BEST:: SOT 103005 SOS 82171 HAS SOPS 46978 HAS SOUS 31850 HAS SOUPS 26336 WITH SCORE 26418.171
AT ITER 1546 NEW BEST:: SOT 102977 SOS 82143 HAS SOPS 46936 HAS SOUS 31808 HAS SOUPS 26294 WITH SCORE 26376.143
AT ITER 1549 NEW BEST:: SOT 102975 SOS 82141 HAS SOPS 46936 HAS SOUS 31808 HAS SOUPS 26294 WITH SCORE 26376.141
AT ITER 1553 NEW BEST:: SOT 102975 SOS 82141 HAS SOPS 46936 HAS SOUS 31784 HAS SOUPS 26270 WITH SCORE 26352.141
AT ITER 1571 NEW BEST:: SOT 102980 SOS 82180 HAS SOPS 46940 HAS SOUS 31816 HAS SOUPS 26268 WITH SCORE 26350.18
AT ITER 1587 NEW BEST:: SOT 102968 SOS 82168 HAS SOPS 46866 HAS SOUS 31792 HAS SOUPS 26244 WITH SCORE 26326.168
AT ITER 1588 NEW BEST:: SOT 102655 SOS 81738 HAS SOPS 46601 HAS SOUS 31200 HAS SOUPS 25817 WITH SCORE 25898.738
AT ITER 1589 NEW BEST:: SOT 102613 SOS 81700 HAS SOPS 46559 HAS SOUS 31137 HAS SOUPS 25754 WITH SCORE 25835.7
AT ITER 1600 NEW BEST:: SOT 102573 SOS 81670 HAS SOPS 46519 HAS SOUS 31107 HAS SOUPS 25714 WITH SCORE 25795.67
AT ITER 1606 NEW BEST:: SOT 102526 SOS 81623 HAS SOPS 46472 HAS SOUS 31042 HAS SOUPS 25649 WITH SCORE 25730.623
AT ITER 1607 NEW BEST:: SOT 102133 SOS 81494 HAS SOPS 46069 HAS SOUS 30785 HAS SOUPS 25216 WITH SCORE 25297.494
AT ITER 1619 NEW BEST:: SOT 102071 SOS 81432 HAS SOPS 45976 HAS SOUS 30700 HAS SOUPS 25131 WITH SCORE 25212.432
AT ITER 1623 NEW BEST:: SOT 102071 SOS 81432 HAS SOPS 45976 HAS SOUS 30697 HAS SOUPS 25128 WITH SCORE 25209.432
AT ITER 1625 NEW BEST:: SOT 102063 SOS 81424 HAS SOPS 45928 HAS SOUS 30665 HAS SOUPS 25096 WITH SCORE 25177.424
AT ITER 1628 NEW BEST:: SOT 102063 SOS 81424 HAS SOPS 45928 HAS SOUS 30637 HAS SOUPS 25068 WITH SCORE 25149.424
AT ITER 1629 NEW BEST:: SOT 101963 SOS 81150 HAS SOPS 45654 HAS SOUS 30502 HAS SOUPS 24933 WITH SCORE 25014.15
AT ITER 1631 NEW BEST:: SOT 101897 SOS 81084 HAS SOPS 45618 HAS SOUS 30464 HAS SOUPS 24895 WITH SCORE 24976.084
AT ITER 1633 NEW BEST:: SOT 101897 SOS 81084 HAS SOPS 45618 HAS SOUS 30455 HAS SOUPS 24886 WITH SCORE 24967.084
AT ITER 1648 NEW BEST:: SOT 101896 SOS 81083 HAS SOPS 45616 HAS SOUS 30454 HAS SOUPS 24885 WITH SCORE 24966.083
AT ITER 1652 NEW BEST:: SOT 101890 SOS 81077 HAS SOPS 45608 HAS SOUS 30446 HAS SOUPS 24877 WITH SCORE 24958.077
AT ITER 1653 NEW BEST:: SOT 101890 SOS 81065 HAS SOPS 45608 HAS SOUS 30446 HAS SOUPS 24877 WITH SCORE 24958.065
AT ITER 1655 NEW BEST:: SOT 101900 SOS 81075 HAS SOPS 45438 HAS SOUS 30340 HAS SOUPS 24771 WITH SCORE 24852.075
AT ITER 1664 NEW BEST:: SOT 101866 SOS 81041 HAS SOPS 45388 HAS SOUS 30316 HAS SOUPS 24747 WITH SCORE 24828.041
AT ITER 1672 NEW BEST:: SOT 101846 SOS 81021 HAS SOPS 45390 HAS SOUS 30265 HAS SOUPS 24696 WITH SCORE 24777.021
AT ITER 1673 NEW BEST:: SOT 101850 SOS 81025 HAS SOPS 45396 HAS SOUS 30264 HAS SOUPS 24695 WITH SCORE 24776.025
AT ITER 1678 NEW BEST:: SOT 101809 SOS 81181 HAS SOPS 45419 HAS SOUS 30247 HAS SOUPS 24674 WITH SCORE 24755.181
AT ITER 1687 NEW BEST:: SOT 101759 SOS 81131 HAS SOPS 45344 HAS SOUS 30172 HAS SOUPS 24599 WITH SCORE 24680.131
AT ITER 1696 NEW BEST:: SOT 101691 SOS 81063 HAS SOPS 45426 HAS SOUS 30119 HAS SOUPS 24587 WITH SCORE 24668.063
AT ITER 1702 NEW BEST:: SOT 101596 SOS 80968 HAS SOPS 45310 HAS SOUS 29876 HAS SOUPS 24344 WITH SCORE 24424.968
AT ITER 1709 NEW BEST:: SOT 101843 SOS 81215 HAS SOPS 45254 HAS SOUS 29934 HAS SOUPS 24317 WITH SCORE 24398.215
AT ITER 1721 NEW BEST:: SOT 101823 SOS 81195 HAS SOPS 45254 HAS SOUS 29934 HAS SOUPS 24317 WITH SCORE 24398.195
AT ITER 1727 NEW BEST:: SOT 101823 SOS 81195 HAS SOPS 45254 HAS SOUS 29932 HAS SOUPS 24315 WITH SCORE 24396.195
AT ITER 1752 NEW BEST:: SOT 101830 SOS 81202 HAS SOPS 45240 HAS SOUS 29925 HAS SOUPS 24308 WITH SCORE 24389.202
AT ITER 1760 NEW BEST:: SOT 101830 SOS 81202 HAS SOPS 45120 HAS SOUS 29871 HAS SOUPS 24254 WITH SCORE 24335.202
AT ITER 1762 NEW BEST:: SOT 101706 SOS 81078 HAS SOPS 44926 HAS SOUS 29607 HAS SOUPS 23990 WITH SCORE 24071.078
AT ITER 1773 NEW BEST:: SOT 101510 SOS 80882 HAS SOPS 44632 HAS SOUS 29321 HAS SOUPS 23704 WITH SCORE 23784.882
AT ITER 1774 NEW BEST:: SOT 101510 SOS 80875 HAS SOPS 44625 HAS SOUS 29319 HAS SOUPS 23702 WITH SCORE 23782.875
AT ITER 1795 NEW BEST:: SOT 101404 SOS 80769 HAS SOPS 44466 HAS SOUS 29160 HAS SOUPS 23543 WITH SCORE 23623.769
AT ITER 1797 NEW BEST:: SOT 101402 SOS 80767 HAS SOPS 44463 HAS SOUS 29157 HAS SOUPS 23540 WITH SCORE 23620.767
AT ITER 1799 NEW BEST:: SOT 101398 SOS 80763 HAS SOPS 44459 HAS SOUS 29149 HAS SOUPS 23532 WITH SCORE 23612.763
AT ITER 1815 NEW BEST:: SOT 101400 SOS 80765 HAS SOPS 44406 HAS SOUS 29110 HAS SOUPS 23493 WITH SCORE 23573.765
AT ITER 1817 NEW BEST:: SOT 101380 SOS 80745 HAS SOPS 44366 HAS SOUS 29090 HAS SOUPS 23473 WITH SCORE 23553.745
AT ITER 1819 NEW BEST:: SOT 101380 SOS 80745 HAS SOPS 44210 HAS SOUS 29038 HAS SOUPS 23421 WITH SCORE 23501.745
AT ITER 1833 NEW BEST:: SOT 101380 SOS 80745 HAS SOPS 44210 HAS SOUS 28935 HAS SOUPS 23318 WITH SCORE 23398.745
AT ITER 1840 NEW BEST:: SOT 101250 SOS 80615 HAS SOPS 44005 HAS SOUS 28740 HAS SOUPS 23123 WITH SCORE 23203.615
AT ITER 1849 NEW BEST:: SOT 101241 SOS 80606 HAS SOPS 43996 HAS SOUS 28712 HAS SOUPS 23095 WITH SCORE 23175.606
AT ITER 1852 NEW BEST:: SOT 101275 SOS 80640 HAS SOPS 43967 HAS SOUS 28703 HAS SOUPS 23086 WITH SCORE 23166.64
AT ITER 1855 NEW BEST:: SOT 101058 SOS 80505 HAS SOPS 43750 HAS SOUS 28770 HAS SOUPS 23071 WITH SCORE 23151.505
AT ITER 1866 NEW BEST:: SOT 101058 SOS 80505 HAS SOPS 43678 HAS SOUS 28716 HAS SOUPS 23017 WITH SCORE 23097.505
AT ITER 1867 NEW BEST:: SOT 101036 SOS 80483 HAS SOPS 43645 HAS SOUS 28688 HAS SOUPS 22989 WITH SCORE 23069.483
AT ITER 1871 NEW BEST:: SOT 101044 SOS 80491 HAS SOPS 43593 HAS SOUS 28680 HAS SOUPS 22981 WITH SCORE 23061.491
AT ITER 1892 NEW BEST:: SOT 101026 SOS 80473 HAS SOPS 43566 HAS SOUS 28641 HAS SOUPS 22942 WITH SCORE 23022.473
AT ITER 1894 NEW BEST:: SOT 100987 SOS 80434 HAS SOPS 43473 HAS SOUS 28610 HAS SOUPS 22911 WITH SCORE 22991.434
AT ITER 1901 NEW BEST:: SOT 100943 SOS 80430 HAS SOPS 43247 HAS SOUS 28577 HAS SOUPS 22838 WITH SCORE 22918.43
AT ITER 1907 NEW BEST:: SOT 100923 SOS 80410 HAS SOPS 43217 HAS SOUS 28539 HAS SOUPS 22800 WITH SCORE 22880.41
AT ITER 1934 NEW BEST:: SOT 100923 SOS 80410 HAS SOPS 43217 HAS SOUS 28532 HAS SOUPS 22793 WITH SCORE 22873.41
AT ITER 1936 NEW BEST:: SOT 100815 SOS 80302 HAS SOPS 43019 HAS SOUS 28406 HAS SOUPS 22667 WITH SCORE 22747.302
AT ITER 1938 NEW BEST:: SOT 100777 SOS 80264 HAS SOPS 43038 HAS SOUS 28406 HAS SOUPS 22667 WITH SCORE 22747.264
AT ITER 1941 NEW BEST:: SOT 100777 SOS 80264 HAS SOPS 43038 HAS SOUS 28396 HAS SOUPS 22657 WITH SCORE 22737.264
AT ITER 1944 NEW BEST:: SOT 100777 SOS 80264 HAS SOPS 43038 HAS SOUS 28394 HAS SOUPS 22655 WITH SCORE 22735.264
AT ITER 1953 NEW BEST:: SOT 100693 SOS 80180 HAS SOPS 42870 HAS SOUS 28255 HAS SOUPS 22516 WITH SCORE 22596.18
AT ITER 1978 NEW BEST:: SOT 100655 SOS 80142 HAS SOPS 42794 HAS SOUS 28198 HAS SOUPS 22459 WITH SCORE 22539.142
AT ITER 2018 NEW BEST:: SOT 100575 SOS 80062 HAS SOPS 42675 HAS SOUS 28111 HAS SOUPS 22372 WITH SCORE 22452.062
AT ITER 2030 NEW BEST:: SOT 100545 SOS 80032 HAS SOPS 42615 HAS SOUS 28092 HAS SOUPS 22353 WITH SCORE 22433.032
AT ITER 2032 NEW BEST:: SOT 100571 SOS 79991 HAS SOPS 42529 HAS SOUS 28125 HAS SOUPS 22341 WITH SCORE 22420.991
AT ITER 2033 NEW BEST:: SOT 100571 SOS 79990 HAS SOPS 42529 HAS SOUS 28124 HAS SOUPS 22341 WITH SCORE 22420.99
AT ITER 2041 NEW BEST:: SOT 100571 SOS 79990 HAS SOPS 42529 HAS SOUS 28112 HAS SOUPS 22329 WITH SCORE 22408.99
AT ITER 2058 NEW BEST:: SOT 100561 SOS 79980 HAS SOPS 42529 HAS SOUS 28112 HAS SOUPS 22329 WITH SCORE 22408.98
AT ITER 2075 NEW BEST:: SOT 100533 SOS 79952 HAS SOPS 42526 HAS SOUS 28109 HAS SOUPS 22326 WITH SCORE 22405.952
AT ITER 2083 NEW BEST:: SOT 100505 SOS 79924 HAS SOPS 42484 HAS SOUS 28041 HAS SOUPS 22258 WITH SCORE 22337.924
AT ITER 2085 NEW BEST:: SOT 100525 SOS 79944 HAS SOPS 42158 HAS SOUS 27705 HAS SOUPS 21922 WITH SCORE 22001.944
AT ITER 2089 NEW BEST:: SOT 100516 SOS 79935 HAS SOPS 42109 HAS SOUS 27680 HAS SOUPS 21897 WITH SCORE 21976.935
AT ITER 2128 NEW BEST:: SOT 100444 SOS 79863 HAS SOPS 42093 HAS SOUS 27641 HAS SOUPS 21858 WITH SCORE 21937.863
AT ITER 2164 NEW BEST:: SOT 100396 SOS 79815 HAS SOPS 41975 HAS SOUS 27538 HAS SOUPS 21755 WITH SCORE 21834.815
AT ITER 2165 NEW BEST:: SOT 100358 SOS 79777 HAS SOPS 41918 HAS SOUS 27462 HAS SOUPS 21679 WITH SCORE 21758.777
AT ITER 2195 NEW BEST:: SOT 100377 SOS 79796 HAS SOPS 41891 HAS SOUS 27445 HAS SOUPS 21662 WITH SCORE 21741.796
AT ITER 2230 NEW BEST:: SOT 100305 SOS 79724 HAS SOPS 41783 HAS SOUS 27337 HAS SOUPS 21554 WITH SCORE 21633.724
AT ITER 2244 NEW BEST:: SOT 100297 SOS 79711 HAS SOPS 41708 HAS SOUS 27284 HAS SOUPS 21501 WITH SCORE 21580.711
AT ITER 2254 NEW BEST:: SOT 100291 SOS 79705 HAS SOPS 41699 HAS SOUS 27252 HAS SOUPS 21469 WITH SCORE 21548.705
AT ITER 2255 NEW BEST:: SOT 100291 SOS 79600 HAS SOPS 41594 HAS SOUS 27252 HAS SOUPS 21469 WITH SCORE 21548.6
AT ITER 2278 NEW BEST:: SOT 100282 SOS 79626 HAS SOPS 41586 HAS SOUS 27265 HAS SOUPS 21458 WITH SCORE 21537.626
AT ITER 2336 NEW BEST:: SOT 100262 SOS 79606 HAS SOPS 41546 HAS SOUS 27171 HAS SOUPS 21364 WITH SCORE 21443.606
AT ITER 2339 NEW BEST:: SOT 100250 SOS 79594 HAS SOPS 41546 HAS SOUS 27171 HAS SOUPS 21364 WITH SCORE 21443.594
AT ITER 2354 NEW BEST:: SOT 100216 SOS 79560 HAS SOPS 41495 HAS SOUS 27120 HAS SOUPS 21313 WITH SCORE 21392.56
AT ITER 2372 NEW BEST:: SOT 100216 SOS 79560 HAS SOPS 41511 HAS SOUS 27111 HAS SOUPS 21304 WITH SCORE 21383.56
AT ITER 2378 NEW BEST:: SOT 100216 SOS 79560 HAS SOPS 41511 HAS SOUS 27079 HAS SOUPS 21272 WITH SCORE 21351.56
AT ITER 2395 NEW BEST:: SOT 100216 SOS 79560 HAS SOPS 41511 HAS SOUS 27074 HAS SOUPS 21267 WITH SCORE 21346.56
AT ITER 2397 NEW BEST:: SOT 100180 SOS 79565 HAS SOPS 41516 HAS SOUS 27062 HAS SOUPS 21255 WITH SCORE 21334.565
AT ITER 2403 NEW BEST:: SOT 100105 SOS 79493 HAS SOPS 41406 HAS SOUS 26880 HAS SOUPS 21073 WITH SCORE 21152.493
AT ITER 2416 NEW BEST:: SOT 100105 SOS 79485 HAS SOPS 41398 HAS SOUS 26879 HAS SOUPS 21072 WITH SCORE 21151.485
AT ITER 2442 NEW BEST:: SOT 100105 SOS 79485 HAS SOPS 41378 HAS SOUS 26864 HAS SOUPS 21052 WITH SCORE 21131.485
AT ITER 2451 NEW BEST:: SOT 100103 SOS 79483 HAS SOPS 41351 HAS SOUS 26843 HAS SOUPS 21031 WITH SCORE 21110.483
AT ITER 2462 NEW BEST:: SOT 100095 SOS 79377 HAS SOPS 41279 HAS SOUS 26803 HAS SOUPS 21005 WITH SCORE 21084.377
AT ITER 2468 NEW BEST:: SOT 100088 SOS 79370 HAS SOPS 41272 HAS SOUS 26746 HAS SOUPS 20948 WITH SCORE 21027.37
AT ITER 2499 NEW BEST:: SOT 100046 SOS 79328 HAS SOPS 41188 HAS SOUS 26683 HAS SOUPS 20885 WITH SCORE 20964.328
AT ITER 2506 NEW BEST:: SOT 99996 SOS 79278 HAS SOPS 41069 HAS SOUS 26608 HAS SOUPS 20810 WITH SCORE 20889.278
AT ITER 2523 NEW BEST:: SOT 100050 SOS 79332 HAS SOPS 41015 HAS SOUS 26599 HAS SOUPS 20801 WITH SCORE 20880.332
AT ITER 2526 NEW BEST:: SOT 100042 SOS 79324 HAS SOPS 41003 HAS SOUS 26587 HAS SOUPS 20789 WITH SCORE 20868.324
AT ITER 2541 NEW BEST:: SOT 99982 SOS 79269 HAS SOPS 40903 HAS SOUS 26495 HAS SOUPS 20697 WITH SCORE 20776.269
AT ITER 2545 NEW BEST:: SOT 99956 SOS 79243 HAS SOPS 40869 HAS SOUS 26465 HAS SOUPS 20667 WITH SCORE 20746.243
AT ITER 2548 NEW BEST:: SOT 99997 SOS 79284 HAS SOPS 40792 HAS SOUS 26385 HAS SOUPS 20587 WITH SCORE 20666.284
AT ITER 2554 NEW BEST:: SOT 99943 SOS 79230 HAS SOPS 40711 HAS SOUS 26304 HAS SOUPS 20506 WITH SCORE 20585.23
AT ITER 2560 NEW BEST:: SOT 99901 SOS 79188 HAS SOPS 40648 HAS SOUS 26239 HAS SOUPS 20441 WITH SCORE 20520.188
AT ITER 2562 NEW BEST:: SOT 99931 SOS 79218 HAS SOPS 40693 HAS SOUS 26222 HAS SOUPS 20424 WITH SCORE 20503.218
AT ITER 2580 NEW BEST:: SOT 99923 SOS 79210 HAS SOPS 40677 HAS SOUS 26206 HAS SOUPS 20408 WITH SCORE 20487.21
AT ITER 2594 NEW BEST:: SOT 99924 SOS 79178 HAS SOPS 40675 HAS SOUS 26178 HAS SOUPS 20406 WITH SCORE 20485.178
AT ITER 2603 NEW BEST:: SOT 99842 SOS 79096 HAS SOPS 40552 HAS SOUS 26014 HAS SOUPS 20242 WITH SCORE 20321.096
AT ITER 2604 NEW BEST:: SOT 99852 SOS 79106 HAS SOPS 40567 HAS SOUS 25993 HAS SOUPS 20221 WITH SCORE 20300.106
AT ITER 2640 NEW BEST:: SOT 99848 SOS 79104 HAS SOPS 40561 HAS SOUS 25991 HAS SOUPS 20217 WITH SCORE 20296.104
AT ITER 2646 NEW BEST:: SOT 99746 SOS 79002 HAS SOPS 40587 HAS SOUS 25967 HAS SOUPS 20193 WITH SCORE 20272.002
AT ITER 2649 NEW BEST:: SOT 99731 SOS 78987 HAS SOPS 40575 HAS SOUS 25935 HAS SOUPS 20161 WITH SCORE 20239.987
AT ITER 2653 NEW BEST:: SOT 99683 SOS 78939 HAS SOPS 40559 HAS SOUS 25927 HAS SOUPS 20153 WITH SCORE 20231.939
AT ITER 2667 NEW BEST:: SOT 99785 SOS 79041 HAS SOPS 40510 HAS SOUS 25885 HAS SOUPS 20111 WITH SCORE 20190.041
AT ITER 2683 NEW BEST:: SOT 99772 SOS 79028 HAS SOPS 40480 HAS SOUS 25834 HAS SOUPS 20060 WITH SCORE 20139.028
AT ITER 2688 NEW BEST:: SOT 99766 SOS 79022 HAS SOPS 40471 HAS SOUS 25823 HAS SOUPS 20049 WITH SCORE 20128.022
AT ITER 2699 NEW BEST:: SOT 99766 SOS 79022 HAS SOPS 40471 HAS SOUS 25821 HAS SOUPS 20047 WITH SCORE 20126.022
AT ITER 2718 NEW BEST:: SOT 99740 SOS 78996 HAS SOPS 40432 HAS SOUS 25782 HAS SOUPS 20008 WITH SCORE 20086.996
AT ITER 2729 NEW BEST:: SOT 99716 SOS 78972 HAS SOPS 40408 HAS SOUS 25768 HAS SOUPS 19994 WITH SCORE 20072.972
AT ITER 2739 NEW BEST:: SOT 99676 SOS 78932 HAS SOPS 40382 HAS SOUS 25735 HAS SOUPS 19961 WITH SCORE 20039.932
AT ITER 2809 NEW BEST:: SOT 99634 SOS 78890 HAS SOPS 40319 HAS SOUS 25638 HAS SOUPS 19864 WITH SCORE 19942.89
AT ITER 2828 NEW BEST:: SOT 99634 SOS 78890 HAS SOPS 40319 HAS SOUS 25630 HAS SOUPS 19856 WITH SCORE 19934.89
AT ITER 2838 NEW BEST:: SOT 99628 SOS 78884 HAS SOPS 40307 HAS SOUS 25585 HAS SOUPS 19811 WITH SCORE 19889.884
AT ITER 2844 NEW BEST:: SOT 99606 SOS 78862 HAS SOPS 40285 HAS SOUS 25563 HAS SOUPS 19789 WITH SCORE 19867.862
AT ITER 2864 NEW BEST:: SOT 99630 SOS 78886 HAS SOPS 40273 HAS SOUS 25551 HAS SOUPS 19777 WITH SCORE 19855.886
AT ITER 2905 NEW BEST:: SOT 99630 SOS 78886 HAS SOPS 40273 HAS SOUS 25545 HAS SOUPS 19771 WITH SCORE 19849.886
AT ITER 2939 NEW BEST:: SOT 99560 SOS 78788 HAS SOPS 40158 HAS SOUS 25422 HAS SOUPS 19648 WITH SCORE 19726.788
AT ITER 2940 NEW BEST:: SOT 99554 SOS 78782 HAS SOPS 40149 HAS SOUS 25397 HAS SOUPS 19623 WITH SCORE 19701.782
AT ITER 2954 NEW BEST:: SOT 99554 SOS 78782 HAS SOPS 40149 HAS SOUS 25396 HAS SOUPS 19622 WITH SCORE 19700.782
AT ITER 2967 NEW BEST:: SOT 99539 SOS 78767 HAS SOPS 40134 HAS SOUS 25357 HAS SOUPS 19583 WITH SCORE 19661.767
AT ITER 2984 NEW BEST:: SOT 99523 SOS 78751 HAS SOPS 40110 HAS SOUS 25333 HAS SOUPS 19559 WITH SCORE 19637.751
AT ITER 2987 NEW BEST:: SOT 99477 SOS 78705 HAS SOPS 40025 HAS SOUS 25254 HAS SOUPS 19480 WITH SCORE 19558.705
AT ITER 2991 NEW BEST:: SOT 99463 SOS 78691 HAS SOPS 40004 HAS SOUS 25233 HAS SOUPS 19459 WITH SCORE 19537.691
AT ITER 2993 NEW BEST:: SOT 99461 SOS 78689 HAS SOPS 40002 HAS SOUS 25229 HAS SOUPS 19455 WITH SCORE 19533.689
AT ITER 3001 NEW BEST:: SOT 99443 SOS 78671 HAS SOPS 39877 HAS SOUS 25191 HAS SOUPS 19397 WITH SCORE 19475.671
AT ITER 3002 NEW BEST:: SOT 99351 SOS 78579 HAS SOPS 39883 HAS SOUS 25154 HAS SOUPS 19391 WITH SCORE 19469.579
AT ITER 3007 NEW BEST:: SOT 99355 SOS 78583 HAS SOPS 39855 HAS SOUS 25156 HAS SOUPS 19361 WITH SCORE 19439.583
AT ITER 3008 NEW BEST:: SOT 99277 SOS 78505 HAS SOPS 39824 HAS SOUS 25142 HAS SOUPS 19347 WITH SCORE 19425.505
AT ITER 3013 NEW BEST:: SOT 99243 SOS 78471 HAS SOPS 39773 HAS SOUS 25084 HAS SOUPS 19289 WITH SCORE 19367.471
AT ITER 3029 NEW BEST:: SOT 99243 SOS 78471 HAS SOPS 39773 HAS SOUS 25038 HAS SOUPS 19243 WITH SCORE 19321.471
AT ITER 3031 NEW BEST:: SOT 99126 SOS 78354 HAS SOPS 39656 HAS SOUS 25010 HAS SOUPS 19215 WITH SCORE 19293.354
AT ITER 3052 NEW BEST:: SOT 99088 SOS 78266 HAS SOPS 39518 HAS SOUS 24887 HAS SOUPS 19092 WITH SCORE 19170.266
AT ITER 3073 NEW BEST:: SOT 99008 SOS 78186 HAS SOPS 39492 HAS SOUS 24839 HAS SOUPS 19044 WITH SCORE 19122.186
AT ITER 3079 NEW BEST:: SOT 98958 SOS 78136 HAS SOPS 39417 HAS SOUS 24730 HAS SOUPS 18935 WITH SCORE 19013.136
AT ITER 3115 NEW BEST:: SOT 98901 SOS 78079 HAS SOPS 39308 HAS SOUS 24668 HAS SOUPS 18873 WITH SCORE 18951.079
AT ITER 3123 NEW BEST:: SOT 98907 SOS 78085 HAS SOPS 39305 HAS SOUS 24665 HAS SOUPS 18870 WITH SCORE 18948.085
AT ITER 3124 NEW BEST:: SOT 98632 SOS 79379 HAS SOPS 39602 HAS SOUS 24605 HAS SOUPS 18810 WITH SCORE 18889.379
AT ITER 3133 NEW BEST:: SOT 98633 SOS 79377 HAS SOPS 39604 HAS SOUS 24602 HAS SOUPS 18807 WITH SCORE 18886.377
AT ITER 3134 NEW BEST:: SOT 98631 SOS 79375 HAS SOPS 39601 HAS SOUS 24601 HAS SOUPS 18806 WITH SCORE 18885.375
AT ITER 3139 NEW BEST:: SOT 98626 SOS 79370 HAS SOPS 39596 HAS SOUS 24584 HAS SOUPS 18789 WITH SCORE 18868.37
AT ITER 3142 NEW BEST:: SOT 98302 SOS 81762 HAS SOPS 40432 HAS SOUS 24552 HAS SOUPS 18712 WITH SCORE 18793.762
AT ITER 3176 NEW BEST:: SOT 98392 SOS 81852 HAS SOPS 40392 HAS SOUS 24486 HAS SOUPS 18646 WITH SCORE 18727.852
AT ITER 3178 NEW BEST:: SOT 98364 SOS 81824 HAS SOPS 40406 HAS SOUS 24486 HAS SOUPS 18646 WITH SCORE 18727.824
AT ITER 3180 NEW BEST:: SOT 98250 SOS 81710 HAS SOPS 40422 HAS SOUS 24376 HAS SOUPS 18536 WITH SCORE 18617.71
AT ITER 3181 NEW BEST:: SOT 98170 SOS 81630 HAS SOPS 40296 HAS SOUS 24308 HAS SOUPS 18468 WITH SCORE 18549.63
AT ITER 3184 NEW BEST:: SOT 98148 SOS 81608 HAS SOPS 40238 HAS SOUS 24268 HAS SOUPS 18428 WITH SCORE 18509.608
AT ITER 3188 NEW BEST:: SOT 98212 SOS 81608 HAS SOPS 40320 HAS SOUS 24141 HAS SOUPS 18365 WITH SCORE 18446.608
AT ITER 3220 NEW BEST:: SOT 98223 SOS 81619 HAS SOPS 40322 HAS SOUS 24126 HAS SOUPS 18350 WITH SCORE 18431.619
AT ITER 3223 NEW BEST:: SOT 98175 SOS 81571 HAS SOPS 40220 HAS SOUS 24111 HAS SOUPS 18335 WITH SCORE 18416.571
AT ITER 3233 NEW BEST:: SOT 98080 SOS 81481 HAS SOPS 40125 HAS SOUS 24021 HAS SOUPS 18245 WITH SCORE 18326.481
AT ITER 3245 NEW BEST:: SOT 98080 SOS 81481 HAS SOPS 40125 HAS SOUS 23980 HAS SOUPS 18204 WITH SCORE 18285.481
AT ITER 3258 NEW BEST:: SOT 98152 SOS 81553 HAS SOPS 40119 HAS SOUS 23974 HAS SOUPS 18198 WITH SCORE 18279.553
AT ITER 3268 NEW BEST:: SOT 98152 SOS 81542 HAS SOPS 40100 HAS SOUS 23974 HAS SOUPS 18198 WITH SCORE 18279.542
AT ITER 3305 NEW BEST:: SOT 98148 SOS 81538 HAS SOPS 40088 HAS SOUS 23966 HAS SOUPS 18190 WITH SCORE 18271.538
AT ITER 3350 NEW BEST:: SOT 98148 SOS 81538 HAS SOPS 40088 HAS SOUS 23954 HAS SOUPS 18178 WITH SCORE 18259.538
AT ITER 3356 NEW BEST:: SOT 98038 SOS 81239 HAS SOPS 39789 HAS SOUS 23866 HAS SOUPS 18090 WITH SCORE 18171.239
AT ITER 3387 NEW BEST:: SOT 98038 SOS 81239 HAS SOPS 39789 HAS SOUS 23827 HAS SOUPS 18051 WITH SCORE 18132.239
AT ITER 3394 NEW BEST:: SOT 98024 SOS 81225 HAS SOPS 39768 HAS SOUS 23753 HAS SOUPS 17977 WITH SCORE 18058.225
AT ITER 3398 NEW BEST:: SOT 98024 SOS 81225 HAS SOPS 39748 HAS SOUS 23735 HAS SOUPS 17959 WITH SCORE 18040.225
AT ITER 3403 NEW BEST:: SOT 98016 SOS 81217 HAS SOPS 39732 HAS SOUS 23719 HAS SOUPS 17943 WITH SCORE 18024.217
AT ITER 3404 NEW BEST:: SOT 97983 SOS 81234 HAS SOPS 39691 HAS SOUS 23700 HAS SOUPS 17874 WITH SCORE 17955.234
AT ITER 3427 NEW BEST:: SOT 97953 SOS 81204 HAS SOPS 39646 HAS SOUS 23670 HAS SOUPS 17844 WITH SCORE 17925.204
AT ITER 3433 NEW BEST:: SOT 98063 SOS 81314 HAS SOPS 39640 HAS SOUS 23624 HAS SOUPS 17798 WITH SCORE 17879.314
AT ITER 3454 NEW BEST:: SOT 98063 SOS 81314 HAS SOPS 39637 HAS SOUS 23621 HAS SOUPS 17795 WITH SCORE 17876.314
AT ITER 3459 NEW BEST:: SOT 98029 SOS 81280 HAS SOPS 39654 HAS SOUS 23621 HAS SOUPS 17795 WITH SCORE 17876.28
AT ITER 3475 NEW BEST:: SOT 97975 SOS 81226 HAS SOPS 39546 HAS SOUS 23536 HAS SOUPS 17710 WITH SCORE 17791.226
AT ITER 3518 NEW BEST:: SOT 98013 SOS 81264 HAS SOPS 39432 HAS SOUS 23498 HAS SOUPS 17672 WITH SCORE 17753.264
AT ITER 3521 NEW BEST:: SOT 97955 SOS 81206 HAS SOPS 39316 HAS SOUS 23395 HAS SOUPS 17569 WITH SCORE 17650.206
AT ITER 3526 NEW BEST:: SOT 97941 SOS 81127 HAS SOPS 39284 HAS SOUS 23290 HAS SOUPS 17511 WITH SCORE 17592.127
AT ITER 3548 NEW BEST:: SOT 97935 SOS 81121 HAS SOPS 39274 HAS SOUS 23280 HAS SOUPS 17501 WITH SCORE 17582.121
AT ITER 3551 NEW BEST:: SOT 97908 SOS 81094 HAS SOPS 39355 HAS SOUS 23267 HAS SOUPS 17489 WITH SCORE 17570.094
AT ITER 3586 NEW BEST:: SOT 97866 SOS 81052 HAS SOPS 39205 HAS SOUS 23105 HAS SOUPS 17327 WITH SCORE 17408.052
AT ITER 3607 NEW BEST:: SOT 97886 SOS 81072 HAS SOPS 39289 HAS SOUS 23101 HAS SOUPS 17323 WITH SCORE 17404.072
AT ITER 3648 NEW BEST:: SOT 97850 SOS 81036 HAS SOPS 39242 HAS SOUS 23084 HAS SOUPS 17306 WITH SCORE 17387.036
AT ITER 3649 NEW BEST:: SOT 97848 SOS 81035 HAS SOPS 39239 HAS SOUS 23083 HAS SOUPS 17305 WITH SCORE 17386.035
AT ITER 3710 NEW BEST:: SOT 97904 SOS 81113 HAS SOPS 39235 HAS SOUS 23101 HAS SOUPS 17301 WITH SCORE 17382.113
AT ITER 3730 NEW BEST:: SOT 97904 SOS 81113 HAS SOPS 39235 HAS SOUS 23092 HAS SOUPS 17292 WITH SCORE 17373.113
AT ITER 3743 NEW BEST:: SOT 97875 SOS 81084 HAS SOPS 39209 HAS SOUS 23010 HAS SOUPS 17210 WITH SCORE 17291.084
AT ITER 3757 NEW BEST:: SOT 97815 SOS 81024 HAS SOPS 38999 HAS SOUS 22912 HAS SOUPS 17104 WITH SCORE 17185.024
AT ITER 3788 NEW BEST:: SOT 97797 SOS 81006 HAS SOPS 38972 HAS SOUS 22890 HAS SOUPS 17082 WITH SCORE 17163.006
AT ITER 3825 NEW BEST:: SOT 97767 SOS 80976 HAS SOPS 38942 HAS SOUS 22860 HAS SOUPS 17052 WITH SCORE 17132.976
AT ITER 3836 NEW BEST:: SOT 97715 SOS 80924 HAS SOPS 38890 HAS SOUS 22845 HAS SOUPS 17037 WITH SCORE 17117.924
AT ITER 3838 NEW BEST:: SOT 97705 SOS 80914 HAS SOPS 38875 HAS SOUS 22835 HAS SOUPS 17027 WITH SCORE 17107.914
AT ITER 3852 NEW BEST:: SOT 97705 SOS 80896 HAS SOPS 38861 HAS SOUS 22833 HAS SOUPS 17027 WITH SCORE 17107.896
AT ITER 3888 NEW BEST:: SOT 97698 SOS 80889 HAS SOPS 38854 HAS SOUS 22797 HAS SOUPS 16991 WITH SCORE 17071.889
AT ITER 3929 NEW BEST:: SOT 97698 SOS 80918 HAS SOPS 38854 HAS SOUS 22819 HAS SOUPS 16984 WITH SCORE 17064.918
AT ITER 3935 NEW BEST:: SOT 97654 SOS 80874 HAS SOPS 38908 HAS SOUS 22793 HAS SOUPS 16958 WITH SCORE 17038.874
AT ITER 3964 NEW BEST:: SOT 97651 SOS 80871 HAS SOPS 38905 HAS SOUS 22784 HAS SOUPS 16949 WITH SCORE 17029.871
AT ITER 3969 NEW BEST:: SOT 97631 SOS 80851 HAS SOPS 38904 HAS SOUS 22773 HAS SOUPS 16938 WITH SCORE 17018.851
AT ITER 3994 NEW BEST:: SOT 97617 SOS 80837 HAS SOPS 38890 HAS SOUS 22759 HAS SOUPS 16924 WITH SCORE 17004.837
AT ITER 4009 NEW BEST:: SOT 97573 SOS 80793 HAS SOPS 38825 HAS SOUS 22689 HAS SOUPS 16854 WITH SCORE 16934.793
AT ITER 4042 NEW BEST:: SOT 97567 SOS 80787 HAS SOPS 38821 HAS SOUS 22685 HAS SOUPS 16850 WITH SCORE 16930.787
AT ITER 4045 NEW BEST:: SOT 97382 SOS 80602 HAS SOPS 38606 HAS SOUS 22685 HAS SOUPS 16850 WITH SCORE 16930.602
AT ITER 4064 NEW BEST:: SOT 97441 SOS 80661 HAS SOPS 38592 HAS SOUS 22657 HAS SOUPS 16822 WITH SCORE 16902.661
AT ITER 4087 NEW BEST:: SOT 97435 SOS 80655 HAS SOPS 38583 HAS SOUS 22654 HAS SOUPS 16819 WITH SCORE 16899.655
AT ITER 4092 NEW BEST:: SOT 97379 SOS 80599 HAS SOPS 38538 HAS SOUS 22607 HAS SOUPS 16772 WITH SCORE 16852.599
AT ITER 4114 NEW BEST:: SOT 97379 SOS 80599 HAS SOPS 38538 HAS SOUS 22603 HAS SOUPS 16768 WITH SCORE 16848.599
AT ITER 4116 NEW BEST:: SOT 97369 SOS 80589 HAS SOPS 38525 HAS SOUS 22595 HAS SOUPS 16760 WITH SCORE 16840.589
AT ITER 4149 NEW BEST:: SOT 97333 SOS 80553 HAS SOPS 38471 HAS SOUS 22540 HAS SOUPS 16705 WITH SCORE 16785.553
AT ITER 4165 NEW BEST:: SOT 97319 SOS 80539 HAS SOPS 38450 HAS SOUS 22532 HAS SOUPS 16697 WITH SCORE 16777.539
AT ITER 4166 NEW BEST:: SOT 97319 SOS 80539 HAS SOPS 38450 HAS SOUS 22527 HAS SOUPS 16692 WITH SCORE 16772.539
AT ITER 4175 NEW BEST:: SOT 97316 SOS 80568 HAS SOPS 38454 HAS SOUS 22544 HAS SOUPS 16690 WITH SCORE 16770.568
AT ITER 4186 NEW BEST:: SOT 97322 SOS 80518 HAS SOPS 38438 HAS SOUS 22543 HAS SOUPS 16690 WITH SCORE 16770.518
AT ITER 4193 NEW BEST:: SOT 97321 SOS 80517 HAS SOPS 38393 HAS SOUS 22520 HAS SOUPS 16667 WITH SCORE 16747.517
AT ITER 4200 NEW BEST:: SOT 97321 SOS 80517 HAS SOPS 38393 HAS SOUS 22509 HAS SOUPS 16656 WITH SCORE 16736.517
AT ITER 4226 NEW BEST:: SOT 97317 SOS 80513 HAS SOPS 38387 HAS SOUS 22495 HAS SOUPS 16642 WITH SCORE 16722.513
AT ITER 4236 NEW BEST:: SOT 97297 SOS 80493 HAS SOPS 38347 HAS SOUS 22465 HAS SOUPS 16612 WITH SCORE 16692.493
AT ITER 4237 NEW BEST:: SOT 97235 SOS 80431 HAS SOPS 38347 HAS SOUS 22456 HAS SOUPS 16603 WITH SCORE 16683.431
AT ITER 4246 NEW BEST:: SOT 97271 SOS 80508 HAS SOPS 38327 HAS SOUS 22450 HAS SOUPS 16570 WITH SCORE 16650.508
AT ITER 4269 NEW BEST:: SOT 97241 SOS 80478 HAS SOPS 38327 HAS SOUS 22440 HAS SOUPS 16560 WITH SCORE 16640.478
AT ITER 4290 NEW BEST:: SOT 97241 SOS 80478 HAS SOPS 38327 HAS SOUS 22429 HAS SOUPS 16549 WITH SCORE 16629.478
AT ITER 4296 NEW BEST:: SOT 97137 SOS 80374 HAS SOPS 38119 HAS SOUS 22273 HAS SOUPS 16393 WITH SCORE 16473.374
AT ITER 4303 NEW BEST:: SOT 97137 SOS 80374 HAS SOPS 38099 HAS SOUS 22258 HAS SOUPS 16378 WITH SCORE 16458.374
AT ITER 4304 NEW BEST:: SOT 97135 SOS 80372 HAS SOPS 38095 HAS SOUS 22257 HAS SOUPS 16375 WITH SCORE 16455.372
AT ITER 4349 NEW BEST:: SOT 97135 SOS 80372 HAS SOPS 38095 HAS SOUS 22251 HAS SOUPS 16369 WITH SCORE 16449.372
AT ITER 4366 NEW BEST:: SOT 97135 SOS 80372 HAS SOPS 38064 HAS SOUS 22257 HAS SOUPS 16365 WITH SCORE 16445.372
AT ITER 4397 NEW BEST:: SOT 97059 SOS 80296 HAS SOPS 38046 HAS SOUS 22215 HAS SOUPS 16323 WITH SCORE 16403.296
AT ITER 4415 NEW BEST:: SOT 97055 SOS 80292 HAS SOPS 38040 HAS SOUS 22208 HAS SOUPS 16316 WITH SCORE 16396.292
AT ITER 4443 NEW BEST:: SOT 97049 SOS 80286 HAS SOPS 38031 HAS SOUS 22188 HAS SOUPS 16296 WITH SCORE 16376.286
AT ITER 4479 NEW BEST:: SOT 97036 SOS 80286 HAS SOPS 37993 HAS SOUS 22162 HAS SOUPS 16270 WITH SCORE 16350.286
AT ITER 4495 NEW BEST:: SOT 97038 SOS 80288 HAS SOPS 37989 HAS SOUS 22156 HAS SOUPS 16264 WITH SCORE 16344.288
AT ITER 4496 NEW BEST:: SOT 97038 SOS 80288 HAS SOPS 37989 HAS SOUS 22151 HAS SOUPS 16259 WITH SCORE 16339.288
AT ITER 4515 NEW BEST:: SOT 97008 SOS 80268 HAS SOPS 37949 HAS SOUS 22116 HAS SOUPS 16214 WITH SCORE 16294.268
AT ITER 4531 NEW BEST:: SOT 97008 SOS 80274 HAS SOPS 37949 HAS SOUS 22116 HAS SOUPS 16208 WITH SCORE 16288.274
AT ITER 4552 NEW BEST:: SOT 96800 SOS 81042 HAS SOPS 38105 HAS SOUS 22048 HAS SOUPS 16120 WITH SCORE 16201.042
AT ITER 4587 NEW BEST:: SOT 96794 SOS 81038 HAS SOPS 38101 HAS SOUS 22046 HAS SOUPS 16118 WITH SCORE 16199.038
AT ITER 4604 NEW BEST:: SOT 96820 SOS 81064 HAS SOPS 38081 HAS SOUS 22031 HAS SOUPS 16103 WITH SCORE 16184.064
AT ITER 4609 NEW BEST:: SOT 96785 SOS 81046 HAS SOPS 38063 HAS SOUS 22013 HAS SOUPS 16085 WITH SCORE 16166.046
AT ITER 4618 NEW BEST:: SOT 96773 SOS 81034 HAS SOPS 38051 HAS SOUS 22004 HAS SOUPS 16076 WITH SCORE 16157.034
AT ITER 4707 NEW BEST:: SOT 96723 SOS 80984 HAS SOPS 37996 HAS SOUS 21929 HAS SOUPS 16001 WITH SCORE 16081.984
AT ITER 4709 NEW BEST:: SOT 96723 SOS 80984 HAS SOPS 37996 HAS SOUS 21924 HAS SOUPS 15996 WITH SCORE 16076.984
AT ITER 4784 NEW BEST:: SOT 96739 SOS 81000 HAS SOPS 38011 HAS SOUS 21887 HAS SOUPS 15959 WITH SCORE 16040.0
AT ITER 4794 NEW BEST:: SOT 96739 SOS 80988 HAS SOPS 38011 HAS SOUS 21870 HAS SOUPS 15954 WITH SCORE 16034.988
AT ITER 4822 NEW BEST:: SOT 96723 SOS 80972 HAS SOPS 37987 HAS SOUS 21846 HAS SOUPS 15930 WITH SCORE 16010.972
AT ITER 4861 NEW BEST:: SOT 96725 SOS 80974 HAS SOPS 37944 HAS SOUS 21821 HAS SOUPS 15905 WITH SCORE 15985.974
AT ITER 4865 NEW BEST:: SOT 96687 SOS 80936 HAS SOPS 37858 HAS SOUS 21793 HAS SOUPS 15877 WITH SCORE 15957.936
AT ITER 4879 NEW BEST:: SOT 96672 SOS 80921 HAS SOPS 37843 HAS SOUS 21750 HAS SOUPS 15834 WITH SCORE 15914.921
AT ITER 4884 NEW BEST:: SOT 96650 SOS 80899 HAS SOPS 37842 HAS SOUS 21749 HAS SOUPS 15833 WITH SCORE 15913.899
AT ITER 4934 NEW BEST:: SOT 96728 SOS 80977 HAS SOPS 37927 HAS SOUS 21729 HAS SOUPS 15813 WITH SCORE 15893.977
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Raft-PT-08-CTLCardinality-00 (EF((! (EG( potential( (tk(P147)) <= (tk(P236)) ))))))
PROPERTY: Raft-PT-08-CTLCardinality-01 ( ( ( ( ( potential( (tk(P73)) <= (tk(P181)) ) & potential( ( 1 ) <= (tk(P78)) ) ) & ( potential( (tk(P271)) <= (tk(P167)) ) & potential( ( 2 ) <= (tk(P134)) ) ) ) & (AG( potential( ( 2 ) <= (tk(P262)) ))) ) | ( (AF(potential( (tk(P168)) <= (tk(P23)) ))) & potential( ( 2 ) <= (tk(P285)) ) ) ) | (! (EF(potential( ( 3 ) <= (tk(P312)) )))) )
PROPERTY: Raft-PT-08-CTLCardinality-02 (AG( ( ( ( potential( (tk(P263)) <= (tk(P76)) ) | potential( ( 3 ) <= (tk(P46)) ) ) | ( potential( (tk(P316)) <= (tk(P33)) ) | potential( ( 3 ) <= (tk(P129)) ) ) ) & ( (! potential( ( 3 ) <= (tk(P173)) )) | potential( ( 2 ) <= (tk(P298)) ) ) )))
PROPERTY: Raft-PT-08-CTLCardinality-03 (AG( (AF(potential( (tk(P98)) <= (tk(P276)) )))))
PROPERTY: Raft-PT-08-CTLCardinality-04 ( (EF(( ( potential( ( 1 ) <= (tk(P279)) ) & potential( ( 2 ) <= (tk(P274)) ) ) & ( potential( (tk(P266)) <= (tk(P153)) ) & potential( ( 3 ) <= (tk(P84)) ) ) ))) & ( (! ( ( potential( ( 1 ) <= (tk(P229)) ) & potential( (tk(P98)) <= (tk(P60)) ) ) & (! potential( ( 3 ) <= (tk(P91)) )) )) | (AG( ( potential( (tk(P135)) <= (tk(P230)) ) & potential( ( 3 ) <= (tk(P136)) ) ))) ) )
PROPERTY: Raft-PT-08-CTLCardinality-05 (AG( (EF((! potential( (tk(P179)) <= (tk(P184)) ))))))
PROPERTY: Raft-PT-08-CTLCardinality-06 ( (AU( potential( (tk(P144)) <= (tk(P328)) ),(! potential( (tk(P233)) <= (tk(P193)) )) )) | (EF(potential( ( 3 ) <= (tk(P126)) ))) )
PROPERTY: Raft-PT-08-CTLCardinality-07 (! (AG( ( ( potential( ( 3 ) <= (tk(P18)) ) & potential( (tk(P312)) <= (tk(P289)) ) ) | ( potential( (tk(P141)) <= (tk(P106)) ) | potential( (tk(P126)) <= (tk(P246)) ) ) ))))
PROPERTY: Raft-PT-08-CTLCardinality-08 ( potential( ( 3 ) <= (tk(P206)) ) | (EF((AG( potential( (tk(P195)) <= (tk(P225)) ))))) )
PROPERTY: Raft-PT-08-CTLCardinality-09 ( potential( (tk(P312)) <= (tk(P169)) ) & (! (EF(( potential( (tk(P168)) <= (tk(P241)) ) & potential( ( 2 ) <= (tk(P228)) ) )))) )
PROPERTY: Raft-PT-08-CTLCardinality-10 ( potential( ( 2 ) <= (tk(P249)) ) | ( (! (AX( potential( ( 1 ) <= (tk(P313)) )))) & (EF(( potential( (tk(P58)) <= (tk(P324)) ) & potential( ( 2 ) <= (tk(P324)) ) ))) ) )
PROPERTY: Raft-PT-08-CTLCardinality-11 (EU( (EF(potential( (tk(P99)) <= (tk(P254)) ))),(EF(potential( ( 2 ) <= (tk(P135)) ))) ))
PROPERTY: Raft-PT-08-CTLCardinality-12 ( ( ( (EG( potential( ( 2 ) <= (tk(P89)) ))) & (AF(potential( ( 2 ) <= (tk(P51)) ))) ) & ( (AG( potential( ( 2 ) <= (tk(P107)) ))) | potential( (tk(P32)) <= (tk(P181)) ) ) ) | (! (EF(potential( ( 3 ) <= (tk(P295)) )))) )
PROPERTY: Raft-PT-08-CTLCardinality-13 ( (! (AG( ( potential( (tk(P275)) <= (tk(P27)) ) | potential( ( 1 ) <= (tk(P296)) ) )))) & ( (AF(( potential( (tk(P35)) <= (tk(P173)) ) | potential( (tk(P177)) <= (tk(P284)) ) ))) | ( ( ( potential( ( 3 ) <= (tk(P75)) ) | potential( ( 1 ) <= (tk(P252)) ) ) | (! potential( (tk(P79)) <= (tk(P247)) )) ) & (! potential( ( 1 ) <= (tk(P186)) )) ) ) )
PROPERTY: Raft-PT-08-CTLCardinality-14 (AG( ( ( ( potential( (tk(P170)) <= (tk(P146)) ) | potential( (tk(P155)) <= (tk(P252)) ) ) | ( potential( ( 1 ) <= (tk(P11)) ) & potential( (tk(P279)) <= (tk(P280)) ) ) ) | ( (! potential( (tk(P121)) <= (tk(P137)) )) & ( potential( ( 2 ) <= (tk(P214)) ) & potential( ( 1 ) <= (tk(P166)) ) ) ) )))
PROPERTY: Raft-PT-08-CTLCardinality-15 ( (! ( ( ( potential( ( 3 ) <= (tk(P267)) ) & potential( ( 2 ) <= (tk(P180)) ) ) & (! potential( (tk(P282)) <= (tk(P208)) )) ) | ( ( potential( (tk(P51)) <= (tk(P130)) ) & potential( ( 2 ) <= (tk(P316)) ) ) | ( potential( (tk(P290)) <= (tk(P118)) ) & potential( (tk(P35)) <= (tk(P59)) ) ) ) )) | (EF((AX( potential( ( 2 ) <= (tk(P258)) ))))) )

BK_STOP 1589805723591

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 477 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="Raft-PT-08"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is Raft-PT-08, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502600267"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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