"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