• 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.

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

ELF



@!4`?4 (
r?r?
\?\?\??(????????


$$P?td8?8?8???Q?tdR?td\?\?\??
?

GNUm&?^w]u?d?H??=?C?vC!	?b? ?@? U?ey?Y 5??@%?PH?48?i???P?,???P!??F
1!#%()+,-./0146789;=?ABDGIJLMORTVWYZ\]_`beijklmopswxyz\???Ŗtѡ?9)??K?Ğ?&??????~z?H??????l??M{???x??t}???cg???X??@ *-:e??1T?c0?s?????}a?K?X(??q??????L]?~?H?l?,Ն???l?D?X?? N??{F/e:??\???7a??k
K]a?#??9?e???+o?	6T?ٻ?4???>??-?T!+h???61ÑUP??la?8?X?bet)??n??{?@????I??????8ށﱂF:T?o??WV>?Vb:?;???}?`???
t??CE???m?f9??%???!??|?7??fet??#$??????a.}?Ф?+?qv=?r?";?w?'?*?T???qXޑ???f:??>?
"
 + ?
?
	?1?	?
?
V??
??h{??
?
4?%)"?	?Y??? !M	 ??? ?Zuq???{??	??Q"
???"E?m^"?
p3"?5H"???$?	??"??`??
@'Z6	0???P5"?0-?d	??X?
?3+"?
p??
"?`<?I?,S?p[x}	 ????mQ"H?P
???"??m^"0=?]
?3"_5H"HpA???!??4H"???!?
?5?	{?/?
[???e`1"Bp^&
	4H"?P1"#?1"??1"-]d
?
?3+"??q?@d??0p?"??? !?-)7P@
?	??J`4H"?p?pP?4H"??~??Pn?
"+4H"??!
~Ps???1"
?2?"P?3"?iWp[x?p1"?"?!
W?_?G$

??XB?
?
??
;??!Z?

??'?k?
:`4H"??r??S?!
:
p?r
.?.?	??K
k0`h??1?"jMdq0.zlP5"N$

???[
??ix
?3"__gmon_start___init_fini__cxa_finalize_Jv_RegisterClasses_ZN14ProofTraverser4rootERK3vecI3LitE_ZN14ProofTraverser5chainERK3vecIiES3__ZN14ProofTraverser7deletedEi_ZN14ProofTraverser4doneEv_ZN14ProofTraverserD2Ev_ZTV14ProofTraverser_ZN14TraceGenerator4rootERK3vecI3LitE_ZN14TraceGenerator5chainERK3vecIiES3__ZN14TraceGenerator7deletedEi_ZN14TraceGenerator4doneEv_ZN14TraceGeneratorD2Ev_ZN14TraceGeneratorD0Ev_ZdlPv_ZN14ProofTraverserD0Ev__assert_failreallocJava_kodkod_engine_satlab_MiniSatProver_make_Znwjmalloc_ZN5ProofC1Ev_Unwind_Resume__gxx_personality_v0Java_kodkod_engine_satlab_MiniSatProver_addVariables_ZN6Solver6newVarEvJava_kodkod_engine_satlab_MiniSatProver_valueOfJava_kodkod_engine_satlab_MiniSatProver_trace_ZTV14TraceGenerator_ZN5Proof8traverseER14ProofTraverseri_ZN3vecIiED2Ev_ZN3vecIP6ClauseED2Ev_ZN3vecIcED2Ev_ZN3vecI3LitED2EvJava_kodkod_engine_satlab_MiniSatProver_solve_ZN6Solver5solveERK3vecI3LitE_ZN3vecI3LitED1Ev_ZN6SolverD2Ev_ZN6Solver6removeEP6Clauseb_ZN3vecIcED1Ev_ZN3vecIiED1Ev_ZN3vecIP6ClauseED1EvJava_kodkod_engine_satlab_MiniSatProver_free_ZN4File5closeEv_ZN6SolverD1EvJava_kodkod_engine_satlab_MiniSatProver_addClause_ZN6Solver9newClauseERK3vecI3LitEbi_ZNSt8ios_base4InitC1Ev_ZNSt8ios_base4InitD1Ev__cxa_atexit_ZTI14ProofTraverser_ZN14ProofTraverserD1Ev_ZTI14TraceGenerator_ZN14TraceGeneratorD1Ev_ZTVN10__cxxabiv120__si_class_type_infoE_ZTS14TraceGenerator_ZTVN10__cxxabiv117__class_type_infoE_ZTS14ProofTraverser_ZN4File4openEi8FileModebcloseread_ZN4File4openEPKcS1_strchropen64lseek64write_ZN4File4seekExi_ZN4File4tellEv_Z7putUIntR4Filey_Z7getUIntR4File__cxa_allocate_exception_ZTI13Exception_EOF__cxa_throw__cxa_call_unexpected_ZTS13Exception_EOF_ZN9TempFilesD2Evremove_ZN5ProofC2ER14ProofTraverser_ZN5Proof10beginChainEi_ZN5Proof7resolveEii_ZN5Proof8endChainEv_ZN5Proof7deletedEi_ZN5Proof8compressERS_i_ZN5Proof4saveEPKc_ZN3vecIiE5clearEb_ZN5ProofC2Evtempnam_Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd_Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvR3vecIT_ET0__ZN5Proof7addRootER3vecI3LitE_ZN9TempFilesD1Ev_ZN5ProofC1ER14ProofTraverser_Z11removeWatchR3vecIP6ClauseES1__ZNK6Solver8simplifyEP6Clause_ZN6Solver11cancelUntilEi_ZN6Solver17analyze_removableE3Litj_ZN6Solver12analyzeFinalEP6Clauseb_ZN6Solver7enqueueE3LitP6Clause_ZN6Solver6assumeE3Lit_ZN6Solver9propagateEv_ZN6Solver10simplifyDBEv_ZN6Solver16progressEstimateEvpow_ZN6Solver18varRescaleActivityEv_ZN6Solver18claRescaleActivityEv_ZN3vecI3LitE5clearEb_ZN3vecI5lboolE6growToEi_Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd_ZN6Solver8reduceDBEv_Z13selectionSortI3Lit14lastToFirst_ltEvPT_iT0__Z4sortI3Lit14lastToFirst_ltEvPT_iT0_Rd_ZN6Solver7analyzeEP6ClauseR3vecI3LitERi_ZN6Solver6searchEiiRK12SearchParamsputsstdoutfflush__printf_chklibstdc++.so.6libm.so.6libgcc_s.so.1libc.so.6_edata__bss_start_endGCC_3.0GLIBC_2.0CXXABI_1.3GLIBCXX_3.4GLIBC_2.3.4GLIBC_2.1GLIBC_2.1.3	





























































































/ P&y	_

% ii
g
0ӯkqt)?|
=ti	?ii
gii
?si	?\?`?d?h???

??
B??
B??
L??
I??
e??
N??
M??
4??
k??
u??
a??
*??
???
b??
P??
??
^??
??
??
f??
p??)??????"??D 


D??
??T???? 





!
+
O



 
,$
(
%,
0
&4
	8

<
s@
VD
WH
xL
P
mT
JX
\
q`
d
_h
0l
p
<t
x
(|
5?
c?
R?
#?
?
g?
Q?
?
>?
?
3?
?
H?
z?
?
9?
?
:?
-?
S?
i?
o?
K?
v?
?
?
C?
E?
\?
X?
'?
$?






j

 

[

YS???[??S?????????t?y?	?O???[???????h???????h???????h???????h??????h ?????? h(??????$h0??????(h8?p?????,h@?`?????0hH?P?????4hP?@?????8hX?0?????<h`? ?????@hh??????Dhp??????Hhx???????Lh????????Ph????????Th????????Xh???????\h???????`h???????dh???????hh??p?????lh??`?????ph??P?????th??@?????xh??0?????|h?? ??????h????????h????????h?????????h
????????h
????????h
????????h
???????h 
???????h(
???????h0
???????h8
?p??????h@
?`??????hH
?P??????hP
?@??????hX
?0??????h`
? ??????hh
???????hp
???????hx
????????h?
????????h?
????????h?
????????h?
???????h?
???????h?
???????h?
???????h?
?p??????h?
?`??????h?
?P??????h?
?@??????h?
?0??????h?
? ?????
h?
??????
h?
??????
h?
???????
h???????
h???????
h???????
h??????
h ?????? 
h(????S?a?î????D$I???????D$???????D$??????$??????S?'??t????D$v??L????D$??d????D$??s????$?????S????:????D$v???????D$??d????D$??s????$?S????S???????D$I??,????D$???????D$??????$?????S?y???????D$I???????D$???????D$??????$??????S???Ì????D$????????D$???????D$???????$?????S???R????D$???????D$???????D$???????$?k????S????????D$F???????D$???????D$???????$?1????S????????D$I??L????D$???????D$??????$??????S?W?ä????D$I??,????D$???????D$??????$?????S???j????D$I??l????D$???????D$??????$?????S????0????D$I???????D$???????D$??????$?I????S????????D$I??????D$???????D$??????$?????S?o?ü????D$K??L????D$???????D$???????$??????????VS?0??}?????@
?4$?"??????????t$?D$???????$?6???ǃ<

ǃD
????ǃH
ǃ8
????ǃL
??????[^Ð??????????????]????ǁP

ǁT
????ǁX
Ð?????S?
????????????ǃh

ǃl
????ǃp
?D$??\
?D$??????ǃt
????ǃx
????ǃ\
ǃ`
ǃd
?$???????[Ð??????????????ǁ|

ǁ?
????ǁ?
ǁ?
????ǁ?
????Ð?U??VS?????????0
u]????????t??$
?$???????4
????????????)?????
9?s ????
??4
?????????4
9?r?ƃ0

??[^]?U??S?.??{???????????t????????t???????$?Ѓ?[]Ë$Ð????U??WV??S???x???????1?9?~;??uf???M??x?
?|
??9???~???D$??$?>?????u1??V9?~????t???????
??9?u?n??[^_]Å?u?????WVS?_????ì????$?
?????????P(?
????P0?@?PD?@?XL?@?@?@?@?@8?@<?@@?@?@ ?@$?@8?VT?FX?F\?F`?Fd?Fl?Fp?Ft?Fh?D$?$?,??????@?Vd?F`????t	??????Vd݃D?????
?^x?Vddž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?dž?݃L???ݞx
݃T???ݞ?
݃\???dž
dž
dž
dž
dž
dž
dž 
dž$
dž(
dž,
dž0
dž4
dž8
dž<
dž@
džD
džH
džL
džP
džT
džX
dž\
dž`
džd
džh
džl
džp
džt
ݞ?
??ݞ?
Ɔ?

dž?
dž?
dž?
dž?
dž?
dž?
dž?
dž?
dž?
??D$?$?????????
??8
????t?G?$?Z??????(
?@???????P?W?P??
?$?(????????@??????
???ɉP?W?P??
~x??$

~W??0
~6??t?<$?????$H?^????lj$????????
?????[??^_Í?,
?????븍??? 
?????뗍???
?
?p????s????Ɖ<$?
????4$???????????L????D$?D$I???????D$??????$??????̿???D$?D$D?ԍ???,?|$$?|$@?\$???????@??l$(?l$8???t$ ~1??t&??
?,$????9?u?\$?t$ ?|$$?l$(??,Í???'S?D$?????????T$???
??<
9L??[??Í?&??L?T$X?t$@?D$P?|$D?L$`?\$?$???????&??????D$ ??????????$?z?????[Ð????S???????????D$ ??????????$?J?????[Ð???????t$?t$ ?\$???????????t?F?$?Q?????F?\$?t$??Ð??????????t$?t$ ?\$?3????À????t?F?$?
?????F?\$?t$??Ð??????????t$?t$ ?\$???????0????t?F?$??????F?\$?t$??Ð??????????t$?t$ ?\$???????????t?F?$?a?????F?\$?t$??Ð???????UWVS??,?t$@?G????Ô??~??~%1???D$
?F???4$?D$??????
9~ދV??~/1???t&?F????t?D$
?D$?4$?r????V??
9?|??D$
??
?4$?D$?N????D$
??
?4$?D$?4??????
??t&dž?
?$?x???dž?
dž?
???
??t&dž?
?$?H???dž?
dž?
??,
??t&dž0
?$????dž,
dž4
?? 
??t&dž$
?$?????dž 
dž(
??
??t&dž
?$????dž
dž
??
??t&dž
?$????dž
dž
?????t&dž??$?X???dž?dž??????t&dž??$?(???dž?dž??????t&dž??$?????dž?dž??????t&dž??$?????dž?dž??????t&dž??$????dž?dž??????t&dž??$?h???dž?dž??????t&dž??$?8???dž?dž??????t&dž??$????dž?dž??????????????D$?a
1???1?ƍt&?<1???t4?G?$?T$?????T$??G???????D$??
??9l$??ɉ?ǂ?t?$?g???dž?dž??Fl??t?Fp?$?=????Fl?Ft?F`??t?Fd?$?????F`?Fh?F8??t?F<?$??????F8?F@?F??t?F ?$??????F?F$?F??t?F?$?????F?F?F??t?F?$?????F?F??,[^_]?dž???????D$???
?$????????
??t&dž?
?$?6???dž?
dž?
??,
?$?????? 
?$?v?????
?$?h?????
?$?Z???????$?L???????$????????$?`???????$?R???????$????????$?6???????$?????????$?Z???????????????~e1?1?L$?<??ɉL$t4?G?$?T$?:??????????T$??G?L$??
??9l$???dž?u?dž??$?????dž?dž??Fl??t?Fp?$??????Fl?Ft?F`??t?Fd?$?????F`?Fh?F8??t?F<?$?y????F8?F@?F?$?????F???$?b????4$?Z????D$?$?????$Ð???????????????ߍt&?V?T$?V?$?T$?????F렐???&??????F???????
?V1?	??"????t&?F????????
??	??V1?	????????t&?N?,??
?V???????F???????
??V?T$??	???	?1?	??????t&?N???
?V?L$????f??N?,??
?V???????F???L$(?D$???
?V?T$,????	?	?	??L$?z????v?n?l??
?V???????t&?n?l??
?V?l$(?i?????n?l??
?V?l$,???????n?l??
?V?l$ ?y?????n?l??
?V?l$$?
?????~?<??
?V???????~?<??
?V?|$????f??T$?l$??$?&????F?D$?F?D$??$?????F1??F?F????????$
????????????D$?T$?$?R?????
?$?U???????T$?F?D$??$?????F?D$?F?D$??$?????F1??F?F?a????v?T$?F?D$??$?K????F?D$?F?D$??$??????F1??F?F?q????v?T$?l$??$??????F?D$?F?D$??$?~????F1??F?F???????T$?l$??$?????F?D$?F?D$??$?.????F1?1??F?F??????t&?T$?F?D$??$?[????F?D$?F?D$??$??????F1??F?F?Q????v?T$?F?D$??$?????F?D$?F?D$??$?????F1?1??F?F??????T$?F?D$??$?????F?D$?F?D$??$?;????F1?1??F?F?f?????T$?l$??$?n????F?D$?F?D$??$??????F1??F?F????????T$?F?D$??$?????F?D$?F?D$??$?????F1??F?F?????v?T$?F?D$??$??????F?D$?F?D$??$?K????F1?1??F?F?R?????T$?F?D$??$?{????F?D$?F?D$??$??????F1?1??F?F??????T$?F?D$??$?+????F?D$?F?D$??$?????F1?1??F?F???????T$?F?D$??$??????F?D$?F?D$??$?[????F1?1??F?F?B?????????1???????D$(????????????????????????q????D$,?????????D$ ?????Q?????????}????D$?????'????D$$??????????D$?????D$??????????*????D$?????g????N1??D$?????L????N1ҽ??????????N1??D$?????????N1??D$$?????\????N1ҽ??????????N1ҿ??????????N1??D$(?????L????N1ҽ?????????N1??D$ ?????k????N1??D$,?????????????????????????D$?T$??????@?@?@?????@?@
?@$?@(?@,?@0?@4?@8?@<?@@?@D?@?P Ð??&??,?l$(?l$4?\$????????t$ ?t$0????|$$???F0?????F41ҋN?????uX?F????V0?F+?4$
???
?????D$?T$?)????~@??~F1??F?t7?F?4$)?
???
?????D$?T$?????D$?D$?4$??????\$?t$?|$??Ð??&??'S???n????û??D$ ?8????????D$t&??o????D$???????D$??$?ν??????o????D$???????D$??$訽?????&UWVS???$聴??????????????t&븍?&??'UWVS込????????t$0??????F???????F?F?????F?F
?F$?F(?F,?F0?F4?F8?F<?F@?FD?
??t&?<$? ????D$?$?L??????????l$?D$?4$貴???>?tŋ?`
;?d
??\
t+????t?8??
?~?F?F ??`
??[^_]Å?E
u?f???M艫d
???D$??\
?$?.?????uN??\
??`
듍t&?lm
??9????d
뿍?,????D$??o????D$???????D$/?$?ܲ????u???L????D$???????D$??????D$I?$讲???ǍF?F????Fu!?>?\$,?n?|$4?n?t$0?l$8??<Ð?t&?D$݃D????D$?\$?D$?l$?<$?ݯ????
??
?
~5?t&9?~	??????
??
9?u??Յ?t??F?$蜭???v?????
?ߐ?????????????WVS???t$ 舵????Վ?|$$?N??tM?9:tN??~N1??f?9?tD??
9?$蓗?????????D$???????D$???????D$?
?$?i?????u??0?????,?t$ ?t$0?L$4?|$$?l$(?l$4??????\$蛟?????x
σ?
t7?????9??
t5???څ?E?9??
???\$?t$ ?|$$?l$(??,?f??9??
??u˃?
?D-??
??????????????????T$8??????;????t&???????t?T$4???
?
????r??????G
uAf???M???????D$????$?H?????u&??????랍??|
??9?????뽅?u???????t&??,?t$ ?t$0?|$$?\$?_????ìw???;???l$(???tJ???????t?(????D$4??
????4$?D$?D$?4????\$?t$ ?|$$?l$(??,Å??G
uAf???M???????D$????$?`?????u&???????w????v?|
??9?????뽅?u??????????UWVS?~??????v??\?|$p?D$D???;????
?P
???????????H

??L
???????????R??
ȋ?D$L?@?L$(?L$(??9L$(?L$<???l$(??
???T$$?L$H?u?T$$9V?I;V?w?V?T$??
?L$?T$8?'
???L$????T$??U?T$,??9?|
?%
??D$0????D$ ?1
???
??l$@?l$ ?|$4??????????9?u??
9????T???
u????9?t?T??L$$?|$4?V?L??F??
?,@????,??E;E???U?H
?T$????t?0?M?l$,;l$<??????L$L+l$(?A??9??f???Q????T$L)?B???;???H????D$D??\[^_]Ít&???L$????T$??U9?|
?T$,??????ՋT$(?2???T$(?
??t&?l$@?|$4??????????
?????D$0??
D$ ?D??$?D$?	????>vI?
?l$ ?????֐?t&?D???
???D$?U???D$???
?$?;??????9?|Ӊ???l$ ???
?$?=????L$?W???D$4?
=??D$0?T
?D$8???/
?T$???????ډT$@???
?T$ ?T$@9T$ ?;???ڃ|$8E?;D$ ??
?D$4?
?T$(?L$?2???T$?t$?L$?<$?G????????????u?????T$,9T$t???????4$??????t???<[^_]Ë??????T$9?t䃾??|	???w?9D$???l$???l$ ?v????T$ ?,????Tm????H?????;D?t2?D$?D$?4$?+????F??
????
???9?~ ?V???8w??L$????
?L$?Ґ?t&?|$;D$~~?D$???D$(?G??z?????;T?tH?D??D$ ????v:?D$?T$?4$譋???D$
?F?D$(;D$~*?D$(?N?
??????D$????
?D$?ʍ?&?T$+T$9???~)ЉF??L[^_]?躎????&??'UWVS??l??$?褒?????k???
???
??t)??$???$???у?
??
ʋT??$?T$?^?????$??z;z??	?????t???????$???
??$???$????z?
???????
?D$$?t$????$????????
?21?;??
??9ЋT$??????ы?????t$?֋,??
???L$????
р9t?t$?l$$
??????
??$??????
??t&??$???T$?ʃ?
??
ыT??$?T$趇????$??????????????D$???????D$??????D$
?$譈????t&??
?ՉD$ ?|$0?|$ ??$???8?
????????b
?EL??????????E8??ED?݃4???????????
????
;}p??
?El?????D$,ti?E\?D$?E`???1???T$4?t$Dt??$?f???M??z???D$??$?????uS??$????????|
??9????$??z???D$$
?D$ 
???????????腄????t&?̓????u?????v?E????ސ??&UWVS??l??$???????0a??$????D$4u??$??????$??}??
?|$4?D$L?D$P?D$T????????t
?o1??????D$P??????D$L?D$P?D$T???D$?r?L$??1??|$?t$L?L$P?L$T1ɉ|$0?f???
?<??????
9???9?|?D$0???D$????$?1???|
????|$?f??????9?????
9??m????
u?????ݐ?t&?G??????
????$??t???$???$???U?????D$??l$L??$??l$8??<$?D$?n}????u
???&?D$L??t?$?~????l[^_]Å?t?4$??}????l[^_]Ít&??$??E?Ív?T$41?
Ё?$???T$,???l???,$??~???T$,?????
??t\?O?F?????		Ѕɉ~?/1҉D$0?D??D???
9?u?D$0?|$4?1??$??t?ƒ?
??
Ћ?$??T??|$4?U?/??$??????E?|$0?
???|$0???~3?t$4??΍??L?????9?O?Oу?
;D$0u?t$4???D?F?E?D????$?????@?G(?\$f???M?o???D$??$??u??????
?W??J
??????&?lm
??9???o???J
??9?????$??E?????J
??9?f??V??????G
u6f???M??}???D$?E?$?cu?????S
?E?}??????|
??9???}?ȋD$L1??D$
?&?????u7f???M?o???D$??$?u???????W??J
?????lm
??9???o?Dž?uC??$?f???M??}???D$?E?$?t????u6??$??W?G?J
?????|
??9????$??}뻋D$1???????uƍ?,????D$?D$I???????D$??????$?Nu????????????????D$?D$D?̅??????밅????>???렅????
???됅?????????}?????????D$??W????D$??h????D$??$??t?????????F????|$8???D$
?<$?w???4$?@w????????D$???????D$???????D$G?$?vt???Ay???x??????UWVS??l??$??|????
V?>?T???9??????$????????
??8

??<
?7???^L?w?^0t
dž?
?D$@?t&??$??,$?t?????A
??P

?????T
?D$@
9???D$P?D$T?D$X?b??$??t$\?t$?t$P?t$?D$?<$?1v??????T$\?<$9?M‰D$?r?????
?????@=?????
??$??D$?D$
?t$?,$?8r???~
???$?tY?GL????????r?OD?_D??t&?؋?$????F(?N0?^(??????D$T?$?s???D$P?D$X????????$???????????닍t&??$?9|$@????$??????????$???x!??$??G+??9?$??<$?Nr????$???$??Fكt??????Ex?Ƀ?@

??D
??T?|$N݃|??????D$N??f?D$L?l$L?\$H?l$N?D$H?D$H?D$H???????Ux???????????$?Ud??
t^???ʋ}T?O?????l$L?\$H?l$N?D$H?D$H?D$H???????Ux??L$H??D$H???l$L?\$8?l$N?L$8?;??
u?^?????؋??
??
?D$D??
??t&?F?T???x?P?F?|$8?P?F??
?F???n??
??
?n?G
?~???G?D$<????$???????L$,?
?|$?R\?T$0?P
9?}?t&??????|$???D$(?T$?
?????l????D$???????D$???????D$??$?Mn????t&?D$(?
?D$(?i????D$?t$P?D$?,$?
q?????
??$??
?D$P??t?$?Kn????$???l[^_]????
??$???ޅ??R?????$??,$?Bo?????ݝ?
?D$?,$?
m?????
??$??랍?l????D$???????D$??m????D$??$?om????v????D$???????D$??-????D$>?$?Em?????D$
?4$?o???<$??o????v??'UWVS?~u?????N????$???$??4$?%n???>?l
??x
?N???
??$???|
?L$p?T$d??$????
??$????
??$????
??$????
??$??E????M???
?E?????9???L$X??l$\1????????4$?m???????T$\??
9z????,?????;???L$X???l$?4$?Kl????u?????L$X?T$X?l$`?????????D$
?D$?4$??n?????
;??
?????
????t	?T$`??
???
???
?4$?D$??j???Ĭ1?[^_]Ð?t&?Ĭ1?[^_]Ív???9???-???
??~l??T????$?fm??????????$?k?????????$?Hm????$?k?????????$?0m????$?vk????D????$?m????$?^k?????
?T$d;??
??
?D$p?VUUU????????D$p??)‰T$t?D$tك?????v???|$z?D$z?f?D$x?l$x?T$t?l$z?ɋ|$t?l$x?T$?l$z?|$?D$|??$??$?\$@?\$0?L$?t$?l?????D$|9??
?D$@?D$0????؋????ɋ??
܋
?D$?|$?T$`??
9|$d?T$$?|$ ???v?t$$???|$$?6???|$,???t$(?t$???t$??
???|$`;L$d?4??t$4tA?2?T$4????~֋l$?}???t?D??D???????v??L$????
;L$d?t$u??l$4?T$?t$(?D$$?|$,??u?l$ 9l$0?|$$~s???
9|$d?l$?|$ ?F????l$$?E?U?T$,?D$?‰ƉD$(벋t$l?|$ ?l$`?D$?t$?|$?,$??d???D$d?t$?D$)??D$?D$?$?d????L[^_]ËD$lكt????T$l?t$`??|$>?D$ ?????t$???D$>݃|???????f?D$?D$8?D$8?D$8??????????D$d???l$?D$8???8?D$0?D$d??|$,???|$4?bf??h??D$`??L$d?D$$?????T$???D$>?L$݃|???????f?D$?D$8?D$8?m?D$8?ɉl$,????????D$d???l$?D$8?????D??(?D$4???>?T$,?D$$
????9,??t$0?|$(Q?T$?L$`?l$ ??
????l$ ??
???|$,???1?T$?t$??9,?|?9T$$?t$}?T$?|$4?2?t$(?1?/?D$?t$눋l$l?D$h?T$$?L$`?l$?D$?T$?$?a???t$$)t$d?|$d~?|$?|$`?????D$`?D$0?t$0?T$h?L$d?4$?T$?L$?`????L[^_]Ð???U??VS?h?????A??x??????t??x?????&???Ћ???u?[^]?S???[?ãA?g????[?/home/aleks/work/projects/kodkod/lib/minisat-p_v1.14/core/Global.h/home/aleks/work/projects/kodkod/lib/minisat-p_v1.14/core/Proof.hsize == 0 || tmp != __nullid_counter != ClauseId_NULL[IT* xrealloc(T*, size_t) [with T = int, size_t = unsigned int]T* xrealloc(T*, size_t) [with T = Lit, size_t = unsigned int]T* xmalloc(size_t) [with T = char, size_t = unsigned int]ClauseId Proof::last()14TraceGenerator14ProofTraverser??ٕAffffff??+??????{?G?z??../core/File.hmode == WRITE../core/Global.h../core/File.C!(has_r && has_w)has_r || has_w || has_aT* xmalloc(size_t) [with T = unsigned char, size_t = unsigned int]void File::open(cchar*, cchar*)void File::flush()13Exception_EOF../core/Proof.Cstart != ClauseId_NULLnext != ClauseId_NULL!fp.null()falsewomode == READ../core/Proof.hname != __nullwx+chain_id.size() == chain_var.size() + 1char* TempFiles::open(File&)T* xrealloc(T*, size_t) [with T = const char*, size_t = unsigned int]T* xrealloc(T*, size_t) [with T = Lit, size_t = unsigned int]void Proof::beginChain(ClauseId)T* xrealloc(T*, size_t) [with T = int, size_t = unsigned int]void Proof::resolve(ClauseId, Var)ClauseId Proof::endChain()void Proof::compress(Proof&, ClauseId)bool Proof::save(cchar*)bool File::eof()void File::flush()void Proof::traverse(ProofTraverser&, ClauseId)ClauseId Proof::last() ??I?????Anelems <= sz../core/Heap.hok(n)../core/Solver.Cj < ws.size()decisionLevel() == 0size >= 0reason[var(p)] != __nulllevel[x] > 0c[1] == false_litconfl != __nulllevel[v] > 0learnt || id == ClauseId_NULL../core/Solver.hexprroot_level == decisionLevel()okvar(p) < nVars()conflict.size() > 0reason[var(analyze_stack.last())] != __nullunit_id[var(first)] == ClauseId_NULL || value(first) == l_Falseproof == __null || unit_id[var(p)] != ClauseId_NULL==================================[MINISAT]===================================| Conflicts |     ORIGINAL     |              LEARNT              | Progress ||           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |==============================================================================| %9d | %7d %8d | %7d %7d %8d %7.1f | %6.3f %% |
void removeWatch(vec&, Clause*)void Solver::newClause(const vec&, bool, ClauseId)T* xrealloc(T*, size_t) [with T = Lit, size_t = unsigned int]void vec::shrink(int) [with T = Lit]T* xmalloc(size_t) [with T = char, size_t = unsigned int]void check(bool)T* xrealloc(T*, size_t) [with T = Clause*, size_t = unsigned int]bool Solver::simplify(Clause*) constT* xrealloc(T*, size_t) [with T = double, size_t = unsigned int]void Heap::setBounds(int) [with C = VarOrder_lt]T* xrealloc(T*, size_t) [with T = vec, size_t = unsigned int]T* xrealloc(T*, size_t) [with T = char, size_t = unsigned int]T* xrealloc(T*, size_t) [with T = int, size_t = unsigned int]void Heap::insert(int) [with C = VarOrder_lt]void vec::shrink(int) [with T = int]bool Heap::inHeap(int) [with C = VarOrder_lt]void Solver::analyze(Clause*, vec&, int&)bool Solver::analyze_removable(Lit, uint)ClauseId Proof::last()void Solver::analyzeFinal(Clause*, bool)Clause* Solver::propagate()void vec::shrink(int) [with T = Clause*]void Solver::simplifyDB()lbool Solver::search(int, int, const SearchParams&)T* xrealloc(T*, size_t) [with T = lbool, size_t = unsigned int]bool Solver::solve(const vec&)???B??0??.?++#B????;@??x?D}Ô%?I?T????????
;?Z?N???S??tBS??0|S??H	?S??d	?S???	*T??HdT??d?T????T???U???LU????U????U??
?U??(
8V????V??	?V??$xW??XxX???Y???h^??,?^??T?^??p?_??x`???Ha???c??(c??,8c??@Hc??TXc??hxc??|xd???8e???He??Xe?? xe??4?e??T?e???(f???xf????f???g??Dn??(n??L?n??x?q???r???8s?? ?s??L?~???8????	?????	Ȏ???	8???
h???P
????t
h????
????
????4?????X???	???????x?????آ??D
????|
h????
???????@?????8????????0????\?????????????????@????p8???L????x???D??????????H?????????x???H????8????
zR
|
?
 ?K??pFJtx?;*2$"@?_??T?_??h?_??|?_????_??D??_???A?A?A?C0U
A?A?A?B?A?A?A?0??`???A?A?A?C ?A?A?A? 
8a??4
4a??H
0a??\
??
?	?	?
?
??
=bu??

5w?	?
??
/-?,????!
M??
????
?
??
B?
??
???J????
?
????
??
????
?
?
^??????
?
p$?$ %?%????????

%
/
=?
H?\????o8
?
???0h80
???ox???o???o~???o

????&6FVfv????????&6FVfv????????&6FVfv????????  & 6 F V f v ? ? ? ? ? ? ? ? !!&!6!

GCC: (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3.symtab.strtab.shstrtab.note.gnu.build-id.gnu.hash.dynsym.dynstr.gnu.version.gnu.version_r.rel.dyn.rel.plt.init.text.fini.rodata.eh_frame_hdr.eh_frame.gcc_except_table.init_array.ctors.dtors.jcr.data.rel.ro.dynamic.got.got.plt.data.bss.comment

$.???o8
8
?8?
@???
H???o~~?U???oxx?d	880
m	hh0
v
??.q
??p|
@!@!??
H?H??
????? ?
8?8???
????
??????\?\??
l?l??
t?t??
|?|??
????\ ???????
????(?
????$
?


?
$

$?`

0$?*

N?


8?`?	?
,


8
?~x8h?	?
@!H???
8????\?l?t?|?????????

$


??l?
t?
(|?
5?%K$



Z(


hp&
??tp?
???
?|?
??????@!9???>

-
?&?L
,


Z
@?>

?
??:

?
0


?
??

?
p$r4



(8


4<


@@


N??Uz!9m@?

???C

? ? 

??$*?
D


(H


4L


???!9m??

*?!9Z
 ?>

?("9???>

F??!

u`?#

???

???'

???

"??

L ?0

?
P?

?P


? ?

?@?F

? %??
\


(`


4d


L
h


@l


??b"9@??(

n?"9??,

??"9???1

,#9?@?>

QJ#9v ?B

??#9?`?G

	?#9%???

R?#9Z
?>

t2$9?@?1

???)

?
p


??%

4x


C??A

p ?4

???(

?@?*

?
j?

	??)

(t


K	??

y	,?

?	??@

L
|


?	?/


?8

?
??:

V
??

w
`?4

?
??$

?
?%>@?





 


7??
??M


Zx?
gR<~?&???
???`<??S?!
??m^"?0.z&?YG5H"Y]d
n? ? ?pA?????4H"?4H"??3+"
??$4
N
q?p
?? !?
?
H??
?3"?
?{??
?1"?
 ??K
@P@
Q??JrP5"???!
??3"???!??2?"??k?
p^&
+Dp[xbp?r
x??Ps????!?0????p1"?? !0?3+"H?/?
z"?!
??,S????"??m^"???"As?1"?p??
"??i?@d?? ???@'Z+0`hCe?_?y`4H"???!??q???0=??P5"?P1".0-?\-)??`????X??5H"??????[
$

??#X?if ?????mQ"?p[x???"?0p?"-B?
??r?]4H"l`1"??1?"?Md???

????	?4H"?5=Pn?
"l`4H"??3"???Q"?$

??? ?Z??	!4??
]"y?~??p3"??.??p?p?	?1"crtstuff.c__CTOR_LIST____DTOR_LIST____JCR_LIST____do_global_dtors_auxcompleted.6159dtor_idx.6161frame_dummy__CTOR_END____FRAME_END____JCR_END____do_global_ctors_auxkodkod_engine_satlab_MiniSatProver.cpp_ZN3vecI3LitE4growEi.isra.17.part.18_ZZ8xreallocI3LitEPT_S2_jE19__PRETTY_FUNCTION___ZN3vecI3LitE6growToEi.part.19_ZL9lit_Undef_ZZ8xreallocIiEPT_S1_jE19__PRETTY_FUNCTION___ZZ7xmallocIcEPT_jE19__PRETTY_FUNCTION___ZL6l_True_ZZN5Proof4lastEvE19__PRETTY_FUNCTION___GLOBAL__sub_I_kodkod_engine_satlab_MiniSatProver.cpp_ZStL8__ioinit_ZL7l_False_ZL7l_Undef_ZL9lit_ErrorFile.C_ZN4File5flushEv.part.1_ZZN4File5flushEvE19__PRETTY_FUNCTION___ZZ7xmallocIhEPT_jE19__PRETTY_FUNCTION___ZZN4File4openEPKcS1_E19__PRETTY_FUNCTION___GLOBAL__sub_I_File.CProof.C_ZN4File7setModeE8FileMode.part.3_ZN3vecIiE4pushERKi.part.16_ZZN5Proof10beginChainEiE19__PRETTY_FUNCTION___ZZN5Proof7resolveEiiE19__PRETTY_FUNCTION___ZZN5Proof8endChainEvE19__PRETTY_FUNCTION___ZZN5Proof8compressERS_iE19__PRETTY_FUNCTION___ZZN4File3eofEvE19__PRETTY_FUNCTION___ZZN5Proof4saveEPKcE19__PRETTY_FUNCTION___ZZN5Proof8traverseER14ProofTraverseriE19__PRETTY_FUNCTION___ZL10temp_files_ZZN9TempFiles4openER4FileE19__PRETTY_FUNCTION___ZZ8xreallocIPKcEPT_S3_jE19__PRETTY_FUNCTION___GLOBAL__sub_I_Proof.CSolver.C_ZN3vecI3LitE6shrinkEi.isra.23.part.24_ZZN3vecI3LitE6shrinkEiE19__PRETTY_FUNCTION___ZN3vecIP6ClauseE6shrinkEi.isra.33.part.34_ZZN3vecIP6ClauseE6shrinkEiE19__PRETTY_FUNCTION___ZN4HeapI11VarOrder_ltE6inHeapEi.part.38_ZZN4HeapI11VarOrder_ltE6inHeapEiE19__PRETTY_FUNCTION___ZN3vecI3LitE4growEi.isra.41.part.42_ZN3vecIP6ClauseE4pushERKS1_.part.46_ZZ8xreallocIP6ClauseEPT_S3_jE19__PRETTY_FUNCTION___ZN3vecIS_IP6ClauseEE4pushEv.part.49_ZZ8xreallocI3vecIP6ClauseEEPT_S5_jE19__PRETTY_FUNCTION___ZN3vecIcE4pushERKc.part.51_ZZ8xreallocIcEPT_S1_jE19__PRETTY_FUNCTION___ZN3vecIiE4growEi.isra.52.part.53_ZN4HeapI11VarOrder_ltE6insertEi.part.54_ZZN4HeapI11VarOrder_ltE6insertEiE19__PRETTY_FUNCTION___ZZ11removeWatchR3vecIP6ClauseES1_E19__PRETTY_FUNCTION___ZZNK6Solver8simplifyEP6ClauseE19__PRETTY_FUNCTION___ZZ8xreallocIdEPT_S1_jE19__PRETTY_FUNCTION___ZZN4HeapI11VarOrder_ltE9setBoundsEiE19__PRETTY_FUNCTION___ZZN3vecIiE6shrinkEiE19__PRETTY_FUNCTION___ZZN6Solver17analyze_removableE3LitjE19__PRETTY_FUNCTION___ZZN6Solver12analyzeFinalEP6ClausebE19__PRETTY_FUNCTION___ZZN6Solver9propagateEvE19__PRETTY_FUNCTION___ZZN6Solver10simplifyDBEvE19__PRETTY_FUNCTION___ZZ8xreallocI5lboolEPT_S2_jE19__PRETTY_FUNCTION___ZZN6Solver7analyzeEP6ClauseR3vecI3LitERiE19__PRETTY_FUNCTION___ZZN6Solver9newClauseERK3vecI3LitEbiE19__PRETTY_FUNCTION___ZZ5checkbE19__PRETTY_FUNCTION___ZZN6Solver6searchEiiRK12SearchParamsE19__PRETTY_FUNCTION___ZZN6Solver5solveERK3vecI3LitEE19__PRETTY_FUNCTION___GLOBAL__sub_I_Solver.CDW.ref.__gxx_personality_v0DW.ref._ZTI13Exception_EOF_GLOBAL_OFFSET_TABLE___dso_handle__DTOR_END____i686.get_pc_thunk.cx__i686.get_pc_thunk.bx_DYNAMIC_ZN4File4openEi8FileModeb_ZTS13Exception_EOF_ZN9TempFilesD1EvJava_kodkod_engine_satlab_MiniSatProver_solve__cxa_atexit@@GLIBC_2.1.3_ZN6Solver18claRescaleActivityEv_ZN3vecI3LitED1Ev_ZN5Proof7resolveEiiopen64@@GLIBC_2.1__gmon_start___Jv_RegisterClasses_ZN4File4tellEvrealloc@@GLIBC_2.0_ZdlPv@@GLIBCXX_3.4_ZN3vecIcED2Ev_ZN3vecIiED2Ev_ZN14TraceGeneratorD0Ev_ZN6Solver9newClauseERK3vecI3LitEbi__printf_chk@@GLIBC_2.3.4_Z11removeWatchR3vecIP6ClauseES1__ZTV14TraceGeneratorstrchr@@GLIBC_2.0_fini_ZN14TraceGenerator4doneEv_ZN6Solver11cancelUntilEi_ZN14ProofTraverserD2Ev_ZNSt8ios_base4InitC1Ev@@GLIBCXX_3.4write@@GLIBC_2.0_ZN6Solver7enqueueE3LitP6Clause_ZN4File4seekExi_ZN6Solver18varRescaleActivityEv_ZN6SolverD1Evpow@@GLIBC_2.0_ZTS14TraceGenerator_ZN14TraceGeneratorD1Ev_ZTI13Exception_EOF_ZN14TraceGenerator5chainERK3vecIiES3__ZN5Proof7addRootER3vecI3LitE_ZN5Proof8endChainEv__assert_fail@@GLIBC_2.0_ZN5ProofC2ER14ProofTraverser_ZN6Solver8reduceDBEv_ZNSt8ios_base4InitD1Ev@@GLIBCXX_3.4read@@GLIBC_2.0_ZN6Solver6newVarEv_ZTI14ProofTraverser_ZN6Solver6assumeE3Litfree@@GLIBC_2.0_ZN14ProofTraverser7deletedEi_ZTV14ProofTraverser_ZN14ProofTraverserD0EvJava_kodkod_engine_satlab_MiniSatProver_addClause_ZTS14ProofTraverserJava_kodkod_engine_satlab_MiniSatProver_addVariables_Z13selectionSortI3Lit14lastToFirst_ltEvPT_iT0_fflush@@GLIBC_2.0_ZN9TempFilesD2Ev_Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd_ZTVN10__cxxabiv117__class_type_infoE@@CXXABI_1.3_ZN14ProofTraverserD1Ev_Z4sortI3Lit14lastToFirst_ltEvPT_iT0_Rd_ZN5ProofC1Ev_ZN5Proof8traverseER14ProofTraverseri_ZN6Solver9propagateEvJava_kodkod_engine_satlab_MiniSatProver_make_ZN5Proof8compressERS_i__cxa_call_unexpected@@CXXABI_1.3_ZN5Proof7deletedEi_ZN3vecIP6ClauseED2Ev_ZTI14TraceGenerator_ZN6Solver6removeEP6Clauseb_Znwj@@GLIBCXX_3.4_ZN4File4openEPKcS1__ZN6SolverD2Ev_ZN14ProofTraverser4rootERK3vecI3LitEclose@@GLIBC_2.0Java_kodkod_engine_satlab_MiniSatProver_traceJava_kodkod_engine_satlab_MiniSatProver_valueOf_ZN5Proof4saveEPKc_ZN6Solver10simplifyDBEvremove@@GLIBC_2.0_ZN3vecI3LitED2Ev_ZN4File5closeEv_ZN5Proof10beginChainEi__bss_startmalloc@@GLIBC_2.0_ZTVN10__cxxabiv120__si_class_type_infoE@@CXXABI_1.3_ZN5ProofC2Ev_ZN6Solver16progressEstimateEv__cxa_allocate_exception@@CXXABI_1.3_ZN3vecIiE5clearEb_ZN5ProofC1ER14ProofTraverser_ZN3vecI5lboolE6growToEi_Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvR3vecIT_ET0__Z7putUIntR4Filey_ZNK6Solver8simplifyEP6Clause_ZN3vecIiED1Ev_ZN14ProofTraverser5chainERK3vecIiES3__ZN14TraceGenerator4rootERK3vecI3LitE_Z7getUIntR4File__cxa_throw@@CXXABI_1.3_endstdout@@GLIBC_2.0puts@@GLIBC_2.0_ZN3vecIcED1Ev_ZN6Solver6searchEiiRK12SearchParams_Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd_ZN3vecIP6ClauseED1Ev_ZN14TraceGeneratorD2Ev_ZN3vecI3LitE5clearEb_edata_ZN6Solver5solveERK3vecI3LitE__gxx_personality_v0@@CXXABI_1.3tempnam@@GLIBC_2.0_Unwind_Resume@@GCC_3.0lseek64@@GLIBC_2.1_ZN6Solver7analyzeEP6ClauseR3vecI3LitERi__cxa_finalize@@GLIBC_2.1.3_ZN6Solver17analyze_removableE3Litj_ZN14TraceGenerator7deletedEiJava_kodkod_engine_satlab_MiniSatProver_free_ZN6Solver12analyzeFinalEP6Clauseb_init_ZN14ProofTraverser4doneEv