driverlog1_v01i.renamed-as.sat05-3960.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
128	493	84.58	32.86	84.79	0.81	67.14

zChaff	minisat	SatELite
0	0.001999	0.008998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	80.56	34.44	80.83	1.11	65.56	0	133	27	133	27	7859	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.000999	0.012998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	85.63	32.03	85.83	0.82	67.97	0	6	1	6	1	1555	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.002999	0.008998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	85.63	32.03	85.83	0.82	67.97	0	6	1	6	1	1607	0.000999	UNKNOWN

zChaff	minisat	SatELite
0	0.002999	0.009998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	85.63	32.03	85.83	0.82	67.97	0	6	1	6	1	1553	0.001999	UNKNOWN

zChaff	minisat	SatELite
0	0.000999	0.009998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	84.16	29.41	84.39	0.90	70.59	0	51	10	51	10	3729	0.002999	UNKNOWN

zChaff	minisat	SatELite
0	0.001999	0.014997

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	85.63	32.03	85.83	0.82	67.97	0	6	1	6	1	1555	0.001999	UNKNOWN

zChaff	minisat	SatELite
0	0.000999	0.008998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	85.63	32.03	85.83	0.82	67.97	0	6	1	6	1	1607	0.001999	UNKNOWN

zChaff	minisat	SatELite
0	0.002999	0.009998

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	85.63	32.03	85.83	0.82	67.97	0	6	1	6	1	1553	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.001	0.001999	0.007998