@cyrilverloop/codingame-configuration 1.6.0 → 1.8.0

package/config/medium/SPORECityPlanner/input/03 - Civilization stage, big city.txt

@@ -0,0 +1,16 @@
+11
+14
+0 2
+0 4
+0 7
+0 8
+1 2
+2 4
+3 5
+4 5
+5 6
+7 8
+8 9
+8 10
+9 10
+10 11

package/config/medium/SPORECityPlanner/input/04 - Space stage, big city 1.txt

@@ -0,0 +1,17 @@
+11
+15
+0 3
+0 4
+0 7
+0 10
+1 2
+1 3
+2 3
+3 4
+3 10
+4 5
+5 6
+6 7
+7 8
+8 9
+10 11

package/config/medium/SPORECityPlanner/input/05 - Space stage, big city 2.txt

@@ -0,0 +1,19 @@
+11
+17
+0 2
+0 7
+0 9
+1 2
+2 3
+2 4
+3 4
+4 5
+4 7
+5 6
+6 7
+6 8
+7 8
+7 9
+9 10
+9 11
+10 11

package/config/medium/SPORECityPlanner/output/01 - Test city.txt

@@ -0,0 +1 @@
+2

package/config/medium/SPORECityPlanner/output/02 - Civilization stage, small city.txt

@@ -0,0 +1 @@
+4

package/config/medium/SPORECityPlanner/output/03 - Civilization stage, big city.txt

@@ -0,0 +1 @@
+9

package/config/medium/SPORECityPlanner/output/04 - Space stage, big city 1.txt

@@ -0,0 +1 @@
+10

package/config/medium/SPORECityPlanner/output/05 - Space stage, big city 2.txt

@@ -0,0 +1 @@
+11

package/config/medium/ScaryRideAtTheHauntedMansion/code/CGCode.js

@@ -0,0 +1,8 @@
+const n = parseInt(readline());
+const groups = readline();
+
+// Write an answer using console.log()
+// To debug: console.error('Debug messages...');
+
+console.log('/< | D | D | D | D | D | D | D | D | D | D |');
+console.log('\\< | D | D | D | D | D | D | D | D | D | D |');

package/config/medium/ScaryRideAtTheHauntedMansion/code/CGCode.php

@@ -0,0 +1,9 @@
+<?php
+fscanf(STDIN, "%d", $n);
+$groups = stream_get_line(STDIN, 1024 + 1, "\n");
+
+// Write an answer using echo(). DON'T FORGET THE TRAILING \n
+// To debug: error_log(var_export($var, true)); (equivalent to var_dump)
+
+echo("/< | D | D | D | D | D | D | D | D | D | D |\n");
+echo("\\< | D | D | D | D | D | D | D | D | D | D |\n");

package/config/medium/ScaryRideAtTheHauntedMansion/config.json

@@ -0,0 +1,43 @@
+{
+    "path": "medium/ScaryRideAtTheHauntedMansion",
+    "name": "Scary Ride at the Haunted Mansion",
+    "alphanumName": "ScaryRideAtTheHauntedMansion",
+    "link": "https://www.codingame.com/ide/puzzle/scary-ride-at-the-haunted-mansion",
+    "tests": [
+        {
+            "name": "1: me with my parents only",
+            "alphanumName": "meWithMyParentsOnly",
+            "file": "01 - me with my parents only.txt"
+        },
+        {
+            "name": "2: 3 groups of people",
+            "alphanumName": "threeGroupsOfPeople",
+            "file": "02 - 3 groups of people.txt"
+        },
+        {
+            "name": "3: forbidden for kids alone",
+            "alphanumName": "forbiddenForKidsAlone",
+            "file": "03 - forbidden for kids alone.txt"
+        },
+        {
+            "name": "4: do not mix the groups",
+            "alphanumName": "doNotMixTheGroups",
+            "file": "04 - do not mix the groups.txt"
+        },
+        {
+            "name": "5: many rides before my turn",
+            "alphanumName": "manyRidesBeforeMyTurn",
+            "file": "05 - many rides before my turn.txt"
+        },
+        {
+            "name": "6: we stop counting when I am sitting for my ride",
+            "alphanumName": "weStopCountingWhenIAmSittingForMyRide",
+            "file": "06 - we stop counting when I am sitting for my ride.txt"
+        },
+        {
+            "name": "7: very long day !",
+            "alphanumName": "veryLongDay",
+            "file": "07 - very long day !.txt"
+        }
+    ]
+}

package/config/medium/ScaryRideAtTheHauntedMansion/input/01 - me with my parents only.txt

@@ -0,0 +1,2 @@
+1
+AAx

package/config/medium/ScaryRideAtTheHauntedMansion/input/02 - 3 groups of people.txt

@@ -0,0 +1,2 @@
+3
+AAkkkAAA kAkA AxAk

package/config/medium/ScaryRideAtTheHauntedMansion/input/03 - forbidden for kids alone.txt

@@ -0,0 +1,2 @@
+5
+AkkAAA kkkA kk k AxAk

package/config/medium/ScaryRideAtTheHauntedMansion/input/04 - do not mix the groups.txt

@@ -0,0 +1,2 @@
+4
+AkkAA kAAkA AAk Ax

package/config/medium/ScaryRideAtTheHauntedMansion/input/05 - many rides before my turn.txt

@@ -0,0 +1,2 @@
+11
+AkkAA kAAkA AAk AAA AAk Ak AAAkkkAAkk kkAAA kAkA kkkAAA Ax

package/config/medium/ScaryRideAtTheHauntedMansion/input/06 - we stop counting when I am sitting for my ride.txt

@@ -0,0 +1,2 @@
+131
+AA Ak AAA AAAAAAAAAAAAAkkkk A k kk Akk AAAkk AAAkkk AAAkkkk AAkkkk A A A A A A Ax AAAkk AAkk Ak Ak Ak AAAkkk AAAkk AAk AAk AAk AAAAAkkk AAkkk AA Ak Ak Ak AA AA AA AA AA AA AA AA AAk AA AA AA AA AA AAk AAAAAAAAAAAAAAA AAAAAAAAAkkkkkkkkkk kkkkkkkkk AAAAAA kkkkk AAAkkk kkAAkk AAkkAA AkAkAk kkkAAAA AAAAkkkk AAAAAAkkk AAA AA AA AA AA AA AAk AAAAAAAAAAAAAAA AAAAAAAAAkkkkkkkkkk kkkkkkkkk AAAAAA kkkkk AAAkkk kkAAkk AAkkAA AkAkAk kkkAAAA AA AA AA AA AA AA AAk AAAAAAAAAAAAAAA AAAAAAAAAkkkkkkkkkk kkkkkkkkk AAAAAA kkkkk AAAkkk kkAAkk AAkkAA AkAkAk kkkAAAA AAAAkkkk AAAAAAkkk AAkkkk AAAAAAkkk AAAAAAAAAAAA AAAAAAAAAkkkkkkkkkk kkkkkkkkk AAAAAA kkkkk AAAkkk kkAAkk AAkkAA AkAkAk kkkAAAA AAA AA AA AA AA AA AAk AAAAAAAAAAAAAAA AAAAAAAAAkkkkkkkkkk kkkkkkkkk AAAAAA kkkkk AAAkkk kkAAkk AAkkAA AkAkAk kkkAAAA AAAAkkkk AAAAAAkkk Akkkk AAAAAAkkk

package/config/medium/ScaryRideAtTheHauntedMansion/input/07 - very long day !.txt

@@ -0,0 +1,2 @@
+193
+AA Ak AAA AAAAAAAAAAAAAkkkk A k kk Akk AAAkk AAAkkk AAAkkkk AAkkkk A A A A A A A AAAkk AAkk Ak Ak Ak AAAkkk AAAkk AAk AAk AAk AAAAAkkk AAkkk AA Ak Ak Ak AA AA AA AA AA AA AA AA AAk AAA AAk AAAAAAAAAAAkk AAAkk AAAAkkkkAAkkAkAk kkkkkAAAAA AAk kk Akk kkkA kAk AkA kAA kAA AAk AAAk AAkA AkAA kAAA kAAAA AAAkA AAAAAAAAAAAkkk kkAAkkAAAkkAAA AAkkkkkkkkkkkkkkk Akkkk kkkA AAAAAAkkk kkkAAAAA kkkkkAAAAA kkAAA AAAkk AxAkkAA AAkkA A Ak Ak Ak AA AA AA AA AA AA AA AA AAk AAA AAk AAAAAAAAAAAkk AAAkk AAAAkkkkAAkkAkAk kkkkkAAAAA AAk kk Akk kkkA kAk AkA kAA kAA AAk AAAk AA  Ak Ak Ak AA AA AA AA AA AA AA AA AAk AAA AAk AAAAAAAAAAAkk AAAkk AAAAkkkkAAkkAkAk kkkkkAAAAA AAk kk Akk kkkA kAk AkA kAA kAA AAk AAAk AA  Ak Ak Ak AA AA AA AA AA AA AA AA AkkkkAAkkAkAk kkkkkAAAAA AAk kk Akk kkkA kAk AkA kAA kAA AAk AAAk AA  Ak Ak Ak AA AA AA AA AA AA AA AA AAk AAA AAk AAAAAAAAAA AAk AAA AAk AAAAAAAAAAAkk AAAkk AAAAkkkkAAkkAkAk kkkkkAAAAA AAk kk Akk kkkA kAk AkA kAA kAA AAk AAAk AA

package/config/medium/ScaryRideAtTheHauntedMansion/output/01 - me with my parents only.txt

@@ -0,0 +1,3 @@
+1
+/< | A | A | D | D | D | D | D | D | D | D |
+\< | x | D | D | D | D | D | D | D | D | D |

package/config/medium/ScaryRideAtTheHauntedMansion/output/02 - 3 groups of people.txt

@@ -0,0 +1,3 @@
+1
+/< | A | A | A | A | A | A | A | A | D | D |
+\< | k | k | k | A | k | k | x | k | D | D |

package/config/medium/ScaryRideAtTheHauntedMansion/output/03 - forbidden for kids alone.txt

@@ -0,0 +1,3 @@
+1
+/< | A | A | A | A | A | D | D | D | D | D |
+\< | k | k | A | x | k | D | D | D | D | D |

package/config/medium/ScaryRideAtTheHauntedMansion/output/04 - do not mix the groups.txt

@@ -0,0 +1,3 @@
+1
+/< | A | A | A | A | A | A | A | A | A | D |
+\< | k | k | D | k | k | D | k | D | x | D |

package/config/medium/ScaryRideAtTheHauntedMansion/output/05 - many rides before my turn.txt

@@ -0,0 +1,3 @@
+3
+/< | A | A | A | A | A | A | A | A | A | D |
+\< | k | k | D | k | k | k | k | k | x | D |

package/config/medium/ScaryRideAtTheHauntedMansion/output/06 - we stop counting when I am sitting for my ride.txt

@@ -0,0 +1,3 @@
+4
+/< | A | A | A | A | A | A | A | A | A | A |
+\< | D | D | x | k | k | D | k | k | k | k |

package/config/medium/ScaryRideAtTheHauntedMansion/output/07 - very long day !.txt

@@ -0,0 +1,3 @@
+18
+/< | A | A | A | A | A | A | A | A | A | A |
+\< | k | k | D | x | k | k | D | k | k | D |

package/config/medium/SixteenBySixteenSudoku/code/CGCode.js

@@ -0,0 +1,8 @@
+for (let i = 0; i < 16; i++) {
+    const ROW = readline();
+}
+
+// Write an answer using console.log()
+// To debug: console.error('Debug messages...');
+
+console.log('answer');

package/config/medium/SixteenBySixteenSudoku/code/CGCode.php

@@ -0,0 +1,10 @@
+<?php
+for ($i = 0; $i < 16; $i++)
+{
+    $ROW = stream_get_line(STDIN, 16 + 1, "\n");
+}
+
+// Write an answer using echo(). DON'T FORGET THE TRAILING \n
+// To debug: error_log(var_export($var, true)); (equivalent to var_dump)
+
+echo("answer\n");

package/config/medium/SixteenBySixteenSudoku/config.json

