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

Instance: counter6_64
Best Solver: sKizzo-0.10-std Time: 261.68 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AQME-C4.5 493.38 - - - -
- - AQME-1NN 496.1 - - - -
sKizzo-0.10-std(261.68)
AQME-C4.5(493.38)
AQME-1NN(496.1)