Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-2979
Executing tool marcie
Input is S_BridgeAndVehicles-COL-V20P20N10, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r173kn-ebro-146433144900126
=====================================================================

--------------------
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 BridgeAndVehicles-COL-V20P20N10-ReachabilityFireability-0
FORMULA_NAME BridgeAndVehicles-COL-V20P20N10-ReachabilityFireability-1
FORMULA_NAME BridgeAndVehicles-COL-V20P20N10-ReachabilityFireability-10
FORMULA_NAME BridgeAndVehicles-COL-V20P20N10-ReachabilityFireability-11
FORMULA_NAME BridgeAndVehicles-COL-V20P20N10-ReachabilityFireability-12
FORMULA_NAME BridgeAndVehicles-COL-V20P20N10-ReachabilityFireability-13
FORMULA_NAME BridgeAndVehicles-COL-V20P20N10-ReachabilityFireability-14
FORMULA_NAME BridgeAndVehicles-COL-V20P20N10-ReachabilityFireability-15
FORMULA_NAME BridgeAndVehicles-COL-V20P20N10-ReachabilityFireability-2
FORMULA_NAME BridgeAndVehicles-COL-V20P20N10-ReachabilityFireability-3
FORMULA_NAME BridgeAndVehicles-COL-V20P20N10-ReachabilityFireability-4
FORMULA_NAME BridgeAndVehicles-COL-V20P20N10-ReachabilityFireability-5
FORMULA_NAME BridgeAndVehicles-COL-V20P20N10-ReachabilityFireability-6
FORMULA_NAME BridgeAndVehicles-COL-V20P20N10-ReachabilityFireability-7
FORMULA_NAME BridgeAndVehicles-COL-V20P20N10-ReachabilityFireability-8
FORMULA_NAME BridgeAndVehicles-COL-V20P20N10-ReachabilityFireability-9

=== Now, execution of the tool begins

BK_START 1464785034202


Marcie rev. 8535M (built: crohr on 2016-04-27)
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: marcie --net-file=model.pnml --mcc-file=ReachabilityFireability.xml --mcc-mode --memory=6 --suppress

parse successfull
net created successfully

Unfolding complete |P|=68|T|=548|A|=4070
Time for unfolding: 0m 3.531sec

Net: pnml4273257389636628512
(NrP: 68 NrTr: 548 NrArc: 4070)

net check time: 0m 0.001sec

parse formulas
formulas created successfully
place and transition orderings generation:0m 0.012sec

init dd package: 0m 7.194sec


RS generation: 3m46.027sec


-> reachability set: #nodes 1360582 (1.4e+06) #states 6,732,570 (6)



starting MCC model checker
--------------------------

checking: EF [[IS_FIREABLE [altern_cpt_10_0] | IS_FIREABLE [altern_cpt_10_1]]]
normalized: E [true U [IS_FIREABLE [altern_cpt_10_0] | IS_FIREABLE [altern_cpt_10_1]]]

-> the formula is TRUE

FORMULA BridgeAndVehicles-COL-V20P20N10-ReachabilityFireability-1 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 14m33.412sec

checking: AG [~ [[[IS_FIREABLE [altern_cpt_10_0] | IS_FIREABLE [altern_cpt_10_1]] & ~ [~ [[IS_FIREABLE [altern_cpt_10_0] | IS_FIREABLE [altern_cpt_10_1]]]]]]]
normalized: ~ [E [true U [[IS_FIREABLE [altern_cpt_10_0] | IS_FIREABLE [altern_cpt_10_1]] & [IS_FIREABLE [altern_cpt_10_0] | IS_FIREABLE [altern_cpt_10_1]]]]]

-> the formula is FALSE

FORMULA BridgeAndVehicles-COL-V20P20N10-ReachabilityFireability-6 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 13m21.843sec

checking: AG [[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]] | IS_FIREABLE [enregistrement_A_10]] | IS_FIREABLE [enregistrement_A_11]] | IS_FIREABLE [enregistrement_A_12]] | IS_FIREABLE [enregistrement_A_13]] | IS_FIREABLE [enregistrement_A_14]] | IS_FIREABLE [enregistrement_A_15]] | IS_FIREABLE [enregistrement_A_16]] | IS_FIREABLE [enregistrement_A_17]] | IS_FIREABLE [enregistrement_A_18]] | IS_FIREABLE [enregistrement_A_19]] | IS_FIREABLE [enregistrement_A_2]] | IS_FIREABLE [enregistrement_A_20]] | IS_FIREABLE [enregistrement_A_3]] | IS_FIREABLE [enregistrement_A_4]] | IS_FIREABLE [enregistrement_A_5]] | IS_FIREABLE [enregistrement_A_6]] | IS_FIREABLE [enregistrement_A_7]] | IS_FIREABLE [enregistrement_A_8]] | IS_FIREABLE [enregistrement_A_9]]]
normalized: ~ [E [true U ~ [[IS_FIREABLE [enregistrement_A_9] | [IS_FIREABLE [enregistrement_A_8] | [IS_FIREABLE [enregistrement_A_7] | [IS_FIREABLE [enregistrement_A_6] | [IS_FIREABLE [enregistrement_A_5] | [IS_FIREABLE [enregistrement_A_4] | [IS_FIREABLE [enregistrement_A_3] | [IS_FIREABLE [enregistrement_A_20] | [IS_FIREABLE [enregistrement_A_2] | [IS_FIREABLE [enregistrement_A_19] | [IS_FIREABLE [enregistrement_A_18] | [IS_FIREABLE [enregistrement_A_17] | [IS_FIREABLE [enregistrement_A_16] | [IS_FIREABLE [enregistrement_A_15] | [IS_FIREABLE [enregistrement_A_14] | [IS_FIREABLE [enregistrement_A_13] | [IS_FIREABLE [enregistrement_A_12] | [IS_FIREABLE [enregistrement_A_11] | [IS_FIREABLE [enregistrement_A_10] | [IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]]]]]]]]]]]]]]]]]]]]]]]]

