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.r006-oct2-167813594600631.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AutonomousCar-PT-07a, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r006-oct2-167813594600631
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 712K
-rw-r--r-- 1 mcc users 6.0K Feb 25 12:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 12:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 12:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 25 12:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 12:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 165K Feb 25 12:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 12:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 12:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 276K 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

here is the order used to build the result vector(from text file)
FORMULA_NAME AutonomousCar-PT-07a-ReachabilityFireability-00
FORMULA_NAME AutonomousCar-PT-07a-ReachabilityFireability-01
FORMULA_NAME AutonomousCar-PT-07a-ReachabilityFireability-02
FORMULA_NAME AutonomousCar-PT-07a-ReachabilityFireability-03
FORMULA_NAME AutonomousCar-PT-07a-ReachabilityFireability-04
FORMULA_NAME AutonomousCar-PT-07a-ReachabilityFireability-05
FORMULA_NAME AutonomousCar-PT-07a-ReachabilityFireability-06
FORMULA_NAME AutonomousCar-PT-07a-ReachabilityFireability-07
FORMULA_NAME AutonomousCar-PT-07a-ReachabilityFireability-08
FORMULA_NAME AutonomousCar-PT-07a-ReachabilityFireability-09
FORMULA_NAME AutonomousCar-PT-07a-ReachabilityFireability-10
FORMULA_NAME AutonomousCar-PT-07a-ReachabilityFireability-11
FORMULA_NAME AutonomousCar-PT-07a-ReachabilityFireability-12
FORMULA_NAME AutonomousCar-PT-07a-ReachabilityFireability-13
FORMULA_NAME AutonomousCar-PT-07a-ReachabilityFireability-14
FORMULA_NAME AutonomousCar-PT-07a-ReachabilityFireability-15

=== Now, execution of the tool begins

BK_START 1678306102266

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=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AutonomousCar-PT-07a
Not applying reductions.
Model is PT
ReachabilityFireability PT
starting LoLA
BK_INPUT AutonomousCar-PT-07a
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
ReachabilityFireability

FORMULA AutonomousCar-PT-07a-ReachabilityFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutonomousCar-PT-07a-ReachabilityFireability-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutonomousCar-PT-07a-ReachabilityFireability-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutonomousCar-PT-07a-ReachabilityFireability-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutonomousCar-PT-07a-ReachabilityFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutonomousCar-PT-07a-ReachabilityFireability-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutonomousCar-PT-07a-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutonomousCar-PT-07a-ReachabilityFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutonomousCar-PT-07a-ReachabilityFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutonomousCar-PT-07a-ReachabilityFireability-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutonomousCar-PT-07a-ReachabilityFireability-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutonomousCar-PT-07a-ReachabilityFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutonomousCar-PT-07a-ReachabilityFireability-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutonomousCar-PT-07a-ReachabilityFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutonomousCar-PT-07a-ReachabilityFireability-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutonomousCar-PT-07a-ReachabilityFireability-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1678306446366

--------------------
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: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/ReachabilityFireability.xml
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: LAUNCH INITIAL
lola: LAUNCH task # 34 (type CNST) for 33 AutonomousCar-PT-07a-ReachabilityFireability-11
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 34 (type CNST) for AutonomousCar-PT-07a-ReachabilityFireability-11
lola: result : false
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 60 (type EXCL) for 24 AutonomousCar-PT-07a-ReachabilityFireability-08
lola: time limit : 240 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 54 (type FNDP) for 24 AutonomousCar-PT-07a-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 57 (type EQUN) for 24 AutonomousCar-PT-07a-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 59 (type SRCH) for 24 AutonomousCar-PT-07a-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 54 (type FNDP) for AutonomousCar-PT-07a-ReachabilityFireability-08
lola: result : true
lola: fired transitions : 9
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 57 (type EQUN) for AutonomousCar-PT-07a-ReachabilityFireability-08 (obsolete)
lola: CANCELED task # 59 (type SRCH) for AutonomousCar-PT-07a-ReachabilityFireability-08 (obsolete)
lola: CANCELED task # 60 (type EXCL) for AutonomousCar-PT-07a-ReachabilityFireability-08 (obsolete)
lola: LAUNCH task # 121 (type EXCL) for 27 AutonomousCar-PT-07a-ReachabilityFireability-09
lola: time limit : 257 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 48 (type FNDP) for 3 AutonomousCar-PT-07a-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 49 (type EQUN) for 3 AutonomousCar-PT-07a-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 95 (type SRCH) for 3 AutonomousCar-PT-07a-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-57.sara.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 57 (type EQUN) for AutonomousCar-PT-07a-ReachabilityFireability-08
lola: result : true
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 5/188 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 418582 t fired, 35674 attempts, .
49 EF STEQ 5/188 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara not yet started (preprocessing).
95 EF SRCH 5/199 2/5 AutonomousCar-PT-07a-ReachabilityFireability-01 378549 m, 75709 m/sec, 1517779 t fired, .
121 EF EXCL 5/257 1/32 AutonomousCar-PT-07a-ReachabilityFireability-09 66831 m, 13366 m/sec, 289176 t fired, .

