About the Execution of LoLA for Sudoku-COL-AN14
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r251-tall-162106742100499.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is Sudoku-COL-AN14, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r251-tall-162106742100499
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 288K
-rw-r--r-- 1 mcc users 9.5K May 15 08:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K May 15 08:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K May 15 08:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K May 15 08:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 16:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 28 16:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 16:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 13 19:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 19:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 19:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 19:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:52 equiv_pt
-rw-r--r-- 1 mcc users 5 May 5 16:52 instance
-rw-r--r-- 1 mcc users 5 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 6.5K May 5 16:52 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Sudoku-COL-AN14-UpperBounds-00
FORMULA_NAME Sudoku-COL-AN14-UpperBounds-01
FORMULA_NAME Sudoku-COL-AN14-UpperBounds-02
FORMULA_NAME Sudoku-COL-AN14-UpperBounds-03
FORMULA_NAME Sudoku-COL-AN14-UpperBounds-04
FORMULA_NAME Sudoku-COL-AN14-UpperBounds-05
FORMULA_NAME Sudoku-COL-AN14-UpperBounds-06
FORMULA_NAME Sudoku-COL-AN14-UpperBounds-07
FORMULA_NAME Sudoku-COL-AN14-UpperBounds-08
FORMULA_NAME Sudoku-COL-AN14-UpperBounds-09
FORMULA_NAME Sudoku-COL-AN14-UpperBounds-10
FORMULA_NAME Sudoku-COL-AN14-UpperBounds-11
FORMULA_NAME Sudoku-COL-AN14-UpperBounds-12
FORMULA_NAME Sudoku-COL-AN14-UpperBounds-13
FORMULA_NAME Sudoku-COL-AN14-UpperBounds-14
FORMULA_NAME Sudoku-COL-AN14-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1621152968071
starting LoLA
BK_INPUT Sudoku-COL-AN14
BK_EXAMINATION: UpperBounds
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
Upper Bounds
FORMULA Sudoku-COL-AN14-UpperBounds-00 196 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-AN14-UpperBounds-02 196 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-AN14-UpperBounds-14 196 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-AN14-UpperBounds-08 196 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-AN14-UpperBounds-06 196 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-AN14-UpperBounds-13 196 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-AN14-UpperBounds-03 196 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-AN14-UpperBounds-04 196 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-AN14-UpperBounds-11 196 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-AN14-UpperBounds-09 196 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-AN14-UpperBounds-05 196 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-AN14-UpperBounds-07 196 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-AN14-UpperBounds-10 196 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-AN14-UpperBounds-12 196 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-AN14-UpperBounds-15 196 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Sudoku-COL-AN14-UpperBounds-01 196 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1621153308976
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains High-Level net
lola: L 1 U 14 C 14
lola: INS N_1
lola: INS N_2
lola: INS N_3
lola: INS N_4
lola: INS N_5
lola: INS N_6
lola: INS N_7
lola: INS N_8
lola: INS N_9
lola: INS N_10
lola: INS N_11
lola: INS N_12
lola: INS N_13
lola: INS N_14
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading HL formula in XML format (--xmlformula)
lola: reading formula from /home/mcc/execution/UpperBounds.xml
lola: TR BINDINGS
lola: TR BINDINGS DONE
lola: Places: 3332, Transitions: 2744
lola: @ trans select
lola: Rule S: 0 transitions removed,0 places removed
lola: LAUNCH task # 50 (type EXCL) for 0 Sudoku-COL-AN14-UpperBounds-00
lola: time limit : 224 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 48 (type FNDP) for 0 Sudoku-COL-AN14-UpperBounds-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 49 (type EQUN) for 0 Sudoku-COL-AN14-UpperBounds-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 51 (type FNDP) for 6 Sudoku-COL-AN14-UpperBounds-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: Structural Bound: 196
lola: REPORT NUM
lola: FINISHED task # 50 (type EXCL) for Sudoku-COL-AN14-UpperBounds-00
lola: time used : 0.000000
lola: memory pages used : 1
lola: REPORT NUM
lola: FINISHED task # 48 (type FNDP) for Sudoku-COL-AN14-UpperBounds-00
lola: tried executions : 1
lola: time used : 0.000000
lola: CANCELED task # 49 (type EQUN) for Sudoku-COL-AN14-UpperBounds-00 (obsolete)
lola: LAUNCH task # 53 (type EXCL) for 6 Sudoku-COL-AN14-UpperBounds-02
lola: time limit : 239 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 52 (type EQUN) for 6 Sudoku-COL-AN14-UpperBounds-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/UpperBounds-49.sara.
sara: error: :395: error: syntax error, unexpected $end, expecting KEY_TRANSITION
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: REPORT NUM
lola: FINISHED task # 51 (type FNDP) for Sudoku-COL-AN14-UpperBounds-02
lola: tried executions : 1
lola: time used : 0.000000
lola: CANCELED task # 52 (type EQUN) for Sudoku-COL-AN14-UpperBounds-02 (obsolete)
lola: CANCELED task # 53 (type EXCL) for Sudoku-COL-AN14-UpperBounds-02 (obsolete)
lola: Structural Bound: 196
lola: REPORT NUM
lola: FINISHED task # 53 (type EXCL) for Sudoku-COL-AN14-UpperBounds-02
lola: time used : 0.000000
lola: memory pages used : 1
sara: try reading problem file /home/mcc/execution/UpperBounds-52.sara.
sara: error: :395: error: syntax error, unexpected $end, expecting KEY_TRANSITION
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: FINISHED task # 52 (type EQUN) for Sudoku-COL-AN14-UpperBounds-02
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 49 (type EQUN) for Sudoku-COL-AN14-UpperBounds-00
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 56 (type EXCL) for 42 Sudoku-COL-AN14-UpperBounds-14
lola: time limit : 257 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 54 (type FNDP) for 42 Sudoku-COL-AN14-UpperBounds-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 55 (type EQUN) for 42 Sudoku-COL-AN14-UpperBounds-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 57 (type FNDP) for 24 Sudoku-COL-AN14-UpperBounds-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: Structural Bound: 196
lola: REPORT NUM
lola: FINISHED task # 56 (type EXCL) for Sudoku-COL-AN14-UpperBounds-14
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 54 (type FNDP) for Sudoku-COL-AN14-UpperBounds-14 (obsolete)
lola: CANCELED task # 55 (type EQUN) for Sudoku-COL-AN14-UpperBounds-14 (obsolete)
sara: try reading problem file /home/mcc/execution/UpperBounds-55.sara.
sara: error: :395: error: syntax error, unexpected $end, expecting KEY_TRANSITION
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: LAUNCH task # 59 (type EXCL) for 24 Sudoku-COL-AN14-UpperBounds-08
lola: time limit : 276 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 58 (type EQUN) for 24 Sudoku-COL-AN14-UpperBounds-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: Structural Bound: 196
lola: REPORT NUM
lola: FINISHED task # 59 (type EXCL) for Sudoku-COL-AN14-UpperBounds-08
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 57 (type FNDP) for Sudoku-COL-AN14-UpperBounds-08 (obsolete)
lola: CANCELED task # 58 (type EQUN) for Sudoku-COL-AN14-UpperBounds-08 (obsolete)
lola: FINISHED task # 55 (type EQUN) for Sudoku-COL-AN14-UpperBounds-14
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/UpperBounds-58.sara.
sara: error: :395: error: syntax error, unexpected $end, expecting KEY_TRANSITION
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: REPORT NUM
lola: FINISHED task # 54 (type FNDP) for Sudoku-COL-AN14-UpperBounds-14
lola: tried executions : 1
lola: time used : 0.000000
lola: REPORT NUM
lola: LAUNCH task # 62 (type EXCL) for 18 Sudoku-COL-AN14-UpperBounds-06
lola: time limit : 299 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 60 (type FNDP) for 18 Sudoku-COL-AN14-UpperBounds-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 61 (type EQUN) for 18 Sudoku-COL-AN14-UpperBounds-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 57 (type FNDP) for Sudoku-COL-AN14-UpperBounds-08
lola: tried executions : 1
lola: time used : 0.000000
lola: Structural Bound: 196
lola: REPORT NUM
lola: FINISHED task # 62 (type EXCL) for Sudoku-COL-AN14-UpperBounds-06
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 60 (type FNDP) for Sudoku-COL-AN14-UpperBounds-06 (obsolete)
lola: CANCELED task # 61 (type EQUN) for Sudoku-COL-AN14-UpperBounds-06 (obsolete)
lola: FINISHED task # 58 (type EQUN) for Sudoku-COL-AN14-UpperBounds-08
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 0
lola: REPORT NUM
lola: FINISHED task # 60 (type FNDP) for Sudoku-COL-AN14-UpperBounds-06
lola: tried executions : 1
lola: time used : 0.000000
sara: try reading problem file /home/mcc/execution/UpperBounds-61.sara.
sara: error: :395: error: syntax error, unexpected $end, expecting KEY_TRANSITION
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: LAUNCH task # 65 (type EXCL) for 39 Sudoku-COL-AN14-UpperBounds-13
lola: time limit : 327 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 63 (type FNDP) for 39 Sudoku-COL-AN14-UpperBounds-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 64 (type EQUN) for 39 Sudoku-COL-AN14-UpperBounds-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: Structural Bound: 196
lola: REPORT NUM
lola: FINISHED task # 65 (type EXCL) for Sudoku-COL-AN14-UpperBounds-13
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 63 (type FNDP) for Sudoku-COL-AN14-UpperBounds-13 (obsolete)
lola: CANCELED task # 64 (type EQUN) for Sudoku-COL-AN14-UpperBounds-13 (obsolete)
lola: FINISHED task # 61 (type EQUN) for Sudoku-COL-AN14-UpperBounds-06
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/UpperBounds-64.sara.
sara: error: :395: error: syntax error, unexpected $end, expecting KEY_TRANSITION
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: REPORT NUM
lola: FINISHED task # 63 (type FNDP) for Sudoku-COL-AN14-UpperBounds-13
lola: tried executions : 1
lola: time used : 0.000000
lola: FINISHED task # 64 (type EQUN) for Sudoku-COL-AN14-UpperBounds-13
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 68 (type EXCL) for 9 Sudoku-COL-AN14-UpperBounds-03
lola: time limit : 359 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 66 (type FNDP) for 9 Sudoku-COL-AN14-UpperBounds-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 67 (type EQUN) for 9 Sudoku-COL-AN14-UpperBounds-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: Structural Bound: 196
lola: REPORT NUM
lola: FINISHED task # 68 (type EXCL) for Sudoku-COL-AN14-UpperBounds-03
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 66 (type FNDP) for Sudoku-COL-AN14-UpperBounds-03 (obsolete)
lola: CANCELED task # 67 (type EQUN) for Sudoku-COL-AN14-UpperBounds-03 (obsolete)
lola: REPORT NUM
lola: FINISHED task # 66 (type FNDP) for Sudoku-COL-AN14-UpperBounds-03
lola: tried executions : 1
lola: time used : 0.000000
sara: try reading problem file /home/mcc/execution/UpperBounds-67.sara.
sara: error: :395: error: syntax error, unexpected $end, expecting KEY_TRANSITION
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: LAUNCH task # 71 (type EXCL) for 12 Sudoku-COL-AN14-UpperBounds-04
lola: time limit : 399 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 69 (type FNDP) for 12 Sudoku-COL-AN14-UpperBounds-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 70 (type EQUN) for 12 Sudoku-COL-AN14-UpperBounds-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: Structural Bound: 196
lola: REPORT NUM
lola: FINISHED task # 71 (type EXCL) for Sudoku-COL-AN14-UpperBounds-04
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 69 (type FNDP) for Sudoku-COL-AN14-UpperBounds-04 (obsolete)
lola: CANCELED task # 70 (type EQUN) for Sudoku-COL-AN14-UpperBounds-04 (obsolete)
lola: REPORT NUM
lola: FINISHED task # 69 (type FNDP) for Sudoku-COL-AN14-UpperBounds-04
lola: tried executions : 1
lola: time used : 0.000000
sara: try reading problem file /home/mcc/execution/UpperBounds-70.sara.
sara: error: :395: error: syntax error, unexpected $end, expecting KEY_TRANSITION
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: FINISHED task # 67 (type EQUN) for Sudoku-COL-AN14-UpperBounds-03
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 74 (type EXCL) for 33 Sudoku-COL-AN14-UpperBounds-11
lola: time limit : 449 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 72 (type FNDP) for 33 Sudoku-COL-AN14-UpperBounds-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 73 (type EQUN) for 33 Sudoku-COL-AN14-UpperBounds-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: Structural Bound: 196
lola: REPORT NUM
lola: FINISHED task # 74 (type EXCL) for Sudoku-COL-AN14-UpperBounds-11
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 72 (type FNDP) for Sudoku-COL-AN14-UpperBounds-11 (obsolete)
lola: CANCELED task # 73 (type EQUN) for Sudoku-COL-AN14-UpperBounds-11 (obsolete)
lola: REPORT NUM
lola: FINISHED task # 72 (type FNDP) for Sudoku-COL-AN14-UpperBounds-11
lola: tried executions : 1
lola: time used : 0.000000
lola: FINISHED task # 70 (type EQUN) for Sudoku-COL-AN14-UpperBounds-04
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/UpperBounds-73.sara.
sara: error: :395: error: syntax error, unexpected $end, expecting KEY_TRANSITION
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: FINISHED task # 73 (type EQUN) for Sudoku-COL-AN14-UpperBounds-11
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-09: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 5 secs. Pages in use: 1
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-09: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 10 secs. Pages in use: 1
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-09: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 15 secs. Pages in use: 1
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-09: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 20 secs. Pages in use: 1
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-09: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 25 secs. Pages in use: 1
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-09: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 30 secs. Pages in use: 1
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-09: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 35 secs. Pages in use: 1
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-09: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 40 secs. Pages in use: 1
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-09: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 45 secs. Pages in use: 1
# running tasks: 0 of 4 Visible: 16
lola: LAUNCH task # 77 (type EXCL) for 27 Sudoku-COL-AN14-UpperBounds-09
lola: time limit : 507 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 75 (type FNDP) for 27 Sudoku-COL-AN14-UpperBounds-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 76 (type EQUN) for 27 Sudoku-COL-AN14-UpperBounds-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: Structural Bound: 196
sara: try reading problem file /home/mcc/execution/UpperBounds-76.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-09: BOUND 0 0 3 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
75 BOUND FNDP 1/3551 0/5 Sudoku-COL-AN14-UpperBounds-09 4738 t fired, 27 attempts, .
76 BOUND STEQ 1/3551 0/5 Sudoku-COL-AN14-UpperBounds-09 --
77 BOUND EXCL 1/507 1/32 Sudoku-COL-AN14-UpperBounds-09 4607 m, 921 m/sec, 21161 t fired, result in [176,196] .
Time elapsed: 50 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
lola: LAUNCH task # 78 (type FNDP) for 3 Sudoku-COL-AN14-UpperBounds-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-09: BOUND 0 0 3 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 0 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
75 BOUND FNDP 6/1769 0/5 Sudoku-COL-AN14-UpperBounds-09 25480 t fired, 144 attempts, .
76 BOUND STEQ 6/1177 0/5 Sudoku-COL-AN14-UpperBounds-09 --
77 BOUND EXCL 6/507 1/32 Sudoku-COL-AN14-UpperBounds-09 20993 m, 3277 m/sec, 111036 t fired, result in [176,196] .
78 BOUND FNDP 3/1179 0/5 Sudoku-COL-AN14-UpperBounds-01 13852 t fired, 79 attempts, .
Time elapsed: 55 secs. Pages in use: 1
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-09: BOUND 0 0 3 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
75 BOUND FNDP 11/880 0/5 Sudoku-COL-AN14-UpperBounds-09 66780 t fired, 376 attempts, .
76 BOUND STEQ 11/703 0/5 Sudoku-COL-AN14-UpperBounds-09 --
77 BOUND EXCL 11/507 3/32 Sudoku-COL-AN14-UpperBounds-09 51963 m, 6194 m/sec, 291739 t fired, result in [176,196] .
78 BOUND FNDP 8/705 0/5 Sudoku-COL-AN14-UpperBounds-01 55142 t fired, 311 attempts, .
Time elapsed: 60 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-09: BOUND 0 0 3 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
75 BOUND FNDP 16/876 0/5 Sudoku-COL-AN14-UpperBounds-09 112218 t fired, 632 attempts, .
76 BOUND STEQ 16/699 0/5 Sudoku-COL-AN14-UpperBounds-09 --
77 BOUND EXCL 16/507 4/32 Sudoku-COL-AN14-UpperBounds-09 83444 m, 6296 m/sec, 491366 t fired, result in [176,196] .
78 BOUND FNDP 13/701 0/5 Sudoku-COL-AN14-UpperBounds-01 100159 t fired, 564 attempts, .
Time elapsed: 65 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-09: BOUND 0 0 3 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
75 BOUND FNDP 21/871 0/5 Sudoku-COL-AN14-UpperBounds-09 157622 t fired, 888 attempts, .
76 BOUND STEQ 21/694 0/5 Sudoku-COL-AN14-UpperBounds-09 --
77 BOUND EXCL 21/507 6/32 Sudoku-COL-AN14-UpperBounds-09 113674 m, 6046 m/sec, 692933 t fired, result in [176,196] .
78 BOUND FNDP 18/696 0/5 Sudoku-COL-AN14-UpperBounds-01 145172 t fired, 818 attempts, .
Time elapsed: 70 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-09: BOUND 0 0 3 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
75 BOUND FNDP 26/866 0/5 Sudoku-COL-AN14-UpperBounds-09 203236 t fired, 1146 attempts, .
76 BOUND STEQ 26/689 0/5 Sudoku-COL-AN14-UpperBounds-09 --
77 BOUND EXCL 26/507 7/32 Sudoku-COL-AN14-UpperBounds-09 141817 m, 5628 m/sec, 899571 t fired, result in [176,196] .
78 BOUND FNDP 23/691 0/5 Sudoku-COL-AN14-UpperBounds-01 190114 t fired, 1071 attempts, .
Time elapsed: 75 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-09: BOUND 0 0 3 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
75 BOUND FNDP 31/861 0/5 Sudoku-COL-AN14-UpperBounds-09 248782 t fired, 1403 attempts, .
76 BOUND STEQ 31/684 0/5 Sudoku-COL-AN14-UpperBounds-09 --
77 BOUND EXCL 31/507 8/32 Sudoku-COL-AN14-UpperBounds-09 169861 m, 5608 m/sec, 1107760 t fired, result in [176,196] .
78 BOUND FNDP 28/686 0/5 Sudoku-COL-AN14-UpperBounds-01 235022 t fired, 1325 attempts, .
Time elapsed: 80 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-09: BOUND 0 0 3 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
75 BOUND FNDP 36/856 0/5 Sudoku-COL-AN14-UpperBounds-09 294396 t fired, 1661 attempts, .
76 BOUND STEQ 36/679 0/5 Sudoku-COL-AN14-UpperBounds-09 --
77 BOUND EXCL 36/507 10/32 Sudoku-COL-AN14-UpperBounds-09 203060 m, 6639 m/sec, 1301825 t fired, result in [176,196] .
78 BOUND FNDP 33/681 0/5 Sudoku-COL-AN14-UpperBounds-01 279970 t fired, 1578 attempts, .
Time elapsed: 85 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-09: BOUND 0 0 3 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
75 BOUND FNDP 41/851 0/5 Sudoku-COL-AN14-UpperBounds-09 339906 t fired, 1918 attempts, .
76 BOUND STEQ 41/674 0/5 Sudoku-COL-AN14-UpperBounds-09 --
77 BOUND EXCL 41/507 11/32 Sudoku-COL-AN14-UpperBounds-09 235463 m, 6480 m/sec, 1498437 t fired, result in [176,196] .
78 BOUND FNDP 38/676 0/5 Sudoku-COL-AN14-UpperBounds-01 324780 t fired, 1832 attempts, .
Time elapsed: 90 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-09: BOUND 0 0 3 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
75 BOUND FNDP 46/846 0/5 Sudoku-COL-AN14-UpperBounds-09 385415 t fired, 2175 attempts, .
76 BOUND STEQ 46/669 0/5 Sudoku-COL-AN14-UpperBounds-09 --
77 BOUND EXCL 46/507 12/32 Sudoku-COL-AN14-UpperBounds-09 265294 m, 5966 m/sec, 1701396 t fired, result in [176,196] .
78 BOUND FNDP 43/671 0/5 Sudoku-COL-AN14-UpperBounds-01 369683 t fired, 2085 attempts, .
Time elapsed: 95 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
lola: REPORT NUM
lola: FINISHED task # 76 (type EQUN) for Sudoku-COL-AN14-UpperBounds-09
lola: time used : 46.000000
lola: CANCELED task # 75 (type FNDP) for Sudoku-COL-AN14-UpperBounds-09 (obsolete)
lola: CANCELED task # 77 (type EXCL) for Sudoku-COL-AN14-UpperBounds-09 (obsolete)
lola: LAUNCH task # 95 (type EXCL) for 45 Sudoku-COL-AN14-UpperBounds-15
lola: time limit : 584 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 81 (type FNDP) for 15 Sudoku-COL-AN14-UpperBounds-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 82 (type EQUN) for 15 Sudoku-COL-AN14-UpperBounds-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: Structural Bound: 196
sara: try reading problem file /home/mcc/execution/UpperBounds-82.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 48/844 0/5 Sudoku-COL-AN14-UpperBounds-01 414267 t fired, 2337 attempts, .
81 BOUND FNDP 5/876 0/5 Sudoku-COL-AN14-UpperBounds-05 39748 t fired, 224 attempts, .
82 BOUND STEQ 5/876 0/5 Sudoku-COL-AN14-UpperBounds-05 --
95 BOUND EXCL 5/584 2/32 Sudoku-COL-AN14-UpperBounds-15 30400 m, 6080 m/sec, 174393 t fired, result in [176,196] .
Time elapsed: 100 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 53/839 0/5 Sudoku-COL-AN14-UpperBounds-01 459195 t fired, 2590 attempts, .
81 BOUND FNDP 10/871 0/5 Sudoku-COL-AN14-UpperBounds-05 84567 t fired, 476 attempts, .
82 BOUND STEQ 10/871 0/5 Sudoku-COL-AN14-UpperBounds-05 --
95 BOUND EXCL 10/584 3/32 Sudoku-COL-AN14-UpperBounds-15 64316 m, 6783 m/sec, 372663 t fired, result in [176,196] .
Time elapsed: 105 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 58/834 0/5 Sudoku-COL-AN14-UpperBounds-01 504090 t fired, 2843 attempts, .
81 BOUND FNDP 15/866 0/5 Sudoku-COL-AN14-UpperBounds-05 129271 t fired, 729 attempts, .
82 BOUND STEQ 15/866 0/5 Sudoku-COL-AN14-UpperBounds-05 --
95 BOUND EXCL 15/584 5/32 Sudoku-COL-AN14-UpperBounds-15 95132 m, 6163 m/sec, 579242 t fired, result in [176,196] .
Time elapsed: 110 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 63/829 0/5 Sudoku-COL-AN14-UpperBounds-01 548976 t fired, 3097 attempts, .
81 BOUND FNDP 20/861 0/5 Sudoku-COL-AN14-UpperBounds-05 174067 t fired, 981 attempts, .
82 BOUND STEQ 20/861 0/5 Sudoku-COL-AN14-UpperBounds-05 --
95 BOUND EXCL 20/584 6/32 Sudoku-COL-AN14-UpperBounds-15 126037 m, 6181 m/sec, 784400 t fired, result in [176,196] .
Time elapsed: 115 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 68/824 0/5 Sudoku-COL-AN14-UpperBounds-01 593837 t fired, 3350 attempts, .
81 BOUND FNDP 25/856 0/5 Sudoku-COL-AN14-UpperBounds-05 218869 t fired, 1235 attempts, .
82 BOUND STEQ 25/856 0/5 Sudoku-COL-AN14-UpperBounds-05 --
95 BOUND EXCL 25/584 7/32 Sudoku-COL-AN14-UpperBounds-15 154063 m, 5605 m/sec, 997261 t fired, result in [176,196] .
Time elapsed: 120 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 73/819 0/5 Sudoku-COL-AN14-UpperBounds-01 638594 t fired, 3602 attempts, .
81 BOUND FNDP 30/851 0/5 Sudoku-COL-AN14-UpperBounds-05 263786 t fired, 1489 attempts, .
82 BOUND STEQ 30/851 0/5 Sudoku-COL-AN14-UpperBounds-05 --
95 BOUND EXCL 30/584 9/32 Sudoku-COL-AN14-UpperBounds-15 185766 m, 6340 m/sec, 1201568 t fired, result in [176,196] .
Time elapsed: 125 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 78/814 0/5 Sudoku-COL-AN14-UpperBounds-01 683457 t fired, 3855 attempts, .
81 BOUND FNDP 35/846 0/5 Sudoku-COL-AN14-UpperBounds-05 308573 t fired, 1742 attempts, .
82 BOUND STEQ 35/846 0/5 Sudoku-COL-AN14-UpperBounds-05 --
95 BOUND EXCL 35/584 10/32 Sudoku-COL-AN14-UpperBounds-15 219282 m, 6703 m/sec, 1400441 t fired, result in [176,196] .
Time elapsed: 130 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-05: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 83/809 0/5 Sudoku-COL-AN14-UpperBounds-01 728261 t fired, 4107 attempts, .
81 BOUND FNDP 40/841 0/5 Sudoku-COL-AN14-UpperBounds-05 353384 t fired, 1996 attempts, .
82 BOUND STEQ 40/841 0/5 Sudoku-COL-AN14-UpperBounds-05 --
95 BOUND EXCL 40/584 12/32 Sudoku-COL-AN14-UpperBounds-15 251101 m, 6363 m/sec, 1603797 t fired, result in [176,196] .
Time elapsed: 135 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
lola: REPORT NUM
lola: FINISHED task # 82 (type EQUN) for Sudoku-COL-AN14-UpperBounds-05
lola: time used : 41.000000
lola: CANCELED task # 81 (type FNDP) for Sudoku-COL-AN14-UpperBounds-05 (obsolete)
lola: LAUNCH task # 84 (type FNDP) for 21 Sudoku-COL-AN14-UpperBounds-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 85 (type EQUN) for 21 Sudoku-COL-AN14-UpperBounds-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/UpperBounds-85.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 88/1098 0/5 Sudoku-COL-AN14-UpperBounds-01 772930 t fired, 4358 attempts, .
84 BOUND FNDP 4/1154 0/5 Sudoku-COL-AN14-UpperBounds-07 32447 t fired, 183 attempts, .
85 BOUND STEQ 4/866 0/5 Sudoku-COL-AN14-UpperBounds-07 --
95 BOUND EXCL 45/701 13/32 Sudoku-COL-AN14-UpperBounds-15 281946 m, 6169 m/sec, 1807891 t fired, result in [176,196] .
Time elapsed: 140 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 93/1094 0/5 Sudoku-COL-AN14-UpperBounds-01 817779 t fired, 4611 attempts, .
84 BOUND FNDP 9/1150 0/5 Sudoku-COL-AN14-UpperBounds-07 77751 t fired, 438 attempts, .
85 BOUND STEQ 9/862 0/5 Sudoku-COL-AN14-UpperBounds-07 --
95 BOUND EXCL 50/701 14/32 Sudoku-COL-AN14-UpperBounds-15 310258 m, 5662 m/sec, 2019300 t fired, result in [176,196] .
Time elapsed: 145 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 98/1089 0/5 Sudoku-COL-AN14-UpperBounds-01 862644 t fired, 4864 attempts, .
84 BOUND FNDP 14/1145 0/5 Sudoku-COL-AN14-UpperBounds-07 122947 t fired, 693 attempts, .
85 BOUND STEQ 14/857 0/5 Sudoku-COL-AN14-UpperBounds-07 --
95 BOUND EXCL 55/701 16/32 Sudoku-COL-AN14-UpperBounds-15 336716 m, 5291 m/sec, 2235515 t fired, result in [176,196] .
Time elapsed: 150 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 103/1084 0/5 Sudoku-COL-AN14-UpperBounds-01 907547 t fired, 5116 attempts, .
84 BOUND FNDP 19/1140 0/5 Sudoku-COL-AN14-UpperBounds-07 168096 t fired, 947 attempts, .
85 BOUND STEQ 19/852 0/5 Sudoku-COL-AN14-UpperBounds-07 --
95 BOUND EXCL 60/701 17/32 Sudoku-COL-AN14-UpperBounds-15 363836 m, 5424 m/sec, 2450854 t fired, result in [176,196] .
Time elapsed: 155 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 108/1079 0/5 Sudoku-COL-AN14-UpperBounds-01 952421 t fired, 5369 attempts, .
84 BOUND FNDP 24/1135 0/5 Sudoku-COL-AN14-UpperBounds-07 213103 t fired, 1201 attempts, .
85 BOUND STEQ 24/847 0/5 Sudoku-COL-AN14-UpperBounds-07 --
95 BOUND EXCL 65/701 18/32 Sudoku-COL-AN14-UpperBounds-15 392020 m, 5636 m/sec, 2662593 t fired, result in [176,196] .
Time elapsed: 160 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 113/1074 0/5 Sudoku-COL-AN14-UpperBounds-01 997162 t fired, 5620 attempts, .
84 BOUND FNDP 29/1130 0/5 Sudoku-COL-AN14-UpperBounds-07 258089 t fired, 1456 attempts, .
85 BOUND STEQ 29/842 0/5 Sudoku-COL-AN14-UpperBounds-07 --
95 BOUND EXCL 70/701 19/32 Sudoku-COL-AN14-UpperBounds-15 418647 m, 5325 m/sec, 2879439 t fired, result in [176,196] .
Time elapsed: 165 secs. Pages in use: 19
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 118/1069 0/5 Sudoku-COL-AN14-UpperBounds-01 1042098 t fired, 5872 attempts, .
84 BOUND FNDP 34/1125 0/5 Sudoku-COL-AN14-UpperBounds-07 303004 t fired, 1709 attempts, .
85 BOUND STEQ 34/837 0/5 Sudoku-COL-AN14-UpperBounds-07 --
95 BOUND EXCL 75/701 21/32 Sudoku-COL-AN14-UpperBounds-15 444241 m, 5118 m/sec, 3098331 t fired, result in [176,196] .
Time elapsed: 170 secs. Pages in use: 21
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-07: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 123/1064 0/5 Sudoku-COL-AN14-UpperBounds-01 1086968 t fired, 6125 attempts, .
84 BOUND FNDP 39/1120 0/5 Sudoku-COL-AN14-UpperBounds-07 347875 t fired, 1963 attempts, .
85 BOUND STEQ 39/832 0/5 Sudoku-COL-AN14-UpperBounds-07 --
95 BOUND EXCL 80/701 22/32 Sudoku-COL-AN14-UpperBounds-15 470047 m, 5161 m/sec, 3317420 t fired, result in [176,196] .
Time elapsed: 175 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
lola: REPORT NUM
lola: FINISHED task # 85 (type EQUN) for Sudoku-COL-AN14-UpperBounds-07
lola: time used : 41.000000
lola: CANCELED task # 84 (type FNDP) for Sudoku-COL-AN14-UpperBounds-07 (obsolete)
lola: LAUNCH task # 87 (type FNDP) for 30 Sudoku-COL-AN14-UpperBounds-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 88 (type EQUN) for 30 Sudoku-COL-AN14-UpperBounds-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/UpperBounds-88.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 128/1649 0/5 Sudoku-COL-AN14-UpperBounds-01 1131630 t fired, 6375 attempts, .
87 BOUND FNDP 3/1141 0/5 Sudoku-COL-AN14-UpperBounds-10 25534 t fired, 144 attempts, .
88 BOUND STEQ 3/1141 0/5 Sudoku-COL-AN14-UpperBounds-10 --
95 BOUND EXCL 85/876 23/32 Sudoku-COL-AN14-UpperBounds-15 493514 m, 4693 m/sec, 3538601 t fired, result in [176,196] .
Time elapsed: 180 secs. Pages in use: 23
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 133/1646 0/5 Sudoku-COL-AN14-UpperBounds-01 1176438 t fired, 6626 attempts, .
87 BOUND FNDP 8/1138 0/5 Sudoku-COL-AN14-UpperBounds-10 70686 t fired, 398 attempts, .
88 BOUND STEQ 8/1138 0/5 Sudoku-COL-AN14-UpperBounds-10 --
95 BOUND EXCL 90/876 24/32 Sudoku-COL-AN14-UpperBounds-15 517848 m, 4866 m/sec, 3757620 t fired, result in [177,196] .
Time elapsed: 185 secs. Pages in use: 24
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 138/1641 0/5 Sudoku-COL-AN14-UpperBounds-01 1221353 t fired, 6878 attempts, .
87 BOUND FNDP 13/1133 0/5 Sudoku-COL-AN14-UpperBounds-10 115675 t fired, 651 attempts, .
88 BOUND STEQ 13/1133 0/5 Sudoku-COL-AN14-UpperBounds-10 --
95 BOUND EXCL 95/876 25/32 Sudoku-COL-AN14-UpperBounds-15 548931 m, 6216 m/sec, 3957915 t fired, result in [177,196] .
Time elapsed: 190 secs. Pages in use: 25
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 143/1636 0/5 Sudoku-COL-AN14-UpperBounds-01 1266292 t fired, 7129 attempts, .
87 BOUND FNDP 18/1128 0/5 Sudoku-COL-AN14-UpperBounds-10 160555 t fired, 904 attempts, .
88 BOUND STEQ 18/1128 0/5 Sudoku-COL-AN14-UpperBounds-10 --
95 BOUND EXCL 100/876 27/32 Sudoku-COL-AN14-UpperBounds-15 580862 m, 6386 m/sec, 4156638 t fired, result in [177,196] .
Time elapsed: 195 secs. Pages in use: 27
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 148/1631 0/5 Sudoku-COL-AN14-UpperBounds-01 1311213 t fired, 7381 attempts, .
87 BOUND FNDP 23/1123 0/5 Sudoku-COL-AN14-UpperBounds-10 205424 t fired, 1157 attempts, .
88 BOUND STEQ 23/1123 0/5 Sudoku-COL-AN14-UpperBounds-10 --
95 BOUND EXCL 105/876 28/32 Sudoku-COL-AN14-UpperBounds-15 611492 m, 6126 m/sec, 4357658 t fired, result in [177,196] .
Time elapsed: 200 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 153/1626 0/5 Sudoku-COL-AN14-UpperBounds-01 1356189 t fired, 7632 attempts, .
87 BOUND FNDP 28/1118 0/5 Sudoku-COL-AN14-UpperBounds-10 250287 t fired, 1411 attempts, .
88 BOUND STEQ 28/1118 0/5 Sudoku-COL-AN14-UpperBounds-10 --
95 BOUND EXCL 110/876 29/32 Sudoku-COL-AN14-UpperBounds-15 640978 m, 5897 m/sec, 4561792 t fired, result in [177,196] .
Time elapsed: 205 secs. Pages in use: 29
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 158/1621 0/5 Sudoku-COL-AN14-UpperBounds-01 1401154 t fired, 7884 attempts, .
87 BOUND FNDP 33/1113 0/5 Sudoku-COL-AN14-UpperBounds-10 294975 t fired, 1663 attempts, .
88 BOUND STEQ 33/1113 0/5 Sudoku-COL-AN14-UpperBounds-10 --
95 BOUND EXCL 115/876 31/32 Sudoku-COL-AN14-UpperBounds-15 667983 m, 5401 m/sec, 4772329 t fired, result in [177,196] .
Time elapsed: 210 secs. Pages in use: 31
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-10: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 163/1616 0/5 Sudoku-COL-AN14-UpperBounds-01 1446184 t fired, 8135 attempts, .
87 BOUND FNDP 38/1108 0/5 Sudoku-COL-AN14-UpperBounds-10 339677 t fired, 1916 attempts, .
88 BOUND STEQ 38/1108 0/5 Sudoku-COL-AN14-UpperBounds-10 --
95 BOUND EXCL 120/876 32/32 Sudoku-COL-AN14-UpperBounds-15 696676 m, 5738 m/sec, 4978947 t fired, result in [177,196] .
Time elapsed: 215 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 95 (type EXCL) for Sudoku-COL-AN14-UpperBounds-15 (memory limit exceeded)
lola: REPORT NUM
lola: FINISHED task # 88 (type EQUN) for Sudoku-COL-AN14-UpperBounds-10
lola: time used : 41.000000
lola: CANCELED task # 87 (type FNDP) for Sudoku-COL-AN14-UpperBounds-10 (obsolete)
lola: LAUNCH task # 92 (type EXCL) for 36 Sudoku-COL-AN14-UpperBounds-12
lola: time limit : 1691 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 90 (type FNDP) for 36 Sudoku-COL-AN14-UpperBounds-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 91 (type EQUN) for 36 Sudoku-COL-AN14-UpperBounds-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: Structural Bound: 196
sara: try reading problem file /home/mcc/execution/UpperBounds-91.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 0 3 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 168/1608 0/5 Sudoku-COL-AN14-UpperBounds-01 1490902 t fired, 8385 attempts, .
90 BOUND FNDP 2/1691 0/5 Sudoku-COL-AN14-UpperBounds-12 18361 t fired, 104 attempts, .
91 BOUND STEQ 2/1691 0/5 Sudoku-COL-AN14-UpperBounds-12 --
92 BOUND EXCL 2/1691 1/32 Sudoku-COL-AN14-UpperBounds-12 14820 m, 2964 m/sec, 77228 t fired, result in [176,196] .
Time elapsed: 220 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 0 3 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 173/1606 0/5 Sudoku-COL-AN14-UpperBounds-01 1535872 t fired, 8636 attempts, .
90 BOUND FNDP 7/1689 0/5 Sudoku-COL-AN14-UpperBounds-12 63418 t fired, 357 attempts, .
91 BOUND STEQ 7/1689 0/5 Sudoku-COL-AN14-UpperBounds-12 --
92 BOUND EXCL 7/1691 3/32 Sudoku-COL-AN14-UpperBounds-12 48397 m, 6715 m/sec, 270885 t fired, result in [176,196] .
Time elapsed: 225 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 0 3 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 178/1601 0/5 Sudoku-COL-AN14-UpperBounds-01 1580900 t fired, 8887 attempts, .
90 BOUND FNDP 12/1684 0/5 Sudoku-COL-AN14-UpperBounds-12 108435 t fired, 610 attempts, .
91 BOUND STEQ 12/1684 0/5 Sudoku-COL-AN14-UpperBounds-12 --
92 BOUND EXCL 12/1691 4/32 Sudoku-COL-AN14-UpperBounds-12 79879 m, 6296 m/sec, 470293 t fired, result in [176,196] .
Time elapsed: 230 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 0 3 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 183/1596 0/5 Sudoku-COL-AN14-UpperBounds-01 1625929 t fired, 9139 attempts, .
90 BOUND FNDP 17/1679 0/5 Sudoku-COL-AN14-UpperBounds-12 153392 t fired, 864 attempts, .
91 BOUND STEQ 17/1679 0/5 Sudoku-COL-AN14-UpperBounds-12 --
92 BOUND EXCL 17/1691 6/32 Sudoku-COL-AN14-UpperBounds-12 110635 m, 6151 m/sec, 671003 t fired, result in [176,196] .
Time elapsed: 235 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 0 3 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 188/1591 0/5 Sudoku-COL-AN14-UpperBounds-01 1670959 t fired, 9390 attempts, .
90 BOUND FNDP 22/1674 0/5 Sudoku-COL-AN14-UpperBounds-12 198328 t fired, 1117 attempts, .
91 BOUND STEQ 22/1674 0/5 Sudoku-COL-AN14-UpperBounds-12 --
92 BOUND EXCL 22/1691 7/32 Sudoku-COL-AN14-UpperBounds-12 138873 m, 5647 m/sec, 878211 t fired, result in [176,196] .
Time elapsed: 240 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 0 3 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 193/1586 0/5 Sudoku-COL-AN14-UpperBounds-01 1716012 t fired, 9641 attempts, .
90 BOUND FNDP 27/1669 0/5 Sudoku-COL-AN14-UpperBounds-12 243207 t fired, 1371 attempts, .
91 BOUND STEQ 27/1669 0/5 Sudoku-COL-AN14-UpperBounds-12 --
92 BOUND EXCL 27/1691 8/32 Sudoku-COL-AN14-UpperBounds-12 166640 m, 5553 m/sec, 1088456 t fired, result in [176,196] .
Time elapsed: 245 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 0 3 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 198/1581 0/5 Sudoku-COL-AN14-UpperBounds-01 1761056 t fired, 9891 attempts, .
90 BOUND FNDP 32/1664 0/5 Sudoku-COL-AN14-UpperBounds-12 288057 t fired, 1624 attempts, .
91 BOUND STEQ 32/1664 0/5 Sudoku-COL-AN14-UpperBounds-12 --
92 BOUND EXCL 32/1691 10/32 Sudoku-COL-AN14-UpperBounds-12 199555 m, 6583 m/sec, 1285166 t fired, result in [176,196] .
Time elapsed: 250 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-12: BOUND 0 0 3 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 2 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 203/1576 0/5 Sudoku-COL-AN14-UpperBounds-01 1805980 t fired, 10142 attempts, .
90 BOUND FNDP 37/1659 0/5 Sudoku-COL-AN14-UpperBounds-12 332835 t fired, 1877 attempts, .
91 BOUND STEQ 37/1659 0/5 Sudoku-COL-AN14-UpperBounds-12 --
92 BOUND EXCL 37/1691 11/32 Sudoku-COL-AN14-UpperBounds-12 232861 m, 6661 m/sec, 1480711 t fired, result in [176,196] .
Time elapsed: 255 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: REPORT NUM
lola: FINISHED task # 91 (type EQUN) for Sudoku-COL-AN14-UpperBounds-12
lola: time used : 40.000000
lola: CANCELED task # 90 (type FNDP) for Sudoku-COL-AN14-UpperBounds-12 (obsolete)
lola: CANCELED task # 92 (type EXCL) for Sudoku-COL-AN14-UpperBounds-12 (obsolete)
lola: LAUNCH task # 80 (type EXCL) for 3 Sudoku-COL-AN14-UpperBounds-01
lola: time limit : 3342 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 93 (type FNDP) for 45 Sudoku-COL-AN14-UpperBounds-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 94 (type EQUN) for 45 Sudoku-COL-AN14-UpperBounds-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: Structural Bound: 196
sara: try reading problem file /home/mcc/execution/UpperBounds-94.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-12: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 0 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 208/3342 0/5 Sudoku-COL-AN14-UpperBounds-01 1850775 t fired, 10391 attempts, .
80 BOUND EXCL 2/3342 1/32 Sudoku-COL-AN14-UpperBounds-01 10689 m, 2137 m/sec, 52205 t fired, result in [176,196] .
93 BOUND FNDP 2/3342 0/5 Sudoku-COL-AN14-UpperBounds-15 12650 t fired, 72 attempts, .
94 BOUND STEQ 2/1671 0/5 Sudoku-COL-AN14-UpperBounds-15 --
Time elapsed: 260 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-12: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 0 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 213/3340 0/5 Sudoku-COL-AN14-UpperBounds-01 1895781 t fired, 10642 attempts, .
80 BOUND EXCL 7/3342 3/32 Sudoku-COL-AN14-UpperBounds-01 44597 m, 6781 m/sec, 247062 t fired, result in [176,196] .
93 BOUND FNDP 7/3340 0/5 Sudoku-COL-AN14-UpperBounds-15 57842 t fired, 325 attempts, .
94 BOUND STEQ 7/1669 0/5 Sudoku-COL-AN14-UpperBounds-15 --
Time elapsed: 265 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-12: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 0 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 218/3335 0/5 Sudoku-COL-AN14-UpperBounds-01 1940773 t fired, 10892 attempts, .
80 BOUND EXCL 12/3342 4/32 Sudoku-COL-AN14-UpperBounds-01 76602 m, 6401 m/sec, 446492 t fired, result in [176,196] .
93 BOUND FNDP 12/3335 0/5 Sudoku-COL-AN14-UpperBounds-15 103016 t fired, 580 attempts, .
94 BOUND STEQ 12/1664 0/5 Sudoku-COL-AN14-UpperBounds-15 --
Time elapsed: 270 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-12: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 0 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 223/3330 0/5 Sudoku-COL-AN14-UpperBounds-01 1985905 t fired, 11143 attempts, .
80 BOUND EXCL 17/3342 5/32 Sudoku-COL-AN14-UpperBounds-01 107241 m, 6127 m/sec, 649045 t fired, result in [176,196] .
93 BOUND FNDP 17/3330 0/5 Sudoku-COL-AN14-UpperBounds-15 148134 t fired, 835 attempts, .
94 BOUND STEQ 17/1659 0/5 Sudoku-COL-AN14-UpperBounds-15 --
Time elapsed: 275 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-12: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 0 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 228/3325 0/5 Sudoku-COL-AN14-UpperBounds-01 2031003 t fired, 11394 attempts, .
80 BOUND EXCL 22/3342 7/32 Sudoku-COL-AN14-UpperBounds-01 136379 m, 5827 m/sec, 854507 t fired, result in [176,196] .
93 BOUND FNDP 22/3325 0/5 Sudoku-COL-AN14-UpperBounds-15 193248 t fired, 1089 attempts, .
94 BOUND STEQ 22/1654 0/5 Sudoku-COL-AN14-UpperBounds-15 --
Time elapsed: 280 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-12: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 0 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 233/3320 0/5 Sudoku-COL-AN14-UpperBounds-01 2076109 t fired, 11645 attempts, .
80 BOUND EXCL 27/3342 8/32 Sudoku-COL-AN14-UpperBounds-01 162499 m, 5224 m/sec, 1068868 t fired, result in [176,196] .
93 BOUND FNDP 27/3320 0/5 Sudoku-COL-AN14-UpperBounds-15 238244 t fired, 1344 attempts, .
94 BOUND STEQ 27/1649 0/5 Sudoku-COL-AN14-UpperBounds-15 --
Time elapsed: 285 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-12: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 0 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 238/3315 0/5 Sudoku-COL-AN14-UpperBounds-01 2121218 t fired, 11896 attempts, .
80 BOUND EXCL 32/3342 9/32 Sudoku-COL-AN14-UpperBounds-01 195950 m, 6690 m/sec, 1264933 t fired, result in [176,196] .
93 BOUND FNDP 32/3315 0/5 Sudoku-COL-AN14-UpperBounds-15 283353 t fired, 1598 attempts, .
94 BOUND STEQ 32/1644 0/5 Sudoku-COL-AN14-UpperBounds-15 --
Time elapsed: 290 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-12: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 1 2 0 1 0 0 0
Sudoku-COL-AN14-UpperBounds-15: BOUND 0 0 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 243/3310 0/5 Sudoku-COL-AN14-UpperBounds-01 2166322 t fired, 12147 attempts, .
80 BOUND EXCL 37/3342 11/32 Sudoku-COL-AN14-UpperBounds-01 229096 m, 6629 m/sec, 1461004 t fired, result in [176,196] .
93 BOUND FNDP 37/3310 0/5 Sudoku-COL-AN14-UpperBounds-15 328427 t fired, 1853 attempts, .
94 BOUND STEQ 37/1639 0/5 Sudoku-COL-AN14-UpperBounds-15 --
Time elapsed: 295 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: REPORT NUM
lola: FINISHED task # 94 (type EQUN) for Sudoku-COL-AN14-UpperBounds-15
lola: time used : 41.000000
lola: CANCELED task # 93 (type FNDP) for Sudoku-COL-AN14-UpperBounds-15 (obsolete)
lola: LAUNCH task # 79 (type EQUN) for 3 Sudoku-COL-AN14-UpperBounds-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/UpperBounds-79.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-12: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-15: BOUND 196 state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 0 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 248/3548 0/5 Sudoku-COL-AN14-UpperBounds-01 2211208 t fired, 12396 attempts, .
79 BOUND STEQ 1/3301 0/5 Sudoku-COL-AN14-UpperBounds-01 --
80 BOUND EXCL 42/3342 12/32 Sudoku-COL-AN14-UpperBounds-01 258597 m, 5900 m/sec, 1665270 t fired, result in [176,196] .
Time elapsed: 300 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-12: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-15: BOUND 196 state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 0 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 253/3548 0/5 Sudoku-COL-AN14-UpperBounds-01 2255702 t fired, 12643 attempts, .
79 BOUND STEQ 6/3301 0/5 Sudoku-COL-AN14-UpperBounds-01 --
80 BOUND EXCL 47/3342 14/32 Sudoku-COL-AN14-UpperBounds-01 290107 m, 6302 m/sec, 1864551 t fired, result in [176,196] .
Time elapsed: 305 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-12: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-15: BOUND 196 state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 0 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 258/3548 0/5 Sudoku-COL-AN14-UpperBounds-01 2300987 t fired, 12895 attempts, .
79 BOUND STEQ 11/3301 0/5 Sudoku-COL-AN14-UpperBounds-01 --
80 BOUND EXCL 52/3342 15/32 Sudoku-COL-AN14-UpperBounds-01 317161 m, 5410 m/sec, 2071277 t fired, result in [176,196] .
Time elapsed: 310 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-12: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-15: BOUND 196 state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 0 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 263/3548 0/5 Sudoku-COL-AN14-UpperBounds-01 2346067 t fired, 13146 attempts, .
79 BOUND STEQ 16/3301 0/5 Sudoku-COL-AN14-UpperBounds-01 --
80 BOUND EXCL 57/3342 16/32 Sudoku-COL-AN14-UpperBounds-01 342495 m, 5066 m/sec, 2284176 t fired, result in [176,196] .
Time elapsed: 315 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-12: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-15: BOUND 196 state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 0 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 268/3548 0/5 Sudoku-COL-AN14-UpperBounds-01 2391198 t fired, 13397 attempts, .
79 BOUND STEQ 21/3301 0/5 Sudoku-COL-AN14-UpperBounds-01 --
80 BOUND EXCL 62/3342 17/32 Sudoku-COL-AN14-UpperBounds-01 369872 m, 5475 m/sec, 2494390 t fired, result in [176,196] .
Time elapsed: 320 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-12: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-15: BOUND 196 state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 0 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 273/3548 0/5 Sudoku-COL-AN14-UpperBounds-01 2436389 t fired, 13647 attempts, .
79 BOUND STEQ 26/3301 0/5 Sudoku-COL-AN14-UpperBounds-01 --
80 BOUND EXCL 67/3342 18/32 Sudoku-COL-AN14-UpperBounds-01 396413 m, 5308 m/sec, 2706298 t fired, result in [176,196] .
Time elapsed: 325 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-12: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-15: BOUND 196 state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 0 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 278/3548 0/5 Sudoku-COL-AN14-UpperBounds-01 2481511 t fired, 13898 attempts, .
79 BOUND STEQ 31/3301 0/5 Sudoku-COL-AN14-UpperBounds-01 --
80 BOUND EXCL 72/3342 20/32 Sudoku-COL-AN14-UpperBounds-01 423491 m, 5415 m/sec, 2917978 t fired, result in [176,196] .
Time elapsed: 330 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-12: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-15: BOUND 196 state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 0 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 283/3548 0/5 Sudoku-COL-AN14-UpperBounds-01 2526680 t fired, 14149 attempts, .
79 BOUND STEQ 36/3301 0/5 Sudoku-COL-AN14-UpperBounds-01 --
80 BOUND EXCL 77/3342 21/32 Sudoku-COL-AN14-UpperBounds-01 448730 m, 5047 m/sec, 3133820 t fired, result in [176,196] .
Time elapsed: 335 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-12: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-15: BOUND 196 state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Sudoku-COL-AN14-UpperBounds-01: BOUND 0 0 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 BOUND FNDP 288/3548 0/5 Sudoku-COL-AN14-UpperBounds-01 2571869 t fired, 14400 attempts, .
79 BOUND STEQ 41/3301 0/5 Sudoku-COL-AN14-UpperBounds-01 --
80 BOUND EXCL 82/3342 22/32 Sudoku-COL-AN14-UpperBounds-01 473611 m, 4976 m/sec, 3350847 t fired, result in [176,196] .
Time elapsed: 340 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
lola: REPORT NUM
lola: FINISHED task # 79 (type EQUN) for Sudoku-COL-AN14-UpperBounds-01
lola: time used : 41.000000
lola: CANCELED task # 78 (type FNDP) for Sudoku-COL-AN14-UpperBounds-01 (obsolete)
lola: CANCELED task # 80 (type EXCL) for Sudoku-COL-AN14-UpperBounds-01 (obsolete)
lola: Portfolio finished: no open formulas
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Sudoku-COL-AN14-UpperBounds-00: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-01: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-02: BOUND 196 findpath
Sudoku-COL-AN14-UpperBounds-03: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-04: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-05: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-06: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-07: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-08: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-09: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-10: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-11: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-12: BOUND 196 state equation
Sudoku-COL-AN14-UpperBounds-13: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-14: BOUND 196 state space
Sudoku-COL-AN14-UpperBounds-15: BOUND 196 state equation
Time elapsed: 340 secs. Pages in use: 32
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Sudoku-COL-AN14"
export BK_EXAMINATION="UpperBounds"
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-4028"
echo " Executing tool lola"
echo " Input is Sudoku-COL-AN14, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r251-tall-162106742100499"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-COL-AN14.tgz
mv Sudoku-COL-AN14 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;