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

×

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-freebsd.berkmin Maven / Gradle / Ivy

ELF


	
`?4?4 (44?4???
??

???|?|
?H???????,
,?,?P?tdT{T?T?<
<
/libexec/ld-elf.so.1
FreeBSD??
%2.(-
&+1%/0
), #
	!"$*'4?3???
`!Gp???*1)?
&
e
`
E??
?
2
	??
#?O*"(?&?#>	!(?1"<8?	@!??P	l?QC!X	!?#9C??????c9
h	(!s*"???	@!Bg7+???v?? d??
8??+
libstdc++.so.6_ZTTSt14basic_ifstreamIcSt11char_traitsIcEE_Znaj_ZNSt9basic_iosIcSt11char_traitsIcEE4initEPSt15basic_streambufIcS1_E_ZNSt13basic_filebufIcSt11char_traitsIcEEC1Ev_ZTVSt13basic_filebufIcSt11char_traitsIcEE_ZN9__gnu_cxx18__exchange_and_addEPVii_ZNSt13basic_filebufIcSt11char_traitsIcEE5closeEv_ZTVSt14basic_ifstreamIcSt11char_traitsIcEE_ZNSt13basic_filebufIcSt11char_traitsIcEE4openEPKcSt13_Ios_Openmode_ZNSt12__basic_fileIcED1Ev__gxx_personality_v0_ZNSs7reserveEj_ZNSs4_Rep20_S_empty_rep_storageE_ZNSolsEi_ZNSt8ios_baseC2Ev_ZSt16__ostream_insertIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_PKS3_i_ZNSi3getERc_ZNSt6localeD1Ev_ZNSt8ios_base4InitC1Ev_ZdaPv_ZNSs12_M_leak_hardEv_ZNSt8ios_base4InitD1Ev_ZTVSt15basic_streambufIcSt11char_traitsIcEE_ZNSt8ios_baseD2Ev_ZTVSt9basic_iosIcSt11char_traitsIcEE_ZSt4cout_ZNSt9basic_iosIcSt11char_traitsIcEE5clearESt12_Ios_Iostate_Jv_RegisterClasses_ZNSs4_Rep10_M_destroyERKSaIcElibm.so.5libgcc_s.so.1_Unwind_Resumelibc.so.7__stdoutpmemcpyfflushenvironfprintfpthread_once__progname__cxa_atexitmemset_init_tlspthread_mutex_unlocksprintffwritepthread_mutex_lockatoistrlen_endGCC_3.0CXXABI_1.3GLIBCXX_3.4.9GLIBCXX_3.4FBSD_1.0




? P&y?

@ӯk??)?t)??

??(z?`p		P	X	h	%?	(?
??????	?
???
???????? !"$ &$'(),*0+4,8-</@0D1???D??j????5??%??%?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??????%0h???????%4h
??????%8h
??????%<h
??????%@h
?????%Dh 
????U??VS??????]?эt??ۉ5?~6?E??t/????t#??
?
???
??t??/u????
??u츨??t4?$?#????$??????????E?t$?D$?$?d?$?????????͐???????U????=?	t?????ҡ???u???	
?ÐU???????t???t	?$????Ð????????????U??]?
ÐU?
\??WVS?]?S??,??
????D?P?
l?E??E??U܉M??[?ڡ?	?	9t??M????????M???
??A|9?~??
?A|?U??M?;AtH?UԋM????	???????	?	9t?M??;A?
?EЋU؉???
?EЋM??
??
?	??m?
?
?E?????????t?????@?E??
uN?E?????uЋ}Љ
?=h?L????E??E?
??
???	????
??Y?
?
??????m?
?}?
?
?MЉ
h??????E????^?????E?$??????}????U?$??????????M?
?E?
?????
???	?Y??
?
?m????}?
?E?
?7????
???	?Y??
?
??????P??9E???????E???????P??9E???????E????????
?A|??};G??????P?E?
???
???	????
??q?
?
?????U?$??????????P?E?
???
???	????
??q?
?
??????M?$?v????????E?T?E??H?U????????U??S???]??t(?$?r????\$?$p?D$?N????$
??????p?P??p?B?$??
?D$?????Ґ??&U??WVS??,?E?h?H?Q
??9????????U?M?T$?$?????h?E?$?D$?????????U1??E??E??E????????U??&9U?}?U?]??M??
?(
?
9=h???l???T?4????H?9U????}????M???}?+?M??;AP???}??E??<???U??E?
??
9?U?|??x?]?E??C??~41??D$???????D$?u?
?$???E???
9F?E?Ρx?=
?E????????}??T?
?E??E??E??|?U܋]??u????
tP??	?????????t-??
u??
u??E?D$?M?$?_?????1?[^_]Ã?
u?뒃?
u؉???'낃?
t?????'?o?????v??'U???(?E?]?]?u??}??E??	????Su#?S?B??C????E?D$?$?g?????-????D$?????$???????Ҹ(???t,?$??????D$???$??C????$?????????y
???p????$?????D$?????$袛?????????(???t,?$??v????D$???$??Қ???$?膚?????y
???&????????????b????ƍ?t???Džl???t	DžP????	Džt????	?$轙?????????$????????????$Džt???	?W?????`????	?
??P?????l????	Džp????$??l???DžP???`	?$????????Ɖ$?????W???????????ƍ?????Džt???	?$?ߘ???
	??l??????????L$????q?U????
?M?]??u??q??????
??1ۃ?t!?\$?F?$??????M?1??]??u???]?a?ËF?$?E???????v??D$?D$???$p?????\$?$p?B????D$
?D$??$?ژ???$
?^????D$?D$???$p貘???$
?6????D$?D$???$p芘???D$
?D$??$p?n????D$?D$???$p?R????D$
?D$??$p?6????$躘????U??WVS??,?E?$?????E?@???E???1??E??????
?E?t
?u?D
???E?D
?E?~j1??;??
????
????D$?$p?????D$
?D$y??$蠗????
9?t+?E????
??
u?????
????؉D$?$p???????D$?D$???$p?R?????
;}??E????E?$???????,[^_]ÉÍE?$??????$??????????U??WVS??(?E??E?????E??E????}?9}???E??M?U?E??؉E???+E????U???E?E?
?)lj}ЋE?+E?E?x\?U?M?2?M؋	?U?9?~H?U??}?]?]????ډU̍??????&?2??UԉE?]?E?U?9?~?}ԅۉ?M؉1yۃE?
?E?E??E?+E?9E?u??E???E??????E܉E??-?????([^_]Ð??U??S???????t1??Ћ???????u???[]Ð???????????$FreeBSD: src/lib/csu/i386-elf/crti.S,v 1.7 2005/05/19 07:31:06 dfr Exp $
 c[%d]:%d,%d/%d(%d), wrong array size
wrong new_size
s SATISFIABLE
v %d 0
s UNKNOWN
s UNSATISFIABLE

 Lit[%d]:u=%d,ul=%d,n=%d,ind=%d,act=%d - g0=%d,g1=%d
c[%d]:g_0=%d, g_1=%d
Recipes_info: lenght/amount(average level)

 please, increase max_base_inc
 please, stop and increase max_size_queu
 please, stop and increase max_cub_nba CNF is empty (not opened?)
number  of cubes is too large(length > 6)
(length > 5)
it is not a CNF
number  of variables is too large (length > 5)

 number  of variables is too largecannot open  file DNF is empty
something went wrong
wrong number of arguments
sat56 file_name [n]n is equal 0,1,2wrong strategy $FreeBSD: src/lib/csu/i386-elf/crtn.S,v 1.6 2005/05/19 07:31:06 dfr Exp $
;?&????|?????? l???D????h?????,?????????????
"X?????
???
??O???
???
??O???
*R????-????
.b?????
??
?????????
d?
?
??
H?	????#?
????
??
????	???	?	?
?
>?
?
?A???
??

kk?
?


?
?
??
?D?ȅ??
??(
??|?@???o?????o???o????????`?????????.?>?N?^?n?~?????????΍ލ?????.?>?N?^?n?~?????????Ύގ?????.?>?N?$FreeBSD: src/lib/csu/common/crtbrand.c,v 1.4.20.1 2007/12/06 13:43:43 kib Exp $$FreeBSD: src/lib/csu/i386-elf/crt1.c,v 1.15 2005/10/07 22:13:17 bde Exp $GCC: (GNU) 4.2.1 20070719  [FreeBSD]GCC: (GNU) 4.2.1 20070719  [FreeBSD]GCC: (GNU) 4.2.1 20070719  [FreeBSD]GCC: (GNU) 4.2.1 20070719  [FreeBSD]GCC: (GNU) 4.2.1 20070719  [FreeBSD]GCC: (GNU) 4.2.1 20070719  [FreeBSD]GCC: (GNU) 4.2.1 20070719  [FreeBSD].symtab.strtab.shstrtab.interp.note.ABI-tag.hash.dynsym.dynstr.gnu.version.gnu.version_r.rel.dyn.rel.plt.init.text.fini.rodata.eh_frame_hdr.data.eh_frame.gcc_except_table.dynamic.ctors.dtors.jcr.got.bss.comment
?

#,?,
1D?D
d
7??? 
?ȅ??
G???o???
dT???o???
?c	|?|@l	???(
u
??p
???`{
`?`?h?
?x?
?x9?
T?T{<
?
??
?|?
???

??????
????
????
????
?????``?H ?
`??

??

|??_	?(
?
,?D???ȅ????|???	?
??`??
?T???????`
??,?
??0???????J??U?
c?
q?
~???	

?
?0?J????
??
??
??
???
??0?????
??!
??.
??D
`?[

l
\
v
H
~
P
?
T
?
L
?
D
?
h
?
l
?
X
?
`?B?
@

??Кj ?
R?
?d
?`
?p
?t
?x
?|
??
????`??
?B?
?

p????D
??[

?
??B?
?

 ?0?j ?
R?
M??X4j3y`?????????`!?p?
?#"(?F?O??p*?@?)????	???@
?????

'??R"E&
???

????
"?`
???)??pC??z_??"x?????@???
?
? ??0?$-АAI?
??
??2
?????@??????
"?#BГ0\ ?P
{??????p?I?*"??		?a	l	???	
?	`???	?5?	#?	??X?	



/
	!h
??"?
p???
??}?
(?1"?
?? ??"E8X`?fyP???H????	?p?^
??%?????	??v
P?

"	@!\??%
z
??	??????
"??
?@???P	

?	
?)
??B"J
C?
`?"?
`???
?
?
?	?
p?W??#"$X	!W#k ?8? ?z"?C??	?H??????????@?w?c ??C???jh	(!?*"???	@!,g~+?0?#"???!?О???
??'8
<?V j?|??#"?8????"???n????+
crt1.cabitag/usr/src/lib/csu/i386-elf/crti.Scrtstuff.c__CTOR_LIST____DTOR_LIST____JCR_LIST____do_global_dtors_auxcompleted.4674p.4672frame_dummy__CTOR_END____DTOR_END____FRAME_END____JCR_END____do_global_ctors_aux/usr/src/lib/csu/i386-elf/crtn.Sbase_m456.cc_GLOBAL__I_max_nb_cub_Z17__gthread_triggerv__gthread_activeindex_derlit_indlit_ullit_ulit_nvar_activity_oldrecipe_sizerecipelit_activity_Z41__static_initialization_and_destruction_0ii_ZSt8__ioinit__tcf_0_Z18__gthread_active_pv_ZZ18__gthread_active_pvE22__gthread_active_mutex_ZZ18__gthread_active_pvE21__gthread_active_oncecub_gentop_queu_pntqueulimit_queu_pntirred_sizeirredmin_saved_rangraspok1.cc_GLOBAL__I__Z10raspok_dnfRSsR8MyCArrayIS0_IiRiERS2_ES1_tautologDoc.cc_GLOBAL__I__Z9print_dnfR8MyCArrayIS_IiRiERS1_Euponeub.ccfprintf@@FBSD_1.0atoi@@FBSD_1.0_Z8is_ud456iR7CHpGN56_ZNSt8ios_base4InitC1Ev@@GLIBCXX_3.4_Z9OnBase_m1Pci_ZNSs4_Rep20_S_empty_rep_storageE@@GLIBCXX_3.4_ZSt4cout@@GLIBCXX_3.4_ZN8MyCArrayIS_IiRiERS1_EC1Ev_ZNSt6localeD1Ev@@GLIBCXX_3.4_DYNAMIC_Z18incl_lefttrB456_rsiR7CHpGN56_ZNSolsEi@@GLIBCXX_3.4my_num_left_one__cxa_atexit@@FBSD_1.0_Z20base_reviewB456_rs2mR7CHpGN56keyac_ZNSt8ios_baseC2Ev@@GLIBCXX_3.4my_log_Z11TautB456_rsR7CHpGN56max_cub_data_pnt_ZN8MyCArrayIS_IiRiERS1_ED1Ev_ZNSt13basic_filebufIcSt11char_traitsIcEE5closeEv@@GLIBCXX_3.4_Z9print_dnfR8MyCArrayIS_IiRiERS1_E_ZN8MyCArrayIiRiE7SetSizeEii_ZNSt13basic_filebufIcSt11char_traitsIcEE4openEPKcSt13_Ios_Openmode@@GLIBCXX_3.4_Z11Uponeub_sh1Pii_Z12set_dirki456R7CHpGN56_Z13subst_litB456iR7CHpGN56_ZN8MyCArrayIPiRS0_ED1Ev_Z15get_lit_ves_456iR7CHpGN56__dso_handle_Z11guard_TRACEiR7CHpGN56dirkimy_exp_Z9init_B456R8MyCArrayIS_IiRiERS1_ER7CHpGN56_init_tls@@FBSD_1.0_Z19statistic_recipe456iR7CHpGN56_Z14choice_stat456R7CHpGN56_ZNSt13basic_filebufIcSt11char_traitsIcEEC1Ev@@GLIBCXX_3.4_initNONE_ZNSs7reserveEj@@GLIBCXX_3.4_Z12base_B456_rsR8MyCArrayIS_IiRiERS1_Eii_Z19is_ves2_and_neud456iiRi_ZN8MyCArrayIPiRS0_E7SetSizeEiienviron_ZNSt12__basic_fileIcED1Ev@@GLIBCXX_3.4_Z12set_accum456R7CHpGN56_Z15get_sublit_B456iiR7CHpGN56fflush@@FBSD_1.0_Z20cub_info_TRACE_h_extiR7CHpGN56_Z23resert_var_activityB456R7CHpGN56pthread_mutex_unlock@@FBSD_1.0nb_der_lit_lev_0_ZSt16__ostream_insertIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_PKS3_i@@GLIBCXX_3.4.9__progname_Z20base_reviewB456_rs1mR7CHpGN56cub_set_start_Z18recove_state0_B456R7CHpGN56_ZNSs4_Rep10_M_destroyERKSaIcE@@GLIBCXX_3.4_Z13AfxMessageBoxPctop_lev_in_queu_actcub_data_pntmemset@@FBSD_1.0_ZTTSt14basic_ifstreamIcSt11char_traitsIcEE@@GLIBCXX_3.4_ZN8MyCArrayIiRiE12DecreaseSizeEv_Z14lit_info_TRACEiR7CHpGN56_Z45remove_more_then_base_begin_in_guard_in_i_456iR7CHpGN56pthread_once@@FBSD_1.0_Z24statistic_recipe_info456R7CHpGN56_ZN8MyCArrayIS_IiRiERS1_E7SetSizeEii_Znaj@@GLIBCXX_3.4_Z19form_solutionB3_456R7CHpGN56_Z12test_cube456iR7CHpGN56__bss_startacmain_Z12set_chain456i_Z16SubstitutR456_rsR7CHpGN56max_nb_cub_Z20choice_stack_lia_456R7CHpGN56_Z14cub_info_TRACEiR7CHpGN56_ZTVSt15basic_streambufIcSt11char_traitsIcEE@@GLIBCXX_3.4_Z15cub_info_out456iR7CHpGN56dir_pntguard_0_ZNSt8ios_baseD2Ev@@GLIBCXX_3.4_ZN8MyCArrayIjRjE7SetSizeEii_fini_ZN7CHpGN56C1ER8MyCArrayIS0_IiRiERS2_Eii__stdoutp@@FBSD_1.0der_lit_lev_0fwrite@@FBSD_1.0_ZN8MyCArrayIiRiE9SetAtGrowEiS0__ZNSt9basic_iosIcSt11char_traitsIcEE5clearESt12_Ios_Iostate@@GLIBCXX_3.4_ZN8MyCArrayIjRjED1Ev_Z16cub_info_TRACE_hiR7CHpGN56_Z15IsCorrect456_rsR7CHpGN56e_chain_Z19recove_stateB456_rsR7CHpGN56_ZN8MyCArrayIiRiEC1Ev_ZTVSt9basic_iosIcSt11char_traitsIcEE@@GLIBCXX_3.4_ZdaPv@@GLIBCXX_3.4_Z15recove_dirki456iR7CHpGN56_ZN7CHpGN56D1Evexit@@FBSD_1.0guard_1_edatamemcpy@@FBSD_1.0_GLOBAL_OFFSET_TABLE__end_Z10string_addRSsPc_ZNSs12_M_leak_hardEv@@GLIBCXX_3.4_ZN7CHpGN56C2ER8MyCArrayIS0_IiRiERS2_Eii_Z23SubstitutionB3L_B456_rsRiR7CHpGN56_ZTVSt14basic_ifstreamIcSt11char_traitsIcEE@@GLIBCXX_3.4pthread_mutex_lock@@FBSD_1.0_ZN9__gnu_cxx18__exchange_and_addEPVii@@GLIBCXX_3.4_ZTVSt13basic_filebufIcSt11char_traitsIcEE@@GLIBCXX_3.4_ZNSt9basic_iosIcSt11char_traitsIcEE4initEPSt15basic_streambufIcS1_E@@GLIBCXX_3.4atexit@@FBSD_1.0_ZN8MyCArrayIjRjEC1Ev_Z10raspok_dnfRSsR8MyCArrayIS0_IiRiERS2_ES1__Z21find_recipe_m_B456_rsR7CHpGN56_Unwind_Resume@@GCC_3.0_Z19is_ves2_and_neud456iistrlen@@FBSD_1.0set_ZNSi3getERc@@GLIBCXX_3.4_Jv_RegisterClassessprintf@@FBSD_1.0_ZN8MyCArrayIPiRS0_EC1Ev__gxx_personality_v0@@CXXABI_1.3_ZN8MyCArrayIiRiED1Ev_Z12change_tr456iR7CHpGN56_Z14choice_va2_456R7CHpGN56_ZNSt8ios_base4InitD1Ev@@GLIBCXX_3.4