Sota solver details
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.

Instance: ring6_8
Best Solver: ncQuBE1.1 Time: 3.34 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 4.31 AQME-RIPPER 31.64 sKizzo-0.10-std 45.5
- - ncQuBE1.0 5.72 - - AQME-1NN 132.48
- - sKizzo-0.10-qck 9.95 - - AQME-C4.5 132.6
ncQuBE1.1(3.34)
yQuaffle(4.31)
ncQuBE1.0(5.72)
sKizzo-0.10-qck(9.95)
AQME-RIPPER(31.64)
sKizzo-0.10-std(45.5)
AQME-1NN(132.48)
AQME-C4.5(132.6)