SAT Competition 2013 の案内が出ていた。 http://satcompetition.org/2013/ 今年のUNSATトラックは(tracecheck形式もしくはRUP形式の)証明の出力が必要になるのか。