----- ANLDP 2.2, August 2003 ----- The process was started by mccune on gyro.thornwood, Tue Aug 19 14:48:15 2003 The command was "../../bin/anldp -m1000". After all unit preprocessing, 4 atoms are still unassigned; 16 clauses remain; 11 of those are non-Horn (selectable); 4882 K allocated; cpu time so far for this domain size: 0.00 sec.  The search is complete. No models were found. ----- statistics for domain size 0 ---- Input: Clauses input 16 Literal occurrences input 64 Greatest atom 4 Unit preprocess: Preprocess unit assignments 0 Clauses after subsumption 16 Literal occ. after subsump. 64 Selectable clauses 11 Decide: Splits 7 Unit assignments 0 Failed paths 8 Memory: Memory malloced 0 K Memory MACE_tp_alloced 4882 K Time (seconds): Generate ground clauses 0.00 DPLL 0.00 ======================================= Total times for run (seconds): user CPU time 0.00 (0 hr, 0 min, 0 sec) system CPU time 0.00 (0 hr, 0 min, 0 sec) wall-clock time 0 (0 hr, 0 min, 0 sec) The search is complete. No models were found. The job finished Tue Aug 19 14:48:15 2003