About the Execution of LoLA for RERS17pb114-PT-4
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7617.239 | 1800000.00 | 4724260.00 | 2658.80 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2021-input.r182-tajo-162089422400137.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-4, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r182-tajo-162089422400137
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 25K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 127K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 28 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 10:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 10:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Mar 25 13:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 25 13:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 08:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 73M May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME QuasiLiveness
=== Now, execution of the tool begins
BK_START 1621290351147
starting LoLA
BK_INPUT RERS17pb114-PT-4
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: 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: STATE EQUATION TRIES TRANSITION t_99225_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_116576_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_127020_a71_SIGVTALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_135992_a19_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_102232_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_4884_a33_SIGKILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_81616_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_104022_a58_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_105960_a82_SIGBUS
lola: 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: STATE EQUATION TRIES TRANSITION t_137699_a14_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_30811_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_58041_a34_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_79846_a4_SIGTSTP
lola: 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: LAUNCH SYMM
lola: STATE EQUATION TRIES TRANSITION t_83337_a112_SIGHUP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_140090_a90_SIGINFO
lola: 0 generators; 1018878 candidates remain ( 0%), 0 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_139962_a90_SIGINFO
lola: 0 generators; 1018878 candidates remain ( 0%), 5 secs
lola: STATE EQUATION TRIES TRANSITION t_81095_a4_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_87222_a83_SIGUSR2
lola: 0 generators; 1018878 candidates remain ( 0%), 10 secs
lola: STATE EQUATION TRIES TRANSITION t_82106_a4_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_2354_a56_SIGPWR
lola: 0 generators; 1018878 candidates remain ( 0%), 15 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_121626_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_16196_a77_SIGXFSZ
lola: 0 generators; 1018878 candidates remain ( 0%), 20 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_75243_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_72085_a24_SIGCHLD
lola: 0 generators; 1018878 candidates remain ( 0%), 25 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_23826_a93_SIGTRAP
lola: 0 generators; 1018878 candidates remain ( 0%), 30 secs
lola: STATE EQUATION TRIES TRANSITION t_142927_a90_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_138178_a14_SIGDEADLK
lola: 0 generators; 1018878 candidates remain ( 0%), 35 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_78354_a30_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_57520_a34_SIGTSTP
lola: 0 generators; 1018878 candidates remain ( 0%), 40 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_35473_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_148554_a73_SIGURG
lola: 0 generators; 1018878 candidates remain ( 0%), 45 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_91932_a44_SIGDEADLK
lola: 0 generators; 1018878 candidates remain ( 0%), 50 secs
lola: STATE EQUATION TRIES TRANSITION t_104094_a58_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_138554_a27_SIGALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_44446_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_18085_a40_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_63452_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_55566_a65_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_116152_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_138460_a27_SIGALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_107762_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_139083_a27_SIGALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_104778_a58_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_84506_a41_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_115657_a89_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_92573_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_137216_a14_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_136318_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_83556_a112_SIGHUP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_85521_a38_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_137947_a14_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_89461_a95_SIGEMT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_15018_a10_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_76350_a114_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_97854_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_94423_a22_SIGSTOP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_10391_a35_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_141907_a90_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_22525_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_37536_a25_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_60512_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_1261_a99_SIGILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_33672_a78_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_85495_a38_SIGFPE
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_11600_a111_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_129071_a21_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_70642_a106_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_76738_a114_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_81886_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_140231_a90_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_51467_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_102384_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_135635_a19_SIGSYS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_33436_a78_SIGSYS
lola: STATE EQUATION TRIES TRANSITION t_126238_a71_SIGVTALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_110866_a62_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_69446_a23_SIGHUP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_80534_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_86189_a37_SIGFPE
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_97144_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_50503_a69_SIGTTOU
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_110421_a62_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_51172_a42_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_150416_a28_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_91478_a44_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_78870_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_85659_a38_SIGFPE
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_4922_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_123706_a102_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_44161_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_5903_a33_SIGKILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_59237_a29_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_108849_a15_SIGPOLL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_58865_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_4276_a33_SIGKILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_24862_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_133925_a84_SIGINT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_43681_a117_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_46988_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_52061_a42_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_128999_a53_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_65456_a23_SIGHUP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_91977_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_32468_a109_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_14585_a101_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_94277_a22_SIGSTOP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_22411_a92_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_44729_a117_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_49727_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_5386_a33_SIGKILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_131856_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_36222_a75_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_126149_a71_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_97458_a22_SIGSTOP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_12082_a111_SIGTTOU
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_16291_a77_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_138034_a14_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_105968_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_37188_a25_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_53291_a18_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_49885_a87_SIGALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_65251_a64_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_11170_a111_SIGTTOU
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_107901_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_58311_a34_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_34263_a60_SIGCONT
lola: STATE EQUATION TRIES TRANSITION t_65802_a23_SIGHUP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_11420_a111_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_18498_a40_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_131673_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_80912_a4_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_81701_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_57661_a34_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_25722_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_142232_a90_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_39170_a110_SIGINT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_97341_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_148422_a73_SIGURG
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_46979_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_130367_a21_SIGINFO
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_1838_a99_SIGILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_133782_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_99985_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_46597_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_5704_a33_SIGKILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_97659_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_91272_a44_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_83084_a5_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_120908_a102_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_120681_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_76228_a114_SIGUSR1
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_122462_a102_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_57220_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_8934_a16_SIGALRM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_106801_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_84005_a74_SIGEMT
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_54542_a18_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_115772_a89_SIGUSR2
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_28207_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_67696_a23_SIGHUP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_25070_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_11030_a111_SIGTTOU
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_44621_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_78386_a30_SIGBUS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_78010_a30_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_146153_a119_SIGSTOP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_10282_a17_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_82676_a4_SIGTSTP
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_84803_a41_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_33523_a78_SIGSYS
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_8782_a16_SIGALRM
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_126210_a71_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_89689_a95_SIGEMT
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_125331_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_107398_a15_SIGPOLL
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_38894_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_63670_a26_SIGCHLD
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_105983_a82_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_19686_a9_SIGQUIT
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_100057_a51_SIGPWR
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_93440_a91_SIGPIPE
lola: STATE EQUATION TRIES TRANSITION t_66345_a23_SIGHUP
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_80629_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_50093_a87_SIGALRM
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_112212_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_20521_a1_SIGSEGV
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_146416_a119_SIGSTOP
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_75189_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_37070_a20_SIGSTOP
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_128415_a53_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_20514_a1_SIGSEGV
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_109862_a62_SIGTRAP
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_13084_a70_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_57637_a34_SIGTSTP
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_129788_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_27174_a76_SIGILL
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_114770_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_11227_a111_SIGTTOU
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_89330_a95_SIGEMT
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_82209_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_761_a99_SIGILL
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_8076_a59_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_123944_a102_SIGTERM
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_121884_a102_SIGTERM
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_3550_a31_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_97454_a22_SIGSTOP
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_88266_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_35821_a75_SIGUSR2
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_20160_a48_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_47224_a87_SIGALRM
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_69903_a100_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_54418_a18_SIGTERM
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_120379_a102_SIGTERM
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_65428_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_49211_a87_SIGALRM
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_46702_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_79018_a4_SIGTSTP
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_59569_a29_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_54096_a18_SIGTERM
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_19202_a118_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_102716_a86_SIGFPE
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_30549_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_42801_a117_SIGPWR
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_48174_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_6406_a59_SIGUSR1
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_22891_a93_SIGTRAP
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_114389_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_136722_a14_SIGDEADLK
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_108754_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_4959_a33_SIGKILL
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_143658_a2_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_87081_a113_SIGCHLD
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_26352_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_3216_a31_SIGXFSZ
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_116423_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_149646_a73_SIGURG
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_137833_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_138986_a27_SIGALRM
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_2397_a56_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_68618_a23_SIGHUP
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_147894_a61_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_123801_a102_SIGTERM
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_124010_a88_SIGPWR
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_14154_a101_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_150263_a28_SIGINT
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_62625_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_135807_a19_SIGSYS
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_13262_a70_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_128828_a53_SIGLOST
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_3849_a31_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_22863_a93_SIGTRAP
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_6101_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_51194_a42_SIGDEADLK
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_81620_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_88695_a83_SIGUSR2
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_30864_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_1780_a99_SIGILL
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_14964_a10_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_98199_a22_SIGSTOP
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_79355_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_62484_a26_SIGCHLD
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_51635_a42_SIGDEADLK
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_12547_a111_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_21536_a92_SIGSTOP
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_25381_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_36396_a75_SIGUSR2
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_81019_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_37102_a25_SIGINFO
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_95298_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_139587_a90_SIGINFO
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_124189_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_3835_a31_SIGXFSZ
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_131460_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_94525_a22_SIGSTOP
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_6866_a59_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_94643_a22_SIGSTOP
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_72480_a24_SIGCHLD
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_121990_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_73697_a24_SIGCHLD
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_71682_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_144586_a6_SIGSEGV
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_50859_a69_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_6733_a59_SIGUSR1
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_51574_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_92885_a91_SIGPIPE
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_147507_a61_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_12658_a111_SIGTTOU
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_87710_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_42184_a107_SIGPWR
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_80848_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_149794_a73_SIGURG
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_113810_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_142980_a90_SIGINFO
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_118328_a72_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_25045_a93_SIGTRAP
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_142146_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_117071_a96_SIGABRT
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_36974_a20_SIGSTOP
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_147336_a119_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_107177_a82_SIGBUS
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_119143_a7_SIGIOT
lola: STATE EQUATION TRIES TRANSITION t_45756_a117_SIGPWR
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_128262_a53_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_38612_a25_SIGINFO
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_108481_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_94345_a22_SIGSTOP
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_115998_a96_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_117177_a96_SIGABRT
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_38317_a25_SIGINFO
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_102586_a49_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_74581_a24_SIGCHLD
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_3757_a31_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_7376_a59_SIGUSR1
lola: reporting
lola: not produced: 143603
lola: goal oriented search: 7481
lola: STATE EQUATION TRIES TRANSITION t_24259_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_49968_a87_SIGALRM
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_136601_a14_SIGDEADLK
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_60117_a29_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_39709_a110_SIGINT
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_46386_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_110385_a62_SIGTRAP
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_16426_a77_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_6728_a59_SIGUSR1
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_142100_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_29204_a109_SIGTRAP
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_46908_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_2204_a56_SIGPWR
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_141143_a90_SIGINFO
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_140109_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_130880_a21_SIGINFO
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_137025_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_27814_a76_SIGILL
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_136934_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_19792_a9_SIGQUIT
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_114382_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_141460_a90_SIGINFO
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_147791_a61_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_55938_a65_SIGUSR1
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_84177_a41_SIGSEGV
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_119597_a97_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_92992_a91_SIGPIPE
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_138243_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_78211_a30_SIGBUS
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_99276_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_139029_a27_SIGALRM
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_130457_a21_SIGINFO
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_76401_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_60797_a26_SIGCHLD
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_63006_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_84105_a41_SIGSEGV
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_132862_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_21001_a1_SIGSEGV
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_102131_a51_SIGPWR
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_145032_a6_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_108971_a15_SIGPOLL
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_124501_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_36060_a75_SIGUSR2
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_94347_a22_SIGSTOP
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_148740_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_87819_a83_SIGUSR2
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_14199_a101_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_80829_a4_SIGTSTP
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_38099_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_10500_a35_SIGSTOP
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_40036_a110_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_14661_a101_SIGUSR2
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_28675_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_140333_a90_SIGINFO
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_89437_a95_SIGEMT
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_209_a99_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_148554_a73_SIGURG
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_111233_a62_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_116348_a96_SIGABRT
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_122911_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_58915_a34_SIGTSTP
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_57544_a34_SIGTSTP
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_57018_a3_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_109048_a15_SIGPOLL
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_6072_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_55570_a65_SIGUSR1
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_149794_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_103157_a86_SIGFPE
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_129809_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_117540_a96_SIGABRT
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_73694_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_89428_a95_SIGEMT
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_56144_a3_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_107611_a15_SIGPOLL
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_101782_a51_SIGPWR
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_35034_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_150743_a28_SIGINT
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_99772_a51_SIGPWR
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_107731_a15_SIGPOLL
lola: STATE EQUATION TRIES TRANSITION t_75826_a114_SIGUSR1
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_21102_a1_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_47575_a87_SIGALRM
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_61682_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_118601_a72_SIGTERM
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_111561_a68_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_141647_a90_SIGINFO
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_14106_a101_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_87337_a83_SIGUSR2
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_82250_a4_SIGTSTP
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_66601_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_17442_a40_SIGUSR1
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_68148_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_131693_a84_SIGINT
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_49623_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_17624_a40_SIGUSR1
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_74043_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_1879_a99_SIGILL
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_23699_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_105491_a82_SIGBUS
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_103171_a86_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_111145_a62_SIGTRAP
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_5775_a33_SIGKILL
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_88294_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_117371_a96_SIGABRT
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_66346_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_98455_a51_SIGPWR
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_95338_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_72882_a24_SIGCHLD
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_148436_a73_SIGURG
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_28342_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_134333_a84_SIGINT
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_134011_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_33998_a85_SIGSEGV
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_61279_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_79457_a4_SIGTSTP
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_129782_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_114092_a89_SIGUSR2
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_88510_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_118257_a72_SIGTERM
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_75083_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_43129_a117_SIGPWR
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_6047_a33_SIGKILL
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_37658_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_47960_a87_SIGALRM
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_39560_a110_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_3063_a56_SIGPWR
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_121283_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_137986_a14_SIGDEADLK
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_50354_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_64624_a64_SIGVTALRM
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_147412_a119_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_76669_a114_SIGUSR1
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_88490_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_38563_a25_SIGINFO
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_34401_a43_SIGTTOU
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_29121_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_15668_a10_SIGTSTP
lola: reporting
lola: not produced: 142603
lola: goal oriented search: 8481
lola: STATE EQUATION TRIES TRANSITION t_96274_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_41582_a107_SIGPWR
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_83278_a5_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_30712_a109_SIGTRAP
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_138140_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_66761_a23_SIGHUP
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_5728_a33_SIGKILL
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_145964_a119_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_96107_a22_SIGSTOP
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_6570_a59_SIGUSR1
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_73293_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_139289_a27_SIGALRM
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_23698_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_25437_a93_SIGTRAP
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_52356_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_83472_a112_SIGHUP
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_142604_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_104956_a58_SIGTERM
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_61133_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_44340_a117_SIGPWR
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_125402_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_64844_a64_SIGVTALRM
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_41094_a39_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_48441_a87_SIGALRM
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_51328_a42_SIGDEADLK
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_114893_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_131575_a84_SIGINT
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_68819_a23_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_103037_a86_SIGFPE
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_128222_a53_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_6017_a33_SIGKILL
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_32815_a46_SIGBUS
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_143201_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_118062_a72_SIGTERM
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_112425_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_133810_a84_SIGINT
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_109907_a62_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_10244_a17_SIGPROF
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_129485_a21_SIGINFO
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_89179_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_85119_a38_SIGFPE
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_121006_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_15554_a10_SIGTSTP
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_60889_a26_SIGCHLD
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_9742_a17_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_8574_a16_SIGALRM
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_9969_a17_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_6197_a59_SIGUSR1
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_55044_a65_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_100526_a51_SIGPWR
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_83690_a112_SIGHUP
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_43111_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_136421_a14_SIGDEADLK
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_129658_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_44388_a117_SIGPWR
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_76989_a55_SIGABRT
lola: STATE EQUATION TRIES TRANSITION t_109631_a62_SIGTRAP
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_108774_a15_SIGPOLL
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_29798_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_118954_a72_SIGTERM
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_11037_a111_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_69025_a23_SIGHUP
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
lola: STATE EQUATION TRIES TRANSITION t_35381_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_103801_a58_SIGTERM
lola: reporting
lola: not produced: 140383
lola: goal oriented search: 10701
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-4"
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-4, 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-162089422400137"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-4.tgz
mv RERS17pb114-PT-4 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 ;