x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | skizzo_v0.4 | 0.52 |
- | - | - | - | - | - | skizzo_v0.5 | 0.56 |
- | - | - | - | - | - | sSolve | 0.97 |
QUANTOR(0) | |
skizzo_v0.4(0.52) | |
skizzo_v0.5(0.56) | |
sSolve(0.97) | |
WalkQSAT(2.87) | |
semprop(7) | |
QChaffLearn(9.44) | |
openQbf(101.84) | |
GRL(277.73) |