MCC'2024- Execution of r401-tall-171690535300831

About the Execution of LoLA for Szymanski-PT-a06

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
2297.508	254297.00	998146.00	22.60	FFTFTTFFFTTFTTFT	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r401-tall-171690535300831.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is Szymanski-PT-a06, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r401-tall-171690535300831
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 564K
-rw-r--r-- 1 mcc users 8.0K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 23 08:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 23 08:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 19 07:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 19 19:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Apr 11 15:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 113K Apr 11 15:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Apr 11 15:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Apr 11 15:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 23 08:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 23 08:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 4 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 101K May 18 16:43 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-a06-ReachabilityFireability-2024-00
FORMULA_NAME Szymanski-PT-a06-ReachabilityFireability-2024-01
FORMULA_NAME Szymanski-PT-a06-ReachabilityFireability-2024-02
FORMULA_NAME Szymanski-PT-a06-ReachabilityFireability-2024-03
FORMULA_NAME Szymanski-PT-a06-ReachabilityFireability-2024-04
FORMULA_NAME Szymanski-PT-a06-ReachabilityFireability-2024-05
FORMULA_NAME Szymanski-PT-a06-ReachabilityFireability-2024-06
FORMULA_NAME Szymanski-PT-a06-ReachabilityFireability-2024-07
FORMULA_NAME Szymanski-PT-a06-ReachabilityFireability-2024-08
FORMULA_NAME Szymanski-PT-a06-ReachabilityFireability-2024-09
FORMULA_NAME Szymanski-PT-a06-ReachabilityFireability-2024-10
FORMULA_NAME Szymanski-PT-a06-ReachabilityFireability-2024-11
FORMULA_NAME Szymanski-PT-a06-ReachabilityFireability-2024-12
FORMULA_NAME Szymanski-PT-a06-ReachabilityFireability-2024-13
FORMULA_NAME Szymanski-PT-a06-ReachabilityFireability-2024-14
FORMULA_NAME Szymanski-PT-a06-ReachabilityFireability-2024-15

=== Now, execution of the tool begins

BK_START 1717179626245

