GitHub - msoos/sat_competition_2014_sources: SAT Competition 2014 Source Archives

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
103-SatUZK-AlexandervanderGrinten_and_AndreasWotzlaw_and_EwaldSpeckemeyer.zip		103-SatUZK-AlexandervanderGrinten_and_AndreasWotzlaw_and_EwaldSpeckemeyer.zip
104-Lingeling(noagile)-ArminBiere.zip		104-Lingeling(noagile)-ArminBiere.zip
107-MiniSat_HACK_999ED-ChanseokOh.zip		107-MiniSat_HACK_999ED-ChanseokOh.zip
11-dimetheus-OliverGableske.zip		11-dimetheus-OliverGableske.zip
111-MiniSat_HACK_1430ED-ChanseokOh.zip		111-MiniSat_HACK_1430ED-ChanseokOh.zip
113-BFS-Glucose_mem_8_85-DávidBartókandZoltánÁdámMann.zip		113-BFS-Glucose_mem_8_85-DávidBartókandZoltánÁdámMann.zip
114-BFS-Glucose_mem_16_70-DávidBartókandZoltánÁdámMann.zip		114-BFS-Glucose_mem_16_70-DávidBartókandZoltánÁdámMann.zip
115-BFS-Glucose_mem_32_70-DávidBartókandZoltánÁdámMann.zip		115-BFS-Glucose_mem_32_70-DávidBartókandZoltánÁdámMann.zip
118-glucose-GillesAudemardandLaurentSimon.zip		118-glucose-GillesAudemardandLaurentSimon.zip
119-probSAT-AdrianBalint_and_UweSchöning.zip		119-probSAT-AdrianBalint_and_UweSchöning.zip
12-Nigma-ChuanJiang_and_GianfrancoCiardo.zip		12-Nigma-ChuanJiang_and_GianfrancoCiardo.zip
120-pprobSAT-AdrianBalint_and_UweSchöning.zip		120-pprobSAT-AdrianBalint_and_UweSchöning.zip
121-CPSparrow-AdrianBalint.zip		121-CPSparrow-AdrianBalint.zip
122-SGSeq-ChuMinLi_and_HuaJiang_and_RuChuXu.zip		122-SGSeq-ChuMinLi_and_HuaJiang_and_RuChuXu.zip
124-CCA2014-ChengqianLi_and_JianhongLi_and_YuxiangWu.zip		124-CCA2014-ChengqianLi_and_JianhongLi_and_YuxiangWu.zip
125-MinitSAT-NorbertManthey.zip		125-MinitSAT-NorbertManthey.zip
126-RSeq2014-ChuMinLiandDjamalHabet.zip		126-RSeq2014-ChuMinLiandDjamalHabet.zip
128-cryptominisat-v41-tuned-st-MateSoos_and_MariusLindauer.zip		128-cryptominisat-v41-tuned-st-MateSoos_and_MariusLindauer.zip
129-cryptominisat-4.1-mt-tuned-many-MateSoos_and_MariusLindauer.zip		129-cryptominisat-4.1-mt-tuned-many-MateSoos_and_MariusLindauer.zip
130-Ncca+-DjamalHabet_and_DoniaToumi_and_AndréAbramé.zip		130-Ncca+-DjamalHabet_and_DoniaToumi_and_AndréAbramé.zip
132-Lingeling(druplig)-ArminBiere.zip		132-Lingeling(druplig)-ArminBiere.zip
133-pglucose-SouheibBaarirandJulienSopenaandJuliaLawall.zip		133-pglucose-SouheibBaarirandJulienSopenaandJuliaLawall.zip
134-mipisat-TobiasPhilipp.zip		134-mipisat-TobiasPhilipp.zip
135-glueminisat-HidetomoNabeshima_and_KojiIwanuma_and_KatsumiInoue.zip		135-glueminisat-HidetomoNabeshima_and_KojiIwanuma_and_KatsumiInoue.zip
136-SatUZKpl-AlexandervanderGrinten_and_AndreasWotzlaw_and_EwaldSpeckemeyer.zip		136-SatUZKpl-AlexandervanderGrinten_and_AndreasWotzlaw_and_EwaldSpeckemeyer.zip
137-glucose-syrup-GillesAudemardandLaurentSimon.zip		137-glucose-syrup-GillesAudemardandLaurentSimon.zip
139-glucose(certifiedunsat)-GillesAudemardandLaurentSimon.zip		139-glucose(certifiedunsat)-GillesAudemardandLaurentSimon.zip
140-BreakIDGlucose(SC13)-JoDevriendt_and_BartBogaerts.zip		140-BreakIDGlucose(SC13)-JoDevriendt_and_BartBogaerts.zip
141-glucose(SC13)-GillesAudemardandLaurentSimon.zip		141-glucose(SC13)-GillesAudemardandLaurentSimon.zip
142-glue_bit(SC13)-JingchaoChen.zip		142-glue_bit(SC13)-JingchaoChen.zip
143-lingelingaqw(SC13)-ArminBiere.zip		143-lingelingaqw(SC13)-ArminBiere.zip
144-riss3g(SC13)-NorbertManthey.zip		144-riss3g(SC13)-NorbertManthey.zip
145-strangenight(SC13)-MateSoos.zip		145-strangenight(SC13)-MateSoos.zip
146-zenn(SC13)-TakeruYasumoto.zip		146-zenn(SC13)-TakeruYasumoto.zip
147-ZENN(sc12).zip		147-ZENN(sc12).zip
148-simpsat(sc12).zip		148-simpsat(sc12).zip
149-sattime2012.zip		149-sattime2012.zip
150-Lingeling(SC12).zip		150-Lingeling(SC12).zip
151-linge_dyphase(SC12).zip		151-linge_dyphase(SC12).zip
152-clasp-crafted(SC12).zip		152-clasp-crafted(SC12).zip
153-glucose(SC12).zip		153-glucose(SC12).zip
18-Riss-NorbertManthey.zip		18-Riss-NorbertManthey.zip
19-SatX10-AshishSabharwal_and_HorstSamulowitz.zip		19-SatX10-AshishSabharwal_and_HorstSamulowitz.zip
21-minisat_blbd-JingchaoChen.zip		21-minisat_blbd-JingchaoChen.zip
24-Riss-EnriqueMatosAlfonsoandNorbertManthey.zip		24-Riss-EnriqueMatosAlfonsoandNorbertManthey.zip
25-MSP-WenxiangChen_and_AdeleHowe_and_DarrellWhitley.zip		25-MSP-WenxiangChen_and_AdeleHowe_and_DarrellWhitley.zip
26-Riss-NorbertManthey.zip		26-Riss-NorbertManthey.zip
27-ROKK-TakeruYasumoto.zip		27-ROKK-TakeruYasumoto.zip
28-ROKKminisat-TakeruYasumoto.zip		28-ROKKminisat-TakeruYasumoto.zip
31-ntusat-Hsiao-Lun_and_WangandJ-HRoland_and_Jiang.zip		31-ntusat-Hsiao-Lun_and_WangandJ-HRoland_and_Jiang.zip
32-ntusatbreak-Hsiao-Lun_and_WangandJ-HRoland_and_Jiang.zip		32-ntusatbreak-Hsiao-Lun_and_WangandJ-HRoland_and_Jiang.zip
33-Pcasso-AhmedIrfanandDavideLantiandNorbertManthey.zip		33-Pcasso-AhmedIrfanandDavideLantiandNorbertManthey.zip
37-CSCCSat2014-ChuanLuo_and_ShaoweiCai_and_WeiWu_and_KaileSu.zip		37-CSCCSat2014-ChuanLuo_and_ShaoweiCai_and_WeiWu_and_KaileSu.zip
39-glueSplit_clasp-JingchaoChen.zip		39-glueSplit_clasp-JingchaoChen.zip
4-glucose-LaurentSimon.zip		4-glucose-LaurentSimon.zip
40-BFS-Glucose-DávidBartókandZoltánÁdámMann.zip		40-BFS-Glucose-DávidBartókandZoltánÁdámMann.zip
41-MiniSat-ClauseSplit-BalázsDonátBessenyei_and_ZoltánÁdámMann.zip		41-MiniSat-ClauseSplit-BalázsDonátBessenyei_and_ZoltánÁdámMann.zip
42-SWDiA5BY-ChanseokOh.zip		42-SWDiA5BY-ChanseokOh.zip
44-CCAnr+glucose-ShaoweiCai_and_ChuanLuo_and_KaileSu.zip		44-CCAnr+glucose-ShaoweiCai_and_ChuanLuo_and_KaileSu.zip
49-miniLoCeG(UNIT)+glucose-SebastianBurg_and_OliverBringmann_and_ThomasKropf.zip		49-miniLoCeG(UNIT)+glucose-SebastianBurg_and_OliverBringmann_and_ThomasKropf.zip
50-sattime2014r-Chu-MinLI_and_ChongHuang_and_YuLi.zip		50-sattime2014r-Chu-MinLI_and_ChongHuang_and_YuLi.zip
51-glue_lgl_split-JingchaoChen.zip		51-glue_lgl_split-JingchaoChen.zip
57-CBPeneLoPe-TomohiroSonobe_and_ShuyaKondoh.zip		57-CBPeneLoPe-TomohiroSonobe_and_ShuyaKondoh.zip
58-ParaCIRMiniSAT-TomohiroSonobe_and_ShuyaKondoh.zip		58-ParaCIRMiniSAT-TomohiroSonobe_and_ShuyaKondoh.zip
59-DCCASat+march_rw-ChuanLuo_and_ShaoweiCai_and_WeiWu_and_KaileSu.zip		59-DCCASat+march_rw-ChuanLuo_and_ShaoweiCai_and_WeiWu_and_KaileSu.zip
6-lingeling-ArminBiere.tar		6-lingeling-ArminBiere.tar
60-MCP-WenxiangChen_and_AdeleHowe_and_DarrellWhitley.zip		60-MCP-WenxiangChen_and_AdeleHowe_and_DarrellWhitley.zip
69-miniLoCeG(2SAT)+glucose-SebastianBurg_and_OliverBringmann_and_ThomasKropf.zip		69-miniLoCeG(2SAT)+glucose-SebastianBurg_and_OliverBringmann_and_ThomasKropf.zip
7-plingeling-ArminBiere.tar		7-plingeling-ArminBiere.tar
70-ROKK(sat)-TakeruYasumoto.zip		70-ROKK(sat)-TakeruYasumoto.zip
71-provoSATeur+glucose-SebastianBurg_and_OliverBringmann_and_ThomasKropf.zip		71-provoSATeur+glucose-SebastianBurg_and_OliverBringmann_and_ThomasKropf.zip
74-Nigma-UNSAT-ChuanJiang_and_GianfrancoCiardo.zip		74-Nigma-UNSAT-ChuanJiang_and_GianfrancoCiardo.zip
78-CCgscore-ShaoweiCai_and_ChuanLuo_and_KaileSu.zip		78-CCgscore-ShaoweiCai_and_ChuanLuo_and_KaileSu.zip
79-cryptominisat-4.1-st-MateSoos.zip		79-cryptominisat-4.1-st-MateSoos.zip
8-glucose-LaurentSimon.zip		8-glucose-LaurentSimon.zip
80-cryptominisat-4.1-mt-MateSoos.zip		80-cryptominisat-4.1-mt-MateSoos.zip
81-BalancedZ-ChongHUANG_and_ChuminLI_and_RuchuXU.zip		81-BalancedZ-ChongHUANG_and_ChuminLI_and_RuchuXU.zip
82-PeneLoPe-Audemard-Hoessen-Jabbour-Lagniez-Piette.zip		82-PeneLoPe-Audemard-Hoessen-Jabbour-Lagniez-Piette.zip
83-YalSAT-ArminBiere.zip		83-YalSAT-ArminBiere.zip
87-CLaS-AdrianBalint_and_AhmedIrfan_and_DavideLanti_and_NorbertManthey.zip		87-CLaS-AdrianBalint_and_AhmedIrfan_and_DavideLanti_and_NorbertManthey.zip
88-SparrowToRiss-AdrianBalint_and_NorbertManthey.zip		88-SparrowToRiss-AdrianBalint_and_NorbertManthey.zip
9-pmcSAT-RicardoMarques_and_LuísGuerraeSilva_and_PauloFloresandLuísMiguelSilveira.zip		9-pmcSAT-RicardoMarques_and_LuísGuerraeSilva_and_PauloFloresandLuísMiguelSilveira.zip
90-Plingeling-ArminBiere.zip		90-Plingeling-ArminBiere.zip
91-Treengeling-ArminBiere.zip		91-Treengeling-ArminBiere.zip
92-Lingeling-ArminBiere.zip		92-Lingeling-ArminBiere.zip
95-SatUZKcert-AlexandervanderGrinten_and_AndreasWotzlaw_and_EwaldSpeckemeyer.zip		95-SatUZKcert-AlexandervanderGrinten_and_AndreasWotzlaw_and_EwaldSpeckemeyer.zip
96-SatUZKp-AlexandervanderGrinten_and_AndreasWotzlaw_and_EwaldSpeckemeyer.zip		96-SatUZKp-AlexandervanderGrinten_and_AndreasWotzlaw_and_EwaldSpeckemeyer.zip
98-SWDiA5BY-ChanseokOh.zip		98-SWDiA5BY-ChanseokOh.zip

msoos/sat_competition_2014_sources

Folders and files

Latest commit

History

About

Topics

Stars

Watchers

Forks

Releases

Packages 0

Packages