Sota solver details
QBFEVAL'07

Instance: c6_BMC_p2_k512
Best Solver: yQuaffle Time: 1.14 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-std 2.1 - - - -
- - sKizzo-0.10-qck 2.16 - - - -
- - qSS 2.47 - - - -
- - QUANTOR_2.15 2.72 - - - -
- - qZilla 2.74 - - - -
- - Adaptive2clsQ 2.8 - - - -
- - AQME-C4.5 3.72 - - - -
- - AQME-1NN 4.7 - - - -
- - AQME-RIPPER 4.74 - - - -
yQuaffle(1.14)
sKizzo-0.10-std(2.1)
sKizzo-0.10-qck(2.16)
qSS(2.47)
QUANTOR_2.15(2.72)
qZilla(2.74)
Adaptive2clsQ(2.8)
AQME-C4.5(3.72)
AQME-1NN(4.7)
AQME-RIPPER(4.74)