Sota solver details
QBFEVAL'07

Instance: c6_BMC_p2_k1024
Best Solver: yQuaffle Time: 2.28 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-std 4.18 - - AQME-RIPPER 104.54
- - sKizzo-0.10-qck 4.24 - - - -
- - qSS 5.56 - - - -
- - QUANTOR_2.15 5.6 - - - -
- - Adaptive2clsQ 5.74 - - - -
- - qZilla 5.74 - - - -
- - AQME-C4.5 6.78 - - - -
- - AQME-1NN 8.8 - - - -
yQuaffle(2.28)
sKizzo-0.10-std(4.18)
sKizzo-0.10-qck(4.24)
qSS(5.56)
QUANTOR_2.15(5.6)
Adaptive2clsQ(5.74)
qZilla(5.74)
AQME-C4.5(6.78)
AQME-1NN(8.8)
AQME-RIPPER(104.54)