Sota solver details
QBFEVAL'16 - Prenex CNF Track.

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 0.63 aqua-s2v 1.95 ghostq-cegar 2.13
- - qestos 0.8 hiqqer3 1.97 aqua-f3v 2.26
- - hiqqer1ldsq 0.92 - - aqua-s3o 2.35
- - hiqqer1 0.93 - - depqbf-v2 3.01
- - caqe-minisat 1.01 - - depqbf-v3 3.33
- - - - - - xb-qsts 7.02
- - - - - - xb-bid-qsts 7.17
- - - - - - ghostq-plain 9.46
depqbf-v1(0.21)
rareqs(0.63)
qestos(0.8)
hiqqer1ldsq(0.92)
hiqqer1(0.93)
caqe-minisat(1.01)
aqua-s2v(1.95)
hiqqer3(1.97)
ghostq-cegar(2.13)
aqua-f3v(2.26)
aqua-s3o(2.35)
depqbf-v2(3.01)
depqbf-v3(3.33)
xb-qsts(7.02)
xb-bid-qsts(7.17)
ghostq-plain(9.46)
caqe-picosat(55.6)
qesto(62.76)
squeezebf+struqs(142.11)
struqs-10(144.63)