Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: ev-pr-4x4-15-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.67 caqe-minisat 2.19 ghostq-plain 3.38
- - - - hiqqer1 2.22 hiqqer3 5.59
- - - - hiqqer1ldsq 2.22 ghostq-cegar 6.76
depqbf-v1(0.31)
rareqs(0.67)
caqe-minisat(2.19)
hiqqer1(2.22)
hiqqer1ldsq(2.22)
ghostq-plain(3.38)
hiqqer3(5.59)
ghostq-cegar(6.76)
depqbf-v3(93.36)
aqua-s2v(99.66)
depqbf-v2(114.52)
aqua-f3v(124.15)
aqua-s3o(127.86)
xb-qsts(325.17)
xb-bid-qsts(326.84)