rand_net60-40-5.miter.shuffled.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
4800	14281	66.47	66.30	65.54	20.91	20.66

zChaff	minisat	SatELite
TimeOut	599.729	4496.92

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	66.04	65.86	63.88	20.74	20.46	0	657	5	657	5	3452801	1.83272	UNKNOWN

zChaff	minisat	SatELite
TimeOut	560.004	3494.41

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	67.23	65.91	65.15	20.01	20.89	0	161	1	161	1	1156346	0.672897	UNKNOWN

zChaff	minisat	SatELite
TimeOut	696.805	2802.76

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	66.47	66.30	65.54	20.91	20.66	0	0	0	0	0	1175636	0.688895	UNKNOWN

zChaff	minisat	SatELite
TimeOut	599.729	4496.92

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	66.47	66.30	65.54	20.91	20.66	0	0	0	0	0	588419	0.338948	UNKNOWN

zChaff	minisat	SatELite
TimeOut	599.729	4496.92

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	66.15	65.99	64.18	20.74	20.45	0	541	4	541	4	3122411	1.73673	UNKNOWN

zChaff	minisat	SatELite
TimeOut	405.82	3546.21

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	67.12	65.97	65.21	20.14	20.86	0	137	1	137	1	1091588	0.58591	UNKNOWN

zChaff	minisat	SatELite
TimeOut	696.624	1877.12

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	66.47	66.30	65.54	20.91	20.66	0	0	0	0	0	1141149	0.631903	UNKNOWN

zChaff	minisat	SatELite
TimeOut	599.729	4496.92

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	66.47	66.30	65.54	20.91	20.66	0	0	0	0	0	576650	0.341948	UNKNOWN

zChaff	minisat	SatELite
TimeOut	599.729	4496.92