fond
Model Checking Contest 2024
14th edition, Geneva, Switzerland, June 25, 2024
Execution of r401-tall-171690534600551
Last Updated
July 7, 2024

About the Execution of LoLA for Sudoku-COL-BN04

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4494.735 448095.00 968592.00 1379.50 FFFTFFFFFTTFFTFF 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-171690534600551.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 Sudoku-COL-BN04, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r401-tall-171690534600551
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 432K
-rw-r--r-- 1 mcc users 6.2K Apr 12 11:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Apr 12 11:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Apr 12 11:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Apr 12 11:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K May 18 16:43 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Apr 23 08:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 23 08:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 23 08:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 23 08:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Apr 12 11:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 116K Apr 12 11:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Apr 12 11:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 49K Apr 12 11:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 23 08:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 23 08:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:43 equiv_pt
-rw-r--r-- 1 mcc users 5 May 18 16:43 instance
-rw-r--r-- 1 mcc users 5 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 36K 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 Sudoku-COL-BN04-ReachabilityFireability-2024-00
FORMULA_NAME Sudoku-COL-BN04-ReachabilityFireability-2024-01
FORMULA_NAME Sudoku-COL-BN04-ReachabilityFireability-2024-02
FORMULA_NAME Sudoku-COL-BN04-ReachabilityFireability-2024-03
FORMULA_NAME Sudoku-COL-BN04-ReachabilityFireability-2024-04
FORMULA_NAME Sudoku-COL-BN04-ReachabilityFireability-2024-05
FORMULA_NAME Sudoku-COL-BN04-ReachabilityFireability-2024-06
FORMULA_NAME Sudoku-COL-BN04-ReachabilityFireability-2024-07
FORMULA_NAME Sudoku-COL-BN04-ReachabilityFireability-2024-08
FORMULA_NAME Sudoku-COL-BN04-ReachabilityFireability-2024-09
FORMULA_NAME Sudoku-COL-BN04-ReachabilityFireability-2024-10
FORMULA_NAME Sudoku-COL-BN04-ReachabilityFireability-2024-11
FORMULA_NAME Sudoku-COL-BN04-ReachabilityFireability-2024-12
FORMULA_NAME Sudoku-COL-BN04-ReachabilityFireability-2024-13
FORMULA_NAME Sudoku-COL-BN04-ReachabilityFireability-2024-14
FORMULA_NAME Sudoku-COL-BN04-ReachabilityFireability-2024-15

=== Now, execution of the tool begins

BK_START 1717142874202

FORMULA Sudoku-COL-BN04-ReachabilityFireability-2024-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-BN04-ReachabilityFireability-2024-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-BN04-ReachabilityFireability-2024-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-BN04-ReachabilityFireability-2024-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-BN04-ReachabilityFireability-2024-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-BN04-ReachabilityFireability-2024-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-BN04-ReachabilityFireability-2024-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-BN04-ReachabilityFireability-2024-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-BN04-ReachabilityFireability-2024-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-BN04-ReachabilityFireability-2024-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-BN04-ReachabilityFireability-2024-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-BN04-ReachabilityFireability-2024-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-BN04-ReachabilityFireability-2024-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-BN04-ReachabilityFireability-2024-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-BN04-ReachabilityFireability-2024-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-BN04-ReachabilityFireability-2024-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
[lola] FINAL RESULTS
[lola]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF false state space
[lola] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola]
[lola] Time elapsed: 448 secs. Pages in use: 184

BK_STOP 1717143322297

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

