grid-pbl-0070.shuffled-as.sat05-1334.shuffled-as.sat05-1334.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
4970	9731	31.84	30.70	0.74	6.50	5.60

zChaff	minisat	SatELite
33.9268	22.8865	0.304953

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	31.84	30.70	0.74	6.53	5.60	0	0	0	0	0	58213	0.052991	UNKNOWN

zChaff	minisat	SatELite
33.9268	22.8865	0.304953

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	31.84	30.70	0.74	6.53	5.60	0	0	0	0	0	39798	0.032994	UNKNOWN

zChaff	minisat	SatELite
33.9268	22.8865	0.304953

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	31.84	30.70	0.74	6.53	5.60	0	0	0	0	0	58071	0.049992	UNKNOWN

zChaff	minisat	SatELite
33.9268	22.8865	0.304953

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	31.84	30.70	0.74	6.53	5.60	0	0	0	0	0	39760	0.032994	UNKNOWN

zChaff	minisat	SatELite
33.9268	22.8865	0.304953

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	31.84	30.70	0.74	6.53	5.60	0	0	0	0	0	1775	0.012998	UNKNOWN

zChaff	minisat	SatELite
33.9268	22.8865	0.304953

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	31.84	30.70	0.74	6.53	5.60	0	0	0	0	0	1212	0.011998	UNKNOWN

zChaff	minisat	SatELite
33.9268	22.8865	0.304953

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	31.84	30.70	0.74	6.53	5.60	0	0	0	0	0	1775	0.014997	UNKNOWN

zChaff	minisat	SatELite
33.9268	22.8865	0.304953

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	31.84	30.70	0.74	6.53	5.60	0	0	0	0	0	1212	0.009998	UNKNOWN

zChaff	minisat	SatELite
33.9268	22.8865	0.304953