MCC'2021- Execution of r182-tajo-162089422500192

About the Execution of LoLA for RERS17pb115-PT-6

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
6908.647	1800000.00	4702476.00	1910.00	[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 '/mnt/tpsp/fkordon/mcc2021-input.r182-tajo-162089422500192.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is RERS17pb115-PT-6, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r182-tajo-162089422500192
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 16K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 152K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 23K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 115K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 28 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 27 10:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 10:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 13:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 13:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 08:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 69M May 5 16:51 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 1621292569331

starting LoLA
BK_INPUT RERS17pb115-PT-6
BK_EXAMINATION: QuasiLiveness
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: QuasiLiveness

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: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_28720_a119_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_70538_a87_SIGPROF
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_15703_a92_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_133084_a47_SIGILL
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_103387_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_23124_a64_SIGEMT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_141974_a75_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_83153_a15_SIGKILL
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_115514_a100_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_113599_a73_SIGFPE
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_38299_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_2297_a102_SIGSYS
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_64807_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_64029_a105_SIGABRT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_134826_a4_SIGQUIT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_42115_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_126698_a35_SIGIOT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_75508_a108_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_49093_a109_SIGSYS
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_3364_a54_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_40619_a59_SIGABRT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_66599_a20_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_98765_a85_SIGIOT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_138953_a1_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_72304_a87_SIGPROF
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_80659_a26_SIGILL
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_2839_a102_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_272_a71_SIGPROF
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_76079_a108_SIGUSR2
lola: LAUNCH SYMM
lola: STATE EQUATION TRIES TRANSITION t_115932_a100_SIGXFSZ
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_141183_a75_SIGQUIT
lola: 0 generators; 951510 candidates remain ( 0%), 0 secs
lola: STATE EQUATION TRIES TRANSITION t_22359_a64_SIGEMT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_135456_a4_SIGQUIT
lola: 0 generators; 951510 candidates remain ( 0%), 5 secs
lola: STATE EQUATION TRIES TRANSITION t_128567_a93_SIGURG
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_117_a71_SIGPROF
lola: 0 generators; 951510 candidates remain ( 0%), 10 secs
lola: STATE EQUATION TRIES TRANSITION t_104277_a19_SIGWINCH
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_33350_a97_SIGFPE
lola: 0 generators; 951510 candidates remain ( 0%), 15 secs
lola: STATE EQUATION TRIES TRANSITION t_77739_a91_SIGPROF
lola: reporting
lola: not produced: 144368
lola: 0 generators; 951510 candidates remain ( 0%), 20 secs
lola: STATE EQUATION TRIES TRANSITION t_110078_a73_SIGFPE
lola: reporting
lola: not produced: 144368
lola: 0 generators; 951510 candidates remain ( 0%), 25 secs
lola: STATE EQUATION TRIES TRANSITION t_44671_a98_SIGINT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_30732_a119_SIGQUIT
lola: 0 generators; 951510 candidates remain ( 0%), 30 secs
lola: STATE EQUATION TRIES TRANSITION t_53386_a57_SIGHUP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_21300_a69_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_136262_a10_SIGKILL
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_80904_a26_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_110051_a73_SIGFPE
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_40344_a59_SIGABRT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_37954_a14_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_122897_a37_SIGTERM
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_90869_a5_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_3081_a89_SIGXFSZ
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_106649_a106_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_108413_a103_SIGWINCH
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_121590_a28_SIGCONT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_1078_a8_SIGTTIN
lola: STATE EQUATION TRIES TRANSITION t_28546_a119_SIGQUIT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_28187_a119_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_31073_a119_SIGQUIT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_143454_a115_SIGSEGV
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_85899_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_97997_a85_SIGIOT
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_55069_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_112854_a73_SIGFPE
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_129774_a46_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_133371_a49_SIGWINCH
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_12193_a7_SIGPIPE
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_107975_a77_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_81011_a26_SIGILL
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_7565_a104_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_19723_a2_SIGUSR1
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_57437_a24_SIGURG
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_101461_a32_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_66293_a20_SIGSYS
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_105755_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_33115_a66_SIGQUIT
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_96117_a85_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_67917_a20_SIGSYS
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_21497_a21_SIGPOLL
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_41191_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_111628_a73_SIGFPE
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_47134_a109_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_138560_a1_SIGSYS
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_39023_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_74223_a108_SIGUSR2
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_74447_a108_SIGUSR2
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_60545_a78_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_17806_a111_SIGTRAP
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_125187_a35_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_42090_a59_SIGABRT
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_121242_a28_SIGCONT
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_123520_a35_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_126752_a35_SIGIOT
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_30203_a119_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_120885_a28_SIGCONT
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_188_a71_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_66638_a20_SIGSYS
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_23349_a64_SIGEMT
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_15270_a92_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_77599_a91_SIGPROF
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_15442_a92_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_131569_a47_SIGILL
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_78070_a91_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_64388_a105_SIGABRT
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_143625_a115_SIGSEGV
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_2682_a102_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_93099_a38_SIGPROF
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_50707_a55_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_9756_a34_SIGSTOP
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_93249_a38_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_112422_a73_SIGFPE
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_121806_a28_SIGCONT
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_123523_a35_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_47960_a109_SIGSYS
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_1472_a8_SIGTTIN
lola: STATE EQUATION TRIES TRANSITION t_127284_a93_SIGURG
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_101597_a32_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_25837_a86_SIGHUP
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_133782_a49_SIGWINCH
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_92468_a38_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_143092_a115_SIGSEGV
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_83673_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_90214_a70_SIGTRAP
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_73055_a87_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_78326_a43_SIGURG
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_104332_a19_SIGWINCH
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_119810_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_54890_a57_SIGHUP
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_78923_a30_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_111438_a73_SIGFPE
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_23352_a64_SIGEMT
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_116754_a100_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_104041_a19_SIGWINCH
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_89736_a70_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_124517_a35_SIGIOT
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_122618_a37_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_78685_a30_SIGXFSZ
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_38378_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_133785_a49_SIGWINCH
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_122931_a82_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_82353_a94_SIGPOLL
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_53517_a57_SIGHUP
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_39797_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_102272_a19_SIGWINCH
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_80349_a26_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_83795_a15_SIGKILL
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_403_a71_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_124968_a35_SIGIOT
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_66441_a20_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_56043_a24_SIGURG
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_118694_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_111581_a73_SIGFPE
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_136084_a10_SIGKILL
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_70235_a87_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_96173_a85_SIGIOT
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_90894_a5_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_103904_a19_SIGWINCH
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_118318_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_105921_a22_SIGUSR1
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_127881_a93_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_47749_a109_SIGSYS
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_1244_a8_SIGTTIN
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_97485_a85_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_67101_a20_SIGSYS
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_128887_a93_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_53889_a57_SIGHUP
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_75141_a108_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_97307_a85_SIGIOT
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_29612_a119_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_99024_a85_SIGIOT
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_13499_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_57980_a24_SIGURG
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_87867_a36_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_12530_a76_SIGSTOP
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_78141_a91_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_83159_a15_SIGKILL
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_40648_a59_SIGABRT
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_53652_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_96520_a85_SIGIOT
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_94931_a74_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_50789_a55_SIGCHLD
lola: reporting
lola: not produced: 139111
lola: goal oriented search: 5257
lola: STATE EQUATION TRIES TRANSITION t_69830_a20_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_115010_a100_SIGXFSZ
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_397_a71_SIGPROF
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_79362_a113_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_43797_a3_SIGURG
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_5024_a104_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_132874_a47_SIGILL
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_39496_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_113420_a73_SIGFPE
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_56725_a24_SIGURG
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_11939_a7_SIGPIPE
lola: STATE EQUATION TRIES TRANSITION t_96402_a85_SIGIOT
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_18680_a25_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_439_a71_SIGPROF
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_119322_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_27720_a86_SIGHUP
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_14301_a92_SIGCHLD
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_63291_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_89369_a70_SIGTRAP
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_81235_a26_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_78688_a30_SIGXFSZ
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_34701_a14_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_46294_a109_SIGSYS
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_1296_a8_SIGTTIN
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_15528_a92_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_28465_a119_SIGQUIT
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_24401_a86_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_140128_a1_SIGSYS
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_16148_a92_SIGCHLD
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_11284_a34_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_43802_a3_SIGURG
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_141971_a75_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_123653_a35_SIGIOT
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_117645_a100_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_31388_a119_SIGQUIT
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_47018_a109_SIGSYS
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_95806_a85_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_71892_a87_SIGPROF
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_16716_a92_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_71860_a87_SIGPROF
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_116230_a100_SIGXFSZ
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_35567_a14_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_29239_a119_SIGQUIT
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_119095_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_56268_a24_SIGURG
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_54838_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_70415_a87_SIGPROF
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_2485_a102_SIGSYS
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_115691_a100_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_88242_a36_SIGCONT
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_78330_a43_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_31160_a119_SIGQUIT
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_112146_a73_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_86888_a15_SIGKILL
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_26910_a86_SIGHUP
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_26694_a86_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_82062_a94_SIGPOLL
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_69301_a20_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_119968_a28_SIGCONT
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_56693_a24_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_8289_a34_SIGSTOP
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_78194_a91_SIGPROF
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_127926_a93_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_19811_a2_SIGUSR1
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_31945_a65_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_64771_a105_SIGABRT
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_8207_a34_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_25272_a86_SIGHUP
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_116444_a100_SIGXFSZ
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_124275_a35_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_112025_a73_SIGFPE
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_102058_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_115794_a100_SIGXFSZ
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_120086_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_138996_a1_SIGSYS
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_50898_a55_SIGCHLD
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_92472_a38_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_111326_a73_SIGFPE
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_115723_a100_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_105431_a19_SIGWINCH
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_37344_a14_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_91952_a38_SIGPROF
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_40913_a59_SIGABRT
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_111764_a73_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_71446_a87_SIGPROF
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_109006_a103_SIGWINCH
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_58209_a24_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_10338_a34_SIGSTOP
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_99946_a32_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_8123_a34_SIGSTOP
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_6447_a104_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_69541_a20_SIGSYS
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_63648_a105_SIGABRT
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_111150_a73_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_134308_a4_SIGQUIT
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_21436_a21_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_15467_a92_SIGCHLD
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_41291_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_11363_a34_SIGSTOP
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_83119_a15_SIGKILL
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_46030_a109_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_86198_a15_SIGKILL
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_96883_a85_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_45295_a109_SIGSYS
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_139126_a1_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_10734_a34_SIGSTOP
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_75215_a108_SIGUSR2
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_84005_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_35580_a14_SIGTSTP
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_93042_a38_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_49379_a39_SIGSYS
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_142403_a115_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_17954_a111_SIGTRAP
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_24374_a86_SIGHUP
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_77411_a91_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_119047_a28_SIGCONT
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_94403_a18_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_136866_a6_SIGINFO
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_114611_a100_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_83188_a15_SIGKILL
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_113514_a73_SIGFPE
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_60725_a78_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_5170_a104_SIGHUP
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_16209_a92_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_28971_a119_SIGQUIT
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_115758_a100_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_50992_a55_SIGCHLD
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_452_a71_SIGPROF
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_121853_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_96412_a85_SIGIOT
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_107407_a77_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_121382_a28_SIGCONT
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_98176_a85_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_11898_a7_SIGPIPE
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_118783_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_138225_a17_SIGIOT
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_133030_a47_SIGILL
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_51738_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_22812_a64_SIGEMT
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_123302_a35_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_95463_a51_SIGINFO
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_125398_a35_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_88816_a70_SIGTRAP
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_56493_a24_SIGURG
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_52656_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_128794_a93_SIGURG
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_47567_a109_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_59270_a24_SIGURG
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_48216_a109_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_125776_a35_SIGIOT
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_80502_a26_SIGILL
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_99474_a85_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_24093_a86_SIGHUP
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_131532_a47_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_114369_a100_SIGXFSZ
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_85255_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_76076_a108_SIGUSR2
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_141299_a75_SIGQUIT
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_66626_a20_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_105307_a19_SIGWINCH
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_81862_a26_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_17741_a111_SIGTRAP
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_45902_a109_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_121343_a28_SIGCONT
lola: reporting
lola: not produced: 131196
lola: goal oriented search: 13172
lola: STATE EQUATION TRIES TRANSITION t_137644_a17_SIGIOT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_81940_a26_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_78782_a30_SIGXFSZ
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_59918_a78_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_92766_a38_SIGPROF
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_16898_a92_SIGCHLD
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_50012_a88_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_7341_a104_SIGHUP
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_34544_a14_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_76792_a91_SIGPROF
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_18551_a25_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_29767_a119_SIGQUIT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_66142_a20_SIGSYS
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_22904_a64_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_75019_a108_SIGUSR2
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_26060_a86_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_117414_a100_SIGXFSZ
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_130128_a63_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_113824_a100_SIGXFSZ
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_76995_a91_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_32915_a31_SIGQUIT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_98751_a85_SIGIOT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_128940_a93_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_38666_a59_SIGABRT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_4564_a104_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_75376_a108_SIGUSR2
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_130016_a63_SIGDEADLK
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_136400_a10_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_101684_a32_SIGUSR1
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_27740_a86_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_21925_a64_SIGEMT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_68953_a20_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_57897_a24_SIGURG
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_30483_a119_SIGQUIT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_29888_a119_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_59218_a24_SIGURG
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_52714_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_111149_a73_SIGFPE
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_120885_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_103034_a19_SIGWINCH
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_24250_a86_SIGHUP
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_26055_a86_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_95881_a85_SIGIOT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_132129_a47_SIGILL
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_140636_a72_SIGTTIN
lola: STATE EQUATION TRIES TRANSITION t_67229_a20_SIGSYS
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_44816_a98_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_51889_a57_SIGHUP
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_10540_a34_SIGSTOP
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_93268_a38_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_98521_a85_SIGIOT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_103454_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_73051_a87_SIGPROF
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_100421_a32_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_45824_a109_SIGSYS
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_107723_a77_SIGWINCH
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_67616_a20_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_14988_a92_SIGCHLD
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_29833_a119_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_112557_a73_SIGFPE
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_62229_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_90200_a70_SIGTRAP
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_127472_a93_SIGURG
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_29238_a119_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_65002_a105_SIGABRT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_76492_a91_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_90237_a70_SIGTRAP
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_4109_a104_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_62864_a105_SIGABRT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_94914_a74_SIGBUS
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_95504_a51_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_46199_a109_SIGSYS
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_139063_a1_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_112576_a73_SIGFPE
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_92562_a38_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_81890_a26_SIGILL
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_26575_a86_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_112468_a73_SIGFPE
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_15537_a92_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_135870_a4_SIGQUIT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_1043_a8_SIGTTIN
lola: STATE EQUATION TRIES TRANSITION t_126394_a35_SIGIOT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_68738_a20_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_70231_a87_SIGPROF
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_103639_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_92971_a38_SIGPROF
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_30807_a119_SIGQUIT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_48279_a109_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_52807_a57_SIGHUP
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_113803_a100_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_93909_a18_SIGSEGV
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_49816_a88_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_33002_a66_SIGQUIT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_142691_a115_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_114154_a100_SIGXFSZ
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_122608_a37_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_80240_a26_SIGILL
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_31732_a119_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_130341_a50_SIGWINCH
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_5918_a104_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_86649_a15_SIGKILL
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_124613_a35_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_138423_a17_SIGIOT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_34416_a14_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_118460_a28_SIGCONT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_2584_a102_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_52463_a57_SIGHUP
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_70191_a87_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_46258_a109_SIGSYS
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_6198_a104_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_57696_a24_SIGURG
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_109273_a103_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_25174_a86_SIGHUP
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_12463_a76_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_28061_a119_SIGQUIT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_83709_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_127663_a93_SIGURG
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_74357_a108_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_110725_a73_SIGFPE
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_60467_a78_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_35671_a14_SIGTSTP
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_10602_a34_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_42453_a58_SIGHUP
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_122507_a37_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_71511_a87_SIGPROF
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_97732_a85_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_113705_a100_SIGXFSZ
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_63140_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_30252_a119_SIGQUIT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_64384_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_136806_a6_SIGINFO
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_120778_a28_SIGCONT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_29139_a119_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_28901_a119_SIGQUIT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_27172_a86_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_2481_a102_SIGSYS
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_93373_a38_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_135686_a4_SIGQUIT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_53460_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_134775_a4_SIGQUIT
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_126968_a35_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_37600_a14_SIGTSTP
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_66308_a20_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_24580_a86_SIGHUP
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_65513_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_8950_a34_SIGSTOP
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_53946_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_92709_a38_SIGPROF
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_39191_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_45803_a109_SIGSYS
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_41503_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_16245_a92_SIGCHLD
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_72192_a87_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_9097_a34_SIGSTOP
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_133601_a49_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_111813_a73_SIGFPE
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_119884_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_102741_a19_SIGWINCH
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_24269_a86_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_106383_a106_SIGUSR1
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_114740_a100_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_21247_a69_SIGKILL
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_100126_a32_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_35242_a14_SIGTSTP
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_64020_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_89061_a70_SIGTRAP
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_1374_a8_SIGTTIN
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_140308_a1_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_13323_a76_SIGSTOP
lola: reporting
lola: not produced: 128576
lola: goal oriented search: 15792
lola: STATE EQUATION TRIES TRANSITION t_13712_a92_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_96253_a85_SIGIOT

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="RERS17pb115-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-4028"
echo " Executing tool lola"
echo " Input is RERS17pb115-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 r182-tajo-162089422500192"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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