About the Execution of LoLA for RERS17pb114-PT-9
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7615.932 | 1800000.00 | 4718369.00 | 2041.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-162089422400162.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-9, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r182-tajo-162089422400162
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 136K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 19K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 94K 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.3K 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.8K 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.5K Mar 27 10:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 10:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Mar 25 13:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 13:25 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 1621291221985
starting LoLA
BK_INPUT RERS17pb114-PT-9
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: 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: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_102232_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_4884_a33_SIGKILL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_81616_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_104022_a58_SIGTERM
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_105960_a82_SIGBUS
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_37460_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_65967_a23_SIGHUP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_84971_a41_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_98557_a51_SIGPWR
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_72748_a24_SIGCHLD
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_22483_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_137699_a14_SIGDEADLK
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_30811_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_58041_a34_SIGTSTP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_79846_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_67759_a23_SIGHUP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_119707_a97_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_136152_a19_SIGSYS
lola: reporting
lola: not produced: 151084
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_125235_a88_SIGPWR
lola: reporting
lola: not produced: 151084
lola: 0 generators; 1018878 candidates remain ( 0%), 0 secs
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_114042_a89_SIGUSR2
lola: 0 generators; 1018878 candidates remain ( 0%), 5 secs
lola: STATE EQUATION TRIES TRANSITION t_108395_a15_SIGPOLL
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_118054_a72_SIGTERM
lola: 0 generators; 1018878 candidates remain ( 0%), 10 secs
lola: STATE EQUATION TRIES TRANSITION t_29279_a109_SIGTRAP
lola: reporting
lola: not produced: 151084
lola: STATE EQUATION TRIES TRANSITION t_103238_a58_SIGTERM
lola: 0 generators; 1018878 candidates remain ( 0%), 15 secs
lola: STATE EQUATION TRIES TRANSITION t_120937_a102_SIGTERM
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_141306_a90_SIGINFO
lola: 0 generators; 1018878 candidates remain ( 0%), 20 secs
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_123789_a102_SIGTERM
lola: 0 generators; 1018878 candidates remain ( 0%), 25 secs
lola: STATE EQUATION TRIES TRANSITION t_56450_a3_SIGKILL
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_138178_a14_SIGDEADLK
lola: 0 generators; 1018878 candidates remain ( 0%), 30 secs
lola: STATE EQUATION TRIES TRANSITION t_116574_a96_SIGABRT
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_18926_a63_SIGUSR2
lola: 0 generators; 1018878 candidates remain ( 0%), 35 secs
lola: STATE EQUATION TRIES TRANSITION t_142138_a90_SIGINFO
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_65875_a23_SIGHUP
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_150059_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_61680_a26_SIGCHLD
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_122857_a102_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_124362_a88_SIGPWR
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_132172_a84_SIGINT
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_125984_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_100637_a51_SIGPWR
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_83013_a5_SIGHUP
lola: STATE EQUATION TRIES TRANSITION t_112915_a89_SIGUSR2
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_115750_a89_SIGUSR2
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_112001_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_18779_a40_SIGUSR1
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_81993_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_92019_a44_SIGDEADLK
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_114798_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_73299_a24_SIGCHLD
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_103826_a58_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_141869_a90_SIGINFO
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_103540_a58_SIGTERM
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_69963_a100_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_60398_a26_SIGCHLD
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_94423_a22_SIGSTOP
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_17275_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_124450_a88_SIGPWR
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_81392_a4_SIGTSTP
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_97525_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_57688_a34_SIGTSTP
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_30518_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_33712_a85_SIGSEGV
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_27942_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_63047_a26_SIGCHLD
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_81959_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_59411_a29_SIGPROF
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_46909_a87_SIGALRM
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_37460_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_118407_a72_SIGTERM
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_20629_a1_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_67314_a23_SIGHUP
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_63414_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_129782_a21_SIGINFO
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_144249_a2_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_25605_a93_SIGTRAP
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_144375_a2_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_105403_a82_SIGBUS
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_134291_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_62930_a26_SIGCHLD
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_143142_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_95931_a22_SIGSTOP
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_48190_a87_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_105339_a82_SIGBUS
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_44593_a117_SIGPWR
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_129388_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_109283_a15_SIGPOLL
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_130769_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_140650_a90_SIGINFO
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_101959_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_67802_a23_SIGHUP
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_39407_a110_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_17590_a40_SIGUSR1
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_57137_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_133402_a84_SIGINT
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_94913_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_40092_a110_SIGINT
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_94406_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_71523_a24_SIGCHLD
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_10640_a35_SIGSTOP
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_26089_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_93675_a91_SIGPIPE
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_65238_a64_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_139681_a90_SIGINFO
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_24508_a93_SIGTRAP
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_102648_a49_SIGWINCH
lola: STATE EQUATION TRIES TRANSITION t_55716_a65_SIGUSR1
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_25627_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_133241_a84_SIGINT
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_133304_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_6863_a59_SIGUSR1
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_92553_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_137615_a14_SIGDEADLK
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_73438_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_147935_a61_SIGHUP
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_124577_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_108331_a15_SIGPOLL
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_138171_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_40634_a39_SIGPROF
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_118585_a72_SIGTERM
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_18498_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_87232_a83_SIGUSR2
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_95267_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_47435_a87_SIGALRM
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_11110_a111_SIGTTOU
lola: STATE EQUATION TRIES TRANSITION t_64192_a26_SIGCHLD
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_87149_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_92071_a44_SIGDEADLK
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_43549_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_33616_a78_SIGSYS
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_112603_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_2988_a56_SIGPWR
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_93137_a91_SIGPIPE
lola: STATE EQUATION TRIES TRANSITION t_16537_a77_SIGXFSZ
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_112963_a89_SIGUSR2
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_100011_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_34589_a43_SIGTTOU
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_139678_a90_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_88393_a83_SIGUSR2
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_99498_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_113215_a89_SIGUSR2
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_134294_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_137288_a14_SIGDEADLK
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_18237_a40_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_62583_a26_SIGCHLD
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_123983_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_150139_a28_SIGINT
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_75735_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_42163_a107_SIGPWR
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_98059_a22_SIGSTOP
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_146173_a119_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_128928_a53_SIGLOST
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_149655_a73_SIGURG
lola: STATE EQUATION TRIES TRANSITION t_70913_a24_SIGCHLD
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_87602_a83_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_82676_a4_SIGTSTP
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_1561_a99_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_35481_a75_SIGUSR2
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_39126_a25_SIGINFO
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_134465_a84_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_110919_a62_SIGTRAP
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_94993_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_87403_a83_SIGUSR2
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_38015_a25_SIGINFO
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_38114_a25_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_120880_a102_SIGTERM
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_7873_a59_SIGUSR1
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_150443_a28_SIGINT
lola: STATE EQUATION TRIES TRANSITION t_120744_a102_SIGTERM
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_21524_a92_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_41811_a107_SIGPWR
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_143649_a2_SIGLOST
lola: reporting
lola: not produced: 150555
lola: goal oriented search: 529
lola: STATE EQUATION TRIES TRANSITION t_40583_a39_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_57346_a34_SIGTSTP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_35463_a75_SIGUSR2
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_78370_a30_SIGBUS
lola: STATE EQUATION TRIES TRANSITION t_10433_a35_SIGSTOP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_7762_a59_SIGUSR1
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_126998_a71_SIGVTALRM
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_120602_a102_SIGTERM
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_16355_a77_SIGXFSZ
lola: STATE EQUATION TRIES TRANSITION t_455_a99_SIGILL
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_71605_a24_SIGCHLD
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_42684_a117_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_80829_a4_SIGTSTP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_115973_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_24469_a93_SIGTRAP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_19219_a118_SIGVTALRM
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_129287_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_48540_a87_SIGALRM
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_64475_a64_SIGVTALRM
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_117425_a96_SIGABRT
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_27794_a76_SIGILL
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_137973_a14_SIGDEADLK
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_72687_a24_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_57460_a34_SIGTSTP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_96172_a22_SIGSTOP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_103017_a86_SIGFPE
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_124310_a88_SIGPWR
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_86459_a37_SIGFPE
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_105985_a82_SIGBUS
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_119522_a97_SIGFPE
lola: STATE EQUATION TRIES TRANSITION t_114056_a89_SIGUSR2
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_28231_a76_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_24099_a93_SIGTRAP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_127911_a71_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_86550_a37_SIGFPE
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_29810_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_51490_a42_SIGDEADLK
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_105297_a82_SIGBUS
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_24975_a93_SIGTRAP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_116086_a96_SIGABRT
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_4753_a33_SIGKILL
lola: STATE EQUATION TRIES TRANSITION t_7763_a59_SIGUSR1
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_125044_a88_SIGPWR
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_129631_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_115448_a89_SIGUSR2
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_103035_a86_SIGFPE
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_136426_a14_SIGDEADLK
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_138421_a27_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_150044_a73_SIGURG
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_147560_a61_SIGHUP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_98363_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_144713_a6_SIGSEGV
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_15175_a10_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_4877_a33_SIGKILL
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_128265_a53_SIGLOST
lola: STATE EQUATION TRIES TRANSITION t_119261_a7_SIGIOT
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_55384_a65_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_49142_a87_SIGALRM
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_99683_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_139381_a90_SIGINFO
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_64485_a64_SIGVTALRM
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_118452_a72_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_132947_a84_SIGINT
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_80497_a4_SIGTSTP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_138847_a27_SIGALRM
lola: STATE EQUATION TRIES TRANSITION t_39483_a110_SIGINT
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_126703_a71_SIGVTALRM
lola: STATE EQUATION TRIES TRANSITION t_49075_a87_SIGALRM
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_34138_a85_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_146968_a119_SIGSTOP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_137537_a14_SIGDEADLK
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_61749_a26_SIGCHLD
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_58936_a34_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_103037_a86_SIGFPE
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_149484_a73_SIGURG
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_52588_a42_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_67244_a23_SIGHUP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_104889_a58_SIGTERM
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_104854_a58_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_101917_a51_SIGPWR
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_65922_a23_SIGHUP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_25517_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_118086_a72_SIGTERM
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_15109_a10_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_102058_a51_SIGPWR
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_97674_a22_SIGSTOP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_99468_a51_SIGPWR
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_55484_a65_SIGUSR1
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_10859_a35_SIGSTOP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_107169_a82_SIGBUS
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_16796_a40_SIGUSR1
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_78882_a4_SIGTSTP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_41012_a39_SIGPROF
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_98335_a51_SIGPWR
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_84907_a41_SIGSEGV
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_86120_a37_SIGFPE
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_51919_a42_SIGDEADLK
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_103242_a58_SIGTERM
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_90519_a13_SIGVTALRM
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_61901_a26_SIGCHLD
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_68129_a23_SIGHUP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_99602_a51_SIGPWR
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_117306_a96_SIGABRT
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_105733_a82_SIGBUS
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_131921_a84_SIGINT
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_83322_a112_SIGHUP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_98497_a51_SIGPWR
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_143042_a90_SIGINFO
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_128572_a53_SIGLOST
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_37301_a25_SIGINFO
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_27369_a76_SIGILL
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_132862_a84_SIGINT
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_98335_a51_SIGPWR
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_65389_a23_SIGHUP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_45118_a117_SIGPWR
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_40478_a39_SIGPROF
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_73369_a24_SIGCHLD
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_92159_a44_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_119741_a97_SIGFPE
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_106016_a82_SIGBUS
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_74115_a24_SIGCHLD
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_110068_a62_SIGTRAP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_52583_a42_SIGDEADLK
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_110601_a62_SIGTRAP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_17212_a40_SIGUSR1
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_33973_a85_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_96012_a22_SIGSTOP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_37783_a25_SIGINFO
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_94749_a22_SIGSTOP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_984_a99_SIGILL
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_115002_a89_SIGUSR2
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_27575_a76_SIGILL
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_51712_a42_SIGDEADLK
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_94121_a105_SIGEMT
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_45381_a117_SIGPWR
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_102803_a86_SIGFPE
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_58401_a34_SIGTSTP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_73433_a24_SIGCHLD
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_24003_a93_SIGTRAP
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_131660_a84_SIGINT
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_48884_a87_SIGALRM
lola: reporting
lola: not produced: 141798
lola: goal oriented search: 9286
lola: STATE EQUATION TRIES TRANSITION t_9991_a17_SIGPROF
lola: STATE EQUATION TRIES TRANSITION t_18816_a40_SIGUSR1
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_5315_a33_SIGKILL
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_35071_a75_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_69009_a23_SIGHUP
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_110276_a62_SIGTRAP
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_27524_a76_SIGILL
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_31974_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_65689_a23_SIGHUP
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_79454_a4_SIGTSTP
lola: STATE EQUATION TRIES TRANSITION t_36573_a75_SIGUSR2
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_61153_a26_SIGCHLD
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_22879_a93_SIGTRAP
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_61707_a26_SIGCHLD
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_88453_a83_SIGUSR2
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_62741_a26_SIGCHLD
lola: STATE EQUATION TRIES TRANSITION t_7217_a59_SIGUSR1
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_107027_a82_SIGBUS
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_65366_a64_SIGVTALRM
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_24129_a93_SIGTRAP
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_123893_a102_SIGTERM
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_131082_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_63836_a26_SIGCHLD
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_109509_a62_SIGTRAP
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_2379_a56_SIGPWR
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_60850_a26_SIGCHLD
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_103428_a58_SIGTERM
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_3756_a31_SIGXFSZ
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_76736_a114_SIGUSR1
lola: STATE EQUATION TRIES TRANSITION t_63697_a26_SIGCHLD
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_94277_a22_SIGSTOP
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_29815_a109_SIGTRAP
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_99100_a51_SIGPWR
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_61014_a26_SIGCHLD
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_141970_a90_SIGINFO
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_61182_a26_SIGCHLD
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_85711_a38_SIGFPE
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_145964_a119_SIGSTOP
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_139579_a90_SIGINFO
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_42739_a117_SIGPWR
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_60475_a26_SIGCHLD
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_134634_a84_SIGINT
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_10444_a35_SIGSTOP
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_144833_a6_SIGSEGV
lola: STATE EQUATION TRIES TRANSITION t_128393_a53_SIGLOST
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_144597_a6_SIGSEGV
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_136460_a14_SIGDEADLK
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_140415_a90_SIGINFO
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_70751_a24_SIGCHLD
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_85775_a38_SIGFPE
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_108018_a15_SIGPOLL
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_68332_a23_SIGHUP
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_52970_a18_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_144049_a2_SIGLOST
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_98242_a22_SIGSTOP
lola: STATE EQUATION TRIES TRANSITION t_50476_a69_SIGTTOU
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_103753_a58_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_114660_a89_SIGUSR2
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_22584_a93_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_4311_a33_SIGKILL
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_104115_a58_SIGTERM
lola: STATE EQUATION TRIES TRANSITION t_74522_a24_SIGCHLD
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_935_a99_SIGILL
lola: STATE EQUATION TRIES TRANSITION t_139506_a90_SIGINFO
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_113346_a89_SIGUSR2
lola: STATE EQUATION TRIES TRANSITION t_85506_a38_SIGFPE
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_46994_a87_SIGALRM
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_136271_a14_SIGDEADLK
lola: STATE EQUATION TRIES TRANSITION t_25565_a93_SIGTRAP
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_28950_a109_SIGTRAP
lola: STATE EQUATION TRIES TRANSITION t_59110_a29_SIGPROF
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_123998_a88_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_23538_a93_SIGTRAP
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_13463_a66_SIGEMT
lola: STATE EQUATION TRIES TRANSITION t_50166_a87_SIGALRM
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_131011_a21_SIGINFO
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_55947_a65_SIGUSR1
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_138271_a14_SIGDEADLK
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_62086_a26_SIGCHLD
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_37299_a25_SIGINFO
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_68530_a23_SIGHUP
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_50761_a69_SIGTTOU
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_142655_a90_SIGINFO
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_13857_a101_SIGUSR2
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_110064_a62_SIGTRAP
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_9225_a36_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_132623_a84_SIGINT
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_129927_a21_SIGINFO
lola: STATE EQUATION TRIES TRANSITION t_125868_a88_SIGPWR
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
lola: STATE EQUATION TRIES TRANSITION t_100093_a51_SIGPWR
lola: STATE EQUATION TRIES TRANSITION t_53875_a18_SIGTERM
lola: reporting
lola: not produced: 139421
lola: goal oriented search: 11663
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb114-PT-9"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool lola"
echo " Input is RERS17pb114-PT-9, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r182-tajo-162089422400162"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-9.tgz
mv RERS17pb114-PT-9 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "QuasiLiveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "QuasiLiveness.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;