Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: incrementer-enc03-nonuniform-depth-24
Best Solver: rareqs Time: 1.39 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-f3v 1.58 depqbf-v1 8.31 qestos 14.14
- - aqua-s3o 1.59 caqe-minisat 13.88 depqbf-v3 14.32
- - aqua-s2v 1.62 - - xb-qsts 14.64
- - hiqqer1ldsq 2.81 - - depqbf-v2 14.81
- - hiqqer1 2.82 - - xb-bid-qsts 16.68
- - AIGSolve 3.91 - - qsts 22.16
- - ghostq-plain 4.29 - - caqe-picosat 24.57
- - ghostq-cegar 4.49 - - iprover-QBF-bloqqer 100.26
- - hiqqer3 5.31 - - iprover-QBF 134.49
rareqs(1.39)
aqua-f3v(1.58)
aqua-s3o(1.59)
aqua-s2v(1.62)
hiqqer1ldsq(2.81)
hiqqer1(2.82)
AIGSolve(3.91)
ghostq-plain(4.29)
ghostq-cegar(4.49)
hiqqer3(5.31)
depqbf-v1(8.31)
caqe-minisat(13.88)
qestos(14.14)
depqbf-v3(14.32)
xb-qsts(14.64)
depqbf-v2(14.81)
xb-bid-qsts(16.68)
qsts(22.16)
caqe-picosat(24.57)
iprover-QBF-bloqqer(100.26)
iprover-QBF(134.49)
qesto(559.21)