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

Instance: ring5_2
Best Solver: EBDDRES Time: 0.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - yQuaffle 0.04 - - Adaptive2clsQ 0.23
- - ncQuBE1.1 0.05 - - squolem 0.32
- - ncQuBE1.0 0.06 - - pQBF 0.42
- - - - - - AQME-1NN 0.48
- - - - - - AQME-C4.5 0.73
- - - - - - sKizzo-0.10-std 1.52
- - - - - - sKizzo-0.10-qck 1.56
EBDDRES(0.02)
QUANTOR_2.15(0.02)
yQuaffle(0.04)
ncQuBE1.1(0.05)
ncQuBE1.0(0.06)
Adaptive2clsQ(0.23)
squolem(0.32)
pQBF(0.42)
AQME-1NN(0.48)
AQME-C4.5(0.73)
sKizzo-0.10-std(1.52)
sKizzo-0.10-qck(1.56)
AQME-RIPPER(2.06)