ACL2の賞金についてご存知の方教えていただけないでしょうか。
順位だけでなく、移動費や試合数に応じたものもあらよくわかりません。。