2022result

• Solver Track Results
  • Single-engine Solvers
  • Overall Solvers (including portfolio)
  • Author List (collected from the descriptions)
• Graph Track Results
  • Table
  • Author List (collected from the descriptions)
• Data

Solver Track Results

If a solver name is provided, it is written as “Solver name (@Submitter)”. In other cases, only “@Submitter” is listed.

Single-engine Solvers

Metric	1st	2nd	3rd
Existent	PARIS single (@haz-single)	recongo (@YuyaYamada-N)	@toda5603
	299 (275/24)	244 (238/6)	207 (207/0)
Shortest	recongo (@YuyaYamada-N)	@tigrisg	PARIS single (@haz-single)
	238	232	213
Longest	PARIS single (@haz-single)	recongo (@YuyaYamada-N)	ReconfAIGERation (@Froleyks)
	144	115	54

• Detailed results

Overall Solvers (including portfolio)

Metric	1st	2nd	3rd
Existent	PARIS (@haz)	@telematik-tuhh	PARIS (@haz-single)
	334 (288/46)	326 (280/46)	299 (276/24)
Shortest	@telematik-tuhh	PARIS (@haz)	recongo (@YuyaYamada-N)
	280	275	238
Longest	PARIS single (@haz-single)	recongo (@YuyaYamada-N)	PARIS (@haz)
	143	115	90

• Detailed results

Author List (collected from the descriptions)

• ReconfAIGERation (@Froleyks)
  • Nils Froleyks (Johannes Kepler University, Linz, Austria)
  • Emily Yu (Johannes Kepler University, Linz, Austria)
  • Armin Biere (Albert Ludwig University, Freiburg, Germany)
• @TakehideSoh (organizer, reference)
  • Takehide Soh (Kobe University, Japan)
• recongo (@YuyaYamada-N)
  • Yuya Yamada (Graduate School of Informatics, Nagoya University, Japan)
  • Masato Kato (Graduate School of Informatics, Nagoya University, Japan)
  • Shuji Kosuge (Graduate School of Informatics, Nagoya University, Japan)
  • Raito Takeuchi (Graduate School of Informatics, Nagoya University, Japan)
  • Mutsunori Banbara (School of Informatics, Nagoya University, Japan)
• PARIS (@haz, @haz-single)
  • Remo Christen (University of Basel)
  • Salomé Eriksson (University of Basel)
  • Michael Katz (IBM T.J. Watson Research Center)
  • Emil Keyder (Invitae)
  • Christian Muise (Queen’s University)
  • Alice Petrov (Queen’s University)
  • Florian Pommerening (University of Basel)
  • Jendrik Seipp (Linköping University)
  • Silvan Sievers (University of Basel)
  • David Speck (University of Freiburg)
• @junkawahara
  • Jun Kawahara (Kyoto University)
  • Hiroki Yamazaki (Kyoto University)
• @telematik-tuhh
  • Volker Turau (Institute of Telematics, Hamburg University of Technology, Hamburg, Germany)
  • Christoph Weyer (Institute of Telematics, Hamburg University of Technology, Hamburg, Germany)
• @tigrisg
  • Ulrick BLÉ (École Centrale de Nantes)
  • Xiaoteng CUI (École Centrale de Nantes)
  • Feibiao WU (École Centrale de Nantes)
  • Zijie ZHONG (École Centrale de Nantes)
• @toda5603
  • Takahisa Toda (Graduate School of Informatics and Engineering, The University of Electro-Communications)

Graph Track Results

If a team name is provided, it is written as “Solver name (@Submitter)”. In other cases, only “@Submitter” is listed.

Table

Metric	1st	2nd	3rd
10	@telematik-tuhh	@tpierron	@akkyhowa
50	@tpierron	PARIS (@haz)	@karakasaDcFd
100	@tpierron	PARIS (@haz)	@karakasaDcFd

• At #10,
  • two teams were tied with the length 10, and
  • three teams were tied with the length 9.
  • The tie was broken by the date of submission.
• At #50,
  • two teams were tied with the length 3069.
  • The tie was broken by the date of submission.
• At #100,
  • two teams were tied with the length 3145725.
  • The tie was broken by the date of submission.
• Detailed results

Author List (collected from the descriptions)

• @akkyhowa
  • Akira Suzuki (Graduate School of Information Sciences, Tohoku University)
• @karakasaDcFd
  • Takashima Yuya (Minato laboratory of Kyoto University)
  • Yamaoka Chuta (Minato laboratory of Kyoto University)
• @tpierron
  • Nicolas Bousquet (Univ. Lyon, Universit ́e Lyon 1, LIRIS UMR CNRS 5205, F-69621, Lyon, France)
  • Bastien Durain (ENS Lyon)
  • Théo Pierron (Univ. Lyon, Universit ́e Lyon 1, LIRIS UMR CNRS 5205, F-69621, Lyon, France)
• PARIS (@haz, @haz-single)
  • Remo Christen (University of Basel)
  • Salomé Eriksson (University of Basel)
  • Michael Katz (IBM T.J. Watson Research Center)
  • Emil Keyder (Invitae)
  • Christian Muise (Queen’s University)
  • Alice Petrov (Queen’s University)
  • Florian Pommerening (University of Basel)
  • Jendrik Seipp (Linköping University)
  • Silvan Sievers (University of Basel)
  • David Speck (University of Freiburg)
• @telematik-tuhh
  • Volker Turau (Institute of Telematics, Hamburg University of Technology, Hamburg, Germany)
  • Christoph Weyer (Institute of Telematics, Hamburg University of Technology, Hamburg, Germany)
• @tigrisg
  • Ulrick BLÉ (École Centrale de Nantes)
  • Xiaoteng CUI (École Centrale de Nantes)
  • Feibiao WU (École Centrale de Nantes)
  • Zijie ZHONG (École Centrale de Nantes)

## Data

• Problem