depots1_ks99i.renamed-as.sat05-3943.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
161	496	94.15	40.52	94.15	0.00	59.48

zChaff	minisat	SatELite
0.001	0.001999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	91.57	57.85	91.57	4.07	42.15	0	152	31	152	31	12750	0.003999	UNKNOWN

zChaff	minisat	SatELite
0	0.000999	0.005999

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	94.15	40.52	94.15	2.82	59.48	0	0	0	0	0	105	0	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	94.15	40.52	94.15	2.82	59.48	0	0	0	0	0	105	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	94.15	40.52	94.15	2.82	59.48	0	0	0	0	0	105	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	93.64	43.64	93.64	3.07	56.36	0	40	8	40	8	4668	0.001999	UNKNOWN

zChaff	minisat	SatELite
0	0.000999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	94.15	40.52	94.15	2.82	59.48	0	0	0	0	0	105	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	94.15	40.52	94.15	2.82	59.48	0	0	0	0	0	105	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.011998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	94.15	40.52	94.15	2.82	59.48	0	0	0	0	0	105	0	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.011998