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

amd64-linux.libminisat.so Maven / Gradle / Ivy

ELF>0>@?@8@ pp!p!0?
 h
h
!h
!?????$$P?td@?@?@???Q?tdR?tdpp!p!??GNU,????C|@?????;?_?%@??*?r?N[n?h}o??>	?FUV,??? bu$!OE3'"j#2?q%&S`+k1xyImaH=g^d];wAWlY-Z|X\G0e?7.()R
6?C4?fJ?McQT<@59
v_i?~8?p?s??DL??BK/?z{t:Pa)
D M@ #?bH*? ?n???C?4 @XL@? @ 
? ?@?
X?Q? ?D$HF0? $?C??k? `@)?
@),./01234578;<?ACDEFGIJKMOPRTUWZ\]_acdefghilmnopqsvz{|}????????????????hA8??J?E??nSY3U|P??SUm?q^,Tu?5??ѭ??uq}_j?H???g??
?BZ?z?+?i?????4???&?m?z?????-ˣ",B-`??E??1w?h???\r3??T?CE??`xN??kĸ???|QO"???k? 6y4?ib@?Q?\?[?9?g?ѱ?R??~??uM[????q)???????V3?
3??????t~?\??O??qX??G9?UA=?I7??|??(?t	C;??P?B-???V?F?g???I@?i拳C????4	F??KzZ?%Q#?????????j?.7?蛿?\?㼹̻h?]H?+???MO??k??Sz#8:?-OY??e??????D.?R?[?RA#????q?8LH?Z?;????K?=ʃ?˚??5*?~?*hr???K??&?
?8I + l?z???>?a)"?]_????}%e??S6?XEusO??"??O?!?!0?"0?)?"?	"?Tf ?
"p??!?!?
"????py?? @!0!?"??)?	?S	?e??!?!?!`??"0?0?iCq"???w?p6U?VCV"???B?k??" ??"?X?
!???0s
????"P?I?	"???????!c??"`?q?
??(??=?p?/?	0O`0"0?<F??"??????@??[b"и
?[C?
??
??n"0??
?8!
`??N!??! !0?"0??"@???"P??"???????!?!?!i
!?!(??Cm??H!?!?!?! 
!0????" ?)?
"P??k?F??`?=?r!???"?)????! ??"??!?!?????P??"????"?"p?)["?)?"?60Ca?@t\i!p!???"`??M"P??j
???	?"?;"о)2!@!?
@aI8"P???!@?
!P!b	"p?R?!P
!?v?

