6 problems
| Rank | Participant | Solved | Penalty | A | B | C | D | E | F |
|---|---|---|---|---|---|---|---|---|---|
| 1 | semcomp-24@semcomp-24 | 5 | 116 | +5 min / 0 | +55 min / 0 | +12 min / 0 | - | +20 min / 0 | +24 min / 0 |
| 2 | semcomp-23@semcomp-23 | 5 | 118 | +5 min / 0 | 31 min / 0 | +26 min / 2 | - | +21 min / 0 | +25 min / 0 |
| 3 | Vinicius@v1n1btt | 4 | 55 | 2 min / 0 | - | 10 min / 1 | - | 18 min / 0 | 20 min / 0 |
| 4 | semcomp-19@semcomp-19 | 4 | 71 | +8 min / 0 | - | +15 min / 0 | - | +22 min / 0 | +26 min / 0 |
| 5 | semcomp-22@semcomp-22 | 4 | 86 | +10 min / 0 | - | +18 min / 0 | -1 | +27 min / 0 | +31 min / 0 |
| 6 | semcomp-21@semcomp-21 | 4 | 88 | +10 min / 0 | - | +15 min / 0 | - | +25 min / 0 | +33 min / 1 |
| 7 | Daniel@daninatan | 4 | 101 | +11 min / 0 | - | +17 min / 0 | - | +29 min / 0 | +34 min / 2 |
| 8 | semcomp-25@semcomp-25 | 4 | 124 | +17 min / 0 | - | +27 min / 0 | - | +36 min / 0 | +44 min / 0 |
| 9 | semcomp-13@semcomp-13 | 0 | 0 | - | - | - | - | - | - |