Gurobi vs Cplex Speed

GUROBI

dac12/c499_enc05.bench

1. -reduction standard -solver gurobi_v1 -debug -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
   • 25 seconds (CORRECT KEY FOUND)
2. -reduction reduced -solver gurobi_v1 -debug -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
   • TIMEOUT @ 4.5hrs
3. -reduction fromsat -solver gurobi_v1 -debug -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
   • TIMEOUT @ 10mins

Algorithms

1. [26 sec] -alg -1 -reduction standard -solver gurobi_v1 -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
2. [8 sec] -alg 0 -reduction standard -solver gurobi_v1 -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
3. [27 sec] -alg 1 -reduction standard -solver gurobi_v1 -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
4. [6 sec] -alg 2 -reduction standard -solver gurobi_v1 -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
5. [41 sec] -alg 3 -reduction standard -solver gurobi_v1 -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
6. [41 sec] -alg 4 -reduction standard -solver gurobi_v1 -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
7. [41 sec] -alg 5 -reduction standard -solver gurobi_v1 -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e

CPLEX

dac12/c499_enc05.bench

1. -reduction standard -solver cplex_v3 -debug -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !ee
   • 871 milliseconds (A KEY FOUND)
2. -reduction reduced -solver cplex_v3 -debug -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
   • TIMEOUT @ 10mins
3. -reduction fromsat -solver cplex_v3 -debug -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
   • TIMEOUT @ 12hrs