Instances of family tipdiam solved by QuAbS_2017
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
ken.flash^08.C-d4UNSAT340.32
ken.oop^2.C-d4FAIL900