Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: stmt23_66_76
Best Solver: depqbf-v2 Time: 5.91 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-bid-qsts 7.32 ghostq-cegar 57.28 - -
- - areqs 9.73 - - - -
depqbf-v2(5.91)
xb-bid-qsts(7.32)
areqs(9.73)
ghostq-cegar(57.28)