(GOAL EXACTRUNTIME) (VAR (X1,X2)) (GUARDPOLY X1-X2) (GUARDVAL 2) (UPDATES 1/5:(1,2) :+: 4/5:(-3,0)) (DIRECTTERMINATION 0:(0,0)) (PRECISION 10) (INITIAL (4,1))