1-glucose2-GillesAudemardandLaurentSimon.zip
10-march_br-MarijnHeule.zip
100-SAT4JParallel-DanielLeBerre.zip
101-SAT4JCertified-DanielLeBerre.zip
104-gNovelty+GCa-Thach-ThaoDuong_and_DucNghiaPham.zip
105-gNovelty+GCwa-Thach-ThaoDuong_and_DucNghiaPham.zip
106-DimetheusMPS-OliverGableske.zip
110-pcasso-AhmedIrfan_and_DavideLanti_and_NorbertManthey.zip
111-Riss3g-NorbertManthey.zip
113-satUZK-AlexandervanderGrinten_and_AndreasWotzlaw_and_EwaldSpeckemeyer.zip
115-gluH_simp-ChanseokOh.zip
121-BreakIDGlucose-JoDevriendt_and_BartBogaerts.zip
122-ShatterGlucose-JoDevriendt_and_BartBogaerts.zip
123-Lingeling-ArminBiere.zip
124-Lingeling-ArminBiere.zip
126-Plingeling-ArminBiere.zip
128-Treengeling-ArminBiere.zip
129-Lingeling-ArminBiere.zip
130-pmcSAT-RicardoMarques_and_LuísGuerraeSilva_and_PauloFloresandLuísMiguelSilveira.zip
132-CCA2013-ChengqianLi_and_FanYi.zip
133-sattime2013-ChuMinLIandYuLI.zip
134-minipure-Hsiao-LunWang.zip
135-glucose-GillesAudemardandLaurentSimon.zip
136-glucose-GillesAudemardandLaurentSimon.zip
137-pcasso-DavideLanti_and_AhmedIrfan_and_NorbertManthey.zip
139-glueminisat-HidetomoNabeshima_and_KojiIwanuma_and_KatsumiInoue.zip
14-Sparrow+CP3-AdrianBalint_and_NorbertManthey.zip
140-glueminisat-cert-unsat-HidetomoNabeshima_and_KojiIwanuma_and_KatsumiInoue.zip
141-BalancedZ-ChongHUANG.zip
142-Riss3g-NorbertManthey.zip
143-sattimeRelbackSeq-ChuMinLIandHuaJiangandDjamalHabet.zip
144-sattimeClasp-Jianghua_and_chuminli_and_XuRuchu.zip
145-minisatDRUP-NiklasEénandNiklasSörensson.zip
146-sattimeRelbackShr-Jianghua_and_chuminli_and_DjamalHabet.zip
147-MiniGolf-NorbertManthey.zip
148-Ncca+-DjamalHabetandDoniaToumiandAndréAbramé.zip
149-RSeq-DjamalHabetandChuMinLiandJiangHua.zip
15-SparrowToRiss-AdrianBalint_and_NorbertManthey.zip
150-Riss3g-NorbertManthey.zip
18-probSAT-AdrianBalint_and_UweSchöning.zip
19-dk-SAT11-DonaldKnuth.zip
2-Lingeling-ArminBiere.zip
20-dk-SAT11-DonaldKnuth.zip
21-march_br-MarijnHeule.zip
22-WalkSATlm2013-ShaoweiCai.zip
23-CScoreSAT2013-ShaoweiCai_and_ChuanLuo_and_KaileSu.zip
24-CCAnr-ShaoweiCai_and_KaileSu.zip
25-march_vflip-JingchaoChen.zip
26-vflipnum-JingchaoChenandYuyangHuang.zip
27-glue_bit-JingchaoChen.zip
28-minisat_bit-JingchaoChen.zip
29-gluebit_lgl-JingchaoChen.zip
3-sattime2012-ChuMinLI&YuLI.zip
30-gluebit_clasp-JingchaoChen.zip
31-clasp_vflip-JingchaoChen.zip
32-interact_open-JingchaoChen.zip
33-FrwCB2013-ChuanLuoandKaileSu.zip
34-GlucoRed-SiertWieringa.zip
35-GlucoRed-Multi-SiertWieringa.zip
36-GlucoRed+March-SiertWieringa.zip
38-Nigma-ChuanJiang_and_TingZhang.zip
4-clasp-crafted-BenjaminKaufmann.zip
5-ZENN-TAKERUYASUMOTO.zip
52-Nigma-DRUP-ChuanJiang_and_TingZhang.zip
53-Nigma-NoPB-ChuanJiang_and_TingZhang.zip
54-Nigma-NoPB-DRUP-ChuanJiang_and_TingZhang.zip
6-simpsat-Cheng-ShenHanandJie-HongR.Jiang.zip
67-PeneLoPe-GillesAudemard_and_BenoîtHoessen_and_SaïdJabbour_and_Jean-MarieLagniez_and_CédricPiette.zip
68-Solver43a-ValeriyBalabanov.zip
69-Glucans-XiaojuanXu_and_YuichiShimizu_and_ShotaMatsumotoandKazunoriUeda.zip
7-linge_dyphase-JingchaoChen.zip
70-DougHains-DougHains_and_DarrellWhitley_and_AdeleHowe.zip
71-minisat_bit_u-JingchaoChen.zip
73-Solver43b-ValeriyBalabanov.zip
76-strangenight-MateSoos.zip
77-strangenight-MateSoos.zip
78-MiniGolf-NorbertManthey.zip
79-relback-DjamalHabetandChuMinLi.zip
81-SINNminisat-TakeruYasumoto.zip
82-ZENN-TakeruYasumoto.zip
83-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip
84-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip
85-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip
86-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip
87-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip
88-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip
89-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip
90-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip
91-MIPSat-SergioNúñez_and_DanielBorrajoandCarlosLinaresLópez.zip
92-SatX10-GLCI-DavidGrove_and_BenjaminHerta_and_AshishSabharwal_and_HorstSamulowitz_and_VijaySaraswat_and_GeorgeKatsirelos_and_LaurentSimon.zip
95-SAT4J-DanielLeBerre.zip