Sota solver details
QBFEVAL'07

Instance: adder-6-sat
Best Solver: EBDDRES Time: 0.86 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-qck 2.43 sKizzo-0.10-std 5.84 Adaptive2clsQ 37.73
- - - - AQME-1NN 6.46 QUANTOR_2.15 39
- - - - preQuel_sKizzo-0.10 6.56 aigqbf_s 52.98
- - - - AQME-RIPPER 6.58 aigqbf_sr 82.31
- - - - AQME-C4.5 6.68 - -
EBDDRES(0.86)
sKizzo-0.10-qck(2.43)
sKizzo-0.10-std(5.84)
AQME-1NN(6.46)
preQuel_sKizzo-0.10(6.56)
AQME-RIPPER(6.58)
AQME-C4.5(6.68)
Adaptive2clsQ(37.73)
QUANTOR_2.15(39)
aigqbf_s(52.98)
aigqbf_sr(82.31)
qSS(367.36)
qZilla(430.42)