Sota solver details
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.

Instance: par8-2-c-90
Best Solver: yQuaffle Time: 0.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ncQuBE1.0 0.1 AQME-1NN 0.57 AQME-C4.5 0.62
- - ncQuBE1.1 0.1 - - sKizzo-0.10-std 0.62
- - qSS 0.27 - - sKizzo-0.10-qck 0.63
- - - - - - preQuel_sKizzo-0.10 0.64
- - - - - - AQME-RIPPER 0.66
- - - - - - Adaptive2clsQ 2.93
- - - - - - qZilla 2.93
- - - - - - EBDDRES 3.17
- - - - - - QUANTOR_2.15 3.65
yQuaffle(0.06)
ncQuBE1.0(0.1)
ncQuBE1.1(0.1)
qSS(0.27)
AQME-1NN(0.57)
AQME-C4.5(0.62)
sKizzo-0.10-std(0.62)
sKizzo-0.10-qck(0.63)
preQuel_sKizzo-0.10(0.64)
AQME-RIPPER(0.66)
Adaptive2clsQ(2.93)
qZilla(2.93)
EBDDRES(3.17)
QUANTOR_2.15(3.65)
aigqbf_s(9.27)
aigqbf_sr(31.43)