Sota solver details
QBFEVAL'08

Instance: c1_BMC_p2_k512
Best Solver: quantor3.0 Time: 12.96 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - AQME-1NN 329.68
- - - - - - ssolve-A 470.35
- - - - - - Nenofex 565.24
- - - - - - ssolveB 583.96
quantor3.0(12.96)
AQME-1NN(329.68)
ssolve-A(470.35)
Nenofex(565.24)
ssolveB(583.96)