About the Execution of LoLA for RERS17pb114-PT-7
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9757.955 | 1800000.00 | 4648855.00 | 9849.90 | [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 '/data/fkordon/mcc2023-input.r340-tall-167889212700077.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is RERS17pb114-PT-7, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r340-tall-167889212700077
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 6.0K Feb 26 04:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 26 04:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 26 04:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 04:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 04:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 115K Feb 26 04:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 04:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 26 04:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 73M Mar 5 18:23 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 1679018073281
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=RERS17pb114-PT-7
Not applying reductions.
Model is PT
QuasiLiveness PT
starting LoLA
BK_INPUT RERS17pb114-PT-7
BK_EXAMINATION: QuasiLiveness
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: QuasiLiveness
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 822136 kB
After kill :
MemTotal: 16393216 kB
MemFree: 10533404 kB
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: 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: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_135992_a19_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_102232_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_4884_a33_SIGKILL
lola: 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: 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: 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: LAUNCH SYMM
lola: STATE EQUATION TRIES TRANSITION t_22153_a92_SIGSTOP
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 0 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_109457_a62_SIGTRAP
lola: 0 generators; 1018878 candidates remain ( 0%), 5 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_28651_a109_SIGTRAP
lola: 0 generators; 1018878 candidates remain ( 0%), 10 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_129581_a21_SIGINFO
lola: 0 generators; 1018878 candidates remain ( 0%), 15 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_35584_a75_SIGUSR2
lola: 0 generators; 1018878 candidates remain ( 0%), 20 secs
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 25 secs
lola: STATE EQUATION TRIES TRANSITION t_66719_a23_SIGHUP
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 30 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_108601_a15_SIGPOLL
lola: 0 generators; 1018878 candidates remain ( 0%), 35 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_68609_a23_SIGHUP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_1724_a99_SIGILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_80741_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_146877_a119_SIGSTOP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_16370_a77_SIGXFSZ
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_95644_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_28626_a109_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_83059_a5_SIGHUP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_14960_a10_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_105175_a58_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_135564_a19_SIGSYS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_112915_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_65967_a23_SIGHUP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_51424_a42_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_5154_a33_SIGKILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_29761_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_48350_a87_SIGALRM
lola: reporting
lola: not produced: 147715
lola: goal oriented search: 3369
lola: STATE EQUATION TRIES TRANSITION t_54050_a18_SIGTERM
lola: reporting
lola: not produced: 147715
lola: goal oriented search: 3369
lola: STATE EQUATION TRIES TRANSITION t_1195_a99_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_137080_a14_SIGDEADLK
lola: reporting
lola: not produced: 147715
lola: goal oriented search: 3369
lola: STATE EQUATION TRIES TRANSITION t_27701_a76_SIGILL
lola: reporting
lola: not produced: 147715
lola: goal oriented search: 3369
lola: STATE EQUATION TRIES TRANSITION t_136281_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_138071_a14_SIGDEADLK
lola: reporting
lola: not produced: 147715
lola: goal oriented search: 3369
lola: STATE EQUATION TRIES TRANSITION t_76309_a114_SIGUSR1
lola: reporting
lola: not produced: 147715
lola: goal oriented search: 3369
lola: STATE EQUATION TRIES TRANSITION t_134417_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_45612_a117_SIGPWR
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_30423_a109_SIGTRAP
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_6405_a59_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_141907_a90_SIGINFO
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_30829_a109_SIGTRAP
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_141981_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_34536_a43_SIGTTOU
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_15510_a10_SIGTSTP
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_85222_a38_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_26965_a76_SIGILL
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_146399_a119_SIGSTOP
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_69429_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_17282_a40_SIGUSR1
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_25404_a93_SIGTRAP
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_62759_a26_SIGCHLD
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_9793_a17_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_49787_a87_SIGALRM
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_112082_a89_SIGUSR2
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_92992_a91_SIGPIPE
lola: STATE EQUATION TRIES TRANSITION t_59928_a29_SIGPROF
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_2170_a56_SIGPWR
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_92575_a44_SIGDEADLK
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_57230_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_142712_a90_SIGINFO
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_26158_a93_SIGTRAP
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_76081_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_137765_a14_SIGDEADLK
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_115124_a89_SIGUSR2
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_5428_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_107866_a15_SIGPOLL
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_11662_a111_SIGTTOU
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_44005_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_44439_a117_SIGPWR
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_3120_a31_SIGXFSZ
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_39179_a110_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_109733_a62_SIGTRAP
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_73247_a24_SIGCHLD
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_86308_a37_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_47174_a87_SIGALRM
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_125629_a88_SIGPWR
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_64589_a64_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_136131_a19_SIGSYS
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_3304_a31_SIGXFSZ
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_134656_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_137739_a14_SIGDEADLK
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_134606_a84_SIGINT
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_75391_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_118302_a72_SIGTERM
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_125737_a88_SIGPWR
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_150876_a28_SIGINT
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_91977_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_19227_a118_SIGVTALRM
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_49315_a87_SIGALRM
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_117616_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_64714_a64_SIGVTALRM
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_125074_a88_SIGPWR
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_76095_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_55535_a65_SIGUSR1
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_7952_a59_SIGUSR1
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_139922_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_109304_a15_SIGPOLL
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_14684_a101_SIGUSR2
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_88326_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_115474_a89_SIGUSR2
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_82718_a4_SIGTSTP
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_52269_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_14217_a101_SIGUSR2
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_111160_a62_SIGTRAP
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_47619_a87_SIGALRM
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_126082_a71_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_29913_a109_SIGTRAP
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_128831_a53_SIGLOST
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_141436_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_85310_a38_SIGFPE
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_99038_a51_SIGPWR
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_988_a99_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_89880_a95_SIGEMT
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_65258_a64_SIGVTALRM
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_29669_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_56707_a3_SIGKILL
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_122100_a102_SIGTERM
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_125556_a88_SIGPWR
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_28119_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_18563_a40_SIGUSR1
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_89574_a95_SIGEMT
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_46152_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_94572_a22_SIGSTOP
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_56604_a3_SIGKILL
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_83949_a74_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_65693_a23_SIGHUP
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_150197_a28_SIGINT
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_91934_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_130118_a21_SIGINFO
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_102549_a49_SIGWINCH
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_62659_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_117621_a96_SIGABRT
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_6732_a59_SIGUSR1
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_75359_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_15394_a10_SIGTSTP
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_131845_a84_SIGINT
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_116982_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_136814_a14_SIGDEADLK
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_102030_a51_SIGPWR
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_53974_a18_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_96943_a22_SIGSTOP
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_45117_a117_SIGPWR
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_80752_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_138295_a27_SIGALRM
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_150201_a28_SIGINT
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_114043_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_148427_a73_SIGURG
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_8867_a16_SIGALRM
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_90901_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_122128_a102_SIGTERM
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_71313_a24_SIGCHLD
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_29585_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_7915_a59_SIGUSR1
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_132265_a84_SIGINT
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_5745_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_33442_a78_SIGSYS
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_135247_a19_SIGSYS
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_62571_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_117108_a96_SIGABRT
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_74499_a24_SIGCHLD
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_57657_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_49982_a87_SIGALRM
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_136061_a19_SIGSYS
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_21885_a92_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_60277_a26_SIGCHLD
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_114483_a89_SIGUSR2
lola: reporting
lola: not produced: 147452
lola: goal oriented search: 3632
lola: STATE EQUATION TRIES TRANSITION t_19360_a12_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_134166_a84_SIGINT
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_85049_a41_SIGSEGV
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_41093_a39_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_147893_a61_SIGHUP
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_83995_a74_SIGEMT
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_75203_a114_SIGUSR1
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_129752_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_803_a99_SIGILL
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_54926_a18_SIGTERM
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_33792_a85_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_145850_a119_SIGSTOP
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_45337_a117_SIGPWR
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_75498_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_48261_a87_SIGALRM
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_74522_a24_SIGCHLD
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_66246_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_37588_a25_SIGINFO
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_141942_a90_SIGINFO
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_125493_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_112251_a89_SIGUSR2
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_52222_a42_SIGDEADLK
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_105175_a58_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_2954_a56_SIGPWR
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_65573_a23_SIGHUP
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_135881_a19_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_144788_a6_SIGSEGV
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_67990_a23_SIGHUP
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_126931_a71_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_59837_a29_SIGPROF
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_27363_a76_SIGILL
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_141561_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_61789_a26_SIGCHLD
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_73956_a24_SIGCHLD
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_50283_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_7365_a59_SIGUSR1
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_32992_a46_SIGBUS
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_74846_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_81681_a4_SIGTSTP
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_72124_a24_SIGCHLD
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_121842_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_137432_a14_SIGDEADLK
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_56363_a3_SIGKILL
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_46962_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_124427_a88_SIGPWR
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_10666_a35_SIGSTOP
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_42536_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_78263_a30_SIGBUS
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_107089_a82_SIGBUS
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_48548_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_120668_a102_SIGTERM
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_28160_a76_SIGILL
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_21480_a92_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_89425_a95_SIGEMT
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_89015_a83_SIGUSR2
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_78377_a30_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_54562_a18_SIGTERM
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_111711_a57_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_147271_a119_SIGSTOP
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_89724_a95_SIGEMT
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_59037_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_47951_a87_SIGALRM
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_136161_a19_SIGSYS
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_102476_a49_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_81710_a4_SIGTSTP
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_44393_a117_SIGPWR
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_45075_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_10250_a17_SIGPROF
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_13437_a70_SIGIOT
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_71807_a24_SIGCHLD
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_140685_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_52158_a42_SIGDEADLK
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_67716_a23_SIGHUP
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_28857_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_64260_a26_SIGCHLD
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_26174_a93_SIGTRAP
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_131419_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_108658_a15_SIGPOLL
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_77_a99_SIGILL
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_39491_a110_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_118690_a72_SIGTERM
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_94468_a22_SIGSTOP
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_139988_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_149423_a73_SIGURG
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_71330_a24_SIGCHLD
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_130065_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_63814_a26_SIGCHLD
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_139911_a90_SIGINFO
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_96704_a22_SIGSTOP
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_75428_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_32086_a109_SIGTRAP
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_16045_a77_SIGXFSZ
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_139587_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_150550_a28_SIGINT
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_144962_a6_SIGSEGV
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_131460_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_3004_a56_SIGPWR
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_146259_a119_SIGSTOP
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_48832_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_81093_a4_SIGTSTP
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_56687_a3_SIGKILL
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_149148_a73_SIGURG
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_44156_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_66669_a23_SIGHUP
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_34391_a43_SIGTTOU
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_145563_a119_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_44768_a117_SIGPWR
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_137841_a14_SIGDEADLK
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_128761_a53_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_31186_a109_SIGTRAP
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_144899_a6_SIGSEGV
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_8235_a16_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_79305_a4_SIGTSTP
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_68758_a23_SIGHUP
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_78457_a30_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_133420_a84_SIGINT
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_5137_a33_SIGKILL
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_67750_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_17508_a40_SIGUSR1
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_64778_a64_SIGVTALRM
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_51942_a42_SIGDEADLK
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_20033_a9_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_31867_a109_SIGTRAP
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_49241_a87_SIGALRM
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_95228_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_51757_a42_SIGDEADLK
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_116164_a96_SIGABRT
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_28737_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_145588_a119_SIGSTOP
lola: reporting
lola: not produced: 140517
lola: goal oriented search: 10567
lola: STATE EQUATION TRIES TRANSITION t_37638_a25_SIGINFO
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_104335_a58_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_51438_a42_SIGDEADLK
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_91084_a44_SIGDEADLK
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_41861_a107_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_43998_a117_SIGPWR
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_46875_a87_SIGALRM
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_62318_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_87642_a83_SIGUSR2
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_132838_a84_SIGINT
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_100765_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_16632_a77_SIGXFSZ
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_104717_a58_SIGTERM
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_116301_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_11369_a111_SIGTTOU
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_140197_a90_SIGINFO
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_63467_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_121286_a102_SIGTERM
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_74796_a24_SIGCHLD
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_52776_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_135337_a19_SIGSYS
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_130890_a21_SIGINFO
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_94650_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_138187_a14_SIGDEADLK
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_68371_a23_SIGHUP
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_146406_a119_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_35032_a75_SIGUSR2
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_25304_a93_SIGTRAP
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_113930_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_84301_a41_SIGSEGV
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_58729_a34_SIGTSTP
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_73582_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_117094_a96_SIGABRT
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_57853_a34_SIGTSTP
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_56666_a3_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_17810_a40_SIGUSR1
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_146247_a119_SIGSTOP
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_15128_a10_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_120039_a102_SIGTERM
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_148489_a73_SIGURG
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_25284_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_85521_a38_SIGFPE
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_101252_a51_SIGPWR
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_66946_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_14852_a10_SIGTSTP
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_134098_a84_SIGINT
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_148592_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_43805_a117_SIGPWR
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_41527_a107_SIGPWR
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_101854_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_113864_a89_SIGUSR2
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_14740_a101_SIGUSR2
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_122757_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_51705_a42_SIGDEADLK
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_70788_a24_SIGCHLD
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_97113_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_64017_a26_SIGCHLD
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_38926_a25_SIGINFO
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_138847_a27_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_106466_a82_SIGBUS
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_30666_a109_SIGTRAP
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_121647_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_148856_a73_SIGURG
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_120399_a102_SIGTERM
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_101627_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_119987_a102_SIGTERM
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_140789_a90_SIGINFO
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_26162_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_60501_a26_SIGCHLD
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_108772_a15_SIGPOLL
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_56761_a3_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_77867_a30_SIGBUS
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_98304_a103_SIGIOT
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_14665_a101_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_114443_a89_SIGUSR2
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_84044_a74_SIGEMT
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_144580_a6_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_21922_a92_SIGSTOP
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_30556_a109_SIGTRAP
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_56495_a3_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_90775_a44_SIGDEADLK
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_11734_a111_SIGTTOU
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_122267_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_140480_a90_SIGINFO
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_44983_a117_SIGPWR
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_117999_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_118494_a72_SIGTERM
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_86143_a37_SIGFPE
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_38283_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_33449_a78_SIGSYS
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_47431_a87_SIGALRM
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_85039_a41_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_133574_a84_SIGINT
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_55568_a65_SIGUSR1
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_119958_a102_SIGTERM
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_138745_a27_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_21712_a92_SIGSTOP
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_130439_a21_SIGINFO
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_83360_a112_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_75290_a114_SIGUSR1
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t_141615_a90_SIGINFO
lola: reporting
lola: not produced: 139194
lola: goal oriented search: 11890
lola: caught signal Terminated - aborting LoLA
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Time elapsed: 1800 secs. Pages in use: 3
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb114-PT-7"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lola"
echo " Input is RERS17pb114-PT-7, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r340-tall-167889212700077"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-7.tgz
mv RERS17pb114-PT-7 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "QuasiLiveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "QuasiLiveness.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;