Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: ev-pr-4x4-5-3-0-0-1-lg
Best Solver: depqbf-v1 Time: 0.11 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 0.16 xb-qsts 0.62 ghostq-plain 1.4
- - qestos 0.17 caqe-minisat 0.66 ghostq-cegar 2.24
- - hiqqer1ldsq 0.24 xb-bid-qsts 0.7 iprover-QBF-bloqqer 2.36
- - hiqqer1 0.25 aqua-f3v 0.79 struqs-10 2.48
- - hiqqer3 0.36 aqua-s2v 0.79 squeezebf+struqs 2.55
- - depqbf-v3 0.37 aqua-s3o 0.83 - -
- - qesto 0.44 caqe-picosat 0.91 - -
- - - - depqbf-v2 0.91 - -
depqbf-v1(0.11)
rareqs(0.16)
qestos(0.17)
hiqqer1ldsq(0.24)
hiqqer1(0.25)
hiqqer3(0.36)
depqbf-v3(0.37)
qesto(0.44)
xb-qsts(0.62)
caqe-minisat(0.66)
xb-bid-qsts(0.7)
aqua-f3v(0.79)
aqua-s2v(0.79)
aqua-s3o(0.83)
caqe-picosat(0.91)
depqbf-v2(0.91)
ghostq-plain(1.4)
ghostq-cegar(2.24)
iprover-QBF-bloqqer(2.36)
struqs-10(2.48)
squeezebf+struqs(2.55)
qsts(13.8)
AIGSolve(351.54)