Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 844K
-rw-r--r-- 1 mcc users 3.7K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 669K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589019151594

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 04b
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: 2034 places, 2567 transitions, 7875 arcs.
AT ITER 0 NEW BEST:: SOT 2930331 SOS 779349 HAS SOPS 779349 HAS SOUS 619616 HAS SOUPS 619616 WITH SCORE 620395.349
AT ITER 3 NEW BEST:: SOT 2930090 SOS 778867 HAS SOPS 778867 HAS SOUS 619134 HAS SOUPS 619134 WITH SCORE 619912.867
AT ITER 6 NEW BEST:: SOT 2930017 SOS 778794 HAS SOPS 778794 HAS SOUS 619059 HAS SOUPS 619059 WITH SCORE 619837.794
AT ITER 12 NEW BEST:: SOT 2930017 SOS 778736 HAS SOPS 778736 HAS SOUS 619058 HAS SOUPS 619058 WITH SCORE 619836.736
AT ITER 13 NEW BEST:: SOT 2929972 SOS 778646 HAS SOPS 778646 HAS SOUS 618968 HAS SOUPS 618968 WITH SCORE 619746.646
AT ITER 59 NEW BEST:: SOT 2929786 SOS 778568 HAS SOPS 778568 HAS SOUS 618890 HAS SOUPS 618890 WITH SCORE 619668.568
AT ITER 61 NEW BEST:: SOT 2929786 SOS 778279 HAS SOPS 778279 HAS SOUS 618601 HAS SOUPS 618601 WITH SCORE 619379.279
AT ITER 77 NEW BEST:: SOT 2929786 SOS 778278 HAS SOPS 778278 HAS SOUS 618600 HAS SOUPS 618600 WITH SCORE 619378.278
AT ITER 84 NEW BEST:: SOT 2928502 SOS 776780 HAS SOPS 776780 HAS SOUS 618600 HAS SOUPS 618600 WITH SCORE 619376.78
AT ITER 99 NEW BEST:: SOT 2928501 SOS 776777 HAS SOPS 776777 HAS SOUS 618598 HAS SOUPS 618598 WITH SCORE 619374.777
AT ITER 100 NEW BEST:: SOT 2927920 SOS 776161 HAS SOPS 776161 HAS SOUS 618015 HAS SOUPS 618015 WITH SCORE 618791.161
AT ITER 119 NEW BEST:: SOT 2926458 SOS 775027 HAS SOPS 775027 HAS SOUS 616965 HAS SOUPS 616965 WITH SCORE 617740.027
AT ITER 124 NEW BEST:: SOT 2925910 SOS 775505 HAS SOPS 775505 HAS SOUS 616782 HAS SOUPS 616782 WITH SCORE 617557.505
AT ITER 132 NEW BEST:: SOT 2925910 SOS 775418 HAS SOPS 775418 HAS SOUS 616782 HAS SOUPS 616782 WITH SCORE 617557.418
AT ITER 147 NEW BEST:: SOT 2925778 SOS 775154 HAS SOPS 775154 HAS SOUS 616645 HAS SOUPS 616645 WITH SCORE 617420.154
AT ITER 160 NEW BEST:: SOT 2925775 SOS 774566 HAS SOPS 774566 HAS SOUS 616639 HAS SOUPS 616639 WITH SCORE 617413.566
AT ITER 165 NEW BEST:: SOT 2925146 SOS 774293 HAS SOPS 774293 HAS SOUS 616010 HAS SOUPS 616010 WITH SCORE 616784.293
AT ITER 176 NEW BEST:: SOT 2924845 SOS 773990 HAS SOPS 773990 HAS SOUS 615803 HAS SOUPS 615803 WITH SCORE 616576.99
AT ITER 180 NEW BEST:: SOT 2924812 SOS 773957 HAS SOPS 773957 HAS SOUS 615770 HAS SOUPS 615770 WITH SCORE 616543.957
AT ITER 198 NEW BEST:: SOT 2924787 SOS 773907 HAS SOPS 773907 HAS SOUS 615527 HAS SOUPS 615527 WITH SCORE 616300.907
AT ITER 200 NEW BEST:: SOT 2924680 SOS 773799 HAS SOPS 773799 HAS SOUS 615403 HAS SOUPS 615403 WITH SCORE 616176.799
AT ITER 217 NEW BEST:: SOT 2924679 SOS 773797 HAS SOPS 773797 HAS SOUS 615401 HAS SOUPS 615401 WITH SCORE 616174.797
AT ITER 231 NEW BEST:: SOT 2924442 SOS 773311 HAS SOPS 773311 HAS SOUS 614915 HAS SOUPS 614915 WITH SCORE 615688.311
AT ITER 234 NEW BEST:: SOT 2924227 SOS 772881 HAS SOPS 772881 HAS SOUS 614485 HAS SOUPS 614485 WITH SCORE 615257.881
AT ITER 239 NEW BEST:: SOT 2924155 SOS 772809 HAS SOPS 772809 HAS SOUS 614413 HAS SOUPS 614413 WITH SCORE 615185.809
AT ITER 244 NEW BEST:: SOT 2922881 SOS 774495 HAS SOPS 774495 HAS SOUS 613528 HAS SOUPS 613528 WITH SCORE 614302.495
AT ITER 253 NEW BEST:: SOT 2922821 SOS 774434 HAS SOPS 774434 HAS SOUS 613466 HAS SOUPS 613466 WITH SCORE 614240.434
AT ITER 264 NEW BEST:: SOT 2922821 SOS 774360 HAS SOPS 774360 HAS SOUS 613466 HAS SOUPS 613466 WITH SCORE 614240.36
AT ITER 298 NEW BEST:: SOT 2922509 SOS 774048 HAS SOPS 774048 HAS SOUS 613459 HAS SOUPS 613459 WITH SCORE 614233.048
AT ITER 300 NEW BEST:: SOT 2922442 SOS 776774 HAS SOPS 776774 HAS SOUS 613294 HAS SOUPS 613294 WITH SCORE 614070.774
AT ITER 311 NEW BEST:: SOT 2921784 SOS 777048 HAS SOPS 777048 HAS SOUS 613080 HAS SOUPS 613080 WITH SCORE 613857.048
AT ITER 339 NEW BEST:: SOT 2921616 SOS 776887 HAS SOPS 776887 HAS SOUS 612919 HAS SOUPS 612919 WITH SCORE 613695.887
AT ITER 344 NEW BEST:: SOT 2921540 SOS 776809 HAS SOPS 776809 HAS SOUS 612841 HAS SOUPS 612841 WITH SCORE 613617.809
AT ITER 374 NEW BEST:: SOT 2921540 SOS 776992 HAS SOPS 776992 HAS SOUS 612152 HAS SOUPS 612152 WITH SCORE 612928.992
AT ITER 382 NEW BEST:: SOT 2921540 SOS 776988 HAS SOPS 776988 HAS SOUS 612148 HAS SOUPS 612148 WITH SCORE 612924.988
AT ITER 392 NEW BEST:: SOT 2920868 SOS 777136 HAS SOPS 777136 HAS SOUS 611935 HAS SOUPS 611935 WITH SCORE 612712.136
AT ITER 416 NEW BEST:: SOT 2920570 SOS 776659 HAS SOPS 776659 HAS SOUS 611594 HAS SOUPS 611594 WITH SCORE 612370.659
AT ITER 419 NEW BEST:: SOT 2920508 SOS 776631 HAS SOPS 776631 HAS SOUS 611566 HAS SOUPS 611566 WITH SCORE 612342.631
AT ITER 420 NEW BEST:: SOT 2920340 SOS 776309 HAS SOPS 776309 HAS SOUS 611246 HAS SOUPS 611246 WITH SCORE 612022.309
AT ITER 423 NEW BEST:: SOT 2920013 SOS 775976 HAS SOPS 775976 HAS SOUS 610913 HAS SOUPS 610913 WITH SCORE 611688.976
AT ITER 426 NEW BEST:: SOT 2919614 SOS 775522 HAS SOPS 775522 HAS SOUS 610457 HAS SOUPS 610457 WITH SCORE 611232.522
AT ITER 427 NEW BEST:: SOT 2919551 SOS 775196 HAS SOPS 775196 HAS SOUS 610131 HAS SOUPS 610131 WITH SCORE 610906.196
AT ITER 448 NEW BEST:: SOT 2919343 SOS 771958 HAS SOPS 771958 HAS SOUS 609661 HAS SOUPS 609661 WITH SCORE 610432.958
AT ITER 458 NEW BEST:: SOT 2918996 SOS 771611 HAS SOPS 771611 HAS SOUS 609314 HAS SOUPS 609314 WITH SCORE 610085.611
AT ITER 468 NEW BEST:: SOT 2919003 SOS 771565 HAS SOPS 771565 HAS SOUS 609268 HAS SOUPS 609268 WITH SCORE 610039.565
AT ITER 477 NEW BEST:: SOT 2919002 SOS 771669 HAS SOPS 771669 HAS SOUS 609266 HAS SOUPS 609266 WITH SCORE 610037.669
AT ITER 508 NEW BEST:: SOT 2918622 SOS 771151 HAS SOPS 771151 HAS SOUS 608861 HAS SOUPS 608861 WITH SCORE 609632.151
AT ITER 529 NEW BEST:: SOT 2918572 SOS 771001 HAS SOPS 771001 HAS SOUS 608808 HAS SOUPS 608808 WITH SCORE 609579.001
AT ITER 542 NEW BEST:: SOT 2918005 SOS 770353 HAS SOPS 770353 HAS SOUS 608727 HAS SOUPS 608727 WITH SCORE 609497.353
AT ITER 543 NEW BEST:: SOT 2916289 SOS 767016 HAS SOPS 767016 HAS SOUS 607098 HAS SOUPS 607098 WITH SCORE 607865.016
AT ITER 562 NEW BEST:: SOT 2916161 SOS 766533 HAS SOPS 766533 HAS SOUS 606842 HAS SOUPS 606842 WITH SCORE 607608.533
AT ITER 564 NEW BEST:: SOT 2915694 SOS 766126 HAS SOPS 766126 HAS SOUS 606837 HAS SOUPS 606837 WITH SCORE 607603.126
AT ITER 569 NEW BEST:: SOT 2915693 SOS 766002 HAS SOPS 766002 HAS SOUS 606834 HAS SOUPS 606834 WITH SCORE 607600.002
AT ITER 573 NEW BEST:: SOT 2915571 SOS 765864 HAS SOPS 765864 HAS SOUS 606654 HAS SOUPS 606654 WITH SCORE 607419.864
AT ITER 599 NEW BEST:: SOT 2915571 SOS 765844 HAS SOPS 765844 HAS SOUS 606634 HAS SOUPS 606634 WITH SCORE 607399.844
AT ITER 608 NEW BEST:: SOT 2915562 SOS 765826 HAS SOPS 765826 HAS SOUS 606625 HAS SOUPS 606625 WITH SCORE 607390.826
AT ITER 618 NEW BEST:: SOT 2915562 SOS 765611 HAS SOPS 765611 HAS SOUS 606410 HAS SOUPS 606410 WITH SCORE 607175.611
AT ITER 630 NEW BEST:: SOT 2915526 SOS 765575 HAS SOPS 765575 HAS SOUS 606338 HAS SOUPS 606338 WITH SCORE 607103.575
AT ITER 644 NEW BEST:: SOT 2915410 SOS 765459 HAS SOPS 765459 HAS SOUS 606222 HAS SOUPS 606222 WITH SCORE 606987.459
AT ITER 669 NEW BEST:: SOT 2915202 SOS 765073 HAS SOPS 765073 HAS SOUS 605824 HAS SOUPS 605824 WITH SCORE 606589.073
AT ITER 671 NEW BEST:: SOT 2914792 SOS 764816 HAS SOPS 764816 HAS SOUS 605465 HAS SOUPS 605465 WITH SCORE 606229.816
AT ITER 682 NEW BEST:: SOT 2913484 SOS 764243 HAS SOPS 764243 HAS SOUS 604664 HAS SOUPS 604664 WITH SCORE 605428.243
AT ITER 684 NEW BEST:: SOT 2913475 SOS 764234 HAS SOPS 764234 HAS SOUS 604664 HAS SOUPS 604664 WITH SCORE 605428.234
AT ITER 695 NEW BEST:: SOT 2913453 SOS 764204 HAS SOPS 764204 HAS SOUS 604641 HAS SOUPS 604641 WITH SCORE 605405.204
AT ITER 713 NEW BEST:: SOT 2913299 SOS 764023 HAS SOPS 764023 HAS SOUS 604460 HAS SOUPS 604460 WITH SCORE 605224.023
AT ITER 739 NEW BEST:: SOT 2913278 SOS 763976 HAS SOPS 763976 HAS SOUS 604315 HAS SOUPS 604315 WITH SCORE 605078.976
AT ITER 767 NEW BEST:: SOT 2913268 SOS 763956 HAS SOPS 763956 HAS SOUS 604182 HAS SOUPS 604182 WITH SCORE 604945.956
AT ITER 788 NEW BEST:: SOT 2913268 SOS 763956 HAS SOPS 763956 HAS SOUS 604122 HAS SOUPS 604122 WITH SCORE 604885.956
AT ITER 790 NEW BEST:: SOT 2913268 SOS 763927 HAS SOPS 763927 HAS SOUS 604093 HAS SOUPS 604093 WITH SCORE 604856.927
AT ITER 793 NEW BEST:: SOT 2913000 SOS 763905 HAS SOPS 763905 HAS SOUS 604071 HAS SOUPS 604071 WITH SCORE 604834.905
AT ITER 802 NEW BEST:: SOT 2913000 SOS 763785 HAS SOPS 763785 HAS SOUS 603970 HAS SOUPS 603970 WITH SCORE 604733.785
AT ITER 824 NEW BEST:: SOT 2908067 SOS 761571 HAS SOPS 761571 HAS SOUS 599537 HAS SOUPS 599537 WITH SCORE 600298.571
AT ITER 828 NEW BEST:: SOT 2907847 SOS 760471 HAS SOPS 760471 HAS SOUS 599097 HAS SOUPS 599097 WITH SCORE 599857.471
AT ITER 836 NEW BEST:: SOT 2907676 SOS 759894 HAS SOPS 759894 HAS SOUS 598927 HAS SOUPS 598927 WITH SCORE 599686.894
AT ITER 859 NEW BEST:: SOT 2907851 SOS 759856 HAS SOPS 759856 HAS SOUS 598889 HAS SOUPS 598889 WITH SCORE 599648.856
AT ITER 868 NEW BEST:: SOT 2907742 SOS 759638 HAS SOPS 759638 HAS SOUS 598518 HAS SOUPS 598518 WITH SCORE 599277.638
AT ITER 876 NEW BEST:: SOT 2907742 SOS 759584 HAS SOPS 759584 HAS SOUS 598515 HAS SOUPS 598515 WITH SCORE 599274.584
AT ITER 882 NEW BEST:: SOT 2907662 SOS 759497 HAS SOPS 759497 HAS SOUS 598386 HAS SOUPS 598386 WITH SCORE 599145.497
AT ITER 887 NEW BEST:: SOT 2907002 SOS 759387 HAS SOPS 759387 HAS SOUS 597836 HAS SOUPS 597836 WITH SCORE 598595.387
AT ITER 906 NEW BEST:: SOT 2907002 SOS 759607 HAS SOPS 759607 HAS SOUS 597138 HAS SOUPS 597138 WITH SCORE 597897.607
AT ITER 925 NEW BEST:: SOT 2906741 SOS 759210 HAS SOPS 759210 HAS SOUS 596741 HAS SOUPS 596741 WITH SCORE 597500.21
AT ITER 931 NEW BEST:: SOT 2906680 SOS 759035 HAS SOPS 759035 HAS SOUS 596600 HAS SOUPS 596600 WITH SCORE 597359.035
AT ITER 947 NEW BEST:: SOT 2906531 SOS 758834 HAS SOPS 758834 HAS SOUS 596399 HAS SOUPS 596399 WITH SCORE 597157.834
AT ITER 953 NEW BEST:: SOT 2906302 SOS 759969 HAS SOPS 759969 HAS SOUS 595941 HAS SOUPS 595941 WITH SCORE 596700.969
AT ITER 967 NEW BEST:: SOT 2906301 SOS 760159 HAS SOPS 760159 HAS SOUS 595939 HAS SOUPS 595939 WITH SCORE 596699.159
AT ITER 985 NEW BEST:: SOT 2905524 SOS 760124 HAS SOPS 760124 HAS SOUS 595465 HAS SOUPS 595465 WITH SCORE 596225.124
AT ITER 1003 NEW BEST:: SOT 2905272 SOS 760088 HAS SOPS 760088 HAS SOUS 595429 HAS SOUPS 595429 WITH SCORE 596189.088
AT ITER 1004 NEW BEST:: SOT 2905175 SOS 759894 HAS SOPS 759894 HAS SOUS 595217 HAS SOUPS 595217 WITH SCORE 595976.894
AT ITER 1017 NEW BEST:: SOT 2905175 SOS 759910 HAS SOPS 759910 HAS SOUS 595210 HAS SOUPS 595210 WITH SCORE 595969.91
AT ITER 1025 NEW BEST:: SOT 2905086 SOS 759846 HAS SOPS 759846 HAS SOUS 595177 HAS SOUPS 595177 WITH SCORE 595936.846
AT ITER 1037 NEW BEST:: SOT 2905086 SOS 759765 HAS SOPS 759765 HAS SOUS 595177 HAS SOUPS 595177 WITH SCORE 595936.765
AT ITER 1044 NEW BEST:: SOT 2904704 SOS 759279 HAS SOPS 759279 HAS SOUS 594691 HAS SOUPS 594691 WITH SCORE 595450.279
AT ITER 1047 NEW BEST:: SOT 2904793 SOS 759457 HAS SOPS 759457 HAS SOUS 594682 HAS SOUPS 594682 WITH SCORE 595441.457
AT ITER 1076 NEW BEST:: SOT 2902127 SOS 762138 HAS SOPS 762138 HAS SOUS 593034 HAS SOUPS 593034 WITH SCORE 593796.138
AT ITER 1082 NEW BEST:: SOT 2902127 SOS 763421 HAS SOPS 763421 HAS SOUS 593008 HAS SOUPS 593008 WITH SCORE 593771.421
AT ITER 1086 NEW BEST:: SOT 2901930 SOS 763027 HAS SOPS 763027 HAS SOUS 592614 HAS SOUPS 592614 WITH SCORE 593377.027
AT ITER 1094 NEW BEST:: SOT 2901930 SOS 763191 HAS SOPS 763191 HAS SOUS 591360 HAS SOUPS 591360 WITH SCORE 592123.191
AT ITER 1098 NEW BEST:: SOT 2901759 SOS 763153 HAS SOPS 763153 HAS SOUS 591322 HAS SOUPS 591322 WITH SCORE 592085.153
AT ITER 1104 NEW BEST:: SOT 2899771 SOS 765977 HAS SOPS 765977 HAS SOUS 590161 HAS SOUPS 590161 WITH SCORE 590926.977
AT ITER 1114 NEW BEST:: SOT 2899771 SOS 767653 HAS SOPS 767653 HAS SOUS 590139 HAS SOUPS 590139 WITH SCORE 590906.653
AT ITER 1145 NEW BEST:: SOT 2899770 SOS 767516 HAS SOPS 767516 HAS SOUS 590002 HAS SOUPS 590002 WITH SCORE 590769.516
AT ITER 1172 NEW BEST:: SOT 2899513 SOS 767516 HAS SOPS 767516 HAS SOUS 589912 HAS SOUPS 589912 WITH SCORE 590679.516
AT ITER 1194 NEW BEST:: SOT 2899318 SOS 768453 HAS SOPS 768453 HAS SOUS 589687 HAS SOUPS 589687 WITH SCORE 590455.453
AT ITER 1217 NEW BEST:: SOT 2899188 SOS 768323 HAS SOPS 768323 HAS SOUS 589685 HAS SOUPS 589685 WITH SCORE 590453.323
AT ITER 1221 NEW BEST:: SOT 2898920 SOS 768055 HAS SOPS 768055 HAS SOUS 589231 HAS SOUPS 589231 WITH SCORE 589999.055
AT ITER 1223 NEW BEST:: SOT 2898843 SOS 767976 HAS SOPS 767976 HAS SOUS 589152 HAS SOUPS 589152 WITH SCORE 589919.976
AT ITER 1224 NEW BEST:: SOT 2898807 SOS 767534 HAS SOPS 767534 HAS SOUS 589090 HAS SOUPS 589090 WITH SCORE 589857.534
AT ITER 1240 NEW BEST:: SOT 2898779 SOS 767478 HAS SOPS 767478 HAS SOUS 589034 HAS SOUPS 589034 WITH SCORE 589801.478
AT ITER 1247 NEW BEST:: SOT 2898779 SOS 767455 HAS SOPS 767455 HAS SOUS 589011 HAS SOUPS 589011 WITH SCORE 589778.455
AT ITER 1278 NEW BEST:: SOT 2898617 SOS 766971 HAS SOPS 766971 HAS SOUS 588678 HAS SOUPS 588678 WITH SCORE 589444.971
AT ITER 1299 NEW BEST:: SOT 2897616 SOS 765970 HAS SOPS 765970 HAS SOUS 588678 HAS SOUPS 588678 WITH SCORE 589443.97
AT ITER 1311 NEW BEST:: SOT 2896556 SOS 764005 HAS SOPS 764005 HAS SOUS 587460 HAS SOUPS 587460 WITH SCORE 588224.005
AT ITER 1327 NEW BEST:: SOT 2896555 SOS 764002 HAS SOPS 764002 HAS SOUS 587457 HAS SOUPS 587457 WITH SCORE 588221.002
AT ITER 1334 NEW BEST:: SOT 2896088 SOS 764894 HAS SOPS 764894 HAS SOUS 587423 HAS SOUPS 587423 WITH SCORE 588187.894
AT ITER 1344 NEW BEST:: SOT 2896083 SOS 763369 HAS SOPS 763369 HAS SOUS 587131 HAS SOUPS 587131 WITH SCORE 587894.369
AT ITER 1347 NEW BEST:: SOT 2895975 SOS 763448 HAS SOPS 763448 HAS SOUS 587092 HAS SOUPS 587092 WITH SCORE 587855.448
AT ITER 1348 NEW BEST:: SOT 2895936 SOS 763370 HAS SOPS 763370 HAS SOUS 587053 HAS SOUPS 587053 WITH SCORE 587816.37
AT ITER 1354 NEW BEST:: SOT 2895924 SOS 763342 HAS SOPS 763342 HAS SOUS 587037 HAS SOUPS 587037 WITH SCORE 587800.342
AT ITER 1360 NEW BEST:: SOT 2895837 SOS 763255 HAS SOPS 763255 HAS SOUS 586950 HAS SOUPS 586950 WITH SCORE 587713.255
AT ITER 1393 NEW BEST:: SOT 2895837 SOS 763224 HAS SOPS 763224 HAS SOUS 586949 HAS SOUPS 586949 WITH SCORE 587712.224
AT ITER 1418 NEW BEST:: SOT 2895588 SOS 762304 HAS SOPS 762304 HAS SOUS 586526 HAS SOUPS 586526 WITH SCORE 587288.304
AT ITER 1423 NEW BEST:: SOT 2895518 SOS 761794 HAS SOPS 761794 HAS SOUS 586074 HAS SOUPS 586074 WITH SCORE 586835.794
AT ITER 1435 NEW BEST:: SOT 2895518 SOS 761790 HAS SOPS 761790 HAS SOUS 586070 HAS SOUPS 586070 WITH SCORE 586831.79
AT ITER 1478 NEW BEST:: SOT 2895372 SOS 761644 HAS SOPS 761644 HAS SOUS 585924 HAS SOUPS 585924 WITH SCORE 586685.644
AT ITER 1486 NEW BEST:: SOT 2895371 SOS 761488 HAS SOPS 761488 HAS SOUS 585922 HAS SOUPS 585922 WITH SCORE 586683.488
AT ITER 1494 NEW BEST:: SOT 2895312 SOS 761276 HAS SOPS 761276 HAS SOUS 585804 HAS SOUPS 585804 WITH SCORE 586565.276
AT ITER 1497 NEW BEST:: SOT 2895312 SOS 761271 HAS SOPS 761271 HAS SOUS 585804 HAS SOUPS 585804 WITH SCORE 586565.271
AT ITER 1508 NEW BEST:: SOT 2895272 SOS 760930 HAS SOPS 760930 HAS SOUS 585591 HAS SOUPS 585591 WITH SCORE 586351.93
AT ITER 1516 NEW BEST:: SOT 2894725 SOS 764096 HAS SOPS 764096 HAS SOUS 584547 HAS SOUPS 584547 WITH SCORE 585311.096
AT ITER 1517 NEW BEST:: SOT 2894383 SOS 763810 HAS SOPS 763810 HAS SOUS 584261 HAS SOUPS 584261 WITH SCORE 585024.81
AT ITER 1524 NEW BEST:: SOT 2894747 SOS 764244 HAS SOPS 764244 HAS SOUS 581763 HAS SOUPS 581763 WITH SCORE 582527.244
AT ITER 1535 NEW BEST:: SOT 2894747 SOS 764242 HAS SOPS 764242 HAS SOUS 581761 HAS SOUPS 581761 WITH SCORE 582525.242
AT ITER 1536 NEW BEST:: SOT 2894630 SOS 764008 HAS SOPS 764008 HAS SOUS 581527 HAS SOUPS 581527 WITH SCORE 582291.008
AT ITER 1542 NEW BEST:: SOT 2894574 SOS 763840 HAS SOPS 763840 HAS SOUS 581513 HAS SOUPS 581513 WITH SCORE 582276.84
AT ITER 1552 NEW BEST:: SOT 2894552 SOS 763796 HAS SOPS 763796 HAS SOUS 581469 HAS SOUPS 581469 WITH SCORE 582232.796
AT ITER 1553 NEW BEST:: SOT 2894143 SOS 763395 HAS SOPS 763395 HAS SOUS 581068 HAS SOUPS 581068 WITH SCORE 581831.395
AT ITER 1555 NEW BEST:: SOT 2894099 SOS 763351 HAS SOPS 763351 HAS SOUS 581068 HAS SOUPS 581068 WITH SCORE 581831.351
AT ITER 1556 NEW BEST:: SOT 2893916 SOS 762983 HAS SOPS 762983 HAS SOUS 580700 HAS SOUPS 580700 WITH SCORE 581462.983
AT ITER 1562 NEW BEST:: SOT 2894347 SOS 765813 HAS SOPS 765813 HAS SOUS 576125 HAS SOUPS 576125 WITH SCORE 576890.813
AT ITER 1568 NEW BEST:: SOT 2894445 SOS 765899 HAS SOPS 765899 HAS SOUS 575783 HAS SOUPS 575783 WITH SCORE 576548.899
AT ITER 1575 NEW BEST:: SOT 2894473 SOS 765018 HAS SOPS 765018 HAS SOUS 575675 HAS SOUPS 575675 WITH SCORE 576440.018
AT ITER 1586 NEW BEST:: SOT 2894473 SOS 764934 HAS SOPS 764934 HAS SOUS 575633 HAS SOUPS 575633 WITH SCORE 576397.934
AT ITER 1588 NEW BEST:: SOT 2894473 SOS 764827 HAS SOPS 764827 HAS SOUS 575630 HAS SOUPS 575630 WITH SCORE 576394.827
AT ITER 1599 NEW BEST:: SOT 2894440 SOS 764392 HAS SOPS 764392 HAS SOUS 575563 HAS SOUPS 575563 WITH SCORE 576327.392
AT ITER 1621 NEW BEST:: SOT 2893738 SOS 763807 HAS SOPS 763807 HAS SOUS 574978 HAS SOUPS 574978 WITH SCORE 575741.807
AT ITER 1661 NEW BEST:: SOT 2893737 SOS 763804 HAS SOPS 763804 HAS SOUS 574975 HAS SOUPS 574975 WITH SCORE 575738.804
AT ITER 1670 NEW BEST:: SOT 2893617 SOS 763654 HAS SOPS 763654 HAS SOUS 574825 HAS SOUPS 574825 WITH SCORE 575588.654
AT ITER 1675 NEW BEST:: SOT 2893471 SOS 763311 HAS SOPS 763311 HAS SOUS 574679 HAS SOUPS 574679 WITH SCORE 575442.311
AT ITER 1676 NEW BEST:: SOT 2893201 SOS 762570 HAS SOPS 762570 HAS SOUS 574355 HAS SOUPS 574355 WITH SCORE 575117.57
AT ITER 1727 NEW BEST:: SOT 2893017 SOS 762371 HAS SOPS 762371 HAS SOUS 574225 HAS SOUPS 574225 WITH SCORE 574987.371
AT ITER 1770 NEW BEST:: SOT 2892612 SOS 762776 HAS SOPS 762776 HAS SOUS 573819 HAS SOUPS 573819 WITH SCORE 574581.776
AT ITER 1774 NEW BEST:: SOT 2892353 SOS 762103 HAS SOPS 762103 HAS SOUS 569761 HAS SOUPS 569761 WITH SCORE 570523.103
AT ITER 1794 NEW BEST:: SOT 2892155 SOS 761785 HAS SOPS 761785 HAS SOUS 569364 HAS SOUPS 569364 WITH SCORE 570125.785
AT ITER 1801 NEW BEST:: SOT 2892041 SOS 761621 HAS SOPS 761621 HAS SOUS 569236 HAS SOUPS 569236 WITH SCORE 569997.621
AT ITER 1815 NEW BEST:: SOT 2892037 SOS 761613 HAS SOPS 761613 HAS SOUS 569228 HAS SOUPS 569228 WITH SCORE 569989.613
AT ITER 1820 NEW BEST:: SOT 2891768 SOS 761933 HAS SOPS 761933 HAS SOUS 569126 HAS SOUPS 569126 WITH SCORE 569887.933
AT ITER 1823 NEW BEST:: SOT 2891596 SOS 761035 HAS SOPS 761035 HAS SOUS 568802 HAS SOUPS 568802 WITH SCORE 569563.035
AT ITER 1848 NEW BEST:: SOT 2891349 SOS 760817 HAS SOPS 760817 HAS SOUS 568787 HAS SOUPS 568787 WITH SCORE 569547.817
AT ITER 1850 NEW BEST:: SOT 2890929 SOS 761689 HAS SOPS 761689 HAS SOUS 568657 HAS SOUPS 568657 WITH SCORE 569418.689
AT ITER 1851 NEW BEST:: SOT 2890642 SOS 761922 HAS SOPS 761922 HAS SOUS 568590 HAS SOUPS 568590 WITH SCORE 569351.922
AT ITER 1875 NEW BEST:: SOT 2890642 SOS 761776 HAS SOPS 761776 HAS SOUS 568442 HAS SOUPS 568442 WITH SCORE 569203.776
AT ITER 1883 NEW BEST:: SOT 2890599 SOS 761690 HAS SOPS 761690 HAS SOUS 568356 HAS SOUPS 568356 WITH SCORE 569117.69
AT ITER 1895 NEW BEST:: SOT 2890596 SOS 761698 HAS SOPS 761698 HAS SOUS 568322 HAS SOUPS 568322 WITH SCORE 569083.698
AT ITER 1916 NEW BEST:: SOT 2890414 SOS 761455 HAS SOPS 761455 HAS SOUS 568079 HAS SOUPS 568079 WITH SCORE 568840.455
AT ITER 1925 NEW BEST:: SOT 2890823 SOS 761443 HAS SOPS 761443 HAS SOUS 568067 HAS SOUPS 568067 WITH SCORE 568828.443
AT ITER 1932 NEW BEST:: SOT 2890568 SOS 760918 HAS SOPS 760918 HAS SOUS 567542 HAS SOUPS 567542 WITH SCORE 568302.918
AT ITER 1934 NEW BEST:: SOT 2890381 SOS 760261 HAS SOPS 760261 HAS SOUS 567140 HAS SOUPS 567140 WITH SCORE 567900.261
AT ITER 1949 NEW BEST:: SOT 2890338 SOS 759686 HAS SOPS 759686 HAS SOUS 566837 HAS SOUPS 566837 WITH SCORE 567596.686
AT ITER 1952 NEW BEST:: SOT 2890054 SOS 759402 HAS SOPS 759402 HAS SOUS 566553 HAS SOUPS 566553 WITH SCORE 567312.402
AT ITER 1966 NEW BEST:: SOT 2890054 SOS 759083 HAS SOPS 759083 HAS SOUS 566553 HAS SOUPS 566553 WITH SCORE 567312.083
AT ITER 1971 NEW BEST:: SOT 2890054 SOS 758970 HAS SOPS 758970 HAS SOUS 566553 HAS SOUPS 566553 WITH SCORE 567311.97
AT ITER 1975 NEW BEST:: SOT 2889768 SOS 758831 HAS SOPS 758831 HAS SOUS 566410 HAS SOUPS 566410 WITH SCORE 567168.831
AT ITER 1978 NEW BEST:: SOT 2889768 SOS 758483 HAS SOPS 758483 HAS SOUS 566062 HAS SOUPS 566062 WITH SCORE 566820.483
AT ITER 1987 NEW BEST:: SOT 2889587 SOS 758218 HAS SOPS 758218 HAS SOUS 565797 HAS SOUPS 565797 WITH SCORE 566555.218
AT ITER 1989 NEW BEST:: SOT 2889351 SOS 757902 HAS SOPS 757902 HAS SOUS 565677 HAS SOUPS 565677 WITH SCORE 566434.902
AT ITER 1996 NEW BEST:: SOT 2889299 SOS 757724 HAS SOPS 757724 HAS SOUS 565499 HAS SOUPS 565499 WITH SCORE 566256.724
AT ITER 2032 NEW BEST:: SOT 2889121 SOS 757474 HAS SOPS 757474 HAS SOUS 565315 HAS SOUPS 565315 WITH SCORE 566072.474
AT ITER 2033 NEW BEST:: SOT 2889119 SOS 757472 HAS SOPS 757472 HAS SOUS 565311 HAS SOUPS 565311 WITH SCORE 566068.472
AT ITER 2037 NEW BEST:: SOT 2886982 SOS 755478 HAS SOPS 755478 HAS SOUS 565302 HAS SOUPS 565302 WITH SCORE 566057.478
AT ITER 2038 NEW BEST:: SOT 2887214 SOS 755456 HAS SOPS 755456 HAS SOUS 565280 HAS SOUPS 565280 WITH SCORE 566035.456
AT ITER 2056 NEW BEST:: SOT 2887213 SOS 755450 HAS SOPS 755450 HAS SOUS 565274 HAS SOUPS 565274 WITH SCORE 566029.45
AT ITER 2058 NEW BEST:: SOT 2887127 SOS 755364 HAS SOPS 755364 HAS SOUS 565188 HAS SOUPS 565188 WITH SCORE 565943.364
AT ITER 2059 NEW BEST:: SOT 2887133 SOS 755293 HAS SOPS 755293 HAS SOUS 565041 HAS SOUPS 565041 WITH SCORE 565796.293
AT ITER 2060 NEW BEST:: SOT 2887101 SOS 754869 HAS SOPS 754869 HAS SOUS 564816 HAS SOUPS 564816 WITH SCORE 565570.869
AT ITER 2098 NEW BEST:: SOT 2887101 SOS 754850 HAS SOPS 754850 HAS SOUS 564797 HAS SOUPS 564797 WITH SCORE 565551.85
AT ITER 2099 NEW BEST:: SOT 2886726 SOS 754202 HAS SOPS 754202 HAS SOUS 564149 HAS SOUPS 564149 WITH SCORE 564903.202
AT ITER 2156 NEW BEST:: SOT 2886726 SOS 753739 HAS SOPS 753739 HAS SOUS 564149 HAS SOUPS 564149 WITH SCORE 564902.739
AT ITER 2157 NEW BEST:: SOT 2886026 SOS 753470 HAS SOPS 753470 HAS SOUS 563550 HAS SOUPS 563550 WITH SCORE 564303.47
AT ITER 2167 NEW BEST:: SOT 2885504 SOS 753221 HAS SOPS 753221 HAS SOUS 562221 HAS SOUPS 562221 WITH SCORE 562974.221
AT ITER 2170 NEW BEST:: SOT 2885499 SOS 753025 HAS SOPS 753025 HAS SOUS 562211 HAS SOUPS 562211 WITH SCORE 562964.025
AT ITER 2171 NEW BEST:: SOT 2885246 SOS 752469 HAS SOPS 752469 HAS SOUS 561957 HAS SOUPS 561957 WITH SCORE 562709.469
AT ITER 2174 NEW BEST:: SOT 2884979 SOS 752322 HAS SOPS 752322 HAS SOUS 561700 HAS SOUPS 561700 WITH SCORE 562452.322
AT ITER 2196 NEW BEST:: SOT 2883484 SOS 758589 HAS SOPS 758589 HAS SOUS 561483 HAS SOUPS 561483 WITH SCORE 562241.589
AT ITER 2229 NEW BEST:: SOT 2883484 SOS 758555 HAS SOPS 758555 HAS SOUS 561479 HAS SOUPS 561479 WITH SCORE 562237.555
AT ITER 2239 NEW BEST:: SOT 2883483 SOS 758550 HAS SOPS 758550 HAS SOUS 561477 HAS SOUPS 561477 WITH SCORE 562235.55
AT ITER 2245 NEW BEST:: SOT 2883483 SOS 758527 HAS SOPS 758527 HAS SOUS 561454 HAS SOUPS 561454 WITH SCORE 562212.527
AT ITER 2253 NEW BEST:: SOT 2883383 SOS 758410 HAS SOPS 758410 HAS SOUS 561436 HAS SOUPS 561436 WITH SCORE 562194.41
AT ITER 2266 NEW BEST:: SOT 2883290 SOS 758307 HAS SOPS 758307 HAS SOUS 561329 HAS SOUPS 561329 WITH SCORE 562087.307
AT ITER 2292 NEW BEST:: SOT 2883405 SOS 758269 HAS SOPS 758269 HAS SOUS 561150 HAS SOUPS 561150 WITH SCORE 561908.269
AT ITER 2311 NEW BEST:: SOT 2883453 SOS 758113 HAS SOPS 758113 HAS SOUS 560994 HAS SOUPS 560994 WITH SCORE 561752.113
AT ITER 2313 NEW BEST:: SOT 2883382 SOS 758027 HAS SOPS 758027 HAS SOUS 560973 HAS SOUPS 560973 WITH SCORE 561731.027
AT ITER 2321 NEW BEST:: SOT 2883382 SOS 757673 HAS SOPS 757673 HAS SOUS 558009 HAS SOUPS 558009 WITH SCORE 558766.673
AT ITER 2337 NEW BEST:: SOT 2883382 SOS 757657 HAS SOPS 757657 HAS SOUS 557993 HAS SOUPS 557993 WITH SCORE 558750.657
AT ITER 2361 NEW BEST:: SOT 2883340 SOS 757615 HAS SOPS 757615 HAS SOUS 557951 HAS SOUPS 557951 WITH SCORE 558708.615
AT ITER 2368 NEW BEST:: SOT 2883319 SOS 757705 HAS SOPS 757705 HAS SOUS 557909 HAS SOUPS 557909 WITH SCORE 558666.705
AT ITER 2369 NEW BEST:: SOT 2883254 SOS 757575 HAS SOPS 757575 HAS SOUS 557888 HAS SOUPS 557888 WITH SCORE 558645.575
AT ITER 2372 NEW BEST:: SOT 2883253 SOS 757573 HAS SOPS 757573 HAS SOUS 557886 HAS SOUPS 557886 WITH SCORE 558643.573
AT ITER 2415 NEW BEST:: SOT 2883230 SOS 757550 HAS SOPS 757550 HAS SOUS 557863 HAS SOUPS 557863 WITH SCORE 558620.55
AT ITER 2419 NEW BEST:: SOT 2883229 SOS 757549 HAS SOPS 757549 HAS SOUS 557860 HAS SOUPS 557860 WITH SCORE 558617.549
AT ITER 2422 NEW BEST:: SOT 2883229 SOS 757548 HAS SOPS 757548 HAS SOUS 557859 HAS SOUPS 557859 WITH SCORE 558616.548
AT ITER 2424 NEW BEST:: SOT 2883234 SOS 757471 HAS SOPS 757471 HAS SOUS 557716 HAS SOUPS 557716 WITH SCORE 558473.471
AT ITER 2428 NEW BEST:: SOT 2883234 SOS 757264 HAS SOPS 757264 HAS SOUS 557509 HAS SOUPS 557509 WITH SCORE 558266.264
AT ITER 2438 NEW BEST:: SOT 2881368 SOS 756352 HAS SOPS 756352 HAS SOUS 557120 HAS SOUPS 557120 WITH SCORE 557876.352
AT ITER 2448 NEW BEST:: SOT 2881256 SOS 756226 HAS SOPS 756226 HAS SOUS 557092 HAS SOUPS 557092 WITH SCORE 557848.226
AT ITER 2463 NEW BEST:: SOT 2881256 SOS 756191 HAS SOPS 756191 HAS SOUS 557088 HAS SOUPS 557088 WITH SCORE 557844.191
AT ITER 2464 NEW BEST:: SOT 2881241 SOS 756161 HAS SOPS 756161 HAS SOUS 557058 HAS SOUPS 557058 WITH SCORE 557814.161
AT ITER 2466 NEW BEST:: SOT 2881241 SOS 756196 HAS SOPS 756196 HAS SOUS 556021 HAS SOUPS 556021 WITH SCORE 556777.196
AT ITER 2477 NEW BEST:: SOT 2881170 SOS 755895 HAS SOPS 755895 HAS SOUS 555720 HAS SOUPS 555720 WITH SCORE 556475.895
AT ITER 2494 NEW BEST:: SOT 2880924 SOS 752321 HAS SOPS 752321 HAS SOUS 555098 HAS SOUPS 555098 WITH SCORE 555850.321
AT ITER 2509 NEW BEST:: SOT 2881098 SOS 750855 HAS SOPS 750855 HAS SOUS 555050 HAS SOUPS 555050 WITH SCORE 555800.855
AT ITER 2529 NEW BEST:: SOT 2880782 SOS 751384 HAS SOPS 751384 HAS SOUS 554583 HAS SOUPS 554583 WITH SCORE 555334.384
AT ITER 2542 NEW BEST:: SOT 2880782 SOS 751233 HAS SOPS 751233 HAS SOUS 554432 HAS SOUPS 554432 WITH SCORE 555183.233
AT ITER 2559 NEW BEST:: SOT 2878836 SOS 749720 HAS SOPS 749720 HAS SOUS 552212 HAS SOUPS 552212 WITH SCORE 552961.72
AT ITER 2609 NEW BEST:: SOT 2878809 SOS 749666 HAS SOPS 749666 HAS SOUS 552158 HAS SOUPS 552158 WITH SCORE 552907.666
AT ITER 2620 NEW BEST:: SOT 2878794 SOS 748416 HAS SOPS 748416 HAS SOUS 551993 HAS SOUPS 551993 WITH SCORE 552741.416
AT ITER 2641 NEW BEST:: SOT 2878794 SOS 748414 HAS SOPS 748414 HAS SOUS 551992 HAS SOUPS 551992 WITH SCORE 552740.414
AT ITER 2649 NEW BEST:: SOT 2878777 SOS 748380 HAS SOPS 748380 HAS SOUS 551957 HAS SOUPS 551957 WITH SCORE 552705.38
AT ITER 2654 NEW BEST:: SOT 2878577 SOS 747980 HAS SOPS 747980 HAS SOUS 551557 HAS SOUPS 551557 WITH SCORE 552304.98
AT ITER 2658 NEW BEST:: SOT 2878577 SOS 747979 HAS SOPS 747979 HAS SOUS 551556 HAS SOUPS 551556 WITH SCORE 552303.979
AT ITER 2667 NEW BEST:: SOT 2878427 SOS 748394 HAS SOPS 748394 HAS SOUS 551250 HAS SOUPS 551250 WITH SCORE 551998.394
AT ITER 2685 NEW BEST:: SOT 2878290 SOS 747938 HAS SOPS 747938 HAS SOUS 551154 HAS SOUPS 551154 WITH SCORE 551901.938
AT ITER 2704 NEW BEST:: SOT 2878214 SOS 747411 HAS SOPS 747411 HAS SOUS 550436 HAS SOUPS 550436 WITH SCORE 551183.411
AT ITER 2705 NEW BEST:: SOT 2878201 SOS 747385 HAS SOPS 747385 HAS SOUS 550410 HAS SOUPS 550410 WITH SCORE 551157.385
AT ITER 2721 NEW BEST:: SOT 2877951 SOS 747358 HAS SOPS 747358 HAS SOUS 550367 HAS SOUPS 550367 WITH SCORE 551114.358
AT ITER 2748 NEW BEST:: SOT 2877951 SOS 747339 HAS SOPS 747339 HAS SOUS 550367 HAS SOUPS 550367 WITH SCORE 551114.339
AT ITER 2754 NEW BEST:: SOT 2879198 SOS 749038 HAS SOPS 749038 HAS SOUS 550229 HAS SOUPS 550229 WITH SCORE 550978.038
AT ITER 2756 NEW BEST:: SOT 2879112 SOS 748866 HAS SOPS 748866 HAS SOUS 550142 HAS SOUPS 550142 WITH SCORE 550890.866
AT ITER 2762 NEW BEST:: SOT 2879086 SOS 748839 HAS SOPS 748839 HAS SOUS 550089 HAS SOUPS 550089 WITH SCORE 550837.839
AT ITER 2776 NEW BEST:: SOT 2878896 SOS 748690 HAS SOPS 748690 HAS SOUS 549931 HAS SOUPS 549931 WITH SCORE 550679.69
AT ITER 2798 NEW BEST:: SOT 2879081 SOS 748962 HAS SOPS 748962 HAS SOUS 549408 HAS SOUPS 549408 WITH SCORE 550156.962
AT ITER 2824 NEW BEST:: SOT 2878846 SOS 748711 HAS SOPS 748711 HAS SOUS 549157 HAS SOUPS 549157 WITH SCORE 549905.711
AT ITER 2837 NEW BEST:: SOT 2878846 SOS 748788 HAS SOPS 748788 HAS SOUS 548876 HAS SOUPS 548876 WITH SCORE 549624.788
AT ITER 2852 NEW BEST:: SOT 2878798 SOS 748692 HAS SOPS 748692 HAS SOUS 548780 HAS SOUPS 548780 WITH SCORE 549528.692
AT ITER 2857 NEW BEST:: SOT 2878736 SOS 748827 HAS SOPS 748827 HAS SOUS 548656 HAS SOUPS 548656 WITH SCORE 549404.827
AT ITER 2862 NEW BEST:: SOT 2878545 SOS 748940 HAS SOPS 748940 HAS SOUS 548356 HAS SOUPS 548356 WITH SCORE 549104.94
AT ITER 2869 NEW BEST:: SOT 2878545 SOS 754141 HAS SOPS 754141 HAS SOUS 547744 HAS SOUPS 547744 WITH SCORE 548498.141
AT ITER 2870 NEW BEST:: SOT 2878540 SOS 754131 HAS SOPS 754131 HAS SOUS 547737 HAS SOUPS 547737 WITH SCORE 548491.131
AT ITER 2871 NEW BEST:: SOT 2878366 SOS 753553 HAS SOPS 753553 HAS SOUS 547388 HAS SOUPS 547388 WITH SCORE 548141.553
AT ITER 2898 NEW BEST:: SOT 2878223 SOS 752991 HAS SOPS 752991 HAS SOUS 547102 HAS SOUPS 547102 WITH SCORE 547854.991
AT ITER 2927 NEW BEST:: SOT 2878091 SOS 752806 HAS SOPS 752806 HAS SOUS 546785 HAS SOUPS 546785 WITH SCORE 547537.806
AT ITER 2941 NEW BEST:: SOT 2878030 SOS 752666 HAS SOPS 752666 HAS SOUS 546706 HAS SOUPS 546706 WITH SCORE 547458.666
AT ITER 2960 NEW BEST:: SOT 2877051 SOS 751937 HAS SOPS 751937 HAS SOUS 545977 HAS SOUPS 545977 WITH SCORE 546728.937
AT ITER 2973 NEW BEST:: SOT 2876757 SOS 751757 HAS SOPS 751757 HAS SOUS 545896 HAS SOUPS 545896 WITH SCORE 546647.757
AT ITER 2983 NEW BEST:: SOT 2876040 SOS 751040 HAS SOPS 751040 HAS SOUS 545179 HAS SOUPS 545179 WITH SCORE 545930.04
AT ITER 2992 NEW BEST:: SOT 2876040 SOS 750462 HAS SOPS 750462 HAS SOUS 545161 HAS SOUPS 545161 WITH SCORE 545911.462
AT ITER 2999 NEW BEST:: SOT 2875952 SOS 750286 HAS SOPS 750286 HAS SOUS 545067 HAS SOUPS 545067 WITH SCORE 545817.286
AT ITER 3008 NEW BEST:: SOT 2875807 SOS 750236 HAS SOPS 750236 HAS SOUS 545017 HAS SOUPS 545017 WITH SCORE 545767.236
AT ITER 3013 NEW BEST:: SOT 2875807 SOS 750234 HAS SOPS 750234 HAS SOUS 545015 HAS SOUPS 545015 WITH SCORE 545765.234
AT ITER 3031 NEW BEST:: SOT 2875807 SOS 750107 HAS SOPS 750107 HAS SOUS 541504 HAS SOUPS 541504 WITH SCORE 542254.107
AT ITER 3052 NEW BEST:: SOT 2875807 SOS 750123 HAS SOPS 750123 HAS SOUS 541503 HAS SOUPS 541503 WITH SCORE 542253.123
AT ITER 3058 NEW BEST:: SOT 2875785 SOS 750211 HAS SOPS 750211 HAS SOUS 541481 HAS SOUPS 541481 WITH SCORE 542231.211
AT ITER 3059 NEW BEST:: SOT 2875563 SOS 750064 HAS SOPS 750064 HAS SOUS 541032 HAS SOUPS 541032 WITH SCORE 541782.064
AT ITER 3060 NEW BEST:: SOT 2875511 SOS 750012 HAS SOPS 750012 HAS SOUS 540980 HAS SOUPS 540980 WITH SCORE 541730.012
AT ITER 3071 NEW BEST:: SOT 2875510 SOS 750010 HAS SOPS 750010 HAS SOUS 540979 HAS SOUPS 540979 WITH SCORE 541729.01
AT ITER 3086 NEW BEST:: SOT 2875461 SOS 749912 HAS SOPS 749912 HAS SOUS 540881 HAS SOUPS 540881 WITH SCORE 541630.912
AT ITER 3092 NEW BEST:: SOT 2875334 SOS 749658 HAS SOPS 749658 HAS SOUS 540627 HAS SOUPS 540627 WITH SCORE 541376.658
AT ITER 3116 NEW BEST:: SOT 2875334 SOS 749650 HAS SOPS 749650 HAS SOUS 540627 HAS SOUPS 540627 WITH SCORE 541376.65
AT ITER 3118 NEW BEST:: SOT 2875334 SOS 749238 HAS SOPS 749238 HAS SOUS 540564 HAS SOUPS 540564 WITH SCORE 541313.238
AT ITER 3167 NEW BEST:: SOT 2875316 SOS 749219 HAS SOPS 749219 HAS SOUS 540545 HAS SOUPS 540545 WITH SCORE 541294.219
AT ITER 3184 NEW BEST:: SOT 2874069 SOS 747492 HAS SOPS 747492 HAS SOUS 539099 HAS SOUPS 539099 WITH SCORE 539846.492
AT ITER 3203 NEW BEST:: SOT 2874057 SOS 747531 HAS SOPS 747531 HAS SOUS 539054 HAS SOUPS 539054 WITH SCORE 539801.531
AT ITER 3222 NEW BEST:: SOT 2874057 SOS 747530 HAS SOPS 747530 HAS SOUS 539053 HAS SOUPS 539053 WITH SCORE 539800.53
AT ITER 3228 NEW BEST:: SOT 2873909 SOS 746694 HAS SOPS 746694 HAS SOUS 538757 HAS SOUPS 538757 WITH SCORE 539503.694
AT ITER 3229 NEW BEST:: SOT 2873909 SOS 746692 HAS SOPS 746692 HAS SOUS 538755 HAS SOUPS 538755 WITH SCORE 539501.692
AT ITER 3238 NEW BEST:: SOT 2872743 SOS 751035 HAS SOPS 751035 HAS SOUS 538696 HAS SOUPS 538696 WITH SCORE 539447.035
AT ITER 3240 NEW BEST:: SOT 2872101 SOS 750393 HAS SOPS 750393 HAS SOUS 538189 HAS SOUPS 538189 WITH SCORE 538939.393
AT ITER 3244 NEW BEST:: SOT 2872100 SOS 750392 HAS SOPS 750392 HAS SOUS 538187 HAS SOUPS 538187 WITH SCORE 538937.392
AT ITER 3249 NEW BEST:: SOT 2871875 SOS 749943 HAS SOPS 749943 HAS SOUS 536258 HAS SOUPS 536258 WITH SCORE 537007.943
AT ITER 3266 NEW BEST:: SOT 2871663 SOS 749686 HAS SOPS 749686 HAS SOUS 536044 HAS SOUPS 536044 WITH SCORE 536793.686
AT ITER 3281 NEW BEST:: SOT 2871621 SOS 749891 HAS SOPS 749891 HAS SOUS 534497 HAS SOUPS 534497 WITH SCORE 535246.891
AT ITER 3282 NEW BEST:: SOT 2871478 SOS 749605 HAS SOPS 749605 HAS SOUS 534211 HAS SOUPS 534211 WITH SCORE 534960.605
AT ITER 3328 NEW BEST:: SOT 2871447 SOS 749543 HAS SOPS 749543 HAS SOUS 534149 HAS SOUPS 534149 WITH SCORE 534898.543
AT ITER 3329 NEW BEST:: SOT 2871345 SOS 749441 HAS SOPS 749441 HAS SOUS 534047 HAS SOUPS 534047 WITH SCORE 534796.441
AT ITER 3331 NEW BEST:: SOT 2871343 SOS 749426 HAS SOPS 749426 HAS SOUS 534042 HAS SOUPS 534042 WITH SCORE 534791.426
AT ITER 3339 NEW BEST:: SOT 2871343 SOS 749426 HAS SOPS 749426 HAS SOUS 534040 HAS SOUPS 534040 WITH SCORE 534789.426
AT ITER 3385 NEW BEST:: SOT 2871159 SOS 749242 HAS SOPS 749242 HAS SOUS 533672 HAS SOUPS 533672 WITH SCORE 534421.242
AT ITER 3416 NEW BEST:: SOT 2871024 SOS 748972 HAS SOPS 748972 HAS SOUS 533610 HAS SOUPS 533610 WITH SCORE 534358.972
AT ITER 3427 NEW BEST:: SOT 2871024 SOS 749032 HAS SOPS 749032 HAS SOUS 533190 HAS SOUPS 533190 WITH SCORE 533939.032
AT ITER 3431 NEW BEST:: SOT 2870897 SOS 748778 HAS SOPS 748778 HAS SOUS 532936 HAS SOUPS 532936 WITH SCORE 533684.778
AT ITER 3449 NEW BEST:: SOT 2870754 SOS 748580 HAS SOPS 748580 HAS SOUS 531737 HAS SOUPS 531737 WITH SCORE 532485.58
AT ITER 3460 NEW BEST:: SOT 2870706 SOS 748484 HAS SOPS 748484 HAS SOUS 531641 HAS SOUPS 531641 WITH SCORE 532389.484
AT ITER 3529 NEW BEST:: SOT 2870517 SOS 746027 HAS SOPS 746027 HAS SOUS 531263 HAS SOUPS 531263 WITH SCORE 532009.027
AT ITER 3532 NEW BEST:: SOT 2870517 SOS 746015 HAS SOPS 746015 HAS SOUS 531251 HAS SOUPS 531251 WITH SCORE 531997.015
AT ITER 3551 NEW BEST:: SOT 2870356 SOS 745676 HAS SOPS 745676 HAS SOUS 530912 HAS SOUPS 530912 WITH SCORE 531657.676
AT ITER 3565 NEW BEST:: SOT 2870142 SOS 745679 HAS SOPS 745679 HAS SOUS 530538 HAS SOUPS 530538 WITH SCORE 531283.679
AT ITER 3567 NEW BEST:: SOT 2868698 SOS 749507 HAS SOPS 749507 HAS SOUS 530237 HAS SOUPS 530237 WITH SCORE 530986.507
AT ITER 3588 NEW BEST:: SOT 2868666 SOS 749216 HAS SOPS 749216 HAS SOUS 530115 HAS SOUPS 530115 WITH SCORE 530864.216
AT ITER 3600 NEW BEST:: SOT 2868667 SOS 748958 HAS SOPS 748958 HAS SOUS 529857 HAS SOUPS 529857 WITH SCORE 530605.958
AT ITER 3605 NEW BEST:: SOT 2868588 SOS 748800 HAS SOPS 748800 HAS SOUS 529699 HAS SOUPS 529699 WITH SCORE 530447.8
AT ITER 3609 NEW BEST:: SOT 2868570 SOS 748764 HAS SOPS 748764 HAS SOUS 529663 HAS SOUPS 529663 WITH SCORE 530411.764
AT ITER 3613 NEW BEST:: SOT 2868570 SOS 748763 HAS SOPS 748763 HAS SOUS 529662 HAS SOUPS 529662 WITH SCORE 530410.763
AT ITER 3615 NEW BEST:: SOT 2868558 SOS 748564 HAS SOPS 748564 HAS SOUS 529410 HAS SOUPS 529410 WITH SCORE 530158.564
AT ITER 3630 NEW BEST:: SOT 2868558 SOS 748771 HAS SOPS 748771 HAS SOUS 529322 HAS SOUPS 529322 WITH SCORE 530070.771
AT ITER 3649 NEW BEST:: SOT 2868550 SOS 748755 HAS SOPS 748755 HAS SOUS 529306 HAS SOUPS 529306 WITH SCORE 530054.755
AT ITER 3662 NEW BEST:: SOT 2868554 SOS 748570 HAS SOPS 748570 HAS SOUS 529306 HAS SOUPS 529306 WITH SCORE 530054.57
AT ITER 3676 NEW BEST:: SOT 2868554 SOS 748518 HAS SOPS 748518 HAS SOUS 529254 HAS SOUPS 529254 WITH SCORE 530002.518
AT ITER 3684 NEW BEST:: SOT 2868233 SOS 747876 HAS SOPS 747876 HAS SOUS 528612 HAS SOUPS 528612 WITH SCORE 529359.876
AT ITER 3709 NEW BEST:: SOT 2867339 SOS 747176 HAS SOPS 747176 HAS SOUS 527608 HAS SOUPS 527608 WITH SCORE 528355.176
AT ITER 3730 NEW BEST:: SOT 2867337 SOS 747174 HAS SOPS 747174 HAS SOUS 527608 HAS SOUPS 527608 WITH SCORE 528355.174
AT ITER 3734 NEW BEST:: SOT 2866683 SOS 747158 HAS SOPS 747158 HAS SOUS 527464 HAS SOUPS 527464 WITH SCORE 528211.158
AT ITER 3755 NEW BEST:: SOT 2866737 SOS 747232 HAS SOPS 747232 HAS SOUS 527201 HAS SOUPS 527201 WITH SCORE 527948.232
AT ITER 3756 NEW BEST:: SOT 2866737 SOS 747520 HAS SOPS 747520 HAS SOUS 527199 HAS SOUPS 527199 WITH SCORE 527946.52
AT ITER 3766 NEW BEST:: SOT 2866690 SOS 747498 HAS SOPS 747498 HAS SOUS 527177 HAS SOUPS 527177 WITH SCORE 527924.498
AT ITER 3781 NEW BEST:: SOT 2866689 SOS 747414 HAS SOPS 747414 HAS SOUS 527175 HAS SOUPS 527175 WITH SCORE 527922.414
AT ITER 3792 NEW BEST:: SOT 2867060 SOS 747887 HAS SOPS 747887 HAS SOUS 526746 HAS SOUPS 526746 WITH SCORE 527493.887
AT ITER 3821 NEW BEST:: SOT 2867060 SOS 747839 HAS SOPS 747839 HAS SOUS 526698 HAS SOUPS 526698 WITH SCORE 527445.839
AT ITER 3828 NEW BEST:: SOT 2864411 SOS 745010 HAS SOPS 745010 HAS SOUS 526214 HAS SOUPS 526214 WITH SCORE 526959.01
AT ITER 3837 NEW BEST:: SOT 2864411 SOS 744904 HAS SOPS 744904 HAS SOUS 526114 HAS SOUPS 526114 WITH SCORE 526858.904
AT ITER 3838 NEW BEST:: SOT 2864409 SOS 744900 HAS SOPS 744900 HAS SOUS 526110 HAS SOUPS 526110 WITH SCORE 526854.9
AT ITER 3842 NEW BEST:: SOT 2864612 SOS 746094 HAS SOPS 746094 HAS SOUS 525421 HAS SOUPS 525421 WITH SCORE 526167.094
AT ITER 3847 NEW BEST:: SOT 2864608 SOS 746086 HAS SOPS 746086 HAS SOUS 525413 HAS SOUPS 525413 WITH SCORE 526159.086
AT ITER 3860 NEW BEST:: SOT 2864491 SOS 745852 HAS SOPS 745852 HAS SOUS 525179 HAS SOUPS 525179 WITH SCORE 525924.852
AT ITER 3906 NEW BEST:: SOT 2865579 SOS 747145 HAS SOPS 747145 HAS SOUS 524280 HAS SOUPS 524280 WITH SCORE 525027.145
AT ITER 3910 NEW BEST:: SOT 2865579 SOS 746876 HAS SOPS 746876 HAS SOUS 524011 HAS SOUPS 524011 WITH SCORE 524757.876
AT ITER 3923 NEW BEST:: SOT 2865542 SOS 746802 HAS SOPS 746802 HAS SOUS 523971 HAS SOUPS 523971 WITH SCORE 524717.802
AT ITER 3924 NEW BEST:: SOT 2865193 SOS 746613 HAS SOPS 746613 HAS SOUS 523712 HAS SOUPS 523712 WITH SCORE 524458.613
AT ITER 3930 NEW BEST:: SOT 2865153 SOS 746365 HAS SOPS 746365 HAS SOUS 523651 HAS SOUPS 523651 WITH SCORE 524397.365
AT ITER 3931 NEW BEST:: SOT 2864865 SOS 746077 HAS SOPS 746077 HAS SOUS 523347 HAS SOUPS 523347 WITH SCORE 524093.077
AT ITER 3932 NEW BEST:: SOT 2864865 SOS 746084 HAS SOPS 746084 HAS SOUS 523071 HAS SOUPS 523071 WITH SCORE 523817.084
AT ITER 3947 NEW BEST:: SOT 2864865 SOS 746082 HAS SOPS 746082 HAS SOUS 523069 HAS SOUPS 523069 WITH SCORE 523815.082
AT ITER 3970 NEW BEST:: SOT 2864865 SOS 746080 HAS SOPS 746080 HAS SOUS 523067 HAS SOUPS 523067 WITH SCORE 523813.08
AT ITER 3986 NEW BEST:: SOT 2864415 SOS 745772 HAS SOPS 745772 HAS SOUS 522617 HAS SOUPS 522617 WITH SCORE 523362.772
AT ITER 3988 NEW BEST:: SOT 2864305 SOS 745552 HAS SOPS 745552 HAS SOUS 522397 HAS SOUPS 522397 WITH SCORE 523142.552
AT ITER 3995 NEW BEST:: SOT 2864241 SOS 744956 HAS SOPS 744956 HAS SOUS 521713 HAS SOUPS 521713 WITH SCORE 522457.956
AT ITER 4005 NEW BEST:: SOT 2864191 SOS 744906 HAS SOPS 744906 HAS SOUS 521663 HAS SOUPS 521663 WITH SCORE 522407.906
AT ITER 4030 NEW BEST:: SOT 2864191 SOS 744697 HAS SOPS 744697 HAS SOUS 521454 HAS SOUPS 521454 WITH SCORE 522198.697
AT ITER 4055 NEW BEST:: SOT 2864191 SOS 744660 HAS SOPS 744660 HAS SOUS 521454 HAS SOUPS 521454 WITH SCORE 522198.66
AT ITER 4057 NEW BEST:: SOT 2864190 SOS 744659 HAS SOPS 744659 HAS SOUS 521440 HAS SOUPS 521440 WITH SCORE 522184.659
AT ITER 4071 NEW BEST:: SOT 2864114 SOS 744583 HAS SOPS 744583 HAS SOUS 521364 HAS SOUPS 521364 WITH SCORE 522108.583
AT ITER 4074 NEW BEST:: SOT 2863680 SOS 744078 HAS SOPS 744078 HAS SOUS 520859 HAS SOUPS 520859 WITH SCORE 521603.078
AT ITER 4079 NEW BEST:: SOT 2863530 SOS 743885 HAS SOPS 743885 HAS SOUS 520740 HAS SOUPS 520740 WITH SCORE 521483.885
AT ITER 4084 NEW BEST:: SOT 2863503 SOS 743475 HAS SOPS 743475 HAS SOUS 520663 HAS SOUPS 520663 WITH SCORE 521406.475
AT ITER 4101 NEW BEST:: SOT 2863536 SOS 742783 HAS SOPS 742783 HAS SOUS 520619 HAS SOUPS 520619 WITH SCORE 521361.783
AT ITER 4121 NEW BEST:: SOT 2862984 SOS 741866 HAS SOPS 741866 HAS SOUS 519702 HAS SOUPS 519702 WITH SCORE 520443.866
AT ITER 4146 NEW BEST:: SOT 2862975 SOS 741862 HAS SOPS 741862 HAS SOUS 519698 HAS SOUPS 519698 WITH SCORE 520439.862
AT ITER 4167 NEW BEST:: SOT 2862974 SOS 741619 HAS SOPS 741619 HAS SOUS 519455 HAS SOUPS 519455 WITH SCORE 520196.619
AT ITER 4168 NEW BEST:: SOT 2862929 SOS 741534 HAS SOPS 741534 HAS SOUS 519274 HAS SOUPS 519274 WITH SCORE 520015.534
AT ITER 4172 NEW BEST:: SOT 2862929 SOS 741500 HAS SOPS 741500 HAS SOUS 519240 HAS SOUPS 519240 WITH SCORE 519981.5
AT ITER 4180 NEW BEST:: SOT 2862727 SOS 741165 HAS SOPS 741165 HAS SOUS 518803 HAS SOUPS 518803 WITH SCORE 519544.165
AT ITER 4189 NEW BEST:: SOT 2862663 SOS 741037 HAS SOPS 741037 HAS SOUS 518675 HAS SOUPS 518675 WITH SCORE 519416.037
AT ITER 4198 NEW BEST:: SOT 2862530 SOS 740843 HAS SOPS 740843 HAS SOUS 518481 HAS SOUPS 518481 WITH SCORE 519221.843
AT ITER 4204 NEW BEST:: SOT 2862606 SOS 740455 HAS SOPS 740455 HAS SOUS 518280 HAS SOUPS 518280 WITH SCORE 519020.455
AT ITER 4212 NEW BEST:: SOT 2862605 SOS 740369 HAS SOPS 740369 HAS SOUS 518277 HAS SOUPS 518277 WITH SCORE 519017.369
AT ITER 4226 NEW BEST:: SOT 2862608 SOS 740303 HAS SOPS 740303 HAS SOUS 518211 HAS SOUPS 518211 WITH SCORE 518951.303
AT ITER 4231 NEW BEST:: SOT 2862448 SOS 740393 HAS SOPS 740393 HAS SOUS 517891 HAS SOUPS 517891 WITH SCORE 518631.393
AT ITER 4274 NEW BEST:: SOT 2862397 SOS 740266 HAS SOPS 740266 HAS SOUS 517764 HAS SOUPS 517764 WITH SCORE 518504.266
AT ITER 4286 NEW BEST:: SOT 2862282 SOS 740163 HAS SOPS 740163 HAS SOUS 517661 HAS SOUPS 517661 WITH SCORE 518401.163
AT ITER 4294 NEW BEST:: SOT 2862010 SOS 739659 HAS SOPS 739659 HAS SOUS 517315 HAS SOUPS 517315 WITH SCORE 518054.659
AT ITER 4302 NEW BEST:: SOT 2861999 SOS 739663 HAS SOPS 739663 HAS SOUS 517287 HAS SOUPS 517287 WITH SCORE 518026.663
AT ITER 4305 NEW BEST:: SOT 2861908 SOS 739481 HAS SOPS 739481 HAS SOUS 517105 HAS SOUPS 517105 WITH SCORE 517844.481
AT ITER 4327 NEW BEST:: SOT 2861858 SOS 739276 HAS SOPS 739276 HAS SOUS 517004 HAS SOUPS 517004 WITH SCORE 517743.276
AT ITER 4333 NEW BEST:: SOT 2861792 SOS 739826 HAS SOPS 739826 HAS SOUS 516959 HAS SOUPS 516959 WITH SCORE 517698.826
AT ITER 4355 NEW BEST:: SOT 2861854 SOS 739692 HAS SOPS 739692 HAS SOUS 516876 HAS SOUPS 516876 WITH SCORE 517615.692
AT ITER 4359 NEW BEST:: SOT 2861740 SOS 739578 HAS SOPS 739578 HAS SOUS 516648 HAS SOUPS 516648 WITH SCORE 517387.578
AT ITER 4406 NEW BEST:: SOT 2861718 SOS 739534 HAS SOPS 739534 HAS SOUS 516604 HAS SOUPS 516604 WITH SCORE 517343.534
AT ITER 4413 NEW BEST:: SOT 2861593 SOS 739161 HAS SOPS 739161 HAS SOUS 516354 HAS SOUPS 516354 WITH SCORE 517093.161
AT ITER 4421 NEW BEST:: SOT 2861511 SOS 738999 HAS SOPS 738999 HAS SOUS 516231 HAS SOUPS 516231 WITH SCORE 516969.999
AT ITER 4423 NEW BEST:: SOT 2861504 SOS 740423 HAS SOPS 740423 HAS SOUS 516192 HAS SOUPS 516192 WITH SCORE 516932.423
AT ITER 4431 NEW BEST:: SOT 2861504 SOS 740335 HAS SOPS 740335 HAS SOUS 516191 HAS SOUPS 516191 WITH SCORE 516931.335
AT ITER 4433 NEW BEST:: SOT 2861405 SOS 741340 HAS SOPS 741340 HAS SOUS 516166 HAS SOUPS 516166 WITH SCORE 516907.34
AT ITER 4459 NEW BEST:: SOT 2861300 SOS 741235 HAS SOPS 741235 HAS SOUS 516149 HAS SOUPS 516149 WITH SCORE 516890.235
AT ITER 4463 NEW BEST:: SOT 2861300 SOS 741188 HAS SOPS 741188 HAS SOUS 516102 HAS SOUPS 516102 WITH SCORE 516843.188
AT ITER 4472 NEW BEST:: SOT 2861286 SOS 741174 HAS SOPS 741174 HAS SOUS 516088 HAS SOUPS 516088 WITH SCORE 516829.174
AT ITER 4480 NEW BEST:: SOT 2861286 SOS 741174 HAS SOPS 741174 HAS SOUS 516086 HAS SOUPS 516086 WITH SCORE 516827.174
AT ITER 4484 NEW BEST:: SOT 2861227 SOS 741115 HAS SOPS 741115 HAS SOUS 515968 HAS SOUPS 515968 WITH SCORE 516709.115
AT ITER 4487 NEW BEST:: SOT 2861107 SOS 740946 HAS SOPS 740946 HAS SOUS 515848 HAS SOUPS 515848 WITH SCORE 516588.946
AT ITER 4491 NEW BEST:: SOT 2860856 SOS 740693 HAS SOPS 740693 HAS SOUS 515595 HAS SOUPS 515595 WITH SCORE 516335.693
AT ITER 4501 NEW BEST:: SOT 2860714 SOS 740400 HAS SOPS 740400 HAS SOUS 515302 HAS SOUPS 515302 WITH SCORE 516042.4
AT ITER 4512 NEW BEST:: SOT 2860690 SOS 740222 HAS SOPS 740222 HAS SOUS 515247 HAS SOUPS 515247 WITH SCORE 515987.222
AT ITER 4527 NEW BEST:: SOT 2859883 SOS 738608 HAS SOPS 738608 HAS SOUS 513633 HAS SOUPS 513633 WITH SCORE 514371.608
AT ITER 4528 NEW BEST:: SOT 2859726 SOS 738367 HAS SOPS 738367 HAS SOUS 513390 HAS SOUPS 513390 WITH SCORE 514128.367
AT ITER 4549 NEW BEST:: SOT 2859598 SOS 737963 HAS SOPS 737963 HAS SOUS 513114 HAS SOUPS 513114 WITH SCORE 513851.963
AT ITER 4550 NEW BEST:: SOT 2859597 SOS 737957 HAS SOPS 737957 HAS SOUS 513112 HAS SOUPS 513112 WITH SCORE 513849.957
AT ITER 4551 NEW BEST:: SOT 2859597 SOS 738008 HAS SOPS 738008 HAS SOUS 513093 HAS SOUPS 513093 WITH SCORE 513831.008
AT ITER 4561 NEW BEST:: SOT 2859557 SOS 737917 HAS SOPS 737917 HAS SOUS 513013 HAS SOUPS 513013 WITH SCORE 513750.917
AT ITER 4574 NEW BEST:: SOT 2859557 SOS 737835 HAS SOPS 737835 HAS SOUS 512931 HAS SOUPS 512931 WITH SCORE 513668.835
AT ITER 4576 NEW BEST:: SOT 2859557 SOS 737681 HAS SOPS 737681 HAS SOUS 512786 HAS SOUPS 512786 WITH SCORE 513523.681
AT ITER 4609 NEW BEST:: SOT 2859485 SOS 737562 HAS SOPS 737562 HAS SOUS 512667 HAS SOUPS 512667 WITH SCORE 513404.562
AT ITER 4634 NEW BEST:: SOT 2859479 SOS 736870 HAS SOPS 736870 HAS SOUS 512570 HAS SOUPS 512570 WITH SCORE 513306.87
AT ITER 4641 NEW BEST:: SOT 2859475 SOS 736602 HAS SOPS 736602 HAS SOUS 512302 HAS SOUPS 512302 WITH SCORE 513038.602
AT ITER 4644 NEW BEST:: SOT 2859434 SOS 736542 HAS SOPS 736542 HAS SOUS 512197 HAS SOUPS 512197 WITH SCORE 512933.542
AT ITER 4652 NEW BEST:: SOT 2859405 SOS 736513 HAS SOPS 736513 HAS SOUS 512121 HAS SOUPS 512121 WITH SCORE 512857.513
AT ITER 4673 NEW BEST:: SOT 2859405 SOS 736437 HAS SOPS 736437 HAS SOUS 512121 HAS SOUPS 512121 WITH SCORE 512857.437
AT ITER 4687 NEW BEST:: SOT 2859445 SOS 736434 HAS SOPS 736434 HAS SOUS 512118 HAS SOUPS 512118 WITH SCORE 512854.434
AT ITER 4692 NEW BEST:: SOT 2859349 SOS 736464 HAS SOPS 736464 HAS SOUS 510372 HAS SOUPS 510372 WITH SCORE 511108.464
AT ITER 4708 NEW BEST:: SOT 2859349 SOS 736463 HAS SOPS 736463 HAS SOUS 510371 HAS SOUPS 510371 WITH SCORE 511107.463
AT ITER 4747 NEW BEST:: SOT 2859312 SOS 736389 HAS SOPS 736389 HAS SOUS 510293 HAS SOUPS 510293 WITH SCORE 511029.389
AT ITER 4767 NEW BEST:: SOT 2859241 SOS 736318 HAS SOPS 736318 HAS SOUS 510222 HAS SOUPS 510222 WITH SCORE 510958.318
AT ITER 4774 NEW BEST:: SOT 2858950 SOS 736021 HAS SOPS 736021 HAS SOUS 510216 HAS SOUPS 510216 WITH SCORE 510952.021
AT ITER 4785 NEW BEST:: SOT 2858945 SOS 736011 HAS SOPS 736011 HAS SOUS 510112 HAS SOUPS 510112 WITH SCORE 510848.011
AT ITER 4835 NEW BEST:: SOT 2858768 SOS 735274 HAS SOPS 735274 HAS SOUS 509259 HAS SOUPS 509259 WITH SCORE 509994.274
AT ITER 4843 NEW BEST:: SOT 2858724 SOS 735186 HAS SOPS 735186 HAS SOUS 509171 HAS SOUPS 509171 WITH SCORE 509906.186
AT ITER 4849 NEW BEST:: SOT 2858455 SOS 734917 HAS SOPS 734917 HAS SOUS 508902 HAS SOUPS 508902 WITH SCORE 509636.917
AT ITER 4857 NEW BEST:: SOT 2857265 SOS 734151 HAS SOPS 734151 HAS SOUS 507712 HAS SOUPS 507712 WITH SCORE 508446.151
AT ITER 4858 NEW BEST:: SOT 2857342 SOS 733734 HAS SOPS 733734 HAS SOUS 507587 HAS SOUPS 507587 WITH SCORE 508320.734
AT ITER 4863 NEW BEST:: SOT 2857280 SOS 733481 HAS SOPS 733481 HAS SOUS 507334 HAS SOUPS 507334 WITH SCORE 508067.481
AT ITER 4864 NEW BEST:: SOT 2857340 SOS 733476 HAS SOPS 733476 HAS SOUS 506810 HAS SOUPS 506810 WITH SCORE 507543.476
AT ITER 4867 NEW BEST:: SOT 2857218 SOS 733476 HAS SOPS 733476 HAS SOUS 506566 HAS SOUPS 506566 WITH SCORE 507299.476
AT ITER 4869 NEW BEST:: SOT 2856993 SOS 733007 HAS SOPS 733007 HAS SOUS 506290 HAS SOUPS 506290 WITH SCORE 507023.007
AT ITER 4898 NEW BEST:: SOT 2856993 SOS 733015 HAS SOPS 733015 HAS SOUS 506282 HAS SOUPS 506282 WITH SCORE 507015.015
AT ITER 4913 NEW BEST:: SOT 2856993 SOS 733014 HAS SOPS 733014 HAS SOUS 506281 HAS SOUPS 506281 WITH SCORE 507014.014
AT ITER 4925 NEW BEST:: SOT 2856994 SOS 732966 HAS SOPS 732966 HAS SOUS 506233 HAS SOUPS 506233 WITH SCORE 506965.966
AT ITER 4931 NEW BEST:: SOT 2856954 SOS 732842 HAS SOPS 732842 HAS SOUS 506135 HAS SOUPS 506135 WITH SCORE 506867.842
AT ITER 4939 NEW BEST:: SOT 2856784 SOS 732820 HAS SOPS 732820 HAS SOUS 506026 HAS SOUPS 506026 WITH SCORE 506758.82
AT ITER 4954 NEW BEST:: SOT 2856598 SOS 732688 HAS SOPS 732688 HAS SOUS 505894 HAS SOUPS 505894 WITH SCORE 506626.688
AT ITER 4965 NEW BEST:: SOT 2856481 SOS 732571 HAS SOPS 732571 HAS SOUS 505777 HAS SOUPS 505777 WITH SCORE 506509.571
AT ITER 4973 NEW BEST:: SOT 2856559 SOS 732714 HAS SOPS 732714 HAS SOUS 505764 HAS SOUPS 505764 WITH SCORE 506496.714
AT ITER 4992 NEW BEST:: SOT 2856025 SOS 734388 HAS SOPS 734388 HAS SOUS 505646 HAS SOUPS 505646 WITH SCORE 506380.388
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ASLink-PT-04b-CTLCardinality-00 (AF(potential( ( 3 ) <= (tk(P1553)) )))
PROPERTY: ASLink-PT-04b-CTLCardinality-01 (AF((AG( ( potential( (tk(P1907)) <= (tk(P1661)) ) | potential( (tk(P337)) <= (tk(P939)) ) )))))
PROPERTY: ASLink-PT-04b-CTLCardinality-02 (AG( (AU( potential( (tk(P1980)) <= (tk(P625)) ),potential( ( 2 ) <= (tk(P1944)) ) ))))
PROPERTY: ASLink-PT-04b-CTLCardinality-03 ( (AU( ( potential( (tk(P940)) <= (tk(P783)) ) | potential( ( 3 ) <= (tk(P1129)) ) ),( potential( (tk(P1961)) <= (tk(P323)) ) & potential( ( 1 ) <= (tk(P1691)) ) ) )) | potential( ( 3 ) <= (tk(P1869)) ) )
PROPERTY: ASLink-PT-04b-CTLCardinality-04 ( potential( ( 1 ) <= (tk(P1766)) ) | ( ( (EX( potential( ( 2 ) <= (tk(P103)) ))) | ( (! potential( ( 1 ) <= (tk(P1434)) )) | potential( (tk(P2003)) <= (tk(P1475)) ) ) ) & (AG( ( potential( (tk(P49)) <= (tk(P517)) ) | potential( ( 1 ) <= (tk(P603)) ) ))) ) )
PROPERTY: ASLink-PT-04b-CTLCardinality-05 (EU( potential( (tk(P716)) <= (tk(P949)) ),(AG( potential( ( 3 ) <= (tk(P610)) ))) ))
PROPERTY: ASLink-PT-04b-CTLCardinality-06 ( (! (AX( ( potential( ( 1 ) <= (tk(P840)) ) & potential( ( 1 ) <= (tk(P1924)) ) )))) & (EF(potential( ( 3 ) <= (tk(P1644)) ))) )
PROPERTY: ASLink-PT-04b-CTLCardinality-07 (AF(( (AG( potential( (tk(P1062)) <= (tk(P467)) ))) & potential( ( 3 ) <= (tk(P992)) ) )))
PROPERTY: ASLink-PT-04b-CTLCardinality-08 ( (! ( ( potential( ( 3 ) <= (tk(P1473)) ) | ( potential( (tk(P645)) <= (tk(P551)) ) | potential( (tk(P635)) <= (tk(P1392)) ) ) ) & ( (! potential( (tk(P737)) <= (tk(P1665)) )) & (! potential( (tk(P800)) <= (tk(P1306)) )) ) )) & (AU( ( potential( (tk(P947)) <= (tk(P994)) ) | potential( (tk(P1909)) <= (tk(P1017)) ) ),(! potential( (tk(P540)) <= (tk(P1633)) )) )) )
PROPERTY: ASLink-PT-04b-CTLCardinality-09 (EF(potential( ( 2 ) <= (tk(P600)) )))
PROPERTY: ASLink-PT-04b-CTLCardinality-10 ( ( (! (AF(potential( ( 1 ) <= (tk(P63)) )))) & (EU( potential( (tk(P607)) <= (tk(P200)) ),potential( ( 3 ) <= (tk(P1905)) ) )) ) & ( (AU( potential( (tk(P1783)) <= (tk(P1785)) ),potential( ( 3 ) <= (tk(P568)) ) )) | potential( (tk(P868)) <= (tk(P68)) ) ) )
PROPERTY: ASLink-PT-04b-CTLCardinality-11 (EU( (AG( potential( (tk(P24)) <= (tk(P1353)) ))),(AG( potential( (tk(P1710)) <= (tk(P501)) ))) ))
PROPERTY: ASLink-PT-04b-CTLCardinality-12 (EF((AU( potential( ( 3 ) <= (tk(P1186)) ),potential( ( 1 ) <= (tk(P1865)) ) ))))
PROPERTY: ASLink-PT-04b-CTLCardinality-13 (EF((EU( potential( (tk(P1579)) <= (tk(P1867)) ),potential( ( 2 ) <= (tk(P1606)) ) ))))
PROPERTY: ASLink-PT-04b-CTLCardinality-14 ( (AF(( (! potential( ( 2 ) <= (tk(P192)) )) | ( potential( (tk(P911)) <= (tk(P1859)) ) & potential( ( 2 ) <= (tk(P394)) ) ) ))) & ( (EG( potential( ( 1 ) <= (tk(P714)) ))) | ( (AF(potential( ( 2 ) <= (tk(P952)) ))) | ( potential( ( 1 ) <= (tk(P1627)) ) & ( potential( ( 2 ) <= (tk(P247)) ) | potential( (tk(P1673)) <= (tk(P437)) ) ) ) ) ) )
PROPERTY: ASLink-PT-04b-CTLCardinality-15 (AU( (AF(potential( ( 2 ) <= (tk(P1932)) ))),( ( potential( ( 2 ) <= (tk(P2011)) ) & potential( ( 1 ) <= (tk(P1223)) ) ) | ( potential( (tk(P1852)) <= (tk(P1757)) ) & potential( ( 2 ) <= (tk(P484)) ) ) ) ))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-04b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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