Sota solver details
QBFEVAL'07

Instance: c5_BMC_p2_k16
Best Solver: sKizzo-0.10-std Time: 1.6 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-qck 1.65 - - - -
- - qZilla 1.82 - - - -
- - Adaptive2clsQ 1.85 - - - -
- - QUANTOR_2.15 1.89 - - - -
- - AQME-1NN 3.35 - - - -
- - AQME-C4.5 3.39 - - - -
- - AQME-RIPPER 3.47 - - - -
sKizzo-0.10-std(1.6)
sKizzo-0.10-qck(1.65)
qZilla(1.82)
Adaptive2clsQ(1.85)
QUANTOR_2.15(1.89)
AQME-1NN(3.35)
AQME-C4.5(3.39)
AQME-RIPPER(3.47)