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