⊟
14.5 KB
/srv/reproducible-results/rbuild-debian/r-b-build.l17xXsZv/b1/cvc4_1.8-3_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.l17xXsZv/b2/cvc4_1.8-3_amd64.changes
⊟
1.21 KB
Files
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 ·4bbf6ef915bf86ce0113f3059a79445a·999180·debug·optional·cvc4-dbgsym_1.8-3_amd64.deb 
2 ·e59139a5e676d7075e76169ca4a429f5·81884·math·optional·cvc4_1.8-3_amd64.deb 
3 ·a7d6928bd8605e6c8c3753e0040ceea3·197461644·debug·optional·libcvc4-7-dbgsym_1.8-3_amd64.deb 
4 ·6930f7b33f9ca7c5bf98d841da7011dc·5991120·libs·optional·libcvc4-7_1.8-3_amd64.deb 
5 ·982e1ec0df8250df960cfa0c2233bee4·131188·libdevel·optional·libcvc4-dev_1.8-3_amd64.deb 
6 ·5a42c91143b5010d801a6989fce66fdb·5175996·debug·optional·libcvc4parser7-dbgsym_1.8-3_amd64.deb 
7 ·1779cc00e0085e8024beb8ca92af8d48·364096·libs·optional·libcvc4parser7_1.8-3_amd64.deb1 ·b3b085bd082b91474bfa6d4c6f315ffe·999112·debug·optional·cvc4-dbgsym_1.8-3_amd64.deb
 2 ·080c6a0936033b13a58d495bdf55ab70·81852·math·optional·cvc4_1.8-3_amd64.deb
 3 ·8efb162e599c6d6ea8ab19dd2ee0a559·197454064·debug·optional·libcvc4-7-dbgsym_1.8-3_amd64.deb
 4 ·7d38b2bcb86ab730e0827d8bae57225c·5993320·libs·optional·libcvc4-7_1.8-3_amd64.deb
 5 ·882302596967c6187f848d02da727a54·131176·libdevel·optional·libcvc4-dev_1.8-3_amd64.deb
 6 ·ac6167ef0172295f6e9b2e370b886515·5175588·debug·optional·libcvc4parser7-dbgsym_1.8-3_amd64.deb
 7 ·c06c58db418c89c847f6174840d0579b·364304·libs·optional·libcvc4parser7_1.8-3_amd64.deb
⊟
4.28 KB
cvc4_1.8-3_amd64.deb
⊟
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2022-10-29·18:49:40.000000·debian-binary1 -rw-r--r--···0········0········0········4·2022-10-29·18:49:40.000000·debian-binary
2 -rw-r--r--···0········0········0·····1480·2022-10-29·18:49:40.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1476·2022-10-29·18:49:40.000000·control.tar.xz
3 -rw-r--r--···0········0········0····80212·2022-10-29·18:49:40.000000·data.tar.xz3 -rw-r--r--···0········0········0····80184·2022-10-29·18:49:40.000000·data.tar.xz
⊟
98.0 B
control.tar.xz
⊟
70.0 B
control.tar
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
3.71 KB
data.tar.xz
⊟
3.68 KB
data.tar
⊟
1.04 KB
file list
    
Offset 24, 8 lines modifiedOffset 24, 8 lines modified
24 -rw-r--r--···0·root·········(0)·root·········(0)·····2085·2020-06-19·16:59:27.000000·./usr/share/doc/cvc4/THANKS24 -rw-r--r--···0·root·········(0)·root·········(0)·····2085·2020-06-19·16:59:27.000000·./usr/share/doc/cvc4/THANKS
25 -rw-r--r--···0·root·········(0)·root·········(0)·····1043·2022-10-29·18:49:40.000000·./usr/share/doc/cvc4/changelog.Debian.gz25 -rw-r--r--···0·root·········(0)·root·········(0)·····1043·2022-10-29·18:49:40.000000·./usr/share/doc/cvc4/changelog.Debian.gz
26 -rw-r--r--···0·root·········(0)·root·········(0)·····4452·2022-10-17·14:15:49.000000·./usr/share/doc/cvc4/copyright26 -rw-r--r--···0·root·········(0)·root·········(0)·····4452·2022-10-17·14:15:49.000000·./usr/share/doc/cvc4/copyright
27 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/27 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/
28 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/man1/28 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/man1/
29 -rw-r--r--···0·root·········(0)·root·········(0)·····2116·2022-10-29·18:49:40.000000·./usr/share/man/man1/cvc4.1.gz29 -rw-r--r--···0·root·········(0)·root·········(0)·····2116·2022-10-29·18:49:40.000000·./usr/share/man/man1/cvc4.1.gz
30 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/man5/30 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/man5/
31 -rw-r--r--···0·root·········(0)·root·········(0)······394·2022-10-29·18:49:40.000000·./usr/share/man/man5/cvc4.5.gz31 -rw-r--r--···0·root·········(0)·root·········(0)······393·2022-10-29·18:49:40.000000·./usr/share/man/man5/cvc4.5.gz
⊟
1.72 KB
./usr/bin/cvc4
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
810 B
readelf --wide --notes {}
    
