Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: vonNeumann-ripple-carry-12-c
Best Solver: depqbf-v3 Time: 0.42 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v2 0.51 hiqqer1 2.21 depqbf-v1 4.52
- - struqs-10 0.93 hiqqer3 2.22 squeezebf+struqs 7.36
- - qestos 0.94 hiqqer1ldsq 2.23 aqua-s2v 8.23
- - rareqs 0.94 qsts 2.92 aqua-s3o 8.24
- - qesto 0.95 AIGSolve 3.45 aqua-f3v 8.27
- - - - xb-qsts 3.77 - -
- - - - xb-bid-qsts 3.86 - -
- - - - caqe-minisat 3.97 - -
- - - - caqe-picosat 3.99 - -
depqbf-v3(0.42)
depqbf-v2(0.51)
struqs-10(0.93)
qestos(0.94)
rareqs(0.94)
qesto(0.95)
hiqqer1(2.21)
hiqqer3(2.22)
hiqqer1ldsq(2.23)
qsts(2.92)
AIGSolve(3.45)
xb-qsts(3.77)
xb-bid-qsts(3.86)
caqe-minisat(3.97)
caqe-picosat(3.99)
depqbf-v1(4.52)
squeezebf+struqs(7.36)
aqua-s2v(8.23)
aqua-s3o(8.24)
aqua-f3v(8.27)