summaryrefslogtreecommitdiffstats
path: root/vendor/varisat/tests/cnfs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-05-18 02:49:50 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-05-18 02:49:50 +0000
commit9835e2ae736235810b4ea1c162ca5e65c547e770 (patch)
tree3fcebf40ed70e581d776a8a4c65923e8ec20e026 /vendor/varisat/tests/cnfs
parentReleasing progress-linux version 1.70.0+dfsg2-1~progress7.99u1. (diff)
downloadrustc-9835e2ae736235810b4ea1c162ca5e65c547e770.tar.xz
rustc-9835e2ae736235810b4ea1c162ca5e65c547e770.zip
Merging upstream version 1.71.1+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'vendor/varisat/tests/cnfs')
-rw-r--r--vendor/varisat/tests/cnfs/sgen1_sat_90_0.cnf217
-rw-r--r--vendor/varisat/tests/cnfs/sgen1_unsat_57_0.cnf125
2 files changed, 342 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
diff --git a/vendor/varisat/tests/cnfs/sgen1_unsat_57_0.cnf b/vendor/varisat/tests/cnfs/sgen1_unsat_57_0.cnf
new file mode 100644
index 000000000..045a3c5da
--- /dev/null
+++ b/vendor/varisat/tests/cnfs/sgen1_unsat_57_0.cnf
@@ -0,0 +1,125 @@
+p cnf 57 124
+-2 -3 -4 0
+-1 -3 -4 0
+-1 -2 -4 0
+-1 -2 -3 0
+-6 -7 -8 0
+-5 -7 -8 0
+-5 -6 -8 0
+-5 -6 -7 0
+-10 -11 -12 0
+-9 -11 -12 0
+-9 -10 -12 0
+-9 -10 -11 0
+-14 -15 -16 0
+-13 -15 -16 0
+-13 -14 -16 0
+-13 -14 -15 0
+-18 -19 -20 0
+-17 -19 -20 0
+-17 -18 -20 0
+-17 -18 -19 0
+-22 -23 -24 0
+-21 -23 -24 0
+-21 -22 -24 0
+-21 -22 -23 0
+-26 -27 -28 0
+-25 -27 -28 0
+-25 -26 -28 0
+-25 -26 -27 0
+-30 -31 -32 0
+-29 -31 -32 0
+-29 -30 -32 0
+-29 -30 -31 0
+-34 -35 -36 0
+-33 -35 -36 0
+-33 -34 -36 0
+-33 -34 -35 0
+-38 -39 -40 0
+-37 -39 -40 0
+-37 -38 -40 0
+-37 -38 -39 0
+-42 -43 -44 0
+-41 -43 -44 0
+-41 -42 -44 0
+-41 -42 -43 0
+-46 -47 -48 0
+-45 -47 -48 0
+-45 -46 -48 0
+-45 -46 -47 0
+-50 -51 -52 0
+-49 -51 -52 0
+-49 -50 -52 0
+-49 -50 -51 0
+-53 -54 -55 0
+-53 -54 -56 0
+-53 -54 -57 0
+-53 -55 -56 0
+-53 -55 -57 0
+-53 -56 -57 0
+-54 -55 -56 0
+-54 -55 -57 0
+-54 -56 -57 0
+-55 -56 -57 0
+5 13 43 0
+32 13 43 0
+32 5 43 0
+32 5 13 0
+51 39 19 0
+10 39 19 0
+10 51 19 0
+10 51 39 0
+26 1 16 0
+11 1 16 0
+11 26 16 0
+11 26 1 0
+30 4 20 0
+34 4 20 0
+34 30 20 0
+34 30 4 0
+24 18 28 0
+8 18 28 0
+8 24 28 0
+8 24 18 0
+50 46 3 0
+41 46 3 0
+41 50 3 0
+41 50 46 0
+56 40 2 0
+6 40 2 0
+6 56 2 0
+6 56 40 0
+37 45 31 0
+27 45 31 0
+27 37 31 0
+27 37 45 0
+33 38 42 0
+22 38 42 0
+22 33 42 0
+22 33 38 0
+21 9 29 0
+55 9 29 0
+55 21 29 0
+55 21 9 0
+52 44 25 0
+54 44 25 0
+54 52 25 0
+54 52 44 0
+17 14 47 0
+57 14 47 0
+57 17 47 0
+57 17 14 0
+49 15 36 0
+23 15 36 0
+23 49 36 0
+23 49 15 0
+35 7 48 0
+35 7 53 0
+35 7 12 0
+35 48 53 0
+35 48 12 0
+35 53 12 0
+7 48 53 0
+7 48 12 0
+7 53 12 0
+48 53 12 0