Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: stmt19_83_412
Best Solver: aqua-s2v Time: 4.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-s3o 4.16 depqbf-v2 22.91 rareqs 59.21
- - aqua-f3v 5.5 - - ghostq-plain 89.54
- - AIGSolve 8.56 - - depqbf-v1 351.41
- - qesto 17.38 - - - -
aqua-s2v(4.01)
aqua-s3o(4.16)
aqua-f3v(5.5)
AIGSolve(8.56)
qesto(17.38)
depqbf-v2(22.91)
rareqs(59.21)
ghostq-plain(89.54)
depqbf-v1(351.41)