Sota solver details
QBFEVAL'08

Instance: c6_BMC_p1_k128
Best Solver: quantor3.0 Time: 0.92 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - AQME-1NN 13.07
- - - - - - ssolveB 28.27
- - - - - - Nenofex 29.31
- - - - - - ssolveC 32.27
- - - - - - ssolve-A 44.7
quantor3.0(0.92)
AQME-1NN(13.07)
ssolveB(28.27)
Nenofex(29.31)
ssolveC(32.27)
ssolve-A(44.7)