Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: fpu-10Xe-correct01-uniform-depth-22
Best Solver: depqbf-v3 Time: 0.74 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v2 0.81 hiqqer1ldsq 4.18 xb-bid-qsts 8.21
- - struqs-10 1.65 hiqqer1 4.24 caqe-minisat 8.31
- - qesto 1.9 hiqqer3 4.25 xb-qsts 8.37
- - qestos 1.9 - - caqe-picosat 8.75
- - rareqs 1.9 - - depqbf-v1 9.61
- - AIGSolve 3.25 - - squeezebf+struqs 19.71
- - - - - - aqua-f3v 20.5
- - - - - - aqua-s3o 20.5
- - - - - - aqua-s2v 20.51
depqbf-v3(0.74)
depqbf-v2(0.81)
struqs-10(1.65)
qesto(1.9)
qestos(1.9)
rareqs(1.9)
AIGSolve(3.25)
hiqqer1ldsq(4.18)
hiqqer1(4.24)
hiqqer3(4.25)
xb-bid-qsts(8.21)
caqe-minisat(8.31)
xb-qsts(8.37)
caqe-picosat(8.75)
depqbf-v1(9.61)
squeezebf+struqs(19.71)
aqua-f3v(20.5)
aqua-s3o(20.5)
aqua-s2v(20.51)
qsts(101.91)
ghostq-cegar(165.85)
ghostq-plain(168.27)