Offset 5, 12 lines modifiedOffset 5, 12 lines modified
  
5 Displaying·notes·found·in:·.note.ABI-tag5 Displaying·notes·found·in:·.note.ABI-tag
6 ··Owner················Data·size·»  Description6 ··Owner················Data·size·»  Description
7 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.07 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.0
  
8 Displaying·notes·found·in:·.note.gnu.build-id8 Displaying·notes·found·in:·.note.gnu.build-id
9 ··Owner················Data·size·»  Description9 ··Owner················Data·size·»  Description
10 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·651d6ce8dd0cee94b267bd9ae7b62df27c3c4b9910 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·1b48866cfa01832bd9777d62448e75575966b7c5
  
11 Displaying·notes·found·in:·.note.gnu.gold-version11 Displaying·notes·found·in:·.note.gnu.gold-version
12 ··Owner················Data·size·»  Description12 ··Owner················Data·size·»  Description
13 ··GNU··················0x00000009»  NT_GNU_GOLD_VERSION·(gold·version)»  ····Version:·gold·1.1613 ··GNU··················0x00000009»  NT_GNU_GOLD_VERSION·(gold·version)»  ····Version:·gold·1.16
⊟
866 B
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
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·31643663·65386464·30636565·39346232·1d6ce8dd0cee94b2 
3 ··0x00000010·36376264·39616537·62363264·66323763·67bd9ae7b62df27c2 ··0x00000000·34383836·36636661·30313833·32626439·48866cfa01832bd9
 3 ··0x00000010·37373764·36323434·38653735·35373539·777d62448e755759
