npm - @cyrilverloop/codingame-configuration - Versions diffs - 1.14.0 → 1.16.0 - Mend

@cyrilverloop/codingame-configuration 1.14.0 → 1.16.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (1223) hide show

package/config/hard/HornSATSolver/input/06 - huge sat.txt ADDED Viewed

@@ -0,0 +1,383 @@
+p cnf 110 382
+-20 -26 -44 -67 80 0
+-50 -56 -110 0
+33 -40 -55 -66 -82 0
+-50 -54 -67 -69 -75 -77 -106 0
+-61 -88 0
+-14 -19 -23 -31 -43 -58 0
+-50 0
+-13 -22 80 -94 0
+-61 -74 0
+102 0
+-23 -45 0
+-3 -29 -30 -33 -42 -45 -53 0
+-20 -79 0
+-17 -34 -39 0
+-11 -33 -49 -51 -85 0
+-2 -5 -35 -45 -48 90 0
+-18 20 -30 -70 -102 -104 0
+-9 -26 -64 0
+-14 -49 0
+-34 0
+-42 -83 0
+-1 -26 0
+92 0
+-33 -53 -57 -58 -82 -89 0
+7 -25 -35 -37 -53 -80 0
+-13 -66 -86 -105 0
+-42 -51 -56 -76 -107 0
+-16 -59 0
+-50 -77 -93 0
+-1 -92 -102 -103 -106 0
+83 0
+-7 -38 -50 -56 -74 -88 0
+-22 -72 -90 0
+-20 -46 -53 -73 -99 -109 0
+-60 -79 0
+-2 -74 0
+-1 -14 -86 -101 0
+-26 -35 -45 -83 -98 -108 0
+103 0
+-27 -68 -69 -75 -90 0
+-10 -37 -56 -65 -75 0
+-30 -53 -107 0
+-29 -34 45 -78 -92 -106 0
+-9 -16 -60 -65 -97 -98 0
+-11 -15 -32 -33 -76 -96 -103 0
+1 0
+78 0
+-40 -57 -74 -78 86 -105 0
+-19 48 -64 -70 -79 -109 0
+-29 -66 -72 -81 0
+-12 -47 -86 -101 -110 0
+-55 -108 0
+-7 -10 -61 -85 -92 -108 0
+101 0
+-62 0
+-12 -20 -34 -37 -41 -43 -74 0
+-49 -55 -68 -89 -93 0
+-1 -11 -31 -79 -106 0
+-10 -13 -42 -82 -84 -106 -109 0
+-15 -23 -26 -32 -54 -64 -70 0
+-22 -32 -33 -74 -96 0
+16 -44 0
+-27 -96 0
+-4 -8 -27 -82 -97 -102 0
+-58 64 -73 -81 0
+-87 -103 0
+-1 -4 -8 -36 -78 -80 -81 0
+-13 -57 -61 -67 -81 -93 0
+-5 -27 -76 -80 -87 -88 -107 0
+-38 -63 -93 -104 0
+-13 -26 -37 -41 -106 0
+-7 -10 -33 -66 -103 0
+77 0
+-37 -52 -70 -85 0
+-15 -47 -99 0
+-74 0
+-9 41 -69 -77 -93 -95 0
+-12 -43 -45 -46 -53 -63 -105 0
+-43 -63 -75 -84 -90 -107 -108 0
+-6 -10 -21 -23 -48 -55 -72 0
+-26 -48 -56 -58 0
+-9 0
+-31 -52 -71 89 0
+-4 -71 0
+-3 -7 -14 -22 -55 -57 0
+-13 -31 42 -58 -92 0
+-22 -23 -27 -52 -71 82 -108 0
+-20 -97 0
+-2 -30 -41 -62 -68 85 -93 0
+-38 -108 0
+24 -57 -82 0
+-28 -37 -53 0
+-1 -28 -31 -34 0
+-65 0
+-20 -49 -110 0
+-28 -31 -34 -61 -65 -94 0
+-15 -44 -52 -63 -73 -86 -94 0
+-15 37 -42 -48 -66 -87 0
+-4 -67 98 0
+-4 -16 -106 0
+-7 -14 -47 -81 -84 -87 -100 0
+-27 -54 -81 -83 -93 -97 98 0
+-82 -85 0
+-4 -26 -31 -33 -52 57 -74 0
+-1 -29 -48 -92 -95 0
+-6 -14 -30 -45 -84 0
+-5 -33 0
+-32 -44 -63 -96 0
+-6 -13 -28 -51 -60 83 -94 0
+-9 -56 -69 -70 -74 -85 -97 0
+-28 -88 -106 0
+44 -77 0
+-10 -14 -52 -72 -109 0
+-1 -53 0
+-64 -71 -91 0
+-31 -100 0
+-15 -18 -22 -41 0
+-18 -42 -43 -54 -85 -88 0
+-32 -47 0
+-25 -35 -47 -67 -71 -92 -100 0
+-9 -31 -66 -85 0
+-3 -7 -44 -52 -73 -80 91 0
+-25 -38 -39 -60 -61 -67 -92 0
+-20 -23 0
+-11 -39 -69 -97 0
+-41 -47 -73 -86 -92 -99 0
+-24 -32 -50 -88 0
+-69 77 -84 0
+13 0
+-32 -103 -109 0
+98 0
+-11 -13 -14 37 -68 -92 -108 0
+-27 -59 -99 0
+-22 -41 -48 -77 0
+-12 -18 -67 -80 -92 0
+51 0
+39 0
+20 0
+44 0
+-43 -70 -74 -92 -100 -105 106 0
+-3 -14 -29 -36 -40 -53 -75 0
+-5 -14 -34 -43 -49 0
+-74 -98 0
+-2 -15 -56 -66 0
+-21 -23 -26 -44 -46 -66 -106 0
+-29 -42 -78 -82 100 -106 0
+-25 -28 -36 0
+-1 -51 -59 -72 -101 0
+-1 -21 -81 0
+-22 -46 -64 -92 -100 -107 0
+-15 -19 -37 -67 0
+-1 -25 37 -104 0
+-19 -32 -59 -106 0
+21 -31 -36 -47 -78 -94 0
+69 -74 0
+86 0
+-55 0
+-1 -5 -28 66 -96 -102 0
+-4 -7 -29 -42 -57 -102 -103 0
+-15 -23 64 -88 0
+-6 -31 -35 -55 -69 -77 -108 0
+-5 7 -33 -78 -80 0
+-20 46 -61 0
+-40 -76 0
+-41 -89 -108 0
+-49 -77 0
+-18 -30 0
+-49 94 -100 0
+-12 -37 -38 -39 -71 -108 0
+-18 -47 -95 -96 -104 0
+3 0
+56 0
+-55 -59 -68 -92 -97 0
+-29 -30 -60 -61 -85 -93 0
+-3 -38 -60 -70 -78 -100 0
+-46 -50 -69 -83 0
+-34 -35 -55 0
+-5 -21 -52 -57 -66 89 0
+-20 -99 0
+-24 -55 -68 0
+-23 -25 -51 -70 -82 -98 -107 0
+-1 -11 -15 -43 -66 -102 -105 0
+-93 -103 0
+-1 -28 0
+-20 -76 -106 0
+-4 -24 -67 -72 0
+-29 -35 -52 -81 -98 0
+-16 -54 0
+-27 -30 -63 -103 0
+-41 -103 0
+-9 -33 -39 -54 -63 -67 -99 0
+-9 -25 -43 -54 -63 -93 -99 0
+13 -30 -39 -56 -72 -93 0
+-20 -56 -63 -73 0
+-69 -86 0
+-23 -51 0
+-49 -81 0
+-49 -76 -108 0
+-49 -56 -67 -71 -72 0
+-26 -50 -73 0
+-2 -55 -72 -96 -100 -106 0
+-9 -28 -36 -41 -55 -106 -108 0
+-16 -19 -58 -94 0
+-13 -33 -52 -54 -86 -89 -106 0
+-49 -83 -93 0
+-4 -39 -56 -59 -82 -108 0
+-9 -30 -47 48 0
+-4 -44 -51 -78 102 0
+-70 -71 -88 -97 108 -109 -110 0
+-38 -63 -79 0
+-31 -32 -42 -62 -88 -96 0
+-8 -23 -54 -82 -106 0
+-36 -47 -103 0
+-3 -15 -69 -78 0
+-25 -26 -74 -79 -91 -98 -102 0
+-10 -20 -77 0
+-13 -31 -45 0
+-5 -18 -65 0
+-81 -92 0
+-41 -77 -87 -89 0
+-28 32 -33 -35 0
+-6 -13 -27 -30 -39 -47 -76 0
+-17 -29 -32 -33 -58 -75 0
+-9 14 -38 -41 -52 0
+-5 32 -34 -41 0
+-14 -64 -92 -96 0
+-48 87 -102 0
+-10 -15 -18 -31 -33 -80 0
+-9 -35 -38 -52 -73 -80 -87 0
+-18 -64 0
+-23 -34 -39 -70 -87 -100 -108 0
+-23 -69 0
+30 -38 -58 -59 -67 -84 -90 0
+-6 -14 -24 -27 -68 -97 0
+-34 -38 -42 -57 0
+-32 -35 0
+-34 -36 -94 0
+-18 -38 -70 -90 -101 0
+-17 -102 0
+-9 -18 -27 -34 -70 -87 0
+-27 -37 -50 51 -69 0
+-33 -40 -63 -97 -98 0
+-7 -20 -32 -39 -47 0
+59 -60 0
+-15 -39 -56 -57 -106 -110 0
+-3 -32 -35 -44 0
+-7 -10 -12 -74 -89 0
+-31 -101 0
+-38 -72 -78 -97 -105 0
+-14 -20 -46 -64 -84 0
+-4 -26 -35 -60 -68 0
+-5 -31 -48 -80 -99 -103 0
+-1 -10 -86 0
+-1 -6 -33 -71 -78 -79 -85 0
+27 -83 0
+18 -92 0
+-28 -37 -62 -64 -77 -78 0
+-8 -25 -42 -46 -87 0
+-49 -59 -87 -105 0
+-19 102 0
+-30 71 -73 -87 -94 0
+-16 -29 -52 -74 -108 0
+-53 -86 -89 104 -106 0
+-17 -20 -35 -52 -54 -98 0
+-16 -20 -30 -33 -55 -97 0
+-58 -80 -89 0
+-28 -74 -97 -101 0
+-2 -6 -53 -82 -103 -109 0
+-12 -24 64 -78 -93 -96 0
+-2 -13 -31 -63 -72 -101 0
+-39 -41 -42 47 -98 -107 -108 0
+-5 -80 0
+-46 -77 -86 0
+-59 -92 -97 0
+-6 -25 -48 -51 -54 -71 -94 0
+-4 -16 -22 -41 -62 -76 -98 0
+-28 -37 -95 0
+-4 -17 -40 -47 -53 0
+-16 -56 -109 0
+31 -35 -51 0
+-4 -12 -26 -32 -70 -90 -103 0
+-3 -5 -12 -49 0
+-27 -40 -44 -89 0
+-3 -5 -24 -27 -28 -31 -92 0
+-9 -27 -53 -77 0
+-97 107 0
+-59 -79 0
+-10 -36 -46 -59 -77 -97 0
+-33 -56 -57 -73 107 0
+-2 -7 -81 -93 -99 0
+-16 -75 -107 -110 0
+-13 73 -76 0
+-33 -34 -77 -85 0
+-10 44 -50 -58 -67 -83 -98 0
+-20 -65 -88 -102 0
+-22 -29 -44 0
+14 -30 -31 -73 -82 -87 -93 0
+-21 -33 -47 -56 0
+-18 -28 -44 -45 -75 -78 -108 0
+-22 -26 -33 -53 -65 -105 0
+-20 -33 -58 -92 0
+-65 -98 0
+-8 -12 -22 -29 -99 -103 -104 0
+-27 -50 -97 -100 -104 0
+-2 -12 -23 -41 -85 -110 0
+-10 -12 -27 -56 -102 -107 0
+-25 -28 -55 -56 -72 -73 0
+-22 -40 -69 -88 0
+-29 -35 63 -103 0
+-13 -34 -62 -65 -80 -103 0
+-39 -48 -55 -60 -94 -104 0
+-39 -40 -64 -72 -104 0
+-2 -17 -34 48 0
+-16 -20 -47 -57 -66 -76 -77 0
+-11 -55 -58 92 0
+-25 -45 0
+-24 -26 -27 -65 -69 -74 0
+-51 -64 -77 0
+-53 -77 -88 -97 -99 0
+-1 17 -19 -76 -101 -102 0
+-12 -26 -35 -40 -44 -67 0
+-17 -30 -32 45 -69 0
+-5 -12 -33 -57 -72 -73 -98 0
+-4 -105 0
+-17 -50 -77 -103 0
+-66 -67 0
+-24 -63 -69 -97 0
+-62 -64 -101 0
+-1 9 -32 0
+-7 -76 0
+-11 -23 -35 -55 -58 0
+-8 -17 -42 0
+29 -59 -69 -101 0
+-1 -96 -110 0
+-22 -107 0
+-24 -26 0
+-27 -42 -44 -58 -67 -81 0
+-1 -83 -93 0
+-10 -77 -81 -82 0
+-67 -68 -96 0
+-2 -5 -13 -42 -55 -86 -107 0
+-70 -72 -102 0
+-12 -35 -48 54 -59 -75 -110 0
+-18 -32 48 -66 -73 -74 0
+-29 -30 -57 -99 0
+-11 18 -41 -63 -74 -108 0
+-37 72 -94 0
+-11 -20 -45 -80 84 0
+-2 -45 -95 0
+-42 -64 -75 -100 0
+-9 -24 -69 -85 0
+-29 72 -74 -75 -98 -107 0
+-54 -75 -87 0
+-3 -91 0
+-4 -8 -39 -41 -45 -66 -106 0
+-26 -30 -77 0
+-52 -55 -97 0
+-9 -33 0
+-68 -95 -98 0
+-29 -60 -87 0
+-15 -34 -73 0
+-13 -40 -48 -57 -70 -91 0
+-13 16 -50 -55 -65 -91 0
+-30 -66 0
+-40 -90 0
+-20 -74 -109 0
+-3 -13 -43 -51 -75 0
+-74 -93 -103 0
+-51 -95 -98 0
+-11 -15 -63 -80 -93 -103 0
+-54 99 0
+-15 -17 -38 -63 -103 0
+-37 -83 0
+-32 -42 -96 0
+13 -18 -32 -36 -75 -76 0
+-1 6 -26 -29 -48 -94 -100 0
+-61 -71 -79 0
+-5 -16 -61 -69 -73 -82 -103 0
+-36 -63 -76 -98 0
+-30 -44 -84 0
+-17 -24 -51 -60 0
+-73 -90 0