x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | xb-qsts_bqsts2.0 | 13.02 | ASPQ2 | 86.38 | ijtihad_v2 | 380.57 |
- | - | xb-qsts_xbqsts1.0 | 13.43 | qesto | 92.87 | ijtihad_v1 | 409.58 |
- | - | xb-qsts_xbqsts2.0 | 13.49 | qbfrelay-limited-depqbf | 94.96 | rev_qfun0.1 | 849.02 |
- | - | caqe_2017_v2 | 29.16 | - | - | - | - |
- | - | caqe_2017_v3 | 29.38 | - | - | - | - |
- | - | rareqs | 31.37 | - | - | - | - |
- | - | heretiq | 48.81 | - | - | - | - |
caqe_2017_v1(11.09) | |
xb-qsts_bqsts2.0(13.02) | |
xb-qsts_xbqsts1.0(13.43) | |
xb-qsts_xbqsts2.0(13.49) | |
caqe_2017_v2(29.16) | |
caqe_2017_v3(29.38) | |
rareqs(31.37) | |
heretiq(48.81) | |
ASPQ2(86.38) | |
qesto(92.87) | |
qbfrelay-limited-depqbf(94.96) | |
ijtihad_v2(380.57) | |
ijtihad_v1(409.58) | |
rev_qfun0.1(849.02) |