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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 724K
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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.5K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K 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 19K 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 17K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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 544K 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-03b-CTLFireability-00
FORMULA_NAME ASLink-PT-03b-CTLFireability-01
FORMULA_NAME ASLink-PT-03b-CTLFireability-02
FORMULA_NAME ASLink-PT-03b-CTLFireability-03
FORMULA_NAME ASLink-PT-03b-CTLFireability-04
FORMULA_NAME ASLink-PT-03b-CTLFireability-05
FORMULA_NAME ASLink-PT-03b-CTLFireability-06
FORMULA_NAME ASLink-PT-03b-CTLFireability-07
FORMULA_NAME ASLink-PT-03b-CTLFireability-08
FORMULA_NAME ASLink-PT-03b-CTLFireability-09
FORMULA_NAME ASLink-PT-03b-CTLFireability-10
FORMULA_NAME ASLink-PT-03b-CTLFireability-11
FORMULA_NAME ASLink-PT-03b-CTLFireability-12
FORMULA_NAME ASLink-PT-03b-CTLFireability-13
FORMULA_NAME ASLink-PT-03b-CTLFireability-14
FORMULA_NAME ASLink-PT-03b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589011146027

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 03b
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: 1638 places, 2094 transitions, 6458 arcs.
AT ITER 0 NEW BEST:: SOT 1980091 SOS 601265 HAS SOPS 601265 HAS SOUS 472325 HAS SOUPS 472325 WITH SCORE 472926.265
AT ITER 2 NEW BEST:: SOT 1980061 SOS 601193 HAS SOPS 601193 HAS SOUS 472289 HAS SOUPS 472289 WITH SCORE 472890.193
AT ITER 8 NEW BEST:: SOT 1980061 SOS 601152 HAS SOPS 601152 HAS SOUS 472286 HAS SOUPS 472286 WITH SCORE 472887.152
AT ITER 10 NEW BEST:: SOT 1979184 SOS 603793 HAS SOPS 603793 HAS SOUS 472216 HAS SOUPS 472216 WITH SCORE 472819.793
AT ITER 15 NEW BEST:: SOT 1978169 SOS 603358 HAS SOPS 603358 HAS SOUS 471346 HAS SOUPS 471346 WITH SCORE 471949.358
AT ITER 36 NEW BEST:: SOT 1977985 SOS 602713 HAS SOPS 602713 HAS SOUS 471079 HAS SOUPS 471079 WITH SCORE 471681.713
AT ITER 57 NEW BEST:: SOT 1977616 SOS 601971 HAS SOPS 601971 HAS SOUS 470337 HAS SOUPS 470337 WITH SCORE 470938.971
AT ITER 77 NEW BEST:: SOT 1976399 SOS 602849 HAS SOPS 602849 HAS SOUS 469854 HAS SOUPS 469854 WITH SCORE 470456.849
AT ITER 78 NEW BEST:: SOT 1976556 SOS 602738 HAS SOPS 602738 HAS SOUS 467443 HAS SOUPS 467443 WITH SCORE 468045.738
AT ITER 95 NEW BEST:: SOT 1975262 SOS 601443 HAS SOPS 601443 HAS SOUS 466148 HAS SOUPS 466148 WITH SCORE 466749.443
AT ITER 98 NEW BEST:: SOT 1975262 SOS 601442 HAS SOPS 601442 HAS SOUS 466147 HAS SOUPS 466147 WITH SCORE 466748.442
AT ITER 110 NEW BEST:: SOT 1975082 SOS 601175 HAS SOPS 601175 HAS SOUS 465879 HAS SOUPS 465879 WITH SCORE 466480.175
AT ITER 111 NEW BEST:: SOT 1975082 SOS 600990 HAS SOPS 600990 HAS SOUS 465694 HAS SOUPS 465694 WITH SCORE 466294.99
AT ITER 113 NEW BEST:: SOT 1974789 SOS 600953 HAS SOPS 600953 HAS SOUS 465295 HAS SOUPS 465295 WITH SCORE 465895.953
AT ITER 116 NEW BEST:: SOT 1974783 SOS 600947 HAS SOPS 600947 HAS SOUS 465289 HAS SOUPS 465289 WITH SCORE 465889.947
AT ITER 124 NEW BEST:: SOT 1973903 SOS 600090 HAS SOPS 600090 HAS SOUS 464409 HAS SOUPS 464409 WITH SCORE 465009.09
AT ITER 128 NEW BEST:: SOT 1973903 SOS 599989 HAS SOPS 599989 HAS SOUS 464408 HAS SOUPS 464408 WITH SCORE 465007.989
AT ITER 131 NEW BEST:: SOT 1973768 SOS 599809 HAS SOPS 599809 HAS SOUS 464228 HAS SOUPS 464228 WITH SCORE 464827.809
AT ITER 135 NEW BEST:: SOT 1973410 SOS 600366 HAS SOPS 600366 HAS SOUS 464123 HAS SOUPS 464123 WITH SCORE 464723.366
AT ITER 140 NEW BEST:: SOT 1973293 SOS 600600 HAS SOPS 600600 HAS SOUS 464006 HAS SOUPS 464006 WITH SCORE 464606.6
AT ITER 157 NEW BEST:: SOT 1973293 SOS 600599 HAS SOPS 600599 HAS SOUS 464005 HAS SOUPS 464005 WITH SCORE 464605.599
AT ITER 167 NEW BEST:: SOT 1973302 SOS 600426 HAS SOPS 600426 HAS SOUS 463832 HAS SOUPS 463832 WITH SCORE 464432.426
AT ITER 198 NEW BEST:: SOT 1973118 SOS 599683 HAS SOPS 599683 HAS SOUS 458715 HAS SOUPS 458715 WITH SCORE 459314.683
AT ITER 214 NEW BEST:: SOT 1972835 SOS 599448 HAS SOPS 599448 HAS SOUS 458470 HAS SOUPS 458470 WITH SCORE 459069.448
AT ITER 222 NEW BEST:: SOT 1972770 SOS 599364 HAS SOPS 599364 HAS SOUS 458371 HAS SOUPS 458371 WITH SCORE 458970.364
AT ITER 223 NEW BEST:: SOT 1972509 SOS 599103 HAS SOPS 599103 HAS SOUS 458110 HAS SOUPS 458110 WITH SCORE 458709.103
AT ITER 230 NEW BEST:: SOT 1972509 SOS 599270 HAS SOPS 599270 HAS SOUS 455589 HAS SOUPS 455589 WITH SCORE 456188.27
AT ITER 237 NEW BEST:: SOT 1975072 SOS 602159 HAS SOPS 602159 HAS SOUS 453361 HAS SOUPS 453361 WITH SCORE 453963.159
AT ITER 243 NEW BEST:: SOT 1975027 SOS 602114 HAS SOPS 602114 HAS SOUS 453316 HAS SOUPS 453316 WITH SCORE 453918.114
AT ITER 257 NEW BEST:: SOT 1975027 SOS 602103 HAS SOPS 602103 HAS SOUS 453314 HAS SOUPS 453314 WITH SCORE 453916.103
AT ITER 269 NEW BEST:: SOT 1974592 SOS 601538 HAS SOPS 601538 HAS SOUS 452867 HAS SOUPS 452867 WITH SCORE 453468.538
AT ITER 274 NEW BEST:: SOT 1974528 SOS 601474 HAS SOPS 601474 HAS SOUS 452803 HAS SOUPS 452803 WITH SCORE 453404.474
AT ITER 275 NEW BEST:: SOT 1974419 SOS 601412 HAS SOPS 601412 HAS SOUS 452739 HAS SOUPS 452739 WITH SCORE 453340.412
AT ITER 279 NEW BEST:: SOT 1973530 SOS 604700 HAS SOPS 604700 HAS SOUS 451998 HAS SOUPS 451998 WITH SCORE 452602.7
AT ITER 296 NEW BEST:: SOT 1973378 SOS 604548 HAS SOPS 604548 HAS SOUS 451922 HAS SOUPS 451922 WITH SCORE 452526.548
AT ITER 307 NEW BEST:: SOT 1973261 SOS 604203 HAS SOPS 604203 HAS SOUS 451688 HAS SOUPS 451688 WITH SCORE 452292.203
AT ITER 308 NEW BEST:: SOT 1973261 SOS 604203 HAS SOPS 604203 HAS SOUS 451687 HAS SOUPS 451687 WITH SCORE 452291.203
AT ITER 312 NEW BEST:: SOT 1973260 SOS 604201 HAS SOPS 604201 HAS SOUS 451685 HAS SOUPS 451685 WITH SCORE 452289.201
AT ITER 318 NEW BEST:: SOT 1973260 SOS 604200 HAS SOPS 604200 HAS SOUS 451684 HAS SOUPS 451684 WITH SCORE 452288.2
AT ITER 323 NEW BEST:: SOT 1972706 SOS 606502 HAS SOPS 606502 HAS SOUS 451440 HAS SOUPS 451440 WITH SCORE 452046.502
AT ITER 331 NEW BEST:: SOT 1972655 SOS 606450 HAS SOPS 606450 HAS SOUS 451388 HAS SOUPS 451388 WITH SCORE 451994.45
AT ITER 346 NEW BEST:: SOT 1972628 SOS 606431 HAS SOPS 606431 HAS SOUS 451334 HAS SOUPS 451334 WITH SCORE 451940.431
AT ITER 348 NEW BEST:: SOT 1972606 SOS 606427 HAS SOPS 606427 HAS SOUS 451309 HAS SOUPS 451309 WITH SCORE 451915.427
AT ITER 350 NEW BEST:: SOT 1972606 SOS 606427 HAS SOPS 606427 HAS SOUS 451308 HAS SOUPS 451308 WITH SCORE 451914.427
AT ITER 354 NEW BEST:: SOT 1972538 SOS 606505 HAS SOPS 606505 HAS SOUS 451185 HAS SOUPS 451185 WITH SCORE 451791.505
AT ITER 355 NEW BEST:: SOT 1972470 SOS 606405 HAS SOPS 606405 HAS SOUS 451088 HAS SOUPS 451088 WITH SCORE 451694.405
AT ITER 371 NEW BEST:: SOT 1972249 SOS 605621 HAS SOPS 605621 HAS SOUS 450821 HAS SOUPS 450821 WITH SCORE 451426.621
AT ITER 384 NEW BEST:: SOT 1972083 SOS 604959 HAS SOPS 604959 HAS SOUS 450488 HAS SOUPS 450488 WITH SCORE 451092.959
AT ITER 404 NEW BEST:: SOT 1971881 SOS 604161 HAS SOPS 604161 HAS SOUS 450193 HAS SOUPS 450193 WITH SCORE 450797.161
AT ITER 408 NEW BEST:: SOT 1971685 SOS 605719 HAS SOPS 605719 HAS SOUS 449935 HAS SOUPS 449935 WITH SCORE 450540.719
AT ITER 418 NEW BEST:: SOT 1971383 SOS 605410 HAS SOPS 605410 HAS SOUS 449626 HAS SOUPS 449626 WITH SCORE 450231.41
AT ITER 420 NEW BEST:: SOT 1970941 SOS 606044 HAS SOPS 606044 HAS SOUS 449463 HAS SOUPS 449463 WITH SCORE 450069.044
AT ITER 428 NEW BEST:: SOT 1970939 SOS 605970 HAS SOPS 605970 HAS SOUS 449461 HAS SOUPS 449461 WITH SCORE 450066.97
AT ITER 446 NEW BEST:: SOT 1970999 SOS 605830 HAS SOPS 605830 HAS SOUS 449321 HAS SOUPS 449321 WITH SCORE 449926.83
AT ITER 449 NEW BEST:: SOT 1970972 SOS 605803 HAS SOPS 605803 HAS SOUS 449320 HAS SOUPS 449320 WITH SCORE 449925.803
AT ITER 454 NEW BEST:: SOT 1970701 SOS 605516 HAS SOPS 605516 HAS SOUS 448998 HAS SOUPS 448998 WITH SCORE 449603.516
AT ITER 462 NEW BEST:: SOT 1970701 SOS 605423 HAS SOPS 605423 HAS SOUS 448998 HAS SOUPS 448998 WITH SCORE 449603.423
AT ITER 477 NEW BEST:: SOT 1970682 SOS 605404 HAS SOPS 605404 HAS SOUS 448978 HAS SOUPS 448978 WITH SCORE 449583.404
AT ITER 488 NEW BEST:: SOT 1970447 SOS 605169 HAS SOPS 605169 HAS SOUS 448695 HAS SOUPS 448695 WITH SCORE 449300.169
AT ITER 493 NEW BEST:: SOT 1970447 SOS 604982 HAS SOPS 604982 HAS SOUS 448358 HAS SOUPS 448358 WITH SCORE 448962.982
AT ITER 494 NEW BEST:: SOT 1970447 SOS 604932 HAS SOPS 604932 HAS SOUS 448308 HAS SOUPS 448308 WITH SCORE 448912.932
AT ITER 514 NEW BEST:: SOT 1970589 SOS 605056 HAS SOPS 605056 HAS SOUS 444073 HAS SOUPS 444073 WITH SCORE 444678.056
AT ITER 520 NEW BEST:: SOT 1970466 SOS 604908 HAS SOPS 604908 HAS SOUS 443556 HAS SOUPS 443556 WITH SCORE 444160.908
AT ITER 530 NEW BEST:: SOT 1970359 SOS 604393 HAS SOPS 604393 HAS SOUS 443329 HAS SOUPS 443329 WITH SCORE 443933.393
AT ITER 533 NEW BEST:: SOT 1970337 SOS 604172 HAS SOPS 604172 HAS SOUS 443283 HAS SOUPS 443283 WITH SCORE 443887.172
AT ITER 535 NEW BEST:: SOT 1970318 SOS 604134 HAS SOPS 604134 HAS SOUS 443245 HAS SOUPS 443245 WITH SCORE 443849.134
AT ITER 539 NEW BEST:: SOT 1970297 SOS 604092 HAS SOPS 604092 HAS SOUS 443203 HAS SOUPS 443203 WITH SCORE 443807.092
AT ITER 542 NEW BEST:: SOT 1970297 SOS 604045 HAS SOPS 604045 HAS SOUS 443203 HAS SOUPS 443203 WITH SCORE 443807.045
AT ITER 545 NEW BEST:: SOT 1970165 SOS 603780 HAS SOPS 603780 HAS SOUS 443158 HAS SOUPS 443158 WITH SCORE 443761.78
AT ITER 546 NEW BEST:: SOT 1970165 SOS 604017 HAS SOPS 604017 HAS SOUS 443122 HAS SOUPS 443122 WITH SCORE 443726.017
AT ITER 547 NEW BEST:: SOT 1970165 SOS 603993 HAS SOPS 603993 HAS SOUS 443118 HAS SOUPS 443118 WITH SCORE 443721.993
AT ITER 559 NEW BEST:: SOT 1969803 SOS 603263 HAS SOPS 603263 HAS SOUS 442642 HAS SOUPS 442642 WITH SCORE 443245.263
AT ITER 560 NEW BEST:: SOT 1969558 SOS 602634 HAS SOPS 602634 HAS SOUS 442428 HAS SOUPS 442428 WITH SCORE 443030.634
AT ITER 583 NEW BEST:: SOT 1969509 SOS 602644 HAS SOPS 602644 HAS SOUS 442379 HAS SOUPS 442379 WITH SCORE 442981.644
AT ITER 588 NEW BEST:: SOT 1969486 SOS 602391 HAS SOPS 602391 HAS SOUS 442354 HAS SOUPS 442354 WITH SCORE 442956.391
AT ITER 603 NEW BEST:: SOT 1969202 SOS 602072 HAS SOPS 602072 HAS SOUS 442035 HAS SOUPS 442035 WITH SCORE 442637.072
AT ITER 606 NEW BEST:: SOT 1969044 SOS 601669 HAS SOPS 601669 HAS SOUS 441903 HAS SOUPS 441903 WITH SCORE 442504.669
AT ITER 611 NEW BEST:: SOT 1969043 SOS 601667 HAS SOPS 601667 HAS SOUS 441901 HAS SOUPS 441901 WITH SCORE 442502.667
AT ITER 614 NEW BEST:: SOT 1968954 SOS 601489 HAS SOPS 601489 HAS SOUS 441723 HAS SOUPS 441723 WITH SCORE 442324.489
AT ITER 616 NEW BEST:: SOT 1968896 SOS 601431 HAS SOPS 601431 HAS SOUS 441665 HAS SOUPS 441665 WITH SCORE 442266.431
AT ITER 620 NEW BEST:: SOT 1968896 SOS 601311 HAS SOPS 601311 HAS SOUS 441664 HAS SOUPS 441664 WITH SCORE 442265.311
AT ITER 637 NEW BEST:: SOT 1968867 SOS 601253 HAS SOPS 601253 HAS SOUS 441635 HAS SOUPS 441635 WITH SCORE 442236.253
AT ITER 639 NEW BEST:: SOT 1968867 SOS 601220 HAS SOPS 601220 HAS SOUS 441635 HAS SOUPS 441635 WITH SCORE 442236.22
AT ITER 655 NEW BEST:: SOT 1968418 SOS 603706 HAS SOPS 603706 HAS SOUS 441117 HAS SOUPS 441117 WITH SCORE 441720.706
AT ITER 657 NEW BEST:: SOT 1968398 SOS 603662 HAS SOPS 603662 HAS SOUS 441073 HAS SOUPS 441073 WITH SCORE 441676.662
AT ITER 659 NEW BEST:: SOT 1968398 SOS 603662 HAS SOPS 603662 HAS SOUS 441072 HAS SOUPS 441072 WITH SCORE 441675.662
AT ITER 663 NEW BEST:: SOT 1967953 SOS 603225 HAS SOPS 603225 HAS SOUS 440202 HAS SOUPS 440202 WITH SCORE 440805.225
AT ITER 676 NEW BEST:: SOT 1967787 SOS 602893 HAS SOPS 602893 HAS SOUS 440033 HAS SOUPS 440033 WITH SCORE 440635.893
AT ITER 681 NEW BEST:: SOT 1967207 SOS 604743 HAS SOPS 604743 HAS SOUS 439863 HAS SOUPS 439863 WITH SCORE 440467.743
AT ITER 693 NEW BEST:: SOT 1967126 SOS 604662 HAS SOPS 604662 HAS SOUS 439782 HAS SOUPS 439782 WITH SCORE 440386.662
AT ITER 702 NEW BEST:: SOT 1967124 SOS 604315 HAS SOPS 604315 HAS SOUS 439778 HAS SOUPS 439778 WITH SCORE 440382.315
AT ITER 711 NEW BEST:: SOT 1967072 SOS 604371 HAS SOPS 604371 HAS SOUS 439674 HAS SOUPS 439674 WITH SCORE 440278.371
AT ITER 717 NEW BEST:: SOT 1966856 SOS 604155 HAS SOPS 604155 HAS SOUS 439500 HAS SOUPS 439500 WITH SCORE 440104.155
AT ITER 733 NEW BEST:: SOT 1966668 SOS 604152 HAS SOPS 604152 HAS SOUS 439497 HAS SOUPS 439497 WITH SCORE 440101.152
AT ITER 734 NEW BEST:: SOT 1966451 SOS 603896 HAS SOPS 603896 HAS SOUS 439297 HAS SOUPS 439297 WITH SCORE 439900.896
AT ITER 736 NEW BEST:: SOT 1966450 SOS 603895 HAS SOPS 603895 HAS SOUS 439296 HAS SOUPS 439296 WITH SCORE 439899.895
AT ITER 745 NEW BEST:: SOT 1966225 SOS 603691 HAS SOPS 603691 HAS SOUS 437251 HAS SOUPS 437251 WITH SCORE 437854.691
AT ITER 749 NEW BEST:: SOT 1966225 SOS 603687 HAS SOPS 603687 HAS SOUS 437250 HAS SOUPS 437250 WITH SCORE 437853.687
AT ITER 768 NEW BEST:: SOT 1966249 SOS 604425 HAS SOPS 604425 HAS SOUS 436418 HAS SOUPS 436418 WITH SCORE 437022.425
AT ITER 770 NEW BEST:: SOT 1966249 SOS 602069 HAS SOPS 602069 HAS SOUS 436390 HAS SOUPS 436390 WITH SCORE 436992.069
AT ITER 783 NEW BEST:: SOT 1966024 SOS 601488 HAS SOPS 601488 HAS SOUS 435939 HAS SOUPS 435939 WITH SCORE 436540.488
AT ITER 797 NEW BEST:: SOT 1966024 SOS 601390 HAS SOPS 601390 HAS SOUS 435841 HAS SOUPS 435841 WITH SCORE 436442.39
AT ITER 828 NEW BEST:: SOT 1966024 SOS 601144 HAS SOPS 601144 HAS SOUS 435841 HAS SOUPS 435841 WITH SCORE 436442.144
AT ITER 839 NEW BEST:: SOT 1965784 SOS 600904 HAS SOPS 600904 HAS SOUS 435599 HAS SOUPS 435599 WITH SCORE 436199.904
AT ITER 855 NEW BEST:: SOT 1965738 SOS 600858 HAS SOPS 600858 HAS SOUS 435552 HAS SOUPS 435552 WITH SCORE 436152.858
AT ITER 856 NEW BEST:: SOT 1965738 SOS 600902 HAS SOPS 600902 HAS SOUS 435519 HAS SOUPS 435519 WITH SCORE 436119.902
AT ITER 865 NEW BEST:: SOT 1965738 SOS 600678 HAS SOPS 600678 HAS SOUS 435295 HAS SOUPS 435295 WITH SCORE 435895.678
AT ITER 878 NEW BEST:: SOT 1965738 SOS 600625 HAS SOPS 600625 HAS SOUS 435242 HAS SOUPS 435242 WITH SCORE 435842.625
AT ITER 884 NEW BEST:: SOT 1964895 SOS 599907 HAS SOPS 599907 HAS SOUS 434524 HAS SOUPS 434524 WITH SCORE 435123.907
AT ITER 901 NEW BEST:: SOT 1964801 SOS 598685 HAS SOPS 598685 HAS SOUS 434336 HAS SOUPS 434336 WITH SCORE 434934.685
AT ITER 902 NEW BEST:: SOT 1964801 SOS 598391 HAS SOPS 598391 HAS SOUS 434232 HAS SOUPS 434232 WITH SCORE 434830.391
AT ITER 916 NEW BEST:: SOT 1964151 SOS 597644 HAS SOPS 597644 HAS SOUS 434140 HAS SOUPS 434140 WITH SCORE 434737.644
AT ITER 918 NEW BEST:: SOT 1964060 SOS 597460 HAS SOPS 597460 HAS SOUS 433956 HAS SOUPS 433956 WITH SCORE 434553.46
AT ITER 926 NEW BEST:: SOT 1964059 SOS 597348 HAS SOPS 597348 HAS SOUS 433844 HAS SOUPS 433844 WITH SCORE 434441.348
AT ITER 933 NEW BEST:: SOT 1963690 SOS 596899 HAS SOPS 596899 HAS SOUS 433395 HAS SOUPS 433395 WITH SCORE 433991.899
AT ITER 942 NEW BEST:: SOT 1964285 SOS 597671 HAS SOPS 597671 HAS SOUS 432889 HAS SOUPS 432889 WITH SCORE 433486.671
AT ITER 948 NEW BEST:: SOT 1964161 SOS 597423 HAS SOPS 597423 HAS SOUS 432764 HAS SOUPS 432764 WITH SCORE 433361.423
AT ITER 973 NEW BEST:: SOT 1964091 SOS 597393 HAS SOPS 597393 HAS SOUS 432734 HAS SOUPS 432734 WITH SCORE 433331.393
AT ITER 974 NEW BEST:: SOT 1964091 SOS 597346 HAS SOPS 597346 HAS SOUS 432687 HAS SOUPS 432687 WITH SCORE 433284.346
AT ITER 977 NEW BEST:: SOT 1963913 SOS 596990 HAS SOPS 596990 HAS SOUS 432493 HAS SOUPS 432493 WITH SCORE 433089.99
AT ITER 980 NEW BEST:: SOT 1963913 SOS 597493 HAS SOPS 597493 HAS SOUS 431590 HAS SOUPS 431590 WITH SCORE 432187.493
AT ITER 990 NEW BEST:: SOT 1963694 SOS 597004 HAS SOPS 597004 HAS SOUS 431370 HAS SOUPS 431370 WITH SCORE 431967.004
AT ITER 991 NEW BEST:: SOT 1963521 SOS 596159 HAS SOPS 596159 HAS SOUS 431016 HAS SOUPS 431016 WITH SCORE 431612.159
AT ITER 994 NEW BEST:: SOT 1963521 SOS 596514 HAS SOPS 596514 HAS SOUS 430951 HAS SOUPS 430951 WITH SCORE 431547.514
AT ITER 1009 NEW BEST:: SOT 1962641 SOS 595689 HAS SOPS 595689 HAS SOUS 430841 HAS SOUPS 430841 WITH SCORE 431436.689
AT ITER 1017 NEW BEST:: SOT 1962476 SOS 595359 HAS SOPS 595359 HAS SOUS 430511 HAS SOUPS 430511 WITH SCORE 431106.359
AT ITER 1023 NEW BEST:: SOT 1962476 SOS 594551 HAS SOPS 594551 HAS SOUS 430511 HAS SOUPS 430511 WITH SCORE 431105.551
AT ITER 1027 NEW BEST:: SOT 1962161 SOS 595181 HAS SOPS 595181 HAS SOUS 429881 HAS SOUPS 429881 WITH SCORE 430476.181
AT ITER 1038 NEW BEST:: SOT 1961960 SOS 594391 HAS SOPS 594391 HAS SOUS 429619 HAS SOUPS 429619 WITH SCORE 430213.391
AT ITER 1040 NEW BEST:: SOT 1961936 SOS 594343 HAS SOPS 594343 HAS SOUS 429593 HAS SOUPS 429593 WITH SCORE 430187.343
AT ITER 1055 NEW BEST:: SOT 1961936 SOS 594335 HAS SOPS 594335 HAS SOUS 429592 HAS SOUPS 429592 WITH SCORE 430186.335
AT ITER 1063 NEW BEST:: SOT 1961784 SOS 593722 HAS SOPS 593722 HAS SOUS 429192 HAS SOUPS 429192 WITH SCORE 429785.722
AT ITER 1070 NEW BEST:: SOT 1961566 SOS 593297 HAS SOPS 593297 HAS SOUS 428984 HAS SOUPS 428984 WITH SCORE 429577.297
AT ITER 1072 NEW BEST:: SOT 1960668 SOS 592399 HAS SOPS 592399 HAS SOUS 428086 HAS SOUPS 428086 WITH SCORE 428678.399
AT ITER 1094 NEW BEST:: SOT 1960476 SOS 592207 HAS SOPS 592207 HAS SOUS 427894 HAS SOUPS 427894 WITH SCORE 428486.207
AT ITER 1106 NEW BEST:: SOT 1960080 SOS 591468 HAS SOPS 591468 HAS SOUS 427495 HAS SOUPS 427495 WITH SCORE 428086.468
AT ITER 1111 NEW BEST:: SOT 1959869 SOS 591046 HAS SOPS 591046 HAS SOUS 427065 HAS SOUPS 427065 WITH SCORE 427656.046
AT ITER 1113 NEW BEST:: SOT 1959842 SOS 591019 HAS SOPS 591019 HAS SOUS 427065 HAS SOUPS 427065 WITH SCORE 427656.019
AT ITER 1119 NEW BEST:: SOT 1959730 SOS 590904 HAS SOPS 590904 HAS SOUS 427065 HAS SOUPS 427065 WITH SCORE 427655.904
AT ITER 1133 NEW BEST:: SOT 1959657 SOS 590653 HAS SOPS 590653 HAS SOUS 426814 HAS SOUPS 426814 WITH SCORE 427404.653
AT ITER 1149 NEW BEST:: SOT 1958720 SOS 590512 HAS SOPS 590512 HAS SOUS 424857 HAS SOUPS 424857 WITH SCORE 425447.512
AT ITER 1163 NEW BEST:: SOT 1958666 SOS 590161 HAS SOPS 590161 HAS SOUS 424773 HAS SOUPS 424773 WITH SCORE 425363.161
AT ITER 1210 NEW BEST:: SOT 1958653 SOS 590135 HAS SOPS 590135 HAS SOUS 424760 HAS SOUPS 424760 WITH SCORE 425350.135
AT ITER 1225 NEW BEST:: SOT 1958616 SOS 590098 HAS SOPS 590098 HAS SOUS 424760 HAS SOUPS 424760 WITH SCORE 425350.098
AT ITER 1230 NEW BEST:: SOT 1958492 SOS 590095 HAS SOPS 590095 HAS SOUS 424758 HAS SOUPS 424758 WITH SCORE 425348.095
AT ITER 1237 NEW BEST:: SOT 1958474 SOS 589967 HAS SOPS 589967 HAS SOUS 424630 HAS SOUPS 424630 WITH SCORE 425219.967
AT ITER 1243 NEW BEST:: SOT 1958278 SOS 589736 HAS SOPS 589736 HAS SOUS 422866 HAS SOUPS 422866 WITH SCORE 423455.736
AT ITER 1246 NEW BEST:: SOT 1958212 SOS 589670 HAS SOPS 589670 HAS SOUS 422800 HAS SOUPS 422800 WITH SCORE 423389.67
AT ITER 1260 NEW BEST:: SOT 1958116 SOS 589484 HAS SOPS 589484 HAS SOUS 422614 HAS SOUPS 422614 WITH SCORE 423203.484
AT ITER 1271 NEW BEST:: SOT 1957992 SOS 589428 HAS SOPS 589428 HAS SOUS 422558 HAS SOUPS 422558 WITH SCORE 423147.428
AT ITER 1278 NEW BEST:: SOT 1957740 SOS 589134 HAS SOPS 589134 HAS SOUS 422264 HAS SOUPS 422264 WITH SCORE 422853.134
AT ITER 1281 NEW BEST:: SOT 1957728 SOS 589119 HAS SOPS 589119 HAS SOUS 422249 HAS SOUPS 422249 WITH SCORE 422838.119
AT ITER 1287 NEW BEST:: SOT 1957476 SOS 588024 HAS SOPS 588024 HAS SOUS 421806 HAS SOUPS 421806 WITH SCORE 422394.024
AT ITER 1294 NEW BEST:: SOT 1957355 SOS 587782 HAS SOPS 587782 HAS SOUS 421564 HAS SOUPS 421564 WITH SCORE 422151.782
AT ITER 1296 NEW BEST:: SOT 1956791 SOS 587361 HAS SOPS 587361 HAS SOUS 421084 HAS SOUPS 421084 WITH SCORE 421671.361
AT ITER 1323 NEW BEST:: SOT 1956462 SOS 587032 HAS SOPS 587032 HAS SOUS 420755 HAS SOUPS 420755 WITH SCORE 421342.032
AT ITER 1324 NEW BEST:: SOT 1954904 SOS 588470 HAS SOPS 588470 HAS SOUS 419251 HAS SOUPS 419251 WITH SCORE 419839.47
AT ITER 1327 NEW BEST:: SOT 1954744 SOS 588421 HAS SOPS 588421 HAS SOUS 419202 HAS SOUPS 419202 WITH SCORE 419790.421
AT ITER 1328 NEW BEST:: SOT 1954614 SOS 588291 HAS SOPS 588291 HAS SOUS 419072 HAS SOUPS 419072 WITH SCORE 419660.291
AT ITER 1332 NEW BEST:: SOT 1952195 SOS 586095 HAS SOPS 586095 HAS SOUS 416876 HAS SOUPS 416876 WITH SCORE 417462.095
AT ITER 1333 NEW BEST:: SOT 1952108 SOS 585921 HAS SOPS 585921 HAS SOUS 416665 HAS SOUPS 416665 WITH SCORE 417250.921
AT ITER 1343 NEW BEST:: SOT 1952285 SOS 586104 HAS SOPS 586104 HAS SOUS 416620 HAS SOUPS 416620 WITH SCORE 417206.104
AT ITER 1379 NEW BEST:: SOT 1953049 SOS 587508 HAS SOPS 587508 HAS SOUS 416136 HAS SOUPS 416136 WITH SCORE 416723.508
AT ITER 1415 NEW BEST:: SOT 1953031 SOS 587628 HAS SOPS 587628 HAS SOUS 416118 HAS SOUPS 416118 WITH SCORE 416705.628
AT ITER 1417 NEW BEST:: SOT 1953062 SOS 587388 HAS SOPS 587388 HAS SOUS 415878 HAS SOUPS 415878 WITH SCORE 416465.388
AT ITER 1443 NEW BEST:: SOT 1953062 SOS 587346 HAS SOPS 587346 HAS SOUS 415878 HAS SOUPS 415878 WITH SCORE 416465.346
AT ITER 1457 NEW BEST:: SOT 1952917 SOS 587357 HAS SOPS 587357 HAS SOUS 413481 HAS SOUPS 413481 WITH SCORE 414068.357
AT ITER 1467 NEW BEST:: SOT 1952221 SOS 589232 HAS SOPS 589232 HAS SOUS 413222 HAS SOUPS 413222 WITH SCORE 413811.232
AT ITER 1475 NEW BEST:: SOT 1952191 SOS 588840 HAS SOPS 588840 HAS SOUS 413160 HAS SOUPS 413160 WITH SCORE 413748.84
AT ITER 1481 NEW BEST:: SOT 1952172 SOS 588824 HAS SOPS 588824 HAS SOUS 413143 HAS SOUPS 413143 WITH SCORE 413731.824
AT ITER 1496 NEW BEST:: SOT 1952150 SOS 588802 HAS SOPS 588802 HAS SOUS 413121 HAS SOUPS 413121 WITH SCORE 413709.802
AT ITER 1507 NEW BEST:: SOT 1952189 SOS 588567 HAS SOPS 588567 HAS SOUS 413082 HAS SOUPS 413082 WITH SCORE 413670.567
AT ITER 1517 NEW BEST:: SOT 1952189 SOS 588567 HAS SOPS 588567 HAS SOUS 413079 HAS SOUPS 413079 WITH SCORE 413667.567
AT ITER 1519 NEW BEST:: SOT 1952066 SOS 588392 HAS SOPS 588392 HAS SOUS 413033 HAS SOUPS 413033 WITH SCORE 413621.392
AT ITER 1523 NEW BEST:: SOT 1952031 SOS 587298 HAS SOPS 587298 HAS SOUS 412958 HAS SOUPS 412958 WITH SCORE 413545.298
AT ITER 1524 NEW BEST:: SOT 1951832 SOS 587092 HAS SOPS 587092 HAS SOUS 412368 HAS SOUPS 412368 WITH SCORE 412955.092
AT ITER 1531 NEW BEST:: SOT 1951805 SOS 587040 HAS SOPS 587040 HAS SOUS 412307 HAS SOUPS 412307 WITH SCORE 412894.04
AT ITER 1535 NEW BEST:: SOT 1951805 SOS 587037 HAS SOPS 587037 HAS SOUS 412304 HAS SOUPS 412304 WITH SCORE 412891.037
AT ITER 1539 NEW BEST:: SOT 1951770 SOS 586967 HAS SOPS 586967 HAS SOUS 412234 HAS SOUPS 412234 WITH SCORE 412820.967
AT ITER 1557 NEW BEST:: SOT 1951769 SOS 586963 HAS SOPS 586963 HAS SOUS 412230 HAS SOUPS 412230 WITH SCORE 412816.963
AT ITER 1565 NEW BEST:: SOT 1951714 SOS 586864 HAS SOPS 586864 HAS SOUS 412131 HAS SOUPS 412131 WITH SCORE 412717.864
AT ITER 1568 NEW BEST:: SOT 1950886 SOS 586312 HAS SOPS 586312 HAS SOUS 411579 HAS SOUPS 411579 WITH SCORE 412165.312
AT ITER 1595 NEW BEST:: SOT 1950886 SOS 586285 HAS SOPS 586285 HAS SOUS 411552 HAS SOUPS 411552 WITH SCORE 412138.285
AT ITER 1596 NEW BEST:: SOT 1950867 SOS 586247 HAS SOPS 586247 HAS SOUS 411533 HAS SOUPS 411533 WITH SCORE 412119.247
AT ITER 1598 NEW BEST:: SOT 1950866 SOS 586246 HAS SOPS 586246 HAS SOUS 411531 HAS SOUPS 411531 WITH SCORE 412117.246
AT ITER 1603 NEW BEST:: SOT 1950665 SOS 586142 HAS SOPS 586142 HAS SOUS 411316 HAS SOUPS 411316 WITH SCORE 411902.142
AT ITER 1620 NEW BEST:: SOT 1950811 SOS 586434 HAS SOPS 586434 HAS SOUS 411191 HAS SOUPS 411191 WITH SCORE 411777.434
AT ITER 1622 NEW BEST:: SOT 1950633 SOS 586347 HAS SOPS 586347 HAS SOUS 411104 HAS SOUPS 411104 WITH SCORE 411690.347
AT ITER 1626 NEW BEST:: SOT 1950447 SOS 586222 HAS SOPS 586222 HAS SOUS 410918 HAS SOUPS 410918 WITH SCORE 411504.222
AT ITER 1635 NEW BEST:: SOT 1950446 SOS 586107 HAS SOPS 586107 HAS SOUS 410916 HAS SOUPS 410916 WITH SCORE 411502.107
AT ITER 1673 NEW BEST:: SOT 1950333 SOS 586485 HAS SOPS 586485 HAS SOUS 410657 HAS SOUPS 410657 WITH SCORE 411243.485
AT ITER 1677 NEW BEST:: SOT 1950290 SOS 586343 HAS SOPS 586343 HAS SOUS 410614 HAS SOUPS 410614 WITH SCORE 411200.343
AT ITER 1683 NEW BEST:: SOT 1950370 SOS 584382 HAS SOPS 584382 HAS SOUS 410562 HAS SOUPS 410562 WITH SCORE 411146.382
AT ITER 1711 NEW BEST:: SOT 1950220 SOS 584232 HAS SOPS 584232 HAS SOUS 410412 HAS SOUPS 410412 WITH SCORE 410996.232
AT ITER 1724 NEW BEST:: SOT 1950220 SOS 584228 HAS SOPS 584228 HAS SOUS 410408 HAS SOUPS 410408 WITH SCORE 410992.228
AT ITER 1729 NEW BEST:: SOT 1950220 SOS 584222 HAS SOPS 584222 HAS SOUS 410402 HAS SOUPS 410402 WITH SCORE 410986.222
AT ITER 1736 NEW BEST:: SOT 1950220 SOS 584184 HAS SOPS 584184 HAS SOUS 410364 HAS SOUPS 410364 WITH SCORE 410948.184
AT ITER 1738 NEW BEST:: SOT 1950090 SOS 584042 HAS SOPS 584042 HAS SOUS 410222 HAS SOUPS 410222 WITH SCORE 410806.042
AT ITER 1743 NEW BEST:: SOT 1949864 SOS 583679 HAS SOPS 583679 HAS SOUS 409999 HAS SOUPS 409999 WITH SCORE 410582.679
AT ITER 1764 NEW BEST:: SOT 1949860 SOS 583597 HAS SOPS 583597 HAS SOUS 409991 HAS SOUPS 409991 WITH SCORE 410574.597
AT ITER 1771 NEW BEST:: SOT 1949860 SOS 583516 HAS SOPS 583516 HAS SOUS 409910 HAS SOUPS 409910 WITH SCORE 410493.516
AT ITER 1773 NEW BEST:: SOT 1949840 SOS 583116 HAS SOPS 583116 HAS SOUS 409720 HAS SOUPS 409720 WITH SCORE 410303.116
AT ITER 1780 NEW BEST:: SOT 1949784 SOS 583060 HAS SOPS 583060 HAS SOUS 409664 HAS SOUPS 409664 WITH SCORE 410247.06
AT ITER 1794 NEW BEST:: SOT 1949806 SOS 582932 HAS SOPS 582932 HAS SOUS 409536 HAS SOUPS 409536 WITH SCORE 410118.932
AT ITER 1807 NEW BEST:: SOT 1949498 SOS 582901 HAS SOPS 582901 HAS SOUS 409363 HAS SOUPS 409363 WITH SCORE 409945.901
AT ITER 1815 NEW BEST:: SOT 1949261 SOS 582194 HAS SOPS 582194 HAS SOUS 409299 HAS SOUPS 409299 WITH SCORE 409881.194
AT ITER 1822 NEW BEST:: SOT 1949024 SOS 581986 HAS SOPS 581986 HAS SOUS 409091 HAS SOUPS 409091 WITH SCORE 409672.986
AT ITER 1841 NEW BEST:: SOT 1948934 SOS 581896 HAS SOPS 581896 HAS SOUS 409001 HAS SOUPS 409001 WITH SCORE 409582.896
AT ITER 1846 NEW BEST:: SOT 1948840 SOS 581802 HAS SOPS 581802 HAS SOUS 408907 HAS SOUPS 408907 WITH SCORE 409488.802
AT ITER 1847 NEW BEST:: SOT 1948840 SOS 581699 HAS SOPS 581699 HAS SOUS 408762 HAS SOUPS 408762 WITH SCORE 409343.699
AT ITER 1856 NEW BEST:: SOT 1948745 SOS 581695 HAS SOPS 581695 HAS SOUS 408692 HAS SOUPS 408692 WITH SCORE 409273.695
AT ITER 1865 NEW BEST:: SOT 1948586 SOS 581295 HAS SOPS 581295 HAS SOUS 408374 HAS SOUPS 408374 WITH SCORE 408955.295
AT ITER 1894 NEW BEST:: SOT 1948586 SOS 581114 HAS SOPS 581114 HAS SOUS 408374 HAS SOUPS 408374 WITH SCORE 408955.114
AT ITER 1912 NEW BEST:: SOT 1948586 SOS 581366 HAS SOPS 581366 HAS SOUS 408334 HAS SOUPS 408334 WITH SCORE 408915.366
AT ITER 1913 NEW BEST:: SOT 1948492 SOS 581141 HAS SOPS 581141 HAS SOUS 408109 HAS SOUPS 408109 WITH SCORE 408690.141
AT ITER 1921 NEW BEST:: SOT 1948323 SOS 580985 HAS SOPS 580985 HAS SOUS 407751 HAS SOUPS 407751 WITH SCORE 408331.985
AT ITER 1940 NEW BEST:: SOT 1948247 SOS 581081 HAS SOPS 581081 HAS SOUS 407723 HAS SOUPS 407723 WITH SCORE 408304.081
AT ITER 1947 NEW BEST:: SOT 1946903 SOS 580484 HAS SOPS 580484 HAS SOUS 406898 HAS SOUPS 406898 WITH SCORE 407478.484
AT ITER 1955 NEW BEST:: SOT 1946903 SOS 580480 HAS SOPS 580480 HAS SOUS 406894 HAS SOUPS 406894 WITH SCORE 407474.48
AT ITER 1982 NEW BEST:: SOT 1946903 SOS 580420 HAS SOPS 580420 HAS SOUS 406834 HAS SOUPS 406834 WITH SCORE 407414.42
AT ITER 1985 NEW BEST:: SOT 1946791 SOS 580308 HAS SOPS 580308 HAS SOUS 406386 HAS SOUPS 406386 WITH SCORE 406966.308
AT ITER 1991 NEW BEST:: SOT 1947685 SOS 581193 HAS SOPS 581193 HAS SOUS 405126 HAS SOUPS 405126 WITH SCORE 405707.193
AT ITER 2003 NEW BEST:: SOT 1947638 SOS 581146 HAS SOPS 581146 HAS SOUS 405079 HAS SOUPS 405079 WITH SCORE 405660.146
AT ITER 2017 NEW BEST:: SOT 1947482 SOS 581289 HAS SOPS 581289 HAS SOUS 405013 HAS SOUPS 405013 WITH SCORE 405594.289
AT ITER 2032 NEW BEST:: SOT 1947482 SOS 581264 HAS SOPS 581264 HAS SOUS 405013 HAS SOUPS 405013 WITH SCORE 405594.264
AT ITER 2044 NEW BEST:: SOT 1947469 SOS 581251 HAS SOPS 581251 HAS SOUS 405013 HAS SOUPS 405013 WITH SCORE 405594.251
AT ITER 2047 NEW BEST:: SOT 1947468 SOS 581249 HAS SOPS 581249 HAS SOUS 405011 HAS SOUPS 405011 WITH SCORE 405592.249
AT ITER 2064 NEW BEST:: SOT 1947468 SOS 581229 HAS SOPS 581229 HAS SOUS 404991 HAS SOUPS 404991 WITH SCORE 405572.229
AT ITER 2071 NEW BEST:: SOT 1947438 SOS 581207 HAS SOPS 581207 HAS SOUS 404855 HAS SOUPS 404855 WITH SCORE 405436.207
AT ITER 2073 NEW BEST:: SOT 1947344 SOS 581019 HAS SOPS 581019 HAS SOUS 404667 HAS SOUPS 404667 WITH SCORE 405248.019
AT ITER 2097 NEW BEST:: SOT 1947344 SOS 580958 HAS SOPS 580958 HAS SOUS 404606 HAS SOUPS 404606 WITH SCORE 405186.958
AT ITER 2099 NEW BEST:: SOT 1947181 SOS 579907 HAS SOPS 579907 HAS SOUS 402355 HAS SOUPS 402355 WITH SCORE 402934.907
AT ITER 2101 NEW BEST:: SOT 1946907 SOS 579054 HAS SOPS 579054 HAS SOUS 401807 HAS SOUPS 401807 WITH SCORE 402386.054
AT ITER 2105 NEW BEST:: SOT 1946871 SOS 578887 HAS SOPS 578887 HAS SOUS 401681 HAS SOUPS 401681 WITH SCORE 402259.887
AT ITER 2118 NEW BEST:: SOT 1946619 SOS 578231 HAS SOPS 578231 HAS SOUS 401566 HAS SOUPS 401566 WITH SCORE 402144.231
AT ITER 2122 NEW BEST:: SOT 1946630 SOS 578248 HAS SOPS 578248 HAS SOUS 401195 HAS SOUPS 401195 WITH SCORE 401773.248
AT ITER 2126 NEW BEST:: SOT 1946552 SOS 578113 HAS SOPS 578113 HAS SOUS 401120 HAS SOUPS 401120 WITH SCORE 401698.113
AT ITER 2143 NEW BEST:: SOT 1946551 SOS 578089 HAS SOPS 578089 HAS SOUS 401118 HAS SOUPS 401118 WITH SCORE 401696.089
AT ITER 2154 NEW BEST:: SOT 1946438 SOS 577592 HAS SOPS 577592 HAS SOUS 400888 HAS SOUPS 400888 WITH SCORE 401465.592
AT ITER 2155 NEW BEST:: SOT 1946437 SOS 577571 HAS SOPS 577571 HAS SOUS 400866 HAS SOUPS 400866 WITH SCORE 401443.571
AT ITER 2165 NEW BEST:: SOT 1946420 SOS 577560 HAS SOPS 577560 HAS SOUS 400855 HAS SOUPS 400855 WITH SCORE 401432.56
AT ITER 2170 NEW BEST:: SOT 1946402 SOS 577525 HAS SOPS 577525 HAS SOUS 400836 HAS SOUPS 400836 WITH SCORE 401413.525
AT ITER 2175 NEW BEST:: SOT 1946402 SOS 577228 HAS SOPS 577228 HAS SOUS 400539 HAS SOUPS 400539 WITH SCORE 401116.228
AT ITER 2208 NEW BEST:: SOT 1946402 SOS 577115 HAS SOPS 577115 HAS SOUS 400426 HAS SOUPS 400426 WITH SCORE 401003.115
AT ITER 2212 NEW BEST:: SOT 1946332 SOS 577089 HAS SOPS 577089 HAS SOUS 400413 HAS SOUPS 400413 WITH SCORE 400990.089
AT ITER 2220 NEW BEST:: SOT 1946296 SOS 577038 HAS SOPS 577038 HAS SOUS 400362 HAS SOUPS 400362 WITH SCORE 400939.038
AT ITER 2245 NEW BEST:: SOT 1946126 SOS 576868 HAS SOPS 576868 HAS SOUS 400192 HAS SOUPS 400192 WITH SCORE 400768.868
AT ITER 2249 NEW BEST:: SOT 1946081 SOS 576823 HAS SOPS 576823 HAS SOUS 400147 HAS SOUPS 400147 WITH SCORE 400723.823
AT ITER 2253 NEW BEST:: SOT 1946069 SOS 576871 HAS SOPS 576871 HAS SOUS 400140 HAS SOUPS 400140 WITH SCORE 400716.871
AT ITER 2261 NEW BEST:: SOT 1946083 SOS 576751 HAS SOPS 576751 HAS SOUS 400020 HAS SOUPS 400020 WITH SCORE 400596.751
AT ITER 2262 NEW BEST:: SOT 1946059 SOS 577031 HAS SOPS 577031 HAS SOUS 399964 HAS SOUPS 399964 WITH SCORE 400541.031
AT ITER 2263 NEW BEST:: SOT 1945820 SOS 576240 HAS SOPS 576240 HAS SOUS 399173 HAS SOUPS 399173 WITH SCORE 399749.24
AT ITER 2267 NEW BEST:: SOT 1945820 SOS 576007 HAS SOPS 576007 HAS SOUS 399173 HAS SOUPS 399173 WITH SCORE 399749.007
AT ITER 2274 NEW BEST:: SOT 1945792 SOS 575951 HAS SOPS 575951 HAS SOUS 399070 HAS SOUPS 399070 WITH SCORE 399645.951
AT ITER 2296 NEW BEST:: SOT 1945556 SOS 575479 HAS SOPS 575479 HAS SOUS 396946 HAS SOUPS 396946 WITH SCORE 397521.479
AT ITER 2299 NEW BEST:: SOT 1945508 SOS 575431 HAS SOPS 575431 HAS SOUS 396898 HAS SOUPS 396898 WITH SCORE 397473.431
AT ITER 2314 NEW BEST:: SOT 1945219 SOS 574263 HAS SOPS 574263 HAS SOUS 391205 HAS SOUPS 391205 WITH SCORE 391779.263
AT ITER 2332 NEW BEST:: SOT 1945149 SOS 574193 HAS SOPS 574193 HAS SOUS 391135 HAS SOUPS 391135 WITH SCORE 391709.193
AT ITER 2337 NEW BEST:: SOT 1945023 SOS 573945 HAS SOPS 573945 HAS SOUS 390883 HAS SOUPS 390883 WITH SCORE 391456.945
AT ITER 2353 NEW BEST:: SOT 1944924 SOS 573846 HAS SOPS 573846 HAS SOUS 390784 HAS SOUPS 390784 WITH SCORE 391357.846
AT ITER 2355 NEW BEST:: SOT 1944874 SOS 573796 HAS SOPS 573796 HAS SOUS 390782 HAS SOUPS 390782 WITH SCORE 391355.796
AT ITER 2383 NEW BEST:: SOT 1944129 SOS 573771 HAS SOPS 573771 HAS SOUS 390148 HAS SOUPS 390148 WITH SCORE 390721.771
AT ITER 2395 NEW BEST:: SOT 1944129 SOS 573030 HAS SOPS 573030 HAS SOUS 390148 HAS SOUPS 390148 WITH SCORE 390721.03
AT ITER 2396 NEW BEST:: SOT 1944129 SOS 573026 HAS SOPS 573026 HAS SOUS 390144 HAS SOUPS 390144 WITH SCORE 390717.026
AT ITER 2404 NEW BEST:: SOT 1944048 SOS 572899 HAS SOPS 572899 HAS SOUS 390112 HAS SOUPS 390112 WITH SCORE 390684.899
AT ITER 2418 NEW BEST:: SOT 1944006 SOS 572816 HAS SOPS 572816 HAS SOUS 390029 HAS SOUPS 390029 WITH SCORE 390601.816
AT ITER 2423 NEW BEST:: SOT 1944006 SOS 572972 HAS SOPS 572972 HAS SOUS 390016 HAS SOUPS 390016 WITH SCORE 390588.972
AT ITER 2429 NEW BEST:: SOT 1943762 SOS 572728 HAS SOPS 572728 HAS SOUS 389772 HAS SOUPS 389772 WITH SCORE 390344.728
AT ITER 2433 NEW BEST:: SOT 1943761 SOS 572683 HAS SOPS 572683 HAS SOUS 389727 HAS SOUPS 389727 WITH SCORE 390299.683
AT ITER 2434 NEW BEST:: SOT 1943496 SOS 572475 HAS SOPS 572475 HAS SOUS 389428 HAS SOUPS 389428 WITH SCORE 390000.475
AT ITER 2435 NEW BEST:: SOT 1943241 SOS 572257 HAS SOPS 572257 HAS SOUS 389205 HAS SOUPS 389205 WITH SCORE 389777.257
AT ITER 2437 NEW BEST:: SOT 1943245 SOS 572246 HAS SOPS 572246 HAS SOUS 389194 HAS SOUPS 389194 WITH SCORE 389766.246
AT ITER 2448 NEW BEST:: SOT 1943240 SOS 571986 HAS SOPS 571986 HAS SOUS 388934 HAS SOUPS 388934 WITH SCORE 389505.986
AT ITER 2459 NEW BEST:: SOT 1943240 SOS 571934 HAS SOPS 571934 HAS SOUS 388882 HAS SOUPS 388882 WITH SCORE 389453.934
AT ITER 2460 NEW BEST:: SOT 1943239 SOS 570145 HAS SOPS 570145 HAS SOUS 388738 HAS SOUPS 388738 WITH SCORE 389308.145
AT ITER 2464 NEW BEST:: SOT 1943090 SOS 569847 HAS SOPS 569847 HAS SOUS 388706 HAS SOUPS 388706 WITH SCORE 389275.847
AT ITER 2468 NEW BEST:: SOT 1943009 SOS 572455 HAS SOPS 572455 HAS SOUS 388507 HAS SOUPS 388507 WITH SCORE 389079.455
AT ITER 2477 NEW BEST:: SOT 1943009 SOS 572454 HAS SOPS 572454 HAS SOUS 388506 HAS SOUPS 388506 WITH SCORE 389078.454
AT ITER 2482 NEW BEST:: SOT 1942128 SOS 571925 HAS SOPS 571925 HAS SOUS 387634 HAS SOUPS 387634 WITH SCORE 388205.925
AT ITER 2516 NEW BEST:: SOT 1942091 SOS 571888 HAS SOPS 571888 HAS SOUS 387597 HAS SOUPS 387597 WITH SCORE 388168.888
AT ITER 2524 NEW BEST:: SOT 1942086 SOS 571878 HAS SOPS 571878 HAS SOUS 387587 HAS SOUPS 387587 WITH SCORE 388158.878
AT ITER 2531 NEW BEST:: SOT 1942140 SOS 571698 HAS SOPS 571698 HAS SOUS 387408 HAS SOUPS 387408 WITH SCORE 387979.698
AT ITER 2580 NEW BEST:: SOT 1942349 SOS 571682 HAS SOPS 571682 HAS SOUS 387392 HAS SOUPS 387392 WITH SCORE 387963.682
AT ITER 2581 NEW BEST:: SOT 1942339 SOS 571662 HAS SOPS 571662 HAS SOUS 387372 HAS SOUPS 387372 WITH SCORE 387943.662
AT ITER 2583 NEW BEST:: SOT 1942202 SOS 571209 HAS SOPS 571209 HAS SOUS 387235 HAS SOUPS 387235 WITH SCORE 387806.209
AT ITER 2588 NEW BEST:: SOT 1942165 SOS 571172 HAS SOPS 571172 HAS SOUS 387235 HAS SOUPS 387235 WITH SCORE 387806.172
AT ITER 2598 NEW BEST:: SOT 1942138 SOS 571139 HAS SOPS 571139 HAS SOUS 387202 HAS SOUPS 387202 WITH SCORE 387773.139
AT ITER 2602 NEW BEST:: SOT 1942138 SOS 571138 HAS SOPS 571138 HAS SOUS 387201 HAS SOUPS 387201 WITH SCORE 387772.138
AT ITER 2615 NEW BEST:: SOT 1941977 SOS 570808 HAS SOPS 570808 HAS SOUS 387035 HAS SOUPS 387035 WITH SCORE 387605.808
AT ITER 2623 NEW BEST:: SOT 1941977 SOS 570552 HAS SOPS 570552 HAS SOUS 387003 HAS SOUPS 387003 WITH SCORE 387573.552
AT ITER 2627 NEW BEST:: SOT 1941904 SOS 570508 HAS SOPS 570508 HAS SOUS 386959 HAS SOUPS 386959 WITH SCORE 387529.508
AT ITER 2630 NEW BEST:: SOT 1941781 SOS 570385 HAS SOPS 570385 HAS SOUS 386836 HAS SOUPS 386836 WITH SCORE 387406.385
AT ITER 2631 NEW BEST:: SOT 1941781 SOS 570385 HAS SOPS 570385 HAS SOUS 386820 HAS SOUPS 386820 WITH SCORE 387390.385
AT ITER 2633 NEW BEST:: SOT 1941602 SOS 570027 HAS SOPS 570027 HAS SOUS 386462 HAS SOUPS 386462 WITH SCORE 387032.027
AT ITER 2642 NEW BEST:: SOT 1940613 SOS 569082 HAS SOPS 569082 HAS SOUS 385517 HAS SOUPS 385517 WITH SCORE 386086.082
AT ITER 2658 NEW BEST:: SOT 1939903 SOS 568381 HAS SOPS 568381 HAS SOUS 385203 HAS SOUPS 385203 WITH SCORE 385771.381
AT ITER 2686 NEW BEST:: SOT 1939877 SOS 568374 HAS SOPS 568374 HAS SOUS 385196 HAS SOUPS 385196 WITH SCORE 385764.374
AT ITER 2711 NEW BEST:: SOT 1939818 SOS 568380 HAS SOPS 568380 HAS SOUS 385187 HAS SOUPS 385187 WITH SCORE 385755.38
AT ITER 2727 NEW BEST:: SOT 1939816 SOS 568289 HAS SOPS 568289 HAS SOUS 385100 HAS SOUPS 385100 WITH SCORE 385668.289
AT ITER 2730 NEW BEST:: SOT 1939816 SOS 568267 HAS SOPS 568267 HAS SOUS 385078 HAS SOUPS 385078 WITH SCORE 385646.267
AT ITER 2741 NEW BEST:: SOT 1939769 SOS 568216 HAS SOPS 568216 HAS SOUS 385027 HAS SOUPS 385027 WITH SCORE 385595.216
AT ITER 2748 NEW BEST:: SOT 1939533 SOS 568026 HAS SOPS 568026 HAS SOUS 384555 HAS SOUPS 384555 WITH SCORE 385123.026
AT ITER 2755 NEW BEST:: SOT 1939533 SOS 568004 HAS SOPS 568004 HAS SOUS 384533 HAS SOUPS 384533 WITH SCORE 385101.004
AT ITER 2772 NEW BEST:: SOT 1939625 SOS 567984 HAS SOPS 567984 HAS SOUS 384513 HAS SOUPS 384513 WITH SCORE 385080.984
AT ITER 2782 NEW BEST:: SOT 1939249 SOS 567608 HAS SOPS 567608 HAS SOUS 383765 HAS SOUPS 383765 WITH SCORE 384332.608
AT ITER 2787 NEW BEST:: SOT 1939055 SOS 567511 HAS SOPS 567511 HAS SOUS 383763 HAS SOUPS 383763 WITH SCORE 384330.511
AT ITER 2791 NEW BEST:: SOT 1939032 SOS 567341 HAS SOPS 567341 HAS SOUS 383740 HAS SOUPS 383740 WITH SCORE 384307.341
AT ITER 2793 NEW BEST:: SOT 1938929 SOS 567238 HAS SOPS 567238 HAS SOUS 383637 HAS SOUPS 383637 WITH SCORE 384204.238
AT ITER 2809 NEW BEST:: SOT 1938928 SOS 567178 HAS SOPS 567178 HAS SOUS 383634 HAS SOUPS 383634 WITH SCORE 384201.178
AT ITER 2819 NEW BEST:: SOT 1938928 SOS 567177 HAS SOPS 567177 HAS SOUS 383633 HAS SOUPS 383633 WITH SCORE 384200.177
AT ITER 2836 NEW BEST:: SOT 1938928 SOS 567155 HAS SOPS 567155 HAS SOUS 383611 HAS SOUPS 383611 WITH SCORE 384178.155
AT ITER 2838 NEW BEST:: SOT 1938928 SOS 567101 HAS SOPS 567101 HAS SOUS 383572 HAS SOUPS 383572 WITH SCORE 384139.101
AT ITER 2897 NEW BEST:: SOT 1938813 SOS 566762 HAS SOPS 566762 HAS SOUS 383273 HAS SOUPS 383273 WITH SCORE 383839.762
AT ITER 2900 NEW BEST:: SOT 1938514 SOS 565546 HAS SOPS 565546 HAS SOUS 382991 HAS SOUPS 382991 WITH SCORE 383556.546
AT ITER 2905 NEW BEST:: SOT 1938441 SOS 565542 HAS SOPS 565542 HAS SOUS 382987 HAS SOUPS 382987 WITH SCORE 383552.542
AT ITER 2911 NEW BEST:: SOT 1938242 SOS 565163 HAS SOPS 565163 HAS SOUS 382783 HAS SOUPS 382783 WITH SCORE 383348.163
AT ITER 2923 NEW BEST:: SOT 1938141 SOS 565128 HAS SOPS 565128 HAS SOUS 382682 HAS SOUPS 382682 WITH SCORE 383247.128
AT ITER 2932 NEW BEST:: SOT 1938141 SOS 565128 HAS SOPS 565128 HAS SOUS 382643 HAS SOUPS 382643 WITH SCORE 383208.128
AT ITER 2953 NEW BEST:: SOT 1938141 SOS 565030 HAS SOPS 565030 HAS SOUS 382541 HAS SOUPS 382541 WITH SCORE 383106.03
AT ITER 2963 NEW BEST:: SOT 1937335 SOS 564348 HAS SOPS 564348 HAS SOUS 381771 HAS SOUPS 381771 WITH SCORE 382335.348
AT ITER 2973 NEW BEST:: SOT 1937219 SOS 563304 HAS SOPS 563304 HAS SOUS 381423 HAS SOUPS 381423 WITH SCORE 381986.304
AT ITER 2976 NEW BEST:: SOT 1936898 SOS 562662 HAS SOPS 562662 HAS SOUS 380781 HAS SOUPS 380781 WITH SCORE 381343.662
AT ITER 2983 NEW BEST:: SOT 1936876 SOS 562618 HAS SOPS 562618 HAS SOUS 380737 HAS SOUPS 380737 WITH SCORE 381299.618
AT ITER 2997 NEW BEST:: SOT 1936914 SOS 562607 HAS SOPS 562607 HAS SOUS 380726 HAS SOUPS 380726 WITH SCORE 381288.607
AT ITER 3006 NEW BEST:: SOT 1936814 SOS 562389 HAS SOPS 562389 HAS SOUS 380466 HAS SOUPS 380466 WITH SCORE 381028.389
AT ITER 3021 NEW BEST:: SOT 1936814 SOS 562368 HAS SOPS 562368 HAS SOUS 380464 HAS SOUPS 380464 WITH SCORE 381026.368
AT ITER 3027 NEW BEST:: SOT 1936641 SOS 561892 HAS SOPS 561892 HAS SOUS 380118 HAS SOUPS 380118 WITH SCORE 380679.892
AT ITER 3040 NEW BEST:: SOT 1936341 SOS 561640 HAS SOPS 561640 HAS SOUS 379871 HAS SOUPS 379871 WITH SCORE 380432.64
AT ITER 3057 NEW BEST:: SOT 1936222 SOS 561402 HAS SOPS 561402 HAS SOUS 379821 HAS SOUPS 379821 WITH SCORE 380382.402
AT ITER 3062 NEW BEST:: SOT 1936180 SOS 561318 HAS SOPS 561318 HAS SOUS 379779 HAS SOUPS 379779 WITH SCORE 380340.318
AT ITER 3119 NEW BEST:: SOT 1936180 SOS 561365 HAS SOPS 561365 HAS SOUS 379660 HAS SOUPS 379660 WITH SCORE 380221.365
AT ITER 3130 NEW BEST:: SOT 1936168 SOS 561341 HAS SOPS 561341 HAS SOUS 379642 HAS SOUPS 379642 WITH SCORE 380203.341
AT ITER 3145 NEW BEST:: SOT 1935140 SOS 562349 HAS SOPS 562349 HAS SOUS 378884 HAS SOUPS 378884 WITH SCORE 379446.349
AT ITER 3148 NEW BEST:: SOT 1935119 SOS 562328 HAS SOPS 562328 HAS SOUS 378863 HAS SOUPS 378863 WITH SCORE 379425.328
AT ITER 3174 NEW BEST:: SOT 1934917 SOS 562099 HAS SOPS 562099 HAS SOUS 378634 HAS SOUPS 378634 WITH SCORE 379196.099
AT ITER 3198 NEW BEST:: SOT 1934869 SOS 562051 HAS SOPS 562051 HAS SOUS 378586 HAS SOUPS 378586 WITH SCORE 379148.051
AT ITER 3226 NEW BEST:: SOT 1934952 SOS 561795 HAS SOPS 561795 HAS SOUS 378374 HAS SOUPS 378374 WITH SCORE 378935.795
AT ITER 3233 NEW BEST:: SOT 1934996 SOS 561670 HAS SOPS 561670 HAS SOUS 378249 HAS SOUPS 378249 WITH SCORE 378810.67
AT ITER 3234 NEW BEST:: SOT 1934970 SOS 561624 HAS SOPS 561624 HAS SOUS 378203 HAS SOUPS 378203 WITH SCORE 378764.624
AT ITER 3268 NEW BEST:: SOT 1934969 SOS 561622 HAS SOPS 561622 HAS SOUS 378202 HAS SOUPS 378202 WITH SCORE 378763.622
AT ITER 3316 NEW BEST:: SOT 1934945 SOS 561574 HAS SOPS 561574 HAS SOUS 378178 HAS SOUPS 378178 WITH SCORE 378739.574
AT ITER 3319 NEW BEST:: SOT 1934943 SOS 561507 HAS SOPS 561507 HAS SOUS 378174 HAS SOUPS 378174 WITH SCORE 378735.507
AT ITER 3336 NEW BEST:: SOT 1934904 SOS 561433 HAS SOPS 561433 HAS SOUS 378100 HAS SOUPS 378100 WITH SCORE 378661.433
AT ITER 3397 NEW BEST:: SOT 1934904 SOS 561175 HAS SOPS 561175 HAS SOUS 378100 HAS SOUPS 378100 WITH SCORE 378661.175
AT ITER 3399 NEW BEST:: SOT 1934673 SOS 560258 HAS SOPS 560258 HAS SOUS 377693 HAS SOUPS 377693 WITH SCORE 378253.258
AT ITER 3441 NEW BEST:: SOT 1934679 SOS 559663 HAS SOPS 559663 HAS SOUS 377637 HAS SOUPS 377637 WITH SCORE 378196.663
AT ITER 3473 NEW BEST:: SOT 1934565 SOS 559549 HAS SOPS 559549 HAS SOUS 377637 HAS SOUPS 377637 WITH SCORE 378196.549
AT ITER 3492 NEW BEST:: SOT 1934514 SOS 559497 HAS SOPS 559497 HAS SOUS 377610 HAS SOUPS 377610 WITH SCORE 378169.497
AT ITER 3495 NEW BEST:: SOT 1934514 SOS 560116 HAS SOPS 560116 HAS SOUS 377577 HAS SOUPS 377577 WITH SCORE 378137.116
AT ITER 3496 NEW BEST:: SOT 1934326 SOS 560031 HAS SOPS 560031 HAS SOUS 377492 HAS SOUPS 377492 WITH SCORE 378052.031
AT ITER 3524 NEW BEST:: SOT 1934275 SOS 559933 HAS SOPS 559933 HAS SOUS 377294 HAS SOUPS 377294 WITH SCORE 377853.933
AT ITER 3526 NEW BEST:: SOT 1937963 SOS 562803 HAS SOPS 562803 HAS SOUS 375894 HAS SOUPS 375894 WITH SCORE 376456.803
AT ITER 3530 NEW BEST:: SOT 1937963 SOS 562586 HAS SOPS 562586 HAS SOUS 375894 HAS SOUPS 375894 WITH SCORE 376456.586
AT ITER 3537 NEW BEST:: SOT 1937935 SOS 562530 HAS SOPS 562530 HAS SOUS 375893 HAS SOUPS 375893 WITH SCORE 376455.53
AT ITER 3562 NEW BEST:: SOT 1937935 SOS 562530 HAS SOPS 562530 HAS SOUS 375854 HAS SOUPS 375854 WITH SCORE 376416.53
AT ITER 3572 NEW BEST:: SOT 1937709 SOS 562731 HAS SOPS 562731 HAS SOUS 375800 HAS SOUPS 375800 WITH SCORE 376362.731
AT ITER 3588 NEW BEST:: SOT 1937609 SOS 562515 HAS SOPS 562515 HAS SOUS 375600 HAS SOUPS 375600 WITH SCORE 376162.515
AT ITER 3598 NEW BEST:: SOT 1937605 SOS 562202 HAS SOPS 562202 HAS SOUS 375287 HAS SOUPS 375287 WITH SCORE 375849.202
AT ITER 3618 NEW BEST:: SOT 1937513 SOS 562018 HAS SOPS 562018 HAS SOUS 375103 HAS SOUPS 375103 WITH SCORE 375665.018
AT ITER 3629 NEW BEST:: SOT 1937510 SOS 562012 HAS SOPS 562012 HAS SOUS 375097 HAS SOUPS 375097 WITH SCORE 375659.012
AT ITER 3646 NEW BEST:: SOT 1937434 SOS 562037 HAS SOPS 562037 HAS SOUS 374842 HAS SOUPS 374842 WITH SCORE 375404.037
AT ITER 3647 NEW BEST:: SOT 1937433 SOS 562037 HAS SOPS 562037 HAS SOUS 374840 HAS SOUPS 374840 WITH SCORE 375402.037
AT ITER 3654 NEW BEST:: SOT 1937469 SOS 562172 HAS SOPS 562172 HAS SOUS 374828 HAS SOUPS 374828 WITH SCORE 375390.172
AT ITER 3658 NEW BEST:: SOT 1937358 SOS 562060 HAS SOPS 562060 HAS SOUS 374676 HAS SOUPS 374676 WITH SCORE 375238.06
AT ITER 3670 NEW BEST:: SOT 1938992 SOS 563907 HAS SOPS 563907 HAS SOUS 374395 HAS SOUPS 374395 WITH SCORE 374958.907
AT ITER 3671 NEW BEST:: SOT 1938967 SOS 563782 HAS SOPS 563782 HAS SOUS 374320 HAS SOUPS 374320 WITH SCORE 374883.782
AT ITER 3674 NEW BEST:: SOT 1938966 SOS 563780 HAS SOPS 563780 HAS SOUS 374318 HAS SOUPS 374318 WITH SCORE 374881.78
AT ITER 3716 NEW BEST:: SOT 1939035 SOS 563730 HAS SOPS 563730 HAS SOUS 374268 HAS SOUPS 374268 WITH SCORE 374831.73
AT ITER 3721 NEW BEST:: SOT 1938886 SOS 563594 HAS SOPS 563594 HAS SOUS 374132 HAS SOUPS 374132 WITH SCORE 374695.594
AT ITER 3724 NEW BEST:: SOT 1938866 SOS 563581 HAS SOPS 563581 HAS SOUS 374092 HAS SOUPS 374092 WITH SCORE 374655.581
AT ITER 3749 NEW BEST:: SOT 1939100 SOS 562638 HAS SOPS 562638 HAS SOUS 374053 HAS SOUPS 374053 WITH SCORE 374615.638
AT ITER 3769 NEW BEST:: SOT 1938858 SOS 562154 HAS SOPS 562154 HAS SOUS 373569 HAS SOUPS 373569 WITH SCORE 374131.154
AT ITER 3783 NEW BEST:: SOT 1938590 SOS 559654 HAS SOPS 559654 HAS SOUS 373241 HAS SOUPS 373241 WITH SCORE 373800.654
AT ITER 3801 NEW BEST:: SOT 1938590 SOS 559642 HAS SOPS 559642 HAS SOUS 373229 HAS SOUPS 373229 WITH SCORE 373788.642
AT ITER 3806 NEW BEST:: SOT 1938456 SOS 558972 HAS SOPS 558972 HAS SOUS 373028 HAS SOUPS 373028 WITH SCORE 373586.972
AT ITER 3810 NEW BEST:: SOT 1938077 SOS 558818 HAS SOPS 558818 HAS SOUS 372563 HAS SOUPS 372563 WITH SCORE 373121.818
AT ITER 3811 NEW BEST:: SOT 1937993 SOS 558622 HAS SOPS 558622 HAS SOUS 372367 HAS SOUPS 372367 WITH SCORE 372925.622
AT ITER 3843 NEW BEST:: SOT 1937915 SOS 558505 HAS SOPS 558505 HAS SOUS 372289 HAS SOUPS 372289 WITH SCORE 372847.505
AT ITER 3846 NEW BEST:: SOT 1937863 SOS 558089 HAS SOPS 558089 HAS SOUS 372237 HAS SOUPS 372237 WITH SCORE 372795.089
AT ITER 3847 NEW BEST:: SOT 1937689 SOS 556729 HAS SOPS 556729 HAS SOUS 372067 HAS SOUPS 372067 WITH SCORE 372623.729
AT ITER 3853 NEW BEST:: SOT 1937676 SOS 556702 HAS SOPS 556702 HAS SOUS 372040 HAS SOUPS 372040 WITH SCORE 372596.702
AT ITER 3872 NEW BEST:: SOT 1937597 SOS 556623 HAS SOPS 556623 HAS SOUS 371882 HAS SOUPS 371882 WITH SCORE 372438.623
AT ITER 3873 NEW BEST:: SOT 1937603 SOS 556445 HAS SOPS 556445 HAS SOUS 371836 HAS SOUPS 371836 WITH SCORE 372392.445
AT ITER 3881 NEW BEST:: SOT 1937595 SOS 556417 HAS SOPS 556417 HAS SOUS 371816 HAS SOUPS 371816 WITH SCORE 372372.417
AT ITER 3904 NEW BEST:: SOT 1937595 SOS 556362 HAS SOPS 556362 HAS SOUS 371815 HAS SOUPS 371815 WITH SCORE 372371.362
AT ITER 3914 NEW BEST:: SOT 1937598 SOS 556300 HAS SOPS 556300 HAS SOUS 371753 HAS SOUPS 371753 WITH SCORE 372309.3
AT ITER 3917 NEW BEST:: SOT 1937390 SOS 556092 HAS SOPS 556092 HAS SOUS 371128 HAS SOUPS 371128 WITH SCORE 371684.092
AT ITER 3922 NEW BEST:: SOT 1937288 SOS 556500 HAS SOPS 556500 HAS SOUS 371026 HAS SOUPS 371026 WITH SCORE 371582.5
AT ITER 3924 NEW BEST:: SOT 1937167 SOS 556258 HAS SOPS 556258 HAS SOUS 370784 HAS SOUPS 370784 WITH SCORE 371340.258
AT ITER 3954 NEW BEST:: SOT 1937167 SOS 556223 HAS SOPS 556223 HAS SOUS 370690 HAS SOUPS 370690 WITH SCORE 371246.223
AT ITER 3963 NEW BEST:: SOT 1937264 SOS 554847 HAS SOPS 554847 HAS SOUS 370608 HAS SOUPS 370608 WITH SCORE 371162.847
AT ITER 3977 NEW BEST:: SOT 1937302 SOS 554816 HAS SOPS 554816 HAS SOUS 370577 HAS SOUPS 370577 WITH SCORE 371131.816
AT ITER 3980 NEW BEST:: SOT 1937285 SOS 554782 HAS SOPS 554782 HAS SOUS 370543 HAS SOUPS 370543 WITH SCORE 371097.782
AT ITER 3986 NEW BEST:: SOT 1937269 SOS 554750 HAS SOPS 554750 HAS SOUS 370511 HAS SOUPS 370511 WITH SCORE 371065.75
AT ITER 3998 NEW BEST:: SOT 1937269 SOS 554780 HAS SOPS 554780 HAS SOUS 370301 HAS SOUPS 370301 WITH SCORE 370855.78
AT ITER 4005 NEW BEST:: SOT 1937146 SOS 554655 HAS SOPS 554655 HAS SOUS 370175 HAS SOUPS 370175 WITH SCORE 370729.655
AT ITER 4007 NEW BEST:: SOT 1937142 SOS 554647 HAS SOPS 554647 HAS SOUS 370167 HAS SOUPS 370167 WITH SCORE 370721.647
AT ITER 4030 NEW BEST:: SOT 1937043 SOS 554450 HAS SOPS 554450 HAS SOUS 370129 HAS SOUPS 370129 WITH SCORE 370683.45
AT ITER 4032 NEW BEST:: SOT 1937004 SOS 554409 HAS SOPS 554409 HAS SOUS 370089 HAS SOUPS 370089 WITH SCORE 370643.409
AT ITER 4033 NEW BEST:: SOT 1936808 SOS 554030 HAS SOPS 554030 HAS SOUS 369728 HAS SOUPS 369728 WITH SCORE 370282.03
AT ITER 4039 NEW BEST:: SOT 1936712 SOS 553318 HAS SOPS 553318 HAS SOUS 369478 HAS SOUPS 369478 WITH SCORE 370031.318
AT ITER 4041 NEW BEST:: SOT 1936712 SOS 553259 HAS SOPS 553259 HAS SOUS 369478 HAS SOUPS 369478 WITH SCORE 370031.259
AT ITER 4049 NEW BEST:: SOT 1935179 SOS 558543 HAS SOPS 558543 HAS SOUS 369040 HAS SOUPS 369040 WITH SCORE 369598.543
AT ITER 4055 NEW BEST:: SOT 1934888 SOS 558252 HAS SOPS 558252 HAS SOUS 368749 HAS SOUPS 368749 WITH SCORE 369307.252
AT ITER 4076 NEW BEST:: SOT 1934733 SOS 558156 HAS SOPS 558156 HAS SOUS 368439 HAS SOUPS 368439 WITH SCORE 368997.156
AT ITER 4078 NEW BEST:: SOT 1934748 SOS 558195 HAS SOPS 558195 HAS SOUS 368373 HAS SOUPS 368373 WITH SCORE 368931.195
AT ITER 4081 NEW BEST:: SOT 1934816 SOS 558038 HAS SOPS 558038 HAS SOUS 368216 HAS SOUPS 368216 WITH SCORE 368774.038
AT ITER 4113 NEW BEST:: SOT 1934801 SOS 558008 HAS SOPS 558008 HAS SOUS 368186 HAS SOUPS 368186 WITH SCORE 368744.008
AT ITER 4118 NEW BEST:: SOT 1934699 SOS 558008 HAS SOPS 558008 HAS SOUS 368084 HAS SOUPS 368084 WITH SCORE 368642.008
AT ITER 4122 NEW BEST:: SOT 1934699 SOS 557272 HAS SOPS 557272 HAS SOUS 367992 HAS SOUPS 367992 WITH SCORE 368549.272
AT ITER 4127 NEW BEST:: SOT 1934437 SOS 557010 HAS SOPS 557010 HAS SOUS 367730 HAS SOUPS 367730 WITH SCORE 368287.01
AT ITER 4130 NEW BEST:: SOT 1934437 SOS 557030 HAS SOPS 557030 HAS SOUS 367727 HAS SOUPS 367727 WITH SCORE 368284.03
AT ITER 4148 NEW BEST:: SOT 1934234 SOS 556624 HAS SOPS 556624 HAS SOUS 367680 HAS SOUPS 367680 WITH SCORE 368236.624
AT ITER 4153 NEW BEST:: SOT 1933964 SOS 553302 HAS SOPS 553302 HAS SOUS 367165 HAS SOUPS 367165 WITH SCORE 367718.302
AT ITER 4158 NEW BEST:: SOT 1933781 SOS 553119 HAS SOPS 553119 HAS SOUS 366982 HAS SOUPS 366982 WITH SCORE 367535.119
AT ITER 4205 NEW BEST:: SOT 1933660 SOS 552878 HAS SOPS 552878 HAS SOUS 366858 HAS SOUPS 366858 WITH SCORE 367410.878
AT ITER 4242 NEW BEST:: SOT 1933636 SOS 552733 HAS SOPS 552733 HAS SOUS 366737 HAS SOUPS 366737 WITH SCORE 367289.733
AT ITER 4259 NEW BEST:: SOT 1936351 SOS 555550 HAS SOPS 555550 HAS SOUS 366580 HAS SOUPS 366580 WITH SCORE 367135.55
AT ITER 4282 NEW BEST:: SOT 1936259 SOS 555438 HAS SOPS 555438 HAS SOUS 366560 HAS SOUPS 366560 WITH SCORE 367115.438
AT ITER 4308 NEW BEST:: SOT 1936128 SOS 555476 HAS SOPS 555476 HAS SOUS 366429 HAS SOUPS 366429 WITH SCORE 366984.476
AT ITER 4311 NEW BEST:: SOT 1936059 SOS 555266 HAS SOPS 555266 HAS SOUS 366282 HAS SOUPS 366282 WITH SCORE 366837.266
AT ITER 4347 NEW BEST:: SOT 1935960 SOS 555188 HAS SOPS 555188 HAS SOUS 365923 HAS SOUPS 365923 WITH SCORE 366478.188
AT ITER 4353 NEW BEST:: SOT 1935959 SOS 555185 HAS SOPS 555185 HAS SOUS 365921 HAS SOUPS 365921 WITH SCORE 366476.185
AT ITER 4355 NEW BEST:: SOT 1935935 SOS 555499 HAS SOPS 555499 HAS SOUS 365892 HAS SOUPS 365892 WITH SCORE 366447.499
AT ITER 4378 NEW BEST:: SOT 1935815 SOS 555379 HAS SOPS 555379 HAS SOUS 365768 HAS SOUPS 365768 WITH SCORE 366323.379
AT ITER 4397 NEW BEST:: SOT 1935770 SOS 555976 HAS SOPS 555976 HAS SOUS 365686 HAS SOUPS 365686 WITH SCORE 366241.976
AT ITER 4418 NEW BEST:: SOT 1936025 SOS 557353 HAS SOPS 557353 HAS SOUS 365581 HAS SOUPS 365581 WITH SCORE 366138.353
AT ITER 4461 NEW BEST:: SOT 1936024 SOS 557228 HAS SOPS 557228 HAS SOUS 365456 HAS SOUPS 365456 WITH SCORE 366013.228
AT ITER 4462 NEW BEST:: SOT 1936004 SOS 557208 HAS SOPS 557208 HAS SOUS 365436 HAS SOUPS 365436 WITH SCORE 365993.208
AT ITER 4512 NEW BEST:: SOT 1935961 SOS 559139 HAS SOPS 559139 HAS SOUS 365350 HAS SOUPS 365350 WITH SCORE 365909.139
AT ITER 4520 NEW BEST:: SOT 1935848 SOS 558289 HAS SOPS 558289 HAS SOUS 365249 HAS SOUPS 365249 WITH SCORE 365807.289
AT ITER 4552 NEW BEST:: SOT 1935940 SOS 558105 HAS SOPS 558105 HAS SOUS 365247 HAS SOUPS 365247 WITH SCORE 365805.105
AT ITER 4579 NEW BEST:: SOT 1935940 SOS 558255 HAS SOPS 558255 HAS SOUS 365197 HAS SOUPS 365197 WITH SCORE 365755.255
AT ITER 4582 NEW BEST:: SOT 1935980 SOS 558107 HAS SOPS 558107 HAS SOUS 364982 HAS SOUPS 364982 WITH SCORE 365540.107
AT ITER 4583 NEW BEST:: SOT 1935971 SOS 558072 HAS SOPS 558072 HAS SOUS 364964 HAS SOUPS 364964 WITH SCORE 365522.072
AT ITER 4591 NEW BEST:: SOT 1935971 SOS 558069 HAS SOPS 558069 HAS SOUS 364964 HAS SOUPS 364964 WITH SCORE 365522.069
AT ITER 4622 NEW BEST:: SOT 1935049 SOS 557043 HAS SOPS 557043 HAS SOUS 364862 HAS SOUPS 364862 WITH SCORE 365419.043
AT ITER 4635 NEW BEST:: SOT 1934907 SOS 556798 HAS SOPS 556798 HAS SOUS 364660 HAS SOUPS 364660 WITH SCORE 365216.798
AT ITER 4662 NEW BEST:: SOT 1934896 SOS 556772 HAS SOPS 556772 HAS SOUS 364634 HAS SOUPS 364634 WITH SCORE 365190.772
AT ITER 4668 NEW BEST:: SOT 1933825 SOS 555428 HAS SOPS 555428 HAS SOUS 363563 HAS SOUPS 363563 WITH SCORE 364118.428
AT ITER 4680 NEW BEST:: SOT 1933783 SOS 555239 HAS SOPS 555239 HAS SOUS 363479 HAS SOUPS 363479 WITH SCORE 364034.239
AT ITER 4715 NEW BEST:: SOT 1933562 SOS 555096 HAS SOPS 555096 HAS SOUS 363479 HAS SOUPS 363479 WITH SCORE 364034.096
AT ITER 4721 NEW BEST:: SOT 1933562 SOS 555069 HAS SOPS 555069 HAS SOUS 363452 HAS SOUPS 363452 WITH SCORE 364007.069
AT ITER 4733 NEW BEST:: SOT 1933459 SOS 554864 HAS SOPS 554864 HAS SOUS 363246 HAS SOUPS 363246 WITH SCORE 363800.864
AT ITER 4758 NEW BEST:: SOT 1933257 SOS 554480 HAS SOPS 554480 HAS SOUS 362862 HAS SOUPS 362862 WITH SCORE 363416.48
AT ITER 4760 NEW BEST:: SOT 1933100 SOS 554281 HAS SOPS 554281 HAS SOUS 362820 HAS SOUPS 362820 WITH SCORE 363374.281
AT ITER 4769 NEW BEST:: SOT 1932957 SOS 553826 HAS SOPS 553826 HAS SOUS 362685 HAS SOUPS 362685 WITH SCORE 363238.826
AT ITER 4773 NEW BEST:: SOT 1932957 SOS 553979 HAS SOPS 553979 HAS SOUS 362628 HAS SOUPS 362628 WITH SCORE 363181.979
AT ITER 4787 NEW BEST:: SOT 1932649 SOS 557156 HAS SOPS 557156 HAS SOUS 362607 HAS SOUPS 362607 WITH SCORE 363164.156
AT ITER 4788 NEW BEST:: SOT 1932527 SOS 557145 HAS SOPS 557145 HAS SOUS 362535 HAS SOUPS 362535 WITH SCORE 363092.145
AT ITER 4812 NEW BEST:: SOT 1932502 SOS 556962 HAS SOPS 556962 HAS SOUS 362515 HAS SOUPS 362515 WITH SCORE 363071.962
AT ITER 4821 NEW BEST:: SOT 1932451 SOS 555432 HAS SOPS 555432 HAS SOUS 362294 HAS SOUPS 362294 WITH SCORE 362849.432
AT ITER 4826 NEW BEST:: SOT 1932380 SOS 555289 HAS SOPS 555289 HAS SOUS 362204 HAS SOUPS 362204 WITH SCORE 362759.289
AT ITER 4827 NEW BEST:: SOT 1932376 SOS 555285 HAS SOPS 555285 HAS SOUS 362204 HAS SOUPS 362204 WITH SCORE 362759.285
AT ITER 4829 NEW BEST:: SOT 1932362 SOS 555272 HAS SOPS 555272 HAS SOUS 362191 HAS SOUPS 362191 WITH SCORE 362746.272
AT ITER 4840 NEW BEST:: SOT 1932207 SOS 555271 HAS SOPS 555271 HAS SOUS 362190 HAS SOUPS 362190 WITH SCORE 362745.271
AT ITER 4847 NEW BEST:: SOT 1932207 SOS 555270 HAS SOPS 555270 HAS SOUS 362189 HAS SOUPS 362189 WITH SCORE 362744.27
AT ITER 4861 NEW BEST:: SOT 1932154 SOS 555216 HAS SOPS 555216 HAS SOUS 362135 HAS SOUPS 362135 WITH SCORE 362690.216
AT ITER 4870 NEW BEST:: SOT 1931978 SOS 556830 HAS SOPS 556830 HAS SOUS 359775 HAS SOUPS 359775 WITH SCORE 360331.83
AT ITER 4912 NEW BEST:: SOT 1931867 SOS 556622 HAS SOPS 556622 HAS SOUS 359649 HAS SOUPS 359649 WITH SCORE 360205.622
AT ITER 4928 NEW BEST:: SOT 1931554 SOS 557030 HAS SOPS 557030 HAS SOUS 359628 HAS SOUPS 359628 WITH SCORE 360185.03
AT ITER 4952 NEW BEST:: SOT 1931554 SOS 560889 HAS SOPS 560889 HAS SOUS 359531 HAS SOUPS 359531 WITH SCORE 360091.889
AT ITER 4957 NEW BEST:: SOT 1931476 SOS 560733 HAS SOPS 560733 HAS SOUS 359375 HAS SOUPS 359375 WITH SCORE 359935.733
AT ITER 4960 NEW BEST:: SOT 1931438 SOS 560657 HAS SOPS 560657 HAS SOUS 359299 HAS SOUPS 359299 WITH SCORE 359859.657
AT ITER 4966 NEW BEST:: SOT 1931424 SOS 560657 HAS SOPS 560657 HAS SOUS 359285 HAS SOUPS 359285 WITH SCORE 359845.657
AT ITER 4988 NEW BEST:: SOT 1931421 SOS 560654 HAS SOPS 560654 HAS SOUS 359282 HAS SOUPS 359282 WITH SCORE 359842.654
AT ITER 4990 NEW BEST:: SOT 1931301 SOS 560414 HAS SOPS 560414 HAS SOUS 359042 HAS SOUPS 359042 WITH SCORE 359602.414
Bounds file is: CTLFireability.xml
PROPERTY: ASLink-PT-03b-CTLFireability-00 (EF( (AU( ( ((potential((tk(P893)>=1) & (tk(P1320)>=1)))) | ((potential((tk(P811)>=1)))) ) , ((potential((tk(P1180)>=1)))) ))))
PROPERTY: ASLink-PT-03b-CTLFireability-01 (EF( (EU( (! ((potential((tk(P429)>=1))))) , ((potential((tk(P146)>=1)))) ))))
PROPERTY: ASLink-PT-03b-CTLFireability-02 (AF( ( (AG( (! ((potential((tk(P1371)>=1))))))) & (AU( ((potential((tk(P157)>=1) & (tk(P412)>=1)))) , ((potential((tk(P994)>=1)))) )) )))
PROPERTY: ASLink-PT-03b-CTLFireability-03 ( (AF( (EX( ( ((potential((tk(P1330)>=1) & (tk(P1464)>=1)))) & ((potential((tk(P499)>=1) & (tk(P957)>=1)))) ))))) | ( ( ( (! ( ((potential((tk(P96)>=1) & (tk(P568)>=1)))) | ((potential((tk(P689)>=1) & (tk(P821)>=1)))) )) & (AG( ((potential((tk(P44)>=1)))))) ) | (AG( ( ((potential((tk(P1434)>=1)))) | ((potential((tk(P1271)>=1) & (tk(P1629)>=1)))) ))) ) | (EG( (! (! ((potential((tk(P897)>=1) & (tk(P1323)>=1)))))))) ) )
PROPERTY: ASLink-PT-03b-CTLFireability-04 ( (EG( (EF( (! ((potential((tk(P889)>=1) & (tk(P1311)>=1))))))))) | ( ((potential((tk(P309)>=1)))) | (EU( (! ((potential((tk(P406)>=1) & (tk(P456)>=1))))) , ( ((potential((tk(P1186)>=1)))) & ((potential((tk(P1128)>=1)))) ) )) ) )
PROPERTY: ASLink-PT-03b-CTLFireability-05 (AF( (AU( ( ((potential((tk(P16)>=1) & (tk(P179)>=1)))) | ((potential((tk(P43)>=1) & (tk(P172)>=1)))) ) , ((potential((tk(P547)>=1)))) ))))
PROPERTY: ASLink-PT-03b-CTLFireability-06 (EF( ((potential((tk(P486)>=1))))))
PROPERTY: ASLink-PT-03b-CTLFireability-07 (AF( (AX( ((potential((tk(P1247)>=1))))))))
PROPERTY: ASLink-PT-03b-CTLFireability-08 ( (AF( (AU( ((potential((tk(P903)>=1)))) , ((potential((tk(P733)>=1)))) )))) & (! (AU( (! ((potential((tk(P124)>=1) & (tk(P571)>=1))))) , ( ((potential((tk(P1172)>=1)))) & ((potential((tk(P990)>=1)))) ) ))) )
PROPERTY: ASLink-PT-03b-CTLFireability-09 ( (! ( (AF( ( ((potential((tk(P890)>=1) & (tk(P1303)>=1)))) | ((potential((tk(P19)>=1) & (tk(P169)>=1)))) ))) | ((potential((tk(P1337)>=1) & (tk(P1518)>=1)))) )) | ((potential((tk(P1418)>=1)))) )
PROPERTY: ASLink-PT-03b-CTLFireability-10 (EF( ((potential((tk(P927)>=1))))))
PROPERTY: ASLink-PT-03b-CTLFireability-11 ( (AU( (EF( ((potential((tk(P52)>=1) & (tk(P70)>=1)))))) , (AG( ((potential((tk(P1013)>=1)))))) )) | ((potential((tk(P36)>=1) & (tk(P167)>=1)))) )
PROPERTY: ASLink-PT-03b-CTLFireability-12 ( (EG( ( ( (! ((potential((tk(P813)>=1) & (tk(P859)>=1))))) & (! ((potential((tk(P1175)>=1))))) ) | ( ((potential((tk(P488)>=1) & (tk(P640)>=1)))) | ( ((potential((tk(P303)>=1)))) & ((potential((tk(P1463)>=1)))) ) ) ))) | ((potential((tk(P890)>=1) & (tk(P1273)>=1)))) )
PROPERTY: ASLink-PT-03b-CTLFireability-13 ( ( (EX( (AF( ((potential((tk(P1118)>=1)))))))) | (EX( (! (! ((potential((tk(P906)>=1) & (tk(P1300)>=1)))))))) ) | (! ( (! (AG( ((potential((tk(P40)>=1) & (tk(P170)>=1))))))) | (! ((potential((tk(P348)>=1))))) )) )
PROPERTY: ASLink-PT-03b-CTLFireability-14 (EF( (EU( ((potential((tk(P499)>=1) & (tk(P963)>=1)))) , ( ((potential((tk(P1078)>=1)))) | ((potential((tk(P1324)>=1) & (tk(P1552)>=1)))) ) ))))
PROPERTY: ASLink-PT-03b-CTLFireability-15 (! ( ( (AX( (! ((potential((tk(P1438)>=1))))))) | ( ( ( ((potential((tk(P770)>=1)))) | ((potential((tk(P346)>=1)))) ) | ( ((potential((tk(P545)>=1) & (tk(P821)>=1)))) & ((potential((tk(P1025)>=1) & (tk(P1018)>=1)))) ) ) | ((potential((tk(P499)>=1) & (tk(P954)>=1)))) ) ) & (! (! (AF( ((potential((tk(P1548)>=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-03b"
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-03b, 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-158897508000052"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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