3col60_5_6.shuffled.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
120	516	39.34	40.12	12.79	6.98	6.59

zChaff	minisat	SatELite
0.014998	0.011998	0.041993

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	38.81	40.59	12.87	7.72	6.93	0	11	2	11	2	2190	0.004999	UNKNOWN

zChaff	minisat	SatELite
0.021997	0.011998	0.065989

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	38.86	40.83	13.02	7.89	6.90	0	9	2	9	2	1366	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.022997	0.010998	0.040993

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	38.93	40.71	13.04	7.91	6.92	0	10	2	10	2	2060	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.022997	0.010998	0.042993

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	38.86	40.83	13.02	7.89	6.90	0	9	2	9	2	1336	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.022997	0.013997	0.040993

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	38.93	40.71	13.04	7.91	6.92	0	10	2	10	2	2062	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.021997	0.011998	0.039993

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	38.86	40.83	13.02	7.89	6.90	0	9	2	9	2	1336	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.021997	0.012998	0.039993

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	38.93	40.71	13.04	7.91	6.92	0	10	2	10	2	2060	0.003999	UNKNOWN

zChaff	minisat	SatELite
0.022997	0.011998	0.041993

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	38.86	40.83	13.02	7.89	6.90	0	9	2	9	2	1336	0.003999	UNKNOWN

zChaff	minisat	SatELite
0.021997	0.010998	0.040993