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

InstanceResultTime
s15850_PR_8_50FAIL900