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.r048-ebro-158902542200419.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 DLCflexbar-PT-7a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542200419
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.4M
-rw-r--r-- 1 mcc users 3.8K Mar 30 13:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 13:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 29 03:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 29 03:19 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.0K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 18:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 18:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 16:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 16:49 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 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 DLCflexbar-PT-7a-CTLCardinality-00
FORMULA_NAME DLCflexbar-PT-7a-CTLCardinality-01
FORMULA_NAME DLCflexbar-PT-7a-CTLCardinality-02
FORMULA_NAME DLCflexbar-PT-7a-CTLCardinality-03
FORMULA_NAME DLCflexbar-PT-7a-CTLCardinality-04
FORMULA_NAME DLCflexbar-PT-7a-CTLCardinality-05
FORMULA_NAME DLCflexbar-PT-7a-CTLCardinality-06
FORMULA_NAME DLCflexbar-PT-7a-CTLCardinality-07
FORMULA_NAME DLCflexbar-PT-7a-CTLCardinality-08
FORMULA_NAME DLCflexbar-PT-7a-CTLCardinality-09
FORMULA_NAME DLCflexbar-PT-7a-CTLCardinality-10
FORMULA_NAME DLCflexbar-PT-7a-CTLCardinality-11
FORMULA_NAME DLCflexbar-PT-7a-CTLCardinality-12
FORMULA_NAME DLCflexbar-PT-7a-CTLCardinality-13
FORMULA_NAME DLCflexbar-PT-7a-CTLCardinality-14
FORMULA_NAME DLCflexbar-PT-7a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589117876049

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 7a
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: 2913 places, 23319 transitions, 92260 arcs.
AT ITER 0 NEW BEST:: SOT 38399308 SOS 33380144 HAS SOPS 15923184 HAS SOUS 1960571 HAS SOUPS 773184 WITH SCORE 806564.144
AT ITER 33 NEW BEST:: SOT 38399294 SOS 33371786 HAS SOPS 15914826 HAS SOUS 1960571 HAS SOUPS 773184 WITH SCORE 806555.786
AT ITER 37 NEW BEST:: SOT 38399294 SOS 33371786 HAS SOPS 15914826 HAS SOUS 1960351 HAS SOUPS 772964 WITH SCORE 806335.786
AT ITER 68 NEW BEST:: SOT 38399294 SOS 33371786 HAS SOPS 15914826 HAS SOUS 1960301 HAS SOUPS 772914 WITH SCORE 806285.786
AT ITER 75 NEW BEST:: SOT 38399601 SOS 33323005 HAS SOPS 15918555 HAS SOUS 1959427 HAS SOUPS 772485 WITH SCORE 805808.005
AT ITER 85 NEW BEST:: SOT 38399601 SOS 33314680 HAS SOPS 15919080 HAS SOUS 1959202 HAS SOUPS 772335 WITH SCORE 805649.68
AT ITER 87 NEW BEST:: SOT 38396884 SOS 33344046 HAS SOPS 15928817 HAS SOUS 1959402 HAS SOUPS 771808 WITH SCORE 805152.046
AT ITER 106 NEW BEST:: SOT 38395443 SOS 33347743 HAS SOPS 15925953 HAS SOUS 1958531 HAS SOUPS 770694 WITH SCORE 804041.743
AT ITER 109 NEW BEST:: SOT 38395443 SOS 33347743 HAS SOPS 15925953 HAS SOUS 1958453 HAS SOUPS 770616 WITH SCORE 803963.743
AT ITER 139 NEW BEST:: SOT 38395393 SOS 33347643 HAS SOPS 15925853 HAS SOUS 1958378 HAS SOUPS 770541 WITH SCORE 803888.643
AT ITER 147 NEW BEST:: SOT 38392218 SOS 33359690 HAS SOPS 15928198 HAS SOUS 1956047 HAS SOUPS 768210 WITH SCORE 801569.69
AT ITER 151 NEW BEST:: SOT 38392218 SOS 33359690 HAS SOPS 15928198 HAS SOUS 1955827 HAS SOUPS 767990 WITH SCORE 801349.69
AT ITER 157 NEW BEST:: SOT 38392218 SOS 33359690 HAS SOPS 15928198 HAS SOUS 1955607 HAS SOUPS 767770 WITH SCORE 801129.69
AT ITER 160 NEW BEST:: SOT 38392218 SOS 33359690 HAS SOPS 15928198 HAS SOUS 1955387 HAS SOUPS 767550 WITH SCORE 800909.69
AT ITER 169 NEW BEST:: SOT 38389009 SOS 33376600 HAS SOPS 15933282 HAS SOUS 1953258 HAS SOUPS 765421 WITH SCORE 798797.6
AT ITER 203 NEW BEST:: SOT 38389009 SOS 33376600 HAS SOPS 15933282 HAS SOUS 1953056 HAS SOUPS 765219 WITH SCORE 798595.6
AT ITER 272 NEW BEST:: SOT 38388691 SOS 33375964 HAS SOPS 15936444 HAS SOUS 1952223 HAS SOUPS 764808 WITH SCORE 798183.964
AT ITER 282 NEW BEST:: SOT 38388691 SOS 33375964 HAS SOPS 15936444 HAS SOUS 1952003 HAS SOUPS 764588 WITH SCORE 797963.964
AT ITER 288 NEW BEST:: SOT 38388691 SOS 33375964 HAS SOPS 15936444 HAS SOUS 1951909 HAS SOUPS 764494 WITH SCORE 797869.964
AT ITER 292 NEW BEST:: SOT 38388691 SOS 33375964 HAS SOPS 15936444 HAS SOUS 1951895 HAS SOUPS 764480 WITH SCORE 797855.964
AT ITER 328 NEW BEST:: SOT 38388261 SOS 33375104 HAS SOPS 15937519 HAS SOUS 1951035 HAS SOUPS 763835 WITH SCORE 797210.104
AT ITER 359 NEW BEST:: SOT 38387934 SOS 33372161 HAS SOPS 15934576 HAS SOUS 1950708 HAS SOUPS 763508 WITH SCORE 796880.161
AT ITER 360 NEW BEST:: SOT 38387888 SOS 33372069 HAS SOPS 15934484 HAS SOUS 1950639 HAS SOUPS 763439 WITH SCORE 796811.069
AT ITER 364 NEW BEST:: SOT 38387510 SOS 33369923 HAS SOPS 15934840 HAS SOUS 1950025 HAS SOUPS 763103 WITH SCORE 796472.923
AT ITER 369 NEW BEST:: SOT 38387084 SOS 33369071 HAS SOPS 15935905 HAS SOUS 1949173 HAS SOUPS 762464 WITH SCORE 795833.071
AT ITER 386 NEW BEST:: SOT 38387084 SOS 33369071 HAS SOPS 15935905 HAS SOUS 1948953 HAS SOUPS 762244 WITH SCORE 795613.071
AT ITER 388 NEW BEST:: SOT 38387084 SOS 33369071 HAS SOPS 15935905 HAS SOUS 1948733 HAS SOUPS 762024 WITH SCORE 795393.071
AT ITER 426 NEW BEST:: SOT 38387008 SOS 33368729 HAS SOPS 15935563 HAS SOUS 1948657 HAS SOUPS 761948 WITH SCORE 795316.729
AT ITER 428 NEW BEST:: SOT 38387008 SOS 33368729 HAS SOPS 15935563 HAS SOUS 1948437 HAS SOUPS 761728 WITH SCORE 795096.729
AT ITER 447 NEW BEST:: SOT 38384135 SOS 33380634 HAS SOPS 15937946 HAS SOUS 1946279 HAS SOUPS 759570 WITH SCORE 792950.634
AT ITER 452 NEW BEST:: SOT 38384135 SOS 33380634 HAS SOPS 15937946 HAS SOUS 1946059 HAS SOUPS 759350 WITH SCORE 792730.634
AT ITER 457 NEW BEST:: SOT 38383811 SOS 33377526 HAS SOPS 15939266 HAS SOUS 1945243 HAS SOUPS 759026 WITH SCORE 792403.526
AT ITER 480 NEW BEST:: SOT 38382278 SOS 33389153 HAS SOPS 15941308 HAS SOUS 1945140 HAS SOUPS 758568 WITH SCORE 791957.153
AT ITER 495 NEW BEST:: SOT 38379403 SOS 33404748 HAS SOPS 15946157 HAS SOUS 1943174 HAS SOUPS 756602 WITH SCORE 790006.748
AT ITER 506 NEW BEST:: SOT 38379403 SOS 33404748 HAS SOPS 15946157 HAS SOUS 1943128 HAS SOUPS 756556 WITH SCORE 789960.748
AT ITER 511 NEW BEST:: SOT 38379403 SOS 33404748 HAS SOPS 15946157 HAS SOUS 1943002 HAS SOUPS 756430 WITH SCORE 789834.748
AT ITER 518 NEW BEST:: SOT 38379035 SOS 33402437 HAS SOPS 15946681 HAS SOUS 1942319 HAS SOUPS 756062 WITH SCORE 789464.437
AT ITER 525 NEW BEST:: SOT 38379035 SOS 33402437 HAS SOPS 15946681 HAS SOUS 1942099 HAS SOUPS 755842 WITH SCORE 789244.437
AT ITER 543 NEW BEST:: SOT 38378687 SOS 33405337 HAS SOPS 15946449 HAS SOUS 1941867 HAS SOUPS 755494 WITH SCORE 788899.337
AT ITER 544 NEW BEST:: SOT 38378687 SOS 33405337 HAS SOPS 15946449 HAS SOUS 1941699 HAS SOUPS 755326 WITH SCORE 788731.337
AT ITER 561 NEW BEST:: SOT 38373948 SOS 33418732 HAS SOPS 15948252 HAS SOUS 1938201 HAS SOUPS 751828 WITH SCORE 785246.732
AT ITER 565 NEW BEST:: SOT 38373449 SOS 33417734 HAS SOPS 15951439 HAS SOUS 1936988 HAS SOUPS 751080 WITH SCORE 784497.734
AT ITER 596 NEW BEST:: SOT 38373449 SOS 33417734 HAS SOPS 15951439 HAS SOUS 1936768 HAS SOUPS 750860 WITH SCORE 784277.734
AT ITER 597 NEW BEST:: SOT 38371236 SOS 33351384 HAS SOPS 15953794 HAS SOUS 1935959 HAS SOUPS 750051 WITH SCORE 783402.384
AT ITER 601 NEW BEST:: SOT 38371048 SOS 33350153 HAS SOPS 15952563 HAS SOUS 1935771 HAS SOUPS 749863 WITH SCORE 783213.153
AT ITER 614 NEW BEST:: SOT 38371048 SOS 33350153 HAS SOPS 15952563 HAS SOUS 1935551 HAS SOUPS 749643 WITH SCORE 782993.153
AT ITER 630 NEW BEST:: SOT 38369185 SOS 33361292 HAS SOPS 15955548 HAS SOUS 1934470 HAS SOUPS 748562 WITH SCORE 781923.292
AT ITER 633 NEW BEST:: SOT 38367403 SOS 33369324 HAS SOPS 15954697 HAS SOUS 1933538 HAS SOUPS 747301 WITH SCORE 780670.324
AT ITER 657 NEW BEST:: SOT 38367361 SOS 33369240 HAS SOPS 15953938 HAS SOUS 1933529 HAS SOUPS 747217 WITH SCORE 780586.24
AT ITER 664 NEW BEST:: SOT 38367111 SOS 33367075 HAS SOPS 15954770 HAS SOUS 1933040 HAS SOUPS 747061 WITH SCORE 780428.075
AT ITER 683 NEW BEST:: SOT 38367111 SOS 33367075 HAS SOPS 15954770 HAS SOUS 1932946 HAS SOUPS 746967 WITH SCORE 780334.075
AT ITER 704 NEW BEST:: SOT 38367111 SOS 33367075 HAS SOPS 15954770 HAS SOUS 1932786 HAS SOUPS 746807 WITH SCORE 780174.075
AT ITER 707 NEW BEST:: SOT 38366493 SOS 33365839 HAS SOPS 15956315 HAS SOUS 1931550 HAS SOUPS 745880 WITH SCORE 779245.839
AT ITER 739 NEW BEST:: SOT 38363398 SOS 33377162 HAS SOPS 15958224 HAS SOUS 1928913 HAS SOUPS 743243 WITH SCORE 776620.162
AT ITER 753 NEW BEST:: SOT 38363085 SOS 33376536 HAS SOPS 15961540 HAS SOUS 1928076 HAS SOUPS 742844 WITH SCORE 776220.536
AT ITER 765 NEW BEST:: SOT 38363085 SOS 33376536 HAS SOPS 15961540 HAS SOUS 1927856 HAS SOUPS 742624 WITH SCORE 776000.536
AT ITER 798 NEW BEST:: SOT 38363085 SOS 33376536 HAS SOPS 15961540 HAS SOUS 1927636 HAS SOUPS 742404 WITH SCORE 775780.536
AT ITER 801 NEW BEST:: SOT 38363414 SOS 33327034 HAS SOPS 15965846 HAS SOUS 1927178 HAS SOUPS 742402 WITH SCORE 775729.034
AT ITER 813 NEW BEST:: SOT 38363414 SOS 33327034 HAS SOPS 15965846 HAS SOUS 1927052 HAS SOUPS 742276 WITH SCORE 775603.034
AT ITER 851 NEW BEST:: SOT 38360414 SOS 33341309 HAS SOPS 15969717 HAS SOUS 1924885 HAS SOUPS 740109 WITH SCORE 773450.309
AT ITER 867 NEW BEST:: SOT 38360414 SOS 33341309 HAS SOPS 15969717 HAS SOUS 1924665 HAS SOUPS 739889 WITH SCORE 773230.309
AT ITER 876 NEW BEST:: SOT 38360414 SOS 33341309 HAS SOPS 15969717 HAS SOUS 1924658 HAS SOUPS 739882 WITH SCORE 773223.309
AT ITER 883 NEW BEST:: SOT 38360414 SOS 33341309 HAS SOPS 15969717 HAS SOUS 1924470 HAS SOUPS 739694 WITH SCORE 773035.309
AT ITER 884 NEW BEST:: SOT 38360414 SOS 33341309 HAS SOPS 15969717 HAS SOUS 1924252 HAS SOUPS 739476 WITH SCORE 772817.309
AT ITER 900 NEW BEST:: SOT 38357594 SOS 33354984 HAS SOPS 15973528 HAS SOUS 1922245 HAS SOUPS 737469 WITH SCORE 770823.984
AT ITER 924 NEW BEST:: SOT 38357011 SOS 33353818 HAS SOPS 15975818 HAS SOUS 1920989 HAS SOUPS 736597 WITH SCORE 769950.818
AT ITER 944 NEW BEST:: SOT 38356797 SOS 33352427 HAS SOPS 15975390 HAS SOUS 1920560 HAS SOUPS 736275 WITH SCORE 769627.427
AT ITER 980 NEW BEST:: SOT 38356626 SOS 33352085 HAS SOPS 15975048 HAS SOUS 1920389 HAS SOUPS 736104 WITH SCORE 769456.085
AT ITER 995 NEW BEST:: SOT 38352493 SOS 33366186 HAS SOPS 15978007 HAS SOUS 1918802 HAS SOUPS 734517 WITH SCORE 767883.186
AT ITER 1001 NEW BEST:: SOT 38352493 SOS 33366186 HAS SOPS 15978007 HAS SOUS 1918628 HAS SOUPS 734343 WITH SCORE 767709.186
AT ITER 1016 NEW BEST:: SOT 38349952 SOS 33381310 HAS SOPS 15981647 HAS SOUS 1917143 HAS SOUPS 732858 WITH SCORE 766239.31
AT ITER 1020 NEW BEST:: SOT 38348714 SOS 33377365 HAS SOPS 15977702 HAS SOUS 1916940 HAS SOUPS 732655 WITH SCORE 766032.365
AT ITER 1031 NEW BEST:: SOT 38348714 SOS 33377365 HAS SOPS 15977702 HAS SOUS 1916818 HAS SOUPS 732533 WITH SCORE 765910.365
AT ITER 1046 NEW BEST:: SOT 38348714 SOS 33377365 HAS SOPS 15977702 HAS SOUS 1916630 HAS SOUPS 732345 WITH SCORE 765722.365
AT ITER 1075 NEW BEST:: SOT 38348714 SOS 33377365 HAS SOPS 15977702 HAS SOUS 1916628 HAS SOUPS 732343 WITH SCORE 765720.365
AT ITER 1101 NEW BEST:: SOT 38347685 SOS 33380452 HAS SOPS 15976820 HAS SOUS 1916071 HAS SOUPS 731639 WITH SCORE 765019.452
AT ITER 1111 NEW BEST:: SOT 38347603 SOS 33380288 HAS SOPS 15976656 HAS SOUS 1915987 HAS SOUPS 731555 WITH SCORE 764935.288
AT ITER 1121 NEW BEST:: SOT 38347784 SOS 33383786 HAS SOPS 15980154 HAS SOUS 1915085 HAS SOUPS 730653 WITH SCORE 764036.786
AT ITER 1132 NEW BEST:: SOT 38347604 SOS 33383201 HAS SOPS 15979974 HAS SOUS 1914995 HAS SOUPS 730608 WITH SCORE 763991.201
AT ITER 1155 NEW BEST:: SOT 38346488 SOS 33385077 HAS SOPS 15979006 HAS SOUS 1914255 HAS SOUPS 729868 WITH SCORE 763253.077
AT ITER 1194 NEW BEST:: SOT 38346488 SOS 33385077 HAS SOPS 15979006 HAS SOUS 1914035 HAS SOUPS 729648 WITH SCORE 763033.077
AT ITER 1210 NEW BEST:: SOT 38346260 SOS 33383716 HAS SOPS 15977645 HAS SOUS 1913807 HAS SOUPS 729420 WITH SCORE 762803.716
AT ITER 1212 NEW BEST:: SOT 38346153 SOS 33383502 HAS SOPS 15978394 HAS SOUS 1913593 HAS SOUPS 729313 WITH SCORE 762696.502
AT ITER 1217 NEW BEST:: SOT 38346129 SOS 33383662 HAS SOPS 15978338 HAS SOUS 1913585 HAS SOUPS 729297 WITH SCORE 762680.662
AT ITER 1225 NEW BEST:: SOT 38346058 SOS 33380523 HAS SOPS 15978196 HAS SOUS 1913220 HAS SOUPS 729265 WITH SCORE 762645.523
AT ITER 1243 NEW BEST:: SOT 38346058 SOS 33380505 HAS SOPS 15978178 HAS SOUS 1913218 HAS SOUPS 729263 WITH SCORE 762643.505
AT ITER 1257 NEW BEST:: SOT 38345860 SOS 33380109 HAS SOPS 15979564 HAS SOUS 1912822 HAS SOUPS 729065 WITH SCORE 762445.109
AT ITER 1263 NEW BEST:: SOT 38344393 SOS 33373752 HAS SOPS 15977608 HAS SOUS 1910604 HAS SOUPS 727336 WITH SCORE 760709.752
AT ITER 1308 NEW BEST:: SOT 38344169 SOS 33372296 HAS SOPS 15976152 HAS SOUS 1910380 HAS SOUPS 727112 WITH SCORE 760484.296
AT ITER 1313 NEW BEST:: SOT 38344169 SOS 33372296 HAS SOPS 15976152 HAS SOUS 1910330 HAS SOUPS 727062 WITH SCORE 760434.296
AT ITER 1337 NEW BEST:: SOT 38342986 SOS 33376820 HAS SOPS 15973521 HAS SOUS 1909919 HAS SOUPS 726386 WITH SCORE 759762.82
AT ITER 1411 NEW BEST:: SOT 38342986 SOS 33376820 HAS SOPS 15973521 HAS SOUS 1909711 HAS SOUPS 726178 WITH SCORE 759554.82
AT ITER 1436 NEW BEST:: SOT 38342680 SOS 33373898 HAS SOPS 15974757 HAS SOUS 1908943 HAS SOUPS 725872 WITH SCORE 759245.898
AT ITER 1443 NEW BEST:: SOT 38341648 SOS 33370714 HAS SOPS 15973589 HAS SOUS 1908295 HAS SOUPS 725448 WITH SCORE 758818.714
AT ITER 1463 NEW BEST:: SOT 38341959 SOS 33370541 HAS SOPS 15973416 HAS SOUS 1908212 HAS SOUPS 725365 WITH SCORE 758735.541
AT ITER 1465 NEW BEST:: SOT 38341959 SOS 33370541 HAS SOPS 15973416 HAS SOUS 1908204 HAS SOUPS 725357 WITH SCORE 758727.541
AT ITER 1503 NEW BEST:: SOT 38341761 SOS 33370145 HAS SOPS 15973020 HAS SOUS 1907907 HAS SOUPS 725060 WITH SCORE 758430.145
AT ITER 1506 NEW BEST:: SOT 38335213 SOS 33358182 HAS SOPS 15968266 HAS SOUS 1907847 HAS SOUPS 725065 WITH SCORE 758423.182
AT ITER 1515 NEW BEST:: SOT 38335753 SOS 33360377 HAS SOPS 15970461 HAS SOUS 1907495 HAS SOUPS 724713 WITH SCORE 758073.377
AT ITER 1519 NEW BEST:: SOT 38328246 SOS 33346786 HAS SOPS 15965124 HAS SOUS 1907362 HAS SOUPS 724713 WITH SCORE 758059.786
AT ITER 1558 NEW BEST:: SOT 38326179 SOS 33354626 HAS SOPS 15962623 HAS SOUS 1906053 HAS SOUPS 723021 WITH SCORE 756375.626
AT ITER 1571 NEW BEST:: SOT 38326179 SOS 33354626 HAS SOPS 15962623 HAS SOUS 1905993 HAS SOUPS 722961 WITH SCORE 756315.626
AT ITER 1572 NEW BEST:: SOT 38326409 SOS 33305198 HAS SOPS 15964053 HAS SOUS 1905466 HAS SOUPS 722865 WITH SCORE 756170.198
AT ITER 1608 NEW BEST:: SOT 38326247 SOS 33303059 HAS SOPS 15965181 HAS SOUS 1905057 HAS SOUPS 722819 WITH SCORE 756122.059
AT ITER 1638 NEW BEST:: SOT 38325420 SOS 33305280 HAS SOPS 15964027 HAS SOUS 1904581 HAS SOUPS 722218 WITH SCORE 755523.28
AT ITER 1641 NEW BEST:: SOT 38325192 SOS 33306002 HAS SOPS 15963723 HAS SOUS 1904505 HAS SOUPS 722104 WITH SCORE 755410.002
AT ITER 1643 NEW BEST:: SOT 38325174 SOS 33305921 HAS SOPS 15963642 HAS SOUS 1904487 HAS SOUPS 722086 WITH SCORE 755391.921
AT ITER 1649 NEW BEST:: SOT 38323343 SOS 33326964 HAS SOPS 15972373 HAS SOUS 1904210 HAS SOUPS 721809 WITH SCORE 755135.964
AT ITER 1674 NEW BEST:: SOT 38323343 SOS 33326964 HAS SOPS 15972373 HAS SOUS 1904136 HAS SOUPS 721735 WITH SCORE 755061.964
AT ITER 1694 NEW BEST:: SOT 38323287 SOS 33326348 HAS SOPS 15971757 HAS SOUS 1904014 HAS SOUPS 721613 WITH SCORE 754939.348
AT ITER 1699 NEW BEST:: SOT 38320744 SOS 33345447 HAS SOPS 15979228 HAS SOUS 1902540 HAS SOUPS 720139 WITH SCORE 753484.447
AT ITER 1732 NEW BEST:: SOT 38320744 SOS 33345447 HAS SOPS 15979228 HAS SOUS 1902320 HAS SOUPS 719919 WITH SCORE 753264.447
AT ITER 1736 NEW BEST:: SOT 38320744 SOS 33345447 HAS SOPS 15979228 HAS SOUS 1902110 HAS SOUPS 719709 WITH SCORE 753054.447
AT ITER 1743 NEW BEST:: SOT 38320353 SOS 33344665 HAS SOPS 15981551 HAS SOUS 1901374 HAS SOUPS 719318 WITH SCORE 752662.665
AT ITER 1769 NEW BEST:: SOT 38320353 SOS 33342620 HAS SOPS 15983187 HAS SOUS 1900965 HAS SOUPS 719318 WITH SCORE 752660.62
AT ITER 1788 NEW BEST:: SOT 38318938 SOS 33282233 HAS SOPS 15993598 HAS SOUS 1900458 HAS SOUPS 718811 WITH SCORE 752093.233
AT ITER 1791 NEW BEST:: SOT 38317310 SOS 33300896 HAS SOPS 15997897 HAS SOUS 1899802 HAS SOUPS 717623 WITH SCORE 750923.896
AT ITER 1813 NEW BEST:: SOT 38315468 SOS 33313312 HAS SOPS 16000575 HAS SOUS 1899122 HAS SOUPS 716943 WITH SCORE 750256.312
AT ITER 1816 NEW BEST:: SOT 38315468 SOS 33313312 HAS SOPS 16000575 HAS SOUS 1898902 HAS SOUPS 716723 WITH SCORE 750036.312
AT ITER 1827 NEW BEST:: SOT 38315468 SOS 33313312 HAS SOPS 16000575 HAS SOUS 1898786 HAS SOUPS 716607 WITH SCORE 749920.312
AT ITER 1849 NEW BEST:: SOT 38315450 SOS 33313276 HAS SOPS 16000539 HAS SOUS 1898768 HAS SOUPS 716589 WITH SCORE 749902.276
AT ITER 1852 NEW BEST:: SOT 38315450 SOS 33313276 HAS SOPS 16000539 HAS SOUS 1898548 HAS SOUPS 716369 WITH SCORE 749682.276
AT ITER 1863 NEW BEST:: SOT 38315413 SOS 33283164 HAS SOPS 15975855 HAS SOUS 1898521 HAS SOUPS 716388 WITH SCORE 749671.164
AT ITER 1878 NEW BEST:: SOT 38315139 SOS 33282616 HAS SOPS 15978124 HAS SOUS 1897934 HAS SOUPS 716114 WITH SCORE 749396.616
AT ITER 1883 NEW BEST:: SOT 38315009 SOS 33282031 HAS SOPS 15977539 HAS SOUS 1897804 HAS SOUPS 715984 WITH SCORE 749266.031
AT ITER 1886 NEW BEST:: SOT 38315009 SOS 33281923 HAS SOPS 15977431 HAS SOUS 1897803 HAS SOUPS 715983 WITH SCORE 749264.923
AT ITER 1896 NEW BEST:: SOT 38314869 SOS 33281643 HAS SOPS 15980571 HAS SOUS 1897045 HAS SOUPS 715605 WITH SCORE 748886.643
AT ITER 1899 NEW BEST:: SOT 38312419 SOS 33290628 HAS SOPS 15981744 HAS SOUS 1895180 HAS SOUPS 713740 WITH SCORE 747030.628
AT ITER 1919 NEW BEST:: SOT 38311445 SOS 33287430 HAS SOPS 15980796 HAS SOUS 1894582 HAS SOUPS 713392 WITH SCORE 746679.43
AT ITER 1929 NEW BEST:: SOT 38311385 SOS 33286805 HAS SOPS 15980171 HAS SOUS 1894563 HAS SOUPS 713373 WITH SCORE 746659.805
AT ITER 1975 NEW BEST:: SOT 38311053 SOS 33284647 HAS SOPS 15979507 HAS SOUS 1893898 HAS SOUPS 712874 WITH SCORE 746158.647
AT ITER 1987 NEW BEST:: SOT 38308613 SOS 33299451 HAS SOPS 15984447 HAS SOUS 1892313 HAS SOUPS 711289 WITH SCORE 744588.451
AT ITER 1988 NEW BEST:: SOT 38308242 SOS 33300352 HAS SOPS 15983917 HAS SOUS 1892101 HAS SOUPS 711024 WITH SCORE 744324.352
AT ITER 2020 NEW BEST:: SOT 38306331 SOS 33320865 HAS SOPS 15993396 HAS SOUS 1891424 HAS SOUPS 710347 WITH SCORE 743667.865
AT ITER 2021 NEW BEST:: SOT 38305893 SOS 33319989 HAS SOPS 15994491 HAS SOUS 1890548 HAS SOUPS 709690 WITH SCORE 743009.9890000001
AT ITER 2069 NEW BEST:: SOT 38305727 SOS 33318312 HAS SOPS 15995235 HAS SOUS 1890149 HAS SOUPS 709560 WITH SCORE 742878.312
AT ITER 2094 NEW BEST:: SOT 38305711 SOS 33318280 HAS SOPS 15995203 HAS SOUS 1890117 HAS SOUPS 709528 WITH SCORE 742846.28
AT ITER 2100 NEW BEST:: SOT 38305241 SOS 33316530 HAS SOPS 15995568 HAS SOUS 1889177 HAS SOUPS 708823 WITH SCORE 742139.53
AT ITER 2133 NEW BEST:: SOT 38305241 SOS 33316530 HAS SOPS 15995568 HAS SOUS 1889085 HAS SOUPS 708731 WITH SCORE 742047.53
AT ITER 2144 NEW BEST:: SOT 38304629 SOS 33315306 HAS SOPS 15997098 HAS SOUS 1887861 HAS SOUPS 707813 WITH SCORE 741128.306
AT ITER 2182 NEW BEST:: SOT 38304629 SOS 33315306 HAS SOPS 15997098 HAS SOUS 1887841 HAS SOUPS 707793 WITH SCORE 741108.306
AT ITER 2199 NEW BEST:: SOT 38304629 SOS 33315726 HAS SOPS 15997518 HAS SOUS 1887757 HAS SOUPS 707709 WITH SCORE 741024.726
AT ITER 2204 NEW BEST:: SOT 38304629 SOS 33315726 HAS SOPS 15997518 HAS SOUS 1887557 HAS SOUPS 707509 WITH SCORE 740824.726
AT ITER 2224 NEW BEST:: SOT 38301745 SOS 33328091 HAS SOPS 16000451 HAS SOUS 1885056 HAS SOUPS 705008 WITH SCORE 738336.091
AT ITER 2241 NEW BEST:: SOT 38301615 SOS 33327506 HAS SOPS 15999866 HAS SOUS 1884926 HAS SOUPS 704878 WITH SCORE 738205.506
AT ITER 2246 NEW BEST:: SOT 38299326 SOS 33343646 HAS SOPS 16005638 HAS SOUS 1883542 HAS SOUPS 703494 WITH SCORE 736837.646
AT ITER 2268 NEW BEST:: SOT 38299326 SOS 33343646 HAS SOPS 16005638 HAS SOUS 1883322 HAS SOUPS 703274 WITH SCORE 736617.646
AT ITER 2271 NEW BEST:: SOT 38299326 SOS 33343646 HAS SOPS 16005638 HAS SOUS 1883238 HAS SOUPS 703190 WITH SCORE 736533.646
AT ITER 2291 NEW BEST:: SOT 38299326 SOS 33343646 HAS SOPS 16005638 HAS SOUS 1883062 HAS SOUPS 703014 WITH SCORE 736357.646
AT ITER 2328 NEW BEST:: SOT 38299326 SOS 33343646 HAS SOPS 16005638 HAS SOUS 1882948 HAS SOUPS 702900 WITH SCORE 736243.646
AT ITER 2380 NEW BEST:: SOT 38299232 SOS 33343223 HAS SOPS 16005215 HAS SOUS 1882854 HAS SOUPS 702806 WITH SCORE 736149.223
AT ITER 2383 NEW BEST:: SOT 38299232 SOS 33343223 HAS SOPS 16005215 HAS SOUS 1882844 HAS SOUPS 702796 WITH SCORE 736139.223
AT ITER 2384 NEW BEST:: SOT 38299070 SOS 33342899 HAS SOPS 16004891 HAS SOUS 1882682 HAS SOUPS 702634 WITH SCORE 735976.899
AT ITER 2391 NEW BEST:: SOT 38297722 SOS 33346469 HAS SOPS 16001954 HAS SOUS 1881820 HAS SOUPS 701531 WITH SCORE 734877.469
AT ITER 2431 NEW BEST:: SOT 38297722 SOS 33346469 HAS SOPS 16001954 HAS SOUS 1881802 HAS SOUPS 701513 WITH SCORE 734859.469
AT ITER 2436 NEW BEST:: SOT 38297551 SOS 33346621 HAS SOPS 16001764 HAS SOUS 1881669 HAS SOUPS 701380 WITH SCORE 734726.621
AT ITER 2451 NEW BEST:: SOT 38297253 SOS 33346025 HAS SOPS 16002509 HAS SOUS 1881073 HAS SOUPS 700933 WITH SCORE 734279.025
AT ITER 2453 NEW BEST:: SOT 38297253 SOS 33346025 HAS SOPS 16002509 HAS SOUS 1881029 HAS SOUPS 700889 WITH SCORE 734235.025
AT ITER 2456 NEW BEST:: SOT 38297025 SOS 33343409 HAS SOPS 16003781 HAS SOUS 1880369 HAS SOUPS 700661 WITH SCORE 734004.409
AT ITER 2465 NEW BEST:: SOT 38297025 SOS 33343409 HAS SOPS 16003781 HAS SOUS 1880279 HAS SOUPS 700571 WITH SCORE 733914.409
AT ITER 2487 NEW BEST:: SOT 38296883 SOS 33343125 HAS SOPS 16005315 HAS SOUS 1879928 HAS SOUPS 700422 WITH SCORE 733765.125
AT ITER 2507 NEW BEST:: SOT 38296229 SOS 33341817 HAS SOPS 16004007 HAS SOUS 1879059 HAS SOUPS 699553 WITH SCORE 732894.817
AT ITER 2514 NEW BEST:: SOT 38296229 SOS 33341817 HAS SOPS 16004007 HAS SOUS 1879041 HAS SOUPS 699535 WITH SCORE 732876.817
AT ITER 2517 NEW BEST:: SOT 38296014 SOS 33344208 HAS SOPS 16003941 HAS SOUS 1878946 HAS SOUPS 699349 WITH SCORE 732693.208
AT ITER 2554 NEW BEST:: SOT 38296014 SOS 33344208 HAS SOPS 16003941 HAS SOUS 1878944 HAS SOUPS 699347 WITH SCORE 732691.208
AT ITER 2602 NEW BEST:: SOT 38292548 SOS 33357107 HAS SOPS 16005572 HAS SOUS 1876090 HAS SOUPS 696493 WITH SCORE 729850.107
AT ITER 2619 NEW BEST:: SOT 38290195 SOS 33372974 HAS SOPS 16011863 HAS SOUS 1875083 HAS SOUPS 695486 WITH SCORE 728858.974
AT ITER 2621 NEW BEST:: SOT 38290195 SOS 33372704 HAS SOPS 16011593 HAS SOUS 1875083 HAS SOUPS 695486 WITH SCORE 728858.704
AT ITER 2627 NEW BEST:: SOT 38289786 SOS 33371886 HAS SOPS 16013898 HAS SOUS 1874265 HAS SOUPS 695015 WITH SCORE 728386.8859999999
AT ITER 2659 NEW BEST:: SOT 38289578 SOS 33369706 HAS SOPS 16011718 HAS SOUS 1874164 HAS SOUPS 694914 WITH SCORE 728283.706
AT ITER 2675 NEW BEST:: SOT 38289404 SOS 33369358 HAS SOPS 16012153 HAS SOUS 1873816 HAS SOUPS 694653 WITH SCORE 728022.358
AT ITER 2687 NEW BEST:: SOT 38289404 SOS 33369358 HAS SOPS 16012153 HAS SOUS 1873596 HAS SOUPS 694433 WITH SCORE 727802.358
AT ITER 2695 NEW BEST:: SOT 38289396 SOS 33369603 HAS SOPS 16012398 HAS SOUS 1873483 HAS SOUPS 694320 WITH SCORE 727689.603
AT ITER 2718 NEW BEST:: SOT 38288950 SOS 33364697 HAS SOPS 16011506 HAS SOUS 1872457 HAS SOUPS 693740 WITH SCORE 727104.697
AT ITER 2755 NEW BEST:: SOT 38288950 SOS 33364697 HAS SOPS 16011506 HAS SOUS 1872237 HAS SOUPS 693520 WITH SCORE 726884.697
AT ITER 2756 NEW BEST:: SOT 38289022 SOS 33361672 HAS SOPS 16009777 HAS SOUS 1872180 HAS SOUPS 693463 WITH SCORE 726824.672
AT ITER 2771 NEW BEST:: SOT 38289011 SOS 33355105 HAS SOPS 16003210 HAS SOUS 1872180 HAS SOUPS 693463 WITH SCORE 726818.105
AT ITER 2873 NEW BEST:: SOT 38289000 SOS 33353778 HAS SOPS 16004232 HAS SOUS 1871908 HAS SOUPS 693452 WITH SCORE 726805.778
AT ITER 2882 NEW BEST:: SOT 38288910 SOS 33353598 HAS SOPS 16004052 HAS SOUS 1871818 HAS SOUPS 693362 WITH SCORE 726715.598
AT ITER 2892 NEW BEST:: SOT 38288847 SOS 33353472 HAS SOPS 16003926 HAS SOUS 1871755 HAS SOUPS 693299 WITH SCORE 726652.472
AT ITER 2897 NEW BEST:: SOT 38288847 SOS 33353472 HAS SOPS 16003926 HAS SOUS 1871707 HAS SOUPS 693251 WITH SCORE 726604.472
AT ITER 2902 NEW BEST:: SOT 38288777 SOS 33353332 HAS SOPS 16003786 HAS SOUS 1871637 HAS SOUPS 693181 WITH SCORE 726534.332
AT ITER 2904 NEW BEST:: SOT 38287850 SOS 33368554 HAS SOPS 16011286 HAS SOUS 1871087 HAS SOUPS 692631 WITH SCORE 725999.554
AT ITER 2926 NEW BEST:: SOT 38287708 SOS 33368270 HAS SOPS 16011002 HAS SOUS 1870945 HAS SOUPS 692489 WITH SCORE 725857.27
AT ITER 2932 NEW BEST:: SOT 38287708 SOS 33368270 HAS SOPS 16011002 HAS SOUS 1870825 HAS SOUPS 692369 WITH SCORE 725737.27
AT ITER 2966 NEW BEST:: SOT 38287708 SOS 33368270 HAS SOPS 16011002 HAS SOUS 1870677 HAS SOUPS 692221 WITH SCORE 725589.27
AT ITER 2967 NEW BEST:: SOT 38287572 SOS 33367706 HAS SOPS 16010438 HAS SOUS 1870467 HAS SOUPS 692011 WITH SCORE 725378.706
AT ITER 2988 NEW BEST:: SOT 38287502 SOS 33367251 HAS SOPS 16009983 HAS SOUS 1870362 HAS SOUPS 691906 WITH SCORE 725273.251
AT ITER 3035 NEW BEST:: SOT 38287502 SOS 33367251 HAS SOPS 16009983 HAS SOUS 1870142 HAS SOUPS 691686 WITH SCORE 725053.251
AT ITER 3039 NEW BEST:: SOT 38285185 SOS 33389418 HAS SOPS 16019658 HAS SOUS 1869109 HAS SOUPS 690653 WITH SCORE 724042.418
AT ITER 3047 NEW BEST:: SOT 38284809 SOS 33388666 HAS SOPS 16018906 HAS SOUS 1868733 HAS SOUPS 690277 WITH SCORE 723665.666
AT ITER 3048 NEW BEST:: SOT 38282065 SOS 33396555 HAS SOPS 16015455 HAS SOUS 1867625 HAS SOUPS 688749 WITH SCORE 722145.555
AT ITER 3054 NEW BEST:: SOT 38281977 SOS 33396379 HAS SOPS 16015279 HAS SOUS 1867537 HAS SOUPS 688661 WITH SCORE 722057.379
AT ITER 3061 NEW BEST:: SOT 38280677 SOS 33392579 HAS SOPS 16011479 HAS SOUS 1866717 HAS SOUPS 687841 WITH SCORE 721233.579
AT ITER 3065 NEW BEST:: SOT 38280648 SOS 33392521 HAS SOPS 16011421 HAS SOUS 1866688 HAS SOUPS 687812 WITH SCORE 721204.521
AT ITER 3083 NEW BEST:: SOT 38277649 SOS 33404691 HAS SOPS 16014951 HAS SOUS 1865097 HAS SOUPS 686221 WITH SCORE 719625.691
AT ITER 3087 NEW BEST:: SOT 38277331 SOS 33407341 HAS SOPS 16014739 HAS SOUS 1864779 HAS SOUPS 685797 WITH SCORE 719204.341
AT ITER 3112 NEW BEST:: SOT 38277331 SOS 33407341 HAS SOPS 16014739 HAS SOUS 1864763 HAS SOUPS 685781 WITH SCORE 719188.341
AT ITER 3139 NEW BEST:: SOT 38275514 SOS 33413490 HAS SOPS 16015218 HAS SOUS 1863261 HAS SOUPS 684279 WITH SCORE 717692.49
AT ITER 3152 NEW BEST:: SOT 38275514 SOS 33413490 HAS SOPS 16015218 HAS SOUS 1863191 HAS SOUPS 684209 WITH SCORE 717622.49
AT ITER 3176 NEW BEST:: SOT 38275073 SOS 33412608 HAS SOPS 16017270 HAS SOUS 1862234 HAS SOUPS 683578 WITH SCORE 716990.608
AT ITER 3188 NEW BEST:: SOT 38274629 SOS 33411720 HAS SOPS 16016382 HAS SOUS 1862012 HAS SOUPS 683356 WITH SCORE 716767.72
AT ITER 3190 NEW BEST:: SOT 38274629 SOS 33411720 HAS SOPS 16016382 HAS SOUS 1861904 HAS SOUPS 683248 WITH SCORE 716659.72
AT ITER 3236 NEW BEST:: SOT 38274367 SOS 33410506 HAS SOPS 16015168 HAS SOUS 1861642 HAS SOUPS 682986 WITH SCORE 716396.506
AT ITER 3245 NEW BEST:: SOT 38274367 SOS 33410506 HAS SOPS 16015168 HAS SOUS 1861608 HAS SOUPS 682952 WITH SCORE 716362.506
AT ITER 3247 NEW BEST:: SOT 38274367 SOS 33410506 HAS SOPS 16015168 HAS SOUS 1861388 HAS SOUPS 682732 WITH SCORE 716142.506
AT ITER 3252 NEW BEST:: SOT 38274367 SOS 33410506 HAS SOPS 16015168 HAS SOUS 1861168 HAS SOUPS 682512 WITH SCORE 715922.506
AT ITER 3263 NEW BEST:: SOT 38272770 SOS 33420422 HAS SOPS 16016930 HAS SOUS 1860438 HAS SOUPS 681782 WITH SCORE 715202.422
AT ITER 3278 NEW BEST:: SOT 38272770 SOS 33420422 HAS SOPS 16016930 HAS SOUS 1860380 HAS SOUPS 681724 WITH SCORE 715144.422
AT ITER 3288 NEW BEST:: SOT 38272770 SOS 33420422 HAS SOPS 16016930 HAS SOUS 1860340 HAS SOUPS 681684 WITH SCORE 715104.422
AT ITER 3291 NEW BEST:: SOT 38272492 SOS 33423524 HAS SOPS 16016846 HAS SOUS 1860256 HAS SOUPS 681482 WITH SCORE 714905.524
AT ITER 3329 NEW BEST:: SOT 38272492 SOS 33423524 HAS SOPS 16016846 HAS SOUS 1860206 HAS SOUPS 681432 WITH SCORE 714855.524
AT ITER 3350 NEW BEST:: SOT 38272240 SOS 33423076 HAS SOPS 16016398 HAS SOUS 1860206 HAS SOUPS 681404 WITH SCORE 714827.076
AT ITER 3359 NEW BEST:: SOT 38269930 SOS 33436597 HAS SOPS 16020469 HAS SOUS 1858769 HAS SOUPS 679967 WITH SCORE 713403.597
AT ITER 3390 NEW BEST:: SOT 38269930 SOS 33436597 HAS SOPS 16020469 HAS SOUS 1858721 HAS SOUPS 679919 WITH SCORE 713355.597
AT ITER 3391 NEW BEST:: SOT 38267900 SOS 33449543 HAS SOPS 16024271 HAS SOUS 1857574 HAS SOUPS 678772 WITH SCORE 712221.543
AT ITER 3402 NEW BEST:: SOT 38267237 SOS 33448217 HAS SOPS 16022945 HAS SOUS 1856732 HAS SOUPS 677930 WITH SCORE 711378.217
AT ITER 3454 NEW BEST:: SOT 38267218 SOS 33448179 HAS SOPS 16022907 HAS SOUS 1856713 HAS SOUPS 677911 WITH SCORE 711359.179
AT ITER 3466 NEW BEST:: SOT 38264453 SOS 33462607 HAS SOPS 16025599 HAS SOUS 1855302 HAS SOUPS 676500 WITH SCORE 709962.607
AT ITER 3469 NEW BEST:: SOT 38264453 SOS 33462607 HAS SOPS 16025599 HAS SOUS 1855082 HAS SOUPS 676280 WITH SCORE 709742.607
AT ITER 3488 NEW BEST:: SOT 38264002 SOS 33461705 HAS SOPS 16028207 HAS SOUS 1854120 HAS SOUPS 675708 WITH SCORE 709169.705
AT ITER 3507 NEW BEST:: SOT 38264002 SOS 33461705 HAS SOPS 16028207 HAS SOUS 1853978 HAS SOUPS 675566 WITH SCORE 709027.705
AT ITER 3629 NEW BEST:: SOT 38264068 SOS 33448164 HAS SOPS 16028116 HAS SOUS 1853975 HAS SOUPS 675563 WITH SCORE 709011.164
AT ITER 3653 NEW BEST:: SOT 38262522 SOS 33451416 HAS SOPS 16024780 HAS SOUS 1852911 HAS SOUPS 674255 WITH SCORE 707706.416
AT ITER 3667 NEW BEST:: SOT 38262490 SOS 33451352 HAS SOPS 16024716 HAS SOUS 1852879 HAS SOUPS 674223 WITH SCORE 707674.352
AT ITER 3680 NEW BEST:: SOT 38262490 SOS 33451352 HAS SOPS 16024716 HAS SOUS 1852659 HAS SOUPS 674003 WITH SCORE 707454.352
AT ITER 3689 NEW BEST:: SOT 38262249 SOS 33450870 HAS SOPS 16025980 HAS SOUS 1852176 HAS SOUPS 673714 WITH SCORE 707164.87
AT ITER 3737 NEW BEST:: SOT 38252599 SOS 33433276 HAS SOPS 16019576 HAS SOUS 1851311 HAS SOUPS 673445 WITH SCORE 706878.276
AT ITER 3767 NEW BEST:: SOT 38252509 SOS 33433096 HAS SOPS 16022492 HAS SOUS 1850620 HAS SOUPS 673098 WITH SCORE 706531.096
AT ITER 3769 NEW BEST:: SOT 38252354 SOS 33434150 HAS SOPS 16022709 HAS SOUS 1850527 HAS SOUPS 672974 WITH SCORE 706408.15
AT ITER 3773 NEW BEST:: SOT 38252354 SOS 33434150 HAS SOPS 16022709 HAS SOUS 1850307 HAS SOUPS 672754 WITH SCORE 706188.15
AT ITER 3790 NEW BEST:: SOT 38250035 SOS 33456993 HAS SOPS 16032340 HAS SOUS 1849222 HAS SOUPS 671669 WITH SCORE 705125.993
AT ITER 3794 NEW BEST:: SOT 38250035 SOS 33453366 HAS SOPS 16032340 HAS SOUS 1848819 HAS SOUPS 671669 WITH SCORE 705122.366
AT ITER 3806 NEW BEST:: SOT 38250035 SOS 33453366 HAS SOPS 16032340 HAS SOUS 1848769 HAS SOUPS 671619 WITH SCORE 705072.366
AT ITER 3807 NEW BEST:: SOT 38250035 SOS 33453366 HAS SOPS 16032340 HAS SOUS 1848737 HAS SOUPS 671587 WITH SCORE 705040.366
AT ITER 3812 NEW BEST:: SOT 38249633 SOS 33452227 HAS SOPS 16031201 HAS SOUS 1848536 HAS SOUPS 671386 WITH SCORE 704838.227
AT ITER 3820 NEW BEST:: SOT 38248352 SOS 33453643 HAS SOPS 16029863 HAS SOUS 1847513 HAS SOUPS 670363 WITH SCORE 703816.643
AT ITER 3833 NEW BEST:: SOT 38248102 SOS 33453143 HAS SOPS 16029363 HAS SOUS 1847013 HAS SOUPS 669863 WITH SCORE 703316.143
AT ITER 3834 NEW BEST:: SOT 38248102 SOS 33453143 HAS SOPS 16029363 HAS SOUS 1846991 HAS SOUPS 669841 WITH SCORE 703294.143
AT ITER 3835 NEW BEST:: SOT 38247788 SOS 33451210 HAS SOPS 16030517 HAS SOUS 1846298 HAS SOUPS 669491 WITH SCORE 702942.21
AT ITER 3837 NEW BEST:: SOT 38247788 SOS 33451210 HAS SOPS 16030517 HAS SOUS 1846252 HAS SOUPS 669445 WITH SCORE 702896.21
AT ITER 3871 NEW BEST:: SOT 38247786 SOS 33451206 HAS SOPS 16030513 HAS SOUS 1846250 HAS SOUPS 669443 WITH SCORE 702894.206
AT ITER 3896 NEW BEST:: SOT 38246322 SOS 33446082 HAS SOPS 16028683 HAS SOUS 1844054 HAS SOUPS 667613 WITH SCORE 701059.082
AT ITER 3906 NEW BEST:: SOT 38246322 SOS 33446082 HAS SOPS 16028683 HAS SOUS 1844008 HAS SOUPS 667567 WITH SCORE 701013.082
AT ITER 3909 NEW BEST:: SOT 38246005 SOS 33445448 HAS SOPS 16028049 HAS SOUS 1843423 HAS SOUPS 666982 WITH SCORE 700427.448
AT ITER 3957 NEW BEST:: SOT 38244318 SOS 33454743 HAS SOPS 16029001 HAS SOUS 1842753 HAS SOUPS 666003 WITH SCORE 699457.743
AT ITER 3961 NEW BEST:: SOT 38244318 SOS 33454743 HAS SOPS 16029001 HAS SOUS 1842533 HAS SOUPS 665783 WITH SCORE 699237.743
AT ITER 3978 NEW BEST:: SOT 38244318 SOS 33454797 HAS SOPS 16029001 HAS SOUS 1842533 HAS SOUPS 665777 WITH SCORE 699231.797
AT ITER 3989 NEW BEST:: SOT 38244052 SOS 33454265 HAS SOPS 16028469 HAS SOUS 1842001 HAS SOUPS 665245 WITH SCORE 698699.265
AT ITER 3998 NEW BEST:: SOT 38242315 SOS 33458797 HAS SOPS 16027583 HAS SOUS 1840739 HAS SOUPS 663983 WITH SCORE 697441.797
AT ITER 4032 NEW BEST:: SOT 38236761 SOS 33448792 HAS SOPS 16023487 HAS SOUS 1840493 HAS SOUPS 663793 WITH SCORE 697241.792
AT ITER 4075 NEW BEST:: SOT 38236761 SOS 33448792 HAS SOPS 16023487 HAS SOUS 1840293 HAS SOUPS 663593 WITH SCORE 697041.792
AT ITER 4104 NEW BEST:: SOT 38236714 SOS 33453868 HAS SOPS 16023440 HAS SOUS 1840246 HAS SOUPS 663546 WITH SCORE 696999.868
AT ITER 4121 NEW BEST:: SOT 38236490 SOS 33454252 HAS SOPS 16023248 HAS SOUS 1840150 HAS SOUPS 663450 WITH SCORE 696904.252
AT ITER 4137 NEW BEST:: SOT 38236272 SOS 33461516 HAS SOPS 16027362 HAS SOUS 1840107 HAS SOUPS 663407 WITH SCORE 696868.5160000001
AT ITER 4154 NEW BEST:: SOT 38236272 SOS 33461516 HAS SOPS 16027362 HAS SOUS 1839887 HAS SOUPS 663187 WITH SCORE 696648.5160000001
AT ITER 4187 NEW BEST:: SOT 38236272 SOS 33461516 HAS SOPS 16027362 HAS SOUS 1839667 HAS SOUPS 662967 WITH SCORE 696428.5160000001
AT ITER 4189 NEW BEST:: SOT 38235797 SOS 33457434 HAS SOPS 16023280 HAS SOUS 1838892 HAS SOUPS 662192 WITH SCORE 695649.434
AT ITER 4197 NEW BEST:: SOT 38235797 SOS 33457434 HAS SOPS 16023280 HAS SOUS 1838802 HAS SOUPS 662102 WITH SCORE 695559.434
AT ITER 4224 NEW BEST:: SOT 38235797 SOS 33457434 HAS SOPS 16023280 HAS SOUS 1838628 HAS SOUPS 661928 WITH SCORE 695385.434
AT ITER 4249 NEW BEST:: SOT 38234388 SOS 33452981 HAS SOPS 16018827 HAS SOUS 1836892 HAS SOUPS 660192 WITH SCORE 693644.981
AT ITER 4252 NEW BEST:: SOT 38234347 SOS 33452899 HAS SOPS 16018376 HAS SOUS 1836892 HAS SOUPS 660151 WITH SCORE 693603.899
AT ITER 4270 NEW BEST:: SOT 38234347 SOS 33452899 HAS SOPS 16018376 HAS SOUS 1836672 HAS SOUPS 659931 WITH SCORE 693383.899
AT ITER 4286 NEW BEST:: SOT 38233348 SOS 33454853 HAS SOPS 16016226 HAS SOUS 1836181 HAS SOUPS 659288 WITH SCORE 692742.853
AT ITER 4290 NEW BEST:: SOT 38233348 SOS 33454853 HAS SOPS 16016226 HAS SOUS 1836149 HAS SOUPS 659256 WITH SCORE 692710.853
AT ITER 4328 NEW BEST:: SOT 38233208 SOS 33453277 HAS SOPS 16016099 HAS SOUS 1835704 HAS SOUPS 658972 WITH SCORE 692425.277
AT ITER 4344 NEW BEST:: SOT 38233208 SOS 33453277 HAS SOPS 16016099 HAS SOUS 1835486 HAS SOUPS 658754 WITH SCORE 692207.277
AT ITER 4374 NEW BEST:: SOT 38233286 SOS 33438075 HAS SOPS 16011906 HAS SOUS 1835463 HAS SOUPS 658731 WITH SCORE 692169.075
AT ITER 4413 NEW BEST:: SOT 38233286 SOS 33435771 HAS SOPS 16011906 HAS SOUS 1835207 HAS SOUPS 658731 WITH SCORE 692166.771
AT ITER 4486 NEW BEST:: SOT 38233286 SOS 33435771 HAS SOPS 16011906 HAS SOUS 1835201 HAS SOUPS 658725 WITH SCORE 692160.771
AT ITER 4519 NEW BEST:: SOT 38232264 SOS 33434427 HAS SOPS 16010562 HAS SOUS 1834797 HAS SOUPS 658321 WITH SCORE 691755.427
AT ITER 4522 NEW BEST:: SOT 38231361 SOS 33436287 HAS SOPS 16009884 HAS SOUS 1834395 HAS SOUPS 657919 WITH SCORE 691355.287
AT ITER 4527 NEW BEST:: SOT 38231361 SOS 33436287 HAS SOPS 16009884 HAS SOUS 1834241 HAS SOUPS 657765 WITH SCORE 691201.287
AT ITER 4562 NEW BEST:: SOT 38223836 SOS 33422617 HAS SOPS 16005199 HAS SOUS 1833647 HAS SOUPS 657770 WITH SCORE 691192.617
AT ITER 4573 NEW BEST:: SOT 38223836 SOS 33422617 HAS SOPS 16005199 HAS SOUS 1833499 HAS SOUPS 657622 WITH SCORE 691044.617
AT ITER 4606 NEW BEST:: SOT 38222180 SOS 33442604 HAS SOPS 16014296 HAS SOUS 1833196 HAS SOUPS 657319 WITH SCORE 690761.604
AT ITER 4637 NEW BEST:: SOT 38222180 SOS 33442604 HAS SOPS 16014296 HAS SOUS 1833148 HAS SOUPS 657271 WITH SCORE 690713.604
AT ITER 4639 NEW BEST:: SOT 38222132 SOS 33442292 HAS SOPS 16013984 HAS SOUS 1833076 HAS SOUPS 657199 WITH SCORE 690641.292
AT ITER 4696 NEW BEST:: SOT 38222132 SOS 33442292 HAS SOPS 16013984 HAS SOUS 1832856 HAS SOUPS 656979 WITH SCORE 690421.292
AT ITER 4796 NEW BEST:: SOT 38221946 SOS 33440825 HAS SOPS 16014488 HAS SOUS 1832451 HAS SOUPS 656793 WITH SCORE 690233.825
AT ITER 4798 NEW BEST:: SOT 38221946 SOS 33440825 HAS SOPS 16014488 HAS SOUS 1832349 HAS SOUPS 656691 WITH SCORE 690131.825
AT ITER 4828 NEW BEST:: SOT 38221598 SOS 33440129 HAS SOPS 16015358 HAS SOUS 1831827 HAS SOUPS 656343 WITH SCORE 689783.129
AT ITER 4842 NEW BEST:: SOT 38221598 SOS 33440129 HAS SOPS 16015358 HAS SOUS 1831825 HAS SOUPS 656341 WITH SCORE 689781.129
AT ITER 4858 NEW BEST:: SOT 38221598 SOS 33440129 HAS SOPS 16015358 HAS SOUS 1831605 HAS SOUPS 656121 WITH SCORE 689561.129
AT ITER 4870 NEW BEST:: SOT 38221598 SOS 33438986 HAS SOPS 16015358 HAS SOUS 1831478 HAS SOUPS 656121 WITH SCORE 689559.986
AT ITER 4931 NEW BEST:: SOT 38221386 SOS 33438562 HAS SOPS 16014934 HAS SOUS 1831099 HAS SOUPS 655742 WITH SCORE 689180.562
AT ITER 4966 NEW BEST:: SOT 38220848 SOS 33437486 HAS SOPS 16016279 HAS SOUS 1830023 HAS SOUPS 654935 WITH SCORE 688372.486
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCflexbar-PT-7a-CTLCardinality-00 (AU( (! (! potential( ( 3 ) <= (tk(P2124)) ))),(EF(potential( ( 3 ) <= (tk(P2215)) ))) ))
PROPERTY: DLCflexbar-PT-7a-CTLCardinality-01 ( (! (AF(potential( ( 2 ) <= (tk(P1666)) )))) | (! (EF(( potential( (tk(P712)) <= (tk(P860)) ) & potential( (tk(P1373)) <= (tk(P1215)) ) )))) )
PROPERTY: DLCflexbar-PT-7a-CTLCardinality-02 (AF(( (EF(potential( ( 3 ) <= (tk(P2323)) ))) & (! ( potential( (tk(P1006)) <= (tk(P1311)) ) & potential( ( 3 ) <= (tk(P1267)) ) )) )))
PROPERTY: DLCflexbar-PT-7a-CTLCardinality-03 (EF((EG( ( potential( (tk(P936)) <= (tk(P591)) ) & potential( ( 3 ) <= (tk(P2737)) ) )))))
PROPERTY: DLCflexbar-PT-7a-CTLCardinality-04 ( (EU( ( potential( ( 3 ) <= (tk(P2496)) ) & potential( (tk(P2422)) <= (tk(P25)) ) ),( potential( (tk(P681)) <= (tk(P2657)) ) | potential( (tk(P926)) <= (tk(P1500)) ) ) )) & ( (EF(( potential( ( 1 ) <= (tk(P263)) ) & potential( ( 2 ) <= (tk(P2105)) ) ))) & ( (AF(potential( (tk(P1403)) <= (tk(P1025)) ))) | (EF(potential( (tk(P2832)) <= (tk(P295)) ))) ) ) )
PROPERTY: DLCflexbar-PT-7a-CTLCardinality-05 (EF(potential( ( 3 ) <= (tk(P1377)) )))
PROPERTY: DLCflexbar-PT-7a-CTLCardinality-06 ( ( (EF(potential( ( 3 ) <= (tk(P1376)) ))) & (! (EG( potential( (tk(P771)) <= (tk(P217)) )))) ) | potential( ( 3 ) <= (tk(P2051)) ) )
PROPERTY: DLCflexbar-PT-7a-CTLCardinality-07 (AF(( ( (! potential( (tk(P606)) <= (tk(P2833)) )) & ( potential( ( 3 ) <= (tk(P811)) ) & potential( (tk(P1156)) <= (tk(P1046)) ) ) ) & ( ( potential( (tk(P1671)) <= (tk(P1357)) ) | potential( ( 3 ) <= (tk(P905)) ) ) | ( potential( (tk(P2233)) <= (tk(P819)) ) | potential( (tk(P2578)) <= (tk(P1559)) ) ) ) )))
PROPERTY: DLCflexbar-PT-7a-CTLCardinality-08 (AX( ( (! ( potential( ( 1 ) <= (tk(P2262)) ) | potential( ( 3 ) <= (tk(P525)) ) )) | (EF(potential( ( 3 ) <= (tk(P293)) ))) )))
PROPERTY: DLCflexbar-PT-7a-CTLCardinality-09 (EF(( (EX( potential( ( 2 ) <= (tk(P931)) ))) & potential( ( 2 ) <= (tk(P2529)) ) )))
PROPERTY: DLCflexbar-PT-7a-CTLCardinality-10 (! ( (EF(( potential( (tk(P57)) <= (tk(P1625)) ) & potential( ( 2 ) <= (tk(P2261)) ) ))) | (AU( potential( (tk(P1955)) <= (tk(P942)) ),potential( ( 3 ) <= (tk(P2827)) ) )) ))
PROPERTY: DLCflexbar-PT-7a-CTLCardinality-11 ( ( (AU( potential( (tk(P2666)) <= (tk(P462)) ),potential( (tk(P714)) <= (tk(P1070)) ) )) | ( (AX( potential( (tk(P945)) <= (tk(P945)) ))) & (AF(potential( ( 2 ) <= (tk(P1121)) ))) ) ) & (AG( ( ( potential( (tk(P2078)) <= (tk(P1495)) ) | potential( (tk(P196)) <= (tk(P1228)) ) ) & (! potential( ( 3 ) <= (tk(P1745)) )) ))) )
PROPERTY: DLCflexbar-PT-7a-CTLCardinality-12 ( (AX( (AX( potential( (tk(P1716)) <= (tk(P1399)) ))))) & (! (EU( potential( (tk(P2299)) <= (tk(P2382)) ),potential( ( 3 ) <= (tk(P2588)) ) ))) )
PROPERTY: DLCflexbar-PT-7a-CTLCardinality-13 ( potential( ( 3 ) <= (tk(P802)) ) | (! (AG( ( potential( (tk(P29)) <= (tk(P987)) ) | potential( ( 1 ) <= (tk(P2190)) ) )))) )
PROPERTY: DLCflexbar-PT-7a-CTLCardinality-14 (AX( (AG( (! potential( ( 2 ) <= (tk(P224)) ))))))
PROPERTY: DLCflexbar-PT-7a-CTLCardinality-15 (AU( ( potential( ( 3 ) <= (tk(P1673)) ) | ( potential( (tk(P980)) <= (tk(P1807)) ) | potential( ( 2 ) <= (tk(P2760)) ) ) ),(EG( potential( (tk(P2733)) <= (tk(P740)) ))) ))

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="DLCflexbar-PT-7a"
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 DLCflexbar-PT-7a, 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 r048-ebro-158902542200419"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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