unclasp version 0.1
Reading from outsX7EJx/gringo_out
Answer: 1
in("kenolaba",28786) in("libpcre3",23913) in("ocaml-nox",20887) in("kdelibs-data"
Optimization: 909710 152 723 354 
Answer: 1
in("kenolaba",28786) in("libpcre3",23913) in("ocaml-nox",20887) in("kdelibs-data"
Optimization: 494862 120 743 279 
Answer: 1
in("kenolaba",28786) in("libpcre3",23913) in("ocaml-nox",20887) in("kdelibs-data"
Optimization: 494862 120 748 279 
Answer: 1
in("kenolaba",28786) in("libpcre3",23913) in("ocaml-nox",20887) in("kdelibs-data"
Optimization: 494862 120 742 279 
Answer: 1
in("kenolaba",28786) in("libpcre3",23913) in("ocaml-nox",20887) in("kdelibs-data"
Optimization: 494862 120 742 279 
Answer: 1
in("kenolaba",28786) in("libpcre3",23913) in("ocaml-nox",20887) in("kdelibs-data"
Optimization: 494862 120 742 279 
Answer: 1
in("kenolaba",28786) in("libpcre3",23913) in("ocaml-nox",20887) in("kdelibs-data"
Optimization: 494862 120 742 279 
SATISFIABLE

Models      : 1+    
  Enumerated: 7
  Optimum   : unknown
Optimization: 494862 120 742 279 
Time        : 6.880s (Solving: 5.64s 1st Model: 0.54s Unsat: 0.00s)
Choices     : 688
Conflicts   : 166
Restarts    : 0

Atoms       : 1036171
Rules       : 1117267 (1: 1107425 2: 1583 3: 8255 6: 4)
Bodies      : 50040 
Equivalences: 2069645 (Atom=Atom: 1008236 Body=Body: 13316 Other: 1048093)
Tight       : Yes

Variables   : 40799  (Eliminated:    0)
Constraints : 1030   (Binary:  5.7% Ternary:  0.4% Other: 93.9%)
Lemmas      : 102    (Binary: 45.1% Ternary: 14.7% Other: 40.2%)
  Conflicts : 102    (Average Length: 5.7) 
  Loops     : 0      (Average Length: 0.0) 
  Other     : 0      (Average Length: 0.0) 
  Deleted   : 0     
% warning: recommends/4 is never defined