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

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