Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: fpu-10Xh-error01-uniform-depth-5
Best Solver: depqbf-v3 Time: 0.19 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v2 0.21 hiqqer1 1.05 aqua-s2v 1.94
- - struqs-10 0.41 hiqqer1ldsq 1.05 aqua-s3o 1.94
- - qesto 0.44 hiqqer3 1.06 xb-qsts 2
- - qestos 0.45 qsts 1.83 aqua-f3v 2.01
- - rareqs 0.45 squeezebf+struqs 1.9 xb-bid-qsts 2.03
- - AIGSolve 0.46 - - caqe-picosat 2.09
- - - - - - caqe-minisat 2.25
- - - - - - depqbf-v1 2.61
depqbf-v3(0.19)
depqbf-v2(0.21)
struqs-10(0.41)
qesto(0.44)
qestos(0.45)
rareqs(0.45)
AIGSolve(0.46)
hiqqer1(1.05)
hiqqer1ldsq(1.05)
hiqqer3(1.06)
qsts(1.83)
squeezebf+struqs(1.9)
aqua-s2v(1.94)
aqua-s3o(1.94)
xb-qsts(2)
aqua-f3v(2.01)
xb-bid-qsts(2.03)
caqe-picosat(2.09)
caqe-minisat(2.25)
depqbf-v1(2.61)
ghostq-plain(36.77)
ghostq-cegar(37.07)