Time elapsed: 5 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 121 (type EXCL) for AutonomousCar-PT-07a-ReachabilityFireability-09
lola: result : true
lola: markings : 102446
lola: fired transitions : 458842
lola: time used : 8.000000
lola: memory pages used : 1
lola: LAUNCH task # 104 (type EXCL) for 18 AutonomousCar-PT-07a-ReachabilityFireability-06
lola: time limit : 276 sec
lola: memory limit: 32 pages
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-49.sara.
lola: FINISHED task # 104 (type EXCL) for AutonomousCar-PT-07a-ReachabilityFireability-06
lola: result : true
lola: markings : 11130
lola: fired transitions : 45839
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 73 (type EXCL) for 36 AutonomousCar-PT-07a-ReachabilityFireability-12
lola: time limit : 299 sec
lola: memory limit: 32 pages
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 73 (type EXCL) for AutonomousCar-PT-07a-ReachabilityFireability-12
lola: result : true
lola: markings : 26816
lola: fired transitions : 128151
lola: time used : 2.000000
lola: memory pages used : 1
lola: LAUNCH task # 66 (type EXCL) for 12 AutonomousCar-PT-07a-ReachabilityFireability-04
lola: time limit : 326 sec
lola: memory limit: 32 pages
lola: FINISHED task # 66 (type EXCL) for AutonomousCar-PT-07a-ReachabilityFireability-04
lola: result : true
lola: markings : 6702
lola: fired transitions : 28391
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 115 (type EXCL) for 45 AutonomousCar-PT-07a-ReachabilityFireability-15
lola: time limit : 359 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 10/247 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 869816 t fired, 76937 attempts, .
49 EF STEQ 10/266 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
95 EF SRCH 10/266 3/5 AutonomousCar-PT-07a-ReachabilityFireability-01 769649 m, 78220 m/sec, 3185989 t fired, .
115 EF EXCL 0/359 1/32 AutonomousCar-PT-07a-ReachabilityFireability-15 1723 m, 344 m/sec, 6535 t fired, .

Time elapsed: 10 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 115 (type EXCL) for AutonomousCar-PT-07a-ReachabilityFireability-15
lola: result : true
lola: markings : 54191
lola: fired transitions : 275752
lola: time used : 3.000000
lola: memory pages used : 1
lola: LAUNCH task # 111 (type EXCL) for 15 AutonomousCar-PT-07a-ReachabilityFireability-05
lola: time limit : 398 sec
lola: memory limit: 32 pages
lola: FINISHED task # 111 (type EXCL) for AutonomousCar-PT-07a-ReachabilityFireability-05
lola: result : true
lola: markings : 3491
lola: fired transitions : 13924
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 133 (type EXCL) for 6 AutonomousCar-PT-07a-ReachabilityFireability-02
lola: time limit : 448 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 15/314 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 1320892 t fired, 117364 attempts, .
49 EF STEQ 15/314 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
95 EF SRCH 15/347 4/5 AutonomousCar-PT-07a-ReachabilityFireability-01 1160682 m, 78206 m/sec, 4857225 t fired, .
133 EF EXCL 2/448 1/32 AutonomousCar-PT-07a-ReachabilityFireability-02 50835 m, 10167 m/sec, 180129 t fired, .

Time elapsed: 15 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 95 (type SRCH) for AutonomousCar-PT-07a-ReachabilityFireability-01 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 2 2 0 1 0 1 0
AutonomousCar-PT-07a-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
AutonomousCar-PT-07a-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 20/312 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 1750757 t fired, 155713 attempts, .
49 EF STEQ 20/312 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
133 EF EXCL 7/448 1/32 AutonomousCar-PT-07a-ReachabilityFireability-02 165930 m, 23019 m/sec, 658277 t fired, .

