7cnf20_90000_90000_6.shuffled.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
20	1528	6.22	6.15	0.00	0.33	0.72

zChaff	minisat	SatELite
0.006999	0.026995	0.12798

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	6.22	6.09	0.00	0.33	0.72	0	1	0	1	0	10744	0.315951	UNKNOWN

zChaff	minisat	SatELite
0.007999	0.027995	0.12698

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	6.22	6.09	0.00	0.33	0.72	0	1	0	1	0	10077	0.298954	UNKNOWN

zChaff	minisat	SatELite
0.007999	0.031995	0.12698

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	6.22	6.09	0.00	0.33	0.72	0	1	0	1	0	10744	0.315951	UNKNOWN

zChaff	minisat	SatELite
0.007999	0.026995	0.12998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	6.22	6.09	0.00	0.33	0.72	0	1	0	1	0	10077	0.298954	UNKNOWN

zChaff	minisat	SatELite
0.007999	0.029995	0.12698

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	6.22	6.15	0.00	0.33	0.72	0	0	0	0	0	0	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.006999	0.026995	0.12798

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	6.22	6.15	0.00	0.33	0.72	0	0	0	0	0	0	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.006999	0.026995	0.12798

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	6.22	6.15	0.00	0.33	0.72	0	0	0	0	0	0	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.006999	0.026995	0.12798

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	6.22	6.15	0.00	0.33	0.72	0	0	0	0	0	0	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.006999	0.026995	0.12798