Hacker News new | ask | show | jobs
by vmchale 2033 days ago
IIRC iPhone did well on SMT solver benchmarks as well.