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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.4M
-rw-r--r-- 1 mcc users 4.2K Mar 30 08:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 30 08:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 21:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 21:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 27 15:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 27 15:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 12:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 12:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 4.2M Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DLCflexbar-PT-6a-CTLFireability-00
FORMULA_NAME DLCflexbar-PT-6a-CTLFireability-01
FORMULA_NAME DLCflexbar-PT-6a-CTLFireability-02
FORMULA_NAME DLCflexbar-PT-6a-CTLFireability-03
FORMULA_NAME DLCflexbar-PT-6a-CTLFireability-04
FORMULA_NAME DLCflexbar-PT-6a-CTLFireability-05
FORMULA_NAME DLCflexbar-PT-6a-CTLFireability-06
FORMULA_NAME DLCflexbar-PT-6a-CTLFireability-07
FORMULA_NAME DLCflexbar-PT-6a-CTLFireability-08
FORMULA_NAME DLCflexbar-PT-6a-CTLFireability-09
FORMULA_NAME DLCflexbar-PT-6a-CTLFireability-10
FORMULA_NAME DLCflexbar-PT-6a-CTLFireability-11
FORMULA_NAME DLCflexbar-PT-6a-CTLFireability-12
FORMULA_NAME DLCflexbar-PT-6a-CTLFireability-13
FORMULA_NAME DLCflexbar-PT-6a-CTLFireability-14
FORMULA_NAME DLCflexbar-PT-6a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589117444313

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 6a
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: 2069 places, 16077 transitions, 63325 arcs.
AT ITER 0 NEW BEST:: SOT 19249711 SOS 16518533 HAS SOPS 7997309 HAS SOUS 1091207 HAS SOUPS 448145 WITH SCORE 464663.533
AT ITER 35 NEW BEST:: SOT 19249711 SOS 16518533 HAS SOPS 7997309 HAS SOUS 1091039 HAS SOUPS 447977 WITH SCORE 464495.533
AT ITER 46 NEW BEST:: SOT 19249711 SOS 16518533 HAS SOPS 7997309 HAS SOUS 1090871 HAS SOUPS 447809 WITH SCORE 464327.533
AT ITER 57 NEW BEST:: SOT 19249483 SOS 16516693 HAS SOPS 7998237 HAS SOUS 1090423 HAS SOUPS 447707 WITH SCORE 464223.69299999997
AT ITER 61 NEW BEST:: SOT 19249165 SOS 16516057 HAS SOPS 7998873 HAS SOUS 1089787 HAS SOUPS 447230 WITH SCORE 463746.05700000003
AT ITER 66 NEW BEST:: SOT 19247098 SOS 16529540 HAS SOPS 8004244 HAS SOUS 1088557 HAS SOUPS 446000 WITH SCORE 462529.54
AT ITER 76 NEW BEST:: SOT 19246863 SOS 16527994 HAS SOPS 8004850 HAS SOUS 1088126 HAS SOUPS 445838 WITH SCORE 462365.994
AT ITER 92 NEW BEST:: SOT 19245738 SOS 16532296 HAS SOPS 8003032 HAS SOUS 1087678 HAS SOUPS 445135 WITH SCORE 461667.296
AT ITER 101 NEW BEST:: SOT 19245727 SOS 16532274 HAS SOPS 8003010 HAS SOUS 1087656 HAS SOUPS 445113 WITH SCORE 461645.274
AT ITER 103 NEW BEST:: SOT 19245727 SOS 16532274 HAS SOPS 8003010 HAS SOUS 1087488 HAS SOUPS 444945 WITH SCORE 461477.274
AT ITER 106 NEW BEST:: SOT 19245519 SOS 16530758 HAS SOPS 8003694 HAS SOUS 1087005 HAS SOUPS 444737 WITH SCORE 461267.75800000003
AT ITER 108 NEW BEST:: SOT 19245519 SOS 16530758 HAS SOPS 8003694 HAS SOUS 1086969 HAS SOUPS 444701 WITH SCORE 461231.75800000003
AT ITER 126 NEW BEST:: SOT 19245127 SOS 16529582 HAS SOPS 8002518 HAS SOUS 1086871 HAS SOUPS 444603 WITH SCORE 461132.582
AT ITER 127 NEW BEST:: SOT 19244997 SOS 16529322 HAS SOPS 8002258 HAS SOUS 1086676 HAS SOUPS 444408 WITH SCORE 460937.322
AT ITER 177 NEW BEST:: SOT 19244997 SOS 16529322 HAS SOPS 8002258 HAS SOUS 1086508 HAS SOUPS 444240 WITH SCORE 460769.322
AT ITER 181 NEW BEST:: SOT 19244666 SOS 16528660 HAS SOPS 8003676 HAS SOUS 1085780 HAS SOUPS 443772 WITH SCORE 460300.66
AT ITER 199 NEW BEST:: SOT 19244631 SOS 16528590 HAS SOPS 8003782 HAS SOUS 1085710 HAS SOUPS 443724 WITH SCORE 460252.59
AT ITER 217 NEW BEST:: SOT 19244208 SOS 16527744 HAS SOPS 8005224 HAS SOUS 1084790 HAS SOUPS 443090 WITH SCORE 459617.744
AT ITER 234 NEW BEST:: SOT 19243917 SOS 16527162 HAS SOPS 8006794 HAS SOUS 1084118 HAS SOUPS 442687 WITH SCORE 459214.162
AT ITER 240 NEW BEST:: SOT 19243595 SOS 16527806 HAS SOPS 8006334 HAS SOUS 1083934 HAS SOUPS 442457 WITH SCORE 458984.806
AT ITER 252 NEW BEST:: SOT 19243421 SOS 16527458 HAS SOPS 8006682 HAS SOUS 1083586 HAS SOUPS 442196 WITH SCORE 458723.458
AT ITER 262 NEW BEST:: SOT 19243349 SOS 16518396 HAS SOPS 8002079 HAS SOUS 1083532 HAS SOUPS 442191 WITH SCORE 458709.396
AT ITER 284 NEW BEST:: SOT 19243349 SOS 16518396 HAS SOPS 8002079 HAS SOUS 1083408 HAS SOUPS 442067 WITH SCORE 458585.396
AT ITER 326 NEW BEST:: SOT 19242336 SOS 16520234 HAS SOPS 8001341 HAS SOUS 1082727 HAS SOUPS 441386 WITH SCORE 457906.234
AT ITER 367 NEW BEST:: SOT 19242084 SOS 16519186 HAS SOPS 8000293 HAS SOUS 1082475 HAS SOUPS 441134 WITH SCORE 457653.186
AT ITER 368 NEW BEST:: SOT 19242084 SOS 16519186 HAS SOPS 8000293 HAS SOUS 1082307 HAS SOUPS 440966 WITH SCORE 457485.186
AT ITER 369 NEW BEST:: SOT 19242084 SOS 16519186 HAS SOPS 8000293 HAS SOUS 1082139 HAS SOUPS 440798 WITH SCORE 457317.186
AT ITER 381 NEW BEST:: SOT 19241694 SOS 16518406 HAS SOPS 8001073 HAS SOUS 1081359 HAS SOUPS 440213 WITH SCORE 456731.406
AT ITER 397 NEW BEST:: SOT 19241694 SOS 16518406 HAS SOPS 8001073 HAS SOUS 1081313 HAS SOUPS 440167 WITH SCORE 456685.406
AT ITER 405 NEW BEST:: SOT 19241694 SOS 16518406 HAS SOPS 8001073 HAS SOUS 1081309 HAS SOUPS 440163 WITH SCORE 456681.406
AT ITER 422 NEW BEST:: SOT 19241694 SOS 16518406 HAS SOPS 8001073 HAS SOUS 1081141 HAS SOUPS 439995 WITH SCORE 456513.406
AT ITER 440 NEW BEST:: SOT 19241512 SOS 16518770 HAS SOPS 8000813 HAS SOUS 1081037 HAS SOUPS 439865 WITH SCORE 456383.77
AT ITER 478 NEW BEST:: SOT 19240083 SOS 16537063 HAS SOPS 8005090 HAS SOUS 1081252 HAS SOUPS 439496 WITH SCORE 456033.063
AT ITER 486 NEW BEST:: SOT 19239737 SOS 16536371 HAS SOPS 8006030 HAS SOUS 1080538 HAS SOUPS 438986 WITH SCORE 455522.371
AT ITER 505 NEW BEST:: SOT 19239568 SOS 16536033 HAS SOPS 8008204 HAS SOUS 1080055 HAS SOUPS 438817 WITH SCORE 455353.033
AT ITER 512 NEW BEST:: SOT 19239090 SOS 16533877 HAS SOPS 8006048 HAS SOUS 1079377 HAS SOUPS 438139 WITH SCORE 454672.877
AT ITER 526 NEW BEST:: SOT 19238460 SOS 16535137 HAS SOPS 8005148 HAS SOUS 1079017 HAS SOUPS 437689 WITH SCORE 454224.137
AT ITER 528 NEW BEST:: SOT 19236526 SOS 16541333 HAS SOPS 8005824 HAS SOUS 1077538 HAS SOUPS 436210 WITH SCORE 452751.333
AT ITER 539 NEW BEST:: SOT 19234707 SOS 16547655 HAS SOPS 8004586 HAS SOUS 1076398 HAS SOUPS 434755 WITH SCORE 451302.655
AT ITER 541 NEW BEST:: SOT 19232579 SOS 16560751 HAS SOPS 8009458 HAS SOUS 1075104 HAS SOUPS 433461 WITH SCORE 450021.751
AT ITER 546 NEW BEST:: SOT 19232397 SOS 16558923 HAS SOPS 8010558 HAS SOUS 1074696 HAS SOUPS 433419 WITH SCORE 449977.923
AT ITER 557 NEW BEST:: SOT 19230111 SOS 16572215 HAS SOPS 8015306 HAS SOUS 1073271 HAS SOUPS 431994 WITH SCORE 448566.215
AT ITER 567 NEW BEST:: SOT 19228666 SOS 16577517 HAS SOPS 8014152 HAS SOUS 1072412 HAS SOUPS 430866 WITH SCORE 447443.517
AT ITER 583 NEW BEST:: SOT 19228666 SOS 16577517 HAS SOPS 8014152 HAS SOUS 1072334 HAS SOUPS 430788 WITH SCORE 447365.517
AT ITER 590 NEW BEST:: SOT 19228431 SOS 16577047 HAS SOPS 8015562 HAS SOUS 1071864 HAS SOUPS 430553 WITH SCORE 447130.047
AT ITER 606 NEW BEST:: SOT 19228381 SOS 16576947 HAS SOPS 8015750 HAS SOUS 1071755 HAS SOUPS 430480 WITH SCORE 447056.947
AT ITER 628 NEW BEST:: SOT 19228381 SOS 16576947 HAS SOPS 8015750 HAS SOUS 1071587 HAS SOUPS 430312 WITH SCORE 446888.947
AT ITER 642 NEW BEST:: SOT 19228381 SOS 16576947 HAS SOPS 8015750 HAS SOUS 1071419 HAS SOUPS 430144 WITH SCORE 446720.947
AT ITER 649 NEW BEST:: SOT 19228814 SOS 16501078 HAS SOPS 7979284 HAS SOUS 1070986 HAS SOUPS 430144 WITH SCORE 446645.078
AT ITER 654 NEW BEST:: SOT 19227801 SOS 16502484 HAS SOPS 7977258 HAS SOUS 1070300 HAS SOUPS 429315 WITH SCORE 445817.484
AT ITER 665 NEW BEST:: SOT 19226870 SOS 16503574 HAS SOPS 7975396 HAS SOUS 1069678 HAS SOUPS 428570 WITH SCORE 445073.574
AT ITER 709 NEW BEST:: SOT 19226870 SOS 16503574 HAS SOPS 7975396 HAS SOUS 1069510 HAS SOUPS 428402 WITH SCORE 444905.574
AT ITER 711 NEW BEST:: SOT 19226869 SOS 16503572 HAS SOPS 7975570 HAS SOUS 1069487 HAS SOUPS 428401 WITH SCORE 444904.572
AT ITER 725 NEW BEST:: SOT 19226869 SOS 16503572 HAS SOPS 7975570 HAS SOUS 1069319 HAS SOUPS 428233 WITH SCORE 444736.572
AT ITER 742 NEW BEST:: SOT 19226510 SOS 16502854 HAS SOPS 7976772 HAS SOUS 1068513 HAS SOUPS 427667 WITH SCORE 444169.854
AT ITER 748 NEW BEST:: SOT 19226510 SOS 16502854 HAS SOPS 7976772 HAS SOUS 1068471 HAS SOUPS 427625 WITH SCORE 444127.854
AT ITER 822 NEW BEST:: SOT 19226176 SOS 16501506 HAS SOPS 7976784 HAS SOUS 1067969 HAS SOUPS 427293 WITH SCORE 443794.506
AT ITER 828 NEW BEST:: SOT 19226068 SOS 16501290 HAS SOPS 7976568 HAS SOUS 1067915 HAS SOUPS 427239 WITH SCORE 443740.29
AT ITER 833 NEW BEST:: SOT 19225858 SOS 16502214 HAS SOPS 7976820 HAS SOUS 1067747 HAS SOUPS 427071 WITH SCORE 443573.214
AT ITER 848 NEW BEST:: SOT 19225858 SOS 16502214 HAS SOPS 7976820 HAS SOUS 1067673 HAS SOUPS 426997 WITH SCORE 443499.214
AT ITER 862 NEW BEST:: SOT 19225858 SOS 16502214 HAS SOPS 7976820 HAS SOUS 1067551 HAS SOUPS 426875 WITH SCORE 443377.214
AT ITER 868 NEW BEST:: SOT 19225858 SOS 16502214 HAS SOPS 7976820 HAS SOUS 1067383 HAS SOUPS 426707 WITH SCORE 443209.214
AT ITER 884 NEW BEST:: SOT 19225858 SOS 16502214 HAS SOPS 7976820 HAS SOUS 1067215 HAS SOUPS 426539 WITH SCORE 443041.214
AT ITER 918 NEW BEST:: SOT 19225858 SOS 16502214 HAS SOPS 7976820 HAS SOUS 1067121 HAS SOUPS 426445 WITH SCORE 442947.214
AT ITER 925 NEW BEST:: SOT 19225844 SOS 16499874 HAS SOPS 7976792 HAS SOUS 1066606 HAS SOUPS 426219 WITH SCORE 442718.874
AT ITER 965 NEW BEST:: SOT 19225844 SOS 16499874 HAS SOPS 7976792 HAS SOUS 1066556 HAS SOUPS 426169 WITH SCORE 442668.874
AT ITER 1028 NEW BEST:: SOT 19225382 SOS 16498950 HAS SOPS 7978028 HAS SOUS 1065603 HAS SOUPS 425486 WITH SCORE 441984.95
AT ITER 1057 NEW BEST:: SOT 19225146 SOS 16497222 HAS SOPS 7978812 HAS SOUS 1065151 HAS SOUPS 425348 WITH SCORE 441845.222
AT ITER 1074 NEW BEST:: SOT 19225146 SOS 16497222 HAS SOPS 7978812 HAS SOUS 1065087 HAS SOUPS 425284 WITH SCORE 441781.222
AT ITER 1090 NEW BEST:: SOT 19225102 SOS 16497134 HAS SOPS 7978724 HAS SOUS 1065047 HAS SOUPS 425244 WITH SCORE 441741.134
AT ITER 1119 NEW BEST:: SOT 19224740 SOS 16496410 HAS SOPS 7979448 HAS SOUS 1064323 HAS SOUPS 424701 WITH SCORE 441197.41
AT ITER 1121 NEW BEST:: SOT 19224262 SOS 16494858 HAS SOPS 7977896 HAS SOUS 1064292 HAS SOUPS 424670 WITH SCORE 441164.858
AT ITER 1126 NEW BEST:: SOT 19223159 SOS 16499084 HAS SOPS 7976242 HAS SOUS 1063905 HAS SOUPS 424038 WITH SCORE 440537.084
AT ITER 1129 NEW BEST:: SOT 19221193 SOS 16514272 HAS SOPS 7982982 HAS SOUS 1062613 HAS SOUPS 422746 WITH SCORE 439260.272
AT ITER 1155 NEW BEST:: SOT 19221193 SOS 16514272 HAS SOPS 7982982 HAS SOUS 1062505 HAS SOUPS 422638 WITH SCORE 439152.272
AT ITER 1183 NEW BEST:: SOT 19221193 SOS 16514272 HAS SOPS 7982982 HAS SOUS 1062391 HAS SOUPS 422524 WITH SCORE 439038.272
AT ITER 1199 NEW BEST:: SOT 19221193 SOS 16514272 HAS SOPS 7982982 HAS SOUS 1062387 HAS SOUPS 422520 WITH SCORE 439034.272
AT ITER 1222 NEW BEST:: SOT 19221401 SOS 16494968 HAS SOPS 7982934 HAS SOUS 1062363 HAS SOUPS 422496 WITH SCORE 438990.968
AT ITER 1228 NEW BEST:: SOT 19221401 SOS 16494968 HAS SOPS 7982934 HAS SOUS 1062195 HAS SOUPS 422328 WITH SCORE 438822.968
AT ITER 1237 NEW BEST:: SOT 19221392 SOS 16494106 HAS SOPS 7982072 HAS SOUS 1062186 HAS SOUPS 422319 WITH SCORE 438813.106
AT ITER 1296 NEW BEST:: SOT 19220520 SOS 16497690 HAS SOPS 7980328 HAS SOUS 1061981 HAS SOUPS 421892 WITH SCORE 438389.69
AT ITER 1299 NEW BEST:: SOT 19220472 SOS 16497594 HAS SOPS 7980616 HAS SOUS 1061885 HAS SOUPS 421844 WITH SCORE 438341.594
AT ITER 1313 NEW BEST:: SOT 19219998 SOS 16498690 HAS SOPS 7979960 HAS SOUS 1061667 HAS SOUPS 421553 WITH SCORE 438051.69
AT ITER 1318 NEW BEST:: SOT 19217782 SOS 16517330 HAS SOPS 7985328 HAS SOUS 1061935 HAS SOUPS 421268 WITH SCORE 437785.33
AT ITER 1329 NEW BEST:: SOT 19217782 SOS 16517278 HAS SOPS 7985380 HAS SOUS 1061922 HAS SOUPS 421268 WITH SCORE 437785.278
AT ITER 1340 NEW BEST:: SOT 19217782 SOS 16517278 HAS SOPS 7985380 HAS SOUS 1061856 HAS SOUPS 421202 WITH SCORE 437719.278
AT ITER 1407 NEW BEST:: SOT 19217773 SOS 16517260 HAS SOPS 7985362 HAS SOUS 1061847 HAS SOUPS 421193 WITH SCORE 437710.26
AT ITER 1421 NEW BEST:: SOT 19216323 SOS 16522544 HAS SOPS 7984166 HAS SOUS 1060979 HAS SOUPS 420055 WITH SCORE 436577.544
AT ITER 1453 NEW BEST:: SOT 19216318 SOS 16522534 HAS SOPS 7984812 HAS SOUS 1060890 HAS SOUPS 420048 WITH SCORE 436570.534
AT ITER 1486 NEW BEST:: SOT 19215623 SOS 16519552 HAS SOPS 7985014 HAS SOUS 1060272 HAS SOUPS 419828 WITH SCORE 436347.552
AT ITER 1494 NEW BEST:: SOT 19214628 SOS 16516558 HAS SOPS 7984028 HAS SOUS 1059593 HAS SOUPS 419400 WITH SCORE 435916.558
AT ITER 1500 NEW BEST:: SOT 19214622 SOS 16516801 HAS SOPS 7984022 HAS SOUS 1059590 HAS SOUPS 419397 WITH SCORE 435913.801
AT ITER 1518 NEW BEST:: SOT 19213360 SOS 16479903 HAS SOPS 7980976 HAS SOUS 1058803 HAS SOUPS 418982 WITH SCORE 435461.903
AT ITER 1552 NEW BEST:: SOT 19213248 SOS 16479455 HAS SOPS 7980528 HAS SOUS 1058691 HAS SOUPS 418870 WITH SCORE 435349.455
AT ITER 1574 NEW BEST:: SOT 19212965 SOS 16478889 HAS SOPS 7982810 HAS SOUS 1057965 HAS SOUPS 418500 WITH SCORE 434978.889
AT ITER 1585 NEW BEST:: SOT 19212795 SOS 16478213 HAS SOPS 7986230 HAS SOUS 1057339 HAS SOUPS 418386 WITH SCORE 434864.213
AT ITER 1590 NEW BEST:: SOT 19212795 SOS 16478213 HAS SOPS 7986230 HAS SOUS 1057331 HAS SOUPS 418378 WITH SCORE 434856.213
AT ITER 1601 NEW BEST:: SOT 19212502 SOS 16477627 HAS SOPS 7985644 HAS SOUS 1056973 HAS SOUPS 418020 WITH SCORE 434497.627
AT ITER 1631 NEW BEST:: SOT 19211189 SOS 16482513 HAS SOPS 7983834 HAS SOUS 1056356 HAS SOUPS 417124 WITH SCORE 433606.513
AT ITER 1654 NEW BEST:: SOT 19210859 SOS 16481621 HAS SOPS 7982942 HAS SOUS 1056171 HAS SOUPS 416939 WITH SCORE 433420.621
AT ITER 1685 NEW BEST:: SOT 19209380 SOS 16496639 HAS SOPS 7986080 HAS SOUS 1056309 HAS SOUPS 416582 WITH SCORE 433078.639
AT ITER 1694 NEW BEST:: SOT 19207568 SOS 16491263 HAS SOPS 7984208 HAS SOUS 1055234 HAS SOUPS 415945 WITH SCORE 432436.263
AT ITER 1698 NEW BEST:: SOT 19207568 SOS 16491263 HAS SOPS 7984208 HAS SOUS 1055166 HAS SOUPS 415877 WITH SCORE 432368.263
AT ITER 1709 NEW BEST:: SOT 19207407 SOS 16489333 HAS SOPS 7985494 HAS SOUS 1054603 HAS SOUPS 415716 WITH SCORE 432205.333
AT ITER 1711 NEW BEST:: SOT 19207262 SOS 16489043 HAS SOPS 7985204 HAS SOUS 1054458 HAS SOUPS 415571 WITH SCORE 432060.043
AT ITER 1740 NEW BEST:: SOT 19207262 SOS 16489043 HAS SOPS 7985204 HAS SOUS 1054358 HAS SOUPS 415471 WITH SCORE 431960.043
AT ITER 1748 NEW BEST:: SOT 19206840 SOS 16488199 HAS SOPS 7987704 HAS SOUS 1053398 HAS SOUPS 414929 WITH SCORE 431417.199
AT ITER 1776 NEW BEST:: SOT 19206525 SOS 16455362 HAS SOPS 7987445 HAS SOUS 1052414 HAS SOUPS 414303 WITH SCORE 430758.362
AT ITER 1783 NEW BEST:: SOT 19206525 SOS 16455362 HAS SOPS 7987445 HAS SOUS 1052388 HAS SOUPS 414277 WITH SCORE 430732.362
AT ITER 1786 NEW BEST:: SOT 19204884 SOS 16425051 HAS SOPS 7993180 HAS SOUS 1050725 HAS SOUPS 412614 WITH SCORE 429039.051
AT ITER 1799 NEW BEST:: SOT 19204884 SOS 16425051 HAS SOPS 7993180 HAS SOUS 1050557 HAS SOUPS 412446 WITH SCORE 428871.051
AT ITER 1816 NEW BEST:: SOT 19204884 SOS 16425051 HAS SOPS 7993180 HAS SOUS 1050427 HAS SOUPS 412316 WITH SCORE 428741.051
AT ITER 1817 NEW BEST:: SOT 19203808 SOS 16371181 HAS SOPS 7988086 HAS SOUS 1049677 HAS SOUPS 412102 WITH SCORE 428473.181
AT ITER 1819 NEW BEST:: SOT 19203808 SOS 16371181 HAS SOPS 7988086 HAS SOUS 1049509 HAS SOUPS 411934 WITH SCORE 428305.181
AT ITER 1836 NEW BEST:: SOT 19202595 SOS 16390129 HAS SOPS 7994122 HAS SOUS 1049314 HAS SOUPS 411201 WITH SCORE 427591.129
AT ITER 1843 NEW BEST:: SOT 19201569 SOS 16393589 HAS SOPS 7992350 HAS SOUS 1048932 HAS SOUPS 410601 WITH SCORE 426994.589
AT ITER 1872 NEW BEST:: SOT 19201569 SOS 16393589 HAS SOPS 7992350 HAS SOUS 1048764 HAS SOUPS 410433 WITH SCORE 426826.589
AT ITER 1873 NEW BEST:: SOT 19201189 SOS 16392449 HAS SOPS 7991210 HAS SOUS 1048669 HAS SOUPS 410338 WITH SCORE 426730.449
AT ITER 1877 NEW BEST:: SOT 19200958 SOS 16392911 HAS SOPS 7990880 HAS SOUS 1048537 HAS SOUPS 410173 WITH SCORE 426565.911
AT ITER 1880 NEW BEST:: SOT 19200958 SOS 16392911 HAS SOPS 7990880 HAS SOUS 1048369 HAS SOUPS 410005 WITH SCORE 426397.911
AT ITER 1885 NEW BEST:: SOT 19200664 SOS 16392323 HAS SOPS 7991796 HAS SOUS 1047887 HAS SOUPS 409711 WITH SCORE 426103.323
AT ITER 1894 NEW BEST:: SOT 19198809 SOS 16406685 HAS SOPS 7997598 HAS SOUS 1047191 HAS SOUPS 409015 WITH SCORE 425421.685
AT ITER 1896 NEW BEST:: SOT 19197046 SOS 16420599 HAS SOPS 8003816 HAS SOUS 1046453 HAS SOUPS 408277 WITH SCORE 424697.599
AT ITER 1907 NEW BEST:: SOT 19197046 SOS 16420599 HAS SOPS 8003816 HAS SOUS 1046285 HAS SOUPS 408109 WITH SCORE 424529.599
AT ITER 1912 NEW BEST:: SOT 19197046 SOS 16420599 HAS SOPS 8003816 HAS SOUS 1046183 HAS SOUPS 408007 WITH SCORE 424427.599
AT ITER 1938 NEW BEST:: SOT 19197046 SOS 16420599 HAS SOPS 8003816 HAS SOUS 1046015 HAS SOUPS 407839 WITH SCORE 424259.599
AT ITER 1966 NEW BEST:: SOT 19197046 SOS 16420599 HAS SOPS 8003816 HAS SOUS 1045949 HAS SOUPS 407773 WITH SCORE 424193.599
AT ITER 1975 NEW BEST:: SOT 19195734 SOS 16417975 HAS SOPS 8001192 HAS SOUS 1045390 HAS SOUPS 407214 WITH SCORE 423631.975
AT ITER 1988 NEW BEST:: SOT 19195810 SOS 16415087 HAS SOPS 7999520 HAS SOUS 1045390 HAS SOUPS 407214 WITH SCORE 423629.087
AT ITER 2039 NEW BEST:: SOT 19195810 SOS 16415087 HAS SOPS 7999520 HAS SOUS 1045222 HAS SOUPS 407046 WITH SCORE 423461.087
AT ITER 2042 NEW BEST:: SOT 19195399 SOS 16414265 HAS SOPS 7998698 HAS SOUS 1044529 HAS SOUPS 406353 WITH SCORE 422767.265
AT ITER 2049 NEW BEST:: SOT 19195363 SOS 16414193 HAS SOPS 7998626 HAS SOUS 1044319 HAS SOUPS 406143 WITH SCORE 422557.19299999997
AT ITER 2076 NEW BEST:: SOT 19195250 SOS 16412695 HAS SOPS 7999672 HAS SOUS 1043993 HAS SOUPS 406135 WITH SCORE 422547.695
AT ITER 2098 NEW BEST:: SOT 19195250 SOS 16412695 HAS SOPS 7999672 HAS SOUS 1043825 HAS SOUPS 405967 WITH SCORE 422379.695
AT ITER 2119 NEW BEST:: SOT 19194883 SOS 16411609 HAS SOPS 7999290 HAS SOUS 1043636 HAS SOUPS 405866 WITH SCORE 422277.609
AT ITER 2132 NEW BEST:: SOT 19194531 SOS 16413833 HAS SOPS 7999402 HAS SOUS 1043428 HAS SOUPS 405570 WITH SCORE 421983.833
AT ITER 2138 NEW BEST:: SOT 19193484 SOS 16427016 HAS SOPS 8004977 HAS SOUS 1043634 HAS SOUPS 405459 WITH SCORE 421886.016
AT ITER 2147 NEW BEST:: SOT 19193484 SOS 16427016 HAS SOPS 8004977 HAS SOUS 1043466 HAS SOUPS 405291 WITH SCORE 421718.016
AT ITER 2175 NEW BEST:: SOT 19193398 SOS 16426844 HAS SOPS 8005493 HAS SOUS 1043293 HAS SOUPS 405204 WITH SCORE 421630.844
AT ITER 2185 NEW BEST:: SOT 19192368 SOS 16423904 HAS SOPS 8004313 HAS SOUS 1042483 HAS SOUPS 404614 WITH SCORE 421037.904
AT ITER 2189 NEW BEST:: SOT 19192368 SOS 16423904 HAS SOPS 8004313 HAS SOUS 1042473 HAS SOUPS 404604 WITH SCORE 421027.904
AT ITER 2199 NEW BEST:: SOT 19192363 SOS 16423894 HAS SOPS 8004343 HAS SOUS 1042463 HAS SOUPS 404599 WITH SCORE 421022.894
AT ITER 2210 NEW BEST:: SOT 19192363 SOS 16423894 HAS SOPS 8004343 HAS SOUS 1042421 HAS SOUPS 404557 WITH SCORE 420980.894
AT ITER 2219 NEW BEST:: SOT 19191305 SOS 16427962 HAS SOPS 8002891 HAS SOUS 1042057 HAS SOUPS 403963 WITH SCORE 420390.962
AT ITER 2241 NEW BEST:: SOT 19191305 SOS 16427962 HAS SOPS 8002891 HAS SOUS 1041971 HAS SOUPS 403877 WITH SCORE 420304.962
AT ITER 2253 NEW BEST:: SOT 19190916 SOS 16427184 HAS SOPS 8004641 HAS SOUS 1041072 HAS SOUPS 403294 WITH SCORE 419721.184
AT ITER 2255 NEW BEST:: SOT 19189399 SOS 16439782 HAS SOPS 8009671 HAS SOUS 1040007 HAS SOUPS 402229 WITH SCORE 418668.782
AT ITER 2273 NEW BEST:: SOT 19188661 SOS 16441114 HAS SOPS 8008195 HAS SOUS 1039680 HAS SOUPS 401785 WITH SCORE 418226.114
AT ITER 2278 NEW BEST:: SOT 19188661 SOS 16441114 HAS SOPS 8008195 HAS SOUS 1039560 HAS SOUPS 401665 WITH SCORE 418106.114
AT ITER 2285 NEW BEST:: SOT 19188661 SOS 16441114 HAS SOPS 8008195 HAS SOUS 1039498 HAS SOUPS 401603 WITH SCORE 418044.114
AT ITER 2302 NEW BEST:: SOT 19188661 SOS 16440874 HAS SOPS 8008435 HAS SOUS 1039438 HAS SOUPS 401603 WITH SCORE 418043.874
AT ITER 2304 NEW BEST:: SOT 19187006 SOS 16449244 HAS SOPS 8010965 HAS SOUS 1038658 HAS SOUPS 400823 WITH SCORE 417272.244
AT ITER 2308 NEW BEST:: SOT 19186980 SOS 16447480 HAS SOPS 8009201 HAS SOUS 1038418 HAS SOUPS 400583 WITH SCORE 417030.48
AT ITER 2312 NEW BEST:: SOT 19186980 SOS 16447480 HAS SOPS 8009201 HAS SOUS 1038250 HAS SOUPS 400415 WITH SCORE 416862.48
AT ITER 2313 NEW BEST:: SOT 19186980 SOS 16447480 HAS SOPS 8009201 HAS SOUS 1038212 HAS SOUPS 400377 WITH SCORE 416824.48
AT ITER 2340 NEW BEST:: SOT 19186206 SOS 16449148 HAS SOPS 8007653 HAS SOUS 1037892 HAS SOUPS 399923 WITH SCORE 416372.148
AT ITER 2351 NEW BEST:: SOT 19186217 SOS 16450171 HAS SOPS 8008676 HAS SOUS 1037549 HAS SOUPS 399580 WITH SCORE 416030.171
AT ITER 2367 NEW BEST:: SOT 19186215 SOS 16448023 HAS SOPS 8008680 HAS SOUS 1037277 HAS SOUPS 399577 WITH SCORE 416025.023
AT ITER 2371 NEW BEST:: SOT 19186473 SOS 16403389 HAS SOPS 7985460 HAS SOUS 1037277 HAS SOUPS 399577 WITH SCORE 415980.389
AT ITER 2381 NEW BEST:: SOT 19186473 SOS 16403221 HAS SOPS 7985292 HAS SOUS 1037256 HAS SOUPS 399556 WITH SCORE 415959.221
AT ITER 2397 NEW BEST:: SOT 19185813 SOS 16407185 HAS SOPS 7987144 HAS SOUS 1037127 HAS SOUPS 399427 WITH SCORE 415834.185
AT ITER 2405 NEW BEST:: SOT 19185790 SOS 16407139 HAS SOPS 7987098 HAS SOUS 1037104 HAS SOUPS 399404 WITH SCORE 415811.139
AT ITER 2412 NEW BEST:: SOT 19185790 SOS 16407139 HAS SOPS 7987098 HAS SOUS 1036936 HAS SOUPS 399236 WITH SCORE 415643.139
AT ITER 2463 NEW BEST:: SOT 19185790 SOS 16406855 HAS SOPS 7986814 HAS SOUS 1036936 HAS SOUPS 399236 WITH SCORE 415642.855
AT ITER 2465 NEW BEST:: SOT 19185149 SOS 16406213 HAS SOPS 7986172 HAS SOUS 1036767 HAS SOUPS 399067 WITH SCORE 415473.213
AT ITER 2468 NEW BEST:: SOT 19185073 SOS 16406061 HAS SOPS 7986020 HAS SOUS 1036691 HAS SOUPS 398991 WITH SCORE 415397.061
AT ITER 2493 NEW BEST:: SOT 19184665 SOS 16404429 HAS SOPS 7984388 HAS SOUS 1036147 HAS SOUPS 398447 WITH SCORE 414851.429
AT ITER 2511 NEW BEST:: SOT 19184665 SOS 16404429 HAS SOPS 7984388 HAS SOUS 1036041 HAS SOUPS 398341 WITH SCORE 414745.429
AT ITER 2512 NEW BEST:: SOT 19184665 SOS 16404429 HAS SOPS 7984388 HAS SOUS 1035873 HAS SOUPS 398173 WITH SCORE 414577.429
AT ITER 2524 NEW BEST:: SOT 19182602 SOS 16418791 HAS SOPS 7990014 HAS SOUS 1034823 HAS SOUPS 397123 WITH SCORE 413541.791
AT ITER 2538 NEW BEST:: SOT 19182487 SOS 16418561 HAS SOPS 7989784 HAS SOUS 1034593 HAS SOUPS 396893 WITH SCORE 413311.561
AT ITER 2557 NEW BEST:: SOT 19182449 SOS 16418485 HAS SOPS 7989708 HAS SOUS 1034470 HAS SOUPS 396770 WITH SCORE 413188.485
AT ITER 2562 NEW BEST:: SOT 19176539 SOS 16408126 HAS SOPS 7985839 HAS SOUS 1034048 HAS SOUPS 396725 WITH SCORE 413133.126
AT ITER 2570 NEW BEST:: SOT 19176539 SOS 16408126 HAS SOPS 7985839 HAS SOUS 1033964 HAS SOUPS 396641 WITH SCORE 413049.126
AT ITER 2571 NEW BEST:: SOT 19176381 SOS 16408126 HAS SOPS 7985839 HAS SOUS 1033875 HAS SOUPS 396552 WITH SCORE 412960.126
AT ITER 2572 NEW BEST:: SOT 19176374 SOS 16408112 HAS SOPS 7985825 HAS SOUS 1033868 HAS SOUPS 396545 WITH SCORE 412953.112
AT ITER 2592 NEW BEST:: SOT 19176374 SOS 16408112 HAS SOPS 7985825 HAS SOUS 1033780 HAS SOUPS 396457 WITH SCORE 412865.112
AT ITER 2595 NEW BEST:: SOT 19176020 SOS 16407404 HAS SOPS 7985117 HAS SOUS 1033426 HAS SOUPS 396103 WITH SCORE 412510.404
AT ITER 2602 NEW BEST:: SOT 19176020 SOS 16407404 HAS SOPS 7985117 HAS SOUS 1033354 HAS SOUPS 396031 WITH SCORE 412438.404
AT ITER 2605 NEW BEST:: SOT 19176020 SOS 16407276 HAS SOPS 7984989 HAS SOUS 1033322 HAS SOUPS 395999 WITH SCORE 412406.276
AT ITER 2649 NEW BEST:: SOT 19169920 SOS 16397105 HAS SOPS 7980536 HAS SOUS 1033061 HAS SOUPS 395894 WITH SCORE 412291.105
AT ITER 2659 NEW BEST:: SOT 19169458 SOS 16405661 HAS SOPS 7985300 HAS SOUS 1032836 HAS SOUPS 395669 WITH SCORE 412074.661
AT ITER 2674 NEW BEST:: SOT 19169458 SOS 16374686 HAS SOPS 7970432 HAS SOUS 1032482 HAS SOUPS 395492 WITH SCORE 411866.686
AT ITER 2689 NEW BEST:: SOT 19176274 SOS 16379977 HAS SOPS 7976785 HAS SOUS 1032369 HAS SOUPS 395425 WITH SCORE 411804.977
AT ITER 2708 NEW BEST:: SOT 19174790 SOS 16387808 HAS SOPS 7977920 HAS SOUS 1032006 HAS SOUPS 394783 WITH SCORE 411170.808
AT ITER 2719 NEW BEST:: SOT 19172741 SOS 16409577 HAS SOPS 7986177 HAS SOUS 1032395 HAS SOUPS 394609 WITH SCORE 411018.577
AT ITER 2722 NEW BEST:: SOT 19172477 SOS 16409049 HAS SOPS 7986705 HAS SOUS 1031867 HAS SOUPS 394213 WITH SCORE 410622.049
AT ITER 2736 NEW BEST:: SOT 19171689 SOS 16412049 HAS SOPS 7986345 HAS SOUS 1031695 HAS SOUPS 393901 WITH SCORE 410313.049
AT ITER 2740 NEW BEST:: SOT 19171612 SOS 16411895 HAS SOPS 7986191 HAS SOUS 1031541 HAS SOUPS 393747 WITH SCORE 410158.895
AT ITER 2761 NEW BEST:: SOT 19171510 SOS 16410635 HAS SOPS 7987043 HAS SOUS 1031269 HAS SOUPS 393739 WITH SCORE 410149.635
AT ITER 2762 NEW BEST:: SOT 19171334 SOS 16408831 HAS SOPS 7988143 HAS SOUS 1030730 HAS SOUPS 393563 WITH SCORE 409971.831
AT ITER 2763 NEW BEST:: SOT 19170753 SOS 16409993 HAS SOPS 7987313 HAS SOUS 1030398 HAS SOUPS 393148 WITH SCORE 409557.993
AT ITER 2774 NEW BEST:: SOT 19170753 SOS 16409993 HAS SOPS 7987313 HAS SOUS 1030278 HAS SOUPS 393028 WITH SCORE 409437.993
AT ITER 2802 NEW BEST:: SOT 19170753 SOS 16409993 HAS SOPS 7987313 HAS SOUS 1030164 HAS SOUPS 392914 WITH SCORE 409323.993
AT ITER 2810 NEW BEST:: SOT 19170575 SOS 16409637 HAS SOPS 7988381 HAS SOUS 1029808 HAS SOUPS 392736 WITH SCORE 409145.637
AT ITER 2842 NEW BEST:: SOT 19170438 SOS 16409363 HAS SOPS 7988107 HAS SOUS 1029671 HAS SOUPS 392599 WITH SCORE 409008.363
AT ITER 2858 NEW BEST:: SOT 19170383 SOS 16409253 HAS SOPS 7987997 HAS SOUS 1029616 HAS SOUPS 392544 WITH SCORE 408953.253
AT ITER 2875 NEW BEST:: SOT 19168905 SOS 16416713 HAS SOPS 7990225 HAS SOUS 1028412 HAS SOUPS 391340 WITH SCORE 407756.713
AT ITER 2913 NEW BEST:: SOT 19168933 SOS 16417165 HAS SOPS 7989885 HAS SOUS 1028320 HAS SOUPS 391149 WITH SCORE 407566.165
AT ITER 2919 NEW BEST:: SOT 19168933 SOS 16417165 HAS SOPS 7989885 HAS SOUS 1028152 HAS SOUPS 390981 WITH SCORE 407398.165
AT ITER 2934 NEW BEST:: SOT 19165439 SOS 16411571 HAS SOPS 7985971 HAS SOUS 1028075 HAS SOUPS 390904 WITH SCORE 407315.571
AT ITER 2935 NEW BEST:: SOT 19165439 SOS 16411571 HAS SOPS 7985971 HAS SOUS 1028071 HAS SOUPS 390900 WITH SCORE 407311.571
AT ITER 2943 NEW BEST:: SOT 19165439 SOS 16411571 HAS SOPS 7985971 HAS SOUS 1028031 HAS SOUPS 390860 WITH SCORE 407271.571
AT ITER 2988 NEW BEST:: SOT 19163742 SOS 16425049 HAS SOPS 7992121 HAS SOUS 1027228 HAS SOUPS 390057 WITH SCORE 406482.049
AT ITER 2996 NEW BEST:: SOT 19163526 SOS 16424053 HAS SOPS 7991125 HAS SOUS 1027012 HAS SOUPS 389841 WITH SCORE 406265.053
AT ITER 3005 NEW BEST:: SOT 19163370 SOS 16425405 HAS SOPS 7991229 HAS SOUS 1027012 HAS SOUPS 389789 WITH SCORE 406214.405
AT ITER 3045 NEW BEST:: SOT 19163520 SOS 16425605 HAS SOPS 7991429 HAS SOUS 1026962 HAS SOUPS 389739 WITH SCORE 406164.605
AT ITER 3050 NEW BEST:: SOT 19162402 SOS 16425046 HAS SOPS 7990870 HAS SOUS 1026403 HAS SOUPS 389180 WITH SCORE 405605.046
AT ITER 3052 NEW BEST:: SOT 19162342 SOS 16425558 HAS SOPS 7991382 HAS SOUS 1026278 HAS SOUPS 389055 WITH SCORE 405480.558
AT ITER 3068 NEW BEST:: SOT 19162342 SOS 16425558 HAS SOPS 7991382 HAS SOUS 1026110 HAS SOUPS 388887 WITH SCORE 405312.558
AT ITER 3163 NEW BEST:: SOT 19162127 SOS 16425128 HAS SOPS 7989344 HAS SOUS 1025705 HAS SOUPS 388281 WITH SCORE 404706.128
AT ITER 3183 NEW BEST:: SOT 19161153 SOS 16435972 HAS SOPS 7994284 HAS SOUS 1025393 HAS SOUPS 387969 WITH SCORE 404404.972
AT ITER 3184 NEW BEST:: SOT 19160539 SOS 16434808 HAS SOPS 7993120 HAS SOUS 1024929 HAS SOUPS 387505 WITH SCORE 403939.808
AT ITER 3187 NEW BEST:: SOT 19160173 SOS 16433712 HAS SOPS 7992752 HAS SOUS 1024654 HAS SOUPS 387321 WITH SCORE 403754.712
AT ITER 3219 NEW BEST:: SOT 19159529 SOS 16433192 HAS SOPS 7992232 HAS SOUS 1024451 HAS SOUPS 387118 WITH SCORE 403551.192
AT ITER 3252 NEW BEST:: SOT 19158396 SOS 16430094 HAS SOPS 7990798 HAS SOUS 1023555 HAS SOUPS 386430 WITH SCORE 402860.094
AT ITER 3321 NEW BEST:: SOT 19158214 SOS 16427978 HAS SOPS 7992186 HAS SOUS 1022935 HAS SOUPS 386248 WITH SCORE 402675.978
AT ITER 3369 NEW BEST:: SOT 19158214 SOS 16427978 HAS SOPS 7992186 HAS SOUS 1022915 HAS SOUPS 386228 WITH SCORE 402655.978
AT ITER 3377 NEW BEST:: SOT 19157714 SOS 16426978 HAS SOPS 7991186 HAS SOUS 1022415 HAS SOUPS 385728 WITH SCORE 402154.978
AT ITER 3453 NEW BEST:: SOT 19157714 SOS 16426978 HAS SOPS 7991186 HAS SOUS 1022247 HAS SOUPS 385560 WITH SCORE 401986.978
AT ITER 3458 NEW BEST:: SOT 19151416 SOS 16416505 HAS SOPS 7986936 HAS SOUS 1021873 HAS SOUPS 385425 WITH SCORE 401841.505
AT ITER 3466 NEW BEST:: SOT 19151068 SOS 16415113 HAS SOPS 7986936 HAS SOUS 1021351 HAS SOUPS 385077 WITH SCORE 401492.113
AT ITER 3479 NEW BEST:: SOT 19150819 SOS 16412647 HAS SOPS 7986438 HAS SOUS 1020897 HAS SOUPS 384869 WITH SCORE 401281.647
AT ITER 3480 NEW BEST:: SOT 19150769 SOS 16412443 HAS SOPS 7986234 HAS SOUS 1020847 HAS SOUPS 384819 WITH SCORE 401231.44299999997
AT ITER 3511 NEW BEST:: SOT 19148691 SOS 16427487 HAS SOPS 7992334 HAS SOUS 1019717 HAS SOUPS 383689 WITH SCORE 400116.487
AT ITER 3512 NEW BEST:: SOT 19147807 SOS 16429847 HAS SOPS 7990566 HAS SOUS 1019189 HAS SOUPS 382989 WITH SCORE 399418.847
AT ITER 3540 NEW BEST:: SOT 19147499 SOS 16432983 HAS SOPS 7990486 HAS SOUS 1018951 HAS SOUPS 382617 WITH SCORE 399049.983
AT ITER 3570 NEW BEST:: SOT 19146550 SOS 16444533 HAS SOPS 7995124 HAS SOUS 1018790 HAS SOUPS 382456 WITH SCORE 398900.533
AT ITER 3607 NEW BEST:: SOT 19146550 SOS 16443637 HAS SOPS 7994228 HAS SOUS 1018579 HAS SOUPS 382245 WITH SCORE 398688.637
AT ITER 3628 NEW BEST:: SOT 19146204 SOS 16442945 HAS SOPS 7993536 HAS SOUS 1018233 HAS SOUPS 381899 WITH SCORE 398341.945
AT ITER 3650 NEW BEST:: SOT 19146204 SOS 16442945 HAS SOPS 7993536 HAS SOUS 1018148 HAS SOUPS 381814 WITH SCORE 398256.945
AT ITER 3718 NEW BEST:: SOT 19146204 SOS 16442893 HAS SOPS 7993484 HAS SOUS 1018148 HAS SOUPS 381814 WITH SCORE 398256.893
AT ITER 3721 NEW BEST:: SOT 19145890 SOS 16440441 HAS SOPS 7991032 HAS SOUS 1017677 HAS SOUPS 381343 WITH SCORE 397783.441
AT ITER 3748 NEW BEST:: SOT 19145680 SOS 16440981 HAS SOPS 7990852 HAS SOUS 1017587 HAS SOUPS 381223 WITH SCORE 397663.981
AT ITER 3767 NEW BEST:: SOT 19139565 SOS 16432680 HAS SOPS 7985499 HAS SOUS 1017767 HAS SOUPS 381215 WITH SCORE 397647.68
AT ITER 3796 NEW BEST:: SOT 19139565 SOS 16432680 HAS SOPS 7985499 HAS SOUS 1017599 HAS SOUPS 381047 WITH SCORE 397479.68
AT ITER 3806 NEW BEST:: SOT 19139544 SOS 16432470 HAS SOPS 7985457 HAS SOUS 1017536 HAS SOUPS 381005 WITH SCORE 397437.47
AT ITER 3807 NEW BEST:: SOT 19139539 SOS 16432460 HAS SOPS 7985447 HAS SOUS 1017536 HAS SOUPS 381005 WITH SCORE 397437.46
AT ITER 3836 NEW BEST:: SOT 19136579 SOS 16440260 HAS SOPS 7986431 HAS SOUS 1016093 HAS SOUPS 379562 WITH SCORE 396002.26
AT ITER 3838 NEW BEST:: SOT 19136676 SOS 16434294 HAS SOPS 7982929 HAS SOUS 1016036 HAS SOUPS 379505 WITH SCORE 395939.294
AT ITER 3870 NEW BEST:: SOT 19136022 SOS 16436034 HAS SOPS 7982637 HAS SOUS 1015423 HAS SOUPS 378892 WITH SCORE 395328.034
AT ITER 3898 NEW BEST:: SOT 19135816 SOS 16434422 HAS SOPS 7983425 HAS SOUS 1014970 HAS SOUPS 378739 WITH SCORE 395173.422
AT ITER 3926 NEW BEST:: SOT 19135178 SOS 16449978 HAS SOPS 7991093 HAS SOUS 1014770 HAS SOUPS 378539 WITH SCORE 394988.978
AT ITER 3935 NEW BEST:: SOT 19134932 SOS 16448734 HAS SOPS 7991353 HAS SOUS 1014434 HAS SOUPS 378391 WITH SCORE 394839.734
AT ITER 3989 NEW BEST:: SOT 19134932 SOS 16448734 HAS SOPS 7991353 HAS SOUS 1014268 HAS SOUPS 378225 WITH SCORE 394673.734
AT ITER 3995 NEW BEST:: SOT 19134943 SOS 16449008 HAS SOPS 7991283 HAS SOUS 1013907 HAS SOUPS 377874 WITH SCORE 394323.00800000003
AT ITER 3996 NEW BEST:: SOT 19134927 SOS 16441616 HAS SOPS 7983891 HAS SOUS 1013907 HAS SOUPS 377874 WITH SCORE 394315.616
AT ITER 4016 NEW BEST:: SOT 19133612 SOS 16443690 HAS SOPS 7981261 HAS SOUS 1013186 HAS SOUPS 376957 WITH SCORE 393400.69
AT ITER 4030 NEW BEST:: SOT 19136706 SOS 16449052 HAS SOPS 7983095 HAS SOUS 1013324 HAS SOUPS 376843 WITH SCORE 393292.052
AT ITER 4044 NEW BEST:: SOT 19136631 SOS 16449902 HAS SOPS 7983345 HAS SOUS 1013324 HAS SOUPS 376818 WITH SCORE 393267.902
AT ITER 4074 NEW BEST:: SOT 19136157 SOS 16448638 HAS SOPS 7982713 HAS SOUS 1012970 HAS SOUPS 376543 WITH SCORE 392991.638
AT ITER 4078 NEW BEST:: SOT 19135851 SOS 16444794 HAS SOPS 7983117 HAS SOUS 1011766 HAS SOUPS 375870 WITH SCORE 392314.794
AT ITER 4117 NEW BEST:: SOT 19135851 SOS 16444794 HAS SOPS 7983117 HAS SOUS 1011678 HAS SOUPS 375782 WITH SCORE 392226.794
AT ITER 4131 NEW BEST:: SOT 19130915 SOS 16436394 HAS SOPS 7979533 HAS SOUS 1011514 HAS SOUPS 375688 WITH SCORE 392124.394
AT ITER 4154 NEW BEST:: SOT 19130769 SOS 16438678 HAS SOPS 7979609 HAS SOUS 1011460 HAS SOUPS 375542 WITH SCORE 391980.678
AT ITER 4162 NEW BEST:: SOT 19129999 SOS 16434384 HAS SOPS 7978987 HAS SOUS 1010527 HAS SOUPS 375068 WITH SCORE 391502.384
AT ITER 4210 NEW BEST:: SOT 19129999 SOS 16434308 HAS SOPS 7978911 HAS SOUS 1010527 HAS SOUPS 375068 WITH SCORE 391502.308
AT ITER 4218 NEW BEST:: SOT 19129075 SOS 16430612 HAS SOPS 7977679 HAS SOUS 1008987 HAS SOUPS 373836 WITH SCORE 390266.612
AT ITER 4246 NEW BEST:: SOT 19128856 SOS 16430174 HAS SOPS 7979345 HAS SOUS 1008266 HAS SOUPS 373378 WITH SCORE 389808.174
AT ITER 4250 NEW BEST:: SOT 19128622 SOS 16429706 HAS SOPS 7977005 HAS SOUS 1008266 HAS SOUPS 373144 WITH SCORE 389573.706
AT ITER 4274 NEW BEST:: SOT 19128528 SOS 16428786 HAS SOPS 7976085 HAS SOUS 1008172 HAS SOUPS 373050 WITH SCORE 389478.786
AT ITER 4283 NEW BEST:: SOT 19128395 SOS 16428984 HAS SOPS 7975827 HAS SOUS 1008097 HAS SOUPS 372956 WITH SCORE 389384.984
AT ITER 4312 NEW BEST:: SOT 19128067 SOS 16429640 HAS SOPS 7975663 HAS SOUS 1008056 HAS SOUPS 372915 WITH SCORE 389344.64
AT ITER 4314 NEW BEST:: SOT 19127932 SOS 16429370 HAS SOPS 7976993 HAS SOUS 1007654 HAS SOUPS 372713 WITH SCORE 389142.37
AT ITER 4319 NEW BEST:: SOT 19127916 SOS 16429868 HAS SOPS 7977491 HAS SOUS 1007207 HAS SOUPS 372266 WITH SCORE 388695.868
AT ITER 4332 NEW BEST:: SOT 19127916 SOS 16429868 HAS SOPS 7977491 HAS SOUS 1007203 HAS SOUPS 372262 WITH SCORE 388691.868
AT ITER 4351 NEW BEST:: SOT 19127770 SOS 16429868 HAS SOPS 7976907 HAS SOUS 1007057 HAS SOUPS 372043 WITH SCORE 388472.868
AT ITER 4383 NEW BEST:: SOT 19127770 SOS 16429868 HAS SOPS 7976907 HAS SOUS 1007009 HAS SOUPS 371995 WITH SCORE 388424.868
AT ITER 4388 NEW BEST:: SOT 19127770 SOS 16429868 HAS SOPS 7976907 HAS SOUS 1006993 HAS SOUPS 371979 WITH SCORE 388408.868
AT ITER 4391 NEW BEST:: SOT 19127669 SOS 16429666 HAS SOPS 7976705 HAS SOUS 1006791 HAS SOUPS 371777 WITH SCORE 388206.666
AT ITER 4395 NEW BEST:: SOT 19127555 SOS 16429210 HAS SOPS 7976249 HAS SOUS 1006639 HAS SOUPS 371625 WITH SCORE 388054.21
AT ITER 4406 NEW BEST:: SOT 19127555 SOS 16429210 HAS SOPS 7976249 HAS SOUS 1006471 HAS SOUPS 371457 WITH SCORE 387886.21
AT ITER 4477 NEW BEST:: SOT 19127315 SOS 16427770 HAS SOPS 7976729 HAS SOUS 1005991 HAS SOUPS 371217 WITH SCORE 387644.77
AT ITER 4488 NEW BEST:: SOT 19127310 SOS 16427760 HAS SOPS 7976759 HAS SOUS 1005981 HAS SOUPS 371212 WITH SCORE 387639.76
AT ITER 4500 NEW BEST:: SOT 19127116 SOS 16427372 HAS SOPS 7976371 HAS SOUS 1005802 HAS SOUPS 371033 WITH SCORE 387460.372
AT ITER 4528 NEW BEST:: SOT 19127116 SOS 16427372 HAS SOPS 7976371 HAS SOUS 1005530 HAS SOUPS 370761 WITH SCORE 387188.372
AT ITER 4550 NEW BEST:: SOT 19127116 SOS 16427372 HAS SOPS 7976371 HAS SOUS 1005450 HAS SOUPS 370681 WITH SCORE 387108.372
AT ITER 4559 NEW BEST:: SOT 19127116 SOS 16427372 HAS SOPS 7976371 HAS SOUS 1005390 HAS SOUPS 370621 WITH SCORE 387048.372
AT ITER 4585 NEW BEST:: SOT 19127102 SOS 16427344 HAS SOPS 7976231 HAS SOUS 1005389 HAS SOUPS 370606 WITH SCORE 387033.344
AT ITER 4612 NEW BEST:: SOT 19127102 SOS 16427344 HAS SOPS 7976231 HAS SOUS 1005221 HAS SOUPS 370438 WITH SCORE 386865.344
AT ITER 4633 NEW BEST:: SOT 19126115 SOS 16434010 HAS SOPS 7977633 HAS SOUS 1004563 HAS SOUPS 369780 WITH SCORE 386214.01
AT ITER 4640 NEW BEST:: SOT 19126115 SOS 16434010 HAS SOPS 7977633 HAS SOUS 1004535 HAS SOUPS 369752 WITH SCORE 386186.01
AT ITER 4668 NEW BEST:: SOT 19124100 SOS 16447844 HAS SOPS 7982859 HAS SOUS 1003024 HAS SOUPS 368241 WITH SCORE 384688.844
AT ITER 4689 NEW BEST:: SOT 19123670 SOS 16455852 HAS SOPS 7990867 HAS SOUS 1003003 HAS SOUPS 368220 WITH SCORE 384675.852
AT ITER 4734 NEW BEST:: SOT 19122794 SOS 16454684 HAS SOPS 7989699 HAS SOUS 1002710 HAS SOUPS 367927 WITH SCORE 384381.684
AT ITER 4801 NEW BEST:: SOT 19122604 SOS 16432593 HAS SOPS 7997825 HAS SOUS 1002516 HAS SOUPS 367733 WITH SCORE 384165.593
AT ITER 4807 NEW BEST:: SOT 19122604 SOS 16432593 HAS SOPS 7997825 HAS SOUS 1002436 HAS SOUPS 367653 WITH SCORE 384085.593
AT ITER 4833 NEW BEST:: SOT 19122595 SOS 16432575 HAS SOPS 7997807 HAS SOUS 1002427 HAS SOUPS 367644 WITH SCORE 384076.575
AT ITER 4842 NEW BEST:: SOT 19121959 SOS 16433519 HAS SOPS 7997567 HAS SOUS 1002009 HAS SOUPS 367226 WITH SCORE 383659.519
AT ITER 4851 NEW BEST:: SOT 19121295 SOS 16429867 HAS SOPS 7996571 HAS SOUS 1001364 HAS SOUPS 366913 WITH SCORE 383342.867
AT ITER 4857 NEW BEST:: SOT 19121295 SOS 16429867 HAS SOPS 7996571 HAS SOUS 1001332 HAS SOUPS 366881 WITH SCORE 383310.867
AT ITER 4877 NEW BEST:: SOT 19121295 SOS 16429867 HAS SOPS 7996571 HAS SOUS 1001168 HAS SOUPS 366717 WITH SCORE 383146.867
AT ITER 4878 NEW BEST:: SOT 19120854 SOS 16478496 HAS SOPS 8017229 HAS SOUS 1000960 HAS SOUPS 366509 WITH SCORE 382987.496
AT ITER 4892 NEW BEST:: SOT 19118478 SOS 16487512 HAS SOPS 8019381 HAS SOUS 999903 HAS SOUPS 365452 WITH SCORE 381939.512
AT ITER 4905 NEW BEST:: SOT 19118478 SOS 16487512 HAS SOPS 8019381 HAS SOUS 999895 HAS SOUPS 365444 WITH SCORE 381931.512
AT ITER 4906 NEW BEST:: SOT 19116974 SOS 16502344 HAS SOPS 8025557 HAS SOUS 999335 HAS SOUPS 364884 WITH SCORE 381386.344
AT ITER 4907 NEW BEST:: SOT 19117030 SOS 16500440 HAS SOPS 8024997 HAS SOUS 999279 HAS SOUPS 364884 WITH SCORE 381384.44
AT ITER 4909 NEW BEST:: SOT 19117030 SOS 16500144 HAS SOPS 8024997 HAS SOUS 999205 HAS SOUPS 364847 WITH SCORE 381347.144
AT ITER 4919 NEW BEST:: SOT 19116282 SOS 16498992 HAS SOPS 8023845 HAS SOUS 998889 HAS SOUPS 364531 WITH SCORE 381029.992
AT ITER 4943 NEW BEST:: SOT 19116282 SOS 16498992 HAS SOPS 8023845 HAS SOUS 998779 HAS SOUPS 364421 WITH SCORE 380919.992
AT ITER 4955 NEW BEST:: SOT 19116282 SOS 16498992 HAS SOPS 8023845 HAS SOUS 998777 HAS SOUPS 364419 WITH SCORE 380917.992
AT ITER 4974 NEW BEST:: SOT 19110008 SOS 16488251 HAS SOPS 8019661 HAS SOUS 998406 HAS SOUPS 364426 WITH SCORE 380914.251
AT ITER 4995 NEW BEST:: SOT 19108270 SOS 16483199 HAS SOPS 8017761 HAS SOUS 997556 HAS SOUPS 363970 WITH SCORE 380453.199
Bounds file is: CTLFireability.xml
PROPERTY: DLCflexbar-PT-6a-CTLFireability-00 (EF( (EX( ( ((potential((tk(P233)>=1) & (tk(P1240)>=1)))) | ((potential((tk(P1249)>=1) & (tk(P626)>=1)))) )))))
PROPERTY: DLCflexbar-PT-6a-CTLFireability-01 ( (EU( (EF( ((potential((tk(P613)>=1) & (tk(P1149)>=1)))))) , ( ((potential((tk(P444)>=1) & (tk(P1972)>=1)))) & ((potential((tk(P610)>=1) & (tk(P1067)>=1)))) ) )) & ( ( (AU( ((potential((tk(P38)>=1) & (tk(P1856)>=1)))) , ((potential((tk(P426)>=1)))) )) | (! (AG( ((potential((tk(P667)>=1) & (tk(P1891)>=1))))))) ) & (! ( ( ( ((potential((tk(P643)>=1) & (tk(P1585)>=1)))) | ((potential((tk(P152)>=1) & (tk(P1384)>=1)))) ) & (! ((potential((tk(P414)>=1) & (tk(P786)>=1))))) ) | ((potential((tk(P659)>=1) & (tk(P1805)>=1)))) )) ) )
PROPERTY: DLCflexbar-PT-6a-CTLFireability-02 (AG( (AF( (! ( ((potential((tk(P785)>=1) & (tk(P407)>=1)))) & ((potential((tk(P251)>=1)))) ))))))
PROPERTY: DLCflexbar-PT-6a-CTLFireability-03 ( ( (! ( ((potential((tk(P614)>=1) & (tk(P2034)>=1)))) & (! (! ((potential((tk(P400)>=1) & (tk(P1455)>=1)))))) )) & ( ( (EF( ((potential((tk(P645)>=1) & (tk(P1653)>=1)))))) & (EF( ((potential((tk(P353)>=1) & (tk(P1274)>=1)))))) ) | ( (! ((potential((tk(P647)>=1) & (tk(P1559)>=1))))) & ((potential((tk(P17)>=1) & (tk(P674)>=1)))) ) ) ) | ( (! ( (AG( ((potential((tk(P829)>=1) & (tk(P596)>=1)))))) | ( ( ((potential((tk(P613)>=1) & (tk(P1023)>=1)))) & ((potential((tk(P592)>=1) & (tk(P711)>=1)))) ) & ( ((potential((tk(P96)>=1) & (tk(P864)>=1)))) | ((potential((tk(P358)>=1) & (tk(P1947)>=1)))) ) ) )) & ((potential((tk(P602)>=1) & (tk(P865)>=1)))) ) )
PROPERTY: DLCflexbar-PT-6a-CTLFireability-04 ( (! (EF( (EG( ((potential((tk(P47)>=1) & (tk(P1354)>=1))))))))) | ((potential((tk(P640)>=1) & (tk(P1547)>=1)))) )
PROPERTY: DLCflexbar-PT-6a-CTLFireability-05 ( ( (EX( ((potential((tk(P594)>=1) & (tk(P737)>=1)))))) | (AX( ((potential((tk(P147)>=1)))))) ) | ( ( (EG( ( ((potential((tk(P598)>=1) & (tk(P763)>=1)))) | ((potential((tk(P43)>=1) & (tk(P1521)>=1)))) ))) | ( (EF( ((potential((tk(P647)>=1) & (tk(P1561)>=1)))))) | (EF( ((potential((tk(P401)>=1) & (tk(P1288)>=1)))))) ) ) & (AF( ( (! ((potential((tk(P69)>=1))))) | ((potential((tk(P964)>=1) & (tk(P608)>=1)))) ))) ) )
PROPERTY: DLCflexbar-PT-6a-CTLFireability-06 (! (EU( (EF( ((potential((tk(P176)>=1)))))) , ((potential((tk(P548)>=1) & (tk(P1162)>=1)))) )))
PROPERTY: DLCflexbar-PT-6a-CTLFireability-07 (EF( ( ( (AF( ((potential((tk(P1093)>=1) & (tk(P616)>=1)))))) & ( ( ((potential((tk(P1187)>=1) & (tk(P626)>=1)))) | ((potential((tk(P617)>=1)))) ) & ( ((potential((tk(P638)>=1) & (tk(P1422)>=1)))) & ((potential((tk(P316)>=1) & (tk(P1599)>=1)))) ) ) ) | (EX( ((potential((tk(P352)>=1) & (tk(P938)>=1)))))) )))
PROPERTY: DLCflexbar-PT-6a-CTLFireability-08 (EF( (EG( (EX( ((potential((tk(P128)>=1) & (tk(P1882)>=1))))))))))
PROPERTY: DLCflexbar-PT-6a-CTLFireability-09 (AG( ( (EG( ( ((potential((tk(P655)>=1) & (tk(P1817)>=1)))) & ((potential((tk(P643)>=1) & (tk(P1521)>=1)))) ))) | (! ( ( ((potential((tk(P608)>=1) & (tk(P868)>=1)))) & ((potential((tk(P443)>=1) & (tk(P1468)>=1)))) ) & ((potential((tk(P657)>=1) & (tk(P2060)>=1)))) )) )))
PROPERTY: DLCflexbar-PT-6a-CTLFireability-10 (EF( ( (AG( (! ((potential((tk(P609)>=1) & (tk(P947)>=1))))))) & (AG( ( ((potential((tk(P658)>=1) & (tk(P2040)>=1)))) & ((potential((tk(P648)>=1) & (tk(P2018)>=1)))) ))) )))
PROPERTY: DLCflexbar-PT-6a-CTLFireability-11 (EF( (AG( (! ((potential((tk(P1099)>=1) & (tk(P616)>=1)))))))))
PROPERTY: DLCflexbar-PT-6a-CTLFireability-12 (AF( (EX( (EX( ((potential((tk(P637)>=1) & (tk(P1481)>=1))))))))))
PROPERTY: DLCflexbar-PT-6a-CTLFireability-13 (AG( ( (AX( (! ((potential((tk(P594)>=1) & (tk(P2016)>=1))))))) & (EX( ((potential((tk(P309)>=1) & (tk(P1933)>=1)))))) )))
PROPERTY: DLCflexbar-PT-6a-CTLFireability-14 (EF( ((potential((tk(P597)>=1) & (tk(P775)>=1))))))
PROPERTY: DLCflexbar-PT-6a-CTLFireability-15 (EX( (EX( (AX( ((potential((tk(P586)>=1) & (tk(P1340)>=1))))))))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-6a"
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-6a, 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-158902542100404"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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