[lola][I] LoLA will run for 3600 seconds at most (--timelimit)
[lola][W] unknown unit in memory specification: using default
[lola][I] MEM LIMIT 5
[lola][I] NET
[lola][I] reading net from model.pnml
[lola][I] input: PNML file (--pnmlnet)
[lola][I] reading pnml
[lola][I] PNML file contains High-Level net
[lola][I] closed net file model.pnml
[lola][I] finished parsing
[lola][I] Reading HL formula in XML format (--xmlformula)
[lola][I] reading formula from ReachabilityFireability.xml
[lola][I] LAUNCH task # 2 (type SKEL/CNST) for 0 Sudoku-COL-BN04-ReachabilityFireability-2024-00
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 2 (type SKEL/CNST) for Sudoku-COL-BN04-ReachabilityFireability-2024-00
[lola][I] result : false
[lola][I] LAUNCH task # 32 (type SKEL/CNST) for 30 Sudoku-COL-BN04-ReachabilityFireability-2024-10
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 32 (type SKEL/CNST) for Sudoku-COL-BN04-ReachabilityFireability-2024-10
[lola][I] result : true
[lola][I] LAUNCH task # 29 (type SKEL/CNST) for 27 Sudoku-COL-BN04-ReachabilityFireability-2024-09
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 47 (type SKEL/CNST) for 45 Sudoku-COL-BN04-ReachabilityFireability-2024-15
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 29 (type SKEL/CNST) for Sudoku-COL-BN04-ReachabilityFireability-2024-09
[lola][I] result : true
[lola][I] FINISHED task # 47 (type SKEL/CNST) for Sudoku-COL-BN04-ReachabilityFireability-2024-15
[lola][I] result : false
[lola][I] Places: 128, Transitions: 64
[lola][I] Rule S: 0 transitions removed,0 places removed
[lola][I] LAUNCH task # 50 (type EXCL) for 9 Sudoku-COL-BN04-ReachabilityFireability-2024-03
[lola][I] time limit : 300 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 48 (type FNDP) for 9 Sudoku-COL-BN04-ReachabilityFireability-2024-03
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 49 (type EQUN) for 9 Sudoku-COL-BN04-ReachabilityFireability-2024-03
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 52 (type FNDP) for 18 Sudoku-COL-BN04-ReachabilityFireability-2024-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 50 (type EXCL) for Sudoku-COL-BN04-ReachabilityFireability-2024-03
[lola][I] result : true
[lola][I] markings : 14
[lola][I] fired transitions : 13
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 48 (type FNDP) for Sudoku-COL-BN04-ReachabilityFireability-2024-03 (obsolete)
[lola][W] CANCELED task # 49 (type EQUN) for Sudoku-COL-BN04-ReachabilityFireability-2024-03 (obsolete)
[lola][I] LAUNCH task # 57 (type EXCL) for 6 Sudoku-COL-BN04-ReachabilityFireability-2024-02
[lola][I] time limit : 327 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 55 (type FNDP) for 6 Sudoku-COL-BN04-ReachabilityFireability-2024-02
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 56 (type EQUN) for 6 Sudoku-COL-BN04-ReachabilityFireability-2024-02
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 57 (type EXCL) for Sudoku-COL-BN04-ReachabilityFireability-2024-02
[lola][I] result : true
[lola][I] markings : 14
[lola][I] fired transitions : 13
[lola][I] time used : 1
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 55 (type FNDP) for Sudoku-COL-BN04-ReachabilityFireability-2024-02 (obsolete)
[lola][W] CANCELED task # 56 (type EQUN) for Sudoku-COL-BN04-ReachabilityFireability-2024-02 (obsolete)
[lola][I] LAUNCH task # 88 (type EXCL) for 36 Sudoku-COL-BN04-ReachabilityFireability-2024-12
[lola][I] time limit : 359 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 60 (type FNDP) for 3 Sudoku-COL-BN04-ReachabilityFireability-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 63 (type EQUN) for 3 Sudoku-COL-BN04-ReachabilityFireability-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 88 (type EXCL) for Sudoku-COL-BN04-ReachabilityFireability-2024-12
[lola][I] result : true
[lola][I] markings : 14
[lola][I] fired transitions : 13
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 92 (type EXCL) for 42 Sudoku-COL-BN04-ReachabilityFireability-2024-14
[lola][I] time limit : 399 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 60 (type FNDP) for Sudoku-COL-BN04-ReachabilityFireability-2024-01
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 63 (type EQUN) for Sudoku-COL-BN04-ReachabilityFireability-2024-01 (obsolete)
[lola][I] LAUNCH task # 65 (type FNDP) for 39 Sudoku-COL-BN04-ReachabilityFireability-2024-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 67 (type FNDP) for 21 Sudoku-COL-BN04-ReachabilityFireability-2024-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 65 (type FNDP) for Sudoku-COL-BN04-ReachabilityFireability-2024-13
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 69 (type FNDP) for 12 Sudoku-COL-BN04-ReachabilityFireability-2024-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 92 (type EXCL) for Sudoku-COL-BN04-ReachabilityFireability-2024-14
[lola][I] result : true
[lola][I] markings : 14
[lola][I] fired transitions : 13
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 84 (type EXCL) for 33 Sudoku-COL-BN04-ReachabilityFireability-2024-11
[lola][I] time limit : 599 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 67 (type FNDP) for Sudoku-COL-BN04-ReachabilityFireability-2024-07
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 73 (type FNDP) for 15 Sudoku-COL-BN04-ReachabilityFireability-2024-05
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 84 (type EXCL) for Sudoku-COL-BN04-ReachabilityFireability-2024-11
[lola][I] result : true
[lola][I] markings : 14
[lola][I] fired transitions : 13
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 80 (type EXCL) for 24 Sudoku-COL-BN04-ReachabilityFireability-2024-08
[lola][I] time limit : 899 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 80 (type EXCL) for Sudoku-COL-BN04-ReachabilityFireability-2024-08
[lola][I] result : true
[lola][I] markings : 14
[lola][I] fired transitions : 13
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 78 (type EXCL) for 15 Sudoku-COL-BN04-ReachabilityFireability-2024-05
[lola][I] time limit : 1199 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 69 (type FNDP) for Sudoku-COL-BN04-ReachabilityFireability-2024-04
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 53 (type EQUN) for 18 Sudoku-COL-BN04-ReachabilityFireability-2024-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 55 (type FNDP) for Sudoku-COL-BN04-ReachabilityFireability-2024-02
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 1
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 78 (type EXCL) for Sudoku-COL-BN04-ReachabilityFireability-2024-05
[lola][I] result : true
[lola][I] markings : 14
[lola][I] fired transitions : 13
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 73 (type FNDP) for Sudoku-COL-BN04-ReachabilityFireability-2024-05 (obsolete)
[lola][I] LAUNCH task # 54 (type EXCL) for 18 Sudoku-COL-BN04-ReachabilityFireability-2024-06
[lola][I] time limit : 3599 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 48 (type FNDP) for Sudoku-COL-BN04-ReachabilityFireability-2024-03
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 1
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 73 (type FNDP) for Sudoku-COL-BN04-ReachabilityFireability-2024-05
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 5/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 100393 attempts, .
[lola][.] 53 EF STEQ 4/3599 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[lola][.] 54 EF EXCL 4/3599 3/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 657874 m, 131574 m/sec, 3038055 t fired, .
[lola][.]
[lola][.] Time elapsed: 5 secs. Pages in use: 3
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 10/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 194385 attempts, .
[lola][.] 53 EF STEQ 9/3599 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[lola][.] 54 EF EXCL 9/3599 5/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 1209086 m, 110242 m/sec, 6113543 t fired, .
[lola][.]
[lola][.] Time elapsed: 10 secs. Pages in use: 5
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 15/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 283757 attempts, .
[lola][.] 53 EF STEQ 14/3599 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[lola][.] 54 EF EXCL 14/3599 7/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 1899166 m, 138016 m/sec, 9650446 t fired, .
[lola][.]
[lola][.] Time elapsed: 15 secs. Pages in use: 7
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 20/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 369542 attempts, .
[lola][.] 53 EF STEQ 19/3599 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[lola][.] 54 EF EXCL 19/3599 9/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 2449946 m, 110156 m/sec, 12865409 t fired, .
[lola][.]
[lola][.] Time elapsed: 20 secs. Pages in use: 9
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 25/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 457090 attempts, .
[lola][.] 53 EF STEQ 24/3599 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[lola][.] 54 EF EXCL 24/3599 11/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 3024316 m, 114874 m/sec, 15783311 t fired, .
[lola][.]
[lola][.] Time elapsed: 25 secs. Pages in use: 11
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 30/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 556111 attempts, .
[lola][.] 53 EF STEQ 29/3599 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[lola][.] 54 EF EXCL 29/3599 13/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 3479181 m, 90973 m/sec, 18494813 t fired, .
[lola][.]
[lola][.] Time elapsed: 30 secs. Pages in use: 13
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I] FINISHED task # 63 (type EQUN) for Sudoku-COL-BN04-ReachabilityFireability-2024-01
[lola][I] result : unknown
[lola][I] FINISHED task # 56 (type EQUN) for Sudoku-COL-BN04-ReachabilityFireability-2024-02
[lola][I] result : unknown
[lola][I] FINISHED task # 53 (type EQUN) for Sudoku-COL-BN04-ReachabilityFireability-2024-06
[lola][I] result : unknown
[lola][I] FINISHED task # 49 (type EQUN) for Sudoku-COL-BN04-ReachabilityFireability-2024-03
[lola][I] result : unknown
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 35/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 663649 attempts, .
[lola][.] 54 EF EXCL 34/3599 15/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 4132393 m, 130642 m/sec, 21800125 t fired, .
[lola][.]
[lola][.] Time elapsed: 35 secs. Pages in use: 15
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 40/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 803671 attempts, .
[lola][.] 54 EF EXCL 39/3599 18/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 4918177 m, 157156 m/sec, 26369117 t fired, .
[lola][.]
[lola][.] Time elapsed: 40 secs. Pages in use: 18
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 45/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 941356 attempts, .
[lola][.] 54 EF EXCL 44/3599 20/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 5667034 m, 149771 m/sec, 30949075 t fired, .
[lola][.]
[lola][.] Time elapsed: 45 secs. Pages in use: 20
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 50/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 1078002 attempts, .
[lola][.] 54 EF EXCL 49/3599 23/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 6364313 m, 139455 m/sec, 35502545 t fired, .
[lola][.]
[lola][.] Time elapsed: 50 secs. Pages in use: 23
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 55/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 1214056 attempts, .
[lola][.] 54 EF EXCL 54/3599 25/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 6996069 m, 126351 m/sec, 40123743 t fired, .
[lola][.]
[lola][.] Time elapsed: 55 secs. Pages in use: 25
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 60/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 1347841 attempts, .
[lola][.] 54 EF EXCL 59/3599 26/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 7479765 m, 96739 m/sec, 44927393 t fired, .
[lola][.]
[lola][.] Time elapsed: 60 secs. Pages in use: 26
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 65/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 1481867 attempts, .
[lola][.] 54 EF EXCL 64/3599 30/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 8413985 m, 186844 m/sec, 49657476 t fired, .
[lola][.]
[lola][.] Time elapsed: 65 secs. Pages in use: 30
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 70/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 1615484 attempts, .
[lola][.] 54 EF EXCL 69/3599 32/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 9249687 m, 167140 m/sec, 54334967 t fired, .
[lola][.]
[lola][.] Time elapsed: 70 secs. Pages in use: 32
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 75/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 1749395 attempts, .
[lola][.] 54 EF EXCL 74/3599 35/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 10119862 m, 174035 m/sec, 59016838 t fired, .
[lola][.]
[lola][.] Time elapsed: 75 secs. Pages in use: 35
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 80/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 1882562 attempts, .
[lola][.] 54 EF EXCL 79/3599 38/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 10861680 m, 148363 m/sec, 63651379 t fired, .
[lola][.]
[lola][.] Time elapsed: 80 secs. Pages in use: 38
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 85/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 2014954 attempts, .
[lola][.] 54 EF EXCL 84/3599 40/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 11556390 m, 138942 m/sec, 68092065 t fired, .
[lola][.]
[lola][.] Time elapsed: 85 secs. Pages in use: 40
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 90/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 2146734 attempts, .
[lola][.] 54 EF EXCL 89/3599 43/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 12285721 m, 145866 m/sec, 72209632 t fired, .
[lola][.]
[lola][.] Time elapsed: 90 secs. Pages in use: 43
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 95/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 2278434 attempts, .
[lola][.] 54 EF EXCL 94/3599 45/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 12858708 m, 114597 m/sec, 76637707 t fired, .
[lola][.]
[lola][.] Time elapsed: 95 secs. Pages in use: 45
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 100/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 2410323 attempts, .
[lola][.] 54 EF EXCL 99/3599 47/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 13431039 m, 114466 m/sec, 81333771 t fired, .
[lola][.]
[lola][.] Time elapsed: 100 secs. Pages in use: 47
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 105/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 2542643 attempts, .
[lola][.] 54 EF EXCL 104/3599 50/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 14240386 m, 161869 m/sec, 85705638 t fired, .
[lola][.]
[lola][.] Time elapsed: 105 secs. Pages in use: 50
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 110/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 2675070 attempts, .
[lola][.] 54 EF EXCL 109/3599 52/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 15034089 m, 158740 m/sec, 90196811 t fired, .
[lola][.]
[lola][.] Time elapsed: 110 secs. Pages in use: 52
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 115/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 2807146 attempts, .
[lola][.] 54 EF EXCL 114/3599 55/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 15739547 m, 141091 m/sec, 94592859 t fired, .
[lola][.]
[lola][.] Time elapsed: 115 secs. Pages in use: 55
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 120/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 2937495 attempts, .
[lola][.] 54 EF EXCL 119/3599 57/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 16453631 m, 142816 m/sec, 98716212 t fired, .
[lola][.]
[lola][.] Time elapsed: 120 secs. Pages in use: 57
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 125/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 3068032 attempts, .
[lola][.] 54 EF EXCL 124/3599 60/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 17113213 m, 131916 m/sec, 102731424 t fired, .
[lola][.]
[lola][.] Time elapsed: 125 secs. Pages in use: 60
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 130/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 3198797 attempts, .
[lola][.] 54 EF EXCL 129/3599 62/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 17765877 m, 130532 m/sec, 107082666 t fired, .
[lola][.]
[lola][.] Time elapsed: 130 secs. Pages in use: 62
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 135/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 3331568 attempts, .
[lola][.] 54 EF EXCL 134/3599 64/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 18322898 m, 111404 m/sec, 111549830 t fired, .
[lola][.]
[lola][.] Time elapsed: 135 secs. Pages in use: 64
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 140/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 3466430 attempts, .
[lola][.] 54 EF EXCL 139/3599 66/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 18986751 m, 132770 m/sec, 116156767 t fired, .
[lola][.]
[lola][.] Time elapsed: 140 secs. Pages in use: 66
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 145/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 3599133 attempts, .
[lola][.] 54 EF EXCL 144/3599 69/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 19835054 m, 169660 m/sec, 120824156 t fired, .
[lola][.]
[lola][.] Time elapsed: 145 secs. Pages in use: 69
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 150/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 3730479 attempts, .
[lola][.] 54 EF EXCL 149/3599 71/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 20559608 m, 144910 m/sec, 125394683 t fired, .
[lola][.]
[lola][.] Time elapsed: 150 secs. Pages in use: 71
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 155/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 3862357 attempts, .
[lola][.] 54 EF EXCL 154/3599 74/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 21324138 m, 152906 m/sec, 129612285 t fired, .
[lola][.]
[lola][.] Time elapsed: 155 secs. Pages in use: 74
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 160/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 3994239 attempts, .
[lola][.] 54 EF EXCL 159/3599 77/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 22038482 m, 142868 m/sec, 134021335 t fired, .
[lola][.]
[lola][.] Time elapsed: 160 secs. Pages in use: 77
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 165/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 4125690 attempts, .
[lola][.] 54 EF EXCL 164/3599 79/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 22704163 m, 133136 m/sec, 138479320 t fired, .
[lola][.]
[lola][.] Time elapsed: 165 secs. Pages in use: 79
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 170/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 4235016 attempts, .
[lola][.] 54 EF EXCL 169/3599 81/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 23291761 m, 117519 m/sec, 142838631 t fired, .
[lola][.]
[lola][.] Time elapsed: 170 secs. Pages in use: 81
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 175/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 4341755 attempts, .
[lola][.] 54 EF EXCL 174/3599 83/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 23835786 m, 108805 m/sec, 147215690 t fired, .
[lola][.]
[lola][.] Time elapsed: 175 secs. Pages in use: 83
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 180/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 4472957 attempts, .
[lola][.] 54 EF EXCL 179/3599 85/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 24614823 m, 155807 m/sec, 151567574 t fired, .
[lola][.]
[lola][.] Time elapsed: 180 secs. Pages in use: 85
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 185/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 4603321 attempts, .
[lola][.] 54 EF EXCL 184/3599 88/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 25330675 m, 143170 m/sec, 155750884 t fired, .
[lola][.]
[lola][.] Time elapsed: 185 secs. Pages in use: 88
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 190/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 4732942 attempts, .
[lola][.] 54 EF EXCL 189/3599 90/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 25971579 m, 128180 m/sec, 159975228 t fired, .
[lola][.]
[lola][.] Time elapsed: 190 secs. Pages in use: 90
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 195/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 4862597 attempts, .
[lola][.] 54 EF EXCL 194/3599 93/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 26652448 m, 136173 m/sec, 163984193 t fired, .
[lola][.]
[lola][.] Time elapsed: 195 secs. Pages in use: 93
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 200/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 4991517 attempts, .
[lola][.] 54 EF EXCL 199/3599 95/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 27265304 m, 122571 m/sec, 168046546 t fired, .
[lola][.]
[lola][.] Time elapsed: 200 secs. Pages in use: 95
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 205/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 5120094 attempts, .
[lola][.] 54 EF EXCL 204/3599 97/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 27847620 m, 116463 m/sec, 172230875 t fired, .
[lola][.]
[lola][.] Time elapsed: 205 secs. Pages in use: 97
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 210/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 5248517 attempts, .
[lola][.] 54 EF EXCL 209/3599 98/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 28288142 m, 88104 m/sec, 176529069 t fired, .
[lola][.]
[lola][.] Time elapsed: 210 secs. Pages in use: 98
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 215/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 5378857 attempts, .
[lola][.] 54 EF EXCL 214/3599 101/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 29090450 m, 160461 m/sec, 180729815 t fired, .
[lola][.]
[lola][.] Time elapsed: 215 secs. Pages in use: 101
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 220/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 5508989 attempts, .
[lola][.] 54 EF EXCL 219/3599 103/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 29737458 m, 129401 m/sec, 184987610 t fired, .
[lola][.]
[lola][.] Time elapsed: 220 secs. Pages in use: 103
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 225/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 5639090 attempts, .
[lola][.] 54 EF EXCL 224/3599 106/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 30447922 m, 142092 m/sec, 189121407 t fired, .
[lola][.]
[lola][.] Time elapsed: 225 secs. Pages in use: 106
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 230/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 5768977 attempts, .
[lola][.] 54 EF EXCL 229/3599 108/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 31147078 m, 139831 m/sec, 193170970 t fired, .
[lola][.]
[lola][.] Time elapsed: 230 secs. Pages in use: 108
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 235/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 5897212 attempts, .
[lola][.] 54 EF EXCL 234/3599 110/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 31852792 m, 141142 m/sec, 197211228 t fired, .
[lola][.]
[lola][.] Time elapsed: 235 secs. Pages in use: 110
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 240/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 6026995 attempts, .
[lola][.] 54 EF EXCL 239/3599 113/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 32540784 m, 137598 m/sec, 201277900 t fired, .
[lola][.]
[lola][.] Time elapsed: 240 secs. Pages in use: 113
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 245/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 6156627 attempts, .
[lola][.] 54 EF EXCL 244/3599 115/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 33221305 m, 136104 m/sec, 205391994 t fired, .
[lola][.]
[lola][.] Time elapsed: 245 secs. Pages in use: 115
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 250/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 6286077 attempts, .
[lola][.] 54 EF EXCL 249/3599 117/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 33864563 m, 128651 m/sec, 209368896 t fired, .
[lola][.]
[lola][.] Time elapsed: 250 secs. Pages in use: 117
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 255/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 6415559 attempts, .
[lola][.] 54 EF EXCL 254/3599 119/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 34404635 m, 108014 m/sec, 213662379 t fired, .
[lola][.]
[lola][.] Time elapsed: 255 secs. Pages in use: 119
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 260/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 6544986 attempts, .
[lola][.] 54 EF EXCL 259/3599 121/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 34828037 m, 84680 m/sec, 217785554 t fired, .
[lola][.]
[lola][.] Time elapsed: 260 secs. Pages in use: 121
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 265/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 6675012 attempts, .
[lola][.] 54 EF EXCL 264/3599 123/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 35500105 m, 134413 m/sec, 221961787 t fired, .
[lola][.]
[lola][.] Time elapsed: 265 secs. Pages in use: 123
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 270/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 6804745 attempts, .
[lola][.] 54 EF EXCL 269/3599 125/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 36155237 m, 131026 m/sec, 226012809 t fired, .
[lola][.]
[lola][.] Time elapsed: 270 secs. Pages in use: 125
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 275/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 6933468 attempts, .
[lola][.] 54 EF EXCL 274/3599 127/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 36712307 m, 111414 m/sec, 230056635 t fired, .
[lola][.]
[lola][.] Time elapsed: 275 secs. Pages in use: 127
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 280/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 7061671 attempts, .
[lola][.] 54 EF EXCL 279/3599 129/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 37259326 m, 109403 m/sec, 234036149 t fired, .
[lola][.]
[lola][.] Time elapsed: 280 secs. Pages in use: 129
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 285/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 7189200 attempts, .
[lola][.] 54 EF EXCL 284/3599 131/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 37781155 m, 104365 m/sec, 238309193 t fired, .
[lola][.]
[lola][.] Time elapsed: 285 secs. Pages in use: 131
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 290/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 7314270 attempts, .
[lola][.] 54 EF EXCL 289/3599 133/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 38402780 m, 124325 m/sec, 242400789 t fired, .
[lola][.]
[lola][.] Time elapsed: 290 secs. Pages in use: 133
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 295/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 7436924 attempts, .
[lola][.] 54 EF EXCL 294/3599 135/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 38982687 m, 115981 m/sec, 246265182 t fired, .
[lola][.]
[lola][.] Time elapsed: 295 secs. Pages in use: 135
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 300/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 7562181 attempts, .
[lola][.] 54 EF EXCL 299/3599 137/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 39541796 m, 111821 m/sec, 250045197 t fired, .
[lola][.]
[lola][.] Time elapsed: 300 secs. Pages in use: 137
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 305/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 7686754 attempts, .
[lola][.] 54 EF EXCL 304/3599 138/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 39993031 m, 90247 m/sec, 254053736 t fired, .
[lola][.]
[lola][.] Time elapsed: 305 secs. Pages in use: 138
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 310/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 7810890 attempts, .
[lola][.] 54 EF EXCL 309/3599 140/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 40551129 m, 111619 m/sec, 258117926 t fired, .
[lola][.]
[lola][.] Time elapsed: 310 secs. Pages in use: 140
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 315/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 7936417 attempts, .
[lola][.] 54 EF EXCL 314/3599 143/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 41181395 m, 126053 m/sec, 262011337 t fired, .
[lola][.]
[lola][.] Time elapsed: 315 secs. Pages in use: 143
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 320/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 8063065 attempts, .
[lola][.] 54 EF EXCL 319/3599 144/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 41745118 m, 112744 m/sec, 265926051 t fired, .
[lola][.]
[lola][.] Time elapsed: 320 secs. Pages in use: 144
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 325/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 8190276 attempts, .
[lola][.] 54 EF EXCL 324/3599 146/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 42280584 m, 107093 m/sec, 269949566 t fired, .
[lola][.]
[lola][.] Time elapsed: 325 secs. Pages in use: 146
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 330/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 8317061 attempts, .
[lola][.] 54 EF EXCL 329/3599 148/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 42760911 m, 96065 m/sec, 273926448 t fired, .
[lola][.]
[lola][.] Time elapsed: 330 secs. Pages in use: 148
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 335/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 8443870 attempts, .
[lola][.] 54 EF EXCL 334/3599 150/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 43348553 m, 117528 m/sec, 277799286 t fired, .
[lola][.]
[lola][.] Time elapsed: 335 secs. Pages in use: 150
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 340/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 8571179 attempts, .
[lola][.] 54 EF EXCL 339/3599 151/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 43854850 m, 101259 m/sec, 281396377 t fired, .
[lola][.]
[lola][.] Time elapsed: 340 secs. Pages in use: 151
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 345/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 8697564 attempts, .
[lola][.] 54 EF EXCL 344/3599 153/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 44340468 m, 97123 m/sec, 284940271 t fired, .
[lola][.]
[lola][.] Time elapsed: 345 secs. Pages in use: 153
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 350/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 8826351 attempts, .
[lola][.] 54 EF EXCL 349/3599 154/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 44835245 m, 98955 m/sec, 288940479 t fired, .
[lola][.]
[lola][.] Time elapsed: 350 secs. Pages in use: 154
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 355/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 8954331 attempts, .
[lola][.] 54 EF EXCL 354/3599 156/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 45411170 m, 115185 m/sec, 292850122 t fired, .
[lola][.]
[lola][.] Time elapsed: 355 secs. Pages in use: 156
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 360/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 9082191 attempts, .
[lola][.] 54 EF EXCL 359/3599 158/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 45889510 m, 95668 m/sec, 296852145 t fired, .
[lola][.]
[lola][.] Time elapsed: 360 secs. Pages in use: 158
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 365/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 9210070 attempts, .
[lola][.] 54 EF EXCL 364/3599 160/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 46398903 m, 101878 m/sec, 301121636 t fired, .
[lola][.]
[lola][.] Time elapsed: 365 secs. Pages in use: 160
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 370/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 9338060 attempts, .
[lola][.] 54 EF EXCL 369/3599 161/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 46898108 m, 99841 m/sec, 305092598 t fired, .
[lola][.]
[lola][.] Time elapsed: 370 secs. Pages in use: 161
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 375/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 9466141 attempts, .
[lola][.] 54 EF EXCL 374/3599 163/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 47353507 m, 91079 m/sec, 309199349 t fired, .
[lola][.]
[lola][.] Time elapsed: 375 secs. Pages in use: 163
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 380/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 9593660 attempts, .
[lola][.] 54 EF EXCL 379/3599 165/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 47891096 m, 107517 m/sec, 313310733 t fired, .
[lola][.]
[lola][.] Time elapsed: 380 secs. Pages in use: 165
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 385/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 9721536 attempts, .
[lola][.] 54 EF EXCL 384/3599 166/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 48347614 m, 91303 m/sec, 317276579 t fired, .
[lola][.]
[lola][.] Time elapsed: 385 secs. Pages in use: 166
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 390/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 9849489 attempts, .
[lola][.] 54 EF EXCL 389/3599 168/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 48836308 m, 97738 m/sec, 321593932 t fired, .
[lola][.]
[lola][.] Time elapsed: 390 secs. Pages in use: 168
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 395/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 9977306 attempts, .
[lola][.] 54 EF EXCL 394/3599 170/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 49322743 m, 97287 m/sec, 325615830 t fired, .
[lola][.]
[lola][.] Time elapsed: 395 secs. Pages in use: 170
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 400/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 10105411 attempts, .
[lola][.] 54 EF EXCL 399/3599 171/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 49774175 m, 90286 m/sec, 329774168 t fired, .
[lola][.]
[lola][.] Time elapsed: 400 secs. Pages in use: 171
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 405/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 10233595 attempts, .
[lola][.] 54 EF EXCL 404/3599 173/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 50286553 m, 102475 m/sec, 333886902 t fired, .
[lola][.]
[lola][.] Time elapsed: 405 secs. Pages in use: 173
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 410/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 10361319 attempts, .
[lola][.] 54 EF EXCL 409/3599 175/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 50762008 m, 95091 m/sec, 338126713 t fired, .
[lola][.]
[lola][.] Time elapsed: 410 secs. Pages in use: 175
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 415/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 10489161 attempts, .
[lola][.] 54 EF EXCL 414/3599 176/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 51231637 m, 93925 m/sec, 342284339 t fired, .
[lola][.]
[lola][.] Time elapsed: 415 secs. Pages in use: 176
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 420/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 10616664 attempts, .
[lola][.] 54 EF EXCL 419/3599 177/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 51621152 m, 77903 m/sec, 346435005 t fired, .
[lola][.]
[lola][.] Time elapsed: 420 secs. Pages in use: 177
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 425/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 10744556 attempts, .
[lola][.] 54 EF EXCL 424/3599 179/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 52002929 m, 76355 m/sec, 350456006 t fired, .
[lola][.]
[lola][.] Time elapsed: 425 secs. Pages in use: 179
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 430/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 10872213 attempts, .
[lola][.] 54 EF EXCL 429/3599 180/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 52372218 m, 73857 m/sec, 354723671 t fired, .
[lola][.]
[lola][.] Time elapsed: 430 secs. Pages in use: 180
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 435/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 10999822 attempts, .
[lola][.] 54 EF EXCL 434/3599 181/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 52733628 m, 72282 m/sec, 358990026 t fired, .
[lola][.]
[lola][.] Time elapsed: 435 secs. Pages in use: 181
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 440/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 11127717 attempts, .
[lola][.] 54 EF EXCL 439/3599 182/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 53076695 m, 68613 m/sec, 363293470 t fired, .
[lola][.]
[lola][.] Time elapsed: 440 secs. Pages in use: 182
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-00: INITIAL false skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-01: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-02: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-03: EF true state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-04: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-05: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-07: AG false findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-08: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-10: INITIAL true skeleton: preprocessing
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-11: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-12: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-13: EF true findpath
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-14: AG false state space
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-15: INITIAL false skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] Sudoku-COL-BN04-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 445/3600 0/5 Sudoku-COL-BN04-ReachabilityFireability-2024-06 11255660 attempts, .
[lola][.] 54 EF EXCL 444/3599 183/2000 Sudoku-COL-BN04-ReachabilityFireability-2024-06 53365352 m, 57731 m/sec, 367427956 t fired, .
[lola][.]
[lola][.] Time elapsed: 445 secs. Pages in use: 183
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I] FINISHED task # 54 (type EXCL) for Sudoku-COL-BN04-ReachabilityFireability-2024-06
[lola][I] result : false
[lola][I] markings : 53468154
[lola][I] fired transitions : 369377285
[lola][I] time used : 447
[lola][I] memory pages used : 184
[lola][W] CANCELED task # 52 (type FNDP) for Sudoku-COL-BN04-ReachabilityFireability-2024-06 (obsolete)
[lola][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="Sudoku-COL-BN04"
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 Sudoku-COL-BN04, 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-171690534600551"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-COL-BN04.tgz
mv Sudoku-COL-BN04 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 ;