0s autopkgtest [22:20:48]: starting date and time: 2024-04-18 22:20:48+0000 0s autopkgtest [22:20:48]: git checkout: 43bc6cdf gitlab-ci: do not include the salsa pipeline 0s autopkgtest [22:20:48]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.p5kkjdbb/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:freeglut --apt-upgrade qepcad --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=freeglut/3.4.0-1build1 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos02-ppc64el-14.secgroup --name adt-noble-ppc64el-qepcad-20240418-222048-juju-7f2275-prod-proposed-migration-environment-2-9b9004d6-d8a5-434f-986d-e6c25d2950f1 --image adt/ubuntu-noble-ppc64el-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 118s autopkgtest [22:22:46]: testbed dpkg architecture: ppc64el 118s autopkgtest [22:22:46]: testbed apt version: 2.7.14build2 118s autopkgtest [22:22:46]: @@@@@@@@@@@@@@@@@@@@ test bed setup 119s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 119s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [2340 B] 119s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [62.2 kB] 119s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [399 kB] 120s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [12.2 kB] 120s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el Packages [118 kB] 120s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el c-n-f Metadata [3116 B] 120s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el Packages [976 B] 120s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el c-n-f Metadata [116 B] 120s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el Packages [573 kB] 120s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el c-n-f Metadata [8652 B] 120s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el Packages [1004 B] 120s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el c-n-f Metadata [116 B] 122s Fetched 1298 kB in 1s (1251 kB/s) 122s Reading package lists... 124s sh: 4: dhclient: not found 125s Reading package lists... 125s Building dependency tree... 125s Reading state information... 125s Calculating upgrade... 125s The following packages will be upgraded: 125s libkeyutils1 libnuma1 netcat-openbsd numactl 125s 4 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 125s Need to get 129 kB of archives. 125s After this operation, 0 B of additional disk space will be used. 125s Get:1 http://ftpmaster.internal/ubuntu noble/main ppc64el libkeyutils1 ppc64el 1.6.3-3build1 [11.0 kB] 125s Get:2 http://ftpmaster.internal/ubuntu noble/main ppc64el netcat-openbsd ppc64el 1.226-1ubuntu2 [46.2 kB] 125s Get:3 http://ftpmaster.internal/ubuntu noble/main ppc64el libnuma1 ppc64el 2.0.18-1build1 [28.2 kB] 126s Get:4 http://ftpmaster.internal/ubuntu noble/main ppc64el numactl ppc64el 2.0.18-1build1 [43.9 kB] 126s Fetched 129 kB in 0s (287 kB/s) 126s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 71981 files and directories currently installed.) 126s Preparing to unpack .../libkeyutils1_1.6.3-3build1_ppc64el.deb ... 126s Unpacking libkeyutils1:ppc64el (1.6.3-3build1) over (1.6.3-3) ... 126s Preparing to unpack .../netcat-openbsd_1.226-1ubuntu2_ppc64el.deb ... 126s Unpacking netcat-openbsd (1.226-1ubuntu2) over (1.226-1ubuntu1) ... 126s Preparing to unpack .../libnuma1_2.0.18-1build1_ppc64el.deb ... 126s Unpacking libnuma1:ppc64el (2.0.18-1build1) over (2.0.18-1) ... 126s Preparing to unpack .../numactl_2.0.18-1build1_ppc64el.deb ... 126s Unpacking numactl (2.0.18-1build1) over (2.0.18-1) ... 126s Setting up libkeyutils1:ppc64el (1.6.3-3build1) ... 126s Setting up netcat-openbsd (1.226-1ubuntu2) ... 126s Setting up libnuma1:ppc64el (2.0.18-1build1) ... 126s Setting up numactl (2.0.18-1build1) ... 126s Processing triggers for man-db (2.12.0-4build1) ... 127s Processing triggers for libc-bin (2.39-0ubuntu8) ... 127s Reading package lists... 127s Building dependency tree... 127s Reading state information... 127s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 128s Hit:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease 128s Hit:2 http://ftpmaster.internal/ubuntu noble InRelease 128s Hit:3 http://ftpmaster.internal/ubuntu noble-updates InRelease 128s Hit:4 http://ftpmaster.internal/ubuntu noble-security InRelease 129s Reading package lists... 129s Reading package lists... 129s Building dependency tree... 129s Reading state information... 129s Calculating upgrade... 129s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 129s Reading package lists... 130s Building dependency tree... 130s Reading state information... 130s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 133s autopkgtest [22:23:01]: testbed running kernel: Linux 6.8.0-22-generic #22-Ubuntu SMP Thu Apr 4 22:47:57 UTC 2024 133s autopkgtest [22:23:01]: @@@@@@@@@@@@@@@@@@@@ apt-source qepcad 135s Get:1 http://ftpmaster.internal/ubuntu noble/universe qepcad 1.74+ds-4build2 (dsc) [2093 B] 135s Get:2 http://ftpmaster.internal/ubuntu noble/universe qepcad 1.74+ds-4build2 (tar) [255 kB] 135s Get:3 http://ftpmaster.internal/ubuntu noble/universe qepcad 1.74+ds-4build2 (diff) [26.6 kB] 135s gpgv: Signature made Mon Apr 1 07:18:40 2024 UTC 135s gpgv: using RSA key A089FB36AAFBDAD5ACC1325069F790171A210984 135s gpgv: Can't check signature: No public key 135s dpkg-source: warning: cannot verify inline signature for ./qepcad_1.74+ds-4build2.dsc: no acceptable signature found 135s autopkgtest [22:23:03]: testing package qepcad version 1.74+ds-4build2 136s autopkgtest [22:23:04]: build not needed 137s autopkgtest [22:23:05]: test command1: preparing testbed 138s Reading package lists... 138s Building dependency tree... 138s Reading state information... 139s Starting pkgProblemResolver with broken count: 0 139s Starting 2 pkgProblemResolver with broken count: 0 139s Done 139s The following additional packages will be installed: 139s libcdd0t64 libdrm-amdgpu1 libdrm-nouveau2 libdrm-radeon1 libflint18t64 139s libgf2x3 libgl1 libgl1-mesa-dri libglapi-mesa libglu1-mesa libglut3.12 139s libglvnd0 libglx-mesa0 libglx0 libgmp-dev libgmpxx4ldbl libllvm17t64 139s libntl44 libopengl0 libsingular4m3n0t64 libvulkan1 libx11-xcb1 libxcb-dri2-0 139s libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-randr0 libxcb-shm0 139s libxcb-sync1 libxcb-xfixes0 libxfixes3 libxi6 libxshmfence1 libxxf86vm1 139s qepcad singular singular-data singular-modules singular-ui 139s Suggested packages: 139s gmp-doc libgmp10-doc libmpfr-dev singular-doc 139s graphicsmagick-imagemagick-compat | imagemagick 139s Recommended packages: 139s libgl1-amber-dri mesa-vulkan-drivers | vulkan-icd graphviz 4ti2 normaliz 139s surf-alggeo topcom 139s The following NEW packages will be installed: 139s autopkgtest-satdep libcdd0t64 libdrm-amdgpu1 libdrm-nouveau2 libdrm-radeon1 139s libflint18t64 libgf2x3 libgl1 libgl1-mesa-dri libglapi-mesa libglu1-mesa 139s libglut3.12 libglvnd0 libglx-mesa0 libglx0 libgmp-dev libgmpxx4ldbl 139s libllvm17t64 libntl44 libopengl0 libsingular4m3n0t64 libvulkan1 libx11-xcb1 139s libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-randr0 139s libxcb-shm0 libxcb-sync1 libxcb-xfixes0 libxfixes3 libxi6 libxshmfence1 139s libxxf86vm1 qepcad singular singular-data singular-modules singular-ui 139s 0 upgraded, 40 newly installed, 0 to remove and 0 not upgraded. 139s Need to get 51.0 MB/51.0 MB of archives. 139s After this operation, 226 MB of additional disk space will be used. 139s Get:1 /tmp/autopkgtest.QyCj16/1-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [708 B] 139s Get:2 http://ftpmaster.internal/ubuntu noble/main ppc64el libgmpxx4ldbl ppc64el 2:6.3.0+dfsg-2ubuntu6 [10.3 kB] 139s Get:3 http://ftpmaster.internal/ubuntu noble/main ppc64el libgmp-dev ppc64el 2:6.3.0+dfsg-2ubuntu6 [372 kB] 139s Get:4 http://ftpmaster.internal/ubuntu noble/universe ppc64el libcdd0t64 ppc64el 094m-1.1build1 [135 kB] 139s Get:5 http://ftpmaster.internal/ubuntu noble/main ppc64el libdrm-amdgpu1 ppc64el 2.4.120-2build1 [24.5 kB] 139s Get:6 http://ftpmaster.internal/ubuntu noble/main ppc64el libdrm-nouveau2 ppc64el 2.4.120-2build1 [21.2 kB] 139s Get:7 http://ftpmaster.internal/ubuntu noble/main ppc64el libdrm-radeon1 ppc64el 2.4.120-2build1 [30.6 kB] 139s Get:8 http://ftpmaster.internal/ubuntu noble/universe ppc64el libflint18t64 ppc64el 3.0.1-3.1build1 [4700 kB] 140s Get:9 http://ftpmaster.internal/ubuntu noble/universe ppc64el libgf2x3 ppc64el 1.3.0-2 [52.4 kB] 140s Get:10 http://ftpmaster.internal/ubuntu noble/main ppc64el libvulkan1 ppc64el 1.3.275.0-1build1 [176 kB] 140s Get:11 http://ftpmaster.internal/ubuntu noble/main ppc64el libglapi-mesa ppc64el 24.0.5-1ubuntu1 [42.7 kB] 140s Get:12 http://ftpmaster.internal/ubuntu noble/main ppc64el libllvm17t64 ppc64el 1:17.0.6-9ubuntu1 [27.3 MB] 140s Get:13 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-dri3-0 ppc64el 1.15-1 [7392 B] 140s Get:14 http://ftpmaster.internal/ubuntu noble/main ppc64el libgl1-mesa-dri ppc64el 24.0.5-1ubuntu1 [5887 kB] 141s Get:15 http://ftpmaster.internal/ubuntu noble/main ppc64el libglvnd0 ppc64el 1.7.0-1build1 [72.4 kB] 141s Get:16 http://ftpmaster.internal/ubuntu noble/main ppc64el libx11-xcb1 ppc64el 2:1.8.7-1build1 [7910 B] 141s Get:17 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-dri2-0 ppc64el 1.15-1 [7444 B] 141s Get:18 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-glx0 ppc64el 1.15-1 [26.2 kB] 141s Get:19 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-present0 ppc64el 1.15-1 [5814 B] 141s Get:20 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-randr0 ppc64el 1.15-1 [18.9 kB] 141s Get:21 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-shm0 ppc64el 1.15-1 [5896 B] 141s Get:22 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-sync1 ppc64el 1.15-1 [9720 B] 141s Get:23 http://ftpmaster.internal/ubuntu noble/main ppc64el libxcb-xfixes0 ppc64el 1.15-1 [10.6 kB] 141s Get:24 http://ftpmaster.internal/ubuntu noble/main ppc64el libxfixes3 ppc64el 1:6.0.0-2build1 [11.8 kB] 141s Get:25 http://ftpmaster.internal/ubuntu noble/main ppc64el libxshmfence1 ppc64el 1.3-1build5 [4964 B] 141s Get:26 http://ftpmaster.internal/ubuntu noble/main ppc64el libxxf86vm1 ppc64el 1:1.1.4-1build4 [11.1 kB] 141s Get:27 http://ftpmaster.internal/ubuntu noble/main ppc64el libglx-mesa0 ppc64el 24.0.5-1ubuntu1 [161 kB] 141s Get:28 http://ftpmaster.internal/ubuntu noble/main ppc64el libglx0 ppc64el 1.7.0-1build1 [42.7 kB] 141s Get:29 http://ftpmaster.internal/ubuntu noble/main ppc64el libgl1 ppc64el 1.7.0-1build1 [107 kB] 141s Get:30 http://ftpmaster.internal/ubuntu noble/main ppc64el libxi6 ppc64el 2:1.8.1-1build1 [37.9 kB] 141s Get:31 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el libglut3.12 ppc64el 3.4.0-1build1 [131 kB] 141s Get:32 http://ftpmaster.internal/ubuntu noble/universe ppc64el libntl44 ppc64el 11.5.1-1 [1038 kB] 141s Get:33 http://ftpmaster.internal/ubuntu noble/universe ppc64el libsingular4m3n0t64 ppc64el 1:4.3.2-p10+ds-1.1build1 [3606 kB] 141s Get:34 http://ftpmaster.internal/ubuntu noble/universe ppc64el singular-data all 1:4.3.2-p10+ds-1.1build1 [4921 kB] 141s Get:35 http://ftpmaster.internal/ubuntu noble/universe ppc64el singular-ui ppc64el 1:4.3.2-p10+ds-1.1build1 [11.2 kB] 141s Get:36 http://ftpmaster.internal/ubuntu noble/universe ppc64el singular-modules ppc64el 1:4.3.2-p10+ds-1.1build1 [1148 kB] 141s Get:37 http://ftpmaster.internal/ubuntu noble/universe ppc64el singular ppc64el 1:4.3.2-p10+ds-1.1build1 [5002 B] 141s Get:38 http://ftpmaster.internal/ubuntu noble/main ppc64el libopengl0 ppc64el 1.7.0-1build1 [35.5 kB] 141s Get:39 http://ftpmaster.internal/ubuntu noble/main ppc64el libglu1-mesa ppc64el 9.0.2-1.1build1 [276 kB] 141s Get:40 http://ftpmaster.internal/ubuntu noble/universe ppc64el qepcad ppc64el 1.74+ds-4build2 [584 kB] 141s Fetched 51.0 MB in 2s (22.9 MB/s) 141s Selecting previously unselected package libgmpxx4ldbl:ppc64el. 141s (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 71981 files and directories currently installed.) 141s Preparing to unpack .../00-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu6_ppc64el.deb ... 141s Unpacking libgmpxx4ldbl:ppc64el (2:6.3.0+dfsg-2ubuntu6) ... 141s Selecting previously unselected package libgmp-dev:ppc64el. 141s Preparing to unpack .../01-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu6_ppc64el.deb ... 141s Unpacking libgmp-dev:ppc64el (2:6.3.0+dfsg-2ubuntu6) ... 141s Selecting previously unselected package libcdd0t64:ppc64el. 141s Preparing to unpack .../02-libcdd0t64_094m-1.1build1_ppc64el.deb ... 141s Unpacking libcdd0t64:ppc64el (094m-1.1build1) ... 141s Selecting previously unselected package libdrm-amdgpu1:ppc64el. 141s Preparing to unpack .../03-libdrm-amdgpu1_2.4.120-2build1_ppc64el.deb ... 141s Unpacking libdrm-amdgpu1:ppc64el (2.4.120-2build1) ... 141s Selecting previously unselected package libdrm-nouveau2:ppc64el. 141s Preparing to unpack .../04-libdrm-nouveau2_2.4.120-2build1_ppc64el.deb ... 141s Unpacking libdrm-nouveau2:ppc64el (2.4.120-2build1) ... 141s Selecting previously unselected package libdrm-radeon1:ppc64el. 141s Preparing to unpack .../05-libdrm-radeon1_2.4.120-2build1_ppc64el.deb ... 141s Unpacking libdrm-radeon1:ppc64el (2.4.120-2build1) ... 141s Selecting previously unselected package libflint18t64:ppc64el. 141s Preparing to unpack .../06-libflint18t64_3.0.1-3.1build1_ppc64el.deb ... 141s Unpacking libflint18t64:ppc64el (3.0.1-3.1build1) ... 142s Selecting previously unselected package libgf2x3:ppc64el. 142s Preparing to unpack .../07-libgf2x3_1.3.0-2_ppc64el.deb ... 142s Unpacking libgf2x3:ppc64el (1.3.0-2) ... 142s Selecting previously unselected package libvulkan1:ppc64el. 142s Preparing to unpack .../08-libvulkan1_1.3.275.0-1build1_ppc64el.deb ... 142s Unpacking libvulkan1:ppc64el (1.3.275.0-1build1) ... 142s Selecting previously unselected package libglapi-mesa:ppc64el. 142s Preparing to unpack .../09-libglapi-mesa_24.0.5-1ubuntu1_ppc64el.deb ... 142s Unpacking libglapi-mesa:ppc64el (24.0.5-1ubuntu1) ... 142s Selecting previously unselected package libllvm17t64:ppc64el. 142s Preparing to unpack .../10-libllvm17t64_1%3a17.0.6-9ubuntu1_ppc64el.deb ... 142s Unpacking libllvm17t64:ppc64el (1:17.0.6-9ubuntu1) ... 142s Selecting previously unselected package libxcb-dri3-0:ppc64el. 142s Preparing to unpack .../11-libxcb-dri3-0_1.15-1_ppc64el.deb ... 142s Unpacking libxcb-dri3-0:ppc64el (1.15-1) ... 142s Selecting previously unselected package libgl1-mesa-dri:ppc64el. 143s Preparing to unpack .../12-libgl1-mesa-dri_24.0.5-1ubuntu1_ppc64el.deb ... 143s Unpacking libgl1-mesa-dri:ppc64el (24.0.5-1ubuntu1) ... 143s Selecting previously unselected package libglvnd0:ppc64el. 143s Preparing to unpack .../13-libglvnd0_1.7.0-1build1_ppc64el.deb ... 143s Unpacking libglvnd0:ppc64el (1.7.0-1build1) ... 143s Selecting previously unselected package libx11-xcb1:ppc64el. 143s Preparing to unpack .../14-libx11-xcb1_2%3a1.8.7-1build1_ppc64el.deb ... 143s Unpacking libx11-xcb1:ppc64el (2:1.8.7-1build1) ... 143s Selecting previously unselected package libxcb-dri2-0:ppc64el. 143s Preparing to unpack .../15-libxcb-dri2-0_1.15-1_ppc64el.deb ... 143s Unpacking libxcb-dri2-0:ppc64el (1.15-1) ... 143s Selecting previously unselected package libxcb-glx0:ppc64el. 143s Preparing to unpack .../16-libxcb-glx0_1.15-1_ppc64el.deb ... 143s Unpacking libxcb-glx0:ppc64el (1.15-1) ... 143s Selecting previously unselected package libxcb-present0:ppc64el. 143s Preparing to unpack .../17-libxcb-present0_1.15-1_ppc64el.deb ... 143s Unpacking libxcb-present0:ppc64el (1.15-1) ... 143s Selecting previously unselected package libxcb-randr0:ppc64el. 143s Preparing to unpack .../18-libxcb-randr0_1.15-1_ppc64el.deb ... 143s Unpacking libxcb-randr0:ppc64el (1.15-1) ... 143s Selecting previously unselected package libxcb-shm0:ppc64el. 143s Preparing to unpack .../19-libxcb-shm0_1.15-1_ppc64el.deb ... 143s Unpacking libxcb-shm0:ppc64el (1.15-1) ... 143s Selecting previously unselected package libxcb-sync1:ppc64el. 143s Preparing to unpack .../20-libxcb-sync1_1.15-1_ppc64el.deb ... 143s Unpacking libxcb-sync1:ppc64el (1.15-1) ... 143s Selecting previously unselected package libxcb-xfixes0:ppc64el. 143s Preparing to unpack .../21-libxcb-xfixes0_1.15-1_ppc64el.deb ... 143s Unpacking libxcb-xfixes0:ppc64el (1.15-1) ... 143s Selecting previously unselected package libxfixes3:ppc64el. 143s Preparing to unpack .../22-libxfixes3_1%3a6.0.0-2build1_ppc64el.deb ... 143s Unpacking libxfixes3:ppc64el (1:6.0.0-2build1) ... 143s Selecting previously unselected package libxshmfence1:ppc64el. 143s Preparing to unpack .../23-libxshmfence1_1.3-1build5_ppc64el.deb ... 143s Unpacking libxshmfence1:ppc64el (1.3-1build5) ... 143s Selecting previously unselected package libxxf86vm1:ppc64el. 143s Preparing to unpack .../24-libxxf86vm1_1%3a1.1.4-1build4_ppc64el.deb ... 143s Unpacking libxxf86vm1:ppc64el (1:1.1.4-1build4) ... 143s Selecting previously unselected package libglx-mesa0:ppc64el. 143s Preparing to unpack .../25-libglx-mesa0_24.0.5-1ubuntu1_ppc64el.deb ... 143s Unpacking libglx-mesa0:ppc64el (24.0.5-1ubuntu1) ... 143s Selecting previously unselected package libglx0:ppc64el. 143s Preparing to unpack .../26-libglx0_1.7.0-1build1_ppc64el.deb ... 143s Unpacking libglx0:ppc64el (1.7.0-1build1) ... 143s Selecting previously unselected package libgl1:ppc64el. 143s Preparing to unpack .../27-libgl1_1.7.0-1build1_ppc64el.deb ... 143s Unpacking libgl1:ppc64el (1.7.0-1build1) ... 143s Selecting previously unselected package libxi6:ppc64el. 143s Preparing to unpack .../28-libxi6_2%3a1.8.1-1build1_ppc64el.deb ... 143s Unpacking libxi6:ppc64el (2:1.8.1-1build1) ... 143s Selecting previously unselected package libglut3.12:ppc64el. 143s Preparing to unpack .../29-libglut3.12_3.4.0-1build1_ppc64el.deb ... 143s Unpacking libglut3.12:ppc64el (3.4.0-1build1) ... 143s Selecting previously unselected package libntl44:ppc64el. 143s Preparing to unpack .../30-libntl44_11.5.1-1_ppc64el.deb ... 143s Unpacking libntl44:ppc64el (11.5.1-1) ... 143s Selecting previously unselected package libsingular4m3n0t64:ppc64el. 143s Preparing to unpack .../31-libsingular4m3n0t64_1%3a4.3.2-p10+ds-1.1build1_ppc64el.deb ... 143s Unpacking libsingular4m3n0t64:ppc64el (1:4.3.2-p10+ds-1.1build1) ... 143s Selecting previously unselected package singular-data. 143s Preparing to unpack .../32-singular-data_1%3a4.3.2-p10+ds-1.1build1_all.deb ... 143s Unpacking singular-data (1:4.3.2-p10+ds-1.1build1) ... 143s Selecting previously unselected package singular-ui. 143s Preparing to unpack .../33-singular-ui_1%3a4.3.2-p10+ds-1.1build1_ppc64el.deb ... 143s Unpacking singular-ui (1:4.3.2-p10+ds-1.1build1) ... 143s Selecting previously unselected package singular-modules:ppc64el. 143s Preparing to unpack .../34-singular-modules_1%3a4.3.2-p10+ds-1.1build1_ppc64el.deb ... 143s Unpacking singular-modules:ppc64el (1:4.3.2-p10+ds-1.1build1) ... 143s Selecting previously unselected package singular:ppc64el. 143s Preparing to unpack .../35-singular_1%3a4.3.2-p10+ds-1.1build1_ppc64el.deb ... 143s Unpacking singular:ppc64el (1:4.3.2-p10+ds-1.1build1) ... 143s Selecting previously unselected package libopengl0:ppc64el. 143s Preparing to unpack .../36-libopengl0_1.7.0-1build1_ppc64el.deb ... 143s Unpacking libopengl0:ppc64el (1.7.0-1build1) ... 143s Selecting previously unselected package libglu1-mesa:ppc64el. 143s Preparing to unpack .../37-libglu1-mesa_9.0.2-1.1build1_ppc64el.deb ... 143s Unpacking libglu1-mesa:ppc64el (9.0.2-1.1build1) ... 143s Selecting previously unselected package qepcad. 143s Preparing to unpack .../38-qepcad_1.74+ds-4build2_ppc64el.deb ... 143s Unpacking qepcad (1.74+ds-4build2) ... 143s Selecting previously unselected package autopkgtest-satdep. 143s Preparing to unpack .../39-1-autopkgtest-satdep.deb ... 143s Unpacking autopkgtest-satdep (0) ... 143s Setting up libxcb-dri3-0:ppc64el (1.15-1) ... 143s Setting up libx11-xcb1:ppc64el (2:1.8.7-1build1) ... 143s Setting up libdrm-nouveau2:ppc64el (2.4.120-2build1) ... 143s Setting up libxcb-xfixes0:ppc64el (1.15-1) ... 143s Setting up libxi6:ppc64el (2:1.8.1-1build1) ... 143s Setting up libdrm-radeon1:ppc64el (2.4.120-2build1) ... 143s Setting up libglvnd0:ppc64el (1.7.0-1build1) ... 143s Setting up libgf2x3:ppc64el (1.3.0-2) ... 143s Setting up libxcb-glx0:ppc64el (1.15-1) ... 143s Setting up libxcb-shm0:ppc64el (1.15-1) ... 143s Setting up libopengl0:ppc64el (1.7.0-1build1) ... 143s Setting up libxxf86vm1:ppc64el (1:1.1.4-1build4) ... 143s Setting up libxcb-present0:ppc64el (1.15-1) ... 143s Setting up libflint18t64:ppc64el (3.0.1-3.1build1) ... 143s Setting up libgmpxx4ldbl:ppc64el (2:6.3.0+dfsg-2ubuntu6) ... 143s Setting up libllvm17t64:ppc64el (1:17.0.6-9ubuntu1) ... 143s Setting up libxfixes3:ppc64el (1:6.0.0-2build1) ... 143s Setting up libxcb-sync1:ppc64el (1.15-1) ... 143s Setting up singular-data (1:4.3.2-p10+ds-1.1build1) ... 143s Setting up libglapi-mesa:ppc64el (24.0.5-1ubuntu1) ... 143s Setting up libvulkan1:ppc64el (1.3.275.0-1build1) ... 143s Setting up libxcb-dri2-0:ppc64el (1.15-1) ... 143s Setting up libntl44:ppc64el (11.5.1-1) ... 143s Setting up libsingular4m3n0t64:ppc64el (1:4.3.2-p10+ds-1.1build1) ... 143s Setting up libxshmfence1:ppc64el (1.3-1build5) ... 143s Setting up libxcb-randr0:ppc64el (1.15-1) ... 143s Setting up libglu1-mesa:ppc64el (9.0.2-1.1build1) ... 143s Setting up singular-ui (1:4.3.2-p10+ds-1.1build1) ... 143s Setting up libdrm-amdgpu1:ppc64el (2.4.120-2build1) ... 143s Setting up libgmp-dev:ppc64el (2:6.3.0+dfsg-2ubuntu6) ... 143s Setting up libgl1-mesa-dri:ppc64el (24.0.5-1ubuntu1) ... 143s Setting up libcdd0t64:ppc64el (094m-1.1build1) ... 143s Setting up libglx-mesa0:ppc64el (24.0.5-1ubuntu1) ... 143s Setting up libglx0:ppc64el (1.7.0-1build1) ... 143s Setting up singular-modules:ppc64el (1:4.3.2-p10+ds-1.1build1) ... 143s Setting up libgl1:ppc64el (1.7.0-1build1) ... 143s Setting up singular:ppc64el (1:4.3.2-p10+ds-1.1build1) ... 143s Setting up libglut3.12:ppc64el (3.4.0-1build1) ... 143s Setting up qepcad (1.74+ds-4build2) ... 143s Setting up autopkgtest-satdep (0) ... 143s Processing triggers for man-db (2.12.0-4build1) ... 144s Processing triggers for libc-bin (2.39-0ubuntu8) ... 146s (Reading database ... 72568 files and directories currently installed.) 146s Removing autopkgtest-satdep (0) ... 147s autopkgtest [22:23:15]: test command1: qepcad < debian/tests/positive-semidefinite && qepcad < debian/tests/triangles && qepcad < debian/tests/anai && qepcad < debian/tests/edge-square-product && qepcad < debian/tests/quartic && qepcad < debian/tests/hong-liska-steinberg && cad2d < debian/tests/cad2d 147s autopkgtest [22:23:15]: test command1: [----------------------- 147s ======================================================= 147s Quantifier Elimination 147s in 147s Elementary Algebra and Geometry 147s by 147s Partial Cylindrical Algebraic Decomposition 147s 147s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 147s 147s by 147s Hoon Hong 147s (hhong@math.ncsu.edu) 147s 147s With contributions by: Christopher W. Brown, George E. 147s Collins, Mark J. Encarnacion, Jeremy R. Johnson 147s Werner Krandick, Richard Liska, Scott McCallum, 147s Nicolas Robidoux, and Stanly Steinberg 147s ======================================================= 147s Enter an informal description between '[' and ']': 147s [ Computes the "not" of "is p positive semidefinite?" ]Enter a variable list: 147s (w,z,x,y)Enter the number of free variables: 147s 0 147s Enter a prenex formula: 147s (F w)(F z)(F x)(F y)[ 147s w^6 + 2 z^2 w^3 + x^4 + y^4 + z^4 + 2 x^2 w + 147s 2 x^2 z + 3 x^2 + w^2 + 2 z w + z^2 + 2 z + 2 w + 1 < 0 147s ]. 147s 147s ======================================================= 147s 147s Before Normalization > 147s finish 147s 147s An equivalent quantifier-free formula: 147s 147s FALSE 147s 147s 147s ===================== The End ======================= 147s 147s ----------------------------------------------------------------------------- 147s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 147s 364766 Cells in AVAIL, 500000 Cells in SPACE. 147s 147s System time: 4 milliseconds. 147s System time after the initialization: 2 milliseconds. 147s ----------------------------------------------------------------------------- 147s ======================================================= 147s Quantifier Elimination 147s in 147s Elementary Algebra and Geometry 147s by 147s Partial Cylindrical Algebraic Decomposition 147s 147s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 147s 147s by 147s Hoon Hong 147s (hhong@math.ncsu.edu) 147s 147s With contributions by: Christopher W. Brown, George E. 147s Collins, Mark J. Encarnacion, Jeremy R. Johnson 147s Werner Krandick, Richard Liska, Scott McCallum, 147s Nicolas Robidoux, and Stanly Steinberg 147s ======================================================= 147s Enter an informal description between '[' and ']': 147s [ Charaterizing triangles with external bisectors ]Enter a variable list: 147s (c,b,a)Enter the number of free variables: 147s 3 147s Enter a prenex formula: 147s [ b^2 + a^2 - c^2 <= 0 \/ c (b^2 + a^2 - c^2)^2 < a b^2 (2 a c - (c^2 + a^2 - b^2)) ]. 147s 147s ======================================================= 147s 147s Before Normalization > 147s assume [ a > 0 /\ b > 0 /\ c > 0 /\ a < b + c /\ b < a + c /\ c < a + b ] 147s Before Normalization > 147s finish 147s 147s An equivalent quantifier-free formula: 147s 147s a - c < 0 147s 147s 147s ===================== The End ======================= 147s 147s ----------------------------------------------------------------------------- 147s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 147s 456295 Cells in AVAIL, 500000 Cells in SPACE. 147s 147s System time: 12 milliseconds. 147s System time after the initialization: 7 milliseconds. 147s ----------------------------------------------------------------------------- 147s ======================================================= 147s Quantifier Elimination 147s in 147s Elementary Algebra and Geometry 147s by 147s Partial Cylindrical Algebraic Decomposition 147s 147s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 147s 147s by 147s Hoon Hong 147s (hhong@math.ncsu.edu) 147s 147s With contributions by: Christopher W. Brown, George E. 147s Collins, Mark J. Encarnacion, Jeremy R. Johnson 147s Werner Krandick, Richard Liska, Scott McCallum, 147s Nicolas Robidoux, and Stanly Steinberg 147s ======================================================= 147s Enter an informal description between '[' and ']': 147s [ Anai's Problem ]Enter a variable list: 147s (s,z)Enter the number of free variables: 147s 2 147s Enter a prenex formula: 147s [ 147s [s z + s - 1 >= 0 /\ s = 0 /\ z + 1 >= 0] 147s \/ [s z + s >= 0 /\ s = 0 /\ z = 0] \/ 147s [s^2 + 4 s z >= 0 /\ [[ 147s s^2 - 2 s <= 0 /\ s z + s - 1 <= 0 /\ s = 0 /\ [ 147s s^2 + 3 s z - s - 2 z <= 0 147s \/ [s + z - 1 <= 0 /\ [s z + s - 1 = 0 \/ 147s z = 0]]] /\ [s + 2 z >= 0 \/ z = 0]] \/ 147s [s^2 - 2 s <= 0 /\ s + 2 z >= 0 /\ s = 0 /\ [ 147s [s^2 + 3 s z - s - 2 z <= 0 /\ [s z + s - 1 <= 0 147s \/ z = 0]] \/ [s + z - 1 >= 0 /\ 147s [s z + s - 1 >= 0 \/ z = 0]]]]]] \/ 147s [s = 0 /\ z >= 0] 147s ]. 147s 147s ======================================================= 147s 147s Before Normalization > 147s finish 147s 147s An equivalent quantifier-free formula: 147s 147s s = 0 /\ z >= 0 147s 147s 147s ===================== The End ======================= 147s 147s ----------------------------------------------------------------------------- 147s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 147s 475605 Cells in AVAIL, 500000 Cells in SPACE. 147s 147s System time: 0 milliseconds. 147s System time after the initialization: 0 milliseconds. 147s ----------------------------------------------------------------------------- 147s ======================================================= 147s Quantifier Elimination 147s in 147s Elementary Algebra and Geometry 147s by 147s Partial Cylindrical Algebraic Decomposition 147s 147s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 147s 147s by 147s Hoon Hong 147s (hhong@math.ncsu.edu) 147s 147s With contributions by: Christopher W. Brown, George E. 147s Collins, Mark J. Encarnacion, Jeremy R. Johnson 147s Werner Krandick, Richard Liska, Scott McCallum, 147s Nicolas Robidoux, and Stanly Steinberg 147s ======================================================= 147s Enter an informal description between '[' and ']': 147s [ 147s Edge-square product problem with equational constaints 147s ]Enter a variable list: 147s (x,y,x1,x2)Enter the number of free variables: 147s 2 147s Enter a prenex formula: 147s (E x1)(E x2)[ 147s y = x1 (x1 x2 - x) + x2 /\ 147s 0 <= x1 /\ x1 <= 2 /\ 147s 2 <= x2 /\ x2 <= 4 /\ 147s -1 <= (x1 x2 - x) /\ (x1 x2 - x) <= 1 147s ]. 147s 147s ======================================================= 147s 147s Before Normalization > 147s prop-eqn-const 147s 147s Before Normalization > 147s go 147s 147s Before Projection (x2) > 147s d-level-f 4 147s A_4,1 = input 147s = x1^2 x2 + x2 - x x1 - y 147s A_4,2 = input 147s = x2 - 2 147s A_4,3 = input 147s = x2 - 4 147s A_4,4 = input 147s = x1 x2 - x + 1 147s A_4,5 = input 147s = x1 x2 - x - 1 147s 147s 147s Before Projection (x2) > 147s eqn-const-l (A_4,1) 147s Before Projection (x2) > 147s finish 151s 151s An equivalent quantifier-free formula: 151s 151s x + 1 >= 0 /\ 8 y + x^2 - 16 >= 0 /\ y + 2 x - 20 <= 0 /\ 2 y - x + 5 >= 0 /\ 4 y - x - 17 <= 0 /\ [ 2 y + x - 5 >= 0 \/ y - 2 >= 0 \/ [ x - 1 >= 0 /\ x - 2 < 0 ] \/ [ x - 1 < 0 /\ x > 0 ] ] 151s 151s 151s ===================== The End ======================= 151s 151s ----------------------------------------------------------------------------- 151s 128 Garbage collections, 51927701 Cells and 51 Arrays reclaimed, in 822 milliseconds. 151s 103597 Cells in AVAIL, 500000 Cells in SPACE. 151s 151s System time: 3145 milliseconds. 151s System time after the initialization: 3142 milliseconds. 151s ----------------------------------------------------------------------------- 151s ======================================================= 151s Quantifier Elimination 151s in 151s Elementary Algebra and Geometry 151s by 151s Partial Cylindrical Algebraic Decomposition 151s 151s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 151s 151s by 151s Hoon Hong 151s (hhong@math.ncsu.edu) 151s 151s With contributions by: Christopher W. Brown, George E. 151s Collins, Mark J. Encarnacion, Jeremy R. Johnson 151s Werner Krandick, Richard Liska, Scott McCallum, 151s Nicolas Robidoux, and Stanly Steinberg 151s ======================================================= 151s Enter an informal description between '[' and ']': 151s [ The positive-definite quartic problem ]Enter a variable list: 151s (a,b,c,d,x)Enter the number of free variables: 151s 4 151s Enter a prenex formula: 151s (Ax)[ x^4 + a x^3 + b x^2 + c x + d > 0 ]. 151s 151s ======================================================= 151s 151s Before Normalization > 151s go 151s 151s Before Projection (x) > 151s go 151s 151s Before Choice > 151s go 151s 151s Before Solution > 151s pdq 151s CAD is not projection definable. 151s 151s Before Solution > 151s sol E 151s An equivalent quantifier-free formula: 151s 151s d > _root_1 256 d^3 - 192 a c d^2 - 128 b^2 d^2 + 144 a^2 b d^2 - 27 a^4 d^2 + 144 b c^2 d - 6 a^2 c^2 d - 80 a b^2 c d + 18 a^3 b c d + 16 b^4 d - 4 a^2 b^3 d - 27 c^4 + 18 a b c^3 - 4 a^3 c^3 - 4 b^3 c^2 + a^2 b^2 c^2 /\ [ 108 c^2 - 108 a b c + 27 a^3 c + 32 b^3 - 9 a^2 b^2 > 0 \/ d > _root_-1 256 d^3 - 192 a c d^2 - 128 b^2 d^2 + 144 a^2 b d^2 - 27 a^4 d^2 + 144 b c^2 d - 6 a^2 c^2 d - 80 a b^2 c d + 18 a^3 b c d + 16 b^4 d - 4 a^2 b^3 d - 27 c^4 + 18 a b c^3 - 4 a^3 c^3 - 4 b^3 c^2 + a^2 b^2 c^2 ] 151s 151s 151s Before Solution > 151s sol T 151s An equivalent quantifier-free formula: 151s 151s 256 d^3 - 192 a c d^2 - 128 b^2 d^2 + 144 a^2 b d^2 - 27 a^4 d^2 + 144 b c^2 d - 6 a^2 c^2 d - 80 a b^2 c d + 18 a^3 b c d + 16 b^4 d - 4 a^2 b^3 d - 27 c^4 + 18 a b c^3 - 4 a^3 c^3 - 4 b^3 c^2 + a^2 b^2 c^2 >= 0 /\ [ [ 108 c^2 - 108 a b c + 27 a^3 c + 32 b^3 - 9 a^2 b^2 > 0 /\ 384 d^2 - 192 a c d - 128 b^2 d + 144 a^2 b d - 27 a^4 d + 72 b c^2 - 3 a^2 c^2 - 40 a b^2 c + 9 a^3 b c + 8 b^4 - 2 a^2 b^3 = 0 ] \/ [ 256 d^3 - 192 a c d^2 - 128 b^2 d^2 + 144 a^2 b d^2 - 27 a^4 d^2 + 144 b c^2 d - 6 a^2 c^2 d - 80 a b^2 c d + 18 a^3 b c d + 16 b^4 d - 4 a^2 b^3 d - 27 c^4 + 18 a b c^3 - 4 a^3 c^3 - 4 b^3 c^2 + a^2 b^2 c^2 > 0 /\ 384 d^2 - 192 a c d - 128 b^2 d + 144 a^2 b d - 27 a^4 d + 72 b c^2 - 3 a^2 c^2 - 40 a b^2 c + 9 a^3 b c + 8 b^4 - 2 a^2 b^3 > 0 /\ 768 d - 192 a c - 128 b^2 + 144 a^2 b - 27 a^4 > 0 ] \/ [ 108 c^2 - 108 a b c + 27 a^3 c + 32 b^3 - 9 a^2 b^2 > 0 /\ 256 d^3 - 192 a c d^2 - 128 b^2 d^2 + 144 a^2 b d^2 - 27 a^4 d^2 + 144 b c^2 d - 6 a^2 c^2 d - 80 a b^2 c d + 18 a^3 b c d + 16 b^4 d - 4 a^2 b^3 d - 27 c^4 + 18 a b c^3 - 4 a^3 c^3 - 4 b^3 c^2 + a^2 b^2 c^2 > 0 ] ] 151s 151s 151s Before Solution > 151s quit 151s Quitting the QEPCAD system... Bye! 151s ======================================================= 151s Quantifier Elimination 151s in 151s Elementary Algebra and Geometry 151s by 151s Partial Cylindrical Algebraic Decomposition 151s 151s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 151s 151s by 151s Hoon Hong 151s (hhong@math.ncsu.edu) 151s 151s With contributions by: Christopher W. Brown, George E. 151s Collins, Mark J. Encarnacion, Jeremy R. Johnson 151s Werner Krandick, Richard Liska, Scott McCallum, 151s Nicolas Robidoux, and Stanly Steinberg 151s ======================================================= 151s Enter an informal description between '[' and ']': 151s [ Example 5.14 from Hong, Liska, Steinberg, 151s "Testing Stability by Quantifier Elimination" 151s Journal of Symbolic Computation, Vol. 24, No. 2, 151s August 1997. The "G" quatifier means "for all but 151s finitely many". ]Enter a variable list: 151s (a,b,c2)Enter the number of free variables: 151s 0 151s Enter a prenex formula: 151s (G a)(G b)(G c2)[ 151s [ 0 <= a /\ a <= 1 /\ 0 <= b /\ b <= 1 ] 151s ==> 151s [ 151s c2^4 (a - b + 1) ( a - b - 1) (a - b)^2 <= 0 151s /\ 151s c2^4 b^2 (b^2 - 1) + 4 c2^3 a b^2 (b - 1) 151s + 2 c2^2 a b (3 a b - 2 a - 2 b + 1) 151s + 4 c2 a^2 b (a - 1) + a^2 (a^2 - 1) <= 0 151s /\ 151s [ 151s c2^2 ( 8 a^2 b^2 - 12 a^2 b + 5 a^2 - 8 a b^3 + 8 a b^2 151s + 2 a b - 4 a + 4 b^4 - 4 b^3 - 3 b^2 + 4 b ) 151s + 2 c2 ( 4 a^3 b - 2 a^3 - 4 a^2 b^2 - 2 a^2 b + a^2 151s + 4 a b^3 - 2 a b^2 + 2 a b - 2 b^3 + b^2 ) 151s + 4 a^4 - 8 a^3 b - 4 a^3 + 8 a^2 b^2 + 8 a^2 b - 3 a^2 151s - 12 a b^2 + 2 a b + 4 a + 5 b^2 - 4 b <= 0 151s \/ 151s 2 c2^4 b ( 3 a^2 b - 2 a^2 - 2 a b^2 + a + b^3 - b) 151s + 4 c2^3 a b ( a^2 - a + b^2 - b) 151s + 2 c2^2 a ( a^3 - 2 a^2b + 3 a b^2 - a - 2 b^2 + b ) <= 0 151s ] 151s ] 151s ]. 151s 151s ======================================================= 151s 151s Before Normalization > 151s finish 151s 151s An equivalent quantifier-free formula: 151s 151s TRUE 151s 151s 151s ===================== The End ======================= 151s 151s ----------------------------------------------------------------------------- 151s 3 Garbage collections, 1429242 Cells and 0 Arrays reclaimed, in 18 milliseconds. 151s 121586 Cells in AVAIL, 500000 Cells in SPACE. 151s 151s System time: 114 milliseconds. 151s System time after the initialization: 111 milliseconds. 151s ----------------------------------------------------------------------------- 151s ======================================================= 151s CAD2D - A Program for producing CADs of R^2 151s 151s Based on QEPCAD Version B 1.74, Feb 25 2021, by Hoon Hong 151s with contributions by: Christopher W. Brown, George E. 151s Collins, Mark J. Encarnacion, Jeremy R. Johnson 151s Werner Krandick, Richard Liska, Scott McCallum, 151s Nicolas Robiduex, and Stanly Steinberg 151s ======================================================= 151s Enter an informal description between '[' and ']': 151s [ An interesting CAD of R^2 to plot ]Enter a variable list: 151s (x,y)Enter the number of free variables: 151s 2 151s Enter a prenex formula: 151s [ (x^2 + y^2)^4 - 7 x^6 y + 35 x^4 y^3 - 21 x^2 y^5 + 151s y^7 <= 0 /\ 2 y < x^2 + 1 ]. 151s 151s ======================================================= 155s 155s Before Solution > 155s p-2d-cad 155s Before Solution > 155s quit 155s Quitting the QEPCAD system... Bye! 155s autopkgtest [22:23:23]: test command1: -----------------------] 156s command1 PASS 156s autopkgtest [22:23:24]: test command1: - - - - - - - - - - results - - - - - - - - - - 156s autopkgtest [22:23:24]: @@@@@@@@@@@@@@@@@@@@ summary 156s command1 PASS 167s Creating nova instance adt-noble-ppc64el-qepcad-20240418-222048-juju-7f2275-prod-proposed-migration-environment-2-9b9004d6-d8a5-434f-986d-e6c25d2950f1 from image adt/ubuntu-noble-ppc64el-server-20240418.img (UUID eb57e9e5-70fe-4878-ae85-dd88e864cb24)...