fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r048-ebro-158902542100356
Last Updated
Jun 28, 2020

About the Execution of smart for DLCflexbar-PT-3a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15766.190 1860524.00 1860090.00 0.00 [undef] Cannot compute

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 2.7K Mar 30 02:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 30 02:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 17:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 17:14 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.4K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 09:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 09:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 08:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 08:48 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 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 996K 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-3a-CTLFireability-00
FORMULA_NAME DLCflexbar-PT-3a-CTLFireability-01
FORMULA_NAME DLCflexbar-PT-3a-CTLFireability-02
FORMULA_NAME DLCflexbar-PT-3a-CTLFireability-03
FORMULA_NAME DLCflexbar-PT-3a-CTLFireability-04
FORMULA_NAME DLCflexbar-PT-3a-CTLFireability-05
FORMULA_NAME DLCflexbar-PT-3a-CTLFireability-06
FORMULA_NAME DLCflexbar-PT-3a-CTLFireability-07
FORMULA_NAME DLCflexbar-PT-3a-CTLFireability-08
FORMULA_NAME DLCflexbar-PT-3a-CTLFireability-09
FORMULA_NAME DLCflexbar-PT-3a-CTLFireability-10
FORMULA_NAME DLCflexbar-PT-3a-CTLFireability-11
FORMULA_NAME DLCflexbar-PT-3a-CTLFireability-12
FORMULA_NAME DLCflexbar-PT-3a-CTLFireability-13
FORMULA_NAME DLCflexbar-PT-3a-CTLFireability-14
FORMULA_NAME DLCflexbar-PT-3a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589113907431

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 3a
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 581 places, 3891 transitions, 14956 arcs.
AT ITER 0 NEW BEST:: SOT 1438676 SOS 1163956 HAS SOPS 599536 HAS SOUS 123311 HAS SOUPS 58506 WITH SCORE 59669.956
AT ITER 11 NEW BEST:: SOT 1438676 SOS 1163956 HAS SOPS 599536 HAS SOUS 123263 HAS SOUPS 58458 WITH SCORE 59621.956
AT ITER 12 NEW BEST:: SOT 1438590 SOS 1163784 HAS SOPS 599799 HAS SOUS 123090 HAS SOUPS 58372 WITH SCORE 59535.784
AT ITER 36 NEW BEST:: SOT 1437915 SOS 1164910 HAS SOPS 599815 HAS SOUS 122526 HAS SOUPS 57808 WITH SCORE 58972.91
AT ITER 44 NEW BEST:: SOT 1437758 SOS 1164596 HAS SOPS 599936 HAS SOUS 122206 HAS SOUPS 57575 WITH SCORE 58739.596
AT ITER 49 NEW BEST:: SOT 1437014 SOS 1166662 HAS SOPS 600442 HAS SOUS 121828 HAS SOUPS 57197 WITH SCORE 58363.662
AT ITER 50 NEW BEST:: SOT 1436822 SOS 1167038 HAS SOPS 600218 HAS SOUS 121712 HAS SOUPS 57041 WITH SCORE 58208.038
AT ITER 55 NEW BEST:: SOT 1436784 SOS 1166962 HAS SOPS 600142 HAS SOUS 121655 HAS SOUPS 56984 WITH SCORE 58150.962
AT ITER 72 NEW BEST:: SOT 1436771 SOS 1164661 HAS SOPS 597841 HAS SOUS 121655 HAS SOUPS 56984 WITH SCORE 58148.661
AT ITER 73 NEW BEST:: SOT 1436711 SOS 1164511 HAS SOPS 597691 HAS SOUS 121595 HAS SOUPS 56924 WITH SCORE 58088.511
AT ITER 75 NEW BEST:: SOT 1436239 SOS 1163057 HAS SOPS 597087 HAS SOUS 120864 HAS SOUPS 56363 WITH SCORE 57526.057
AT ITER 83 NEW BEST:: SOT 1435490 SOS 1165148 HAS SOPS 597698 HAS SOUS 120356 HAS SOUPS 55855 WITH SCORE 57020.148
AT ITER 88 NEW BEST:: SOT 1435384 SOS 1164827 HAS SOPS 597922 HAS SOUS 120141 HAS SOUPS 55749 WITH SCORE 56913.827
AT ITER 114 NEW BEST:: SOT 1435384 SOS 1164827 HAS SOPS 597922 HAS SOUS 120111 HAS SOUPS 55719 WITH SCORE 56883.827
AT ITER 115 NEW BEST:: SOT 1435275 SOS 1164219 HAS SOPS 597889 HAS SOUS 119849 HAS SOUPS 55572 WITH SCORE 56736.219
AT ITER 123 NEW BEST:: SOT 1435075 SOS 1164655 HAS SOPS 597665 HAS SOUS 119714 HAS SOUPS 55393 WITH SCORE 56557.655
AT ITER 128 NEW BEST:: SOT 1435019 SOS 1164695 HAS SOPS 597585 HAS SOUS 119682 HAS SOUPS 55353 WITH SCORE 56517.695
AT ITER 142 NEW BEST:: SOT 1434809 SOS 1164921 HAS SOPS 597301 HAS SOUS 119560 HAS SOUPS 55197 WITH SCORE 56361.921
AT ITER 152 NEW BEST:: SOT 1434340 SOS 1167350 HAS SOPS 598290 HAS SOUS 119391 HAS SOUPS 55028 WITH SCORE 56195.35
AT ITER 154 NEW BEST:: SOT 1434340 SOS 1167350 HAS SOPS 598290 HAS SOUS 119331 HAS SOUPS 54968 WITH SCORE 56135.35
AT ITER 160 NEW BEST:: SOT 1434322 SOS 1167314 HAS SOPS 598329 HAS SOUS 119295 HAS SOUPS 54947 WITH SCORE 56114.314
AT ITER 174 NEW BEST:: SOT 1434277 SOS 1167224 HAS SOPS 598464 HAS SOUS 119160 HAS SOUPS 54857 WITH SCORE 56024.224
AT ITER 175 NEW BEST:: SOT 1433866 SOS 1165871 HAS SOPS 597996 HAS SOUS 118524 HAS SOUPS 54398 WITH SCORE 55563.871
AT ITER 233 NEW BEST:: SOT 1433456 SOS 1164901 HAS SOPS 597776 HAS SOUS 118126 HAS SOUPS 54150 WITH SCORE 55314.901
AT ITER 250 NEW BEST:: SOT 1433096 SOS 1167898 HAS SOPS 599143 HAS SOUS 118002 HAS SOUPS 54026 WITH SCORE 55193.898
AT ITER 260 NEW BEST:: SOT 1433012 SOS 1167730 HAS SOPS 599400 HAS SOUS 117833 HAS SOUPS 53942 WITH SCORE 55109.73
AT ITER 262 NEW BEST:: SOT 1433012 SOS 1167730 HAS SOPS 599400 HAS SOUS 117789 HAS SOUPS 53898 WITH SCORE 55065.73
AT ITER 268 NEW BEST:: SOT 1433012 SOS 1167730 HAS SOPS 599400 HAS SOUS 117757 HAS SOUPS 53866 WITH SCORE 55033.73
AT ITER 275 NEW BEST:: SOT 1432966 SOS 1167584 HAS SOPS 599524 HAS SOUS 117657 HAS SOUPS 53820 WITH SCORE 54987.584
AT ITER 291 NEW BEST:: SOT 1432185 SOS 1170945 HAS SOPS 600215 HAS SOUS 117252 HAS SOUPS 53237 WITH SCORE 54407.945
AT ITER 309 NEW BEST:: SOT 1432179 SOS 1170933 HAS SOPS 600203 HAS SOUS 117243 HAS SOUPS 53228 WITH SCORE 54398.933
AT ITER 324 NEW BEST:: SOT 1432159 SOS 1170793 HAS SOPS 600163 HAS SOUS 117203 HAS SOUPS 53208 WITH SCORE 54378.793
AT ITER 328 NEW BEST:: SOT 1432061 SOS 1170537 HAS SOPS 599907 HAS SOUS 117105 HAS SOUPS 53110 WITH SCORE 54280.537
AT ITER 330 NEW BEST:: SOT 1431993 SOS 1170401 HAS SOPS 599771 HAS SOUS 116971 HAS SOUPS 52976 WITH SCORE 54146.401
AT ITER 332 NEW BEST:: SOT 1431929 SOS 1170109 HAS SOPS 600299 HAS SOUS 116743 HAS SOUPS 52912 WITH SCORE 54082.109
AT ITER 370 NEW BEST:: SOT 1431427 SOS 1171626 HAS SOPS 600746 HAS SOUS 116334 HAS SOUPS 52503 WITH SCORE 53674.626
AT ITER 379 NEW BEST:: SOT 1431427 SOS 1171626 HAS SOPS 600746 HAS SOUS 116274 HAS SOUPS 52443 WITH SCORE 53614.626
AT ITER 384 NEW BEST:: SOT 1431196 SOS 1163212 HAS SOPS 600322 HAS SOUS 115404 HAS SOUPS 51808 WITH SCORE 52971.212
AT ITER 405 NEW BEST:: SOT 1431132 SOS 1162973 HAS SOPS 600638 HAS SOUS 115234 HAS SOUPS 51749 WITH SCORE 52911.973
AT ITER 429 NEW BEST:: SOT 1430329 SOS 1166170 HAS SOPS 601875 HAS SOUS 114675 HAS SOUPS 51190 WITH SCORE 52356.17
AT ITER 437 NEW BEST:: SOT 1430298 SOS 1165978 HAS SOPS 602333 HAS SOUS 114514 HAS SOUPS 51159 WITH SCORE 52324.978
AT ITER 444 NEW BEST:: SOT 1430297 SOS 1165976 HAS SOPS 602031 HAS SOUS 114573 HAS SOUPS 51158 WITH SCORE 52323.976
AT ITER 452 NEW BEST:: SOT 1429553 SOS 1162387 HAS SOPS 602641 HAS SOUS 114445 HAS SOUPS 51030 WITH SCORE 52192.387
AT ITER 455 NEW BEST:: SOT 1429529 SOS 1162339 HAS SOPS 602593 HAS SOUS 114421 HAS SOUPS 51006 WITH SCORE 52168.339
AT ITER 457 NEW BEST:: SOT 1429011 SOS 1163858 HAS SOPS 602812 HAS SOUS 114085 HAS SOUPS 50670 WITH SCORE 51833.858
AT ITER 500 NEW BEST:: SOT 1428461 SOS 1165722 HAS SOPS 603056 HAS SOUS 113859 HAS SOUPS 50336 WITH SCORE 51501.722
AT ITER 516 NEW BEST:: SOT 1428436 SOS 1165672 HAS SOPS 603006 HAS SOUS 113834 HAS SOUPS 50311 WITH SCORE 51476.672
AT ITER 531 NEW BEST:: SOT 1428397 SOS 1165841 HAS SOPS 602980 HAS SOUS 113808 HAS SOUPS 50272 WITH SCORE 51437.841
AT ITER 543 NEW BEST:: SOT 1428397 SOS 1165841 HAS SOPS 602980 HAS SOUS 113754 HAS SOUPS 50218 WITH SCORE 51383.841
AT ITER 550 NEW BEST:: SOT 1428117 SOS 1166546 HAS SOPS 602860 HAS SOUS 113803 HAS SOUPS 50212 WITH SCORE 51378.546
AT ITER 581 NEW BEST:: SOT 1427593 SOS 1169906 HAS SOPS 604410 HAS SOUS 113481 HAS SOUPS 49890 WITH SCORE 51059.906
AT ITER 583 NEW BEST:: SOT 1427593 SOS 1169906 HAS SOPS 604410 HAS SOUS 113465 HAS SOUPS 49874 WITH SCORE 51043.906
AT ITER 607 NEW BEST:: SOT 1427593 SOS 1169906 HAS SOPS 604410 HAS SOUS 113405 HAS SOUPS 49814 WITH SCORE 50983.906
AT ITER 624 NEW BEST:: SOT 1425109 SOS 1166516 HAS SOPS 602814 HAS SOUS 113290 HAS SOUPS 49807 WITH SCORE 50973.516
AT ITER 630 NEW BEST:: SOT 1424654 SOS 1165425 HAS SOPS 602628 HAS SOUS 112990 HAS SOUPS 49688 WITH SCORE 50853.425
AT ITER 639 NEW BEST:: SOT 1422300 SOS 1162197 HAS SOPS 600974 HAS SOUS 112815 HAS SOUPS 49564 WITH SCORE 50726.197
AT ITER 644 NEW BEST:: SOT 1422236 SOS 1161364 HAS SOPS 600931 HAS SOUS 112603 HAS SOUPS 49510 WITH SCORE 50671.364
AT ITER 647 NEW BEST:: SOT 1422201 SOS 1157372 HAS SOPS 596939 HAS SOUS 112586 HAS SOUPS 49493 WITH SCORE 50650.372
AT ITER 652 NEW BEST:: SOT 1421494 SOS 1157973 HAS SOPS 596616 HAS SOUS 112508 HAS SOUPS 49415 WITH SCORE 50572.973
AT ITER 673 NEW BEST:: SOT 1421484 SOS 1157973 HAS SOPS 596616 HAS SOUS 112503 HAS SOUPS 49410 WITH SCORE 50567.973
AT ITER 674 NEW BEST:: SOT 1421345 SOS 1157695 HAS SOPS 596338 HAS SOUS 112341 HAS SOUPS 49248 WITH SCORE 50405.695
AT ITER 680 NEW BEST:: SOT 1421057 SOS 1157060 HAS SOPS 595703 HAS SOUS 112230 HAS SOUPS 49137 WITH SCORE 50294.06
AT ITER 685 NEW BEST:: SOT 1421055 SOS 1157056 HAS SOPS 595384 HAS SOUS 112235 HAS SOUPS 49079 WITH SCORE 50236.056
AT ITER 691 NEW BEST:: SOT 1421048 SOS 1157042 HAS SOPS 595370 HAS SOUS 112221 HAS SOUPS 49065 WITH SCORE 50222.042
AT ITER 706 NEW BEST:: SOT 1421188 SOS 1163150 HAS SOPS 595086 HAS SOUS 112079 HAS SOUPS 48735 WITH SCORE 49898.15
AT ITER 710 NEW BEST:: SOT 1421188 SOS 1163150 HAS SOPS 595086 HAS SOUS 112051 HAS SOUPS 48707 WITH SCORE 49870.15
AT ITER 723 NEW BEST:: SOT 1421088 SOS 1162950 HAS SOPS 595386 HAS SOUS 111863 HAS SOUPS 48619 WITH SCORE 49781.95
AT ITER 726 NEW BEST:: SOT 1421088 SOS 1162705 HAS SOPS 595386 HAS SOUS 111814 HAS SOUPS 48619 WITH SCORE 49781.705
AT ITER 772 NEW BEST:: SOT 1419608 SOS 1160538 HAS SOPS 594331 HAS SOUS 111761 HAS SOUPS 48585 WITH SCORE 49745.538
AT ITER 779 NEW BEST:: SOT 1419550 SOS 1160393 HAS SOPS 594186 HAS SOUS 111703 HAS SOUPS 48527 WITH SCORE 49687.393
AT ITER 785 NEW BEST:: SOT 1419586 SOS 1160160 HAS SOPS 593953 HAS SOUS 111685 HAS SOUPS 48509 WITH SCORE 49669.16
AT ITER 787 NEW BEST:: SOT 1419342 SOS 1159608 HAS SOPS 593401 HAS SOUS 111569 HAS SOUPS 48393 WITH SCORE 49552.608
AT ITER 792 NEW BEST:: SOT 1419342 SOS 1159368 HAS SOPS 593401 HAS SOUS 111521 HAS SOUPS 48393 WITH SCORE 49552.368
AT ITER 797 NEW BEST:: SOT 1419030 SOS 1159044 HAS SOPS 593077 HAS SOUS 111422 HAS SOUPS 48294 WITH SCORE 49453.044
AT ITER 804 NEW BEST:: SOT 1419030 SOS 1159044 HAS SOPS 593077 HAS SOUS 111362 HAS SOUPS 48234 WITH SCORE 49393.044
AT ITER 817 NEW BEST:: SOT 1418582 SOS 1160339 HAS SOPS 593142 HAS SOUS 111149 HAS SOUPS 47939 WITH SCORE 49099.339
AT ITER 821 NEW BEST:: SOT 1418582 SOS 1160354 HAS SOPS 593142 HAS SOUS 111149 HAS SOUPS 47936 WITH SCORE 49096.354
AT ITER 875 NEW BEST:: SOT 1418212 SOS 1161708 HAS SOPS 593416 HAS SOUS 111059 HAS SOUPS 47846 WITH SCORE 49007.708
AT ITER 914 NEW BEST:: SOT 1418212 SOS 1161708 HAS SOPS 593416 HAS SOUS 111053 HAS SOUPS 47840 WITH SCORE 49001.708
AT ITER 918 NEW BEST:: SOT 1418077 SOS 1163649 HAS SOPS 594127 HAS SOUS 111111 HAS SOUPS 47816 WITH SCORE 48979.649
AT ITER 920 NEW BEST:: SOT 1418077 SOS 1163649 HAS SOPS 594127 HAS SOUS 111063 HAS SOUPS 47768 WITH SCORE 48931.649
AT ITER 922 NEW BEST:: SOT 1418015 SOS 1163297 HAS SOPS 593775 HAS SOUS 111001 HAS SOUPS 47706 WITH SCORE 48869.297
AT ITER 930 NEW BEST:: SOT 1417997 SOS 1163208 HAS SOPS 593686 HAS SOUS 110983 HAS SOUPS 47688 WITH SCORE 48851.208
AT ITER 938 NEW BEST:: SOT 1417925 SOS 1163568 HAS SOPS 593866 HAS SOUS 110929 HAS SOUPS 47634 WITH SCORE 48797.568
AT ITER 947 NEW BEST:: SOT 1417925 SOS 1163568 HAS SOPS 593866 HAS SOUS 110889 HAS SOUPS 47594 WITH SCORE 48757.568
AT ITER 972 NEW BEST:: SOT 1417925 SOS 1163568 HAS SOPS 593866 HAS SOUS 110855 HAS SOUPS 47560 WITH SCORE 48723.568
AT ITER 982 NEW BEST:: SOT 1417708 SOS 1162567 HAS SOPS 593270 HAS SOUS 110827 HAS SOUPS 47532 WITH SCORE 48694.567
AT ITER 991 NEW BEST:: SOT 1417708 SOS 1162455 HAS SOPS 593158 HAS SOUS 110827 HAS SOUPS 47532 WITH SCORE 48694.455
AT ITER 993 NEW BEST:: SOT 1417915 SOS 1161834 HAS SOPS 592987 HAS SOUS 110821 HAS SOUPS 47526 WITH SCORE 48687.834
AT ITER 1000 NEW BEST:: SOT 1417915 SOS 1161834 HAS SOPS 592987 HAS SOUS 110819 HAS SOUPS 47524 WITH SCORE 48685.834
AT ITER 1022 NEW BEST:: SOT 1417993 SOS 1155012 HAS SOPS 587525 HAS SOUS 110777 HAS SOUPS 47522 WITH SCORE 48677.012
AT ITER 1036 NEW BEST:: SOT 1417407 SOS 1157046 HAS SOPS 588239 HAS SOUS 110448 HAS SOUPS 47193 WITH SCORE 48350.046
AT ITER 1040 NEW BEST:: SOT 1417273 SOS 1156778 HAS SOPS 587631 HAS SOUS 110382 HAS SOUPS 47059 WITH SCORE 48215.778
AT ITER 1047 NEW BEST:: SOT 1415064 SOS 1153581 HAS SOPS 586172 HAS SOUS 110167 HAS SOUPS 46977 WITH SCORE 48130.581
AT ITER 1052 NEW BEST:: SOT 1415065 SOS 1153617 HAS SOPS 586208 HAS SOUS 110154 HAS SOUPS 46964 WITH SCORE 48117.617
AT ITER 1060 NEW BEST:: SOT 1414878 SOS 1153843 HAS SOPS 586434 HAS SOUS 109892 HAS SOUPS 46702 WITH SCORE 47855.843
AT ITER 1081 NEW BEST:: SOT 1414518 SOS 1152502 HAS SOPS 586128 HAS SOUS 109240 HAS SOUPS 46257 WITH SCORE 47409.502
AT ITER 1110 NEW BEST:: SOT 1414518 SOS 1152502 HAS SOPS 586128 HAS SOUS 109196 HAS SOUPS 46213 WITH SCORE 47365.502
AT ITER 1130 NEW BEST:: SOT 1414492 SOS 1152320 HAS SOPS 586076 HAS SOUS 109092 HAS SOUPS 46135 WITH SCORE 47287.32
AT ITER 1137 NEW BEST:: SOT 1414479 SOS 1152229 HAS SOPS 586050 HAS SOUS 109060 HAS SOUPS 46116 WITH SCORE 47268.229
AT ITER 1138 NEW BEST:: SOT 1414791 SOS 1152671 HAS SOPS 586206 HAS SOUS 109059 HAS SOUPS 46089 WITH SCORE 47241.671
AT ITER 1149 NEW BEST:: SOT 1414791 SOS 1152671 HAS SOPS 586206 HAS SOUS 109005 HAS SOUPS 46035 WITH SCORE 47187.671
AT ITER 1158 NEW BEST:: SOT 1414783 SOS 1152255 HAS SOPS 585790 HAS SOUS 108903 HAS SOUPS 45933 WITH SCORE 47085.255
AT ITER 1163 NEW BEST:: SOT 1414763 SOS 1152165 HAS SOPS 585750 HAS SOUS 108853 HAS SOUPS 45893 WITH SCORE 47045.165
AT ITER 1166 NEW BEST:: SOT 1411370 SOS 1147437 HAS SOPS 583567 HAS SOUS 108700 HAS SOUPS 45881 WITH SCORE 47028.437
AT ITER 1167 NEW BEST:: SOT 1410906 SOS 1146509 HAS SOPS 582639 HAS SOUS 108512 HAS SOUPS 45693 WITH SCORE 46839.509
AT ITER 1229 NEW BEST:: SOT 1410906 SOS 1146509 HAS SOPS 582639 HAS SOUS 108472 HAS SOUPS 45653 WITH SCORE 46799.509
AT ITER 1287 NEW BEST:: SOT 1410730 SOS 1146157 HAS SOPS 582287 HAS SOUS 108420 HAS SOUPS 45601 WITH SCORE 46747.157
AT ITER 1296 NEW BEST:: SOT 1410730 SOS 1145947 HAS SOPS 582287 HAS SOUS 108378 HAS SOUPS 45601 WITH SCORE 46746.947
AT ITER 1297 NEW BEST:: SOT 1410730 SOS 1145947 HAS SOPS 582287 HAS SOUS 108358 HAS SOUPS 45581 WITH SCORE 46726.947
AT ITER 1309 NEW BEST:: SOT 1410730 SOS 1145947 HAS SOPS 582287 HAS SOUS 108356 HAS SOUPS 45579 WITH SCORE 46724.947
AT ITER 1324 NEW BEST:: SOT 1410730 SOS 1145947 HAS SOPS 582287 HAS SOUS 108306 HAS SOUPS 45529 WITH SCORE 46674.947
AT ITER 1343 NEW BEST:: SOT 1410719 SOS 1146305 HAS SOPS 582645 HAS SOUS 108282 HAS SOUPS 45505 WITH SCORE 46651.305
AT ITER 1350 NEW BEST:: SOT 1410439 SOS 1145941 HAS SOPS 582421 HAS SOUS 108226 HAS SOUPS 45449 WITH SCORE 46594.941
AT ITER 1372 NEW BEST:: SOT 1410397 SOS 1145857 HAS SOPS 582442 HAS SOUS 108142 HAS SOUPS 45386 WITH SCORE 46531.857
AT ITER 1378 NEW BEST:: SOT 1410361 SOS 1146185 HAS SOPS 582370 HAS SOUS 108164 HAS SOUPS 45328 WITH SCORE 46474.185
AT ITER 1379 NEW BEST:: SOT 1410361 SOS 1146185 HAS SOPS 582370 HAS SOUS 108158 HAS SOUPS 45322 WITH SCORE 46468.185
AT ITER 1402 NEW BEST:: SOT 1410361 SOS 1146185 HAS SOPS 582370 HAS SOUS 108098 HAS SOUPS 45262 WITH SCORE 46408.185
AT ITER 1409 NEW BEST:: SOT 1410361 SOS 1146070 HAS SOPS 582370 HAS SOUS 108075 HAS SOUPS 45262 WITH SCORE 46408.07
AT ITER 1412 NEW BEST:: SOT 1410361 SOS 1144200 HAS SOPS 582370 HAS SOUS 108020 HAS SOUPS 45262 WITH SCORE 46406.2
AT ITER 1422 NEW BEST:: SOT 1409908 SOS 1144684 HAS SOPS 582161 HAS SOUS 107875 HAS SOUPS 45117 WITH SCORE 46261.684
AT ITER 1425 NEW BEST:: SOT 1407088 SOS 1140704 HAS SOPS 580426 HAS SOUS 107652 HAS SOUPS 45064 WITH SCORE 46204.704
AT ITER 1426 NEW BEST:: SOT 1407066 SOS 1139912 HAS SOPS 580382 HAS SOUS 107580 HAS SOUPS 45014 WITH SCORE 46153.912
AT ITER 1428 NEW BEST:: SOT 1407076 SOS 1140078 HAS SOPS 580337 HAS SOUS 107619 HAS SOUPS 45012 WITH SCORE 46152.078
AT ITER 1443 NEW BEST:: SOT 1407015 SOS 1138418 HAS SOPS 581808 HAS SOUS 107651 HAS SOUPS 45000 WITH SCORE 46138.418
AT ITER 1460 NEW BEST:: SOT 1406709 SOS 1139508 HAS SOPS 581788 HAS SOUS 107715 HAS SOUPS 44990 WITH SCORE 46129.508
AT ITER 1466 NEW BEST:: SOT 1406708 SOS 1139506 HAS SOPS 581816 HAS SOUS 107707 HAS SOUPS 44988 WITH SCORE 46127.506
AT ITER 1468 NEW BEST:: SOT 1406700 SOS 1139778 HAS SOPS 581798 HAS SOUS 107702 HAS SOUPS 44925 WITH SCORE 46064.778
AT ITER 1493 NEW BEST:: SOT 1406547 SOS 1139676 HAS SOPS 581696 HAS SOUS 107700 HAS SOUPS 44923 WITH SCORE 46062.676
AT ITER 1496 NEW BEST:: SOT 1405435 SOS 1138422 HAS SOPS 580964 HAS SOUS 107689 HAS SOUPS 44912 WITH SCORE 46050.422
AT ITER 1499 NEW BEST:: SOT 1405380 SOS 1138727 HAS SOPS 580854 HAS SOUS 107678 HAS SOUPS 44818 WITH SCORE 45956.727
AT ITER 1528 NEW BEST:: SOT 1405277 SOS 1138106 HAS SOPS 580648 HAS SOUS 107472 HAS SOUPS 44695 WITH SCORE 45833.106
AT ITER 1533 NEW BEST:: SOT 1404803 SOS 1137059 HAS SOPS 580096 HAS SOUS 107141 HAS SOUPS 44463 WITH SCORE 45600.059
AT ITER 1539 NEW BEST:: SOT 1404795 SOS 1137099 HAS SOPS 579856 HAS SOUS 107150 HAS SOUPS 44416 WITH SCORE 45553.099
AT ITER 1541 NEW BEST:: SOT 1404527 SOS 1136474 HAS SOPS 579676 HAS SOUS 106994 HAS SOUPS 44349 WITH SCORE 45485.474
AT ITER 1553 NEW BEST:: SOT 1404441 SOS 1136302 HAS SOPS 579774 HAS SOUS 106876 HAS SOUPS 44285 WITH SCORE 45421.302
AT ITER 1556 NEW BEST:: SOT 1404435 SOS 1136250 HAS SOPS 579722 HAS SOUS 106860 HAS SOUPS 44269 WITH SCORE 45405.25
AT ITER 1574 NEW BEST:: SOT 1404433 SOS 1136256 HAS SOPS 579718 HAS SOUS 106860 HAS SOUPS 44267 WITH SCORE 45403.256
AT ITER 1576 NEW BEST:: SOT 1405382 SOS 1137573 HAS SOPS 580249 HAS SOUS 106670 HAS SOUPS 44077 WITH SCORE 45214.573
AT ITER 1582 NEW BEST:: SOT 1405382 SOS 1137573 HAS SOPS 580249 HAS SOUS 106650 HAS SOUPS 44057 WITH SCORE 45194.573
AT ITER 1601 NEW BEST:: SOT 1405382 SOS 1137573 HAS SOPS 580249 HAS SOUS 106632 HAS SOUPS 44039 WITH SCORE 45176.573
AT ITER 1692 NEW BEST:: SOT 1404947 SOS 1138203 HAS SOPS 579979 HAS SOUS 106482 HAS SOUPS 43829 WITH SCORE 44967.203
AT ITER 1740 NEW BEST:: SOT 1405379 SOS 1138419 HAS SOPS 580195 HAS SOUS 106374 HAS SOUPS 43775 WITH SCORE 44913.419
AT ITER 1747 NEW BEST:: SOT 1405323 SOS 1138307 HAS SOPS 580083 HAS SOUS 106313 HAS SOUPS 43714 WITH SCORE 44852.307
AT ITER 1787 NEW BEST:: SOT 1405323 SOS 1138307 HAS SOPS 580083 HAS SOUS 106253 HAS SOUPS 43654 WITH SCORE 44792.307
AT ITER 1788 NEW BEST:: SOT 1405041 SOS 1140204 HAS SOPS 580860 HAS SOUS 106144 HAS SOUPS 43545 WITH SCORE 44685.204
AT ITER 1810 NEW BEST:: SOT 1405022 SOS 1139961 HAS SOPS 580822 HAS SOUS 106084 HAS SOUPS 43526 WITH SCORE 44665.961
AT ITER 1835 NEW BEST:: SOT 1405022 SOS 1139961 HAS SOPS 580822 HAS SOUS 106068 HAS SOUPS 43510 WITH SCORE 44649.961
AT ITER 1843 NEW BEST:: SOT 1404782 SOS 1140999 HAS SOPS 580870 HAS SOUS 106062 HAS SOUPS 43438 WITH SCORE 44578.999
AT ITER 1844 NEW BEST:: SOT 1404750 SOS 1140935 HAS SOPS 580641 HAS SOUS 106063 HAS SOUPS 43406 WITH SCORE 44546.935
AT ITER 1856 NEW BEST:: SOT 1404706 SOS 1140357 HAS SOPS 580588 HAS SOUS 105943 HAS SOUPS 43391 WITH SCORE 44531.357
AT ITER 1865 NEW BEST:: SOT 1404706 SOS 1140357 HAS SOPS 580588 HAS SOUS 105929 HAS SOUPS 43377 WITH SCORE 44517.357
AT ITER 1877 NEW BEST:: SOT 1404686 SOS 1139637 HAS SOPS 580548 HAS SOUS 105909 HAS SOUPS 43377 WITH SCORE 44516.637
AT ITER 1902 NEW BEST:: SOT 1404686 SOS 1139637 HAS SOPS 580548 HAS SOUS 105905 HAS SOUPS 43373 WITH SCORE 44512.637
AT ITER 1916 NEW BEST:: SOT 1404686 SOS 1139631 HAS SOPS 580572 HAS SOUS 105899 HAS SOUPS 43373 WITH SCORE 44512.631
AT ITER 1955 NEW BEST:: SOT 1404632 SOS 1139203 HAS SOPS 580464 HAS SOUS 105781 HAS SOUPS 43319 WITH SCORE 44458.203
AT ITER 1960 NEW BEST:: SOT 1404631 SOS 1139201 HAS SOPS 580492 HAS SOUS 105774 HAS SOUPS 43318 WITH SCORE 44457.201
AT ITER 2034 NEW BEST:: SOT 1404606 SOS 1139163 HAS SOPS 580480 HAS SOUS 105749 HAS SOUPS 43306 WITH SCORE 44445.163
AT ITER 2059 NEW BEST:: SOT 1404551 SOS 1139120 HAS SOPS 580437 HAS SOUS 105682 HAS SOUPS 43239 WITH SCORE 44378.12
AT ITER 2065 NEW BEST:: SOT 1404551 SOS 1139125 HAS SOPS 580442 HAS SOUS 105677 HAS SOUPS 43234 WITH SCORE 44373.125
AT ITER 2068 NEW BEST:: SOT 1401861 SOS 1135387 HAS SOPS 578746 HAS SOUS 105501 HAS SOUPS 43202 WITH SCORE 44337.387
AT ITER 2087 NEW BEST:: SOT 1401861 SOS 1135387 HAS SOPS 578746 HAS SOUS 105489 HAS SOUPS 43190 WITH SCORE 44325.387
AT ITER 2128 NEW BEST:: SOT 1401861 SOS 1135387 HAS SOPS 578746 HAS SOUS 105479 HAS SOUPS 43180 WITH SCORE 44315.387
AT ITER 2135 NEW BEST:: SOT 1401877 SOS 1135131 HAS SOPS 578746 HAS SOUS 105479 HAS SOUPS 43180 WITH SCORE 44315.131
AT ITER 2137 NEW BEST:: SOT 1402141 SOS 1135428 HAS SOPS 579043 HAS SOUS 105413 HAS SOUPS 43147 WITH SCORE 44282.428
AT ITER 2170 NEW BEST:: SOT 1402090 SOS 1135377 HAS SOPS 578992 HAS SOUS 105332 HAS SOUPS 43066 WITH SCORE 44201.377
AT ITER 2178 NEW BEST:: SOT 1402090 SOS 1135337 HAS SOPS 578952 HAS SOUS 105328 HAS SOUPS 43062 WITH SCORE 44197.337
AT ITER 2182 NEW BEST:: SOT 1399158 SOS 1131758 HAS SOPS 576642 HAS SOUS 105360 HAS SOUPS 43009 WITH SCORE 44140.758
AT ITER 2183 NEW BEST:: SOT 1399158 SOS 1131758 HAS SOPS 576642 HAS SOUS 105344 HAS SOUPS 42993 WITH SCORE 44124.758
AT ITER 2222 NEW BEST:: SOT 1397879 SOS 1126800 HAS SOPS 574834 HAS SOUS 105115 HAS SOUPS 42914 WITH SCORE 44040.8
AT ITER 2241 NEW BEST:: SOT 1397879 SOS 1126800 HAS SOPS 574834 HAS SOUS 105095 HAS SOUPS 42894 WITH SCORE 44020.8
AT ITER 2253 NEW BEST:: SOT 1396612 SOS 1125423 HAS SOPS 574039 HAS SOUS 104992 HAS SOUPS 42791 WITH SCORE 43916.423
AT ITER 2259 NEW BEST:: SOT 1396605 SOS 1125387 HAS SOPS 574016 HAS SOUS 104991 HAS SOUPS 42790 WITH SCORE 43915.387
AT ITER 2284 NEW BEST:: SOT 1396614 SOS 1126188 HAS SOPS 574027 HAS SOUS 105146 HAS SOUPS 42787 WITH SCORE 43913.188
AT ITER 2308 NEW BEST:: SOT 1396614 SOS 1126188 HAS SOPS 574027 HAS SOUS 105090 HAS SOUPS 42731 WITH SCORE 43857.188
AT ITER 2325 NEW BEST:: SOT 1396502 SOS 1125964 HAS SOPS 573803 HAS SOUS 104939 HAS SOUPS 42580 WITH SCORE 43705.964
AT ITER 2348 NEW BEST:: SOT 1396474 SOS 1124872 HAS SOPS 573323 HAS SOUS 104897 HAS SOUPS 42556 WITH SCORE 43680.872
AT ITER 2366 NEW BEST:: SOT 1396438 SOS 1124728 HAS SOPS 573179 HAS SOUS 104861 HAS SOUPS 42520 WITH SCORE 43644.728
AT ITER 2373 NEW BEST:: SOT 1396371 SOS 1126211 HAS SOPS 574072 HAS SOUS 104853 HAS SOUPS 42512 WITH SCORE 43638.211
AT ITER 2392 NEW BEST:: SOT 1396767 SOS 1126772 HAS SOPS 574270 HAS SOUS 104828 HAS SOUPS 42454 WITH SCORE 43580.772
AT ITER 2446 NEW BEST:: SOT 1396675 SOS 1127592 HAS SOPS 574610 HAS SOUS 104784 HAS SOUPS 42410 WITH SCORE 43537.592
AT ITER 2450 NEW BEST:: SOT 1396452 SOS 1127962 HAS SOPS 574610 HAS SOUS 104682 HAS SOUPS 42308 WITH SCORE 43435.962
AT ITER 2484 NEW BEST:: SOT 1396450 SOS 1127958 HAS SOPS 574606 HAS SOUS 104680 HAS SOUPS 42306 WITH SCORE 43433.958
AT ITER 2493 NEW BEST:: SOT 1396450 SOS 1127958 HAS SOPS 574606 HAS SOUS 104648 HAS SOUPS 42274 WITH SCORE 43401.958
AT ITER 2494 NEW BEST:: SOT 1395903 SOS 1126714 HAS SOPS 574112 HAS SOUS 104227 HAS SOUPS 42003 WITH SCORE 43129.714
AT ITER 2499 NEW BEST:: SOT 1395754 SOS 1127405 HAS SOPS 574158 HAS SOUS 104183 HAS SOUPS 41916 WITH SCORE 43043.405
AT ITER 2537 NEW BEST:: SOT 1395754 SOS 1127405 HAS SOPS 574158 HAS SOUS 104169 HAS SOUPS 41902 WITH SCORE 43029.405
AT ITER 2547 NEW BEST:: SOT 1395618 SOS 1127097 HAS SOPS 574030 HAS SOUS 104109 HAS SOUPS 41878 WITH SCORE 43005.097
AT ITER 2640 NEW BEST:: SOT 1395596 SOS 1127042 HAS SOPS 574041 HAS SOUS 104087 HAS SOUPS 41867 WITH SCORE 42994.042
AT ITER 2668 NEW BEST:: SOT 1395545 SOS 1126940 HAS SOPS 573939 HAS SOUS 103996 HAS SOUPS 41776 WITH SCORE 42902.94
AT ITER 2679 NEW BEST:: SOT 1395420 SOS 1126339 HAS SOPS 573829 HAS SOUS 103822 HAS SOUPS 41698 WITH SCORE 42824.339
AT ITER 2693 NEW BEST:: SOT 1395336 SOS 1126355 HAS SOPS 573845 HAS SOUS 103812 HAS SOUPS 41688 WITH SCORE 42814.355
AT ITER 2700 NEW BEST:: SOT 1395019 SOS 1125479 HAS SOPS 573295 HAS SOUS 103504 HAS SOUPS 41432 WITH SCORE 42557.479
AT ITER 2705 NEW BEST:: SOT 1395019 SOS 1125479 HAS SOPS 573295 HAS SOUS 103456 HAS SOUPS 41384 WITH SCORE 42509.479
AT ITER 2709 NEW BEST:: SOT 1395019 SOS 1125479 HAS SOPS 573295 HAS SOUS 103442 HAS SOUPS 41370 WITH SCORE 42495.479
AT ITER 2725 NEW BEST:: SOT 1393864 SOS 1123820 HAS SOPS 572659 HAS SOUS 103280 HAS SOUPS 41301 WITH SCORE 42424.82
AT ITER 2752 NEW BEST:: SOT 1393444 SOS 1123252 HAS SOPS 572295 HAS SOUS 103226 HAS SOUPS 41247 WITH SCORE 42370.252
AT ITER 2754 NEW BEST:: SOT 1394784 SOS 1125026 HAS SOPS 573027 HAS SOUS 103169 HAS SOUPS 41134 WITH SCORE 42259.026
AT ITER 2771 NEW BEST:: SOT 1394784 SOS 1125026 HAS SOPS 573027 HAS SOUS 103156 HAS SOUPS 41121 WITH SCORE 42246.026
AT ITER 2778 NEW BEST:: SOT 1394635 SOS 1124327 HAS SOPS 572609 HAS SOUS 103138 HAS SOUPS 41103 WITH SCORE 42227.327
AT ITER 2781 NEW BEST:: SOT 1394635 SOS 1124327 HAS SOPS 572609 HAS SOUS 103128 HAS SOUPS 41093 WITH SCORE 42217.327
AT ITER 2787 NEW BEST:: SOT 1394957 SOS 1125356 HAS SOPS 573008 HAS SOUS 103156 HAS SOUPS 41091 WITH SCORE 42216.356
AT ITER 2796 NEW BEST:: SOT 1394949 SOS 1125064 HAS SOPS 572716 HAS SOUS 103156 HAS SOUPS 41091 WITH SCORE 42216.064
AT ITER 2832 NEW BEST:: SOT 1394936 SOS 1124973 HAS SOPS 572690 HAS SOUS 103130 HAS SOUPS 41078 WITH SCORE 42202.973
AT ITER 2837 NEW BEST:: SOT 1394936 SOS 1124973 HAS SOPS 572690 HAS SOUS 103128 HAS SOUPS 41076 WITH SCORE 42200.973
AT ITER 2852 NEW BEST:: SOT 1394552 SOS 1124184 HAS SOPS 571901 HAS SOUS 103050 HAS SOUPS 40998 WITH SCORE 42122.184
AT ITER 2862 NEW BEST:: SOT 1394552 SOS 1124184 HAS SOPS 571901 HAS SOUS 103046 HAS SOUPS 40994 WITH SCORE 42118.184
AT ITER 2863 NEW BEST:: SOT 1394548 SOS 1124174 HAS SOPS 571896 HAS SOUS 103040 HAS SOUPS 40989 WITH SCORE 42113.174
AT ITER 2887 NEW BEST:: SOT 1394548 SOS 1124174 HAS SOPS 571896 HAS SOUS 103002 HAS SOUPS 40951 WITH SCORE 42075.174
AT ITER 2893 NEW BEST:: SOT 1394414 SOS 1121899 HAS SOPS 570791 HAS SOUS 102890 HAS SOUPS 40917 WITH SCORE 42038.899
AT ITER 2921 NEW BEST:: SOT 1394141 SOS 1121588 HAS SOPS 570622 HAS SOUS 102908 HAS SOUPS 40913 WITH SCORE 42034.588
AT ITER 2932 NEW BEST:: SOT 1394351 SOS 1122488 HAS SOPS 570892 HAS SOUS 102908 HAS SOUPS 40883 WITH SCORE 42005.488
AT ITER 2957 NEW BEST:: SOT 1394377 SOS 1122553 HAS SOPS 570892 HAS SOUS 102908 HAS SOUPS 40870 WITH SCORE 41992.553
AT ITER 2981 NEW BEST:: SOT 1394377 SOS 1122553 HAS SOPS 570892 HAS SOUS 102848 HAS SOUPS 40810 WITH SCORE 41932.553
AT ITER 2990 NEW BEST:: SOT 1394760 SOS 1123483 HAS SOPS 571002 HAS SOUS 102961 HAS SOUPS 40759 WITH SCORE 41882.483
AT ITER 3033 NEW BEST:: SOT 1394368 SOS 1122895 HAS SOPS 570722 HAS SOUS 102877 HAS SOUPS 40703 WITH SCORE 41825.895
AT ITER 3049 NEW BEST:: SOT 1394597 SOS 1123106 HAS SOPS 570851 HAS SOUS 102800 HAS SOUPS 40648 WITH SCORE 41771.106
AT ITER 3067 NEW BEST:: SOT 1392478 SOS 1120012 HAS SOPS 569592 HAS SOUS 102630 HAS SOUPS 40641 WITH SCORE 41761.012
AT ITER 3118 NEW BEST:: SOT 1392437 SOS 1120137 HAS SOPS 569582 HAS SOUS 102607 HAS SOUPS 40609 WITH SCORE 41729.137
AT ITER 3123 NEW BEST:: SOT 1392523 SOS 1120185 HAS SOPS 569630 HAS SOUS 102578 HAS SOUPS 40580 WITH SCORE 41700.185
AT ITER 3154 NEW BEST:: SOT 1392501 SOS 1120163 HAS SOPS 569608 HAS SOUS 102556 HAS SOUPS 40558 WITH SCORE 41678.163
AT ITER 3169 NEW BEST:: SOT 1392501 SOS 1120163 HAS SOPS 569043 HAS SOUS 102506 HAS SOUPS 40395 WITH SCORE 41515.163
AT ITER 3197 NEW BEST:: SOT 1392501 SOS 1120163 HAS SOPS 569043 HAS SOUS 102490 HAS SOUPS 40379 WITH SCORE 41499.163
AT ITER 3200 NEW BEST:: SOT 1392465 SOS 1120109 HAS SOPS 568899 HAS SOUS 102472 HAS SOUPS 40343 WITH SCORE 41463.109
AT ITER 3216 NEW BEST:: SOT 1392327 SOS 1122301 HAS SOPS 569886 HAS SOUS 102503 HAS SOUPS 40295 WITH SCORE 41417.301
AT ITER 3220 NEW BEST:: SOT 1392327 SOS 1122295 HAS SOPS 569880 HAS SOUS 102503 HAS SOUPS 40295 WITH SCORE 41417.295
AT ITER 3227 NEW BEST:: SOT 1392297 SOS 1122255 HAS SOPS 569840 HAS SOUS 102488 HAS SOUPS 40280 WITH SCORE 41402.255
AT ITER 3264 NEW BEST:: SOT 1392465 SOS 1121326 HAS SOPS 569461 HAS SOUS 102480 HAS SOUPS 40272 WITH SCORE 41393.326
AT ITER 3280 NEW BEST:: SOT 1392451 SOS 1121298 HAS SOPS 569433 HAS SOUS 102452 HAS SOUPS 40244 WITH SCORE 41365.298
AT ITER 3284 NEW BEST:: SOT 1392799 SOS 1121791 HAS SOPS 569607 HAS SOUS 102471 HAS SOUPS 40234 WITH SCORE 41355.791
AT ITER 3294 NEW BEST:: SOT 1391618 SOS 1120273 HAS SOPS 568913 HAS SOUS 102369 HAS SOUPS 40168 WITH SCORE 41288.273
AT ITER 3320 NEW BEST:: SOT 1391618 SOS 1120273 HAS SOPS 568913 HAS SOUS 102347 HAS SOUPS 40146 WITH SCORE 41266.273
AT ITER 3321 NEW BEST:: SOT 1391611 SOS 1120266 HAS SOPS 568906 HAS SOUS 102336 HAS SOUPS 40135 WITH SCORE 41255.266
AT ITER 3327 NEW BEST:: SOT 1391486 SOS 1121856 HAS SOPS 569696 HAS SOUS 102302 HAS SOUPS 40101 WITH SCORE 41222.856
AT ITER 3356 NEW BEST:: SOT 1393943 SOS 1124857 HAS SOPS 571431 HAS SOUS 102251 HAS SOUPS 40085 WITH SCORE 41209.857
AT ITER 3403 NEW BEST:: SOT 1393671 SOS 1124228 HAS SOPS 571227 HAS SOUS 102064 HAS SOUPS 39983 WITH SCORE 41107.228
AT ITER 3411 NEW BEST:: SOT 1393241 SOS 1123824 HAS SOPS 570823 HAS SOUS 102042 HAS SOUPS 39904 WITH SCORE 41027.824
AT ITER 3417 NEW BEST:: SOT 1393125 SOS 1123563 HAS SOPS 570707 HAS SOUS 101955 HAS SOUPS 39846 WITH SCORE 40969.563
AT ITER 3421 NEW BEST:: SOT 1393095 SOS 1123483 HAS SOPS 570627 HAS SOUS 101916 HAS SOUPS 39807 WITH SCORE 40930.483
AT ITER 3445 NEW BEST:: SOT 1393093 SOS 1123481 HAS SOPS 570625 HAS SOUS 101866 HAS SOUPS 39757 WITH SCORE 40880.481
AT ITER 3452 NEW BEST:: SOT 1393087 SOS 1123469 HAS SOPS 570613 HAS SOUS 101860 HAS SOUPS 39751 WITH SCORE 40874.469
AT ITER 3484 NEW BEST:: SOT 1393079 SOS 1123421 HAS SOPS 570605 HAS SOUS 101830 HAS SOUPS 39729 WITH SCORE 40852.421
AT ITER 3495 NEW BEST:: SOT 1393072 SOS 1123435 HAS SOPS 570609 HAS SOUS 101827 HAS SOUPS 39726 WITH SCORE 40849.435
AT ITER 3629 NEW BEST:: SOT 1393072 SOS 1123435 HAS SOPS 570609 HAS SOUS 101817 HAS SOUPS 39716 WITH SCORE 40839.435
AT ITER 3692 NEW BEST:: SOT 1393116 SOS 1123270 HAS SOPS 570499 HAS SOUS 101817 HAS SOUPS 39705 WITH SCORE 40828.27
AT ITER 3695 NEW BEST:: SOT 1393116 SOS 1123270 HAS SOPS 570499 HAS SOUS 101773 HAS SOUPS 39661 WITH SCORE 40784.27
AT ITER 3699 NEW BEST:: SOT 1393100 SOS 1123238 HAS SOPS 570637 HAS SOUS 101731 HAS SOUPS 39653 WITH SCORE 40776.238
AT ITER 3704 NEW BEST:: SOT 1392829 SOS 1122901 HAS SOPS 570498 HAS SOUS 101731 HAS SOUPS 39653 WITH SCORE 40775.901
AT ITER 3710 NEW BEST:: SOT 1392811 SOS 1121664 HAS SOPS 569873 HAS SOUS 101704 HAS SOUPS 39644 WITH SCORE 40765.664
AT ITER 3724 NEW BEST:: SOT 1392409 SOS 1120775 HAS SOPS 569409 HAS SOUS 101371 HAS SOUPS 39396 WITH SCORE 40516.775
AT ITER 3794 NEW BEST:: SOT 1392417 SOS 1120567 HAS SOPS 569321 HAS SOUS 101363 HAS SOUPS 39396 WITH SCORE 40516.567
AT ITER 3851 NEW BEST:: SOT 1392417 SOS 1120567 HAS SOPS 569321 HAS SOUS 101307 HAS SOUPS 39340 WITH SCORE 40460.567
AT ITER 3859 NEW BEST:: SOT 1392417 SOS 1120567 HAS SOPS 569236 HAS SOUS 101290 HAS SOUPS 39306 WITH SCORE 40426.567
AT ITER 3872 NEW BEST:: SOT 1392417 SOS 1120567 HAS SOPS 569236 HAS SOUS 101240 HAS SOUPS 39256 WITH SCORE 40376.567
AT ITER 3885 NEW BEST:: SOT 1392417 SOS 1120567 HAS SOPS 569236 HAS SOUS 101198 HAS SOUPS 39214 WITH SCORE 40334.567
AT ITER 3958 NEW BEST:: SOT 1392349 SOS 1121417 HAS SOPS 569576 HAS SOUS 101198 HAS SOUPS 39180 WITH SCORE 40301.417
AT ITER 3968 NEW BEST:: SOT 1392349 SOS 1121417 HAS SOPS 569576 HAS SOUS 101194 HAS SOUPS 39176 WITH SCORE 40297.417
AT ITER 4013 NEW BEST:: SOT 1392287 SOS 1121386 HAS SOPS 569080 HAS SOUS 101201 HAS SOUPS 39090 WITH SCORE 40211.386
AT ITER 4038 NEW BEST:: SOT 1392287 SOS 1121386 HAS SOPS 569080 HAS SOUS 101189 HAS SOUPS 39078 WITH SCORE 40199.386
AT ITER 4058 NEW BEST:: SOT 1392292 SOS 1121420 HAS SOPS 569053 HAS SOUS 101188 HAS SOUPS 39066 WITH SCORE 40187.42
AT ITER 4107 NEW BEST:: SOT 1392287 SOS 1121075 HAS SOPS 568708 HAS SOUS 101188 HAS SOUPS 39066 WITH SCORE 40187.075
AT ITER 4115 NEW BEST:: SOT 1392276 SOS 1121064 HAS SOPS 568697 HAS SOUS 101177 HAS SOUPS 39055 WITH SCORE 40176.064
AT ITER 4127 NEW BEST:: SOT 1392254 SOS 1120331 HAS SOPS 567964 HAS SOUS 101106 HAS SOUPS 38984 WITH SCORE 40104.331
AT ITER 4138 NEW BEST:: SOT 1392254 SOS 1120331 HAS SOPS 567964 HAS SOUS 101094 HAS SOUPS 38972 WITH SCORE 40092.331
AT ITER 4208 NEW BEST:: SOT 1392160 SOS 1120096 HAS SOPS 567964 HAS SOUS 101047 HAS SOUPS 38972 WITH SCORE 40092.096
AT ITER 4210 NEW BEST:: SOT 1392249 SOS 1120185 HAS SOPS 568005 HAS SOUS 101032 HAS SOUPS 38957 WITH SCORE 40077.185
AT ITER 4227 NEW BEST:: SOT 1392113 SOS 1119990 HAS SOPS 567931 HAS SOUS 101017 HAS SOUPS 38953 WITH SCORE 40072.99
AT ITER 4235 NEW BEST:: SOT 1392185 SOS 1120092 HAS SOPS 567967 HAS SOUS 101011 HAS SOUPS 38941 WITH SCORE 40061.092
AT ITER 4294 NEW BEST:: SOT 1392185 SOS 1120082 HAS SOPS 567967 HAS SOUS 101007 HAS SOUPS 38939 WITH SCORE 40059.082
AT ITER 4295 NEW BEST:: SOT 1392185 SOS 1120082 HAS SOPS 567967 HAS SOUS 100963 HAS SOUPS 38895 WITH SCORE 40015.082
AT ITER 4314 NEW BEST:: SOT 1392168 SOS 1120065 HAS SOPS 567950 HAS SOUS 100946 HAS SOUPS 38878 WITH SCORE 39998.065
AT ITER 4352 NEW BEST:: SOT 1392162 SOS 1119592 HAS SOPS 567987 HAS SOUS 100918 HAS SOUPS 38865 WITH SCORE 39984.592
AT ITER 4358 NEW BEST:: SOT 1392162 SOS 1119592 HAS SOPS 567987 HAS SOUS 100908 HAS SOUPS 38855 WITH SCORE 39974.592
AT ITER 4389 NEW BEST:: SOT 1392126 SOS 1119172 HAS SOPS 567747 HAS SOUS 100874 HAS SOUPS 38833 WITH SCORE 39952.172
AT ITER 4401 NEW BEST:: SOT 1392126 SOS 1119172 HAS SOPS 567747 HAS SOUS 100862 HAS SOUPS 38821 WITH SCORE 39940.172
AT ITER 4453 NEW BEST:: SOT 1392108 SOS 1119112 HAS SOPS 567717 HAS SOUS 100838 HAS SOUPS 38803 WITH SCORE 39922.112
AT ITER 4523 NEW BEST:: SOT 1392068 SOS 1119022 HAS SOPS 567627 HAS SOUS 100821 HAS SOUPS 38786 WITH SCORE 39905.022
AT ITER 4542 NEW BEST:: SOT 1392007 SOS 1118961 HAS SOPS 567566 HAS SOUS 100786 HAS SOUPS 38751 WITH SCORE 39869.961
AT ITER 4546 NEW BEST:: SOT 1391947 SOS 1118679 HAS SOPS 567515 HAS SOUS 100631 HAS SOUPS 38641 WITH SCORE 39759.679000000004
AT ITER 4589 NEW BEST:: SOT 1391945 SOS 1118575 HAS SOPS 567479 HAS SOUS 100626 HAS SOUPS 38638 WITH SCORE 39756.575
AT ITER 4645 NEW BEST:: SOT 1391880 SOS 1118500 HAS SOPS 567434 HAS SOUS 100626 HAS SOUPS 38638 WITH SCORE 39756.5
AT ITER 4653 NEW BEST:: SOT 1391925 SOS 1118590 HAS SOPS 567524 HAS SOUS 100625 HAS SOUPS 38637 WITH SCORE 39755.59
AT ITER 4668 NEW BEST:: SOT 1391887 SOS 1118514 HAS SOPS 567353 HAS SOUS 100587 HAS SOUPS 38580 WITH SCORE 39698.514
AT ITER 4678 NEW BEST:: SOT 1391859 SOS 1118458 HAS SOPS 567297 HAS SOUS 100548 HAS SOUPS 38541 WITH SCORE 39659.458
AT ITER 4693 NEW BEST:: SOT 1391859 SOS 1118458 HAS SOPS 567297 HAS SOUS 100516 HAS SOUPS 38509 WITH SCORE 39627.458
AT ITER 4720 NEW BEST:: SOT 1391850 SOS 1118255 HAS SOPS 567094 HAS SOUS 100475 HAS SOUPS 38468 WITH SCORE 39586.255
AT ITER 4750 NEW BEST:: SOT 1391826 SOS 1118247 HAS SOPS 567064 HAS SOUS 100461 HAS SOUPS 38454 WITH SCORE 39572.247
AT ITER 4788 NEW BEST:: SOT 1391795 SOS 1118185 HAS SOPS 567002 HAS SOUS 100435 HAS SOUPS 38428 WITH SCORE 39546.185
AT ITER 4817 NEW BEST:: SOT 1391845 SOS 1115744 HAS SOPS 565716 HAS SOUS 100254 HAS SOUPS 38324 WITH SCORE 39439.744
AT ITER 4819 NEW BEST:: SOT 1391881 SOS 1115795 HAS SOPS 565734 HAS SOUS 100251 HAS SOUPS 38318 WITH SCORE 39433.795
AT ITER 4829 NEW BEST:: SOT 1391869 SOS 1115866 HAS SOPS 565710 HAS SOUS 100254 HAS SOUPS 38302 WITH SCORE 39417.866
AT ITER 4834 NEW BEST:: SOT 1391789 SOS 1116156 HAS SOPS 565550 HAS SOUS 100273 HAS SOUPS 38231 WITH SCORE 39347.156
AT ITER 4843 NEW BEST:: SOT 1391795 SOS 1116150 HAS SOPS 565544 HAS SOUS 100273 HAS SOUPS 38231 WITH SCORE 39347.15
AT ITER 4848 NEW BEST:: SOT 1391750 SOS 1116045 HAS SOPS 565514 HAS SOUS 100243 HAS SOUPS 38216 WITH SCORE 39332.045
AT ITER 4862 NEW BEST:: SOT 1391720 SOS 1116181 HAS SOPS 565580 HAS SOUS 100241 HAS SOUPS 38214 WITH SCORE 39330.181
AT ITER 4890 NEW BEST:: SOT 1391732 SOS 1116198 HAS SOPS 565586 HAS SOUS 100240 HAS SOUPS 38212 WITH SCORE 39328.198
AT ITER 4901 NEW BEST:: SOT 1391676 SOS 1116870 HAS SOPS 565978 HAS SOUS 100212 HAS SOUPS 38184 WITH SCORE 39300.87
AT ITER 4902 NEW BEST:: SOT 1391676 SOS 1116870 HAS SOPS 565978 HAS SOUS 100174 HAS SOUPS 38146 WITH SCORE 39262.87
AT ITER 4913 NEW BEST:: SOT 1391666 SOS 1116800 HAS SOPS 565958 HAS SOUS 100146 HAS SOUPS 38128 WITH SCORE 39244.8
AT ITER 4922 NEW BEST:: SOT 1391680 SOS 1116835 HAS SOPS 565958 HAS SOUS 100139 HAS SOUPS 38114 WITH SCORE 39230.835
AT ITER 4925 NEW BEST:: SOT 1391648 SOS 1116771 HAS SOPS 565894 HAS SOUS 100089 HAS SOUPS 38064 WITH SCORE 39180.771
AT ITER 4952 NEW BEST:: SOT 1391648 SOS 1116771 HAS SOPS 565894 HAS SOUS 100087 HAS SOUPS 38062 WITH SCORE 39178.771
AT ITER 4964 NEW BEST:: SOT 1391709 SOS 1114203 HAS SOPS 564006 HAS SOUS 100054 HAS SOUPS 38049 WITH SCORE 39163.203
AT ITER 4976 NEW BEST:: SOT 1391497 SOS 1113779 HAS SOPS 563582 HAS SOUS 99997 HAS SOUPS 37992 WITH SCORE 39105.779
AT ITER 4984 NEW BEST:: SOT 1391447 SOS 1113369 HAS SOPS 563482 HAS SOUS 99864 HAS SOUPS 37921 WITH SCORE 39034.369
AT ITER 4993 NEW BEST:: SOT 1391447 SOS 1113474 HAS SOPS 563482 HAS SOUS 99875 HAS SOUPS 37911 WITH SCORE 39024.474
Bounds file is: CTLFireability.xml
PROPERTY: DLCflexbar-PT-3a-CTLFireability-00 ( (AU( ( (! ((potential((tk(P202)>=1))))) | (! ((potential((tk(P183)>=1) & (tk(P373)>=1))))) ) , (! (! ((potential((tk(P234)>=1) & (tk(P407)>=1)))))) )) & (! ( ((potential((tk(P260)>=1) & (tk(P504)>=1)))) | (AU( ((potential((tk(P66)>=1) & (tk(P460)>=1)))) , ((potential((tk(P212)>=1) & (tk(P281)>=1)))) )) )) )
PROPERTY: DLCflexbar-PT-3a-CTLFireability-01 ( (AG( (EF( ( ((potential((tk(P58)>=1) & (tk(P458)>=1)))) & ((potential((tk(P267)>=1) & (tk(P22)>=1)))) ))))) | (! (AF( ( ( ((potential((tk(P535)>=1) & (tk(P120)>=1)))) & ((potential((tk(P239)>=1) & (tk(P395)>=1)))) ) & ( ((potential((tk(P216)>=1) & (tk(P295)>=1)))) & ((potential((tk(P234)>=1) & (tk(P401)>=1)))) ) )))) )
PROPERTY: DLCflexbar-PT-3a-CTLFireability-02 (EF( ( (AG( ((potential((tk(P423)>=1) & (tk(P148)>=1)))))) & ( (! ( ((potential((tk(P236)>=1) & (tk(P387)>=1)))) | ((potential((tk(P252)>=1) & (tk(P549)>=1)))) )) | ( ((potential((tk(P373)>=1) & (tk(P183)>=1)))) | ( ((potential((tk(P210)>=1)))) & ((potential((tk(P244)>=1) & (tk(P471)>=1)))) ) ) ) )))
PROPERTY: DLCflexbar-PT-3a-CTLFireability-03 (! (AG( ( (AX( ((potential((tk(P155)>=1) & (tk(P485)>=1)))))) | (EF( ((potential((tk(P143)>=1) & (tk(P422)>=1)))))) ))))
PROPERTY: DLCflexbar-PT-3a-CTLFireability-04 (EG( ( ( (AF( ((potential((tk(P8)>=1) & (tk(P503)>=1)))))) | ((potential((tk(P230)>=1) & (tk(P344)>=1)))) ) & (EF( ( ((potential((tk(P219)>=1) & (tk(P565)>=1)))) | ((potential((tk(P290)>=1) & (tk(P220)>=1)))) ))) )))
PROPERTY: DLCflexbar-PT-3a-CTLFireability-05 (AG( (EF( ( ( ((potential((tk(P83)>=1)))) | ((potential((tk(P169)>=1) & (tk(P309)>=1)))) ) | ((potential((tk(P57)>=1) & (tk(P516)>=1)))) )))))
PROPERTY: DLCflexbar-PT-3a-CTLFireability-06 (AF( ( ( ( (! ((potential((tk(P8)>=1) & (tk(P502)>=1))))) | ( ((potential((tk(P477)>=1) & (tk(P127)>=1)))) & ((potential((tk(P145)>=1) & (tk(P302)>=1)))) ) ) | (EG( ((potential((tk(P214)>=1) & (tk(P311)>=1)))))) ) & ( (EX( ((potential((tk(P471)>=1) & (tk(P106)>=1)))))) & ((potential((tk(P141)>=1)))) ) )))
PROPERTY: DLCflexbar-PT-3a-CTLFireability-07 (AF( ( ( ( ( ((potential((tk(P227)>=1) & (tk(P369)>=1)))) | ((potential((tk(P93)>=1) & (tk(P408)>=1)))) ) & ((potential((tk(P231)>=1) & (tk(P329)>=1)))) ) & ((potential((tk(P36)>=1) & (tk(P271)>=1)))) ) & ((potential((tk(P240)>=1) & (tk(P563)>=1)))) )))
PROPERTY: DLCflexbar-PT-3a-CTLFireability-08 ( (EF( (AX( (! ((potential((tk(P487)>=1) & (tk(P162)>=1))))))))) & (AU( ( (! ((potential((tk(P259)>=1))))) | ((potential((tk(P250)>=1) & (tk(P444)>=1)))) ) , ( ( ((potential((tk(P225)>=1) & (tk(P339)>=1)))) | ((potential((tk(P222)>=1) & (tk(P349)>=1)))) ) & ((potential((tk(P234)>=1) & (tk(P573)>=1)))) ) )) )
PROPERTY: DLCflexbar-PT-3a-CTLFireability-09 (EG( (EF( ( ((potential((tk(P245)>=1) & (tk(P576)>=1)))) & (! ((potential((tk(P256)>=1) & (tk(P551)>=1))))) )))))
PROPERTY: DLCflexbar-PT-3a-CTLFireability-10 (! (! (EG( ( (! ((potential((tk(P250)>=1) & (tk(P482)>=1))))) & (! ((potential((tk(P220)>=1) & (tk(P274)>=1))))) )))))
PROPERTY: DLCflexbar-PT-3a-CTLFireability-11 (AF( ( (AU( ((potential((tk(P224)>=1) & (tk(P345)>=1)))) , ((potential((tk(P208)>=1)))) )) | ( (EG( ((potential((tk(P222)>=1)))))) | ( ((potential((tk(P241)>=1) & (tk(P429)>=1)))) & ( ((potential((tk(P169)>=1) & (tk(P309)>=1)))) & ((potential((tk(P124)>=1) & (tk(P536)>=1)))) ) ) ) )))
PROPERTY: DLCflexbar-PT-3a-CTLFireability-12 (AF( (EG( ( ((potential((tk(P232)>=1) & (tk(P405)>=1)))) & ( ((potential((tk(P239)>=1) & (tk(P437)>=1)))) & ((potential((tk(P92)>=1) & (tk(P346)>=1)))) ) )))))
PROPERTY: DLCflexbar-PT-3a-CTLFireability-13 ( (AF( ( ( ( ((potential((tk(P82)>=1) & (tk(P404)>=1)))) & ((potential((tk(P106)>=1) & (tk(P351)>=1)))) ) & ( ((potential((tk(P250)>=1)))) | ((potential((tk(P78)>=1) & (tk(P523)>=1)))) ) ) | ( (! ((potential((tk(P29)>=1) & (tk(P509)>=1))))) & ( ((potential((tk(P231)>=1) & (tk(P325)>=1)))) & ((potential((tk(P242)>=1)))) ) ) ))) & (! ((potential((tk(P134)>=1) & (tk(P479)>=1))))) )
PROPERTY: DLCflexbar-PT-3a-CTLFireability-14 ( (AG( (! (AX( ((potential((tk(P138)>=1))))))))) & (AF( ((potential((tk(P224)>=1) & (tk(P345)>=1)))))) )
PROPERTY: DLCflexbar-PT-3a-CTLFireability-15 (EG( (! ( ( ((potential((tk(P240)>=1) & (tk(P410)>=1)))) & ((potential((tk(P16)>=1)))) ) & ((potential((tk(P250)>=1) & (tk(P501)>=1)))) ))))

BK_STOP 1589115767955

--------------------
content from stderr:

/home/mcc/BenchKit/bin/smart.sh: line 117: 484 Segmentation fault ${SMART} ${INPUT_SM}

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-3a"
export BK_EXAMINATION="CTLFireability"
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-3a, examination is CTLFireability"
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-158902542100356"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-3a.tgz
mv DLCflexbar-PT-3a execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;