Unique instances for depqbf-cert-v2
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.


InstanceTimeResult
ev-pr-4x4-15-3-0-0-1-lg1.31SAT
sortnetsort8.v.stepl.00729.31SAT
emptyroom_e3_ser--opt-20_2.81SAT
ev-pr-4x4-13-3-0-0-1-lg1.12SAT
sortnetsort9.AE.stepl.01252.51UNSAT
ev-pr-4x4-17-3-0-0-1-lg1.31SAT