SAT_dat.k70.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
63923	327635	81.09	79.09	77.07	9.21	5.93

zChaff	minisat	SatELite
TimeOut	643.671	712.106

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	81.11	77.82	75.36	8.48	6.17	0	22720	7	22720	7	45669562	36.6844	UNKNOWN

zChaff	minisat	SatELite
514.83	76.1674	225.228

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	82.25	78.79	76.74	7.92	6.10	0	4628	1	4628	1	6976931	5.36618	UNKNOWN

zChaff	minisat	SatELite
5377.91	527.58	757.961

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	81.09	79.09	77.07	9.22	6.02	0	0	0	0	0	4613685	3.81742	UNKNOWN

zChaff	minisat	SatELite
TimeOut	643.671	712.106

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	81.09	79.09	77.07	9.22	6.02	0	0	0	0	0	3433456	2.78058	UNKNOWN

zChaff	minisat	SatELite
TimeOut	643.671	712.106

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	81.86	78.70	76.24	8.09	5.86	0	11464	3	11464	3	19242053	15.2577	UNKNOWN

zChaff	minisat	SatELite
4131.58	31.5152	406.32

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	82.25	78.79	76.74	7.92	6.10	0	4616	1	4616	1	6928346	5.36318	UNKNOWN

zChaff	minisat	SatELite
5564.5	518.487	740.125

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	81.09	79.09	77.07	9.22	6.02	0	0	0	0	0	4540618	3.77543	UNKNOWN

zChaff	minisat	SatELite
TimeOut	643.671	712.106

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	81.09	79.09	77.07	9.22	6.02	0	0	0	0	0	3404191	2.77258	UNKNOWN

zChaff	minisat	SatELite
TimeOut	643.671	712.106