x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | heretiq | 0.25 | - | - | caqe_2017_v2 | 2.57 |
- | - | ijtihad_v1 | 0.25 | - | - | caqe_2017_v3 | 2.8 |
- | - | ijtihad_v2 | 0.25 | - | - | - | - |
- | - | caqe_2017_v1 | 0.28 | - | - | - | - |
rareqs(0.23) | |
heretiq(0.25) | |
ijtihad_v1(0.25) | |
ijtihad_v2(0.25) | |
caqe_2017_v1(0.28) | |
caqe_2017_v2(2.57) | |
caqe_2017_v3(2.8) | |
GhostQ-PG_cegar(30.52) | |
iProver-qbf-bloqqer-2017-07-27-v3(46.73) |