Time elapsed: 20 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 81 (type FNDP) for 42 AutonomousCar-PT-07a-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 81 (type FNDP) for AutonomousCar-PT-07a-ReachabilityFireability-14
lola: result : true
lola: fired transitions : 57325
lola: tried executions : 4166
lola: time used : 1.000000
lola: memory pages used : 0
lola: LAUNCH task # 52 (type FNDP) for 0 AutonomousCar-PT-07a-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 52 (type FNDP) for AutonomousCar-PT-07a-ReachabilityFireability-00
lola: result : true
lola: fired transitions : 14
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 135 (type FNDP) for 21 AutonomousCar-PT-07a-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 135 (type FNDP) for AutonomousCar-PT-07a-ReachabilityFireability-07
lola: result : true
lola: fired transitions : 10
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 123 (type FNDP) for 39 AutonomousCar-PT-07a-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 123 (type FNDP) for AutonomousCar-PT-07a-ReachabilityFireability-13
lola: result : true
lola: fired transitions : 247
lola: tried executions : 4
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 89 (type FNDP) for 9 AutonomousCar-PT-07a-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 89 (type FNDP) for AutonomousCar-PT-07a-ReachabilityFireability-03
lola: result : true
lola: fired transitions : 74
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 74 (type FNDP) for 30 AutonomousCar-PT-07a-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 74 (type FNDP) for AutonomousCar-PT-07a-ReachabilityFireability-10
lola: result : true
lola: fired transitions : 182
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 129 (type FNDP) for 6 AutonomousCar-PT-07a-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 129 (type FNDP) for AutonomousCar-PT-07a-ReachabilityFireability-02
lola: result : true
lola: fired transitions : 9
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 133 (type EXCL) for AutonomousCar-PT-07a-ReachabilityFireability-02 (obsolete)
lola: LAUNCH task # 96 (type EXCL) for 3 AutonomousCar-PT-07a-ReachabilityFireability-01
lola: time limit : 3579 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 106 (type SRCH) for 3 AutonomousCar-PT-07a-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 106 (type SRCH) for AutonomousCar-PT-07a-ReachabilityFireability-01
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 25/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 2145409 t fired, 190677 attempts, .
49 EF STEQ 25/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 4/3579 1/32 AutonomousCar-PT-07a-ReachabilityFireability-01 43615 m, 8723 m/sec, 150369 t fired, .

Time elapsed: 25 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 30/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 2568005 t fired, 229064 attempts, .
49 EF STEQ 30/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 9/3579 1/32 AutonomousCar-PT-07a-ReachabilityFireability-01 101223 m, 11521 m/sec, 343070 t fired, .

Time elapsed: 30 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 35/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 3008149 t fired, 267755 attempts, .
49 EF STEQ 35/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 14/3579 1/32 AutonomousCar-PT-07a-ReachabilityFireability-01 160255 m, 11806 m/sec, 553010 t fired, .

Time elapsed: 35 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 40/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 3458912 t fired, 307976 attempts, .
49 EF STEQ 40/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 19/3579 1/32 AutonomousCar-PT-07a-ReachabilityFireability-01 221327 m, 12214 m/sec, 748730 t fired, .

Time elapsed: 40 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 45/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 3908072 t fired, 348196 attempts, .
49 EF STEQ 45/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 24/3579 2/32 AutonomousCar-PT-07a-ReachabilityFireability-01 281921 m, 12118 m/sec, 962023 t fired, .

Time elapsed: 45 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 50/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 4357708 t fired, 388486 attempts, .
49 EF STEQ 50/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 29/3579 2/32 AutonomousCar-PT-07a-ReachabilityFireability-01 346547 m, 12925 m/sec, 1171388 t fired, .

Time elapsed: 50 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 55/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 4806415 t fired, 428600 attempts, .
49 EF STEQ 55/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 34/3579 2/32 AutonomousCar-PT-07a-ReachabilityFireability-01 413529 m, 13396 m/sec, 1386302 t fired, .

Time elapsed: 55 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 60/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 5256736 t fired, 469653 attempts, .
49 EF STEQ 60/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 39/3579 2/32 AutonomousCar-PT-07a-ReachabilityFireability-01 475979 m, 12490 m/sec, 1621391 t fired, .

