qwh.60.1800.shuffled-as.sat03-1660.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
28418	665733	74.50	74.35	99.19	24.69	24.84

zChaff	minisat	SatELite
TimeOut	TimeOut	7573.77

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	74.50	74.35	99.19	24.69	24.84	0	0	0	0	0	52923506	83.0154	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	7573.77

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	74.50	74.35	99.19	24.69	24.84	0	0	0	0	0	13203266	22.5246	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	7573.77

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	74.50	74.35	99.19	24.69	24.84	0	0	0	0	0	85254	0.565913	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	7573.77

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	74.50	74.35	99.19	24.69	24.84	0	0	0	0	0	85091	0.429934	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	7573.77

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	74.50	74.35	99.19	24.69	24.84	0	0	0	0	0	85254	0.637903	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	7573.77

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	74.50	74.35	99.19	24.69	24.84	0	0	0	0	0	85091	0.497924	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	7573.77

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	74.50	74.35	99.19	24.69	24.84	0	0	0	0	0	85254	0.601908	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	7573.77

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	74.50	74.35	99.19	24.69	24.84	0	0	0	0	0	85091	0.449931	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	7573.77