Sota solver details
QBFEVAL'07

Instance: eijk.S832.S-d4
Best Solver: ncQuBE1.1 Time: 178.08 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aigqbf_sr 251.21 - - - -
- - aigqbf_s 251.6 - - - -
ncQuBE1.1(178.08)
aigqbf_sr(251.21)
aigqbf_s(251.6)