@@ -0,0 +1,38 @@
+{
+    "path": "medium/SixteenBySixteenSudoku",
+    "name": "16x16 Sudoku",
+    "alphanumName": "SixteenBySixteenSudoku",
+    "link": "https://www.codingame.com/ide/puzzle/16x16-sudoku",
+    "tests": [
+        {
+            "name": "Test 1",
+            "alphanumName": "test1",
+            "file": "01 - test 1.txt"
+        },
+        {
+            "name": "Test 2",
+            "alphanumName": "test2",
+            "file": "02 - test 2.txt"
+        },
+        {
+            "name": "Test 3",
+            "alphanumName": "test3",
+            "file": "03 - test 3.txt"
+        },
+        {
+            "name": "Test 4",
+            "alphanumName": "test4",
+            "file": "04 - test 4.txt"
+        },
+        {
+            "name": "Test 5",
+            "alphanumName": "test5",
+            "file": "05 - test 5.txt"
+        },
+        {
+            "name": "Test 6",
+            "alphanumName": "test6",
+            "file": "06 - test 6.txt"
+        }
+    ]
+}

package/config/medium/SixteenBySixteenSudoku/input/01 - test 1.txt

@@ -0,0 +1,16 @@
+.LEK.G.....NO.C.
+..M.H.JOBDG.FENK
+J..C.BAN.EK....I
+.BG..K..C.J..DPM
+.HA.FL..K..M.P..
+...OA.....D.IK.G
+..KDJ.CBFAIG.MHL
+.M.....EPJNO.A..
+G...IA.DE.CJP...
+AK....GHNM..LIJ.
+..DJON..GL.BKH.F
+.N...J.K.F...GAB
+D..A..FJ..LIM.K.
+E.LFCDB.O.M.N.I.
+.JI....PD.....L.
+.....H.IJ....CBA

package/config/medium/SixteenBySixteenSudoku/input/02 - test 2.txt

@@ -0,0 +1,16 @@
+.EDK.H..L.IGBA..
+.I.G.AKN.....D.P
+..O.IE.PBA.N.G..
+PNABG.ODE.....IJ
+IFL.HG..J.A.O.DN
+D...C....M..E..F
+BOENJIL.KD.P....
+HJK..BA........L
+..C..F.B.KJ.LP.M
+J.....DC..P.INKG
+.L...P.K..CAJH..
+N..OL.JI...F.E.C
+.CBIMD.G.J.K.L..
+.DFEP..LA.M.KO..
+.M.H...ACIL.PF.D
+.PNLOJ.HG.E..B..

package/config/medium/SixteenBySixteenSudoku/input/03 - test 3.txt

@@ -0,0 +1,16 @@
+........B.HAL..N
+..N.....D...OEF.
+..K.A..J..NO.B.P
+...CL.D..G.E.M.J
+...JH..P.......E
+.N.K.....I..JGOD
+.OM..IECNB.GH...
+HB...D..P.J.NFCI
+.HA.ME......KN.C
+D..ENB.H.POL....
+NM.B..O.JK..D...
+.PL....D.....A.O
+.E.HDC.....FPK..
+.C..EAN.OL.P.I..
+IA.NG.PM..KD..E.
+..O.IH.....NAC..

package/config/medium/SixteenBySixteenSudoku/input/04 - test 4.txt

@@ -0,0 +1,16 @@
+.M.OA.F......I..
+.G.PK.MC.NB...EH
+K.C..H.E.IP.F...
+N.....OL.AJE.P.B
+....B...A...L.JO
+.I.C..L.G..N.E..
+.H.K..I..J.LG.D.
+......G.EF..I...
+GC.BI..D..K..H.N
+..F..C.B....MKL.
+LKH..N..B..G..C.
+P..M.KJ..E.C.AI.
+IAE....F..C..MKJ
+H....DCA...O.LP.
+M....ON.DB.....C
+.P....K.I..F....

package/config/medium/SixteenBySixteenSudoku/input/05 - test 5.txt

