Sota solver details
QBFEVAL'08

Instance: c1_BMC_p2_k64
Best Solver: quantor3.0 Time: 3.31 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - AQME-1NN 18.96 Nenofex 112.99
- - - - - - ssolve-A 161.37
- - - - - - ssolveB 226.67
quantor3.0(3.31)
AQME-1NN(18.96)
Nenofex(112.99)
ssolve-A(161.37)
ssolveB(226.67)