About the Execution of LoLA for RERS17pb114-PT-9
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9194.571 | 1800000.00 | 4645513.00 | 7010.50 | [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-167889212800087.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-9, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r340-tall-167889212800087
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 8.7K Feb 26 05:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 26 05:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 04:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 04:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 05:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 162K Feb 26 05:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 05:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 05:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:39 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 1679019484157
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-9
Not applying reductions.
Model is PT
QuasiLiveness PT
starting LoLA
BK_INPUT RERS17pb114-PT-9
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: 16393232 kB
MemFree: 1341204 kB
After kill :
MemTotal: 16393232 kB
MemFree: 10485720 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: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_14751_a10_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_107367_a15_SIGPOLL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_99225_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_116576_a96_SIGABRT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_127020_a71_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_135992_a19_SIGSYS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_102232_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_4884_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_81616_a4_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_104022_a58_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_105960_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_37460_a25_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_65967_a23_SIGHUP
lola: 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: 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: LAUNCH SYMM
lola: STATE EQUATION TRIES TRANSITION t_149141_a73_SIGURG
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_80929_a4_SIGTSTP
lola: 0 generators; 1018878 candidates remain ( 0%), 0 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_73221_a24_SIGCHLD
lola: 0 generators; 1018878 candidates remain ( 0%), 5 secs
lola: STATE EQUATION TRIES TRANSITION t_26758_a76_SIGILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_126246_a71_SIGVTALRM
lola: 0 generators; 1018878 candidates remain ( 0%), 10 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_67323_a23_SIGHUP
lola: 0 generators; 1018878 candidates remain ( 0%), 15 secs
lola: STATE EQUATION TRIES TRANSITION t_71852_a24_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_25522_a93_SIGTRAP
lola: 0 generators; 1018878 candidates remain ( 0%), 20 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_99655_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_122671_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_42880_a117_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_5543_a33_SIGKILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_3315_a31_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_132413_a84_SIGINT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_82705_a4_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_150229_a28_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_100800_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_79127_a4_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_35841_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_120518_a102_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_78010_a30_SIGBUS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_84382_a41_SIGSEGV
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_95466_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_11171_a111_SIGTTOU
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_122289_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_94728_a22_SIGSTOP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_76197_a114_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_70961_a24_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_104381_a58_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_28153_a76_SIGILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_93826_a105_SIGEMT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_5744_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_6405_a59_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_123620_a102_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_37536_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_108679_a15_SIGPOLL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_40401_a39_SIGPROF
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_99473_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_4236_a33_SIGKILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_124424_a88_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_34974_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_119878_a102_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_127191_a71_SIGVTALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_92143_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_128686_a53_SIGLOST
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_40558_a39_SIGPROF
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_40346_a39_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_45953_a117_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_23575_a93_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_75623_a114_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_25465_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_130606_a21_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_149554_a73_SIGURG
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_124914_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_21064_a1_SIGSEGV
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_7529_a59_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_18911_a63_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_70467_a100_SIGBUS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_21002_a1_SIGSEGV
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_101112_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_39407_a110_SIGINT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_100076_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_65218_a64_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_30382_a109_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_128527_a53_SIGLOST
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_116282_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_127475_a71_SIGVTALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_89716_a95_SIGEMT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_147900_a61_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_81761_a4_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_46122_a117_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_16069_a77_SIGXFSZ
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_97458_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_123206_a102_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_52269_a42_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_6863_a59_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_47619_a87_SIGALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_39783_a110_SIGINT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_65251_a64_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_8965_a16_SIGALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_21198_a1_SIGSEGV
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_48384_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_49666_a87_SIGALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_41307_a107_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_38210_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_107304_a15_SIGPOLL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_14527_a101_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_339_a99_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_12956_a70_SIGIOT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_46978_a87_SIGALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_25935_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_116694_a96_SIGABRT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_27737_a76_SIGILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_41817_a107_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_69535_a100_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_127196_a71_SIGVTALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_89594_a95_SIGEMT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_13057_a70_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_98376_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_148142_a73_SIGURG
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_37852_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_2206_a56_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_23313_a93_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_5031_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_131009_a21_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_104601_a58_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_95317_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_127855_a71_SIGVTALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_42163_a107_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_91824_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_99695_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_28724_a109_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_40854_a39_SIGPROF
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_148621_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_150940_a28_SIGINT
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_141921_a90_SIGINFO
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_141323_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_128214_a53_SIGLOST
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_91376_a44_SIGDEADLK
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_100089_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_137050_a14_SIGDEADLK
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_148293_a73_SIGURG
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_67890_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_116153_a96_SIGABRT
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_137057_a14_SIGDEADLK
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_49398_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_69269_a23_SIGHUP
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_51582_a42_SIGDEADLK
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_20521_a1_SIGSEGV
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_6336_a59_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_141706_a90_SIGINFO
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_103388_a58_SIGTERM
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_138674_a27_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_66294_a23_SIGHUP
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_106689_a82_SIGBUS
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_73983_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_123432_a102_SIGTERM
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_79901_a4_SIGTSTP
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_91882_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_107292_a15_SIGPOLL
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_136535_a14_SIGDEADLK
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_119440_a97_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_132773_a84_SIGINT
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_15125_a10_SIGTSTP
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_72477_a24_SIGCHLD
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_60472_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_150099_a28_SIGINT
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_98958_a51_SIGPWR
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_10206_a17_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_103837_a58_SIGTERM
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_75900_a114_SIGUSR1
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_827_a99_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_8283_a16_SIGALRM
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_101594_a51_SIGPWR
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_69662_a100_SIGBUS
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_148757_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_76020_a114_SIGUSR1
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_114346_a89_SIGUSR2
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_122306_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_12140_a111_SIGTTOU
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_148780_a73_SIGURG
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_121439_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_91741_a44_SIGDEADLK
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_126625_a71_SIGVTALRM
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_9064_a16_SIGALRM
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_39764_a110_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_81126_a4_SIGTSTP
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_42446_a117_SIGPWR
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_133433_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_58493_a34_SIGTSTP
lola: reporting
lola: not produced: 142023
lola: goal oriented search: 9061
lola: STATE EQUATION TRIES TRANSITION t_125865_a88_SIGPWR
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_100240_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_24326_a93_SIGTRAP
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_119739_a97_SIGFPE
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_146833_a119_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_123969_a88_SIGPWR
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_12176_a111_SIGTTOU
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_3350_a31_SIGXFSZ
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_5920_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_34213_a67_SIGCONT
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_19565_a12_SIGINT
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_5168_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_47211_a87_SIGALRM
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_69356_a23_SIGHUP
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_2402_a56_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_6820_a59_SIGUSR1
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_136736_a14_SIGDEADLK
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_15175_a10_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_28926_a109_SIGTRAP
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_34852_a75_SIGUSR2
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_46483_a87_SIGALRM
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_97021_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_87091_a113_SIGCHLD
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_148542_a73_SIGURG
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_91594_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_86288_a37_SIGFPE
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_149639_a73_SIGURG
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_94239_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_103186_a58_SIGTERM
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_29193_a109_SIGTRAP
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_115716_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_103787_a58_SIGTERM
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_115183_a89_SIGUSR2
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_46225_a117_SIGPWR
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_97882_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_16235_a77_SIGXFSZ
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_95421_a22_SIGSTOP
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_60101_a29_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_77195_a55_SIGABRT
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_149181_a73_SIGURG
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_100240_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_12658_a111_SIGTTOU
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_62431_a26_SIGCHLD
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_104889_a58_SIGTERM
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_9597_a17_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_110057_a62_SIGTRAP
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_138954_a27_SIGALRM
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_117364_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_16930_a40_SIGUSR1
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_84364_a41_SIGSEGV
lola: reporting
lola: not produced: 140665
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t_100922_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_94250_a22_SIGSTOP
lola: reporting
lola: not produced: 136956
lola: goal oriented search: 14128
lola: STATE EQUATION TRIES TRANSITION t_49610_a87_SIGALRM
lola: reporting
lola: not produced: 136956
lola: goal oriented search: 14128
lola: STATE EQUATION TRIES TRANSITION t_104795_a58_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_33634_a78_SIGSYS
lola: reporting
lola: not produced: 136956
lola: goal oriented search: 14128
lola: STATE EQUATION TRIES TRANSITION t_13040_a70_SIGIOT
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_150029_a73_SIGURG
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_41433_a107_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_11365_a111_SIGTTOU
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_52490_a42_SIGDEADLK
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_2687_a56_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_104017_a58_SIGTERM
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_87104_a113_SIGCHLD
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_39764_a110_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_78882_a4_SIGTSTP
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_78637_a30_SIGBUS
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_120944_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_38096_a25_SIGINFO
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_96020_a22_SIGSTOP
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_95054_a22_SIGSTOP
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_132664_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_149589_a73_SIGURG
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_64567_a64_SIGVTALRM
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_57242_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_127468_a71_SIGVTALRM
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_64410_a64_SIGVTALRM
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_142387_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_6930_a59_SIGUSR1
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_25269_a93_SIGTRAP
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_42809_a117_SIGPWR
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_49066_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_4319_a33_SIGKILL
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_51300_a42_SIGDEADLK
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_26322_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_149688_a73_SIGURG
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_41439_a107_SIGPWR
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_20410_a1_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_131921_a84_SIGINT
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_62436_a26_SIGCHLD
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_1431_a99_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_18930_a63_SIGUSR2
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_24692_a93_SIGTRAP
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_94684_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_64636_a64_SIGVTALRM
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_19802_a9_SIGQUIT
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_19548_a12_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_67196_a23_SIGHUP
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_35664_a75_SIGUSR2
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_131548_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_77592_a32_SIGILL
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_83260_a5_SIGHUP
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_66174_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_32431_a109_SIGTRAP
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_135424_a19_SIGSYS
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_97390_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_128683_a53_SIGLOST
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_105724_a82_SIGBUS
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_30414_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_127516_a71_SIGVTALRM
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_72449_a24_SIGCHLD
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_43849_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_98425_a51_SIGPWR
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_54246_a18_SIGTERM
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_112469_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_17626_a40_SIGUSR1
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_141096_a90_SIGINFO
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_44152_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_79908_a4_SIGTSTP
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_38112_a25_SIGINFO
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_140990_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_125380_a88_SIGPWR
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_148683_a73_SIGURG
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_89184_a79_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_56495_a3_SIGKILL
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_98159_a22_SIGSTOP
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_74421_a24_SIGCHLD
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_47907_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_113096_a89_SIGUSR2
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_150203_a28_SIGINT
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_149832_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_99864_a51_SIGPWR
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_11560_a111_SIGTTOU
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_140386_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_93730_a105_SIGEMT
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_138917_a27_SIGALRM
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_86282_a37_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_133555_a84_SIGINT
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_121434_a102_SIGTERM
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_34654_a43_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_113264_a89_SIGUSR2
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_10454_a35_SIGSTOP
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_47445_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_88012_a83_SIGUSR2
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_146103_a119_SIGSTOP
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_43518_a117_SIGPWR
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_55060_a65_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_95368_a22_SIGSTOP
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_134997_a84_SIGINT
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_65822_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_17238_a40_SIGUSR1
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_92381_a44_SIGDEADLK
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_89522_a95_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_25762_a93_SIGTRAP
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_110898_a62_SIGTRAP
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_38492_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_118952_a72_SIGTERM
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_104445_a58_SIGTERM
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_23974_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_67918_a23_SIGHUP
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_103123_a86_SIGFPE
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_26971_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_103546_a58_SIGTERM
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_116025_a96_SIGABRT
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_79342_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_38264_a25_SIGINFO
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_144078_a2_SIGLOST
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_113577_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_48480_a87_SIGALRM
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_109648_a62_SIGTRAP
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_130515_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_52669_a42_SIGDEADLK
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_22826_a93_SIGTRAP
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_33479_a78_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_130764_a21_SIGINFO
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_45723_a117_SIGPWR
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_142393_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_95238_a22_SIGSTOP
lola: reporting
lola: not produced: 136830
lola: goal oriented search: 14254
lola: STATE EQUATION TRIES TRANSITION t_78384_a30_SIGBUS
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_91660_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_7031_a59_SIGUSR1
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_97340_a22_SIGSTOP
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_65481_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_89486_a95_SIGEMT
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_74251_a24_SIGCHLD
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_76936_a55_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_33209_a78_SIGSYS
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_139133_a27_SIGALRM
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_115515_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_18450_a40_SIGUSR1
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_96170_a22_SIGSTOP
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_9007_a16_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_114527_a89_SIGUSR2
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_62914_a26_SIGCHLD
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_85710_a38_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_23081_a93_SIGTRAP
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_101787_a51_SIGPWR
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_17673_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_134563_a84_SIGINT
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_59650_a29_SIGPROF
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_1304_a99_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_128219_a53_SIGLOST
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_46443_a87_SIGALRM
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_27993_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_55729_a65_SIGUSR1
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_89917_a95_SIGEMT
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_22325_a92_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_122272_a102_SIGTERM
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_116124_a96_SIGABRT
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_77672_a30_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_60726_a26_SIGCHLD
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_70799_a24_SIGCHLD
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_102427_a49_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_74268_a24_SIGCHLD
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_105309_a82_SIGBUS
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_45158_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_82187_a4_SIGTSTP
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_51357_a42_SIGDEADLK
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_105813_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_12064_a111_SIGTTOU
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_89431_a95_SIGEMT
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_48397_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_4681_a33_SIGKILL
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_111192_a62_SIGTRAP
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_147050_a119_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_108831_a15_SIGPOLL
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_52192_a42_SIGDEADLK
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_59088_a34_SIGTSTP
lola: reporting
lola: not produced: 132535
lola: goal oriented search: 18549
lola: STATE EQUATION TRIES TRANSITION t_41216_a107_SIGPWR
lola: caught signal Terminated - aborting LoLA
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Time elapsed: 1800 secs. Pages in use: 4
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-9"
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-9, 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-167889212800087"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-9.tgz
mv RERS17pb114-PT-9 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 ;