MCC'2021- Execution of r182-tajo-162089422500202

About the Execution of LoLA for RERS17pb115-PT-8

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

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2021-input.r182-tajo-162089422500202.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-8, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r182-tajo-162089422500202
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 19K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 94K 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.4K 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.6K Mar 28 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 10:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 10:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Mar 25 13:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 13:36 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 1621292867534

starting LoLA
BK_INPUT RERS17pb115-PT-8
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: 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: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_23124_a64_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_141974_a75_SIGQUIT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_83153_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_115514_a100_SIGXFSZ
lola: reporting
lola: not produced: 144368
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: STATE EQUATION TRIES TRANSITION t_42115_a59_SIGABRT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_126698_a35_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_75508_a108_SIGUSR2
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_49093_a109_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_3364_a54_SIGTTOU
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_40619_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_66599_a20_SIGSYS
lola: reporting
lola: not produced: 144368
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: LAUNCH SYMM
lola: STATE EQUATION TRIES TRANSITION t_40763_a59_SIGABRT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_75671_a108_SIGUSR2
lola: 0 generators; 951510 candidates remain ( 0%), 0 secs
lola: STATE EQUATION TRIES TRANSITION t_18505_a25_SIGURG
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_135192_a4_SIGQUIT
lola: 0 generators; 951510 candidates remain ( 0%), 5 secs
lola: STATE EQUATION TRIES TRANSITION t_35960_a14_SIGTSTP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_141272_a75_SIGQUIT
lola: 0 generators; 951510 candidates remain ( 0%), 10 secs
lola: STATE EQUATION TRIES TRANSITION t_15903_a92_SIGCHLD
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_140620_a72_SIGTTIN
lola: 0 generators; 951510 candidates remain ( 0%), 15 secs
lola: STATE EQUATION TRIES TRANSITION t_14011_a92_SIGCHLD
lola: reporting
lola: not produced: 144368
lola: 0 generators; 951510 candidates remain ( 0%), 20 secs
lola: STATE EQUATION TRIES TRANSITION t_113742_a100_SIGXFSZ
lola: reporting
lola: not produced: 144368
lola: 0 generators; 951510 candidates remain ( 0%), 25 secs
lola: STATE EQUATION TRIES TRANSITION t_100187_a32_SIGUSR1
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_38630_a59_SIGABRT
lola: 0 generators; 951510 candidates remain ( 0%), 30 secs
lola: STATE EQUATION TRIES TRANSITION t_34982_a14_SIGTSTP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_130544_a50_SIGWINCH
lola: 0 generators; 951510 candidates remain ( 0%), 35 secs
lola: STATE EQUATION TRIES TRANSITION t_41032_a59_SIGABRT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_6196_a104_SIGHUP
lola: 0 generators; 951510 candidates remain ( 0%), 40 secs
lola: STATE EQUATION TRIES TRANSITION t_134001_a4_SIGQUIT
lola: reporting
lola: not produced: 144368
lola: 0 generators; 951510 candidates remain ( 0%), 45 secs
lola: STATE EQUATION TRIES TRANSITION t_88608_a36_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_103693_a19_SIGWINCH
lola: reporting
lola: not produced: 144368
lola: 0 generators; 951510 candidates remain ( 0%), 50 secs
lola: STATE EQUATION TRIES TRANSITION t_7858_a34_SIGSTOP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_16647_a92_SIGCHLD
lola: 0 generators; 951510 candidates remain ( 0%), 55 secs
lola: STATE EQUATION TRIES TRANSITION t_80720_a26_SIGILL
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_18118_a111_SIGTRAP
lola: 0 generators; 951510 candidates remain ( 0%), 60 secs
lola: STATE EQUATION TRIES TRANSITION t_140729_a72_SIGTTIN
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_57745_a24_SIGURG
lola: 0 generators; 951510 candidates remain ( 0%), 65 secs
lola: STATE EQUATION TRIES TRANSITION t_11834_a34_SIGSTOP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_51214_a55_SIGCHLD
lola: 0 generators; 951510 candidates remain ( 0%), 70 secs
lola: STATE EQUATION TRIES TRANSITION t_115135_a100_SIGXFSZ
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_7179_a104_SIGHUP
lola: 0 generators; 951510 candidates remain ( 0%), 75 secs
lola: STATE EQUATION TRIES TRANSITION t_31275_a119_SIGQUIT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_8238_a34_SIGSTOP
lola: 0 generators; 951510 candidates remain ( 0%), 80 secs
lola: STATE EQUATION TRIES TRANSITION t_114935_a100_SIGXFSZ
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_105450_a19_SIGWINCH
lola: 0 generators; 951510 candidates remain ( 0%), 85 secs
lola: STATE EQUATION TRIES TRANSITION t_77809_a91_SIGPROF
lola: reporting
lola: not produced: 144368
lola: 0 generators; 951510 candidates remain ( 0%), 90 secs
lola: STATE EQUATION TRIES TRANSITION t_114631_a100_SIGXFSZ
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_42117_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_110360_a73_SIGFPE
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_95378_a51_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_85198_a15_SIGKILL
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_134576_a4_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_23995_a86_SIGHUP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_48615_a109_SIGSYS
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_45163_a109_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_41017_a59_SIGABRT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_38826_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_111386_a73_SIGFPE
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_74194_a108_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_133307_a47_SIGILL
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_59413_a24_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_88746_a70_SIGTRAP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_57882_a24_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_124522_a35_SIGIOT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_21668_a64_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_63735_a105_SIGABRT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_117801_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_78957_a30_SIGXFSZ
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_74794_a108_SIGUSR2
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_29692_a119_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_118999_a28_SIGCONT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_115318_a100_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_73338_a87_SIGPROF
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_68846_a20_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_98835_a85_SIGIOT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_9111_a34_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_55485_a57_SIGHUP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_86025_a15_SIGKILL
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_44622_a112_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_58059_a24_SIGURG
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_55154_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_46194_a109_SIGSYS
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_104122_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_42275_a59_SIGABRT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_41350_a59_SIGABRT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_56645_a24_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_36429_a14_SIGTSTP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_15132_a92_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_132823_a47_SIGILL
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_37095_a14_SIGTSTP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_133440_a49_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_130911_a50_SIGWINCH
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_86597_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_28052_a119_SIGQUIT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_127357_a93_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_9512_a34_SIGSTOP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_29500_a119_SIGQUIT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_21381_a21_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_84853_a15_SIGKILL
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_135000_a4_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_28944_a119_SIGQUIT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_116841_a100_SIGXFSZ
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_69988_a20_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_119886_a28_SIGCONT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_134446_a4_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_50961_a55_SIGCHLD
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_139499_a1_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_118919_a28_SIGCONT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_19975_a2_SIGUSR1
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_119338_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_21276_a69_SIGKILL
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_102887_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_106454_a106_SIGUSR1
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_63041_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_38282_a59_SIGABRT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_97388_a85_SIGIOT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_127932_a93_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_94993_a74_SIGBUS
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_106178_a22_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_95467_a51_SIGINFO
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_113964_a100_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_115948_a100_SIGXFSZ
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_42448_a58_SIGHUP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_86467_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_126881_a35_SIGIOT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_53112_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_22533_a64_SIGEMT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_85906_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_67664_a20_SIGSYS
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_4793_a104_SIGHUP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_37099_a14_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_56422_a24_SIGURG
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_41701_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_109566_a73_SIGFPE
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_121500_a28_SIGCONT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_133023_a47_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_65825_a105_SIGABRT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_102909_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_72386_a87_SIGPROF
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_44904_a98_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_65339_a105_SIGABRT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_93879_a38_SIGPROF
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_100562_a32_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_135490_a4_SIGQUIT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_88901_a70_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_79617_a101_SIGVTALRM
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_130738_a50_SIGWINCH
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_93225_a38_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_50037_a88_SIGVTALRM
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_107915_a77_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_86247_a15_SIGKILL
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_140364_a1_SIGSYS
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_12708_a76_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_115087_a100_SIGXFSZ
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_14346_a92_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_102180_a19_SIGWINCH
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_25432_a86_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_35232_a14_SIGTSTP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_15157_a92_SIGCHLD
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_19520_a80_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_64476_a105_SIGABRT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_8347_a34_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_88596_a36_SIGCONT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_4220_a104_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_12961_a76_SIGSTOP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_29937_a119_SIGQUIT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_18590_a25_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_90500_a70_SIGTRAP
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_4545_a104_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_16816_a92_SIGCHLD
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_85324_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_31160_a119_SIGQUIT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_89926_a70_SIGTRAP
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_58449_a24_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_82477_a94_SIGPOLL
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_119069_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_85421_a15_SIGKILL
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_59479_a24_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_29819_a119_SIGQUIT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_7413_a104_SIGHUP
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_76028_a108_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_36215_a14_SIGTSTP
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_72199_a87_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_93231_a38_SIGPROF
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_15748_a92_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_118325_a28_SIGCONT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_133025_a47_SIGILL
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_2031_a53_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_135414_a4_SIGQUIT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_142184_a16_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_123296_a35_SIGIOT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_24283_a86_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_48984_a109_SIGSYS
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_1324_a8_SIGTTIN
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_20250_a60_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_111280_a73_SIGFPE
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_116801_a100_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_130743_a50_SIGWINCH
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_9634_a34_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_43179_a52_SIGCONT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_143046_a115_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_865_a13_SIGPIPE
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_81374_a26_SIGILL
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_84346_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_14125_a92_SIGCHLD
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_41262_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_8559_a34_SIGSTOP
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_8392_a34_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_64372_a105_SIGABRT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_52459_a57_SIGHUP
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_55755_a24_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_106123_a22_SIGUSR1
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_76244_a91_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_14140_a92_SIGCHLD
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_61908_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_63694_a105_SIGABRT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_39298_a59_SIGABRT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_1956_a53_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_66507_a20_SIGSYS
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_51145_a55_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_3375_a54_SIGTTOU
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_84247_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_50995_a55_SIGCHLD
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_1593_a53_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_64484_a105_SIGABRT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_66522_a20_SIGSYS
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_130246_a63_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_52228_a57_SIGHUP
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_55299_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_92676_a38_SIGPROF
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_10924_a34_SIGSTOP
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_45570_a109_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_39455_a59_SIGABRT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_54424_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_35673_a14_SIGTSTP
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_21184_a69_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_50468_a55_SIGCHLD
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_97671_a85_SIGIOT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_27939_a119_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_45751_a109_SIGSYS
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_115932_a100_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_124853_a35_SIGIOT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_138792_a1_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_125202_a35_SIGIOT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_29380_a119_SIGQUIT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_91037_a5_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_66626_a20_SIGSYS
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_132712_a47_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_80133_a26_SIGILL
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_85478_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_133322_a47_SIGILL
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_84475_a15_SIGKILL
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_13202_a76_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_76365_a91_SIGPROF
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_111323_a73_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_125060_a35_SIGIOT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_131557_a47_SIGILL
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_68972_a20_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_141350_a75_SIGQUIT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_109433_a27_SIGABRT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_138758_a1_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_75019_a108_SIGUSR2
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_139686_a1_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_130128_a63_SIGDEADLK
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_53400_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_103955_a19_SIGWINCH
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_70373_a87_SIGPROF
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_128667_a93_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_64947_a105_SIGABRT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_13294_a76_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_133662_a49_SIGWINCH
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_65692_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_29493_a119_SIGQUIT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_63783_a105_SIGABRT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_10357_a34_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_28481_a119_SIGQUIT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_15815_a92_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_127801_a93_SIGURG
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_25544_a86_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_94037_a18_SIGSEGV
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_61597_a114_SIGBUS
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_23834_a86_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_65694_a105_SIGABRT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_61105_a114_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_100929_a32_SIGUSR1
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_102487_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_27590_a86_SIGHUP
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_134696_a4_SIGQUIT
lola: reporting
lola: not produced: 140664
lola: goal oriented search: 3704
lola: STATE EQUATION TRIES TRANSITION t_96838_a85_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_43386_a3_SIGURG
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_60642_a78_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_4903_a104_SIGHUP
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_36680_a14_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_122722_a37_SIGTERM
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_114700_a100_SIGXFSZ
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_124116_a35_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_42651_a58_SIGHUP
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_77561_a91_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_47759_a109_SIGSYS
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_51084_a55_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_38390_a59_SIGABRT
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_2381_a102_SIGSYS
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_10536_a34_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_93805_a38_SIGPROF
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_129613_a46_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_97439_a85_SIGIOT
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_62771_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_39434_a59_SIGABRT
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_104543_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_26298_a86_SIGHUP
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_10092_a34_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_55355_a57_SIGHUP
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_130269_a63_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_8728_a34_SIGSTOP
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_112323_a73_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_87994_a36_SIGCONT
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_944_a13_SIGPIPE
lola: STATE EQUATION TRIES TRANSITION t_57065_a24_SIGURG
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_112041_a73_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_61169_a114_SIGBUS
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_30930_a119_SIGQUIT
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_45892_a109_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_89563_a70_SIGTRAP
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_114290_a100_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_77620_a91_SIGPROF
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_36657_a14_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_131828_a47_SIGILL
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_108606_a103_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_130876_a50_SIGWINCH
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_93184_a38_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_28061_a119_SIGQUIT
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_38649_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_143670_a115_SIGSEGV
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_89654_a70_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_122375_a37_SIGTERM
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_68234_a20_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_67033_a20_SIGSYS
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_88418_a36_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_33627_a97_SIGFPE
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_93549_a38_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_54489_a57_SIGHUP
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_58730_a24_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_118255_a28_SIGCONT
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_119905_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_111869_a73_SIGFPE
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_102259_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_131672_a47_SIGILL
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_87520_a117_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_11169_a34_SIGSTOP
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_35233_a14_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_126968_a35_SIGIOT
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_54153_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_71569_a87_SIGPROF
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_127965_a93_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_47360_a109_SIGSYS
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_73595_a87_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_49197_a109_SIGSYS
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_113710_a100_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_26594_a86_SIGHUP
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_45521_a109_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_74763_a108_SIGUSR2
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_39911_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_89371_a70_SIGTRAP
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_72896_a87_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_79942_a26_SIGILL
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_90126_a70_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_53921_a57_SIGHUP
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_107622_a77_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_120537_a28_SIGCONT
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_3848_a104_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_39553_a59_SIGABRT
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_98220_a85_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_143516_a115_SIGSEGV
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_67880_a20_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_18373_a25_SIGURG
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_74948_a108_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_59561_a24_SIGURG
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_121932_a37_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_95486_a51_SIGINFO
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_80217_a26_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_64548_a105_SIGABRT
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_122634_a37_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_128383_a93_SIGURG
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_63271_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_57336_a24_SIGURG
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_128938_a93_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_133093_a47_SIGILL
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_121543_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_66548_a20_SIGSYS
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_84945_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_94860_a74_SIGBUS
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_81316_a26_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_15862_a92_SIGCHLD
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_77330_a91_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_43671_a3_SIGURG
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_105831_a22_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_4128_a104_SIGHUP
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_88398_a36_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_42177_a59_SIGABRT
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_105496_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_72595_a87_SIGPROF
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_43206_a52_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_54315_a57_SIGHUP
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_98775_a85_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_22466_a64_SIGEMT
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_133426_a49_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_93987_a18_SIGSEGV
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_54936_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_57931_a24_SIGURG
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_86202_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_19831_a2_SIGUSR1
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_128037_a93_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_114685_a100_SIGXFSZ
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_135271_a4_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_112791_a73_SIGFPE
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_90740_a5_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_72487_a87_SIGPROF
lola: reporting
lola: not produced: 140550
lola: goal oriented search: 3818
lola: STATE EQUATION TRIES TRANSITION t_121141_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_128343_a93_SIGURG
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_84053_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_3431_a54_SIGTTOU
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_77212_a91_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_124182_a35_SIGIOT
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_26442_a86_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_36204_a14_SIGTSTP
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_52693_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_132567_a47_SIGILL
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_103812_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_69274_a20_SIGSYS
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_48410_a109_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_79433_a113_SIGLOST
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_50175_a88_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_100803_a32_SIGUSR1
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_47872_a109_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_99374_a85_SIGIOT
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_63621_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_43655_a3_SIGURG
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_20323_a60_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_67177_a20_SIGSYS
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_111854_a73_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_27018_a86_SIGHUP
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_117761_a100_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_103309_a19_SIGWINCH
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_46454_a109_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_16792_a92_SIGCHLD
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_37671_a14_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_111166_a73_SIGFPE
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_117336_a100_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_99727_a32_SIGUSR1
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_17113_a92_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_59777_a24_SIGURG
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_111871_a73_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_41812_a59_SIGABRT
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_102902_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_70176_a87_SIGPROF
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_25630_a86_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_25221_a86_SIGHUP
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_88210_a36_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_25297_a86_SIGHUP
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_43401_a3_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_94555_a29_SIGUSR1
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_105843_a22_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_77542_a91_SIGPROF
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_87479_a117_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_24667_a86_SIGHUP
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_95465_a51_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_114089_a100_SIGXFSZ
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_112425_a73_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_73379_a87_SIGPROF
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_133206_a47_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_69492_a20_SIGSYS
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_124938_a35_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_18987_a116_SIGCONT
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_24624_a86_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_129498_a46_SIGHUP
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_104772_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_24998_a86_SIGHUP
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_89238_a70_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_125977_a35_SIGIOT
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_39075_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_31156_a119_SIGQUIT
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_41699_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_62466_a105_SIGABRT
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_36602_a14_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_48071_a109_SIGSYS
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_135705_a4_SIGQUIT
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_128817_a93_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_64721_a105_SIGABRT
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_86286_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_91194_a5_SIGUSR2
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_116003_a100_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_12945_a76_SIGSTOP
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_12578_a76_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_134961_a4_SIGQUIT
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_102884_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_118791_a28_SIGCONT
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_23554_a64_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_120934_a28_SIGCONT
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_17681_a92_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_70738_a87_SIGPROF
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_89232_a70_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_97940_a85_SIGIOT
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_14076_a92_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_123858_a35_SIGIOT
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_126497_a35_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_96626_a85_SIGIOT
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_39617_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_48333_a109_SIGSYS
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_5467_a104_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_81184_a26_SIGILL
lola: reporting
lola: not produced: 140347
lola: goal oriented search: 4021
lola: STATE EQUATION TRIES TRANSITION t_72318_a87_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_104042_a19_SIGWINCH
lola: reporting
lola: not produced: 140337
lola: goal oriented search: 4031
lola: STATE EQUATION TRIES TRANSITION t_143315_a115_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_125329_a35_SIGIOT
lola: reporting
lola: not produced: 140337
lola: goal oriented search: 4031
lola: STATE EQUATION TRIES TRANSITION t_28330_a119_SIGQUIT
lola: reporting
lola: not produced: 140337
lola: goal oriented search: 4031
lola: STATE EQUATION TRIES TRANSITION t_74152_a108_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_34060_a97_SIGFPE
lola: reporting
lola: not produced: 140337
lola: goal oriented search: 4031
lola: STATE EQUATION TRIES TRANSITION t_107304_a106_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_117204_a100_SIGXFSZ
lola: reporting
lola: not produced: 140337
lola: goal oriented search: 4031
lola: STATE EQUATION TRIES TRANSITION t_102576_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_14899_a92_SIGCHLD
lola: reporting
lola: not produced: 140337
lola: goal oriented search: 4031
lola: STATE EQUATION TRIES TRANSITION t_112562_a73_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_30030_a119_SIGQUIT

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-8"
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-8, 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-162089422500202"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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