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