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-158897508000068.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508000068
=====================================================================

--------------------
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-CTLFireability-00
FORMULA_NAME ASLink-PT-04b-CTLFireability-01
FORMULA_NAME ASLink-PT-04b-CTLFireability-02
FORMULA_NAME ASLink-PT-04b-CTLFireability-03
FORMULA_NAME ASLink-PT-04b-CTLFireability-04
FORMULA_NAME ASLink-PT-04b-CTLFireability-05
FORMULA_NAME ASLink-PT-04b-CTLFireability-06
FORMULA_NAME ASLink-PT-04b-CTLFireability-07
FORMULA_NAME ASLink-PT-04b-CTLFireability-08
FORMULA_NAME ASLink-PT-04b-CTLFireability-09
FORMULA_NAME ASLink-PT-04b-CTLFireability-10
FORMULA_NAME ASLink-PT-04b-CTLFireability-11
FORMULA_NAME ASLink-PT-04b-CTLFireability-12
FORMULA_NAME ASLink-PT-04b-CTLFireability-13
FORMULA_NAME ASLink-PT-04b-CTLFireability-14
FORMULA_NAME ASLink-PT-04b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589022108910

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 04b
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 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 11 NEW BEST:: SOT 2930271 SOS 779289 HAS SOPS 779289 HAS SOUS 619555 HAS SOUPS 619555 WITH SCORE 620334.289
AT ITER 19 NEW BEST:: SOT 2930271 SOS 779135 HAS SOPS 779135 HAS SOUS 619555 HAS SOUPS 619555 WITH SCORE 620334.135
AT ITER 33 NEW BEST:: SOT 2930271 SOS 779135 HAS SOPS 779135 HAS SOUS 619554 HAS SOUPS 619554 WITH SCORE 620333.135
AT ITER 46 NEW BEST:: SOT 2930271 SOS 779092 HAS SOPS 779092 HAS SOUS 619511 HAS SOUPS 619511 WITH SCORE 620290.092
AT ITER 54 NEW BEST:: SOT 2929352 SOS 781083 HAS SOPS 781083 HAS SOUS 619383 HAS SOUPS 619383 WITH SCORE 620164.083
AT ITER 63 NEW BEST:: SOT 2929322 SOS 781077 HAS SOPS 781077 HAS SOUS 619383 HAS SOUPS 619383 WITH SCORE 620164.077
AT ITER 71 NEW BEST:: SOT 2929321 SOS 781075 HAS SOPS 781075 HAS SOUS 619381 HAS SOUPS 619381 WITH SCORE 620162.075
AT ITER 80 NEW BEST:: SOT 2929255 SOS 781403 HAS SOPS 781403 HAS SOUS 619289 HAS SOUPS 619289 WITH SCORE 620070.403
AT ITER 81 NEW BEST:: SOT 2927136 SOS 780671 HAS SOPS 780671 HAS SOUS 617732 HAS SOUPS 617732 WITH SCORE 618512.671
AT ITER 93 NEW BEST:: SOT 2927136 SOS 780211 HAS SOPS 780211 HAS SOUS 617500 HAS SOUPS 617500 WITH SCORE 618280.211
AT ITER 114 NEW BEST:: SOT 2927068 SOS 780075 HAS SOPS 780075 HAS SOUS 617364 HAS SOUPS 617364 WITH SCORE 618144.075
AT ITER 132 NEW BEST:: SOT 2927037 SOS 780013 HAS SOPS 780013 HAS SOUS 617302 HAS SOUPS 617302 WITH SCORE 618082.013
AT ITER 152 NEW BEST:: SOT 2927033 SOS 780006 HAS SOPS 780006 HAS SOUS 617295 HAS SOUPS 617295 WITH SCORE 618075.006
AT ITER 161 NEW BEST:: SOT 2925273 SOS 778378 HAS SOPS 778378 HAS SOUS 615600 HAS SOUPS 615600 WITH SCORE 616378.378
AT ITER 169 NEW BEST:: SOT 2921928 SOS 775479 HAS SOPS 775479 HAS SOUS 615600 HAS SOUPS 615600 WITH SCORE 616375.479
AT ITER 185 NEW BEST:: SOT 2921929 SOS 775454 HAS SOPS 775454 HAS SOUS 615575 HAS SOUPS 615575 WITH SCORE 616350.454
AT ITER 199 NEW BEST:: SOT 2921759 SOS 774621 HAS SOPS 774621 HAS SOUS 615298 HAS SOUPS 615298 WITH SCORE 616072.621
AT ITER 202 NEW BEST:: SOT 2921559 SOS 774317 HAS SOPS 774317 HAS SOUS 615096 HAS SOUPS 615096 WITH SCORE 615870.317
AT ITER 213 NEW BEST:: SOT 2921485 SOS 774273 HAS SOPS 774273 HAS SOUS 615052 HAS SOUPS 615052 WITH SCORE 615826.273
AT ITER 214 NEW BEST:: SOT 2921335 SOS 775575 HAS SOPS 775575 HAS SOUS 614980 HAS SOUPS 614980 WITH SCORE 615755.575
AT ITER 221 NEW BEST:: SOT 2921335 SOS 775574 HAS SOPS 775574 HAS SOUS 614979 HAS SOUPS 614979 WITH SCORE 615754.574
AT ITER 227 NEW BEST:: SOT 2921167 SOS 776184 HAS SOPS 776184 HAS SOUS 614774 HAS SOUPS 614774 WITH SCORE 615550.184
AT ITER 242 NEW BEST:: SOT 2921167 SOS 776086 HAS SOPS 776086 HAS SOUS 614774 HAS SOUPS 614774 WITH SCORE 615550.086
AT ITER 249 NEW BEST:: SOT 2921092 SOS 775889 HAS SOPS 775889 HAS SOUS 614690 HAS SOUPS 614690 WITH SCORE 615465.889
AT ITER 250 NEW BEST:: SOT 2920516 SOS 775457 HAS SOPS 775457 HAS SOUS 614258 HAS SOUPS 614258 WITH SCORE 615033.457
AT ITER 283 NEW BEST:: SOT 2920368 SOS 775292 HAS SOPS 775292 HAS SOUS 614044 HAS SOUPS 614044 WITH SCORE 614819.292
AT ITER 295 NEW BEST:: SOT 2920028 SOS 774699 HAS SOPS 774699 HAS SOUS 613704 HAS SOUPS 613704 WITH SCORE 614478.699
AT ITER 296 NEW BEST:: SOT 2920028 SOS 774636 HAS SOPS 774636 HAS SOUS 613703 HAS SOUPS 613703 WITH SCORE 614477.636
AT ITER 304 NEW BEST:: SOT 2918768 SOS 773460 HAS SOPS 773460 HAS SOUS 613619 HAS SOUPS 613619 WITH SCORE 614392.46
AT ITER 307 NEW BEST:: SOT 2918766 SOS 773455 HAS SOPS 773455 HAS SOUS 613614 HAS SOUPS 613614 WITH SCORE 614387.455
AT ITER 317 NEW BEST:: SOT 2918727 SOS 773377 HAS SOPS 773377 HAS SOUS 613567 HAS SOUPS 613567 WITH SCORE 614340.377
AT ITER 324 NEW BEST:: SOT 2917530 SOS 776880 HAS SOPS 776880 HAS SOUS 613341 HAS SOUPS 613341 WITH SCORE 614117.88
AT ITER 336 NEW BEST:: SOT 2917530 SOS 776676 HAS SOPS 776676 HAS SOUS 613236 HAS SOUPS 613236 WITH SCORE 614012.676
AT ITER 346 NEW BEST:: SOT 2917117 SOS 776006 HAS SOPS 776006 HAS SOUS 612567 HAS SOUPS 612567 WITH SCORE 613343.006
AT ITER 350 NEW BEST:: SOT 2917116 SOS 776004 HAS SOPS 776004 HAS SOUS 612565 HAS SOUPS 612565 WITH SCORE 613341.004
AT ITER 354 NEW BEST:: SOT 2917116 SOS 776003 HAS SOPS 776003 HAS SOUS 612564 HAS SOUPS 612564 WITH SCORE 613340.003
AT ITER 364 NEW BEST:: SOT 2916805 SOS 775795 HAS SOPS 775795 HAS SOUS 612376 HAS SOUPS 612376 WITH SCORE 613151.795
AT ITER 372 NEW BEST:: SOT 2916656 SOS 775531 HAS SOPS 775531 HAS SOUS 612087 HAS SOUPS 612087 WITH SCORE 612862.531
AT ITER 374 NEW BEST:: SOT 2916594 SOS 775514 HAS SOPS 775514 HAS SOUS 612070 HAS SOUPS 612070 WITH SCORE 612845.514
AT ITER 380 NEW BEST:: SOT 2916531 SOS 775388 HAS SOPS 775388 HAS SOUS 611944 HAS SOUPS 611944 WITH SCORE 612719.388
AT ITER 407 NEW BEST:: SOT 2916510 SOS 775346 HAS SOPS 775346 HAS SOUS 611902 HAS SOUPS 611902 WITH SCORE 612677.346
AT ITER 415 NEW BEST:: SOT 2916345 SOS 775203 HAS SOPS 775203 HAS SOUS 611902 HAS SOUPS 611902 WITH SCORE 612677.203
AT ITER 423 NEW BEST:: SOT 2916344 SOS 775120 HAS SOPS 775120 HAS SOUS 611819 HAS SOUPS 611819 WITH SCORE 612594.12
AT ITER 432 NEW BEST:: SOT 2916247 SOS 774924 HAS SOPS 774924 HAS SOUS 611623 HAS SOUPS 611623 WITH SCORE 612397.924
AT ITER 435 NEW BEST:: SOT 2916246 SOS 774867 HAS SOPS 774867 HAS SOUS 611566 HAS SOUPS 611566 WITH SCORE 612340.867
AT ITER 440 NEW BEST:: SOT 2916177 SOS 774660 HAS SOPS 774660 HAS SOUS 611426 HAS SOUPS 611426 WITH SCORE 612200.66
AT ITER 443 NEW BEST:: SOT 2916177 SOS 774660 HAS SOPS 774660 HAS SOUS 611378 HAS SOUPS 611378 WITH SCORE 612152.66
AT ITER 449 NEW BEST:: SOT 2916157 SOS 774620 HAS SOPS 774620 HAS SOUS 611338 HAS SOUPS 611338 WITH SCORE 612112.62
AT ITER 450 NEW BEST:: SOT 2916051 SOS 774220 HAS SOPS 774220 HAS SOUS 610937 HAS SOUPS 610937 WITH SCORE 611711.22
AT ITER 483 NEW BEST:: SOT 2915383 SOS 775061 HAS SOPS 775061 HAS SOUS 610738 HAS SOUPS 610738 WITH SCORE 611513.061
AT ITER 490 NEW BEST:: SOT 2915383 SOS 775055 HAS SOPS 775055 HAS SOUS 610732 HAS SOUPS 610732 WITH SCORE 611507.055
AT ITER 497 NEW BEST:: SOT 2915132 SOS 774950 HAS SOPS 774950 HAS SOUS 610627 HAS SOUPS 610627 WITH SCORE 611401.95
AT ITER 500 NEW BEST:: SOT 2914874 SOS 774418 HAS SOPS 774418 HAS SOUS 610066 HAS SOUPS 610066 WITH SCORE 610840.418
AT ITER 505 NEW BEST:: SOT 2914871 SOS 774412 HAS SOPS 774412 HAS SOUS 610060 HAS SOUPS 610060 WITH SCORE 610834.412
AT ITER 521 NEW BEST:: SOT 2914648 SOS 774189 HAS SOPS 774189 HAS SOUS 609836 HAS SOUPS 609836 WITH SCORE 610610.189
AT ITER 526 NEW BEST:: SOT 2914464 SOS 773922 HAS SOPS 773922 HAS SOUS 609648 HAS SOUPS 609648 WITH SCORE 610421.922
AT ITER 530 NEW BEST:: SOT 2914238 SOS 773367 HAS SOPS 773367 HAS SOUS 609319 HAS SOUPS 609319 WITH SCORE 610092.367
AT ITER 532 NEW BEST:: SOT 2914087 SOS 773065 HAS SOPS 773065 HAS SOUS 609017 HAS SOUPS 609017 WITH SCORE 609790.065
AT ITER 544 NEW BEST:: SOT 2913901 SOS 772795 HAS SOPS 772795 HAS SOUS 608746 HAS SOUPS 608746 WITH SCORE 609518.795
AT ITER 556 NEW BEST:: SOT 2913915 SOS 772749 HAS SOPS 772749 HAS SOUS 608700 HAS SOUPS 608700 WITH SCORE 609472.749
AT ITER 575 NEW BEST:: SOT 2913936 SOS 773689 HAS SOPS 773689 HAS SOUS 608660 HAS SOUPS 608660 WITH SCORE 609433.689
AT ITER 583 NEW BEST:: SOT 2913935 SOS 773667 HAS SOPS 773667 HAS SOUS 608638 HAS SOUPS 608638 WITH SCORE 609411.667
AT ITER 585 NEW BEST:: SOT 2913935 SOS 773542 HAS SOPS 773542 HAS SOUS 608638 HAS SOUPS 608638 WITH SCORE 609411.542
AT ITER 624 NEW BEST:: SOT 2913889 SOS 773496 HAS SOPS 773496 HAS SOUS 608592 HAS SOUPS 608592 WITH SCORE 609365.496
AT ITER 628 NEW BEST:: SOT 2913889 SOS 773415 HAS SOPS 773415 HAS SOUS 608592 HAS SOUPS 608592 WITH SCORE 609365.415
AT ITER 647 NEW BEST:: SOT 2913730 SOS 772810 HAS SOPS 772810 HAS SOUS 607987 HAS SOUPS 607987 WITH SCORE 608759.81
AT ITER 650 NEW BEST:: SOT 2913039 SOS 772107 HAS SOPS 772107 HAS SOUS 607295 HAS SOUPS 607295 WITH SCORE 608067.107
AT ITER 655 NEW BEST:: SOT 2912837 SOS 772026 HAS SOPS 772026 HAS SOUS 607206 HAS SOUPS 607206 WITH SCORE 607978.026
AT ITER 656 NEW BEST:: SOT 2912725 SOS 771802 HAS SOPS 771802 HAS SOUS 606982 HAS SOUPS 606982 WITH SCORE 607753.802
AT ITER 658 NEW BEST:: SOT 2912519 SOS 771490 HAS SOPS 771490 HAS SOUS 606670 HAS SOUPS 606670 WITH SCORE 607441.49
AT ITER 673 NEW BEST:: SOT 2912373 SOS 771344 HAS SOPS 771344 HAS SOUS 606524 HAS SOUPS 606524 WITH SCORE 607295.344
AT ITER 684 NEW BEST:: SOT 2912164 SOS 770928 HAS SOPS 770928 HAS SOUS 606313 HAS SOUPS 606313 WITH SCORE 607083.928
AT ITER 699 NEW BEST:: SOT 2912038 SOS 771180 HAS SOPS 771180 HAS SOUS 606187 HAS SOUPS 606187 WITH SCORE 606958.18
AT ITER 729 NEW BEST:: SOT 2912027 SOS 771158 HAS SOPS 771158 HAS SOUS 606176 HAS SOUPS 606176 WITH SCORE 606947.158
AT ITER 734 NEW BEST:: SOT 2911719 SOS 770234 HAS SOPS 770234 HAS SOUS 605558 HAS SOUPS 605558 WITH SCORE 606328.234
AT ITER 745 NEW BEST:: SOT 2911563 SOS 770078 HAS SOPS 770078 HAS SOUS 605346 HAS SOUPS 605346 WITH SCORE 606116.078
AT ITER 750 NEW BEST:: SOT 2911361 SOS 769662 HAS SOPS 769662 HAS SOUS 604930 HAS SOUPS 604930 WITH SCORE 605699.662
AT ITER 765 NEW BEST:: SOT 2911142 SOS 769046 HAS SOPS 769046 HAS SOUS 604492 HAS SOUPS 604492 WITH SCORE 605261.046
AT ITER 792 NEW BEST:: SOT 2910952 SOS 768998 HAS SOPS 768998 HAS SOUS 604444 HAS SOUPS 604444 WITH SCORE 605212.998
AT ITER 801 NEW BEST:: SOT 2910802 SOS 768773 HAS SOPS 768773 HAS SOUS 604219 HAS SOUPS 604219 WITH SCORE 604987.773
AT ITER 811 NEW BEST:: SOT 2909010 SOS 767684 HAS SOPS 767684 HAS SOUS 602683 HAS SOUPS 602683 WITH SCORE 603450.684
AT ITER 829 NEW BEST:: SOT 2909010 SOS 767652 HAS SOPS 767652 HAS SOUS 602651 HAS SOUPS 602651 WITH SCORE 603418.652
AT ITER 834 NEW BEST:: SOT 2908718 SOS 767621 HAS SOPS 767621 HAS SOUS 602624 HAS SOUPS 602624 WITH SCORE 603391.621
AT ITER 835 NEW BEST:: SOT 2908717 SOS 767442 HAS SOPS 767442 HAS SOUS 602622 HAS SOUPS 602622 WITH SCORE 603389.442
AT ITER 837 NEW BEST:: SOT 2908627 SOS 767352 HAS SOPS 767352 HAS SOUS 602532 HAS SOUPS 602532 WITH SCORE 603299.352
AT ITER 847 NEW BEST:: SOT 2906160 SOS 769985 HAS SOPS 769985 HAS SOUS 601115 HAS SOUPS 601115 WITH SCORE 601884.985
AT ITER 854 NEW BEST:: SOT 2906160 SOS 769978 HAS SOPS 769978 HAS SOUS 601108 HAS SOUPS 601108 WITH SCORE 601877.978
AT ITER 858 NEW BEST:: SOT 2906126 SOS 769910 HAS SOPS 769910 HAS SOUS 601040 HAS SOUPS 601040 WITH SCORE 601809.91
AT ITER 869 NEW BEST:: SOT 2905947 SOS 770112 HAS SOPS 770112 HAS SOUS 600922 HAS SOUPS 600922 WITH SCORE 601692.112
AT ITER 894 NEW BEST:: SOT 2905857 SOS 769973 HAS SOPS 769973 HAS SOUS 600751 HAS SOUPS 600751 WITH SCORE 601520.973
AT ITER 913 NEW BEST:: SOT 2905670 SOS 769599 HAS SOPS 769599 HAS SOUS 600377 HAS SOUPS 600377 WITH SCORE 601146.599
AT ITER 927 NEW BEST:: SOT 2905669 SOS 769598 HAS SOPS 769598 HAS SOUS 600375 HAS SOUPS 600375 WITH SCORE 601144.598
AT ITER 941 NEW BEST:: SOT 2905636 SOS 769565 HAS SOPS 769565 HAS SOUS 600372 HAS SOUPS 600372 WITH SCORE 601141.565
AT ITER 954 NEW BEST:: SOT 2905417 SOS 769295 HAS SOPS 769295 HAS SOUS 600121 HAS SOUPS 600121 WITH SCORE 600890.295
AT ITER 963 NEW BEST:: SOT 2905342 SOS 769146 HAS SOPS 769146 HAS SOUS 600031 HAS SOUPS 600031 WITH SCORE 600800.146
AT ITER 982 NEW BEST:: SOT 2904938 SOS 769031 HAS SOPS 769031 HAS SOUS 599690 HAS SOUPS 599690 WITH SCORE 600459.031
AT ITER 996 NEW BEST:: SOT 2904919 SOS 768719 HAS SOPS 768719 HAS SOUS 599623 HAS SOUPS 599623 WITH SCORE 600391.719
AT ITER 1014 NEW BEST:: SOT 2904319 SOS 768115 HAS SOPS 768115 HAS SOUS 599022 HAS SOUPS 599022 WITH SCORE 599790.115
AT ITER 1024 NEW BEST:: SOT 2903887 SOS 767932 HAS SOPS 767932 HAS SOUS 598857 HAS SOUPS 598857 WITH SCORE 599624.932
AT ITER 1031 NEW BEST:: SOT 2903764 SOS 767790 HAS SOPS 767790 HAS SOUS 598750 HAS SOUPS 598750 WITH SCORE 599517.79
AT ITER 1059 NEW BEST:: SOT 2903764 SOS 767790 HAS SOPS 767790 HAS SOUS 598749 HAS SOUPS 598749 WITH SCORE 599516.79
AT ITER 1066 NEW BEST:: SOT 2903662 SOS 767790 HAS SOPS 767790 HAS SOUS 598647 HAS SOUPS 598647 WITH SCORE 599414.79
AT ITER 1072 NEW BEST:: SOT 2903662 SOS 767530 HAS SOPS 767530 HAS SOUS 598647 HAS SOUPS 598647 WITH SCORE 599414.53
AT ITER 1104 NEW BEST:: SOT 2903113 SOS 767498 HAS SOPS 767498 HAS SOUS 598465 HAS SOUPS 598465 WITH SCORE 599232.498
AT ITER 1106 NEW BEST:: SOT 2902832 SOS 767098 HAS SOPS 767098 HAS SOUS 598063 HAS SOUPS 598063 WITH SCORE 598830.098
AT ITER 1112 NEW BEST:: SOT 2902832 SOS 767078 HAS SOPS 767078 HAS SOUS 598043 HAS SOUPS 598043 WITH SCORE 598810.078
AT ITER 1114 NEW BEST:: SOT 2902797 SOS 767005 HAS SOPS 767005 HAS SOUS 598007 HAS SOUPS 598007 WITH SCORE 598774.005
AT ITER 1127 NEW BEST:: SOT 2902670 SOS 766751 HAS SOPS 766751 HAS SOUS 597753 HAS SOUPS 597753 WITH SCORE 598519.751
AT ITER 1131 NEW BEST:: SOT 2902670 SOS 766712 HAS SOPS 766712 HAS SOUS 597714 HAS SOUPS 597714 WITH SCORE 598480.712
AT ITER 1139 NEW BEST:: SOT 2902670 SOS 766140 HAS SOPS 766140 HAS SOUS 597714 HAS SOUPS 597714 WITH SCORE 598480.14
AT ITER 1154 NEW BEST:: SOT 2902441 SOS 765516 HAS SOPS 765516 HAS SOUS 597382 HAS SOUPS 597382 WITH SCORE 598147.516
AT ITER 1157 NEW BEST:: SOT 2902441 SOS 765564 HAS SOPS 765564 HAS SOUS 597186 HAS SOUPS 597186 WITH SCORE 597951.564
AT ITER 1166 NEW BEST:: SOT 2902441 SOS 765484 HAS SOPS 765484 HAS SOUS 597106 HAS SOUPS 597106 WITH SCORE 597871.484
AT ITER 1185 NEW BEST:: SOT 2902409 SOS 765420 HAS SOPS 765420 HAS SOUS 597042 HAS SOUPS 597042 WITH SCORE 597807.42
AT ITER 1193 NEW BEST:: SOT 2902215 SOS 765262 HAS SOPS 765262 HAS SOUS 596884 HAS SOUPS 596884 WITH SCORE 597649.262
AT ITER 1206 NEW BEST:: SOT 2902188 SOS 765208 HAS SOPS 765208 HAS SOUS 596849 HAS SOUPS 596849 WITH SCORE 597614.208
AT ITER 1207 NEW BEST:: SOT 2902188 SOS 765206 HAS SOPS 765206 HAS SOUS 596847 HAS SOUPS 596847 WITH SCORE 597612.206
AT ITER 1223 NEW BEST:: SOT 2900700 SOS 762727 HAS SOPS 762727 HAS SOUS 595300 HAS SOUPS 595300 WITH SCORE 596062.727
AT ITER 1230 NEW BEST:: SOT 2900670 SOS 762667 HAS SOPS 762667 HAS SOUS 595240 HAS SOUPS 595240 WITH SCORE 596002.667
AT ITER 1237 NEW BEST:: SOT 2900670 SOS 762637 HAS SOPS 762637 HAS SOUS 595239 HAS SOUPS 595239 WITH SCORE 596001.637
AT ITER 1243 NEW BEST:: SOT 2900650 SOS 762577 HAS SOPS 762577 HAS SOUS 595198 HAS SOUPS 595198 WITH SCORE 595960.577
AT ITER 1258 NEW BEST:: SOT 2900649 SOS 762196 HAS SOPS 762196 HAS SOUS 595194 HAS SOUPS 595194 WITH SCORE 595956.196
AT ITER 1262 NEW BEST:: SOT 2900115 SOS 761506 HAS SOPS 761506 HAS SOUS 594654 HAS SOUPS 594654 WITH SCORE 595415.506
AT ITER 1274 NEW BEST:: SOT 2897403 SOS 758744 HAS SOPS 758744 HAS SOUS 594201 HAS SOUPS 594201 WITH SCORE 594959.744
AT ITER 1290 NEW BEST:: SOT 2897197 SOS 758538 HAS SOPS 758538 HAS SOUS 593995 HAS SOUPS 593995 WITH SCORE 594753.538
AT ITER 1296 NEW BEST:: SOT 2897067 SOS 758038 HAS SOPS 758038 HAS SOUS 593992 HAS SOUPS 593992 WITH SCORE 594750.038
AT ITER 1305 NEW BEST:: SOT 2897067 SOS 757841 HAS SOPS 757841 HAS SOUS 593795 HAS SOUPS 593795 WITH SCORE 594552.841
AT ITER 1352 NEW BEST:: SOT 2896903 SOS 757677 HAS SOPS 757677 HAS SOUS 593631 HAS SOUPS 593631 WITH SCORE 594388.677
AT ITER 1359 NEW BEST:: SOT 2896903 SOS 757665 HAS SOPS 757665 HAS SOUS 593619 HAS SOUPS 593619 WITH SCORE 594376.665
AT ITER 1364 NEW BEST:: SOT 2896743 SOS 757495 HAS SOPS 757495 HAS SOUS 592995 HAS SOUPS 592995 WITH SCORE 593752.495
AT ITER 1378 NEW BEST:: SOT 2893847 SOS 754237 HAS SOPS 754237 HAS SOUS 588732 HAS SOUPS 588732 WITH SCORE 589486.237
AT ITER 1379 NEW BEST:: SOT 2893544 SOS 753331 HAS SOPS 753331 HAS SOUS 588103 HAS SOUPS 588103 WITH SCORE 588856.331
AT ITER 1385 NEW BEST:: SOT 2893442 SOS 753127 HAS SOPS 753127 HAS SOUS 588000 HAS SOUPS 588000 WITH SCORE 588753.127
AT ITER 1386 NEW BEST:: SOT 2893668 SOS 753112 HAS SOPS 753112 HAS SOUS 587985 HAS SOUPS 587985 WITH SCORE 588738.112
AT ITER 1404 NEW BEST:: SOT 2893666 SOS 753108 HAS SOPS 753108 HAS SOUS 587981 HAS SOUPS 587981 WITH SCORE 588734.108
AT ITER 1410 NEW BEST:: SOT 2893496 SOS 752938 HAS SOPS 752938 HAS SOUS 587811 HAS SOUPS 587811 WITH SCORE 588563.938
AT ITER 1415 NEW BEST:: SOT 2893452 SOS 752913 HAS SOPS 752913 HAS SOUS 587785 HAS SOUPS 587785 WITH SCORE 588537.913
AT ITER 1439 NEW BEST:: SOT 2893452 SOS 752452 HAS SOPS 752452 HAS SOUS 587714 HAS SOUPS 587714 WITH SCORE 588466.452
AT ITER 1448 NEW BEST:: SOT 2893452 SOS 752451 HAS SOPS 752451 HAS SOUS 587713 HAS SOUPS 587713 WITH SCORE 588465.451
AT ITER 1453 NEW BEST:: SOT 2893452 SOS 752451 HAS SOPS 752451 HAS SOUS 587711 HAS SOUPS 587711 WITH SCORE 588463.451
AT ITER 1465 NEW BEST:: SOT 2893452 SOS 752451 HAS SOPS 752451 HAS SOUS 587710 HAS SOUPS 587710 WITH SCORE 588462.451
AT ITER 1474 NEW BEST:: SOT 2893202 SOS 752200 HAS SOPS 752200 HAS SOUS 587459 HAS SOUPS 587459 WITH SCORE 588211.2
AT ITER 1478 NEW BEST:: SOT 2893169 SOS 752167 HAS SOPS 752167 HAS SOUS 587426 HAS SOUPS 587426 WITH SCORE 588178.167
AT ITER 1488 NEW BEST:: SOT 2892879 SOS 751587 HAS SOPS 751587 HAS SOUS 586846 HAS SOUPS 586846 WITH SCORE 587597.587
AT ITER 1489 NEW BEST:: SOT 2891716 SOS 752510 HAS SOPS 752510 HAS SOUS 586272 HAS SOUPS 586272 WITH SCORE 587024.51
AT ITER 1492 NEW BEST:: SOT 2890324 SOS 752936 HAS SOPS 752936 HAS SOUS 585441 HAS SOUPS 585441 WITH SCORE 586193.936
AT ITER 1498 NEW BEST:: SOT 2890177 SOS 752642 HAS SOPS 752642 HAS SOUS 585147 HAS SOUPS 585147 WITH SCORE 585899.642
AT ITER 1511 NEW BEST:: SOT 2887649 SOS 750061 HAS SOPS 750061 HAS SOUS 584830 HAS SOUPS 584830 WITH SCORE 585580.061
AT ITER 1580 NEW BEST:: SOT 2886837 SOS 749133 HAS SOPS 749133 HAS SOUS 584714 HAS SOUPS 584714 WITH SCORE 585463.133
AT ITER 1596 NEW BEST:: SOT 2886859 SOS 749020 HAS SOPS 749020 HAS SOUS 584601 HAS SOUPS 584601 WITH SCORE 585350.02
AT ITER 1611 NEW BEST:: SOT 2886753 SOS 748804 HAS SOPS 748804 HAS SOUS 584477 HAS SOUPS 584477 WITH SCORE 585225.804
AT ITER 1627 NEW BEST:: SOT 2886445 SOS 748452 HAS SOPS 748452 HAS SOUS 584426 HAS SOUPS 584426 WITH SCORE 585174.452
AT ITER 1650 NEW BEST:: SOT 2886435 SOS 748442 HAS SOPS 748442 HAS SOUS 584416 HAS SOUPS 584416 WITH SCORE 585164.442
AT ITER 1654 NEW BEST:: SOT 2886426 SOS 748424 HAS SOPS 748424 HAS SOUS 584398 HAS SOUPS 584398 WITH SCORE 585146.424
AT ITER 1689 NEW BEST:: SOT 2886380 SOS 748315 HAS SOPS 748315 HAS SOUS 584351 HAS SOUPS 584351 WITH SCORE 585099.315
AT ITER 1693 NEW BEST:: SOT 2886289 SOS 748133 HAS SOPS 748133 HAS SOUS 584056 HAS SOUPS 584056 WITH SCORE 584804.133
AT ITER 1714 NEW BEST:: SOT 2886289 SOS 748107 HAS SOPS 748107 HAS SOUS 584030 HAS SOUPS 584030 WITH SCORE 584778.107
AT ITER 1729 NEW BEST:: SOT 2886215 SOS 748006 HAS SOPS 748006 HAS SOUS 583936 HAS SOUPS 583936 WITH SCORE 584684.006
AT ITER 1746 NEW BEST:: SOT 2886230 SOS 747817 HAS SOPS 747817 HAS SOUS 583747 HAS SOUPS 583747 WITH SCORE 584494.817
AT ITER 1754 NEW BEST:: SOT 2886229 SOS 747760 HAS SOPS 747760 HAS SOUS 583690 HAS SOUPS 583690 WITH SCORE 584437.76
AT ITER 1757 NEW BEST:: SOT 2886229 SOS 747723 HAS SOPS 747723 HAS SOUS 583653 HAS SOUPS 583653 WITH SCORE 584400.723
AT ITER 1758 NEW BEST:: SOT 2886229 SOS 747749 HAS SOPS 747749 HAS SOUS 583613 HAS SOUPS 583613 WITH SCORE 584360.749
AT ITER 1764 NEW BEST:: SOT 2886347 SOS 747701 HAS SOPS 747701 HAS SOUS 583565 HAS SOUPS 583565 WITH SCORE 584312.701
AT ITER 1772 NEW BEST:: SOT 2885678 SOS 746867 HAS SOPS 746867 HAS SOUS 582819 HAS SOUPS 582819 WITH SCORE 583565.867
AT ITER 1776 NEW BEST:: SOT 2885435 SOS 746624 HAS SOPS 746624 HAS SOUS 582576 HAS SOUPS 582576 WITH SCORE 583322.624
AT ITER 1778 NEW BEST:: SOT 2884877 SOS 747286 HAS SOPS 747286 HAS SOUS 582257 HAS SOUPS 582257 WITH SCORE 583004.286
AT ITER 1786 NEW BEST:: SOT 2884877 SOS 747048 HAS SOPS 747048 HAS SOUS 582199 HAS SOUPS 582199 WITH SCORE 582946.048
AT ITER 1793 NEW BEST:: SOT 2884861 SOS 747032 HAS SOPS 747032 HAS SOUS 582183 HAS SOUPS 582183 WITH SCORE 582930.032
AT ITER 1794 NEW BEST:: SOT 2884861 SOS 747032 HAS SOPS 747032 HAS SOUS 581909 HAS SOUPS 581909 WITH SCORE 582656.032
AT ITER 1803 NEW BEST:: SOT 2884675 SOS 746846 HAS SOPS 746846 HAS SOUS 581722 HAS SOUPS 581722 WITH SCORE 582468.846
AT ITER 1840 NEW BEST:: SOT 2884675 SOS 746872 HAS SOPS 746872 HAS SOUS 581693 HAS SOUPS 581693 WITH SCORE 582439.872
AT ITER 1842 NEW BEST:: SOT 2884370 SOS 746533 HAS SOPS 746533 HAS SOUS 581354 HAS SOUPS 581354 WITH SCORE 582100.533
AT ITER 1869 NEW BEST:: SOT 2883825 SOS 746009 HAS SOPS 746009 HAS SOUS 580814 HAS SOUPS 580814 WITH SCORE 581560.009
AT ITER 1871 NEW BEST:: SOT 2883727 SOS 745813 HAS SOPS 745813 HAS SOUS 580618 HAS SOUPS 580618 WITH SCORE 581363.813
AT ITER 1872 NEW BEST:: SOT 2883609 SOS 745669 HAS SOPS 745669 HAS SOUS 580592 HAS SOUPS 580592 WITH SCORE 581337.669
AT ITER 1894 NEW BEST:: SOT 2883449 SOS 745349 HAS SOPS 745349 HAS SOUS 580168 HAS SOUPS 580168 WITH SCORE 580913.349
AT ITER 1917 NEW BEST:: SOT 2883156 SOS 745345 HAS SOPS 745345 HAS SOUS 579992 HAS SOUPS 579992 WITH SCORE 580737.345
AT ITER 1925 NEW BEST:: SOT 2882963 SOS 745134 HAS SOPS 745134 HAS SOUS 579781 HAS SOUPS 579781 WITH SCORE 580526.134
AT ITER 1937 NEW BEST:: SOT 2882812 SOS 744670 HAS SOPS 744670 HAS SOUS 579527 HAS SOUPS 579527 WITH SCORE 580271.67
AT ITER 1940 NEW BEST:: SOT 2881366 SOS 743465 HAS SOPS 743465 HAS SOUS 578322 HAS SOUPS 578322 WITH SCORE 579065.465
AT ITER 1943 NEW BEST:: SOT 2881516 SOS 743369 HAS SOPS 743369 HAS SOUS 578226 HAS SOUPS 578226 WITH SCORE 578969.369
AT ITER 1947 NEW BEST:: SOT 2881391 SOS 742922 HAS SOPS 742922 HAS SOUS 577856 HAS SOUPS 577856 WITH SCORE 578598.922
AT ITER 1953 NEW BEST:: SOT 2881245 SOS 742699 HAS SOPS 742699 HAS SOUS 577709 HAS SOUPS 577709 WITH SCORE 578451.699
AT ITER 1965 NEW BEST:: SOT 2881245 SOS 742647 HAS SOPS 742647 HAS SOUS 577709 HAS SOUPS 577709 WITH SCORE 578451.647
AT ITER 1971 NEW BEST:: SOT 2881168 SOS 742579 HAS SOPS 742579 HAS SOUS 577641 HAS SOUPS 577641 WITH SCORE 578383.579
AT ITER 1998 NEW BEST:: SOT 2881141 SOS 742525 HAS SOPS 742525 HAS SOUS 577587 HAS SOUPS 577587 WITH SCORE 578329.525
AT ITER 2014 NEW BEST:: SOT 2881036 SOS 742420 HAS SOPS 742420 HAS SOUS 577482 HAS SOUPS 577482 WITH SCORE 578224.42
AT ITER 2066 NEW BEST:: SOT 2880920 SOS 742304 HAS SOPS 742304 HAS SOUS 577366 HAS SOUPS 577366 WITH SCORE 578108.304
AT ITER 2074 NEW BEST:: SOT 2880920 SOS 741958 HAS SOPS 741958 HAS SOUS 577130 HAS SOUPS 577130 WITH SCORE 577871.958
AT ITER 2077 NEW BEST:: SOT 2881152 SOS 742454 HAS SOPS 742454 HAS SOUS 576354 HAS SOUPS 576354 WITH SCORE 577096.454
AT ITER 2082 NEW BEST:: SOT 2880243 SOS 741545 HAS SOPS 741545 HAS SOUS 575264 HAS SOUPS 575264 WITH SCORE 576005.545
AT ITER 2134 NEW BEST:: SOT 2880243 SOS 741458 HAS SOPS 741458 HAS SOUS 575177 HAS SOUPS 575177 WITH SCORE 575918.458
AT ITER 2137 NEW BEST:: SOT 2880243 SOS 741457 HAS SOPS 741457 HAS SOUS 575176 HAS SOUPS 575176 WITH SCORE 575917.457
AT ITER 2151 NEW BEST:: SOT 2880243 SOS 741420 HAS SOPS 741420 HAS SOUS 575139 HAS SOUPS 575139 WITH SCORE 575880.42
AT ITER 2166 NEW BEST:: SOT 2880188 SOS 741310 HAS SOPS 741310 HAS SOUS 575029 HAS SOUPS 575029 WITH SCORE 575770.31
AT ITER 2193 NEW BEST:: SOT 2880182 SOS 741298 HAS SOPS 741298 HAS SOUS 575017 HAS SOUPS 575017 WITH SCORE 575758.298
AT ITER 2206 NEW BEST:: SOT 2879940 SOS 741056 HAS SOPS 741056 HAS SOUS 574774 HAS SOUPS 574774 WITH SCORE 575515.056
AT ITER 2215 NEW BEST:: SOT 2879852 SOS 740957 HAS SOPS 740957 HAS SOUS 574675 HAS SOUPS 574675 WITH SCORE 575415.957
AT ITER 2228 NEW BEST:: SOT 2879852 SOS 740910 HAS SOPS 740910 HAS SOUS 574628 HAS SOUPS 574628 WITH SCORE 575368.91
AT ITER 2234 NEW BEST:: SOT 2879734 SOS 740845 HAS SOPS 740845 HAS SOUS 574563 HAS SOUPS 574563 WITH SCORE 575303.845
AT ITER 2237 NEW BEST:: SOT 2879699 SOS 740740 HAS SOPS 740740 HAS SOUS 574553 HAS SOUPS 574553 WITH SCORE 575293.74
AT ITER 2245 NEW BEST:: SOT 2879641 SOS 740624 HAS SOPS 740624 HAS SOUS 574495 HAS SOUPS 574495 WITH SCORE 575235.624
AT ITER 2248 NEW BEST:: SOT 2879534 SOS 740501 HAS SOPS 740501 HAS SOUS 574414 HAS SOUPS 574414 WITH SCORE 575154.501
AT ITER 2265 NEW BEST:: SOT 2879533 SOS 740268 HAS SOPS 740268 HAS SOUS 574227 HAS SOUPS 574227 WITH SCORE 574967.268
AT ITER 2284 NEW BEST:: SOT 2879392 SOS 739994 HAS SOPS 739994 HAS SOUS 573953 HAS SOUPS 573953 WITH SCORE 574692.994
AT ITER 2289 NEW BEST:: SOT 2879275 SOS 739858 HAS SOPS 739858 HAS SOUS 573817 HAS SOUPS 573817 WITH SCORE 574556.858
AT ITER 2293 NEW BEST:: SOT 2879162 SOS 739632 HAS SOPS 739632 HAS SOUS 573591 HAS SOUPS 573591 WITH SCORE 574330.632
AT ITER 2297 NEW BEST:: SOT 2879156 SOS 739626 HAS SOPS 739626 HAS SOUS 573585 HAS SOUPS 573585 WITH SCORE 574324.626
AT ITER 2299 NEW BEST:: SOT 2879119 SOS 739500 HAS SOPS 739500 HAS SOUS 573459 HAS SOUPS 573459 WITH SCORE 574198.5
AT ITER 2303 NEW BEST:: SOT 2879119 SOS 739415 HAS SOPS 739415 HAS SOUS 573459 HAS SOUPS 573459 WITH SCORE 574198.415
AT ITER 2370 NEW BEST:: SOT 2879118 SOS 739413 HAS SOPS 739413 HAS SOUS 573457 HAS SOUPS 573457 WITH SCORE 574196.413
AT ITER 2374 NEW BEST:: SOT 2879064 SOS 742110 HAS SOPS 742110 HAS SOUS 573326 HAS SOUPS 573326 WITH SCORE 574068.11
AT ITER 2383 NEW BEST:: SOT 2878872 SOS 741659 HAS SOPS 741659 HAS SOUS 572893 HAS SOUPS 572893 WITH SCORE 573634.659
AT ITER 2408 NEW BEST:: SOT 2878832 SOS 741579 HAS SOPS 741579 HAS SOUS 572852 HAS SOUPS 572852 WITH SCORE 573593.579
AT ITER 2437 NEW BEST:: SOT 2877872 SOS 740432 HAS SOPS 740432 HAS SOUS 572612 HAS SOUPS 572612 WITH SCORE 573352.432
AT ITER 2439 NEW BEST:: SOT 2877872 SOS 740355 HAS SOPS 740355 HAS SOUS 572535 HAS SOUPS 572535 WITH SCORE 573275.355
AT ITER 2441 NEW BEST:: SOT 2877806 SOS 740093 HAS SOPS 740093 HAS SOUS 572431 HAS SOUPS 572431 WITH SCORE 573171.093
AT ITER 2451 NEW BEST:: SOT 2877806 SOS 744875 HAS SOPS 744875 HAS SOUS 571848 HAS SOUPS 571848 WITH SCORE 572592.875
AT ITER 2468 NEW BEST:: SOT 2878009 SOS 745281 HAS SOPS 745281 HAS SOUS 571640 HAS SOUPS 571640 WITH SCORE 572385.281
AT ITER 2478 NEW BEST:: SOT 2878009 SOS 745160 HAS SOPS 745160 HAS SOUS 571519 HAS SOUPS 571519 WITH SCORE 572264.16
AT ITER 2480 NEW BEST:: SOT 2877873 SOS 745095 HAS SOPS 745095 HAS SOUS 571383 HAS SOUPS 571383 WITH SCORE 572128.095
AT ITER 2489 NEW BEST:: SOT 2877865 SOS 745079 HAS SOPS 745079 HAS SOUS 571359 HAS SOUPS 571359 WITH SCORE 572104.079
AT ITER 2496 NEW BEST:: SOT 2878095 SOS 745398 HAS SOPS 745398 HAS SOUS 570823 HAS SOUPS 570823 WITH SCORE 571568.398
AT ITER 2499 NEW BEST:: SOT 2878079 SOS 745398 HAS SOPS 745398 HAS SOUS 570810 HAS SOUPS 570810 WITH SCORE 571555.398
AT ITER 2517 NEW BEST:: SOT 2877945 SOS 745252 HAS SOPS 745252 HAS SOUS 570780 HAS SOUPS 570780 WITH SCORE 571525.252
AT ITER 2531 NEW BEST:: SOT 2877945 SOS 742186 HAS SOPS 742186 HAS SOUS 570780 HAS SOUPS 570780 WITH SCORE 571522.186
AT ITER 2547 NEW BEST:: SOT 2877727 SOS 742045 HAS SOPS 742045 HAS SOUS 570344 HAS SOUPS 570344 WITH SCORE 571086.045
AT ITER 2560 NEW BEST:: SOT 2877713 SOS 742037 HAS SOPS 742037 HAS SOUS 570336 HAS SOUPS 570336 WITH SCORE 571078.037
AT ITER 2561 NEW BEST:: SOT 2877513 SOS 741633 HAS SOPS 741633 HAS SOUS 569932 HAS SOUPS 569932 WITH SCORE 570673.633
AT ITER 2570 NEW BEST:: SOT 2877497 SOS 741457 HAS SOPS 741457 HAS SOUS 569836 HAS SOUPS 569836 WITH SCORE 570577.457
AT ITER 2575 NEW BEST:: SOT 2877459 SOS 741343 HAS SOPS 741343 HAS SOUS 569722 HAS SOUPS 569722 WITH SCORE 570463.343
AT ITER 2597 NEW BEST:: SOT 2877422 SOS 741306 HAS SOPS 741306 HAS SOUS 569678 HAS SOUPS 569678 WITH SCORE 570419.306
AT ITER 2610 NEW BEST:: SOT 2877424 SOS 740972 HAS SOPS 740972 HAS SOUS 569441 HAS SOUPS 569441 WITH SCORE 570181.972
AT ITER 2615 NEW BEST:: SOT 2877280 SOS 740670 HAS SOPS 740670 HAS SOUS 569139 HAS SOUPS 569139 WITH SCORE 569879.67
AT ITER 2629 NEW BEST:: SOT 2877506 SOS 740271 HAS SOPS 740271 HAS SOUS 569137 HAS SOUPS 569137 WITH SCORE 569877.271
AT ITER 2665 NEW BEST:: SOT 2877308 SOS 741220 HAS SOPS 741220 HAS SOUS 568948 HAS SOUPS 568948 WITH SCORE 569689.22
AT ITER 2680 NEW BEST:: SOT 2877262 SOS 741174 HAS SOPS 741174 HAS SOUS 568901 HAS SOUPS 568901 WITH SCORE 569642.174
AT ITER 2783 NEW BEST:: SOT 2877250 SOS 740907 HAS SOPS 740907 HAS SOUS 568877 HAS SOUPS 568877 WITH SCORE 569617.907
AT ITER 2814 NEW BEST:: SOT 2875639 SOS 739335 HAS SOPS 739335 HAS SOUS 567266 HAS SOUPS 567266 WITH SCORE 568005.335
AT ITER 2837 NEW BEST:: SOT 2875639 SOS 739311 HAS SOPS 739311 HAS SOUS 567265 HAS SOUPS 567265 WITH SCORE 568004.311
AT ITER 2842 NEW BEST:: SOT 2875569 SOS 739241 HAS SOPS 739241 HAS SOUS 567240 HAS SOUPS 567240 WITH SCORE 567979.241
AT ITER 2847 NEW BEST:: SOT 2875376 SOS 738499 HAS SOPS 738499 HAS SOUS 566853 HAS SOUPS 566853 WITH SCORE 567591.499
AT ITER 2857 NEW BEST:: SOT 2875319 SOS 738442 HAS SOPS 738442 HAS SOUS 566796 HAS SOUPS 566796 WITH SCORE 567534.442
AT ITER 2872 NEW BEST:: SOT 2875161 SOS 738195 HAS SOPS 738195 HAS SOUS 565443 HAS SOUPS 565443 WITH SCORE 566181.195
AT ITER 2877 NEW BEST:: SOT 2875159 SOS 738193 HAS SOPS 738193 HAS SOUS 565276 HAS SOUPS 565276 WITH SCORE 566014.193
AT ITER 2895 NEW BEST:: SOT 2875054 SOS 737983 HAS SOPS 737983 HAS SOUS 565066 HAS SOUPS 565066 WITH SCORE 565803.983
AT ITER 2896 NEW BEST:: SOT 2874984 SOS 737961 HAS SOPS 737961 HAS SOUS 565044 HAS SOUPS 565044 WITH SCORE 565781.961
AT ITER 2920 NEW BEST:: SOT 2874851 SOS 737743 HAS SOPS 737743 HAS SOUS 563778 HAS SOUPS 563778 WITH SCORE 564515.743
AT ITER 2922 NEW BEST:: SOT 2874851 SOS 737729 HAS SOPS 737729 HAS SOUS 563754 HAS SOUPS 563754 WITH SCORE 564491.729
AT ITER 2923 NEW BEST:: SOT 2874834 SOS 737695 HAS SOPS 737695 HAS SOUS 563720 HAS SOUPS 563720 WITH SCORE 564457.695
AT ITER 2926 NEW BEST:: SOT 2874007 SOS 736950 HAS SOPS 736950 HAS SOUS 562994 HAS SOUPS 562994 WITH SCORE 563730.95
AT ITER 2962 NEW BEST:: SOT 2874002 SOS 736803 HAS SOPS 736803 HAS SOUS 562847 HAS SOUPS 562847 WITH SCORE 563583.803
AT ITER 2966 NEW BEST:: SOT 2873309 SOS 736856 HAS SOPS 736856 HAS SOUS 562384 HAS SOUPS 562384 WITH SCORE 563120.856
AT ITER 2976 NEW BEST:: SOT 2873216 SOS 736579 HAS SOPS 736579 HAS SOUS 562198 HAS SOUPS 562198 WITH SCORE 562934.579
AT ITER 2988 NEW BEST:: SOT 2873098 SOS 736379 HAS SOPS 736379 HAS SOUS 560583 HAS SOUPS 560583 WITH SCORE 561319.379
AT ITER 2990 NEW BEST:: SOT 2873098 SOS 736379 HAS SOPS 736379 HAS SOUS 560580 HAS SOUPS 560580 WITH SCORE 561316.379
AT ITER 3024 NEW BEST:: SOT 2873097 SOS 736377 HAS SOPS 736377 HAS SOUS 560542 HAS SOUPS 560542 WITH SCORE 561278.377
AT ITER 3033 NEW BEST:: SOT 2873097 SOS 736372 HAS SOPS 736372 HAS SOUS 560542 HAS SOUPS 560542 WITH SCORE 561278.372
AT ITER 3058 NEW BEST:: SOT 2873097 SOS 736366 HAS SOPS 736366 HAS SOUS 560536 HAS SOUPS 560536 WITH SCORE 561272.366
AT ITER 3072 NEW BEST:: SOT 2873097 SOS 736335 HAS SOPS 736335 HAS SOUS 560505 HAS SOUPS 560505 WITH SCORE 561241.335
AT ITER 3074 NEW BEST:: SOT 2872851 SOS 735586 HAS SOPS 735586 HAS SOUS 560002 HAS SOUPS 560002 WITH SCORE 560737.586
AT ITER 3080 NEW BEST:: SOT 2875230 SOS 737982 HAS SOPS 737982 HAS SOUS 559560 HAS SOUPS 559560 WITH SCORE 560297.982
AT ITER 3112 NEW BEST:: SOT 2874995 SOS 737512 HAS SOPS 737512 HAS SOUS 559054 HAS SOUPS 559054 WITH SCORE 559791.512
AT ITER 3140 NEW BEST:: SOT 2874995 SOS 737359 HAS SOPS 737359 HAS SOUS 558901 HAS SOUPS 558901 WITH SCORE 559638.359
AT ITER 3154 NEW BEST:: SOT 2874995 SOS 737381 HAS SOPS 737381 HAS SOUS 558790 HAS SOUPS 558790 WITH SCORE 559527.381
AT ITER 3170 NEW BEST:: SOT 2874771 SOS 737255 HAS SOPS 737255 HAS SOUS 558664 HAS SOUPS 558664 WITH SCORE 559401.255
AT ITER 3171 NEW BEST:: SOT 2874745 SOS 737058 HAS SOPS 737058 HAS SOUS 558467 HAS SOUPS 558467 WITH SCORE 559204.058
AT ITER 3181 NEW BEST:: SOT 2873473 SOS 735778 HAS SOPS 735778 HAS SOUS 557100 HAS SOUPS 557100 WITH SCORE 557835.778
AT ITER 3189 NEW BEST:: SOT 2872528 SOS 735373 HAS SOPS 735373 HAS SOUS 556155 HAS SOUPS 556155 WITH SCORE 556890.373
AT ITER 3201 NEW BEST:: SOT 2872528 SOS 735367 HAS SOPS 735367 HAS SOUS 556154 HAS SOUPS 556154 WITH SCORE 556889.367
AT ITER 3230 NEW BEST:: SOT 2872572 SOS 735365 HAS SOPS 735365 HAS SOUS 556152 HAS SOUPS 556152 WITH SCORE 556887.365
AT ITER 3235 NEW BEST:: SOT 2872645 SOS 734103 HAS SOPS 734103 HAS SOUS 556130 HAS SOUPS 556130 WITH SCORE 556864.103
AT ITER 3238 NEW BEST:: SOT 2872279 SOS 733773 HAS SOPS 733773 HAS SOUS 555764 HAS SOUPS 555764 WITH SCORE 556497.773
AT ITER 3254 NEW BEST:: SOT 2872204 SOS 733623 HAS SOPS 733623 HAS SOUS 555614 HAS SOUPS 555614 WITH SCORE 556347.623
AT ITER 3298 NEW BEST:: SOT 2871954 SOS 733279 HAS SOPS 733279 HAS SOUS 555564 HAS SOUPS 555564 WITH SCORE 556297.279
AT ITER 3299 NEW BEST:: SOT 2871889 SOS 732922 HAS SOPS 732922 HAS SOUS 555451 HAS SOUPS 555451 WITH SCORE 556183.922
AT ITER 3308 NEW BEST:: SOT 2871889 SOS 732878 HAS SOPS 732878 HAS SOUS 555407 HAS SOUPS 555407 WITH SCORE 556139.878
AT ITER 3332 NEW BEST:: SOT 2871888 SOS 732819 HAS SOPS 732819 HAS SOUS 555348 HAS SOUPS 555348 WITH SCORE 556080.819
AT ITER 3335 NEW BEST:: SOT 2870440 SOS 741743 HAS SOPS 741743 HAS SOUS 554987 HAS SOUPS 554987 WITH SCORE 555728.743
AT ITER 3341 NEW BEST:: SOT 2870314 SOS 741617 HAS SOPS 741617 HAS SOUS 554861 HAS SOUPS 554861 WITH SCORE 555602.617
AT ITER 3354 NEW BEST:: SOT 2870314 SOS 741635 HAS SOPS 741635 HAS SOUS 554735 HAS SOUPS 554735 WITH SCORE 555476.635
AT ITER 3358 NEW BEST:: SOT 2870314 SOS 741462 HAS SOPS 741462 HAS SOUS 554735 HAS SOUPS 554735 WITH SCORE 555476.462
AT ITER 3409 NEW BEST:: SOT 2870258 SOS 741350 HAS SOPS 741350 HAS SOUS 554679 HAS SOUPS 554679 WITH SCORE 555420.35
AT ITER 3432 NEW BEST:: SOT 2870241 SOS 741322 HAS SOPS 741322 HAS SOUS 554651 HAS SOUPS 554651 WITH SCORE 555392.322
AT ITER 3460 NEW BEST:: SOT 2870241 SOS 741219 HAS SOPS 741219 HAS SOUS 554651 HAS SOUPS 554651 WITH SCORE 555392.219
AT ITER 3463 NEW BEST:: SOT 2870238 SOS 741153 HAS SOPS 741153 HAS SOUS 554645 HAS SOUPS 554645 WITH SCORE 555386.153
AT ITER 3492 NEW BEST:: SOT 2870134 SOS 740934 HAS SOPS 740934 HAS SOUS 554540 HAS SOUPS 554540 WITH SCORE 555280.934
AT ITER 3497 NEW BEST:: SOT 2870059 SOS 740779 HAS SOPS 740779 HAS SOUS 554385 HAS SOUPS 554385 WITH SCORE 555125.779
AT ITER 3504 NEW BEST:: SOT 2870058 SOS 740777 HAS SOPS 740777 HAS SOUS 554383 HAS SOUPS 554383 WITH SCORE 555123.777
AT ITER 3519 NEW BEST:: SOT 2870059 SOS 740638 HAS SOPS 740638 HAS SOUS 554244 HAS SOUPS 554244 WITH SCORE 554984.638
AT ITER 3526 NEW BEST:: SOT 2869941 SOS 740520 HAS SOPS 740520 HAS SOUS 553824 HAS SOUPS 553824 WITH SCORE 554564.52
AT ITER 3530 NEW BEST:: SOT 2869318 SOS 739897 HAS SOPS 739897 HAS SOUS 553201 HAS SOUPS 553201 WITH SCORE 553940.897
AT ITER 3534 NEW BEST:: SOT 2869318 SOS 738630 HAS SOPS 738630 HAS SOUS 553201 HAS SOUPS 553201 WITH SCORE 553939.63
AT ITER 3546 NEW BEST:: SOT 2869318 SOS 738622 HAS SOPS 738622 HAS SOUS 553201 HAS SOUPS 553201 WITH SCORE 553939.622
AT ITER 3570 NEW BEST:: SOT 2869033 SOS 738398 HAS SOPS 738398 HAS SOUS 552977 HAS SOUPS 552977 WITH SCORE 553715.398
AT ITER 3578 NEW BEST:: SOT 2868831 SOS 738398 HAS SOPS 738398 HAS SOUS 552775 HAS SOUPS 552775 WITH SCORE 553513.398
AT ITER 3582 NEW BEST:: SOT 2868842 SOS 738061 HAS SOPS 738061 HAS SOUS 552710 HAS SOUPS 552710 WITH SCORE 553448.061
AT ITER 3615 NEW BEST:: SOT 2868842 SOS 738059 HAS SOPS 738059 HAS SOUS 552708 HAS SOUPS 552708 WITH SCORE 553446.059
AT ITER 3618 NEW BEST:: SOT 2868832 SOS 738049 HAS SOPS 738049 HAS SOUS 552698 HAS SOUPS 552698 WITH SCORE 553436.049
AT ITER 3627 NEW BEST:: SOT 2868831 SOS 738425 HAS SOPS 738425 HAS SOUS 552696 HAS SOUPS 552696 WITH SCORE 553434.425
AT ITER 3640 NEW BEST:: SOT 2868412 SOS 738508 HAS SOPS 738508 HAS SOUS 552042 HAS SOUPS 552042 WITH SCORE 552780.508
AT ITER 3651 NEW BEST:: SOT 2868305 SOS 738401 HAS SOPS 738401 HAS SOUS 551931 HAS SOUPS 551931 WITH SCORE 552669.401
AT ITER 3678 NEW BEST:: SOT 2868303 SOS 738397 HAS SOPS 738397 HAS SOUS 551927 HAS SOUPS 551927 WITH SCORE 552665.397
AT ITER 3705 NEW BEST:: SOT 2868114 SOS 738163 HAS SOPS 738163 HAS SOUS 551837 HAS SOUPS 551837 WITH SCORE 552575.163
AT ITER 3711 NEW BEST:: SOT 2867778 SOS 737955 HAS SOPS 737955 HAS SOUS 551420 HAS SOUPS 551420 WITH SCORE 552157.955
AT ITER 3712 NEW BEST:: SOT 2867778 SOS 738218 HAS SOPS 738218 HAS SOUS 551311 HAS SOUPS 551311 WITH SCORE 552049.218
AT ITER 3713 NEW BEST:: SOT 2867788 SOS 738043 HAS SOPS 738043 HAS SOUS 551134 HAS SOUPS 551134 WITH SCORE 551872.043
AT ITER 3715 NEW BEST:: SOT 2867566 SOS 737952 HAS SOPS 737952 HAS SOUS 550844 HAS SOUPS 550844 WITH SCORE 551581.952
AT ITER 3724 NEW BEST:: SOT 2867566 SOS 737817 HAS SOPS 737817 HAS SOUS 550842 HAS SOUPS 550842 WITH SCORE 551579.817
AT ITER 3751 NEW BEST:: SOT 2867487 SOS 737659 HAS SOPS 737659 HAS SOUS 550642 HAS SOUPS 550642 WITH SCORE 551379.659
AT ITER 3755 NEW BEST:: SOT 2867314 SOS 737486 HAS SOPS 737486 HAS SOUS 550403 HAS SOUPS 550403 WITH SCORE 551140.486
AT ITER 3764 NEW BEST:: SOT 2867147 SOS 737461 HAS SOPS 737461 HAS SOUS 550378 HAS SOUPS 550378 WITH SCORE 551115.461
AT ITER 3769 NEW BEST:: SOT 2867146 SOS 737460 HAS SOPS 737460 HAS SOUS 550376 HAS SOUPS 550376 WITH SCORE 551113.46
AT ITER 3778 NEW BEST:: SOT 2867085 SOS 737399 HAS SOPS 737399 HAS SOUS 550315 HAS SOUPS 550315 WITH SCORE 551052.399
AT ITER 3785 NEW BEST:: SOT 2867089 SOS 737391 HAS SOPS 737391 HAS SOUS 550307 HAS SOUPS 550307 WITH SCORE 551044.391
AT ITER 3789 NEW BEST:: SOT 2867085 SOS 737172 HAS SOPS 737172 HAS SOUS 550299 HAS SOUPS 550299 WITH SCORE 551036.172
AT ITER 3791 NEW BEST:: SOT 2867085 SOS 736915 HAS SOPS 736915 HAS SOUS 549999 HAS SOUPS 549999 WITH SCORE 550735.915
AT ITER 3793 NEW BEST:: SOT 2867085 SOS 736781 HAS SOPS 736781 HAS SOUS 549999 HAS SOUPS 549999 WITH SCORE 550735.781
AT ITER 3815 NEW BEST:: SOT 2866866 SOS 736342 HAS SOPS 736342 HAS SOUS 549560 HAS SOUPS 549560 WITH SCORE 550296.342
AT ITER 3817 NEW BEST:: SOT 2866761 SOS 736087 HAS SOPS 736087 HAS SOUS 549024 HAS SOUPS 549024 WITH SCORE 549760.087
AT ITER 3822 NEW BEST:: SOT 2866739 SOS 736076 HAS SOPS 736076 HAS SOUS 549013 HAS SOUPS 549013 WITH SCORE 549749.076
AT ITER 3830 NEW BEST:: SOT 2866739 SOS 736039 HAS SOPS 736039 HAS SOUS 548976 HAS SOUPS 548976 WITH SCORE 549712.039
AT ITER 3869 NEW BEST:: SOT 2866720 SOS 736013 HAS SOPS 736013 HAS SOUS 548950 HAS SOUPS 548950 WITH SCORE 549686.013
AT ITER 3913 NEW BEST:: SOT 2866672 SOS 735940 HAS SOPS 735940 HAS SOUS 548924 HAS SOUPS 548924 WITH SCORE 549659.94
AT ITER 3922 NEW BEST:: SOT 2866646 SOS 735564 HAS SOPS 735564 HAS SOUS 548810 HAS SOUPS 548810 WITH SCORE 549545.564
AT ITER 3940 NEW BEST:: SOT 2866294 SOS 734584 HAS SOPS 734584 HAS SOUS 548416 HAS SOUPS 548416 WITH SCORE 549150.584
AT ITER 3949 NEW BEST:: SOT 2863471 SOS 733581 HAS SOPS 733581 HAS SOUS 547965 HAS SOUPS 547965 WITH SCORE 548698.581
AT ITER 3951 NEW BEST:: SOT 2863363 SOS 733977 HAS SOPS 733977 HAS SOUS 547717 HAS SOUPS 547717 WITH SCORE 548450.977
AT ITER 3957 NEW BEST:: SOT 2863044 SOS 733658 HAS SOPS 733658 HAS SOUS 547398 HAS SOUPS 547398 WITH SCORE 548131.658
AT ITER 3961 NEW BEST:: SOT 2863138 SOS 733753 HAS SOPS 733753 HAS SOUS 547370 HAS SOUPS 547370 WITH SCORE 548103.753
AT ITER 3965 NEW BEST:: SOT 2863130 SOS 733745 HAS SOPS 733745 HAS SOUS 547362 HAS SOUPS 547362 WITH SCORE 548095.745
AT ITER 3974 NEW BEST:: SOT 2863090 SOS 733705 HAS SOPS 733705 HAS SOUS 547322 HAS SOUPS 547322 WITH SCORE 548055.705
AT ITER 3976 NEW BEST:: SOT 2863090 SOS 733705 HAS SOPS 733705 HAS SOUS 547321 HAS SOUPS 547321 WITH SCORE 548054.705
AT ITER 3982 NEW BEST:: SOT 2863090 SOS 733725 HAS SOPS 733725 HAS SOUS 547127 HAS SOUPS 547127 WITH SCORE 547860.725
AT ITER 3995 NEW BEST:: SOT 2860620 SOS 732557 HAS SOPS 732557 HAS SOUS 544759 HAS SOUPS 544759 WITH SCORE 545491.557
AT ITER 3996 NEW BEST:: SOT 2860620 SOS 732522 HAS SOPS 732522 HAS SOUS 544724 HAS SOUPS 544724 WITH SCORE 545456.522
AT ITER 4021 NEW BEST:: SOT 2860620 SOS 732522 HAS SOPS 732522 HAS SOUS 544720 HAS SOUPS 544720 WITH SCORE 545452.522
AT ITER 4039 NEW BEST:: SOT 2860449 SOS 732351 HAS SOPS 732351 HAS SOUS 544545 HAS SOUPS 544545 WITH SCORE 545277.351
AT ITER 4043 NEW BEST:: SOT 2860381 SOS 732227 HAS SOPS 732227 HAS SOUS 544489 HAS SOUPS 544489 WITH SCORE 545221.227
AT ITER 4067 NEW BEST:: SOT 2860227 SOS 731875 HAS SOPS 731875 HAS SOUS 544166 HAS SOUPS 544166 WITH SCORE 544897.875
AT ITER 4078 NEW BEST:: SOT 2861084 SOS 733124 HAS SOPS 733124 HAS SOUS 543551 HAS SOUPS 543551 WITH SCORE 544284.124
AT ITER 4079 NEW BEST:: SOT 2860945 SOS 732995 HAS SOPS 732995 HAS SOUS 543534 HAS SOUPS 543534 WITH SCORE 544266.995
AT ITER 4100 NEW BEST:: SOT 2860862 SOS 732912 HAS SOPS 732912 HAS SOUS 543451 HAS SOUPS 543451 WITH SCORE 544183.912
AT ITER 4125 NEW BEST:: SOT 2860863 SOS 731762 HAS SOPS 731762 HAS SOUS 543381 HAS SOUPS 543381 WITH SCORE 544112.762
AT ITER 4127 NEW BEST:: SOT 2860862 SOS 731678 HAS SOPS 731678 HAS SOUS 543297 HAS SOUPS 543297 WITH SCORE 544028.678
AT ITER 4166 NEW BEST:: SOT 2860826 SOS 731722 HAS SOPS 731722 HAS SOUS 543261 HAS SOUPS 543261 WITH SCORE 543992.722
AT ITER 4189 NEW BEST:: SOT 2860718 SOS 731453 HAS SOPS 731453 HAS SOUS 542859 HAS SOUPS 542859 WITH SCORE 543590.453
AT ITER 4208 NEW BEST:: SOT 2860752 SOS 731444 HAS SOPS 731444 HAS SOUS 542850 HAS SOUPS 542850 WITH SCORE 543581.444
AT ITER 4210 NEW BEST:: SOT 2860469 SOS 730877 HAS SOPS 730877 HAS SOUS 542565 HAS SOUPS 542565 WITH SCORE 543295.877
AT ITER 4223 NEW BEST:: SOT 2860451 SOS 730841 HAS SOPS 730841 HAS SOUS 542529 HAS SOUPS 542529 WITH SCORE 543259.841
AT ITER 4243 NEW BEST:: SOT 2860440 SOS 730819 HAS SOPS 730819 HAS SOUS 542518 HAS SOUPS 542518 WITH SCORE 543248.819
AT ITER 4246 NEW BEST:: SOT 2860440 SOS 730821 HAS SOPS 730821 HAS SOUS 542062 HAS SOUPS 542062 WITH SCORE 542792.821
AT ITER 4259 NEW BEST:: SOT 2860430 SOS 730811 HAS SOPS 730811 HAS SOUS 542052 HAS SOUPS 542052 WITH SCORE 542782.811
AT ITER 4284 NEW BEST:: SOT 2860367 SOS 730685 HAS SOPS 730685 HAS SOUS 541926 HAS SOUPS 541926 WITH SCORE 542656.685
AT ITER 4360 NEW BEST:: SOT 2860530 SOS 730834 HAS SOPS 730834 HAS SOUS 541897 HAS SOUPS 541897 WITH SCORE 542627.834
AT ITER 4371 NEW BEST:: SOT 2860680 SOS 730874 HAS SOPS 730874 HAS SOUS 541813 HAS SOUPS 541813 WITH SCORE 542543.874
AT ITER 4390 NEW BEST:: SOT 2860609 SOS 730803 HAS SOPS 730803 HAS SOUS 541742 HAS SOUPS 541742 WITH SCORE 542472.803
AT ITER 4399 NEW BEST:: SOT 2860581 SOS 730559 HAS SOPS 730559 HAS SOUS 541741 HAS SOUPS 541741 WITH SCORE 542471.559
AT ITER 4411 NEW BEST:: SOT 2860491 SOS 730528 HAS SOPS 730528 HAS SOUS 541710 HAS SOUPS 541710 WITH SCORE 542440.528
AT ITER 4413 NEW BEST:: SOT 2860491 SOS 730518 HAS SOPS 730518 HAS SOUS 541625 HAS SOUPS 541625 WITH SCORE 542355.518
AT ITER 4429 NEW BEST:: SOT 2860368 SOS 730517 HAS SOPS 730517 HAS SOUS 541501 HAS SOUPS 541501 WITH SCORE 542231.517
AT ITER 4455 NEW BEST:: SOT 2860039 SOS 730014 HAS SOPS 730014 HAS SOUS 541255 HAS SOUPS 541255 WITH SCORE 541985.014
AT ITER 4487 NEW BEST:: SOT 2860356 SOS 730648 HAS SOPS 730648 HAS SOUS 541009 HAS SOUPS 541009 WITH SCORE 541739.648
AT ITER 4494 NEW BEST:: SOT 2860408 SOS 730618 HAS SOPS 730618 HAS SOUS 540977 HAS SOUPS 540977 WITH SCORE 541707.618
AT ITER 4517 NEW BEST:: SOT 2860154 SOS 730141 HAS SOPS 730141 HAS SOUS 540614 HAS SOUPS 540614 WITH SCORE 541344.141
AT ITER 4542 NEW BEST:: SOT 2859965 SOS 729763 HAS SOPS 729763 HAS SOUS 540236 HAS SOUPS 540236 WITH SCORE 540965.763
AT ITER 4555 NEW BEST:: SOT 2859765 SOS 729612 HAS SOPS 729612 HAS SOUS 540085 HAS SOUPS 540085 WITH SCORE 540814.612
AT ITER 4556 NEW BEST:: SOT 2859768 SOS 729586 HAS SOPS 729586 HAS SOUS 540059 HAS SOUPS 540059 WITH SCORE 540788.586
AT ITER 4573 NEW BEST:: SOT 2859766 SOS 729585 HAS SOPS 729585 HAS SOUS 540057 HAS SOUPS 540057 WITH SCORE 540786.585
AT ITER 4596 NEW BEST:: SOT 2859572 SOS 729197 HAS SOPS 729197 HAS SOUS 539669 HAS SOUPS 539669 WITH SCORE 540398.197
AT ITER 4615 NEW BEST:: SOT 2859439 SOS 729060 HAS SOPS 729060 HAS SOUS 539665 HAS SOUPS 539665 WITH SCORE 540394.06
AT ITER 4626 NEW BEST:: SOT 2859554 SOS 729240 HAS SOPS 729240 HAS SOUS 539638 HAS SOUPS 539638 WITH SCORE 540367.24
AT ITER 4638 NEW BEST:: SOT 2859462 SOS 729159 HAS SOPS 729159 HAS SOUS 539445 HAS SOUPS 539445 WITH SCORE 540174.159
AT ITER 4645 NEW BEST:: SOT 2859217 SOS 728281 HAS SOPS 728281 HAS SOUS 538955 HAS SOUPS 538955 WITH SCORE 539683.281
AT ITER 4651 NEW BEST:: SOT 2859143 SOS 727575 HAS SOPS 727575 HAS SOUS 538834 HAS SOUPS 538834 WITH SCORE 539561.575
AT ITER 4667 NEW BEST:: SOT 2859235 SOS 727571 HAS SOPS 727571 HAS SOUS 538830 HAS SOUPS 538830 WITH SCORE 539557.571
AT ITER 4668 NEW BEST:: SOT 2859307 SOS 727583 HAS SOPS 727583 HAS SOUS 538719 HAS SOUPS 538719 WITH SCORE 539446.583
AT ITER 4671 NEW BEST:: SOT 2859175 SOS 727501 HAS SOPS 727501 HAS SOUS 538637 HAS SOUPS 538637 WITH SCORE 539364.501
AT ITER 4687 NEW BEST:: SOT 2859186 SOS 727342 HAS SOPS 727342 HAS SOUS 538504 HAS SOUPS 538504 WITH SCORE 539231.342
AT ITER 4750 NEW BEST:: SOT 2859132 SOS 727288 HAS SOPS 727288 HAS SOUS 538450 HAS SOUPS 538450 WITH SCORE 539177.288
AT ITER 4755 NEW BEST:: SOT 2859020 SOS 727041 HAS SOPS 727041 HAS SOUS 537984 HAS SOUPS 537984 WITH SCORE 538711.041
AT ITER 4763 NEW BEST:: SOT 2859020 SOS 726974 HAS SOPS 726974 HAS SOUS 537937 HAS SOUPS 537937 WITH SCORE 538663.974
AT ITER 4787 NEW BEST:: SOT 2858935 SOS 726759 HAS SOPS 726759 HAS SOUS 537774 HAS SOUPS 537774 WITH SCORE 538500.759
AT ITER 4801 NEW BEST:: SOT 2858787 SOS 726463 HAS SOPS 726463 HAS SOUS 537478 HAS SOUPS 537478 WITH SCORE 538204.463
AT ITER 4810 NEW BEST:: SOT 2858767 SOS 726423 HAS SOPS 726423 HAS SOUS 537438 HAS SOUPS 537438 WITH SCORE 538164.423
AT ITER 4822 NEW BEST:: SOT 2858763 SOS 726415 HAS SOPS 726415 HAS SOUS 537433 HAS SOUPS 537433 WITH SCORE 538159.415
AT ITER 4846 NEW BEST:: SOT 2858621 SOS 726273 HAS SOPS 726273 HAS SOUS 536155 HAS SOUPS 536155 WITH SCORE 536881.273
AT ITER 4892 NEW BEST:: SOT 2858569 SOS 726291 HAS SOPS 726291 HAS SOUS 536019 HAS SOUPS 536019 WITH SCORE 536745.291
AT ITER 4936 NEW BEST:: SOT 2858537 SOS 726259 HAS SOPS 726259 HAS SOUS 535987 HAS SOUPS 535987 WITH SCORE 536713.259
AT ITER 4948 NEW BEST:: SOT 2857756 SOS 725531 HAS SOPS 725531 HAS SOUS 535630 HAS SOUPS 535630 WITH SCORE 536355.531
AT ITER 4951 NEW BEST:: SOT 2857787 SOS 726109 HAS SOPS 726109 HAS SOUS 535592 HAS SOUPS 535592 WITH SCORE 536318.109
AT ITER 4961 NEW BEST:: SOT 2857787 SOS 726668 HAS SOPS 726668 HAS SOUS 535534 HAS SOUPS 535534 WITH SCORE 536260.668
AT ITER 4996 NEW BEST:: SOT 2857662 SOS 726623 HAS SOPS 726623 HAS SOUS 535489 HAS SOUPS 535489 WITH SCORE 536215.623
Bounds file is: CTLFireability.xml
PROPERTY: ASLink-PT-04b-CTLFireability-00 (AF( ((potential((tk(P199)>=1))))))
PROPERTY: ASLink-PT-04b-CTLFireability-01 (EU( (! ( ((potential((tk(P929)>=1) & (tk(P1217)>=1)))) | ( ((potential((tk(P1382)>=1)))) & ((potential((tk(P402)>=1) & (tk(P469)>=1)))) ) )) , ((potential((tk(P523)>=1) & (tk(P957)>=1)))) ))
PROPERTY: ASLink-PT-04b-CTLFireability-02 (AU( (! (AG( ((potential((tk(P922)>=1) & (tk(P1078)>=1))))))) , (AG( ((potential((tk(P158)>=1) & (tk(P413)>=1)))))) ))
PROPERTY: ASLink-PT-04b-CTLFireability-03 (AF( ( (AG( ( ((potential((tk(P1731)>=1) & (tk(P1927)>=1)))) & ((potential((tk(P17)>=1) & (tk(P171)>=1)))) ))) | ((potential((tk(P387)>=1)))) )))
PROPERTY: ASLink-PT-04b-CTLFireability-04 (! (! (! (AG( (! ((potential((tk(P515)>=1) & (tk(P972)>=1))))))))))
PROPERTY: ASLink-PT-04b-CTLFireability-05 ( (! ( (EG( ( ((potential((tk(P515)>=1) & (tk(P975)>=1)))) & ((potential((tk(P1294)>=1) & (tk(P1678)>=1)))) ))) | (EG( (! ((potential((tk(P386)>=1))))))) )) & ( (! (EG( (! ((potential((tk(P538)>=1) & (tk(P830)>=1)))))))) & ( ( ((potential((tk(P105)>=1) & (tk(P563)>=1)))) & (EG( ((potential((tk(P1984)>=1)))))) ) | (! ((potential((tk(P13)>=1) & (tk(P162)>=1))))) ) ) )
PROPERTY: ASLink-PT-04b-CTLFireability-06 (EU( ( (EF( ((potential((tk(P1944)>=1)))))) & (AX( ((potential((tk(P1630)>=1) & (tk(P1736)>=1)))))) ) , (EF( ( ((potential((tk(P1317)>=1) & (tk(P1473)>=1)))) & ((potential((tk(P33)>=1) & (tk(P180)>=1)))) ))) ))
PROPERTY: ASLink-PT-04b-CTLFireability-07 (! ( (AF( (AX( ((potential((tk(P492)>=1) & (tk(P970)>=1)))))))) | ( (AU( ((potential((tk(P1411)>=1)))) , ((potential((tk(P121)>=1) & (tk(P563)>=1)))) )) & (! (! (! ((potential((tk(P523)>=1) & (tk(P954)>=1))))))) ) ))
PROPERTY: ASLink-PT-04b-CTLFireability-08 ( ( ( (EG( (! ((potential((tk(P122)>=1))))))) & (EX( ( ((potential((tk(P525)>=1) & (tk(P722)>=1)))) | ((potential((tk(P1279)>=1) & (tk(P1440)>=1)))) ))) ) | (AF( (EF( ((potential((tk(P1313)>=1) & (tk(P1719)>=1)))))))) ) | ((potential((tk(P298)>=1) & (tk(P472)>=1)))) )
PROPERTY: ASLink-PT-04b-CTLFireability-09 ( ( ((potential((tk(P44)>=1) & (tk(P173)>=1)))) & ((potential((tk(P1616)>=1) & (tk(P1746)>=1)))) ) | (EF( ( ( ( ((potential((tk(P2024)>=1) & (tk(P2020)>=1)))) | ((potential((tk(P1158)>=1) & (tk(P1143)>=1)))) ) | (! ((potential((tk(P1333)>=1) & (tk(P1612)>=1))))) ) & (AX( ((potential((tk(P373)>=1)))))) ))) )
PROPERTY: ASLink-PT-04b-CTLFireability-10 ( ((potential((tk(P502)>=1)))) | (AX( (EF( ( ((potential((tk(P301)>=1)))) | ((potential((tk(P1424)>=1)))) ))))) )
PROPERTY: ASLink-PT-04b-CTLFireability-11 (EU( ( (AF( ((potential((tk(P1308)>=1)))))) & (EX( ((potential((tk(P1254)>=1)))))) ) , (AF( ((potential((tk(P1409)>=1)))))) ))
PROPERTY: ASLink-PT-04b-CTLFireability-12 (EF( ( (AG( ((potential((tk(P91)>=1) & (tk(P212)>=1)))))) & ( (! (! ((potential((tk(P134)>=1) & (tk(P435)>=1)))))) | (AG( ((potential((tk(P144)>=1)))))) ) )))
PROPERTY: ASLink-PT-04b-CTLFireability-13 (AF( (EX( ( ((potential((tk(P895)>=1) & (tk(P1362)>=1)))) & ( ((potential((tk(P1682)>=1)))) | ((potential((tk(P1762)>=1)))) ) )))))
PROPERTY: ASLink-PT-04b-CTLFireability-14 (EG( (AF( ((potential((tk(P1729)>=1) & (tk(P1931)>=1))))))))
PROPERTY: ASLink-PT-04b-CTLFireability-15 (AG( (EU( (! ((potential((tk(P1382)>=1))))) , ( ((potential((tk(P326)>=1)))) & ((potential((tk(P507)>=1) & (tk(P960)>=1)))) ) ))))

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="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ASLink-PT-04b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508000068"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;