grid-pbl-0090.shuffled-as.sat05-1336.shuffled-as.sat05-1336.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
8190	16111	31.25	31.54	0.57	5.99	6.14

zChaff	minisat	SatELite
65.932	30.1914	0.514921

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	31.25	31.54	0.57	6.00	6.15	0	0	0	0	0	96466	0.097985	UNKNOWN

zChaff	minisat	SatELite
65.932	30.1914	0.514921

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	31.25	31.54	0.57	6.00	6.15	0	0	0	0	0	66194	0.067989	UNKNOWN

zChaff	minisat	SatELite
65.932	30.1914	0.514921

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	31.25	31.54	0.57	6.00	6.15	0	0	0	0	0	96284	0.095985	UNKNOWN

zChaff	minisat	SatELite
65.932	30.1914	0.514921

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	31.25	31.54	0.57	6.00	6.15	0	0	0	0	0	66150	0.065989	UNKNOWN

zChaff	minisat	SatELite
65.932	30.1914	0.514921

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	31.25	31.54	0.57	6.00	6.15	0	0	0	0	0	2308	0.023996	UNKNOWN

zChaff	minisat	SatELite
65.932	30.1914	0.514921

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	31.25	31.54	0.57	6.00	6.15	0	0	0	0	0	1428	0.015997	UNKNOWN

zChaff	minisat	SatELite
65.932	30.1914	0.514921

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	31.25	31.54	0.57	6.00	6.15	0	0	0	0	0	2308	0.023996	UNKNOWN

zChaff	minisat	SatELite
65.932	30.1914	0.514921

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	31.25	31.54	0.57	6.00	6.15	0	0	0	0	0	1428	0.015997	UNKNOWN

zChaff	minisat	SatELite
65.932	30.1914	0.514921