@@ -0,0 +1,16 @@
+.L.J...E.....M..
+....B..P...LA.OG
+NMB.GKD..J.O....
+C.P...NH....K.E.
+ABCG..ON....J.LK
+E.....KJ..BN...H
+.J.K..........IB
+FHN..PBLJC.GE.M.
+J...FGE.K.LCO..N
+.I...HC..P.DML..
+H.ML.N.KA.O..EG.
+.N.P.L..B.EHI...
+D.....JC..A..G..
+B.....A.N.J....E
+.K......PDC....M
+...NHE......D.BA

package/config/medium/SixteenBySixteenSudoku/input/06 - test 6.txt

@@ -0,0 +1,16 @@
+.C......E.......
+..J..A.BFP...KLD
+..I.D.NJ.A..EB.G
+L..A....J..N...O
+DH.MBJCP..F..IKA
+...L.NM..OD....C
+..N.I........G..
+B..F..OGICP..LDM
+.G.E...D...IM.OK
+.A..G.P....FLHCN
+.F....HOM.B.G.E.
+MOP......G....A.
+..MI.B.F.HOEK.G.
+.B.DC.E.N.L..FM.
+G......NC..P.A.E
+.EFH...I..G...N.

package/config/medium/SixteenBySixteenSudoku/output/01 - test 1.txt

@@ -0,0 +1,16 @@
+HLEKDGMFAIPNOBCJ
+IAMPHCJOBDGLFENK
+JDOCPBANMEKFHLGI
+FBGNEKILCOJHADPM
+CHAIFLDGKBEMJPON
+BEJOAPNMLHDCIKFG
+NPKDJOCBFAIGEMHL
+LMFGKIHEPJNOBADC
+GFHBIALDEKCJPNMO
+AKCEBFGHNMOPLIJD
+MIDJONPCGLABKHEF
+ONPLMJEKIFHDCGAB
+DCBAGEFJHNLIMOKP
+EGLFCDBAOPMKNJIH
+KJIHNMOPDCBAGFLE
+PONMLHKIJGFEDCBA

package/config/medium/SixteenBySixteenSudoku/output/02 - test 2.txt

@@ -0,0 +1,16 @@
+CEDKFHMJLPIGBANO
+LIMGBAKNOCFJHDEP
+FHOJIECPBADNMGLK
+PNABGLODEHKMFCIJ
+IFLMHGPEJBACOKDN
+DAGPCKNOIMHLEJBF
+BOENJILFKDGPAMCH
+HJKCDBAMFENOGIPL
+EGCANFHBDKJILPOM
+JBHFAODCMLPEINKG
+MLIDEPGKNOCAJHFB
+NKPOLMJIHGBFDEAC
+ACBIMDFGPJOKNLHE
+GDFEPCBLANMHKOJI
+OMJHKNEACILBPFGD
+KPNLOJIHGFEDCBMA

package/config/medium/SixteenBySixteenSudoku/output/03 - test 3.txt

@@ -0,0 +1,16 @@
+OIJPCKFEBMHALDGN
+MLNABPHGDCIJOEFK
+EDKGAMIJLFNOCBHP
+BFHCLODNKGPEIMAJ
+CGIJHNAPFODKBLME
+ANPKFLMBEICHJGOD
+FOMDJIECNBLGHPKA
+HBELODGKPAJMNFCI
+JHAOMELIGDFBKNPC
+DKFENBCHAPOLMJIG
+NMCBPGOAJKEIDHLF
+GPLIKFJDHNMCEABO
+LEGHDCBOIJAFPKNM
+KCDMEANFOLBPGIJH
+IABNGJPMCHKDFOEL
+PJOFIHKLMEGNACDB

package/config/medium/SixteenBySixteenSudoku/output/04 - test 4.txt

@@ -0,0 +1,16 @@
+EMBOAJFPCGLHDINK
+JGLPKIMCFNBDAOEH
+KDCANHBEOIPMFJGL
+NFIHDGOLKAJECPMB
+FEMGBPDHACIKLNJO
+BIJCFALOGPDNKEHM
+AHPKCEINMJOLGBDF
+ONDLJMGKEFHBICAP
+GCABIFEDLMKJPHON
+DJFEHCABPONIMKLG
+LKHIONPMBDAGJFCE
+PONMLKJGHEFCBAID
+IAEDGBHFNLCPOMKJ
+HBGFEDCAJKMONLPI
+MLKJPONIDBEAHGFC
+CPONMLKJIHGFEDBA

