results complete

26 views
Skip to first unread message

Armin Biere

unread,
Nov 14, 2011, 10:42:56 AM11/14/11
to HWMCC
You might want to check out the results page of this year's
competition:

http://fmv.jku.at/hwmcc11

It is now almost complete, except for the multi track, for which I am
not sure how to present the results in a better way.

Armin

Armin Biere

unread,
Nov 21, 2011, 8:45:35 AM11/21/11
to HWMCC
There was a glitch in the liveness track. The outcome
is that IIMC and TIP change places. TIP becomes
overall winner of the liveness track, while IIMC still
holds first place in the unsatisfiable ranking of this
track. You find more information on this issue on
the competition results page.

Armin

Reply all
Reply to author
Forward
0 new messages