ersatz-0.2: data/dimacs/phole/hole7.cnf
c File: hole7.cnf
c
c SOURCE: John Hooker (jh38+@andrew.cmu.edu)
c
c DESCRIPTION: Pigeon hole problem of placing n (for file holen) pigeons
c in n+1 holes without placing 2 pigeons in the same hole
c
c NOTE: Part of the collection at the Forschungsinstitut fuer
c anwendungsorientierte Wissensverarbeitung in Ulm Germany.
c
c NOTE: Not satisfiable
c
p cnf 56 204
-1 -8 0
-1 -15 0
-1 -22 0
-1 -29 0
-1 -36 0
-1 -43 0
-1 -50 0
-8 -15 0
-8 -22 0
-8 -29 0
-8 -36 0
-8 -43 0
-8 -50 0
-15 -22 0
-15 -29 0
-15 -36 0
-15 -43 0
-15 -50 0
-22 -29 0
-22 -36 0
-22 -43 0
-22 -50 0
-29 -36 0
-29 -43 0
-29 -50 0
-36 -43 0
-36 -50 0
-43 -50 0
-2 -9 0
-2 -16 0
-2 -23 0
-2 -30 0
-2 -37 0
-2 -44 0
-2 -51 0
-9 -16 0
-9 -23 0
-9 -30 0
-9 -37 0
-9 -44 0
-9 -51 0
-16 -23 0
-16 -30 0
-16 -37 0
-16 -44 0
-16 -51 0
-23 -30 0
-23 -37 0
-23 -44 0
-23 -51 0
-30 -37 0
-30 -44 0
-30 -51 0
-37 -44 0
-37 -51 0
-44 -51 0
-3 -10 0
-3 -17 0
-3 -24 0
-3 -31 0
-3 -38 0
-3 -45 0
-3 -52 0
-10 -17 0
-10 -24 0
-10 -31 0
-10 -38 0
-10 -45 0
-10 -52 0
-17 -24 0
-17 -31 0
-17 -38 0
-17 -45 0
-17 -52 0
-24 -31 0
-24 -38 0
-24 -45 0
-24 -52 0
-31 -38 0
-31 -45 0
-31 -52 0
-38 -45 0
-38 -52 0
-45 -52 0
-4 -11 0
-4 -18 0
-4 -25 0
-4 -32 0
-4 -39 0
-4 -46 0
-4 -53 0
-11 -18 0
-11 -25 0
-11 -32 0
-11 -39 0
-11 -46 0
-11 -53 0
-18 -25 0
-18 -32 0
-18 -39 0
-18 -46 0
-18 -53 0
-25 -32 0
-25 -39 0
-25 -46 0
-25 -53 0
-32 -39 0
-32 -46 0
-32 -53 0
-39 -46 0
-39 -53 0
-46 -53 0
-5 -12 0
-5 -19 0
-5 -26 0
-5 -33 0
-5 -40 0
-5 -47 0
-5 -54 0
-12 -19 0
-12 -26 0
-12 -33 0
-12 -40 0
-12 -47 0
-12 -54 0
-19 -26 0
-19 -33 0
-19 -40 0
-19 -47 0
-19 -54 0
-26 -33 0
-26 -40 0
-26 -47 0
-26 -54 0
-33 -40 0
-33 -47 0
-33 -54 0
-40 -47 0
-40 -54 0
-47 -54 0
-6 -13 0
-6 -20 0
-6 -27 0
-6 -34 0
-6 -41 0
-6 -48 0
-6 -55 0
-13 -20 0
-13 -27 0
-13 -34 0
-13 -41 0
-13 -48 0
-13 -55 0
-20 -27 0
-20 -34 0
-20 -41 0
-20 -48 0
-20 -55 0
-27 -34 0
-27 -41 0
-27 -48 0
-27 -55 0
-34 -41 0
-34 -48 0
-34 -55 0
-41 -48 0
-41 -55 0
-48 -55 0
-7 -14 0
-7 -21 0
-7 -28 0
-7 -35 0
-7 -42 0
-7 -49 0
-7 -56 0
-14 -21 0
-14 -28 0
-14 -35 0
-14 -42 0
-14 -49 0
-14 -56 0
-21 -28 0
-21 -35 0
-21 -42 0
-21 -49 0
-21 -56 0
-28 -35 0
-28 -42 0
-28 -49 0
-28 -56 0
-35 -42 0
-35 -49 0
-35 -56 0
-42 -49 0
-42 -56 0
-49 -56 0
7 6 5 4 3 2 1 0
14 13 12 11 10 9 8 0
21 20 19 18 17 16 15 0
28 27 26 25 24 23 22 0
35 34 33 32 31 30 29 0
42 41 40 39 38 37 36 0
49 48 47 46 45 44 43 0
56 55 54 53 52 51 50 0