Sota solver details
QBFEVAL'07

Instance: C880.blif_0.10_1.00_0_1_out_exact
Best Solver: qSS Time: 0.12 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - aigqbf_s 3.36
- - - - - - aigqbf_sr 4.12
qSS(0.12)
aigqbf_s(3.36)
aigqbf_sr(4.12)
qZilla(13.05)
Adaptive2clsQ(25.91)
ncQuBE1.0(61.68)