Glass Transition

CEGAR anneal — liquid → rigid Hard Glass phase