Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: b20_PR_7_20
Best Solver: depqbf-v1 Time: 0.41 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - depqbf-v2 11.51
- - - - - - ghostq-cegar 11.9
- - - - - - ghostq-plain 15.32
- - - - - - depqbf-v3 23.78
- - - - - - squeezebf+struqs 23.81
- - - - - - struqs-10 25.03
depqbf-v1(0.41)
depqbf-v2(11.51)
ghostq-cegar(11.9)
ghostq-plain(15.32)
depqbf-v3(23.78)
squeezebf+struqs(23.81)
struqs-10(25.03)
xb-qsts(433.41)