x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | AIGSolve | 6.57 |
- | - | - | - | - | - | caqe_2017_v1 | 10.3 |
- | - | - | - | - | - | caqe_2017_v3 | 10.48 |
caqe_2017_v2(0.47) | |
AIGSolve(6.57) | |
caqe_2017_v1(10.3) | |
caqe_2017_v3(10.48) | |
dynQBF-bloqqer-hqspre(139.82) | |
iProver-qbf-bloqqer-2017-07-27-v3(174.81) | |
rareqs(319.58) |