Sota solver details
QBFEVAL'08

Instance: k_t4p_n-16
Best Solver: AQME-1NN Time: 2.75 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - ssolveC 51.16
- - - - - - ssolve-A 62.9
- - - - - - ssolveB 64.89
AQME-1NN(2.75)
ssolveC(51.16)
ssolve-A(62.9)
ssolveB(64.89)