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