Sota solver details
QBFEVAL'07

Instance: adder-12-sat
Best Solver: qZilla Time: 115.94 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - preQuel_sKizzo-0.10 129.71 - - - -
- - sKizzo-0.10-qck 273.4 - - - -
- - sKizzo-0.10-std 278.15 - - - -
- - qSS 429.24 - - - -
- - AQME-RIPPER 560.76 - - - -
- - AQME-1NN 560.91 - - - -
- - AQME-C4.5 561.02 - - - -
qZilla(115.94)
preQuel_sKizzo-0.10(129.71)
sKizzo-0.10-qck(273.4)
sKizzo-0.10-std(278.15)
qSS(429.24)
AQME-RIPPER(560.76)
AQME-1NN(560.91)
AQME-C4.5(561.02)