x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | semprop | 0.36 |
- | - | - | - | - | - | GRL | 0.48 |
- | - | - | - | - | - | WalkQSAT | 0.52 |
sSolve(0) | |
semprop(0.36) | |
GRL(0.48) | |
WalkQSAT(0.52) | |
QChaffLearn(1.32) | |
QbflHR(4.97) | |
yQuaffle(103.66) | |
skizzo_v0.5(112.86) | |
skizzo_v0.4(126.51) | |
openQbf(251.77) | |
QMRes(651.61) |