SDPLIB 1.2, a library of semidefinite programming test problems | Synapse