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

x86-mac.libminisat.jnilib Maven / Gradle / Ivy

?????[????ʰ????	x???__TEXT??__text__TEXTQ@?__symbol_stub1__TEXTaG,aG?__stub_helper__TEXT?HX?H__textcoal_nt__TEXT?J@?J__eh_frame__TEXT(d?(d__cstring__TEXT?y??y__StaticInit__TEXT?~??~__literal8__TEXT?`?(__DATA??__dyld__DATA??__nl_symbol_ptr__DATA??2__la_symbol_ptr__DATA(??(?5__gcc_except_tab__DATA?? ??__mod_init_func__DATA؂؂	__bss__DATA?)H__LINKEDIT? ?[
0j??H/var/tmp//ccQ3BFCU.out???\??PKKB???g?48֥?D/usr/lib/libstdc++.6.dylib8C??D/usr/lib/libgcc_s.1.dylib8@?H
X/usr/lib/libSystem.B.dylibASL?????AS?%?x????%?xUH??H?}?H?E??]?UH??H?? H?}?H?E?H?E?H?E?H?@H?U?H?u?H?=?????Ѕ?t
H?E????????UH??H??0H?}?H?u??E?H?E?H?E?H?U?H?u?H?E?H?=?????Ѕ?t	?E??????(H?}?H?E??ЋE???uH?}?H?E????E??E??E܋E???UH??H??0H?u??b???t
H?E??4H?E?H?E?H?}?u'??(?9?H?E?H?}?u
H?E???H?E??@?????H?=nq??H?E?H?}???H?}?H?5jq??>H??H?E?H?PH?}?H?5\q??>H??H?E?H?PH?E?H?@H??tuH?E?H?@H??thH?E?H?pH?E?H?x?????E??}??tJ?}?u
H?E??@?0H?}?H?5q?o>H??H?E?H?P H?E?H?@ H??tH?E??@H?E?H?E??H?u??=>H?E?H?E???UH??H??0H?}?H?u? ?>H?E?H?}?uH?u???=?E??????gH?M?H?U?H?H?AH?BH?AH?BH?AH?E?H?PH?E?H?H?U?H?E?H?BH?u??=?E??}?u	?E???E??????E܉E؋E???UH??H??0H?}?H?u?H?E?H?@H?E?H?}???H?E?H;E???H?E?H?H?E?H?PH?u??5=H?E??@?E܃}?wKHcMܸH??H??H?U?H?EЃ?H??uH?EЃ?*H??u?H?E?H?@???H?E?H?PH?E?H?x??H?}???<???<H?E?H?}??A???H?E???UH??H??0H?}?H?E?H?E?H?E??E???<H?E?H?}?t-H?E??@?E?H?E??@H?E?H?@H?E?H?u??P<H?E??@??tH?E?H?H?E?H?x???	H?E?H???H?}?t??*<H?E?H?}?tH?u?H?}??y???H?E?H?}?tH?E??U??PH?u???;??UH??H??`H?}?H?u??5???H?E?H?}?u?E??????\H?E??@??uH?E??@<uH?u?H?}??Z????E??/H?E??@<??H?E??@??tPH?E?H?@H?E?H?uȿ?L;?Eԃ}?t?E???????H?E?H?pH?E?H?8H?U?H?E??ЉE???H?E?H?@ H?E?H?uȿ??:?Eԃ}?t?E??????H?E?H?8H?E??ЉE??H?E?H?@H?E?H?uȿ?:?E??}?t	?E??????T??:H?E?H?}?u	?E??????6H?M?H?U?H?H?H?BH?AH?BH?AH?U?H?u?H?E?H?=?????ЉE??E???UH??H??@H?}?H?u?H?U?H?E?H?E??E?H?E?H?E?H?u?H?}??;?????UH??H??0H?}?H?E?H?E??E?H?}?H?5?r?????ÐUH??SH??H????9H??tH??u???H??tH?
?m?DH?5?mH?=Vl?9H??[]?UH??SH??H??H?4??9H??tH??u???H??tH?
gm?IH?5KmH?=l?X9H??[]?UH??SH??H??H?4??>9H??tH??u???H??tH?

m?IH?5?lH?=?k??8H??[]?UH??SH??H??H?4???8H??tH??u???H??tH?
?l?IH?5?lH?=bk?8H??[]?UH??SH??H??H?4??8H??tH??u???H??tH?
Yl?IH?5=lH?=k?J8H??[]?UH??SH??H??H???48H??tH??u???H??tH?
l?IH?5?kH?=?j??7H??[]?UH??SH??H??H?4???7H??tH??u???H??tH?
?k?IH?5?kH?=sj?7H??[]?UH??SH??H???7H??tH??u???H??tH?
Wk?IH?5;kH?=*j?H7H??[]?UH??SH??H??H?4??.7H??tH??u???H??tH?
?j?IH?5?jH?=?i??6H??[]?UH??H?O?y~;??
?nHc?H?H?Ћ??H?H???Z@?Y??Z??@??9q???n?YG0?G0]ÐUH??H????~~,??
jnHc?H?W@H????Y????9N??Cn?YGP?GP]ÐUH??AWAVAUATSH??(I??L????A*N?n?^??E?A?~f???E??[H???H?E?D?=@qE?nf???E??H?U??D9?t!I??$??*??E??5?XE??E?H??A9???A*F?M??^?f(?H??([A\A]A^A_]ÐUH??uq??A9?|H?
|i?!H?5?iH?=?h?=5A??Ic?H;4?uϋG??A9?} H?Ic?A??Ic?H??H?ʋG??A9?|??o??H?H;1uA?뺋WA??{???]ÐUH?僿?tlH?
,i??H?5?hH?=?g?4Hc??T??Ѓ???t????H?H???????????H?H????D9?t(?????9????????~?D??o?띸]?UH??ATSI??H?????????uJ?v?t6Hc??{??Hc?H??I?$??????s?t6Hc??{??Hc?H??I?$??h????\@??tH?
eg?jH?5qgH?=:f?3?~??Hc?H??I?$??'????{??Hc?H??I?$?H???
?????t??H?I)?$?????H?I)?$?H??tH???C3[A\]ÐUH??AVAUATSH?? I??H?_?*K?G0?^??E؈$H???'3?S?????????A?A??bA?A?H?Ic?H?4?????~#?F??H?I???H?¨??H9???Ic?H?4?A??A???S???????D9??D;c}iH?Ic?H?4?????~?F??H?I???H?¨uH9?u
Ic?H?4?A???$???H??ZD??M?f.?vܺL???????A??D9c?D??D)??K9?~3H?
?e??H?5?eH?=?d??1?????9?u??K??????L???????$???H?? [A\A]A^]?UH??AWAVAUATSH??(I??L???A?D$?E?H????C;Cu?pH???1HcCH??HtH??@?@?S?B?C;Cu?rH???a1HcCH??HtH??@?@?CI????C;Cu?pH???'1HcSH?H??H??tH??C?FlA?D$A;D$u?pL????0IcD$I$t?A?D$I????C;Cu?pH????0HcSH?H??H??t??????CI?^@?C;Cu?pH???0HcSH?H??H??tH??CI?^`I?F`?pM?~p??yH?
?d?EH?5PdH?=Ac?%0?E?M?oH?U?L???D0H?D?`A??x
E;e}?????uH?
?c?KH?5?cH?=?b??/Ic?H??H?E?I?_I?U?CH?M??
?C;Cu?pH????/HcSH?H??H??tD? ?CI?EH?U??4H?Hc?L??F?	A??A????I?H?Mc?N?$?Ic?Hc??Af.?vw?I?H?Ic?H?Hc??B!f.?vU??D??H?Hc?H??Hc?L??B?	?H?HcI?E??GI?????H?D??E?NA?????+??Hc?????H?D;?}D???ʃ?D9?u?Hc‹?A?D$Hc?I??@A?D?A?$??H?I???Z@?AXE0?Z??@?Z?f.?JvL???'???L??H???€?A??uH?
?E?jH?5?EH?=bD??A?t$L??L???3?????uH?
?E??H?5~EH?=;D?I?]?C;Cu?pH????HcSH?H??H??tL? ?CA?$??H?I???II?]?C;Cu?pH???HcSH?H??H??tL? ?CA?$??H?I??L??H??$A??E??uH?
?D?jH?5?DH?=?C??M??A?D$??M???H?H??H??I???C;Cu?pH????HcSH?H??H??tL?0?CA?D$??H?H??H??I?C;Cu?pH???HcSH?H??H??tL? ?C?????H??H?}???H???H?}????3D??KH?????????9??????f????uȹ?L???H??([A\A]A^A_]?UH??AWAVAUATSH??hH???u??U?H??x?????u???H?5?>H?=?=?H????????????H???m????IF?!?H???`????8FH?}?????H??h[A\A]A^A_]ÐUH??AWAVAUATSH??hI??I???????A?<$u
???I??$?H?E?I??$?H?E?I??$?H?E?I?D$H?E??HAL$(Hc?H??H??H??H?H??H??H?H??H??H?H?H?? ??)??*??E?D?=qEA?FA??$A?~??A?I??$?H?E?H?E?Ic?I???????A;?$?|H?
???H?5?=H?=@=?	??L??????????????H?I??$?H??H??tg??tI??$H?؃??FH??H???F?H?ֺL???????A??A??H?]??C;Cu?pH???z	HcSH?H??H??tD?(?C?AL?m??L???J	??A?EA;Eu?pL???8	IcUI?EH??H??t?A?E?L???N?????.L???$???H??tQ?H??L???/???A??$H?
>??H?5?<H?=<??L??????????A??E;n?v???A??$A;?$?tH?
q=??H?5m<H?=?;?*A??$?~WH?=?=?H??@H?;?|H?=?=?jH?;?hH?=>?VH?;?TH?=L>?BH?;?@D;= C??????E?M?l$A??$??,]??xI??$??,]?????A?$??Y??H*??A*UE?MI??$?H?u??VAT$(I??$??$?^?A??H?=?=??H???H?8??,u?H?M???L??????A???E??YC??E??E??Y9??E?9>B?0???A??$?~H?=>=?4H?B?H?8?+?L???#???D9=B????H??h[A\A]A^A_]ÐUH??AUATSH??A??I?Յ?~?L????????A9?u?H??[A\A]]ÐUH???Hc?H?????;?A????]?UH??SH??H???H??tH??u???H??tH?
?9?DH?5?9H?=?<??H??[]?UH??SH??H??H?E??E??E?H?u???????H??H?}???H??????H?}????ۉ?H??[]?UH??SH??H??H?4??hH??tH??u???H??tH?
79?IH?59H?=.<?(H??[]?UH??SH??H??H?4??H??tH??u???H??tH?
?8?IH?5?8H?=?;??H??[]?UH??H?=;@?;]?UH??AVAUATSI??H??????I??A?Ic?I?H?4ºL???6???A??D9k~I????I??M?l$A?}~+?Hc?I?EH?4?H??t
?L?????????A9]?I??$???ZI??$???rI??$p??6I??$`??$I??$8??I??$(??I??$??<I??$???0I??$????I??$???I??$???I??$????I??$????I??$????I?|$x??I?|$@???L????L???L????TH??I??$???I??$???.I??$p???I??$`???I??$8???I??$(??I??$???I??$????I??$???I??$????I??$???bI??$???I??$???I??$???I?|$x??qI?|$@??n?L???gI?|$??XH???H?Z?{?6???????[A\A]A^]ÐUH??AWAVAUATSH??8I??H??H?M?H?H????XA??I??H?u?L?????H?E?H?]?H?E??E??E?E??~ZH??A????~D?d?????A??A???E?;E?u?pH?}??<HcU?H?E?H??H??tD? ?E?A??H??E9?u?H?u??H?}??"???I??H?U?H?u?L?????H??H?}????H????H?E??H?}?????H??8[A\A]A^A_]?UH??ATS??I??H????H??L????H???L??[A\]??%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%9?%9?%9?%9?%	9?%9?%
9?%9?%9?%9?%9?%9?%9?%9?%9?%9?%!9?%#9L??7?t???L??7?h???L??7?\???L??7?P???L??7?D???L?}7?8???L?y7?,???L?u7? ???L?q7????L?m7????L?i7?????L?e7????L?a7????L?]7?ؽ??L?Y7?̽??L?U7?????L?Q7鴽??L?M7騽??L?I7霽??L?E7鐽??L?A7鄽??L?=7?x???L?97?l???L?57?`???L?17?T???L?-7?H???L?)7??

