Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: aim-100-6_0-yes1-3-50
Best Solver: qsts Time: 0.1 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 0.11 ghostq-plain 0.51 depqbf-v3 1.06
- - hiqqer1ldsq 0.24 ghostq-cegar 0.52 xb-qsts 1.24
- - hiqqer1 0.25 depqbf-v2 0.81 caqe-picosat 1.25
- - hiqqer3 0.25 - - xb-bid-qsts 1.25
- - aqua-f3v 0.29 - - caqe-minisat 1.27
- - aqua-s2v 0.29 - - iprover-QBF-bloqqer 1.28
- - aqua-s3o 0.3 - - qestos 2.2
- - AIGSolve 0.48 - - rareqs 2.2
- - - - - - qesto 2.21
qsts(0.1)
depqbf-v1(0.11)
hiqqer1ldsq(0.24)
hiqqer1(0.25)
hiqqer3(0.25)
aqua-f3v(0.29)
aqua-s2v(0.29)
aqua-s3o(0.3)
AIGSolve(0.48)
ghostq-plain(0.51)
ghostq-cegar(0.52)
depqbf-v2(0.81)
depqbf-v3(1.06)
xb-qsts(1.24)
caqe-picosat(1.25)
xb-bid-qsts(1.25)
caqe-minisat(1.27)
iprover-QBF-bloqqer(1.28)
qestos(2.2)
rareqs(2.2)
qesto(2.21)
squeezebf+struqs(369.65)
struqs-10(370.57)