???	"??v0?#S?m?
!!$"??)8
0?i !?!0?0??__gmon_start___init_fini__cxa_finalize_Jv_RegisterClassesJava_kodkod_engine_satlab_MiniSat_freeJava_kodkod_engine_satlab_MiniSat_valueOf_ZNSt8ios_base4InitC1Ev_ZNSt8ios_base4InitD1Ev__cxa_atexitJava_kodkod_engine_satlab_MiniSat_addVariables_ZN7Minisat6Solver6newVarEbb_Unwind_ResumeJava_kodkod_engine_satlab_MiniSat_make_Znwm_ZN7Minisat6SolverC1Ev_ZdlPv__gxx_personality_v0Java_kodkod_engine_satlab_MiniSat_solve_ZN7Minisat6Solver6solve_EvJava_kodkod_engine_satlab_MiniSat_addClause__cxa_allocate_exception_ZTIN7Minisat20OutOfMemoryExceptionE__cxa_throw_ZN7Minisat6Solver10addClause_ERNS_3vecINS_3LitEEErealloc__errno_location_ZGVZN7Minisat6Option13getOptionListEvE7options_ZTVN10__cxxabiv117__class_type_infoE_ZTSN7Minisat20OutOfMemoryExceptionE_ZN7Minisat6OptionD1Ev_ZTVN7Minisat6OptionE_ZNK7Minisat6Solver9satisfiedERKNS_6ClauseE_ZN7Minisat4sortINS_3LitENS_16LessThan_defaultIS1_EEEEvPT_iT0__ZN7Minisat10BoolOptionD1Ev_ZN7Minisat9IntOptionD1Ev_ZN7Minisat12DoubleOptionD1Ev_ZN7Minisat10BoolOption4helpEbstderr__fprintf_chkstrlen_ZN7Minisat9IntOption4helpEb_ZN7Minisat12DoubleOption4helpEb_ZN7Minisat10BoolOption5parseEPKcstrcmp_ZN7Minisat10BoolOptionD0Ev_ZN7Minisat6OptionD0Ev_ZN7Minisat9IntOptionD0Ev_ZN7Minisat12DoubleOptionD0Ev_ZN7Minisat3vecIPNS_6OptionEED1Ev_ZN7Minisat3vecIiED1Ev_ZN7Minisat3vecINS_5lboolEED1Ev_ZN7Minisat3vecINS_6Solver7VarDataEED1Ev_ZN7Minisat3vecIcED1Ev_ZN7Minisat3vecINS0_INS_6Solver7WatcherEEEED1Ev_ZN7Minisat3vecIdED1Ev_ZN7Minisat3vecIjED1Ev_ZN7Minisat6OptionC2EPKcS2_S2_S2__ZZN7Minisat6Option13getOptionListEvE7options__cxa_guard_acquire__cxa_guard_release_ZN7Minisat3vecIiE8capacityEi_ZN7Minisat6Solver8toDimacsEP8_IO_FILERNS_6ClauseERNS_3vecIiEERi_ZN7Minisat3vecINS_5lboolEE8capacityEi_ZN7Minisat3vecIjE4pushERKj_ZN7Minisat3vecINS_3LitEE8capacityEi_ZN7Minisat3vecIcE8capacityEi_ZN7Minisat3vecINS0_INS_6Solver7WatcherEEEE6growToEi_ZN7Minisat9IntOption5parseEPKcstrtol_ZN7Minisat12DoubleOption5parseEPKcstrtod_ZN7Minisat15RegionAllocatorIjE8capacityEj__assert_fail_ZN7Minisat6Clause15calcAbstractionEv_ZN7Minisat6Solver16uncheckedEnqueueENS_3LitEj_ZNK7Minisat6Solver16progressEstimateEvpow_ZTVN7Minisat12DoubleOptionE_ZTVN7Minisat9IntOptionE_ZTVN7Minisat10BoolOptionE_ZN7Minisat3vecINS_3LitEED1Ev_ZN7Minisat8OccListsINS_3LitENS_3vecINS_6Solver7WatcherEEENS3_14WatcherDeletedEE8cleanAllEv_ZN7Minisat4HeapINS_6Solver10VarOrderLtEED1Ev_ZN7Minisat6Solver11cancelUntilEi_ZN7Minisat6Solver13pickBranchLitEv_ZN7Minisat15ClauseAllocator5allocINS_3vecINS_3LitEEEEEjRKT_b_ZN7Minisat8OccListsINS_3LitENS_3vecINS_6Solver7WatcherEEENS3_14WatcherDeletedEED1Ev_ZTVN7Minisat6SolverE_ZN7Minisat6SolverC2Ev_ZN7Minisat15ClauseAllocator5relocERjRS0__ZN7Minisat4sortIj11reduceDB_ltEEvPT_iT0__ZN7Minisat6Solver9propagateEv_ZN7Minisat6Solver16rebuildOrderHeapEv_ZN7Minisat6Solver12attachClauseEj_ZN7Minisat6Solver12detachClauseEjb_ZN7Minisat6Solver12removeClauseEj_ZN7Minisat6Solver15removeSatisfiedERNS_3vecIjEE_ZN7Minisat6Solver8simplifyEv_ZN7Minisat6Solver8reduceDBEv_ZN7Minisat6Solver12analyzeFinalENS_3LitERNS_3vecIS1_EE_ZN7Minisat6Solver8toDimacsEP8_IO_FILERKNS_3vecINS_3LitEEE__printf_chk_ZN7Minisat6Solver8toDimacsEPKcRKNS_3vecINS_3LitEEEfopenfclose_ZN7Minisat6Solver12litRedundantENS_3LitEj_ZN7Minisat6SolverD1Ev_ZN7Minisat6SolverD2Ev_ZN7Minisat6SolverD0Ev_ZN7Minisat6Solver7analyzeEjRNS_3vecINS_3LitEEERi_ZN7Minisat6Solver6searchEi_ZN7Minisat6Solver8relocAllERNS_15ClauseAllocatorE_ZN7Minisat6Solver14garbageCollectEv_ZTIN7Minisat6SolverE_ZTSN7Minisat6SolverE_ZTIN7Minisat10BoolOptionE_ZTVN10__cxxabiv120__si_class_type_infoE_ZTSN7Minisat10BoolOptionE_ZTIN7Minisat6OptionE_ZTSN7Minisat6OptionE__cxa_pure_virtual_ZTIN7Minisat9IntOptionE_ZTSN7Minisat9IntOptionE_ZTIN7Minisat12DoubleOptionE_ZTSN7Minisat12DoubleOptionE_ZN7Minisat12setUsageHelpEPKc_ZZN7Minisat6Option14getUsageStringEvE9usage_str_ZN7Minisat16setHelpPrefixStrEPKc_ZZN7Minisat6Option19getHelpPrefixStringEvE15help_prefix_str_ZN7Minisat4sortIPNS_6OptionENS1_8OptionLtEEEvPT_iT0__ZN7Minisat17printUsageAndExitEiPPcb_ZN7Minisat12parseOptionsERiPPcbgetpid__sprintf_chkfeoffscanffgetc__stack_chk_fail_ZN7Minisat7memUsedEvgetpagesize_ZN7Minisat11memUsedPeakEvlibjvm.solibstdc++.so.6libm.so.6libgcc_s.so.1libc.so.6_edata__bss_start_endGCC_3.0GLIBC_2.2.5GLIBC_2.4GLIBC_2.3.4GLIBCXX_3.4CXXABI_1.3? P&y? ui	?@ii
ui	ti	$?t)?0ӯk<x!@??! O?!o??!?!?!?!?!'??!!p!?!s?!??!p?!Z!K!C(!?0!,?!,8!?@!XH!AP!?!P
!X![`!}?!}
!}`
!}x!q?!??!r?!?!?!f?!wh!w?!]?!)?!O?!?(
!?0
!z?!z8
!_@
!:H
!?X
!98!?@!H!P!8X!`!4p!x!*?!c?!0?!??!#?!x?!g?!\?!b?!%!?!<!i!? !D(!P0!8!@!?H!vP!?X!?`!h!p!2x!?!	?!{?!t?!
?!?!`?!J?!;?!/?!??!?!
?!??!j?!??!1!u!!!? !@(!V0!8!5@!6H!P!FX!`!h!Gp!=x!??!o?!?!Q?!7?!?!>?!?!?!?!-?!?!+?!h?!?!?!m! !N!d!| !!(!"0!T8!$@!EH!kP!^X!&`!?h!'p!Bx!(?!yH???7??蝧H????5?? ?%?? @?%?? h??????%?? h??????%?? h??????%?? h?????%?? h?????%?? h?????%?? h?????%?? h?p????%?? h?`????%?? h	?P????%?? h
?@????%?? h?0????%?? h? ????%z? h
?????%r? h?????%j? h??????%b? h??????%Z? h??????%R? h??????%J? h?????%B? h?????%:? h?????%2? h?????%*? h?p????%"? h?`????%? h?P????%? h?@????%
? h?0????%? h? ????%?? h?????%?? h?????%?? h??????%?? h ??????%?? h!??????%?? h"??????%?? h#?????%?? h$?????%?? h%?????%?? h&?????%?? h'?p????%?? h(?`????%?? h)?P????%?? h*?@????%?? h+?0????%?? h,? ????%z? h-?????%r? h.?????%j? h/??????%b? h0??????%Z? h1??????%R? h2??????%J? h3?????%B? h4?????%:? h5?????%2? h6?????%*? h7?p????%"? h8?`????%? h9?P????%? h:?@????%
? h;?0????%? h<? ????%?? h=?????%?? h>?????%?? h???????%?? h@??????%?? hA??????%?? hB??????%?? hC?????%?? hD?????%?? hE?????%?? hF?????%?? hG?p????%?? hH?`????%?? hI?P????%?? hJ?@????%?? hK?0????%?? hL? ????%z? hM?????%r? hN?????%j? hO??????%b? hP?????H??H?? H??t??H??Ð????????U?=H? H??ATSubH?=? tH?=? ????H?? L?%? H?? L)?H??H??H9?s DH??H??? A??H??? H9?r???? [A\??f?UH?=?? H??tH?c? H??tH?=?? ???@?Ð?????H??tH?H??H?@?????fDH?B??Hcɀ<???fffff.?H?=i? H???????H?1? H?=?? H?5K? H???J???f?AT??A??USH??~1???H?߃?????A9??[]A\ÐS??H??????H??H??????H??H??[?H??H?D$????H?D$H??????H??H???Hǂ?????Hǂ?????t
ǂ?H??????????H???AWH??AVAUI??ATI??US1?H??8H?H?L$(??XA??I?E1?H?t$(L?????1?E??H????1?E1?E1?A?????@E9?t,?A?OH??D9?A??}h?D???L???Ѝ??E9?u?D??????????F????ǃ???!??D??D)?9?????????H?5?? 1?H??????f.?I??$p??ADŽ$x1?9?????~ I??$p1?1??4???4H??9??I??$pL???????I?E1?H??H?t$(L????H??A??$?tH??????H??8??[]A\A]A^A_?f?F?H??H?T$ ?L$D?L$Ic?D?D$H???????H??H??H?T$ ?L$D?D$D?L$??????????8H?T$ ?L$D?D$D?L$?????????DA??$|9????lj???)ƒ???????????)???A??!?A??A!?Aк???)?A9?~??Y???H?52? 1?H??????A?I??$p?L$A??$|H?H?4??????H??I??$p?L$tPA??$x9?~*Hc?H??DI??$pH?t???H??9??A??$x?:???A??$x?%????L$?w????8?L$u??F???H??H??tH???	???H????????????????D?A??E??tB?FH??p????1?????Hc?8u?-D?VH???у???Hc?8t??D9?|?1????Ðfffff.?AWI??H??AVM??AUI??ATI??UH??SH??8?c??????+?u1?????u?f???9???Hc?M??$p?D?A?‰?A????Ic???A28<t?A?uA9???A?JL??9???M?]A?C???A??L?G?????H?ѯH?
ȯH?&??L??HE?A??1??????u????9??]???H??8L??H???[]A\A]A^A_?1??????fDM?]L??E??A???u?A?J9??Y?????L??H?$?L$L?L$D?T$?2???A?u?L$H?$L?L$D?T$9???M?]????A?D:Hc?I????H???Ƅ$?Ƅ$?H??$???$?L??L??$?HDŽ$?H???L??$?H?5?H?=?? H??L?d$pL?t$xf??$H??$L?L$L?T$H?D$????L?L$L?T$H?5b? H?D$H??L??L?-P? L?%?? L?
r? L?c? H?l? ?g???Ƅ$?Ƅ$?I????$?L??$?L?F?L??$?HDŽ$?H??L??$?H?5B?H?=-? I??H??L??$?f??$H??$L??$?L?T$L?L$L?\$ H?D$????L?L$L?\$ H?5?? H?D$H??L??L?-?? L?
?? I???ٕAL??? L?
?? H??? ?q???I?L???H?y?H?5??H?=?? H?????L!?H??L?\$ H?D$(?,???H??? H?=?? H?5?? H????? L?HH?D$(L?L$L?
}? H??? ?????L?\$ L??H?6?H?5!?H?=?? H?????H??L!?H?D$(????L?L$H?D$(H?5e? H?=F? H????? L?
J? H?k? ?v???L?ΕH??H?5ǕH?=b? H???R???H?[? H?=? H?5E? H???c? L?XL?\$ L?+? ????L?v?H??H?5??H?=J? H???????L?\$ H?=?? H?5/? H???M? L?? ?????L?	?H?U?H?5h?H?==? H??????L?L$H?=Q? H?5"? I????H???;? dL?,? L?
?? ?p???Ƅ$?Ƅ$?H?????$?H??L?T$H??$?H??$?L?8?L??$?H?٘H?5ŔH?=?? H??L??$?f??$H??$?L??$?L?L$L??$H?D$?????L?L$H?D$H?5?? H?@H??L??L?-q? L?5?? L?
?? H?
?? H??? ????Ƅ$?Ƅ$?H????$?L?T$H?5?HDŽ$?H??$?H?=g? H? ?L?A?H??L??$?L??$?f??$H??$?L??$L??$?H?D$?????H?D$L?-? H??L?%>? L?5/? L??H?5?? H?? H?????????H?? H??[]A\A]A^A_??????{????f.?AWAVAUATUSH??H??X;???t$4?=HcƋ??H?D$8H??H?t$8H?D$(H???D?a???A9???H??L???Mc?H???fo
??H?|$@L?L$HI??fDH???F?4(H??pA??Mc?B?8?{X?AH???H???B?(??B?:???A9???H??F??E???}H???L?L$(A??I??B?D9??t?????????H?T$8??+4?9????~)񉋨?????+D$49?????~)‰??H??X[]A\A]A^A_?H???B?<8?q???A?F9?????A9?};I??L??H??8??x5H?
??H?5	?H?=???f?????I??L??H??????;??H???L??HcЃ?D?4???C?9L?L$ Hc???L??E?:Mc?te?Q?L???N????M?Hc?Hc4??C?fA.?v9L?EL?MA?4?L?L$A?4?Ic???H?t$L????u$L??1?H?|$ E?:B???M???f.??B?H?M??H?	Hc?A?4??BLc?fB.?wL????붐?щ?Hc????????Hc??H???D9d???????????@H?|$@?ƉD$f$????????D$fo$9???L??Hc?A?ҿA??G?TI?4?H???H??H)?H????D9?AGʅ?t"I??1???A???????I??9?w?A9?tOA)?D????D??E??t??H?4?1Ƀ?fH??9?r?D?E9?tHc?I??f????????H??9?????@H?|$H?pf$???????fo$?????H?
??H?5h?H?="??@????H?
ȜH?5I?H?=??@?x???AWAVAUATUSH??(?WH?%
??

??Y??	??o@f(??^??,??*??Y??X?f(??GH?^?f.?v???????D$????L???@?|$?tYHcD$H??p?tGH????<t:?\??H????<?????T$H??([]A\A]A^?PA_?f???????L???H?L??IcD??A??T$A?A??Hc?A???????????????????@???A??1?M?CM??D$H?I??H?D$I???"HcٍtA??I?[Hc҉?A?S9?}^???D	Hc?9?}'Hc?I?L??A??Lc??B?Mc,?fB.?wA??I?L??Hc??É?fB.#w?Lcɉ?I???T$C?H?T$A???????Y?f(??^??,??*??Y??X??*??WH?^??Y??,?;???H???H????T$Hc?H??p?????H????<?
???H?????????YgHf(??^??,??*?1??Y??X??GH?^??
??f.????
???H??(?????[]A\A]A^A_?H?
?H?5b?H?=H??L????H?
b?H?5k?H?=??Q?r???f.?UH?UUUUUU??H?????????H???I???SH??H?? H??H??? ?G?G?G ?G$?G(H??H?GH?GH?H?? H?G0H?5? H?G8H??? H?G@H?߼ H?GH?ܽ ?G\?GP?? ?GT?N? ?GX?|? ?G]H??? H?G`?? ?GhH?6? H?GpH???H?wxH???LJ?d?H???HLJ?HLJ?HLJ?HLJ?HLJ?HLJ?HLJ?HLJ?HLJ?HLJ?HLJ?Ƈ?HLJ?LJLJHLJLJLJH??HLJ LJ(LJ,L??0HLJ8LJ@LJDHLJHLJPLJTHLJXLJ`LJdH??(Hǃpǃxǃ|H??hHǃ?ǃ?ǃ?Hǃ?ǃ?ǃ?Hǃ?ǃ?ǃ?Hǃ?ǃ?ǃ?Hǃ?ǃ?ǃ?ǃ?ǃ?????Hǃ?Hǃ?ǃ?ǃ?H???Hǃ?ǃǃHǃǃǃHǃƃ Hǃ(ǃ0ǃ4ǃ8?????ƃ<Hǃ@ǃHǃLHǃPǃXǃ\Hǃ`ǃhǃlHǃpǃxǃ|Hǃ?????Hǃ?????ƃ?H??[]?H???H?D$?d???H????8???H???????H????????H???????H????H???H???????H?T$D)??B?????D?H?9?$?AH?H?L$H?4?????H?L$H??H?Ƌ$H?t?A?6???L???????$H?L$H?D$?c????8?$H?L$H?t$u??O???H?
??H?5s|H?=?}??????H?
N?H?5?~H?=}??????H?
υH?5PH?=
}?@?????fDAWAVAUATUH??SH??8?D$(?D$,???H?D$ ????1?A?????'fDL?l$ HcЃ?A?\??D$(?????9?}jH???HcÀ<t?H??p?t܋D$(;D$,u???????????Q????փ???!??D??)?9?????f???H?5?? 1?H??????D??H???E??~4H???H??1?1??Hc??H????????;?|?H???t
DžD?\$(E1?E1?A????E??5??H???C?4.Hcȃ?A??I???4???D;d$(}kL?t$ H??Kc.D?$???;?u???????????Q????փ???!??D??)?9????[???H?54? 1?H????????A??A??A?A??A???Ic?H???L?cH??H?D$C?D6H?l$?D$L?T$LT$D???t$?KA?9?T$Lc???N??H?l$D??L??*DHcʍt?|?H?kHcL?A???K9????DLc?9?}(Hcȋ|?L??I?	Lc??B?Ncl?fB.?wH?CI?	N??B?????H??9??T$8?I???A?41H?|$0?T$H?L$?t$??H??H??D?IE?????9?tD??E???A??E??ux??hA9?}8Ic?D??H????H??@H??`???2H????Hc????h9?|Չ?D)?9?A???f1?E????D)?1???hH??([]A\A]A^A_????X;?\??H??PHc???D?,???X??h;?ltNH??`Hc???D?,???h?}??A??A9??l??????????H??([]A\A]A^A_?@??????????N????σ???!?ω?)?9????蟱??H?5x? 1?H???α????????????N????σ???!?ω?)?9???H??P?T$??\H?D?D$H?4?????H??H??H??P?T$D?D$t}??X?????H??P??????X?p?P????H??`?T$??lH?D?D$H?4?谱??H??H??H??`?T$D?D$tH??h??????X?p??????T$D?D$H?D$?\????8?T$H?L$D?D$?Y?????????T$D?D$H?D$?-????8?T$H?L$D?D$u?????H?
6_H?5?WH?=V??膭??H?
wcH?5UH?=1[?n?g???H?
?cH?5XH?=?U?@?H???AVH?ǂ AUH??ATUSH??pH??H?t+LJxH??p?/???Hǃpǃ|H??`t+H??`ǃh?????Hǃ`ǃlH??Pt+H??PǃX?ŭ??HǃPǃ\H??@t+H??@ǃH萭??Hǃ@ǃLH??(H??t?j???H??t+H??ǃ?J???HǃǃH???t+H???ǃ????Hǃ?ǃH???t+H???ǃ?????Hǃ?ǃ?H???t+H???ǃ?諬??Hǃ?ǃ?H???t+H???ǃ??v???Hǃ?ǃ?H???t+H???ǃ??A???Hǃ?ǃ?H???t+H???ǃ?????Hǃ?ǃ?H???t+H???ǃ??׫??Hǃ?ǃ?H??pt+H??pǃx被??Hǃpǃ|H??Xt+H??Xǃ`?m???HǃXǃdH??Ht+H??HǃP?8???HǃHǃTH??8L??8t??@??~JE1?E1?f.?L??I.H?}tH?}?E?۪??H?E?EA??I??E;f|?H??8ǃ@訪??Hǃ8ǃDH?? t+H?? ǃ(?s???Hǃ ǃ,H??t+H??ǃ?>???HǃǃH???t+H???ǃ?	???Hǃ?ǃH?{tH?{?C ?ݩ??H?C?C$H?{tH?{?C跩??H?C?C[]A\A]A^ÐfDAVH??} AUH??ATUSH??pH??H?t+LJxH??p?_???Hǃpǃ|H??`t+H??`ǃh?*???Hǃ`ǃlH??Pt+H??PǃX?????HǃPǃ\H??@t+H??@ǃH?????Hǃ@ǃLH??(H??t蚨??H??t+H??ǃ?z???HǃǃH???t+H???ǃ?E???Hǃ?ǃH???t+H???ǃ?????Hǃ?ǃ?H???t+H???ǃ??ۧ??Hǃ?ǃ?H???t+H???ǃ?覧??Hǃ?ǃ?H???t+H???ǃ??q???Hǃ?ǃ?H???t+H???ǃ??H?=K<?@?????H?
?FH?5
>H?=?;??術??H?
JH?58;H?=?<?肓???????8???????????fDAWAVAUATUSH??H??X????t$,?	H???H??(L?T$LL?l$0H?D$0?D$8?D$<H?D$ E1?L?T$?H??M???????????????H???A??????H?|$0t?D$8H?L$L???H??M??轑???t$LH????????D$8??????H?L?4?I??E???o??0H?|$ D??ǒ????0A?D9?D??0?	?oA??I??L??H?(tf????????L$8?????	ʉ?L$8??~#1?1?fDH?t$0???4?tH??;L$8|????t???>??????D???;??H??Hcȃ???,?H?߉?????;?0?L?(A??A???H??AD?Z??X?f?fZ??AD??Z?f.!K?????
K????H???;?0????H??H?(????1??
?J?9f?H???0;?0?O??H??H??H?(??T?????Hc??D?Z??Y|Jf?fZ??D?;?|??Y???H?D$0??H?ߋ0?ŏ???J????^C0????????Y?0??0??I?^C8?Y???????????Y???,????????Y?????????C(???????H???g???D???H????????L???D??E??H????E????
wIH???Y????H*??*?)??,?H????t$H?5A=??^É$??K????6???fDD;|$,??D?\$,E????H??L?d$0誒????1?H??L?d$0?????H?|$0tH?|$0?D$8????H??X??[]A\A]A^A_?H?D$0?????H?ߋ0?????B??????????????Q????փ???!?ֺ???)?9???????H?5?c 1?H???K???????4???H???H??x
H9??????H???H??x
H9??????D???E??????+???*?f.???????9??(??L???Hcƒ?A?,?9???????H???Hcʋ,?H??p???????H?@24??;?????u???????????A????ƃ???!?Ƹ???)?9?~ ?L?d$0?????H?5?b 1?H???(????H??????Hc?H?4?蘐??H??I??H?????????)???f?@???3?????9??D????L???Hcƒ???E?$?H?߉???????M???	???????@D?1?A??E??t5A?Q?1??L??1?D?LA??H??????A??D	?L9?u?E??B?t??????H????????H??M??????????????/???DH??M???M??????9???F???H???H??M???u???????<???9????D??????????????????A????ƃ???!?Ƹ???)?9????L?d$0?8???H?5a 1?H???g???H?ǃ?H??H	??H*??X??????D?H????H?H?4?躎??H??H??H??tW???j???苍???8?
????????H??????Hc?H?4??n???H??I??H???tF????	???H?D$?:????8H?T$u??E?????H?SH?߃?L?d$0蕋???y???1???????????8u?fD?????H?
<H?5?4H?=?2???d???H?
u=H?5?4H?=?1???E????????H?5?_ 1?H??????H?
>H?5?1H?=y3?h????H?
\<H?54H?=?2?r????H??L???a???H??蹍??H?
?<H?5?3H?=42?B躉??f?ATUSH?H??t?GH?{t?C ?????q?*??YCxD?C(H???E??????*???,???????~LH?5d7?1??@???H?5?7?1??-???H?5?7?1?????H?538?1?????1?{P?,1Ʌ???Cp?+??4???F9?~?9?t??D????????????9?u??*?輊???*Kh?Y?H???,??W??????A??ts?k(??~H?5?7?1??q???E???????;k????~&1?H??pHc?H?K???4@?4;??|?1?H???5???D??[]A\?DH???H??x
H9???t???H???H??x
H9???[???A???Q??????{P??????*??Cp?щ????????f??????A????s????{ ???h???ƃ??\???H?{??? ????K9?~.Hcэu?H?B)?H?0??H??HSt?H9?H??u?k?????????@AWAVAUATUH??H??8SH??H??H訉??D???H?D$0H???D$<E???X@H?L$0?D$,H?L$ L?|$ L?8E?_E????M?'A?,$9?0??A?E1?L???3@?MA?$A??D;j??M??L"I??A?,$;?0????H??H?(D?}A??u?A??H??A??D??
KA????MH?$H?T$D?D$????sHc?H??H??ΉL$?^????s?L$H?$H?T$D?D$?9ΉK???G??H??H;?}?A??A??A?????D	?D	????D?E?A?????D	???M????t$1?E1?D?D
A??D?DD?EH??A??E9?|????t??? ??????D?A?4$?M?u???M??A?<$;{A???YH?3???????D	???A?<$;{?:??H??H;????????_???H?$H?T$A???F???H?T$H?$D;j?H????D$,H?D$ ?|$,??????D$<H?D$0 ?T$<;???????H?ŋ????~wL??(E1?E1?DH???H???B?(??H?H?4‹???t7D??0D9??sH??(??H????H??L??????????A??I??A9?|?D??E??~=L??(E1?E1?f.?L??H?H??L??A??I??諄??D;?|?D??E??~4L??(E1?E1?L??H??H??L??A??I???k???D;?|?H??H[]A\A]A^A_?????????E???΋M???ɋL??L?????f?H?$H?T$?t$薃???t$H?T$H?$?????D?PL??pE??A??A??Mc?G8?????B?ʃ???????A9?v3??H??H9??????????H?
]4H?5?,H?='+??譂??H?
?4H?5?,H?=+?C莂??H?
?5H?5?,H?=?*?B?o???H?
?5H?5?,H?=?)???P?????????H?5?W 1?H???%????fff.?USH??H??(??0+?8H??H?$?D$?D$?D$?K???H??H???D$?;????{(~#?L$??0H?5L1?1?????????D$H??(H????<t趂??H?$H??(?D$??0?D$??4?D$??8H??([]?H?<$H??H??t?u???H???-????????H?qV H??H?ÐAUATUS??H??????D?k?E??~mE1?I??E?HD9?~RE?"M?ZD??L??D???Ic?H?,?9?DL?HL?Lƒ?H??9?uߋEE9?A?D?eM??~E??E?HD9??L??E?"M?Z??H??[]A\A]É?H??????A?????H??4?fDD?MA??D9?.?B?H?H??f.????I??H??9??A9?}?ME?H???D???$諃?????D$@H??[H??D)?]A\A]鏃?????????H?AU H??H?ÐH?1U H??H?ÐH?!U H??H?ÐAVH??&1?A?AUE1?ATA???UH??SH?dU H?OH?;I???-???H?;H?'?1?A?????H?}赀??L??D??H)?H??H?H9?r?H?;H??&?1???~???}(H?{&H?
p&H?;H?m&?HE?1??~??E??u[]A\A]A^?f?H?;H?MH?G&?1??~~??H?;H?9?[]A\A]A^1??`~??????????ATH?&1?A???UH??SH?aT H?OL?G H?;?)~???M(?????H?;H??%?1??~??H?;H??%1????}???M,?????tsH?;H??%?1???}???M0H?;H??%1???}??E??u[]A\?f?H?;H?MH?W%?1??}??H?;H?"8?[]A\1??t}??@H?;H?P%?1??Z}???H?;H?*%?1??B}???9????????H?\$?H?l$?H??L?d$?H??(?9L?%?S ?W@?O0L?G ?G(H?O?H??&????̾??]?8?$I?<$?E?A???A??[??|??@??uH?\$H?l$L?d$ H??(?f?I?<$H?KH?V$?1??|??I?<$H? 7H?\$H?l$L?d$ ?1?H??(?c|?????????????UH??6H??L??6SH??H???>-t???jH??H??@8?ug?H??L)DŽ?u?H?<>H?$??nH?Gt?T@?0H??H??@8?u@?
H??H)???u?H?1?H?s??~????u@?k(H???[]ÐH??1?[]????ː????????H?AQ H??H???{???????????????H?!Q H??H??{???????????????H?Q H??H??{???????????????H??P H??H??u{???????????????SH??H??t?GH???|??H??C[Ð??????SH??H??t?GH???o|??H??C[Ð??????SH??H??t?GH????|??H??C[Ð??????SH??H??t?GH???|??H??C[Ð??????SH??H??t?GH????{??H??C[Ð??????AUI??ATUSH??H?H??tm?G??~EE1?1??	DI?]L?H?;t!H?;?C?{???CA?EH???I??9?|?I?}A?E?V{??I?EA?EH??[]A\A]Ð??SH??H??t?GH???{??H??C[Ð??????SH??H??t?GH????z??H??C[Ð??????H?\$?L?d$?H??H?l$?H??H??N L?%?N H?wH?WH?OH??L?G H?A?<$t~H?-?N ?E;Et'L?eHcЃ?I?ԉEH?$H?l$L?d$H?????????????Q????փ???!ι????)?9?~r???{??H?5?N 1?H????{???L???`x?????r???H?-9N L??H?E?E?E?cz??H?w??H?5J 1?H???mw??D?H?}Hc??EH????w??H??I??H?Et?U9??=????t???fD?v???8u?뜐???????????UH?B.H??H??H?=4.SH???>-t??@?ZH??H??8????H??H)???u?H?}H?1????t88??H?GH???D?qH??H??@8????H??H)???u?H?H?L??;=H??t?[?yH??H??@8?uG?H??L)DŽ?u?H?H?t$?
H???u??H?|$t;E,!;E(|J?E0H???[]?@H??1?[]?L?EH??H??H??H ?H?81??sr?????r??L?EH??H???АUH??,H??H??H?=?,SH???>-t?@?ZH??H??8????H??H)???u?H?}H?1????t88??H?GH???D?qH??H??@8????H??H)???u?H?H??L???;=H??t??yH??H??@8?uw?H??L)DŽ?u?H?H?t$H????u??H?|$tR?M0f.?r?}9tJf.?zDu??M(f.?Dr?}8tWf.?zQf?uM?E@H???[]?DH??1?[]?L?EH?4H??H?*G ?H?81???p????Iq??L?EH??H?;?АUSH??H???9?sF??fD?????????T????9?sT9?w???CtN??H?;H?4??t??H??H??t
H?+H??[]??fs???8u??s??H?5pF 1?H????s???C??H?
B!H?5?H?=H?h?p????????????S?tLD?1?A??E??t4A?A?1ҾL??1???L??H????????	?L9?u?E??B?T?[?H?
?#H?5?H?=????7p?????????????????SH??H??t?GH???/q??H??C[Ð??????AWAVAUATUH??SH???W(???H?G E1?E1?f.?N?<(L?uIcA?<??H??H]1?D?[E??~lH?;L?U0?A;B??I???1?1??fDL?7H??A?A;BsD??M???A??A?Ѓ?<tI?D?BHc?H??D?[??D9?|?D)?A9?|k??~A)?D?[IcA?H?E ?U(A??I??A9??;???H??t?E(H??[]A\A]A^A_?H?
?H?5?H?=C?@??n??H?G ??H?
?H?5uH?=/?@?n??????????????SH?H??t?G H??o??H?C?C$H?{tH?{?C?wo??H?C?C[Ð?????????????AVA??AUATUH??S?GH??D	?A????FH?L?$?I??E????wD??Un???EA?D9?D?e?????H??HUtr?
A??A??A??A?????D	?D	???
?s?
????	?
D?KE??~1?1?H?;???<?|
H??;s|??
??t??t?
?????D?[]A\A]A^?DD?1?A??E??t5A?H?1?1??H?,?D?LA??H??????A??D	?H9?u?E??B?t?[]A\A]A^ÿ?o??H?5{B 1?H????o??H?
2H?5?H?=??r??l??H?
sH?5?H?=?B?l?????????????AUATUH??SH??H? t?G(H? ?m??H?E ?E,H?}tH?}?E?nm??H?E?EH?}tgD?UE??~?E1?E1?H?]L?H?;tH?;?C?,m??H??CA??I??D;e|?H?}?E?m??H?E?EH??[]A\A]Ð?????????????H?\$?L?d$?H??H?l$?L?l$?I??L?t$?L?|$?H??H?.;o????H??H/D?mA??t)?E?H?\$H?l$ L?d$(L?l$0L?t$8L?|$@H??HÐA??A?t$L??A??D??
B??A?NjE???H?L?4?I??D??mk??A?D$A?D9?E?t$??????H??I<$t^?A??A??A?????D	?D	?????M??????	ʉ?U????t 1?1??L???L?MH????9?|????u??U?E???U???3A;t$??I?$???????	Ј??;A;|$????H??I<$??uP??????H?\$H?l$ L?d$(L?l$0L?t$8L?|$@H??H?yj?????tK??????D??h?????t]????EtR?‹E?????D??D??V???f.??D$?j???D$????H?
7H?5?H?=???i??H?
?H?5?H?=???hi????l??H?5?> 1?H???=l??H?
?H?5WH?=??B?.i????????AWAVAUATUH??S??H??8??H?|$(??I???t$$??????L??D?EH??????A???D$??H??H?D$L???O@?r?D9D$Lc?N??E???L?t$O?,2E?uA??A????9???D?A?D?EH?????I??D9???L?U??M??A?1????~?D9D$??L?\$O?,E?]A??A??t?A???A?E???AD??tE???CL?.?w??r?E?uLc?N??A??A??E??T?????E??H?D$(Hc?L?t$H??f?E9??E??O??d??H?-l: ?}?bH?k: ?s?$E??H?;E1?E1???h???EH?D$ H?D$D?|$,?f?D;k???}?<H?J? L?xL;|$H?@ ??I?>H??L???1??d???}??H??t$,J?< H??P?E????H?J?"H?JH?L$H?R A??I??H?T$ ???i???H???c?????Y???H??H??C?C?e??H??9 H?=?9 H???d??D;k?&???@I?>H???1??Zc??H??9 I?>H???1?H??:c??H?I?>H??1??!c??I?>H???1??c??1??dc??@H????b????t3H??H??C?C??d??H??8 H?=?8 H????c??H?J?"H?BH?D$?E???????H???b????t3H??H??C?C?d??H?u8 H?=?8 H???c??H??EJ?"?|???fDH???8b?????9???H??H??C?C?Cd??H?8 H?=E8 H???=c??????H????a????t3H??H??C?C??c??H??7 H?=8 H????b??H??}J? L?x?{???H???a????t3H??H??C?C?c??H??7 H?=?7 H???b??H?L;|$J? H?@ ?5???H;D$ ?C???I?>H???1??>a???(????H??? a?????????H??6 H??H??C?C?$c??H??6 H?=&7 H???b???V????L?5	7 ?1???@AWI??AVAUATUSH??(??H?t$?T$?D$?D$???QI??L?%9I??DI?uH?&?>-H??t?@?ZH??H??8??,?H??L)??u?H??6 H?1?H?(?E??t98??H?EH???fD?qH??H??@8????H??H)??u?H?H???;hH??t!???iH??H??@8???H?oH??H)????u?H?+?
?????-H?Ot?=f.??ZH??H??8?u#???u?H?t$???b??f.?A???D$I??;|$?????|$+|$A??H??([]A\A]A^A_?L?5?4 1??D$H?-?4 A?>tC?D$9E??A?>?H?EI?uH?<H??H??P???z????D$A?>u?L???^????t?L??H?E?E?E??`??H??4 H?=?4 H????_???D$9E?}???f??|$??I?MH??9-H?At?@?0H??H??@8????H??H)΄?u?H??4 H?H?6I?M?L?H?C4 H?81??^????g^???L????]?????????L??H?E?E?E??_??H??3 H?=?3 H????^???????I?MHcD$H?T$?D$A??H???,???H?t$1???`??A???????????AWAVAUATUSH??h??H?|$0?t$,?M???????D$\?-?D$ ?T$ H?|$@??9T$,?T$<??DH?D$@A??H?T$@H?H??H?T$PH??H?D$HI??L?p?GfDuI?w H?{ ??_????xKHcD$ H?T$0A??H??D;l$,M??L??H??H?D$t7M??I??H?]L??H?l$L?cL???_????}?D?l$ H??A??D;l$,u?H?D$HH?T$@H?H?T$H??T$\9T$L??D$I???^????|?uH?D$ I? H?p ?^????x?A?D$?H?T$0H?H??H?+L??A??H?u?^????|u?H?T$ H?u H?z ?v^?????v???H???Ƌt$H?|$0?$?_???t$,Ƅ$?L??+t$H??h[]A\A]A^A_?_??????????USH??(H?\$dH?%(H??$1??2\??H?
'A??H?ߺ?1??^??H?5xH???[??H??1?H??t+H?l$?D$fDH???^????t,H???$^???D$H??$dH3%(u?H??([]?H?5?H??H???.^????t?H???]????u?H???\????
u??fD?3]??ff.?SH?? H?\$dH?%(H??$1??C[??H?
VA??H?ߺ?1???]??H?5?H???Z??H??H??tNH?T$H?5+H??1??]????u7H???;]???D$H??$dH3%(u	H?? [??\??fD1???H?5??1???Y????Y???S?*??????[???*??*?[?Y??Y??ffff.?H???????????H???
?*?f.?tH???fDz?H??f??+Y?????UH??SH??H??* H???tH??* H????H?H???u?H??[?Ð?H???o]??H???N7Minisat20OutOfMemoryExceptionE  -%s, -no-%soffon(default: %s)

        %s
  -%-12s = %-8s [imin%4d .. imax] (default: %d)
no-%s%d =cap > 0header.has_extra../core/Solver.ccsz < capvar-decaycla-decayrnd-freqrnd-seedccmin-modephase-savingrnd-initUse the Luby restart sequencelubyThe base restart intervalrfirstrincgc-fracr >= 0 && r < sznelems <= sz!inHeap(n)index < heap.size()sz > 0size > 0c[1] == false_litc.size() > 1decisionLevel() == 0j < ts.size()level(x) > 0p cnf 1 2
1 0
-1 0
p cnf %d %d
%s%d 0
wrcould not open file %s
confl != CRef_UndefokCORE  -%-12s = %-8s %c%4.2g .. %4.2g%c (default: %g)
ERROR! value <%s> is too large for option "%s".
ERROR! value <%s> is too small for option "%s".
/home/aleks/work/projects/kodkod/lib/minisat-2.2.0/mtl/Alloc.h/home/aleks/work/projects/kodkod/lib/minisat-2.2.0/core/SolverTypes.hvalue(p) == (lbool((uint8_t)2))/home/aleks/work/projects/kodkod/lib/minisat-2.2.0/mtl/Vec.hThe variable activity decay factorThe clause activity decay factorThe frequency with which the decision heuristic tries to choose a random variableUsed by the random variable selectionControls conflict clause minimization (0=none, 1=basic, 2=deep)Controls the level of phase saving (0=none, 1=limited, 2=full)Randomize the initial activityRestart interval increase factorThe fraction of wasted memory allowed before a garbage collection is triggered/home/aleks/work/projects/kodkod/lib/minisat-2.2.0/mtl/Heap.h/home/aleks/work/projects/kodkod/lib/minisat-2.2.0/mtl/Alg.hvalue(assumptions[i]) != (lbool((uint8_t)1))Wrote %d clauses with %d variables.
reason(var(analyze_stack.last())) != CRef_Undef| %9d | %7d %8d %8d | %8d %8d %6.0f | %6.3f %% |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================
|  Garbage collection:   %12d bytes => %12d bytes             |
N7Minisat6SolverEN7Minisat10BoolOptionEN7Minisat6OptionEN7Minisat9IntOptionEN7Minisat12DoubleOptionEvoid Minisat::RegionAllocator::capacity(uint32_t) [with T = unsigned int]const T& Minisat::RegionAllocator::operator[](uint32_t) const [with T = unsigned int]void Minisat::vec::shrink(int) [with T = Minisat::Solver::Watcher]T& Minisat::RegionAllocator::operator[](uint32_t) [with T = unsigned int]const T* Minisat::RegionAllocator::lea(uint32_t) const [with T = unsigned int]uint32_t Minisat::RegionAllocator::alloc(int) [with T = unsigned int]T* Minisat::RegionAllocator::lea(uint32_t) [with T = unsigned int]float& Minisat::Clause::activity()void Minisat::Clause::calcAbstraction()void Minisat::Solver::toDimacs(FILE*, const Minisat::vec&)Minisat::lbool Minisat::Solver::search(int)bool Minisat::Solver::simplify()void Minisat::vec::shrink(int) [with T = unsigned int]Minisat::CRef Minisat::Solver::propagate()void Minisat::Solver::uncheckedEnqueue(Minisat::Lit, Minisat::CRef)void Minisat::vec::push_(const T&) [with T = Minisat::Lit]void Minisat::Solver::analyzeFinal(Minisat::Lit, Minisat::vec&)bool Minisat::Solver::litRedundant(Minisat::Lit, uint32_t)void Minisat::vec::shrink(int) [with T = Minisat::Lit]void Minisat::Solver::analyze(Minisat::CRef, Minisat::vec&, int&)int Minisat::Heap::operator[](int) const [with Comp = Minisat::Solver::VarOrderLt]void Minisat::vec::pop() [with T = int]void Minisat::Heap::insert(int) [with Comp = Minisat::Solver::VarOrderLt]void Minisat::vec::shrink(int) [with T = int]void Minisat::Solver::detachClause(Minisat::CRef, bool)void Minisat::remove(V&, const T&) [with V = Minisat::vec, T = Minisat::Solver::Watcher]void Minisat::vec::pop() [with T = Minisat::Solver::Watcher]void Minisat::Solver::attachClause(Minisat::CRef)bool Minisat::Solver::addClause_(Minisat::vec&)???????????????????45A?????A?????????h㈵??>@??x?D#B????;}Ô%?I?T0??.?++Y@
%s OPTIONS:


HELP OPTIONS:

--help-verb  --%shelp        Print help message.
  --%shelp-verb   Print verbose help message.
ERROR! Unknown flag "%s". Use '--%shelp' for help.
/proc/%d/statusVmPeak: %d kB/proc/%d/statm%dERROR! Failed to parse memory statistics from "/proc".
?>;?W?I????I??J??0J??0`J??x?J????J????M??`N????P????Q???`R??(?Y??`?Y???P^??	`a???	?f???	l??`
Pp???
@t???
?v???
`x?? ?{??H?|??h?}??????`????0??? ????X????x??????????P???
 ???H
???x
`????
????
????????H????????? ????P????h???????????????????????????0????H????`???x0????`??????????????????? ???????8????P???h`?????????????p??????(????@????h?????p???? ????????x?????0????????P	0????	???
????(
@???pP????`????p????????0???H ???h????? ????zPRx?v ?$?F??<?F??T?F??.K$l?F??/BE?AA C??zPLRx?? ?$?F??=3AI ??G??@D<\(G??BEB C???B(C?A0A8B??Dp,????D?I??a,\h???BBA A(B????D@?X????P????H???,?@???BO?BC?B C?F(C?A0G?$ ???BL?FC?A G?,????M??I0K?L?????ARC??D lx???????????????????????)AG??????)AG??????)AG?????)AG?,????)AG?,D????BC?BA A(D0C???tp???)AG??????)AG??????IM??I l???????AF?4??G??mBC?EC?B C?B(C?A0C?A8Dp? ????AF?,?????M??I K?LX????AF?d?????AF?$|X????BAC??A E??0???OAJ?KD0E??`???AJ?KD0E???????AAC??D P???qAE??H???F,4?I???BFB C???A(A0DPh??4d0J??yBaJ??B B(C??A0A8G?G???xQ??? ???)AG?4?8???TBBB B(A0C?????A8D@K?`???RAH?4Q??`BBB B(A0A8C??????D?4T0U??BBB B(A0A8D`Q??????,?8????BC?BB A(C???A0G?,??????BBA C???A(D0G?$\?W??CAiC??K0$??\??CAT?ZC?D0$<????M??[PB????4dp????BBB B(A0C?????A8B?Dp4??a??IBBB B(C????H0A8Dp??4D?e???UBBB B(A0C?????A8Dpg?$hi??CM??[@L????$4?k???BAC??A C?D@$\8m??BAA I????0p??6M??N0N??4?Pq??!BBB C???B(C?A0C?A8D@K??Hr??
AI?,?@s??\BBB A(B????A0C?K@4$	pu???BBB B(A0B?????A8C?D`4?x????BBB B(A0A8C??????D??	?~???H?T??L0C?4?	???BC?BC?B B(G??A0A8C??D`4?	Ȇ??BC?BB B(A0B????A8C?D`,$
?????BIF A(A0K?????,T
0????BIF A(A0K?????,?
Г???BIF A(A0K?????4?
p???iBBB B(A0B?????A8C?G?4\
?????	]BBB B(A0A8C??????D?$$ ????BAA H???4L?????BBB B(A0C?????H8C?D?$?
P?????AAC??D@??????????4?(???XBBB B(A0A8D?R??????4????BC?BB B(A0A8DpS?????4LX???[BC?BB B(A0A8D`d???????????AAG?E????????AG?E??`???#A??x???=D??
#8??!????????	?
????	?
??????????
?
?~??n?????8H.??????????@? O????????o???????8
??????oX 

G?!?X1@+	???o?*???o???o`)???o?!h
!9.9>9N9^9n9~9?9?9?9?9?9?9?9?9::.:>:N:^:n:~:?:?:?:?:?:?:?:?:;;.;>;N;^;n;~;?;?;?;?;?;?;?;?;<<.<><N<^<n<~<?<?<?<?<?<?<?<?<==.=>=N=^=n=~=?=?=?=?=?=?=?=?=>>?!'?GCC: (Ubuntu 4.4.3-4ubuntu5.1) 4.4.3.symtab.strtab.shstrtab.note.gnu.build-id.gnu.hash.dynsym.dynstr.gnu.version.gnu.version_r.rela.dyn.rela.plt.init.text.fini.rodata.eh_frame_hdr.eh_frame.gcc_except_table.ctors.dtors.jcr.data.rel.ro.dynamic.got.got.plt.data.bss.comment??$2??h.???oXX?8 
 
?
@GH???o`)`)*U???o?*?*?d@+@+nX1X1?x?8?8s99 ~0>0>??????????@ ?@?@???????????p!p ??!???!???!?? ?h
!h
??8!8???!????!???!?? ?0?%???b	?2???X 
`)?*@+	X1
?890>
???@???p!?!?!?!h
!8!?!?!?!0>??p!*?!8?!EP>[?!j?!x?>????!????!???????@?.?!??'??Mi`?(??D?`?>)?Gy/?!HB?!K !Ha?!Hz?!H?@!8??!8??!0?!0?@!8??!H?!H' O<??Yx@?F???P??1:@?:t@?+???Y?`?I)??Ff??M? ?#???+ ?2F`?>?`?s? ?8"??@d?R???:?@?!
??NY??I??;???P6	?,i	??t	??~	p???	`???	?!?	???!?	?!?	?!?	??h
!?	"?
0?i8
"???V
"??m
" ?)?
!?!?
"??O?
"P???
0s
F?4p?/c!?!|"P????@???!?!0?[C*?mN ] q"????"????0?#?!?!
%
7
py?r
?
?
0Ca?

???
????
0??*O!??ex!@??"????"`?q?"P???iC&"p??{"p?R??!p!??!`?
"о)*O"P??y?v??"????P???!0!%7K"??)b?k??"?????"?"??)!?!05`?=P?St?????"P?I
 9"???w?p6?@aI?"?)?!P
!??"0?? "0?D?k"?????e????[?"?? @+`??B???Y!P!t?" ??!?!(?????VC! ?5???!A!?!f?"????=?"0??*"?T??"0?)??????/??H!4r!ey!@!?0O`??Cm
"?$@t\B ?l"0?????"и"p?)-"`??]r!!????!?????! 
!0?????F?7"@??^q???	??! !0?!??"?X%"?)N
?8T!?!call_gmon_startcrtstuff.c__CTOR_LIST____DTOR_LIST____JCR_LIST____do_global_dtors_auxcompleted.7382dtor_idx.7384frame_dummy__CTOR_END____FRAME_END____JCR_END____do_global_ctors_auxkodkod_engine_satlab_MiniSat.cpp_GLOBAL__I_kodkod_engine_satlab_MiniSat.cpp_ZStL8__ioinitSolver.cc_ZZN7Minisat15RegionAllocatorIjE8capacityEjE19__PRETTY_FUNCTION___ZZN7Minisat6Clause15calcAbstractionEvE19__PRETTY_FUNCTION___ZZN7Minisat6Solver16uncheckedEnqueueENS_3LitEjE19__PRETTY_FUNCTION___ZZN7Minisat3vecINS_3LitEE5push_ERKS1_E19__PRETTY_FUNCTION__T.960_ZL13opt_var_decay_ZL4_cat_ZL16opt_clause_decay_ZL19opt_random_var_freq_ZL15opt_random_seed_ZL14opt_ccmin_mode_ZL16opt_phase_saving_ZL16opt_rnd_init_act_ZL16opt_luby_restart_ZL17opt_restart_first_ZL15opt_restart_inc_ZL16opt_garbage_frac_GLOBAL__I_Solver.cc_ZZNK7Minisat15RegionAllocatorIjEixEjE19__PRETTY_FUNCTION___ZZN7Minisat3vecINS_6Solver7WatcherEE6shrinkEiE19__PRETTY_FUNCTION___ZZN7Minisat4HeapINS_6Solver10VarOrderLtEE6insertEiE19__PRETTY_FUNCTION___ZZN7Minisat3vecIiE6shrinkEiE19__PRETTY_FUNCTION___ZZN7Minisat3vecINS_3LitEE6shrinkEiE19__PRETTY_FUNCTION___ZZN7Minisat3vecIiE3popEvE19__PRETTY_FUNCTION___ZZNK7Minisat4HeapINS_6Solver10VarOrderLtEEixEiE19__PRETTY_FUNCTION___ZZN7Minisat15RegionAllocatorIjE5allocEiE19__PRETTY_FUNCTION___ZZN7Minisat15RegionAllocatorIjE3leaEjE19__PRETTY_FUNCTION___ZZN7Minisat15RegionAllocatorIjEixEjE19__PRETTY_FUNCTION___ZZN7Minisat6Clause8activityEvE19__PRETTY_FUNCTION___ZZN7Minisat6Solver9propagateEvE19__PRETTY_FUNCTION___ZZN7Minisat6Solver12attachClauseEjE19__PRETTY_FUNCTION___ZZN7Minisat6Solver10addClause_ERNS_3vecINS_3LitEEEE19__PRETTY_FUNCTION___ZZN7MinisatL6removeINS_3vecINS_6Solver7WatcherEEES3_EEvRT_RKT0_E19__PRETTY_FUNCTION___ZZN7Minisat6Solver12detachClauseEjbE19__PRETTY_FUNCTION___ZZN7Minisat3vecINS_6Solver7WatcherEE3popEvE19__PRETTY_FUNCTION___ZZNK7Minisat15RegionAllocatorIjE3leaEjE19__PRETTY_FUNCTION___ZZN7Minisat3vecIjE6shrinkEiE19__PRETTY_FUNCTION___ZZN7Minisat6Solver8simplifyEvE19__PRETTY_FUNCTION___ZZN7Minisat6Solver12analyzeFinalENS_3LitERNS_3vecIS1_EEE19__PRETTY_FUNCTION___ZZN7Minisat6Solver8toDimacsEP8_IO_FILERKNS_3vecINS_3LitEEEE19__PRETTY_FUNCTION___ZZN7Minisat6Solver12litRedundantENS_3LitEjE19__PRETTY_FUNCTION___ZZN7Minisat6Solver7analyzeEjRNS_3vecINS_3LitEEERiE19__PRETTY_FUNCTION___ZZN7Minisat6Solver6searchEiE19__PRETTY_FUNCTION__Options.ccSystem.cc_ZL11memReadPeakvT.24DW.ref.__gxx_personality_v0_GLOBAL_OFFSET_TABLE___dso_handle__DTOR_END___DYNAMIC_ZN7Minisat10BoolOptionD0Ev_ZN7Minisat6Solver7analyzeEjRNS_3vecINS_3LitEEERi_ZN7Minisat3vecIiE8capacityEi_ZN7Minisat6OptionD1Ev_ZN7Minisat3vecIjED1Ev_ZTSN7Minisat20OutOfMemoryExceptionE_ZN7Minisat9IntOption5parseEPKc_ZN7Minisat3vecIcE8capacityEi_ZN7Minisat6Solver8simplifyEv_ZN7Minisat6Solver16uncheckedEnqueueENS_3LitEjJava_kodkod_engine_satlab_MiniSat_addVariables_ZTIN7Minisat9IntOptionE_ZN7Minisat12DoubleOptionD0EvJava_kodkod_engine_satlab_MiniSat_solve__cxa_guard_acquire@@CXXABI_1.3__fprintf_chk@@GLIBC_2.3.4_ZTVN7Minisat6OptionE_ZN7Minisat6SolverC2Ev_ZN7Minisat6Solver12detachClauseEjb__gmon_start___Jv_RegisterClasses_ZN7Minisat3vecINS_3LitEE8capacityEi_ZN7Minisat3vecINS0_INS_6Solver7WatcherEEEE6growToEi_ZN7Minisat7memUsedEv_ZGVZN7Minisat6Option13getOptionListEvE7options_ZdlPv@@GLIBCXX_3.4exit@@GLIBC_2.2.5_ZN7Minisat6Solver8toDimacsEP8_IO_FILERKNS_3vecINS_3LitEEE__assert_fail@@GLIBC_2.2.5__printf_chk@@GLIBC_2.3.4_ZNK7Minisat6Solver9satisfiedERKNS_6ClauseE_fini_ZN7Minisat6Solver6newVarEbb_ZN7Minisat6Solver8toDimacsEPKcRKNS_3vecINS_3LitEEE_ZNSt8ios_base4InitC1Ev@@GLIBCXX_3.4_ZTSN7Minisat6SolverEfopen@@GLIBC_2.2.5_ZTSN7Minisat9IntOptionE_ZN7Minisat15RegionAllocatorIjE8capacityEj_ZN7Minisat6Clause15calcAbstractionEv_ZN7Minisat12DoubleOption4helpEb_ZN7Minisat6Solver12attachClauseEj_ZN7Minisat8OccListsINS_3LitENS_3vecINS_6Solver7WatcherEEENS3_14WatcherDeletedEED1Ev_ZN7Minisat4HeapINS_6Solver10VarOrderLtEED1Ev__cxa_atexit@@GLIBC_2.2.5_ZTIN7Minisat6OptionEgetpid@@GLIBC_2.2.5_ZTSN7Minisat12DoubleOptionE_ZN7Minisat3vecINS_5lboolEED1Ev_ZNSt8ios_base4InitD1Ev@@GLIBCXX_3.4_ZN7Minisat15ClauseAllocator5relocERjRS0__ZN7Minisat6Solver12analyzeFinalENS_3LitERNS_3vecIS1_EE_ZN7Minisat4sortIj11reduceDB_ltEEvPT_iT0__ZN7Minisat6Solver6solve_Ev_ZZN7Minisat6Option13getOptionListEvE7optionsfree@@GLIBC_2.2.5strlen@@GLIBC_2.2.5_ZN7Minisat3vecIiED1Ev_ZN7Minisat6Solver10addClause_ERNS_3vecINS_3LitEEE_ZN7Minisat9IntOptionD1Ev_ZN7Minisat6Solver8relocAllERNS_15ClauseAllocatorE__cxa_finalize@@GLIBC_2.2.5_ZN7Minisat3vecINS_3LitEED1Ev_ZTVN7Minisat9IntOptionE_ZN7Minisat11memUsedPeakEv_ZN7Minisat6Solver13pickBranchLitEv_ZTVN10__cxxabiv117__class_type_infoE@@CXXABI_1.3__cxa_guard_release@@CXXABI_1.3_ZN7Minisat6Solver14garbageCollectEv_ZN7Minisat6OptionC2EPKcS2_S2_S2_fgetc@@GLIBC_2.2.5getpagesize@@GLIBC_2.2.5_ZN7Minisat15ClauseAllocator5allocINS_3vecINS_3LitEEEEEjRKT_b_ZN7Minisat6Solver12removeClauseEj_ZN7Minisat6Solver9propagateEv_ZN7Minisat3vecIdED1Ev_ZTIN7Minisat12DoubleOptionEpow@@GLIBC_2.2.5_ZN7Minisat10BoolOption5parseEPKc_ZN7Minisat12DoubleOption5parseEPKcJava_kodkod_engine_satlab_MiniSat_free_ZN7Minisat3vecIjE4pushERKj_ZN7Minisat6Solver16rebuildOrderHeapEv_ZN7Minisat12parseOptionsERiPPcb_ZN7Minisat10BoolOptionD1EvJava_kodkod_engine_satlab_MiniSat_addClausestrtol@@GLIBC_2.2.5_ZN7Minisat6SolverD0Ev_ZN7Minisat6SolverD2Ev_ZTIN7Minisat10BoolOptionE__cxa_pure_virtual@@CXXABI_1.3_ZN7Minisat10BoolOption4helpEb_ZTVN7Minisat6SolverE_ZN7Minisat16setHelpPrefixStrEPKc_ZN7Minisat6SolverC1Ev_ZTSN7Minisat6OptionE__errno_location@@GLIBC_2.2.5__bss_start_ZTIN7Minisat20OutOfMemoryExceptionE_ZTVN10__cxxabiv120__si_class_type_infoE@@CXXABI_1.3_ZN7Minisat12DoubleOptionD1EvJava_kodkod_engine_satlab_MiniSat_make_ZN7Minisat9IntOptionD0Ev__stack_chk_fail@@GLIBC_2.4strcmp@@GLIBC_2.2.5_ZN7Minisat8OccListsINS_3LitENS_3vecINS_6Solver7WatcherEEENS3_14WatcherDeletedEE8cleanAllEv__cxa_allocate_exception@@CXXABI_1.3_ZN7Minisat3vecIcED1Ev_ZN7Minisat17printUsageAndExitEiPPcb_ZN7Minisat12setUsageHelpEPKcfeof@@GLIBC_2.2.5__cxa_throw@@CXXABI_1.3_end_ZN7Minisat6Solver15removeSatisfiedERNS_3vecIjEEfclose@@GLIBC_2.2.5_ZZN7Minisat6Option14getUsageStringEvE9usage_str_ZN7Minisat6Solver11cancelUntilEi_ZN7Minisat6Solver8toDimacsEP8_IO_FILERNS_6ClauseERNS_3vecIiEERi_ZN7Minisat6OptionD0Ev_ZN7Minisat6Solver8reduceDBEvJava_kodkod_engine_satlab_MiniSat_valueOf_ZN7Minisat9IntOption4helpEbfscanf@@GLIBC_2.2.5__sprintf_chk@@GLIBC_2.3.4stderr@@GLIBC_2.2.5_ZN7Minisat4sortINS_3LitENS_16LessThan_defaultIS1_EEEEvPT_iT0__ZN7Minisat3vecIPNS_6OptionEED1Ev_ZN7Minisat3vecINS0_INS_6Solver7WatcherEEEED1Evrealloc@@GLIBC_2.2.5_ZTIN7Minisat6SolverE_edata_ZN7Minisat6Solver12litRedundantENS_3LitEj__gxx_personality_v0@@CXXABI_1.3_ZTVN7Minisat12DoubleOptionE_ZN7Minisat6SolverD1Ev_ZNK7Minisat6Solver16progressEstimateEv_ZN7Minisat3vecINS_5lboolEE8capacityEi_Znwm@@GLIBCXX_3.4_ZN7Minisat6Solver6searchEi_Unwind_Resume@@GCC_3.0_ZTVN7Minisat10BoolOptionE_ZTSN7Minisat10BoolOptionE_ZN7Minisat4sortIPNS_6OptionENS1_8OptionLtEEEvPT_iT0_strtod@@GLIBC_2.2.5_ZN7Minisat3vecINS_6Solver7VarDataEED1Ev_init_ZZN7Minisat6Option19getHelpPrefixStringEvE15help_prefix_str




© 2015 - 2025 Weber Informatics LLC | Privacy Policy