problem
result
overall_time
unbd-sage0.smt2.9
sat
216.28
unbd-sage1.smt2.2
sat
679.830016
unbd-sage19.smt2.4
sat
1374.610048