problem
result
overall_time
unbd-sage11
sat
787.939968
unbd-sage12
sat
14.1
unbd-sage13
sat
27.99
unbd-sage17
sat
0.67
unbd-sage18
sat
0.56
unbd-sage21
sat
0.35
unbd-sage3
sat
0.1