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

Instance: Core1108_tbm_03.tex.moduleQ3.2S.000002
Best Solver: caqe-picosat-cert Time: 0.71 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - depqbf-cert-v2 9.11
- - - - - - depqbf-cert-v1 20.71
- - - - - - cheq 67.82
caqe-picosat-cert(0.71)
depqbf-cert-v2(9.11)
depqbf-cert-v1(20.71)
cheq(67.82)