generated from satcompetition/template
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathresults.html
72 lines (65 loc) · 9.36 KB
/
results.html
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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>SAT Competition</title>
<link rel="stylesheet" href="main.css" type="text/css">
<link rel="icon" type="image/x-icon" href="doge2.ico">
<script src="sorttable.js"></script>
<script src="https://www.w3schools.com/lib/w3.js"></script>
<style>
a#results { color:var(--link-color-2); }
</style>
</head>
<body>
<div class="main">
<div class="navigation" w3-include-html="navigation.html"></div>
<div class="heading" w3-include-html="heading.html"></div>
<script>w3.includeHTML();</script>
<div class="content">
<h2>Results</h2>
<h3>Main Track</h3>
<table class='sortable' style='font-size:8pt'>
<thead><tr><th class='sorttable_nosort'>Solver</th> <th class='col_heading'>Score</th><th class='col_heading'>Solved</th> <th class='col_heading'>SAT Score</th><th class='col_heading'>SAT Solved</th> <th class='col_heading'>UNSAT Score</th><th class='col_heading'>UNSAT Solved</th> </tr></thead>
<tbody> <tr class='vbs'> <td class='row_heading'>VBS</td> <td class='data'> 1681.3 </td> <td class='data'> 347 </td> <td class='data'> 246.12 </td> <td class='data'> 168 </td> <td class='data'> 565.21 </td> <td class='data'> 179 </td> </tr>
<tr class=' kissat-sc2024 '> <td class='row_heading'> kissat-sc2024 </td> <td class='data'> 2788.13 </td> <td class='data'> 306 </td> <td class='data'> 1270.53 </td> <td class='data'> 153 </td> <td class='data'> 2077.11 </td> <td class='data'> 153 </td> </tr>
<tr class=' Kissat_MAB-DC '> <td class='row_heading'> Kissat_MAB-DC </td> <td class='data'> 3435.23 </td> <td class='data'> 290 </td> <td class='data'> 2104.59 </td> <td class='data'> 146 </td> <td class='data'> 2740.35 </td> <td class='data'> 144 </td> </tr>
<tr class=' hKis-bva '> <td class='row_heading'> hKis-bva </td> <td class='data'> 3461.15 </td> <td class='data'> 285 </td> <td class='data'> 1997.14 </td> <td class='data'> 143 </td> <td class='data'> 2899.1 </td> <td class='data'> 142 </td> </tr>
<tr class=' BreakID-Kissat '> <td class='row_heading'> BreakID-Kissat </td> <td class='data'> 3461.77 </td> <td class='data'> 284 </td> <td class='data'> 1668.4 </td> <td class='data'> 152 </td> <td class='data'> 3209.04 </td> <td class='data'> 132 </td> </tr>
<tr class=' Kissat_MAB_ESA '> <td class='row_heading'> Kissat_MAB_ESA </td> <td class='data'> 3490.98 </td> <td class='data'> 287 </td> <td class='data'> 2227.87 </td> <td class='data'> 141 </td> <td class='data'> 2749.22 </td> <td class='data'> 146 </td> </tr>
<tr class=' CaDiCaL '> <td class='row_heading'> CaDiCaL </td> <td class='data'> 3494.11 </td> <td class='data'> 284 </td> <td class='data'> 2143.21 </td> <td class='data'> 142 </td> <td class='data'> 2835.66 </td> <td class='data'> 142 </td> </tr>
<tr class=' Kissat_MAB_Binary '> <td class='row_heading'> Kissat_MAB_Binary </td> <td class='data'> 3516.04 </td> <td class='data'> 285 </td> <td class='data'> 2281.22 </td> <td class='data'> 139 </td> <td class='data'> 2755.14 </td> <td class='data'> 146 </td> </tr>
<tr class=' Cadical_ESA '> <td class='row_heading'> Cadical_ESA </td> <td class='data'> 3560.32 </td> <td class='data'> 281 </td> <td class='data'> 2314.55 </td> <td class='data'> 138 </td> <td class='data'> 2822.81 </td> <td class='data'> 143 </td> </tr>
<tr class=' AMSAT_RGC '> <td class='row_heading'> AMSAT_RGC </td> <td class='data'> 3631.69 </td> <td class='data'> 279 </td> <td class='data'> 2239.41 </td> <td class='data'> 139 </td> <td class='data'> 3052.81 </td> <td class='data'> 140 </td> </tr>
<tr class=' AMSAT '> <td class='row_heading'> AMSAT </td> <td class='data'> 3641.2 </td> <td class='data'> 278 </td> <td class='data'> 2228.76 </td> <td class='data'> 139 </td> <td class='data'> 3084.06 </td> <td class='data'> 139 </td> </tr>
<tr class=' hCaD-bva '> <td class='row_heading'> hCaD-bva </td> <td class='data'> 3728.66 </td> <td class='data'> 271 </td> <td class='data'> 2984.61 </td> <td class='data'> 125 </td> <td class='data'> 2570.12 </td> <td class='data'> 146 </td> </tr>
<tr class=' hCaD-pbva '> <td class='row_heading'> hCaD-pbva </td> <td class='data'> 4056.35 </td> <td class='data'> 261 </td> <td class='data'> 3376.81 </td> <td class='data'> 120 </td> <td class='data'> 2934.27 </td> <td class='data'> 141 </td> </tr>
<tr class=' hKis-pbva '> <td class='row_heading'> hKis-pbva </td> <td class='data'> 5170.5 </td> <td class='data'> 217 </td> <td class='data'> 5349.47 </td> <td class='data'> 86 </td> <td class='data'> 3572.56 </td> <td class='data'> 131 </td> </tr>
<tr class=' IsaSAT '> <td class='row_heading'> IsaSAT </td> <td class='data'> 6325.79 </td> <td class='data'> 165 </td> <td class='data'> 5364.79 </td> <td class='data'> 85 </td> <td class='data'> 6139.83 </td> <td class='data'> 80 </td> </tr>
</tbody> </table>
<h3>Parallel Track</h3>
<table class='sortable' style='font-size:8pt'>
<thead><tr><th class='sorttable_nosort'>Solver</th> <th class='col_heading'>Score</th><th class='col_heading'>Solved</th> <th class='col_heading'>SAT Score</th><th class='col_heading'>SAT Solved</th> <th class='col_heading'>UNSAT Score</th><th class='col_heading'>UNSAT Solved</th> </tr></thead>
<tbody> <tr class='vbs'> <td class='row_heading'>VBS</td> <td class='data'> 932.72 </td> <td class='data'> 370 </td> <td class='data'> 55.79 </td> <td class='data'> 179 </td> <td class='data'> 330.38 </td> <td class='data'> 191 </td> </tr>
<tr class=' saoudi-painless-par2 '> <td class='row_heading'> saoudi-painless-par2 </td> <td class='data'> 1397.76 </td> <td class='data'> 353 </td> <td class='data'> 447.99 </td> <td class='data'> 174 </td> <td class='data'> 936.72 </td> <td class='data'> 179 </td> </tr>
<tr class=' saoudi-painless-par1 '> <td class='row_heading'> saoudi-painless-par1 </td> <td class='data'> 1418.19 </td> <td class='data'> 353 </td> <td class='data'> 535.37 </td> <td class='data'> 173 </td> <td class='data'> 897.63 </td> <td class='data'> 180 </td> </tr>
<tr class=' tchinda-prs-pakisinc '> <td class='row_heading'> tchinda-prs-pakisinc </td> <td class='data'> 1507.7 </td> <td class='data'> 349 </td> <td class='data'> 577.51 </td> <td class='data'> 173 </td> <td class='data'> 1045.58 </td> <td class='data'> 176 </td> </tr>
<tr class=' djamegni-sbvaprspakisinc '> <td class='row_heading'> djamegni-sbvaprspakisinc </td> <td class='data'> 1572.25 </td> <td class='data'> 348 </td> <td class='data'> 615.87 </td> <td class='data'> 173 </td> <td class='data'> 1144.81 </td> <td class='data'> 175 </td> </tr>
<tr class=' schreiber-mallob-impcheck '> <td class='row_heading'> schreiber-mallob-impcheck </td> <td class='data'> 1685.25 </td> <td class='data'> 345 </td> <td class='data'> 858.81 </td> <td class='data'> 168 </td> <td class='data'> 1153.79 </td> <td class='data'> 177 </td> </tr>
<tr class=' schreiber-mallobsat '> <td class='row_heading'> schreiber-mallobsat </td> <td class='data'> 1694.64 </td> <td class='data'> 341 </td> <td class='data'> 512.15 </td> <td class='data'> 173 </td> <td class='data'> 1498.34 </td> <td class='data'> 168 </td> </tr>
<tr class=' biere-gimsatul '> <td class='row_heading'> biere-gimsatul </td> <td class='data'> 2058.13 </td> <td class='data'> 328 </td> <td class='data'> 1017.12 </td> <td class='data'> 166 </td> <td class='data'> 1786.32 </td> <td class='data'> 162 </td> </tr>
<tr class=' qian-prs-thread32 '> <td class='row_heading'> qian-prs-thread32 </td> <td class='data'> 2164.67 </td> <td class='data'> 317 </td> <td class='data'> 1260.82 </td> <td class='data'> 158 </td> <td class='data'> 1781.05 </td> <td class='data'> 159 </td> </tr>
<tr class=' qian-prs-thread64 '> <td class='row_heading'> qian-prs-thread64 </td> <td class='data'> 2411.72 </td> <td class='data'> 308 </td> <td class='data'> 1845.86 </td> <td class='data'> 148 </td> <td class='data'> 1750.16 </td> <td class='data'> 160 </td> </tr>
</tbody> </table>
<h3>Cloud Track</h3>
<table class='sortable' style='font-size:8pt'>
<thead><tr><th class='sorttable_nosort'>Solver</th> <th class='col_heading'>Score</th><th class='col_heading'>Solved</th> <th class='col_heading'>SAT Score</th><th class='col_heading'>SAT Solved</th> <th class='col_heading'>UNSAT Score</th><th class='col_heading'>UNSAT Solved</th> </tr></thead>
<tbody> <tr class='vbs'> <td class='row_heading'>VBS</td> <td class='data'> 210.75 </td> <td class='data'> 367 </td> <td class='data'> 24.41 </td> <td class='data'> 170 </td> <td class='data'> 71.83 </td> <td class='data'> 197 </td> </tr>
<tr class=' schreiber-mallobsat '> <td class='row_heading'> schreiber-mallobsat </td> <td class='data'> 278.87 </td> <td class='data'> 356 </td> <td class='data'> 95.38 </td> <td class='data'> 166 </td> <td class='data'> 148.91 </td> <td class='data'> 190 </td> </tr>
<tr class=' qian-prs-distributed '> <td class='row_heading'> qian-prs-distributed </td> <td class='data'> 400.36 </td> <td class='data'> 330 </td> <td class='data'> 252.79 </td> <td class='data'> 151 </td> <td class='data'> 259.75 </td> <td class='data'> 179 </td> </tr>
<tr class=' saoudi-painless '> <td class='row_heading'> saoudi-painless </td> <td class='data'> 451.97 </td> <td class='data'> 334 </td> <td class='data'> 184.38 </td> <td class='data'> 163 </td> <td class='data'> 423.56 </td> <td class='data'> 171 </td> </tr>
</tbody> </table>
</div>
</div>
</body>
</html>