fond
Model Checking Contest @ Petri Nets 2016
6th edition, Toruń, Poland, June 21, 2016
Execution of r209su-blw3-146445824200021
Last Updated
June 30, 2016

About the Execution of Marcie for AirplaneLD-COL-0050

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
8618.100 3600000.00 3600028.00 20.20 TT????FF?F??T?T? normal

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 AirplaneLD-COL-0050, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r209su-blw3-146445824200021
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1464674247322


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=CTLCardinality.xml --mcc-mode --memory=6 --suppress

parse successfull
net created successfully

Unfolding complete |P|=369|T|=408|A|=1553
Time for unfolding: 0m 1.262sec

Net: AirplaneLD_COL_0050
(NrP: 369 NrTr: 408 NrArc: 1553)

net check time: 0m 0.000sec

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

init dd package: 0m 3.416sec


RS generation: 0m 1.538sec


-> reachability set: #nodes 1446 (1.4e+03) #states 4,471,223 (6)



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

checking: AG [~ [AX [1<=P2_dot]]]
normalized: ~ [E [true U ~ [EX [~ [1<=P2_dot]]]]]

abstracting: (1<=P2_dot) states: 788,103 (5)
.-> the formula is FALSE

FORMULA AirplaneLD-COL-0050-CTLCardinality-3 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 2m10.072sec

checking: EF [AX [~ [1<=sum(Weight_Left_Wheel_Weight1, Weight_Left_Wheel_Weight0)]]]
normalized: E [true U ~ [EX [1<=sum(Weight_Left_Wheel_Weight1, Weight_Left_Wheel_Weight0)]]]

abstracting: (1<=sum(Weight_Left_Wheel_Weight1, Weight_Left_Wheel_Weight0)) states: 1,576,206 (6)
.-> the formula is TRUE

FORMULA AirplaneLD-COL-0050-CTLCardinality-0 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.253sec

checking: AF [stp4_dot<=P3_dot]
normalized: ~ [EG [~ [stp4_dot<=P3_dot]]]

abstracting: (stp4_dot<=P3_dot) states: 4,388,705 (6)
........
EG iterations: 8
-> the formula is TRUE

FORMULA AirplaneLD-COL-0050-CTLCardinality-6 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.569sec

checking: ~ [AF [~ [P4_dot<=sum(Weight_Right_Wheel_Weight1, Weight_Right_Wheel_Weight0)]]]
normalized: EG [P4_dot<=sum(Weight_Right_Wheel_Weight1, Weight_Right_Wheel_Weight0)]

abstracting: (P4_dot<=sum(Weight_Right_Wheel_Weight1, Weight_Right_Wheel_Weight0)) states: 4,468,622 (6)
......
EG iterations: 6
-> the formula is TRUE

FORMULA AirplaneLD-COL-0050-CTLCardinality-1 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.556sec

checking: EX [EX [[2<=sum(Plane_On_Ground_Signal_no_Signal1, Plane_On_Ground_Signal_no_Signal0) & 3<=P2_dot]]]
normalized: EX [EX [[2<=sum(Plane_On_Ground_Signal_no_Signal1, Plane_On_Ground_Signal_no_Signal0) & 3<=P2_dot]]]

abstracting: (3<=P2_dot) states: 0
abstracting: (2<=sum(Plane_On_Ground_Signal_no_Signal1, Plane_On_Ground_Signal_no_Signal0)) states: 0
..-> the formula is FALSE

FORMULA AirplaneLD-COL-0050-CTLCardinality-14 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.030sec

checking: ~ [EG [~ [[1<=P6_dot & sum(Weight_Right_Wheel_Weight1, Weight_Right_Wheel_Weight0)<=stp3_dot]]]]
normalized: ~ [EG [~ [[1<=P6_dot & sum(Weight_Right_Wheel_Weight1, Weight_Right_Wheel_Weight0)<=stp3_dot]]]]

abstracting: (sum(Weight_Right_Wheel_Weight1, Weight_Right_Wheel_Weight0)<=stp3_dot) states: 1,870,223 (6)
abstracting: (1<=P6_dot) states: 1,053,458 (6)
..........
EG iterations: 10
-> the formula is FALSE

FORMULA AirplaneLD-COL-0050-CTLCardinality-15 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 1.162sec

checking: E [EX [P5_dot<=stp2_dot] U EG [P3_dot<=sum(Weight_Left_Wheel_Weight1, Weight_Left_Wheel_Weight0)]]
normalized: E [EX [P5_dot<=stp2_dot] U EG [P3_dot<=sum(Weight_Left_Wheel_Weight1, Weight_Left_Wheel_Weight0)]]

abstracting: (P3_dot<=sum(Weight_Left_Wheel_Weight1, Weight_Left_Wheel_Weight0)) states: 4,208,522 (6)
......
EG iterations: 6
abstracting: (P5_dot<=stp2_dot) states: 4,471,172 (6)
.-> the formula is TRUE

FORMULA AirplaneLD-COL-0050-CTLCardinality-8 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 3.523sec

checking: [EF [1<=sum(Plane_On_Ground_Signal_no_Signal1, Plane_On_Ground_Signal_no_Signal0)] & sum(Plane_On_Ground_Signal_no_Signal1, Plane_On_Ground_Signal_no_Signal0)<=P2_dot]
normalized: [sum(Plane_On_Ground_Signal_no_Signal1, Plane_On_Ground_Signal_no_Signal0)<=P2_dot & E [true U 1<=sum(Plane_On_Ground_Signal_no_Signal1, Plane_On_Ground_Signal_no_Signal0)]]

