Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: fpu-10Xh-correct04-nonuniform-depth-18
Best Solver: depqbf-v3 Time: 0.62 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v2 0.71 hiqqer1 3.47 xb-bid-qsts 6.89
- - struqs-10 1.49 hiqqer3 3.49 xb-qsts 6.89
- - rareqs 1.6 hiqqer1ldsq 3.54 caqe-picosat 7.12
- - qesto 1.63 - - caqe-minisat 7.3
- - qestos 1.63 - - depqbf-v1 7.72
- - AIGSolve 2.66 - - squeezebf+struqs 14.9
- - - - - - aqua-s3o 15.03
- - - - - - aqua-s2v 15.06
- - - - - - aqua-f3v 15.17
- - - - - - qsts 21.4
depqbf-v3(0.62)
depqbf-v2(0.71)
struqs-10(1.49)
rareqs(1.6)
qesto(1.63)
qestos(1.63)
AIGSolve(2.66)
hiqqer1(3.47)
hiqqer3(3.49)
hiqqer1ldsq(3.54)
xb-bid-qsts(6.89)
xb-qsts(6.89)
caqe-picosat(7.12)
caqe-minisat(7.3)
depqbf-v1(7.72)
squeezebf+struqs(14.9)
aqua-s3o(15.03)
aqua-s2v(15.06)
aqua-f3v(15.17)
qsts(21.4)
ghostq-cegar(129.47)
ghostq-plain(129.92)