diff options
Diffstat (limited to 'vendor/varisat/tests/cnfs/sgen1_sat_90_0.cnf')
| -rw-r--r-- | vendor/varisat/tests/cnfs/sgen1_sat_90_0.cnf | 217 |
1 files changed, 217 insertions, 0 deletions
diff --git a/vendor/varisat/tests/cnfs/sgen1_sat_90_0.cnf b/vendor/varisat/tests/cnfs/sgen1_sat_90_0.cnf new file mode 100644 index 000000000..a465a7283 --- /dev/null +++ b/vendor/varisat/tests/cnfs/sgen1_sat_90_0.cnf @@ -0,0 +1,217 @@ +p cnf 90 216 +-1 -2 0 +-1 -3 0 +-1 -4 0 +-1 -5 0 +-2 -3 0 +-2 -4 0 +-2 -5 0 +-3 -4 0 +-3 -5 0 +-4 -5 0 +-6 -7 0 +-6 -8 0 +-6 -9 0 +-6 -10 0 +-7 -8 0 +-7 -9 0 +-7 -10 0 +-8 -9 0 +-8 -10 0 +-9 -10 0 +-11 -12 0 +-11 -13 0 +-11 -14 0 +-11 -15 0 +-12 -13 0 +-12 -14 0 +-12 -15 0 +-13 -14 0 +-13 -15 0 +-14 -15 0 +-16 -17 0 +-16 -18 0 +-16 -19 0 +-16 -20 0 +-17 -18 0 +-17 -19 0 +-17 -20 0 +-18 -19 0 +-18 -20 0 +-19 -20 0 +-21 -22 0 +-21 -23 0 +-21 -24 0 +-21 -25 0 +-22 -23 0 +-22 -24 0 +-22 -25 0 +-23 -24 0 +-23 -25 0 +-24 -25 0 +-26 -27 0 +-26 -28 0 +-26 -29 0 +-26 -30 0 +-27 -28 0 +-27 -29 0 +-27 -30 0 +-28 -29 0 +-28 -30 0 +-29 -30 0 +-31 -32 0 +-31 -33 0 +-31 -34 0 +-31 -35 0 +-32 -33 0 +-32 -34 0 +-32 -35 0 +-33 -34 0 +-33 -35 0 +-34 -35 0 +-36 -37 0 +-36 -38 0 +-36 -39 0 +-36 -40 0 +-37 -38 0 +-37 -39 0 +-37 -40 0 +-38 -39 0 +-38 -40 0 +-39 -40 0 +-41 -42 0 +-41 -43 0 +-41 -44 0 +-41 -45 0 +-42 -43 0 +-42 -44 0 +-42 -45 0 +-43 -44 0 +-43 -45 0 +-44 -45 0 +-46 -47 0 +-46 -48 0 +-46 -49 0 +-46 -50 0 +-47 -48 0 +-47 -49 0 +-47 -50 0 +-48 -49 0 +-48 -50 0 +-49 -50 0 +-51 -52 0 +-51 -53 0 +-51 -54 0 +-51 -55 0 +-52 -53 0 +-52 -54 0 +-52 -55 0 +-53 -54 0 +-53 -55 0 +-54 -55 0 +-56 -57 0 +-56 -58 0 +-56 -59 0 +-56 -60 0 +-57 -58 0 +-57 -59 0 +-57 -60 0 +-58 -59 0 +-58 -60 0 +-59 -60 0 +-61 -62 0 +-61 -63 0 +-61 -64 0 +-61 -65 0 +-62 -63 0 +-62 -64 0 +-62 -65 0 +-63 -64 0 +-63 -65 0 +-64 -65 0 +-66 -67 0 +-66 -68 0 +-66 -69 0 +-66 -70 0 +-67 -68 0 +-67 -69 0 +-67 -70 0 +-68 -69 0 +-68 -70 0 +-69 -70 0 +-71 -72 0 +-71 -73 0 +-71 -74 0 +-71 -75 0 +-72 -73 0 +-72 -74 0 +-72 -75 0 +-73 -74 0 +-73 -75 0 +-74 -75 0 +-76 -77 0 +-76 -78 0 +-76 -79 0 +-76 -80 0 +-77 -78 0 +-77 -79 0 +-77 -80 0 +-78 -79 0 +-78 -80 0 +-79 -80 0 +-81 -82 0 +-81 -83 0 +-81 -84 0 +-81 -85 0 +-82 -83 0 +-82 -84 0 +-82 -85 0 +-83 -84 0 +-83 -85 0 +-84 -85 0 +-86 -87 0 +-86 -88 0 +-86 -89 0 +-86 -90 0 +-87 -88 0 +-87 -89 0 +-87 -90 0 +-88 -89 0 +-88 -90 0 +-89 -90 0 +1 85 34 20 9 0 +6 46 59 82 30 0 +11 80 28 33 70 0 +47 17 36 41 35 0 +84 15 23 39 51 0 +21 42 54 29 77 0 +58 32 71 50 53 0 +7 37 55 78 88 0 +83 73 43 2 76 0 +89 25 48 18 67 0 +72 52 5 27 16 0 +56 8 44 63 69 0 +90 40 31 64 26 0 +24 3 68 38 57 0 +22 10 65 74 14 0 +62 49 4 79 13 0 +81 66 75 61 86 0 +60 87 19 45 12 0 +1 90 14 24 59 0 +6 78 53 57 72 0 +11 9 65 86 18 0 +82 17 13 35 38 0 +66 89 23 54 83 0 +69 50 15 29 71 0 +42 32 10 85 3 0 +2 37 70 8 63 0 +5 55 43 20 76 0 +36 88 48 45 75 0 +47 52 61 21 31 0 +56 67 46 19 39 0 +60 73 80 64 34 0 +77 25 68 12 41 0 +22 4 16 74 30 0 +27 84 49 79 7 0 +81 44 62 28 58 0 +26 87 51 40 33 0 |