Sota solver details
QBFEVAL'08

Instance: ev-pr-4x4-9-3-0-0-1-lg
Best Solver: AQME-1NN Time: 2.72 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ssolve-A 7.72 ssolveC 14.15 - -
- - QuBE6.1 9.69 - - - -
- - ssolveB 12.15 - - - -
AQME-1NN(2.72)
ssolve-A(7.72)
QuBE6.1(9.69)
ssolveB(12.15)
ssolveC(14.15)