Time elapsed: 60 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 65/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 5706983 t fired, 510460 attempts, .
49 EF STEQ 65/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 44/3579 3/32 AutonomousCar-PT-07a-ReachabilityFireability-01 541713 m, 13146 m/sec, 1834468 t fired, .

Time elapsed: 65 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 70/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 6154798 t fired, 550649 attempts, .
49 EF STEQ 70/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 49/3579 3/32 AutonomousCar-PT-07a-ReachabilityFireability-01 595944 m, 10846 m/sec, 2009789 t fired, .

Time elapsed: 70 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 75/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 6596748 t fired, 590331 attempts, .
49 EF STEQ 75/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 54/3579 3/32 AutonomousCar-PT-07a-ReachabilityFireability-01 649750 m, 10761 m/sec, 2198954 t fired, .

Time elapsed: 75 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 80/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 7043551 t fired, 630332 attempts, .
49 EF STEQ 80/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 59/3579 3/32 AutonomousCar-PT-07a-ReachabilityFireability-01 707102 m, 11470 m/sec, 2391698 t fired, .

Time elapsed: 80 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 85/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 7440214 t fired, 665584 attempts, .
49 EF STEQ 85/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 64/3579 3/32 AutonomousCar-PT-07a-ReachabilityFireability-01 763634 m, 11306 m/sec, 2579170 t fired, .

Time elapsed: 85 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 90/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 7871054 t fired, 704759 attempts, .
49 EF STEQ 90/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 69/3579 4/32 AutonomousCar-PT-07a-ReachabilityFireability-01 812413 m, 9755 m/sec, 2758395 t fired, .

Time elapsed: 90 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 95/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 8314974 t fired, 745030 attempts, .
49 EF STEQ 95/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 74/3579 4/32 AutonomousCar-PT-07a-ReachabilityFireability-01 869430 m, 11403 m/sec, 2960642 t fired, .

Time elapsed: 95 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 100/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 8734716 t fired, 782949 attempts, .
49 EF STEQ 100/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 79/3579 4/32 AutonomousCar-PT-07a-ReachabilityFireability-01 923791 m, 10872 m/sec, 3139515 t fired, .

Time elapsed: 100 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 105/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 9148070 t fired, 819794 attempts, .
49 EF STEQ 105/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 84/3579 4/32 AutonomousCar-PT-07a-ReachabilityFireability-01 984169 m, 12075 m/sec, 3327647 t fired, .

Time elapsed: 105 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 110/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 9583368 t fired, 858429 attempts, .
49 EF STEQ 110/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 89/3579 4/32 AutonomousCar-PT-07a-ReachabilityFireability-01 1042945 m, 11755 m/sec, 3522855 t fired, .

Time elapsed: 110 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 115/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 9984320 t fired, 894452 attempts, .
49 EF STEQ 115/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 94/3579 5/32 AutonomousCar-PT-07a-ReachabilityFireability-01 1098320 m, 11075 m/sec, 3703575 t fired, .

Time elapsed: 115 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 120/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 10400612 t fired, 932172 attempts, .
49 EF STEQ 120/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 99/3579 5/32 AutonomousCar-PT-07a-ReachabilityFireability-01 1158647 m, 12065 m/sec, 3918314 t fired, .

Time elapsed: 120 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 125/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 10792395 t fired, 967348 attempts, .
49 EF STEQ 125/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 104/3579 5/32 AutonomousCar-PT-07a-ReachabilityFireability-01 1211908 m, 10652 m/sec, 4103388 t fired, .

Time elapsed: 125 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 130/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 11196793 t fired, 1003718 attempts, .
49 EF STEQ 130/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 109/3579 5/32 AutonomousCar-PT-07a-ReachabilityFireability-01 1274608 m, 12540 m/sec, 4309008 t fired, .

Time elapsed: 130 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 135/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 11616813 t fired, 1041218 attempts, .
49 EF STEQ 135/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 114/3579 6/32 AutonomousCar-PT-07a-ReachabilityFireability-01 1339426 m, 12963 m/sec, 4504522 t fired, .

Time elapsed: 135 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 140/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 11987328 t fired, 1074380 attempts, .
49 EF STEQ 140/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 119/3579 6/32 AutonomousCar-PT-07a-ReachabilityFireability-01 1399575 m, 12029 m/sec, 4723183 t fired, .

