satellite3_ks99i.shuffled-as.sat05-4051.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
743	17853	72.25	77.03	99.43	27.30	22.51

zChaff	minisat	SatELite
0.005999	0.012998	0.339948

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	70.32	78.53	99.26	29.16	20.89	0	4000	22	4000	22	2274296	0.858869	UNKNOWN

zChaff	minisat	SatELite
0.003999	0.010998	0.317951

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	70.38	82.22	99.39	29.18	17.30	0	1126	6	1126	6	548293	0.209968	UNKNOWN

zChaff	minisat	SatELite
0.003999	0.011998	0.334949

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	72.25	77.03	99.43	27.34	22.52	0	0	0	0	0	689	0.011998	UNKNOWN

zChaff	minisat	SatELite
0.005999	0.012998	0.339948

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	72.25	77.03	99.43	27.34	22.52	0	0	0	0	0	640	0.005999	UNKNOWN

zChaff	minisat	SatELite
0.005999	0.012998	0.339948

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	71.96	77.32	99.42	27.63	22.22	0	187	1	187	1	65054	0.034994	UNKNOWN

zChaff	minisat	SatELite
0.003	0.011998	0.332949

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	72.10	77.44	99.43	27.48	22.11	0	94	1	94	1	28210	0.014997	UNKNOWN

zChaff	minisat	SatELite
0.004	0.010998	0.336948

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	72.25	77.03	99.43	27.34	22.52	0	0	0	0	0	689	0.010998	UNKNOWN

zChaff	minisat	SatELite
0.005999	0.012998	0.339948

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	72.25	77.03	99.43	27.34	22.52	0	0	0	0	0	640	0.007998	UNKNOWN

zChaff	minisat	SatELite
0.005999	0.012998	0.339948