x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | xb-qsts_xbqsts2.0 | 1.46 | prefix-opt-depqbf | 6.83 | Qute_opt500 | 21.35 |
- | - | xb-qsts_xbqsts1.0 | 1.51 | qbfrelay-limited-depqbf | 7.02 | Qute_random | 21.45 |
- | - | caqe_2017_v1 | 3.38 | qesto | 9.96 | Qute_default | 22.08 |
- | - | caqe_2017_v3 | 3.4 | caqe_2017_v2 | 12.81 | ijtihad_v2 | 25.67 |
- | - | - | - | - | - | rareqs | 27.1 |
- | - | - | - | - | - | GhostQ-PG_plain | 30.57 |
- | - | - | - | - | - | heretiq | 31.29 |
- | - | - | - | - | - | ijtihad_v1 | 73.34 |
xb-qsts_bqsts2.0(1.3) | |
xb-qsts_xbqsts2.0(1.46) | |
xb-qsts_xbqsts1.0(1.51) | |
caqe_2017_v1(3.38) | |
caqe_2017_v3(3.4) | |
prefix-opt-depqbf(6.83) | |
qbfrelay-limited-depqbf(7.02) | |
qesto(9.96) | |
caqe_2017_v2(12.81) | |
Qute_opt500(21.35) | |
Qute_random(21.45) | |
Qute_default(22.08) | |
ijtihad_v2(25.67) | |
rareqs(27.1) | |
GhostQ-PG_plain(30.57) | |
heretiq(31.29) | |
ijtihad_v1(73.34) | |
GhostQ-PG_cegar(633.06) |