solver  a "light red" background denotes a solver which was disqualified because it gave an incorrect answer, and which will not appear in the ranking 
solver  a "light yellow" background denotes a solver which was replaced by another version, and which will not appear in the ranking 
Solver Name  Progress  

Exact 20240705 (complete) 
 
Exact_no_SoPlex 20240705 (complete) 
 
FiberSCIP 20240702 (complete) 
 
FiberSCIP 20240730 (complete) 
 
FiberSCIP 20 cores, 20240730 (complete) 
 
NaPS 1.03 (complete) 
 
NaPS 1.03a1 (complete) 
 
NaPS 1.03a2 (complete) 
 
NaPSGM 1.03 (complete) 
 
NaPSGM 1.03a1 (complete) 
 
NaPSGM 1.03a2 (complete) 
 
NaPSPB16 1.02b5 (complete) 
 
Sat4j Cutting Planes 2024 20240712 (complete) 
 
Sat4j Partial RoundingSAT 2024 20240712 (complete) 
 
Sat4j Resolution Default 20240707 (complete) 
 
SCIP 20240707 (complete) 

Solver Name  Progress  

Exact 20240705 (complete) 
 
Exact_no_SoPlex 20240705 (complete) 
 
FiberSCIP 20240702 (complete) 
 
FiberSCIP 20240730 (complete) 
 
FiberSCIP 20 cores, 20240730 (complete) 
 
NaPS 1.03 (complete) 
 
NaPS 1.03a1 (complete) 
 
NaPS 1.03a2 (complete) 
 
NaPSGM 1.03 (complete) 
 
NaPSGM 1.03a1 (complete) 
 
NaPSGM 1.03a2 (complete) 
 
NaPSPB16 1.02b5 (complete) 
 
Sat4j Cutting Planes 2024 20240712 (complete) 
 
Sat4j Partial RoundingSAT 2024 20240712 (complete) 
 
Sat4j Resolution Default 20240707 (complete) 
 
SCIP 20240707 (complete) 

Solver Name  Progress  

Exact 20240705 (complete) 
 
Exact_no_SoPlex 20240705 (complete) 
 
FiberSCIP 20240702 (complete) 
 
FiberSCIP 20240730 (complete) 
 
FiberSCIP 20 cores, 20240730 (complete) 
 
NaPS 1.03 (complete) 
 
NaPS 1.03a1 (complete) 
 
NaPS 1.03a2 (complete) 
 
NaPSGM 1.03 (complete) 
 
NaPSGM 1.03a1 (complete) 
 
NaPSGM 1.03a2 (complete) 
 
NaPSPB16 1.02b5 (complete) 
 
Sat4j Cutting Planes 2024 20240712 (complete) 
 
Sat4j Partial RoundingSAT 2024 20240712 (complete) 
 
Sat4j Resolution Default 20240707 (complete) 
 
SCIP 20240707 (complete) 

This table summarizes the results in all categories for all solvers. Note however that some solvers may not have support for some categories. Therefore, the solvers may have run on a different number of benchmarks and this table should not be used to compare them.
Solver Name  Progress  

Exact 20240705 (complete) 
 
Exact_no_SoPlex 20240705 (complete) 
 
FiberSCIP 20240702 (complete) 
 
FiberSCIP 20240730 (complete) 
 
FiberSCIP 20 cores, 20240730 (complete) 
 
NaPS 1.03 (complete) 
 
NaPS 1.03a1 (complete) 
 
NaPS 1.03a2 (complete) 
 
NaPSGM 1.03 (complete) 
 
NaPSGM 1.03a1 (complete) 
 
NaPSGM 1.03a2 (complete) 
 
NaPSPB16 1.02b5 (complete) 
 
Sat4j Cutting Planes 2024 20240712 (complete) 
 
Sat4j Partial RoundingSAT 2024 20240712 (complete) 
 
Sat4j Resolution Default 20240707 (complete) 
 
SCIP 20240707 (complete) 
