HWMCC'07
Results
The results of the competition have been presented at CAV'07 (slides).
The winners are:
| ALL | pdtrav-inv | Polictecnico di Torino |
| SAT | nusmv-bmc | IRST Trento |
| UNSAT | pdtrav-inv | Polictecnico di Torino |
| SOTA | nusmv-bmc | IRST Trento |
All details are listed in hwmcc07results.csv.
Run time information alone is given in hwmcc07time.csv, which is also available as hwmcc07time.xls.
For more information on the set-up please consult the slides of the CAV presentation.