Sota solver details
QBFEVAL'08

Instance: c3_BMC_p2_k128
Best Solver: quantor3.0 Time: 0.18 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - ssolveC 1.72 ssolveB 1.93
- - - - ssolve-A 1.8 AQME-1NN 4.27
- - - - - - Nenofex 8.15
- - - - - - QuBE6.1 12.57
quantor3.0(0.18)
ssolveC(1.72)
ssolve-A(1.8)
ssolveB(1.93)
AQME-1NN(4.27)
Nenofex(8.15)
QuBE6.1(12.57)