x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | skizzo_v0.4 | 145.13 |
- | - | - | - | - | - | skizzo_v0.5 | 176.7 |
- | - | - | - | - | - | GRL | 192.32 |
WalkQSAT(2.79) | |
skizzo_v0.4(145.13) | |
skizzo_v0.5(176.7) | |
GRL(192.32) | |
QChaffLearn(329.22) | |
sSolve(574.42) |