Sota solver details
QBFEVAL'08

Instance: k_t4p_n-11
Best Solver: AQME-1NN Time: 2.18 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - ssolveC 20.62 ssolve-A 24.2
- - - - - - ssolveB 25.14
AQME-1NN(2.18)
ssolveC(20.62)
ssolve-A(24.2)
ssolveB(25.14)