rope_0500.shuffled.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
18000	42000	71.55	71.50	85.71	23.06	23.27

zChaff	minisat	SatELite
102.934	96.4023	481.281

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	71.55	71.50	85.71	23.06	23.27	0	0	0	0	0	288000	0.228965	UNKNOWN

zChaff	minisat	SatELite
102.934	96.4023	481.281

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	71.55	71.50	85.71	23.06	23.27	0	0	0	0	0	76021	0.073988	UNKNOWN

zChaff	minisat	SatELite
102.934	96.4023	481.281

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	71.55	71.50	85.71	23.06	23.27	0	0	0	0	0	18000	0.041993	UNKNOWN

zChaff	minisat	SatELite
102.934	96.4023	481.281

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	71.55	71.50	85.71	23.06	23.27	0	0	0	0	0	9093	0.030995	UNKNOWN

zChaff	minisat	SatELite
102.934	96.4023	481.281

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	71.55	71.50	85.71	23.06	23.27	0	0	0	0	0	18000	0.044993	UNKNOWN

zChaff	minisat	SatELite
102.934	96.4023	481.281

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	71.55	71.50	85.71	23.06	23.27	0	0	0	0	0	9093	0.038994	UNKNOWN

zChaff	minisat	SatELite
102.934	96.4023	481.281

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	71.55	71.50	85.71	23.06	23.27	0	0	0	0	0	18000	0.042993	UNKNOWN

zChaff	minisat	SatELite
102.934	96.4023	481.281

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	71.55	71.50	85.71	23.06	23.27	0	0	0	0	0	9093	0.038994	UNKNOWN

zChaff	minisat	SatELite
102.934	96.4023	481.281