Sota solver details
QBFEVAL'07

Instance: c2_BMC_p2_k32
Best Solver: sKizzo-0.10-std Time: 1.17 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-qck 1.22 - - - -
- - qZilla 1.55 - - - -
- - Adaptive2clsQ 1.57 - - - -
- - QUANTOR_2.15 1.69 - - - -
- - AQME-1NN 2.45 - - - -
- - AQME-C4.5 2.51 - - - -
- - AQME-RIPPER 2.58 - - - -
- - preQuel_sKizzo-0.10 3.96 - - - -
sKizzo-0.10-std(1.17)
sKizzo-0.10-qck(1.22)
qZilla(1.55)
Adaptive2clsQ(1.57)
QUANTOR_2.15(1.69)
AQME-1NN(2.45)
AQME-C4.5(2.51)
AQME-RIPPER(2.58)
preQuel_sKizzo-0.10(3.96)