• Home
• de.hhu.stups
• alloy2b
• 1.03-BETA
• source code
• libminisat.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.libminisat.so Maven / Gradle / Ivy

ELF



P+4??4 (
8?8?
??????d?????????


$$P?tdH?H?H???Q?tdR?td??????
GNU?í??^??%T???*?E??ea+ 

 H@
 ?fC*?D@?H????A? @?@
??@
$? @B??XA
u? ?G$JC0?L,	C?i??@?a?	
+./012345789<>@BEFHIJKLMOQRSUVWY\^_bdghjklmnpqrstvy{|}~?????????????????hA8??J?E??oSY??Sq^,Tu?5??ѭ??uq}_j?f??????9?K
?BZ?z?+?i???????*&?m?z??????ˣ",??Z?B-`??E?+???1w?WY?h???\r3?CE??`xN????|QO"???k? 6y4?ic@??[?9?g??a#?Ա?R??~??uM[????q)???????V3?
3??&????T|???~?\??O??qX?????G9?UAj8?q=?I7??|??(?t	C;??P?B-?F?g???I@?i?????4	F??KzZ?%Q#?????k?.??\?㼹̻h?]H?+???MO?Sz#8:?-OY?????Dۏ?~??B-
[?RA#?q?8LH?Z?;????K?=ʬ?.??˚G???\?h8>Y??5*?~?*hr???K??&?C???>
 + ???pQ??i03
6	??7?0	'g???
???}
 
??	"?`?
"?@?!?	`?H"
P?"'?7X?!?P?"??^,?
`5
??
???H+Jp?K
"?0?"=	pcs?
?3??!
L`?`
"?
@n?
???H"??C
??g?F
???"?
p??6??Q"?P??"???
"o`?H"-
??!
P?"???n
??L?QP?T
"?H

?????G@{
??4W8
5G? Ee????
"i?Z??
p7o?p???
0?
"I ?q
"?	?g??on?????"&	#@@6?
I?!
?X?!d
p??"d	?Q"x??+"Z??+"?	`??"?H

??(
??"
D

?
?!zP?T
"??]
??
??v
??!?(?!????	?H"??\?Op?N??[????:?;y`?!
?@?+"?@?!!
g
Џ?Ќ??p?"?p?H"???"b?Da??
?
|?!
?4w???"?????+"??
?lP|9?	0??"X?H"r?!
?
p?!Y
??!1?X3??;yP0?"- ?F?p?H"?@	"p?"<??"`??"C
?!???H"?POW	???!??b?__gmon_start___init_fini__cxa_finalize_Jv_RegisterClasses__cxa_allocate_exception_ZTIN7Minisat20OutOfMemoryExceptionE__cxa_throwrealloc__errno_locationJava_kodkod_engine_satlab_MiniSat_make_Znwj_ZN7Minisat6SolverC1Ev_ZdlPv_Unwind_Resume__gxx_personality_v0Java_kodkod_engine_satlab_MiniSat_freeJava_kodkod_engine_satlab_MiniSat_addVariables_ZN7Minisat6Solver6newVarEbbJava_kodkod_engine_satlab_MiniSat_addClause_ZN7Minisat6Solver10addClause_ERNS_3vecINS_3LitEEEJava_kodkod_engine_satlab_MiniSat_solve_ZN7Minisat6Solver6solve_EvJava_kodkod_engine_satlab_MiniSat_valueOf_ZNSt8ios_base4InitC1Ev_ZNSt8ios_base4InitD1Ev__cxa_atexit_ZTVN10__cxxabiv117__class_type_infoE_ZTSN7Minisat20OutOfMemoryExceptionE_ZN7Minisat6OptionD2Ev_ZTVN7Minisat6OptionE_ZN7Minisat10BoolOptionD2Ev_ZN7Minisat9IntOptionD2Ev_ZN7Minisat12DoubleOptionD2Ev_ZN7Minisat12DoubleOptionD0Ev_ZN7Minisat9IntOptionD0Ev_ZN7Minisat10BoolOptionD0Ev_ZN7Minisat6OptionD0Ev_ZN7Minisat3vecIPNS_6OptionEED2Ev_ZN7Minisat10BoolOption5parseEPKcstrcmp_ZN7Minisat9IntOption5parseEPKcstrtolstderr__fprintf_chk_ZN7Minisat12DoubleOption5parseEPKcstrtod_ZN7Minisat12DoubleOption4helpEbfputc_ZN7Minisat9IntOption4helpEbfwrite_ZN7Minisat10BoolOption4helpEbstrlen__assert_fail_ZN7Minisat6SolverD2Ev_ZTVN7Minisat6SolverE_ZN7Minisat6SolverD0Ev_ZN7Minisat6SolverD1Ev_ZN7Minisat6OptionC2EPKcS2_S2_S2__ZGVZN7Minisat6Option13getOptionListEvE7options_ZZN7Minisat6Option13getOptionListEvE7options__cxa_guard_acquire__cxa_guard_release_ZN7Minisat3vecIPNS_6OptionEED1Ev_ZN7Minisat6Solver12detachClauseEjb_ZN7Minisat6Solver12removeClauseEj_ZNK7Minisat6Solver9satisfiedERKNS_6ClauseE_ZN7Minisat6Solver11cancelUntilEi_ZN7Minisat6Solver13pickBranchLitEv_ZN7Minisat6Solver12litRedundantENS_3LitEj_ZN7Minisat6Solver7analyzeEjRNS_3vecINS_3LitEEERi_ZN7Minisat6Solver12analyzeFinalENS_3LitERNS_3vecIS1_EE_ZN7Minisat6Solver16uncheckedEnqueueENS_3LitEj_ZN7Minisat6Solver15removeSatisfiedERNS_3vecIjEE_ZNK7Minisat6Solver16progressEstimateEvpow_ZN7Minisat6Solver8toDimacsEP8_IO_FILERNS_6ClauseERNS_3vecIiEERi_ZN7Minisat3vecINS_3LitEE5clearEb_ZN7Minisat3vecIjED2Ev_ZN7Minisat3vecIcED2Ev_ZN7Minisat3vecIiED2Ev_ZN7Minisat6Solver8toDimacsEP8_IO_FILERKNS_3vecINS_3LitEEE__printf_chk_ZN7Minisat3vecIiED1Ev_ZN7Minisat6Solver8toDimacsEPKcRKNS_3vecINS_3LitEEEfopenfclose_ZN7Minisat6Solver16rebuildOrderHeapEv_ZN7Minisat3vecINS_5lboolEE5clearEb_ZN7Minisat15RegionAllocatorIjE8capacityEj_ZN7Minisat6SolverC2Ev_ZN7Minisat3vecIcED1Ev_ZN7Minisat3vecIjED1Ev_ZN7Minisat3vecINS_6Solver7VarDataEE8capacityEi_ZN7Minisat3vecIdE8capacityEi_ZN7Minisat3vecIjE8capacityEi_ZN7Minisat3vecINS_6Solver7WatcherEE8capacityEi_ZN7Minisat6Solver12attachClauseEj_ZN7Minisat8OccListsINS_3LitENS_3vecINS_6Solver7WatcherEEENS3_14WatcherDeletedEE5cleanERKS1__ZN7Minisat6Solver8relocAllERNS_15ClauseAllocatorE_ZN7Minisat6Solver14garbageCollectEv_ZN7Minisat6Solver9propagateEv_ZN7Minisat6Solver8simplifyEv_ZN7Minisat4sortIj11reduceDB_ltEEvPT_iT0__ZN7Minisat6Solver8reduceDBEv_ZN7Minisat6Solver6searchEiputs_ZN7Minisat3vecINS0_INS_6Solver7WatcherEEEE8capacityEi_ZN7Minisat4sortINS_3LitENS_16LessThan_defaultIS1_EEEEvPT_iT0__ZTVN7Minisat12DoubleOptionE_ZN7Minisat12DoubleOptionD1Ev_ZTVN7Minisat9IntOptionE_ZN7Minisat9IntOptionD1Ev_ZTVN7Minisat10BoolOptionE_ZN7Minisat10BoolOptionD1Ev_ZTSN7Minisat6SolverE_ZTIN7Minisat6SolverE_ZTIN7Minisat12DoubleOptionE_ZTIN7Minisat9IntOptionE_ZTIN7Minisat10BoolOptionE_ZTVN10__cxxabiv120__si_class_type_infoE_ZTSN7Minisat10BoolOptionE_ZTIN7Minisat6OptionE_ZTSN7Minisat6OptionE_ZTSN7Minisat9IntOptionE_ZTSN7Minisat12DoubleOptionE_ZN7Minisat6OptionD1Ev__cxa_pure_virtual_ZN7Minisat6OptionC1EPKcS2_S2_S2__ZN7Minisat12setUsageHelpEPKc_ZZN7Minisat6Option14getUsageStringEvE9usage_str_ZN7Minisat16setHelpPrefixStrEPKc_ZZN7Minisat6Option19getHelpPrefixStringEvE15help_prefix_str_ZN7Minisat13selectionSortIPNS_6OptionENS1_8OptionLtEEEvPT_iT0__ZN7Minisat4sortIPNS_6OptionENS1_8OptionLtEEEvPT_iT0__ZN7Minisat17printUsageAndExitEiPPcb_ZN7Minisat12parseOptionsERiPPcbgetpid__sprintf_chkfeoffscanffgetc_ZN7Minisat7memUsedEvgetpagesize_ZN7Minisat11memUsedPeakEvlibstdc++.so.6libm.so.6libgcc_s.so.1libc.so.6__stack_chk_fail_edata__bss_start_endGCC_3.0GLIBC_2.0GLIBCXX_3.4CXXABI_1.3GLIBC_2.4GLIBC_2.1GLIBC_2.3.4GLIBC_2.1.3	















































































































? P&y
?

y ii
?
j0t)??ӯk?
?ii
	?ii
?ti	
si	
ii
???????<

D

?
?
|?
?
v?
F?
??
s?
\ ?
M,?
?0?
{??{4?
b8?
;?
??
?
?
8?
?
?
?
B?
?
??
??
e?
?
 ?
!?
-?
m?
6?
U?
"?
q?
#

P

i

}

$

%

V

I

s 

o$

?(

',

(0

)4

*8

DS???[????????????t???X
裗??[???????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(??????$
h0??????(
h8?p?????,
h@?`?????0
hH?P?????4
hP?@?????8
hX?0?????<
h`? ?????@
hh??????D
hp????S?q?Þ????D$????????D$??\????D$??ؾ???$?w????S?7??d????D$???l????D$??\????D$??ؾ???$?=????S????*????D$???,????D$???????D$??????$?????S?????????D$C???????D$???????D$??????$??????S??ö????D$@??,????D$???????D$???????$?????S?O??|????D$@???????D$???????D$???????$?U????S???B????D$@??L????D$???????D$???????$?????S????????$
????????????D$?T$?$?????S????????D$f???????D$??$????D$??????$???????????????VS?`?Í?????t
?4$?2??????????t$?D$???????$?&?????[^?UWVS???K???|??????D$????????????	????D$???
?T$`?T$?|$?$?D$\??????????????????D$\ƃ?
?j?????????
??ݓ?
?t$??ݓ?
?$݃???ݛ?
???\$ ?\$0ƃ?
?D$?m????T$`??(????D$??!????D$???
?|$?T$?$?D$\?[??????????D$\???
?t$?$ƃ?
?D$ ݛ?
ƃ?
?D$0ݛ?
?D$݃???ݛ?
??????T$`??L????D$??+????D$???|$?T$?$?D$\????????????D$\???t$?$ƃ0
?D$ ݓ ƃ1
?D$0ݛ(?D$ݛ4?s????T$`???????D$??4????D$??L?T$?|$?$?D$\?a??????????D$\??L?t$?$ƃp?D$ ݛ`ƃqك????ݓh?D$݃???ݛt?\$@???????=??????????T$d?T$????D$??E????|$?D$?$?T$\??????T$\???????t$ǃ??T$?????????D$h????$ǃ?ǃ??j????T$d??????D$??P????D$????|$?T$?$?D$\?X????T$h?D$\?t$ǃ??????????ǃ?ǃ??D$?$???????H?????]???????D$??d????L$?L$X?|$?D$?$?T$\??????T$\???????t$ƃ?T$?????????D$l????$?????L$X??m????D$???????D$??|?|$?L$?$?D$\?x????T$l?D$\?t$ƃ?
??|???????D$?$?-????T$d???????D$???????D$??L?|$?T$?$?D$\?????T$h?D$\?t$ǃ`
??L??????ǃd???ǃhd?D$?$?????T$`??h????D$???????D$??l?|$?T$?$?D$\???????????D$\??l?t$?$ƃ??D$0ݛ?ƃ??D$@ݛ??D$ك????ݛ??9????T$`???????|$???D$???????T$?D$?<$?+????????????t$?|$ƃ0ƃ1?D$ ݛ ?$?D$@ݛ(݃$???ݛ4???????|[^_]Ð????????U??VS?????????l
u]????????t??H
?$???????p
??????????)?????
9?s ????
??p
????????p
9?r?ƃl

??[^]?U??S?.??[??????????t????????t??????$?Ѓ?[]Ë$Ð???????|$?x?t$?Ɖ\$??????????)?????
??????????)???!???!?????
?)?9?~-?$
???????????D$?T$?$???????&?
??N???L$?$????????t?\$?t$?|$??Ít&??????8u?뗍?????,?\$$?+?????X??t$(?$0?????Ɖ$?????????\$$???t$(??,ÉD$?4$?u????D$?$????????'???D$(??t??$?R??É???'UWVS???|$@?????????l$8??~!1???
?D$
?D$
?,$?U???9?u??[^_]É???'UWVS???n|?l$(?|$,?T$?D$$?L$ ?P?A?L$P??
??
?@??
ȋP?D$$????????1?;9u???t&;?n?|$?l$(?D$$?x?|$ ???????t&?P
??(
???????,
????????P
??(
??????,
?o??????????D$??????D$??$????D$??$?|????;????????L?t$@?t$P?|$D?|$T?\$??t
?Ћ??
?
????D$ t|???
9D$ ?D$(s}?D$ ??9?u?
?????????
???
?L$(?M?????
?M;|$(sA?D$?\$?D$>݃????????f?D$?D$8?D$8?D$8???????W8?????G0?????????
?D$,?????????????؍?&?|$,?????8
?T$,?tu??P
?<ti?L??ك?????O8?L$,݃?????????l$?D$8?D$81??D$8???????W8??ك???????????t$`?H???L??[^_]?????
???????
???
?T???????
?L$,????
?????
?????????
???a?H???
???
???????
???
?|$$?E?l$?͉T$(?
?D$4???D$ 1??x
??9??|?v?|$???l$(?L$??T$8?T$8?D$8???????W8??D$8?D$8???l$?T$89??????
???D$,??8
?T$,???????P
?<?
??????
????????????D
?T$,?<???????G????D$`???????L[^_]????????D$???????D$??S????D$L?$?o?????l????D$??$????D$???????D$Q?$?E?????t&UWVS??????
?|$0~??D$@?
?l$????D$0??t?$??????L[^_]ËD$d?D$?D$
?D$???????$??????L[^_]?1??D$(??????8?????????D$??????D$???????D$]?$?J????ƋD$ ?$?????4$?4????t&???\$?????????t$?t$$?|$?4$???????D$? ???????t0?D$(?|$?D$?D$ ?$?B????<$?????\$?t$?|$??Í??????D$???????t$?D$
??$?????$
????????&UWVS??l??$??D?????q??D$T?D$X??x
?D$\??~h1??#??D$T??$??4???
?T$X??x
??
9?}A??$???P
?<0t拇8
?0tڋT$X;T$\u??l$T??
??l$$?????T$X띋?$???$????
?Ɯ
??~(1????v???
??????k???,?t$@?F?????????݃?
?^ ݃?
???????^(݃4?^0݃t?F@????^8݃4?F?F?FD????F?F?F?FH???F?FL?FM?^P??h݃??^\݃?????^d݃?????^lك?????^x?FX???
???Ftddž?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ž
dž
dž
dž
dž
dž 
dž$
dž(
dž,
dž0
??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žx
dž|
dž?
dž?
????dž?
dž?
dž?
dž?
dž?
???
dž?
dž?
dž?
dž?
dž?
dž?
Ɔ?

dž?
dž?
dž?
dž?
?D$?$?9???Ɔ?
dž?
dž?
dž?
dž?
dž?
dž?
dž?
dž?
dž?
dž?
dždždž????dž ????dž$????dž(????Ɔ,??,[^_]ÉD$???
?$?!??????
?$???????
?$?D$
???????t
??t&džx
?$?????džt
dž|
??h
?$迻????\
?$?D$
虼????P
?$??????D
?$???????8
?$?D$
?g?????
?D$??(
?$?D$
?G?????
?$蹼????
ts1?1?T$;j}:?T$?:
Nj??t$?G?D$?$?????D$??G??
??뽋?
dž
?$?????dž
dž
?????t&dž
?$葺??dž?dž
????$迸??????$豸???F???$?D$
?[????D$
?4$?K????D$?$?ϼ?????&??'??L?|$D?|$P?D$T?\$??
?V??
?F?T$$??
?R?,??L$ ?M;M?D$(?D$,???D$T????
U??D$(?B?T$,?M?L$ ??
?R?,??M;Mte?D$T????
U??D$$?B?M??u)??????
?????\$?F??D$`?D$ 
?T$ 9????
????ƍ|????
?;??
?J?4???u??T$d?????
B?ЈD$(????l
?T$d??B?$?L$?D$??????D$d?T$d?L$?@
?9?D$$?j????T$$????tv??,??L$(?????
	???	ʃ?????????	ʉ?????t 1ҍv????
?l?l???9?|????t???L????D??l$$?/??n???????|$d??;G??8??????	Ȩ??????????:1?????t1????L??
??
????	?9??t??f??????1?T$,?L$,1҅??`?t$?t$,?|$?F??D$`?D$ 
?T$ 9????
????ƍ|????
?;??
???4???u??T$d?????
B?ЈD$(????l
?T$d??B?$?L$?D$訯???D$d?T$d?L$?@
?9?D$$?j??????T$$????tu??,??L$(?????
	???	ʃ?????????	ʉ?????t1?f?????
?l?l???9?|????t????????D??l$$?/??n???????|$d??;G???
??????	Ȩ?u6???????:1?????t1?f??L??
??
????	?9??t??o??????
?
?????
????D??D??G?????L[^_]Ël$,????????(1????l$(?L$(1???]
?t$,?L??
??
????	?9T$(?t$,?T$(?l??????(1????l$(?L$(1???
?t$,?L??
??
????	?;T$(|?t$,?T$(?l??{??????*
?????
????L??L???`
?|$tË
??L$ ???
?l$ ;??
???;??
?????
?t&????????
9?򉾰
9|$,?|$,}z???
??
????xt?H????t&?8?W??????
????D????t&??
??;?
?B?????
?D$????$?\$ 苖????
?D$ ?????t&???
??
????
????
;??
u??
???
?Y??????
???
?D$,?????
??
???
?8?????:?|$@???h???????UWVS??e???D$ ??????????$?z?????[Ð????S??????e???D$ ??????????$?J?????[Ð????S豘?????d???D$ ??????????$??????[Ð????S聘???îd???D$ ??????????$??????[Ð???????t$?t$ ?\$?C?????pd???t?F?$???????F?\$?t$??Ð?????????,1ҋL$4?\$?t$ ?t$0?|$$?l$(??????d?9-u21??
?y
n?i
tA?v?F?,$?D$?
???1҅?u
???
?F?Ћ\$?t$ ?|$$?l$(??,Ív8T

u??
??m?????u?
?1?뭐?t&?
롐??L?L$T?\$??[^_]?血???8u??$
????????????D$?T$?$?6????F?Ս?????D$???????D$??ο???D$h?$?ׁ????????????t$?t$ ?|$?|$$?\$?{????èY?F9?}s??)?????
??????????)???!???!Ѻ???
?)?9?}+?$
????????????D$?T$?$腃????t&
??N???L$??$?j??????t?\$?t$?|$??Ít&????8u?뙐??????t$?t$ ?|$?|$$?\$軌?????X?F9?}s??)?????
??????????)???!???!Ѻ???
?)?9?}+?$
???????????D$?T$?$?ł????t&
??N???L$??$??????t?\$?t$?|$??Ít&??~???8u?뙐??????t$?t$ ?|$?|$$?\$???????(X?F9?}s??)?????
??????????)???!???!Ѻ???
?)?9?}+?$
迁?????????D$?T$?$??????t&
??N???L$??$??~?????t?\$?t$?|$??Ít&?~???8u?뙐??????t$?t$ ?|$?|$$?\$?;?????hW?F9?}s??)?????
??????????)???!???!Ѻ???
?)?9?}+?$
????????????D$?T$?$?E?????t&
??N???L$??$?*~?????t?\$?t$?|$??Ít&?K}???8u?뙐???UWVS??,?T$D?L$@胊???ðV??	?@??
ȉD$?@???D$???T$?
?T$@?9?B$?0?@9ljD$????1?1??L$??v?L$?,??};|$sp?= 0 && r < sznelems <= sz!inHeap(n)../core/Solver.ccc.size() > 1j < ts.size()index < heap.size()sz > 0confl != CRef_Undeflevel(x) > 0sz < cap%s%d p cnf 1 2
1 0
-1 0
p cnf %d %d
%s%d 0
wrcould not open file %s
cap > 0c[1] == false_litdecisionLevel() == 0oksize > 0COREvar-decaycla-decayrnd-freqrnd-seedccmin-modephase-savingrnd-initUse the Luby restart sequencelubyThe base restart intervalrfirstrincgc-fracERROR! value <%s> is too large for option "%s".
ERROR! value <%s> is too small for option "%s".
  -%-12s = %-8s %c%4.2g .. %4.2g%c (default: %g)
/home/aleks/work/projects/kodkod/lib/minisat-2.2.0/core/SolverTypes.h/home/aleks/work/projects/kodkod/lib/minisat-2.2.0/mtl/Alloc.h/home/aleks/work/projects/kodkod/lib/minisat-2.2.0/mtl/Vec.h/home/aleks/work/projects/kodkod/lib/minisat-2.2.0/mtl/Heap.h/home/aleks/work/projects/kodkod/lib/minisat-2.2.0/mtl/Alg.hreason(var(analyze_stack.last())) != CRef_Undefvalue(p) == (lbool((uint8_t)2))value(assumptions[i]) != (lbool((uint8_t)1))Wrote %d clauses with %d variables.
|  Garbage collection:   %12d bytes => %12d bytes             |
| %9d | %7d %8d %8d | %8d %8d %6.0f | %6.3f %% |
============================[ Search Statistics ]==============================| Conflicts |          ORIGINAL         |          LEARNT          | Progress ||           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |===============================================================================The variable activity decay factorThe clause activity decay factorThe frequency with which the decision heuristic tries to choose a random variableUsed by the random variable selectionControls conflict clause minimization (0=none, 1=basic, 2=deep)Controls the level of phase saving (0=none, 1=limited, 2=full)Randomize the initial activityRestart interval increase factorThe fraction of wasted memory allowed before a garbage collection is triggeredN7Minisat6SolverEvoid Minisat::RegionAllocator::capacity(uint32_t) [with T = unsigned int, uint32_t = unsigned int]void Minisat::Heap::insert(int) [with Comp = Minisat::Solver::VarOrderLt]bool Minisat::Solver::addClause_(Minisat::vec&)void Minisat::vec::shrink(int) [with T = Minisat::Lit]Minisat::RegionAllocator::Ref Minisat::RegionAllocator::alloc(int) [with T = unsigned int, Minisat::RegionAllocator::Ref = unsigned int]T* Minisat::RegionAllocator::lea(Minisat::RegionAllocator::Ref) [with T = unsigned int, Minisat::RegionAllocator::Ref = unsigned int]void Minisat::Clause::calcAbstraction()void Minisat::Solver::attachClause(Minisat::CRef)T& Minisat::RegionAllocator::operator[](Minisat::RegionAllocator::Ref) [with T = unsigned int, Minisat::RegionAllocator::Ref = unsigned int]void Minisat::Solver::detachClause(Minisat::CRef, bool)void Minisat::remove(V&, const T&) [with V = Minisat::vec, T = Minisat::Solver::Watcher]const T* Minisat::RegionAllocator::lea(Minisat::RegionAllocator::Ref) const [with T = unsigned int, Minisat::RegionAllocator::Ref = unsigned int]void Minisat::vec::shrink(int) [with T = int]int Minisat::Heap::operator[](int) const [with Comp = Minisat::Solver::VarOrderLt]void Minisat::vec::pop() [with T = int]void Minisat::Solver::analyze(Minisat::CRef, Minisat::vec&, int&)float& Minisat::Clause::activity()bool Minisat::Solver::litRedundant(Minisat::Lit, uint32_t)void Minisat::Solver::analyzeFinal(Minisat::Lit, Minisat::vec&)void Minisat::Solver::uncheckedEnqueue(Minisat::Lit, Minisat::CRef)void Minisat::vec::push_(const T&) [with T = Minisat::Lit]Minisat::CRef Minisat::Solver::propagate()const T& Minisat::RegionAllocator::operator[](Minisat::RegionAllocator::Ref) const [with T = unsigned int, Minisat::RegionAllocator::Ref = unsigned int]void Minisat::vec::shrink(int) [with T = Minisat::Solver::Watcher]void Minisat::vec::shrink(int) [with T = unsigned int]bool Minisat::Solver::simplify()Minisat::lbool Minisat::Solver::search(int)void Minisat::Solver::toDimacs(FILE*, const Minisat::vec&)N7Minisat10BoolOptionEN7Minisat6OptionEN7Minisat9IntOptionEN7Minisat12DoubleOptionE ??I??????B?_?@?????A@??x?D#B????;}Ô%?I?T0??.?++UUUUUU???????????h㈵??>ffffff??+????????ٕA????????
%s OPTIONS:


HELP OPTIONS:

--help-verb  --%shelp        Print help message.
  --%shelp-verb   Print verbose help message.
ERROR! Unknown flag "%s". Use '--%shelp' for help.
/proc/%d/statusVmPeak: %d kB/proc/%d/statm%dERROR! Failed to parse memory statistics from "/proc".?5
;?^S??X???BX???|X????X????X??*Y??4dY??P?Y??l?Y??Z??xXZ??0?`??8Ha????a????a???b???(d??@?d??d?d???xe???8f????f??$?g??Lxh??t?l???8m??	Hp??X	hq???	?q???	Hu??
xy??X
|???
h????
????4????`x????X????X?????????(??? 
8????
?????????????X????H????????8Ȱ??x?????????@(?????????????(????H????h????????????4????T(???tx????????????x???X???@???l????h???????<???\h???|????h
????
????????4h???\(?????????????????????I???pX????x????????@(???h(????x??????????????????(???0x???\
zR
|
?
 ?O??FJtx?;*2$"$@H]???C G?F?D??
???E
zPLR
|??*?
$$?]??W?C0D?V?a
??A??]??C S8?^??GA?A?A?A?C0{A?A?A?A?@?^??
A?A?A?A?CP?

C?A?A?A?A H
?_??oA?C0iA?l
,`??(?
?U??@A?A?N mA?A??


A?A?A?A?G4?H????A?A?A?Q??
A?A?A?G,?????A?A?Q??
A?A?D????FC D?O?o??(8????NA?N h
A?HLA?d???A?N??
'?R??
+)?
?????
?
???a??
?
?????
??	?
??
Uf9?
???
o???`-?-????????
j
y
?
?&
??????o8
?
??x?#?!???o? ???o???o????o<

??f&v&?&?&?&?&?&?&?&?&''&'6'F'V'f'v'?'?'?'?'?'?'?'?'((&(6(F(V(f(v(?(?(?(?(?(?(?(?())&)6)F)V)f)v)?)?)?)?)?)?)?)?)**&*6*F*V*f*v*?*?*?*?*?*?*?*?*++&+6+F+<

??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??0
U???o? ? ?d	?!?!m	?#?#x
v
&&.q
P&P&|
P+P+Ȓ?
???
@?@? ?
H?H???
D?D???
????t
??????
?????
?????
?????
??????????
????P?
????H
?
<



??I

??f

<?

0
O?

0
ep

{
0
?@
0
??
 
?
0
??
 
??

?@
 
	`
0
+	??2

e	 ??

?	??

?	??+


??!

I
`??

?
??,

?
??>

?-g????3?l`-@?h



???????@???@???@


??
??"<


/??
<??S??j?3???
????????"??+"?POW	)
??"G
Y
0?"p
?H"?
?H"?
@?!!
?
?
p?H"?
`?
"??n
=?Z?l`?H"?5G???!???+"?p7o1L??!b?g?y?@	? ? ?P?T
"?? ?F?
?;O?^,????Da???Џ??b?9^??!
t?r?!
?`??"????"?@n?
|?!!p??"Qj??!
???X3?P?"Ќ?*`??"as?
????Q"???H"?p??p?"9?onl0?"?@?!??p?N??H+??@{
dP?T
"??C
????H"?P|9???! 1???"S`?`
"w?4?pc?p???P?"p?"-`5
Yi@@6??;y?p?!?????Q"P??"%7?!M??o?g??`?!
?0??"?H

????!?2??"P??"n?4W???+"???
`?H"??=p?K
"}???0?
"??
???[?F?
?w? Ee??]
?@?+"
?
?7I???
"fx? ?q
"?p?H"?P?"?!&H

??-?L?Xy(?!??;y??\?????	"7X?!RbI?!
}??
"?&	?D

?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_auxSolver.cc_ZN7Minisat6Clause15calcAbstractionEv.part.7_ZZN7Minisat6Clause15calcAbstractionEvE19__PRETTY_FUNCTION___ZN7Minisat6Clause8activityEv.part.8_ZZN7Minisat6Clause8activityEvE19__PRETTY_FUNCTION___ZN7Minisat15ClauseAllocatorixEj.part.12_ZZN7Minisat15RegionAllocatorIjEixEjE19__PRETTY_FUNCTION___ZNK7Minisat6Solver6lockedERKNS_6ClauseE.part.34_ZZNK7Minisat15RegionAllocatorIjE3leaEjE19__PRETTY_FUNCTION___ZN7Minisat3vecINS_3LitEE6shrinkEi.isra.38.part.39_ZZN7Minisat3vecINS_3LitEE6shrinkEiE19__PRETTY_FUNCTION___ZN7Minisat3vecINS_6Solver7WatcherEE6shrinkEi.isra.50.part.51_ZZN7Minisat3vecINS_6Solver7WatcherEE6shrinkEiE19__PRETTY_FUNCTION___ZN7Minisat3vecIjE6shrinkEi.isra.52.part.53_ZZN7Minisat3vecIjE6shrinkEiE19__PRETTY_FUNCTION___ZN7Minisat15RegionAllocatorIjE5allocEi.part.58_ZN7Minisat3vecINS_3LitEE8capacityEi.part.62_ZN7Minisat3vecIiE8capacityEi.part.70_ZL6mapVariRN7Minisat3vecIiEERi_ZN7Minisat6Solver14insertVarOrderEi.part.72_ZZN7Minisat4HeapINS_6Solver10VarOrderLtEE6insertEiE19__PRETTY_FUNCTION___ZN7Minisat3vecINS_5lboolEE8capacityEi.part.74_ZN7Minisat3vecIcE8capacityEi.part.75_ZZN7MinisatL6removeINS_3vecINS_6Solver7WatcherEEES3_EEvRT_RKT0_E19__PRETTY_FUNCTION___ZZN7Minisat6Solver12detachClauseEjbE19__PRETTY_FUNCTION___ZZN7Minisat3vecIiE6shrinkEiE19__PRETTY_FUNCTION___ZZN7Minisat3vecIiE3popEvE19__PRETTY_FUNCTION___ZZNK7Minisat4HeapINS_6Solver10VarOrderLtEEixEiE19__PRETTY_FUNCTION___ZZN7Minisat6Solver12litRedundantENS_3LitEjE19__PRETTY_FUNCTION___ZZN7Minisat6Solver7analyzeEjRNS_3vecINS_3LitEEERiE19__PRETTY_FUNCTION___ZZN7Minisat6Solver12analyzeFinalENS_3LitERNS_3vecIS1_EEE19__PRETTY_FUNCTION___ZZN7Minisat6Solver16uncheckedEnqueueENS_3LitEjE19__PRETTY_FUNCTION___ZZN7Minisat3vecINS_3LitEE5push_ERKS1_E19__PRETTY_FUNCTION___ZZN7Minisat6Solver8toDimacsEP8_IO_FILERKNS_3vecINS_3LitEEEE19__PRETTY_FUNCTION___ZZN7Minisat15RegionAllocatorIjE8capacityEjE19__PRETTY_FUNCTION___ZL13opt_var_decay_ZL16opt_clause_decay_ZL16opt_luby_restart_ZL19opt_random_var_freq_ZL15opt_random_seed_ZL14opt_ccmin_mode_ZL16opt_garbage_frac_ZL16opt_phase_saving_ZL16opt_rnd_init_act_ZL17opt_restart_first_ZL15opt_restart_inc_ZZN7Minisat6Solver12attachClauseEjE19__PRETTY_FUNCTION___ZZNK7Minisat15RegionAllocatorIjEixEjE19__PRETTY_FUNCTION___ZZN7Minisat15RegionAllocatorIjE3leaEjE19__PRETTY_FUNCTION___ZZN7Minisat6Solver9propagateEvE19__PRETTY_FUNCTION___ZZN7Minisat6Solver8simplifyEvE19__PRETTY_FUNCTION___ZZN7Minisat15RegionAllocatorIjE5allocEiE19__PRETTY_FUNCTION___ZZN7Minisat6Solver6searchEiE19__PRETTY_FUNCTION___ZZN7Minisat6Solver10addClause_ERNS_3vecINS_3LitEEEE19__PRETTY_FUNCTION___GLOBAL__sub_I_Solver.cckodkod_engine_satlab_MiniSat.cpp_ZN7Minisat3vecINS_3LitEE8capacityEi.part.12_GLOBAL__sub_I_kodkod_engine_satlab_MiniSat.cpp_ZStL8__ioinitOptions.ccSystem.cc_ZL11memReadPeakv_ZL11memReadStati.constprop.0DW.ref.__gxx_personality_v0_GLOBAL_OFFSET_TABLE___dso_handle__DTOR_END____i686.get_pc_thunk.cx__stack_chk_fail_local__i686.get_pc_thunk.bx_DYNAMICgetpagesize@@GLIBC_2.0__errno_location@@GLIBC_2.0_ZN7Minisat3vecIjE8capacityEi_ZN7Minisat10BoolOptionD0Ev_ZN7Minisat6Solver7analyzeEjRNS_3vecINS_3LitEEERi_ZN7Minisat12DoubleOptionD2Evgetpid@@GLIBC_2.0_ZN7Minisat6OptionD1Ev_ZN7Minisat3vecIjED1Ev_ZN7Minisat3vecIjED2Ev_ZTSN7Minisat20OutOfMemoryExceptionE__cxa_atexit@@GLIBC_2.1.3_ZN7Minisat3vecIPNS_6OptionEED2Ev_ZN7Minisat9IntOption5parseEPKc_ZN7Minisat6Solver8simplifyEv_ZN7Minisat6Solver16uncheckedEnqueueENS_3LitEj_ZN7Minisat3vecIcED2EvJava_kodkod_engine_satlab_MiniSat_addVariables_ZTIN7Minisat9IntOptionE_ZN7Minisat12DoubleOptionD0EvJava_kodkod_engine_satlab_MiniSat_solve__cxa_guard_acquire@@CXXABI_1.3__fprintf_chk@@GLIBC_2.3.4_ZTVN7Minisat6OptionE_ZN7Minisat6SolverC2Ev_ZN7Minisat6Solver12detachClauseEjb__gmon_start___Jv_RegisterClasses_ZN7Minisat6OptionC1EPKcS2_S2_S2_realloc@@GLIBC_2.0_ZN7Minisat7memUsedEv_ZGVZN7Minisat6Option13getOptionListEvE7options_ZdlPv@@GLIBCXX_3.4_ZN7Minisat6Solver8toDimacsEP8_IO_FILERKNS_3vecINS_3LitEEE__printf_chk@@GLIBC_2.3.4strtod@@GLIBC_2.0_ZNK7Minisat6Solver9satisfiedERKNS_6ClauseE_fini_ZN7Minisat6Solver6newVarEbb_ZN7Minisat6Solver8toDimacsEPKcRKNS_3vecINS_3LitEEE_ZNSt8ios_base4InitC1Ev@@GLIBCXX_3.4_ZTSN7Minisat6SolverEpow@@GLIBC_2.0_ZTSN7Minisat9IntOptionE_ZN7Minisat15RegionAllocatorIjE8capacityEj_ZN7Minisat12DoubleOption4helpEb_ZN7Minisat6Solver12attachClauseEj_ZTIN7Minisat6OptionE_ZN7Minisat3vecINS_6Solver7WatcherEE8capacityEi__assert_fail@@GLIBC_2.0_ZTSN7Minisat12DoubleOptionE_ZNSt8ios_base4InitD1Ev@@GLIBCXX_3.4_ZN7Minisat6Solver12analyzeFinalENS_3LitERNS_3vecIS1_EE_ZN7Minisat4sortIj11reduceDB_ltEEvPT_iT0__ZN7Minisat6Solver6solve_Ev_ZN7Minisat3vecINS0_INS_6Solver7WatcherEEEE8capacityEistrtol@@GLIBC_2.0_ZZN7Minisat6Option13getOptionListEvE7optionsfree@@GLIBC_2.0_ZN7Minisat3vecINS_5lboolEE5clearEb_ZN7Minisat3vecIiED1Ev_ZN7Minisat6Solver10addClause_ERNS_3vecINS_3LitEEE_ZN7Minisat9IntOptionD1Ev_ZN7Minisat6Solver8relocAllERNS_15ClauseAllocatorE_ZN7Minisat6OptionD2Ev_ZTVN7Minisat9IntOptionEfclose@@GLIBC_2.1_ZN7Minisat11memUsedPeakEv_ZN7Minisat6Solver13pickBranchLitEv_ZTVN10__cxxabiv117__class_type_infoE@@CXXABI_1.3__cxa_guard_release@@CXXABI_1.3_ZN7Minisat6Solver14garbageCollectEv_ZN7Minisat6OptionC2EPKcS2_S2_S2__ZN7Minisat6Solver12removeClauseEjstderr@@GLIBC_2.0_ZN7Minisat3vecIiED2Ev_ZN7Minisat6Solver9propagateEvstrlen@@GLIBC_2.0_ZTIN7Minisat12DoubleOptionEfopen@@GLIBC_2.1_ZN7Minisat10BoolOption5parseEPKc_ZN7Minisat12DoubleOption5parseEPKcJava_kodkod_engine_satlab_MiniSat_free_ZN7Minisat6Solver16rebuildOrderHeapEv_ZN7Minisat12parseOptionsERiPPcb_ZN7Minisat10BoolOptionD1Ev_ZN7Minisat9IntOptionD2Evfgetc@@GLIBC_2.0Java_kodkod_engine_satlab_MiniSat_addClausefeof@@GLIBC_2.0_ZN7Minisat6SolverD0Ev_ZN7Minisat6SolverD2Ev_ZTIN7Minisat10BoolOptionE__cxa_pure_virtual@@CXXABI_1.3_Znwj@@GLIBCXX_3.4_ZN7Minisat3vecINS_3LitEE5clearEb_ZN7Minisat10BoolOption4helpEbfwrite@@GLIBC_2.0_ZTVN7Minisat6SolverE_ZN7Minisat16setHelpPrefixStrEPKc_ZN7Minisat6SolverC1Ev_ZTSN7Minisat6OptionE_ZN7Minisat3vecINS_6Solver7VarDataEE8capacityEi__bss_start_ZTIN7Minisat20OutOfMemoryExceptionE_ZTVN10__cxxabiv120__si_class_type_infoE@@CXXABI_1.3_ZN7Minisat3vecIdE8capacityEi_ZN7Minisat12DoubleOptionD1EvJava_kodkod_engine_satlab_MiniSat_make_ZN7Minisat9IntOptionD0Ev__stack_chk_fail@@GLIBC_2.4__cxa_allocate_exception@@CXXABI_1.3fputc@@GLIBC_2.0_ZN7Minisat3vecIcED1Ev_ZN7Minisat17printUsageAndExitEiPPcb_ZN7Minisat13selectionSortIPNS_6OptionENS1_8OptionLtEEEvPT_iT0__ZN7Minisat12setUsageHelpEPKc_ZN7Minisat8OccListsINS_3LitENS_3vecINS_6Solver7WatcherEEENS3_14WatcherDeletedEE5cleanERKS1___cxa_throw@@CXXABI_1.3_end_ZN7Minisat6Solver15removeSatisfiedERNS_3vecIjEE_ZZN7Minisat6Option14getUsageStringEvE9usage_strputs@@GLIBC_2.0_ZN7Minisat6Solver11cancelUntilEi_ZN7Minisat6Solver8toDimacsEP8_IO_FILERNS_6ClauseERNS_3vecIiEERi_ZN7Minisat6OptionD0Ev_ZN7Minisat6Solver8reduceDBEvJava_kodkod_engine_satlab_MiniSat_valueOf_ZN7Minisat9IntOption4helpEbfscanf@@GLIBC_2.0__sprintf_chk@@GLIBC_2.3.4_ZN7Minisat4sortINS_3LitENS_16LessThan_defaultIS1_EEEEvPT_iT0__ZN7Minisat3vecIPNS_6OptionEED1Ev_ZN7Minisat10BoolOptionD2Ev_ZTIN7Minisat6SolverE_edata_ZN7Minisat6Solver12litRedundantENS_3LitEj__gxx_personality_v0@@CXXABI_1.3_ZTVN7Minisat12DoubleOptionE_ZN7Minisat6SolverD1Ev_ZNK7Minisat6Solver16progressEstimateEv_ZN7Minisat6Solver6searchEi_Unwind_Resume@@GCC_3.0strcmp@@GLIBC_2.0__cxa_finalize@@GLIBC_2.1.3_ZTVN7Minisat10BoolOptionEexit@@GLIBC_2.0_ZTSN7Minisat10BoolOptionE_ZN7Minisat4sortIPNS_6OptionENS1_8OptionLtEEEvPT_iT0__init_ZZN7Minisat6Option19getHelpPrefixStringEvE15help_prefix_str