x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | ssolve-ut | 41.35 | openQbf | 250.03 | QUANTOR_hc | 410.13 |
- | - | ssolve+ut | 60.41 | - | - | QUANTOR | 427.87 |
- | - | sKizzo-0.9-abs | 86.66 | - | - | - | - |
- | - | sKizzo-0.9-std | 93.47 | - | - | - | - |
- | - | sKizzo-0.9-grn | 94.71 | - | - | - | - |
sSolve(40.95) | |
ssolve-ut(41.35) | |
ssolve+ut(60.41) | |
sKizzo-0.9-abs(86.66) | |
sKizzo-0.9-std(93.47) | |
sKizzo-0.9-grn(94.71) | |
openQbf(250.03) | |
QUANTOR_hc(410.13) | |
QUANTOR(427.87) |