misg.boehm.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
472	350	54.00	58.57	47.43	32.57	17.43

zChaff	minisat	SatELite
0.002	0.004999	0.004999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	54.33	58.81	49.55	34.03	18.21	325	15	4	15	4	3243	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.000999	0.002999	0.005999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	53.20	59.59	48.26	33.14	17.73	325	6	2	6	2	1332	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.002999	0.004999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	54.33	58.81	49.55	34.03	18.21	325	15	4	15	4	1888	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.002999	0.004999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	53.20	59.59	48.26	33.14	17.73	325	6	2	6	2	1231	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.002999	0.004999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	54.46	58.63	49.40	33.93	18.15	325	14	4	14	4	2052	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.002999	0.005999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	53.20	59.59	48.26	33.14	17.73	325	6	2	6	2	1239	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.002999	0.004999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	54.46	58.63	49.40	33.93	18.15	325	14	4	14	4	1639	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.000999	0.005999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	53.20	59.59	48.26	33.14	17.73	325	6	2	6	2	1143	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.002999	0.004999