Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: connect_5x4_3_R
Best Solver: aqua-s3o Time: 5.74 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-s2v 8.77 hiqqer1 29.6 caqe-picosat 74.11
- - aqua-f3v 11.23 hiqqer1ldsq 30.64 xb-qsts 76.91
- - - - depqbf-v2 31.71 qsts 102.39
- - - - depqbf-v1 33.11 xb-bid-qsts 117.84
- - - - qestos 36.08 squeezebf+struqs 156.51
- - - - depqbf-v3 36.38 struqs-10 188.91
- - - - ghostq-plain 36.63 - -
- - - - ghostq-cegar 41.74 - -
- - - - caqe-minisat 42.89 - -
- - - - hiqqer3 56.43 - -
aqua-s3o(5.74)
aqua-s2v(8.77)
aqua-f3v(11.23)
hiqqer1(29.6)
hiqqer1ldsq(30.64)
depqbf-v2(31.71)
depqbf-v1(33.11)
qestos(36.08)
depqbf-v3(36.38)
ghostq-plain(36.63)
ghostq-cegar(41.74)
caqe-minisat(42.89)
hiqqer3(56.43)
caqe-picosat(74.11)
xb-qsts(76.91)
qsts(102.39)
xb-bid-qsts(117.84)
squeezebf+struqs(156.51)
struqs-10(188.91)