problem
result
overall_time
unbd-sage1
sat
1632.780032
unbd-sage14
sat
106.87
unbd-sage16
sat
503.969984
unbd-sage18
sat
406.56
unbd-sage22
sat
130.22
unbd-sage3
sat
55.98
unbd-sage4
sat
38.8