Sota solver details
QBFEVAL'08

Instance: ev-pr-6x6-9-5-0-1-2-lg
Best Solver: AQME-1NN Time: 22.93 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuBE6.1 62.53 ssolveB 132.22 ssolveC 332.13
- - ssolve-A 66.96 - - - -
AQME-1NN(22.93)
QuBE6.1(62.53)
ssolve-A(66.96)
ssolveB(132.22)
ssolveC(332.13)