False 6 Solving... False dialog False vertical 12 True False 24 True False 0 Solving in progress... 0 0 True False 0 (time limit # seconds) 0 1 False True 0 False end gtk-ok True False True True True True True True False True 0 False True end 2 ok