iso-ukn006.shuffled-as.sat05-3387.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
1906	11428	45.90	47.33	10.77	12.24	11.58

zChaff	minisat	SatELite
0.011997	0.016997	0.226965

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	40.73	42.76	6.16	11.57	10.37	931	4338	38	4338	38	157501	0.429934	UNKNOWN

zChaff	minisat	SatELite
0.008999	0.013997	0.180972

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	32.80	58.92	10.32	15.82	7.42	931	2248	20	2248	20	75409	0.252961	UNKNOWN

zChaff	minisat	SatELite
0.006999	0.011998	0.204968

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	44.77	45.59	15.61	12.34	12.28	931	3544	31	3544	31	102145	0.331949	UNKNOWN

zChaff	minisat	SatELite
0.019997	0.013997	0.183972

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	34.82	57.15	13.01	15.34	10.20	931	1964	17	1964	17	63008	0.220966	UNKNOWN

zChaff	minisat	SatELite
0.006999	0.012998	0.203968

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	44.77	45.59	15.61	12.34	12.28	931	3544	31	3544	31	98572	0.320951	UNKNOWN

zChaff	minisat	SatELite
0.018997	0.012998	0.185971

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	34.82	57.15	13.01	15.34	10.20	931	1964	17	1964	17	59539	0.220966	UNKNOWN

zChaff	minisat	SatELite
0.006999	0.013997	0.202969

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	44.77	45.59	15.61	12.34	12.28	931	3544	31	3544	31	98314	0.318951	UNKNOWN

zChaff	minisat	SatELite
0.019997	0.013997	0.187971

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	34.82	57.15	13.01	15.34	10.20	931	1964	17	1964	17	59509	0.211967	UNKNOWN

zChaff	minisat	SatELite
0.005999	0.014997	0.201969