--- /srv/rebuilderd/tmp/rebuilderddONkXb/inputs/libcvc5-1_1.3.2-1+b2_arm64.deb +++ /srv/rebuilderd/tmp/rebuilderddONkXb/out/libcvc5-1_1.3.2-1+b2_arm64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-06-28 20:25:14.000000 debian-binary │ -rw-r--r-- 0 0 0 1308 2026-06-28 20:25:14.000000 control.tar.xz │ --rw-r--r-- 0 0 0 6635416 2026-06-28 20:25:14.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 6634904 2026-06-28 20:25:14.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── ./usr/lib/aarch64-linux-gnu/libcvc5.so.1 │ │ │ ├── readelf --wide --relocs {} │ │ │ │ @@ -4406,19 +4406,19 @@ │ │ │ │ 000000000195d5d8 0000000000000403 R_AARCH64_RELATIVE 165f340 │ │ │ │ 000000000195d5e0 0000000000000403 R_AARCH64_RELATIVE 165f348 │ │ │ │ 000000000195d5e8 0000000000000403 R_AARCH64_RELATIVE 1630a68 │ │ │ │ 000000000195d5f0 0000000000000403 R_AARCH64_RELATIVE 165f358 │ │ │ │ 000000000195d5f8 0000000000000403 R_AARCH64_RELATIVE 165f368 │ │ │ │ 000000000195d600 0000000000000403 R_AARCH64_RELATIVE 165f388 │ │ │ │ 000000000195d608 0000000000000403 R_AARCH64_RELATIVE 165f398 │ │ │ │ -000000000195d610 0000000000000403 R_AARCH64_RELATIVE 165f410 │ │ │ │ +000000000195d610 0000000000000403 R_AARCH64_RELATIVE 165f3f8 │ │ │ │ 000000000195d618 0000000000000403 R_AARCH64_RELATIVE 165f3b0 │ │ │ │ 000000000195d620 0000000000000403 R_AARCH64_RELATIVE 165f3c8 │ │ │ │ 000000000195d628 0000000000000403 R_AARCH64_RELATIVE 165f3e0 │ │ │ │ -000000000195d630 0000000000000403 R_AARCH64_RELATIVE 165f3f8 │ │ │ │ +000000000195d630 0000000000000403 R_AARCH64_RELATIVE 165f408 │ │ │ │ 000000000195d638 0000000000000403 R_AARCH64_RELATIVE 165f420 │ │ │ │ 000000000195d640 0000000000000403 R_AARCH64_RELATIVE 165f438 │ │ │ │ 000000000195d648 0000000000000403 R_AARCH64_RELATIVE 165f450 │ │ │ │ 000000000195d650 0000000000000403 R_AARCH64_RELATIVE 1660448 │ │ │ │ 000000000195d658 0000000000000403 R_AARCH64_RELATIVE 162ebd0 │ │ │ │ 000000000195d660 0000000000000403 R_AARCH64_RELATIVE 162f748 │ │ │ │ 000000000195d668 0000000000000403 R_AARCH64_RELATIVE 165f460 │ │ │ │ @@ -4475,18 +4475,18 @@ │ │ │ │ 000000000195d800 0000000000000403 R_AARCH64_RELATIVE 162f4b8 │ │ │ │ 000000000195d808 0000000000000403 R_AARCH64_RELATIVE 165f738 │ │ │ │ 000000000195d810 0000000000000403 R_AARCH64_RELATIVE 162f368 │ │ │ │ 000000000195d818 0000000000000403 R_AARCH64_RELATIVE 165f750 │ │ │ │ 000000000195d820 0000000000000403 R_AARCH64_RELATIVE 165f760 │ │ │ │ 000000000195d828 0000000000000403 R_AARCH64_RELATIVE 165f770 │ │ │ │ 000000000195d830 0000000000000403 R_AARCH64_RELATIVE 162ac60 │ │ │ │ -000000000195d838 0000000000000403 R_AARCH64_RELATIVE 165f798 │ │ │ │ -000000000195d840 0000000000000403 R_AARCH64_RELATIVE 165f780 │ │ │ │ +000000000195d838 0000000000000403 R_AARCH64_RELATIVE 165f780 │ │ │ │ +000000000195d840 0000000000000403 R_AARCH64_RELATIVE 165f790 │ │ │ │ 000000000195d848 0000000000000403 R_AARCH64_RELATIVE 165f7a8 │ │ │ │ -000000000195d850 0000000000000403 R_AARCH64_RELATIVE 165f978 │ │ │ │ +000000000195d850 0000000000000403 R_AARCH64_RELATIVE 165f970 │ │ │ │ 000000000195d858 0000000000000403 R_AARCH64_RELATIVE 165f7c0 │ │ │ │ 000000000195d860 0000000000000403 R_AARCH64_RELATIVE 165f7c8 │ │ │ │ 000000000195d868 0000000000000403 R_AARCH64_RELATIVE 165f7d8 │ │ │ │ 000000000195d870 0000000000000403 R_AARCH64_RELATIVE 165f7e8 │ │ │ │ 000000000195d878 0000000000000403 R_AARCH64_RELATIVE 16201a8 │ │ │ │ 000000000195d880 0000000000000403 R_AARCH64_RELATIVE 165f808 │ │ │ │ 000000000195d888 0000000000000403 R_AARCH64_RELATIVE 162f878 │ │ │ │ @@ -4507,15 +4507,15 @@ │ │ │ │ 000000000195d900 0000000000000403 R_AARCH64_RELATIVE 165f910 │ │ │ │ 000000000195d908 0000000000000403 R_AARCH64_RELATIVE 165f920 │ │ │ │ 000000000195d910 0000000000000403 R_AARCH64_RELATIVE 1620910 │ │ │ │ 000000000195d918 0000000000000403 R_AARCH64_RELATIVE 165f928 │ │ │ │ 000000000195d920 0000000000000403 R_AARCH64_RELATIVE 165f940 │ │ │ │ 000000000195d928 0000000000000403 R_AARCH64_RELATIVE 165f950 │ │ │ │ 000000000195d930 0000000000000403 R_AARCH64_RELATIVE 165f960 │ │ │ │ -000000000195d938 0000000000000403 R_AARCH64_RELATIVE 165f970 │ │ │ │ +000000000195d938 0000000000000403 R_AARCH64_RELATIVE 165f980 │ │ │ │ 000000000195d940 0000000000000403 R_AARCH64_RELATIVE 165f988 │ │ │ │ 000000000195d948 0000000000000403 R_AARCH64_RELATIVE 165f998 │ │ │ │ 000000000195d950 0000000000000403 R_AARCH64_RELATIVE 1625698 │ │ │ │ 000000000195d958 0000000000000403 R_AARCH64_RELATIVE 165f9a8 │ │ │ │ 000000000195d960 0000000000000403 R_AARCH64_RELATIVE 165f9b8 │ │ │ │ 000000000195d968 0000000000000403 R_AARCH64_RELATIVE 165f9d0 │ │ │ │ 000000000195d970 0000000000000403 R_AARCH64_RELATIVE 162ede8 │ │ │ │ @@ -9143,16 +9143,16 @@ │ │ │ │ 00000000019724c8 0000000000000403 R_AARCH64_RELATIVE 165ee98 │ │ │ │ 00000000019724e8 0000000000000403 R_AARCH64_RELATIVE 16754f8 │ │ │ │ 0000000001972508 0000000000000403 R_AARCH64_RELATIVE 165f4a0 │ │ │ │ 0000000001972528 0000000000000403 R_AARCH64_RELATIVE 1675508 │ │ │ │ 0000000001972548 0000000000000403 R_AARCH64_RELATIVE 165f4b8 │ │ │ │ 0000000001972568 0000000000000403 R_AARCH64_RELATIVE 1620198 │ │ │ │ 0000000001972588 0000000000000403 R_AARCH64_RELATIVE 1675520 │ │ │ │ -00000000019725a8 0000000000000403 R_AARCH64_RELATIVE 165f970 │ │ │ │ -00000000019725c8 0000000000000403 R_AARCH64_RELATIVE 165f978 │ │ │ │ +00000000019725a8 0000000000000403 R_AARCH64_RELATIVE 165f980 │ │ │ │ +00000000019725c8 0000000000000403 R_AARCH64_RELATIVE 165f970 │ │ │ │ 00000000019725e8 0000000000000403 R_AARCH64_RELATIVE 165f988 │ │ │ │ 0000000001972608 0000000000000403 R_AARCH64_RELATIVE 1675538 │ │ │ │ 0000000001972628 0000000000000403 R_AARCH64_RELATIVE 165f9f8 │ │ │ │ 0000000001972648 0000000000000403 R_AARCH64_RELATIVE 165fa08 │ │ │ │ 0000000001972668 0000000000000403 R_AARCH64_RELATIVE 16603b8 │ │ │ │ 0000000001972688 0000000000000403 R_AARCH64_RELATIVE 1675548 │ │ │ │ 00000000019726a8 0000000000000403 R_AARCH64_RELATIVE 161bf48 │ │ │ │ @@ -9161,16 +9161,16 @@ │ │ │ │ 0000000001972708 0000000000000403 R_AARCH64_RELATIVE 165e860 │ │ │ │ 0000000001972728 0000000000000403 R_AARCH64_RELATIVE 165e878 │ │ │ │ 0000000001972748 0000000000000403 R_AARCH64_RELATIVE 165e8b0 │ │ │ │ 0000000001972768 0000000000000403 R_AARCH64_RELATIVE 165f3b0 │ │ │ │ 0000000001972788 0000000000000403 R_AARCH64_RELATIVE 165f3c0 │ │ │ │ 00000000019727a8 0000000000000403 R_AARCH64_RELATIVE 165f3c8 │ │ │ │ 00000000019727c8 0000000000000403 R_AARCH64_RELATIVE 165f3e0 │ │ │ │ -00000000019727e8 0000000000000403 R_AARCH64_RELATIVE 165f3f8 │ │ │ │ -0000000001972808 0000000000000403 R_AARCH64_RELATIVE 165f410 │ │ │ │ +00000000019727e8 0000000000000403 R_AARCH64_RELATIVE 165f408 │ │ │ │ +0000000001972808 0000000000000403 R_AARCH64_RELATIVE 165f3f8 │ │ │ │ 0000000001972828 0000000000000403 R_AARCH64_RELATIVE 165f420 │ │ │ │ 0000000001972848 0000000000000403 R_AARCH64_RELATIVE 165f438 │ │ │ │ 0000000001972868 0000000000000403 R_AARCH64_RELATIVE 165f450 │ │ │ │ 0000000001972888 0000000000000403 R_AARCH64_RELATIVE 165f7a8 │ │ │ │ 00000000019728a8 0000000000000403 R_AARCH64_RELATIVE 1675588 │ │ │ │ 00000000019728c8 0000000000000403 R_AARCH64_RELATIVE 1660430 │ │ │ │ 00000000019728e8 0000000000000403 R_AARCH64_RELATIVE 1660448 │ │ │ │ @@ -9253,16 +9253,16 @@ │ │ │ │ 0000000001973288 0000000000000403 R_AARCH64_RELATIVE 162f188 │ │ │ │ 00000000019732a8 0000000000000403 R_AARCH64_RELATIVE 165f928 │ │ │ │ 00000000019732c8 0000000000000403 R_AARCH64_RELATIVE 16758d0 │ │ │ │ 00000000019732e8 0000000000000403 R_AARCH64_RELATIVE 165f0d0 │ │ │ │ 0000000001973308 0000000000000403 R_AARCH64_RELATIVE 16758e8 │ │ │ │ 0000000001973328 0000000000000403 R_AARCH64_RELATIVE 162e8c0 │ │ │ │ 0000000001973348 0000000000000403 R_AARCH64_RELATIVE 165f4f0 │ │ │ │ -0000000001973368 0000000000000403 R_AARCH64_RELATIVE 165f798 │ │ │ │ -0000000001973388 0000000000000403 R_AARCH64_RELATIVE 165f780 │ │ │ │ +0000000001973368 0000000000000403 R_AARCH64_RELATIVE 165f780 │ │ │ │ +0000000001973388 0000000000000403 R_AARCH64_RELATIVE 165f790 │ │ │ │ 00000000019733a8 0000000000000403 R_AARCH64_RELATIVE 165f8a0 │ │ │ │ 00000000019733c8 0000000000000403 R_AARCH64_RELATIVE 165f8b8 │ │ │ │ 00000000019733e8 0000000000000403 R_AARCH64_RELATIVE 165f940 │ │ │ │ 0000000001973408 0000000000000403 R_AARCH64_RELATIVE 165f950 │ │ │ │ 0000000001973428 0000000000000403 R_AARCH64_RELATIVE 162ecc0 │ │ │ │ 0000000001973448 0000000000000403 R_AARCH64_RELATIVE 1675900 │ │ │ │ 0000000001973468 0000000000000403 R_AARCH64_RELATIVE 165e690 │ │ │ │ @@ -10000,15 +10000,15 @@ │ │ │ │ 0000000001978458 0000000000000403 R_AARCH64_RELATIVE 168a1f8 │ │ │ │ 0000000001978460 0000000000000403 R_AARCH64_RELATIVE 1685a90 │ │ │ │ 0000000001978480 0000000000000403 R_AARCH64_RELATIVE 168a1d8 │ │ │ │ 0000000001978488 0000000000000403 R_AARCH64_RELATIVE 1685a98 │ │ │ │ 00000000019784a8 0000000000000403 R_AARCH64_RELATIVE 168a1c0 │ │ │ │ 00000000019784b0 0000000000000403 R_AARCH64_RELATIVE 1685aa0 │ │ │ │ 00000000019784d0 0000000000000403 R_AARCH64_RELATIVE 168a1a8 │ │ │ │ -00000000019784d8 0000000000000403 R_AARCH64_RELATIVE 165f970 │ │ │ │ +00000000019784d8 0000000000000403 R_AARCH64_RELATIVE 165f980 │ │ │ │ 00000000019784f8 0000000000000403 R_AARCH64_RELATIVE 168a198 │ │ │ │ 0000000001978500 0000000000000403 R_AARCH64_RELATIVE 1685ab0 │ │ │ │ 0000000001978520 0000000000000403 R_AARCH64_RELATIVE 168a148 │ │ │ │ 0000000001978528 0000000000000403 R_AARCH64_RELATIVE 1685ab8 │ │ │ │ 0000000001978548 0000000000000403 R_AARCH64_RELATIVE 168a128 │ │ │ │ 0000000001978550 0000000000000403 R_AARCH64_RELATIVE 1685ac8 │ │ │ │ 0000000001978570 0000000000000403 R_AARCH64_RELATIVE 168a110 │ │ │ │ @@ -10354,15 +10354,15 @@ │ │ │ │ 000000000197a000 0000000000000403 R_AARCH64_RELATIVE 168a1f8 │ │ │ │ 000000000197a008 0000000000000403 R_AARCH64_RELATIVE 1685a90 │ │ │ │ 000000000197a028 0000000000000403 R_AARCH64_RELATIVE 168a1d8 │ │ │ │ 000000000197a030 0000000000000403 R_AARCH64_RELATIVE 1685a98 │ │ │ │ 000000000197a050 0000000000000403 R_AARCH64_RELATIVE 168a1c0 │ │ │ │ 000000000197a058 0000000000000403 R_AARCH64_RELATIVE 1685aa0 │ │ │ │ 000000000197a078 0000000000000403 R_AARCH64_RELATIVE 168a1a8 │ │ │ │ -000000000197a080 0000000000000403 R_AARCH64_RELATIVE 165f970 │ │ │ │ +000000000197a080 0000000000000403 R_AARCH64_RELATIVE 165f980 │ │ │ │ 000000000197a0a0 0000000000000403 R_AARCH64_RELATIVE 168a198 │ │ │ │ 000000000197a0a8 0000000000000403 R_AARCH64_RELATIVE 1685ab0 │ │ │ │ 000000000197a0c8 0000000000000403 R_AARCH64_RELATIVE 168a148 │ │ │ │ 000000000197a0d0 0000000000000403 R_AARCH64_RELATIVE 1685ab8 │ │ │ │ 000000000197a0f0 0000000000000403 R_AARCH64_RELATIVE 168a128 │ │ │ │ 000000000197a0f8 0000000000000403 R_AARCH64_RELATIVE 1685ac8 │ │ │ │ 000000000197a118 0000000000000403 R_AARCH64_RELATIVE 168a110 │ │ │ ├── readelf --wide --notes {} │ │ │ │ @@ -1,8 +1,8 @@ │ │ │ │ │ │ │ │ Displaying notes found in: .note.gnu.build-id │ │ │ │ Owner Data size Description │ │ │ │ - GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: fdee4d0a216575bf9ceedc8d97144707bee50320 │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: dad3df768879ddf0befec9e54d52cb752c7de8e8 │ │ │ │ │ │ │ │ Displaying notes found in: .note.gnu.property │ │ │ │ Owner Data size Description │ │ │ │ GNU 0x00000010 NT_GNU_PROPERTY_TYPE_0 Properties: AArch64 feature: BTI, PAC, GCS │ │ │ ├── strings --all --bytes=8 {} │ │ │ │┄ Ordering differences only │ │ │ │ @@ -10393,16 +10393,16 @@ │ │ │ │ parse-only │ │ │ │ parse-skolem-definitions │ │ │ │ parsing-mode │ │ │ │ partial-triggers │ │ │ │ partition-check │ │ │ │ partition-conflict-size │ │ │ │ partition-start-time │ │ │ │ -partition-strategy │ │ │ │ partition │ │ │ │ +partition-strategy │ │ │ │ partition-time-interval │ │ │ │ partition-tlimit │ │ │ │ partition-when │ │ │ │ plugin-notify-sat-clause-in-solve │ │ │ │ plugin-share-skolems │ │ │ │ portfolio-dry-run │ │ │ │ portfolio-jobs │ │ │ │ @@ -10433,16 +10433,16 @@ │ │ │ │ proof-rewrite-rcons-rec-limit │ │ │ │ proof-rewrite-rcons-step-limit │ │ │ │ prop-row-length │ │ │ │ quant-alpha-equiv │ │ │ │ quant-fun-wd │ │ │ │ quant-ind │ │ │ │ quant-rep-mode │ │ │ │ -random-frequency │ │ │ │ random-freq │ │ │ │ +random-frequency │ │ │ │ random-partitioning │ │ │ │ re-first-class │ │ │ │ re-inter-mode │ │ │ │ register-quant-body-terms │ │ │ │ relational-triggers │ │ │ │ relevant-triggers │ │ │ │ replay-early-close-depth │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ @@ -56260,24 +56260,24 @@ │ │ │ │ adrp x1, 161f000 │ │ │ │ mov x28, #0x2788 // #10120 │ │ │ │ add x1, x1, #0x720 │ │ │ │ add x0, x19, x28 │ │ │ │ str w2, [sp, #10144] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0xfa // #250 │ │ │ │ - adrp x1, 1620000 │ │ │ │ + adrp x1, 1651000 │ │ │ │ mov x27, #0x27b0 // #10160 │ │ │ │ - add x1, x1, #0x1a8 │ │ │ │ + add x1, x1, #0x690 │ │ │ │ add x0, x19, x27 │ │ │ │ str w2, [sp, #10184] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0xfb // #251 │ │ │ │ - adrp x1, 1651000 │ │ │ │ + adrp x1, 1620000 │ │ │ │ mov x26, #0x27d8 // #10200 │ │ │ │ - add x1, x1, #0x690 │ │ │ │ + add x1, x1, #0x1a8 │ │ │ │ add x0, x19, x26 │ │ │ │ str w2, [sp, #10224] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0xfb // #251 │ │ │ │ adrp x1, 165f000 │ │ │ │ mov x25, #0x2800 // #10240 │ │ │ │ add x1, x1, #0x340 │ │ │ │ @@ -56361,15 +56361,15 @@ │ │ │ │ add x1, x1, #0x3f8 │ │ │ │ str w2, [sp, #10704] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0x105 // #261 │ │ │ │ mov x12, #0x29e0 // #10720 │ │ │ │ adrp x1, 165f000 │ │ │ │ add x0, x19, x12 │ │ │ │ - add x1, x1, #0x410 │ │ │ │ + add x1, x1, #0x408 │ │ │ │ str w2, [sp, #10744] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0x105 // #261 │ │ │ │ mov x11, #0x2a08 // #10760 │ │ │ │ adrp x1, 165f000 │ │ │ │ add x0, x19, x11 │ │ │ │ add x1, x1, #0x420 │ │ │ │ @@ -56822,15 +56822,15 @@ │ │ │ │ add x0, x19, x30 │ │ │ │ add x1, x1, #0x780 │ │ │ │ str w2, [sp, #13344] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0x145 // #325 │ │ │ │ adrp x1, 165f000 │ │ │ │ mov x28, #0x3430 // #13360 │ │ │ │ - add x1, x1, #0x798 │ │ │ │ + add x1, x1, #0x790 │ │ │ │ add x0, x19, x28 │ │ │ │ str w2, [sp, #13384] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0x145 // #325 │ │ │ │ adrp x1, 165f000 │ │ │ │ mov x27, #0x3458 // #13400 │ │ │ │ add x1, x1, #0x7a8 │ │ │ │ @@ -57032,15 +57032,15 @@ │ │ │ │ add x1, x1, #0x970 │ │ │ │ add x0, x19, x26 │ │ │ │ str w2, [sp, #14544] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0x161 // #353 │ │ │ │ adrp x1, 165f000 │ │ │ │ mov x25, #0x38e0 // #14560 │ │ │ │ - add x1, x1, #0x978 │ │ │ │ + add x1, x1, #0x980 │ │ │ │ add x0, x19, x25 │ │ │ │ str w2, [sp, #14584] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0x161 // #353 │ │ │ │ adrp x1, 165f000 │ │ │ │ mov x24, #0x3908 // #14600 │ │ │ │ add x1, x1, #0x988 │ │ │ │ @@ -4194296,8 +4194296,8 @@ │ │ │ │ ldr x0, [x0] │ │ │ │ mov w1, #0x4f // #79 │ │ │ │ bl 10cca00 ::_M_gen_rand()@@Base+0x10ed80> │ │ │ │ str x21, [x23] │ │ │ │ mov x0, x21 │ │ │ │ bl 220fe0 │ │ │ │ mov x0, x21 │ │ │ │ -[ Too much input for diff (SHA256: 77b4fe3805c7c9a0613583a38ffaed76a35d4639a8632dbb40c74a69eaf39ca0) ] │ │ │ │ +[ Too much input for diff (SHA256: 0f6480f3859e12e4d6626c25698c7fc2fa10ab34c0b758e80399e04a0ccdf27a) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -19009,16 +19009,16 @@ │ │ │ │ 0x0165f390 6d6f6465 00000000 70617274 69616c2d mode....partial- │ │ │ │ 0x0165f3a0 74726967 67657273 00000000 00000000 triggers........ │ │ │ │ 0x0165f3b0 70617274 6974696f 6e2d6368 65636b00 partition-check. │ │ │ │ 0x0165f3c0 63686563 6b000000 70617274 6974696f check...partitio │ │ │ │ 0x0165f3d0 6e2d636f 6e666c69 63742d73 697a6500 n-conflict-size. │ │ │ │ 0x0165f3e0 70617274 6974696f 6e2d7374 6172742d partition-start- │ │ │ │ 0x0165f3f0 74696d65 00000000 70617274 6974696f time....partitio │ │ │ │ - 0x0165f400 6e2d7374 72617465 67790000 00000000 n-strategy...... │ │ │ │ - 0x0165f410 70617274 6974696f 6e000000 00000000 partition....... │ │ │ │ + 0x0165f400 6e000000 00000000 70617274 6974696f n.......partitio │ │ │ │ + 0x0165f410 6e2d7374 72617465 67790000 00000000 n-strategy...... │ │ │ │ 0x0165f420 70617274 6974696f 6e2d7469 6d652d69 partition-time-i │ │ │ │ 0x0165f430 6e746572 76616c00 70617274 6974696f nterval.partitio │ │ │ │ 0x0165f440 6e2d746c 696d6974 00000000 00000000 n-tlimit........ │ │ │ │ 0x0165f450 70617274 6974696f 6e2d7768 656e0000 partition-when.. │ │ │ │ 0x0165f460 706c7567 696e2d6e 6f746966 792d7361 plugin-notify-sa │ │ │ │ 0x0165f470 742d636c 61757365 2d696e2d 736f6c76 t-clause-in-solv │ │ │ │ 0x0165f480 65000000 00000000 706c7567 696e2d73 e.......plugin-s │ │ │ │ @@ -19065,17 +19065,17 @@ │ │ │ │ 0x0165f710 77726974 652d7263 6f6e732d 73746570 write-rcons-step │ │ │ │ 0x0165f720 2d6c696d 69740000 70726f70 2d726f77 -limit..prop-row │ │ │ │ 0x0165f730 2d6c656e 67746800 7175616e 742d616c -length.quant-al │ │ │ │ 0x0165f740 7068612d 65717569 76000000 00000000 pha-equiv....... │ │ │ │ 0x0165f750 7175616e 742d6675 6e2d7764 00000000 quant-fun-wd.... │ │ │ │ 0x0165f760 7175616e 742d696e 64000000 00000000 quant-ind....... │ │ │ │ 0x0165f770 7175616e 742d7265 702d6d6f 64650000 quant-rep-mode.. │ │ │ │ - 0x0165f780 72616e64 6f6d2d66 72657175 656e6379 random-frequency │ │ │ │ - 0x0165f790 00000000 00000000 72616e64 6f6d2d66 ........random-f │ │ │ │ - 0x0165f7a0 72657100 00000000 72616e64 6f6d2d70 req.....random-p │ │ │ │ + 0x0165f780 72616e64 6f6d2d66 72657100 00000000 random-freq..... │ │ │ │ + 0x0165f790 72616e64 6f6d2d66 72657175 656e6379 random-frequency │ │ │ │ + 0x0165f7a0 00000000 00000000 72616e64 6f6d2d70 ........random-p │ │ │ │ 0x0165f7b0 61727469 74696f6e 696e6700 00000000 artitioning..... │ │ │ │ 0x0165f7c0 72652d65 6c696d00 72652d66 69727374 re-elim.re-first │ │ │ │ 0x0165f7d0 2d636c61 73730000 72652d69 6e746572 -class..re-inter │ │ │ │ 0x0165f7e0 2d6d6f64 65000000 72656769 73746572 -mode...register │ │ │ │ 0x0165f7f0 2d717561 6e742d62 6f64792d 7465726d -quant-body-term │ │ │ │ 0x0165f800 73000000 00000000 72656c61 74696f6e s.......relation │ │ │ │ 0x0165f810 616c2d74 72696767 65727300 00000000 al-triggers..... │ │ │ │ @@ -19096,16 +19096,16 @@ │ │ │ │ 0x0165f900 726c696d 69742d70 65720000 00000000 rlimit-per...... │ │ │ │ 0x0165f910 72722d74 75726e73 00000000 00000000 rr-turns........ │ │ │ │ 0x0165f920 72776569 67687400 7361742d 70726f6f rweight.sat-proo │ │ │ │ 0x0165f930 662d6d69 6e2d6469 6d616373 00000000 f-min-dimacs.... │ │ │ │ 0x0165f940 7361742d 72616e64 6f6d2d73 65656400 sat-random-seed. │ │ │ │ 0x0165f950 7361742d 736f6c76 65720000 00000000 sat-solver...... │ │ │ │ 0x0165f960 73652d73 6f6c7665 2d696e74 00000000 se-solve-int.... │ │ │ │ - 0x0165f970 73656564 00000000 72616e64 6f6d2d73 seed....random-s │ │ │ │ - 0x0165f980 65656400 00000000 73656776 2d737069 eed.....segv-spi │ │ │ │ + 0x0165f970 72616e64 6f6d2d73 65656400 00000000 random-seed..... │ │ │ │ + 0x0165f980 73656564 00000000 73656776 2d737069 seed....segv-spi │ │ │ │ 0x0165f990 6e000000 00000000 73656d61 6e746963 n.......semantic │ │ │ │ 0x0165f9a0 2d636865 636b7300 7365702d 6d696e2d -checks.sep-min- │ │ │ │ 0x0165f9b0 72656669 6e650000 7365702d 7072652d refine..sep-pre- │ │ │ │ 0x0165f9c0 736b6f6c 656d2d65 6d700000 00000000 skolem-emp...... │ │ │ │ 0x0165f9d0 7365712d 61727261 79000000 00000000 seq-array....... │ │ │ │ 0x0165f9e0 73657473 2d70726f 78792d6c 656d6d61 sets-proxy-lemma │ │ │ │ 0x0165f9f0 73000000 00000000 73686f77 2d636f6e s.......show-con │ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {} │ │ │ │ @@ -2213,17 +2213,17 @@ │ │ │ │ 0x0195d5a0 00f36501 00000000 10e96201 00000000 ..e.......b..... │ │ │ │ 0x0195d5b0 f0f76201 00000000 08f36501 00000000 ..b.......e..... │ │ │ │ 0x0195d5c0 20f36501 00000000 20f76101 00000000 .e..... .a..... │ │ │ │ 0x0195d5d0 90166501 00000000 40f36501 00000000 ..e.....@.e..... │ │ │ │ 0x0195d5e0 48f36501 00000000 680a6301 00000000 H.e.....h.c..... │ │ │ │ 0x0195d5f0 58f36501 00000000 68f36501 00000000 X.e.....h.e..... │ │ │ │ 0x0195d600 88f36501 00000000 98f36501 00000000 ..e.......e..... │ │ │ │ - 0x0195d610 10f46501 00000000 b0f36501 00000000 ..e.......e..... │ │ │ │ + 0x0195d610 f8f36501 00000000 b0f36501 00000000 ..e.......e..... │ │ │ │ 0x0195d620 c8f36501 00000000 e0f36501 00000000 ..e.......e..... │ │ │ │ - 0x0195d630 f8f36501 00000000 20f46501 00000000 ..e..... .e..... │ │ │ │ + 0x0195d630 08f46501 00000000 20f46501 00000000 ..e..... .e..... │ │ │ │ 0x0195d640 38f46501 00000000 50f46501 00000000 8.e.....P.e..... │ │ │ │ 0x0195d650 48046601 00000000 d0eb6201 00000000 H.f.......b..... │ │ │ │ 0x0195d660 48f76201 00000000 60f46501 00000000 H.b.....`.e..... │ │ │ │ 0x0195d670 88f46501 00000000 f03d6401 00000000 ..e......=d..... │ │ │ │ 0x0195d680 a0f46501 00000000 b8f46501 00000000 ..e.......e..... │ │ │ │ 0x0195d690 c8f46501 00000000 80ec6201 00000000 ..e.......b..... │ │ │ │ 0x0195d6a0 a8ec6201 00000000 e8f26201 00000000 ..b.......b..... │ │ │ │ @@ -2247,31 +2247,31 @@ │ │ │ │ 0x0195d7c0 80f66501 00000000 a0f66501 00000000 ..e.......e..... │ │ │ │ 0x0195d7d0 b8f66501 00000000 d0f66501 00000000 ..e.......e..... │ │ │ │ 0x0195d7e0 e8f66501 00000000 08f76501 00000000 ..e.......e..... │ │ │ │ 0x0195d7f0 88f16201 00000000 28f76501 00000000 ..b.....(.e..... │ │ │ │ 0x0195d800 b8f46201 00000000 38f76501 00000000 ..b.....8.e..... │ │ │ │ 0x0195d810 68f36201 00000000 50f76501 00000000 h.b.....P.e..... │ │ │ │ 0x0195d820 60f76501 00000000 70f76501 00000000 `.e.....p.e..... │ │ │ │ - 0x0195d830 60ac6201 00000000 98f76501 00000000 `.b.......e..... │ │ │ │ - 0x0195d840 80f76501 00000000 a8f76501 00000000 ..e.......e..... │ │ │ │ - 0x0195d850 78f96501 00000000 c0f76501 00000000 x.e.......e..... │ │ │ │ + 0x0195d830 60ac6201 00000000 80f76501 00000000 `.b.......e..... │ │ │ │ + 0x0195d840 90f76501 00000000 a8f76501 00000000 ..e.......e..... │ │ │ │ + 0x0195d850 70f96501 00000000 c0f76501 00000000 p.e.......e..... │ │ │ │ 0x0195d860 c8f76501 00000000 d8f76501 00000000 ..e.......e..... │ │ │ │ 0x0195d870 e8f76501 00000000 a8016201 00000000 ..e.......b..... │ │ │ │ 0x0195d880 08f86501 00000000 78f86201 00000000 ..e.....x.b..... │ │ │ │ 0x0195d890 20f86501 00000000 d8ed6201 00000000 .e.......b..... │ │ │ │ 0x0195d8a0 98f66201 00000000 38f86501 00000000 ..b.....8.e..... │ │ │ │ 0x0195d8b0 58f86501 00000000 70f86501 00000000 X.e.....p.e..... │ │ │ │ 0x0195d8c0 88f86501 00000000 c0016201 00000000 ..e.......b..... │ │ │ │ 0x0195d8d0 a0f86501 00000000 b8f86501 00000000 ..e.......e..... │ │ │ │ 0x0195d8e0 c8f86501 00000000 d8f86501 00000000 ..e.......e..... │ │ │ │ 0x0195d8f0 f8f86501 00000000 00f96501 00000000 ..e.......e..... │ │ │ │ 0x0195d900 10f96501 00000000 20f96501 00000000 ..e..... .e..... │ │ │ │ 0x0195d910 10096201 00000000 28f96501 00000000 ..b.....(.e..... │ │ │ │ 0x0195d920 40f96501 00000000 50f96501 00000000 @.e.....P.e..... │ │ │ │ - 0x0195d930 60f96501 00000000 70f96501 00000000 `.e.....p.e..... │ │ │ │ + 0x0195d930 60f96501 00000000 80f96501 00000000 `.e.......e..... │ │ │ │ 0x0195d940 88f96501 00000000 98f96501 00000000 ..e.......e..... │ │ │ │ 0x0195d950 98566201 00000000 a8f96501 00000000 .Vb.......e..... │ │ │ │ 0x0195d960 b8f96501 00000000 d0f96501 00000000 ..e.......e..... │ │ │ │ 0x0195d970 e8ed6201 00000000 10ee6201 00000000 ..b.......b..... │ │ │ │ 0x0195d980 e0f96501 00000000 f8f96501 00000000 ..e.......e..... │ │ │ │ 0x0195d990 08fa6501 00000000 18fa6501 00000000 ..e.......e..... │ │ │ │ 0x0195d9a0 70f66201 00000000 30fa6501 00000000 p.b.....0.e..... │ │ │ ├── readelf --wide --decompress --hex-dump=.data {} │ │ │ │ @@ -598,17 +598,17 @@ │ │ │ │ 0x01972530 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01972540 02020000 00000000 b8f46501 00000000 ..........e..... │ │ │ │ 0x01972550 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01972560 03020000 00000000 98016201 00000000 ..........b..... │ │ │ │ 0x01972570 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01972580 04020000 00000000 20556701 00000000 ........ Ug..... │ │ │ │ 0x01972590 00000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x019725a0 05020000 00000000 70f96501 00000000 ........p.e..... │ │ │ │ + 0x019725a0 05020000 00000000 80f96501 00000000 ..........e..... │ │ │ │ 0x019725b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x019725c0 06020000 00000000 78f96501 00000000 ........x.e..... │ │ │ │ + 0x019725c0 06020000 00000000 70f96501 00000000 ........p.e..... │ │ │ │ 0x019725d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019725e0 07020000 00000000 88f96501 00000000 ..........e..... │ │ │ │ 0x019725f0 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01972600 08020000 00000000 38556701 00000000 ........8Ug..... │ │ │ │ 0x01972610 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01972620 09020000 00000000 f8f96501 00000000 ..........e..... │ │ │ │ 0x01972630 00000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -634,17 +634,17 @@ │ │ │ │ 0x01972770 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01972780 14020000 00000000 c0f36501 00000000 ..........e..... │ │ │ │ 0x01972790 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019727a0 15020000 00000000 c8f36501 00000000 ..........e..... │ │ │ │ 0x019727b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019727c0 16020000 00000000 e0f36501 00000000 ..........e..... │ │ │ │ 0x019727d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x019727e0 17020000 00000000 f8f36501 00000000 ..........e..... │ │ │ │ + 0x019727e0 17020000 00000000 08f46501 00000000 ..........e..... │ │ │ │ 0x019727f0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01972800 18020000 00000000 10f46501 00000000 ..........e..... │ │ │ │ + 0x01972800 18020000 00000000 f8f36501 00000000 ..........e..... │ │ │ │ 0x01972810 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01972820 19020000 00000000 20f46501 00000000 ........ .e..... │ │ │ │ 0x01972830 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01972840 1a020000 00000000 38f46501 00000000 ........8.e..... │ │ │ │ 0x01972850 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01972860 1b020000 00000000 50f46501 00000000 ........P.e..... │ │ │ │ 0x01972870 01000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -818,17 +818,17 @@ │ │ │ │ 0x019732f0 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01973300 70020000 00000000 e8586701 00000000 p........Xg..... │ │ │ │ 0x01973310 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01973320 71020000 00000000 c0e86201 00000000 q.........b..... │ │ │ │ 0x01973330 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01973340 72020000 00000000 f0f46501 00000000 r.........e..... │ │ │ │ 0x01973350 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01973360 73020000 00000000 98f76501 00000000 s.........e..... │ │ │ │ + 0x01973360 73020000 00000000 80f76501 00000000 s.........e..... │ │ │ │ 0x01973370 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01973380 74020000 00000000 80f76501 00000000 t.........e..... │ │ │ │ + 0x01973380 74020000 00000000 90f76501 00000000 t.........e..... │ │ │ │ 0x01973390 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019733a0 75020000 00000000 a0f86501 00000000 u.........e..... │ │ │ │ 0x019733b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019733c0 76020000 00000000 b8f86501 00000000 v.........e..... │ │ │ │ 0x019733d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019733e0 77020000 00000000 40f96501 00000000 w.......@.e..... │ │ │ │ 0x019733f0 01000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -2121,15 +2121,15 @@ │ │ │ │ 0x01978460 905a6801 00000000 00000000 00000000 .Zh............. │ │ │ │ 0x01978470 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01978480 d8a16801 00000000 985a6801 00000000 ..h......Zh..... │ │ │ │ 0x01978490 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x019784a0 00000000 00000000 c0a16801 00000000 ..........h..... │ │ │ │ 0x019784b0 a05a6801 00000000 b6030000 f4010000 .Zh............. │ │ │ │ 0x019784c0 e8030000 00000000 00000000 00000000 ................ │ │ │ │ - 0x019784d0 a8a16801 00000000 70f96501 00000000 ..h.....p.e..... │ │ │ │ + 0x019784d0 a8a16801 00000000 80f96501 00000000 ..h.......e..... │ │ │ │ 0x019784e0 00000000 00000000 00943577 00000000 ..........5w.... │ │ │ │ 0x019784f0 00000000 00000000 98a16801 00000000 ..........h..... │ │ │ │ 0x01978500 b05a6801 00000000 03000000 00000000 .Zh............. │ │ │ │ 0x01978510 03000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01978520 48a16801 00000000 b85a6801 00000000 H.h......Zh..... │ │ │ │ 0x01978530 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01978540 00000000 00000000 28a16801 00000000 ........(.h..... │ │ │ │ @@ -2564,15 +2564,15 @@ │ │ │ │ 0x0197a010 00000000 00000000 01000000 00000000 ................ │ │ │ │ 0x0197a020 00000000 00000000 d8a16801 00000000 ..........h..... │ │ │ │ 0x0197a030 985a6801 00000000 01000000 00000000 .Zh............. │ │ │ │ 0x0197a040 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x0197a050 c0a16801 00000000 a05a6801 00000000 ..h......Zh..... │ │ │ │ 0x0197a060 b6030000 f4010000 e8030000 00000000 ................ │ │ │ │ 0x0197a070 00000000 00000000 a8a16801 00000000 ..........h..... │ │ │ │ - 0x0197a080 70f96501 00000000 00000000 00000000 p.e............. │ │ │ │ + 0x0197a080 80f96501 00000000 00000000 00000000 ..e............. │ │ │ │ 0x0197a090 00943577 00000000 00000000 00000000 ..5w............ │ │ │ │ 0x0197a0a0 98a16801 00000000 b05a6801 00000000 ..h......Zh..... │ │ │ │ 0x0197a0b0 03000000 00000000 03000000 00000000 ................ │ │ │ │ 0x0197a0c0 00000000 00000000 48a16801 00000000 ........H.h..... │ │ │ │ 0x0197a0d0 b85a6801 00000000 01000000 00000000 .Zh............. │ │ │ │ 0x0197a0e0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x0197a0f0 28a16801 00000000 c85a6801 00000000 (.h......Zh..... │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {} │ │ │ │ @@ -1,7 +1,7 @@ │ │ │ │ │ │ │ │ Hex dump of section '.gnu_debuglink': │ │ │ │ - 0x00000000 65653464 30613231 36353735 62663963 ee4d0a216575bf9c │ │ │ │ - 0x00000010 65656463 38643937 31343437 30376265 eedc8d97144707be │ │ │ │ - 0x00000020 65353033 32302e64 65627567 00000000 e50320.debug.... │ │ │ │ - 0x00000030 acda786c ..xl │ │ │ │ + 0x00000000 64336466 37363838 37396464 66306265 d3df768879ddf0be │ │ │ │ + 0x00000010 66656339 65353464 35326362 37353263 fec9e54d52cb752c │ │ │ │ + 0x00000020 37646538 65382e64 65627567 00000000 7de8e8.debug.... │ │ │ │ + 0x00000030 fd0ba6e8 ....