Sota solver details
QBFEVAL'07

Instance: adder-10-sat
Best Solver: qZilla Time: 37.96 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qSS 39.61 AQME-C4.5 207.34 - -
- - sKizzo-0.10-std 41.61 AQME-1NN 207.43 - -
- - preQuel_sKizzo-0.10 48.64 AQME-RIPPER 207.49 - -
- - sKizzo-0.10-qck 107.22 - - - -
qZilla(37.96)
qSS(39.61)
sKizzo-0.10-std(41.61)
preQuel_sKizzo-0.10(48.64)
sKizzo-0.10-qck(107.22)
AQME-C4.5(207.34)
AQME-1NN(207.43)
AQME-RIPPER(207.49)