c FILE: dubois20.cnf c c SOURCE: Olivier Dubois (dubois@laforia.ibp.fr) c c DESCRIPTION: Instance from generator gensathard.c c c NOTE: Not satisfiable c c d = 20 c n = 60 c p = 160 c r = 3 p 60 160 254: 39 40 1 0 191: 39 40 1 0 247: 39 40 1 0 223: 39 40 1 0 254: 1 41 2 0 191: 1 41 2 0 247: 1 41 2 0 223: 1 41 2 0 254: 2 42 3 0 191: 2 42 3 0 247: 2 42 3 0 223: 2 42 3 0 254: 3 43 4 0 191: 3 43 4 0 247: 3 43 4 0 223: 3 43 4 0 254: 4 44 5 0 191: 4 44 5 0 247: 4 44 5 0 223: 4 44 5 0 254: 5 45 6 0 191: 5 45 6 0 247: 5 45 6 0 223: 5 45 6 0 254: 6 46 7 0 191: 6 46 7 0 247: 6 46 7 0 223: 6 46 7 0 254: 7 47 8 0 191: 7 47 8 0 247: 7 47 8 0 223: 7 47 8 0 254: 8 48 9 0 191: 8 48 9 0 247: 8 48 9 0 223: 8 48 9 0 254: 9 49 10 0 191: 9 49 10 0 247: 9 49 10 0 223: 9 49 10 0 254: 10 50 11 0 191: 10 50 11 0 247: 10 50 11 0 223: 10 50 11 0 254: 11 51 12 0 191: 11 51 12 0 247: 11 51 12 0 223: 11 51 12 0 254: 12 52 13 0 191: 12 52 13 0 247: 12 52 13 0 223: 12 52 13 0 254: 13 53 14 0 191: 13 53 14 0 247: 13 53 14 0 223: 13 53 14 0 254: 14 54 15 0 191: 14 54 15 0 247: 14 54 15 0 223: 14 54 15 0 254: 15 55 16 0 191: 15 55 16 0 247: 15 55 16 0 223: 15 55 16 0 254: 16 56 17 0 191: 16 56 17 0 247: 16 56 17 0 223: 16 56 17 0 254: 17 57 18 0 191: 17 57 18 0 247: 17 57 18 0 223: 17 57 18 0 254: 18 58 19 0 191: 18 58 19 0 247: 18 58 19 0 223: 18 58 19 0 254: 19 59 60 0 191: 19 59 60 0 247: 19 59 60 0 223: 19 59 60 0 254: 20 59 60 0 191: 20 59 60 0 247: 20 59 60 0 223: 20 59 60 0 254: 21 58 20 0 191: 21 58 20 0 247: 21 58 20 0 223: 21 58 20 0 254: 22 57 21 0 191: 22 57 21 0 247: 22 57 21 0 223: 22 57 21 0 254: 23 56 22 0 191: 23 56 22 0 247: 23 56 22 0 223: 23 56 22 0 254: 24 55 23 0 191: 24 55 23 0 247: 24 55 23 0 223: 24 55 23 0 254: 25 54 24 0 191: 25 54 24 0 247: 25 54 24 0 223: 25 54 24 0 254: 26 53 25 0 191: 26 53 25 0 247: 26 53 25 0 223: 26 53 25 0 254: 27 52 26 0 191: 27 52 26 0 247: 27 52 26 0 223: 27 52 26 0 254: 28 51 27 0 191: 28 51 27 0 247: 28 51 27 0 223: 28 51 27 0 254: 29 50 28 0 191: 29 50 28 0 247: 29 50 28 0 223: 29 50 28 0 254: 30 49 29 0 191: 30 49 29 0 247: 30 49 29 0 223: 30 49 29 0 254: 31 48 30 0 191: 31 48 30 0 247: 31 48 30 0 223: 31 48 30 0 254: 32 47 31 0 191: 32 47 31 0 247: 32 47 31 0 223: 32 47 31 0 254: 33 46 32 0 191: 33 46 32 0 247: 33 46 32 0 223: 33 46 32 0 254: 34 45 33 0 191: 34 45 33 0 247: 34 45 33 0 223: 34 45 33 0 254: 35 44 34 0 191: 35 44 34 0 247: 35 44 34 0 223: 35 44 34 0 254: 36 43 35 0 191: 36 43 35 0 247: 36 43 35 0 223: 36 43 35 0 254: 37 42 36 0 191: 37 42 36 0 247: 37 42 36 0 223: 37 42 36 0 254: 38 41 37 0 191: 38 41 37 0 247: 38 41 37 0 223: 38 41 37 0 253: 39 40 38 0 127: 39 40 38 0 251: 39 40 38 0 239: 39 40 38 0