About the Execution of LoLA for RERS17pb114-PT-7
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7620.880 | 1800000.00 | 4696062.00 | 4531.20 | [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-162089422400152.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is RERS17pb114-PT-7, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r182-tajo-162089422400152
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 116K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 24K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 123K 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.0K Mar 28 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 28 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 10:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 10:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Mar 25 13:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 13:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 08:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 73M May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME QuasiLiveness
=== Now, execution of the tool begins
BK_START 1621290831560
starting LoLA
BK_INPUT RERS17pb114-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: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_40803_a39_SIGPROF
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_14751_a10_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_107367_a15_SIGPOLL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_99225_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_116576_a96_SIGABRT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_127020_a71_SIGVTALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_135992_a19_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_102232_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_4884_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_81616_a4_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_104022_a58_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_105960_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_37460_a25_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_65967_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_84971_a41_SIGSEGV
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_98557_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_72748_a24_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_22483_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_137699_a14_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_30811_a109_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_58041_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_79846_a4_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_67759_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_119707_a97_SIGFPE
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_136152_a19_SIGSYS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_17603_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_100170_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_115788_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_149141_a73_SIGURG
lola: reporting
lola: not produced: 151084
lola: LAUNCH SYMM
lola: STATE EQUATION TRIES TRANSITION t_133504_a84_SIGINT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_131594_a84_SIGINT
lola: 0 generators; 1018878 candidates remain ( 0%), 0 secs
lola: STATE EQUATION TRIES TRANSITION t_78517_a30_SIGBUS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_116667_a96_SIGABRT
lola: 0 generators; 1018878 candidates remain ( 0%), 5 secs
lola: STATE EQUATION TRIES TRANSITION t_32126_a109_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 10 secs
lola: STATE EQUATION TRIES TRANSITION t_123409_a102_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_26614_a76_SIGILL
lola: 0 generators; 1018878 candidates remain ( 0%), 15 secs
lola: STATE EQUATION TRIES TRANSITION t_124839_a88_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_115640_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_49882_a87_SIGALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_79028_a4_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_104115_a58_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_11742_a111_SIGTTOU
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_135363_a19_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_92653_a44_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_141591_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_140181_a90_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_47546_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_94865_a22_SIGSTOP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_110864_a62_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_71850_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_104745_a58_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_56305_a3_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_70370_a100_SIGBUS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_10035_a17_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_104212_a58_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_71742_a24_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_129182_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_150331_a28_SIGINT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_51773_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_77782_a30_SIGBUS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_72597_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_57336_a34_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_127588_a71_SIGVTALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_63723_a26_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_33486_a78_SIGSYS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_42411_a117_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_126879_a71_SIGVTALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_132088_a84_SIGINT
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_94611_a22_SIGSTOP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_84090_a41_SIGSEGV
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_53308_a18_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_136318_a14_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_15910_a77_SIGXFSZ
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_139128_a27_SIGALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_127031_a71_SIGVTALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_20626_a1_SIGSEGV
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_38814_a25_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_127736_a71_SIGVTALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_145586_a119_SIGSTOP
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_84009_a74_SIGEMT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_26211_a93_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_36061_a75_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_15977_a77_SIGXFSZ
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_129071_a21_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_143775_a2_SIGLOST
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_61997_a26_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_145486_a119_SIGSTOP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_147103_a119_SIGSTOP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_93875_a105_SIGEMT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_46659_a87_SIGALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_28436_a76_SIGILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_54499_a18_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_114401_a89_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_3922_a31_SIGXFSZ
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_1029_a99_SIGILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_136540_a14_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_76381_a114_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_39087_a25_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_87516_a83_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_3405_a31_SIGXFSZ
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_24579_a93_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_15159_a10_SIGTSTP
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_73966_a24_SIGCHLD
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_46924_a87_SIGALRM
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_41959_a107_SIGPWR
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_141577_a90_SIGINFO
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_26425_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_145539_a119_SIGSTOP
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_103182_a58_SIGTERM
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_2817_a56_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_99482_a51_SIGPWR
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_31307_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_150810_a28_SIGINT
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_90483_a13_SIGVTALRM
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_82454_a4_SIGTSTP
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_94401_a22_SIGSTOP
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_116456_a96_SIGABRT
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_64533_a64_SIGVTALRM
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_30427_a109_SIGTRAP
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_123425_a102_SIGTERM
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_980_a99_SIGILL
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_75966_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_94906_a22_SIGSTOP
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_101435_a51_SIGPWR
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_100132_a51_SIGPWR
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_27986_a76_SIGILL
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_121017_a102_SIGTERM
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_59997_a29_SIGPROF
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_112693_a89_SIGUSR2
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_67082_a23_SIGHUP
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_137615_a14_SIGDEADLK
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_53368_a18_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_33622_a78_SIGSYS
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_146913_a119_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_132323_a84_SIGINT
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_94131_a105_SIGEMT
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_140514_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_96858_a22_SIGSTOP
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_3569_a31_SIGXFSZ
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_24468_a93_SIGTRAP
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_3824_a31_SIGXFSZ
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_15896_a77_SIGXFSZ
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_57203_a34_SIGTSTP
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_120176_a102_SIGTERM
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_69262_a23_SIGHUP
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_98875_a51_SIGPWR
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_83627_a112_SIGHUP
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_92852_a91_SIGPIPE
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_62175_a26_SIGCHLD
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_59367_a29_SIGPROF
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_41084_a39_SIGPROF
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_79720_a4_SIGTSTP
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_92071_a44_SIGDEADLK
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_137053_a14_SIGDEADLK
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_118119_a72_SIGTERM
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_7299_a59_SIGUSR1
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_113339_a89_SIGUSR2
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_122407_a102_SIGTERM
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_20603_a1_SIGSEGV
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_8034_a59_SIGUSR1
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_80450_a4_SIGTSTP
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_7270_a59_SIGUSR1
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_32156_a109_SIGTRAP
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_90261_a95_SIGEMT
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_59025_a34_SIGTSTP
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_31462_a109_SIGTRAP
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_121279_a102_SIGTERM
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_37130_a25_SIGINFO
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_150877_a28_SIGINT
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_6944_a59_SIGUSR1
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_93478_a91_SIGPIPE
lola: STATE EQUATION TRIES TRANSITION t_7267_a59_SIGUSR1
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_96801_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_124612_a88_SIGPWR
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_50093_a87_SIGALRM
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_43114_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_81886_a4_SIGTSTP
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_30813_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_134977_a84_SIGINT
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_123453_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_72134_a24_SIGCHLD
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_134969_a84_SIGINT
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_61178_a26_SIGCHLD
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_63861_a26_SIGCHLD
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_98564_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_35748_a75_SIGUSR2
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_34381_a43_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_113952_a89_SIGUSR2
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_96519_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_110022_a62_SIGTRAP
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_87186_a83_SIGUSR2
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_108359_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_73284_a24_SIGCHLD
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_15111_a10_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_115288_a89_SIGUSR2
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_35072_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_24906_a93_SIGTRAP
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_46336_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_2486_a56_SIGPWR
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_37074_a20_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_49493_a87_SIGALRM
lola: reporting
lola: not produced: 147056
lola: goal oriented search: 4028
lola: STATE EQUATION TRIES TRANSITION t_2628_a56_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_143628_a2_SIGLOST
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_27115_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_64819_a64_SIGVTALRM
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_38063_a25_SIGINFO
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_131441_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_55319_a65_SIGUSR1
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_18278_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_72840_a24_SIGCHLD
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_115023_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_114324_a89_SIGUSR2
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_12822_a111_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_85630_a38_SIGFPE
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_106546_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_54439_a18_SIGTERM
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_111600_a68_SIGINFO
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_88942_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_123937_a102_SIGTERM
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_150905_a28_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_6075_a33_SIGKILL
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_88725_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_99032_a51_SIGPWR
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_115873_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_102351_a51_SIGPWR
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_117871_a96_SIGABRT
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_108788_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_87764_a83_SIGUSR2
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_85182_a38_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_60259_a26_SIGCHLD
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_67444_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_116297_a96_SIGABRT
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_22059_a92_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_72078_a24_SIGCHLD
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_62816_a26_SIGCHLD
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_69924_a100_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_132851_a84_SIGINT
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_68566_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_95644_a22_SIGSTOP
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_136348_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_117939_a96_SIGABRT
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_34835_a75_SIGUSR2
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_67337_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_125971_a88_SIGPWR
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_43936_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_120670_a102_SIGTERM
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_93058_a91_SIGPIPE
lola: STATE EQUATION TRIES TRANSITION t_70578_a106_SIGKILL
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_77438_a32_SIGILL
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_69254_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_65200_a64_SIGVTALRM
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_88797_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_71869_a24_SIGCHLD
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_115984_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_101151_a51_SIGPWR
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_77039_a55_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_28598_a109_SIGTRAP
lola: reporting
lola: not produced: 142243
lola: goal oriented search: 8841
lola: STATE EQUATION TRIES TRANSITION t_135481_a19_SIGSYS
lola: reporting
lola: not produced: 138866
lola: goal oriented search: 12218
lola: STATE EQUATION TRIES TRANSITION t_47714_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_130979_a21_SIGINFO
lola: reporting
lola: not produced: 138866
lola: goal oriented search: 12218
lola: STATE EQUATION TRIES TRANSITION t_100845_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_44229_a117_SIGPWR
lola: reporting
lola: not produced: 138866
lola: goal oriented search: 12218
lola: STATE EQUATION TRIES TRANSITION t_20635_a1_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_146498_a119_SIGSTOP
lola: reporting
lola: not produced: 138866
lola: goal oriented search: 12218
lola: STATE EQUATION TRIES TRANSITION t_3550_a31_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_132192_a84_SIGINT
lola: reporting
lola: not produced: 138866
lola: goal oriented search: 12218
lola: STATE EQUATION TRIES TRANSITION t_55878_a65_SIGUSR1
lola: reporting
lola: not produced: 138866
lola: goal oriented search: 12218
lola: STATE EQUATION TRIES TRANSITION t_113751_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_28528_a76_SIGILL
lola: reporting
lola: not produced: 138866
lola: goal oriented search: 12218
lola: STATE EQUATION TRIES TRANSITION t_114904_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_72418_a24_SIGCHLD
lola: reporting
lola: not produced: 138866
lola: goal oriented search: 12218
lola: STATE EQUATION TRIES TRANSITION t_68486_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_58037_a34_SIGTSTP
lola: reporting
lola: not produced: 138866
lola: goal oriented search: 12218
lola: STATE EQUATION TRIES TRANSITION t_129239_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_54257_a18_SIGTERM
lola: reporting
lola: not produced: 138866
lola: goal oriented search: 12218
lola: STATE EQUATION TRIES TRANSITION t_107620_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_30166_a109_SIGTRAP
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_27398_a76_SIGILL
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_39589_a110_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_23799_a93_SIGTRAP
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_98685_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_121409_a102_SIGTERM
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_30564_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_3827_a31_SIGXFSZ
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_116275_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_143876_a2_SIGLOST
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_91154_a44_SIGDEADLK
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_1511_a99_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_146179_a119_SIGSTOP
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_35437_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_39167_a110_SIGINT
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_105985_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_109082_a15_SIGPOLL
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_38466_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_13115_a70_SIGIOT
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_125954_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_130415_a21_SIGINFO
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_120366_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_37168_a25_SIGINFO
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_104288_a58_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_146014_a119_SIGSTOP
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_4712_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_64203_a26_SIGCHLD
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_135825_a19_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_91583_a44_SIGDEADLK
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_141611_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_87687_a83_SIGUSR2
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_47790_a87_SIGALRM
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_136161_a19_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_143978_a2_SIGLOST
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_3085_a31_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_49086_a87_SIGALRM
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_6297_a59_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_123969_a88_SIGPWR
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_105596_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_40251_a39_SIGPROF
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_47250_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_140454_a90_SIGINFO
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_6472_a59_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_147150_a119_SIGSTOP
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_74198_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_123095_a102_SIGTERM
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_94834_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_21412_a92_SIGSTOP
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_46116_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_79182_a4_SIGTSTP
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_143573_a2_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_58277_a34_SIGTSTP
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_86148_a37_SIGFPE
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_123233_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_147523_a61_SIGHUP
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_134247_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_63381_a26_SIGCHLD
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_106878_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_31498_a109_SIGTRAP
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_62687_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_22281_a92_SIGSTOP
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_110067_a62_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_133502_a84_SIGINT
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_130365_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_99366_a51_SIGPWR
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_88375_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_118366_a72_SIGTERM
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_66699_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_34295_a43_SIGTTOU
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_54521_a18_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_64141_a26_SIGCHLD
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_73452_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_118685_a72_SIGTERM
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_126970_a71_SIGVTALRM
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_101272_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_74242_a24_SIGCHLD
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_96371_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_7394_a59_SIGUSR1
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_115183_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_7335_a59_SIGUSR1
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_13613_a66_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_28253_a76_SIGILL
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_46663_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_105288_a82_SIGBUS
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_95421_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_116543_a96_SIGABRT
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_135559_a19_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_95063_a22_SIGSTOP
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_81210_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_64267_a26_SIGCHLD
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_116120_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_53786_a18_SIGTERM
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_94641_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_121442_a102_SIGTERM
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_91465_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_135733_a19_SIGSYS
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_126245_a71_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_76602_a114_SIGUSR1
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_111967_a89_SIGUSR2
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_101537_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_138284_a14_SIGDEADLK
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_149493_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_90277_a95_SIGEMT
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_36423_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_140073_a90_SIGINFO
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_5526_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_34102_a85_SIGSEGV
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_84248_a41_SIGSEGV
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_9821_a17_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_43331_a117_SIGPWR
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_49014_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_125371_a88_SIGPWR
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_96180_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_23691_a93_SIGTRAP
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_103961_a58_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_80120_a4_SIGTSTP
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_74626_a24_SIGCHLD
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_66859_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_80006_a4_SIGTSTP
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_114770_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_27001_a76_SIGILL
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_40086_a110_SIGINT
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_126735_a71_SIGVTALRM
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_33925_a85_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_95355_a22_SIGSTOP
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_149965_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_31760_a109_SIGTRAP
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_27885_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_109679_a62_SIGTRAP
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_101761_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_147781_a61_SIGHUP
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_1985_a99_SIGILL
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_101336_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_18988_a63_SIGUSR2
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_41188_a107_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_116438_a96_SIGABRT
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_52529_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_139557_a90_SIGINFO
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_2402_a56_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_127821_a71_SIGVTALRM
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_17570_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_64253_a26_SIGCHLD
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_27028_a76_SIGILL
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_145119_a6_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_81065_a4_SIGTSTP
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_20267_a48_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_91798_a44_SIGDEADLK
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_85044_a41_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_18247_a40_SIGUSR1
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_60127_a108_SIGINT
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_149716_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_70740_a106_SIGKILL
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_46212_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_58245_a34_SIGTSTP
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_75322_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_135426_a19_SIGSYS
lola: reporting
lola: not produced: 138361
lola: goal oriented search: 12723
lola: STATE EQUATION TRIES TRANSITION t_8896_a16_SIGALRM
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb114-PT-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 RERS17pb114-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-162089422400152"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-7.tgz
mv RERS17pb114-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 ;