3col180_5_8.shuffled.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
360	1536	37.11	37.89	12.11	9.77	9.57

zChaff	minisat	SatELite
1.54277	1.61875	0.823874

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	37.11	37.89	12.11	10.03	9.70	0	0	0	0	0	6653	0.007998	UNKNOWN

zChaff	minisat	SatELite
1.54277	1.61875	0.823874

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	37.11	37.89	12.11	10.03	9.70	0	0	0	0	0	4316	0.005999	UNKNOWN

zChaff	minisat	SatELite
1.54277	1.61875	0.823874

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	37.11	37.89	12.11	10.03	9.70	0	0	0	0	0	6283	0.008998	UNKNOWN

zChaff	minisat	SatELite
1.54277	1.61875	0.823874

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	37.11	37.89	12.11	10.03	9.70	0	0	0	0	0	4218	0.005999	UNKNOWN

zChaff	minisat	SatELite
1.54277	1.61875	0.823874

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	37.11	37.89	12.11	10.03	9.70	0	0	0	0	0	6285	0.007998	UNKNOWN

zChaff	minisat	SatELite
1.54277	1.61875	0.823874

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	37.11	37.89	12.11	10.03	9.70	0	0	0	0	0	4218	0.005999	UNKNOWN

zChaff	minisat	SatELite
1.54277	1.61875	0.823874

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	37.11	37.89	12.11	10.03	9.70	0	0	0	0	0	6283	0.009998	UNKNOWN

zChaff	minisat	SatELite
1.54277	1.61875	0.823874

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	37.11	37.89	12.11	10.03	9.70	0	0	0	0	0	4218	0.003999	UNKNOWN

zChaff	minisat	SatELite
1.54277	1.61875	0.823874