For your information, the SMT-COMP mailing list has moved. To send a message to the list, use smt-comp at cs.nyu.edu The mailing list information page and archives can be found at http://www.cs.nyu.edu/mailman/listinfo/smt-comp Any questions should be directed to me. Thanks, Clark Barrett barrett at cs.nyu.edu