Sota solver details
QBFEVAL'08

Instance: c6_BMC_p2_k2048
Best Solver: quantor3.0 Time: 7.29 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ssolve-A 16.89 AQME-1NN 57.91 Nenofex 305.64
- - ssolveB 17.93 - - - -
quantor3.0(7.29)
ssolve-A(16.89)
ssolveB(17.93)
AQME-1NN(57.91)
Nenofex(305.64)