x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | rareqs | 16 |
qsts(0.21) | |
rareqs(16) | |
ghostq-cegar(21.89) | |
ghostq-plain(22.52) | |
qesto(95.41) | |
depqbf-v2(99.61) | |
hiqqer1ldsq(122.67) | |
hiqqer1(123.05) | |
caqe-picosat(128.73) | |
caqe-minisat(147.67) | |
hiqqer3(218.01) |