Time elapsed: 140 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 145/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 12381887 t fired, 1109752 attempts, .
49 EF STEQ 145/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 124/3579 6/32 AutonomousCar-PT-07a-ReachabilityFireability-01 1463881 m, 12861 m/sec, 4922622 t fired, .

Time elapsed: 145 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 150/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 12784991 t fired, 1145869 attempts, .
49 EF STEQ 150/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 129/3579 6/32 AutonomousCar-PT-07a-ReachabilityFireability-01 1524843 m, 12192 m/sec, 5132090 t fired, .

Time elapsed: 150 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 155/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 13148741 t fired, 1178978 attempts, .
49 EF STEQ 155/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 134/3579 6/32 AutonomousCar-PT-07a-ReachabilityFireability-01 1582901 m, 11611 m/sec, 5307618 t fired, .

Time elapsed: 155 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 160/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 13507799 t fired, 1211217 attempts, .
49 EF STEQ 160/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 139/3579 7/32 AutonomousCar-PT-07a-ReachabilityFireability-01 1648415 m, 13102 m/sec, 5534399 t fired, .

Time elapsed: 160 secs. Pages in use: 7
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 165/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 13860234 t fired, 1242075 attempts, .
49 EF STEQ 165/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 144/3579 7/32 AutonomousCar-PT-07a-ReachabilityFireability-01 1710060 m, 12329 m/sec, 5784320 t fired, .

Time elapsed: 165 secs. Pages in use: 7
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 170/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 14291000 t fired, 1280025 attempts, .
49 EF STEQ 170/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 149/3579 7/32 AutonomousCar-PT-07a-ReachabilityFireability-01 1767874 m, 11562 m/sec, 5974549 t fired, .

Time elapsed: 170 secs. Pages in use: 7
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 175/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 14720759 t fired, 1317952 attempts, .
49 EF STEQ 175/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 154/3579 7/32 AutonomousCar-PT-07a-ReachabilityFireability-01 1822919 m, 11009 m/sec, 6170498 t fired, .

Time elapsed: 175 secs. Pages in use: 7
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 180/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 15168595 t fired, 1357534 attempts, .
49 EF STEQ 180/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 159/3579 8/32 AutonomousCar-PT-07a-ReachabilityFireability-01 1876433 m, 10702 m/sec, 6333744 t fired, .

Time elapsed: 180 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 185/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 15594767 t fired, 1395627 attempts, .
49 EF STEQ 185/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 164/3579 8/32 AutonomousCar-PT-07a-ReachabilityFireability-01 1933444 m, 11402 m/sec, 6542582 t fired, .

Time elapsed: 185 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 190/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 15970311 t fired, 1429130 attempts, .
49 EF STEQ 190/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 169/3579 8/32 AutonomousCar-PT-07a-ReachabilityFireability-01 1983530 m, 10017 m/sec, 6741712 t fired, .

Time elapsed: 190 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 195/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 16266803 t fired, 1455486 attempts, .
49 EF STEQ 195/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 174/3579 8/32 AutonomousCar-PT-07a-ReachabilityFireability-01 2038656 m, 11025 m/sec, 6941862 t fired, .

Time elapsed: 195 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 200/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 16708891 t fired, 1494138 attempts, .
49 EF STEQ 200/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 179/3579 8/32 AutonomousCar-PT-07a-ReachabilityFireability-01 2094355 m, 11139 m/sec, 7155296 t fired, .

Time elapsed: 200 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 205/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 17121186 t fired, 1531252 attempts, .
49 EF STEQ 205/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 184/3579 9/32 AutonomousCar-PT-07a-ReachabilityFireability-01 2151084 m, 11345 m/sec, 7370246 t fired, .

Time elapsed: 205 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 210/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 17547412 t fired, 1569421 attempts, .
49 EF STEQ 210/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 189/3579 9/32 AutonomousCar-PT-07a-ReachabilityFireability-01 2197265 m, 9236 m/sec, 7573133 t fired, .

Time elapsed: 210 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 215/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 17953021 t fired, 1605742 attempts, .
49 EF STEQ 215/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 194/3579 9/32 AutonomousCar-PT-07a-ReachabilityFireability-01 2254383 m, 11423 m/sec, 7765570 t fired, .

Time elapsed: 215 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 220/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 18401144 t fired, 1646272 attempts, .
49 EF STEQ 220/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 199/3579 9/32 AutonomousCar-PT-07a-ReachabilityFireability-01 2312170 m, 11557 m/sec, 7967250 t fired, .

