x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | sKizzo-0.10-std | 85.97 | aigqbf_sr | 549.67 | - | - |
- | - | ncQuBE1.1 | 87.96 | - | - | - | - |
- | - | AQME-C4.5 | 302.86 | - | - | - | - |
sKizzo-0.10-qck(81.87) | |
sKizzo-0.10-std(85.97) | |
ncQuBE1.1(87.96) | |
AQME-C4.5(302.86) | |
aigqbf_sr(549.67) |