Sota solver details
QBFEVAL'07

Instance: c6_BMC_p2_k256
Best Solver: yQuaffle Time: 0.58 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-std 1.11 - - - -
- - sKizzo-0.10-qck 1.14 - - - -
- - qZilla 1.38 - - - -
- - QUANTOR_2.15 1.39 - - - -
- - Adaptive2clsQ 1.41 - - - -
- - qSS 2.36 - - - -
- - AQME-1NN 2.69 - - - -
- - AQME-C4.5 2.74 - - - -
- - AQME-RIPPER 2.77 - - - -
yQuaffle(0.58)
sKizzo-0.10-std(1.11)
sKizzo-0.10-qck(1.14)
qZilla(1.38)
QUANTOR_2.15(1.39)
Adaptive2clsQ(1.41)
qSS(2.36)
AQME-1NN(2.69)
AQME-C4.5(2.74)
AQME-RIPPER(2.77)