0s autopkgtest [10:19:24]: starting date and time: 2025-03-15 10:19:24+0000 0s autopkgtest [10:19:24]: git checkout: 325255d2 Merge branch 'pin-any-arch' into 'ubuntu/production' 0s autopkgtest [10:19:24]: host juju-7f2275-prod-proposed-migration-environment-9; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.8t6esi9n/out --timeout-copy=6000 --setup-commands 'ln -s /dev/null /etc/systemd/system/bluetooth.service; printf "http_proxy=http://squid.internal:3128\nhttps_proxy=http://squid.internal:3128\nno_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\n" >> /etc/environment' --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 -- lxd -r lxd-armhf-10.145.243.115 lxd-armhf-10.145.243.115:autopkgtest/ubuntu/plucky/armhf 28s autopkgtest [10:19:52]: testbed dpkg architecture: armhf 30s autopkgtest [10:19:54]: testbed apt version: 2.9.33 34s autopkgtest [10:19:58]: @@@@@@@@@@@@@@@@@@@@ test bed setup 36s autopkgtest [10:20:00]: testbed release detected to be: None 44s autopkgtest [10:20:08]: updating testbed package index (apt update) 46s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed InRelease [126 kB] 46s Get:2 http://ftpmaster.internal/ubuntu plucky InRelease [257 kB] 47s Get:3 http://ftpmaster.internal/ubuntu plucky-updates InRelease [126 kB] 47s Get:4 http://ftpmaster.internal/ubuntu plucky-security InRelease [126 kB] 47s Get:5 http://ftpmaster.internal/ubuntu plucky-proposed/universe Sources [437 kB] 48s Get:6 http://ftpmaster.internal/ubuntu plucky-proposed/main Sources [51.3 kB] 48s Get:7 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse Sources [17.9 kB] 48s Get:8 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf Packages [85.6 kB] 48s Get:9 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf c-n-f Metadata [1640 B] 48s Get:10 http://ftpmaster.internal/ubuntu plucky-proposed/restricted armhf c-n-f Metadata [116 B] 48s Get:11 http://ftpmaster.internal/ubuntu plucky-proposed/universe armhf Packages [357 kB] 48s Get:12 http://ftpmaster.internal/ubuntu plucky-proposed/universe armhf c-n-f Metadata [8192 B] 48s Get:13 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse armhf Packages [6140 B] 48s Get:14 http://ftpmaster.internal/ubuntu plucky-proposed/multiverse armhf c-n-f Metadata [188 B] 48s Get:15 http://ftpmaster.internal/ubuntu plucky/main Sources [1388 kB] 50s Get:16 http://ftpmaster.internal/ubuntu plucky/universe Sources [21.0 MB] 75s Get:17 http://ftpmaster.internal/ubuntu plucky/main armhf Packages [1381 kB] 76s Get:18 http://ftpmaster.internal/ubuntu plucky/main armhf c-n-f Metadata [29.5 kB] 76s Get:19 http://ftpmaster.internal/ubuntu plucky/restricted armhf c-n-f Metadata [108 B] 76s Get:20 http://ftpmaster.internal/ubuntu plucky/universe armhf Packages [15.2 MB] 96s Fetched 40.7 MB in 50s (812 kB/s) 97s Reading package lists... 103s autopkgtest [10:21:07]: upgrading testbed (apt dist-upgrade and autopurge) 105s Reading package lists... 105s Building dependency tree... 105s Reading state information... 107s Calculating upgrade...Starting pkgProblemResolver with broken count: 0 107s Starting 2 pkgProblemResolver with broken count: 0 107s Done 107s Entering ResolveByKeep 108s 108s Calculating upgrade... 108s The following packages will be upgraded: 108s libc-bin libc6 locales python3-jinja2 strace 108s 5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 108s Need to get 8277 kB of archives. 108s After this operation, 23.6 kB of additional disk space will be used. 108s Get:1 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc6 armhf 2.41-1ubuntu2 [2932 kB] 112s Get:2 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf libc-bin armhf 2.41-1ubuntu2 [545 kB] 113s Get:3 http://ftpmaster.internal/ubuntu plucky-proposed/main armhf locales all 2.41-1ubuntu2 [4246 kB] 117s Get:4 http://ftpmaster.internal/ubuntu plucky/main armhf strace armhf 6.13+ds-1ubuntu1 [445 kB] 117s Get:5 http://ftpmaster.internal/ubuntu plucky/main armhf python3-jinja2 all 3.1.5-2ubuntu1 [109 kB] 118s Preconfiguring packages ... 118s Fetched 8277 kB in 9s (880 kB/s) 118s (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 ... 64655 files and directories currently installed.) 118s Preparing to unpack .../libc6_2.41-1ubuntu2_armhf.deb ... 118s Unpacking libc6:armhf (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 119s Setting up libc6:armhf (2.41-1ubuntu2) ... 119s (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 ... 64655 files and directories currently installed.) 119s Preparing to unpack .../libc-bin_2.41-1ubuntu2_armhf.deb ... 119s Unpacking libc-bin (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 119s Setting up libc-bin (2.41-1ubuntu2) ... 119s (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 ... 64655 files and directories currently installed.) 119s Preparing to unpack .../locales_2.41-1ubuntu2_all.deb ... 119s Unpacking locales (2.41-1ubuntu2) over (2.41-1ubuntu1) ... 119s Preparing to unpack .../strace_6.13+ds-1ubuntu1_armhf.deb ... 119s Unpacking strace (6.13+ds-1ubuntu1) over (6.11-0ubuntu1) ... 119s Preparing to unpack .../python3-jinja2_3.1.5-2ubuntu1_all.deb ... 120s Unpacking python3-jinja2 (3.1.5-2ubuntu1) over (3.1.5-2) ... 120s Setting up locales (2.41-1ubuntu2) ... 122s Generating locales (this might take a while)... 122s en_US.UTF-8... done 122s Generation complete. 122s Setting up python3-jinja2 (3.1.5-2ubuntu1) ... 122s Setting up strace (6.13+ds-1ubuntu1) ... 122s Processing triggers for man-db (2.13.0-1) ... 123s Processing triggers for systemd (257.3-1ubuntu3) ... 126s Reading package lists... 126s Building dependency tree... 126s Reading state information... 126s Starting pkgProblemResolver with broken count: 0 127s Starting 2 pkgProblemResolver with broken count: 0 127s Done 127s Solving dependencies... 127s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 130s autopkgtest [10:21:33]: rebooting testbed after setup commands that affected boot 171s autopkgtest [10:22:15]: testbed running kernel: Linux 6.8.0-52-generic #53~22.04.1-Ubuntu SMP PREEMPT_DYNAMIC Wed Jan 15 18:10:51 UTC 2 195s autopkgtest [10:22:39]: @@@@@@@@@@@@@@@@@@@@ apt-source qepcad 206s Get:1 http://ftpmaster.internal/ubuntu plucky/universe qepcad 1.74+ds-5 (dsc) [2016 B] 206s Get:2 http://ftpmaster.internal/ubuntu plucky/universe qepcad 1.74+ds-5 (tar) [255 kB] 206s Get:3 http://ftpmaster.internal/ubuntu plucky/universe qepcad 1.74+ds-5 (diff) [27.0 kB] 206s gpgv: Signature made Sun Aug 18 00:52:41 2024 UTC 206s gpgv: using RSA key BA9821C12E07894FB2E4AD0091DC4A779EC5C910 206s gpgv: issuer "dtorrance@debian.org" 206s gpgv: Can't check signature: No public key 206s dpkg-source: warning: cannot verify inline signature for ./qepcad_1.74+ds-5.dsc: no acceptable signature found 206s autopkgtest [10:22:50]: testing package qepcad version 1.74+ds-5 208s autopkgtest [10:22:52]: build not needed 211s autopkgtest [10:22:55]: test command1: preparing testbed 212s Reading package lists... 213s Building dependency tree... 213s Reading state information... 213s Starting pkgProblemResolver with broken count: 0 213s Starting 2 pkgProblemResolver with broken count: 0 213s Done 214s The following NEW packages will be installed: 214s libcdd0t64 libflint19 libgbm1 libgf2x3 libgl1 libgl1-mesa-dri libglu1-mesa 214s libglut3.12 libglvnd0 libglx-mesa0 libglx0 libgmp-dev libgmpxx4ldbl 214s libllvm19 libntl44 libopengl0 libsingular4m4n1 libvulkan1 libwayland-server0 214s libx11-xcb1 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-randr0 214s libxcb-shm0 libxcb-sync1 libxcb-xfixes0 libxi6 libxshmfence1 libxxf86vm1 214s mesa-libgallium qepcad singular singular-data singular-modules singular-ui 214s 0 upgraded, 36 newly installed, 0 to remove and 0 not upgraded. 214s Need to get 50.7 MB of archives. 214s After this operation, 182 MB of additional disk space will be used. 214s Get:1 http://ftpmaster.internal/ubuntu plucky/main armhf libgmpxx4ldbl armhf 2:6.3.0+dfsg-3ubuntu1 [9152 B] 214s Get:2 http://ftpmaster.internal/ubuntu plucky/main armhf libgmp-dev armhf 2:6.3.0+dfsg-3ubuntu1 [290 kB] 214s Get:3 http://ftpmaster.internal/ubuntu plucky/universe armhf libcdd0t64 armhf 094m-1.1build1 [92.2 kB] 215s Get:4 http://ftpmaster.internal/ubuntu plucky/universe armhf libflint19 armhf 3.1.3-2 [3432 kB] 218s Get:5 http://ftpmaster.internal/ubuntu plucky/main armhf libwayland-server0 armhf 1.23.1-3 [30.3 kB] 218s Get:6 http://ftpmaster.internal/ubuntu plucky/main armhf libllvm19 armhf 1:19.1.7-1ubuntu2 [27.8 MB] 244s Get:7 http://ftpmaster.internal/ubuntu plucky/main armhf libx11-xcb1 armhf 2:1.8.10-2 [7902 B] 244s Get:8 http://ftpmaster.internal/ubuntu plucky/main armhf libxcb-dri3-0 armhf 1.17.0-2 [7120 B] 244s Get:9 http://ftpmaster.internal/ubuntu plucky/main armhf libxcb-present0 armhf 1.17.0-2 [5940 B] 244s Get:10 http://ftpmaster.internal/ubuntu plucky/main armhf libxcb-randr0 armhf 1.17.0-2 [17.0 kB] 244s Get:11 http://ftpmaster.internal/ubuntu plucky/main armhf libxcb-sync1 armhf 1.17.0-2 [8732 B] 244s Get:12 http://ftpmaster.internal/ubuntu plucky/main armhf libxcb-xfixes0 armhf 1.17.0-2 [10.0 kB] 244s Get:13 http://ftpmaster.internal/ubuntu plucky/main armhf libxshmfence1 armhf 1.3-1build5 [4464 B] 245s Get:14 http://ftpmaster.internal/ubuntu plucky/main armhf mesa-libgallium armhf 25.0.1-2ubuntu1 [8255 kB] 252s Get:15 http://ftpmaster.internal/ubuntu plucky/main armhf libgbm1 armhf 25.0.1-2ubuntu1 [29.1 kB] 252s Get:16 http://ftpmaster.internal/ubuntu plucky/universe armhf libgf2x3 armhf 1.3.0-3 [29.4 kB] 252s Get:17 http://ftpmaster.internal/ubuntu plucky/main armhf libvulkan1 armhf 1.4.304.0-1 [127 kB] 252s Get:18 http://ftpmaster.internal/ubuntu plucky/main armhf libgl1-mesa-dri armhf 25.0.1-2ubuntu1 [31.9 kB] 252s Get:19 http://ftpmaster.internal/ubuntu plucky/main armhf libglvnd0 armhf 1.7.0-1build1 [83.7 kB] 252s Get:20 http://ftpmaster.internal/ubuntu plucky/main armhf libxcb-glx0 armhf 1.17.0-2 [22.6 kB] 253s Get:21 http://ftpmaster.internal/ubuntu plucky/main armhf libxcb-shm0 armhf 1.17.0-2 [5774 B] 253s Get:22 http://ftpmaster.internal/ubuntu plucky/main armhf libxxf86vm1 armhf 1:1.1.4-1build4 [8068 B] 253s Get:23 http://ftpmaster.internal/ubuntu plucky/main armhf libglx-mesa0 armhf 25.0.1-2ubuntu1 [120 kB] 253s Get:24 http://ftpmaster.internal/ubuntu plucky/main armhf libglx0 armhf 1.7.0-1build1 [39.3 kB] 253s Get:25 http://ftpmaster.internal/ubuntu plucky/main armhf libgl1 armhf 1.7.0-1build1 [105 kB] 253s Get:26 http://ftpmaster.internal/ubuntu plucky/main armhf libxi6 armhf 2:1.8.2-1 [26.5 kB] 253s Get:27 http://ftpmaster.internal/ubuntu plucky/universe armhf libglut3.12 armhf 3.4.0-4 [84.1 kB] 253s Get:28 http://ftpmaster.internal/ubuntu plucky/universe armhf libntl44 armhf 11.5.1-1 [787 kB] 253s Get:29 http://ftpmaster.internal/ubuntu plucky/universe armhf libsingular4m4n1 armhf 1:4.4.1+ds-2 [2552 kB] 256s Get:30 http://ftpmaster.internal/ubuntu plucky/universe armhf singular-data all 1:4.4.1+ds-2 [4886 kB] 261s Get:31 http://ftpmaster.internal/ubuntu plucky/universe armhf singular-ui armhf 1:4.4.1+ds-2 [11.0 kB] 261s Get:32 http://ftpmaster.internal/ubuntu plucky/universe armhf singular-modules armhf 1:4.4.1+ds-2 [1149 kB] 262s Get:33 http://ftpmaster.internal/ubuntu plucky/universe armhf singular armhf 1:4.4.1+ds-2 [4990 B] 262s Get:34 http://ftpmaster.internal/ubuntu plucky/main armhf libopengl0 armhf 1.7.0-1build1 [36.2 kB] 262s Get:35 http://ftpmaster.internal/ubuntu plucky/main armhf libglu1-mesa armhf 9.0.2-1.1build1 [153 kB] 262s Get:36 http://ftpmaster.internal/ubuntu plucky/universe armhf qepcad armhf 1.74+ds-5 [428 kB] 263s Fetched 50.7 MB in 49s (1044 kB/s) 263s Selecting previously unselected package libgmpxx4ldbl:armhf. 263s (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 ... 64655 files and directories currently installed.) 263s Preparing to unpack .../00-libgmpxx4ldbl_2%3a6.3.0+dfsg-3ubuntu1_armhf.deb ... 263s Unpacking libgmpxx4ldbl:armhf (2:6.3.0+dfsg-3ubuntu1) ... 263s Selecting previously unselected package libgmp-dev:armhf. 263s Preparing to unpack .../01-libgmp-dev_2%3a6.3.0+dfsg-3ubuntu1_armhf.deb ... 263s Unpacking libgmp-dev:armhf (2:6.3.0+dfsg-3ubuntu1) ... 263s Selecting previously unselected package libcdd0t64:armhf. 263s Preparing to unpack .../02-libcdd0t64_094m-1.1build1_armhf.deb ... 263s Unpacking libcdd0t64:armhf (094m-1.1build1) ... 263s Selecting previously unselected package libflint19:armhf. 263s Preparing to unpack .../03-libflint19_3.1.3-2_armhf.deb ... 263s Unpacking libflint19:armhf (3.1.3-2) ... 263s Selecting previously unselected package libwayland-server0:armhf. 263s Preparing to unpack .../04-libwayland-server0_1.23.1-3_armhf.deb ... 263s Unpacking libwayland-server0:armhf (1.23.1-3) ... 263s Selecting previously unselected package libllvm19:armhf. 263s Preparing to unpack .../05-libllvm19_1%3a19.1.7-1ubuntu2_armhf.deb ... 263s Unpacking libllvm19:armhf (1:19.1.7-1ubuntu2) ... 264s Selecting previously unselected package libx11-xcb1:armhf. 264s Preparing to unpack .../06-libx11-xcb1_2%3a1.8.10-2_armhf.deb ... 264s Unpacking libx11-xcb1:armhf (2:1.8.10-2) ... 264s Selecting previously unselected package libxcb-dri3-0:armhf. 264s Preparing to unpack .../07-libxcb-dri3-0_1.17.0-2_armhf.deb ... 264s Unpacking libxcb-dri3-0:armhf (1.17.0-2) ... 264s Selecting previously unselected package libxcb-present0:armhf. 264s Preparing to unpack .../08-libxcb-present0_1.17.0-2_armhf.deb ... 264s Unpacking libxcb-present0:armhf (1.17.0-2) ... 264s Selecting previously unselected package libxcb-randr0:armhf. 264s Preparing to unpack .../09-libxcb-randr0_1.17.0-2_armhf.deb ... 264s Unpacking libxcb-randr0:armhf (1.17.0-2) ... 264s Selecting previously unselected package libxcb-sync1:armhf. 264s Preparing to unpack .../10-libxcb-sync1_1.17.0-2_armhf.deb ... 264s Unpacking libxcb-sync1:armhf (1.17.0-2) ... 264s Selecting previously unselected package libxcb-xfixes0:armhf. 264s Preparing to unpack .../11-libxcb-xfixes0_1.17.0-2_armhf.deb ... 264s Unpacking libxcb-xfixes0:armhf (1.17.0-2) ... 264s Selecting previously unselected package libxshmfence1:armhf. 264s Preparing to unpack .../12-libxshmfence1_1.3-1build5_armhf.deb ... 264s Unpacking libxshmfence1:armhf (1.3-1build5) ... 264s Selecting previously unselected package mesa-libgallium:armhf. 264s Preparing to unpack .../13-mesa-libgallium_25.0.1-2ubuntu1_armhf.deb ... 264s Unpacking mesa-libgallium:armhf (25.0.1-2ubuntu1) ... 264s Selecting previously unselected package libgbm1:armhf. 264s Preparing to unpack .../14-libgbm1_25.0.1-2ubuntu1_armhf.deb ... 264s Unpacking libgbm1:armhf (25.0.1-2ubuntu1) ... 264s Selecting previously unselected package libgf2x3:armhf. 264s Preparing to unpack .../15-libgf2x3_1.3.0-3_armhf.deb ... 264s Unpacking libgf2x3:armhf (1.3.0-3) ... 264s Selecting previously unselected package libvulkan1:armhf. 264s Preparing to unpack .../16-libvulkan1_1.4.304.0-1_armhf.deb ... 264s Unpacking libvulkan1:armhf (1.4.304.0-1) ... 264s Selecting previously unselected package libgl1-mesa-dri:armhf. 264s Preparing to unpack .../17-libgl1-mesa-dri_25.0.1-2ubuntu1_armhf.deb ... 264s Unpacking libgl1-mesa-dri:armhf (25.0.1-2ubuntu1) ... 264s Selecting previously unselected package libglvnd0:armhf. 264s Preparing to unpack .../18-libglvnd0_1.7.0-1build1_armhf.deb ... 264s Unpacking libglvnd0:armhf (1.7.0-1build1) ... 265s Selecting previously unselected package libxcb-glx0:armhf. 265s Preparing to unpack .../19-libxcb-glx0_1.17.0-2_armhf.deb ... 265s Unpacking libxcb-glx0:armhf (1.17.0-2) ... 265s Selecting previously unselected package libxcb-shm0:armhf. 265s Preparing to unpack .../20-libxcb-shm0_1.17.0-2_armhf.deb ... 265s Unpacking libxcb-shm0:armhf (1.17.0-2) ... 265s Selecting previously unselected package libxxf86vm1:armhf. 265s Preparing to unpack .../21-libxxf86vm1_1%3a1.1.4-1build4_armhf.deb ... 265s Unpacking libxxf86vm1:armhf (1:1.1.4-1build4) ... 265s Selecting previously unselected package libglx-mesa0:armhf. 265s Preparing to unpack .../22-libglx-mesa0_25.0.1-2ubuntu1_armhf.deb ... 265s Unpacking libglx-mesa0:armhf (25.0.1-2ubuntu1) ... 265s Selecting previously unselected package libglx0:armhf. 265s Preparing to unpack .../23-libglx0_1.7.0-1build1_armhf.deb ... 265s Unpacking libglx0:armhf (1.7.0-1build1) ... 265s Selecting previously unselected package libgl1:armhf. 265s Preparing to unpack .../24-libgl1_1.7.0-1build1_armhf.deb ... 265s Unpacking libgl1:armhf (1.7.0-1build1) ... 265s Selecting previously unselected package libxi6:armhf. 265s Preparing to unpack .../25-libxi6_2%3a1.8.2-1_armhf.deb ... 265s Unpacking libxi6:armhf (2:1.8.2-1) ... 265s Selecting previously unselected package libglut3.12:armhf. 265s Preparing to unpack .../26-libglut3.12_3.4.0-4_armhf.deb ... 265s Unpacking libglut3.12:armhf (3.4.0-4) ... 265s Selecting previously unselected package libntl44:armhf. 265s Preparing to unpack .../27-libntl44_11.5.1-1_armhf.deb ... 265s Unpacking libntl44:armhf (11.5.1-1) ... 265s Selecting previously unselected package libsingular4m4n1:armhf. 265s Preparing to unpack .../28-libsingular4m4n1_1%3a4.4.1+ds-2_armhf.deb ... 265s Unpacking libsingular4m4n1:armhf (1:4.4.1+ds-2) ... 265s Selecting previously unselected package singular-data. 265s Preparing to unpack .../29-singular-data_1%3a4.4.1+ds-2_all.deb ... 265s Unpacking singular-data (1:4.4.1+ds-2) ... 265s Selecting previously unselected package singular-ui. 265s Preparing to unpack .../30-singular-ui_1%3a4.4.1+ds-2_armhf.deb ... 265s Unpacking singular-ui (1:4.4.1+ds-2) ... 265s Selecting previously unselected package singular-modules:armhf. 265s Preparing to unpack .../31-singular-modules_1%3a4.4.1+ds-2_armhf.deb ... 265s Unpacking singular-modules:armhf (1:4.4.1+ds-2) ... 265s Selecting previously unselected package singular:armhf. 265s Preparing to unpack .../32-singular_1%3a4.4.1+ds-2_armhf.deb ... 265s Unpacking singular:armhf (1:4.4.1+ds-2) ... 265s Selecting previously unselected package libopengl0:armhf. 265s Preparing to unpack .../33-libopengl0_1.7.0-1build1_armhf.deb ... 265s Unpacking libopengl0:armhf (1.7.0-1build1) ... 265s Selecting previously unselected package libglu1-mesa:armhf. 265s Preparing to unpack .../34-libglu1-mesa_9.0.2-1.1build1_armhf.deb ... 265s Unpacking libglu1-mesa:armhf (9.0.2-1.1build1) ... 265s Selecting previously unselected package qepcad. 265s Preparing to unpack .../35-qepcad_1.74+ds-5_armhf.deb ... 265s Unpacking qepcad (1.74+ds-5) ... 265s Setting up libxcb-dri3-0:armhf (1.17.0-2) ... 265s Setting up libllvm19:armhf (1:19.1.7-1ubuntu2) ... 265s Setting up libwayland-server0:armhf (1.23.1-3) ... 265s Setting up libx11-xcb1:armhf (2:1.8.10-2) ... 265s Setting up libxcb-xfixes0:armhf (1.17.0-2) ... 265s Setting up libxi6:armhf (2:1.8.2-1) ... 265s Setting up libglvnd0:armhf (1.7.0-1build1) ... 265s Setting up libgf2x3:armhf (1.3.0-3) ... 265s Setting up libxcb-glx0:armhf (1.17.0-2) ... 265s Setting up libxcb-shm0:armhf (1.17.0-2) ... 265s Setting up libopengl0:armhf (1.7.0-1build1) ... 265s Setting up libxxf86vm1:armhf (1:1.1.4-1build4) ... 265s Setting up libxcb-present0:armhf (1.17.0-2) ... 265s Setting up libgmpxx4ldbl:armhf (2:6.3.0+dfsg-3ubuntu1) ... 265s Setting up libxcb-sync1:armhf (1.17.0-2) ... 265s Setting up singular-data (1:4.4.1+ds-2) ... 265s Setting up libvulkan1:armhf (1.4.304.0-1) ... 265s Setting up libflint19:armhf (3.1.3-2) ... 265s Setting up libntl44:armhf (11.5.1-1) ... 265s Setting up libxshmfence1:armhf (1.3-1build5) ... 265s Setting up libxcb-randr0:armhf (1.17.0-2) ... 265s Setting up libglu1-mesa:armhf (9.0.2-1.1build1) ... 265s Setting up mesa-libgallium:armhf (25.0.1-2ubuntu1) ... 265s Setting up libgmp-dev:armhf (2:6.3.0+dfsg-3ubuntu1) ... 265s Setting up libgbm1:armhf (25.0.1-2ubuntu1) ... 265s Setting up libgl1-mesa-dri:armhf (25.0.1-2ubuntu1) ... 265s Setting up libsingular4m4n1:armhf (1:4.4.1+ds-2) ... 265s Setting up libcdd0t64:armhf (094m-1.1build1) ... 265s Setting up singular-ui (1:4.4.1+ds-2) ... 265s Setting up libglx-mesa0:armhf (25.0.1-2ubuntu1) ... 265s Setting up libglx0:armhf (1.7.0-1build1) ... 265s Setting up singular-modules:armhf (1:4.4.1+ds-2) ... 265s Setting up libgl1:armhf (1.7.0-1build1) ... 265s Setting up singular:armhf (1:4.4.1+ds-2) ... 265s Setting up libglut3.12:armhf (3.4.0-4) ... 265s Setting up qepcad (1.74+ds-5) ... 265s Processing triggers for man-db (2.13.0-1) ... 266s Processing triggers for libc-bin (2.41-1ubuntu2) ... 274s autopkgtest [10:23:58]: 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 274s autopkgtest [10:23:58]: test command1: [----------------------- 275s ======================================================= 275s Quantifier Elimination 275s in 275s Elementary Algebra and Geometry 275s by 275s Partial Cylindrical Algebraic Decomposition 275s 275s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 275s 275s by 275s Hoon Hong 275s (hhong@math.ncsu.edu) 275s 275s With contributions by: Christopher W. Brown, George E. 275s Collins, Mark J. Encarnacion, Jeremy R. Johnson 275s Werner Krandick, Richard Liska, Scott McCallum, 275s Nicolas Robidoux, and Stanly Steinberg 275s ======================================================= 275s Enter an informal description between '[' and ']': 275s [ Computes the "not" of "is p positive semidefinite?" ]Enter a variable list: 275s (w,z,x,y)Enter the number of free variables: 275s 0 275s Enter a prenex formula: 275s (F w)(F z)(F x)(F y)[ 275s w^6 + 2 z^2 w^3 + x^4 + y^4 + z^4 + 2 x^2 w + 275s 2 x^2 z + 3 x^2 + w^2 + 2 z w + z^2 + 2 z + 2 w + 1 < 0 275s ]. 275s 275s ======================================================= 275s 275s Before Normalization > 275s finish 275s 275s An equivalent quantifier-free formula: 275s 275s FALSE 275s 275s 275s ===================== The End ======================= 275s 275s ----------------------------------------------------------------------------- 275s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 275s 365054 Cells in AVAIL, 500000 Cells in SPACE. 275s 275s System time: 6 milliseconds. 275s System time after the initialization: 5 milliseconds. 275s ----------------------------------------------------------------------------- 275s ======================================================= 275s Quantifier Elimination 275s in 275s Elementary Algebra and Geometry 275s by 275s Partial Cylindrical Algebraic Decomposition 275s 275s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 275s 275s by 275s Hoon Hong 275s (hhong@math.ncsu.edu) 275s 275s With contributions by: Christopher W. Brown, George E. 275s Collins, Mark J. Encarnacion, Jeremy R. Johnson 275s Werner Krandick, Richard Liska, Scott McCallum, 275s Nicolas Robidoux, and Stanly Steinberg 275s ======================================================= 275s Enter an informal description between '[' and ']': 276s [ Charaterizing triangles with external bisectors ]Enter a variable list: 276s (c,b,a)Enter the number of free variables: 276s 3 276s Enter a prenex formula: 276s [ 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)) ]. 276s 276s ======================================================= 276s 276s Before Normalization > 276s assume [ a > 0 /\ b > 0 /\ c > 0 /\ a < b + c /\ b < a + c /\ c < a + b ] 276s Before Normalization > 276s finish 276s 276s An equivalent quantifier-free formula: 276s 276s a - c < 0 276s 276s 276s ===================== The End ======================= 276s 276s ----------------------------------------------------------------------------- 276s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 276s 456337 Cells in AVAIL, 500000 Cells in SPACE. 276s 276s System time: 8 milliseconds. 276s System time after the initialization: 5 milliseconds. 276s ----------------------------------------------------------------------------- 276s ======================================================= 276s Quantifier Elimination 276s in 276s Elementary Algebra and Geometry 276s by 276s Partial Cylindrical Algebraic Decomposition 276s 276s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 276s 276s by 276s Hoon Hong 276s (hhong@math.ncsu.edu) 276s 276s With contributions by: Christopher W. Brown, George E. 276s Collins, Mark J. Encarnacion, Jeremy R. Johnson 276s Werner Krandick, Richard Liska, Scott McCallum, 276s Nicolas Robidoux, and Stanly Steinberg 276s ======================================================= 276s Enter an informal description between '[' and ']': 276s [ Anai's Problem ]Enter a variable list: 276s (s,z)Enter the number of free variables: 276s 2 276s Enter a prenex formula: 276s [ 276s [s z + s - 1 >= 0 /\ s = 0 /\ z + 1 >= 0] 276s \/ [s z + s >= 0 /\ s = 0 /\ z = 0] \/ 276s [s^2 + 4 s z >= 0 /\ [[ 276s s^2 - 2 s <= 0 /\ s z + s - 1 <= 0 /\ s = 0 /\ [ 276s s^2 + 3 s z - s - 2 z <= 0 276s \/ [s + z - 1 <= 0 /\ [s z + s - 1 = 0 \/ 276s z = 0]]] /\ [s + 2 z >= 0 \/ z = 0]] \/ 276s [s^2 - 2 s <= 0 /\ s + 2 z >= 0 /\ s = 0 /\ [ 276s [s^2 + 3 s z - s - 2 z <= 0 /\ [s z + s - 1 <= 0 276s \/ z = 0]] \/ [s + z - 1 >= 0 /\ 276s [s z + s - 1 >= 0 \/ z = 0]]]]]] \/ 276s [s = 0 /\ z >= 0] 276s ]. 276s 276s ======================================================= 276s 276s Before Normalization > 276s finish 276s 276s An equivalent quantifier-free formula: 276s 276s s = 0 /\ z >= 0 276s 276s 276s ===================== The End ======================= 276s 276s ----------------------------------------------------------------------------- 276s 0 Garbage collections, 0 Cells and 0 Arrays reclaimed, in 0 milliseconds. 276s 475647 Cells in AVAIL, 500000 Cells in SPACE. 276s 276s System time: 6 milliseconds. 276s System time after the initialization: 3 milliseconds. 276s ----------------------------------------------------------------------------- 276s ======================================================= 276s Quantifier Elimination 276s in 276s Elementary Algebra and Geometry 276s by 276s Partial Cylindrical Algebraic Decomposition 276s 276s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 276s 276s by 276s Hoon Hong 276s (hhong@math.ncsu.edu) 276s 276s With contributions by: Christopher W. Brown, George E. 276s Collins, Mark J. Encarnacion, Jeremy R. Johnson 276s Werner Krandick, Richard Liska, Scott McCallum, 276s Nicolas Robidoux, and Stanly Steinberg 276s ======================================================= 276s Enter an informal description between '[' and ']': 276s [ 276s Edge-square product problem with equational constaints 276s ]Enter a variable list: 276s (x,y,x1,x2)Enter the number of free variables: 276s 2 276s Enter a prenex formula: 276s (E x1)(E x2)[ 276s y = x1 (x1 x2 - x) + x2 /\ 276s 0 <= x1 /\ x1 <= 2 /\ 276s 2 <= x2 /\ x2 <= 4 /\ 276s -1 <= (x1 x2 - x) /\ (x1 x2 - x) <= 1 276s ]. 276s 276s ======================================================= 276s 276s Before Normalization > 276s prop-eqn-const 276s 276s Before Normalization > 276s go 276s 276s Before Projection (x2) > 276s d-level-f 4 276s A_4,1 = input 276s = x1^2 x2 + x2 - x x1 - y 276s A_4,2 = input 276s = x2 - 2 276s A_4,3 = input 276s = x2 - 4 276s A_4,4 = input 276s = x1 x2 - x + 1 276s A_4,5 = input 276s = x1 x2 - x - 1 276s 276s 276s Before Projection (x2) > 276s eqn-const-l (A_4,1) 276s Before Projection (x2) > 276s finish 278s 278s An equivalent quantifier-free formula: 278s 278s 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 ] ] 278s 278s 278s ===================== The End ======================= 278s 278s ----------------------------------------------------------------------------- 278s 128 Garbage collections, 51928933 Cells and 51 Arrays reclaimed, in 428 milliseconds. 278s 121033 Cells in AVAIL, 500000 Cells in SPACE. 278s 278s System time: 1966 milliseconds. 278s System time after the initialization: 1964 milliseconds. 278s ----------------------------------------------------------------------------- 278s ======================================================= 278s Quantifier Elimination 278s in 278s Elementary Algebra and Geometry 278s by 278s Partial Cylindrical Algebraic Decomposition 278s 278s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 278s 278s by 278s Hoon Hong 278s (hhong@math.ncsu.edu) 278s 278s With contributions by: Christopher W. Brown, George E. 278s Collins, Mark J. Encarnacion, Jeremy R. Johnson 278s Werner Krandick, Richard Liska, Scott McCallum, 278s Nicolas Robidoux, and Stanly Steinberg 278s ======================================================= 278s Enter an informal description between '[' and ']': 278s [ The positive-definite quartic problem ]Enter a variable list: 278s (a,b,c,d,x)Enter the number of free variables: 278s 4 278s Enter a prenex formula: 278s (Ax)[ x^4 + a x^3 + b x^2 + c x + d > 0 ]. 278s 278s ======================================================= 278s 278s Before Normalization > 278s go 278s 278s Before Projection (x) > 278s go 278s 278s Before Choice > 278s go 278s 278s Before Solution > 278s pdq 278s CAD is not projection definable. 278s 278s Before Solution > 278s sol E 278s An equivalent quantifier-free formula: 278s 278s 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 ] 278s 278s 278s Before Solution > 278s sol T 278s An equivalent quantifier-free formula: 278s 278s 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 ] ] 278s 278s 278s Before Solution > 278s quit 278s Quitting the QEPCAD system... Bye! 278s ======================================================= 278s Quantifier Elimination 278s in 278s Elementary Algebra and Geometry 278s by 278s Partial Cylindrical Algebraic Decomposition 278s 278s Version B 1.74, Thu Feb 25 14:48:53 EST 2021 278s 278s by 278s Hoon Hong 278s (hhong@math.ncsu.edu) 278s 278s With contributions by: Christopher W. Brown, George E. 278s Collins, Mark J. Encarnacion, Jeremy R. Johnson 278s Werner Krandick, Richard Liska, Scott McCallum, 278s Nicolas Robidoux, and Stanly Steinberg 278s ======================================================= 278s Enter an informal description between '[' and ']': 278s [ Example 5.14 from Hong, Liska, Steinberg, 278s "Testing Stability by Quantifier Elimination" 278s Journal of Symbolic Computation, Vol. 24, No. 2, 278s August 1997. The "G" quatifier means "for all but 278s finitely many". ]Enter a variable list: 278s (a,b,c2)Enter the number of free variables: 278s 0 278s Enter a prenex formula: 278s (G a)(G b)(G c2)[ 278s [ 0 <= a /\ a <= 1 /\ 0 <= b /\ b <= 1 ] 278s ==> 278s [ 278s c2^4 (a - b + 1) ( a - b - 1) (a - b)^2 <= 0 278s /\ 278s c2^4 b^2 (b^2 - 1) + 4 c2^3 a b^2 (b - 1) 278s + 2 c2^2 a b (3 a b - 2 a - 2 b + 1) 278s + 4 c2 a^2 b (a - 1) + a^2 (a^2 - 1) <= 0 278s /\ 278s [ 278s c2^2 ( 8 a^2 b^2 - 12 a^2 b + 5 a^2 - 8 a b^3 + 8 a b^2 278s + 2 a b - 4 a + 4 b^4 - 4 b^3 - 3 b^2 + 4 b ) 278s + 2 c2 ( 4 a^3 b - 2 a^3 - 4 a^2 b^2 - 2 a^2 b + a^2 278s + 4 a b^3 - 2 a b^2 + 2 a b - 2 b^3 + b^2 ) 278s + 4 a^4 - 8 a^3 b - 4 a^3 + 8 a^2 b^2 + 8 a^2 b - 3 a^2 278s - 12 a b^2 + 2 a b + 4 a + 5 b^2 - 4 b <= 0 278s \/ 278s 2 c2^4 b ( 3 a^2 b - 2 a^2 - 2 a b^2 + a + b^3 - b) 278s + 4 c2^3 a b ( a^2 - a + b^2 - b) 278s + 2 c2^2 a ( a^3 - 2 a^2b + 3 a b^2 - a - 2 b^2 + b ) <= 0 278s ] 278s ] 278s ]. 278s 278s ======================================================= 278s 278s Before Normalization > 278s finish 278s 278s An equivalent quantifier-free formula: 278s 278s TRUE 278s 278s 278s ===================== The End ======================= 278s 278s ----------------------------------------------------------------------------- 278s 3 Garbage collections, 1428844 Cells and 0 Arrays reclaimed, in 7 milliseconds. 278s 125200 Cells in AVAIL, 500000 Cells in SPACE. 278s 278s System time: 97 milliseconds. 278s System time after the initialization: 94 milliseconds. 278s ----------------------------------------------------------------------------- 278s ======================================================= 278s CAD2D - A Program for producing CADs of R^2 278s 278s Based on QEPCAD Version B 1.74, Feb 25 2021, by Hoon Hong 278s with contributions by: Christopher W. Brown, George E. 278s Collins, Mark J. Encarnacion, Jeremy R. Johnson 278s Werner Krandick, Richard Liska, Scott McCallum, 278s Nicolas Robiduex, and Stanly Steinberg 278s ======================================================= 278s Enter an informal description between '[' and ']': 278s [ An interesting CAD of R^2 to plot ]Enter a variable list: 278s (x,y)Enter the number of free variables: 278s 2 278s Enter a prenex formula: 278s [ (x^2 + y^2)^4 - 7 x^6 y + 35 x^4 y^3 - 21 x^2 y^5 + 278s y^7 <= 0 /\ 2 y < x^2 + 1 ]. 278s 278s ======================================================= 283s 283s Before Solution > 283s p-2d-cad 283s Before Solution > 283s quit 283s Quitting the QEPCAD system... Bye! 283s autopkgtest [10:24:07]: test command1: -----------------------] 287s autopkgtest [10:24:11]: test command1: - - - - - - - - - - results - - - - - - - - - - 287s command1 PASS 291s autopkgtest [10:24:15]: @@@@@@@@@@@@@@@@@@@@ summary 291s command1 PASS