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

ELF



?,4?"
4 (
h
h

?
?-
?-
p??
?.
?.
??


$$P?td?
?
?
$$Q?tdR?td?
?-
?-

GNU؅???z?o?Ȱ?[[?'??a- 
??*D??(Z&? $
@H ??$??$
(
H
?K???? @???
?"?
?  @?@@?CD`?,?
A

(??
?
H
D?:!?-012458:<=>ACDGHIKMNQRSTUWYZ^_`abcfgijkmnpqstuvyz{|~?????????????—??z?X?þ4	c?-?5??VF??????8????'?Qn9?}Y???)?Jà?]??\U???}җ?$?D ɵ)?**?;ϵ?9ʇ?`(?BIg?-????
?
??(Ȑ?l?$?CE??????cZ?KpD?n?#b?Mn
 + ???	pQ??i03
2
?F
?7?,
??+??n_??}v
??P
??	"??
?1
?P1
?`
??Q"???H"?`??"?@??"<??"??V?w???"`?"???F8
?1G?1^?@?"{
 ??"??n
2	??Q"?	??H"0?K
"?
???"?
??t??x?X.
!?\pNaT	?H"??l
I ??"x?+"???H"??
!
?
??!
Z
??:
9
?t?
??q
"pT1
????
!
9PM
0?N??4
?????"e????Y;?
?x??|.
!#`?6??s?4
?P'	PH?o??" ?
"wT1
???`??"
`1
.
!????
"??4
??Q`?T
":?.
!Z??+"y???"?
P?H"???
-?i/?Г?????PR3??Ne? ?+":?8a?P?+"(.
!???q
Lp?`
""??"p?
"??
!
?0??``??о?"Sp.
!??m?N??
"8??"?	t?k	P?H"(
????
!
>`?T
"~?4
???!!
g
???????	?o$?`?"??8a@?"el??	??H"?
P??"'P4????"?.
!????
.
!?
?H"V@.
!?X.
!??.
!?
?3o__gmon_start___init_fini__cxa_finalize_Jv_RegisterClasses__cxa_allocate_exception_ZTIN7Glucose20OutOfMemoryExceptionE__cxa_throwrealloc__errno_locationJava_kodkod_engine_satlab_Glucose_make_Znwj_ZN7Glucose6SolverC1Ev_ZdlPv_Unwind_Resume__gxx_personality_v0Java_kodkod_engine_satlab_Glucose_freeJava_kodkod_engine_satlab_Glucose_addVariables_ZN7Glucose6Solver6newVarEbbJava_kodkod_engine_satlab_Glucose_addClause_ZN7Glucose6Solver10addClause_ERNS_3vecINS_3LitEEEJava_kodkod_engine_satlab_Glucose_solve_ZN7Glucose6Solver6solve_EvJava_kodkod_engine_satlab_Glucose_valueOf_ZNSt8ios_base4InitC1Ev_ZNSt8ios_base4InitD1Ev__cxa_atexit_ZTVN10__cxxabiv117__class_type_infoE_ZTSN7Glucose20OutOfMemoryExceptionE_ZN7Glucose6OptionD2Ev_ZTVN7Glucose6OptionE_ZN7Glucose10BoolOptionD2Ev_ZN7Glucose9IntOptionD2Ev_ZN7Glucose12DoubleOptionD2Ev_ZN7Glucose12DoubleOptionD0Ev_ZN7Glucose9IntOptionD0Ev_ZN7Glucose10BoolOptionD0Ev_ZN7Glucose6OptionD0Ev_ZN7Glucose3vecIPNS_6OptionEED2Ev_ZN7Glucose10BoolOption5parseEPKcstrcmp_ZN7Glucose9IntOption5parseEPKcstrtolstderr__fprintf_chk_ZN7Glucose12DoubleOption5parseEPKcstrtod_ZN7Glucose12DoubleOption4helpEbfputc_ZN7Glucose9IntOption4helpEbfwrite_ZN7Glucose10BoolOption4helpEbstrlen__assert_fail_ZN7Glucose6SolverD2Ev_ZTVN7Glucose6SolverE_ZN7Glucose6SolverD0Ev_ZN7Glucose6SolverD1Ev_ZN7Glucose6OptionC2EPKcS2_S2_S2__ZGVZN7Glucose6Option13getOptionListEvE7options_ZZN7Glucose6Option13getOptionListEvE7options__cxa_guard_acquire__cxa_guard_release_ZN7Glucose3vecIPNS_6OptionEED1Ev_ZTVN7Glucose12DoubleOptionE_ZN7Glucose12DoubleOptionD1Ev_ZTVN7Glucose9IntOptionE_ZN7Glucose9IntOptionD1Ev_ZTVN7Glucose10BoolOptionE_ZN7Glucose10BoolOptionD1Ev_ZN7Glucose8OccListsINS_3LitENS_3vecINS_6Solver7WatcherEEENS3_14WatcherDeletedEED2Ev_ZN7Glucose6Solver12detachClauseEjb_ZN7Glucose6Solver12removeClauseEj_ZNK7Glucose6Solver9satisfiedERKNS_6ClauseE_ZN7Glucose6Solver11cancelUntilEi_ZN7Glucose6Solver13pickBranchLitEv_ZN7Glucose6Solver12litRedundantENS_3LitEj_ZN7Glucose6Solver7analyzeEjRNS_3vecINS_3LitEEERiRj_ZN7Glucose6Solver12analyzeFinalENS_3LitERNS_3vecIS1_EE_ZN7Glucose6Solver16uncheckedEnqueueENS_3LitEj_ZN7Glucose6Solver15removeSatisfiedERNS_3vecIjEE_ZNK7Glucose6Solver16progressEstimateEvpow_ZN7Glucose6Solver8toDimacsEP8_IO_FILERNS_6ClauseERNS_3vecIiEERi_ZN7Glucose3vecINS_3LitEE5clearEb_ZN7Glucose3vecIcED2Ev_ZN7Glucose3vecIjED2Ev_ZN7Glucose3vecIiED2Ev_ZN7Glucose6Solver8toDimacsEP8_IO_FILERKNS_3vecINS_3LitEEE__printf_chk_ZN7Glucose3vecIiED1Ev_ZN7Glucose6Solver8toDimacsEPKcRKNS_3vecINS_3LitEEEfopenfclose_ZN7Glucose6Solver16rebuildOrderHeapEv_ZN7Glucose3vecINS_5lboolEE5clearEb_ZN7Glucose15RegionAllocatorIjE8capacityEj_ZN7Glucose6SolverC2Ev_ZN7Glucose3vecIcED1Ev_ZN7Glucose3vecIjED1Ev_ZN7Glucose8OccListsINS_3LitENS_3vecINS_6Solver7WatcherEEENS3_14WatcherDeletedEED1Ev_ZN7Glucose3vecINS_6Solver7VarDataEE8capacityEi_ZN7Glucose3vecIdE8capacityEi_ZN7Glucose3vecImE8capacityEi_ZN7Glucose3vecINS_6Solver7WatcherEE8capacityEi_ZN7Glucose6Solver12attachClauseEj_ZN7Glucose8OccListsINS_3LitENS_3vecINS_6Solver7WatcherEEENS3_14WatcherDeletedEE5cleanERKS1__ZN7Glucose6Solver8relocAllERNS_15ClauseAllocatorE_ZN7Glucose6Solver14garbageCollectEv_ZN7Glucose6Solver9propagateEv_ZN7Glucose6Solver8simplifyEv_ZN7Glucose4sortIjNS_11reduceDB_ltEEEvPT_iT0__ZN7Glucose6Solver8reduceDBEv__umoddi3__udivdi3_ZN7Glucose6Solver6searchEiputs_ZN7Glucose3vecINS0_INS_6Solver7WatcherEEEE8capacityEi_ZN7Glucose4sortINS_3LitENS_16LessThan_defaultIS1_EEEEvPT_iT0__ZTSN7Glucose6SolverE_ZTIN7Glucose6SolverE_ZTIN7Glucose12DoubleOptionE_ZTIN7Glucose9IntOptionE_ZTIN7Glucose10BoolOptionE_ZTVN10__cxxabiv120__si_class_type_infoE_ZTSN7Glucose10BoolOptionE_ZTIN7Glucose6OptionE_ZTSN7Glucose6OptionE_ZTSN7Glucose9IntOptionE_ZTSN7Glucose12DoubleOptionE_ZN7Glucose6OptionD1Ev__cxa_pure_virtual_ZN7Glucose6OptionC1EPKcS2_S2_S2__ZN7Glucose12setUsageHelpEPKc_ZZN7Glucose6Option14getUsageStringEvE9usage_str_ZN7Glucose16setHelpPrefixStrEPKc_ZZN7Glucose6Option19getHelpPrefixStringEvE15help_prefix_str_ZN7Glucose13selectionSortIPNS_6OptionENS1_8OptionLtEEEvPT_iT0__ZN7Glucose4sortIPNS_6OptionENS1_8OptionLtEEEvPT_iT0__ZN7Glucose17printUsageAndExitEiPPcb_ZN7Glucose12parseOptionsERiPPcbgetpid__sprintf_chkfeoffscanffgetc_ZN7Glucose7memUsedEvgetpagesize_ZN7Glucose11memUsedPeakEvlibstdc++.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	
	















































































































G0P&y?ii
	?

= ii
?
.0t)??ӯk?
Uii

?ii
?ti	?si	?ii
??-
?-
?/
H1
P1
.

.

|.

.

?.

L.

?.

s.

Z .

l,.

?0.

??/
?4.

i8.

w<.

5D.

hH.

_?/
_L.

IP.

yT.

e\.

~`.

??/
?d.

rh.

}l.

1p.

?.

?.

t.

Qx.

Y?.

Y?.

Y?.

Y?.

z?.

??.

K?.

??.

t?.

?.

?/
??/
?/
?/
\?/
d?/
?/
.?/
u?/
C?/
?/
??/
??/
T?/
0?/
+?/
?L1

(0

0
0
?0
0
0
k0
20
D 0
?$0
G(0
H,0
00
40
W80
?<0
@0
	D0

H0
L0
P0

T0
?X0
?\0
`0
?d0
nh0
l0
Np0
t0
x0
R|0
/?0
?0
q?0
?0
?0
?0
j?0
V?0
A?0
?0
=?0
?0
4?0
p?0
?0
?0
g?0
E?0
M?0
O?0
?0
??0
?0
`?0
B?0
v?0
b?0
 ?0
s?0
!?0
"?0
m?0
#1
$1
?1
%1
&1
'1
^1
?1
@ 1
?$1
)(1
*,1
+01
,41
<81
7<1
?@1
?D1
;S???[?Û
????????t?
??'???[???????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??????H
hx???????L
h????????P
h??????S???>
???D$???l????D$???????D$???????$?G????S?G??
???D$???,????D$???????D$???????$?
????S?
???
???D$????????D$??????D$???????$??????S???Ð
???D$C??L????D$??????D$???????$?????S???V
???D$@???????D$??T????D$???????$?_????S?_??
???D$@??????D$??T????D$???????$?%????S?%???

???D$@??l????D$??T????D$???????$??????S??
?è

???D$3??,????D$???????D$??ǵ???$?????S?
??n

???$
???????????D$?T$?$??????S?{
??8

???D$T??l????D$???????D$??Ե???$?A????S?A
???
???D$f??L????D$???????D$??ӵ???$???????????VS?
?ý
????t
?4$???????????t$?D$???????$?f?????[^??+???????????U??VS???j
????l
u]????????t??T
?$??????p
??????????)?????
9?s ????
??p
????????p
9?r?ƃl

??[^]?U??S?.?????????????t????????t??????$?Ѓ?[]Ë$Ð???????|$?x?t$?Ɖ\$??????Û???)?????
??????????)???!???!?????
?)?9?~-?$
???????????D$?T$?$???????&?
??N???L$?$????????t?\$?t$?|$??Ít&?????8u?뗍?????,?\$$?+????????t$(?$`?????Ɖ$?????????\$$?F???t$(??,ÉD$?4$?N????D$?$?????f????D$(??t??$?R??É???'UWVS???|$@??????d??l$8??~!1???
?D$
?D$
?,$????9?u??[^_]É???'UWVS???????????,?t$@???????????(??t&dž,?$?3???dž(dž0????t&dž ?$????dždž$????t&dž?$?????dždž????t&dž?$????dždž?????t&dž??$?s???dž?dž??????t&dž??$?C???dž?dž???l??t?$??????`??t&džd?$?
???dž`džh??T??t&džX?$?????džTdž\??<??t&dž@?$????dž<džD??0??t&dž4?$?q???dž0dž8?? ??t&dž$?$?A???dž dž(????t&dž?$????dždž???
??t&dž?
?$?????dž?
dž???
??t&dž?
?$????dž?
dž?
???
??t&dž?
?$????dž?
dž?
???
??t&dž?
?$?Q???dž?
dž?
???
??t&dž?
?$?!???dž?
dž?
???
??t&dž?
?$?????dž?
dž?
???
??t&dž?
?$?????dž?
dž?
???
??t&dž?
?$????dž?
dž?
???
??t&dž?
?$?a???dž?
dž?
???
??t&dž?
?$?1???dž?
dž?
??|
???????
???D$~T1???v?<)???t4?G?$?T$??????T$??G???
??|
?D$??
??9t$???dž?
?$????dž|
dž?
??l
??t&džp
?$?k???džl
džt
??`
??t&džd
?$?;???dž`
džh
??T
??????X
???D$~V1??t&?<)???t4?G?$?T$??????T$??G??X
??T
?D$??
??9t$???džX
?$????džT
dž\
??@
??t&džD
?$?s???dž@
džH
?F??t?F?$?I????F?F?F??t?F?$?%????F?F??,[^_]Ð??&??'???\$??????È??t$?t$ ?4$?????4$?????\$?t$??Ív??'UWVS??????K???\??޵????D??????
?T$H?T$??????D$???????T$@?T$?D$?<$???????????????????????|$???
???t$??ݓ?
?$??ݛ?
?D$L݃,???ݛ?
?\$ ???
ƃ?
ƃ?
?}????T$H??h????D$???????D$?<$?T$?T$@?T$?
????T$L?t$?|$ƃ?
???
??????ƃ?
??ݛ?
?$ك???ݛ?
݃4???ݛ?
???????????T$D???????T$?T$@?D$??????D$???$?T$?D$,?w????????????????D$,?t$?j???<$ǃ 
ǃ$???ǃ(2?D$?????T$D???????D$??????D$??,?$?T$?T$@?D$,?T$??????D$,??,?t$?<$ǃ@
ǃD???ǃH??D$?????T$D???????D$??*????D$??L?$?T$??????T$@?T$?D$,?????D$,??L?t$?<$ǃ`ǃd???ǃh??D$?????T$D??8????D$??P????D$??l?$?T$?T$@?D$,?T$?????D$,??l?t$?<$ǃ?ǃ????ǃ?,
?D$?0????T$D??(????D$??\????D$????$?T$?T$@?D$,?T$?????D$,????t$?<$ǃ?ǃ????ǃ???D$??????T$D??H????D$??o????D$????$?T$?T$@?D$,?T$??n?|$ ?l$?D$$?L$(?x?|$P?A??T
??
?@??
??x?D$$????????1?;)u??;,?t??
9?u??q?????&??
9?}0???|$ ???4???<??
?l;D$ ?>?n|?|$ ?l$$?}??????t&??
9?~4???|$ ?l$f??4???<??
?l9D$ ?>?n?|$ ?l$?D$$?L$(?x?|$P?A??|
??
?@??
??x?D$$????????1?;)u??;,?t??
9?u???????&??
9??T??????|$ f??4???<??
?l9D$ ?>?n??#????l$P?
??p
;?t
???L$P?|$(??l
??4???
??p
?|$,??????
??p
;?t
???l$P?L$(??l
?4???
??p
??`
?U??????
???
;??
t%?l$P?L$(???
?4???
???
???
?V????P
???
???????
?čP
???
???????
?O????P
??l
??????p
?T????P
??l
?h?????p
????????????D$???????D$??????D$??$????????????&??'??L?t$@?t$P?|$D?|$T?\$???Ћ?l?
????D$ t|??p9D$ ?D$(s}?D$ ??9?u?
????????p??l?L$(?M?????
?M;|$(sA?D$1ɋ\$?D$>݃\???????f?D$?D$8?D$8?D$8???????Wt?????Gl????????4?D$,?????????????؍?&?|$,??????
?T$,?t}???
?<tq?????ك????Ot?L$,݃\????????l$?D$8?D$81??D$8???????Wt??ك??????????t$`?H???L??[^_]?????4??????0??,?T??????0?L$,???<????<????????4???a?H???
??4??????0??,?|$$?E?l$?͉T$(?
?D$4???D$ 1??x
??9??|?v?|$???l$(?L$??T$8?T$8?D$8???????Wt??D$8?D$8???l$?T$89?????0???D$,???
?T$,??	??????
?<????????
?????????????
?T$,?<???????B????D$`???????L[^_]????????D$??T????D$??L????D$L?$???????,????D$???????D$??8????D$Q?$?????????UWVS????:??
;D$<|Ët$D??$??D$H?9lj|$4?G????1???&??
??
9?|???$??T$4?W?|$4
????$??|$4???|$<???G????t$H?D$@???l$D?D??
?T$????~"1??L$????у?
?L$?$?D$??????|
?N?D$?T$ ?V?L$,?H?T$$?L$?ʋL$(???????
?L$?$?D$?ͧ???D$?H?
?????у?
?L$?$?D$諧????T
?袩?????????D$???????D$??????D$??$脥???t&UWVS??L?D$`?|$`?s?????0???p
??T
???D$?\?t$`??l
1??	??
;t$}8?D??O??<t?D$??
?<$?٦???D$`??p
??l
?T$;t$|ȅ?t?t$`džp
?D$`?|$`???
??|
???D$??
?t$`???
1????&??
;t$}8?D??O??<t?D$??
?<$?Q????D$`???
???
?T$;t$|ȅ?t?t$`dž?
?|$`?D$4?D$8???????v?D$,?l$,?D$`l$4?l$0?T
?U?l$$????}?Ƌ?l?9?p?
?D$?8?F??D$$?D$
?T$9P??
??t$`?<Ћ;?p??l???4???u??T$d?????
B?D$(??F?,????????B?$?L$
?D$?????D$d?T$d?L$?@
?9?D$ ?j??????T$ ????tv??,??L$(?????
	???	ʃ???V?P??????@??n??~1Ґ?t&????
?l?l;V|????t???P?U?D??l$ ?/??n???????|$d;W??????
???	????
u6????????z1???~1?f??L??
??
????	?9?u?t??n???????{??B?o?N?L??L????????%?	ȉ?B?~??????	ȈB????f??t$`?|$0?|
?O?|$$???????l?;?p??
?D$?=?v?F??D$$?D$
?T$9P??
?׋?t$`?tË
?|$`?L$ ?l$ ;?p??l?????&?4??t???
9?u????t
??to?D??t$P???
;??
u?P
???
?<|?????
?|$P???
?,???
???
?l$?<$?n???
?????f??|$P1?Ƈ4
????1?1???~ ?l$$f??L??
??
????	?9?u?l$$?|??h????l$T?D$?????t$P?E??4$?D$?k???4$?l?????????4
?J???1??6??????????D$???????D$??????D$??$?Zl?????????D$??????D$???????D$B?$?0l???p???vq????,????D$??????D$??Ϸ???D$r?$??k??????????????????r???????P?D$?Ð?????????r???????P?D$?Ð????????or???????P?D$?Ð???????Or???????P?D$?Ð????S?qr????.r???D$ ??????????$?j????[Ð????S?Ar?????q???D$ ??????????$?j????[Ð????S?r?????q???D$ ??????????$?Zj????[Ð????S??q???Þq???D$ ??????????$?*j????[Ð???????t$?t$ ?\$?q????`q???t?F?$?j????F?\$?t$??Ð?????????,1ҋL$4?\$?t$ ?t$0?|$$?l$(?Eq????q?9-u21??
?y
n?i
tA?v?F?,$?D$?m??1҅?u
???
?F?Ћ\$?t$ ?|$$?l$(??,Ív8T

u??
??-?????u?
?1?뭐?t&?
롐??L?L$T?\$????D$??$?Ie???G=??
?D$??U????D$??D$
?$?e????D$?D$
?D$??Y????$?g???G=??????D$??U????D$??D$
?$??d???G?D$
?D$??c????D$??$?d?????t5?G?D$
?D$??1????D$??$?}d????$
?D$?{g???\$,?t$0?|$4?l$8??<Í?&??D$?D$
?D$??^????$?f???^?????&??D$?D$
?D$??P????$?f??????????????UWV1?S??c???|$/t5?E?D$
?D$??1????D$??$?c????$
?D$?f????<[^_]Ð???????????,?\$??j???Èj?t$ ?t$0?|$$?l$(??????????????????????D$4?}?F?D$8?F?D$??[^_]???]???8u??$
?a?????????D$?T$?$?a???F?Ս??????D$??????D$??Ƿ???D$h?$?_????????????t$?t$ ?|$?|$$?\$??e???øe?F9?}s??)?????
??????????)???!???!Ѻ???
?)?9?}+?$
??`?????????D$?T$?$??`????t&
??N???L$??$??]?????t?\$?t$?|$??Ít&??\???8u?뙐??????t$?t$ ?|$?|$$?\$?;e?????d?F9?}s??)?????
??????????)???!???!Ѻ???
?)?9?}+?$
?`?????????D$?T$?$?%`????t&
??N???L$??$?]?????t?\$?t$?|$??Ít&?\???8u?뙐??????t$?t$ ?|$?|$$?\$?{d????8d?F9?}s??)?????
??????????)???!???!Ѻ???
?)?9?}+?$
?O_?????????D$?T$?$?e_????t&
??N???L$??$?Z\?????t?\$?t$?|$??Ít&?K[???8u?뙐??????t$?t$ ?|$?|$$?\$?c????xc?F9?}s??)?????
??????????)???!???!Ѻ???
?)?9?}+?$
?^?????????D$?T$?$?^????t&
??N???L$??$?[?????t?\$?t$?|$??Ít&?Z???8u?뙐???UWVS??,?T$D?L$@?c?????b??	?@??
ȉD$?@???D$???T$?
?T$@?9?B$?0?@9ljD$????1?1??L$??v?L$?,??};|$sp????(?D$D9D$4?t$0???|$4????
9l$t?|$8?l$4??????D$0??ƉT$(?׉ՉT$,붍?&;D$sh?|$ ??????????????????D$ ??D?tw?D??|$8???؋t$$Ft$(G??t$(?|$8???????????????????\[^_]?f???X???t$8?t:?L$= 0 && r < sznelems <= szlast==first!inHeap(n)CORE -- RESTARTKRszLBDQueueszTrailQueueCORE -- REDUCEfirstReduceDBIncrement for reduce DBincReduceDBspecialIncReduceDBminLBDFrozenClauseCORE -- MINIMIZEminSizeMinimizingClauseminLBDMinimizingClauseCOREvar-decaycla-decayrnd-freqrnd-seedccmin-modephase-savingrnd-initgc-fracc.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 > 0size > 0c[1] == false_litdecisionLevel() == 0oklearnts.size()>0ERROR! 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/glucose-2.1/sources/glucose/core/SolverTypes.h/home/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/mtl/Alloc.h/home/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/mtl/Vec.h/home/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/core/BoundedQueue.h/home/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/mtl/Heap.hThe constant used to force restartThe constant used to block restartThe size of moving average for LBD (restarts)The size of moving average for trail (block restarts)The number of conflicts before the first reduce DBSpecial increment for reduce DBProtect clauses if their LBD decrease and is lower than (for one turn)The min size required to minimize clauseThe min LBD required to minimize clauseThe 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 activityThe fraction of wasted memory allowed before a garbage collection is triggered../sources/glucose/core/Solver.cc/home/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/mtl/Alg.hreason(var(analyze_stack.last())) != CRef_Undefvalue(c[1])==(lbool((uint8_t)0))value(p) == (lbool((uint8_t)2))value(assumptions[i]) != (lbool((uint8_t)1))Wrote %d clauses with %d variables.
|  Garbage collection:   %12d bytes => %12d bytes             |
c | %8d   %7d    %5d | %7d %8d %8d | %5d %8d   %6d %8d | %6.3f %% |
c ========================================[ MAGIC CONSTANTS ]==============================================c | Constants are supposed to work well together :-)                                                      |c | however, if you find better choices, please let us known...                                           |c |-------------------------------------------------------------------------------------------------------|c |                                |                                |                                     |c | - Restarts:                    | - Reduce Clause DB:            | - Minimize Asserting:               |c |   * LBD Queue    : %6d      |   * First     : %6d         |    * size < %3d                     |
c |   * Trail  Queue : %6d      |   * Inc       : %6d         |    * lbd  < %3d                     |
c |   * K            : %6.2f      |   * Special   : %6d         |                                     |
c |   * R            : %6.2f      |   * Protected :  (lbd)< %2d     |                                     |
c ==================================[ Search Statistics (every %6d conflicts) ]=========================
c |                                                                                                       |c |          RESTARTS           |          ORIGINAL         |              LEARNT              | Progress |c |       NB   Blocked  Avg Cfc |    Vars  Clauses Literals |   Red   Learnts    LBD2  Removed |          |c =========================================================================================================N7Glucose6SolverEvoid Glucose::RegionAllocator::capacity(uint32_t) [with T = unsigned int, uint32_t = unsigned int]void Glucose::Heap::insert(int) [with Comp = Glucose::Solver::VarOrderLt]bool Glucose::Solver::addClause_(Glucose::vec&)void Glucose::vec::shrink(int) [with T = Glucose::Lit]Glucose::RegionAllocator::Ref Glucose::RegionAllocator::alloc(int) [with T = unsigned int, Glucose::RegionAllocator::Ref = unsigned int]T* Glucose::RegionAllocator::lea(Glucose::RegionAllocator::Ref) [with T = unsigned int, Glucose::RegionAllocator::Ref = unsigned int]void Glucose::Clause::calcAbstraction()void Glucose::Solver::attachClause(Glucose::CRef)T& Glucose::RegionAllocator::operator[](Glucose::RegionAllocator::Ref) [with T = unsigned int, Glucose::RegionAllocator::Ref = unsigned int]void Glucose::Solver::detachClause(Glucose::CRef, bool)void Glucose::remove(V&, const T&) [with V = Glucose::vec, T = Glucose::Solver::Watcher]const T* Glucose::RegionAllocator::lea(Glucose::RegionAllocator::Ref) const [with T = unsigned int, Glucose::RegionAllocator::Ref = unsigned int]void Glucose::vec::shrink(int) [with T = int]int Glucose::Heap::operator[](int) const [with Comp = Glucose::Solver::VarOrderLt]void Glucose::vec::pop() [with T = int]void Glucose::Solver::analyze(Glucose::CRef, Glucose::vec&, int&, unsigned int&)float& Glucose::Clause::activity()void Glucose::Heap::decrease(int) [with Comp = Glucose::Solver::VarOrderLt]bool Glucose::Solver::litRedundant(Glucose::Lit, uint32_t)void Glucose::Solver::analyzeFinal(Glucose::Lit, Glucose::vec&)void Glucose::Solver::uncheckedEnqueue(Glucose::Lit, Glucose::CRef)void Glucose::vec::push_(const T&) [with T = Glucose::Lit]Glucose::CRef Glucose::Solver::propagate()const T& Glucose::RegionAllocator::operator[](Glucose::RegionAllocator::Ref) const [with T = unsigned int, Glucose::RegionAllocator::Ref = unsigned int]void Glucose::vec::shrink(int) [with T = Glucose::Solver::Watcher]void Glucose::vec::shrink(int) [with T = unsigned int]bool Glucose::Solver::simplify()Glucose::lbool Glucose::Solver::search(int)void Glucose::bqueue::push(T) [with T = unsigned int]void Glucose::Solver::toDimacs(FILE*, const Glucose::vec&)N7Glucose10BoolOptionEN7Glucose6OptionEN7Glucose9IntOptionEN7Glucose12DoubleOptionE???@? ??I??B@????????ffffff??ffffff??+????????ٕA?????????????A@??x?D#B????;}Ô%?I?T0??.?++?h㈵??>
%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
; c?$??<*???B*???|*???*??$?*??@*+??\d+??x?+????+???,???H,??h?,????,??,?-??`X.????.????.???(/??$81??h?1????1????2??H3??84????4????5???H6????

A?A?A?A?G4X?????A?A?A?Q??
A?A?A?G,??????A?A?Q??
A?A?D?P???FC D?O?o??(?????NA?N h
A?HLA?????A?N??
'FY??
+)?
?????
?
???a??
?
?????
?????
Uf9?
???
~???0/p/????????
.
=
G
UP'
???-
???o8
?
??/
??$?"???o?!???o???o? ???oH1
?.
?'?'?'?'?'?'?'((&(6(F(V(f(v(?(?(?(?(?(?(?(?())&)6)F)V)f)v)?)?)?)?)?)?)?)?)**&*6*F*V*f*v*?*?*?*?*?*?*?*?*++&+6+F+V+f+v+?+?+?+?+?+?+?+?+,,&,6,F,V,f,v,?,?,?,H1
?

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? ? 8
U???o?!?!?d	?"?"m	?$?$?
v
P'P'.q
?'?'0|
?,?,(??
?????
??? ?
?
?
$?
?
?
(?
?
?
t
??-
?
?
?-
?
?
?-
?
?
?-
?
?
.

???.
?
??
?/
?
P?
?/
?
T
?
H1
H!

`1
T!
H 

0T!
*

~!



h'
?}	?8
q"


8
?? ?!?"?$P'	?'
?,???
?
?
?
?-
?-
?-
?-
.
?.
?/
?/
H1
`1

???-

?-

(?-

5?/K`1


Zd1

h0
??t?-

??

??-

????????,9?`?(

%
?,9J
 ?#


$-9?
???

?
^-9@??

R?-9???:

??-9??F

B.9n`?:

?F.9? 
9

??.5*p4?W?.9?`?R

?05???5??.9H@?P

??6??p7??08?
???J?1
0
^?1
0
r2
 
? 2
 
?@2
 
?`2
 
??2
 
"?2
 
J?2
 
v?2
 
?3
0
?@3
0
??3
0

?3
0
 4
 
> 4
 
^@4

~`4
0
???s

???8

0	??1

c	??+

?	 ?Y

?	??;


??_

f
?N

?
`?D

?
??>

8`
I

???f

???2

@??

B ??

????

??+

???!

)
??,

\
??>

?
p/?
???
@0?
0/@=h1


L??W??a??s???L1

??/

???H1

??-

?Q????70"?.

??+B^P??"??1G?`1??`??"*P?H"A@??"o??l???l
?p?
"??") ??"Y???"?P?H"???Y;4X.
!O??l { ???1
?P?+"?0??`?61K]??c?4
???8a??.
!??+"????H"4C?o$~Г???0?N??t?P1
?Z??
??PM
???H"???Q"??m?'?NeI(.
!f.
!?@?"???????"9??l1^????t????Q"?
!
6??X?.
!u?V????+"?PR3??
!
?	??"'7?
!
T`?"p`??P4?`?T
"???H"?pNa(??"Ba??:
}??q
"????!
????
t?<|.
!Rp.
!m ?
"?.
!??.
!о?"*?.
!C@?"Z?x?qT1
??}?
!
???q
??`?T
"
`??"=Y?8ap?4
?????i/p?`
"3?!!
X?x?o?4
????4
????0?K
"
?3o2 ?+"N???
"k???"????PH??`?" ???3 ???"? ??H"? T1
??? ? ??
"! !2!"N!?H"e!u!?n
?!??F?!???"?!??""P'	
"@.
!#"??H":" ??"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_ZN7Glucose6Clause15calcAbstractionEv.part.7_ZZN7Glucose6Clause15calcAbstractionEvE19__PRETTY_FUNCTION___ZN7Glucose6Clause8activityEv.part.9_ZZN7Glucose6Clause8activityEvE19__PRETTY_FUNCTION___ZN7Glucose15ClauseAllocatorixEj.part.13_ZZN7Glucose15RegionAllocatorIjEixEjE19__PRETTY_FUNCTION___ZNK7Glucose6Solver6lockedERKNS_6ClauseE.part.36_ZZNK7Glucose15RegionAllocatorIjE3leaEjE19__PRETTY_FUNCTION___ZN7Glucose3vecINS_3LitEE6shrinkEi.isra.40.part.41_ZZN7Glucose3vecINS_3LitEE6shrinkEiE19__PRETTY_FUNCTION___ZN7Glucose3vecINS_6Solver7WatcherEE6shrinkEi.isra.54.part.55_ZZN7Glucose3vecINS_6Solver7WatcherEE6shrinkEiE19__PRETTY_FUNCTION___ZN7Glucose3vecIjE6shrinkEi.isra.57.part.58_ZZN7Glucose3vecIjE6shrinkEiE19__PRETTY_FUNCTION___ZN7Glucose6bqueueIjE4pushEj.part.59_ZZN7Glucose6bqueueIjE4pushEjE19__PRETTY_FUNCTION___ZN7Glucose15RegionAllocatorIjE5allocEi.part.65_ZN7Glucose3vecINS_3LitEE8capacityEi.part.69_ZN7Glucose6Solver15varBumpActivityEi.part.77_ZZN7Glucose4HeapINS_6Solver10VarOrderLtEE8decreaseEiE19__PRETTY_FUNCTION___ZN7Glucose3vecIiE8capacityEi.part.78_ZN7GlucoseL6mapVarEiRNS_3vecIiEERi_ZN7Glucose6Solver14insertVarOrderEi.part.80_ZZN7Glucose4HeapINS_6Solver10VarOrderLtEE6insertEiE19__PRETTY_FUNCTION___ZN7Glucose3vecINS_5lboolEE8capacityEi.part.82_ZN7Glucose3vecIcE8capacityEi.part.83_ZN7Glucose3vecIjE8capacityEi.part.87_Z41__static_initialization_and_destruction_0ii.constprop.90_ZN7GlucoseL5opt_KE_ZN7GlucoseL5opt_RE_ZN7GlucoseL18opt_size_lbd_queueE_ZN7GlucoseL20opt_size_trail_queueE_ZN7GlucoseL19opt_first_reduce_dbE_ZN7GlucoseL17opt_inc_reduce_dbE_ZN7GlucoseL22opt_spec_inc_reduce_dbE_ZN7GlucoseL24opt_lb_lbd_frozen_clauseE_ZN7GlucoseL28opt_lb_size_minimzing_clauseE_ZN7GlucoseL27opt_lb_lbd_minimzing_clauseE_ZN7GlucoseL13opt_var_decayE_ZN7GlucoseL16opt_clause_decayE_ZN7GlucoseL19opt_random_var_freqE_ZN7GlucoseL15opt_random_seedE_ZN7GlucoseL14opt_ccmin_modeE_ZN7GlucoseL16opt_phase_savingE_ZN7GlucoseL16opt_rnd_init_actE_ZN7GlucoseL16opt_garbage_fracE_ZZN7GlucoseL6removeINS_3vecINS_6Solver7WatcherEEES3_EEvRT_RKT0_E19__PRETTY_FUNCTION___ZZN7Glucose6Solver12detachClauseEjbE19__PRETTY_FUNCTION___ZZN7Glucose3vecIiE6shrinkEiE19__PRETTY_FUNCTION___ZZN7Glucose3vecIiE3popEvE19__PRETTY_FUNCTION___ZZNK7Glucose4HeapINS_6Solver10VarOrderLtEEixEiE19__PRETTY_FUNCTION___ZZN7Glucose6Solver12litRedundantENS_3LitEjE19__PRETTY_FUNCTION___ZZN7Glucose6Solver7analyzeEjRNS_3vecINS_3LitEEERiRjE19__PRETTY_FUNCTION___ZZN7Glucose6Solver12analyzeFinalENS_3LitERNS_3vecIS1_EEE19__PRETTY_FUNCTION___ZZN7Glucose6Solver16uncheckedEnqueueENS_3LitEjE19__PRETTY_FUNCTION___ZZN7Glucose3vecINS_3LitEE5push_ERKS1_E19__PRETTY_FUNCTION___ZZN7Glucose6Solver8toDimacsEP8_IO_FILERKNS_3vecINS_3LitEEEE19__PRETTY_FUNCTION___ZZN7Glucose15RegionAllocatorIjE8capacityEjE19__PRETTY_FUNCTION___ZZN7Glucose6Solver12attachClauseEjE19__PRETTY_FUNCTION___ZZNK7Glucose15RegionAllocatorIjEixEjE19__PRETTY_FUNCTION___ZZN7Glucose15RegionAllocatorIjE5allocEiE19__PRETTY_FUNCTION___ZZN7Glucose15RegionAllocatorIjE3leaEjE19__PRETTY_FUNCTION___ZZN7Glucose6Solver9propagateEvE19__PRETTY_FUNCTION___ZZN7Glucose6Solver8simplifyEvE19__PRETTY_FUNCTION___ZZN7Glucose6Solver6searchEiE19__PRETTY_FUNCTION___ZZN7Glucose6Solver10addClause_ERNS_3vecINS_3LitEEEE19__PRETTY_FUNCTION___GLOBAL__sub_I_Solver.cckodkod_engine_satlab_Glucose.cpp_ZN7Glucose3vecINS_3LitEE8capacityEi.part.12_GLOBAL__sub_I_kodkod_engine_satlab_Glucose.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_ZN7Glucose15RegionAllocatorIjE8capacityEjJava_kodkod_engine_satlab_Glucose_addVariablesJava_kodkod_engine_satlab_Glucose_freegetpid@@GLIBC_2.0__cxa_atexit@@GLIBC_2.1.3_ZN7Glucose10BoolOption4helpEb_ZN7Glucose3vecIjED1Ev_ZN7Glucose4sortIjNS_11reduceDB_ltEEEvPT_iT0__ZN7Glucose6Solver6solve_Ev_ZN7Glucose6Solver16uncheckedEnqueueENS_3LitEj_ZN7Glucose6Solver15removeSatisfiedERNS_3vecIjEE_ZN7Glucose9IntOption5parseEPKc_ZN7Glucose12DoubleOptionD1Ev_ZN7Glucose3vecINS_6Solver7VarDataEE8capacityEi_ZN7Glucose8OccListsINS_3LitENS_3vecINS_6Solver7WatcherEEENS3_14WatcherDeletedEED2Ev_ZN7Glucose3vecIjED2Ev__cxa_guard_acquire@@CXXABI_1.3__fprintf_chk@@GLIBC_2.3.4_ZN7Glucose6Solver7analyzeEjRNS_3vecINS_3LitEEERiRj_ZTVN7Glucose10BoolOptionE_ZN7Glucose6Solver6newVarEbb__gmon_start___Jv_RegisterClassesrealloc@@GLIBC_2.0Java_kodkod_engine_satlab_Glucose_addClause_ZN7Glucose6OptionD0Ev_ZN7Glucose12parseOptionsERiPPcb_ZdlPv@@GLIBCXX_3.4_ZN7Glucose6SolverD0Ev__printf_chk@@GLIBC_2.3.4strtod@@GLIBC_2.0_fini_ZGVZN7Glucose6Option13getOptionListEvE7options_ZN7Glucose6SolverD2Ev_ZNSt8ios_base4InitC1Ev@@GLIBCXX_3.4_ZTVN7Glucose6SolverE_ZN7Glucose9IntOptionD0Ev_ZN7Glucose6Solver8reduceDBEv_ZN7Glucose3vecIcED1Evpow@@GLIBC_2.0_ZN7Glucose6Solver8toDimacsEP8_IO_FILERKNS_3vecINS_3LitEEE_ZN7Glucose6Solver9propagateEv__assert_fail@@GLIBC_2.0_ZN7Glucose11memUsedPeakEv_ZN7Glucose6Solver16rebuildOrderHeapEv_ZNSt8ios_base4InitD1Ev@@GLIBCXX_3.4_ZZN7Glucose6Option19getHelpPrefixStringEvE15help_prefix_str_ZN7Glucose6Solver14garbageCollectEvstrtol@@GLIBC_2.0free@@GLIBC_2.0_ZN7Glucose6Solver12removeClauseEj_ZN7Glucose3vecIiED2Ev_ZN7Glucose3vecINS_5lboolEE5clearEb_ZNK7Glucose6Solver16progressEstimateEv_ZN7Glucose6Solver11cancelUntilEi_ZTVN7Glucose12DoubleOptionE_ZTIN7Glucose20OutOfMemoryExceptionE_ZN7Glucose6OptionD2Evfclose@@GLIBC_2.1_ZTVN10__cxxabiv117__class_type_infoE@@CXXABI_1.3__umoddi3@@GLIBC_2.0__cxa_guard_release@@CXXABI_1.3_ZN7Glucose3vecIdE8capacityEi_ZN7Glucose6Solver8relocAllERNS_15ClauseAllocatorEJava_kodkod_engine_satlab_Glucose_makestderr@@GLIBC_2.0_ZN7Glucose6Solver10addClause_ERNS_3vecINS_3LitEEEstrlen@@GLIBC_2.0_ZN7Glucose3vecINS_3LitEE5clearEbfopen@@GLIBC_2.1_ZTSN7Glucose9IntOptionE_ZN7Glucose16setHelpPrefixStrEPKc_ZTIN7Glucose12DoubleOptionE_ZN7Glucose6Solver12litRedundantENS_3LitEj_ZN7Glucose12DoubleOptionD0Ev_ZN7Glucose6Solver13pickBranchLitEv_ZTSN7Glucose6OptionEfgetc@@GLIBC_2.0_ZN7Glucose12DoubleOptionD2Evfeof@@GLIBC_2.0_ZTSN7Glucose12DoubleOptionE_ZN7Glucose10BoolOptionD1Ev_ZN7Glucose12setUsageHelpEPKcJava_kodkod_engine_satlab_Glucose_valueOf_ZN7Glucose6OptionC2EPKcS2_S2_S2__ZN7Glucose3vecIPNS_6OptionEED2Ev_ZNK7Glucose6Solver9satisfiedERKNS_6ClauseE_ZN7Glucose9IntOptionD1Ev__cxa_pure_virtual@@CXXABI_1.3_ZN7Glucose6Solver6searchEi_ZN7Glucose4sortINS_3LitENS_16LessThan_defaultIS1_EEEEvPT_iT0__Znwj@@GLIBCXX_3.4_ZTSN7Glucose6SolverE_ZN7Glucose6Solver12attachClauseEj_ZN7Glucose6Solver8toDimacsEPKcRKNS_3vecINS_3LitEEE_ZTIN7Glucose6OptionE_ZTIN7Glucose10BoolOptionEfwrite@@GLIBC_2.0_ZN7Glucose8OccListsINS_3LitENS_3vecINS_6Solver7WatcherEEENS3_14WatcherDeletedEE5cleanERKS1__ZTIN7Glucose6SolverE_ZTVN7Glucose6OptionE_ZN7Glucose10BoolOption5parseEPKc_ZTIN7Glucose9IntOptionE_ZN7Glucose6OptionD1Ev_ZN7Glucose6SolverC1Ev__bss_start_ZTSN7Glucose10BoolOptionE_ZN7Glucose6Solver8simplifyEv_ZTVN10__cxxabiv120__si_class_type_infoE@@CXXABI_1.3_ZN7Glucose6OptionC1EPKcS2_S2_S2__ZN7Glucose3vecINS_6Solver7WatcherEE8capacityEi__stack_chk_fail@@GLIBC_2.4_ZN7Glucose6SolverD1Ev_ZZN7Glucose6Option14getUsageStringEvE9usage_str__cxa_allocate_exception@@CXXABI_1.3fputc@@GLIBC_2.0_ZN7Glucose6Solver12analyzeFinalENS_3LitERNS_3vecIS1_EE_ZN7Glucose12DoubleOption5parseEPKc_ZTSN7Glucose20OutOfMemoryExceptionE_ZN7Glucose6SolverC2Ev_ZZN7Glucose6Option13getOptionListEvE7options__cxa_throw@@CXXABI_1.3_endputs@@GLIBC_2.0_ZN7Glucose13selectionSortIPNS_6OptionENS1_8OptionLtEEEvPT_iT0_Java_kodkod_engine_satlab_Glucose_solve_ZN7Glucose10BoolOptionD0Ev_ZN7Glucose9IntOption4helpEb_ZN7Glucose12DoubleOption4helpEbfscanf@@GLIBC_2.0__sprintf_chk@@GLIBC_2.3.4__udivdi3@@GLIBC_2.0_ZN7Glucose6Solver12detachClauseEjb_ZN7Glucose10BoolOptionD2Ev_ZN7Glucose17printUsageAndExitEiPPcb_ZN7Glucose8OccListsINS_3LitENS_3vecINS_6Solver7WatcherEEENS3_14WatcherDeletedEED1Ev_ZN7Glucose3vecIPNS_6OptionEED1Ev_edata__gxx_personality_v0@@CXXABI_1.3_ZN7Glucose4sortIPNS_6OptionENS1_8OptionLtEEEvPT_iT0__Unwind_Resume@@GCC_3.0strcmp@@GLIBC_2.0__cxa_finalize@@GLIBC_2.1.3_ZN7Glucose3vecIcED2Evexit@@GLIBC_2.0_ZN7Glucose6Solver8toDimacsEP8_IO_FILERNS_6ClauseERNS_3vecIiEERi_ZN7Glucose7memUsedEv_ZN7Glucose3vecImE8capacityEi_ZN7Glucose9IntOptionD2Ev_init_ZTVN7Glucose9IntOptionE_ZN7Glucose3vecIiED1Ev_ZN7Glucose3vecINS0_INS_6Solver7WatcherEEEE8capacityEi