----- ANLDP 2.2, August 2003 -----
The process was started by mccune on gyro.thornwood,
Tue Aug 19 14:48:17 2003
The command was "../../bin/anldp -m1000".

After all unit preprocessing, 100 atoms are still unassigned;
1480 clauses remain; 10 of those are non-Horn (selectable);
4884 K allocated; cpu time so far for this domain size: 0.00 sec.

The 1st model has been found.

The 10th model has been found.

The 100th model has been found.

The search is complete.  The set is satisfiable (724 model(s) found).


----- statistics for domain size 0 ----
Input:
    Clauses input                  1480
    Literal occurrences input      3040
    Greatest atom                   100
Unit preprocess:
    Preprocess unit assignments       0
    Clauses after subsumption      1480
    Literal occ. after subsump.    3040
    Selectable clauses               10
Decide:
    Splits                         5715
    Unit assignments              85716
    Failed paths                   4992
Memory:
    Memory malloced                 2 K
    Memory MACE_tp_alloced       4882 K
Time (seconds):
    Generate ground clauses        0.00
    DPLL                           0.04

=======================================
Total times for run (seconds):
    user CPU time                  0.04   (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.  The set is satisfiable (724 model(s) found).

The job finished Tue Aug 19 14:48:17 2003