"c Command line: /users/iasi/simon/Recherche/SAT2002/Generator-Submission/hirsch/hgen5/hgen5 100 2029002754"
"c Original file name: /tmp/unigen-6459-output/hgen-sat-incclen25-uniform-asymm-notriples_3-CNF-0_v100_c709_s2029002754.cnf"
C86 false
C18 true
C30 false
C85 false
C43 false
C23 false
C83 true
C66 false
C92 false
C1 false
C45 true
C5 false
C14 true
C17 false
C53 false
C87 false
C89 false
C38 true
C47 false
C9 false
C97 false
C50 true
C52 false
C99 false
C46 true
C65 false
C41 true
C33 true
C24 true
C59 false
C37 false
C95 true
C11 true
C69 false
C61 false
C56 false
C35 false
C73 false
C19 true
C55 NULL
C84 false
C26 false
C40 false
C67 false
C51 true
C77 false
C32 false
C64 true
C91 true
C13 false
C34 false
C81 true
C12 false
C44 true
C76 true
C71 false
C39 false
C70 false
C98 true
C62 false
C42 true
C94 true
C82 true
C63 false
C96 false
C72 true
C88 false
C74 true
C36 true
C16 false
C31 false
C21 NULL
C22 true
C90 false
C93 false
C4 false
C15 false
C28 true
C80 false
C2 false
C68 false
C3 false
C29 false
C20 true
C27 false
C54 true
C78 false
C100 false
C6 NULL
C7 true
C25 false
C57 true
C79 false
C48 true
C75 false
C49 false
C58 true
C8 true
C10 true
C60 true