• Home
• de.hhu.stups
• alloy2b
• 1.03-BETA
• source code
• libminisatprover.so

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

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

ELF

>
 /@??@8@
???? 
???? ?? ?` ???? ?? ?
?
?
?
?
$$P?td0?0?0???Q?tdR?td???? ?? xx
GNUb????/#8?y?GZ?H?ay<gD#1`Gfq$_rle[ibc;oC9@tF P(-8pOk*
MsZX0LS'=h74JEnT/Bv5dwjN6"2a:UIu?
3>]\m,.HRY	!V)AQ%&+WK^xC!	?b>? ???eU`a?H
4?H
%?? ?)??X??8E???P#??Faa!#%()+,-./0135678:;<>?ADFHJKMPQRTVXY[\]^_bfghijklostuvw\???Ŗtѡ?9)??K?Ğ?&??????~z?H??????l??M{??t}???_?(\cg???@ *-:e??1T?c0?s?????}a?K?X(??q?????l?,Ն??+?D?X?? N??{F/e:??\???7a??k
K???
]a?#??9?e???+o?	6T?ٻ?4???>??-?U!+h?8%?61ÑUP??laMȦ??8?X?bet)??n???
?@????I??8ށﱂo??WV>?Vb:?;???}?`???
t??CE???m?f9??%???!??|?7???#$??????a.}?Ф?+?qv=?r?";?w?'?*?T??q????qXޑ???f:?
x*?
 + ?uw
?
???
?
?"[	???^?>?????
?
?
?.?vf:!?? @?	0?|?p?;??w??	0???"?3O"??(,"?udo
"7?"?7+?|??i??4d^"@8??	?

?0??	??x?"@79	"???
??J?@1%??^u	?x?E"v3
h???HV?
" 7
"]???G?F!@? ?"?7+w!?? R
???
x*??1?
??K^x"?8Ve"@5??`??"?7+?"05?"p5?"`5?pe?
?"`7B0y?O0l??"????!`? @??/??G??"???
PvP?"8+/
????" ?{?	??9?"@t_
1!0?J ??	H
"`6??
"07?g?_u?"P5?!P?p@`g?
??X? (LS
 ??
?! ? ?
???? ??a?xPw??!??#	z{
^?3?a	?{?X?_O"
"?5?M`S?	?p1s3"@9?:"?]??
??X? ?Pd
?0r__gmon_start___init_fini__cxa_finalize_Jv_RegisterClasses_ZN14ProofTraverser4rootERK3vecI3LitE_ZN14ProofTraverser5chainERK3vecIiES3__ZN14ProofTraverser7deletedEi_ZN14ProofTraverser4doneEv_ZN14ProofTraverserD1Ev_ZTV14ProofTraverserJava_kodkod_engine_satlab_MiniSatProver_valueOf_ZN14TraceGenerator4rootERK3vecI3LitE_ZN14TraceGenerator5chainERK3vecIiES3__ZN14TraceGenerator7deletedEi_ZN14TraceGenerator4doneEv_ZN14TraceGeneratorD1Ev_ZNSt8ios_base4InitC1Ev_ZNSt8ios_base4InitD1Ev__cxa_atexit_Unwind_ResumeJava_kodkod_engine_satlab_MiniSatProver_trace_ZTV14TraceGenerator_ZN5Proof8traverseER14ProofTraverseri__assert_fail__gxx_personality_v0_ZN14ProofTraverserD0Ev_ZdlPv_ZN14TraceGeneratorD0Ev_ZN3vecI3LitED1Ev_ZN3vecIiED1Ev_ZN3vecIcED1Ev_ZN3vecIP6ClauseED1EvJava_kodkod_engine_satlab_MiniSatProver_addVariables_ZN6Solver6newVarEv_ZN3vecIS_IP6ClauseEED1Ev_ZN8VarOrderD1EvJava_kodkod_engine_satlab_MiniSatProver_solve_ZN6Solver5solveERK3vecI3LitEJava_kodkod_engine_satlab_MiniSatProver_addClauserealloc_ZN6Solver9newClauseERK3vecI3LitEbi_ZN6SolverD1Ev_ZN6Solver6removeEP6ClausebJava_kodkod_engine_satlab_MiniSatProver_free_ZN4File5closeEv_ZN6SolverC1EvmallocJava_kodkod_engine_satlab_MiniSatProver_make_Znwm_ZN5ProofC1Ev_ZTI14TraceGenerator_ZTVN10__cxxabiv120__si_class_type_infoE_ZTS14TraceGenerator_ZTI14ProofTraverser_ZTVN10__cxxabiv117__class_type_infoE_ZTS14ProofTraverser_ZN4File4tellEvlseek64_ZN4File4seekExireadwrite_ZN4File4openEPKcS1_closestrchropen64_ZN4File4openEi8FileModeb_ZN4File7setModeE8FileMode_Z7putUIntR4Filey_ZN4File7getCharEv_Z7getUIntR4File__cxa_allocate_exception_ZTI13Exception_EOF__cxa_throw__cxa_call_unexpected_ZTS13Exception_EOF_ZN5ProofC2ER14ProofTraverser_ZN5ProofC1ER14ProofTraverser_Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd_ZN9TempFilesD1Evremove_ZN3vecIiE5clearEb_ZN5Proof8compressERS_i_ZN5Proof7deletedEi_ZN5Proof8endChainEv_ZN5Proof7addRootER3vecI3LitE_ZN5Proof10beginChainEi_ZN5Proof7resolveEiitempnam_ZN5Proof4saveEPKc_ZN5ProofC2Ev_ZN6Solver18varRescaleActivityEv_ZN6Solver18claRescaleActivityEv_Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd_ZNK6Solver8simplifyEP6Clause_Z11removeWatchR3vecIP6ClauseES1__ZN3vecI3LitE5clearEb_ZN3vecI3LitE4growEi_ZN3vecIP6ClauseE4pushERKS1__ZN6Solver16progressEstimateEvpow_ZN6Solver8reduceDBEv_Z4sortI3Lit14lastToFirst_ltEvPT_iT0_Rd_ZN6Solver7enqueueE3LitP6Clause_ZN6Solver9propagateEv_ZN6Solver10simplifyDBEv_ZN6Solver11cancelUntilEi_ZN6Solver6assumeE3Lit_ZN6Solver17analyze_removableE3Litj_ZN6Solver7analyzeEP6ClauseR3vecI3LitERi_ZN6Solver12analyzeFinalEP6Clauseb_ZN6Solver6searchEiiRK12SearchParams__printf_chkstdoutfflushlibjvm.solibstdc++.so.6libm.so.6libgcc_s.so.1libc.so.6_edata__bss_start_endGCC_3.0GLIBC_2.2.5CXXABI_1.3GLIBCXX_3.4GLIBC_2.3.4

























































































