x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | AQME-RIPPER | 11.23 | Adaptive2clsQ | 47.41 | aigqbf_s | 93.35 |
- | - | preQuel_sKizzo-0.10 | 13.42 | yQuaffle | 64.3 | ncQuBE1.0 | 116.52 |
- | - | sKizzo-0.10-std | 13.58 | ncQuBE1.1 | 66.13 | aigqbf_sr | 579.95 |
- | - | QUANTOR_2.15 | 31.08 | - | - | - | - |
sKizzo-0.10-qck(6.87) | |
AQME-RIPPER(11.23) | |
preQuel_sKizzo-0.10(13.42) | |
sKizzo-0.10-std(13.58) | |
QUANTOR_2.15(31.08) | |
Adaptive2clsQ(47.41) | |
yQuaffle(64.3) | |
ncQuBE1.1(66.13) | |
aigqbf_s(93.35) | |
ncQuBE1.0(116.52) | |
aigqbf_sr(579.95) |