x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | caqe_2017_v3 | 21.46 |
- | - | - | - | - | - | caqe_2017_v2 | 21.6 |
- | - | - | - | - | - | caqe_2017_v1 | 23.92 |
ASPQ2(1.41) | |
caqe_2017_v3(21.46) | |
caqe_2017_v2(21.6) | |
caqe_2017_v1(23.92) | |
rareqs(153.03) |