x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QUANTOR_hc | 5.74 | - | - | sKizzo-0.9-std | 93.55 |
- | - | - | - | - | - | sKizzo-0.9-abs | 97.52 |
- | - | - | - | - | - | QUANTOR | 147.28 |
- | - | - | - | - | - | preQuantor | 251.41 |
- | - | - | - | - | - | sKizzo-0.9-grn | 257.39 |
qube5.0(4.86) | |
QUANTOR_hc(5.74) | |
sKizzo-0.9-std(93.55) | |
sKizzo-0.9-abs(97.52) | |
QUANTOR(147.28) | |
preQuantor(251.41) | |
sKizzo-0.9-grn(257.39) |