1 files changed, 125 insertions, 0 deletions

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