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

Instance: dme1_4
Best Solver: AQME-1NN Time: 24.3 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AQME-C4.5 24.39 - - - -
- - ncQuBE1.0 40.92 - - - -
- - ncQuBE1.1 42.23 - - - -
- - Adaptive2clsQ 88.54 - - - -
AQME-1NN(24.3)
AQME-C4.5(24.39)
ncQuBE1.0(40.92)
ncQuBE1.1(42.23)
Adaptive2clsQ(88.54)