f3-b20-s0-10.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
1453	7967	44.13	44.21	12.71	11.47	11.27

zChaff	minisat	SatELite
5205.43	99.9678	1007.37

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	44.14	44.22	12.72	11.74	11.58	0	2	0	2	0	67602	0.105983	UNKNOWN

zChaff	minisat	SatELite
TimeOut	266.437	441.789

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	44.14	44.22	12.72	11.74	11.58	0	2	0	2	0	33133	0.058991	UNKNOWN

zChaff	minisat	SatELite
TimeOut	275.502	446.692

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	44.14	44.22	12.72	11.74	11.58	0	2	0	2	0	44325	0.082987	UNKNOWN

zChaff	minisat	SatELite
TimeOut	279.381	455.455

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	44.14	44.22	12.72	11.74	11.58	0	2	0	2	0	27421	0.051992	UNKNOWN

zChaff	minisat	SatELite
TimeOut	270.226	445.981

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	44.14	44.22	12.72	11.74	11.58	0	2	0	2	0	17626	0.037994	UNKNOWN

zChaff	minisat	SatELite
TimeOut	279.554	441.055

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	44.14	44.22	12.72	11.74	11.58	0	2	0	2	0	11517	0.020996	UNKNOWN

zChaff	minisat	SatELite
TimeOut	274.713	446.768

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	44.14	44.22	12.72	11.74	11.58	0	2	0	2	0	17625	0.036994	UNKNOWN

zChaff	minisat	SatELite
TimeOut	269.465	457.972

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	44.14	44.22	12.72	11.74	11.58	0	2	0	2	0	11517	0.023996	UNKNOWN

zChaff	minisat	SatELite
TimeOut	284.746	443.754