gencnf-k8-r180-v61-c10980-05-S1572197508.used-as.sat04-275.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
61	10980	3.10	4.03	0.00	0.43	0.38

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	3.10	4.03	0.00	0.43	0.38	0	0	0	0	0	87840	6.61399	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	3.10	4.03	0.00	0.43	0.38	0	0	0	0	0	84304	6.34104	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	3.10	4.03	0.00	0.43	0.38	0	0	0	0	0	87840	6.51101	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	3.10	4.03	0.00	0.43	0.38	0	0	0	0	0	84304	6.27205	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	3.10	4.03	0.00	0.43	0.38	0	0	0	0	0	0	0.011998	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	3.10	4.03	0.00	0.43	0.38	0	0	0	0	0	0	0.010998	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	3.10	4.03	0.00	0.43	0.38	0	0	0	0	0	0	0.012998	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	3.10	4.03	0.00	0.43	0.38	0	0	0	0	0	0	0.011998	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut