About the Execution of LoLA for Szymanski-PT-a12
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
2471.455 | 289807.00 | 1133319.00 | 38.70 | FTFTFFFTTFTFTFTT | normal |
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.r486-tall-167912701200447.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is Szymanski-PT-a12, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r486-tall-167912701200447
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 460K
-rw-r--r-- 1 mcc users 7.2K Feb 26 16:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 16:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 26 16:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 16:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:19 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:19 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:19 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:19 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 16:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 26 16:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 16:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 16:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 101K Mar 5 18:23 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 Szymanski-PT-a12-ReachabilityFireability-00
FORMULA_NAME Szymanski-PT-a12-ReachabilityFireability-01
FORMULA_NAME Szymanski-PT-a12-ReachabilityFireability-02
FORMULA_NAME Szymanski-PT-a12-ReachabilityFireability-03
FORMULA_NAME Szymanski-PT-a12-ReachabilityFireability-04
FORMULA_NAME Szymanski-PT-a12-ReachabilityFireability-05
FORMULA_NAME Szymanski-PT-a12-ReachabilityFireability-06
FORMULA_NAME Szymanski-PT-a12-ReachabilityFireability-07
FORMULA_NAME Szymanski-PT-a12-ReachabilityFireability-08
FORMULA_NAME Szymanski-PT-a12-ReachabilityFireability-09
FORMULA_NAME Szymanski-PT-a12-ReachabilityFireability-10
FORMULA_NAME Szymanski-PT-a12-ReachabilityFireability-11
FORMULA_NAME Szymanski-PT-a12-ReachabilityFireability-12
FORMULA_NAME Szymanski-PT-a12-ReachabilityFireability-13
FORMULA_NAME Szymanski-PT-a12-ReachabilityFireability-14
FORMULA_NAME Szymanski-PT-a12-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1679212069870
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=Szymanski-PT-a12
Not applying reductions.
Model is PT
ReachabilityFireability PT
starting LoLA
BK_INPUT Szymanski-PT-a12
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
ReachabilityFireability
FORMULA Szymanski-PT-a12-ReachabilityFireability-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a12-ReachabilityFireability-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a12-ReachabilityFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a12-ReachabilityFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a12-ReachabilityFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a12-ReachabilityFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a12-ReachabilityFireability-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a12-ReachabilityFireability-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a12-ReachabilityFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a12-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a12-ReachabilityFireability-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a12-ReachabilityFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a12-ReachabilityFireability-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a12-ReachabilityFireability-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a12-ReachabilityFireability-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a12-ReachabilityFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1679212359677
--------------------
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: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:150
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: 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 1.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: 8 transitions removed,12 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 # 13 (type CNST) for 12 Szymanski-PT-a12-ReachabilityFireability-04
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 22 (type CNST) for 21 Szymanski-PT-a12-ReachabilityFireability-07
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 40 (type CNST) for 39 Szymanski-PT-a12-ReachabilityFireability-13
lola: time limit : 0 sec
lola: memory limit: 0 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
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: FINISHED task # 13 (type CNST) for Szymanski-PT-a12-ReachabilityFireability-04
lola: result : false
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 61 (type EXCL) for 3 Szymanski-PT-a12-ReachabilityFireability-01
lola: time limit : 199 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 50 (type FNDP) for 9 Szymanski-PT-a12-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 40 (type CNST) for Szymanski-PT-a12-ReachabilityFireability-13
lola: result : false
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:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 22 (type CNST) for Szymanski-PT-a12-ReachabilityFireability-07
lola: result : true
lola: LAUNCH INITIAL
lola: LAUNCH task # 28 (type CNST) for 27 Szymanski-PT-a12-ReachabilityFireability-09
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH task # 48 (type FNDP) for 6 Szymanski-PT-a12-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 28 (type CNST) for Szymanski-PT-a12-ReachabilityFireability-09
lola: result : false
lola: LAUNCH task # 64 (type FNDP) for 0 Szymanski-PT-a12-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
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: FINISHED task # 50 (type FNDP) for Szymanski-PT-a12-ReachabilityFireability-03
lola: result : true
lola: fired transitions : 296
lola: tried executions : 2
lola: time used : 0.000000
lola: memory pages used : 0
lola: Created skeleton in 0.000000 secs.
lola: LAUNCH task # 73 (type FNDP) for 30 Szymanski-PT-a12-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
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: Created skeleton in 0.000000 secs.
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: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: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: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: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: FINISHED task # 73 (type FNDP) for Szymanski-PT-a12-ReachabilityFireability-10
lola: result : true
lola: fired transitions : 5558
lola: tried executions : 26
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 108 (type FNDP) for 42 Szymanski-PT-a12-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 64 (type FNDP) for Szymanski-PT-a12-ReachabilityFireability-00
lola: result : true
lola: fired transitions : 4325
lola: tried executions : 22
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 97 (type FNDP) for 36 Szymanski-PT-a12-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 61 (type EXCL) for Szymanski-PT-a12-ReachabilityFireability-01
lola: result : true
lola: markings : 9564
lola: fired transitions : 16888
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 124 (type EXCL) for 33 Szymanski-PT-a12-ReachabilityFireability-11
lola: time limit : 449 sec
lola: memory limit: 32 pages
lola: FINISHED task # 124 (type EXCL) for Szymanski-PT-a12-ReachabilityFireability-11
lola: result : true
lola: markings : 9563
lola: fired transitions : 16887
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 114 (type EXCL) for 45 Szymanski-PT-a12-ReachabilityFireability-15
lola: time limit : 514 sec
lola: memory limit: 32 pages
lola: FINISHED task # 114 (type EXCL) for Szymanski-PT-a12-ReachabilityFireability-15
lola: result : true
lola: markings : 334
lola: fired transitions : 438
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 84 (type EXCL) for 15 Szymanski-PT-a12-ReachabilityFireability-05
lola: time limit : 599 sec
lola: memory limit: 32 pages
lola: FINISHED task # 84 (type EXCL) for Szymanski-PT-a12-ReachabilityFireability-05
lola: result : true
lola: markings : 218
lola: fired transitions : 258
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 107 (type EXCL) for 24 Szymanski-PT-a12-ReachabilityFireability-08
lola: time limit : 719 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 4/514 0/5 Szymanski-PT-a12-ReachabilityFireability-02 717779 t fired, 14445 attempts, .
97 EF FNDP 4/514 0/5 Szymanski-PT-a12-ReachabilityFireability-12 967023 t fired, 5375 attempts, .
107 EF EXCL 4/719 3/32 Szymanski-PT-a12-ReachabilityFireability-08 580116 m, 116023 m/sec, 1278769 t fired, .
108 EF FNDP 4/599 0/5 Szymanski-PT-a12-ReachabilityFireability-14 1154641 t fired, 4404 attempts, .
Time elapsed: 5 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 9/510 0/5 Szymanski-PT-a12-ReachabilityFireability-02 1217193 t fired, 23839 attempts, .
97 EF FNDP 9/510 0/5 Szymanski-PT-a12-ReachabilityFireability-12 1618863 t fired, 9243 attempts, .
107 EF EXCL 9/719 5/32 Szymanski-PT-a12-ReachabilityFireability-08 1147171 m, 113411 m/sec, 2584414 t fired, .
108 EF FNDP 9/595 0/5 Szymanski-PT-a12-ReachabilityFireability-14 2349900 t fired, 10814 attempts, .
Time elapsed: 10 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 14/505 0/5 Szymanski-PT-a12-ReachabilityFireability-02 1807041 t fired, 34580 attempts, .
97 EF FNDP 14/505 0/5 Szymanski-PT-a12-ReachabilityFireability-12 2351349 t fired, 13688 attempts, .
107 EF EXCL 14/719 7/32 Szymanski-PT-a12-ReachabilityFireability-08 1691722 m, 108910 m/sec, 3868662 t fired, .
108 EF FNDP 14/590 0/5 Szymanski-PT-a12-ReachabilityFireability-14 3431559 t fired, 17485 attempts, .
Time elapsed: 15 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 19/500 0/5 Szymanski-PT-a12-ReachabilityFireability-02 2311143 t fired, 43567 attempts, .
97 EF FNDP 19/500 0/5 Szymanski-PT-a12-ReachabilityFireability-12 3254876 t fired, 19429 attempts, .
107 EF EXCL 19/719 9/32 Szymanski-PT-a12-ReachabilityFireability-08 2225341 m, 106723 m/sec, 5164239 t fired, .
108 EF FNDP 19/585 0/5 Szymanski-PT-a12-ReachabilityFireability-14 4274463 t fired, 22884 attempts, .
Time elapsed: 21 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 25/494 0/5 Szymanski-PT-a12-ReachabilityFireability-02 2816177 t fired, 52410 attempts, .
97 EF FNDP 25/494 0/5 Szymanski-PT-a12-ReachabilityFireability-12 3862190 t fired, 23423 attempts, .
107 EF EXCL 25/719 11/32 Szymanski-PT-a12-ReachabilityFireability-08 2765610 m, 108053 m/sec, 6447826 t fired, .
108 EF FNDP 25/579 0/5 Szymanski-PT-a12-ReachabilityFireability-14 5336792 t fired, 29888 attempts, .
Time elapsed: 26 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 30/489 0/5 Szymanski-PT-a12-ReachabilityFireability-02 3322761 t fired, 61114 attempts, .
97 EF FNDP 30/489 0/5 Szymanski-PT-a12-ReachabilityFireability-12 4694041 t fired, 29025 attempts, .
107 EF EXCL 30/719 13/32 Szymanski-PT-a12-ReachabilityFireability-08 3297146 m, 106307 m/sec, 7754478 t fired, .
108 EF FNDP 30/574 0/5 Szymanski-PT-a12-ReachabilityFireability-14 6178527 t fired, 35563 attempts, .
Time elapsed: 31 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 35/484 0/5 Szymanski-PT-a12-ReachabilityFireability-02 3822985 t fired, 69599 attempts, .
97 EF FNDP 35/484 0/5 Szymanski-PT-a12-ReachabilityFireability-12 5755435 t fired, 36340 attempts, .
107 EF EXCL 35/719 15/32 Szymanski-PT-a12-ReachabilityFireability-08 3818169 m, 104204 m/sec, 9028239 t fired, .
108 EF FNDP 35/569 0/5 Szymanski-PT-a12-ReachabilityFireability-14 6782181 t fired, 39664 attempts, .
Time elapsed: 36 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 40/479 0/5 Szymanski-PT-a12-ReachabilityFireability-02 4321677 t fired, 77913 attempts, .
97 EF FNDP 40/479 0/5 Szymanski-PT-a12-ReachabilityFireability-12 6345502 t fired, 40403 attempts, .
107 EF EXCL 40/719 17/32 Szymanski-PT-a12-ReachabilityFireability-08 4334508 m, 103267 m/sec, 10297554 t fired, .
108 EF FNDP 40/564 0/5 Szymanski-PT-a12-ReachabilityFireability-14 7785266 t fired, 46440 attempts, .
Time elapsed: 41 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 45/474 0/5 Szymanski-PT-a12-ReachabilityFireability-02 4821937 t fired, 86136 attempts, .
97 EF FNDP 45/474 0/5 Szymanski-PT-a12-ReachabilityFireability-12 7497851 t fired, 48502 attempts, .
107 EF EXCL 45/719 19/32 Szymanski-PT-a12-ReachabilityFireability-08 4855372 m, 104172 m/sec, 11593143 t fired, .
108 EF FNDP 45/559 0/5 Szymanski-PT-a12-ReachabilityFireability-14 8277715 t fired, 49801 attempts, .
Time elapsed: 46 secs. Pages in use: 19
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 50/469 0/5 Szymanski-PT-a12-ReachabilityFireability-02 5320153 t fired, 94242 attempts, .
97 EF FNDP 50/469 0/5 Szymanski-PT-a12-ReachabilityFireability-12 8386654 t fired, 54827 attempts, .
107 EF EXCL 50/719 21/32 Szymanski-PT-a12-ReachabilityFireability-08 5383005 m, 105526 m/sec, 12880256 t fired, .
108 EF FNDP 50/554 0/5 Szymanski-PT-a12-ReachabilityFireability-14 8981684 t fired, 54594 attempts, .
Time elapsed: 51 secs. Pages in use: 21
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 55/464 0/5 Szymanski-PT-a12-ReachabilityFireability-02 6117131 t fired, 106960 attempts, .
97 EF FNDP 55/464 0/5 Szymanski-PT-a12-ReachabilityFireability-12 8979436 t fired, 59067 attempts, .
107 EF EXCL 55/719 23/32 Szymanski-PT-a12-ReachabilityFireability-08 5891436 m, 101686 m/sec, 14128980 t fired, .
108 EF FNDP 55/549 0/5 Szymanski-PT-a12-ReachabilityFireability-14 9640910 t fired, 59113 attempts, .
Time elapsed: 56 secs. Pages in use: 23
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 60/459 0/5 Szymanski-PT-a12-ReachabilityFireability-02 6839064 t fired, 118228 attempts, .
97 EF FNDP 60/459 0/5 Szymanski-PT-a12-ReachabilityFireability-12 9870158 t fired, 65304 attempts, .
107 EF EXCL 60/719 25/32 Szymanski-PT-a12-ReachabilityFireability-08 6408448 m, 103402 m/sec, 15411247 t fired, .
108 EF FNDP 60/544 0/5 Szymanski-PT-a12-ReachabilityFireability-14 10176295 t fired, 62739 attempts, .
Time elapsed: 61 secs. Pages in use: 25
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 65/454 0/5 Szymanski-PT-a12-ReachabilityFireability-02 7611864 t fired, 130018 attempts, .
97 EF FNDP 65/454 0/5 Szymanski-PT-a12-ReachabilityFireability-12 10719099 t fired, 71330 attempts, .
107 EF EXCL 65/719 26/32 Szymanski-PT-a12-ReachabilityFireability-08 6912953 m, 100901 m/sec, 16648833 t fired, .
108 EF FNDP 65/539 0/5 Szymanski-PT-a12-ReachabilityFireability-14 10928795 t fired, 67769 attempts, .
Time elapsed: 66 secs. Pages in use: 26
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 70/449 0/5 Szymanski-PT-a12-ReachabilityFireability-02 8404943 t fired, 141855 attempts, .
97 EF FNDP 70/449 0/5 Szymanski-PT-a12-ReachabilityFireability-12 11556327 t fired, 77261 attempts, .
107 EF EXCL 70/719 28/32 Szymanski-PT-a12-ReachabilityFireability-08 7438777 m, 105164 m/sec, 17947221 t fired, .
108 EF FNDP 70/534 0/5 Szymanski-PT-a12-ReachabilityFireability-14 11671251 t fired, 72752 attempts, .
Time elapsed: 71 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 75/444 0/5 Szymanski-PT-a12-ReachabilityFireability-02 9185117 t fired, 153280 attempts, .
97 EF FNDP 75/444 0/5 Szymanski-PT-a12-ReachabilityFireability-12 12368285 t fired, 83085 attempts, .
107 EF EXCL 75/719 30/32 Szymanski-PT-a12-ReachabilityFireability-08 7962231 m, 104690 m/sec, 19247478 t fired, .
108 EF FNDP 75/529 0/5 Szymanski-PT-a12-ReachabilityFireability-14 12392075 t fired, 77615 attempts, .
Time elapsed: 76 secs. Pages in use: 30
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 80/439 0/5 Szymanski-PT-a12-ReachabilityFireability-02 9970812 t fired, 164589 attempts, .
97 EF FNDP 80/439 0/5 Szymanski-PT-a12-ReachabilityFireability-12 13177964 t fired, 88823 attempts, .
107 EF EXCL 80/719 32/32 Szymanski-PT-a12-ReachabilityFireability-08 8483528 m, 104259 m/sec, 20535248 t fired, .
108 EF FNDP 80/524 0/5 Szymanski-PT-a12-ReachabilityFireability-14 13109743 t fired, 82399 attempts, .
Time elapsed: 81 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 107 (type EXCL) for Szymanski-PT-a12-ReachabilityFireability-08 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 85/434 0/5 Szymanski-PT-a12-ReachabilityFireability-02 10755217 t fired, 175697 attempts, .
97 EF FNDP 85/434 0/5 Szymanski-PT-a12-ReachabilityFireability-12 13979380 t fired, 94493 attempts, .
108 EF FNDP 85/519 0/5 Szymanski-PT-a12-ReachabilityFireability-14 13817988 t fired, 87200 attempts, .
Time elapsed: 86 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 91 (type EXCL) for 18 Szymanski-PT-a12-ReachabilityFireability-06
lola: time limit : 878 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 90/429 0/5 Szymanski-PT-a12-ReachabilityFireability-02 11551422 t fired, 186732 attempts, .
91 EF EXCL 5/878 2/32 Szymanski-PT-a12-ReachabilityFireability-06 415344 m, 83068 m/sec, 1422486 t fired, .
97 EF FNDP 90/429 0/5 Szymanski-PT-a12-ReachabilityFireability-12 14787296 t fired, 100177 attempts, .
108 EF FNDP 90/514 0/5 Szymanski-PT-a12-ReachabilityFireability-14 14580110 t fired, 92318 attempts, .
Time elapsed: 91 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 95/424 0/5 Szymanski-PT-a12-ReachabilityFireability-02 12331339 t fired, 197436 attempts, .
91 EF EXCL 10/878 3/32 Szymanski-PT-a12-ReachabilityFireability-06 809981 m, 78927 m/sec, 2871241 t fired, .
97 EF FNDP 95/424 0/5 Szymanski-PT-a12-ReachabilityFireability-12 15586307 t fired, 105847 attempts, .
108 EF FNDP 95/509 0/5 Szymanski-PT-a12-ReachabilityFireability-14 15319381 t fired, 97359 attempts, .
Time elapsed: 96 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 100/419 0/5 Szymanski-PT-a12-ReachabilityFireability-02 13111683 t fired, 208020 attempts, .
91 EF EXCL 15/878 5/32 Szymanski-PT-a12-ReachabilityFireability-06 1195303 m, 77064 m/sec, 4315239 t fired, .
97 EF FNDP 100/419 0/5 Szymanski-PT-a12-ReachabilityFireability-12 16416580 t fired, 111698 attempts, .
108 EF FNDP 100/504 0/5 Szymanski-PT-a12-ReachabilityFireability-14 16024141 t fired, 102062 attempts, .
Time elapsed: 101 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 105/414 0/5 Szymanski-PT-a12-ReachabilityFireability-02 13880438 t fired, 218295 attempts, .
91 EF EXCL 20/878 6/32 Szymanski-PT-a12-ReachabilityFireability-06 1578052 m, 76549 m/sec, 5771346 t fired, .
97 EF FNDP 105/414 0/5 Szymanski-PT-a12-ReachabilityFireability-12 17199925 t fired, 117277 attempts, .
108 EF FNDP 105/499 0/5 Szymanski-PT-a12-ReachabilityFireability-14 16752443 t fired, 106924 attempts, .
Time elapsed: 106 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 110/409 0/5 Szymanski-PT-a12-ReachabilityFireability-02 14650336 t fired, 228575 attempts, .
91 EF EXCL 25/878 8/32 Szymanski-PT-a12-ReachabilityFireability-06 1957887 m, 75967 m/sec, 7217674 t fired, .
97 EF FNDP 110/409 0/5 Szymanski-PT-a12-ReachabilityFireability-12 17980884 t fired, 122778 attempts, .
108 EF FNDP 110/494 0/5 Szymanski-PT-a12-ReachabilityFireability-14 17483992 t fired, 111834 attempts, .
Time elapsed: 111 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 115/404 0/5 Szymanski-PT-a12-ReachabilityFireability-02 15408327 t fired, 238591 attempts, .
91 EF EXCL 30/878 9/32 Szymanski-PT-a12-ReachabilityFireability-06 2333371 m, 75096 m/sec, 8667298 t fired, .
97 EF FNDP 115/404 0/5 Szymanski-PT-a12-ReachabilityFireability-12 18749065 t fired, 128187 attempts, .
108 EF FNDP 115/489 0/5 Szymanski-PT-a12-ReachabilityFireability-14 18195749 t fired, 116610 attempts, .
Time elapsed: 116 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 120/399 0/5 Szymanski-PT-a12-ReachabilityFireability-02 16161403 t fired, 248484 attempts, .
91 EF EXCL 35/878 10/32 Szymanski-PT-a12-ReachabilityFireability-06 2709154 m, 75156 m/sec, 10116097 t fired, .
97 EF FNDP 120/399 0/5 Szymanski-PT-a12-ReachabilityFireability-12 19522758 t fired, 133632 attempts, .
108 EF FNDP 120/484 0/5 Szymanski-PT-a12-ReachabilityFireability-14 18903597 t fired, 121371 attempts, .
Time elapsed: 121 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 125/394 0/5 Szymanski-PT-a12-ReachabilityFireability-02 16917645 t fired, 258359 attempts, .
91 EF EXCL 40/878 12/32 Szymanski-PT-a12-ReachabilityFireability-06 3083543 m, 74877 m/sec, 11566384 t fired, .
97 EF FNDP 125/394 0/5 Szymanski-PT-a12-ReachabilityFireability-12 20296290 t fired, 139043 attempts, .
108 EF FNDP 125/479 0/5 Szymanski-PT-a12-ReachabilityFireability-14 19615625 t fired, 126057 attempts, .
Time elapsed: 126 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 130/389 0/5 Szymanski-PT-a12-ReachabilityFireability-02 17645723 t fired, 267801 attempts, .
91 EF EXCL 45/878 13/32 Szymanski-PT-a12-ReachabilityFireability-06 3459329 m, 75157 m/sec, 13026689 t fired, .
97 EF FNDP 130/389 0/5 Szymanski-PT-a12-ReachabilityFireability-12 21063849 t fired, 144469 attempts, .
108 EF FNDP 130/474 0/5 Szymanski-PT-a12-ReachabilityFireability-14 20291086 t fired, 130625 attempts, .
Time elapsed: 131 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 135/384 0/5 Szymanski-PT-a12-ReachabilityFireability-02 18367015 t fired, 277067 attempts, .
91 EF EXCL 50/878 15/32 Szymanski-PT-a12-ReachabilityFireability-06 3837153 m, 75564 m/sec, 14495741 t fired, .
97 EF FNDP 135/384 0/5 Szymanski-PT-a12-ReachabilityFireability-12 21828552 t fired, 149859 attempts, .
108 EF FNDP 135/469 0/5 Szymanski-PT-a12-ReachabilityFireability-14 20959387 t fired, 135136 attempts, .
Time elapsed: 136 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 140/379 0/5 Szymanski-PT-a12-ReachabilityFireability-02 19092826 t fired, 286390 attempts, .
91 EF EXCL 55/878 16/32 Szymanski-PT-a12-ReachabilityFireability-06 4213392 m, 75247 m/sec, 15965590 t fired, .
97 EF FNDP 140/379 0/5 Szymanski-PT-a12-ReachabilityFireability-12 22593517 t fired, 155189 attempts, .
108 EF FNDP 140/464 0/5 Szymanski-PT-a12-ReachabilityFireability-14 21632355 t fired, 139630 attempts, .
Time elapsed: 141 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 145/374 0/5 Szymanski-PT-a12-ReachabilityFireability-02 19816455 t fired, 295664 attempts, .
91 EF EXCL 60/878 17/32 Szymanski-PT-a12-ReachabilityFireability-06 4589690 m, 75259 m/sec, 17441399 t fired, .
97 EF FNDP 145/374 0/5 Szymanski-PT-a12-ReachabilityFireability-12 23351439 t fired, 160512 attempts, .
108 EF FNDP 145/459 0/5 Szymanski-PT-a12-ReachabilityFireability-14 22300067 t fired, 144077 attempts, .
Time elapsed: 146 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 150/369 0/5 Szymanski-PT-a12-ReachabilityFireability-02 20568377 t fired, 305231 attempts, .
91 EF EXCL 65/878 19/32 Szymanski-PT-a12-ReachabilityFireability-06 4955567 m, 73175 m/sec, 18879737 t fired, .
97 EF FNDP 150/369 0/5 Szymanski-PT-a12-ReachabilityFireability-12 24101791 t fired, 165801 attempts, .
108 EF FNDP 150/454 0/5 Szymanski-PT-a12-ReachabilityFireability-14 23005412 t fired, 148776 attempts, .
Time elapsed: 151 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 155/364 0/5 Szymanski-PT-a12-ReachabilityFireability-02 21315999 t fired, 314634 attempts, .
91 EF EXCL 70/878 20/32 Szymanski-PT-a12-ReachabilityFireability-06 5324276 m, 73741 m/sec, 20321767 t fired, .
97 EF FNDP 155/364 0/5 Szymanski-PT-a12-ReachabilityFireability-12 24863363 t fired, 171119 attempts, .
108 EF FNDP 155/449 0/5 Szymanski-PT-a12-ReachabilityFireability-14 23701279 t fired, 153424 attempts, .
Time elapsed: 156 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 160/359 0/5 Szymanski-PT-a12-ReachabilityFireability-02 21919441 t fired, 322240 attempts, .
91 EF EXCL 75/878 21/32 Szymanski-PT-a12-ReachabilityFireability-06 5654367 m, 66018 m/sec, 21616547 t fired, .
97 EF FNDP 160/359 0/5 Szymanski-PT-a12-ReachabilityFireability-12 25618270 t fired, 176380 attempts, .
108 EF FNDP 160/444 0/5 Szymanski-PT-a12-ReachabilityFireability-14 24388004 t fired, 157984 attempts, .
Time elapsed: 161 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 165/354 0/5 Szymanski-PT-a12-ReachabilityFireability-02 22643359 t fired, 331338 attempts, .
91 EF EXCL 80/878 23/32 Szymanski-PT-a12-ReachabilityFireability-06 6034946 m, 76115 m/sec, 23117124 t fired, .
97 EF FNDP 165/354 0/5 Szymanski-PT-a12-ReachabilityFireability-12 26366116 t fired, 181621 attempts, .
108 EF FNDP 165/439 0/5 Szymanski-PT-a12-ReachabilityFireability-14 25057598 t fired, 162444 attempts, .
Time elapsed: 166 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 170/349 0/5 Szymanski-PT-a12-ReachabilityFireability-02 23379275 t fired, 340559 attempts, .
91 EF EXCL 85/878 24/32 Szymanski-PT-a12-ReachabilityFireability-06 6418736 m, 76758 m/sec, 24633850 t fired, .
97 EF FNDP 170/349 0/5 Szymanski-PT-a12-ReachabilityFireability-12 27122474 t fired, 186891 attempts, .
108 EF FNDP 170/434 0/5 Szymanski-PT-a12-ReachabilityFireability-14 25733320 t fired, 166945 attempts, .
Time elapsed: 171 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 175/344 0/5 Szymanski-PT-a12-ReachabilityFireability-02 24116597 t fired, 349771 attempts, .
91 EF EXCL 90/878 26/32 Szymanski-PT-a12-ReachabilityFireability-06 6803576 m, 76968 m/sec, 26150276 t fired, .
97 EF FNDP 175/344 0/5 Szymanski-PT-a12-ReachabilityFireability-12 27878652 t fired, 192165 attempts, .
108 EF FNDP 175/429 0/5 Szymanski-PT-a12-ReachabilityFireability-14 26408472 t fired, 171461 attempts, .
Time elapsed: 176 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 180/339 0/5 Szymanski-PT-a12-ReachabilityFireability-02 24853594 t fired, 358960 attempts, .
91 EF EXCL 95/878 27/32 Szymanski-PT-a12-ReachabilityFireability-06 7187655 m, 76815 m/sec, 27667886 t fired, .
97 EF FNDP 180/339 0/5 Szymanski-PT-a12-ReachabilityFireability-12 28633454 t fired, 197416 attempts, .
108 EF FNDP 180/424 0/5 Szymanski-PT-a12-ReachabilityFireability-14 27084996 t fired, 175984 attempts, .
Time elapsed: 181 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 185/334 0/5 Szymanski-PT-a12-ReachabilityFireability-02 25570562 t fired, 367879 attempts, .
91 EF EXCL 100/878 28/32 Szymanski-PT-a12-ReachabilityFireability-06 7566823 m, 75833 m/sec, 29169787 t fired, .
97 EF FNDP 185/334 0/5 Szymanski-PT-a12-ReachabilityFireability-12 29381650 t fired, 202619 attempts, .
108 EF FNDP 185/419 0/5 Szymanski-PT-a12-ReachabilityFireability-14 27753610 t fired, 180384 attempts, .
Time elapsed: 186 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 190/329 0/5 Szymanski-PT-a12-ReachabilityFireability-02 26297107 t fired, 376862 attempts, .
91 EF EXCL 105/878 30/32 Szymanski-PT-a12-ReachabilityFireability-06 7949671 m, 76569 m/sec, 30692637 t fired, .
97 EF FNDP 190/329 0/5 Szymanski-PT-a12-ReachabilityFireability-12 30128035 t fired, 207807 attempts, .
108 EF FNDP 190/414 0/5 Szymanski-PT-a12-ReachabilityFireability-14 28422019 t fired, 184852 attempts, .
Time elapsed: 191 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 195/324 0/5 Szymanski-PT-a12-ReachabilityFireability-02 27032421 t fired, 385975 attempts, .
91 EF EXCL 110/878 31/32 Szymanski-PT-a12-ReachabilityFireability-06 8340115 m, 78088 m/sec, 32239208 t fired, .
97 EF FNDP 195/324 0/5 Szymanski-PT-a12-ReachabilityFireability-12 30855274 t fired, 212865 attempts, .
108 EF FNDP 195/409 0/5 Szymanski-PT-a12-ReachabilityFireability-14 29070742 t fired, 189212 attempts, .
Time elapsed: 196 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 91 (type EXCL) for Szymanski-PT-a12-ReachabilityFireability-06 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 200/319 0/5 Szymanski-PT-a12-ReachabilityFireability-02 27759135 t fired, 394974 attempts, .
97 EF FNDP 200/319 0/5 Szymanski-PT-a12-ReachabilityFireability-12 31569461 t fired, 217862 attempts, .
108 EF FNDP 200/404 0/5 Szymanski-PT-a12-ReachabilityFireability-14 29708229 t fired, 193477 attempts, .
Time elapsed: 201 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 71 (type EXCL) for 6 Szymanski-PT-a12-ReachabilityFireability-02
lola: time limit : 1133 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 3 2 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 205/314 0/5 Szymanski-PT-a12-ReachabilityFireability-02 28505992 t fired, 404147 attempts, .
71 EF EXCL 5/1133 2/32 Szymanski-PT-a12-ReachabilityFireability-02 426060 m, 85212 m/sec, 1461831 t fired, .
97 EF FNDP 205/314 0/5 Szymanski-PT-a12-ReachabilityFireability-12 32297319 t fired, 222872 attempts, .
108 EF FNDP 205/399 0/5 Szymanski-PT-a12-ReachabilityFireability-14 30358058 t fired, 197753 attempts, .
Time elapsed: 206 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 3 2 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 210/309 0/5 Szymanski-PT-a12-ReachabilityFireability-02 29266846 t fired, 413537 attempts, .
71 EF EXCL 10/1133 4/32 Szymanski-PT-a12-ReachabilityFireability-02 835957 m, 81979 m/sec, 2968219 t fired, .
97 EF FNDP 210/309 0/5 Szymanski-PT-a12-ReachabilityFireability-12 33032408 t fired, 227979 attempts, .
108 EF FNDP 210/394 0/5 Szymanski-PT-a12-ReachabilityFireability-14 31011010 t fired, 202096 attempts, .
Time elapsed: 211 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 3 2 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 215/304 0/5 Szymanski-PT-a12-ReachabilityFireability-02 30008197 t fired, 422616 attempts, .
71 EF EXCL 15/1133 5/32 Szymanski-PT-a12-ReachabilityFireability-02 1232247 m, 79258 m/sec, 4455596 t fired, .
97 EF FNDP 215/304 0/5 Szymanski-PT-a12-ReachabilityFireability-12 33773700 t fired, 233153 attempts, .
108 EF FNDP 215/389 0/5 Szymanski-PT-a12-ReachabilityFireability-14 31673235 t fired, 206414 attempts, .
Time elapsed: 216 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 3 2 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 220/299 0/5 Szymanski-PT-a12-ReachabilityFireability-02 30728743 t fired, 431445 attempts, .
71 EF EXCL 20/1133 6/32 Szymanski-PT-a12-ReachabilityFireability-02 1615330 m, 76616 m/sec, 5911396 t fired, .
97 EF FNDP 220/299 0/5 Szymanski-PT-a12-ReachabilityFireability-12 34511361 t fired, 238223 attempts, .
108 EF FNDP 220/384 0/5 Szymanski-PT-a12-ReachabilityFireability-14 32331672 t fired, 210761 attempts, .
Time elapsed: 221 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 3 2 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 225/294 0/5 Szymanski-PT-a12-ReachabilityFireability-02 31447785 t fired, 440300 attempts, .
71 EF EXCL 25/1133 8/32 Szymanski-PT-a12-ReachabilityFireability-02 1993571 m, 75648 m/sec, 7356315 t fired, .
97 EF FNDP 225/294 0/5 Szymanski-PT-a12-ReachabilityFireability-12 35251391 t fired, 243365 attempts, .
108 EF FNDP 225/379 0/5 Szymanski-PT-a12-ReachabilityFireability-14 32994283 t fired, 215148 attempts, .
Time elapsed: 226 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 3 2 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 230/289 0/5 Szymanski-PT-a12-ReachabilityFireability-02 32157347 t fired, 449020 attempts, .
71 EF EXCL 30/1133 9/32 Szymanski-PT-a12-ReachabilityFireability-02 2367893 m, 74864 m/sec, 8800905 t fired, .
97 EF FNDP 230/289 0/5 Szymanski-PT-a12-ReachabilityFireability-12 35987664 t fired, 248477 attempts, .
108 EF FNDP 230/374 0/5 Szymanski-PT-a12-ReachabilityFireability-14 33646658 t fired, 219509 attempts, .
Time elapsed: 231 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 3 2 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 235/284 0/5 Szymanski-PT-a12-ReachabilityFireability-02 32870753 t fired, 457714 attempts, .
71 EF EXCL 35/1133 11/32 Szymanski-PT-a12-ReachabilityFireability-02 2741643 m, 74750 m/sec, 10241830 t fired, .
97 EF FNDP 235/284 0/5 Szymanski-PT-a12-ReachabilityFireability-12 36724288 t fired, 253599 attempts, .
108 EF FNDP 235/369 0/5 Szymanski-PT-a12-ReachabilityFireability-14 34300766 t fired, 223826 attempts, .
Time elapsed: 236 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 3 2 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 240/279 0/5 Szymanski-PT-a12-ReachabilityFireability-02 33581909 t fired, 466372 attempts, .
71 EF EXCL 40/1133 12/32 Szymanski-PT-a12-ReachabilityFireability-02 3114617 m, 74594 m/sec, 11687138 t fired, .
97 EF FNDP 240/279 0/5 Szymanski-PT-a12-ReachabilityFireability-12 37459898 t fired, 258719 attempts, .
108 EF FNDP 240/364 0/5 Szymanski-PT-a12-ReachabilityFireability-14 34954254 t fired, 228213 attempts, .
Time elapsed: 241 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 3 2 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 245/274 0/5 Szymanski-PT-a12-ReachabilityFireability-02 34326323 t fired, 475451 attempts, .
71 EF EXCL 45/1133 13/32 Szymanski-PT-a12-ReachabilityFireability-02 3482870 m, 73650 m/sec, 13117597 t fired, .
97 EF FNDP 245/274 0/5 Szymanski-PT-a12-ReachabilityFireability-12 38211613 t fired, 263919 attempts, .
108 EF FNDP 245/359 0/5 Szymanski-PT-a12-ReachabilityFireability-14 35648158 t fired, 232895 attempts, .
Time elapsed: 246 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 3 2 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 250/269 0/5 Szymanski-PT-a12-ReachabilityFireability-02 35079469 t fired, 484701 attempts, .
71 EF EXCL 50/1133 15/32 Szymanski-PT-a12-ReachabilityFireability-02 3849252 m, 73276 m/sec, 14542753 t fired, .
97 EF FNDP 250/269 0/5 Szymanski-PT-a12-ReachabilityFireability-12 38966098 t fired, 269092 attempts, .
108 EF FNDP 250/354 0/5 Szymanski-PT-a12-ReachabilityFireability-14 36357774 t fired, 237565 attempts, .
Time elapsed: 251 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 3 2 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 255/264 0/5 Szymanski-PT-a12-ReachabilityFireability-02 35840444 t fired, 493997 attempts, .
71 EF EXCL 55/1133 16/32 Szymanski-PT-a12-ReachabilityFireability-02 4215034 m, 73156 m/sec, 15971793 t fired, .
97 EF FNDP 255/264 0/5 Szymanski-PT-a12-ReachabilityFireability-12 39718384 t fired, 274321 attempts, .
108 EF FNDP 255/349 0/5 Szymanski-PT-a12-ReachabilityFireability-14 37070484 t fired, 242297 attempts, .
Time elapsed: 256 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 48 (type FNDP) for Szymanski-PT-a12-ReachabilityFireability-02 (local timeout)
lola: CANCELED task # 97 (type FNDP) for Szymanski-PT-a12-ReachabilityFireability-12 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 3 1 0 1 1 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-12: AG 0 4 0 0 1 1 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
71 EF EXCL 60/1133 17/32 Szymanski-PT-a12-ReachabilityFireability-02 4578610 m, 72715 m/sec, 17398942 t fired, .
108 EF FNDP 260/344 0/5 Szymanski-PT-a12-ReachabilityFireability-14 37781452 t fired, 247042 attempts, .
Time elapsed: 261 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 99 (type EQUN) for 36 Szymanski-PT-a12-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: LAUNCH task # 104 (type SRCH) for 36 Szymanski-PT-a12-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 48 (type FNDP) for Szymanski-PT-a12-ReachabilityFireability-02
lola: result : unknown
lola: fired transitions : 36597718
lola: tried executions : 503177
lola: time used : 260.000000
lola: memory pages used : 0
lola: FINISHED task # 97 (type FNDP) for Szymanski-PT-a12-ReachabilityFireability-12
lola: result : unknown
lola: fired transitions : 40466219
lola: tried executions : 279509
lola: time used : 260.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-99.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 99 (type EQUN) for Szymanski-PT-a12-ReachabilityFireability-12
lola: result : false
lola: CANCELED task # 104 (type SRCH) for Szymanski-PT-a12-ReachabilityFireability-12 (obsolete)
lola: LAUNCH task # 87 (type FNDP) for 18 Szymanski-PT-a12-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 88 (type EQUN) for 18 Szymanski-PT-a12-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-88.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-12: AG true state equation
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 3 1 0 2 0 0 0
Szymanski-PT-a12-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
71 EF EXCL 65/1699 19/32 Szymanski-PT-a12-ReachabilityFireability-02 4907870 m, 65852 m/sec, 18692135 t fired, .
87 EF FNDP 2/667 0/5 Szymanski-PT-a12-ReachabilityFireability-06 435248 t fired, 2485 attempts, .
88 EF STEQ 2/667 0/5 Szymanski-PT-a12-ReachabilityFireability-06 sara is running.
108 EF FNDP 265/456 0/5 Szymanski-PT-a12-ReachabilityFireability-14 38793922 t fired, 253762 attempts, .
Time elapsed: 266 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 87 (type FNDP) for Szymanski-PT-a12-ReachabilityFireability-06
lola: result : true
lola: fired transitions : 1389042
lola: tried executions : 8390
lola: time used : 5.000000
lola: memory pages used : 0
lola: CANCELED task # 88 (type EQUN) for Szymanski-PT-a12-ReachabilityFireability-06 (obsolete)
lola: LAUNCH task # 93 (type FNDP) for 24 Szymanski-PT-a12-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 95 (type EQUN) for 24 Szymanski-PT-a12-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 88 (type EQUN) for Szymanski-PT-a12-ReachabilityFireability-06
lola: result : unknown
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-95.sara.
sara: place or transition ordering is non-deterministic
sara: warning, failure of lp_solve (at job 703)
lola: FINISHED task # 93 (type FNDP) for Szymanski-PT-a12-ReachabilityFireability-08
lola: result : true
lola: fired transitions : 395414
lola: tried executions : 1670
lola: time used : 2.000000
lola: memory pages used : 0
lola: CANCELED task # 95 (type EQUN) for Szymanski-PT-a12-ReachabilityFireability-08 (obsolete)
lola: LAUNCH task # 110 (type EQUN) for 42 Szymanski-PT-a12-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 116 (type SRCH) for 42 Szymanski-PT-a12-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 95 (type EQUN) for Szymanski-PT-a12-ReachabilityFireability-08
lola: result : unknown
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-06: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-08: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-12: AG true state equation
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 3 1 0 2 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
71 EF EXCL 70/1699 20/32 Szymanski-PT-a12-ReachabilityFireability-02 5263782 m, 71182 m/sec, 20083945 t fired, .
108 EF FNDP 270/1529 0/5 Szymanski-PT-a12-ReachabilityFireability-14 39657403 t fired, 259553 attempts, .
110 EF STEQ 0/1664 0/5 Szymanski-PT-a12-ReachabilityFireability-14 sara not yet started (preprocessing).
116 EF SRCH 0/1109 1/5 Szymanski-PT-a12-ReachabilityFireability-14 15303 m, 3060 m/sec, 20812 t fired, .
Time elapsed: 271 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-110.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-06: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-08: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-12: AG true state equation
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 3 1 0 2 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
71 EF EXCL 75/1699 21/32 Szymanski-PT-a12-ReachabilityFireability-02 5612420 m, 69727 m/sec, 21450258 t fired, .
108 EF FNDP 275/1529 0/5 Szymanski-PT-a12-ReachabilityFireability-14 40671288 t fired, 266282 attempts, .
110 EF STEQ 5/1664 0/5 Szymanski-PT-a12-ReachabilityFireability-14 sara is running.
116 EF SRCH 5/1109 4/5 Szymanski-PT-a12-ReachabilityFireability-14 1122889 m, 221517 m/sec, 2136461 t fired, .
Time elapsed: 276 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 116 (type SRCH) for Szymanski-PT-a12-ReachabilityFireability-14 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-06: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-08: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-12: AG true state equation
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-02: EF 0 3 1 0 2 0 0 0
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
71 EF EXCL 80/1699 22/32 Szymanski-PT-a12-ReachabilityFireability-02 5971262 m, 71768 m/sec, 22868805 t fired, .
108 EF FNDP 280/1524 0/5 Szymanski-PT-a12-ReachabilityFireability-14 41699590 t fired, 273031 attempts, .
110 EF STEQ 10/1659 0/5 Szymanski-PT-a12-ReachabilityFireability-14 sara is running.
Time elapsed: 281 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 49 (type EQUN) for 6 Szymanski-PT-a12-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-49.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 49 (type EQUN) for Szymanski-PT-a12-ReachabilityFireability-02
lola: result : false
lola: CANCELED task # 71 (type EXCL) for Szymanski-PT-a12-ReachabilityFireability-02 (obsolete)
lola: LAUNCH task # 117 (type EXCL) for 42 Szymanski-PT-a12-ReachabilityFireability-14
lola: time limit : 3319 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 119 (type SRCH) for 42 Szymanski-PT-a12-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 119 (type SRCH) for Szymanski-PT-a12-ReachabilityFireability-14
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-02: EF false state equation
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-06: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-08: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-12: AG true state equation
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Szymanski-PT-a12-ReachabilityFireability-14: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
108 EF FNDP 285/3599 0/5 Szymanski-PT-a12-ReachabilityFireability-14 42727348 t fired, 279784 attempts, .
110 EF STEQ 15/3329 0/5 Szymanski-PT-a12-ReachabilityFireability-14 sara is running.
117 EF EXCL 5/3319 2/32 Szymanski-PT-a12-ReachabilityFireability-14 340126 m, 68025 m/sec, 1150986 t fired, .
Time elapsed: 286 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
lola: FINISHED task # 110 (type EQUN) for Szymanski-PT-a12-ReachabilityFireability-14
lola: result : false
lola: CANCELED task # 108 (type FNDP) for Szymanski-PT-a12-ReachabilityFireability-14 (obsolete)
lola: CANCELED task # 117 (type EXCL) for Szymanski-PT-a12-ReachabilityFireability-14 (obsolete)
lola: Portfolio finished: no open formulas
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Szymanski-PT-a12-ReachabilityFireability-00: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-01: EF true tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-02: EF false state equation
Szymanski-PT-a12-ReachabilityFireability-03: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-04: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-05: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-06: AG false findpath
Szymanski-PT-a12-ReachabilityFireability-07: INITIAL true preprocessing
Szymanski-PT-a12-ReachabilityFireability-08: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-09: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-10: EF true findpath
Szymanski-PT-a12-ReachabilityFireability-11: AG false tandem / relaxed
Szymanski-PT-a12-ReachabilityFireability-12: AG true state equation
Szymanski-PT-a12-ReachabilityFireability-13: INITIAL false preprocessing
Szymanski-PT-a12-ReachabilityFireability-14: AG true state equation
Szymanski-PT-a12-ReachabilityFireability-15: EF true tandem / relaxed
Time elapsed: 290 secs. Pages in use: 32
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="Szymanski-PT-a12"
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 Szymanski-PT-a12, 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 r486-tall-167912701200447"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Szymanski-PT-a12.tgz
mv Szymanski-PT-a12 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 '
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 ;