grid-pbl-0100.shuffled-as.sat05-1337.shuffled-as.sat05-1337.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
10100	19901	31.44	31.29	0.51	6.30	6.22

zChaff	minisat	SatELite
269.501	331.059	1.08483

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	31.44	31.29	0.51	6.30	6.23	0	0	0	0	0	119176	0.132979	UNKNOWN

zChaff	minisat	SatELite
269.501	331.059	1.08483

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	31.44	31.29	0.51	6.30	6.23	0	0	0	0	0	81891	0.087986	UNKNOWN

zChaff	minisat	SatELite
269.501	331.059	1.08483

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	31.44	31.29	0.51	6.30	6.23	0	0	0	0	0	118974	0.12898	UNKNOWN

zChaff	minisat	SatELite
269.501	331.059	1.08483

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	31.44	31.29	0.51	6.30	6.23	0	0	0	0	0	81845	0.094985	UNKNOWN

zChaff	minisat	SatELite
269.501	331.059	1.08483

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	31.44	31.29	0.51	6.30	6.23	0	0	0	0	0	2558	0.027995	UNKNOWN

zChaff	minisat	SatELite
269.501	331.059	1.08483

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	31.44	31.29	0.51	6.30	6.23	0	0	0	0	0	1747	0.019996	UNKNOWN

zChaff	minisat	SatELite
269.501	331.059	1.08483

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	31.44	31.29	0.51	6.30	6.23	0	0	0	0	0	2558	0.028995	UNKNOWN

zChaff	minisat	SatELite
269.501	331.059	1.08483

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	31.44	31.29	0.51	6.30	6.23	0	0	0	0	0	1747	0.024996	UNKNOWN

zChaff	minisat	SatELite
269.501	331.059	1.08483