unclasp version 0.1
Reading from outn6xHB5/gringo_out
Answer: 1
in("xserver-common",21913) in("libgda2-3",10814) in("dia-libs",7891) in("libspeex
Optimization: 2427340 226 543 1252 
Answer: 1
in("xserver-common",21913) in("libgda2-3",10814) in("dia-libs",7891) in("libspeex
Optimization: 1991433 280 571 1014 
Answer: 1
in("xserver-common",21913) in("libgda2-3",10814) in("dia-libs",7891) in("libspeex
Optimization: 1991433 279 583 1014 
Answer: 1
in("xserver-common",21913) in("libgda2-3",10814) in("dia-libs",7891) in("libspeex
Optimization: 1991433 279 579 1014 
Answer: 1
in("xserver-common",21913) in("libgda2-3",10814) in("dia-libs",7891) in("libspeex
Optimization: 1991433 279 538 1014 
Answer: 1
in("xserver-common",21913) in("libgda2-3",10814) in("dia-libs",7891) in("libspeex
Optimization: 1991433 279 538 1014 
Answer: 1
in("xserver-common",21913) in("libgda2-3",10814) in("dia-libs",7891) in("libspeex
Optimization: 1991433 279 538 1014 
Answer: 1
in("xserver-common",21913) in("libgda2-3",10814) in("dia-libs",7891) in("libspeex
Optimization: 1991433 279 538 1014 
SATISFIABLE

Models      : 1+    
  Enumerated: 8
  Optimum   : unknown
Optimization: 1991433 279 538 1014 
Time        : 13.450s (Solving: 11.24s 1st Model: 1.75s Unsat: 0.00s)
Choices     : 4768
Conflicts   : 180
Restarts    : 0

Atoms       : 1039719
Rules       : 1121368 (1: 1111539 2: 1575 3: 8250 6: 4)
Bodies      : 50070 
Equivalences: 2076709 (Atom=Atom: 1011754 Body=Body: 13307 Other: 1051648)
Tight       : Yes

Variables   : 41200  (Eliminated:    0)
Constraints : 1043   (Binary:  6.8% Ternary:  0.4% Other: 92.8%)
Lemmas      : 125    (Binary: 56.8% Ternary: 12.8% Other: 30.4%)
  Conflicts : 125    (Average Length: 4.9) 
  Loops     : 0      (Average Length: 0.0) 
  Other     : 0      (Average Length: 0.0) 
  Deleted   : 0     
% warning: recommends/4 is never defined