About the Execution of LoLA for RERS17pb114-PT-1
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7603.088 | 1800000.00 | 4680811.00 | 3849.80 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2021-input.r182-tajo-162089422400122.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-1, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r182-tajo-162089422400122
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 123K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 23K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 115K 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.1K Mar 28 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 28 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.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.6K Mar 27 10:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 10:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Mar 25 13:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 13:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 08:13 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 1621289402067
starting LoLA
BK_INPUT RERS17pb114-PT-1
BK_EXAMINATION: QuasiLiveness
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: QuasiLiveness
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_40803_a39_SIGPROF
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_14751_a10_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_107367_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_99225_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_116576_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_127020_a71_SIGVTALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_135992_a19_SIGSYS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_102232_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_4884_a33_SIGKILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_81616_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_104022_a58_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_105960_a82_SIGBUS
lola: 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: STATE EQUATION TRIES TRANSITION t_115788_a89_SIGUSR2
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_8383_a16_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_84819_a41_SIGSEGV
lola: 0 generators; 1018878 candidates remain ( 0%), 0 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_94410_a22_SIGSTOP
lola: 0 generators; 1018878 candidates remain ( 0%), 5 secs
lola: STATE EQUATION TRIES TRANSITION t_29697_a109_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_126362_a71_SIGVTALRM
lola: 0 generators; 1018878 candidates remain ( 0%), 10 secs
lola: STATE EQUATION TRIES TRANSITION t_88813_a83_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_4309_a33_SIGKILL
lola: 0 generators; 1018878 candidates remain ( 0%), 15 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_137423_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_17922_a40_SIGUSR1
lola: 0 generators; 1018878 candidates remain ( 0%), 20 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_39948_a110_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_101825_a51_SIGPWR
lola: 0 generators; 1018878 candidates remain ( 0%), 25 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_110277_a62_SIGTRAP
lola: 0 generators; 1018878 candidates remain ( 0%), 30 secs
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 35 secs
lola: STATE EQUATION TRIES TRANSITION t_133468_a84_SIGINT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_123873_a102_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_81597_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_33209_a78_SIGSYS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_131052_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_56450_a3_SIGKILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_110704_a62_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_109440_a62_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_91120_a44_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_137235_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_103685_a58_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_89520_a95_SIGEMT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_57336_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_98979_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_95644_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_127480_a71_SIGVTALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_90553_a13_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_1869_a99_SIGILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_34952_a75_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_35606_a75_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_147813_a61_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_124937_a88_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_89423_a95_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_15482_a10_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_29761_a109_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_48809_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_92019_a44_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_14092_a101_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_47787_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_75174_a114_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_42129_a107_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_27200_a76_SIGILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_1027_a99_SIGILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_117764_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_21831_a92_SIGSTOP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_97939_a22_SIGSTOP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_63961_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_69912_a100_SIGBUS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_141907_a90_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_58942_a34_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_39387_a110_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_67936_a23_SIGHUP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_48610_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_123048_a102_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_6230_a59_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_63039_a26_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_106966_a82_SIGBUS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_62033_a26_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_56757_a3_SIGKILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_145570_a119_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_85382_a38_SIGFPE
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_110997_a62_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_33169_a46_SIGBUS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_57273_a34_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_110421_a62_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_78755_a4_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_40702_a39_SIGPROF
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_71763_a24_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_27760_a76_SIGILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_70880_a24_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_143055_a90_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_45272_a117_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_126816_a71_SIGVTALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_91698_a44_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_19999_a9_SIGQUIT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_12764_a111_SIGTTOU
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_118565_a72_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_82997_a5_SIGHUP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_78199_a30_SIGBUS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_91575_a44_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_33417_a78_SIGSYS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_130882_a21_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_84293_a41_SIGSEGV
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_32376_a109_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_12898_a111_SIGTTOU
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_96958_a22_SIGSTOP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_148713_a73_SIGURG
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_90086_a95_SIGEMT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_87871_a83_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_94654_a22_SIGSTOP
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_140282_a90_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_11110_a111_SIGTTOU
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_30424_a109_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_120332_a102_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_105433_a82_SIGBUS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_48838_a87_SIGALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_130774_a21_SIGINFO
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_40884_a39_SIGPROF
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_61010_a26_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_86246_a37_SIGFPE
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_39922_a110_SIGINT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_132098_a84_SIGINT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_62583_a26_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_12000_a111_SIGTTOU
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_114661_a89_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_140428_a90_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_8662_a16_SIGALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_20810_a1_SIGSEGV
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_77602_a32_SIGILL
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_62634_a26_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_147603_a61_SIGHUP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_12432_a111_SIGTTOU
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_61269_a26_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_136080_a19_SIGSYS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_129316_a21_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_117650_a96_SIGABRT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_36625_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_101065_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_35982_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_133318_a84_SIGINT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_41193_a107_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_112839_a89_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_59423_a29_SIGPROF
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_12246_a111_SIGTTOU
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_84164_a41_SIGSEGV
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_92028_a44_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_97346_a22_SIGSTOP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_136535_a14_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_53960_a18_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_31512_a109_SIGTRAP
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_62564_a26_SIGCHLD
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_28528_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_141561_a90_SIGINFO
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_104147_a58_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_24323_a93_SIGTRAP
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_17221_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_74098_a24_SIGCHLD
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_147225_a119_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_146550_a119_SIGSTOP
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_148116_a73_SIGURG
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_87029_a113_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_61144_a26_SIGCHLD
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_112774_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_66978_a23_SIGHUP
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_52991_a18_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_112883_a89_SIGUSR2
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_86014_a38_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_63992_a26_SIGCHLD
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_123378_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_140027_a90_SIGINFO
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_18082_a40_SIGUSR1
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_137460_a14_SIGDEADLK
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_78714_a4_SIGTSTP
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_54222_a18_SIGTERM
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_55993_a65_SIGUSR1
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_61422_a26_SIGCHLD
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_112978_a89_SIGUSR2
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_2320_a56_SIGPWR
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_49012_a87_SIGALRM
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_17718_a40_SIGUSR1
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_137163_a14_SIGDEADLK
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_149384_a73_SIGURG
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_14198_a101_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_88698_a83_SIGUSR2
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_115448_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_137080_a14_SIGDEADLK
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_64989_a64_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_32473_a109_SIGTRAP
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_121313_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_88143_a83_SIGUSR2
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_144938_a6_SIGSEGV
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_90912_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_131723_a84_SIGINT
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_144713_a6_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_134506_a84_SIGINT
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_21824_a92_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_57703_a34_SIGTSTP
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_136456_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_96319_a22_SIGSTOP
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_143460_a2_SIGLOST
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_63468_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_21307_a1_SIGSEGV
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_65470_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_144427_a2_SIGLOST
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_111751_a57_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_124188_a88_SIGPWR
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_60614_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_103245_a58_SIGTERM
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_41996_a107_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_4424_a33_SIGKILL
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_5987_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_73269_a24_SIGCHLD
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_80664_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_123535_a102_SIGTERM
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_133185_a84_SIGINT
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_118926_a72_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_144641_a6_SIGSEGV
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_147853_a61_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_60088_a29_SIGPROF
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_64267_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_16549_a77_SIGXFSZ
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_149759_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_3241_a31_SIGXFSZ
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_81707_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_141786_a90_SIGINFO
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_142609_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_117096_a96_SIGABRT
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_121888_a102_SIGTERM
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_19931_a9_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_62044_a26_SIGCHLD
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_51942_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_125406_a88_SIGPWR
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_42345_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_147336_a119_SIGSTOP
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_72227_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_92011_a44_SIGDEADLK
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_97464_a22_SIGSTOP
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_129755_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_130270_a21_SIGINFO
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_32738_a46_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_20337_a48_SIGDEADLK
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_1675_a99_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_124033_a88_SIGPWR
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_111744_a57_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_116599_a96_SIGABRT
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_115273_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_20919_a1_SIGSEGV
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_82618_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_3881_a31_SIGXFSZ
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_141432_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_68781_a23_SIGHUP
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_122368_a102_SIGTERM
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_92931_a91_SIGPIPE
lola: STATE EQUATION TRIES TRANSITION t_141488_a90_SIGINFO
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_4202_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_148549_a73_SIGURG
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_137882_a14_SIGDEADLK
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_31595_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_78063_a30_SIGBUS
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_49783_a87_SIGALRM
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_121429_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_110294_a62_SIGTRAP
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_91864_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_69950_a100_SIGBUS
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_32729_a46_SIGBUS
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_44372_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_131725_a84_SIGINT
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_57031_a3_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_37386_a25_SIGINFO
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_149716_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_30216_a109_SIGTRAP
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_37908_a25_SIGINFO
lola: reporting
lola: not produced: 147119
lola: goal oriented search: 3965
lola: STATE EQUATION TRIES TRANSITION t_123172_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_28602_a109_SIGTRAP
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_65634_a23_SIGHUP
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_25854_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_75624_a114_SIGUSR1
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_129531_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_23995_a93_SIGTRAP
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_34381_a43_SIGTTOU
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_41824_a107_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_46827_a87_SIGALRM
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_13179_a70_SIGIOT
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_65424_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_125230_a88_SIGPWR
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_100168_a51_SIGPWR
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_141830_a90_SIGINFO
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_41494_a107_SIGPWR
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_37744_a25_SIGINFO
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_143888_a2_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_112805_a89_SIGUSR2
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_101338_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_726_a99_SIGILL
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_146548_a119_SIGSTOP
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_7937_a59_SIGUSR1
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_62102_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_90351_a13_SIGVTALRM
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_24847_a93_SIGTRAP
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_18131_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_137740_a14_SIGDEADLK
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_4453_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_52067_a42_SIGDEADLK
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_129866_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_87226_a83_SIGUSR2
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_111371_a62_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_68819_a23_SIGHUP
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_27565_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_104840_a58_SIGTERM
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_19570_a12_SIGINT
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_132281_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_52151_a42_SIGDEADLK
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_9574_a17_SIGPROF
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_122474_a102_SIGTERM
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_121309_a102_SIGTERM
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_145051_a6_SIGSEGV
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_124389_a88_SIGPWR
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_133787_a84_SIGINT
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_19828_a9_SIGQUIT
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_36642_a75_SIGUSR2
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_52889_a42_SIGDEADLK
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_66600_a23_SIGHUP
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_14337_a101_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_65335_a64_SIGVTALRM
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_28339_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_1289_a99_SIGILL
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_79223_a4_SIGTSTP
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_139073_a27_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_33293_a78_SIGSYS
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_28602_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_123821_a102_SIGTERM
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_41067_a39_SIGPROF
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_137469_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_40433_a39_SIGPROF
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_20976_a1_SIGSEGV
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_73438_a24_SIGCHLD
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_32479_a109_SIGTRAP
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_105845_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_132758_a84_SIGINT
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_117732_a96_SIGABRT
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_102328_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_22035_a92_SIGSTOP
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_28383_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_24648_a93_SIGTRAP
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_146780_a119_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_8998_a16_SIGALRM
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_34845_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_128727_a53_SIGLOST
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_68502_a23_SIGHUP
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_21027_a1_SIGSEGV
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_12309_a111_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_91358_a44_SIGDEADLK
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_31255_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_97064_a22_SIGSTOP
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_137317_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_83472_a112_SIGHUP
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_11709_a111_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_19322_a118_SIGVTALRM
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_4750_a33_SIGKILL
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_85407_a38_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_58085_a34_SIGTSTP
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_85992_a38_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_86761_a113_SIGCHLD
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_31624_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_132224_a84_SIGINT
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_13787_a101_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_48222_a87_SIGALRM
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_28586_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_19943_a9_SIGQUIT
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_10958_a111_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_142393_a90_SIGINFO
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_25361_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_66467_a23_SIGHUP
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_19321_a118_SIGVTALRM
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_98877_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_60645_a26_SIGCHLD
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_50276_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_144803_a6_SIGSEGV
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_2387_a56_SIGPWR
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_77394_a55_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_76846_a114_SIGUSR1
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_73630_a24_SIGCHLD
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_87657_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_110992_a62_SIGTRAP
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_131425_a84_SIGINT
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_100752_a51_SIGPWR
lola: reporting
lola: not produced: 145947
lola: goal oriented search: 5137
lola: STATE EQUATION TRIES TRANSITION t_18315_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_92869_a91_SIGPIPE
lola: reporting
lola: not produced: 144996
lola: goal oriented search: 6088
lola: STATE EQUATION TRIES TRANSITION t_104362_a58_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_60715_a26_SIGCHLD
lola: reporting
lola: not produced: 144996
lola: goal oriented search: 6088
lola: STATE EQUATION TRIES TRANSITION t_18938_a63_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_59196_a29_SIGPROF
lola: reporting
lola: not produced: 144996
lola: goal oriented search: 6088
lola: STATE EQUATION TRIES TRANSITION t_84803_a41_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_71680_a24_SIGCHLD
lola: reporting
lola: not produced: 144996
lola: goal oriented search: 6088
lola: STATE EQUATION TRIES TRANSITION t_95794_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_7150_a59_SIGUSR1
lola: reporting
lola: not produced: 144996
lola: goal oriented search: 6088
lola: STATE EQUATION TRIES TRANSITION t_31349_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_37090_a25_SIGINFO
lola: reporting
lola: not produced: 144996
lola: goal oriented search: 6088
lola: STATE EQUATION TRIES TRANSITION t_73451_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_6756_a59_SIGUSR1
lola: reporting
lola: not produced: 144996
lola: goal oriented search: 6088
lola: STATE EQUATION TRIES TRANSITION t_142047_a90_SIGINFO
lola: reporting
lola: not produced: 144996
lola: goal oriented search: 6088
lola: STATE EQUATION TRIES TRANSITION t_38682_a25_SIGINFO
lola: reporting
lola: not produced: 144996
lola: goal oriented search: 6088
lola: STATE EQUATION TRIES TRANSITION t_102114_a51_SIGPWR
lola: reporting
lola: not produced: 144996
lola: goal oriented search: 6088
lola: STATE EQUATION TRIES TRANSITION t_10585_a35_SIGSTOP
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-1"
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-1, 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-162089422400122"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-1.tgz
mv RERS17pb114-PT-1 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 ;