[SMT-LIB] 2012 SMTCOMP is zooming along

[cok at frontiernet.net]

SMTers:

The 2012 SMT competition is zooming right along. The main competition will be running on the first days of IJCAR.

We started the demonstration tracks on Saturday:

- The unsat core track, featuring 2 solvers across 3 divisions, is now complete.

- The demonstration divisions of the main track, featuring 4 solvers across 4 tracks, has also completed.

- The incremental division, featuring 2 solvers across 3 divisions, and a challenging 467 very large benchmarks, has been running for 2 days and is about half completed.

See the various live action pages, e.g., http://www.smtexec.org/exec/?jobs=1005, to see the current results.

The results of the competition will be presented during the SMT workshop on Saturday afternoon.

- David Cok for the organizing committee
(with additional thanks to Morgan Deters for resurrecting SMT-Exec for 2012)