Published December 13, 2021
| Version v1
Journal article
Open
Sources of solvers of SAT 2014 competition
Authors/Creators
Description
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 |
Files
103-SatUZK.zip
Files
(78.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:8a93bae2a9f2cdb0aae5d2921479ad0b
|
157.6 kB | Preview Download |
|
md5:ba00e979c28458ff7d8ce4c460b6882e
|
190.4 kB | Preview Download |
|
md5:287bb06a3633442c70152a7f9abbdbb7
|
72.5 kB | Preview Download |
|
md5:9be6b6131751d2eeff4a80699a91f488
|
1.2 MB | Preview Download |
|
md5:32a1756fff5fb10804b205c7b34d6041
|
72.7 kB | Preview Download |
|
md5:9eb5b1b409b535ed45dc6a9a8c73c5f5
|
156.3 kB | Preview Download |
|
md5:555f9ccb95f883b4861e82b90fa1c216
|
156.3 kB | Preview Download |
|
md5:91e78b2ddcb096c1d1087bde9286f504
|
156.3 kB | Preview Download |
|
md5:2b95ae88b6bec34eecdf77eaa2d9e4f0
|
208.3 kB | Preview Download |
|
md5:eb2067b9284257423134a7a25a69e23a
|
417.7 kB | Preview Download |
|
md5:f2a7715f03ba6d06ab7695067dfe3a94
|
31.3 kB | Preview Download |
|
md5:0271be8dad04a9ce9f89cb814ec10522
|
12.5 kB | Preview Download |
|
md5:7d7f70f7607f1178148b80f972ae8275
|
521.9 kB | Preview Download |
|
md5:fade63f3c48423eca74b8ed1922f5392
|
95.6 kB | Preview Download |
|
md5:0ea3e7c55625cd681a7f6b3c5ce77494
|
24.0 kB | Preview Download |
|
md5:3596da9f8498a8c40507505f0978cefc
|
71.4 kB | Preview Download |
|
md5:7064439a9daa73dc155ae23b64c37a75
|
128.5 kB | Preview Download |
|
md5:807a4fc3c822294bdd4c30e57d98a6a3
|
985.0 kB | Preview Download |
|
md5:807a4fc3c822294bdd4c30e57d98a6a3
|
985.0 kB | Preview Download |
|
md5:d9cd46200b28243c8668d9b7f20cc791
|
13.5 kB | Preview Download |
|
md5:c341f62d0b67d493dea7d519593c5906
|
205.8 kB | Preview Download |
|
md5:e8d0d511fb1527301fe655bbcd13ca3c
|
112.8 kB | Preview Download |
|
md5:f2c6502a82c20710808981d6de4a27a8
|
893.1 kB | Preview Download |
|
md5:b3280aa2241396a54d32a1697a750cfb
|
116.5 kB | Preview Download |
|
md5:43f0996acc1fd5ea7391f779e7450617
|
167.9 kB | Preview Download |
|
md5:0460576c7f5d5ac6a98dd8d96d49c632
|
108.4 kB | Preview Download |
|
md5:6f96bc578b6b62bc25d8909aa7562816
|
93.7 kB | Preview Download |
|
md5:d91dd7befac33f2c75262f64a2ab9565
|
502.7 kB | Preview Download |
|
md5:e68c0096de692c8f6d38d985a5bd9696
|
28.1 MB | Preview Download |
|
md5:b05c044ae2fc6bb3d0909b7b8f8acd59
|
71.8 kB | Preview Download |
|
md5:a7c51e24a30f898adb4846df19e15715
|
13.0 MB | Preview Download |
|
md5:000b5affe9dbb394ab48912334eb0db5
|
610.2 kB | Preview Download |
|
md5:d91dd7befac33f2c75262f64a2ab9565
|
502.7 kB | Preview Download |
|
md5:d513d7e4c634efd1ff69611eb04476db
|
215.5 kB | Preview Download |
|
md5:291df35a2c3147ad7974da2ff2df0051
|
78.3 kB | Preview Download |
|
md5:9bd65d4664c546e606a5ad506757f749
|
1.3 MB | Preview Download |
|
md5:de95bc78a7b4b09d1f53d989fd03a815
|
1.3 MB | Preview Download |
|
md5:04de2491a8bc573590dcbbadbe849e8d
|
630.9 kB | Preview Download |
|
md5:f79e0db486779aba5ca09cffcfaa387c
|
13.0 kB | Preview Download |
|
md5:900c34695e992181e93e9f649c86b8c9
|
560.1 kB | Preview Download |
|
md5:0b9afb8855e96e9e1aa217e805ca0ac6
|
78.5 kB | Preview Download |
|
md5:f68382173dbc60bcb97e627a7f37c477
|
71.9 kB | Preview Download |
|
md5:d98838f2f2a41fc56ec2bd5504afc6b8
|
74.9 kB | Preview Download |
|
md5:10e846ef2e5437ca43dea9fd00f52af7
|
489.9 kB | Preview Download |
|
md5:118a4f2df704cf60c87d3fc504e06a3b
|
6.5 MB | Preview Download |
|
md5:d8e1dcca112cf147264729a63b771cb3
|
21.0 kB | Preview Download |
|
md5:c371e030faf6517c68c0a3890bebaa17
|
197.8 kB | Preview Download |
|
md5:3ac78e15bcdc1e2165e132bbc6de1b20
|
126.1 kB | Preview Download |
|
md5:55c6394e366901da229bf08f2f373a10
|
74.2 kB | Preview Download |
|
md5:18b9a832e1aeabd51532bdb13a729462
|
77.3 kB | Preview Download |
|
md5:89ed3f861b6a3d8b0db8371d3f104292
|
1.8 MB | Preview Download |
|
md5:5e851901d48ca16ebf410be96a564be9
|
249.3 kB | Preview Download |
|
md5:f4c879463111d38cce069a5fa23782b6
|
6.6 MB | Preview Download |
|
md5:0e7b344673ba42f6905d0d5efc248c7e
|
1.8 MB | Preview Download |
|
md5:5efbb663270378bdfe14c533d0d2bcce
|
216.2 kB | Preview Download |
|
md5:dfabba0c46b5924c14f7f9236abf4648
|
699.1 kB | Preview Download |
|
md5:a584b5a37b575c9b49afad3845069a5e
|
31.5 kB | Preview Download |
|
md5:460ac4e83224c010912273d3a344eed9
|
10.4 kB | Preview Download |
|
md5:1ded1cbc1707dcd4bb994d923a379680
|
984.9 kB | Preview Download |
|
md5:32930ca566bf7e7784239a9e1ab169de
|
666.5 kB | Preview Download |
|
md5:1ded1cbc1707dcd4bb994d923a379680
|
984.9 kB | Preview Download |
|
md5:0ee43b6133484fac6896a5879d046fff
|
16.6 kB | Preview Download |
|
md5:5b57519c02bc6510f1a60cf26f333bd7
|
164.4 kB | Preview Download |
|
md5:983e3759cee648fcf258d2077daff203
|
35.0 kB | Preview Download |
|
md5:60cb73a470d70f1f1de01e36a4de69ec
|
597.5 kB | Preview Download |
|
md5:95d20e878a30ecebc5fd2bdb25f43b68
|
522.6 kB | Preview Download |
|
md5:e1be7675ca24ad387e1d6f03b63aeef6
|
80.6 kB | Preview Download |
|
md5:7edfa77445a873a6caf3fdf2f78eb7f0
|
235.2 kB | Preview Download |
|
md5:e6d2883743f725d3b2117fad2a002682
|
240.7 kB | Preview Download |
|
md5:ba00e979c28458ff7d8ce4c460b6882e
|
190.4 kB | Preview Download |
|
md5:8a93bae2a9f2cdb0aae5d2921479ad0b
|
157.6 kB | Preview Download |
|
md5:8a93bae2a9f2cdb0aae5d2921479ad0b
|
157.6 kB | Preview Download |
|
md5:a26398fc78b8bcb17c8a6810e099a535
|
75.3 kB | Preview Download |