x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | Qute_random | 5.62 | Qute_default | 28.78 | caqe_2017_v1 | 162.66 |
- | - | - | - | caqe_2017_v2 | 53.66 | qbfrelay-limited-depqbf | 177.71 |
- | - | - | - | caqe_2017_v3 | 53.83 | - | - |
Qute_opt500(5.58) | |
Qute_random(5.62) | |
Qute_default(28.78) | |
caqe_2017_v2(53.66) | |
caqe_2017_v3(53.83) | |
caqe_2017_v1(162.66) | |
qbfrelay-limited-depqbf(177.71) |