| 1 |
James Trimble (peatyplus) |
University of Glasgow (United Kingdom) |
Bute-Plus |
78 |
6503 |
[git] |
| 2 |
Tuukka Korhonen (Laakeri) |
University of Helsinki (Finland) |
SMS |
77 |
5599,6 |
[git] |
| 3 |
Ruben Brokkelkamp, Mees de Vries, Raymond van Venetië, Jan Westerdiep (mjdv) |
Centrum Wiskunde & Informatica (CWI), University of Amsterdam, Korteweg-de Vries Institute for Mathematics, University of Amsterdam (Netherlands) |
tdULL |
72 |
3149,6 |
[git] |
| 4 |
Max Bannach, Sebastian Berndt, Martin Schuster, Marcel Wienöbst (Bannach) |
Institute for Theoretical Computer Science at Universität zu Lübeck, Institute for IT Security at Universität zu Lübeck, Institut für Epidemiologie at Universität Kiel (Germany) |
PID-Star |
72 |
4267,6 |
[git] |
| 5 |
Dejun Mao, Vorapong Suppakitpaisarn, Zijian Xu (xuzijian629) |
The University of Tokyo (Japan) |
solver |
68 |
8794,4 |
[git] |
| 6 |
Narek Bojikian, Alexander van der Grinten, Falko Hegerfeld, Laurence Alec Kluge, Stefan Kratsch (avdgrinten) |
Humboldt-Universität zu Berlin (Germany) |
treedepth-pid |
64 |
4515 |
[git] |
| 7 |
Tom van der Zanden (Tom) |
Maastricht University (Netherlands) |
Basic Treedepth Solver |
44 |
6304,9 |
[git] |
| 8 |
Dmitry Sayutin (cdkrot) |
ITMO University (Russia) |
magnolia tree depth solver |
37 |
11465,5 |
[git] |
| 9 |
Philip de Bruin, Erik Jan van Leeuwen (PhiliPdB) |
Utrecht University (Netherlands) |
Memoizing Treedepth Brancher |
27 |
4470,3 |
[git] |
| 10 |
Jun Kawahara, Toshiki Saitoh, Akira Suzuki, Toshiyuki Takase, Katsuhisa Yamanaka (t-saitoh) |
Kyoto University, Kyushu Institute of Technology, Tohoku University, Iwate University (Japan) |
wankoSOBA |
6 |
198,4 |
[git] |
| 11 |
Blend Arifaj, Ardit Baloku, Blend Berisha, Edon Gashi, Endrit Mëziu, Kadri Sylejmani (uni-pr) |
University of Prishtina (Kosovo) |
Uni-pr |
0 |
0 |
[git] |
| 12 |
Miguel Bosch Calvo, Giorgia Carranza Tejada, Dominik Jeurissen, Steven Kelk, Zhuoer Ma, Alexander Reisach, Borislav Slavchev (djeurissen) |
Maastricht University (Netherlands) |
StrategicSolver |
DQ |
0 |
[git] |
| 13 |
Sylwester Swat (swats) |
Poznań University Of Technology (Poland) |
ExTREEm |
DQ |
0 |
[git] |
| 14 |
Oleg Evseev, Igor Kozin, Alexander Zemlyanskiy (Math_student1) |
Zaporizhzhya National University (Ukraine) |
GenSol |
DQ |
0 |
[git] |
| 15 |
Marcelo Garlet Milani (mgmilani) |
Technische Universität Berlin (Germany) |
td-milani |
DQ |
0 |
[git] |
