Sota solver details
QBFEVAL'07

Instance: k_branch_p-12
Best Solver: sKizzo-0.10-std Time: 3.16 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AQME-1NN 4.04 - - preQuel_sKizzo-0.10 38.39
- - AQME-C4.5 4.08 - - qSS 247.62
- - AQME-RIPPER 4.14 - - qZilla 263.61
- - sKizzo-0.10-qck 8.99 - - - -
sKizzo-0.10-std(3.16)
AQME-1NN(4.04)
AQME-C4.5(4.08)
AQME-RIPPER(4.14)
sKizzo-0.10-qck(8.99)
preQuel_sKizzo-0.10(38.39)
qSS(247.62)
qZilla(263.61)