Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: tlc04-nonuniform-depth-98
Best Solver: aqua-s3o Time: 2.49 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-f3v 2.84 ghostq-cegar 12.79 xb-qsts 54.12
- - aqua-s2v 2.86 hiqqer3 14.78 xb-bid-qsts 69.06
- - rareqs 3.21 hiqqer1 14.97 qsts 69.58
- - qestos 3.46 hiqqer1ldsq 15.05 caqe-minisat 82.83
- - AIGSolve 8.11 depqbf-v1 20.41 - -
- - ghostq-plain 12.07 depqbf-v2 21.11 - -
- - - - depqbf-v3 21.11 - -
aqua-s3o(2.49)
aqua-f3v(2.84)
aqua-s2v(2.86)
rareqs(3.21)
qestos(3.46)
AIGSolve(8.11)
ghostq-plain(12.07)
ghostq-cegar(12.79)
hiqqer3(14.78)
hiqqer1(14.97)
hiqqer1ldsq(15.05)
depqbf-v1(20.41)
depqbf-v2(21.11)
depqbf-v3(21.11)
xb-qsts(54.12)
xb-bid-qsts(69.06)
qsts(69.58)
caqe-minisat(82.83)