x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | ssolve-ut | 38.77 | openQbf | 270.77 | QUANTOR_hc | 395.3 |
- | - | ssolve+ut | 65.42 | - | - | QUANTOR | 411.12 |
- | - | sKizzo-0.9-grn | 86.69 | - | - | - | - |
- | - | sKizzo-0.9-abs | 88.8 | - | - | - | - |
- | - | sKizzo-0.9-std | 90.84 | - | - | - | - |
sSolve(38.02) | |
ssolve-ut(38.77) | |
ssolve+ut(65.42) | |
sKizzo-0.9-grn(86.69) | |
sKizzo-0.9-abs(88.8) | |
sKizzo-0.9-std(90.84) | |
openQbf(270.77) | |
QUANTOR_hc(395.3) | |
QUANTOR(411.12) | |
2clsQ(4914.59) |