Sota solver details
QBFEVAL'08

Instance: C5315.blif_0.10_1.00_0_0_inp_exact
Best Solver: quantor3.0 Time: 2.69 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AQME-1NN 3.3 Nenofex 21.48 QuBE6.1 183.33
- - ssolve-A 3.79 - - - -
- - ssolveB 3.84 - - - -
quantor3.0(2.69)
AQME-1NN(3.3)
ssolve-A(3.79)
ssolveB(3.84)
Nenofex(21.48)
QuBE6.1(183.33)