fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r340-tall-167889212700072
Last Updated
May 14, 2023

About the Execution of LoLA for RERS17pb114-PT-6

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
8477.075 1800000.00 4687533.00 10066.60 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r340-tall-167889212700072.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is RERS17pb114-PT-6, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r340-tall-167889212700072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 6.6K Feb 26 04:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 04:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 04:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 04:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 04:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 152K Feb 26 04:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 04:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 26 04:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 73M Mar 5 18:23 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1679017606327

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=RERS17pb114-PT-6
Not applying reductions.
Model is PT
QuasiLiveness PT
starting LoLA
BK_INPUT RERS17pb114-PT-6
BK_EXAMINATION: QuasiLiveness
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: QuasiLiveness
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393232 kB
MemFree: 2243260 kB
After kill :
MemTotal: 16393232 kB
MemFree: 10671864 kB

BK_TIME_CONFINEMENT_REACHED

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_40803_a39_SIGPROF
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_14751_a10_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_107367_a15_SIGPOLL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_99225_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_116576_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_127020_a71_SIGVTALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_135992_a19_SIGSYS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_102232_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_4884_a33_SIGKILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_81616_a4_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_104022_a58_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_105960_a82_SIGBUS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_37460_a25_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_65967_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_84971_a41_SIGSEGV
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_98557_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_72748_a24_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_22483_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_137699_a14_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_30811_a109_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_58041_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_79846_a4_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: LAUNCH SYMM
lola: STATE EQUATION TRIES TRANSITION t_70034_a100_SIGBUS
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 0 secs
lola: STATE EQUATION TRIES TRANSITION t_117574_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_129387_a21_SIGINFO
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 5 secs
lola: STATE EQUATION TRIES TRANSITION t_126400_a71_SIGVTALRM
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 10 secs
lola: STATE EQUATION TRIES TRANSITION t_60318_a26_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_37395_a25_SIGINFO
lola: 0 generators; 1018878 candidates remain ( 0%), 15 secs
lola: STATE EQUATION TRIES TRANSITION t_76002_a114_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 20 secs
lola: STATE EQUATION TRIES TRANSITION t_76308_a114_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_80121_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_107994_a15_SIGPOLL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_113809_a89_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_7512_a59_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_93644_a91_SIGPIPE
lola: STATE EQUATION TRIES TRANSITION t_108824_a15_SIGPOLL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_50017_a87_SIGALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_9218_a36_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_18483_a40_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_72716_a24_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_124362_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_107710_a15_SIGPOLL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_54516_a18_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_60205_a108_SIGINT
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_36886_a20_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_66342_a23_SIGHUP
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_109273_a15_SIGPOLL
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_115250_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_117468_a96_SIGABRT
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_19268_a118_SIGVTALRM
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_119907_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_64892_a64_SIGVTALRM
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_30040_a109_SIGTRAP
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_24572_a93_SIGTRAP
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_90379_a13_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_88874_a83_SIGUSR2
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_56227_a3_SIGKILL
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_98932_a51_SIGPWR
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_94509_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_148390_a73_SIGURG
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_141981_a90_SIGINFO
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_120978_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_120673_a102_SIGTERM
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_142130_a90_SIGINFO
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_2681_a56_SIGPWR
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_53559_a18_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_148574_a73_SIGURG
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_81886_a4_SIGTSTP
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_108779_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_77268_a55_SIGABRT
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_129794_a21_SIGINFO
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_148516_a73_SIGURG
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_118282_a72_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_120210_a102_SIGTERM
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_77306_a55_SIGABRT
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_8275_a16_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_54044_a18_SIGTERM
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_25465_a93_SIGTRAP
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_64508_a64_SIGVTALRM
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_101914_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_49425_a87_SIGALRM
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_49026_a87_SIGALRM
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_55520_a65_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_123741_a102_SIGTERM
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_79027_a4_SIGTSTP
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_60296_a26_SIGCHLD
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_84006_a74_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_137473_a14_SIGDEADLK
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_8986_a16_SIGALRM
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_100949_a51_SIGPWR
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_116049_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_132174_a84_SIGINT
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_26646_a76_SIGILL
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_103534_a58_SIGTERM
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_52911_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_48626_a87_SIGALRM
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_72345_a24_SIGCHLD
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_7952_a59_SIGUSR1
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_35124_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_3398_a31_SIGXFSZ
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_125203_a88_SIGPWR
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_140694_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_54787_a18_SIGTERM
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_41130_a39_SIGPROF
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_27442_a76_SIGILL
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_2772_a56_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_27776_a76_SIGILL
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_57351_a34_SIGTSTP
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_115993_a96_SIGABRT
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_83650_a112_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_145725_a119_SIGSTOP
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_33546_a78_SIGSYS
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_117406_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_22943_a93_SIGTRAP
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_23788_a93_SIGTRAP
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_81435_a4_SIGTSTP
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_134220_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_4091_a31_SIGXFSZ
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_32300_a109_SIGTRAP
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_83634_a112_SIGHUP
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_60528_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_103276_a58_SIGTERM
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_93137_a91_SIGPIPE
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_30322_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_125539_a88_SIGPWR
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_9608_a17_SIGPROF
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_17157_a40_SIGUSR1
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_88619_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_85016_a41_SIGSEGV
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_78171_a30_SIGBUS
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_22644_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_61045_a26_SIGCHLD
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_4189_a33_SIGKILL
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_21222_a1_SIGSEGV
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_44086_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_49075_a87_SIGALRM
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_35072_a75_SIGUSR2
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_35391_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_18772_a40_SIGUSR1
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_3211_a31_SIGXFSZ
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_51933_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_142442_a90_SIGINFO
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_25930_a93_SIGTRAP
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_132157_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_130336_a21_SIGINFO
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_95969_a22_SIGSTOP
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_38426_a25_SIGINFO
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_42719_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_60277_a26_SIGCHLD
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_92153_a44_SIGDEADLK
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_145427_a6_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_5133_a33_SIGKILL
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_146799_a119_SIGSTOP
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_24076_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_80052_a4_SIGTSTP
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_107087_a82_SIGBUS
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_26392_a93_SIGTRAP
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_65247_a64_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_118311_a72_SIGTERM
lola: reporting
lola: not produced: 147183
lola: goal oriented search: 3901
lola: STATE EQUATION TRIES TRANSITION t_12755_a111_SIGTTOU
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_71941_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_92494_a44_SIGDEADLK
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_137193_a14_SIGDEADLK
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_114770_a89_SIGUSR2
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_65853_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_135481_a19_SIGSYS
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_95437_a22_SIGSTOP
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_109393_a62_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_47686_a87_SIGALRM
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_7733_a59_SIGUSR1
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_19615_a9_SIGQUIT
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_48027_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_23866_a93_SIGTRAP
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_120172_a102_SIGTERM
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_108686_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_120088_a102_SIGTERM
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_132588_a84_SIGINT
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_70962_a24_SIGCHLD
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_15083_a10_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_55335_a65_SIGUSR1
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_120510_a102_SIGTERM
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_141952_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_47613_a87_SIGALRM
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_143876_a2_SIGLOST
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_27447_a76_SIGILL
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_102817_a86_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_148678_a73_SIGURG
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_8967_a16_SIGALRM
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_138760_a27_SIGALRM
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_132634_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_9402_a17_SIGPROF
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_73509_a24_SIGCHLD
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_113916_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_74310_a24_SIGCHLD
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_58277_a34_SIGTSTP
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_91625_a44_SIGDEADLK
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_91625_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_60148_a108_SIGINT
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_64812_a64_SIGVTALRM
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_105175_a58_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_56661_a3_SIGKILL
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_129905_a21_SIGINFO
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_142051_a90_SIGINFO
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_132539_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_128828_a53_SIGLOST
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_131737_a84_SIGINT
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_58522_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_139757_a90_SIGINFO
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_89298_a79_SIGURG
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_80034_a4_SIGTSTP
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_38314_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_102326_a51_SIGPWR
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_63381_a26_SIGCHLD
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_121767_a102_SIGTERM
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_24330_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_145539_a119_SIGSTOP
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_109831_a62_SIGTRAP
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_3841_a31_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_46599_a87_SIGALRM
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_123849_a102_SIGTERM
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_57236_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_136430_a14_SIGDEADLK
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_91836_a44_SIGDEADLK
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_95398_a22_SIGSTOP
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_97155_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_57076_a34_SIGTSTP
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_150405_a28_SIGINT
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_113973_a89_SIGUSR2
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_71682_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_61749_a26_SIGCHLD
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_43121_a117_SIGPWR
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_45173_a117_SIGPWR
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_28633_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_116053_a96_SIGABRT
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_105649_a82_SIGBUS
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_19182_a118_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_142400_a90_SIGINFO
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_108399_a15_SIGPOLL
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_60805_a26_SIGCHLD
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_76589_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_41218_a107_SIGPWR
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_90277_a95_SIGEMT
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_73409_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_23901_a93_SIGTRAP
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_122789_a102_SIGTERM
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_84370_a41_SIGSEGV
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_75733_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_32726_a46_SIGBUS
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_89323_a95_SIGEMT
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_51264_a42_SIGDEADLK
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_68123_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_35151_a75_SIGUSR2
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_65154_a64_SIGVTALRM
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_45162_a117_SIGPWR
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_75911_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_149474_a73_SIGURG
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_107384_a15_SIGPOLL
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_12510_a111_SIGTTOU
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_138250_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_147576_a61_SIGHUP
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_80881_a4_SIGTSTP
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_26475_a93_SIGTRAP
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_133857_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_89070_a83_SIGUSR2
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_111659_a57_SIGCONT
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_90436_a13_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_42896_a117_SIGPWR
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_64309_a26_SIGCHLD
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_67903_a23_SIGHUP
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_15290_a10_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_95824_a22_SIGSTOP
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_65559_a23_SIGHUP
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_56952_a3_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_105330_a82_SIGBUS
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_17576_a40_SIGUSR1
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_31326_a109_SIGTRAP
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_79727_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_127682_a71_SIGVTALRM
lola: reporting
lola: not produced: 141128
lola: goal oriented search: 9956
lola: STATE EQUATION TRIES TRANSITION t_6762_a59_SIGUSR1
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_48086_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_83693_a112_SIGHUP
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_49662_a87_SIGALRM
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_38437_a25_SIGINFO
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_64979_a64_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_28277_a76_SIGILL
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_54303_a18_SIGTERM
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_1675_a99_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_71631_a24_SIGCHLD
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_31089_a109_SIGTRAP
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_93511_a91_SIGPIPE
lola: STATE EQUATION TRIES TRANSITION t_140576_a90_SIGINFO
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_25609_a93_SIGTRAP
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_119444_a97_SIGFPE
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_57569_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_39235_a110_SIGINT
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_79797_a4_SIGTSTP
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_26012_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_73894_a24_SIGCHLD
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_63350_a26_SIGCHLD
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_117358_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_149810_a73_SIGURG
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_143251_a90_SIGINFO
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_128779_a53_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_68922_a23_SIGHUP
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_73399_a24_SIGCHLD
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_87938_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_67561_a23_SIGHUP
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_33107_a46_SIGBUS
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_147957_a61_SIGHUP
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_16272_a77_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_146012_a119_SIGSTOP
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_72064_a24_SIGCHLD
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_29317_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_127715_a71_SIGVTALRM
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_124389_a88_SIGPWR
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_148204_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_12099_a111_SIGTTOU
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_136171_a19_SIGSYS
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_15241_a10_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_62315_a26_SIGCHLD
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_37190_a25_SIGINFO
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_96163_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_7109_a59_SIGUSR1
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_10743_a35_SIGSTOP
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_45209_a117_SIGPWR
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_60082_a29_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_120979_a102_SIGTERM
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_69296_a23_SIGHUP
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_78320_a30_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_1428_a99_SIGILL
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_6113_a33_SIGKILL
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_29797_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_18209_a40_SIGUSR1
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_7192_a59_SIGUSR1
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_55871_a65_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_65822_a23_SIGHUP
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_26168_a93_SIGTRAP
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_55721_a65_SIGUSR1
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_33716_a85_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_70262_a100_SIGBUS
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_149589_a73_SIGURG
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_19483_a12_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_91521_a44_SIGDEADLK
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_56353_a3_SIGKILL
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_18802_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_57853_a34_SIGTSTP
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_47187_a87_SIGALRM
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_112425_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_27322_a76_SIGILL
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_42342_a117_SIGPWR
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_52401_a42_SIGDEADLK
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_9192_a16_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_59860_a29_SIGPROF
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_91589_a44_SIGDEADLK
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_88310_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_124605_a88_SIGPWR
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_31574_a109_SIGTRAP
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_13787_a101_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_130277_a21_SIGINFO
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_140873_a90_SIGINFO
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_97977_a22_SIGSTOP
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_120020_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_13021_a70_SIGIOT
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_147249_a119_SIGSTOP
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_135997_a19_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_49738_a87_SIGALRM
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_69026_a23_SIGHUP
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_4309_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_93617_a91_SIGPIPE
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_51207_a42_SIGDEADLK
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_45582_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_92856_a91_SIGPIPE
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_1988_a99_SIGILL
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_118420_a72_SIGTERM
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_85406_a38_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_77938_a30_SIGBUS
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_134587_a84_SIGINT
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_99103_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_28704_a109_SIGTRAP
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_24451_a93_SIGTRAP
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_44861_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_29688_a109_SIGTRAP
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_128514_a53_SIGLOST
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_128219_a53_SIGLOST
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_26490_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_106633_a82_SIGBUS
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_16860_a40_SIGUSR1
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_112728_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_88373_a83_SIGUSR2
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_127725_a71_SIGVTALRM
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_115673_a89_SIGUSR2
lola: reporting
lola: not produced: 138243
lola: goal oriented search: 12841
lola: STATE EQUATION TRIES TRANSITION t_149761_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_149594_a73_SIGURG
lola: reporting
lola: not produced: 136750
lola: goal oriented search: 14334
lola: STATE EQUATION TRIES TRANSITION t_107682_a15_SIGPOLL
lola: reporting
lola: not produced: 136750
lola: goal oriented search: 14334
lola: STATE EQUATION TRIES TRANSITION t_101414_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_97709_a22_SIGSTOP
lola: reporting
lola: not produced: 136750
lola: goal oriented search: 14334
lola: STATE EQUATION TRIES TRANSITION t_93004_a91_SIGPIPE
lola: reporting
lola: not produced: 136750
lola: goal oriented search: 14334
lola: STATE EQUATION TRIES TRANSITION t_73599_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_31537_a109_SIGTRAP
lola: reporting
lola: not produced: 136750
lola: goal oriented search: 14334
lola: STATE EQUATION TRIES TRANSITION t_80025_a4_SIGTSTP
lola: reporting
lola: not produced: 136750
lola: goal oriented search: 14334
lola: STATE EQUATION TRIES TRANSITION t_88303_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_147851_a61_SIGHUP
lola: reporting
lola: not produced: 136750
lola: goal oriented search: 14334
lola: STATE EQUATION TRIES TRANSITION t_77966_a30_SIGBUS
lola: reporting
lola: not produced: 136750
lola: goal oriented search: 14334
lola: STATE EQUATION TRIES TRANSITION t_89610_a95_SIGEMT
lola: reporting
lola: not produced: 136750
lola: goal oriented search: 14334
lola: STATE EQUATION TRIES TRANSITION t_56826_a3_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_108831_a15_SIGPOLL
lola: reporting
lola: not produced: 136750
lola: goal oriented search: 14334
lola: caught signal Terminated - aborting LoLA

FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY


Time elapsed: 1800 secs. Pages in use: 2

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="RERS17pb114-PT-6"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool lola"
echo " Input is RERS17pb114-PT-6, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r340-tall-167889212700072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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