x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | qube5.0 | 1.3 | sSolve | 8.23 | WalkQSAT | 13.36 |
- | - | qube4.0 | 1.32 | - | - | ssolve+ut | 17.2 |
- | - | semprop | 1.71 | - | - | - | - |
ssolve-ut(1.17) | |
qube5.0(1.3) | |
qube4.0(1.32) | |
semprop(1.71) | |
sSolve(8.23) | |
WalkQSAT(13.36) | |
ssolve+ut(17.2) | |
openQbf(173) | |
2clsQ(395.59) | |
qube3.0(1463.45) |