Sota solver details
QBFEVAL'08

Instance: c1_BMC_p1_k2
Best Solver: quantor3.0 Time: 0.24 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - AQME-1NN 3.68
- - - - - - QuBE6.1 3.87
- - - - - - Nenofex 12.49
- - - - - - ssolveC 19.88
quantor3.0(0.24)
AQME-1NN(3.68)
QuBE6.1(3.87)
Nenofex(12.49)
ssolveC(19.88)
ssolve-A(43.42)
ssolveB(63.19)