x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | rareqs | 8.67 |
- | - | - | - | - | - | ghostq-plain | 8.7 |
- | - | - | - | - | - | ghostq-cegar | 8.77 |
qsts(0.13) | |
rareqs(8.67) | |
ghostq-plain(8.7) | |
ghostq-cegar(8.77) | |
qesto(27.94) | |
xb-qsts(59.23) | |
xb-bid-qsts(59.76) | |
caqe-minisat(63.47) | |
AIGSolve(71.83) | |
caqe-picosat(86.25) | |
hiqqer1ldsq(267.03) | |
hiqqer1(273.49) | |
depqbf-v2(281.11) | |
depqbf-v3(290.09) | |
hiqqer3(407.2) |