Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: ev-pr-4x4-13-3-0-0-1-lg
Best Solver: depqbf-v1 Time: 0.31 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 0.6 hiqqer1ldsq 1.72 hiqqer3 4.47
- - - - caqe-minisat 1.73 ghostq-plain 5.42
- - - - hiqqer1 1.73 aqua-f3v 21.93
- - - - - - aqua-s2v 24.96
- - - - - - aqua-s3o 26.49
- - - - - - depqbf-v3 29.44
depqbf-v1(0.31)
rareqs(0.6)
hiqqer1ldsq(1.72)
caqe-minisat(1.73)
hiqqer1(1.73)
hiqqer3(4.47)
ghostq-plain(5.42)
aqua-f3v(21.93)
aqua-s2v(24.96)
aqua-s3o(26.49)
depqbf-v3(29.44)
depqbf-v2(39.11)
ghostq-cegar(99.39)
xb-bid-qsts(104.37)
xb-qsts(104.56)