Report - The Results of SAT Competition 2016 · Incremental Track { Results The Winners of the Incremental Track are: 1st Prize: CryptoMiniSat (avg. rank 2.0) by Mate Soos 2nd Prize: Glucose

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form