Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: fpu-10Xh-correct04-uniform-depth-8
Best Solver: depqbf-v3 Time: 0.3 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v2 0.41 hiqqer1 1.65 xb-bid-qsts 3.34
- - struqs-10 0.65 hiqqer3 1.66 xb-qsts 3.36
- - qesto 0.75 hiqqer1ldsq 1.68 caqe-minisat 3.4
- - qestos 0.75 - - caqe-picosat 3.51
- - rareqs 0.75 - - qsts 3.54
- - AIGSolve 1.16 - - depqbf-v1 3.61
- - - - - - squeezebf+struqs 3.9
- - - - - - aqua-s2v 3.95
- - - - - - aqua-f3v 3.96
- - - - - - aqua-s3o 3.97
depqbf-v3(0.3)
depqbf-v2(0.41)
struqs-10(0.65)
qesto(0.75)
qestos(0.75)
rareqs(0.75)
AIGSolve(1.16)
hiqqer1(1.65)
hiqqer3(1.66)
hiqqer1ldsq(1.68)
xb-bid-qsts(3.34)
xb-qsts(3.36)
caqe-minisat(3.4)
caqe-picosat(3.51)
qsts(3.54)
depqbf-v1(3.61)
squeezebf+struqs(3.9)
aqua-s2v(3.95)
aqua-f3v(3.96)
aqua-s3o(3.97)
ghostq-plain(59.27)
ghostq-cegar(59.5)