x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | skizzo_v0.4 | 0.33 | sSolve | 1.94 | - | - |
- | - | skizzo_v0.5 | 0.36 | semprop | 2.07 | - | - |
- | - | QUANTOR | 1.05 | - | - | - | - |
yQuaffle(0.27) | |
skizzo_v0.4(0.33) | |
skizzo_v0.5(0.36) | |
QUANTOR(1.05) | |
sSolve(1.94) | |
semprop(2.07) |