abstracting: (1<=sum(Plane_On_Ground_Signal_no_Signal1, Plane_On_Ground_Signal_no_Signal0)) states: 1,053,458 (6)

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

475 475 507 537 845 853 860 867 1174 1387 1387 1387 1387 1446 1446 1446 1446 1446 1446
iterations count:19435 (47), effective:214 (0)

initing FirstDep: 0m 0.000sec

2040 2054 2068 2080 2086 2092 2098 2103 2211 2211 2409 2212 2409 2213 2409 2443 2409 2440 2410 2438 2410 2436 2410 2435 2411 2435 2411 2434 2412 2434 2413 2434 2223 2434 2224 2434 2225 2434 2226 2435 2468 2435 2466 2436 2464 2436 2463 2437 2463 2438 2462 2438 2462 2439 2525 2501 2522 2500 2520 2343 2518 2343 2517 2551 2515 2544 2514 2540 2513 2537 2512 2534 2511 2532 2510 2530 2509 2528 2343 2527 2343 2526 2558 2524 2553 2523 2549 2522 2547 2522 2544 2521 2542 2520 2541 2519 2539 2343 2538 2343 2537 2343 2560 2395 2564 2595 2561 2588 2559 2583 2557 2579 2555 2575 2553 2572 2551 2569 2387 2567 2386 2564 2597 2562 2590 2560 2585 2558 2581 2556 2577 2554 2574 2552 2572 2550 2569 2377 2567 2376 2564 2598 2562 2591 2560 2586 2558 2583 2557 2579 2555 2577 2554 2580 2556 2576 2554 2573 2552 2570 2393 2567 2392 2565 2594 2563 2589 2560 2584 2558 2580 2556 2577 2554 2574 2553 2571 2384 2569 2383 2566 2600 2564 2593 2562 2588 2560 2584 2558 2580 2556 2577 2555 2575 2553 2572 2374 2570 2373 2568 2348 2566 2346 2569 2606 2566 2594 2564 2588 2561 2584 2559 2580 2557 2577 2555 2574 2391 2572 2390 2569 2389 2567 2596 2564 2590 2562 2586 2560 2583 2558 2579 2557 2606 2555 2574 2381 2571 2380 2569 2379 2567 2606 2565 2592 2563 2588 2561 2606 2606 2582 2558 2585 2561 2581 2559 2578 2557 2575 2397 2572 2396 2570 2601 2567 2594 2565 2590 2563 2586 2561 2582 2559 2579 2557 2576 2388 2574 2387 2571 2386 2569 2599 2567 2594 2565 2589 2563 2586 2561 2583 2559 2580 2558 2577 2556 2575 2377 2573 2352 2571 2348 2610 2402 2571 2600 2610 2594 2566 2590 2564 2586 2562 2582 2560 2579 2558 2577 2394 2574 2393 2572 2610 2569 2596 2567 2592 2565 2588 2563 2585 2561 2582 2560 2579 2558 2576 2384 2574 2383 2572 2610 2570 2598 2568 2594 2566 2590 2564 2588 2563 2590 2565 2587 2563 2583 2561 2580 2401 2577 2400 2575 2612 2572 2601 2570 2595 2568 2591 2566 2587 2564 2584 2562 2581 2560 2579 2391 2576 2390 2574 2606 2572 2600 2570 2595 2568 2591 2566 2588 2564 2585 2562 2582 2561 2580 2381 2578 2356 2576 2350 2579 2406 2576 2607 2573 2600 2571 2595 2569 2591 2567 2588 2565 2614 2563 2582 2398 2579 2397 2577 2610 2574 2603 2572 2598 2570 2614 2568 2590 2566 2587 2564 2584 2563 2614 2388 2579 2387 2577 2386 2575 2605 2573 2600 2571 2596 2569 2593 2568 2596 2570 2592 2568 2588 2566 2585 2564 2582 2404 2580 2403 2577 2607 2575 2601 2573 2597 2571 2593 2569 2590 2567 2587 2565 2584 2395 2581 2394 2579 2393 2577 2606 2575 2601 2573 2597 2571 2593 2569 2590 2567 2588 2566 2585 2564 2583 2360 2581 2352 2584 2410 2581 2615 2578 2607 2576 2601 2574 2597 2572 2593 2570 2590 2568 2587 2566 2584 2401 2582 2400 2579 2610 2577 2604 2575 2599 2573 2596 2571 2592 2569 2589 2567 2587 2566 2584 2391 2582 2390 2580 2612 2578 2606 2576 2602 2574 2599 2573 2602 2575 2598 2573 2594 2571 2591 2569 2588 2408 2585 2407 2582 2615 2580 2608 2578 2603 2576 2599 2574 2595 2572 2592 2570 2589 2568 2587 2398 2584 2397 2582 2614 2580 2608 2578 2603 2576 2599 2574 2596 2572 2593 2570 2590 2569 2588 2364 2586 2354 2589 2414 2586 2413 2584 2614 2581 2608 2579 2603 2577 2599 2575 2595 2573 2592 2571 2589 2405 2587 2404 2584 2618 2582 2622 2580 2622 2578 2601 2576 2598 2574 2595 2572 2592 2571 2590 2395 2587 2394 2585 2393 2583 2613 2581 2608 2579 2605 2578 2608 2580 2604 2578 2600 2576 2596 2574 2593 2572 2590 2411 2588 2410 2585 2615 2583 2609 2581 2605 2579 2601 2577 2598 2575 2595 2573 2592 2402 2589 2401 2587 2400 2585 2615 2583 2609 2581 2605 2579 2602 2577 2599 2575 2596 2574 2593 2572 2592 2356 2594 2574 2626 2417 2589 2623 2586 2626 2584 2609 2582 2605 2580 2601 2578 2598 2576 2595 2574 2592 2408 2590 2407 2587 2618 2585 2612 2583 2608 2581 2604 2579 2601 2577 2598 2576 2595 2574 2593 2398 2590 2397 2588 2622 2586 2615 2584 2612 2583 2615 2585 2610 2583 2606 2581 2602 2579 2599 2577 2596 2415 2593 2414 2590 2624 2588 2616 2586 2611 2584 2607 2582 2603 2580 2600 2578 2597 2576 2595 2405 2592 2404 2590 2623 2588 2616 2586 2612 2584 2608 2582 2605 2580 2602 2579 2599 2577 2597 2576 2600 2579 2597 2421 2594 2420 2592 2622 2589 2616 2587 2611 2585 2607 2583 2604 2581 2601 2579 2598 2412 2595 2411 2593 2627 2590 2619 2588 2614 2586 2610 2584 2607 2582 2603 2581 2601 2579 2598 2402 2596 2401 2630 2400 2591 2623 2589 2619 2588 2623 2591 2617 2588 2612 2586 2608 2584 2604 2582 2601 2580 2632 2418 2596 2417 2593 2624 2591 2618 2589 2613 2587 2609 2585 2606 2583 2603 2581 2600 2580 2598 2408 2596 2407 2593 2624 2591 2619 2589 2614 2587 2611 2586 2608 2584 2605 2582 2603 2581 2606 2584 2603 2582 2600 2424 2597 2423 2595 2623 2592 2618 2590 2613 2588 2610 2586 2606 2584 2603 2582 2601 2415 2598 2414 2596 2628 2594 2621 2592 2617 2590 2613 2588 2609 2586 2634 2584 2604 2582 2601 2405 2599 2404 2597 2403 2595 2627 2593 2632 2596 2624 2594 2618 2591 2614 2589 2610 2587 2607 2585 2604 2422 2601 2421 2599 2420 2597 2625 2594 2620 2592 2616 2590 2612 2588 2609 2586 2606 2585 2604 2412 2601 2411 2599 2410 2597 2626 2595 2621 2593 2617 2591 2614 2589 2611 2587 2609 2586 2612 2589 2608 2587 2605 2428 2603 2427 2600 2632 2598 2625 2595 2620 2593 2616 2591 2612 2589 2609 2587 2606 2586 2604 2418 2601 2417 2599 2629 2597 2624 2595 2619 2593 2616 2591 2613 2589 2610 2588 2607 2586 2605 2408 2602 2407 2600 2382 2599 2433 2602 2632 2599 2626 2597 2621 2595 2617 2593 2613 2591 2610 2589 2607 2425 2605 2424 2602 2634 2600 2640 2598 2623 2596 2619 2594 2615 2592 2612 2590 2609 2588 2607 2415 2604 2414 2602 2636 2600 2629 2598 2624 2596 2620 2594 2617 2593 2615 2592 2618 2594 2615 2592 2611 2590 2608 2431 2606 2430 2603 2633 2601 2627 2599 2623 2597 2619 2595 2615 2593 2612 2591 2610 2422 2607 2421 2605 2639 2602 2632 2600 2626 2598 2622 2596 2619 2595 2616 2593 2613 2591 2611 2590 2608 2411 2606 2386 2604 2365 2607 2436 2605 2634 2602 2628 2600 2623 2598 2644 2596 2616 2594 2613 2592 2610 2428 2608 2427 2605 2636 2603 2630 2601 2625 2599 2622 2597 2618 2595 2615 2593 2613 2592 2610 2418 2608 2417 2606 2638 2604 2632 2602 2627 2600 2624 2598 2621 2597 2625 2600 2621 2646 2617 2595 2614 2594 2612 2434 2609 2644 2646 2635 2604 2630 2602 2625 2600 2622 2598 2619 2596 2616 2594 2613 2425 2610 2424 2608 2641 2606 2634 2604 2646 2602 2626 2600 2622 2598 2619 2597 2617 2595 2614 2415 2612 2390 2610 2367 2613 2440 2648 2643 2608 2636 2606 2630 2603 2626 2601 2648 2599 2619 2597 2616 2596 2614 2431 2611 2430 2609 2638 2607 2633 2605 2629 2603 2625 2601 2622 2599 2619 2597 2616 2422 2614 2421 2648 2420 2609 2641 2607 2635 2605 2631 2604 2628 2602 2632 2605 2650 2603 2624 2601 2621 2599 2618 2438 2615 2437 2612 2645 2610 2638 2608 2633 2606 2650 2650 2625 2602 2622 2600 2619 2598 2616 2428 2614 2427 2612 2650 2610 2637 2608 2633 2606 2629 2604 2626 2602 2623 2600 2620 2599 2618 2394 2616 2369 2619 2444 2616 2443 2614 2645 2611 2638 2609 2633 2607 2629 2605 2626 2603 2623 2601 2620 2435 2617 2434 2615 2649 2612 2641 2610 2636 2608 2632 2606 2628 2604 2625 2603 2622 2601 2620 2425 2617 2424 2615 2423 2613 2644 2611 2639 2609 2652 2608 2654 2611 2635 2609 2654 2606 2627 2604 2624 2602 2621 2441 2618 2440 2616 2647 2613 2640 2611 2636 2609 2632 2607 2628 2605 2625 2603 2623 2602 2620 2431 2618 2430 2615 2654 2613 2641 2611 2636 2609 2633 2608 2654 2606 2627 2604 2624 2603 2622 2654 2625 2604 2656 2447 2620 2446 2617 2647 2615 2641 2613 2636 2610 2632 2608 2629 2606 2626 2605 2623 2438 2621 2437 2618 2651 2616 2644 2614 2639 2612 2635 2610 2632 2608 2629 2606 2626 2605 2624 2428 2621 2427 2619 2426 2617 2648 2615 2644 2614 2648 2617 2642 2614 2638 2612 2634 2610 2630 2608 2627 2606 2624 2444 2622 2443 2619 2650 2617 2644 2615 2639 2613 2635 2611 2632 2609 2629 2607 2626 2435 2624 2434 2621 2433 2619 2650 2617 2644 2615 2640 2613 2658 2658 2633 2610 2631 2608 2629 2607 2632 2610 2629 2608 2626 2450 2623 2449 2621 2650 2618 2644 2616 2640 2614 2636 2612 2633 2610 2630 2608 2627 2441 2624 2440 2622 2654 2620 2648 2618 2643 2616 2639 2614 2636 2612 2633 2610 2630 2609 2660 2431 2625 2430 2623 2429 2621 2653 2620 2455 2623 2651 2620 2645 2618 2641 2616 2637 2614 2634 2612 2631 2610 2628 2447 2625 2446 2623 2653 2621 2647 2619 2643 2617 2639 2615 2636 2613 2633 2611 2630 2438 2628 2437 2625 2436 2623 2654 2621 2648 2619 2644 2617 2662 2662 2637 2614 2635 2613 2639 2664 2635 2613 2632 2612 2629 2453 2627 2661 2624 2653 2622 2647 2620 2643 2618 2639 2616 2636 2614 2633 2612 2631 2444 2628 2443 2626 2658 2624 2651 2622 2647 2620 2643 2618 2640 2616 2637 2614 2634 2613 2632 2434 2629 2433 2627 2408 2626 2376 2629 2662 2626 2654 2624 2649 2622 2644 2619 2641 2617 2637 2615 2634 2614 2632 2450 2629 2449 2627 2656 2625 2651 2622 2646 2620 2643 2619 2640 2617 2637 2615 2634 2441 2632 2440 2629 2439 2627 2658 2625 2652 2623 2648 2621 2645 2620 2642 2618 2646 2621 2642 2619 2639 2617 2636 2457 2633 2456 2631 2664 2628 2656 2626 2651 2624 2647 2622 2643 2620 2640 2618 2637 2616 2635 2447 2632 2446 2630 2662 2628 2655 2626 2651 2624 2647 2622 2644 2620 2641 2618 2638 2617 2636 2437 2633 2412 2632 2378 2635 2462 2632 2665 2630 2657 2628 2652 2625 2648 2623 2644 2621 2641 2619 2638 2454 2636 2453 2633 2452 2631 2660 2670 2655 2626 2650 2624 2647 2623 2644 2621 2641 2619 2638 2444 2636 2443 2633 2442 2631 2662 2629 2657 2627 2653 2626 2650 2624 2654 2627 2650 2625 2646 2623 2643 2621 2640 2460 2637 2459 2634 2667 2632 2660 2630 2655 2628 2651 2626 2647 2624 2644 2622 2641 2620 2639 2450 2636 2449 2634 2666 2632 2660 2630 2655 2628 2651 2626 2648 2624 2645 2622 2642 2621 2640 2416 2638 2380 2642 2466 2639 2465 2636 2668 2634 2661 2631 2656 2629 2652 2627 2648 2625 2645 2623 2642 2457 2674 2456 2637 2455 2635 2664 2633 2659 2630 2674 2629 2651 2627 2648 2625 2645 2623 2642 2674 2640 2446 2638 2445 2674 2667 2674 2674 2632 2658 2630 2663 2633 2658 2631 2653 2629 2650 2627 2647 2625 2644 2463 2641 2462 2638 2671 2636 2664 2634 2659 2632 2655 2630 2651 2628 2648 2626 2645 2624 2643 2453 2640 2452 2638 2671 2636 2664 2634 2660 2632 2656 2630 2652 2628 2676 2627 2647 2625 2645 2624 2649 2627 2678 2469 2643 2468 2640 2672 2638 2665 2635 2660 2633 2656 2631 2652 2629 2649 2627 2646 2460 2644 2459 2641 2458 2639 2669 2637 2663 2635 2659 2633 2655 2631 2652 2629 2649 2627 2647 2626 2644 2449 2642 2448 2640 2673 2638 2668 2636 2674 2640 2667 2637 2662 2635 2657 2633 2654 2631 2651 2629 2648 2466 2645 2465 2642 2676 2640 2668 2638 2663 2636 2659 2634 2656 2632 2652 2630 2650 2628 2647 2456 2645 2455 2642 2676 2640 2669 2638 2664 2636 2660 2634 2657 2633 2654 2631 2652 2630 2656 2633 2682 2631 2649 2472 2647 2471 2644 2676 2642 2669 2639 2664 2637 2660 2635 2656 2633 2653 2631 2650 2630 2648 2462 2645 2461 2643 2673 2641 2668 2639 2663 2637 2660 2635 2657 2633 2654 2632 2651 2630 2649 2452 2646 2451 2644 2426 2643 2477 2646 2678 2644 2671 2641 2666 2639 2684 2637 2658 2635 2655 2633 2652 2469 2649 2468 2647 2684 2644 2673 2642 2668 2640 2684 2638 2660 2636 2657 2634 2654 2633 2651 2459 2649 2458 2647 2457 2645 2674 2643 2669 2641 2665 2639 2662 2637 2660 2636 2664 2639 2660 2637 2657 2635 2654 2475 2651 2474 2648 2681 2646 2673 2644 2668 2641 2664 2639 2661 2637 2658 2636 2655 2634 2652 2465 2650 2464 2647 2679 2645 2673 2643 2668 2641 2686 2686 2661 2638 2658 2636 2656 2634 2653 2455 2651 2430 2686 2387 2653 2480 2650 2682 2648 2675 2645 2670 2643 2666 2641 2662 2639 2659 2637 2656 2472 2653 2471 2651 2470 2649 2678 2646 2672 2644 2668 2642 2665 2640 2661 2639 2659 2637 2656 2462 2654 2461 2651 2460 2649 2680 2647 2675 2645 2670 2643 2668 2642 2672 2645 2668 2643 2664 2641 2661 2639 2658 2478 2655 2477 2690 2686 2650 2678 2648 2673 2646 2669 2644 2665 2642 2662 2640 2659 2638 2657 2468 2654 2467 2652 2684 2650 2678 2648 2673 2646 2669 2644 2666 2642 2663 2641 2661 2639 2658 2434 2656 2389 2660 2484 2657 2483 2654 2687 2652 2680 2650 2674 2647 2670 2645 2667 2643 2663 2641 2692 2640 2658 2474 2655 2473 2653 2683 2651 2677 2649 2673 2647 2669 2645 2666 2643 2663 2641 2661 2640 2658 2464 2656 2463 2654 2686 2652 2680 2650 2677 2649 2682 2652 2677 2650 2672 2647 2694 2645 2665 2643 2662 2481 2659 2480 2657 2694 2654 2683 2652 2678 2650 2674 2648 2670 2646 2667 2644 2664 2643 2661 2471 2659 2470 2657 2691 2654 2694 2652 2679 2650 2675 2649 2671 2647 2668 2645 2665 2694 2664 2642 2667 2645 2664 2644 2661 2486 2659 2693 2656 2685 2654 2679 2652 2675 2650 2671 2648 2668 2646 2665 2644 2662 2477 2660 2476 2658 2689 2655 2683 2653 2678 2651 2674 2649 2671 2648 2668 2646 2665 2644 2663 2467 2661 2466 2659 2465 2657 2688 2655 2391 2559 2587 2556 2581 2554 2577 2552 2573 2550 2570 2548 2567 2546 2564 2383 2561 2382 2559 2589 2557 2583 2555 2579 2553 2575 2551 2572 2549 2569 2547 2566 2374 2564 2373 2561 2372 2559 2590 2557 2584 2555 2580 2553 2576 2551 2573 2550 2317 2295
iterations count:2531741 (6205), effective:136529 (334)

