Sota solver details
QBFEVAL'08

Instance: eijk.S208c.S-f4
Best Solver: AQME-1NN Time: 15.87 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - QuBE6.1 151.9 ssolveC 329.09
- - - - - - ssolve-A 505.06
AQME-1NN(15.87)
QuBE6.1(151.9)
ssolveC(329.09)
ssolve-A(505.06)