iso-brn009.shuffled-as.sat05-2934.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
1770	10608	50.07	50.87	11.68	12.97	12.42

zChaff	minisat	SatELite
0.024996	0.013997	0.12798

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	47.16	49.22	7.80	12.88	11.81	1225	4336	41	4336	41	145524	0.374943	UNKNOWN

zChaff	minisat	SatELite
0.002	0.007998	0.082987

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	35.80	65.90	11.94	17.59	8.38	1225	2420	23	2420	23	60373	0.210967	UNKNOWN

zChaff	minisat	SatELite
0.008999	0.008998	0.103984

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	49.90	52.08	17.64	14.43	13.13	1225	3586	34	3586	34	84366	0.294955	UNKNOWN

zChaff	minisat	SatELite
0.008998	0.008998	0.084987

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	37.78	63.87	14.66	17.04	11.21	1225	2159	20	2159	20	45624	0.185971	UNKNOWN

zChaff	minisat	SatELite
0.007	0.010998	0.104984

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	49.93	52.05	17.63	14.41	13.12	1225	3580	34	3580	34	84171	0.295955	UNKNOWN

zChaff	minisat	SatELite
0.006999	0.008998	0.083987

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	37.82	63.83	14.66	17.03	11.20	1225	2154	20	2154	20	45317	0.183972	UNKNOWN

zChaff	minisat	SatELite
0.008999	0.007998	0.107983

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	49.93	52.05	17.63	14.41	13.12	1225	3580	34	3580	34	83913	0.299954	UNKNOWN

zChaff	minisat	SatELite
0.006999	0.006998	0.081987

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	37.82	63.83	14.66	17.03	11.20	1225	2154	20	2154	20	45273	0.184971	UNKNOWN

zChaff	minisat	SatELite
0.006999	0.008998	0.104984