1----- ANLDP 2.2, August 2003 -----
2The process was started by mccune on gyro.thornwood,
3Mon Aug  2 15:45:35 2004
4The command was "../../bin/anldp -m1000".
5
6After all unit preprocessing, 2 atoms are still unassigned;
74 clauses remain; 1 of those are non-Horn (selectable);
84882 K allocated; cpu time so far for this domain size: 0.00 sec.
9
10The search is complete.  No models were found.
11
12
13----- statistics for domain size 0 ----
14Input:
15    Clauses input                     4
16    Literal occurrences input         8
17    Greatest atom                     2
18Unit preprocess:
19    Preprocess unit assignments       0
20    Clauses after subsumption         4
21    Literal occ. after subsump.       8
22    Selectable clauses                1
23Decide:
24    Splits                            1
25    Unit assignments                  0
26    Failed paths                      2
27Memory:
28    Memory malloced                 0 K
29    Memory MACE_tp_alloced       4882 K
30Time (seconds):
31    Generate ground clauses        0.00
32    DPLL                           0.00
33
34=======================================
35Total times for run (seconds):
36    user CPU time                  0.00   (0 hr, 0 min, 0 sec)
37    system CPU time                0.00   (0 hr, 0 min, 0 sec)
38    wall-clock time                0      (0 hr, 0 min, 0 sec)
39
40The search is complete.  No models were found.
41
42The job finished Mon Aug  2 15:45:35 2004
43