Sota solver details
QBFEVAL'08

Instance: vis.4-arbit^1.E-f2
Best Solver: QuBE6.1 Time: 0.13 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - ssolve-A 2.15
- - - - - - ssolveB 2.82
- - - - - - ssolveC 9.9
QuBE6.1(0.13)
ssolve-A(2.15)
ssolveB(2.82)
ssolveC(9.9)
AQME-1NN(22.23)