fifo8_300.shuffled-as.sat03-426.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
194762	530713	68.91	68.89	77.67	21.75	21.78

zChaff	minisat	SatELite
330.193	273.615	146.175

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	68.91	68.89	77.67	22.17	22.21	0	3	0	3	0	53777685	106.092	UNKNOWN

zChaff	minisat	SatELite
586.293	283.552	147.692

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	68.91	68.89	77.67	22.17	22.21	0	0	0	0	0	15936878	30.7313	UNKNOWN

zChaff	minisat	SatELite
330.193	273.615	146.175

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	68.91	68.89	77.67	22.17	22.21	0	0	0	0	0	8827094	17.4993	UNKNOWN

zChaff	minisat	SatELite
330.193	273.615	146.175

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	68.91	68.89	77.67	22.17	22.21	0	0	0	0	0	4968553	9.97048	UNKNOWN

zChaff	minisat	SatELite
330.193	273.615	146.175

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	68.91	68.89	77.67	22.17	22.21	0	3	0	3	0	51784729	97.7311	UNKNOWN

zChaff	minisat	SatELite
534.797	270.086	141.335

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	68.91	68.89	77.67	22.17	22.21	0	0	0	0	0	15440352	29.5435	UNKNOWN

zChaff	minisat	SatELite
330.193	273.615	146.175

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	68.91	68.89	77.67	22.17	22.21	0	0	0	0	0	8827094	18.8821	UNKNOWN

zChaff	minisat	SatELite
330.193	273.615	146.175

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	68.91	68.89	77.67	22.17	22.21	0	0	0	0	0	4968553	10.1924	UNKNOWN

zChaff	minisat	SatELite
330.193	273.615	146.175