?????<tv???????F?

?????<?|?????????

?????<??????????

?????<4
??????????

?????<t
^?????????
??<?
?????????

?????<?
ҹ????????

?????<42???????e?
????<tX????????
?

?????<?????????O??

?????<?????????+?

?????zPLRx??
?<$????????7?
	???4d????????"?
4?r???????R?
?4?????????b??
?4???????Z?
?4D(???????Z?
?4|J???????Z?
?4?l???????Z?
?4?????????Z?
?4$????????Z?
?4\????????
4? f?
4?N?
<v???????{?
	???<DD???????#?	?
????<?(???????(a	?

?????<?2???????X?
	???<J????????	?
?????<D????????9	?
??/usr/lib/libSystem.B.dylib__cxa_atexit__cxa_finalizeatexitGClause_newcheckshrinkshrinkxmallocxreallocxreallocxreallocxreallocxreallocxreallocxreallocxreallocinHeapshrinkremoveWatchshrinkinsertsetBoundsincreasesimplifyanalyze_removableanalyzeanalyzeFinalpropagatesimplifyDBClause_newnewClausesearchsolve((uintp)c & 1) == 0SolverTypes.hexprSolver.hnelems <= szGlobal.hsize == 0 || tmp != NULLok(n)Heap.hj < ws.size()Solver.Csize >= 0inHeap(n)decisionLevel() == 0reason[var(p)] != GClause_NULLreason[var(analyze_stack.last())] != GClause_NULLconfl != GClause_NULLlevel[x] > 0c.size() > 2c[1] == false_litroot_level == decisionLevel()okvar(p) < nVars()conflict.size() > 0==================================[MINISAT]===================================| Conflicts |     ORIGINAL     |              LEARNT              | Progress ||           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |==============================================================================| %9d | %7d %8d | %7d %7d %8d %7.1f | %6.3f %% |
xmallocxreallocxreallocClause_newUH?????u4??u/?-??????????????]?UH?????????]ÐUH?????uX??uSH?=??b???H???H?=???????????????????????????]?UH?????????]?#B????;0??.?++???45A?????A??????@??x?D}Ô%?I?TY@???????????_??_??H?H?H?H?H?H?H?H?H?HII I,I8IDIPI\IhItI?I?I?I?I?I?I?I?I?I?I?IJJJ(J4J@JLJXJdJpJ|J?J?J?J?J?J?J?J?J??d?1E??4YZ?,??~%???&-A??7E???'!?U????4:?S'??',?~n(08@HPX`hpx???????????????? (08@HPX`hpx?????????-$@*T>h{z??J	??	??
???,
?f
??
??
@$?B?YN}????P?bA?B?pB
?Bz:zP"zp)z?0z?8z?AzJz*SzL\z{ez?nz?wz??z?z8?zf?z??z??z??z?zC?zs?z??z??z??z{G{v{?{??~??~?~6?~^?~??~??n!?,?7??@?I??Q??\?g?p?y????F?A??B	(G=	?Af	@A?	?RQ?	??Q
?R!
??J:
]
?hN?
?&M?
?.Q?
?TP%?PM??Nw?HU?0y?)???\??????
?5@f??????????????????????\lfnrpt_^`gSi?de????osmqj???W[ZVYXQRca???????????????\lfnrpt_^`gSi?de????osmqj???W[ZVYXQRca? __mh_dylib_headerdyld_stub_binding_helper__dyld_func_lookup_cxa_atexit_check_2_cxa_atexit_check_1_check_cxa_atexit_get_globals_add_routine_run_routines_cxa_atexit_wrapper_atexit_common___cxa_atexit_atexit__Z7xmallocIcEPT_m__Z8xreallocI3LitEPT_S2_m__Z8xreallocI5lboolEPT_S2_m__Z8xreallocI7GClauseEPT_S2_m__Z8xreallocIiEPT_S1_m__Z8xreallocI3vecI7GClauseEEPT_S4_m__Z8xreallocIdEPT_S1_m__Z8xreallocIcEPT_S1_m__Z8xreallocIP6ClauseEPT_S3_m__Z7xmallocIcEPT_m__Z8xreallocI3LitEPT_S2_m__Z8xreallocIiEPT_S1_m___tcf_0__ZZ11GClause_newP6ClauseE8__func____ZZ5checkbE8__func____ZZN3vecIiE6shrinkEiE8__func____ZZN3vecIP6ClauseE6shrinkEiE8__func____ZZ7xmallocIcEPT_mE8__func____ZZ8xreallocI3LitEPT_S2_mE8__func____ZZ8xreallocI5lboolEPT_S2_mE8__func____ZZ8xreallocI7GClauseEPT_S2_mE8__func____ZZ8xreallocIiEPT_S1_mE8__func____ZZ8xreallocI3vecI7GClauseEEPT_S4_mE8__func____ZZ8xreallocIdEPT_S1_mE8__func____ZZ8xreallocIcEPT_S1_mE8__func____ZZ8xreallocIP6ClauseEPT_S3_mE8__func____ZZN4HeapI11VarOrder_ltE6inHeapEiE8__func____ZZN3vecI3LitE6shrinkEiE8__func____ZZ11removeWatchR3vecI7GClauseES0_E8__func____ZZN3vecI7GClauseE6shrinkEiE8__func____ZZN4HeapI11VarOrder_ltE6insertEiE8__func____ZZN4HeapI11VarOrder_ltE9setBoundsEiE8__func____ZZN4HeapI11VarOrder_ltE8increaseEiE8__func____ZZNK6Solver8simplifyEP6ClauseE8__func____ZZN6Solver17analyze_removableE3LitjE8__func____ZZN6Solver7analyzeEP6ClauseR3vecI3LitERiE8__func____ZZN6Solver12analyzeFinalEP6ClausebE8__func____ZZN6Solver9propagateEvE8__func____ZZN6Solver10simplifyDBEvE8__func____ZZ10Clause_newbRK3vecI3LitEE8__func____ZZN6Solver9newClauseERK3vecI3LitEbE8__func____ZZN6Solver6searchEiiRK12SearchParamsE8__func____ZZN6Solver5solveERK3vecI3LitEE8__func____ZZ7xmallocIcEPT_mE8__func____ZZ8xreallocI3LitEPT_S2_mE8__func____ZZ8xreallocIiEPT_S1_mE8__func____ZZ10Clause_newbRK3vecI3LitEE8__func____Z41__static_initialization_and_destruction_0ii__GLOBAL__I__Z11removeWatchR3vecI7GClauseES0___Z41__static_initialization_and_destruction_0ii__GLOBAL__I_Java_kodkod_engine_satlab_MiniSat_make_lit_Error_lit_Undef_l_Undef_l_False_l_True_lit_Error_lit_Undef_l_Undef_l_False_l_True__ZSt8__ioinit_Java_kodkod_engine_satlab_MiniSat_addClause_Java_kodkod_engine_satlab_MiniSat_addVariables_Java_kodkod_engine_satlab_MiniSat_free_Java_kodkod_engine_satlab_MiniSat_make_Java_kodkod_engine_satlab_MiniSat_solve_Java_kodkod_engine_satlab_MiniSat_valueOf__Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvPT_RiT0___Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvR3vecIT_ET0___Z10sortUniqueI3LitEvR3vecIT_E__Z11GClause_newP6Clause__Z11removeWatchR3vecI7GClauseES0___Z13selectionSortI3Lit16LessThan_defaultIS0_EEvPT_iT0___Z13selectionSortIP6Clause11reduceDB_ltEvPT_iT0___Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0___Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd__Z4sortIP6Clause11reduceDB_ltEvPT_iT0___Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd__Z4sortIP6Clause11reduceDB_ltEvR3vecIT_ET0___Z5checkb__ZN3vecI3LitE4growEi__ZN3vecI3LitE5clearEb__ZN3vecI3LitE6growToEi__ZN3vecI3LitE6growToEiRKS0___ZN3vecI3LitE6shrinkEi__ZN3vecI5lboolE4growEi__ZN3vecI5lboolE5clearEb__ZN3vecI5lboolE6growToEi__ZN3vecI7GClauseE4growEi__ZN3vecI7GClauseE5clearEb__ZN3vecI7GClauseE6shrinkEi__ZN3vecIP6ClauseE4growEi__ZN3vecIP6ClauseE5clearEb__ZN3vecIP6ClauseE6shrinkEi__ZN3vecIS_I7GClauseEE4growEi__ZN3vecIS_I7GClauseEE5clearEb__ZN3vecIcE4growEi__ZN3vecIcE5clearEb__ZN3vecIdE4growEi__ZN3vecIdE5clearEb__ZN3vecIiE4growEi__ZN3vecIiE5clearEb__ZN3vecIiE6growToEiRKi__ZN3vecIiE6shrinkEi__ZN4HeapI11VarOrder_ltE6inHeapEi__ZN4HeapI11VarOrder_ltE6insertEi__ZN4HeapI11VarOrder_ltE8increaseEi__ZN4HeapI11VarOrder_ltE9setBoundsEi__ZN6Solver10simplifyDBEv__ZN6Solver11cancelUntilEi__ZN6Solver12analyzeFinalEP6Clauseb__ZN6Solver16progressEstimateEv__ZN6Solver17analyze_removableE3Litj__ZN6Solver18claRescaleActivityEv__ZN6Solver18varRescaleActivityEv__ZN6Solver5solveERK3vecI3LitE__ZN6Solver6assumeE3Lit__ZN6Solver6newVarEv__ZN6Solver6removeEP6Clauseb__ZN6Solver6searchEiiRK12SearchParams__ZN6Solver7analyzeEP6ClauseR3vecI3LitERi__ZN6Solver7enqueueE3Lit7GClause__ZN6Solver8reduceDBEv__ZN6Solver9newClauseERK3vecI3LitEb__ZN6Solver9propagateEv__ZN6SolverC1Ev__ZNK6Solver8simplifyEP6Clause__Unwind_Resume__ZNSt8ios_base4InitC1Ev__ZNSt8ios_base4InitD1Ev__ZdlPv__Znwm___assert_rtn___gxx_personality_v0___stdoutp__keymgr_get_and_lock_processwide_ptr__keymgr_get_and_lock_processwide_ptr_2__keymgr_set_and_unlock_processwide_ptr_calloc_dlopen_dlsym_fflush_free_malloc_pow_printf_puts_realloc????x??X__TEXTpp__text__TEXT<
B<?__cstring__TEXTLJ?LJ__textcoal_nt__TEXT?M}?M?__literal8__TEXTXd`Xd__StaticInit__TEXT?d??d?__eh_frame__TEXT?eH
?eh__constructor__TEXT?o?o__destructor__TEXT?o?o?__DATApp__data__DATApp__dyld__DATApp__mod_init_func__DATApp	__gcc_except_tab__DATAp p__bss__DATA4q)?__IMPORT??__jump_table__IMPORT???__pointers__IMPORT??98__LINKEDIT?0??%
0j??H/var/tmp//cc1S3Mdb.outX?u?Hk/System/Library/Frameworks/JavaVM.framework/Versions/A/JavaVM4?u?H/usr/lib/libstdc++.6.dylib4C??D/usr/lib/libgcc_s.1.dylib4?u?H
X/usr/lib/libSystem.B.dylib??h?HP00p??ph??????<????X???g???g???X???g??U????E???U??S??$?YE?E?E?E?P?E?D$?E?D$???????$?҅?t	?E????????$[]?U??S??4?E?E??E?E?E??D$?E??D$???????$?E?Ѕ?t	?E??????*?E??$?E?ЋE???u?E??$?E???E??E??E?E??4[]?U??S??4?D?E?D$?$??v??t?E??5?E?E?}?u)?D$?$?v?E?}?u?E???E??@?????D$??A?$?Ov?E??}?????4A?D$?E??$?Fv?‹E?P??DA?D$?E??$?)v?‹E?P?E?@??tp?E?@??tf?E?P?E?@?T$?$?????E?}??tE?}?u	?E??@?.??TA?D$?E??$??u?‹E?P?E?@??t?E??@?E?E???E?D$?$?u?E??E??4[]?U???8?$?hu?E??}?u?E?D$?$?Qu?E??????]?M??U??A?B?A?B?A?E?P?E???U?E??B?E?D$?$?
u?E?}?u	?E???E??????E?E??E???U???8?E?@?E?}????E?;E???E??E?P?E?D$?$?t?E?@?E?}?wA????M???U??E?????u?E???*??u??E?@????E?P?E?@?$?ҋE?$?>t?$?-t?E?}?O????E??U???(?E?E??E??E??$??s?E?}?t-?E??@?E??E??@?E?@?E??E?D$?$??s?E?@??t?E??E?@?$????E??Ѓ}?t?$?s?E?}?t?E??D$?E?$?????E?}?t?E??U??P?E?D$?$?[s??U??S??D?
A?\????E܃}?u?E??????g?E??@??u?E??@<u?E?D$?E܉$?????E??7?E??@<???E?@??tW?E܋@?E?E܉D$?$??r?E??}?t?E????????E?P?E??E?D$?T$?$?E??ЉE????E܋@?E?E܉D$?$?wr?E??}?t?E???????E??$?E??ЉE???E܋@?E?E܉D$?$?1r?E?}?t	?E??????S?$?r?E??}?u	?E??????5?M??U???B?A?B?A?E?D$?E??D$??#????$?E??ЉEԋEԃ?D[]?U???(?E?E??E??E?E?E?D$?E?$???????U??S??$?J??E?E??E????r??D$?E?$?
?????$[]?U??WVS???}?O?y~3????U????????Z@?Y??Z??@??9q????U?YG ?G [^_]ÐU??VS?>?u????y~'???@U?F0????Y????9Q???@U?YF?}?DŽ?*O???T?^??EЃf???E??r?E????E܋??a?U??G?E?f???EȋU??;E?t5?U????*??D$?E??$?p?]??M??XM??Mȃ?9u???*G?M??^??M??E???L[^_]?U??WVS???=?}?E?x????9?|*???:?D$?D$!???:?D$??p:?$??o?????9?uƋU?B??9?}+???X8?D$?D$????7?D$???7?$? l?????9?u??W?"?????D$?L$?E?$?*??????????\[^_]ÐU??WVS??|?*9?}?DŽ?G?E??u??x?F;Fu???D$?4$?k?F?@?????t??@?@?V?B?F;Fu?B?D$?4$?lk?F?@?????t??@?@?F?u?ƨ?F;Fu???D$?4$??j?V?????t??F???\?G;Gu???D$?<$?j?Gt???G?u?ƴ?F;Fu???D$?4$??j?V?????t??????F?u??0?F;Fu???D$?4$?Nj?V??Ѕ?t
??@?F?u??L?M?AL?P??T?M???y*???6?D$?D$E???6?D$??6?$?*j?E??E????E??E?D$?T$?U??$??i??p??x?M?;q}?????u*???6?D$?D$K???6?D$??6?$?i???E??}????M???G?M??
?G;Gu???D$?<$?i?W?????t?0?G?U???M??4????Eȋ?Uĉ????E????U??U????EĉE????E??Eԋ??E??f.?v|??U???????E??E???E?f.?vV?uЉ΋?M??????Eȋ?
???M???MЉ?????u??!???D$?4$?lh?Ft???:?EĉE̋?MċUȉ?U???M̉4??u????F;Fu?붉uЋu??{????F?E???|[^_]?U??WVS???5?E?U9???(??U??J???M??u?Ɯ?u????E̋U????u?;?*???M܃?T?U????U??E????E??U???M܋??????E????Y????ЋM?????x;?E?;p}3??1?UȉU؋?UȋMԉ?M???U؉4???u??u??G???u*??#3?D$?D$F??3?D$???2?$?:g?M??M??U??E?P?:?/??x;q}?????u*??#3?D$?D$K??3?D$???2?$??f?}??G??G;Gu???D$?<$??f?W?????t?0?G?U???M??4????Eԋ?Uȉ????E???????U??U????EȉE????EċE???E??f.????????????U???????E??E???E?f.???????u??΋?M??????Eԋ?
???M???M???????u??`????m??m??uЋ?M??U?9??????uЋ?M??A???u?+9??????2?D$?D$???{2?D$???2?$?e?????9?u??U??B?MЋA??+M9?~V???2?D$?D$???{2?D$???2?$?De?????9?u??uЉF?U??B?M???????뛅????Č[^_]?U??WVS??\?P2?u?E??E؉????M?????????E?????Uċ?E???uu?U????u??<0*???$?D$?D$????#?D$???#?$?VX?1???UԋB;Bu???D$?$?dX?MԋQ?????t?0?uԃF?c?E?t?U????M?????????t*????D$?D$1????D$??t?$??Q?4$?S?????t??????E?????U?9P?t????g???x
????Q?MċE?;H???/?U???M??E????Vx?Uȍ@?Vx?????}????U?9?L‰D$?<$??????D$?E؉D$?<$?F????}?u?E؋????????E?@Df.??+r
?Y@?Eȋ8?U????ȋU?f.?Z????U???????M???}Љ?????*8?D$?E؉$??A????|[^_]ÐU??WVS?????E?$?N????U?:u
???M??\?EЋ?`?Eԋ?d?E؋?h?E܋?l?E???p?E???M??A???UJ?VUUU???????)??*??E???_2?EċU?B?M????z??????E?????M??U??U??M??4??????U;??|'??[
?D$?D$??M??L$????$?@?t$?E?$??????????????M???????th??t????????A?????A????D$?L$?U?$?????????u??F;Fu???D$?4$?K@?V?????t?8?F???}??D$?<$?@???G;Gu???D$?<$?
@?W?????t?0?G?D$?M?$?[??????E?$??????tg?D$?D$?U?$??????M???'??o
?D$?D$??E??D$????$?U??D$?U?$???????H???M;y?N????U???;??t*??7
?D$?D$????D$????$??>?M??x~|???
?$??>??DB??X?$??>???
?$?>??DB??X?$?>??#?$?>??DB??X?$?>??s?$?>??DB??X?$?z>?E?;?_2????%?E??}????DB??X?E??U??x
?,u???M??D??H?,u????%?Y?|?D$$RP?,$?d$?]??*G?M??^??L$?D$?G?D$?t$??<?D$?U??BA?D$??4?D$????$??=?M??$?=?EЉD$?t$?,E??D$?E?$??????E??E??Y??%?E??M??Y??%?M?9?_2?????E??x~??s?$?-=??DB??X?$?&=?D$?U?$?????M?9?g2?????Ĝ[^_]?U??WV???}?}~??<$?&=??;uu???^_]ÐU????E??U?????;??-????]ÐU??V??$?E??E??E??E?D$?E?$?<????D$?E?$?W<?4$??;???D$?E?$?:<???????$^]?U??S???h	???,?$?{<??[]?U??WV?? ?E?E????????u???D$?U????D$?E??$?)<??9~~?u??ԉu?}????~-??????t?D$?D$?U??$??;??9w??D$?E???$?i;?D$?E???$?=;?D$?E??$?9;?D$?E??$?!;?D$?E???$?	;?D$?E???$??:?D$?E???$?L;?D$?E???$?9;?D$?E???$?:?D$?E???$?	;?D$?E???$?y:?D$?E???$??:?D$?E???x?$?:?D$?E???d?$?:?D$?E???X?$?:?D$?E???0?$?:?D$?E?$?-:?D$?<$?:?U??$?I:?????D$?E???$?9?D$?E???$?9?D$?E??$?9?D$?E??$?t9?D$?E???$?\9?D$?E???$?D9?D$?E???$?9?D$?E???$?9?D$?E???$??8?D$?E???$?\9?D$?E???$??8?D$?E???$?'9?D$?E???x?$??8?D$?E???d?$?9?D$?E???X?$??8?D$?E???0?$??8?D$?E?$?8?D$?E????$?j8?4$??7?u????~?^????%????? ^_]ÐU??WV??0?u?U??U?T$?U?$????E܋U??D$?U?T$?U?$????E??u??E??E??E??}?~S??U?????~?|??	????ǃ??E?;E?u???D$?E?$?7?U??E????t?8?E???;u?u??D$?E?D$?E?$?7?U??D$?U??T$?U?T$?U?$??????D$?E?$??6?4$?6?E??0?D$?E?$??6????0^_]?U??WV???$??@7?Ɖ$?7??lj4$?7?<$?A6???^_]?U??S??$???E?D$?E?D$?E?D$?E?D$??7??$??6??7??$?M6??6/usr/lib/libSystem.B.dylib__cxa_atexit__cxa_finalizeatexitsize == 0 || tmp != NULLGlobal.h%s:%u: failed assertion `%s'
j < ws.size()Solver.CdecisionLevel() == 0((uintp)c & 1) == 0SolverTypes.hnelems <= szsize >= 0Heap.hok(n)reason[var(p)] != GClause_NULLreason[var(analyze_stack.last())] != GClause_NULLconfl != GClause_NULLlevel[x] > 0c.size() > 2c[1] == false_litexprSolver.hroot_level == decisionLevel()okvar(p) < nVars()conflict.size() > 0==================================[MINISAT]===================================| Conflicts |     ORIGINAL     |              LEARNT              | Progress ||           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |==============================================================================| %9d | %7d %8d | %7d %7d %8d %7.1f | %6.3f %% |
?$?U??V???u?M?>u6?=???9?u??F??t&???t?$??1??F?	?V????σ?^]?U??V???u?M?>u6?=???9?u??F??t&???t?$?1??F?	?V????σ?^]?U??V???u?M?>u6?=???9?u??F??t&???t?$?H1??F?	?V????σ?^]?U??WVS????????}?U?G9?}z??u
???O‰G?
?D@??9???G?w???D$??$??0??t??u?????t*???????D$?D$I???????D$???????$?
1???[^_]ÐU??WVS???H????}?U?G9?}z??u
???O‰G?
?D@??9???G?w???D$??$?Y0??t??u?????t*??????D$?D$I?? ????D$??,????$?l0???[^_]ÐU??WVS???????}?U?G9?}z??u
???O‰G?
?D@??9???G?w???D$??$?/??t??u?????t*??f????D$?D$I???????D$???????$??/???[^_]ÐU??WVS???????}?U?G9?}z??u
???O‰G?
?D@??9???G?w???D$??$?/??t??u?????t*???????D$?D$I???????D$???????$?0/???[^_]ÐU??WVS???n????}?U?G9?}y??u
???O‰G?
?D@??9???G?w?v???D$??$?.??t??u?????t*??*????D$?D$I??F????D$??R????$?.???[^_]?U??WVS????????}?U?G9?}z??u
???O‰G?
?D@??9???G?w???D$??$??-??t??u?????t*???????D$?D$I???????D$???????$??-???[^_]ÐU??WVS???4????}?U?G9?}s??u
???O‰G?
?D@??9???G?w?t$??$?L-??t??u?????t*???????D$?D$I??????D$??????$?_-???[^_]?U??WVS???????}?U?G9?}z??u
???O‰G?
?D@??9???G?w???D$??$?,??t??u?????t*??Z????D$?D$I??v????D$???????$??,???[^_]ÐU??WV??0?}?E9G}F?D$?<$?,?G9E~,????M)??M??t?E??????;u?u?M?O??0^_]?U??WV???u?E9F}A?D$?4$?e,?V9U~'????})׉?t?????????9?u?E?F??^_]ÐU??WV???u?E9F}A?D$?4$?+?V9U~'????})׉?t?????9?u?E?F??^_]ÐU??WV??0?E???E؅????U?U??H?M?9M
?u?u???p?U?U???M?E܋u?uԋE܋u???F?F?D$?E?D$?<$?-&?D$?4$?J&??t?E?>?F?F?? ^_]?U????D$?E?$?&?Ð?$?U??V???u?M?>u6?=???9?u??F??t&???t?$?\%??F?	?V????σ?^]?U??V???u?M?>u6?=???9?u??F??t&???t?$?%??F?	?V????σ?^]?U??V???u?M?>u6?=???9?u??F??t&???t?$?$??F?	?V????σ?^]?U??V???u?M?>u6?=???9?u??F??t&???t?$?T$??F?	?V????σ?^]?U??WV??0?}?E9G}F?D$?<$?$?G9E~,????M)??M??t?E??????;u?u?M?O??0^_]?U??WV?? ?E?E??U?:ua?j???D$???U?$??#?????E9xۋU?B?}?t+???t?$?p#?E??@??U?z~?떃? ^_]?U??WVS??|?????}??G?E??G?@?@?W?U??G?B?B?G????G ?G(?O0?M??G0?A?A?G?	m
.1&
plA
?V
?jn
??
?j?
9?
?l?
`$?kQ?(r?k????j??1??l?)*lEd`jU??o&
loV
?C?
Pm?
?D?
B?8?p??t??v????????????????????????L123456789:;<=>?@ABCDEFGHIJK??0MNOPQRSTUVW??XY??Z[??\]??^_??`abcdefghijklmnopqrstuvwxyz{|}~???????????0Vc
??r8??-??..
/????????L123456789:;<=>?@ABCDEFGHIJK0MNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~???????-?????????????????????FGHIJK??NOTU????????^_?????ptv?????/-????-????./__dyld_func_lookupdyld_stub_binding_helper__mh_dylib_header___cxa_atexit___i686.get_pc_thunk.bx_atexit___dso_handle__keymgr_get_and_lock_processwide_ptr__keymgr_get_and_lock_processwide_ptr_2__keymgr_set_and_unlock_processwide_ptr_calloc_dlopen_dlsym_free_malloc__Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvPT_RiT0___Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvPT_RiT0_.eh__Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvR3vecIT_ET0___Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvR3vecIT_ET0_.eh__Z10sortUniqueI3LitEvR3vecIT_E__Z10sortUniqueI3LitEvR3vecIT_E.eh__Z11removeWatchR3vecI7GClauseES0___Z11removeWatchR3vecI7GClauseES0_.eh__Z13selectionSortI3Lit16LessThan_defaultIS0_EEvPT_iT0___Z13selectionSortI3Lit16LessThan_defaultIS0_EEvPT_iT0_.eh__Z13selectionSortIP6Clause11reduceDB_ltEvPT_iT0___Z13selectionSortIP6Clause11reduceDB_ltEvPT_iT0_.eh__Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0___Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_.eh__Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd__Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd.eh__Z4sortIP6Clause11reduceDB_ltEvPT_iT0___Z4sortIP6Clause11reduceDB_ltEvPT_iT0_.eh__Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd__Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd.eh__Z4sortIP6Clause11reduceDB_ltEvR3vecIT_ET0___Z4sortIP6Clause11reduceDB_ltEvR3vecIT_ET0_.eh__ZN3vecI3LitE4growEi__ZN3vecI3LitE4growEi.eh__ZN3vecI3LitE5clearEb__ZN3vecI3LitE5clearEb.eh__ZN3vecI3LitE6growToEi__ZN3vecI3LitE6growToEi.eh__ZN3vecI5lboolE4growEi__ZN3vecI5lboolE4growEi.eh__ZN3vecI5lboolE5clearEb__ZN3vecI5lboolE5clearEb.eh__ZN3vecI5lboolE6growToEi__ZN3vecI5lboolE6growToEi.eh__ZN3vecI7GClauseE4growEi__ZN3vecI7GClauseE4growEi.eh__ZN3vecI7GClauseE5clearEb__ZN3vecI7GClauseE5clearEb.eh__ZN3vecIP6ClauseE4growEi__ZN3vecIP6ClauseE4growEi.eh__ZN3vecIS_I7GClauseEE4growEi__ZN3vecIS_I7GClauseEE4growEi.eh__ZN3vecIcE4growEi__ZN3vecIcE4growEi.eh__ZN3vecIdE4growEi__ZN3vecIdE4growEi.eh__ZN3vecIiE4growEi__ZN3vecIiE4growEi.eh__ZN3vecIiE6growToEiRKi__ZN3vecIiE6growToEiRKi.eh__ZN6Solver10simplifyDBEv__ZN6Solver10simplifyDBEv.eh__ZN6Solver11cancelUntilEi__ZN6Solver11cancelUntilEi.eh__ZN6Solver12analyzeFinalEP6Clauseb__ZN6Solver12analyzeFinalEP6Clauseb.eh__ZN6Solver16progressEstimateEv__ZN6Solver16progressEstimateEv.eh__ZN6Solver17analyze_removableE3Litj__ZN6Solver17analyze_removableE3Litj.eh__ZN6Solver18claRescaleActivityEv__ZN6Solver18claRescaleActivityEv.eh__ZN6Solver18varRescaleActivityEv__ZN6Solver18varRescaleActivityEv.eh__ZN6Solver5solveERK3vecI3LitE__ZN6Solver5solveERK3vecI3LitE.eh__ZN6Solver6assumeE3Lit__ZN6Solver6assumeE3Lit.eh__ZN6Solver6newVarEv__ZN6Solver6newVarEv.eh__ZN6Solver6removeEP6Clauseb__ZN6Solver6removeEP6Clauseb.eh__ZN6Solver6searchEiiRK12SearchParams__ZN6Solver6searchEiiRK12SearchParams.eh__ZN6Solver7analyzeEP6ClauseR3vecI3LitERi__ZN6Solver7analyzeEP6ClauseR3vecI3LitERi.eh__ZN6Solver7enqueueE3Lit7GClause__ZN6Solver7enqueueE3Lit7GClause.eh__ZN6Solver8reduceDBEv__ZN6Solver8reduceDBEv.eh__ZN6Solver9newClauseERK3vecI3LitEb__ZN6Solver9newClauseERK3vecI3LitEb.eh__ZN6Solver9propagateEv__ZN6Solver9propagateEv.eh__ZNK6Solver8simplifyEP6Clause__ZNK6Solver8simplifyEP6Clause.eh___i686.get_pc_thunk.cx__Unwind_Resume___eprintf___gxx_personality_v0___sF_fflush_pow_printf_puts_realloc_Java_kodkod_engine_satlab_MiniSat_addClause_Java_kodkod_engine_satlab_MiniSat_addClause.eh_Java_kodkod_engine_satlab_MiniSat_addVariables_Java_kodkod_engine_satlab_MiniSat_addVariables.eh_Java_kodkod_engine_satlab_MiniSat_free_Java_kodkod_engine_satlab_MiniSat_free.eh_Java_kodkod_engine_satlab_MiniSat_make_Java_kodkod_engine_satlab_MiniSat_make.eh_Java_kodkod_engine_satlab_MiniSat_solve_Java_kodkod_engine_satlab_MiniSat_solve.eh_Java_kodkod_engine_satlab_MiniSat_valueOf_Java_kodkod_engine_satlab_MiniSat_valueOf.eh__ZN3vecI3LitE6growToEiRKS0___ZN3vecI3LitE6growToEiRKS0_.eh__ZN3vecIP6ClauseE5clearEb__ZN3vecIP6ClauseE5clearEb.eh__ZN3vecIS_I7GClauseEE5clearEb__ZN3vecIS_I7GClauseEE5clearEb.eh__ZN3vecIcE5clearEb__ZN3vecIcE5clearEb.eh__ZN3vecIdE5clearEb__ZN3vecIdE5clearEb.eh__ZN3vecIiE5clearEb__ZN3vecIiE5clearEb.eh__ZN6SolverC1Ev__ZN6SolverC1Ev.eh__ZNSt8ios_base4InitC1Ev__ZNSt8ios_base4InitD1Ev__ZdlPv__Znwm_abort_fprintfdylib1.ocrt3.oSolver.okodkod_engine_satlab_MiniSat.o_eprintf.olink editordyld__mach_header_cxa_atexit_check_2_cxa_atexit_check_1_check_cxa_atexit_get_globals_add_routine_run_routines_cxa_atexit_wrapper_atexit_common__GLOBAL__I__Z11removeWatchR3vecI7GClauseES0__lit_Error_lit_Undef_l_Undef_l_False_l_True__Z41__static_initialization_and_destruction_0iiGCC_except_table0GCC_except_table1__Z41__static_initialization_and_destruction_0ii.eh__GLOBAL__I__Z11removeWatchR3vecI7GClauseES0_.ehEH_frame1__GLOBAL__I_Java_kodkod_engine_satlab_MiniSat_make_lit_Error_lit_Undef_l_Undef_l_False_l_True__ZSt8__ioinitGCC_except_table0___tcf_0__Z41__static_initialization_and_destruction_0iiGCC_except_table1GCC_except_table2GCC_except_table3GCC_except_table4EH_frame1___tcf_0.eh__Z41__static_initialization_and_destruction_0ii.eh__GLOBAL__I_Java_kodkod_engine_satlab_MiniSat_make.eh????????__TEXT??	__text__TEXT@P\@?__picsymbolstub1__TEXT_??_?? __cstring__TEXTg?\g?__textcoal_nt__TEXTk??k??__literal8__TEXT?????__StaticInit__TEXT?(X?(?__eh_frame__TEXT??	???h__constructor__TEXT??__destructor__TEXT??__DATA??__data__DATA??__dyld__DATA??__nl_symbol_ptr__DATA???__la_symbol_ptr__DATA? ?? D__mod_init_func__DATA??	__gcc_except_tab__DATA?$ ?$__bss__DATA?D08__LINKEDIT?0?*?
0H??j/var/tmp//ccKxOtdt.outXH?vk/System/Library/Frameworks/JavaVM.framework/Versions/A/JavaVM4H?v/usr/lib/libstdc++.6.dylib4D?|&/usr/lib/libgcc_s.1.dylib4H?vX
/usr/lib/libSystem.B.dylib????P66p???p????????B?|?B?}??|?}?cx=?????}??|x=?????N? }?cxK???|?B?}h?|?=k?k??}i?N? |?????B?????!??<8cW?8?8K????8/?A?|	?<|x?c?hN?!8!`?????|?N? ?????!??|>x?~H?^H8??!????N? |???????!??|>xB????~x?x?8?^8?<_8b????x??x|x}??N?!|`x/?A??^88????!?|?????N? |???????!??|>xB????~x??|8?8?x?xB???8L<_8bV8|xHN?8P<_8bVL|xHN?8T<_8bVd|xHNm8X<_8bV||xHNY8\<_8bV?|xHNE?L/?A?4?P/?A?(?T/?A??X/?A??\/?@?8?hH?L|x}??N?!|`x?D8?HH܀P?~H|x}??N?!|`x?@<_?~@8?V?HN-|`x/?@???T?~H|x}??N?!|`x?xB???8`HL)|`x?@?@/?@?08`8?HL?|`x?@?@/?@?8?HH??^@?T>/?@?`<_8bT?8?HK?|`x?xB????~x??|8`HI|`x?+?@??8/?@?8?HH8???H?H?L?L|x?!?|?????N? |?B?}??=?|?9?H?}??N? |?B?}??=?|?9?H}??N? |???????!??|>x?~x??|?^x??8?8/?A?؀8?^|?A?Ȁ^8??^x?8`??xHH?^8?B?^H?H+?A?p8?^H|0?L?^Lp@/?@??^Lp@*/?@? Hx?~x?x?D8?<8?88`HFU|`x?@?@/?A?4?^@??8?^@8??^@??<8`??@HFq?^D?/?A?(?^D?"?^D?|x},Kx}??N?!H?^D?|x}??N?!?@/?A?8`HE?|`x?@?@/?A??~@??x8`HD?|`x?/?@?T?^xB????~????K??i|`x?P?P/?@?8???XH@?^P?|t/?@??^P?T>/?@??~P???K??|`x?XH?^P?T>+?@?$?^??/?A???^P??H8`??PHCu|`x?L<_?Bs?|x?T>+?@??L/?A?8???XH??^??"?^???^H}#Kx|x???|Lx}??N?!|`x?XHL?^P??D8`??PHB?|`x?L<_?Bs?|x?T>+?@??L/?A?8???XH?^???^D|x|Lx}??N?!|`x?XH̀^P??@8`??PHBe|`x?8<_?Bs?|x?T>+?@??8/?A?8???XHt8`HA?|`x?x?~x??|????x?88?xB????~x?x?88?<8~8<_??pPK??%|`x|x?!?|?????N? |?B?}??=?|?9???}??N? |?B?}?|?9c?/?@?H9@$8!??|????ˡ??????????N? |???????!??B????8@/?A??H?B$<8cF4)K??Y?~hcc?|c??xK??=?pA?,T?~|x8@?=D?]H|cP|BI?]D?}HH,?T?~|x8@?==?=?:x:8?U|?.|p?7?<_?Bj?|^I?W?:?W?8|	./?A?|J/?A?8@8`|KI.9k|kI.9k???^8B?^;?L;yT?YL??/?@?$<8c=??8?E?H65;?8?8??x8?8H4??^?7???A??8@?A?8@/?@?$<8c=??8?K?H5?W?:;??\?|?.????@???x8?H6??T	:?^|	/?A??.?^8B?^?\}Z.?~UH:|?@.|?;x}@qA??d?x?[?"T?8T:|BX.TB8}?L?|L???@??H??D?b?>T:|BH.TB8}?\?|\???@?l}KSx|
x?^Ui:UH:|@.|I.?^|I.?<TB:}bI.}@q@???H0??x8?H2ف>?^|	/?A?H8|	?H:}_=?k>?>??p?A??W<C?x|?p8?K??/?@?x??/?@?????k??|p??????@@????;?;???@@?xK???T?~/?@??<_?BTP9`H???;?;?H@??;??T?~/?A?8r*|8?*?8??Ȁ??A?D??/?A?8@???+?A?(???@??H?Wx.;^xk`?^x??/?@?`;?Wv?TB:|H.p@?$?@??\WI:|.|	.;ZH(??xK??	/?A??܀\??x|?.8?K???;{???@??@K???<8c&\?	h?[x??ITB<;?????@???x8?H?T	:?]|	/?A??.?]8B?]?>?	h?Z??ITB<;?????@???x8?H??T	:?]|	/?A??.?]8B?]/?A?t?^??h?T?<c?x??8?K???/?@?$<8c#Ub:|H.?
9k??A???/?A???\TB:|\8????G??TB:}B@.?/?A?8?8@HD9'9`8?|P|	??ITB:|@.?@?|
x}f[x9k9)B??|?3xTB:|8.?T?:|\?>?	??\TB:|\?ɻ ?h*?????<_??l??@?c?xK??I??k?p@?$<8c#?TB:8|I.ɾD<_?7??O??@??L?I??2?X$??X?\l??d?a`ɡ`??P(??bzپp??X$lB??Al?ah?h?P(??2?h?p?At?I|Ю|t<_?BD??@??H??'?I?GTB:|BJ????	;=?G?B?=TB:8|I.W?x?=WB:8|I.?G8???/?@?4?G??/?A?T|?#x8?8??G|?).?9W?:|?I.?X?B|??|t<_?BD??A??H?U?:}?cxK???|?#xT?89?8?9?T?:?@?D?GU:T?:?]?b}*(.U)8|J.TB8}?\?|\???@?}CxH|ex?g|(.?]?"T8}?L?|L???@??pU?:|I.?G|I.?9TB:}?I.T?|??x???K??<_?BD??TH(??x8?K???<_?BD??T8a<8?H?~??x8!??|??!??N? |?H
?A???!???|~x|?#xK??Y?8`/?A?h?\?^`?>d?~h?H?AL?!P?aT?l?^p?X?A\:??U?|B<UU`UV|?|B?p|Pl??l<C0?hɡh<_?1??(<_?">?????/?@??;`>?>?:??~??x?:Wb:?H.?p???A?8v?8?$8????@?,<_??1`:?>>@C0???<_??@?Vc?x??xH
?o@????A???<_ɢ1?h(?!$?!??A??a??^|?B2?A???A???x/?@? <8c?HI<?c?|C?x |`8!?|??A??H?|??????!??|?3x|?;y@?;???xH?;???@???8!P?|?????N? |?B?}H?|?8????F?T?:|g.x|_x??l??p??t??x?|?>??^??~h<_8bH?|lx<_8B4????~h?^??>??|??x??t??p??l?!?|?????}??N? ???p???x????!???A???a??ځ??ڡ??????????????!???A???a??ہ??ۡ???????????N? ???p???x????!???A???a??ʁ??ʡ??????????????!???A???a??ˁ??ˡ??????|?????N? |?????|dxB????8_?!?p8a9?8H?8a8|}xH5<_}]|~x9"??B??	?i|].<_??x?
?j;????xHy,@?|}???x??xH?H?8!??????|?N? |?B?}h?=k|???0x}??N? |?B?}h?=k|???0\}??N? |?B?}h?=k|???0@}??N? |?B?}h?=k|???0$}??N? |?B?}h?=k|???0}??N? |?B?}h?=k|???/?}??N? |?B?}h?=k|???/?}??N? |?B?}h?=k|???/?}??N? |?B?}h?=k|???/?}??N? |?B?}h?=k|???/|}??N? |?B?}h?=k|???/`}??N? |?B?}h?=k|???/D}??N? |?B?}h?=k|???/(}??N? |?B?}h?=k|???/}??N? |?B?}h?=k|???.?}??N? |?B?}h?=k|???.?}??N? |?B?}h?=k|???.?}??N? |?B?}h?=k|???.?}??N? |?B?}h?=k|???.?}??N? |?B?}h?=k|???.d}??N? |?B?}h?=k|???.H}??N? |?B?}h?=k|???.,}??N? |?B?}h?=k|???.}??N? |?B?}h?=k|???-?}??N? |?B?}h?=k|???-?}??N? |?B?}h?=k|???-?}??N? |?B?}h?=k|???-?}??N? |?B?}h?=k|???-?}??N? |?B?}h?=k|???-h}??N? |?B?}h?=k|???-L}??N? |?B?}h?=k|???-0}??N? |?B?}h?=k|???-}??N? |?B?}h?=k|???,?}??N? |?B?}h?=k|???,?}??N? |?B?}h?=k|???,?}??N? |?B?}h?=k|???,?}??N? |?B?}h?=k|???,?}??N? |?B?}h?=k|???,l}??N? |?B?}h?=k|???,P}??N? |?B?}h?=k|???,4}??N? |?B?}h?=k|???,}??N? |?B?}h?=k|???+?}??N? |?B?}h?=k|???+?}??N? |?B?}h?=k|???+?}??N? |?B?}h?=k|???+?}??N? |?B?}h?=k|???+?}??N? |?B?}h?=k|???+p}??N? |?B?}h?=k|???+T}??N? |?B?}h?=k|???+8}??N? |?B?}h?=k|???+}??N? |?B?}h?=k|???+}??N? |?B?}h?=k|???*?}??N? |?B?}h?=k|???*?}??N? |?B?}h?=k|???*?}??N? |?B?}h?=k|???*?}??N? |?B?}h?=k|???*t}??N? |?B?}h?=k|???*X}??N? |?B?}h?=k|???*<}??N? |?B?}h?=k|???* }??N? |?B?}h?=k|???*}??N? |?B?}h?=k|???)?}??N? |?B?}h?=k|???)?}??N? |?B?}h?=k|???)?}??N? __dyld_call_module_initializers_for_dylib__dyld_image_count__dyld_get_image_name__dyld_get_image_header__dyld_NSLookupSymbolInImage__dyld_NSAddressOfSymbol/usr/lib/libSystem.B.dylib_atexit__cxa_atexit__cxa_finalizeatexit%s:%u: failed assertion `%s'
Global.hsize == 0 || tmp != NULLSolver.Cj < ws.size()decisionLevel() == 0SolverTypes.h((uintp)c & 1) == 0nelems <= szHeap.hok(n)size >= 0reason[var(p)] != GClause_NULLreason[var(analyze_stack.last())] != GClause_NULLconfl != GClause_NULLlevel[x] > 0c.size() > 2c[1] == false_litSolver.hexprroot_level == decisionLevel()okvar(p) < nVars()conflict.size() > 0==================================[MINISAT]===================================| Conflicts |     ORIGINAL     |              LEARNT              | Progress ||           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |==============================================================================| %9d | %7d %8d | %7d %7d %8d %7.1f | %6.3f %% |
printf$LDBL128libSystem.|???????!??|~x?/?@?|J/?A??|I.8BB?䓾8!P?|?????N? |???????!??|~x|?#x?? @?DK????@?0T:9`??|?P|	??>|J/?A?}bI.8BB?蓾8!P?|?????N? |???????!??|~x|?#x?? @?DK??M??@?0T:9`|?P|	??>|J/?A?}bI.8BB?蓾8!P?|?????N? ????|?#x?? 7???@??|dx8@9??`A?|?#x|?#xH?|?#x9d}?cx|Ex|?P|	?}f[x?KT?:|?}.?T	?~/?@?|J/?A??|I.8BB?䓾8!P?|?????N? |??????!??|}x|?#x?/?@?`Hl;??}|`8?K??%;????A???8?/?A?4?}/?A?K??8??H?/?@???K???8!P?|?????N? |???????!?`B???|~x8?8C?AL8???8C?AH????<@??8`?^ ?~$?^(?~,:?0?0???^?????:^??????Đ?9 9@?>̑^?:~ԐԐ?:??????:????;^???;~???8^?>?^ ?"?B?"?B?"?B?" ?B$?"(?B,?"0?B4?"8?B<9>\<_?X?\<_?`?	<_?h?	8@?^t?x8@8`?^|?~?;?????;>??????8??v??z??|???????3????????????????????6`:b@BJf?XRZV8\T?^?N??Fd0PLDH>?v??z??|???????3?????????????????R789:;<=>?@ABCDEFGHIJKLMNOPQ??6STUVWXYZ[\]??^_??`a??bc??de??fghijklmnopqrstuvwxyz{|}~??????????????3<C6VeL?x7k?/v?1??3??445?????????R789:;<=>?@ABCDEFGHIJKLMNOPQ6STUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~?????????????????????0??12????????????LMNOPQ??TUZ[????????de?????vz|?????5?????03123?????45___initialize_Cplusplus__dyld_func_lookupcfm_stub_binding_helperdyld_stub_binding_helper__mh_dylib_header___cxa_atexit_atexit___dso_handle___keymgr_global__keymgr_get_and_lock_processwide_ptr__keymgr_set_and_unlock_processwide_ptr_calloc_dlopen_dlsym_free_malloc_strcmp__Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvPT_RiT0___Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvPT_RiT0_.eh__Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvR3vecIT_ET0___Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvR3vecIT_ET0_.eh__Z10sortUniqueI3LitEvR3vecIT_E__Z10sortUniqueI3LitEvR3vecIT_E.eh__Z11removeWatchR3vecI7GClauseES0___Z11removeWatchR3vecI7GClauseES0_.eh__Z13selectionSortI3Lit16LessThan_defaultIS0_EEvPT_iT0___Z13selectionSortI3Lit16LessThan_defaultIS0_EEvPT_iT0_.eh__Z13selectionSortIP6Clause11reduceDB_ltEvPT_iT0___Z13selectionSortIP6Clause11reduceDB_ltEvPT_iT0_.eh__Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0___Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_.eh__Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd__Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd.eh__Z4sortIP6Clause11reduceDB_ltEvPT_iT0___Z4sortIP6Clause11reduceDB_ltEvPT_iT0_.eh__Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd__Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd.eh__Z4sortIP6Clause11reduceDB_ltEvR3vecIT_ET0___Z4sortIP6Clause11reduceDB_ltEvR3vecIT_ET0_.eh__ZN3vecI3LitE4growEi__ZN3vecI3LitE4growEi.eh__ZN3vecI3LitE5clearEb__ZN3vecI3LitE5clearEb.eh__ZN3vecI3LitE6growToEi__ZN3vecI3LitE6growToEi.eh__ZN3vecI5lboolE4growEi__ZN3vecI5lboolE4growEi.eh__ZN3vecI5lboolE5clearEb__ZN3vecI5lboolE5clearEb.eh__ZN3vecI5lboolE6growToEi__ZN3vecI5lboolE6growToEi.eh__ZN3vecI7GClauseE4growEi__ZN3vecI7GClauseE4growEi.eh__ZN3vecI7GClauseE5clearEb__ZN3vecI7GClauseE5clearEb.eh__ZN3vecIP6ClauseE4growEi__ZN3vecIP6ClauseE4growEi.eh__ZN3vecIS_I7GClauseEE4growEi__ZN3vecIS_I7GClauseEE4growEi.eh__ZN3vecIcE4growEi__ZN3vecIcE4growEi.eh__ZN3vecIdE4growEi__ZN3vecIdE4growEi.eh__ZN3vecIiE4growEi__ZN3vecIiE4growEi.eh__ZN3vecIiE6growToEiRKi__ZN3vecIiE6growToEiRKi.eh__ZN6Solver10simplifyDBEv__ZN6Solver10simplifyDBEv.eh__ZN6Solver11cancelUntilEi__ZN6Solver11cancelUntilEi.eh__ZN6Solver12analyzeFinalEP6Clauseb__ZN6Solver12analyzeFinalEP6Clauseb.eh__ZN6Solver16progressEstimateEv__ZN6Solver16progressEstimateEv.eh__ZN6Solver17analyze_removableE3Litj__ZN6Solver17analyze_removableE3Litj.eh__ZN6Solver18claRescaleActivityEv__ZN6Solver18claRescaleActivityEv.eh__ZN6Solver18varRescaleActivityEv__ZN6Solver18varRescaleActivityEv.eh__ZN6Solver5solveERK3vecI3LitE__ZN6Solver5solveERK3vecI3LitE.eh__ZN6Solver6assumeE3Lit__ZN6Solver6assumeE3Lit.eh__ZN6Solver6newVarEv__ZN6Solver6newVarEv.eh__ZN6Solver6removeEP6Clauseb__ZN6Solver6removeEP6Clauseb.eh__ZN6Solver6searchEiiRK12SearchParams__ZN6Solver6searchEiiRK12SearchParams.eh__ZN6Solver7analyzeEP6ClauseR3vecI3LitERi__ZN6Solver7analyzeEP6ClauseR3vecI3LitERi.eh__ZN6Solver7enqueueE3Lit7GClause__ZN6Solver7enqueueE3Lit7GClause.eh__ZN6Solver8reduceDBEv__ZN6Solver8reduceDBEv.eh__ZN6Solver9newClauseERK3vecI3LitEb__ZN6Solver9newClauseERK3vecI3LitEb.eh__ZN6Solver9propagateEv__ZN6Solver9propagateEv.eh__ZNK6Solver8simplifyEP6Clause__ZNK6Solver8simplifyEP6Clause.eh__Unwind_Resume___eprintf___floatdidf___gxx_personality_v0___sF_fflush_pow_printf$LDBLStub_puts_reallocrestFPsaveFP_Java_kodkod_engine_satlab_MiniSat_addClause_Java_kodkod_engine_satlab_MiniSat_addClause.eh_Java_kodkod_engine_satlab_MiniSat_addVariables_Java_kodkod_engine_satlab_MiniSat_addVariables.eh_Java_kodkod_engine_satlab_MiniSat_free_Java_kodkod_engine_satlab_MiniSat_free.eh_Java_kodkod_engine_satlab_MiniSat_make_Java_kodkod_engine_satlab_MiniSat_make.eh_Java_kodkod_engine_satlab_MiniSat_solve_Java_kodkod_engine_satlab_MiniSat_solve.eh_Java_kodkod_engine_satlab_MiniSat_valueOf_Java_kodkod_engine_satlab_MiniSat_valueOf.eh__ZN3vecI3LitE6growToEiRKS0___ZN3vecI3LitE6growToEiRKS0_.eh__ZN3vecIP6ClauseE5clearEb__ZN3vecIP6ClauseE5clearEb.eh__ZN3vecIS_I7GClauseEE5clearEb__ZN3vecIS_I7GClauseEE5clearEb.eh__ZN3vecIcE5clearEb__ZN3vecIcE5clearEb.eh__ZN3vecIdE5clearEb__ZN3vecIdE5clearEb.eh__ZN3vecIiE5clearEb__ZN3vecIiE5clearEb.eh__ZN6SolverC1Ev__ZN6SolverC1Ev.eh__ZNSt8ios_base4InitC1Ev__ZNSt8ios_base4InitD1Ev__ZdlPv__Znwm___stub_getrealaddr_NSAddressOfSymbol_NSIsSymbolNameDefinedWithHint_NSLookupAndBindSymbolWithHint_strcpy_strlendylib1.ocrt3.oSolver.okodkod_engine_satlab_MiniSat.os_printf.odarwin-fpsave.ogetrealaddr.olink editordyld__mach_header_cxa_atexit_check_2_cxa_atexit_check_1_check_cxa_atexit_find_atexit_10_3_get_globals_our_atexit_add_routine_run_routines_cxa_atexit_wrapper_atexit_common__GLOBAL__I__Z11removeWatchR3vecI7GClauseES0__lit_Error_lit_Undef_l_Undef_l_False_l_True__Z41__static_initialization_and_destruction_0iiGCC_except_table0GCC_except_table1__Z41__static_initialization_and_destruction_0ii.eh__GLOBAL__I__Z11removeWatchR3vecI7GClauseES0_.ehEH_frame1__GLOBAL__I_Java_kodkod_engine_satlab_MiniSat_make_lit_Error_lit_Undef_l_Undef_l_False_l_True__ZSt8__ioinitGCC_except_table0___tcf_0__Z41__static_initialization_and_destruction_0iiGCC_except_table1GCC_except_table2GCC_except_table3GCC_except_table4EH_frame1___tcf_0.eh__Z41__static_initialization_and_destruction_0ii.eh__GLOBAL__I_Java_kodkod_engine_satlab_MiniSat_make.eh_funcptr




© 2015 - 2025 Weber Informatics LLC | Privacy Policy