x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | sSolve | 37.59 | openQbf | 239.41 | - | - |
- | - | sKizzo-0.9-abs | 58.23 | QUANTOR_hc | 301.28 | - | - |
- | - | sKizzo-0.9-grn | 59.4 | QUANTOR | 313.94 | - | - |
- | - | ssolve+ut | 59.68 | - | - | - | - |
- | - | sKizzo-0.9-std | 63.46 | - | - | - | - |
ssolve-ut(37.07) | |
sSolve(37.59) | |
sKizzo-0.9-abs(58.23) | |
sKizzo-0.9-grn(59.4) | |
ssolve+ut(59.68) | |
sKizzo-0.9-std(63.46) | |
openQbf(239.41) | |
QUANTOR_hc(301.28) | |
QUANTOR(313.94) | |
2clsQ(4086.44) |