php-025-025.shuffled-as.sat05-1163.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
625	7525	73.33	75.40	99.67	26.34	24.27

zChaff	minisat	SatELite
0.001	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	73.33	75.40	99.67	26.34	24.27	0	0	0	0	0	188125	0.073988	UNKNOWN

zChaff	minisat	SatELite
0.001	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	73.33	75.40	99.67	26.34	24.27	0	0	0	0	0	46275	0.018997	UNKNOWN

zChaff	minisat	SatELite
0.001	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	73.33	75.40	99.67	26.34	24.27	0	0	0	0	0	625	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.001	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	73.33	75.40	99.67	26.34	24.27	0	0	0	0	0	625	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.001	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	73.33	75.40	99.67	26.34	24.27	0	0	0	0	0	625	0.005999	UNKNOWN

zChaff	minisat	SatELite
0.001	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	73.33	75.40	99.67	26.34	24.27	0	0	0	0	0	625	0.003999	UNKNOWN

zChaff	minisat	SatELite
0.001	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	73.33	75.40	99.67	26.34	24.27	0	0	0	0	0	625	0.005999	UNKNOWN

zChaff	minisat	SatELite
0.001	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	73.33	75.40	99.67	26.34	24.27	0	0	0	0	0	625	0.002999	UNKNOWN

zChaff	minisat	SatELite
0.001	TimeOut	TimeOut