About the Execution of LoLA for RERS17pb115-PT-7
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6909.479 | 1800000.00 | 4776658.00 | 1852.50 | [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-162089422500197.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-7, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r182-tajo-162089422500197
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 9.3K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 74K 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 26K Mar 28 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 10:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 10:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 25 13:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 13:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 1621292654592
starting LoLA
BK_INPUT RERS17pb115-PT-7
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: 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: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_133084_a47_SIGILL
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: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_64029_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_134826_a4_SIGQUIT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_42115_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_126698_a35_SIGIOT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_75508_a108_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_49093_a109_SIGSYS
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_3364_a54_SIGTTOU
lola: 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: LAUNCH SYMM
lola: STATE EQUATION TRIES TRANSITION t_123271_a35_SIGIOT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_80488_a26_SIGILL
lola: 0 generators; 951510 candidates remain ( 0%), 0 secs
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_66722_a20_SIGSYS
lola: 0 generators; 951510 candidates remain ( 0%), 5 secs
lola: STATE EQUATION TRIES TRANSITION t_22359_a64_SIGEMT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_98503_a85_SIGIOT
lola: 0 generators; 951510 candidates remain ( 0%), 10 secs
lola: STATE EQUATION TRIES TRANSITION t_53567_a57_SIGHUP
lola: reporting
lola: not produced: 144368
lola: 0 generators; 951510 candidates remain ( 0%), 15 secs
lola: STATE EQUATION TRIES TRANSITION t_49593_a39_SIGSYS
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_143146_a115_SIGSEGV
lola: 0 generators; 951510 candidates remain ( 0%), 20 secs
lola: STATE EQUATION TRIES TRANSITION t_135192_a4_SIGQUIT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_127074_a93_SIGURG
lola: 0 generators; 951510 candidates remain ( 0%), 25 secs
lola: reporting
lola: not produced: 144368
lola: 0 generators; 951510 candidates remain ( 0%), 30 secs
lola: STATE EQUATION TRIES TRANSITION t_24854_a86_SIGHUP
lola: reporting
lola: not produced: 144368
lola: 0 generators; 951510 candidates remain ( 0%), 35 secs
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_72332_a87_SIGPROF
lola: 0 generators; 951510 candidates remain ( 0%), 40 secs
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_13577_a42_SIGDEADLK
lola: 0 generators; 951510 candidates remain ( 0%), 45 secs
lola: reporting
lola: not produced: 144368
lola: 0 generators; 951510 candidates remain ( 0%), 50 secs
lola: STATE EQUATION TRIES TRANSITION t_55885_a24_SIGURG
lola: reporting
lola: not produced: 144368
lola: 0 generators; 951510 candidates remain ( 0%), 55 secs
lola: STATE EQUATION TRIES TRANSITION t_120996_a28_SIGCONT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_15747_a92_SIGCHLD
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_60710_a78_SIGQUIT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_75071_a108_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_112757_a73_SIGFPE
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_59068_a24_SIGURG
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_127532_a93_SIGURG
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_89200_a70_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_130746_a50_SIGWINCH
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_81988_a94_SIGPOLL
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_27479_a86_SIGHUP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_68307_a20_SIGSYS
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_69534_a20_SIGSYS
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_4160_a104_SIGHUP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_132031_a47_SIGILL
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_133371_a49_SIGWINCH
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_77947_a91_SIGPROF
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_60853_a114_SIGBUS
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_79956_a26_SIGILL
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_15717_a92_SIGCHLD
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_74513_a108_SIGUSR2
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_144017_a115_SIGSEGV
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_93909_a18_SIGSEGV
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_9644_a34_SIGSTOP
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_9288_a34_SIGSTOP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_108387_a103_SIGWINCH
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_10732_a34_SIGSTOP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_9897_a34_SIGSTOP
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_34128_a97_SIGFPE
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_6040_a104_SIGHUP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_129705_a46_SIGHUP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_100095_a32_SIGUSR1
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_109107_a103_SIGWINCH
lola: reporting
lola: not produced: 144368
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_78946_a30_SIGXFSZ
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_30086_a119_SIGQUIT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_128622_a93_SIGURG
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_75066_a108_SIGUSR2
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_139295_a1_SIGSYS
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_138044_a17_SIGIOT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_42664_a58_SIGHUP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_43082_a52_SIGCONT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_72392_a87_SIGPROF
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_131400_a47_SIGILL
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_129939_a63_SIGDEADLK
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_139752_a1_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_120936_a28_SIGCONT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_65466_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_12225_a7_SIGPIPE
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_106713_a106_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_29186_a119_SIGQUIT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_89287_a70_SIGTRAP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_48914_a109_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_10280_a34_SIGSTOP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_82354_a94_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_120237_a28_SIGCONT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_65022_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_133308_a47_SIGILL
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_42570_a58_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_41874_a59_SIGABRT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_66148_a20_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_37739_a14_SIGTSTP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_108924_a103_SIGWINCH
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_132490_a47_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_17493_a92_SIGCHLD
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_121774_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_105178_a19_SIGWINCH
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_59588_a24_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_101954_a19_SIGWINCH
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_106731_a106_SIGUSR1
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_54027_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_30272_a119_SIGQUIT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_74676_a108_SIGUSR2
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_79367_a113_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_111450_a73_SIGFPE
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_16817_a92_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_87766_a36_SIGCONT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_20577_a67_SIGALRM
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_69282_a20_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_76158_a108_SIGUSR2
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_27340_a86_SIGHUP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_58905_a24_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_12663_a76_SIGSTOP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_112866_a73_SIGFPE
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_97496_a85_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_46595_a109_SIGSYS
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_129766_a46_SIGHUP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_3835_a104_SIGHUP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_103194_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_28335_a119_SIGQUIT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_102175_a19_SIGWINCH
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_21376_a21_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_89324_a70_SIGTRAP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_128502_a93_SIGURG
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_108451_a103_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_63291_a105_SIGABRT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_98814_a85_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_104089_a19_SIGWINCH
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_111931_a73_SIGFPE
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_48163_a109_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_126278_a35_SIGIOT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_82612_a94_SIGPOLL
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_111960_a73_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_123317_a35_SIGIOT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_135195_a4_SIGQUIT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_71270_a87_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_30428_a119_SIGQUIT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_80088_a26_SIGILL
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_23127_a64_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_63203_a105_SIGABRT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_94270_a18_SIGSEGV
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_41693_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_19899_a2_SIGUSR1
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_42681_a58_SIGHUP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_53806_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_5522_a104_SIGHUP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_68817_a20_SIGSYS
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_2485_a102_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_59918_a78_SIGQUIT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_121475_a28_SIGCONT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_46908_a109_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_63530_a105_SIGABRT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_26910_a86_SIGHUP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_131370_a47_SIGILL
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_15141_a92_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_18928_a116_SIGCONT
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_54947_a57_SIGHUP
lola: reporting
lola: not produced: 144368
lola: STATE EQUATION TRIES TRANSITION t_6575_a104_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_117858_a28_SIGCONT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_16395_a92_SIGCHLD
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_101131_a32_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_75691_a108_SIGUSR2
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_57087_a24_SIGURG
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_38944_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_76779_a91_SIGPROF
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_41782_a59_SIGABRT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_75859_a108_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_40980_a59_SIGABRT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_131826_a47_SIGILL
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_125288_a35_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_3087_a89_SIGXFSZ
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_32784_a31_SIGQUIT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_123887_a35_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_37449_a14_SIGTSTP
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_86101_a15_SIGKILL
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_121588_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_12482_a76_SIGSTOP
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_53090_a57_SIGHUP
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_75307_a108_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_59452_a24_SIGURG
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_97412_a85_SIGIOT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_20463_a60_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_114012_a100_SIGXFSZ
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_105820_a19_SIGWINCH
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_71680_a87_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_52790_a57_SIGHUP
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_141719_a75_SIGQUIT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_126483_a35_SIGIOT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_123722_a35_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_120407_a28_SIGCONT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_124225_a35_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_81206_a26_SIGILL
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_119325_a28_SIGCONT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_61564_a114_SIGBUS
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_50890_a55_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_29048_a119_SIGQUIT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_86286_a15_SIGKILL
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_85202_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_38871_a59_SIGABRT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_91723_a9_SIGPROF
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_31366_a119_SIGQUIT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_5170_a104_SIGHUP
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_109879_a73_SIGFPE
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_83740_a15_SIGKILL
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_11481_a34_SIGSTOP
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_142990_a115_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_63689_a105_SIGABRT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_74442_a108_SIGUSR2
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_4208_a104_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_40884_a59_SIGABRT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_98789_a85_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_120249_a28_SIGCONT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_107076_a106_SIGUSR1
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_125398_a35_SIGIOT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_27495_a86_SIGHUP
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_2595_a102_SIGSYS
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_39091_a59_SIGABRT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_79129_a113_SIGLOST
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_100321_a32_SIGUSR1
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_4103_a104_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_60126_a78_SIGQUIT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_59693_a24_SIGURG
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_77016_a91_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_42781_a58_SIGHUP
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_82822_a94_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_66921_a20_SIGSYS
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_135861_a4_SIGQUIT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_142657_a115_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_19306_a80_SIGURG
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_62115_a105_SIGABRT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_98369_a85_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_132999_a47_SIGILL
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_94012_a18_SIGSEGV
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_137207_a6_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_32712_a31_SIGQUIT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_105077_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_112134_a73_SIGFPE
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_104070_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_68972_a20_SIGSYS
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_93948_a18_SIGSEGV
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_26111_a86_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_58247_a24_SIGURG
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_86330_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_83530_a15_SIGKILL
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_50198_a88_SIGVTALRM
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_34037_a97_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_87776_a36_SIGCONT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_104506_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_70892_a87_SIGPROF
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_64933_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_21590_a21_SIGPOLL
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_68617_a20_SIGSYS
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_34858_a14_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_71409_a87_SIGPROF
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_118923_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_38413_a59_SIGABRT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_53568_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_117796_a28_SIGCONT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_44251_a3_SIGURG
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_15346_a92_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_48974_a109_SIGSYS
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_144344_a115_SIGSEGV
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_59355_a24_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_120544_a28_SIGCONT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_144075_a115_SIGSEGV
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_54761_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_68016_a20_SIGSYS
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_89674_a70_SIGTRAP
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_74941_a108_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_12104_a7_SIGPIPE
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_110219_a73_SIGFPE
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_84091_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_93505_a38_SIGPROF
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_65051_a105_SIGABRT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_79778_a48_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_61998_a105_SIGABRT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_46014_a109_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_3849_a104_SIGHUP
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_102484_a19_SIGWINCH
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_18065_a111_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_39280_a59_SIGABRT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_143729_a115_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_91812_a9_SIGPROF
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_8981_a34_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_76649_a91_SIGPROF
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_54368_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_124217_a35_SIGIOT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_108615_a103_SIGWINCH
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_64096_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_107896_a77_SIGWINCH
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_98031_a85_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_142359_a115_SIGSEGV
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_35246_a14_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_132184_a47_SIGILL
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_7865_a34_SIGSTOP
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_3056_a102_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_83761_a15_SIGKILL
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_114023_a100_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_27646_a86_SIGHUP
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_32412_a31_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_78365_a43_SIGURG
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_51816_a57_SIGHUP
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_33039_a66_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_82931_a94_SIGPOLL
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_34124_a97_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_59833_a78_SIGQUIT
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_61966_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_14461_a92_SIGCHLD
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_53270_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_16775_a92_SIGCHLD
lola: reporting
lola: not produced: 137846
lola: goal oriented search: 6522
lola: STATE EQUATION TRIES TRANSITION t_48024_a109_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_128854_a93_SIGURG
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_15678_a92_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_88411_a36_SIGCONT
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_41972_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_119941_a28_SIGCONT
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_101067_a32_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_126621_a35_SIGIOT
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_51743_a57_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_95644_a85_SIGIOT
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_65051_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_10718_a34_SIGSTOP
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_83316_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_87766_a36_SIGCONT
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_60624_a78_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_140214_a1_SIGSYS
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_118135_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_37757_a14_SIGTSTP
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_80534_a26_SIGILL
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_112625_a73_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_137090_a6_SIGINFO
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_119047_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_32701_a31_SIGQUIT
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_91040_a5_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_130876_a50_SIGWINCH
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_126285_a35_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_80045_a26_SIGILL
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_84008_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_10812_a34_SIGSTOP
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_75192_a108_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_124728_a35_SIGIOT
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_24700_a86_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_73521_a87_SIGPROF
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_93818_a38_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_55230_a57_SIGHUP
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_116118_a100_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_94939_a74_SIGBUS
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_83617_a15_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_95268_a51_SIGINFO
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_22274_a64_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_5924_a104_SIGHUP
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_60532_a78_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_71334_a87_SIGPROF
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_66705_a20_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_45247_a109_SIGSYS
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_20770_a67_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_68567_a20_SIGSYS
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_91064_a5_SIGUSR2
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_74271_a108_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_139944_a1_SIGSYS
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_24295_a86_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_122851_a37_SIGTERM
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_94682_a29_SIGUSR1
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_65567_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_6102_a104_SIGHUP
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_20496_a60_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_118999_a28_SIGCONT
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_30320_a119_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_31158_a119_SIGQUIT
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_113002_a73_SIGFPE
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_65495_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_12868_a76_SIGSTOP
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_140157_a1_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_61839_a114_SIGBUS
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_25732_a86_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_91670_a9_SIGPROF
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_115656_a100_SIGXFSZ
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_104387_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_71897_a87_SIGPROF
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_57744_a24_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_68948_a20_SIGSYS
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_140596_a72_SIGTTIN
lola: STATE EQUATION TRIES TRANSITION t_108543_a103_SIGWINCH
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_40790_a59_SIGABRT
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_123606_a35_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_89020_a70_SIGTRAP
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_38997_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_77845_a91_SIGPROF
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_121148_a28_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_106648_a106_SIGUSR1
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_27581_a86_SIGHUP
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_8933_a34_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_144122_a115_SIGSEGV
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_9273_a34_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_126717_a35_SIGIOT
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_45132_a98_SIGINT
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_98_a71_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_43895_a3_SIGURG
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_76302_a91_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_62839_a105_SIGABRT
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_41887_a59_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_24853_a86_SIGHUP
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_8305_a34_SIGSTOP
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_128593_a93_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_27189_a86_SIGHUP
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_70565_a87_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_78025_a91_SIGPROF
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_144110_a115_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_33596_a97_SIGFPE
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_74789_a108_SIGUSR2
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_104621_a19_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_41105_a59_SIGABRT
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_108357_a77_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_48023_a109_SIGSYS
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_73855_a87_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_39941_a59_SIGABRT
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_16245_a92_SIGCHLD
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_129941_a63_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_109830_a73_SIGFPE
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_66513_a20_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_71269_a87_SIGPROF
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_133772_a49_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_123117_a35_SIGIOT
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_32994_a66_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_26806_a86_SIGHUP
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_70180_a87_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_22780_a64_SIGEMT
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_62974_a105_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_7161_a104_SIGHUP
lola: reporting
lola: not produced: 136725
lola: goal oriented search: 7643
lola: STATE EQUATION TRIES TRANSITION t_136237_a10_SIGKILL
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-7"
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-7, 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-162089422500197"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb115-PT-7.tgz
mv RERS17pb115-PT-7 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 '
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 ;