problem
result
overall_time
unbd-sage22.smt2.6
sat
2.19
unbd-sage4.smt2.9
sat
2.17