Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: ken.flash^03.C-f3
Best Solver: depqbf-v1 Time: 0.31 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qsts 0.43 - - ghostq-plain 8.53
- - hiqqer1ldsq 0.48 - - ghostq-cegar 8.71
- - hiqqer1 0.49 - - xb-bid-qsts 13.22
- - hiqqer3 0.49 - - xb-qsts 13.55
- - qesto 0.6 - - iprover-QBF-bloqqer 16.3
- - qestos 0.6 - - - -
- - rareqs 0.6 - - - -
- - AIGSolve 1.17 - - - -
- - aqua-f3v 1.18 - - - -
- - aqua-s2v 1.19 - - - -
- - aqua-s3o 1.19 - - - -
- - depqbf-v3 1.2 - - - -
- - depqbf-v2 1.22 - - - -
depqbf-v1(0.31)
qsts(0.43)
hiqqer1ldsq(0.48)
hiqqer1(0.49)
hiqqer3(0.49)
qesto(0.6)
qestos(0.6)
rareqs(0.6)
AIGSolve(1.17)
aqua-f3v(1.18)
aqua-s2v(1.19)
aqua-s3o(1.19)
depqbf-v3(1.2)
depqbf-v2(1.22)
ghostq-plain(8.53)
ghostq-cegar(8.71)
xb-bid-qsts(13.22)
xb-qsts(13.55)
iprover-QBF-bloqqer(16.3)
iprover-QBF(32.22)