--- /srv/reproducible-results/rbuild-debian/r-b-build.l17xXsZv/b1/cvc4_1.8-3_amd64.changes +++ /srv/reproducible-results/rbuild-debian/r-b-build.l17xXsZv/b2/cvc4_1.8-3_amd64.changes ├── Files │ @@ -1,8 +1,8 @@ │ │ - 4bbf6ef915bf86ce0113f3059a79445a 999180 debug optional cvc4-dbgsym_1.8-3_amd64.deb │ - e59139a5e676d7075e76169ca4a429f5 81884 math optional cvc4_1.8-3_amd64.deb │ - a7d6928bd8605e6c8c3753e0040ceea3 197461644 debug optional libcvc4-7-dbgsym_1.8-3_amd64.deb │ - 6930f7b33f9ca7c5bf98d841da7011dc 5991120 libs optional libcvc4-7_1.8-3_amd64.deb │ - 982e1ec0df8250df960cfa0c2233bee4 131188 libdevel optional libcvc4-dev_1.8-3_amd64.deb │ - 5a42c91143b5010d801a6989fce66fdb 5175996 debug optional libcvc4parser7-dbgsym_1.8-3_amd64.deb │ - 1779cc00e0085e8024beb8ca92af8d48 364096 libs optional libcvc4parser7_1.8-3_amd64.deb │ + b3b085bd082b91474bfa6d4c6f315ffe 999112 debug optional cvc4-dbgsym_1.8-3_amd64.deb │ + 080c6a0936033b13a58d495bdf55ab70 81852 math optional cvc4_1.8-3_amd64.deb │ + 8efb162e599c6d6ea8ab19dd2ee0a559 197454064 debug optional libcvc4-7-dbgsym_1.8-3_amd64.deb │ + 7d38b2bcb86ab730e0827d8bae57225c 5993320 libs optional libcvc4-7_1.8-3_amd64.deb │ + 882302596967c6187f848d02da727a54 131176 libdevel optional libcvc4-dev_1.8-3_amd64.deb │ + ac6167ef0172295f6e9b2e370b886515 5175588 debug optional libcvc4parser7-dbgsym_1.8-3_amd64.deb │ + c06c58db418c89c847f6174840d0579b 364304 libs optional libcvc4parser7_1.8-3_amd64.deb ├── cvc4_1.8-3_amd64.deb │ ├── file list │ │ @@ -1,3 +1,3 @@ │ │ -rw-r--r-- 0 0 0 4 2022-10-29 18:49:40.000000 debian-binary │ │ --rw-r--r-- 0 0 0 1480 2022-10-29 18:49:40.000000 control.tar.xz │ │ --rw-r--r-- 0 0 0 80212 2022-10-29 18:49:40.000000 data.tar.xz │ │ +-rw-r--r-- 0 0 0 1476 2022-10-29 18:49:40.000000 control.tar.xz │ │ +-rw-r--r-- 0 0 0 80184 2022-10-29 18:49:40.000000 data.tar.xz │ ├── control.tar.xz │ │ ├── control.tar │ │ │ ├── ./md5sums │ │ │ │ ├── ./md5sums │ │ │ │ │┄ Files differ │ ├── data.tar.xz │ │ ├── data.tar │ │ │ ├── file list │ │ │ │ @@ -24,8 +24,8 @@ │ │ │ │ -rw-r--r-- 0 root (0) root (0) 2085 2020-06-19 16:59:27.000000 ./usr/share/doc/cvc4/THANKS │ │ │ │ -rw-r--r-- 0 root (0) root (0) 1043 2022-10-29 18:49:40.000000 ./usr/share/doc/cvc4/changelog.Debian.gz │ │ │ │ -rw-r--r-- 0 root (0) root (0) 4452 2022-10-17 14:15:49.000000 ./usr/share/doc/cvc4/copyright │ │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2022-10-29 18:49:40.000000 ./usr/share/man/ │ │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2022-10-29 18:49:40.000000 ./usr/share/man/man1/ │ │ │ │ -rw-r--r-- 0 root (0) root (0) 2116 2022-10-29 18:49:40.000000 ./usr/share/man/man1/cvc4.1.gz │ │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2022-10-29 18:49:40.000000 ./usr/share/man/man5/ │ │ │ │ --rw-r--r-- 0 root (0) root (0) 394 2022-10-29 18:49:40.000000 ./usr/share/man/man5/cvc4.5.gz │ │ │ │ +-rw-r--r-- 0 root (0) root (0) 393 2022-10-29 18:49:40.000000 ./usr/share/man/man5/cvc4.5.gz │ │ │ ├── ./usr/bin/cvc4 │ │ │ │┄ File has been modified after NT_GNU_BUILD_ID has been applied. │ │ │ │ ├── readelf --wide --notes {} │ │ │ │ │ @@ -5,12 +5,12 @@ │ │ │ │ │ │ │ │ │ │ Displaying notes found in: .note.ABI-tag │ │ │ │ │ Owner Data size Description │ │ │ │ │ GNU 0x00000010 NT_GNU_ABI_TAG (ABI version tag) OS: Linux, ABI: 3.2.0 │ │ │ │ │ │ │ │ │ │ Displaying notes found in: .note.gnu.build-id │ │ │ │ │ Owner Data size Description │ │ │ │ │ - GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 651d6ce8dd0cee94b267bd9ae7b62df27c3c4b99 │ │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 1b48866cfa01832bd9777d62448e75575966b7c5 │ │ │ │ │ │ │ │ │ │ Displaying notes found in: .note.gnu.gold-version │ │ │ │ │ Owner Data size Description │ │ │ │ │ GNU 0x00000009 NT_GNU_GOLD_VERSION (gold version) Version: gold 1.16 │ │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {} │ │ │ │ │┄ error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: │ │ │ │ │┄ readelf: Error: Unable to find program interpreter name │ │ │ │ │┄ readelf: Error: no .dynamic section in the dynamic segment │ │ │ │ │ @@ -1,7 +1,7 @@ │ │ │ │ │ │ │ │ │ │ Hex dump of section '.gnu_debuglink': │ │ │ │ │ - 0x00000000 31643663 65386464 30636565 39346232 1d6ce8dd0cee94b2 │ │ │ │ │ - 0x00000010 36376264 39616537 62363264 66323763 67bd9ae7b62df27c │ │ │ │ │ - 0x00000020 33633462 39392e64 65627567 00000000 3c4b99.debug.... │ │ │ │ │ - 0x00000030 a74e43ab .NC. │ │ │ │ │ + 0x00000000 34383836 36636661 30313833 32626439 48866cfa01832bd9 │ │ │ │ │ + 0x00000010 37373764 36323434 38653735 35373539 777d62448e755759 │ │ │ │ │ + 0x00000020 36366237 63352e64 65627567 00000000 66b7c5.debug.... │ │ │ │ │ + 0x00000030 60902e10 `... │ │ │ ├── ./usr/share/man/man1/cvc4.1.gz │ │ │ │ ├── cvc4.1 │ │ │ │ │ @@ -1,11 +1,11 @@ │ │ │ │ │ .\" Process this file with │ │ │ │ │ .\" groff -man -Tascii cvc4.1 │ │ │ │ │ .\" │ │ │ │ │ -.TH CVC4 1 "2022-10-29" "CVC4 release CVC4_RELEASE_STRING" "User Manuals" │ │ │ │ │ +.TH CVC4 1 "2022-10-30" "CVC4 release CVC4_RELEASE_STRING" "User Manuals" │ │ │ │ │ .SH NAME │ │ │ │ │ cvc4, pcvc4 \- an automated theorem prover │ │ │ │ │ .SH SYNOPSIS │ │ │ │ │ .B cvc4 [ │ │ │ │ │ .I options │ │ │ │ │ .B ] [ │ │ │ │ │ .I file │ │ │ ├── ./usr/share/man/man5/cvc4.5.gz │ │ │ │ ├── cvc4.5 │ │ │ │ │ @@ -1,11 +1,11 @@ │ │ │ │ │ .\" Process this file with │ │ │ │ │ .\" groff -man -Tascii cvc4.5 │ │ │ │ │ .\" │ │ │ │ │ -.TH CVC4 5 "2022-10-29" "CVC4 release CVC4_RELEASE_STRING" "Languages documentation" │ │ │ │ │ +.TH CVC4 5 "2022-10-30" "CVC4 release CVC4_RELEASE_STRING" "Languages documentation" │ │ │ │ │ .SH NAME │ │ │ │ │ cvc4 \- the native input language for CVC4 │ │ │ │ │ .SH DESCRIPTION │ │ │ │ │ .B cvc4 │ │ │ │ │ is an automated theorem prover for first-order formulas with respect │ │ │ │ │ to background theories of interest. ├── libcvc4-7_1.8-3_amd64.deb │ ├── file list │ │ @@ -1,3 +1,3 @@ │ │ -rw-r--r-- 0 0 0 4 2022-10-29 18:49:40.000000 debian-binary │ │ -rw-r--r-- 0 0 0 1216 2022-10-29 18:49:40.000000 control.tar.xz │ │ --rw-r--r-- 0 0 0 5989712 2022-10-29 18:49:40.000000 data.tar.xz │ │ +-rw-r--r-- 0 0 0 5991912 2022-10-29 18:49:40.000000 data.tar.xz │ ├── control.tar.xz │ │ ├── control.tar │ │ │ ├── ./md5sums │ │ │ │ ├── ./md5sums │ │ │ │ │┄ Files differ │ ├── data.tar.xz │ │ ├── data.tar │ │ │ ├── ./usr/lib/x86_64-linux-gnu/libcvc4.so.7 │ │ │ │┄ File has been modified after NT_GNU_BUILD_ID has been applied. │ │ │ │ ├── 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: a344efbbe1378723f839f4891437f0453ad1acfd │ │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 849c3cb2efc130ec9c19b151b651da220cf26a95 │ │ │ │ │ │ │ │ │ │ Displaying notes found in: .note.gnu.gold-version │ │ │ │ │ Owner Data size Description │ │ │ │ │ GNU 0x00000009 NT_GNU_GOLD_VERSION (gold version) Version: gold 1.16 │ │ │ │ ├── strings --all --bytes=8 {} │ │ │ │ │ @@ -44584,15 +44584,15 @@ │ │ │ │ │ theory::arith::iteMinMaxApplicatteConstantApplictheory::arith::attempt::searchTittempt::queueTimttempt::conflicttheory::arith::congruence::watchwatchedVariablesedVariableIsZeroedVariableIsNotZongruence::equalalsConstantCallsongruence::propaagateConstraintsongruence::confltheory::arith::ArithCongruenceMad::unatePropagatgateImplicationstheory::arith::dio::conflictCallh::dio::cutCalls::dio::conflictsio::conflictTimeh::dio::cutTimeris an integer variable created by the dio solverual::UpdateConflual::findConflicctOnTheQueueTimeual::simplexConfual::recentViolaViolationCatchesdual::searchTimedual::lastPivotstheory::arith::ppqueue::enqueuesqueue::enqueuesCqueuesCollectionqueue::enqueuesDqueue::enqueuesVeuesVarOrderModeollectionDuplicaarOrderModeDuplitheory::arith::FC::initialProcesC::UpdateConflic::FC::FoundUnsatth::FC::FoundSatrith::FC::MissedFC::ConstructionC::selectUpdateFpdateForDualLike::FC::lastPivotstheory::arith::utheory::arith::weakening::attempeakening::succesweakening::total:weakening::timetheory::arith::fh::forcing::time │ │ │ │ │ phase shifted trrigonometric argnumber of shiftstheory::arith::SOI::initialProceOI::UpdateConfli:SOI::FoundUnsath::SOI::FoundSatith::SOI::MissedOI::ConfMin::num:SOI::HasToBeMinSOI::MaybeNotMinOI::ConstructionOI::Conflict::Mict::Minimization::SOI::selectSOI:SOI::lastPivots::ppRewriteTimeran extensional lemma index variable from the thetheory of arraysskolem for compuuting signaturesabstraction function for bv theotheory::bv::algebraic::NumCallsTbraic::NumSimpliSimplifiesToTrueimplifiesToFalseebraic::NumUnsatlgebraic::NumSatbraic::NumUnknowbraic::SolveTimebraic::UseHeuristheory::bv::BitblastSolver::NumC:NumCallsToChecklastSolver::NumTNumTimesLemmasBBtheory::bv::lazytheory::bv::CoreSolver::NumCallsSolver::SlicerEntheory::bv::inequality::NumCallsuality::SolveTimtheory::bv::slicslicer::NumNodeser::NumRepresentlicer::NumSplitslicer::NumMergeser::AverageFindDer::NumEqualitietheory::bv::AvgBvgBVConflictSizetheory::bv::NumSolveSubstitutiontheory::bv::solvtheory::bv::NumFumFullCheckCallstandardCheckCalltheory::bv::weightComputationTimtheory::bv::NumMMultSliceAppliedeated by the theory of bitvectortheory::datatypeEagerProofGeneraA boolean variable asserted to be true to force force a restart │ │ │ │ │ floatingpoint_mant_max_zero_casefloatingpoint_mint_min_zero_casefloatingpoint_to_real_infinity_aity_and_NaN_casevariable to represent disjoint et extract regionfree infinity for virtual term serm substitutioninfinity for virtual term substifree delta for virtual term subsdelta for virtual term substitutConjectureGenerawas created by conjecture ground term enumeratorinternal op for dynamic_rewritersygus-rr-synth-iskolem created for full-model chop for full-model-model checkingop created durinring fun def fmfInstStrategyEnumInstantiate::Instantiations_TotaInstantiate::Dup::Duplicate_Instuplicate_Inst_Eqlicate_Inst_Entalicate_Inst_ModeQuantConflictFinind::Inst_Roundsd::Entailment_ChEPR base constancreated during sng skolemizationg pre-skolemizatsingle invocatioCannot get synth function: reconstruction to syno syntax failed.cegis_unif_num_e │ │ │ │ │ 000102030405060708091011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495293949596979899 │ │ │ │ │ miniscope-quant-SynthEngine::ceg:cegqi_lemmas_ceqi_lemmas_refine:cegqi_lemmas_siSynthConjecture:cture::solutions:filtered_soluti:candidate_rewrie_rewrites_printSygusEnumerator::enumTermsRewrit:enumTermsEvalExrator::enumTerms │ │ │ │ │ head of unif evaevaluation pointqe for non-ground single invocatqe for function in non-ground siingle invocationfor sygus invarivariance testingtemplate inferenference argumentnce rev argumentis a termDb fresb fresh variablepredicate to force higher-order purify for function operator teror term indexingTheoryQuantifiercardinality bound element for setheory::sets::eetheory::shared_tSharedTermsDatabconstant created during sort infg sort inferenceinjection for monotonicity consttheory::strings:rings::checkRunsgs::strategyRunsings::inferences:cdSimplificatioings::reductions:regexpUnfoldingtrings::rewrites:conflictsEqEngi:conflictsEagerP::conflictsInfer:lemmasEagerPrep::lemmasCmiSplit:lemmasRegisterTgisterTermAtomicngs::lemmasInferstring purify sk │ │ │ │ │ THEORY_SAT_SOLVEShared assertionmissed-t-conflictheory::quantifiuf_combined_cardCardinalityExtension::Clique_Consion::Clique_Lemsion::Split_Lemmsion::Disambiguauate_Term_Lemmassion::Totality_Lsion::Max_Model_is a cardinalityality lemma termenumeration to meet negative car card constraint │ │ │ │ │ -or extensionalit2022-10-29 06:49this expression contains an element of unknown type (such as an abstract value); its type cannot be computed until it is substitsubstituted awayProofCheckerStatistics::ruleChecistics::totalRulPRefProofGeneratTConvProofGenerais an unresolved selector type ptype placeholderis a shared seleis a constructorFilesystem accesss not permittedError in option option parsing: 1844674407370955 │ │ │ │ │ +or extensionalit2022-10-30 08:49this expression contains an element of unknown type (such as an abstract value); its type cannot be computed until it is substitsubstituted awayProofCheckerStatistics::ruleChecistics::totalRulPRefProofGeneratTConvProofGenerais an unresolved selector type ptype placeholderis a shared seleis a constructorFilesystem accesss not permittedError in option option parsing: 1844674407370955 │ │ │ │ │ resource::Bitblaresource::BvEagevEagerAssertStepresource::BvPropvPropagationStepresource::BvSatCSatConflictsStepresource::CnfSteresource::Decisiresource::LemmaSresource::ParseSresource::Preproresource::Quantiresource::Restarresource::Rewritresource::SatCon:SatConflictStepresource::Theory:TheoryCheckStep │ │ │ │ │ is a skolem variable imported from another ExprM │ │ │ │ │ unknown option fn for --uf-ss: ` │ │ │ │ │ Y@ffffff │ │ │ │ │ N4CVC47context10ContextObjE │ │ │ │ │ N4CVC47context16ContextNotifyObjE │ │ │ │ │ N4CVC47context6CDListINS_12NodeTemplateILb1EEENS0_14DefaultCleanUpIS3_EESaIS3_EEE │ │ │ │ ├── .text │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .fini │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .rodata │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .gcc_except_table │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .eh_frame │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .eh_frame_hdr │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .tbss │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .data.rel.ro.local │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .fini_array │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .init_array │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .data.rel.ro │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .got │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .got.plt │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .data │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .tm_clone_table │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .bss │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .gnu_debuglink │ │ │ │ │┄ Timeout exceeded; details may be incomplete. │ │ │ │ ├── .shstrtab │ │ │ │ │┄ Timeout exceeded; details may be incomplete. ├── libcvc4-dev_1.8-3_amd64.deb │┄ Timeout exceeded; details may be incomplete. ├── libcvc4parser7_1.8-3_amd64.deb │┄ Timeout exceeded; details may be incomplete. ├── cvc4-dbgsym_1.8-3_amd64.deb │┄ Timeout exceeded; details may be incomplete. ├── libcvc4-7-dbgsym_1.8-3_amd64.deb │┄ Timeout exceeded; details may be incomplete. ├── libcvc4parser7-dbgsym_1.8-3_amd64.deb │┄ Timeout exceeded; details may be incomplete.