MCC'2021- Execution of r182-tajo-162089422400127

About the Execution of LoLA for RERS17pb114-PT-2

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
7624.976	1800000.00	4695091.00	2800.70	[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-162089422400127.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 RERS17pb114-PT-2, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r182-tajo-162089422400127
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 126K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 28 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 27 10:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 27 10:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 13:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 13:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 08:13 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 73M 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 1621289946077

starting LoLA
BK_INPUT RERS17pb114-PT-2
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: 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: STATE EQUATION TRIES TRANSITION t_102232_a51_SIGPWR
lola: reporting
lola: not produced: 151084
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: STATE EQUATION TRIES TRANSITION t_104022_a58_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_105960_a82_SIGBUS
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: STATE EQUATION TRIES TRANSITION t_22483_a93_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_137699_a14_SIGDEADLK
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: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_79846_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_67759_a23_SIGHUP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_119707_a97_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_136152_a19_SIGSYS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_17603_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_100170_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: LAUNCH SYMM
lola: STATE EQUATION TRIES TRANSITION t_116061_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_18178_a40_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 0 secs
lola: STATE EQUATION TRIES TRANSITION t_121009_a102_SIGTERM
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 5 secs
lola: STATE EQUATION TRIES TRANSITION t_124326_a88_SIGPWR
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 10 secs
lola: STATE EQUATION TRIES TRANSITION t_14741_a10_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 15 secs
lola: STATE EQUATION TRIES TRANSITION t_68869_a23_SIGHUP
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 20 secs
lola: STATE EQUATION TRIES TRANSITION t_15169_a10_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_150679_a28_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_115401_a89_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_140611_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_59607_a29_SIGPROF
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_58281_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_117827_a96_SIGABRT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_89520_a95_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_113810_a89_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_99217_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_74940_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_35017_a75_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_9910_a17_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_103680_a58_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_141885_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_109839_a62_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_15488_a10_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_110674_a62_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_136895_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_80950_a4_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_33183_a78_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_62850_a26_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_65811_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_66867_a23_SIGHUP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_49691_a87_SIGALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_2807_a56_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_72683_a24_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_58100_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_56510_a3_SIGKILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_141981_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_115983_a96_SIGABRT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_62971_a26_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_79351_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_2050_a56_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_105908_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_114301_a89_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_32418_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_86019_a38_SIGFPE
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_95515_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_87648_a83_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_30793_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_140534_a90_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_102285_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_40346_a39_SIGPROF
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_80534_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_49095_a87_SIGALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_99380_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_33453_a78_SIGSYS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_65068_a64_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_136540_a14_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_25753_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_18056_a40_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_14318_a101_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_336_a99_SIGILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_101380_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_30515_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_35623_a75_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_82952_a5_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_136131_a19_SIGSYS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_36381_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_76390_a114_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_12578_a111_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_89142_a83_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_21879_a92_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_66730_a23_SIGHUP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_122422_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_42812_a117_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_45712_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_83184_a5_SIGHUP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_75540_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_136975_a14_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_112684_a89_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_69783_a100_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_35124_a75_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_47835_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_62750_a26_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_12987_a70_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_116531_a96_SIGABRT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_28835_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_16452_a77_SIGXFSZ
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_112159_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_149254_a73_SIGURG
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_41149_a39_SIGPROF
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_27398_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_35915_a75_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_92626_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_22098_a92_SIGSTOP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_128890_a53_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_89573_a95_SIGEMT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_119792_a97_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_48255_a87_SIGALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_122466_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_39279_a110_SIGINT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_42265_a117_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_30424_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_56920_a3_SIGKILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_12604_a111_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_42788_a117_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_76992_a55_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_43343_a117_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_101565_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_140938_a90_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_150212_a28_SIGINT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_72418_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_15881_a77_SIGXFSZ
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_83648_a112_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_59055_a34_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_91006_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_108131_a15_SIGPOLL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_58119_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_56653_a3_SIGKILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_133714_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_115505_a89_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_111778_a57_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_143481_a2_SIGLOST
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_78441_a30_SIGBUS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_73284_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_35072_a75_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_32293_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_95159_a22_SIGSTOP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_100757_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_118230_a72_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_139546_a90_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_13546_a66_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_34709_a43_SIGTTOU
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_113168_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_117798_a96_SIGABRT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_79045_a4_SIGTSTP
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_72501_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_118_a99_SIGILL
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_99227_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_36820_a75_SIGUSR2
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_101137_a51_SIGPWR
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_88451_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_87910_a83_SIGUSR2
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_145550_a119_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_18428_a40_SIGUSR1
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_97911_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_112212_a89_SIGUSR2
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_127959_a71_SIGVTALRM
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_120071_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_85255_a38_SIGFPE
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_73670_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_144520_a6_SIGSEGV
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_57269_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_27496_a76_SIGILL
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_11884_a111_SIGTTOU
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_62200_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_130605_a21_SIGINFO
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_75642_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_92613_a44_SIGDEADLK
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_50160_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_69597_a100_SIGBUS
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_78456_a30_SIGBUS
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_110692_a62_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_39754_a110_SIGINT
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_81132_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_123538_a102_SIGTERM
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_150951_a28_SIGINT
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_145376_a6_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_61041_a26_SIGCHLD
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_21060_a1_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_134595_a84_SIGINT
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_46426_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_101986_a51_SIGPWR
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_21010_a1_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_64664_a64_SIGVTALRM
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_100084_a51_SIGPWR
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_51543_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_3345_a31_SIGXFSZ
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_121547_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_108936_a15_SIGPOLL
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_132747_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_61242_a26_SIGCHLD
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_139383_a90_SIGINFO
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_54821_a18_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_22498_a93_SIGTRAP
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_61807_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_26352_a93_SIGTRAP
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_105413_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_115402_a89_SIGUSR2
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_58699_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_103736_a58_SIGTERM
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_2397_a56_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_141958_a90_SIGINFO
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_78861_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_3555_a31_SIGXFSZ
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_133118_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_9594_a17_SIGPROF
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_149114_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_109992_a62_SIGTRAP
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_143024_a90_SIGINFO
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_96739_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_77949_a30_SIGBUS
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_51518_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_69162_a23_SIGHUP
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_14056_a101_SIGUSR2
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_145113_a6_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_71963_a24_SIGCHLD
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_31306_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_103355_a58_SIGTERM
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_67777_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_118603_a72_SIGTERM
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_79486_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_119923_a102_SIGTERM
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_37095_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_885_a99_SIGILL
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_79242_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_76423_a114_SIGUSR1
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_25355_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_95593_a22_SIGSTOP
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_29193_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_132630_a84_SIGINT
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_138148_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_72521_a24_SIGCHLD
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_134262_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_140421_a90_SIGINFO
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_35999_a75_SIGUSR2
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_150694_a28_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_123074_a102_SIGTERM
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_142754_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_105183_a58_SIGTERM
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_67817_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_33278_a78_SIGSYS
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_81436_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_68758_a23_SIGHUP
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_44128_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_34201_a67_SIGCONT
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_97386_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_129173_a21_SIGINFO
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_117557_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_145344_a6_SIGSEGV
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_129471_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_19675_a9_SIGQUIT
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_147336_a119_SIGSTOP
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_45740_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_47741_a87_SIGALRM
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_48056_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_142366_a90_SIGINFO
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_6704_a59_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_34113_a85_SIGSEGV
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_75904_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_21921_a92_SIGSTOP
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_104017_a58_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_87104_a113_SIGCHLD
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_5341_a33_SIGKILL
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_132838_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_150315_a28_SIGINT
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_58700_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_12702_a111_SIGTTOU
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_149236_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_45014_a117_SIGPWR
lola: reporting
lola: not produced: 144603
lola: goal oriented search: 6481
lola: STATE EQUATION TRIES TRANSITION t_20712_a1_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_148549_a73_SIGURG
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_9329_a36_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_116438_a96_SIGABRT
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_135867_a19_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_133659_a84_SIGINT
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_42952_a117_SIGPWR
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_125542_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_94093_a105_SIGEMT
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_85193_a38_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_25304_a93_SIGTRAP
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_91798_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_31170_a109_SIGTRAP
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_7097_a59_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_41192_a107_SIGPWR
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_123222_a102_SIGTERM
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_102073_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_144619_a6_SIGSEGV
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_131534_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_74248_a24_SIGCHLD
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_107325_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_146169_a119_SIGSTOP
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_93880_a105_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_128299_a53_SIGLOST
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_96171_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_1655_a99_SIGILL
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_84651_a41_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_46827_a87_SIGALRM
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_92455_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_48203_a87_SIGALRM
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_120055_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_97528_a22_SIGSTOP
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_6691_a59_SIGUSR1
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_119089_a7_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_41494_a107_SIGPWR
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_84646_a41_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_90882_a44_SIGDEADLK
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_68800_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_17115_a40_SIGUSR1
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_121357_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_78249_a30_SIGBUS
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_67895_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_124203_a88_SIGPWR
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_18291_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_99629_a51_SIGPWR
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_15251_a10_SIGTSTP
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_33112_a46_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_20511_a1_SIGSEGV
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_34374_a43_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_108162_a15_SIGPOLL
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_15523_a10_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_129850_a21_SIGINFO
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_107768_a15_SIGPOLL
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_67393_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_84401_a41_SIGSEGV
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_12591_a111_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_52784_a42_SIGDEADLK
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_79698_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_139279_a27_SIGALRM
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_23058_a93_SIGTRAP
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_77280_a55_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_98721_a51_SIGPWR
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_99354_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_87070_a113_SIGCHLD
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_114301_a89_SIGUSR2
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_128398_a53_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_16045_a77_SIGXFSZ
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_99448_a51_SIGPWR
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_77543_a32_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_93559_a91_SIGPIPE
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_15983_a77_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_133329_a84_SIGINT
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_37743_a25_SIGINFO
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_92690_a91_SIGPIPE
lola: STATE EQUATION TRIES TRANSITION t_113224_a89_SIGUSR2
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_96635_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_28186_a76_SIGILL
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_2441_a56_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_91301_a44_SIGDEADLK
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_92517_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_17815_a40_SIGUSR1
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_101829_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_86919_a113_SIGCHLD
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_59459_a29_SIGPROF
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_102507_a49_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_131762_a84_SIGINT
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_473_a99_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_21767_a92_SIGSTOP
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_65822_a23_SIGHUP
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_9005_a16_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_122969_a102_SIGTERM
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_24432_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_120160_a102_SIGTERM
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_62588_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_37334_a25_SIGINFO
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_132532_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_106129_a82_SIGBUS
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_49971_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_22181_a92_SIGSTOP
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_35594_a75_SIGUSR2
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_94619_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_27137_a76_SIGILL
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_79471_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_125441_a88_SIGPWR
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_48833_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_97993_a22_SIGSTOP
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_53381_a18_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_69125_a23_SIGHUP
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_144078_a2_SIGLOST
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_46_a99_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_38949_a25_SIGINFO
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_147107_a119_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_91505_a44_SIGDEADLK
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_89239_a79_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_16024_a77_SIGXFSZ
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_99813_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_40520_a39_SIGPROF
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_37792_a25_SIGINFO
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_54965_a18_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_104421_a58_SIGTERM
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_71184_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_132029_a84_SIGINT
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_128189_a53_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_49935_a87_SIGALRM
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_26117_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_150359_a28_SIGINT
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_25771_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_88320_a83_SIGUSR2
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_92116_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_88159_a83_SIGUSR2
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_100232_a51_SIGPWR
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_81293_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_120173_a102_SIGTERM
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_14948_a10_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_123298_a102_SIGTERM
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_114425_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_138091_a14_SIGDEADLK
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_23442_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_3618_a31_SIGXFSZ
lola: reporting
lola: not produced: 143841
lola: goal oriented search: 7243
lola: STATE EQUATION TRIES TRANSITION t_13958_a101_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_110951_a62_SIGTRAP
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_123539_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_135279_a19_SIGSYS
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_112705_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_57424_a34_SIGTSTP
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_82145_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_80085_a4_SIGTSTP
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_64228_a26_SIGCHLD
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_24870_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_37257_a25_SIGINFO
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_37265_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_112670_a89_SIGUSR2
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_52536_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_75496_a114_SIGUSR1
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_96475_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_102114_a51_SIGPWR
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_20393_a1_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_78924_a4_SIGTSTP
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_25372_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_114858_a89_SIGUSR2
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_107763_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_59620_a29_SIGPROF
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_79779_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_128167_a53_SIGLOST
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_102894_a86_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_34002_a85_SIGSEGV
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_43362_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_45847_a117_SIGPWR
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_134216_a84_SIGINT
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_78506_a30_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_41935_a107_SIGPWR
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_11821_a111_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_63843_a26_SIGCHLD
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_44156_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_97023_a22_SIGSTOP
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_27473_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_86785_a113_SIGCHLD
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_102534_a49_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_48307_a87_SIGALRM
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_142076_a90_SIGINFO
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_132148_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_141835_a90_SIGINFO
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_94531_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_1425_a99_SIGILL
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_111159_a62_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_112827_a89_SIGUSR2
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_129818_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_3316_a31_SIGXFSZ
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_118161_a72_SIGTERM
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_105808_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_138188_a14_SIGDEADLK
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_99496_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_110057_a62_SIGTRAP
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_68263_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_16014_a77_SIGXFSZ
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_117149_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_112160_a89_SIGUSR2
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_121669_a102_SIGTERM
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_33451_a78_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_87208_a83_SIGUSR2
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_26939_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_70796_a24_SIGCHLD
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_99222_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_92200_a44_SIGDEADLK
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_26042_a93_SIGTRAP
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_17104_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_30553_a109_SIGTRAP
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_68017_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_137592_a14_SIGDEADLK
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_82020_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_16259_a77_SIGXFSZ
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_117359_a96_SIGABRT
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_131933_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_91440_a44_SIGDEADLK
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_1906_a99_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_65166_a64_SIGVTALRM
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_80067_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_72731_a24_SIGCHLD
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_97945_a22_SIGSTOP
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_11715_a111_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_21503_a92_SIGSTOP
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_148592_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_87780_a83_SIGUSR2
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_125095_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_114195_a89_SIGUSR2
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_20728_a1_SIGSEGV
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_74351_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_3905_a31_SIGXFSZ
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_94055_a105_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_65423_a23_SIGHUP
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_15444_a10_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_35550_a75_SIGUSR2
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_30914_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_47731_a87_SIGALRM
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_4542_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_118120_a72_SIGTERM
lola: reporting
lola: not produced: 143036
lola: goal oriented search: 8048
lola: STATE EQUATION TRIES TRANSITION t_77167_a55_SIGABRT

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-2"
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 RERS17pb114-PT-2, 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-162089422400127"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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