Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: tlc03-uniform-depth-52
Best Solver: qsts Time: 0.41 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 0.51 hiqqer1ldsq 2.67 ghostq-plain 7.01
- - rareqs 0.71 hiqqer3 2.67 ghostq-cegar 7.02
- - qesto 0.72 hiqqer1 2.68 depqbf-v3 8.1
- - qestos 0.73 - - depqbf-v2 8.21
- - AIGSolve 0.77 - - caqe-minisat 11.16
- - aqua-f3v 0.99 - - caqe-picosat 11.16
- - aqua-s3o 0.99 - - xb-qsts 11.51
- - aqua-s2v 1 - - xb-bid-qsts 11.66
- - - - - - iprover-QBF-bloqqer 13.29
- - - - - - iprover-QBF 16.46
qsts(0.41)
depqbf-v1(0.51)
rareqs(0.71)
qesto(0.72)
qestos(0.73)
AIGSolve(0.77)
aqua-f3v(0.99)
aqua-s3o(0.99)
aqua-s2v(1)
hiqqer1ldsq(2.67)
hiqqer3(2.67)
hiqqer1(2.68)
ghostq-plain(7.01)
ghostq-cegar(7.02)
depqbf-v3(8.1)
depqbf-v2(8.21)
caqe-minisat(11.16)
caqe-picosat(11.16)
xb-qsts(11.51)
xb-bid-qsts(11.66)
iprover-QBF-bloqqer(13.29)
iprover-QBF(16.46)
squeezebf+struqs(110.1)
struqs-10(123.8)