c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 80 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 79 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 80 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 80 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 99 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 169 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 170 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 170 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 170 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 300 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 300 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 297 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 299 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 76 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 80 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 80 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 80 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 98 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 186 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 800 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1552 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2798 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2068 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4088 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6108 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8214 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3065 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6689 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3207 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6547 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3136 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6121 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 19368 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 23281 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 24792 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16121 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 13803 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15901 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 12461 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 14766 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7825 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 850 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 800 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 800 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 800 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 800 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 800 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 800 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 800 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 800 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 800 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 800 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 800 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 800 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 800 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 800 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 800 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 800 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 800 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 800 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 800 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 800 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 900 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 900 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 900 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 900 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 900 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 900 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 900 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 900 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 900 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 900 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 133 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 204 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 297 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 415