rope_0030.shuffled.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
1080	2520	71.83	70.32	85.71	22.30	24.92

zChaff	minisat	SatELite
0.712891	0.686895	0.945856

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	71.83	70.32	85.71	22.30	24.92	0	0	0	0	0	17280	0.008998	UNKNOWN

zChaff	minisat	SatELite
0.712891	0.686895	0.945856

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	71.83	70.32	85.71	22.30	24.92	0	0	0	0	0	4446	0.004999	UNKNOWN

zChaff	minisat	SatELite
0.712891	0.686895	0.945856

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	71.83	70.32	85.71	22.30	24.92	0	0	0	0	0	1080	0.003999	UNKNOWN

zChaff	minisat	SatELite
0.712891	0.686895	0.945856

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	71.83	70.32	85.71	22.30	24.92	0	0	0	0	0	585	0.000999	UNKNOWN

zChaff	minisat	SatELite
0.712891	0.686895	0.945856

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	71.83	70.32	85.71	22.30	24.92	0	0	0	0	0	1080	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.712891	0.686895	0.945856

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	71.83	70.32	85.71	22.30	24.92	0	0	0	0	0	585	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.712891	0.686895	0.945856

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	71.83	70.32	85.71	22.30	24.92	0	0	0	0	0	1080	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.712891	0.686895	0.945856

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	71.83	70.32	85.71	22.30	24.92	0	0	0	0	0	585	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.712891	0.686895	0.945856