Sota solver details
QBFEVAL'08

Instance: aim-50-1_6-yes1-1-90
Best Solver: QuBE6.1 Time: 0.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Nenofex 0.07 - - ssolve-A 1.08
- - - - - - ssolveB 1.54
- - - - - - ssolveC 2.32
QuBE6.1(0.04)
Nenofex(0.07)
ssolve-A(1.08)
ssolveB(1.54)
ssolveC(2.32)
AQME-1NN(86.54)