Sota solver details
QBFEVAL'07

Instance: c6_BMC_p1_k256
Best Solver: qSS Time: 6.42 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUANTOR_2.15 6.68 - - AQME-1NN 99.45
- - - - - - AQME-C4.5 99.56
- - - - - - AQME-RIPPER 99.61
- - - - - - yQuaffle 338.55
qSS(6.42)
QUANTOR_2.15(6.68)
AQME-1NN(99.45)
AQME-C4.5(99.56)
AQME-RIPPER(99.61)
yQuaffle(338.55)