Sota solver details
QBFEVAL'08

Instance: c6_BMC_p1_k256
Best Solver: quantor3.0 Time: 2.9 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - AQME-1NN 16.09 Nenofex 81.45
- - - - - - ssolveB 83.87
- - - - - - ssolve-A 121.28
quantor3.0(2.9)
AQME-1NN(16.09)
Nenofex(81.45)
ssolveB(83.87)
ssolve-A(121.28)