Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.7M
-rw-r--r-- 1 mcc users 12K Apr 12 05:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 40K Apr 12 05:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 19K Apr 11 05:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 76K Apr 11 05:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 13K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 53K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 47K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.5K Apr 10 12:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 33K Apr 10 12:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 23K Apr 9 18:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K Apr 9 18:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.3K Apr 10 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 6.2M 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 PolyORBLF-PT-S04J06T10-CTLCardinality-00
FORMULA_NAME PolyORBLF-PT-S04J06T10-CTLCardinality-01
FORMULA_NAME PolyORBLF-PT-S04J06T10-CTLCardinality-02
FORMULA_NAME PolyORBLF-PT-S04J06T10-CTLCardinality-03
FORMULA_NAME PolyORBLF-PT-S04J06T10-CTLCardinality-04
FORMULA_NAME PolyORBLF-PT-S04J06T10-CTLCardinality-05
FORMULA_NAME PolyORBLF-PT-S04J06T10-CTLCardinality-06
FORMULA_NAME PolyORBLF-PT-S04J06T10-CTLCardinality-07
FORMULA_NAME PolyORBLF-PT-S04J06T10-CTLCardinality-08
FORMULA_NAME PolyORBLF-PT-S04J06T10-CTLCardinality-09
FORMULA_NAME PolyORBLF-PT-S04J06T10-CTLCardinality-10
FORMULA_NAME PolyORBLF-PT-S04J06T10-CTLCardinality-11
FORMULA_NAME PolyORBLF-PT-S04J06T10-CTLCardinality-12
FORMULA_NAME PolyORBLF-PT-S04J06T10-CTLCardinality-13
FORMULA_NAME PolyORBLF-PT-S04J06T10-CTLCardinality-14
FORMULA_NAME PolyORBLF-PT-S04J06T10-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589646105050

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S04J06T10
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: 966 places, 5354 transitions, 36134 arcs.
AT ITER 0 NEW BEST:: SOT 3317360 SOS 1953480 HAS SOPS 1934443 HAS SOUS 633161 HAS SOUPS 632369 WITH SCORE 634322.48
AT ITER 21 NEW BEST:: SOT 3317360 SOS 1952598 HAS SOPS 1933635 HAS SOUS 633159 HAS SOUPS 632369 WITH SCORE 634321.598
AT ITER 24 NEW BEST:: SOT 3316640 SOS 1951968 HAS SOPS 1933005 HAS SOUS 632529 HAS SOUPS 631739 WITH SCORE 633690.968
AT ITER 39 NEW BEST:: SOT 3316139 SOS 1951483 HAS SOPS 1932520 HAS SOUS 632083 HAS SOUPS 631293 WITH SCORE 633244.483
AT ITER 40 NEW BEST:: SOT 3316170 SOS 1951514 HAS SOPS 1932440 HAS SOUS 632106 HAS SOUPS 631253 WITH SCORE 633204.514
AT ITER 51 NEW BEST:: SOT 3315949 SOS 1951453 HAS SOPS 1932369 HAS SOUS 632045 HAS SOUPS 631182 WITH SCORE 633133.453
AT ITER 62 NEW BEST:: SOT 3315521 SOS 1951045 HAS SOPS 1931961 HAS SOUS 631546 HAS SOUPS 630683 WITH SCORE 632634.045
AT ITER 65 NEW BEST:: SOT 3314884 SOS 1950499 HAS SOPS 1931415 HAS SOUS 629977 HAS SOUPS 629114 WITH SCORE 631064.499
AT ITER 68 NEW BEST:: SOT 3314472 SOS 1950096 HAS SOPS 1931012 HAS SOUS 629660 HAS SOUPS 628797 WITH SCORE 630747.096
AT ITER 79 NEW BEST:: SOT 3314331 SOS 1950036 HAS SOPS 1931163 HAS SOUS 629449 HAS SOUPS 628586 WITH SCORE 630536.036
AT ITER 80 NEW BEST:: SOT 3314315 SOS 1950012 HAS SOPS 1931139 HAS SOUS 629429 HAS SOUPS 628566 WITH SCORE 630516.012
AT ITER 83 NEW BEST:: SOT 3314294 SOS 1949991 HAS SOPS 1931118 HAS SOUS 629408 HAS SOUPS 628545 WITH SCORE 630494.991
AT ITER 88 NEW BEST:: SOT 3272506 SOS 1908327 HAS SOPS 1889454 HAS SOUS 621348 HAS SOUPS 620485 WITH SCORE 622393.327
AT ITER 91 NEW BEST:: SOT 3272117 SOS 1907986 HAS SOPS 1889113 HAS SOUS 621221 HAS SOUPS 620358 WITH SCORE 622265.986
AT ITER 97 NEW BEST:: SOT 3272132 SOS 1907991 HAS SOPS 1889118 HAS SOUS 621136 HAS SOUPS 620273 WITH SCORE 622180.991
AT ITER 111 NEW BEST:: SOT 3272105 SOS 1907964 HAS SOPS 1889091 HAS SOUS 621109 HAS SOUPS 620246 WITH SCORE 622153.964
AT ITER 121 NEW BEST:: SOT 3272041 SOS 1907580 HAS SOPS 1888707 HAS SOUS 621109 HAS SOUPS 620246 WITH SCORE 622153.58
AT ITER 126 NEW BEST:: SOT 3270497 SOS 1906364 HAS SOPS 1887491 HAS SOUS 620318 HAS SOUPS 619455 WITH SCORE 621361.364
AT ITER 133 NEW BEST:: SOT 3271421 SOS 1908135 HAS SOPS 1889262 HAS SOUS 620186 HAS SOUPS 619323 WITH SCORE 621231.135
AT ITER 140 NEW BEST:: SOT 3271319 SOS 1908033 HAS SOPS 1889160 HAS SOUS 620168 HAS SOUPS 619305 WITH SCORE 621213.033
AT ITER 143 NEW BEST:: SOT 3271319 SOS 1908033 HAS SOPS 1889160 HAS SOUS 620163 HAS SOUPS 619300 WITH SCORE 621208.033
AT ITER 150 NEW BEST:: SOT 3271362 SOS 1908076 HAS SOPS 1889080 HAS SOUS 620127 HAS SOUPS 619260 WITH SCORE 621168.076
AT ITER 151 NEW BEST:: SOT 3271538 SOS 1908282 HAS SOPS 1889286 HAS SOUS 620121 HAS SOUPS 619254 WITH SCORE 621162.282
AT ITER 161 NEW BEST:: SOT 3271577 SOS 1908321 HAS SOPS 1889286 HAS SOUS 620089 HAS SOUPS 619215 WITH SCORE 621123.321
AT ITER 162 NEW BEST:: SOT 3271577 SOS 1908345 HAS SOPS 1889310 HAS SOUS 620017 HAS SOUPS 619143 WITH SCORE 621051.345
AT ITER 176 NEW BEST:: SOT 3269900 SOS 1906716 HAS SOPS 1887681 HAS SOUS 618339 HAS SOUPS 617465 WITH SCORE 619371.716
AT ITER 177 NEW BEST:: SOT 3269900 SOS 1906550 HAS SOPS 1887515 HAS SOUS 618135 HAS SOUPS 617261 WITH SCORE 619167.55
AT ITER 203 NEW BEST:: SOT 3269829 SOS 1906124 HAS SOPS 1887089 HAS SOUS 618114 HAS SOUPS 617240 WITH SCORE 619146.124
AT ITER 211 NEW BEST:: SOT 3269285 SOS 1905601 HAS SOPS 1886566 HAS SOUS 616097 HAS SOUPS 615223 WITH SCORE 617128.601
AT ITER 212 NEW BEST:: SOT 3269241 SOS 1905547 HAS SOPS 1886650 HAS SOUS 616095 HAS SOUPS 615221 WITH SCORE 617126.547
AT ITER 225 NEW BEST:: SOT 3269193 SOS 1905489 HAS SOPS 1886722 HAS SOUS 616047 HAS SOUPS 615173 WITH SCORE 617078.489
AT ITER 237 NEW BEST:: SOT 3245753 SOS 1882000 HAS SOPS 1863233 HAS SOUS 611257 HAS SOUPS 610383 WITH SCORE 612265.0
AT ITER 238 NEW BEST:: SOT 3245277 SOS 1881592 HAS SOPS 1862825 HAS SOUS 610095 HAS SOUPS 609221 WITH SCORE 611102.592
AT ITER 247 NEW BEST:: SOT 3234705 SOS 1885821 HAS SOPS 1863222 HAS SOUS 600248 HAS SOUPS 598882 WITH SCORE 600767.821
AT ITER 250 NEW BEST:: SOT 3234407 SOS 1885225 HAS SOPS 1862626 HAS SOUS 599652 HAS SOUPS 598286 WITH SCORE 600171.225
AT ITER 253 NEW BEST:: SOT 3234372 SOS 1885190 HAS SOPS 1862591 HAS SOUS 599617 HAS SOUPS 598251 WITH SCORE 600136.19
AT ITER 257 NEW BEST:: SOT 3212627 SOS 1863396 HAS SOPS 1840797 HAS SOUS 595167 HAS SOUPS 593801 WITH SCORE 595664.396
AT ITER 260 NEW BEST:: SOT 3212415 SOS 1863184 HAS SOPS 1840585 HAS SOUS 593941 HAS SOUPS 592575 WITH SCORE 594438.184
AT ITER 276 NEW BEST:: SOT 3212415 SOS 1863184 HAS SOPS 1840585 HAS SOUS 593703 HAS SOUPS 592337 WITH SCORE 594200.184
AT ITER 289 NEW BEST:: SOT 3212073 SOS 1862842 HAS SOPS 1840243 HAS SOUS 593427 HAS SOUPS 592061 WITH SCORE 593923.842
AT ITER 304 NEW BEST:: SOT 3212073 SOS 1863058 HAS SOPS 1840459 HAS SOUS 593285 HAS SOUPS 591919 WITH SCORE 593782.058
AT ITER 306 NEW BEST:: SOT 3211639 SOS 1862686 HAS SOPS 1840087 HAS SOUS 592178 HAS SOUPS 590812 WITH SCORE 592674.686
AT ITER 315 NEW BEST:: SOT 3211564 SOS 1862536 HAS SOPS 1839937 HAS SOUS 592149 HAS SOUPS 590783 WITH SCORE 592645.536
AT ITER 330 NEW BEST:: SOT 3211532 SOS 1862488 HAS SOPS 1839889 HAS SOUS 592085 HAS SOUPS 590719 WITH SCORE 592581.488
AT ITER 351 NEW BEST:: SOT 3211565 SOS 1862521 HAS SOPS 1839922 HAS SOUS 592074 HAS SOUPS 590708 WITH SCORE 592570.521
AT ITER 358 NEW BEST:: SOT 3210102 SOS 1861283 HAS SOPS 1838684 HAS SOUS 590913 HAS SOUPS 589547 WITH SCORE 591408.283
AT ITER 366 NEW BEST:: SOT 3210102 SOS 1861219 HAS SOPS 1838620 HAS SOUS 590849 HAS SOUPS 589483 WITH SCORE 591344.219
AT ITER 370 NEW BEST:: SOT 3156012 SOS 1807454 HAS SOPS 1784855 HAS SOUS 584745 HAS SOUPS 583379 WITH SCORE 585186.454
AT ITER 373 NEW BEST:: SOT 3155312 SOS 1806907 HAS SOPS 1784308 HAS SOUS 584177 HAS SOUPS 582811 WITH SCORE 584617.907
AT ITER 376 NEW BEST:: SOT 3154788 SOS 1811789 HAS SOPS 1789190 HAS SOUS 583696 HAS SOUPS 582330 WITH SCORE 584141.789
AT ITER 377 NEW BEST:: SOT 3153344 SOS 1810558 HAS SOPS 1787959 HAS SOUS 582345 HAS SOUPS 580979 WITH SCORE 582789.558
AT ITER 385 NEW BEST:: SOT 3153366 SOS 1810580 HAS SOPS 1787981 HAS SOUS 582342 HAS SOUPS 580976 WITH SCORE 582786.58
AT ITER 392 NEW BEST:: SOT 3152750 SOS 1810052 HAS SOPS 1787453 HAS SOUS 580120 HAS SOUPS 578754 WITH SCORE 580564.052
AT ITER 400 NEW BEST:: SOT 3152916 SOS 1810296 HAS SOPS 1787697 HAS SOUS 580050 HAS SOUPS 578684 WITH SCORE 580494.296
AT ITER 401 NEW BEST:: SOT 3151900 SOS 1809486 HAS SOPS 1786887 HAS SOUS 579199 HAS SOUPS 577833 WITH SCORE 579642.486
AT ITER 413 NEW BEST:: SOT 3151896 SOS 1809482 HAS SOPS 1786883 HAS SOUS 579189 HAS SOUPS 577823 WITH SCORE 579632.482
AT ITER 419 NEW BEST:: SOT 3151269 SOS 1809017 HAS SOPS 1786418 HAS SOUS 578583 HAS SOUPS 577217 WITH SCORE 579026.017
AT ITER 425 NEW BEST:: SOT 3151166 SOS 1808956 HAS SOPS 1786357 HAS SOUS 578522 HAS SOUPS 577156 WITH SCORE 578964.956
AT ITER 434 NEW BEST:: SOT 3133878 SOS 1847410 HAS SOPS 1836627 HAS SOUS 564302 HAS SOUPS 563240 WITH SCORE 565087.41
AT ITER 441 NEW BEST:: SOT 3133878 SOS 1847410 HAS SOPS 1836627 HAS SOUS 564241 HAS SOUPS 563179 WITH SCORE 565026.41
AT ITER 452 NEW BEST:: SOT 3133704 SOS 1847150 HAS SOPS 1836469 HAS SOUS 564182 HAS SOUPS 563120 WITH SCORE 564967.15
AT ITER 453 NEW BEST:: SOT 3133641 SOS 1847024 HAS SOPS 1836343 HAS SOUS 563993 HAS SOUPS 562931 WITH SCORE 564778.024
AT ITER 461 NEW BEST:: SOT 3133518 SOS 1846901 HAS SOPS 1836220 HAS SOUS 563911 HAS SOUPS 562849 WITH SCORE 564695.901
AT ITER 467 NEW BEST:: SOT 3133084 SOS 1846330 HAS SOPS 1835649 HAS SOUS 561116 HAS SOUPS 560054 WITH SCORE 561900.33
AT ITER 476 NEW BEST:: SOT 3133064 SOS 1846310 HAS SOPS 1835609 HAS SOUS 561076 HAS SOUPS 560014 WITH SCORE 561860.31
AT ITER 482 NEW BEST:: SOT 3133100 SOS 1846139 HAS SOPS 1835438 HAS SOUS 561074 HAS SOUPS 560012 WITH SCORE 561858.139
AT ITER 484 NEW BEST:: SOT 3014070 SOS 1807880 HAS SOPS 1797179 HAS SOUS 542833 HAS SOUPS 541771 WITH SCORE 543578.88
AT ITER 492 NEW BEST:: SOT 3013766 SOS 1807580 HAS SOPS 1796879 HAS SOUS 542477 HAS SOUPS 541415 WITH SCORE 543222.58
AT ITER 498 NEW BEST:: SOT 3015571 SOS 1809384 HAS SOPS 1798683 HAS SOUS 541026 HAS SOUPS 539964 WITH SCORE 541773.384
AT ITER 509 NEW BEST:: SOT 3015449 SOS 1809262 HAS SOPS 1798592 HAS SOUS 540986 HAS SOUPS 539924 WITH SCORE 541733.262
AT ITER 513 NEW BEST:: SOT 3015279 SOS 1809005 HAS SOPS 1798460 HAS SOUS 540982 HAS SOUPS 539920 WITH SCORE 541729.005
AT ITER 516 NEW BEST:: SOT 3014902 SOS 1808604 HAS SOPS 1798059 HAS SOUS 540926 HAS SOUPS 539864 WITH SCORE 541672.604
AT ITER 529 NEW BEST:: SOT 3013888 SOS 1807777 HAS SOPS 1797232 HAS SOUS 539994 HAS SOUPS 538932 WITH SCORE 540739.777
AT ITER 542 NEW BEST:: SOT 3013888 SOS 1807777 HAS SOPS 1797232 HAS SOUS 539951 HAS SOUPS 538889 WITH SCORE 540696.777
AT ITER 543 NEW BEST:: SOT 3013185 SOS 1807209 HAS SOPS 1796664 HAS SOUS 539301 HAS SOUPS 538239 WITH SCORE 540046.209
AT ITER 544 NEW BEST:: SOT 3011569 SOS 1805427 HAS SOPS 1794882 HAS SOUS 537519 HAS SOUPS 536457 WITH SCORE 538262.427
AT ITER 545 NEW BEST:: SOT 3010145 SOS 1804360 HAS SOPS 1793815 HAS SOUS 537280 HAS SOUPS 536218 WITH SCORE 538022.36
AT ITER 549 NEW BEST:: SOT 2884357 SOS 1743918 HAS SOPS 1733373 HAS SOUS 514042 HAS SOUPS 512980 WITH SCORE 514723.918
AT ITER 550 NEW BEST:: SOT 2883998 SOS 1743235 HAS SOPS 1732690 HAS SOUS 513642 HAS SOUPS 512580 WITH SCORE 514323.235
AT ITER 561 NEW BEST:: SOT 2797574 SOS 1656833 HAS SOPS 1646288 HAS SOUS 497116 HAS SOUPS 496054 WITH SCORE 497710.833
AT ITER 569 NEW BEST:: SOT 2797554 SOS 1656813 HAS SOPS 1646248 HAS SOUS 497076 HAS SOUPS 496014 WITH SCORE 497670.813
AT ITER 572 NEW BEST:: SOT 2797228 SOS 1656459 HAS SOPS 1645894 HAS SOUS 497052 HAS SOUPS 495990 WITH SCORE 497646.459
AT ITER 576 NEW BEST:: SOT 2796621 SOS 1655935 HAS SOPS 1645370 HAS SOUS 496425 HAS SOUPS 495363 WITH SCORE 497018.935
AT ITER 586 NEW BEST:: SOT 2796588 SOS 1655915 HAS SOPS 1645350 HAS SOUS 496405 HAS SOUPS 495343 WITH SCORE 496998.915
AT ITER 587 NEW BEST:: SOT 2796520 SOS 1655837 HAS SOPS 1645272 HAS SOUS 496269 HAS SOUPS 495207 WITH SCORE 496862.837
AT ITER 589 NEW BEST:: SOT 2796534 SOS 1655851 HAS SOPS 1645344 HAS SOUS 496181 HAS SOUPS 495119 WITH SCORE 496774.851
AT ITER 606 NEW BEST:: SOT 2796491 SOS 1655765 HAS SOPS 1645258 HAS SOUS 495978 HAS SOUPS 494916 WITH SCORE 496571.765
AT ITER 610 NEW BEST:: SOT 2796491 SOS 1653714 HAS SOPS 1643207 HAS SOUS 495975 HAS SOUPS 494913 WITH SCORE 496566.714
AT ITER 613 NEW BEST:: SOT 2795465 SOS 1652875 HAS SOPS 1642368 HAS SOUS 494674 HAS SOUPS 493612 WITH SCORE 495264.875
AT ITER 623 NEW BEST:: SOT 2795465 SOS 1652900 HAS SOPS 1642393 HAS SOUS 494467 HAS SOUPS 493405 WITH SCORE 495057.9
AT ITER 652 NEW BEST:: SOT 2795460 SOS 1652890 HAS SOPS 1642383 HAS SOUS 494457 HAS SOUPS 493395 WITH SCORE 495047.89
AT ITER 656 NEW BEST:: SOT 2795114 SOS 1652544 HAS SOPS 1641997 HAS SOUS 494006 HAS SOUPS 492939 WITH SCORE 494591.544
AT ITER 662 NEW BEST:: SOT 2795107 SOS 1652537 HAS SOPS 1641966 HAS SOUS 493992 HAS SOUPS 492925 WITH SCORE 494577.537
AT ITER 665 NEW BEST:: SOT 2795107 SOS 1652431 HAS SOPS 1641860 HAS SOUS 493992 HAS SOUPS 492925 WITH SCORE 494577.431
AT ITER 673 NEW BEST:: SOT 2795085 SOS 1652409 HAS SOPS 1641838 HAS SOUS 493948 HAS SOUPS 492881 WITH SCORE 494533.409
AT ITER 678 NEW BEST:: SOT 2793951 SOS 1651564 HAS SOPS 1640993 HAS SOUS 493826 HAS SOUPS 492759 WITH SCORE 494410.564
AT ITER 683 NEW BEST:: SOT 2793972 SOS 1651585 HAS SOPS 1640993 HAS SOUS 493837 HAS SOUPS 492749 WITH SCORE 494400.585
AT ITER 708 NEW BEST:: SOT 2793869 SOS 1651482 HAS SOPS 1640890 HAS SOUS 493115 HAS SOUPS 492027 WITH SCORE 493678.482
AT ITER 710 NEW BEST:: SOT 2793826 SOS 1651439 HAS SOPS 1640847 HAS SOUS 493055 HAS SOUPS 491967 WITH SCORE 493618.439
AT ITER 742 NEW BEST:: SOT 2793663 SOS 1650950 HAS SOPS 1640358 HAS SOUS 492717 HAS SOUPS 491629 WITH SCORE 493279.95
AT ITER 744 NEW BEST:: SOT 2793639 SOS 1650916 HAS SOPS 1640324 HAS SOUS 492669 HAS SOUPS 491581 WITH SCORE 493231.916
AT ITER 745 NEW BEST:: SOT 2793441 SOS 1650493 HAS SOPS 1639901 HAS SOUS 491946 HAS SOUPS 490858 WITH SCORE 492508.493
AT ITER 753 NEW BEST:: SOT 2793432 SOS 1650475 HAS SOPS 1639883 HAS SOUS 491928 HAS SOUPS 490840 WITH SCORE 492490.475
AT ITER 766 NEW BEST:: SOT 2792750 SOS 1649870 HAS SOPS 1639278 HAS SOUS 491236 HAS SOUPS 490148 WITH SCORE 491797.87
AT ITER 767 NEW BEST:: SOT 2792750 SOS 1650410 HAS SOPS 1639818 HAS SOUS 491074 HAS SOUPS 489986 WITH SCORE 491636.41
AT ITER 771 NEW BEST:: SOT 2792578 SOS 1650331 HAS SOPS 1639739 HAS SOUS 490976 HAS SOUPS 489888 WITH SCORE 491538.331
AT ITER 783 NEW BEST:: SOT 2792754 SOS 1650643 HAS SOPS 1640051 HAS SOUS 490076 HAS SOUPS 488988 WITH SCORE 490638.643
AT ITER 784 NEW BEST:: SOT 2792767 SOS 1650656 HAS SOPS 1640101 HAS SOUS 489976 HAS SOUPS 488888 WITH SCORE 490538.656
AT ITER 786 NEW BEST:: SOT 2792737 SOS 1650626 HAS SOPS 1640071 HAS SOUS 489916 HAS SOUPS 488828 WITH SCORE 490478.626
AT ITER 795 NEW BEST:: SOT 2783142 SOS 1640917 HAS SOPS 1630362 HAS SOUS 488531 HAS SOUPS 487443 WITH SCORE 489083.917
AT ITER 796 NEW BEST:: SOT 2783100 SOS 1640897 HAS SOPS 1630342 HAS SOUS 488511 HAS SOUPS 487423 WITH SCORE 489063.897
AT ITER 799 NEW BEST:: SOT 2783080 SOS 1640877 HAS SOPS 1630322 HAS SOUS 488491 HAS SOUPS 487403 WITH SCORE 489043.877
AT ITER 800 NEW BEST:: SOT 2783080 SOS 1640877 HAS SOPS 1630322 HAS SOUS 488445 HAS SOUPS 487357 WITH SCORE 488997.877
AT ITER 803 NEW BEST:: SOT 2783080 SOS 1640877 HAS SOPS 1630322 HAS SOUS 488424 HAS SOUPS 487336 WITH SCORE 488976.877
AT ITER 812 NEW BEST:: SOT 2783022 SOS 1640877 HAS SOPS 1630322 HAS SOUS 488366 HAS SOUPS 487278 WITH SCORE 488918.877
AT ITER 813 NEW BEST:: SOT 2782985 SOS 1640857 HAS SOPS 1630302 HAS SOUS 488346 HAS SOUPS 487258 WITH SCORE 488898.857
AT ITER 817 NEW BEST:: SOT 2782737 SOS 1640689 HAS SOPS 1630134 HAS SOUS 488178 HAS SOUPS 487090 WITH SCORE 488730.689
AT ITER 818 NEW BEST:: SOT 2782670 SOS 1640555 HAS SOPS 1630000 HAS SOUS 487951 HAS SOUPS 486863 WITH SCORE 488503.555
AT ITER 820 NEW BEST:: SOT 2782562 SOS 1640430 HAS SOPS 1629875 HAS SOUS 487826 HAS SOUPS 486738 WITH SCORE 488378.43
AT ITER 827 NEW BEST:: SOT 2782557 SOS 1640476 HAS SOPS 1629921 HAS SOUS 487442 HAS SOUPS 486354 WITH SCORE 487994.476
AT ITER 838 NEW BEST:: SOT 2782557 SOS 1645492 HAS SOPS 1634937 HAS SOUS 487424 HAS SOUPS 486336 WITH SCORE 487981.492
AT ITER 839 NEW BEST:: SOT 2782557 SOS 1653957 HAS SOPS 1643402 HAS SOUS 487227 HAS SOUPS 486139 WITH SCORE 487792.957
AT ITER 847 NEW BEST:: SOT 2781314 SOS 1652941 HAS SOPS 1642386 HAS SOUS 485661 HAS SOUPS 484573 WITH SCORE 486225.941
AT ITER 855 NEW BEST:: SOT 2779668 SOS 1651295 HAS SOPS 1640740 HAS SOUS 483952 HAS SOUPS 482864 WITH SCORE 484515.295
AT ITER 856 NEW BEST:: SOT 2779690 SOS 1651237 HAS SOPS 1640682 HAS SOUS 483656 HAS SOUPS 482568 WITH SCORE 484219.237
AT ITER 860 NEW BEST:: SOT 2778579 SOS 1650306 HAS SOPS 1639751 HAS SOUS 482241 HAS SOUPS 481153 WITH SCORE 482803.306
AT ITER 865 NEW BEST:: SOT 2778439 SOS 1650166 HAS SOPS 1639611 HAS SOUS 482068 HAS SOUPS 480980 WITH SCORE 482630.166
AT ITER 870 NEW BEST:: SOT 2778238 SOS 1649752 HAS SOPS 1639197 HAS SOUS 482005 HAS SOUPS 480917 WITH SCORE 482566.752
AT ITER 877 NEW BEST:: SOT 2777511 SOS 1648465 HAS SOPS 1637910 HAS SOUS 481111 HAS SOUPS 480023 WITH SCORE 481671.465
AT ITER 879 NEW BEST:: SOT 2777360 SOS 1648112 HAS SOPS 1637557 HAS SOUS 480809 HAS SOUPS 479721 WITH SCORE 481369.112
AT ITER 883 NEW BEST:: SOT 2777360 SOS 1647771 HAS SOPS 1637216 HAS SOUS 480809 HAS SOUPS 479721 WITH SCORE 481368.771
AT ITER 884 NEW BEST:: SOT 2777351 SOS 1647762 HAS SOPS 1637207 HAS SOUS 480800 HAS SOUPS 479712 WITH SCORE 481359.762
AT ITER 885 NEW BEST:: SOT 2777449 SOS 1647957 HAS SOPS 1637402 HAS SOUS 480700 HAS SOUPS 479612 WITH SCORE 481259.957
AT ITER 893 NEW BEST:: SOT 2777155 SOS 1647565 HAS SOPS 1637010 HAS SOUS 480406 HAS SOUPS 479318 WITH SCORE 480965.565
AT ITER 903 NEW BEST:: SOT 2776547 SOS 1647037 HAS SOPS 1636482 HAS SOUS 479872 HAS SOUPS 478784 WITH SCORE 480431.037
AT ITER 907 NEW BEST:: SOT 2776525 SOS 1647015 HAS SOPS 1636460 HAS SOUS 479850 HAS SOUPS 478762 WITH SCORE 480409.015
AT ITER 915 NEW BEST:: SOT 2776555 SOS 1647035 HAS SOPS 1636480 HAS SOUS 479760 HAS SOUPS 478672 WITH SCORE 480319.035
AT ITER 926 NEW BEST:: SOT 2776392 SOS 1646903 HAS SOPS 1636348 HAS SOUS 479631 HAS SOUPS 478543 WITH SCORE 480189.903
AT ITER 933 NEW BEST:: SOT 2776322 SOS 1646547 HAS SOPS 1635992 HAS SOUS 479132 HAS SOUPS 478044 WITH SCORE 479690.547
AT ITER 934 NEW BEST:: SOT 2776354 SOS 1646579 HAS SOPS 1636061 HAS SOUS 479122 HAS SOUPS 478034 WITH SCORE 479680.579
AT ITER 942 NEW BEST:: SOT 2776415 SOS 1646922 HAS SOPS 1636404 HAS SOUS 479100 HAS SOUPS 478012 WITH SCORE 479658.922
AT ITER 958 NEW BEST:: SOT 2774915 SOS 1645409 HAS SOPS 1634891 HAS SOUS 477639 HAS SOUPS 476551 WITH SCORE 478196.409
AT ITER 976 NEW BEST:: SOT 2774915 SOS 1645409 HAS SOPS 1634891 HAS SOUS 477587 HAS SOUPS 476499 WITH SCORE 478144.409
AT ITER 990 NEW BEST:: SOT 2775248 SOS 1645678 HAS SOPS 1635248 HAS SOUS 477498 HAS SOUPS 476418 WITH SCORE 478063.678
AT ITER 993 NEW BEST:: SOT 2775225 SOS 1645655 HAS SOPS 1635225 HAS SOUS 477452 HAS SOUPS 476372 WITH SCORE 478017.655
AT ITER 998 NEW BEST:: SOT 2774999 SOS 1645426 HAS SOPS 1635167 HAS SOUS 477433 HAS SOUPS 476353 WITH SCORE 477998.426
AT ITER 1000 NEW BEST:: SOT 2774953 SOS 1645370 HAS SOPS 1635111 HAS SOUS 477341 HAS SOUPS 476261 WITH SCORE 477906.37
AT ITER 1021 NEW BEST:: SOT 2774065 SOS 1645815 HAS SOPS 1635556 HAS SOUS 476559 HAS SOUPS 475479 WITH SCORE 477124.815
AT ITER 1025 NEW BEST:: SOT 2772554 SOS 1644286 HAS SOPS 1634027 HAS SOUS 475048 HAS SOUPS 473968 WITH SCORE 475612.286
AT ITER 1029 NEW BEST:: SOT 2772538 SOS 1644234 HAS SOPS 1633975 HAS SOUS 474996 HAS SOUPS 473916 WITH SCORE 475560.234
AT ITER 1031 NEW BEST:: SOT 2772126 SOS 1643719 HAS SOPS 1633460 HAS SOUS 472421 HAS SOUPS 471341 WITH SCORE 472984.719
AT ITER 1036 NEW BEST:: SOT 2771683 SOS 1643249 HAS SOPS 1632990 HAS SOUS 471558 HAS SOUPS 470478 WITH SCORE 472121.249
AT ITER 1049 NEW BEST:: SOT 2771571 SOS 1642867 HAS SOPS 1632608 HAS SOUS 471305 HAS SOUPS 470225 WITH SCORE 471867.867
AT ITER 1055 NEW BEST:: SOT 2771571 SOS 1642947 HAS SOPS 1632688 HAS SOUS 471245 HAS SOUPS 470165 WITH SCORE 471807.947
AT ITER 1059 NEW BEST:: SOT 2771571 SOS 1642947 HAS SOPS 1632688 HAS SOUS 471219 HAS SOUPS 470139 WITH SCORE 471781.947
AT ITER 1061 NEW BEST:: SOT 2771575 SOS 1642902 HAS SOPS 1632643 HAS SOUS 471174 HAS SOUPS 470094 WITH SCORE 471736.902
AT ITER 1070 NEW BEST:: SOT 2771416 SOS 1642743 HAS SOPS 1632484 HAS SOUS 470945 HAS SOUPS 469865 WITH SCORE 471507.743
AT ITER 1089 NEW BEST:: SOT 2769833 SOS 1641346 HAS SOPS 1631087 HAS SOUS 470459 HAS SOUPS 469379 WITH SCORE 471020.346
AT ITER 1094 NEW BEST:: SOT 2769704 SOS 1641217 HAS SOPS 1630958 HAS SOUS 470206 HAS SOUPS 469126 WITH SCORE 470767.217
AT ITER 1095 NEW BEST:: SOT 2769704 SOS 1641599 HAS SOPS 1631340 HAS SOUS 470197 HAS SOUPS 469117 WITH SCORE 470758.599
AT ITER 1115 NEW BEST:: SOT 2769677 SOS 1641437 HAS SOPS 1631178 HAS SOUS 470197 HAS SOUPS 469117 WITH SCORE 470758.437
AT ITER 1116 NEW BEST:: SOT 2769630 SOS 1641459 HAS SOPS 1631200 HAS SOUS 470095 HAS SOUPS 469015 WITH SCORE 470656.459
AT ITER 1120 NEW BEST:: SOT 2769559 SOS 1641378 HAS SOPS 1631119 HAS SOUS 469953 HAS SOUPS 468873 WITH SCORE 470514.378
AT ITER 1121 NEW BEST:: SOT 2748157 SOS 1619868 HAS SOPS 1609609 HAS SOUS 465579 HAS SOUPS 464499 WITH SCORE 466118.868
AT ITER 1123 NEW BEST:: SOT 2748134 SOS 1619538 HAS SOPS 1609279 HAS SOUS 465533 HAS SOUPS 464453 WITH SCORE 466072.538
AT ITER 1139 NEW BEST:: SOT 2748096 SOS 1619829 HAS SOPS 1609577 HAS SOUS 465488 HAS SOUPS 464408 WITH SCORE 466027.829
AT ITER 1142 NEW BEST:: SOT 2661032 SOS 1532772 HAS SOPS 1522520 HAS SOUS 448794 HAS SOUPS 447714 WITH SCORE 449246.772
AT ITER 1143 NEW BEST:: SOT 2659972 SOS 1531943 HAS SOPS 1521691 HAS SOUS 447384 HAS SOUPS 446304 WITH SCORE 447835.943
AT ITER 1144 NEW BEST:: SOT 2659979 SOS 1531950 HAS SOPS 1521698 HAS SOUS 447311 HAS SOUPS 446231 WITH SCORE 447762.95
AT ITER 1149 NEW BEST:: SOT 2659885 SOS 1531856 HAS SOPS 1521618 HAS SOUS 447231 HAS SOUPS 446151 WITH SCORE 447682.856
AT ITER 1157 NEW BEST:: SOT 2659870 SOS 1531846 HAS SOPS 1521608 HAS SOUS 447216 HAS SOUPS 446136 WITH SCORE 447667.846
AT ITER 1161 NEW BEST:: SOT 2659854 SOS 1531830 HAS SOPS 1521592 HAS SOUS 447204 HAS SOUPS 446124 WITH SCORE 447655.83
AT ITER 1173 NEW BEST:: SOT 2650023 SOS 1521970 HAS SOPS 1511732 HAS SOUS 445203 HAS SOUPS 444123 WITH SCORE 445644.97
AT ITER 1174 NEW BEST:: SOT 2650059 SOS 1522006 HAS SOPS 1511836 HAS SOUS 445172 HAS SOUPS 444092 WITH SCORE 445614.006
AT ITER 1194 NEW BEST:: SOT 2650053 SOS 1522000 HAS SOPS 1511830 HAS SOUS 445160 HAS SOUPS 444080 WITH SCORE 445602.0
AT ITER 1230 NEW BEST:: SOT 2649677 SOS 1521673 HAS SOPS 1511503 HAS SOUS 444784 HAS SOUPS 443704 WITH SCORE 445225.673
AT ITER 1239 NEW BEST:: SOT 2649793 SOS 1521789 HAS SOPS 1511619 HAS SOUS 444751 HAS SOUPS 443671 WITH SCORE 445192.789
AT ITER 1241 NEW BEST:: SOT 2649799 SOS 1521753 HAS SOPS 1511583 HAS SOUS 444035 HAS SOUPS 442955 WITH SCORE 444476.753
AT ITER 1245 NEW BEST:: SOT 2649516 SOS 1520838 HAS SOPS 1506948 HAS SOUS 443686 HAS SOUPS 442234 WITH SCORE 443754.838
AT ITER 1254 NEW BEST:: SOT 2649048 SOS 1520370 HAS SOPS 1506480 HAS SOUS 443115 HAS SOUPS 441663 WITH SCORE 443183.37
AT ITER 1257 NEW BEST:: SOT 2649067 SOS 1520389 HAS SOPS 1506537 HAS SOUS 443077 HAS SOUPS 441625 WITH SCORE 443145.389
AT ITER 1279 NEW BEST:: SOT 2648137 SOS 1519576 HAS SOPS 1505724 HAS SOUS 442180 HAS SOUPS 440728 WITH SCORE 442247.576
AT ITER 1295 NEW BEST:: SOT 2647870 SOS 1519229 HAS SOPS 1505377 HAS SOUS 440689 HAS SOUPS 439237 WITH SCORE 440756.229
AT ITER 1315 NEW BEST:: SOT 2646822 SOS 1518356 HAS SOPS 1504504 HAS SOUS 439377 HAS SOUPS 437925 WITH SCORE 439443.356
AT ITER 1335 NEW BEST:: SOT 2646821 SOS 1518081 HAS SOPS 1504229 HAS SOUS 439207 HAS SOUPS 437755 WITH SCORE 439273.081
AT ITER 1345 NEW BEST:: SOT 2646821 SOS 1518078 HAS SOPS 1504226 HAS SOUS 438976 HAS SOUPS 437524 WITH SCORE 439042.078
AT ITER 1352 NEW BEST:: SOT 2646776 SOS 1518033 HAS SOPS 1504279 HAS SOUS 438718 HAS SOUPS 437348 WITH SCORE 438866.033
AT ITER 1357 NEW BEST:: SOT 2646267 SOS 1517144 HAS SOPS 1503390 HAS SOUS 438244 HAS SOUPS 436874 WITH SCORE 438391.144
AT ITER 1362 NEW BEST:: SOT 2645909 SOS 1516964 HAS SOPS 1503210 HAS SOUS 437911 HAS SOUPS 436541 WITH SCORE 438057.964
AT ITER 1381 NEW BEST:: SOT 2645757 SOS 1516812 HAS SOPS 1503058 HAS SOUS 437625 HAS SOUPS 436255 WITH SCORE 437771.812
AT ITER 1409 NEW BEST:: SOT 2645725 SOS 1517041 HAS SOPS 1503292 HAS SOUS 437614 HAS SOUPS 436244 WITH SCORE 437761.041
AT ITER 1414 NEW BEST:: SOT 2645541 SOS 1516823 HAS SOPS 1503074 HAS SOUS 437396 HAS SOUPS 436026 WITH SCORE 437542.823
AT ITER 1439 NEW BEST:: SOT 2645509 SOS 1516791 HAS SOPS 1503042 HAS SOUS 437365 HAS SOUPS 435995 WITH SCORE 437511.791
AT ITER 1475 NEW BEST:: SOT 2645370 SOS 1516724 HAS SOPS 1502977 HAS SOUS 437321 HAS SOUPS 435951 WITH SCORE 437467.724
AT ITER 1487 NEW BEST:: SOT 2645328 SOS 1516472 HAS SOPS 1502725 HAS SOUS 437321 HAS SOUPS 435951 WITH SCORE 437467.472
AT ITER 1493 NEW BEST:: SOT 2645060 SOS 1516204 HAS SOPS 1502457 HAS SOUS 437043 HAS SOUPS 435673 WITH SCORE 437189.204
AT ITER 1496 NEW BEST:: SOT 2645135 SOS 1516442 HAS SOPS 1502695 HAS SOUS 437017 HAS SOUPS 435647 WITH SCORE 437163.442
AT ITER 1500 NEW BEST:: SOT 2644891 SOS 1516254 HAS SOPS 1502507 HAS SOUS 436733 HAS SOUPS 435363 WITH SCORE 436879.254
AT ITER 1526 NEW BEST:: SOT 2644812 SOS 1516175 HAS SOPS 1502349 HAS SOUS 436575 HAS SOUPS 435205 WITH SCORE 436721.175
AT ITER 1527 NEW BEST:: SOT 2644521 SOS 1515621 HAS SOPS 1501795 HAS SOUS 436469 HAS SOUPS 435099 WITH SCORE 436614.621
AT ITER 1533 NEW BEST:: SOT 2609611 SOS 1480711 HAS SOPS 1466885 HAS SOUS 429777 HAS SOUPS 428407 WITH SCORE 429887.711
AT ITER 1536 NEW BEST:: SOT 2609558 SOS 1480601 HAS SOPS 1466775 HAS SOUS 429768 HAS SOUPS 428398 WITH SCORE 429878.601
AT ITER 1543 NEW BEST:: SOT 2609630 SOS 1480673 HAS SOPS 1466857 HAS SOUS 429723 HAS SOUPS 428353 WITH SCORE 429833.673
AT ITER 1545 NEW BEST:: SOT 2609312 SOS 1480054 HAS SOPS 1466311 HAS SOUS 429410 HAS SOUPS 428040 WITH SCORE 429520.054
AT ITER 1547 NEW BEST:: SOT 2609471 SOS 1480213 HAS SOPS 1466132 HAS SOUS 429622 HAS SOUPS 427930 WITH SCORE 429410.213
AT ITER 1549 NEW BEST:: SOT 2609472 SOS 1482629 HAS SOPS 1468548 HAS SOUS 429585 HAS SOUPS 427893 WITH SCORE 429375.629
AT ITER 1552 NEW BEST:: SOT 2609297 SOS 1482454 HAS SOPS 1468373 HAS SOUS 429458 HAS SOUPS 427766 WITH SCORE 429248.454
AT ITER 1573 NEW BEST:: SOT 2609045 SOS 1481905 HAS SOPS 1467824 HAS SOUS 428041 HAS SOUPS 426349 WITH SCORE 427830.905
AT ITER 1585 NEW BEST:: SOT 2609019 SOS 1481879 HAS SOPS 1467798 HAS SOUS 428015 HAS SOUPS 426323 WITH SCORE 427804.879
AT ITER 1592 NEW BEST:: SOT 2609019 SOS 1481868 HAS SOPS 1467787 HAS SOUS 428005 HAS SOUPS 426313 WITH SCORE 427794.868
AT ITER 1602 NEW BEST:: SOT 2608906 SOS 1481755 HAS SOPS 1467674 HAS SOUS 427892 HAS SOUPS 426200 WITH SCORE 427681.755
AT ITER 1610 NEW BEST:: SOT 2607484 SOS 1480333 HAS SOPS 1466252 HAS SOUS 426721 HAS SOUPS 425029 WITH SCORE 426509.333
AT ITER 1619 NEW BEST:: SOT 2607370 SOS 1481057 HAS SOPS 1466979 HAS SOUS 426609 HAS SOUPS 424917 WITH SCORE 426398.057
AT ITER 1629 NEW BEST:: SOT 2607370 SOS 1481070 HAS SOPS 1466992 HAS SOUS 426570 HAS SOUPS 424878 WITH SCORE 426359.07
AT ITER 1636 NEW BEST:: SOT 2607270 SOS 1480970 HAS SOPS 1466916 HAS SOUS 426492 HAS SOUPS 424800 WITH SCORE 426280.97
AT ITER 1643 NEW BEST:: SOT 2607232 SOS 1480932 HAS SOPS 1466878 HAS SOUS 426416 HAS SOUPS 424724 WITH SCORE 426204.932
AT ITER 1660 NEW BEST:: SOT 2606105 SOS 1480127 HAS SOPS 1466073 HAS SOUS 426020 HAS SOUPS 424328 WITH SCORE 425808.127
AT ITER 1667 NEW BEST:: SOT 2599112 SOS 1473115 HAS SOPS 1459061 HAS SOUS 424718 HAS SOUPS 423026 WITH SCORE 424499.115
AT ITER 1672 NEW BEST:: SOT 2599129 SOS 1485363 HAS SOPS 1470602 HAS SOUS 424523 HAS SOUPS 422831 WITH SCORE 424316.363
AT ITER 1731 NEW BEST:: SOT 2598866 SOS 1484964 HAS SOPS 1470203 HAS SOUS 424260 HAS SOUPS 422568 WITH SCORE 424052.964
AT ITER 1735 NEW BEST:: SOT 2598866 SOS 1484952 HAS SOPS 1470191 HAS SOUS 424248 HAS SOUPS 422556 WITH SCORE 424040.952
AT ITER 1757 NEW BEST:: SOT 2598862 SOS 1484948 HAS SOPS 1470183 HAS SOUS 424240 HAS SOUPS 422548 WITH SCORE 424032.948
AT ITER 1759 NEW BEST:: SOT 2598862 SOS 1484962 HAS SOPS 1470197 HAS SOUS 424204 HAS SOUPS 422512 WITH SCORE 423996.962
AT ITER 1760 NEW BEST:: SOT 2596937 SOS 1483059 HAS SOPS 1468294 HAS SOUS 423221 HAS SOUPS 421529 WITH SCORE 423012.059
AT ITER 1764 NEW BEST:: SOT 2596917 SOS 1481259 HAS SOPS 1466694 HAS SOUS 423201 HAS SOUPS 421529 WITH SCORE 423010.259
AT ITER 1767 NEW BEST:: SOT 2595369 SOS 1479693 HAS SOPS 1465128 HAS SOUS 422709 HAS SOUPS 421037 WITH SCORE 422516.693
AT ITER 1769 NEW BEST:: SOT 2595178 SOS 1479494 HAS SOPS 1464931 HAS SOUS 422570 HAS SOUPS 420898 WITH SCORE 422377.494
AT ITER 1794 NEW BEST:: SOT 2594637 SOS 1478491 HAS SOPS 1463928 HAS SOUS 421947 HAS SOUPS 420275 WITH SCORE 421753.491
AT ITER 1797 NEW BEST:: SOT 2594363 SOS 1478217 HAS SOPS 1463654 HAS SOUS 421673 HAS SOUPS 420001 WITH SCORE 421479.217
AT ITER 1802 NEW BEST:: SOT 2594311 SOS 1478006 HAS SOPS 1463443 HAS SOUS 418748 HAS SOUPS 417076 WITH SCORE 418554.006
AT ITER 1803 NEW BEST:: SOT 2592859 SOS 1476554 HAS SOPS 1461991 HAS SOUS 417296 HAS SOUPS 415624 WITH SCORE 417100.554
AT ITER 1805 NEW BEST:: SOT 2592234 SOS 1476071 HAS SOPS 1461508 HAS SOUS 416614 HAS SOUPS 414942 WITH SCORE 416418.071
AT ITER 1811 NEW BEST:: SOT 2592207 SOS 1476044 HAS SOPS 1461481 HAS SOUS 416587 HAS SOUPS 414915 WITH SCORE 416391.044
AT ITER 1821 NEW BEST:: SOT 2586715 SOS 1470552 HAS SOPS 1455989 HAS SOUS 410816 HAS SOUPS 409144 WITH SCORE 410614.552
AT ITER 1846 NEW BEST:: SOT 2586713 SOS 1470550 HAS SOPS 1455987 HAS SOUS 410814 HAS SOUPS 409142 WITH SCORE 410612.55
AT ITER 1851 NEW BEST:: SOT 2586647 SOS 1470418 HAS SOPS 1455855 HAS SOUS 410588 HAS SOUPS 408916 WITH SCORE 410386.418
AT ITER 1853 NEW BEST:: SOT 2586407 SOS 1470178 HAS SOPS 1455615 HAS SOUS 409873 HAS SOUPS 408201 WITH SCORE 409671.178
AT ITER 1865 NEW BEST:: SOT 2586324 SOS 1469979 HAS SOPS 1455416 HAS SOUS 409827 HAS SOUPS 408155 WITH SCORE 409624.979
AT ITER 1879 NEW BEST:: SOT 2586124 SOS 1469819 HAS SOPS 1455256 HAS SOUS 409547 HAS SOUPS 407875 WITH SCORE 409344.819
AT ITER 1908 NEW BEST:: SOT 2586167 SOS 1469636 HAS SOPS 1455073 HAS SOUS 409364 HAS SOUPS 407692 WITH SCORE 409161.636
AT ITER 1913 NEW BEST:: SOT 2586167 SOS 1469576 HAS SOPS 1455013 HAS SOUS 409268 HAS SOUPS 407596 WITH SCORE 409065.576
AT ITER 1932 NEW BEST:: SOT 2586167 SOS 1469576 HAS SOPS 1454997 HAS SOUS 409276 HAS SOUPS 407588 WITH SCORE 409057.576
AT ITER 1935 NEW BEST:: SOT 2584875 SOS 1468319 HAS SOPS 1453740 HAS SOUS 408410 HAS SOUPS 406722 WITH SCORE 408190.319
AT ITER 1942 NEW BEST:: SOT 2584422 SOS 1467988 HAS SOPS 1453409 HAS SOUS 407970 HAS SOUPS 406282 WITH SCORE 407749.988
AT ITER 1948 NEW BEST:: SOT 2584500 SOS 1468066 HAS SOPS 1453487 HAS SOUS 407968 HAS SOUPS 406280 WITH SCORE 407748.066
AT ITER 1950 NEW BEST:: SOT 2583614 SOS 1467472 HAS SOPS 1452893 HAS SOUS 407579 HAS SOUPS 405891 WITH SCORE 407358.472
AT ITER 1957 NEW BEST:: SOT 2583647 SOS 1467363 HAS SOPS 1452784 HAS SOUS 405154 HAS SOUPS 403466 WITH SCORE 404933.363
AT ITER 1969 NEW BEST:: SOT 2583611 SOS 1467292 HAS SOPS 1452713 HAS SOUS 405092 HAS SOUPS 403404 WITH SCORE 404871.292
AT ITER 2004 NEW BEST:: SOT 2584279 SOS 1468494 HAS SOPS 1454166 HAS SOUS 403388 HAS SOUPS 401700 WITH SCORE 403168.494
AT ITER 2008 NEW BEST:: SOT 2584264 SOS 1468479 HAS SOPS 1454151 HAS SOUS 403340 HAS SOUPS 401652 WITH SCORE 403120.479
AT ITER 2025 NEW BEST:: SOT 2584264 SOS 1468503 HAS SOPS 1454175 HAS SOUS 402749 HAS SOUPS 401061 WITH SCORE 402529.503
AT ITER 2028 NEW BEST:: SOT 2584244 SOS 1468483 HAS SOPS 1454155 HAS SOUS 402729 HAS SOUPS 401041 WITH SCORE 402509.483
AT ITER 2033 NEW BEST:: SOT 2584244 SOS 1468471 HAS SOPS 1454143 HAS SOUS 402620 HAS SOUPS 400932 WITH SCORE 402400.471
AT ITER 2039 NEW BEST:: SOT 2584755 SOS 1468887 HAS SOPS 1454559 HAS SOUS 402028 HAS SOUPS 400340 WITH SCORE 401808.887
AT ITER 2044 NEW BEST:: SOT 2584389 SOS 1468521 HAS SOPS 1454193 HAS SOUS 401662 HAS SOUPS 399974 WITH SCORE 401442.521
AT ITER 2051 NEW BEST:: SOT 2584389 SOS 1468518 HAS SOPS 1454190 HAS SOUS 401611 HAS SOUPS 399923 WITH SCORE 401391.518
AT ITER 2054 NEW BEST:: SOT 2553167 SOS 1483674 HAS SOPS 1469346 HAS SOUS 396448 HAS SOUPS 394760 WITH SCORE 396243.674
AT ITER 2055 NEW BEST:: SOT 2552985 SOS 1483546 HAS SOPS 1469218 HAS SOUS 396302 HAS SOUPS 394614 WITH SCORE 396097.546
AT ITER 2070 NEW BEST:: SOT 2552646 SOS 1483235 HAS SOPS 1468907 HAS SOUS 395929 HAS SOUPS 394241 WITH SCORE 395724.235
AT ITER 2092 NEW BEST:: SOT 2552479 SOS 1483079 HAS SOPS 1468751 HAS SOUS 395831 HAS SOUPS 394143 WITH SCORE 395626.079
AT ITER 2115 NEW BEST:: SOT 2552305 SOS 1482905 HAS SOPS 1468577 HAS SOUS 395657 HAS SOUPS 393969 WITH SCORE 395451.905
AT ITER 2117 NEW BEST:: SOT 2551869 SOS 1482469 HAS SOPS 1468141 HAS SOUS 395221 HAS SOUPS 393533 WITH SCORE 395015.469
AT ITER 2124 NEW BEST:: SOT 2551776 SOS 1482376 HAS SOPS 1468048 HAS SOUS 395182 HAS SOUPS 393494 WITH SCORE 394976.376
AT ITER 2126 NEW BEST:: SOT 2551696 SOS 1482216 HAS SOPS 1467888 HAS SOUS 395142 HAS SOUPS 393454 WITH SCORE 394936.216
AT ITER 2146 NEW BEST:: SOT 2550785 SOS 1481271 HAS SOPS 1466926 HAS SOUS 394945 HAS SOUPS 393257 WITH SCORE 394738.271
AT ITER 2151 NEW BEST:: SOT 2550540 SOS 1481030 HAS SOPS 1466685 HAS SOUS 394559 HAS SOUPS 392871 WITH SCORE 394352.03
AT ITER 2157 NEW BEST:: SOT 2486889 SOS 1417379 HAS SOPS 1403034 HAS SOUS 382587 HAS SOUPS 380899 WITH SCORE 382316.379
AT ITER 2165 NEW BEST:: SOT 2486894 SOS 1417207 HAS SOPS 1402862 HAS SOUS 382541 HAS SOUPS 380853 WITH SCORE 382270.207
AT ITER 2186 NEW BEST:: SOT 2429351 SOS 1359664 HAS SOPS 1345319 HAS SOUS 373497 HAS SOUPS 371809 WITH SCORE 373168.664
AT ITER 2188 NEW BEST:: SOT 2428886 SOS 1358439 HAS SOPS 1344094 HAS SOUS 372956 HAS SOUPS 371268 WITH SCORE 372626.439
AT ITER 2192 NEW BEST:: SOT 2428882 SOS 1358428 HAS SOPS 1344083 HAS SOUS 372690 HAS SOUPS 371002 WITH SCORE 372360.428
AT ITER 2195 NEW BEST:: SOT 2428287 SOS 1358039 HAS SOPS 1343694 HAS SOUS 372140 HAS SOUPS 370452 WITH SCORE 371810.039
AT ITER 2198 NEW BEST:: SOT 2429245 SOS 1301387 HAS SOPS 1278553 HAS SOUS 371703 HAS SOUPS 369784 WITH SCORE 371085.387
AT ITER 2205 NEW BEST:: SOT 2428079 SOS 1300221 HAS SOPS 1277387 HAS SOUS 370758 HAS SOUPS 368839 WITH SCORE 370139.221
AT ITER 2207 NEW BEST:: SOT 2428079 SOS 1300489 HAS SOPS 1277655 HAS SOUS 370756 HAS SOUPS 368837 WITH SCORE 370137.489
AT ITER 2212 NEW BEST:: SOT 2428066 SOS 1300476 HAS SOPS 1277642 HAS SOUS 370730 HAS SOUPS 368811 WITH SCORE 370111.476
AT ITER 2215 NEW BEST:: SOT 2428057 SOS 1300224 HAS SOPS 1277516 HAS SOUS 370712 HAS SOUPS 368793 WITH SCORE 370093.224
AT ITER 2248 NEW BEST:: SOT 2428027 SOS 1300194 HAS SOPS 1277486 HAS SOUS 370688 HAS SOUPS 368769 WITH SCORE 370069.194
AT ITER 2267 NEW BEST:: SOT 2428007 SOS 1300108 HAS SOPS 1277400 HAS SOUS 370506 HAS SOUPS 368587 WITH SCORE 369887.108
AT ITER 2279 NEW BEST:: SOT 2427989 SOS 1300000 HAS SOPS 1277292 HAS SOUS 370506 HAS SOUPS 368587 WITH SCORE 369887.0
AT ITER 2281 NEW BEST:: SOT 2427989 SOS 1299755 HAS SOPS 1277047 HAS SOUS 370506 HAS SOUPS 368587 WITH SCORE 369886.755
AT ITER 2318 NEW BEST:: SOT 2428047 SOS 1299819 HAS SOPS 1277065 HAS SOUS 370458 HAS SOUPS 368539 WITH SCORE 369838.819
AT ITER 2327 NEW BEST:: SOT 2432662 SOS 1304434 HAS SOPS 1281680 HAS SOUS 370260 HAS SOUPS 368341 WITH SCORE 369645.434
AT ITER 2338 NEW BEST:: SOT 2432550 SOS 1304322 HAS SOPS 1281568 HAS SOUS 370064 HAS SOUPS 368145 WITH SCORE 369449.322
AT ITER 2354 NEW BEST:: SOT 2432448 SOS 1304220 HAS SOPS 1281466 HAS SOUS 369953 HAS SOUPS 368034 WITH SCORE 369338.22
AT ITER 2361 NEW BEST:: SOT 2431960 SOS 1303633 HAS SOPS 1280879 HAS SOUS 369437 HAS SOUPS 367518 WITH SCORE 368821.633
AT ITER 2366 NEW BEST:: SOT 2431889 SOS 1303498 HAS SOPS 1280744 HAS SOUS 369289 HAS SOUPS 367370 WITH SCORE 368673.498
AT ITER 2380 NEW BEST:: SOT 2431815 SOS 1303424 HAS SOPS 1280585 HAS SOUS 369177 HAS SOUPS 367258 WITH SCORE 368561.424
AT ITER 2384 NEW BEST:: SOT 2431593 SOS 1303062 HAS SOPS 1280437 HAS SOUS 369036 HAS SOUPS 367117 WITH SCORE 368420.062
AT ITER 2392 NEW BEST:: SOT 2431536 SOS 1303005 HAS SOPS 1280380 HAS SOUS 368719 HAS SOUPS 366800 WITH SCORE 368103.005
AT ITER 2395 NEW BEST:: SOT 2430934 SOS 1302403 HAS SOPS 1279778 HAS SOUS 368606 HAS SOUPS 366687 WITH SCORE 367989.403
AT ITER 2400 NEW BEST:: SOT 2430961 SOS 1302678 HAS SOPS 1280053 HAS SOUS 368536 HAS SOUPS 366617 WITH SCORE 367919.678
AT ITER 2407 NEW BEST:: SOT 2431075 SOS 1303044 HAS SOPS 1280419 HAS SOUS 368468 HAS SOUPS 366549 WITH SCORE 367852.044
AT ITER 2422 NEW BEST:: SOT 2430903 SOS 1302915 HAS SOPS 1280290 HAS SOUS 367727 HAS SOUPS 365808 WITH SCORE 367110.915
AT ITER 2442 NEW BEST:: SOT 2430857 SOS 1302869 HAS SOPS 1280244 HAS SOUS 367528 HAS SOUPS 365609 WITH SCORE 366911.869
AT ITER 2449 NEW BEST:: SOT 2430832 SOS 1302834 HAS SOPS 1280209 HAS SOUS 367403 HAS SOUPS 365484 WITH SCORE 366786.834
AT ITER 2458 NEW BEST:: SOT 2430885 SOS 1303214 HAS SOPS 1280589 HAS SOUS 367380 HAS SOUPS 365461 WITH SCORE 366764.214
AT ITER 2465 NEW BEST:: SOT 2430936 SOS 1303634 HAS SOPS 1281235 HAS SOUS 366542 HAS SOUPS 364615 WITH SCORE 365918.634
AT ITER 2477 NEW BEST:: SOT 2430079 SOS 1302776 HAS SOPS 1280377 HAS SOUS 365958 HAS SOUPS 364031 WITH SCORE 365333.776
AT ITER 2481 NEW BEST:: SOT 2429930 SOS 1302627 HAS SOPS 1280267 HAS SOUS 365840 HAS SOUPS 363924 WITH SCORE 365226.627
AT ITER 2495 NEW BEST:: SOT 2429398 SOS 1302063 HAS SOPS 1279703 HAS SOUS 365514 HAS SOUPS 363598 WITH SCORE 364900.063
AT ITER 2503 NEW BEST:: SOT 2429222 SOS 1301799 HAS SOPS 1279439 HAS SOUS 365250 HAS SOUPS 363334 WITH SCORE 364635.799
AT ITER 2506 NEW BEST:: SOT 2429192 SOS 1301764 HAS SOPS 1279404 HAS SOUS 365166 HAS SOUPS 363250 WITH SCORE 364551.764
AT ITER 2513 NEW BEST:: SOT 2429076 SOS 1301590 HAS SOPS 1279230 HAS SOUS 365021 HAS SOUPS 363105 WITH SCORE 364406.59
AT ITER 2518 NEW BEST:: SOT 2429187 SOS 1301701 HAS SOPS 1279301 HAS SOUS 364975 HAS SOUPS 363059 WITH SCORE 364360.701
AT ITER 2527 NEW BEST:: SOT 2429132 SOS 1301646 HAS SOPS 1279246 HAS SOUS 364893 HAS SOUPS 362977 WITH SCORE 364278.646
AT ITER 2541 NEW BEST:: SOT 2428786 SOS 1301441 HAS SOPS 1279272 HAS SOUS 364438 HAS SOUPS 362522 WITH SCORE 363823.441
AT ITER 2545 NEW BEST:: SOT 2428720 SOS 1301441 HAS SOPS 1280152 HAS SOUS 364284 HAS SOUPS 362456 WITH SCORE 363757.441
AT ITER 2556 NEW BEST:: SOT 2428678 SOS 1301399 HAS SOPS 1280110 HAS SOUS 364215 HAS SOUPS 362387 WITH SCORE 363688.399
AT ITER 2558 NEW BEST:: SOT 2428678 SOS 1301399 HAS SOPS 1280110 HAS SOUS 364188 HAS SOUPS 362360 WITH SCORE 363661.399
AT ITER 2572 NEW BEST:: SOT 2428279 SOS 1301000 HAS SOPS 1279711 HAS SOUS 363799 HAS SOUPS 361971 WITH SCORE 363272.0
AT ITER 2587 NEW BEST:: SOT 2428264 SOS 1300975 HAS SOPS 1279686 HAS SOUS 363774 HAS SOUPS 361946 WITH SCORE 363246.975
AT ITER 2604 NEW BEST:: SOT 2428226 SOS 1300933 HAS SOPS 1279644 HAS SOUS 363696 HAS SOUPS 361868 WITH SCORE 363168.933
AT ITER 2620 NEW BEST:: SOT 2428028 SOS 1300439 HAS SOPS 1279002 HAS SOUS 363380 HAS SOUPS 361552 WITH SCORE 362852.439
AT ITER 2624 NEW BEST:: SOT 2428028 SOS 1300425 HAS SOPS 1278988 HAS SOUS 363380 HAS SOUPS 361552 WITH SCORE 362852.425
AT ITER 2640 NEW BEST:: SOT 2428722 SOS 1301414 HAS SOPS 1279977 HAS SOUS 362590 HAS SOUPS 360762 WITH SCORE 362063.414
AT ITER 2646 NEW BEST:: SOT 2407300 SOS 1307561 HAS SOPS 1286124 HAS SOUS 361339 HAS SOUPS 359511 WITH SCORE 360818.561
AT ITER 2673 NEW BEST:: SOT 2407423 SOS 1307631 HAS SOPS 1286309 HAS SOUS 361303 HAS SOUPS 359475 WITH SCORE 360782.631
AT ITER 2681 NEW BEST:: SOT 2406547 SOS 1306974 HAS SOPS 1285652 HAS SOUS 360406 HAS SOUPS 358578 WITH SCORE 359884.974
AT ITER 2707 NEW BEST:: SOT 2406384 SOS 1306811 HAS SOPS 1285489 HAS SOUS 360080 HAS SOUPS 358252 WITH SCORE 359558.811
AT ITER 2729 NEW BEST:: SOT 2406414 SOS 1306841 HAS SOPS 1285479 HAS SOUS 360036 HAS SOUPS 358208 WITH SCORE 359514.841
AT ITER 2746 NEW BEST:: SOT 2406257 SOS 1306726 HAS SOPS 1285364 HAS SOUS 359645 HAS SOUPS 357817 WITH SCORE 359123.726
AT ITER 2751 NEW BEST:: SOT 2406598 SOS 1306877 HAS SOPS 1285515 HAS SOUS 357090 HAS SOUPS 355262 WITH SCORE 356568.877
AT ITER 2753 NEW BEST:: SOT 2406589 SOS 1306868 HAS SOPS 1285506 HAS SOUS 357075 HAS SOUPS 355247 WITH SCORE 356553.868
AT ITER 2787 NEW BEST:: SOT 2406374 SOS 1306593 HAS SOPS 1285231 HAS SOUS 356826 HAS SOUPS 354998 WITH SCORE 356304.593
AT ITER 2818 NEW BEST:: SOT 2406135 SOS 1305952 HAS SOPS 1284590 HAS SOUS 356417 HAS SOUPS 354589 WITH SCORE 355894.952
AT ITER 2830 NEW BEST:: SOT 2405845 SOS 1305741 HAS SOPS 1284656 HAS SOUS 356223 HAS SOUPS 354395 WITH SCORE 355700.741
AT ITER 2845 NEW BEST:: SOT 2405984 SOS 1305772 HAS SOPS 1284687 HAS SOUS 354829 HAS SOUPS 353001 WITH SCORE 354306.772
AT ITER 2847 NEW BEST:: SOT 2405984 SOS 1305742 HAS SOPS 1284657 HAS SOUS 354799 HAS SOUPS 352971 WITH SCORE 354276.742
AT ITER 2848 NEW BEST:: SOT 2405794 SOS 1304952 HAS SOPS 1283867 HAS SOUS 354529 HAS SOUPS 352701 WITH SCORE 354005.952
AT ITER 2849 NEW BEST:: SOT 2405594 SOS 1304802 HAS SOPS 1283717 HAS SOUS 353259 HAS SOUPS 351431 WITH SCORE 352735.802
AT ITER 2864 NEW BEST:: SOT 2405496 SOS 1304681 HAS SOPS 1283596 HAS SOUS 353216 HAS SOUPS 351388 WITH SCORE 352692.681
AT ITER 2870 NEW BEST:: SOT 2405496 SOS 1304681 HAS SOPS 1283596 HAS SOUS 353174 HAS SOUPS 351346 WITH SCORE 352650.681
AT ITER 2880 NEW BEST:: SOT 2405289 SOS 1304587 HAS SOPS 1283740 HAS SOUS 353114 HAS SOUPS 351286 WITH SCORE 352590.587
AT ITER 2882 NEW BEST:: SOT 2405274 SOS 1304572 HAS SOPS 1283725 HAS SOUS 353084 HAS SOUPS 351256 WITH SCORE 352560.572
AT ITER 2894 NEW BEST:: SOT 2405146 SOS 1304412 HAS SOPS 1283565 HAS SOUS 352828 HAS SOUPS 351000 WITH SCORE 352304.412
AT ITER 2898 NEW BEST:: SOT 2389166 SOS 1355805 HAS SOPS 1334958 HAS SOUS 350297 HAS SOUPS 348469 WITH SCORE 349824.805
AT ITER 2906 NEW BEST:: SOT 2388850 SOS 1354912 HAS SOPS 1334065 HAS SOUS 350013 HAS SOUPS 348185 WITH SCORE 349539.912
AT ITER 2912 NEW BEST:: SOT 2388794 SOS 1354856 HAS SOPS 1334009 HAS SOUS 349901 HAS SOUPS 348073 WITH SCORE 349427.856
AT ITER 2913 NEW BEST:: SOT 2388794 SOS 1354903 HAS SOPS 1334056 HAS SOUS 349828 HAS SOUPS 348000 WITH SCORE 349354.903
AT ITER 2923 NEW BEST:: SOT 2388772 SOS 1354881 HAS SOPS 1334034 HAS SOUS 349784 HAS SOUPS 347956 WITH SCORE 349310.881
AT ITER 2925 NEW BEST:: SOT 2388643 SOS 1354514 HAS SOPS 1333667 HAS SOUS 349553 HAS SOUPS 347725 WITH SCORE 349079.514
AT ITER 2929 NEW BEST:: SOT 2388582 SOS 1354453 HAS SOPS 1333606 HAS SOUS 349518 HAS SOUPS 347690 WITH SCORE 349044.453
AT ITER 2932 NEW BEST:: SOT 2387898 SOS 1353940 HAS SOPS 1333093 HAS SOUS 348796 HAS SOUPS 346968 WITH SCORE 348321.94
AT ITER 2938 NEW BEST:: SOT 2387681 SOS 1353254 HAS SOPS 1332328 HAS SOUS 348256 HAS SOUPS 346428 WITH SCORE 347781.254
AT ITER 2940 NEW BEST:: SOT 2387741 SOS 1353442 HAS SOPS 1332516 HAS SOUS 348153 HAS SOUPS 346325 WITH SCORE 347678.442
AT ITER 2952 NEW BEST:: SOT 2387852 SOS 1353555 HAS SOPS 1332629 HAS SOUS 348139 HAS SOUPS 346311 WITH SCORE 347664.555
AT ITER 2953 NEW BEST:: SOT 2387852 SOS 1353555 HAS SOPS 1332629 HAS SOUS 347875 HAS SOUPS 346047 WITH SCORE 347400.555
AT ITER 2954 NEW BEST:: SOT 2387755 SOS 1355100 HAS SOPS 1334324 HAS SOUS 347467 HAS SOUPS 345639 WITH SCORE 346994.1
AT ITER 2960 NEW BEST:: SOT 2387762 SOS 1355048 HAS SOPS 1334272 HAS SOUS 346419 HAS SOUPS 344591 WITH SCORE 345946.048
AT ITER 2986 NEW BEST:: SOT 2388022 SOS 1355272 HAS SOPS 1334496 HAS SOUS 346387 HAS SOUPS 344559 WITH SCORE 345914.272
AT ITER 2991 NEW BEST:: SOT 2368564 SOS 1336050 HAS SOPS 1315274 HAS SOUS 343760 HAS SOUPS 341932 WITH SCORE 343268.05
AT ITER 2997 NEW BEST:: SOT 2368542 SOS 1336028 HAS SOPS 1315252 HAS SOUS 343738 HAS SOUPS 341910 WITH SCORE 343246.028
AT ITER 3004 NEW BEST:: SOT 2368648 SOS 1345375 HAS SOPS 1323549 HAS SOUS 343781 HAS SOUPS 341848 WITH SCORE 343193.375
AT ITER 3005 NEW BEST:: SOT 2368767 SOS 1346840 HAS SOPS 1325014 HAS SOUS 343715 HAS SOUPS 341782 WITH SCORE 343128.84
AT ITER 3013 NEW BEST:: SOT 2368445 SOS 1346541 HAS SOPS 1324715 HAS SOUS 343416 HAS SOUPS 341483 WITH SCORE 342829.541
AT ITER 3019 NEW BEST:: SOT 2368434 SOS 1346530 HAS SOPS 1324704 HAS SOUS 343405 HAS SOUPS 341472 WITH SCORE 342818.53
AT ITER 3025 NEW BEST:: SOT 2368955 SOS 1348169 HAS SOPS 1326343 HAS SOUS 341198 HAS SOUPS 339265 WITH SCORE 340613.169
AT ITER 3030 NEW BEST:: SOT 2368891 SOS 1348073 HAS SOPS 1326247 HAS SOUS 341146 HAS SOUPS 339213 WITH SCORE 340561.073
AT ITER 3031 NEW BEST:: SOT 2368914 SOS 1348096 HAS SOPS 1326119 HAS SOUS 341114 HAS SOUPS 339181 WITH SCORE 340529.096
AT ITER 3039 NEW BEST:: SOT 2368914 SOS 1347646 HAS SOPS 1325669 HAS SOUS 341114 HAS SOUPS 339181 WITH SCORE 340528.646
AT ITER 3052 NEW BEST:: SOT 2368835 SOS 1347546 HAS SOPS 1325569 HAS SOUS 341094 HAS SOUPS 339161 WITH SCORE 340508.546
AT ITER 3053 NEW BEST:: SOT 2368793 SOS 1347518 HAS SOPS 1325541 HAS SOUS 341066 HAS SOUPS 339133 WITH SCORE 340480.518
AT ITER 3059 NEW BEST:: SOT 2368790 SOS 1347515 HAS SOPS 1325538 HAS SOUS 341060 HAS SOUPS 339127 WITH SCORE 340474.515
AT ITER 3083 NEW BEST:: SOT 2368756 SOS 1347481 HAS SOPS 1325472 HAS SOUS 340992 HAS SOUPS 339059 WITH SCORE 340406.481
AT ITER 3085 NEW BEST:: SOT 2368756 SOS 1347481 HAS SOPS 1325472 HAS SOUS 340962 HAS SOUPS 339029 WITH SCORE 340376.481
AT ITER 3096 NEW BEST:: SOT 2368380 SOS 1347192 HAS SOPS 1325183 HAS SOUS 340343 HAS SOUPS 338410 WITH SCORE 339757.192
AT ITER 3106 NEW BEST:: SOT 2368180 SOS 1346898 HAS SOPS 1324889 HAS SOUS 340049 HAS SOUPS 338116 WITH SCORE 339462.898
AT ITER 3111 NEW BEST:: SOT 2368152 SOS 1346842 HAS SOPS 1324833 HAS SOUS 339993 HAS SOUPS 338060 WITH SCORE 339406.842
AT ITER 3118 NEW BEST:: SOT 2368215 SOS 1346905 HAS SOPS 1324828 HAS SOUS 339935 HAS SOUPS 338002 WITH SCORE 339348.905
AT ITER 3134 NEW BEST:: SOT 2368179 SOS 1346869 HAS SOPS 1324792 HAS SOUS 339863 HAS SOUPS 337930 WITH SCORE 339276.869
AT ITER 3144 NEW BEST:: SOT 2368046 SOS 1346760 HAS SOPS 1324683 HAS SOUS 339754 HAS SOUPS 337821 WITH SCORE 339167.76
AT ITER 3167 NEW BEST:: SOT 2367952 SOS 1346666 HAS SOPS 1324589 HAS SOUS 339660 HAS SOUPS 337727 WITH SCORE 339073.666
AT ITER 3181 NEW BEST:: SOT 2367689 SOS 1346403 HAS SOPS 1324326 HAS SOUS 339224 HAS SOUPS 337291 WITH SCORE 338637.403
AT ITER 3182 NEW BEST:: SOT 2367563 SOS 1346212 HAS SOPS 1324094 HAS SOUS 339015 HAS SOUPS 337082 WITH SCORE 338428.212
AT ITER 3201 NEW BEST:: SOT 2367538 SOS 1346187 HAS SOPS 1324069 HAS SOUS 338965 HAS SOUPS 337032 WITH SCORE 338378.187
AT ITER 3203 NEW BEST:: SOT 2367454 SOS 1327190 HAS SOPS 1307432 HAS SOUS 338609 HAS SOUPS 336915 WITH SCORE 338242.19
AT ITER 3211 NEW BEST:: SOT 2367444 SOS 1327180 HAS SOPS 1307422 HAS SOUS 338584 HAS SOUPS 336890 WITH SCORE 338217.18
AT ITER 3219 NEW BEST:: SOT 2367423 SOS 1327138 HAS SOPS 1307380 HAS SOUS 338542 HAS SOUPS 336848 WITH SCORE 338175.138
AT ITER 3256 NEW BEST:: SOT 2332360 SOS 1291935 HAS SOPS 1272177 HAS SOUS 333623 HAS SOUPS 331929 WITH SCORE 333220.935
AT ITER 3260 NEW BEST:: SOT 2332360 SOS 1226578 HAS SOPS 1206820 HAS SOUS 333579 HAS SOUPS 331885 WITH SCORE 333111.578
AT ITER 3280 NEW BEST:: SOT 2332591 SOS 1226745 HAS SOPS 1206987 HAS SOUS 333159 HAS SOUPS 331465 WITH SCORE 332691.745
AT ITER 3282 NEW BEST:: SOT 2332570 SOS 1226640 HAS SOPS 1206882 HAS SOUS 333159 HAS SOUPS 331465 WITH SCORE 332691.64
AT ITER 3283 NEW BEST:: SOT 2332526 SOS 1226596 HAS SOPS 1206838 HAS SOUS 333071 HAS SOUPS 331377 WITH SCORE 332603.596
AT ITER 3288 NEW BEST:: SOT 2322418 SOS 1216488 HAS SOPS 1196730 HAS SOUS 331208 HAS SOUPS 329514 WITH SCORE 330730.488
AT ITER 3302 NEW BEST:: SOT 2322358 SOS 1216428 HAS SOPS 1196670 HAS SOUS 331103 HAS SOUPS 329409 WITH SCORE 330625.428
AT ITER 3314 NEW BEST:: SOT 2321099 SOS 1215094 HAS SOPS 1195336 HAS SOUS 330202 HAS SOUPS 328508 WITH SCORE 329723.094
AT ITER 3315 NEW BEST:: SOT 2321089 SOS 1215084 HAS SOPS 1195326 HAS SOUS 330178 HAS SOUPS 328484 WITH SCORE 329699.084
AT ITER 3333 NEW BEST:: SOT 2321070 SOS 1215140 HAS SOPS 1195340 HAS SOUS 330108 HAS SOUPS 328414 WITH SCORE 329629.14
AT ITER 3335 NEW BEST:: SOT 2320960 SOS 1215030 HAS SOPS 1195285 HAS SOUS 330026 HAS SOUPS 328332 WITH SCORE 329547.03
AT ITER 3336 NEW BEST:: SOT 2320880 SOS 1214986 HAS SOPS 1195241 HAS SOUS 328506 HAS SOUPS 326812 WITH SCORE 328026.986
AT ITER 3342 NEW BEST:: SOT 2320940 SOS 1188010 HAS SOPS 1168265 HAS SOUS 327138 HAS SOUPS 325444 WITH SCORE 326632.01
AT ITER 3360 NEW BEST:: SOT 2320924 SOS 1188002 HAS SOPS 1168257 HAS SOUS 327010 HAS SOUPS 325316 WITH SCORE 326504.002
AT ITER 3378 NEW BEST:: SOT 2320612 SOS 1187673 HAS SOPS 1167928 HAS SOUS 326653 HAS SOUPS 324959 WITH SCORE 326146.673
AT ITER 3379 NEW BEST:: SOT 2320610 SOS 1187671 HAS SOPS 1167924 HAS SOUS 326648 HAS SOUPS 324955 WITH SCORE 326142.671
AT ITER 3393 NEW BEST:: SOT 2320539 SOS 1187273 HAS SOPS 1167526 HAS SOUS 326648 HAS SOUPS 324955 WITH SCORE 326142.273
AT ITER 3406 NEW BEST:: SOT 2313087 SOS 1179821 HAS SOPS 1160074 HAS SOUS 325307 HAS SOUPS 323614 WITH SCORE 324793.821
AT ITER 3424 NEW BEST:: SOT 2313065 SOS 1180065 HAS SOPS 1160174 HAS SOUS 325289 HAS SOUPS 323580 WITH SCORE 324760.065
AT ITER 3432 NEW BEST:: SOT 2313036 SOS 1180007 HAS SOPS 1160116 HAS SOUS 325279 HAS SOUPS 323570 WITH SCORE 324750.007
AT ITER 3435 NEW BEST:: SOT 2269955 SOS 1161186 HAS SOPS 1141295 HAS SOUS 323140 HAS SOUPS 321431 WITH SCORE 322592.186
AT ITER 3437 NEW BEST:: SOT 2268809 SOS 1159796 HAS SOPS 1139905 HAS SOUS 322124 HAS SOUPS 320415 WITH SCORE 321574.796
AT ITER 3448 NEW BEST:: SOT 2268799 SOS 1159786 HAS SOPS 1139895 HAS SOUS 322111 HAS SOUPS 320402 WITH SCORE 321561.786
AT ITER 3450 NEW BEST:: SOT 2267337 SOS 1157863 HAS SOPS 1137972 HAS SOUS 321608 HAS SOUPS 319899 WITH SCORE 321056.863
AT ITER 3451 NEW BEST:: SOT 2267310 SOS 1157809 HAS SOPS 1137962 HAS SOUS 321473 HAS SOUPS 319764 WITH SCORE 320921.809
AT ITER 3473 NEW BEST:: SOT 2267042 SOS 1154831 HAS SOPS 1134984 HAS SOUS 321255 HAS SOUPS 319546 WITH SCORE 320700.831
AT ITER 3474 NEW BEST:: SOT 2266770 SOS 1155205 HAS SOPS 1135409 HAS SOUS 319974 HAS SOUPS 318265 WITH SCORE 319420.205
AT ITER 3475 NEW BEST:: SOT 2266777 SOS 1155408 HAS SOPS 1135612 HAS SOUS 319802 HAS SOUPS 318093 WITH SCORE 319248.408
AT ITER 3486 NEW BEST:: SOT 2266555 SOS 1155084 HAS SOPS 1135288 HAS SOUS 319562 HAS SOUPS 317853 WITH SCORE 319008.084
AT ITER 3491 NEW BEST:: SOT 2266496 SOS 1155025 HAS SOPS 1135229 HAS SOUS 319520 HAS SOUPS 317811 WITH SCORE 318966.025
AT ITER 3497 NEW BEST:: SOT 2266529 SOS 1155045 HAS SOPS 1135249 HAS SOUS 319399 HAS SOUPS 317690 WITH SCORE 318845.045
AT ITER 3498 NEW BEST:: SOT 2266507 SOS 1155023 HAS SOPS 1135274 HAS SOUS 319312 HAS SOUPS 317603 WITH SCORE 318758.023
AT ITER 3506 NEW BEST:: SOT 2294192 SOS 1158482 HAS SOPS 1138733 HAS SOUS 318774 HAS SOUPS 317065 WITH SCORE 318223.482
AT ITER 3512 NEW BEST:: SOT 2294200 SOS 1158512 HAS SOPS 1138763 HAS SOUS 318767 HAS SOUPS 317058 WITH SCORE 318216.512
AT ITER 3516 NEW BEST:: SOT 2294099 SOS 1158607 HAS SOPS 1138858 HAS SOUS 318570 HAS SOUPS 316861 WITH SCORE 318019.607
AT ITER 3540 NEW BEST:: SOT 2294364 SOS 1159183 HAS SOPS 1139434 HAS SOUS 318380 HAS SOUPS 316671 WITH SCORE 317830.183
AT ITER 3549 NEW BEST:: SOT 2294353 SOS 1159172 HAS SOPS 1139423 HAS SOUS 318358 HAS SOUPS 316649 WITH SCORE 317808.172
AT ITER 3561 NEW BEST:: SOT 2294341 SOS 1159180 HAS SOPS 1139427 HAS SOUS 318350 HAS SOUPS 316641 WITH SCORE 317800.18
AT ITER 3563 NEW BEST:: SOT 2293784 SOS 1158138 HAS SOPS 1138385 HAS SOUS 317245 HAS SOUPS 315536 WITH SCORE 316694.138
AT ITER 3576 NEW BEST:: SOT 2293863 SOS 1158217 HAS SOPS 1138464 HAS SOUS 317189 HAS SOUPS 315480 WITH SCORE 316638.217
AT ITER 3591 NEW BEST:: SOT 2293859 SOS 1158213 HAS SOPS 1138460 HAS SOUS 317079 HAS SOUPS 315370 WITH SCORE 316528.213
AT ITER 3604 NEW BEST:: SOT 2293792 SOS 1158146 HAS SOPS 1138393 HAS SOUS 317034 HAS SOUPS 315325 WITH SCORE 316483.146
AT ITER 3631 NEW BEST:: SOT 2293773 SOS 1158127 HAS SOPS 1138362 HAS SOUS 317032 HAS SOUPS 315323 WITH SCORE 316481.127
AT ITER 3636 NEW BEST:: SOT 2293620 SOS 1157974 HAS SOPS 1138193 HAS SOUS 316912 HAS SOUPS 315203 WITH SCORE 316360.974
AT ITER 3653 NEW BEST:: SOT 2293587 SOS 1157940 HAS SOPS 1138159 HAS SOUS 316846 HAS SOUPS 315137 WITH SCORE 316294.94
AT ITER 3658 NEW BEST:: SOT 2293396 SOS 1158298 HAS SOPS 1138517 HAS SOUS 316669 HAS SOUPS 314960 WITH SCORE 316118.298
AT ITER 3671 NEW BEST:: SOT 2293411 SOS 1158340 HAS SOPS 1138559 HAS SOUS 316560 HAS SOUPS 314851 WITH SCORE 316009.34
AT ITER 3684 NEW BEST:: SOT 2293227 SOS 1158064 HAS SOPS 1138283 HAS SOUS 316296 HAS SOUPS 314587 WITH SCORE 315745.064
AT ITER 3686 NEW BEST:: SOT 2292987 SOS 1157744 HAS SOPS 1137963 HAS SOUS 316056 HAS SOUPS 314347 WITH SCORE 315504.744
AT ITER 3691 NEW BEST:: SOT 2292658 SOS 1157491 HAS SOPS 1137710 HAS SOUS 315687 HAS SOUPS 313978 WITH SCORE 315135.491
AT ITER 3695 NEW BEST:: SOT 2280592 SOS 1145415 HAS SOPS 1125634 HAS SOUS 313699 HAS SOUPS 311990 WITH SCORE 313135.415
AT ITER 3698 NEW BEST:: SOT 2280609 SOS 1145432 HAS SOPS 1125622 HAS SOUS 313673 HAS SOUPS 311964 WITH SCORE 313109.432
AT ITER 3713 NEW BEST:: SOT 2279879 SOS 1144683 HAS SOPS 1124873 HAS SOUS 313342 HAS SOUPS 311633 WITH SCORE 312777.683
AT ITER 3725 NEW BEST:: SOT 2279886 SOS 1144690 HAS SOPS 1124880 HAS SOUS 313296 HAS SOUPS 311587 WITH SCORE 312731.69
AT ITER 3727 NEW BEST:: SOT 2279868 SOS 1144665 HAS SOPS 1124855 HAS SOUS 313269 HAS SOUPS 311560 WITH SCORE 312704.665
AT ITER 3728 NEW BEST:: SOT 2279879 SOS 1144676 HAS SOPS 1124853 HAS SOUS 313256 HAS SOUPS 311547 WITH SCORE 312691.676
AT ITER 3830 NEW BEST:: SOT 2279962 SOS 1144759 HAS SOPS 1124936 HAS SOUS 313194 HAS SOUPS 311485 WITH SCORE 312629.759
AT ITER 3831 NEW BEST:: SOT 2279900 SOS 1144759 HAS SOPS 1124936 HAS SOUS 313132 HAS SOUPS 311423 WITH SCORE 312567.759
AT ITER 3836 NEW BEST:: SOT 2279892 SOS 1144751 HAS SOPS 1124918 HAS SOUS 313113 HAS SOUPS 311404 WITH SCORE 312548.751
AT ITER 3843 NEW BEST:: SOT 2279794 SOS 1144653 HAS SOPS 1124780 HAS SOUS 312898 HAS SOUPS 311189 WITH SCORE 312333.653
AT ITER 3853 NEW BEST:: SOT 2279754 SOS 1144584 HAS SOPS 1124711 HAS SOUS 312818 HAS SOUPS 311109 WITH SCORE 312253.584
AT ITER 3881 NEW BEST:: SOT 2278815 SOS 1143663 HAS SOPS 1123790 HAS SOUS 312048 HAS SOUPS 310339 WITH SCORE 311482.663
AT ITER 3884 NEW BEST:: SOT 2252545 SOS 1134737 HAS SOPS 1114864 HAS SOUS 311656 HAS SOUPS 309947 WITH SCORE 311081.737
AT ITER 3892 NEW BEST:: SOT 2252976 SOS 1135160 HAS SOPS 1115287 HAS SOUS 311361 HAS SOUPS 309652 WITH SCORE 310787.16
AT ITER 3901 NEW BEST:: SOT 2252976 SOS 1073644 HAS SOPS 1053771 HAS SOUS 311361 HAS SOUPS 309652 WITH SCORE 310725.644
AT ITER 3907 NEW BEST:: SOT 2252868 SOS 1073536 HAS SOPS 1053628 HAS SOUS 311223 HAS SOUPS 309505 WITH SCORE 310578.536
AT ITER 3916 NEW BEST:: SOT 2252805 SOS 1073385 HAS SOPS 1053477 HAS SOUS 311097 HAS SOUPS 309379 WITH SCORE 310452.385
AT ITER 3928 NEW BEST:: SOT 2252784 SOS 1073343 HAS SOPS 1053435 HAS SOUS 311055 HAS SOUPS 309337 WITH SCORE 310410.343
AT ITER 3935 NEW BEST:: SOT 2252754 SOS 1073293 HAS SOPS 1053385 HAS SOUS 311005 HAS SOUPS 309287 WITH SCORE 310360.293
AT ITER 3950 NEW BEST:: SOT 2252604 SOS 1073143 HAS SOPS 1053235 HAS SOUS 310705 HAS SOUPS 308987 WITH SCORE 310060.143
AT ITER 3952 NEW BEST:: SOT 2252177 SOS 1072656 HAS SOPS 1052748 HAS SOUS 310342 HAS SOUPS 308624 WITH SCORE 309696.656
AT ITER 3955 NEW BEST:: SOT 2252214 SOS 1072534 HAS SOPS 1052626 HAS SOUS 310212 HAS SOUPS 308494 WITH SCORE 309566.534
AT ITER 3995 NEW BEST:: SOT 2252158 SOS 1072492 HAS SOPS 1052584 HAS SOUS 310142 HAS SOUPS 308424 WITH SCORE 309496.492
AT ITER 3999 NEW BEST:: SOT 2251506 SOS 1071145 HAS SOPS 1051237 HAS SOUS 308891 HAS SOUPS 307173 WITH SCORE 308244.145
AT ITER 4023 NEW BEST:: SOT 2251036 SOS 1070811 HAS SOPS 1050903 HAS SOUS 308386 HAS SOUPS 306668 WITH SCORE 307738.811
AT ITER 4028 NEW BEST:: SOT 2251016 SOS 1070531 HAS SOPS 1050508 HAS SOUS 308106 HAS SOUPS 306388 WITH SCORE 307458.531
AT ITER 4036 NEW BEST:: SOT 2250754 SOS 1070319 HAS SOPS 1050296 HAS SOUS 307132 HAS SOUPS 305414 WITH SCORE 306484.319
AT ITER 4111 NEW BEST:: SOT 2250958 SOS 1070660 HAS SOPS 1050637 HAS SOUS 307112 HAS SOUPS 305394 WITH SCORE 306464.66
AT ITER 4113 NEW BEST:: SOT 2250850 SOS 1070587 HAS SOPS 1050564 HAS SOUS 307036 HAS SOUPS 305318 WITH SCORE 306388.587
AT ITER 4121 NEW BEST:: SOT 2250459 SOS 1070386 HAS SOPS 1050363 HAS SOUS 306885 HAS SOUPS 305167 WITH SCORE 306237.386
AT ITER 4136 NEW BEST:: SOT 2214851 SOS 1044789 HAS SOPS 1024766 HAS SOUS 303996 HAS SOUPS 302278 WITH SCORE 303322.789
AT ITER 4166 NEW BEST:: SOT 2214613 SOS 1044412 HAS SOPS 1024389 HAS SOUS 303532 HAS SOUPS 301814 WITH SCORE 302858.412
AT ITER 4194 NEW BEST:: SOT 2214581 SOS 1044380 HAS SOPS 1024357 HAS SOUS 303468 HAS SOUPS 301750 WITH SCORE 302794.38
AT ITER 4197 NEW BEST:: SOT 2213996 SOS 1043267 HAS SOPS 1023122 HAS SOUS 302898 HAS SOUPS 301180 WITH SCORE 302223.267
AT ITER 4198 NEW BEST:: SOT 2213036 SOS 1041913 HAS SOPS 1021768 HAS SOUS 301914 HAS SOUPS 300196 WITH SCORE 301237.913
AT ITER 4221 NEW BEST:: SOT 2213146 SOS 1042012 HAS SOPS 1021867 HAS SOUS 301896 HAS SOUPS 300178 WITH SCORE 301220.012
AT ITER 4233 NEW BEST:: SOT 2212638 SOS 1041229 HAS SOPS 1021084 HAS SOUS 301294 HAS SOUPS 299576 WITH SCORE 300617.229
AT ITER 4236 NEW BEST:: SOT 2212637 SOS 1041204 HAS SOPS 1021059 HAS SOUS 301293 HAS SOUPS 299575 WITH SCORE 300616.204
AT ITER 4244 NEW BEST:: SOT 2212637 SOS 1039545 HAS SOPS 1019400 HAS SOUS 301272 HAS SOUPS 299554 WITH SCORE 300593.545
AT ITER 4250 NEW BEST:: SOT 2212636 SOS 1039544 HAS SOPS 1019399 HAS SOUS 301255 HAS SOUPS 299537 WITH SCORE 300576.544
AT ITER 4260 NEW BEST:: SOT 2212590 SOS 1039452 HAS SOPS 1019307 HAS SOUS 301206 HAS SOUPS 299488 WITH SCORE 300527.452
AT ITER 4269 NEW BEST:: SOT 2212455 SOS 1039373 HAS SOPS 1019228 HAS SOUS 300519 HAS SOUPS 298801 WITH SCORE 299840.373
AT ITER 4290 NEW BEST:: SOT 2212422 SOS 1039340 HAS SOPS 1019176 HAS SOUS 300459 HAS SOUPS 298741 WITH SCORE 299780.34
AT ITER 4291 NEW BEST:: SOT 2212355 SOS 1039198 HAS SOPS 1019034 HAS SOUS 300325 HAS SOUPS 298607 WITH SCORE 299646.198
AT ITER 4295 NEW BEST:: SOT 2212295 SOS 1039138 HAS SOPS 1018974 HAS SOUS 300244 HAS SOUPS 298526 WITH SCORE 299565.138
AT ITER 4297 NEW BEST:: SOT 2212195 SOS 1039068 HAS SOPS 1018904 HAS SOUS 300150 HAS SOUPS 298432 WITH SCORE 299471.068
AT ITER 4320 NEW BEST:: SOT 2212192 SOS 1039062 HAS SOPS 1018898 HAS SOUS 300132 HAS SOUPS 298414 WITH SCORE 299453.062
AT ITER 4321 NEW BEST:: SOT 2211882 SOS 1038755 HAS SOPS 1018591 HAS SOUS 299873 HAS SOUPS 298155 WITH SCORE 299193.755
AT ITER 4326 NEW BEST:: SOT 2211883 SOS 1038756 HAS SOPS 1018592 HAS SOUS 299872 HAS SOUPS 298154 WITH SCORE 299192.756
AT ITER 4334 NEW BEST:: SOT 2211470 SOS 1038404 HAS SOPS 1018240 HAS SOUS 299718 HAS SOUPS 298000 WITH SCORE 299038.404
AT ITER 4339 NEW BEST:: SOT 2211437 SOS 1038349 HAS SOPS 1018185 HAS SOUS 299718 HAS SOUPS 298000 WITH SCORE 299038.349
AT ITER 4342 NEW BEST:: SOT 2214803 SOS 1041715 HAS SOPS 1021551 HAS SOUS 298446 HAS SOUPS 296728 WITH SCORE 297769.715
AT ITER 4344 NEW BEST:: SOT 2214397 SOS 1041426 HAS SOPS 1021262 HAS SOUS 298102 HAS SOUPS 296384 WITH SCORE 297425.426
AT ITER 4352 NEW BEST:: SOT 2214453 SOS 1041482 HAS SOPS 1021318 HAS SOUS 298079 HAS SOUPS 296361 WITH SCORE 297402.482
AT ITER 4356 NEW BEST:: SOT 2214212 SOS 1041123 HAS SOPS 1020959 HAS SOUS 297864 HAS SOUPS 296146 WITH SCORE 297187.123
AT ITER 4389 NEW BEST:: SOT 2214176 SOS 1041087 HAS SOPS 1020923 HAS SOUS 297828 HAS SOUPS 296110 WITH SCORE 297151.087
AT ITER 4396 NEW BEST:: SOT 2213930 SOS 1040773 HAS SOPS 1020609 HAS SOUS 297515 HAS SOUPS 295797 WITH SCORE 296837.773
AT ITER 4425 NEW BEST:: SOT 2213926 SOS 1040784 HAS SOPS 1020605 HAS SOUS 297503 HAS SOUPS 295785 WITH SCORE 296825.784
AT ITER 4436 NEW BEST:: SOT 2213918 SOS 1040776 HAS SOPS 1020597 HAS SOUS 297487 HAS SOUPS 295769 WITH SCORE 296809.776
AT ITER 4442 NEW BEST:: SOT 2213897 SOS 1040734 HAS SOPS 1020576 HAS SOUS 297466 HAS SOUPS 295748 WITH SCORE 296788.734
AT ITER 4450 NEW BEST:: SOT 2213807 SOS 1040691 HAS SOPS 1020533 HAS SOUS 297376 HAS SOUPS 295658 WITH SCORE 296698.691
AT ITER 4467 NEW BEST:: SOT 2213697 SOS 1040539 HAS SOPS 1020381 HAS SOUS 297224 HAS SOUPS 295506 WITH SCORE 296546.539
AT ITER 4468 NEW BEST:: SOT 2213545 SOS 1040387 HAS SOPS 1020229 HAS SOUS 297079 HAS SOUPS 295361 WITH SCORE 296401.387
AT ITER 4474 NEW BEST:: SOT 2213530 SOS 1040357 HAS SOPS 1020199 HAS SOUS 297049 HAS SOUPS 295331 WITH SCORE 296371.357
AT ITER 4479 NEW BEST:: SOT 2213529 SOS 1040277 HAS SOPS 1020119 HAS SOUS 297008 HAS SOUPS 295290 WITH SCORE 296330.277
AT ITER 4488 NEW BEST:: SOT 2213524 SOS 1040272 HAS SOPS 1020114 HAS SOUS 297006 HAS SOUPS 295288 WITH SCORE 296328.272
AT ITER 4509 NEW BEST:: SOT 2213289 SOS 1040055 HAS SOPS 1019897 HAS SOUS 296872 HAS SOUPS 295154 WITH SCORE 296194.055
AT ITER 4513 NEW BEST:: SOT 2213245 SOS 1040011 HAS SOPS 1019853 HAS SOUS 296822 HAS SOUPS 295104 WITH SCORE 296144.011
AT ITER 4515 NEW BEST:: SOT 2197805 SOS 1026933 HAS SOPS 1006775 HAS SOUS 296630 HAS SOUPS 294912 WITH SCORE 295938.933
AT ITER 4536 NEW BEST:: SOT 2197676 SOS 1026281 HAS SOPS 1006123 HAS SOUS 296552 HAS SOUPS 294834 WITH SCORE 295860.281
AT ITER 4542 NEW BEST:: SOT 2197635 SOS 1026230 HAS SOPS 1006072 HAS SOUS 296470 HAS SOUPS 294752 WITH SCORE 295778.23
AT ITER 4548 NEW BEST:: SOT 2197599 SOS 1026258 HAS SOPS 1006100 HAS SOUS 296398 HAS SOUPS 294680 WITH SCORE 295706.258
AT ITER 4558 NEW BEST:: SOT 2197423 SOS 1026082 HAS SOPS 1005924 HAS SOUS 296064 HAS SOUPS 294346 WITH SCORE 295372.082
AT ITER 4564 NEW BEST:: SOT 2197329 SOS 1025897 HAS SOPS 1005739 HAS SOUS 295785 HAS SOUPS 294067 WITH SCORE 295092.897
AT ITER 4570 NEW BEST:: SOT 2197289 SOS 1025847 HAS SOPS 1005689 HAS SOUS 295705 HAS SOUPS 293987 WITH SCORE 295012.847
AT ITER 4578 NEW BEST:: SOT 2197161 SOS 1025701 HAS SOPS 1005543 HAS SOUS 295525 HAS SOUPS 293807 WITH SCORE 294832.701
AT ITER 4591 NEW BEST:: SOT 2196830 SOS 1025370 HAS SOPS 1005212 HAS SOUS 295309 HAS SOUPS 293591 WITH SCORE 294616.37
AT ITER 4598 NEW BEST:: SOT 2196822 SOS 1025362 HAS SOPS 1005158 HAS SOUS 295070 HAS SOUPS 293352 WITH SCORE 294377.362
AT ITER 4599 NEW BEST:: SOT 2196802 SOS 1025342 HAS SOPS 1005138 HAS SOUS 295050 HAS SOUPS 293332 WITH SCORE 294357.342
AT ITER 4601 NEW BEST:: SOT 2196671 SOS 1025135 HAS SOPS 1004931 HAS SOUS 294761 HAS SOUPS 293043 WITH SCORE 294068.135
AT ITER 4627 NEW BEST:: SOT 2196615 SOS 1025079 HAS SOPS 1004875 HAS SOUS 294677 HAS SOUPS 292959 WITH SCORE 293984.079
AT ITER 4632 NEW BEST:: SOT 2196504 SOS 1025130 HAS SOPS 1004926 HAS SOUS 294621 HAS SOUPS 292903 WITH SCORE 293928.13
AT ITER 4634 NEW BEST:: SOT 2196472 SOS 1025067 HAS SOPS 1004863 HAS SOUS 294619 HAS SOUPS 292901 WITH SCORE 293926.067
AT ITER 4644 NEW BEST:: SOT 2196472 SOS 1025142 HAS SOPS 1004938 HAS SOUS 294605 HAS SOUPS 292887 WITH SCORE 293912.142
AT ITER 4660 NEW BEST:: SOT 2196070 SOS 1024440 HAS SOPS 1004236 HAS SOUS 294101 HAS SOUPS 292383 WITH SCORE 293407.44
AT ITER 4666 NEW BEST:: SOT 2196070 SOS 1024403 HAS SOPS 1004199 HAS SOUS 294064 HAS SOUPS 292346 WITH SCORE 293370.403
AT ITER 4675 NEW BEST:: SOT 2196285 SOS 1024512 HAS SOPS 1004061 HAS SOUS 293926 HAS SOUPS 292208 WITH SCORE 293232.512
AT ITER 4681 NEW BEST:: SOT 2196145 SOS 1024372 HAS SOPS 1003921 HAS SOUS 293646 HAS SOUPS 291928 WITH SCORE 292952.372
AT ITER 4703 NEW BEST:: SOT 2195720 SOS 1024032 HAS SOPS 1003581 HAS SOUS 293114 HAS SOUPS 291396 WITH SCORE 292420.032
AT ITER 4721 NEW BEST:: SOT 2195611 SOS 1023962 HAS SOPS 1003511 HAS SOUS 293068 HAS SOUPS 291350 WITH SCORE 292373.962
AT ITER 4734 NEW BEST:: SOT 2195599 SOS 1023946 HAS SOPS 1003495 HAS SOUS 293052 HAS SOUPS 291334 WITH SCORE 292357.946
AT ITER 4739 NEW BEST:: SOT 2195616 SOS 1023963 HAS SOPS 1003512 HAS SOUS 293015 HAS SOUPS 291297 WITH SCORE 292320.963
AT ITER 4773 NEW BEST:: SOT 2195702 SOS 1023967 HAS SOPS 1003395 HAS SOUS 292980 HAS SOUPS 291262 WITH SCORE 292285.967
AT ITER 4778 NEW BEST:: SOT 2195543 SOS 1023938 HAS SOPS 1003366 HAS SOUS 292915 HAS SOUPS 291197 WITH SCORE 292220.938
AT ITER 4802 NEW BEST:: SOT 2198467 SOS 1027648 HAS SOPS 1007076 HAS SOUS 292521 HAS SOUPS 290803 WITH SCORE 291830.648
AT ITER 4803 NEW BEST:: SOT 2198487 SOS 1027668 HAS SOPS 1007096 HAS SOUS 292511 HAS SOUPS 290793 WITH SCORE 291820.668
AT ITER 4842 NEW BEST:: SOT 2198472 SOS 1027653 HAS SOPS 1007081 HAS SOUS 292496 HAS SOUPS 290778 WITH SCORE 291805.653
AT ITER 4856 NEW BEST:: SOT 2204968 SOS 1022751 HAS SOPS 1002179 HAS SOUS 292219 HAS SOUPS 290501 WITH SCORE 291523.751
AT ITER 4872 NEW BEST:: SOT 2204255 SOS 1022038 HAS SOPS 1001466 HAS SOUS 291454 HAS SOUPS 289736 WITH SCORE 290758.038
AT ITER 4877 NEW BEST:: SOT 2204154 SOS 1021873 HAS SOPS 1001301 HAS SOUS 291247 HAS SOUPS 289529 WITH SCORE 290550.873
AT ITER 4878 NEW BEST:: SOT 2204040 SOS 1021759 HAS SOPS 1001182 HAS SOUS 290927 HAS SOUPS 289209 WITH SCORE 290230.759
AT ITER 4894 NEW BEST:: SOT 2203973 SOS 1021113 HAS SOPS 1000536 HAS SOUS 290870 HAS SOUPS 289152 WITH SCORE 290173.113
AT ITER 4919 NEW BEST:: SOT 2203956 SOS 1021096 HAS SOPS 1000512 HAS SOUS 290846 HAS SOUPS 289128 WITH SCORE 290149.096
AT ITER 4926 NEW BEST:: SOT 2203934 SOS 1021074 HAS SOPS 1000450 HAS SOUS 290802 HAS SOUPS 289084 WITH SCORE 290105.074
AT ITER 4928 NEW BEST:: SOT 2203707 SOS 1020847 HAS SOPS 1000223 HAS SOUS 290577 HAS SOUPS 288859 WITH SCORE 289879.847
AT ITER 4939 NEW BEST:: SOT 2203673 SOS 1020848 HAS SOPS 1000224 HAS SOUS 290544 HAS SOUPS 288826 WITH SCORE 289846.848
AT ITER 4961 NEW BEST:: SOT 2203669 SOS 1020846 HAS SOPS 1000222 HAS SOUS 290538 HAS SOUPS 288820 WITH SCORE 289840.846
AT ITER 4964 NEW BEST:: SOT 2203669 SOS 1023906 HAS SOPS 1003282 HAS SOUS 290511 HAS SOUPS 288793 WITH SCORE 289816.906
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBLF-PT-S04J06T10-CTLCardinality-00 (AF(( (AG( potential( ( 2 ) <= (tk(P20)) ))) & (EF(potential( ( 3 ) <= (tk(P909)) ))) )))
PROPERTY: PolyORBLF-PT-S04J06T10-CTLCardinality-01 ( ( (! (AG( potential( ( 2 ) <= (tk(P216) + tk(P365) + tk(P379) + tk(P528) + tk(P599) + tk(P786) + tk(P919)) )))) & potential( (tk(P638)) <= (tk(P2) + tk(P27) + tk(P148) + tk(P308) + tk(P415) + tk(P586) + tk(P595) + tk(P747) + tk(P771) + tk(P844)) ) ) | ( (AF(( potential( ( 1 ) <= (tk(P890)) ) & potential( (tk(P348)) <= (tk(P313) + tk(P368) + tk(P607) + tk(P681)) ) ))) & (AF(potential( ( 3 ) <= (tk(P783)) ))) ) )
PROPERTY: PolyORBLF-PT-S04J06T10-CTLCardinality-02 ( ( ( ( ( potential( ( 1 ) <= (tk(P841)) ) & potential( ( 3 ) <= (tk(P162)) ) ) & ( potential( (tk(P40) + tk(P153) + tk(P332) + tk(P355) + tk(P399) + tk(P600) + tk(P653) + tk(P682) + tk(P829) + tk(P878)) <= (tk(P121) + tk(P154) + tk(P360) + tk(P447) + tk(P603) + tk(P695) + tk(P780) + tk(P832) + tk(P913) + tk(P914)) ) | potential( (tk(P64) + tk(P105) + tk(P286) + tk(P460) + tk(P556) + tk(P589) + tk(P680) + tk(P700) + tk(P856) + tk(P887)) <= (tk(P92) + tk(P237) + tk(P323) + tk(P425) + tk(P635) + tk(P687) + tk(P750) + tk(P787) + tk(P871) + tk(P898)) ) ) ) | (AX( potential( (tk(P176)) <= (tk(P638)) ))) ) & ( (! (! potential( ( 1 ) <= (tk(P276)) ))) & ( (! potential( ( 3 ) <= (tk(P741)) )) & ( potential( ( 3 ) <= (tk(P13) + tk(P142) + tk(P296) + tk(P337) + tk(P389) + tk(P469) + tk(P551) + tk(P584) + tk(P633) + tk(P933)) ) | potential( (tk(P11) + tk(P82) + tk(P287) + tk(P391) + tk(P540) + tk(P597) + tk(P608) + tk(P795) + tk(P916) + tk(P946)) <= (tk(P2) + tk(P27) + tk(P148) + tk(P308) + tk(P415) + tk(P586) + tk(P595) + tk(P747) + tk(P771) + tk(P844)) ) ) ) ) ) & (AG( potential( (tk(P47) + tk(P53) + tk(P73) + tk(P93) + tk(P118) + tk(P119) + tk(P125) + tk(P221) + tk(P225) + tk(P231) + tk(P232) + tk(P240) + tk(P329) + tk(P330) + tk(P374) + tk(P387) + tk(P402) + tk(P409) + tk(P416) + tk(P451) + tk(P480) + tk(P490) + tk(P523) + tk(P529) + tk(P543) + tk(P561) + tk(P612) + tk(P631) + tk(P640) + tk(P662) + tk(P722) + tk(P724) + tk(P775) + tk(P823) + tk(P833) + tk(P899) + tk(P902) + tk(P922) + tk(P947) + tk(P950)) <= (tk(P72) + tk(P111) + tk(P157) + tk(P291) + tk(P516) + tk(P641) + tk(P745) + tk(P788) + tk(P918) + tk(P959)) ))) )
PROPERTY: PolyORBLF-PT-S04J06T10-CTLCardinality-03 (! (AG( ( ( potential( (tk(P28) + tk(P45) + tk(P46) + tk(P51) + tk(P91) + tk(P99) + tk(P137) + tk(P138) + tk(P155) + tk(P163) + tk(P177) + tk(P187) + tk(P193) + tk(P204) + tk(P224) + tk(P244) + tk(P267) + tk(P273) + tk(P275) + tk(P278) + tk(P285) + tk(P300) + tk(P302) + tk(P328) + tk(P380) + tk(P410) + tk(P421) + tk(P428) + tk(P430) + tk(P436) + tk(P456) + tk(P462) + tk(P487) + tk(P515) + tk(P518) + tk(P520) + tk(P534) + tk(P535) + tk(P553) + tk(P562) + tk(P574) + tk(P585) + tk(P609) + tk(P614) + tk(P622) + tk(P637) + tk(P645) + tk(P678) + tk(P685) + tk(P716) + tk(P718) + tk(P739) + tk(P756) + tk(P761) + tk(P800) + tk(P819) + tk(P825) + tk(P838) + tk(P842) + tk(P850) + tk(P862) + tk(P903) + tk(P904) + tk(P921) + tk(P923) + tk(P929) + tk(P939) + tk(P941) + tk(P955) + tk(P962)) <= (tk(P62) + tk(P158) + tk(P372) + tk(P514)) ) | potential( (tk(P581)) <= (tk(P11) + tk(P82) + tk(P287) + tk(P391) + tk(P540) + tk(P597) + tk(P608) + tk(P795) + tk(P916) + tk(P946)) ) ) | ( potential( (tk(P841)) <= (tk(P121) + tk(P154) + tk(P360) + tk(P447) + tk(P603) + tk(P695) + tk(P780) + tk(P832) + tk(P913) + tk(P914)) ) & potential( (tk(P81) + tk(P290) + tk(P385) + tk(P547) + tk(P628) + tk(P671) + tk(P676) + tk(P770) + tk(P802) + tk(P907)) <= (tk(P13) + tk(P142) + tk(P296) + tk(P337) + tk(P389) + tk(P469) + tk(P551) + tk(P584) + tk(P633) + tk(P933)) ) ) ))))
PROPERTY: PolyORBLF-PT-S04J06T10-CTLCardinality-04 (! (! (EF(( potential( ( 2 ) <= (tk(P121) + tk(P154) + tk(P360) + tk(P447) + tk(P603) + tk(P695) + tk(P780) + tk(P832) + tk(P913) + tk(P914)) ) & potential( ( 1 ) <= (tk(P1) + tk(P112) + tk(P234) + tk(P341) + tk(P452) + tk(P610) + tk(P639) + tk(P861) + tk(P870) + tk(P893)) ) )))))
PROPERTY: PolyORBLF-PT-S04J06T10-CTLCardinality-05 (AF(( (EG( potential( ( 2 ) <= (tk(P194)) ))) & ( ( potential( (tk(P638)) <= (tk(P62) + tk(P158) + tk(P372) + tk(P514)) ) | potential( ( 2 ) <= (tk(P114) + tk(P136) + tk(P219) + tk(P321) + tk(P350) + tk(P475) + tk(P519) + tk(P672) + tk(P726) + tk(P910)) ) ) & (! potential( ( 1 ) <= (tk(P388)) )) ) )))
PROPERTY: PolyORBLF-PT-S04J06T10-CTLCardinality-06 (AX( ( (EG( potential( (tk(P22) + tk(P33) + tk(P52) + tk(P58) + tk(P61) + tk(P67) + tk(P77) + tk(P98) + tk(P116) + tk(P122) + tk(P141) + tk(P143) + tk(P144) + tk(P145) + tk(P149) + tk(P151) + tk(P173) + tk(P175) + tk(P195) + tk(P201) + tk(P230) + tk(P242) + tk(P243) + tk(P255) + tk(P260) + tk(P293) + tk(P303) + tk(P373) + tk(P393) + tk(P405) + tk(P411) + tk(P459) + tk(P463) + tk(P474) + tk(P478) + tk(P485) + tk(P495) + tk(P505) + tk(P559) + tk(P560) + tk(P563) + tk(P570) + tk(P582) + tk(P621) + tk(P636) + tk(P643) + tk(P650) + tk(P654) + tk(P660) + tk(P710) + tk(P730) + tk(P752) + tk(P754) + tk(P774) + tk(P782) + tk(P792) + tk(P798) + tk(P803) + tk(P813) + tk(P817) + tk(P822) + tk(P837) + tk(P849) + tk(P855) + tk(P925) + tk(P936) + tk(P940) + tk(P942) + tk(P948) + tk(P957)) <= (tk(P71) + tk(P140) + tk(P208) + tk(P214) + tk(P488) + tk(P509) + tk(P590) + tk(P751) + tk(P866) + tk(P867)) ))) | (AG( potential( ( 2 ) <= (tk(P23) + tk(P160) + tk(P227) + tk(P489) + tk(P564) + tk(P572) + tk(P740) + tk(P765) + tk(P873) + tk(P895)) ))) )))
PROPERTY: PolyORBLF-PT-S04J06T10-CTLCardinality-07 (! (EG( (! (! potential( (tk(P13) + tk(P142) + tk(P296) + tk(P337) + tk(P389) + tk(P469) + tk(P551) + tk(P584) + tk(P633) + tk(P933)) <= (tk(P741)) ))))))
PROPERTY: PolyORBLF-PT-S04J06T10-CTLCardinality-08 (EF(( (EG( potential( ( 3 ) <= (tk(P502)) ))) & potential( (tk(P904)) <= (tk(P351)) ) )))
PROPERTY: PolyORBLF-PT-S04J06T10-CTLCardinality-09 (AU( ( ( potential( ( 2 ) <= (tk(P197)) ) | potential( ( 3 ) <= (tk(P774)) ) ) | (! potential( ( 2 ) <= (tk(P524)) )) ),potential( ( 1 ) <= (tk(P309)) ) ))
PROPERTY: PolyORBLF-PT-S04J06T10-CTLCardinality-10 (EG( (EU( potential( (tk(P168)) <= (tk(P177)) ),potential( (tk(P857)) <= (tk(P455)) ) ))))
PROPERTY: PolyORBLF-PT-S04J06T10-CTLCardinality-11 (AF((! (EF(potential( ( 3 ) <= (tk(P305)) ))))))
PROPERTY: PolyORBLF-PT-S04J06T10-CTLCardinality-12 (EU( potential( (tk(P525)) <= (tk(P451)) ),(AX( potential( ( 1 ) <= (tk(P723)) ))) ))
PROPERTY: PolyORBLF-PT-S04J06T10-CTLCardinality-13 ( (! (! ( ( potential( ( 1 ) <= (tk(P606)) ) & potential( (tk(P953)) <= (tk(P84)) ) ) & ( potential( (tk(P166)) <= (tk(P273)) ) & potential( (tk(P682)) <= (tk(P960)) ) ) ))) | (AF((AG( potential( ( 1 ) <= (tk(P769)) ))))) )
PROPERTY: PolyORBLF-PT-S04J06T10-CTLCardinality-14 ( ( (EG( (! potential( (tk(P215)) <= (tk(P608)) )))) & potential( (tk(P691)) <= (tk(P418)) ) ) | (EF((AG( potential( (tk(P401)) <= (tk(P258)) ))))) )
PROPERTY: PolyORBLF-PT-S04J06T10-CTLCardinality-15 (! (AX( (EG( potential( (tk(P832)) <= (tk(P873)) ))))))

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="PolyORBLF-PT-S04J06T10"
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 PolyORBLF-PT-S04J06T10, 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 r123-tajo-158961354800499"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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