Sota solver details
QBFEVAL'07

Instance: c6_BMC_p2_k32
Best Solver: yQuaffle Time: 0.15 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUANTOR_2.15 0.26 AQME-1NN 1.04 - -
- - qZilla 0.27 AQME-RIPPER 1.16 - -
- - Adaptive2clsQ 0.3 - - - -
- - sKizzo-0.10-qck 0.32 - - - -
- - sKizzo-0.10-std 0.32 - - - -
- - qSS 0.4 - - - -
yQuaffle(0.15)
QUANTOR_2.15(0.26)
qZilla(0.27)
Adaptive2clsQ(0.3)
sKizzo-0.10-qck(0.32)
sKizzo-0.10-std(0.32)
qSS(0.4)
AQME-1NN(1.04)
AQME-RIPPER(1.16)
AQME-C4.5(35.27)
ncQuBE1.1(311.82)
ncQuBE1.0(457.56)