package/config/medium/SixteenBySixteenSudoku/output/05 - test 5.txt

@@ -0,0 +1,16 @@
+GLAJOCIEDBFKNMHP
+IDKEBMFPCNHLAJOG
+NMBHGKDAEJPOFICL
+CFPOLJNHIGMAKBED
+ABCGMDONHEIFJPLK
+EPOICAKJMLBNGFDH
+MJLKEFHGOADPCNIB
+FHNDIPBLJCKGEAMO
+JADBFGEIKMLCOHPN
+OIEFAHCBGPNDMLKJ
+HCMLDNPKAIOJBEGF
+KNGPJLMOBFEHIDAC
+DEFMKOJCLHABPGNI
+BGHCPIADNOJMLKFE
+LKIANBGFPDCEHOJM
+POJNHELMFKGIDCBA

package/config/medium/SixteenBySixteenSudoku/output/06 - test 6.txt

@@ -0,0 +1,16 @@
+KCBGOPLMEIHDANJF
+ENJOHAIBFPMGCKLD
+FMIPDKNJLACOEBHG
+LDHAFEGCJBKNPMIO
+DHEMBJCPGNFLOIKA
+PIGLKNMABODHJEFC
+OJNCIDFLKEAMBGPH
+BKAFEHOGICPJNLDM
+HGCEAFBDPLNIMJOK
+IADBGMPEOKJFLHCN
+JFLKNCHOMDBAGPEI
+MOPNLIJKHGECFDAB
+NPMIJBAFDHOEKCGL
+ABODCGEHNJLKIFMP
+GLKJMODNCFIPHABE
+CEFHPLKIAMGBDONJ

package/config/medium/SlimSAT/code/CGCode.js

@@ -0,0 +1,12 @@
+const formula = readline();
+const n = parseInt(readline());
+for (let i = 0; i < n; i++) {
+    var inputs = readline().split(' ');
+    const name = inputs[0];
+    const value = inputs[1];
+}
+
+// Write an answer using console.log()
+// To debug: console.error('Debug messages...');
+
+console.log('Can it be done?');

package/config/medium/SlimSAT/code/CGCode.php

@@ -0,0 +1,12 @@
+<?php
+$formula = stream_get_line(STDIN, 1000 + 1, "\n");
+fscanf(STDIN, "%d", $n);
+for ($i = 0; $i < $n; $i++)
+{
+    fscanf(STDIN, "%s %s", $name, $value);
+}
+
+// Write an answer using echo(). DON'T FORGET THE TRAILING \n
+// To debug: error_log(var_export($var, true)); (equivalent to var_dump)
+
+echo("Can it be done?\n");

package/config/medium/SlimSAT/config.json

@@ -0,0 +1,38 @@
+{
+    "path": "medium/SlimSAT",
+    "name": "Slim SAT",
+    "alphanumName": "SlimSAT",
+    "link": "https://www.codingame.com/ide/puzzle/slim-sat",
+    "tests": [
+        {
+            "name": "A simple one",
+            "alphanumName": "ASimpleOne",
+            "file": "01 - A simple one.txt"
+        },
+        {
+            "name": "Slightly bigger formula",
+            "alphanumName": "SlightlyBiggerFormula",
+            "file": "02 - Slightly bigger formula.txt"
+        },
+        {
+            "name": "More variables",
+            "alphanumName": "MoreVariables",
+            "file": "03 - More variables.txt"
+        },
+        {
+            "name": "Even bigger formula",
+            "alphanumName": "EvenBiggerFormula",
+            "file": "04 - Even bigger formula.txt"
+        },
+        {
+            "name": "Huge formula",
+            "alphanumName": "HugeFormula",
+            "file": "05 - Huge formula.txt"
+        },
+        {
+            "name": "Many variables",
+            "alphanumName": "ManyVariables",
+            "file": "06 - Many variables.txt"
+        }
+    ]
+}

package/config/medium/SlimSAT/input/01 - A simple one.txt

