Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: arbiter-06-comp-error01-qbf-hardness-depth-15
Best Solver: depqbf-v3 Time: 1.79 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts 2.58 - - hiqqer1 23.94
- - xb-bid-qsts 3.55 - - hiqqer1ldsq 24.79
- - - - - - hiqqer3 24.8
- - - - - - caqe-picosat 31.4
- - - - - - qesto 37.46
- - - - - - qsts 42.95
- - - - - - depqbf-v2 52.51
- - - - - - caqe-minisat 63.94
- - - - - - struqs-10 85.96
- - - - - - squeezebf+struqs 87.82
depqbf-v3(1.79)
xb-qsts(2.58)
xb-bid-qsts(3.55)
hiqqer1(23.94)
hiqqer1ldsq(24.79)
hiqqer3(24.8)
caqe-picosat(31.4)
qesto(37.46)
qsts(42.95)
depqbf-v2(52.51)
caqe-minisat(63.94)
struqs-10(85.96)
squeezebf+struqs(87.82)
depqbf-v1(382.11)