Fix for Timeout Error for Ubigraph
Fix for Timeout Error for Ubigraph

JLiangWaterloo/sat,JLiangWaterloo/sat,JLiangWaterloo/sat,JLiangWaterloo/sat,JLiangWaterloo/sat,JLiangWaterloo/sat,JLiangWaterloo/sat