{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.lfmsGqhP/b1/cvc4_1.8-3_amd64.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.lfmsGqhP/b2/cvc4_1.8-3_amd64.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,8 +1,8 @@\n \n- 5f18e1271e648b5c2ff4d139bb504a1c 1026124 debug optional cvc4-dbgsym_1.8-3_amd64.deb\n- ca8afc0ff48df8b110380f4bf692e742 80656 math optional cvc4_1.8-3_amd64.deb\n- bb774809f5b7c0ba4ad49eb855972363 200650208 debug optional libcvc4-7-dbgsym_1.8-3_amd64.deb\n- b06b4365944444d9ef96f7f1bf93ef94 5942624 libs optional libcvc4-7_1.8-3_amd64.deb\n- 982e1ec0df8250df960cfa0c2233bee4 131188 libdevel optional libcvc4-dev_1.8-3_amd64.deb\n- e46ccd30040383eefbcfa05ed7e7f7cf 5453440 debug optional libcvc4parser7-dbgsym_1.8-3_amd64.deb\n- 2cd43100e7afcbd460f67f47205338a3 362000 libs optional libcvc4parser7_1.8-3_amd64.deb\n+ 611d99aff29642d20a8a0583ea2bf0c0 1026288 debug optional cvc4-dbgsym_1.8-3_amd64.deb\n+ d2d9a408667539bf0103f643e9867a74 80600 math optional cvc4_1.8-3_amd64.deb\n+ b44082ae8b8383fbe53e15cc8c784752 200637188 debug optional libcvc4-7-dbgsym_1.8-3_amd64.deb\n+ 8a13857084ee276ab7be672364b1665d 5933896 libs optional libcvc4-7_1.8-3_amd64.deb\n+ 882302596967c6187f848d02da727a54 131176 libdevel optional libcvc4-dev_1.8-3_amd64.deb\n+ 9710e0650e63f34ce5c08a5dcd7a9d30 5453668 debug optional libcvc4parser7-dbgsym_1.8-3_amd64.deb\n+ ea0ad9e376d5a9773b158f1d65b53dbb 362256 libs optional libcvc4parser7_1.8-3_amd64.deb\n"}, {"source1": "cvc4_1.8-3_amd64.deb", "source2": "cvc4_1.8-3_amd64.deb", "unified_diff": null, "details": [{"source1": "file list", "source2": "file list", "unified_diff": "@@ -1,3 +1,3 @@\n -rw-r--r--   0        0        0        4 2022-10-29 18:49:40.000000 debian-binary\n--rw-r--r--   0        0        0     1476 2022-10-29 18:49:40.000000 control.tar.xz\n--rw-r--r--   0        0        0    78988 2022-10-29 18:49:40.000000 data.tar.xz\n+-rw-r--r--   0        0        0     1480 2022-10-29 18:49:40.000000 control.tar.xz\n+-rw-r--r--   0        0        0    78928 2022-10-29 18:49:40.000000 data.tar.xz\n"}, {"source1": "control.tar.xz", "source2": "control.tar.xz", "unified_diff": null, "details": [{"source1": "control.tar", "source2": "control.tar", "unified_diff": null, "details": [{"source1": "./md5sums", "source2": "./md5sums", "unified_diff": null, "details": [{"source1": "./md5sums", "source2": "./md5sums", "comments": ["Files differ"], "unified_diff": null}]}]}]}, {"source1": "data.tar.xz", "source2": "data.tar.xz", "unified_diff": null, "details": [{"source1": "data.tar", "source2": "data.tar", "unified_diff": null, "details": [{"source1": "file list", "source2": "file list", "unified_diff": "@@ -24,8 +24,8 @@\n -rw-r--r--   0 root         (0) root         (0)     2085 2020-06-19 16:59:27.000000 ./usr/share/doc/cvc4/THANKS\n -rw-r--r--   0 root         (0) root         (0)     1043 2022-10-29 18:49:40.000000 ./usr/share/doc/cvc4/changelog.Debian.gz\n -rw-r--r--   0 root         (0) root         (0)     4452 2022-10-17 14:15:49.000000 ./usr/share/doc/cvc4/copyright\n drwxr-xr-x   0 root         (0) root         (0)        0 2022-10-29 18:49:40.000000 ./usr/share/man/\n drwxr-xr-x   0 root         (0) root         (0)        0 2022-10-29 18:49:40.000000 ./usr/share/man/man1/\n -rw-r--r--   0 root         (0) root         (0)     2116 2022-10-29 18:49:40.000000 ./usr/share/man/man1/cvc4.1.gz\n drwxr-xr-x   0 root         (0) root         (0)        0 2022-10-29 18:49:40.000000 ./usr/share/man/man5/\n--rw-r--r--   0 root         (0) root         (0)      394 2022-10-29 18:49:40.000000 ./usr/share/man/man5/cvc4.5.gz\n+-rw-r--r--   0 root         (0) root         (0)      393 2022-10-29 18:49:40.000000 ./usr/share/man/man5/cvc4.5.gz\n"}, {"source1": "./usr/bin/cvc4", "source2": "./usr/bin/cvc4", "comments": ["File has been modified after NT_GNU_BUILD_ID has been applied."], "unified_diff": null, "details": [{"source1": "readelf --wide --notes {}", "source2": "readelf --wide --notes {}", "unified_diff": "@@ -5,12 +5,12 @@\n \n Displaying notes found in: .note.ABI-tag\n   Owner                Data size \tDescription\n   GNU                  0x00000010\tNT_GNU_ABI_TAG (ABI version tag)\t    OS: Linux, ABI: 3.2.0\n \n Displaying notes found in: .note.gnu.build-id\n   Owner                Data size \tDescription\n-  GNU                  0x00000014\tNT_GNU_BUILD_ID (unique build ID bitstring)\t    Build ID: 1c630c9dbb5c3a6a101edd850315fe36e9d18338\n+  GNU                  0x00000014\tNT_GNU_BUILD_ID (unique build ID bitstring)\t    Build ID: 47ef0750ad99d7a2ecfc4ba0ac216696e52b9fdd\n \n Displaying notes found in: .note.gnu.gold-version\n   Owner                Data size \tDescription\n   GNU                  0x00000009\tNT_GNU_GOLD_VERSION (gold version)\t    Version: gold 1.16\n"}, {"source1": "readelf --wide --decompress --hex-dump=.gnu_debuglink {}", "source2": "readelf --wide --decompress --hex-dump=.gnu_debuglink {}", "comments": ["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"], "unified_diff": "@@ -1,7 +1,7 @@\n \n Hex dump of section '.gnu_debuglink':\n-  0x00000000 36333063 39646262 35633361 36613130 630c9dbb5c3a6a10\n-  0x00000010 31656464 38353033 31356665 33366539 1edd850315fe36e9\n-  0x00000020 64313833 33382e64 65627567 00000000 d18338.debug....\n-  0x00000030 3ef9764a                            >.vJ\n+  0x00000000 65663037 35306164 39396437 61326563 ef0750ad99d7a2ec\n+  0x00000010 66633462 61306163 32313636 39366535 fc4ba0ac216696e5\n+  0x00000020 32623966 64642e64 65627567 00000000 2b9fdd.debug....\n+  0x00000030 e822bbd6                            .\"..\n \n"}]}, {"source1": "./usr/share/man/man1/cvc4.1.gz", "source2": "./usr/share/man/man1/cvc4.1.gz", "unified_diff": null, "details": [{"source1": "cvc4.1", "source2": "cvc4.1", "unified_diff": "@@ -1,11 +1,11 @@\n .\\\" Process this file with\n .\\\" groff -man -Tascii cvc4.1\n .\\\"\n-.TH CVC4 1 \"2022-10-29\" \"CVC4 release CVC4_RELEASE_STRING\" \"User Manuals\"\n+.TH CVC4 1 \"2022-10-30\" \"CVC4 release CVC4_RELEASE_STRING\" \"User Manuals\"\n .SH NAME\n cvc4, pcvc4 \\- an automated theorem prover\n .SH SYNOPSIS\n .B cvc4 [\n .I options\n .B ] [\n .I file\n"}]}, {"source1": "./usr/share/man/man5/cvc4.5.gz", "source2": "./usr/share/man/man5/cvc4.5.gz", "unified_diff": null, "details": [{"source1": "cvc4.5", "source2": "cvc4.5", "unified_diff": "@@ -1,11 +1,11 @@\n .\\\" Process this file with\n .\\\" groff -man -Tascii cvc4.5\n .\\\"\n-.TH CVC4 5 \"2022-10-29\" \"CVC4 release CVC4_RELEASE_STRING\" \"Languages documentation\"\n+.TH CVC4 5 \"2022-10-30\" \"CVC4 release CVC4_RELEASE_STRING\" \"Languages documentation\"\n .SH NAME\n cvc4 \\- the native input language for CVC4\n .SH DESCRIPTION\n .B cvc4\n is an automated theorem prover for first-order formulas with respect\n to background theories of interest.\n \n"}]}]}]}]}, {"source1": "libcvc4-7_1.8-3_amd64.deb", "source2": "libcvc4-7_1.8-3_amd64.deb", "unified_diff": null, "details": [{"source1": "file list", "source2": "file list", "unified_diff": "@@ -1,3 +1,3 @@\n -rw-r--r--   0        0        0        4 2022-10-29 18:49:40.000000 debian-binary\n -rw-r--r--   0        0        0     1212 2022-10-29 18:49:40.000000 control.tar.xz\n--rw-r--r--   0        0        0  5941220 2022-10-29 18:49:40.000000 data.tar.xz\n+-rw-r--r--   0        0        0  5932492 2022-10-29 18:49:40.000000 data.tar.xz\n"}, {"source1": "control.tar.xz", "source2": "control.tar.xz", "unified_diff": null, "details": [{"source1": "control.tar", "source2": "control.tar", "unified_diff": null, "details": [{"source1": "./md5sums", "source2": "./md5sums", "unified_diff": null, "details": [{"source1": "./md5sums", "source2": "./md5sums", "comments": ["Files differ"], "unified_diff": null}]}]}]}, {"source1": "data.tar.xz", "source2": "data.tar.xz", "unified_diff": null, "details": [{"source1": "data.tar", "source2": "data.tar", "unified_diff": null, "details": [{"source1": "./usr/lib/x86_64-linux-gnu/libcvc4.so.7", "source2": "./usr/lib/x86_64-linux-gnu/libcvc4.so.7", "comments": ["File has been modified after NT_GNU_BUILD_ID has been applied."], "unified_diff": null, "details": [{"source1": "readelf --wide --notes {}", "source2": "readelf --wide --notes {}", "unified_diff": "@@ -1,8 +1,8 @@\n \n Displaying notes found in: .note.gnu.build-id\n   Owner                Data size \tDescription\n-  GNU                  0x00000014\tNT_GNU_BUILD_ID (unique build ID bitstring)\t    Build ID: e891b48aac5e022b0696c7cddc70f20ccaa3fc2d\n+  GNU                  0x00000014\tNT_GNU_BUILD_ID (unique build ID bitstring)\t    Build ID: 6d36cd544176bf392cb0c657aae4a2422c94bf76\n \n Displaying notes found in: .note.gnu.gold-version\n   Owner                Data size \tDescription\n   GNU                  0x00000009\tNT_GNU_GOLD_VERSION (gold version)\t    Version: gold 1.16\n"}, {"source1": "strings --all --bytes=8 {}", "source2": "strings --all --bytes=8 {}", "unified_diff": "@@ -44894,15 +44894,15 @@\n sat::rnd_decisiosat::propagationsat::clauses_litsat::learnts_litsat::max_literalsat::tot_literal./src/prop/minisat/simp/SimpSolvdeclare-datatypeblock-model-valuget-instantiatioset-user-attribuget-unsat-assumpcheck-sat-assumideclare-primed-vreset-assertionsexpand-definitioassertions:post-:post-everythingproduce-assertioproduce-assignmeUnrecognized informational or option key or settsmt::SmtEngine::definitionExpansnumConstantPropscnfConversionTimnumAssertionsPreonsPreITERemovalnumAssertionsPosnsPostITERemovalgine::proofsSize::checkModelTimelfscCheckProofTicheckUnsatCoreTingine::solveTimeine::pushPopTimeprocessAssertionsimplifiedToFalsresourceUnitsUsez::approx::branc::branchMaxDepthranchesMaxOnAVarz::approx::gaussianElimConstructz::approx::avera::averageGuesses\n 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\n 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 arraysabstraction function for bv theoskolem for compuuting signaturestheory::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\n floatingpoint_to_real_infinity_aity_and_NaN_casefloatingpoint_mant_max_zero_casefloatingpoint_mint_min_zero_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\n miniscope-quant-SynthEngine::ceg:cegqi_lemmas_ceqi_lemmas_refine:cegqi_lemmas_siSynthConjecture:cture::solutions:filtered_soluti:candidate_rewrie_rewrites_printSygusEnumerator::enumTermsRewrit:enumTermsEvalExrator::enumTerms\n 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\n THEORY_SAT_SOLVEShared assertionmissed-t-conflicCompleteness check for T-conflicicts; expect sattheory::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\n-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\n+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\n resource::Bitblaresource::BvEagevEagerAssertStepresource::BvPropvPropagationStepresource::BvSatCSatConflictsStepresource::CnfSteresource::Decisiresource::LemmaSresource::ParseSresource::Preproresource::Quantiresource::Restarresource::Rewritresource::SatCon:SatConflictStepresource::Theory:TheoryCheckStep\n is a skolem variable imported from another ExprM\n approx-branch-dearith-no-partialarith-prop-clausarith-rewrite-eqcollect-pivot-sterror-selection-ection-rule=RULEheuristic-pivotslemmas-on-replaymaxCutsInContextmiplib-trick-subnl-ext-split-zernl-ext-tf-taylornl-ext-tf-tplanepivot-threshold=pp-assert-max-suprop-row-length=replay-early-cloly-close-depth=Nreplay-failure-preplay-num-err-preplay-soi-major-threshold-pen=Najor-threshold=Treplay-soi-minorinor-threshold=Tsimplex-check-peunate-lemmas=MODarrays-lazy-rintarrays-reduce-sharrays-weak-equistats-every-querstats-hide-zerosbv-aig-simp=COMMbv-algebraic-budbv-algebraic-solbv-div-zero-consbv-eager-explanabv-eq-slicer=MODbv-extract-arithbv-inequality-sobv-lazy-reduce-ebv-lazy-rewrite-bv-optimize-sat-e-sat-proof=MODEbv-print-consts-as-indexed-symbodt-force-assignmdt-infer-as-lemmdt-rewrite-errorsygus-abort-sizesygus-sym-break-decision-threshodecision-weight-ght-internal=HOWinteractive-promtear-down-incremfilesystem-accesglobal-declaratiflatten-ho-chaininst-format=MODEmodel-format=MODaggressive-core-allow-empty-depefewer-preprocessprocessing-holeslfsc-letificatiominisat-dump-dimminisat-eliminatrandom-frequencyrefine-conflictsrestart-int-baserestart-int-inc=cegis-sample=MODcegqi-bv-concat-cegqi-bv-ineq=MOcegqi-bv-interleinterleave-valuecegqi-bv-rm-extrcegqi-bv-solve-ncegqi-min-boundscegqi-multi-instcegqi-prereg-inscegqi-repeat-litcegqi-round-up-lcegqi-use-inf-incegqi-use-inf-recond-var-split-aconjecture-filteter-active-termsfilter-canonicalconjecture-gen-gconjecture-gen-m-gen-max-depth=Nconjecture-gen-uconjecture-no-fidt-var-exp-quantelim-ext-arith-qext-rewrite-quanfinite-model-finfmf-type-completpletion-thresh=Nfull-saturate-qute-quant-limit=Nho-elim-store-axinst-max-level=Ninst-when-phase=inst-when-stricttrict-interleaveinst-when-tc-firite-dtt-split-quite-lift-quant=Mliteral-matchinglte-restrict-insict-inst-closuremacros-quant-modmbqi-one-inst-pemulti-trigger-camulti-trigger-limulti-trigger-prmulti-trigger-whgger-when-singlepartial-triggerspre-skolem-quantprenex-quant-useprenex-quant=MODpure-th-triggersqcf-all-conflictquant-anti-skolequant-cf-mode=MOquant-rep-mode=Mrelational-triggrelevant-triggersygus-add-const-sygus-arg-relevasygus-auto-unfolsygus-bool-ite-rite-return-constsygus-core-connesygus-crepair-absygus-eval-unfolsygus-filter-solsygus-grammar-cosygus-inv-templ-sygus-min-grammasygus-pbe-multi-ulti-fair-diff=Nsygus-qe-preprocsygus-query-gen--dump-files=MODEsygus-rec-fun-evfun-eval-limit=Nsygus-repair-consygus-rr-synth-asygus-rr-synth-csygus-rr-synth-fynth-filter-congnth-filter-matchnth-filter-orderth-input-nvars=Nh-input-use-boolsygus-rr-synth-rsygus-rr-verify-sygus-sample-fp-sygus-sample-grasygus-si-partialsygus-si-rcons-lsygus-si-rcons=Msygus-si-reconsteconstruct-constsygus-templ-embepl-embed-grammarsygus-unif-pi=MOsygus-unif-shuffsygus-verify-subterm-db-mode=MODtrack-inst-lemmatrigger-active-strigger-sel=MODEvar-ineq-elim-qusep-child-refinesep-pre-skolem-esets-infer-as-leblock-models=MODbv-eager-assert-bv-sat-conflict-check-unsat-coredebug-check-modediagnostic-outpuc-output-channeldump-instantiatidump-unsat-coresext-rew-prep-aggforce-no-limit-ct-cpu-while-dumpinteractive-modemodel-cores=MODEmodel-witness-vaon-repeat-ite-sipreprocess-step=produce-unsat-asnsat-assumptionsproduce-unsat-coregular-output-csat-conflict-stesimp-ite-compressimp-ite-hunt-zosimplification-msolve-bv-as-int=solve-int-as-bv=solve-real-as-inre-inter-mode=MOstrings-check-enstrings-guess-mostrings-infer-asstrings-infer-systrings-len-normstrings-lprop-csstrings-min-prefn-prefix-explainstrings-print-asstrings-process-s-loop-mode=MODEstrings-rexplainassign-function-uf-ss-abort-carduf-ss-fair-monotuf-ss-totality-lunknown option fn for --uf-ss: `\n Y@ffffff\n N4CVC47context10ContextObjE\n N4CVC47context16ContextNotifyObjE\n N4CVC47context6CDListINS_12NodeTemplateILb1EEENS0_14DefaultCleanUpIS3_EESaIS3_EEE\n"}, {"source1": ".fini", "source2": ".fini", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".rodata", "source2": ".rodata", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".gcc_except_table", "source2": ".gcc_except_table", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".eh_frame", "source2": ".eh_frame", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".eh_frame_hdr", "source2": ".eh_frame_hdr", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".tbss", "source2": ".tbss", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".data.rel.ro.local", "source2": ".data.rel.ro.local", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".fini_array", "source2": ".fini_array", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".init_array", "source2": ".init_array", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".data.rel.ro", "source2": ".data.rel.ro", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".got", "source2": ".got", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".got.plt", "source2": ".got.plt", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".data", "source2": ".data", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".tm_clone_table", "source2": ".tm_clone_table", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".bss", "source2": ".bss", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".gnu_debuglink", "source2": ".gnu_debuglink", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".shstrtab", "source2": ".shstrtab", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}]}]}]}]}, {"source1": "libcvc4-dev_1.8-3_amd64.deb", "source2": "libcvc4-dev_1.8-3_amd64.deb", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": "libcvc4parser7_1.8-3_amd64.deb", "source2": "libcvc4parser7_1.8-3_amd64.deb", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": "cvc4-dbgsym_1.8-3_amd64.deb", "source2": "cvc4-dbgsym_1.8-3_amd64.deb", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": "libcvc4-7-dbgsym_1.8-3_amd64.deb", "source2": "libcvc4-7-dbgsym_1.8-3_amd64.deb", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": "libcvc4parser7-dbgsym_1.8-3_amd64.deb", "source2": "libcvc4parser7-dbgsym_1.8-3_amd64.deb", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}]}