-> the formula is FALSE

FORMULA BridgeAndVehicles-COL-V20P20N10-ReachabilityFireability-7 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m51.990sec

checking: AG [[[IS_FIREABLE [basculement_0] | IS_FIREABLE [basculement_1]] | [[IS_FIREABLE [altern_cpt_10_0] | IS_FIREABLE [altern_cpt_10_1]] | [~ [[IS_FIREABLE [altern_cpt_10_0] | IS_FIREABLE [altern_cpt_10_1]]] | ~ [[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]] | IS_FIREABLE [enregistrement_A_10]] | IS_FIREABLE [enregistrement_A_11]] | IS_FIREABLE [enregistrement_A_12]] | IS_FIREABLE [enregistrement_A_13]] | IS_FIREABLE [enregistrement_A_14]] | IS_FIREABLE [enregistrement_A_15]] | IS_FIREABLE [enregistrement_A_16]] | IS_FIREABLE [enregistrement_A_17]] | IS_FIREABLE [enregistrement_A_18]] | IS_FIREABLE [enregistrement_A_19]] | IS_FIREABLE [enregistrement_A_2]] | IS_FIREABLE [enregistrement_A_20]] | IS_FIREABLE [enregistrement_A_3]] | IS_FIREABLE [enregistrement_A_4]] | IS_FIREABLE [enregistrement_A_5]] | IS_FIREABLE [enregistrement_A_6]] | IS_FIREABLE [enregistrement_A_7]] | IS_FIREABLE [enregistrement_A_8]] | IS_FIREABLE [enregistrement_A_9]]]]]]]
normalized: ~ [E [true U ~ [[[[~ [[IS_FIREABLE [enregistrement_A_9] | [IS_FIREABLE [enregistrement_A_8] | [IS_FIREABLE [enregistrement_A_7] | [IS_FIREABLE [enregistrement_A_6] | [IS_FIREABLE [enregistrement_A_5] | [IS_FIREABLE [enregistrement_A_4] | [IS_FIREABLE [enregistrement_A_3] | [IS_FIREABLE [enregistrement_A_20] | [IS_FIREABLE [enregistrement_A_2] | [IS_FIREABLE [enregistrement_A_19] | [IS_FIREABLE [enregistrement_A_18] | [IS_FIREABLE [enregistrement_A_17] | [IS_FIREABLE [enregistrement_A_16] | [IS_FIREABLE [enregistrement_A_15] | [IS_FIREABLE [enregistrement_A_14] | [IS_FIREABLE [enregistrement_A_13] | [IS_FIREABLE [enregistrement_A_12] | [IS_FIREABLE [enregistrement_A_11] | [IS_FIREABLE [enregistrement_A_10] | [IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]]]]]]]]]]]]]]]]]]]]]] | ~ [[IS_FIREABLE [altern_cpt_10_0] | IS_FIREABLE [altern_cpt_10_1]]]] | [IS_FIREABLE [altern_cpt_10_0] | IS_FIREABLE [altern_cpt_10_1]]] | [IS_FIREABLE [basculement_0] | IS_FIREABLE [basculement_1]]]]]]

-> the formula is TRUE

FORMULA BridgeAndVehicles-COL-V20P20N10-ReachabilityFireability-10 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.217sec

