Results

The results have been presented at HWVW'10 with the following slides.

The winners are:

ALLabcsuperproveUniversity of California, Berkeley
SATabcbmc2University of California, Berkeley
UNSATpdtravPolitecnico di Torino

For more information on the set-up please consult the slides of the HWVW'10.

More details can be found in the following files: table.xls, table.csv, details.txt, and checked.txt.