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.r003-smll-158897508100107.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 ASLink-PT-07a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508100107
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 856K
-rw-r--r-- 1 mcc users 3.0K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 677K 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 ASLink-PT-07a-CTLCardinality-00
FORMULA_NAME ASLink-PT-07a-CTLCardinality-01
FORMULA_NAME ASLink-PT-07a-CTLCardinality-02
FORMULA_NAME ASLink-PT-07a-CTLCardinality-03
FORMULA_NAME ASLink-PT-07a-CTLCardinality-04
FORMULA_NAME ASLink-PT-07a-CTLCardinality-05
FORMULA_NAME ASLink-PT-07a-CTLCardinality-06
FORMULA_NAME ASLink-PT-07a-CTLCardinality-07
FORMULA_NAME ASLink-PT-07a-CTLCardinality-08
FORMULA_NAME ASLink-PT-07a-CTLCardinality-09
FORMULA_NAME ASLink-PT-07a-CTLCardinality-10
FORMULA_NAME ASLink-PT-07a-CTLCardinality-11
FORMULA_NAME ASLink-PT-07a-CTLCardinality-12
FORMULA_NAME ASLink-PT-07a-CTLCardinality-13
FORMULA_NAME ASLink-PT-07a-CTLCardinality-14
FORMULA_NAME ASLink-PT-07a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589048301779

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 07a
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: 1601 places, 2373 transitions, 8915 arcs.
AT ITER 0 NEW BEST:: SOT 2102678 SOS 1445830 HAS SOPS 1445830 HAS SOUS 934140 HAS SOUPS 934140 WITH SCORE 935585.83
AT ITER 2 NEW BEST:: SOT 2092833 SOS 1436886 HAS SOPS 1436886 HAS SOUS 925195 HAS SOUPS 925195 WITH SCORE 926631.886
AT ITER 4 NEW BEST:: SOT 2076407 SOS 1420460 HAS SOPS 1420460 HAS SOUS 908341 HAS SOUPS 908341 WITH SCORE 909761.46
AT ITER 10 NEW BEST:: SOT 2074088 SOS 1418141 HAS SOPS 1418141 HAS SOUS 905277 HAS SOUPS 905277 WITH SCORE 906695.141
AT ITER 11 NEW BEST:: SOT 2073875 SOS 1417928 HAS SOPS 1417928 HAS SOUS 905277 HAS SOUPS 905277 WITH SCORE 906694.928
AT ITER 13 NEW BEST:: SOT 2073875 SOS 1417898 HAS SOPS 1417898 HAS SOUS 905277 HAS SOUPS 905277 WITH SCORE 906694.898
AT ITER 19 NEW BEST:: SOT 2073678 SOS 1416700 HAS SOPS 1416700 HAS SOUS 904878 HAS SOUPS 904878 WITH SCORE 906294.7
AT ITER 25 NEW BEST:: SOT 2073043 SOS 1414827 HAS SOPS 1414827 HAS SOUS 903591 HAS SOUPS 903591 WITH SCORE 905005.827
AT ITER 28 NEW BEST:: SOT 2073042 SOS 1414820 HAS SOPS 1414820 HAS SOUS 903584 HAS SOUPS 903584 WITH SCORE 904998.82
AT ITER 40 NEW BEST:: SOT 2072747 SOS 1414524 HAS SOPS 1414524 HAS SOUS 903582 HAS SOUPS 903582 WITH SCORE 904996.524
AT ITER 42 NEW BEST:: SOT 2072747 SOS 1413653 HAS SOPS 1413653 HAS SOUS 903581 HAS SOUPS 903581 WITH SCORE 904994.653
AT ITER 44 NEW BEST:: SOT 2072747 SOS 1411686 HAS SOPS 1411686 HAS SOUS 903580 HAS SOUPS 903580 WITH SCORE 904991.686
AT ITER 47 NEW BEST:: SOT 2072201 SOS 1411140 HAS SOPS 1411140 HAS SOUS 903033 HAS SOUPS 903033 WITH SCORE 904444.14
AT ITER 50 NEW BEST:: SOT 2064606 SOS 1409338 HAS SOPS 1409338 HAS SOUS 895576 HAS SOUPS 895576 WITH SCORE 896985.338
AT ITER 55 NEW BEST:: SOT 2064550 SOS 1409274 HAS SOPS 1409274 HAS SOUS 895512 HAS SOUPS 895512 WITH SCORE 896921.274
AT ITER 58 NEW BEST:: SOT 2064261 SOS 1408733 HAS SOPS 1408733 HAS SOUS 895260 HAS SOUPS 895260 WITH SCORE 896668.733
AT ITER 60 NEW BEST:: SOT 2062969 SOS 1407441 HAS SOPS 1407441 HAS SOUS 893965 HAS SOUPS 893965 WITH SCORE 895372.441
AT ITER 69 NEW BEST:: SOT 2062839 SOS 1407311 HAS SOPS 1407311 HAS SOUS 893963 HAS SOUPS 893963 WITH SCORE 895370.311
AT ITER 75 NEW BEST:: SOT 2062839 SOS 1407195 HAS SOPS 1407195 HAS SOUS 893963 HAS SOUPS 893963 WITH SCORE 895370.195
AT ITER 80 NEW BEST:: SOT 2062711 SOS 1406514 HAS SOPS 1406514 HAS SOUS 893707 HAS SOUPS 893707 WITH SCORE 895113.514
AT ITER 87 NEW BEST:: SOT 2062711 SOS 1406032 HAS SOPS 1406032 HAS SOUS 893631 HAS SOUPS 893631 WITH SCORE 895037.032
AT ITER 89 NEW BEST:: SOT 2063190 SOS 1405370 HAS SOPS 1405370 HAS SOUS 893245 HAS SOUPS 893245 WITH SCORE 894650.37
AT ITER 92 NEW BEST:: SOT 2063190 SOS 1402693 HAS SOPS 1402693 HAS SOUS 892494 HAS SOUPS 892494 WITH SCORE 893896.693
AT ITER 94 NEW BEST:: SOT 2063278 SOS 1402795 HAS SOPS 1402795 HAS SOUS 892305 HAS SOUPS 892305 WITH SCORE 893707.795
AT ITER 95 NEW BEST:: SOT 2063004 SOS 1402521 HAS SOPS 1402521 HAS SOUS 892031 HAS SOUPS 892031 WITH SCORE 893433.521
AT ITER 104 NEW BEST:: SOT 2062992 SOS 1402484 HAS SOPS 1402484 HAS SOUS 891994 HAS SOUPS 891994 WITH SCORE 893396.484
AT ITER 111 NEW BEST:: SOT 2063059 SOS 1402551 HAS SOPS 1402551 HAS SOUS 891954 HAS SOUPS 891954 WITH SCORE 893356.551
AT ITER 113 NEW BEST:: SOT 2063059 SOS 1401439 HAS SOPS 1401439 HAS SOUS 890963 HAS SOUPS 890963 WITH SCORE 892364.439
AT ITER 115 NEW BEST:: SOT 2063027 SOS 1401407 HAS SOPS 1401407 HAS SOUS 890963 HAS SOUPS 890963 WITH SCORE 892364.407
AT ITER 117 NEW BEST:: SOT 2061989 SOS 1398525 HAS SOPS 1398525 HAS SOUS 888245 HAS SOUPS 888245 WITH SCORE 889643.525
AT ITER 125 NEW BEST:: SOT 2061989 SOS 1396657 HAS SOPS 1396657 HAS SOUS 888085 HAS SOUPS 888085 WITH SCORE 889481.657
AT ITER 133 NEW BEST:: SOT 2061989 SOS 1396657 HAS SOPS 1396657 HAS SOUS 888080 HAS SOUPS 888080 WITH SCORE 889476.657
AT ITER 137 NEW BEST:: SOT 2061182 SOS 1393277 HAS SOPS 1393277 HAS SOUS 887159 HAS SOUPS 887159 WITH SCORE 888552.277
AT ITER 143 NEW BEST:: SOT 2060657 SOS 1392647 HAS SOPS 1392647 HAS SOUS 886612 HAS SOUPS 886612 WITH SCORE 888004.647
AT ITER 153 NEW BEST:: SOT 2060321 SOS 1392646 HAS SOPS 1392646 HAS SOUS 886610 HAS SOUPS 886610 WITH SCORE 888002.646
AT ITER 162 NEW BEST:: SOT 2060186 SOS 1392511 HAS SOPS 1392511 HAS SOUS 886606 HAS SOUPS 886606 WITH SCORE 887998.511
AT ITER 163 NEW BEST:: SOT 2059678 SOS 1390657 HAS SOPS 1390657 HAS SOUS 885585 HAS SOUPS 885585 WITH SCORE 886975.657
AT ITER 167 NEW BEST:: SOT 2059262 SOS 1389737 HAS SOPS 1389737 HAS SOUS 885117 HAS SOUPS 885117 WITH SCORE 886506.737
AT ITER 168 NEW BEST:: SOT 2058991 SOS 1389452 HAS SOPS 1389452 HAS SOUS 884832 HAS SOUPS 884832 WITH SCORE 886221.452
AT ITER 171 NEW BEST:: SOT 2058957 SOS 1389444 HAS SOPS 1389444 HAS SOUS 884824 HAS SOUPS 884824 WITH SCORE 886213.444
AT ITER 178 NEW BEST:: SOT 2058957 SOS 1388541 HAS SOPS 1388541 HAS SOUS 884818 HAS SOUPS 884818 WITH SCORE 886206.541
AT ITER 183 NEW BEST:: SOT 2058957 SOS 1387576 HAS SOPS 1387576 HAS SOUS 884714 HAS SOUPS 884714 WITH SCORE 886101.576
AT ITER 185 NEW BEST:: SOT 2047527 SOS 1376146 HAS SOPS 1376146 HAS SOUS 873283 HAS SOUPS 873283 WITH SCORE 874659.146
AT ITER 186 NEW BEST:: SOT 2049378 SOS 1378263 HAS SOPS 1378263 HAS SOUS 872410 HAS SOUPS 872410 WITH SCORE 873788.263
AT ITER 221 NEW BEST:: SOT 2049373 SOS 1378254 HAS SOPS 1378254 HAS SOUS 872403 HAS SOUPS 872403 WITH SCORE 873781.254
AT ITER 223 NEW BEST:: SOT 2049267 SOS 1377221 HAS SOPS 1377221 HAS SOUS 871370 HAS SOUPS 871370 WITH SCORE 872747.221
AT ITER 227 NEW BEST:: SOT 2049267 SOS 1377220 HAS SOPS 1377220 HAS SOUS 871369 HAS SOUPS 871369 WITH SCORE 872746.22
AT ITER 229 NEW BEST:: SOT 2048634 SOS 1375954 HAS SOPS 1375954 HAS SOUS 870835 HAS SOUPS 870835 WITH SCORE 872210.954
AT ITER 231 NEW BEST:: SOT 2048461 SOS 1375781 HAS SOPS 1375781 HAS SOUS 870662 HAS SOUPS 870662 WITH SCORE 872037.781
AT ITER 232 NEW BEST:: SOT 2048485 SOS 1372078 HAS SOPS 1372078 HAS SOUS 869235 HAS SOUPS 869235 WITH SCORE 870607.078
AT ITER 236 NEW BEST:: SOT 2047864 SOS 1371457 HAS SOPS 1371457 HAS SOUS 869235 HAS SOUPS 869235 WITH SCORE 870606.457
AT ITER 240 NEW BEST:: SOT 2047863 SOS 1371327 HAS SOPS 1371327 HAS SOUS 869229 HAS SOUPS 869229 WITH SCORE 870600.327
AT ITER 243 NEW BEST:: SOT 2047863 SOS 1370660 HAS SOPS 1370660 HAS SOUS 869228 HAS SOUPS 869228 WITH SCORE 870598.66
AT ITER 253 NEW BEST:: SOT 2047863 SOS 1368939 HAS SOPS 1368939 HAS SOUS 869222 HAS SOUPS 869222 WITH SCORE 870590.939
AT ITER 257 NEW BEST:: SOT 2047863 SOS 1369395 HAS SOPS 1369395 HAS SOUS 869220 HAS SOUPS 869220 WITH SCORE 870589.395
AT ITER 260 NEW BEST:: SOT 2047863 SOS 1369395 HAS SOPS 1369395 HAS SOUS 869216 HAS SOUPS 869216 WITH SCORE 870585.395
AT ITER 267 NEW BEST:: SOT 2047863 SOS 1369367 HAS SOPS 1369367 HAS SOUS 869216 HAS SOUPS 869216 WITH SCORE 870585.367
AT ITER 276 NEW BEST:: SOT 2046035 SOS 1367533 HAS SOPS 1367533 HAS SOUS 867382 HAS SOUPS 867382 WITH SCORE 868749.533
AT ITER 283 NEW BEST:: SOT 2046035 SOS 1366648 HAS SOPS 1366648 HAS SOUS 867381 HAS SOUPS 867381 WITH SCORE 868747.648
AT ITER 284 NEW BEST:: SOT 2045730 SOS 1366070 HAS SOPS 1366070 HAS SOUS 866991 HAS SOUPS 866991 WITH SCORE 868357.07
AT ITER 287 NEW BEST:: SOT 2045520 SOS 1366031 HAS SOPS 1366031 HAS SOUS 866952 HAS SOUPS 866952 WITH SCORE 868318.031
AT ITER 293 NEW BEST:: SOT 2045008 SOS 1365487 HAS SOPS 1365487 HAS SOUS 866915 HAS SOUPS 866915 WITH SCORE 868280.487
AT ITER 298 NEW BEST:: SOT 2044512 SOS 1364991 HAS SOPS 1364991 HAS SOUS 866419 HAS SOUPS 866419 WITH SCORE 867783.991
AT ITER 303 NEW BEST:: SOT 2044057 SOS 1363748 HAS SOPS 1363748 HAS SOUS 865168 HAS SOUPS 865168 WITH SCORE 866531.748
AT ITER 307 NEW BEST:: SOT 2043371 SOS 1362901 HAS SOPS 1362901 HAS SOUS 864995 HAS SOUPS 864995 WITH SCORE 866357.901
AT ITER 308 NEW BEST:: SOT 2043371 SOS 1362788 HAS SOPS 1362788 HAS SOUS 864995 HAS SOUPS 864995 WITH SCORE 866357.788
AT ITER 313 NEW BEST:: SOT 2044798 SOS 1363082 HAS SOPS 1363082 HAS SOUS 863893 HAS SOUPS 863893 WITH SCORE 865256.082
AT ITER 315 NEW BEST:: SOT 2041703 SOS 1361105 HAS SOPS 1361105 HAS SOUS 860373 HAS SOUPS 860373 WITH SCORE 861734.105
AT ITER 317 NEW BEST:: SOT 2041185 SOS 1357442 HAS SOPS 1357442 HAS SOUS 859563 HAS SOUPS 859563 WITH SCORE 860920.442
AT ITER 327 NEW BEST:: SOT 2038521 SOS 1352339 HAS SOPS 1352339 HAS SOUS 856744 HAS SOUPS 856744 WITH SCORE 858096.339
AT ITER 330 NEW BEST:: SOT 2036977 SOS 1350795 HAS SOPS 1350795 HAS SOUS 855200 HAS SOUPS 855200 WITH SCORE 856550.795
AT ITER 334 NEW BEST:: SOT 2036723 SOS 1350308 HAS SOPS 1350308 HAS SOUS 854711 HAS SOUPS 854711 WITH SCORE 856061.308
AT ITER 337 NEW BEST:: SOT 2036723 SOS 1349905 HAS SOPS 1349905 HAS SOUS 854559 HAS SOUPS 854559 WITH SCORE 855908.905
AT ITER 338 NEW BEST:: SOT 2036335 SOS 1349516 HAS SOPS 1349516 HAS SOUS 854427 HAS SOUPS 854427 WITH SCORE 855776.516
AT ITER 341 NEW BEST:: SOT 2035426 SOS 1347688 HAS SOPS 1347688 HAS SOUS 852608 HAS SOUPS 852608 WITH SCORE 853955.688
AT ITER 343 NEW BEST:: SOT 2031180 SOS 1345719 HAS SOPS 1345719 HAS SOUS 848467 HAS SOUPS 848467 WITH SCORE 849812.719
AT ITER 347 NEW BEST:: SOT 2029614 SOS 1344153 HAS SOPS 1344153 HAS SOUS 846901 HAS SOUPS 846901 WITH SCORE 848245.153
AT ITER 350 NEW BEST:: SOT 2029617 SOS 1343757 HAS SOPS 1343757 HAS SOUS 846671 HAS SOUPS 846671 WITH SCORE 848014.757
AT ITER 351 NEW BEST:: SOT 2027994 SOS 1342134 HAS SOPS 1342134 HAS SOUS 845047 HAS SOUPS 845047 WITH SCORE 846389.134
AT ITER 360 NEW BEST:: SOT 2027556 SOS 1341694 HAS SOPS 1341694 HAS SOUS 844608 HAS SOUPS 844608 WITH SCORE 845949.694
AT ITER 364 NEW BEST:: SOT 2027177 SOS 1340936 HAS SOPS 1340936 HAS SOUS 843434 HAS SOUPS 843434 WITH SCORE 844774.936
AT ITER 365 NEW BEST:: SOT 2026015 SOS 1340234 HAS SOPS 1340234 HAS SOUS 842985 HAS SOUPS 842985 WITH SCORE 844325.234
AT ITER 369 NEW BEST:: SOT 2026372 SOS 1339539 HAS SOPS 1339539 HAS SOUS 842984 HAS SOUPS 842984 WITH SCORE 844323.539
AT ITER 371 NEW BEST:: SOT 2025862 SOS 1339029 HAS SOPS 1339029 HAS SOUS 842474 HAS SOUPS 842474 WITH SCORE 843813.029
AT ITER 374 NEW BEST:: SOT 2025862 SOS 1338120 HAS SOPS 1338120 HAS SOUS 842418 HAS SOUPS 842418 WITH SCORE 843756.12
AT ITER 377 NEW BEST:: SOT 2025862 SOS 1337345 HAS SOPS 1337345 HAS SOUS 842084 HAS SOUPS 842084 WITH SCORE 843421.345
AT ITER 398 NEW BEST:: SOT 2025862 SOS 1337345 HAS SOPS 1337345 HAS SOUS 842072 HAS SOUPS 842072 WITH SCORE 843409.345
AT ITER 401 NEW BEST:: SOT 2025256 SOS 1335775 HAS SOPS 1335775 HAS SOUS 841286 HAS SOUPS 841286 WITH SCORE 842621.775
AT ITER 407 NEW BEST:: SOT 2019042 SOS 1329561 HAS SOPS 1329561 HAS SOUS 835072 HAS SOUPS 835072 WITH SCORE 836401.561
AT ITER 409 NEW BEST:: SOT 2019033 SOS 1329552 HAS SOPS 1329552 HAS SOUS 835054 HAS SOUPS 835054 WITH SCORE 836383.552
AT ITER 410 NEW BEST:: SOT 2019032 SOS 1329545 HAS SOPS 1329545 HAS SOUS 835047 HAS SOUPS 835047 WITH SCORE 836376.545
AT ITER 416 NEW BEST:: SOT 2018489 SOS 1328468 HAS SOPS 1328468 HAS SOUS 833788 HAS SOUPS 833788 WITH SCORE 835116.468
AT ITER 417 NEW BEST:: SOT 2018437 SOS 1327777 HAS SOPS 1327777 HAS SOUS 833677 HAS SOUPS 833677 WITH SCORE 835004.777
AT ITER 427 NEW BEST:: SOT 2018485 SOS 1327063 HAS SOPS 1327063 HAS SOUS 833676 HAS SOUPS 833676 WITH SCORE 835003.063
AT ITER 431 NEW BEST:: SOT 2017547 SOS 1326125 HAS SOPS 1326125 HAS SOUS 832738 HAS SOUPS 832738 WITH SCORE 834064.125
AT ITER 433 NEW BEST:: SOT 2017547 SOS 1325951 HAS SOPS 1325951 HAS SOUS 832733 HAS SOUPS 832733 WITH SCORE 834058.951
AT ITER 435 NEW BEST:: SOT 2017546 SOS 1324755 HAS SOPS 1324755 HAS SOUS 831537 HAS SOUPS 831537 WITH SCORE 832861.755
AT ITER 440 NEW BEST:: SOT 2017402 SOS 1324327 HAS SOPS 1324327 HAS SOUS 831249 HAS SOUPS 831249 WITH SCORE 832573.327
AT ITER 444 NEW BEST:: SOT 2017026 SOS 1324327 HAS SOPS 1324327 HAS SOUS 831248 HAS SOUPS 831248 WITH SCORE 832572.327
AT ITER 445 NEW BEST:: SOT 2015107 SOS 1322401 HAS SOPS 1322401 HAS SOUS 829322 HAS SOUPS 829322 WITH SCORE 830644.401
AT ITER 446 NEW BEST:: SOT 2015483 SOS 1323148 HAS SOPS 1323148 HAS SOUS 829309 HAS SOUPS 829309 WITH SCORE 830632.148
AT ITER 472 NEW BEST:: SOT 2015003 SOS 1322398 HAS SOPS 1322398 HAS SOUS 828729 HAS SOUPS 828729 WITH SCORE 830051.398
AT ITER 474 NEW BEST:: SOT 2012604 SOS 1319999 HAS SOPS 1319999 HAS SOUS 826330 HAS SOUPS 826330 WITH SCORE 827649.999
AT ITER 477 NEW BEST:: SOT 2010491 SOS 1316187 HAS SOPS 1316187 HAS SOUS 822198 HAS SOUPS 822198 WITH SCORE 823514.187
AT ITER 482 NEW BEST:: SOT 2010437 SOS 1316133 HAS SOPS 1316133 HAS SOUS 822144 HAS SOUPS 822144 WITH SCORE 823460.133
AT ITER 483 NEW BEST:: SOT 2009897 SOS 1316123 HAS SOPS 1316123 HAS SOUS 822134 HAS SOUPS 822134 WITH SCORE 823450.123
AT ITER 491 NEW BEST:: SOT 2004755 SOS 1311774 HAS SOPS 1311774 HAS SOUS 817235 HAS SOUPS 817235 WITH SCORE 818546.774
AT ITER 495 NEW BEST:: SOT 1998480 SOS 1307375 HAS SOPS 1307375 HAS SOUS 810361 HAS SOUPS 810361 WITH SCORE 811668.375
AT ITER 500 NEW BEST:: SOT 1996085 SOS 1304980 HAS SOPS 1304980 HAS SOUS 807966 HAS SOUPS 807966 WITH SCORE 809270.98
AT ITER 501 NEW BEST:: SOT 1988941 SOS 1297836 HAS SOPS 1297836 HAS SOUS 800822 HAS SOUPS 800822 WITH SCORE 802119.836
AT ITER 506 NEW BEST:: SOT 1988941 SOS 1297159 HAS SOPS 1297159 HAS SOUS 800155 HAS SOUPS 800155 WITH SCORE 801452.159
AT ITER 515 NEW BEST:: SOT 1988845 SOS 1296871 HAS SOPS 1296871 HAS SOUS 799867 HAS SOUPS 799867 WITH SCORE 801163.871
AT ITER 517 NEW BEST:: SOT 1988832 SOS 1296858 HAS SOPS 1296858 HAS SOUS 799841 HAS SOUPS 799841 WITH SCORE 801137.858
AT ITER 523 NEW BEST:: SOT 1988257 SOS 1296286 HAS SOPS 1296286 HAS SOUS 799269 HAS SOUPS 799269 WITH SCORE 800565.286
AT ITER 536 NEW BEST:: SOT 1987847 SOS 1295653 HAS SOPS 1295653 HAS SOUS 799269 HAS SOUPS 799269 WITH SCORE 800564.653
AT ITER 538 NEW BEST:: SOT 1987810 SOS 1295616 HAS SOPS 1295616 HAS SOUS 799231 HAS SOUPS 799231 WITH SCORE 800526.616
AT ITER 549 NEW BEST:: SOT 1987404 SOS 1295197 HAS SOPS 1295197 HAS SOUS 798847 HAS SOUPS 798847 WITH SCORE 800142.197
AT ITER 550 NEW BEST:: SOT 1979758 SOS 1287551 HAS SOPS 1287551 HAS SOUS 791201 HAS SOUPS 791201 WITH SCORE 792488.551
AT ITER 553 NEW BEST:: SOT 1979758 SOS 1287550 HAS SOPS 1287550 HAS SOUS 791200 HAS SOUPS 791200 WITH SCORE 792487.55
AT ITER 554 NEW BEST:: SOT 1979758 SOS 1286988 HAS SOPS 1286988 HAS SOUS 790890 HAS SOUPS 790890 WITH SCORE 792176.988
AT ITER 556 NEW BEST:: SOT 1979590 SOS 1286820 HAS SOPS 1286820 HAS SOUS 790722 HAS SOUPS 790722 WITH SCORE 792008.82
AT ITER 559 NEW BEST:: SOT 1979480 SOS 1286762 HAS SOPS 1286762 HAS SOUS 790657 HAS SOUPS 790657 WITH SCORE 791943.762
AT ITER 563 NEW BEST:: SOT 1977293 SOS 1285051 HAS SOPS 1285051 HAS SOUS 788687 HAS SOUPS 788687 WITH SCORE 789972.051
AT ITER 567 NEW BEST:: SOT 1977293 SOS 1285051 HAS SOPS 1285051 HAS SOUS 788686 HAS SOUPS 788686 WITH SCORE 789971.051
AT ITER 572 NEW BEST:: SOT 1977293 SOS 1283468 HAS SOPS 1283468 HAS SOUS 788685 HAS SOUPS 788685 WITH SCORE 789968.468
AT ITER 584 NEW BEST:: SOT 1977293 SOS 1283468 HAS SOPS 1283468 HAS SOUS 788684 HAS SOUPS 788684 WITH SCORE 789967.468
AT ITER 590 NEW BEST:: SOT 1977136 SOS 1283303 HAS SOPS 1283303 HAS SOUS 788654 HAS SOUPS 788654 WITH SCORE 789937.303
AT ITER 597 NEW BEST:: SOT 1977135 SOS 1282012 HAS SOPS 1282012 HAS SOUS 788223 HAS SOUPS 788223 WITH SCORE 789505.012
AT ITER 600 NEW BEST:: SOT 1977135 SOS 1282037 HAS SOPS 1282037 HAS SOUS 788222 HAS SOUPS 788222 WITH SCORE 789504.037
AT ITER 602 NEW BEST:: SOT 1977135 SOS 1282034 HAS SOPS 1282034 HAS SOUS 788219 HAS SOUPS 788219 WITH SCORE 789501.034
AT ITER 604 NEW BEST:: SOT 1975298 SOS 1280197 HAS SOPS 1280197 HAS SOUS 786378 HAS SOUPS 786378 WITH SCORE 787658.197
AT ITER 606 NEW BEST:: SOT 1968740 SOS 1273639 HAS SOPS 1273639 HAS SOUS 779819 HAS SOUPS 779819 WITH SCORE 781092.639
AT ITER 617 NEW BEST:: SOT 1968280 SOS 1272653 HAS SOPS 1272653 HAS SOUS 778899 HAS SOUPS 778899 WITH SCORE 780171.653
AT ITER 623 NEW BEST:: SOT 1954640 SOS 1259012 HAS SOPS 1259012 HAS SOUS 765258 HAS SOUPS 765258 WITH SCORE 766517.012
AT ITER 629 NEW BEST:: SOT 1954676 SOS 1259064 HAS SOPS 1259064 HAS SOUS 764646 HAS SOUPS 764646 WITH SCORE 765905.064
AT ITER 632 NEW BEST:: SOT 1954523 SOS 1258677 HAS SOPS 1258677 HAS SOUS 764340 HAS SOUPS 764340 WITH SCORE 765598.677
AT ITER 636 NEW BEST:: SOT 1951613 SOS 1256805 HAS SOPS 1256805 HAS SOUS 762021 HAS SOUPS 762021 WITH SCORE 763277.805
AT ITER 653 NEW BEST:: SOT 1951613 SOS 1256601 HAS SOPS 1256601 HAS SOUS 762021 HAS SOUPS 762021 WITH SCORE 763277.601
AT ITER 675 NEW BEST:: SOT 1951495 SOS 1256335 HAS SOPS 1256335 HAS SOUS 761755 HAS SOUPS 761755 WITH SCORE 763011.335
AT ITER 698 NEW BEST:: SOT 1951495 SOS 1256335 HAS SOPS 1256335 HAS SOUS 761481 HAS SOUPS 761481 WITH SCORE 762737.335
AT ITER 717 NEW BEST:: SOT 1945832 SOS 1250672 HAS SOPS 1250672 HAS SOUS 755818 HAS SOUPS 755818 WITH SCORE 757068.672
AT ITER 723 NEW BEST:: SOT 1945832 SOS 1250672 HAS SOPS 1250672 HAS SOUS 755817 HAS SOUPS 755817 WITH SCORE 757067.672
AT ITER 725 NEW BEST:: SOT 1944490 SOS 1249330 HAS SOPS 1249330 HAS SOUS 754475 HAS SOUPS 754475 WITH SCORE 755724.33
AT ITER 737 NEW BEST:: SOT 1944490 SOS 1249190 HAS SOPS 1249190 HAS SOUS 754447 HAS SOUPS 754447 WITH SCORE 755696.19
AT ITER 742 NEW BEST:: SOT 1944490 SOS 1249067 HAS SOPS 1249067 HAS SOUS 754447 HAS SOUPS 754447 WITH SCORE 755696.067
AT ITER 743 NEW BEST:: SOT 1944404 SOS 1248895 HAS SOPS 1248895 HAS SOUS 754275 HAS SOUPS 754275 WITH SCORE 755523.895
AT ITER 746 NEW BEST:: SOT 1942493 SOS 1240194 HAS SOPS 1240194 HAS SOUS 751150 HAS SOUPS 751150 WITH SCORE 752390.194
AT ITER 750 NEW BEST:: SOT 1937579 SOS 1235280 HAS SOPS 1235280 HAS SOUS 746236 HAS SOUPS 746236 WITH SCORE 747471.28
AT ITER 753 NEW BEST:: SOT 1937579 SOS 1235229 HAS SOPS 1235229 HAS SOUS 746236 HAS SOUPS 746236 WITH SCORE 747471.229
AT ITER 755 NEW BEST:: SOT 1937465 SOS 1234181 HAS SOPS 1234181 HAS SOUS 746204 HAS SOUPS 746204 WITH SCORE 747438.181
AT ITER 756 NEW BEST:: SOT 1934391 SOS 1230154 HAS SOPS 1230154 HAS SOUS 742862 HAS SOUPS 742862 WITH SCORE 744092.154
AT ITER 757 NEW BEST:: SOT 1934391 SOS 1230153 HAS SOPS 1230153 HAS SOUS 742861 HAS SOUPS 742861 WITH SCORE 744091.153
AT ITER 759 NEW BEST:: SOT 1934127 SOS 1229889 HAS SOPS 1229889 HAS SOUS 742597 HAS SOUPS 742597 WITH SCORE 743826.889
AT ITER 766 NEW BEST:: SOT 1934127 SOS 1229568 HAS SOPS 1229568 HAS SOUS 742276 HAS SOUPS 742276 WITH SCORE 743505.568
AT ITER 767 NEW BEST:: SOT 1933209 SOS 1227835 HAS SOPS 1227835 HAS SOUS 740871 HAS SOUPS 740871 WITH SCORE 742098.835
AT ITER 778 NEW BEST:: SOT 1918067 SOS 1212255 HAS SOPS 1212255 HAS SOUS 725291 HAS SOUPS 725291 WITH SCORE 726503.255
AT ITER 779 NEW BEST:: SOT 1917685 SOS 1209151 HAS SOPS 1209151 HAS SOUS 724998 HAS SOUPS 724998 WITH SCORE 726207.151
AT ITER 781 NEW BEST:: SOT 1915811 SOS 1207277 HAS SOPS 1207277 HAS SOUS 723124 HAS SOUPS 723124 WITH SCORE 724331.277
AT ITER 792 NEW BEST:: SOT 1915811 SOS 1207180 HAS SOPS 1207180 HAS SOUS 723124 HAS SOUPS 723124 WITH SCORE 724331.18
AT ITER 793 NEW BEST:: SOT 1915293 SOS 1206662 HAS SOPS 1206662 HAS SOUS 722606 HAS SOUPS 722606 WITH SCORE 723812.662
AT ITER 834 NEW BEST:: SOT 1915131 SOS 1206338 HAS SOPS 1206338 HAS SOUS 722444 HAS SOUPS 722444 WITH SCORE 723650.338
AT ITER 837 NEW BEST:: SOT 1913885 SOS 1203415 HAS SOPS 1203415 HAS SOUS 720333 HAS SOUPS 720333 WITH SCORE 721536.415
AT ITER 841 NEW BEST:: SOT 1913883 SOS 1202977 HAS SOPS 1202977 HAS SOUS 720306 HAS SOUPS 720306 WITH SCORE 721508.977
AT ITER 847 NEW BEST:: SOT 1913879 SOS 1202597 HAS SOPS 1202597 HAS SOUS 719926 HAS SOUPS 719926 WITH SCORE 721128.597
AT ITER 850 NEW BEST:: SOT 1913879 SOS 1202282 HAS SOPS 1202282 HAS SOUS 719869 HAS SOUPS 719869 WITH SCORE 721071.282
AT ITER 867 NEW BEST:: SOT 1913879 SOS 1200702 HAS SOPS 1200702 HAS SOUS 719846 HAS SOUPS 719846 WITH SCORE 721046.702
AT ITER 868 NEW BEST:: SOT 1913760 SOS 1198877 HAS SOPS 1198877 HAS SOUS 719713 HAS SOUPS 719713 WITH SCORE 720911.877
AT ITER 873 NEW BEST:: SOT 1908313 SOS 1193429 HAS SOPS 1193429 HAS SOUS 714265 HAS SOUPS 714265 WITH SCORE 715458.429
AT ITER 875 NEW BEST:: SOT 1907545 SOS 1192499 HAS SOPS 1192499 HAS SOUS 713891 HAS SOUPS 713891 WITH SCORE 715083.499
AT ITER 876 NEW BEST:: SOT 1907545 SOS 1192499 HAS SOPS 1192499 HAS SOUS 713755 HAS SOUPS 713755 WITH SCORE 714947.499
AT ITER 885 NEW BEST:: SOT 1906703 SOS 1191657 HAS SOPS 1191657 HAS SOUS 712913 HAS SOUPS 712913 WITH SCORE 714104.657
AT ITER 892 NEW BEST:: SOT 1906703 SOS 1191644 HAS SOPS 1191644 HAS SOUS 712900 HAS SOUPS 712900 WITH SCORE 714091.644
AT ITER 906 NEW BEST:: SOT 1906352 SOS 1191324 HAS SOPS 1191324 HAS SOUS 712608 HAS SOUPS 712608 WITH SCORE 713799.324
AT ITER 913 NEW BEST:: SOT 1906352 SOS 1192107 HAS SOPS 1192107 HAS SOUS 712498 HAS SOUPS 712498 WITH SCORE 713690.107
AT ITER 922 NEW BEST:: SOT 1906350 SOS 1192049 HAS SOPS 1192049 HAS SOUS 712491 HAS SOUPS 712491 WITH SCORE 713683.049
AT ITER 923 NEW BEST:: SOT 1905921 SOS 1192048 HAS SOPS 1192048 HAS SOUS 712465 HAS SOUPS 712465 WITH SCORE 713657.048
AT ITER 924 NEW BEST:: SOT 1902464 SOS 1188150 HAS SOPS 1188150 HAS SOUS 708244 HAS SOUPS 708244 WITH SCORE 709432.15
AT ITER 928 NEW BEST:: SOT 1902521 SOS 1186026 HAS SOPS 1186026 HAS SOUS 707267 HAS SOUPS 707267 WITH SCORE 708453.026
AT ITER 936 NEW BEST:: SOT 1902522 SOS 1186027 HAS SOPS 1186027 HAS SOUS 707260 HAS SOUPS 707260 WITH SCORE 708446.027
AT ITER 940 NEW BEST:: SOT 1902520 SOS 1184128 HAS SOPS 1184128 HAS SOUS 707251 HAS SOUPS 707251 WITH SCORE 708435.128
AT ITER 945 NEW BEST:: SOT 1902003 SOS 1180434 HAS SOPS 1180434 HAS SOUS 707251 HAS SOUPS 707251 WITH SCORE 708431.434
AT ITER 946 NEW BEST:: SOT 1901975 SOS 1180406 HAS SOPS 1180406 HAS SOUS 707223 HAS SOUPS 707223 WITH SCORE 708403.406
AT ITER 958 NEW BEST:: SOT 1899899 SOS 1178330 HAS SOPS 1178330 HAS SOUS 705146 HAS SOUPS 705146 WITH SCORE 706324.33
AT ITER 961 NEW BEST:: SOT 1899899 SOS 1178329 HAS SOPS 1178329 HAS SOUS 705145 HAS SOUPS 705145 WITH SCORE 706323.329
AT ITER 964 NEW BEST:: SOT 1899640 SOS 1178070 HAS SOPS 1178070 HAS SOUS 704886 HAS SOUPS 704886 WITH SCORE 706064.07
AT ITER 966 NEW BEST:: SOT 1899305 SOS 1177735 HAS SOPS 1177735 HAS SOUS 704551 HAS SOUPS 704551 WITH SCORE 705728.735
AT ITER 974 NEW BEST:: SOT 1899305 SOS 1177734 HAS SOPS 1177734 HAS SOUS 704550 HAS SOUPS 704550 WITH SCORE 705727.734
AT ITER 984 NEW BEST:: SOT 1899301 SOS 1178752 HAS SOPS 1178752 HAS SOUS 704548 HAS SOUPS 704548 WITH SCORE 705726.752
AT ITER 986 NEW BEST:: SOT 1899390 SOS 1177788 HAS SOPS 1177788 HAS SOUS 703458 HAS SOUPS 703458 WITH SCORE 704635.788
AT ITER 1008 NEW BEST:: SOT 1899184 SOS 1177582 HAS SOPS 1177582 HAS SOUS 703251 HAS SOUPS 703251 WITH SCORE 704428.582
AT ITER 1010 NEW BEST:: SOT 1899267 SOS 1176987 HAS SOPS 1176987 HAS SOUS 703071 HAS SOUPS 703071 WITH SCORE 704247.987
AT ITER 1012 NEW BEST:: SOT 1898983 SOS 1176161 HAS SOPS 1176161 HAS SOUS 702289 HAS SOUPS 702289 WITH SCORE 703465.161
AT ITER 1028 NEW BEST:: SOT 1898145 SOS 1176110 HAS SOPS 1176110 HAS SOUS 701977 HAS SOUPS 701977 WITH SCORE 703153.11
AT ITER 1041 NEW BEST:: SOT 1898128 SOS 1176008 HAS SOPS 1176008 HAS SOUS 701943 HAS SOUPS 701943 WITH SCORE 703119.008
AT ITER 1053 NEW BEST:: SOT 1894545 SOS 1173734 HAS SOPS 1173734 HAS SOUS 698959 HAS SOUPS 698959 WITH SCORE 700132.734
AT ITER 1059 NEW BEST:: SOT 1894471 SOS 1173660 HAS SOPS 1173660 HAS SOUS 698885 HAS SOUPS 698885 WITH SCORE 700058.66
AT ITER 1069 NEW BEST:: SOT 1895423 SOS 1174515 HAS SOPS 1174515 HAS SOUS 698836 HAS SOUPS 698836 WITH SCORE 700010.515
AT ITER 1081 NEW BEST:: SOT 1887272 SOS 1166355 HAS SOPS 1166355 HAS SOUS 690676 HAS SOUPS 690676 WITH SCORE 691842.355
AT ITER 1083 NEW BEST:: SOT 1886779 SOS 1165812 HAS SOPS 1165812 HAS SOUS 689240 HAS SOUPS 689240 WITH SCORE 690405.812
AT ITER 1097 NEW BEST:: SOT 1886623 SOS 1165703 HAS SOPS 1165703 HAS SOUS 689240 HAS SOUPS 689240 WITH SCORE 690405.703
AT ITER 1099 NEW BEST:: SOT 1886682 SOS 1165819 HAS SOPS 1165819 HAS SOUS 689034 HAS SOUPS 689034 WITH SCORE 690199.819
AT ITER 1103 NEW BEST:: SOT 1886680 SOS 1165815 HAS SOPS 1165815 HAS SOUS 689030 HAS SOUPS 689030 WITH SCORE 690195.815
AT ITER 1107 NEW BEST:: SOT 1883641 SOS 1162776 HAS SOPS 1162776 HAS SOUS 685990 HAS SOUPS 685990 WITH SCORE 687152.776
AT ITER 1111 NEW BEST:: SOT 1883484 SOS 1161868 HAS SOPS 1161868 HAS SOUS 685662 HAS SOUPS 685662 WITH SCORE 686823.868
AT ITER 1114 NEW BEST:: SOT 1883293 SOS 1161677 HAS SOPS 1161677 HAS SOUS 685471 HAS SOUPS 685471 WITH SCORE 686632.677
AT ITER 1116 NEW BEST:: SOT 1883166 SOS 1160447 HAS SOPS 1160447 HAS SOUS 685267 HAS SOUPS 685267 WITH SCORE 686427.447
AT ITER 1120 NEW BEST:: SOT 1882780 SOS 1156386 HAS SOPS 1156386 HAS SOUS 684050 HAS SOUPS 684050 WITH SCORE 685206.386
AT ITER 1128 NEW BEST:: SOT 1881973 SOS 1155129 HAS SOPS 1155129 HAS SOUS 683626 HAS SOUPS 683626 WITH SCORE 684781.129
AT ITER 1132 NEW BEST:: SOT 1881959 SOS 1155115 HAS SOPS 1155115 HAS SOUS 683611 HAS SOUPS 683611 WITH SCORE 684766.115
AT ITER 1144 NEW BEST:: SOT 1881621 SOS 1154236 HAS SOPS 1154236 HAS SOUS 682681 HAS SOUPS 682681 WITH SCORE 683835.236
AT ITER 1148 NEW BEST:: SOT 1880576 SOS 1153189 HAS SOPS 1153189 HAS SOUS 681634 HAS SOUPS 681634 WITH SCORE 682787.189
AT ITER 1156 NEW BEST:: SOT 1880387 SOS 1153000 HAS SOPS 1153000 HAS SOUS 681628 HAS SOUPS 681628 WITH SCORE 682781.0
AT ITER 1165 NEW BEST:: SOT 1880368 SOS 1152981 HAS SOPS 1152981 HAS SOUS 681592 HAS SOUPS 681592 WITH SCORE 682744.981
AT ITER 1177 NEW BEST:: SOT 1880269 SOS 1152715 HAS SOPS 1152715 HAS SOUS 681326 HAS SOUPS 681326 WITH SCORE 682478.715
AT ITER 1182 NEW BEST:: SOT 1880269 SOS 1152654 HAS SOPS 1152654 HAS SOUS 681325 HAS SOUPS 681325 WITH SCORE 682477.654
AT ITER 1185 NEW BEST:: SOT 1880269 SOS 1151030 HAS SOPS 1151030 HAS SOUS 681312 HAS SOUPS 681312 WITH SCORE 682463.03
AT ITER 1186 NEW BEST:: SOT 1880269 SOS 1150559 HAS SOPS 1150559 HAS SOUS 681312 HAS SOUPS 681312 WITH SCORE 682462.559
AT ITER 1187 NEW BEST:: SOT 1865971 SOS 1140384 HAS SOPS 1140384 HAS SOUS 666285 HAS SOUPS 666285 WITH SCORE 667425.384
AT ITER 1203 NEW BEST:: SOT 1865255 SOS 1139668 HAS SOPS 1139668 HAS SOUS 665790 HAS SOUPS 665790 WITH SCORE 666929.668
AT ITER 1204 NEW BEST:: SOT 1865246 SOS 1139551 HAS SOPS 1139551 HAS SOUS 665673 HAS SOUPS 665673 WITH SCORE 666812.551
AT ITER 1205 NEW BEST:: SOT 1864931 SOS 1139039 HAS SOPS 1139039 HAS SOUS 665474 HAS SOUPS 665474 WITH SCORE 666613.039
AT ITER 1207 NEW BEST:: SOT 1864931 SOS 1138828 HAS SOPS 1138828 HAS SOUS 665404 HAS SOUPS 665404 WITH SCORE 666542.828
AT ITER 1209 NEW BEST:: SOT 1864931 SOS 1138323 HAS SOPS 1138323 HAS SOUS 664550 HAS SOUPS 664550 WITH SCORE 665688.323
AT ITER 1217 NEW BEST:: SOT 1864677 SOS 1138069 HAS SOPS 1138069 HAS SOUS 664548 HAS SOUPS 664548 WITH SCORE 665686.069
AT ITER 1225 NEW BEST:: SOT 1863150 SOS 1136542 HAS SOPS 1136542 HAS SOUS 662982 HAS SOUPS 662982 WITH SCORE 664118.542
AT ITER 1231 NEW BEST:: SOT 1860881 SOS 1134692 HAS SOPS 1134692 HAS SOUS 661139 HAS SOUPS 661139 WITH SCORE 662273.692
AT ITER 1234 NEW BEST:: SOT 1861199 SOS 1134725 HAS SOPS 1134725 HAS SOUS 660961 HAS SOUPS 660961 WITH SCORE 662095.725
AT ITER 1240 NEW BEST:: SOT 1860671 SOS 1133109 HAS SOPS 1133109 HAS SOUS 659692 HAS SOUPS 659692 WITH SCORE 660825.109
AT ITER 1242 NEW BEST:: SOT 1860792 SOS 1132772 HAS SOPS 1132772 HAS SOUS 659355 HAS SOUPS 659355 WITH SCORE 660487.772
AT ITER 1248 NEW BEST:: SOT 1860908 SOS 1131787 HAS SOPS 1131787 HAS SOUS 658898 HAS SOUPS 658898 WITH SCORE 660029.787
AT ITER 1249 NEW BEST:: SOT 1860887 SOS 1131513 HAS SOPS 1131513 HAS SOUS 658641 HAS SOUPS 658641 WITH SCORE 659772.513
AT ITER 1256 NEW BEST:: SOT 1860388 SOS 1130515 HAS SOPS 1130515 HAS SOUS 658138 HAS SOUPS 658138 WITH SCORE 659268.515
AT ITER 1257 NEW BEST:: SOT 1860388 SOS 1130515 HAS SOPS 1130515 HAS SOUS 658124 HAS SOUPS 658124 WITH SCORE 659254.515
AT ITER 1259 NEW BEST:: SOT 1860589 SOS 1130792 HAS SOPS 1130792 HAS SOUS 658101 HAS SOUPS 658101 WITH SCORE 659231.792
AT ITER 1261 NEW BEST:: SOT 1860589 SOS 1128982 HAS SOPS 1128982 HAS SOUS 657874 HAS SOUPS 657874 WITH SCORE 659002.982
AT ITER 1263 NEW BEST:: SOT 1859335 SOS 1127728 HAS SOPS 1127728 HAS SOUS 656610 HAS SOUPS 656610 WITH SCORE 657737.728
AT ITER 1271 NEW BEST:: SOT 1859285 SOS 1127678 HAS SOPS 1127678 HAS SOUS 656545 HAS SOUPS 656545 WITH SCORE 657672.678
AT ITER 1288 NEW BEST:: SOT 1858973 SOS 1127366 HAS SOPS 1127366 HAS SOUS 656233 HAS SOUPS 656233 WITH SCORE 657360.366
AT ITER 1293 NEW BEST:: SOT 1858973 SOS 1127366 HAS SOPS 1127366 HAS SOUS 656227 HAS SOUPS 656227 WITH SCORE 657354.366
AT ITER 1295 NEW BEST:: SOT 1858390 SOS 1126338 HAS SOPS 1126338 HAS SOUS 655327 HAS SOUPS 655327 WITH SCORE 656453.338
AT ITER 1303 NEW BEST:: SOT 1858154 SOS 1126102 HAS SOPS 1126102 HAS SOUS 654855 HAS SOUPS 654855 WITH SCORE 655981.102
AT ITER 1311 NEW BEST:: SOT 1859452 SOS 1125885 HAS SOPS 1125885 HAS SOUS 654639 HAS SOUPS 654639 WITH SCORE 655764.885
AT ITER 1321 NEW BEST:: SOT 1859575 SOS 1125877 HAS SOPS 1125877 HAS SOUS 654504 HAS SOUPS 654504 WITH SCORE 655629.877
AT ITER 1329 NEW BEST:: SOT 1859332 SOS 1125634 HAS SOPS 1125634 HAS SOUS 654261 HAS SOUPS 654261 WITH SCORE 655386.634
AT ITER 1335 NEW BEST:: SOT 1859400 SOS 1125438 HAS SOPS 1125438 HAS SOUS 654065 HAS SOUPS 654065 WITH SCORE 655190.438
AT ITER 1338 NEW BEST:: SOT 1858369 SOS 1124264 HAS SOPS 1124264 HAS SOUS 652881 HAS SOUPS 652881 WITH SCORE 654005.264
AT ITER 1341 NEW BEST:: SOT 1858579 SOS 1124264 HAS SOPS 1124264 HAS SOUS 652671 HAS SOUPS 652671 WITH SCORE 653795.264
AT ITER 1345 NEW BEST:: SOT 1858569 SOS 1124016 HAS SOPS 1124016 HAS SOUS 652546 HAS SOUPS 652546 WITH SCORE 653670.016
AT ITER 1347 NEW BEST:: SOT 1858516 SOS 1124016 HAS SOPS 1124016 HAS SOUS 652545 HAS SOUPS 652545 WITH SCORE 653669.016
AT ITER 1349 NEW BEST:: SOT 1858410 SOS 1123908 HAS SOPS 1123908 HAS SOUS 652437 HAS SOUPS 652437 WITH SCORE 653560.908
AT ITER 1360 NEW BEST:: SOT 1858410 SOS 1123657 HAS SOPS 1123657 HAS SOUS 652186 HAS SOUPS 652186 WITH SCORE 653309.657
AT ITER 1371 NEW BEST:: SOT 1857164 SOS 1122411 HAS SOPS 1122411 HAS SOUS 650940 HAS SOUPS 650940 WITH SCORE 652062.411
AT ITER 1382 NEW BEST:: SOT 1857051 SOS 1121620 HAS SOPS 1121620 HAS SOUS 650714 HAS SOUPS 650714 WITH SCORE 651835.62
AT ITER 1391 NEW BEST:: SOT 1856789 SOS 1120883 HAS SOPS 1120883 HAS SOUS 649976 HAS SOUPS 649976 WITH SCORE 651096.883
AT ITER 1392 NEW BEST:: SOT 1856788 SOS 1120882 HAS SOPS 1120882 HAS SOUS 649975 HAS SOUPS 649975 WITH SCORE 651095.882
AT ITER 1395 NEW BEST:: SOT 1856416 SOS 1119208 HAS SOPS 1119208 HAS SOUS 649354 HAS SOUPS 649354 WITH SCORE 650473.208
AT ITER 1407 NEW BEST:: SOT 1856358 SOS 1119150 HAS SOPS 1119150 HAS SOUS 649293 HAS SOUPS 649293 WITH SCORE 650412.15
AT ITER 1413 NEW BEST:: SOT 1855414 SOS 1118731 HAS SOPS 1118731 HAS SOUS 648874 HAS SOUPS 648874 WITH SCORE 649992.731
AT ITER 1422 NEW BEST:: SOT 1855375 SOS 1118692 HAS SOPS 1118692 HAS SOUS 648835 HAS SOUPS 648835 WITH SCORE 649953.692
AT ITER 1425 NEW BEST:: SOT 1856038 SOS 1118639 HAS SOPS 1118639 HAS SOUS 648782 HAS SOUPS 648782 WITH SCORE 649900.639
AT ITER 1426 NEW BEST:: SOT 1856859 SOS 1119572 HAS SOPS 1119572 HAS SOUS 648402 HAS SOUPS 648402 WITH SCORE 649521.572
AT ITER 1427 NEW BEST:: SOT 1856859 SOS 1119543 HAS SOPS 1119543 HAS SOUS 648373 HAS SOUPS 648373 WITH SCORE 649492.543
AT ITER 1442 NEW BEST:: SOT 1856859 SOS 1119035 HAS SOPS 1119035 HAS SOUS 647865 HAS SOUPS 647865 WITH SCORE 648984.035
AT ITER 1464 NEW BEST:: SOT 1856451 SOS 1118395 HAS SOPS 1118395 HAS SOUS 647225 HAS SOUPS 647225 WITH SCORE 648343.395
AT ITER 1465 NEW BEST:: SOT 1855758 SOS 1117702 HAS SOPS 1117702 HAS SOUS 646204 HAS SOUPS 646204 WITH SCORE 647321.702
AT ITER 1469 NEW BEST:: SOT 1855413 SOS 1117357 HAS SOPS 1117357 HAS SOUS 645859 HAS SOUPS 645859 WITH SCORE 646976.357
AT ITER 1473 NEW BEST:: SOT 1855177 SOS 1117357 HAS SOPS 1117357 HAS SOUS 645151 HAS SOUPS 645151 WITH SCORE 646268.357
AT ITER 1479 NEW BEST:: SOT 1853686 SOS 1116156 HAS SOPS 1116156 HAS SOUS 643544 HAS SOUPS 643544 WITH SCORE 644660.156
AT ITER 1483 NEW BEST:: SOT 1853572 SOS 1116042 HAS SOPS 1116042 HAS SOUS 643429 HAS SOUPS 643429 WITH SCORE 644545.042
AT ITER 1485 NEW BEST:: SOT 1851010 SOS 1113284 HAS SOPS 1113284 HAS SOUS 640671 HAS SOUPS 640671 WITH SCORE 641784.284
AT ITER 1508 NEW BEST:: SOT 1850816 SOS 1113283 HAS SOPS 1113283 HAS SOUS 640655 HAS SOUPS 640655 WITH SCORE 641768.283
AT ITER 1516 NEW BEST:: SOT 1850821 SOS 1113278 HAS SOPS 1113278 HAS SOUS 640645 HAS SOUPS 640645 WITH SCORE 641758.278
AT ITER 1521 NEW BEST:: SOT 1850821 SOS 1113272 HAS SOPS 1113272 HAS SOUS 640639 HAS SOUPS 640639 WITH SCORE 641752.272
AT ITER 1528 NEW BEST:: SOT 1850625 SOS 1113076 HAS SOPS 1113076 HAS SOUS 640443 HAS SOUPS 640443 WITH SCORE 641556.076
AT ITER 1534 NEW BEST:: SOT 1850035 SOS 1112106 HAS SOPS 1112106 HAS SOUS 639473 HAS SOUPS 639473 WITH SCORE 640585.106
AT ITER 1539 NEW BEST:: SOT 1849958 SOS 1111875 HAS SOPS 1111875 HAS SOUS 639279 HAS SOUPS 639279 WITH SCORE 640390.875
AT ITER 1548 NEW BEST:: SOT 1850063 SOS 1111501 HAS SOPS 1111501 HAS SOUS 638905 HAS SOUPS 638905 WITH SCORE 640016.501
AT ITER 1549 NEW BEST:: SOT 1850063 SOS 1111450 HAS SOPS 1111450 HAS SOUS 638854 HAS SOUPS 638854 WITH SCORE 639965.45
AT ITER 1550 NEW BEST:: SOT 1849313 SOS 1110830 HAS SOPS 1110830 HAS SOUS 638233 HAS SOUPS 638233 WITH SCORE 639343.83
AT ITER 1552 NEW BEST:: SOT 1849311 SOS 1110802 HAS SOPS 1110802 HAS SOUS 638229 HAS SOUPS 638229 WITH SCORE 639339.802
AT ITER 1555 NEW BEST:: SOT 1849244 SOS 1110601 HAS SOPS 1110601 HAS SOUS 638162 HAS SOUPS 638162 WITH SCORE 639272.601
AT ITER 1559 NEW BEST:: SOT 1848963 SOS 1110320 HAS SOPS 1110320 HAS SOUS 637587 HAS SOUPS 637587 WITH SCORE 638697.32
AT ITER 1560 NEW BEST:: SOT 1848588 SOS 1109945 HAS SOPS 1109945 HAS SOUS 637585 HAS SOUPS 637585 WITH SCORE 638694.945
AT ITER 1564 NEW BEST:: SOT 1848587 SOS 1107519 HAS SOPS 1107519 HAS SOUS 637583 HAS SOUPS 637583 WITH SCORE 638690.519
AT ITER 1568 NEW BEST:: SOT 1848730 SOS 1107062 HAS SOPS 1107062 HAS SOUS 637132 HAS SOUPS 637132 WITH SCORE 638239.062
AT ITER 1580 NEW BEST:: SOT 1848550 SOS 1106882 HAS SOPS 1106882 HAS SOUS 636952 HAS SOUPS 636952 WITH SCORE 638058.882
AT ITER 1582 NEW BEST:: SOT 1848550 SOS 1107702 HAS SOPS 1107702 HAS SOUS 636894 HAS SOUPS 636894 WITH SCORE 638001.702
AT ITER 1593 NEW BEST:: SOT 1848142 SOS 1107294 HAS SOPS 1107294 HAS SOUS 636486 HAS SOUPS 636486 WITH SCORE 637593.294
AT ITER 1594 NEW BEST:: SOT 1847429 SOS 1106130 HAS SOPS 1106130 HAS SOUS 635928 HAS SOUPS 635928 WITH SCORE 637034.13
AT ITER 1602 NEW BEST:: SOT 1847417 SOS 1106117 HAS SOPS 1106117 HAS SOUS 635915 HAS SOUPS 635915 WITH SCORE 637021.117
AT ITER 1609 NEW BEST:: SOT 1847417 SOS 1105956 HAS SOPS 1105956 HAS SOUS 635915 HAS SOUPS 635915 WITH SCORE 637020.956
AT ITER 1613 NEW BEST:: SOT 1847394 SOS 1105933 HAS SOPS 1105933 HAS SOUS 635892 HAS SOUPS 635892 WITH SCORE 636997.933
AT ITER 1616 NEW BEST:: SOT 1847021 SOS 1105168 HAS SOPS 1105168 HAS SOUS 635324 HAS SOUPS 635324 WITH SCORE 636429.168
AT ITER 1618 NEW BEST:: SOT 1847021 SOS 1104683 HAS SOPS 1104683 HAS SOUS 634839 HAS SOUPS 634839 WITH SCORE 635943.683
AT ITER 1622 NEW BEST:: SOT 1847013 SOS 1104683 HAS SOPS 1104683 HAS SOUS 634831 HAS SOUPS 634831 WITH SCORE 635935.683
AT ITER 1645 NEW BEST:: SOT 1845497 SOS 1103337 HAS SOPS 1103337 HAS SOUS 633145 HAS SOUPS 633145 WITH SCORE 634248.337
AT ITER 1676 NEW BEST:: SOT 1845479 SOS 1102629 HAS SOPS 1102629 HAS SOUS 632881 HAS SOUPS 632881 WITH SCORE 633983.629
AT ITER 1687 NEW BEST:: SOT 1844954 SOS 1101840 HAS SOPS 1101840 HAS SOUS 632092 HAS SOUPS 632092 WITH SCORE 633193.84
AT ITER 1701 NEW BEST:: SOT 1843123 SOS 1100882 HAS SOPS 1100882 HAS SOUS 630544 HAS SOUPS 630544 WITH SCORE 631644.882
AT ITER 1706 NEW BEST:: SOT 1842604 SOS 1097443 HAS SOPS 1097443 HAS SOUS 629534 HAS SOUPS 629534 WITH SCORE 630631.443
AT ITER 1709 NEW BEST:: SOT 1842121 SOS 1096960 HAS SOPS 1096960 HAS SOUS 629534 HAS SOUPS 629534 WITH SCORE 630630.96
AT ITER 1718 NEW BEST:: SOT 1842318 SOS 1095469 HAS SOPS 1095469 HAS SOUS 628397 HAS SOUPS 628397 WITH SCORE 629492.469
AT ITER 1728 NEW BEST:: SOT 1842314 SOS 1095465 HAS SOPS 1095465 HAS SOUS 628393 HAS SOUPS 628393 WITH SCORE 629488.465
AT ITER 1738 NEW BEST:: SOT 1842312 SOS 1095463 HAS SOPS 1095463 HAS SOUS 628391 HAS SOUPS 628391 WITH SCORE 629486.463
AT ITER 1760 NEW BEST:: SOT 1842272 SOS 1095463 HAS SOPS 1095463 HAS SOUS 628371 HAS SOUPS 628371 WITH SCORE 629466.463
AT ITER 1768 NEW BEST:: SOT 1841709 SOS 1094873 HAS SOPS 1094873 HAS SOUS 627781 HAS SOUPS 627781 WITH SCORE 628875.873
AT ITER 1776 NEW BEST:: SOT 1842731 SOS 1094833 HAS SOPS 1094833 HAS SOUS 626909 HAS SOUPS 626909 WITH SCORE 628003.833
AT ITER 1793 NEW BEST:: SOT 1841790 SOS 1093766 HAS SOPS 1093766 HAS SOUS 626654 HAS SOUPS 626654 WITH SCORE 627747.766
AT ITER 1794 NEW BEST:: SOT 1841407 SOS 1092868 HAS SOPS 1092868 HAS SOUS 625756 HAS SOUPS 625756 WITH SCORE 626848.868
AT ITER 1801 NEW BEST:: SOT 1841189 SOS 1091592 HAS SOPS 1091592 HAS SOUS 624837 HAS SOUPS 624837 WITH SCORE 625928.592
AT ITER 1803 NEW BEST:: SOT 1841101 SOS 1091504 HAS SOPS 1091504 HAS SOUS 624733 HAS SOUPS 624733 WITH SCORE 625824.504
AT ITER 1805 NEW BEST:: SOT 1826959 SOS 1077724 HAS SOPS 1077724 HAS SOUS 610749 HAS SOUPS 610749 WITH SCORE 611826.724
AT ITER 1810 NEW BEST:: SOT 1826585 SOS 1077350 HAS SOPS 1077350 HAS SOUS 610375 HAS SOUPS 610375 WITH SCORE 611452.35
AT ITER 1815 NEW BEST:: SOT 1822363 SOS 1073128 HAS SOPS 1073128 HAS SOUS 606153 HAS SOUPS 606153 WITH SCORE 607226.128
AT ITER 1833 NEW BEST:: SOT 1822022 SOS 1072589 HAS SOPS 1072589 HAS SOUS 605614 HAS SOUPS 605614 WITH SCORE 606686.589
AT ITER 1842 NEW BEST:: SOT 1822118 SOS 1072685 HAS SOPS 1072685 HAS SOUS 605582 HAS SOUPS 605582 WITH SCORE 606654.685
AT ITER 1845 NEW BEST:: SOT 1816933 SOS 1070090 HAS SOPS 1070090 HAS SOUS 600678 HAS SOUPS 600678 WITH SCORE 601748.09
AT ITER 1850 NEW BEST:: SOT 1816877 SOS 1070034 HAS SOPS 1070034 HAS SOUS 600594 HAS SOUPS 600594 WITH SCORE 601664.034
AT ITER 1860 NEW BEST:: SOT 1816849 SOS 1070006 HAS SOPS 1070006 HAS SOUS 600566 HAS SOUPS 600566 WITH SCORE 601636.006
AT ITER 1864 NEW BEST:: SOT 1816849 SOS 1070371 HAS SOPS 1070371 HAS SOUS 600466 HAS SOUPS 600466 WITH SCORE 601536.371
AT ITER 1872 NEW BEST:: SOT 1816849 SOS 1070192 HAS SOPS 1070192 HAS SOUS 600466 HAS SOUPS 600466 WITH SCORE 601536.192
AT ITER 1873 NEW BEST:: SOT 1816849 SOS 1070172 HAS SOPS 1070172 HAS SOUS 600446 HAS SOUPS 600446 WITH SCORE 601516.172
AT ITER 1875 NEW BEST:: SOT 1816848 SOS 1069997 HAS SOPS 1069997 HAS SOUS 600444 HAS SOUPS 600444 WITH SCORE 601513.997
AT ITER 1878 NEW BEST:: SOT 1816847 SOS 1069996 HAS SOPS 1069996 HAS SOUS 600443 HAS SOUPS 600443 WITH SCORE 601512.996
AT ITER 1883 NEW BEST:: SOT 1816845 SOS 1069922 HAS SOPS 1069922 HAS SOUS 600427 HAS SOUPS 600427 WITH SCORE 601496.922
AT ITER 1884 NEW BEST:: SOT 1816591 SOS 1068649 HAS SOPS 1068649 HAS SOUS 599886 HAS SOUPS 599886 WITH SCORE 600954.649
AT ITER 1893 NEW BEST:: SOT 1816555 SOS 1068608 HAS SOPS 1068608 HAS SOUS 599845 HAS SOUPS 599845 WITH SCORE 600913.608
AT ITER 1902 NEW BEST:: SOT 1816763 SOS 1068691 HAS SOPS 1068691 HAS SOUS 599807 HAS SOUPS 599807 WITH SCORE 600875.691
AT ITER 1908 NEW BEST:: SOT 1812179 SOS 1069615 HAS SOPS 1069615 HAS SOUS 595296 HAS SOUPS 595296 WITH SCORE 596365.615
AT ITER 1911 NEW BEST:: SOT 1811760 SOS 1069500 HAS SOPS 1069500 HAS SOUS 595181 HAS SOUPS 595181 WITH SCORE 596250.5
AT ITER 1918 NEW BEST:: SOT 1811703 SOS 1069443 HAS SOPS 1069443 HAS SOUS 595123 HAS SOUPS 595123 WITH SCORE 596192.443
AT ITER 1928 NEW BEST:: SOT 1811491 SOS 1069019 HAS SOPS 1069019 HAS SOUS 594699 HAS SOUPS 594699 WITH SCORE 595768.019
AT ITER 1930 NEW BEST:: SOT 1811375 SOS 1068845 HAS SOPS 1068845 HAS SOUS 594491 HAS SOUPS 594491 WITH SCORE 595559.845
AT ITER 1942 NEW BEST:: SOT 1811222 SOS 1068692 HAS SOPS 1068692 HAS SOUS 594338 HAS SOUPS 594338 WITH SCORE 595406.692
AT ITER 1943 NEW BEST:: SOT 1810843 SOS 1068457 HAS SOPS 1068457 HAS SOUS 594105 HAS SOUPS 594105 WITH SCORE 595173.457
AT ITER 1956 NEW BEST:: SOT 1810870 SOS 1068216 HAS SOPS 1068216 HAS SOUS 594054 HAS SOUPS 594054 WITH SCORE 595122.216
AT ITER 1958 NEW BEST:: SOT 1810897 SOS 1068063 HAS SOPS 1068063 HAS SOUS 593983 HAS SOUPS 593983 WITH SCORE 595051.063
AT ITER 1964 NEW BEST:: SOT 1810447 SOS 1067613 HAS SOPS 1067613 HAS SOUS 593878 HAS SOUPS 593878 WITH SCORE 594945.613
AT ITER 1976 NEW BEST:: SOT 1810369 SOS 1067535 HAS SOPS 1067535 HAS SOUS 593800 HAS SOUPS 593800 WITH SCORE 594867.535
AT ITER 1983 NEW BEST:: SOT 1810153 SOS 1066822 HAS SOPS 1066822 HAS SOUS 593087 HAS SOUPS 593087 WITH SCORE 594153.822
AT ITER 1987 NEW BEST:: SOT 1810153 SOS 1065985 HAS SOPS 1065985 HAS SOUS 592907 HAS SOUPS 592907 WITH SCORE 593972.985
AT ITER 1988 NEW BEST:: SOT 1805351 SOS 1063255 HAS SOPS 1063255 HAS SOUS 587693 HAS SOUPS 587693 WITH SCORE 588756.255
AT ITER 1990 NEW BEST:: SOT 1805327 SOS 1063163 HAS SOPS 1063163 HAS SOUS 587645 HAS SOUPS 587645 WITH SCORE 588708.163
AT ITER 1993 NEW BEST:: SOT 1804857 SOS 1062693 HAS SOPS 1062693 HAS SOUS 587131 HAS SOUPS 587131 WITH SCORE 588193.693
AT ITER 1994 NEW BEST:: SOT 1804712 SOS 1062315 HAS SOPS 1062315 HAS SOUS 586841 HAS SOUPS 586841 WITH SCORE 587903.315
AT ITER 1996 NEW BEST:: SOT 1804712 SOS 1062315 HAS SOPS 1062315 HAS SOUS 586753 HAS SOUPS 586753 WITH SCORE 587815.315
AT ITER 2004 NEW BEST:: SOT 1804142 SOS 1061628 HAS SOPS 1061628 HAS SOUS 586355 HAS SOUPS 586355 WITH SCORE 587416.628
AT ITER 2006 NEW BEST:: SOT 1804138 SOS 1061624 HAS SOPS 1061624 HAS SOUS 586351 HAS SOUPS 586351 WITH SCORE 587412.624
AT ITER 2007 NEW BEST:: SOT 1802544 SOS 1061625 HAS SOPS 1061625 HAS SOUS 585247 HAS SOUPS 585247 WITH SCORE 586308.625
AT ITER 2015 NEW BEST:: SOT 1802544 SOS 1061541 HAS SOPS 1061541 HAS SOUS 585236 HAS SOUPS 585236 WITH SCORE 586297.541
AT ITER 2017 NEW BEST:: SOT 1802154 SOS 1061097 HAS SOPS 1061097 HAS SOUS 585019 HAS SOUPS 585019 WITH SCORE 586080.097
AT ITER 2018 NEW BEST:: SOT 1802158 SOS 1061097 HAS SOPS 1061097 HAS SOUS 585015 HAS SOUPS 585015 WITH SCORE 586076.097
AT ITER 2024 NEW BEST:: SOT 1802158 SOS 1061097 HAS SOPS 1061097 HAS SOUS 585013 HAS SOUPS 585013 WITH SCORE 586074.097
AT ITER 2035 NEW BEST:: SOT 1802158 SOS 1061089 HAS SOPS 1061089 HAS SOUS 585012 HAS SOUPS 585012 WITH SCORE 586073.089
AT ITER 2041 NEW BEST:: SOT 1802157 SOS 1061088 HAS SOPS 1061088 HAS SOUS 585010 HAS SOUPS 585010 WITH SCORE 586071.088
AT ITER 2044 NEW BEST:: SOT 1801998 SOS 1060727 HAS SOPS 1060727 HAS SOUS 584649 HAS SOUPS 584649 WITH SCORE 585709.727
AT ITER 2049 NEW BEST:: SOT 1801819 SOS 1060548 HAS SOPS 1060548 HAS SOUS 584521 HAS SOUPS 584521 WITH SCORE 585581.548
AT ITER 2064 NEW BEST:: SOT 1801644 SOS 1060498 HAS SOPS 1060498 HAS SOUS 584314 HAS SOUPS 584314 WITH SCORE 585374.498
AT ITER 2065 NEW BEST:: SOT 1801442 SOS 1060316 HAS SOPS 1060316 HAS SOUS 584132 HAS SOUPS 584132 WITH SCORE 585192.316
AT ITER 2068 NEW BEST:: SOT 1801336 SOS 1060105 HAS SOPS 1060105 HAS SOUS 584025 HAS SOUPS 584025 WITH SCORE 585085.105
AT ITER 2070 NEW BEST:: SOT 1801158 SOS 1059621 HAS SOPS 1059621 HAS SOUS 583669 HAS SOUPS 583669 WITH SCORE 584728.621
AT ITER 2071 NEW BEST:: SOT 1801051 SOS 1059513 HAS SOPS 1059513 HAS SOUS 583561 HAS SOUPS 583561 WITH SCORE 584620.513
AT ITER 2073 NEW BEST:: SOT 1801051 SOS 1057947 HAS SOPS 1057947 HAS SOUS 583501 HAS SOUPS 583501 WITH SCORE 584558.947
AT ITER 2085 NEW BEST:: SOT 1800677 SOS 1056706 HAS SOPS 1056706 HAS SOUS 582260 HAS SOUPS 582260 WITH SCORE 583316.706
AT ITER 2108 NEW BEST:: SOT 1800549 SOS 1056577 HAS SOPS 1056577 HAS SOUS 582131 HAS SOUPS 582131 WITH SCORE 583187.577
AT ITER 2111 NEW BEST:: SOT 1800192 SOS 1055702 HAS SOPS 1055702 HAS SOUS 581802 HAS SOUPS 581802 WITH SCORE 582857.702
AT ITER 2120 NEW BEST:: SOT 1799994 SOS 1055504 HAS SOPS 1055504 HAS SOUS 581604 HAS SOUPS 581604 WITH SCORE 582659.504
AT ITER 2121 NEW BEST:: SOT 1799624 SOS 1055134 HAS SOPS 1055134 HAS SOUS 581234 HAS SOUPS 581234 WITH SCORE 582289.134
AT ITER 2126 NEW BEST:: SOT 1799560 SOS 1055070 HAS SOPS 1055070 HAS SOUS 581170 HAS SOUPS 581170 WITH SCORE 582225.07
AT ITER 2169 NEW BEST:: SOT 1799560 SOS 1054738 HAS SOPS 1054738 HAS SOUS 581133 HAS SOUPS 581133 WITH SCORE 582187.738
AT ITER 2186 NEW BEST:: SOT 1799280 SOS 1054178 HAS SOPS 1054178 HAS SOUS 580809 HAS SOUPS 580809 WITH SCORE 581863.178
AT ITER 2194 NEW BEST:: SOT 1799015 SOS 1053972 HAS SOPS 1053972 HAS SOUS 580530 HAS SOUPS 580530 WITH SCORE 581583.972
AT ITER 2197 NEW BEST:: SOT 1798286 SOS 1053388 HAS SOPS 1053388 HAS SOUS 579943 HAS SOUPS 579943 WITH SCORE 580996.388
AT ITER 2198 NEW BEST:: SOT 1797966 SOS 1053068 HAS SOPS 1053068 HAS SOUS 579623 HAS SOUPS 579623 WITH SCORE 580676.068
AT ITER 2200 NEW BEST:: SOT 1797966 SOS 1052955 HAS SOPS 1052955 HAS SOUS 579623 HAS SOUPS 579623 WITH SCORE 580675.955
AT ITER 2218 NEW BEST:: SOT 1797838 SOS 1052827 HAS SOPS 1052827 HAS SOUS 579494 HAS SOUPS 579494 WITH SCORE 580546.827
AT ITER 2223 NEW BEST:: SOT 1798031 SOS 1053020 HAS SOPS 1053020 HAS SOUS 579492 HAS SOUPS 579492 WITH SCORE 580545.02
AT ITER 2233 NEW BEST:: SOT 1798019 SOS 1052996 HAS SOPS 1052996 HAS SOUS 579468 HAS SOUPS 579468 WITH SCORE 580520.996
AT ITER 2246 NEW BEST:: SOT 1797963 SOS 1052548 HAS SOPS 1052548 HAS SOUS 579300 HAS SOUPS 579300 WITH SCORE 580352.548
AT ITER 2252 NEW BEST:: SOT 1797140 SOS 1052053 HAS SOPS 1052053 HAS SOUS 578477 HAS SOUPS 578477 WITH SCORE 579529.053
AT ITER 2259 NEW BEST:: SOT 1796409 SOS 1051888 HAS SOPS 1051888 HAS SOUS 577754 HAS SOUPS 577754 WITH SCORE 578805.888
AT ITER 2260 NEW BEST:: SOT 1794466 SOS 1049945 HAS SOPS 1049945 HAS SOUS 575811 HAS SOUPS 575811 WITH SCORE 576860.945
AT ITER 2272 NEW BEST:: SOT 1794418 SOS 1049849 HAS SOPS 1049849 HAS SOUS 575715 HAS SOUPS 575715 WITH SCORE 576764.849
AT ITER 2288 NEW BEST:: SOT 1794418 SOS 1049743 HAS SOPS 1049743 HAS SOUS 575715 HAS SOUPS 575715 WITH SCORE 576764.743
AT ITER 2290 NEW BEST:: SOT 1794418 SOS 1049616 HAS SOPS 1049616 HAS SOUS 575588 HAS SOUPS 575588 WITH SCORE 576637.616
AT ITER 2292 NEW BEST:: SOT 1794282 SOS 1049480 HAS SOPS 1049480 HAS SOUS 575448 HAS SOUPS 575448 WITH SCORE 576497.48
AT ITER 2305 NEW BEST:: SOT 1794282 SOS 1047650 HAS SOPS 1047650 HAS SOUS 575356 HAS SOUPS 575356 WITH SCORE 576403.65
AT ITER 2309 NEW BEST:: SOT 1794334 SOS 1047482 HAS SOPS 1047482 HAS SOUS 575344 HAS SOUPS 575344 WITH SCORE 576391.482
AT ITER 2317 NEW BEST:: SOT 1794163 SOS 1046141 HAS SOPS 1046141 HAS SOUS 575064 HAS SOUPS 575064 WITH SCORE 576110.141
AT ITER 2318 NEW BEST:: SOT 1794155 SOS 1046073 HAS SOPS 1046073 HAS SOUS 575035 HAS SOUPS 575035 WITH SCORE 576081.073
AT ITER 2328 NEW BEST:: SOT 1793740 SOS 1044623 HAS SOPS 1044623 HAS SOUS 574192 HAS SOUPS 574192 WITH SCORE 575236.623
AT ITER 2332 NEW BEST:: SOT 1793740 SOS 1044337 HAS SOPS 1044337 HAS SOUS 573906 HAS SOUPS 573906 WITH SCORE 574950.337
AT ITER 2338 NEW BEST:: SOT 1793425 SOS 1045583 HAS SOPS 1045583 HAS SOUS 573535 HAS SOUPS 573535 WITH SCORE 574580.583
AT ITER 2359 NEW BEST:: SOT 1793151 SOS 1045309 HAS SOPS 1045309 HAS SOUS 573114 HAS SOUPS 573114 WITH SCORE 574159.309
AT ITER 2362 NEW BEST:: SOT 1793097 SOS 1043039 HAS SOPS 1043039 HAS SOUS 572950 HAS SOUPS 572950 WITH SCORE 573993.039
AT ITER 2363 NEW BEST:: SOT 1793034 SOS 1042332 HAS SOPS 1042332 HAS SOUS 571295 HAS SOUPS 571295 WITH SCORE 572337.332
AT ITER 2365 NEW BEST:: SOT 1792818 SOS 1042116 HAS SOPS 1042116 HAS SOUS 571079 HAS SOUPS 571079 WITH SCORE 572121.116
AT ITER 2381 NEW BEST:: SOT 1792544 SOS 1044543 HAS SOPS 1044543 HAS SOUS 570817 HAS SOUPS 570817 WITH SCORE 571861.543
AT ITER 2409 NEW BEST:: SOT 1792313 SOS 1044822 HAS SOPS 1044822 HAS SOUS 570503 HAS SOUPS 570503 WITH SCORE 571547.822
AT ITER 2414 NEW BEST:: SOT 1792051 SOS 1044223 HAS SOPS 1044223 HAS SOUS 569818 HAS SOUPS 569818 WITH SCORE 570862.223
AT ITER 2422 NEW BEST:: SOT 1791897 SOS 1044050 HAS SOPS 1044050 HAS SOUS 569645 HAS SOUPS 569645 WITH SCORE 570689.05
AT ITER 2431 NEW BEST:: SOT 1791956 SOS 1043946 HAS SOPS 1043946 HAS SOUS 568790 HAS SOUPS 568790 WITH SCORE 569833.946
AT ITER 2439 NEW BEST:: SOT 1791950 SOS 1043760 HAS SOPS 1043760 HAS SOUS 568778 HAS SOUPS 568778 WITH SCORE 569821.76
AT ITER 2440 NEW BEST:: SOT 1791950 SOS 1043666 HAS SOPS 1043666 HAS SOUS 568696 HAS SOUPS 568696 WITH SCORE 569739.666
AT ITER 2443 NEW BEST:: SOT 1791894 SOS 1043554 HAS SOPS 1043554 HAS SOUS 568514 HAS SOUPS 568514 WITH SCORE 569557.554
AT ITER 2445 NEW BEST:: SOT 1791797 SOS 1043457 HAS SOPS 1043457 HAS SOUS 568404 HAS SOUPS 568404 WITH SCORE 569447.457
AT ITER 2446 NEW BEST:: SOT 1791736 SOS 1043370 HAS SOPS 1043370 HAS SOUS 568317 HAS SOUPS 568317 WITH SCORE 569360.37
AT ITER 2459 NEW BEST:: SOT 1790714 SOS 1042707 HAS SOPS 1042707 HAS SOUS 567661 HAS SOUPS 567661 WITH SCORE 568703.707
AT ITER 2466 NEW BEST:: SOT 1790488 SOS 1043257 HAS SOPS 1043257 HAS SOUS 567635 HAS SOUPS 567635 WITH SCORE 568678.257
AT ITER 2471 NEW BEST:: SOT 1790764 SOS 1041699 HAS SOPS 1041699 HAS SOUS 567477 HAS SOUPS 567477 WITH SCORE 568518.699
AT ITER 2474 NEW BEST:: SOT 1790762 SOS 1041149 HAS SOPS 1041149 HAS SOUS 566927 HAS SOUPS 566927 WITH SCORE 567968.149
AT ITER 2483 NEW BEST:: SOT 1789800 SOS 1040187 HAS SOPS 1040187 HAS SOUS 565965 HAS SOUPS 565965 WITH SCORE 567005.187
AT ITER 2485 NEW BEST:: SOT 1789582 SOS 1039857 HAS SOPS 1039857 HAS SOUS 565303 HAS SOUPS 565303 WITH SCORE 566342.857
AT ITER 2503 NEW BEST:: SOT 1789582 SOS 1039759 HAS SOPS 1039759 HAS SOUS 565303 HAS SOUPS 565303 WITH SCORE 566342.759
AT ITER 2507 NEW BEST:: SOT 1789582 SOS 1039285 HAS SOPS 1039285 HAS SOUS 564313 HAS SOUPS 564313 WITH SCORE 565352.285
AT ITER 2510 NEW BEST:: SOT 1788757 SOS 1037635 HAS SOPS 1037635 HAS SOUS 562663 HAS SOUPS 562663 WITH SCORE 563700.635
AT ITER 2518 NEW BEST:: SOT 1788614 SOS 1037282 HAS SOPS 1037282 HAS SOUS 562377 HAS SOUPS 562377 WITH SCORE 563414.282
AT ITER 2535 NEW BEST:: SOT 1788686 SOS 1035747 HAS SOPS 1035747 HAS SOUS 562355 HAS SOUPS 562355 WITH SCORE 563390.747
AT ITER 2539 NEW BEST:: SOT 1788685 SOS 1035071 HAS SOPS 1035071 HAS SOUS 562353 HAS SOUPS 562353 WITH SCORE 563388.071
AT ITER 2543 NEW BEST:: SOT 1788401 SOS 1034787 HAS SOPS 1034787 HAS SOUS 562088 HAS SOUPS 562088 WITH SCORE 563122.787
AT ITER 2564 NEW BEST:: SOT 1786892 SOS 1033147 HAS SOPS 1033147 HAS SOUS 560448 HAS SOUPS 560448 WITH SCORE 561481.147
AT ITER 2566 NEW BEST:: SOT 1786592 SOS 1032847 HAS SOPS 1032847 HAS SOUS 560298 HAS SOUPS 560298 WITH SCORE 561330.847
AT ITER 2582 NEW BEST:: SOT 1786541 SOS 1032796 HAS SOPS 1032796 HAS SOUS 560145 HAS SOUPS 560145 WITH SCORE 561177.796
AT ITER 2593 NEW BEST:: SOT 1786453 SOS 1032658 HAS SOPS 1032658 HAS SOUS 560005 HAS SOUPS 560005 WITH SCORE 561037.658
AT ITER 2606 NEW BEST:: SOT 1786342 SOS 1032547 HAS SOPS 1032547 HAS SOUS 559894 HAS SOUPS 559894 WITH SCORE 560926.547
AT ITER 2620 NEW BEST:: SOT 1785917 SOS 1032122 HAS SOPS 1032122 HAS SOUS 559469 HAS SOUPS 559469 WITH SCORE 560501.122
AT ITER 2624 NEW BEST:: SOT 1785928 SOS 1031581 HAS SOPS 1031581 HAS SOUS 559089 HAS SOUPS 559089 WITH SCORE 560120.581
AT ITER 2627 NEW BEST:: SOT 1785857 SOS 1031510 HAS SOPS 1031510 HAS SOUS 559017 HAS SOUPS 559017 WITH SCORE 560048.51
AT ITER 2628 NEW BEST:: SOT 1784805 SOS 1030939 HAS SOPS 1030939 HAS SOUS 558922 HAS SOUPS 558922 WITH SCORE 559952.939
AT ITER 2629 NEW BEST:: SOT 1784805 SOS 1030373 HAS SOPS 1030373 HAS SOUS 558922 HAS SOUPS 558922 WITH SCORE 559952.373
AT ITER 2630 NEW BEST:: SOT 1784804 SOS 1030372 HAS SOPS 1030372 HAS SOUS 558920 HAS SOUPS 558920 WITH SCORE 559950.372
AT ITER 2631 NEW BEST:: SOT 1784707 SOS 1030275 HAS SOPS 1030275 HAS SOUS 558823 HAS SOUPS 558823 WITH SCORE 559853.275
AT ITER 2633 NEW BEST:: SOT 1784707 SOS 1029972 HAS SOPS 1029972 HAS SOUS 558823 HAS SOUPS 558823 WITH SCORE 559852.972
AT ITER 2635 NEW BEST:: SOT 1784313 SOS 1029547 HAS SOPS 1029547 HAS SOUS 558375 HAS SOUPS 558375 WITH SCORE 559404.547
AT ITER 2637 NEW BEST:: SOT 1784366 SOS 1029507 HAS SOPS 1029507 HAS SOUS 558283 HAS SOUPS 558283 WITH SCORE 559312.507
AT ITER 2639 NEW BEST:: SOT 1784152 SOS 1028615 HAS SOPS 1028615 HAS SOUS 557817 HAS SOUPS 557817 WITH SCORE 558845.615
AT ITER 2650 NEW BEST:: SOT 1784132 SOS 1028595 HAS SOPS 1028595 HAS SOUS 557797 HAS SOUPS 557797 WITH SCORE 558825.595
AT ITER 2651 NEW BEST:: SOT 1784132 SOS 1028481 HAS SOPS 1028481 HAS SOUS 557797 HAS SOUPS 557797 WITH SCORE 558825.481
AT ITER 2658 NEW BEST:: SOT 1784371 SOS 1028446 HAS SOPS 1028446 HAS SOUS 557762 HAS SOUPS 557762 WITH SCORE 558790.446
AT ITER 2670 NEW BEST:: SOT 1784338 SOS 1028380 HAS SOPS 1028380 HAS SOUS 557696 HAS SOUPS 557696 WITH SCORE 558724.38
AT ITER 2677 NEW BEST:: SOT 1784720 SOS 1027826 HAS SOPS 1027826 HAS SOUS 557695 HAS SOUPS 557695 WITH SCORE 558722.826
AT ITER 2683 NEW BEST:: SOT 1784180 SOS 1027286 HAS SOPS 1027286 HAS SOUS 557153 HAS SOUPS 557153 WITH SCORE 558180.286
AT ITER 2697 NEW BEST:: SOT 1783547 SOS 1027220 HAS SOPS 1027220 HAS SOUS 556981 HAS SOUPS 556981 WITH SCORE 558008.22
AT ITER 2703 NEW BEST:: SOT 1783361 SOS 1027034 HAS SOPS 1027034 HAS SOUS 556609 HAS SOUPS 556609 WITH SCORE 557636.034
AT ITER 2705 NEW BEST:: SOT 1783073 SOS 1026299 HAS SOPS 1026299 HAS SOUS 555923 HAS SOUPS 555923 WITH SCORE 556949.299
AT ITER 2708 NEW BEST:: SOT 1782925 SOS 1025707 HAS SOPS 1025707 HAS SOUS 555625 HAS SOUPS 555625 WITH SCORE 556650.707
AT ITER 2726 NEW BEST:: SOT 1782913 SOS 1025671 HAS SOPS 1025671 HAS SOUS 555282 HAS SOUPS 555282 WITH SCORE 556307.671
AT ITER 2739 NEW BEST:: SOT 1782913 SOS 1024929 HAS SOPS 1024929 HAS SOUS 555282 HAS SOUPS 555282 WITH SCORE 556306.929
AT ITER 2741 NEW BEST:: SOT 1782910 SOS 1024766 HAS SOPS 1024766 HAS SOUS 555098 HAS SOUPS 555098 WITH SCORE 556122.766
AT ITER 2750 NEW BEST:: SOT 1784909 SOS 1026054 HAS SOPS 1026054 HAS SOUS 554589 HAS SOUPS 554589 WITH SCORE 555615.054
AT ITER 2756 NEW BEST:: SOT 1784856 SOS 1025844 HAS SOPS 1025844 HAS SOUS 554552 HAS SOUPS 554552 WITH SCORE 555577.844
AT ITER 2757 NEW BEST:: SOT 1784684 SOS 1024739 HAS SOPS 1024739 HAS SOUS 554305 HAS SOUPS 554305 WITH SCORE 555329.739
AT ITER 2771 NEW BEST:: SOT 1784684 SOS 1025249 HAS SOPS 1025249 HAS SOUS 554304 HAS SOUPS 554304 WITH SCORE 555329.249
AT ITER 2775 NEW BEST:: SOT 1783746 SOS 1024311 HAS SOPS 1024311 HAS SOUS 553356 HAS SOUPS 553356 WITH SCORE 554380.311
AT ITER 2777 NEW BEST:: SOT 1783744 SOS 1024309 HAS SOPS 1024309 HAS SOUS 553352 HAS SOUPS 553352 WITH SCORE 554376.309
AT ITER 2790 NEW BEST:: SOT 1783738 SOS 1024303 HAS SOPS 1024303 HAS SOUS 553344 HAS SOUPS 553344 WITH SCORE 554368.303
AT ITER 2805 NEW BEST:: SOT 1781835 SOS 1022400 HAS SOPS 1022400 HAS SOUS 551364 HAS SOUPS 551364 WITH SCORE 552386.4
AT ITER 2816 NEW BEST:: SOT 1781835 SOS 1021924 HAS SOPS 1021924 HAS SOUS 551364 HAS SOUPS 551364 WITH SCORE 552385.924
AT ITER 2820 NEW BEST:: SOT 1781829 SOS 1021918 HAS SOPS 1021918 HAS SOUS 551358 HAS SOUPS 551358 WITH SCORE 552379.918
AT ITER 2826 NEW BEST:: SOT 1781829 SOS 1022585 HAS SOPS 1022585 HAS SOUS 551225 HAS SOUPS 551225 WITH SCORE 552247.585
AT ITER 2830 NEW BEST:: SOT 1781653 SOS 1022409 HAS SOPS 1022409 HAS SOUS 551066 HAS SOUPS 551066 WITH SCORE 552088.409
AT ITER 2832 NEW BEST:: SOT 1781937 SOS 1022361 HAS SOPS 1022361 HAS SOUS 551018 HAS SOUPS 551018 WITH SCORE 552040.361
AT ITER 2840 NEW BEST:: SOT 1781892 SOS 1022271 HAS SOPS 1022271 HAS SOUS 550973 HAS SOUPS 550973 WITH SCORE 551995.271
AT ITER 2860 NEW BEST:: SOT 1781816 SOS 1022124 HAS SOPS 1022124 HAS SOUS 550897 HAS SOUPS 550897 WITH SCORE 551919.124
AT ITER 2865 NEW BEST:: SOT 1781843 SOS 1021897 HAS SOPS 1021897 HAS SOUS 550857 HAS SOUPS 550857 WITH SCORE 551878.897
AT ITER 2867 NEW BEST:: SOT 1781908 SOS 1021635 HAS SOPS 1021635 HAS SOUS 550791 HAS SOUPS 550791 WITH SCORE 551812.635
AT ITER 2882 NEW BEST:: SOT 1781520 SOS 1020731 HAS SOPS 1020731 HAS SOUS 550391 HAS SOUPS 550391 WITH SCORE 551411.731
AT ITER 2891 NEW BEST:: SOT 1781520 SOS 1020731 HAS SOPS 1020731 HAS SOUS 550390 HAS SOUPS 550390 WITH SCORE 551410.731
AT ITER 2894 NEW BEST:: SOT 1781520 SOS 1020726 HAS SOPS 1020726 HAS SOUS 550385 HAS SOUPS 550385 WITH SCORE 551405.726
AT ITER 2898 NEW BEST:: SOT 1781599 SOS 1020546 HAS SOPS 1020546 HAS SOUS 550205 HAS SOUPS 550205 WITH SCORE 551225.546
AT ITER 2900 NEW BEST:: SOT 1781529 SOS 1020476 HAS SOPS 1020476 HAS SOUS 550135 HAS SOUPS 550135 WITH SCORE 551155.476
AT ITER 2902 NEW BEST:: SOT 1780030 SOS 1020042 HAS SOPS 1020042 HAS SOUS 548819 HAS SOUPS 548819 WITH SCORE 549839.042
AT ITER 2904 NEW BEST:: SOT 1780080 SOS 1019960 HAS SOPS 1019960 HAS SOUS 548790 HAS SOUPS 548790 WITH SCORE 549809.96
AT ITER 2907 NEW BEST:: SOT 1779812 SOS 1019558 HAS SOPS 1019558 HAS SOUS 548388 HAS SOUPS 548388 WITH SCORE 549407.558
AT ITER 2908 NEW BEST:: SOT 1779939 SOS 1019812 HAS SOPS 1019812 HAS SOUS 548268 HAS SOUPS 548268 WITH SCORE 549287.812
AT ITER 2912 NEW BEST:: SOT 1779895 SOS 1019548 HAS SOPS 1019548 HAS SOUS 548180 HAS SOUPS 548180 WITH SCORE 549199.548
AT ITER 2915 NEW BEST:: SOT 1779727 SOS 1019459 HAS SOPS 1019459 HAS SOUS 548051 HAS SOUPS 548051 WITH SCORE 549070.459
AT ITER 2935 NEW BEST:: SOT 1779693 SOS 1019425 HAS SOPS 1019425 HAS SOUS 548017 HAS SOUPS 548017 WITH SCORE 549036.425
AT ITER 2944 NEW BEST:: SOT 1778822 SOS 1018554 HAS SOPS 1018554 HAS SOUS 547146 HAS SOUPS 547146 WITH SCORE 548164.554
AT ITER 2947 NEW BEST:: SOT 1778653 SOS 1019305 HAS SOPS 1019305 HAS SOUS 546907 HAS SOUPS 546907 WITH SCORE 547926.305
AT ITER 2967 NEW BEST:: SOT 1778593 SOS 1019499 HAS SOPS 1019499 HAS SOUS 546824 HAS SOUPS 546824 WITH SCORE 547843.499
AT ITER 3002 NEW BEST:: SOT 1778593 SOS 1020442 HAS SOPS 1020442 HAS SOUS 546773 HAS SOUPS 546773 WITH SCORE 547793.442
AT ITER 3013 NEW BEST:: SOT 1777869 SOS 1019597 HAS SOPS 1019597 HAS SOUS 546753 HAS SOUPS 546753 WITH SCORE 547772.597
AT ITER 3016 NEW BEST:: SOT 1777162 SOS 1019879 HAS SOPS 1019879 HAS SOUS 546475 HAS SOUPS 546475 WITH SCORE 547494.879
AT ITER 3021 NEW BEST:: SOT 1776890 SOS 1020081 HAS SOPS 1020081 HAS SOUS 546455 HAS SOUPS 546455 WITH SCORE 547475.081
AT ITER 3024 NEW BEST:: SOT 1776890 SOS 1020081 HAS SOPS 1020081 HAS SOUS 546409 HAS SOUPS 546409 WITH SCORE 547429.081
AT ITER 3027 NEW BEST:: SOT 1776890 SOS 1019525 HAS SOPS 1019525 HAS SOUS 545853 HAS SOUPS 545853 WITH SCORE 546872.525
AT ITER 3035 NEW BEST:: SOT 1777157 SOS 1019338 HAS SOPS 1019338 HAS SOUS 545498 HAS SOUPS 545498 WITH SCORE 546517.338
AT ITER 3043 NEW BEST:: SOT 1776880 SOS 1019061 HAS SOPS 1019061 HAS SOUS 545498 HAS SOUPS 545498 WITH SCORE 546517.061
AT ITER 3048 NEW BEST:: SOT 1776820 SOS 1019001 HAS SOPS 1019001 HAS SOUS 545438 HAS SOUPS 545438 WITH SCORE 546457.001
AT ITER 3054 NEW BEST:: SOT 1776665 SOS 1017698 HAS SOPS 1017698 HAS SOUS 545360 HAS SOUPS 545360 WITH SCORE 546377.698
AT ITER 3055 NEW BEST:: SOT 1776442 SOS 1017475 HAS SOPS 1017475 HAS SOUS 545153 HAS SOUPS 545153 WITH SCORE 546170.475
AT ITER 3067 NEW BEST:: SOT 1776183 SOS 1017435 HAS SOPS 1017435 HAS SOUS 545099 HAS SOUPS 545099 WITH SCORE 546116.435
AT ITER 3077 NEW BEST:: SOT 1776183 SOS 1017939 HAS SOPS 1017939 HAS SOUS 545015 HAS SOUPS 545015 WITH SCORE 546032.939
AT ITER 3081 NEW BEST:: SOT 1775979 SOS 1017735 HAS SOPS 1017735 HAS SOUS 544787 HAS SOUPS 544787 WITH SCORE 545804.735
AT ITER 3097 NEW BEST:: SOT 1775918 SOS 1017197 HAS SOPS 1017197 HAS SOUS 544665 HAS SOUPS 544665 WITH SCORE 545682.197
AT ITER 3099 NEW BEST:: SOT 1776197 SOS 1017187 HAS SOPS 1017187 HAS SOUS 544655 HAS SOUPS 544655 WITH SCORE 545672.187
AT ITER 3110 NEW BEST:: SOT 1776077 SOS 1017367 HAS SOPS 1017367 HAS SOUS 544631 HAS SOUPS 544631 WITH SCORE 545648.367
AT ITER 3116 NEW BEST:: SOT 1776053 SOS 1017343 HAS SOPS 1017343 HAS SOUS 544607 HAS SOUPS 544607 WITH SCORE 545624.343
AT ITER 3118 NEW BEST:: SOT 1776052 SOS 1017342 HAS SOPS 1017342 HAS SOUS 544603 HAS SOUPS 544603 WITH SCORE 545620.342
AT ITER 3122 NEW BEST:: SOT 1775968 SOS 1017174 HAS SOPS 1017174 HAS SOUS 544351 HAS SOUPS 544351 WITH SCORE 545368.174
AT ITER 3123 NEW BEST:: SOT 1775968 SOS 1015885 HAS SOPS 1015885 HAS SOUS 544351 HAS SOUPS 544351 WITH SCORE 545366.885
AT ITER 3143 NEW BEST:: SOT 1775968 SOS 1015634 HAS SOPS 1015634 HAS SOUS 544138 HAS SOUPS 544138 WITH SCORE 545153.634
AT ITER 3157 NEW BEST:: SOT 1773791 SOS 1013750 HAS SOPS 1013750 HAS SOUS 542250 HAS SOUPS 542250 WITH SCORE 543263.75
AT ITER 3177 NEW BEST:: SOT 1773832 SOS 1013526 HAS SOPS 1013526 HAS SOUS 542033 HAS SOUPS 542033 WITH SCORE 543046.526
AT ITER 3183 NEW BEST:: SOT 1773832 SOS 1013526 HAS SOPS 1013526 HAS SOUS 541711 HAS SOUPS 541711 WITH SCORE 542724.526
AT ITER 3195 NEW BEST:: SOT 1773853 SOS 1011747 HAS SOPS 1011747 HAS SOUS 541333 HAS SOUPS 541333 WITH SCORE 542344.747
AT ITER 3203 NEW BEST:: SOT 1773607 SOS 1011501 HAS SOPS 1011501 HAS SOUS 540986 HAS SOUPS 540986 WITH SCORE 541997.501
AT ITER 3207 NEW BEST:: SOT 1773607 SOS 1011467 HAS SOPS 1011467 HAS SOUS 540952 HAS SOUPS 540952 WITH SCORE 541963.467
AT ITER 3208 NEW BEST:: SOT 1773715 SOS 1011575 HAS SOPS 1011575 HAS SOUS 540895 HAS SOUPS 540895 WITH SCORE 541906.575
AT ITER 3210 NEW BEST:: SOT 1773569 SOS 1011429 HAS SOPS 1011429 HAS SOUS 540749 HAS SOUPS 540749 WITH SCORE 541760.429
AT ITER 3215 NEW BEST:: SOT 1773552 SOS 1011272 HAS SOPS 1011272 HAS SOUS 540715 HAS SOUPS 540715 WITH SCORE 541726.272
AT ITER 3230 NEW BEST:: SOT 1773281 SOS 1011078 HAS SOPS 1011078 HAS SOUS 540711 HAS SOUPS 540711 WITH SCORE 541722.078
AT ITER 3233 NEW BEST:: SOT 1772862 SOS 1009803 HAS SOPS 1009803 HAS SOUS 540244 HAS SOUPS 540244 WITH SCORE 541253.803
AT ITER 3250 NEW BEST:: SOT 1770981 SOS 1007922 HAS SOPS 1007922 HAS SOUS 538362 HAS SOUPS 538362 WITH SCORE 539369.922
AT ITER 3251 NEW BEST:: SOT 1770534 SOS 1006093 HAS SOPS 1006093 HAS SOUS 537453 HAS SOUPS 537453 WITH SCORE 538459.093
AT ITER 3255 NEW BEST:: SOT 1769945 SOS 1005136 HAS SOPS 1005136 HAS SOUS 537249 HAS SOUPS 537249 WITH SCORE 538254.136
AT ITER 3265 NEW BEST:: SOT 1769953 SOS 1005010 HAS SOPS 1005010 HAS SOUS 537248 HAS SOUPS 537248 WITH SCORE 538253.01
AT ITER 3271 NEW BEST:: SOT 1769675 SOS 1004634 HAS SOPS 1004634 HAS SOUS 536970 HAS SOUPS 536970 WITH SCORE 537974.634
AT ITER 3290 NEW BEST:: SOT 1769505 SOS 1004001 HAS SOPS 1004001 HAS SOUS 536337 HAS SOUPS 536337 WITH SCORE 537341.001
AT ITER 3299 NEW BEST:: SOT 1769154 SOS 1003650 HAS SOPS 1003650 HAS SOUS 535142 HAS SOUPS 535142 WITH SCORE 536145.65
AT ITER 3307 NEW BEST:: SOT 1769004 SOS 1003500 HAS SOPS 1003500 HAS SOUS 535042 HAS SOUPS 535042 WITH SCORE 536045.5
AT ITER 3310 NEW BEST:: SOT 1768751 SOS 1003358 HAS SOPS 1003358 HAS SOUS 534772 HAS SOUPS 534772 WITH SCORE 535775.358
AT ITER 3311 NEW BEST:: SOT 1768612 SOS 997149 HAS SOPS 997149 HAS SOUS 533255 HAS SOUPS 533255 WITH SCORE 534252.149
AT ITER 3313 NEW BEST:: SOT 1768612 SOS 997140 HAS SOPS 997140 HAS SOUS 533246 HAS SOUPS 533246 WITH SCORE 534243.14
AT ITER 3324 NEW BEST:: SOT 1768252 SOS 995719 HAS SOPS 995719 HAS SOUS 532772 HAS SOUPS 532772 WITH SCORE 533767.719
AT ITER 3337 NEW BEST:: SOT 1768049 SOS 996335 HAS SOPS 996335 HAS SOUS 532296 HAS SOUPS 532296 WITH SCORE 533292.335
AT ITER 3340 NEW BEST:: SOT 1767718 SOS 996004 HAS SOPS 996004 HAS SOUS 531938 HAS SOUPS 531938 WITH SCORE 532934.004
AT ITER 3346 NEW BEST:: SOT 1766053 SOS 993750 HAS SOPS 993750 HAS SOUS 529684 HAS SOUPS 529684 WITH SCORE 530677.75
AT ITER 3359 NEW BEST:: SOT 1766003 SOS 993700 HAS SOPS 993700 HAS SOUS 529634 HAS SOUPS 529634 WITH SCORE 530627.7
AT ITER 3371 NEW BEST:: SOT 1766390 SOS 994045 HAS SOPS 994045 HAS SOUS 529592 HAS SOUPS 529592 WITH SCORE 530586.045
AT ITER 3380 NEW BEST:: SOT 1766126 SOS 993781 HAS SOPS 993781 HAS SOUS 529322 HAS SOUPS 529322 WITH SCORE 530315.781
AT ITER 3381 NEW BEST:: SOT 1766076 SOS 993631 HAS SOPS 993631 HAS SOUS 529210 HAS SOUPS 529210 WITH SCORE 530203.631
AT ITER 3385 NEW BEST:: SOT 1766076 SOS 991375 HAS SOPS 991375 HAS SOUS 528926 HAS SOUPS 528926 WITH SCORE 529917.375
AT ITER 3387 NEW BEST:: SOT 1765805 SOS 991104 HAS SOPS 991104 HAS SOUS 528926 HAS SOUPS 528926 WITH SCORE 529917.104
AT ITER 3388 NEW BEST:: SOT 1760348 SOS 985647 HAS SOPS 985647 HAS SOUS 523469 HAS SOUPS 523469 WITH SCORE 524454.647
AT ITER 3394 NEW BEST:: SOT 1760529 SOS 985268 HAS SOPS 985268 HAS SOUS 523090 HAS SOUPS 523090 WITH SCORE 524075.268
AT ITER 3413 NEW BEST:: SOT 1760760 SOS 984911 HAS SOPS 984911 HAS SOUS 523067 HAS SOUPS 523067 WITH SCORE 524051.911
AT ITER 3420 NEW BEST:: SOT 1760760 SOS 984895 HAS SOPS 984895 HAS SOUS 523059 HAS SOUPS 523059 WITH SCORE 524043.895
AT ITER 3433 NEW BEST:: SOT 1760801 SOS 984410 HAS SOPS 984410 HAS SOUS 522574 HAS SOUPS 522574 WITH SCORE 523558.41
AT ITER 3454 NEW BEST:: SOT 1760716 SOS 984030 HAS SOPS 984030 HAS SOUS 522121 HAS SOUPS 522121 WITH SCORE 523105.03
AT ITER 3466 NEW BEST:: SOT 1760142 SOS 983456 HAS SOPS 983456 HAS SOUS 521546 HAS SOUPS 521546 WITH SCORE 522529.456
AT ITER 3470 NEW BEST:: SOT 1759866 SOS 983112 HAS SOPS 983112 HAS SOUS 521471 HAS SOUPS 521471 WITH SCORE 522454.112
AT ITER 3471 NEW BEST:: SOT 1759539 SOS 982525 HAS SOPS 982525 HAS SOUS 520754 HAS SOUPS 520754 WITH SCORE 521736.525
AT ITER 3474 NEW BEST:: SOT 1759201 SOS 982578 HAS SOPS 982578 HAS SOUS 520291 HAS SOUPS 520291 WITH SCORE 521273.578
AT ITER 3475 NEW BEST:: SOT 1759163 SOS 982540 HAS SOPS 982540 HAS SOUS 520253 HAS SOUPS 520253 WITH SCORE 521235.54
AT ITER 3477 NEW BEST:: SOT 1758690 SOS 981829 HAS SOPS 981829 HAS SOUS 520031 HAS SOUPS 520031 WITH SCORE 521012.829
AT ITER 3478 NEW BEST:: SOT 1758550 SOS 981593 HAS SOPS 981593 HAS SOUS 519828 HAS SOUPS 519828 WITH SCORE 520809.593
AT ITER 3493 NEW BEST:: SOT 1758234 SOS 983335 HAS SOPS 983335 HAS SOUS 519329 HAS SOUPS 519329 WITH SCORE 520312.335
AT ITER 3520 NEW BEST:: SOT 1758121 SOS 983222 HAS SOPS 983222 HAS SOUS 519186 HAS SOUPS 519186 WITH SCORE 520169.222
AT ITER 3523 NEW BEST:: SOT 1757218 SOS 982830 HAS SOPS 982830 HAS SOUS 518794 HAS SOUPS 518794 WITH SCORE 519776.83
AT ITER 3524 NEW BEST:: SOT 1757288 SOS 982900 HAS SOPS 982900 HAS SOUS 518668 HAS SOUPS 518668 WITH SCORE 519650.9
AT ITER 3539 NEW BEST:: SOT 1757523 SOS 983135 HAS SOPS 983135 HAS SOUS 518565 HAS SOUPS 518565 WITH SCORE 519548.135
AT ITER 3549 NEW BEST:: SOT 1757476 SOS 981649 HAS SOPS 981649 HAS SOUS 518489 HAS SOUPS 518489 WITH SCORE 519470.649
AT ITER 3553 NEW BEST:: SOT 1757475 SOS 981587 HAS SOPS 981587 HAS SOUS 518484 HAS SOUPS 518484 WITH SCORE 519465.587
AT ITER 3569 NEW BEST:: SOT 1757475 SOS 981394 HAS SOPS 981394 HAS SOUS 518424 HAS SOUPS 518424 WITH SCORE 519405.394
AT ITER 3582 NEW BEST:: SOT 1757259 SOS 981178 HAS SOPS 981178 HAS SOUS 518208 HAS SOUPS 518208 WITH SCORE 519189.178
AT ITER 3587 NEW BEST:: SOT 1757007 SOS 980926 HAS SOPS 980926 HAS SOUS 517857 HAS SOUPS 517857 WITH SCORE 518837.926
AT ITER 3602 NEW BEST:: SOT 1756888 SOS 980947 HAS SOPS 980947 HAS SOUS 517808 HAS SOUPS 517808 WITH SCORE 518788.947
AT ITER 3611 NEW BEST:: SOT 1757158 SOS 981217 HAS SOPS 981217 HAS SOUS 517729 HAS SOUPS 517729 WITH SCORE 518710.217
AT ITER 3616 NEW BEST:: SOT 1756833 SOS 980892 HAS SOPS 980892 HAS SOUS 517243 HAS SOUPS 517243 WITH SCORE 518223.892
AT ITER 3624 NEW BEST:: SOT 1757108 SOS 980706 HAS SOPS 980706 HAS SOUS 517163 HAS SOUPS 517163 WITH SCORE 518143.706
AT ITER 3643 NEW BEST:: SOT 1757041 SOS 980701 HAS SOPS 980701 HAS SOUS 517098 HAS SOUPS 517098 WITH SCORE 518078.701
AT ITER 3644 NEW BEST:: SOT 1756983 SOS 980643 HAS SOPS 980643 HAS SOUS 517040 HAS SOUPS 517040 WITH SCORE 518020.643
AT ITER 3647 NEW BEST:: SOT 1756983 SOS 980666 HAS SOPS 980666 HAS SOUS 516965 HAS SOUPS 516965 WITH SCORE 517945.666
AT ITER 3649 NEW BEST:: SOT 1756982 SOS 980664 HAS SOPS 980664 HAS SOUS 516963 HAS SOUPS 516963 WITH SCORE 517943.664
AT ITER 3666 NEW BEST:: SOT 1756954 SOS 980636 HAS SOPS 980636 HAS SOUS 516959 HAS SOUPS 516959 WITH SCORE 517939.636
AT ITER 3678 NEW BEST:: SOT 1756954 SOS 980230 HAS SOPS 980230 HAS SOUS 516542 HAS SOUPS 516542 WITH SCORE 517522.23
AT ITER 3680 NEW BEST:: SOT 1756467 SOS 979030 HAS SOPS 979030 HAS SOUS 515305 HAS SOUPS 515305 WITH SCORE 516284.03
AT ITER 3688 NEW BEST:: SOT 1756466 SOS 979029 HAS SOPS 979029 HAS SOUS 515304 HAS SOUPS 515304 WITH SCORE 516283.029
AT ITER 3692 NEW BEST:: SOT 1756478 SOS 979041 HAS SOPS 979041 HAS SOUS 515287 HAS SOUPS 515287 WITH SCORE 516266.041
AT ITER 3700 NEW BEST:: SOT 1756284 SOS 978452 HAS SOPS 978452 HAS SOUS 514698 HAS SOUPS 514698 WITH SCORE 515676.452
AT ITER 3703 NEW BEST:: SOT 1756174 SOS 976848 HAS SOPS 976848 HAS SOUS 514680 HAS SOUPS 514680 WITH SCORE 515656.848
AT ITER 3704 NEW BEST:: SOT 1755690 SOS 976580 HAS SOPS 976580 HAS SOUS 513994 HAS SOUPS 513994 WITH SCORE 514970.58
AT ITER 3712 NEW BEST:: SOT 1755911 SOS 976316 HAS SOPS 976316 HAS SOUS 513883 HAS SOUPS 513883 WITH SCORE 514859.316
AT ITER 3722 NEW BEST:: SOT 1755911 SOS 976278 HAS SOPS 976278 HAS SOUS 513883 HAS SOUPS 513883 WITH SCORE 514859.278
AT ITER 3726 NEW BEST:: SOT 1755786 SOS 976153 HAS SOPS 976153 HAS SOUS 513581 HAS SOUPS 513581 WITH SCORE 514557.153
AT ITER 3731 NEW BEST:: SOT 1752268 SOS 972635 HAS SOPS 972635 HAS SOUS 509962 HAS SOUPS 509962 WITH SCORE 510934.635
AT ITER 3738 NEW BEST:: SOT 1751672 SOS 969002 HAS SOPS 969002 HAS SOUS 508635 HAS SOUPS 508635 WITH SCORE 509604.002
AT ITER 3740 NEW BEST:: SOT 1751866 SOS 968466 HAS SOPS 968466 HAS SOUS 508560 HAS SOUPS 508560 WITH SCORE 509528.466
AT ITER 3748 NEW BEST:: SOT 1751837 SOS 970134 HAS SOPS 970134 HAS SOUS 508433 HAS SOUPS 508433 WITH SCORE 509403.134
AT ITER 3755 NEW BEST:: SOT 1751889 SOS 970302 HAS SOPS 970302 HAS SOUS 508278 HAS SOUPS 508278 WITH SCORE 509248.302
AT ITER 3762 NEW BEST:: SOT 1751851 SOS 970245 HAS SOPS 970245 HAS SOUS 508202 HAS SOUPS 508202 WITH SCORE 509172.245
AT ITER 3781 NEW BEST:: SOT 1751838 SOS 970221 HAS SOPS 970221 HAS SOUS 508172 HAS SOUPS 508172 WITH SCORE 509142.221
AT ITER 3782 NEW BEST:: SOT 1751999 SOS 970007 HAS SOPS 970007 HAS SOUS 507929 HAS SOUPS 507929 WITH SCORE 508899.007
AT ITER 3785 NEW BEST:: SOT 1751955 SOS 969963 HAS SOPS 969963 HAS SOUS 507885 HAS SOUPS 507885 WITH SCORE 508854.963
AT ITER 3789 NEW BEST:: SOT 1751954 SOS 969811 HAS SOPS 969811 HAS SOUS 507733 HAS SOUPS 507733 WITH SCORE 508702.811
AT ITER 3792 NEW BEST:: SOT 1751954 SOS 969727 HAS SOPS 969727 HAS SOUS 507357 HAS SOUPS 507357 WITH SCORE 508326.727
AT ITER 3812 NEW BEST:: SOT 1751937 SOS 969676 HAS SOPS 969676 HAS SOUS 507323 HAS SOUPS 507323 WITH SCORE 508292.676
AT ITER 3815 NEW BEST:: SOT 1751672 SOS 969146 HAS SOPS 969146 HAS SOUS 506793 HAS SOUPS 506793 WITH SCORE 507762.146
AT ITER 3820 NEW BEST:: SOT 1751577 SOS 968906 HAS SOPS 968906 HAS SOUS 506711 HAS SOUPS 506711 WITH SCORE 507679.906
AT ITER 3829 NEW BEST:: SOT 1751577 SOS 968709 HAS SOPS 968709 HAS SOUS 506689 HAS SOUPS 506689 WITH SCORE 507657.709
AT ITER 3837 NEW BEST:: SOT 1751496 SOS 968628 HAS SOPS 968628 HAS SOUS 506528 HAS SOUPS 506528 WITH SCORE 507496.628
AT ITER 3848 NEW BEST:: SOT 1750952 SOS 967137 HAS SOPS 967137 HAS SOUS 505427 HAS SOUPS 505427 WITH SCORE 506394.137
AT ITER 3873 NEW BEST:: SOT 1750879 SOS 966661 HAS SOPS 966661 HAS SOUS 505090 HAS SOUPS 505090 WITH SCORE 506056.661
AT ITER 3882 NEW BEST:: SOT 1750908 SOS 965954 HAS SOPS 965954 HAS SOUS 505008 HAS SOUPS 505008 WITH SCORE 505973.954
AT ITER 3900 NEW BEST:: SOT 1750897 SOS 965895 HAS SOPS 965895 HAS SOUS 504949 HAS SOUPS 504949 WITH SCORE 505914.895
AT ITER 3911 NEW BEST:: SOT 1750744 SOS 965742 HAS SOPS 965742 HAS SOUS 504788 HAS SOUPS 504788 WITH SCORE 505753.742
AT ITER 3917 NEW BEST:: SOT 1750679 SOS 965547 HAS SOPS 965547 HAS SOUS 504658 HAS SOUPS 504658 WITH SCORE 505623.547
AT ITER 3923 NEW BEST:: SOT 1750612 SOS 965480 HAS SOPS 965480 HAS SOUS 504569 HAS SOUPS 504569 WITH SCORE 505534.48
AT ITER 3929 NEW BEST:: SOT 1750394 SOS 965262 HAS SOPS 965262 HAS SOUS 504351 HAS SOUPS 504351 WITH SCORE 505316.262
AT ITER 3963 NEW BEST:: SOT 1750222 SOS 966511 HAS SOPS 966511 HAS SOUS 504074 HAS SOUPS 504074 WITH SCORE 505040.511
AT ITER 3970 NEW BEST:: SOT 1750101 SOS 966121 HAS SOPS 966121 HAS SOUS 503684 HAS SOUPS 503684 WITH SCORE 504650.121
AT ITER 3972 NEW BEST:: SOT 1750097 SOS 966117 HAS SOPS 966117 HAS SOUS 503678 HAS SOUPS 503678 WITH SCORE 504644.117
AT ITER 3985 NEW BEST:: SOT 1749715 SOS 965353 HAS SOPS 965353 HAS SOUS 502914 HAS SOUPS 502914 WITH SCORE 503879.353
AT ITER 3986 NEW BEST:: SOT 1749477 SOS 963976 HAS SOPS 963976 HAS SOUS 502675 HAS SOUPS 502675 WITH SCORE 503638.976
AT ITER 3991 NEW BEST:: SOT 1749295 SOS 964049 HAS SOPS 964049 HAS SOUS 502212 HAS SOUPS 502212 WITH SCORE 503176.049
AT ITER 3995 NEW BEST:: SOT 1749295 SOS 964252 HAS SOPS 964252 HAS SOUS 501868 HAS SOUPS 501868 WITH SCORE 502832.252
AT ITER 4016 NEW BEST:: SOT 1749004 SOS 963961 HAS SOPS 963961 HAS SOUS 501286 HAS SOUPS 501286 WITH SCORE 502249.961
AT ITER 4047 NEW BEST:: SOT 1748883 SOS 963840 HAS SOPS 963840 HAS SOUS 501165 HAS SOUPS 501165 WITH SCORE 502128.84
AT ITER 4050 NEW BEST:: SOT 1748876 SOS 963833 HAS SOPS 963833 HAS SOUS 501158 HAS SOUPS 501158 WITH SCORE 502121.833
AT ITER 4057 NEW BEST:: SOT 1748872 SOS 963826 HAS SOPS 963826 HAS SOUS 501151 HAS SOUPS 501151 WITH SCORE 502114.826
AT ITER 4062 NEW BEST:: SOT 1747281 SOS 962740 HAS SOPS 962740 HAS SOUS 500342 HAS SOUPS 500342 WITH SCORE 501304.74
AT ITER 4069 NEW BEST:: SOT 1747793 SOS 963119 HAS SOPS 963119 HAS SOUS 500340 HAS SOUPS 500340 WITH SCORE 501303.119
AT ITER 4072 NEW BEST:: SOT 1747754 SOS 963041 HAS SOPS 963041 HAS SOUS 500298 HAS SOUPS 500298 WITH SCORE 501261.041
AT ITER 4076 NEW BEST:: SOT 1748009 SOS 963172 HAS SOPS 963172 HAS SOUS 500287 HAS SOUPS 500287 WITH SCORE 501250.172
AT ITER 4080 NEW BEST:: SOT 1747727 SOS 962608 HAS SOPS 962608 HAS SOUS 499723 HAS SOUPS 499723 WITH SCORE 500685.608
AT ITER 4090 NEW BEST:: SOT 1747719 SOS 962600 HAS SOPS 962600 HAS SOUS 499715 HAS SOUPS 499715 WITH SCORE 500677.6
AT ITER 4093 NEW BEST:: SOT 1747501 SOS 962382 HAS SOPS 962382 HAS SOUS 499497 HAS SOUPS 499497 WITH SCORE 500459.382
AT ITER 4110 NEW BEST:: SOT 1747271 SOS 962186 HAS SOPS 962186 HAS SOUS 499457 HAS SOUPS 499457 WITH SCORE 500419.186
AT ITER 4117 NEW BEST:: SOT 1745757 SOS 960268 HAS SOPS 960268 HAS SOUS 497539 HAS SOUPS 497539 WITH SCORE 498499.268
AT ITER 4142 NEW BEST:: SOT 1745732 SOS 960193 HAS SOPS 960193 HAS SOUS 497489 HAS SOUPS 497489 WITH SCORE 498449.193
AT ITER 4155 NEW BEST:: SOT 1745701 SOS 960131 HAS SOPS 960131 HAS SOUS 497427 HAS SOUPS 497427 WITH SCORE 498387.131
AT ITER 4161 NEW BEST:: SOT 1745701 SOS 960131 HAS SOPS 960131 HAS SOUS 497137 HAS SOUPS 497137 WITH SCORE 498097.131
AT ITER 4164 NEW BEST:: SOT 1742871 SOS 961595 HAS SOPS 961595 HAS SOUS 494678 HAS SOUPS 494678 WITH SCORE 495639.595
AT ITER 4168 NEW BEST:: SOT 1742823 SOS 961547 HAS SOPS 961547 HAS SOUS 494544 HAS SOUPS 494544 WITH SCORE 495505.547
AT ITER 4171 NEW BEST:: SOT 1742623 SOS 961347 HAS SOPS 961347 HAS SOUS 494344 HAS SOUPS 494344 WITH SCORE 495305.347
AT ITER 4179 NEW BEST:: SOT 1742754 SOS 959738 HAS SOPS 959738 HAS SOUS 494332 HAS SOUPS 494332 WITH SCORE 495291.738
AT ITER 4196 NEW BEST:: SOT 1742398 SOS 959382 HAS SOPS 959382 HAS SOUS 493620 HAS SOUPS 493620 WITH SCORE 494579.382
AT ITER 4217 NEW BEST:: SOT 1742604 SOS 958445 HAS SOPS 958445 HAS SOUS 493416 HAS SOUPS 493416 WITH SCORE 494374.445
AT ITER 4228 NEW BEST:: SOT 1742442 SOS 957564 HAS SOPS 957564 HAS SOUS 493001 HAS SOUPS 493001 WITH SCORE 493958.564
AT ITER 4232 NEW BEST:: SOT 1742373 SOS 957495 HAS SOPS 957495 HAS SOUS 492932 HAS SOUPS 492932 WITH SCORE 493889.495
AT ITER 4233 NEW BEST:: SOT 1742373 SOS 957495 HAS SOPS 957495 HAS SOUS 492668 HAS SOUPS 492668 WITH SCORE 493625.495
AT ITER 4238 NEW BEST:: SOT 1742257 SOS 957464 HAS SOPS 957464 HAS SOUS 492588 HAS SOUPS 492588 WITH SCORE 493545.464
AT ITER 4247 NEW BEST:: SOT 1742218 SOS 957428 HAS SOPS 957428 HAS SOUS 492552 HAS SOUPS 492552 WITH SCORE 493509.428
AT ITER 4252 NEW BEST:: SOT 1742196 SOS 957812 HAS SOPS 957812 HAS SOUS 492326 HAS SOUPS 492326 WITH SCORE 493283.812
AT ITER 4254 NEW BEST:: SOT 1742101 SOS 957717 HAS SOPS 957717 HAS SOUS 492231 HAS SOUPS 492231 WITH SCORE 493188.717
AT ITER 4266 NEW BEST:: SOT 1742148 SOS 957424 HAS SOPS 957424 HAS SOUS 491396 HAS SOUPS 491396 WITH SCORE 492353.424
AT ITER 4273 NEW BEST:: SOT 1742338 SOS 957373 HAS SOPS 957373 HAS SOUS 491362 HAS SOUPS 491362 WITH SCORE 492319.373
AT ITER 4290 NEW BEST:: SOT 1742146 SOS 957184 HAS SOPS 957184 HAS SOUS 490978 HAS SOUPS 490978 WITH SCORE 491935.184
AT ITER 4300 NEW BEST:: SOT 1742088 SOS 957068 HAS SOPS 957068 HAS SOUS 490862 HAS SOUPS 490862 WITH SCORE 491819.068
AT ITER 4301 NEW BEST:: SOT 1742046 SOS 957026 HAS SOPS 957026 HAS SOUS 490820 HAS SOUPS 490820 WITH SCORE 491777.026
AT ITER 4302 NEW BEST:: SOT 1741479 SOS 956459 HAS SOPS 956459 HAS SOUS 490040 HAS SOUPS 490040 WITH SCORE 490996.459
AT ITER 4311 NEW BEST:: SOT 1740987 SOS 952988 HAS SOPS 952988 HAS SOUS 489056 HAS SOUPS 489056 WITH SCORE 490008.988
AT ITER 4315 NEW BEST:: SOT 1740987 SOS 952938 HAS SOPS 952938 HAS SOUS 489031 HAS SOUPS 489031 WITH SCORE 489983.938
AT ITER 4325 NEW BEST:: SOT 1740929 SOS 952880 HAS SOPS 952880 HAS SOUS 488972 HAS SOUPS 488972 WITH SCORE 489924.88
AT ITER 4330 NEW BEST:: SOT 1740989 SOS 952800 HAS SOPS 952800 HAS SOUS 488947 HAS SOUPS 488947 WITH SCORE 489899.8
AT ITER 4331 NEW BEST:: SOT 1740873 SOS 952626 HAS SOPS 952626 HAS SOUS 488773 HAS SOUPS 488773 WITH SCORE 489725.626
AT ITER 4336 NEW BEST:: SOT 1740770 SOS 952523 HAS SOPS 952523 HAS SOUS 488667 HAS SOUPS 488667 WITH SCORE 489619.523
AT ITER 4338 NEW BEST:: SOT 1740423 SOS 951536 HAS SOPS 951536 HAS SOUS 487408 HAS SOUPS 487408 WITH SCORE 488359.536
AT ITER 4368 NEW BEST:: SOT 1740046 SOS 951001 HAS SOPS 951001 HAS SOUS 486687 HAS SOUPS 486687 WITH SCORE 487638.001
AT ITER 4376 NEW BEST:: SOT 1740124 SOS 949920 HAS SOPS 949920 HAS SOUS 486476 HAS SOUPS 486476 WITH SCORE 487425.92
AT ITER 4391 NEW BEST:: SOT 1740038 SOS 949834 HAS SOPS 949834 HAS SOUS 486304 HAS SOUPS 486304 WITH SCORE 487253.834
AT ITER 4392 NEW BEST:: SOT 1739987 SOS 949093 HAS SOPS 949093 HAS SOUS 486121 HAS SOUPS 486121 WITH SCORE 487070.093
AT ITER 4399 NEW BEST:: SOT 1739069 SOS 955435 HAS SOPS 955435 HAS SOUS 485892 HAS SOUPS 485892 WITH SCORE 486847.435
AT ITER 4404 NEW BEST:: SOT 1736591 SOS 952957 HAS SOPS 952957 HAS SOUS 483270 HAS SOUPS 483270 WITH SCORE 484222.957
AT ITER 4409 NEW BEST:: SOT 1736362 SOS 952138 HAS SOPS 952138 HAS SOUS 482812 HAS SOUPS 482812 WITH SCORE 483764.138
AT ITER 4452 NEW BEST:: SOT 1736354 SOS 952106 HAS SOPS 952106 HAS SOUS 482796 HAS SOUPS 482796 WITH SCORE 483748.106
AT ITER 4486 NEW BEST:: SOT 1736336 SOS 952070 HAS SOPS 952070 HAS SOUS 482760 HAS SOUPS 482760 WITH SCORE 483712.07
AT ITER 4490 NEW BEST:: SOT 1736243 SOS 951977 HAS SOPS 951977 HAS SOUS 482748 HAS SOUPS 482748 WITH SCORE 483699.977
AT ITER 4498 NEW BEST:: SOT 1736241 SOS 951943 HAS SOPS 951943 HAS SOUS 482728 HAS SOUPS 482728 WITH SCORE 483679.943
AT ITER 4501 NEW BEST:: SOT 1735996 SOS 951697 HAS SOPS 951697 HAS SOUS 482482 HAS SOUPS 482482 WITH SCORE 483433.697
AT ITER 4503 NEW BEST:: SOT 1735989 SOS 951683 HAS SOPS 951683 HAS SOUS 482468 HAS SOUPS 482468 WITH SCORE 483419.683
AT ITER 4512 NEW BEST:: SOT 1735744 SOS 951480 HAS SOPS 951480 HAS SOUS 482265 HAS SOUPS 482265 WITH SCORE 483216.48
AT ITER 4523 NEW BEST:: SOT 1735664 SOS 951400 HAS SOPS 951400 HAS SOUS 482105 HAS SOUPS 482105 WITH SCORE 483056.4
AT ITER 4526 NEW BEST:: SOT 1734765 SOS 952195 HAS SOPS 952195 HAS SOUS 481486 HAS SOUPS 481486 WITH SCORE 482438.195
AT ITER 4532 NEW BEST:: SOT 1734356 SOS 951786 HAS SOPS 951786 HAS SOUS 480986 HAS SOUPS 480986 WITH SCORE 481937.786
AT ITER 4539 NEW BEST:: SOT 1734335 SOS 951784 HAS SOPS 951784 HAS SOUS 480984 HAS SOUPS 480984 WITH SCORE 481935.784
AT ITER 4554 NEW BEST:: SOT 1734335 SOS 949754 HAS SOPS 949754 HAS SOUS 480984 HAS SOUPS 480984 WITH SCORE 481933.754
AT ITER 4556 NEW BEST:: SOT 1734114 SOS 949533 HAS SOPS 949533 HAS SOUS 480984 HAS SOUPS 480984 WITH SCORE 481933.533
AT ITER 4564 NEW BEST:: SOT 1733883 SOS 949333 HAS SOPS 949333 HAS SOUS 480784 HAS SOUPS 480784 WITH SCORE 481733.333
AT ITER 4571 NEW BEST:: SOT 1733883 SOS 949721 HAS SOPS 949721 HAS SOUS 480449 HAS SOUPS 480449 WITH SCORE 481398.721
AT ITER 4590 NEW BEST:: SOT 1733827 SOS 949625 HAS SOPS 949625 HAS SOUS 480377 HAS SOUPS 480377 WITH SCORE 481326.625
AT ITER 4595 NEW BEST:: SOT 1733827 SOS 949625 HAS SOPS 949625 HAS SOUS 480359 HAS SOUPS 480359 WITH SCORE 481308.625
AT ITER 4605 NEW BEST:: SOT 1733827 SOS 949625 HAS SOPS 949625 HAS SOUS 480330 HAS SOUPS 480330 WITH SCORE 481279.625
AT ITER 4612 NEW BEST:: SOT 1733691 SOS 948678 HAS SOPS 948678 HAS SOUS 479974 HAS SOUPS 479974 WITH SCORE 480922.678
AT ITER 4617 NEW BEST:: SOT 1733308 SOS 948288 HAS SOPS 948288 HAS SOUS 479584 HAS SOUPS 479584 WITH SCORE 480532.288
AT ITER 4631 NEW BEST:: SOT 1732414 SOS 947336 HAS SOPS 947336 HAS SOUS 479186 HAS SOUPS 479186 WITH SCORE 480133.336
AT ITER 4634 NEW BEST:: SOT 1732409 SOS 947331 HAS SOPS 947331 HAS SOUS 479181 HAS SOUPS 479181 WITH SCORE 480128.331
AT ITER 4648 NEW BEST:: SOT 1732266 SOS 946900 HAS SOPS 946900 HAS SOUS 479038 HAS SOUPS 479038 WITH SCORE 479984.9
AT ITER 4658 NEW BEST:: SOT 1732300 SOS 946804 HAS SOPS 946804 HAS SOUS 478767 HAS SOUPS 478767 WITH SCORE 479713.804
AT ITER 4663 NEW BEST:: SOT 1732273 SOS 946777 HAS SOPS 946777 HAS SOUS 478740 HAS SOUPS 478740 WITH SCORE 479686.777
AT ITER 4665 NEW BEST:: SOT 1732243 SOS 946533 HAS SOPS 946533 HAS SOUS 478543 HAS SOUPS 478543 WITH SCORE 479489.533
AT ITER 4669 NEW BEST:: SOT 1732142 SOS 946364 HAS SOPS 946364 HAS SOUS 478527 HAS SOUPS 478527 WITH SCORE 479473.364
AT ITER 4680 NEW BEST:: SOT 1732139 SOS 946361 HAS SOPS 946361 HAS SOUS 478521 HAS SOUPS 478521 WITH SCORE 479467.361
AT ITER 4691 NEW BEST:: SOT 1731821 SOS 946043 HAS SOPS 946043 HAS SOUS 478203 HAS SOUPS 478203 WITH SCORE 479149.043
AT ITER 4704 NEW BEST:: SOT 1731563 SOS 945656 HAS SOPS 945656 HAS SOUS 477816 HAS SOUPS 477816 WITH SCORE 478761.656
AT ITER 4708 NEW BEST:: SOT 1731505 SOS 945598 HAS SOPS 945598 HAS SOUS 477758 HAS SOUPS 477758 WITH SCORE 478703.598
AT ITER 4719 NEW BEST:: SOT 1731715 SOS 946430 HAS SOPS 946430 HAS SOUS 477612 HAS SOUPS 477612 WITH SCORE 478558.43
AT ITER 4725 NEW BEST:: SOT 1732313 SOS 946817 HAS SOPS 946817 HAS SOUS 477425 HAS SOUPS 477425 WITH SCORE 478371.817
AT ITER 4739 NEW BEST:: SOT 1731262 SOS 945766 HAS SOPS 945766 HAS SOUS 476374 HAS SOUPS 476374 WITH SCORE 477319.766
AT ITER 4760 NEW BEST:: SOT 1730680 SOS 940988 HAS SOPS 940988 HAS SOUS 474910 HAS SOUPS 474910 WITH SCORE 475850.988
AT ITER 4765 NEW BEST:: SOT 1730679 SOS 940957 HAS SOPS 940957 HAS SOUS 474908 HAS SOUPS 474908 WITH SCORE 475848.957
AT ITER 4780 NEW BEST:: SOT 1730679 SOS 940367 HAS SOPS 940367 HAS SOUS 474848 HAS SOUPS 474848 WITH SCORE 475788.367
AT ITER 4790 NEW BEST:: SOT 1730507 SOS 940023 HAS SOPS 940023 HAS SOUS 474474 HAS SOUPS 474474 WITH SCORE 475414.023
AT ITER 4798 NEW BEST:: SOT 1729904 SOS 939420 HAS SOPS 939420 HAS SOUS 473658 HAS SOUPS 473658 WITH SCORE 474597.42
AT ITER 4799 NEW BEST:: SOT 1729716 SOS 939289 HAS SOPS 939289 HAS SOUS 473655 HAS SOUPS 473655 WITH SCORE 474594.289
AT ITER 4845 NEW BEST:: SOT 1729655 SOS 939140 HAS SOPS 939140 HAS SOUS 473625 HAS SOUPS 473625 WITH SCORE 474564.14
AT ITER 4849 NEW BEST:: SOT 1729847 SOS 939117 HAS SOPS 939117 HAS SOUS 473602 HAS SOUPS 473602 WITH SCORE 474541.117
AT ITER 4863 NEW BEST:: SOT 1729787 SOS 939057 HAS SOPS 939057 HAS SOUS 473542 HAS SOUPS 473542 WITH SCORE 474481.057
AT ITER 4894 NEW BEST:: SOT 1729787 SOS 938817 HAS SOPS 938817 HAS SOUS 473527 HAS SOUPS 473527 WITH SCORE 474465.817
AT ITER 4905 NEW BEST:: SOT 1729690 SOS 938677 HAS SOPS 938677 HAS SOUS 473387 HAS SOUPS 473387 WITH SCORE 474325.677
AT ITER 4925 NEW BEST:: SOT 1729178 SOS 938165 HAS SOPS 938165 HAS SOUS 472614 HAS SOUPS 472614 WITH SCORE 473552.165
AT ITER 4943 NEW BEST:: SOT 1729178 SOS 938242 HAS SOPS 938242 HAS SOUS 472470 HAS SOUPS 472470 WITH SCORE 473408.242
AT ITER 4967 NEW BEST:: SOT 1729178 SOS 938194 HAS SOPS 938194 HAS SOUS 472470 HAS SOUPS 472470 WITH SCORE 473408.194
AT ITER 4991 NEW BEST:: SOT 1728979 SOS 938448 HAS SOPS 938448 HAS SOUS 472356 HAS SOUPS 472356 WITH SCORE 473294.448
AT ITER 4997 NEW BEST:: SOT 1729185 SOS 938446 HAS SOPS 938446 HAS SOUS 472353 HAS SOUPS 472353 WITH SCORE 473291.446
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ASLink-PT-07a-CTLCardinality-00 ( potential( ( 3 ) <= (tk(P467)) ) | (EF(potential( ( 2 ) <= (tk(P337)) ))) )
PROPERTY: ASLink-PT-07a-CTLCardinality-01 ( ( ( potential( ( 2 ) <= (tk(P669)) ) | (AG( potential( (tk(P493)) <= (tk(P54)) ))) ) | (AG( (! potential( ( 1 ) <= (tk(P688)) )))) ) & (EU( potential( (tk(P685)) <= (tk(P208)) ),(! potential( ( 1 ) <= (tk(P194)) )) )) )
PROPERTY: ASLink-PT-07a-CTLCardinality-02 (AF((! (AG( potential( (tk(P598)) <= (tk(P260)) ))))))
PROPERTY: ASLink-PT-07a-CTLCardinality-03 (EG( (EF(( potential( (tk(P48)) <= (tk(P1124)) ) | potential( (tk(P32)) <= (tk(P1377)) ) )))))
PROPERTY: ASLink-PT-07a-CTLCardinality-04 (EF(potential( ( 3 ) <= (tk(P100)) )))
PROPERTY: ASLink-PT-07a-CTLCardinality-05 (EF(( (EX( potential( (tk(P48)) <= (tk(P133)) ))) & ( ( potential( (tk(P761)) <= (tk(P38)) ) & potential( ( 2 ) <= (tk(P694)) ) ) & (! potential( (tk(P1051)) <= (tk(P412)) )) ) )))
PROPERTY: ASLink-PT-07a-CTLCardinality-06 (AU( potential( (tk(P613)) <= (tk(P95)) ),(AG( potential( (tk(P371)) <= (tk(P1465)) ))) ))
PROPERTY: ASLink-PT-07a-CTLCardinality-07 (! ( (AG( potential( (tk(P1066)) <= (tk(P35)) ))) & (EG( (! potential( ( 3 ) <= (tk(P908)) )))) ))
PROPERTY: ASLink-PT-07a-CTLCardinality-08 ( (EG( (! (! potential( ( 1 ) <= (tk(P139)) ))))) | (EG( (EG( potential( (tk(P175)) <= (tk(P1116)) ))))) )
PROPERTY: ASLink-PT-07a-CTLCardinality-09 (AG( (! (! potential( (tk(P529)) <= (tk(P705)) )))))
PROPERTY: ASLink-PT-07a-CTLCardinality-10 (AF(( ( ( potential( ( 1 ) <= (tk(P677)) ) | potential( ( 1 ) <= (tk(P945)) ) ) | (! potential( (tk(P890)) <= (tk(P1288)) )) ) & ( (! potential( (tk(P807)) <= (tk(P432)) )) | ( potential( ( 3 ) <= (tk(P451)) ) & potential( (tk(P322)) <= (tk(P483)) ) ) ) )))
PROPERTY: ASLink-PT-07a-CTLCardinality-11 (AU( ( ( potential( ( 1 ) <= (tk(P1482)) ) | potential( (tk(P106)) <= (tk(P1261)) ) ) | (! potential( ( 3 ) <= (tk(P1174)) )) ),(! ( potential( (tk(P472)) <= (tk(P954)) ) & potential( (tk(P255)) <= (tk(P584)) ) )) ))
PROPERTY: ASLink-PT-07a-CTLCardinality-12 (EG( (! ( potential( ( 1 ) <= (tk(P433)) ) & ( potential( (tk(P1498)) <= (tk(P874)) ) | potential( ( 2 ) <= (tk(P1204)) ) ) ))))
PROPERTY: ASLink-PT-07a-CTLCardinality-13 (AF(potential( ( 3 ) <= (tk(P471)) )))
PROPERTY: ASLink-PT-07a-CTLCardinality-14 (AG( (! (AG( potential( ( 2 ) <= (tk(P1279)) ))))))
PROPERTY: ASLink-PT-07a-CTLCardinality-15 (AG( (AF((! potential( ( 1 ) <= (tk(P253)) ))))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-07a"
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 ASLink-PT-07a, 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 r003-smll-158897508100107"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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