http://satcompetition.org/ Extracted from http://satcompetition.org/sc14solver.sql.xz (see https://github.com/msoos/sat_competition_2013_sources/issues/1) idSolver name authors version 4 glucose Laurent Simon test 6 lingeling Armin Biere test 7 plingeling Armin Biere SC13 8 glucose Laurent Simon certified UNSAT SC13 9 pmcSAT Ricardo Marques, Lu��s Guerra e Silva, Paulo Flores and Lu��s Miguel Silveira 2.0 11 dimetheus Oliver Gableske 2.100 12 Nigma Chuan Jiang, Gianfranco Ciardo 1.1 18 Riss Norbert Manthey 4.27 19 SatX10 Ashish Sabharwal, Horst Samulowitz 1.2 21 minisat_blbd Jingchao Chen 1.13 24 Riss Enrique Matos Alfonso and Norbert Manthey BlackBox 25 MSP Wenxiang Chen, Adele Howe, Darrell Whitley 1.0 26 Riss Norbert Manthey DRAT 27 ROKK Takeru Yasumoto 1.0.1 28 ROKKminisat Takeru Yasumoto 1.00 31 ntusat Hsiao-Lun, Wang and J-H Roland, Jiang 1.0 32 ntusatbreak Hsiao-Lun, Wang and J-H Roland, Jiang 1.0.0 33 Pcasso Ahmed Irfan and Davide Lanti and Norbert Manthey 4.27 37 CSCCSat2014 Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su SC2014 39 glueSplit_clasp Jingchao Chen 1.0 40 BFS-Glucose D��vid Bart��k and Zolt��n ��d��m Mann 1.0c 41 MiniSat-ClauseSplit Bal��zs Don��t Bessenyei, Zolt��n ��d��m Mann 1.0 42 SWDiA5BY Chanseok Oh A26 44 CCAnr+glucose Shaowei Cai, Chuan Luo, Kaile Su 2014 49 miniLoCeG(UNIT)+glucose Sebastian Burg, Oliver Bringmann, Thomas Kropf 1.0 50 sattime2014r Chu-Min LI & Chong Huang & Yu Li 2014r 51 glue_lgl_split Jingchao Chen 1.0 57 CBPeneLoPe Tomohiro Sonobe, Shuya Kondoh 0.1 58 ParaCIRMiniSAT Tomohiro Sonobe, Shuya Kondoh 0.1 59 DCCASat+march_rw Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su SC2014 60 MCP Wenxiang Chen, Adele Howe, Darrell Whitley 1.0 69 miniLoCeG(2SAT)+glucose Sebastian Burg, Oliver Bringmann, Thomas Kropf 1.0 70 ROKK(sat) Takeru Yasumoto 1.0.1(sat) 71 provoSATeur+glucose Sebastian Burg, Oliver Bringmann, Thomas Kropf 1.0 74 Nigma-UNSAT Chuan Jiang, Gianfranco Ciardo 1.1 78 CCgscore Shaowei Cai, Chuan Luo, Kaile Su 2014 79 cryptominisat-4.1-st Mate Soos 4.1-st 80 cryptominisat-4.1-mt Mate Soos 4.1-mt 81 BalancedZ Chong HUANG, Chumin LI, Ruchu XU SAT Competition 2014 64-bit V2014.05.07 82 PeneLoPe Audemard-Hoessen-Jabbour-Lagniez-Piette 2014 83 YalSAT Armin Biere 03l 87 CLaS Adrian Balint, Ahmed Irfan, Davide Lanti, Norbert Manthey 2014 88 SparrowToRiss Adrian Balint, Norbert Manthey 2014 90 Plingeling Armin Biere ayv 91 Treengeling Armin Biere ayv 92 Lingeling Armin Biere ayv 95 SatUZKcert Alexander van der Grinten, Andreas Wotzlaw, Ewald Speckemeyer Build 55 96 SatUZKp Alexander van der Grinten, Andreas Wotzlaw, Ewald Speckemeyer Build 55 98 SWDiA5BY Chanseok Oh A30.4.100 103 SatUZK Alexander van der Grinten, Andreas Wotzlaw, Ewald Speckemeyer 55 104 Lingeling (no agile) Armin Biere ayv 107 MiniSat_HACK_999ED Chanseok Oh 1.0 111 MiniSat_HACK_1430ED Chanseok Oh 1.0 113 BFS-Glucose_mem_8_85 D��vid Bart��k and Zolt��n ��d��m Mann 1.0cm 114 BFS-Glucose_mem_16_70 D��vid Bart��k and Zolt��n ��d��m Mann 1.0cm 115 BFS-Glucose_mem_32_70 D��vid Bart��k and Zolt��n ��d��m Mann 1.0cm 118 glucose Gilles Audemard and Laurent Simon 3.0 119 probSAT Adrian Balint, Uwe Sch��ning sc14 120 pprobSAT Adrian Balint, Uwe Sch��ning sc14 121 CPSparrow Adrian Balint sc14 122 SGSeq Chu Min Li,Hua Jiang,Ru Chu Xu 1.0 124 CCA2014 Chengqian Li, Jianhong Li, Yuxiang Wu 2.0 125 MinitSAT Norbert Manthey 2014 126 RSeq2014 Chu Min Li and Djamal Habet v1.1 128 cryptominisat-v41-tuned-st Mate Soos, Marius Lindauer v41-tuned-st 129 cryptominisat-4.1-mt-tuned-many Mate Soos, Marius Lindauer 4.1-mt-tuned-many 130 Ncca+ Djamal Habet, Donia Toumi, Andr�� Abram�� v1.05 132 Lingeling (druplig) Armin Biere azd 133 pglucose Souheib Baarir and Julien Sopena and Julia Lawall 2.3.1 134 mipisat Tobias Philipp 1 135 glueminisat Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue 2.2.8 (dev122) 136 SatUZKpl Alexander van der Grinten, Andreas Wotzlaw, Ewald Speckemeyer Build 55 Light 137 glucose-syrup Gilles Audemard and Laurent Simon 1.0 139 glucose (certified unsat) Gilles Audemard and Laurent Simon 3.0 140 BreakIDGlucose (SC13) Jo Devriendt, Bart Bogaerts nan 141 glucose (SC13) Gilles Audemard and Laurent Simon nan 142 glue_bit (SC13) Jingchao Chen nan 143 lingeling aqw (SC13) Armin Biere nan 144 riss3g (SC13) Norbert Manthey nan 145 strangenight (SC13) Mate Soos nan 146 zenn (SC13) Takeru Yasumoto nan 147 ZENN (sc12) nan nan 148 simpsat (sc12) nan nan 149 sattime2012 nan nan 150 Lingeling (SC12) nan nan 151 linge_dyphase (SC12) nan nan 152 clasp-crafted (SC12) nan nan 153 glucose (SC12) nan nan