Sota solver results for family tipdiam
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.


InstanceSolverResultTime
eijk.S382.S-d4cheqSAT0.32
irst.dme6.B-d2depqbf-cert-v2SAT2.51
texas.parsesys^1.E-d4cheqSAT0.03
vis.prodcell^01.E-d2cheqSAT44.19