4 ··0x00000020·33633462·39392e64·65627567·00000000·3c4b99.debug....4 ··0x00000020·36366237·63352e64·65627567·00000000·66b7c5.debug....
5 ··0x00000030·a74e43ab····························.NC.5 ··0x00000030·60902e10····························`...
  
⊟
412 B
./usr/share/man/man1/cvc4.1.gz
⊟
352 B
cvc4.1
    
Offset 1, 11 lines modifiedOffset 1, 11 lines modified
1 .\"·Process·this·file·with1 .\"·Process·this·file·with
2 .\"·groff·-man·-Tascii·cvc4.12 .\"·groff·-man·-Tascii·cvc4.1
3 .\"3 .\"
4 .TH·CVC4·1·"2022-10-29"·"CVC4·release·CVC4_RELEASE_STRING"·"User·Manuals"4 .TH·CVC4·1·"2022-10-30"·"CVC4·release·CVC4_RELEASE_STRING"·"User·Manuals"
5 .SH·NAME5 .SH·NAME
6 cvc4,·pcvc4·\-·an·automated·theorem·prover6 cvc4,·pcvc4·\-·an·automated·theorem·prover
7 .SH·SYNOPSIS7 .SH·SYNOPSIS
8 .B·cvc4·[8 .B·cvc4·[
9 .I·options9 .I·options
10 .B·]·[10 .B·]·[
11 .I·file11 .I·file
⊟
515 B
./usr/share/man/man5/cvc4.5.gz
⊟
455 B
cvc4.5
    
Offset 1, 11 lines modifiedOffset 1, 11 lines modified
1 .\"·Process·this·file·with1 .\"·Process·this·file·with
2 .\"·groff·-man·-Tascii·cvc4.52 .\"·groff·-man·-Tascii·cvc4.5
3 .\"3 .\"
4 .TH·CVC4·5·"2022-10-29"·"CVC4·release·CVC4_RELEASE_STRING"·"Languages·documentation"4 .TH·CVC4·5·"2022-10-30"·"CVC4·release·CVC4_RELEASE_STRING"·"Languages·documentation"
5 .SH·NAME5 .SH·NAME
6 cvc4·\-·the·native·input·language·for·CVC46 cvc4·\-·the·native·input·language·for·CVC4
7 .SH·DESCRIPTION7 .SH·DESCRIPTION
8 .B·cvc48 .B·cvc4
9 is·an·automated·theorem·prover·for·first-order·formulas·with·respect9 is·an·automated·theorem·prover·for·first-order·formulas·with·respect
10 to·background·theories·of·interest.10 to·background·theories·of·interest.
  
⊟
8.29 KB
libcvc4-7_1.8-3_amd64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2022-10-29·18:49:40.000000·debian-binary1 -rw-r--r--···0········0········0········4·2022-10-29·18:49:40.000000·debian-binary
2 -rw-r--r--···0········0········0·····1216·2022-10-29·18:49:40.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1216·2022-10-29·18:49:40.000000·control.tar.xz
3 -rw-r--r--···0········0········0··5989712·2022-10-29·18:49:40.000000·data.tar.xz3 -rw-r--r--···0········0········0··5991912·2022-10-29·18:49:40.000000·data.tar.xz
⊟
98.0 B
control.tar.xz
⊟
70.0 B
control.tar
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
7.78 KB
data.tar.xz
⊟
7.76 KB
data.tar
⊟
7.75 KB
./usr/lib/x86_64-linux-gnu/libcvc4.so.7
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
623 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·a344efbbe1378723f839f4891437f0453ad1acfd3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·849c3cb2efc130ec9c19b151b651da220cf26a95
  
4 Displaying·notes·found·in:·.note.gnu.gold-version4 Displaying·notes·found·in:·.note.gnu.gold-version
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000009»  NT_GNU_GOLD_VERSION·(gold·version)»  ····Version:·gold·1.166 ··GNU··················0x00000009»  NT_GNU_GOLD_VERSION·(gold·version)»  ····Version:·gold·1.16
⊟
5.89 KB
strings --all --bytes=8 {}
    
Offset 44584, 15 lines modifiedOffset 44584, 15 lines modified
44584 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::time44584 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
44585 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·restart44585 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
44586 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_e44586 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
44587 00010203040506070809101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949529394959697989944587 000102030405060708091011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495293949596979899
44588 miniscope-quant-SynthEngine::ceg:cegqi_lemmas_ceqi_lemmas_refine:cegqi_lemmas_siSynthConjecture:cture::solutions:filtered_soluti:candidate_rewrie_rewrites_printSygusEnumerator::enumTermsRewrit:enumTermsEvalExrator::enumTerms44588 miniscope-quant-SynthEngine::ceg:cegqi_lemmas_ceqi_lemmas_refine:cegqi_lemmas_siSynthConjecture:cture::solutions:filtered_soluti:candidate_rewrie_rewrites_printSygusEnumerator::enumTermsRewrit:enumTermsEvalExrator::enumTerms
44589 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·sk44589 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
44590 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·constraint44590 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
44591 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:·184467440737095544591 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
44592 resource::Bitblaresource::BvEagevEagerAssertStepresource::BvPropvPropagationStepresource::BvSatCSatConflictsStepresource::CnfSteresource::Decisiresource::LemmaSresource::ParseSresource::Preproresource::Quantiresource::Restarresource::Rewritresource::SatCon:SatConflictStepresource::Theory:TheoryCheckStep44592 resource::Bitblaresource::BvEagevEagerAssertStepresource::BvPropvPropagationStepresource::BvSatCSatConflictsStepresource::CnfSteresource::Decisiresource::LemmaSresource::ParseSresource::Preproresource::Quantiresource::Restarresource::Rewritresource::SatCon:SatConflictStepresource::Theory:TheoryCheckStep
44593 is·a·skolem·variable·imported·from·another·ExprM44593 is·a·skolem·variable·imported·from·another·ExprM
44594 unknown·option·fn·for·--uf-ss:·`44594 unknown·option·fn·for·--uf-ss:·`
44595 Y@ffffff44595 Y@ffffff
44596 N4CVC47context10ContextObjE44596 N4CVC47context10ContextObjE
44597 N4CVC47context16ContextNotifyObjE44597 N4CVC47context16ContextNotifyObjE
44598 N4CVC47context6CDListINS_12NodeTemplateILb1EEENS0_14DefaultCleanUpIS3_EESaIS3_EEE44598 N4CVC47context6CDListINS_12NodeTemplateILb1EEENS0_14DefaultCleanUpIS3_EESaIS3_EEE
⊟
54.0 B
.text
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.fini
Timeout exceeded; details may be incomplete.
⊟
58.0 B
.rodata
Timeout exceeded; details may be incomplete.
⊟
78.0 B
.gcc_except_table
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.eh_frame
Timeout exceeded; details may be incomplete.
⊟
70.0 B
.eh_frame_hdr
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.tbss
Timeout exceeded; details may be incomplete.
⊟
80.0 B
.data.rel.ro.local
Timeout exceeded; details may be incomplete.
⊟
66.0 B
.fini_array
Timeout exceeded; details may be incomplete.
⊟
66.0 B
.init_array
Timeout exceeded; details may be incomplete.
⊟
68.0 B
.data.rel.ro
Timeout exceeded; details may be incomplete.
⊟
52.0 B
.got
Timeout exceeded; details may be incomplete.
⊟
60.0 B
.got.plt
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.data
Timeout exceeded; details may be incomplete.
⊟
74.0 B
.tm_clone_table
Timeout exceeded; details may be incomplete.
⊟
52.0 B
.bss
Timeout exceeded; details may be incomplete.
⊟
72.0 B
.gnu_debuglink
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.shstrtab
Timeout exceeded; details may be incomplete.
⊟
98.0 B
libcvc4-dev_1.8-3_amd64.deb
Timeout exceeded; details may be incomplete.
⊟
104 B
libcvc4parser7_1.8-3_amd64.deb
Timeout exceeded; details may be incomplete.
⊟
98.0 B
cvc4-dbgsym_1.8-3_amd64.deb
Timeout exceeded; details may be incomplete.
⊟
108 B
libcvc4-7-dbgsym_1.8-3_amd64.deb
Timeout exceeded; details may be incomplete.
⊟
118 B
libcvc4parser7-dbgsym_1.8-3_amd64.deb
Timeout exceeded; details may be incomplete.
Generated by diffoscope 247