Sota solver details
QBFEVAL'08

Instance: c4_BMC_p2_k2048
Best Solver: quantor3.0 Time: 2.13 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ssolveC 3.8 Nenofex 16.88 - -
- - ssolve-A 4.5 - - - -
- - AQME-1NN 5.07 - - - -
- - ssolveB 5.13 - - - -
quantor3.0(2.13)
ssolveC(3.8)
ssolve-A(4.5)
AQME-1NN(5.07)
ssolveB(5.13)
Nenofex(16.88)