path: root/tests/results/0318_cmp_ne.polyhedra.txt

sources/0318_cmp_ne.c:3.11-23: [|-x-y+29>=0; -x+15>=0; -y+15>=0; y-10>=0;
                                 x-10>=0; x+y-21>=0|]
Output: [|-x+15>=0; -y+15>=0; y-10>=0; x-10>=0|]