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

About the Execution of smart for DLCshifumi-PT-3a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.570 1229699.00 1229060.00 0.00 [undef] Cannot compute

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.r063-tajo-158922806900020.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 DLCshifumi-PT-3a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922806900020
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 944K
-rw-r--r-- 1 mcc users 2.8K Mar 30 21:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 21:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 12:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 29 12:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 07:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 28 07:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 27 01:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 27 01:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 778K Mar 24 05:37 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 DLCshifumi-PT-3a-CTLFireability-00
FORMULA_NAME DLCshifumi-PT-3a-CTLFireability-01
FORMULA_NAME DLCshifumi-PT-3a-CTLFireability-02
FORMULA_NAME DLCshifumi-PT-3a-CTLFireability-03
FORMULA_NAME DLCshifumi-PT-3a-CTLFireability-04
FORMULA_NAME DLCshifumi-PT-3a-CTLFireability-05
FORMULA_NAME DLCshifumi-PT-3a-CTLFireability-06
FORMULA_NAME DLCshifumi-PT-3a-CTLFireability-07
FORMULA_NAME DLCshifumi-PT-3a-CTLFireability-08
FORMULA_NAME DLCshifumi-PT-3a-CTLFireability-09
FORMULA_NAME DLCshifumi-PT-3a-CTLFireability-10
FORMULA_NAME DLCshifumi-PT-3a-CTLFireability-11
FORMULA_NAME DLCshifumi-PT-3a-CTLFireability-12
FORMULA_NAME DLCshifumi-PT-3a-CTLFireability-13
FORMULA_NAME DLCshifumi-PT-3a-CTLFireability-14
FORMULA_NAME DLCshifumi-PT-3a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589357747177

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 3a
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: 544 places, 3097 transitions, 11545 arcs.
AT ITER 0 NEW BEST:: SOT 1161244 SOS 902926 HAS SOPS 486037 HAS SOUS 143202 HAS SOUPS 74919 WITH SCORE 75821.926
AT ITER 5 NEW BEST:: SOT 1161158 SOS 902711 HAS SOPS 485822 HAS SOUS 143116 HAS SOUPS 74833 WITH SCORE 75735.711
AT ITER 6 NEW BEST:: SOT 1159873 SOS 903155 HAS SOPS 485300 HAS SOUS 142268 HAS SOUPS 73985 WITH SCORE 74888.155
AT ITER 7 NEW BEST:: SOT 1159777 SOS 902915 HAS SOPS 485060 HAS SOUS 142172 HAS SOUPS 73889 WITH SCORE 74791.915
AT ITER 14 NEW BEST:: SOT 1159689 SOS 902739 HAS SOPS 485235 HAS SOUS 141967 HAS SOUPS 73801 WITH SCORE 74703.739
AT ITER 15 NEW BEST:: SOT 1159453 SOS 902267 HAS SOPS 485117 HAS SOUS 141495 HAS SOUPS 73447 WITH SCORE 74349.267
AT ITER 23 NEW BEST:: SOT 1158900 SOS 902369 HAS SOPS 484508 HAS SOUS 141203 HAS SOUPS 73076 WITH SCORE 73978.369
AT ITER 27 NEW BEST:: SOT 1158639 SOS 901847 HAS SOPS 484388 HAS SOUS 140679 HAS SOUPS 72686 WITH SCORE 73587.847
AT ITER 29 NEW BEST:: SOT 1158639 SOS 901847 HAS SOPS 484388 HAS SOUS 140659 HAS SOUPS 72666 WITH SCORE 73567.847
AT ITER 32 NEW BEST:: SOT 1158047 SOS 906310 HAS SOPS 486349 HAS SOUS 140878 HAS SOUPS 72607 WITH SCORE 73513.31
AT ITER 40 NEW BEST:: SOT 1158047 SOS 906310 HAS SOPS 486349 HAS SOUS 140850 HAS SOUPS 72579 WITH SCORE 73485.31
AT ITER 46 NEW BEST:: SOT 1157893 SOS 906376 HAS SOPS 486217 HAS SOUS 140784 HAS SOUPS 72491 WITH SCORE 73397.376
AT ITER 48 NEW BEST:: SOT 1156618 SOS 907439 HAS SOPS 485972 HAS SOUS 140133 HAS SOUPS 71840 WITH SCORE 72747.439
AT ITER 51 NEW BEST:: SOT 1156030 SOS 907547 HAS SOPS 485324 HAS SOUS 139904 HAS SOUPS 71527 WITH SCORE 72434.547
AT ITER 57 NEW BEST:: SOT 1155952 SOS 907309 HAS SOPS 485086 HAS SOUS 139826 HAS SOUPS 71449 WITH SCORE 72356.309
AT ITER 68 NEW BEST:: SOT 1155301 SOS 907495 HAS SOPS 484435 HAS SOUS 139516 HAS SOUPS 71046 WITH SCORE 71953.495
AT ITER 69 NEW BEST:: SOT 1155249 SOS 907391 HAS SOPS 484880 HAS SOUS 139281 HAS SOUPS 70994 WITH SCORE 71901.391
AT ITER 74 NEW BEST:: SOT 1155249 SOS 907391 HAS SOPS 484880 HAS SOUS 139203 HAS SOUPS 70916 WITH SCORE 71823.391
AT ITER 75 NEW BEST:: SOT 1155249 SOS 907391 HAS SOPS 484880 HAS SOUS 139135 HAS SOUPS 70848 WITH SCORE 71755.391
AT ITER 76 NEW BEST:: SOT 1155136 SOS 906673 HAS SOPS 484654 HAS SOUS 138883 HAS SOUPS 70760 WITH SCORE 71666.673
AT ITER 78 NEW BEST:: SOT 1155122 SOS 906679 HAS SOPS 484642 HAS SOUS 138877 HAS SOUPS 70752 WITH SCORE 71658.679
AT ITER 81 NEW BEST:: SOT 1154646 SOS 906709 HAS SOPS 484060 HAS SOUS 138683 HAS SOUPS 70490 WITH SCORE 71396.709
AT ITER 84 NEW BEST:: SOT 1153762 SOS 906992 HAS SOPS 483245 HAS SOUS 138187 HAS SOUPS 69872 WITH SCORE 70778.992
AT ITER 88 NEW BEST:: SOT 1153541 SOS 907750 HAS SOPS 483643 HAS SOUS 138026 HAS SOUPS 69711 WITH SCORE 70618.75
AT ITER 91 NEW BEST:: SOT 1153377 SOS 907479 HAS SOPS 483543 HAS SOUS 137887 HAS SOUPS 69629 WITH SCORE 70536.479
AT ITER 93 NEW BEST:: SOT 1153231 SOS 907187 HAS SOPS 483860 HAS SOUS 137519 HAS SOUPS 69464 WITH SCORE 70371.187
AT ITER 94 NEW BEST:: SOT 1153127 SOS 906979 HAS SOPS 484111 HAS SOUS 137272 HAS SOUPS 69370 WITH SCORE 70276.979
AT ITER 98 NEW BEST:: SOT 1153097 SOS 906919 HAS SOPS 484234 HAS SOUS 137181 HAS SOUPS 69340 WITH SCORE 70246.919
AT ITER 102 NEW BEST:: SOT 1150629 SOS 904023 HAS SOPS 482422 HAS SOUS 137140 HAS SOUPS 69326 WITH SCORE 70230.023
AT ITER 109 NEW BEST:: SOT 1150511 SOS 903787 HAS SOPS 482738 HAS SOUS 136838 HAS SOUPS 69208 WITH SCORE 70111.787
AT ITER 112 NEW BEST:: SOT 1148618 SOS 900701 HAS SOPS 482052 HAS SOUS 136677 HAS SOUPS 69197 WITH SCORE 70097.701
AT ITER 118 NEW BEST:: SOT 1148592 SOS 900649 HAS SOPS 482000 HAS SOUS 136651 HAS SOUPS 69171 WITH SCORE 70071.649
AT ITER 119 NEW BEST:: SOT 1148158 SOS 899628 HAS SOPS 481438 HAS SOUS 135936 HAS SOUPS 68609 WITH SCORE 69508.628
AT ITER 124 NEW BEST:: SOT 1148000 SOS 899312 HAS SOPS 481413 HAS SOUS 135620 HAS SOUPS 68390 WITH SCORE 69289.312
AT ITER 125 NEW BEST:: SOT 1146891 SOS 900580 HAS SOPS 481529 HAS SOUS 135114 HAS SOUPS 67884 WITH SCORE 68784.58
AT ITER 132 NEW BEST:: SOT 1146831 SOS 900460 HAS SOPS 481832 HAS SOUS 134913 HAS SOUPS 67824 WITH SCORE 68724.46
AT ITER 140 NEW BEST:: SOT 1146747 SOS 899948 HAS SOPS 481320 HAS SOUS 134742 HAS SOUPS 67653 WITH SCORE 68552.948
AT ITER 145 NEW BEST:: SOT 1146579 SOS 899612 HAS SOPS 481236 HAS SOUS 134406 HAS SOUPS 67401 WITH SCORE 68300.612
AT ITER 146 NEW BEST:: SOT 1146284 SOS 898798 HAS SOPS 480422 HAS SOUS 134080 HAS SOUPS 67075 WITH SCORE 67973.798
AT ITER 147 NEW BEST:: SOT 1146144 SOS 898518 HAS SOPS 480481 HAS SOUS 133827 HAS SOUPS 66935 WITH SCORE 67833.518
AT ITER 148 NEW BEST:: SOT 1146241 SOS 888072 HAS SOPS 475089 HAS SOUS 133791 HAS SOUPS 66899 WITH SCORE 67787.072
AT ITER 149 NEW BEST:: SOT 1144403 SOS 885104 HAS SOPS 474313 HAS SOUS 133584 HAS SOUPS 66831 WITH SCORE 67716.104
AT ITER 151 NEW BEST:: SOT 1144371 SOS 885040 HAS SOPS 474249 HAS SOUS 133552 HAS SOUPS 66799 WITH SCORE 67684.04
AT ITER 156 NEW BEST:: SOT 1144361 SOS 884615 HAS SOPS 474029 HAS SOUS 133537 HAS SOUPS 66789 WITH SCORE 67673.615
AT ITER 158 NEW BEST:: SOT 1143114 SOS 886908 HAS SOPS 474786 HAS SOUS 132903 HAS SOUPS 66155 WITH SCORE 67041.908
AT ITER 160 NEW BEST:: SOT 1140520 SOS 883564 HAS SOPS 473045 HAS SOUS 132716 HAS SOUPS 66138 WITH SCORE 67021.564
AT ITER 163 NEW BEST:: SOT 1140020 SOS 876680 HAS SOPS 474561 HAS SOUS 132333 HAS SOUPS 65745 WITH SCORE 66621.68
AT ITER 167 NEW BEST:: SOT 1140020 SOS 876680 HAS SOPS 474561 HAS SOUS 132265 HAS SOUPS 65677 WITH SCORE 66553.68
AT ITER 178 NEW BEST:: SOT 1140010 SOS 876618 HAS SOPS 474373 HAS SOUS 132287 HAS SOUPS 65657 WITH SCORE 66533.618
AT ITER 183 NEW BEST:: SOT 1140327 SOS 876994 HAS SOPS 474760 HAS SOUS 132029 HAS SOUPS 65528 WITH SCORE 66404.994
AT ITER 185 NEW BEST:: SOT 1140095 SOS 876521 HAS SOPS 474713 HAS SOUS 131562 HAS SOUPS 65203 WITH SCORE 66079.521
AT ITER 189 NEW BEST:: SOT 1139019 SOS 878178 HAS SOPS 474552 HAS SOUS 131250 HAS SOUPS 64689 WITH SCORE 65567.178
AT ITER 193 NEW BEST:: SOT 1139019 SOS 878167 HAS SOPS 474541 HAS SOUS 131250 HAS SOUPS 64689 WITH SCORE 65567.167
AT ITER 197 NEW BEST:: SOT 1139099 SOS 876154 HAS SOPS 473431 HAS SOUS 131046 HAS SOUPS 64577 WITH SCORE 65453.154
AT ITER 201 NEW BEST:: SOT 1138953 SOS 875973 HAS SOPS 473583 HAS SOUS 130789 HAS SOUPS 64431 WITH SCORE 65306.973
AT ITER 210 NEW BEST:: SOT 1139118 SOS 876243 HAS SOPS 473853 HAS SOUS 130759 HAS SOUPS 64401 WITH SCORE 65277.243
AT ITER 213 NEW BEST:: SOT 1139038 SOS 875603 HAS SOPS 473813 HAS SOUS 130393 HAS SOUPS 64235 WITH SCORE 65110.603
AT ITER 216 NEW BEST:: SOT 1138998 SOS 875391 HAS SOPS 473601 HAS SOUS 130333 HAS SOUPS 64175 WITH SCORE 65050.391
AT ITER 220 NEW BEST:: SOT 1138951 SOS 875202 HAS SOPS 473412 HAS SOUS 130248 HAS SOUPS 64090 WITH SCORE 64965.202
AT ITER 224 NEW BEST:: SOT 1138943 SOS 875186 HAS SOPS 473412 HAS SOUS 130240 HAS SOUPS 64090 WITH SCORE 64965.186
AT ITER 227 NEW BEST:: SOT 1138724 SOS 874118 HAS SOPS 473037 HAS SOUS 129717 HAS SOUPS 63798 WITH SCORE 64672.118
AT ITER 236 NEW BEST:: SOT 1138703 SOS 874127 HAS SOPS 473019 HAS SOUS 129711 HAS SOUPS 63789 WITH SCORE 64663.127
AT ITER 240 NEW BEST:: SOT 1137345 SOS 872401 HAS SOPS 472283 HAS SOUS 129563 HAS SOUPS 63751 WITH SCORE 64623.401
AT ITER 242 NEW BEST:: SOT 1137183 SOS 872383 HAS SOPS 472157 HAS SOUS 129455 HAS SOUPS 63643 WITH SCORE 64515.383
AT ITER 246 NEW BEST:: SOT 1137183 SOS 872383 HAS SOPS 472157 HAS SOUS 129435 HAS SOUPS 63623 WITH SCORE 64495.383
AT ITER 253 NEW BEST:: SOT 1136463 SOS 871483 HAS SOPS 471617 HAS SOUS 129435 HAS SOUPS 63623 WITH SCORE 64494.483
AT ITER 256 NEW BEST:: SOT 1135050 SOS 872920 HAS SOPS 471632 HAS SOUS 128542 HAS SOUPS 62730 WITH SCORE 63602.92
AT ITER 264 NEW BEST:: SOT 1134123 SOS 873561 HAS SOPS 471313 HAS SOUS 128271 HAS SOUPS 62459 WITH SCORE 63332.561
AT ITER 271 NEW BEST:: SOT 1132089 SOS 870321 HAS SOPS 470453 HAS SOUS 128036 HAS SOUPS 62409 WITH SCORE 63279.321
AT ITER 272 NEW BEST:: SOT 1132769 SOS 871506 HAS SOPS 471121 HAS SOUS 128199 HAS SOUPS 62401 WITH SCORE 63272.506
AT ITER 273 NEW BEST:: SOT 1132499 SOS 872106 HAS SOPS 471379 HAS SOUS 128118 HAS SOUPS 62320 WITH SCORE 63192.106
AT ITER 275 NEW BEST:: SOT 1132499 SOS 872106 HAS SOPS 471379 HAS SOUS 128096 HAS SOUPS 62298 WITH SCORE 63170.106
AT ITER 289 NEW BEST:: SOT 1129654 SOS 868458 HAS SOPS 469365 HAS SOUS 128030 HAS SOUPS 62254 WITH SCORE 63122.458
AT ITER 295 NEW BEST:: SOT 1129576 SOS 868419 HAS SOPS 469209 HAS SOUS 127991 HAS SOUPS 62176 WITH SCORE 63044.419
AT ITER 307 NEW BEST:: SOT 1129336 SOS 867627 HAS SOPS 468801 HAS SOUS 127538 HAS SOUPS 61851 WITH SCORE 62718.627
AT ITER 312 NEW BEST:: SOT 1128836 SOS 869396 HAS SOPS 469886 HAS SOUS 127437 HAS SOUPS 61775 WITH SCORE 62644.396
AT ITER 313 NEW BEST:: SOT 1128764 SOS 869368 HAS SOPS 470206 HAS SOUS 127303 HAS SOUPS 61757 WITH SCORE 62626.368
AT ITER 322 NEW BEST:: SOT 1128763 SOS 869366 HAS SOPS 470204 HAS SOUS 127302 HAS SOUPS 61756 WITH SCORE 62625.366
AT ITER 325 NEW BEST:: SOT 1129019 SOS 870244 HAS SOPS 471082 HAS SOUS 127247 HAS SOUPS 61701 WITH SCORE 62571.244
AT ITER 328 NEW BEST:: SOT 1129163 SOS 870388 HAS SOPS 471154 HAS SOUS 127235 HAS SOUPS 61689 WITH SCORE 62559.388
AT ITER 332 NEW BEST:: SOT 1129110 SOS 870282 HAS SOPS 471048 HAS SOUS 127148 HAS SOUPS 61602 WITH SCORE 62472.282
AT ITER 345 NEW BEST:: SOT 1127193 SOS 867173 HAS SOPS 470435 HAS SOUS 126862 HAS SOUPS 61594 WITH SCORE 62461.173
AT ITER 346 NEW BEST:: SOT 1127033 SOS 867013 HAS SOPS 470275 HAS SOUS 126822 HAS SOUPS 61554 WITH SCORE 62421.013
AT ITER 352 NEW BEST:: SOT 1126932 SOS 866811 HAS SOPS 470376 HAS SOUS 126620 HAS SOUPS 61453 WITH SCORE 62319.811
AT ITER 363 NEW BEST:: SOT 1126805 SOS 866557 HAS SOPS 470488 HAS SOUS 126366 HAS SOUPS 61321 WITH SCORE 62187.557
AT ITER 366 NEW BEST:: SOT 1126749 SOS 866445 HAS SOPS 470488 HAS SOUS 126386 HAS SOUPS 61321 WITH SCORE 62187.445
AT ITER 370 NEW BEST:: SOT 1126749 SOS 866445 HAS SOPS 470488 HAS SOUS 126314 HAS SOUPS 61249 WITH SCORE 62115.445
AT ITER 371 NEW BEST:: SOT 1125797 SOS 866562 HAS SOPS 469863 HAS SOUS 125861 HAS SOUPS 60796 WITH SCORE 61662.562
AT ITER 376 NEW BEST:: SOT 1125969 SOS 865381 HAS SOPS 469198 HAS SOUS 125861 HAS SOUPS 60796 WITH SCORE 61661.381
AT ITER 377 NEW BEST:: SOT 1125863 SOS 865289 HAS SOPS 469466 HAS SOUS 125635 HAS SOUPS 60690 WITH SCORE 61555.289
AT ITER 378 NEW BEST:: SOT 1125897 SOS 865300 HAS SOPS 469576 HAS SOUS 125512 HAS SOUPS 60646 WITH SCORE 61511.3
AT ITER 379 NEW BEST:: SOT 1125742 SOS 865129 HAS SOPS 469069 HAS SOUS 125469 HAS SOUPS 60491 WITH SCORE 61356.129
AT ITER 396 NEW BEST:: SOT 1122667 SOS 861417 HAS SOPS 466954 HAS SOUS 125302 HAS SOUPS 60426 WITH SCORE 61287.417
AT ITER 401 NEW BEST:: SOT 1122163 SOS 860409 HAS SOPS 465946 HAS SOUS 125039 HAS SOUPS 60163 WITH SCORE 61023.409
AT ITER 402 NEW BEST:: SOT 1122107 SOS 860297 HAS SOPS 465834 HAS SOUS 124982 HAS SOUPS 60106 WITH SCORE 60966.297
AT ITER 422 NEW BEST:: SOT 1121667 SOS 859527 HAS SOPS 465394 HAS SOUS 124762 HAS SOUPS 59996 WITH SCORE 60855.527
AT ITER 424 NEW BEST:: SOT 1121645 SOS 859483 HAS SOPS 465350 HAS SOUS 124740 HAS SOUPS 59974 WITH SCORE 60833.483
AT ITER 425 NEW BEST:: SOT 1121560 SOS 859313 HAS SOPS 465441 HAS SOUS 124625 HAS SOUPS 59946 WITH SCORE 60805.313
AT ITER 429 NEW BEST:: SOT 1121560 SOS 859313 HAS SOPS 465441 HAS SOUS 124613 HAS SOUPS 59934 WITH SCORE 60793.313
AT ITER 435 NEW BEST:: SOT 1121404 SOS 859885 HAS SOPS 465701 HAS SOUS 124509 HAS SOUPS 59830 WITH SCORE 60689.885
AT ITER 436 NEW BEST:: SOT 1121404 SOS 859885 HAS SOPS 465701 HAS SOUS 124469 HAS SOUPS 59790 WITH SCORE 60649.885
AT ITER 440 NEW BEST:: SOT 1121402 SOS 859881 HAS SOPS 465700 HAS SOUS 124466 HAS SOUPS 59788 WITH SCORE 60647.881
AT ITER 446 NEW BEST:: SOT 1121443 SOS 859868 HAS SOPS 465402 HAS SOUS 124545 HAS SOUPS 59772 WITH SCORE 60631.868
AT ITER 470 NEW BEST:: SOT 1121102 SOS 863138 HAS SOPS 466935 HAS SOUS 124607 HAS SOUPS 59641 WITH SCORE 60504.138
AT ITER 484 NEW BEST:: SOT 1120880 SOS 862822 HAS SOPS 467003 HAS SOUS 124257 HAS SOUPS 59419 WITH SCORE 60281.822
AT ITER 487 NEW BEST:: SOT 1120614 SOS 862936 HAS SOPS 466775 HAS SOUS 124181 HAS SOUPS 59305 WITH SCORE 60167.936
AT ITER 490 NEW BEST:: SOT 1118130 SOS 859714 HAS SOPS 465299 HAS SOUS 123955 HAS SOUPS 59273 WITH SCORE 60132.714
AT ITER 494 NEW BEST:: SOT 1117367 SOS 860278 HAS SOPS 465047 HAS SOUS 123321 HAS SOUPS 58639 WITH SCORE 59499.278
AT ITER 506 NEW BEST:: SOT 1117286 SOS 859913 HAS SOPS 464885 HAS SOUS 123099 HAS SOUPS 58620 WITH SCORE 59479.913
AT ITER 510 NEW BEST:: SOT 1117286 SOS 859913 HAS SOPS 464885 HAS SOUS 123027 HAS SOUPS 58548 WITH SCORE 59407.913
AT ITER 512 NEW BEST:: SOT 1117286 SOS 859913 HAS SOPS 464885 HAS SOUS 122989 HAS SOUPS 58510 WITH SCORE 59369.913
AT ITER 514 NEW BEST:: SOT 1117286 SOS 859903 HAS SOPS 464875 HAS SOUS 122979 HAS SOUPS 58500 WITH SCORE 59359.903
AT ITER 522 NEW BEST:: SOT 1117206 SOS 859413 HAS SOPS 464997 HAS SOUS 122695 HAS SOUPS 58420 WITH SCORE 59279.413
AT ITER 556 NEW BEST:: SOT 1116864 SOS 858448 HAS SOPS 464032 HAS SOUS 122389 HAS SOUPS 58114 WITH SCORE 58972.448
AT ITER 559 NEW BEST:: SOT 1114496 SOS 855488 HAS SOPS 462404 HAS SOUS 122379 HAS SOUPS 58104 WITH SCORE 58959.488
AT ITER 561 NEW BEST:: SOT 1114682 SOS 853860 HAS SOPS 461152 HAS SOUS 122378 HAS SOUPS 58103 WITH SCORE 58956.86
AT ITER 564 NEW BEST:: SOT 1114775 SOS 854264 HAS SOPS 461088 HAS SOUS 122524 HAS SOUPS 58093 WITH SCORE 58947.264
AT ITER 571 NEW BEST:: SOT 1114631 SOS 853760 HAS SOPS 460800 HAS SOUS 122308 HAS SOUPS 57949 WITH SCORE 58802.76
AT ITER 577 NEW BEST:: SOT 1110979 SOS 849519 HAS SOPS 458342 HAS SOUS 122025 HAS SOUPS 57807 WITH SCORE 58656.519
AT ITER 586 NEW BEST:: SOT 1110805 SOS 848952 HAS SOPS 458036 HAS SOUS 121677 HAS SOUPS 57546 WITH SCORE 58394.952
AT ITER 592 NEW BEST:: SOT 1110709 SOS 851100 HAS SOPS 459224 HAS SOUS 121598 HAS SOUPS 57467 WITH SCORE 58318.1
AT ITER 593 NEW BEST:: SOT 1110436 SOS 851314 HAS SOPS 459158 HAS SOUS 121456 HAS SOUPS 57302 WITH SCORE 58153.314
AT ITER 598 NEW BEST:: SOT 1110362 SOS 849988 HAS SOPS 458262 HAS SOUS 121354 HAS SOUPS 57200 WITH SCORE 58049.988
AT ITER 599 NEW BEST:: SOT 1110362 SOS 849988 HAS SOPS 458262 HAS SOUS 121344 HAS SOUPS 57190 WITH SCORE 58039.988
AT ITER 600 NEW BEST:: SOT 1106966 SOS 846195 HAS SOPS 455776 HAS SOUS 121320 HAS SOUPS 57163 WITH SCORE 58009.195
AT ITER 611 NEW BEST:: SOT 1106953 SOS 846182 HAS SOPS 455763 HAS SOUS 121229 HAS SOUPS 57072 WITH SCORE 57918.182
AT ITER 620 NEW BEST:: SOT 1106938 SOS 846152 HAS SOPS 455688 HAS SOUS 121221 HAS SOUPS 57049 WITH SCORE 57895.152
AT ITER 621 NEW BEST:: SOT 1106658 SOS 845872 HAS SOPS 455618 HAS SOUS 121209 HAS SOUPS 57037 WITH SCORE 57882.872
AT ITER 634 NEW BEST:: SOT 1103798 SOS 842802 HAS SOPS 453660 HAS SOUS 121108 HAS SOUPS 57009 WITH SCORE 57851.802
AT ITER 640 NEW BEST:: SOT 1103798 SOS 842802 HAS SOPS 453660 HAS SOUS 121036 HAS SOUPS 56937 WITH SCORE 57779.802
AT ITER 645 NEW BEST:: SOT 1103677 SOS 842560 HAS SOPS 453539 HAS SOUS 120552 HAS SOUPS 56574 WITH SCORE 57416.56
AT ITER 664 NEW BEST:: SOT 1103677 SOS 842556 HAS SOPS 453523 HAS SOUS 120556 HAS SOUPS 56574 WITH SCORE 57416.556
AT ITER 682 NEW BEST:: SOT 1103262 SOS 843122 HAS SOPS 453627 HAS SOUS 120434 HAS SOUPS 56452 WITH SCORE 57295.122
AT ITER 683 NEW BEST:: SOT 1103229 SOS 838413 HAS SOPS 449738 HAS SOUS 120402 HAS SOUPS 56440 WITH SCORE 57278.413
AT ITER 694 NEW BEST:: SOT 1102656 SOS 840567 HAS SOPS 450902 HAS SOUS 120106 HAS SOUPS 56144 WITH SCORE 56984.567
AT ITER 695 NEW BEST:: SOT 1102656 SOS 840567 HAS SOPS 450902 HAS SOUS 120070 HAS SOUPS 56108 WITH SCORE 56948.567
AT ITER 705 NEW BEST:: SOT 1102650 SOS 840547 HAS SOPS 450894 HAS SOUS 120064 HAS SOUPS 56106 WITH SCORE 56946.547
AT ITER 707 NEW BEST:: SOT 1102541 SOS 840329 HAS SOPS 450676 HAS SOUS 120005 HAS SOUPS 56047 WITH SCORE 56887.329
AT ITER 732 NEW BEST:: SOT 1102301 SOS 839910 HAS SOPS 450440 HAS SOUS 119921 HAS SOUPS 56024 WITH SCORE 56863.91
AT ITER 741 NEW BEST:: SOT 1102284 SOS 839876 HAS SOPS 450406 HAS SOUS 119896 HAS SOUPS 55999 WITH SCORE 56838.876
AT ITER 753 NEW BEST:: SOT 1102225 SOS 839264 HAS SOPS 450028 HAS SOUS 119863 HAS SOUPS 55992 WITH SCORE 56831.264
AT ITER 756 NEW BEST:: SOT 1102177 SOS 839232 HAS SOPS 449996 HAS SOUS 119863 HAS SOUPS 55992 WITH SCORE 56831.232
AT ITER 760 NEW BEST:: SOT 1102082 SOS 839582 HAS SOPS 450184 HAS SOUS 119846 HAS SOUPS 55975 WITH SCORE 56814.582
AT ITER 761 NEW BEST:: SOT 1102082 SOS 839582 HAS SOPS 450184 HAS SOUS 119808 HAS SOUPS 55937 WITH SCORE 56776.582
AT ITER 771 NEW BEST:: SOT 1101880 SOS 839280 HAS SOPS 450032 HAS SOUS 119764 HAS SOUPS 55918 WITH SCORE 56757.28
AT ITER 776 NEW BEST:: SOT 1099729 SOS 836935 HAS SOPS 448202 HAS SOUS 119737 HAS SOUPS 55891 WITH SCORE 56727.935
AT ITER 780 NEW BEST:: SOT 1099700 SOS 836906 HAS SOPS 448173 HAS SOUS 119708 HAS SOUPS 55862 WITH SCORE 56698.906
AT ITER 785 NEW BEST:: SOT 1099700 SOS 836846 HAS SOPS 448131 HAS SOUS 119705 HAS SOUPS 55859 WITH SCORE 56695.846
AT ITER 789 NEW BEST:: SOT 1097798 SOS 834310 HAS SOPS 446573 HAS SOUS 119593 HAS SOUPS 55747 WITH SCORE 56581.31
AT ITER 790 NEW BEST:: SOT 1098138 SOS 834586 HAS SOPS 446849 HAS SOUS 119495 HAS SOUPS 55649 WITH SCORE 56483.586
AT ITER 794 NEW BEST:: SOT 1098138 SOS 834586 HAS SOPS 446849 HAS SOUS 119485 HAS SOUPS 55639 WITH SCORE 56473.586
AT ITER 798 NEW BEST:: SOT 1098106 SOS 834218 HAS SOPS 446625 HAS SOUS 119453 HAS SOUPS 55623 WITH SCORE 56457.218
AT ITER 804 NEW BEST:: SOT 1098102 SOS 834210 HAS SOPS 446917 HAS SOUS 119349 HAS SOUPS 55619 WITH SCORE 56453.21
AT ITER 806 NEW BEST:: SOT 1098071 SOS 834148 HAS SOPS 446855 HAS SOUS 119287 HAS SOUPS 55557 WITH SCORE 56391.148
AT ITER 822 NEW BEST:: SOT 1094425 SOS 829256 HAS SOPS 444363 HAS SOUS 118895 HAS SOUPS 55465 WITH SCORE 56294.256
AT ITER 833 NEW BEST:: SOT 1094446 SOS 829277 HAS SOPS 444384 HAS SOUS 118894 HAS SOUPS 55464 WITH SCORE 56293.277
AT ITER 836 NEW BEST:: SOT 1094444 SOS 829273 HAS SOPS 444380 HAS SOUS 118892 HAS SOUPS 55462 WITH SCORE 56291.273
AT ITER 850 NEW BEST:: SOT 1094444 SOS 829273 HAS SOPS 444380 HAS SOUS 118884 HAS SOUPS 55454 WITH SCORE 56283.273
AT ITER 864 NEW BEST:: SOT 1094205 SOS 830575 HAS SOPS 445178 HAS SOUS 118749 HAS SOUPS 55319 WITH SCORE 56149.575
AT ITER 866 NEW BEST:: SOT 1094867 SOS 831422 HAS SOPS 445707 HAS SOUS 118740 HAS SOUPS 55310 WITH SCORE 56141.422
AT ITER 869 NEW BEST:: SOT 1094495 SOS 830787 HAS SOPS 445399 HAS SOUS 118451 HAS SOUPS 55130 WITH SCORE 55960.787
AT ITER 872 NEW BEST:: SOT 1094471 SOS 830739 HAS SOPS 445351 HAS SOUS 118427 HAS SOUPS 55106 WITH SCORE 55936.739
AT ITER 888 NEW BEST:: SOT 1094207 SOS 829947 HAS SOPS 444955 HAS SOUS 118189 HAS SOUPS 55000 WITH SCORE 55829.947
AT ITER 889 NEW BEST:: SOT 1094538 SOS 831233 HAS SOPS 445620 HAS SOUS 118037 HAS SOUPS 54848 WITH SCORE 55679.233
AT ITER 890 NEW BEST:: SOT 1094538 SOS 831233 HAS SOPS 445533 HAS SOUS 118008 HAS SOUPS 54790 WITH SCORE 55621.233
AT ITER 895 NEW BEST:: SOT 1094508 SOS 831188 HAS SOPS 445533 HAS SOUS 117963 HAS SOUPS 54760 WITH SCORE 55591.188
AT ITER 906 NEW BEST:: SOT 1094508 SOS 831188 HAS SOPS 445533 HAS SOUS 117907 HAS SOUPS 54704 WITH SCORE 55535.188
AT ITER 911 NEW BEST:: SOT 1095586 SOS 832462 HAS SOPS 446121 HAS SOUS 117751 HAS SOUPS 54548 WITH SCORE 55380.462
AT ITER 914 NEW BEST:: SOT 1095034 SOS 831797 HAS SOPS 445590 HAS SOUS 117760 HAS SOUPS 54524 WITH SCORE 55355.797
AT ITER 925 NEW BEST:: SOT 1095730 SOS 832667 HAS SOPS 445938 HAS SOUS 117798 HAS SOUPS 54484 WITH SCORE 55316.667
AT ITER 926 NEW BEST:: SOT 1094792 SOS 833382 HAS SOPS 445675 HAS SOUS 117715 HAS SOUPS 54401 WITH SCORE 55234.382
AT ITER 931 NEW BEST:: SOT 1094556 SOS 832910 HAS SOPS 445675 HAS SOUS 117626 HAS SOUPS 54401 WITH SCORE 55233.91
AT ITER 936 NEW BEST:: SOT 1095013 SOS 833496 HAS SOPS 445933 HAS SOUS 117632 HAS SOUPS 54366 WITH SCORE 55199.496
AT ITER 956 NEW BEST:: SOT 1094941 SOS 833352 HAS SOPS 445789 HAS SOUS 117596 HAS SOUPS 54330 WITH SCORE 55163.352
AT ITER 957 NEW BEST:: SOT 1094243 SOS 835202 HAS SOPS 446937 HAS SOUS 117272 HAS SOUPS 54032 WITH SCORE 54867.202
AT ITER 971 NEW BEST:: SOT 1094032 SOS 834780 HAS SOPS 446515 HAS SOUS 116935 HAS SOUPS 53695 WITH SCORE 54529.78
AT ITER 976 NEW BEST:: SOT 1094032 SOS 834780 HAS SOPS 446515 HAS SOUS 116933 HAS SOUPS 53693 WITH SCORE 54527.78
AT ITER 977 NEW BEST:: SOT 1094038 SOS 834780 HAS SOPS 446519 HAS SOUS 116923 HAS SOUPS 53685 WITH SCORE 54519.78
AT ITER 983 NEW BEST:: SOT 1093984 SOS 834618 HAS SOPS 446393 HAS SOUS 116908 HAS SOUPS 53670 WITH SCORE 54504.618
AT ITER 987 NEW BEST:: SOT 1093896 SOS 834442 HAS SOPS 446217 HAS SOUS 116820 HAS SOUPS 53582 WITH SCORE 54416.442
AT ITER 992 NEW BEST:: SOT 1095450 SOS 836131 HAS SOPS 447921 HAS SOUS 116614 HAS SOUPS 53564 WITH SCORE 54400.131
AT ITER 994 NEW BEST:: SOT 1095393 SOS 836055 HAS SOPS 447845 HAS SOUS 116576 HAS SOUPS 53526 WITH SCORE 54362.055
AT ITER 999 NEW BEST:: SOT 1094694 SOS 839555 HAS SOPS 448934 HAS SOUS 116763 HAS SOUPS 53448 WITH SCORE 54287.555
AT ITER 1007 NEW BEST:: SOT 1094497 SOS 839406 HAS SOPS 448649 HAS SOUS 116845 HAS SOUPS 53447 WITH SCORE 54286.406
AT ITER 1016 NEW BEST:: SOT 1094491 SOS 839394 HAS SOPS 448637 HAS SOUS 116839 HAS SOUPS 53441 WITH SCORE 54280.394
AT ITER 1022 NEW BEST:: SOT 1094491 SOS 839433 HAS SOPS 448127 HAS SOUS 116951 HAS SOUPS 53370 WITH SCORE 54209.433
AT ITER 1023 NEW BEST:: SOT 1090784 SOS 834876 HAS SOPS 445916 HAS SOUS 116680 HAS SOUPS 53319 WITH SCORE 54153.876
AT ITER 1035 NEW BEST:: SOT 1090362 SOS 834166 HAS SOPS 445599 HAS SOUS 116306 HAS SOUPS 53076 WITH SCORE 53910.166
AT ITER 1038 NEW BEST:: SOT 1090107 SOS 833722 HAS SOPS 445155 HAS SOUS 116183 HAS SOUPS 52953 WITH SCORE 53786.722
AT ITER 1046 NEW BEST:: SOT 1089936 SOS 833380 HAS SOPS 444813 HAS SOUS 116012 HAS SOUPS 52782 WITH SCORE 53615.38
AT ITER 1054 NEW BEST:: SOT 1089235 SOS 833702 HAS SOPS 444877 HAS SOUS 115913 HAS SOUPS 52709 WITH SCORE 53542.702
AT ITER 1061 NEW BEST:: SOT 1088467 SOS 833717 HAS SOPS 445172 HAS SOUS 115625 HAS SOUPS 52510 WITH SCORE 53343.717
AT ITER 1096 NEW BEST:: SOT 1088467 SOS 833684 HAS SOPS 445073 HAS SOUS 115559 HAS SOUPS 52444 WITH SCORE 53277.684
AT ITER 1101 NEW BEST:: SOT 1088415 SOS 833628 HAS SOPS 445041 HAS SOUS 115559 HAS SOUPS 52444 WITH SCORE 53277.628
AT ITER 1114 NEW BEST:: SOT 1087310 SOS 834719 HAS SOPS 444606 HAS SOUS 115468 HAS SOUPS 52135 WITH SCORE 52969.719
AT ITER 1118 NEW BEST:: SOT 1087310 SOS 834719 HAS SOPS 444606 HAS SOUS 115390 HAS SOUPS 52057 WITH SCORE 52891.719
AT ITER 1143 NEW BEST:: SOT 1087730 SOS 835244 HAS SOPS 444816 HAS SOUS 115355 HAS SOUPS 51987 WITH SCORE 52822.244
AT ITER 1147 NEW BEST:: SOT 1087672 SOS 834786 HAS SOPS 444700 HAS SOUS 115183 HAS SOUPS 51929 WITH SCORE 52763.786
AT ITER 1166 NEW BEST:: SOT 1087524 SOS 834527 HAS SOPS 444552 HAS SOUS 115106 HAS SOUPS 51889 WITH SCORE 52723.527
AT ITER 1174 NEW BEST:: SOT 1087465 SOS 834516 HAS SOPS 444541 HAS SOUS 115047 HAS SOUPS 51830 WITH SCORE 52664.516
AT ITER 1175 NEW BEST:: SOT 1087333 SOS 834285 HAS SOPS 444409 HAS SOUS 114981 HAS SOUPS 51797 WITH SCORE 52631.285
AT ITER 1183 NEW BEST:: SOT 1087176 SOS 833962 HAS SOPS 444086 HAS SOUS 114893 HAS SOUPS 51709 WITH SCORE 52542.962
AT ITER 1192 NEW BEST:: SOT 1087176 SOS 833962 HAS SOPS 444086 HAS SOUS 114865 HAS SOUPS 51681 WITH SCORE 52514.962
AT ITER 1194 NEW BEST:: SOT 1086817 SOS 834927 HAS SOPS 445123 HAS SOUS 114575 HAS SOUPS 51391 WITH SCORE 52225.927
AT ITER 1205 NEW BEST:: SOT 1086792 SOS 835081 HAS SOPS 445205 HAS SOUS 114562 HAS SOUPS 51378 WITH SCORE 52213.081
AT ITER 1209 NEW BEST:: SOT 1084434 SOS 832041 HAS SOPS 443509 HAS SOUS 114527 HAS SOUPS 51343 WITH SCORE 52175.041
AT ITER 1215 NEW BEST:: SOT 1083939 SOS 831546 HAS SOPS 443239 HAS SOUS 114527 HAS SOUPS 51343 WITH SCORE 52174.546
AT ITER 1222 NEW BEST:: SOT 1084081 SOS 829132 HAS SOPS 442103 HAS SOUS 114385 HAS SOUPS 51343 WITH SCORE 52172.132
AT ITER 1232 NEW BEST:: SOT 1087004 SOS 832802 HAS SOPS 443532 HAS SOUS 114173 HAS SOUPS 50882 WITH SCORE 51714.802
AT ITER 1237 NEW BEST:: SOT 1087004 SOS 832802 HAS SOPS 443532 HAS SOUS 114163 HAS SOUPS 50872 WITH SCORE 51704.802
AT ITER 1242 NEW BEST:: SOT 1086969 SOS 832732 HAS SOPS 443532 HAS SOUS 114094 HAS SOUPS 50838 WITH SCORE 51670.732
AT ITER 1249 NEW BEST:: SOT 1086905 SOS 832604 HAS SOPS 443596 HAS SOUS 113966 HAS SOUPS 50774 WITH SCORE 51606.604
AT ITER 1255 NEW BEST:: SOT 1086618 SOS 832930 HAS SOPS 443382 HAS SOUS 113916 HAS SOUPS 50664 WITH SCORE 51496.93
AT ITER 1270 NEW BEST:: SOT 1086103 SOS 833059 HAS SOPS 443203 HAS SOUS 113748 HAS SOUPS 50496 WITH SCORE 51329.059
AT ITER 1273 NEW BEST:: SOT 1086103 SOS 833059 HAS SOPS 443203 HAS SOUS 113726 HAS SOUPS 50474 WITH SCORE 51307.059
AT ITER 1277 NEW BEST:: SOT 1086103 SOS 833059 HAS SOPS 443203 HAS SOUS 113724 HAS SOUPS 50472 WITH SCORE 51305.059
AT ITER 1284 NEW BEST:: SOT 1086103 SOS 833059 HAS SOPS 443203 HAS SOUS 113706 HAS SOUPS 50462 WITH SCORE 51295.059
AT ITER 1289 NEW BEST:: SOT 1086072 SOS 832997 HAS SOPS 443141 HAS SOUS 113675 HAS SOUPS 50431 WITH SCORE 51263.997
AT ITER 1291 NEW BEST:: SOT 1086063 SOS 832979 HAS SOPS 443123 HAS SOUS 113666 HAS SOUPS 50422 WITH SCORE 51254.979
AT ITER 1303 NEW BEST:: SOT 1082867 SOS 828783 HAS SOPS 441121 HAS SOUS 113197 HAS SOUPS 50194 WITH SCORE 51022.783
AT ITER 1317 NEW BEST:: SOT 1082311 SOS 829705 HAS SOPS 441017 HAS SOUS 113161 HAS SOUPS 50044 WITH SCORE 50873.705
AT ITER 1328 NEW BEST:: SOT 1082246 SOS 829438 HAS SOPS 440613 HAS SOUS 113194 HAS SOUPS 49989 WITH SCORE 50818.438
AT ITER 1329 NEW BEST:: SOT 1082227 SOS 829400 HAS SOPS 440575 HAS SOUS 113175 HAS SOUPS 49970 WITH SCORE 50799.4
AT ITER 1330 NEW BEST:: SOT 1081786 SOS 829344 HAS SOPS 440165 HAS SOUS 112873 HAS SOUPS 49668 WITH SCORE 50497.344
AT ITER 1349 NEW BEST:: SOT 1081397 SOS 828665 HAS SOPS 439783 HAS SOUS 112682 HAS SOUPS 49576 WITH SCORE 50404.665
AT ITER 1364 NEW BEST:: SOT 1081397 SOS 828665 HAS SOPS 439783 HAS SOUS 112626 HAS SOUPS 49520 WITH SCORE 50348.665
AT ITER 1372 NEW BEST:: SOT 1081397 SOS 828665 HAS SOPS 439783 HAS SOUS 112596 HAS SOUPS 49490 WITH SCORE 50318.665
AT ITER 1383 NEW BEST:: SOT 1081805 SOS 829175 HAS SOPS 439987 HAS SOUS 112562 HAS SOUPS 49422 WITH SCORE 50251.175
AT ITER 1385 NEW BEST:: SOT 1081795 SOS 829140 HAS SOPS 439967 HAS SOUS 112547 HAS SOUPS 49412 WITH SCORE 50241.14
AT ITER 1392 NEW BEST:: SOT 1081700 SOS 829650 HAS SOPS 440162 HAS SOUS 112522 HAS SOUPS 49352 WITH SCORE 50181.65
AT ITER 1393 NEW BEST:: SOT 1081670 SOS 829356 HAS SOPS 439868 HAS SOUS 112487 HAS SOUPS 49317 WITH SCORE 50146.356
AT ITER 1418 NEW BEST:: SOT 1081714 SOS 829398 HAS SOPS 439910 HAS SOUS 112479 HAS SOUPS 49309 WITH SCORE 50138.398
AT ITER 1421 NEW BEST:: SOT 1082498 SOS 832050 HAS SOPS 440850 HAS SOUS 112456 HAS SOUPS 49286 WITH SCORE 50118.05
AT ITER 1423 NEW BEST:: SOT 1082410 SOS 831896 HAS SOPS 440762 HAS SOUS 112412 HAS SOUPS 49264 WITH SCORE 50095.896
AT ITER 1446 NEW BEST:: SOT 1082422 SOS 831911 HAS SOPS 440768 HAS SOUS 112411 HAS SOUPS 49262 WITH SCORE 50093.911
AT ITER 1461 NEW BEST:: SOT 1082780 SOS 832493 HAS SOPS 440948 HAS SOUS 112389 HAS SOUPS 49106 WITH SCORE 49938.493
AT ITER 1466 NEW BEST:: SOT 1082759 SOS 832409 HAS SOPS 440927 HAS SOUS 112368 HAS SOUPS 49106 WITH SCORE 49938.409
AT ITER 1478 NEW BEST:: SOT 1081950 SOS 831340 HAS SOPS 440407 HAS SOUS 112275 HAS SOUPS 49074 WITH SCORE 49905.34
AT ITER 1483 NEW BEST:: SOT 1080589 SOS 829473 HAS SOPS 438900 HAS SOUS 112266 HAS SOUPS 48992 WITH SCORE 49821.473
AT ITER 1487 NEW BEST:: SOT 1080489 SOS 830194 HAS SOPS 439378 HAS SOUS 112241 HAS SOUPS 48967 WITH SCORE 49797.194
AT ITER 1496 NEW BEST:: SOT 1080487 SOS 830190 HAS SOPS 439378 HAS SOUS 112239 HAS SOUPS 48967 WITH SCORE 49797.19
AT ITER 1497 NEW BEST:: SOT 1080840 SOS 829468 HAS SOPS 438869 HAS SOUS 112195 HAS SOUPS 48923 WITH SCORE 49752.468
AT ITER 1508 NEW BEST:: SOT 1079639 SOS 828038 HAS SOPS 437901 HAS SOUS 112258 HAS SOUPS 48917 WITH SCORE 49745.038
AT ITER 1524 NEW BEST:: SOT 1079599 SOS 826752 HAS SOPS 437081 HAS SOUS 112250 HAS SOUPS 48909 WITH SCORE 49735.752
AT ITER 1525 NEW BEST:: SOT 1079905 SOS 829653 HAS SOPS 436400 HAS SOUS 112032 HAS SOUPS 48765 WITH SCORE 49594.653
AT ITER 1531 NEW BEST:: SOT 1079861 SOS 829587 HAS SOPS 436356 HAS SOUS 112031 HAS SOUPS 48764 WITH SCORE 49593.587
AT ITER 1549 NEW BEST:: SOT 1080041 SOS 829812 HAS SOPS 436446 HAS SOUS 112016 HAS SOUPS 48734 WITH SCORE 49563.812
AT ITER 1554 NEW BEST:: SOT 1078699 SOS 828073 HAS SOPS 435652 HAS SOUS 111667 HAS SOUPS 48490 WITH SCORE 49318.073
AT ITER 1585 NEW BEST:: SOT 1078469 SOS 828208 HAS SOPS 435682 HAS SOUS 111577 HAS SOUPS 48400 WITH SCORE 49228.208
AT ITER 1586 NEW BEST:: SOT 1078393 SOS 828649 HAS SOPS 435844 HAS SOUS 111579 HAS SOUPS 48371 WITH SCORE 49199.649
AT ITER 1592 NEW BEST:: SOT 1078414 SOS 828487 HAS SOPS 435750 HAS SOUS 111485 HAS SOUPS 48277 WITH SCORE 49105.487
AT ITER 1600 NEW BEST:: SOT 1078277 SOS 828213 HAS SOPS 435182 HAS SOUS 111446 HAS SOUPS 48140 WITH SCORE 48968.213
AT ITER 1601 NEW BEST:: SOT 1078285 SOS 828229 HAS SOPS 435198 HAS SOUS 111444 HAS SOUPS 48138 WITH SCORE 48966.229
AT ITER 1602 NEW BEST:: SOT 1079516 SOS 832265 HAS SOPS 437587 HAS SOUS 111409 HAS SOUPS 48092 WITH SCORE 48924.265
AT ITER 1603 NEW BEST:: SOT 1079507 SOS 832247 HAS SOPS 437569 HAS SOUS 111400 HAS SOUPS 48083 WITH SCORE 48915.247
AT ITER 1614 NEW BEST:: SOT 1079507 SOS 832247 HAS SOPS 437569 HAS SOUS 111285 HAS SOUPS 47968 WITH SCORE 48800.247
AT ITER 1621 NEW BEST:: SOT 1079470 SOS 832210 HAS SOPS 437532 HAS SOUS 111238 HAS SOUPS 47921 WITH SCORE 48753.21
AT ITER 1628 NEW BEST:: SOT 1075935 SOS 827652 HAS SOPS 435512 HAS SOUS 110931 HAS SOUPS 47896 WITH SCORE 48723.652
AT ITER 1633 NEW BEST:: SOT 1075646 SOS 827363 HAS SOPS 435223 HAS SOUS 110907 HAS SOUPS 47872 WITH SCORE 48699.363
AT ITER 1640 NEW BEST:: SOT 1075615 SOS 827301 HAS SOPS 435161 HAS SOUS 110876 HAS SOUPS 47841 WITH SCORE 48668.301
AT ITER 1643 NEW BEST:: SOT 1075541 SOS 827003 HAS SOPS 434863 HAS SOUS 110802 HAS SOUPS 47767 WITH SCORE 48594.003
AT ITER 1647 NEW BEST:: SOT 1075526 SOS 826248 HAS SOPS 434108 HAS SOUS 110600 HAS SOUPS 47565 WITH SCORE 48391.248
AT ITER 1657 NEW BEST:: SOT 1075405 SOS 826295 HAS SOPS 434002 HAS SOUS 110553 HAS SOUPS 47501 WITH SCORE 48327.295
AT ITER 1658 NEW BEST:: SOT 1075277 SOS 825966 HAS SOPS 433965 HAS SOUS 110352 HAS SOUPS 47373 WITH SCORE 48198.966
AT ITER 1659 NEW BEST:: SOT 1078062 SOS 829465 HAS SOPS 435367 HAS SOUS 110318 HAS SOUPS 47106 WITH SCORE 47935.465
AT ITER 1667 NEW BEST:: SOT 1074943 SOS 825654 HAS SOPS 433458 HAS SOUS 110141 HAS SOUPS 47103 WITH SCORE 47928.654
AT ITER 1676 NEW BEST:: SOT 1074904 SOS 825876 HAS SOPS 433680 HAS SOUS 110075 HAS SOUPS 47037 WITH SCORE 47862.876
AT ITER 1679 NEW BEST:: SOT 1073405 SOS 823808 HAS SOPS 432286 HAS SOUS 109936 HAS SOUPS 46887 WITH SCORE 47710.808
AT ITER 1699 NEW BEST:: SOT 1072779 SOS 823034 HAS SOPS 431644 HAS SOUS 109958 HAS SOUPS 46861 WITH SCORE 47684.034
AT ITER 1704 NEW BEST:: SOT 1072741 SOS 822878 HAS SOPS 431465 HAS SOUS 109897 HAS SOUPS 46800 WITH SCORE 47622.878
AT ITER 1718 NEW BEST:: SOT 1072820 SOS 822881 HAS SOPS 431561 HAS SOUS 109795 HAS SOUPS 46786 WITH SCORE 47608.881
AT ITER 1732 NEW BEST:: SOT 1072748 SOS 822737 HAS SOPS 431198 HAS SOUS 109785 HAS SOUPS 46703 WITH SCORE 47525.737
AT ITER 1759 NEW BEST:: SOT 1071668 SOS 821387 HAS SOPS 430658 HAS SOUS 109691 HAS SOUPS 46699 WITH SCORE 47520.387
AT ITER 1774 NEW BEST:: SOT 1071413 SOS 821644 HAS SOPS 430642 HAS SOUS 109634 HAS SOUPS 46543 WITH SCORE 47364.644
AT ITER 1785 NEW BEST:: SOT 1071407 SOS 821620 HAS SOPS 430612 HAS SOUS 109616 HAS SOUPS 46525 WITH SCORE 47346.62
AT ITER 1831 NEW BEST:: SOT 1070291 SOS 820225 HAS SOPS 430054 HAS SOUS 109523 HAS SOUPS 46525 WITH SCORE 47345.225
AT ITER 1840 NEW BEST:: SOT 1070281 SOS 820155 HAS SOPS 430074 HAS SOUS 109470 HAS SOUPS 46502 WITH SCORE 47322.155
AT ITER 1849 NEW BEST:: SOT 1070281 SOS 820155 HAS SOPS 430074 HAS SOUS 109432 HAS SOUPS 46464 WITH SCORE 47284.155
AT ITER 1866 NEW BEST:: SOT 1071025 SOS 821085 HAS SOPS 430446 HAS SOUS 109497 HAS SOUPS 46463 WITH SCORE 47284.085
AT ITER 1874 NEW BEST:: SOT 1071025 SOS 821085 HAS SOPS 430446 HAS SOUS 109487 HAS SOUPS 46453 WITH SCORE 47274.085
AT ITER 1875 NEW BEST:: SOT 1071025 SOS 821085 HAS SOPS 430446 HAS SOUS 109477 HAS SOUPS 46443 WITH SCORE 47264.085
AT ITER 1892 NEW BEST:: SOT 1069184 SOS 818177 HAS SOPS 429732 HAS SOUS 109198 HAS SOUPS 46438 WITH SCORE 47256.177
AT ITER 1909 NEW BEST:: SOT 1069175 SOS 818186 HAS SOPS 429714 HAS SOUS 109189 HAS SOUPS 46420 WITH SCORE 47238.186
AT ITER 1913 NEW BEST:: SOT 1069175 SOS 818186 HAS SOPS 429714 HAS SOUS 109179 HAS SOUPS 46410 WITH SCORE 47228.186
AT ITER 1920 NEW BEST:: SOT 1069175 SOS 818186 HAS SOPS 429714 HAS SOUS 109172 HAS SOUPS 46403 WITH SCORE 47221.186
AT ITER 1924 NEW BEST:: SOT 1066864 SOS 815176 HAS SOPS 428214 HAS SOUS 108895 HAS SOUPS 46251 WITH SCORE 47066.176
AT ITER 1946 NEW BEST:: SOT 1066908 SOS 814244 HAS SOPS 427588 HAS SOUS 108888 HAS SOUPS 46244 WITH SCORE 47058.244
AT ITER 1947 NEW BEST:: SOT 1066908 SOS 814244 HAS SOPS 427588 HAS SOUS 108882 HAS SOUPS 46238 WITH SCORE 47052.244
AT ITER 1950 NEW BEST:: SOT 1065416 SOS 812457 HAS SOPS 426484 HAS SOUS 108882 HAS SOUPS 46238 WITH SCORE 47050.457
AT ITER 1953 NEW BEST:: SOT 1065246 SOS 812253 HAS SOPS 426348 HAS SOUS 108865 HAS SOUPS 46221 WITH SCORE 47033.253
AT ITER 1962 NEW BEST:: SOT 1065216 SOS 812217 HAS SOPS 426384 HAS SOUS 108829 HAS SOUPS 46209 WITH SCORE 47021.217
AT ITER 1965 NEW BEST:: SOT 1065258 SOS 812405 HAS SOPS 426279 HAS SOUS 108855 HAS SOUPS 46142 WITH SCORE 46954.405
AT ITER 1976 NEW BEST:: SOT 1064319 SOS 811230 HAS SOPS 425673 HAS SOUS 108806 HAS SOUPS 46138 WITH SCORE 46949.23
AT ITER 2005 NEW BEST:: SOT 1063622 SOS 810437 HAS SOPS 425264 HAS SOUS 108902 HAS SOUPS 46138 WITH SCORE 46948.437
AT ITER 2013 NEW BEST:: SOT 1063607 SOS 810507 HAS SOPS 425314 HAS SOUS 108897 HAS SOUPS 46133 WITH SCORE 46943.507
AT ITER 2015 NEW BEST:: SOT 1063510 SOS 811532 HAS SOPS 425771 HAS SOUS 108844 HAS SOUPS 46080 WITH SCORE 46891.532
AT ITER 2019 NEW BEST:: SOT 1063532 SOS 811486 HAS SOPS 425815 HAS SOUS 108806 HAS SOUPS 46072 WITH SCORE 46883.486
AT ITER 2023 NEW BEST:: SOT 1063639 SOS 810528 HAS SOPS 424971 HAS SOUS 108713 HAS SOUPS 45979 WITH SCORE 46789.528
AT ITER 2027 NEW BEST:: SOT 1063984 SOS 811365 HAS SOPS 424996 HAS SOUS 108647 HAS SOUPS 45814 WITH SCORE 46625.365
AT ITER 2034 NEW BEST:: SOT 1063907 SOS 811211 HAS SOPS 424842 HAS SOUS 108493 HAS SOUPS 45660 WITH SCORE 46471.211
AT ITER 2039 NEW BEST:: SOT 1063569 SOS 810622 HAS SOPS 424514 HAS SOUS 108339 HAS SOUPS 45593 WITH SCORE 46403.622
AT ITER 2040 NEW BEST:: SOT 1063576 SOS 810517 HAS SOPS 424472 HAS SOUS 108332 HAS SOUPS 45593 WITH SCORE 46403.517
AT ITER 2061 NEW BEST:: SOT 1062052 SOS 808495 HAS SOPS 423476 HAS SOUS 108134 HAS SOUPS 45509 WITH SCORE 46317.495
AT ITER 2074 NEW BEST:: SOT 1062048 SOS 808487 HAS SOPS 423468 HAS SOUS 108130 HAS SOUPS 45505 WITH SCORE 46313.487
AT ITER 2076 NEW BEST:: SOT 1062048 SOS 808487 HAS SOPS 423468 HAS SOUS 108116 HAS SOUPS 45491 WITH SCORE 46299.487
AT ITER 2083 NEW BEST:: SOT 1061178 SOS 809249 HAS SOPS 424086 HAS SOUS 107706 HAS SOUPS 45209 WITH SCORE 46018.249
AT ITER 2095 NEW BEST:: SOT 1061294 SOS 809290 HAS SOPS 424127 HAS SOUS 107672 HAS SOUPS 45175 WITH SCORE 45984.29
AT ITER 2099 NEW BEST:: SOT 1061177 SOS 808743 HAS SOPS 423964 HAS SOUS 107440 HAS SOUPS 45071 WITH SCORE 45879.743
AT ITER 2115 NEW BEST:: SOT 1061071 SOS 808531 HAS SOPS 423752 HAS SOUS 107328 HAS SOUPS 44959 WITH SCORE 45767.531
AT ITER 2116 NEW BEST:: SOT 1061065 SOS 808513 HAS SOPS 423743 HAS SOUS 107316 HAS SOUPS 44950 WITH SCORE 45758.513
AT ITER 2120 NEW BEST:: SOT 1060233 SOS 805594 HAS SOPS 422241 HAS SOUS 107190 HAS SOUPS 44921 WITH SCORE 45726.594
AT ITER 2131 NEW BEST:: SOT 1063956 SOS 809620 HAS SOPS 424435 HAS SOUS 107329 HAS SOUPS 44814 WITH SCORE 45623.62
AT ITER 2143 NEW BEST:: SOT 1062492 SOS 807368 HAS SOPS 424059 HAS SOUS 107216 HAS SOUPS 44806 WITH SCORE 45613.368
AT ITER 2167 NEW BEST:: SOT 1062846 SOS 807924 HAS SOPS 424463 HAS SOUS 107197 HAS SOUPS 44752 WITH SCORE 45559.924
AT ITER 2172 NEW BEST:: SOT 1062643 SOS 807667 HAS SOPS 424368 HAS SOUS 107176 HAS SOUPS 44749 WITH SCORE 45556.667
AT ITER 2182 NEW BEST:: SOT 1062547 SOS 807505 HAS SOPS 424296 HAS SOUS 107122 HAS SOUPS 44725 WITH SCORE 45532.505
AT ITER 2184 NEW BEST:: SOT 1062535 SOS 803944 HAS SOPS 424223 HAS SOUS 106983 HAS SOUPS 44678 WITH SCORE 45481.944
AT ITER 2200 NEW BEST:: SOT 1062345 SOS 803564 HAS SOPS 424029 HAS SOUS 106732 HAS SOUPS 44520 WITH SCORE 45323.564
AT ITER 2202 NEW BEST:: SOT 1062333 SOS 803568 HAS SOPS 423991 HAS SOUS 106734 HAS SOUPS 44508 WITH SCORE 45311.568
AT ITER 2207 NEW BEST:: SOT 1062328 SOS 803578 HAS SOPS 423951 HAS SOUS 106714 HAS SOUPS 44478 WITH SCORE 45281.578
AT ITER 2221 NEW BEST:: SOT 1062179 SOS 803384 HAS SOPS 423820 HAS SOUS 106702 HAS SOUPS 44463 WITH SCORE 45266.384
AT ITER 2225 NEW BEST:: SOT 1062119 SOS 803318 HAS SOPS 423772 HAS SOUS 106690 HAS SOUPS 44451 WITH SCORE 45254.318
AT ITER 2259 NEW BEST:: SOT 1062078 SOS 802995 HAS SOPS 423484 HAS SOUS 106609 HAS SOUPS 44370 WITH SCORE 45172.995
AT ITER 2265 NEW BEST:: SOT 1061929 SOS 802697 HAS SOPS 423186 HAS SOUS 106342 HAS SOUPS 44103 WITH SCORE 44905.697
AT ITER 2270 NEW BEST:: SOT 1061760 SOS 803879 HAS SOPS 423076 HAS SOUS 106223 HAS SOUPS 43984 WITH SCORE 44787.879
AT ITER 2277 NEW BEST:: SOT 1061684 SOS 803514 HAS SOPS 422924 HAS SOUS 106014 HAS SOUPS 43846 WITH SCORE 44649.514
AT ITER 2290 NEW BEST:: SOT 1062824 SOS 804939 HAS SOPS 423494 HAS SOUS 105943 HAS SOUPS 43680 WITH SCORE 44484.939
AT ITER 2292 NEW BEST:: SOT 1062824 SOS 804939 HAS SOPS 423494 HAS SOUS 105909 HAS SOUPS 43646 WITH SCORE 44450.939
AT ITER 2293 NEW BEST:: SOT 1063305 SOS 805540 HAS SOPS 423723 HAS SOUS 105940 HAS SOUPS 43637 WITH SCORE 44442.54
AT ITER 2303 NEW BEST:: SOT 1063297 SOS 805524 HAS SOPS 423707 HAS SOUS 105932 HAS SOUPS 43629 WITH SCORE 44434.524
AT ITER 2310 NEW BEST:: SOT 1063297 SOS 805869 HAS SOPS 423707 HAS SOUS 105932 HAS SOUPS 43514 WITH SCORE 44319.869
AT ITER 2313 NEW BEST:: SOT 1062721 SOS 805273 HAS SOPS 423111 HAS SOUS 105757 HAS SOUPS 43339 WITH SCORE 44144.273
AT ITER 2314 NEW BEST:: SOT 1062706 SOS 805267 HAS SOPS 423099 HAS SOUS 105757 HAS SOUPS 43336 WITH SCORE 44141.267
AT ITER 2319 NEW BEST:: SOT 1062738 SOS 805241 HAS SOPS 423073 HAS SOUS 105699 HAS SOUPS 43278 WITH SCORE 44083.241
AT ITER 2321 NEW BEST:: SOT 1062468 SOS 804917 HAS SOPS 422857 HAS SOUS 105672 HAS SOUPS 43251 WITH SCORE 44055.917
AT ITER 2356 NEW BEST:: SOT 1061330 SOS 803478 HAS SOPS 422255 HAS SOUS 105517 HAS SOUPS 43189 WITH SCORE 43992.478
AT ITER 2361 NEW BEST:: SOT 1061267 SOS 802935 HAS SOPS 422129 HAS SOUS 105203 HAS SOUPS 43014 WITH SCORE 43816.935
AT ITER 2371 NEW BEST:: SOT 1059192 SOS 796542 HAS SOPS 419304 HAS SOUS 105055 HAS SOUPS 42988 WITH SCORE 43784.542
AT ITER 2396 NEW BEST:: SOT 1059152 SOS 796442 HAS SOPS 419144 HAS SOUS 104995 HAS SOUPS 42908 WITH SCORE 43704.442
AT ITER 2400 NEW BEST:: SOT 1059371 SOS 796693 HAS SOPS 419293 HAS SOUS 104993 HAS SOUPS 42906 WITH SCORE 43702.693
AT ITER 2403 NEW BEST:: SOT 1059465 SOS 796881 HAS SOPS 419481 HAS SOUS 104963 HAS SOUPS 42876 WITH SCORE 43672.881
AT ITER 2413 NEW BEST:: SOT 1057825 SOS 795158 HAS SOPS 418550 HAS SOUS 104748 HAS SOUPS 42661 WITH SCORE 43456.158
AT ITER 2419 NEW BEST:: SOT 1057840 SOS 795222 HAS SOPS 418597 HAS SOUS 104763 HAS SOUPS 42659 WITH SCORE 43454.222
AT ITER 2441 NEW BEST:: SOT 1057876 SOS 795258 HAS SOPS 418453 HAS SOUS 104739 HAS SOUPS 42631 WITH SCORE 43426.258
AT ITER 2492 NEW BEST:: SOT 1056683 SOS 793881 HAS SOPS 417540 HAS SOUS 104646 HAS SOUPS 42498 WITH SCORE 43291.881
AT ITER 2502 NEW BEST:: SOT 1056197 SOS 793260 HAS SOPS 417270 HAS SOUS 104589 HAS SOUPS 42480 WITH SCORE 43273.26
AT ITER 2507 NEW BEST:: SOT 1056020 SOS 793263 HAS SOPS 417242 HAS SOUS 104553 HAS SOUPS 42444 WITH SCORE 43237.263
AT ITER 2521 NEW BEST:: SOT 1056020 SOS 793263 HAS SOPS 417242 HAS SOUS 104535 HAS SOUPS 42426 WITH SCORE 43219.263
AT ITER 2523 NEW BEST:: SOT 1055913 SOS 793093 HAS SOPS 417177 HAS SOUS 104452 HAS SOUPS 42364 WITH SCORE 43157.093
AT ITER 2545 NEW BEST:: SOT 1055841 SOS 792949 HAS SOPS 417141 HAS SOUS 104434 HAS SOUPS 42346 WITH SCORE 43138.949
AT ITER 2551 NEW BEST:: SOT 1055841 SOS 792949 HAS SOPS 417141 HAS SOUS 104422 HAS SOUPS 42334 WITH SCORE 43126.949
AT ITER 2564 NEW BEST:: SOT 1055581 SOS 792693 HAS SOPS 417009 HAS SOUS 104404 HAS SOUPS 42312 WITH SCORE 43104.693
AT ITER 2585 NEW BEST:: SOT 1055943 SOS 793109 HAS SOPS 417257 HAS SOUS 104402 HAS SOUPS 42310 WITH SCORE 43103.109
AT ITER 2587 NEW BEST:: SOT 1055400 SOS 792181 HAS SOPS 416803 HAS SOUS 104239 HAS SOUPS 42305 WITH SCORE 43097.181
AT ITER 2600 NEW BEST:: SOT 1055434 SOS 792181 HAS SOPS 416803 HAS SOUS 104222 HAS SOUPS 42288 WITH SCORE 43080.181
AT ITER 2604 NEW BEST:: SOT 1055434 SOS 792181 HAS SOPS 416803 HAS SOUS 104200 HAS SOUPS 42266 WITH SCORE 43058.181
AT ITER 2609 NEW BEST:: SOT 1055281 SOS 791917 HAS SOPS 416613 HAS SOUS 104220 HAS SOUPS 42237 WITH SCORE 43028.917
AT ITER 2610 NEW BEST:: SOT 1055290 SOS 791755 HAS SOPS 416505 HAS SOUS 104220 HAS SOUPS 42237 WITH SCORE 43028.755
AT ITER 2611 NEW BEST:: SOT 1055288 SOS 791741 HAS SOPS 416491 HAS SOUS 104218 HAS SOUPS 42235 WITH SCORE 43026.741
AT ITER 2619 NEW BEST:: SOT 1055279 SOS 791714 HAS SOPS 416473 HAS SOUS 104218 HAS SOUPS 42235 WITH SCORE 43026.714
AT ITER 2658 NEW BEST:: SOT 1055279 SOS 791705 HAS SOPS 416473 HAS SOUS 104212 HAS SOUPS 42232 WITH SCORE 43023.705
AT ITER 2680 NEW BEST:: SOT 1053518 SOS 789505 HAS SOPS 415375 HAS SOUS 104023 HAS SOUPS 42141 WITH SCORE 42930.505
AT ITER 2693 NEW BEST:: SOT 1053512 SOS 789493 HAS SOPS 415363 HAS SOUS 103926 HAS SOUPS 42044 WITH SCORE 42833.493
AT ITER 2696 NEW BEST:: SOT 1053284 SOS 789208 HAS SOPS 415249 HAS SOUS 103902 HAS SOUPS 42039 WITH SCORE 42828.208
AT ITER 2762 NEW BEST:: SOT 1053311 SOS 787762 HAS SOPS 414571 HAS SOUS 103716 HAS SOUPS 41935 WITH SCORE 42722.762
AT ITER 2765 NEW BEST:: SOT 1053270 SOS 787680 HAS SOPS 414333 HAS SOUS 103445 HAS SOUPS 41664 WITH SCORE 42451.68
AT ITER 2775 NEW BEST:: SOT 1053210 SOS 787730 HAS SOPS 414293 HAS SOUS 103435 HAS SOUPS 41644 WITH SCORE 42431.73
AT ITER 2794 NEW BEST:: SOT 1053276 SOS 787697 HAS SOPS 414293 HAS SOUS 103339 HAS SOUPS 41581 WITH SCORE 42368.697
AT ITER 2809 NEW BEST:: SOT 1053160 SOS 787465 HAS SOPS 414061 HAS SOUS 103147 HAS SOUPS 41389 WITH SCORE 42176.465
AT ITER 2835 NEW BEST:: SOT 1053045 SOS 787235 HAS SOPS 414061 HAS SOUS 103071 HAS SOUPS 41389 WITH SCORE 42176.235
AT ITER 2842 NEW BEST:: SOT 1053045 SOS 787235 HAS SOPS 414061 HAS SOUS 103065 HAS SOUPS 41383 WITH SCORE 42170.235
AT ITER 2887 NEW BEST:: SOT 1053044 SOS 787158 HAS SOPS 414060 HAS SOUS 103064 HAS SOUPS 41382 WITH SCORE 42169.158
AT ITER 2901 NEW BEST:: SOT 1053310 SOS 787434 HAS SOPS 414144 HAS SOUS 103062 HAS SOUPS 41380 WITH SCORE 42167.434
AT ITER 2932 NEW BEST:: SOT 1053206 SOS 787330 HAS SOPS 414066 HAS SOUS 103062 HAS SOUPS 41380 WITH SCORE 42167.33
AT ITER 2934 NEW BEST:: SOT 1053206 SOS 787330 HAS SOPS 414066 HAS SOUS 103028 HAS SOUPS 41346 WITH SCORE 42133.33
AT ITER 2938 NEW BEST:: SOT 1053213 SOS 787204 HAS SOPS 413982 HAS SOUS 103014 HAS SOUPS 41332 WITH SCORE 42119.204
AT ITER 2968 NEW BEST:: SOT 1053530 SOS 787346 HAS SOPS 414106 HAS SOUS 102873 HAS SOUPS 41282 WITH SCORE 42069.346
AT ITER 2990 NEW BEST:: SOT 1052151 SOS 786668 HAS SOPS 412660 HAS SOUS 102781 HAS SOUPS 41122 WITH SCORE 41908.668
AT ITER 2992 NEW BEST:: SOT 1052151 SOS 786596 HAS SOPS 412372 HAS SOUS 102853 HAS SOUPS 41122 WITH SCORE 41908.596
AT ITER 3003 NEW BEST:: SOT 1051948 SOS 786333 HAS SOPS 412184 HAS SOUS 102815 HAS SOUPS 41084 WITH SCORE 41870.333
AT ITER 3004 NEW BEST:: SOT 1052675 SOS 787804 HAS SOPS 412616 HAS SOUS 102882 HAS SOUPS 41053 WITH SCORE 41840.804
AT ITER 3009 NEW BEST:: SOT 1052725 SOS 787864 HAS SOPS 412641 HAS SOUS 102877 HAS SOUPS 41048 WITH SCORE 41835.864
AT ITER 3049 NEW BEST:: SOT 1052543 SOS 787707 HAS SOPS 412507 HAS SOUS 102858 HAS SOUPS 41029 WITH SCORE 41816.707
AT ITER 3053 NEW BEST:: SOT 1052192 SOS 787248 HAS SOPS 412291 HAS SOUS 102809 HAS SOUPS 41007 WITH SCORE 41794.248
AT ITER 3069 NEW BEST:: SOT 1052274 SOS 787400 HAS SOPS 412540 HAS SOUS 102672 HAS SOUPS 40948 WITH SCORE 41735.4
AT ITER 3072 NEW BEST:: SOT 1052274 SOS 787400 HAS SOPS 412474 HAS SOUS 102693 HAS SOUPS 40947 WITH SCORE 41734.4
AT ITER 3077 NEW BEST:: SOT 1052826 SOS 787952 HAS SOPS 412750 HAS SOUS 102650 HAS SOUPS 40904 WITH SCORE 41691.952
AT ITER 3140 NEW BEST:: SOT 1053057 SOS 788067 HAS SOPS 412882 HAS SOUS 102535 HAS SOUPS 40822 WITH SCORE 41610.067
AT ITER 3141 NEW BEST:: SOT 1053049 SOS 787891 HAS SOPS 412770 HAS SOUS 102527 HAS SOUPS 40814 WITH SCORE 41601.891
AT ITER 3147 NEW BEST:: SOT 1051116 SOS 785594 HAS SOPS 411313 HAS SOUS 102472 HAS SOUPS 40759 WITH SCORE 41544.594
AT ITER 3148 NEW BEST:: SOT 1049426 SOS 783749 HAS SOPS 410142 HAS SOUS 102441 HAS SOUPS 40690 WITH SCORE 41473.749
AT ITER 3163 NEW BEST:: SOT 1049412 SOS 783679 HAS SOPS 410114 HAS SOUS 102427 HAS SOUPS 40690 WITH SCORE 41473.679
AT ITER 3185 NEW BEST:: SOT 1049457 SOS 783766 HAS SOPS 410132 HAS SOUS 102441 HAS SOUPS 40681 WITH SCORE 41464.766
AT ITER 3197 NEW BEST:: SOT 1049645 SOS 783971 HAS SOPS 410235 HAS SOUS 102425 HAS SOUPS 40665 WITH SCORE 41448.971
AT ITER 3222 NEW BEST:: SOT 1049549 SOS 783875 HAS SOPS 410139 HAS SOUS 102371 HAS SOUPS 40611 WITH SCORE 41394.875
AT ITER 3227 NEW BEST:: SOT 1049329 SOS 783435 HAS SOPS 410139 HAS SOUS 102290 HAS SOUPS 40611 WITH SCORE 41394.435
AT ITER 3249 NEW BEST:: SOT 1049325 SOS 783425 HAS SOPS 410123 HAS SOUS 102288 HAS SOUPS 40607 WITH SCORE 41390.425
AT ITER 3266 NEW BEST:: SOT 1046498 SOS 779850 HAS SOPS 408627 HAS SOUS 101818 HAS SOUPS 40368 WITH SCORE 41147.85
AT ITER 3275 NEW BEST:: SOT 1046649 SOS 780060 HAS SOPS 408627 HAS SOUS 101769 HAS SOUPS 40308 WITH SCORE 41088.06
AT ITER 3293 NEW BEST:: SOT 1046647 SOS 780058 HAS SOPS 408625 HAS SOUS 101767 HAS SOUPS 40306 WITH SCORE 41086.058
AT ITER 3303 NEW BEST:: SOT 1046492 SOS 779724 HAS SOPS 408584 HAS SOUS 101666 HAS SOUPS 40262 WITH SCORE 41041.724
AT ITER 3336 NEW BEST:: SOT 1046622 SOS 779922 HAS SOPS 408584 HAS SOUS 101658 HAS SOUPS 40232 WITH SCORE 41011.922
AT ITER 3357 NEW BEST:: SOT 1043214 SOS 775601 HAS SOPS 406751 HAS SOUS 101385 HAS SOUPS 40232 WITH SCORE 41007.601
AT ITER 3358 NEW BEST:: SOT 1043192 SOS 775557 HAS SOPS 406751 HAS SOUS 101223 HAS SOUPS 40232 WITH SCORE 41007.557
AT ITER 3377 NEW BEST:: SOT 1042578 SOS 774751 HAS SOPS 406377 HAS SOUS 101137 HAS SOUPS 40194 WITH SCORE 40968.751
AT ITER 3399 NEW BEST:: SOT 1042470 SOS 774616 HAS SOPS 406323 HAS SOUS 101110 HAS SOUPS 40176 WITH SCORE 40950.616
AT ITER 3404 NEW BEST:: SOT 1042467 SOS 774610 HAS SOPS 406308 HAS SOUS 101110 HAS SOUPS 40173 WITH SCORE 40947.61
AT ITER 3443 NEW BEST:: SOT 1042803 SOS 775030 HAS SOPS 406476 HAS SOUS 101110 HAS SOUPS 40145 WITH SCORE 40920.03
AT ITER 3474 NEW BEST:: SOT 1042803 SOS 775030 HAS SOPS 406476 HAS SOUS 101102 HAS SOUPS 40137 WITH SCORE 40912.03
AT ITER 3488 NEW BEST:: SOT 1042165 SOS 774186 HAS SOPS 406064 HAS SOUS 100974 HAS SOUPS 40057 WITH SCORE 40831.186
AT ITER 3489 NEW BEST:: SOT 1041437 SOS 773402 HAS SOPS 405616 HAS SOUS 100918 HAS SOUPS 40001 WITH SCORE 40774.402
AT ITER 3498 NEW BEST:: SOT 1041259 SOS 773129 HAS SOPS 405592 HAS SOUS 100823 HAS SOUPS 39989 WITH SCORE 40762.129
AT ITER 3500 NEW BEST:: SOT 1040664 SOS 771212 HAS SOPS 404665 HAS SOUS 100645 HAS SOUPS 39877 WITH SCORE 40648.212
AT ITER 3507 NEW BEST:: SOT 1040660 SOS 770364 HAS SOPS 403817 HAS SOUS 100645 HAS SOUPS 39877 WITH SCORE 40647.364
AT ITER 3510 NEW BEST:: SOT 1040699 SOS 770369 HAS SOPS 403846 HAS SOUS 100641 HAS SOUPS 39873 WITH SCORE 40643.369
AT ITER 3525 NEW BEST:: SOT 1040620 SOS 771071 HAS SOPS 404161 HAS SOUS 100675 HAS SOUPS 39864 WITH SCORE 40635.071
AT ITER 3535 NEW BEST:: SOT 1043154 SOS 774241 HAS SOPS 405423 HAS SOUS 100880 HAS SOUPS 39857 WITH SCORE 40631.241
AT ITER 3542 NEW BEST:: SOT 1043160 SOS 774250 HAS SOPS 405423 HAS SOUS 100874 HAS SOUPS 39848 WITH SCORE 40622.25
AT ITER 3548 NEW BEST:: SOT 1043173 SOS 774276 HAS SOPS 405449 HAS SOUS 100866 HAS SOUPS 39840 WITH SCORE 40614.276
AT ITER 3570 NEW BEST:: SOT 1043474 SOS 774652 HAS SOPS 405645 HAS SOUS 100860 HAS SOUPS 39826 WITH SCORE 40600.652
AT ITER 3590 NEW BEST:: SOT 1044112 SOS 775464 HAS SOPS 405935 HAS SOUS 100744 HAS SOUPS 39652 WITH SCORE 40427.464
AT ITER 3610 NEW BEST:: SOT 1044160 SOS 774711 HAS SOPS 405470 HAS SOUS 100744 HAS SOUPS 39652 WITH SCORE 40426.711
AT ITER 3619 NEW BEST:: SOT 1045274 SOS 776154 HAS SOPS 406108 HAS SOUS 100761 HAS SOUPS 39572 WITH SCORE 40348.154
AT ITER 3640 NEW BEST:: SOT 1045244 SOS 776164 HAS SOPS 406088 HAS SOUS 100751 HAS SOUPS 39562 WITH SCORE 40338.164
AT ITER 3652 NEW BEST:: SOT 1045005 SOS 777308 HAS SOPS 406650 HAS SOUS 100701 HAS SOUPS 39512 WITH SCORE 40289.308
AT ITER 3673 NEW BEST:: SOT 1045005 SOS 777197 HAS SOPS 406539 HAS SOUS 100657 HAS SOUPS 39468 WITH SCORE 40245.197
AT ITER 3675 NEW BEST:: SOT 1044738 SOS 776336 HAS SOPS 405975 HAS SOUS 100650 HAS SOUPS 39461 WITH SCORE 40237.336
AT ITER 3700 NEW BEST:: SOT 1045408 SOS 777408 HAS SOPS 405975 HAS SOUS 100706 HAS SOUPS 39383 WITH SCORE 40160.408
AT ITER 3752 NEW BEST:: SOT 1045008 SOS 777881 HAS SOPS 405968 HAS SOUS 100589 HAS SOUPS 39266 WITH SCORE 40043.881
AT ITER 3764 NEW BEST:: SOT 1042296 SOS 775055 HAS SOPS 404498 HAS SOUS 100591 HAS SOUPS 39268 WITH SCORE 40043.055
AT ITER 3771 NEW BEST:: SOT 1041632 SOS 774151 HAS SOPS 403912 HAS SOUS 100573 HAS SOUPS 39250 WITH SCORE 40024.151
AT ITER 3791 NEW BEST:: SOT 1041290 SOS 773691 HAS SOPS 403663 HAS SOUS 100530 HAS SOUPS 39222 WITH SCORE 39995.691
AT ITER 3797 NEW BEST:: SOT 1041266 SOS 773715 HAS SOPS 403687 HAS SOUS 100524 HAS SOUPS 39216 WITH SCORE 39989.715
AT ITER 3811 NEW BEST:: SOT 1041210 SOS 773013 HAS SOPS 403263 HAS SOUS 100470 HAS SOUPS 39194 WITH SCORE 39967.013
AT ITER 3814 NEW BEST:: SOT 1041451 SOS 771199 HAS SOPS 401913 HAS SOUS 100494 HAS SOUPS 39193 WITH SCORE 39964.199
AT ITER 3816 NEW BEST:: SOT 1041485 SOS 769620 HAS SOPS 401009 HAS SOUS 100319 HAS SOUPS 39093 WITH SCORE 39862.62
AT ITER 3818 NEW BEST:: SOT 1041375 SOS 769490 HAS SOPS 400939 HAS SOUS 100309 HAS SOUPS 39083 WITH SCORE 39852.49
AT ITER 3852 NEW BEST:: SOT 1041374 SOS 769489 HAS SOPS 400938 HAS SOUS 100290 HAS SOUPS 39064 WITH SCORE 39833.489
AT ITER 3870 NEW BEST:: SOT 1040942 SOS 770905 HAS SOPS 399820 HAS SOUS 99823 HAS SOUPS 38857 WITH SCORE 39627.905
AT ITER 3906 NEW BEST:: SOT 1039700 SOS 768949 HAS SOPS 399320 HAS SOUS 99633 HAS SOUPS 38781 WITH SCORE 39549.949
AT ITER 3910 NEW BEST:: SOT 1038399 SOS 768009 HAS SOPS 398450 HAS SOUS 99743 HAS SOUPS 38754 WITH SCORE 39522.009
AT ITER 3933 NEW BEST:: SOT 1038300 SOS 768121 HAS SOPS 398532 HAS SOUS 99713 HAS SOUPS 38743 WITH SCORE 39511.121
AT ITER 3936 NEW BEST:: SOT 1037868 SOS 767357 HAS SOPS 398266 HAS SOUS 99597 HAS SOUPS 38710 WITH SCORE 39477.357
AT ITER 3961 NEW BEST:: SOT 1036772 SOS 765535 HAS SOPS 397900 HAS SOUS 99229 HAS SOUPS 38527 WITH SCORE 39292.535
AT ITER 3967 NEW BEST:: SOT 1036772 SOS 765535 HAS SOPS 397900 HAS SOUS 99201 HAS SOUPS 38499 WITH SCORE 39264.535
AT ITER 3979 NEW BEST:: SOT 1036772 SOS 765622 HAS SOPS 397900 HAS SOUS 99198 HAS SOUPS 38467 WITH SCORE 39232.622
AT ITER 3991 NEW BEST:: SOT 1036772 SOS 765622 HAS SOPS 397900 HAS SOUS 99196 HAS SOUPS 38465 WITH SCORE 39230.622
AT ITER 4001 NEW BEST:: SOT 1035237 SOS 763785 HAS SOPS 396447 HAS SOUS 99268 HAS SOUPS 38442 WITH SCORE 39205.785
AT ITER 4020 NEW BEST:: SOT 1035332 SOS 763937 HAS SOPS 396447 HAS SOUS 99249 HAS SOUPS 38404 WITH SCORE 39167.937
AT ITER 4030 NEW BEST:: SOT 1035321 SOS 764135 HAS SOPS 396315 HAS SOUS 99238 HAS SOUPS 38393 WITH SCORE 39157.135
AT ITER 4043 NEW BEST:: SOT 1035297 SOS 764087 HAS SOPS 396315 HAS SOUS 99214 HAS SOUPS 38393 WITH SCORE 39157.087
AT ITER 4050 NEW BEST:: SOT 1035222 SOS 764564 HAS SOPS 396495 HAS SOUS 99205 HAS SOUPS 38351 WITH SCORE 39115.564
AT ITER 4082 NEW BEST:: SOT 1035492 SOS 765105 HAS SOPS 396605 HAS SOUS 99284 HAS SOUPS 38350 WITH SCORE 39115.105
AT ITER 4096 NEW BEST:: SOT 1037231 SOS 766905 HAS SOPS 397563 HAS SOUS 99087 HAS SOUPS 38158 WITH SCORE 38924.905
AT ITER 4114 NEW BEST:: SOT 1037513 SOS 767319 HAS SOPS 397563 HAS SOUS 99051 HAS SOUPS 38102 WITH SCORE 38869.319
AT ITER 4115 NEW BEST:: SOT 1037497 SOS 767287 HAS SOPS 397531 HAS SOUS 99026 HAS SOUPS 38077 WITH SCORE 38844.287
AT ITER 4125 NEW BEST:: SOT 1037491 SOS 767243 HAS SOPS 397505 HAS SOUS 99020 HAS SOUPS 38073 WITH SCORE 38840.243
AT ITER 4132 NEW BEST:: SOT 1036983 SOS 766415 HAS SOPS 397399 HAS SOUS 98914 HAS SOUPS 38061 WITH SCORE 38827.415
AT ITER 4136 NEW BEST:: SOT 1036887 SOS 766303 HAS SOPS 397335 HAS SOUS 98882 HAS SOUPS 38029 WITH SCORE 38795.303
AT ITER 4140 NEW BEST:: SOT 1035864 SOS 765000 HAS SOPS 396707 HAS SOUS 98740 HAS SOUPS 37957 WITH SCORE 38722.0
AT ITER 4195 NEW BEST:: SOT 1035698 SOS 764720 HAS SOPS 396617 HAS SOUS 98650 HAS SOUPS 37905 WITH SCORE 38669.72
AT ITER 4198 NEW BEST:: SOT 1035476 SOS 764498 HAS SOPS 396395 HAS SOUS 98650 HAS SOUPS 37905 WITH SCORE 38669.498
AT ITER 4201 NEW BEST:: SOT 1035392 SOS 764771 HAS SOPS 396500 HAS SOUS 98608 HAS SOUPS 37842 WITH SCORE 38606.771
AT ITER 4208 NEW BEST:: SOT 1035392 SOS 764771 HAS SOPS 396410 HAS SOUS 98578 HAS SOUPS 37782 WITH SCORE 38546.771
AT ITER 4237 NEW BEST:: SOT 1035378 SOS 764750 HAS SOPS 396368 HAS SOUS 98550 HAS SOUPS 37754 WITH SCORE 38518.75
AT ITER 4261 NEW BEST:: SOT 1034495 SOS 763632 HAS SOPS 395898 HAS SOUS 98460 HAS SOUPS 37736 WITH SCORE 38499.632
AT ITER 4269 NEW BEST:: SOT 1034477 SOS 763602 HAS SOPS 395859 HAS SOUS 98462 HAS SOUPS 37729 WITH SCORE 38492.602
AT ITER 4273 NEW BEST:: SOT 1034719 SOS 763174 HAS SOPS 395623 HAS SOUS 98425 HAS SOUPS 37692 WITH SCORE 38455.174
AT ITER 4274 NEW BEST:: SOT 1034714 SOS 763164 HAS SOPS 395613 HAS SOUS 98420 HAS SOUPS 37687 WITH SCORE 38450.164
AT ITER 4275 NEW BEST:: SOT 1034682 SOS 763113 HAS SOPS 395601 HAS SOUS 98399 HAS SOUPS 37679 WITH SCORE 38442.113
AT ITER 4284 NEW BEST:: SOT 1034914 SOS 763523 HAS SOPS 395733 HAS SOUS 98295 HAS SOUPS 37536 WITH SCORE 38299.523
AT ITER 4285 NEW BEST:: SOT 1036510 SOS 765545 HAS SOPS 396585 HAS SOUS 98318 HAS SOUPS 37429 WITH SCORE 38194.545
AT ITER 4295 NEW BEST:: SOT 1036460 SOS 765723 HAS SOPS 396585 HAS SOUS 98296 HAS SOUPS 37407 WITH SCORE 38172.723
AT ITER 4307 NEW BEST:: SOT 1036455 SOS 765712 HAS SOPS 396574 HAS SOUS 98294 HAS SOUPS 37405 WITH SCORE 38170.712
AT ITER 4324 NEW BEST:: SOT 1035926 SOS 765239 HAS SOPS 396226 HAS SOUS 98250 HAS SOUPS 37361 WITH SCORE 38126.239
AT ITER 4379 NEW BEST:: SOT 1034974 SOS 762488 HAS SOPS 394333 HAS SOUS 98024 HAS SOUPS 37134 WITH SCORE 37896.488
AT ITER 4380 NEW BEST:: SOT 1035049 SOS 762609 HAS SOPS 394367 HAS SOUS 98030 HAS SOUPS 37111 WITH SCORE 37873.609
AT ITER 4392 NEW BEST:: SOT 1034975 SOS 762535 HAS SOPS 394293 HAS SOUS 97956 HAS SOUPS 37037 WITH SCORE 37799.535
AT ITER 4408 NEW BEST:: SOT 1031506 SOS 758365 HAS SOPS 392415 HAS SOUS 97684 HAS SOUPS 36990 WITH SCORE 37748.365
AT ITER 4418 NEW BEST:: SOT 1031200 SOS 759273 HAS SOPS 392297 HAS SOUS 97527 HAS SOUPS 36855 WITH SCORE 37614.273
AT ITER 4424 NEW BEST:: SOT 1030628 SOS 759549 HAS SOPS 392245 HAS SOUS 97413 HAS SOUPS 36741 WITH SCORE 37500.549
AT ITER 4441 NEW BEST:: SOT 1030321 SOS 760327 HAS SOPS 392335 HAS SOUS 97249 HAS SOUPS 36577 WITH SCORE 37337.327
AT ITER 4463 NEW BEST:: SOT 1030204 SOS 760174 HAS SOPS 392245 HAS SOUS 97222 HAS SOUPS 36559 WITH SCORE 37319.174
AT ITER 4470 NEW BEST:: SOT 1030122 SOS 760076 HAS SOPS 392171 HAS SOUS 97154 HAS SOUPS 36495 WITH SCORE 37255.076
AT ITER 4524 NEW BEST:: SOT 1029786 SOS 759740 HAS SOPS 391835 HAS SOUS 97154 HAS SOUPS 36495 WITH SCORE 37254.74
AT ITER 4525 NEW BEST:: SOT 1029299 SOS 759090 HAS SOPS 391509 HAS SOUS 97013 HAS SOUPS 36390 WITH SCORE 37149.09
AT ITER 4526 NEW BEST:: SOT 1029257 SOS 759006 HAS SOPS 391487 HAS SOUS 96881 HAS SOUPS 36289 WITH SCORE 37048.006
AT ITER 4532 NEW BEST:: SOT 1029255 SOS 759000 HAS SOPS 391475 HAS SOUS 96879 HAS SOUPS 36285 WITH SCORE 37044.0
AT ITER 4533 NEW BEST:: SOT 1026334 SOS 755669 HAS SOPS 389248 HAS SOUS 96759 HAS SOUPS 36153 WITH SCORE 36908.669
AT ITER 4564 NEW BEST:: SOT 1026322 SOS 755645 HAS SOPS 389248 HAS SOUS 96747 HAS SOUPS 36153 WITH SCORE 36908.645
AT ITER 4595 NEW BEST:: SOT 1026190 SOS 755480 HAS SOPS 389182 HAS SOUS 96732 HAS SOUPS 36149 WITH SCORE 36904.48
AT ITER 4600 NEW BEST:: SOT 1025974 SOS 755246 HAS SOPS 389056 HAS SOUS 96732 HAS SOUPS 36149 WITH SCORE 36904.246
AT ITER 4604 NEW BEST:: SOT 1026184 SOS 755139 HAS SOPS 389015 HAS SOUS 96739 HAS SOUPS 36132 WITH SCORE 36887.139
AT ITER 4608 NEW BEST:: SOT 1026783 SOS 754623 HAS SOPS 389935 HAS SOUS 96424 HAS SOUPS 36033 WITH SCORE 36787.623
AT ITER 4611 NEW BEST:: SOT 1026690 SOS 755057 HAS SOPS 390183 HAS SOUS 96362 HAS SOUPS 35971 WITH SCORE 36726.057
AT ITER 4613 NEW BEST:: SOT 1026989 SOS 755700 HAS SOPS 390338 HAS SOUS 96363 HAS SOUPS 35900 WITH SCORE 36655.7
AT ITER 4633 NEW BEST:: SOT 1026982 SOS 753595 HAS SOPS 389843 HAS SOUS 96352 HAS SOUPS 35898 WITH SCORE 36651.595
AT ITER 4640 NEW BEST:: SOT 1026288 SOS 751330 HAS SOPS 388763 HAS SOUS 96177 HAS SOUPS 35802 WITH SCORE 36553.33
AT ITER 4674 NEW BEST:: SOT 1026304 SOS 751342 HAS SOPS 388715 HAS SOUS 96180 HAS SOUPS 35785 WITH SCORE 36536.342
AT ITER 4681 NEW BEST:: SOT 1026099 SOS 750877 HAS SOPS 388640 HAS SOUS 96067 HAS SOUPS 35737 WITH SCORE 36487.877
AT ITER 4702 NEW BEST:: SOT 1026930 SOS 751936 HAS SOPS 389096 HAS SOUS 96068 HAS SOUPS 35671 WITH SCORE 36422.936
AT ITER 4712 NEW BEST:: SOT 1027188 SOS 752223 HAS SOPS 389230 HAS SOUS 96076 HAS SOUPS 35667 WITH SCORE 36419.223
AT ITER 4735 NEW BEST:: SOT 1027254 SOS 752421 HAS SOPS 389274 HAS SOUS 96076 HAS SOUPS 35656 WITH SCORE 36408.421
AT ITER 4752 NEW BEST:: SOT 1027213 SOS 752156 HAS SOPS 389192 HAS SOUS 95913 HAS SOUPS 35554 WITH SCORE 36306.156
AT ITER 4760 NEW BEST:: SOT 1027185 SOS 752100 HAS SOPS 389136 HAS SOUS 95885 HAS SOUPS 35526 WITH SCORE 36278.1
AT ITER 4791 NEW BEST:: SOT 1027841 SOS 752756 HAS SOPS 389456 HAS SOUS 95865 HAS SOUPS 35506 WITH SCORE 36258.756
AT ITER 4823 NEW BEST:: SOT 1027849 SOS 752768 HAS SOPS 389456 HAS SOUS 95865 HAS SOUPS 35504 WITH SCORE 36256.768
AT ITER 4826 NEW BEST:: SOT 1027774 SOS 752693 HAS SOPS 389381 HAS SOUS 95796 HAS SOUPS 35435 WITH SCORE 36187.693
AT ITER 4830 NEW BEST:: SOT 1027990 SOS 752836 HAS SOPS 389506 HAS SOUS 95721 HAS SOUPS 35388 WITH SCORE 36140.836
AT ITER 4847 NEW BEST:: SOT 1027329 SOS 751991 HAS SOPS 389032 HAS SOUS 95628 HAS SOUPS 35338 WITH SCORE 36089.991
AT ITER 4853 NEW BEST:: SOT 1027335 SOS 752003 HAS SOPS 389044 HAS SOUS 95612 HAS SOUPS 35322 WITH SCORE 36074.003
AT ITER 4874 NEW BEST:: SOT 1027103 SOS 752321 HAS SOPS 389316 HAS SOUS 95518 HAS SOUPS 35274 WITH SCORE 36026.321
AT ITER 4885 NEW BEST:: SOT 1027115 SOS 752328 HAS SOPS 389317 HAS SOUS 95519 HAS SOUPS 35273 WITH SCORE 36025.328
AT ITER 4888 NEW BEST:: SOT 1027115 SOS 752328 HAS SOPS 389317 HAS SOUS 95479 HAS SOUPS 35233 WITH SCORE 35985.328
AT ITER 4907 NEW BEST:: SOT 1027224 SOS 752492 HAS SOPS 389317 HAS SOUS 95453 HAS SOUPS 35193 WITH SCORE 35945.492
AT ITER 4908 NEW BEST:: SOT 1027216 SOS 752476 HAS SOPS 389317 HAS SOUS 95289 HAS SOUPS 35193 WITH SCORE 35945.476
AT ITER 4938 NEW BEST:: SOT 1027205 SOS 752454 HAS SOPS 389317 HAS SOUS 95278 HAS SOUPS 35193 WITH SCORE 35945.454
AT ITER 4951 NEW BEST:: SOT 1027112 SOS 752310 HAS SOPS 389258 HAS SOUS 95222 HAS SOUPS 35154 WITH SCORE 35906.31
AT ITER 4961 NEW BEST:: SOT 1027110 SOS 752306 HAS SOPS 389383 HAS SOUS 95177 HAS SOUPS 35152 WITH SCORE 35904.306
Bounds file is: CTLFireability.xml
PROPERTY: DLCshifumi-PT-3a-CTLFireability-00 (AX( ( (AU( ((potential((tk(P295)>=1) & (tk(P478)>=1)))) , ((potential((tk(P446)>=1) & (tk(P291)>=1)))) )) | (AG( (! ((potential((tk(P290)>=1) & (tk(P420)>=1))))))) )))
PROPERTY: DLCshifumi-PT-3a-CTLFireability-01 (EX( ( (! (! ((potential((tk(P23)>=1) & (tk(P389)>=1)))))) | (EF( ( ((potential((tk(P187)>=1) & (tk(P435)>=1)))) & ((potential((tk(P251)>=1)))) ))) )))
PROPERTY: DLCshifumi-PT-3a-CTLFireability-02 (AF( (EF( ( ( ((potential((tk(P188)>=1)))) | ((potential((tk(P326)>=1) & (tk(P281)>=1)))) ) & (! ((potential((tk(P428)>=1) & (tk(P162)>=1))))) )))))
PROPERTY: DLCshifumi-PT-3a-CTLFireability-03 (EF( (EU( ( ((potential((tk(P58)>=1)))) | ((potential((tk(P284)>=1) & (tk(P360)>=1)))) ) , ((potential((tk(P185)>=1) & (tk(P513)>=1)))) ))))
PROPERTY: DLCshifumi-PT-3a-CTLFireability-04 ( ( ((potential((tk(P21)>=1)))) | ( ( ((potential((tk(P169)>=1) & (tk(P508)>=1)))) & (EX( ((potential((tk(P300)>=1) & (tk(P538)>=1)))))) ) & (EU( ((potential((tk(P236)>=1)))) , ((potential((tk(P105)>=1)))) )) ) ) | (AG( (EX( (! ((potential((tk(P293)>=1) & (tk(P389)>=1))))))))) )
PROPERTY: DLCshifumi-PT-3a-CTLFireability-05 (EF( (AF( (EX( ((potential((tk(P302)>=1) & (tk(P526)>=1))))))))))
PROPERTY: DLCshifumi-PT-3a-CTLFireability-06 (EF( (AG( (! ( ((potential((tk(P155)>=1) & (tk(P425)>=1)))) & ((potential((tk(P23)>=1) & (tk(P389)>=1)))) ))))))
PROPERTY: DLCshifumi-PT-3a-CTLFireability-07 (EU( ( (EX( ((potential((tk(P287)>=1) & (tk(P454)>=1)))))) & (EX( ((potential((tk(P474)>=1) & (tk(P301)>=1)))))) ) , (EF( ( ((potential((tk(P297)>=1) & (tk(P474)>=1)))) | ((potential((tk(P288)>=1) & (tk(P414)>=1)))) ))) ))
PROPERTY: DLCshifumi-PT-3a-CTLFireability-08 ( (! (EU( ( ((potential((tk(P514)>=1) & (tk(P301)>=1)))) & ((potential((tk(P496)>=1) & (tk(P127)>=1)))) ) , ((potential((tk(P292)>=1) & (tk(P390)>=1)))) ))) & (AF( (EF( ((potential((tk(P280)>=1) & (tk(P332)>=1)))))))) )
PROPERTY: DLCshifumi-PT-3a-CTLFireability-09 (AU( (EU( ((potential((tk(P293)>=1) & (tk(P386)>=1)))) , ((potential((tk(P252)>=1)))) )) , (EF( ( ((potential((tk(P284)>=1)))) & ((potential((tk(P280)>=1) & (tk(P344)>=1)))) ))) ))
PROPERTY: DLCshifumi-PT-3a-CTLFireability-10 (! ( (EF( (AF( ((potential((tk(P280)>=1) & (tk(P364)>=1)))))))) | (EX( (! (! ((potential((tk(P282)>=1) & (tk(P366)>=1)))))))) ))
PROPERTY: DLCshifumi-PT-3a-CTLFireability-11 (! (AG( (! (EG( ((potential((tk(P233)>=1) & (tk(P449)>=1))))))))))
PROPERTY: DLCshifumi-PT-3a-CTLFireability-12 ( (AX( ( ( ( ((potential((tk(P384)>=1) & (tk(P291)>=1)))) | ((potential((tk(P293)>=1) & (tk(P456)>=1)))) ) & ( ((potential((tk(P282)>=1) & (tk(P332)>=1)))) | ((potential((tk(P282)>=1) & (tk(P326)>=1)))) ) ) | ( (! ((potential((tk(P527)>=1) & (tk(P303)>=1))))) | ((potential((tk(P478)>=1) & (tk(P301)>=1)))) ) ))) & (EF( ( ( ( ((potential((tk(P303)>=1) & (tk(P461)>=1)))) | ((potential((tk(P278)>=1)))) ) & ( ((potential((tk(P205)>=1)))) | ((potential((tk(P297)>=1) & (tk(P488)>=1)))) ) ) & ((potential((tk(P231)>=1)))) ))) )
PROPERTY: DLCshifumi-PT-3a-CTLFireability-13 (EF( (! (! (AX( ((potential((tk(P288)>=1) & (tk(P386)>=1))))))))))
PROPERTY: DLCshifumi-PT-3a-CTLFireability-14 (AF( ( (! ( ( ((potential((tk(P303)>=1) & (tk(P540)>=1)))) | ((potential((tk(P355)>=1) & (tk(P283)>=1)))) ) | ( ((potential((tk(P302)>=1) & (tk(P536)>=1)))) | ((potential((tk(P244)>=1)))) ) )) & (AG( (! ((potential((tk(P27)>=1))))))) )))
PROPERTY: DLCshifumi-PT-3a-CTLFireability-15 (EF( ( ( (EF( ((potential((tk(P311)>=1) & (tk(P283)>=1)))))) & (EF( ((potential((tk(P288)>=1) & (tk(P434)>=1)))))) ) & (AG( ( ((potential((tk(P298)>=1) & (tk(P500)>=1)))) & ((potential((tk(P292)>=1) & (tk(P412)>=1)))) ))) )))

BK_STOP 1589358976876

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 475 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="DLCshifumi-PT-3a"
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 DLCshifumi-PT-3a, 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 r063-tajo-158922806900020"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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