Random (.tar.bz2, 25MB), Crafted (.tar.bz2, 360MB), Industrial (.tar.bz2, 205MB) See also IBM and Velev web sites.Ģ004 competition.
Sat problem code#
Source code (competition division only, tgz, -updated 11/7/07- 6MB).Īrmin Biere, Oliver Kullmann and Allen Van Gelderĭaniel Le Berre and Laurent Simon Editors, Journal on Satisfiability, Boolean Modeling and Computation, Volume 2, Special Volume on the SAT 2005 competitions and evaluations, March 2006. Random (tar.bz2 44MB), crafted (.tar, bz2 compressed files inside 175MB), industrial (.tar, bz2 compressed files inside, 556 MB)+ velev 's VLIW-SAT 4.0 and VLIW-UNSAT 2.0 + IBM benchmarksĪll/ Winners precompiled for linux (tgz, 25/10 MB). Random (7z 46MiB), crafted (.7z 171MiB), industrial (7z 385 MiB)īinaries (7z, 33MiB)/ sources (7z, 25MiB)/ booklet with the description of the solvers (and benchmarks)Įwald Speckenmeyer, Geoff Sutcliffe and Lintao Zhang Static binaries / dynamic libraries / source codeĭaniel Le Berre, Olivier Roussel and Laurent SimonĪndreas Goerdt, Ines Lynce and Aaron Stump Whole selection (tar of bz2 files, 1.7 GiB) Matti J�rvisalo, Daniel Le Berre and Olivier Roussel
Open track (multiple solver sources, mixed benchmarks) Pete Manolios, Lakhdar Sais and Peter Stuckey MapleCOMPSPS LRB VSIDS 2, MapleCOMPSPS LRB VSIDSīest Application Benchmark Solver in the Main Trackīest Crafted Benchmark Solver in the Main Track
Past Competitions, Races and Evaluations SAT 2021 Competitionĭescriptions of the solvers and benchmarks SAT Competitions The International SAT Competition Web Page Current Competition SAT 2022 Competition
0 kommentar(er)
