All Downloads are FREE. Search and download functionalities are using the official Maven repository.

x86-linux.libminisatprover.so Maven / Gradle / Ivy

ELF@!4`?4 (r?r?\?\?\??(????????$$P?td8?8?8???Q?tdR?td\?\?\???GNUm&?^w]u?d?H??=?C?vC!	?b? ?@? U?ey?Y 5??@%?PH?48?i???P?,???P!??F1!#%()+,-./0146789;=?ABDGIJLMORTVWYZ\]_`beijklmopswxyz\???Ŗtѡ?9)??K?Ğ?&??????~z?H??????l??M{???x??t}???cg???X??@ *-:e??1T?c0?s?????}a?K?X(??q??????L]?~?H?l?,Ն???l?D?X?? N??{F/e:??\???7a??k
K]a?#??9?e???+o?	6T?ٻ?4???>??-?T!+h???61ÑUP??la?8?X?bet)??n??{?@????I??????8ށﱂF:T?o??WV>?Vb:?;???}?`???
t??CE???m?f9??%???!??|?7??fet??#$??????a.}?Ф?+?qv=?r?";?w?'?*?T???qXޑ???f:??>?" + ??	?1?	??V??
??h{??
?
4?%)"?	?Y??? !M	 ??? ?Zuq???{??	??Q"
???"E?m^"?p3"?5H"???$?	??"??`??@'Z6	0???P5"?0-?d	??X??3+"?
p??"?`<?I?,S?p[x}	 ????mQ"H?P
???"??m^"0=?]?3"_5H"HpA???!??4H"???!?
?5?	{?/?[???e`1"Bp^&	4H"?P1"#?1"??1"-]d??3+"??q?@d??0p?"??? !?-)7P@?	??J`4H"?p?pP?4H"??~??Pn?"+4H"??!
~Ps???1"?2?"P?3"?iWp[x?p1"?"?!
W?_?G$??XB?
?
??
;??!Z???'?k?:`4H"??r??S?!
:
p?r.?.?	??Kk0`h??1?"jMdq0.zlP5"N$???[??ix?3"__gmon_start___init_fini__cxa_finalize_Jv_RegisterClasses_ZN14ProofTraverser4rootERK3vecI3LitE_ZN14ProofTraverser5chainERK3vecIiES3__ZN14ProofTraverser7deletedEi_ZN14ProofTraverser4doneEv_ZN14ProofTraverserD2Ev_ZTV14ProofTraverser_ZN14TraceGenerator4rootERK3vecI3LitE_ZN14TraceGenerator5chainERK3vecIiES3__ZN14TraceGenerator7deletedEi_ZN14TraceGenerator4doneEv_ZN14TraceGeneratorD2Ev_ZN14TraceGeneratorD0Ev_ZdlPv_ZN14ProofTraverserD0Ev__assert_failreallocJava_kodkod_engine_satlab_MiniSatProver_make_Znwjmalloc_ZN5ProofC1Ev_Unwind_Resume__gxx_personality_v0Java_kodkod_engine_satlab_MiniSatProver_addVariables_ZN6Solver6newVarEvJava_kodkod_engine_satlab_MiniSatProver_valueOfJava_kodkod_engine_satlab_MiniSatProver_trace_ZTV14TraceGenerator_ZN5Proof8traverseER14ProofTraverseri_ZN3vecIiED2Ev_ZN3vecIP6ClauseED2Ev_ZN3vecIcED2Ev_ZN3vecI3LitED2EvJava_kodkod_engine_satlab_MiniSatProver_solve_ZN6Solver5solveERK3vecI3LitE_ZN3vecI3LitED1Ev_ZN6SolverD2Ev_ZN6Solver6removeEP6Clauseb_ZN3vecIcED1Ev_ZN3vecIiED1Ev_ZN3vecIP6ClauseED1EvJava_kodkod_engine_satlab_MiniSatProver_free_ZN4File5closeEv_ZN6SolverD1EvJava_kodkod_engine_satlab_MiniSatProver_addClause_ZN6Solver9newClauseERK3vecI3LitEbi_ZNSt8ios_base4InitC1Ev_ZNSt8ios_base4InitD1Ev__cxa_atexit_ZTI14ProofTraverser_ZN14ProofTraverserD1Ev_ZTI14TraceGenerator_ZN14TraceGeneratorD1Ev_ZTVN10__cxxabiv120__si_class_type_infoE_ZTS14TraceGenerator_ZTVN10__cxxabiv117__class_type_infoE_ZTS14ProofTraverser_ZN4File4openEi8FileModebcloseread_ZN4File4openEPKcS1_strchropen64lseek64write_ZN4File4seekExi_ZN4File4tellEv_Z7putUIntR4Filey_Z7getUIntR4File__cxa_allocate_exception_ZTI13Exception_EOF__cxa_throw__cxa_call_unexpected_ZTS13Exception_EOF_ZN9TempFilesD2Evremove_ZN5ProofC2ER14ProofTraverser_ZN5Proof10beginChainEi_ZN5Proof7resolveEii_ZN5Proof8endChainEv_ZN5Proof7deletedEi_ZN5Proof8compressERS_i_ZN5Proof4saveEPKc_ZN3vecIiE5clearEb_ZN5ProofC2Evtempnam_Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd_Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvR3vecIT_ET0__ZN5Proof7addRootER3vecI3LitE_ZN9TempFilesD1Ev_ZN5ProofC1ER14ProofTraverser_Z11removeWatchR3vecIP6ClauseES1__ZNK6Solver8simplifyEP6Clause_ZN6Solver11cancelUntilEi_ZN6Solver17analyze_removableE3Litj_ZN6Solver12analyzeFinalEP6Clauseb_ZN6Solver7enqueueE3LitP6Clause_ZN6Solver6assumeE3Lit_ZN6Solver9propagateEv_ZN6Solver10simplifyDBEv_ZN6Solver16progressEstimateEvpow_ZN6Solver18varRescaleActivityEv_ZN6Solver18claRescaleActivityEv_ZN3vecI3LitE5clearEb_ZN3vecI5lboolE6growToEi_Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd_ZN6Solver8reduceDBEv_Z13selectionSortI3Lit14lastToFirst_ltEvPT_iT0__Z4sortI3Lit14lastToFirst_ltEvPT_iT0_Rd_ZN6Solver7analyzeEP6ClauseR3vecI3LitERi_ZN6Solver6searchEiiRK12SearchParamsputsstdoutfflush__printf_chklibstdc++.so.6libm.so.6libgcc_s.so.1libc.so.6_edata__bss_start_endGCC_3.0GLIBC_2.0CXXABI_1.3GLIBCXX_3.4GLIBC_2.3.4GLIBC_2.1GLIBC_2.1.3	/ P&y	_% ii
g0ӯkqt)?|=ti	?ii
gii
?si	?\?`?d?h?????B??B??L??I??e??N??M??4??k??u??a??*?????b??P????^??????f??p??)??????"??D D??
??T???? !+O ,$(%,0&4	8
<s@VDWHxLPmTJX\q`d_h0lp<tx(|5?c?R?#??g?Q??>??3??H?z??9??:?-?S?i?o?K?v???C?E?\?X?'?$?j [YS???[??S?????????t?y?	?O???[???????h???????h???????h???????h??????h ?????? h(??????$h0??????(h8?p?????,h@?`?????0hH?P?????4hP?@?????8hX?0?????<h`? ?????@hh??????Dhp??????Hhx???????Lh????????Ph????????Th????????Xh???????\h???????`h???????dh???????hh??p?????lh??`?????ph??P?????th??@?????xh??0?????|h?? ??????h????????h????????h?????????h????????h????????h????????h???????h ???????h(???????h0???????h8?p??????h@?`??????hH?P??????hP?@??????hX?0??????h`? ??????hh???????hp???????hx????????h?????????h?????????h?????????h????????h????????h????????h????????h??p??????h??`??????h??P??????h??@??????h??0??????h?? ?????h???????h???????h????????h???????h???????h???????h??????h ?????? h(????S?a?î????D$I???????D$???????D$??????$??????S?'??t????D$v??L????D$??d????D$??s????$?????S????:????D$v???????D$??d????D$??s????$?S????S???????D$I??,????D$???????D$??????$?????S?y???????D$I???????D$???????D$??????$??????S???Ì????D$????????D$???????D$???????$?????S???R????D$???????D$???????D$???????$?k????S????????D$F???????D$???????D$???????$?1????S????????D$I??L????D$???????D$??????$??????S?W?ä????D$I??,????D$???????D$??????$?????S???j????D$I??l????D$???????D$??????$?????S????0????D$I???????D$???????D$??????$?I????S????????D$I??????D$???????D$??????$?????S?o?ü????D$K??L????D$???????D$???????$??????????VS?0??}?????@?4$?"??????????t$?D$???????$?6???ǃ<ǃD????ǃHǃ8????ǃL??????[^Ð??????????????]????ǁPǁT????ǁXÐ?????S?????????????ǃhǃl????ǃp?D$??\?D$??????ǃt????ǃx????ǃ\ǃ`ǃd?$???????[Ð??????????????ǁ|ǁ?????ǁ?ǁ?????ǁ?????Ð?U??VS?????????0u]????????t??$?$???????4????????????)?????9?s ??????4?????????49?r?ƃ0??[^]?U??S?.??{???????????t????????t???????$?Ѓ?[]Ë$Ð????U??WV??S???x???????1?9?~;??uf???M??x?
?|??9???~???D$??$?>?????u1??V9?~????t?????????9?u?n??[^_]Å?u?????WVS?_????ì????$??????????P(?????P0?@?PD?@?XL?@?@?@?@?@8?@<?@@?@?@ ?@$?@8?VT?FX?F\?F`?Fd?Fl?Fp?Ft?Fh?D$?$?,??????@?Vd?F`????t	??????Vd݃D??????^x?Vddž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?݃L???ݞx݃T???ݞ?݃\???dždždždždždždž dž$dž(dž,dž0dž4dž8dž<dž@džDdžHdžLdžPdžTdžXdž\dž`džddžhdžldžpdžtݞ???ݞ?Ɔ?dž?dž?dž?dž?dž?dž?dž?dž?dž???D$?$???????????8????t?G?$?Z??????(?@???????P?W?P???$?(????????@?????????ɉP?W?P??~x??$~W??0~6??t?<$?????$H?^????lj$?????????????[??^_Í?,?????븍??? ?????뗍?????p????s????Ɖ<$?????4$???????????L????D$?D$I???????D$??????$??????̿???D$?D$D?ԍ???,?|$$?|$@?\$???????@??l$(?l$8???t$ ~1??t&???,$????9?u?\$?t$ ?|$$?l$(??,Í???'S?D$?????????T$?????<9L??[??Í?&??L?T$X?t$@?D$P?|$D?L$`?\$?$???????&??????D$ ??????????$?z?????[Ð????S???????????D$ ??????????$?J?????[Ð???????t$?t$ ?\$???????????t?F?$?Q?????F?\$?t$??Ð??????????t$?t$ ?\$?3????À????t?F?$??????F?\$?t$??Ð??????????t$?t$ ?\$???????0????t?F?$??????F?\$?t$??Ð??????????t$?t$ ?\$???????????t?F?$?a?????F?\$?t$??Ð???????UWVS??,?t$@?G????Ô??~??~%1???D$?F???4$?D$??????9~ދV??~/1???t&?F????t?D$?D$?4$?r????V??9?|??D$???4$?D$?N????D$???4$?D$?4????????t&dž??$?x???dž?dž??????t&dž??$?H???dž?dž???,??t&dž0?$????dž,dž4?? ??t&dž$?$?????dž dž(????t&dž?$????dždž????t&dž?$????dždž?????t&dž??$?X???dž?dž??????t&dž??$?(???dž?dž??????t&dž??$?????dž?dž??????t&dž??$?????dž?dž??????t&dž??$????dž?dž??????t&dž??$?h???dž?dž??????t&dž??$?8???dž?dž??????t&dž??$????dž?dž??????????????D$?a1???1?ƍt&?<1???t4?G?$?T$?????T$??G???????D$????9l$??ɉ?ǂ?t?$?g???dž?dž??Fl??t?Fp?$?=????Fl?Ft?F`??t?Fd?$?????F`?Fh?F8??t?F<?$??????F8?F@?F??t?F ?$??????F?F$?F??t?F?$?????F?F?F??t?F?$?????F?F??,[^_]?dž???????D$????$??????????t&dž??$?6???dž?dž???,?$?????? ?$?v??????$?h??????$?Z???????$?L???????$????????$?`???????$?R???????$????????$?6???????$?????????$?Z???????????????~e1?1?L$?<??ɉL$t4?G?$?T$?:??????????T$??G?L$????9l$???dž?u?dž??$?????dž?dž??Fl??t?Fp?$??????Fl?Ft?F`??t?Fd?$?????F`?Fh?F8??t?F<?$?y????F8?F@?F?$?????F???$?b????4$?Z????D$?$?????$Ð???????????????ߍt&?V?T$?V?$?T$?????F렐???&??????F????????V1?	??"????t&?F??????????	??V1?	????????t&?N?,???V???????F?????????V?T$??	???	?1?	??????t&?N????V?L$????f??N?,???V???????F???L$(?D$????V?T$,????	?	?	??L$?z????v?n?l???V???????t&?n?l???V?l$(?i?????n?l???V?l$,???????n?l???V?l$ ?y?????n?l???V?l$$??????~?<???V???????~?<???V?|$????f??T$?l$??$?&????F?D$?F?D$??$?????F1??F?F????????$????????????D$?T$?$?R??????$?U???????T$?F?D$??$?????F?D$?F?D$??$?????F1??F?F?a????v?T$?F?D$??$?K????F?D$?F?D$??$??????F1??F?F?q????v?T$?l$??$??????F?D$?F?D$??$?~????F1??F?F???????T$?l$??$?????F?D$?F?D$??$?.????F1?1??F?F??????t&?T$?F?D$??$?[????F?D$?F?D$??$??????F1??F?F?Q????v?T$?F?D$??$?????F?D$?F?D$??$?????F1?1??F?F??????T$?F?D$??$?????F?D$?F?D$??$?;????F1?1??F?F?f?????T$?l$??$?n????F?D$?F?D$??$??????F1??F?F????????T$?F?D$??$?????F?D$?F?D$??$?????F1??F?F?????v?T$?F?D$??$??????F?D$?F?D$??$?K????F1?1??F?F?R?????T$?F?D$??$?{????F?D$?F?D$??$??????F1?1??F?F??????T$?F?D$??$?+????F?D$?F?D$??$?????F1?1??F?F???????T$?F?D$??$??????F?D$?F?D$??$?[????F1?1??F?F?B?????????1???????D$(????????????????????????q????D$,?????????D$ ?????Q?????????}????D$?????'????D$$??????????D$?????D$??????????*????D$?????g????N1??D$?????L????N1ҽ??????????N1??D$?????????N1??D$$?????\????N1ҽ??????????N1ҿ??????????N1??D$(?????L????N1ҽ?????????N1??D$ ?????k????N1??D$,?????????????????????????D$?T$??????@?@?@?????@?@?@$?@(?@,?@0?@4?@8?@<?@@?@D?@?P Ð??&??,?l$(?l$4?\$????????t$ ?t$0????|$$???F0?????F41ҋN?????uX?F????V0?F+?4$????????D$?T$?)????~@??~F1??F?t7?F?4$)?????????D$?T$?????D$?D$?4$??????\$?t$?|$??Ð??&??'S???n????û??D$ ?8????????D$t&??o????D$???????D$??$?ν??????o????D$???????D$??$訽?????&UWVS???$聴??????????????t&븍?&??'UWVS込????????t$0??????F???????F?F?????F?F?F$?F(?F,?F0?F4?F8?F<?F@?FD?
??t&?<$? ????D$?$?L??????????l$?D$?4$貴???>?tŋ?`;?d??\t+????t?8???~?F?F ??`??[^_]Å?Eu?f???M艫d???D$??\?$?.?????uN??\??`듍t&?lm??9????d뿍?,????D$??o????D$???????D$/?$?ܲ????u???L????D$???????D$??????D$I?$讲???ǍF?F????Fu!?>?\$,?n?|$4?n?t$0?l$8??<Ð?t&?D$݃D????D$?\$?D$?l$?<$?ݯ???????~5?t&9?~	????????9?u??Յ?t??F?$蜭???v??????ߐ?????????????WVS???t$ 舵????Վ?|$$?N??tM?9:tN??~N1??f?9?tD??9?$蓗?????????D$???????D$???????D$??$?i?????u??0?????,?t$ ?t$0?L$4?|$$?l$(?l$4??????\$蛟?????xσ?t7?????9??t5???څ?E?9?????\$?t$ ?|$$?l$(??,?f??9????u˃??D-????????????????????T$8??????;????t&???????t?T$4????????r??????GuAf???M???????D$????$?H?????u&??????랍??|??9?????뽅?u???????t&??,?t$ ?t$0?|$$?\$?_????ìw???;???l$(???tJ???????t?(????D$4??????4$?D$?D$?4????\$?t$ ?|$$?l$(??,Å??GuAf???M???????D$????$?`?????u&???????w????v?|??9?????뽅?u??????????UWVS?~??????v??\?|$p?D$D???;?????P???????????H??L???????????R??ȋ?D$L?@?L$(?L$(??9L$(?L$<???l$(?????T$$?L$H?u?T$$9V?I;V?w?V?T$???L$?T$8?'???L$????T$??U?T$,??9?|?%??D$0????D$ ?1?????l$@?l$ ?|$4??????????9?u??9????T???u????9?t?T??L$$?|$4?V?L??F???,@????,??E;E???U?H?T$????t?0?M?l$,;l$<??????L$L+l$(?A??9??f???Q????T$L)?B???;???H????D$D??\[^_]Ít&???L$????T$??U9?|?T$,??????ՋT$(?2???T$(???t&?l$@?|$4???????????????D$0??D$ ?D??$?D$?	????>vI??l$ ?????֐?t&?D??????D$?U???D$????$?;??????9?|Ӊ???l$ ????$?=????L$?W???D$4?=??D$0?T?D$8???/?T$???????ډT$@????T$ ?T$@9T$ ?;???ڃ|$8E?;D$ ???D$4??T$(?L$?2???T$?t$?L$?<$?G????????????u?????T$,9T$t???????4$??????t???<[^_]Ë??????T$9?t䃾??|	???w?9D$???l$???l$ ?v????T$ ?,????Tm????H?????;D?t2?D$?D$?4$?+????F?????????9?~ ?V???8w??L$?????L$?Ґ?t&?|$;D$~~?D$???D$(?G??z?????;T?tH?D??D$ ????v:?D$?T$?4$譋???D$?F?D$(;D$~*?D$(?N???????D$?????D$?ʍ?&?T$+T$9???~)ЉF??L[^_]?躎????&??'UWVS??l??$?褒?????k????????t)??$???$???у???ʋT??$?T$?^?????$??z;z??	?????t???????$?????$???$????z?????????D$$?t$????$?????????21?;????9ЋT$??????ы?????t$?֋,?????L$????р9t?t$?l$$????????$????????t&??$???T$?ʃ???ыT??$?T$趇????$??????????????D$???????D$??????D$?$譈????t&???ՉD$ ?|$0?|$ ??$???8?????????b?EL??????????E8??ED?݃4???????????????;}p???El?????D$,ti?E\?D$?E`???1???T$4?t$Dt??$?f???M??z???D$??$?????uS??$????????|??9????$??z???D$$?D$ ???????????腄????t&?̓????u?????v?E????ސ??&UWVS??l??$???????0a??$????D$4u??$??????$??}???|$4?D$L?D$P?D$T????????t
?o1??????D$P??????D$L?D$P?D$T???D$?r?L$??1??|$?t$L?L$P?L$T1ɉ|$0?f????<??????9???9?|?D$0???D$????$?1???|????|$?f??????9?????9??m????u?????ݐ?t&?G??????????$??t???$???$???U?????D$??l$L??$??l$8??<$?D$?n}????u
???&?D$L??t?$?~????l[^_]Å?t?4$??}????l[^_]Ít&??$??E?Ív?T$41?Ё?$???T$,???l???,$??~???T$,?????
??t\?O?F?????		Ѕɉ~?/1҉D$0?D??D???9?u?D$0?|$4?1??$??t?ƒ???Ћ?$??T??|$4?U?/??$??????E?|$0????|$0???~3?t$4??΍??L?????9?O?Oу?;D$0u?t$4???D?F?E?D????$?????@?G(?\$f???M?o???D$??$??u???????W??J??????&?lm??9???o???J??9?????$??E?????J??9?f??V??????Gu6f???M??}???D$?E?$?cu?????S?E?}??????|??9???}?ȋD$L1??D$?&?????u7f???M?o???D$??$?u???????W??J?????lm??9???o?Dž?uC??$?f???M??}???D$?E?$?t????u6??$??W?G?J?????|??9????$??}뻋D$1???????uƍ?,????D$?D$I???????D$??????$?Nu????????????????D$?D$D?̅??????밅????>???렅????
???됅?????????}?????????D$??W????D$??h????D$??$??t?????????F????|$8???D$?<$?w???4$?@w????????D$???????D$???????D$G?$?vt???Ay???x??????UWVS??l??$??|????V?>?T???9??????$??????????8??<?7???^L?w?^0t
dž??D$@?t&??$??,$?t?????A??P?????T?D$@9???D$P?D$T?D$X?b??$??t$\?t$?t$P?t$?D$?<$?1v??????T$\?<$9?M‰D$?r??????????@=???????$??D$?D$?t$?,$?8r???~???$?tY?GL????????r?OD?_D??t&?؋?$????F(?N0?^(??????D$T?$?s???D$P?D$X????????$???????????닍t&??$?9|$@????$??????????$???x!??$??G+??9?$??<$?Nr????$???$??Fكt??????Ex?Ƀ?@??D??T?|$N݃|??????D$N??f?D$L?l$L?\$H?l$N?D$H?D$H?D$H???????Ux???????????$?Ud??t^???ʋ}T?O?????l$L?\$H?l$N?D$H?D$H?D$H???????Ux??L$H??D$H???l$L?\$8?l$N?L$8?;??u?^?????؋?????D$D????t&?F?T???x?P?F?|$8?P?F???F???n?????n?G?~???G?D$<????$???????L$,??|$?R\?T$0?P9?}?t&??????|$???D$(?T$?
?????l????D$???????D$???????D$??$?Mn????t&?D$(??D$(?i????D$?t$P?D$?,$?
q???????$???D$P??t?$?Kn????$???l[^_]??????$???ޅ??R?????$??,$?Bo?????ݝ??D$?,$?
m???????$??랍?l????D$???????D$??m????D$??$?om????v????D$???????D$??-????D$>?$?Em?????D$?4$?o???<$??o????v??'UWVS?~u?????N????$???$??4$?%n???>?l??x?N?????$???|?L$p?T$d??$??????$??????$??????$??????$??E????M????E?????9???L$X??l$\1????????4$?m???????T$\??9z????,?????;???L$X???l$?4$?Kl????u?????L$X?T$X?l$`?????????D$?D$?4$??n?????;???????????t	?T$`?????????4$?D$??j???Ĭ1?[^_]Ð?t&?Ĭ1?[^_]Ív???9???-?????~l??T????$?fm??????????$?k?????????$?Hm????$?k?????????$?0m????$?vk????D????$?m????$?^k??????T$d;?????D$p?VUUU????????D$p??)‰T$t?D$tك?????v???|$z?D$z?f?D$x?l$x?T$t?l$z?ɋ|$t?l$x?T$?l$z?|$?D$|??$??$?\$@?\$0?L$?t$?l?????D$|9???D$@?D$0????؋????ɋ??܋?D$?|$?T$`??9|$d?T$$?|$ ???v?t$$???|$$?6???|$,???t$(?t$???t$?????|$`;L$d?4??t$4tA?2?T$4????~֋l$?}???t?D??D???????v??L$????;L$d?t$u??l$4?T$?t$(?D$$?|$,??u?l$ 9l$0?|$$~s???9|$d?l$?|$ ?F????l$$?E?U?T$,?D$?‰ƉD$(벋t$l?|$ ?l$`?D$?t$?|$?,$??d???D$d?t$?D$)??D$?D$?$?d????L[^_]ËD$lكt????T$l?t$`??|$>?D$ ?????t$???D$>݃|???????f?D$?D$8?D$8?D$8??????????D$d???l$?D$8???8?D$0?D$d??|$,???|$4?bf??h??D$`??L$d?D$$?????T$???D$>?L$݃|???????f?D$?D$8?D$8?m?D$8?ɉl$,????????D$d???l$?D$8?????D??(?D$4???>?T$,?D$$????9,??t$0?|$(Q?T$?L$`?l$ ??????l$ ?????|$,???1?T$?t$??9,?|?9T$$?t$}?T$?|$4?2?t$(?1?/?D$?t$눋l$l?D$h?T$$?L$`?l$?D$?T$?$?a???t$$)t$d?|$d~?|$?|$`?????D$`?D$0?t$0?T$h?L$d?4$?T$?L$?`????L[^_]Ð???U??VS?h?????A??x??????t??x?????&???Ћ???u?[^]?S???[?ãA?g????[?/home/aleks/work/projects/kodkod/lib/minisat-p_v1.14/core/Global.h/home/aleks/work/projects/kodkod/lib/minisat-p_v1.14/core/Proof.hsize == 0 || tmp != __nullid_counter != ClauseId_NULL[IT* xrealloc(T*, size_t) [with T = int, size_t = unsigned int]T* xrealloc(T*, size_t) [with T = Lit, size_t = unsigned int]T* xmalloc(size_t) [with T = char, size_t = unsigned int]ClauseId Proof::last()14TraceGenerator14ProofTraverser??ٕAffffff??+??????{?G?z??../core/File.hmode == WRITE../core/Global.h../core/File.C!(has_r && has_w)has_r || has_w || has_aT* xmalloc(size_t) [with T = unsigned char, size_t = unsigned int]void File::open(cchar*, cchar*)void File::flush()13Exception_EOF../core/Proof.Cstart != ClauseId_NULLnext != ClauseId_NULL!fp.null()falsewomode == READ../core/Proof.hname != __nullwx+chain_id.size() == chain_var.size() + 1char* TempFiles::open(File&)T* xrealloc(T*, size_t) [with T = const char*, size_t = unsigned int]T* xrealloc(T*, size_t) [with T = Lit, size_t = unsigned int]void Proof::beginChain(ClauseId)T* xrealloc(T*, size_t) [with T = int, size_t = unsigned int]void Proof::resolve(ClauseId, Var)ClauseId Proof::endChain()void Proof::compress(Proof&, ClauseId)bool Proof::save(cchar*)bool File::eof()void File::flush()void Proof::traverse(ProofTraverser&, ClauseId)ClauseId Proof::last() ??I?????Anelems <= sz../core/Heap.hok(n)../core/Solver.Cj < ws.size()decisionLevel() == 0size >= 0reason[var(p)] != __nulllevel[x] > 0c[1] == false_litconfl != __nulllevel[v] > 0learnt || id == ClauseId_NULL../core/Solver.hexprroot_level == decisionLevel()okvar(p) < nVars()conflict.size() > 0reason[var(analyze_stack.last())] != __nullunit_id[var(first)] == ClauseId_NULL || value(first) == l_Falseproof == __null || unit_id[var(p)] != ClauseId_NULL==================================[MINISAT]===================================| Conflicts |     ORIGINAL     |              LEARNT              | Progress ||           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |==============================================================================| %9d | %7d %8d | %7d %7d %8d %7.1f | %6.3f %% |
void removeWatch(vec&, Clause*)void Solver::newClause(const vec&, bool, ClauseId)T* xrealloc(T*, size_t) [with T = Lit, size_t = unsigned int]void vec::shrink(int) [with T = Lit]T* xmalloc(size_t) [with T = char, size_t = unsigned int]void check(bool)T* xrealloc(T*, size_t) [with T = Clause*, size_t = unsigned int]bool Solver::simplify(Clause*) constT* xrealloc(T*, size_t) [with T = double, size_t = unsigned int]void Heap::setBounds(int) [with C = VarOrder_lt]T* xrealloc(T*, size_t) [with T = vec, size_t = unsigned int]T* xrealloc(T*, size_t) [with T = char, size_t = unsigned int]T* xrealloc(T*, size_t) [with T = int, size_t = unsigned int]void Heap::insert(int) [with C = VarOrder_lt]void vec::shrink(int) [with T = int]bool Heap::inHeap(int) [with C = VarOrder_lt]void Solver::analyze(Clause*, vec&, int&)bool Solver::analyze_removable(Lit, uint)ClauseId Proof::last()void Solver::analyzeFinal(Clause*, bool)Clause* Solver::propagate()void vec::shrink(int) [with T = Clause*]void Solver::simplifyDB()lbool Solver::search(int, int, const SearchParams&)T* xrealloc(T*, size_t) [with T = lbool, size_t = unsigned int]bool Solver::solve(const vec&)???B??0??.?++#B????;@??x?D}Ô%?I?T????????;?Z?N???S??tBS??0|S??H	?S??d	?S???	*T??HdT??d?T????T???U???LU????U????U??
?U??(
8V????V??	?V??$xW??XxX???Y???h^??,?^??T?^??p?_??x`???Ha???c??(c??,8c??@Hc??TXc??hxc??|xd???8e???He??Xe?? xe??4?e??T?e???(f???xf????f???g??Dn??(n??L?n??x?q???r???8s?? ?s??L?~???8????	?????	Ȏ???	8???
h???P
????t
h????
????
????4?????X???	???????x?????آ??D
????|
h????
???????@?????8????????0????\?????????????????@????p8???L????x???D??????????H?????????x???H????8????zR|? ?K??pFJtx?;*2$"@?_??T?_??h?_??|?_????_??D??_???A?A?A?C0U
A?A?A?B?A?A?A?0??`???A?A?A?C ?A?A?A? 8a??44a??H0a??\???	?	?
?
??=bu??
5w?	?
??/-?,????!M?????????B??????J???????????
??????^??????
?p$?$ %?%????????%/=?
H?\????o8?
???0h80???ox???o???o~???o????&6FVfv????????&6FVfv????????&6FVfv????????  & 6 F V f v ? ? ? ? ? ? ? ? !!&!6!GCC: (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3.symtab.strtab.shstrtab.note.gnu.build-id.gnu.hash.dynsym.dynstr.gnu.version.gnu.version_r.rel.dyn.rel.plt.init.text.fini.rodata.eh_frame_hdr.eh_frame.gcc_except_table.init_array.ctors.dtors.jcr.data.rel.ro.dynamic.got.got.plt.data.bss.comment$.???o88?8?@???H???o~~?U???oxx?d	880m	hh0
v??.q??p|@!@!??H?H??????? ?8?8?????????????\?\??l?l??t?t??|?|??????\ ???????????(?????$??$$?`0$?*N?8?`?	?,8?~x8h?	?
@!H???
8????\?l?t?|?????????$??l?t?(|?5?%K$Z(hp&??tp?????|???????@!9???>
-?&?L,Z@?>
???:
?0???
?p$r4(84<@@N??Uz!9m@?
???C
? ? 
??$*?D(H4L???!9m??
*?!9Z ?>
?("9???>
F??!
u`?#
???
???'
???
"??
L ?0
?P?
?P? ?
?@?F
? %??\(`4dLh@l??b"9@??(
n?"9??,
??"9???1
,#9?@?>
QJ#9v ?B
??#9?`?G
	?#9%???
R?#9Z?>
t2$9?@?1
???)
?p??%
4xC??A
p ?4
???(
?@?*
?j?
	??)
(tK	??
y	,?
?	??@
L|?	?/

?8
???:
V
??
w
`?4
?
??$
?
?%>@? 7????MZx?gR<~?&??????`<??S?!
??m^"?0.z&?YG5H"Y]dn? ? ?pA?????4H"?4H"??3+"
??$4
N
q?p
?? !?
?
H??
?3"?
?{??
?1"?
 ??K@P@Q??JrP5"???!
??3"???!??2?"??k?p^&+Dp[xbp?rx??Ps????!?0????p1"?? !0?3+"H?/?z"?!
??,S????"??m^"???"As?1"?p??"??i?@d?? ???@'Z+0`hCe?_?y`4H"???!??q???0=??P5"?P1".0-?\-)??`????X??5H"??????[$??#X?if ?????mQ"?p[x???"?0p?"-B?
??r?]4H"l`1"??1?"?Md???????	?4H"?5=Pn?"l`4H"??3"???Q"?$??? ?Z??	!4??
]"y?~??p3"??.??p?p?	?1"crtstuff.c__CTOR_LIST____DTOR_LIST____JCR_LIST____do_global_dtors_auxcompleted.6159dtor_idx.6161frame_dummy__CTOR_END____FRAME_END____JCR_END____do_global_ctors_auxkodkod_engine_satlab_MiniSatProver.cpp_ZN3vecI3LitE4growEi.isra.17.part.18_ZZ8xreallocI3LitEPT_S2_jE19__PRETTY_FUNCTION___ZN3vecI3LitE6growToEi.part.19_ZL9lit_Undef_ZZ8xreallocIiEPT_S1_jE19__PRETTY_FUNCTION___ZZ7xmallocIcEPT_jE19__PRETTY_FUNCTION___ZL6l_True_ZZN5Proof4lastEvE19__PRETTY_FUNCTION___GLOBAL__sub_I_kodkod_engine_satlab_MiniSatProver.cpp_ZStL8__ioinit_ZL7l_False_ZL7l_Undef_ZL9lit_ErrorFile.C_ZN4File5flushEv.part.1_ZZN4File5flushEvE19__PRETTY_FUNCTION___ZZ7xmallocIhEPT_jE19__PRETTY_FUNCTION___ZZN4File4openEPKcS1_E19__PRETTY_FUNCTION___GLOBAL__sub_I_File.CProof.C_ZN4File7setModeE8FileMode.part.3_ZN3vecIiE4pushERKi.part.16_ZZN5Proof10beginChainEiE19__PRETTY_FUNCTION___ZZN5Proof7resolveEiiE19__PRETTY_FUNCTION___ZZN5Proof8endChainEvE19__PRETTY_FUNCTION___ZZN5Proof8compressERS_iE19__PRETTY_FUNCTION___ZZN4File3eofEvE19__PRETTY_FUNCTION___ZZN5Proof4saveEPKcE19__PRETTY_FUNCTION___ZZN5Proof8traverseER14ProofTraverseriE19__PRETTY_FUNCTION___ZL10temp_files_ZZN9TempFiles4openER4FileE19__PRETTY_FUNCTION___ZZ8xreallocIPKcEPT_S3_jE19__PRETTY_FUNCTION___GLOBAL__sub_I_Proof.CSolver.C_ZN3vecI3LitE6shrinkEi.isra.23.part.24_ZZN3vecI3LitE6shrinkEiE19__PRETTY_FUNCTION___ZN3vecIP6ClauseE6shrinkEi.isra.33.part.34_ZZN3vecIP6ClauseE6shrinkEiE19__PRETTY_FUNCTION___ZN4HeapI11VarOrder_ltE6inHeapEi.part.38_ZZN4HeapI11VarOrder_ltE6inHeapEiE19__PRETTY_FUNCTION___ZN3vecI3LitE4growEi.isra.41.part.42_ZN3vecIP6ClauseE4pushERKS1_.part.46_ZZ8xreallocIP6ClauseEPT_S3_jE19__PRETTY_FUNCTION___ZN3vecIS_IP6ClauseEE4pushEv.part.49_ZZ8xreallocI3vecIP6ClauseEEPT_S5_jE19__PRETTY_FUNCTION___ZN3vecIcE4pushERKc.part.51_ZZ8xreallocIcEPT_S1_jE19__PRETTY_FUNCTION___ZN3vecIiE4growEi.isra.52.part.53_ZN4HeapI11VarOrder_ltE6insertEi.part.54_ZZN4HeapI11VarOrder_ltE6insertEiE19__PRETTY_FUNCTION___ZZ11removeWatchR3vecIP6ClauseES1_E19__PRETTY_FUNCTION___ZZNK6Solver8simplifyEP6ClauseE19__PRETTY_FUNCTION___ZZ8xreallocIdEPT_S1_jE19__PRETTY_FUNCTION___ZZN4HeapI11VarOrder_ltE9setBoundsEiE19__PRETTY_FUNCTION___ZZN3vecIiE6shrinkEiE19__PRETTY_FUNCTION___ZZN6Solver17analyze_removableE3LitjE19__PRETTY_FUNCTION___ZZN6Solver12analyzeFinalEP6ClausebE19__PRETTY_FUNCTION___ZZN6Solver9propagateEvE19__PRETTY_FUNCTION___ZZN6Solver10simplifyDBEvE19__PRETTY_FUNCTION___ZZ8xreallocI5lboolEPT_S2_jE19__PRETTY_FUNCTION___ZZN6Solver7analyzeEP6ClauseR3vecI3LitERiE19__PRETTY_FUNCTION___ZZN6Solver9newClauseERK3vecI3LitEbiE19__PRETTY_FUNCTION___ZZ5checkbE19__PRETTY_FUNCTION___ZZN6Solver6searchEiiRK12SearchParamsE19__PRETTY_FUNCTION___ZZN6Solver5solveERK3vecI3LitEE19__PRETTY_FUNCTION___GLOBAL__sub_I_Solver.CDW.ref.__gxx_personality_v0DW.ref._ZTI13Exception_EOF_GLOBAL_OFFSET_TABLE___dso_handle__DTOR_END____i686.get_pc_thunk.cx__i686.get_pc_thunk.bx_DYNAMIC_ZN4File4openEi8FileModeb_ZTS13Exception_EOF_ZN9TempFilesD1EvJava_kodkod_engine_satlab_MiniSatProver_solve__cxa_atexit@@GLIBC_2.1.3_ZN6Solver18claRescaleActivityEv_ZN3vecI3LitED1Ev_ZN5Proof7resolveEiiopen64@@GLIBC_2.1__gmon_start___Jv_RegisterClasses_ZN4File4tellEvrealloc@@GLIBC_2.0_ZdlPv@@GLIBCXX_3.4_ZN3vecIcED2Ev_ZN3vecIiED2Ev_ZN14TraceGeneratorD0Ev_ZN6Solver9newClauseERK3vecI3LitEbi__printf_chk@@GLIBC_2.3.4_Z11removeWatchR3vecIP6ClauseES1__ZTV14TraceGeneratorstrchr@@GLIBC_2.0_fini_ZN14TraceGenerator4doneEv_ZN6Solver11cancelUntilEi_ZN14ProofTraverserD2Ev_ZNSt8ios_base4InitC1Ev@@GLIBCXX_3.4write@@GLIBC_2.0_ZN6Solver7enqueueE3LitP6Clause_ZN4File4seekExi_ZN6Solver18varRescaleActivityEv_ZN6SolverD1Evpow@@GLIBC_2.0_ZTS14TraceGenerator_ZN14TraceGeneratorD1Ev_ZTI13Exception_EOF_ZN14TraceGenerator5chainERK3vecIiES3__ZN5Proof7addRootER3vecI3LitE_ZN5Proof8endChainEv__assert_fail@@GLIBC_2.0_ZN5ProofC2ER14ProofTraverser_ZN6Solver8reduceDBEv_ZNSt8ios_base4InitD1Ev@@GLIBCXX_3.4read@@GLIBC_2.0_ZN6Solver6newVarEv_ZTI14ProofTraverser_ZN6Solver6assumeE3Litfree@@GLIBC_2.0_ZN14ProofTraverser7deletedEi_ZTV14ProofTraverser_ZN14ProofTraverserD0EvJava_kodkod_engine_satlab_MiniSatProver_addClause_ZTS14ProofTraverserJava_kodkod_engine_satlab_MiniSatProver_addVariables_Z13selectionSortI3Lit14lastToFirst_ltEvPT_iT0_fflush@@GLIBC_2.0_ZN9TempFilesD2Ev_Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd_ZTVN10__cxxabiv117__class_type_infoE@@CXXABI_1.3_ZN14ProofTraverserD1Ev_Z4sortI3Lit14lastToFirst_ltEvPT_iT0_Rd_ZN5ProofC1Ev_ZN5Proof8traverseER14ProofTraverseri_ZN6Solver9propagateEvJava_kodkod_engine_satlab_MiniSatProver_make_ZN5Proof8compressERS_i__cxa_call_unexpected@@CXXABI_1.3_ZN5Proof7deletedEi_ZN3vecIP6ClauseED2Ev_ZTI14TraceGenerator_ZN6Solver6removeEP6Clauseb_Znwj@@GLIBCXX_3.4_ZN4File4openEPKcS1__ZN6SolverD2Ev_ZN14ProofTraverser4rootERK3vecI3LitEclose@@GLIBC_2.0Java_kodkod_engine_satlab_MiniSatProver_traceJava_kodkod_engine_satlab_MiniSatProver_valueOf_ZN5Proof4saveEPKc_ZN6Solver10simplifyDBEvremove@@GLIBC_2.0_ZN3vecI3LitED2Ev_ZN4File5closeEv_ZN5Proof10beginChainEi__bss_startmalloc@@GLIBC_2.0_ZTVN10__cxxabiv120__si_class_type_infoE@@CXXABI_1.3_ZN5ProofC2Ev_ZN6Solver16progressEstimateEv__cxa_allocate_exception@@CXXABI_1.3_ZN3vecIiE5clearEb_ZN5ProofC1ER14ProofTraverser_ZN3vecI5lboolE6growToEi_Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvR3vecIT_ET0__Z7putUIntR4Filey_ZNK6Solver8simplifyEP6Clause_ZN3vecIiED1Ev_ZN14ProofTraverser5chainERK3vecIiES3__ZN14TraceGenerator4rootERK3vecI3LitE_Z7getUIntR4File__cxa_throw@@CXXABI_1.3_endstdout@@GLIBC_2.0puts@@GLIBC_2.0_ZN3vecIcED1Ev_ZN6Solver6searchEiiRK12SearchParams_Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd_ZN3vecIP6ClauseED1Ev_ZN14TraceGeneratorD2Ev_ZN3vecI3LitE5clearEb_edata_ZN6Solver5solveERK3vecI3LitE__gxx_personality_v0@@CXXABI_1.3tempnam@@GLIBC_2.0_Unwind_Resume@@GCC_3.0lseek64@@GLIBC_2.1_ZN6Solver7analyzeEP6ClauseR3vecI3LitERi__cxa_finalize@@GLIBC_2.1.3_ZN6Solver17analyze_removableE3Litj_ZN14TraceGenerator7deletedEiJava_kodkod_engine_satlab_MiniSatProver_free_ZN6Solver12analyzeFinalEP6Clauseb_init_ZN14ProofTraverser4doneEv




© 2015 - 2025 Weber Informatics LLC | Privacy Policy