@@ -0,0 +1,3 @@
+( A AND ( A OR X ) )
+1
+A TRUE

package/config/medium/SlimSAT/input/02 - Slightly bigger formula.txt

@@ -0,0 +1,3 @@
+( ( X AND ( A OR A ) ) XOR ( A AND X ) )
+1
+A TRUE

package/config/medium/SlimSAT/input/03 - More variables.txt

@@ -0,0 +1,5 @@
+( ( X OR Y ) XOR ( ( B AND X ) OR ( A AND X ) ) )
+3
+A FALSE
+B FALSE
+Y FALSE

package/config/medium/SlimSAT/input/04 - Even bigger formula.txt

@@ -0,0 +1,6 @@
+( ( ( ( X XOR U ) AND ( E OR X ) ) AND ( T AND R ) ) XOR ( ( X OR T ) OR ( R XOR ( ( U OR E ) AND E ) ) ) )
+4
+T TRUE
+R FALSE
+U TRUE
+E FALSE

package/config/medium/SlimSAT/input/05 - Huge formula.txt

@@ -0,0 +1,6 @@
+( ( ( A AND ( X XOR ( X AND ( ( X AND D ) OR ( A XOR X ) ) ) ) ) OR ( A XOR ( B OR D ) ) ) AND ( ( C OR ( ( A OR X ) AND ( ( X XOR ( B AND X ) ) OR X ) ) ) XOR ( X XOR X ) ) )
+4
+A FALSE
+B TRUE
+C FALSE
+D FALSE

package/config/medium/SlimSAT/input/06 - Many variables.txt

@@ -0,0 +1,27 @@
+( ( ( ( ( L AND ( X XOR ( N OR ( J AND ( ( V AND ( (  E OR ( X XOR ( V AND ( ( H OR ( X AND T ) ) OR Q ) ) ) ) AND D ) ) XOR M ) ) ) ) ) OR ( ( P AND W ) XOR L ) ) AND ( K OR ( A OR ( X OR B ) ) ) ) OR ( Z XOR ( C AND ( F XOR ( C OR ( X AND ( ( ( U XOR G ) AND ( ( O OR R ) OR I ) ) OR X ) ) ) ) ) ) ) AND ( S AND Y ) )
+25
+A TRUE
+B FALSE
+C FALSE
+D FALSE
+E TRUE
+F FALSE
+G FALSE
+H TRUE
+I TRUE
+J FALSE
+K FALSE
+L TRUE
+M FALSE
+N FALSE
+O FALSE
+P TRUE
+Q FALSE
+R FALSE
+S TRUE
+T FALSE
+U TRUE
+V FALSE
+W TRUE
+Y TRUE
+Z FALSE

package/config/medium/SlimSAT/output/01 - A simple one.txt

@@ -0,0 +1 @@
+Satisfiable

package/config/medium/SlimSAT/output/02 - Slightly bigger formula.txt

@@ -0,0 +1 @@
+Unsatisfiable

package/config/medium/SlimSAT/output/03 - More variables.txt

@@ -0,0 +1 @@
+Satisfiable

package/config/medium/SlimSAT/output/04 - Even bigger formula.txt

@@ -0,0 +1 @@
+Satisfiable

package/config/medium/SlimSAT/output/05 - Huge formula.txt

@@ -0,0 +1 @@
+Satisfiable

package/config/medium/SlimSAT/output/06 - Many variables.txt

@@ -0,0 +1 @@
+Satisfiable

package/config/medium/StringBalls/code/CGCode.js

@@ -0,0 +1,7 @@
+const radius = parseInt(readline());
+const center = readline();
+
+// Write an answer using console.log()
+// To debug: console.error('Debug messages...');
+
+console.log('Number of points in the ball');

package/config/medium/StringBalls/code/CGCode.php

@@ -0,0 +1,8 @@
+<?php
+fscanf(STDIN, "%d", $radius);
+$center = stream_get_line(STDIN, 20 + 1, "\n");
+
+// Write an answer using echo(). DON'T FORGET THE TRAILING \n
+// To debug: error_log(var_export($var, true)); (equivalent to var_dump)
+
+echo("Number of points in the ball\n");