Sota solver details
QBFEVAL'08

Instance: c6_BMC_p2_k1024
Best Solver: quantor3.0 Time: 3.46 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ssolve-A 8.18 AQME-1NN 23.6 Nenofex 151.91
- - ssolveB 8.62 - - - -
quantor3.0(3.46)
ssolve-A(8.18)
ssolveB(8.62)
AQME-1NN(23.6)
Nenofex(151.91)