Instances of family tipdiam solved by Cqesto_2018
QBFEVAL'18 - Prenex non-CNF Track

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