Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: query26_query34_1344
Best Solver: depqbf-v1 Time: 0.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-s3o 0.06 aqua-s2v 0.21 hiqqer1ldsq 0.41
- - rareqs 0.09 qestos 0.24 xb-qsts 0.49
- - aqua-f3v 0.12 - - hiqqer1 0.84
- - depqbf-v3 0.13 - - qesto 0.88
- - - - - - hiqqer3 1.19
- - - - - - caqe-minisat 1.4
- - - - - - ghostq-plain 2.52
- - - - - - qsts 2.79
- - - - - - caqe-picosat 3.56
- - - - - - depqbf-v2 3.61
- - - - - - ghostq-cegar 3.99
depqbf-v1(0.04)
aqua-s3o(0.06)
rareqs(0.09)
aqua-f3v(0.12)
depqbf-v3(0.13)
aqua-s2v(0.21)
qestos(0.24)
hiqqer1ldsq(0.41)
xb-qsts(0.49)
hiqqer1(0.84)
qesto(0.88)
hiqqer3(1.19)
caqe-minisat(1.4)
ghostq-plain(2.52)
qsts(2.79)
caqe-picosat(3.56)
depqbf-v2(3.61)
ghostq-cegar(3.99)
xb-bid-qsts(29.09)
iprover-QBF-bloqqer(122.85)
squeezebf+struqs(123.65)
struqs-10(123.97)
iprover-QBF(195.62)