x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | iprover_hqspre | 0.95 | - | - | - | - |
- | - | dCaqe | 1.09 | - | - | - | - |
- | - | idq | 1.09 | - | - | - | - |
- | - | iprover_dqbf18 | 2.49 | - | - | - | - |
hqs(0.88) | |
iprover_hqspre(0.95) | |
dCaqe(1.09) | |
idq(1.09) | |
iprover_dqbf18(2.49) |