Time elapsed: 220 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 225/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 18827251 t fired, 1684548 attempts, .
49 EF STEQ 225/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 204/3579 9/32 AutonomousCar-PT-07a-ReachabilityFireability-01 2370032 m, 11572 m/sec, 8156789 t fired, .

Time elapsed: 225 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 230/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 19204882 t fired, 1718510 attempts, .
49 EF STEQ 230/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 209/3579 10/32 AutonomousCar-PT-07a-ReachabilityFireability-01 2421239 m, 10241 m/sec, 8357275 t fired, .

Time elapsed: 230 secs. Pages in use: 10
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 235/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 19609742 t fired, 1754626 attempts, .
49 EF STEQ 235/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 214/3579 10/32 AutonomousCar-PT-07a-ReachabilityFireability-01 2474517 m, 10655 m/sec, 8540708 t fired, .

Time elapsed: 235 secs. Pages in use: 10
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 240/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 20044519 t fired, 1793562 attempts, .
49 EF STEQ 240/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 219/3579 10/32 AutonomousCar-PT-07a-ReachabilityFireability-01 2537009 m, 12498 m/sec, 8738096 t fired, .

Time elapsed: 240 secs. Pages in use: 10
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 245/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 20471563 t fired, 1831955 attempts, .
49 EF STEQ 245/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 224/3579 10/32 AutonomousCar-PT-07a-ReachabilityFireability-01 2592921 m, 11182 m/sec, 8946821 t fired, .

Time elapsed: 245 secs. Pages in use: 10
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 250/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 20908920 t fired, 1871177 attempts, .
49 EF STEQ 250/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 229/3579 10/32 AutonomousCar-PT-07a-ReachabilityFireability-01 2656491 m, 12714 m/sec, 9161176 t fired, .

Time elapsed: 250 secs. Pages in use: 10
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 255/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 21348918 t fired, 1910391 attempts, .
49 EF STEQ 255/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 234/3579 11/32 AutonomousCar-PT-07a-ReachabilityFireability-01 2712905 m, 11282 m/sec, 9349557 t fired, .

Time elapsed: 255 secs. Pages in use: 11
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 260/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 21792873 t fired, 1949909 attempts, .
49 EF STEQ 260/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 239/3579 11/32 AutonomousCar-PT-07a-ReachabilityFireability-01 2779316 m, 13282 m/sec, 9571266 t fired, .

Time elapsed: 260 secs. Pages in use: 11
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 265/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 22238836 t fired, 1989708 attempts, .
49 EF STEQ 265/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 244/3579 11/32 AutonomousCar-PT-07a-ReachabilityFireability-01 2841952 m, 12527 m/sec, 9838227 t fired, .

Time elapsed: 265 secs. Pages in use: 11
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 270/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 22684306 t fired, 2029694 attempts, .
49 EF STEQ 270/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 249/3579 11/32 AutonomousCar-PT-07a-ReachabilityFireability-01 2896953 m, 11000 m/sec, 10026864 t fired, .

Time elapsed: 270 secs. Pages in use: 11
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 275/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 23111133 t fired, 2067533 attempts, .
49 EF STEQ 275/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 254/3579 12/32 AutonomousCar-PT-07a-ReachabilityFireability-01 2959102 m, 12429 m/sec, 10236853 t fired, .

Time elapsed: 275 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 280/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 23557610 t fired, 2107281 attempts, .
49 EF STEQ 280/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 259/3579 12/32 AutonomousCar-PT-07a-ReachabilityFireability-01 3018894 m, 11958 m/sec, 10445090 t fired, .

Time elapsed: 280 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 285/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 24004537 t fired, 2147120 attempts, .
49 EF STEQ 285/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 264/3579 12/32 AutonomousCar-PT-07a-ReachabilityFireability-01 3066176 m, 9456 m/sec, 10627211 t fired, .

Time elapsed: 285 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 290/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 24451668 t fired, 2187417 attempts, .
49 EF STEQ 290/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 269/3579 12/32 AutonomousCar-PT-07a-ReachabilityFireability-01 3116050 m, 9974 m/sec, 10800072 t fired, .

Time elapsed: 290 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 295/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 24894235 t fired, 2226981 attempts, .
49 EF STEQ 295/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 274/3579 12/32 AutonomousCar-PT-07a-ReachabilityFireability-01 3164009 m, 9591 m/sec, 11016617 t fired, .

