----- 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, 72 atoms are still unassigned; 297 clauses remain; 9 of those are non-Horn (selectable); 4884 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 297 Literal occurrences input 648 Greatest atom 72 Unit preprocess: Preprocess unit assignments 0 Clauses after subsumption 297 Literal occ. after subsump. 648 Selectable clauses 9 Decide: Splits 40319 Unit assignments 435837 Failed paths 40320 Memory: Memory malloced 2 K Memory MACE_tp_alloced 4882 K Time (seconds): Generate ground clauses 0.00 DPLL 0.11 ======================================= Total times for run (seconds): user CPU time 0.11 (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