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

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