Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: ev-pr-4x4-17-3-0-0-1-s
Best Solver: caqe-minisat Time: 13.44 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v2 41.82 hiqqer3 111.5 - -
- - hiqqer1ldsq 42.31 - - - -
- - hiqqer1 42.37 - - - -
caqe-minisat(13.44)
depqbf-v2(41.82)
hiqqer1ldsq(42.31)
hiqqer1(42.37)
hiqqer3(111.5)