rand_net70-60-5.miter.shuffled.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
8400	25061	66.50	66.18	65.92	21.00	20.81

zChaff	minisat	SatELite
TimeOut	1043.41	8537.57

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	65.86	65.48	63.13	20.62	20.44	0	1896	8	1896	8	16486581	10.2704	UNKNOWN

zChaff	minisat	SatELite
TimeOut	562.434	3331.4

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	67.83	65.50	65.24	19.42	21.23	0	493	2	493	2	5562781	3.69044	UNKNOWN

zChaff	minisat	SatELite
TimeOut	348.685	4353.05

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	66.50	66.18	65.92	21.00	20.81	0	0	0	0	0	5730760	4.28735	UNKNOWN

zChaff	minisat	SatELite
TimeOut	1043.41	8537.57

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	66.50	66.18	65.92	21.00	20.81	0	0	0	0	0	2812675	1.90771	UNKNOWN

zChaff	minisat	SatELite
TimeOut	1043.41	8537.57

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	65.94	65.63	63.53	20.69	20.44	0	1643	7	1643	7	15317057	10.0255	UNKNOWN

zChaff	minisat	SatELite
TimeOut	654.737	5383.58

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	67.63	65.60	65.34	19.66	21.16	0	421	2	421	2	5223453	3.39748	UNKNOWN

zChaff	minisat	SatELite
TimeOut	535.872	6751.57

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	66.50	66.18	65.92	21.00	20.81	0	0	0	0	0	5698058	3.9354	UNKNOWN

zChaff	minisat	SatELite
TimeOut	1043.41	8537.57

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	66.50	66.18	65.92	21.00	20.81	0	0	0	0	0	2795999	1.87771	UNKNOWN

zChaff	minisat	SatELite
TimeOut	1043.41	8537.57