This page presents the ranking of the different solvers. Solvers are ranked on the number of solved instances. Ties are broken by considering the minimum total solution time.
Solvers which gave a wrong answer in a category are excluded from the ranking in that category.
Rank | Solver | Version | Number of solved instances | Cumulated CPU time on solved instances | Average CPU time per solved instance |
---|---|---|---|---|---|
1 | minisat | SAT 2007 | 98 | 83316.21 | 850.17 |
2 | SATzilla | CRAFTED | 94 | 77016.39 | 819.32 |
3 | MiraXT | v3 | 78 | 76613.85 | 982.23 |
4 | MXC | 2007-02-08 | 77 | 81862.98 | 1063.16 |
5 | CMUSAT | 2007-02-08 | 66 | 52328.27 | 792.85 |
6 | picosat | 535 | 60 | 47242.52 | 787.38 |
7 | Rsat | 2007-02-08 | 55 | 70061.64 | 1273.85 |
8 | March KS | 2007-02-08 | 47 | 45097.02 | 959.51 |
9 | TTS | 4.0 | 42 | 13592.84 | 323.64 |
Rank | Solver | Version | Number of solved instances | Cumulated CPU time on solved instances | Average CPU time per solved instance |
---|---|---|---|---|---|
1 | Rsat | 2007-02-08 | 139 | 134755.87 | 969.47 |
2 | picosat | 535 | 139 | 171834.64 | 1236.22 |
3 | minisat | SAT 2007 | 132 | 173418.61 | 1313.78 |
4 | TiniSatELite | 2007-02-08 | 130 | 115106.36 | 885.43 |
5 | MiraXT | v3 | 126 | 147447.08 | 1170.21 |
6 | CMUSAT | 2007-02-08 | 123 | 162428.76 | 1320.56 |
7 | Siege | V4 | 122 | 141903.82 | 1163.15 |
8 | MXC | 2007-02-08 | 116 | 165955.29 | 1430.65 |
9 | SATzilla | CRAFTED | 114 | 152176.6 | 1334.88 |
10 | SAT7 | 2007-02-08 | 114 | 212015.89 | 1859.79 |
Rank | Solver | Version | Number of solved instances | Cumulated CPU time on solved instances | Average CPU time per solved instance |
---|---|---|---|---|---|
1 | March KS | 2007-02-08 | 257 | 177511.15 | 690.7 |
2 | adaptg2wsat+ | 2007-02-08 | 252 | 91386.75 | 362.65 |
3 | adaptg2wsat0 | 2007-02-08 | 248 | 90805.99 | 366.15 |
4 | SATzilla | RANDOM | 248 | 119823.47 | 483.16 |
5 | ranov | 2007-02-08 | 242 | 95353.84 | 394.02 |
6 | gnovelty+ | 2007-02-08 | 242 | 124438.83 | 514.21 |
7 | adaptnovelty | 2007-02-08 | 240 | 103076.65 | 429.49 |
8 | KCNFS | 2004 | 237 | 179672.01 | 758.11 |
9 | sapsrt | 2007-02-08 | 188 | 37415.96 | 199.02 |
10 | minisat | SAT 2007 | 140 | 155874.01 | 1113.39 |
11 | MXC | 2007-02-08 | 135 | 116819.9 | 865.33 |
12 | SAT7 | 2007-02-08 | 122 | 100769.43 | 825.98 |
13 | DEWSATZ 1A | 2007-02-08 | 121 | 110654.19 | 914.5 |
14 | MiraXT | v3 | 106 | 94180.5 | 888.5 |