okgen-c1625-v250-s1788998670-1788998670.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
250	1625	49.35	50.65	0.00	12.06	12.55

zChaff	minisat	SatELite
0.136979	0.06299	0.277957

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	49.35	50.65	0.00	12.06	12.55	0	0	0	0	0	5060	0.009998	UNKNOWN

zChaff	minisat	SatELite
0.136979	0.06299	0.277957

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	49.35	50.65	0.00	12.06	12.55	0	0	0	0	0	2497	0.004999	UNKNOWN

zChaff	minisat	SatELite
0.136979	0.06299	0.277957

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	49.35	50.65	0.00	12.06	12.55	0	0	0	0	0	5060	0.007998	UNKNOWN

zChaff	minisat	SatELite
0.136979	0.06299	0.277957

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	49.35	50.65	0.00	12.06	12.55	0	0	0	0	0	2497	0.004999	UNKNOWN

zChaff	minisat	SatELite
0.136979	0.06299	0.277957

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	49.35	50.65	0.00	12.06	12.55	0	0	0	0	0	0	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.136979	0.06299	0.277957

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	49.35	50.65	0.00	12.06	12.55	0	0	0	0	0	0	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.136979	0.06299	0.277957

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	49.35	50.65	0.00	12.06	12.55	0	0	0	0	0	0	0.001999	UNKNOWN

zChaff	minisat	SatELite
0.136979	0.06299	0.277957

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	49.35	50.65	0.00	12.06	12.55	0	0	0	0	0	0	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.136979	0.06299	0.277957