Sota solver details
QBFEVAL'08

Instance: c4_BMC_p2_k1024
Best Solver: quantor3.0 Time: 1.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ssolveC 1.73 AQME-1NN 6.41 - -
- - ssolve-A 2.19 Nenofex 8.27 - -
- - ssolveB 2.6 - - - -
quantor3.0(1.02)
ssolveC(1.73)
ssolve-A(2.19)
ssolveB(2.6)
AQME-1NN(6.41)
Nenofex(8.27)