x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | preQuel_sKizzo-0.10 | 137.9 | - | - | - | - |
- | - | sKizzo-0.10-qck | 213.9 | - | - | - | - |
- | - | sKizzo-0.10-std | 287.95 | - | - | - | - |
- | - | QUANTOR_2.15 | 296.84 | - | - | - | - |
aigqbf_s(119.12) | |
preQuel_sKizzo-0.10(137.9) | |
sKizzo-0.10-qck(213.9) | |
sKizzo-0.10-std(287.95) | |
QUANTOR_2.15(296.84) |