c ------- SATO 4.1, 06/04/2003 on lanyu.inf.ed.ac.uk ------
c The job "/home/stuart/AKT/ALC-SAT/sato4.1/sato dimacs_file478", (pid: 21894) started at Wed Dec 17 21:16:27 2003

c Reading clauses in DIMACS format from file "dimacs_file478".
c Max_atom = 15, Clause_num = 332
c Timeout set after 169200 seconds
c There are 162 input clauses (4 unit, 3 subsumed, 163 retained).
c The mallocated memory is    2051.77 Kbytes.
c There are 162 clauses on 15 variables (9 binary, 150 non-Horn).
c The clause set is unsatisfiable.
c There is only one branch (0 succeeded, 1 failed).

---------------- Stats ----------------
run time (seconds)                 0.00
  build time                       0.00
  search time                      0.00
mallocated (K bytes)            2052.14
---------------------------------------
c The job "/home/stuart/AKT/ALC-SAT/sato4.1/sato dimacs_file478", (pid: 21894) ended at Wed Dec 17 21:16:27 2003