About the Execution of LoLA for RERS17pb114-PT-3
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7620.764 | 1800000.00 | 4753500.00 | 2468.60 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2021-input.r182-tajo-162089422400132.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-3, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r182-tajo-162089422400132
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 111K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 28 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 27 10:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 10:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 13:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 13:17 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 1621290280902
starting LoLA
BK_INPUT RERS17pb114-PT-3
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: 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: 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: 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: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_37460_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_65967_a23_SIGHUP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_84971_a41_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_98557_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_72748_a24_SIGCHLD
lola: 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: STATE EQUATION TRIES TRANSITION t_58041_a34_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_79846_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_67759_a23_SIGHUP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_119707_a97_SIGFPE
lola: 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: STATE EQUATION TRIES TRANSITION t_100170_a51_SIGPWR
lola: LAUNCH SYMM
lola: STATE EQUATION TRIES TRANSITION t_76089_a114_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 0 secs
lola: STATE EQUATION TRIES TRANSITION t_44404_a117_SIGPWR
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 5 secs
lola: STATE EQUATION TRIES TRANSITION t_77259_a55_SIGABRT
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: 0 generators; 1018878 candidates remain ( 0%), 10 secs
lola: STATE EQUATION TRIES TRANSITION t_13181_a70_SIGIOT
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: 0 generators; 1018878 candidates remain ( 0%), 15 secs
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_112083_a89_SIGUSR2
lola: 0 generators; 1018878 candidates remain ( 0%), 20 secs
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_126548_a71_SIGVTALRM
lola: 0 generators; 1018878 candidates remain ( 0%), 25 secs
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_82343_a4_SIGTSTP
lola: 0 generators; 1018878 candidates remain ( 0%), 30 secs
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: 0 generators; 1018878 candidates remain ( 0%), 35 secs
lola: STATE EQUATION TRIES TRANSITION t_16196_a77_SIGXFSZ
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: 0 generators; 1018878 candidates remain ( 0%), 40 secs
lola: STATE EQUATION TRIES TRANSITION t_141591_a90_SIGINFO
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: 0 generators; 1018878 candidates remain ( 0%), 45 secs
lola: STATE EQUATION TRIES TRANSITION t_110445_a62_SIGTRAP
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_51338_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_5753_a33_SIGKILL
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_17466_a40_SIGUSR1
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_129182_a21_SIGINFO
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_112784_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_104136_a58_SIGTERM
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_63436_a26_SIGCHLD
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_38921_a25_SIGINFO
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_51199_a42_SIGDEADLK
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_117220_a96_SIGABRT
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_5973_a33_SIGKILL
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_71242_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_130645_a21_SIGINFO
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_1958_a99_SIGILL
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_132088_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_141070_a90_SIGINFO
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_59717_a29_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_80714_a4_SIGTSTP
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_109160_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_38505_a25_SIGINFO
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_131025_a21_SIGINFO
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_98042_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_69723_a100_SIGBUS
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_103884_a58_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_31965_a109_SIGTRAP
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_96428_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_63080_a26_SIGCHLD
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_102827_a86_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_66355_a23_SIGHUP
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_76755_a114_SIGUSR1
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_92724_a91_SIGPIPE
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_80972_a4_SIGTSTP
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_30010_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_43806_a117_SIGPWR
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_60555_a26_SIGCHLD
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_62458_a26_SIGCHLD
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_73285_a24_SIGCHLD
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_134980_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_82526_a4_SIGTSTP
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_135512_a19_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_149195_a73_SIGURG
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_48352_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_112163_a89_SIGUSR2
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_57589_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_148042_a73_SIGURG
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_17231_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_13938_a101_SIGUSR2
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_82580_a4_SIGTSTP
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_17755_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_150321_a28_SIGINT
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_74771_a24_SIGCHLD
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_49425_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_149390_a73_SIGURG
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_134796_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_119870_a102_SIGTERM
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_125077_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_123828_a102_SIGTERM
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_110431_a62_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_85316_a38_SIGFPE
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_56054_a3_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_131554_a84_SIGINT
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_100076_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_94467_a22_SIGSTOP
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_57204_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_54822_a18_SIGTERM
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_39941_a110_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_148825_a73_SIGURG
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_146113_a119_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_64714_a64_SIGVTALRM
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_48626_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_87273_a83_SIGUSR2
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_66152_a23_SIGHUP
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_140789_a90_SIGINFO
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_100572_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_75204_a114_SIGUSR1
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_5891_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_12082_a111_SIGTTOU
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_16291_a77_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_10653_a35_SIGSTOP
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_44021_a117_SIGPWR
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_65405_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_15697_a10_SIGTSTP
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_20448_a1_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_42269_a117_SIGPWR
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_61035_a26_SIGCHLD
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_39936_a110_SIGINT
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_135741_a19_SIGSYS
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_125468_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_56707_a3_SIGKILL
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_100793_a51_SIGPWR
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_16223_a77_SIGXFSZ
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_83627_a112_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_136644_a14_SIGDEADLK
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_66651_a23_SIGHUP
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_118119_a72_SIGTERM
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_150123_a28_SIGINT
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_19916_a9_SIGQUIT
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_147177_a119_SIGSTOP
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_86680_a113_SIGCHLD
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_4152_a33_SIGKILL
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_126588_a71_SIGVTALRM
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_41349_a107_SIGPWR
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_149885_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_137208_a14_SIGDEADLK
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_142601_a90_SIGINFO
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_109982_a62_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_75846_a114_SIGUSR1
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_49493_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_8662_a16_SIGALRM
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_119877_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_76318_a114_SIGUSR1
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_64527_a64_SIGVTALRM
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_78987_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_104641_a58_SIGTERM
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_118123_a72_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_86071_a38_SIGFPE
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_56044_a3_SIGKILL
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_106846_a82_SIGBUS
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_46809_a87_SIGALRM
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_23448_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_14993_a10_SIGTSTP
lola: reporting
lola: not produced: 150828
lola: goal oriented search: 256
lola: STATE EQUATION TRIES TRANSITION t_88609_a83_SIGUSR2
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_124135_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_128569_a53_SIGLOST
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_127837_a71_SIGVTALRM
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_132871_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_68107_a23_SIGHUP
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_136730_a14_SIGDEADLK
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_149475_a73_SIGURG
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_107249_a82_SIGBUS
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_61291_a26_SIGCHLD
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_33770_a85_SIGSEGV
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_41109_a39_SIGPROF
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_113751_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_120172_a102_SIGTERM
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_107493_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_146870_a119_SIGSTOP
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_57009_a3_SIGKILL
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_21021_a1_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_37577_a25_SIGINFO
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_101594_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_84634_a41_SIGSEGV
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_22258_a92_SIGSTOP
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_136905_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_104565_a58_SIGTERM
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_57348_a34_SIGTSTP
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_143358_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_32723_a46_SIGBUS
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_77063_a55_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_123746_a102_SIGTERM
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_115557_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_121191_a102_SIGTERM
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_55993_a65_SIGUSR1
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_138357_a27_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_91272_a44_SIGDEADLK
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_22129_a92_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_143840_a2_SIGLOST
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_24975_a93_SIGTRAP
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_22977_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_69382_a23_SIGHUP
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_42348_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_88372_a83_SIGUSR2
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_25108_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_66915_a23_SIGHUP
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_36779_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_147791_a61_SIGHUP
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_58873_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_29604_a109_SIGTRAP
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_86848_a113_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_77090_a55_SIGABRT
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_24293_a93_SIGTRAP
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_116429_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_108309_a15_SIGPOLL
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_67401_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_65126_a64_SIGVTALRM
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_129156_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_2830_a56_SIGPWR
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_55133_a65_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_10954_a111_SIGTTOU
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_85070_a41_SIGSEGV
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_27530_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_53325_a18_SIGTERM
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_46356_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_57175_a34_SIGTSTP
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_138520_a27_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_20222_a48_SIGDEADLK
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_18473_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_131859_a84_SIGINT
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_88639_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_79613_a4_SIGTSTP
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_1199_a99_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_69905_a100_SIGBUS
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_58399_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_45627_a117_SIGPWR
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_136373_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_127275_a71_SIGVTALRM
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_9640_a17_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_69382_a23_SIGHUP
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_91057_a44_SIGDEADLK
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_58245_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_19182_a118_SIGVTALRM
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_53263_a18_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_66548_a23_SIGHUP
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_43683_a117_SIGPWR
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_42692_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_148449_a73_SIGURG
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_25793_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_65961_a23_SIGHUP
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_49235_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_119032_a72_SIGTERM
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_120891_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_38452_a25_SIGINFO
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_133765_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_83157_a5_SIGHUP
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_101498_a51_SIGPWR
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_66859_a23_SIGHUP
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_10845_a35_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_62156_a26_SIGCHLD
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_16635_a77_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_101538_a51_SIGPWR
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_109842_a62_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_11293_a111_SIGTTOU
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_67880_a23_SIGHUP
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_78751_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_80071_a4_SIGTSTP
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_140058_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_73229_a24_SIGCHLD
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_70967_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_7324_a59_SIGUSR1
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_4313_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_27285_a76_SIGILL
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_135708_a19_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_99046_a51_SIGPWR
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_40125_a110_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_6737_a59_SIGUSR1
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_4975_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_137978_a14_SIGDEADLK
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_88723_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_129477_a21_SIGINFO
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_13898_a101_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_97271_a22_SIGSTOP
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_109976_a62_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_29230_a109_SIGTRAP
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_107496_a15_SIGPOLL
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_83061_a5_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_85544_a38_SIGFPE
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_46135_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_89508_a95_SIGEMT
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_84869_a41_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_120821_a102_SIGTERM
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_123596_a102_SIGTERM
lola: reporting
lola: not produced: 146487
lola: goal oriented search: 4597
lola: STATE EQUATION TRIES TRANSITION t_130457_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_5654_a33_SIGKILL
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_41760_a107_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_43200_a117_SIGPWR
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_17582_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_23232_a93_SIGTRAP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_51472_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_65792_a23_SIGHUP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_86559_a37_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_73236_a24_SIGCHLD
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_30238_a109_SIGTRAP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_145405_a6_SIGSEGV
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_68776_a23_SIGHUP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_117830_a96_SIGABRT
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_34731_a43_SIGTTOU
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_53089_a18_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_95076_a22_SIGSTOP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_35531_a75_SIGUSR2
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_58285_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_74104_a24_SIGCHLD
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_75439_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_74674_a24_SIGCHLD
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_59453_a29_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_64213_a26_SIGCHLD
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_84226_a41_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_130388_a21_SIGINFO
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_24543_a93_SIGTRAP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_17646_a40_SIGUSR1
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_60006_a29_SIGPROF
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_68407_a23_SIGHUP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_119728_a97_SIGFPE
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_69541_a100_SIGBUS
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_121199_a102_SIGTERM
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_68981_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_6111_a33_SIGKILL
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_60295_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_122378_a102_SIGTERM
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_41986_a107_SIGPWR
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_96519_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_74939_a114_SIGUSR1
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_139049_a27_SIGALRM
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_83903_a74_SIGEMT
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_82250_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_128912_a53_SIGLOST
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_15279_a10_SIGTSTP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_63034_a26_SIGCHLD
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_80756_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_76437_a114_SIGUSR1
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_131618_a84_SIGINT
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_90563_a13_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_54311_a18_SIGTERM
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_79454_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_1443_a99_SIGILL
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_15056_a10_SIGTSTP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_91521_a44_SIGDEADLK
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_42859_a117_SIGPWR
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_9825_a17_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_96952_a22_SIGSTOP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_24874_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_31485_a109_SIGTRAP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_111014_a62_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_7458_a59_SIGUSR1
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_92647_a44_SIGDEADLK
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_31255_a109_SIGTRAP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_114771_a89_SIGUSR2
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_126387_a71_SIGVTALRM
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_68325_a23_SIGHUP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_146919_a119_SIGSTOP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_92154_a44_SIGDEADLK
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_54965_a18_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_51992_a42_SIGDEADLK
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_64603_a64_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_23470_a93_SIGTRAP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_99771_a51_SIGPWR
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_29491_a109_SIGTRAP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_101688_a51_SIGPWR
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_72925_a24_SIGCHLD
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_141680_a90_SIGINFO
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_5741_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_14625_a101_SIGUSR2
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_128207_a53_SIGLOST
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_71471_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_20060_a9_SIGQUIT
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_85711_a38_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_96371_a22_SIGSTOP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_54650_a18_SIGTERM
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_105195_a58_SIGTERM
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_111452_a68_SIGINFO
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_136814_a14_SIGDEADLK
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_15847_a77_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_40720_a39_SIGPROF
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_32379_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_94669_a22_SIGSTOP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_146140_a119_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_12234_a111_SIGTTOU
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_140415_a90_SIGINFO
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_88201_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_22907_a93_SIGTRAP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_80315_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_99134_a51_SIGPWR
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_144289_a2_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_10362_a17_SIGPROF
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_86842_a113_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_62702_a26_SIGCHLD
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_132016_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_11787_a111_SIGTTOU
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_102938_a86_SIGFPE
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_146451_a119_SIGSTOP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_133013_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_91533_a44_SIGDEADLK
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_1145_a99_SIGILL
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_20498_a1_SIGSEGV
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_31473_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_8560_a16_SIGALRM
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_29018_a109_SIGTRAP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_77359_a55_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_78252_a30_SIGBUS
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_1040_a99_SIGILL
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_17332_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_16310_a77_SIGXFSZ
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_68970_a23_SIGHUP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_13463_a66_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_115172_a89_SIGUSR2
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_106087_a82_SIGBUS
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_62494_a26_SIGCHLD
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_90809_a44_SIGDEADLK
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_24667_a93_SIGTRAP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_66158_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_32984_a46_SIGBUS
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_53068_a18_SIGTERM
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_76701_a114_SIGUSR1
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_143466_a2_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_21170_a1_SIGSEGV
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_95387_a22_SIGSTOP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_99653_a51_SIGPWR
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_36861_a20_SIGSTOP
lola: reporting
lola: not produced: 145473
lola: goal oriented search: 5611
lola: STATE EQUATION TRIES TRANSITION t_45250_a117_SIGPWR
lola: reporting
lola: not produced: 145034
lola: goal oriented search: 6050
lola: STATE EQUATION TRIES TRANSITION t_117104_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_93151_a91_SIGPIPE
lola: reporting
lola: not produced: 145034
lola: goal oriented search: 6050
lola: STATE EQUATION TRIES TRANSITION t_131736_a84_SIGINT
lola: reporting
lola: not produced: 145034
lola: goal oriented search: 6050
lola: STATE EQUATION TRIES TRANSITION t_146584_a119_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_33244_a78_SIGSYS
lola: reporting
lola: not produced: 145034
lola: goal oriented search: 6050
lola: STATE EQUATION TRIES TRANSITION t_3812_a31_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_150486_a28_SIGINT
lola: reporting
lola: not produced: 145034
lola: goal oriented search: 6050
lola: STATE EQUATION TRIES TRANSITION t_4538_a33_SIGKILL
lola: reporting
lola: not produced: 145034
lola: goal oriented search: 6050
lola: STATE EQUATION TRIES TRANSITION t_117904_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_15394_a10_SIGTSTP
lola: reporting
lola: not produced: 145034
lola: goal oriented search: 6050
lola: STATE EQUATION TRIES TRANSITION t_87683_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_112259_a89_SIGUSR2
lola: reporting
lola: not produced: 145034
lola: goal oriented search: 6050
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-3"
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-3, 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-162089422400132"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-3.tgz
mv RERS17pb114-PT-3 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 ;