x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | rareqs | 733.22 | - | - | - | - |
- | - | qbfrelay-limited-depqbf | 737.3 | - | - | - | - |
- | - | heretiq | 762.14 | - | - | - | - |
- | - | caqe_2017_v2 | 813.11 | - | - | - | - |
- | - | caqe_2017_v3 | 816.26 | - | - | - | - |
qesto(256.45) | |
rareqs(733.22) | |
qbfrelay-limited-depqbf(737.3) | |
heretiq(762.14) | |
caqe_2017_v2(813.11) | |
caqe_2017_v3(816.26) |