0s autopkgtest [02:51:47]: starting date and time: 2024-03-25 02:51:47+0000 0s autopkgtest [02:51:47]: git checkout: 4a1cd702 l/adt_testbed: don't blame the testbed for unsolvable build deps 0s autopkgtest [02:51:47]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.aj1z3y6b/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --setup-commands /home/ubuntu/autopkgtest/setup-commands/setup-testbed --apt-pocket=proposed=src:readline,src:asymptote --apt-upgrade qepcad --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=readline/8.2-4 asymptote/2.87+ds-1build1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos02-arm64-4.secgroup --name adt-noble-arm64-qepcad-20240325-025147-juju-7f2275-prod-proposed-migration-environment-2 --image adt/ubuntu-noble-arm64-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/ 194s autopkgtest [02:55:01]: testbed dpkg architecture: arm64 195s autopkgtest [02:55:02]: testbed apt version: 2.7.12 195s autopkgtest [02:55:02]: @@@@@@@@@@@@@@@@@@@@ test bed setup 197s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 197s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 197s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [4010 kB] 197s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [56.8 kB] 197s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [496 kB] 197s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [708 kB] 198s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 198s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [33.7 kB] 198s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 198s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [4365 kB] 198s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 198s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [71.0 kB] 198s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 209s Fetched 9876 kB in 5s (1869 kB/s) 210s Reading package lists... 216s Reading package lists... 217s Building dependency tree... 217s Reading state information... 218s Calculating upgrade... 220s The following packages will be upgraded: 220s readline-common 220s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 220s Need to get 56.4 kB of archives. 220s After this operation, 0 B of additional disk space will be used. 220s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 readline-common all 8.2-4 [56.4 kB] 221s Fetched 56.4 kB in 0s (177 kB/s) 222s (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 ... 75911 files and directories currently installed.) 222s Preparing to unpack .../readline-common_8.2-4_all.deb ... 222s Unpacking readline-common (8.2-4) over (8.2-3) ... 222s Setting up readline-common (8.2-4) ... 222s Processing triggers for install-info (7.1-3) ... 222s Processing triggers for man-db (2.12.0-3) ... 223s Reading package lists... 224s Building dependency tree... 224s Reading state information... 226s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 227s sh: Attempting to set up Debian/Ubuntu apt sources automatically 227s sh: Distribution appears to be Ubuntu 230s Reading package lists... 231s Building dependency tree... 231s Reading state information... 233s eatmydata is already the newest version (131-1). 233s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 233s Reading package lists... 233s Building dependency tree... 233s Reading state information... 235s dbus is already the newest version (1.14.10-4ubuntu1). 235s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 235s Reading package lists... 236s Building dependency tree... 236s Reading state information... 237s rng-tools-debian is already the newest version (2.4). 237s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 237s Reading package lists... 238s Building dependency tree... 238s Reading state information... 240s The following packages will be REMOVED: 240s cloud-init* python3-configobj* python3-debconf* 241s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 241s After this operation, 3256 kB disk space will be freed. 241s (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 ... 75911 files and directories currently installed.) 241s Removing cloud-init (24.1.2-0ubuntu1) ... 243s Removing python3-configobj (5.0.8-3) ... 244s Removing python3-debconf (1.5.86) ... 244s Processing triggers for man-db (2.12.0-3) ... 245s (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 ... 75522 files and directories currently installed.) 245s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 248s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 248s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 248s invoke-rc.d: policy-rc.d denied execution of try-restart. 249s Reading package lists... 249s Building dependency tree... 249s Reading state information... 251s linux-generic is already the newest version (6.8.0-11.11+1). 251s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 252s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 252s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 252s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 263s Reading package lists... 263s Reading package lists... 264s Building dependency tree... 264s Reading state information... 265s Calculating upgrade... 266s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 267s Reading package lists... 268s Building dependency tree... 268s Reading state information... 269s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 269s autopkgtest [02:56:16]: rebooting testbed after setup commands that affected boot 432s autopkgtest [02:58:59]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP PREEMPT_DYNAMIC Wed Feb 14 02:53:31 UTC 2024 436s autopkgtest [02:59:03]: @@@@@@@@@@@@@@@@@@@@ apt-source qepcad 439s Get:1 http://ftpmaster.internal/ubuntu noble/universe qepcad 1.74+ds-4 (dsc) [2019 B] 439s Get:2 http://ftpmaster.internal/ubuntu noble/universe qepcad 1.74+ds-4 (tar) [255 kB] 439s Get:3 http://ftpmaster.internal/ubuntu noble/universe qepcad 1.74+ds-4 (diff) [26.5 kB] 440s gpgv: Signature made Thu Aug 24 11:11:25 2023 UTC 440s gpgv: using RSA key BA9821C12E07894FB2E4AD0091DC4A779EC5C910 440s gpgv: issuer "dtorrance@debian.org" 440s gpgv: Can't check signature: No public key 440s dpkg-source: warning: cannot verify inline signature for ./qepcad_1.74+ds-4.dsc: no acceptable signature found 441s autopkgtest [02:59:08]: testing package qepcad version 1.74+ds-4 441s autopkgtest [02:59:08]: build not needed 442s autopkgtest [02:59:09]: test command1: preparing testbed 444s Reading package lists... 444s Building dependency tree... 444s Reading state information... 445s Starting pkgProblemResolver with broken count: 0 445s Starting 2 pkgProblemResolver with broken count: 0 446s Done 447s The following additional packages will be installed: 447s libcdd0d libdrm-amdgpu1 libdrm-nouveau2 libdrm-radeon1 libflint18 libgf2x3 447s libgl1 libgl1-mesa-dri libglapi-mesa libglu1-mesa libglut3.12 libglvnd0 447s libglx-mesa0 libglx0 libgmp-dev libgmpxx4ldbl libllvm17 libntl44 libopengl0 447s libsingular4m3n0 libvulkan1 libx11-xcb1 libxcb-dri2-0 libxcb-dri3-0 447s libxcb-glx0 libxcb-present0 libxcb-randr0 libxcb-shm0 libxcb-sync1 447s libxcb-xfixes0 libxfixes3 libxi6 libxshmfence1 libxxf86vm1 qepcad singular 447s singular-data singular-modules singular-ui 447s Suggested packages: 447s gmp-doc libgmp10-doc libmpfr-dev singular-doc 447s graphicsmagick-imagemagick-compat | imagemagick 447s Recommended packages: 447s libgl1-amber-dri mesa-vulkan-drivers | vulkan-icd graphviz 4ti2 normaliz 447s surf-alggeo topcom 447s The following NEW packages will be installed: 447s autopkgtest-satdep libcdd0d libdrm-amdgpu1 libdrm-nouveau2 libdrm-radeon1 447s libflint18 libgf2x3 libgl1 libgl1-mesa-dri libglapi-mesa libglu1-mesa 447s libglut3.12 libglvnd0 libglx-mesa0 libglx0 libgmp-dev libgmpxx4ldbl 447s libllvm17 libntl44 libopengl0 libsingular4m3n0 libvulkan1 libx11-xcb1 447s libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-randr0 447s libxcb-shm0 libxcb-sync1 libxcb-xfixes0 libxfixes3 libxi6 libxshmfence1 447s libxxf86vm1 qepcad singular singular-data singular-modules singular-ui 448s 0 upgraded, 40 newly installed, 0 to remove and 0 not upgraded. 448s Need to get 49.3 MB/49.3 MB of archives. 448s After this operation, 203 MB of additional disk space will be used. 448s Get:1 /tmp/autopkgtest.zSMwcR/1-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [700 B] 448s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 libgmpxx4ldbl arm64 2:6.3.0+dfsg-2ubuntu4 [9950 B] 448s Get:3 http://ftpmaster.internal/ubuntu noble/main arm64 libgmp-dev arm64 2:6.3.0+dfsg-2ubuntu4 [330 kB] 448s Get:4 http://ftpmaster.internal/ubuntu noble/universe arm64 libcdd0d arm64 094m-1 [116 kB] 448s Get:5 http://ftpmaster.internal/ubuntu noble/main arm64 libdrm-amdgpu1 arm64 2.4.120-2 [20.4 kB] 448s Get:6 http://ftpmaster.internal/ubuntu noble/main arm64 libdrm-nouveau2 arm64 2.4.120-2 [17.8 kB] 448s Get:7 http://ftpmaster.internal/ubuntu noble/main arm64 libdrm-radeon1 arm64 2.4.120-2 [20.9 kB] 448s Get:8 http://ftpmaster.internal/ubuntu noble/universe arm64 libflint18 arm64 3.0.1-3 [4063 kB] 450s Get:9 http://ftpmaster.internal/ubuntu noble/universe arm64 libgf2x3 arm64 1.3.0-2 [28.2 kB] 450s Get:10 http://ftpmaster.internal/ubuntu noble/main arm64 libvulkan1 arm64 1.3.275.0-1 [150 kB] 450s Get:11 http://ftpmaster.internal/ubuntu noble/main arm64 libglapi-mesa arm64 24.0.1-1ubuntu1 [57.8 kB] 450s Get:12 http://ftpmaster.internal/ubuntu noble/main arm64 libllvm17 arm64 1:17.0.6-5build1 [25.0 MB] 453s Get:13 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-dri3-0 arm64 1.15-1 [7108 B] 453s Get:14 http://ftpmaster.internal/ubuntu noble/main arm64 libgl1-mesa-dri arm64 24.0.1-1ubuntu1 [8226 kB] 453s Get:15 http://ftpmaster.internal/ubuntu noble/main arm64 libglvnd0 arm64 1.7.0-1 [60.0 kB] 453s Get:16 http://ftpmaster.internal/ubuntu noble/main arm64 libx11-xcb1 arm64 2:1.8.7-1 [7836 B] 453s Get:17 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-dri2-0 arm64 1.15-1 [7244 B] 453s Get:18 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-glx0 arm64 1.15-1 [25.2 kB] 453s Get:19 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-present0 arm64 1.15-1 [5732 B] 453s Get:20 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-randr0 arm64 1.15-1 [18.2 kB] 453s Get:21 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-shm0 arm64 1.15-1 [5780 B] 453s Get:22 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-sync1 arm64 1.15-1 [9412 B] 453s Get:23 http://ftpmaster.internal/ubuntu noble/main arm64 libxcb-xfixes0 arm64 1.15-1 [10.3 kB] 453s Get:24 http://ftpmaster.internal/ubuntu noble/main arm64 libxfixes3 arm64 1:6.0.0-2 [11.0 kB] 453s Get:25 http://ftpmaster.internal/ubuntu noble/main arm64 libxshmfence1 arm64 1.3-1build4 [5444 B] 453s Get:26 http://ftpmaster.internal/ubuntu noble/main arm64 libxxf86vm1 arm64 1:1.1.4-1build3 [10.3 kB] 453s Get:27 http://ftpmaster.internal/ubuntu noble/main arm64 libglx-mesa0 arm64 24.0.1-1ubuntu1 [166 kB] 453s Get:28 http://ftpmaster.internal/ubuntu noble/main arm64 libglx0 arm64 1.7.0-1 [32.4 kB] 453s Get:29 http://ftpmaster.internal/ubuntu noble/main arm64 libgl1 arm64 1.7.0-1 [107 kB] 453s Get:30 http://ftpmaster.internal/ubuntu noble/main arm64 libxi6 arm64 2:1.8.1-1 [31.9 kB] 453s Get:31 http://ftpmaster.internal/ubuntu noble/universe arm64 libglut3.12 arm64 3.4.0-1 [96.8 kB] 453s Get:32 http://ftpmaster.internal/ubuntu noble/universe arm64 libntl44 arm64 11.5.1-1 [776 kB] 453s Get:33 http://ftpmaster.internal/ubuntu noble/universe arm64 libsingular4m3n0 arm64 1:4.3.2-p10+ds-1build1 [3258 kB] 453s Get:34 http://ftpmaster.internal/ubuntu noble/universe arm64 singular-data all 1:4.3.2-p10+ds-1build1 [4846 kB] 454s Get:35 http://ftpmaster.internal/ubuntu noble/universe arm64 singular-ui arm64 1:4.3.2-p10+ds-1build1 [11.1 kB] 454s Get:36 http://ftpmaster.internal/ubuntu noble/universe arm64 singular-modules arm64 1:4.3.2-p10+ds-1build1 [1066 kB] 454s Get:37 http://ftpmaster.internal/ubuntu noble/universe arm64 singular arm64 1:4.3.2-p10+ds-1build1 [5000 B] 454s Get:38 http://ftpmaster.internal/ubuntu noble/main arm64 libopengl0 arm64 1.7.0-1 [35.9 kB] 454s Get:39 http://ftpmaster.internal/ubuntu noble/main arm64 libglu1-mesa arm64 9.0.2-1.1 [137 kB] 454s Get:40 http://ftpmaster.internal/ubuntu noble/universe arm64 qepcad arm64 1.74+ds-4 [476 kB] 455s Fetched 49.3 MB in 6s (7894 kB/s) 455s Selecting previously unselected package libgmpxx4ldbl:arm64. 455s (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 ... 75467 files and directories currently installed.) 455s Preparing to unpack .../00-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu4_arm64.deb ... 455s Unpacking libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-2ubuntu4) ... 456s Selecting previously unselected package libgmp-dev:arm64. 456s Preparing to unpack .../01-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu4_arm64.deb ... 456s Unpacking libgmp-dev:arm64 (2:6.3.0+dfsg-2ubuntu4) ... 456s Selecting previously unselected package libcdd0d:arm64. 456s Preparing to unpack .../02-libcdd0d_094m-1_arm64.deb ... 456s Unpacking libcdd0d:arm64 (094m-1) ... 456s Selecting previously unselected package libdrm-amdgpu1:arm64. 456s Preparing to unpack .../03-libdrm-amdgpu1_2.4.120-2_arm64.deb ... 456s Unpacking libdrm-amdgpu1:arm64 (2.4.120-2) ... 456s Selecting previously unselected package libdrm-nouveau2:arm64. 456s Preparing to unpack .../04-libdrm-nouveau2_2.4.120-2_arm64.deb ... 456s Unpacking libdrm-nouveau2:arm64 (2.4.120-2) ... 456s Selecting previously unselected package libdrm-radeon1:arm64. 456s Preparing to unpack .../05-libdrm-radeon1_2.4.120-2_arm64.deb ... 456s Unpacking libdrm-radeon1:arm64 (2.4.120-2) ... 456s Selecting previously unselected package libflint18:arm64. 456s Preparing to unpack .../06-libflint18_3.0.1-3_arm64.deb ... 456s Unpacking libflint18:arm64 (3.0.1-3) ... 457s Selecting previously unselected package libgf2x3:arm64. 457s Preparing to unpack .../07-libgf2x3_1.3.0-2_arm64.deb ... 457s Unpacking libgf2x3:arm64 (1.3.0-2) ... 457s Selecting previously unselected package libvulkan1:arm64. 457s Preparing to unpack .../08-libvulkan1_1.3.275.0-1_arm64.deb ... 457s Unpacking libvulkan1:arm64 (1.3.275.0-1) ... 457s Selecting previously unselected package libglapi-mesa:arm64. 457s Preparing to unpack .../09-libglapi-mesa_24.0.1-1ubuntu1_arm64.deb ... 457s Unpacking libglapi-mesa:arm64 (24.0.1-1ubuntu1) ... 457s Selecting previously unselected package libllvm17:arm64. 457s Preparing to unpack .../10-libllvm17_1%3a17.0.6-5build1_arm64.deb ... 457s Unpacking libllvm17:arm64 (1:17.0.6-5build1) ... 460s Selecting previously unselected package libxcb-dri3-0:arm64. 460s Preparing to unpack .../11-libxcb-dri3-0_1.15-1_arm64.deb ... 460s Unpacking libxcb-dri3-0:arm64 (1.15-1) ... 460s Selecting previously unselected package libgl1-mesa-dri:arm64. 460s Preparing to unpack .../12-libgl1-mesa-dri_24.0.1-1ubuntu1_arm64.deb ... 460s Unpacking libgl1-mesa-dri:arm64 (24.0.1-1ubuntu1) ... 461s Selecting previously unselected package libglvnd0:arm64. 461s Preparing to unpack .../13-libglvnd0_1.7.0-1_arm64.deb ... 461s Unpacking libglvnd0:arm64 (1.7.0-1) ... 461s Selecting previously unselected package libx11-xcb1:arm64. 461s Preparing to unpack .../14-libx11-xcb1_2%3a1.8.7-1_arm64.deb ... 461s Unpacking libx11-xcb1:arm64 (2:1.8.7-1) ... 461s Selecting previously unselected package libxcb-dri2-0:arm64. 461s Preparing to unpack .../15-libxcb-dri2-0_1.15-1_arm64.deb ... 461s Unpacking libxcb-dri2-0:arm64 (1.15-1) ... 461s Selecting previously unselected package libxcb-glx0:arm64. 461s Preparing to unpack .../16-libxcb-glx0_1.15-1_arm64.deb ... 461s Unpacking libxcb-glx0:arm64 (1.15-1) ... 461s Selecting previously unselected package libxcb-present0:arm64. 461s Preparing to unpack .../17-libxcb-present0_1.15-1_arm64.deb ... 461s Unpacking libxcb-present0:arm64 (1.15-1) ... 461s Selecting previously unselected package libxcb-randr0:arm64. 461s Preparing to unpack .../18-libxcb-randr0_1.15-1_arm64.deb ... 461s Unpacking libxcb-randr0:arm64 (1.15-1) ... 461s Selecting previously unselected package libxcb-shm0:arm64. 461s Preparing to unpack .../19-libxcb-shm0_1.15-1_arm64.deb ... 461s Unpacking libxcb-shm0:arm64 (1.15-1) ... 461s Selecting previously unselected package libxcb-sync1:arm64. 461s Preparing to unpack .../20-libxcb-sync1_1.15-1_arm64.deb ... 461s Unpacking libxcb-sync1:arm64 (1.15-1) ... 461s Selecting previously unselected package libxcb-xfixes0:arm64. 461s Preparing to unpack .../21-libxcb-xfixes0_1.15-1_arm64.deb ... 461s Unpacking libxcb-xfixes0:arm64 (1.15-1) ... 461s Selecting previously unselected package libxfixes3:arm64. 462s Preparing to unpack .../22-libxfixes3_1%3a6.0.0-2_arm64.deb ... 462s Unpacking libxfixes3:arm64 (1:6.0.0-2) ... 462s Selecting previously unselected package libxshmfence1:arm64. 462s Preparing to unpack .../23-libxshmfence1_1.3-1build4_arm64.deb ... 462s Unpacking libxshmfence1:arm64 (1.3-1build4) ... 462s Selecting previously unselected package libxxf86vm1:arm64. 462s Preparing to unpack .../24-libxxf86vm1_1%3a1.1.4-1build3_arm64.deb ... 462s Unpacking libxxf86vm1:arm64 (1:1.1.4-1build3) ... 462s Selecting previously unselected package libglx-mesa0:arm64. 462s Preparing to unpack .../25-libglx-mesa0_24.0.1-1ubuntu1_arm64.deb ... 462s Unpacking libglx-mesa0:arm64 (24.0.1-1ubuntu1) ... 462s Selecting previously unselected package libglx0:arm64. 462s Preparing to unpack .../26-libglx0_1.7.0-1_arm64.deb ... 462s Unpacking libglx0:arm64 (1.7.0-1) ... 462s Selecting previously unselected package libgl1:arm64. 462s Preparing to unpack .../27-libgl1_1.7.0-1_arm64.deb ... 462s Unpacking libgl1:arm64 (1.7.0-1) ... 462s Selecting previously unselected package libxi6:arm64. 462s Preparing to unpack .../28-libxi6_2%3a1.8.1-1_arm64.deb ... 462s Unpacking libxi6:arm64 (2:1.8.1-1) ... 462s Selecting previously unselected package libglut3.12:arm64. 462s Preparing to unpack .../29-libglut3.12_3.4.0-1_arm64.deb ... 462s Unpacking libglut3.12:arm64 (3.4.0-1) ... 462s Selecting previously unselected package libntl44:arm64. 462s Preparing to unpack .../30-libntl44_11.5.1-1_arm64.deb ... 462s Unpacking libntl44:arm64 (11.5.1-1) ... 462s Selecting previously unselected package libsingular4m3n0:arm64. 462s Preparing to unpack .../31-libsingular4m3n0_1%3a4.3.2-p10+ds-1build1_arm64.deb ... 462s Unpacking libsingular4m3n0:arm64 (1:4.3.2-p10+ds-1build1) ... 463s Selecting previously unselected package singular-data. 463s Preparing to unpack .../32-singular-data_1%3a4.3.2-p10+ds-1build1_all.deb ... 463s Unpacking singular-data (1:4.3.2-p10+ds-1build1) ... 463s Selecting previously unselected package singular-ui. 463s Preparing to unpack .../33-singular-ui_1%3a4.3.2-p10+ds-1build1_arm64.deb ... 463s Unpacking singular-ui (1:4.3.2-p10+ds-1build1) ... 463s Selecting previously unselected package singular-modules:arm64. 463s Preparing to unpack .../34-singular-modules_1%3a4.3.2-p10+ds-1build1_arm64.deb ... 463s Unpacking singular-modules:arm64 (1:4.3.2-p10+ds-1build1) ... 464s Selecting previously unselected package singular:arm64. 464s Preparing to unpack .../35-singular_1%3a4.3.2-p10+ds-1build1_arm64.deb ... 464s Unpacking singular:arm64 (1:4.3.2-p10+ds-1build1) ... 464s Selecting previously unselected package libopengl0:arm64. 464s Preparing to unpack .../36-libopengl0_1.7.0-1_arm64.deb ... 464s Unpacking libopengl0:arm64 (1.7.0-1) ... 464s Selecting previously unselected package libglu1-mesa:arm64. 464s Preparing to unpack .../37-libglu1-mesa_9.0.2-1.1_arm64.deb ... 464s Unpacking libglu1-mesa:arm64 (9.0.2-1.1) ... 464s Selecting previously unselected package qepcad. 464s Preparing to unpack .../38-qepcad_1.74+ds-4_arm64.deb ... 464s Unpacking qepcad (1.74+ds-4) ... 464s Selecting previously unselected package autopkgtest-satdep. 464s Preparing to unpack .../39-1-autopkgtest-satdep.deb ... 464s Unpacking autopkgtest-satdep (0) ... 464s Setting up libxcb-dri3-0:arm64 (1.15-1) ... 464s Setting up libx11-xcb1:arm64 (2:1.8.7-1) ... 464s Setting up libdrm-nouveau2:arm64 (2.4.120-2) ... 464s Setting up libxcb-xfixes0:arm64 (1.15-1) ... 464s Setting up libxi6:arm64 (2:1.8.1-1) ... 464s Setting up libdrm-radeon1:arm64 (2.4.120-2) ... 464s Setting up libglvnd0:arm64 (1.7.0-1) ... 464s Setting up libgf2x3:arm64 (1.3.0-2) ... 464s Setting up libxcb-glx0:arm64 (1.15-1) ... 464s Setting up libxcb-shm0:arm64 (1.15-1) ... 464s Setting up libopengl0:arm64 (1.7.0-1) ... 464s Setting up libxxf86vm1:arm64 (1:1.1.4-1build3) ... 464s Setting up libxcb-present0:arm64 (1.15-1) ... 464s Setting up libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-2ubuntu4) ... 464s Setting up libxfixes3:arm64 (1:6.0.0-2) ... 464s Setting up libxcb-sync1:arm64 (1.15-1) ... 464s Setting up singular-data (1:4.3.2-p10+ds-1build1) ... 464s Setting up libflint18:arm64 (3.0.1-3) ... 464s Setting up libglapi-mesa:arm64 (24.0.1-1ubuntu1) ... 464s Setting up libvulkan1:arm64 (1.3.275.0-1) ... 464s Setting up libxcb-dri2-0:arm64 (1.15-1) ... 464s Setting up libntl44:arm64 (11.5.1-1) ... 464s Setting up libxshmfence1:arm64 (1.3-1build4) ... 464s Setting up libxcb-randr0:arm64 (1.15-1) ... 464s Setting up libglu1-mesa:arm64 (9.0.2-1.1) ... 464s Setting up libllvm17:arm64 (1:17.0.6-5build1) ... 464s Setting up libdrm-amdgpu1:arm64 (2.4.120-2) ... 464s Setting up libgmp-dev:arm64 (2:6.3.0+dfsg-2ubuntu4) ... 464s Setting up libcdd0d:arm64 (094m-1) ... 464s Setting up libgl1-mesa-dri:arm64 (24.0.1-1ubuntu1) ... 464s Setting up libsingular4m3n0:arm64 (1:4.3.2-p10+ds-1build1) ... 464s Setting up singular-ui (1:4.3.2-p10+ds-1build1) ... 464s Setting up libglx-mesa0:arm64 (24.0.1-1ubuntu1) ... 464s Setting up libglx0:arm64 (1.7.0-1) ... 464s Setting up singular-modules:arm64 (1:4.3.2-p10+ds-1build1) ... 464s Setting up libgl1:arm64 (1.7.0-1) ... 464s Setting up singular:arm64 (1:4.3.2-p10+ds-1build1) ... 464s Setting up libglut3.12:arm64 (3.4.0-1) ... 464s Setting up qepcad (1.74+ds-4) ... 464s Setting up autopkgtest-satdep (0) ... 464s Processing triggers for man-db (2.12.0-3) ... 466s Processing triggers for libc-bin (2.39-0ubuntu6) ... 474s (Reading database ... 76097 files and directories currently installed.) 474s Removing autopkgtest-satdep (0) ... 475s autopkgtest [02:59:42]: 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 475s autopkgtest [02:59:42]: test command1: [----------------------- 475s ======================================================= 475s Quantifier Elimination 475s in 475s Elementary Algebra and Geometry 475s by 475s Partial Cylindrical Algebraic Decomposition 475s 475s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 475s 475s by 475s Hoon Hong 475s (hhong@math.ncsu.edu) 475s 475s With contributions by: Christopher W. Brown, George E. 475s Collins, Mark J. Encarnacion, Jeremy R. Johnson 475s Werner Krandick, Richard Liska, Scott McCallum, 475s Nicolas Robidoux, and Stanly Steinberg 475s ======================================================= 475s Enter an informal description between '[' and ']': 475s [ Computes the "not" of "is p positive semidefinite?" ]Enter a variable list: 475s (w,z,x,y)Enter the number of free variables: 475s 0 475s Enter a prenex formula: 475s (F w)(F z)(F x)(F y)[ 475s w^6 + 2 z^2 w^3 + x^4 + y^4 + z^4 + 2 x^2 w + 475s 2 x^2 z + 3 x^2 + w^2 + 2 z w + z^2 + 2 z + 2 w + 1 < 0 475s ]. 475s 475s ======================================================= 475s 475s Before Normalization > 475s finish 475s 475s An equivalent quantifier-free formula: 475s 475s FALSE 475s 475s 475s ===================== The End ======================= 475s 475s ----------------------------------------------------------------------------- 475s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 475s 364766 Cells in AVAIL, 500000 Cells in SPACE. 475s 475s System time: 21 milliseconds. 475s System time after the initialization: 14 milliseconds. 475s ----------------------------------------------------------------------------- 475s ======================================================= 475s Quantifier Elimination 475s in 475s Elementary Algebra and Geometry 475s by 475s Partial Cylindrical Algebraic Decomposition 475s 475s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 475s 475s by 475s Hoon Hong 475s (hhong@math.ncsu.edu) 475s 475s With contributions by: Christopher W. Brown, George E. 475s Collins, Mark J. Encarnacion, Jeremy R. Johnson 475s Werner Krandick, Richard Liska, Scott McCallum, 475s Nicolas Robidoux, and Stanly Steinberg 475s ======================================================= 475s Enter an informal description between '[' and ']': 475s [ Charaterizing triangles with external bisectors ]Enter a variable list: 475s (c,b,a)Enter the number of free variables: 475s 3 475s Enter a prenex formula: 475s [ 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)) ]. 475s 475s ======================================================= 475s 475s Before Normalization > 475s assume [ a > 0 /\ b > 0 /\ c > 0 /\ a < b + c /\ b < a + c /\ c < a + b ] 475s Before Normalization > 475s finish 475s 475s An equivalent quantifier-free formula: 475s 475s a - c < 0 475s 475s 475s ===================== The End ======================= 475s 475s ----------------------------------------------------------------------------- 475s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 475s 456295 Cells in AVAIL, 500000 Cells in SPACE. 475s 475s System time: 13 milliseconds. 475s System time after the initialization: 5 milliseconds. 475s ----------------------------------------------------------------------------- 475s ======================================================= 475s Quantifier Elimination 475s in 475s Elementary Algebra and Geometry 475s by 475s Partial Cylindrical Algebraic Decomposition 475s 475s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 475s 475s by 475s Hoon Hong 475s (hhong@math.ncsu.edu) 475s 475s With contributions by: Christopher W. Brown, George E. 475s Collins, Mark J. Encarnacion, Jeremy R. Johnson 475s Werner Krandick, Richard Liska, Scott McCallum, 475s Nicolas Robidoux, and Stanly Steinberg 475s ======================================================= 475s Enter an informal description between '[' and ']': 475s [ Anai's Problem ]Enter a variable list: 475s (s,z)Enter the number of free variables: 475s 2 475s Enter a prenex formula: 475s [ 475s [s z + s - 1 >= 0 /\ s = 0 /\ z + 1 >= 0] 475s \/ [s z + s >= 0 /\ s = 0 /\ z = 0] \/ 475s [s^2 + 4 s z >= 0 /\ [[ 475s s^2 - 2 s <= 0 /\ s z + s - 1 <= 0 /\ s = 0 /\ [ 475s s^2 + 3 s z - s - 2 z <= 0 475s \/ [s + z - 1 <= 0 /\ [s z + s - 1 = 0 \/ 475s z = 0]]] /\ [s + 2 z >= 0 \/ z = 0]] \/ 475s [s^2 - 2 s <= 0 /\ s + 2 z >= 0 /\ s = 0 /\ [ 475s [s^2 + 3 s z - s - 2 z <= 0 /\ [s z + s - 1 <= 0 475s \/ z = 0]] \/ [s + z - 1 >= 0 /\ 475s [s z + s - 1 >= 0 \/ z = 0]]]]]] \/ 475s [s = 0 /\ z >= 0] 475s ]. 475s 475s ======================================================= 475s 475s Before Normalization > 475s finish 475s 475s An equivalent quantifier-free formula: 475s 475s s = 0 /\ z >= 0 475s 475s 475s ===================== The End ======================= 475s 475s ----------------------------------------------------------------------------- 475s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 475s 475605 Cells in AVAIL, 500000 Cells in SPACE. 475s 475s System time: 13 milliseconds. 475s System time after the initialization: 6 milliseconds. 475s ----------------------------------------------------------------------------- 476s ======================================================= 476s Quantifier Elimination 476s in 476s Elementary Algebra and Geometry 476s by 476s Partial Cylindrical Algebraic Decomposition 476s 476s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 476s 476s by 476s Hoon Hong 476s (hhong@math.ncsu.edu) 476s 476s With contributions by: Christopher W. Brown, George E. 476s Collins, Mark J. Encarnacion, Jeremy R. Johnson 476s Werner Krandick, Richard Liska, Scott McCallum, 476s Nicolas Robidoux, and Stanly Steinberg 476s ======================================================= 476s Enter an informal description between '[' and ']': 476s [ 476s Edge-square product problem with equational constaints 476s ]Enter a variable list: 476s (x,y,x1,x2)Enter the number of free variables: 476s 2 476s Enter a prenex formula: 476s (E x1)(E x2)[ 476s y = x1 (x1 x2 - x) + x2 /\ 476s 0 <= x1 /\ x1 <= 2 /\ 476s 2 <= x2 /\ x2 <= 4 /\ 476s -1 <= (x1 x2 - x) /\ (x1 x2 - x) <= 1 476s ]. 476s 476s ======================================================= 476s 476s Before Normalization > 476s prop-eqn-const 476s 476s Before Normalization > 476s go 476s 476s Before Projection (x2) > 476s d-level-f 4 476s A_4,1 = input 476s = x1^2 x2 + x2 - x x1 - y 476s A_4,2 = input 476s = x2 - 2 476s A_4,3 = input 476s = x2 - 4 476s A_4,4 = input 476s = x1 x2 - x + 1 476s A_4,5 = input 476s = x1 x2 - x - 1 476s 476s 476s Before Projection (x2) > 476s eqn-const-l (A_4,1) 476s Before Projection (x2) > 476s finish 482s 482s An equivalent quantifier-free formula: 482s 482s 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 ] ] 482s 482s 482s ===================== The End ======================= 482s 482s ----------------------------------------------------------------------------- 482s 128 Garbage collections, 51908489 Cells and 51 Arrays reclaimed, in 1260 milliseconds. 482s 84385 Cells in AVAIL, 500000 Cells in SPACE. 482s 482s System time: 5353 milliseconds. 482s System time after the initialization: 5343 milliseconds. 482s ----------------------------------------------------------------------------- 482s ======================================================= 482s Quantifier Elimination 482s in 482s Elementary Algebra and Geometry 482s by 482s Partial Cylindrical Algebraic Decomposition 482s 482s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 482s 482s by 482s Hoon Hong 482s (hhong@math.ncsu.edu) 482s 482s With contributions by: Christopher W. Brown, George E. 482s Collins, Mark J. Encarnacion, Jeremy R. Johnson 482s Werner Krandick, Richard Liska, Scott McCallum, 482s Nicolas Robidoux, and Stanly Steinberg 482s ======================================================= 482s Enter an informal description between '[' and ']': 482s [ The positive-definite quartic problem ]Enter a variable list: 482s (a,b,c,d,x)Enter the number of free variables: 482s 4 482s Enter a prenex formula: 482s (Ax)[ x^4 + a x^3 + b x^2 + c x + d > 0 ]. 482s 482s ======================================================= 482s 482s Before Normalization > 482s go 482s 482s Before Projection (x) > 482s go 482s 482s Before Choice > 482s go 482s 482s Before Solution > 482s pdq 482s CAD is not projection definable. 482s 482s Before Solution > 482s sol E 482s An equivalent quantifier-free formula: 482s 482s 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 ] 482s 482s 482s Before Solution > 483s sol T 483s An equivalent quantifier-free formula: 483s 483s 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 ] ] 483s 483s 483s Before Solution > 483s quit 483s Quitting the QEPCAD system... Bye! 483s ======================================================= 483s Quantifier Elimination 483s in 483s Elementary Algebra and Geometry 483s by 483s Partial Cylindrical Algebraic Decomposition 483s 483s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 483s 483s by 483s Hoon Hong 483s (hhong@math.ncsu.edu) 483s 483s With contributions by: Christopher W. Brown, George E. 483s Collins, Mark J. Encarnacion, Jeremy R. Johnson 483s Werner Krandick, Richard Liska, Scott McCallum, 483s Nicolas Robidoux, and Stanly Steinberg 483s ======================================================= 483s Enter an informal description between '[' and ']': 483s [ Example 5.14 from Hong, Liska, Steinberg, 483s "Testing Stability by Quantifier Elimination" 483s Journal of Symbolic Computation, Vol. 24, No. 2, 483s August 1997. The "G" quatifier means "for all but 483s finitely many". ]Enter a variable list: 483s (a,b,c2)Enter the number of free variables: 483s 0 483s Enter a prenex formula: 483s (G a)(G b)(G c2)[ 483s [ 0 <= a /\ a <= 1 /\ 0 <= b /\ b <= 1 ] 483s ==> 483s [ 483s c2^4 (a - b + 1) ( a - b - 1) (a - b)^2 <= 0 483s /\ 483s c2^4 b^2 (b^2 - 1) + 4 c2^3 a b^2 (b - 1) 483s + 2 c2^2 a b (3 a b - 2 a - 2 b + 1) 483s + 4 c2 a^2 b (a - 1) + a^2 (a^2 - 1) <= 0 483s /\ 483s [ 483s c2^2 ( 8 a^2 b^2 - 12 a^2 b + 5 a^2 - 8 a b^3 + 8 a b^2 483s + 2 a b - 4 a + 4 b^4 - 4 b^3 - 3 b^2 + 4 b ) 483s + 2 c2 ( 4 a^3 b - 2 a^3 - 4 a^2 b^2 - 2 a^2 b + a^2 483s + 4 a b^3 - 2 a b^2 + 2 a b - 2 b^3 + b^2 ) 483s + 4 a^4 - 8 a^3 b - 4 a^3 + 8 a^2 b^2 + 8 a^2 b - 3 a^2 483s - 12 a b^2 + 2 a b + 4 a + 5 b^2 - 4 b <= 0 483s \/ 483s 2 c2^4 b ( 3 a^2 b - 2 a^2 - 2 a b^2 + a + b^3 - b) 483s + 4 c2^3 a b ( a^2 - a + b^2 - b) 483s + 2 c2^2 a ( a^3 - 2 a^2b + 3 a b^2 - a - 2 b^2 + b ) <= 0 483s ] 483s ] 483s ]. 483s 483s ======================================================= 483s 483s Before Normalization > 483s finish 483s 483s An equivalent quantifier-free formula: 483s 483s TRUE 483s 483s 483s ===================== The End ======================= 483s 483s ----------------------------------------------------------------------------- 483s 3 Garbage collections, 1428683 Cells and 0 Arrays reclaimed, in 23 milliseconds. 483s 121027 Cells in AVAIL, 500000 Cells in SPACE. 483s 483s System time: 202 milliseconds. 483s System time after the initialization: 198 milliseconds. 483s ----------------------------------------------------------------------------- 483s ======================================================= 483s CAD2D - A Program for producing CADs of R^2 483s 483s Based on QEPCAD Version B 1.74, Feb 25 2021, by Hoon Hong 483s with contributions by: Christopher W. Brown, George E. 483s Collins, Mark J. Encarnacion, Jeremy R. Johnson 483s Werner Krandick, Richard Liska, Scott McCallum, 483s Nicolas Robiduex, and Stanly Steinberg 483s ======================================================= 483s Enter an informal description between '[' and ']': 483s [ An interesting CAD of R^2 to plot ]Enter a variable list: 483s (x,y)Enter the number of free variables: 483s 2 483s Enter a prenex formula: 483s [ (x^2 + y^2)^4 - 7 x^6 y + 35 x^4 y^3 - 21 x^2 y^5 + 483s y^7 <= 0 /\ 2 y < x^2 + 1 ]. 483s 483s ======================================================= 490s 490s Before Solution > 491s p-2d-cad 491s Before Solution > 491s quit 491s Quitting the QEPCAD system... Bye! 491s autopkgtest [02:59:58]: test command1: -----------------------] 492s command1 PASS 492s autopkgtest [02:59:59]: test command1: - - - - - - - - - - results - - - - - - - - - - 492s autopkgtest [02:59:59]: @@@@@@@@@@@@@@@@@@@@ summary 492s command1 PASS 512s Creating nova instance adt-noble-arm64-qepcad-20240325-025147-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-arm64-server-20240324.img (UUID 86f9118c-691d-4fd3-ac71-bf5396ee0d8a)...