Introduction
Important Dates
Rules
Machine Specifications
Previous Evaluations
Results - Complete solvers
Results - Incomplete solvers
Presentation
Benchmarks
Solvers
Submitted benchmarks
Organizers
|
Submitted Benchmarks
-
reversi-maxsat
:
Submitters: Yusuke Endoh
, Yusuke Endoh
Description
-
Set Covering - crafted - maxsat
:
Submitters: Emir Demirovi
, Emir Demirovi?, Nysret Musliu
Description
-
Set Covering - random - pw maxsat
:
Submitters: Emir Demirovi
, Emir Demirovi?, Nysret Musliu
Description
-
Set Covering - random - maxsat
:
Submitters: Emir Demirovi
, Emir Demirovi?, Nysret Musliu
Description
-
High School Timetabling Instances
:
Submitters: Emir Demirovi
, Emir Demirovi?, Nysret Musliu
Description
-
atcoss
:
Submitters: Mirko Stojadinovic
, Mirko Stojadinovic
Description
-
mbd
:
Submitters: Jordi Planes
, Joao Marques-Silva
Description
|