0s autopkgtest [12:33:21]: starting date and time: 2024-03-23 12:33:21+0000 0s autopkgtest [12:33:21]: git checkout: 4a1cd702 l/adt_testbed: don't blame the testbed for unsolvable build deps 0s autopkgtest [12:33:21]: host juju-7f2275-prod-proposed-migration-environment-3; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.dm452n1h/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-3@bos02-s390x-17.secgroup --name adt-noble-s390x-qepcad-20240323-123321-juju-7f2275-prod-proposed-migration-environment-3 --image adt/ubuntu-noble-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-3 --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/ 98s autopkgtest [12:34:59]: testbed dpkg architecture: s390x 98s autopkgtest [12:34:59]: testbed apt version: 2.7.12 98s autopkgtest [12:34:59]: @@@@@@@@@@@@@@@@@@@@ test bed setup 99s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 100s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 100s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [56.9 kB] 100s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [494 kB] 100s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [3975 kB] 100s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main s390x Packages [652 kB] 100s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main s390x c-n-f Metadata [3032 B] 100s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x Packages [1372 B] 100s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted s390x c-n-f Metadata [116 B] 100s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x Packages [4141 kB] 101s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x c-n-f Metadata [7292 B] 101s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x Packages [46.8 kB] 101s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse s390x c-n-f Metadata [116 B] 106s Fetched 9501 kB in 5s (1981 kB/s) 106s Reading package lists... 110s Reading package lists... 111s Building dependency tree... 111s Reading state information... 111s Calculating upgrade... 111s The following packages will be upgraded: 111s readline-common 112s 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 112s Need to get 56.4 kB of archives. 112s After this operation, 0 B of additional disk space will be used. 112s Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main s390x readline-common all 8.2-4 [56.4 kB] 112s Fetched 56.4 kB in 0s (174 kB/s) 113s (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 ... 52170 files and directories currently installed.) 113s Preparing to unpack .../readline-common_8.2-4_all.deb ... 113s Unpacking readline-common (8.2-4) over (8.2-3) ... 113s Setting up readline-common (8.2-4) ... 113s Processing triggers for install-info (7.1-3) ... 113s Processing triggers for man-db (2.12.0-3) ... 113s Reading package lists... 114s Building dependency tree... 114s Reading state information... 114s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 115s Unknown architecture, assuming PC-style ttyS0 115s sh: Attempting to set up Debian/Ubuntu apt sources automatically 115s sh: Distribution appears to be Ubuntu 116s Reading package lists... 116s Building dependency tree... 116s Reading state information... 117s eatmydata is already the newest version (131-1). 117s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 117s Reading package lists... 117s Building dependency tree... 117s Reading state information... 118s dbus is already the newest version (1.14.10-4ubuntu1). 118s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 118s Reading package lists... 118s Building dependency tree... 118s Reading state information... 119s rng-tools-debian is already the newest version (2.4). 119s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 119s Reading package lists... 119s Building dependency tree... 119s Reading state information... 120s The following packages will be REMOVED: 120s cloud-init* python3-configobj* python3-debconf* 121s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 121s After this operation, 3256 kB disk space will be freed. 121s (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 ... 52170 files and directories currently installed.) 121s Removing cloud-init (24.1.2-0ubuntu1) ... 122s Removing python3-configobj (5.0.8-3) ... 122s Removing python3-debconf (1.5.86) ... 122s Processing triggers for man-db (2.12.0-3) ... 122s (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 ... 51781 files and directories currently installed.) 122s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 123s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 123s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 123s invoke-rc.d: policy-rc.d denied execution of try-restart. 124s Reading package lists... 124s Building dependency tree... 124s Reading state information... 125s linux-generic is already the newest version (6.8.0-11.11+1). 125s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 126s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 126s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 126s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 130s Reading package lists... 130s Reading package lists... 130s Building dependency tree... 130s Reading state information... 130s Calculating upgrade... 131s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 131s Reading package lists... 131s Building dependency tree... 131s Reading state information... 132s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 132s autopkgtest [12:35:33]: rebooting testbed after setup commands that affected boot 153s autopkgtest [12:35:54]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP Tue Feb 13 23:45:46 UTC 2024 156s autopkgtest [12:35:57]: @@@@@@@@@@@@@@@@@@@@ apt-source qepcad 159s Get:1 http://ftpmaster.internal/ubuntu noble/universe qepcad 1.74+ds-4 (dsc) [2019 B] 159s Get:2 http://ftpmaster.internal/ubuntu noble/universe qepcad 1.74+ds-4 (tar) [255 kB] 159s Get:3 http://ftpmaster.internal/ubuntu noble/universe qepcad 1.74+ds-4 (diff) [26.5 kB] 159s gpgv: Signature made Thu Aug 24 11:11:25 2023 UTC 159s gpgv: using RSA key BA9821C12E07894FB2E4AD0091DC4A779EC5C910 159s gpgv: issuer "dtorrance@debian.org" 159s gpgv: Can't check signature: No public key 159s dpkg-source: warning: cannot verify inline signature for ./qepcad_1.74+ds-4.dsc: no acceptable signature found 160s autopkgtest [12:36:01]: testing package qepcad version 1.74+ds-4 160s autopkgtest [12:36:01]: build not needed 160s autopkgtest [12:36:01]: test command1: preparing testbed 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 168s The following additional packages will be installed: 168s libcdd0d libdrm-amdgpu1 libdrm-nouveau2 libdrm-radeon1 libflint18 libgf2x3 168s libgl1 libgl1-mesa-dri libglapi-mesa libglu1-mesa libglut3.12 libglvnd0 168s libglx-mesa0 libglx0 libgmp-dev libgmpxx4ldbl libllvm17 libntl44 libopengl0 168s libsingular4m3n0 libvulkan1 libx11-xcb1 libxcb-dri2-0 libxcb-dri3-0 168s libxcb-glx0 libxcb-present0 libxcb-randr0 libxcb-shm0 libxcb-sync1 168s libxcb-xfixes0 libxfixes3 libxi6 libxshmfence1 libxxf86vm1 qepcad singular 168s singular-data singular-modules singular-ui 168s Suggested packages: 168s gmp-doc libgmp10-doc libmpfr-dev singular-doc 168s graphicsmagick-imagemagick-compat | imagemagick 168s Recommended packages: 168s libgl1-amber-dri mesa-vulkan-drivers | vulkan-icd graphviz 4ti2 normaliz 168s surf-alggeo topcom 168s The following NEW packages will be installed: 168s autopkgtest-satdep libcdd0d libdrm-amdgpu1 libdrm-nouveau2 libdrm-radeon1 168s libflint18 libgf2x3 libgl1 libgl1-mesa-dri libglapi-mesa libglu1-mesa 168s libglut3.12 libglvnd0 libglx-mesa0 libglx0 libgmp-dev libgmpxx4ldbl 168s libllvm17 libntl44 libopengl0 libsingular4m3n0 libvulkan1 libx11-xcb1 168s libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-randr0 168s libxcb-shm0 libxcb-sync1 libxcb-xfixes0 libxfixes3 libxi6 libxshmfence1 168s libxxf86vm1 qepcad singular singular-data singular-modules singular-ui 168s 0 upgraded, 40 newly installed, 0 to remove and 0 not upgraded. 168s Need to get 54.8 MB/54.8 MB of archives. 168s After this operation, 241 MB of additional disk space will be used. 168s Get:1 /tmp/autopkgtest.x4sG8M/1-autopkgtest-satdep.deb autopkgtest-satdep s390x 0 [708 B] 168s Get:2 http://ftpmaster.internal/ubuntu noble/main s390x libgmpxx4ldbl s390x 2:6.3.0+dfsg-2ubuntu4 [10.0 kB] 168s Get:3 http://ftpmaster.internal/ubuntu noble/main s390x libgmp-dev s390x 2:6.3.0+dfsg-2ubuntu4 [425 kB] 168s Get:4 http://ftpmaster.internal/ubuntu noble/universe s390x libcdd0d s390x 094m-1 [114 kB] 168s Get:5 http://ftpmaster.internal/ubuntu noble/main s390x libdrm-amdgpu1 s390x 2.4.120-2 [21.1 kB] 168s Get:6 http://ftpmaster.internal/ubuntu noble/main s390x libdrm-nouveau2 s390x 2.4.120-2 [18.5 kB] 168s Get:7 http://ftpmaster.internal/ubuntu noble/main s390x libdrm-radeon1 s390x 2.4.120-2 [22.7 kB] 168s Get:8 http://ftpmaster.internal/ubuntu noble/universe s390x libflint18 s390x 3.0.1-3 [4490 kB] 169s Get:9 http://ftpmaster.internal/ubuntu noble/universe s390x libgf2x3 s390x 1.3.0-2 [29.7 kB] 169s Get:10 http://ftpmaster.internal/ubuntu noble/main s390x libvulkan1 s390x 1.3.275.0-1 [155 kB] 169s Get:11 http://ftpmaster.internal/ubuntu noble/main s390x libglapi-mesa s390x 24.0.1-1ubuntu1 [68.7 kB] 169s Get:12 http://ftpmaster.internal/ubuntu noble/main s390x libllvm17 s390x 1:17.0.6-5build1 [31.2 MB] 171s Get:13 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-dri3-0 s390x 1.15-1 [7270 B] 171s Get:14 http://ftpmaster.internal/ubuntu noble/main s390x libgl1-mesa-dri s390x 24.0.1-1ubuntu1 [7184 kB] 171s Get:15 http://ftpmaster.internal/ubuntu noble/main s390x libglvnd0 s390x 1.7.0-1 [106 kB] 171s Get:16 http://ftpmaster.internal/ubuntu noble/main s390x libx11-xcb1 s390x 2:1.8.7-1 [7778 B] 171s Get:17 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-dri2-0 s390x 1.15-1 [7426 B] 171s Get:18 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-glx0 s390x 1.15-1 [25.8 kB] 171s Get:19 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-present0 s390x 1.15-1 [5752 B] 171s Get:20 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-randr0 s390x 1.15-1 [19.0 kB] 171s Get:21 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-shm0 s390x 1.15-1 [5782 B] 171s Get:22 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-sync1 s390x 1.15-1 [9392 B] 171s Get:23 http://ftpmaster.internal/ubuntu noble/main s390x libxcb-xfixes0 s390x 1.15-1 [10.5 kB] 171s Get:24 http://ftpmaster.internal/ubuntu noble/main s390x libxfixes3 s390x 1:6.0.0-2 [10.6 kB] 171s Get:25 http://ftpmaster.internal/ubuntu noble/main s390x libxshmfence1 s390x 1.3-1build4 [5334 B] 171s Get:26 http://ftpmaster.internal/ubuntu noble/main s390x libxxf86vm1 s390x 1:1.1.4-1build3 [9900 B] 171s Get:27 http://ftpmaster.internal/ubuntu noble/main s390x libglx-mesa0 s390x 24.0.1-1ubuntu1 [182 kB] 171s Get:28 http://ftpmaster.internal/ubuntu noble/main s390x libglx0 s390x 1.7.0-1 [31.4 kB] 171s Get:29 http://ftpmaster.internal/ubuntu noble/main s390x libgl1 s390x 1.7.0-1 [137 kB] 171s Get:30 http://ftpmaster.internal/ubuntu noble/main s390x libxi6 s390x 2:1.8.1-1 [35.7 kB] 171s Get:31 http://ftpmaster.internal/ubuntu noble/universe s390x libglut3.12 s390x 3.4.0-1 [96.4 kB] 171s Get:32 http://ftpmaster.internal/ubuntu noble/universe s390x libntl44 s390x 11.5.1-1 [828 kB] 171s Get:33 http://ftpmaster.internal/ubuntu noble/universe s390x libsingular4m3n0 s390x 1:4.3.2-p10+ds-1build1 [2993 kB] 172s Get:34 http://ftpmaster.internal/ubuntu noble/universe s390x singular-data all 1:4.3.2-p10+ds-1build1 [4846 kB] 172s Get:35 http://ftpmaster.internal/ubuntu noble/universe s390x singular-ui s390x 1:4.3.2-p10+ds-1build1 [11.2 kB] 172s Get:36 http://ftpmaster.internal/ubuntu noble/universe s390x singular-modules s390x 1:4.3.2-p10+ds-1build1 [967 kB] 172s Get:37 http://ftpmaster.internal/ubuntu noble/universe s390x singular s390x 1:4.3.2-p10+ds-1build1 [5000 B] 172s Get:38 http://ftpmaster.internal/ubuntu noble/main s390x libopengl0 s390x 1.7.0-1 [45.9 kB] 172s Get:39 http://ftpmaster.internal/ubuntu noble/main s390x libglu1-mesa s390x 9.0.2-1.1 [145 kB] 172s Get:40 http://ftpmaster.internal/ubuntu noble/universe s390x qepcad s390x 1.74+ds-4 [491 kB] 173s Fetched 54.8 MB in 4s (14.0 MB/s) 173s Selecting previously unselected package libgmpxx4ldbl:s390x. 173s (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 ... 51726 files and directories currently installed.) 173s Preparing to unpack .../00-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu4_s390x.deb ... 173s Unpacking libgmpxx4ldbl:s390x (2:6.3.0+dfsg-2ubuntu4) ... 173s Selecting previously unselected package libgmp-dev:s390x. 173s Preparing to unpack .../01-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu4_s390x.deb ... 173s Unpacking libgmp-dev:s390x (2:6.3.0+dfsg-2ubuntu4) ... 173s Selecting previously unselected package libcdd0d:s390x. 173s Preparing to unpack .../02-libcdd0d_094m-1_s390x.deb ... 173s Unpacking libcdd0d:s390x (094m-1) ... 173s Selecting previously unselected package libdrm-amdgpu1:s390x. 173s Preparing to unpack .../03-libdrm-amdgpu1_2.4.120-2_s390x.deb ... 173s Unpacking libdrm-amdgpu1:s390x (2.4.120-2) ... 173s Selecting previously unselected package libdrm-nouveau2:s390x. 173s Preparing to unpack .../04-libdrm-nouveau2_2.4.120-2_s390x.deb ... 173s Unpacking libdrm-nouveau2:s390x (2.4.120-2) ... 173s Selecting previously unselected package libdrm-radeon1:s390x. 173s Preparing to unpack .../05-libdrm-radeon1_2.4.120-2_s390x.deb ... 173s Unpacking libdrm-radeon1:s390x (2.4.120-2) ... 173s Selecting previously unselected package libflint18:s390x. 173s Preparing to unpack .../06-libflint18_3.0.1-3_s390x.deb ... 173s Unpacking libflint18:s390x (3.0.1-3) ... 174s Selecting previously unselected package libgf2x3:s390x. 174s Preparing to unpack .../07-libgf2x3_1.3.0-2_s390x.deb ... 174s Unpacking libgf2x3:s390x (1.3.0-2) ... 174s Selecting previously unselected package libvulkan1:s390x. 174s Preparing to unpack .../08-libvulkan1_1.3.275.0-1_s390x.deb ... 174s Unpacking libvulkan1:s390x (1.3.275.0-1) ... 174s Selecting previously unselected package libglapi-mesa:s390x. 174s Preparing to unpack .../09-libglapi-mesa_24.0.1-1ubuntu1_s390x.deb ... 174s Unpacking libglapi-mesa:s390x (24.0.1-1ubuntu1) ... 174s Selecting previously unselected package libllvm17:s390x. 174s Preparing to unpack .../10-libllvm17_1%3a17.0.6-5build1_s390x.deb ... 174s Unpacking libllvm17:s390x (1:17.0.6-5build1) ... 177s Selecting previously unselected package libxcb-dri3-0:s390x. 177s Preparing to unpack .../11-libxcb-dri3-0_1.15-1_s390x.deb ... 177s Unpacking libxcb-dri3-0:s390x (1.15-1) ... 177s Selecting previously unselected package libgl1-mesa-dri:s390x. 177s Preparing to unpack .../12-libgl1-mesa-dri_24.0.1-1ubuntu1_s390x.deb ... 177s Unpacking libgl1-mesa-dri:s390x (24.0.1-1ubuntu1) ... 177s Selecting previously unselected package libglvnd0:s390x. 177s Preparing to unpack .../13-libglvnd0_1.7.0-1_s390x.deb ... 177s Unpacking libglvnd0:s390x (1.7.0-1) ... 177s Selecting previously unselected package libx11-xcb1:s390x. 177s Preparing to unpack .../14-libx11-xcb1_2%3a1.8.7-1_s390x.deb ... 177s Unpacking libx11-xcb1:s390x (2:1.8.7-1) ... 177s Selecting previously unselected package libxcb-dri2-0:s390x. 177s Preparing to unpack .../15-libxcb-dri2-0_1.15-1_s390x.deb ... 177s Unpacking libxcb-dri2-0:s390x (1.15-1) ... 177s Selecting previously unselected package libxcb-glx0:s390x. 177s Preparing to unpack .../16-libxcb-glx0_1.15-1_s390x.deb ... 177s Unpacking libxcb-glx0:s390x (1.15-1) ... 177s Selecting previously unselected package libxcb-present0:s390x. 177s Preparing to unpack .../17-libxcb-present0_1.15-1_s390x.deb ... 177s Unpacking libxcb-present0:s390x (1.15-1) ... 177s Selecting previously unselected package libxcb-randr0:s390x. 177s Preparing to unpack .../18-libxcb-randr0_1.15-1_s390x.deb ... 177s Unpacking libxcb-randr0:s390x (1.15-1) ... 177s Selecting previously unselected package libxcb-shm0:s390x. 177s Preparing to unpack .../19-libxcb-shm0_1.15-1_s390x.deb ... 177s Unpacking libxcb-shm0:s390x (1.15-1) ... 177s Selecting previously unselected package libxcb-sync1:s390x. 178s Preparing to unpack .../20-libxcb-sync1_1.15-1_s390x.deb ... 178s Unpacking libxcb-sync1:s390x (1.15-1) ... 178s Selecting previously unselected package libxcb-xfixes0:s390x. 178s Preparing to unpack .../21-libxcb-xfixes0_1.15-1_s390x.deb ... 178s Unpacking libxcb-xfixes0:s390x (1.15-1) ... 178s Selecting previously unselected package libxfixes3:s390x. 178s Preparing to unpack .../22-libxfixes3_1%3a6.0.0-2_s390x.deb ... 178s Unpacking libxfixes3:s390x (1:6.0.0-2) ... 178s Selecting previously unselected package libxshmfence1:s390x. 178s Preparing to unpack .../23-libxshmfence1_1.3-1build4_s390x.deb ... 178s Unpacking libxshmfence1:s390x (1.3-1build4) ... 178s Selecting previously unselected package libxxf86vm1:s390x. 178s Preparing to unpack .../24-libxxf86vm1_1%3a1.1.4-1build3_s390x.deb ... 178s Unpacking libxxf86vm1:s390x (1:1.1.4-1build3) ... 178s Selecting previously unselected package libglx-mesa0:s390x. 178s Preparing to unpack .../25-libglx-mesa0_24.0.1-1ubuntu1_s390x.deb ... 178s Unpacking libglx-mesa0:s390x (24.0.1-1ubuntu1) ... 178s Selecting previously unselected package libglx0:s390x. 178s Preparing to unpack .../26-libglx0_1.7.0-1_s390x.deb ... 178s Unpacking libglx0:s390x (1.7.0-1) ... 178s Selecting previously unselected package libgl1:s390x. 178s Preparing to unpack .../27-libgl1_1.7.0-1_s390x.deb ... 178s Unpacking libgl1:s390x (1.7.0-1) ... 178s Selecting previously unselected package libxi6:s390x. 178s Preparing to unpack .../28-libxi6_2%3a1.8.1-1_s390x.deb ... 178s Unpacking libxi6:s390x (2:1.8.1-1) ... 178s Selecting previously unselected package libglut3.12:s390x. 178s Preparing to unpack .../29-libglut3.12_3.4.0-1_s390x.deb ... 178s Unpacking libglut3.12:s390x (3.4.0-1) ... 178s Selecting previously unselected package libntl44:s390x. 178s Preparing to unpack .../30-libntl44_11.5.1-1_s390x.deb ... 178s Unpacking libntl44:s390x (11.5.1-1) ... 178s Selecting previously unselected package libsingular4m3n0:s390x. 178s Preparing to unpack .../31-libsingular4m3n0_1%3a4.3.2-p10+ds-1build1_s390x.deb ... 178s Unpacking libsingular4m3n0:s390x (1:4.3.2-p10+ds-1build1) ... 178s Selecting previously unselected package singular-data. 178s Preparing to unpack .../32-singular-data_1%3a4.3.2-p10+ds-1build1_all.deb ... 178s Unpacking singular-data (1:4.3.2-p10+ds-1build1) ... 179s Selecting previously unselected package singular-ui. 179s Preparing to unpack .../33-singular-ui_1%3a4.3.2-p10+ds-1build1_s390x.deb ... 179s Unpacking singular-ui (1:4.3.2-p10+ds-1build1) ... 179s Selecting previously unselected package singular-modules:s390x. 179s Preparing to unpack .../34-singular-modules_1%3a4.3.2-p10+ds-1build1_s390x.deb ... 179s Unpacking singular-modules:s390x (1:4.3.2-p10+ds-1build1) ... 179s Selecting previously unselected package singular:s390x. 179s Preparing to unpack .../35-singular_1%3a4.3.2-p10+ds-1build1_s390x.deb ... 179s Unpacking singular:s390x (1:4.3.2-p10+ds-1build1) ... 179s Selecting previously unselected package libopengl0:s390x. 179s Preparing to unpack .../36-libopengl0_1.7.0-1_s390x.deb ... 179s Unpacking libopengl0:s390x (1.7.0-1) ... 179s Selecting previously unselected package libglu1-mesa:s390x. 179s Preparing to unpack .../37-libglu1-mesa_9.0.2-1.1_s390x.deb ... 179s Unpacking libglu1-mesa:s390x (9.0.2-1.1) ... 179s Selecting previously unselected package qepcad. 179s Preparing to unpack .../38-qepcad_1.74+ds-4_s390x.deb ... 179s Unpacking qepcad (1.74+ds-4) ... 179s Selecting previously unselected package autopkgtest-satdep. 179s Preparing to unpack .../39-1-autopkgtest-satdep.deb ... 179s Unpacking autopkgtest-satdep (0) ... 179s Setting up libxcb-dri3-0:s390x (1.15-1) ... 179s Setting up libx11-xcb1:s390x (2:1.8.7-1) ... 179s Setting up libdrm-nouveau2:s390x (2.4.120-2) ... 179s Setting up libxcb-xfixes0:s390x (1.15-1) ... 179s Setting up libxi6:s390x (2:1.8.1-1) ... 179s Setting up libdrm-radeon1:s390x (2.4.120-2) ... 179s Setting up libglvnd0:s390x (1.7.0-1) ... 179s Setting up libgf2x3:s390x (1.3.0-2) ... 179s Setting up libxcb-glx0:s390x (1.15-1) ... 179s Setting up libxcb-shm0:s390x (1.15-1) ... 179s Setting up libopengl0:s390x (1.7.0-1) ... 179s Setting up libxxf86vm1:s390x (1:1.1.4-1build3) ... 179s Setting up libxcb-present0:s390x (1.15-1) ... 179s Setting up libgmpxx4ldbl:s390x (2:6.3.0+dfsg-2ubuntu4) ... 179s Setting up libxfixes3:s390x (1:6.0.0-2) ... 179s Setting up libxcb-sync1:s390x (1.15-1) ... 179s Setting up singular-data (1:4.3.2-p10+ds-1build1) ... 179s Setting up libflint18:s390x (3.0.1-3) ... 179s Setting up libglapi-mesa:s390x (24.0.1-1ubuntu1) ... 179s Setting up libvulkan1:s390x (1.3.275.0-1) ... 179s Setting up libxcb-dri2-0:s390x (1.15-1) ... 179s Setting up libntl44:s390x (11.5.1-1) ... 179s Setting up libxshmfence1:s390x (1.3-1build4) ... 179s Setting up libxcb-randr0:s390x (1.15-1) ... 179s Setting up libglu1-mesa:s390x (9.0.2-1.1) ... 179s Setting up libllvm17:s390x (1:17.0.6-5build1) ... 179s Setting up libdrm-amdgpu1:s390x (2.4.120-2) ... 179s Setting up libgmp-dev:s390x (2:6.3.0+dfsg-2ubuntu4) ... 179s Setting up libcdd0d:s390x (094m-1) ... 179s Setting up libgl1-mesa-dri:s390x (24.0.1-1ubuntu1) ... 179s Setting up libsingular4m3n0:s390x (1:4.3.2-p10+ds-1build1) ... 179s Setting up singular-ui (1:4.3.2-p10+ds-1build1) ... 179s Setting up libglx-mesa0:s390x (24.0.1-1ubuntu1) ... 179s Setting up libglx0:s390x (1.7.0-1) ... 179s Setting up singular-modules:s390x (1:4.3.2-p10+ds-1build1) ... 179s Setting up libgl1:s390x (1.7.0-1) ... 179s Setting up singular:s390x (1:4.3.2-p10+ds-1build1) ... 179s Setting up libglut3.12:s390x (3.4.0-1) ... 179s Setting up qepcad (1.74+ds-4) ... 179s Setting up autopkgtest-satdep (0) ... 179s Processing triggers for man-db (2.12.0-3) ... 180s Processing triggers for libc-bin (2.39-0ubuntu6) ... 186s (Reading database ... 52314 files and directories currently installed.) 186s Removing autopkgtest-satdep (0) ... 186s autopkgtest [12:36:27]: 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 186s autopkgtest [12:36:27]: test command1: [----------------------- 187s ======================================================= 187s Quantifier Elimination 187s in 187s Elementary Algebra and Geometry 187s by 187s Partial Cylindrical Algebraic Decomposition 187s 187s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 187s 187s by 187s Hoon Hong 187s (hhong@math.ncsu.edu) 187s 187s With contributions by: Christopher W. Brown, George E. 187s Collins, Mark J. Encarnacion, Jeremy R. Johnson 187s Werner Krandick, Richard Liska, Scott McCallum, 187s Nicolas Robidoux, and Stanly Steinberg 187s ======================================================= 187s Enter an informal description between '[' and ']': 187s [ Computes the "not" of "is p positive semidefinite?" ]Enter a variable list: 187s (w,z,x,y)Enter the number of free variables: 187s 0 187s Enter a prenex formula: 187s (F w)(F z)(F x)(F y)[ 187s w^6 + 2 z^2 w^3 + x^4 + y^4 + z^4 + 2 x^2 w + 187s 2 x^2 z + 3 x^2 + w^2 + 2 z w + z^2 + 2 z + 2 w + 1 < 0 187s ]. 187s 187s ======================================================= 187s 187s Before Normalization > 187s finish 187s 187s An equivalent quantifier-free formula: 187s 187s FALSE 187s 187s 187s ===================== The End ======================= 187s 187s ----------------------------------------------------------------------------- 187s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 187s 364766 Cells in AVAIL, 500000 Cells in SPACE. 187s 187s System time: 11 milliseconds. 187s System time after the initialization: 11 milliseconds. 187s ----------------------------------------------------------------------------- 187s ======================================================= 187s Quantifier Elimination 187s in 187s Elementary Algebra and Geometry 187s by 187s Partial Cylindrical Algebraic Decomposition 187s 187s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 187s 187s by 187s Hoon Hong 187s (hhong@math.ncsu.edu) 187s 187s With contributions by: Christopher W. Brown, George E. 187s Collins, Mark J. Encarnacion, Jeremy R. Johnson 187s Werner Krandick, Richard Liska, Scott McCallum, 187s Nicolas Robidoux, and Stanly Steinberg 187s ======================================================= 187s Enter an informal description between '[' and ']': 187s [ Charaterizing triangles with external bisectors ]Enter a variable list: 187s (c,b,a)Enter the number of free variables: 187s 3 187s Enter a prenex formula: 187s [ 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)) ]. 187s 187s ======================================================= 187s 187s Before Normalization > 187s assume [ a > 0 /\ b > 0 /\ c > 0 /\ a < b + c /\ b < a + c /\ c < a + b ] 187s Before Normalization > 187s finish 187s 187s An equivalent quantifier-free formula: 187s 187s a - c < 0 187s 187s 187s ===================== The End ======================= 187s 187s ----------------------------------------------------------------------------- 187s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 187s 456295 Cells in AVAIL, 500000 Cells in SPACE. 187s 187s System time: 8 milliseconds. 187s System time after the initialization: 7 milliseconds. 187s ----------------------------------------------------------------------------- 187s ======================================================= 187s Quantifier Elimination 187s in 187s Elementary Algebra and Geometry 187s by 187s Partial Cylindrical Algebraic Decomposition 187s 187s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 187s 187s by 187s Hoon Hong 187s (hhong@math.ncsu.edu) 187s 187s With contributions by: Christopher W. Brown, George E. 187s Collins, Mark J. Encarnacion, Jeremy R. Johnson 187s Werner Krandick, Richard Liska, Scott McCallum, 187s Nicolas Robidoux, and Stanly Steinberg 187s ======================================================= 187s Enter an informal description between '[' and ']': 187s [ Anai's Problem ]Enter a variable list: 187s (s,z)Enter the number of free variables: 187s 2 187s Enter a prenex formula: 187s [ 187s [s z + s - 1 >= 0 /\ s = 0 /\ z + 1 >= 0] 187s \/ [s z + s >= 0 /\ s = 0 /\ z = 0] \/ 187s [s^2 + 4 s z >= 0 /\ [[ 187s s^2 - 2 s <= 0 /\ s z + s - 1 <= 0 /\ s = 0 /\ [ 187s s^2 + 3 s z - s - 2 z <= 0 187s \/ [s + z - 1 <= 0 /\ [s z + s - 1 = 0 \/ 187s z = 0]]] /\ [s + 2 z >= 0 \/ z = 0]] \/ 187s [s^2 - 2 s <= 0 /\ s + 2 z >= 0 /\ s = 0 /\ [ 187s [s^2 + 3 s z - s - 2 z <= 0 /\ [s z + s - 1 <= 0 187s \/ z = 0]] \/ [s + z - 1 >= 0 /\ 187s [s z + s - 1 >= 0 \/ z = 0]]]]]] \/ 187s [s = 0 /\ z >= 0] 187s ]. 187s 187s ======================================================= 187s 187s Before Normalization > 187s finish 187s 187s An equivalent quantifier-free formula: 187s 187s s = 0 /\ z >= 0 187s 187s 187s ===================== The End ======================= 187s 187s ----------------------------------------------------------------------------- 187s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 187s 475605 Cells in AVAIL, 500000 Cells in SPACE. 187s 187s System time: 4 milliseconds. 187s System time after the initialization: 4 milliseconds. 187s ----------------------------------------------------------------------------- 187s ======================================================= 187s Quantifier Elimination 187s in 187s Elementary Algebra and Geometry 187s by 187s Partial Cylindrical Algebraic Decomposition 187s 187s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 187s 187s by 187s Hoon Hong 187s (hhong@math.ncsu.edu) 187s 187s With contributions by: Christopher W. Brown, George E. 187s Collins, Mark J. Encarnacion, Jeremy R. Johnson 187s Werner Krandick, Richard Liska, Scott McCallum, 187s Nicolas Robidoux, and Stanly Steinberg 187s ======================================================= 187s Enter an informal description between '[' and ']': 187s [ 187s Edge-square product problem with equational constaints 187s ]Enter a variable list: 187s (x,y,x1,x2)Enter the number of free variables: 187s 2 187s Enter a prenex formula: 187s (E x1)(E x2)[ 187s y = x1 (x1 x2 - x) + x2 /\ 187s 0 <= x1 /\ x1 <= 2 /\ 187s 2 <= x2 /\ x2 <= 4 /\ 187s -1 <= (x1 x2 - x) /\ (x1 x2 - x) <= 1 187s ]. 187s 187s ======================================================= 187s 187s Before Normalization > 187s prop-eqn-const 187s 187s Before Normalization > 187s go 187s 187s Before Projection (x2) > 187s d-level-f 4 187s A_4,1 = input 187s = x1^2 x2 + x2 - x x1 - y 187s A_4,2 = input 187s = x2 - 2 187s A_4,3 = input 187s = x2 - 4 187s A_4,4 = input 187s = x1 x2 - x + 1 187s A_4,5 = input 187s = x1 x2 - x - 1 187s 187s 187s Before Projection (x2) > 187s eqn-const-l (A_4,1) 187s Before Projection (x2) > 187s finish 193s 193s An equivalent quantifier-free formula: 193s 193s 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 ] ] 193s 193s 193s ===================== The End ======================= 193s 193s ----------------------------------------------------------------------------- 193s 128 Garbage collections, 51923922 Cells and 51 Arrays reclaimed, in 733 milliseconds. 193s 102472 Cells in AVAIL, 500000 Cells in SPACE. 193s 193s System time: 3791 milliseconds. 193s System time after the initialization: 3791 milliseconds. 193s ----------------------------------------------------------------------------- 193s ======================================================= 193s Quantifier Elimination 193s in 193s Elementary Algebra and Geometry 193s by 193s Partial Cylindrical Algebraic Decomposition 193s 193s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 193s 193s by 193s Hoon Hong 193s (hhong@math.ncsu.edu) 193s 193s With contributions by: Christopher W. Brown, George E. 193s Collins, Mark J. Encarnacion, Jeremy R. Johnson 193s Werner Krandick, Richard Liska, Scott McCallum, 193s Nicolas Robidoux, and Stanly Steinberg 193s ======================================================= 193s Enter an informal description between '[' and ']': 193s [ The positive-definite quartic problem ]Enter a variable list: 193s (a,b,c,d,x)Enter the number of free variables: 193s 4 193s Enter a prenex formula: 193s (Ax)[ x^4 + a x^3 + b x^2 + c x + d > 0 ]. 193s 193s ======================================================= 193s 193s Before Normalization > 193s go 193s 193s Before Projection (x) > 193s go 193s 193s Before Choice > 193s go 193s 193s Before Solution > 193s pdq 193s CAD is not projection definable. 193s 193s Before Solution > 193s sol E 193s An equivalent quantifier-free formula: 193s 193s 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 ] 193s 193s 193s Before Solution > 193s sol T 193s An equivalent quantifier-free formula: 193s 193s 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 ] ] 193s 193s 193s Before Solution > 193s quit 193s Quitting the QEPCAD system... Bye! 193s ======================================================= 193s Quantifier Elimination 193s in 193s Elementary Algebra and Geometry 193s by 193s Partial Cylindrical Algebraic Decomposition 193s 193s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 193s 193s by 193s Hoon Hong 193s (hhong@math.ncsu.edu) 193s 193s With contributions by: Christopher W. Brown, George E. 193s Collins, Mark J. Encarnacion, Jeremy R. Johnson 193s Werner Krandick, Richard Liska, Scott McCallum, 193s Nicolas Robidoux, and Stanly Steinberg 193s ======================================================= 193s Enter an informal description between '[' and ']': 193s [ Example 5.14 from Hong, Liska, Steinberg, 193s "Testing Stability by Quantifier Elimination" 193s Journal of Symbolic Computation, Vol. 24, No. 2, 193s August 1997. The "G" quatifier means "for all but 193s finitely many". ]Enter a variable list: 193s (a,b,c2)Enter the number of free variables: 193s 0 193s Enter a prenex formula: 193s (G a)(G b)(G c2)[ 193s [ 0 <= a /\ a <= 1 /\ 0 <= b /\ b <= 1 ] 193s ==> 193s [ 193s c2^4 (a - b + 1) ( a - b - 1) (a - b)^2 <= 0 193s /\ 193s c2^4 b^2 (b^2 - 1) + 4 c2^3 a b^2 (b - 1) 193s + 2 c2^2 a b (3 a b - 2 a - 2 b + 1) 193s + 4 c2 a^2 b (a - 1) + a^2 (a^2 - 1) <= 0 193s /\ 193s [ 193s c2^2 ( 8 a^2 b^2 - 12 a^2 b + 5 a^2 - 8 a b^3 + 8 a b^2 193s + 2 a b - 4 a + 4 b^4 - 4 b^3 - 3 b^2 + 4 b ) 193s + 2 c2 ( 4 a^3 b - 2 a^3 - 4 a^2 b^2 - 2 a^2 b + a^2 193s + 4 a b^3 - 2 a b^2 + 2 a b - 2 b^3 + b^2 ) 193s + 4 a^4 - 8 a^3 b - 4 a^3 + 8 a^2 b^2 + 8 a^2 b - 3 a^2 193s - 12 a b^2 + 2 a b + 4 a + 5 b^2 - 4 b <= 0 193s \/ 193s 2 c2^4 b ( 3 a^2 b - 2 a^2 - 2 a b^2 + a + b^3 - b) 193s + 4 c2^3 a b ( a^2 - a + b^2 - b) 193s + 2 c2^2 a ( a^3 - 2 a^2b + 3 a b^2 - a - 2 b^2 + b ) <= 0 193s ] 193s ] 193s ]. 193s 193s ======================================================= 193s 193s Before Normalization > 193s finish 193s 193s An equivalent quantifier-free formula: 193s 193s TRUE 193s 193s 193s ===================== The End ======================= 193s 193s ----------------------------------------------------------------------------- 193s 3 Garbage collections, 1429997 Cells and 0 Arrays reclaimed, in 7 milliseconds. 193s 122341 Cells in AVAIL, 500000 Cells in SPACE. 193s 193s System time: 109 milliseconds. 193s System time after the initialization: 109 milliseconds. 193s ----------------------------------------------------------------------------- 193s ======================================================= 193s CAD2D - A Program for producing CADs of R^2 193s 193s Based on QEPCAD Version B 1.74, Feb 25 2021, by Hoon Hong 193s with contributions by: Christopher W. Brown, George E. 193s Collins, Mark J. Encarnacion, Jeremy R. Johnson 193s Werner Krandick, Richard Liska, Scott McCallum, 193s Nicolas Robiduex, and Stanly Steinberg 193s ======================================================= 193s Enter an informal description between '[' and ']': 193s [ An interesting CAD of R^2 to plot ]Enter a variable list: 193s (x,y)Enter the number of free variables: 193s 2 193s Enter a prenex formula: 193s [ (x^2 + y^2)^4 - 7 x^6 y + 35 x^4 y^3 - 21 x^2 y^5 + 193s y^7 <= 0 /\ 2 y < x^2 + 1 ]. 193s 193s ======================================================= 201s 201s Before Solution > 201s p-2d-cad 201s Before Solution > 201s quit 201s Quitting the QEPCAD system... Bye! 201s autopkgtest [12:36:42]: test command1: -----------------------] 202s autopkgtest [12:36:43]: test command1: - - - - - - - - - - results - - - - - - - - - - 202s command1 PASS 202s autopkgtest [12:36:43]: @@@@@@@@@@@@@@@@@@@@ summary 202s command1 PASS 213s Creating nova instance adt-noble-s390x-qepcad-20240323-123321-juju-7f2275-prod-proposed-migration-environment-3 from image adt/ubuntu-noble-s390x-server-20240323.img (UUID 15bd59e1-c29b-45d7-aba1-73ff15182fb5)...