gencnf-k6-r44.3-v123-c5448-01-S1510587762.shuffled-as.sat03-1768.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
123	5448	10.98	10.54	0.00	1.54	1.40

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	10.98	10.54	0.00	1.54	1.40	0	0	0	0	0	32688	0.482926	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	10.98	10.54	0.00	1.54	1.40	0	0	0	0	0	29100	0.431934	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	10.98	10.54	0.00	1.54	1.40	0	0	0	0	0	32688	0.487925	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	10.98	10.54	0.00	1.54	1.40	0	0	0	0	0	29100	0.438933	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	10.98	10.54	0.00	1.54	1.40	0	0	0	0	0	0	0.007998	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	10.98	10.54	0.00	1.54	1.40	0	0	0	0	0	0	0.005999	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	10.98	10.54	0.00	1.54	1.40	0	0	0	0	0	0	0.006998	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	10.98	10.54	0.00	1.54	1.40	0	0	0	0	0	0	0.006998	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut