unif-c3900-v600-s546282007.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
600	3900	49.82	50.18	0.00	12.46	12.38

zChaff	minisat	SatELite
TimeOut	405.082	3728.38

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	49.82	50.18	0.00	12.46	12.38	0	0	0	0	0	11904	0.019996	UNKNOWN

zChaff	minisat	SatELite
TimeOut	405.082	3728.38

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	49.82	50.18	0.00	12.46	12.38	0	0	0	0	0	5927	0.010998	UNKNOWN

zChaff	minisat	SatELite
TimeOut	405.082	3728.38

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	49.82	50.18	0.00	12.46	12.38	0	0	0	0	0	11904	0.018997	UNKNOWN

zChaff	minisat	SatELite
TimeOut	405.082	3728.38

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	49.82	50.18	0.00	12.46	12.38	0	0	0	0	0	5927	0.011998	UNKNOWN

zChaff	minisat	SatELite
TimeOut	405.082	3728.38

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	49.82	50.18	0.00	12.46	12.38	0	0	0	0	0	0	0.002999	UNKNOWN

zChaff	minisat	SatELite
TimeOut	405.082	3728.38

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	49.82	50.18	0.00	12.46	12.38	0	0	0	0	0	0	0.002999	UNKNOWN

zChaff	minisat	SatELite
TimeOut	405.082	3728.38

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	49.82	50.18	0.00	12.46	12.38	0	0	0	0	0	0	0.004999	UNKNOWN

zChaff	minisat	SatELite
TimeOut	405.082	3728.38

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	49.82	50.18	0.00	12.46	12.38	0	0	0	0	0	0	0.002999	UNKNOWN

zChaff	minisat	SatELite
TimeOut	405.082	3728.38