Gurobi vs Cplex Speed
GUROBI
dac12/c499_enc05.bench
-
-reduction standard -solver gurobi_v1 -debug -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
- 25 seconds (CORRECT KEY FOUND)
-
-reduction reduced -solver gurobi_v1 -debug -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
- TIMEOUT @ 4.5hrs
-
-reduction fromsat -solver gurobi_v1 -debug -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
- TIMEOUT @ 10mins
Algorithms
- [26 sec]
-alg -1 -reduction standard -solver gurobi_v1 -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
- [8 sec]
-alg 0 -reduction standard -solver gurobi_v1 -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
- [27 sec]
-alg 1 -reduction standard -solver gurobi_v1 -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
- [6 sec]
-alg 2 -reduction standard -solver gurobi_v1 -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
- [41 sec]
-alg 3 -reduction standard -solver gurobi_v1 -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
- [41 sec]
-alg 4 -reduction standard -solver gurobi_v1 -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
- [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
-
-reduction standard -solver cplex_v3 -debug -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !ee
- 871 milliseconds (A KEY FOUND)
-
-reduction reduced -solver cplex_v3 -debug -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
- TIMEOUT @ 10mins
-
-reduction fromsat -solver cplex_v3 -debug -verify_steps -locked ../data/dac12/enc05/c499_enc05.bench -run solve !e
- TIMEOUT @ 12hrs