Sota solver details
QBFEVAL'08

Instance: c2_BMC_p2_k128
Best Solver: quantor3.0 Time: 3.49 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AQME-1NN 12.08 - - ssolveC 92.15
- - - - - - ssolve-A 112.76
- - - - - - ssolveB 154.33
- - - - - - Nenofex 239.71
quantor3.0(3.49)
AQME-1NN(12.08)
ssolveC(92.15)
ssolve-A(112.76)
ssolveB(154.33)
Nenofex(239.71)