iterations count:595 (1), effective:5 (0)
1491 1559 1573 1587 1602 1608 1614 1620 1626
iterations count:9936 (24), effective:301 (0)
1508 1522 1534 1546 1552 1558 1564 1569 1677 1677 1877 1678 1920 1679 1880 1680 1881 1681 1882 1682 1883 1683 1885 1684 1886 1926 1887 1923 1889 1923 1890 1923 1892 1924 1893 1924 1895 1925 1896 1926 1898 1927 1899 1928 1901 1929 1902 1931 1904 1932 1906 1933 1907 1935 1909 1999 1972 1998 1972 1997 1972 1996 1972 1995 1972 1994 1972 1993 1972 1993 1972 1992 1972 1992 1809 1992 1809 1991 1809 1991 1809 1991 2038 1991 2024 1991 2022 1991 2020 1991 2019 1991 2018 1991 2017 1991 2017 1992 2016 1992 2016 1992 2016 1992 2040 2017 2045 2021 2043 2020 2042 2019 2040 2018 2038 2017 2037 2016 2035 1854 2034 1853 2032 1852 2031 1851 2030 2064 2029 2060 2028 2057 2027 2054 2026 2052 2025 2050 2024 2048 2023 2047 2022 2045 2021 2044 2020 2076 2020 2041 2019 2040 2018 2039 2018 2039 2017 2043 2021 2041 2019 2039 2018 2038 1859 2036 1858 2035 1857 2033 1856 2032 2066 2031 2062 2030 2059 2029 2056 2028 2054 2027 2052 2026 2050 2025 2048 2024 2078 2023 2045 2022 2044 2021 2042 2020 2041 2020 2040 2019 2039 2018 2038 2018 2037 1814 2070 1812 2040 2020 2039 1863 2037 1862 2036 1861 2034 2069 2033 2064 2032 2061 2031 2058 2030 2056 2029 2072 2028 2052 2027 2050 2026 2048 2025 2047 2024 2045 2023 2044 2022 2042 2021 2041 2020 2040 2020 2039 1844 2038 1843 2037 1842 2036 1841 2035 1816 2035 1813 2038 1866 2037 1865 2036 2068 2034 2064 2033 2061 2032 2058 2031 2056 2030 2054 2029 2052 2028 2050 2027 2048 2026 2047 2025 2045 2024 2044 2023 2043 2022 2042 1850 2040 1849 2039 1848 2038 1847 2037 1846 2036 1845 2035 2074 2035 2066 2034 2065 2033 2072 2037 2084 2036 2064 2034 2061 2033 2084 2032 2056 2031 2054 2030 2052 2029 2051 2028 2049 2027 2047 2026 2046 2025 2045 2024 2043 1855 2042 1854 2041 1853 2040 1852 2039 1851 2038 2076 2037 2068 2036 2066 2035 2063 2034 2084 2033 2060 2033 2059 2032 2064 2036 2062 2035 2059 2033 2057 2032 2055 2031 2053 2030 2051 2029 2050 2028 2048 2027 2047 2026 2045 1860 2044 1859 2043 1858 2042 1857 2041 1856 2039 2072 2038 2069 2037 2066 2037 2064 2036 2062 2035 2060 2034 2059 2033 2057 2032 2056 2032 2055 2031 2060 2035 2058 2034 2056 2032 2054 2031 2052 2030 2051 2029 2049 2028 2048 1865 2046 1864 2045 1863 2044 1862 2088 1861 2041 2088 2040 2070 2039 2068 2038 2065 2037 2063 2036 2061 2088 2060 2035 2058 2034 2057 2033 2088 2032 2054 2032 2053 2031 2053 2031 2057 2034 2055 2033 2053 2032 2052 2031 2050 2030 2049 1869 2047 1868 2046 1867 2045 1866 2043 2076 2042 2072 2041 2069 2040 2067 2039 2065 2038 2063 2037 2061 2036 2060 2035 2058 2035 2057 2034 2055 2033 2054 2032 2053 2032 2052 2031 2051 2030 2082 2030 2055 2033 2053 2032 2051 1874 2050 1873 2048 1872 2047 1871 2046 2084 2045 2075 2043 2072 2042 2069 2041 2067 2040 2065 2039 2063 2038 2061 2037 2060 2036 2058 2036 2057 2035 2056 2034 2054 2033 2053 2032 2052 2032 2051 1854 2050 1853 2049 1828 2049 1819 2053 1878 2051 1877 2050 1876 2048 2094 2047 2078 2046 2086 2045 2072 2043 2069 2042 2067 2041 2065 2040 2063 2039 2062 2038 2060 2037 2059 2037 2057 2036 2056 2035 2055 2034 2054 1860 2094 1859 2051 1858 2050 1857 2094 1856 2049 1855 2048 1830 2047 1820 2051 1880 2050 2082 2048 2078 2047 2075 2046 2072 2045 2070 2044 2068 2043 2066 2042 2064 2041 2062 2040 2061 2039 2059 2038 2058 2037 2057 2036 2055 1865 2054 1864 2053 1863 2052 1862 2051 1861 2050 2085 2049 2081 2048 2079 2047 2076 2047 2076 2046 2082 2050 2090 2049 2098 2047 2073 2046 2090 2045 2068 2044 2098 2043 2065 2042 2063 2041 2098 2040 2060 2039 2059 2038 2057 1870 2056 1869 2055 1868 2054 1867 2053 1866 2052 2085 2051 2082 2050 2079 2049 2077 2048 2075 2047 2073 2046 2072 2046 2071 2045 2076 2049 2074 2048 2092 2092 2069 2045 2100 2044 2066 2043 2064 2042 2062 2041 2061 2040 2060 1875 2058 1874 2057 1873 2056 1872 2055 1871 2054 2086 2053 2083 2052 2080 2051 2078 2050 2076 2049 2074 2048 2073 2047 2071 2046 2070 2046 2068 2045 2068 2045 2073 2048 2071 2047 2069 2046 2067 2045 2065 2044 2064 2043 2062 2042 2061 1879 2059 1878 2058 1877 2057 1876 2056 2094 2055 2085 2094 2082 2102 2080 2094 2078 2051 2076 2050 2074 2049 2102 2048 2071 2047 2070 2046 2068 2046 2067 2045 2066 2044 2066 2044 2070 2047 2068 2046 2104 2045 2065 2044 2063 1884 2062 1883 2061 1882 2059 1881 2058 2096 2057 2088 2056 2096 2055 2082 2054 2080 2053 2078 2052 2076 2051 2074 2050 2073 2049 2071 2048 2070 2047 2069 2047 2067 2046 2066 2045 2065 2044 2064 2044 2064 2096 2068 2047 2066 2046 2065 1888 2063 1887 2062 1886 2061 2096 2059 2091 2058 2087 2057 2085 2056 2082 2055 2080 2054 2078 2053 2076 2052 2075 2051 2073 2050 2072 2049 2070 2048 2069 2048 2068 2047 2067 2046 2066 1869 2098 1868 2064 1867 2063 1842 2062 1826 2066 1892 2065 1891 2063 1890 2062 2095 2061 2091 2108 2088 2058 2085 2057 2083 2056 2100 2055 2079 2054 2077 2053 2075 2052 2074 2051 2072 2050 2071 2108 2070 2049 2068 2048 2067 1874 2066 1873 2065 1872 2064 1871 2063 1870 2062 1869 2061 2100 2061 1895 2065 1894 2064 2095 2062 2102 2061 2088 2060 2086 2059 2083 2110 2081 2056 2079 2055 2078 2054 2076 2053 2074 2110 2073 2052 2072 2051 2070 2050 2069 1879 2068 1878 2067 1877 2066 1876 2065 1875 2064 2098 2063 2095 2062 2092 2061 2090 2060 2089 2060 2096 2064 2112 2063 2089 2061 2087 2060 2112 2059 2082 2058 2080 2057 2079 2056 2077 2055 2075 2054 2074 2053 2073 2052 2071 1884 2070 1883 2069 1882 2068 1881 2067 1880 2066 2099 2065 2096 2064 2093 2063 2091 2062 2089 2061 2087 2060 2086 2060 2085 2059 2091 2063 2088 2062 2086 2061 2084 2114 2082 2058 2080 2057 2078 2056 2077 2055 2075 2054 2074 2114 2072 1888 2071 1887 2070 1886 2069 1885 2068 2101 2067 2114 2066 2095 2065 2092 2064 2090 2063 2089 2062 2087 2061 2085 2060 2084 2060 2083 2059 2082 2059 2087 2062 2085 2061 2083 2060 2081 2059 2080 2058 2078 2057 2076 2056 2075 1893 2074 1892 2072 1891 2071 1890 2070 2104 2069 2100 2068 2097 2067 2094 2066 2092 2065 2090 2064 2089 2063 2087 2062 2085 2061 2084 2061 2083 2060 2082 2059 2080 2058 2080 2058 2085 2062 2083 2061 2081 2060 2079 2059 2078 2058 2076 1897 2075 1896 2074 1895 2072 2118 2071 2103 2070 2100 2069 2097 2068 2095 2067 2118 2066 2091 2065 2089 2064 2087 2063 2086 2062 2084 2062 2083 2061 2082 2060 2081 2059 2080 2059 2079 2058 2078 2058 2083 2061 2081 2060 2079 1902 2078 1901 2077 1900 2075 1899 2074 2107 2073 2103 2112 2100 2070 2097 2069 2095 2068 2093 2067 2091 2066 2089 2065 2088 2112 2086 2064 2085 2063 2084 2062 2120 2061 2081 2061 2080 2060 2079 1882 2078 1881 2077 1856 2077 1833 2081 1906 2080 1905 2078 1904 2077 1903 2075 2107 2074 2104 2073 2101 2072 2098 2071 2096 2070 2094 2069 2092 2068 2090 2067 2089 2066 2087 2065 2086 2064 2122 2063 2083 2062 2082 2062 2081 1887 2080 1886 2079 1885 2078 1884 2077 1883 2076 1858 2076 1834 2080 1908 2124 2113 2077 2108 2076 2116 2075 2102 2073 2099 2072 2097 2071 2095 2070 2093 2069 2091 2068 2090 2067 2088 2066 2087 2065 2085 2065 2084 2064 2083 1892 2082 1891 2081 1890 2080 1889 2079 1888 2078 2112 2077 2109 2076 2106 2075 2105 2075 2114 2079 2109 2078 2106 2076 2103 2075 2100 2074 2098 2073 2096 2072 2094 2071 2092 2070 2091 2069 2089 2068 2088 2067 2087 2066 2085 1897 2084 1896 2083 1895 2082 1894 2081 1893 2080 2113 2079 2110 2078 2126 2077 2105 2076 2103 2075 2102 2075 2101 2074 2107 2078 2104 2077 2102 2076 2100 2075 2128 2073 2096 2072 2094 2071 2092 2070 2091 2069 2089 2068 2088 2068 2128 1901 2085 1900 2084 1899 2083 1898 2082 2120 2081 2112 2080 2109 2079 2107 2078 2105 2077 2103 2076 2101 2128 2100 2075 2120 2074 2098 2074 2122 2078 2101 2076 2099 2075 2097 2074 2095 2073 2094 2072 2092 2071 2091 2070 2089 1906 2088 1905 2087 1904 2085 1903 2084 2119 2083 2115 2082 2112 2081 2109 2080 2107 2079 2105 2078 2103 2077 2102 2077 2100 2076 2099 2075 2097 2074 2096 2074 2096 2073 2101 2077 2099 2076 2097 2075 2095 2074 2094 2073 2092 2072 2091 1910 2089 1909 2088 1908 2087 1907 2086 2118 2132 2115 2083 2112 2082 2132 2081 2107 2080 2105 2132 2104 2079 2102 2078 2101 2077 2099 2076 2098 2075 2097 2075 2096 2074 2132 2073 2094 2073 2099 2077 2097 2076 2095 2075 2094 2074 2092 1914 2091 1913 2090 1912 2088 2123 2087 2134 2086 2115 2085 2134 2084 2110 2083 2108 2082 2106 2081 2104 2080 2103 2079 2101 2078 2100 2077 2099 2077 2097 2076 2096 2075 2095 2074 2094 2074 2093 1870 2093 1840 2097 2136 2096 1919 2094 1918 2093 1917 2091 1916 2090 2123 2089 2119 2088 2116 2086 2113 2085 2111 2084 2109 2083 2107 2082 2105 2081 2104 2080 2102 2080 2101 2079 2128 2078 2098 2077 2097 2076 2096 2076 2095 1899 2094 1898 2093 1897 2092 1872 2092 1841 2096 1922 2095 1921 2093 1920 2092 2124 2130 2120 2089 2117 2088 2115 2087 2112 2086 2110 2085 2108 2084 2138 2083 2105 2082 2103 2081 2102 2080 2101 2079 2099 2130 2098 2078 2097 1904 2096 1903 2095 1902 2094 1901 2093 1900 2092 2127 2091 2126 2091 1925 2095 1924 2094 2126 2092 2122 2091 2119 2090 2116 2089 2114 2088 2132 2132 2110 2085 2108 2084 2106 2132 2105 2083 2103 2082 2102 2081 2140 2080 2099 1909 2098 1908 2097 1907 2096 1906 2095 1905 2094 2128 2093 2125 2092 2122 2091 2120 2140 2140 2090 2128 2094 2124 2093 2120 2092 2118 2091 2115 2089 2113 2088 2111 2087 2109 2086 2108 2085 2106 2084 2105 2083 2103 2082 2102 2082 2101 1913 2099 1912 2098 1911 2097 1910 2096 2131 2095 2127 2094 2124 2093 2122 2092 2120 2092 2118 2091 2116 2090 2116 2090 2122 2094 2136 2144 2117 2091 2115 2090 2113 2089 2111 2088 2109 2087 2108 2086 2106 2085 2105 2084 2103 1918 2102 1917 2101 1916 2100 1915 2144 1914 2097 2130 2096 2127 2095 2124 2144 2122 2094 2120 2093 2118 2092 2117 2091 2115 2090 2114 2090 2113 2089 2119 2093 2117 2092 2115 2091 2113 2090 2111 2089 2109 2088 2108 2087 2106 2086 2105 1922 2104 1921 2102 1920 2101 1919 2100 2134 2099 2130 2098 2127 2097 2125 2096 2122 2095 2138 2094 2119 2093 2117 2092 2116 2092 2114 2091 2113 2090 2112 2089 2111 2089 2117 2093 2115 2092 2113 2091 2111 2090 2110 2089 2108 2088 2107 1926 2105 1925 2104 1924 2103 1923 2102 2134 2100 2148 2099 2128 2098 2125 2097 2123 2096 2121 2095 2120 2095 2118 2094 2148 2093 2115 2092 2114 2091 2113 2091 2111 2090 2110 2089 2110 2089 2115 2093 2113 2092 2142 2091 2110 2090 2108 1930 2107 1929 2106 1928 2104 2139 2103 2135 2102 2131 2101 2129 2100 2126 2099 2124 2098 2122 2097 2121 2096 2119 2095 2117 2094 2116 2093 2115 2093 2142 2092 2112 2091 2111 2090 2110 2090 2109 1886 2109 1848 2114 2093 2112 2092 2110 1934 2109 1933 2108 1932 2106 2140 2105 2136 2104 2133 2103 2130 2102 2128 2144 2125 2152 2144 2144 2122 2098 2120 2097 2119 2096 2117 2095 2116 2094 2115 2093 2113 2093 2112 2092 2111 1915 2110 1914 2109 1913 2108 1888 2108 1849 2113 1938 2111 1937 2110 1936 2108 2142 2107 2138 2106 2134 2146 2154 2103 2129 2102 2127 2101 2125 2100 2123 2099 2154 2098 2120 2097 2154 2146 2117 2096 2116 2095 2115 2094 2113 1920 2112 1919 2111 1918 2110 1917 2109 1916 2108 1915 2108 2146 2107 1850 2112 1940 2110 2144 2109 2148 2108 2136 2106 2133 2105 2131 2104 2129 2103 2127 2102 2125 2101 2123 2100 2121 2099 2120 2098 2119 2097 2117 2096 2116 2096 2115 1924 2114 1923 2113 1922 2112 1921 2111 1920 2110 2143 2109 2140 2108 2138 2107 2137 2107 2147 2111 2142 2110 2138 2158 2135 2107 2133 2106 2130 2105 2128 2104 2126 2103 2125 2102 2123 2101 2122 2100 2120 2099 2119 2098 2117 1929 2116 1928 2115 1927 2114 1926 2113 1925 2112 2146 2111 2143 2110 2140 2109 2138 2108 2136 2107 2134 2107 2133 2106 2141 2111 2160 2109 2135 2108 2132 2107 2130 2106 2128 2105 2127 2104 2125 2103 2123 2102 2122 2101 2120 2100 2119 1933 2118 1932 2117 1931 2160 1930 2114 1929 2113 2146 2112 2143 2111 2140 2160 2138 2110 2136 2109 2134 2108 2133 2107 2131 2106 2131 2106 2137 2110 2135 2109 2132 2108 2130 2107 2129 2106 2127 2105 2125 2104 2124 2103 2122 2102 2121 1937 2120 1936 2118 1935 2117 1934 2116 2150 2115 2146 2114 2143 2113 2141 2112 2139 2111 2137 2110 2135 2109 2134 2109 2132 2108 2131 2107 2162 2106 2129 2106 2135 2110 2133 2109 2131 2108 2129 2107 2127 2106 2126 2105 2124 2104 2123 1941 2121 1940 2120 1939 2119 1938 2118 2151 2117 2147 2116 2144 2156 2142 2114 2140 2113 2138 2112 2136 2111 2156 2110 2133 2109 2132 2108 2130 2108 2129 2107 2128 2106 2128 2106 2133 2110 2131 2109 2129 2108 2128 2107 2126 2106 2125 1945 2123 1944 2122 1943 2121 1942 2120 2152 2118 2148 2117 2158 2116 2143 2115 2141 2114 2139 2113 2137 2112 2136 2112 2134 2111 2133 2110 2166 2109 2130 2108 2129 2108 2128 2107 2127 2106 2127 2106 2132 2110 2130 2109 2128 2108 2127 1949 2125 1948 2124 1947 2123 1946 2121 2168 2120 2150 2119 2147 2118 2145 2117 2142 2116 2168 2115 2139 2114 2137 2113 2160 2112 2134 2111 2133 2111 2168 2110 2130 2109 2129 2108 2128 2108 2127 1929 2126 1904 2126 1857 2131 2110 2129 1953 2128 1952 2126 1951 2125 1950 2162 2170 2122 2152 2121 2149 2120 2146 2119 2144 2118 2142 2117 2140 2116 2139 2115 2137 2114 2136 2113 2134 2112 2133 2162 2132 2111 2170 2110 2129 1934 2128 1933 2127 1932 2126 1931 2170 1906 2125 1858 2130 1956 2128 1955 2127 1954 2126 2158 2124 2154 2123 2151 2122 2148 2121 2146 2120 2144 2119 2142 2118 2140 2117 2139 2116 2137 2115 2136 2114 2134 2113 2133 2112 2132 2112 2131 1938 2130 1937 2129 1936 2128 1935 2127 1934 2126 2160 2125 2159 2125 1859
iterations count:2599264 (6370), effective:204101 (500)

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="AirplaneLD-COL-0050"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/home/hulinhub/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/AirplaneLD-COL-0050.tgz
mv AirplaneLD-COL-0050 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 AirplaneLD-COL-0050, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r209su-blw3-146445824200021"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
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 ;