Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: arbiter-07-comp-error01-qbf-hardness-depth-20
Best Solver: depqbf-v3 Time: 8.22 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts 9.03 - - caqe-picosat 209.8
- - xb-bid-qsts 11.25 - - struqs-10 483.29
- - - - - - squeezebf+struqs 491.9
- - - - - - caqe-minisat 586.84
depqbf-v3(8.22)
xb-qsts(9.03)
xb-bid-qsts(11.25)
caqe-picosat(209.8)
struqs-10(483.29)
squeezebf+struqs(491.9)
caqe-minisat(586.84)