Solver configurations used in the experiment

Name Solver
interact_open 1.0 interact_open Results
GlucoRed+March r531 GlucoRed+March Results
Solver43a a Solver43a Results
Glucans strict Glucans Results
Solver43b b Solver43b Results
forl nodrup forl Results
MIPSat MIPSat Results
CSHCpar8 CSHCpar8 Results
pcasso (disqualified) 1 pcasso Results
Riss3g (disqualified) 3g Riss3g Results
minipure 1.0.1 minipure Results
pcasso (disqualified) port pcasso Results
glueminisat 2.2.7j glueminisat Results