fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r003-smll-158897508000051
Last Updated
Jun 28, 2020

About the Execution of smart for ASLink-PT-03b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15766.790 3600000.00 3600040.00 0.00 [undef] Time out reached

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

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

=== Now, execution of the tool begins

BK_START 1589008155861

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

GOT IT HERE. BS
Petri model created: 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 8 NEW BEST:: SOT 1980030 SOS 601623 HAS SOPS 601623 HAS SOUS 472263 HAS SOUPS 472263 WITH SCORE 472864.623
AT ITER 13 NEW BEST:: SOT 1979836 SOS 601233 HAS SOPS 601233 HAS SOUS 471873 HAS SOUPS 471873 WITH SCORE 472474.233
AT ITER 14 NEW BEST:: SOT 1979673 SOS 601070 HAS SOPS 601070 HAS SOUS 471710 HAS SOUPS 471710 WITH SCORE 472311.07
AT ITER 16 NEW BEST:: SOT 1979672 SOS 601173 HAS SOPS 601173 HAS SOUS 471673 HAS SOUPS 471673 WITH SCORE 472274.173
AT ITER 17 NEW BEST:: SOT 1979661 SOS 601151 HAS SOPS 601151 HAS SOUS 471660 HAS SOUPS 471660 WITH SCORE 472261.151
AT ITER 21 NEW BEST:: SOT 1979570 SOS 600787 HAS SOPS 600787 HAS SOUS 471475 HAS SOUPS 471475 WITH SCORE 472075.787
AT ITER 27 NEW BEST:: SOT 1979456 SOS 600559 HAS SOPS 600559 HAS SOUS 471361 HAS SOUPS 471361 WITH SCORE 471961.559
AT ITER 32 NEW BEST:: SOT 1978123 SOS 599321 HAS SOPS 599321 HAS SOUS 470123 HAS SOUPS 470123 WITH SCORE 470722.321
AT ITER 36 NEW BEST:: SOT 1978051 SOS 597717 HAS SOPS 597717 HAS SOUS 469915 HAS SOUPS 469915 WITH SCORE 470512.717
AT ITER 39 NEW BEST:: SOT 1977421 SOS 596997 HAS SOPS 596997 HAS SOUS 469825 HAS SOUPS 469825 WITH SCORE 470421.997
AT ITER 74 NEW BEST:: SOT 1977412 SOS 596984 HAS SOPS 596984 HAS SOUS 469812 HAS SOUPS 469812 WITH SCORE 470408.984
AT ITER 80 NEW BEST:: SOT 1977411 SOS 596982 HAS SOPS 596982 HAS SOUS 469810 HAS SOUPS 469810 WITH SCORE 470406.982
AT ITER 96 NEW BEST:: SOT 1977268 SOS 596696 HAS SOPS 596696 HAS SOUS 469666 HAS SOUPS 469666 WITH SCORE 470262.696
AT ITER 101 NEW BEST:: SOT 1977154 SOS 596577 HAS SOPS 596577 HAS SOUS 469547 HAS SOUPS 469547 WITH SCORE 470143.577
AT ITER 104 NEW BEST:: SOT 1976905 SOS 597379 HAS SOPS 597379 HAS SOUS 469542 HAS SOUPS 469542 WITH SCORE 470139.379
AT ITER 116 NEW BEST:: SOT 1976904 SOS 597295 HAS SOPS 597295 HAS SOUS 469538 HAS SOUPS 469538 WITH SCORE 470135.295
AT ITER 124 NEW BEST:: SOT 1976904 SOS 597295 HAS SOPS 597295 HAS SOUS 469535 HAS SOUPS 469535 WITH SCORE 470132.295
AT ITER 128 NEW BEST:: SOT 1976903 SOS 597280 HAS SOPS 597280 HAS SOUS 469520 HAS SOUPS 469520 WITH SCORE 470117.28
AT ITER 130 NEW BEST:: SOT 1976903 SOS 597233 HAS SOPS 597233 HAS SOUS 469473 HAS SOUPS 469473 WITH SCORE 470070.233
AT ITER 137 NEW BEST:: SOT 1976332 SOS 597609 HAS SOPS 597609 HAS SOUS 468864 HAS SOUPS 468864 WITH SCORE 469461.609
AT ITER 148 NEW BEST:: SOT 1976332 SOS 597609 HAS SOPS 597609 HAS SOUS 468863 HAS SOUPS 468863 WITH SCORE 469460.609
AT ITER 157 NEW BEST:: SOT 1976332 SOS 597411 HAS SOPS 597411 HAS SOUS 468771 HAS SOUPS 468771 WITH SCORE 469368.411
AT ITER 181 NEW BEST:: SOT 1976332 SOS 597203 HAS SOPS 597203 HAS SOUS 468771 HAS SOUPS 468771 WITH SCORE 469368.203
AT ITER 203 NEW BEST:: SOT 1976251 SOS 597148 HAS SOPS 597148 HAS SOUS 468716 HAS SOUPS 468716 WITH SCORE 469313.148
AT ITER 208 NEW BEST:: SOT 1975969 SOS 596780 HAS SOPS 596780 HAS SOUS 468417 HAS SOUPS 468417 WITH SCORE 469013.78
AT ITER 220 NEW BEST:: SOT 1975918 SOS 596532 HAS SOPS 596532 HAS SOUS 468169 HAS SOUPS 468169 WITH SCORE 468765.532
AT ITER 237 NEW BEST:: SOT 1975825 SOS 596346 HAS SOPS 596346 HAS SOUS 467796 HAS SOUPS 467796 WITH SCORE 468392.346
AT ITER 249 NEW BEST:: SOT 1975263 SOS 595783 HAS SOPS 595783 HAS SOUS 467233 HAS SOUPS 467233 WITH SCORE 467828.783
AT ITER 306 NEW BEST:: SOT 1975021 SOS 593896 HAS SOPS 593896 HAS SOUS 466838 HAS SOUPS 466838 WITH SCORE 467431.896
AT ITER 308 NEW BEST:: SOT 1974800 SOS 593620 HAS SOPS 593620 HAS SOUS 466534 HAS SOUPS 466534 WITH SCORE 467127.62
AT ITER 315 NEW BEST:: SOT 1974450 SOS 593264 HAS SOPS 593264 HAS SOUS 466187 HAS SOUPS 466187 WITH SCORE 466780.264
AT ITER 321 NEW BEST:: SOT 1973474 SOS 592484 HAS SOPS 592484 HAS SOUS 465352 HAS SOUPS 465352 WITH SCORE 465944.484
AT ITER 326 NEW BEST:: SOT 1973243 SOS 592240 HAS SOPS 592240 HAS SOUS 464933 HAS SOUPS 464933 WITH SCORE 465525.24
AT ITER 360 NEW BEST:: SOT 1973347 SOS 592319 HAS SOPS 592319 HAS SOUS 464909 HAS SOUPS 464909 WITH SCORE 465501.319
AT ITER 378 NEW BEST:: SOT 1973275 SOS 592247 HAS SOPS 592247 HAS SOUS 464837 HAS SOUPS 464837 WITH SCORE 465429.247
AT ITER 394 NEW BEST:: SOT 1973351 SOS 592305 HAS SOPS 592305 HAS SOUS 464802 HAS SOUPS 464802 WITH SCORE 465394.305
AT ITER 402 NEW BEST:: SOT 1973344 SOS 592272 HAS SOPS 592272 HAS SOUS 464769 HAS SOUPS 464769 WITH SCORE 465361.272
AT ITER 404 NEW BEST:: SOT 1973344 SOS 592104 HAS SOPS 592104 HAS SOUS 464601 HAS SOUPS 464601 WITH SCORE 465193.104
AT ITER 405 NEW BEST:: SOT 1973222 SOS 590915 HAS SOPS 590915 HAS SOUS 464357 HAS SOUPS 464357 WITH SCORE 464947.915
AT ITER 409 NEW BEST:: SOT 1970354 SOS 606064 HAS SOPS 606064 HAS SOUS 463167 HAS SOUPS 463167 WITH SCORE 463773.064
AT ITER 413 NEW BEST:: SOT 1970150 SOS 605565 HAS SOPS 605565 HAS SOUS 462974 HAS SOUPS 462974 WITH SCORE 463579.565
AT ITER 415 NEW BEST:: SOT 1969968 SOS 605190 HAS SOPS 605190 HAS SOUS 462610 HAS SOUPS 462610 WITH SCORE 463215.19
AT ITER 420 NEW BEST:: SOT 1969968 SOS 605180 HAS SOPS 605180 HAS SOUS 462610 HAS SOUPS 462610 WITH SCORE 463215.18
AT ITER 429 NEW BEST:: SOT 1969429 SOS 604641 HAS SOPS 604641 HAS SOUS 462071 HAS SOUPS 462071 WITH SCORE 462675.641
AT ITER 433 NEW BEST:: SOT 1969311 SOS 604776 HAS SOPS 604776 HAS SOUS 461770 HAS SOUPS 461770 WITH SCORE 462374.776
AT ITER 436 NEW BEST:: SOT 1969268 SOS 604678 HAS SOPS 604678 HAS SOUS 461672 HAS SOUPS 461672 WITH SCORE 462276.678
AT ITER 439 NEW BEST:: SOT 1969127 SOS 604537 HAS SOPS 604537 HAS SOUS 461531 HAS SOUPS 461531 WITH SCORE 462135.537
AT ITER 458 NEW BEST:: SOT 1968899 SOS 603181 HAS SOPS 603181 HAS SOUS 460859 HAS SOUPS 460859 WITH SCORE 461462.181
AT ITER 465 NEW BEST:: SOT 1968899 SOS 603150 HAS SOPS 603150 HAS SOUS 460859 HAS SOUPS 460859 WITH SCORE 461462.15
AT ITER 473 NEW BEST:: SOT 1968899 SOS 602990 HAS SOPS 602990 HAS SOUS 460839 HAS SOUPS 460839 WITH SCORE 461441.99
AT ITER 475 NEW BEST:: SOT 1966835 SOS 607282 HAS SOPS 607282 HAS SOUS 459533 HAS SOUPS 459533 WITH SCORE 460140.282
AT ITER 478 NEW BEST:: SOT 1966567 SOS 607014 HAS SOPS 607014 HAS SOUS 459209 HAS SOUPS 459209 WITH SCORE 459816.014
AT ITER 481 NEW BEST:: SOT 1965090 SOS 605748 HAS SOPS 605748 HAS SOUS 457943 HAS SOUPS 457943 WITH SCORE 458548.748
AT ITER 483 NEW BEST:: SOT 1965090 SOS 605164 HAS SOPS 605164 HAS SOUS 457943 HAS SOUPS 457943 WITH SCORE 458548.164
AT ITER 497 NEW BEST:: SOT 1965077 SOS 605138 HAS SOPS 605138 HAS SOUS 457810 HAS SOUPS 457810 WITH SCORE 458415.138
AT ITER 513 NEW BEST:: SOT 1964030 SOS 605882 HAS SOPS 605882 HAS SOUS 456745 HAS SOUPS 456745 WITH SCORE 457350.882
AT ITER 528 NEW BEST:: SOT 1963594 SOS 605439 HAS SOPS 605439 HAS SOUS 456302 HAS SOUPS 456302 WITH SCORE 456907.439
AT ITER 530 NEW BEST:: SOT 1963501 SOS 605333 HAS SOPS 605333 HAS SOUS 456209 HAS SOUPS 456209 WITH SCORE 456814.333
AT ITER 533 NEW BEST:: SOT 1963498 SOS 605327 HAS SOPS 605327 HAS SOUS 456203 HAS SOUPS 456203 WITH SCORE 456808.327
AT ITER 543 NEW BEST:: SOT 1963440 SOS 605617 HAS SOPS 605617 HAS SOUS 456145 HAS SOUPS 456145 WITH SCORE 456750.617
AT ITER 544 NEW BEST:: SOT 1963047 SOS 605447 HAS SOPS 605447 HAS SOUS 455973 HAS SOUPS 455973 WITH SCORE 456578.447
AT ITER 575 NEW BEST:: SOT 1962984 SOS 605321 HAS SOPS 605321 HAS SOUS 455847 HAS SOUPS 455847 WITH SCORE 456452.321
AT ITER 578 NEW BEST:: SOT 1962960 SOS 605296 HAS SOPS 605296 HAS SOUS 455638 HAS SOUPS 455638 WITH SCORE 456243.296
AT ITER 604 NEW BEST:: SOT 1962403 SOS 604533 HAS SOPS 604533 HAS SOUS 454875 HAS SOUPS 454875 WITH SCORE 455479.533
AT ITER 606 NEW BEST:: SOT 1962403 SOS 604429 HAS SOPS 604429 HAS SOUS 454771 HAS SOUPS 454771 WITH SCORE 455375.429
AT ITER 620 NEW BEST:: SOT 1961088 SOS 606495 HAS SOPS 606495 HAS SOUS 454051 HAS SOUPS 454051 WITH SCORE 454657.495
AT ITER 623 NEW BEST:: SOT 1961088 SOS 606644 HAS SOPS 606644 HAS SOUS 453861 HAS SOUPS 453861 WITH SCORE 454467.644
AT ITER 626 NEW BEST:: SOT 1961040 SOS 606558 HAS SOPS 606558 HAS SOUS 453775 HAS SOUPS 453775 WITH SCORE 454381.558
AT ITER 633 NEW BEST:: SOT 1960950 SOS 606110 HAS SOPS 606110 HAS SOUS 453334 HAS SOUPS 453334 WITH SCORE 453940.11
AT ITER 634 NEW BEST:: SOT 1960839 SOS 605888 HAS SOPS 605888 HAS SOUS 453112 HAS SOUPS 453112 WITH SCORE 453717.888
AT ITER 651 NEW BEST:: SOT 1960682 SOS 605025 HAS SOPS 605025 HAS SOUS 452836 HAS SOUPS 452836 WITH SCORE 453441.025
AT ITER 680 NEW BEST:: SOT 1960812 SOS 599921 HAS SOPS 599921 HAS SOUS 452611 HAS SOUPS 452611 WITH SCORE 453210.921
AT ITER 709 NEW BEST:: SOT 1960812 SOS 599920 HAS SOPS 599920 HAS SOUS 452610 HAS SOUPS 452610 WITH SCORE 453209.92
AT ITER 721 NEW BEST:: SOT 1960812 SOS 596220 HAS SOPS 596220 HAS SOUS 452610 HAS SOUPS 452610 WITH SCORE 453206.22
AT ITER 744 NEW BEST:: SOT 1960219 SOS 597256 HAS SOPS 597256 HAS SOUS 452539 HAS SOUPS 452539 WITH SCORE 453136.256
AT ITER 745 NEW BEST:: SOT 1960219 SOS 597233 HAS SOPS 597233 HAS SOUS 452516 HAS SOUPS 452516 WITH SCORE 453113.233
AT ITER 754 NEW BEST:: SOT 1960097 SOS 597088 HAS SOPS 597088 HAS SOUS 452371 HAS SOUPS 452371 WITH SCORE 452968.088
AT ITER 755 NEW BEST:: SOT 1960097 SOS 597088 HAS SOPS 597088 HAS SOUS 452224 HAS SOUPS 452224 WITH SCORE 452821.088
AT ITER 761 NEW BEST:: SOT 1959951 SOS 596893 HAS SOPS 596893 HAS SOUS 452029 HAS SOUPS 452029 WITH SCORE 452625.893
AT ITER 766 NEW BEST:: SOT 1959806 SOS 596676 HAS SOPS 596676 HAS SOUS 451883 HAS SOUPS 451883 WITH SCORE 452479.676
AT ITER 767 NEW BEST:: SOT 1959711 SOS 596552 HAS SOPS 596552 HAS SOUS 451759 HAS SOUPS 451759 WITH SCORE 452355.552
AT ITER 775 NEW BEST:: SOT 1958979 SOS 596175 HAS SOPS 596175 HAS SOUS 451328 HAS SOUPS 451328 WITH SCORE 451924.175
AT ITER 781 NEW BEST:: SOT 1958948 SOS 596166 HAS SOPS 596166 HAS SOUS 450818 HAS SOUPS 450818 WITH SCORE 451414.166
AT ITER 789 NEW BEST:: SOT 1958708 SOS 595686 HAS SOPS 595686 HAS SOUS 450338 HAS SOUPS 450338 WITH SCORE 450933.686
AT ITER 797 NEW BEST:: SOT 1958714 SOS 595186 HAS SOPS 595186 HAS SOUS 449914 HAS SOUPS 449914 WITH SCORE 450509.186
AT ITER 804 NEW BEST:: SOT 1958708 SOS 595174 HAS SOPS 595174 HAS SOUS 449902 HAS SOUPS 449902 WITH SCORE 450497.174
AT ITER 818 NEW BEST:: SOT 1958580 SOS 594999 HAS SOPS 594999 HAS SOUS 449727 HAS SOUPS 449727 WITH SCORE 450321.999
AT ITER 820 NEW BEST:: SOT 1958252 SOS 594790 HAS SOPS 594790 HAS SOUS 449512 HAS SOUPS 449512 WITH SCORE 450106.79
AT ITER 842 NEW BEST:: SOT 1958147 SOS 594653 HAS SOPS 594653 HAS SOUS 449418 HAS SOUPS 449418 WITH SCORE 450012.653
AT ITER 852 NEW BEST:: SOT 1957917 SOS 594193 HAS SOPS 594193 HAS SOUS 448958 HAS SOUPS 448958 WITH SCORE 449552.193
AT ITER 854 NEW BEST:: SOT 1957915 SOS 594189 HAS SOPS 594189 HAS SOUS 448954 HAS SOUPS 448954 WITH SCORE 449548.189
AT ITER 855 NEW BEST:: SOT 1957360 SOS 594894 HAS SOPS 594894 HAS SOUS 448597 HAS SOUPS 448597 WITH SCORE 449191.894
AT ITER 863 NEW BEST:: SOT 1957123 SOS 596553 HAS SOPS 596553 HAS SOUS 448153 HAS SOUPS 448153 WITH SCORE 448749.553
AT ITER 865 NEW BEST:: SOT 1956939 SOS 596368 HAS SOPS 596368 HAS SOUS 447968 HAS SOUPS 447968 WITH SCORE 448564.368
AT ITER 875 NEW BEST:: SOT 1956782 SOS 595446 HAS SOPS 595446 HAS SOUS 447319 HAS SOUPS 447319 WITH SCORE 447914.446
AT ITER 876 NEW BEST:: SOT 1956592 SOS 595256 HAS SOPS 595256 HAS SOUS 445609 HAS SOUPS 445609 WITH SCORE 446204.256
AT ITER 877 NEW BEST:: SOT 1957578 SOS 596339 HAS SOPS 596339 HAS SOUS 445083 HAS SOUPS 445083 WITH SCORE 445679.339
AT ITER 878 NEW BEST:: SOT 1957343 SOS 595869 HAS SOPS 595869 HAS SOUS 442733 HAS SOUPS 442733 WITH SCORE 443328.869
AT ITER 889 NEW BEST:: SOT 1957280 SOS 595743 HAS SOPS 595743 HAS SOUS 442670 HAS SOUPS 442670 WITH SCORE 443265.743
AT ITER 904 NEW BEST:: SOT 1957280 SOS 595615 HAS SOPS 595615 HAS SOUS 442670 HAS SOUPS 442670 WITH SCORE 443265.615
AT ITER 925 NEW BEST:: SOT 1957016 SOS 595395 HAS SOPS 595395 HAS SOUS 442450 HAS SOUPS 442450 WITH SCORE 443045.395
AT ITER 929 NEW BEST:: SOT 1957016 SOS 595374 HAS SOPS 595374 HAS SOUS 442429 HAS SOUPS 442429 WITH SCORE 443024.374
AT ITER 932 NEW BEST:: SOT 1956228 SOS 595669 HAS SOPS 595669 HAS SOUS 441875 HAS SOUPS 441875 WITH SCORE 442470.669
AT ITER 933 NEW BEST:: SOT 1956228 SOS 595721 HAS SOPS 595721 HAS SOUS 440940 HAS SOUPS 440940 WITH SCORE 441535.721
AT ITER 943 NEW BEST:: SOT 1956228 SOS 595721 HAS SOPS 595721 HAS SOUS 440884 HAS SOUPS 440884 WITH SCORE 441479.721
AT ITER 949 NEW BEST:: SOT 1956164 SOS 595877 HAS SOPS 595877 HAS SOUS 440820 HAS SOUPS 440820 WITH SCORE 441415.877
AT ITER 955 NEW BEST:: SOT 1956164 SOS 595810 HAS SOPS 595810 HAS SOUS 440753 HAS SOUPS 440753 WITH SCORE 441348.81
AT ITER 963 NEW BEST:: SOT 1956076 SOS 594497 HAS SOPS 594497 HAS SOUS 440575 HAS SOUPS 440575 WITH SCORE 441169.497
AT ITER 966 NEW BEST:: SOT 1955678 SOS 593975 HAS SOPS 593975 HAS SOUS 440176 HAS SOUPS 440176 WITH SCORE 440769.975
AT ITER 973 NEW BEST:: SOT 1955362 SOS 593666 HAS SOPS 593666 HAS SOUS 439851 HAS SOUPS 439851 WITH SCORE 440444.666
AT ITER 980 NEW BEST:: SOT 1954323 SOS 592501 HAS SOPS 592501 HAS SOUS 438689 HAS SOUPS 438689 WITH SCORE 439281.501
AT ITER 985 NEW BEST:: SOT 1954274 SOS 591954 HAS SOPS 591954 HAS SOUS 438247 HAS SOUPS 438247 WITH SCORE 438838.954
AT ITER 1010 NEW BEST:: SOT 1954055 SOS 591961 HAS SOPS 591961 HAS SOUS 438238 HAS SOUPS 438238 WITH SCORE 438829.961
AT ITER 1021 NEW BEST:: SOT 1953625 SOS 591101 HAS SOPS 591101 HAS SOUS 437480 HAS SOUPS 437480 WITH SCORE 438071.101
AT ITER 1027 NEW BEST:: SOT 1953625 SOS 591089 HAS SOPS 591089 HAS SOUS 437468 HAS SOUPS 437468 WITH SCORE 438059.089
AT ITER 1028 NEW BEST:: SOT 1953491 SOS 590687 HAS SOPS 590687 HAS SOUS 437200 HAS SOUPS 437200 WITH SCORE 437790.687
AT ITER 1029 NEW BEST:: SOT 1953486 SOS 590682 HAS SOPS 590682 HAS SOUS 437195 HAS SOUPS 437195 WITH SCORE 437785.682
AT ITER 1037 NEW BEST:: SOT 1953452 SOS 590648 HAS SOPS 590648 HAS SOUS 437161 HAS SOUPS 437161 WITH SCORE 437751.648
AT ITER 1049 NEW BEST:: SOT 1952723 SOS 590178 HAS SOPS 590178 HAS SOUS 436536 HAS SOUPS 436536 WITH SCORE 437126.178
AT ITER 1051 NEW BEST:: SOT 1953879 SOS 591523 HAS SOPS 591523 HAS SOUS 436153 HAS SOUPS 436153 WITH SCORE 436744.523
AT ITER 1092 NEW BEST:: SOT 1953663 SOS 591141 HAS SOPS 591141 HAS SOUS 435720 HAS SOUPS 435720 WITH SCORE 436311.141
AT ITER 1100 NEW BEST:: SOT 1953589 SOS 590919 HAS SOPS 590919 HAS SOUS 435571 HAS SOUPS 435571 WITH SCORE 436161.919
AT ITER 1106 NEW BEST:: SOT 1953543 SOS 590804 HAS SOPS 590804 HAS SOUS 435501 HAS SOUPS 435501 WITH SCORE 436091.804
AT ITER 1110 NEW BEST:: SOT 1953433 SOS 590694 HAS SOPS 590694 HAS SOUS 435389 HAS SOUPS 435389 WITH SCORE 435979.694
AT ITER 1128 NEW BEST:: SOT 1953220 SOS 590114 HAS SOPS 590114 HAS SOUS 434963 HAS SOUPS 434963 WITH SCORE 435553.114
AT ITER 1140 NEW BEST:: SOT 1952312 SOS 592683 HAS SOPS 592683 HAS SOUS 434867 HAS SOUPS 434867 WITH SCORE 435459.683
AT ITER 1153 NEW BEST:: SOT 1952274 SOS 592655 HAS SOPS 592655 HAS SOUS 434839 HAS SOUPS 434839 WITH SCORE 435431.655
AT ITER 1157 NEW BEST:: SOT 1951908 SOS 592110 HAS SOPS 592110 HAS SOUS 434510 HAS SOUPS 434510 WITH SCORE 435102.11
AT ITER 1158 NEW BEST:: SOT 1951907 SOS 592107 HAS SOPS 592107 HAS SOUS 434508 HAS SOUPS 434508 WITH SCORE 435100.107
AT ITER 1159 NEW BEST:: SOT 1951694 SOS 591769 HAS SOPS 591769 HAS SOUS 432587 HAS SOUPS 432587 WITH SCORE 433178.769
AT ITER 1173 NEW BEST:: SOT 1951693 SOS 591874 HAS SOPS 591874 HAS SOUS 432585 HAS SOUPS 432585 WITH SCORE 433176.874
AT ITER 1187 NEW BEST:: SOT 1951693 SOS 591753 HAS SOPS 591753 HAS SOUS 432443 HAS SOUPS 432443 WITH SCORE 433034.753
AT ITER 1191 NEW BEST:: SOT 1951680 SOS 591727 HAS SOPS 591727 HAS SOUS 432417 HAS SOUPS 432417 WITH SCORE 433008.727
AT ITER 1203 NEW BEST:: SOT 1951617 SOS 591664 HAS SOPS 591664 HAS SOUS 432354 HAS SOUPS 432354 WITH SCORE 432945.664
AT ITER 1204 NEW BEST:: SOT 1951312 SOS 591359 HAS SOPS 591359 HAS SOUS 432048 HAS SOUPS 432048 WITH SCORE 432639.359
AT ITER 1210 NEW BEST:: SOT 1951312 SOS 591334 HAS SOPS 591334 HAS SOUS 432023 HAS SOUPS 432023 WITH SCORE 432614.334
AT ITER 1222 NEW BEST:: SOT 1951003 SOS 591093 HAS SOPS 591093 HAS SOUS 431714 HAS SOUPS 431714 WITH SCORE 432305.093
AT ITER 1254 NEW BEST:: SOT 1950906 SOS 590996 HAS SOPS 590996 HAS SOUS 431613 HAS SOUPS 431613 WITH SCORE 432203.996
AT ITER 1267 NEW BEST:: SOT 1950974 SOS 590671 HAS SOPS 590671 HAS SOUS 431290 HAS SOUPS 431290 WITH SCORE 431880.671
AT ITER 1269 NEW BEST:: SOT 1950757 SOS 590421 HAS SOPS 590421 HAS SOUS 430959 HAS SOUPS 430959 WITH SCORE 431549.421
AT ITER 1284 NEW BEST:: SOT 1950766 SOS 590415 HAS SOPS 590415 HAS SOUS 430953 HAS SOUPS 430953 WITH SCORE 431543.415
AT ITER 1295 NEW BEST:: SOT 1950657 SOS 590306 HAS SOPS 590306 HAS SOUS 430844 HAS SOUPS 430844 WITH SCORE 431434.306
AT ITER 1296 NEW BEST:: SOT 1950568 SOS 590128 HAS SOPS 590128 HAS SOUS 430776 HAS SOUPS 430776 WITH SCORE 431366.128
AT ITER 1315 NEW BEST:: SOT 1950293 SOS 590022 HAS SOPS 590022 HAS SOUS 430670 HAS SOUPS 430670 WITH SCORE 431260.022
AT ITER 1328 NEW BEST:: SOT 1950273 SOS 589981 HAS SOPS 589981 HAS SOUS 430648 HAS SOUPS 430648 WITH SCORE 431237.981
AT ITER 1339 NEW BEST:: SOT 1950282 SOS 589902 HAS SOPS 589902 HAS SOUS 430569 HAS SOUPS 430569 WITH SCORE 431158.902
AT ITER 1343 NEW BEST:: SOT 1950262 SOS 589862 HAS SOPS 589862 HAS SOUS 430529 HAS SOUPS 430529 WITH SCORE 431118.862
AT ITER 1354 NEW BEST:: SOT 1950183 SOS 589786 HAS SOPS 589786 HAS SOUS 430438 HAS SOUPS 430438 WITH SCORE 431027.786
AT ITER 1358 NEW BEST:: SOT 1950183 SOS 589562 HAS SOPS 589562 HAS SOUS 430430 HAS SOUPS 430430 WITH SCORE 431019.562
AT ITER 1367 NEW BEST:: SOT 1949510 SOS 589085 HAS SOPS 589085 HAS SOUS 429806 HAS SOUPS 429806 WITH SCORE 430395.085
AT ITER 1383 NEW BEST:: SOT 1949264 SOS 588309 HAS SOPS 588309 HAS SOUS 429559 HAS SOUPS 429559 WITH SCORE 430147.309
AT ITER 1387 NEW BEST:: SOT 1949138 SOS 587450 HAS SOPS 587450 HAS SOUS 428044 HAS SOUPS 428044 WITH SCORE 428631.45
AT ITER 1440 NEW BEST:: SOT 1949138 SOS 587438 HAS SOPS 587438 HAS SOUS 428032 HAS SOUPS 428032 WITH SCORE 428619.438
AT ITER 1441 NEW BEST:: SOT 1949138 SOS 587674 HAS SOPS 587674 HAS SOUS 426380 HAS SOUPS 426380 WITH SCORE 426967.674
AT ITER 1453 NEW BEST:: SOT 1948720 SOS 588976 HAS SOPS 588976 HAS SOUS 426104 HAS SOUPS 426104 WITH SCORE 426692.976
AT ITER 1469 NEW BEST:: SOT 1948809 SOS 588960 HAS SOPS 588960 HAS SOUS 426088 HAS SOUPS 426088 WITH SCORE 426676.96
AT ITER 1471 NEW BEST:: SOT 1948809 SOS 588940 HAS SOPS 588940 HAS SOUS 426068 HAS SOUPS 426068 WITH SCORE 426656.94
AT ITER 1475 NEW BEST:: SOT 1948717 SOS 588756 HAS SOPS 588756 HAS SOUS 425884 HAS SOUPS 425884 WITH SCORE 426472.756
AT ITER 1489 NEW BEST:: SOT 1948084 SOS 588381 HAS SOPS 588381 HAS SOUS 425510 HAS SOUPS 425510 WITH SCORE 426098.381
AT ITER 1505 NEW BEST:: SOT 1948001 SOS 588215 HAS SOPS 588215 HAS SOUS 425419 HAS SOUPS 425419 WITH SCORE 426007.215
AT ITER 1518 NEW BEST:: SOT 1948001 SOS 588207 HAS SOPS 588207 HAS SOUS 425409 HAS SOUPS 425409 WITH SCORE 425997.207
AT ITER 1524 NEW BEST:: SOT 1948001 SOS 587945 HAS SOPS 587945 HAS SOUS 425147 HAS SOUPS 425147 WITH SCORE 425734.945
AT ITER 1540 NEW BEST:: SOT 1947802 SOS 587859 HAS SOPS 587859 HAS SOUS 424988 HAS SOUPS 424988 WITH SCORE 425575.859
AT ITER 1551 NEW BEST:: SOT 1946938 SOS 593038 HAS SOPS 593038 HAS SOUS 424590 HAS SOUPS 424590 WITH SCORE 425183.038
AT ITER 1560 NEW BEST:: SOT 1946783 SOS 592822 HAS SOPS 592822 HAS SOUS 424280 HAS SOUPS 424280 WITH SCORE 424872.822
AT ITER 1586 NEW BEST:: SOT 1946783 SOS 592887 HAS SOPS 592887 HAS SOUS 424235 HAS SOUPS 424235 WITH SCORE 424827.887
AT ITER 1591 NEW BEST:: SOT 1946643 SOS 592677 HAS SOPS 592677 HAS SOUS 424025 HAS SOUPS 424025 WITH SCORE 424617.677
AT ITER 1593 NEW BEST:: SOT 1946642 SOS 592676 HAS SOPS 592676 HAS SOUS 424021 HAS SOUPS 424021 WITH SCORE 424613.676
AT ITER 1619 NEW BEST:: SOT 1946641 SOS 592688 HAS SOPS 592688 HAS SOUS 424019 HAS SOUPS 424019 WITH SCORE 424611.688
AT ITER 1620 NEW BEST:: SOT 1946469 SOS 592431 HAS SOPS 592431 HAS SOUS 423590 HAS SOUPS 423590 WITH SCORE 424182.431
AT ITER 1638 NEW BEST:: SOT 1946440 SOS 592373 HAS SOPS 592373 HAS SOUS 423561 HAS SOUPS 423561 WITH SCORE 424153.373
AT ITER 1648 NEW BEST:: SOT 1946408 SOS 591968 HAS SOPS 591968 HAS SOUS 423441 HAS SOUPS 423441 WITH SCORE 424032.968
AT ITER 1658 NEW BEST:: SOT 1946346 SOS 591331 HAS SOPS 591331 HAS SOUS 423439 HAS SOUPS 423439 WITH SCORE 424030.331
AT ITER 1659 NEW BEST:: SOT 1946256 SOS 591151 HAS SOPS 591151 HAS SOUS 423259 HAS SOUPS 423259 WITH SCORE 423850.151
AT ITER 1663 NEW BEST:: SOT 1946230 SOS 591099 HAS SOPS 591099 HAS SOUS 423207 HAS SOUPS 423207 WITH SCORE 423798.099
AT ITER 1678 NEW BEST:: SOT 1946035 SOS 590905 HAS SOPS 590905 HAS SOUS 423013 HAS SOUPS 423013 WITH SCORE 423603.905
AT ITER 1711 NEW BEST:: SOT 1946203 SOS 592360 HAS SOPS 592360 HAS SOUS 421120 HAS SOUPS 421120 WITH SCORE 421712.36
AT ITER 1720 NEW BEST:: SOT 1946131 SOS 592216 HAS SOPS 592216 HAS SOUS 420976 HAS SOUPS 420976 WITH SCORE 421568.216
AT ITER 1731 NEW BEST:: SOT 1946015 SOS 591752 HAS SOPS 591752 HAS SOUS 420732 HAS SOUPS 420732 WITH SCORE 421323.752
AT ITER 1747 NEW BEST:: SOT 1946018 SOS 591898 HAS SOPS 591898 HAS SOUS 420702 HAS SOUPS 420702 WITH SCORE 421293.898
AT ITER 1769 NEW BEST:: SOT 1946018 SOS 591867 HAS SOPS 591867 HAS SOUS 420702 HAS SOUPS 420702 WITH SCORE 421293.867
AT ITER 1773 NEW BEST:: SOT 1946101 SOS 591617 HAS SOPS 591617 HAS SOUS 420455 HAS SOUPS 420455 WITH SCORE 421046.617
AT ITER 1781 NEW BEST:: SOT 1946101 SOS 591905 HAS SOPS 591905 HAS SOUS 420383 HAS SOUPS 420383 WITH SCORE 420974.905
AT ITER 1799 NEW BEST:: SOT 1946085 SOS 591888 HAS SOPS 591888 HAS SOUS 420350 HAS SOUPS 420350 WITH SCORE 420941.888
AT ITER 1807 NEW BEST:: SOT 1945970 SOS 591702 HAS SOPS 591702 HAS SOUS 420322 HAS SOUPS 420322 WITH SCORE 420913.702
AT ITER 1823 NEW BEST:: SOT 1945870 SOS 591648 HAS SOPS 591648 HAS SOUS 420268 HAS SOUPS 420268 WITH SCORE 420859.648
AT ITER 1846 NEW BEST:: SOT 1945649 SOS 592429 HAS SOPS 592429 HAS SOUS 420047 HAS SOUPS 420047 WITH SCORE 420639.429
AT ITER 1876 NEW BEST:: SOT 1945649 SOS 592429 HAS SOPS 592429 HAS SOUS 419874 HAS SOUPS 419874 WITH SCORE 420466.429
AT ITER 1883 NEW BEST:: SOT 1945289 SOS 589909 HAS SOPS 589909 HAS SOUS 419334 HAS SOUPS 419334 WITH SCORE 419923.909
AT ITER 1908 NEW BEST:: SOT 1945289 SOS 590004 HAS SOPS 590004 HAS SOUS 419307 HAS SOUPS 419307 WITH SCORE 419897.004
AT ITER 1943 NEW BEST:: SOT 1945289 SOS 589951 HAS SOPS 589951 HAS SOUS 419254 HAS SOUPS 419254 WITH SCORE 419843.951
AT ITER 1995 NEW BEST:: SOT 1945284 SOS 589941 HAS SOPS 589941 HAS SOUS 419244 HAS SOUPS 419244 WITH SCORE 419833.941
AT ITER 1999 NEW BEST:: SOT 1945276 SOS 589933 HAS SOPS 589933 HAS SOUS 419228 HAS SOUPS 419228 WITH SCORE 419817.933
AT ITER 2023 NEW BEST:: SOT 1945324 SOS 589725 HAS SOPS 589725 HAS SOUS 419076 HAS SOUPS 419076 WITH SCORE 419665.725
AT ITER 2027 NEW BEST:: SOT 1945308 SOS 590136 HAS SOPS 590136 HAS SOUS 419060 HAS SOUPS 419060 WITH SCORE 419650.136
AT ITER 2032 NEW BEST:: SOT 1945279 SOS 590107 HAS SOPS 590107 HAS SOUS 419031 HAS SOUPS 419031 WITH SCORE 419621.107
AT ITER 2034 NEW BEST:: SOT 1945278 SOS 590106 HAS SOPS 590106 HAS SOUS 419029 HAS SOUPS 419029 WITH SCORE 419619.106
AT ITER 2039 NEW BEST:: SOT 1945270 SOS 590090 HAS SOPS 590090 HAS SOUS 419013 HAS SOUPS 419013 WITH SCORE 419603.09
AT ITER 2040 NEW BEST:: SOT 1945089 SOS 589765 HAS SOPS 589765 HAS SOUS 417384 HAS SOUPS 417384 WITH SCORE 417973.765
AT ITER 2047 NEW BEST:: SOT 1945089 SOS 589764 HAS SOPS 589764 HAS SOUS 417383 HAS SOUPS 417383 WITH SCORE 417972.764
AT ITER 2052 NEW BEST:: SOT 1944979 SOS 589544 HAS SOPS 589544 HAS SOUS 417163 HAS SOUPS 417163 WITH SCORE 417752.544
AT ITER 2089 NEW BEST:: SOT 1944979 SOS 589537 HAS SOPS 589537 HAS SOUS 417156 HAS SOUPS 417156 WITH SCORE 417745.537
AT ITER 2092 NEW BEST:: SOT 1944694 SOS 589614 HAS SOPS 589614 HAS SOUS 416845 HAS SOUPS 416845 WITH SCORE 417434.614
AT ITER 2095 NEW BEST:: SOT 1945059 SOS 589701 HAS SOPS 589701 HAS SOUS 416769 HAS SOUPS 416769 WITH SCORE 417358.701
AT ITER 2105 NEW BEST:: SOT 1945069 SOS 589593 HAS SOPS 589593 HAS SOUS 416651 HAS SOUPS 416651 WITH SCORE 417240.593
AT ITER 2123 NEW BEST:: SOT 1945069 SOS 589568 HAS SOPS 589568 HAS SOUS 416651 HAS SOUPS 416651 WITH SCORE 417240.568
AT ITER 2127 NEW BEST:: SOT 1944849 SOS 589550 HAS SOPS 589550 HAS SOUS 416633 HAS SOUPS 416633 WITH SCORE 417222.55
AT ITER 2131 NEW BEST:: SOT 1944767 SOS 589549 HAS SOPS 589549 HAS SOUS 416632 HAS SOUPS 416632 WITH SCORE 417221.549
AT ITER 2136 NEW BEST:: SOT 1944782 SOS 589603 HAS SOPS 589603 HAS SOUS 416531 HAS SOUPS 416531 WITH SCORE 417120.603
AT ITER 2154 NEW BEST:: SOT 1944216 SOS 589525 HAS SOPS 589525 HAS SOUS 410685 HAS SOUPS 410685 WITH SCORE 411274.525
AT ITER 2161 NEW BEST:: SOT 1943676 SOS 590779 HAS SOPS 590779 HAS SOUS 410629 HAS SOUPS 410629 WITH SCORE 411219.779
AT ITER 2176 NEW BEST:: SOT 1943343 SOS 590058 HAS SOPS 590058 HAS SOUS 410284 HAS SOUPS 410284 WITH SCORE 410874.058
AT ITER 2179 NEW BEST:: SOT 1943343 SOS 590194 HAS SOPS 590194 HAS SOUS 410214 HAS SOUPS 410214 WITH SCORE 410804.194
AT ITER 2188 NEW BEST:: SOT 1942533 SOS 590244 HAS SOPS 590244 HAS SOUS 410046 HAS SOUPS 410046 WITH SCORE 410636.244
AT ITER 2193 NEW BEST:: SOT 1942477 SOS 590187 HAS SOPS 590187 HAS SOUS 409989 HAS SOUPS 409989 WITH SCORE 410579.187
AT ITER 2217 NEW BEST:: SOT 1941943 SOS 590636 HAS SOPS 590636 HAS SOUS 409574 HAS SOUPS 409574 WITH SCORE 410164.636
AT ITER 2229 NEW BEST:: SOT 1941778 SOS 590471 HAS SOPS 590471 HAS SOUS 409409 HAS SOUPS 409409 WITH SCORE 409999.471
AT ITER 2231 NEW BEST:: SOT 1941647 SOS 590340 HAS SOPS 590340 HAS SOUS 409086 HAS SOUPS 409086 WITH SCORE 409676.34
AT ITER 2248 NEW BEST:: SOT 1945617 SOS 594499 HAS SOPS 594499 HAS SOUS 408086 HAS SOUPS 408086 WITH SCORE 408680.499
AT ITER 2250 NEW BEST:: SOT 1945617 SOS 594479 HAS SOPS 594479 HAS SOUS 408086 HAS SOUPS 408086 WITH SCORE 408680.479
AT ITER 2254 NEW BEST:: SOT 1945617 SOS 594453 HAS SOPS 594453 HAS SOUS 408060 HAS SOUPS 408060 WITH SCORE 408654.453
AT ITER 2291 NEW BEST:: SOT 1945579 SOS 594163 HAS SOPS 594163 HAS SOUS 407984 HAS SOUPS 407984 WITH SCORE 408578.163
AT ITER 2311 NEW BEST:: SOT 1945650 SOS 594147 HAS SOPS 594147 HAS SOUS 407968 HAS SOUPS 407968 WITH SCORE 408562.147
AT ITER 2312 NEW BEST:: SOT 1945650 SOS 594190 HAS SOPS 594190 HAS SOUS 407925 HAS SOUPS 407925 WITH SCORE 408519.19
AT ITER 2340 NEW BEST:: SOT 1945372 SOS 593742 HAS SOPS 593742 HAS SOUS 407654 HAS SOUPS 407654 WITH SCORE 408247.742
AT ITER 2342 NEW BEST:: SOT 1945372 SOS 593717 HAS SOPS 593717 HAS SOUS 407629 HAS SOUPS 407629 WITH SCORE 408222.717
AT ITER 2346 NEW BEST:: SOT 1945372 SOS 593668 HAS SOPS 593668 HAS SOUS 407580 HAS SOUPS 407580 WITH SCORE 408173.668
AT ITER 2371 NEW BEST:: SOT 1945231 SOS 593390 HAS SOPS 593390 HAS SOUS 407536 HAS SOUPS 407536 WITH SCORE 408129.39
AT ITER 2399 NEW BEST:: SOT 1945200 SOS 593040 HAS SOPS 593040 HAS SOUS 407437 HAS SOUPS 407437 WITH SCORE 408030.04
AT ITER 2419 NEW BEST:: SOT 1944980 SOS 592683 HAS SOPS 592683 HAS SOUS 406891 HAS SOUPS 406891 WITH SCORE 407483.683
AT ITER 2420 NEW BEST:: SOT 1944835 SOS 592538 HAS SOPS 592538 HAS SOUS 406746 HAS SOUPS 406746 WITH SCORE 407338.538
AT ITER 2439 NEW BEST:: SOT 1944831 SOS 592534 HAS SOPS 592534 HAS SOUS 406738 HAS SOUPS 406738 WITH SCORE 407330.534
AT ITER 2448 NEW BEST:: SOT 1944723 SOS 592416 HAS SOPS 592416 HAS SOUS 406585 HAS SOUPS 406585 WITH SCORE 407177.416
AT ITER 2451 NEW BEST:: SOT 1944757 SOS 593338 HAS SOPS 593338 HAS SOUS 406567 HAS SOUPS 406567 WITH SCORE 407160.338
AT ITER 2458 NEW BEST:: SOT 1944771 SOS 593366 HAS SOPS 593366 HAS SOUS 406524 HAS SOUPS 406524 WITH SCORE 407117.366
AT ITER 2460 NEW BEST:: SOT 1944737 SOS 593137 HAS SOPS 593137 HAS SOUS 406490 HAS SOUPS 406490 WITH SCORE 407083.137
AT ITER 2464 NEW BEST:: SOT 1944736 SOS 593135 HAS SOPS 593135 HAS SOUS 406488 HAS SOUPS 406488 WITH SCORE 407081.135
AT ITER 2485 NEW BEST:: SOT 1944524 SOS 592859 HAS SOPS 592859 HAS SOUS 406212 HAS SOUPS 406212 WITH SCORE 406804.859
AT ITER 2486 NEW BEST:: SOT 1944680 SOS 593171 HAS SOPS 593171 HAS SOUS 406084 HAS SOUPS 406084 WITH SCORE 406677.171
AT ITER 2525 NEW BEST:: SOT 1944234 SOS 592879 HAS SOPS 592879 HAS SOUS 405525 HAS SOUPS 405525 WITH SCORE 406117.879
AT ITER 2545 NEW BEST:: SOT 1943930 SOS 593157 HAS SOPS 593157 HAS SOUS 405479 HAS SOUPS 405479 WITH SCORE 406072.157
AT ITER 2591 NEW BEST:: SOT 1943930 SOS 593089 HAS SOPS 593089 HAS SOUS 405478 HAS SOUPS 405478 WITH SCORE 406071.089
AT ITER 2617 NEW BEST:: SOT 1943930 SOS 592770 HAS SOPS 592770 HAS SOUS 405159 HAS SOUPS 405159 WITH SCORE 405751.77
AT ITER 2620 NEW BEST:: SOT 1944420 SOS 593435 HAS SOPS 593435 HAS SOUS 404576 HAS SOUPS 404576 WITH SCORE 405169.435
AT ITER 2627 NEW BEST:: SOT 1942875 SOS 594182 HAS SOPS 594182 HAS SOUS 403741 HAS SOUPS 403741 WITH SCORE 404335.182
AT ITER 2665 NEW BEST:: SOT 1942875 SOS 594043 HAS SOPS 594043 HAS SOUS 403602 HAS SOUPS 403602 WITH SCORE 404196.043
AT ITER 2681 NEW BEST:: SOT 1942869 SOS 594031 HAS SOPS 594031 HAS SOUS 403590 HAS SOUPS 403590 WITH SCORE 404184.031
AT ITER 2686 NEW BEST:: SOT 1942635 SOS 593563 HAS SOPS 593563 HAS SOUS 403122 HAS SOUPS 403122 WITH SCORE 403715.563
AT ITER 2696 NEW BEST:: SOT 1942603 SOS 593516 HAS SOPS 593516 HAS SOUS 403107 HAS SOUPS 403107 WITH SCORE 403700.516
AT ITER 2729 NEW BEST:: SOT 1942575 SOS 593488 HAS SOPS 593488 HAS SOUS 403107 HAS SOUPS 403107 WITH SCORE 403700.488
AT ITER 2735 NEW BEST:: SOT 1942575 SOS 593468 HAS SOPS 593468 HAS SOUS 403107 HAS SOUPS 403107 WITH SCORE 403700.468
AT ITER 2736 NEW BEST:: SOT 1942538 SOS 593394 HAS SOPS 593394 HAS SOUS 403070 HAS SOUPS 403070 WITH SCORE 403663.394
AT ITER 2739 NEW BEST:: SOT 1942289 SOS 592849 HAS SOPS 592849 HAS SOUS 403027 HAS SOUPS 403027 WITH SCORE 403619.849
AT ITER 2753 NEW BEST:: SOT 1942081 SOS 592589 HAS SOPS 592589 HAS SOUS 402767 HAS SOUPS 402767 WITH SCORE 403359.589
AT ITER 2759 NEW BEST:: SOT 1942034 SOS 592108 HAS SOPS 592108 HAS SOUS 402669 HAS SOUPS 402669 WITH SCORE 403261.108
AT ITER 2777 NEW BEST:: SOT 1941069 SOS 594937 HAS SOPS 594937 HAS SOUS 402229 HAS SOUPS 402229 WITH SCORE 402823.937
AT ITER 2793 NEW BEST:: SOT 1941053 SOS 594905 HAS SOPS 594905 HAS SOUS 402213 HAS SOUPS 402213 WITH SCORE 402807.905
AT ITER 2800 NEW BEST:: SOT 1941053 SOS 594884 HAS SOPS 594884 HAS SOUS 402192 HAS SOUPS 402192 WITH SCORE 402786.884
AT ITER 2821 NEW BEST:: SOT 1941019 SOS 594849 HAS SOPS 594849 HAS SOUS 402157 HAS SOUPS 402157 WITH SCORE 402751.849
AT ITER 2828 NEW BEST:: SOT 1940896 SOS 594797 HAS SOPS 594797 HAS SOUS 402105 HAS SOUPS 402105 WITH SCORE 402699.797
AT ITER 2838 NEW BEST:: SOT 1940851 SOS 594722 HAS SOPS 594722 HAS SOUS 402060 HAS SOUPS 402060 WITH SCORE 402654.722
AT ITER 2842 NEW BEST:: SOT 1940541 SOS 594697 HAS SOPS 594697 HAS SOUS 402005 HAS SOUPS 402005 WITH SCORE 402599.697
AT ITER 2858 NEW BEST:: SOT 1940540 SOS 594696 HAS SOPS 594696 HAS SOUS 402003 HAS SOUPS 402003 WITH SCORE 402597.696
AT ITER 2880 NEW BEST:: SOT 1940540 SOS 594695 HAS SOPS 594695 HAS SOUS 402002 HAS SOUPS 402002 WITH SCORE 402596.695
AT ITER 2893 NEW BEST:: SOT 1940538 SOS 594691 HAS SOPS 594691 HAS SOUS 401998 HAS SOUPS 401998 WITH SCORE 402592.691
AT ITER 2906 NEW BEST:: SOT 1940414 SOS 594565 HAS SOPS 594565 HAS SOUS 401872 HAS SOUPS 401872 WITH SCORE 402466.565
AT ITER 2909 NEW BEST:: SOT 1940407 SOS 594558 HAS SOPS 594558 HAS SOUS 401865 HAS SOUPS 401865 WITH SCORE 402459.558
AT ITER 2921 NEW BEST:: SOT 1940396 SOS 594547 HAS SOPS 594547 HAS SOUS 401854 HAS SOUPS 401854 WITH SCORE 402448.547
AT ITER 2923 NEW BEST:: SOT 1940317 SOS 594466 HAS SOPS 594466 HAS SOUS 401774 HAS SOUPS 401774 WITH SCORE 402368.466
AT ITER 2929 NEW BEST:: SOT 1940300 SOS 594432 HAS SOPS 594432 HAS SOUS 401740 HAS SOUPS 401740 WITH SCORE 402334.432
AT ITER 2934 NEW BEST:: SOT 1940139 SOS 594748 HAS SOPS 594748 HAS SOUS 401610 HAS SOUPS 401610 WITH SCORE 402204.748
AT ITER 2945 NEW BEST:: SOT 1940085 SOS 594790 HAS SOPS 594790 HAS SOUS 401569 HAS SOUPS 401569 WITH SCORE 402163.79
AT ITER 2962 NEW BEST:: SOT 1940043 SOS 594706 HAS SOPS 594706 HAS SOUS 401485 HAS SOUPS 401485 WITH SCORE 402079.706
AT ITER 2963 NEW BEST:: SOT 1940027 SOS 594704 HAS SOPS 594704 HAS SOUS 401483 HAS SOUPS 401483 WITH SCORE 402077.704
AT ITER 2972 NEW BEST:: SOT 1939943 SOS 594541 HAS SOPS 594541 HAS SOUS 401315 HAS SOUPS 401315 WITH SCORE 401909.541
AT ITER 2973 NEW BEST:: SOT 1939911 SOS 594509 HAS SOPS 594509 HAS SOUS 401251 HAS SOUPS 401251 WITH SCORE 401845.509
AT ITER 2987 NEW BEST:: SOT 1939864 SOS 594356 HAS SOPS 594356 HAS SOUS 401098 HAS SOUPS 401098 WITH SCORE 401692.356
AT ITER 3003 NEW BEST:: SOT 1939801 SOS 594206 HAS SOPS 594206 HAS SOUS 400971 HAS SOUPS 400971 WITH SCORE 401565.206
AT ITER 3007 NEW BEST:: SOT 1938408 SOS 593594 HAS SOPS 593594 HAS SOUS 399777 HAS SOUPS 399777 WITH SCORE 400370.594
AT ITER 3015 NEW BEST:: SOT 1938324 SOS 592537 HAS SOPS 592537 HAS SOUS 399609 HAS SOUPS 399609 WITH SCORE 400201.537
AT ITER 3039 NEW BEST:: SOT 1938397 SOS 592687 HAS SOPS 592687 HAS SOUS 397790 HAS SOUPS 397790 WITH SCORE 398382.687
AT ITER 3073 NEW BEST:: SOT 1938369 SOS 592659 HAS SOPS 592659 HAS SOUS 397762 HAS SOUPS 397762 WITH SCORE 398354.659
AT ITER 3113 NEW BEST:: SOT 1938369 SOS 592620 HAS SOPS 592620 HAS SOUS 397717 HAS SOUPS 397717 WITH SCORE 398309.62
AT ITER 3116 NEW BEST:: SOT 1938369 SOS 592510 HAS SOPS 592510 HAS SOUS 397716 HAS SOUPS 397716 WITH SCORE 398308.51
AT ITER 3136 NEW BEST:: SOT 1938368 SOS 592487 HAS SOPS 592487 HAS SOUS 397714 HAS SOUPS 397714 WITH SCORE 398306.487
AT ITER 3150 NEW BEST:: SOT 1937953 SOS 592075 HAS SOPS 592075 HAS SOUS 397299 HAS SOUPS 397299 WITH SCORE 397891.075
AT ITER 3166 NEW BEST:: SOT 1937912 SOS 592020 HAS SOPS 592020 HAS SOUS 397244 HAS SOUPS 397244 WITH SCORE 397836.02
AT ITER 3177 NEW BEST:: SOT 1937107 SOS 590985 HAS SOPS 590985 HAS SOUS 397129 HAS SOUPS 397129 WITH SCORE 397719.985
AT ITER 3178 NEW BEST:: SOT 1937107 SOS 590973 HAS SOPS 590973 HAS SOUS 397117 HAS SOUPS 397117 WITH SCORE 397707.973
AT ITER 3190 NEW BEST:: SOT 1937168 SOS 591473 HAS SOPS 591473 HAS SOUS 397106 HAS SOUPS 397106 WITH SCORE 397697.473
AT ITER 3191 NEW BEST:: SOT 1937198 SOS 591503 HAS SOPS 591503 HAS SOUS 397101 HAS SOUPS 397101 WITH SCORE 397692.503
AT ITER 3204 NEW BEST:: SOT 1937113 SOS 591370 HAS SOPS 591370 HAS SOUS 397052 HAS SOUPS 397052 WITH SCORE 397643.37
AT ITER 3228 NEW BEST:: SOT 1937098 SOS 591353 HAS SOPS 591353 HAS SOUS 397020 HAS SOUPS 397020 WITH SCORE 397611.353
AT ITER 3232 NEW BEST:: SOT 1936977 SOS 591306 HAS SOPS 591306 HAS SOUS 396715 HAS SOUPS 396715 WITH SCORE 397306.306
AT ITER 3255 NEW BEST:: SOT 1936897 SOS 591086 HAS SOPS 591086 HAS SOUS 396495 HAS SOUPS 396495 WITH SCORE 397086.086
AT ITER 3261 NEW BEST:: SOT 1936810 SOS 590998 HAS SOPS 590998 HAS SOUS 396407 HAS SOUPS 396407 WITH SCORE 396997.998
AT ITER 3267 NEW BEST:: SOT 1936810 SOS 590990 HAS SOPS 590990 HAS SOUS 396407 HAS SOUPS 396407 WITH SCORE 396997.99
AT ITER 3273 NEW BEST:: SOT 1936810 SOS 590990 HAS SOPS 590990 HAS SOUS 396353 HAS SOUPS 396353 WITH SCORE 396943.99
AT ITER 3289 NEW BEST:: SOT 1936349 SOS 590646 HAS SOPS 590646 HAS SOUS 395675 HAS SOUPS 395675 WITH SCORE 396265.646
AT ITER 3307 NEW BEST:: SOT 1934425 SOS 588290 HAS SOPS 588290 HAS SOUS 393728 HAS SOUPS 393728 WITH SCORE 394316.29
AT ITER 3340 NEW BEST:: SOT 1934175 SOS 588296 HAS SOPS 588296 HAS SOUS 393188 HAS SOUPS 393188 WITH SCORE 393776.296
AT ITER 3343 NEW BEST:: SOT 1934144 SOS 588084 HAS SOPS 588084 HAS SOUS 393059 HAS SOUPS 393059 WITH SCORE 393647.084
AT ITER 3344 NEW BEST:: SOT 1934111 SOS 588674 HAS SOPS 588674 HAS SOUS 393026 HAS SOUPS 393026 WITH SCORE 393614.674
AT ITER 3361 NEW BEST:: SOT 1933944 SOS 588340 HAS SOPS 588340 HAS SOUS 392692 HAS SOUPS 392692 WITH SCORE 393280.34
AT ITER 3366 NEW BEST:: SOT 1933944 SOS 588690 HAS SOPS 588690 HAS SOUS 392671 HAS SOUPS 392671 WITH SCORE 393259.69
AT ITER 3380 NEW BEST:: SOT 1933941 SOS 588687 HAS SOPS 588687 HAS SOUS 392671 HAS SOUPS 392671 WITH SCORE 393259.687
AT ITER 3382 NEW BEST:: SOT 1933953 SOS 589298 HAS SOPS 589298 HAS SOUS 392233 HAS SOUPS 392233 WITH SCORE 392822.298
AT ITER 3383 NEW BEST:: SOT 1933845 SOS 589082 HAS SOPS 589082 HAS SOUS 392126 HAS SOUPS 392126 WITH SCORE 392715.082
AT ITER 3385 NEW BEST:: SOT 1933774 SOS 588447 HAS SOPS 588447 HAS SOUS 392057 HAS SOUPS 392057 WITH SCORE 392645.447
AT ITER 3386 NEW BEST:: SOT 1933790 SOS 588146 HAS SOPS 588146 HAS SOUS 392053 HAS SOUPS 392053 WITH SCORE 392641.146
AT ITER 3390 NEW BEST:: SOT 1933790 SOS 588117 HAS SOPS 588117 HAS SOUS 392024 HAS SOUPS 392024 WITH SCORE 392612.117
AT ITER 3402 NEW BEST:: SOT 1933790 SOS 587857 HAS SOPS 587857 HAS SOUS 391764 HAS SOUPS 391764 WITH SCORE 392351.857
AT ITER 3422 NEW BEST:: SOT 1933769 SOS 587815 HAS SOPS 587815 HAS SOUS 391751 HAS SOUPS 391751 WITH SCORE 392338.815
AT ITER 3427 NEW BEST:: SOT 1933824 SOS 587870 HAS SOPS 587870 HAS SOUS 391743 HAS SOUPS 391743 WITH SCORE 392330.87
AT ITER 3428 NEW BEST:: SOT 1933689 SOS 587691 HAS SOPS 587691 HAS SOUS 391564 HAS SOUPS 391564 WITH SCORE 392151.691
AT ITER 3441 NEW BEST:: SOT 1933649 SOS 587582 HAS SOPS 587582 HAS SOUS 391531 HAS SOUPS 391531 WITH SCORE 392118.582
AT ITER 3456 NEW BEST:: SOT 1933548 SOS 587425 HAS SOPS 587425 HAS SOUS 390656 HAS SOUPS 390656 WITH SCORE 391243.425
AT ITER 3459 NEW BEST:: SOT 1933536 SOS 588285 HAS SOPS 588285 HAS SOUS 390579 HAS SOUPS 390579 WITH SCORE 391167.285
AT ITER 3460 NEW BEST:: SOT 1933375 SOS 588124 HAS SOPS 588124 HAS SOUS 390205 HAS SOUPS 390205 WITH SCORE 390793.124
AT ITER 3501 NEW BEST:: SOT 1933360 SOS 588050 HAS SOPS 588050 HAS SOUS 388858 HAS SOUPS 388858 WITH SCORE 389446.05
AT ITER 3519 NEW BEST:: SOT 1933360 SOS 587882 HAS SOPS 587882 HAS SOUS 388805 HAS SOUPS 388805 WITH SCORE 389392.882
AT ITER 3535 NEW BEST:: SOT 1933159 SOS 587553 HAS SOPS 587553 HAS SOUS 388604 HAS SOUPS 388604 WITH SCORE 389191.553
AT ITER 3539 NEW BEST:: SOT 1932914 SOS 587226 HAS SOPS 587226 HAS SOUS 388277 HAS SOUPS 388277 WITH SCORE 388864.226
AT ITER 3562 NEW BEST:: SOT 1932518 SOS 589279 HAS SOPS 589279 HAS SOUS 387881 HAS SOUPS 387881 WITH SCORE 388470.279
AT ITER 3585 NEW BEST:: SOT 1932443 SOS 589204 HAS SOPS 589204 HAS SOUS 387806 HAS SOUPS 387806 WITH SCORE 388395.204
AT ITER 3597 NEW BEST:: SOT 1930906 SOS 588215 HAS SOPS 588215 HAS SOUS 386332 HAS SOUPS 386332 WITH SCORE 386920.215
AT ITER 3611 NEW BEST:: SOT 1930906 SOS 588211 HAS SOPS 588211 HAS SOUS 386328 HAS SOUPS 386328 WITH SCORE 386916.211
AT ITER 3627 NEW BEST:: SOT 1930906 SOS 588557 HAS SOPS 588557 HAS SOUS 386297 HAS SOUPS 386297 WITH SCORE 386885.557
AT ITER 3640 NEW BEST:: SOT 1930906 SOS 588541 HAS SOPS 588541 HAS SOUS 386281 HAS SOUPS 386281 WITH SCORE 386869.541
AT ITER 3673 NEW BEST:: SOT 1930872 SOS 588526 HAS SOPS 588526 HAS SOUS 385765 HAS SOUPS 385765 WITH SCORE 386353.526
AT ITER 3675 NEW BEST:: SOT 1930683 SOS 588249 HAS SOPS 588249 HAS SOUS 385488 HAS SOUPS 385488 WITH SCORE 386076.249
AT ITER 3687 NEW BEST:: SOT 1930674 SOS 588658 HAS SOPS 588658 HAS SOUS 385470 HAS SOUPS 385470 WITH SCORE 386058.658
AT ITER 3693 NEW BEST:: SOT 1930457 SOS 588285 HAS SOPS 588285 HAS SOUS 384880 HAS SOUPS 384880 WITH SCORE 385468.285
AT ITER 3711 NEW BEST:: SOT 1930457 SOS 588277 HAS SOPS 588277 HAS SOUS 384880 HAS SOUPS 384880 WITH SCORE 385468.277
AT ITER 3728 NEW BEST:: SOT 1930390 SOS 588122 HAS SOPS 588122 HAS SOUS 384725 HAS SOUPS 384725 WITH SCORE 385313.122
AT ITER 3752 NEW BEST:: SOT 1928530 SOS 586262 HAS SOPS 586262 HAS SOUS 382865 HAS SOUPS 382865 WITH SCORE 383451.262
AT ITER 3753 NEW BEST:: SOT 1928530 SOS 586718 HAS SOPS 586718 HAS SOUS 382808 HAS SOUPS 382808 WITH SCORE 383394.718
AT ITER 3757 NEW BEST:: SOT 1928784 SOS 586987 HAS SOPS 586987 HAS SOUS 382795 HAS SOUPS 382795 WITH SCORE 383381.987
AT ITER 3776 NEW BEST:: SOT 1928549 SOS 586668 HAS SOPS 586668 HAS SOUS 382646 HAS SOUPS 382646 WITH SCORE 383232.668
AT ITER 3781 NEW BEST:: SOT 1928224 SOS 585970 HAS SOPS 585970 HAS SOUS 381954 HAS SOUPS 381954 WITH SCORE 382539.97
AT ITER 3792 NEW BEST:: SOT 1928075 SOS 585680 HAS SOPS 585680 HAS SOUS 381791 HAS SOUPS 381791 WITH SCORE 382376.68
AT ITER 3798 NEW BEST:: SOT 1927804 SOS 585392 HAS SOPS 585392 HAS SOUS 381503 HAS SOUPS 381503 WITH SCORE 382088.392
AT ITER 3817 NEW BEST:: SOT 1927668 SOS 585256 HAS SOPS 585256 HAS SOUS 381431 HAS SOUPS 381431 WITH SCORE 382016.256
AT ITER 3835 NEW BEST:: SOT 1927687 SOS 585122 HAS SOPS 585122 HAS SOUS 381415 HAS SOUPS 381415 WITH SCORE 382000.122
AT ITER 3865 NEW BEST:: SOT 1927687 SOS 585122 HAS SOPS 585122 HAS SOUS 381412 HAS SOUPS 381412 WITH SCORE 381997.122
AT ITER 3871 NEW BEST:: SOT 1927476 SOS 584745 HAS SOPS 584745 HAS SOUS 381023 HAS SOUPS 381023 WITH SCORE 381607.745
AT ITER 3891 NEW BEST:: SOT 1927476 SOS 584672 HAS SOPS 584672 HAS SOUS 380950 HAS SOUPS 380950 WITH SCORE 381534.672
AT ITER 3902 NEW BEST:: SOT 1927297 SOS 584314 HAS SOPS 584314 HAS SOUS 380714 HAS SOUPS 380714 WITH SCORE 381298.314
AT ITER 3920 NEW BEST:: SOT 1927199 SOS 584306 HAS SOPS 584306 HAS SOUS 380706 HAS SOUPS 380706 WITH SCORE 381290.306
AT ITER 3929 NEW BEST:: SOT 1926530 SOS 582968 HAS SOPS 582968 HAS SOUS 379698 HAS SOUPS 379698 WITH SCORE 380280.968
AT ITER 3954 NEW BEST:: SOT 1926529 SOS 582966 HAS SOPS 582966 HAS SOUS 379696 HAS SOUPS 379696 WITH SCORE 380278.966
AT ITER 3967 NEW BEST:: SOT 1927892 SOS 584424 HAS SOPS 584424 HAS SOUS 376854 HAS SOUPS 376854 WITH SCORE 377438.424
AT ITER 3990 NEW BEST:: SOT 1927892 SOS 584082 HAS SOPS 584082 HAS SOUS 376737 HAS SOUPS 376737 WITH SCORE 377321.082
AT ITER 4001 NEW BEST:: SOT 1927752 SOS 583706 HAS SOPS 583706 HAS SOUS 376445 HAS SOUPS 376445 WITH SCORE 377028.706
AT ITER 4003 NEW BEST:: SOT 1927651 SOS 583627 HAS SOPS 583627 HAS SOUS 376254 HAS SOUPS 376254 WITH SCORE 376837.627
AT ITER 4017 NEW BEST:: SOT 1926903 SOS 583267 HAS SOPS 583267 HAS SOUS 375691 HAS SOUPS 375691 WITH SCORE 376274.267
AT ITER 4025 NEW BEST:: SOT 1926875 SOS 583067 HAS SOPS 583067 HAS SOUS 375663 HAS SOUPS 375663 WITH SCORE 376246.067
AT ITER 4033 NEW BEST:: SOT 1926836 SOS 582597 HAS SOPS 582597 HAS SOUS 375438 HAS SOUPS 375438 WITH SCORE 376020.597
AT ITER 4038 NEW BEST:: SOT 1926831 SOS 582237 HAS SOPS 582237 HAS SOUS 375219 HAS SOUPS 375219 WITH SCORE 375801.237
AT ITER 4047 NEW BEST:: SOT 1926664 SOS 582342 HAS SOPS 582342 HAS SOUS 375188 HAS SOUPS 375188 WITH SCORE 375770.342
AT ITER 4053 NEW BEST:: SOT 1926538 SOS 582313 HAS SOPS 582313 HAS SOUS 375159 HAS SOUPS 375159 WITH SCORE 375741.313
AT ITER 4064 NEW BEST:: SOT 1926538 SOS 582250 HAS SOPS 582250 HAS SOUS 375096 HAS SOUPS 375096 WITH SCORE 375678.25
AT ITER 4074 NEW BEST:: SOT 1926538 SOS 582234 HAS SOPS 582234 HAS SOUS 375080 HAS SOUPS 375080 WITH SCORE 375662.234
AT ITER 4081 NEW BEST:: SOT 1926307 SOS 582115 HAS SOPS 582115 HAS SOUS 374975 HAS SOUPS 374975 WITH SCORE 375557.115
AT ITER 4091 NEW BEST:: SOT 1926240 SOS 582048 HAS SOPS 582048 HAS SOUS 374975 HAS SOUPS 374975 WITH SCORE 375557.048
AT ITER 4122 NEW BEST:: SOT 1926119 SOS 581689 HAS SOPS 581689 HAS SOUS 374616 HAS SOUPS 374616 WITH SCORE 375197.689
AT ITER 4130 NEW BEST:: SOT 1926117 SOS 581685 HAS SOPS 581685 HAS SOUS 374613 HAS SOUPS 374613 WITH SCORE 375194.685
AT ITER 4132 NEW BEST:: SOT 1926264 SOS 580964 HAS SOPS 580964 HAS SOUS 374509 HAS SOUPS 374509 WITH SCORE 375089.964
AT ITER 4135 NEW BEST:: SOT 1926131 SOS 581611 HAS SOPS 581611 HAS SOUS 374465 HAS SOUPS 374465 WITH SCORE 375046.611
AT ITER 4137 NEW BEST:: SOT 1925954 SOS 581257 HAS SOPS 581257 HAS SOUS 374101 HAS SOUPS 374101 WITH SCORE 374682.257
AT ITER 4139 NEW BEST:: SOT 1925884 SOS 581072 HAS SOPS 581072 HAS SOUS 373996 HAS SOUPS 373996 WITH SCORE 374577.072
AT ITER 4147 NEW BEST:: SOT 1925712 SOS 580900 HAS SOPS 580900 HAS SOUS 373824 HAS SOUPS 373824 WITH SCORE 374404.9
AT ITER 4150 NEW BEST:: SOT 1925665 SOS 580851 HAS SOPS 580851 HAS SOUS 373775 HAS SOUPS 373775 WITH SCORE 374355.851
AT ITER 4157 NEW BEST:: SOT 1925644 SOS 580782 HAS SOPS 580782 HAS SOUS 373706 HAS SOUPS 373706 WITH SCORE 374286.782
AT ITER 4172 NEW BEST:: SOT 1925418 SOS 581038 HAS SOPS 581038 HAS SOUS 373480 HAS SOUPS 373480 WITH SCORE 374061.038
AT ITER 4176 NEW BEST:: SOT 1925249 SOS 580825 HAS SOPS 580825 HAS SOUS 373267 HAS SOUPS 373267 WITH SCORE 373847.825
AT ITER 4185 NEW BEST:: SOT 1924961 SOS 580473 HAS SOPS 580473 HAS SOUS 372915 HAS SOUPS 372915 WITH SCORE 373495.473
AT ITER 4189 NEW BEST:: SOT 1924955 SOS 580667 HAS SOPS 580667 HAS SOUS 372677 HAS SOUPS 372677 WITH SCORE 373257.667
AT ITER 4209 NEW BEST:: SOT 1924955 SOS 580163 HAS SOPS 580163 HAS SOUS 372173 HAS SOUPS 372173 WITH SCORE 372753.163
AT ITER 4215 NEW BEST:: SOT 1925098 SOS 580158 HAS SOPS 580158 HAS SOUS 372168 HAS SOUPS 372168 WITH SCORE 372748.158
AT ITER 4229 NEW BEST:: SOT 1924878 SOS 578344 HAS SOPS 578344 HAS SOUS 371332 HAS SOUPS 371332 WITH SCORE 371910.344
AT ITER 4233 NEW BEST:: SOT 1924769 SOS 578254 HAS SOPS 578254 HAS SOUS 371114 HAS SOUPS 371114 WITH SCORE 371692.254
AT ITER 4245 NEW BEST:: SOT 1924768 SOS 578249 HAS SOPS 578249 HAS SOUS 371112 HAS SOUPS 371112 WITH SCORE 371690.249
AT ITER 4252 NEW BEST:: SOT 1924720 SOS 578153 HAS SOPS 578153 HAS SOUS 370971 HAS SOUPS 370971 WITH SCORE 371549.153
AT ITER 4279 NEW BEST:: SOT 1924698 SOS 578109 HAS SOPS 578109 HAS SOUS 370927 HAS SOUPS 370927 WITH SCORE 371505.109
AT ITER 4284 NEW BEST:: SOT 1924637 SOS 577962 HAS SOPS 577962 HAS SOUS 370780 HAS SOUPS 370780 WITH SCORE 371357.962
AT ITER 4318 NEW BEST:: SOT 1924576 SOS 577840 HAS SOPS 577840 HAS SOUS 370597 HAS SOUPS 370597 WITH SCORE 371174.84
AT ITER 4324 NEW BEST:: SOT 1924381 SOS 577663 HAS SOPS 577663 HAS SOUS 370207 HAS SOUPS 370207 WITH SCORE 370784.663
AT ITER 4345 NEW BEST:: SOT 1924291 SOS 577573 HAS SOPS 577573 HAS SOUS 370117 HAS SOUPS 370117 WITH SCORE 370694.573
AT ITER 4353 NEW BEST:: SOT 1924281 SOS 577533 HAS SOPS 577533 HAS SOUS 370087 HAS SOUPS 370087 WITH SCORE 370664.533
AT ITER 4357 NEW BEST:: SOT 1924315 SOS 576950 HAS SOPS 576950 HAS SOUS 370011 HAS SOUPS 370011 WITH SCORE 370587.95
AT ITER 4370 NEW BEST:: SOT 1924294 SOS 576929 HAS SOPS 576929 HAS SOUS 369990 HAS SOUPS 369990 WITH SCORE 370566.929
AT ITER 4374 NEW BEST:: SOT 1923982 SOS 578165 HAS SOPS 578165 HAS SOUS 369307 HAS SOUPS 369307 WITH SCORE 369885.165
AT ITER 4388 NEW BEST:: SOT 1923980 SOS 578153 HAS SOPS 578153 HAS SOUS 369300 HAS SOUPS 369300 WITH SCORE 369878.153
AT ITER 4390 NEW BEST:: SOT 1924027 SOS 578140 HAS SOPS 578140 HAS SOUS 369287 HAS SOUPS 369287 WITH SCORE 369865.14
AT ITER 4392 NEW BEST:: SOT 1923936 SOS 577958 HAS SOPS 577958 HAS SOUS 369105 HAS SOUPS 369105 WITH SCORE 369682.958
AT ITER 4396 NEW BEST:: SOT 1923360 SOS 577318 HAS SOPS 577318 HAS SOUS 368465 HAS SOUPS 368465 WITH SCORE 369042.318
AT ITER 4406 NEW BEST:: SOT 1923412 SOS 575821 HAS SOPS 575821 HAS SOUS 368218 HAS SOUPS 368218 WITH SCORE 368793.821
AT ITER 4407 NEW BEST:: SOT 1923412 SOS 576145 HAS SOPS 576145 HAS SOUS 368107 HAS SOUPS 368107 WITH SCORE 368683.145
AT ITER 4408 NEW BEST:: SOT 1923241 SOS 576208 HAS SOPS 576208 HAS SOUS 367898 HAS SOUPS 367898 WITH SCORE 368474.208
AT ITER 4410 NEW BEST:: SOT 1923171 SOS 575998 HAS SOPS 575998 HAS SOUS 367793 HAS SOUPS 367793 WITH SCORE 368368.998
AT ITER 4411 NEW BEST:: SOT 1922684 SOS 575993 HAS SOPS 575993 HAS SOUS 367788 HAS SOUPS 367788 WITH SCORE 368363.993
AT ITER 4439 NEW BEST:: SOT 1922607 SOS 575839 HAS SOPS 575839 HAS SOUS 367634 HAS SOUPS 367634 WITH SCORE 368209.839
AT ITER 4445 NEW BEST:: SOT 1922554 SOS 575807 HAS SOPS 575807 HAS SOUS 367581 HAS SOUPS 367581 WITH SCORE 368156.807
AT ITER 4449 NEW BEST:: SOT 1922340 SOS 575593 HAS SOPS 575593 HAS SOUS 367367 HAS SOUPS 367367 WITH SCORE 367942.593
AT ITER 4456 NEW BEST:: SOT 1922215 SOS 575593 HAS SOPS 575593 HAS SOUS 366992 HAS SOUPS 366992 WITH SCORE 367567.593
AT ITER 4479 NEW BEST:: SOT 1922213 SOS 575589 HAS SOPS 575589 HAS SOUS 366988 HAS SOUPS 366988 WITH SCORE 367563.589
AT ITER 4490 NEW BEST:: SOT 1922115 SOS 575297 HAS SOPS 575297 HAS SOUS 366792 HAS SOUPS 366792 WITH SCORE 367367.297
AT ITER 4500 NEW BEST:: SOT 1922094 SOS 575255 HAS SOPS 575255 HAS SOUS 366750 HAS SOUPS 366750 WITH SCORE 367325.255
AT ITER 4571 NEW BEST:: SOT 1922094 SOS 575214 HAS SOPS 575214 HAS SOUS 366709 HAS SOUPS 366709 WITH SCORE 367284.214
AT ITER 4581 NEW BEST:: SOT 1921945 SOS 574916 HAS SOPS 574916 HAS SOUS 366411 HAS SOUPS 366411 WITH SCORE 366985.916
AT ITER 4600 NEW BEST:: SOT 1921896 SOS 574870 HAS SOPS 574870 HAS SOUS 366330 HAS SOUPS 366330 WITH SCORE 366904.87
AT ITER 4603 NEW BEST:: SOT 1921878 SOS 574834 HAS SOPS 574834 HAS SOUS 366312 HAS SOUPS 366312 WITH SCORE 366886.834
AT ITER 4606 NEW BEST:: SOT 1921893 SOS 574774 HAS SOPS 574774 HAS SOUS 366251 HAS SOUPS 366251 WITH SCORE 366825.774
AT ITER 4631 NEW BEST:: SOT 1921888 SOS 574764 HAS SOPS 574764 HAS SOUS 366172 HAS SOUPS 366172 WITH SCORE 366746.764
AT ITER 4665 NEW BEST:: SOT 1921773 SOS 574647 HAS SOPS 574647 HAS SOUS 365225 HAS SOUPS 365225 WITH SCORE 365799.647
AT ITER 4672 NEW BEST:: SOT 1921773 SOS 574466 HAS SOPS 574466 HAS SOUS 365044 HAS SOUPS 365044 WITH SCORE 365618.466
AT ITER 4676 NEW BEST:: SOT 1921471 SOS 573474 HAS SOPS 573474 HAS SOUS 364440 HAS SOUPS 364440 WITH SCORE 365013.474
AT ITER 4682 NEW BEST:: SOT 1920906 SOS 573480 HAS SOPS 573480 HAS SOUS 363033 HAS SOUPS 363033 WITH SCORE 363606.48
AT ITER 4705 NEW BEST:: SOT 1920703 SOS 573259 HAS SOPS 573259 HAS SOUS 362820 HAS SOUPS 362820 WITH SCORE 363393.259
AT ITER 4712 NEW BEST:: SOT 1920703 SOS 573250 HAS SOPS 573250 HAS SOUS 362748 HAS SOUPS 362748 WITH SCORE 363321.25
AT ITER 4732 NEW BEST:: SOT 1920160 SOS 573094 HAS SOPS 573094 HAS SOUS 362601 HAS SOUPS 362601 WITH SCORE 363174.094
AT ITER 4738 NEW BEST:: SOT 1920142 SOS 573058 HAS SOPS 573058 HAS SOUS 362565 HAS SOUPS 362565 WITH SCORE 363138.058
AT ITER 4828 NEW BEST:: SOT 1920142 SOS 573051 HAS SOPS 573051 HAS SOUS 362558 HAS SOUPS 362558 WITH SCORE 363131.051
AT ITER 4831 NEW BEST:: SOT 1920223 SOS 572989 HAS SOPS 572989 HAS SOUS 362454 HAS SOUPS 362454 WITH SCORE 363026.989
AT ITER 4842 NEW BEST:: SOT 1920343 SOS 572878 HAS SOPS 572878 HAS SOUS 362380 HAS SOUPS 362380 WITH SCORE 362952.878
AT ITER 4874 NEW BEST:: SOT 1920320 SOS 572709 HAS SOPS 572709 HAS SOUS 362213 HAS SOUPS 362213 WITH SCORE 362785.709
AT ITER 4882 NEW BEST:: SOT 1920256 SOS 572647 HAS SOPS 572647 HAS SOUS 362151 HAS SOUPS 362151 WITH SCORE 362723.647
AT ITER 4892 NEW BEST:: SOT 1920256 SOS 572568 HAS SOPS 572568 HAS SOUS 362045 HAS SOUPS 362045 WITH SCORE 362617.568
AT ITER 4913 NEW BEST:: SOT 1920108 SOS 572024 HAS SOPS 572024 HAS SOUS 361591 HAS SOUPS 361591 WITH SCORE 362163.024
AT ITER 4936 NEW BEST:: SOT 1919843 SOS 571472 HAS SOPS 571472 HAS SOUS 361304 HAS SOUPS 361304 WITH SCORE 361875.472
AT ITER 4957 NEW BEST:: SOT 1919607 SOS 571236 HAS SOPS 571236 HAS SOUS 361280 HAS SOUPS 361280 WITH SCORE 361851.236
AT ITER 4969 NEW BEST:: SOT 1919606 SOS 571187 HAS SOPS 571187 HAS SOUS 361278 HAS SOUPS 361278 WITH SCORE 361849.187
AT ITER 4974 NEW BEST:: SOT 1919728 SOS 571374 HAS SOPS 571374 HAS SOUS 361273 HAS SOUPS 361273 WITH SCORE 361844.374
AT ITER 4979 NEW BEST:: SOT 1919725 SOS 570906 HAS SOPS 570906 HAS SOUS 361073 HAS SOUPS 361073 WITH SCORE 361643.906
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ASLink-PT-03b-CTLCardinality-00 (AF(( (EF(potential( ( 2 ) <= (tk(P174)) ))) | (! potential( (tk(P414)) <= (tk(P791)) )) )))
PROPERTY: ASLink-PT-03b-CTLCardinality-01 (EU( (AF(potential( ( 2 ) <= (tk(P1317)) ))),(! potential( (tk(P1025)) <= (tk(P209)) )) ))
PROPERTY: ASLink-PT-03b-CTLCardinality-02 ( ( (! (! potential( ( 3 ) <= (tk(P440)) ))) & (! ( potential( ( 2 ) <= (tk(P1135)) ) & (! potential( (tk(P272)) <= (tk(P576)) )) )) ) | (EG( (! potential( ( 2 ) <= (tk(P1295)) )))) )
PROPERTY: ASLink-PT-03b-CTLCardinality-03 (AF((AU( potential( ( 1 ) <= (tk(P566)) ),potential( ( 3 ) <= (tk(P1352)) ) ))))
PROPERTY: ASLink-PT-03b-CTLCardinality-04 (AF((EG( potential( ( 1 ) <= (tk(P613)) )))))
PROPERTY: ASLink-PT-03b-CTLCardinality-05 (EG( (AU( potential( ( 2 ) <= (tk(P96)) ),potential( (tk(P152)) <= (tk(P822)) ) ))))
PROPERTY: ASLink-PT-03b-CTLCardinality-06 ( ( ( potential( ( 1 ) <= (tk(P445)) ) | (EX( potential( ( 1 ) <= (tk(P645)) ))) ) & ( potential( (tk(P1602)) <= (tk(P803)) ) & ( potential( ( 2 ) <= (tk(P962)) ) & (! potential( ( 3 ) <= (tk(P1199)) )) ) ) ) | ( (EU( potential( (tk(P990)) <= (tk(P848)) ),potential( (tk(P521)) <= (tk(P1586)) ) )) & ( (! ( potential( (tk(P377)) <= (tk(P465)) ) & potential( (tk(P559)) <= (tk(P296)) ) )) | (AG( potential( (tk(P1410)) <= (tk(P377)) ))) ) ) )
PROPERTY: ASLink-PT-03b-CTLCardinality-07 (EF((EG( (! potential( (tk(P239)) <= (tk(P1506)) ))))))
PROPERTY: ASLink-PT-03b-CTLCardinality-08 (EG( (! ( ( potential( (tk(P449)) <= (tk(P668)) ) & potential( ( 1 ) <= (tk(P535)) ) ) & ( potential( (tk(P1193)) <= (tk(P1390)) ) | potential( ( 3 ) <= (tk(P1049)) ) ) ))))
PROPERTY: ASLink-PT-03b-CTLCardinality-09 (EX( (EF(( potential( (tk(P1583)) <= (tk(P366)) ) & potential( ( 3 ) <= (tk(P1261)) ) )))))
PROPERTY: ASLink-PT-03b-CTLCardinality-10 (AG( (EF(( potential( (tk(P798)) <= (tk(P1627)) ) & potential( ( 3 ) <= (tk(P669)) ) )))))
PROPERTY: ASLink-PT-03b-CTLCardinality-11 (AU( (AG( potential( (tk(P1050)) <= (tk(P421)) ))),(AG( potential( (tk(P1555)) <= (tk(P1090)) ))) ))
PROPERTY: ASLink-PT-03b-CTLCardinality-12 (EF((AG( (! potential( (tk(P396)) <= (tk(P597)) ))))))
PROPERTY: ASLink-PT-03b-CTLCardinality-13 (AF(( ( potential( (tk(P1215)) <= (tk(P1100)) ) & ( potential( (tk(P498)) <= (tk(P733)) ) & potential( ( 1 ) <= (tk(P169)) ) ) ) & potential( (tk(P1026)) <= (tk(P13)) ) )))
PROPERTY: ASLink-PT-03b-CTLCardinality-14 (! (AU( (! potential( ( 1 ) <= (tk(P664)) )),potential( ( 1 ) <= (tk(P742)) ) )))
PROPERTY: ASLink-PT-03b-CTLCardinality-15 ( (AG( (EG( potential( ( 1 ) <= (tk(P404)) ))))) | (EF(( ( potential( (tk(P683)) <= (tk(P131)) ) | potential( (tk(P353)) <= (tk(P1637)) ) ) & (! potential( (tk(P972)) <= (tk(P117)) )) ))) )

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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