SGI_30_80_20_90_10-dir.shuffled-as.sat03-195.cnf

variables	clauses	Horn %	ReverseHorn %	Binaire %	Pos %	Neg %
600	42386	74.62	75.38	99.95	25.33	24.57

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rc	74.62	75.38	99.95	25.33	24.57	0	0	0	0	0	10146620	3.65944	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcn	74.62	75.38	99.95	25.33	24.57	0	0	0	0	0	2461583	0.862868	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcb	74.62	75.38	99.95	25.33	24.57	0	0	0	0	0	600	0.023996	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcnb	74.62	75.38	99.95	25.33	24.57	0	0	0	0	0	600	0.012998	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcw	74.62	75.38	99.95	25.33	24.57	0	0	0	0	0	600	0.025996	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwn	74.62	75.38	99.95	25.33	24.57	0	0	0	0	0	600	0.014997	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwb	74.62	75.38	99.95	25.33	24.57	0	0	0	0	0	600	0.023996	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut

simplif	% horn	% Rhorn	Binaire %	Pos %	Neg %	var sup	cla sup	%	cla red	%	pu	time	resultat
rcwnb	74.62	75.38	99.95	25.33	24.57	0	0	0	0	0	600	0.015997	UNKNOWN

zChaff	minisat	SatELite
TimeOut	TimeOut	TimeOut