path: root/tests/results/0314_cmp_ge.polyhedra.txt

sources/0314_cmp_ge.c:3.11-23: [|-x+20>=0; y-15>=0; x-y>=0|]
Output: [|-x+20>=0; -y+30>=0; y-15>=0; x-10>=0|]