hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
184	896	42.63	41.18	1.56	13.06	11.83

zChaff	minisat	SatELite
TimeOut	2167.11	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	42.63	41.18	1.56	13.06	11.83	0	0	0	0	0	4374	0.007998	UNKNOWN

zChaff	minisat	SatELite
TimeOut	2167.11	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	42.63	41.18	1.56	13.06	11.83	0	0	0	0	0	2576	0.004999	UNKNOWN

zChaff	minisat	SatELite
TimeOut	2167.11	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	42.63	41.18	1.56	13.06	11.83	0	0	0	0	0	4324	0.006998	UNKNOWN

zChaff	minisat	SatELite
TimeOut	2167.11	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	42.63	41.18	1.56	13.06	11.83	0	0	0	0	0	2550	0.004999	UNKNOWN

zChaff	minisat	SatELite
TimeOut	2167.11	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	42.63	41.18	1.56	13.06	11.83	0	0	0	0	0	622	0.001999	UNKNOWN

zChaff	minisat	SatELite
TimeOut	2167.11	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	42.63	41.18	1.56	13.06	11.83	0	0	0	0	0	316	0.002999	UNKNOWN

zChaff	minisat	SatELite
TimeOut	2167.11	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	42.63	41.18	1.56	13.06	11.83	0	0	0	0	0	618	0.002999	UNKNOWN

zChaff	minisat	SatELite
TimeOut	2167.11	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	42.63	41.18	1.56	13.06	11.83	0	0	0	0	0	316	0.001999	UNKNOWN

zChaff	minisat	SatELite
TimeOut	2167.11	TimeOut