ii8a4.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
396	2798	96.50	89.28	87.49	3.50	10.72

zChaff	minisat	SatELite
0	0.002999	0.016997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	96.21	90.73	88.79	3.79	9.27	0	210	8	210	8	107256	0.052991	UNKNOWN

zChaff	minisat	SatELite
0.001	0.003999	0.035994

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	96.50	89.28	87.49	3.50	10.72	0	0	0	0	0	2796	0.002999	UNKNOWN

zChaff	minisat	SatELite
0	0.002999	0.016997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	96.42	91.23	89.41	3.58	8.77	0	60	2	60	2	13506	0.008998	UNKNOWN

zChaff	minisat	SatELite
0.001	0.002999	0.019996

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	96.50	89.28	87.49	3.50	10.72	0	0	0	0	0	300	0.001999	UNKNOWN

zChaff	minisat	SatELite
0	0.002999	0.016997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	96.42	91.23	89.41	3.58	8.77	0	60	2	60	2	13506	0.009998	UNKNOWN

zChaff	minisat	SatELite
0.001	0.000999	0.018997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	96.50	89.28	87.49	3.50	10.72	0	0	0	0	0	300	0.000999	UNKNOWN

zChaff	minisat	SatELite
0	0.002999	0.016997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	96.42	91.23	89.41	3.58	8.77	0	60	2	60	2	13506	0.011998	UNKNOWN

zChaff	minisat	SatELite
0	0.002999	0.019996

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	96.50	89.28	87.49	3.50	10.72	0	0	0	0	0	300	0.000999	UNKNOWN

zChaff	minisat	SatELite
0	0.002999	0.016997