Sota solver details
QBFEVAL'08

Instance: eijk.S208.S-f4
Best Solver: ssolve-A Time: 22.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ssolveB 31.29 - - QuBE6.1 250.95
- - ssolveC 50.3 - - AQME-1NN 416.85
ssolve-A(22.02)
ssolveB(31.29)
ssolveC(50.3)
QuBE6.1(250.95)
AQME-1NN(416.85)