2018from the authors’ own sites
MatesCTF The Numbers
1 challenge with 1 published solution between them. CTFtime has no listing for this event at all, so nothing built on CTFtime can show what it was made of. These writeups were found on the authors’ own sites instead.
Where these writeups liveUncategorised1
The upstream scoreboard did not say, so neither do we.
Using Z3 to math equations.
1 official solution