Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: incrementer-enc07-nonuniform-depth-17
Best Solver: AIGSolve Time: 0.51 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 0.61 ghostq-plain 3.58 depqbf-v3 8.43
- - aqua-s3o 0.63 ghostq-cegar 3.7 depqbf-v2 8.51
- - aqua-f3v 0.7 qestos 3.94 caqe-minisat 11.54
- - aqua-s2v 0.7 - - xb-qsts 12.27
- - rareqs 1.18 - - xb-bid-qsts 12.73
- - hiqqer1ldsq 2.28 - - qsts 19.12
- - hiqqer1 2.29 - - caqe-picosat 24.45
- - hiqqer3 2.3 - - - -
AIGSolve(0.51)
depqbf-v1(0.61)
aqua-s3o(0.63)
aqua-f3v(0.7)
aqua-s2v(0.7)
rareqs(1.18)
hiqqer1ldsq(2.28)
hiqqer1(2.29)
hiqqer3(2.3)
ghostq-plain(3.58)
ghostq-cegar(3.7)
qestos(3.94)
depqbf-v3(8.43)
depqbf-v2(8.51)
caqe-minisat(11.54)
xb-qsts(12.27)
xb-bid-qsts(12.73)
qsts(19.12)
caqe-picosat(24.45)
iprover-QBF-bloqqer(58.93)
iprover-QBF(78.03)