problem
result
overall_time
unbd-sage14.smt2.10
sat
1.48
unbd-sage18.smt2.2
sat
6.38
unbd-sage19.smt2.8
sat
0.88
unbd-sage7.smt2.7
sat
0.74
unbd-sage7.smt2.9
sat
0.71