http://www.syntcomp.org/ 2014-03-24T08:38:44+00:00 daily 1.0 http://www.syntcomp.org/news/ 2014-03-24T08:49:42+00:00 weekly 0.6 http://www.syntcomp.org/introducing-the-syntcomp-format-v0-1/ 2014-02-26T10:48:25+00:00 monthly 0.2 http://www.syntcomp.org/floc14-olympic-games/ 2014-02-10T08:49:00+00:00 monthly 0.2 http://www.syntcomp.org/call-for-benchmarks-server-for-competition-2014-open/ 2013-11-22T12:45:26+00:00 monthly 0.2 http://www.syntcomp.org/synthesis-competitions-at-cav-2014/ 2013-08-22T08:42:36+00:00 monthly 0.2 http://www.syntcomp.org/category/discussion/ weekly 0.3 http://www.syntcomp.org/category/news/ weekly 0.3 http://www.syntcomp.org/category/uncategorized/ weekly 0.3