Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r148-smll-167819435100415.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is EGFr-PT-10421, examination is OneSafe
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r148-smll-167819435100415
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 7.3K Feb 25 19:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 25 19:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 21K Feb 25 19:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 25 19:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 16:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 20:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 25 20:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 21K Feb 25 20:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 25 20:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw------- 1 mcc users 672K Mar 5 18:22 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 OneSafe

=== Now, execution of the tool begins

BK_START 1678389767810

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=OneSafe
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=EGFr-PT-10421
Not applying reductions.
Model is PT
OneSafe PT
starting LoLA
BK_INPUT EGFr-PT-10421
BK_EXAMINATION: OneSafe
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: OneSafe

FORMULA OneSafe TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1678389768011

--------------------
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: REM DEA TR: t = erbb14_equals_1_to_erbb14_equals_0_when_erbb1_equals_0_and_nrg2a_equals_1_and_nrg2b_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb14_equals_1_to_erbb14_equals_0_when_egf_equals_1_and_epr_equals_0_and_erbb4_equals_0_and_nrg2a_equals_0_and_nrg2b_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb14_equals_0_to_erbb14_equals_1_when_epr_equals_1_and_erbb1_equals_1_and_erbb2_equals_0_and_erbb4_equals_1_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2b_equals_0_and_shp1d_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb34_equals_1_to_erbb34_equals_0_when_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_nrg2b_equals_0
lola: REM DEA TR: t = erbb14_equals_1_to_erbb14_equals_0_when_erbb2_equals_1_and_nrg2a_equals_1_and_nrg2b_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb14_equals_1_to_erbb14_equals_0_when_erbb4_equals_0_and_nrg2a_equals_1_and_nrg2b_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb14_equals_1_to_erbb14_equals_0_when_egf_equals_0_and_epr_equals_0_and_erbb4_equals_0_and_nrg1a_equals_1_and_nrg2a_equals_0_and_nrg2b_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb44_equals_1_to_erbb44_equals_0_when_bir_equals_0_and_btc_equals_1_and_erbb4_equals_0_and_nrg1b_equals_0_and_nrg2b_equals_0_and_nrg3_equals_0
lola: REM DEA TR: t = erbb44_equals_1_to_erbb44_equals_0_when_erbb4_equals_0_and_nrg1b_equals_1_and_nrg2b_equals_0_and_nrg3_equals_0
lola: REM DEA TR: t = erbb14_equals_0_to_erbb14_equals_1_when_egf_equals_0_and_epr_equals_0_and_erbb1_equals_1_and_erbb2_equals_0_and_erbb4_equals_1_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2b_equals_0_and_nrg4_equals_1_and_shp1d_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb44_equals_1_to_erbb44_equals_0_when_bir_equals_1_and_erbb4_equals_0_and_nrg1b_equals_0_and_nrg2b_equals_0_and_nrg3_equals_0
lola: REM DEA TR: t = erbb44_equals_1_to_erbb44_equals_0_when_bir_equals_0_and_btc_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2b_equals_0_and_nrg3_equals_0_and_nrg4_equals_0
lola: REM DEA TR: t = erbb14_equals_1_to_erbb14_equals_0_when_epr_equals_1_and_erbb4_equals_0_and_nrg2a_equals_0_and_nrg2b_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb14_equals_0_to_erbb14_equals_1_when_egf_equals_1_and_epr_equals_0_and_erbb1_equals_1_and_erbb2_equals_0_and_erbb4_equals_1_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2b_equals_0_and_shp1d_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb44_equals_0_to_erbb44_equals_1_when_bir_equals_0_and_btc_equals_0_and_erbb4_equals_1_and_nrg1b_equals_0_and_nrg2b_equals_0_and_nrg3_equals_0_and_nrg4_equals_1
lola: REM DEA TR: t = erbb24_equals_1_to_erbb24_equals_0_when_bir_equals_0_and_btc_equals_0_and_egf_equals_0_and_epr_equals_0_and_hbegf_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_nrg2b_equals_0_and_nrg3_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb14_equals_1_to_erbb14_equals_0_when_egf_equals_0_and_epr_equals_0_and_erbb4_equals_0_and_nrg1a_equals_0_and_nrg2a_equals_0_and_nrg2b_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb44_equals_0_to_erbb44_equals_1_when_erbb4_equals_1_and_nrg1b_equals_1_and_nrg2b_equals_0_and_nrg3_equals_0
lola: REM DEA TR: t = erbb14_equals_1_to_erbb14_equals_0_when_egf_equals_0_and_epr_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_nrg2b_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb44_equals_1_to_erbb44_equals_0_when_bir_equals_0_and_btc_equals_0_and_erbb4_equals_0_and_nrg1b_equals_0_and_nrg2b_equals_0_and_nrg3_equals_0
lola: REM DEA TR: t = erbb14_equals_0_to_erbb14_equals_1_when_erbb1_equals_1_and_erbb2_equals_0_and_erbb4_equals_1_and_nrg1a_equals_1_and_nrg1b_equals_0_and_nrg2b_equals_0_and_shp1d_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb23_equals_1_to_erbb23_equals_0_when_bir_equals_0_and_btc_equals_0_and_epr_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2b_equals_0
lola: REM DEA TR: t = erbb44_equals_0_to_erbb44_equals_1_when_bir_equals_0_and_btc_equals_0_and_erbb4_equals_1_and_nrg1a_equals_1_and_nrg1b_equals_0_and_nrg2b_equals_0_and_nrg3_equals_0
lola: REM DEA TR: t = erbb14_equals_1_to_erbb14_equals_0_when_erbb1_equals_0_and_nrg2a_equals_0_and_nrg2b_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb44_equals_0_to_erbb44_equals_1_when_bir_equals_1_and_erbb4_equals_1_and_nrg1b_equals_0_and_nrg2b_equals_0_and_nrg3_equals_0
lola: REM DEA TR: t = erbb14_equals_0_to_erbb14_equals_1_when_egf_equals_0_and_epr_equals_0_and_erbb1_equals_1_and_erbb2_equals_0_and_erbb4_equals_1_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_1_and_nrg2b_equals_0_and_shp1d_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb14_equals_1_to_erbb14_equals_0_when_erbb2_equals_1_and_nrg2a_equals_0_and_nrg2b_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb44_equals_0_to_erbb44_equals_1_when_bir_equals_0_and_btc_equals_1_and_erbb4_equals_1_and_nrg1b_equals_0_and_nrg2b_equals_0_and_nrg3_equals_0
lola: REM DEA TR: t = erbb14_equals_0_to_erbb14_equals_1_when_erbb1_equals_1_and_erbb2_equals_0_and_erbb4_equals_1_and_nrg1b_equals_1_and_nrg2b_equals_0_and_shp1d_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_0_to_erbb13_equals_1_when_erbb1_equals_1_and_erbb2_equals_0_and_erbb3_equals_1_and_nrg1b_equals_0_and_nrg2a_equals_1_and_shp1d_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb34_equals_0_to_erbb34_equals_1_when_erbb2_equals_0_and_erbb3_equals_1_and_erbb4_equals_1_and_nrg2a_equals_1
lola: REM DEA TR: t = erbb23_equals_1_to_erbb23_equals_0_when_erbb2_equals_0
lola: REM DEA TR: t = erbb34_equals_0_to_erbb34_equals_1_when_erbb2_equals_0_and_erbb3_equals_1_and_erbb4_equals_1_and_nrg1a_equals_0_and_nrg1b_equals_1_and_nrg2a_equals_0
lola: REM DEA TR: t = erbb24_equals_1_to_erbb24_equals_0_when_erbb2_equals_0_and_nrg4_equals_1_and_tgfa_equals_0
lola: REM DEA TR: t = erbb14_equals_0_to_erbb14_equals_1_when_erbb1_equals_1_and_erbb2_equals_0_and_erbb4_equals_1_and_nrg2b_equals_1_and_shp1d_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb12_equals_1_to_erbb12_equals_0_when_erbb2_equals_0
lola: REM DEA TR: t = erbb34_equals_0_to_erbb34_equals_1_when_erbb2_equals_0_and_erbb3_equals_1_and_erbb4_equals_1_and_nrg1a_equals_1_and_nrg2a_equals_0
lola: REM DEA TR: t = erbb24_equals_1_to_erbb24_equals_0_when_erbb2_equals_0_and_hbegf_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg3_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_0_to_erbb13_equals_1_when_ar_equals_1_and_erbb1_equals_1_and_erbb2_equals_0_and_erbb3_equals_1_and_nrg1b_equals_0_and_shp1d_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb34_equals_0_to_erbb34_equals_1_when_erbb2_equals_0_and_erbb3_equals_1_and_erbb4_equals_1_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_nrg2b_equals_1
lola: REM DEA TR: t = erbb13_equals_0_to_erbb13_equals_1_when_erbb1_equals_1_and_erbb2_equals_0_and_erbb3_equals_1_and_shp1d_equals_0_and_tgfa_equals_1
lola: REM DEA TR: t = erbb24_equals_1_to_erbb24_equals_0_when_erbb2_equals_0_and_tgfa_equals_1
lola: REM DEA TR: t = erbb13_equals_0_to_erbb13_equals_1_when_epr_equals_1_and_erbb1_equals_1_and_erbb2_equals_0_and_erbb3_equals_1_and_nrg1b_equals_0_and_shp1d_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb24_equals_1_to_erbb24_equals_0_when_erbb2_equals_0_and_nrg3_equals_1_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_0_to_erbb13_equals_1_when_egf_equals_1_and_erbb1_equals_1_and_erbb2_equals_0_and_erbb3_equals_1_and_nrg1b_equals_0_and_shp1d_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb24_equals_1_to_erbb24_equals_0_when_erbb2_equals_0_and_nrg1b_equals_1_and_nrg3_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_0_to_erbb13_equals_1_when_btc_equals_1_and_erbb1_equals_1_and_erbb2_equals_0_and_erbb3_equals_1_and_nrg1b_equals_0_and_shp1d_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb14_equals_0_to_erbb14_equals_1_when_erbb1_equals_1_and_erbb2_equals_0_and_erbb4_equals_1_and_shp1d_equals_0_and_tgfa_equals_1
lola: REM DEA TR: t = erbb24_equals_1_to_erbb24_equals_0_when_erbb2_equals_0_and_hbegf_equals_1_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg3_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb24_equals_1_to_erbb24_equals_0_when_erbb2_equals_0_and_nrg1a_equals_1_and_nrg1b_equals_0_and_nrg3_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_0_to_erbb13_equals_1_when_erbb1_equals_1_and_erbb2_equals_0_and_erbb3_equals_1_and_nrg1b_equals_1_and_shp1d_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_0_to_erbb13_equals_1_when_erbb1_equals_1_and_erbb2_equals_0_and_erbb3_equals_1_and_nrg1a_equals_1_and_nrg1b_equals_0_and_shp1d_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = cfos_equals_1_to_cfos_equals_0_when_pp2a_equals_1
lola: REM DEA TR: t = akt_equals_1_to_akt_equals_0_when_pp2a_equals_1
lola: REM DEA TR: t = ship2d_equals_0_to_ship2d_equals_1_when_ship2_equals_1
lola: REM DEA TR: t = erbb24_equals_0_to_erbb24_equals_1_when_bir_equals_1_and_erbb2_equals_1_and_erbb4_equals_1_and_hbegf_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg3_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_erbb2_equals_1_and_nrg1a_equals_1_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_erbb3_equals_0_and_nrg2a_equals_1_and_tgfa_equals_0
lola: REM DEA TR: t = erbb14_equals_1_to_erbb14_equals_0_when_erbb1_equals_0_and_nrg4_equals_1_and_tgfa_equals_0
lola: REM DEA TR: t = erbb14_equals_1_to_erbb14_equals_0_when_erbb4_equals_0_and_nrg2b_equals_1_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_egf_equals_1_and_epr_equals_0_and_erbb3_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb24_equals_1_to_erbb24_equals_0_when_erbb4_equals_0_and_hbegf_equals_1_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg3_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_erbb2_equals_1_and_nrg1b_equals_1_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb24_equals_0_to_erbb24_equals_1_when_erbb2_equals_1_and_erbb4_equals_1_and_hbegf_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2b_equals_1_and_nrg3_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb24_equals_0_to_erbb24_equals_1_when_erbb2_equals_1_and_erbb4_equals_1_and_hbegf_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_1_and_nrg3_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_erbb3_equals_0_and_nrg1a_equals_1_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb24_equals_0_to_erbb24_equals_1_when_epr_equals_1_and_erbb2_equals_1_and_erbb4_equals_1_and_hbegf_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg3_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_1_and_erbb3_equals_0_and_nrg2a_equals_1_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_btc_equals_1_and_egf_equals_0_and_epr_equals_0_and_erbb1_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_1_and_erbb3_equals_0_and_nrg1a_equals_1_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb14_equals_1_to_erbb14_equals_0_when_erbb1_equals_0_and_nrg2b_equals_1_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_epr_equals_1_and_erbb1_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_btc_equals_0_and_egf_equals_0_and_epr_equals_0_and_erbb1_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_1_and_egf_equals_1_and_epr_equals_0_and_erbb1_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_0_to_erbb13_equals_1_when_ar_equals_1_and_erbb1_equals_1_and_erbb2_equals_1_and_erbb3_equals_1_and_nrg1b_equals_1_and_shp1d_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_1_and_epr_equals_1_and_erbb3_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb24_equals_0_to_erbb24_equals_1_when_erbb2_equals_1_and_erbb4_equals_1_and_nrg1a_equals_1_and_nrg1b_equals_0_and_nrg3_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb14_equals_1_to_erbb14_equals_0_when_erbb2_equals_1_and_nrg2b_equals_1_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_1_and_btc_equals_1_and_egf_equals_0_and_epr_equals_0_and_erbb3_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_1_and_erbb1_equals_0_and_nrg1b_equals_1_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb24_equals_1_to_erbb24_equals_0_when_erbb4_equals_0_and_nrg3_equals_1_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_egf_equals_1_and_epr_equals_0_and_erbb1_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb24_equals_1_to_erbb24_equals_0_when_erbb4_equals_0_and_nrg4_equals_1_and_tgfa_equals_0
lola: REM DEA TR: t = erbb24_equals_0_to_erbb24_equals_1_when_erbb2_equals_1_and_erbb4_equals_1_and_hbegf_equals_1_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg3_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb24_equals_1_to_erbb24_equals_0_when_erbb4_equals_0_and_nrg1b_equals_1_and_nrg3_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb24_equals_0_to_erbb24_equals_1_when_btc_equals_1_and_erbb2_equals_1_and_erbb4_equals_1_and_hbegf_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg3_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb14_equals_1_to_erbb14_equals_0_when_erbb4_equals_0_and_nrg4_equals_1_and_tgfa_equals_0
lola: REM DEA TR: t = erbb14_equals_1_to_erbb14_equals_0_when_erbb2_equals_1_and_nrg4_equals_1_and_tgfa_equals_0
lola: REM DEA TR: t = erbb24_equals_1_to_erbb24_equals_0_when_erbb4_equals_0_and_hbegf_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg3_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_erbb1_equals_0_and_nrg1a_equals_1_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_1_and_erbb3_equals_0_and_nrg1b_equals_1_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb24_equals_0_to_erbb24_equals_1_when_erbb2_equals_1_and_erbb4_equals_1_and_nrg1b_equals_1_and_nrg3_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_btc_equals_1_and_egf_equals_0_and_epr_equals_0_and_erbb2_equals_1_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_1_and_erbb1_equals_0_and_nrg1a_equals_1_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_epr_equals_1_and_erbb2_equals_1_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_erbb1_equals_0_and_nrg2a_equals_1_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_erbb2_equals_1_and_nrg2a_equals_1_and_tgfa_equals_0
lola: REM DEA TR: t = erbb24_equals_1_to_erbb24_equals_0_when_erbb4_equals_0_and_nrg1a_equals_1_and_nrg1b_equals_0_and_nrg3_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_btc_equals_0_and_egf_equals_0_and_epr_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb11_equals_1_to_erbb11_equals_0_when_ar_equals_0_and_bir_equals_0_and_btc_equals_0_and_egf_equals_0_and_epr_equals_0_and_hbegf_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb24_equals_0_to_erbb24_equals_1_when_erbb2_equals_1_and_erbb4_equals_1_and_nrg3_equals_1_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_btc_equals_1_and_egf_equals_0_and_epr_equals_0_and_erbb3_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_1_and_epr_equals_1_and_erbb1_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_erbb1_equals_0_and_nrg1b_equals_1_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb24_equals_0_to_erbb24_equals_1_when_erbb2_equals_1_and_erbb4_equals_1_and_nrg4_equals_1_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_epr_equals_1_and_erbb3_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_1_and_btc_equals_1_and_egf_equals_0_and_epr_equals_0_and_erbb1_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_1_and_erbb1_equals_0_and_nrg2a_equals_1_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_egf_equals_1_and_epr_equals_0_and_erbb2_equals_1_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb12_equals_1_to_erbb12_equals_0_when_bir_equals_0_and_btc_equals_0_and_egf_equals_0_and_epr_equals_0_and_hbegf_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_btc_equals_0_and_egf_equals_0_and_epr_equals_0_and_erbb3_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb24_equals_0_to_erbb24_equals_1_when_egf_equals_1_and_erbb2_equals_1_and_erbb4_equals_1_and_hbegf_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg3_equals_0_and_nrg4_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_1_and_egf_equals_1_and_epr_equals_0_and_erbb3_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_erbb3_equals_0_and_nrg1b_equals_1_and_nrg2a_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = erbb13_equals_0_to_erbb13_equals_1_when_ar_equals_1_and_erbb1_equals_1_and_erbb2_equals_1_and_erbb3_equals_1_and_nrg1b_equals_0_and_shp1d_equals_0_and_tgfa_equals_0
lola: REM DEA TR: t = ptend_equals_0_to_ptend_equals_1_when_pten_equals_1
lola: REM DEA TR: t = raf1_equals_0_to_raf1_equals_1_when_aktd_equals_0_and_csrc_equals_1_and_ras_equals_1
lola: REM DEA TR: t = stat5_equals_0_to_stat5_equals_1_when_csrc_equals_1_and_erbb11_equals_1
lola: REM DEA TR: t = stat5_equals_0_to_stat5_equals_1_when_csrc_equals_1_and_erbb24_equals_1
lola: REM DEA TR: t = stat3_equals_0_to_stat3_equals_1_when_csrc_equals_1_and_erbb11_equals_1
lola: REM DEA TR: t = stat1_equals_0_to_stat1_equals_1_when_csrc_equals_1_and_erbb11_equals_1
lola: REM DEA TR: t = mtor_ric_equals_0_to_mtor_ric_equals_1_when_mtorr_equals_1
lola: REM DEA TR: t = mtor_rap_equals_0_to_mtor_rap_equals_1_when_mtorr_equals_1_and_rheb_equals_1
lola: REM DEA TR: t = erbb23_equals_0_to_erbb23_equals_1_when_bir_equals_1_and_erbb2_equals_1_and_erbb3_equals_1_and_nrg1a_equals_0_and_nrg1b_equals_0
lola: REM DEA TR: t = erbb23_equals_0_to_erbb23_equals_1_when_erbb2_equals_1_and_erbb3_equals_1_and_nrg1a_equals_1_and_nrg1b_equals_0
lola: REM DEA TR: t = erbb34_equals_1_to_erbb34_equals_0_when_erbb4_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0
lola: REM DEA TR: t = erbb34_equals_1_to_erbb34_equals_0_when_erbb3_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2a_equals_0
lola: REM DEA TR: t = erbb23_equals_0_to_erbb23_equals_1_when_bir_equals_0_and_btc_equals_0_and_epr_equals_1_and_erbb2_equals_1_and_erbb3_equals_1_and_nrg1a_equals_0_and_nrg1b_equals_0
lola: REM DEA TR: t = erbb23_equals_0_to_erbb23_equals_1_when_bir_equals_0_and_btc_equals_0_and_epr_equals_0_and_erbb2_equals_1_and_erbb3_equals_1_and_nrg1a_equals_0_and_nrg1b_equals_0_and_nrg2b_equals_1
lola: REM DEA TR: t = erbb23_equals_0_to_erbb23_equals_1_when_bir_equals_0_and_btc_equals_1_and_erbb2_equals_1_and_erbb3_equals_1_and_nrg1a_equals_0_and_nrg1b_equals_0
lola: REM DEA TR: t = erbb14_equals_1_to_erbb14_equals_0_when_erbb4_equals_0_and_tgfa_equals_1
lola: REM DEA TR: t = shc_equals_0_to_shc_equals_1_when_erbb14_equals_1
lola: REM DEA TR: t = nck_equals_0_to_nck_equals_1_when_erbb14_equals_1
lola: REM DEA TR: t = grb2_equals_0_to_grb2_equals_1_when_erbb14_equals_1
lola: REM DEA TR: t = erbb14_equals_1_to_erbb14_equals_0_when_erbb2_equals_1_and_tgfa_equals_1
lola: REM DEA TR: t = erbb14_equals_1_to_erbb14_equals_0_when_shp1d_equals_1
lola: REM DEA TR: t = erbb14_equals_1_to_erbb14_equals_0_when_erbb1_equals_0_and_tgfa_equals_1
lola: REM DEA TR: t = erbb34_equals_1_to_erbb34_equals_0_when_erbb3_equals_0_and_nrg1a_equals_1_and_nrg2a_equals_0
lola: REM DEA TR: t = erbb34_equals_1_to_erbb34_equals_0_when_erbb2_equals_1_and_nrg1a_equals_0_and_nrg2a_equals_0
lola: REM DEA TR: t = erbb34_equals_1_to_erbb34_equals_0_when_erbb2_equals_1_and_nrg1a_equals_1_and_nrg2a_equals_0
lola: REM DEA TR: t = erbb34_equals_1_to_erbb34_equals_0_when_erbb4_equals_0_and_nrg1a_equals_1_and_nrg2a_equals_0
lola: REM DEA TR: t = erbb34_equals_1_to_erbb34_equals_0_when_erbb4_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_1_and_nrg2a_equals_0
lola: REM DEA TR: t = erbb34_equals_1_to_erbb34_equals_0_when_erbb3_equals_0_and_nrg1a_equals_0_and_nrg1b_equals_1_and_nrg2a_equals_0
lola: REM DEA TR: t = erbb11_equals_1_to_erbb11_equals_0_when_erbb1_equals_0
lola: REM DEA TR: t = erbb12_equals_1_to_erbb12_equals_0_when_erbb1_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_erbb1_equals_0_and_tgfa_equals_1
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_1_and_erbb1_equals_0_and_tgfa_equals_1
lola: REM DEA TR: t = stat1_equals_1_to_stat1_equals_0_when_csrc_equals_0
lola: REM DEA TR: t = stat1_equals_1_to_stat1_equals_0_when_erbb11_equals_0
lola: REM DEA TR: t = stat5_equals_1_to_stat5_equals_0_when_erbb11_equals_0_and_erbb24_equals_0
lola: REM DEA TR: t = stat5_equals_1_to_stat5_equals_0_when_csrc_equals_0
lola: REM DEA TR: t = ship2d_equals_1_to_ship2d_equals_0_when_ship2_equals_0
lola: REM DEA TR: t = pip3_equals_1_to_pip3_equals_0_when_ship2d_equals_1
lola: REM DEA TR: t = pi34p2_equals_0_to_pi34p2_equals_1_when_pi3k_equals_1_and_ptend_equals_0_and_ship2d_equals_1
lola: REM DEA TR: t = sos1_eps8_e3b1_equals_1_to_sos1_eps8_e3b1_equals_0_when_pi3kr_equals_0
lola: REM DEA TR: t = pi3k_equals_1_to_pi3k_equals_0_when_pi3kr_equals_0
lola: REM DEA TR: t = erbb11_equals_0_to_erbb11_equals_1_when_ar_equals_1_and_bir_equals_0_and_btc_equals_0_and_egf_equals_0_and_erbb1_equals_1_and_hbegf_equals_0_and_shp1d_equals_0
lola: REM DEA TR: t = erbb11_equals_0_to_erbb11_equals_1_when_ar_equals_0_and_bir_equals_0_and_btc_equals_0_and_egf_equals_0_and_epr_equals_1_and_erbb1_equals_1_and_hbegf_equals_0_and_shp1d_equals_0
lola: REM DEA TR: t = erbb11_equals_0_to_erbb11_equals_1_when_ar_equals_0_and_bir_equals_0_and_btc_equals_0_and_egf_equals_0_and_erbb1_equals_1_and_hbegf_equals_0_and_shp1d_equals_0_and_tgfa_equals_1
lola: REM DEA TR: t = erbb12_equals_0_to_erbb12_equals_1_when_bir_equals_0_and_btc_equals_0_and_egf_equals_0_and_epr_equals_0_and_erbb1_equals_1_and_erbb2_equals_1_and_hbegf_equals_0_and_shp1d_equals_0_and_tgfa_equals_1
lola: REM DEA TR: t = sos1_eps8_e3b1_equals_0_to_sos1_eps8_e3b1_equals_1_when_eps8r_equals_1_and_pi3kr_equals_1_and_pip3_equals_1_and_sos1r_equals_1
lola: REM DEA TR: t = rntre_equals_0_to_rntre_equals_1_when_eps8r_equals_1_and_erbb11_equals_1
lola: REM DEA TR: t = erbb11_equals_0_to_erbb11_equals_1_when_bir_equals_1_and_btc_equals_0_and_egf_equals_0_and_erbb1_equals_1_and_hbegf_equals_0_and_shp1d_equals_0
lola: REM DEA TR: t = erbb12_equals_0_to_erbb12_equals_1_when_btc_equals_1_and_egf_equals_0_and_epr_equals_0_and_erbb1_equals_1_and_erbb2_equals_1_and_hbegf_equals_0_and_shp1d_equals_0
lola: REM DEA TR: t = erbb11_equals_0_to_erbb11_equals_1_when_btc_equals_1_and_egf_equals_0_and_erbb1_equals_1_and_hbegf_equals_0_and_shp1d_equals_0
lola: REM DEA TR: t = erbb12_equals_0_to_erbb12_equals_1_when_bir_equals_1_and_btc_equals_0_and_egf_equals_0_and_epr_equals_0_and_erbb1_equals_1_and_erbb2_equals_1_and_hbegf_equals_0_and_shp1d_equals_0
lola: REM DEA TR: t = p90rsk_equals_1_to_p90rsk_equals_0_when_pdk1_equals_0
lola: REM DEA TR: t = p70s6_2_equals_1_to_p70s6_2_equals_0_when_pdk1_equals_0
lola: REM DEA TR: t = akt_equals_1_to_akt_equals_0_when_pdk1_equals_0
lola: REM DEA TR: t = pkc_equals_1_to_pkc_equals_0_when_pdk1_equals_0
lola: REM DEA TR: t = erbb34_equals_1_to_erbb34_equals_0_when_erbb4_equals_0_and_nrg2a_equals_1
lola: REM DEA TR: t = erbb24_equals_1_to_erbb24_equals_0_when_erbb4_equals_0_and_tgfa_equals_1
lola: REM DEA TR: t = erbb44_equals_1_to_erbb44_equals_0_when_erbb4_equals_0_and_nrg2b_equals_1_and_nrg3_equals_0
lola: REM DEA TR: t = erbb44_equals_1_to_erbb44_equals_0_when_erbb4_equals_0_and_nrg3_equals_1
lola: REM DEA TR: t = sos1_equals_0_to_sos1_equals_1_when_grb2_equals_1_and_p90rskerk12d_equals_0_and_sos1r_equals_1
lola: REM DEA TR: t = erbb44_equals_0_to_erbb44_equals_1_when_erbb4_equals_1_and_nrg2b_equals_1_and_nrg3_equals_0
lola: REM DEA TR: t = akt_equals_0_to_akt_equals_1_when_mtor_ric_equals_1_and_pdk1_equals_1_and_pi34p2_equals_1_and_pp2a_equals_0
lola: REM DEA TR: t = mtor_ric_equals_1_to_mtor_ric_equals_0_when_mtorr_equals_0
lola: REM DEA TR: t = akt_equals_0_to_akt_equals_1_when_mtor_ric_equals_1_and_pdk1_equals_1_and_pi34p2_equals_0_and_pip3_equals_1_and_pp2a_equals_0
lola: REM DEA TR: t = erbb12_equals_0_to_erbb12_equals_1_when_egf_equals_1_and_epr_equals_0_and_erbb1_equals_1_and_erbb2_equals_1_and_hbegf_equals_0_and_shp1d_equals_0
lola: REM DEA TR: t = nucerk12_equals_1_to_nucerk12_equals_0_when_mkp_equals_1
lola: REM DEA TR: t = vav2_equals_0_to_vav2_equals_1_when_erbb11_equals_1_and_pi34p2_equals_1
lola: REM DEA TR: t = pi34p2_equals_1_to_pi34p2_equals_0_when_pi3k_equals_0
lola: REM DEA TR: t = pi34p2_equals_1_to_pi34p2_equals_0_when_ship2d_equals_0
lola: REM DEA TR: t = pi34p2_equals_1_to_pi34p2_equals_0_when_ptend_equals_1
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_1_and_erbb3_equals_0_and_tgfa_equals_1
lola: REM DEA TR: t = erbb34_equals_1_to_erbb34_equals_0_when_erbb3_equals_0_and_nrg2a_equals_1
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_erbb3_equals_0_and_tgfa_equals_1
lola: REM DEA TR: t = erbb23_equals_1_to_erbb23_equals_0_when_erbb3_equals_0
lola: REM DEA TR: t = erbb13_equals_1_to_erbb13_equals_0_when_ar_equals_0_and_erbb2_equals_1_and_tgfa_equals_1
lola: REM DEA TR: t = sos1_eps8_e3b1_equals_1_to_sos1_eps8_e3b1_equals_0_when_pip3_equals_0
lola: REM DEA TR: t = sos1_eps8_e3b1_equals_1_to_sos1_eps8_e3b1_equals_0_when_eps8r_equals_0
lola: REM DEA TR: t = sos1_eps8_e3b1_equals_1_to_sos1_eps8_e3b1_equals_0_when_sos1r_equals_0
lola: REM DEA TR: t = rac_cdc42_equals_0_to_rac_cdc42_equals_1_when_sos1_eps8_e3b1_equals_1
lola: REM DEA TR: t = elk1_equals_1_to_elk1_equals_0_when_pp2b_equals_1
lola: REM DEA TR: t = stat3_equals_1_to_stat3_equals_0_when_erbb11_equals_0
lola: REM DEA TR: t = stat3_equals_1_to_stat3_equals_0_when_csrc_equals_0
lola: REM DEA TR: t = erbb12_equals_0_to_erbb12_equals_1_when_epr_equals_1_and_erbb1_equals_1_and_erbb2_equals_1_and_hbegf_equals_0_and_shp1d_equals_0
lola: REM DEA TR: t = erbb11_equals_0_to_erbb11_equals_1_when_egf_equals_1_and_erbb1_equals_1_and_hbegf_equals_0_and_shp1d_equals_0
lola: REM DEA TR: t = grb2_equals_0_to_grb2_equals_1_when_erbb34_equals_1
lola: REM DEA TR: t = erbb34_equals_1_to_erbb34_equals_0_when_erbb2_equals_1_and_nrg2a_equals_1
lola: REM DEA TR: t = shc_equals_0_to_shc_equals_1_when_erbb34_equals_1
lola: REM DEA TR: t = pi3k_equals_0_to_pi3k_equals_1_when_erbb34_equals_1_and_pi3kr_equals_1
lola: REM DEA TR: t = akt_equals_1_to_akt_equals_0_when_mtor_ric_equals_0
lola: REM DEA TR: t = gsk3_equals_1_to_gsk3_equals_0_when_akt_equals_1
lola: REM DEA TR: t = bad_equals_1_to_bad_equals_0_when_akt_equals_1
lola: REM DEA TR: t = akt_equals_1_to_akt_equals_0_when_pi34p2_equals_0_and_pip3_equals_0
lola: REM DEA TR: t = tsc1_tsc2_equals_1_to_tsc1_tsc2_equals_0_when_akt_equals_1
lola: REM DEA TR: t = aktd_equals_0_to_aktd_equals_1_when_akt_equals_1
lola: REM DEA TR: t = pip3_equals_1_to_pip3_equals_0_when_ptend_equals_1
lola: REM DEA TR: t = ptend_equals_1_to_ptend_equals_0_when_pten_equals_0
lola: REM DEA TR: t = mtor_rap_equals_1_to_mtor_rap_equals_0_when_rheb_equals_0
lola: REM DEA TR: t = p70s6_2_equals_0_to_p70s6_2_equals_1_when_mtor_rap_equals_1_and_p70s6_1_equals_1_and_pdk1_equals_1
lola: REM DEA TR: t = mtor_rap_equals_1_to_mtor_rap_equals_0_when_mtorr_equals_0
lola: REM DEA TR: t = rab5a_equals_1_to_rab5a_equals_0_when_rntre_equals_1
lola: REM DEA TR: t = rntre_equals_1_to_rntre_equals_0_when_erbb11_equals_0
lola: REM DEA TR: t = rntre_equals_1_to_rntre_equals_0_when_eps8r_equals_0
lola: REM DEA TR: t = ras_equals_0_to_ras_equals_1_when_rasgap_equals_0_and_sos1_equals_1
lola: REM DEA TR: t = sos1_equals_1_to_sos1_equals_0_when_grb2_equals_0
lola: REM DEA TR: t = sos1_equals_1_to_sos1_equals_0_when_p90rskerk12d_equals_1
lola: REM DEA TR: t = sos1_equals_1_to_sos1_equals_0_when_sos1r_equals_0
lola: REM DEA TR: t = raf1_equals_1_to_raf1_equals_0_when_aktd_equals_1
lola: REM DEA TR: t = aktd_equals_1_to_aktd_equals_0_when_akt_equals_0
lola: REM DEA TR: t = ras_equals_1_to_ras_equals_0_when_sos1_equals_0
lola: REM DEA TR: t = ras_equals_1_to_ras_equals_0_when_rasgap_equals_1
lola: REM DEA TR: t = raf1_equals_0_to_raf1_equals_1_when_aktd_equals_0_and_csrc_equals_0_and_pak1_equals_1_and_ras_equals_1
lola: REM DEA TR: t = rin1_equals_0_to_rin1_equals_1_when_ras_equals_1
lola: REM DEA TR: t = pi3k_equals_0_to_pi3k_equals_1_when_erbb34_equals_0_and_pi3kr_equals_1_and_ras_equals_1
lola: REM DEA TR: t = p70s6_2_equals_1_to_p70s6_2_equals_0_when_mtor_rap_equals_0
lola: REM DEA TR: t = p70s6_2_equals_1_to_p70s6_2_equals_0_when_p70s6_1_equals_0
lola: REM DEA TR: t = raf1_equals_1_to_raf1_equals_0_when_csrc_equals_0_and_pak1_equals_0
lola: REM DEA TR: t = raf1_equals_1_to_raf1_equals_0_when_ras_equals_0
lola: REM DEA TR: t = mek12_equals_0_to_mek12_equals_1_when_raf1_equals_1
lola: REM DEA TR: t = rin1_equals_1_to_rin1_equals_0_when_ras_equals_0
lola: REM DEA TR: t = rab5a_equals_0_to_rab5a_equals_1_when_rin1_equals_1_and_rntre_equals_0
lola: REM DEA TR: t = rab5a_equals_1_to_rab5a_equals_0_when_rin1_equals_0
lola: REM DEA TR: t = endocyt_degrad_equals_0_to_endocyt_degrad_equals_1_when_ccbl_equals_1_and_rab5a_equals_1
lola: REM DEA TR: t = endocyt_degrad_equals_1_to_endocyt_degrad_equals_0_when_rab5a_equals_0
lola: REM DEA TR: t = endocyt_degrad_equals_1_to_endocyt_degrad_equals_0_when_ccbl_equals_0
lola: LAUNCH SYMM
sara: try reading problem file stateEquationProblem-Safety-105.sara.
sara: place or transition ordering is non-deterministic

sara: try reading problem file stateEquationProblem-Safety-25.sara.
sara: place or transition ordering is non-deterministic
lola: 5 The net is safe

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="EGFr-PT-10421"
export BK_EXAMINATION="OneSafe"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lola"
echo " Input is EGFr-PT-10421, examination is OneSafe"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r148-smll-167819435100415"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/EGFr-PT-10421.tgz
mv EGFr-PT-10421 execution
cd execution
if [ "OneSafe" = "ReachabilityDeadlock" ] || [ "OneSafe" = "UpperBounds" ] || [ "OneSafe" = "QuasiLiveness" ] || [ "OneSafe" = "StableMarking" ] || [ "OneSafe" = "Liveness" ] || [ "OneSafe" = "OneSafe" ] || [ "OneSafe" = "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 [ "OneSafe" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "OneSafe" != "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 "OneSafe.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property OneSafe.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "OneSafe.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 '' OneSafe.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "OneSafe" = "ReachabilityDeadlock" ] || [ "OneSafe" = "QuasiLiveness" ] || [ "OneSafe" = "StableMarking" ] || [ "OneSafe" = "Liveness" ] || [ "OneSafe" = "OneSafe" ] ; then
echo "FORMULA_NAME OneSafe"
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 ;