?
 P&y?


?
 ui	?

?
0ӯk?
t)?
?
ti	ui	?
?? 0?? `G?? ?_?? w?? @? @? @? ?? 
h?? 
q?? 
^? 
*? 
<? 
_? 
N ? 
(? 
\0? 
?h? 
?@? 
?? 
H? 
cp? 
Jx? 
G?? 
b?? 
L?? 
K?? 
3?? 
l?? )?? ?? ?? "?? AP? 
A?? ?? R?? ?? H? 
? !? +? M?  ? (? 0? ,8? @? %H? QP? &X? `? oh? Tp? Vx? t?? 	?? 
?? j?? ?? H?? m?? Y?? =?? ]?? 0?? 
?? (?? ?? F?? 4?? `? P? #? /?  ? (? 0? d8? O@? ;H? P? 2X? E`? wh? 8p? x? U?? 9?? f?? k?? I?? r?? ?? u?? ?? ?? @?? B?? [?? W?? ?? '?? $? ? ? ? g ? Z(? X0? 8?  H????:襖H????5Z? ?%\? @?%Z? h??????%R? h
??????%J? h??????%B? h?????%:? h?????%2? h?????%*? 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????%z? h? ????%r? h?????%j? h?????%b? h??????%Z? h ??????%R? h!??????%J? h"??????%B? h#?????%:? h$?????%2? h%?????%*? h&?????%"? h'?p????%? h(?`????%? h)?P????%
? h*?@????%? h+?0????%?? h,? ????%?? h-?????%?? h.?????%?? h/??????%?? h0??????%?? h1??????%?? h2??????%?? h3?????%?? h4?????%?? h5?????%?? h6?????%?? h7?p????%?? h8?`????%?? h9?P????%?? h:?@????%?? h;?0????%z? h<? ????%r? h=?????%j? h>?????%b? h???????%Z? h@??????%R? hA??????%J? hB??????%B? hC?????%:? hD?????%2? hE?????%*? hF?????%"? hG?p???H??H?]? H??t??H??Ð????????U?=? H??ATSubH?=`? tH?=?? ?????H?S? L?%D? H??? L)?H??H??
H9?s DH??
H??? A??H??? H9?r???? 
[A\??f?UH?=?? H??tH??? H??tH?=? ???@?Ð?????H????
Hcɋ?;n? ???fDH?=Y? H???0???H??? H?=z? H?5;? ?????0? 
?*? ?????$? ?? ?????? ????H???ffffff.?USH??8H??????k(???tk??
H?? ?L$?D$ H?H?5m??D$H?|$H??H?$?P0H?|$1?H?‰?L?A??`H???H??H?D$????H?D$H??8[]?H?
P?H?5i?H?=??>?????H????????fffff.?AT??A??USH??~1?H?߃?
?????A9??[]A\?ff.?SH??H?? H?\$H?D$?D$?D$H???????H?|$t?D$H?|$t?D$?????D$H?? [?H??H?D$?????H?D$H???????ffff.?AWH??AVAUATI??UH??SH??H??8H???XA??H?1?L??H?????E??I??H?D$ ?D$(?D$,??H??1?E1?E1??B?A9?tMH?t$ Ic?H??H??t?D?D$(A??
A??
H??E9?D?D$(???t$,????L???Ѝ??
A9?u?E??A?@
ue??A?DM?D?D$,Mc?H?|$ H?T$J?4??L$L?D$????H??H??H?T$?L$L?D$??H?D$ D?D$(?T???f.?G?D@
A??D9??D?D$,?@H??L?t$ ??1?H??L??D?x(????H?1?L??L??H????H?|$ H???X(t?D$(H?|$ t????A9???H??8[]A\A]A^A_?M???U???H?
ǎH?5?H?=c??I????H??L???????H???????fff.?UH??SH??H??H????H?{Xt$?C`H?{Xt????H?CX?CdH?{Ht!?CPH?{Ht?????H?CH?CTH?{8t!?C@H?{8t?????H?C8?CDH???????H???L???H??HDž?????H??H??[]?+???ff.?H?\$?H?l$??@H???????H??H???????h?????H??H??????H??H??H?l$H?\$H???H??H???????H???????????????????Ð??????????????Ð??????????????Ð??????????????Ð?????????????H?9? H??H?ÐATI??US?H??u?C
[]A\??H??vH????H?{H??1?H??H????A?T$??~FI?<$1?1???????
?։4H??A;L$}?4@??
u?????
??
?4H??A;L$|?H?{H??H??1?L?A??H?{?SH??H?sH???pH?{H??H?????C
[]A\Ð?????ATI??USH??H??vH????H?{H??1?H??H????I?<$?S ?A?|$
~"??
@?4??
?4H??A;L$|?H?{H??H??1?L?A??H?{?SH??H?sH???pH?{H??H?????C
[]A\Ð??????Ð??????????????Ð?????????????H?y? H??H?ÐH?i? H??H??????????????????H?I? H??H??m????????????????SH??H??t?GH??t????H??C[Ð????SH??H??t?GH??t?u???H??C[Ð????SH??H??t?GH??t?E???H??C[Ð????SH??H??t?GH??t????H??C[Ð????AUI??ATUSH??H?H??tt?G??~HE1?1??J?"H?;t'?CH?;t	????I?U?CA?EH???
I??9?|?H??A?EtH??????I?EA?EH??[]A\A]Ð???????????SH?(H??t!?G0H?(t?C???H?C(?C4H?{t!?C H?{t????H?C?C$[Ð?????????AVAUATUS?w H????~11?E1?f?H?C?
H??H?4(????A??
H??D;c |݋S??~01?E1?H?CH?4(H??t?
H???f????SA??
H??A9?|?H??`
?
H???B???H??h
?
H???.???H??(t-ǃ0H??(t?????C?????C
?
?C1??[???DH?s?;??????C?
1??3???DH?w????`????C?
1??????ffff.?H?\$?H?l$?H??L?d$?L?l$?L?t$?L?|$?H??H?
???G?W9??CH?s?H
Hc??,?K@???yK???`????
??
s`?{
???S?K9???H?KHcƒ?????
?
?S	??DH?\$H?l$ L?d$(L?l$0L?t$8L?|$@H??H?D????
?{
??C?S9???H?KHcЃ?
D?$?S?C??
???C?S9???H?KHcЃ?
?,?S?C??
?~?C?S9??fH?KHcЃ?
D?4?S?C??
??C?S9???H?KHcЃ?
D?<?CH??????H?߉D$????H??A??????H?߉D$??????T$A????A??A??D	???D	?A	ՋT$D	?H?? ??A	?D	?H	?????@?{
?>?C?S9??PH?KHcЃ?
D?$?S?C??
?R?S?K9???H?KHcƒ???A????
A	??
?SD	??N???fD?{
???C?S9???H?KHcЃ?
D?,?S?C??
?b
?C?S9??SH?KHcЃ?
D?4?S?C??
???S?K9???H?KHcƒ???A??A??A	??
?
E	??SD	?????HcWH?w???9???H?s?;??C?"????‰C?C?C1????????;Hc??????H?s?;??C????????C?C?C1??????D?????
????H?5?? 1?H???????f?H?s?;Hc?????H?s?;??C?k??????C?C?C1???????H?s?;Hc??B???H?s?;??C?+????‰C?C?C1??e?????;Hc?????H?s?;??C??????‰C?C?C1?????DH?s?;Hc??????H?s?;??C???????C?C?C1??u????H?s?;Hc?????H?s?;??C?k????‰C?C?C1???????;Hc??F???H?s?;??C?/????‰C?C?C1?????D?;Hc?????H?s?;??C??????‰C?C?C1??????DH?s?;Hc??????H?s?;??C?????‰C?C?C1??????H?s?;Hc?????H?s?;??C?k????‰C?C?C1??I??????A??????????H?s?;??/??????C?C?IH?C?SD?0?C
?
?r???????A??????dH?=Gd???????H?\$?H?l$?H??H??H?0??H??tH??P?;?t1?s(H??)?
???
Hc??4???H??H?l$H?\$1?H??????@H?\$H?l$H??Ð?ATUS?G`H????
;GP????
??H?0H??tH?H?SXH?sH?P?;?tgH?CH?s(H??+0
???
Hc??????S`??~=1?E1?H?CXH??A??
?4(H????
Hc?????H?CH?s(H??+4(Hc??n???D;c`|?1?H???^????C(?P
?S([]A\?H?GH[]?A\?H?
eH?5?bH?=pc?w?f???fDAVI??AUATL?g8USH??H?? H?8?M?G@1?A?n9???
??Ņ??4L?k81?1?fDL??H
?tI??
?L?k8A?N??
H??9?|݋k@E1???H?C8?C@?CD??M??tL?k8D?s@D?sDH?{0H??tH?L????;?ta?K@??~PH?C8H?ߋ0
?Hc??H????{@
~71??
?f?L??H?S8H??L?`??
?t+4Hc?????;k@|?1?H???
????C(?P
?S(H?? []A\A]A^?H???ٕAH?T$L??H?t$???$?f?????
A?U?
??L??A?
I?L??9P~?PIc?A??
A?T?H??H9?u?H?{8H????????C@?????H?C8?CD?????fDD?kDD9???E??unA???DM?D?kDMc?H?{8J?4??????H??H??tH?C8?C@9?~#Hc?H???H?K8H
?t?
??????
H??9??k@A?N?????f.?G?lm
A??D9??D?kD?DH?K8멋G@????L?k8?????H?{8A?
????M??f??v???H?
SaH?5f_H?=?]?I?????f.?H?\$?H?l$?H??L?d$?H?????????H?Ht?GPH?{Xt?C`D?cPD;cTt6H?SHIc?H??H??t?(D?cPA??
H?l$D?cPH?$L?d$H???DE??A?D$
u6A???DM?D?cTMc?H?{HJ?4??t???H??H??tH?CHD?cP?f?G?dd
A??D9??D?cT??M??t?H?
?`H?5d^H?=?\?I????H?
?aH?5_H?=1_?f????f.?ATU??SH??H??????
D?gPD;gTtUH?OHIc?H??H??t?(D?cPA??
?k`;kdD?cP??H?KXHc?H??H??t??k`??
?k`H??[]A\??E??A?D$
uFA???DM?D?gTMc?H?{H?T$J?4??X???H??H???T$??H?CHD?cP?b???G?dd
A??D9??D?cT?D??E
uA@???M?kdHc?H?{X?T$H?4??????H??H???T$tgH?CX?k`?.???D?lm
??9???kd?H?
`H?5?]H?=?]?o?*???M???Y???H?
?^H?5?\H?=F[?I????H??t??ڐf.?ATUSH????????GH?G?G?????G?G
H?G8?G@?GDH?GH?GP?GTH?GX?G`?Gd?fDH???????1?1?????H??H????H?-]H??H???y????;?t?D?%? D;%? t@H??? Ic?H??H??t
H?(D?%? A??
H?k H?C0D?%؊ ?C([]A\?E??A?D$
uJA???DM?D?%?? Mc?H?=?? J?4??B???H??H??tOH??? D?%?? ?z????G?dd
A??D9??D?%h? ?H?
?^H?5?[H?=?\?/?k???M??t?H?
?^H?5[H?=?Y?I?G???H?{X?
H???????H?{H?
?????H?{8t%?C@H?{8t	@?[???H?C8?CDH???T???H??????fff.?ATUH??SH??H?? ????????C??t>??
??HcSH?s?Z???H?s?;??C?C????C?C?C1?1?H???????H?L[H??H???$?????D$H?D$?D$?????D$?D$
?g????<$?uJ??
@H?KHcЃ?
?,?CD?D$E?????D$=?Z
Hcȃ?
H?t$@?,?D$?{????
?C?S9?|B?????H?s?;??f??????‰C?C??1??{
?
fD9??`????????????`???H?s?;????????C?C?>???D?D$H?CE???(?C
?0???f??t$+t$?
?<$Hc??H????D$?????D$
?
1?????@?1?H???i????{
?
t*?s+s?
?;Hc???????C?????C
?CH??????H?? ??[]A\ÐH?t$?<$??>????
1?????f?H?s?;1??#???H?s?;??C?????‰C?C?C1?????1??H?
wZH?5?WH?=	Y?m????H?
ZH?5?WH?=?W?v????H?
ZH?5nXH?=wX??????H??H???6???H??????fffff.?AWAVAUA??ATI??USH??H??(????????C??t>??
?$HcSH?s?1???H?s?;??C?????C?C?C1?1?H???;??A????jE????H?C8L?sHL?{X1?H?D$@H???????
H????H?{8t?C@A9?~r?C@;CD??H?{8Hc?H??H?4???H??t	??C@@??
H?߉$?C@????H??H?‹$t,?C@;CD?pH?s8
?Hc?H??H??tƉ
?C@??I?$H?t$L?????
A9??N???I?$L???P1??H???ս???{
t*?s+s?
?;Hc??j????C?????C
?CH??([]A\A]A^A_?fDH?{Ht?CPH?{Xt?C`?CP;CT?XH?sHHc?H??H??tfH???)։1?CP?Xf.?H?sXHc?H??H??t??
??C`??
H?߉C`芿??H?‹CP;CT??H?sHHc?H??H??t	??)Љ
?CP??
H?߉CP?T???H??H?????C`;Cdu????H
?????LȉKdHc?H?{XH?T$H?4?H?$蝿??H??H??H?T$H?$?kH?CX?C`?@???@???H
uq???LΉKTHc?H?{HH?T$H?4?H?$?F???H??H??H?T$H?$?<H?CH?CP????DA?G?D@
??9??A?G?Kd?L???fDA?F?D@
??9??A?F?KT?f?D?K`E????H?SHI?$??
L??2?P???????D?@
uxA???DL?D?CDMc?H?{8H?T$J?4??$L?D$?~???H??H??H?T$?$L?D$??
H?C8?C@?5???f?I?$L??L??L???P?A???H?t$?F?D@
??A9??H?t$?FD?CD?u???@???H
uI???LȉKTHc?H?{HH?T$H?4?H?$????H??H??H?T$H?$?r
H?CH?CP?\???A?F?D@
??9??A?F?KT뫅??H
uf???LΉKDHc?H?{8H?T$H?4?H?$?w???H??H??H?T$H?$??H?C8?C@?????D?k(A?????A??
?|???H?t$?F?D@
??9??H?L$?A?KD?H???????H?
]TH?50RH?=?P?I?u???H?????????H?
cTH?5RH?=R?v?K???M???]???H?
?SH?5?QH?=gP?I?#???H???8?????H?
qSH?5?RH?=P?>?????H?
"SH?5gRH?=pR???ڸ??H????????8???fff.?ATUSH????????GH?G?G?????G?G
H?G8?G@?GDH?GH?GP?GTH?GX?G`?Gd?fDH??萹??1?1??W???H??H????H??QH??H???I????;?t?D?%? D;%? t@H?? Ic?H??H??t
H?(D?%? A??
H?k H?C0D?%? ?C([]A\?E??A?D$
uJA???DM?D?%? Mc?H?=o J?4?????H??H??tOH?S D?%T ?z????G?dd
A??D9??D?%8 ?H?
?SH?5?PH?=Q?/?;???M??t?H?
?SH?5?OH?=[N?I????H?{X?
H??趹??H?{H?
訹??H?{8t%?C@H?{8t	@?+???H?C8?CDH???$???H??茺??????????????AUI??ATUS??H?????~D?k?E??~jE1?I??E?H
D9?~OE?"M?ZD??L??D???Ic?H?,?9?DL?HL?Lƒ?
H??9?uߋEE9?A?D?eM??}E??E?H
D9??L??E?"M?Z??H??[]A\A]??
?RH????RA??????Y
f(??^??,??*??Y?R?X??*???^‰??Y??,?H??4?fDD?MA??
A9?|.?B?H?H??f.????
I??H??9?|?A9?}?ME?H???L??D???$?и?????D$@H??[H??D)?L??]A\A]鱸???ATI??US?G??~%1?1?fDI?$??
H?<(H???D???A;\$|?I?<$t%A?D$I?<$t?R???I?$A?D$[]A\Ð???????????SH??H??t'@???GtH??H??t?
???H??C[Ð?????????????????~???
u???Hc????A)?D9??gE??~D)?D$8I??$H??tH?T$0H?T$ ????A??H?\$0?C??tM??
??A?????H?I?L$(???Hc?D??D?&???H?|$ H?þ
褪??H???ܪ??H?
ULH?5?CH?=?C?G?????H?
vIH?5??H?=?C???Φ??fffff.?AWAVAUATUSH??H??xH?D$H??
;????
?P
H?H???H???

H??(

??
H?????Hc?H??H
?H?D$hL?(?@Hc?M?|?M9?L???U
M?G??
M??T$$L?|$8L?D$`?I?.D?eD;d$$???T$$9U??D???
?L$D?Y
D?????t$4LcD$4H???L?D$(B???;?m I?NH?L$I????D?MD??????6
D??m H???#D??H????D9?u#??
H??9??
?A?
u???H??D9?t?Hcҋt$$?D??E?t?D?eA??
Mc?I??L??E?t$E;t$?*I?$Ic?H??H??tH?(E?t$A??
L??E?t$L9|$8??H?t$hL?|$8?FI)?L??H??9?????*???L?D$h)?A?@??
;??????H?D$HH??x[]A\A]A^A_??D??H?????HcЉD$4H?T$(????????????

H??H????A??
A?9H??Hcҋt?諦???E???
~bH??
L?l$PL?|$XI??E???I??H?ː?SI?D$(??
I??$H????Hcʋ4?輣??A?E??9?|?L??L??L?l$PE??L?|$XH??賤??H?T$(H??HS(?:????XD?\$DE????
L?D$(H????5lk B?
A??A??A9???
D?T$DA??A??E??AE?9??b?M?EI?mH??D??H??L?D$L?D$訣????H?L$L?D$??D???E??u????H?l$H??
H?D$H9D$8??H?T$`I?NH)?H??H??H??
H????
A????
I??M9???
H??H??I??M
??H?T$1?DH???oH??
H??H??H9?fAD5w?H?D$J??H
?L9?I?tH?|$8H?0H??H?2H??H9?w?L?H?=L???Z???f.?H???L?D$(?5"i B?
?????I?EH9D$?g???H?D$H?|$8L???H?0H??H?2H??H9?w?????H?????D$H???S????D$H???T$4??蝠??H??象???d???H?
%BH?5X9H?=?=??蝠??L??H?D$H?|$8?+???M???????H?
KBH?59H?=?7?I?c???H?
?AH?5
=H?={=??
?D???@H?\$?H?l$?H??L?d$?L?l$?L?t$?L?|$?H??H??t??????!?á??H??t.?H?\$H?l$ L?d$(L?l$0L?t$8L?|$@H??H?????D?? 
A9?t?H??(
?A9???Mc?I??@H???H???F?<0Mc?I??N?d%I?<$t,A?D$I?<$t跠??H???I?$A?D$A??
Mc?I??L
?H?}t!?EH?}t?x???H?E?EA??
I??D;???d???H?SH?CE1?H?D$H?$I??A?U????1?E1?E1??.?I?UH?*A?N
Mc?J??A?EA??
H??A9?}LA??I?UH???H?4*?F??H?H??H9?t?H???R?????t?I?E1?H??H?4(茠??D??????)?9?R??~)?A?EA??
A??u,????? 
H???
H??
H??(
?#???fDE??L?,$LEl$????H?
o?H?5?6H?=?:??????H?
 ?H?5?:H?=?:?[?ȝ???AWAVAUATUSH??H??8;???t$$?s
HcƋ??H??H?L$H????j???9??

H???Hc?D?4?H????
Ae A??Mc?E??B?8H???J???????A9???H?????L?kxLc?H?|$(I??fDI??L??H???2????H???H?T$??
?9?jH?????d F?4 H???A??Mc?E??B?8H???J??x???I??A9?|?H?
??H?5?9H?=?9?F?v???fD?????)?9??S??~)ʉ???????+D$$9????~)??????
H??8[]A\A]A^A_?DE???'
D9??
???????;???#
H???Hc?H??H??t	D?2?????
H??????H???B?8Lc‰?N????E?D?L$Mc?tfH?sxHc?N?4?Hc?H?6?B?f.?vCI?MM?M?4?I??L?L$?C?4?Jc4?L??H?|$A??A????u(L????D?L$E?H???B???/????I?UIc?I?ʋ4?H?Lc??B2fB.?v???D??Lc??DH?
1>H?58H?=!8?K?ɚ?????P
uR??A?ALщ??Hc?H???H?4?H?$????H??H??H?$t:H??????????fDH?L$(?A?D@
??9??H?|$(?G????H??t?H?
?=H?5?2H?=n1?I?*???H?
?=H?5?2H?=
7??????H?
?<H?5?2H?=?6??????fff.?H?\$?H?l$?H??L?d$?L?l$?H??(D???D;????D???tLH???Ic?H??H??t
D? D???A??
??H??D???1?H?\$H?l$L?d$L?l$ H??(?Й??E??A?E
uGA???DM?D???Mc?H???J?4?诜??H??H??t-H???D????o???@G?lm
A??D9??D????M??t?H?
~<H?5?1H?=0?I?֘??fDAWAVAUATUSH??H?????;??????D$?#H???Hc?H??H
?tH??@?@????E
;??????xH???Hc?H??H
?tH??B?B?????
???;???????H???Hc?H??H??t
H??????
D???D;??????-?_ ?H???Ic?H
?t
@?(D???A??
??
;?
D?????H???Hc?H??H??t???????
??
??
??
;?
??H??
Hc?H??H??t???????
??
??
?kP;kT?H?SHHc?H??H??t
H??kPH?Ch??
?kP?h???F???9???
A???A??
?l
A9??c
H??????Ic??D???D;????H???Ic?H??H??t
D? D???H???A??
L???D?????Lc‰?O????E?3Mc?taH?KxHc?N?$?A?4?H?	Hc??B?f.?v;H?kxH?ML?}fDC?4?Jc4?A??A??L??A????L????E?3H???B????8
;?<
?g
H??0
Hc?H
?t	???8
??
H????8
t+?k0;k4?H?S(Hc?H??H??t	???k0??
?k0?D$H??[]A\A]A^A_?fDH?
?8H?5?2H?=?2?K?Y???f?H?UIc?I?ʋ4?H?Lc??B"fB.???????D??Lc??????fDD???D9??E????A???DM?D???Mc?H???J?4??W???H??H????H??????9?~'Hc?H????H???H
?t?
??
H??9??H?Ch???D?`??????E
uI@???M艫<
H??0
Hc?H???ؗ??H??H???qH??0
??8
?Z???f.??lm
??9????<
?fD??E
uA@???M?kTHc?H?{HH?4??q???H??H????H?CH?kP????f??lm
??9???kT뼐E??A?D$
uFA???DM?D???H???Mc?L??????H??H????H???D???????@G?dd
A??D9??D????f.???E
uI@???M艫?Hc?H???H?4?裖??H??H????H???????????D?lm
??9??????fD????uI???Mʼn??Hc?H???H??H???=???H??H???NH???????F?????D@
??9??????fD??E
uI@???M良?Hc?H???H??H???ԕ??H??H???
H??????????fD?lm
??9??????fDG?dd
A??D9??D????????H????2???@??E
uI@???M艫
Hc?H???H?4??;???H??H???v
H?????
????D?lm
??9????
?fD??E
uI@???M艫
Hc?H??
H?4??Ӕ??H??H????H??
??
?????D?lm
??9????
?E??A?E
uMA???DM?D???Mc?H???J?4??m???H??H???
H???D????!???fDG?lm
A??D9??D????f???E
u9@???M?k4Hc?H?{(H?4??	???H??H????H?C(?k0???????lm
??9???k4??H??????H?
?3H?5?(H?=}'?I?9???H?????????H???=???H?
k4H?5?(H?=G'?I????M???s???H?
?4H?5?(H?='?I?ۏ??H?????????M??D?????f??c???H?
D4H?5?,H?=?,?E蜏??H???????6???H???k???H?
K1H?5(H?=?&?I?c???H???????H?
c3H?5?'H?=&?I?;???H?????????M??D?W???f???????f.?AW????AVHc?AUATU??SH??H??8H???H??
H???B?????
H???J?Ic?H???A?T???Hc‹H???A?????Hc?H??H??tlD?
A??A??
~&L??0
?
?A??H?A?<
t???
H??D9?|拃X
;?\
t:H??P
Hc?H??H??tA??
??X
??
??X
?\???Hc̓?
???N??????H
????A?ALˉ?\
Hc?H??P
H?$H?4?H?L$?ԃ??H??H??H?$H?L$??H??P
??X
?h???E??A?F
u=A???DM?E?t$Mc?I?<$J?4?聃??H??H????I?$E?t$?q???G?4vA??
A??D9??E?t$뻽
A?
??????B?@??
??9??B??\
?/???H???????H?
?H?56H?=??I?{??H?
"H?5H?=R???\??M???^????H??fD????f??fffff.?AWAVL??(AUATA??UH??SH??H??H??(t
LJ0D??
E??u2H??H??t?@(=??B??
??8H??[]A\A]A^A_?H??H??t?E?????
?H??t??????EE?????A9?};Ic?H????T???Hc?D??E????
H??0
?
?E??A??
??A9?|ŋ?
;???/
???H?????
?29???Lc?A?I???H???B?(H??0
????Lc?B?< ??H???J??H???
H??H??t"?H?D$?????
?Hcɋt??}??H?D$?0?????
~=?
Hc?H????T???Lc?B??w{???fDAWAVAUATUSH??H??x???t$L?T$ t?D$XH?|$Pt
?D$?w???D$H??x[]A\A]A^A_Ë1> H??x[]A\A]A^A_Ë???? 9???D??$D9??
E????A???DM?D??$Mc?H??J?4??iy??H??H????H???? 9?~&Hc?H???H??H
?t?
??
H??9?㉫ ?????~%H??H???1?HcЃ?
???;??|닳
H???u???== ????????????H????w????
??H???u???= ?????G?$dA??
A??D9??D??$????H???3???M??????H?
?H?5?
H?=?I??t??H?
?H?5?H?=??>?t??H??H??
?8x??H???px??H?
)H?5JH?=,???t???AWI??AVAUATUSH??H??X?v??1??;?$
H???
D?cH?D$ H???
H?D$(H???
H?D$0?< ?D$A?G??
A?O????I??(????;???D$?5A?E1??>H???u??H???gA??
E;o??I?B?,0I??????;???D$????H?߉l$@??t????u?Lcd$H???J?4?H?????
H???zw????0;?4?0Hc?H??H?(t??
?*??0??
??01?H???s??1?H??X[]A\A]A^A_?f???
9????????~}H?5??
1??s??H?-?7 H?}??v??H?5??
1???r??H?}??v??H?5??
1???r??H?}?v??H?5"?
1??r??H?}?v?????D$9e: ?)
D??VUUUA????H?Y@H?D$D)?L?d$ ?*??D$?efD?DT$?A,??DD$L???H???A,??ku??9?9 ???7???YD$?D$?%?YD$?D$??~?H???
?C ?
?DL$L???
?
??K?*?H???
?H*??Y??A,?t$H?5]?$??^?A???q??L?-J6 I?}?yu??I?}?pu???'??????D$??~"H?5??
1??Wq??H?6 H?8?8u??1?H???nq???D$;?8 ??H??X[]A\A]A^A_?H??tH?C(B?p??fD?p
H??(?9q????0???????P
u????M‰?4Lc?H??(J?4??rs??H??H??tCH??(??0?????D@
??9????4?H?
?H?5pH?=s
??o??M??t?H?
?H?5>H?=??I?o??H?
?H?5-H?=
??do??H?
mH?5H?=?
??Eo???????AWAVAUI??ATUS??H??????D?{?E????E1?I??E?Z
D9???@M?4$M?l$D??L??L???5@D?EA??A??tMc?H??BD?.D?v A???
H??9?t'H??H?
I?ы
??????
Ic?H??9?L??H??u?E9?I?$M?1M??}!E??E?Z
D9??t???I?$M??M?l$I????H??[]A\A]A^A_??
?
H????
A??????Y
f(??^??,??*??Y?
?X??*???^??Y??,?H?H??D?A??Ic?L?\????*?Hc??L?.?wlA9????H?uM?H??L?MA??
A????~A??t?Hc??AA.D?w?A??~7?P??AHc?H???H?1??
I?ȋ???u?H???????
Hc?A9?L??I?0?z???L??D???$?n?????D$PH??[H??D)?L??]A\A]A^A_?xn??????????SH??H??t'@???GtH??H??t?=n??H??C[Ð????????????USH??H???o9?}@??u@???M?o?fD?lm
??9???kHc?H?;H?4??p??H??t
H?H??[]?H??t?H?
?H?5H?=??I?Ul???????H?\$?H?l$?H??L?d$?H??D?gD;gH??t=H?Ic?H??H??tH?UH?D?cA??
H?l$D?cH?$L?d$H????E??A?D$
u6A???DM?D?gMc?H?;J?4??Eo??H??H??t H?D?c?@G?dd
A??D9??D?c??M??t?H?
a
H?54H?=??I?yk???????????AWAVI??AUI??ATA??USH???????
?M?H??D???????AYMf(??^??,??*??Y??X??A*??AE?^??Y??,?H?????H?M??A?3f?D???
D????H?A94?3?A?H?H??@???
I??H????Hc?A94?|?9?}A?
?E?A?3H???@L??L???A)??l??A??~H???"???H??E?l$?E????1?I??D?F
E9?~jE?I?.M?QD??L??D????H??D?D?Lc?N?= 0reason[var(p)] != __nullconfl != __nulllevel[v] > 0level[x] > 0root_level == decisionLevel()okvar(p) < nVars()conflict.size() > 0unit_id[var(first)] == ClauseId_NULL || value(first) == l_Falsereason[var(analyze_stack.last())] != __nullproof == __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 %% |
bool Solver::solve(const vec&)T* xrealloc(T*, size_t) [with T = Lit]lbool Solver::search(int, int, const SearchParams&)ClauseId Proof::last()T* xrealloc(T*, size_t) [with T = lbool]void check(bool)void Solver::simplifyDB()void vec::shrink(int) [with T = Clause*]Clause* Solver::propagate()T* xrealloc(T*, size_t) [with T = Clause*]void Solver::analyzeFinal(Clause*, bool)bool Solver::analyze_removable(Lit, uint)void vec::shrink(int) [with T = Lit]void Solver::analyze(Clause*, vec&, int&)bool Heap::inHeap(int) [with C = VarOrder_lt]void Heap::insert(int) [with C = VarOrder_lt]T* xrealloc(T*, size_t) [with T = int]void vec::shrink(int) [with T = int]T* xrealloc(T*, size_t) [with T = vec]T* xrealloc(T*, size_t) [with T = double]void Heap::setBounds(int) [with C = VarOrder_lt]T* xrealloc(T*, size_t) [with T = char]bool Solver::simplify(Clause*) constvoid Solver::newClause(const vec&, bool, ClauseId)T* xmalloc(size_t) [with T = char]void removeWatch(vec&, Clause*)0??.?++#B????;??@??x?D}Ô%?I?TY@??????????
;?O?^?? ?^???P_??`???@`??0?`??P?b????c??d???d??? d???0d???@d??Pd??80e??`?e????e???f???f??00f??HPf??`?f??x?f????f???g????g??h????n???0v??0Pv??H?v??`Pw????y???pz????z??0???8????????? P???`Ѝ??xP???????????0????P`???x ????@????Е???????	???H	????	????p??????? ????	p????	???
 ???(
????@
`????
????
Ш???
P???XP???x???????????????P????p??????????????
P???P
@????
?????	????X
????p
p????
P??? 
zPR
x?~ ?
$Pa??<Ha??T@a??l8a???0a????[??$?a???BC?AA G??$??a???BC?AA C??
Pb??
Hb??4
@b??L
[??aK
zPLR
x? ?
$$@[????	AADPG???
?a???
?a???
?a??+AG??
b??+AG?b??+AG?$0b??+AG?$<H[??%BE?AA C??,d b???BC?BA A(D0H?????b??VAH?L
[??s?AG0E?<l
h[???
?BEB B(C????A0C?A8C?Dp,?
xb???UBBB A(A0F?????<?\???AC?AD G?,\?h???Bi?BJ?F A(C??D0,x]??d?S ????o???p???AG??(p???M??I G?$??p??VM??[PE????$s???M??N0G??D????N F??d?s??^AC?|?s??SAC?AC?D ?h????AG?$T?z???	?M??XPJ????????u?P???u,x???_
BC?BA A(B???D@<????k$T????dBC?AA G??|؜??3AG??????OD?؆??gM??D $?(????BAA F???,??????BC?BB D??A(A0C??DP$p???
M??I N?$Dp????
BAB??A C?D0$،??-BAA C???,4????BAC??A C?D@4??????BBB C???B(C?A0A8C??D`$?x????BAA C???$p???P<????f4T????(BBB C???B(A0A8B???DP?ț??3?????D?x????D?P???3AG??x???{AAC??D ?????M??I D?,?????AG?AD@`?L(????N E??,l؝??{
BLB C???A(C?A0B?D`4?(????
BBC??B C?B(C?A0A8D@I???????AF?AB?D <?П????BF?BC?B B(C??A0A8D?
D??44	@???|BBB B(A0A8C??????D?
$l	????xM??XPE????4?	????BBB B(A0A8C??????Dp?	????

M??N0G??4?	x????	BBB B(A0A8C??????DP4$
???9BFE B(A0B?????A8C?Dp4\
????
BBB B(C????A0C?A8C?D?
4?
p????BBG??B B(C??A0C?A8C?DP4l	?????
BBB B(A0A8C??????D?
4????;BC?BB B(A0A8C?????D?
??
O?
x?
?
??
)Yn??
?????

0r?
?
??
3Q_??
???
?
? 
??
?
????
1x??
???7????
?
????
??
????
?
?
Q?
???	?
??
????????0`G?_w????????
?

?

?

?

?
x*
h??
???o`x 
?? ??#( ?	???o????o???o????o@? ?? ?*?*?*?*?*?*++&+6+F+V+f+v+?+?+?+?+?+?+?+?+,,&,6,F,V,f,v,?,?,?,?,?,?,?,?,--&-6-F-V-f-v-?-?-?-?-?-?-?-?-..&.6.F.V.f.v.?.?.?.?.?.?.?.?.//@? 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?
?
p.???o``?8  X@xx
H???o???U???o???d( ( ?n?#?#?x
x*x*s
?*?*?~
 / /H??
h?h??
????? ?
0?0???
????<?
??????
?? ??0?
?? ???
?? ???
?? ??? ??? ???
?
?? ??P?
?? ??X?
@? @??`? X???
0X?%

}?


H??z	?
?

?
?
` x??( 	?#
x*?* /
h???0??????? ?? ?? ?? ?? ?? ?? @? `? 
 /??
?? *
?? 8
?? E@/[
`? 
j
h? x?/???
?? ?
???
?? ?0?????
t? ?0a%

p? 
4

x? @

|? L

?? Z

?? h

`??

??'?

??'?

?#??`G?
?? 4

?? @

?? /
?,[
@?,?
???????_k?
?? ?
?? 4

?? @

?? L

?? Z

?? ?
`?'
???

??'?

??'2
?!a
??#?
0??
`?0?
0??
??
?h

P?=
 ?0z???w3?
?? 4

?? @

?? L

?? Z

?? ?
?%?
??)?

@?'
??+9
`?,k
@?8?
??

??#?
??(?
??#
0?S
?1?
@?1?

??'?
??(?
@?*
??(H
??4?
?0?
@?*?
??/8
?)h

??r
??4?
??)?
?$	
H? 1	
P? L	
???? b	
@? o	
?? |	
???? ?	?J??	!???	"?ud?	p1s?	?vf
"?7+&
pe?
;
N
 ]
 q
?G??
?
"`7?
?
?|??
?w?(!?? @=
h?C" 7^"???{0?????{???G??PvP"@9?-A!0?V"07n!?? ?"`6???a????`???^u
z{
*
" ?{?
d
"]?
 ??	?
!@? ?
?

?
"P5?
!`? @?
"@7?1?
N!P?c@1%?"??(?"?"?8V "p58"???
`gn0l??0?|??4d?"@8???_O/Q@`ge! ? z0y???HV??"05??0??/CiV??xo?K^?Pd
???X? ??0r??x?+"???:"v3M_ukLS}Pw??"?7+?"@5?"?5??`S?	 ???? %"?]?8La"?7+p????"@t_
?"8+??"?3??X? p?;*K^q? ??
???9?"7??3?!???DX
x*^r?"`5call_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_MiniSatProver.cpp_ZL6l_True_GLOBAL__I_kodkod_engine_satlab_MiniSatProver.cpp_ZStL8__ioinit_ZL7l_False_ZL7l_Undef_ZL9lit_Undef_ZL9lit_Error_ZZN5Proof4lastEvE19__PRETTY_FUNCTION___ZZ8xreallocI3LitEPT_S2_mE19__PRETTY_FUNCTION___ZZ8xreallocIiEPT_S1_mE19__PRETTY_FUNCTION___ZZ7xmallocIcEPT_mE19__PRETTY_FUNCTION__File.C_GLOBAL__I_File.C_ZZN4File4openEPKcS1_E19__PRETTY_FUNCTION___ZZ7xmallocIhEPT_mE19__PRETTY_FUNCTION___ZZN4File5flushEvE19__PRETTY_FUNCTION__Proof.C_GLOBAL__I_Proof.C_ZL10temp_files_ZZN5Proof8compressERS_iE19__PRETTY_FUNCTION___ZZN5Proof8endChainEvE19__PRETTY_FUNCTION___ZZN5Proof10beginChainEiE19__PRETTY_FUNCTION___ZZN5Proof7resolveEiiE19__PRETTY_FUNCTION___ZZN9TempFiles4openER4FileE19__PRETTY_FUNCTION___ZZ8xreallocIPKcEPT_S3_mE19__PRETTY_FUNCTION___ZZN4File3eofEvE19__PRETTY_FUNCTION___ZZN5Proof4saveEPKcE19__PRETTY_FUNCTION___ZZN5Proof8traverseER14ProofTraverseriE19__PRETTY_FUNCTION__Solver.C_GLOBAL__I_Solver.C_ZZNK6Solver8simplifyEP6ClauseE19__PRETTY_FUNCTION___ZZ11removeWatchR3vecIP6ClauseES1_E19__PRETTY_FUNCTION___ZZ8xreallocIP6ClauseEPT_S3_mE19__PRETTY_FUNCTION___ZZN3vecIP6ClauseE6shrinkEiE19__PRETTY_FUNCTION___ZZN6Solver9newClauseERK3vecI3LitEbiE19__PRETTY_FUNCTION___ZZ5checkbE19__PRETTY_FUNCTION___ZZN3vecI3LitE6shrinkEiE19__PRETTY_FUNCTION___ZZN6Solver9propagateEvE19__PRETTY_FUNCTION___ZZN6Solver10simplifyDBEvE19__PRETTY_FUNCTION___ZZN4HeapI11VarOrder_ltE6inHeapEiE19__PRETTY_FUNCTION___ZZN4HeapI11VarOrder_ltE6insertEiE19__PRETTY_FUNCTION___ZZN3vecIiE6shrinkEiE19__PRETTY_FUNCTION___ZZ8xreallocIdEPT_S1_mE19__PRETTY_FUNCTION___ZZ8xreallocIcEPT_S1_mE19__PRETTY_FUNCTION___ZZN4HeapI11VarOrder_ltE9setBoundsEiE19__PRETTY_FUNCTION___ZZ8xreallocI3vecIP6ClauseEEPT_S5_mE19__PRETTY_FUNCTION___ZZN6Solver17analyze_removableE3LitjE19__PRETTY_FUNCTION___ZZN6Solver7analyzeEP6ClauseR3vecI3LitERiE19__PRETTY_FUNCTION___ZZN6Solver12analyzeFinalEP6ClausebE19__PRETTY_FUNCTION___ZZN6Solver6searchEiiRK12SearchParamsE19__PRETTY_FUNCTION___ZZ8xreallocI5lboolEPT_S2_mE19__PRETTY_FUNCTION___ZZN6Solver5solveERK3vecI3LitEE19__PRETTY_FUNCTION__DW.ref.__gxx_personality_v0DW.ref._ZTI13Exception_EOF_GLOBAL_OFFSET_TABLE___dso_handle__DTOR_END___DYNAMIC_ZN4File4openEi8FileModeb_ZTS13Exception_EOF_ZN9TempFilesD1EvJava_kodkod_engine_satlab_MiniSatProver_solve_ZN6Solver18claRescaleActivityEv_ZN3vecI3LitED1Ev_ZN5Proof7resolveEiiclose@@GLIBC_2.2.5__gmon_start___Jv_RegisterClasses_ZN4File4tellEv_ZdlPv@@GLIBCXX_3.4_ZN14TraceGeneratorD0Ev__assert_fail@@GLIBC_2.2.5_ZN6Solver9newClauseERK3vecI3LitEbi__printf_chk@@GLIBC_2.3.4_Z11removeWatchR3vecIP6ClauseES1__ZTV14TraceGenerator_fini_ZN14TraceGenerator4doneEv_ZN3vecIP6ClauseE4pushERKS1__ZN6Solver11cancelUntilEi_ZNSt8ios_base4InitC1Ev@@GLIBCXX_3.4_ZN6Solver7enqueueE3LitP6Clause_ZN4File4seekExi_ZN6Solver18varRescaleActivityEv_ZN6SolverD1Evread@@GLIBC_2.2.5malloc@@GLIBC_2.2.5_ZTS14TraceGenerator_ZN14TraceGeneratorD1Ev_ZTI13Exception_EOF_ZN14TraceGenerator5chainERK3vecIiES3__ZN5Proof7addRootER3vecI3LitE__cxa_atexit@@GLIBC_2.2.5_ZN5Proof8endChainEv_ZN5ProofC2ER14ProofTraverser_ZN6Solver8reduceDBEv_ZN3vecI3LitE4growEi_ZNSt8ios_base4InitD1Ev@@GLIBCXX_3.4_ZN4File7setModeE8FileMode_ZN6Solver6newVarEv_ZTI14ProofTraverser_ZN6Solver6assumeE3Lit_ZN14ProofTraverser7deletedEi_ZTV14ProofTraverserfree@@GLIBC_2.2.5_ZN14ProofTraverserD0EvJava_kodkod_engine_satlab_MiniSatProver_addClause_ZTS14ProofTraverserJava_kodkod_engine_satlab_MiniSatProver_addVariables_Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd__cxa_finalize@@GLIBC_2.2.5_ZTVN10__cxxabiv117__class_type_infoE@@CXXABI_1.3_ZN8VarOrderD1Ev_ZN14ProofTraverserD1Ev_Z4sortI3Lit14lastToFirst_ltEvPT_iT0_Rd_ZN5ProofC1Ev_ZN5Proof8traverseER14ProofTraverseri_ZN6Solver9propagateEvJava_kodkod_engine_satlab_MiniSatProver_make_ZN3vecIS_IP6ClauseEED1Evpow@@GLIBC_2.2.5_ZN5Proof8compressERS_iopen64@@GLIBC_2.2.5__cxa_call_unexpected@@CXXABI_1.3_ZN5Proof7deletedEi_ZTI14TraceGenerator_ZN6Solver6removeEP6Clauseb_ZN4File4openEPKcS1_strchr@@GLIBC_2.2.5_ZN14ProofTraverser4rootERK3vecI3LitEJava_kodkod_engine_satlab_MiniSatProver_traceJava_kodkod_engine_satlab_MiniSatProver_valueOf_ZN5Proof4saveEPKc_ZN6Solver10simplifyDBEv_ZN4File5closeEv_ZN5Proof10beginChainEi__bss_start_ZTVN10__cxxabiv120__si_class_type_infoE@@CXXABI_1.3_ZN5ProofC2Ev_ZN6Solver16progressEstimateEv__cxa_allocate_exception@@CXXABI_1.3_ZN6SolverC1Ev_ZN3vecIiE5clearEb_ZN5ProofC1ER14ProofTraverser_Z7putUIntR4Filey_ZNK6Solver8simplifyEP6Clause_ZN3vecIiED1Ev_ZN14ProofTraverser5chainERK3vecIiES3__ZN14TraceGenerator4rootERK3vecI3LitE_Z7getUIntR4File__cxa_throw@@CXXABI_1.3_end_ZN4File7getCharEvremove@@GLIBC_2.2.5lseek64@@GLIBC_2.2.5_ZN3vecIcED1Ev_ZN6Solver6searchEiiRK12SearchParams_Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd_ZN3vecIP6ClauseED1Evrealloc@@GLIBC_2.2.5_ZN3vecI3LitE5clearEb_edata_ZN6Solver5solveERK3vecI3LitE__gxx_personality_v0@@CXXABI_1.3write@@GLIBC_2.2.5_Znwm@@GLIBCXX_3.4_Unwind_Resume@@GCC_3.0_ZN6Solver7analyzeEP6ClauseR3vecI3LitERi_ZN6Solver17analyze_removableE3Litj_ZN14TraceGenerator7deletedEiJava_kodkod_engine_satlab_MiniSatProver_free_ZN6Solver12analyzeFinalEP6Clausebstdout@@GLIBC_2.2.5_initfflush@@GLIBC_2.2.5tempnam@@GLIBC_2.2.5_ZN14ProofTraverser4doneEv