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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 3.0K Mar 30 19:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 30 19:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 09:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 29 09:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Mar 28 05:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 28 05:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 23:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 23:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.3M 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 DLCround-PT-09b-CTLCardinality-00
FORMULA_NAME DLCround-PT-09b-CTLCardinality-01
FORMULA_NAME DLCround-PT-09b-CTLCardinality-02
FORMULA_NAME DLCround-PT-09b-CTLCardinality-03
FORMULA_NAME DLCround-PT-09b-CTLCardinality-04
FORMULA_NAME DLCround-PT-09b-CTLCardinality-05
FORMULA_NAME DLCround-PT-09b-CTLCardinality-06
FORMULA_NAME DLCround-PT-09b-CTLCardinality-07
FORMULA_NAME DLCround-PT-09b-CTLCardinality-08
FORMULA_NAME DLCround-PT-09b-CTLCardinality-09
FORMULA_NAME DLCround-PT-09b-CTLCardinality-10
FORMULA_NAME DLCround-PT-09b-CTLCardinality-11
FORMULA_NAME DLCround-PT-09b-CTLCardinality-12
FORMULA_NAME DLCround-PT-09b-CTLCardinality-13
FORMULA_NAME DLCround-PT-09b-CTLCardinality-14
FORMULA_NAME DLCround-PT-09b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589129015100

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 09b
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: 3495 places, 5439 transitions, 15081 arcs.
AT ITER 0 NEW BEST:: SOT 12062868 SOS 2820991 HAS SOPS 2820991 HAS SOUS 1629137 HAS SOUPS 1629137 WITH SCORE 1631957.991
AT ITER 11 NEW BEST:: SOT 12062868 SOS 2821781 HAS SOPS 2821781 HAS SOUS 1629135 HAS SOUPS 1629135 WITH SCORE 1631956.781
AT ITER 12 NEW BEST:: SOT 12062760 SOS 2821565 HAS SOPS 2821565 HAS SOUS 1628919 HAS SOUPS 1628919 WITH SCORE 1631740.565
AT ITER 13 NEW BEST:: SOT 12062760 SOS 2822703 HAS SOPS 2822703 HAS SOUS 1628917 HAS SOUPS 1628917 WITH SCORE 1631739.703
AT ITER 14 NEW BEST:: SOT 12062601 SOS 2822585 HAS SOPS 2822585 HAS SOUS 1628799 HAS SOUPS 1628799 WITH SCORE 1631621.585
AT ITER 31 NEW BEST:: SOT 12062422 SOS 2822350 HAS SOPS 2822350 HAS SOUS 1628564 HAS SOUPS 1628564 WITH SCORE 1631386.35
AT ITER 35 NEW BEST:: SOT 12062422 SOS 2822637 HAS SOPS 2822637 HAS SOUS 1628559 HAS SOUPS 1628559 WITH SCORE 1631381.637
AT ITER 36 NEW BEST:: SOT 12062382 SOS 2822557 HAS SOPS 2822557 HAS SOUS 1628518 HAS SOUPS 1628518 WITH SCORE 1631340.557
AT ITER 56 NEW BEST:: SOT 12062340 SOS 2822536 HAS SOPS 2822536 HAS SOUS 1628497 HAS SOUPS 1628497 WITH SCORE 1631319.536
AT ITER 72 NEW BEST:: SOT 12062267 SOS 2822533 HAS SOPS 2822533 HAS SOUS 1628496 HAS SOUPS 1628496 WITH SCORE 1631318.533
AT ITER 78 NEW BEST:: SOT 12061980 SOS 2821959 HAS SOPS 2821959 HAS SOUS 1627922 HAS SOUPS 1627922 WITH SCORE 1630743.959
AT ITER 83 NEW BEST:: SOT 12061783 SOS 2821565 HAS SOPS 2821565 HAS SOUS 1627459 HAS SOUPS 1627459 WITH SCORE 1630280.565
AT ITER 87 NEW BEST:: SOT 12061538 SOS 2821565 HAS SOPS 2821565 HAS SOUS 1627319 HAS SOUPS 1627319 WITH SCORE 1630140.565
AT ITER 97 NEW BEST:: SOT 12060989 SOS 2821012 HAS SOPS 2821012 HAS SOUS 1626769 HAS SOUPS 1626769 WITH SCORE 1629590.012
AT ITER 99 NEW BEST:: SOT 12060079 SOS 2820557 HAS SOPS 2820557 HAS SOUS 1626314 HAS SOUPS 1626314 WITH SCORE 1629134.557
AT ITER 108 NEW BEST:: SOT 12059967 SOS 2820333 HAS SOPS 2820333 HAS SOUS 1626090 HAS SOUPS 1626090 WITH SCORE 1628910.333
AT ITER 121 NEW BEST:: SOT 12059836 SOS 2820071 HAS SOPS 2820071 HAS SOUS 1625023 HAS SOUPS 1625023 WITH SCORE 1627843.071
AT ITER 128 NEW BEST:: SOT 12059653 SOS 2820405 HAS SOPS 2820405 HAS SOUS 1624840 HAS SOUPS 1624840 WITH SCORE 1627660.405
AT ITER 134 NEW BEST:: SOT 12059283 SOS 2821202 HAS SOPS 2821202 HAS SOUS 1623859 HAS SOUPS 1623859 WITH SCORE 1626680.202
AT ITER 136 NEW BEST:: SOT 12058222 SOS 2819631 HAS SOPS 2819631 HAS SOUS 1622247 HAS SOUPS 1622247 WITH SCORE 1625066.631
AT ITER 156 NEW BEST:: SOT 12057314 SOS 2818723 HAS SOPS 2818723 HAS SOUS 1621339 HAS SOUPS 1621339 WITH SCORE 1624157.723
AT ITER 168 NEW BEST:: SOT 12057167 SOS 2818870 HAS SOPS 2818870 HAS SOUS 1621192 HAS SOUPS 1621192 WITH SCORE 1624010.87
AT ITER 175 NEW BEST:: SOT 12057318 SOS 2817546 HAS SOPS 2817546 HAS SOUS 1620876 HAS SOUPS 1620876 WITH SCORE 1623693.546
AT ITER 204 NEW BEST:: SOT 12056816 SOS 2818030 HAS SOPS 2818030 HAS SOUS 1620071 HAS SOUPS 1620071 WITH SCORE 1622889.03
AT ITER 214 NEW BEST:: SOT 12057060 SOS 2818518 HAS SOPS 2818518 HAS SOUS 1619577 HAS SOUPS 1619577 WITH SCORE 1622395.518
AT ITER 236 NEW BEST:: SOT 12056700 SOS 2816718 HAS SOPS 2816718 HAS SOUS 1619217 HAS SOUPS 1619217 WITH SCORE 1622033.718
AT ITER 251 NEW BEST:: SOT 12056011 SOS 2816029 HAS SOPS 2816029 HAS SOUS 1618528 HAS SOUPS 1618528 WITH SCORE 1621344.029
AT ITER 253 NEW BEST:: SOT 12055679 SOS 2816019 HAS SOPS 2816019 HAS SOUS 1618381 HAS SOUPS 1618381 WITH SCORE 1621197.019
AT ITER 266 NEW BEST:: SOT 12055678 SOS 2816017 HAS SOPS 2816017 HAS SOUS 1618379 HAS SOUPS 1618379 WITH SCORE 1621195.017
AT ITER 278 NEW BEST:: SOT 12055662 SOS 2815985 HAS SOPS 2815985 HAS SOUS 1618347 HAS SOUPS 1618347 WITH SCORE 1621162.985
AT ITER 280 NEW BEST:: SOT 12055359 SOS 2819878 HAS SOPS 2819878 HAS SOUS 1617740 HAS SOUPS 1617740 WITH SCORE 1620559.878
AT ITER 282 NEW BEST:: SOT 12055358 SOS 2819876 HAS SOPS 2819876 HAS SOUS 1617738 HAS SOUPS 1617738 WITH SCORE 1620557.876
AT ITER 286 NEW BEST:: SOT 12055364 SOS 2819541 HAS SOPS 2819541 HAS SOUS 1617403 HAS SOUPS 1617403 WITH SCORE 1620222.541
AT ITER 290 NEW BEST:: SOT 12054785 SOS 2819142 HAS SOPS 2819142 HAS SOUS 1617016 HAS SOUPS 1617016 WITH SCORE 1619835.142
AT ITER 315 NEW BEST:: SOT 12054535 SOS 2819632 HAS SOPS 2819632 HAS SOUS 1616883 HAS SOUPS 1616883 WITH SCORE 1619702.632
AT ITER 327 NEW BEST:: SOT 12054102 SOS 2819825 HAS SOPS 2819825 HAS SOUS 1616803 HAS SOUPS 1616803 WITH SCORE 1619622.825
AT ITER 343 NEW BEST:: SOT 12053178 SOS 2818901 HAS SOPS 2818901 HAS SOUS 1615879 HAS SOUPS 1615879 WITH SCORE 1618697.901
AT ITER 346 NEW BEST:: SOT 12053178 SOS 2818897 HAS SOPS 2818897 HAS SOUS 1615795 HAS SOUPS 1615795 WITH SCORE 1618613.897
AT ITER 362 NEW BEST:: SOT 12052926 SOS 2818893 HAS SOPS 2818893 HAS SOUS 1615794 HAS SOUPS 1615794 WITH SCORE 1618612.893
AT ITER 367 NEW BEST:: SOT 12051860 SOS 2818484 HAS SOPS 2818484 HAS SOUS 1615256 HAS SOUPS 1615256 WITH SCORE 1618074.484
AT ITER 384 NEW BEST:: SOT 12051825 SOS 2818414 HAS SOPS 2818414 HAS SOUS 1615186 HAS SOUPS 1615186 WITH SCORE 1618004.414
AT ITER 395 NEW BEST:: SOT 12052081 SOS 2818158 HAS SOPS 2818158 HAS SOUS 1615186 HAS SOUPS 1615186 WITH SCORE 1618004.158
AT ITER 398 NEW BEST:: SOT 12051694 SOS 2818913 HAS SOPS 2818913 HAS SOUS 1614177 HAS SOUPS 1614177 WITH SCORE 1616995.913
AT ITER 420 NEW BEST:: SOT 12051400 SOS 2819203 HAS SOPS 2819203 HAS SOUS 1613588 HAS SOUPS 1613588 WITH SCORE 1616407.203
AT ITER 515 NEW BEST:: SOT 12051593 SOS 2821380 HAS SOPS 2821380 HAS SOUS 1613076 HAS SOUPS 1613076 WITH SCORE 1615897.38
AT ITER 527 NEW BEST:: SOT 12051460 SOS 2821921 HAS SOPS 2821921 HAS SOUS 1612942 HAS SOUPS 1612942 WITH SCORE 1615763.921
AT ITER 533 NEW BEST:: SOT 12050916 SOS 2821361 HAS SOPS 2821361 HAS SOUS 1612929 HAS SOUPS 1612929 WITH SCORE 1615750.361
AT ITER 553 NEW BEST:: SOT 12050705 SOS 2820939 HAS SOPS 2820939 HAS SOUS 1612429 HAS SOUPS 1612429 WITH SCORE 1615249.939
AT ITER 557 NEW BEST:: SOT 12050705 SOS 2820939 HAS SOPS 2820939 HAS SOUS 1612428 HAS SOUPS 1612428 WITH SCORE 1615248.939
AT ITER 568 NEW BEST:: SOT 12050705 SOS 2820000 HAS SOPS 2820000 HAS SOUS 1612427 HAS SOUPS 1612427 WITH SCORE 1615247.0
AT ITER 591 NEW BEST:: SOT 12050704 SOS 2819998 HAS SOPS 2819998 HAS SOUS 1612425 HAS SOUPS 1612425 WITH SCORE 1615244.998
AT ITER 593 NEW BEST:: SOT 12049876 SOS 2819584 HAS SOPS 2819584 HAS SOUS 1612011 HAS SOUPS 1612011 WITH SCORE 1614830.584
AT ITER 615 NEW BEST:: SOT 12048650 SOS 2818920 HAS SOPS 2818920 HAS SOUS 1610785 HAS SOUPS 1610785 WITH SCORE 1613603.92
AT ITER 619 NEW BEST:: SOT 12047908 SOS 2818549 HAS SOPS 2818549 HAS SOUS 1610414 HAS SOUPS 1610414 WITH SCORE 1613232.549
AT ITER 636 NEW BEST:: SOT 12048090 SOS 2823808 HAS SOPS 2823808 HAS SOUS 1610232 HAS SOUPS 1610232 WITH SCORE 1613055.808
AT ITER 644 NEW BEST:: SOT 12047923 SOS 2823474 HAS SOPS 2823474 HAS SOUS 1609898 HAS SOUPS 1609898 WITH SCORE 1612721.474
AT ITER 659 NEW BEST:: SOT 12047923 SOS 2822766 HAS SOPS 2822766 HAS SOUS 1609662 HAS SOUPS 1609662 WITH SCORE 1612484.766
AT ITER 670 NEW BEST:: SOT 12047662 SOS 2822667 HAS SOPS 2822667 HAS SOUS 1609563 HAS SOUPS 1609563 WITH SCORE 1612385.667
AT ITER 672 NEW BEST:: SOT 12048012 SOS 2823367 HAS SOPS 2823367 HAS SOUS 1609171 HAS SOUPS 1609171 WITH SCORE 1611994.367
AT ITER 680 NEW BEST:: SOT 12048011 SOS 2823365 HAS SOPS 2823365 HAS SOUS 1609169 HAS SOUPS 1609169 WITH SCORE 1611992.365
AT ITER 687 NEW BEST:: SOT 12048086 SOS 2823515 HAS SOPS 2823515 HAS SOUS 1609121 HAS SOUPS 1609121 WITH SCORE 1611944.515
AT ITER 723 NEW BEST:: SOT 12047331 SOS 2818130 HAS SOPS 2818130 HAS SOUS 1607903 HAS SOUPS 1607903 WITH SCORE 1610721.13
AT ITER 764 NEW BEST:: SOT 12047331 SOS 2817831 HAS SOPS 2817831 HAS SOUS 1607604 HAS SOUPS 1607604 WITH SCORE 1610421.831
AT ITER 778 NEW BEST:: SOT 12047247 SOS 2817747 HAS SOPS 2817747 HAS SOUS 1607520 HAS SOUPS 1607520 WITH SCORE 1610337.747
AT ITER 796 NEW BEST:: SOT 12047118 SOS 2818650 HAS SOPS 2818650 HAS SOUS 1607391 HAS SOUPS 1607391 WITH SCORE 1610209.65
AT ITER 808 NEW BEST:: SOT 12046667 SOS 2818640 HAS SOPS 2818640 HAS SOUS 1607063 HAS SOUPS 1607063 WITH SCORE 1609881.64
AT ITER 836 NEW BEST:: SOT 12046659 SOS 2819676 HAS SOPS 2819676 HAS SOUS 1606563 HAS SOUPS 1606563 WITH SCORE 1609382.676
AT ITER 846 NEW BEST:: SOT 12046659 SOS 2818986 HAS SOPS 2818986 HAS SOUS 1606333 HAS SOUPS 1606333 WITH SCORE 1609151.986
AT ITER 869 NEW BEST:: SOT 12045997 SOS 2818320 HAS SOPS 2818320 HAS SOUS 1605670 HAS SOUPS 1605670 WITH SCORE 1608488.32
AT ITER 885 NEW BEST:: SOT 12045793 SOS 2818316 HAS SOPS 2818316 HAS SOUS 1605669 HAS SOUPS 1605669 WITH SCORE 1608487.316
AT ITER 901 NEW BEST:: SOT 12045793 SOS 2818316 HAS SOPS 2818316 HAS SOUS 1605555 HAS SOUPS 1605555 WITH SCORE 1608373.316
AT ITER 908 NEW BEST:: SOT 12045417 SOS 2818049 HAS SOPS 2818049 HAS SOUS 1605288 HAS SOUPS 1605288 WITH SCORE 1608106.049
AT ITER 917 NEW BEST:: SOT 12043681 SOS 2815445 HAS SOPS 2815445 HAS SOUS 1602684 HAS SOUPS 1602684 WITH SCORE 1605499.445
AT ITER 928 NEW BEST:: SOT 12043681 SOS 2814923 HAS SOPS 2814923 HAS SOUS 1602510 HAS SOUPS 1602510 WITH SCORE 1605324.923
AT ITER 955 NEW BEST:: SOT 12043688 SOS 2814574 HAS SOPS 2814574 HAS SOUS 1602161 HAS SOUPS 1602161 WITH SCORE 1604975.574
AT ITER 987 NEW BEST:: SOT 12043326 SOS 2818187 HAS SOPS 2818187 HAS SOUS 1601436 HAS SOUPS 1601436 WITH SCORE 1604254.187
AT ITER 1028 NEW BEST:: SOT 12043231 SOS 2818092 HAS SOPS 2818092 HAS SOUS 1601341 HAS SOUPS 1601341 WITH SCORE 1604159.092
AT ITER 1029 NEW BEST:: SOT 12043136 SOS 2817902 HAS SOPS 2817902 HAS SOUS 1601151 HAS SOUPS 1601151 WITH SCORE 1603968.902
AT ITER 1050 NEW BEST:: SOT 12042668 SOS 2816966 HAS SOPS 2816966 HAS SOUS 1600683 HAS SOUPS 1600683 WITH SCORE 1603499.966
AT ITER 1071 NEW BEST:: SOT 12042324 SOS 2815590 HAS SOPS 2815590 HAS SOUS 1600339 HAS SOUPS 1600339 WITH SCORE 1603154.59
AT ITER 1085 NEW BEST:: SOT 12042324 SOS 2815590 HAS SOPS 2815590 HAS SOUS 1600213 HAS SOUPS 1600213 WITH SCORE 1603028.59
AT ITER 1092 NEW BEST:: SOT 12041589 SOS 2815338 HAS SOPS 2815338 HAS SOUS 1599554 HAS SOUPS 1599554 WITH SCORE 1602369.338
AT ITER 1103 NEW BEST:: SOT 12041320 SOS 2815143 HAS SOPS 2815143 HAS SOUS 1599284 HAS SOUPS 1599284 WITH SCORE 1602099.143
AT ITER 1132 NEW BEST:: SOT 12041319 SOS 2815141 HAS SOPS 2815141 HAS SOUS 1599282 HAS SOUPS 1599282 WITH SCORE 1602097.141
AT ITER 1144 NEW BEST:: SOT 12041562 SOS 2816499 HAS SOPS 2816499 HAS SOUS 1599094 HAS SOUPS 1599094 WITH SCORE 1601910.499
AT ITER 1161 NEW BEST:: SOT 12041562 SOS 2815842 HAS SOPS 2815842 HAS SOUS 1598875 HAS SOUPS 1598875 WITH SCORE 1601690.842
AT ITER 1201 NEW BEST:: SOT 12041562 SOS 2815353 HAS SOPS 2815353 HAS SOUS 1598386 HAS SOUPS 1598386 WITH SCORE 1601201.353
AT ITER 1204 NEW BEST:: SOT 12040747 SOS 2815353 HAS SOPS 2815353 HAS SOUS 1597257 HAS SOUPS 1597257 WITH SCORE 1600072.353
AT ITER 1252 NEW BEST:: SOT 12040459 SOS 2813045 HAS SOPS 2813045 HAS SOUS 1596680 HAS SOUPS 1596680 WITH SCORE 1599493.045
AT ITER 1255 NEW BEST:: SOT 12040554 SOS 2813103 HAS SOPS 2813103 HAS SOUS 1596643 HAS SOUPS 1596643 WITH SCORE 1599456.103
AT ITER 1259 NEW BEST:: SOT 12040810 SOS 2812591 HAS SOPS 2812591 HAS SOUS 1596643 HAS SOUPS 1596643 WITH SCORE 1599455.591
AT ITER 1261 NEW BEST:: SOT 12040637 SOS 2812460 HAS SOPS 2812460 HAS SOUS 1596632 HAS SOUPS 1596632 WITH SCORE 1599444.46
AT ITER 1263 NEW BEST:: SOT 12040486 SOS 2812309 HAS SOPS 2812309 HAS SOUS 1596481 HAS SOUPS 1596481 WITH SCORE 1599293.309
AT ITER 1289 NEW BEST:: SOT 12040054 SOS 2811877 HAS SOPS 2811877 HAS SOUS 1596049 HAS SOUPS 1596049 WITH SCORE 1598860.877
AT ITER 1294 NEW BEST:: SOT 12040032 SOS 2811823 HAS SOPS 2811823 HAS SOUS 1596004 HAS SOUPS 1596004 WITH SCORE 1598815.823
AT ITER 1332 NEW BEST:: SOT 12039549 SOS 2811340 HAS SOPS 2811340 HAS SOUS 1595521 HAS SOUPS 1595521 WITH SCORE 1598332.34
AT ITER 1337 NEW BEST:: SOT 12038569 SOS 2809380 HAS SOPS 2809380 HAS SOUS 1593561 HAS SOUPS 1593561 WITH SCORE 1596370.38
AT ITER 1376 NEW BEST:: SOT 12038411 SOS 2810486 HAS SOPS 2810486 HAS SOUS 1593403 HAS SOUPS 1593403 WITH SCORE 1596213.486
AT ITER 1396 NEW BEST:: SOT 12038240 SOS 2810144 HAS SOPS 2810144 HAS SOUS 1593061 HAS SOUPS 1593061 WITH SCORE 1595871.144
AT ITER 1397 NEW BEST:: SOT 12038309 SOS 2810095 HAS SOPS 2810095 HAS SOUS 1592943 HAS SOUPS 1592943 WITH SCORE 1595753.095
AT ITER 1405 NEW BEST:: SOT 12038303 SOS 2810471 HAS SOPS 2810471 HAS SOUS 1592937 HAS SOUPS 1592937 WITH SCORE 1595747.471
AT ITER 1416 NEW BEST:: SOT 12037518 SOS 2810374 HAS SOPS 2810374 HAS SOUS 1592405 HAS SOUPS 1592405 WITH SCORE 1595215.374
AT ITER 1426 NEW BEST:: SOT 12037252 SOS 2809842 HAS SOPS 2809842 HAS SOUS 1591908 HAS SOUPS 1591908 WITH SCORE 1594717.842
AT ITER 1448 NEW BEST:: SOT 12037026 SOS 2809984 HAS SOPS 2809984 HAS SOUS 1591682 HAS SOUPS 1591682 WITH SCORE 1594491.984
AT ITER 1468 NEW BEST:: SOT 12036542 SOS 2809500 HAS SOPS 2809500 HAS SOUS 1591198 HAS SOUPS 1591198 WITH SCORE 1594007.5
AT ITER 1489 NEW BEST:: SOT 12036502 SOS 2809770 HAS SOPS 2809770 HAS SOUS 1591117 HAS SOUPS 1591117 WITH SCORE 1593926.77
AT ITER 1500 NEW BEST:: SOT 12036433 SOS 2809632 HAS SOPS 2809632 HAS SOUS 1590979 HAS SOUPS 1590979 WITH SCORE 1593788.632
AT ITER 1507 NEW BEST:: SOT 12036433 SOS 2809583 HAS SOPS 2809583 HAS SOUS 1590930 HAS SOUPS 1590930 WITH SCORE 1593739.583
AT ITER 1516 NEW BEST:: SOT 12035022 SOS 2814259 HAS SOPS 2814259 HAS SOUS 1590666 HAS SOUPS 1590666 WITH SCORE 1593480.259
AT ITER 1519 NEW BEST:: SOT 12034923 SOS 2814160 HAS SOPS 2814160 HAS SOUS 1590567 HAS SOUPS 1590567 WITH SCORE 1593381.16
AT ITER 1537 NEW BEST:: SOT 12034923 SOS 2814065 HAS SOPS 2814065 HAS SOUS 1590472 HAS SOUPS 1590472 WITH SCORE 1593286.065
AT ITER 1545 NEW BEST:: SOT 12034445 SOS 2817288 HAS SOPS 2817288 HAS SOUS 1590032 HAS SOUPS 1590032 WITH SCORE 1592849.288
AT ITER 1552 NEW BEST:: SOT 12033421 SOS 2816390 HAS SOPS 2816390 HAS SOUS 1589023 HAS SOUPS 1589023 WITH SCORE 1591839.39
AT ITER 1567 NEW BEST:: SOT 12033167 SOS 2821587 HAS SOPS 2821587 HAS SOUS 1588514 HAS SOUPS 1588514 WITH SCORE 1591335.587
AT ITER 1579 NEW BEST:: SOT 12033157 SOS 2821567 HAS SOPS 2821567 HAS SOUS 1588367 HAS SOUPS 1588367 WITH SCORE 1591188.567
AT ITER 1582 NEW BEST:: SOT 12033156 SOS 2822529 HAS SOPS 2822529 HAS SOUS 1588365 HAS SOUPS 1588365 WITH SCORE 1591187.529
AT ITER 1602 NEW BEST:: SOT 12033043 SOS 2822546 HAS SOPS 2822546 HAS SOUS 1588333 HAS SOUPS 1588333 WITH SCORE 1591155.546
AT ITER 1610 NEW BEST:: SOT 12033043 SOS 2823010 HAS SOPS 2823010 HAS SOUS 1588274 HAS SOUPS 1588274 WITH SCORE 1591097.01
AT ITER 1614 NEW BEST:: SOT 12032078 SOS 2822556 HAS SOPS 2822556 HAS SOUS 1587801 HAS SOUPS 1587801 WITH SCORE 1590623.556
AT ITER 1629 NEW BEST:: SOT 12032182 SOS 2822582 HAS SOPS 2822582 HAS SOUS 1587723 HAS SOUPS 1587723 WITH SCORE 1590545.582
AT ITER 1638 NEW BEST:: SOT 12031296 SOS 2822139 HAS SOPS 2822139 HAS SOUS 1587280 HAS SOUPS 1587280 WITH SCORE 1590102.139
AT ITER 1643 NEW BEST:: SOT 12030989 SOS 2822168 HAS SOPS 2822168 HAS SOUS 1587256 HAS SOUPS 1587256 WITH SCORE 1590078.168
AT ITER 1644 NEW BEST:: SOT 12030967 SOS 2822477 HAS SOPS 2822477 HAS SOUS 1587224 HAS SOUPS 1587224 WITH SCORE 1590046.477
AT ITER 1646 NEW BEST:: SOT 12030966 SOS 2822475 HAS SOPS 2822475 HAS SOUS 1587222 HAS SOUPS 1587222 WITH SCORE 1590044.475
AT ITER 1674 NEW BEST:: SOT 12030488 SOS 2822107 HAS SOPS 2822107 HAS SOUS 1586854 HAS SOUPS 1586854 WITH SCORE 1589676.107
AT ITER 1694 NEW BEST:: SOT 12030504 SOS 2821969 HAS SOPS 2821969 HAS SOUS 1586785 HAS SOUPS 1586785 WITH SCORE 1589606.969
AT ITER 1710 NEW BEST:: SOT 12030322 SOS 2823233 HAS SOPS 2823233 HAS SOUS 1586420 HAS SOUPS 1586420 WITH SCORE 1589243.233
AT ITER 1712 NEW BEST:: SOT 12029773 SOS 2822683 HAS SOPS 2822683 HAS SOUS 1585870 HAS SOUPS 1585870 WITH SCORE 1588692.683
AT ITER 1715 NEW BEST:: SOT 12029662 SOS 2823561 HAS SOPS 2823561 HAS SOUS 1585758 HAS SOUPS 1585758 WITH SCORE 1588581.561
AT ITER 1769 NEW BEST:: SOT 12029229 SOS 2825001 HAS SOPS 2825001 HAS SOUS 1584891 HAS SOUPS 1584891 WITH SCORE 1587716.001
AT ITER 1770 NEW BEST:: SOT 12028485 SOS 2824257 HAS SOPS 2824257 HAS SOUS 1584147 HAS SOUPS 1584147 WITH SCORE 1586971.257
AT ITER 1781 NEW BEST:: SOT 12028196 SOS 2823679 HAS SOPS 2823679 HAS SOUS 1582976 HAS SOUPS 1582976 WITH SCORE 1585799.679
AT ITER 1795 NEW BEST:: SOT 12028397 SOS 2823478 HAS SOPS 2823478 HAS SOUS 1582852 HAS SOUPS 1582852 WITH SCORE 1585675.478
AT ITER 1801 NEW BEST:: SOT 12028397 SOS 2823263 HAS SOPS 2823263 HAS SOUS 1582637 HAS SOUPS 1582637 WITH SCORE 1585460.263
AT ITER 1818 NEW BEST:: SOT 12027137 SOS 2826128 HAS SOPS 2826128 HAS SOUS 1581763 HAS SOUPS 1581763 WITH SCORE 1584589.128
AT ITER 1827 NEW BEST:: SOT 12027097 SOS 2827604 HAS SOPS 2827604 HAS SOUS 1581548 HAS SOUPS 1581548 WITH SCORE 1584375.604
AT ITER 1829 NEW BEST:: SOT 12027499 SOS 2827585 HAS SOPS 2827585 HAS SOUS 1581529 HAS SOUPS 1581529 WITH SCORE 1584356.585
AT ITER 1870 NEW BEST:: SOT 12027130 SOS 2827503 HAS SOPS 2827503 HAS SOUS 1581456 HAS SOUPS 1581456 WITH SCORE 1584283.503
AT ITER 1877 NEW BEST:: SOT 12027032 SOS 2827307 HAS SOPS 2827307 HAS SOUS 1581358 HAS SOUPS 1581358 WITH SCORE 1584185.307
AT ITER 1883 NEW BEST:: SOT 12026999 SOS 2827562 HAS SOPS 2827562 HAS SOUS 1581325 HAS SOUPS 1581325 WITH SCORE 1584152.562
AT ITER 1885 NEW BEST:: SOT 12027012 SOS 2827228 HAS SOPS 2827228 HAS SOUS 1580991 HAS SOUPS 1580991 WITH SCORE 1583818.228
AT ITER 1895 NEW BEST:: SOT 12027011 SOS 2826809 HAS SOPS 2826809 HAS SOUS 1580572 HAS SOUPS 1580572 WITH SCORE 1583398.809
AT ITER 1928 NEW BEST:: SOT 12027010 SOS 2826807 HAS SOPS 2826807 HAS SOUS 1580570 HAS SOUPS 1580570 WITH SCORE 1583396.807
AT ITER 1949 NEW BEST:: SOT 12027010 SOS 2825868 HAS SOPS 2825868 HAS SOUS 1580569 HAS SOUPS 1580569 WITH SCORE 1583394.868
AT ITER 1954 NEW BEST:: SOT 12026781 SOS 2826097 HAS SOPS 2826097 HAS SOUS 1580340 HAS SOUPS 1580340 WITH SCORE 1583166.097
AT ITER 1993 NEW BEST:: SOT 12025895 SOS 2825208 HAS SOPS 2825208 HAS SOUS 1580334 HAS SOUPS 1580334 WITH SCORE 1583159.208
AT ITER 2007 NEW BEST:: SOT 12025895 SOS 2825153 HAS SOPS 2825153 HAS SOUS 1580334 HAS SOUPS 1580334 WITH SCORE 1583159.153
AT ITER 2017 NEW BEST:: SOT 12025520 SOS 2825143 HAS SOPS 2825143 HAS SOUS 1580191 HAS SOUPS 1580191 WITH SCORE 1583016.143
AT ITER 2029 NEW BEST:: SOT 12025520 SOS 2825049 HAS SOPS 2825049 HAS SOUS 1580097 HAS SOUPS 1580097 WITH SCORE 1582922.049
AT ITER 2034 NEW BEST:: SOT 12025776 SOS 2830486 HAS SOPS 2830486 HAS SOUS 1580039 HAS SOUPS 1580039 WITH SCORE 1582869.486
AT ITER 2055 NEW BEST:: SOT 12025776 SOS 2829184 HAS SOPS 2829184 HAS SOUS 1580039 HAS SOUPS 1580039 WITH SCORE 1582868.184
AT ITER 2070 NEW BEST:: SOT 12025776 SOS 2830605 HAS SOPS 2830605 HAS SOUS 1580037 HAS SOUPS 1580037 WITH SCORE 1582867.605
AT ITER 2088 NEW BEST:: SOT 12025775 SOS 2830603 HAS SOPS 2830603 HAS SOUS 1580036 HAS SOUPS 1580036 WITH SCORE 1582866.603
AT ITER 2116 NEW BEST:: SOT 12025407 SOS 2830409 HAS SOPS 2830409 HAS SOUS 1579827 HAS SOUPS 1579827 WITH SCORE 1582657.409
AT ITER 2129 NEW BEST:: SOT 12025221 SOS 2829481 HAS SOPS 2829481 HAS SOUS 1579697 HAS SOUPS 1579697 WITH SCORE 1582526.481
AT ITER 2165 NEW BEST:: SOT 12025221 SOS 2828122 HAS SOPS 2828122 HAS SOUS 1579696 HAS SOUPS 1579696 WITH SCORE 1582524.122
AT ITER 2175 NEW BEST:: SOT 12024659 SOS 2827534 HAS SOPS 2827534 HAS SOUS 1579296 HAS SOUPS 1579296 WITH SCORE 1582123.534
AT ITER 2194 NEW BEST:: SOT 12024659 SOS 2827514 HAS SOPS 2827514 HAS SOUS 1579276 HAS SOUPS 1579276 WITH SCORE 1582103.514
AT ITER 2220 NEW BEST:: SOT 12024463 SOS 2827318 HAS SOPS 2827318 HAS SOUS 1579080 HAS SOUPS 1579080 WITH SCORE 1581907.318
AT ITER 2252 NEW BEST:: SOT 12024374 SOS 2831244 HAS SOPS 2831244 HAS SOUS 1578902 HAS SOUPS 1578902 WITH SCORE 1581733.244
AT ITER 2262 NEW BEST:: SOT 12024173 SOS 2831244 HAS SOPS 2831244 HAS SOUS 1578701 HAS SOUPS 1578701 WITH SCORE 1581532.244
AT ITER 2278 NEW BEST:: SOT 12024173 SOS 2831244 HAS SOPS 2831244 HAS SOUS 1578700 HAS SOUPS 1578700 WITH SCORE 1581531.244
AT ITER 2287 NEW BEST:: SOT 12023557 SOS 2830796 HAS SOPS 2830796 HAS SOUS 1578588 HAS SOUPS 1578588 WITH SCORE 1581418.796
AT ITER 2299 NEW BEST:: SOT 12023557 SOS 2830775 HAS SOPS 2830775 HAS SOUS 1578588 HAS SOUPS 1578588 WITH SCORE 1581418.775
AT ITER 2304 NEW BEST:: SOT 12023307 SOS 2830579 HAS SOPS 2830579 HAS SOUS 1578159 HAS SOUPS 1578159 WITH SCORE 1580989.579
AT ITER 2367 NEW BEST:: SOT 12023307 SOS 2829433 HAS SOPS 2829433 HAS SOUS 1577777 HAS SOUPS 1577777 WITH SCORE 1580606.433
AT ITER 2370 NEW BEST:: SOT 12023220 SOS 2829346 HAS SOPS 2829346 HAS SOUS 1577690 HAS SOUPS 1577690 WITH SCORE 1580519.346
AT ITER 2384 NEW BEST:: SOT 12022868 SOS 2828642 HAS SOPS 2828642 HAS SOUS 1577337 HAS SOUPS 1577337 WITH SCORE 1580165.642
AT ITER 2395 NEW BEST:: SOT 12022868 SOS 2828500 HAS SOPS 2828500 HAS SOUS 1577337 HAS SOUPS 1577337 WITH SCORE 1580165.5
AT ITER 2401 NEW BEST:: SOT 12022868 SOS 2828404 HAS SOPS 2828404 HAS SOUS 1577289 HAS SOUPS 1577289 WITH SCORE 1580117.404
AT ITER 2402 NEW BEST:: SOT 12023207 SOS 2828062 HAS SOPS 2828062 HAS SOUS 1577288 HAS SOUPS 1577288 WITH SCORE 1580116.062
AT ITER 2417 NEW BEST:: SOT 12022812 SOS 2827881 HAS SOPS 2827881 HAS SOUS 1577068 HAS SOUPS 1577068 WITH SCORE 1579895.881
AT ITER 2427 NEW BEST:: SOT 12022812 SOS 2828165 HAS SOPS 2828165 HAS SOUS 1577066 HAS SOUPS 1577066 WITH SCORE 1579894.165
AT ITER 2436 NEW BEST:: SOT 12022812 SOS 2827734 HAS SOPS 2827734 HAS SOUS 1576635 HAS SOUPS 1576635 WITH SCORE 1579462.734
AT ITER 2448 NEW BEST:: SOT 12022548 SOS 2827206 HAS SOPS 2827206 HAS SOUS 1576371 HAS SOUPS 1576371 WITH SCORE 1579198.206
AT ITER 2469 NEW BEST:: SOT 12021835 SOS 2827381 HAS SOPS 2827381 HAS SOUS 1574944 HAS SOUPS 1574944 WITH SCORE 1577771.381
AT ITER 2498 NEW BEST:: SOT 12021641 SOS 2828803 HAS SOPS 2828803 HAS SOUS 1574840 HAS SOUPS 1574840 WITH SCORE 1577668.803
AT ITER 2503 NEW BEST:: SOT 12021529 SOS 2828747 HAS SOPS 2828747 HAS SOUS 1574728 HAS SOUPS 1574728 WITH SCORE 1577556.747
AT ITER 2520 NEW BEST:: SOT 12019989 SOS 2827462 HAS SOPS 2827462 HAS SOUS 1573443 HAS SOUPS 1573443 WITH SCORE 1576270.462
AT ITER 2554 NEW BEST:: SOT 12019989 SOS 2827446 HAS SOPS 2827446 HAS SOUS 1573443 HAS SOUPS 1573443 WITH SCORE 1576270.446
AT ITER 2563 NEW BEST:: SOT 12019989 SOS 2826980 HAS SOPS 2826980 HAS SOUS 1572977 HAS SOUPS 1572977 WITH SCORE 1575803.98
AT ITER 2566 NEW BEST:: SOT 12019989 SOS 2826980 HAS SOPS 2826980 HAS SOUS 1572976 HAS SOUPS 1572976 WITH SCORE 1575802.98
AT ITER 2578 NEW BEST:: SOT 12019989 SOS 2826056 HAS SOPS 2826056 HAS SOUS 1572726 HAS SOUPS 1572726 WITH SCORE 1575552.056
AT ITER 2586 NEW BEST:: SOT 12019590 SOS 2824185 HAS SOPS 2824185 HAS SOUS 1572349 HAS SOUPS 1572349 WITH SCORE 1575173.185
AT ITER 2596 NEW BEST:: SOT 12020057 SOS 2825119 HAS SOPS 2825119 HAS SOUS 1572111 HAS SOUPS 1572111 WITH SCORE 1574936.119
AT ITER 2628 NEW BEST:: SOT 12020210 SOS 2825425 HAS SOPS 2825425 HAS SOUS 1571513 HAS SOUPS 1571513 WITH SCORE 1574338.425
AT ITER 2638 NEW BEST:: SOT 12020101 SOS 2825207 HAS SOPS 2825207 HAS SOUS 1571295 HAS SOUPS 1571295 WITH SCORE 1574120.207
AT ITER 2660 NEW BEST:: SOT 12020342 SOS 2825689 HAS SOPS 2825689 HAS SOUS 1570683 HAS SOUPS 1570683 WITH SCORE 1573508.689
AT ITER 2672 NEW BEST:: SOT 12019787 SOS 2824579 HAS SOPS 2824579 HAS SOUS 1569923 HAS SOUPS 1569923 WITH SCORE 1572747.579
AT ITER 2702 NEW BEST:: SOT 12019603 SOS 2824487 HAS SOPS 2824487 HAS SOUS 1569831 HAS SOUPS 1569831 WITH SCORE 1572655.487
AT ITER 2705 NEW BEST:: SOT 12019259 SOS 2824268 HAS SOPS 2824268 HAS SOUS 1569612 HAS SOUPS 1569612 WITH SCORE 1572436.268
AT ITER 2717 NEW BEST:: SOT 12019156 SOS 2824062 HAS SOPS 2824062 HAS SOUS 1569405 HAS SOUPS 1569405 WITH SCORE 1572229.062
AT ITER 2723 NEW BEST:: SOT 12018226 SOS 2823747 HAS SOPS 2823747 HAS SOUS 1568990 HAS SOUPS 1568990 WITH SCORE 1571813.747
AT ITER 2731 NEW BEST:: SOT 12017910 SOS 2823493 HAS SOPS 2823493 HAS SOUS 1568702 HAS SOUPS 1568702 WITH SCORE 1571525.493
AT ITER 2758 NEW BEST:: SOT 12017473 SOS 2824610 HAS SOPS 2824610 HAS SOUS 1567827 HAS SOUPS 1567827 WITH SCORE 1570651.61
AT ITER 2824 NEW BEST:: SOT 12017191 SOS 2824328 HAS SOPS 2824328 HAS SOUS 1567545 HAS SOUPS 1567545 WITH SCORE 1570369.328
AT ITER 2826 NEW BEST:: SOT 12017292 SOS 2824071 HAS SOPS 2824071 HAS SOUS 1567178 HAS SOUPS 1567178 WITH SCORE 1570002.071
AT ITER 2833 NEW BEST:: SOT 12016565 SOS 2823344 HAS SOPS 2823344 HAS SOUS 1566451 HAS SOUPS 1566451 WITH SCORE 1569274.344
AT ITER 2887 NEW BEST:: SOT 12016915 SOS 2826395 HAS SOPS 2826395 HAS SOUS 1566365 HAS SOUPS 1566365 WITH SCORE 1569191.395
AT ITER 2892 NEW BEST:: SOT 12016915 SOS 2828366 HAS SOPS 2828366 HAS SOUS 1566081 HAS SOUPS 1566081 WITH SCORE 1568909.366
AT ITER 2919 NEW BEST:: SOT 12017324 SOS 2829184 HAS SOPS 2829184 HAS SOUS 1565802 HAS SOUPS 1565802 WITH SCORE 1568631.184
AT ITER 2933 NEW BEST:: SOT 12017256 SOS 2829116 HAS SOPS 2829116 HAS SOUS 1565734 HAS SOUPS 1565734 WITH SCORE 1568563.116
AT ITER 2943 NEW BEST:: SOT 12017256 SOS 2829094 HAS SOPS 2829094 HAS SOUS 1565734 HAS SOUPS 1565734 WITH SCORE 1568563.094
AT ITER 2944 NEW BEST:: SOT 12017256 SOS 2828996 HAS SOPS 2828996 HAS SOUS 1565734 HAS SOUPS 1565734 WITH SCORE 1568562.996
AT ITER 2962 NEW BEST:: SOT 12017256 SOS 2828831 HAS SOPS 2828831 HAS SOUS 1565569 HAS SOUPS 1565569 WITH SCORE 1568397.831
AT ITER 2964 NEW BEST:: SOT 12017112 SOS 2828543 HAS SOPS 2828543 HAS SOUS 1565281 HAS SOUPS 1565281 WITH SCORE 1568109.543
AT ITER 2978 NEW BEST:: SOT 12017052 SOS 2828423 HAS SOPS 2828423 HAS SOUS 1565281 HAS SOUPS 1565281 WITH SCORE 1568109.423
AT ITER 2979 NEW BEST:: SOT 12016832 SOS 2828428 HAS SOPS 2828428 HAS SOUS 1565008 HAS SOUPS 1565008 WITH SCORE 1567836.428
AT ITER 2986 NEW BEST:: SOT 12016832 SOS 2829098 HAS SOPS 2829098 HAS SOUS 1565006 HAS SOUPS 1565006 WITH SCORE 1567835.098
AT ITER 3079 NEW BEST:: SOT 12014932 SOS 2826248 HAS SOPS 2826248 HAS SOUS 1562156 HAS SOUPS 1562156 WITH SCORE 1564982.248
AT ITER 3090 NEW BEST:: SOT 12014538 SOS 2826593 HAS SOPS 2826593 HAS SOUS 1561233 HAS SOUPS 1561233 WITH SCORE 1564059.593
AT ITER 3114 NEW BEST:: SOT 12014501 SOS 2826519 HAS SOPS 2826519 HAS SOUS 1561159 HAS SOUPS 1561159 WITH SCORE 1563985.519
AT ITER 3127 NEW BEST:: SOT 12014198 SOS 2826818 HAS SOPS 2826818 HAS SOUS 1560552 HAS SOUPS 1560552 WITH SCORE 1563378.818
AT ITER 3156 NEW BEST:: SOT 12014197 SOS 2826602 HAS SOPS 2826602 HAS SOUS 1560443 HAS SOUPS 1560443 WITH SCORE 1563269.602
AT ITER 3158 NEW BEST:: SOT 12013551 SOS 2821638 HAS SOPS 2821638 HAS SOUS 1559610 HAS SOUPS 1559610 WITH SCORE 1562431.638
AT ITER 3160 NEW BEST:: SOT 12013551 SOS 2821623 HAS SOPS 2821623 HAS SOUS 1559605 HAS SOUPS 1559605 WITH SCORE 1562426.623
AT ITER 3163 NEW BEST:: SOT 12013551 SOS 2821724 HAS SOPS 2821724 HAS SOUS 1559604 HAS SOUPS 1559604 WITH SCORE 1562425.724
AT ITER 3186 NEW BEST:: SOT 12013466 SOS 2821554 HAS SOPS 2821554 HAS SOUS 1559340 HAS SOUPS 1559340 WITH SCORE 1562161.554
AT ITER 3193 NEW BEST:: SOT 12013466 SOS 2821554 HAS SOPS 2821554 HAS SOUS 1559280 HAS SOUPS 1559280 WITH SCORE 1562101.554
AT ITER 3199 NEW BEST:: SOT 12013708 SOS 2822016 HAS SOPS 2822016 HAS SOUS 1559105 HAS SOUPS 1559105 WITH SCORE 1561927.016
AT ITER 3201 NEW BEST:: SOT 12012234 SOS 2820944 HAS SOPS 2820944 HAS SOUS 1558837 HAS SOUPS 1558837 WITH SCORE 1561657.944
AT ITER 3227 NEW BEST:: SOT 12011628 SOS 2820794 HAS SOPS 2820794 HAS SOUS 1558687 HAS SOUPS 1558687 WITH SCORE 1561507.794
AT ITER 3228 NEW BEST:: SOT 12011338 SOS 2816230 HAS SOPS 2816230 HAS SOUS 1558394 HAS SOUPS 1558394 WITH SCORE 1561210.23
AT ITER 3239 NEW BEST:: SOT 12011109 SOS 2816446 HAS SOPS 2816446 HAS SOUS 1558164 HAS SOUPS 1558164 WITH SCORE 1560980.446
AT ITER 3249 NEW BEST:: SOT 12010420 SOS 2816877 HAS SOPS 2816877 HAS SOUS 1556785 HAS SOUPS 1556785 WITH SCORE 1559601.877
AT ITER 3279 NEW BEST:: SOT 12010420 SOS 2817803 HAS SOPS 2817803 HAS SOUS 1556784 HAS SOUPS 1556784 WITH SCORE 1559601.803
AT ITER 3296 NEW BEST:: SOT 12009530 SOS 2817797 HAS SOPS 2817797 HAS SOUS 1556639 HAS SOUPS 1556639 WITH SCORE 1559456.797
AT ITER 3297 NEW BEST:: SOT 12009160 SOS 2816317 HAS SOPS 2816317 HAS SOUS 1555899 HAS SOUPS 1555899 WITH SCORE 1558715.317
AT ITER 3323 NEW BEST:: SOT 12009160 SOS 2817783 HAS SOPS 2817783 HAS SOUS 1555897 HAS SOUPS 1555897 WITH SCORE 1558714.783
AT ITER 3362 NEW BEST:: SOT 12009118 SOS 2817699 HAS SOPS 2817699 HAS SOUS 1555854 HAS SOUPS 1555854 WITH SCORE 1558671.699
AT ITER 3376 NEW BEST:: SOT 12009218 SOS 2818327 HAS SOPS 2818327 HAS SOUS 1555770 HAS SOUPS 1555770 WITH SCORE 1558588.327
AT ITER 3405 NEW BEST:: SOT 12009218 SOS 2818583 HAS SOPS 2818583 HAS SOUS 1555769 HAS SOUPS 1555769 WITH SCORE 1558587.583
AT ITER 3414 NEW BEST:: SOT 12009218 SOS 2819003 HAS SOPS 2819003 HAS SOUS 1555768 HAS SOUPS 1555768 WITH SCORE 1558587.003
AT ITER 3415 NEW BEST:: SOT 12008901 SOS 2818369 HAS SOPS 2818369 HAS SOUS 1555450 HAS SOUPS 1555450 WITH SCORE 1558268.369
AT ITER 3437 NEW BEST:: SOT 12007960 SOS 2817988 HAS SOPS 2817988 HAS SOUS 1554751 HAS SOUPS 1554751 WITH SCORE 1557568.988
AT ITER 3441 NEW BEST:: SOT 12007911 SOS 2818370 HAS SOPS 2818370 HAS SOUS 1554701 HAS SOUPS 1554701 WITH SCORE 1557519.37
AT ITER 3467 NEW BEST:: SOT 12007558 SOS 2817664 HAS SOPS 2817664 HAS SOUS 1553912 HAS SOUPS 1553912 WITH SCORE 1556729.664
AT ITER 3483 NEW BEST:: SOT 12007557 SOS 2817662 HAS SOPS 2817662 HAS SOUS 1553910 HAS SOUPS 1553910 WITH SCORE 1556727.662
AT ITER 3540 NEW BEST:: SOT 12007470 SOS 2817662 HAS SOPS 2817662 HAS SOUS 1553736 HAS SOUPS 1553736 WITH SCORE 1556553.662
AT ITER 3562 NEW BEST:: SOT 12007626 SOS 2817974 HAS SOPS 2817974 HAS SOUS 1553729 HAS SOUPS 1553729 WITH SCORE 1556546.974
AT ITER 3576 NEW BEST:: SOT 12007489 SOS 2813740 HAS SOPS 2813740 HAS SOUS 1553455 HAS SOUPS 1553455 WITH SCORE 1556268.74
AT ITER 3694 NEW BEST:: SOT 12006545 SOS 2813530 HAS SOPS 2813530 HAS SOUS 1552511 HAS SOUPS 1552511 WITH SCORE 1555324.53
AT ITER 3715 NEW BEST:: SOT 12006490 SOS 2813420 HAS SOPS 2813420 HAS SOUS 1552401 HAS SOUPS 1552401 WITH SCORE 1555214.42
AT ITER 3716 NEW BEST:: SOT 12005792 SOS 2810326 HAS SOPS 2810326 HAS SOUS 1551476 HAS SOUPS 1551476 WITH SCORE 1554286.326
AT ITER 3741 NEW BEST:: SOT 12005834 SOS 2810409 HAS SOPS 2810409 HAS SOUS 1551409 HAS SOUPS 1551409 WITH SCORE 1554219.409
AT ITER 3771 NEW BEST:: SOT 12005834 SOS 2810187 HAS SOPS 2810187 HAS SOUS 1551335 HAS SOUPS 1551335 WITH SCORE 1554145.187
AT ITER 3779 NEW BEST:: SOT 12005812 SOS 2810143 HAS SOPS 2810143 HAS SOUS 1551313 HAS SOUPS 1551313 WITH SCORE 1554123.143
AT ITER 3796 NEW BEST:: SOT 12005812 SOS 2809767 HAS SOPS 2809767 HAS SOUS 1551125 HAS SOUPS 1551125 WITH SCORE 1553934.767
AT ITER 3800 NEW BEST:: SOT 12005661 SOS 2809465 HAS SOPS 2809465 HAS SOUS 1550823 HAS SOUPS 1550823 WITH SCORE 1553632.465
AT ITER 3802 NEW BEST:: SOT 12004774 SOS 2808324 HAS SOPS 2808324 HAS SOUS 1550322 HAS SOUPS 1550322 WITH SCORE 1553130.324
AT ITER 3836 NEW BEST:: SOT 12004435 SOS 2807822 HAS SOPS 2807822 HAS SOUS 1549621 HAS SOUPS 1549621 WITH SCORE 1552428.822
AT ITER 3845 NEW BEST:: SOT 12004123 SOS 2807497 HAS SOPS 2807497 HAS SOUS 1549308 HAS SOUPS 1549308 WITH SCORE 1552115.497
AT ITER 3856 NEW BEST:: SOT 12004149 SOS 2808248 HAS SOPS 2808248 HAS SOUS 1549254 HAS SOUPS 1549254 WITH SCORE 1552062.248
AT ITER 3886 NEW BEST:: SOT 12003539 SOS 2807597 HAS SOPS 2807597 HAS SOUS 1548819 HAS SOUPS 1548819 WITH SCORE 1551626.597
AT ITER 3887 NEW BEST:: SOT 12003537 SOS 2807593 HAS SOPS 2807593 HAS SOUS 1548815 HAS SOUPS 1548815 WITH SCORE 1551622.593
AT ITER 3947 NEW BEST:: SOT 12003241 SOS 2807499 HAS SOPS 2807499 HAS SOUS 1548559 HAS SOUPS 1548559 WITH SCORE 1551366.499
AT ITER 3949 NEW BEST:: SOT 12003000 SOS 2806117 HAS SOPS 2806117 HAS SOUS 1548468 HAS SOUPS 1548468 WITH SCORE 1551274.117
AT ITER 3964 NEW BEST:: SOT 12003000 SOS 2805520 HAS SOPS 2805520 HAS SOUS 1548269 HAS SOUPS 1548269 WITH SCORE 1551074.52
AT ITER 4000 NEW BEST:: SOT 12002330 SOS 2804850 HAS SOPS 2804850 HAS SOUS 1547657 HAS SOUPS 1547657 WITH SCORE 1550461.85
AT ITER 4047 NEW BEST:: SOT 12002329 SOS 2805699 HAS SOPS 2805699 HAS SOUS 1547654 HAS SOUPS 1547654 WITH SCORE 1550459.699
AT ITER 4104 NEW BEST:: SOT 12002318 SOS 2805677 HAS SOPS 2805677 HAS SOUS 1547632 HAS SOUPS 1547632 WITH SCORE 1550437.677
AT ITER 4105 NEW BEST:: SOT 12002318 SOS 2805676 HAS SOPS 2805676 HAS SOUS 1547631 HAS SOUPS 1547631 WITH SCORE 1550436.676
AT ITER 4155 NEW BEST:: SOT 12001828 SOS 2803226 HAS SOPS 2803226 HAS SOUS 1546651 HAS SOUPS 1546651 WITH SCORE 1549454.226
AT ITER 4161 NEW BEST:: SOT 12001828 SOS 2802863 HAS SOPS 2802863 HAS SOUS 1546530 HAS SOUPS 1546530 WITH SCORE 1549332.863
AT ITER 4162 NEW BEST:: SOT 12001132 SOS 2802308 HAS SOPS 2802308 HAS SOUS 1545975 HAS SOUPS 1545975 WITH SCORE 1548777.308
AT ITER 4191 NEW BEST:: SOT 12001131 SOS 2802306 HAS SOPS 2802306 HAS SOUS 1545973 HAS SOUPS 1545973 WITH SCORE 1548775.306
AT ITER 4206 NEW BEST:: SOT 12001131 SOS 2802681 HAS SOPS 2802681 HAS SOUS 1545588 HAS SOUPS 1545588 WITH SCORE 1548390.681
AT ITER 4241 NEW BEST:: SOT 12001131 SOS 2802681 HAS SOPS 2802681 HAS SOUS 1545086 HAS SOUPS 1545086 WITH SCORE 1547888.681
AT ITER 4266 NEW BEST:: SOT 12000207 SOS 2801112 HAS SOPS 2801112 HAS SOUS 1543950 HAS SOUPS 1543950 WITH SCORE 1546751.112
AT ITER 4275 NEW BEST:: SOT 11999972 SOS 2800483 HAS SOPS 2800483 HAS SOUS 1543771 HAS SOUPS 1543771 WITH SCORE 1546571.483
AT ITER 4280 NEW BEST:: SOT 12000051 SOS 2799726 HAS SOPS 2799726 HAS SOUS 1543584 HAS SOUPS 1543584 WITH SCORE 1546383.726
AT ITER 4294 NEW BEST:: SOT 11999876 SOS 2799376 HAS SOPS 2799376 HAS SOUS 1543356 HAS SOUPS 1543356 WITH SCORE 1546155.376
AT ITER 4302 NEW BEST:: SOT 11999876 SOS 2798887 HAS SOPS 2798887 HAS SOUS 1543193 HAS SOUPS 1543193 WITH SCORE 1545991.887
AT ITER 4336 NEW BEST:: SOT 11999581 SOS 2799178 HAS SOPS 2799178 HAS SOUS 1542602 HAS SOUPS 1542602 WITH SCORE 1545401.178
AT ITER 4374 NEW BEST:: SOT 11999557 SOS 2799154 HAS SOPS 2799154 HAS SOUS 1542602 HAS SOUPS 1542602 WITH SCORE 1545401.154
AT ITER 4377 NEW BEST:: SOT 11999512 SOS 2799064 HAS SOPS 2799064 HAS SOUS 1542557 HAS SOUPS 1542557 WITH SCORE 1545356.064
AT ITER 4392 NEW BEST:: SOT 11999328 SOS 2798696 HAS SOPS 2798696 HAS SOUS 1542189 HAS SOUPS 1542189 WITH SCORE 1544987.696
AT ITER 4423 NEW BEST:: SOT 11999261 SOS 2798629 HAS SOPS 2798629 HAS SOUS 1542121 HAS SOUPS 1542121 WITH SCORE 1544919.629
AT ITER 4495 NEW BEST:: SOT 11999261 SOS 2798619 HAS SOPS 2798619 HAS SOUS 1542120 HAS SOUPS 1542120 WITH SCORE 1544918.619
AT ITER 4507 NEW BEST:: SOT 11999261 SOS 2798619 HAS SOPS 2798619 HAS SOUS 1541972 HAS SOUPS 1541972 WITH SCORE 1544770.619
AT ITER 4513 NEW BEST:: SOT 11999261 SOS 2797812 HAS SOPS 2797812 HAS SOUS 1541380 HAS SOUPS 1541380 WITH SCORE 1544177.812
AT ITER 4515 NEW BEST:: SOT 11999110 SOS 2797208 HAS SOPS 2797208 HAS SOUS 1541078 HAS SOUPS 1541078 WITH SCORE 1543875.208
AT ITER 4538 NEW BEST:: SOT 11999192 SOS 2797372 HAS SOPS 2797372 HAS SOUS 1540197 HAS SOUPS 1540197 WITH SCORE 1542994.372
AT ITER 4550 NEW BEST:: SOT 11999157 SOS 2797372 HAS SOPS 2797372 HAS SOUS 1540127 HAS SOUPS 1540127 WITH SCORE 1542924.372
AT ITER 4574 NEW BEST:: SOT 11999156 SOS 2797370 HAS SOPS 2797370 HAS SOUS 1540125 HAS SOUPS 1540125 WITH SCORE 1542922.37
AT ITER 4594 NEW BEST:: SOT 11999148 SOS 2797354 HAS SOPS 2797354 HAS SOUS 1540109 HAS SOUPS 1540109 WITH SCORE 1542906.354
AT ITER 4595 NEW BEST:: SOT 11999148 SOS 2797444 HAS SOPS 2797444 HAS SOUS 1540015 HAS SOUPS 1540015 WITH SCORE 1542812.444
AT ITER 4620 NEW BEST:: SOT 11998558 SOS 2796150 HAS SOPS 2796150 HAS SOUS 1539249 HAS SOUPS 1539249 WITH SCORE 1542045.15
AT ITER 4625 NEW BEST:: SOT 11998633 SOS 2796300 HAS SOPS 2796300 HAS SOUS 1539163 HAS SOUPS 1539163 WITH SCORE 1541959.3
AT ITER 4629 NEW BEST:: SOT 11998387 SOS 2795808 HAS SOPS 2795808 HAS SOUS 1538917 HAS SOUPS 1538917 WITH SCORE 1541712.808
AT ITER 4643 NEW BEST:: SOT 11998447 SOS 2795289 HAS SOPS 2795289 HAS SOUS 1538824 HAS SOUPS 1538824 WITH SCORE 1541619.289
AT ITER 4685 NEW BEST:: SOT 11998447 SOS 2795441 HAS SOPS 2795441 HAS SOUS 1538748 HAS SOUPS 1538748 WITH SCORE 1541543.441
AT ITER 4713 NEW BEST:: SOT 11998446 SOS 2795440 HAS SOPS 2795440 HAS SOUS 1538747 HAS SOUPS 1538747 WITH SCORE 1541542.44
AT ITER 4721 NEW BEST:: SOT 11998249 SOS 2795046 HAS SOPS 2795046 HAS SOUS 1537622 HAS SOUPS 1537622 WITH SCORE 1540417.046
AT ITER 4722 NEW BEST:: SOT 11997622 SOS 2794141 HAS SOPS 2794141 HAS SOUS 1536995 HAS SOUPS 1536995 WITH SCORE 1539789.141
AT ITER 4741 NEW BEST:: SOT 11997622 SOS 2793978 HAS SOPS 2793978 HAS SOUS 1536832 HAS SOUPS 1536832 WITH SCORE 1539625.978
AT ITER 4752 NEW BEST:: SOT 11997570 SOS 2793822 HAS SOPS 2793822 HAS SOUS 1536780 HAS SOUPS 1536780 WITH SCORE 1539573.822
AT ITER 4781 NEW BEST:: SOT 11997570 SOS 2794205 HAS SOPS 2794205 HAS SOUS 1536779 HAS SOUPS 1536779 WITH SCORE 1539573.205
AT ITER 4795 NEW BEST:: SOT 11997526 SOS 2794116 HAS SOPS 2794116 HAS SOUS 1536690 HAS SOUPS 1536690 WITH SCORE 1539484.116
AT ITER 4810 NEW BEST:: SOT 11997852 SOS 2793492 HAS SOPS 2793492 HAS SOUS 1536598 HAS SOUPS 1536598 WITH SCORE 1539391.492
AT ITER 4813 NEW BEST:: SOT 11997852 SOS 2792436 HAS SOPS 2792436 HAS SOUS 1536597 HAS SOUPS 1536597 WITH SCORE 1539389.436
AT ITER 4817 NEW BEST:: SOT 11997519 SOS 2792103 HAS SOPS 2792103 HAS SOUS 1536264 HAS SOUPS 1536264 WITH SCORE 1539056.103
AT ITER 4827 NEW BEST:: SOT 11997505 SOS 2792075 HAS SOPS 2792075 HAS SOUS 1536236 HAS SOUPS 1536236 WITH SCORE 1539028.075
AT ITER 4830 NEW BEST:: SOT 11997137 SOS 2792333 HAS SOPS 2792333 HAS SOUS 1535912 HAS SOUPS 1535912 WITH SCORE 1538704.333
AT ITER 4831 NEW BEST:: SOT 11997113 SOS 2795941 HAS SOPS 2795941 HAS SOUS 1535845 HAS SOUPS 1535845 WITH SCORE 1538640.941
AT ITER 4854 NEW BEST:: SOT 11996686 SOS 2795087 HAS SOPS 2795087 HAS SOUS 1535418 HAS SOUPS 1535418 WITH SCORE 1538213.087
AT ITER 4890 NEW BEST:: SOT 11996188 SOS 2794589 HAS SOPS 2794589 HAS SOUS 1534920 HAS SOUPS 1534920 WITH SCORE 1537714.589
AT ITER 4899 NEW BEST:: SOT 11996141 SOS 2794495 HAS SOPS 2794495 HAS SOUS 1534826 HAS SOUPS 1534826 WITH SCORE 1537620.495
AT ITER 4905 NEW BEST:: SOT 11996117 SOS 2794447 HAS SOPS 2794447 HAS SOUS 1533971 HAS SOUPS 1533971 WITH SCORE 1536765.447
AT ITER 4910 NEW BEST:: SOT 11996117 SOS 2794216 HAS SOPS 2794216 HAS SOUS 1533971 HAS SOUPS 1533971 WITH SCORE 1536765.216
AT ITER 4911 NEW BEST:: SOT 11994489 SOS 2799640 HAS SOPS 2799640 HAS SOUS 1533216 HAS SOUPS 1533216 WITH SCORE 1536015.64
AT ITER 4921 NEW BEST:: SOT 11994550 SOS 2799018 HAS SOPS 2799018 HAS SOUS 1533029 HAS SOUPS 1533029 WITH SCORE 1535828.018
AT ITER 4937 NEW BEST:: SOT 11994488 SOS 2798915 HAS SOPS 2798915 HAS SOUS 1532926 HAS SOUPS 1532926 WITH SCORE 1535724.915
AT ITER 4940 NEW BEST:: SOT 11994488 SOS 2798915 HAS SOPS 2798915 HAS SOUS 1532545 HAS SOUPS 1532545 WITH SCORE 1535343.915
AT ITER 4949 NEW BEST:: SOT 11994296 SOS 2800259 HAS SOPS 2800259 HAS SOUS 1532161 HAS SOUPS 1532161 WITH SCORE 1534961.259
AT ITER 4957 NEW BEST:: SOT 11994202 SOS 2800071 HAS SOPS 2800071 HAS SOUS 1531973 HAS SOUPS 1531973 WITH SCORE 1534773.071
AT ITER 4971 NEW BEST:: SOT 11994202 SOS 2800474 HAS SOPS 2800474 HAS SOUS 1531972 HAS SOUPS 1531972 WITH SCORE 1534772.474
AT ITER 4998 NEW BEST:: SOT 11994447 SOS 2799653 HAS SOPS 2799653 HAS SOUS 1531902 HAS SOUPS 1531902 WITH SCORE 1534701.653
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCround-PT-09b-CTLCardinality-00 (! (AG( ( ( potential( ( 2 ) <= (tk(P776)) ) | potential( (tk(P1565)) <= (tk(P2608)) ) ) & ( potential( ( 3 ) <= (tk(P2136)) ) | potential( (tk(P1653)) <= (tk(P562)) ) ) ))))
PROPERTY: DLCround-PT-09b-CTLCardinality-01 (AF(potential( ( 3 ) <= (tk(P678)) )))
PROPERTY: DLCround-PT-09b-CTLCardinality-02 (! ( ( (AG( potential( ( 2 ) <= (tk(P1281)) ))) | (EF(potential( ( 2 ) <= (tk(P2720)) ))) ) | (! (! (! potential( (tk(P2590)) <= (tk(P1622)) )))) ))
PROPERTY: DLCround-PT-09b-CTLCardinality-03 (AF(potential( ( 2 ) <= (tk(P1968)) )))
PROPERTY: DLCround-PT-09b-CTLCardinality-04 (! (EF(( ( potential( ( 3 ) <= (tk(P2621)) ) | potential( ( 1 ) <= (tk(P198)) ) ) & ( potential( (tk(P417)) <= (tk(P1741)) ) | potential( (tk(P2181)) <= (tk(P3058)) ) ) ))))
PROPERTY: DLCround-PT-09b-CTLCardinality-05 (! ( ( (EF(potential( ( 1 ) <= (tk(P1997)) ))) & (AG( potential( (tk(P1786)) <= (tk(P228)) ))) ) & (EF((! potential( ( 1 ) <= (tk(P1925)) )))) ))
PROPERTY: DLCround-PT-09b-CTLCardinality-06 (! (AF((AF(potential( ( 3 ) <= (tk(P588)) ))))))
PROPERTY: DLCround-PT-09b-CTLCardinality-07 (EU( (EF(potential( (tk(P856)) <= (tk(P1704)) ))),( ( potential( (tk(P1764)) <= (tk(P2087)) ) & potential( ( 2 ) <= (tk(P2039)) ) ) & ( potential( (tk(P3090)) <= (tk(P2659)) ) & potential( (tk(P1959)) <= (tk(P2476)) ) ) ) ))
PROPERTY: DLCround-PT-09b-CTLCardinality-08 (EF(potential( ( 2 ) <= (tk(P421)) )))
PROPERTY: DLCround-PT-09b-CTLCardinality-09 (EU( (! ( potential( (tk(P983)) <= (tk(P2764)) ) | potential( ( 2 ) <= (tk(P1476)) ) )),(EF(potential( ( 1 ) <= (tk(P918)) ))) ))
PROPERTY: DLCround-PT-09b-CTLCardinality-10 (AU( (AG( potential( (tk(P2201)) <= (tk(P659)) ))),(EG( potential( ( 2 ) <= (tk(P1556)) ))) ))
PROPERTY: DLCround-PT-09b-CTLCardinality-11 (EG( potential( (tk(P1634)) <= (tk(P3119)) )))
PROPERTY: DLCround-PT-09b-CTLCardinality-12 (AG( (AG( (! potential( ( 3 ) <= (tk(P1951)) ))))))
PROPERTY: DLCround-PT-09b-CTLCardinality-13 (EG( ( potential( (tk(P1872)) <= (tk(P2721)) ) | ( ( potential( (tk(P2338)) <= (tk(P269)) ) | potential( (tk(P3430)) <= (tk(P112)) ) ) & potential( ( 1 ) <= (tk(P902)) ) ) )))
PROPERTY: DLCround-PT-09b-CTLCardinality-14 (AF((! (AF(potential( ( 3 ) <= (tk(P874)) ))))))
PROPERTY: DLCround-PT-09b-CTLCardinality-15 ( ( (AX( potential( ( 2 ) <= (tk(P2292)) ))) & (EX( (! potential( ( 2 ) <= (tk(P251)) )))) ) | (AG( (AG( potential( (tk(P1380)) <= (tk(P856)) ))))) )

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="DLCround-PT-09b"
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 DLCround-PT-09b, 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-158902542300555"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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