Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: gttt_2_1_000111_3x3_torus_b
Best Solver: qsts Time: 0.16 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-f3v 0.19 xb-qsts 0.95 - -
- - aqua-s2v 0.19 caqe-picosat 0.96 - -
- - aqua-s3o 0.19 xb-bid-qsts 0.96 - -
- - qesto 0.19 iprover-QBF-bloqqer 0.98 - -
- - rareqs 0.19 caqe-minisat 1 - -
- - qestos 0.2 depqbf-v2 1.21 - -
- - depqbf-v1 0.21 ghostq-cegar 1.49 - -
- - hiqqer1ldsq 0.31 - - - -
- - hiqqer1 0.32 - - - -
- - hiqqer3 0.51 - - - -
- - depqbf-v3 0.57 - - - -
- - ghostq-plain 0.65 - - - -
qsts(0.16)
aqua-f3v(0.19)
aqua-s2v(0.19)
aqua-s3o(0.19)
qesto(0.19)
rareqs(0.19)
qestos(0.2)
depqbf-v1(0.21)
hiqqer1ldsq(0.31)
hiqqer1(0.32)
hiqqer3(0.51)
depqbf-v3(0.57)
ghostq-plain(0.65)
xb-qsts(0.95)
caqe-picosat(0.96)
xb-bid-qsts(0.96)
iprover-QBF-bloqqer(0.98)
caqe-minisat(1)
depqbf-v2(1.21)
ghostq-cegar(1.49)
struqs-10(16.06)
squeezebf+struqs(29.83)
AIGSolve(38.5)