hclasp version 1.1.4 (clasp version 2.1.3)
Reading from stdin
Solving...
Answer: 1
new_seed("GLC__45__6__45__P") new_seed("L__45__ASPARTATE") new_seed("PROTOHEME") new_seed("VITAMIN_K_2") new_seed("GLN") new_seed("L__45__ALPHA__45__ALANINE") new_seed("DIHYDRO__45__NEO__45__PTERIN")
Answer: 2
new_seed("GLC__45__6__45__P") new_seed("L__45__ASPARTATE") new_seed("HOMO__45__SER") new_seed("PROTOHEME") new_seed("VITAMIN_K_2") new_seed("ACETALD") new_seed("GLN") new_seed("SULFATE") new_seed("DIHYDRO__45__NEO__45__PTERIN")
Answer: 3
new_seed("THR") new_seed("GLC__45__6__45__P") new_seed("L__45__ASPARTATE") new_seed("HOMO__45__SER") new_seed("PROTOHEME") new_seed("VITAMIN_K_2") new_seed("GLN") new_seed("SULFATE") new_seed("DIHYDRO__45__NEO__45__PTERIN")
SATISFIABLE

Models      : 3     
Time        : 0.073s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time    : 0.020s
Choices     : 43     (Domain: 25)
Conflicts   : 3
Restarts    : 0     

Atoms       : 2550  
Rules       : 3763   (1: 3469 3: 294)
Bodies      : 1714  
Equivalences: 8136   (Atom=Atom: 1688 Body=Body: 364 Other: 6084)
Tight       : No     (SCCs: 30 Nodes: 700)

Variables   : 1193   (Eliminated:    0 Frozen:  465)
Constraints : 1243   (Binary: 78.0% Ternary: 20.8% Other:  1.3%)
Lemmas      : 9      (Binary:  0.0% Ternary: 33.3% Other: 66.7%)
  Conflict  : 3      (Average Length: 1.0) 
  Loop      : 4      (Average Length: 3.2) 
  Other     : 2      (Average Length: 1.0)
  Deleted   : 0     
