Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: query11_query21_1344
Best Solver: qestos Time: 0.15 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 0.17 - - hiqqer1 1.53
- - - - - - hiqqer3 1.81
- - - - - - aqua-s2v 2.14
- - - - - - caqe-minisat 3.51
- - - - - - xb-qsts 3.85
- - - - - - caqe-picosat 4
- - - - - - aqua-s3o 5.9
- - - - - - depqbf-v1 6.21
- - - - - - ghostq-cegar 6.86
- - - - - - depqbf-v2 7.72
- - - - - - aqua-f3v 7.88
- - - - - - depqbf-v3 7.89
- - - - - - xb-bid-qsts 7.92
- - - - - - iprover-QBF 13.21
qestos(0.15)
rareqs(0.17)
hiqqer1(1.53)
hiqqer3(1.81)
aqua-s2v(2.14)
caqe-minisat(3.51)
xb-qsts(3.85)
caqe-picosat(4)
aqua-s3o(5.9)
depqbf-v1(6.21)
ghostq-cegar(6.86)
depqbf-v2(7.72)
aqua-f3v(7.88)
depqbf-v3(7.89)
xb-bid-qsts(7.92)
iprover-QBF(13.21)
qesto(18.88)
iprover-QBF-bloqqer(32.72)
hiqqer1ldsq(34.44)
ghostq-plain(37.41)