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

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