0s autopkgtest [17:37:58]: starting date and time: 2025-03-15 17:37:58+0000 0s autopkgtest [17:37:58]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [17:37:58]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.a1yhz0kc/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-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@bos03-s390x-2.secgroup --name adt-plucky-s390x-qepcad-20250315-173758-juju-7f2275-prod-proposed-migration-environment-15-ca02bb8e-50b5-42d2-8dfd-c4fb716fc0f4 --image adt/ubuntu-plucky-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-proposed-migration-s390x -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/ 145s autopkgtest [17:40:23]: testbed dpkg architecture: s390x 145s autopkgtest [17:40:23]: testbed apt version: 2.9.33 145s autopkgtest [17:40:23]: @@@@@@@@@@@@@@@@@@@@ test bed setup 146s autopkgtest [17:40:24]: testbed release detected to be: None 146s autopkgtest [17:40:24]: updating testbed package index (apt update) 147s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 147s Hit:2 http://ftpmaster.internal/ubuntu plucky InRelease 147s Hit:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease 147s Hit:4 http://ftpmaster.internal/ubuntu plucky-security InRelease 147s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [379 kB] 148s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [99.7 kB] 148s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [15.8 kB] 148s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x Packages [113 kB] 148s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x c-n-f Metadata [1824 B] 148s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted s390x c-n-f Metadata [116 B] 148s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x Packages [320 kB] 148s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe s390x c-n-f Metadata [13.4 kB] 148s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x Packages [3776 B] 148s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse s390x c-n-f Metadata [240 B] 148s Fetched 1073 kB in 1s (730 kB/s) 149s Reading package lists... 149s + lsb_release --codename --short 149s + RELEASE=plucky 149s + cat 149s + [ plucky != trusty ] 149s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y --allow-downgrades -o Dpkg::Options::=--force-confnew dist-upgrade 150s Reading package lists... 150s Building dependency tree... 150s Reading state information... 150s Calculating upgrade... 150s Calculating upgrade... 150s The following packages were automatically installed and are no longer required: 150s libnsl2 libpython3.12-minimal libpython3.12-stdlib libpython3.12t64 150s linux-headers-6.11.0-8 linux-headers-6.11.0-8-generic 150s linux-modules-6.11.0-8-generic linux-tools-6.11.0-8 150s linux-tools-6.11.0-8-generic 150s Use 'sudo apt autoremove' to remove them. 150s The following packages will be upgraded: 150s pinentry-curses python3-jinja2 strace 150s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 150s Need to get 652 kB of archives. 150s After this operation, 27.6 kB of additional disk space will be used. 150s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x strace s390x 6.13+ds-1ubuntu1 [500 kB] 151s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x pinentry-curses s390x 1.3.1-2ubuntu3 [42.9 kB] 151s Get:3 http://ftpmaster.internal/ubuntu plucky/main s390x python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 151s Fetched 652 kB in 1s (800 kB/s) 151s (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 ... 81428 files and directories currently installed.) 151s Preparing to unpack .../strace_6.13+ds-1ubuntu1_s390x.deb ... 151s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 151s Preparing to unpack .../pinentry-curses_1.3.1-2ubuntu3_s390x.deb ... 151s Unpacking pinentry-curses (1.3.1-2ubuntu3) over (1.3.1-2ubuntu2) ... 151s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 151s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 151s Setting up pinentry-curses (1.3.1-2ubuntu3) ... 151s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 152s Setting up strace (6.13+ds-1ubuntu1) ... 152s Processing triggers for man-db (2.13.0-1) ... 152s + rm /etc/apt/preferences.d/force-downgrade-to-release.pref 152s + /usr/lib/apt/apt-helper analyze-pattern ?true 152s + uname -r 152s + sed s/\./\\./g 152s + running_kernel_pattern=^linux-.*6\.14\.0-10-generic.* 152s + apt list ?obsolete 152s + tail -n+2 152s + cut+ -d/grep -v ^linux-.*6\.14\.0-10-generic.* 152s -f1 152s + obsolete_pkgs=linux-headers-6.11.0-8-generic 152s linux-headers-6.11.0-8 152s linux-modules-6.11.0-8-generic 152s linux-tools-6.11.0-8-generic 152s linux-tools-6.11.0-8 152s + DEBIAN_FRONTEND=noninteractive eatmydata apt-get -y purge --autoremove linux-headers-6.11.0-8-generic linux-headers-6.11.0-8 linux-modules-6.11.0-8-generic linux-tools-6.11.0-8-generic linux-tools-6.11.0-8 152s Reading package lists... 152s Building dependency tree... 152s Reading state information... 153s Solving dependencies... 153s The following packages will be REMOVED: 153s libnsl2* libpython3.12-minimal* libpython3.12-stdlib* libpython3.12t64* 153s linux-headers-6.11.0-8* linux-headers-6.11.0-8-generic* 153s linux-modules-6.11.0-8-generic* linux-tools-6.11.0-8* 153s linux-tools-6.11.0-8-generic* 153s 0 upgraded, 0 newly installed, 9 to remove and 5 not upgraded. 153s After this operation, 167 MB disk space will be freed. 153s (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 ... 81428 files and directories currently installed.) 153s Removing linux-tools-6.11.0-8-generic (6.11.0-8.8) ... 153s Removing linux-tools-6.11.0-8 (6.11.0-8.8) ... 153s Removing libpython3.12t64:s390x (3.12.9-1) ... 153s Removing libpython3.12-stdlib:s390x (3.12.9-1) ... 153s Removing libnsl2:s390x (1.3.0-3build3) ... 153s Removing libpython3.12-minimal:s390x (3.12.9-1) ... 153s Removing linux-headers-6.11.0-8-generic (6.11.0-8.8) ... 153s Removing linux-headers-6.11.0-8 (6.11.0-8.8) ... 154s Removing linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 154s Processing triggers for libc-bin (2.41-1ubuntu1) ... 154s (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 ... 56328 files and directories currently installed.) 154s Purging configuration files for libpython3.12-minimal:s390x (3.12.9-1) ... 154s Purging configuration files for linux-modules-6.11.0-8-generic (6.11.0-8.8) ... 155s + grep -q trusty /etc/lsb-release 155s + [ ! -d /usr/share/doc/unattended-upgrades ] 155s + [ ! -d /usr/share/doc/lxd ] 155s + [ ! -d /usr/share/doc/lxd-client ] 155s + [ ! -d /usr/share/doc/snapd ] 155s + type iptables 155s + cat 155s + chmod 755 /etc/rc.local 155s + . /etc/rc.local 155s + iptables -w -t mangle -A FORWARD -p tcp --tcp-flags SYN,RST SYN -j TCPMSS --clamp-mss-to-pmtu 155s + iptables -A OUTPUT -d 10.255.255.1/32 -p tcp -j DROP 155s + iptables -A OUTPUT -d 10.255.255.2/32 -p tcp -j DROP 155s + uname -m 155s + [ s390x = ppc64le ] 155s + [ -d /run/systemd/system ] 155s + systemd-detect-virt --quiet --vm 155s + mkdir -p /etc/systemd/system/systemd-random-seed.service.d/ 155s + cat 155s + grep -q lz4 /etc/initramfs-tools/initramfs.conf 155s + echo COMPRESS=lz4 155s autopkgtest [17:40:33]: upgrading testbed (apt dist-upgrade and autopurge) 155s Reading package lists... 155s Building dependency tree... 155s Reading state information... 155s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 155s Starting 2 pkgProblemResolver with broken count: 0 155s Done 155s Entering ResolveByKeep 156s 156s Calculating upgrade... 156s The following packages will be upgraded: 156s libc-bin libc-dev-bin libc6 libc6-dev locales 156s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 156s Need to get 9512 kB of archives. 156s After this operation, 8192 B of additional disk space will be used. 156s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6-dev s390x 2.41-1ubuntu2 [1678 kB] 157s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-dev-bin s390x 2.41-1ubuntu2 [24.3 kB] 157s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc6 s390x 2.41-1ubuntu2 [2892 kB] 159s Get:4 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x libc-bin s390x 2.41-1ubuntu2 [671 kB] 159s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/main s390x locales all 2.41-1ubuntu2 [4246 kB] 162s Preconfiguring packages ... 162s Fetched 9512 kB in 6s (1487 kB/s) 162s (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 ... 56326 files and directories currently installed.) 162s Preparing to unpack .../libc6-dev_2.41-1ubuntu2_s390x.deb ... 163s Unpacking libc6-dev:s390x (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 163s Preparing to unpack .../libc-dev-bin_2.41-1ubuntu2_s390x.deb ... 163s Unpacking libc-dev-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 163s Preparing to unpack .../libc6_2.41-1ubuntu2_s390x.deb ... 163s Unpacking libc6:s390x (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 163s Setting up libc6:s390x (2.41-1ubuntu2) ... 163s (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 ... 56326 files and directories currently installed.) 163s Preparing to unpack .../libc-bin_2.41-1ubuntu2_s390x.deb ... 163s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 163s Setting up libc-bin (2.41-1ubuntu2) ... 163s (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 ... 56326 files and directories currently installed.) 163s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 163s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 163s Setting up locales (2.41-1ubuntu2) ... 163s Generating locales (this might take a while)... 164s en_US.UTF-8... done 164s Generation complete. 164s Setting up libc-dev-bin (2.41-1ubuntu2) ... 164s Setting up libc6-dev:s390x (2.41-1ubuntu2) ... 165s Processing triggers for man-db (2.13.0-1) ... 165s Processing triggers for systemd (257.3-1ubuntu3) ... 166s Reading package lists... 166s Building dependency tree... 166s Reading state information... 167s Starting pkgProblemResolver with broken count: 0 167s Starting 2 pkgProblemResolver with broken count: 0 167s Done 167s Solving dependencies... 167s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 167s autopkgtest [17:40:45]: rebooting testbed after setup commands that affected boot 188s autopkgtest [17:41:06]: testbed running kernel: Linux 6.14.0-10-generic #10-Ubuntu SMP Wed Mar 12 14:53:49 UTC 2025 192s autopkgtest [17:41:10]: @@@@@@@@@@@@@@@@@@@@ apt-source qepcad 194s Get:1 http://ftpmaster.internal/ubuntu plucky/universe qepcad 1.74+ds-5 (dsc) [2016 B] 194s Get:2 http://ftpmaster.internal/ubuntu plucky/universe qepcad 1.74+ds-5 (tar) [255 kB] 194s Get:3 http://ftpmaster.internal/ubuntu plucky/universe qepcad 1.74+ds-5 (diff) [27.0 kB] 194s gpgv: Signature made Sun Aug 18 00:52:41 2024 UTC 194s gpgv: using RSA key BA9821C12E07894FB2E4AD0091DC4A779EC5C910 194s gpgv: issuer "dtorrance@debian.org" 194s gpgv: Can't check signature: No public key 194s dpkg-source: warning: cannot verify inline signature for ./qepcad_1.74+ds-5.dsc: no acceptable signature found 194s autopkgtest [17:41:12]: testing package qepcad version 1.74+ds-5 196s autopkgtest [17:41:14]: build not needed 197s autopkgtest [17:41:15]: test command1: preparing testbed 197s Reading package lists... 198s Building dependency tree... 198s Reading state information... 198s Starting pkgProblemResolver with broken count: 0 198s Starting 2 pkgProblemResolver with broken count: 0 198s Done 198s The following NEW packages will be installed: 198s libcdd0t64 libflint19 libgbm1 libgf2x3 libgl1 libgl1-mesa-dri libglu1-mesa 198s libglut3.12 libglvnd0 libglx-mesa0 libglx0 libgmp-dev libgmpxx4ldbl libntl44 198s libopengl0 libsingular4m4n1 libvulkan1 libwayland-server0 libx11-xcb1 198s libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-randr0 libxcb-shm0 198s libxcb-sync1 libxcb-xfixes0 libxi6 libxshmfence1 libxxf86vm1 mesa-libgallium 198s qepcad singular singular-data singular-modules singular-ui 198s 0 upgraded, 35 newly installed, 0 to remove and 0 not upgraded. 198s Need to get 24.6 MB of archives. 198s After this operation, 86.7 MB of additional disk space will be used. 198s Get:1 http://ftpmaster.internal/ubuntu plucky/main s390x libgmpxx4ldbl s390x 2:6.3.0+dfsg-3ubuntu1 [10.1 kB] 198s Get:2 http://ftpmaster.internal/ubuntu plucky/main s390x libgmp-dev s390x 2:6.3.0+dfsg-3ubuntu1 [424 kB] 199s Get:3 http://ftpmaster.internal/ubuntu plucky/universe s390x libcdd0t64 s390x 094m-1.1build1 [131 kB] 199s Get:4 http://ftpmaster.internal/ubuntu plucky/universe s390x libflint19 s390x 3.1.3-2 [4475 kB] 202s Get:5 http://ftpmaster.internal/ubuntu plucky/main s390x libwayland-server0 s390x 1.23.1-3 [37.3 kB] 202s Get:6 http://ftpmaster.internal/ubuntu plucky/main s390x libx11-xcb1 s390x 2:1.8.10-2 [7954 B] 202s Get:7 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-dri3-0 s390x 1.17.0-2 [7616 B] 202s Get:8 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-present0 s390x 1.17.0-2 [6244 B] 202s Get:9 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-randr0 s390x 1.17.0-2 [19.2 kB] 202s Get:10 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-sync1 s390x 1.17.0-2 [9488 B] 202s Get:11 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-xfixes0 s390x 1.17.0-2 [10.5 kB] 202s Get:12 http://ftpmaster.internal/ubuntu plucky/main s390x libxshmfence1 s390x 1.3-1build5 [4772 B] 202s Get:13 http://ftpmaster.internal/ubuntu plucky/main s390x mesa-libgallium s390x 25.0.1-2ubuntu1 [8056 kB] 209s Get:14 http://ftpmaster.internal/ubuntu plucky/main s390x libgbm1 s390x 25.0.1-2ubuntu1 [34.5 kB] 209s Get:15 http://ftpmaster.internal/ubuntu plucky/universe s390x libgf2x3 s390x 1.3.0-3 [39.1 kB] 209s Get:16 http://ftpmaster.internal/ubuntu plucky/main s390x libvulkan1 s390x 1.4.304.0-1 [147 kB] 209s Get:17 http://ftpmaster.internal/ubuntu plucky/main s390x libgl1-mesa-dri s390x 25.0.1-2ubuntu1 [35.4 kB] 209s Get:18 http://ftpmaster.internal/ubuntu plucky/main s390x libglvnd0 s390x 1.7.0-1build1 [110 kB] 209s Get:19 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-glx0 s390x 1.17.0-2 [26.0 kB] 209s Get:20 http://ftpmaster.internal/ubuntu plucky/main s390x libxcb-shm0 s390x 1.17.0-2 [5862 B] 209s Get:21 http://ftpmaster.internal/ubuntu plucky/main s390x libxxf86vm1 s390x 1:1.1.4-1build4 [9630 B] 209s Get:22 http://ftpmaster.internal/ubuntu plucky/main s390x libglx-mesa0 s390x 25.0.1-2ubuntu1 [161 kB] 209s Get:23 http://ftpmaster.internal/ubuntu plucky/main s390x libglx0 s390x 1.7.0-1build1 [32.2 kB] 209s Get:24 http://ftpmaster.internal/ubuntu plucky/main s390x libgl1 s390x 1.7.0-1build1 [142 kB] 209s Get:25 http://ftpmaster.internal/ubuntu plucky/main s390x libxi6 s390x 2:1.8.2-1 [35.4 kB] 209s Get:26 http://ftpmaster.internal/ubuntu plucky/universe s390x libglut3.12 s390x 3.4.0-4 [99.3 kB] 209s Get:27 http://ftpmaster.internal/ubuntu plucky/universe s390x libntl44 s390x 11.5.1-1 [828 kB] 210s Get:28 http://ftpmaster.internal/ubuntu plucky/universe s390x libsingular4m4n1 s390x 1:4.4.1+ds-2 [3014 kB] 212s Get:29 http://ftpmaster.internal/ubuntu plucky/universe s390x singular-data all 1:4.4.1+ds-2 [4886 kB] 215s Get:30 http://ftpmaster.internal/ubuntu plucky/universe s390x singular-ui s390x 1:4.4.1+ds-2 [11.3 kB] 215s Get:31 http://ftpmaster.internal/ubuntu plucky/universe s390x singular-modules s390x 1:4.4.1+ds-2 [987 kB] 216s Get:32 http://ftpmaster.internal/ubuntu plucky/universe s390x singular s390x 1:4.4.1+ds-2 [4992 B] 216s Get:33 http://ftpmaster.internal/ubuntu plucky/main s390x libopengl0 s390x 1.7.0-1build1 [48.0 kB] 216s Get:34 http://ftpmaster.internal/ubuntu plucky/main s390x libglu1-mesa s390x 9.0.2-1.1build1 [176 kB] 216s Get:35 http://ftpmaster.internal/ubuntu plucky/universe s390x qepcad s390x 1.74+ds-5 [520 kB] 216s Fetched 24.6 MB in 18s (1358 kB/s) 216s Selecting previously unselected package libgmpxx4ldbl:s390x. 217s (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 ... 56326 files and directories currently installed.) 217s Preparing to unpack .../00-libgmpxx4ldbl_2%3a6.3.0+dfsg-3ubuntu1_s390x.deb ... 217s Unpacking libgmpxx4ldbl:s390x (2:6.3.0+dfsg-3ubuntu1) ... 217s Selecting previously unselected package libgmp-dev:s390x. 217s Preparing to unpack .../01-libgmp-dev_2%3a6.3.0+dfsg-3ubuntu1_s390x.deb ... 217s Unpacking libgmp-dev:s390x (2:6.3.0+dfsg-3ubuntu1) ... 217s Selecting previously unselected package libcdd0t64:s390x. 217s Preparing to unpack .../02-libcdd0t64_094m-1.1build1_s390x.deb ... 217s Unpacking libcdd0t64:s390x (094m-1.1build1) ... 217s Selecting previously unselected package libflint19:s390x. 217s Preparing to unpack .../03-libflint19_3.1.3-2_s390x.deb ... 217s Unpacking libflint19:s390x (3.1.3-2) ... 217s Selecting previously unselected package libwayland-server0:s390x. 217s Preparing to unpack .../04-libwayland-server0_1.23.1-3_s390x.deb ... 217s Unpacking libwayland-server0:s390x (1.23.1-3) ... 217s Selecting previously unselected package libx11-xcb1:s390x. 217s Preparing to unpack .../05-libx11-xcb1_2%3a1.8.10-2_s390x.deb ... 217s Unpacking libx11-xcb1:s390x (2:1.8.10-2) ... 217s Selecting previously unselected package libxcb-dri3-0:s390x. 217s Preparing to unpack .../06-libxcb-dri3-0_1.17.0-2_s390x.deb ... 217s Unpacking libxcb-dri3-0:s390x (1.17.0-2) ... 217s Selecting previously unselected package libxcb-present0:s390x. 217s Preparing to unpack .../07-libxcb-present0_1.17.0-2_s390x.deb ... 217s Unpacking libxcb-present0:s390x (1.17.0-2) ... 217s Selecting previously unselected package libxcb-randr0:s390x. 217s Preparing to unpack .../08-libxcb-randr0_1.17.0-2_s390x.deb ... 217s Unpacking libxcb-randr0:s390x (1.17.0-2) ... 217s Selecting previously unselected package libxcb-sync1:s390x. 217s Preparing to unpack .../09-libxcb-sync1_1.17.0-2_s390x.deb ... 217s Unpacking libxcb-sync1:s390x (1.17.0-2) ... 217s Selecting previously unselected package libxcb-xfixes0:s390x. 217s Preparing to unpack .../10-libxcb-xfixes0_1.17.0-2_s390x.deb ... 217s Unpacking libxcb-xfixes0:s390x (1.17.0-2) ... 217s Selecting previously unselected package libxshmfence1:s390x. 217s Preparing to unpack .../11-libxshmfence1_1.3-1build5_s390x.deb ... 217s Unpacking libxshmfence1:s390x (1.3-1build5) ... 217s Selecting previously unselected package mesa-libgallium:s390x. 217s Preparing to unpack .../12-mesa-libgallium_25.0.1-2ubuntu1_s390x.deb ... 217s Unpacking mesa-libgallium:s390x (25.0.1-2ubuntu1) ... 217s Selecting previously unselected package libgbm1:s390x. 217s Preparing to unpack .../13-libgbm1_25.0.1-2ubuntu1_s390x.deb ... 217s Unpacking libgbm1:s390x (25.0.1-2ubuntu1) ... 217s Selecting previously unselected package libgf2x3:s390x. 217s Preparing to unpack .../14-libgf2x3_1.3.0-3_s390x.deb ... 217s Unpacking libgf2x3:s390x (1.3.0-3) ... 217s Selecting previously unselected package libvulkan1:s390x. 217s Preparing to unpack .../15-libvulkan1_1.4.304.0-1_s390x.deb ... 217s Unpacking libvulkan1:s390x (1.4.304.0-1) ... 217s Selecting previously unselected package libgl1-mesa-dri:s390x. 217s Preparing to unpack .../16-libgl1-mesa-dri_25.0.1-2ubuntu1_s390x.deb ... 217s Unpacking libgl1-mesa-dri:s390x (25.0.1-2ubuntu1) ... 217s Selecting previously unselected package libglvnd0:s390x. 217s Preparing to unpack .../17-libglvnd0_1.7.0-1build1_s390x.deb ... 217s Unpacking libglvnd0:s390x (1.7.0-1build1) ... 217s Selecting previously unselected package libxcb-glx0:s390x. 217s Preparing to unpack .../18-libxcb-glx0_1.17.0-2_s390x.deb ... 217s Unpacking libxcb-glx0:s390x (1.17.0-2) ... 217s Selecting previously unselected package libxcb-shm0:s390x. 217s Preparing to unpack .../19-libxcb-shm0_1.17.0-2_s390x.deb ... 217s Unpacking libxcb-shm0:s390x (1.17.0-2) ... 217s Selecting previously unselected package libxxf86vm1:s390x. 217s Preparing to unpack .../20-libxxf86vm1_1%3a1.1.4-1build4_s390x.deb ... 217s Unpacking libxxf86vm1:s390x (1:1.1.4-1build4) ... 217s Selecting previously unselected package libglx-mesa0:s390x. 217s Preparing to unpack .../21-libglx-mesa0_25.0.1-2ubuntu1_s390x.deb ... 217s Unpacking libglx-mesa0:s390x (25.0.1-2ubuntu1) ... 217s Selecting previously unselected package libglx0:s390x. 217s Preparing to unpack .../22-libglx0_1.7.0-1build1_s390x.deb ... 217s Unpacking libglx0:s390x (1.7.0-1build1) ... 217s Selecting previously unselected package libgl1:s390x. 217s Preparing to unpack .../23-libgl1_1.7.0-1build1_s390x.deb ... 217s Unpacking libgl1:s390x (1.7.0-1build1) ... 217s Selecting previously unselected package libxi6:s390x. 217s Preparing to unpack .../24-libxi6_2%3a1.8.2-1_s390x.deb ... 217s Unpacking libxi6:s390x (2:1.8.2-1) ... 217s Selecting previously unselected package libglut3.12:s390x. 217s Preparing to unpack .../25-libglut3.12_3.4.0-4_s390x.deb ... 217s Unpacking libglut3.12:s390x (3.4.0-4) ... 217s Selecting previously unselected package libntl44:s390x. 217s Preparing to unpack .../26-libntl44_11.5.1-1_s390x.deb ... 217s Unpacking libntl44:s390x (11.5.1-1) ... 217s Selecting previously unselected package libsingular4m4n1:s390x. 217s Preparing to unpack .../27-libsingular4m4n1_1%3a4.4.1+ds-2_s390x.deb ... 217s Unpacking libsingular4m4n1:s390x (1:4.4.1+ds-2) ... 217s Selecting previously unselected package singular-data. 217s Preparing to unpack .../28-singular-data_1%3a4.4.1+ds-2_all.deb ... 217s Unpacking singular-data (1:4.4.1+ds-2) ... 217s Selecting previously unselected package singular-ui. 217s Preparing to unpack .../29-singular-ui_1%3a4.4.1+ds-2_s390x.deb ... 217s Unpacking singular-ui (1:4.4.1+ds-2) ... 217s Selecting previously unselected package singular-modules:s390x. 217s Preparing to unpack .../30-singular-modules_1%3a4.4.1+ds-2_s390x.deb ... 217s Unpacking singular-modules:s390x (1:4.4.1+ds-2) ... 217s Selecting previously unselected package singular:s390x. 217s Preparing to unpack .../31-singular_1%3a4.4.1+ds-2_s390x.deb ... 217s Unpacking singular:s390x (1:4.4.1+ds-2) ... 217s Selecting previously unselected package libopengl0:s390x. 217s Preparing to unpack .../32-libopengl0_1.7.0-1build1_s390x.deb ... 217s Unpacking libopengl0:s390x (1.7.0-1build1) ... 217s Selecting previously unselected package libglu1-mesa:s390x. 217s Preparing to unpack .../33-libglu1-mesa_9.0.2-1.1build1_s390x.deb ... 217s Unpacking libglu1-mesa:s390x (9.0.2-1.1build1) ... 217s Selecting previously unselected package qepcad. 217s Preparing to unpack .../34-qepcad_1.74+ds-5_s390x.deb ... 217s Unpacking qepcad (1.74+ds-5) ... 217s Setting up libxcb-dri3-0:s390x (1.17.0-2) ... 217s Setting up libwayland-server0:s390x (1.23.1-3) ... 217s Setting up libx11-xcb1:s390x (2:1.8.10-2) ... 217s Setting up libxcb-xfixes0:s390x (1.17.0-2) ... 217s Setting up libxi6:s390x (2:1.8.2-1) ... 217s Setting up libglvnd0:s390x (1.7.0-1build1) ... 217s Setting up libgf2x3:s390x (1.3.0-3) ... 217s Setting up libxcb-glx0:s390x (1.17.0-2) ... 217s Setting up libxcb-shm0:s390x (1.17.0-2) ... 217s Setting up libopengl0:s390x (1.7.0-1build1) ... 217s Setting up libxxf86vm1:s390x (1:1.1.4-1build4) ... 217s Setting up libxcb-present0:s390x (1.17.0-2) ... 217s Setting up libgmpxx4ldbl:s390x (2:6.3.0+dfsg-3ubuntu1) ... 217s Setting up libxcb-sync1:s390x (1.17.0-2) ... 217s Setting up singular-data (1:4.4.1+ds-2) ... 217s Setting up libvulkan1:s390x (1.4.304.0-1) ... 217s Setting up libflint19:s390x (3.1.3-2) ... 217s Setting up libntl44:s390x (11.5.1-1) ... 217s Setting up libxshmfence1:s390x (1.3-1build5) ... 217s Setting up libxcb-randr0:s390x (1.17.0-2) ... 217s Setting up libglu1-mesa:s390x (9.0.2-1.1build1) ... 217s Setting up mesa-libgallium:s390x (25.0.1-2ubuntu1) ... 217s Setting up libgmp-dev:s390x (2:6.3.0+dfsg-3ubuntu1) ... 217s Setting up libgbm1:s390x (25.0.1-2ubuntu1) ... 217s Setting up libgl1-mesa-dri:s390x (25.0.1-2ubuntu1) ... 217s Setting up libsingular4m4n1:s390x (1:4.4.1+ds-2) ... 217s Setting up libcdd0t64:s390x (094m-1.1build1) ... 217s Setting up singular-ui (1:4.4.1+ds-2) ... 217s Setting up libglx-mesa0:s390x (25.0.1-2ubuntu1) ... 217s Setting up libglx0:s390x (1.7.0-1build1) ... 217s Setting up singular-modules:s390x (1:4.4.1+ds-2) ... 217s Setting up libgl1:s390x (1.7.0-1build1) ... 217s Setting up singular:s390x (1:4.4.1+ds-2) ... 217s Setting up libglut3.12:s390x (3.4.0-4) ... 217s Setting up qepcad (1.74+ds-5) ... 217s Processing triggers for man-db (2.13.0-1) ... 218s Processing triggers for libc-bin (2.41-1ubuntu2) ... 219s autopkgtest [17:41:37]: 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 219s autopkgtest [17:41:37]: test command1: [----------------------- 219s ======================================================= 219s Quantifier Elimination 219s in 219s Elementary Algebra and Geometry 219s by 219s Partial Cylindrical Algebraic Decomposition 219s 219s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 219s 219s by 219s Hoon Hong 219s (hhong@math.ncsu.edu) 219s 219s With contributions by: Christopher W. Brown, George E. 219s Collins, Mark J. Encarnacion, Jeremy R. Johnson 219s Werner Krandick, Richard Liska, Scott McCallum, 219s Nicolas Robidoux, and Stanly Steinberg 219s ======================================================= 219s Enter an informal description between '[' and ']': 219s [ Computes the "not" of "is p positive semidefinite?" ]Enter a variable list: 219s (w,z,x,y)Enter the number of free variables: 219s 0 219s Enter a prenex formula: 219s (F w)(F z)(F x)(F y)[ 219s w^6 + 2 z^2 w^3 + x^4 + y^4 + z^4 + 2 x^2 w + 219s 2 x^2 z + 3 x^2 + w^2 + 2 z w + z^2 + 2 z + 2 w + 1 < 0 219s ]. 219s 219s ======================================================= 219s 219s Before Normalization > 219s finish 219s 219s An equivalent quantifier-free formula: 219s 219s FALSE 219s 219s 219s ===================== The End ======================= 219s 219s ----------------------------------------------------------------------------- 219s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 219s 364766 Cells in AVAIL, 500000 Cells in SPACE. 219s 219s System time: 5 milliseconds. 219s System time after the initialization: 5 milliseconds. 219s ----------------------------------------------------------------------------- 219s ======================================================= 219s Quantifier Elimination 219s in 219s Elementary Algebra and Geometry 219s by 219s Partial Cylindrical Algebraic Decomposition 219s 219s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 219s 219s by 219s Hoon Hong 219s (hhong@math.ncsu.edu) 219s 219s With contributions by: Christopher W. Brown, George E. 219s Collins, Mark J. Encarnacion, Jeremy R. Johnson 219s Werner Krandick, Richard Liska, Scott McCallum, 219s Nicolas Robidoux, and Stanly Steinberg 219s ======================================================= 219s Enter an informal description between '[' and ']': 219s [ Charaterizing triangles with external bisectors ]Enter a variable list: 219s (c,b,a)Enter the number of free variables: 219s 3 219s Enter a prenex formula: 219s [ 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)) ]. 219s 219s ======================================================= 219s 219s Before Normalization > 219s assume [ a > 0 /\ b > 0 /\ c > 0 /\ a < b + c /\ b < a + c /\ c < a + b ] 219s Before Normalization > 219s finish 219s 219s An equivalent quantifier-free formula: 219s 219s a - c < 0 219s 219s 219s ===================== The End ======================= 219s 219s ----------------------------------------------------------------------------- 219s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 219s 456295 Cells in AVAIL, 500000 Cells in SPACE. 219s 219s System time: 5 milliseconds. 219s System time after the initialization: 5 milliseconds. 219s ----------------------------------------------------------------------------- 219s ======================================================= 219s Quantifier Elimination 219s in 219s Elementary Algebra and Geometry 219s by 219s Partial Cylindrical Algebraic Decomposition 219s 219s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 219s 219s by 219s Hoon Hong 219s (hhong@math.ncsu.edu) 219s 219s With contributions by: Christopher W. Brown, George E. 219s Collins, Mark J. Encarnacion, Jeremy R. Johnson 219s Werner Krandick, Richard Liska, Scott McCallum, 219s Nicolas Robidoux, and Stanly Steinberg 219s ======================================================= 219s Enter an informal description between '[' and ']': 219s [ Anai's Problem ]Enter a variable list: 219s (s,z)Enter the number of free variables: 219s 2 219s Enter a prenex formula: 219s [ 219s [s z + s - 1 >= 0 /\ s = 0 /\ z + 1 >= 0] 219s \/ [s z + s >= 0 /\ s = 0 /\ z = 0] \/ 219s [s^2 + 4 s z >= 0 /\ [[ 219s s^2 - 2 s <= 0 /\ s z + s - 1 <= 0 /\ s = 0 /\ [ 219s s^2 + 3 s z - s - 2 z <= 0 219s \/ [s + z - 1 <= 0 /\ [s z + s - 1 = 0 \/ 219s z = 0]]] /\ [s + 2 z >= 0 \/ z = 0]] \/ 219s [s^2 - 2 s <= 0 /\ s + 2 z >= 0 /\ s = 0 /\ [ 219s [s^2 + 3 s z - s - 2 z <= 0 /\ [s z + s - 1 <= 0 219s \/ z = 0]] \/ [s + z - 1 >= 0 /\ 219s [s z + s - 1 >= 0 \/ z = 0]]]]]] \/ 219s [s = 0 /\ z >= 0] 219s ]. 219s 219s ======================================================= 219s 219s Before Normalization > 219s finish 219s 219s An equivalent quantifier-free formula: 219s 219s s = 0 /\ z >= 0 219s 219s 219s ===================== The End ======================= 219s 219s ----------------------------------------------------------------------------- 219s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 219s 475605 Cells in AVAIL, 500000 Cells in SPACE. 219s 219s System time: 4 milliseconds. 219s System time after the initialization: 4 milliseconds. 219s ----------------------------------------------------------------------------- 219s ======================================================= 219s Quantifier Elimination 219s in 219s Elementary Algebra and Geometry 219s by 219s Partial Cylindrical Algebraic Decomposition 219s 219s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 219s 219s by 219s Hoon Hong 219s (hhong@math.ncsu.edu) 219s 219s With contributions by: Christopher W. Brown, George E. 219s Collins, Mark J. Encarnacion, Jeremy R. Johnson 219s Werner Krandick, Richard Liska, Scott McCallum, 219s Nicolas Robidoux, and Stanly Steinberg 219s ======================================================= 219s Enter an informal description between '[' and ']': 219s [ 219s Edge-square product problem with equational constaints 219s ]Enter a variable list: 219s (x,y,x1,x2)Enter the number of free variables: 219s 2 219s Enter a prenex formula: 219s (E x1)(E x2)[ 219s y = x1 (x1 x2 - x) + x2 /\ 219s 0 <= x1 /\ x1 <= 2 /\ 219s 2 <= x2 /\ x2 <= 4 /\ 219s -1 <= (x1 x2 - x) /\ (x1 x2 - x) <= 1 219s ]. 219s 219s ======================================================= 219s 219s Before Normalization > 219s prop-eqn-const 219s 219s Before Normalization > 219s go 219s 219s Before Projection (x2) > 219s d-level-f 4 219s A_4,1 = input 219s = x1^2 x2 + x2 - x x1 - y 219s A_4,2 = input 219s = x2 - 2 219s A_4,3 = input 219s = x2 - 4 219s A_4,4 = input 219s = x1 x2 - x + 1 219s A_4,5 = input 219s = x1 x2 - x - 1 219s 219s 219s Before Projection (x2) > 219s eqn-const-l (A_4,1) 219s Before Projection (x2) > 219s finish 222s 222s An equivalent quantifier-free formula: 222s 222s 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 ] ] 222s 222s 222s ===================== The End ======================= 222s 222s ----------------------------------------------------------------------------- 222s 129 Garbage collections, 52119096 Cells and 51 Arrays reclaimed, in 377 milliseconds. 222s 299866 Cells in AVAIL, 500000 Cells in SPACE. 222s 222s System time: 2204 milliseconds. 222s System time after the initialization: 2204 milliseconds. 222s ----------------------------------------------------------------------------- 222s ======================================================= 222s Quantifier Elimination 222s in 222s Elementary Algebra and Geometry 222s by 222s Partial Cylindrical Algebraic Decomposition 222s 222s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 222s 222s by 222s Hoon Hong 222s (hhong@math.ncsu.edu) 222s 222s With contributions by: Christopher W. Brown, George E. 222s Collins, Mark J. Encarnacion, Jeremy R. Johnson 222s Werner Krandick, Richard Liska, Scott McCallum, 222s Nicolas Robidoux, and Stanly Steinberg 222s ======================================================= 222s Enter an informal description between '[' and ']': 222s [ The positive-definite quartic problem ]Enter a variable list: 222s (a,b,c,d,x)Enter the number of free variables: 222s 4 222s Enter a prenex formula: 222s (Ax)[ x^4 + a x^3 + b x^2 + c x + d > 0 ]. 222s 222s ======================================================= 222s 222s Before Normalization > 222s go 222s 222s Before Projection (x) > 222s go 222s 222s Before Choice > 222s go 222s 222s Before Solution > 222s pdq 222s CAD is not projection definable. 222s 222s Before Solution > 222s sol E 222s An equivalent quantifier-free formula: 222s 222s 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 ] 222s 222s 222s Before Solution > 222s sol T 222s An equivalent quantifier-free formula: 222s 222s 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 ] ] 222s 222s 222s Before Solution > 222s quit 222s Quitting the QEPCAD system... Bye! 222s ======================================================= 222s Quantifier Elimination 222s in 222s Elementary Algebra and Geometry 222s by 222s Partial Cylindrical Algebraic Decomposition 222s 222s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 222s 222s by 222s Hoon Hong 222s (hhong@math.ncsu.edu) 222s 222s With contributions by: Christopher W. Brown, George E. 222s Collins, Mark J. Encarnacion, Jeremy R. Johnson 222s Werner Krandick, Richard Liska, Scott McCallum, 222s Nicolas Robidoux, and Stanly Steinberg 222s ======================================================= 222s Enter an informal description between '[' and ']': 222s [ Example 5.14 from Hong, Liska, Steinberg, 222s "Testing Stability by Quantifier Elimination" 222s Journal of Symbolic Computation, Vol. 24, No. 2, 222s August 1997. The "G" quatifier means "for all but 222s finitely many". ]Enter a variable list: 222s (a,b,c2)Enter the number of free variables: 222s 0 222s Enter a prenex formula: 222s (G a)(G b)(G c2)[ 222s [ 0 <= a /\ a <= 1 /\ 0 <= b /\ b <= 1 ] 222s ==> 222s [ 222s c2^4 (a - b + 1) ( a - b - 1) (a - b)^2 <= 0 222s /\ 222s c2^4 b^2 (b^2 - 1) + 4 c2^3 a b^2 (b - 1) 222s + 2 c2^2 a b (3 a b - 2 a - 2 b + 1) 222s + 4 c2 a^2 b (a - 1) + a^2 (a^2 - 1) <= 0 222s /\ 222s [ 222s c2^2 ( 8 a^2 b^2 - 12 a^2 b + 5 a^2 - 8 a b^3 + 8 a b^2 222s + 2 a b - 4 a + 4 b^4 - 4 b^3 - 3 b^2 + 4 b ) 222s + 2 c2 ( 4 a^3 b - 2 a^3 - 4 a^2 b^2 - 2 a^2 b + a^2 222s + 4 a b^3 - 2 a b^2 + 2 a b - 2 b^3 + b^2 ) 222s + 4 a^4 - 8 a^3 b - 4 a^3 + 8 a^2 b^2 + 8 a^2 b - 3 a^2 222s - 12 a b^2 + 2 a b + 4 a + 5 b^2 - 4 b <= 0 222s \/ 222s 2 c2^4 b ( 3 a^2 b - 2 a^2 - 2 a b^2 + a + b^3 - b) 222s + 4 c2^3 a b ( a^2 - a + b^2 - b) 222s + 2 c2^2 a ( a^3 - 2 a^2b + 3 a b^2 - a - 2 b^2 + b ) <= 0 222s ] 222s ] 222s ]. 222s 222s ======================================================= 222s 222s Before Normalization > 222s finish 222s 222s An equivalent quantifier-free formula: 222s 222s TRUE 222s 222s 222s ===================== The End ======================= 222s 222s ----------------------------------------------------------------------------- 222s 3 Garbage collections, 1429986 Cells and 0 Arrays reclaimed, in 10 milliseconds. 222s 122330 Cells in AVAIL, 500000 Cells in SPACE. 222s 222s System time: 81 milliseconds. 222s System time after the initialization: 80 milliseconds. 222s ----------------------------------------------------------------------------- 222s ======================================================= 222s CAD2D - A Program for producing CADs of R^2 222s 222s Based on QEPCAD Version B 1.74, Feb 25 2021, by Hoon Hong 222s with contributions by: Christopher W. Brown, George E. 222s Collins, Mark J. Encarnacion, Jeremy R. Johnson 222s Werner Krandick, Richard Liska, Scott McCallum, 222s Nicolas Robiduex, and Stanly Steinberg 222s ======================================================= 222s Enter an informal description between '[' and ']': 222s [ An interesting CAD of R^2 to plot ]Enter a variable list: 222s (x,y)Enter the number of free variables: 222s 2 222s Enter a prenex formula: 222s [ (x^2 + y^2)^4 - 7 x^6 y + 35 x^4 y^3 - 21 x^2 y^5 + 222s y^7 <= 0 /\ 2 y < x^2 + 1 ]. 222s 222s ======================================================= 225s 225s Before Solution > 225s p-2d-cad 225s Before Solution > 225s quit 225s Quitting the QEPCAD system... Bye! 225s autopkgtest [17:41:43]: test command1: -----------------------] 226s command1 PASS 226s autopkgtest [17:41:44]: test command1: - - - - - - - - - - results - - - - - - - - - - 227s autopkgtest [17:41:45]: @@@@@@@@@@@@@@@@@@@@ summary 227s command1 PASS 234s nova [W] Using flock in prodstack6-s390x 234s Creating nova instance adt-plucky-s390x-qepcad-20250315-173758-juju-7f2275-prod-proposed-migration-environment-15-ca02bb8e-50b5-42d2-8dfd-c4fb716fc0f4 from image adt/ubuntu-plucky-s390x-server-20250315.img (UUID 3d3557fa-fd0f-4bba-9b89-8d5964e09f61)... 234s nova [W] Timed out waiting for 5391ae9b-525f-4e37-8250-031ab9e4ed24 to get deleted.