MCC'2021- Execution of r182-tajo-162089422400157

About the Execution of LoLA for RERS17pb114-PT-8

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
7611.451	1800000.00	4719834.00	2015.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 '/mnt/tpsp/fkordon/mcc2021-input.r182-tajo-162089422400157.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-8, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r182-tajo-162089422400157
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 101K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 22K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 113K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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 17K Mar 28 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 27 10:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 10:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Mar 25 13:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 13:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 08:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 73M May 5 16:51 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1621290937719

starting LoLA
BK_INPUT RERS17pb114-PT-8
BK_EXAMINATION: QuasiLiveness
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: QuasiLiveness

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_40803_a39_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_14751_a10_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_107367_a15_SIGPOLL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_99225_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_116576_a96_SIGABRT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_127020_a71_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_135992_a19_SIGSYS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_102232_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_4884_a33_SIGKILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_81616_a4_SIGTSTP
lola: 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: STATE EQUATION TRIES TRANSITION t_84971_a41_SIGSEGV
lola: reporting
lola: not produced: 151084
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: STATE EQUATION TRIES TRANSITION t_22483_a93_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_137699_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_30811_a109_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_58041_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_79846_a4_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_67759_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_119707_a97_SIGFPE
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_136152_a19_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_17603_a40_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_100170_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_115788_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_149141_a73_SIGURG
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_25738_a93_SIGTRAP
lola: 0 generators; 1018878 candidates remain ( 0%), 0 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_140981_a90_SIGINFO
lola: 0 generators; 1018878 candidates remain ( 0%), 5 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_95807_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_28156_a76_SIGILL
lola: 0 generators; 1018878 candidates remain ( 0%), 10 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_25508_a93_SIGTRAP
lola: 0 generators; 1018878 candidates remain ( 0%), 15 secs
lola: STATE EQUATION TRIES TRANSITION t_71199_a24_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_89545_a95_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_115640_a89_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_81256_a4_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_38060_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_20797_a1_SIGSEGV
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_65424_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_142213_a90_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_56219_a3_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_118379_a72_SIGTERM
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_86977_a113_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_110445_a62_SIGTRAP
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_66116_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_52945_a42_SIGDEADLK
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_42880_a117_SIGPWR
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_37295_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_105409_a82_SIGBUS
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_76705_a114_SIGUSR1
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_22970_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_48908_a87_SIGALRM
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_12606_a111_SIGTTOU
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_110881_a62_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_133709_a84_SIGINT
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_60805_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_61680_a26_SIGCHLD
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_59743_a29_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_71921_a24_SIGCHLD
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_132637_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_42081_a107_SIGPWR
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_147833_a61_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_17524_a40_SIGUSR1
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_92126_a44_SIGDEADLK
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_50999_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_18350_a40_SIGUSR1
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_120991_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_146281_a119_SIGSTOP
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_45817_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_130836_a21_SIGINFO
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_119458_a97_SIGFPE
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_102829_a86_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_146395_a119_SIGSTOP
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_94271_a22_SIGSTOP
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_148801_a73_SIGURG
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_9556_a17_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_49726_a87_SIGALRM
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_39810_a110_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_85529_a38_SIGFPE
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_9563_a17_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_18410_a40_SIGUSR1
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_49777_a87_SIGALRM
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_25202_a93_SIGTRAP
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_148060_a73_SIGURG
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_60654_a26_SIGCHLD
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_52967_a18_SIGTERM
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_47659_a87_SIGALRM
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_88554_a83_SIGUSR2
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_132259_a84_SIGINT
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_28861_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_56757_a3_SIGKILL
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_140637_a90_SIGINFO
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_85586_a38_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_72509_a24_SIGCHLD
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_49452_a87_SIGALRM
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_4230_a33_SIGKILL
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_46659_a87_SIGALRM
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_136495_a14_SIGDEADLK
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_124842_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_33169_a46_SIGBUS
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_51798_a42_SIGDEADLK
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_124384_a88_SIGPWR
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_13110_a70_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_93449_a91_SIGPIPE
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_3922_a31_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_28896_a109_SIGTRAP
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_61706_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_79694_a4_SIGTSTP
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_111595_a68_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_2883_a56_SIGPWR
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_71033_a24_SIGCHLD
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_90920_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_43057_a117_SIGPWR
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_96951_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_146617_a119_SIGSTOP
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_35363_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_127129_a71_SIGVTALRM
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_125180_a88_SIGPWR
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_15895_a77_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_142570_a90_SIGINFO
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_76198_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_8547_a16_SIGALRM
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_81332_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_132636_a84_SIGINT
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_73429_a24_SIGCHLD
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_48368_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_125111_a88_SIGPWR
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_50747_a69_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_126485_a71_SIGVTALRM
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_107151_a82_SIGBUS
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_35534_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_126549_a71_SIGVTALRM
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_32292_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_112329_a89_SIGUSR2
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_144641_a6_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_12801_a111_SIGTTOU
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_135432_a19_SIGSYS
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_16890_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_101745_a51_SIGPWR
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_91371_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_50683_a69_SIGTTOU
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_71456_a24_SIGCHLD
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_29402_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_32980_a46_SIGBUS
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_43716_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_125813_a88_SIGPWR
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_136975_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_87273_a83_SIGUSR2
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_68773_a23_SIGHUP
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_91575_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_62686_a26_SIGCHLD
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_35124_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_75246_a114_SIGUSR1
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_47835_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_75966_a114_SIGUSR1
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_108009_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_142531_a90_SIGINFO
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_55007_a65_SIGUSR1
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_127456_a71_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_37076_a20_SIGSTOP
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_4125_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_118349_a72_SIGTERM
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_17857_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_8267_a16_SIGALRM
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_115779_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_146178_a119_SIGSTOP
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_147935_a61_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_140493_a90_SIGINFO
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_35915_a75_SIGUSR2
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_93715_a105_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_114226_a89_SIGUSR2
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_139081_a27_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_146873_a119_SIGSTOP
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_148088_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_108891_a15_SIGPOLL
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_47942_a87_SIGALRM
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_144749_a6_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_107201_a82_SIGBUS
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_108737_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_106960_a82_SIGBUS
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_101023_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_95089_a22_SIGSTOP
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_89841_a95_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_31012_a109_SIGTRAP
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_72459_a24_SIGCHLD
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_129582_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_68684_a23_SIGHUP
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_16021_a77_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_84908_a41_SIGSEGV
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_134972_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_43227_a117_SIGPWR
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_124854_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_71657_a24_SIGCHLD
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_128535_a53_SIGLOST
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_130445_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_83252_a5_SIGHUP
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_134359_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_105117_a58_SIGTERM
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_75359_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_84866_a41_SIGSEGV
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_142322_a90_SIGINFO
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_85515_a38_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_56648_a3_SIGKILL
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_99856_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_76228_a114_SIGUSR1
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_78629_a30_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_49983_a87_SIGALRM
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_28186_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_116900_a96_SIGABRT
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_143856_a2_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_4189_a33_SIGKILL
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_138166_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_59549_a29_SIGPROF
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_84484_a41_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_71229_a24_SIGCHLD
lola: reporting
lola: not produced: 149924
lola: goal oriented search: 1160
lola: STATE EQUATION TRIES TRANSITION t_71365_a24_SIGCHLD
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_108359_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_148769_a73_SIGURG
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_12795_a111_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_94882_a22_SIGSTOP
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_143098_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_131518_a84_SIGINT
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_106837_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_104189_a58_SIGTERM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_117820_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_114463_a89_SIGUSR2
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_39306_a110_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_99483_a51_SIGPWR
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_124737_a88_SIGPWR
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_122611_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_126036_a71_SIGVTALRM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_135934_a19_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_124496_a88_SIGPWR
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_127662_a71_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_127567_a71_SIGVTALRM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_100500_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_62634_a26_SIGCHLD
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_53934_a18_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_56370_a3_SIGKILL
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_88472_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_57754_a34_SIGTSTP
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_53455_a18_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_111600_a68_SIGINFO
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_29561_a109_SIGTRAP
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_46201_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_89046_a83_SIGUSR2
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_121830_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_92656_a44_SIGDEADLK
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_43574_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_117871_a96_SIGABRT
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_15855_a77_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_87798_a83_SIGUSR2
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_49398_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_139414_a90_SIGINFO
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_109222_a15_SIGPOLL
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_102063_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_146946_a119_SIGSTOP
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_128742_a53_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_34098_a85_SIGSEGV
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_70956_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_146416_a119_SIGSTOP
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_8374_a16_SIGALRM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_31260_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_76985_a55_SIGABRT
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_69143_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_47490_a87_SIGALRM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_90883_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_101202_a51_SIGPWR
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_140831_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_129685_a21_SIGINFO
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_29360_a109_SIGTRAP
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_21504_a92_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_28496_a76_SIGILL
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_78866_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_1124_a99_SIGILL
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_36683_a75_SIGUSR2
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_53747_a18_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_119290_a7_SIGIOT
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_95395_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_749_a99_SIGILL
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_33918_a85_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_26253_a93_SIGTRAP
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_64853_a64_SIGVTALRM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_41109_a39_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_115849_a89_SIGUSR2
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_23405_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_126421_a71_SIGVTALRM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_141561_a90_SIGINFO
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_49975_a87_SIGALRM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_110101_a62_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_87375_a83_SIGUSR2
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_16591_a77_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_138963_a27_SIGALRM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_34970_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_34460_a43_SIGTTOU
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_36118_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_52226_a42_SIGDEADLK
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_147230_a119_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_6177_a59_SIGUSR1
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_118446_a72_SIGTERM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_103546_a58_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_80965_a4_SIGTSTP
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_63992_a26_SIGCHLD
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_46306_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_124229_a88_SIGPWR
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_138641_a27_SIGALRM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_103050_a86_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_28231_a76_SIGILL
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_41853_a107_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_11989_a111_SIGTTOU
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_80110_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_9082_a16_SIGALRM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_54676_a18_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_126201_a71_SIGVTALRM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_64360_a64_SIGVTALRM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_65131_a64_SIGVTALRM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_81881_a4_SIGTSTP
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_1150_a99_SIGILL
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_37281_a25_SIGINFO
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_48861_a87_SIGALRM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_111083_a62_SIGTRAP
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_56648_a3_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_21324_a1_SIGSEGV
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_48017_a87_SIGALRM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_71055_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_141755_a90_SIGINFO
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_29076_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_135705_a19_SIGSYS
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_112150_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_9584_a17_SIGPROF
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_41838_a107_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_8566_a16_SIGALRM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_65126_a64_SIGVTALRM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_32880_a46_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_77684_a30_SIGBUS
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_24330_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_55471_a65_SIGUSR1
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_139518_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_5557_a33_SIGKILL
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_132274_a84_SIGINT
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_60731_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_53325_a18_SIGTERM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_118452_a72_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_81612_a4_SIGTSTP
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_62639_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_80343_a4_SIGTSTP
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_51562_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_35786_a75_SIGUSR2
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_79740_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_100654_a51_SIGPWR
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_57076_a34_SIGTSTP
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_86465_a37_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_1344_a99_SIGILL
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_134882_a84_SIGINT
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_111849_a57_SIGCONT
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_145337_a6_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_79470_a4_SIGTSTP
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_136523_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_70439_a100_SIGBUS
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_106179_a82_SIGBUS
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_35986_a75_SIGUSR2
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_15645_a10_SIGTSTP
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_63842_a26_SIGCHLD
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_11635_a111_SIGTTOU
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_2736_a56_SIGPWR
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_145344_a6_SIGSEGV
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_71015_a24_SIGCHLD
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_66881_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_62377_a26_SIGCHLD
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_51757_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_122843_a102_SIGTERM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_99468_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_122690_a102_SIGTERM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_49724_a87_SIGALRM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_75989_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_19423_a12_SIGINT
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_12698_a111_SIGTTOU
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_62156_a26_SIGCHLD
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_4938_a33_SIGKILL
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_137479_a14_SIGDEADLK
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_121183_a102_SIGTERM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_44777_a117_SIGPWR
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_133524_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_81668_a4_SIGTSTP
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_56323_a3_SIGKILL
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_46570_a87_SIGALRM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_41188_a107_SIGPWR
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_63880_a26_SIGCHLD
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_3095_a31_SIGXFSZ
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_47251_a87_SIGALRM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_37664_a25_SIGINFO
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_134036_a84_SIGINT
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_148481_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_46275_a117_SIGPWR
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_103927_a58_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_50601_a69_SIGTTOU
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_136700_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_39086_a25_SIGINFO
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_53990_a18_SIGTERM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_11343_a111_SIGTTOU
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_37370_a25_SIGINFO
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_86046_a38_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_54648_a18_SIGTERM
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_134460_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_117635_a96_SIGABRT
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_23550_a93_SIGTRAP
lola: reporting
lola: not produced: 140952
lola: goal oriented search: 10132
lola: STATE EQUATION TRIES TRANSITION t_104255_a58_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_79024_a4_SIGTSTP
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_83368_a112_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_63006_a26_SIGCHLD
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_8310_a16_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_131748_a84_SIGINT
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_89467_a95_SIGEMT
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_65792_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_123177_a102_SIGTERM
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_36205_a75_SIGUSR2
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_147872_a61_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_16956_a40_SIGUSR1
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_65444_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_22541_a93_SIGTRAP
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_24464_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_44989_a117_SIGPWR
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_131647_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_83460_a112_SIGHUP
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_2396_a56_SIGPWR
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_1882_a99_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_4646_a33_SIGKILL
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_56285_a3_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_137740_a14_SIGDEADLK
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_92630_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_133457_a84_SIGINT
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_146299_a119_SIGSTOP
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_112233_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_81592_a4_SIGTSTP
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_63641_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_67561_a23_SIGHUP
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_30593_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_138632_a27_SIGALRM
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_52784_a42_SIGDEADLK
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_85408_a38_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_35419_a75_SIGUSR2
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_23058_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_45327_a117_SIGPWR
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_6097_a33_SIGKILL
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_19954_a9_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_95224_a22_SIGSTOP
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_70747_a106_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_81_a99_SIGILL
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_137341_a14_SIGDEADLK
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_117910_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_46067_a117_SIGPWR
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_149382_a73_SIGURG
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_122726_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_70132_a100_SIGBUS
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_19956_a9_SIGQUIT
lola: STATE EQUATION TRIES TRANSITION t_74205_a24_SIGCHLD
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_61261_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_15767_a77_SIGXFSZ
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_105483_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_104201_a58_SIGTERM
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_33572_a78_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_11148_a111_SIGTTOU
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_113231_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_134234_a84_SIGINT
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_27182_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_147105_a119_SIGSTOP
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_110515_a62_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_125230_a88_SIGPWR
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_29077_a109_SIGTRAP
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_23426_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_123736_a102_SIGTERM
lola: reporting
lola: not produced: 140861
lola: goal oriented search: 10223
lola: STATE EQUATION TRIES TRANSITION t_105948_a82_SIGBUS

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-8"
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-8, 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-162089422400157"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-8.tgz
mv RERS17pb114-PT-8 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 '' QuasiLiveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;