Sota solver details
QBFEVAL'07

Instance: c5_BMC_p1_k32
Best Solver: sKizzo-0.10-std Time: 3.3 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-qck 3.33 - - - -
- - qZilla 3.65 - - - -
- - Adaptive2clsQ 3.72 - - - -
- - QUANTOR_2.15 3.76 - - - -
- - AQME-1NN 5.23 - - - -
- - AQME-RIPPER 5.36 - - - -
- - AQME-C4.5 5.78 - - - -
sKizzo-0.10-std(3.3)
sKizzo-0.10-qck(3.33)
qZilla(3.65)
Adaptive2clsQ(3.72)
QUANTOR_2.15(3.76)
AQME-1NN(5.23)
AQME-RIPPER(5.36)
AQME-C4.5(5.78)