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

Instance: counter6_65
Best Solver: sKizzo-0.10-std Time: 184.28 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AQME-1NN 570.33 - - - -
- - AQME-C4.5 571.56 - - - -
sKizzo-0.10-std(184.28)
AQME-1NN(570.33)
AQME-C4.5(571.56)