problem
result
overall_time
unbd-sage12
sat
259.2
unbd-sage13
sat
7.93
unbd-sage17
sat
41.38
unbd-sage19
sat
2.28
unbd-sage2
sat
98.92
unbd-sage22
sat
1.46
unbd-sage24
sat
0.71
unbd-sage6
sat
1.44
unbd-sage7
sat
11.31