x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | AQME-1NN | 1.13 | sKizzo-0.10-qck | 3.55 | squolem | 6.79 |
- | - | AQME-C4.5 | 1.2 | EBDDRES | 3.6 | preQuel_sKizzo-0.10 | 7.17 |
- | - | AQME-RIPPER | 1.23 | sKizzo-0.10-std | 3.67 | - | - |
QUANTOR_2.15(0.42) | |
AQME-1NN(1.13) | |
AQME-C4.5(1.2) | |
AQME-RIPPER(1.23) | |
sKizzo-0.10-qck(3.55) | |
EBDDRES(3.6) | |
sKizzo-0.10-std(3.67) | |
squolem(6.79) | |
preQuel_sKizzo-0.10(7.17) | |
qSS(135.37) | |
aigqbf_s(137.03) | |
aigqbf_sr(217.88) |