Open-WBO-Inc wins 2 bronze at MaxSAT Evaluations 2019

Open-WBO-Inc wins 2 bronze at MaxSAT Evaluations 2019

Open-WBO-Inc, an incomplete MaxSAT solver developed by Saurabh Joshi, Prateek Kumar, Ruben Martins and Sukrut Rao won bronze in weighted MaxSAT category in 60s and 300s timeout track at MaxSAT Evaluations 2019 https://maxsat-evaluations.github.io/2019/.
It is also worth noting that the winner of weighted MaxSAT category, TT-Open-WBO-Inc is also based on Open-WBO-Inc.