Sota solver details
QBFEVAL'07

Instance: c6_BMC_p2_k2048
Best Solver: yQuaffle Time: 4.31 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-std 8.49 - - AQME-RIPPER 109.41
- - sKizzo-0.10-qck 8.8 - - - -
- - qSS 9.7 - - - -
- - QUANTOR_2.15 12.59 - - - -
- - AQME-C4.5 13.14 - - - -
- - AQME-1NN 17.24 - - - -
- - Adaptive2clsQ 20.97 - - - -
- - qZilla 21.03 - - - -
yQuaffle(4.31)
sKizzo-0.10-std(8.49)
sKizzo-0.10-qck(8.8)
qSS(9.7)
QUANTOR_2.15(12.59)
AQME-C4.5(13.14)
AQME-1NN(17.24)
Adaptive2clsQ(20.97)
qZilla(21.03)
AQME-RIPPER(109.41)