New Upstream Snapshot - minisat+

More details

Full run details

Historical runs