Sota solver details
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

Instance: fpu-10Xh-error01-uniform-depth-5
Best Solver: depqbf-cert-v2 Time: 7.12 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-cert-v1 7.92 - - cheq 115.12
- - caqe-picosat-cert 12.51 - - - -
- - caqe-minisat-cert 12.55 - - - -
depqbf-cert-v2(7.12)
depqbf-cert-v1(7.92)
caqe-picosat-cert(12.51)
caqe-minisat-cert(12.55)
cheq(115.12)