rip08.boehm.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
471	263	57.03	49.43	14.83	8.37	6.46

zChaff	minisat	SatELite
0.002	0.002999	0.009998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	58.57	49.00	15.14	8.76	6.37	402	12	5	12	5	2005	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.002999	0.006998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	59.06	48.82	15.35	8.66	6.69	402	9	3	9	3	1041	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.010998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	58.73	49.21	15.48	8.73	6.35	402	11	4	11	4	1768	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.003999	0.007998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	59.06	48.82	15.35	8.66	6.69	402	9	3	9	3	1041	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.008998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	57.98	49.42	15.18	8.56	6.61	402	6	2	6	2	1273	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.002999	0.008998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	58.14	49.22	15.12	8.53	6.59	402	5	2	5	2	598	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.001999	0.009998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	57.98	49.42	15.18	8.56	6.61	402	6	2	6	2	1258	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.002	0.003999	0.008998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	58.14	49.22	15.12	8.53	6.59	402	5	2	5	2	598	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.008998