Sota solver details
QBFEVAL'08

Instance: c6_BMC_p2_k256
Best Solver: quantor3.0 Time: 0.85 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ssolveC 1.86 AQME-1NN 5.61 Nenofex 39.37
- - ssolve-A 1.97 - - - -
- - ssolveB 2.1 - - - -
quantor3.0(0.85)
ssolveC(1.86)
ssolve-A(1.97)
ssolveB(2.1)
AQME-1NN(5.61)
Nenofex(39.37)