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_file138", (pid: 20193) started at Wed Dec 17 21:16:14 2003 c Reading clauses in DIMACS format from file "dimacs_file138". c Max_atom = 6, Clause_num = 11 c Timeout set after 169200 seconds c The mallocated memory is 2049.23 Kbytes. c There are 11 clauses on 6 variables (6 binary, 4 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) 2049.23 --------------------------------------- c The job "/home/stuart/AKT/ALC-SAT/sato4.1/sato dimacs_file138", (pid: 20193) ended at Wed Dec 17 21:16:14 2003