FORMULA Szymanski-PT-a06-ReachabilityFireability-2024-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a06-ReachabilityFireability-2024-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a06-ReachabilityFireability-2024-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a06-ReachabilityFireability-2024-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a06-ReachabilityFireability-2024-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a06-ReachabilityFireability-2024-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a06-ReachabilityFireability-2024-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a06-ReachabilityFireability-2024-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a06-ReachabilityFireability-2024-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a06-ReachabilityFireability-2024-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a06-ReachabilityFireability-2024-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a06-ReachabilityFireability-2024-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a06-ReachabilityFireability-2024-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a06-ReachabilityFireability-2024-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a06-ReachabilityFireability-2024-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Szymanski-PT-a06-ReachabilityFireability-2024-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
[[35mlola[0m] [1mFINAL RESULTS[0m
[[35mlola[0m] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-00: AG false findpath[0m
[[35mlola[0m] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-01: EF false state equation[0m
[[35mlola[0m] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-04: EF true findpath[0m
[[35mlola[0m] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-09: AG true state equation[0m
[[35mlola[0m] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-10: AG true state equation[0m
[[35mlola[0m] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-13: AG true state equation[0m
[[35mlola[0m] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m]
[[35mlola[0m] Time elapsed: 254 secs. Pages in use: 81

BK_STOP 1717179880542

--------------------
content from stderr:

[[35mlola[0m][I] LoLA will run for 3600 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading formula.
[[35mlola[0m][I] Using XML format ([1m[36m--xmlformula[0m)
[[35mlola[0m][I] reading XML formula
[[35mlola[0m][I] reading [1m[34mformula[0m from [4m[34mReachabilityFireability.xml[0m
[[35mlola[0m][I] Rule S: 8 transitions removed,12 places removed
[[35mlola[0m][I] LAUNCH task # 34 (type CNST) for 33 Szymanski-PT-a06-ReachabilityFireability-2024-11
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 34 (type CNST) for Szymanski-PT-a06-ReachabilityFireability-2024-11
[[35mlola[0m][I] result : false
[[35mlola[0m][I] LAUNCH task # 57 (type EXCL) for 6 Szymanski-PT-a06-ReachabilityFireability-2024-02
[[35mlola[0m][I] time limit : 200 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 49 (type FNDP) for 15 Szymanski-PT-a06-ReachabilityFireability-2024-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 51 (type EQUN) for 15 Szymanski-PT-a06-ReachabilityFireability-2024-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 53 (type FNDP) for 6 Szymanski-PT-a06-ReachabilityFireability-2024-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 57 (type EXCL) for Szymanski-PT-a06-ReachabilityFireability-2024-02
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 20
[[35mlola[0m][I] fired transitions : 19
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 53 (type FNDP) for Szymanski-PT-a06-ReachabilityFireability-2024-02 (obsolete)
[[35mlola[0m][I] LAUNCH task # 61 (type EXCL) for 3 Szymanski-PT-a06-ReachabilityFireability-2024-01
[[35mlola[0m][I] time limit : 225 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 59 (type FNDP) for 3 Szymanski-PT-a06-ReachabilityFireability-2024-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 19 (type CNST) for 18 Szymanski-PT-a06-ReachabilityFireability-2024-06
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 19 (type CNST) for Szymanski-PT-a06-ReachabilityFireability-2024-06
[[35mlola[0m][I] result : false
[[35mlola[0m][I] LAUNCH task # 22 (type CNST) for 21 Szymanski-PT-a06-ReachabilityFireability-2024-07
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 22 (type CNST) for Szymanski-PT-a06-ReachabilityFireability-2024-07
[[35mlola[0m][I] result : false
[[35mlola[0m][I] FINISHED task # 53 (type FNDP) for Szymanski-PT-a06-ReachabilityFireability-2024-02
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 5/450 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 11303 attempts, .
[[35mlola[0m][.] 51 EF STEQ 5/450 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 5/450 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 13145 attempts, .
[[35mlola[0m][.] 61 EF EXCL 5/300 4/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 993413 m, 198682 m/sec, 2184099 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 5 secs. Pages in use: 4
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 10/445 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 20933 attempts, .
[[35mlola[0m][.] 51 EF STEQ 10/445 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 10/445 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 25816 attempts, .
[[35mlola[0m][.] 61 EF EXCL 10/300 6/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 1735458 m, 148409 m/sec, 4039388 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 10 secs. Pages in use: 6
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 15/440 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 31984 attempts, .
[[35mlola[0m][.] 51 EF STEQ 15/440 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 15/440 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 38148 attempts, .
[[35mlola[0m][.] 61 EF EXCL 15/300 10/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 2648425 m, 182593 m/sec, 6340782 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 15 secs. Pages in use: 10
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 20/435 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 42856 attempts, .
[[35mlola[0m][.] 51 EF STEQ 20/435 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 20/435 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 49992 attempts, .
[[35mlola[0m][.] 61 EF EXCL 20/300 13/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 3541176 m, 178550 m/sec, 8620118 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 20 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 25/430 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 53503 attempts, .
[[35mlola[0m][.] 51 EF STEQ 25/430 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 25/430 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 61583 attempts, .
[[35mlola[0m][.] 61 EF EXCL 25/300 16/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 4412731 m, 174311 m/sec, 10840636 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 25 secs. Pages in use: 16
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 30/425 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 63889 attempts, .
[[35mlola[0m][.] 51 EF STEQ 30/425 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 30/425 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 73010 attempts, .
[[35mlola[0m][.] 61 EF EXCL 30/300 18/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 5260705 m, 169594 m/sec, 12964435 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 30 secs. Pages in use: 18
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 35/420 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 73930 attempts, .
[[35mlola[0m][.] 51 EF STEQ 35/420 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 35/420 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 84277 attempts, .
[[35mlola[0m][.] 61 EF EXCL 35/300 21/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 6045679 m, 156994 m/sec, 14922353 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 35 secs. Pages in use: 21
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 40/415 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 79064 attempts, .
[[35mlola[0m][.] 51 EF STEQ 40/415 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 40/415 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 95971 attempts, .
[[35mlola[0m][.] 61 EF EXCL 40/300 22/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 6399822 m, 70828 m/sec, 15818543 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 40 secs. Pages in use: 22
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 45/410 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 84116 attempts, .
[[35mlola[0m][.] 51 EF STEQ 45/410 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 45/410 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 108017 attempts, .
[[35mlola[0m][.] 61 EF EXCL 45/300 24/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 6779713 m, 75978 m/sec, 16777995 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 45 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 50/405 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 89187 attempts, .
[[35mlola[0m][.] 51 EF STEQ 50/405 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 50/405 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 119768 attempts, .
[[35mlola[0m][.] 61 EF EXCL 50/300 25/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 7160804 m, 76218 m/sec, 17734687 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 50 secs. Pages in use: 25
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 55/400 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 94199 attempts, .
[[35mlola[0m][.] 51 EF STEQ 55/400 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 55/400 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 131330 attempts, .
[[35mlola[0m][.] 61 EF EXCL 55/300 26/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 7531012 m, 74041 m/sec, 18673492 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 55 secs. Pages in use: 26
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 60/395 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 99102 attempts, .
[[35mlola[0m][.] 51 EF STEQ 60/395 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 60/395 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 142876 attempts, .
[[35mlola[0m][.] 61 EF EXCL 60/300 27/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 7901136 m, 74024 m/sec, 19612804 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 60 secs. Pages in use: 27
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 65/390 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 103967 attempts, .
[[35mlola[0m][.] 51 EF STEQ 65/390 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 65/390 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 154558 attempts, .
[[35mlola[0m][.] 61 EF EXCL 65/300 29/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 8268085 m, 73389 m/sec, 20542324 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 65 secs. Pages in use: 29
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 70/385 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 108872 attempts, .
[[35mlola[0m][.] 51 EF STEQ 70/385 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 70/385 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 165871 attempts, .
[[35mlola[0m][.] 61 EF EXCL 70/300 30/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 8630853 m, 72553 m/sec, 21466421 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 70 secs. Pages in use: 30
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 75/380 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 113683 attempts, .
[[35mlola[0m][.] 51 EF STEQ 75/380 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 75/380 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 177334 attempts, .
[[35mlola[0m][.] 61 EF EXCL 75/300 31/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 9005959 m, 75021 m/sec, 22427981 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 75 secs. Pages in use: 31
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 80/375 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 118654 attempts, .
[[35mlola[0m][.] 51 EF STEQ 80/375 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 80/375 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 188717 attempts, .
[[35mlola[0m][.] 61 EF EXCL 80/300 32/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 9385684 m, 75945 m/sec, 23404226 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 80 secs. Pages in use: 32
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 85/370 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 123531 attempts, .
[[35mlola[0m][.] 51 EF STEQ 85/370 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 85/370 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 200067 attempts, .
[[35mlola[0m][.] 61 EF EXCL 85/300 34/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 9763674 m, 75598 m/sec, 24373471 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 85 secs. Pages in use: 34
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 90/365 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 128412 attempts, .
[[35mlola[0m][.] 51 EF STEQ 90/365 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 90/365 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 210999 attempts, .
[[35mlola[0m][.] 61 EF EXCL 90/300 35/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 10145404 m, 76346 m/sec, 25357832 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 90 secs. Pages in use: 35
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 95/360 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 133216 attempts, .
[[35mlola[0m][.] 51 EF STEQ 95/360 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 95/360 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 222105 attempts, .
[[35mlola[0m][.] 61 EF EXCL 95/300 36/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 10519115 m, 74742 m/sec, 26322722 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 95 secs. Pages in use: 36
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 100/355 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 138065 attempts, .
[[35mlola[0m][.] 51 EF STEQ 100/355 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 100/355 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 233401 attempts, .
[[35mlola[0m][.] 61 EF EXCL 100/300 38/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 10894819 m, 75140 m/sec, 27294883 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 100 secs. Pages in use: 38
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 105/350 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 142896 attempts, .
[[35mlola[0m][.] 51 EF STEQ 105/350 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 105/350 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 244720 attempts, .
[[35mlola[0m][.] 61 EF EXCL 105/300 39/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 11273785 m, 75793 m/sec, 28275738 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 105 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 110/345 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 147768 attempts, .
[[35mlola[0m][.] 51 EF STEQ 110/345 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 110/345 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 255820 attempts, .
[[35mlola[0m][.] 61 EF EXCL 110/300 40/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 11648661 m, 74975 m/sec, 29246540 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 110 secs. Pages in use: 40
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 115/340 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 152568 attempts, .
[[35mlola[0m][.] 51 EF STEQ 115/340 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 115/340 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 266473 attempts, .
[[35mlola[0m][.] 61 EF EXCL 115/300 41/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 12012427 m, 72753 m/sec, 30189182 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 115 secs. Pages in use: 41
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 120/335 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 157386 attempts, .
[[35mlola[0m][.] 51 EF STEQ 120/335 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 120/335 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 277592 attempts, .
[[35mlola[0m][.] 61 EF EXCL 120/300 43/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 12386960 m, 74906 m/sec, 31171440 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 120 secs. Pages in use: 43
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 125/330 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 162156 attempts, .
[[35mlola[0m][.] 51 EF STEQ 125/330 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 125/330 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 288183 attempts, .
[[35mlola[0m][.] 61 EF EXCL 125/300 44/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 12750413 m, 72690 m/sec, 32118942 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 125 secs. Pages in use: 44
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 130/325 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 166939 attempts, .
[[35mlola[0m][.] 51 EF STEQ 130/325 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 130/325 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 298980 attempts, .
[[35mlola[0m][.] 61 EF EXCL 130/300 45/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 13125396 m, 74996 m/sec, 33093359 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 130 secs. Pages in use: 45
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 135/320 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 171677 attempts, .
[[35mlola[0m][.] 51 EF STEQ 135/320 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 135/320 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 309652 attempts, .
[[35mlola[0m][.] 61 EF EXCL 135/300 46/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 13480601 m, 71041 m/sec, 34018813 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 135 secs. Pages in use: 46
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 140/315 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 176437 attempts, .
[[35mlola[0m][.] 51 EF STEQ 140/315 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 140/315 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 320617 attempts, .
[[35mlola[0m][.] 61 EF EXCL 140/300 48/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 13848404 m, 73560 m/sec, 34982375 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 140 secs. Pages in use: 48
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 145/310 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 181145 attempts, .
[[35mlola[0m][.] 51 EF STEQ 145/310 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 145/310 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 331315 attempts, .
[[35mlola[0m][.] 61 EF EXCL 145/300 49/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 14217237 m, 73766 m/sec, 35946579 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 145 secs. Pages in use: 49
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 150/305 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 185862 attempts, .
[[35mlola[0m][.] 51 EF STEQ 150/305 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 150/305 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 342190 attempts, .
[[35mlola[0m][.] 61 EF EXCL 150/300 50/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 14585768 m, 73706 m/sec, 36919350 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 150 secs. Pages in use: 50
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 155/300 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 190514 attempts, .
[[35mlola[0m][.] 51 EF STEQ 155/300 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 155/300 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 353535 attempts, .
[[35mlola[0m][.] 61 EF EXCL 155/300 51/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 14953787 m, 73603 m/sec, 37888573 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 155 secs. Pages in use: 51
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 160/295 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 195247 attempts, .
[[35mlola[0m][.] 51 EF STEQ 160/295 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 160/295 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 364232 attempts, .
[[35mlola[0m][.] 61 EF EXCL 160/300 53/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 15321328 m, 73508 m/sec, 38858055 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 160 secs. Pages in use: 53
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 165/290 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 199928 attempts, .
[[35mlola[0m][.] 51 EF STEQ 165/290 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 165/290 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 374999 attempts, .
[[35mlola[0m][.] 61 EF EXCL 165/300 54/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 15690300 m, 73794 m/sec, 39833283 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 165 secs. Pages in use: 54
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 170/285 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 204683 attempts, .
[[35mlola[0m][.] 51 EF STEQ 170/285 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 170/285 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 386365 attempts, .
[[35mlola[0m][.] 61 EF EXCL 170/300 55/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 16064514 m, 74842 m/sec, 40819512 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 170 secs. Pages in use: 55
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 175/280 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 209415 attempts, .
[[35mlola[0m][.] 51 EF STEQ 175/280 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 175/280 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 397690 attempts, .
[[35mlola[0m][.] 61 EF EXCL 175/300 56/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 16436129 m, 74323 m/sec, 41804496 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 175 secs. Pages in use: 56
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 180/275 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 214128 attempts, .
[[35mlola[0m][.] 51 EF STEQ 180/275 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 180/275 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 408892 attempts, .
[[35mlola[0m][.] 61 EF EXCL 180/300 58/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 16807134 m, 74201 m/sec, 42796004 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 180 secs. Pages in use: 58
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-05: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 185/270 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 218785 attempts, .
[[35mlola[0m][.] 51 EF STEQ 185/270 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 59 EF FNDP 185/270 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 419653 attempts, .
[[35mlola[0m][.] 61 EF EXCL 185/300 59/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 17169338 m, 72440 m/sec, 43754543 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 185 secs. Pages in use: 59
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 51 (type EQUN) for Szymanski-PT-a06-ReachabilityFireability-2024-05
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 49 (type FNDP) for Szymanski-PT-a06-ReachabilityFireability-2024-05 (obsolete)
[[35mlola[0m][I] LAUNCH task # 82 (type FNDP) for 45 Szymanski-PT-a06-ReachabilityFireability-2024-15
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 83 (type EQUN) for 45 Szymanski-PT-a06-ReachabilityFireability-2024-15
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 49 (type FNDP) for Szymanski-PT-a06-ReachabilityFireability-2024-05
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 222617
[[35mlola[0m][I] time used : 189
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-15: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 190/325 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 430631 attempts, .
[[35mlola[0m][.] 61 EF EXCL 190/327 60/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 17643164 m, 94765 m/sec, 45009381 t fired, .
[[35mlola[0m][.] 82 EF FNDP 1/487 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-15 1937 attempts, .
[[35mlola[0m][.] 83 EF STEQ 1/426 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-15 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 190 secs. Pages in use: 60
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 82 (type FNDP) for Szymanski-PT-a06-ReachabilityFireability-2024-15
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 2418
[[35mlola[0m][I] time used : 2
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 83 (type EQUN) for Szymanski-PT-a06-ReachabilityFireability-2024-15 (obsolete)
[[35mlola[0m][I] LAUNCH task # 77 (type FNDP) for 39 Szymanski-PT-a06-ReachabilityFireability-2024-13
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 78 (type EQUN) for 39 Szymanski-PT-a06-ReachabilityFireability-2024-13
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 78 (type EQUN) for Szymanski-PT-a06-ReachabilityFireability-2024-13
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 77 (type FNDP) for Szymanski-PT-a06-ReachabilityFireability-2024-13 (obsolete)
[[35mlola[0m][I] LAUNCH task # 71 (type FNDP) for 30 Szymanski-PT-a06-ReachabilityFireability-2024-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 72 (type EQUN) for 30 Szymanski-PT-a06-ReachabilityFireability-2024-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 77 (type FNDP) for Szymanski-PT-a06-ReachabilityFireability-2024-13
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 342
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 72 (type EQUN) for Szymanski-PT-a06-ReachabilityFireability-2024-10
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 71 (type FNDP) for Szymanski-PT-a06-ReachabilityFireability-2024-10 (obsolete)
[[35mlola[0m][I] LAUNCH task # 64 (type FNDP) for 9 Szymanski-PT-a06-ReachabilityFireability-2024-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 66 (type EQUN) for 9 Szymanski-PT-a06-ReachabilityFireability-2024-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 71 (type FNDP) for Szymanski-PT-a06-ReachabilityFireability-2024-10
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 3145
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 66 (type EQUN) for Szymanski-PT-a06-ReachabilityFireability-2024-03
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 64 (type FNDP) for Szymanski-PT-a06-ReachabilityFireability-2024-03 (obsolete)
[[35mlola[0m][I] LAUNCH task # 65 (type FNDP) for 27 Szymanski-PT-a06-ReachabilityFireability-2024-09
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 68 (type EQUN) for 27 Szymanski-PT-a06-ReachabilityFireability-2024-09
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 64 (type FNDP) for Szymanski-PT-a06-ReachabilityFireability-2024-03
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 124
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 68 (type EQUN) for Szymanski-PT-a06-ReachabilityFireability-2024-09
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 65 (type FNDP) for Szymanski-PT-a06-ReachabilityFireability-2024-09 (obsolete)
[[35mlola[0m][I] LAUNCH task # 62 (type FNDP) for 0 Szymanski-PT-a06-ReachabilityFireability-2024-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 74 (type EQUN) for 0 Szymanski-PT-a06-ReachabilityFireability-2024-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 62 (type FNDP) for Szymanski-PT-a06-ReachabilityFireability-2024-00
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 36
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 74 (type EQUN) for Szymanski-PT-a06-ReachabilityFireability-2024-00 (obsolete)
[[35mlola[0m][I] LAUNCH task # 55 (type FNDP) for 12 Szymanski-PT-a06-ReachabilityFireability-2024-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 63 (type EQUN) for 12 Szymanski-PT-a06-ReachabilityFireability-2024-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 74 (type EQUN) for Szymanski-PT-a06-ReachabilityFireability-2024-00
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] FINISHED task # 55 (type FNDP) for Szymanski-PT-a06-ReachabilityFireability-2024-04
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 9
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 63 (type EQUN) for Szymanski-PT-a06-ReachabilityFireability-2024-04 (obsolete)
[[35mlola[0m][I] LAUNCH task # 81 (type FNDP) for 42 Szymanski-PT-a06-ReachabilityFireability-2024-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 86 (type FNDP) for 24 Szymanski-PT-a06-ReachabilityFireability-2024-08
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 63 (type EQUN) for Szymanski-PT-a06-ReachabilityFireability-2024-04
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] FINISHED task # 86 (type FNDP) for Szymanski-PT-a06-ReachabilityFireability-2024-08
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 91 (type FNDP) for 36 Szymanski-PT-a06-ReachabilityFireability-2024-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 81 (type FNDP) for Szymanski-PT-a06-ReachabilityFireability-2024-14
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 42
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 92 (type EQUN) for 36 Szymanski-PT-a06-ReachabilityFireability-2024-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 92 (type EQUN) for Szymanski-PT-a06-ReachabilityFireability-2024-12
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] LAUNCH task # 60 (type EQUN) for 3 Szymanski-PT-a06-ReachabilityFireability-2024-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 91 (type FNDP) for Szymanski-PT-a06-ReachabilityFireability-2024-12
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 3193
[[35mlola[0m][I] time used : 3
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-04: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-09: AG true state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-10: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-13: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 195/3600 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 439317 attempts, .
[[35mlola[0m][.] 60 EF STEQ 3/3408 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 195/3600 62/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 18033055 m, 77978 m/sec, 46054869 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 195 secs. Pages in use: 62
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-04: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-09: AG true state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-10: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-13: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 200/3600 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 448435 attempts, .
[[35mlola[0m][.] 60 EF STEQ 8/3408 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 200/3600 63/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 18516022 m, 96593 m/sec, 47342382 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 200 secs. Pages in use: 63
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-04: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-09: AG true state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-10: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-13: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 205/3600 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 457612 attempts, .
[[35mlola[0m][.] 60 EF STEQ 13/3408 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 205/3600 65/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 18973712 m, 91538 m/sec, 48566630 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 205 secs. Pages in use: 65
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-04: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-09: AG true state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-10: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-13: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 210/3600 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 463550 attempts, .
[[35mlola[0m][.] 60 EF STEQ 18/3408 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 210/3600 66/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 19361952 m, 77648 m/sec, 49603600 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 210 secs. Pages in use: 66
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-04: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-09: AG true state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-10: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-13: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 215/3600 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 471201 attempts, .
[[35mlola[0m][.] 60 EF STEQ 23/3408 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 215/3600 68/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 19757558 m, 79121 m/sec, 50661115 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 215 secs. Pages in use: 68
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-04: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-09: AG true state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-10: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-13: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 220/3600 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 479693 attempts, .
[[35mlola[0m][.] 60 EF STEQ 28/3408 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 220/3600 69/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 20147460 m, 77980 m/sec, 51712299 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 220 secs. Pages in use: 69
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-04: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-09: AG true state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-10: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-13: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 225/3600 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 486155 attempts, .
[[35mlola[0m][.] 60 EF STEQ 33/3408 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 225/3600 70/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 20555809 m, 81669 m/sec, 52801794 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 225 secs. Pages in use: 70
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-04: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-09: AG true state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-10: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-13: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 230/3600 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 494774 attempts, .
[[35mlola[0m][.] 60 EF STEQ 38/3408 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 230/3600 72/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 20918921 m, 72622 m/sec, 53774347 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 230 secs. Pages in use: 72
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-04: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-09: AG true state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-10: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-13: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 235/3600 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 501582 attempts, .
[[35mlola[0m][.] 60 EF STEQ 43/3408 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 235/3600 73/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 21333080 m, 82831 m/sec, 54872664 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 235 secs. Pages in use: 73
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 83 (type EQUN) for Szymanski-PT-a06-ReachabilityFireability-2024-15
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-04: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-09: AG true state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-10: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-13: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 240/3600 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 511353 attempts, .
[[35mlola[0m][.] 60 EF STEQ 48/3408 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 240/3600 75/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 21934243 m, 120232 m/sec, 56487294 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 240 secs. Pages in use: 75
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-04: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-09: AG true state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-10: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-13: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 245/3600 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 522422 attempts, .
[[35mlola[0m][.] 60 EF STEQ 53/3408 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 245/3600 77/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 22633400 m, 139831 m/sec, 58374636 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 245 secs. Pages in use: 77
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-00: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-02: EF true state space[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-04: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-09: AG true state equation[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-10: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-13: AG true state equation[0m
[[35mlola[0m][.] [1m[31mSzymanski-PT-a06-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mSzymanski-PT-a06-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Szymanski-PT-a06-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 250/3600 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 533344 attempts, .
[[35mlola[0m][.] 60 EF STEQ 58/3408 0/5 Szymanski-PT-a06-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 250/3600 80/2000 Szymanski-PT-a06-ReachabilityFireability-2024-01 23334599 m, 140239 m/sec, 60261831 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 250 secs. Pages in use: 80
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 60 (type EQUN) for Szymanski-PT-a06-ReachabilityFireability-2024-01
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 59 (type FNDP) for Szymanski-PT-a06-ReachabilityFireability-2024-01 (obsolete)
[[35mlola[0m][W] CANCELED task # 61 (type EXCL) for Szymanski-PT-a06-ReachabilityFireability-2024-01 (obsolete)
[[35mlola[0m][I] Portfolio finished: no open formulas

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-a06"
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-5568"
echo " Executing tool lola"
echo " Input is Szymanski-PT-a06, 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 r401-tall-171690535300831"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Szymanski-PT-a06.tgz
mv Szymanski-PT-a06 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;