Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: ev-pr-6x6-5-5-0-1-2-lg
Best Solver: depqbf-v1 Time: 0.51 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qestos 0.57 depqbf-v2 2.81 aqua-f3v 10.11
- - rareqs 0.57 ghostq-cegar 3.25 aqua-s3o 10.11
- - qesto 0.64 - - aqua-s2v 10.17
- - hiqqer1ldsq 0.92 - - ghostq-plain 10.33
- - hiqqer1 0.93 - - qsts 30.12
- - hiqqer3 1.44 - - - -
- - caqe-minisat 1.74 - - - -
- - caqe-picosat 1.79 - - - -
- - depqbf-v3 1.94 - - - -
- - xb-qsts 1.96 - - - -
- - xb-bid-qsts 2.05 - - - -
depqbf-v1(0.51)
qestos(0.57)
rareqs(0.57)
qesto(0.64)
hiqqer1ldsq(0.92)
hiqqer1(0.93)
hiqqer3(1.44)
caqe-minisat(1.74)
caqe-picosat(1.79)
depqbf-v3(1.94)
xb-qsts(1.96)
xb-bid-qsts(2.05)
depqbf-v2(2.81)
ghostq-cegar(3.25)
aqua-f3v(10.11)
aqua-s3o(10.11)
aqua-s2v(10.17)
ghostq-plain(10.33)
qsts(30.12)
iprover-QBF-bloqqer(57.26)
struqs-10(267.69)
squeezebf+struqs(270.27)