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.r063-tajo-158922806900051.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 DLCshifumi-PT-5a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922806900051
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.1M
-rw-r--r-- 1 mcc users 3.4K Mar 31 01:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 31 01:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 14:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 14:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 28 10:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 28 10:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 27 03:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 27 03:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 3.9M 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 DLCshifumi-PT-5a-CTLCardinality-00
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-01
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-02
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-03
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-04
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-05
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-06
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-07
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-08
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-09
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-10
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-11
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-12
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-13
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-14
FORMULA_NAME DLCshifumi-PT-5a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589357749253

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 5a
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: 2162 places, 14865 transitions, 57457 arcs.
AT ITER 0 NEW BEST:: SOT 20143635 SOS 16667178 HAS SOPS 8343135 HAS SOUS 1611290 HAS SOUPS 721084 WITH SCORE 737751.178
AT ITER 15 NEW BEST:: SOT 20143446 SOS 16667323 HAS SOPS 8342875 HAS SOUS 1611192 HAS SOUPS 720959 WITH SCORE 737626.323
AT ITER 16 NEW BEST:: SOT 20143256 SOS 16666442 HAS SOPS 8344499 HAS SOUS 1610689 HAS SOUPS 720957 WITH SCORE 737623.442
AT ITER 23 NEW BEST:: SOT 20142860 SOS 16665650 HAS SOPS 8346117 HAS SOUS 1609685 HAS SOUPS 720435 WITH SCORE 737100.65
AT ITER 27 NEW BEST:: SOT 20142558 SOS 16664626 HAS SOPS 8347193 HAS SOUS 1609099 HAS SOUPS 720269 WITH SCORE 736933.626
AT ITER 31 NEW BEST:: SOT 20142185 SOS 16663880 HAS SOPS 8349152 HAS SOUS 1608088 HAS SOUPS 719799 WITH SCORE 736462.88
AT ITER 35 NEW BEST:: SOT 20140370 SOS 16681946 HAS SOPS 8355713 HAS SOUS 1607055 HAS SOUPS 717999 WITH SCORE 734680.946
AT ITER 38 NEW BEST:: SOT 20139053 SOS 16684118 HAS SOPS 8353880 HAS SOUS 1606647 HAS SOUPS 717324 WITH SCORE 734008.118
AT ITER 45 NEW BEST:: SOT 20139053 SOS 16684118 HAS SOPS 8353880 HAS SOUS 1606425 HAS SOUPS 717102 WITH SCORE 733786.118
AT ITER 48 NEW BEST:: SOT 20137085 SOS 16687752 HAS SOPS 8352114 HAS SOUS 1605233 HAS SOUPS 715550 WITH SCORE 732237.752
AT ITER 77 NEW BEST:: SOT 20137085 SOS 16687752 HAS SOPS 8352114 HAS SOUS 1605065 HAS SOUPS 715382 WITH SCORE 732069.752
AT ITER 88 NEW BEST:: SOT 20136945 SOS 16687083 HAS SOPS 8353390 HAS SOUS 1604668 HAS SOUPS 715374 WITH SCORE 732061.083
AT ITER 96 NEW BEST:: SOT 20136945 SOS 16687083 HAS SOPS 8353390 HAS SOUS 1604422 HAS SOUPS 715128 WITH SCORE 731815.083
AT ITER 101 NEW BEST:: SOT 20136945 SOS 16687083 HAS SOPS 8353390 HAS SOUS 1604176 HAS SOUPS 714882 WITH SCORE 731569.083
AT ITER 105 NEW BEST:: SOT 20133147 SOS 16695362 HAS SOPS 8354819 HAS SOUS 1601392 HAS SOUPS 712098 WITH SCORE 728793.362
AT ITER 108 NEW BEST:: SOT 20130059 SOS 16702867 HAS SOPS 8356404 HAS SOUS 1599174 HAS SOUPS 709880 WITH SCORE 726582.867
AT ITER 110 NEW BEST:: SOT 20130059 SOS 16702867 HAS SOPS 8356404 HAS SOUS 1598928 HAS SOUPS 709634 WITH SCORE 726336.867
AT ITER 121 NEW BEST:: SOT 20129559 SOS 16703767 HAS SOPS 8355804 HAS SOUS 1598928 HAS SOUPS 709534 WITH SCORE 726237.767
AT ITER 145 NEW BEST:: SOT 20129105 SOS 16702859 HAS SOPS 8356031 HAS SOUS 1598020 HAS SOUPS 708853 WITH SCORE 725555.859
AT ITER 146 NEW BEST:: SOT 20128741 SOS 16702131 HAS SOPS 8356213 HAS SOUS 1597292 HAS SOUPS 708307 WITH SCORE 725009.131
AT ITER 149 NEW BEST:: SOT 20128077 SOS 16700803 HAS SOPS 8356545 HAS SOUS 1595964 HAS SOUPS 707311 WITH SCORE 724011.803
AT ITER 160 NEW BEST:: SOT 20127695 SOS 16699635 HAS SOPS 8357397 HAS SOUS 1595178 HAS SOUPS 706929 WITH SCORE 723628.635
AT ITER 163 NEW BEST:: SOT 20127695 SOS 16699635 HAS SOPS 8357397 HAS SOUS 1594932 HAS SOUPS 706683 WITH SCORE 723382.635
AT ITER 173 NEW BEST:: SOT 20124405 SOS 16707285 HAS SOPS 8358947 HAS SOUS 1592283 HAS SOUPS 704034 WITH SCORE 720741.285
AT ITER 192 NEW BEST:: SOT 20124123 SOS 16706721 HAS SOPS 8358383 HAS SOUS 1591860 HAS SOUPS 703611 WITH SCORE 720317.721
AT ITER 212 NEW BEST:: SOT 20123689 SOS 16705853 HAS SOPS 8359475 HAS SOUS 1590861 HAS SOUPS 703004 WITH SCORE 719709.853
AT ITER 223 NEW BEST:: SOT 20123567 SOS 16705487 HAS SOPS 8359719 HAS SOUS 1590739 HAS SOUPS 703004 WITH SCORE 719709.487
AT ITER 227 NEW BEST:: SOT 20123567 SOS 16705487 HAS SOPS 8359719 HAS SOUS 1590493 HAS SOUPS 702758 WITH SCORE 719463.487
AT ITER 234 NEW BEST:: SOT 20120121 SOS 16715302 HAS SOPS 8362394 HAS SOUS 1588112 HAS SOUPS 700377 WITH SCORE 717092.302
AT ITER 240 NEW BEST:: SOT 20117871 SOS 16720346 HAS SOPS 8361018 HAS SOUS 1586767 HAS SOUPS 698604 WITH SCORE 715324.346
AT ITER 242 NEW BEST:: SOT 20114476 SOS 16727161 HAS SOPS 8361933 HAS SOUS 1583931 HAS SOUPS 695768 WITH SCORE 712495.161
AT ITER 249 NEW BEST:: SOT 20111255 SOS 16737022 HAS SOPS 8364884 HAS SOUS 1581746 HAS SOUPS 693583 WITH SCORE 710320.022
AT ITER 250 NEW BEST:: SOT 20110691 SOS 16735894 HAS SOPS 8365166 HAS SOUS 1580618 HAS SOUPS 692737 WITH SCORE 709472.894
AT ITER 268 NEW BEST:: SOT 20110691 SOS 16735894 HAS SOPS 8365166 HAS SOUS 1580386 HAS SOUPS 692505 WITH SCORE 709240.894
AT ITER 278 NEW BEST:: SOT 20110691 SOS 16735894 HAS SOPS 8365166 HAS SOUS 1580140 HAS SOUPS 692259 WITH SCORE 708994.894
AT ITER 303 NEW BEST:: SOT 20110691 SOS 16735894 HAS SOPS 8365166 HAS SOUS 1579900 HAS SOUPS 692019 WITH SCORE 708754.894
AT ITER 309 NEW BEST:: SOT 20110390 SOS 16736109 HAS SOPS 8364736 HAS SOUS 1579728 HAS SOUPS 691804 WITH SCORE 708540.109
AT ITER 312 NEW BEST:: SOT 20110390 SOS 16735996 HAS SOPS 8364623 HAS SOUS 1579728 HAS SOUPS 691804 WITH SCORE 708539.996
AT ITER 320 NEW BEST:: SOT 20110390 SOS 16735996 HAS SOPS 8364623 HAS SOUS 1579564 HAS SOUPS 691640 WITH SCORE 708375.996
AT ITER 323 NEW BEST:: SOT 20110390 SOS 16735996 HAS SOPS 8364623 HAS SOUS 1579432 HAS SOUPS 691508 WITH SCORE 708243.996
AT ITER 326 NEW BEST:: SOT 20109851 SOS 16736381 HAS SOPS 8363853 HAS SOUS 1579124 HAS SOUPS 691123 WITH SCORE 707859.381
AT ITER 327 NEW BEST:: SOT 20109420 SOS 16735192 HAS SOPS 8364299 HAS SOUS 1578421 HAS SOUPS 690747 WITH SCORE 707482.192
AT ITER 345 NEW BEST:: SOT 20109144 SOS 16733978 HAS SOPS 8366395 HAS SOUS 1577483 HAS SOUPS 690471 WITH SCORE 707204.978
AT ITER 350 NEW BEST:: SOT 20108552 SOS 16732794 HAS SOPS 8366691 HAS SOUS 1576299 HAS SOUPS 689583 WITH SCORE 706315.794
AT ITER 375 NEW BEST:: SOT 20107092 SOS 16735832 HAS SOPS 8364989 HAS SOUS 1575760 HAS SOUPS 688728 WITH SCORE 705463.832
AT ITER 380 NEW BEST:: SOT 20103241 SOS 16737535 HAS SOPS 8362192 HAS SOUS 1573139 HAS SOUPS 686107 WITH SCORE 702844.535
AT ITER 405 NEW BEST:: SOT 20102789 SOS 16736871 HAS SOPS 8361528 HAS SOUS 1572322 HAS SOUPS 685290 WITH SCORE 702026.871
AT ITER 409 NEW BEST:: SOT 20102569 SOS 16736431 HAS SOPS 8361088 HAS SOUS 1571882 HAS SOUPS 684850 WITH SCORE 701586.431
AT ITER 418 NEW BEST:: SOT 20102569 SOS 16736431 HAS SOPS 8361088 HAS SOUS 1571876 HAS SOUPS 684844 WITH SCORE 701580.431
AT ITER 421 NEW BEST:: SOT 20102201 SOS 16735695 HAS SOPS 8361272 HAS SOUS 1571140 HAS SOUPS 684292 WITH SCORE 701027.695
AT ITER 422 NEW BEST:: SOT 20101789 SOS 16738975 HAS SOPS 8361312 HAS SOUS 1570826 HAS SOUPS 683762 WITH SCORE 700500.975
AT ITER 429 NEW BEST:: SOT 20100684 SOS 16742337 HAS SOPS 8360189 HAS SOUS 1570461 HAS SOUPS 683098 WITH SCORE 699840.337
AT ITER 431 NEW BEST:: SOT 20100556 SOS 16741955 HAS SOPS 8359807 HAS SOUS 1570333 HAS SOUPS 682970 WITH SCORE 699711.955
AT ITER 445 NEW BEST:: SOT 20098403 SOS 16737166 HAS SOPS 8357433 HAS SOUS 1568842 HAS SOUPS 681962 WITH SCORE 698699.166
AT ITER 467 NEW BEST:: SOT 20098403 SOS 16737166 HAS SOPS 8357433 HAS SOUS 1568762 HAS SOUPS 681882 WITH SCORE 698619.166
AT ITER 476 NEW BEST:: SOT 20097959 SOS 16735768 HAS SOPS 8358585 HAS SOUS 1567808 HAS SOUPS 681438 WITH SCORE 698173.768
AT ITER 483 NEW BEST:: SOT 20097907 SOS 16735664 HAS SOPS 8358481 HAS SOUS 1567756 HAS SOUPS 681386 WITH SCORE 698121.664
AT ITER 484 NEW BEST:: SOT 20096716 SOS 16737352 HAS SOPS 8356794 HAS SOUS 1567277 HAS SOUPS 680682 WITH SCORE 697419.352
AT ITER 513 NEW BEST:: SOT 20096716 SOS 16737352 HAS SOPS 8356794 HAS SOUS 1567187 HAS SOUPS 680592 WITH SCORE 697329.352
AT ITER 517 NEW BEST:: SOT 20096716 SOS 16737352 HAS SOPS 8356794 HAS SOUS 1567019 HAS SOUPS 680424 WITH SCORE 697161.352
AT ITER 522 NEW BEST:: SOT 20093520 SOS 16743893 HAS SOPS 8357975 HAS SOUS 1564560 HAS SOUPS 677965 WITH SCORE 694708.893
AT ITER 532 NEW BEST:: SOT 20093178 SOS 16742587 HAS SOPS 8359779 HAS SOUS 1563596 HAS SOUPS 677623 WITH SCORE 694365.587
AT ITER 540 NEW BEST:: SOT 20091625 SOS 16743747 HAS SOPS 8357384 HAS SOUS 1562536 HAS SOUPS 676326 WITH SCORE 693069.747
AT ITER 545 NEW BEST:: SOT 20091481 SOS 16743459 HAS SOPS 8359341 HAS SOUS 1561943 HAS SOUPS 676182 WITH SCORE 692925.459
AT ITER 548 NEW BEST:: SOT 20091481 SOS 16743459 HAS SOPS 8359341 HAS SOUS 1561735 HAS SOUPS 675974 WITH SCORE 692717.459
AT ITER 550 NEW BEST:: SOT 20090593 SOS 16744571 HAS SOPS 8358173 HAS SOUS 1561215 HAS SOUPS 675302 WITH SCORE 692046.571
AT ITER 564 NEW BEST:: SOT 20089134 SOS 16747997 HAS SOPS 8356904 HAS SOUS 1560784 HAS SOUPS 674558 WITH SCORE 691305.997
AT ITER 565 NEW BEST:: SOT 20088856 SOS 16747441 HAS SOPS 8357043 HAS SOUS 1560228 HAS SOUPS 674141 WITH SCORE 690888.441
AT ITER 575 NEW BEST:: SOT 20088856 SOS 16746566 HAS SOPS 8357043 HAS SOUS 1560053 HAS SOUPS 674141 WITH SCORE 690887.566
AT ITER 578 NEW BEST:: SOT 20088544 SOS 16745942 HAS SOPS 8358384 HAS SOUS 1559348 HAS SOUPS 673829 WITH SCORE 690574.942
AT ITER 588 NEW BEST:: SOT 20087417 SOS 16766681 HAS SOPS 8366553 HAS SOUS 1560004 HAS SOUPS 673647 WITH SCORE 690413.681
AT ITER 591 NEW BEST:: SOT 20083800 SOS 16778894 HAS SOPS 8370726 HAS SOUS 1557273 HAS SOUPS 670916 WITH SCORE 687694.894
AT ITER 593 NEW BEST:: SOT 20083303 SOS 16777900 HAS SOPS 8371432 HAS SOUS 1556188 HAS SOUPS 670171 WITH SCORE 686948.9
AT ITER 607 NEW BEST:: SOT 20081744 SOS 16781533 HAS SOPS 8371795 HAS SOUS 1554792 HAS SOUPS 668775 WITH SCORE 685556.533
AT ITER 613 NEW BEST:: SOT 20081217 SOS 16780479 HAS SOPS 8373546 HAS SOUS 1553441 HAS SOUPS 667985 WITH SCORE 684765.479
AT ITER 614 NEW BEST:: SOT 20080779 SOS 16779157 HAS SOPS 8374454 HAS SOUS 1552557 HAS SOUPS 667547 WITH SCORE 684326.157
AT ITER 619 NEW BEST:: SOT 20080365 SOS 16778329 HAS SOPS 8376036 HAS SOUS 1551542 HAS SOUPS 667014 WITH SCORE 683792.329
AT ITER 626 NEW BEST:: SOT 20079484 SOS 16779208 HAS SOPS 8374830 HAS SOUS 1551032 HAS SOUPS 666365 WITH SCORE 683144.208
AT ITER 627 NEW BEST:: SOT 20079059 SOS 16778358 HAS SOPS 8375090 HAS SOUS 1550182 HAS SOUPS 665737 WITH SCORE 682515.358
AT ITER 630 NEW BEST:: SOT 20078849 SOS 16777938 HAS SOPS 8374670 HAS SOUS 1549972 HAS SOUPS 665527 WITH SCORE 682304.938
AT ITER 633 NEW BEST:: SOT 20078477 SOS 16777008 HAS SOPS 8374670 HAS SOUS 1549414 HAS SOUPS 665155 WITH SCORE 681932.008
AT ITER 642 NEW BEST:: SOT 20078428 SOS 16776910 HAS SOPS 8374817 HAS SOUS 1549365 HAS SOUPS 665155 WITH SCORE 681931.91
AT ITER 653 NEW BEST:: SOT 20076382 SOS 16781401 HAS SOPS 8375048 HAS SOUS 1547781 HAS SOUPS 663571 WITH SCORE 680352.401
AT ITER 663 NEW BEST:: SOT 20066134 SOS 16766429 HAS SOPS 8368184 HAS SOUS 1546915 HAS SOUPS 663293 WITH SCORE 680059.429
AT ITER 667 NEW BEST:: SOT 20066030 SOS 16766117 HAS SOPS 8368392 HAS SOUS 1546811 HAS SOUPS 663293 WITH SCORE 680059.117
AT ITER 686 NEW BEST:: SOT 20066030 SOS 16766117 HAS SOPS 8368392 HAS SOUS 1546709 HAS SOUPS 663191 WITH SCORE 679957.117
AT ITER 691 NEW BEST:: SOT 20066030 SOS 16766117 HAS SOPS 8368392 HAS SOUS 1546567 HAS SOUPS 663049 WITH SCORE 679815.117
AT ITER 705 NEW BEST:: SOT 20064624 SOS 16762962 HAS SOPS 8366952 HAS SOUS 1545312 HAS SOUPS 662137 WITH SCORE 678899.962
AT ITER 713 NEW BEST:: SOT 20061724 SOS 16775393 HAS SOPS 8371913 HAS SOUS 1543631 HAS SOUPS 660456 WITH SCORE 677231.393
AT ITER 716 NEW BEST:: SOT 20061522 SOS 16774969 HAS SOPS 8373919 HAS SOUS 1543090 HAS SOUPS 660401 WITH SCORE 677175.969
AT ITER 722 NEW BEST:: SOT 20060539 SOS 16775986 HAS SOPS 8372581 HAS SOUS 1542513 HAS SOUPS 659667 WITH SCORE 676442.986
AT ITER 727 NEW BEST:: SOT 20060386 SOS 16775680 HAS SOPS 8373040 HAS SOUS 1542156 HAS SOUPS 659463 WITH SCORE 676238.68
AT ITER 729 NEW BEST:: SOT 20060362 SOS 16775632 HAS SOPS 8372992 HAS SOUS 1542132 HAS SOUPS 659439 WITH SCORE 676214.632
AT ITER 741 NEW BEST:: SOT 20060169 SOS 16775246 HAS SOPS 8372606 HAS SOUS 1541718 HAS SOUPS 659025 WITH SCORE 675800.246
AT ITER 745 NEW BEST:: SOT 20057282 SOS 16785679 HAS SOPS 8376149 HAS SOUS 1539468 HAS SOUPS 656775 WITH SCORE 673560.679
AT ITER 750 NEW BEST:: SOT 20053950 SOS 16786558 HAS SOPS 8373268 HAS SOUS 1537018 HAS SOUPS 654325 WITH SCORE 671111.558
AT ITER 753 NEW BEST:: SOT 20053825 SOS 16786308 HAS SOPS 8374758 HAS SOUS 1536337 HAS SOUPS 653992 WITH SCORE 670778.308
AT ITER 761 NEW BEST:: SOT 20053272 SOS 16786462 HAS SOPS 8374212 HAS SOUS 1536001 HAS SOUPS 653656 WITH SCORE 670442.462
AT ITER 762 NEW BEST:: SOT 20053272 SOS 16786462 HAS SOPS 8374212 HAS SOUS 1535801 HAS SOUPS 653456 WITH SCORE 670242.462
AT ITER 767 NEW BEST:: SOT 20053244 SOS 16786406 HAS SOPS 8374226 HAS SOUS 1535745 HAS SOUPS 653414 WITH SCORE 670200.406
AT ITER 785 NEW BEST:: SOT 20053160 SOS 16786770 HAS SOPS 8374170 HAS SOUS 1535689 HAS SOUPS 653330 WITH SCORE 670116.77
AT ITER 789 NEW BEST:: SOT 20050974 SOS 16798209 HAS SOPS 8379289 HAS SOUS 1534121 HAS SOUPS 651762 WITH SCORE 668560.209
AT ITER 807 NEW BEST:: SOT 20050498 SOS 16798889 HAS SOPS 8378949 HAS SOUS 1533917 HAS SOUPS 651490 WITH SCORE 668288.889
AT ITER 814 NEW BEST:: SOT 20047740 SOS 16792740 HAS SOPS 8375965 HAS SOUS 1531981 HAS SOUPS 650187 WITH SCORE 666979.74
AT ITER 823 NEW BEST:: SOT 20047740 SOS 16792280 HAS SOPS 8375965 HAS SOUS 1531889 HAS SOUPS 650187 WITH SCORE 666979.28
AT ITER 855 NEW BEST:: SOT 20047740 SOS 16792280 HAS SOPS 8375965 HAS SOUS 1531643 HAS SOUPS 649941 WITH SCORE 666733.28
AT ITER 859 NEW BEST:: SOT 20047740 SOS 16792280 HAS SOPS 8375965 HAS SOUS 1531397 HAS SOUPS 649695 WITH SCORE 666487.28
AT ITER 867 NEW BEST:: SOT 20046225 SOS 16795244 HAS SOPS 8373934 HAS SOUS 1530473 HAS SOUPS 648438 WITH SCORE 665233.244
AT ITER 876 NEW BEST:: SOT 20045983 SOS 16794229 HAS SOPS 8375574 HAS SOUS 1529900 HAS SOUPS 648396 WITH SCORE 665190.229
AT ITER 883 NEW BEST:: SOT 20045728 SOS 16795884 HAS SOPS 8375954 HAS SOUS 1529879 HAS SOUPS 648290 WITH SCORE 665085.884
AT ITER 885 NEW BEST:: SOT 20044744 SOS 16796724 HAS SOPS 8374454 HAS SOUS 1529594 HAS SOUPS 647849 WITH SCORE 664645.724
AT ITER 908 NEW BEST:: SOT 20044737 SOS 16796710 HAS SOPS 8374440 HAS SOUS 1529580 HAS SOUPS 647835 WITH SCORE 664631.71
AT ITER 915 NEW BEST:: SOT 20043377 SOS 16797914 HAS SOPS 8372374 HAS SOUS 1528604 HAS SOUPS 646641 WITH SCORE 663438.914
AT ITER 935 NEW BEST:: SOT 20040140 SOS 16804879 HAS SOPS 8373309 HAS SOUS 1525999 HAS SOUPS 644036 WITH SCORE 660840.879
AT ITER 939 NEW BEST:: SOT 20039961 SOS 16804521 HAS SOPS 8372951 HAS SOUS 1525719 HAS SOUPS 643756 WITH SCORE 660560.521
AT ITER 996 NEW BEST:: SOT 20039529 SOS 16803080 HAS SOPS 8374395 HAS SOUS 1524710 HAS SOUPS 643324 WITH SCORE 660127.08
AT ITER 1000 NEW BEST:: SOT 20039592 SOS 16802466 HAS SOPS 8375311 HAS SOUS 1524213 HAS SOUPS 643133 WITH SCORE 659935.466
AT ITER 1019 NEW BEST:: SOT 20039592 SOS 16802466 HAS SOPS 8375311 HAS SOUS 1524045 HAS SOUPS 642965 WITH SCORE 659767.466
AT ITER 1039 NEW BEST:: SOT 20039592 SOS 16802466 HAS SOPS 8375311 HAS SOUS 1523799 HAS SOUPS 642719 WITH SCORE 659521.466
AT ITER 1051 NEW BEST:: SOT 20037240 SOS 16808627 HAS SOPS 8374572 HAS SOUS 1522474 HAS SOUPS 640934 WITH SCORE 657742.627
AT ITER 1052 NEW BEST:: SOT 20037240 SOS 16808627 HAS SOPS 8374572 HAS SOUS 1522398 HAS SOUPS 640858 WITH SCORE 657666.627
AT ITER 1064 NEW BEST:: SOT 20035433 SOS 16822879 HAS SOPS 8381204 HAS SOUS 1521730 HAS SOUPS 640190 WITH SCORE 657012.879
AT ITER 1065 NEW BEST:: SOT 20035433 SOS 16822879 HAS SOPS 8381204 HAS SOUS 1521486 HAS SOUPS 639946 WITH SCORE 656768.879
AT ITER 1066 NEW BEST:: SOT 20034791 SOS 16821210 HAS SOPS 8381215 HAS SOUS 1520538 HAS SOUPS 639334 WITH SCORE 656155.21
AT ITER 1077 NEW BEST:: SOT 20034791 SOS 16821210 HAS SOPS 8381215 HAS SOUS 1520384 HAS SOUPS 639180 WITH SCORE 656001.21
AT ITER 1119 NEW BEST:: SOT 20033149 SOS 16817606 HAS SOPS 8379211 HAS SOUS 1519083 HAS SOUPS 638199 WITH SCORE 655016.606
AT ITER 1133 NEW BEST:: SOT 20033149 SOS 16817606 HAS SOPS 8379211 HAS SOUS 1518857 HAS SOUPS 637973 WITH SCORE 654790.606
AT ITER 1140 NEW BEST:: SOT 20033149 SOS 16817151 HAS SOPS 8379696 HAS SOUS 1518669 HAS SOUPS 637973 WITH SCORE 654790.151
AT ITER 1145 NEW BEST:: SOT 20032860 SOS 16816573 HAS SOPS 8381038 HAS SOUS 1517996 HAS SOUPS 637684 WITH SCORE 654500.573
AT ITER 1153 NEW BEST:: SOT 20032558 SOS 16815969 HAS SOPS 8381944 HAS SOUS 1517392 HAS SOUPS 637382 WITH SCORE 654197.969
AT ITER 1155 NEW BEST:: SOT 20032365 SOS 16815583 HAS SOPS 8381558 HAS SOUS 1517268 HAS SOUPS 637258 WITH SCORE 654073.583
AT ITER 1181 NEW BEST:: SOT 20032365 SOS 16815583 HAS SOPS 8381558 HAS SOUS 1517080 HAS SOUPS 637070 WITH SCORE 653885.583
AT ITER 1269 NEW BEST:: SOT 20031813 SOS 16819631 HAS SOPS 8383766 HAS SOUS 1516712 HAS SOUPS 636702 WITH SCORE 653521.631
AT ITER 1278 NEW BEST:: SOT 20031781 SOS 16819567 HAS SOPS 8383702 HAS SOUS 1516704 HAS SOUPS 636694 WITH SCORE 653513.567
AT ITER 1280 NEW BEST:: SOT 20030597 SOS 16822887 HAS SOPS 8382282 HAS SOUS 1516199 HAS SOUPS 635873 WITH SCORE 652695.887
AT ITER 1288 NEW BEST:: SOT 20028074 SOS 16826314 HAS SOPS 8381349 HAS SOUS 1514164 HAS SOUPS 633838 WITH SCORE 650664.314
AT ITER 1295 NEW BEST:: SOT 20026382 SOS 16831654 HAS SOPS 8385307 HAS SOUS 1513463 HAS SOUPS 633465 WITH SCORE 650296.654
AT ITER 1300 NEW BEST:: SOT 20025752 SOS 16832104 HAS SOPS 8384407 HAS SOUS 1513103 HAS SOUPS 633015 WITH SCORE 649847.104
AT ITER 1306 NEW BEST:: SOT 20024271 SOS 16828785 HAS SOPS 8382873 HAS SOUS 1512614 HAS SOUPS 632883 WITH SCORE 649711.785
AT ITER 1309 NEW BEST:: SOT 20024271 SOS 16828785 HAS SOPS 8382873 HAS SOUS 1512440 HAS SOUPS 632709 WITH SCORE 649537.785
AT ITER 1332 NEW BEST:: SOT 20024115 SOS 16828473 HAS SOPS 8382561 HAS SOUS 1512284 HAS SOUPS 632553 WITH SCORE 649381.473
AT ITER 1350 NEW BEST:: SOT 20023640 SOS 16826868 HAS SOPS 8382786 HAS SOUS 1511242 HAS SOUPS 631877 WITH SCORE 648703.868
AT ITER 1356 NEW BEST:: SOT 20023356 SOS 16825614 HAS SOPS 8384962 HAS SOUS 1510272 HAS SOUPS 631593 WITH SCORE 648418.6140000001
AT ITER 1364 NEW BEST:: SOT 20023356 SOS 16825614 HAS SOPS 8384962 HAS SOUS 1510026 HAS SOUPS 631347 WITH SCORE 648172.6140000001
AT ITER 1368 NEW BEST:: SOT 20023023 SOS 16824948 HAS SOPS 8386086 HAS SOUS 1509335 HAS SOUPS 631014 WITH SCORE 647838.948
AT ITER 1396 NEW BEST:: SOT 20020164 SOS 16834477 HAS SOPS 8389225 HAS SOUS 1507488 HAS SOUPS 629167 WITH SCORE 646001.477
AT ITER 1399 NEW BEST:: SOT 20019848 SOS 16833595 HAS SOPS 8388343 HAS SOUS 1507172 HAS SOUPS 628851 WITH SCORE 645684.595
AT ITER 1410 NEW BEST:: SOT 20019848 SOS 16833595 HAS SOPS 8388343 HAS SOUS 1507080 HAS SOUPS 628759 WITH SCORE 645592.595
AT ITER 1421 NEW BEST:: SOT 20019848 SOS 16833595 HAS SOPS 8388343 HAS SOUS 1506834 HAS SOUPS 628513 WITH SCORE 645346.595
AT ITER 1426 NEW BEST:: SOT 20019201 SOS 16830371 HAS SOPS 8387279 HAS SOUS 1505431 HAS SOUPS 627542 WITH SCORE 644372.371
AT ITER 1446 NEW BEST:: SOT 20009784 SOS 16581027 HAS SOPS 8272848 HAS SOUS 1504913 HAS SOUPS 627164 WITH SCORE 643745.027
AT ITER 1457 NEW BEST:: SOT 20008126 SOS 16583748 HAS SOPS 8271459 HAS SOUS 1504008 HAS SOUPS 625985 WITH SCORE 642568.748
AT ITER 1465 NEW BEST:: SOT 20007958 SOS 16583412 HAS SOPS 8272923 HAS SOUS 1503480 HAS SOUPS 625817 WITH SCORE 642400.412
AT ITER 1480 NEW BEST:: SOT 20007702 SOS 16582900 HAS SOPS 8275011 HAS SOUS 1502704 HAS SOUPS 625561 WITH SCORE 642143.9
AT ITER 1483 NEW BEST:: SOT 20004907 SOS 16589715 HAS SOPS 8276226 HAS SOUS 1500779 HAS SOUPS 623636 WITH SCORE 640225.715
AT ITER 1492 NEW BEST:: SOT 20005230 SOS 16530469 HAS SOPS 8278321 HAS SOUS 1499815 HAS SOUPS 623155 WITH SCORE 639685.469
AT ITER 1493 NEW BEST:: SOT 20005230 SOS 16530469 HAS SOPS 8278321 HAS SOUS 1499607 HAS SOUPS 622947 WITH SCORE 639477.469
AT ITER 1499 NEW BEST:: SOT 20005230 SOS 16530469 HAS SOPS 8278321 HAS SOUS 1499361 HAS SOUPS 622701 WITH SCORE 639231.469
AT ITER 1501 NEW BEST:: SOT 20004642 SOS 16535552 HAS SOPS 8280224 HAS SOUS 1499139 HAS SOUPS 622479 WITH SCORE 639014.552
AT ITER 1504 NEW BEST:: SOT 20004159 SOS 16535897 HAS SOPS 8279534 HAS SOUS 1498863 HAS SOUPS 622134 WITH SCORE 638669.897
AT ITER 1534 NEW BEST:: SOT 20002807 SOS 16538278 HAS SOPS 8277715 HAS SOUS 1498333 HAS SOUPS 621324 WITH SCORE 637862.278
AT ITER 1544 NEW BEST:: SOT 19999815 SOS 16552237 HAS SOPS 8284014 HAS SOUS 1496904 HAS SOUPS 619895 WITH SCORE 636447.237
AT ITER 1559 NEW BEST:: SOT 19999815 SOS 16552149 HAS SOPS 8284366 HAS SOUS 1496816 HAS SOUPS 619895 WITH SCORE 636447.149
AT ITER 1616 NEW BEST:: SOT 19997662 SOS 16558619 HAS SOPS 8285366 HAS SOUS 1495423 HAS SOUPS 618502 WITH SCORE 635060.619
AT ITER 1635 NEW BEST:: SOT 19997312 SOS 16558614 HAS SOPS 8284486 HAS SOUS 1495366 HAS SOUPS 618270 WITH SCORE 634828.6140000001
AT ITER 1639 NEW BEST:: SOT 19996414 SOS 16559364 HAS SOPS 8283226 HAS SOUS 1494850 HAS SOUPS 617620 WITH SCORE 634179.3640000001
AT ITER 1649 NEW BEST:: SOT 19994967 SOS 16565191 HAS SOPS 8285083 HAS SOUS 1493820 HAS SOUPS 616590 WITH SCORE 633155.191
AT ITER 1654 NEW BEST:: SOT 19994899 SOS 16565361 HAS SOPS 8284998 HAS SOUS 1493769 HAS SOUPS 616522 WITH SCORE 633087.361
AT ITER 1674 NEW BEST:: SOT 19994552 SOS 16565939 HAS SOPS 8284781 HAS SOUS 1493646 HAS SOUPS 616346 WITH SCORE 632911.939
AT ITER 1685 NEW BEST:: SOT 19994313 SOS 16568681 HAS SOPS 8286373 HAS SOUS 1493522 HAS SOUPS 616222 WITH SCORE 632790.681
AT ITER 1691 NEW BEST:: SOT 19994204 SOS 16568245 HAS SOPS 8285937 HAS SOUS 1493304 HAS SOUPS 616004 WITH SCORE 632572.245
AT ITER 1698 NEW BEST:: SOT 19992348 SOS 16564124 HAS SOPS 8283861 HAS SOUS 1492074 HAS SOUPS 615183 WITH SCORE 631747.124
AT ITER 1714 NEW BEST:: SOT 19991962 SOS 16562770 HAS SOPS 8285417 HAS SOUS 1491106 HAS SOUPS 614797 WITH SCORE 631359.77
AT ITER 1715 NEW BEST:: SOT 19991862 SOS 16562820 HAS SOPS 8285217 HAS SOUS 1491018 HAS SOUPS 614659 WITH SCORE 631221.82
AT ITER 1724 NEW BEST:: SOT 19991894 SOS 16562868 HAS SOPS 8285233 HAS SOUS 1490804 HAS SOUPS 614429 WITH SCORE 630991.868
AT ITER 1762 NEW BEST:: SOT 19991894 SOS 16562678 HAS SOPS 8285353 HAS SOUS 1490729 HAS SOUPS 614416 WITH SCORE 630978.678
AT ITER 1776 NEW BEST:: SOT 19991894 SOS 16562678 HAS SOPS 8285353 HAS SOUS 1490663 HAS SOUPS 614350 WITH SCORE 630912.678
AT ITER 1800 NEW BEST:: SOT 19991499 SOS 16563705 HAS SOPS 8285590 HAS SOUS 1490347 HAS SOUPS 614034 WITH SCORE 630597.705
AT ITER 1802 NEW BEST:: SOT 19991066 SOS 16562839 HAS SOPS 8287089 HAS SOUS 1489273 HAS SOUPS 613433 WITH SCORE 629995.839
AT ITER 1804 NEW BEST:: SOT 19989970 SOS 16565867 HAS SOPS 8285767 HAS SOUS 1489144 HAS SOUPS 613014 WITH SCORE 629579.867
AT ITER 1808 NEW BEST:: SOT 19987515 SOS 16578572 HAS SOPS 8291072 HAS SOUS 1488146 HAS SOUPS 612016 WITH SCORE 628594.572
AT ITER 1814 NEW BEST:: SOT 19987515 SOS 16578572 HAS SOPS 8291072 HAS SOUS 1487900 HAS SOUPS 611770 WITH SCORE 628348.572
AT ITER 1816 NEW BEST:: SOT 19987313 SOS 16577353 HAS SOPS 8290863 HAS SOUS 1487294 HAS SOUPS 611366 WITH SCORE 627943.353
AT ITER 1823 NEW BEST:: SOT 19987432 SOS 16577971 HAS SOPS 8288691 HAS SOUS 1487765 HAS SOUPS 611279 WITH SCORE 627856.971
AT ITER 1827 NEW BEST:: SOT 19987096 SOS 16574904 HAS SOPS 8288344 HAS SOUS 1486686 HAS SOUPS 610744 WITH SCORE 627318.904
AT ITER 1831 NEW BEST:: SOT 19987096 SOS 16574904 HAS SOPS 8288344 HAS SOUS 1486506 HAS SOUPS 610564 WITH SCORE 627138.904
AT ITER 1838 NEW BEST:: SOT 19987096 SOS 16574904 HAS SOPS 8288344 HAS SOUS 1486448 HAS SOUPS 610506 WITH SCORE 627080.904
AT ITER 1840 NEW BEST:: SOT 19986624 SOS 16576164 HAS SOPS 8287864 HAS SOUS 1486069 HAS SOUPS 610011 WITH SCORE 626587.164
AT ITER 1844 NEW BEST:: SOT 19986624 SOS 16576164 HAS SOPS 8287864 HAS SOUS 1485823 HAS SOUPS 609765 WITH SCORE 626341.164
AT ITER 1862 NEW BEST:: SOT 19987231 SOS 16570098 HAS SOPS 8287123 HAS SOUS 1485365 HAS SOUPS 609662 WITH SCORE 626232.098
AT ITER 1875 NEW BEST:: SOT 19986849 SOS 16569334 HAS SOPS 8286359 HAS SOUS 1484983 HAS SOUPS 609280 WITH SCORE 625849.334
AT ITER 1876 NEW BEST:: SOT 19986685 SOS 16568596 HAS SOPS 8286031 HAS SOUS 1484573 HAS SOUPS 608952 WITH SCORE 625520.596
AT ITER 1886 NEW BEST:: SOT 19983912 SOS 16575493 HAS SOPS 8286968 HAS SOUS 1482745 HAS SOUPS 607124 WITH SCORE 623699.493
AT ITER 1899 NEW BEST:: SOT 19984199 SOS 16570747 HAS SOPS 8285072 HAS SOUS 1482462 HAS SOUPS 607031 WITH SCORE 623601.747
AT ITER 1900 NEW BEST:: SOT 19984199 SOS 16570747 HAS SOPS 8285072 HAS SOUS 1482216 HAS SOUPS 606785 WITH SCORE 623355.747
AT ITER 1907 NEW BEST:: SOT 19981476 SOS 16584903 HAS SOPS 8289718 HAS SOUS 1481358 HAS SOUPS 605293 WITH SCORE 621877.903
AT ITER 1911 NEW BEST:: SOT 19982035 SOS 16582107 HAS SOPS 8287564 HAS SOUS 1481481 HAS SOUPS 605273 WITH SCORE 621855.107
AT ITER 1924 NEW BEST:: SOT 19980130 SOS 16577841 HAS SOPS 8285578 HAS SOUS 1480669 HAS SOUPS 604917 WITH SCORE 621494.841
AT ITER 1927 NEW BEST:: SOT 19979461 SOS 16576503 HAS SOPS 8286275 HAS SOUS 1479259 HAS SOUPS 603914 WITH SCORE 620490.503
AT ITER 1943 NEW BEST:: SOT 19976554 SOS 16586512 HAS SOPS 8293743 HAS SOUS 1478403 HAS SOUPS 603675 WITH SCORE 620261.512
AT ITER 1945 NEW BEST:: SOT 19976331 SOS 16586066 HAS SOPS 8295252 HAS SOUS 1477629 HAS SOUPS 603292 WITH SCORE 619878.066
AT ITER 1951 NEW BEST:: SOT 19976040 SOS 16585484 HAS SOPS 8294670 HAS SOUS 1477105 HAS SOUPS 602768 WITH SCORE 619353.484
AT ITER 1954 NEW BEST:: SOT 19975989 SOS 16585382 HAS SOPS 8294568 HAS SOUS 1477053 HAS SOUPS 602716 WITH SCORE 619301.382
AT ITER 1980 NEW BEST:: SOT 19975989 SOS 16585382 HAS SOPS 8294568 HAS SOUS 1476807 HAS SOUPS 602470 WITH SCORE 619055.382
AT ITER 1995 NEW BEST:: SOT 19975742 SOS 16584888 HAS SOPS 8295309 HAS SOUS 1476313 HAS SOUPS 602223 WITH SCORE 618807.888
AT ITER 1997 NEW BEST:: SOT 19975472 SOS 16584348 HAS SOPS 8294769 HAS SOUS 1476043 HAS SOUPS 601953 WITH SCORE 618537.348
AT ITER 1998 NEW BEST:: SOT 19973798 SOS 16587849 HAS SOPS 8293950 HAS SOUS 1475223 HAS SOUPS 600845 WITH SCORE 617432.849
AT ITER 2010 NEW BEST:: SOT 19972046 SOS 16598136 HAS SOPS 8297667 HAS SOUS 1474297 HAS SOUPS 599919 WITH SCORE 616517.1359999999
AT ITER 2011 NEW BEST:: SOT 19971648 SOS 16597340 HAS SOPS 8296871 HAS SOUS 1474085 HAS SOUPS 599707 WITH SCORE 616304.34
AT ITER 2023 NEW BEST:: SOT 19961406 SOS 16582564 HAS SOPS 8290196 HAS SOUS 1473414 HAS SOUPS 599635 WITH SCORE 616217.564
AT ITER 2038 NEW BEST:: SOT 19961283 SOS 16582318 HAS SOPS 8289950 HAS SOUS 1473291 HAS SOUPS 599512 WITH SCORE 616094.318
AT ITER 2048 NEW BEST:: SOT 19961283 SOS 16582318 HAS SOPS 8289950 HAS SOUS 1473119 HAS SOUPS 599340 WITH SCORE 615922.318
AT ITER 2052 NEW BEST:: SOT 19961027 SOS 16581580 HAS SOPS 8290342 HAS SOUS 1472643 HAS SOUPS 599090 WITH SCORE 615671.58
AT ITER 2056 NEW BEST:: SOT 19960944 SOS 16581414 HAS SOPS 8290176 HAS SOUS 1472559 HAS SOUPS 599006 WITH SCORE 615587.414
AT ITER 2063 NEW BEST:: SOT 19960276 SOS 16579911 HAS SOPS 8288673 HAS SOUS 1472392 HAS SOUPS 598839 WITH SCORE 615418.911
AT ITER 2099 NEW BEST:: SOT 19957528 SOS 16584080 HAS SOPS 8288342 HAS SOUS 1471007 HAS SOUPS 597454 WITH SCORE 614038.08
AT ITER 2110 NEW BEST:: SOT 19957528 SOS 16584080 HAS SOPS 8288342 HAS SOUS 1470901 HAS SOUPS 597348 WITH SCORE 613932.08
AT ITER 2112 NEW BEST:: SOT 19957201 SOS 16582952 HAS SOPS 8289584 HAS SOUS 1470255 HAS SOUPS 597176 WITH SCORE 613758.952
AT ITER 2114 NEW BEST:: SOT 19957201 SOS 16582952 HAS SOPS 8289584 HAS SOUS 1470073 HAS SOUPS 596994 WITH SCORE 613576.952
AT ITER 2121 NEW BEST:: SOT 19957005 SOS 16581932 HAS SOPS 8291704 HAS SOUS 1469365 HAS SOUPS 596914 WITH SCORE 613495.932
AT ITER 2122 NEW BEST:: SOT 19955257 SOS 16588394 HAS SOPS 8293456 HAS SOUS 1468578 HAS SOUPS 596127 WITH SCORE 612715.394
AT ITER 2123 NEW BEST:: SOT 19951921 SOS 16594629 HAS SOPS 8294501 HAS SOUS 1466905 HAS SOUPS 594454 WITH SCORE 611048.629
AT ITER 2128 NEW BEST:: SOT 19950737 SOS 16597315 HAS SOPS 8293467 HAS SOUS 1466163 HAS SOUPS 593464 WITH SCORE 610061.315
AT ITER 2134 NEW BEST:: SOT 19950530 SOS 16616900 HAS SOPS 8301457 HAS SOUS 1465260 HAS SOUPS 591788 WITH SCORE 608404.9
AT ITER 2140 NEW BEST:: SOT 19948514 SOS 16624822 HAS SOPS 8302509 HAS SOUS 1464845 HAS SOUPS 590915 WITH SCORE 607539.822
AT ITER 2155 NEW BEST:: SOT 19946925 SOS 16629281 HAS SOPS 8303028 HAS SOUS 1464082 HAS SOUPS 590152 WITH SCORE 606781.281
AT ITER 2172 NEW BEST:: SOT 19945150 SOS 16635079 HAS SOPS 8302511 HAS SOUS 1463618 HAS SOUPS 589267 WITH SCORE 605902.079
AT ITER 2181 NEW BEST:: SOT 19944618 SOS 16635839 HAS SOPS 8302131 HAS SOUS 1463390 HAS SOUPS 588963 WITH SCORE 605598.839
AT ITER 2182 NEW BEST:: SOT 19944535 SOS 16635838 HAS SOPS 8301305 HAS SOUS 1463422 HAS SOUPS 588830 WITH SCORE 605465.838
AT ITER 2188 NEW BEST:: SOT 19944399 SOS 16635801 HAS SOPS 8299528 HAS SOUS 1463119 HAS SOUPS 588179 WITH SCORE 604814.801
AT ITER 2192 NEW BEST:: SOT 19944282 SOS 16635567 HAS SOPS 8299294 HAS SOUS 1462885 HAS SOUPS 587945 WITH SCORE 604580.567
AT ITER 2197 NEW BEST:: SOT 19942890 SOS 16632441 HAS SOPS 8297878 HAS SOUS 1462248 HAS SOUPS 587650 WITH SCORE 604282.441
AT ITER 2205 NEW BEST:: SOT 19942475 SOS 16632686 HAS SOPS 8297048 HAS SOUS 1461848 HAS SOUPS 587035 WITH SCORE 603667.686
AT ITER 2208 NEW BEST:: SOT 19942225 SOS 16632186 HAS SOPS 8296548 HAS SOUS 1461473 HAS SOUPS 586660 WITH SCORE 603292.186
AT ITER 2214 NEW BEST:: SOT 19941865 SOS 16632834 HAS SOPS 8296116 HAS SOUS 1461401 HAS SOUPS 586516 WITH SCORE 603148.834
AT ITER 2216 NEW BEST:: SOT 19932449 SOS 16618282 HAS SOPS 8290144 HAS SOUS 1460574 HAS SOUPS 586469 WITH SCORE 603087.282
AT ITER 2257 NEW BEST:: SOT 19932130 SOS 16617644 HAS SOPS 8289506 HAS SOUS 1459936 HAS SOUPS 585831 WITH SCORE 602448.644
AT ITER 2270 NEW BEST:: SOT 19931822 SOS 16616683 HAS SOPS 8288545 HAS SOUS 1459275 HAS SOUPS 585170 WITH SCORE 601786.683
AT ITER 2273 NEW BEST:: SOT 19931138 SOS 16615201 HAS SOPS 8287063 HAS SOUS 1458819 HAS SOUPS 584714 WITH SCORE 601329.201
AT ITER 2274 NEW BEST:: SOT 19931054 SOS 16614991 HAS SOPS 8286853 HAS SOUS 1458735 HAS SOUPS 584630 WITH SCORE 601244.991
AT ITER 2278 NEW BEST:: SOT 19931054 SOS 16614991 HAS SOPS 8286853 HAS SOUS 1458521 HAS SOUPS 584416 WITH SCORE 601030.991
AT ITER 2284 NEW BEST:: SOT 19928603 SOS 16629972 HAS SOPS 8289819 HAS SOUS 1458101 HAS SOUPS 583195 WITH SCORE 599824.972
AT ITER 2287 NEW BEST:: SOT 19928114 SOS 16628994 HAS SOPS 8290616 HAS SOUS 1457257 HAS SOUPS 582706 WITH SCORE 599334.994
AT ITER 2289 NEW BEST:: SOT 19928602 SOS 16629340 HAS SOPS 8290962 HAS SOUS 1457219 HAS SOUPS 582668 WITH SCORE 599297.34
AT ITER 2290 NEW BEST:: SOT 19928670 SOS 16628880 HAS SOPS 8290502 HAS SOUS 1457006 HAS SOUPS 582455 WITH SCORE 599083.88
AT ITER 2291 NEW BEST:: SOT 19928670 SOS 16628880 HAS SOPS 8290502 HAS SOUS 1456874 HAS SOUPS 582323 WITH SCORE 598951.88
AT ITER 2294 NEW BEST:: SOT 19928654 SOS 16628848 HAS SOPS 8290470 HAS SOUS 1456858 HAS SOUPS 582307 WITH SCORE 598935.848
AT ITER 2322 NEW BEST:: SOT 19926274 SOS 16636335 HAS SOPS 8293017 HAS SOUS 1456454 HAS SOUPS 581903 WITH SCORE 598539.335
AT ITER 2330 NEW BEST:: SOT 19926064 SOS 16635915 HAS SOPS 8292597 HAS SOUS 1456139 HAS SOUPS 581588 WITH SCORE 598223.915
AT ITER 2335 NEW BEST:: SOT 19925527 SOS 16634841 HAS SOPS 8291523 HAS SOUS 1455761 HAS SOUPS 581210 WITH SCORE 597844.841
AT ITER 2348 NEW BEST:: SOT 19925586 SOS 16634144 HAS SOPS 8290826 HAS SOUS 1455711 HAS SOUPS 581160 WITH SCORE 597794.144
AT ITER 2352 NEW BEST:: SOT 19922633 SOS 16639967 HAS SOPS 8291269 HAS SOUS 1453474 HAS SOUPS 578923 WITH SCORE 595562.967
AT ITER 2357 NEW BEST:: SOT 19922897 SOS 16640363 HAS SOPS 8291401 HAS SOUS 1453492 HAS SOUPS 578809 WITH SCORE 595449.363
AT ITER 2372 NEW BEST:: SOT 19922809 SOS 16640187 HAS SOPS 8291225 HAS SOUS 1453404 HAS SOUPS 578721 WITH SCORE 595361.187
AT ITER 2374 NEW BEST:: SOT 19922021 SOS 16639399 HAS SOPS 8290437 HAS SOUS 1453213 HAS SOUPS 578530 WITH SCORE 595169.399
AT ITER 2375 NEW BEST:: SOT 19922021 SOS 16639399 HAS SOPS 8290437 HAS SOUS 1453099 HAS SOUPS 578416 WITH SCORE 595055.399
AT ITER 2392 NEW BEST:: SOT 19922157 SOS 16639031 HAS SOPS 8290069 HAS SOUS 1452847 HAS SOUPS 578164 WITH SCORE 594803.031
AT ITER 2426 NEW BEST:: SOT 19921912 SOS 16637316 HAS SOPS 8289579 HAS SOUS 1452112 HAS SOUPS 577674 WITH SCORE 594311.316
AT ITER 2475 NEW BEST:: SOT 19921696 SOS 16638540 HAS SOPS 8290083 HAS SOUS 1452040 HAS SOUPS 577602 WITH SCORE 594240.54
AT ITER 2493 NEW BEST:: SOT 19921696 SOS 16638540 HAS SOPS 8290083 HAS SOUS 1451940 HAS SOUPS 577502 WITH SCORE 594140.54
AT ITER 2499 NEW BEST:: SOT 19920979 SOS 16596204 HAS SOPS 8291651 HAS SOUS 1451727 HAS SOUPS 577289 WITH SCORE 593885.204
AT ITER 2531 NEW BEST:: SOT 19920327 SOS 16593106 HAS SOPS 8290663 HAS SOUS 1450849 HAS SOUPS 576833 WITH SCORE 593426.106
AT ITER 2535 NEW BEST:: SOT 19919869 SOS 16590358 HAS SOPS 8290205 HAS SOUS 1450391 HAS SOUPS 576833 WITH SCORE 593423.358
AT ITER 2557 NEW BEST:: SOT 19920117 SOS 16590730 HAS SOPS 8290329 HAS SOUS 1450393 HAS SOUPS 576711 WITH SCORE 593301.73
AT ITER 2561 NEW BEST:: SOT 19920117 SOS 16590730 HAS SOPS 8290329 HAS SOUS 1450157 HAS SOUPS 576475 WITH SCORE 593065.73
AT ITER 2572 NEW BEST:: SOT 19918642 SOS 16592909 HAS SOPS 8289163 HAS SOUS 1449369 HAS SOUPS 575464 WITH SCORE 592056.909
AT ITER 2574 NEW BEST:: SOT 19918431 SOS 16592487 HAS SOPS 8288741 HAS SOUS 1449158 HAS SOUPS 575253 WITH SCORE 591845.487
AT ITER 2597 NEW BEST:: SOT 19918179 SOS 16592923 HAS SOPS 8288237 HAS SOUS 1449229 HAS SOUPS 575136 WITH SCORE 591728.923
AT ITER 2598 NEW BEST:: SOT 19918129 SOS 16592173 HAS SOPS 8288137 HAS SOUS 1449049 HAS SOUPS 575086 WITH SCORE 591678.173
AT ITER 2609 NEW BEST:: SOT 19917475 SOS 16598578 HAS SOPS 8291532 HAS SOUS 1448874 HAS SOUPS 574911 WITH SCORE 591509.578
AT ITER 2612 NEW BEST:: SOT 19917475 SOS 16598578 HAS SOPS 8291532 HAS SOUS 1448800 HAS SOUPS 574837 WITH SCORE 591435.578
AT ITER 2629 NEW BEST:: SOT 19916638 SOS 16595080 HAS SOPS 8290314 HAS SOUS 1447126 HAS SOUPS 573619 WITH SCORE 590214.08
AT ITER 2641 NEW BEST:: SOT 19916385 SOS 16594353 HAS SOPS 8289587 HAS SOUS 1446896 HAS SOUPS 573389 WITH SCORE 589983.353
AT ITER 2656 NEW BEST:: SOT 19916278 SOS 16594139 HAS SOPS 8289373 HAS SOUS 1446789 HAS SOUPS 573282 WITH SCORE 589876.139
AT ITER 2658 NEW BEST:: SOT 19914347 SOS 16589716 HAS SOPS 8287755 HAS SOUS 1445292 HAS SOUPS 572346 WITH SCORE 588935.716
AT ITER 2678 NEW BEST:: SOT 19914347 SOS 16589716 HAS SOPS 8287755 HAS SOUS 1445046 HAS SOUPS 572100 WITH SCORE 588689.716
AT ITER 2695 NEW BEST:: SOT 19912996 SOS 16596542 HAS SOPS 8288866 HAS SOUS 1445046 HAS SOUPS 571719 WITH SCORE 588315.542
AT ITER 2697 NEW BEST:: SOT 19912935 SOS 16596644 HAS SOPS 8288968 HAS SOUS 1444985 HAS SOUPS 571658 WITH SCORE 588254.644
AT ITER 2705 NEW BEST:: SOT 19912935 SOS 16596644 HAS SOPS 8288968 HAS SOUS 1444779 HAS SOUPS 571452 WITH SCORE 588048.644
AT ITER 2744 NEW BEST:: SOT 19912935 SOS 16596644 HAS SOPS 8288968 HAS SOUS 1444629 HAS SOUPS 571302 WITH SCORE 587898.644
AT ITER 2768 NEW BEST:: SOT 19911619 SOS 16593765 HAS SOPS 8286089 HAS SOUS 1443948 HAS SOUPS 570621 WITH SCORE 587214.765
AT ITER 2774 NEW BEST:: SOT 19911424 SOS 16594077 HAS SOPS 8285816 HAS SOUS 1443948 HAS SOUPS 570582 WITH SCORE 587176.077
AT ITER 2778 NEW BEST:: SOT 19911424 SOS 16594077 HAS SOPS 8285816 HAS SOUS 1443702 HAS SOUPS 570336 WITH SCORE 586930.077
AT ITER 2789 NEW BEST:: SOT 19911424 SOS 16594077 HAS SOPS 8285816 HAS SOUS 1443650 HAS SOUPS 570284 WITH SCORE 586878.077
AT ITER 2790 NEW BEST:: SOT 19911424 SOS 16593882 HAS SOPS 8286596 HAS SOUS 1443455 HAS SOUPS 570284 WITH SCORE 586877.882
AT ITER 2794 NEW BEST:: SOT 19909820 SOS 16597887 HAS SOPS 8284811 HAS SOUS 1443016 HAS SOUPS 569459 WITH SCORE 586056.887
AT ITER 2808 NEW BEST:: SOT 19909588 SOS 16599079 HAS SOPS 8284623 HAS SOUS 1442912 HAS SOUPS 569263 WITH SCORE 585862.079
AT ITER 2812 NEW BEST:: SOT 19909429 SOS 16599556 HAS SOPS 8284305 HAS SOUS 1442912 HAS SOUPS 569104 WITH SCORE 585703.556
AT ITER 2820 NEW BEST:: SOT 19908995 SOS 16599528 HAS SOPS 8284277 HAS SOUS 1442676 HAS SOUPS 568868 WITH SCORE 585467.528
AT ITER 2830 NEW BEST:: SOT 19908521 SOS 16597625 HAS SOPS 8283559 HAS SOUS 1441726 HAS SOUPS 568155 WITH SCORE 584752.625
AT ITER 2831 NEW BEST:: SOT 19908321 SOS 16599899 HAS SOPS 8283143 HAS SOUS 1441987 HAS SOUPS 567878 WITH SCORE 584477.899
AT ITER 2850 NEW BEST:: SOT 19907117 SOS 16597759 HAS SOPS 8281003 HAS SOUS 1441543 HAS SOUPS 567434 WITH SCORE 584031.759
AT ITER 2864 NEW BEST:: SOT 19904611 SOS 16607045 HAS SOPS 8284579 HAS SOUS 1440247 HAS SOUPS 566138 WITH SCORE 582745.045
AT ITER 2878 NEW BEST:: SOT 19903980 SOS 16610713 HAS SOPS 8285697 HAS SOUS 1439956 HAS SOUPS 565677 WITH SCORE 582287.713
AT ITER 2896 NEW BEST:: SOT 19903828 SOS 16610169 HAS SOPS 8286353 HAS SOUS 1439695 HAS SOUPS 565656 WITH SCORE 582266.169
AT ITER 2916 NEW BEST:: SOT 19904002 SOS 16610430 HAS SOPS 8286440 HAS SOUS 1439623 HAS SOUPS 565497 WITH SCORE 582107.43
AT ITER 2929 NEW BEST:: SOT 19904002 SOS 16610430 HAS SOPS 8286440 HAS SOUS 1439465 HAS SOUPS 565339 WITH SCORE 581949.43
AT ITER 2930 NEW BEST:: SOT 19904002 SOS 16610430 HAS SOPS 8286440 HAS SOUS 1439241 HAS SOUPS 565115 WITH SCORE 581725.43
AT ITER 2950 NEW BEST:: SOT 19903984 SOS 16612716 HAS SOPS 8286440 HAS SOUS 1439241 HAS SOUPS 565097 WITH SCORE 581709.716
AT ITER 2966 NEW BEST:: SOT 19904036 SOS 16612820 HAS SOPS 8286544 HAS SOUS 1439192 HAS SOUPS 565048 WITH SCORE 581660.82
AT ITER 2971 NEW BEST:: SOT 19900082 SOS 16615143 HAS SOPS 8283847 HAS SOUS 1436813 HAS SOUPS 562669 WITH SCORE 579284.143
AT ITER 2972 NEW BEST:: SOT 19900082 SOS 16615143 HAS SOPS 8283847 HAS SOUS 1436773 HAS SOUPS 562629 WITH SCORE 579244.143
AT ITER 2982 NEW BEST:: SOT 19898660 SOS 16611952 HAS SOPS 8282391 HAS SOUS 1435770 HAS SOUPS 561973 WITH SCORE 578584.952
AT ITER 2997 NEW BEST:: SOT 19898232 SOS 16610989 HAS SOPS 8281428 HAS SOUS 1435556 HAS SOUPS 561759 WITH SCORE 578369.9890000001
AT ITER 3009 NEW BEST:: SOT 19900236 SOS 16613828 HAS SOPS 8282430 HAS SOUS 1435389 HAS SOUPS 561425 WITH SCORE 578038.828
AT ITER 3013 NEW BEST:: SOT 19900178 SOS 16613712 HAS SOPS 8282314 HAS SOUS 1435357 HAS SOUPS 561393 WITH SCORE 578006.712
AT ITER 3022 NEW BEST:: SOT 19899854 SOS 16613064 HAS SOPS 8281666 HAS SOUS 1434870 HAS SOUPS 560906 WITH SCORE 577519.064
AT ITER 3039 NEW BEST:: SOT 19899854 SOS 16613064 HAS SOPS 8281666 HAS SOUS 1434642 HAS SOUPS 560678 WITH SCORE 577291.064
AT ITER 3080 NEW BEST:: SOT 19897358 SOS 16619804 HAS SOPS 8280396 HAS SOUS 1433777 HAS SOUPS 559279 WITH SCORE 575898.804
AT ITER 3087 NEW BEST:: SOT 19897994 SOS 16621293 HAS SOPS 8280800 HAS SOUS 1433979 HAS SOUPS 559264 WITH SCORE 575885.293
AT ITER 3089 NEW BEST:: SOT 19888634 SOS 16607351 HAS SOPS 8274462 HAS SOUS 1433088 HAS SOUPS 558963 WITH SCORE 575570.351
AT ITER 3102 NEW BEST:: SOT 19888634 SOS 16607351 HAS SOPS 8274462 HAS SOUS 1433038 HAS SOUPS 558913 WITH SCORE 575520.351
AT ITER 3119 NEW BEST:: SOT 19888634 SOS 16607351 HAS SOPS 8274462 HAS SOUS 1432792 HAS SOUPS 558667 WITH SCORE 575274.351
AT ITER 3128 NEW BEST:: SOT 19888664 SOS 16606721 HAS SOPS 8274282 HAS SOUS 1432762 HAS SOUPS 558667 WITH SCORE 575273.721
AT ITER 3129 NEW BEST:: SOT 19888460 SOS 16604863 HAS SOPS 8273874 HAS SOUS 1431977 HAS SOUPS 558172 WITH SCORE 574776.863
AT ITER 3130 NEW BEST:: SOT 19886309 SOS 16621514 HAS SOPS 8282115 HAS SOUS 1431550 HAS SOUPS 557745 WITH SCORE 574366.514
AT ITER 3141 NEW BEST:: SOT 19886309 SOS 16621514 HAS SOPS 8282115 HAS SOUS 1431374 HAS SOUPS 557569 WITH SCORE 574190.514
AT ITER 3154 NEW BEST:: SOT 19885015 SOS 16622745 HAS SOPS 8281316 HAS SOUS 1430863 HAS SOUPS 557058 WITH SCORE 573680.745
AT ITER 3175 NEW BEST:: SOT 19885015 SOS 16622745 HAS SOPS 8281316 HAS SOUS 1430823 HAS SOUPS 557018 WITH SCORE 573640.745
AT ITER 3177 NEW BEST:: SOT 19876844 SOS 16606403 HAS SOPS 8278128 HAS SOUS 1429871 HAS SOUPS 556863 WITH SCORE 573469.403
AT ITER 3214 NEW BEST:: SOT 19876844 SOS 16606403 HAS SOPS 8278128 HAS SOUS 1429793 HAS SOUPS 556785 WITH SCORE 573391.403
AT ITER 3246 NEW BEST:: SOT 19876683 SOS 16608293 HAS SOPS 8279228 HAS SOUS 1429711 HAS SOUPS 556703 WITH SCORE 573311.293
AT ITER 3248 NEW BEST:: SOT 19875931 SOS 16609364 HAS SOPS 8278874 HAS SOUS 1429417 HAS SOUPS 556314 WITH SCORE 572923.3640000001
AT ITER 3252 NEW BEST:: SOT 19875439 SOS 16607464 HAS SOPS 8278119 HAS SOUS 1428889 HAS SOUPS 556015 WITH SCORE 572622.464
AT ITER 3257 NEW BEST:: SOT 19875125 SOS 16606836 HAS SOPS 8279436 HAS SOUS 1427942 HAS SOUPS 555457 WITH SCORE 572063.836
AT ITER 3291 NEW BEST:: SOT 19874989 SOS 16606564 HAS SOPS 8278484 HAS SOUS 1427942 HAS SOUPS 555321 WITH SCORE 571927.564
AT ITER 3307 NEW BEST:: SOT 19874989 SOS 16606564 HAS SOPS 8278484 HAS SOUS 1427862 HAS SOUPS 555241 WITH SCORE 571847.564
AT ITER 3308 NEW BEST:: SOT 19874989 SOS 16606374 HAS SOPS 8278484 HAS SOUS 1427786 HAS SOUPS 555203 WITH SCORE 571809.374
AT ITER 3312 NEW BEST:: SOT 19874947 SOS 16605987 HAS SOPS 8278097 HAS SOUS 1427744 HAS SOUPS 555161 WITH SCORE 571766.987
AT ITER 3336 NEW BEST:: SOT 19874947 SOS 16605987 HAS SOPS 8278097 HAS SOUS 1427602 HAS SOUPS 555019 WITH SCORE 571624.987
AT ITER 3341 NEW BEST:: SOT 19874743 SOS 16604994 HAS SOPS 8277104 HAS SOUS 1427112 HAS SOUPS 554529 WITH SCORE 571133.994
AT ITER 3344 NEW BEST:: SOT 19874961 SOS 16605046 HAS SOPS 8277156 HAS SOUS 1427042 HAS SOUPS 554459 WITH SCORE 571064.046
AT ITER 3349 NEW BEST:: SOT 19875256 SOS 16600520 HAS SOPS 8275960 HAS SOUS 1426671 HAS SOUPS 554310 WITH SCORE 570910.52
AT ITER 3352 NEW BEST:: SOT 19875156 SOS 16600320 HAS SOPS 8275420 HAS SOUS 1426637 HAS SOUPS 554208 WITH SCORE 570808.32
AT ITER 3354 NEW BEST:: SOT 19874990 SOS 16600013 HAS SOPS 8275113 HAS SOUS 1426392 HAS SOUPS 553963 WITH SCORE 570563.013
AT ITER 3355 NEW BEST:: SOT 19874582 SOS 16599741 HAS SOPS 8274841 HAS SOUS 1426392 HAS SOUPS 553963 WITH SCORE 570562.741
AT ITER 3385 NEW BEST:: SOT 19874390 SOS 16599357 HAS SOPS 8274457 HAS SOUS 1426200 HAS SOUPS 553771 WITH SCORE 570370.357
AT ITER 3393 NEW BEST:: SOT 19873338 SOS 16602628 HAS SOPS 8273528 HAS SOUS 1425808 HAS SOUPS 553099 WITH SCORE 569701.628
AT ITER 3397 NEW BEST:: SOT 19873316 SOS 16602595 HAS SOPS 8273517 HAS SOUS 1425786 HAS SOUPS 553088 WITH SCORE 569690.595
AT ITER 3413 NEW BEST:: SOT 19873304 SOS 16602511 HAS SOPS 8273433 HAS SOUS 1425773 HAS SOUPS 553075 WITH SCORE 569677.5109999999
AT ITER 3421 NEW BEST:: SOT 19873304 SOS 16602511 HAS SOPS 8273433 HAS SOUS 1425645 HAS SOUPS 552947 WITH SCORE 569549.5109999999
AT ITER 3435 NEW BEST:: SOT 19873304 SOS 16601471 HAS SOPS 8273433 HAS SOUS 1425229 HAS SOUPS 552739 WITH SCORE 569340.471
AT ITER 3452 NEW BEST:: SOT 19872470 SOS 16599803 HAS SOPS 8271765 HAS SOUS 1424395 HAS SOUPS 551905 WITH SCORE 568504.803
AT ITER 3455 NEW BEST:: SOT 19872024 SOS 16598514 HAS SOPS 8272461 HAS SOUS 1423552 HAS SOUPS 551459 WITH SCORE 568057.514
AT ITER 3466 NEW BEST:: SOT 19872872 SOS 16103196 HAS SOPS 7874033 HAS SOUS 1423486 HAS SOUPS 551914 WITH SCORE 568017.196
AT ITER 3479 NEW BEST:: SOT 19870366 SOS 16099351 HAS SOPS 7872421 HAS SOUS 1423264 HAS SOUPS 551895 WITH SCORE 567994.351
AT ITER 3504 NEW BEST:: SOT 19869607 SOS 16103321 HAS SOPS 7874431 HAS SOUS 1423017 HAS SOUPS 551648 WITH SCORE 567751.321
AT ITER 3536 NEW BEST:: SOT 19869231 SOS 16102569 HAS SOPS 7873679 HAS SOUS 1422641 HAS SOUPS 551272 WITH SCORE 567374.569
AT ITER 3547 NEW BEST:: SOT 19868530 SOS 16100894 HAS SOPS 7873369 HAS SOUS 1422075 HAS SOUPS 550979 WITH SCORE 567079.894
AT ITER 3561 NEW BEST:: SOT 19868332 SOS 16100465 HAS SOPS 7873105 HAS SOUS 1421943 HAS SOUPS 550880 WITH SCORE 566980.465
AT ITER 3581 NEW BEST:: SOT 19867209 SOS 16097887 HAS SOPS 7872187 HAS SOUS 1421484 HAS SOUPS 550753 WITH SCORE 566850.887
AT ITER 3594 NEW BEST:: SOT 19864247 SOS 16108053 HAS SOPS 7876153 HAS SOUS 1421272 HAS SOUPS 550541 WITH SCORE 566649.053
AT ITER 3609 NEW BEST:: SOT 19864083 SOS 16107725 HAS SOPS 7875825 HAS SOUS 1421108 HAS SOUPS 550377 WITH SCORE 566484.725
AT ITER 3617 NEW BEST:: SOT 19862527 SOS 16020428 HAS SOPS 7885184 HAS SOUS 1420281 HAS SOUPS 549550 WITH SCORE 565570.428
AT ITER 3671 NEW BEST:: SOT 19862299 SOS 16020200 HAS SOPS 7884956 HAS SOUS 1420281 HAS SOUPS 549550 WITH SCORE 565570.2
AT ITER 3678 NEW BEST:: SOT 19862320 SOS 16020340 HAS SOPS 7884606 HAS SOUS 1420355 HAS SOUPS 549526 WITH SCORE 565546.34
AT ITER 3704 NEW BEST:: SOT 19861825 SOS 16019647 HAS SOPS 7883913 HAS SOUS 1420256 HAS SOUPS 549427 WITH SCORE 565446.647
AT ITER 3710 NEW BEST:: SOT 19861516 SOS 16021501 HAS SOPS 7884222 HAS SOUS 1420153 HAS SOUPS 549221 WITH SCORE 565242.501
AT ITER 3726 NEW BEST:: SOT 19861387 SOS 16021243 HAS SOPS 7885364 HAS SOUS 1419744 HAS SOUPS 549092 WITH SCORE 565113.243
AT ITER 3744 NEW BEST:: SOT 19861891 SOS 15965335 HAS SOPS 7885454 HAS SOUS 1419789 HAS SOUPS 549137 WITH SCORE 565102.335
AT ITER 3766 NEW BEST:: SOT 19860858 SOS 15973720 HAS SOPS 7888379 HAS SOUS 1419484 HAS SOUPS 548468 WITH SCORE 564441.72
AT ITER 3781 NEW BEST:: SOT 19861644 SOS 15975568 HAS SOPS 7890227 HAS SOUS 1419166 HAS SOUPS 548150 WITH SCORE 564125.568
AT ITER 3790 NEW BEST:: SOT 19860840 SOS 15973826 HAS SOPS 7888485 HAS SOUS 1418764 HAS SOUPS 547748 WITH SCORE 563721.826
AT ITER 3795 NEW BEST:: SOT 19860971 SOS 15937338 HAS SOPS 7889201 HAS SOUS 1418307 HAS SOUPS 547518 WITH SCORE 563455.338
AT ITER 3805 NEW BEST:: SOT 19856298 SOS 15930898 HAS SOPS 7885035 HAS SOUS 1418272 HAS SOUPS 547483 WITH SCORE 563413.898
AT ITER 3851 NEW BEST:: SOT 19856298 SOS 15930898 HAS SOPS 7885035 HAS SOUS 1418078 HAS SOUPS 547289 WITH SCORE 563219.898
AT ITER 3865 NEW BEST:: SOT 19856298 SOS 15930898 HAS SOPS 7885035 HAS SOUS 1417954 HAS SOUPS 547165 WITH SCORE 563095.898
AT ITER 3884 NEW BEST:: SOT 19856298 SOS 15930898 HAS SOPS 7885035 HAS SOUS 1417750 HAS SOUPS 546961 WITH SCORE 562891.898
AT ITER 3916 NEW BEST:: SOT 19855976 SOS 15927799 HAS SOPS 7884391 HAS SOUS 1416669 HAS SOUPS 546371 WITH SCORE 562298.799
AT ITER 3920 NEW BEST:: SOT 19855968 SOS 15927783 HAS SOPS 7884550 HAS SOUS 1416626 HAS SOUPS 546363 WITH SCORE 562290.783
AT ITER 3931 NEW BEST:: SOT 19855968 SOS 15927783 HAS SOPS 7884550 HAS SOUS 1416452 HAS SOUPS 546189 WITH SCORE 562116.783
AT ITER 3938 NEW BEST:: SOT 19855542 SOS 15926931 HAS SOPS 7883698 HAS SOUS 1416112 HAS SOUPS 545849 WITH SCORE 561775.931
AT ITER 3943 NEW BEST:: SOT 19855542 SOS 15926931 HAS SOPS 7883698 HAS SOUS 1415866 HAS SOUPS 545603 WITH SCORE 561529.931
AT ITER 3965 NEW BEST:: SOT 19854773 SOS 15927391 HAS SOPS 7883048 HAS SOUS 1415438 HAS SOUPS 545175 WITH SCORE 561102.391
AT ITER 3976 NEW BEST:: SOT 19854432 SOS 15926814 HAS SOPS 7880801 HAS SOUS 1414962 HAS SOUPS 544365 WITH SCORE 560291.814
AT ITER 3996 NEW BEST:: SOT 19853827 SOS 15927105 HAS SOPS 7879907 HAS SOUS 1414682 HAS SOUPS 544006 WITH SCORE 559933.105
AT ITER 4019 NEW BEST:: SOT 19853174 SOS 15925450 HAS SOPS 7879997 HAS SOUS 1414131 HAS SOUPS 543804 WITH SCORE 559729.45
AT ITER 4023 NEW BEST:: SOT 19851322 SOS 15921241 HAS SOPS 7878313 HAS SOUS 1412922 HAS SOUPS 543100 WITH SCORE 559021.241
AT ITER 4028 NEW BEST:: SOT 19850982 SOS 15919926 HAS SOPS 7879048 HAS SOUS 1412062 HAS SOUPS 542650 WITH SCORE 558569.926
AT ITER 4038 NEW BEST:: SOT 19848961 SOS 15927618 HAS SOPS 7881160 HAS SOUS 1411186 HAS SOUPS 541774 WITH SCORE 557701.618
AT ITER 4075 NEW BEST:: SOT 19848961 SOS 15927618 HAS SOPS 7881160 HAS SOUS 1411185 HAS SOUPS 541773 WITH SCORE 557700.618
AT ITER 4098 NEW BEST:: SOT 19848921 SOS 15927638 HAS SOPS 7881180 HAS SOUS 1411145 HAS SOUPS 541733 WITH SCORE 557660.638
AT ITER 4099 NEW BEST:: SOT 19848921 SOS 15927638 HAS SOPS 7881180 HAS SOUS 1410987 HAS SOUPS 541575 WITH SCORE 557502.638
AT ITER 4100 NEW BEST:: SOT 19848973 SOS 15927716 HAS SOPS 7881206 HAS SOUS 1410951 HAS SOUPS 541513 WITH SCORE 557440.716
AT ITER 4101 NEW BEST:: SOT 19848920 SOS 15926900 HAS SOPS 7881560 HAS SOUS 1410664 HAS SOUPS 541460 WITH SCORE 557386.9
AT ITER 4107 NEW BEST:: SOT 19847994 SOS 15924471 HAS SOPS 7882016 HAS SOUS 1409998 HAS SOUPS 541371 WITH SCORE 557295.471
AT ITER 4168 NEW BEST:: SOT 19847546 SOS 15924023 HAS SOPS 7881568 HAS SOUS 1409998 HAS SOUPS 541371 WITH SCORE 557295.023
AT ITER 4219 NEW BEST:: SOT 19846473 SOS 15931380 HAS SOPS 7884115 HAS SOUS 1409796 HAS SOUPS 541169 WITH SCORE 557100.38
AT ITER 4224 NEW BEST:: SOT 19846473 SOS 15930850 HAS SOPS 7884115 HAS SOUS 1409690 HAS SOUPS 541169 WITH SCORE 557099.85
AT ITER 4228 NEW BEST:: SOT 19846783 SOS 15931348 HAS SOPS 7884331 HAS SOUS 1409561 HAS SOUPS 540993 WITH SCORE 556924.348
AT ITER 4240 NEW BEST:: SOT 19843922 SOS 15939260 HAS SOPS 7886313 HAS SOUS 1407633 HAS SOUPS 539065 WITH SCORE 555004.26
AT ITER 4243 NEW BEST:: SOT 19842958 SOS 15944724 HAS SOPS 7889137 HAS SOUS 1406933 HAS SOUPS 538365 WITH SCORE 554309.724
AT ITER 4318 NEW BEST:: SOT 19841030 SOS 15954910 HAS SOPS 7893333 HAS SOUS 1405891 HAS SOUPS 537323 WITH SCORE 553277.91
AT ITER 4320 NEW BEST:: SOT 19838531 SOS 15969507 HAS SOPS 7900280 HAS SOUS 1404985 HAS SOUPS 536417 WITH SCORE 552386.507
AT ITER 4340 NEW BEST:: SOT 19838819 SOS 15969915 HAS SOPS 7900424 HAS SOUS 1404961 HAS SOUPS 536369 WITH SCORE 552338.915
AT ITER 4349 NEW BEST:: SOT 19838809 SOS 15969895 HAS SOPS 7900404 HAS SOUS 1404951 HAS SOUPS 536359 WITH SCORE 552328.895
AT ITER 4352 NEW BEST:: SOT 19837856 SOS 15974488 HAS SOPS 7900602 HAS SOUS 1404846 HAS SOUPS 535961 WITH SCORE 551935.488
AT ITER 4367 NEW BEST:: SOT 19837856 SOS 15974488 HAS SOPS 7900602 HAS SOUS 1404708 HAS SOUPS 535823 WITH SCORE 551797.488
AT ITER 4377 NEW BEST:: SOT 19837856 SOS 15974488 HAS SOPS 7900602 HAS SOUS 1404676 HAS SOUPS 535791 WITH SCORE 551765.488
AT ITER 4387 NEW BEST:: SOT 19837592 SOS 15974795 HAS SOPS 7900909 HAS SOUS 1404635 HAS SOUPS 535750 WITH SCORE 551724.795
AT ITER 4390 NEW BEST:: SOT 19837448 SOS 15974507 HAS SOPS 7900333 HAS SOUS 1404347 HAS SOUPS 535462 WITH SCORE 551436.507
AT ITER 4402 NEW BEST:: SOT 19836934 SOS 15980675 HAS SOPS 7903931 HAS SOUS 1404090 HAS SOUPS 535205 WITH SCORE 551185.675
AT ITER 4403 NEW BEST:: SOT 19836207 SOS 15974551 HAS SOPS 7900582 HAS SOUS 1403548 HAS SOUPS 534848 WITH SCORE 550822.551
AT ITER 4412 NEW BEST:: SOT 19832740 SOS 15984098 HAS SOPS 7904393 HAS SOUS 1401536 HAS SOUPS 533135 WITH SCORE 549119.098
AT ITER 4415 NEW BEST:: SOT 19832740 SOS 15984098 HAS SOPS 7904393 HAS SOUS 1401290 HAS SOUPS 532889 WITH SCORE 548873.098
AT ITER 4423 NEW BEST:: SOT 19832518 SOS 15983654 HAS SOPS 7903949 HAS SOUS 1400867 HAS SOUPS 532466 WITH SCORE 548449.654
AT ITER 4429 NEW BEST:: SOT 19831496 SOS 15984238 HAS SOPS 7902343 HAS SOUS 1400429 HAS SOUPS 531882 WITH SCORE 547866.238
AT ITER 4447 NEW BEST:: SOT 19831496 SOS 15984238 HAS SOPS 7902343 HAS SOUS 1400183 HAS SOUPS 531636 WITH SCORE 547620.238
AT ITER 4463 NEW BEST:: SOT 19834698 SOS 15988956 HAS SOPS 7904102 HAS SOUS 1400426 HAS SOUPS 531610 WITH SCORE 547598.956
AT ITER 4467 NEW BEST:: SOT 19834698 SOS 15988671 HAS SOPS 7904132 HAS SOUS 1400304 HAS SOUPS 531551 WITH SCORE 547539.671
AT ITER 4479 NEW BEST:: SOT 19834274 SOS 15987823 HAS SOPS 7903284 HAS SOUS 1400266 HAS SOUPS 531513 WITH SCORE 547500.823
AT ITER 4480 NEW BEST:: SOT 19832966 SOS 15993455 HAS SOPS 7904956 HAS SOUS 1399251 HAS SOUPS 530498 WITH SCORE 546491.455
AT ITER 4529 NEW BEST:: SOT 19833043 SOS 15991453 HAS SOPS 7903724 HAS SOUS 1399251 HAS SOUPS 530498 WITH SCORE 546489.453
AT ITER 4594 NEW BEST:: SOT 19832868 SOS 15991103 HAS SOPS 7903374 HAS SOUS 1399076 HAS SOUPS 530323 WITH SCORE 546314.103
AT ITER 4601 NEW BEST:: SOT 19832637 SOS 15990641 HAS SOPS 7903852 HAS SOUS 1398544 HAS SOUPS 529979 WITH SCORE 545969.641
AT ITER 4612 NEW BEST:: SOT 19832663 SOS 15988033 HAS SOPS 7903904 HAS SOUS 1397908 HAS SOUPS 529875 WITH SCORE 545863.033
AT ITER 4632 NEW BEST:: SOT 19832121 SOS 15985706 HAS SOPS 7904269 HAS SOUS 1396936 HAS SOUPS 529432 WITH SCORE 545417.706
AT ITER 4642 NEW BEST:: SOT 19831038 SOS 15988292 HAS SOPS 7904215 HAS SOUS 1396506 HAS SOUPS 529002 WITH SCORE 544990.292
AT ITER 4662 NEW BEST:: SOT 19830930 SOS 15988049 HAS SOPS 7904107 HAS SOUS 1396479 HAS SOUPS 529002 WITH SCORE 544990.049
AT ITER 4703 NEW BEST:: SOT 19830891 SOS 15987971 HAS SOPS 7904029 HAS SOUS 1396440 HAS SOUPS 528963 WITH SCORE 544950.971
AT ITER 4712 NEW BEST:: SOT 19830801 SOS 15986356 HAS SOPS 7903849 HAS SOUS 1395776 HAS SOUPS 528586 WITH SCORE 544572.356
AT ITER 4721 NEW BEST:: SOT 19830364 SOS 15985482 HAS SOPS 7902975 HAS SOUS 1394821 HAS SOUPS 527631 WITH SCORE 543616.482
AT ITER 4738 NEW BEST:: SOT 19830112 SOS 15983273 HAS SOPS 7902606 HAS SOUS 1394241 HAS SOUPS 527419 WITH SCORE 543402.273
AT ITER 4746 NEW BEST:: SOT 19829261 SOS 15985819 HAS SOPS 7902497 HAS SOUS 1393856 HAS SOUPS 526857 WITH SCORE 542842.819
AT ITER 4754 NEW BEST:: SOT 19829170 SOS 15985637 HAS SOPS 7902315 HAS SOUS 1393724 HAS SOUPS 526725 WITH SCORE 542710.637
AT ITER 4761 NEW BEST:: SOT 19829130 SOS 15985937 HAS SOPS 7902315 HAS SOUS 1393724 HAS SOUPS 526705 WITH SCORE 542690.937
AT ITER 4778 NEW BEST:: SOT 19828643 SOS 16011003 HAS SOPS 7901895 HAS SOUS 1393447 HAS SOUPS 526495 WITH SCORE 542506.003
AT ITER 4780 NEW BEST:: SOT 19828211 SOS 16010087 HAS SOPS 7900979 HAS SOUS 1392796 HAS SOUPS 525844 WITH SCORE 541854.087
AT ITER 4820 NEW BEST:: SOT 19826984 SOS 16003663 HAS SOPS 7894555 HAS SOUS 1391468 HAS SOUPS 524516 WITH SCORE 540519.663
AT ITER 4850 NEW BEST:: SOT 19826984 SOS 16003663 HAS SOPS 7894555 HAS SOUS 1391410 HAS SOUPS 524458 WITH SCORE 540461.663
AT ITER 4862 NEW BEST:: SOT 19826921 SOS 16004787 HAS SOPS 7894429 HAS SOUS 1391470 HAS SOUPS 524268 WITH SCORE 540272.787
AT ITER 4869 NEW BEST:: SOT 19826921 SOS 16004787 HAS SOPS 7894429 HAS SOUS 1391300 HAS SOUPS 524098 WITH SCORE 540102.787
AT ITER 4876 NEW BEST:: SOT 19826181 SOS 16003455 HAS SOPS 7893837 HAS SOUS 1390412 HAS SOUPS 523358 WITH SCORE 539361.455
AT ITER 4891 NEW BEST:: SOT 19825700 SOS 16002493 HAS SOPS 7894100 HAS SOUS 1389450 HAS SOUPS 522641 WITH SCORE 538643.493
AT ITER 4904 NEW BEST:: SOT 19825761 SOS 16002615 HAS SOPS 7894222 HAS SOUS 1389241 HAS SOUPS 522432 WITH SCORE 538434.615
AT ITER 4910 NEW BEST:: SOT 19825071 SOS 16006298 HAS SOPS 7895595 HAS SOUS 1388732 HAS SOUPS 521923 WITH SCORE 537929.298
AT ITER 4918 NEW BEST:: SOT 19824975 SOS 16007002 HAS SOPS 7895819 HAS SOUS 1388732 HAS SOUPS 521891 WITH SCORE 537898.002
AT ITER 4928 NEW BEST:: SOT 19823471 SOS 16003241 HAS SOPS 7895823 HAS SOUS 1387457 HAS SOUPS 521369 WITH SCORE 537372.241
AT ITER 4930 NEW BEST:: SOT 19823471 SOS 16003241 HAS SOPS 7895823 HAS SOUS 1387211 HAS SOUPS 521123 WITH SCORE 537126.241
AT ITER 4933 NEW BEST:: SOT 19823471 SOS 16003241 HAS SOPS 7895823 HAS SOUS 1386965 HAS SOUPS 520877 WITH SCORE 536880.241
AT ITER 4940 NEW BEST:: SOT 19823471 SOS 16003241 HAS SOPS 7895823 HAS SOUS 1386835 HAS SOUPS 520747 WITH SCORE 536750.241
AT ITER 4946 NEW BEST:: SOT 19823471 SOS 16003241 HAS SOPS 7895823 HAS SOUS 1386821 HAS SOUPS 520733 WITH SCORE 536736.241
AT ITER 4950 NEW BEST:: SOT 19822521 SOS 16000841 HAS SOPS 7893423 HAS SOUS 1386614 HAS SOUPS 520526 WITH SCORE 536526.841
AT ITER 4966 NEW BEST:: SOT 19822591 SOS 16001411 HAS SOPS 7891828 HAS SOUS 1386583 HAS SOUPS 520062 WITH SCORE 536063.411
AT ITER 4972 NEW BEST:: SOT 19822456 SOS 16000466 HAS SOPS 7890883 HAS SOUS 1386438 HAS SOUPS 519917 WITH SCORE 535917.466
AT ITER 4975 NEW BEST:: SOT 19822456 SOS 16000466 HAS SOPS 7890883 HAS SOUS 1386284 HAS SOUPS 519763 WITH SCORE 535763.466
AT ITER 4976 NEW BEST:: SOT 19822456 SOS 16000466 HAS SOPS 7890883 HAS SOUS 1386240 HAS SOUPS 519719 WITH SCORE 535719.466
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCshifumi-PT-5a-CTLCardinality-00 ( ( ( (AF(potential( ( 3 ) <= (tk(P1343)) ))) & potential( (tk(P1650)) <= (tk(P1215)) ) ) | (AU( potential( ( 1 ) <= (tk(P595)) ),potential( ( 2 ) <= (tk(P694)) ) )) ) & (! ( ( ( potential( ( 2 ) <= (tk(P428)) ) & potential( ( 1 ) <= (tk(P1551)) ) ) | ( potential( (tk(P94)) <= (tk(P148)) ) & potential( (tk(P1716)) <= (tk(P884)) ) ) ) & ( ( potential( (tk(P1036)) <= (tk(P311)) ) & potential( ( 2 ) <= (tk(P808)) ) ) & ( potential( (tk(P352)) <= (tk(P1968)) ) & potential( (tk(P974)) <= (tk(P2022)) ) ) ) )) )
PROPERTY: DLCshifumi-PT-5a-CTLCardinality-01 (EF((! (EF(potential( ( 1 ) <= (tk(P1270)) ))))))
PROPERTY: DLCshifumi-PT-5a-CTLCardinality-02 (EF(( ( potential( (tk(P312)) <= (tk(P1368)) ) | potential( ( 1 ) <= (tk(P1590)) ) ) & ( potential( (tk(P1534)) <= (tk(P629)) ) & ( potential( ( 3 ) <= (tk(P1993)) ) & potential( ( 1 ) <= (tk(P105)) ) ) ) )))
PROPERTY: DLCshifumi-PT-5a-CTLCardinality-03 (EG( ( ( ( potential( ( 2 ) <= (tk(P1495)) ) & potential( (tk(P773)) <= (tk(P2053)) ) ) | (! potential( ( 3 ) <= (tk(P201)) )) ) | (AG( potential( (tk(P1024)) <= (tk(P911)) ))) )))
PROPERTY: DLCshifumi-PT-5a-CTLCardinality-04 (AF(( (! ( potential( ( 2 ) <= (tk(P370)) ) & potential( ( 1 ) <= (tk(P410)) ) )) & (AG( potential( ( 1 ) <= (tk(P1772)) ))) )))
PROPERTY: DLCshifumi-PT-5a-CTLCardinality-05 (EF((AG( (! potential( ( 2 ) <= (tk(P496)) ))))))
PROPERTY: DLCshifumi-PT-5a-CTLCardinality-06 (EX( (AU( potential( (tk(P810)) <= (tk(P2027)) ),potential( (tk(P1889)) <= (tk(P772)) ) ))))
PROPERTY: DLCshifumi-PT-5a-CTLCardinality-07 ( (! (EU( potential( (tk(P1923)) <= (tk(P1961)) ),potential( ( 3 ) <= (tk(P1508)) ) ))) | (AG( potential( (tk(P2002)) <= (tk(P1587)) ))) )
PROPERTY: DLCshifumi-PT-5a-CTLCardinality-08 ( (EG( (EF(potential( (tk(P783)) <= (tk(P1625)) ))))) & (EU( ( potential( ( 3 ) <= (tk(P129)) ) & potential( ( 2 ) <= (tk(P1179)) ) ),( potential( (tk(P832)) <= (tk(P758)) ) | potential( ( 1 ) <= (tk(P838)) ) ) )) )
PROPERTY: DLCshifumi-PT-5a-CTLCardinality-09 (! (! (! (EF(potential( ( 3 ) <= (tk(P1714)) ))))))
PROPERTY: DLCshifumi-PT-5a-CTLCardinality-10 (AF(( ( ( potential( ( 1 ) <= (tk(P404)) ) & potential( (tk(P46)) <= (tk(P1435)) ) ) | potential( ( 2 ) <= (tk(P1154)) ) ) & (EX( potential( (tk(P1659)) <= (tk(P101)) ))) )))
PROPERTY: DLCshifumi-PT-5a-CTLCardinality-11 (AG( (EU( potential( ( 1 ) <= (tk(P1509)) ),potential( (tk(P1754)) <= (tk(P1532)) ) ))))
PROPERTY: DLCshifumi-PT-5a-CTLCardinality-12 (EU( (AX( potential( (tk(P2032)) <= (tk(P1008)) ))),(AF(potential( ( 1 ) <= (tk(P321)) ))) ))
PROPERTY: DLCshifumi-PT-5a-CTLCardinality-13 (! (! (! (AF(potential( ( 3 ) <= (tk(P1695)) ))))))
PROPERTY: DLCshifumi-PT-5a-CTLCardinality-14 (AF((AG( ( potential( (tk(P1068)) <= (tk(P1988)) ) & potential( ( 1 ) <= (tk(P1499)) ) )))))
PROPERTY: DLCshifumi-PT-5a-CTLCardinality-15 (EF(potential( ( 3 ) <= (tk(P224)) )))

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="DLCshifumi-PT-5a"
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 DLCshifumi-PT-5a, 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 r063-tajo-158922806900051"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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