x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | sSolve | 41.33 | openQbf | 233.25 | QUANTOR_hc | 444.48 |
- | - | ssolve+ut | 55.65 | - | - | QUANTOR | 461.86 |
- | - | sKizzo-0.9-abs | 70.34 | - | - | 2clsQ | 3073.07 |
- | - | sKizzo-0.9-grn | 72.3 | - | - | - | - |
- | - | sKizzo-0.9-std | 73.83 | - | - | - | - |
ssolve-ut(39.68) | |
sSolve(41.33) | |
ssolve+ut(55.65) | |
sKizzo-0.9-abs(70.34) | |
sKizzo-0.9-grn(72.3) | |
sKizzo-0.9-std(73.83) | |
openQbf(233.25) | |
QUANTOR_hc(444.48) | |
QUANTOR(461.86) | |
2clsQ(3073.07) |