Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: stmt17_63_82
Best Solver: depqbf-v2 Time: 7.11 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AIGSolve 10.55 - - ghostq-cegar 91.22
- - xb-bid-qsts 32.63 - - - -
depqbf-v2(7.11)
AIGSolve(10.55)
xb-bid-qsts(32.63)
ghostq-cegar(91.22)