0s autopkgtest [15:02:01]: starting date and time: 2025-03-15 15:02:01+0000 0s autopkgtest [15:02:01]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [15:02:01]: host juju-7f2275-prod-proposed-migration-environment-20; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.pr4q24k3/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:glibc --apt-upgrade qepcad --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=glibc/2.41-1ubuntu2 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-20@bos03-arm64-26.secgroup --name adt-plucky-arm64-qepcad-20250315-150201-juju-7f2275-prod-proposed-migration-environment-20-cccf72e7-173a-4bf2-bb2e-4d1420e973d0 --image adt/ubuntu-plucky-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-20 --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,keyserver.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com,radosgw.ps5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 196s autopkgtest [15:05:17]: testbed dpkg architecture: arm64 196s autopkgtest [15:05:17]: testbed apt version: 2.9.33 197s autopkgtest [15:05:18]: @@@@@@@@@@@@@@@@@@@@ test bed setup 197s autopkgtest [15:05:18]: testbed release detected to be: None 198s autopkgtest [15:05:19]: updating testbed package index (apt update) 198s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 198s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 198s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 199s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 199s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB] 199s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [404 kB] 199s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [101 kB] 199s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 Packages [78.2 kB] 199s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 c-n-f Metadata [1976 B] 199s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted arm64 c-n-f Metadata [116 B] 199s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 Packages [346 kB] 200s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe arm64 c-n-f Metadata [15.8 kB] 200s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 Packages [4948 B] 200s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse arm64 c-n-f Metadata [572 B] 200s Fetched 1094 kB in 2s (591 kB/s) 201s Reading package lists... 201s Reading package lists... 202s Building dependency tree... 202s Reading state information... 202s Calculating upgrade... 202s Calculating upgrade... 203s The following packages will be upgraded: 203s python3-jinja2 strace 203s 2 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 203s Need to get 608 kB of archives. 203s After this operation, 11.3 kB of additional disk space will be used. 203s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 strace arm64 6.13+ds-1ubuntu1 [499 kB] 204s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 204s Fetched 608 kB in 1s (544 kB/s) 205s (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 ... 117701 files and directories currently installed.) 205s Preparing to unpack .../strace_6.13+ds-1ubuntu1_arm64.deb ... 205s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 205s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 205s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 205s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 205s Setting up strace (6.13+ds-1ubuntu1) ... 205s Processing triggers for man-db (2.13.0-1) ... 206s Reading package lists... 206s Building dependency tree... 206s Reading state information... 206s Solving dependencies... 207s The following packages will be REMOVED: 207s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 207s libunwind8* linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 207s linux-image-6.11.0-8-generic* linux-modules-6.11.0-8-generic* 207s linux-tools-6.11.0-8* linux-tools-6.11.0-8-generic* 207s 0 upgraded, 0 newly installed, 11 to remove and 5 not upgraded. 207s After this operation, 267 MB disk space will be freed. 207s (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 ... 117701 files and directories currently installed.) 207s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 207s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 207s Removing libpython3.12t64:arm64 (3.12.9-1) ... 207s Removing libpython3.12-stdlib:arm64 (3.12.9-1) ... 207s Removing libnsl2:arm64 (1.3.0-3build3) ... 207s Removing libpython3.12-minimal:arm64 (3.12.9-1) ... 207s Removing libunwind8:arm64 (1.6.2-3.1) ... 207s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 208s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 209s Removing linux-image-6.11.0-8-generic (6.11.0-8.8) ... 210s I: /boot/vmlinuz.old is now a symlink to vmlinuz-6.14.0-10-generic 210s I: /boot/initrd.img.old is now a symlink to initrd.img-6.14.0-10-generic 210s /etc/kernel/postrm.d/initramfs-tools: 210s update-initramfs: Deleting /boot/initrd.img-6.11.0-8-generic 210s /etc/kernel/postrm.d/zz-flash-kernel: 210s flash-kernel: Kernel 6.11.0-8-generic has been removed. 210s flash-kernel: A higher version (6.14.0-10-generic) is still installed, no reflashing required. 210s /etc/kernel/postrm.d/zz-update-grub: 210s Sourcing file `/etc/default/grub' 210s Sourcing file `/etc/default/grub.d/50-cloudimg-settings.cfg' 210s Generating grub configuration file ... 210s Found linux image: /boot/vmlinuz-6.14.0-10-generic 210s Found initrd image: /boot/initrd.img-6.14.0-10-generic 211s Warning: os-prober will not be executed to detect other bootable partitions. 211s Systems on them will not be added to the GRUB boot configuration. 211s Check GRUB_DISABLE_OS_PROBER documentation entry. 211s Adding boot menu entry for UEFI Firmware Settings ... 211s done 211s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 211s Processing triggers for libc-bin (2.41-1ubuntu1) ... 211s (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 ... 81650 files and directories currently installed.) 211s Purging configuration files for linux-image-6.11.0-8-generic (6.11.0-8.8) ... 211s Purging configuration files for libpython3.12-minimal:arm64 (3.12.9-1) ... 211s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 211s autopkgtest [15:05:32]: upgrading testbed (apt dist-upgrade and autopurge) 212s Reading package lists... 212s Building dependency tree... 212s Reading state information... 212s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 213s Starting 2 pkgProblemResolver with broken count: 0 213s Done 213s Entering ResolveByKeep 214s 214s Calculating upgrade... 214s The following packages will be upgraded: 214s libc-bin libc-dev-bin libc6 libc6-dev locales 214s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 214s Need to get 9530 kB of archives. 214s After this operation, 0 B of additional disk space will be used. 214s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6-dev arm64 2.41-1ubuntu2 [1750 kB] 216s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-dev-bin arm64 2.41-1ubuntu2 [24.0 kB] 217s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc6 arm64 2.41-1ubuntu2 [2910 kB] 220s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 libc-bin arm64 2.41-1ubuntu2 [600 kB] 221s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main arm64 locales all 2.41-1ubuntu2 [4246 kB] 226s Preconfiguring packages ... 226s Fetched 9530 kB in 12s (802 kB/s) 226s (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 ... 81647 files and directories currently installed.) 226s Preparing to unpack .../libc6-dev_2.41-1ubuntu2_arm64.deb ... 226s Unpacking libc6-dev:arm64 (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 227s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu2_arm64.deb ... 227s Unpacking libc-dev-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 227s Preparing to unpack .../libc6_2.41-1ubuntu2_arm64.deb ... 227s Unpacking libc6:arm64 (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 227s Setting up libc6:arm64 (2.41-1ubuntu2) ... 227s (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 ... 81647 files and directories currently installed.) 227s Preparing to unpack .../libc-bin_2.41-1ubuntu2_arm64.deb ... 227s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 227s Setting up libc-bin (2.41-1ubuntu2) ... 227s (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 ... 81647 files and directories currently installed.) 227s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 227s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 228s Setting up locales (2.41-1ubuntu2) ... 228s Generating locales (this might take a while)... 230s en_US.UTF-8... done 230s Generation complete. 230s Setting up libc-dev-bin (2.41-1ubuntu2) ... 230s Setting up libc6-dev:arm64 (2.41-1ubuntu2) ... 230s Processing triggers for man-db (2.13.0-1) ... 231s Processing triggers for systemd (257.3-1ubuntu3) ... 232s Reading package lists... 232s Building dependency tree... 232s Reading state information... 233s Starting pkgProblemResolver with broken count: 0 233s Starting 2 pkgProblemResolver with broken count: 0 233s Done 233s Solving dependencies... 234s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 234s autopkgtest [15:05:55]: rebooting testbed after setup commands that affected boot 257s autopkgtest [15:06:18]: testbed running kernel: Linux 6.14.0-10-generic #10-Ubuntu SMP PREEMPT_DYNAMIC Wed Mar 12 15:45:31 UTC 2025 259s autopkgtest [15:06:20]: @@@@@@@@@@@@@@@@@@@@ apt-source qepcad 262s Get:1 http://ftpmaster.internal/ubuntu plucky/universe qepcad 1.74+ds-5 (dsc) [2016 B] 262s Get:2 http://ftpmaster.internal/ubuntu plucky/universe qepcad 1.74+ds-5 (tar) [255 kB] 262s Get:3 http://ftpmaster.internal/ubuntu plucky/universe qepcad 1.74+ds-5 (diff) [27.0 kB] 262s gpgv: Signature made Sun Aug 18 00:52:41 2024 UTC 262s gpgv: using RSA key BA9821C12E07894FB2E4AD0091DC4A779EC5C910 262s gpgv: issuer "dtorrance@debian.org" 262s gpgv: Can't check signature: No public key 262s dpkg-source: warning: cannot verify inline signature for ./qepcad_1.74+ds-5.dsc: no acceptable signature found 262s autopkgtest [15:06:23]: testing package qepcad version 1.74+ds-5 263s autopkgtest [15:06:24]: build not needed 264s autopkgtest [15:06:25]: test command1: preparing testbed 264s Reading package lists... 264s Building dependency tree... 264s Reading state information... 264s Starting pkgProblemResolver with broken count: 0 264s Starting 2 pkgProblemResolver with broken count: 0 264s Done 265s The following NEW packages will be installed: 265s libcdd0t64 libflint19 libgbm1 libgf2x3 libgl1 libgl1-mesa-dri libglu1-mesa 265s libglut3.12 libglvnd0 libglx-mesa0 libglx0 libgmp-dev libgmpxx4ldbl libntl44 265s libopengl0 libsingular4m4n1 libvulkan1 libwayland-server0 libx11-xcb1 265s libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-randr0 libxcb-shm0 265s libxcb-sync1 libxcb-xfixes0 libxi6 libxshmfence1 libxxf86vm1 mesa-libgallium 265s qepcad singular singular-data singular-modules singular-ui 265s 0 upgraded, 35 newly installed, 0 to remove and 0 not upgraded. 265s Need to get 25.5 MB of archives. 265s After this operation, 89.3 MB of additional disk space will be used. 265s Get:1 http://ftpmaster.internal/ubuntu plucky/main arm64 libgmpxx4ldbl arm64 2:6.3.0+dfsg-3ubuntu1 [10.1 kB] 265s Get:2 http://ftpmaster.internal/ubuntu plucky/main arm64 libgmp-dev arm64 2:6.3.0+dfsg-3ubuntu1 [335 kB] 266s Get:3 http://ftpmaster.internal/ubuntu plucky/universe arm64 libcdd0t64 arm64 094m-1.1build1 [113 kB] 266s Get:4 http://ftpmaster.internal/ubuntu plucky/universe arm64 libflint19 arm64 3.1.3-2 [4013 kB] 271s Get:5 http://ftpmaster.internal/ubuntu plucky/main arm64 libwayland-server0 arm64 1.23.1-3 [36.1 kB] 271s Get:6 http://ftpmaster.internal/ubuntu plucky/main arm64 libx11-xcb1 arm64 2:1.8.10-2 [8020 B] 271s Get:7 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-dri3-0 arm64 1.17.0-2 [7606 B] 271s Get:8 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-present0 arm64 1.17.0-2 [6224 B] 271s Get:9 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-randr0 arm64 1.17.0-2 [18.5 kB] 271s Get:10 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-sync1 arm64 1.17.0-2 [9688 B] 271s Get:11 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-xfixes0 arm64 1.17.0-2 [10.6 kB] 271s Get:12 http://ftpmaster.internal/ubuntu plucky/main arm64 libxshmfence1 arm64 1.3-1build5 [4938 B] 271s Get:13 http://ftpmaster.internal/ubuntu plucky/main arm64 mesa-libgallium arm64 25.0.1-2ubuntu1 [9450 kB] 284s Get:14 http://ftpmaster.internal/ubuntu plucky/main arm64 libgbm1 arm64 25.0.1-2ubuntu1 [33.7 kB] 284s Get:15 http://ftpmaster.internal/ubuntu plucky/universe arm64 libgf2x3 arm64 1.3.0-3 [28.3 kB] 284s Get:16 http://ftpmaster.internal/ubuntu plucky/main arm64 libvulkan1 arm64 1.4.304.0-1 [158 kB] 284s Get:17 http://ftpmaster.internal/ubuntu plucky/main arm64 libgl1-mesa-dri arm64 25.0.1-2ubuntu1 [34.5 kB] 285s Get:18 http://ftpmaster.internal/ubuntu plucky/main arm64 libglvnd0 arm64 1.7.0-1build1 [60.6 kB] 285s Get:19 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-glx0 arm64 1.17.0-2 [25.5 kB] 285s Get:20 http://ftpmaster.internal/ubuntu plucky/main arm64 libxcb-shm0 arm64 1.17.0-2 [5884 B] 285s Get:21 http://ftpmaster.internal/ubuntu plucky/main arm64 libxxf86vm1 arm64 1:1.1.4-1build4 [9130 B] 285s Get:22 http://ftpmaster.internal/ubuntu plucky/main arm64 libglx-mesa0 arm64 25.0.1-2ubuntu1 [151 kB] 285s Get:23 http://ftpmaster.internal/ubuntu plucky/main arm64 libglx0 arm64 1.7.0-1build1 [33.2 kB] 285s Get:24 http://ftpmaster.internal/ubuntu plucky/main arm64 libgl1 arm64 1.7.0-1build1 [106 kB] 285s Get:25 http://ftpmaster.internal/ubuntu plucky/main arm64 libxi6 arm64 2:1.8.2-1 [32.4 kB] 285s Get:26 http://ftpmaster.internal/ubuntu plucky/universe arm64 libglut3.12 arm64 3.4.0-4 [97.1 kB] 285s Get:27 http://ftpmaster.internal/ubuntu plucky/universe arm64 libntl44 arm64 11.5.1-1 [776 kB] 287s Get:28 http://ftpmaster.internal/ubuntu plucky/universe arm64 libsingular4m4n1 arm64 1:4.4.1+ds-2 [3275 kB] 292s Get:29 http://ftpmaster.internal/ubuntu plucky/universe arm64 singular-data all 1:4.4.1+ds-2 [4886 kB] 300s Get:30 http://ftpmaster.internal/ubuntu plucky/universe arm64 singular-ui arm64 1:4.4.1+ds-2 [11.3 kB] 300s Get:31 http://ftpmaster.internal/ubuntu plucky/universe arm64 singular-modules arm64 1:4.4.1+ds-2 [1088 kB] 302s Get:32 http://ftpmaster.internal/ubuntu plucky/universe arm64 singular arm64 1:4.4.1+ds-2 [4990 B] 302s Get:33 http://ftpmaster.internal/ubuntu plucky/main arm64 libopengl0 arm64 1.7.0-1build1 [35.1 kB] 302s Get:34 http://ftpmaster.internal/ubuntu plucky/main arm64 libglu1-mesa arm64 9.0.2-1.1build1 [139 kB] 302s Get:35 http://ftpmaster.internal/ubuntu plucky/universe arm64 qepcad arm64 1.74+ds-5 [479 kB] 304s Fetched 25.5 MB in 38s (670 kB/s) 304s Selecting previously unselected package libgmpxx4ldbl:arm64. 304s (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 ... 81647 files and directories currently installed.) 304s Preparing to unpack .../00-libgmpxx4ldbl_2%3a6.3.0+dfsg-3ubuntu1_arm64.deb ... 304s Unpacking libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-3ubuntu1) ... 304s Selecting previously unselected package libgmp-dev:arm64. 304s Preparing to unpack .../01-libgmp-dev_2%3a6.3.0+dfsg-3ubuntu1_arm64.deb ... 304s Unpacking libgmp-dev:arm64 (2:6.3.0+dfsg-3ubuntu1) ... 304s Selecting previously unselected package libcdd0t64:arm64. 304s Preparing to unpack .../02-libcdd0t64_094m-1.1build1_arm64.deb ... 304s Unpacking libcdd0t64:arm64 (094m-1.1build1) ... 304s Selecting previously unselected package libflint19:arm64. 304s Preparing to unpack .../03-libflint19_3.1.3-2_arm64.deb ... 304s Unpacking libflint19:arm64 (3.1.3-2) ... 304s Selecting previously unselected package libwayland-server0:arm64. 304s Preparing to unpack .../04-libwayland-server0_1.23.1-3_arm64.deb ... 304s Unpacking libwayland-server0:arm64 (1.23.1-3) ... 304s Selecting previously unselected package libx11-xcb1:arm64. 304s Preparing to unpack .../05-libx11-xcb1_2%3a1.8.10-2_arm64.deb ... 304s Unpacking libx11-xcb1:arm64 (2:1.8.10-2) ... 304s Selecting previously unselected package libxcb-dri3-0:arm64. 304s Preparing to unpack .../06-libxcb-dri3-0_1.17.0-2_arm64.deb ... 304s Unpacking libxcb-dri3-0:arm64 (1.17.0-2) ... 304s Selecting previously unselected package libxcb-present0:arm64. 304s Preparing to unpack .../07-libxcb-present0_1.17.0-2_arm64.deb ... 304s Unpacking libxcb-present0:arm64 (1.17.0-2) ... 304s Selecting previously unselected package libxcb-randr0:arm64. 304s Preparing to unpack .../08-libxcb-randr0_1.17.0-2_arm64.deb ... 304s Unpacking libxcb-randr0:arm64 (1.17.0-2) ... 304s Selecting previously unselected package libxcb-sync1:arm64. 304s Preparing to unpack .../09-libxcb-sync1_1.17.0-2_arm64.deb ... 304s Unpacking libxcb-sync1:arm64 (1.17.0-2) ... 304s Selecting previously unselected package libxcb-xfixes0:arm64. 304s Preparing to unpack .../10-libxcb-xfixes0_1.17.0-2_arm64.deb ... 304s Unpacking libxcb-xfixes0:arm64 (1.17.0-2) ... 304s Selecting previously unselected package libxshmfence1:arm64. 304s Preparing to unpack .../11-libxshmfence1_1.3-1build5_arm64.deb ... 304s Unpacking libxshmfence1:arm64 (1.3-1build5) ... 304s Selecting previously unselected package mesa-libgallium:arm64. 304s Preparing to unpack .../12-mesa-libgallium_25.0.1-2ubuntu1_arm64.deb ... 304s Unpacking mesa-libgallium:arm64 (25.0.1-2ubuntu1) ... 305s Selecting previously unselected package libgbm1:arm64. 305s Preparing to unpack .../13-libgbm1_25.0.1-2ubuntu1_arm64.deb ... 305s Unpacking libgbm1:arm64 (25.0.1-2ubuntu1) ... 305s Selecting previously unselected package libgf2x3:arm64. 305s Preparing to unpack .../14-libgf2x3_1.3.0-3_arm64.deb ... 305s Unpacking libgf2x3:arm64 (1.3.0-3) ... 305s Selecting previously unselected package libvulkan1:arm64. 305s Preparing to unpack .../15-libvulkan1_1.4.304.0-1_arm64.deb ... 305s Unpacking libvulkan1:arm64 (1.4.304.0-1) ... 305s Selecting previously unselected package libgl1-mesa-dri:arm64. 305s Preparing to unpack .../16-libgl1-mesa-dri_25.0.1-2ubuntu1_arm64.deb ... 305s Unpacking libgl1-mesa-dri:arm64 (25.0.1-2ubuntu1) ... 305s Selecting previously unselected package libglvnd0:arm64. 305s Preparing to unpack .../17-libglvnd0_1.7.0-1build1_arm64.deb ... 305s Unpacking libglvnd0:arm64 (1.7.0-1build1) ... 305s Selecting previously unselected package libxcb-glx0:arm64. 305s Preparing to unpack .../18-libxcb-glx0_1.17.0-2_arm64.deb ... 305s Unpacking libxcb-glx0:arm64 (1.17.0-2) ... 305s Selecting previously unselected package libxcb-shm0:arm64. 305s Preparing to unpack .../19-libxcb-shm0_1.17.0-2_arm64.deb ... 305s Unpacking libxcb-shm0:arm64 (1.17.0-2) ... 305s Selecting previously unselected package libxxf86vm1:arm64. 305s Preparing to unpack .../20-libxxf86vm1_1%3a1.1.4-1build4_arm64.deb ... 305s Unpacking libxxf86vm1:arm64 (1:1.1.4-1build4) ... 305s Selecting previously unselected package libglx-mesa0:arm64. 305s Preparing to unpack .../21-libglx-mesa0_25.0.1-2ubuntu1_arm64.deb ... 305s Unpacking libglx-mesa0:arm64 (25.0.1-2ubuntu1) ... 305s Selecting previously unselected package libglx0:arm64. 305s Preparing to unpack .../22-libglx0_1.7.0-1build1_arm64.deb ... 305s Unpacking libglx0:arm64 (1.7.0-1build1) ... 305s Selecting previously unselected package libgl1:arm64. 305s Preparing to unpack .../23-libgl1_1.7.0-1build1_arm64.deb ... 305s Unpacking libgl1:arm64 (1.7.0-1build1) ... 305s Selecting previously unselected package libxi6:arm64. 305s Preparing to unpack .../24-libxi6_2%3a1.8.2-1_arm64.deb ... 305s Unpacking libxi6:arm64 (2:1.8.2-1) ... 305s Selecting previously unselected package libglut3.12:arm64. 305s Preparing to unpack .../25-libglut3.12_3.4.0-4_arm64.deb ... 305s Unpacking libglut3.12:arm64 (3.4.0-4) ... 305s Selecting previously unselected package libntl44:arm64. 307s Preparing to unpack .../26-libntl44_11.5.1-1_arm64.deb ... 307s Unpacking libntl44:arm64 (11.5.1-1) ... 307s Selecting previously unselected package libsingular4m4n1:arm64. 307s Preparing to unpack .../27-libsingular4m4n1_1%3a4.4.1+ds-2_arm64.deb ... 307s Unpacking libsingular4m4n1:arm64 (1:4.4.1+ds-2) ... 307s Selecting previously unselected package singular-data. 307s Preparing to unpack .../28-singular-data_1%3a4.4.1+ds-2_all.deb ... 307s Unpacking singular-data (1:4.4.1+ds-2) ... 307s Selecting previously unselected package singular-ui. 307s Preparing to unpack .../29-singular-ui_1%3a4.4.1+ds-2_arm64.deb ... 307s Unpacking singular-ui (1:4.4.1+ds-2) ... 307s Selecting previously unselected package singular-modules:arm64. 307s Preparing to unpack .../30-singular-modules_1%3a4.4.1+ds-2_arm64.deb ... 307s Unpacking singular-modules:arm64 (1:4.4.1+ds-2) ... 307s Selecting previously unselected package singular:arm64. 307s Preparing to unpack .../31-singular_1%3a4.4.1+ds-2_arm64.deb ... 307s Unpacking singular:arm64 (1:4.4.1+ds-2) ... 307s Selecting previously unselected package libopengl0:arm64. 307s Preparing to unpack .../32-libopengl0_1.7.0-1build1_arm64.deb ... 307s Unpacking libopengl0:arm64 (1.7.0-1build1) ... 307s Selecting previously unselected package libglu1-mesa:arm64. 307s Preparing to unpack .../33-libglu1-mesa_9.0.2-1.1build1_arm64.deb ... 307s Unpacking libglu1-mesa:arm64 (9.0.2-1.1build1) ... 307s Selecting previously unselected package qepcad. 307s Preparing to unpack .../34-qepcad_1.74+ds-5_arm64.deb ... 307s Unpacking qepcad (1.74+ds-5) ... 307s Setting up libxcb-dri3-0:arm64 (1.17.0-2) ... 307s Setting up libwayland-server0:arm64 (1.23.1-3) ... 307s Setting up libx11-xcb1:arm64 (2:1.8.10-2) ... 307s Setting up libxcb-xfixes0:arm64 (1.17.0-2) ... 307s Setting up libxi6:arm64 (2:1.8.2-1) ... 307s Setting up libglvnd0:arm64 (1.7.0-1build1) ... 307s Setting up libgf2x3:arm64 (1.3.0-3) ... 307s Setting up libxcb-glx0:arm64 (1.17.0-2) ... 307s Setting up libxcb-shm0:arm64 (1.17.0-2) ... 307s Setting up libopengl0:arm64 (1.7.0-1build1) ... 307s Setting up libxxf86vm1:arm64 (1:1.1.4-1build4) ... 307s Setting up libxcb-present0:arm64 (1.17.0-2) ... 307s Setting up libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-3ubuntu1) ... 307s Setting up libxcb-sync1:arm64 (1.17.0-2) ... 307s Setting up singular-data (1:4.4.1+ds-2) ... 307s Setting up libvulkan1:arm64 (1.4.304.0-1) ... 307s Setting up libflint19:arm64 (3.1.3-2) ... 307s Setting up libntl44:arm64 (11.5.1-1) ... 307s Setting up libxshmfence1:arm64 (1.3-1build5) ... 307s Setting up libxcb-randr0:arm64 (1.17.0-2) ... 307s Setting up libglu1-mesa:arm64 (9.0.2-1.1build1) ... 307s Setting up mesa-libgallium:arm64 (25.0.1-2ubuntu1) ... 307s Setting up libgmp-dev:arm64 (2:6.3.0+dfsg-3ubuntu1) ... 307s Setting up libgbm1:arm64 (25.0.1-2ubuntu1) ... 307s Setting up libgl1-mesa-dri:arm64 (25.0.1-2ubuntu1) ... 307s Setting up libsingular4m4n1:arm64 (1:4.4.1+ds-2) ... 307s Setting up libcdd0t64:arm64 (094m-1.1build1) ... 307s Setting up singular-ui (1:4.4.1+ds-2) ... 307s Setting up libglx-mesa0:arm64 (25.0.1-2ubuntu1) ... 307s Setting up libglx0:arm64 (1.7.0-1build1) ... 307s Setting up singular-modules:arm64 (1:4.4.1+ds-2) ... 307s Setting up libgl1:arm64 (1.7.0-1build1) ... 307s Setting up singular:arm64 (1:4.4.1+ds-2) ... 307s Setting up libglut3.12:arm64 (3.4.0-4) ... 307s Setting up qepcad (1.74+ds-5) ... 307s Processing triggers for man-db (2.13.0-1) ... 307s Processing triggers for libc-bin (2.41-1ubuntu2) ... 307s autopkgtest [15:07:08]: 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 307s autopkgtest [15:07:08]: test command1: [----------------------- 308s ======================================================= 308s Quantifier Elimination 308s in 308s Elementary Algebra and Geometry 308s by 308s Partial Cylindrical Algebraic Decomposition 308s 308s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 308s 308s by 308s Hoon Hong 308s (hhong@math.ncsu.edu) 308s 308s With contributions by: Christopher W. Brown, George E. 308s Collins, Mark J. Encarnacion, Jeremy R. Johnson 308s Werner Krandick, Richard Liska, Scott McCallum, 308s Nicolas Robidoux, and Stanly Steinberg 308s ======================================================= 308s Enter an informal description between '[' and ']': 308s [ Computes the "not" of "is p positive semidefinite?" ]Enter a variable list: 308s (w,z,x,y)Enter the number of free variables: 308s 0 308s Enter a prenex formula: 308s (F w)(F z)(F x)(F y)[ 308s w^6 + 2 z^2 w^3 + x^4 + y^4 + z^4 + 2 x^2 w + 308s 2 x^2 z + 3 x^2 + w^2 + 2 z w + z^2 + 2 z + 2 w + 1 < 0 308s ]. 308s 308s ======================================================= 308s 308s Before Normalization > 308s finish 308s 308s An equivalent quantifier-free formula: 308s 308s FALSE 308s 308s 308s ===================== The End ======================= 308s 308s ----------------------------------------------------------------------------- 308s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 308s 364766 Cells in AVAIL, 500000 Cells in SPACE. 308s 308s System time: 4 milliseconds. 308s System time after the initialization: 4 milliseconds. 308s ----------------------------------------------------------------------------- 308s ======================================================= 308s Quantifier Elimination 308s in 308s Elementary Algebra and Geometry 308s by 308s Partial Cylindrical Algebraic Decomposition 308s 308s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 308s 308s by 308s Hoon Hong 308s (hhong@math.ncsu.edu) 308s 308s With contributions by: Christopher W. Brown, George E. 308s Collins, Mark J. Encarnacion, Jeremy R. Johnson 308s Werner Krandick, Richard Liska, Scott McCallum, 308s Nicolas Robidoux, and Stanly Steinberg 308s ======================================================= 308s Enter an informal description between '[' and ']': 308s [ Charaterizing triangles with external bisectors ]Enter a variable list: 308s (c,b,a)Enter the number of free variables: 308s 3 308s Enter a prenex formula: 308s [ 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)) ]. 308s 308s ======================================================= 308s 308s Before Normalization > 308s assume [ a > 0 /\ b > 0 /\ c > 0 /\ a < b + c /\ b < a + c /\ c < a + b ] 308s Before Normalization > 308s finish 308s 308s An equivalent quantifier-free formula: 308s 308s a - c < 0 308s 308s 308s ===================== The End ======================= 308s 308s ----------------------------------------------------------------------------- 308s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 308s 456295 Cells in AVAIL, 500000 Cells in SPACE. 308s 308s System time: 5 milliseconds. 308s System time after the initialization: 2 milliseconds. 308s ----------------------------------------------------------------------------- 308s ======================================================= 308s Quantifier Elimination 308s in 308s Elementary Algebra and Geometry 308s by 308s Partial Cylindrical Algebraic Decomposition 308s 308s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 308s 308s by 308s Hoon Hong 308s (hhong@math.ncsu.edu) 308s 308s With contributions by: Christopher W. Brown, George E. 308s Collins, Mark J. Encarnacion, Jeremy R. Johnson 308s Werner Krandick, Richard Liska, Scott McCallum, 308s Nicolas Robidoux, and Stanly Steinberg 308s ======================================================= 308s Enter an informal description between '[' and ']': 308s [ Anai's Problem ]Enter a variable list: 308s (s,z)Enter the number of free variables: 308s 2 308s Enter a prenex formula: 308s [ 308s [s z + s - 1 >= 0 /\ s = 0 /\ z + 1 >= 0] 308s \/ [s z + s >= 0 /\ s = 0 /\ z = 0] \/ 308s [s^2 + 4 s z >= 0 /\ [[ 308s s^2 - 2 s <= 0 /\ s z + s - 1 <= 0 /\ s = 0 /\ [ 308s s^2 + 3 s z - s - 2 z <= 0 308s \/ [s + z - 1 <= 0 /\ [s z + s - 1 = 0 \/ 308s z = 0]]] /\ [s + 2 z >= 0 \/ z = 0]] \/ 308s [s^2 - 2 s <= 0 /\ s + 2 z >= 0 /\ s = 0 /\ [ 308s [s^2 + 3 s z - s - 2 z <= 0 /\ [s z + s - 1 <= 0 308s \/ z = 0]] \/ [s + z - 1 >= 0 /\ 308s [s z + s - 1 >= 0 \/ z = 0]]]]]] \/ 308s [s = 0 /\ z >= 0] 308s ]. 308s 308s ======================================================= 308s 308s Before Normalization > 308s finish 308s 308s An equivalent quantifier-free formula: 308s 308s s = 0 /\ z >= 0 308s 308s 308s ===================== The End ======================= 308s 308s ----------------------------------------------------------------------------- 308s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 308s 475605 Cells in AVAIL, 500000 Cells in SPACE. 308s 308s System time: 5 milliseconds. 308s System time after the initialization: 2 milliseconds. 308s ----------------------------------------------------------------------------- 308s ======================================================= 308s Quantifier Elimination 308s in 308s Elementary Algebra and Geometry 308s by 308s Partial Cylindrical Algebraic Decomposition 308s 308s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 308s 308s by 308s Hoon Hong 308s (hhong@math.ncsu.edu) 308s 308s With contributions by: Christopher W. Brown, George E. 308s Collins, Mark J. Encarnacion, Jeremy R. Johnson 308s Werner Krandick, Richard Liska, Scott McCallum, 308s Nicolas Robidoux, and Stanly Steinberg 308s ======================================================= 308s Enter an informal description between '[' and ']': 308s [ 308s Edge-square product problem with equational constaints 308s ]Enter a variable list: 308s (x,y,x1,x2)Enter the number of free variables: 308s 2 308s Enter a prenex formula: 308s (E x1)(E x2)[ 308s y = x1 (x1 x2 - x) + x2 /\ 308s 0 <= x1 /\ x1 <= 2 /\ 308s 2 <= x2 /\ x2 <= 4 /\ 308s -1 <= (x1 x2 - x) /\ (x1 x2 - x) <= 1 308s ]. 308s 308s ======================================================= 308s 308s Before Normalization > 308s prop-eqn-const 308s 308s Before Normalization > 308s go 308s 308s Before Projection (x2) > 308s d-level-f 4 308s A_4,1 = input 308s = x1^2 x2 + x2 - x x1 - y 308s A_4,2 = input 308s = x2 - 2 308s A_4,3 = input 308s = x2 - 4 308s A_4,4 = input 308s = x1 x2 - x + 1 308s A_4,5 = input 308s = x1 x2 - x - 1 308s 308s 308s Before Projection (x2) > 308s eqn-const-l (A_4,1) 308s Before Projection (x2) > 308s finish 310s 310s An equivalent quantifier-free formula: 310s 310s 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 ] ] 310s 310s 310s ===================== The End ======================= 310s 310s ----------------------------------------------------------------------------- 310s 128 Garbage collections, 51910164 Cells and 51 Arrays reclaimed, in 512 milliseconds. 310s 86060 Cells in AVAIL, 500000 Cells in SPACE. 310s 310s System time: 1951 milliseconds. 310s System time after the initialization: 1947 milliseconds. 310s ----------------------------------------------------------------------------- 310s ======================================================= 310s Quantifier Elimination 310s in 310s Elementary Algebra and Geometry 310s by 310s Partial Cylindrical Algebraic Decomposition 310s 310s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 310s 310s by 310s Hoon Hong 310s (hhong@math.ncsu.edu) 310s 310s With contributions by: Christopher W. Brown, George E. 310s Collins, Mark J. Encarnacion, Jeremy R. Johnson 310s Werner Krandick, Richard Liska, Scott McCallum, 310s Nicolas Robidoux, and Stanly Steinberg 310s ======================================================= 310s Enter an informal description between '[' and ']': 310s [ The positive-definite quartic problem ]Enter a variable list: 310s (a,b,c,d,x)Enter the number of free variables: 310s 4 310s Enter a prenex formula: 310s (Ax)[ x^4 + a x^3 + b x^2 + c x + d > 0 ]. 310s 310s ======================================================= 310s 310s Before Normalization > 310s go 310s 310s Before Projection (x) > 310s go 310s 310s Before Choice > 310s go 310s 310s Before Solution > 310s pdq 310s CAD is not projection definable. 310s 310s Before Solution > 310s sol E 310s An equivalent quantifier-free formula: 310s 310s 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 ] 310s 310s 310s Before Solution > 310s sol T 310s An equivalent quantifier-free formula: 310s 310s 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 ] ] 310s 310s 310s Before Solution > 310s quit 310s Quitting the QEPCAD system... Bye! 310s ======================================================= 310s Quantifier Elimination 310s in 310s Elementary Algebra and Geometry 310s by 310s Partial Cylindrical Algebraic Decomposition 310s 310s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 310s 310s by 310s Hoon Hong 310s (hhong@math.ncsu.edu) 310s 310s With contributions by: Christopher W. Brown, George E. 310s Collins, Mark J. Encarnacion, Jeremy R. Johnson 310s Werner Krandick, Richard Liska, Scott McCallum, 310s Nicolas Robidoux, and Stanly Steinberg 310s ======================================================= 310s Enter an informal description between '[' and ']': 310s [ Example 5.14 from Hong, Liska, Steinberg, 310s "Testing Stability by Quantifier Elimination" 310s Journal of Symbolic Computation, Vol. 24, No. 2, 310s August 1997. The "G" quatifier means "for all but 310s finitely many". ]Enter a variable list: 310s (a,b,c2)Enter the number of free variables: 310s 0 310s Enter a prenex formula: 310s (G a)(G b)(G c2)[ 310s [ 0 <= a /\ a <= 1 /\ 0 <= b /\ b <= 1 ] 310s ==> 310s [ 310s c2^4 (a - b + 1) ( a - b - 1) (a - b)^2 <= 0 310s /\ 310s c2^4 b^2 (b^2 - 1) + 4 c2^3 a b^2 (b - 1) 310s + 2 c2^2 a b (3 a b - 2 a - 2 b + 1) 310s + 4 c2 a^2 b (a - 1) + a^2 (a^2 - 1) <= 0 310s /\ 310s [ 310s c2^2 ( 8 a^2 b^2 - 12 a^2 b + 5 a^2 - 8 a b^3 + 8 a b^2 310s + 2 a b - 4 a + 4 b^4 - 4 b^3 - 3 b^2 + 4 b ) 310s + 2 c2 ( 4 a^3 b - 2 a^3 - 4 a^2 b^2 - 2 a^2 b + a^2 310s + 4 a b^3 - 2 a b^2 + 2 a b - 2 b^3 + b^2 ) 310s + 4 a^4 - 8 a^3 b - 4 a^3 + 8 a^2 b^2 + 8 a^2 b - 3 a^2 310s - 12 a b^2 + 2 a b + 4 a + 5 b^2 - 4 b <= 0 310s \/ 310s 2 c2^4 b ( 3 a^2 b - 2 a^2 - 2 a b^2 + a + b^3 - b) 310s + 4 c2^3 a b ( a^2 - a + b^2 - b) 310s + 2 c2^2 a ( a^3 - 2 a^2b + 3 a b^2 - a - 2 b^2 + b ) <= 0 310s ] 310s ] 310s ]. 310s 310s ======================================================= 310s 310s Before Normalization > 310s finish 310s 310s An equivalent quantifier-free formula: 310s 310s TRUE 310s 310s 310s ===================== The End ======================= 310s 310s ----------------------------------------------------------------------------- 310s 3 Garbage collections, 1429868 Cells and 0 Arrays reclaimed, in 10 milliseconds. 310s 122212 Cells in AVAIL, 500000 Cells in SPACE. 310s 310s System time: 75 milliseconds. 310s System time after the initialization: 72 milliseconds. 310s ----------------------------------------------------------------------------- 310s ======================================================= 310s CAD2D - A Program for producing CADs of R^2 310s 310s Based on QEPCAD Version B 1.74, Feb 25 2021, by Hoon Hong 310s with contributions by: Christopher W. Brown, George E. 310s Collins, Mark J. Encarnacion, Jeremy R. Johnson 310s Werner Krandick, Richard Liska, Scott McCallum, 310s Nicolas Robiduex, and Stanly Steinberg 310s ======================================================= 310s Enter an informal description between '[' and ']': 310s [ An interesting CAD of R^2 to plot ]Enter a variable list: 310s (x,y)Enter the number of free variables: 310s 2 310s Enter a prenex formula: 310s [ (x^2 + y^2)^4 - 7 x^6 y + 35 x^4 y^3 - 21 x^2 y^5 + 310s y^7 <= 0 /\ 2 y < x^2 + 1 ]. 310s 310s ======================================================= 314s 314s Before Solution > 314s p-2d-cad 314s Before Solution > 314s quit 314s Quitting the QEPCAD system... Bye! 314s autopkgtest [15:07:15]: test command1: -----------------------] 315s autopkgtest [15:07:16]: test command1: - - - - - - - - - - results - - - - - - - - - - 315s command1 PASS 315s autopkgtest [15:07:16]: @@@@@@@@@@@@@@@@@@@@ summary 315s command1 PASS 322s nova [W] Using flock in prodstack6-arm64 322s Creating nova instance adt-plucky-arm64-qepcad-20250315-150201-juju-7f2275-prod-proposed-migration-environment-20-cccf72e7-173a-4bf2-bb2e-4d1420e973d0 from image adt/ubuntu-plucky-arm64-server-20250315.img (UUID bd6e766c-b51f-4b53-86d6-23aa4d18f524)... 322s nova [W] Timed out waiting for 7b25fd5e-4c18-4500-b4a7-e886c10ffb0a to get deleted.