checking: AG [[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]] | IS_FIREABLE [enregistrement_A_10]] | IS_FIREABLE [enregistrement_A_11]] | IS_FIREABLE [enregistrement_A_12]] | IS_FIREABLE [enregistrement_A_13]] | IS_FIREABLE [enregistrement_A_14]] | IS_FIREABLE [enregistrement_A_15]] | IS_FIREABLE [enregistrement_A_16]] | IS_FIREABLE [enregistrement_A_17]] | IS_FIREABLE [enregistrement_A_18]] | IS_FIREABLE [enregistrement_A_19]] | IS_FIREABLE [enregistrement_A_2]] | IS_FIREABLE [enregistrement_A_20]] | IS_FIREABLE [enregistrement_A_3]] | IS_FIREABLE [enregistrement_A_4]] | IS_FIREABLE [enregistrement_A_5]] | IS_FIREABLE [enregistrement_A_6]] | IS_FIREABLE [enregistrement_A_7]] | IS_FIREABLE [enregistrement_A_8]] | IS_FIREABLE [enregistrement_A_9]] | [[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]] | IS_FIREABLE [enregistrement_B_10]] | IS_FIREABLE [enregistrement_B_11]] | IS_FIREABLE [enregistrement_B_12]] | IS_FIREABLE [enregistrement_B_13]] | IS_FIREABLE [enregistrement_B_14]] | IS_FIREABLE [enregistrement_B_15]] | IS_FIREABLE [enregistrement_B_16]] | IS_FIREABLE [enregistrement_B_17]] | IS_FIREABLE [enregistrement_B_18]] | IS_FIREABLE [enregistrement_B_19]] | IS_FIREABLE [enregistrement_B_2]] | IS_FIREABLE [enregistrement_B_20]] | IS_FIREABLE [enregistrement_B_3]] | IS_FIREABLE [enregistrement_B_4]] | IS_FIREABLE [enregistrement_B_5]] | IS_FIREABLE [enregistrement_B_6]] | IS_FIREABLE [enregistrement_B_7]] | IS_FIREABLE [enregistrement_B_8]] | IS_FIREABLE [enregistrement_B_9]]]]
normalized: ~ [E [true U ~ [[[IS_FIREABLE [enregistrement_B_9] | [IS_FIREABLE [enregistrement_B_8] | [IS_FIREABLE [enregistrement_B_7] | [IS_FIREABLE [enregistrement_B_6] | [IS_FIREABLE [enregistrement_B_5] | [IS_FIREABLE [enregistrement_B_4] | [IS_FIREABLE [enregistrement_B_3] | [IS_FIREABLE [enregistrement_B_20] | [IS_FIREABLE [enregistrement_B_2] | [IS_FIREABLE [enregistrement_B_19] | [IS_FIREABLE [enregistrement_B_18] | [IS_FIREABLE [enregistrement_B_17] | [IS_FIREABLE [enregistrement_B_16] | [IS_FIREABLE [enregistrement_B_15] | [IS_FIREABLE [enregistrement_B_14] | [IS_FIREABLE [enregistrement_B_13] | [IS_FIREABLE [enregistrement_B_12] | [IS_FIREABLE [enregistrement_B_11] | [IS_FIREABLE [enregistrement_B_10] | [IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]] | [IS_FIREABLE [enregistrement_A_9] | [IS_FIREABLE [enregistrement_A_8] | [IS_FIREABLE [enregistrement_A_7] | [IS_FIREABLE [enregistrement_A_6] | [IS_FIREABLE [enregistrement_A_5] | [IS_FIREABLE [enregistrement_A_4] | [IS_FIREABLE [enregistrement_A_3] | [IS_FIREABLE [enregistrement_A_20] | [IS_FIREABLE [enregistrement_A_2] | [IS_FIREABLE [enregistrement_A_19] | [IS_FIREABLE [enregistrement_A_18] | [IS_FIREABLE [enregistrement_A_17] | [IS_FIREABLE [enregistrement_A_16] | [IS_FIREABLE [enregistrement_A_15] | [IS_FIREABLE [enregistrement_A_14] | [IS_FIREABLE [enregistrement_A_13] | [IS_FIREABLE [enregistrement_A_12] | [IS_FIREABLE [enregistrement_A_11] | [IS_FIREABLE [enregistrement_A_10] | [IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]]]]]]]]]]]]]]]]]]]]]]]]]


BK_TIME_CONFINEMENT_REACHED

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

check for maximal unmarked siphon
ok
check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok


initing FirstDep: 0m 0.001sec

2774 6993 12404 17124 22565 28994 33029 36192 36390 36846 37258 37702 38434 39182 39854 41126 43063 48312 54061 58431 61116 98771 99839 101823 103176 103261 103370 103484 103622 103820 104010 104910 104914 104942 104978 105017 105077 105170 120150 127164 127152 127198 127889 131840 144907 154732 172488 193132 205952 286737 286967 287157 287287 287467 287737 288007 288277 303062 303114 303070 303080 303103 303101 303124 303110 303104 303062 302978 302974 302995 303000 303014 303032 303083 309968 310042 310094 310144 310468 316340 321038 331344 338700 352270 368364 417479 421837 421225 419967 420171 420238 420284 420316 420341 420359 420400 430284 432504 432258 432177 431664 434872 432016 436720 434704 432016 441448 441362 440696 438772 436722 436828 436927 436936 436993 436985 436991 436899 434547 435203 435545 436929 438697 438343 441983 442711 438343 443023 446395 450581 449531 447151 446519 446695 446750 446796 446837 446885 446904 446723 450323 450485 450629 451573 453865 454585 451705 455545 455545 456025 460297 459109 457525 456235 456441 456471 456542 456567 456601 456627 456514 460357 460522 460666 461450 461330 463970 461330 461330 464410 464384 468254 467138 465030 464470 464631 464673 464713 464748 464779 464801 464666 468874 469045 469270 469940 471344 469424 469424 471944 472384 471046 474500 472992 471368 471468 471525 471568 471603 471634 471668 471635 476169 476103 476268 476291 477521 478025 476225 476225 476225 477121 480311 479501 477665 477177 477309 477352 477386 477441 477447 477454 477365 482142 482246 482543 483003 481947 481947 483483 483227 482055 485151 484251 482551 482073 482227 482260 482304 482317 482339 482349 482283 487292 487328 486900 487620 487900 486780 486780 486780 486270 488974 488284 486720 486304 486414 486451 486479 486526 486526 486527 486484 491638 491671 490920 490170 490170 491010 490818 490434 488436 490621 489529 488353 488404 488323 488310 488293 488271 488235 488214 483493 483226 483115 483368 483010 483768 483764 483032 483968 484124 483396 485240 484408 483536 483580 483517 483504 483487 483465 483429 483403 478461 478309 478205 478209 478553 478719 478149 478773 478689 478163 479646 479211 478395 478185 478204 478174 478192 478138 478113 478073 478036 473784 473680 473566 473748 473822 473492 473492 473772 473186 474092 473852 473308 473172 473179 473157 473141 473121 473087 473056 473019 469465 469417 469261 469241 469129 469129 469255 469196 469141 469059 468851 468637 468644 468619 468586 468601 468539 468511 468478 466122 465795 465561 464750 464972 464860 464660 465108 465060 463378 464350 464152 463672 463384 463395 463384 463384 463384 463384 463419 463396 462854 462836 462922 462903 462768 462768 462960 462928 462716 463208 463064 462872 462728 462735 462721 462714 462681 462656 462616 462579 459191 459103 458926 458887 458822 458822 458822 458842 458543 458474 458390 458287 458267 458257 458243 458266 458243 458243 458249 459040 458840 458704 458266 458158 458359 458390 458152 458152 457415 457862 457686 457470 457414 457412 457412 457412 457429 457412 457412 457412 457095 457125 457115 457142 457115 457067 457067 457101 457288 457232 457148 457048 457004 457011 456983 456964 456941 456903 456874 454326 454046 453930 453320 453323 453138 453124 453304 453272 451812 452216 452002 451802 451768 451753 451753 451753 451753 451753 451756 452559 452352 452245 451861 451892 451801 451797 451797 451889 451304 451268 451164 451070 451035 451029 451020 451035 451020 451020 451023 451672 451498 451082 451000 450996 451089 451085 451068 450270 450504 450456 450336 450276 450238 450231 450231 450231 450231 450254 450237 450693 450525 450141 450135 450212 450212 450196 450123 449431 449636 449564 449441 449400 449394 449405 449394 449394 449415 449394 446957 446759 446407 446331 446267 446241 446291 446255 445350 445535 445451 445303 445289 1071798 1286348 1360582
iterations count:558285 (1018), effective:9187 (16)

initing FirstDep: 0m 0.001sec

281831 288200 293195 297311 301268 304337 335071 357307 387417 444867 471827 499249 548100 572141 596707 650332 671496 693164 709667 758846 777343 796365 810852 856087 871812 888062 904648 942326 955174 968526 982256 1017246 1027763 1038091 1048881 1060007 1087625 1097238 1104920 1112438 1120292 1143288 1149817 1155015 1160201 1165579 1169830 1213848 1213869 1213848 1213971 1213929 1214015 1213944 1214030 1213939 1214016 1214067 1213989 1214043 1214089 1214114 1214050 1214085 1214111 1214131 1214074 1214099 1214115 1214130 1215194 1214586 1221520 1221590 1228413 1309814 1314413 1310684 1311204 1318709 1316835 1312373 1317448 1314482 1317546 1314508 1316576 1317881 1316327 1318931 1313887 1313906 1313944 1313937 1314041 1313985 1313926 1313980 1313892 1313934 1313839 1313864 1313884 1313559 1313619 1313677 1313737 1314622 1313962 1314106 1313706 1313828 1316653 1316607 1316399 1316379 1316151 1316171 1316053 1315963 1315883 1315765 1315575 1315615 1315497 1315337 1315367 1315287 1315169 1315019 1315059 1314979 1314899 1314781 1314771 1314691 1314611 1314531 1314413 1314423 1314343 1314263 1314123 1314083 1313855 1313822 1313727 1313657 1313552 1313492 1313437 1313377 1313307 1313202 1313162 1313102 1313067 1313007 1312947 1312877 1312772 1312732 1312732 1312652 1312617 1312507 1312467 1312427 1312367 1312362 1312302 1312242 1312162 1312122 1311997 1311964 1311869 1311799 1311694 1311634 1311579 1311519 1311449 1311344 1311304 1311244 1311209 1311149 1311089 1311019 1310914 1310934 1310874 1310794 1310689 1310649 1310609 1310569 1310529 1310504 1310444 1310344 1310304 1310264 1310139 1316048 1319264 1319231 1319126 1319066 1319001 1318921 1318846 1318776 1318716 1318611 1318611 1318531 1318426 1318386 1318346 1318286 1318261 1318201 1318141 1318081 1317956 1317996 1317936 1317876 1317796 1317691 1317651 1317611 1317621 1317561 1317491 1323149 1323199 1326152 1326027 1325987 1325902 1325842 1325717 1325717 1325637 1325572 1325492 1325452 1325327 1325347 1325287 1325207 1325102 1325062 1325022 1325012 1324942 1324837 1324797 1324757 1324717 1324677 1324642 1324582 1324492 1324452 1324392 1329833 1329968 1332719 1332666 1332561 1332478 1332426 1332356 1332251 1332211 1332171 1332096 1332036 1331966 1331861 1331871 1331811 1331741 1331636 1331596 1331556 1331516 1331481 1331371 1331331 1331291 1331231 1331226 1331166 1331106 1331026 1330986 1330861 1336389 1338945 1338912 1338807 1338747 1338682 1338602 1338497 1338457 1338417 1338352 1338272 1338232 1338107 1338127 1338067 1337987 1337882 1337842 1337852 1337792 1337722 1337617 1337577 1337537 1337497 1337457 1337422 1337312 1337272 1337232 1337172 1342376 1342551 1344862 1344809 1344734 1344664 1344559 1344499 1344444 1344384 1344314 1344209 1344169 1344129 1344074 1343984 1343944 1343884 1343859 1343799 1343739 1343679 1343554 1343594 1343534 1343474 1343394 1343289 1343339 1343279 1343219 1343159 1343089 1348328 1348398 1350476 1350436 1350331 1350206 1350196 1350126 1350021 1350011 1349941 1349836 1349796 1349736 1349701 1349641 1349581 1349511 1349406 1349426 1349366 1349286 1349181 1349141 1349161 1349101 1349021 1348916 1348876 1348836 1348846 1348786 1348716 1353904 1353979 1355820 1355780 1355674 1355548 1355538 1355468 1355362 1355322 1355282 1355176 1355136 1355076 1355040 1354980 1354920 1354850 1354744 1354764 1354704 1354624 1354518 1354478 1354498 1354438 1354358 1354252 1354212 1354242 1354182 1354122 1354052 1359145 1359220 1360929 1360865 1360802 1360711 1360675 1360584 1360548 1360494 1360457 1360403 1360349 1360240 1360258 1360204 1360132 1360041 1360005 1360014 1359960 1359897 1359806 1359770 1359779 1359725 1359662 1359571 1359535 1359553 1359499 1359427 1359336 1363745 1365385 1365292 1365260 1365183 1365175 1365119 1365042 1365010 1364917 1364925 1364877 1364821 1364800 1364752 1364704 1364648 1364571 1364587 1364539 1364475 1364398 1364366 1364382 1364334 1364270 1364193 1364161 1364185 1364137 1364089 1364033 1367581 1367631 1369108 1369065 1369016 1368952 1368924 1368860 1368832 1368790 1368768 1368726 1368684 1368606 1368620 1368578 1368522 1368458 1368479 1368437 1368395 1368346 1368282 1368303 1368261 1368219 1368170 1368106 1368134 1368092 1368050 1367994 1367930 1370875 1372275 1372211 1372187 1372135 1372129 1372087 1372035 1372011 1371987 1371935 1371911 1371875 1371865 1371829 1371787 1371751 1371747 1371711 1371675 1371639 1371575 1371599 1371563 1371527 1371491 1371427 1371457 1371421 1371385 1371343 1371307 1373520 1373595 1374840 1374814 1374779 1374758 1374718 1374677 1374657 1374637 1374596 1374576 1374556 1374505 1374495 1374475 1374455 1374404 1374419 1374374 1374354 1374324 1374328 1374298 1374253 1374233 1374203 1374212 1374152 1374132 1374112 1374092 1374072 1375790 1376950 1376934 1376903 1376864 1376860 1376832 1376801 1376797 1376769 1376738 1376722 1376706 1376675 1376659 1376643 1376619 1376596 1376580 1376564 1376548 1376532 1376501 1376485 1376469 1376453 1376437 1376406 1376390 1376374 1376374 1376342 1376311 1377580 1378593 1378577 1378559 1378549 1378525 1378503 1378503 1378479 1378457 1378445 1378442 1378421 1378399 1378387 1378375 1378363 1378341 1378329 1378317 1378305 1378283 1378271 1378259 1378259 1378235 1378213 1378201 1378189 1378192 1378174 1378153 1378976 1379886 1379868 1379860 1379846 1379844 1379830 1379816 1379814 1379800 1379786 1379778 1379770 1379756 1379748 1379740 1379728 1379718 1379710 1379702 1379694 1379686 1379672 1379664 1379656 1379654 1379640 1379626 1379618 1379622 1379610 1379594 1379580 1380785 1380781 1380777 1380770 1380763 1380759 1380752 1380748 1380742 1380737 1380733 1380729 1380720 1380718 1380714 1380710 1380701 1380699 1380695 1380691 1380685 1380687 1380676 1380672 1380668 1380662 1380657 1380653 1380649 1380650 1380644 1380637 1380844
iterations count:727727 (1327), effective:4661 (8)
281831 288200 293195 297311 301268 304337 335071 357307 387417 444867 471827 499249 548100 572141 596707 650332 671496 693164 709667 758846 777343 796365 810852 856087 871812 888062 904648 942326 955174 968526 982256 1017246 1027763 1038091 1048881 1060007 1087625 1097238 1104920 1112438 1120292 1143288 1149817 1155015 1160201 1165579 1169830 1213848 1213869 1213848 1213971 1213929 1214015 1213944 1214030 1213939 1214016 1214067 1213989 1214043 1214089 1214114 1214050 1214085 1214111 1214131 1214074 1214099 1214115 1214130 1215194 1214586 1221520 1221590 1228413 1309814 1314413 1310684 1311204 1318709 1316835 1312373 1317448 1314482 1317546 1314508 1316576 1317881 1316327 1318931 1313887 1313906 1313944 1313937 1314041 1313985 1313926 1313980 1313892 1313934 1313839 1313864 1313884 1313559 1313619 1313677 1313737 1314622 1313962 1314106 1313706 1313828 1316653 1316607 1316399 1316379 1316151 1316171 1316053 1315963 1315883 1315765 1315575 1315615 1315497 1315337 1315367 1315287 1315169 1315019 1315059 1314979 1314899 1314781 1314771 1314691 1314611 1314531 1314413 1314423 1314343 1314263 1314123 1314083 1313855 1313822 1313727 1313657 1313552 1313492 1313437 1313377 1313307 1313202 1313162 1313102 1313067 1313007 1312947 1312877 1312772 1312732 1312732 1312652 1312617 1312507 1312467 1312427 1312367 1312362 1312302 1312242 1312162 1312122 1311997 1311964 1311869 1311799 1311694 1311634 1311579 1311519 1311449 1311344 1311304 1311244 1311209 1311149 1311089 1311019 1310914 1310934 1310874 1310794 1310689 1310649 1310609 1310569 1310529 1310504 1310444 1310344 1310304 1310264 1310139 1316048 1319264 1319231 1319126 1319066 1319001 1318921 1318846 1318776 1318716 1318611 1318611 1318531 1318426 1318386 1318346 1318286 1318261 1318201 1318141 1318081 1317956 1317996 1317936 1317876 1317796 1317691 1317651 1317611 1317621 1317561 1317491 1323149 1323199 1326152 1326027 1325987 1325902 1325842 1325717 1325717 1325637 1325572 1325492 1325452 1325327 1325347 1325287 1325207 1325102 1325062 1325022 1325012 1324942 1324837 1324797 1324757 1324717 1324677 1324642 1324582 1324492 1324452 1324392 1329833 1329968 1332719 1332666 1332561 1332478 1332426 1332356 1332251 1332211 1332171 1332096 1332036 1331966 1331861 1331871 1331811 1331741 1331636 1331596 1331556 1331516 1331481 1331371 1331331 1331291 1331231 1331226 1331166 1331106 1331026 1330986 1330861 1336389 1338945 1338912 1338807 1338747 1338682 1338602 1338497 1338457 1338417 1338352 1338272 1338232 1338107 1338127 1338067 1337987 1337882 1337842 1337852 1337792 1337722 1337617 1337577 1337537 1337497 1337457 1337422 1337312 1337272 1337232 1337172 1342376 1342551 1344862 1344809 1344734 1344664 1344559 1344499 1344444 1344384 1344314 1344209 1344169 1344129 1344074 1343984 1343944 1343884 1343859 1343799 1343739 1343679 1343554 1343594 1343534 1343474 1343394 1343289 1343339 1343279 1343219 1343159 1343089 1348328 1348398 1350476 1350436 1350331 1350206 1350196 1350126 1350021 1350011 1349941 1349836 1349796 1349736 1349701 1349641 1349581 1349511 1349406 1349426 1349366 1349286 1349181 1349141 1349161 1349101 1349021 1348916 1348876 1348836 1348846 1348786 1348716 1353904 1353979 1355820 1355780 1355674 1355548 1355538 1355468 1355362 1355322 1355282 1355176 1355136 1355076 1355040 1354980 1354920 1354850 1354744 1354764 1354704 1354624 1354518 1354478 1354498 1354438 1354358 1354252 1354212 1354242 1354182 1354122 1354052 1359145 1359220 1360929 1360865 1360802 1360711 1360675 1360584 1360548 1360494 1360457 1360403 1360349 1360240 1360258 1360204 1360132 1360041 1360005 1360014 1359960 1359897 1359806 1359770 1359779 1359725 1359662 1359571 1359535 1359553 1359499 1359427 1359336 1363745 1365385 1365292 1365260 1365183 1365175 1365119 1365042 1365010 1364917 1364925 1364877 1364821 1364800 1364752 1364704 1364648 1364571 1364587 1364539 1364475 1364398 1364366 1364382 1364334 1364270 1364193 1364161 1364185 1364137 1364089 1364033 1367581 1367631 1369108 1369065 1369016 1368952 1368924 1368860 1368832 1368790 1368768 1368726 1368684 1368606 1368620 1368578 1368522 1368458 1368479 1368437 1368395 1368346 1368282 1368303 1368261 1368219 1368170 1368106 1368134 1368092 1368050 1367994 1367930 1370875 1372275 1372211 1372187 1372135 1372129 1372087 1372035 1372011 1371987 1371935 1371911 1371875 1371865 1371829 1371787 1371751 1371747 1371711 1371675 1371639 1371575 1371599 1371563 1371527 1371491 1371427 1371457 1371421 1371385 1371343 1371307 1373520 1373595 1374840 1374814 1374779 1374758 1374718 1374677 1374657 1374637 1374596 1374576 1374556 1374505 1374495 1374475 1374455 1374404 1374419 1374374 1374354 1374324 1374328 1374298 1374253 1374233 1374203 1374212 1374152 1374132 1374112 1374092 1374072 1375790 1376950 1376934 1376903 1376864 1376860 1376832 1376801 1376797 1376769 1376738 1376722 1376706 1376675 1376659 1376643 1376619 1376596 1376580 1376564 1376548 1376532 1376501 1376485 1376469 1376453 1376437 1376406 1376390 1376374 1376374 1376342 1376311 1377580 1378593 1378577 1378559 1378549 1378525 1378503 1378503 1378479 1378457 1378445 1378442 1378421 1378399 1378387 1378375 1378363 1378341 1378329 1378317 1378305 1378283 1378271 1378259 1378259 1378235 1378213 1378201 1378189 1378192 1378174 1378153 1378976 1379886 1379868 1379860 1379846 1379844 1379830 1379816 1379814 1379800 1379786 1379778 1379770 1379756 1379748 1379740 1379728 1379718 1379710 1379702 1379694 1379686 1379672 1379664 1379656 1379654 1379640 1379626 1379618 1379622 1379610 1379594 1379580 1380785 1380781 1380777 1380770 1380763 1380759 1380752 1380748 1380742 1380737 1380733 1380729 1380720 1380718 1380714 1380710 1380701 1380699 1380695 1380691 1380685 1380687 1380676 1380672 1380668 1380662 1380657 1380653 1380649 1380650 1380644 1380637 1380844
iterations count:727727 (1327), effective:4661 (8)
1172256 1360582
iterations count:2258 (4), effective:191 (0)
241830 264392 264275 266859 266644 269003 268808 271025 273192 272886 274820 276666 277433 278965 280221 288968 289071 289134 289333 289281 289402 290270 298567 310431 310513 310750 310660 310723 310786 311733 313142 312757 320560 373697 385529 389021 396480 400515 403647 405996 413748 416520 419292 426654 428523 430935 433347 440119 442231 443770 445822 451954 453766 455458 456727 462169 463741 465073 466405 470471 471986 473138 474110 474839 478631 479483 480197 480497 480722 483433 484049 484665 484957 485176 494511 494685 494975 494982 495159 495122 495263 495184 495240 495289 495192 495234 495270 495181 495211 495241 495164 495184 495208 495228 495165 495177 495192 495207 497487 496529 498214 497834 499213 500571 501741 502207 503614 508275 507877 512394 559568 560168 559388 559328 560468 559868 559208 560008 559388 559868 559248 559568 559670 559446 559942 562415 561955 561799 561950 561779 561634 561670 561535 561430 561450 561370 561382 561397 560952 560422 560642 560932 560622 560772 560892 560992 561022 561074 562356 559996 569476 572746 575362 580016 582971 585335 590426 593066 595178 596762 601919 603779 605639 606992 611736 613344 614952 619056 620751 621768 623124 624438 628230 629334 630162 631266 634582 635434 636073 636925 637777 640414 641014 641464 642064 642664 644577 644850 645214 645578 645942 648759 655270 655238 655222 655287 655342 655438 655451 655685 655619 655801 658295 663324 664485 665805 667660 667480 667836 668235 668297 668701 668573 668849 668630 668650 668662 667202 667153 667088 667061 667038 666960 667094 666998 667116 667054 667372 667876 668044 668116 668010 667806 667744 667720 667658 667602 667597 667499 667612 667733 667659 667704 668016 668232 668352 668412 668258 668070 668008 667950 667922 667866 667861 667742 667860 667986 667919 668292 668172 668340 668412 668340 668258 668070 668006 667969 667891 667858 667846 667735 667874 667810 667921 667900 668248 668104 668176 668104 668034 667894 667766 667702 667665 667587 667554 667542 667431 667570 667506 667617 667536 667836 667668 667656 667584 667514 667390 667246 667182 667120 667096 667034 666978 666973 666854 666972 667109 667031 666840 666960 666948 666876 666876 666722 666534 666662 666534 666344 666305 666247 666233 666228 666099 666212 666344 666259 666004 666076 666172 666052 665932 665778 665878 665750 665622 665494 665304 665296 665260 665246 665168 665314 665206 665335 665262 665232 665112 664992 664872 664740 664502 664726 664406 664342 664278 664152 664158 664122 664062 664017 663926 664032 664146 664079 663912 663636 663564 663492 663492 663338 663107 663031 662867 662755 662607 662479 662261 662235 662171 661921 661895 661831 661735 661555 661587 661491 661363 661174 661199 661103 660991 660895 660715 660651 660587 660523 660459 660247 660327 660231 660135 660023 659927 659747 659602 659432 659320 659102 659006 658868 658772 658660 658442 658378 658282 658176 658080 657968 657872 657654 657686 657590 657462 657244 657180 657116 657116 656988 656770 656706 656642 656578 656562 656450 670101 670022 700954 702178 703096 706218 707314 708410 711418 712386 713112 715708 716878 717718 718558 720974 721776 722488 723200 725584 726112 726696 727280 729394 729970 730342 730798 731252 733060 733508 733754 734082 735478 735878 736118 736258 736338 737294 737539 737686 737792 737808 737820 743139 743205 743143 743081 742859 743259 743021 743247 742943 743135 742865 742993 742801 742985 743123 742564 742436 742286 742181 741986 741896 741776 741686 741581 741386 741326 741236 741146 741056 740951 740861 740786 740696 740606 740486 740291 740231 740261 740171 740051 739856 739796 739736 739751 739661 739556 752359 752280 781261 782122 783270 786197 787225 788253 791073 791754 792662 795096 796193 796981 797572 800034 800786 801454 802122 804192 804852 805400 805948 807930 808335 808819 809247 809673 811368 811683 812019 812327 813636 813936 814236 814368 814444 814486 815525 815709 815809 815825 815837 820744 820566 820748 820690 820482 820857 820634 820814 820561 820741 820488 820608 820428 820557 820729 820217 820106 819975 819877 819704 819620 819517 819433 819335 819162 819162 819050 818877 818821 818765 818681 818620 818536 818424 818368 818167 818223 818139 818055 817971 817770 817840 817756 817672 817588 817490 829505 829401 856148 857220 858292 860784 861744 862704 865338 866212 866848 867694 870172 870908 871644 873578 874488 875112 875736 877824 878286 878824 879336 881062 881692 882044 882444 882844 884426 884818 885060 885348 885634 886922 887202 887308 887380 887438 888408 888537 888670 888686 888702 893093 893041 893015 892989 893383 893243 893049 893273 893037 893163 892941 893053 892833 893033 893193 892727 892662 892507 892429 892329 892225 892073 892021 891969 891869 891765 891713 891535 891561 891483 891379 891227 891266 891188 891110 891019 890867 890815 890828 890750 890659 890507 890455 890403 890403 890299 890147 901395 925669 926689 927685 930003 931166 932058 932725 935145 935933 936721 939022 939730 940243 940925 943057 943661 944241 944674 946611 947135 947611 948085 949684 950152 950524 950896 952185 952640 952980 953248 953516 954647 954907 955119 955187 955255 956080 956240 956400 956416 956428 958052 960419 960683 960711 960659 960518 960689 960507 960275 960470 960251 960381 960437 960314 960462 960115 960088 960038 959906 959750 959738 959654 959522 959474 959358 959330 959258 959174 959042 959054 958982 958898 958766 958718 958718 958622 958490 958442 958394 958346 958298 958166 958118 958070 958022 958010 957926 968313 968226 991354 992044 992964 995306 996130 996954 999210 999756 1000484 1002432 1003310 1003942 1004416 1006386 1006988 1007524 1008060 1009716 1010244 1010684 1011124 1012710 1013034 1013422 1013766 1014108 1015464 1015716 1015986 1016234 1017282 1017522 1017762 1017870 1017934 1017970 1018802 1018950 1019032 1019048 1019060 1022791 1022649 1022795 1022749 1022583 1022883 1022705 1022849 1022647 1022791 1022589 1022685 1022541 1022643 1022779 1022402 1022365 1022251 1022185 1022116 1022028 1021915 1021871 1021805 1021758 1021670 1021626 1021491 1021513 1021447 1021359 1021246 1021279 1021213 1021147 1021070 1020957 1020990 1020924 1020858 1020781 1020668 1020624 1020646 1020580 1020492 1020379 1030058 1047864 1051390 1052234 1054196 1055181 1055748 1056502 1058550 1059218 1059886 1061668 1062288 1062868 1063446 1065250 1065639 1066131 1066621 1068260 1068704 1069007 1069411 1070863 1071259 1071575 1071812 1072982 1073367 1073655 1073883 1074054 1075068 1075288 1075468 1075513 1075573 1076287 1076423 1076559 1076571 1076587 1077866 1079844 1080068 1080092 1080048 1079874 1080074 1079920 1079724 1079889 1079968 1079792 1079880 1079757 1079881 1079749 1079631 1079566 1079471 1079431 1079346 1079276 1079231 1079171 1079101 1079006 1078966 1078926 1078831 1078791 1078751 1078691 1078676 1078576 1078536 1078496 1078381 1078421 1078361 1078281 1078241 1078126 1078176 1078116 1078026 1077986 1077926 1086924 1086679 1105232 1106210 1106978 1108950 1109466 1110154 1111868 1112682 1113290 1113746 1115516 1116062 1116590 1118104 1118754 1119090 1119538 1120922 1121472 1121858 1122134 1122500 1123820 1124162 1124450 1124666 1125798 1126078 1126322 1126478 1126686 1127606 1127806 1127934 1127976 1128032 1128698 1128822 1128915 1128931 1128947 1130022 1131972 1131774 1131756 1132038 1131888 1131720 1131920 1131762 1131882 1131724 1131784 1131828 1131760 1131872 1131596 1131560 1131470 1131362 1131353 1131290 1131200 1131191 1131128 1131038 1131002 1130948 1130921 1130867 1130804 1130750 1130732 1130678 1130624 1130552 1130462 1130498 1130444 1130390 1130318 1130228 1130273 1130219 1130165 1130111 1130048 1137715 1137555 1154602 1155294 1155986 1157743 1158208 1158828 1160522 1161086 1161634 1162043 1163636 1164112 1164588 1166066 1166518 1166821 1167225 1168568 1168964 1169296 1169545 1170656 1171061 1171353 1171613 1171808 1172825 1173077 1173281 1173422 1173608 1174436 1174616 1174700 1174739 1174781 1175406 1175518 1175578 1175594 1175610 1178288 1178256 1178366 1178332 1178208 1178388 1178264 1178408 1178257 1178365 1178214 1178268 1178128 1178253 1178353 1178088 1177996 1177964 1177888 1177856 1177824 1177748 1177716 1177624 1177632 1177584 1177528 1177452 1177460 1177412 1177356 1177280 1177248 1177248 1177184 1177108 1177076 1177044 1177012 1176980 1176904 1176872 1176840 1176808 1176800 1176744 1183297 1183117 1198441 1199057 1199671 1201081 1201633 1202185 1203689 1204177 1204665 1205843 1206429 1206853 1207277 1208589 1208887 1209247 1209607 1210799 1211137 1211359 1211655 1212713 1213001 1213247 1213421 1213651 1214555 1214779 1214905 1215073 1215773 1215973 1216133 1216169 1216217 1216700 1216825 1216925 1216958 1216974 1216987 1219410 1219444 1219470 1219432 1219274 1219474 1219356 1219470 1219342 1219424 1219280 1219344 1219248 1219336 1219403 1219161 1219098 1219070 1219021 1218979 1218902 1218902 1218846 1218783 1218755 1218748 1218699 1218636 1218608 1218580 1218552 1218489 1218461 1218433 1218391 1218391 1218349 1218286 1218258 1218216 1218223 1218181 1218111 1218083 1218055 1217978 1223492 1234644 1236890 1237430 1237833 1239188 1239672 1240154 1241458 1241779 1242207 1243448 1243844 1244216 1244495 1245643 1245983 1246299 1246613 1247579 1247875 1248135 1248395 1249319 1249508 1249724 1249928 1250674 1250919 1251066 1251214 1251362 1252008 1252148 1252253 1252297 1252341 1252798 1252864 1252952 1252986 1253002 1253011 1255046 1255190 1255206 1255136 1255068 1255196 1255098 1254974 1255079 1255130 1255018 1255074 1254995 1255071 1255110 1254907 1254856 1254820 1254793 1254745 1254694 1254670 1254646 1254595 1254571 1254547 1254484 1254496 1254448 1254424 1254361 1254379 1254343 1254301 1254265 1254268 1254232 1254196 1254160 1254118 1254127 1254091 1254055 1254007 1253983 1253920 1258432 1269421 1269895 1270359 1271431 1271971 1272387 1272697 1273815 1274183 1274551 1275613 1275943 1276183 1276501 1277485 1277767 1278039 1278241 1279135 1279379 1279603 1279825 1280563 1280779 1280955 1281131 1281727 1281937 1282095 1282223 1282351 1282873 1282993 1283093 1283133 1283173 1283556 1283632 1283708 1283724 1283736 1284369 1285580 1285606 1285620 1285596 1285532 1285432 1285552 1285422 1285512 1285412 1285472 1285500 1285456 1285504 1285382 1285362 1285337 1285302 1285262 1285242 1285202 1285182 1285152 1285142 1285112 1285082 1285032 1285042 1285012 1284972 1284932 1284947 1284917 1284887 1284852 1284812 1284827 1284797 1284767 1284732 1284692 1284712 1284682 1284652 1284612 1284572 1288159 1297276 1297769 1298157 1299144 1299492 1299840 1300612 1301021 1301329 1301635 1302520 1302721 1302989 1303748 1304073 1304301 1304472 1305166 1305441 1305637 1305825 1305964 1306624 1306796 1306944 1307055 1307622 1307762 1307886 1307994 1308075 1308535 1308635 1308703 1308739 1308766 1309102 1309166 1309218 1309230 1309246 1310708 1310782 1310684 1310676 1310818 1310768 1310700 1310760 1310682 1310742 1310664 1310704 1310628 1310680 1310732 1310626 1310610 1310580 1310564 1310534 1310510 1310500 1310476 1310448 1310418 1310418 1310386 1310356 1310340 1310340 1310308 1310278 1310262 1310246 1310242 1310214 1310184 1310168 1310152 1310148 1310120 1310090 1310074 1310082 1310058 1310026 1309996 1312685 1320127 1320439 1320751 1321533 1321813 1322023 1322777

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="S_BridgeAndVehicles-COL-V20P20N10"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/users/gast00/fkordon/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

tar xzf /home/mcc/BenchKit/INPUTS/S_BridgeAndVehicles-COL-V20P20N10.tgz
mv S_BridgeAndVehicles-COL-V20P20N10 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2979"
echo " Executing tool marcie"
echo " Input is S_BridgeAndVehicles-COL-V20P20N10, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r173kn-ebro-146433144900126"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 '' ReachabilityFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
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 ;