Time elapsed: 295 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 300/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 25339700 t fired, 2267328 attempts, .
49 EF STEQ 300/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 279/3579 13/32 AutonomousCar-PT-07a-ReachabilityFireability-01 3214080 m, 10014 m/sec, 11201532 t fired, .

Time elapsed: 300 secs. Pages in use: 13
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 305/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 25786507 t fired, 2307194 attempts, .
49 EF STEQ 305/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 284/3579 13/32 AutonomousCar-PT-07a-ReachabilityFireability-01 3269378 m, 11059 m/sec, 11389942 t fired, .

Time elapsed: 305 secs. Pages in use: 13
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 310/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 26232468 t fired, 2346640 attempts, .
49 EF STEQ 310/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 289/3579 13/32 AutonomousCar-PT-07a-ReachabilityFireability-01 3322255 m, 10575 m/sec, 11613937 t fired, .

Time elapsed: 310 secs. Pages in use: 13
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 315/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 26674818 t fired, 2385801 attempts, .
49 EF STEQ 315/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 294/3579 13/32 AutonomousCar-PT-07a-ReachabilityFireability-01 3373625 m, 10274 m/sec, 11794952 t fired, .

Time elapsed: 315 secs. Pages in use: 13
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 320/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 27119439 t fired, 2425283 attempts, .
49 EF STEQ 320/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 299/3579 13/32 AutonomousCar-PT-07a-ReachabilityFireability-01 3428732 m, 11021 m/sec, 11996702 t fired, .

Time elapsed: 320 secs. Pages in use: 13
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 325/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 27565829 t fired, 2464994 attempts, .
49 EF STEQ 325/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 304/3579 14/32 AutonomousCar-PT-07a-ReachabilityFireability-01 3481035 m, 10460 m/sec, 12151756 t fired, .

Time elapsed: 325 secs. Pages in use: 14
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 330/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 28012514 t fired, 2504964 attempts, .
49 EF STEQ 330/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 309/3579 14/32 AutonomousCar-PT-07a-ReachabilityFireability-01 3537487 m, 11290 m/sec, 12358709 t fired, .

Time elapsed: 330 secs. Pages in use: 14
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 335/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 28459325 t fired, 2544850 attempts, .
49 EF STEQ 335/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 314/3579 14/32 AutonomousCar-PT-07a-ReachabilityFireability-01 3590519 m, 10606 m/sec, 12582169 t fired, .

Time elapsed: 335 secs. Pages in use: 14
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
AutonomousCar-PT-07a-ReachabilityFireability-01: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 340/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 28906548 t fired, 2585093 attempts, .
49 EF STEQ 340/3600 0/5 AutonomousCar-PT-07a-ReachabilityFireability-01 sara is running.
96 EF EXCL 319/3579 14/32 AutonomousCar-PT-07a-ReachabilityFireability-01 3637159 m, 9328 m/sec, 12747161 t fired, .

Time elapsed: 340 secs. Pages in use: 14
# running tasks: 3 of 4 Visible: 16

lola: FINISHED task # 49 (type EQUN) for AutonomousCar-PT-07a-ReachabilityFireability-01
lola: result : false
lola: CANCELED task # 48 (type FNDP) for AutonomousCar-PT-07a-ReachabilityFireability-01 (obsolete)
lola: CANCELED task # 96 (type EXCL) for AutonomousCar-PT-07a-ReachabilityFireability-01 (obsolete)
lola: Portfolio finished: no open formulas

FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
AutonomousCar-PT-07a-ReachabilityFireability-00: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-01: EF false state equation
AutonomousCar-PT-07a-ReachabilityFireability-02: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-03: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-04: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-05: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-06: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-07: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-08: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-09: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-10: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-11: INITIAL false preprocessing
AutonomousCar-PT-07a-ReachabilityFireability-12: EF true tandem / relaxed
AutonomousCar-PT-07a-ReachabilityFireability-13: EF true findpath
AutonomousCar-PT-07a-ReachabilityFireability-14: AG false findpath
AutonomousCar-PT-07a-ReachabilityFireability-15: EF true tandem / relaxed


Time elapsed: 344 secs. Pages in use: 14

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="AutonomousCar-PT-07a"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
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 AutonomousCar-PT-07a, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r006-oct2-167813594600631"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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