About the Execution of LoLA for RERS17pb114-PT-5
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7627.300 | 1800000.00 | 4727884.00 | 1801.80 | [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-162089422400142.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-5, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r182-tajo-162089422400142
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 16K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 153K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 21K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 105K 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.5K Mar 28 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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 18K Mar 28 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 10:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 10:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 13:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 13:20 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 1621290683378
starting LoLA
BK_INPUT RERS17pb114-PT-5
BK_EXAMINATION: QuasiLiveness
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: QuasiLiveness
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_40803_a39_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_14751_a10_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_107367_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_99225_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_116576_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_127020_a71_SIGVTALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_135992_a19_SIGSYS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_102232_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_4884_a33_SIGKILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_81616_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_104022_a58_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_105960_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_37460_a25_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_65967_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_84971_a41_SIGSEGV
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_98557_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_72748_a24_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_22483_a93_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_137699_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_30811_a109_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_58041_a34_SIGTSTP
lola: 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: STATE EQUATION TRIES TRANSITION t_17603_a40_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: LAUNCH SYMM
lola: STATE EQUATION TRIES TRANSITION t_138472_a27_SIGALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_107765_a15_SIGPOLL
lola: 0 generators; 1018878 candidates remain ( 0%), 0 secs
lola: STATE EQUATION TRIES TRANSITION t_129387_a21_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_115640_a89_SIGUSR2
lola: 0 generators; 1018878 candidates remain ( 0%), 5 secs
lola: STATE EQUATION TRIES TRANSITION t_40555_a39_SIGPROF
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 10 secs
lola: STATE EQUATION TRIES TRANSITION t_105726_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_103029_a86_SIGFPE
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 15 secs
lola: STATE EQUATION TRIES TRANSITION t_134123_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_75379_a114_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 20 secs
lola: STATE EQUATION TRIES TRANSITION t_26101_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_37295_a25_SIGINFO
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 25 secs
lola: STATE EQUATION TRIES TRANSITION t_124617_a88_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_108870_a15_SIGPOLL
lola: 0 generators; 1018878 candidates remain ( 0%), 30 secs
lola: STATE EQUATION TRIES TRANSITION t_67995_a23_SIGHUP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_138846_a27_SIGALRM
lola: 0 generators; 1018878 candidates remain ( 0%), 35 secs
lola: STATE EQUATION TRIES TRANSITION t_142999_a90_SIGINFO
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 40 secs
lola: STATE EQUATION TRIES TRANSITION t_32670_a46_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_145708_a119_SIGSTOP
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 45 secs
lola: STATE EQUATION TRIES TRANSITION t_75770_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_71822_a24_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 50 secs
lola: STATE EQUATION TRIES TRANSITION t_100508_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_44836_a117_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_50094_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_52605_a42_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_39050_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_19467_a12_SIGINT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_120645_a102_SIGTERM
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_34898_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_72975_a24_SIGCHLD
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_128323_a53_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_129830_a21_SIGINFO
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_136777_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_70170_a100_SIGBUS
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_91139_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_2139_a56_SIGPWR
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_49777_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_67317_a23_SIGHUP
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_111662_a57_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_148060_a73_SIGURG
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_4079_a31_SIGXFSZ
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_105805_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_76095_a114_SIGUSR1
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_20935_a1_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_101579_a51_SIGPWR
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_28225_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_73285_a24_SIGCHLD
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_147950_a61_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_118407_a72_SIGTERM
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_9136_a16_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_113760_a89_SIGUSR2
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_80509_a4_SIGTSTP
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_40346_a39_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_133805_a84_SIGINT
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_140514_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_117684_a96_SIGABRT
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_106043_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_90316_a95_SIGEMT
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_64808_a64_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_44273_a117_SIGPWR
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_140005_a90_SIGINFO
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_142388_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_89025_a83_SIGUSR2
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_77873_a30_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_125077_a88_SIGPWR
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_25161_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_124960_a88_SIGPWR
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_92753_a91_SIGPIPE
lola: STATE EQUATION TRIES TRANSITION t_105931_a82_SIGBUS
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_71285_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_28515_a76_SIGILL
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_88850_a83_SIGUSR2
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_32702_a46_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_77331_a55_SIGABRT
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_114251_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_2945_a56_SIGPWR
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_101133_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_48684_a87_SIGALRM
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_54607_a18_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_108783_a15_SIGPOLL
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_112684_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_19421_a12_SIGINT
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_64883_a64_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_41903_a107_SIGPWR
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_33037_a46_SIGBUS
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_13046_a70_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_6475_a59_SIGUSR1
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_142873_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_129881_a21_SIGINFO
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_42560_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_78743_a4_SIGTSTP
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_105636_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_608_a99_SIGILL
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_76332_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_59184_a29_SIGPROF
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_40634_a39_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_53744_a18_SIGTERM
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_119709_a97_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_56707_a3_SIGKILL
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_8893_a16_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_66804_a23_SIGHUP
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_41626_a107_SIGPWR
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_45286_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_1666_a99_SIGILL
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_36927_a20_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_43419_a117_SIGPWR
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_93981_a105_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_752_a99_SIGILL
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_76992_a55_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_43343_a117_SIGPWR
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_41195_a107_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_51762_a42_SIGDEADLK
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_62824_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_125539_a88_SIGPWR
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_125777_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_38766_a25_SIGINFO
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_69779_a100_SIGBUS
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_91515_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_4152_a33_SIGKILL
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_82289_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_130317_a21_SIGINFO
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_45117_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_34549_a43_SIGTTOU
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_39507_a110_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_150139_a28_SIGINT
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_126988_a71_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_119555_a97_SIGFPE
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_67897_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_140872_a90_SIGINFO
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_150112_a28_SIGINT
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_78602_a30_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_64968_a64_SIGVTALRM
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_6281_a59_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_45810_a117_SIGPWR
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_58860_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_111522_a68_SIGINFO
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_74725_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_56556_a3_SIGKILL
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_12356_a111_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_87488_a83_SIGUSR2
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_61269_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_35359_a75_SIGUSR2
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_150967_a28_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_72699_a24_SIGCHLD
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_6151_a59_SIGUSR1
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_83989_a74_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_14993_a10_SIGTSTP
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_20280_a48_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_107979_a15_SIGPOLL
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_50597_a69_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_120071_a102_SIGTERM
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_138354_a27_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_37953_a25_SIGINFO
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_32380_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_116311_a96_SIGABRT
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_39436_a110_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_140823_a90_SIGINFO
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_21777_a92_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_120846_a102_SIGTERM
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_42320_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_78029_a30_SIGBUS
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_43752_a117_SIGPWR
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_15051_a10_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_137644_a14_SIGDEADLK
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_137561_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_95395_a22_SIGSTOP
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_142632_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_106155_a82_SIGBUS
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_20175_a48_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_67990_a23_SIGHUP
lola: reporting
lola: not produced: 148051
lola: goal oriented search: 3033
lola: STATE EQUATION TRIES TRANSITION t_83584_a112_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_8785_a16_SIGALRM
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_143142_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_110634_a62_SIGTRAP
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_145587_a119_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_130004_a21_SIGINFO
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_134595_a84_SIGINT
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_37507_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_120175_a102_SIGTERM
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_17191_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_124943_a88_SIGPWR
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_55906_a65_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_15288_a10_SIGTSTP
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_132208_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_106215_a82_SIGBUS
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_147788_a61_SIGHUP
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_37429_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_126579_a71_SIGVTALRM
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_125595_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_139383_a90_SIGINFO
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_120959_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_768_a99_SIGILL
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_82307_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_89015_a83_SIGUSR2
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_129117_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_144316_a2_SIGLOST
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_149646_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_8412_a16_SIGALRM
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_30833_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_46356_a87_SIGALRM
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_91025_a44_SIGDEADLK
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_147920_a61_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_9802_a17_SIGPROF
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_52945_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_82669_a4_SIGTSTP
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_125044_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_72715_a24_SIGCHLD
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_26399_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_66254_a23_SIGHUP
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_57002_a3_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_1926_a99_SIGILL
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_81257_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_26174_a93_SIGTRAP
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_114046_a89_SIGUSR2
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_111786_a57_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_89387_a95_SIGEMT
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_8287_a16_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_108685_a15_SIGPOLL
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_6319_a59_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_95663_a22_SIGSTOP
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_42038_a107_SIGPWR
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_58460_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_38591_a25_SIGINFO
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_14483_a101_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_148542_a73_SIGURG
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_119536_a97_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_123849_a102_SIGTERM
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_53694_a18_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_130621_a21_SIGINFO
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_52591_a42_SIGDEADLK
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_97130_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_147485_a119_SIGSTOP
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_148267_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_72927_a24_SIGCHLD
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_26407_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_24547_a93_SIGTRAP
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_96696_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_76511_a114_SIGUSR1
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_111849_a57_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_100103_a51_SIGPWR
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_106632_a82_SIGBUS
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_130918_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_118257_a72_SIGTERM
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_148833_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_78034_a30_SIGBUS
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_34563_a43_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_124214_a88_SIGPWR
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_115397_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_9597_a17_SIGPROF
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_5323_a33_SIGKILL
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_50382_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_114667_a89_SIGUSR2
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_146317_a119_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_74174_a24_SIGCHLD
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_133518_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_87330_a83_SIGUSR2
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_122239_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_118486_a72_SIGTERM
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_45740_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_59335_a29_SIGPROF
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_135804_a19_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_8888_a16_SIGALRM
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_26381_a93_SIGTRAP
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_59119_a29_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_74626_a24_SIGCHLD
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_45095_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_2687_a56_SIGPWR
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_62156_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_45010_a117_SIGPWR
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_108000_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_53168_a18_SIGTERM
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_105582_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_142330_a90_SIGINFO
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_10356_a17_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_49347_a87_SIGALRM
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_74877_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_27003_a76_SIGILL
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_27013_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_24238_a93_SIGTRAP
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_86120_a37_SIGFPE
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_43690_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_83554_a112_SIGHUP
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_67210_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_57280_a34_SIGTSTP
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_85524_a38_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_32662_a46_SIGBUS
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_141143_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_383_a99_SIGILL
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_14779_a10_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_31080_a109_SIGTRAP
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_78661_a30_SIGBUS
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_136876_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_72251_a24_SIGCHLD
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_83622_a112_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_58377_a34_SIGTSTP
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_63321_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_73142_a24_SIGCHLD
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_144139_a2_SIGLOST
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_73633_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_124955_a88_SIGPWR
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_61144_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_107354_a15_SIGPOLL
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_39688_a110_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_125640_a88_SIGPWR
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_123341_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_85772_a38_SIGFPE
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_23426_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_123046_a102_SIGTERM
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_26121_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_22798_a93_SIGTRAP
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_26090_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_3334_a31_SIGXFSZ
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_31103_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_1207_a99_SIGILL
lola: reporting
lola: not produced: 141370
lola: goal oriented search: 9714
lola: STATE EQUATION TRIES TRANSITION t_101694_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_83449_a112_SIGHUP
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_114795_a89_SIGUSR2
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_148144_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_122337_a102_SIGTERM
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_68776_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_139276_a27_SIGALRM
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_119812_a97_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_99688_a51_SIGPWR
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_47649_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_150016_a73_SIGURG
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_96982_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_132868_a84_SIGINT
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_136259_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_83256_a5_SIGHUP
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_60176_a108_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_124692_a88_SIGPWR
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_69714_a100_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_71207_a24_SIGCHLD
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_71029_a24_SIGCHLD
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_17743_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_9393_a17_SIGPROF
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_96240_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_1398_a99_SIGILL
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_137537_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_34565_a43_SIGTTOU
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_149639_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_47592_a87_SIGALRM
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_82331_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_105255_a82_SIGBUS
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_86777_a113_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_109497_a62_SIGTRAP
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_137341_a14_SIGDEADLK
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_88325_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_27534_a76_SIGILL
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_86287_a37_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_72356_a24_SIGCHLD
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_108534_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_14337_a101_SIGUSR2
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_63046_a26_SIGCHLD
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_100509_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_23856_a93_SIGTRAP
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_75178_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_25344_a93_SIGTRAP
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_72218_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_24705_a93_SIGTRAP
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_112845_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_28602_a109_SIGTRAP
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_88012_a83_SIGUSR2
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_87238_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_14353_a101_SIGUSR2
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_27470_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_35450_a75_SIGUSR2
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_69009_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_9774_a17_SIGPROF
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_10549_a35_SIGSTOP
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_107986_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_42806_a117_SIGPWR
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_58433_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_13991_a101_SIGUSR2
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_7664_a59_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_76533_a114_SIGUSR1
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_5619_a33_SIGKILL
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_149267_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_12349_a111_SIGTTOU
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_133459_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_10801_a35_SIGSTOP
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_98530_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_28468_a76_SIGILL
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_892_a99_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_74259_a24_SIGCHLD
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_2183_a56_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_7458_a59_SIGUSR1
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_53621_a18_SIGTERM
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_40037_a110_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_134235_a84_SIGINT
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_51009_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_75855_a114_SIGUSR1
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_40075_a110_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_90357_a13_SIGVTALRM
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_72954_a24_SIGCHLD
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_18484_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_145055_a6_SIGSEGV
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_33907_a85_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_115809_a89_SIGUSR2
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_129207_a21_SIGINFO
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_112762_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_143807_a2_SIGLOST
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_61530_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_42979_a117_SIGPWR
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_122855_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_145878_a119_SIGSTOP
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_123945_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_53793_a18_SIGTERM
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_76736_a114_SIGUSR1
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_96518_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_85926_a38_SIGFPE
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_138563_a27_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_123899_a102_SIGTERM
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_44066_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_144725_a6_SIGSEGV
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_39611_a110_SIGINT
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_26791_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_85137_a38_SIGFPE
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_5898_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_73546_a24_SIGCHLD
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_87851_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_124024_a88_SIGPWR
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_111890_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_66478_a23_SIGHUP
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_86605_a37_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_68686_a23_SIGHUP
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_122793_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_83517_a112_SIGHUP
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_85852_a38_SIGFPE
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_96107_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_84132_a41_SIGSEGV
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_49308_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_89768_a95_SIGEMT
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_69480_a100_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_98701_a51_SIGPWR
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_59903_a29_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_66265_a23_SIGHUP
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_106439_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_60163_a108_SIGINT
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_121359_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_139351_a90_SIGINFO
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_72981_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_16766_a77_SIGXFSZ
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_67574_a23_SIGHUP
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_119250_a7_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_54446_a18_SIGTERM
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_36148_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_13411_a70_SIGIOT
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_84132_a41_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_51328_a42_SIGDEADLK
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_36962_a20_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_143217_a90_SIGINFO
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_24842_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_90413_a13_SIGVTALRM
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_59826_a29_SIGPROF
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_37493_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_7510_a59_SIGUSR1
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_24996_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_880_a99_SIGILL
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_12605_a111_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_112297_a89_SIGUSR2
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_56190_a3_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_143978_a2_SIGLOST
lola: reporting
lola: not produced: 139433
lola: goal oriented search: 11651
lola: STATE EQUATION TRIES TRANSITION t_34593_a43_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_53308_a18_SIGTERM
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_6739_a59_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_12064_a111_SIGTTOU
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_1278_a99_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_139773_a90_SIGINFO
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_100974_a51_SIGPWR
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_4893_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_81748_a4_SIGTSTP
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_35666_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_106336_a82_SIGBUS
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_12278_a111_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_23981_a93_SIGTRAP
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_124158_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_33767_a85_SIGSEGV
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_20014_a9_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_137861_a14_SIGDEADLK
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_86451_a37_SIGFPE
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_130359_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_111056_a62_SIGTRAP
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_38985_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_8485_a16_SIGALRM
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_140377_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_149166_a73_SIGURG
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_8002_a59_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_81528_a4_SIGTSTP
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_65222_a64_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_26653_a76_SIGILL
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_102507_a49_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_147989_a61_SIGHUP
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_15823_a77_SIGXFSZ
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_20411_a1_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_37117_a25_SIGINFO
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_124200_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_7867_a59_SIGUSR1
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_120122_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_141374_a90_SIGINFO
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_109210_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_101396_a51_SIGPWR
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_139869_a90_SIGINFO
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_65951_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_67067_a23_SIGHUP
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_33451_a78_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_98978_a51_SIGPWR
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_56741_a3_SIGKILL
lola: reporting
lola: not produced: 138683
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t_31631_a109_SIGTRAP
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-5"
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-5, 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-162089422400142"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-5.tgz
mv RERS17pb114-PT-5 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 ;