-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathsolvers.html
More file actions
54 lines (47 loc) · 3.43 KB
/
solvers.html
File metadata and controls
54 lines (47 loc) · 3.43 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
<h2>Solvers</h2>
<p>
Here you can find the list of all solvers participating in SAT-Race 2015.
Click on a solver's name to download a short description in PDF format.
</p>
<h3>Main Track</h3>
<table>
<tr><th>Solver</th><th>Submitted by</th></tr>
<tr><td><a href="descriptions/ratselfax.pdf">Ratselfax</a> </td><td>Jan Bruns</td></tr>
<tr><td><a href="descriptions/cmsv44.pdf">CryptoMiniSat</a> </td><td>Mate Soos</td></tr>
<tr><td><a href="descriptions/multi-sat.pdf">MultiSat</a> </td><td>Sajjad Siddiqui</td></tr>
<tr><td><a href="descriptions/or-tools.pdf">Or-tools</a> </td><td>Frederic Didier</td></tr>
<tr><td><a href="descriptions/cominisatps.pdf">COMiniSatPS</a> </td><td>Chanseok Oh</td></tr>
<tr><td><a href="descriptions/glueminisat-2.2.10.pdf">GlueMiniSat 2.2.10</a> </td><td>Hidetomo Nabeshima</td></tr>
<tr><td><a href="descriptions/riss-version-505.pdf">Riss505 + Pcasso</a> </td><td>Norbert Manthey</td></tr>
<tr><td><a href="descriptions/glucose-satrace15.pdf">glucose</a> </td><td>Gilles Audemard</td></tr>
<tr><td><a href="descriptions/glueminisat-actmini.pdf">Glueminisat-ActivityMini</a> </td><td>Moon Seongsoo</td></tr>
<tr><td><a href="descriptions/abcdSAT_Minisat_BCD.pdf">abcdSat + MiniSat_bcd</a> </td><td>Jingchao Chen</td></tr>
<tr><td><a href="descriptions/fmv-solvers-sat-race-2015.pdf">lingeling-sr15ba[l/q]</a> </td><td>Armin Biere</td></tr>
<tr><td><a href="descriptions/MISSING">satUZK</a> </td><td>Alexander van der Grinten</td></tr>
<tr><td><a href="descriptions/gluc-commswitch.pdf">glucose_CommunitySwitching</a> </td><td>Hitoshi Togasaki</td></tr>
<tr><td><a href="descriptions/nigma.pdf">Nigma</a> </td><td>Chuan Jiang</td></tr>
<tr><td><a href="descriptions/SymGlucose2.pdf">BreakIDGlucose</a> </td><td>Jo Devriendt</td></tr>
<tr><td><a href="descriptions/dccasattoriss.pdf">DCCASatToRiss</a> </td><td>Chuan Luo</td></tr>
<tr><td><a href="descriptions/CCAglucose.pdf">CCAglucose2015</a> </td><td>Shaowei Cai</td></tr>
<tr><td><a href="descriptions/Glucose_nbTrue_rsltn.pdf">Glucose_nbSat</a> </td><td>Fan Xiao</td></tr>
</table>
<h3>Parallel Track</h3>
<table>
<tr><th>Solver</th><th>Submitted by</th></tr>
<tr><td><a href="descriptions/cmsv44.pdf">CryptoMiniSat</a> </td><td>Mate Soos</td></tr>
<tr><td><a href="descriptions/paraglueminisat.pdf">ParaGlueminisat</a> </td><td>Moon Seongsoo</td></tr>
<tr><td><a href="descriptions/cbpenelope.pdf">cbPenelope</a> </td><td>Tomohiro SONOBE</td></tr>
<tr><td><a href="descriptions/riss-version-505.pdf">Riss505 + Pcasso</a> </td><td>Norbert Manthey</td></tr>
<tr><td><a href="descriptions/glucose-satrace15.pdf">glucose</a> </td><td>Gilles Audemard</td></tr>
<tr><td><a href="descriptions/fmv-solvers-sat-race-2015.pdf">lingeling-sr15ba[l/q]</a> </td><td>Armin Biere</td></tr>
<tr><td><a href="descriptions/MISSING">satUZK</a> </td><td>Alexander van der Grinten</td></tr>
</table>
<h3>Incremental Library Track</h3>
<table>
<tr><th>Solver</th><th>Submitted by</th></tr>
<tr><td><a href="descriptions/cmsv44.pdf">CryptoMiniSat</a> </td><td>Mate Soos</td></tr>
<tr><td><a href="descriptions/cominisatps.pdf">COMiniSatPS</a> </td><td>Chanseok Oh</td></tr>
<tr><td><a href="descriptions/riss-version-505.pdf">Riss505 + Pcasso</a> </td><td>Norbert Manthey</td></tr>
<tr><td><a href="descriptions/glucose-satrace15.pdf">glucose</a> </td><td>Gilles Audemard</td></tr>
<tr><td><a href="descriptions/MISSING">satUZK</a> </td><td>Alexander van der Grinten</td></tr>
</table>