Introduction
Important Dates
Rules
Machine Specifications
Previous Evaluations
Results - Complete solvers
Results - Incomplete solvers
Presentation
Solvers
Submitted benchmarks
Benchmarks
Organizers
|
Submitted Benchmarks
-
Fault Diagnosis
:
Submitters: Andreas Riefert
, Andreas Riefert, Sven Reimer
Description
-
BTBNSL
:
Submitters: Jeremias Berg
, J. Berg, M.Jarvisalo, B.Mallone,
Description
-
Treewidth Computation
:
Submitters: Jeremias Berg
, J. Berg, M. Jarvisalo
Description
-
Correlation Clustering
:
Submitters: Jeremias Berg
, J. Berg, M.Jarvisalo
Description
-
Causual Discovery
:
Submitters: Jeremias Berg
, A. Hyttinen, F. Eberhardt, and M. Järvisalo & A. Hyttinen, P. O. Hoyer, F. Eberhardt, and M. Järvisa
Description
-
Causual Discovery
:
Submitters: Jeremias Berg
, A. Hyttinen, F. Eberhardt, and M. Järvisalo & A. Hyttinen, P. O. Hoyer, F. Eberhardt, and M. Järvisa
Description
-
AES Key Recovery
:
Submitters: Miyuki Koshimura
, Xiaojuan Liao and Miyuki Koshimura
Description
-
bf2030fvcons
:
Submitters: Peter Großmann
, Peter Großmann
Description
-
bf2030fvslack
:
Submitters: Peter Großmann
, Peter Großmann
Description
-
d4
:
Submitters: Peter Großmann
, Peter Großmann
Description
-
dp43
:
Submitters: Peter Großmann
, Peter Großmann
Description
-
f2030
:
Submitters: Peter Großmann
, Peter Großmann
Description
-
p15
:
Submitters: Peter Großmann
, Peter Großmann
Description
-
pesp_18Min
:
Submitters: Peter Großmann
, Peter Großmann
Description
-
pesp_5min
:
Submitters: Peter Großmann
, Peter Großmann
Description
-
r11
:
Submitters: Peter Großmann
, Peter Großmann
Description
-
we
:
Submitters: Peter Großmann
, Peter Großmann
Description
-
wg2
:
Submitters: Peter Großmann
, Peter Großmann
Description
-
ms_random
:
Submitters: Andre Abrame
, André Abramé and Djamal Habet
Description
-
wms_random
:
Submitters: Andre Abrame
, André Abramé and Djamal Habet
Description
-
ms_crafted/maxcut
:
Submitters: Andre Abrame
, André Abramé and Djamal Habet
Description
|