>>594138
ACLEは18億ぐらいになってますがACL2はまだ賞金は発表されてないような？？？
ACL2は2億ぐらいではないかと言われてます