Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 616K
-rw-r--r-- 1 mcc users 3.5K May 14 01:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 01:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 19:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 19:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.3K May 13 14:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 13 14:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 08:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 08:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 447K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1590446518097

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 050A
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: 1553 places, 1303 transitions, 5006 arcs.
AT ITER 0 NEW BEST:: SOT 1305249 SOS 898451 HAS SOPS 898451 HAS SOUS 667993 HAS SOUPS 667993 WITH SCORE 668891.451
AT ITER 3 NEW BEST:: SOT 1305062 SOS 898288 HAS SOPS 898288 HAS SOUS 667830 HAS SOUPS 667830 WITH SCORE 668728.288
AT ITER 5 NEW BEST:: SOT 1304394 SOS 898258 HAS SOPS 898258 HAS SOUS 667792 HAS SOUPS 667792 WITH SCORE 668690.258
AT ITER 23 NEW BEST:: SOT 1304240 SOS 898104 HAS SOPS 898104 HAS SOUS 667638 HAS SOUPS 667638 WITH SCORE 668536.104
AT ITER 33 NEW BEST:: SOT 1304098 SOS 897961 HAS SOPS 897961 HAS SOUS 667495 HAS SOUPS 667495 WITH SCORE 668392.961
AT ITER 49 NEW BEST:: SOT 1303844 SOS 897707 HAS SOPS 897707 HAS SOUS 667241 HAS SOUPS 667241 WITH SCORE 668138.707
AT ITER 58 NEW BEST:: SOT 1303502 SOS 897365 HAS SOPS 897365 HAS SOUS 666899 HAS SOUPS 666899 WITH SCORE 667796.365
AT ITER 64 NEW BEST:: SOT 1303501 SOS 896790 HAS SOPS 896790 HAS SOUS 666881 HAS SOUPS 666881 WITH SCORE 667777.79
AT ITER 67 NEW BEST:: SOT 1303371 SOS 896660 HAS SOPS 896660 HAS SOUS 666751 HAS SOUPS 666751 WITH SCORE 667647.66
AT ITER 77 NEW BEST:: SOT 1303304 SOS 896591 HAS SOPS 896591 HAS SOUS 666682 HAS SOUPS 666682 WITH SCORE 667578.591
AT ITER 78 NEW BEST:: SOT 1302976 SOS 896261 HAS SOPS 896261 HAS SOUS 666352 HAS SOUPS 666352 WITH SCORE 667248.261
AT ITER 82 NEW BEST:: SOT 1302628 SOS 895911 HAS SOPS 895911 HAS SOUS 666002 HAS SOUPS 666002 WITH SCORE 666897.911
AT ITER 90 NEW BEST:: SOT 1302602 SOS 895883 HAS SOPS 895883 HAS SOUS 665974 HAS SOUPS 665974 WITH SCORE 666869.883
AT ITER 106 NEW BEST:: SOT 1302543 SOS 895824 HAS SOPS 895824 HAS SOUS 665915 HAS SOUPS 665915 WITH SCORE 666810.824
AT ITER 107 NEW BEST:: SOT 1302283 SOS 895563 HAS SOPS 895563 HAS SOUS 665654 HAS SOUPS 665654 WITH SCORE 666549.563
AT ITER 117 NEW BEST:: SOT 1301620 SOS 894916 HAS SOPS 894916 HAS SOUS 665007 HAS SOUPS 665007 WITH SCORE 665901.916
AT ITER 121 NEW BEST:: SOT 1301619 SOS 894256 HAS SOPS 894256 HAS SOUS 664994 HAS SOUPS 664994 WITH SCORE 665888.256
AT ITER 124 NEW BEST:: SOT 1301153 SOS 893788 HAS SOPS 893788 HAS SOUS 664526 HAS SOUPS 664526 WITH SCORE 665419.788
AT ITER 135 NEW BEST:: SOT 1301253 SOS 893765 HAS SOPS 893765 HAS SOUS 664503 HAS SOUPS 664503 WITH SCORE 665396.765
AT ITER 136 NEW BEST:: SOT 1301057 SOS 893571 HAS SOPS 893571 HAS SOUS 664309 HAS SOUPS 664309 WITH SCORE 665202.571
AT ITER 139 NEW BEST:: SOT 1300307 SOS 892821 HAS SOPS 892821 HAS SOUS 663559 HAS SOUPS 663559 WITH SCORE 664451.821
AT ITER 143 NEW BEST:: SOT 1300179 SOS 892693 HAS SOPS 892693 HAS SOUS 663431 HAS SOUPS 663431 WITH SCORE 664323.693
AT ITER 148 NEW BEST:: SOT 1299728 SOS 892242 HAS SOPS 892242 HAS SOUS 662980 HAS SOUPS 662980 WITH SCORE 663872.242
AT ITER 156 NEW BEST:: SOT 1299723 SOS 892237 HAS SOPS 892237 HAS SOUS 662975 HAS SOUPS 662975 WITH SCORE 663867.237
AT ITER 160 NEW BEST:: SOT 1299723 SOS 891844 HAS SOPS 891844 HAS SOUS 662857 HAS SOUPS 662857 WITH SCORE 663748.844
AT ITER 165 NEW BEST:: SOT 1299714 SOS 890671 HAS SOPS 890671 HAS SOUS 662612 HAS SOUPS 662612 WITH SCORE 663502.671
AT ITER 170 NEW BEST:: SOT 1299713 SOS 888597 HAS SOPS 888597 HAS SOUS 661932 HAS SOUPS 661932 WITH SCORE 662820.597
AT ITER 174 NEW BEST:: SOT 1299712 SOS 887702 HAS SOPS 887702 HAS SOUS 661911 HAS SOUPS 661911 WITH SCORE 662798.702
AT ITER 184 NEW BEST:: SOT 1299674 SOS 887664 HAS SOPS 887664 HAS SOUS 661873 HAS SOUPS 661873 WITH SCORE 662760.664
AT ITER 203 NEW BEST:: SOT 1299544 SOS 887534 HAS SOPS 887534 HAS SOUS 661743 HAS SOUPS 661743 WITH SCORE 662630.534
AT ITER 206 NEW BEST:: SOT 1299141 SOS 887131 HAS SOPS 887131 HAS SOUS 661340 HAS SOUPS 661340 WITH SCORE 662227.131
AT ITER 208 NEW BEST:: SOT 1298765 SOS 886754 HAS SOPS 886754 HAS SOUS 660963 HAS SOUPS 660963 WITH SCORE 661849.754
AT ITER 215 NEW BEST:: SOT 1298387 SOS 886376 HAS SOPS 886376 HAS SOUS 660585 HAS SOUPS 660585 WITH SCORE 661471.376
AT ITER 220 NEW BEST:: SOT 1298093 SOS 886082 HAS SOPS 886082 HAS SOUS 660291 HAS SOUPS 660291 WITH SCORE 661177.082
AT ITER 229 NEW BEST:: SOT 1298092 SOS 884826 HAS SOPS 884826 HAS SOUS 660268 HAS SOUPS 660268 WITH SCORE 661152.826
AT ITER 236 NEW BEST:: SOT 1297862 SOS 884596 HAS SOPS 884596 HAS SOUS 660038 HAS SOUPS 660038 WITH SCORE 660922.596
AT ITER 240 NEW BEST:: SOT 1297861 SOS 882968 HAS SOPS 882968 HAS SOUS 660015 HAS SOUPS 660015 WITH SCORE 660897.968
AT ITER 258 NEW BEST:: SOT 1297445 SOS 882552 HAS SOPS 882552 HAS SOUS 659599 HAS SOUPS 659599 WITH SCORE 660481.552
AT ITER 261 NEW BEST:: SOT 1296083 SOS 881190 HAS SOPS 881190 HAS SOUS 658237 HAS SOUPS 658237 WITH SCORE 659118.19
AT ITER 266 NEW BEST:: SOT 1295805 SOS 880910 HAS SOPS 880910 HAS SOUS 657957 HAS SOUPS 657957 WITH SCORE 658837.91
AT ITER 270 NEW BEST:: SOT 1295375 SOS 880230 HAS SOPS 880230 HAS SOUS 657277 HAS SOUPS 657277 WITH SCORE 658157.23
AT ITER 276 NEW BEST:: SOT 1295375 SOS 880231 HAS SOPS 880231 HAS SOUS 657276 HAS SOUPS 657276 WITH SCORE 658156.231
AT ITER 284 NEW BEST:: SOT 1294944 SOS 878076 HAS SOPS 878076 HAS SOUS 657275 HAS SOUPS 657275 WITH SCORE 658153.076
AT ITER 287 NEW BEST:: SOT 1294915 SOS 878045 HAS SOPS 878045 HAS SOUS 657244 HAS SOUPS 657244 WITH SCORE 658122.045
AT ITER 304 NEW BEST:: SOT 1294885 SOS 878015 HAS SOPS 878015 HAS SOUS 657214 HAS SOUPS 657214 WITH SCORE 658092.015
AT ITER 306 NEW BEST:: SOT 1294761 SOS 877891 HAS SOPS 877891 HAS SOUS 657090 HAS SOUPS 657090 WITH SCORE 657967.891
AT ITER 308 NEW BEST:: SOT 1294634 SOS 877764 HAS SOPS 877764 HAS SOUS 656963 HAS SOUPS 656963 WITH SCORE 657840.764
AT ITER 313 NEW BEST:: SOT 1294545 SOS 877671 HAS SOPS 877671 HAS SOUS 656858 HAS SOUPS 656858 WITH SCORE 657735.671
AT ITER 321 NEW BEST:: SOT 1294467 SOS 877593 HAS SOPS 877593 HAS SOUS 656780 HAS SOUPS 656780 WITH SCORE 657657.593
AT ITER 322 NEW BEST:: SOT 1294438 SOS 877564 HAS SOPS 877564 HAS SOUS 656751 HAS SOUPS 656751 WITH SCORE 657628.564
AT ITER 325 NEW BEST:: SOT 1294249 SOS 877375 HAS SOPS 877375 HAS SOUS 656562 HAS SOUPS 656562 WITH SCORE 657439.375
AT ITER 326 NEW BEST:: SOT 1293685 SOS 873496 HAS SOPS 873496 HAS SOUS 654725 HAS SOUPS 654725 WITH SCORE 655598.496
AT ITER 330 NEW BEST:: SOT 1293787 SOS 873471 HAS SOPS 873471 HAS SOUS 654700 HAS SOUPS 654700 WITH SCORE 655573.471
AT ITER 334 NEW BEST:: SOT 1293250 SOS 873147 HAS SOPS 873147 HAS SOUS 654270 HAS SOUPS 654270 WITH SCORE 655143.147
AT ITER 337 NEW BEST:: SOT 1293240 SOS 873137 HAS SOPS 873137 HAS SOUS 654260 HAS SOUPS 654260 WITH SCORE 655133.137
AT ITER 346 NEW BEST:: SOT 1293235 SOS 873119 HAS SOPS 873119 HAS SOUS 654239 HAS SOUPS 654239 WITH SCORE 655112.119
AT ITER 356 NEW BEST:: SOT 1292931 SOS 871599 HAS SOPS 871599 HAS SOUS 654239 HAS SOUPS 654239 WITH SCORE 655110.599
AT ITER 364 NEW BEST:: SOT 1292560 SOS 869744 HAS SOPS 869744 HAS SOUS 654239 HAS SOUPS 654239 WITH SCORE 655108.744
AT ITER 365 NEW BEST:: SOT 1292944 SOS 866199 HAS SOPS 866199 HAS SOUS 653383 HAS SOUPS 653383 WITH SCORE 654249.199
AT ITER 367 NEW BEST:: SOT 1292832 SOS 866031 HAS SOPS 866031 HAS SOUS 653215 HAS SOUPS 653215 WITH SCORE 654081.031
AT ITER 378 NEW BEST:: SOT 1292775 SOS 865856 HAS SOPS 865856 HAS SOUS 652989 HAS SOUPS 652989 WITH SCORE 653854.856
AT ITER 390 NEW BEST:: SOT 1292771 SOS 865841 HAS SOPS 865841 HAS SOUS 652972 HAS SOUPS 652972 WITH SCORE 653837.841
AT ITER 393 NEW BEST:: SOT 1291909 SOS 865164 HAS SOPS 865164 HAS SOUS 652203 HAS SOUPS 652203 WITH SCORE 653068.164
AT ITER 401 NEW BEST:: SOT 1291513 SOS 864768 HAS SOPS 864768 HAS SOUS 651807 HAS SOUPS 651807 WITH SCORE 652671.768
AT ITER 403 NEW BEST:: SOT 1291260 SOS 864515 HAS SOPS 864515 HAS SOUS 651554 HAS SOUPS 651554 WITH SCORE 652418.515
AT ITER 407 NEW BEST:: SOT 1291259 SOS 862395 HAS SOPS 862395 HAS SOUS 651539 HAS SOUPS 651539 WITH SCORE 652401.395
AT ITER 409 NEW BEST:: SOT 1290900 SOS 862036 HAS SOPS 862036 HAS SOUS 651180 HAS SOUPS 651180 WITH SCORE 652042.036
AT ITER 411 NEW BEST:: SOT 1290036 SOS 861172 HAS SOPS 861172 HAS SOUS 650316 HAS SOUPS 650316 WITH SCORE 651177.172
AT ITER 414 NEW BEST:: SOT 1289512 SOS 860645 HAS SOPS 860645 HAS SOUS 649789 HAS SOUPS 649789 WITH SCORE 650649.645
AT ITER 415 NEW BEST:: SOT 1289316 SOS 860459 HAS SOPS 860459 HAS SOUS 649603 HAS SOUPS 649603 WITH SCORE 650463.459
AT ITER 416 NEW BEST:: SOT 1288820 SOS 859963 HAS SOPS 859963 HAS SOUS 649107 HAS SOUPS 649107 WITH SCORE 649966.963
AT ITER 420 NEW BEST:: SOT 1288667 SOS 859810 HAS SOPS 859810 HAS SOUS 648954 HAS SOUPS 648954 WITH SCORE 649813.81
AT ITER 421 NEW BEST:: SOT 1288603 SOS 859780 HAS SOPS 859780 HAS SOUS 648924 HAS SOUPS 648924 WITH SCORE 649783.78
AT ITER 422 NEW BEST:: SOT 1288603 SOS 859757 HAS SOPS 859757 HAS SOUS 648913 HAS SOUPS 648913 WITH SCORE 649772.757
AT ITER 424 NEW BEST:: SOT 1288215 SOS 859356 HAS SOPS 859356 HAS SOUS 648512 HAS SOUPS 648512 WITH SCORE 649371.356
AT ITER 430 NEW BEST:: SOT 1288193 SOS 859246 HAS SOPS 859246 HAS SOUS 648511 HAS SOUPS 648511 WITH SCORE 649370.246
AT ITER 434 NEW BEST:: SOT 1288028 SOS 859086 HAS SOPS 859086 HAS SOUS 648349 HAS SOUPS 648349 WITH SCORE 649208.086
AT ITER 436 NEW BEST:: SOT 1287746 SOS 858985 HAS SOPS 858985 HAS SOUS 648248 HAS SOUPS 648248 WITH SCORE 649106.985
AT ITER 438 NEW BEST:: SOT 1287117 SOS 858432 HAS SOPS 858432 HAS SOUS 647695 HAS SOUPS 647695 WITH SCORE 648553.432
AT ITER 443 NEW BEST:: SOT 1286587 SOS 857900 HAS SOPS 857900 HAS SOUS 647163 HAS SOUPS 647163 WITH SCORE 648020.9
AT ITER 449 NEW BEST:: SOT 1286372 SOS 856825 HAS SOPS 856825 HAS SOUS 647162 HAS SOUPS 647162 WITH SCORE 648018.825
AT ITER 451 NEW BEST:: SOT 1286372 SOS 856814 HAS SOPS 856814 HAS SOUS 647007 HAS SOUPS 647007 WITH SCORE 647863.814
AT ITER 457 NEW BEST:: SOT 1286371 SOS 856813 HAS SOPS 856813 HAS SOUS 647006 HAS SOUPS 647006 WITH SCORE 647862.813
AT ITER 468 NEW BEST:: SOT 1285521 SOS 855951 HAS SOPS 855951 HAS SOUS 646139 HAS SOUPS 646139 WITH SCORE 646994.951
AT ITER 474 NEW BEST:: SOT 1284888 SOS 855317 HAS SOPS 855317 HAS SOUS 645505 HAS SOUPS 645505 WITH SCORE 646360.317
AT ITER 480 NEW BEST:: SOT 1284562 SOS 854991 HAS SOPS 854991 HAS SOUS 645179 HAS SOUPS 645179 WITH SCORE 646033.991
AT ITER 492 NEW BEST:: SOT 1284382 SOS 854809 HAS SOPS 854809 HAS SOUS 644996 HAS SOUPS 644996 WITH SCORE 645850.809
AT ITER 501 NEW BEST:: SOT 1284202 SOS 854629 HAS SOPS 854629 HAS SOUS 644816 HAS SOUPS 644816 WITH SCORE 645670.629
AT ITER 509 NEW BEST:: SOT 1283434 SOS 850803 HAS SOPS 850803 HAS SOUS 641870 HAS SOUPS 641870 WITH SCORE 642720.803
AT ITER 516 NEW BEST:: SOT 1283392 SOS 850761 HAS SOPS 850761 HAS SOUS 641828 HAS SOUPS 641828 WITH SCORE 642678.761
AT ITER 521 NEW BEST:: SOT 1282987 SOS 850531 HAS SOPS 850531 HAS SOUS 641598 HAS SOUPS 641598 WITH SCORE 642448.531
AT ITER 524 NEW BEST:: SOT 1283870 SOS 848595 HAS SOPS 848595 HAS SOUS 641465 HAS SOUPS 641465 WITH SCORE 642313.595
AT ITER 534 NEW BEST:: SOT 1283440 SOS 846445 HAS SOPS 846445 HAS SOUS 641464 HAS SOUPS 641464 WITH SCORE 642310.445
AT ITER 537 NEW BEST:: SOT 1282849 SOS 845852 HAS SOPS 845852 HAS SOUS 640871 HAS SOUPS 640871 WITH SCORE 641716.852
AT ITER 541 NEW BEST:: SOT 1282847 SOS 845850 HAS SOPS 845850 HAS SOUS 640869 HAS SOUPS 640869 WITH SCORE 641714.85
AT ITER 543 NEW BEST:: SOT 1282836 SOS 845831 HAS SOPS 845831 HAS SOUS 640840 HAS SOUPS 640840 WITH SCORE 641685.831
AT ITER 545 NEW BEST:: SOT 1282835 SOS 844220 HAS SOPS 844220 HAS SOUS 640821 HAS SOUPS 640821 WITH SCORE 641665.22
AT ITER 557 NEW BEST:: SOT 1283170 SOS 841664 HAS SOPS 841664 HAS SOUS 639751 HAS SOUPS 639751 WITH SCORE 640592.664
AT ITER 568 NEW BEST:: SOT 1282887 SOS 840156 HAS SOPS 840156 HAS SOUS 639749 HAS SOUPS 639749 WITH SCORE 640589.156
AT ITER 569 NEW BEST:: SOT 1282711 SOS 839980 HAS SOPS 839980 HAS SOUS 639573 HAS SOUPS 639573 WITH SCORE 640412.98
AT ITER 571 NEW BEST:: SOT 1282627 SOS 839457 HAS SOPS 839457 HAS SOUS 639057 HAS SOUPS 639057 WITH SCORE 639896.457
AT ITER 574 NEW BEST:: SOT 1282519 SOS 839348 HAS SOPS 839348 HAS SOUS 638948 HAS SOUPS 638948 WITH SCORE 639787.348
AT ITER 575 NEW BEST:: SOT 1282312 SOS 838789 HAS SOPS 838789 HAS SOUS 638398 HAS SOUPS 638398 WITH SCORE 639236.789
AT ITER 584 NEW BEST:: SOT 1282133 SOS 838421 HAS SOPS 838421 HAS SOUS 637730 HAS SOUPS 637730 WITH SCORE 638568.421
AT ITER 585 NEW BEST:: SOT 1281703 SOS 837991 HAS SOPS 837991 HAS SOUS 637300 HAS SOUPS 637300 WITH SCORE 638137.991
AT ITER 586 NEW BEST:: SOT 1281455 SOS 837741 HAS SOPS 837741 HAS SOUS 637050 HAS SOUPS 637050 WITH SCORE 637887.741
AT ITER 591 NEW BEST:: SOT 1281098 SOS 837384 HAS SOPS 837384 HAS SOUS 636693 HAS SOUPS 636693 WITH SCORE 637530.384
AT ITER 593 NEW BEST:: SOT 1281097 SOS 836685 HAS SOPS 836685 HAS SOUS 636674 HAS SOUPS 636674 WITH SCORE 637510.685
AT ITER 600 NEW BEST:: SOT 1281096 SOS 834355 HAS SOPS 834355 HAS SOUS 636657 HAS SOUPS 636657 WITH SCORE 637491.355
AT ITER 613 NEW BEST:: SOT 1280831 SOS 834089 HAS SOPS 834089 HAS SOUS 636391 HAS SOUPS 636391 WITH SCORE 637225.089
AT ITER 627 NEW BEST:: SOT 1280294 SOS 833550 HAS SOPS 833550 HAS SOUS 635852 HAS SOUPS 635852 WITH SCORE 636685.55
AT ITER 628 NEW BEST:: SOT 1280056 SOS 833785 HAS SOPS 833785 HAS SOUS 635851 HAS SOUPS 635851 WITH SCORE 636684.785
AT ITER 642 NEW BEST:: SOT 1279988 SOS 833715 HAS SOPS 833715 HAS SOUS 635781 HAS SOUPS 635781 WITH SCORE 636614.715
AT ITER 645 NEW BEST:: SOT 1279568 SOS 833032 HAS SOPS 833032 HAS SOUS 635098 HAS SOUPS 635098 WITH SCORE 635931.032
AT ITER 658 NEW BEST:: SOT 1279501 SOS 832697 HAS SOPS 832697 HAS SOUS 635097 HAS SOUPS 635097 WITH SCORE 635929.697
AT ITER 659 NEW BEST:: SOT 1279132 SOS 832328 HAS SOPS 832328 HAS SOUS 634728 HAS SOUPS 634728 WITH SCORE 635560.328
AT ITER 660 NEW BEST:: SOT 1278802 SOS 830678 HAS SOPS 830678 HAS SOUS 634728 HAS SOUPS 634728 WITH SCORE 635558.678
AT ITER 661 NEW BEST:: SOT 1278658 SOS 827170 HAS SOPS 827170 HAS SOUS 633325 HAS SOUPS 633325 WITH SCORE 634152.17
AT ITER 663 NEW BEST:: SOT 1278493 SOS 827140 HAS SOPS 827140 HAS SOUS 633227 HAS SOUPS 633227 WITH SCORE 634054.14
AT ITER 673 NEW BEST:: SOT 1278492 SOS 825009 HAS SOPS 825009 HAS SOUS 633209 HAS SOUPS 633209 WITH SCORE 634034.009
AT ITER 678 NEW BEST:: SOT 1278492 SOS 823455 HAS SOPS 823455 HAS SOUS 632895 HAS SOUPS 632895 WITH SCORE 633718.455
AT ITER 679 NEW BEST:: SOT 1278479 SOS 823433 HAS SOPS 823433 HAS SOUS 632861 HAS SOUPS 632861 WITH SCORE 633684.433
AT ITER 687 NEW BEST:: SOT 1277499 SOS 822451 HAS SOPS 822451 HAS SOUS 631667 HAS SOUPS 631667 WITH SCORE 632489.451
AT ITER 704 NEW BEST:: SOT 1277478 SOS 822430 HAS SOPS 822430 HAS SOUS 631646 HAS SOUPS 631646 WITH SCORE 632468.43
AT ITER 706 NEW BEST:: SOT 1277469 SOS 822411 HAS SOPS 822411 HAS SOUS 631620 HAS SOUPS 631620 WITH SCORE 632442.411
AT ITER 714 NEW BEST:: SOT 1276801 SOS 821743 HAS SOPS 821743 HAS SOUS 630952 HAS SOUPS 630952 WITH SCORE 631773.743
AT ITER 715 NEW BEST:: SOT 1276800 SOS 821109 HAS SOPS 821109 HAS SOUS 630935 HAS SOUPS 630935 WITH SCORE 631756.109
AT ITER 724 NEW BEST:: SOT 1276796 SOS 821093 HAS SOPS 821093 HAS SOUS 630917 HAS SOUPS 630917 WITH SCORE 631738.093
AT ITER 725 NEW BEST:: SOT 1276680 SOS 820165 HAS SOPS 820165 HAS SOUS 630598 HAS SOUPS 630598 WITH SCORE 631418.165
AT ITER 733 NEW BEST:: SOT 1276663 SOS 820063 HAS SOPS 820063 HAS SOUS 630581 HAS SOUPS 630581 WITH SCORE 631401.063
AT ITER 736 NEW BEST:: SOT 1276663 SOS 819763 HAS SOPS 819763 HAS SOUS 630581 HAS SOUPS 630581 WITH SCORE 631400.763
AT ITER 749 NEW BEST:: SOT 1275951 SOS 819232 HAS SOPS 819232 HAS SOUS 629959 HAS SOUPS 629959 WITH SCORE 630778.232
AT ITER 753 NEW BEST:: SOT 1275949 SOS 819230 HAS SOPS 819230 HAS SOUS 629950 HAS SOUPS 629950 WITH SCORE 630769.23
AT ITER 771 NEW BEST:: SOT 1275661 SOS 818942 HAS SOPS 818942 HAS SOUS 629662 HAS SOUPS 629662 WITH SCORE 630480.942
AT ITER 773 NEW BEST:: SOT 1275648 SOS 818919 HAS SOPS 818919 HAS SOUS 629627 HAS SOUPS 629627 WITH SCORE 630445.919
AT ITER 790 NEW BEST:: SOT 1275179 SOS 818278 HAS SOPS 818278 HAS SOUS 628986 HAS SOUPS 628986 WITH SCORE 629804.278
AT ITER 809 NEW BEST:: SOT 1275178 SOS 818260 HAS SOPS 818260 HAS SOUS 628971 HAS SOUPS 628971 WITH SCORE 629789.26
AT ITER 817 NEW BEST:: SOT 1275634 SOS 816223 HAS SOPS 816223 HAS SOUS 628204 HAS SOUPS 628204 WITH SCORE 629020.223
AT ITER 821 NEW BEST:: SOT 1275574 SOS 815923 HAS SOPS 815923 HAS SOUS 628204 HAS SOUPS 628204 WITH SCORE 629019.923
AT ITER 825 NEW BEST:: SOT 1275574 SOS 815507 HAS SOPS 815507 HAS SOUS 627592 HAS SOUPS 627592 WITH SCORE 628407.507
AT ITER 827 NEW BEST:: SOT 1275530 SOS 815463 HAS SOPS 815463 HAS SOUS 627548 HAS SOUPS 627548 WITH SCORE 628363.463
AT ITER 828 NEW BEST:: SOT 1275518 SOS 815450 HAS SOPS 815450 HAS SOUS 627535 HAS SOUPS 627535 WITH SCORE 628350.45
AT ITER 834 NEW BEST:: SOT 1275480 SOS 811846 HAS SOPS 811846 HAS SOUS 625730 HAS SOUPS 625730 WITH SCORE 626541.846
AT ITER 835 NEW BEST:: SOT 1275463 SOS 811829 HAS SOPS 811829 HAS SOUS 625713 HAS SOUPS 625713 WITH SCORE 626524.829
AT ITER 839 NEW BEST:: SOT 1275324 SOS 811739 HAS SOPS 811739 HAS SOUS 625623 HAS SOUPS 625623 WITH SCORE 626434.739
AT ITER 848 NEW BEST:: SOT 1276117 SOS 811469 HAS SOPS 811469 HAS SOUS 625519 HAS SOUPS 625519 WITH SCORE 626330.469
AT ITER 850 NEW BEST:: SOT 1275591 SOS 810943 HAS SOPS 810943 HAS SOUS 624993 HAS SOUPS 624993 WITH SCORE 625803.943
AT ITER 861 NEW BEST:: SOT 1275291 SOS 810643 HAS SOPS 810643 HAS SOUS 624693 HAS SOUPS 624693 WITH SCORE 625503.643
AT ITER 864 NEW BEST:: SOT 1275288 SOS 810639 HAS SOPS 810639 HAS SOUS 624688 HAS SOUPS 624688 WITH SCORE 625498.639
AT ITER 871 NEW BEST:: SOT 1274859 SOS 809862 HAS SOPS 809862 HAS SOUS 623911 HAS SOUPS 623911 WITH SCORE 624720.862
AT ITER 875 NEW BEST:: SOT 1274254 SOS 809257 HAS SOPS 809257 HAS SOUS 623306 HAS SOUPS 623306 WITH SCORE 624115.257
AT ITER 879 NEW BEST:: SOT 1274253 SOS 807055 HAS SOPS 807055 HAS SOUS 623297 HAS SOUPS 623297 WITH SCORE 624104.055
AT ITER 886 NEW BEST:: SOT 1274974 SOS 807751 HAS SOPS 807751 HAS SOUS 623137 HAS SOUPS 623137 WITH SCORE 623944.751
AT ITER 896 NEW BEST:: SOT 1274974 SOS 807634 HAS SOPS 807634 HAS SOUS 623098 HAS SOUPS 623098 WITH SCORE 623905.634
AT ITER 904 NEW BEST:: SOT 1274892 SOS 807552 HAS SOPS 807552 HAS SOUS 623016 HAS SOUPS 623016 WITH SCORE 623823.552
AT ITER 915 NEW BEST:: SOT 1274573 SOS 807233 HAS SOPS 807233 HAS SOUS 622697 HAS SOUPS 622697 WITH SCORE 623504.233
AT ITER 916 NEW BEST:: SOT 1274521 SOS 807181 HAS SOPS 807181 HAS SOUS 622645 HAS SOUPS 622645 WITH SCORE 623452.181
AT ITER 922 NEW BEST:: SOT 1274458 SOS 807118 HAS SOPS 807118 HAS SOUS 622582 HAS SOUPS 622582 WITH SCORE 623389.118
AT ITER 927 NEW BEST:: SOT 1274355 SOS 807015 HAS SOPS 807015 HAS SOUS 622479 HAS SOUPS 622479 WITH SCORE 623286.015
AT ITER 930 NEW BEST:: SOT 1273391 SOS 806051 HAS SOPS 806051 HAS SOUS 621515 HAS SOUPS 621515 WITH SCORE 622321.051
AT ITER 933 NEW BEST:: SOT 1272972 SOS 802241 HAS SOPS 802241 HAS SOUS 619793 HAS SOUPS 619793 WITH SCORE 620595.241
AT ITER 935 NEW BEST:: SOT 1272967 SOS 802236 HAS SOPS 802236 HAS SOUS 619788 HAS SOUPS 619788 WITH SCORE 620590.236
AT ITER 942 NEW BEST:: SOT 1272259 SOS 801550 HAS SOPS 801550 HAS SOUS 619092 HAS SOUPS 619092 WITH SCORE 619893.55
AT ITER 943 NEW BEST:: SOT 1272253 SOS 800717 HAS SOPS 800717 HAS SOUS 619009 HAS SOUPS 619009 WITH SCORE 619809.717
AT ITER 955 NEW BEST:: SOT 1271674 SOS 798401 HAS SOPS 798401 HAS SOUS 619009 HAS SOUPS 619009 WITH SCORE 619807.401
AT ITER 956 NEW BEST:: SOT 1271634 SOS 798361 HAS SOPS 798361 HAS SOUS 618969 HAS SOUPS 618969 WITH SCORE 619767.361
AT ITER 963 NEW BEST:: SOT 1271945 SOS 799296 HAS SOPS 799296 HAS SOUS 618674 HAS SOUPS 618674 WITH SCORE 619473.296
AT ITER 965 NEW BEST:: SOT 1271773 SOS 799089 HAS SOPS 799089 HAS SOUS 618467 HAS SOUPS 618467 WITH SCORE 619266.089
AT ITER 971 NEW BEST:: SOT 1271746 SOS 799062 HAS SOPS 799062 HAS SOUS 618440 HAS SOUPS 618440 WITH SCORE 619239.062
AT ITER 978 NEW BEST:: SOT 1271563 SOS 798879 HAS SOPS 798879 HAS SOUS 618257 HAS SOUPS 618257 WITH SCORE 619055.879
AT ITER 980 NEW BEST:: SOT 1271563 SOS 798867 HAS SOPS 798867 HAS SOUS 618245 HAS SOUPS 618245 WITH SCORE 619043.867
AT ITER 984 NEW BEST:: SOT 1271563 SOS 798795 HAS SOPS 798795 HAS SOUS 618245 HAS SOUPS 618245 WITH SCORE 619043.795
AT ITER 987 NEW BEST:: SOT 1271561 SOS 798793 HAS SOPS 798793 HAS SOUS 618243 HAS SOUPS 618243 WITH SCORE 619041.793
AT ITER 990 NEW BEST:: SOT 1271227 SOS 796290 HAS SOPS 796290 HAS SOUS 616975 HAS SOUPS 616975 WITH SCORE 617771.29
AT ITER 993 NEW BEST:: SOT 1270905 SOS 795879 HAS SOPS 795879 HAS SOUS 616564 HAS SOUPS 616564 WITH SCORE 617359.879
AT ITER 999 NEW BEST:: SOT 1270905 SOS 795720 HAS SOPS 795720 HAS SOUS 616515 HAS SOUPS 616515 WITH SCORE 617310.72
AT ITER 1002 NEW BEST:: SOT 1270905 SOS 795497 HAS SOPS 795497 HAS SOUS 616292 HAS SOUPS 616292 WITH SCORE 617087.497
AT ITER 1014 NEW BEST:: SOT 1270583 SOS 793875 HAS SOPS 793875 HAS SOUS 616288 HAS SOUPS 616288 WITH SCORE 617081.875
AT ITER 1022 NEW BEST:: SOT 1270453 SOS 793687 HAS SOPS 793687 HAS SOUS 615972 HAS SOUPS 615972 WITH SCORE 616765.687
AT ITER 1026 NEW BEST:: SOT 1270061 SOS 793444 HAS SOPS 793444 HAS SOUS 614527 HAS SOUPS 614527 WITH SCORE 615320.444
AT ITER 1035 NEW BEST:: SOT 1269951 SOS 793334 HAS SOPS 793334 HAS SOUS 614417 HAS SOUPS 614417 WITH SCORE 615210.334
AT ITER 1036 NEW BEST:: SOT 1270116 SOS 792174 HAS SOPS 792174 HAS SOUS 614185 HAS SOUPS 614185 WITH SCORE 614977.174
AT ITER 1037 NEW BEST:: SOT 1270079 SOS 792137 HAS SOPS 792137 HAS SOUS 614148 HAS SOUPS 614148 WITH SCORE 614940.137
AT ITER 1038 NEW BEST:: SOT 1270080 SOS 790636 HAS SOPS 790636 HAS SOUS 614148 HAS SOUPS 614148 WITH SCORE 614938.636
AT ITER 1041 NEW BEST:: SOT 1269949 SOS 790501 HAS SOPS 790501 HAS SOUS 614001 HAS SOUPS 614001 WITH SCORE 614791.501
AT ITER 1074 NEW BEST:: SOT 1269947 SOS 789143 HAS SOPS 789143 HAS SOUS 613686 HAS SOUPS 613686 WITH SCORE 614475.143
AT ITER 1085 NEW BEST:: SOT 1269810 SOS 789004 HAS SOPS 789004 HAS SOUS 613547 HAS SOUPS 613547 WITH SCORE 614336.004
AT ITER 1088 NEW BEST:: SOT 1269439 SOS 788631 HAS SOPS 788631 HAS SOUS 613174 HAS SOUPS 613174 WITH SCORE 613962.631
AT ITER 1090 NEW BEST:: SOT 1269102 SOS 786562 HAS SOPS 786562 HAS SOUS 612959 HAS SOUPS 612959 WITH SCORE 613745.562
AT ITER 1095 NEW BEST:: SOT 1267996 SOS 783040 HAS SOPS 783040 HAS SOUS 609935 HAS SOUPS 609935 WITH SCORE 610718.04
AT ITER 1118 NEW BEST:: SOT 1267991 SOS 780793 HAS SOPS 780793 HAS SOUS 609812 HAS SOUPS 609812 WITH SCORE 610592.793
AT ITER 1120 NEW BEST:: SOT 1267749 SOS 780540 HAS SOPS 780540 HAS SOUS 609319 HAS SOUPS 609319 WITH SCORE 610099.54
AT ITER 1126 NEW BEST:: SOT 1267709 SOS 780097 HAS SOPS 780097 HAS SOUS 608816 HAS SOUPS 608816 WITH SCORE 609596.097
AT ITER 1136 NEW BEST:: SOT 1267938 SOS 777869 HAS SOPS 777869 HAS SOUS 608459 HAS SOUPS 608459 WITH SCORE 609236.869
AT ITER 1138 NEW BEST:: SOT 1267482 SOS 777413 HAS SOPS 777413 HAS SOUS 608003 HAS SOUPS 608003 WITH SCORE 608780.413
AT ITER 1139 NEW BEST:: SOT 1267482 SOS 777411 HAS SOPS 777411 HAS SOUS 608001 HAS SOUPS 608001 WITH SCORE 608778.411
AT ITER 1151 NEW BEST:: SOT 1267422 SOS 777351 HAS SOPS 777351 HAS SOUS 607941 HAS SOUPS 607941 WITH SCORE 608718.351
AT ITER 1154 NEW BEST:: SOT 1266798 SOS 776935 HAS SOPS 776935 HAS SOUS 607525 HAS SOUPS 607525 WITH SCORE 608301.935
AT ITER 1180 NEW BEST:: SOT 1266800 SOS 776929 HAS SOPS 776929 HAS SOUS 607507 HAS SOUPS 607507 WITH SCORE 608283.929
AT ITER 1184 NEW BEST:: SOT 1266032 SOS 776170 HAS SOPS 776170 HAS SOUS 606757 HAS SOUPS 606757 WITH SCORE 607533.17
AT ITER 1187 NEW BEST:: SOT 1265462 SOS 775600 HAS SOPS 775600 HAS SOUS 606187 HAS SOUPS 606187 WITH SCORE 606962.6
AT ITER 1192 NEW BEST:: SOT 1265170 SOS 774426 HAS SOPS 774426 HAS SOUS 605751 HAS SOUPS 605751 WITH SCORE 606525.426
AT ITER 1193 NEW BEST:: SOT 1265280 SOS 774221 HAS SOPS 774221 HAS SOUS 605546 HAS SOUPS 605546 WITH SCORE 606320.221
AT ITER 1199 NEW BEST:: SOT 1265274 SOS 774215 HAS SOPS 774215 HAS SOUS 605540 HAS SOUPS 605540 WITH SCORE 606314.215
AT ITER 1200 NEW BEST:: SOT 1265268 SOS 774196 HAS SOPS 774196 HAS SOUS 605517 HAS SOUPS 605517 WITH SCORE 606291.196
AT ITER 1201 NEW BEST:: SOT 1266890 SOS 772104 HAS SOPS 772104 HAS SOUS 605510 HAS SOUPS 605510 WITH SCORE 606282.104
AT ITER 1202 NEW BEST:: SOT 1265920 SOS 771134 HAS SOPS 771134 HAS SOUS 604540 HAS SOUPS 604540 WITH SCORE 605311.134
AT ITER 1204 NEW BEST:: SOT 1265919 SOS 769400 HAS SOPS 769400 HAS SOUS 604527 HAS SOUPS 604527 WITH SCORE 605296.4
AT ITER 1214 NEW BEST:: SOT 1265592 SOS 769551 HAS SOPS 769551 HAS SOUS 604491 HAS SOUPS 604491 WITH SCORE 605260.551
AT ITER 1219 NEW BEST:: SOT 1265513 SOS 769470 HAS SOPS 769470 HAS SOUS 604410 HAS SOUPS 604410 WITH SCORE 605179.47
AT ITER 1232 NEW BEST:: SOT 1264712 SOS 768826 HAS SOPS 768826 HAS SOUS 603682 HAS SOUPS 603682 WITH SCORE 604450.826
AT ITER 1234 NEW BEST:: SOT 1264527 SOS 767901 HAS SOPS 767901 HAS SOUS 603682 HAS SOUPS 603682 WITH SCORE 604449.901
AT ITER 1240 NEW BEST:: SOT 1264429 SOS 767803 HAS SOPS 767803 HAS SOUS 603584 HAS SOUPS 603584 WITH SCORE 604351.803
AT ITER 1251 NEW BEST:: SOT 1264165 SOS 767682 HAS SOPS 767682 HAS SOUS 603392 HAS SOUPS 603392 WITH SCORE 604159.682
AT ITER 1268 NEW BEST:: SOT 1264165 SOS 767492 HAS SOPS 767492 HAS SOUS 603202 HAS SOUPS 603202 WITH SCORE 603969.492
AT ITER 1277 NEW BEST:: SOT 1264094 SOS 767350 HAS SOPS 767350 HAS SOUS 603060 HAS SOUPS 603060 WITH SCORE 603827.35
AT ITER 1283 NEW BEST:: SOT 1264094 SOS 767350 HAS SOPS 767350 HAS SOUS 603057 HAS SOUPS 603057 WITH SCORE 603824.35
AT ITER 1303 NEW BEST:: SOT 1264092 SOS 766047 HAS SOPS 766047 HAS SOUS 602652 HAS SOUPS 602652 WITH SCORE 603418.047
AT ITER 1310 NEW BEST:: SOT 1263888 SOS 765648 HAS SOPS 765648 HAS SOUS 602253 HAS SOUPS 602253 WITH SCORE 603018.648
AT ITER 1312 NEW BEST:: SOT 1264202 SOS 765575 HAS SOPS 765575 HAS SOUS 602180 HAS SOUPS 602180 WITH SCORE 602945.575
AT ITER 1324 NEW BEST:: SOT 1263976 SOS 765349 HAS SOPS 765349 HAS SOUS 601954 HAS SOUPS 601954 WITH SCORE 602719.349
AT ITER 1325 NEW BEST:: SOT 1264228 SOS 763666 HAS SOPS 763666 HAS SOUS 601708 HAS SOUPS 601708 WITH SCORE 602471.666
AT ITER 1330 NEW BEST:: SOT 1263996 SOS 763279 HAS SOPS 763279 HAS SOUS 601321 HAS SOUPS 601321 WITH SCORE 602084.279
AT ITER 1332 NEW BEST:: SOT 1263671 SOS 761654 HAS SOPS 761654 HAS SOUS 601320 HAS SOUPS 601320 WITH SCORE 602081.654
AT ITER 1341 NEW BEST:: SOT 1263670 SOS 761651 HAS SOPS 761651 HAS SOUS 601317 HAS SOUPS 601317 WITH SCORE 602078.651
AT ITER 1344 NEW BEST:: SOT 1263670 SOS 761639 HAS SOPS 761639 HAS SOUS 601309 HAS SOUPS 601309 WITH SCORE 602070.639
AT ITER 1345 NEW BEST:: SOT 1263421 SOS 760302 HAS SOPS 760302 HAS SOUS 601307 HAS SOUPS 601307 WITH SCORE 602067.302
AT ITER 1350 NEW BEST:: SOT 1263410 SOS 760291 HAS SOPS 760291 HAS SOUS 601296 HAS SOUPS 601296 WITH SCORE 602056.291
AT ITER 1366 NEW BEST:: SOT 1263408 SOS 760333 HAS SOPS 760333 HAS SOUS 601189 HAS SOUPS 601189 WITH SCORE 601949.333
AT ITER 1368 NEW BEST:: SOT 1263529 SOS 759696 HAS SOPS 759696 HAS SOUS 601180 HAS SOUPS 601180 WITH SCORE 601939.696
AT ITER 1370 NEW BEST:: SOT 1263493 SOS 759516 HAS SOPS 759516 HAS SOUS 601180 HAS SOUPS 601180 WITH SCORE 601939.516
AT ITER 1376 NEW BEST:: SOT 1263357 SOS 759262 HAS SOPS 759262 HAS SOUS 600926 HAS SOUPS 600926 WITH SCORE 601685.262
AT ITER 1381 NEW BEST:: SOT 1263116 SOS 759078 HAS SOPS 759078 HAS SOUS 600742 HAS SOUPS 600742 WITH SCORE 601501.078
AT ITER 1406 NEW BEST:: SOT 1262957 SOS 758283 HAS SOPS 758283 HAS SOUS 600742 HAS SOUPS 600742 WITH SCORE 601500.283
AT ITER 1412 NEW BEST:: SOT 1262389 SOS 757716 HAS SOPS 757716 HAS SOUS 598881 HAS SOUPS 598881 WITH SCORE 599638.716
AT ITER 1415 NEW BEST:: SOT 1262814 SOS 756308 HAS SOPS 756308 HAS SOUS 598619 HAS SOUPS 598619 WITH SCORE 599375.308
AT ITER 1418 NEW BEST:: SOT 1262426 SOS 755920 HAS SOPS 755920 HAS SOUS 598231 HAS SOUPS 598231 WITH SCORE 598986.92
AT ITER 1423 NEW BEST:: SOT 1262449 SOS 755910 HAS SOPS 755910 HAS SOUS 598180 HAS SOUPS 598180 WITH SCORE 598935.91
AT ITER 1425 NEW BEST:: SOT 1262449 SOS 755904 HAS SOPS 755904 HAS SOUS 598174 HAS SOUPS 598174 WITH SCORE 598929.904
AT ITER 1430 NEW BEST:: SOT 1262448 SOS 755899 HAS SOPS 755899 HAS SOUS 598174 HAS SOUPS 598174 WITH SCORE 598929.899
AT ITER 1436 NEW BEST:: SOT 1262181 SOS 755897 HAS SOPS 755897 HAS SOUS 598043 HAS SOUPS 598043 WITH SCORE 598798.897
AT ITER 1446 NEW BEST:: SOT 1262122 SOS 755849 HAS SOPS 755849 HAS SOUS 597999 HAS SOUPS 597999 WITH SCORE 598754.849
AT ITER 1449 NEW BEST:: SOT 1263216 SOS 753239 HAS SOPS 753239 HAS SOUS 597822 HAS SOUPS 597822 WITH SCORE 598575.239
AT ITER 1467 NEW BEST:: SOT 1262641 SOS 752662 HAS SOPS 752662 HAS SOUS 597245 HAS SOUPS 597245 WITH SCORE 597997.662
AT ITER 1468 NEW BEST:: SOT 1261627 SOS 750588 HAS SOPS 750588 HAS SOUS 595184 HAS SOUPS 595184 WITH SCORE 595934.588
AT ITER 1469 NEW BEST:: SOT 1260867 SOS 749828 HAS SOPS 749828 HAS SOUS 594424 HAS SOUPS 594424 WITH SCORE 595173.828
AT ITER 1489 NEW BEST:: SOT 1260863 SOS 749812 HAS SOPS 749812 HAS SOUS 594406 HAS SOUPS 594406 WITH SCORE 595155.812
AT ITER 1501 NEW BEST:: SOT 1260327 SOS 749276 HAS SOPS 749276 HAS SOUS 593870 HAS SOUPS 593870 WITH SCORE 594619.276
AT ITER 1507 NEW BEST:: SOT 1260327 SOS 748397 HAS SOPS 748397 HAS SOUS 593870 HAS SOUPS 593870 WITH SCORE 594618.397
AT ITER 1509 NEW BEST:: SOT 1258812 SOS 746882 HAS SOPS 746882 HAS SOUS 592355 HAS SOUPS 592355 WITH SCORE 593101.882
AT ITER 1512 NEW BEST:: SOT 1259131 SOS 745781 HAS SOPS 745781 HAS SOUS 592212 HAS SOUPS 592212 WITH SCORE 592957.781
AT ITER 1513 NEW BEST:: SOT 1259130 SOS 745632 HAS SOPS 745632 HAS SOUS 592055 HAS SOUPS 592055 WITH SCORE 592800.632
AT ITER 1514 NEW BEST:: SOT 1260000 SOS 746382 HAS SOPS 746382 HAS SOUS 591882 HAS SOUPS 591882 WITH SCORE 592628.382
AT ITER 1515 NEW BEST:: SOT 1259999 SOS 745365 HAS SOPS 745365 HAS SOUS 591857 HAS SOUPS 591857 WITH SCORE 592602.365
AT ITER 1518 NEW BEST:: SOT 1260922 SOS 744667 HAS SOPS 744667 HAS SOUS 591816 HAS SOUPS 591816 WITH SCORE 592560.667
AT ITER 1519 NEW BEST:: SOT 1260906 SOS 744611 HAS SOPS 744611 HAS SOUS 591784 HAS SOUPS 591784 WITH SCORE 592528.611
AT ITER 1525 NEW BEST:: SOT 1260579 SOS 744284 HAS SOPS 744284 HAS SOUS 591457 HAS SOUPS 591457 WITH SCORE 592201.284
AT ITER 1530 NEW BEST:: SOT 1260365 SOS 744070 HAS SOPS 744070 HAS SOUS 591243 HAS SOUPS 591243 WITH SCORE 591987.07
AT ITER 1537 NEW BEST:: SOT 1260365 SOS 743046 HAS SOPS 743046 HAS SOUS 591005 HAS SOUPS 591005 WITH SCORE 591748.046
AT ITER 1542 NEW BEST:: SOT 1260001 SOS 742500 HAS SOPS 742500 HAS SOUS 590459 HAS SOUPS 590459 WITH SCORE 591201.5
AT ITER 1553 NEW BEST:: SOT 1259801 SOS 742298 HAS SOPS 742298 HAS SOUS 590256 HAS SOUPS 590256 WITH SCORE 590998.298
AT ITER 1556 NEW BEST:: SOT 1259650 SOS 741543 HAS SOPS 741543 HAS SOUS 590255 HAS SOUPS 590255 WITH SCORE 590996.543
AT ITER 1562 NEW BEST:: SOT 1259106 SOS 740373 HAS SOPS 740373 HAS SOUS 589173 HAS SOUPS 589173 WITH SCORE 589913.373
AT ITER 1563 NEW BEST:: SOT 1258914 SOS 739605 HAS SOPS 739605 HAS SOUS 589013 HAS SOUPS 589013 WITH SCORE 589752.605
AT ITER 1567 NEW BEST:: SOT 1259006 SOS 739466 HAS SOPS 739466 HAS SOUS 588874 HAS SOUPS 588874 WITH SCORE 589613.466
AT ITER 1570 NEW BEST:: SOT 1258862 SOS 739320 HAS SOPS 739320 HAS SOUS 588584 HAS SOUPS 588584 WITH SCORE 589323.32
AT ITER 1574 NEW BEST:: SOT 1258810 SOS 739268 HAS SOPS 739268 HAS SOUS 588532 HAS SOUPS 588532 WITH SCORE 589271.268
AT ITER 1577 NEW BEST:: SOT 1258808 SOS 739266 HAS SOPS 739266 HAS SOUS 588530 HAS SOUPS 588530 WITH SCORE 589269.266
AT ITER 1585 NEW BEST:: SOT 1258764 SOS 738416 HAS SOPS 738416 HAS SOUS 588529 HAS SOUPS 588529 WITH SCORE 589267.416
AT ITER 1587 NEW BEST:: SOT 1258764 SOS 736800 HAS SOPS 736800 HAS SOUS 588529 HAS SOUPS 588529 WITH SCORE 589265.8
AT ITER 1589 NEW BEST:: SOT 1258589 SOS 736506 HAS SOPS 736506 HAS SOUS 588235 HAS SOUPS 588235 WITH SCORE 588971.506
AT ITER 1592 NEW BEST:: SOT 1258755 SOS 736443 HAS SOPS 736443 HAS SOUS 588172 HAS SOUPS 588172 WITH SCORE 588908.443
AT ITER 1606 NEW BEST:: SOT 1258471 SOS 734274 HAS SOPS 734274 HAS SOUS 587273 HAS SOUPS 587273 WITH SCORE 588007.274
AT ITER 1609 NEW BEST:: SOT 1257671 SOS 733474 HAS SOPS 733474 HAS SOUS 586220 HAS SOUPS 586220 WITH SCORE 586953.474
AT ITER 1623 NEW BEST:: SOT 1257063 SOS 732866 HAS SOPS 732866 HAS SOUS 585612 HAS SOUPS 585612 WITH SCORE 586344.866
AT ITER 1644 NEW BEST:: SOT 1257063 SOS 732834 HAS SOPS 732834 HAS SOUS 585580 HAS SOUPS 585580 WITH SCORE 586312.834
AT ITER 1651 NEW BEST:: SOT 1257059 SOS 732830 HAS SOPS 732830 HAS SOUS 585576 HAS SOUPS 585576 WITH SCORE 586308.83
AT ITER 1653 NEW BEST:: SOT 1257124 SOS 731629 HAS SOPS 731629 HAS SOUS 585506 HAS SOUPS 585506 WITH SCORE 586237.629
AT ITER 1657 NEW BEST:: SOT 1256861 SOS 731365 HAS SOPS 731365 HAS SOUS 585242 HAS SOUPS 585242 WITH SCORE 585973.365
AT ITER 1663 NEW BEST:: SOT 1256753 SOS 730825 HAS SOPS 730825 HAS SOUS 584927 HAS SOUPS 584927 WITH SCORE 585657.825
AT ITER 1665 NEW BEST:: SOT 1256420 SOS 728766 HAS SOPS 728766 HAS SOUS 584927 HAS SOUPS 584927 WITH SCORE 585655.766
AT ITER 1692 NEW BEST:: SOT 1256408 SOS 728754 HAS SOPS 728754 HAS SOUS 584915 HAS SOUPS 584915 WITH SCORE 585643.754
AT ITER 1697 NEW BEST:: SOT 1256494 SOS 728705 HAS SOPS 728705 HAS SOUS 584866 HAS SOUPS 584866 WITH SCORE 585594.705
AT ITER 1709 NEW BEST:: SOT 1256477 SOS 728657 HAS SOPS 728657 HAS SOUS 584818 HAS SOUPS 584818 WITH SCORE 585546.657
AT ITER 1713 NEW BEST:: SOT 1255935 SOS 728113 HAS SOPS 728113 HAS SOUS 584274 HAS SOUPS 584274 WITH SCORE 585002.113
AT ITER 1720 NEW BEST:: SOT 1255929 SOS 728107 HAS SOPS 728107 HAS SOUS 584255 HAS SOUPS 584255 WITH SCORE 584983.107
AT ITER 1721 NEW BEST:: SOT 1255926 SOS 728104 HAS SOPS 728104 HAS SOUS 584252 HAS SOUPS 584252 WITH SCORE 584980.104
AT ITER 1727 NEW BEST:: SOT 1255804 SOS 727494 HAS SOPS 727494 HAS SOUS 584250 HAS SOUPS 584250 WITH SCORE 584977.494
AT ITER 1730 NEW BEST:: SOT 1255804 SOS 727553 HAS SOPS 727553 HAS SOUS 584191 HAS SOUPS 584191 WITH SCORE 584918.553
AT ITER 1741 NEW BEST:: SOT 1255595 SOS 727323 HAS SOPS 727323 HAS SOUS 583961 HAS SOUPS 583961 WITH SCORE 584688.323
AT ITER 1747 NEW BEST:: SOT 1255322 SOS 727050 HAS SOPS 727050 HAS SOUS 583688 HAS SOUPS 583688 WITH SCORE 584415.05
AT ITER 1761 NEW BEST:: SOT 1254938 SOS 726320 HAS SOPS 726320 HAS SOUS 582925 HAS SOUPS 582925 WITH SCORE 583651.32
AT ITER 1771 NEW BEST:: SOT 1254691 SOS 725085 HAS SOPS 725085 HAS SOUS 582924 HAS SOUPS 582924 WITH SCORE 583649.085
AT ITER 1774 NEW BEST:: SOT 1254347 SOS 724733 HAS SOPS 724733 HAS SOUS 582560 HAS SOUPS 582560 WITH SCORE 583284.733
AT ITER 1777 NEW BEST:: SOT 1254287 SOS 724398 HAS SOPS 724398 HAS SOUS 582558 HAS SOUPS 582558 WITH SCORE 583282.398
AT ITER 1780 NEW BEST:: SOT 1253573 SOS 723684 HAS SOPS 723684 HAS SOUS 581844 HAS SOUPS 581844 WITH SCORE 582567.684
AT ITER 1785 NEW BEST:: SOT 1253982 SOS 721635 HAS SOPS 721635 HAS SOUS 581092 HAS SOUPS 581092 WITH SCORE 581813.635
AT ITER 1793 NEW BEST:: SOT 1253956 SOS 721609 HAS SOPS 721609 HAS SOUS 581066 HAS SOUPS 581066 WITH SCORE 581787.609
AT ITER 1806 NEW BEST:: SOT 1254102 SOS 720244 HAS SOPS 720244 HAS SOUS 580593 HAS SOUPS 580593 WITH SCORE 581313.244
AT ITER 1821 NEW BEST:: SOT 1253908 SOS 720108 HAS SOPS 720108 HAS SOUS 580457 HAS SOUPS 580457 WITH SCORE 581177.108
AT ITER 1841 NEW BEST:: SOT 1253753 SOS 719654 HAS SOPS 719654 HAS SOUS 579222 HAS SOUPS 579222 WITH SCORE 579941.654
AT ITER 1843 NEW BEST:: SOT 1253762 SOS 719661 HAS SOPS 719661 HAS SOUS 579211 HAS SOUPS 579211 WITH SCORE 579930.661
AT ITER 1852 NEW BEST:: SOT 1253861 SOS 719397 HAS SOPS 719397 HAS SOUS 578947 HAS SOUPS 578947 WITH SCORE 579666.397
AT ITER 1857 NEW BEST:: SOT 1253861 SOS 719242 HAS SOPS 719242 HAS SOUS 578947 HAS SOUPS 578947 WITH SCORE 579666.242
AT ITER 1890 NEW BEST:: SOT 1253281 SOS 718662 HAS SOPS 718662 HAS SOUS 578367 HAS SOUPS 578367 WITH SCORE 579085.662
AT ITER 1903 NEW BEST:: SOT 1252080 SOS 718572 HAS SOPS 718572 HAS SOUS 577918 HAS SOUPS 577918 WITH SCORE 578636.572
AT ITER 1904 NEW BEST:: SOT 1252044 SOS 718479 HAS SOPS 718479 HAS SOUS 577825 HAS SOUPS 577825 WITH SCORE 578543.479
AT ITER 1906 NEW BEST:: SOT 1251943 SOS 718186 HAS SOPS 718186 HAS SOUS 577532 HAS SOUPS 577532 WITH SCORE 578250.186
AT ITER 1917 NEW BEST:: SOT 1250757 SOS 716932 HAS SOPS 716932 HAS SOUS 576354 HAS SOUPS 576354 WITH SCORE 577070.932
AT ITER 1932 NEW BEST:: SOT 1250527 SOS 716702 HAS SOPS 716702 HAS SOUS 576124 HAS SOUPS 576124 WITH SCORE 576840.702
AT ITER 1934 NEW BEST:: SOT 1250598 SOS 716024 HAS SOPS 716024 HAS SOUS 575446 HAS SOUPS 575446 WITH SCORE 576162.024
AT ITER 1935 NEW BEST:: SOT 1250598 SOS 716022 HAS SOPS 716022 HAS SOUS 575443 HAS SOUPS 575443 WITH SCORE 576159.022
AT ITER 1943 NEW BEST:: SOT 1250088 SOS 715550 HAS SOPS 715550 HAS SOUS 575009 HAS SOUPS 575009 WITH SCORE 575724.55
AT ITER 1958 NEW BEST:: SOT 1250086 SOS 715548 HAS SOPS 715548 HAS SOUS 575007 HAS SOUPS 575007 WITH SCORE 575722.548
AT ITER 1965 NEW BEST:: SOT 1250936 SOS 712304 HAS SOPS 712304 HAS SOUS 574789 HAS SOUPS 574789 WITH SCORE 575501.304
AT ITER 1968 NEW BEST:: SOT 1250812 SOS 712180 HAS SOPS 712180 HAS SOUS 574665 HAS SOUPS 574665 WITH SCORE 575377.18
AT ITER 1970 NEW BEST:: SOT 1250794 SOS 710522 HAS SOPS 710522 HAS SOUS 574605 HAS SOUPS 574605 WITH SCORE 575315.522
AT ITER 1972 NEW BEST:: SOT 1250409 SOS 709573 HAS SOPS 709573 HAS SOUS 573655 HAS SOUPS 573655 WITH SCORE 574364.573
AT ITER 1987 NEW BEST:: SOT 1249971 SOS 709299 HAS SOPS 709299 HAS SOUS 573381 HAS SOUPS 573381 WITH SCORE 574090.299
AT ITER 2010 NEW BEST:: SOT 1249905 SOS 709233 HAS SOPS 709233 HAS SOUS 573315 HAS SOUPS 573315 WITH SCORE 574024.233
AT ITER 2015 NEW BEST:: SOT 1249420 SOS 708060 HAS SOPS 708060 HAS SOUS 571691 HAS SOUPS 571691 WITH SCORE 572399.06
AT ITER 2019 NEW BEST:: SOT 1249330 SOS 708027 HAS SOPS 708027 HAS SOUS 571631 HAS SOUPS 571631 WITH SCORE 572339.027
AT ITER 2020 NEW BEST:: SOT 1249164 SOS 707849 HAS SOPS 707849 HAS SOUS 571453 HAS SOUPS 571453 WITH SCORE 572160.849
AT ITER 2030 NEW BEST:: SOT 1249208 SOS 707981 HAS SOPS 707981 HAS SOUS 571452 HAS SOUPS 571452 WITH SCORE 572159.981
AT ITER 2032 NEW BEST:: SOT 1249035 SOS 707806 HAS SOPS 707806 HAS SOUS 571277 HAS SOUPS 571277 WITH SCORE 571984.806
AT ITER 2037 NEW BEST:: SOT 1248987 SOS 707758 HAS SOPS 707758 HAS SOUS 571229 HAS SOUPS 571229 WITH SCORE 571936.758
AT ITER 2041 NEW BEST:: SOT 1248986 SOS 707755 HAS SOPS 707755 HAS SOUS 571226 HAS SOUPS 571226 WITH SCORE 571933.755
AT ITER 2043 NEW BEST:: SOT 1248936 SOS 707705 HAS SOPS 707705 HAS SOUS 571176 HAS SOUPS 571176 WITH SCORE 571883.705
AT ITER 2044 NEW BEST:: SOT 1248635 SOS 706071 HAS SOPS 706071 HAS SOUS 570772 HAS SOUPS 570772 WITH SCORE 571478.071
AT ITER 2046 NEW BEST:: SOT 1248635 SOS 705714 HAS SOPS 705714 HAS SOUS 570772 HAS SOUPS 570772 WITH SCORE 571477.714
AT ITER 2051 NEW BEST:: SOT 1248635 SOS 705692 HAS SOPS 705692 HAS SOUS 570772 HAS SOUPS 570772 WITH SCORE 571477.692
AT ITER 2056 NEW BEST:: SOT 1248567 SOS 705624 HAS SOPS 705624 HAS SOUS 570704 HAS SOUPS 570704 WITH SCORE 571409.624
AT ITER 2060 NEW BEST:: SOT 1248597 SOS 705520 HAS SOPS 705520 HAS SOUS 570600 HAS SOUPS 570600 WITH SCORE 571305.52
AT ITER 2061 NEW BEST:: SOT 1248597 SOS 705258 HAS SOPS 705258 HAS SOUS 570598 HAS SOUPS 570598 WITH SCORE 571303.258
AT ITER 2062 NEW BEST:: SOT 1248597 SOS 705131 HAS SOPS 705131 HAS SOUS 570475 HAS SOUPS 570475 WITH SCORE 571180.131
AT ITER 2083 NEW BEST:: SOT 1248711 SOS 704814 HAS SOPS 704814 HAS SOUS 570337 HAS SOUPS 570337 WITH SCORE 571041.814
AT ITER 2084 NEW BEST:: SOT 1248699 SOS 704790 HAS SOPS 704790 HAS SOUS 570313 HAS SOUPS 570313 WITH SCORE 571017.79
AT ITER 2086 NEW BEST:: SOT 1248699 SOS 704803 HAS SOPS 704803 HAS SOUS 570300 HAS SOUPS 570300 WITH SCORE 571004.803
AT ITER 2095 NEW BEST:: SOT 1247829 SOS 703933 HAS SOPS 703933 HAS SOUS 569430 HAS SOUPS 569430 WITH SCORE 570133.933
AT ITER 2099 NEW BEST:: SOT 1247704 SOS 703808 HAS SOPS 703808 HAS SOUS 569305 HAS SOUPS 569305 WITH SCORE 570008.808
AT ITER 2105 NEW BEST:: SOT 1247245 SOS 703168 HAS SOPS 703168 HAS SOUS 568665 HAS SOUPS 568665 WITH SCORE 569368.168
AT ITER 2107 NEW BEST:: SOT 1247175 SOS 703098 HAS SOPS 703098 HAS SOUS 568595 HAS SOUPS 568595 WITH SCORE 569298.098
AT ITER 2110 NEW BEST:: SOT 1247137 SOS 702908 HAS SOPS 702908 HAS SOUS 568595 HAS SOUPS 568595 WITH SCORE 569297.908
AT ITER 2112 NEW BEST:: SOT 1247257 SOS 703086 HAS SOPS 703086 HAS SOUS 568533 HAS SOUPS 568533 WITH SCORE 569236.086
AT ITER 2113 NEW BEST:: SOT 1247191 SOS 703020 HAS SOPS 703020 HAS SOUS 568533 HAS SOUPS 568533 WITH SCORE 569236.02
AT ITER 2125 NEW BEST:: SOT 1247142 SOS 702971 HAS SOPS 702971 HAS SOUS 568484 HAS SOUPS 568484 WITH SCORE 569186.971
AT ITER 2142 NEW BEST:: SOT 1247139 SOS 702968 HAS SOPS 702968 HAS SOUS 568481 HAS SOUPS 568481 WITH SCORE 569183.968
AT ITER 2143 NEW BEST:: SOT 1247002 SOS 702852 HAS SOPS 702852 HAS SOUS 568366 HAS SOUPS 568366 WITH SCORE 569068.852
AT ITER 2144 NEW BEST:: SOT 1246650 SOS 702023 HAS SOPS 702023 HAS SOUS 567666 HAS SOUPS 567666 WITH SCORE 568368.023
AT ITER 2152 NEW BEST:: SOT 1246581 SOS 701804 HAS SOPS 701804 HAS SOUS 567569 HAS SOUPS 567569 WITH SCORE 568270.804
AT ITER 2161 NEW BEST:: SOT 1246341 SOS 701561 HAS SOPS 701561 HAS SOUS 567325 HAS SOUPS 567325 WITH SCORE 568026.561
AT ITER 2184 NEW BEST:: SOT 1246212 SOS 701024 HAS SOPS 701024 HAS SOUS 567304 HAS SOUPS 567304 WITH SCORE 568005.024
AT ITER 2191 NEW BEST:: SOT 1245917 SOS 699424 HAS SOPS 699424 HAS SOUS 567302 HAS SOUPS 567302 WITH SCORE 568001.424
AT ITER 2192 NEW BEST:: SOT 1245315 SOS 698791 HAS SOPS 698791 HAS SOUS 566669 HAS SOUPS 566669 WITH SCORE 567367.791
AT ITER 2207 NEW BEST:: SOT 1245681 SOS 698692 HAS SOPS 698692 HAS SOUS 566500 HAS SOUPS 566500 WITH SCORE 567198.692
AT ITER 2217 NEW BEST:: SOT 1245644 SOS 698655 HAS SOPS 698655 HAS SOUS 566463 HAS SOUPS 566463 WITH SCORE 567161.655
AT ITER 2218 NEW BEST:: SOT 1245521 SOS 698539 HAS SOPS 698539 HAS SOUS 566340 HAS SOUPS 566340 WITH SCORE 567038.539
AT ITER 2223 NEW BEST:: SOT 1245028 SOS 698102 HAS SOPS 698102 HAS SOUS 565800 HAS SOUPS 565800 WITH SCORE 566498.102
AT ITER 2224 NEW BEST:: SOT 1244924 SOS 697998 HAS SOPS 697998 HAS SOUS 565696 HAS SOUPS 565696 WITH SCORE 566393.998
AT ITER 2228 NEW BEST:: SOT 1244912 SOS 697978 HAS SOPS 697978 HAS SOUS 565666 HAS SOUPS 565666 WITH SCORE 566363.978
AT ITER 2229 NEW BEST:: SOT 1245485 SOS 695765 HAS SOPS 695765 HAS SOUS 565319 HAS SOUPS 565319 WITH SCORE 566014.765
AT ITER 2232 NEW BEST:: SOT 1245485 SOS 695730 HAS SOPS 695730 HAS SOUS 565284 HAS SOUPS 565284 WITH SCORE 565979.73
AT ITER 2233 NEW BEST:: SOT 1245485 SOS 695728 HAS SOPS 695728 HAS SOUS 565283 HAS SOUPS 565283 WITH SCORE 565978.728
AT ITER 2240 NEW BEST:: SOT 1245292 SOS 695843 HAS SOPS 695843 HAS SOUS 565167 HAS SOUPS 565167 WITH SCORE 565862.843
AT ITER 2257 NEW BEST:: SOT 1245202 SOS 695663 HAS SOPS 695663 HAS SOUS 564987 HAS SOUPS 564987 WITH SCORE 565682.663
AT ITER 2260 NEW BEST:: SOT 1245229 SOS 695681 HAS SOPS 695681 HAS SOUS 564714 HAS SOUPS 564714 WITH SCORE 565409.681
AT ITER 2266 NEW BEST:: SOT 1245063 SOS 695164 HAS SOPS 695164 HAS SOUS 564625 HAS SOUPS 564625 WITH SCORE 565320.164
AT ITER 2269 NEW BEST:: SOT 1245036 SOS 695123 HAS SOPS 695123 HAS SOUS 564584 HAS SOUPS 564584 WITH SCORE 565279.123
AT ITER 2285 NEW BEST:: SOT 1244266 SOS 693835 HAS SOPS 693835 HAS SOUS 563296 HAS SOUPS 563296 WITH SCORE 563989.835
AT ITER 2286 NEW BEST:: SOT 1243866 SOS 693597 HAS SOPS 693597 HAS SOUS 563058 HAS SOUPS 563058 WITH SCORE 563751.597
AT ITER 2294 NEW BEST:: SOT 1243787 SOS 693123 HAS SOPS 693123 HAS SOUS 562977 HAS SOUPS 562977 WITH SCORE 563670.123
AT ITER 2297 NEW BEST:: SOT 1243636 SOS 692970 HAS SOPS 692970 HAS SOUS 562824 HAS SOUPS 562824 WITH SCORE 563516.97
AT ITER 2306 NEW BEST:: SOT 1243637 SOS 692971 HAS SOPS 692971 HAS SOUS 562818 HAS SOUPS 562818 WITH SCORE 563510.971
AT ITER 2315 NEW BEST:: SOT 1243183 SOS 692515 HAS SOPS 692515 HAS SOUS 562362 HAS SOUPS 562362 WITH SCORE 563054.515
AT ITER 2316 NEW BEST:: SOT 1243070 SOS 692327 HAS SOPS 692327 HAS SOUS 562174 HAS SOUPS 562174 WITH SCORE 562866.327
AT ITER 2333 NEW BEST:: SOT 1242996 SOS 692001 HAS SOPS 692001 HAS SOUS 561947 HAS SOUPS 561947 WITH SCORE 562639.001
AT ITER 2335 NEW BEST:: SOT 1242829 SOS 690486 HAS SOPS 690486 HAS SOUS 561434 HAS SOUPS 561434 WITH SCORE 562124.486
AT ITER 2340 NEW BEST:: SOT 1242829 SOS 690174 HAS SOPS 690174 HAS SOUS 561356 HAS SOUPS 561356 WITH SCORE 562046.174
AT ITER 2355 NEW BEST:: SOT 1242402 SOS 689951 HAS SOPS 689951 HAS SOUS 561031 HAS SOUPS 561031 WITH SCORE 561720.951
AT ITER 2363 NEW BEST:: SOT 1242401 SOS 689950 HAS SOPS 689950 HAS SOUS 561030 HAS SOUPS 561030 WITH SCORE 561719.95
AT ITER 2365 NEW BEST:: SOT 1242241 SOS 689612 HAS SOPS 689612 HAS SOUS 560648 HAS SOUPS 560648 WITH SCORE 561337.612
AT ITER 2368 NEW BEST:: SOT 1241749 SOS 689119 HAS SOPS 689119 HAS SOUS 560154 HAS SOUPS 560154 WITH SCORE 560843.119
AT ITER 2369 NEW BEST:: SOT 1241661 SOS 688976 HAS SOPS 688976 HAS SOUS 560011 HAS SOUPS 560011 WITH SCORE 560699.976
AT ITER 2371 NEW BEST:: SOT 1241076 SOS 688553 HAS SOPS 688553 HAS SOUS 559818 HAS SOUPS 559818 WITH SCORE 560506.553
AT ITER 2376 NEW BEST:: SOT 1241429 SOS 688506 HAS SOPS 688506 HAS SOUS 559771 HAS SOUPS 559771 WITH SCORE 560459.506
AT ITER 2382 NEW BEST:: SOT 1241176 SOS 687906 HAS SOPS 687906 HAS SOUS 559182 HAS SOUPS 559182 WITH SCORE 559869.906
AT ITER 2409 NEW BEST:: SOT 1241176 SOS 687894 HAS SOPS 687894 HAS SOUS 559174 HAS SOUPS 559174 WITH SCORE 559861.894
AT ITER 2422 NEW BEST:: SOT 1241145 SOS 687863 HAS SOPS 687863 HAS SOUS 559143 HAS SOUPS 559143 WITH SCORE 559830.863
AT ITER 2437 NEW BEST:: SOT 1240904 SOS 687140 HAS SOPS 687140 HAS SOUS 559143 HAS SOUPS 559143 WITH SCORE 559830.14
AT ITER 2443 NEW BEST:: SOT 1240608 SOS 686892 HAS SOPS 686892 HAS SOUS 558895 HAS SOUPS 558895 WITH SCORE 559581.892
AT ITER 2446 NEW BEST:: SOT 1240602 SOS 686886 HAS SOPS 686886 HAS SOUS 558889 HAS SOUPS 558889 WITH SCORE 559575.886
AT ITER 2457 NEW BEST:: SOT 1239909 SOS 683445 HAS SOPS 683445 HAS SOUS 557245 HAS SOUPS 557245 WITH SCORE 557928.445
AT ITER 2460 NEW BEST:: SOT 1239903 SOS 683286 HAS SOPS 683286 HAS SOUS 556843 HAS SOUPS 556843 WITH SCORE 557526.286
AT ITER 2463 NEW BEST:: SOT 1239885 SOS 683268 HAS SOPS 683268 HAS SOUS 556842 HAS SOUPS 556842 WITH SCORE 557525.268
AT ITER 2469 NEW BEST:: SOT 1239523 SOS 682890 HAS SOPS 682890 HAS SOUS 556464 HAS SOUPS 556464 WITH SCORE 557146.89
AT ITER 2474 NEW BEST:: SOT 1239102 SOS 680785 HAS SOPS 680785 HAS SOUS 556464 HAS SOUPS 556464 WITH SCORE 557144.785
AT ITER 2498 NEW BEST:: SOT 1239100 SOS 680783 HAS SOPS 680783 HAS SOUS 556462 HAS SOUPS 556462 WITH SCORE 557142.783
AT ITER 2499 NEW BEST:: SOT 1238783 SOS 680723 HAS SOPS 680723 HAS SOUS 556402 HAS SOUPS 556402 WITH SCORE 557082.723
AT ITER 2504 NEW BEST:: SOT 1238769 SOS 680099 HAS SOPS 680099 HAS SOUS 555765 HAS SOUPS 555765 WITH SCORE 556445.099
AT ITER 2513 NEW BEST:: SOT 1238649 SOS 679979 HAS SOPS 679979 HAS SOUS 555645 HAS SOUPS 555645 WITH SCORE 556324.979
AT ITER 2532 NEW BEST:: SOT 1237314 SOS 678516 HAS SOPS 678516 HAS SOUS 554007 HAS SOUPS 554007 WITH SCORE 554685.516
AT ITER 2534 NEW BEST:: SOT 1237058 SOS 677740 HAS SOPS 677740 HAS SOUS 553452 HAS SOUPS 553452 WITH SCORE 554129.74
AT ITER 2539 NEW BEST:: SOT 1236768 SOS 677463 HAS SOPS 677463 HAS SOUS 553178 HAS SOUPS 553178 WITH SCORE 553855.463
AT ITER 2544 NEW BEST:: SOT 1236520 SOS 676920 HAS SOPS 676920 HAS SOUS 552650 HAS SOUPS 552650 WITH SCORE 553326.92
AT ITER 2559 NEW BEST:: SOT 1235821 SOS 675811 HAS SOPS 675811 HAS SOUS 551470 HAS SOUPS 551470 WITH SCORE 552145.811
AT ITER 2561 NEW BEST:: SOT 1235475 SOS 674081 HAS SOPS 674081 HAS SOUS 551470 HAS SOUPS 551470 WITH SCORE 552144.081
AT ITER 2571 NEW BEST:: SOT 1235165 SOS 673586 HAS SOPS 673586 HAS SOUS 550975 HAS SOUPS 550975 WITH SCORE 551648.586
AT ITER 2574 NEW BEST:: SOT 1235141 SOS 673562 HAS SOPS 673562 HAS SOUS 550951 HAS SOUPS 550951 WITH SCORE 551624.562
AT ITER 2575 NEW BEST:: SOT 1235141 SOS 673450 HAS SOPS 673450 HAS SOUS 550951 HAS SOUPS 550951 WITH SCORE 551624.45
AT ITER 2576 NEW BEST:: SOT 1234709 SOS 672996 HAS SOPS 672996 HAS SOUS 550275 HAS SOUPS 550275 WITH SCORE 550947.996
AT ITER 2594 NEW BEST:: SOT 1234576 SOS 672451 HAS SOPS 672451 HAS SOUS 550155 HAS SOUPS 550155 WITH SCORE 550827.451
AT ITER 2596 NEW BEST:: SOT 1234576 SOS 672456 HAS SOPS 672456 HAS SOUS 550128 HAS SOUPS 550128 WITH SCORE 550800.456
AT ITER 2597 NEW BEST:: SOT 1234576 SOS 672439 HAS SOPS 672439 HAS SOUS 550127 HAS SOUPS 550127 WITH SCORE 550799.439
AT ITER 2599 NEW BEST:: SOT 1234054 SOS 669416 HAS SOPS 669416 HAS SOUS 549288 HAS SOUPS 549288 WITH SCORE 549957.416
AT ITER 2603 NEW BEST:: SOT 1233856 SOS 669218 HAS SOPS 669218 HAS SOUS 549090 HAS SOUPS 549090 WITH SCORE 549759.218
AT ITER 2609 NEW BEST:: SOT 1233633 SOS 669410 HAS SOPS 669410 HAS SOUS 549059 HAS SOUPS 549059 WITH SCORE 549728.41
AT ITER 2610 NEW BEST:: SOT 1233617 SOS 669330 HAS SOPS 669330 HAS SOUS 549027 HAS SOUPS 549027 WITH SCORE 549696.33
AT ITER 2613 NEW BEST:: SOT 1233641 SOS 669102 HAS SOPS 669102 HAS SOUS 548799 HAS SOUPS 548799 WITH SCORE 549468.102
AT ITER 2617 NEW BEST:: SOT 1233449 SOS 668971 HAS SOPS 668971 HAS SOUS 548668 HAS SOUPS 548668 WITH SCORE 549336.971
AT ITER 2635 NEW BEST:: SOT 1233364 SOS 668583 HAS SOPS 668583 HAS SOUS 548090 HAS SOUPS 548090 WITH SCORE 548758.583
AT ITER 2636 NEW BEST:: SOT 1233028 SOS 667407 HAS SOPS 667407 HAS SOUS 547418 HAS SOUPS 547418 WITH SCORE 548085.407
AT ITER 2637 NEW BEST:: SOT 1233028 SOS 667393 HAS SOPS 667393 HAS SOUS 547418 HAS SOUPS 547418 WITH SCORE 548085.393
AT ITER 2643 NEW BEST:: SOT 1232948 SOS 667385 HAS SOPS 667385 HAS SOUS 547410 HAS SOUPS 547410 WITH SCORE 548077.385
AT ITER 2648 NEW BEST:: SOT 1232947 SOS 667042 HAS SOPS 667042 HAS SOUS 547344 HAS SOUPS 547344 WITH SCORE 548011.042
AT ITER 2651 NEW BEST:: SOT 1232947 SOS 666873 HAS SOPS 666873 HAS SOUS 547344 HAS SOUPS 547344 WITH SCORE 548010.873
AT ITER 2655 NEW BEST:: SOT 1232920 SOS 666630 HAS SOPS 666630 HAS SOUS 547343 HAS SOUPS 547343 WITH SCORE 548009.63
AT ITER 2667 NEW BEST:: SOT 1232937 SOS 666554 HAS SOPS 666554 HAS SOUS 547278 HAS SOUPS 547278 WITH SCORE 547944.554
AT ITER 2685 NEW BEST:: SOT 1232937 SOS 666549 HAS SOPS 666549 HAS SOUS 546904 HAS SOUPS 546904 WITH SCORE 547570.549
AT ITER 2705 NEW BEST:: SOT 1232937 SOS 666500 HAS SOPS 666500 HAS SOUS 546855 HAS SOUPS 546855 WITH SCORE 547521.5
AT ITER 2710 NEW BEST:: SOT 1232780 SOS 664975 HAS SOPS 664975 HAS SOUS 546846 HAS SOUPS 546846 WITH SCORE 547510.975
AT ITER 2721 NEW BEST:: SOT 1233017 SOS 664073 HAS SOPS 664073 HAS SOUS 546596 HAS SOUPS 546596 WITH SCORE 547260.073
AT ITER 2723 NEW BEST:: SOT 1232963 SOS 664053 HAS SOPS 664053 HAS SOUS 546576 HAS SOUPS 546576 WITH SCORE 547240.053
AT ITER 2731 NEW BEST:: SOT 1232703 SOS 663582 HAS SOPS 663582 HAS SOUS 546105 HAS SOUPS 546105 WITH SCORE 546768.582
AT ITER 2770 NEW BEST:: SOT 1232481 SOS 663360 HAS SOPS 663360 HAS SOUS 545883 HAS SOUPS 545883 WITH SCORE 546546.36
AT ITER 2775 NEW BEST:: SOT 1232481 SOS 663360 HAS SOPS 663360 HAS SOUS 545882 HAS SOUPS 545882 WITH SCORE 546545.36
AT ITER 2798 NEW BEST:: SOT 1232322 SOS 663199 HAS SOPS 663199 HAS SOUS 545721 HAS SOUPS 545721 WITH SCORE 546384.199
AT ITER 2808 NEW BEST:: SOT 1232318 SOS 663094 HAS SOPS 663094 HAS SOUS 545669 HAS SOUPS 545669 WITH SCORE 546332.094
AT ITER 2819 NEW BEST:: SOT 1232271 SOS 662968 HAS SOPS 662968 HAS SOUS 545543 HAS SOUPS 545543 WITH SCORE 546205.968
AT ITER 2830 NEW BEST:: SOT 1232070 SOS 661720 HAS SOPS 661720 HAS SOUS 544894 HAS SOUPS 544894 WITH SCORE 545555.72
AT ITER 2833 NEW BEST:: SOT 1231758 SOS 661408 HAS SOPS 661408 HAS SOUS 544582 HAS SOUPS 544582 WITH SCORE 545243.408
AT ITER 2838 NEW BEST:: SOT 1231855 SOS 661407 HAS SOPS 661407 HAS SOUS 544581 HAS SOUPS 544581 WITH SCORE 545242.407
AT ITER 2850 NEW BEST:: SOT 1231528 SOS 660952 HAS SOPS 660952 HAS SOUS 544226 HAS SOUPS 544226 WITH SCORE 544886.952
AT ITER 2859 NEW BEST:: SOT 1231495 SOS 660820 HAS SOPS 660820 HAS SOUS 544193 HAS SOUPS 544193 WITH SCORE 544853.82
AT ITER 2870 NEW BEST:: SOT 1231291 SOS 660617 HAS SOPS 660617 HAS SOUS 543990 HAS SOUPS 543990 WITH SCORE 544650.617
AT ITER 2881 NEW BEST:: SOT 1231291 SOS 660615 HAS SOPS 660615 HAS SOUS 543988 HAS SOUPS 543988 WITH SCORE 544648.615
AT ITER 2883 NEW BEST:: SOT 1230730 SOS 660034 HAS SOPS 660034 HAS SOUS 543417 HAS SOUPS 543417 WITH SCORE 544077.034
AT ITER 2895 NEW BEST:: SOT 1230034 SOS 659335 HAS SOPS 659335 HAS SOUS 542717 HAS SOUPS 542717 WITH SCORE 543376.335
AT ITER 2901 NEW BEST:: SOT 1229915 SOS 658867 HAS SOPS 658867 HAS SOUS 542303 HAS SOUPS 542303 WITH SCORE 542961.867
AT ITER 2905 NEW BEST:: SOT 1229385 SOS 658229 HAS SOPS 658229 HAS SOUS 541570 HAS SOUPS 541570 WITH SCORE 542228.229
AT ITER 2920 NEW BEST:: SOT 1229284 SOS 658135 HAS SOPS 658135 HAS SOUS 541476 HAS SOUPS 541476 WITH SCORE 542134.135
AT ITER 2926 NEW BEST:: SOT 1228994 SOS 657265 HAS SOPS 657265 HAS SOUS 541475 HAS SOUPS 541475 WITH SCORE 542132.265
AT ITER 2943 NEW BEST:: SOT 1228818 SOS 657089 HAS SOPS 657089 HAS SOUS 541299 HAS SOUPS 541299 WITH SCORE 541956.089
AT ITER 2945 NEW BEST:: SOT 1228727 SOS 656965 HAS SOPS 656965 HAS SOUS 541175 HAS SOUPS 541175 WITH SCORE 541831.965
AT ITER 2951 NEW BEST:: SOT 1228796 SOS 656908 HAS SOPS 656908 HAS SOUS 541082 HAS SOUPS 541082 WITH SCORE 541738.908
AT ITER 2960 NEW BEST:: SOT 1228741 SOS 656851 HAS SOPS 656851 HAS SOUS 541025 HAS SOUPS 541025 WITH SCORE 541681.851
AT ITER 2963 NEW BEST:: SOT 1227995 SOS 655646 HAS SOPS 655646 HAS SOUS 539993 HAS SOUPS 539993 WITH SCORE 540648.646
AT ITER 2964 NEW BEST:: SOT 1228087 SOS 655558 HAS SOPS 655558 HAS SOUS 539793 HAS SOUPS 539793 WITH SCORE 540448.558
AT ITER 2969 NEW BEST:: SOT 1228078 SOS 655368 HAS SOPS 655368 HAS SOUS 539604 HAS SOUPS 539604 WITH SCORE 540259.368
AT ITER 2996 NEW BEST:: SOT 1227746 SOS 653252 HAS SOPS 653252 HAS SOUS 539603 HAS SOUPS 539603 WITH SCORE 540256.252
AT ITER 3018 NEW BEST:: SOT 1227741 SOS 652723 HAS SOPS 652723 HAS SOUS 539480 HAS SOUPS 539480 WITH SCORE 540132.723
AT ITER 3020 NEW BEST:: SOT 1227668 SOS 652650 HAS SOPS 652650 HAS SOUS 539407 HAS SOUPS 539407 WITH SCORE 540059.65
AT ITER 3023 NEW BEST:: SOT 1227877 SOS 651808 HAS SOPS 651808 HAS SOUS 538750 HAS SOUPS 538750 WITH SCORE 539401.808
AT ITER 3027 NEW BEST:: SOT 1227857 SOS 651731 HAS SOPS 651731 HAS SOUS 538700 HAS SOUPS 538700 WITH SCORE 539351.731
AT ITER 3029 NEW BEST:: SOT 1227940 SOS 651633 HAS SOPS 651633 HAS SOUS 538602 HAS SOUPS 538602 WITH SCORE 539253.633
AT ITER 3041 NEW BEST:: SOT 1228000 SOS 651334 HAS SOPS 651334 HAS SOUS 538247 HAS SOUPS 538247 WITH SCORE 538898.334
AT ITER 3046 NEW BEST:: SOT 1227804 SOS 651040 HAS SOPS 651040 HAS SOUS 537953 HAS SOUPS 537953 WITH SCORE 538604.04
AT ITER 3047 NEW BEST:: SOT 1227234 SOS 650451 HAS SOPS 650451 HAS SOUS 537364 HAS SOUPS 537364 WITH SCORE 538014.451
AT ITER 3059 NEW BEST:: SOT 1226838 SOS 649431 HAS SOPS 649431 HAS SOUS 536714 HAS SOUPS 536714 WITH SCORE 537363.431
AT ITER 3061 NEW BEST:: SOT 1226899 SOS 650031 HAS SOPS 650031 HAS SOUS 536612 HAS SOUPS 536612 WITH SCORE 537262.031
AT ITER 3064 NEW BEST:: SOT 1225553 SOS 645477 HAS SOPS 645477 HAS SOUS 534392 HAS SOUPS 534392 WITH SCORE 535037.477
AT ITER 3078 NEW BEST:: SOT 1225179 SOS 644916 HAS SOPS 644916 HAS SOUS 533644 HAS SOUPS 533644 WITH SCORE 534288.916
AT ITER 3080 NEW BEST:: SOT 1225317 SOS 645246 HAS SOPS 645246 HAS SOUS 533476 HAS SOUPS 533476 WITH SCORE 534121.246
AT ITER 3083 NEW BEST:: SOT 1225362 SOS 645084 HAS SOPS 645084 HAS SOUS 533278 HAS SOUPS 533278 WITH SCORE 533923.084
AT ITER 3097 NEW BEST:: SOT 1225296 SOS 645018 HAS SOPS 645018 HAS SOUS 533212 HAS SOUPS 533212 WITH SCORE 533857.018
AT ITER 3098 NEW BEST:: SOT 1225201 SOS 644923 HAS SOPS 644923 HAS SOUS 532522 HAS SOUPS 532522 WITH SCORE 533166.923
AT ITER 3104 NEW BEST:: SOT 1225192 SOS 644912 HAS SOPS 644912 HAS SOUS 532511 HAS SOUPS 532511 WITH SCORE 533155.912
AT ITER 3121 NEW BEST:: SOT 1224938 SOS 644531 HAS SOPS 644531 HAS SOUS 532130 HAS SOUPS 532130 WITH SCORE 532774.531
AT ITER 3123 NEW BEST:: SOT 1224938 SOS 643262 HAS SOPS 643262 HAS SOUS 531887 HAS SOUPS 531887 WITH SCORE 532530.262
AT ITER 3136 NEW BEST:: SOT 1224899 SOS 642457 HAS SOPS 642457 HAS SOUS 531724 HAS SOUPS 531724 WITH SCORE 532366.457
AT ITER 3137 NEW BEST:: SOT 1224899 SOS 642455 HAS SOPS 642455 HAS SOUS 531722 HAS SOUPS 531722 WITH SCORE 532364.455
AT ITER 3157 NEW BEST:: SOT 1224805 SOS 642320 HAS SOPS 642320 HAS SOUS 531587 HAS SOUPS 531587 WITH SCORE 532229.32
AT ITER 3165 NEW BEST:: SOT 1224769 SOS 642284 HAS SOPS 642284 HAS SOUS 531551 HAS SOUPS 531551 WITH SCORE 532193.284
AT ITER 3175 NEW BEST:: SOT 1224768 SOS 642281 HAS SOPS 642281 HAS SOUS 531548 HAS SOUPS 531548 WITH SCORE 532190.281
AT ITER 3195 NEW BEST:: SOT 1224032 SOS 641267 HAS SOPS 641267 HAS SOUS 530534 HAS SOUPS 530534 WITH SCORE 531175.267
AT ITER 3199 NEW BEST:: SOT 1224188 SOS 641562 HAS SOPS 641562 HAS SOUS 530196 HAS SOUPS 530196 WITH SCORE 530837.562
AT ITER 3200 NEW BEST:: SOT 1223998 SOS 640574 HAS SOPS 640574 HAS SOUS 529564 HAS SOUPS 529564 WITH SCORE 530204.574
AT ITER 3203 NEW BEST:: SOT 1223268 SOS 637890 HAS SOPS 637890 HAS SOUS 529333 HAS SOUPS 529333 WITH SCORE 529970.89
AT ITER 3209 NEW BEST:: SOT 1223148 SOS 637770 HAS SOPS 637770 HAS SOUS 529213 HAS SOUPS 529213 WITH SCORE 529850.77
AT ITER 3213 NEW BEST:: SOT 1223262 SOS 637704 HAS SOPS 637704 HAS SOUS 529103 HAS SOUPS 529103 WITH SCORE 529740.704
AT ITER 3222 NEW BEST:: SOT 1223212 SOS 637654 HAS SOPS 637654 HAS SOUS 529053 HAS SOUPS 529053 WITH SCORE 529690.654
AT ITER 3227 NEW BEST:: SOT 1223170 SOS 637573 HAS SOPS 637573 HAS SOUS 528972 HAS SOUPS 528972 WITH SCORE 529609.573
AT ITER 3234 NEW BEST:: SOT 1223010 SOS 637413 HAS SOPS 637413 HAS SOUS 528812 HAS SOUPS 528812 WITH SCORE 529449.413
AT ITER 3237 NEW BEST:: SOT 1223010 SOS 638034 HAS SOPS 638034 HAS SOUS 528752 HAS SOUPS 528752 WITH SCORE 529390.034
AT ITER 3243 NEW BEST:: SOT 1222678 SOS 637702 HAS SOPS 637702 HAS SOUS 528420 HAS SOUPS 528420 WITH SCORE 529057.702
AT ITER 3253 NEW BEST:: SOT 1222764 SOS 637786 HAS SOPS 637786 HAS SOUS 528403 HAS SOUPS 528403 WITH SCORE 529040.786
AT ITER 3256 NEW BEST:: SOT 1222537 SOS 637555 HAS SOPS 637555 HAS SOUS 528003 HAS SOUPS 528003 WITH SCORE 528640.555
AT ITER 3267 NEW BEST:: SOT 1222477 SOS 637474 HAS SOPS 637474 HAS SOUS 527898 HAS SOUPS 527898 WITH SCORE 528535.474
AT ITER 3276 NEW BEST:: SOT 1222209 SOS 637231 HAS SOPS 637231 HAS SOUS 527642 HAS SOUPS 527642 WITH SCORE 528279.231
AT ITER 3278 NEW BEST:: SOT 1221833 SOS 634369 HAS SOPS 634369 HAS SOUS 526040 HAS SOUPS 526040 WITH SCORE 526674.369
AT ITER 3303 NEW BEST:: SOT 1221803 SOS 634269 HAS SOPS 634269 HAS SOUS 525940 HAS SOUPS 525940 WITH SCORE 526574.269
AT ITER 3310 NEW BEST:: SOT 1221705 SOS 634269 HAS SOPS 634269 HAS SOUS 525842 HAS SOUPS 525842 WITH SCORE 526476.269
AT ITER 3313 NEW BEST:: SOT 1221993 SOS 632802 HAS SOPS 632802 HAS SOUS 525809 HAS SOUPS 525809 WITH SCORE 526441.802
AT ITER 3318 NEW BEST:: SOT 1222504 SOS 632619 HAS SOPS 632619 HAS SOUS 525626 HAS SOUPS 525626 WITH SCORE 526258.619
AT ITER 3320 NEW BEST:: SOT 1222504 SOS 632591 HAS SOPS 632591 HAS SOUS 525626 HAS SOUPS 525626 WITH SCORE 526258.591
AT ITER 3323 NEW BEST:: SOT 1222375 SOS 632462 HAS SOPS 632462 HAS SOUS 525497 HAS SOUPS 525497 WITH SCORE 526129.462
AT ITER 3344 NEW BEST:: SOT 1222511 SOS 632353 HAS SOPS 632353 HAS SOUS 525388 HAS SOUPS 525388 WITH SCORE 526020.353
AT ITER 3348 NEW BEST:: SOT 1222493 SOS 632313 HAS SOPS 632313 HAS SOUS 525261 HAS SOUPS 525261 WITH SCORE 525893.313
AT ITER 3350 NEW BEST:: SOT 1222309 SOS 632132 HAS SOPS 632132 HAS SOUS 525080 HAS SOUPS 525080 WITH SCORE 525712.132
AT ITER 3351 NEW BEST:: SOT 1222309 SOS 630924 HAS SOPS 630924 HAS SOUS 525069 HAS SOUPS 525069 WITH SCORE 525699.924
AT ITER 3352 NEW BEST:: SOT 1222294 SOS 630909 HAS SOPS 630909 HAS SOUS 525054 HAS SOUPS 525054 WITH SCORE 525684.909
AT ITER 3357 NEW BEST:: SOT 1222176 SOS 630791 HAS SOPS 630791 HAS SOUS 524936 HAS SOUPS 524936 WITH SCORE 525566.791
AT ITER 3377 NEW BEST:: SOT 1221959 SOS 630064 HAS SOPS 630064 HAS SOUS 524428 HAS SOUPS 524428 WITH SCORE 525058.064
AT ITER 3393 NEW BEST:: SOT 1221796 SOS 629901 HAS SOPS 629901 HAS SOUS 524265 HAS SOUPS 524265 WITH SCORE 524894.901
AT ITER 3394 NEW BEST:: SOT 1221796 SOS 629172 HAS SOPS 629172 HAS SOUS 524022 HAS SOUPS 524022 WITH SCORE 524651.172
AT ITER 3400 NEW BEST:: SOT 1221704 SOS 629095 HAS SOPS 629095 HAS SOUS 523945 HAS SOUPS 523945 WITH SCORE 524574.095
AT ITER 3415 NEW BEST:: SOT 1221700 SOS 629075 HAS SOPS 629075 HAS SOUS 523945 HAS SOUPS 523945 WITH SCORE 524574.075
AT ITER 3424 NEW BEST:: SOT 1221724 SOS 629064 HAS SOPS 629064 HAS SOUS 523840 HAS SOUPS 523840 WITH SCORE 524469.064
AT ITER 3431 NEW BEST:: SOT 1221753 SOS 628571 HAS SOPS 628571 HAS SOUS 523690 HAS SOUPS 523690 WITH SCORE 524318.571
AT ITER 3438 NEW BEST:: SOT 1221601 SOS 628120 HAS SOPS 628120 HAS SOUS 523569 HAS SOUPS 523569 WITH SCORE 524197.12
AT ITER 3442 NEW BEST:: SOT 1220905 SOS 626187 HAS SOPS 626187 HAS SOUS 523020 HAS SOUPS 523020 WITH SCORE 523646.187
AT ITER 3446 NEW BEST:: SOT 1220766 SOS 625622 HAS SOPS 625622 HAS SOUS 523016 HAS SOUPS 523016 WITH SCORE 523641.622
AT ITER 3450 NEW BEST:: SOT 1220766 SOS 624516 HAS SOPS 624516 HAS SOUS 522954 HAS SOUPS 522954 WITH SCORE 523578.516
AT ITER 3452 NEW BEST:: SOT 1220771 SOS 624451 HAS SOPS 624451 HAS SOUS 522437 HAS SOUPS 522437 WITH SCORE 523061.451
AT ITER 3469 NEW BEST:: SOT 1221462 SOS 623721 HAS SOPS 623721 HAS SOUS 521642 HAS SOUPS 521642 WITH SCORE 522265.721
AT ITER 3473 NEW BEST:: SOT 1220969 SOS 622749 HAS SOPS 622749 HAS SOUS 520482 HAS SOUPS 520482 WITH SCORE 521104.749
AT ITER 3489 NEW BEST:: SOT 1220969 SOS 622156 HAS SOPS 622156 HAS SOUS 520409 HAS SOUPS 520409 WITH SCORE 521031.156
AT ITER 3506 NEW BEST:: SOT 1220976 SOS 621261 HAS SOPS 621261 HAS SOUS 520139 HAS SOUPS 520139 WITH SCORE 520760.261
AT ITER 3511 NEW BEST:: SOT 1220459 SOS 619193 HAS SOPS 619193 HAS SOUS 520137 HAS SOUPS 520137 WITH SCORE 520756.193
AT ITER 3515 NEW BEST:: SOT 1220417 SOS 619056 HAS SOPS 619056 HAS SOUS 520000 HAS SOUPS 520000 WITH SCORE 520619.056
AT ITER 3517 NEW BEST:: SOT 1220417 SOS 618997 HAS SOPS 618997 HAS SOUS 519799 HAS SOUPS 519799 WITH SCORE 520417.997
AT ITER 3553 NEW BEST:: SOT 1220055 SOS 618037 HAS SOPS 618037 HAS SOUS 519157 HAS SOUPS 519157 WITH SCORE 519775.037
AT ITER 3557 NEW BEST:: SOT 1220081 SOS 617499 HAS SOPS 617499 HAS SOUS 518805 HAS SOUPS 518805 WITH SCORE 519422.499
AT ITER 3560 NEW BEST:: SOT 1219910 SOS 617328 HAS SOPS 617328 HAS SOUS 518634 HAS SOUPS 518634 WITH SCORE 519251.328
AT ITER 3566 NEW BEST:: SOT 1219778 SOS 617245 HAS SOPS 617245 HAS SOUS 518380 HAS SOUPS 518380 WITH SCORE 518997.245
AT ITER 3587 NEW BEST:: SOT 1219684 SOS 617057 HAS SOPS 617057 HAS SOUS 518192 HAS SOUPS 518192 WITH SCORE 518809.057
AT ITER 3589 NEW BEST:: SOT 1218512 SOS 615900 HAS SOPS 615900 HAS SOUS 517035 HAS SOUPS 517035 WITH SCORE 517650.9
AT ITER 3604 NEW BEST:: SOT 1218478 SOS 615832 HAS SOPS 615832 HAS SOUS 517001 HAS SOUPS 517001 WITH SCORE 517616.832
AT ITER 3615 NEW BEST:: SOT 1218422 SOS 615369 HAS SOPS 615369 HAS SOUS 516757 HAS SOUPS 516757 WITH SCORE 517372.369
AT ITER 3627 NEW BEST:: SOT 1218177 SOS 614852 HAS SOPS 614852 HAS SOUS 516163 HAS SOUPS 516163 WITH SCORE 516777.852
AT ITER 3636 NEW BEST:: SOT 1218164 SOS 614826 HAS SOPS 614826 HAS SOUS 516137 HAS SOUPS 516137 WITH SCORE 516751.826
AT ITER 3642 NEW BEST:: SOT 1218052 SOS 614712 HAS SOPS 614712 HAS SOUS 516023 HAS SOUPS 516023 WITH SCORE 516637.712
AT ITER 3647 NEW BEST:: SOT 1217866 SOS 614463 HAS SOPS 614463 HAS SOUS 515774 HAS SOUPS 515774 WITH SCORE 516388.463
AT ITER 3654 NEW BEST:: SOT 1217567 SOS 614164 HAS SOPS 614164 HAS SOUS 515462 HAS SOUPS 515462 WITH SCORE 516076.164
AT ITER 3662 NEW BEST:: SOT 1217359 SOS 613898 HAS SOPS 613898 HAS SOUS 514884 HAS SOUPS 514884 WITH SCORE 515497.898
AT ITER 3665 NEW BEST:: SOT 1217367 SOS 613902 HAS SOPS 613902 HAS SOUS 514879 HAS SOUPS 514879 WITH SCORE 515492.902
AT ITER 3670 NEW BEST:: SOT 1217273 SOS 613764 HAS SOPS 613764 HAS SOUS 514668 HAS SOUPS 514668 WITH SCORE 515281.764
AT ITER 3671 NEW BEST:: SOT 1217162 SOS 613653 HAS SOPS 613653 HAS SOUS 514557 HAS SOUPS 514557 WITH SCORE 515170.653
AT ITER 3674 NEW BEST:: SOT 1217162 SOS 613540 HAS SOPS 613540 HAS SOUS 514444 HAS SOUPS 514444 WITH SCORE 515057.54
AT ITER 3675 NEW BEST:: SOT 1216980 SOS 613017 HAS SOPS 613017 HAS SOUS 513834 HAS SOUPS 513834 WITH SCORE 514447.017
AT ITER 3682 NEW BEST:: SOT 1216968 SOS 611490 HAS SOPS 611490 HAS SOUS 513055 HAS SOUPS 513055 WITH SCORE 513666.49
AT ITER 3684 NEW BEST:: SOT 1216851 SOS 611349 HAS SOPS 611349 HAS SOUS 512863 HAS SOUPS 512863 WITH SCORE 513474.349
AT ITER 3705 NEW BEST:: SOT 1216652 SOS 611146 HAS SOPS 611146 HAS SOUS 512647 HAS SOUPS 512647 WITH SCORE 513258.146
AT ITER 3716 NEW BEST:: SOT 1216436 SOS 610486 HAS SOPS 610486 HAS SOUS 512338 HAS SOUPS 512338 WITH SCORE 512948.486
AT ITER 3719 NEW BEST:: SOT 1215979 SOS 610029 HAS SOPS 610029 HAS SOUS 511881 HAS SOUPS 511881 WITH SCORE 512491.029
AT ITER 3720 NEW BEST:: SOT 1215973 SOS 610023 HAS SOPS 610023 HAS SOUS 511875 HAS SOUPS 511875 WITH SCORE 512485.023
AT ITER 3724 NEW BEST:: SOT 1215481 SOS 609974 HAS SOPS 609974 HAS SOUS 511258 HAS SOUPS 511258 WITH SCORE 511867.974
AT ITER 3735 NEW BEST:: SOT 1215487 SOS 609872 HAS SOPS 609872 HAS SOUS 511156 HAS SOUPS 511156 WITH SCORE 511765.872
AT ITER 3740 NEW BEST:: SOT 1215784 SOS 609799 HAS SOPS 609799 HAS SOUS 511083 HAS SOUPS 511083 WITH SCORE 511692.799
AT ITER 3748 NEW BEST:: SOT 1215774 SOS 609789 HAS SOPS 609789 HAS SOUS 510970 HAS SOUPS 510970 WITH SCORE 511579.789
AT ITER 3760 NEW BEST:: SOT 1215713 SOS 609728 HAS SOPS 609728 HAS SOUS 510909 HAS SOUPS 510909 WITH SCORE 511518.728
AT ITER 3762 NEW BEST:: SOT 1215713 SOS 609712 HAS SOPS 609712 HAS SOUS 510893 HAS SOUPS 510893 WITH SCORE 511502.712
AT ITER 3783 NEW BEST:: SOT 1215710 SOS 609700 HAS SOPS 609700 HAS SOUS 510888 HAS SOUPS 510888 WITH SCORE 511497.7
AT ITER 3789 NEW BEST:: SOT 1215629 SOS 609619 HAS SOPS 609619 HAS SOUS 510807 HAS SOUPS 510807 WITH SCORE 511416.619
AT ITER 3793 NEW BEST:: SOT 1215616 SOS 609606 HAS SOPS 609606 HAS SOUS 510794 HAS SOUPS 510794 WITH SCORE 511403.606
AT ITER 3799 NEW BEST:: SOT 1215616 SOS 609580 HAS SOPS 609580 HAS SOUS 510794 HAS SOUPS 510794 WITH SCORE 511403.58
AT ITER 3800 NEW BEST:: SOT 1215676 SOS 609374 HAS SOPS 609374 HAS SOUS 510649 HAS SOUPS 510649 WITH SCORE 511258.374
AT ITER 3816 NEW BEST:: SOT 1215713 SOS 609487 HAS SOPS 609487 HAS SOUS 510600 HAS SOUPS 510600 WITH SCORE 511209.487
AT ITER 3818 NEW BEST:: SOT 1215713 SOS 609542 HAS SOPS 609542 HAS SOUS 510598 HAS SOUPS 510598 WITH SCORE 511207.542
AT ITER 3834 NEW BEST:: SOT 1215281 SOS 608922 HAS SOPS 608922 HAS SOUS 509978 HAS SOUPS 509978 WITH SCORE 510586.922
AT ITER 3838 NEW BEST:: SOT 1215312 SOS 608502 HAS SOPS 608502 HAS SOUS 509558 HAS SOUPS 509558 WITH SCORE 510166.502
AT ITER 3853 NEW BEST:: SOT 1215312 SOS 608454 HAS SOPS 608454 HAS SOUS 509510 HAS SOUPS 509510 WITH SCORE 510118.454
AT ITER 3859 NEW BEST:: SOT 1214815 SOS 606287 HAS SOPS 606287 HAS SOUS 508672 HAS SOUPS 508672 WITH SCORE 509278.287
AT ITER 3881 NEW BEST:: SOT 1214787 SOS 606616 HAS SOPS 606616 HAS SOUS 508488 HAS SOUPS 508488 WITH SCORE 509094.616
AT ITER 3883 NEW BEST:: SOT 1214572 SOS 606401 HAS SOPS 606401 HAS SOUS 508273 HAS SOUPS 508273 WITH SCORE 508879.401
AT ITER 3884 NEW BEST:: SOT 1214468 SOS 605985 HAS SOPS 605985 HAS SOUS 507961 HAS SOUPS 507961 WITH SCORE 508566.985
AT ITER 3889 NEW BEST:: SOT 1213979 SOS 604339 HAS SOPS 604339 HAS SOUS 506846 HAS SOUPS 506846 WITH SCORE 507450.339
AT ITER 3916 NEW BEST:: SOT 1214140 SOS 604266 HAS SOPS 604266 HAS SOUS 506845 HAS SOUPS 506845 WITH SCORE 507449.266
AT ITER 3920 NEW BEST:: SOT 1213517 SOS 603643 HAS SOPS 603643 HAS SOUS 506222 HAS SOUPS 506222 WITH SCORE 506825.643
AT ITER 3934 NEW BEST:: SOT 1213318 SOS 603444 HAS SOPS 603444 HAS SOUS 505947 HAS SOUPS 505947 WITH SCORE 506550.444
AT ITER 3936 NEW BEST:: SOT 1213160 SOS 603273 HAS SOPS 603273 HAS SOUS 505772 HAS SOUPS 505772 WITH SCORE 506375.273
AT ITER 3938 NEW BEST:: SOT 1213066 SOS 603178 HAS SOPS 603178 HAS SOUS 505677 HAS SOUPS 505677 WITH SCORE 506280.178
AT ITER 3942 NEW BEST:: SOT 1212993 SOS 603105 HAS SOPS 603105 HAS SOUS 505604 HAS SOUPS 505604 WITH SCORE 506207.105
AT ITER 3966 NEW BEST:: SOT 1212872 SOS 602984 HAS SOPS 602984 HAS SOUS 505483 HAS SOUPS 505483 WITH SCORE 506085.984
AT ITER 3969 NEW BEST:: SOT 1212874 SOS 602986 HAS SOPS 602986 HAS SOUS 505478 HAS SOUPS 505478 WITH SCORE 506080.986
AT ITER 3988 NEW BEST:: SOT 1212830 SOS 603002 HAS SOPS 603002 HAS SOUS 505464 HAS SOUPS 505464 WITH SCORE 506067.002
AT ITER 3999 NEW BEST:: SOT 1212527 SOS 602699 HAS SOPS 602699 HAS SOUS 505161 HAS SOUPS 505161 WITH SCORE 505763.699
AT ITER 4007 NEW BEST:: SOT 1212506 SOS 601841 HAS SOPS 601841 HAS SOUS 504784 HAS SOUPS 504784 WITH SCORE 505385.841
AT ITER 4008 NEW BEST:: SOT 1212382 SOS 601591 HAS SOPS 601591 HAS SOUS 504534 HAS SOUPS 504534 WITH SCORE 505135.591
AT ITER 4011 NEW BEST:: SOT 1212382 SOS 602059 HAS SOPS 602059 HAS SOUS 504355 HAS SOUPS 504355 WITH SCORE 504957.059
AT ITER 4016 NEW BEST:: SOT 1212153 SOS 601830 HAS SOPS 601830 HAS SOUS 504126 HAS SOUPS 504126 WITH SCORE 504727.83
AT ITER 4017 NEW BEST:: SOT 1212087 SOS 601511 HAS SOPS 601511 HAS SOUS 503807 HAS SOUPS 503807 WITH SCORE 504408.511
AT ITER 4031 NEW BEST:: SOT 1212055 SOS 601315 HAS SOPS 601315 HAS SOUS 503787 HAS SOUPS 503787 WITH SCORE 504388.315
AT ITER 4036 NEW BEST:: SOT 1212055 SOS 601314 HAS SOPS 601314 HAS SOUS 503786 HAS SOUPS 503786 WITH SCORE 504387.314
AT ITER 4049 NEW BEST:: SOT 1212053 SOS 601194 HAS SOPS 601194 HAS SOUS 503666 HAS SOUPS 503666 WITH SCORE 504267.194
AT ITER 4053 NEW BEST:: SOT 1212051 SOS 601190 HAS SOPS 601190 HAS SOUS 503652 HAS SOUPS 503652 WITH SCORE 504253.19
AT ITER 4054 NEW BEST:: SOT 1211754 SOS 600893 HAS SOPS 600893 HAS SOUS 503418 HAS SOUPS 503418 WITH SCORE 504018.893
AT ITER 4058 NEW BEST:: SOT 1211706 SOS 600701 HAS SOPS 600701 HAS SOUS 503226 HAS SOUPS 503226 WITH SCORE 503826.701
AT ITER 4059 NEW BEST:: SOT 1211706 SOS 600698 HAS SOPS 600698 HAS SOUS 503223 HAS SOUPS 503223 WITH SCORE 503823.698
AT ITER 4065 NEW BEST:: SOT 1211670 SOS 600624 HAS SOPS 600624 HAS SOUS 503147 HAS SOUPS 503147 WITH SCORE 503747.624
AT ITER 4073 NEW BEST:: SOT 1211342 SOS 599983 HAS SOPS 599983 HAS SOUS 502193 HAS SOUPS 502193 WITH SCORE 502792.983
AT ITER 4074 NEW BEST:: SOT 1211927 SOS 597889 HAS SOPS 597889 HAS SOUS 501937 HAS SOUPS 501937 WITH SCORE 502534.889
AT ITER 4079 NEW BEST:: SOT 1211628 SOS 597866 HAS SOPS 597866 HAS SOUS 501914 HAS SOUPS 501914 WITH SCORE 502511.866
AT ITER 4081 NEW BEST:: SOT 1211628 SOS 597746 HAS SOPS 597746 HAS SOUS 501674 HAS SOUPS 501674 WITH SCORE 502271.746
AT ITER 4090 NEW BEST:: SOT 1211628 SOS 597639 HAS SOPS 597639 HAS SOUS 501663 HAS SOUPS 501663 WITH SCORE 502260.639
AT ITER 4117 NEW BEST:: SOT 1211594 SOS 597530 HAS SOPS 597530 HAS SOUS 501561 HAS SOUPS 501561 WITH SCORE 502158.53
AT ITER 4118 NEW BEST:: SOT 1211577 SOS 597513 HAS SOPS 597513 HAS SOUS 501327 HAS SOUPS 501327 WITH SCORE 501924.513
AT ITER 4119 NEW BEST:: SOT 1211546 SOS 597482 HAS SOPS 597482 HAS SOUS 501267 HAS SOUPS 501267 WITH SCORE 501864.482
AT ITER 4122 NEW BEST:: SOT 1210746 SOS 596682 HAS SOPS 596682 HAS SOUS 500691 HAS SOUPS 500691 WITH SCORE 501287.682
AT ITER 4125 NEW BEST:: SOT 1210594 SOS 596492 HAS SOPS 596492 HAS SOUS 500501 HAS SOUPS 500501 WITH SCORE 501097.492
AT ITER 4131 NEW BEST:: SOT 1210615 SOS 596443 HAS SOPS 596443 HAS SOUS 500466 HAS SOUPS 500466 WITH SCORE 501062.443
AT ITER 4150 NEW BEST:: SOT 1210527 SOS 596078 HAS SOPS 596078 HAS SOUS 500101 HAS SOUPS 500101 WITH SCORE 500697.078
AT ITER 4151 NEW BEST:: SOT 1210527 SOS 596152 HAS SOPS 596152 HAS SOUS 500065 HAS SOUPS 500065 WITH SCORE 500661.152
AT ITER 4152 NEW BEST:: SOT 1210402 SOS 595629 HAS SOPS 595629 HAS SOUS 499390 HAS SOUPS 499390 WITH SCORE 499985.629
AT ITER 4156 NEW BEST:: SOT 1210390 SOS 594773 HAS SOPS 594773 HAS SOUS 499322 HAS SOUPS 499322 WITH SCORE 499916.773
AT ITER 4157 NEW BEST:: SOT 1210504 SOS 593938 HAS SOPS 593938 HAS SOUS 499177 HAS SOUPS 499177 WITH SCORE 499770.938
AT ITER 4179 NEW BEST:: SOT 1210530 SOS 593754 HAS SOPS 593754 HAS SOUS 498960 HAS SOUPS 498960 WITH SCORE 499553.754
AT ITER 4188 NEW BEST:: SOT 1210388 SOS 593574 HAS SOPS 593574 HAS SOUS 498801 HAS SOUPS 498801 WITH SCORE 499394.574
AT ITER 4193 NEW BEST:: SOT 1210159 SOS 592794 HAS SOPS 592794 HAS SOUS 498041 HAS SOUPS 498041 WITH SCORE 498633.794
AT ITER 4225 NEW BEST:: SOT 1209455 SOS 591981 HAS SOPS 591981 HAS SOUS 497228 HAS SOUPS 497228 WITH SCORE 497819.981
AT ITER 4229 NEW BEST:: SOT 1209237 SOS 591213 HAS SOPS 591213 HAS SOUS 497156 HAS SOUPS 497156 WITH SCORE 497747.213
AT ITER 4242 NEW BEST:: SOT 1208512 SOS 589937 HAS SOPS 589937 HAS SOUS 496547 HAS SOUPS 496547 WITH SCORE 497136.937
AT ITER 4247 NEW BEST:: SOT 1208934 SOS 589980 HAS SOPS 589980 HAS SOUS 496369 HAS SOUPS 496369 WITH SCORE 496958.98
AT ITER 4248 NEW BEST:: SOT 1208922 SOS 589968 HAS SOPS 589968 HAS SOUS 496357 HAS SOUPS 496357 WITH SCORE 496946.968
AT ITER 4249 NEW BEST:: SOT 1208922 SOS 589786 HAS SOPS 589786 HAS SOUS 496350 HAS SOUPS 496350 WITH SCORE 496939.786
AT ITER 4251 NEW BEST:: SOT 1208922 SOS 589777 HAS SOPS 589777 HAS SOUS 496350 HAS SOUPS 496350 WITH SCORE 496939.777
AT ITER 4260 NEW BEST:: SOT 1208822 SOS 589630 HAS SOPS 589630 HAS SOUS 496203 HAS SOUPS 496203 WITH SCORE 496792.63
AT ITER 4279 NEW BEST:: SOT 1208729 SOS 589535 HAS SOPS 589535 HAS SOUS 496108 HAS SOUPS 496108 WITH SCORE 496697.535
AT ITER 4280 NEW BEST:: SOT 1208693 SOS 589050 HAS SOPS 589050 HAS SOUS 495459 HAS SOUPS 495459 WITH SCORE 496048.05
AT ITER 4288 NEW BEST:: SOT 1208686 SOS 589043 HAS SOPS 589043 HAS SOUS 495452 HAS SOUPS 495452 WITH SCORE 496041.043
AT ITER 4298 NEW BEST:: SOT 1208652 SOS 588602 HAS SOPS 588602 HAS SOUS 494761 HAS SOUPS 494761 WITH SCORE 495349.602
AT ITER 4308 NEW BEST:: SOT 1208652 SOS 588492 HAS SOPS 588492 HAS SOUS 494580 HAS SOUPS 494580 WITH SCORE 495168.492
AT ITER 4310 NEW BEST:: SOT 1208304 SOS 587676 HAS SOPS 587676 HAS SOUS 493642 HAS SOUPS 493642 WITH SCORE 494229.676
AT ITER 4311 NEW BEST:: SOT 1208302 SOS 587669 HAS SOPS 587669 HAS SOUS 493635 HAS SOUPS 493635 WITH SCORE 494222.669
AT ITER 4323 NEW BEST:: SOT 1208022 SOS 587249 HAS SOPS 587249 HAS SOUS 493215 HAS SOUPS 493215 WITH SCORE 493802.249
AT ITER 4324 NEW BEST:: SOT 1207751 SOS 586836 HAS SOPS 586836 HAS SOUS 492802 HAS SOUPS 492802 WITH SCORE 493388.836
AT ITER 4344 NEW BEST:: SOT 1207751 SOS 586836 HAS SOPS 586836 HAS SOUS 492751 HAS SOUPS 492751 WITH SCORE 493337.836
AT ITER 4345 NEW BEST:: SOT 1207747 SOS 586650 HAS SOPS 586650 HAS SOUS 492704 HAS SOUPS 492704 WITH SCORE 493290.65
AT ITER 4369 NEW BEST:: SOT 1207747 SOS 586650 HAS SOPS 586650 HAS SOUS 492689 HAS SOUPS 492689 WITH SCORE 493275.65
AT ITER 4377 NEW BEST:: SOT 1207747 SOS 586458 HAS SOPS 586458 HAS SOUS 492655 HAS SOUPS 492655 WITH SCORE 493241.458
AT ITER 4380 NEW BEST:: SOT 1207771 SOS 586390 HAS SOPS 586390 HAS SOUS 492587 HAS SOUPS 492587 WITH SCORE 493173.39
AT ITER 4384 NEW BEST:: SOT 1207640 SOS 586259 HAS SOPS 586259 HAS SOUS 492456 HAS SOUPS 492456 WITH SCORE 493042.259
AT ITER 4398 NEW BEST:: SOT 1207706 SOS 585399 HAS SOPS 585399 HAS SOUS 492196 HAS SOUPS 492196 WITH SCORE 492781.399
AT ITER 4405 NEW BEST:: SOT 1207621 SOS 585007 HAS SOPS 585007 HAS SOUS 491725 HAS SOUPS 491725 WITH SCORE 492310.007
AT ITER 4409 NEW BEST:: SOT 1207528 SOS 584914 HAS SOPS 584914 HAS SOUS 491632 HAS SOUPS 491632 WITH SCORE 492216.914
AT ITER 4411 NEW BEST:: SOT 1207503 SOS 584765 HAS SOPS 584765 HAS SOUS 491563 HAS SOUPS 491563 WITH SCORE 492147.765
AT ITER 4426 NEW BEST:: SOT 1207503 SOS 584295 HAS SOPS 584295 HAS SOUS 491328 HAS SOUPS 491328 WITH SCORE 491912.295
AT ITER 4432 NEW BEST:: SOT 1207492 SOS 584276 HAS SOPS 584276 HAS SOUS 491320 HAS SOUPS 491320 WITH SCORE 491904.276
AT ITER 4450 NEW BEST:: SOT 1207321 SOS 583560 HAS SOPS 583560 HAS SOUS 490788 HAS SOUPS 490788 WITH SCORE 491371.56
AT ITER 4454 NEW BEST:: SOT 1207303 SOS 583478 HAS SOPS 583478 HAS SOUS 490722 HAS SOUPS 490722 WITH SCORE 491305.478
AT ITER 4461 NEW BEST:: SOT 1206360 SOS 582535 HAS SOPS 582535 HAS SOUS 489778 HAS SOUPS 489778 WITH SCORE 490360.535
AT ITER 4478 NEW BEST:: SOT 1206212 SOS 582387 HAS SOPS 582387 HAS SOUS 489630 HAS SOUPS 489630 WITH SCORE 490212.387
AT ITER 4503 NEW BEST:: SOT 1206272 SOS 582445 HAS SOPS 582445 HAS SOUS 489627 HAS SOUPS 489627 WITH SCORE 490209.445
AT ITER 4525 NEW BEST:: SOT 1205994 SOS 581419 HAS SOPS 581419 HAS SOUS 488965 HAS SOUPS 488965 WITH SCORE 489546.419
AT ITER 4541 NEW BEST:: SOT 1204978 SOS 580421 HAS SOPS 580421 HAS SOUS 488036 HAS SOUPS 488036 WITH SCORE 488616.421
AT ITER 4544 NEW BEST:: SOT 1204822 SOS 579569 HAS SOPS 579569 HAS SOUS 487898 HAS SOUPS 487898 WITH SCORE 488477.569
AT ITER 4545 NEW BEST:: SOT 1204838 SOS 579347 HAS SOPS 579347 HAS SOUS 487592 HAS SOUPS 487592 WITH SCORE 488171.347
AT ITER 4546 NEW BEST:: SOT 1204996 SOS 579466 HAS SOPS 579466 HAS SOUS 487470 HAS SOUPS 487470 WITH SCORE 488049.466
AT ITER 4549 NEW BEST:: SOT 1204990 SOS 579448 HAS SOPS 579448 HAS SOUS 487421 HAS SOUPS 487421 WITH SCORE 488000.448
AT ITER 4568 NEW BEST:: SOT 1204780 SOS 578608 HAS SOPS 578608 HAS SOUS 487211 HAS SOUPS 487211 WITH SCORE 487789.608
AT ITER 4571 NEW BEST:: SOT 1204787 SOS 578589 HAS SOPS 578589 HAS SOUS 487211 HAS SOUPS 487211 WITH SCORE 487789.589
AT ITER 4576 NEW BEST:: SOT 1204777 SOS 578585 HAS SOPS 578585 HAS SOUS 487207 HAS SOUPS 487207 WITH SCORE 487785.585
AT ITER 4578 NEW BEST:: SOT 1204776 SOS 577900 HAS SOPS 577900 HAS SOUS 486947 HAS SOUPS 486947 WITH SCORE 487524.9
AT ITER 4585 NEW BEST:: SOT 1204179 SOS 576885 HAS SOPS 576885 HAS SOUS 486038 HAS SOUPS 486038 WITH SCORE 486614.885
AT ITER 4587 NEW BEST:: SOT 1204143 SOS 576705 HAS SOPS 576705 HAS SOUS 486038 HAS SOUPS 486038 WITH SCORE 486614.705
AT ITER 4588 NEW BEST:: SOT 1204085 SOS 576657 HAS SOPS 576657 HAS SOUS 485338 HAS SOUPS 485338 WITH SCORE 485914.657
AT ITER 4609 NEW BEST:: SOT 1203526 SOS 576086 HAS SOPS 576086 HAS SOUS 485073 HAS SOUPS 485073 WITH SCORE 485649.086
AT ITER 4617 NEW BEST:: SOT 1203981 SOS 575043 HAS SOPS 575043 HAS SOUS 484961 HAS SOUPS 484961 WITH SCORE 485536.043
AT ITER 4621 NEW BEST:: SOT 1203981 SOS 574745 HAS SOPS 574745 HAS SOUS 484663 HAS SOUPS 484663 WITH SCORE 485237.745
AT ITER 4623 NEW BEST:: SOT 1203981 SOS 574743 HAS SOPS 574743 HAS SOUS 484661 HAS SOUPS 484661 WITH SCORE 485235.743
AT ITER 4630 NEW BEST:: SOT 1203979 SOS 574697 HAS SOPS 574697 HAS SOUS 484583 HAS SOUPS 484583 WITH SCORE 485157.697
AT ITER 4637 NEW BEST:: SOT 1203639 SOS 574881 HAS SOPS 574881 HAS SOUS 484565 HAS SOUPS 484565 WITH SCORE 485139.881
AT ITER 4650 NEW BEST:: SOT 1203637 SOS 574818 HAS SOPS 574818 HAS SOUS 484404 HAS SOUPS 484404 WITH SCORE 484978.818
AT ITER 4667 NEW BEST:: SOT 1203563 SOS 574744 HAS SOPS 574744 HAS SOUS 484330 HAS SOUPS 484330 WITH SCORE 484904.744
AT ITER 4678 NEW BEST:: SOT 1203540 SOS 574721 HAS SOPS 574721 HAS SOUS 484307 HAS SOUPS 484307 WITH SCORE 484881.721
AT ITER 4679 NEW BEST:: SOT 1203507 SOS 573889 HAS SOPS 573889 HAS SOUS 483720 HAS SOUPS 483720 WITH SCORE 484293.889
AT ITER 4693 NEW BEST:: SOT 1203462 SOS 573573 HAS SOPS 573573 HAS SOUS 483677 HAS SOUPS 483677 WITH SCORE 484250.573
AT ITER 4698 NEW BEST:: SOT 1203291 SOS 573402 HAS SOPS 573402 HAS SOUS 483506 HAS SOUPS 483506 WITH SCORE 484079.402
AT ITER 4723 NEW BEST:: SOT 1203264 SOS 573285 HAS SOPS 573285 HAS SOUS 483484 HAS SOUPS 483484 WITH SCORE 484057.285
AT ITER 4735 NEW BEST:: SOT 1203256 SOS 573277 HAS SOPS 573277 HAS SOUS 483476 HAS SOUPS 483476 WITH SCORE 484049.277
AT ITER 4741 NEW BEST:: SOT 1203032 SOS 573053 HAS SOPS 573053 HAS SOUS 483252 HAS SOUPS 483252 WITH SCORE 483825.053
AT ITER 4742 NEW BEST:: SOT 1202812 SOS 572833 HAS SOPS 572833 HAS SOUS 483032 HAS SOUPS 483032 WITH SCORE 483604.833
AT ITER 4747 NEW BEST:: SOT 1202677 SOS 572806 HAS SOPS 572806 HAS SOUS 483005 HAS SOUPS 483005 WITH SCORE 483577.806
AT ITER 4748 NEW BEST:: SOT 1203085 SOS 570539 HAS SOPS 570539 HAS SOUS 482670 HAS SOUPS 482670 WITH SCORE 483240.539
AT ITER 4756 NEW BEST:: SOT 1203061 SOS 570515 HAS SOPS 570515 HAS SOUS 482646 HAS SOUPS 482646 WITH SCORE 483216.515
AT ITER 4761 NEW BEST:: SOT 1202827 SOS 570249 HAS SOPS 570249 HAS SOUS 482389 HAS SOUPS 482389 WITH SCORE 482959.249
AT ITER 4763 NEW BEST:: SOT 1202725 SOS 570035 HAS SOPS 570035 HAS SOUS 482175 HAS SOUPS 482175 WITH SCORE 482745.035
AT ITER 4768 NEW BEST:: SOT 1202511 SOS 569607 HAS SOPS 569607 HAS SOUS 481533 HAS SOUPS 481533 WITH SCORE 482102.607
AT ITER 4775 NEW BEST:: SOT 1202505 SOS 569528 HAS SOPS 569528 HAS SOUS 481469 HAS SOUPS 481469 WITH SCORE 482038.528
AT ITER 4786 NEW BEST:: SOT 1202505 SOS 568819 HAS SOPS 568819 HAS SOUS 481342 HAS SOUPS 481342 WITH SCORE 481910.819
AT ITER 4795 NEW BEST:: SOT 1202477 SOS 568331 HAS SOPS 568331 HAS SOUS 481296 HAS SOUPS 481296 WITH SCORE 481864.331
AT ITER 4798 NEW BEST:: SOT 1202401 SOS 568255 HAS SOPS 568255 HAS SOUS 481220 HAS SOUPS 481220 WITH SCORE 481788.255
AT ITER 4806 NEW BEST:: SOT 1202743 SOS 567162 HAS SOPS 567162 HAS SOUS 481165 HAS SOUPS 481165 WITH SCORE 481732.162
AT ITER 4809 NEW BEST:: SOT 1202020 SOS 565810 HAS SOPS 565810 HAS SOUS 479659 HAS SOUPS 479659 WITH SCORE 480224.81
AT ITER 4813 NEW BEST:: SOT 1202501 SOS 566676 HAS SOPS 566676 HAS SOUS 479548 HAS SOUPS 479548 WITH SCORE 480114.676
AT ITER 4815 NEW BEST:: SOT 1202372 SOS 566547 HAS SOPS 566547 HAS SOUS 479419 HAS SOUPS 479419 WITH SCORE 479985.547
AT ITER 4826 NEW BEST:: SOT 1201962 SOS 565866 HAS SOPS 565866 HAS SOUS 478947 HAS SOUPS 478947 WITH SCORE 479512.866
AT ITER 4831 NEW BEST:: SOT 1201675 SOS 565579 HAS SOPS 565579 HAS SOUS 478660 HAS SOUPS 478660 WITH SCORE 479225.579
AT ITER 4843 NEW BEST:: SOT 1201599 SOS 565332 HAS SOPS 565332 HAS SOUS 478413 HAS SOUPS 478413 WITH SCORE 478978.332
AT ITER 4855 NEW BEST:: SOT 1201328 SOS 564646 HAS SOPS 564646 HAS SOUS 477551 HAS SOUPS 477551 WITH SCORE 478115.646
AT ITER 4861 NEW BEST:: SOT 1201023 SOS 564341 HAS SOPS 564341 HAS SOUS 477246 HAS SOUPS 477246 WITH SCORE 477810.341
AT ITER 4865 NEW BEST:: SOT 1201114 SOS 564517 HAS SOPS 564517 HAS SOUS 477218 HAS SOUPS 477218 WITH SCORE 477782.517
AT ITER 4874 NEW BEST:: SOT 1201114 SOS 564667 HAS SOPS 564667 HAS SOUS 477110 HAS SOUPS 477110 WITH SCORE 477674.667
AT ITER 4889 NEW BEST:: SOT 1200994 SOS 564232 HAS SOPS 564232 HAS SOUS 476864 HAS SOUPS 476864 WITH SCORE 477428.232
AT ITER 4900 NEW BEST:: SOT 1200922 SOS 564126 HAS SOPS 564126 HAS SOUS 476758 HAS SOUPS 476758 WITH SCORE 477322.126
AT ITER 4906 NEW BEST:: SOT 1200922 SOS 563971 HAS SOPS 563971 HAS SOUS 476603 HAS SOUPS 476603 WITH SCORE 477166.971
AT ITER 4909 NEW BEST:: SOT 1201225 SOS 563907 HAS SOPS 563907 HAS SOUS 476539 HAS SOUPS 476539 WITH SCORE 477102.907
AT ITER 4931 NEW BEST:: SOT 1201225 SOS 563901 HAS SOPS 563901 HAS SOUS 476539 HAS SOUPS 476539 WITH SCORE 477102.901
AT ITER 4953 NEW BEST:: SOT 1201087 SOS 563763 HAS SOPS 563763 HAS SOUS 476401 HAS SOUPS 476401 WITH SCORE 476964.763
AT ITER 4954 NEW BEST:: SOT 1201035 SOS 563498 HAS SOPS 563498 HAS SOUS 476348 HAS SOUPS 476348 WITH SCORE 476911.498
AT ITER 4960 NEW BEST:: SOT 1201012 SOS 563475 HAS SOPS 563475 HAS SOUS 476325 HAS SOUPS 476325 WITH SCORE 476888.475
AT ITER 4962 NEW BEST:: SOT 1200960 SOS 563423 HAS SOPS 563423 HAS SOUS 476273 HAS SOUPS 476273 WITH SCORE 476836.423
AT ITER 4976 NEW BEST:: SOT 1200953 SOS 563416 HAS SOPS 563416 HAS SOUS 476266 HAS SOUPS 476266 WITH SCORE 476829.416
AT ITER 4980 NEW BEST:: SOT 1200235 SOS 562478 HAS SOPS 562478 HAS SOUS 475502 HAS SOUPS 475502 WITH SCORE 476064.478
AT ITER 4998 NEW BEST:: SOT 1200092 SOS 562335 HAS SOPS 562335 HAS SOUS 475359 HAS SOUPS 475359 WITH SCORE 475921.335
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldPPPs-PT-050A-CTLCardinality-00 (AG( (EX( ( potential( (tk(P407)) <= (tk(P650)) ) | potential( ( 1 ) <= (tk(P568)) ) )))))
PROPERTY: ShieldPPPs-PT-050A-CTLCardinality-01 (AF((AG( ( potential( (tk(P946)) <= (tk(P414)) ) | potential( ( 2 ) <= (tk(P266)) ) )))))
PROPERTY: ShieldPPPs-PT-050A-CTLCardinality-02 ( (EF((EX( potential( ( 2 ) <= (tk(P54)) ))))) | ( ( ( potential( ( 1 ) <= (tk(P1004)) ) & ( potential( ( 2 ) <= (tk(P723)) ) | potential( ( 3 ) <= (tk(P163)) ) ) ) | ( potential( ( 3 ) <= (tk(P740)) ) | ( potential( ( 3 ) <= (tk(P915)) ) & potential( (tk(P534)) <= (tk(P685)) ) ) ) ) | (! ( ( potential( (tk(P1054)) <= (tk(P1329)) ) | potential( (tk(P646)) <= (tk(P1025)) ) ) | ( potential( (tk(P1159)) <= (tk(P1392)) ) & potential( ( 2 ) <= (tk(P1002)) ) ) )) ) )
PROPERTY: ShieldPPPs-PT-050A-CTLCardinality-03 (AU( (AX( potential( ( 2 ) <= (tk(P692)) ))),(AG( potential( (tk(P1101)) <= (tk(P954)) ))) ))
PROPERTY: ShieldPPPs-PT-050A-CTLCardinality-04 ( (AG( (EF(potential( (tk(P1150)) <= (tk(P553)) ))))) & (EU( (! potential( ( 2 ) <= (tk(P1427)) )),( potential( ( 3 ) <= (tk(P756)) ) | potential( ( 2 ) <= (tk(P527)) ) ) )) )
PROPERTY: ShieldPPPs-PT-050A-CTLCardinality-05 (EG( ( (EX( potential( ( 2 ) <= (tk(P891)) ))) | ( potential( (tk(P368)) <= (tk(P1009)) ) | potential( (tk(P1336)) <= (tk(P1502)) ) ) )))
PROPERTY: ShieldPPPs-PT-050A-CTLCardinality-06 (! (! (! (AG( potential( (tk(P952)) <= (tk(P266)) ))))))
PROPERTY: ShieldPPPs-PT-050A-CTLCardinality-07 (AF(( potential( ( 3 ) <= (tk(P895)) ) & potential( ( 2 ) <= (tk(P719)) ) )))
PROPERTY: ShieldPPPs-PT-050A-CTLCardinality-08 (EF((! (! ( potential( ( 3 ) <= (tk(P1089)) ) | potential( ( 1 ) <= (tk(P1102)) ) )))))
PROPERTY: ShieldPPPs-PT-050A-CTLCardinality-09 (EG( (AF(( potential( ( 3 ) <= (tk(P727)) ) | potential( (tk(P922)) <= (tk(P634)) ) )))))
PROPERTY: ShieldPPPs-PT-050A-CTLCardinality-10 ( (! (EF(potential( ( 1 ) <= (tk(P907)) )))) | ( (AG( (! potential( (tk(P1361)) <= (tk(P136)) )))) & potential( ( 3 ) <= (tk(P1469)) ) ) )
PROPERTY: ShieldPPPs-PT-050A-CTLCardinality-11 (AG( ( (! ( potential( ( 3 ) <= (tk(P1324)) ) & potential( (tk(P912)) <= (tk(P982)) ) )) & potential( (tk(P980)) <= (tk(P692)) ) )))
PROPERTY: ShieldPPPs-PT-050A-CTLCardinality-12 ( (AG( (! potential( ( 3 ) <= (tk(P323)) )))) | potential( ( 2 ) <= (tk(P1434)) ) )
PROPERTY: ShieldPPPs-PT-050A-CTLCardinality-13 (! ( ( ( ( potential( ( 1 ) <= (tk(P890)) ) & potential( ( 1 ) <= (tk(P797)) ) ) & ( potential( ( 3 ) <= (tk(P250)) ) & potential( (tk(P960)) <= (tk(P626)) ) ) ) | (EX( potential( (tk(P13)) <= (tk(P786)) ))) ) & (! (EF(potential( ( 1 ) <= (tk(P449)) )))) ))
PROPERTY: ShieldPPPs-PT-050A-CTLCardinality-14 ( ( (! potential( ( 1 ) <= (tk(P1388)) )) | (EX( ( potential( (tk(P138)) <= (tk(P18)) ) & potential( ( 3 ) <= (tk(P1461)) ) ))) ) & (AF((AG( potential( ( 1 ) <= (tk(P1079)) ))))) )
PROPERTY: ShieldPPPs-PT-050A-CTLCardinality-15 (AU( (AF(potential( ( 1 ) <= (tk(P741)) ))),( (! potential( (tk(P771)) <= (tk(P1252)) )) | potential( ( 2 ) <= (tk(P1469)) ) ) ))

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="ShieldPPPs-PT-050A"
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 ShieldPPPs-PT-050A, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469600539"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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