results complete
26 views
Skip to first unread message
Armin Biere
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
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
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.
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