Sota solver details
QBFEVAL'16 - Prenex CNF Track.

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v2 0.61 hiqqer1ldsq 3.11 caqe-picosat 6.07
- - struqs-10 1.23 hiqqer1 3.12 xb-bid-qsts 6.24
- - qesto 1.43 hiqqer3 3.16 xb-qsts 6.42
- - rareqs 1.43 - - caqe-minisat 6.62
- - qestos 1.44 - - depqbf-v1 7.11
- - AIGSolve 2.35 - - squeezebf+struqs 11.82
- - - - - - aqua-s2v 11.98
- - - - - - aqua-s3o 12.02
- - - - - - aqua-f3v 12.04
- - - - - - qsts 50.8
depqbf-v3(0.58)
depqbf-v2(0.61)
struqs-10(1.23)
qesto(1.43)
rareqs(1.43)
qestos(1.44)
AIGSolve(2.35)
hiqqer1ldsq(3.11)
hiqqer1(3.12)
hiqqer3(3.16)
caqe-picosat(6.07)
xb-bid-qsts(6.24)
xb-qsts(6.42)
caqe-minisat(6.62)
depqbf-v1(7.11)
squeezebf+struqs(11.82)
aqua-s2v(11.98)
aqua-s3o(12.02)
aqua-f3v(12.04)
qsts(50.8)
ghostq-plain(120.57)
ghostq-cegar(120.92)