Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: incrementer-enc02-nonuniform-depth-31
Best Solver: aqua-s3o Time: 1.14 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-f3v 1.16 ghostq-cegar 6.1 depqbf-v3 11.9
- - aqua-s2v 1.17 ghostq-plain 6.16 depqbf-v2 12.02
- - AIGSolve 1.37 qsts 6.34 caqe-minisat 19.86
- - rareqs 1.87 - - xb-qsts 20.38
- - depqbf-v1 3.11 - - xb-bid-qsts 21.71
- - hiqqer1ldsq 3.48 - - qestos 32.06
- - hiqqer3 3.5 - - caqe-picosat 38.51
- - hiqqer1 3.51 - - - -
aqua-s3o(1.14)
aqua-f3v(1.16)
aqua-s2v(1.17)
AIGSolve(1.37)
rareqs(1.87)
depqbf-v1(3.11)
hiqqer1ldsq(3.48)
hiqqer3(3.5)
hiqqer1(3.51)
ghostq-cegar(6.1)
ghostq-plain(6.16)
qsts(6.34)
depqbf-v3(11.9)
depqbf-v2(12.02)
caqe-minisat(19.86)
xb-qsts(20.38)
xb-bid-qsts(21.71)
qestos(32.06)
caqe-picosat(38.51)
iprover-QBF-bloqqer(147.8)
iprover-QBF(223.17)